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 t4< ]/]HOLCF:threads=6elapsed=12.760cpu=40.204gc=2.404factor=3.157zXZִF! B]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0ɑ] WS>K5 uqQx 2e[uD;3e(vKE,iVY 6\zQu`t} 3:x?~⊊gO_U;&I%i Ng[mN6H8aG[b5R.K[o#-5"-㚢 5H޹ 5CN]W^*$ex6Z~'qKg%a%9uTW!Lpn6['E],^VD)G?Kuteyv6 a#|gYZ7zXZִF! S]ŗXiɟ>Ӈɇ9S2]m嫸Svv([2lI4*PsTEF)\Aܲ#K~R]+ʊ}H`˭gŽ&Li2-nX, WbIer1ZiQ pŹk|OLLD}z} 3K3A% yŜ *B*!gMiYB + {ʋa{ #FRN.MMT.z६MvqiԡQ (' iLP<ˤ8m~]*%-cМ#6 x}e|\@j,XvyXm8;6dn,|Z['y8};R_*La(NPЧFז z} j0vF3D=$ |W>bME ol##Uo#1kИ{ tnŐN 9Xt^cFȄT2 Rʌ%ňެoG^GeWDޣaq8h/TB[Mӟ BxjᒴAX36ei6K^8@dkT M K#ϋmN?0~,pCG5_Hi'%fn5:Yk 3~k pj6grpy1WΤ' gY$Qu:uf!u1cbF^Z.e>uoۨ}z,fTa/&rYز*hڻbgJ釜)>^HD] Z\dujtM7v7@huL'X J3 `2S&K%P\ zA+g2×A7YOeNL xV k iA*>jڵ&ld<"Þ !U5~~.X:c$C+~Xz'Ϡ=]hg&5Xmr66%?c/Ϋdfx+d[i ~+`z:ƐߙteUY4E/UeSJ@n$D$F[sHDxdtoNW3.L9^8(xFK_xf{XpI:ּ RٜRN4K*d_&=|ťR+ JA|G|Gc T\葓IvkUs ڧ\|ȣq̢5}R< '2i]هA{I} e"^"Uhئg/P押F 6%yMJZXƁI۹ǥQdd_clε'A]^L}mg挏Q({|ZHACRE0$P*Hn^o㤳#)fBD=#fm絲. 4W5=@R;ņ&LX %DxD>RdϤ?lP,={&r!.|GWgZ/":W].G alDdB \%qbk>NL鶝/Z G(kG׆73 ˛ձgYZ8c58f4640d81d19a3dabab2b1235fafb90c6061bd1779d2ddc889cb6287b2680129b97571dba74da 6b61682130070f87aca58ebeac1f36c985eef21f5cbfbcc87f44f907400b0a0f5489d3c5d2eb0d20  HOLCF