SQLite format 3@ .0:  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 j tT ]]]ZF:threads=6elapsed=12.399cpu=46.144gc=2.860factor=3.727zXZִF! H]ŗXf1-) enȈA XR„e9^=8Fȏ9|̅rIVܑ=֞G?ރJS ÍHggYZ7zXZִF! 3]ŗXiɟ 1FE`空Qtaf`_2'.ۦ1q%@`\f>;(UT?ljHN$P4 @IT4%3Aǿ1tگOc)40GACABNf>,ڂ+dCcL$w_`J`*J6ǪdxVޏkTdCZJ7oD8KFxqNӧf*StqښFX|!*1p]ܾx#wkR@Hy=hN l^ zAģ2psYΈik*Yq!ܱjHo+${hrE#*u1Rn .@Ww|pϓ"9[Gͅ_:~h|j<œjĀl>0/|"- [nBܤmd :.Irş=%NK>u51_sFϜ#{vgq-#CAFkRtМjKw[V}^Q _/IS#W*&$(no n b;=aj떎aJ2[n./TL 2S9 lvGvZa< EJ5+";ZmڥߢBI`WEH"ԇb 6.5d~f0mxvn;oyw `te03߾}x-Reu[Yn@U}m#R oǐd3PO%23Hv8 3^ډ*w:;O$lfhk:eڧ"&8GHU'^/Α`9 !aul],\(#\tM&=SKh׫sJ n*׈ݕC-;kM(G^ZvlR~$zbFQ8 ALPGcCJPhbB:TgwpK%jRgvx2B|fR!q"{0=SNP]3\)z oi:gG`pm+[?󉔫7dYth+#kN;i1L?'U>qЇ@G2bؖcժ* oRя 붬Q=LX7b%^0673gk\B0mL\$2q ᔂ "!(ߪo*Qr2|E]m|=zHPhֺƅ-ﻫ;K2? >zy"^_㤛9 ltO;Pq.yz Ia9NegWur"%uqX۰S`8$ʇ${,%hb^xcL(4ƜІg5]VF{{fA-/'9@Wjr }z 0oI!$x} [φKX &")rfZ'" !`F'ua/6˧r ˈqI&{`&@I_