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 00-+ T w LightweightJava:threads=2elapsed=42.138cpu=76.816gc=3.048factor=1.827zXZִF! aSz]ŗXf1-/6vRZlpH8;_SuƖ`BE~IU(R>M!p`Лn|wy8Z`X,Sm9rɐUy: #n"J#xKI*YzF-yv%ߖ3M G; F rBb#\G)넚1w'cRfΓÝvy)u&\*PdÞhm:Y:\N~˼؂Nivzj3b{̅ށw4y1zsZ *j^m%R-@i0<:(YR?M0-bVp~OPߐ d|NFNH Od *;;Y<`臮˻(6w{Um e0]X-yV+?D )JvQzy ;{7߮ljVdx Z2̅؅gzZl5V4-A ,BiuMip(Cq CfxwjK + LightweightJavaIWYΈM$=~ec%YN׭kCQV^"s5 <TZhBhv'Di+:V[~ ),FXA䠹-nɑakPu90ڱ2>Yk|SY+heRC-|8ǷP[fάEQ%N6 2Q\}@&J-T'*un| 70f?2(UASqsʩjHzlFY̎~OKq^euJ:0~˼$ە)#5 ~B Q +>؎EGR0;@/L l[XAx"jhwWL+'9,rm2  BY)Vn g(ؘ=e`A!44+ ǟݒ큏, ݡ9O>On.(:um[ ݶBV "v{bB1l/RCbH*bE2793jXNUeUYp+cjp2-=E41 ) O .50/즌`;BĀ A-~K}xÀ R\Nń'LZx80Y UWpG}$}GFUA$Qe׸˴MFk \Du3?%]o(&d~ڦ{0o:Yv+$"+_1 GhcOo(gMAq֛yLKhC\ qeNxd>~RLn`5&`%]ܠm:Q+y]ĘɎj!<ؑT,+XF s<^' PA)x2Фk4"ط0.l#-ֳE 2Y>)O$,Nv쉣I>5R0<;)ҵ Aٍ 252sÿ9@ z'=&=7ֶƼܬ/oUESMUbCEHcZ9:B1/2ϝehz})F) w<5.oR suZZu˿ONR|#~vo^Od7.N}an Fu)K.gtNrPj#kYx4qF0mvk ]_k_?9sݿ ؽ.%&Ǭ\6^.94"lo=S8[47yM?)Tpu&(<|>[(.ERvnH@9:#\q ʌ][4ZLOexP2:b&-zF,V_/s;L%OMb 'P51w D-l`e!M[}Q\sFzwj|;-]g ¯e&gtz.I>~1aopPdSZ0S2`^K΋V蝔|Ju'7|oqV  nCiۆCG)L'rnRᣀ-J>nTB%R^o|%b/FYQQWLvɕE4=qUĖvO҇5YE^RL;); *'|'8SHLqc[=䁎9(DMg[ 2I8 g<dJki~ @a@~1WI=nKj\hIF}r$S W}RL0+<Ӱ]Faiwҕt^3EΫ aґ]a-UDPc()aj8>wp֋gsã):<+ӎ/tdxm}I 0"K- wK@"\Qm=6.x hEKi亷RԒi5V 0E0P$y ?~pbn`QgsN[Œbb阰{GZPß2Cx{ Z ɝWpq%d\)m5|"Pb 6/d{hmqH ؁d {GhNPͥ\v L.RH"O^i[ QǒT?zm3C[&u3<ِFC֪JDJuM@ۈmVbl[z&H44j*-칑(:m 6_+TJPtzZ S#C}>ͫ'gF2Ys+B@4_SXPD/FD|+]r:"eD*G!&ThQTH4k6Y7ܟrv#TKG)}w38_  42kޱJApXF!BC;74]C"< .\0O5a.tQ5Zܭ1i(Q jOp"8ZT.MdHtz0{/b +hXH%~=LG3m^9ġ%Y 9mDhIDr{\|@9SK#ҾDD)OlB7tb 5+GKT^11Ac ti3;P4Hs^sN9&чޙľ"QZ#D*ϛ̨M?dpB2̒։\rTe *Gie AjԺo:.Y))N1ǦoXzU}Kӎe1W. sk28s+LEk* b *tڢ.4];7DT`o˹O38kLсM-X+!T҈ʼn]ywcWŭ@[x1B>B!˛!ާ r^!Nl'.#K_$OF~*mQDۖs 0,Wt+qB^)oǘV~!q~ć$k->Nア!Z݂2eR  Oj(/m5ֵi.I37 |mF`D- "xΗ~>JIg6?ul0[RgxH;b*l_֯[v {{ؚ/nZc v7?v4Pmu?.0Pk ǖċ,\OE{61Lͪxohq;Bgn:Q`tRޝw-s ;ƁhMp j|f ۱X}dt[[9\Y!>B睨 Rw $%R!GgYZ7zXZִF! H ]ŗXi%VoG 0Wpp"ˍMZEH;||*bٯ[Z.%8"vOt rR4k#DCgO "Q_n*ЩRP)FAUNG^DmF2m$R\tҟM<&|$d,eLp7BjJ |޿q/,K#e(︙8$4=rg=wՏfx.=pb%[4=ߍrw?`^>K>w ؜^WN'*ӣ\m2}P-A!'(u} 1=e`jMV^֬}^ݤ1vaxӎp]_T>20>?'LN]?.xzwxIT}b=ma"y=b̌TaL?d,4񰇨.B` ĽZ[0/3b6x[)`Q 4FJꦧ!]9EN98J٘A,#lw*62 Ni^u'S5Q%QQU"lB%RPrdz7ԏULHH%8Av%;۶D N\QwxkJ<ьhϕm䢎ĒEC`^onLTEɋ$LfPrz]-5 y՘W]I1Uz讎 veT$&_s̥*v.svkTizdo\TOMwӐ s$(AHLdT(Q%bX>s9c~ L0,)pO͝" &Sb*i6ޖjGe>HitK&БG |˼=(Yj)4&ebd1NŃ7 YK@XC&EHMAZ.3ˆ4Jzfa' fBzSW爼FP4ڙ` 3aJ?B4_Pђ&.lJR T ?6A@U9D,f' h