SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ` \d ]/ Huffman:threads=4elapsed=9.242cpu=25.264gc=0.456factor=2.737zXZִF! ]ŗXf[&qأ8<±0LB]O& ri=Ⱥ/pY¶yafng:Q*)2nrc<L<Ύc*Չj  - AjpktaV%Dz~"5UF(v(t_I6'=6yez_j?`TZCHWtI?( [$^qJ䉃+@VfS ^BlvBRN ힺ}+! %jOWEch+7q*qA*Wc kb'7 PqBB#ӣV|* ]OFm -,b̙wvXiQ^ZA}ʯ @BZ">X8"~)q*(IADw?L|:+ Pf6=ZAU!]&u0^j!?r ?Xy!W !gYZ7zXZִF! C>]ŗXiɟt0sϘ ECS>N:eME%Q!G hytY`(cVZD|c}YZ7zXZִF! H,+]ŗXi%L &MG޲1 #"]`[Putڄ>ǠEF>QE /rR0ڝ4SDdgK ~3ݯ& |2FpzqZmMLɗn2aEgDi1"ƞx38w^9sVJVkVb3804}YbcϏq +HG:Mm^>2}6nlË 3URNU"PW&5nlU| >4.0WafMl2QzŪ|N E8EQT50C+."e 4D+rd>wЙZ]Bb]+: -Qc#{n̍T߀Z<%ܶdi/<NB.ɶ/Z_xվ <تVr7&rꏘ#{e 1 .4u2b;l %-c/$nJ%p꩎Na.q:RR҃G<ҟ`#y3!HYysvm/Tס6[5b0ũ5n EeTnoFUi? lUA v8VdqGe ̌3J* )_rβlIkpWiU2I;CxC`8'wI+8KA3.^q,F{b(/J ̹eXt03-N!7V _8UD%I3n BQ*:Z]2wnVRFZ)Zy *%ChS T[:Tqir:MhU_)n'6u9, RQz~&`xo_N2B6eS2<3Lg/kH Lak+f"9:Nvv巜[h?|ԧ_Z`}‰h?Qk^G*(z:Js&+ة G7wMihݛ3.a7BuPvw}1N " ޱgYZ7e8aac73fdfb527e6646ed160e76ceb009f61c5ad3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773   Huffman