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 k < ]/ Menger:threads=4elapsed=6.342cpu=21.560gc=0.664factor=3.407zXZִF! )]ŗXf[&LRH=>퇜=g n* #(9᠗K<gytF!B0I[prˬDTo:P˥|],0!?h/dV-dMӸY,`*Zq:бgYZ7zXZִF! 3]ŗXiɟ{A]R90⿈WM@'O2ہ<:9*զ"l{s~ZtPZ\MFRLcEy5#R:D ߼q!w3aߎosGl6%;2I9"x Xd@l{ZBjdPgYZ7zXZִF! :_{]ŗXi%GV;m 806PZ^0Q*?BkoX@%[6G 3䳜ᾓu Q*b ];St!w-~k=E.̪4G Nߍo֪1Y}HZ}Sqq.O +ܜJ!;bD -#fܑ_vM|_߸2V`ѻPjT*ٞ"脘Z"BI+6hէA}\BTb&'ڠ$wz5uǒz]" j;پI&7ʸEtEjjn0pҒ[jHMqqvȇ(Nk$HvdoE*U!+#'s T-tihB==[EGf_MHo(\KU2霶#ߥc[߿-^e(p~ 2i84C@,Ό#{ ň"q^5TΚx*igɝmRqOSߦF(Zqz9<銎/|X im̠il4NT%${R[0}(՘ Ly/$qI!ȡTIC;bwmnšfF.\gVZO2Fҙ|SjaOȏ իb O. B7H](C\$oR“?R30{:jzLָ`ma1AUDPqk՟ %wZfmUuym&H?EaQ#mfa€]߼l# tk;T^)!½}UU<&6g-X$! yh9xzSuũp_ɄlȟW;~nJ/)]*r X`nF:Vcs~r< vSЅ tKgYZffa4cf1a9a58f35dc6fd3b637b69e7ec13ad204e4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2   Menger