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 w!4 a]]HOL-Proofs:threads=6elapsed=736.657cpu=1671.376gc=374.688factor=2.277zXZִF! &kF]ŗXf1-%˓S, z!ŧo]uA{DZX.f4vg]3K^=fȿ7h0@;}`ڍr ` W_=XލJ|GӶǩML\{J:]P0}HLT٘pDA%*1k yUnf 1*i>W2s}! nB4k+uj A>S tWyaPy3M60x1R\x9g'_iKZ`ZPQTw[Е`M}mV k>v 'BA$8)nː<$#\DyqyuR A 8UlCRܹ +Jv޹cQ nsP"|ДAOL%A8Z'i>To_,1SJ>kL].J'8jBL;nmHEXW1@X-{ C!_%wlGKJH>58ĥXN*= 6AK9yf;}lR#N1.\k^ة2:哤U b,(9NP7E~)>eVet ՚m] ISz6嬉I$o\n`Ƚs-mu/$\!JYBtyߙ0ʈuh[u`:5L.7 ܨ +SF=Ђ(rX( wN]RawXYLm"' K ˪T841d ^=[UJ`Yh'KWAnHi{̏4}*95vRٷw[16RUT|SL!-L;4| "@{֠Ej"j[u d_QƯdϳ Eb? 4}&|]똕su!/]ůR}T,vqPfKY]uT1C5ZP9.y3{dxm:B<ʸ4[p~ q >ᩆu(CQޏq́,A5%2 ir |j|/xX ~ͯWCaU>w[,%}~(M+il$hj%U89t-?Qٱ 8jCsYq%YᚮjP [߿Hhr|nrלe]ޖSC5fLՋ /xϱ_G ]y F#h"o% ~ @\6<44,K,2CвUx_}z>6#6~wS{T_켎sIK? '˨-/E݀6U/%{zDKUOM ?y LR?9H²A7y.utǵ!jF Bs7pg F)BX'Gv,hiLxkF)+ZqG~ldd!b0鼋:кa>IB6oI.njU ~8ZBGSlK.Et+wYb赃7&e ҵJ FEO)>DU Ԛ'-.{ug_#j{n RWFC~]hVp8&u*ŷјa+GJwJA@oT;{;a֬7dJΨEvx˨c@b<Ŷ3`Fyd,51XO78Q4*i{ℂ:b$CJ{O={L`ځsC 8"v ťc x&&+X@'҂{J+!oF֑!|WC\}|W>(T:iw FMtQ24-ӫx!Ŕǥ6uoFؑL"C%Џ'WHVTR狼鸄!p`eɼ#Y TA%겱uj *1RhG6NydGTɏg뗹pw{<K]}b|@=C5?PB苣/#(_ܹc7An;K?ɬ7.\M#c{#M%@%<1梴kGrFńXvTXqc)wAf `b\8Yv}je-ԇl,9=X+꡿lفZ?/ֽRnKj ҨKԨQ9k~Ʋiw]@;0+F3 !6%"K1aA4krpyEmL_fTEoqQT(8" ZbrB*/Ȁ߳jէۻ u5C} shk.<Ў>f@@5q&`mPʝ !MN*3~Ѩ209b絟IE! a]gDRzKeǐL…FW0se՗TEc6ib琌;Ļcϟ4Um-[S>4- J{vSa;ۢ"+P|E&ͦl}Wɮqf޻[pcR' I|q'r*G2N֮O=8 !?͝w;!y7 dҋ1SyF-!○Ԓ a|d 07Yst#É4U~iIKFw$`((~wkmIf,lp8*2=U' -VvuԶ|/=cm)RZy,A2Jlcv_; w|/Τ]C   ! HOL-ProofsXrߦGՌ/ WL4v߲ۋE*YkوGtC\%)@{ )M Q`چlDSV}d#+%^DBx+lu;i.x\NjlDK ͜{E갭M_?pCC$c<1 ~j{ta|C[td #-Dȝp;;GLvٌ;zVP˞2%FO36- ~!YO90:LP)3ygYï-+촪:C,m`w\ QMe}F cHc}8B,h.`|nO3RN6>E~)(ގQ ĕ=W2zGA$%􂳥AHxs[g;$146"7ze:}\_CHMa\@p S_uc݉REHz&M>7|ˉ#PX`&QA] V/ƄL5NMޯgry d[qYrqف(9)y)D#.)3#DҸ<h>oz䈝}\D8/#FD܆ Ok?b"?G2)6H&{X嚆[_40vxYV[/)/dtpq Mۻ2?dzͺ6nB}PCP [K|_輪w(nCY֙Dĉ Qoʓ Yk7C`nOkpLf{&翸 ʭ; -F1|ni_a5+5eĦXk*(lT;.GG5ؔ 7;J04 LI /P{rE{W#{Mq13c*[\ZK YmitWAEI!!^?壆lJ8PBQdOg&yNۤ YiT*B#HjM~ꊵSxA"=x &&ZmSٝL;L4$[K,irzBdnxLՔK cWEg֏ZMR.EAcOvvPe}Sȼ,UJp*n=n`̒>UiJH|H\ 9D(6M .5iEҴųOWyss!%?ƊѺ?՟qjDe[xʱ TXT`~hQh,|GM&c&3_*=Iy;>haW h)rQcdx ~*3~!Rqe/~^A`X}7Dkfzl*U ݗ6SVꂧuD>svqLC G?0>[PrVm݉Ӎ)R$bGx.-[W,h AYX%Vgqqz "O1/?ɣDζ֯6/]^݄r:\D$C6 I92dZ=A1"kX[ !ҶQe6_|lZ/v$ MF /1pIIb96xB4<{lB;N@S%\#VzLL,MF*-CÕS`LFXx>Ri8s6z#ˆ˥5؆QL]G H#̝xCi-}}Sz(al6U*6#pn">~du6ی6J -!,SH+.%)M֘SIY Dhoǚ H:u@2t+|7RZfv7F-HcWr0?evP /4*@EeK*S_SߘqʼGQpu ؈P #A%8@WDyԷQǔ*dh]PHg@Yr^}{׮{ yL0rUpKT3Qw;w=9.Iyg}zwƉ9lա:Il<2dZwvxD9xɟ<)uX?ϼ)qXuĹnοC^,N;YXeșhQ,j/\G4zr!<'ToGjy\sKZ{}C7 ;GV?^kDKq4&6[@O,TgMwdf^6a[ř\ /&'o;@K2IH&s*+7C}VBU>qbIHy'vce\ T33 P9*8Č[48-+u22=FVsLVpfIbs 4 :~>M=?2IYyn?c P,v.Kka*}Ɋ^(tϖ]dJ!ݹ63i1, q }'Q;6 [k~nps?MHEVe"VpЃX=}KڱTW~Q\d.'ԮpX|EHn?ȺC%`cm&C1KzuQw?'` ݱg-UwڍNڧ)ĝ}׀-s^Zq ]0]YMz1^̀­T;wNnPZUdG.cڮk7aƑˬҶq<+ |ӌA~Qb\nXm7#u𛞿m0d48LNDGȶ^@'֥xGi <~~i.4<í_#c_K1tJ66(n3,)+M,@.E#0ثL\<0g'.rMF' _3>>+ BRjڨ̺y)\lNW`'Fi*G4J褈 V2JJ$ROZVPZ}fU7ݶ:5;_g#Bw6>s0-&b>N("sr2{_[>Wh{uwykƁ~6JM忶'呥_=Z!r`Č"ҽ<GE{Si$F'_CX<%N"#"eSEDs¹Z`9JW59no˰[o39f+-؆k"ڹ)4:&0$'J迼[^ֈCa+Y SAix9X})UcJzFOqƻVjkpY戓؉ơWVy|$)mOcC~wkuŸ>cq[4"ɒ~*7v﮵RDWHNWC">ØTVDAi]x9雁hT莌{Jag_yoL{A19˽/j+7yC98"l~_?c. xG=J[$Rz\'ttm/ Uo)͟;@I;]=Orj6Z14 `ιNA\SѠ0Om/3vex1k˽Д+}8ь7_kݟͤhT0 p=]|q ;m5;}<ظ>"jBC)7*bu GN\Xю8<~;3hևdF6#zAC@-3{AJ̅}l\665|K'6ڞ5 pa> {蜬tz[pCد=jmipd9\+,J  D.v(XdKI_B @MjHlaq-q0N֔[AiTCR'%_qXپ;35ih[3!~XH!]v;8K\9걔28W*an:OJYi5c/Df y&9}iZPtg؀g0jY\ ikowOQGN:H)2.肻(vJ_#$])C[PwMxUzNK^c()Z7I51xk6oJ193w/;͔̌G͞ųzAwFVXՠ #S -e)ֹw641lAثx}%8 (xP*v ^4G{ NJt\D|Ə6cu=/&@J^jHy]Ȑ`Tɋ\T%ln)XxGq,N_\I`ݬp/[ҷrj?*ҳ|6>Jb<рh'~vfb7=]v`V'uR>j^}F}[!_=:]#I"W&濡 eϟ`(w>D8V~` Bnb0 3E])Cյ̀_/(AobMBd H*uAՈP_3i$:.2S)ZGو4_HqK Bmի9#emmF?R%ȫSv8;cv"5246{5AHvL\(ş^{%lSjUMtɶîRYAk+,*قk)ީ!Q?!t~jkԡĝ>*eR迖b<|=6P$h%{f hU,:0[LnG.+<>B1wY%Mzͻo* @`UnqG%/kxVG>ETKƼ8m*] % 9ۧMȗqvIu 5"-YuMЅSfN!bI'( RI}pvд)"%Ȱ8 v^zSn\l}ttbzdNbe]˂0m2QGäg ?K)!?\,X<-9|ݮGcվ==w;Tcdz m9Y8XZO$y@:&e^opm&6JRi2P~2G׿MwPs2?J3Z_b'Ӄނ]" g 1OrCn"bg2dkY2 @6, 4%^#E#iu5e0/mx+#͂4󓉗I;uWhj`#%`Ȱ40d fd.c5{D\LV3,Fm `~_/N&(3~nS&] C= s (x7à5AF;za"Ywf^ƜsD#s!+it82̡rz0g/ʳQ.#u[9ȼՆ闡Bw^!Q,KOXz§YHл3}|qM'@( l^z?I>ܴ ?zJ,Jb*|#XΜ=6? Nj(~;b;ߍG_"f@$%zǜȅT2==%O:x֋xcxA,|1nkd'~sPU1PqD+Μ0'8`XyJX-۰nڶ`JnE-qvlng t#,mbr`hƊJtZg=Q }ZWkd((mbcyÃnuM-YIvQH*,zt+ O,/:]Y ?\ JIhµ7EwRCYּ9HhP7nB E41 k?R,S,%Yw7>K{Nx,<x;v{@yƍ&HNxrIP_b]鶊QEU!7H<,z̤r3tO-sLOCp[c:N2Kޖ 8K! M&z_T,uRsRYEH?ut‹#\]&HT:tJAwru&-EԫL򅔥w*Dm"23xUK~C鈓fTp#)ҎY7m;z" {BQ& ֻs'{j~#&|L 3p\Y<|,b11k]u5Բ} YUtv޼480_ncPWyg`|*`: Pvo h@uCJ+q`byfb~:8κcqBBc=[wkٰ82 gpg .k@⵪#pux0,T[r5'-Ż?rr۟WI\%`> 8>X-dv &h7D|Vj#Xy Hl}^<6 wja|JLfvwfuvLnJ}t8d^˜Ec~u đ=${HI$W}~>갆_S{e-%FFjR]ț>Pڠ?^rԚ /%7=WۜؠllrFq 0fF@lmgơ!u!*yK `)|48Y7{5lJ<~(ϧ)2꤁udɽ_wشk6XߪPNP_V!q,R b0J`EuhxXta%C3&![;◈>]inkR V+8ȥvX %!u ~*D=4G7؈6fųDl &q@6 PtFOR ݩQ9brZs D4FM߁OޘgƲ>e%AB iE=A7ݘK^|4>0D IPl 2flCgV,1Yݫ\{+UK]^I!S|QdvʿC0EPGƕ#2~LTF 1I}]$#P%+'Y+b -LPoMtCLW%i-;;>9 Z; ׾֬M$?J۽݀ HLp&@Yls C ML] . d@܃2ƻCWFحV*^jh!C6[/=Hή#SxSz+7-7pg)bh6WýX(/aG%T:Q̀`HLp8G};1́ F %d?-=un4fG Z=FZ~NeA0z-c䭖qgeJ3WAF~cz#%ڎ@\ XӬT_!Fda@rO4z=]o+T+µaSWȜ*$( ݆F +|Ջy_YV yv-1 Fþ]<pQѸē9)P:2e~S-o&hFŃ1A<Bʭ#wc`N8&Ra@7OuȑGXkfc4(ױaU>NLAWWշG*B=?i¹PYp\1/I03Ie 1#KI>@~4W+fMnwtрzlRkRB /Vr&#-`b36m.`_y*~B2ܚ8rsXfQlux0qzfqˢ/2C4OipUMs. B0\Iω moM B?iRK`]Q#ZO3< Zzk6M7 }PmO?kEKU8ݑ7Z[\m^OC;Jmϒ "~}m5 (K8Jb. lMKA;HDC<͑+ {p^ %=EF m)$lD3lN0W1"WtGcnFCѶ￰Tc/璺H'ÍXTݞL24 ; L2OGImYL7YjXO]QьmXC :i풖yX./#s^XKYJzʏ $GBpwu @h^aLA PjdA9fy4GH 9Je(ɫz|Dױ@9FiM-!7.+:n`FٓHR),QF}Memq?r |3#m$bl7OV :Z8{qMi<&@Đ$U`|SױGUr^VΛ( \#t]`QM;kC iԏ8txC }^nivMdǽZq gtb#f)I3›UE4d `T*;3?|7,r9L"MGzsJDi{).I5R4'.Ӿ]Vy}U AǸk>7ァpCeC;e3 GdTk)^rzeSJS88ݖ8#8'\bvه7"B<7"㭿Mٴ'rfŷ(x.ȷ'gAaŀqpԯ'MD+:kUߋb%&gc4Z<'M}qcͧbr7c0iebBYK3$8`đSSCDcB62jOE3ԩ#RC@Sv'Lnˆ\E *RlA:x^jJO-k욆xsFby4 `EhVߎU]P4ata7@J[EݰWmY"QE ESf jʳ?,O !D@~=tD0Vl,%uɱa.e.OpGOŻ dKP졷EeX ,boez.C0ńXOl2;G#7"V4-ME)k)ZI)[ Bf`dAEouE3]Pv8X2Qd$|YSDw۔utC>ձ ́A-Y dr88CAQ}@0kv @,?4!߳kR!JRO}6fK3gaAO|_L jp-8UQeCn"a, Bʨՠ#o |1zPUrnj9DB5n̉Xf6xL'e_ (HTPٖ6" ,Z*@'&GÏ`_{.L-ҟr넮A Oh[crAR|:^(BDV\D+q5 i< CnYyJν [[#HZV`<\,+R\};x&>Vܿ}PRNAets!n7Ȯ>ss)RLpNٷL=D{tS%'iTܫ0ݧ@xMpbtM}X7+"Dp_mDBpY!&(4̴$fDC^D7踊[0om5 GW0@-~CZߠl4c$Oj"\n?tRN_}DiKbހh>/W R S1A5$iw m}ћxmåWnٖj`|]lI QW ^im}B앷O>_+=ɽǑ2PgPӑ_2R% @.W„|lZL~AE&qQuxա!ZxuW|`I5 >>Zw㛪bve%֣`mH;NE+ )TxDZj )~]P@xE%AT-bSƉB\ؼ!pܙ:s9m?'T|^sӉ6+1Zd+Wv^3A3ֈα =VPÇz02;D鲩=:=9$͒ B/\0XGup?cp˻G5 dnJd쌝w\QGS<$ s5L rc{at.1dPMCuYXG$η(O&tQp|XȂTɌS>xTܘG@5Q9Ԛu">Z&e$"cS"ah`˨y)}l/y8!?n&IkTk`ypJn-Dh$Pq.}Tnp:kn~{4_?&"EL2x_󞖐 /{SRii͹υܴ{Ivܠ7 '+Y\ PH/+E}E &v:1 a-+QSLە"R69J|oQut n @ov3@qucD(YQw߈MΓ&iX4)4= n 2:Y'{O |գZ[,iB4y5GaƮifoXnz7xSvKz=le ]%vd=Sy1p\c@\ M^Ui`[BM'JB"2-^"¢,1#Mu.)V- oZPئ*T+tA(.ǽ" Uϵ/n⒣5gOUբpʵ| 6^@Fk˔@vJoKS8r)F{QkVg;g@i[q_ jId XrsT\_;7y+:D$þv+9i0ՁpXg# S{~-ۙ1nC&@S%eNh, y@ͪ/gJSPo>jkk5I Av1BIO &Ojzw,C M}Iҧt6WfǎO#D-X)C·t^g+QGc7]p.u1ʦWAi7§Ľ:MPQ "f]{r-'CK0Yd"J*xy$N7Н`k s%$튗s6<\8Pݵn\zO9#)|Z%Dڧ 'T^dFbcBۣwNƯDQP-b~18y KlhqPH5Sb>E7i׉F_i5wcr_:g],ȸq*cTS>IAP{T&".6$f`[{WTWY+oZ6ڽ6y0=$rA Oޗk.p!7pFҲA+N!ox̂ŎCS|5asn^ "J,UhHy}PcZ^ gSV%.gX$jZEDN:tͷĖ/RtalOK>JޕHRc C8$!yUz_g$kBϥ̭P^:8ow^ ej*Tut>oAR4-L̹ᏋwGM)-Y'Zh4֦x"JX"1 ZAeuT: <[.>o)0K_}Ztq }6X3f8v&= d*_w8=4X@#d> ɭE1p?RLn!֑.rϛvQ#rπO>s4Y򿒮Wl3dű`UhM|4V/"v/z#BKm Ko,O.jv;̬%\SaFOp0}xkO|h֒$6Rs\AàV1\%ԧ<9˞+.;́d,]M iLn)=%x#~sUXhܐ F =d+j2+b6(r~'q0;Js+Ap\~jﮧ/[? d@rJ5M'3V<&nUژ%6uߕ9s89=KӰZejyN7vo[è/8R Yi;ߤ`YS HFU]:(2 rUW/T>PàN_! c| QbʇfssY$m 1jij4g pil,)MF=eO/iؑyVtA/,,^ 0X`s&|5FA 9"bRoMZ GsǓL 59O OzEM!U[Pcx'/ȯ-ϋjCyHؚ+^H՝{Tq8 ;"y8!L3as =H~nM3L-^LZZTTsՆ۩k]x1Oi1nqt4h gP@X cMǩ 6NDr%4rA!Cއktr sw5uDSQ>6N*TAXڀSB YD?JFo&`sg@_GL4P^Hc+~#\8-W:XSf$'sܮ؍7`zʒ{ڿQ$`083oS思 <eް U z}|3_S½%LgbmR/ɡ"}OH>IJ;) G8Bc,<2WgŬ ÔD Qj{Ȥtrzm9 sI8 4EN0[_"쭖U[-|ۓHEUbAT#O)5~Ϝ T UI7#jqq;/i m1O kCI*W)!*qy%)!bDģ 4`jZ)y$s4o*lP\S74̳'v,Z>rDOZzOyW!iʼoZdR4: t|LS_K=$GKo55f8|t.HIhb]$N~,5jg%>#K}[UL7v='IQ*1Wۯʮ4M,[~g1|ٲןQOQD,2ou~G EX96`~ovLHv$0MᏪ,g,Ԛ-fxƃ/Sb/'F2;O!B%|b[}fG+jjK&>5U ˎX?= NF]$B{8i#tӄI }H--k"$HjiqRC6d2;h[Qwa#gj|Kv~ΦTv羑m/li }@Υ{?<̝4C[4'V BuHjQHUOFզǬwyzQf>U>97%jbECBm$DV(*2>a/|;ҵ>[wBJęB{]kUcGf < + xv?llU0AVBd0rDA2#F)¥ᕏeIRϓxQ Cf譕Fh9=+Wqš|!~3a 虭,tyHXG>F‶H-e#{h |,M2 6Z~l;9ݾѓKfoxsְ) 0jZm3|"5\28eBv+Dd7h卺e,jV3 x=fWާIb2x ]{orDбw@;j%ZKnWxku LQh+?)`euT wk|!@yjLC5/7@v~/Kd[v=/IUfe+b%O0GJHY C`ub񥨥x dgDvD9{ hND~AX3ŲeبN1߃ PR#GM 8ͮ;xj"a|.{`}VLw:L9T7,^W_k]qa}'F ?}˃wt8mTcV=Nڲ/cۙtyӺOrh|͔TieX1 q|́In,!/,>3ZUS/@>#d9M"D҄<=BςƇ=r 6$pأ`+ ='}R(ۖ~9Ag49z gϿ+rT+#z]#cjj-< (Vּx[1|ut~]^BamJotT*@K < . :4fQfIkJ)3]< z6v՝W$fC"F#zJD[fr kYOM^kXM.C(*d*m"H 85~_ՖNA P^O5[YLʛGt[|ldVbxΊAC6 ~ʂRh!営aK"c_D4n}ׇg̎ κhDơgYZ7zXZִF! f]ŗXi%q*>i~a< cNYFwmwV$[bhO]8ʺo\3!xǞe'߶NmTaq,~v[i_՜lO{7J6wgo mxp Bs_uwwm?xx&"ܘЙ%(9]ACZ~0em`W313koY:'AC-)lRFJBB"ޝ|2W&EΧ-JwF  <.t;qZ9ѕO׵$hi[6(Dz0!Ιw:}x=D8-IR2.\r'>eRcI^^W-Ӕ '#[ )Ojgܟ =q"s8fnڀ&*{:su~}⠪^Ṵpmr6r]g Fk2j[6t/YD+#gU?C|#ֿld~f ɂ )Xw?,ؿwAFxRNMPγYWb$&eo݅'e4?wZiB{)Gm:Ԭ*-칌6Mt p#K.f]-W78DI׌ T?ׯg#o`dslL`Wؠm(~> "M =0fa,P+WY^~YzǬ}k)ͷW|V·ּ|#IgEynRaCfA&$*EqW;kq&dlٛө Eށ8sm0ADa7>$ ͂^':_DhnKP5Cj{9C]iXICtg_l@;vJU<%+gmYO"n$wЂ-\A&8BΌo\*wH4 č cv](k4b5;9/˜[ʐc9rCQΎuER<-{&,_Z"F3{oGPL{96K$_BnEkہ ~9 E=53"qiѝ9=(CIV{{41Y&Y(Nws<]4Y*QKSI$d> g:rG"@<ۢ@! L;zT-S3OI> @QA5̇mY/Fszk 0mwXb7 /~vCzss=3\U->_1''纪}KC,6Nd43Rs#+V:j7uP7be6….->]]p7ӑnsi}(iA+YUЪp\y|V,-Qe}' րUU%ݝ.EItލ!ul`@XntD\U xР[t7s#azbkiDzCgHQ6͚OҊ2D'q8`^d/a"øC \g[.ZJ||1\W;؅9&j(o{nZ` lkzz9w;t[zZud 9A K 3>'f VjL;R؃?055{YYMQd%C-6(/+wQX_{K:TX O "@Ea4C(3JQm 敤$bS}1=߳\ֈ0Յb6뇔CuT2P)IUh>a[&`Tl;]+So}Fӛ9o3 HsB OESs >FC7UL[oŖ|8z*(Z)]sK@K|/u/woW_G[R ~ڒ>?w^|3JSm<Lt@ݛASl`hEs;YIxI!TZK/tԍl4b\%Qħ޹Ұ? ]D-GU8N0x]g猠~+]fx9x͕Q,\Pjە5s8.86".E;3xS4!Cl> Rc:ٲBWմ:} PH.&9vyb,հcrS-nX7,Uh7{[ N雿DMw}ewDR("5KIZms/4xJ[Sp6"d( IkFwfɛ!8y,Qe"L#/:aژ*n=v, AEn,ƮԜG+q۪b00N]{`Ǥ4`,m_|7 *>DkMFxEEH$-\ocT£nv/8*$)n*M#\V[QuA_DGhw9n'/ $U$c}7mi: Xa=wLVrw=;Zle|Y^Fۃ`Djzy~S$k(CfYlZ\TƎeUa79 l5*l%._^۸":R>[Ӄ0MLy-s|#XO)`Pz˾7#fpwE&&tA6\bTrC*F j> TtAd?D˭gJ?dA܇Wu:YbƎ[j)Vlg_DS.^Vkqs$!ɍm2PA=X\PMHr 2s( W;uIL" ?&5,/c!3Fhu"X.}?A TR0(?hf@ ެjԦHUg @ȐI)[ǖpsұ\  ׉6]OTD5Hzʖ-U :z*A MfM55??nZǚ:AAoW! h.2?6_K:_Ƨz"sa4'(>H-IM|9d)/ rH߲Θ$Dh=.YcWcjnk&q'G*8 /0N4'+'u$A1*5 hwb湿}n/Yy?Xt8X%j-<: YR^5UZ۝MA)&XuB!Ơhbd3fF'%jC1^'79/c 7OVDq텄!̟zaLB0XlLY&Rv8TW/C~8Vy-|K|j1vpZfha9 HU"Y6;ΧVj J ,xXie8fQje۲]4AVa=qo*8QMtY>:<9ԐeMG{@9M#f/5"n̔҅] mse03x-N hhtQa40Пs 4dz8 41cg߿`G?R1 .j&#AyBK1* $D(! Kuȡ$_;[E\g>C蕲U-, ,N}>+ON5P\ZdKtt o??ҶFy"\T/&BCHDWVla~iaUU_K.ogVhFc3ZMd_3q+z*i☳t Hܡ64ӑcW=|̯Bk9cʦ=ݨ\Zd|}FR+wrg&Gik yq$N=ҥbxLFj؛QWcPd"C框䭴f^xF4OE(YXGMgݛAʭKjoɫ˼P$wx~.j҄%nne#.XrEO?7?1cvpi\źP0>|y ٟƤ07>ԷPBSbNHx4u+J=]{\rz(ř&wBZw]'Q,:[ٓ&P8ܿv'/d懅z,I7HdC7:¥Z /IL7`yXyϾ LJAm˹J7"HڛX Hr%<rW,s vw0iH%|ۂrۛƠ:$?'ne,kn !T(Vq &xec8j`Qoy,?KۻбEm'+[qB'r- !_w_}\}ng Grubb1ti:,2s\#v @ f6j,{W,7Lߒ\5$Fp]{C1տǶm/R[x)'L$gm K9xr-5+eo͑6r枵f׳xM;N5$ qY@1^LCzbټXiU:r;N̬ 4"Acp7*Ux{EKc z~Н Q]pL223*z>> W%541m|8F%N2 4$v!EM43Swy*K3K|]όS%앻aEͩgdIm{<΁=F:UIi*2!Ênɐh6ı͂#>||Ֆx8]uio`07nPNZc~E_Ӛ^y`c >^9*@EmufnXXٯFFfׂ>VuR8 3S+Yȓ9t*a$j41heň}lo[Au+J,BcWtj/ N&k 7VTLN>nVXm-rV}mffX@-DC9j`_1"1EMvVYr$ꌕ=]ŌsbSO.2ewxTsz9g裵ael +CH1ɮz ߫O~ٜQ_rxKɡåmR,,J+#"0)jAq\Tg`W- ۘuV30 R>Fj^>n;2 jm2Eށ躖!_ hF7~D$\Q33ޗb~mG2k@}ym+\2 g@=`=QR?=LA;fdɋ(hj^"q-KUqFѸ]KGa;žǯfUu /N/H=K z#"N|I=~ICW$ٗ72% :5v:=Pafͬ7fTsʣJ,)en)Z$mge{ڶ$Ν?w&/5̟$G5& "uWIb*--mR*1x[GOѫC0T[:_ߜ#E{b jIb n6o+]^c@iJLw9;r lk`\MLB}8~1qR ;J@ ,H1R$Gf Xf9R#P`!(&H pQ֠ؕ39A?^:,2C{CQ}xn"CR"]g s n*\gT7A`,ʀ?5jp8TjeK~qk4О7Jv8tc3{AzŨB@^M KxVaT_ 1P4¢EZ4`=mL {=JQPj$R͜yL, ]\~w~#eJ%`h"#~i9Y"GnJC!q n azxo-<<D9ss4**tPQDޞ,"fg&\ }EhYqR^cC`q` :𖠰rKV ۈ!XL$Jۅ=H|Cmtl{Umwr12R+؜Rڼ5vfge[]!eQ)1^cgl \y](D- HF/юnz{:y^&n%͸i6Gm' m?3[wf;V)) B!c4Kp0 u(Q~Ѕ bzT]M_Anf=ms.ć~i!җru~VHZhzs*Ƈ+A6pS׃4|bK$~@DHb{ NhN@&I(y@NNOޯB4X5.-Y .("]wd@ƪ# 3C58ۣ,Q=v M=dJu7z{V@w肛(FC>r39k-0JQ=>-Q"c hds-]"bTF*:z)0VZ4|.v~lOɫڬa+uGqՈAOxI@ Hiv yPj& k:hє=tJq8=w9˯FH$̳eQotNgW C=,]>)::l_ArIHXg"dJˀ(l}$r7JhQz9_Qvt ,GI/)7|9)\D'+Wn'3gGPĺdzTVJ=#h% 184#$.M@s*ug@림7LY޷-kAQr]˚-ʹr7@)Dpd]ϲE ]e6 Uft+qYc͚aVvkXFH^9e ;_R iͅ]CD]ESwcsY0űŽ+rt*9QF̥xϟ(cA]Oғ$2HM]%=Zsy"0'%Td#''5ACkXFTҮ3C r,cɯK'o#wN I;|L"U[we3`[3A4F"f1vUHzm}[R.=RW+ll:کE[(u v\y"H5u+7DNMaa-D)lު { K>$ql?!Γ YuSbf=yɊM~5BpFXǩ)CH?@A#K}lF9Hs6IOWlN:2MŌZ>b:5i^+9mAQ[uW9DKԮؙᏆihjsFLb{aϩRى~"?g m_^_ {pQ_VA\ix x 0 . ;!3Z 5{_xȿCS|Ot|kಕ$LiIOp=~}L ڹzlxb&BLzi D\>8+z"נ`3]|BuܽEc{~En(+b9k\PHAy=^Ďݼ1E7'zU6[eK~8BXjQ81>/EaL UV,dH=٨9_8~8x/SPZЇDVoxۉ*Q} tP-c'Q5`%&ijƍDLzX,-%ec]ϑGD+pYۓ`pъ!XdP!f]C&dD=Wv:a[l tV`n-9;$ƚM q3@uKGȱ$ei0{T+(MfY*4dmy>Q&Sڃ RF^cXvH|mXvg>ՐY8_ 1טgS>5ETJ[p[<;MxFPr ;ihfҼZM44c{PlY3;ٛ1x0AD* _T_V>]㯚 d"sfއ6ixzCі~DVջ$aȣ+aOD1Sǩc*S2:qiD|fp8G-ebr2,&q]2\-HžX|Gs퓗ޏ3Em#y溃=J0}Jb8k%^(=3IlDic!!(x4d:@:#ͫb$ϟBnE}" ? ,&ݧ7Hd{ce'>>v_).}W0 QLCZTy $4'7u,ংL+ dzRœ.9,Q\ [0P'*n|[CY5YUAi_UƷ$Oeo:/êF@6r @~/fWlóP-F) 7unMNo*cyA_+}7071xc"1Dș&FCBԭ Ϳ&\s4{K4سou\z9}c/vbuۡ{+( -N q2IP-P8Jgo}*h|BOs.5~L-H%/|j+0\eϟHs\g 8gm|*ORɰ|ն@ElRXޮmzFۦ4JB7,C&(uT 儼IJ-99يCmJ d5`u>~lR.գkt&>6c? H#PW鬤tiS_K.4i$\Pmy7X'W*d ^S?fZM ržmbnj3kҝ yB%{wK+P,H\KW\g*{,0b3m%.w'>`q85QtnH1<4B-9:G_w4H {8Wl|w]4Noe[ :[;'0,thjdسh0NҶu.GUiath.gy[7m*U$=ݴfSgY PHbij *֐Ps ]Wܛ)2g{bK*WRޙVw~~99)rS %TXЛ*P49ucI=)УD.e8\Jj.uIEDqWaU8"Vי v$IUjn(渑L sVs?ۢ_=fqlߑ8*B֍8R;O:=p{Po`z5?lH<UZRx-|?ENh=̜hxw`r7*s3Rp2B5eهKg$Jt2\D %nGJK1ˢ@YNM_!_zo6x(zndRwe.TiM+XE&TAJ'WIxʄjV*ǖ%h ?n6Y5B̠krѪ(@1:*Ql9-QY]0TbWFY*" רt"6xU9!/)]J{ c W=5e#rJ|G[joHA*nyWkVÄaC4Pjsx_<4iz--"5U7xb9ϋRG 4 ܒ2E^)#_V cx3Alĵ08!-S| _4d\3 1%H* ¥HV(8>ń\U*;SSB*}qDvi=Z0 A5 2@ YYƿ D@K SKL a`*uD*qQ6=QmF:PqX0zI0Yz#j5yTdo|~`oTSħW&L$nRl'G3^z9nr P K+ 3U8~՛RK'*}{cO@=Dduͮ蠌gb7 r~c[L~PdnJf.l/Dtos 1MDm3#0xṳ肊 R9s }&alT9ߋ[Vm(q&_^`++bG>.se*=8·%gl+wn[K1jxBiG*.yi"~CC h%S O]Z F(cdfhxAda}42yzA o{5&֞R1["eۏP!.ۖ`нa3ۮŪ8BH'j->sڔ'P;4Z2hs<=Z(mzT ijI20z()It܊hCzU1];z4zO!4N)f.ϡrR$5YǦa݈7UQP 3U"Q}գؼvJ0&jT˭dfaee6CZ I\$׉ALD2Hss"a6‹oBrT,L4#;կŞjuR7Ms#!;n@ >*<65'v`^EmrbLJE[Wrܭ*UiƁubvVbX ɬZ$7rZp] 9PZ( _A2xmO9':Q.SF >[H_cSX'g-XHC,T? ڶSSӞ&}.{U5pHSx!kYV-xsgbu}l4ikoS Z_B;q>/ Oїć@;8SѨPW7˘whO skD|ފQ JiWzks1[M @њ+!!;T3O;g3-No+jZkXR! 0U(ѭt#=ͤ Bp%J<~K.ap3؆~mw#!l?7=Egآ7 QMo$knq9+jLiLPI5n4r*LfeCBSsb8\dh8qf Qxэ,UY!$Rs {d\wHmidlnC=g~y tsdc84$vt{8CM~U:'b.>w'Qiv&v)m:_q]NN8H19dcEmYPi>) {Fr:&Vnxpi놱\2T_m՜ nƁDmBcMfsv_6\{ KrSeђ`&(#X }vh'?r+,k FݲwN-B·l;Hz +/ʢ/CpHzޣkñ7ʀg$%=q2J= qK 2( z>_`xO{<[C$!rbLJ} D $aeAd{{?%8,mON uդUշmsGi%ܺ#~H7PE߈z%D@o3S1`Ra}>m%3zeTd7D/0[ $H5xwPރlA#f7x`ɏ )ۧ2h ُ 4dl>⋣pz96BN7ó}oo&uhRn#T{s!ÍNgr4`Q!Ya!RNyRVfߩpt<}?`K+9{ %}%A1N6`1$9 &YLI~hj)%nM,ɫg 2U6(ƻ~`V>Y%E7&޼-'$LҴdG Xv7%?Oۊ>f`(I:)"؛SǘU¡!c+sau*QrO)  ˓? ez7PHܯnNmnu9I+ۚ+'"pBX22QmDlDl=fK%Е#|NRRY%'qKl9yOy- "7'6a$"DJ@˸DžmSdPE(E)01a@ʵ֔ sk?`PP )y>'zXv˿'Sʸ 㴮7tod;ȐK˟ĉfk뎷#A?.H]rtwwS5cQƷ k0?&[>IP {k$22R~`dFH]|[Fkh.%k&kbR֦!3;Owh1$m̹d G@vDssOcodtrJr)Y8;A3V34[&j2ӌ/HrVv! NB57Di:EЕ oܞEH26\Pyɀ2o{\Du:MIF.>шKnrh-N#grz{ 6ўAv'ʗItGסgY$S]N ^V5d. dWS'MK vy|>gO!8$X_,-t8`,*@_HS KJY1*$?p>tԡ= {m6Zw1W|hyhosl&oL`Zz(r WBN^͹Hq7`yCF >W.^USx8%߱+fMٷ25btZ )GYx:)/Jj]/hʃ&O?OIz.fᦡ)>|CtmU1jǂ&\-| XU 6![&+SVhwg?m)^{<@8'P:[5y̶fAXϼftY`U ֈv&>ߗ30^2܊>$emU+;2t sgL/WvpH ikoqJ@L^ A (r%n & Lf-zѨgUTܻaSk~G {IFDoBzSHiP+%(J"XL}pW&p+Qj㙖-S@0l@7M*3=L-G4U6n Uu,g5 d Us8@5y=}9f|_ ;)Hs'Ւ. z~g2cg[1YgTܹֆQ0|ZSvK~F <i+juj@h1USnX` ioZyQSQJBlHPe&'tΖ';?Dzb+Iuӗ~P ф~|f3;ljy~E fa2u}v% ; ^\khM7WaIgWBPlJaڽqS__1}"5#HGy 8uyhP6S*-OhzV}f +)/Y{'3Y=hUiݸeUIOovJ?V&@"W*w~)ciw <:l.e=s" ;j.$*(6KH.5@XosWIf l9걬 / 4_s>< oO[{,T`dwSoj=8das. Nl[> n6OIo0$\e[]0`wq3kCVMgWf-~Td+Nk>"eub(F];&6lkR[,p҇8j\Yq`#eg6dpԱoy,qEb7VTPC[\e¼ps[=RwJ3$g)z XNr 02}t!hQR^ك`|X *NmT;#څ20I'^[mTF, Mo+\ P\)vD.6Y6+0ER c 7D"&G߿?LjE5F=<1VdY['V> ~!w3Y2jhx ڸ 'D8QHF=e}R.?Qix&;+r&5WЄEҍ[`LXe=eTsVA +,Qlv#*hoWeo?J9_ʠ9.h$DQZ1 3̺1[t2K frh,fRU FPɡؕG>>*Tts.TzedLR1Ͳs-M%W_o[}7KaK5Y7 /Qn@6! EԌVEPV*;q !a~Q1*G ytt|#+a]]4nLH8+x! /4-$Đz$|z.sX_Eaan!p?"8_Ǿ,  -($疾E 2I'cSvѼ.g rPdHmPm}Rw(yeG>ju0҈gZA[}z, V]NJ}%5qÈ4Lg^V{#Eꆜ1ĸtĕ̝RN}~Ok2;[JTw< ~=>)9I$ ,Ah(Z! PF34~ŌɬаBL\ 8&`BimYbc:RT@A wC-gK*iFp>[2OwzsP hHܽ)B?4e&b14\-ucg&zSd%zS7xEP~xy,Jx0swHu6{oy<>w5-ILq6sv^;g;WʦV(. 59XHϓ2ɋJbo8dRM)1ߦ RjKzi[ڀ?֠DN>-#}/:+ p݇u֝ MjH.J&tu ϳk8%=h_~Uc!)U傆=}ѵ\Ab9T[n뛢m:3 aR;2fG~[?0ݺ3ْ6>Y#VE Dp?tu`ùLrɍƦ7mv[?ex rsdDL{_cA/nԵ-Srϥ$G!6v\\y-2)%vD-#QЋ5> :+/gBlpß .V}p3I=?CKnȍ`|P9%0/~iM1%\yTe閹6b> X.!L]ƣI`_K|*Q࠺FV&; .9jCrJ;pAo"KH='w uSme'W=Dblv?Ɩ]'S lM=b YH.tK $<-feM_#w& ??ޔMTX6Y|]ß;HZ?晣Zظ8&K; 2Ɣ*#\LصXQ(fl( o7*[>~2I}޲/گ<7%UjߊУVUYd}.n,g0c͞y4hj_ &p6ۉu)Uq.S&Ug;,H "-"V_29kN:ZM Ñ7f ]V}Ca<uv(Hşd#1{B73ri EpȌ~"Uy\1-E /"_Jt].G0p+E6HY-hRf'LHAJ (XN >]A֊" WGH@+*ãT5nWV[.x,M|VD>`-iw)W҈SZ>da[?]KWXtHhͺnԵ@;gm>ֿ!bj(l'6»v 1;&d<ck暓.n^M۾vZ:=~0;^7A[:dr$+dώPie=v~ Ua5wȂkR|D|oYwW42J3Ls:z^DAy54$$1#rmFk.5Pt }i/DnsHK[M)k'}ໝFmLKvF^cfE%tUM2Cέ6Mt 'Ld#ߍLTau#̵bS, 뢺|$,jnloE8=Ok)!`^79Y%g,?wqUG9q={/%|Sd4"Wy5~wCVnѝf(*핲1@:{F-&+ B6Gf^#smN;0 Nhl7CJEI%;vp}^&Ϧ֑Cʱyk)/;a<*$g Eh2L6UtyF=6>>#ʄ'TR>i8PCIX68"̎PO$.<ƿ{uj4QD x漴f̪\4YIrX_W [73);3 @o5OcD_O' L0-;۷6C?`cV1ى O1]{{uj٤Ꝩ GU {@O͆A)[eh\t]IdL%6DTPѮSE1Ⓩ`)_RIg`;33O ~͞Ub:*? n2%w<8@fz R%[v{xjO UگT C\z L/`Z}r{})# /Ӗ͖=[raZO혺*K<A-,zKS(7 UA|6Qy#w1 g璱JP6T/Q.⻹ZZ43=JeT}+8 W)h3KA^5~%Ō ϷFJu1xILJH_FSt냲)O&F\p>Q<ձS8ǿ|š")G§!^mmgf鏘M}1@NFOG8T,-k+$&Qsco= M˙|́Pnl&R;x_ 05_k<LSy.M]Ff)^,ͻ˨QC@.9rk:?tCՁ}U$YYo6r 5H )QvLZV)nf$`9L5{qKr0o`Le6+iJz[=mQӜ(S/N%SIqdM.AUf+DyX=j``;p`^z5 ;@(5M2!"ZۂcURpKXr22f:?GkpҘ>HGHh(:6i4ys})țȎpߗ=y%ڟ:v =`^^+`Iˆ/ʀK[9e0@ `p&ه#=z89l[h}K1p&Խ)\Vwn9 vnWO':i{Xn!]qτaܹ)V|bm6%R/iݓ>\ nc@༢㽌ުn i6!Rz]LpIgPn.{D)jldene !sTɈ3tN? P[<.&Ʃe49^YJ|f>wжD76{ǯJD;JLjhK*l:>c#7+]Jq4TI^vI+h7"Ea'7Xݭ? =)9=Sg;58~zC1&J'KYf^`S/+1eԠZSAL4Ai}G¶z9őQ}[Vn*^}sF 9DyGV/P @Y q GQ<Tܛ^΄QoPjճs*i.XPݮH4FRPg pg<6=ڇ _+JVӒݜy φmgwxM"bG_xV>إЏ 0mDdҭ % ,94(Kq+l+(qptQ|`u+!n/! flkUdk y B(4Dx b}N!4.ùQУ㢞Pᄻu}apa>(k ^nNE}I钑{3/tjɚEvʆ LWa$iT[(݊b-n̜f%1&{ڷ싛[v9J%X)J,M<5Qқm["{= pˆ µjXc*c*Z]eCT,wϖVPQ"x$N2zJrh-d := 8-LP7PnbXIKP aW(ko)=Om\9p˅S?6mH >Vtʡ]O.rld\B['T\ s_5,6!iQ~m0H4vA{!an%İZJvPΐA[Qap QjylH/4*G^D6k̤OAekݕU#g ! ,hبWd'IWTl.5ޮu&j.hXOp8 P -jq,tף.[ O1qL2_ },#AqzĞN)RctZR{iZƼz3^UВH21O<?,.BW\i6Ӕ)5/lt;莣5z2lH_nJ29b%$-,|A)*o+m\@XCncX1Ka &jǏ浕v/8fS+ š`깻2غpے7uJtNQa.W̬h.9|!bRVBag.:۾c7-j ](*1/Y;{ٽ,2'S_t^pVdYUBJzrUmpnLoΪfB&P04. ί 8КwMBfqy)1J7<M[An/go]SVұ=)rFAZ5*I x46x*VҖ G}ס/LArܭ(&T&5la C&ڱ$)0w!&+J+p|}d֜5[JHJe)Z hSj4 -^SъJl^8[A&LP[zO ~ߣG .ڣF]Mڤ#Dݔ0cQ.tW [g:j_BpD9.[ ui_TH_ ^\H5->|o*I]N2?WL&Pә67uRiIBr>E[L|BHѵ8DQq["/Jpz,II-מFo78PDVORi6DH12#3_3X1Ng9[s  SqRF.A]or$?8i'Y8]nM,#Ϛn>Absy!Dpx |ɶLj 2{GLCBbYGq n?<?آoNyر3zOM()6/Oz$, SfY2ȗӣcFf~@:_Lldžm&|dvf2J 4E]Z2H_$r:X%?^ '^JkQF=1˛%ƒ}I;@(gڠ8z\&?gMs_M }݂N{:Qb*ŗA*d=;܄𻧍?ELZdZ^%uiS&v"H_=LtQYj&v*;nu'>~Y^kTr+1`"E1 EScj>W#>!oohoM=̋2ms!D(. D3{0u8bT>/x0eb]OW/bX{;!q:2+>b1fY6Ya؝(iguV\\ 69Z_Ag"SWg3#.;qH7JU~AZ%8{s\M+U5N.aTitob[Tʽ;Eڡ/U,(y#:g;> bbH;ף~h3ݜG/dT{hO?T D Xdf:a?\.,?%gMt~Ҳw^%Xa'4}=' GTz,"Ż8LPuzqJė/ x"CFڦxlEIRʂϵ0Cfblt(JƘSΆnmBؘt-ʅ" 7{pgj缗͹/KTzչ<qf>Dlx2RToAJBAK7#5\/w\ UbpC|q i5JLgqhe. #U 8ˢ/ y*Xw]`uWӨԣk.&)-}MdSc/43<KTK2^cZQ [=.D;R U{CQo7H-5x(pܬ`ztKQqg̚4_+o%= awYrα20%hB|pU)a{zTx L J\#òW+m91i^.?$1|j /$1_@zp05@q)tOP[#OR JqIrU5_XBa޷ ڨBv͞Xzv閟AYQEy~Trk5Ho۵<ݗ]8AVz{ f1$Coب;E21 &㈾dl Q ɴ9n ~ǣg50ˊT&:J5= >[O8b\3dž617~r#E6Yq  )>|Ye'|MhE*|B ub:79<?ӽq1,ˊkl7'ط^D]- eo3' 䞛|id69}F(1Oi۳ Cު'rpZcKnCJ;v?,2';^{ !8&4,F/mq^8Y)0`WCM[/Ʃ$7]5'ߣidw~iiPF\G&e$^cN̖Z7CYzAĝ t8sy)< -FR\n g#Ҕ.fE')E:'$y. Y7 ->E vDGWJ!Pٲ#Eˮ 'ŔxfcsԄImLzi.d]% 0$L)^ xp]y=J_gi߬[<_GQ}e(/ǎԶD恰WFm֍uץ+-fJ9>N횥߂j|n9Gqjxo> w#E[X2Yb0 E|x5t4h 4@Ks *()/xol貓Yt{3 >`\8hiKIhG;ܒc 6f$lʜ#3؝yUk?""VBV |71s/Yp|92;HE 1w-% Ȋo&ec5{kv}o"2oOM%=ΥB{ ,οܔgmGaF7C ۠s]iX T ~a!GiLS$9KSYdPxr+~6 CJh !75AXt4Ao}^r f2M#}oU9r3Ah$qxLL2 5]^^4Dp'zϩ'iI_3 Մpi2ǁ/~GW,M'wJypfCAˬbT&ö($4m\wU#r,X(quI)O+f\ԞG\ams5IaSüݫ'r0iN v)J =@ IQ?l䇣8Ul: Ј"G$@qH`uۈ!|Bc֨6O嫓OJ 5$݈0lD9Xu.|2erDsi% 򶪬*)0(ǩ:7 .Tfgi' 62+Ez0aS7}rQ~}UD =(g9:UU3^Do7meO$ځo2mwq1[Cɒ-Pr̸xw+#3x`?g21 ̨ߨM'89HHߤNW+R@:bdNeMS :NLUAU@"< pH_t#}1Lj/''ϯ.\m{u c*23_x=O˝)R6]UP{!iճ/ $X+jM@}]8SjaNnP੔ rcU9;-;#MG