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 B1t e%]Jordan_Normal_Form:threads=2elapsed=326.644cpu=545.608gc=13.512factor=1.677zXZִF! ޫ>2]ŗXf1-/6vRZ݂Kjc wCGtnH]\wB$$+UqНs#V'W@OcF?yfuo-f(xNnU2":RB˺PAAiWsE1wEu}ϓLL /pD 1 Jordan_Normal_Form<@E,5#niTF@ Xrc:*7rp؊:/&|c\m; .Y:L0hO/ VdLW,V# 6WB0^ϿW"?|pB0:2Oћ& K8-3&55ZWU4C'74EjTsQqT](BH;z9F+oSsi\6='ޕX2|Zj]=ȿ5`EvZ{ Y$gJQ";r!U(wPp l#'|06Žr3,Oآays*TKc6(X8\ĩwI,ȹx':,ʀR!|c00Px)ţOB6>&O #wQeoHGڥzNO݆e'oXzRwH*|/7{v%(&;dp[ iz0STy7SNؓ s9ۓ'(\(_(=(QT;O-֡j!+DKGI v*=PSm?h.WN وu'XϒqtO7H0󙮵B^yFnh\0\n*=r,t^/L-MѶS1췈˅zu,QFpp y]|ؙ)ivpsX*SiuP$uwJI:jv v5M@\+STԳ\[j2o,b\ u: MB&5khX DFFHl*> ;M{,P:st,8[m&!o%)ab ͵v}G8FTw1O慃sȷZ#%hUGT9֌!dYsSb5D<|o 1j8IEj>W<<Y%г k:X9 h44c^{5cPC|h Cxʦ}d YBRΉ$mP<]c,t\Ɩ1 3zʍ-5Pi{|fSJ-{? P?b{!ȴoi{,l I;f= hyDޓwkp`@Xvw#OElkG+w-ꊈ]I\byK`6u|\מ4MB>#Cϰc榇H]-}2YegY#eA1\ʠdսg^(&$P-sެ4OrT18їN]6ք:zL(* HlYtςtnKkX/~ GM'-zqS}/;-Ft<[r}T -.-g0p2&X%ascWx> X<gTzi:uAΈv h2Bak)HxM6XaZBxX* vmA;eǃPR`PݤV2eC'V AE}zdbBj] 3/2)CRlf1kҙ8K*vkk4]*fcCeT$oCxD9S}a?O@@o!9G]ke #%WPO'l1Q;^*ňo]OXTITjv =$ImF/M;W(M=d!hm[5:LA6Sȡ%4Z`]1]+HV]nKQYQjכUMR:ƽu@da7$mi>;5 :{z+J(+Õ8nOo,@ DxuXt8X,nч6jQv7lh] Cۏ'Mt2QՉ)d -Ro=_KΆƿ5AW5W2Q9ݯV>EtvD[ҡ5UD~ t])O:Ŀv)'|IR@~$،QVg0'C'd{6عp݀תoHiv6`pL(5=PN8_ɱ&kЛ~%8k,ցN$50gf(o]}s~u_lTVr:h|*SFFS>O(ק)SYr/FmL|i1rm[gES} (.C`En/|Er-H{nqQf'-+Y Dc$nLYTd<m>Zd ;Ahݞď1l f:Ln=ڏA"<&Pk^)sTl, cL$l{3ɋRNW]Pܭ+L4.-ײe*>;Wلm. ^f֢9\-[S7,^׳$E\}4Oш5KO+9&mc8 $,NM)Ei+iD|8C%X63b/c;[bRq3/-"'X8uʡQ]J;:g bjr=:I|-cP4-%!mL<"wsn±oKنla@vD%,K1ˆ=0)rX#eF$iSBOqQM^ wug>by5bAg`g/|=!_u6FϺ3fg Kdm=N*!2@@(ݓQL=wV: ҨӉҤ^b;qe8$>o Vl/b(^؍]= t 27[UU{ѐG$2h~IFdxQ/lw=MWY30oe?Ј#e 1Z\qNx 3 "b<]ݷ1OcD;䔓k<'(Oizv= n0ġ^BZ6=4|J@l}8fM:pýug}]$YW/eNJ-K,?~t;[D6WXx63gC͢0otls)ATfu(/g2׉{x]V $ev?I p`R<<3l-DCJ2`S8ק0rP[]1@D`HjVZmyCIP!o%aTv2hawr6Io/!+#)Jq b O7zTsn5;tyCZpsU1VU{F5q]LbjA˾]V\$lBN.4 "_S22Jt'^=ZH4xVM=V^5" +Ix>퍠6 >{nJX44@6䙂hћBk-ӧtgD7`h4, QDsq!JbueqPQa/:{ z 'q]6 Oz&k‹Zdzya4Mۋ gE@C,6EdsJ|M_?* VM )A*8,CL}%m/< Wb#TXBVSN =3˺#r\n&}ߙErFHfF2! |m+eW T|ӧVnF qlYyR*1ó6CYdH3_TnC1=\$LAmr]c 7F ?9 qM<77 X'Aߘsx+DFdd@,L@cCj"xߘ8{gY@1<~VF( ?ũX0ղyA?$ʽ-h3i~E&EEϳ¼_L' lcluSCB,]#oh/>\=Et4|ҏB!-Zsz8S` 4`NW*UI&92?c>x;5o,vkϿ[D.򭓃L$?_7E9 =V\jY;u9WmV MQ`3aM5 BweP$a]cݨp8۪?pOxUh٤i; wv  fr*%2C.uX}[z}3`(5߱2E]FNzOd{S(bMR}$]PĪK .c@%ve2|j% <6SEt71c猱em正xs5]E̱z]\ t)|U2F>#o}lYFu:]縆e0(Tr_#~nM)Mā;"bR&Y(wQ:Qk}*h1CքCUYv&eď(n_KfzL@E딚+5 mI,7Ogr`.43S2 c }&Q4CP{[>C5:Ă?0Z"=vRP '65(֡R8&? X"[k]-y!;VopSw<3|} ^ĕw$_K[Xm֛ޠ"ע=y4z<:_?Qi<_&0P_%[3ݶik:> (巸DE7m6IN/fa`J?\(}$D$n. r6#9SޝidE)T<-H*ekMƼ UܥMؕjK|G/riwNvº(Tq$DE´&BL0B@QW笭[No(Ź\vElryGf2@˘PQ"9h6B6a ƃ=}^n:B1)ힾF#L%,{6/ؙؑ6i2[jP*I`Ư mas[vjKo ژT;Rya=z"wȥvpHGЧHm)<ϱChB `6JÀK۴)au  ̳zn g PҕaWp캫HĒ~uk<8_)^a%RЁ"ŠY[goY6u;-kx\\a{"7т,X_#hꐙ|f%'RmHHmgJx Gj%RAN3%ReJ("W( cfTtZj|3qԋMuH+7捳񃂓;Cϋ"w4\C=DQ9A؛F4)YQ`oj%5w~$LXˑX=f#oIYظV,­_K|߿P$ ĦV$maiDVJAN6 5 ʞgiY F?c!R>XXO|=XЯ/};/J:5"lx AN@wmohS/; >P7m!bc yD=ΒC3$# ,œEuŽ qEg@d^5Gdk<9xm$%BV?%F9FP[ xj'W(ȣJNpi}N沨z6Bq&\l;h 2s@5⡧sw%!G]'ҢP6[ ;LliJ;=?Vj Dͯq7Ѷ*0ܝ+3-cN/nh~ne^E:jL $>!g~ϒ;y"Tc-$Vu||: 2h>8 Mjn3xuD?m4qNPiJ5#|wd7Dё V䛚-i9Xݠ蝲{)A8|N\7yB7j]jT䨑pQT_IX-]1Guʽ*-;sVq =Q|8Zw?ir*^8(Cixz;g)],[;JR5oᄫ[>1s Af9?d=cH=md MxiU;=N+#CBAqqhG P;PdV(H-+gޟV&IP fx/3/vu| ^u~6*Sl G*|hcQ9pV1 xIq"kLV/nbZ$@,{+ԯi7q0z)$Dz X@ Ԫ;v滌bo?n=.Un4fIWy|1P"_5m#0ȱԾŚTIv{XEC}m3s(%zƺ#vSeXPd1+>k6j&&?{!MmbDCGť7N&#Rz=z7G\iE e.zl,rџ]E$=@X,U,;2?A2,xt }_PoZnj.l,K4h3 JEșT$a\ꤥa &D4!ӴaTqE$%jdb2dhuIʄsT6^OcE&6>:Zat/ǞAg% П%ߔ-r@JӞ~9׸7 F µɺ fp>dUr=RGd&^1?w TG[>Ψ4tథэK+ 2ZJ$`@?Kݟr PorUͨ}&Kn;`Ķ"87%8:F*ދt*K;2ix,PS7Uw}_GS.cSޝ?0,W ڭ ~({<>;{ƅYɃY*/E]%^Ka!13/'5l: I˵)Ru 7~01°wf3u2JY9TхF>v/i%2RNJ!UDtrC;l3X#e9 ݜ{C z@- NOuQ~\<#G>l<춐?4 {<?*Yz,k JRSTUU^erhYTzdҪ܀^2i\"_:}EciH;y3>8z7`n =g7*6U@**Ck!DuĈw* PM]3Crh:z(u}Te D׈x,5r؄28m4ξ]$<'Lц-ԋ%0!8=v/$AқoBXIﭯMEE pQ8PP ԩG0ZԘ8"}w 9]ZxSB"#t:{Ʊq EB 2:|[OTq8Yh@qEzFͻk;A"&hXb0,d ԆW,9)JJw|1贐n|'fa^mĨ~Zl۱E|SB .45R}96;~~^'mDT{̔wBAlJeTgKw~s~JTwg~Gގ _\.VM<L%7³*?uLJ#uŕGJ t>=0kNZz~J'RW|2wz-M}*cQ~bcQ|\vxJHŦ0m ^55+0 ZŹB"I $)bjw@btQ6PcJ{֭ďD6\AʙWTZS7ӥ#v[9BRI+=SN# U'EdpH,؀8U90ܙ hѭ q1Ht36ďA]Έ Nc#`+/%ImP]QH0KfFJȼoy l~5kv0N+ct3:n1U%yl_﹫u-$4se  jh Y3uX>AJE&K=n'$}W ^}ZDH]=$bY\V\38kn73Y֜Ҡ#b <ev2#ʬ㹈ю'#rͨq _#I"d&>pPN>\-ʉv un 3EAFQDT hwÎ.{kh*[_1*aps_ qܚzn!'@7,'Q2آM'bm8o_h0-I2\qu*zCz`~̦q\* k"1̹:3ϓ{O4^> 3 +[Cw\>_YvAc ̯{:^P^$PCO</iDw%AH.|~Mhz6 :&8M/ XjʨiVp4II &7l K&ێbm[yߏ5kbs 3 |ڍ &I4-t0At1*q__>[K~ukK1#P5&ar*5E+|<:oO,3e3B&`-kHf |+5S-Aapd}d0HC]-7,Ԡ`̱G3{KhB*7Ak]4obZ G20y4i**YKHuotg!hjJӪ/kQF,4#}>m*FA*p^\n}+X雖CsXeL#]*=%Ѭ|'f&=-lacODbowWl(w# u}|LTro8b5[ &\&qeߞj-yfuohuwT#p8rfQ|æ6NoReL69E{O݈uRWHvhy3;\Tv`wJvů>@U!?VP >g|_qy ybv7">ȋan| W]rUOkQnB;n,;='7P;gKI)n0Ր9y[{R<^9eڗ~IIK8ڒ z2dC_ZDĔs irs޶G b%+u$ÓqcE,S)pX*95 ]zL8c'­/ G@*vvy,hN5sᢡ`HjW8@ҝ%<$ĢLf+s+E(DgOP^ɚm Z:1|CAvV$]D~U 62\֗NKDMBX! > {.aCi%F$"`p~AtaF~ vY(sτ[~Nًetz7@ɶYrL+U +2a8.7K[DѡO04&jw l7Uyoo 4!Jp_U0J% DKsۈ#(:F2=*9l7ak,ih t.t1R=ZRgX+;ɨL7\1 \83[H}u`.91X7CƳ$ZFP=h!t'v޲ A;cVREb},̒bF4nPҾ;V9%!D]I;[6/YU:\diB3Y6AuW˅7yKbaMCRꏆvPE+RcE(_܂ǵFp;Xפksʯ)fm?2Ri~i 5`^B,orʉM}/"" zɴ\5 5[t~\QqicK`ƻ [X5nv{9cJմU HpBc2b?q6 bÆs|`_FMm 1x'깖4ڻ_ ɦ j{*`>b^_kPZ"h0(QY0(y}|Ha,ЦY_cD7;&pPWMN 趾i57ɗDe!GL}fLJ=U1t^F|#aw͙F Cڲ!%M D?ɐHcJCyF&p>UÁ/N)Bџ.J}r 2:mIhqAfL[AfC$~珟)l %x[&XR%73(۰qlذX=j ["JiŀϜAЬroullYqr&kSIʹvߕ~UN~m.!o&-CHh$wC*FL$`ok6 2] [Poe踄t㼭;az]img}~/qˏ J"xCFش .YadTFKcgYĉ& bMONi*j2dP<әLw, LY*4#]pEX+]eSV~H;J{[rVF.x2]5|uG vYbz_~A V>#[Uݮ(b8p]a5GsOf#q0tOQL^d/$%)3*M+$&hkR 7a{% ׏SP:e|^bLlͫ * HF- `"4IW>q^Z9h9KWɞ(7 z.cBro&ϖUhȕ.QGs6jI/~b-W]V;"?nNjS$Gɢ $@3Bc<6XiJa`k'(Ԛ4x#-B aw^w okIS!z2͇;"cly['_x sQ p%7Ugt0~ʹ߮d们FVu9%9FceJ$4Kꌰ #V36.H4LCChڳѶLDر8wBȄ3I9 [ͪ!0<;GO&ipb$9΢\W3;pՠ|{tTr4k)#~.rIAiH=6OlrTEcyfuq][uk4ƄXM},4>[:V=N*|F(فQ0c+@' IZף O-X$cL F#قۅp*dUHk{j o2;Tj7 -k0kz{cЫA"KIe4AHŻM3ߚp`~ 8@(?o(ncQW:(ùv{w-1*Kߟ0V4ﻐcGQmdM sL=Ե9zD|?q];$crdžp7aVֿDn$b6ro,L[^KcgE@#{-C6#Hh=;K'j+`K4嚙Y`o`9-9z=nrVGׁ]ŗXi%Bɻ+ $V*x )ͰK~4E\Ų߆|Ur) ;m[`+g:Z+TLp 5TB`moKiY P~sXdМPsm$әPZ]iAsO%cS$Rem2^n=>Sp%Cj/U-mKMK2Tn2CU,]$oY2P&K}T8»'#!Kh @f!v0= @TNg2ԇ5W߿ڐFF[q9DX-ltnE_暜tun&Zs>?@Ff{K)&KUaJf@yy0 ',8@SHږF ]{5?{s*jzsa7.zɛovCɍzI]3巧c  DD3q;:`0TZdg[Pej u\=}3<*nGxlA5>FXy 1 Žnerʛ)87pyL'-peuL$F1cb|aLعo7^MG\3 EntQ+9jhG+u#I2):Q&wnՇ!L{\.@PdX]v믽'GdW8HgTKTG_JZO8ȲTڶk( `F J}g⽕pF? I޸ax9w 6XoWUMIpJ>SFP:p_fỏ8&nneyd:hU004W1^1~;1o:bC?W[un'2{mGp_w)߹_#PsJN;y"6粓 O>^|/}d/aVnK*΍H͚(pG>U.Xǒ;4ɉfcdh>+uHQb[ʇ'[AMbU6qy?m73r_]]93Έ1n>1£"-җA!B4VX?]9{n?C1!OSmʍSPгy1d)V G,|ҎE-uԜ,ߐf1"_^&<ᡐ$p-wYY}uE D= aI&  ı9h%Lܙl. -,,_aI&yFT')ٵ?ȗc|G!+t1xٶ[+B ^ZxdZߤ/Io3N++-y٩z&@Q!gMZ_ctT@]%5@sɶyQ1ϻEWV]+R`f0ҔBAgn+qh̉őRE^]I5yW-=uUfS$OJcDsƊir&;n̹ߤMR`M΁_pKq 2׉ 26ËdíE󡈥ㅴ5;:.>K%UgZݥf>GTR8r4}o($VVgDo9(h?~txv^k@cY dew0 b(QX.(Tu.w`$#PCvӔ"[tX6wsoH\SlAUH7diȻ W 0|诣Α@zQyhHH\IJ&Kl}QmޤD,\% MhRHCi7b/"* =DAq4snD46ZO{Ko"'Ą">+c+Dړ~0L">* ^3/qD"={W9,ڡn읎w X.h|"хRQtԴs(^q&J="Z`Q 蘶ՈT܄d2յVs ^uƎx5$C34gk2Cp?. /cy{9%n  !!=ah1w(`-!q3)!I&F} +Qʗ?ƱQ8>&ёrw~`~qH SD ujEf'^yn(S oi^wIǕeɤvVܳESƕ!(x%tpA3r  d紌ek3lq^iebW3) (0_ߨLkaӣ>-=sLQr ߒwgPd?RS2ͭ@PyQw59eMZi{Zgyab35QsgV"dB9uz}0{|YJ*MHbrhlJ/pc;"B0s'X]]+vpPuN"0#a^dZ0,Գ2*YB;@2l&(|5-td`Ű.1a̋F&ӉNuQԗ][ɧLG7ўS$f΂'OM׶g!= Z `^u>0Hs>/NL!>jəBuЫaPyˑһT9uMZ-Ⱥ+iͳpo|$ mQOISETiI$bQc PSHx))ūu1T6ۻ|-| K5l9&"x+т vV7u+ b0ұ ّyS,Biѿ[>?E.G=S[ɂ@_ %FFav1.DsL ̶]U`^I=0T7{#UЋ1w(}3mjk3vB}/daXYV]b*Z,uݹafV604pڵâd3T8[h]ph`y|OF mI ^;̐2|Ml+!.!>ߩZ|AFmvhS9Ʋq>Uuߓ$Їa>6$@];'"p݀ |acOe-9ZSο'ˆ?֐4n…V׉āOW1D:m@K ʌX\X{kEI3?: jw>,JԱ}hY%&M?:YmmD"3 fܤ@%1d2t] sNNC3VN aċ\nʕMӹZ217]4טqM}6FeߗQ)E)xLV Yv7 FL9rP!X ޿=4Z=7gg ѩ Y,eV *( QV*J|ehqu!oEuGRU=ӶT0= .1ݭq52,bSTg@\`Zk"HTDЦΨc8پV0\6_l2!;5( uR Yd%͋Ju%+[Vsba6e6odq\ uuFahg|u\Ym1} _>t7bp[{o_HɨcFԲf^$ԿDd1_۾[<֚S%Ht5^䨊Ml5o2'89_D2+|E`}zHt4)iS~s}CL!O,r[*j0=*ѭV MBNv *#<#t X;jnI_Y/V!ޙd %Jt!lms"[ KEg&oQ?R ș\kL`0CJ<ž%N q7e?j Ehe9qvC0CIxNB!Pm=hɉ y8Pk01n0ȅ21Ռܬ'ixY9ݗ\ : a^EAAqEm ]TҸLGteq_*n+Pc{`t+[`c8`A DD{˗i*8vcxA2YC.'cAOc~kF2ԭٙc 2"Dimmݵ+(Ll@[]f'˥;D:w?bE6R ׷EtR?L4ˡWv+[=[` ¾ᒴ) b#j]da(׾xjr>C2j@=l҆ p\q%akpuO `l0Ho7;x>kiB_t0,hҊ1$ܗT3IY#YgФ F^KF<1 {Wuɷ6k Jb//kqB`1ǰqIFi=5Ք1Vux[ZvZmM{_/(k yCRN[F) @q7=M{9KMJ`T5H[W M TfKC|=!4uN>L|`YեC>Vh+=Yc^RIQLElq! Z+JC/Ă>'kr FWMқ5Ju:5=ĹY1φܒC33-gY(Oa=ı$_`!U9_Zma@f[ %#l qk&V07A#g(ޅ \u~m#.֖ب'96eF@1[v߃iS{D ƦOBs oӜН פԦ'O'EQ0]qW.}t b5 SBy*qUbҙQn3Z#T- H_^t%:>kw dfQ{u[ZZ̞ҧFI! Zwջ67MW':PPpi{\>[nɈ}&.zn:?1dJ 2;:Ҷr2oaa'MFw -Y%+KǞ~K0`0D-HX*o[񖰃Azk1#+ћolVi/ޱ\s>{L\5tGѿ&0|fgGtFnt//GZKk $ \Wt\'f:Ͻ"F; NS-`<r $5ʒpbo'j,[}Z4 Mj^q"JqbO i*ݽwc)Q2M+{'evʷg!]Ȁ)&0=P`h߅SOR3{s de<5#l*AtOU3.oέҕzΥTS% < i`A5.1o,bT< BOi.d_i o\>RDN+ #Me+vY/G@1z+Q10ڌEGZy8JIwIڌ&ѣjs5> ~wWb`P=)BcHBzrȶ' bC%ȫ]L)NJjEP>[*WI>A+}>/h;a]3F޽wH͞XZ dW 4X8:eJ \RK@ihpIl|igS>hr ;,KNz E:onG3A7's^*zn ;Cm{ ,mna[ >/#sm6-Htz-۔ˍb @Ԡ餳 jH?CU=]p?]iT+~ uTUD(ӤeCWR2 5(YlUPg}ց:?]A =3o9 4}Ve ~(|͊mE7M;;EƚUͫQTl@ } *K~p=R@@7 JfhSH8kh® zBd9A֑XI,* >Xu& ֢f]GrR7 cqcc DDz 'j es?u)?.ɒ0Bg< 8"t;oJ02]M>-T31@G{'a" NΝi{tn*YP@GD׸Mvؘ=)fѱ FP՟@M)"{v$p7`{{ 4Go'G loG][VudzJ j~)2ܘyJ*V4M.+,T^<<hc[@)^Q-o& ~O\V>jiQݴ>0$f>U|燗T:cRPЉ o="׮,sޭ i&uGdm.%^aQ]mqISp56\xVڠB쪘zw TӗRgG !{3{At|p2V\-K)"<0kl[9u)AxK먭_$y2qbR \,fTȟ$pkbu 'ğ z&=#.%r53QC׺O,Ͻ+T&r}Vyi8@UF5{ h4UUt59\-1ރc߼xM~D &|ݹ;'SN5K@wdrωbXwҐ8hw_FM\tXny8HQi)ȗnb]DzW(Q#@"^G+]: f* / -V"/8&偹S9 3R'.J&ދ7ü 3ɫv̾1V5$U("٬dCchŬ]9Taލ_s:/ ?j[ ; 0"%~ 3:.Zl.V}Tua[>@CkUS@]`ℒI!N%3$%i EIGfQʖV@ԍ_4Eö94-h٭Mf:aaI]I]!^~Ft YC=5C hʂ%ηg/x f~{yWB={Xnw+4Y>'V/м񻓕|Y@!v_8%>\\Xt(k|r-!vN42 {QR4{i?$}ZA-h,Gj/Frb Ԯ8G"W3Hq -Z[v{l) [T'|!y~gWuB%]řP;X3c״v noqj閂tL33|1>Oh2 VT_D|E+rJ_ƛ. _ j~f>6G̢3qѶa5.`,gʧYVaehBxS(? KƫM{:K4It4ljU ˍAG``xn,;{3Ԣ@lK 8(k~fFe( Bǁ~L>g隆֠sA,&nPFp܂[BWCF[ɱ@LݠܳI3q$t"O9h1^=+p5veNE&%ɹ*Zn.*iQxqdC\xYy|L'H|7';WsO}v^jI톈+~HZ=C3,@qஃX*Aᣣ'p񬠿 6NjR@bQF)ڕ#JćNwɭЌHAa97s8V‚ǿ$ zpЀpAlwё"36埜 JX֯chhޞ*q8ɞ 0kI89zJ @g̫yzWH0!=z\t)KN߉1#:%<kS/i j"b']Kܛ-C{zQmRt5L2O\&mWh7"U߭4G0c7M6CvT( 9Q.oyVYEiHw Y˻DpL|gHlZɰ`v/C=\pbܦ*U{vB+帣,D ~O#JJw𚗚`!5(S=̫XIK&:&Jؾ_AͿc螈U{n3ڥR2P3GQN^^ ^gN_Į#vϖcGAʥ}eA6#$swmh&2uZ9\8 *=[YqwhdUX4 2v؁C0J [1j_xb1XyFE>`T-uDZ[bPEMf 3j&D;M|ѧH6\a6I[}2"o;M/HX3Smgnm hƐK̄S0.GT3{ 3>h$+wnao$!X~7u??I{}HrJ^6l&yIQ`?Ԭ/ 4<_B^gʋD.NG;xjUbl;6cBR7{39% s(Я#3Ĥ/ۑBZwyEwhZY8r.J(`=s4d%EGO$İ$!DĘmgO̦dH*/ s,cDs7YFNlCӒ:D`xT}ђ^d"Z6U8 E5)Je)I;p !΍JRcb%.%܎l3ZiӐޙfzmY`-_%RJnH8־Mu ]VzG:N:O^K_4[Nh9!$pJH%E @L+мXqE)ῬZ vR 7bBpg"7Ƶ=D;-c7.+h,4,_@fnZܰߤBr DJ"Rc=V=lQQ 7ᾞڅ#Mo4: ϲ iӜڊVsZN+!ȠSPo *!:r  M~xsmxl@#^8/ 54g%5.zT5%=4#I͗dž/4jt]/-}?&wZdK%ʥm5W!5b(tm_0͕S$3MsZbMykxHg^x\ǤMhׁ.C$;kMT#/Qs^CTvsŹuL+KՀ#OO7̖PO6wE\坔ȓlM? ŇF & ?M}+՝Z+GipXw}d[V+y 'x6v AD ]p\JYbe'[:"g!}1U/ao+]p +̠+jcc5\ XC@{Xqhrx`/eAs$DS`a2z 0zY~.^G峽Y5?ݪ!i|tQ$BۮHxDc'ϗ8d6 Q4M/ڇruPu:6`ЛBt ƴDLiYY0N?*)Gi7ozu1 '=na8z#|V{Z2*y493FK_> bax3Ŏ=s - 2^.[@{F`Dm:)R&´OYTxOoj>OA1~|ȿ!0хVѠi`P3xC [2m"V?Ưx]Ŕ߹;-֕F\Qo{ы> '$d"D𴕛ʋx bGߴY.cN1BܮlI؜J| i>|Xng{|Q̘zxs# 6Q b|oPN(vE\(ߴv.W n}ޥ r1OD& u<].dE!\ ΁FJJĠQBr>fd9]RC-rG g;4¡[޳w3"Kf~:!^rJ1U Hc ߀ppbۏpǷG8{=tQj损@.1S;F0o'JxJ@giP$`z`uǪ™^ i<>z`#.[^YVdf> /jd׬<˕1m+OpLWcBd(ë nۦ:Yv:jwȨvFGPYy'V%}mp}SEp~VH_MPqѿ)oW"ѣplgݹLdJ.5=br<t_,X?t~7vK6ll0'9Uj,;#Ԫ':!SN͟65a9|}?GUk=V "ִUi bO*,#cO4BfЂm) Nd~xmb}nŀgYZ1af0e0ca6bc912b30d0f2e6589aa8e9c46c87678 1c93ec95d4fc46d544dc6a321300a35867f9006c 1cac7b79615488a2a44724e4767dcdf953528bed 265c67cd0948d58b821e278c41686dee973b7ad0 26a3ead7c27418a5059a735dd6106d2fe846fd42 324f9b23558418342cf6e62a99155ba27399844c 367744ce12067ff369d7037132c2295cf2467ca8 3ae07ba3f06504d0ffd63262a4b175fb34440c2c 4226cc455fa452546f7fd4622b7c865ab8e54250 45693b357f26160d4c0b1ef1a0df39678cd98d1d 4677564267a9fbf6d09bc92db3def7deefb510b4 54c38db887812a39b1b518723fd4468f9395eed5 5a32b2c005abcf9cf0616f9ff41ea905e0f45a78 605b2df1a2fe916474ebd532e68084c307a9494d 635f553599ea5cbe98bda10d1da23127b2865f12 689d052a2694dbd26535b4fcd206bf6128f0007e 6b9baacfae5a327866af6cb4ce2bf8b3b2ccfb05 7e724b95a0126ebdde350afdcb6ed34eb4645152 860cfa5848d2b6ba0a0acb8ddd2dba686323d965 93c1cda67d93bfee32ad7eef60fe00cabf29a651 a23baca027e75398a654dddf08a698721e3d379e a2ecc67ad979c76d202eccef2c6dccb0f9071de1 a2f58ef541eca0a2ef9845d87e63c1afab0b2b6c a4270798ad44a0465a9d9638f535830d7f5331de a5dea19b38006556a5c07ba4f7ca5d0f425984cc a79d7f49a4aecff6119f22cbeac5838382913c9e a9f38a4ccecc8492d1f9ebb962024b9b83dd08bb b27225000730ce58c79b3a9ebb8525a6b4955a5a ba398d78d1126570b0707ee67b307e8a46f2f0a6 be2efd0fe95b83679c827d9fbeeb3645dea903ed bf0f0506d2d2cb8d5bd820ed19f03a08e0e8041f bf47b112034d85c95e8fbc6fc371cdf2d446386f c7f5ddbef6f6c869aba952579fc04f1cfe2bc589 d61ff2a207e7f8eabed36b1c29b3517efbb57644 d75da252ebe713c7a94bd165cd073c4be14a3b0f df65d216391b2cc49755f48f36aa2eddd974e734 ed038b3fcd801bb6050003f4364df32661a90cfbd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 c13e3de1e0be8d1f8e22817e408018c478eff10c 1491f51320f29cd36500f37d0b40b7bc52a5d191 5374f72e4d493485bf3d00ad3b0c3d62397ef50b49d36d3878300b9a18494cc47afe71a20b2175ba