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 [ 4$ ]/]HOLCF:threads=6elapsed=12.595cpu=39.236gc=2.468factor=3.127zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0Ǵۡ]{[,eORe4oXv$9Y#9$w(A'd6 k/ N GhlUͫX->qANd1w1^96-k`*:I[5i: yyҏ"&`bl$XȆ_~z\ S~C±)i; $WR:K&߿gx\Jꬊ3@ȑvQҾ^KDB\CbN竔9)ei,;)T*=W +R6> 7vCG@/D}8Q̤{9MO8?gH7y#MT:!knj*7z6y 2uSݍ"0wmDH|JypnɃ{K&HE;h ?F?rmkuD6k\Q,HmK㜧O|xDy]iJHWr;{lM2t9E?Qr[Q;S IHK[U%[樃f.%yGqG( hKEV7@sMcGDA+q'@6Q ד'V{F~>6-򧌟g+g.;:\B#g=gYZ7zXZִF! K]ŗXiɟ>Ӈɇ9S2]k8'ǦivkC2KDۢ(lf+Y=XeIܻƓt3^/O;wM{ۥi6Call%8K>.!JdI6O%JM}u7+E!¡Ah蒸+ MKa=‡j:dhW kR"q]i| );#7]_+)%& Ih PzUS"QY0*4[SP!1XtZGg=& 9 SU0D_z lbsau}¨%\xkoN 6<jy)H Ղ{,NHVYZ=TlF,?`>.ʄå]sWlx"9hֵjD+jyTĬޖدj#Oab WYSHR-Z/p`fd@rW&i0ɵI̟0J_`fIҐh\ ?L]ŗXi%>j>`aT)5҇dݥ4ɉpRt=4TA&ݍb_rZGU"Nm\_)IIab)Io[58wU٢(xᒤąe_׳Q ͆GeȞorѾV#y3]ڻ$HįbücL8/ -Ζ'Y~BĉvHP8E{N{£M (g9D)ſ5 XTŘ3fbZJOe>YIdB%Rg(m+l+|̴YH$pG4 Ǩg( 8M#s}obg/m'l@=:)2øzdHGyg[%L" FչղAJ,-"J ,p:%lCYn 8iBðئ m^g+ЗQ%ա9/z82Y`I]-.fn'9}ywӧwH:Cy *'*wʖ7уsh ` I"4"qK/fdT}0,gc*aT#Vpp9b`\f6^pS2 "볢 NRa!/٨nwG 0vhn~kv~̃UPfI9z)R緱g 3(?q+CŦaff&WzS}?`{#&C] r=3]-M/d=c^xD_iWJr ([^oLFPjEpjdX֮B;~IX 8'&A;^߮`;~>ʅ6@t2`!a&J-Y"ZT;+Sá6#eJ3*|j͔22H^48)#e?;K/~^*γINgߺۇV|Gtn}$}:<Ds߶pҰ5|BO7t6!!c6y36w }rF"gYZd75e72771062f5a53bfe5b917cef33db6388a293fa95ed0464f30ce78a23f18378a450505aac44e2 33766297751265f96298d96dfa2ce2f96fd564b09e5a8109d5390eb67a66a8f0cc301e8d9b8971ef  HOLCF