SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  #d\ ] Native_Word:threads=2elapsed=263.612cpu=229.576gc=6.776factor=0.877zXZִF! J7]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kO O=m6 >yih3k7+|xO³~P2,'?67˔+BY.ݫHn3"9ʽ4P9[ykV_ JSc5jmա%QvNQ0ݵ8-~(8ZH%G%#m:"uc݋mkD7;(+m&)=[g(izvH#CA!2\ٞ[6(ޱF=Dө突(QH F J9AEآ -T[OGɅ3[#ȏDvqKhkU"|:j#)*nFefߨD=K5i7/ \])13=:!+ ImiPjp_#L BaqVŐSQ*5uUp̘g{Еհ4 5潟n0w"Y<8I푍8mӇ31CIW;ƕ=P2ſWnGSe`r;D|Z=g\I*G,U=yJt/cҨVK^m></DA'> .SE`ADȧϳ_/.A,bZ(faըe`\G'lSM\z'E~aSHΩ54xwGrn[/=bcT*Pz]$/Buz$cY˩N+n,Q+riboafw=¼AUG}ׄq sd"R{zθp4GY:1#`O>TZi}^rr(렡pqaBnWmq:6:I] 2$7875͆ шiwgO`Z ~}L+pfVNGbŝr˞Rp,MB镓y QEfJ.ݐ7v?3P);9DZkHK24VtHf@;Cu3ɮy&քԋصYJh I'`^=x 6wpBQS)LKn )kJ*DOR/3YN/b 5VEgYZ7zXZִF! %(']ŗXi%;рb>Uz3ЀHK怋f':b:고ЯVk. R[7UdpٞwYP9\/C)z=޺j !)-`}/kTZzwoBfL\t2+-s(8Iz?ip3:W@Nu6!>En YU{~U<.$5 d!BL`9s, ?&kH xNAF df+ ( $m_W/.6Rh2/WP4YDUaT,sWiHA:3sѕcD2Pv}{p:2c#QOt|mcQ~#pcLn&i=6},x[V  G;տ`荱dba{6|Ģ>Mwm]xڢj갪!+*jty"âJX\*g-%2Ϻ_36\"2٬(xV֕M|'yMTlU5&2HbwZ,7FnäGs9aTe?;S6 Lƃr/ ?-tl3aHOS-7엔5WOC6w8*:(as_I.H.q 6-!Wʼnu;0b;4\ґI]%t :&TP_o[ +V!8fg4J ع NEwz/"M]a̲aKIDӛS!&0nFZ;"nY:V[(fSyzOɁ:WgӠ"A4?ؕ~p nX1#>@LQ6&~䆚(Kn&ߣUD,s A1lHccwEi#i*l#ؘ>GoS0is֤QJXqdx0$7 s+;4:fddxc9IPșv:fsrR%]%G!KՑLC`J c4}}b4UaP ls tC rAH$z 7%f k֮;MQ8ߓ3w1N>Momjk5dki;X7v"`(|o?) mUQ,C+0WF$\q+XQNTAW%|zx__ܳVH-Nܚt^ȝ }'7rds"Pcţzl]6%chW[, sJϿ)yaΟըg<صڤ>ehDkT @(P][%?*.|oԭVz9`q3h;_x[SjNَX?Z~R!#ql{H0fZ7!_4aMn)6qp fPˆ%dР{zGtVVI1b+|WX؊Ւ5 2,3k0fc?AI&x\yseЕP5c>׺ np9Dp7W$ΈtQwx{>}x~>:9€[Ea0Bp̞Nt b+ Ȅ`,XE"lJKJd󎁡G_RPF2m9f>- LCBtB)d50Z3>^rɃ'𐐮e5S٦usR |"c*I `=+=bpڸ\Uhۚ_ 7'3ւK65϶'`mpeͤ,>F(daÝ73 [w :-`gp]QGi<#`$U+lBMZW'`V0^,O')$X#6ݝL)Yn1=zf{L-E'~K{wㅩzcӊ>%'%"⩏ -).Mz-Ӫk&l Ns75?h"ZWnX'I0*|48Kk no%i$ ākghsG~^M} dW Xsśѱ ' 46ΖbD[B7́u>RSmat2k|ґC"ȌғF\Z>p5b&맫2*JR1HX_l-,=T"%4_3FΖ 4K/'G^ {h~tؙA9Ι^dIAN$EVTG"8P|XS ͟+Egwcyϕ'NAvQ tMUp]#Ԅd懤1y.ۢ줾&FR48H+ efOq$xC84R1j쥆}s)uOObTl!D5BYG0qWI@X {#n)3Dx[:ŗyvG=Y2/Ʋ]&a1 e4:i/xahc7i} ub 3t?仺f# ARJ YPa!s{C_t=t|3@Λ.~֟Q&g+U$g:=8<祊PlD|_ SF= bEO-tuYQb2RiuI?RnAsXvכYP;Z_ ۯ/1&B~" 7cD)Up+}u v~mb6a,E;-9UPq{%o2!z =h F Ph& \e<՛eOH7|)W@WH%gm %Л+(k(n v5Jy= iQ{Aˬ%?2ftt.Y|껼gH)9T^y57dS9PEGhZH*?@H=r]ʺ`p wC**>N!*,1 ( Md_1 ;A@8)RlےQF8ŋb??.H`Hk \d`3HJ 3[|PAV،ҋrPt JN|YQ_W TP!FEc=2Hw4"f,l=tۆ0\xN`o3s;1B`ë+Vda3F8CF !Bε{@f7%* "˜oeWTp-7yFgTz%)xܫrt#yg8^D]g؁ۻ5DIRE]%s@66[׌5T(&_J\i#:sv8òqaYT7>SsY^]|q&%6)MW;p&G*_++YpEfb^x"GWqCHl)9"`EV'< CNd2kLw "c3d什ba5xU "'IgGleq6%mP_g(K8iS5m'C2mmm(DTL .$4#ƒdsx ǫX۶PǏ&wJ F ;6SWR%HgOΘfWNR#9c]y˻]$n;93k8r җ)HcbҁƵ7TA3'|h lPAńn: {JY^)#t&zEMܳkf}KEIjOc+?4`WA5ל~p=axȪo?o¼Uf- +KRZ0Z`ItCZ-al4&H[%V({Dt)[n P8 lS>8^B dRrtp^a6_ m +Ěoe/RJ+NBK)_hsVM7LQvG7OZi#><􇆏Kt*\#ΚW$RFBQvT^my<$Ԓ {:{:]C讃Oք7W7Ģ0ՌR]+ÓY !F5y# f31e:1iG rĭ+ݽk]f d vWB-FWWLBÌC>a`J .]Kn X7dK>kÉ 6?j.#;ƎdġmY*"TQJHg]~kQԸ[HHӰq:,&kBæ{QYY1*<:p@vt(B8̽% 0{H,c`\nt=i4kt&xV]vϤ m%D q] Kޛ1'MG ' #l!TgiP\PBL?!&)Mtp`r0h坉nKsidv'taG=.M8Bc-W/A q|ý T^֭~ؐ; '2K:e㠙Ӿeoi&:~&d֢7]fUG-/89ԊK~X2\Y86Jj̬sk]޼_jǏrt符|3veOk'3Dv)~ʀ ōt |g9(qIcA׃ԌQ*֝q 5CJݛo<uŸOaܐ _+YDSKo- B)ӵeX}DC/jb#D3"!2x??OǑڣP6p WU}eT9HڧGA4m+6O ę7^gV}ǫ[QGf֒RiR EEOuEdѷ,&av5nM}/h@XF^R.R a'(M` NZ)Y&\0-+ed:ܿY2Mrq.ȕ{=C] b2ਦ &qL;$#F0ǩ ЀS1u mGr"ǯ&'n1F`#ѽHawZXiF4-kzVPeAN`Pgp^P0AU,ӿwHgBE6Ź=y1<,YcZ[+Wԭ)+ -j6 ~,*tAZ>4j ԝAX@uj)%v?G%N=}tˠK(`o*F 'cnbҐaWshZsGUNNsx,ef>`9{M\CAF:Ju9_0-@È+N^!WX}"E?\F k^?c7ME3S1f$i9b'm걲d2OiQ#2L]}\/4ǂqs۳{6G}6Fk)Bc}ϟ6Wa~t",˂J>hVOhѮ̹$K<#il:w?I̙:%`栛QME<kMRypI^ZqÝZJ1f^K +'>UOOwQ wNUҌlޥ^8k@%Xsts8QH|_kd Ƨ --T~V\3+G1'1𞅔䧃:T^]zqM)^\=u, mOQM9+XgYO:3z"ۜ2$wfZ^y^+P"(" xA(]C&I {ԈkLMcb@4(9,PFz(hXcfo-a%"|Ԯ!a1!xȚ91