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  [! Dl ]/ Prog_Prove:threads=4elapsed=3.868cpu=11.652gc=0.636factor=3.017zXZִF! p]ŗXf1-hg3U]r1K9a"cX]ݵ*RmFUI@h ][.˯dDxΑ)7gZl6#΍{`A3 w!)r }`vPŢW~7 ~qmQqoƁՅeL^̝L"&뉒 Jyf|ՀrP ҫc,I9>dɒSS,)xBCh6Z=.vqzZ2 r. A|gYZ7zXZִF! ]ŗXiɟ˕A*++Yđ+YHz.F Ep^ fЅ[Z%W׏t7,5?~YIJA`-㥲yI=Q:k=vL ;Cn4gU %4H=h& 7t ܱ{/Nfޜ/+gYZ7zXZִF! ]ŗXi%L So:hQ]+!:ϣ+eNsDxJvAځ${=Lx0qhbGO f]iæGGd8)vz1 kx +bftzԮp څs,̈́ܘFC_?='eә3ޞjL:.45umIaӬ5\9U;4{pkQP]#ՐM _,s;4].;$TЏzkJm2F6崂WD)R BAϡ@!U:K.l LAOrU̔WԜc]5*J: MrL|2:Ka/(} kTIEY2¶:x`-P;E\Sp-/;:M^@ bn7d?dadSpˠ3i0Gb4.Nkؒ"`oׇR /+=Dv.ꂤ̀OjĢK%@zKs(jY2 /]#Ƃ}OU.o4vV.[&_ Us fẙ;^$S5tG \ ?  6cZpM֚_3vo2y\[kf7d(B ;%sf o4uX6`