SQLite format 3@ .0:  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 ::C ,| ]/]HOLCF:threads=6elapsed=12.892cpu=41.312gc=2.916factor=3.207zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0Ǵۡ]{[,eORd@Q–Q^-`7h@咇%[lZT2a:G揸#>ZX4g@hRTih#^7v\cZ B0zU$zTOVx  =Q梃=s,Lޢ,w񆮕ib)W$Eխ%QX+Xe&ՍXM$!۔R}To}tK{2203DnVQv1Nh(T(fGaualRn#4jd3끄>pwR7օxMYStj[%1&Dt*J+ؼ1MM,ة(}wr B<7>ޅ gЊ,j}}XX?v Fi} #Q'2HH¡3IͷB+p:;꫸u oNPYZzl^PgOPYh+:-44 Cq̇d.^m-&L3fgYZ7zXZִF! M]ŗXiɟ>Ӈɇ9S2]k3Oi.KVs|H4ɇ uǟ#Pƒ_}tZfRV)|{3\)yvƾ}?t73K$k7>\TWrQh9u*̟օW*r|A[+IlR9QH μ t$pl޲* +ݢ3^橰P;3MrPxyϪ|ïB=Rک&E)FSeG%kƹ$Jbemgи`i7om6 G^>++~Aq\CP05F?SmѲW Q<;xD &ہq eb(WcmHƅPud7F_pXmR|i}bAҐqV&]ՠdGT).g\ 6xwv $0-EVz%Bh^>)"[`޴rT+I4CsgYZ7zXZִF! H6]ŗXi%GAx[h?n`Nb DljYn.Zd#m!:9+&7$. \)$QO>(ۛjA$e9HX!DC|?2F4wofC,ӲvjU$v&SbMZS%6wk4j@fBs5r}lhy gӬ! HoZgH"k]?Sj[ro𧍤@H])1%]/ &:AQRA`)ާ!DrK^2pw@?[Oc38/)޼#bcnFԏyG-UpTFE69YPgPZ2|$D]TxF9}8d-v<M J1+gZc-`Dw‘(ʭ]$nWKXn@V\R=n$w i OǠ `o=y'[ĖLTo\}$OPK v5roʚa121r"l AFBj <&RHVfBJ֡RɧwJz0Ekk,Lo&"ITuGt[d$mפ#F:Һ#e 06͟eQ'LUKy=]Y+To0~`}篋s/TW rSfdaS!I5m[&)7ĒP@$ix-?^y2h2ر; S,Y  # ,\CGs2n{HWnn2\!oř7k/  W)"edK GqY@Y36o3dq7z%V| <1'{@OZ?N_wtQ;}'(n)3u)2͊.M50EaKO'sT/I$D UF]\UĔ C"{2X) ‰ /p% +hewuz~*HtB[EԽ= l^_a#o` فzr\}s(t2N^>r虛m'/ WsNy?hmŪ"oV Ga-&:f92i{|$iĤxX2^_/V{@F 6ҹ"_NrM}/:9.Ϙ ,~gYZ90f874c3432e39e1b649b140433a75944ef873a8f79dcaa1c9ac424b2dc8d1e27a0e09517d26ade4 eb37e5ba364e75f2c586fe34fbb117952048030f1dd1ba75f57aa6680da3b7951bdf453f79821369  HOLCF