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 &&W |,< ]/]HOLCF:threads=6elapsed=12.806cpu=40.648gc=2.656factor=3.177zXZִF! v]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0Ta0c}HߣI~v)۱?Z`qم`2fTW S\݈nX w~탚b\Eg“u =a nL@evBBjFPtQLsADh1P^NhrBS;aL]g4SPI7{Qru2J wC5 -"P终Z7m "G˜ݞh /xJ|MUJ; x4]gUFr|Č L7`xZ" k7 fCw+@jCOaz>6J&'Y"2^`h`UCk'քisM"- C9|ԃQ y ՝51R+,{ ϩ%,*fx-1돷ӱcUfڱb{Rr" =tBgy1K{*ӝxU˦۰wA\˭x5=?lCI/;EZ}sƻen(dmyl̀ ɔhw%߱gYZ7zXZִF! M]ŗXiɟ>Ӈɇ9S2]hα*LpIӷESwtn;eU/ϿJD`$YZy$.K3xk-GҊ[lmR5 A/-0K!]d`[w4Nu[nNpa<^F&̵(o5<&$NE-yX q?m5Pe-KA8L~_?I>~ Wio/dNu|fmLmxx/*G3f&E3W\z#Og!3k h$GAiTIaAgWV>./@*`>,$:̌wnmDk'4 =Ms}V|g8^ĸ B(釬Ј8MoS F1-hme^޽^> ;v-ܻmȅG9?X2T +4m>rJBm#| z e%jA"I0̺BPtۿ޻y(. K#K uCsgYZ7zXZִF! HV]ŗXi%IJ>js G//J4)P4_}֮av)OL/RTA lbbA\|#6܎Jn%P>-`X<Y [:N Gbr؝w|2[ ST_(K f~n&^JuՌ@?Aۃ珰׏Ekv31/׋>Չ_nq|w|vX^Y)̲B)R~˙0b>nO,Ʊ@b{!wkwx;Mf+0t[ p⬼DaM/粖p_m-YKaoS|z9\~ *P:\s$^C{jP$7XE@`?\6[OٿjCbٌ B[({d q gdh]<`AonXd0Mz̆Ж/[M*tG=E嫍2 }(W3jah/D"+|KBP~{ ^FSQX)VNe>&nS(wy 7"5\jҺy3:J<"C3oC}Q5HgÆ&\؏yl_J.?֢M^UB8züV\{s;>^O^AYrh Ǔo9֢t&C'b{Pr0@&Y`h@Ėfp1#I?5  ǂNY[Q,yh gOtNwr3)CY8&JޔBzu^ 0::#q .ysv>8`ѳΦ޶E ACRs 3I`8xIDąb6DQ>hwǼo{`շസEѸXؚiS\6/]다kn]%1pН%<ZMW½N:G/ ' T&T9TKs`/*eK{IQ{v (qoQzq"hbk? 3X1WeLw={sIVV#v^n8`IҴ`7=U/ٺ7\U1/tnqCn0e6+:z︡&utB/t^=a'Z2 5܏wﹺ6 x.; :Ji@.jCrbA3([~ fHW&T޸]{. LRQ +5'c^*@K="q#wY W두,_?#v?fG<3qreĸX*^ mtU~_,ײ T!q'yw.r*+P3H47Npk'ߑqG;P NxͱgYZ85995266553c7cc86bf85acb8cc1fa8294326706ac9d0f03b401bcb9118f647e2b13c9614a77477f ec03fea6e4cca0df6230df865e1726404604ac8c4936be0caa84053566cbfa289bf43eb4232af4d8  HOLCF