SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ''V T| ] SuperCalc:threads=2elapsed=42.187cpu=76.200gc=3.412factor=1.817zXZִF! #M]ŗXf1-q恉<fUZ$d{s[̣pOms~0OO i 99zXU+@y}JC^(6q$wQί<8юt`b ;`jkFdn)\{fjhK *Z7 L!9./ S(bb'\lЃ@& o=Q[ҋ6<MŎ[#ȿxj{ 3F:+ 0Zj GR` - }SWx:!xHs y?@5tD!#JLrhF')ΕT~^kep`4}@PRrK ]>xECͿNjQ[)2k6<&wmf,b1y4 Xa*>L+)Y9E54&a6[8hB=xh=92Xҕ4 UD 81֤ 5sS^!heb[3jX\n^atlL@Y{}Z51]KoJ\_6e~–XM[w{)ϓՙSs'4_,q۳\ u1NG Ae$eh<'_la.&i'vQ D6h/*x`!abJ\$}DUM)S!t'gg*$q#SJi_CD3wp9;=my/ hځ*- ; bƬn(%`heʝ.:pEHVlHdu.YmLW*R'!)0#m䌱onjxz"ʣ#dxȵA/]S@jBzF>~gYZ7zXZִF! M ]ŗXi%6r\5nv>ޭX*Jo7gKfw,ˮ!LFE U=2`@x;TZL  i 0nlv |*˱(.I-EZSF%BaUȮApڎP%GF( t?Hzȉy >N1Nhit|Έk)l_YHcd\ IUA ]o' \ 4\yT*ec4j(z}d2lf RtG')W7/]f, swY'9%P0n)60%3 q-]_G>x)Uq/Mp@ 룲n7 "rpIn[9`[]0P f" `u&I*Lv+N|qqg]c:fuΕaXe.wk>֠,yAI| Fɑ-|De]H=R6R@X^RBxl m@d +t~m/02*{q*# #{4TbTnpk!C/m*]ytGnRpG&f8y<&#Ǻ>hM!Seq̠y  yi.1j6{RHOٙ,`G?_P$ע7@So+5)w%61c?F/Gkg`'҆7DNnKI`SKT&4 `x@Gޔcʳqdf}F5OדhoOj-S;\k@e-olʤ^ij\&<^Xn`'n[|g!S&Oj8LhCdybÿwQ6ľ闀o G0MZdf?;_c8sE{i.\bHXa\#S!ILAZ@=3g/Un#\5!Iv=}h^ wۙ1 HÁ&pG#O?^V0S.bXF7)Ru8 L$zM}!oky>墩Cĵ;WEtN9uG+(O?-qPwh{vx@މ"'C;^(te{]^qqv#M *R$Z plAJB-StFMi=19Ddֻu'/wŀ-2`gzFky>ܭ6NHD"֯ZtMrNe%|eC`MZ28[`8[<H+pϖK NWdN ۘO|vƩNvt~y--T4vi{;Ulg Ok{A@Η*|kٯn:$D?`@JoD8Yug&/@csy,P5/\dѕ!&)7"4c#vAo~kwV8umߋw׸0S >u5~/[zgk0[J^$R @=qsؙz%$Rײ0U}⦺ .<3ŏ8sn, "9)WM/m ԾwPYMR qت;:-+b@ -Dė$\)e"JE*^U%ɹ){U?z+d +|.j] !m}Ni"GPв{WJ!Ҭ0x,9N@sg!$c1K LYx ؀Ĥ* 64W,2m#޴UGf/L>JQ"BiWX"ڮHgvTO'szy{6HD S{܅F]H>jo:r*(vrҘ|z`eyYb=ıEljiSxW\L:}8c&t-KǍɔɩN3fYp=@>P:tLwےu;־c !+; .jD%N*'\DAEǏc8MI{d'e6C2 1핫z3gfZ2Y挻[Fs=@`5~Ԝ?ξ̓LOB&6eM$LCB9eA5Smc#B]YyZӳ:4YCz$Lͪ™FWZH z]JL5zO[e1;'So]ewP6!뺶AL%60FCQ(}"nw!F@ ͖iɲ{侻9eY<Ԝζ_9HgYZ67b93d214d46989eda1cb17b542eabd6826516fc72476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28   SuperCalc