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 ]1 Ld$ ] HOL-Metis_Examples:threads=6elapsed=12.201cpu=51.432gc=3.144factor=4.227zXZִF! Ws]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓U|qʏ;Mٶ]1> #ϯ}42SD7٫&X'Y[j޼]+`vsX|#A3Ih{dIiph{-VicT$o5YMQQ4N]PmO| 5"k8-6s*lPz88Lk1RW>1[iM_ӆtE"- C^ 1|iP`9jRl$aX)ʳEkgjwbR$97)&HoɤQQ尙tKb,NG!;Pԍ,m F!l*WhHʆ4r&O8&RYRmz*/>tYzb0Z9(Kvԩsc$$bD~Y{@#f{Pe @7*U|Xyz\xR@Qm3[aoxnjCIJڸH'.gh KUOݭ 犜閨p d9;g) q[,\JۇgY+rdEBQl t] O,?KՑlN-дN4LNQ@+FDo0tk[t13q>\&N F%$v^v.;m_%~[gӷe.;eDy RӖ,H΢?ݼZ8O苔QKR⠈yZ"rBmRpkyӢ]cP__[k-(YӢC+or05XewɆWd ]Liy  vCoJHmj$RRh'&#t(ą{H̿2]zdnnN\JI7e_C+R@<f Ǹ`uH ؅k MI ޘEC!6& V*4e]kve9GF)WJ? ݅Lw2I) a^Cί>[XwVFų\ۣ;R*.,l`M/Qx< & Ss2krJFU 7qW!76&ZrO3m;?r-:Ǘa\Bē2xKKpcKf.­s]bZH 쑀ɀ&dHb- KP%ekPg , T'qkJy>J>5=apŒ@Mxv gYZ7zXZִF! ,]ŗXiɟ1$Cܨ }X 6P]!ẞ \QMfrsӈАݖ+tL͓!?h='qqay'5/'Ͱe> ̠_ʰVRګR5igYZ7zXZִF! ;RI]ŗXi%9(R^%n 1y媔N^#}\aA]WIk+fDB'kGG>ȴ\ 2]Y!|pv< s]v.=a4s΃7OgY:IT:!x?p, v>wos$T7#'[Yp6A<2ᨺ.h8B䗲gI@<!.p>dZ$?2RW)PoGz!J쐾VetTpv8X ҽHI3M,t KXm۳O1tA(dNRb} nϰ@ylZ?\4wh2[d|X@plM dLn}B[>˽RץQW+?>Aw"u4~͍}Tgo}V R?~[A$fOҔr-uIZ" yp.OH y0&yv gg)@8+rn?Dv)~+ఝUh>LR+pbn<*|p :y+0)Mq6xk/h,ʢ˾%w]nM9a]>Swf# Ɏ ! D?g;I(:zƝ;pi34Ϙ&b$\ͦblmDÒ9 0(AvucT%6={b&:,si~5n]hYؓR<=9D.\Mv 0_\:bʰ{ JrYFSK=R, DE(F#3 ۏ@;[iȯ1 Ɏ>Z+<oNVZ9CL;<FL*Jv5uεkpH-Bnx<B5߾q0RR̺O-l zXCH76ɠc58Lf& gBLWٚa&(ܿs]W0ޭd{]oņ޽lKP(]fg;)r "x{`[/}ױy5hSuk[,<9X2䌙֔इq'uKɏ(7)ʷ8$6.FG,q$uaޛȮxS& H<$F S,n0sP1E(