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 L3 \ ]/ Impossible_Geometry:threads=4elapsed=8.843cpu=19.528gc=0.432factor=2.217zXZִF! eg]ŗXf[&2sHx},W,;:#-`3cDe$_wh;eU5?J:'߷)؎!tL @0,v@Yb}Hc;ZFO 5U,qrW#ޏhdp9Wd཈׆ERO"z=f<4 >ÿN?Ʃq ٩}gi2;tCW98o r֊ɬQYnmĽʅvC aS1@(Hv2 _hlHbص@B")o#w1zKBgl>RmJ]r>byܺJP|&9tgYZ7zXZִF! [L]ŗXiɟRw`5.@!azH>MM('J8]_'#1ak({pLQPJwUm3h\[I}YZ7zXZִF! H]ŗXi%BhP ѩsrl+x%K+fQ[5 L8g,AQĥqhȚ3[~}|@,,>sl XaZ@ߙ#aqqk@zDl[H^l8aPY6|HjelԷi),)ȕF7/^$JҝA(uT8EV_P"eVU̟j-j،lĒU$& X5l^u-9 17?߬;/9~eQ,h<0mdDlܠXY(M8o cM"ɧ0w 8jsEKwU!4UW}3}il$֑CB/"mg]H8SȲU?Y C=KN@lԏ<.yg\PM>|2"'ROBpxglp~ Jo Rλƿ1DڋWlGv.irӑK* 68s)'FU8^@E|7̳ .܆ &Kohj!WGank윩}Wଳn(&NvD7Pdmrs%uu^:x /wWəv1Cǃ8ݒG(&I즏O/'9vI> ӢDŢP^r` JY>Zl_u/o訦e^V?h݁nxdE n\ȋl-ֱݖ-l# ֭!q/[;ל&RQ?#xְ,avi$bwj:[fEGWI/lN%SaW(5;sJ"ӑM|'_b u}&o++Pw`lUjg @s0R ~O{