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 # D4 ]/]HOLCF:threads=6elapsed=12.776cpu=40.588gc=2.548factor=3.187zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{W$~8Xfv:hDX`GW L>Ĭ1b{Huf—xwP/7n|aLϚ+Ƚ 8;iŔ"!}n!yK꾞Q7N4yBi`6/̖`ݶjт`E^C͚]/iJBXL 5[Gهxqn&w{%Qdiߊ{2tV > MY2s9A!j tOVEHd P[0p# d6]IS:~-hx,@z8.TTc:sG g)! +k\azF4Ha`n^瓣=I^~V{.2^"M'@_@$WHSg  xޯ4bj] /T/8zl$Ar+c_( 2W^Ċ)/Z|GCEuL,|:잋]GMqkSCilRO:4AT1ީZ^G<4 oӇɇ9S2]k8'Ǧiz}7`բȖ* b/DI+| nF0  $_#y[:;1ŀX(0Oe2[8 å8t{5WiUq>(׬SdiOqN9Gz9O3;yf6=$rN[>MrmF׍8кa7pV2$C|ӒZeLA\#Ah&JR^S \O DxU|Mcsr&aJߖ28q-M)vH^+lR)KD$Ϲ}!Y1Ye^dV}OGy]2977c"ٶ[tG@HvRڂLGU5Cl`ۣb lhng^Vn ""J{aDzbg3Aeh"B!=6vǙieh+)Fˡ.gYZ7zXZִF! H;]ŗXi%J Rp;zQsGxY{[ZB8(}\ r锺(35Q5|)n>8j7hg|1aS$=yN(çaD3c-KSPn  t5$b;,_R[ӓP_)ט:Y$u?}G_ӕ(^rGk[\g-;=4Q {I5Dv] 6xS26lRN}gu:K䯦>!o1d`kjDD4C(+ nDC Aw-QLj];d;%sUѴ5jFeG{}(K@73e8f,Q/ǔlw'Mpwql@`];5T0H!RĨx @5?{6jdjሹ,Y4Ti\r5f):߿V#FϸN ׇeU$Wӂy5yEo=\ϷEJ 1JoGJ|]P7/lwxK֒)Jvj2p9c R3^c^YLn(|^e=9̣ݜ]BO3#⃰62[VoLT;U?xpMRқ C Z*3g*-f ic燖bOb̭P$r#ǟ6\fU vDӰп,5/iQ@LEQ[x&p6{Z8gϦ'$5$-N7ǵ2v}$_{fM7za%TO/eՅ6+Dv>]ǥKq"uX;~OBf`5j!y\gQ Q1||D!ɃiL55Ⱦ?q:}WҖՅ)cf#CF%_>}ھ+Ixt}Zu9}:88/>~&-7 [ 1q6H7f.Q(!ߟ~)_Cx%O8/ߢ%aVSWCܓ?V>EaD\v9,)!öHQh6puQ= ϐ@լaw.MfeJ+}gAEsB h%[ F3w~GW7Ѿ2$?ji~P|QbIT#tw<ɯFyםb$R(QYwn՜AcxjW6"9U12b!fn?4amUoӦ-~;),b雂<. ґ߇ `gYZf3be64ff521e6b5ea3310e637c307da7b606e07e144081708d643f12bc07862a2c56f95089c24593 82f7148b5f30d0547ce70b4793c12f020624ac86b1bcbb56e4f0ad953909a31c5e3f02e5b5552e81  HOLCF