SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info kk+ $ ] HOL-Analysis-ex:threads=2elapsed=36.274cpu=44.364gc=0.460factor=1.227zXZִF! 'H]ŗXf1-q恈a.W E 2kK+Vg,_w>D)=z< fCN\.'bm7z/3 9djz IP2/Gs[Zj9( Զ#bz`P(nҤ;.M$n2Q]؋|2I!u,}/779ALM`wWhpg ? bM'Hv:XʯԛNO$穐nu9bDo- ?d%ew([?l1" rHc-EJLfXKo䰧gYZ7zXZִF! R::name=HOL-Analysis-ex.Approximationselapsed=0.603cpu=1.220gc=0.0006-kS T}YZ7zXZִF! ૓9]ŗXi%;iOh6 vMʇ|}%W}54ҜijHْ,KyqZ< q=υ y^.}i6I}81gVm7*e@x</ c15=Td)Ye s*/3xUȖs/ZR*R,j!"[Nvbc(ƭzC~ro=ik8Xeu10j2zB,`!}rΖFI`ұ[LpyDLE3 ` q~Fe\n󅄄yk_jԔ%g{]Ujw~(/h 񓴱u isK_{ߕeyI[A:شA Fz2| >n:/z@m0ʲд>]P׭ ާl{ "^Q9~t p0|ꥊ87o8*slX;өa?300‹k$Zg2wK:9 ~6{AC;L̃-xN}np:n$9@˫Drj)X6yc.'Ћ"<#Y x9ZcўÐz 9H > C F6l}jm/ןZjnvGʬ OC5k\ၺ\~f1֚ ,-cpƇvlNl{/={Ґn$Cټ~Plb|DgYZe021b88134814d346dc844ce63d5f30f9b813b25634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c3 34e3b268aad310e8f2e961ff30415e6ef9167be4 + HOL-Analysis-ex