SQLite format 3@ . YYQ77Atableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info =$ ] BDD:threads=2elapsed=75.115cpu=140.284gc=2.548factor=1.877zXZִF! E6L]ŗXf1-/6vRZj3ZX7f\{4= l딳@-0:%>f9.)#ʰ# g7dJ A"7#Jzdae>-i BY:f YiD[:>NwScb@j, c<?w[ݙD&5,5b%TY'e;xq!aaKcuKg5Ry$5P Lm- q*e4B#qpoq|D!+v^/hNC搴UVƔQvXu .Kk/5wvE\9ڭZpĪOͽ۫V9\b CW&솓Ns g''&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// +d8zaHF2΍56NJr'%,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[CQ 6VCG.ă,ȑ7HQSLϒ+B,,ax23]dٌ 4ә]:4&u@Gț)uLOu{9Sk?>ش5sH?g ygYZ7zXZִF! sy]ŗXi%6Ar0t*DG DT8p/ʳkiDR.'CEJcjžN1c[*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  BDDOf$`;0KɗXK8KKX>Ja|ַEKJWm 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 !w PTOψ.l;(fKRTǭF$Brbl%P|yw/=Kj'-3zWW0ߍcwЕ' FcJ1DР=sc&-N]nv_ U,aA-9?y'7PQ/Pό7,W!iQ[St H4N Teՠd3A+#r 3E3lS%e*gE9Gx&teڟ.T2:ccΐ<9 m[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$|]S D!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Ͽ :cSdvj@WgNmޮai*7~p| ZΫNb 3g.'?==:\Ua]bt pK@a# KǑ-!OD)mMPR$yjS7<zk>' YuYѺqÎncّfU9H C$$A<17^xZV,`-TPਡͤs?n5,` 59ӚNjKQWفdg ;}L$V@L*yjoC'̽ac'Op)y(j4Ѯc~cTtq Nn#Gm!еQ?,vU  ܫPFFOrR8K]8',u?DYQp(*SxK9XM