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  ? tl$ ]/ SIFPL:threads=4elapsed=33.097cpu=99.700gc=2.772factor=3.017zXZִF! ']ŗXf[&N} wI>>n.|VLڿu@jq\\_[6~*Ii=rM,.J<2 li<%uTXrjo$gnsDt.g4hu)uLAC!#nz L2?>ޥ;e]G>:Cb].|6Q5DPHh$pҀtܹ͇1;0Al s SjC_RQoWMaǥӓo~?M'uqÛTmE#3Ç!7{f}93PGzV p_NޢtzM b &EWj{NLf| >/LJ&fhjsv!k#uq  SIFPL  *؍ z=r:b/fh{AgFZZc.u}2u|vRb6I?(ٴ'7V捦-bay\CI7Ejv?$5X"}Y_Wk~SPYA\BTHяd3M$E9i?k!<ɉzjt1?O .vVsJXi5#?TQHt 0(W?"ʙڲN;Yhk oHR $~ xᦑ/wAۆG0"ƃ<;K?lԆ$q u9d܄tV !K*h[s LVh-t*c.Ѵ$ s/ Z 8u^Rz~kF+V޻o.t^!}nCWmquI_mrM-{z&>sukGW2 b)^/aEO ލmi(cZ7I/[`pб-n{~!w'A (7AT")A|,Q.1qB]vhq]$KS8qrxtgH=sn/b?A,Pc) _-2-cO_p2Q Lg36:: > |6aڒ☯f㳀j7eV8oTRB@pݲ ^EM@{pA6iK[k&}*w O"S xR&I&be>]..2J1V K @|@" ka@xOAru1Rx܇-%e14na;fг;f1 4)OJiIz:%ºrL CLp` Ӡϔ6G<yd/^LV%0eSĔ$>k#%q` ƙ0'{N!/jӋ4#'/!M{8rp**7a'hGJ*?Z5wW1pvp]d )Y\O-fiyԘnX)N)ʙm-ax&ݬ""kG.ǹ4s[Jm[5*'Pi8(n* 9H;D[]7 ,}.Nc>O /#PބP9BJ$egD,Fwy7B{jBE^,ώ m6'F\YOʻ@ȸ ě#06QZ1[5iJ︸0{j pazVƿKM+/o0kg>{8?!<lG,ʞ ˊi{o-8`+4J4GI{)c^8-8h*2>.4b|LSs$_upro騢%g/3nLQ "K6e_ {n?\9! 2I^vs\`;:{t_ip'#w)8[ R9) p;Y睍rf}.)&?PCR#kgs4cm&CaVgw`WU;bւ +ѳ{MZStj24 ?d3( v{k6ٸjAM(AT"ӦQ?ۚDU/4)2Hzz{F59苡$Do x@" ͰUeJ:/+:.W1oZ@`bskT9uEb+rAJr| |VۉR`y9iײ}ԛN+fjth9HڂzTBYzٔ|T(`['f@=y2LȭM]M%z_;>D븠R'.Sy \ol" ʽs Ij/ ˚.γҧ'ŀICllU(Zc8kY[gw0Ly.3BL:zs,|gu_UCy11Sћ70yAq_g.g`ʹї(p|Yc̍4gT |j}P Qb3hsGg s4 <(#Ft2Bҷ0R.F-Y҃gHЯJACv;jR/WFo= w ;H!6J&8M*c 7kMM٥ˬd4 28&Q&ފ;&42N牊6/x䍟VUnp;h~-3 NXu {OldH_pݨu!􈛨Zbvp JOW<s;ZܚͣἥgYZ36819bafd23ce46ad41fae3486a366dd3be3cce4ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe