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   ] |$ ]w]Routing:threads=4elapsed=11.290cpu=32.420gc=0.872factor=2.877zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&V#F? Xܻ/PNovgēZ&V7xZlD~N0:qc 5m_]/\M^K,%' u.A0>z"{+Qh:vĨ.T|)͊#魱X158tc/^AU:Dr'DQjJI6J#coh> Hb{쏤~Ty>޽ >ipĉfcH Dl+;WNK{xxk!JfJ*o&RH[:}/ܗfQ<FVtHpMa0۸KㆫQJIODǤǨE;" 5vuChǚNͯZf% zqmG1NؽAp`gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLsr @aE/qݐ&^\yK>=0gA0oѾs@a0gܴ(c@wF!0羉bsCѾv%^9ϊIJ K5LEr/E\O7mXxjkNJܳ(gYZ7zXZִF! Sn]ŗXi%L :uaKvi/V/ 0P)K9^?%(A0gW?R)"+˶1!/& ȿH+ΚpWo k/b ~VćckQ^0n[3Xۗⱚ}@zzAy]jU1=zMEPCng>JYIcHDnVAE]:+,rldԙ?}-UzEoa&ASR]5J|vtLJX}en̎Y`JXF[T|EqPGZAw\@eMKjn҅ zֈ\x &wY0hPu|TQ?b*Cul(PYYg!i^ 6 ф+zD-e(՝TvB>{o?|Hy;ckZk@hܛ^4-Q}rZIAY12jfK=+ǎx~OlWҫF~miqa ѱGV'|HFGWm9KHFJ_e(0heĻhM !|^duVӴu-bPsKGdǎ:FĪʺ]=2W s] _WNhdNX+ͷ)B*0]~g-(xLM@PQ4}q @^K"dQ6P$hsCŷbK#D0'ҵO ƈB#GL`3F#gu-ytp,O.G)ŮS?!N!Iyv/6\8%HG=^6؈~--"$_KMz7\{&]6~x ?yT v2V-h{2'E ?\`?07&+#u4(!Ek)ldl H