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 99D3 ,, ]/ Impossible_Geometry:threads=4elapsed=7.939cpu=18.312gc=0.492factor=2.317zXZִF! O]ŗXf[&2sHx},W,;:#-`3cDe$_wh;eU5?J:'߶w>zn%駭;V*D/6=+Ym)B{N4&r)/I;˼?fwtMM('J6=&ߋ۾ tI@.m!mg\Uh}YZ7zXZִF! ?]ŗXi%Gg)r1,ȐK,Dji=y:"{ }Cd };URu>Nw46^LUpҜe8(7ta9FA똽İs0 ޴Ne2zm_zq|kdqOk!l(|I--[I9, r,ESwJu "7 ")O]G-5>(CaLA:$qa0@No^Ӫ1T2b|8./y \nSMmw{w>zxMAz"yӝQIFrs[=ob;q`?۷gCpՅs>V NtiLe<3MsV6z|#[UsdI)LD"D0 #s!7('+Q4kTjuA$pn8C@i=]w3'5\S0gq*WO+G}}"Z_.T zBU\Iu3:(E~d kJ?5ӱ'mFgEA ,+9y!GgFL!}Tؤ|ܩN`лUKU*J"/wM L@n4gu BFm{.F [fF]`*6e 4`0I bdq$IM*fOg9 e1vyԈ,YvFv50<]ۯ˅=څ0r3d:ݓ{?2dAp 6jY  č+gYZ20977df86602421e295c1a0d30582217fc63c1f81795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 3 Impossible_Geometry