SQLite format 3@ - llB77#tableisabelle_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, "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 I]Sqrt_Babylonian:threads=2elapsed=18.852cpu=31.412gc=0.560factor=1.677zXZִF! O]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'02A1F'yS7vˏ |V1ǪM>~=mdқW 6.Hb82,gYi[68{_<b*jHN:;I3]-{{U Tec`jw[Љ.u bA&-5\{>Y-G*7#pAj ca]"'H01w1R;b;Ɏ,Nۘ|qQN3[xfqc^ݍ0{kF 8Y EHsqEG^j;NĂk7X7T|T>637BjlXy2_%[ ѭ.`{A&GG[Uv4$?`xr~)>wpG h)=S&K^ C:Mb,cor)6S5;)HҦzY=[(T\ļS H"sM_8}ʘE)z#B3_A"fu4..) ΞtM9T06]-* uYPcCơ=yIyiR%hwZ ۖGuE$}$zI2n+|;1ig|i(J,}EM v71RDZ}T?z}iHkS닺f읈BJu&Un9ݭM|Mg95HJ|]NK;I""a+է17[shf]b5B,s]&!_Q.lF_M[8ȱaʸ NVEA(TsdDB^Ruŗ&ċc R8Uv1QmR.=!ŜOlT~]_V}(ʓbUP-9nZE'1~!?P0a }ӈ ^Xעm )R]W @lj<>Ɗjgem`96Ulj0sPO.dP BBAhέbaոӡɔD(4Q0.ӭeY(]:GjF 4>B]/D`ߐcı[l9@?QX5 c4 L0ː:@1,Jvd0FW$ e󇈙ޣSPb8p:*x.B1Rz7NԛHx`O[.+%%a-=y-5`0L>e;n3,SLS.zœ ~x\wv)Snߕ@^î^g b33+$ p[99~ x]搲ZZzS?fL r_; ׳8#$NNuʐ+^PF:J=}uŎ "B296W 3GmgCumI3u6m?a6j%}(SkIU8q+0"h8NnՊ*J:>u"}:"^XgQQJ"tD:t)KC`s )  2tyNW4nxVB܎}Oz&VdC]kjΆohkv(qLO$ze6=2$wMWFbg?#U4,N~85cʢ/#=j'bq<-xFdW¯u^p jnp-JcKٯ tr<ޔPf1~.DB>g*sig9BTlS69EA~ꫪh &vd㮡O<B ~i :ϐ `gYZ30bb572f70dbc9e84164316c4e3bbe24d4073853 5c40fa8259059f4cdea292a4f13c6d2ebd3ee91d 942048c211146fca0ed89d8bc8c594e9750c1b8d 9f9c809496c43e458557929e05501a0e473845af be3f57299b27044d9a95701a925c40d17b38a3d9 c0b968d23a82977de5c5376fdc0961634308f36b c45831d8917830b467a914da17a9114526764ef3878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 08810bde095a400203243e8020cd6980e8b4747b694e162ae24f898c790928384c5484b1517ddced