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 y)Lt SS Rep_Fin_Groups:threads=2elapsed=105.519cpu=151.656gc=4.216factor=1.447zXZִF! W`]ŗXf1-/6vR[O\"mӼ$zX6Auv$}#K]$sN噛ϡ*,0yr=[`gt9?zqF}}f%Xut$3hM%q61GP " D[ R ya5?_RV{~," [?cƦߌ*nF|< X$,0к3$@v99PPF"`ZUILac1zوr`R,5ޔJƶ>"ɻ޽( J>9pͺIXLK Ҫ)9;Gw]#%/He%Mo/1%3^-_2w0B1ͅD ) Rep_Fin_GroupsBJhcGrx=_]1Z`gHsO-ypPz`PD1(끬Nc8{]9 1*=/@'0FUMO:o=݃Z{fup$t ueBåꋷE?B幻c+h0i\llwxMe`~ń"!H JN=J_$a_FY0:$xB66ΉoJWdKb0i[@Jb9G&e/()5H ɂLU 8őx fONPh;u{Ǻ$vz}i5#x%+ 0 U:|lC >;)@Ƙ\jFh}}Y@\,v+ $I`?UD2:CT):ib-Al/tAi}^T.$& ~!cuӟ"[wQR ZU2AS3`?\wa~1B,B2w40m*S(X:tHYQ?+.O\G[2j2Ǜ7cd%]9S‚jӠalq~ MJZ>rG}mh[(*>CCzU"Ϸ}t77Q'A9w\U7v&PXrWˍ)MT(vx:Myhܘ}%#9A__eGi=*x{ XtKrq@JneϨQ+>i^ [Di',g:L46CtqGv~߷NprFR()H\n^=RmȠw'3ġF7nىks´\6akRκDžB>ŭ4rqRƿ7YZ!hY7V¨n&bDǎV&>*!i0C)'|d.2)fȒJCG0Q4x'aCM$= BD+̴g4;YZQձe0cd)R\DuuX!Нj=N0o!ӈWD 7730@eCߌo(6ry:Mf՘9=_k%(o6vt3^!#LQ-Ofv>!Pb3t !&I9mzb'{fj IOENkm X'6wZxRYis-"WEgFLV-|kFiG;AG뭨6`}9(I !-RgXw‡],PiW_$0Jpp]ve,d@;72yE8ۀk/dS#(3aGnO6Dm/cĄuW;<ɣ` = lC8\pnDTہ9DEPcO0g/x_T}!ڨhػ=aHlwS W* $WDv=ۿFᦾ$ 'ٯP`vgyr0Ui0p>pteGySxIN'Te.q^&N;~O.dH6@X` /Ȓ }LLRfQsuE."+CB:Gt?$vNxt:[P; WOZ& wg]YCuw [e䫴iv1LZKg _e%qIU"՗{ڋjA0N5 T3NJ桑;?tJ ,n;о[[v*Ilyw`UvH"a Kyg H'$77cέ%z!#%)Fs `-]FE> 1poG>[>hZf\)۫ h1e^4f?_۷]U $&-ِ$Cyk>}4HUtO@=7PMC^YSsJIB R@6 zkӊ$y<p k1UX^fgJ ch ]RhUm%]Iu]sf=c(YrE)f֐(3Y.~@-`z,h"rU&`$TZS8io^{*l{ܔAJNKs:kniQ!_(2ns|x,Ҿg?IP@搊5[l^( z:kC4 #'έƬ PέvyO ur鶎Z%R;l{5=Ѹ쬿V]dZ /}Z(QF)'tFc-V~̬|QǻliʵD%iZ#=AGt7}jVjb˼c\h^Ԗ 1 "rtn7՗Ja8{@F+ډIs4-Ŭ9<|[&0K1Il^% 2̞e%c Wl􎻎51S"ma,<3y STy6(5B z%nQ{i7],ۺq Q A)LYjiv ucmzr`BAʁYE2A0\C@@N xDAv,*0 op´35%g:p؝Vھ<#;ն&4{\cUKVbcS۶A㮭b1y^`xhuYeVVgm5 N/9vi8$m:Lq?͸u?R9)wX;WT a>kUxsWfC?\k Sf U= p 0XA^EFz&s.{Hh锫% ȫ"et(j/|Us@o ܝŔP~)h@~z '00LjA& ۇ F"LfTm‘M_P;;s ep}إmWZf߀܍f\ktdaFo͇:*I ]`@Nڈ&g =*4!jshH;0Xo(*+ ά2҈$ %*;){ARhk}ب=Sk^$`#'kNJь! ϝk"ʂl:y;N_39 !(zi >1=)0ӜgҦS6Lg tfg%w]n. !t荧_H79n;ZzDD-CZ 6UݕG œqu %={uO:2wzn@k8U!˭1ǹtT3KY?êB'g֍T LV0[w!Fʘ[:ɒXa8ϕ]5uN^t˟aIToIWQ f]ԮnGt$ky!(4Edn'ą"j;(Յ3om2|>o$ °RhPZd2MuRya8&bõ}2 ۬ȁTxw[E >Nasb 6C) G tq( 'HTS*@ԵMbtB05P]?O g>L }Gaë # aF-Ds%K&"|k`麙X,rF^F @D(/n#zv?F4EvE#qHW]IR.biq2P̠1HRևY}$ BNG1qË[iWNPLM#K+psa(KP* HEm2[/R/7*(Z ]i.P8i;dJNrx`EtAYE >A7 ų_CwGK*xl EWkpY6`7Yz|ӔEMbY׾60Op7N$&A5;nu/{pyPeENгJ@M4ب)ugYZ7zXZִF! .t]ŗXi%ٙt[t`O$6D_BKGb6_2 LF9%m-D Xc0MrB%\6lx9 ru;o8"FY؊qkvC؇ETfFTgQ>ۧ˫Nm`ғ9|f*ZـօIQ5 Px,?I2}k|9V@Kye; f-6A:J^F[SA~Q5B5!.3߅Hĵ`(}z'VˢW'2ͪ=aRijl,`dW wH6( A %F-rۼ/DY6.Ng ݔ]_>GڧCbE1G(}6 GE@'lӐQc:5w4 ;<cIdɏ_vII-IeO@<lhh1t78uÉKx$Ӳ2G[H`7Hx6u'*z`{w}LL6+uu Hc0w(%Tr cgWwD/ǝ0*wcYM Ÿh]%~޲ N2kϤDutN ^ݕm|j%亄C{넒Y<`cW7pp Rҝ" .O܌o- s^?3!!E( @BcʚXe΁璘nA_Gڐ>WěxUB*r.-<כ2D?HYɨH)_H=(Bxf. Ӹ,n܎)(,FC@ XHԲc.WYF.!d*>pW$*yzРC>fc csKs8mt=dZ#& ,5v:„豣#۴Or@.Q^iwM;/swiCf%t('#ՊXvn!}csJ>ϩ6vrzsn4"QbmSbAH D})(cHM2paW>Ϩyop H ~擏g.v`cL*w)z<aDme\T$JRK,e#2IAHtN n ]-K @ClNq;(%sMSN֬XgD{q[ T[ ]`+1[w)ղI˜kLw{)Zp)Ѻq oc"+PJ퉋[Hr/TQ>HӀZSjasg?U|z@4IHJҷXj8M`x-3{=R. g53 }cʡ/KuyW:C2#+ PF♎֏Cv/9msg .dB Xꢐ$#q%)++nq* u=&SaT~=Q'[A!;ƴNc]A#7Uaȸ;F>|i^K6b }Y !c`m.=7 3fcg 2 T9GD]F;~Ame;%@E©MI(r*&&o[/>p)슻9ƕ#Xx:R5wXv.|8rm \h'owp=(I:3Cj@ frN7EʕYʵi.4@hUŚB+$=8\yjVԊ~IőURG0>BR$h P ;)?R/lAp0a>^TLH_+zJ.-*j r\}\oO_ULv?T3eeW xתQ.>I Q7y !1 {r8B*a6컢Ƭ9\k{%z1Sf6%Ru7*⻝0 `l8'fWr2q%v-)م` .bVv[D(9M cSEE 4y`NQEb"$8R6 @LzOE7'[,kT%AbxֻS7iEa}|e.9X~A {f3,UUJ û@'h_18Rn'C><(lTx|TFp2Pmتje-+̋|E-$\7 ndNҼ٭:t?aM?{P3J(ljgc]V9c Lܹ^uG.\QrcO r ߮ȟ/XC*':_>vcf0jQ/ІɲAklbs B6>JVݬGb{|6gMl4tּ!I&f\;>PPTGG#5RaVX<.0IΆ}KxCiSYр" b7 (Iئ:%}>lV\MVy"$9dcI-B 2%brU℣r\C-alZE2G4ThW{U5/nn^ћ # wlRm}fu$xA'HAּou(g5%&O6*y8s&h_]ٻSO NZgߐþ;b F7JxB y%b6\hꜢ`M؟=sb4`%yҢBuleq/}ɯRV{Кِꪯd|AytTzS6)~_j/D.N.}^GjfSPB0^}?E-T18j,k(!iLӐIc#2%ڗkFr-lK#Ԯ=<.h"4OGո<ԏ5ċ$~]sb)ߦ>Nj]o\,+æ9Vr}W :\'ᅨ|K=2}(G⫲ WTNh%UHx#kD):E5v^k|#aC! ݀Y(~>5=I鮳dV4s8fTP^35Yu@ h~FI+zwacPn5LqjV؃;+j}<:aޏB)(`"