SQLite format 3@ .;  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 %%X3 $\ ]/ Impossible_Geometry:threads=4elapsed=7.687cpu=17.228gc=0.436factor=2.247zXZִF! eI]ŗXf[&2sHx},W,;:#-`3cDe$_wh;eU5?J:'߶C~M#i\Jo4ř&hlLFP៏T7ʗ+(Z?EՇWgu:2!B;pO~wtCޣ{417|^,oVįdm%dzb9k1m{Prڨ;/*`"D 0RA\ed)BB}w/:7x']5\I@cZB`HH>yt07Vfe+̣gYZ7zXZִF! [K]ŗXiɟRw`5.@!azH>MM('J6xm j!vp̺xw|_ 0e(g4*%g\Uh}YZ7zXZִF! ?]ŗXi%L S6# E8? 7aE0Kp;joXbOmjnAzX_9YΌ, ODoM:$ZZ|^v_U?1ytu.]{ҡ4g\L~B{ kV\moT6#Ӣ:dF"ţEI`)TzěKWjvg?Zq .ݒUY(aapJ H9"LʚXNt򐽆)øSOxU,)8)fF=ʹ\06>vB혗Bpo",=Mx+g IOwűl5.)ĕDZOA4ƿ/dOl Yj^0qbY;w+dzþ.* ˵ )ټj(r-FPqoOuy Krn{lkHP|"tQU7Liu"'-=kF{2BVfAK,2- BG@baz{cXSb ZgEd`1BW@$:3#tjOց(JM׳ؔz^ؠntƹIԪzgc[GnzlD @!3*{A|.0^Vd:J|-H!:fQ9a'Z 8stoVp .rJsg~o |8"h*Bbu)vcűp m3EBΕ5%@ /o/6[DSVӍ 1XZ`.[3Kh%c*JQ@)8YEX-&ĞP/ad+/7u8]q$3Ƀ̯;3׀ݝ\ʧᒨ}r`\[ڈjR}1-]+k V(~ X8gYZ63eb7f79bf67ca7bf3a9839b97aca408c6ef9e74d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 3 Impossible_Geometry