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 4 << ] SuperCalc:threads=2elapsed=41.600cpu=76.304gc=3.196factor=1.837zXZִF! #]ŗXf1-q恉<fUZ$d{s[̣pOms~0O2"!B܀+W_j/_}9]`u6-b"cϛ_ e +L7úpT 籴KTgq0x(nB$ p ژ~"2a~,   SuperCalc"2cb$-" JD˘Z ]! ^[@4`akV3T^Sd<Ȉ#9->Z/@ &|l]MBOX5v1f8g `Ƹt<:3 - vh#0L<˫'v+rbdg!%0i{K`47wl@z1jGru qG0gYZ7zXZִF! ]ŗXiɟ}Ɓe6L=+. 3 `ɉ,7ɖiUtV|M9.^ޠn'ӂ$I wE yt6y/~OqgYZ7zXZִF! 8 ]ŗXi%ή++$sI|K~I弒'T=j}+=<јHkdwBը:uRwF|8U$ʿL)՞ &̟[#&T V!$!Z>VP}^} :a{\:˚-W;(82MGc0Tud^-+#t ÎË=^G,뿡&MKx4lJ8YD0&V6 lfLZA0Po|U0 sdk@עkW=c{>]N9; H-ʺEyMTf"1w@DK#z}ѳs[ RpC_;'3uxP :M|3ƥj;N PWsmXHi)i[mƄ7v1 ۇ)fzQ ]pyv:0GV u0Ez`1CX2 ].,{8ssA|qgAZP-ޑLB硲HK®: e@nd-qxL~\ܘƔH/Ws= q%]_mX=:K Qp3ͱ:c)y.=yGF3N`ܢ^ RumD>gZ2Y_zjزd FR;hcd/v%i dNT) ^19U.Ɂ=;XJDI. ,!UA')\o99K9uJށZf`aKKS~(c Z\lbk9~C hOR?,=lıZJ/3,;O%hһފ??͵׸kvÉJ_()cHS{D\cHxQ!/qҦ_d,;f(c,mPD= `agT%D\T",bH3C&o.4Y^mn?8m^TTX-3 Y1$HSU!&YCz5N`FƭrFoi|>FTM }G^܎2yF0 ZqJ4?= Bq :~Oފ^I8(%׋CwsTۍ('e ) 픛%CZ|Hn,ؘy1ag|ב`˼32®Kc0II[;(- jYoU+vݞ7ŝ~2`w-xr ]"9g57%d>$R%P_ˬAg]E:x@wkZLI91BMH8-F \n dOPxFpN"cfIYfMޮB0~])qUr͡g +.ᆢW~Z€;:ZoKaEcq9Ah8V# kGN9~̮:aRVkMؑ.n`8SB1#I)9'҆$q|a]6;:f"߶$T^BѰ OgHu16vnd`jMfG5o<29Yg ^Rdx% .G3=1ELIpȏ,)A`wu[DeۄHF:<@4`^ c-p3EqG ΊܒC(&:>|.cF6 k]MuQAgO|7E:ۃf˳t"mKܜJ⼪a1=&6sX^ %@[@n<`SARIT>KITf{e)nRbzTԮߨ9\nꉶKM'̆)Y{ .x+D (R֠(ԥDr&#V&J (EZQJc$1Tb!d%>z[YqnPS3>E-i[H9v,PtmgUU؈oC ܡ X@{V=E+t;UjTN}Gj Uy=}ߣkHXO9,a X^oEMRL^+-zCJa ĉ0#D꫋;44\7u) g3Wd۲Da}"Rr^n3ÔGR=NrNv̺@okx7A})O%s3{S͒DZ%@$<\;'&X YѤ!:`Kn:W՝oe 1981N#Wh>^eoIyurp fnF*؟)i݈ke[_NUr"dQҎU jsjmb!!he^.gC!rvT;|WJs^d6ѿH#AMޜDsoq\T!"1{Mf iCϏֆ[4)92Fb?cQ׷qI~hì4GquqAtkiFT{dJ,Sp^4\OuI F[~% dcjC9߭>/w