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 83 Tl ]/ Impossible_Geometry:threads=4elapsed=8.575cpu=18.648gc=0.384factor=2.177zXZִF! d]ŗXf[&2sHx},W,;:#-`3cDe$_wh;eU5?J:'߶ iP%s$h3,i &Mov]E/51O͞ZRJ8.7/)DhpYUu6w;pg9ML;Gs@W4g=X* 9/E>+ˎUzM̢Ӆ\@}Bj1B KܘUw8WX+3i->>"}ůRo3&x m9+MM_õ5oܧU5 Moh<&\2SDU67eĘMt" 6awDgYZ7zXZִF! [K]ŗXiɟRw`5.@!azH>MM('J8!9Ay\{<+*V>xϯi#g\Uh}YZ7zXZִF! E$]ŗXi%BǑTSjY1-ۋǚHvvx4uӇ.`0sOQ .N_rC/w boﶵ8prprb^099xcp-,B˼c# T)DՎm*著!c%xd7i#x2m2,#׬UWӜqkw}+M0߁?htYky5/(PmA)x_~\=<|F?*Bz~LCR/b=j0 Be|oøĠ~f(`Ax|u6V._/88Af/LUL/!a[~ ǁ TRhm6hڢyeP ḅ~̊b J;nh u"/UWJJ]2/^O#u= j%TPcMؿF r񯍶B!e ڈg52eaPT8Y ,Y2hETଐC*PV#h"ʬ-_5V:1~A/[474ufWddf]PJ߳<=Ĭ9%ի'OG!#;4gMfLoE Tn8|`}/,~$ a hUh_aN6y=ri"\,luLfزV`=8 J*pe3+/ cơO"eIRQA 58m?B-ZlĹԼg[Zg ѱ42]5fIO?󋓿qŽoj+ԡirv"غ H E9dž4D)y1L k %D`J(j6 E%<>6>|-馣?]ZoiaqM^