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
=$ ]
BDD:threads=2elapsed=75.115cpu=140.284gc=2.548factor=1.877zXZ ִF ! E6L] ŗXf1-/6vRZj3ZX7 f\{4= l딳@-0:%>f9.)#ʰ# g7dJ A"7#Jzdae>-i
B Y:f YiD[:>NwScb@j,
c<?w[ݙD&5,5b%TY'e;x q!aaKcuKg5Ry$5P Lm-
q*e4B#qpoq|D!+v^/hNC搴UVƔQvXu.Kk/5wvE\9ڭZpĪOͽ۫V9\bCW&솓Nsg''&I3״Vΰa a1mG%\.#}71
ɥutIAh>zF5<
=_0/J1zg%>
ADS>y!11F9@+94̊V]4yCǏIAadypq#ah3-[{E!QrŐ{U;~l?lkB?rB&FERV3Qk2ⷝF:4|z¥|/9ЅTW){aMa(lQxZd.)SnyQ>-(vzdzQd*`/4&K
`>pw/VTrsBdSa
C1`+;# }'fE2`y̻$@IqI%-5]b//
+d8zaHF256NJr'%,8T7pǍMra&갤<õgjaeaM-Mkm٬3)u%fl, @.QH\E-E=Q{1^س>
5$2xwUFy)E1M8
K5b`3ߎiS;QgpkllqvlKJAsGjsĸF}t/'cbqCQ*MFAcguD6$TE_1`%CPմ@D6|%nG>?OAa=nM2u(3[CQ6VCG.ă,ȑ7HQSLϒ+B,,ax23]dٌ
4ә]:4&u@Gț)uLOu{9Sk?>ش5sH? g yg YZ7zXZ ִF ! sy] ŗXi%6Ar0t*DG DT8p/ʳkiDR.'CEJcjN1c[*Rh餐= lRc2^MJ=υn$G!&2W~,*s.=$E #]R5W]Ī*m@}]%u<ća_t $Tu˚#; j1 # }M,A0q-RҨyW-87Qޞ9/H`[i NʍOӞ{rc#q
BDD Of$`;0KɗXK8KKX>Ja|ַE KJWm 4\!ƪ,+eٽH] $3c_J01/*yo-36C 5?(RpϑxlN Ә#O"Y;.*6eer:5@T֑%b4#jCR3A?{y5yCz">5[YZ0yrΡ-]7Xڙ'fTs%f0V .=\NJv+W:sL&q1IA5voE%96ϔ"E-9[3)*.(]K<~aI<Aiq;ڱ#T[*XC`csZhhT'w?@
0qouK/O; )cpN{TG.2|QE\CJWx
ۀ1@ i\ T]pvTlE#{^ah|0V̓5 3~OFC>ƑT;h8NJ\se ~*k<H;BdH"GH{0Ć4$B!XϩnCCSah\4
N4uVquL+"mRaI,EhW""m\=
Iqov Fɟ7,Ӂ Iv-=FBtZveMib/ ") %GjA&Ao<S!}IpM4̆PbMH0J*[,Ii>'ρjR@? K3)جNz[Ѱxs_;0RB7^wr-kAHIM3A&EA&5Pr0|H^%i&c`SGd=R,
z^˒OڻЮpo`cLlGXuSۣXyOagP"Zr(0EZVdhiGUB8 /r+0Vg66B@mmBfI2Yge$mȺ3u7;% RD1W@7G#m
uhyEj6
A0lP燱/Hك!x#z^F.;Ve(`HIM
!wPTOψ.l;(fKRTǭF$Brbl%P|yw/=Kj'-3zWW0ߍcwЕ' FcJ1DР=sc&-N]nv_
U,aA-9?y'7PQ/Pό7,W!iQ[StH4N Teՠd3A+#r
3E3lS%e*gE9Gx&teڟ.T2:ccΐ<9m[Hy\MZg&ָ詎KDY=6!ܧ/ SMcU3Z2 ܈p
@"Τf( d7orCN2u3;tFV{9%Q>9 #m]/$jq.h8D(Hh7ٷƱl=RʉUXG`EҡP^J~7/}d6!qb>䬦%9 +;l5thb(zl訯BlInEk;pn1f]GpQyى+p<ѺF,E1gO2[ۡK}sOwzzc'CSIc0C}HYmxu
ji76aAm8+Fc"=ȼl]_sxTȳPȸ)}!ke$|]SD!7/xdDɧ*7EpEl(J{0= #=s9XA쨂QLNx # oϣtJ{EKpU4)fB\
ު ^R(~um\bhbT-~Y nfT`mq/,Įk7l!7Ĕ)XC/>"B^Uc<ǘm??Xn/3J0&};6<*$w~ʟ~
sUEdpFpϿ :c