SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 PP-  < ]/ FLP:threads=2elapsed=20.779cpu=38.112gc=1.164factor=1.837zXZִF! v]ŗXf1-/6vRZlh[j^iWrYWrWzux;6aţ n5`V gҌงߋ`(,$qTI}l ڧS'5Q'bF(SITx+bkNJ.hqaF ʣ|jt>.6i&P#\Yt̓SpH#Y3ZajkC+Ֆ7| ܕ$49(M#)-G~|ـT&+#jL X@jpbyER\e$1^ӡQ!mDkQd 6I2Y(N!a.硗z|Hn1*/"2P!> *`/&`N}8Vgְ;BM,8;e_ѩ@QeTRffӻHQ# mQE b JKقw?殩.Bÿ́|c"Oռ):! A1e$` > o1e#c2GNSӄp9g &gPArkֵy f@f#FkJ﯌ 瑾&xgYZ7zXZִF! ]ŗXiɟ6PSוuF3J"ᱝMb`kl ]j;kair峁JCv1_F[kSyWi$wǡ%We$A4 S0lEqY῁f>[*F|囡\Ӹ +u cvnP%d=(a;<@DNaA@@gYZ7zXZִF! vG]ŗXi%>g_3V-3а#j׏[xƖ΅FW7Jfc@$8NV +jTYg 2jW-͂֟_`p% ~-yDvu9#rFKB_{ ~ly`(%xNFDSbp+5F1UafC'~ųElGJcDg6oΔ^ovm2*l` E۱֔$-u j|'w "(u`X8ez+xK5?9Z.̅;^aCU}]#í۝TtfLn&R2[ 2EDS"i+dq9 k_2tpʏX!a^;*!fcOHM uv|:=B39ł{MZ}-2ցʊ,JXމt0$UFm+g daExgjœ%l!ua5ՌO6@谳27H=K[Qx iBo"eZ\W n'mPpP#>>ks/<(̧1Yf5H⇇:N@W<.e:s ?H+8ힼ~h| 7\a Ӧ[:SP! ,@SMf2O& 5gjT[CZWzxW,fGA]X;$p+y׶ 5I)knF;f.2zO l|}@!"#s'a^w&~ԵRHP0kPxvf+]I Gcr JiJϙ+@ ~hbTNt縘 fL|ydip P{2#cj{.B_m.dc A^M"iϛ~yJ ¡E+n|i( ]W0tʁ"Er;Y`(\8p ?#Pl`B!7QHyd3Q/)sw4ofzD j:6® !SXGmH&'9m+.j~g(8.Y'LBfS{dnd)*4UKaVq` ܿgYZ6d78adb79d4b85e0ec45567e7f7c99191ca1267f97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3  FLP