SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 RR+ d4t ]/]HOLCF:threads=6elapsed=12.836cpu=39.788gc=2.080factor=3.107zXZִF! /]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{Vd޶* ~ r6\8y="5b1spjJ,I5AP gюSBҘ/j,62ڞ ?/ lSH:B]ϓ[Zm!KV@|2XB$i_+Ѝ"e=׉*\=T9wp!R߄qq3:s8Cn)5n)U?Kb]2_ KQq(qLOiL?Qa7C5ٙdcztjaacU=q|:xۊaν(~J* pBKHXFgY‰P[0|pltl%jewFA"/fxFH"2,jag^tƸ,pX%k:|ISld ~%ON*HOHlN[j5vП[bl1Ҡ @$J$~ŀPDJXSl r5њOp_! S˝J]9dzԎW5 8(:,ckg.>Cn'?s\UEYI m5Tzy,!7}dg#sB+  IWU'z_ۏ%z }ТΑ&pNgYZ7zXZִF! Q]ŗXiɟ>Ӈɇ9S2]t-% ;u>/ N_ZBo b6_$˶er.hY:3H!%㜯WUo;j{(.?FRH 0Ȁs }r R =@ED`ŠnE8|y@ 0nWTI>ݪ\(@wT5k,Xԋrm:gHTcHyZ$r@xA ]>སJrnJ"_ 2غk$3枍ϋ%^=\ld z5 RȘMF&yBg|d89 5_2j3*^S$ɡ1C,24M+9Zj ؠ='d}a=׾MtP4L(]]ŗXi%@fײF?8y{cEO$h*oSJ鏏73::3\Ҹ?D#Xgv&NaЪLa2Vk(0f;Eز4odхskwpUPt2> 29}T =W$6/jsCZ>hgtPedc8jjgK?`%xfd`MXl#(FK-|4۱ -A5F^IsJ+4oe*ܭ g2 ~.[ܮJ -D0"Pw;9d P HdMP^,}: fP:ߊcDj`s %AV\b@}]78r?ws_u_$, ( ˽ faZ7+CniCxwJ8H% ;U;N_$}a&kIfm<B<]DEDC \q۹~e!ߜQ n2񭗦>eGoNcfr k