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 D#T  PseudoHoops:threads=2elapsed=108.554cpu=138.412gc=4.332factor=1.287zXZִF! :C]ŗXf1-/6vR[3£ˎF""TB[dkn*eTX{)cTt&UH- RIU~LzDaE:ATVKyUVϹCjU@ǀ;3ED!soC7!vί7VӤM2=D(Jؙ~VXrݽ'df'HM 4q0AŔy'5᡼%/CqUDzO ,5lvv)8Y7&-H/ŭ{< REO\fi[ f\$_8D{Ј[nFZ5*LIoD6[N?d/VR2uP#1 2qvaᐜ 7`es1p1DQ, ^Xat<ر $ 1BN]T # PseudoHoopsy|Q߂,oE6?a~ 3WK[ݵR?4c-aRdXgf[%h^; N{}Zsa`-+mA,,'un^LcW F)_5YXt"7=\R(he3HEqꇮXZjN/U״M/@)HjW zh c2=m ZןVq%\9QS r!]%>;H6hȴ)}ߡJL"f<Ca]w-IID "(]U1xͶE:(:pf!t[nwHj';c^#.{o?dj'g0d@ezY FP%cB,3OC>WWg|r{Eƞ&şu?[R¯3zvOWk{a\:!*[O2% e#c_xŹdrFRږdf?c$G* oN1Wǵc65Hsn2o˪P~e D & 9~k'q,^?bW_q8ZV ;߬k*UƇc(6am]! 5a*R$2fv`8$m_n_x*A0Sowd&6l!_ AvxIx`M'+ ս>{wy? H70AUxcN, ]KڦHu [Lt/@K߂dEDoR9fϗnDz!䤴G0w4";~Q⍴T߫B(S2nYެ՛W,+bU ,\t~㔨50X߮ FGz`L0(lA$q_C['@.3D:XE2ԐԙU+LoN T/#CuyqwQ"|,S \? EnSʪd^d!u1ZAQP|b;`CE^͉? =T<S,9w\@ ~'X-k]ZDqy݊oq8-,zOeUǪz5$zڍTxz&vٙ'pV)Ǣ3{jakœXOe72 L; hDaI$}'ufF*B<39%*Z;嚨w-xħޖW6V.ۈ37R &,1F$8s*wVOnf;Jt, ǿٯ0M僢7N}ģ?+:ehkU XAvPii2D\|bD?8e9i\E XhwR@ 晑o u1_i*A/&`@4DaLs˦YvNRvkLd 윅_o-3A$)DA |-Nz)$u+4eԮۢme{O '8Һ!au%ś m͜tޡm~j+Rc H-~:*gnm^m߶^ HvX/"}N H}+ԔFVhQ>2۠Hűr>u+[)iɑg G]ǻTxWcAZʗ&ePCnKx~Jՠ?WXL,$%`uTS, X1=N`@vām[-_PmSPzղ 4j|֩㽽89L9H*μ ?qoU qx+3Cq=hg#];+?C)% i Y3D(o]VM!b ूfADFx1l+_͝!Z`Ұ56:/vn:Zt.T1LE&Fn8mh߃PW{Spk3#8:B!i?Rܯ+*Rv%~]>ǫ!=\´c\(0&;(j;0?"h !kP1HuRُ>ڃ}lBlhEߵۮ< UΫ%IB)!0Ǹ.L_<\.< C# V3H]vX`> UZ%dFo.zzxE݊‰upQ7csT)%{$zT![ Ǥ:\Lt@е$7$Ƞ`VY/)&pGn4f[DrX=|B͔T`"ϫkx+ZҘ:g ^B~jw*]@5jLZ,GȵcF !:ȾIz'?QJ#OhdR5>9¤S%xVFƼC 'zWY_1T?E)R\/-EFQ<ڢCx)EHS#YLf#L1y"WIR>p) yϙ$p(ڝ d͛)o;a#4cm@{ZCk-w&R#)rO?VYl HpVvΠˉ8z|gwHHY#Ci!^7DC^'jG. 7ÿ.hR\`[/([Zj$4yMƌC8qDO(eJըEA^eM𦦷%=#X((`qT@dBQ@huKĽ-)cұ"bߠ}n1*u4Y[p̚|թV !W?o pv:<`Ui ׳#Bv<hסv3WO}vx*2[O7iywЯ[D[ZLw;v'@u6E@gc0&Y- 3&7%B }h pr. HA,Oei0}gΡnlO`Boi%ْFDq/* jFxT7^#Q9aݪ G5IUnr2 5Gy}n*-|(/~Mł*nåohW$3+4x\H([[>n&0Br^[QJN0!ߦ\n8?etl*tao7 J$`E[ 2MDv%P0`djC]$d%v&z-HS/pw9zbl.z2CpDI͵r* @F5t@s{IS9Lj2`AA= xqS7K`;ykl?*'#gYZ7zXZִF! ]ŗXi%Hﳄ<砃С'!+Q`̅ly*pE  ?`~ԩmC% Ϳ8yL8qҿ ?e l%) 0D]={ԴcBC?Am-],0-Tw%T^П_ݻȐ /6٩,Y"r#~u^=5<c_p=c"p9SS2>x@45-ЉǩOv+٨nyѓPX8#{E{8Z "I*wdTw6P5IS4ė-+#UYg^%0 s!&1[L@YV Srg^W9*Us;dufoka>qmer lMŷ|_,@_DʏEpXAioBSM⏽A=S)7aBF 2\]A9,@ t`z>a1'/AeKy8(y*$ 'X!j4cr裱eQDLX`Trp"R/θXfOק-j{ Uf8 qad);.'kJ a  N TwOU؅<yHy`)YOz%Vg}8Y2~qмn5p- ╗5&$@΢Mi32PntC$"Y!׉AƑQU ,aI{BR"^q ƴ#l)"vK*JW0yS$3r_ÿ -5Li\ÌdЭI\u uB2)uGd"t3o&iui\\V(QLT ]Ы7O7Nͅ||>fO fm~r%)U6p$DUbO4Rmb3E>,H~c#4f{5; }EЃœ|Gx:T4&C/=3U,GwoPRێٍJm)4ܝ< -}niԌ9c= %EP 0++nv!,#?1ZG|j8C~.FOb #dCm^٫<)!AӋ@"kz%Nw/u^e )>X}Y&m !aV"$ e'JIY BI.ϧSλɌf[Q[/FfIW%~iQ|en͏A$<< &w'pc]&HbX4({y#Qw0TC.߿G I_>\?s&z(džDVLs[<-bv골19$u=oCWMqSL=ׁٺsIM/6"7Nÿe&ց B0W=i&@9z_-;QϏCo麫J_K3^xْywIG6]XPw7D\LX!N\JdZ8QKmCG{PdovN!Qy aR^(THJ(Pdul$5}_er6(@žq|62vE:hFUe^ <^5C'1%,xԓ msUr Լw{  ŕ Z@IRbD!ISCKV_cLO6Rt[ Ynܮ-<2㽼H/ SUAu8V)Vůktm)"n}h 3 Fpc'w4cb? X ag71[`.l̊TM@-8PN5 $B($]4&#$iE;3 ?zZشw0 .ul3t?B_ALe2rQy!ׄ;TETN9 f5f[/Q5yF6odIݴZ †=1d^bo@!5d#ks:=M۝[[ſZ٠wpܹt!|i^Ҋ|x v,Ó=[1,]` fD?_l`k݀ҿ-^Kt\fS͙HD[w+~LmÝ!H-9o_ 5{,kjgzBhOꚾhAW b*oG"RKG0. V*b1z3El^;4z`7(1=7"`;ɭ %1\4A k*:V*H\#ؼY_3Prݱa=:UEJY>.ZuVMr>Pk6'$[