SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info j j T / SIFPL:threads=2elapsed=44.416cpu=85.256gc=3.696factor=1.927zXZ ִF ! x] ŗXf1-/6vR[\w>ż e0m7(݁xcCf\le 09n5%1gK!qAءi{Z,TkoPXd)`h[ʼn7 {ԛnb%6_s"ԝzҲdh{<9(>(E7 /_@+O/1fČ5?~g1UMjFi^d4y D.CD?Ӹd 3VO_ mIs49غHf@1мs Y4X $Ftc8>1%5vBamv` Im3i;CPݹdLQE*(T 1j۶v^3^*q/pHδHoȌ;fImNjf@T %f`|m7S~L>H=aCH\ЦZHٙsRL-[-["e3Xp)4})"f4g7(|g.m L͙Hbv84-$ "S49i]_4T7<7 FiIۗ'f+hU:mپQ](aV; )_ɄEhSՇC*>`CÉX ̾VUh2_XǷKGTUB( ~u+o`XV]̜] l^O#|)2d'DW4;B2[Λ*Vf;Ö!5Ld,aqu㯈eXeu<xa>{L$ih?6cQCk~P,VX[7k) L)$W4 ?8Qp(Kc[j8t'Y+b4NzNr>,t#TN}Y UEr #3v[J`=sͯzO%@2BUȆj.i4Rb"I<ê4"I,7MdoIz/pC%އ:o!9Ng謈}yӧ7[tۂ&24- !p|y#b+!K5 SIFPL | O9o ВE7/YI퇷zTX:~ssa|mQ&T!Q7Vjtl!(jL5 6*2/#ɠ:2aIk RJ͍̮Iђ%< ;?ZS7x 5^/W8 y%W tĻnmmȧ>fCI;pԆPkqZ(WM a) 6>#A-\9vo>,OZ0яV<%븒\, :d.</PJZ0?'/7%v "cNn55kpZ1Ԓ1r^toG;g=(Қ|^buhl12tVS6LKRJsdEC0X.{ B'ssY0 G鶵&5MY15v_Orww;3`vJ9'ꏽ8vIV5 C$HFKMy&wZb{@_(ZZZ\>ntW.Lhq w#Xm S)__;·={5ajC;t;Un \x~,7DHP羐n;#DXȎLcx}W|2VWtC;]VQ|i,!{nj'
]0}Q"{SS[znA9Ͱ(3vz~uײ
jKKGdND,qe!J.Vȶr_--?yg}͔[pp4u!MXMz=%P?wo6*Gwc36D͡pt#fg?#ݰׄz^ ʡC3nDN2^9ofoY[ vRd,C>