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 3 <D ]/ Impossible_Geometry:threads=4elapsed=7.874cpu=18.072gc=0.540factor=2.307zXZִF! 3V]ŗXf[&2sHx},W,;:#-`3cDe$_wh;eU5?J:'߶~gM\_5XPY q/;|UF& S,CQOMUH7iNpʱJsPbTZx`uziz=9~7$,u\:a<53-mlr[AKztarȥa*F=z.WIUT0JwvA0q0s=P eŏl&;tF#rF͞,Jr^$Po1r!ú'ΫBm>b#agYZ7zXZִF! [K]ŗXiɟRw`5.@!azH>MM('J6̓̊L^ wջo;~g\Uh}YZ7zXZִF! BY]ŗXi%L x+8:p:4ݵ ښqxA_F TO) j"qEQ8^nqBknˏ&0/K,V^k५R4g=s>d^'<$cdKD[a)+Rd&h&t++2DekOrڦ]b-'%co/+xj~v^'|_dKeaB&\kټA'=eqi#a59-, _<O m5uPwagߍ?{ksyiSRF%rcX?-oPO(GV``@~qRŗ.(F՞_v49{vYG(STmDׁLbZK_&&=je |Ƌ-bUS39Kg #9Kkgg\zPOUxyMUr ҵQCo1Bk 4"×rlŌѫW$Ɵih +; GcjLy^^ 9ը4 XTy35uMhU_8Q+~9Ā~i-ǰG2+}ڔF(9:hٰq$JD`ŊS=d6Hf1)~QCz`|J͹ 6Uç1 koj}mp0r#:?+5ǞO”\؀lUށ."zS?c&Q?Bvޕ$X'dp~0}15V~ 1SLغ^m}O/k<&_ڄ2CJ҆Zy7,MH6;X,lWoZY݊[ q'+!u׫S*#[7x* *NەbaI! ڄH@gYZ15a4f2bdc1bdb8fe9191984b9b54b027eb4b34dfd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 3 Impossible_Geometry