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 6 , ]S Lp:threads=4elapsed=25.432cpu=81.492gc=0.968factor=3.207zXZִF! 'O]ŗXf[&X'y`T=+ˡ-(uAVw4uC4EA tsvme]0Pc@7Z\A<'1EX>>JM_'q?BJG0q`Iٽlrb1Utp8k}i"`Rlڍ ܪ9k4t]?!vT2+}ѩi`@J4nG#=|Xcfuʢf4QtSCS84/NEV^揔vV^qu`aGw8mz/fqC(>ҜFp~i2z4.>_P*]KR  Lp  'O]qƥQ JUlP7tFIc`HKX ޣM|vEs7 &sNM΅==VwOaaJTq3:ɎG sgY~BirKC i9Q{KzIڢVf:i!w5 @pA.ȡ_ҁ Y9[TbKvR|#4h QFi WP[  _$b&eÞQgXrHm,a&u`,Nr-{N;Ӥ4[ٯ(SK C949;PRmOTGTf] zҵh(l_.2w3+\OcHgYZ7zXZִF! ]ŗXiɟ7 +W*2TG= WbzAYLh 7qↁ;芳Qoprӄ= ̑88jػ G~oH#߉H և)i&P8t~=( CgYZ7zXZִF! ୆ ~]ŗXi%ES3#(s*gF۟Ux#z0_59 WЈֆm :ۏNlZ՟Z_k|=lK CbSHKz9=ߝ6 oeej7W7NŔ4$b+h',2Цňlg{x;'žMgZ@@ czG#vjC648EZRP&F](2 ^} Ws ]{P96}s%{GzR%$%Ϸ|Zdp]2T2Ah'/( O7),gQM$:` W3AF\*j ݝ}C mA~%5W[F0pўp1կeny{AhȦrIx7CARćn1aˉd#є\iqĢu:@DLGjH18xְjeT|Wߒ۞ cML8_+.]ߨ6R^8CP|,uSs MMgwDPBԖNA48P:wپ0&:6x-e+Iг} nwa!yMX ,\Г1&_Rfx:mq1|Cz}Mp0҉}`֑O`=8ۍ!Jj,otɴj-~d":ꂬ, w} ; E\%,}uJiCLݴCV6@)tAөEEri`?)_u@e9krxZu# MW7FX+%v9CF.)w.G44w16<YrPw|vܵgT/Uq!X,n0.aCeKk ?YwWVK^ڊYހIu\F3VxHw%5XF*o$7!:ȂHl ?sy^V߃y]n+SLcr4JND7W9 75FeEgn:C oP@Ys)6'0x?Ѣ'> jG~1ioŧurJN(:%YaY }peG:h1hW|&o/My>;ƦJ{YD㠌3!;]S;eAOR Ǫa6˲:6Ib 9]r #L*:T9|EHd @/VDb~mq|8vP^ډᬏ֢80 F38TGlEjVsQmuO:ܰc?A]WK^1)C+))j3ULsѩ +[ -dM LqqԐl[3T.^o QL 0cHTiiO7 :J?ui3R6IgD5h_֚'2?m SY&(_H? :TW:>ɜ/y^^]?8WJK!*v:dY#M#;L*lvW2\u)(L:6e"1œDʑ k<3~b3ŠEu}ڤ{THLeMg|)¶`P/<(O"m%. F;adH ŰH( R\/)S:`0XErN%ib}:rZ6!3[xFB={w_'Frzjt/r1gˤ^.:]pIQvWydr DmfW ~x K #3oTAV0 4r'퐩Kt߮$%/ R6c C ,Pq(6}"OOm埇-]QzbLy$3f\vZj 4oyb|FLf-I˶8?0AXKG) AOC/P, V 4 l[ff$Wc7:a>AH<