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 5M4t c/ Password_Authentication_Protocol:threads=2elapsed=106.345cpu=161.916gc=4.176factor=1.527zXZִF! Q]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L 7G bI([AG8 n>ťovE,{.ucԍzet5 SB]pT0^qGi91yyli@yB[w4%ekSx߽iL12 PX/,Sl! ݊&3РlS~Z{1ݎ)7Pv1" a[t!yF"~whmp8C~T`5ZZ 'țrlY~g2IXYs~J6ׯx+-ge>l i\Ü2k$$3*ɰQ}Ir%Wzp易{ ԪXD'XzyyL Awi\&|tgE :ΔғpBf: Ou\C8?Hi}ix>DGUW)uF-\pl?. X0W>N2BBŌ$D]iKm~&HtxR{|f֭sAn݃a`¼+L fKxyf#Z.6jNrzJ~74 0GNl\Ț p3alK?$С۹TOtAE!pGszN~iPIľڲe{LoQNj^2!I8`dscXiWNWQq?0c=!-oEcwhl<@md<-R)cƵ:\+ȧ3S# .䲝A؂a`1 #+]Sȏ@U0S)P:I)>b( G$@-}W/[ܝ_<(cx+2=F% =Jb YIpֿ1ģJ@ d,tҙ֎{QDYDҫ^"U_֜\ U;FԿҎoF\ u1'Hwy흳nސwϖ6'<"4% enFNT TWMW?/Paz^,oz:*K…+t0+n狪Zd v/!E9,@jMɤ }3BL1k! aߐ,tq,h3QrU[T["ΧLmPUɛߴXK`@i&c!j fޮÚ m|u&)>0T?gYZ7zXZִF! ]ŗXi%DQtuDWFƝмzo@jI`"r(Dhbk%CPQ7bJvZQ14LsOM9I8Hv,ȷԕ2[W@]y*2a_49C`mX`ij HP Zn`n(R&+jeA12a z/9qV>l6-g*t~uk#3Ll.{vxM P9SoͲ2-=.2`bK6l]JYz0CdQ0ڄg\T Q ^ܽS{tᨇ;3ٱn z] ejPQUJ.%կߜog׃FeN`c,JBxZ"u2uos3ۼ@naW\Fmp`5L{w3" ߊq BN:ܕG'?J%w:sB!\m <Mɹuv ШKRXƅOD$3 3-(;Cl^s[ipSMQ;k &՗w_[1=}cmnk՝F(hPHmwSmip/mfRLIN% 9yz,~EIȫL~}MN%5XM)#N<*)aJ$KN ,y.'T&d&W+#Yww z0$ty16AɧeꚾMjDJ74U^Iip]' kxs:XNZ& kQ ADM/LK-:Ic@o72 w@i>&&sLёSg78?oȌɫ5h2 LE^@vq,걳NeZb_-qa hΘ[߿nJ+;=ca\)1jgof12 EB[ٮK[U]LX18 ?gnH_Ejм(&DB!껗HF#!|֞ gP:bY{ ÛQ7/>g-˭ɝǚ 1//nq3@jl!>;筒혡rL^8(q_얰jܛ9WXWm/Wz [w,d!G{^TvK{uk¼}8`Sb)F#5>XڑLON2?5)̒Eҿ[p >9Xp0Y9- tL!s,, *Ƀ>Q8(zf/DB(JuŽ9Zjn q2瀜ퟷz1b';7sBD*mBLT%WAmBy62X>HGa$MGҼP=Y>h2?9WӒu1-ѥ$cM҅L_i=Zy6oWw#CP9h vR&q = ΤkK!VZ%3bh-XQ#kb$Solb[`ߠBKAT -t~59ZťeXE`f:[M7ꉒz_lVœTt]cHD]PQ ]ɩq%:[F[:yH`BT^q9J'<$YF)yӹcTH=N$ʍ-ZUO8s0z_HG$f`"*蘫atu%cN<p0&<|>]ӥ9T~Hf.EBR7Xqm0~p=+N,#|o.>iU_{ճa 6-:4In j}79p}#Vg!҆/ʤ]! (鲣h5_uǮ]Fk?ڠVOYGaCE b~I,_kr}-e6mOm ɺ &39-xշѦ`%\+䯌}cAUBd''zJ0gb:8ذOmR \ˎ},3vLA?Dg[wv.FVxHm"jxE;볡 'L BxECsk (ԳXJg3G_]dtk=Z UhZ*gfܸr)MvT9׳%mB|dz13i7X agd*=qexk5yÙXWѯp,#*N)lۀ ʅ&ef5`Q&ODŽŵ! !d3~,XYf4 kȷER\o'8hV踢9Qt$[B)22N)zV1 L3.?(ŇcǪ6eF-*(5ZrTDn{㙖$z M]ZE0; 룏"&5 Yy1O]HpQΓCՌL:.3kZ;״R.,\_q E1odG0 *uMƽ- :ڂݘ-e2qEA+&;ZKubK{"/- `|*-sk{Dpqx"*źSh>֕V_^H_;N0 =|c[+* G*X%^x O,uԭTCH[ic5޽F"s>2&%yuࠋ&LQ\ZO-pÜDC-Is0T$]%\dcsq%P>Z{,l:ؙAg jBo.on ̗` 9Wj`ً}P+ŀȆJi fdD,\><1{DX#6%9G.U9<63}]Uac\^ߕE&$i S|LЉEiy"JIUGJ`?P744H( ߍNP;Id}xu+폘V(ZK`t>;P6)x4 uIyD/e,&o:W7%-%.Tr$ gCdceNF>m3/ ͈e\FT"w'1rMBCoBBWֺcW:8w;4^H $8?QF]ǂ=AO^Ls "b*o[$[PNj[`;"\t͚#ߔyLPoWf] ̘Ϻ<|f#ʩSXeFr)򌬔6SY}*PQ HEBP#̟z}*WbVBgo ꐜt4 T0W.`U ngs#[Zj"~]OE:|:hW[&*3Ȼu^xV&\pk颎Zy.J[#k<g|q3M-C@!-LdC