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 B3 L$, ] IEEE_Floating_Point:threads=2elapsed=27.791cpu=41.468gc=0.716factor=1.497zXZִF! J]ŗXf1-/6vRZV"3%]r> =GX\sY곤@_&@wwJy0a  xe䢟 gwv`嵪5Ғh $ػK(3t˯J{a"݉?Fߺf*U1xp=9 GhFAf^]&JU&ʃ4"yx3.R:z*~RW@k,m>o٦ 77R{"ldυ |m{8j$b3R2Hq{^ו ~5}R t/$XRѢ%ޅ ;tb\LK ta4 k26KbI8Mхg54 ֆTዐ Q˝m Bv2b#7iB_ǰ{ Qsw{Mlᙇ3MW)嵧3>*%?J{ڀ|Z@$Jy0(NgYZ7zXZִF! U]ŗXiɟ h]|)h/zmjd0CL/g.oC .:zFTV aJ8\^ L Cq"O!_` l8Qp̣҃q7yD#.OgYZ7zXZִF! ]ŗXi%9(PMJ!bb]?5;B:ȥ%/)ȸ4r%Q]HfKj9t<&.M9ұpRwC Vd,!$LFk꼻okz1>6QT+eNðV\x6 ]oUGG92_SxrZixJՈT==KsT!fo}IF9Wm @aQ=?:>Ywo^ Rl]<-f1]כ(~s0ZL,\Fp-/~ 5l#r|긵 .*C{G>#"=V9{;`ø ɒBwNyW."ضXKa #@ A66 LD;O>"GҬC&Y| VbNZv9Ԥ\T^ĂRV%=L*yĴ&˩e>}42;Z&mw*׮sh~uXʺȺTB6P>,,K| F_lU߽b~{hvy`9cCc< &`n44 Cv \K X`黦cDzY+ TÍw7 NRGQϏ.G.v Mdž3$״X xM5 K n#>_ęq79ՔCV>4f?nf]g=du^g=0\FV*T#6*Jkj丒UNN}):'oȡ O\'4G*<д/bf ۪'њ'LϢ(&-Z8;ɫRXoc󴞸,O#'J#"U<yf4ZLOZ3HəX`hLmSn ǂ"b_ I!xU<Ö!u#dOsPJ ]/բ"֯VYEoUQ/I,7D Lfmgζqr?C30M#J[%Ϛ%2x3rZbA ^v= Hߤ '@nق;T<<uWui4$&9Z+{ ۠ ^ƒ@PMзVruev&Tc@d|ux.aF;KXW쇠 ws$|b`Msp^xwjvTjۄx2&2ޣOO"NV/4;ޗUNL͔z$NbUO טM Vdnޏ Heiļ:V R4sP`{3*Z^g DkFE@&@"xZuRt^ ~B[w$sk1Lؙ7?Q NYz!| 4bktwn*`#'+#%iYp6H@6vQbH'ס&'2MQ@1X5cp Ll34\lSBH.qLbei菡$J ǙgYZd27d291b5894f7005bdf61766d1ed572ab94e80a620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 b289b2d35e21bab3230d78ec88be7bd1d162c47f 3 IEEE_Floating_Point