SQLite format 3@ . BBh77otableisabelle_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 ' td ]]HOLCF-Library:threads=2elapsed=14.915cpu=29.384gc=1.396factor=1.977zXZִF! 3]ŗXf1-q恈͐7ӺV -O\9 a>)nkszf q`%h/ɰ=5&=uao_g8tře P!Il"N hЬdZ+C릹4)K3hCqP'RB`|$4cيT$N"a>J鮃%33N'*D܅.qesi=;KڷvfC^mEߖc| K+$5L6#b947^-vpnzbAТ Fmz;)7wE%[(Dرt?䯪m`$CA M'8 z\ B`sgn)yO,-$ȏpF%$ʌ*Hn,<(6 IgA7\)[P+"')!Jaj5iysm(\}Л面-S E;YP]U_:YH#%Yamp@b/u1 KTgYZ7zXZִF! 8l]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS0G-UqAƺ*я)kUZ̧<#BڼlWQA>|@ ,(k1KOTp#HV!Xkwpp!{NSd:deRöv\h+ZY$Lp3Sl;'78M!p\n4Xl*#HRzEX8~\(rMhw&k%_ZV08TydGq <]\4,)ne #%rNM*,ptq <<*Y ~gYZ7zXZִF! D*]ŗXi%;-Ǯ)E&[R{^s"#WٯL'T_vr 2W)4[rA}ChYW6%W볯F_v'F@4Wo}պbKL#yC^$6{['qo$ Fj?P)U{ ƍQ׏o3F}Fh$Fd3Q.bJj. M[fsrm^о 2/70Jf]L7geu^$b ;* 7ϫCw>d7|kd/ #e99N G}2a2N2 0F< Rl* svb롱Һ &}-NBt !$,DWX [s(xؚY-{we$?`[uciUIG 4 @NUxAB^EU1MCY`sk"3g0xgk*O,:beM%C3fa3zK24%pNJw~ &>hZ3BźZjD4E:$]aoϙouYë;9b}{[{#ޕxw{.H5蹄 jBݳu5~Ĕ$϶kk g ynw@EC"gr:k8E qS׌>fhT;a$XQr.s {٬'| lif-&f#2G )ddhG*qS&AELz~7)O s8?TJKzY5hZ;FCʼlu?)Ogt">`2xݪMR\pr:DG9?!CАoͥ1$_BF4 /1T|2 |:i#Zq"3X⡉Vvh":Jqiв0ޝIc9W SYZJ } *#֦z$[C,(WWDŽ QձgYZf925971ef73dfbc1ce3491fde204c8ca8e878f96848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 4a91b0378458a25b79a30d005e804f494c31721a8ba1001f3b50321479daabdffce04a8088a02d16 ' HOLCF-Library