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 ee3 l ]/ Impossible_Geometry:threads=4elapsed=7.266cpu=16.616gc=0.452factor=2.297zXZִF! A]ŗXf[&2sHx},W,;:#-`3cDe$_wh;eU5?J:'߶,*3/Un1?A쳝% ٪/!!-1=wp3zu*Iog/̿C؏^$ a.^'2ɲ(J]MdMLAG,w; &*9 s`.S+Bh# eNb>z`RBԥJ+$䡢^,9yb3*7a@@`9{o|&ӱgYZ7zXZִF! [L]ŗXiɟRw`5.@!azH>MM('J6)ţƲD3%, x>ŲzQh\[I}YZ7zXZִF! <o]ŗXi%GVTYtRj^ 0LE_+,5h> p&0*7TQ ߀l Uk#!+-J苮#Vm;a|"E^$H ǖnQ[x])l+5LdA Vbo^I\g%0 E&֧^R8=L1%&A4zꔭi9؆Jj\[@ 1x *$n Z׋f+jͧo:ν;epcSggh|'܁2zEy"tm,.Kr\WRY]\d]£3k04JF:$%>䯀9v<\l1.fO $aZ W {j(%9tw٥x[ 4dr}ITv@T颖NTrK"' 獹^(Í'a,$2|a+1`O..V(w\+C3m?聳!" m\ 2[.U7d&*%OCI'j)Xᬷs|͔ZqCX|=wnVsA+v:R|luuZ< DTYMhV=L=6r3x_q=E+ M͞$i/ FNl;EjPQi/'t4_Hu&DlY{o?/0638)R{'*@*&ӹIcxr=3`DITɞ*E5۽_3ؑ\<.҈[WR >!/G~)EP|9Kd${AQuTja8Vބ cPQJ#Ґɵ~=)+lrHoAwYs͗(ɹ_<os:T Yp̡JW p*&l#a)y䆻|yyd#i㵲nj!ɖZ3h7#_j)%Ը9n'sA@CXdrlZ)87R{#扳{x4P' pkX/yFjPDo4&a@c:Nظҗg)6x]^k]() y!ugYZ5de8843cc0e6df935a1c741f40dae1e74a3c44f44b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 3 Impossible_Geometry