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.906cpu=39.828gc=2.352factor=3.097zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAU![Ys ?!4|cN>_CP]mgk?ǥW$- 4u,f Ǜ/fo[S2Ȗfl_շ܃mWWqdN#J4[C\6d-4u.=7IH$jI\c$iu^;32N0t:HWXa)M7_%LϒR FHTu<75;)\=*Q7Z"X`,s< dKi/ܔQyJ EvLրXVC+3Jyg+;}Nv&]Adt/ƶ`D ]DbO]ftr ޕ[plCKS~tιm>> 0)g[4^ !=L:flZdF.;1S %`3 v#x^~mc#X>;KDLMj!  +&ydquwnKACD]yy"/ؚOG$Ibh| \g7щNG! VL㪆]n {LuPDABhS@O%$sX'C:ȱgYZ7zXZִF! W]ŗXiɟ>Ӈɇ9S2]t߇ː\H atQ@a='ҭ`ȧ׺hTӇ7bih/YoO|* oLt w~;*]jdi6Y^Wϯ >~ߧP_${E,iyp5iglrLBѠL F!0 `C%jD_z7mPAb/c'KK-Y5|/")pV]u7ԧ ”rB7b6c9v-1ڿ3WOp<ȑ%P1I* U]EdmjF}XIU3XTy+Z~ Bk3r紹lD+~@aqLtac@:%vbb-F bJоo, 11=dphH47 q>mV*p%<I\}fpH'qǜ&bѱgYZ7zXZִF! >]ŗXi%@\pu|yz0/ *r4h솮7}| j3ϞFrpnmyulr99[Y$!t !U}[kOIr^ehg"~WO_n1)Cl5"ea^nW8MY U`*8Xi{ɼ*<}x#%LӪΦj ܌1ӄnLPL;(db:tX5: xfl^%"_@NR]m )JNh$a5ARϮZ%DŽ g]X6k)@)0O# .Z8A50\M+da?"۴OһnIkZrm.'MnPIɻ*Е;V31=e_n{G/kGK⏱p2ޅjx#o&^ vDtJ i|bLLjA;Lp:キp܊qɂX9AaIp!D·w",'Ϡ1h6a.0^:. ߥ9ɀw G;wzqzUkG{1JԈ#ǀ߃Z4 U*V>xZ~)Zdhj:LXyI'c3 ^unT25<hr T`a4X_k.G]ZwɧHc^ ?f8?rڮA X^ѹ (s”h|hLrqx$=-8,Oxy m/Uc q =W+~4;K:%o*m=v"ㄤawmilۇJ/tz5N NDc7:s9Ap[^)auy^'<crC@s+Xj2Uw|]*0M?)1țYL0j[v :鍡"u:ӅNc-IslܮAF[&ءGC'e,"AO k#!.0y_N]{[[ Nq  hv}jcS$}SEO# }8y챱gYZb25b677acc9f55c916c57fc4c1d200d46de2478862dd5ef845605834f99fd219c6113e6e5d2ead3b e158806d250ceec2e5c99ef815333151f28fb2938beeb8c7d31f19502c4964393b7c99b40b9022da  HOLCF