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 G Dd ]/]HOLCF:threads=2elapsed=16.606cpu=32.936gc=2.232factor=1.987zXZִF! ]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_J[x@%$]$ڴeD(8W9H20QG>DdI^Z v?,@d2o$%tll 9kɡ0şN"GN7(Kq|' y`ެE7TNK=UxI?K-J啥Fr 3I}fzccR1ސ ȅvͳ IbFj~g癌Vx2wgccĹl!"cuVL 6b,+.GS.@.N0ujug)NU-fvM+5|r< ]^ ݵX48>4Hirml#~dDzZG_1B0"|8_L,qce{LK~EM|W]Ly,'kI6B ::FK.\aX GhyC;l~Zv'lRQ _GMǶ&]wdR凩#NF}U$3l,Gť>~d_Wo@w(0e/LP忌oSr#DUgYZ7zXZִF! F]ŗXiɟ1˦r~KunύNN{EWA 'c.ru5̪{Xdµn=+ꥼIM Ʀyrt{deƷ\+" F^ (Jª>Hɯ<՗uV2)Iť4jf r/>.f6 U<Ŋ?YE2ޟ{/oT~tOZVB_b9]GSqa ~am'u҄oL1"JD4RQ}70_1H6۱˙'+UxgYZ7zXZִF! g]ŗXi%;GY {vr(pyڦxW 4IAoD%3g5^Tc1SЛN`Vh!Tߒ'IQhZ7W~&l(nG /Mz" Ųnr<eScw}Z}\qMxjoa@ኧ@ec,.EXK[Fv45?w+H3c&ᒛ7ֳFl \Kȝ3buJ#R2S_cn6?r0_DZe,>{"y .+W4Q*:d]'5 y 0N\1GI DXrWs[oih­ALiQ"7 7O; :aH_HT-#"Sk0֙6Ϙ!Dxw֨; i  P9rm Q_ /tn-8?0qX$}cKh'r`WgJYFh4X = >o.ժhlb3$;|}>};1~N7FjUDo$7ebP mͥ,t*៾/wx'|{]Q {ֻVO:9\я9hj|}1%>m#Q;-Pb&мۯu+?׃w6$Ԉdߖf=ݎ#${le(ݨb:Ҧ`y"y-eA>$U^QB>CN‚,(_ִ8F䜝$ fYC88X,疏N''O[Seڞ:UOcA8ջrD?Q#!R5huTEa ] Aj\d 8>CƆ;rY-Ԧn#t02oxF4 x q"oOdv]/UnיdӠͅ](IaZf+9AJhM,8"o#nN2Oۨġ_IjK9|Lɑ}6m򁙃z6DH>Q3ʂoF4"F2tM[ 2r'@C6$PGd}RP+Y(}ɟl+baU s)Fw:0st ހT8^gZTG8Oȭw(`n׭Їtb~ؗ8n2EYh m!R4ɿB]\y+a#U\hۭe ^7gYZ24da6aa735584af7db6eb11248d0ca07c2a75542071f7fa30665cd1599ab0688c2ebc3134f4d53a1 9735cdf9ab52c04e2b30aff2857f0646f946ff296a052b9f990c0caabd712f6185a05dbddc8c0074  HOLCF