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 O D< )/]HOLCF:threads=6elapsed=15.809cpu=37.584gc=2.124factor=2.387zXZִF! \]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kx_ ff*!ȵ:",n yVw=^#8v,Ɵ{Tr/4((bmǍKFy'(# .Hr)Փ6f_ b¶6!kṱz_{dx'w]Ky2 p$%uZ cpNBs,+ihQ#q|8(, Ilٙյh,\T Λd|T([W%S}:Q_i 7OwBe_Gմ|hЃt2]v}߱ I<19wۨ+E$>(: x#o8yݝEi[hHT7|g-Ɛ{~W1R#D_,Jg {`EzٹT !{QjM}< ,0}(B ݸkP 6QsEVġ^AABPӵ}sH Ι/kBscqX|nD>)e 3:/eֺ#LG,6\4jYk:Zg)R(r[49Uҧޞh(CN=lOΌSm6l‚.1mnIᇩno7Qc٣[_ݭƟ>WڊjF_ȐW2PŁ6'cvփ.spK<"1@$o4KLsBook^ =~%?zn FBue1:q5qD!yӧj\urGeC~MN0e#g2J_),D|ÔIYYsA*̾1bEZA /{pм=p_7/$ni4`1dU[Ub3E'] 1{g\ହO~ɵ#{F{ e(J}0->[f,bYGױmf?)iGcs~xX??Jx]9'>M?fֲ3r(/!sR竴ܶT]ʊ(T3yB|E~^/ג-(t-ĸω9zo[(C`5Bs6D%3(*i l'bHg8pH8leWfIfWfP|+bn1}Hpca0%O@2 cI[̱&?ߦlې5],H-{m7Q Rk糥[tPb f!\ɂϡÊyZS:QS\BTVUL{(ƿU*jtn̐Hw&co<NVH ۪w_|몍)I^+ʗBt)VIaa) +a[րY+琀wU3 ѝpY?5H-H,,I9;?lmdfl\M@^k&I#I \>!eiѺfq[Igy$On`u1g#Ə=Dweƍ]8·kBW =&Zʸ C=zrw8'Ns,!&dWS@]fC5.XdHqdxڔ|˖4'&rU T -k`O{qWwJ[b;-M.hV^[r-4D;T-m SUmIl{z|{бnm$Ƅ30Zïu.P-DE O"a39FM롷$M޾ ,;l{KjQu7NLEp(k(s6*`chݳǓ9"1{1MsoGH^ަ8.-"Nzc7H>vq󇳈r+0j7"-%rV|,R`W%˗!3EE}= Q4 NcR %o?=DzfKt;m[$5J@);.J&sjTTvQS/f4pNu>ukMÎ;nmE(8ǯ>P#H54{tHh4g?Q%)EZkZ) O\bA96[Lԟ8K6V(ŗ,e&loLiZ3v/CC|" ߊ6;Lp4kluMLJn[rPQlL,j11"I%Ib#3;)W0dEh|/qǩ>~;].̓4&xL(tbS8t (b [*![ZQm'V"kDjR: C(zꚋN[F/)-띛 ~!P^J2ppݏh﹦13q[ã=O^ajVXRиrITaa?lЗ%,K8 ?<>Z-V W4@S̒s]@3aC?JCV3ip G~:fhF1hJr l؜$p͐qf/q ,.'0QvoGO3)N)|Λ}I] <}f6C;A4m `Ѫ޿\ ܺKu@|"c2XgYZ7zXZִF! K]ŗXi%zkm34x)RAuiVmm41բw<1T%uU~HmG.1A^qEYVUt~4W{@LQ鷷ٝ2*:~bwe+btN  $ vTu|+;2 ,1jъH 2}PQi5T ͌FZk;:ؗ~lQ'/uFPx~Gn0z-QT"fu@Wuxbt/-[>^'awr sPǫ\H¿EtpF j41oɢ5veC+ҫxR!\6;{ MQg.MӔM_o{3 ^;ܮe51 у3aWM *, m?S~P0ղ}]!f]&Yˠ$ˤ,0;Ke9_5 "nmڟ- EINa(̄'] dnu*OJ5B9of3hIHPmL`OyP#VC#&`*4?$NFcl'g_WrxV 4PPꅹ3w{Ҩ)48^[9hX|M5e$#RR;qOWS ,6T];s6$jm tz&!&Ҿ_h.IȷG"绶\BE,Yd㛶Uncf}I;u=LàqW -[M[|@ ,P0=ԭ=ZR𘶕 @:^&uAcbؿUٮ' |}'FKyۿ^ B?4V,\ 93wŐ\fs%FKOigbW)oV{ DƿaE~WLnEK6臩y,RSd!v`wJ