SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  6 6/ <4 ]]Affine_Arithmetic:threads=4elapsed=314.795cpu=1102.228gc=73.820factor=3.507zXZִF! r!}]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5HDžU &]״2%k~X/ɰv+B(Jr~t4ի?Hk~nx2|Nue'@r-GH9;t5njMeΚZt~Jnf6zVNgu+m[c:wћb527,7Yw @UPќ3ցG%bU$ߜQ k*= t2Jܛ5x{aX}'.ThgdG'6oTNw337/?c?,iCܠ>H=ny:giMǝuO!BX3 !:fO}Ra|n(yg` xJ+;bȺs"QX3Xc##ﰋdrp C1+-ֳK\q]TE53Td![b?LQ8Җ8Z \8uš, ೞN cT / Affine_Arithmetic 00M/O+ Affine_ArithmeticNative_Word.Code_Target_Word_Basecode/export1.ML7zXZִF! 9u C]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xF8=DbrdWIaraבjKn fv݃1Ѩ]|9rma#0k :c*dA&JvwxpJ䠄X FG4 O+s_ޓSviIzYޝWiY$<#Q}vu$rXtl61CD9ky耞Mi! ~#/IGަ:!R/Iv&_?cv^-޳<⛤}s.̔-}v&I< aG8}#W'1lt|rrN'ǃ3T+Ւ1ۚ6lo4N dIr9#, 9p0Tߜ89x:pۅ :uLVZEnLz! j*9d5sB=Αs)>(Ʊԟ҉: E8UӲg[ǬF:^_u$9H驱x̀X,D2Y/&Hss4, *+S\{Ό쎋;OQA. $6:4>'!򁥤6uCN?tauE*sO$Imt5T?`i28(ӣaBU#&FSܩ(kO XR>#LMtBl!vB+\<=?7*Nj*V=HAze_1l83 ^$xEZUGjuV6NAHѳnZv~ N#6vxn*"'=Q"ˬ*2;@x~b!hoSqWHCLdv+xj>΍4r ]e2fObKNܛ|=Mtg@Zedm`z@UZH¿"~"- Xΰ ;-#4ӉPwQʼn$ߝO 4pչfJ*zU9hk9x懱+`;?H]٥g]0a0Lf1vWBk7I #ȣ"TOYG@SJ2 7:7 0Šv]܍DJ]*Di*X#ӝȐ(:locBʃϕ3\YI/=UVG+?u&Ù*E ->Sr[Ħ mvBltl,J>{y+RgYǪ#ˤb+c9}cI%G0j8d"?E[X6W>WP߂7iE7fI ݄dr .d@޺Kң16~0!YcPW&_\!I'b"Vsmvwo,3~y([2,GЇohN#["Mp&%}/Vh|tUYjXK8`g҆wXhGbry0L],ܭ qn<M$( j^vcmzPBTsaw9@9'z!)!d4f",f{M/jL ?ټ-z!$%j&K\-$:_*!罵:up9Cٖ: xRiS8 0uK:Ѽ߷VQ8N҉RPɛ`Ǘ9_̞1hDT8[@;sH.HNWr;@ކ}O iyZhGJGA:DZK.ڬ N84y{[ l>EPV|G?/28ز֑ h?Jy|a)J#>P3NcW{^;rQVHCA䳍ܴ߰r %AgYZ F/O+ Affine_ArithmeticNative_Word.Code_Target_Word_Basecode/export1.ML+XaR^ď1WH%E,ÊM9.]8CBDR7p9T_O#H=)rFüJGP".$CI' <F?rz]Y9ƚ``p3d:8):G)˽Oeߢ}$p{I~XY -;W2lOGXaYżtTd?3@=Jݴ}ݥωMd.S-w8[l6GHƩD!)vTC+ r]eJf8sAop~r;;DW'IUaYO JR4xT1?|'>(ï2I9^}n)N J\W䜌.CS>ҙ'!sxvl`DOq7Yz yU̇o ܣqq?D? Ƿכݩ.eTiinyh%1%=0iü_a7HQ:/?+:" /2`Z{R}YftT0/䫗q=HJps~gGhЪKW6ƿZ9E;<*gB10#h"/ e 1O_2grsDԛk0`,}dvTS0JR+[.&SeURfQ"PYXqY[y1,ыNdȣ!ݶʤݕ)}1&#(&p8nE!@e-&@moّLПTʌ^!9gO :(^oIjBQ꿂_ xYÎ2yx"C {ԴIJ+֚3CQHԕf%113B`GrS3m2w\o}f%]. Ƃ0\r~Jw,׵i%d9v:Ge\B=4 ±oJLW ~/j"Z1/[[N1A"ByNIlhH1uDEV5b;ҼB C3\u$d1ΒdGX:dg!Ծy(ti9rò-cp@N ੔(3M~jF‡LkYfzޕ%?L'$'3H3{`TUc~aI'CH`o/< -HN>1WEXIܨOLՎoW9d©v` mR@Ӷ; x[r`0 {Bz.5S4Ϧ駗2 T/f+gUC!p(2i{[rɾRËUtDIɦZp'㰳SЎӆvd|{"E7¥Kc>ŝ]=S/篹 *dZrgpqEcF%?f\%r3|Pu+cJbEŇPpBcd+HRfeܲX,ui~QmA :"ҦIn $AC'8ھG-@kXܐD!yL׮]c#Vݯbke6u7~i t7=" LU63tVEOw?K=P0vLJpsq+̢r6stp(CCޕAe9zЈ<.v5!1Ї2} Ю @.>kWOw{_5H8-ܭ>~Up Ū "W3;|r{ ^nvy/Ů}XFt L%wX)T_pCX1m2 MM)FhquY~nv"VI6ĭ!IKqُ~6ט,@+z+͂$i%-dn)z$z=V :B|Dlאy/s"j/^);CD5|BiSdzJŋj9l<+H]]`PHą@S(נn0d{&{UbR}c&WY BqG_|5v$JǛm@ /IrbV b|`M1S*pq8'1`1TP*",5hp #AvN=K xcݲv0'{`|qRfzMWR2_auAnl@lDx`tVcx-|7Paoom5ݼ)TC9PiٶJU0X Dܠ#MPw44X&Dz7[׊ݰy҆x(\l璇=@ 8\O/ó6ͲLfVRScr$5}yl%Bq17 ji@ ~Dt@IYdK(QyŎY+sL|> aƆQkSZLct hCP`Q%~f0q@j]yΝ$ȅzO &M='{uPU W\ aˣPyAf/hc7(% 5Ba` W*c%P[.įJ H=V-?j+ѝ ,YDVVijR8U~%Y=A5J2C}?Pk_UxW#-~0#M8ߗQ*Wg./e c\c85e?sǢ'D<=SC3H d#%w7r*kpiהm%$~G\rؗh. ּ?-N'k*V)QlT<2"r+FҠ\ұP|Hb~+B^$ Xc1 *&%N͛bAc< #fԓc,G:a½C'1V"HluDYm>1;Iss_s79В%br}#J w6AU'đM 'UzQרcSZgI2Ι-/򰃶3<}4 rX77Cc:UVG(Q@(b8\.ZWR*8a L?/RД$>ܚl%9k/'K_k F14|:pAjp`ΟypBg|i .9ڟiN;6 1\=^zfDVcKs`Q&4I7_ÖW\e:V=_F,>mM摋lk: %'^=.t`$33"{Sj>ko ιڨ].x_Jpk Ymg1=NhQ2s`pAi_==Z.W2/#+Β[(jy8a&q#`29xa,H }'C3# )Hegzh-Ҝ3%کZ1#t~\H24&л[#lj-K'URcYKNj57k>Jʽ-)ڢ#'KL6Ӳ# ٗ`"y76Et5LT?Y\̅IC[A(›(6vI#kk U<91T1EHUE:>~J LH@@.85vnzvk?ηjĪ5`wqKÍVwYg2/#&7@P4rY{4rrreKs ܨ:43|V9C4^6*ڧX~ o. ܌ܞ` SFHF ;c.M7X/'cB=&yp!(Gb䒛z /9$l0}vwɠv,0Gx}I 傔.m3"vC̟=,Žn- YNJ.C)! yX&ӆoe6peӖD p¯"IXz`$SSj 3XoҋjSQhZTPOdM0P23No1[5Dy+#XSŹkq)"cz͆E E)J́6;06{Cp3JGa=ꋊ/kEU")QKEKB!ϛYBk.'͹eq+I-&@W> ^PG0W•U=v08ne]N14m!R/a-޲;ISI4 5QMo6_SY\%qHvem&Xq[mfw0%[ή\9sGQWڅ[[-!މ*wq-*ٳ;(b0,ʑ@EQs@SK9v{.s,DrVޡs# Z>2 ė 2;? JF1h 0`RW`DМK)6 %l GG"ZiP^qC(ID)%fQt 5d6}MB5:RTg;xdxS0*),k6j _td6/8kPE ά!ϯʗ4@&(5P"%\q)m\ % gv']6( 9]{d)OoW^{6V$3SMyw{Q: p9]ŔZu`f si-뛌c:[D2?wKM+EqAm.(kN  y~؞eX(M^ĐCgD4АQP%cV?wMɵag 91!:˥C@!ȰMs'_}) #BSrl=8za,5npE;=n;"[Kjs.f ")Wb뚭 ;;d᪃҆1g#Vr+c`ibXu@_U_u!F7a UW\,W+u.ԘkxMedڐ׷}cc2&2׎N7QTfR%=ta?8d>|;:3'$fDw]n˹> p2Η*dz;ﯼ/@~Yb/$ ]59%V22)I&̲;\Ks=gF圛Q&G^XqtL5b;F`Zh{lF(v. JDKsD_6|`NDU%x+4;3k cZ0Jq}ڑ|X3f~2?=FukCN B㞘gdI)R#Gհ?fC+>F2R f/W27;DZ~B;Zbl#.~ȋg[kỗ{3.#,E}~m\\i\CE*v<V0;opٮ͎~U"/jsEIBG׋ZlJa8CWgYZ7zXZִF! W]ŗXiɟ|E\Ât+.*aphG)%uG:zC~EUUdRY}rIJcQy~27Ē(wotD jDiIz>S:nl&/FTZ:g,9G;a,D~|Slz[ p"ѕ™ v9IgnNe\Z6~AΔ/$U3_DJ,ugE^'h(FrOX|% ~CmUVֳ~`î~^e" jo|j~g%7"j? 'W.+1ceTHAE؉hVvӱ@İ]n'԰%MFG(ьXN"0k!K"co|=$Ǟ {J:R\ qTBw˥翬MCVP@M Z| LXʟ*)G+GHJ`_:6LǠ25 o{3ؚrf xu:9OCw6Z ?qMml ^;:ba?bUuѴcFF[)(Pێ !Jm{&Б(ONw_ ?t( $7O@LζuObH1'{ L볉_x"E>Z^xd藔݉6婏j}#z-D%M1nAS`?Xcö0 պ>_DJQNؖײWb;7};(JC&YE󈍀L fSs"nЅ4?yY ZlydU<-p8ێbpXrQ +\[e(F$T A9;.-8C=3wn"{Hc"ӹyB+t @lc!um' RQ ,CT}KYWհy,h~γ?L@o1K RD"2Nq#b M%7 pNq%&8,K@<)JQdxv|?%0Y#5l+Y7w~~x#tw>n jg;RkR'@2PgV>y: I+$< JvW7V]f,4QĔ\_zM.ԚmMAs - &mgYZ7zXZִF! li]ŗXi%EbݕFHU4xs::PA)AQ FʓO2sɱ;|;퐙\^h<>ДqEV.>6}L7DA| xQi֡;Xl3'`qg ςĺw}>+.* -kIlJ Q@ |"liH`RËLS3ݯf֭u2 YX^(G!1u^_Rc(f"i`bx1!9EPm5䐚RI5V?#5Pպ^}A6Oޫkw ^!m˕.)HKӓ)#6ʜg s:6$APp/o0-8je RN& $De~TC2q8Z'Wp%;D {dDwZ܌5pPF񣝝%Z)cO֪Dg}? K  UjQ٩8H&oBmoD?D2ђx vD\;(Ʀog܍{7@E;H"~ Sz}0&R4N+CtȐdžh=}~n7_fe`Ynmqy=5L#?Ά9ҟ%{D2zc_S^F ,tp u?Ka ה|0ᵇiaFLq-5x%FM6F:_~!NCVa?ɉ؊}Xxa~;@4 m3A Ef,;iIV6< IX{Y@23uQrj}ʛ6 6 +toS;^IDܗ~9&di/adblRihA&Fœ#(r}N +yfOW}UxZ11{ohEHTϾ5M6 1Ǒzg$p2~a+V֬-dPmɀ(ZfS5Ul.P[⏊J+EWlfuzE.{*(Cۓ->EuXָGLFcsqC6w*)< ̝DJCMQT ɔnUM rDbc㌆EBvE\)elI4WzLJ DB[;p{ *mPcV^mU?) 6HR|Jqe=ݶ՚S" HN )z-.w;rnxA  ,Op(2t,|tύ^g\ cV="Sav2͈i_gFb ͊EtPZC> )ԃEdwHY$q݈^g'z[6D3RZXzh&s42Uh`Ho]aD.K`,i-g=9MZ!GC<r} a8`~B*V)sh`|R񸰾H}= ]vB]_-5`FrǾ,,ϕcBrk y5&T9mZVO!\FJ/!(X G OƊ7,l:Gsy$UaTujY\Ydz)!qL4ۼߧɓyj 6yg!λ2ZLÇ/hZ!j-)X+T"X_CXS1Ax E Hd &ѹ^_/`$*)ԀE^_0y$iw2!>u61?I.m5I!)@8Fp8YOЊ`wK`x9_mt)]'"$jwhAe}*7.[Su~kwgQigFv=+Q!i=."ۊeRcq,ڬf#1vwvBV,T5p(C/0c(I*ܠLU.ov~_ ɾ &6 {aYmܒ^B>Grc;CSQC d - %}4yĂ?|09׿u$Xbcoj0(+qRQRp#f2o?]mGߪv~I5Ӡ@Q!)ӾwDC^*FNo/\fVE4,*^]K"eK,݃ Ɖsc ڨsx*o/_(̅Mli=bkF kJ`:AЯԋJ9Y~'WH"m@R_/} #L!߷1ˆM KާH(63l85b/Z(5At55X= Ʋ}~j,`s/+ŞثPd~.Pƹ pzN2%Brko Lk Q# V=-Ҋe#Sq^_͜cE$+úOeO40_lGoSˆJc$% )@ vh18ϙEN@볜a!܄z>9kw'ްZ[~lRw{2QPdJsF%ͦ&tS"%3&AW3Iv #:#zTS+]J,9lq`AS W l  --21 ўk$wjw32i]RaMJFU~Um 7]m$Z`(7fü2qNS;]d﷯uI>Q^o&4Ke cNk El*4$`jԾԉBѤh^^zI'7l֪%PXn^S@4 =&+yЦ6W2 4evb? vyGazrw> ʻ3,r2GDTHUirt& Vg$b$0l.ؘ7ghw^6ɩV_Q,PMyzӍ~ߊ@& ;=kG~ȟҘDA ֶHkͮQP$hէ|^Iw2ˤܯgEKa4T%R{PT&զ0%S*Tυd fÉ"Ҳ 0!ϕrf r4 T?0L1_wK]\l]}ȉ;6n:u&˄A%|L?1>ƆJhN̕|뱪0„ǡoH<&iaEEk'I-iN݀24T2jv֎0ewtMRwSȲ@10'?h.FBk`u=4<1ԓ:Ppt$ vu8F?s 2~~&싌$5BI+z'ZD0L_T^˽x)ˬjVZ6a&r//:0__ _/^@΁7J9|6v\媖l<1G-K^&SKۦҲb~hX{MŊoM yKA*+|'E JEš۞68XUHn6f#\a EqPQl n$ ՎXNfyGc|$#(S O\vߑA䯊8نY03,Dőp /g~gV r`?la Xa$臘ad_U?sÑRg~'/8oPX_;+<& LJM8 PP휆!PpGIL}Fd h b ]OE8:ܛ; 2Wւղ 9&ܝT"Z^;]XY/tT\\ʅjEz~S>6T\,GG>"똻HZ&bpP_C]Ao/kɣVFC"cVd?u ~c>o6xAdAwdzg$ 7lK!Si^$RB}<d^q@ϳHv5?D{s96,ҭܞP[ ЍH˥0x?<]o2`5vڧ$L*z kPM@j#?]%Y{! wŀO*@ON^EP#E3k֚v)n=XƤѐB qch.6Lm~' r1}U;=]"ݢBVcyCB^R ?9";IdzYT?}B&c/qr,R::nM OTRU>q8Sk|:`<>b'V%x>(XD(7+hi:Ye!w%<ܚ W\B=`,e7v#ǂͪWA,}p$I>HmWhoP{yc)V(Ӯ/"C(&7!t6Ɂ.Z0t< ->Ӵ{0zKz^Cx!%Buuګџet)B 6Y#'νH2t!YMc+,h|  l!sa֏UK!Ќkx)Iw$80ſrŠ nxURnMԊ CiMz5OgcSY !=T#^/@L 6ey~-cR&zs[Y!_Ϊi @ )JiI1!QN7Z ?μABp۾[Y 4&j@c[2I{3o5S~|K?U\-p1sbN.zM5YP<_/67빲t݀U>kΨIQ"P>4|˦tnV"LmbW4DgTg ʆ]2D'ALhsrob::U"ʓ[jM1P'$> n?:Ak!lgVTNL+|#uE}Chs!]xb&α<MYDt yTJw,{0Wm,Z`h5.{ˣzitC^شΡb?7&/bu޸8KEt}@o)B]q2ۘ-po 2VVLŷJyȰPC2fJuR1Ն|k )t$k|\7 Ƃ{Us"qci /M!K |Ijj-rbq0rѥ#,/cR\mxo5TLZ\7)83H|3R(K%b[ :KhRܢy5`2qCEzR T|()Th]=}oVHi,yZ|^MJt% `~ (^GЃq~2M ՘g4}iOX^KbNfT$h9bжeCSVxBNR0^.6 %Rm%(#%~ĮۺðN$*-@f?vwTEFлqODo`Y+(pw\K8z?WX-76QlIuJh>Dv$k)6H׻!A?UKܔWA7Kw+'^=[DʮhC= Eۇҵ#]$Q >ZapeRͻUI%NJMa8!te('4ˬr4}RhZXxe » 2~#* pr?AdAߴZܝA-}TsƴANbXd^0f[WWlh}2g'y*W4+]9xv`J%{@bٴ@??=ҳ Ȕ#eWkaPazif/w˽֜!Pw{Pl-n\ҟMfOÕi #/@O,e=O˙`/^#2->'wchD/1%za~Pל3Kgm-էշŝjӑ5ZqSty+~ @w0kbyzcwRSD ;ᡢmD`"3v j^ݪevoJ -tH' ֺ T54Sxrh,\TȲg)ZD2C=G?:yq݉0e%w0!:$Kf ݁2d0qYxXe[K`$ ,w`JR/+!,'/̑Dܡv+S-XYcwv |Ao@rH ;DFV#QimYpm9'Ɣ(^gudUcjl_ˌH8>2hV<ݿkuZ`*M-z;FscxJ}ؘ*<ףM̲t4t&NB+H |m sgt 1QɄ&G:̱["tO|ѭ8SZy`GJ3簿f(p{ `UL7&|9)i(vZs'c3AEoAؖ@STiv"x7oПƅrG|B$-L)ODwY5lxg.K)4awo=C0fV"r<$l44H'QaVb1'a;0grkHk!5iJ kcC&۷-0Jv҇af{P>/oB\‚kSt(|C7%W(z^|J Hrvi}|0Z=)Yu؞>lW&n4#oXbutn}UC7,@&' [\C\q94XUT^WcHͅnGݾ 6K,<=ȥRBÀG[qN؟38F3~[5%<9.F EDu 7/F)joNxĨ_5fQG䨺hin9~LkM<(ErɂMB=brxH~T%m8dmu'L84x+>=UI|[/kȦ^Tch9 @?TDOҢOc?XY;X*cDG\^D+eqNۇ/ۇE=}S(>UV+ Q¹L\{AcA'5Eݱ[~D^[8hR"#Mn6m|xvS֔eiOFnjNoċaƆʝ9ɯpq7igU0rdt K6FA=$<#}Kpnꓧ] ^#dSZ+ñt!OhD+hH ͳT\"Huco.Y͋M/_b[ı\Ѷ U\^ynV+^l(c&{yKhZ>c+n67 :+NgZY""MOa4@1 .!Ю+Dx1rGy*';spKvG ˶5aE_1SJ8M/WݵI_9KqxH؟bWO@@!&Z;aꮟHMojC;zpm_PRB撫 `dF0loP2UyN&贲R ౓n)>;F9K{{!S)@^X\|lrZi{ l¥" Nq| Ƨs ]'؝io ouX(C,oL \QvoLD=z?>|4 v֣|w<2DS8O?Zo`0G\0dl 2nXqnD-JyuZB"n,L Lߚg|FjΞ["CB`Ȣw,fjE'kxh7EVz9d~/nFŤ oNj H7B}F`>37,#L7ΟG+&+ aUގ>&P+&NdU@Նa`=]o31mΰ1Y蟣UKD[ %w8J-)ox1Zrl>`3U<=W$OqY^#)ۋҠpQeALroo辏s#!^M&_T络{]}O-׼Nf@HOU؍ta!Uڤ8tl~.(J'9j5|g-TzTM 6CTj 4MpR[[Tk"FMӦg` #Ŷf=;` [)UԘADool=M-WJ_oԽjm"QԯPТPm*!D| @קv?ON +$ZӴ4s[/#3VJۈC:aI(\JY]7G`,N.7iU {Vecg2d&.=ˆtYzu{IwvQ6 =: ղH=9r5h6i+J}²לADFoxUƽ -/%}]0 LAS%7"^S _cDPDnIB]Y衩/qAxك$ɜ m1r7Lrm/9 x'=ŷILfc^ ^r̕-H\ @KA3`Frlaj *R"arpnmVY6jiV~s\ũ N~3CCF.$ux Cf߄KCC헵`8gb g0luZkyMkq8 a }׷mELjx fI߫1q;oG ԇhMkOK!, 'leHx֥$ F,z1 1⫙Ԥ9Ξ@ RJ|(Rcv_ @rGI )t4{ zYkvSI=<\T%BH%e삳喕HS{>aL(qT7]I?w⋆G5/=P) AI&QW"Q+b525k'$-6QMıaN9'K^뎲dJnf6Gs=I64 hNF[ @^qXQw_,zf:o^`-]k-qKqbnUUۺg( ⧣>)JE_[dڎ^UN|K TgǑ:d[ 2l53OXΨӵlټ- RE _?yYm=YC-(Ǎ8BCX1Kٷ]2 R)AraIG+FWqTxX:S#&[ "9yp<-pR}; qgYEkoJQ!0zr,W 3D38ds{ ι_7hivf;aMupjRaAvaWirjD~!P˦9<Ȝ\О/( 0 Nb( L23wSOGČ.}IU'Κ_L~( : %!5|W5$eX!<~tœz'zVL(V´?&/̇x~nd7:'` GY./,܍ne# ٙa^wmK]FKgJt9gnXD6!GLcbC`&i$DN-iCĕ)ll2я2 j!UBen^0COc c D7 $9m!Z\O{ɒxvGmwhxn$Ki2CtqмKd~⩥,zďF{J\rAav8ohh>?@R%sI;>*9 ַŐ* zoVs@Kud,i઴5!]!5hM/d"Qℳ˳ϗ@~V X#D-Jw}mr.ԯO35={ظ:3CPjb\`^z_p`*v0 y0=CK+| Ʃs'"_ j.Y8CLՊ~>ROGjlbdP3dbrvvͯKƻE#iu':H%Xa_>-mz$$ BJl3TL[ Qg-F/eC. B~=]<)d#yn/޸M|qO@!r G7~}_?~/Sӊ*x;~z:5#1LEB@_j; {J㎻`Xߛp;%*#G#qo}6KǟUŊ0##\Cp:jrab=l Y;zz\,ʶ Nݤq$L4Fz!4M #슋 <=TbMI^ǧ]CUER་P&1p+; pG4٬z3Ha 4o"zV}>V4T?[3k8}&h# !}(cmnMeh#n`cdY\ӧbIM,b#J5ZRu+d֕ ճN" TׯTkZ4s·!i6`>:Z]^%+, 62Œ{X g0TЊ\+ZPC${QR/&PB`~~~Vm!꼂_"R(_714{^%#Ў0}_Uoc Qf|*qD(*E{":Dϸa9KӮ4]-STʙʍ &t~ W5{E\)lZnnY:! 8> pr`b 4sB_YG+lI/G(wcݴ4sF ͰeYxF2- 25O oeYiJ;L6S ^Y:nUoD=~s$Qdk<__Y(@/f,S7sbWG_o|cկ)Xeaʄ2MoN>G..a7tu2S(dX[aGqs^Y u񡸛 ۭ z*Djoc(n{YV >㎤BJhz^X.c0"Tc4B $4q_Y4i͎ƞNTg;0Q.'[ֆ޼ wvMM eBbY/un[M`uQl>,{v7h,)γ\\¸G.7 jBxOL5DII:Aq?|]s{4؅0.8@ C{VY7F29+dLrO,%?0Z;/3^:Ҁ 9;Ag<,k|ȾAt, 7aE %9zpAؗ-sɳI@>:ӀP NKtW, 88MfzE'M=@ᥱ"Ț7DZore9 lj1B~EΚ"߫0oY~s5MyXFDe)w6y1st(6 `%d3x\[АU)qڧoj'-* W >h;qrzBHR ]{+4G!5PD5kr}8915x,$cܮ&5o_+$ GĴ hh\I.\ @9]Ӝ0_x=PV^ dX4X: I^ )7?qC3G7b"׶G(f@V!l?Y\0f% g˄ƃ"+:YO,?.ڃ+)ĮBra1~ͮבW/E@4KTj#vhbK>EK2ϧvڋ LqBg_pmo+נ``hUA + ez?+1y׵ ds71$ÏԹr>!h*RR{ƶ()1[`Rt'0אvS~ޙ#s*™E%%ӯw[*_c1R+ɠGEgN:xP_y1+*~C#UEyP%M8Ԡ@ a-Kίy x@ۇmEk.Ft}O% VUڡ&T{]WaQD7;_pDa*=3 5l30KT"?#`9{%…*0IU/^&x4!Ή `7#.{p,NCw=z>' K` J ^XKG$64&|]\;X6|s^1 I Š.n o}YVE }c(f9j,\쯺N7c\m;{bݨbj C4^R+H{"z/͢ptwUM KHm0SXb cvmY˦EDߖj0hRsx<$f8h~1Ӈ#2%Oٓ8DQ.L/2Fߊ@>0;kd 84DO &[Y=hXA薕A\n@ 6ˤ KrnT %+ mbȇc9lTkS|A>}w.TOHǨh楹A>YO#6}q "pqJlǧӏCԠ&dr0V@xozC3j5J]X*w\|}Klc[²j͒~'BͬG2QE 1>aلEVXAP8T=NQNl sk"~ʓ ACuS>?N.-Vn/쵖X+[4B JM}voBIl AM@ e5gPH"3S߭Kնٿ]RUeQެs{CB:*^ϐFEf Ėܩ,Qۇ>+y Dq\/4t)j ƧI0_*[dDtK;@">p'yg.{E ~-MB%3k>=A)Mo-×>]̈́rNpgqn !SFB{UutҼhJ,>P6źk'԰ .?dx"!e!UeEʋ"Y3tH N BS>bH -fحND_M~z߱\r)[ܳҽk ]kYLJ都#HQ?;^z]OuK߮PUi8WjILNrU gH`I\r oC-]YEBPC=>ENh"w ~/":ec$o{n ޠq 5/bH3و[aж3ilM:)޻*렝!;֎(2g&fH3mi=Dj?j aQCvEp QOblc>vk|=')vmo5?~Qڗ3Yj"".lxUL, bVx@+XPU׈)ɳvv 1rl:X“;a*Os_txm@(۞PwH#H |l&QkmuM#zO!}̏͗ʉ2z`x:FZ .8hT{GVj!8,idMmeNq\FK׀Tn=cYZ CJ_9_JzOnHk°ou,"z`9V C6cSx&r.Á }EBwA5"٥Ucez)1HiaM 0b0/AQ4YL@0o<ZX|C&aHjt>oX#@-!{e֘(ֳ+4˹vfaN0͔kɣo62o'@G*3<颏B<.]書'K^(g;cw?{wmU&@ o<2֤V3ulxՔSLމ"[/N?ბQ gT4 |(v㢧:@%?w89ZS&m%h )j?`Y `"dXnKGr"!ވ{p6Y-|$Xi7 %ig O&xYP۳Qg8RFȮ|vTW4ӱ!íZϣv4v?A H쏄7"~g3c>KfLN.Ea2лݢ3@+[d8)Dy @.DOA  C,,ф" )뻥|ˮtѓ>X;F3ܨ %=F!/&шu <0^N}6}RTq#">`λ$:[U#;?_"T2XA]kM:(ʛ/[th^hpb,ɯ"=E(2ga{e"\7׈ǥP;*޲nvoϐe 0 }I VT^- 4kkIi+b͏ 0&>^LȬ` `80MLb6RYoH$2+as[58o>Q%G@2MT-=E&'3odii\'Y~|;rͫR(*/ThB]1> K;Fn쟾(sKÁ%P'"tJމ6[`t}d5թ6$MN;iӬH5wW6i@?>J]Et'rدWGcI嵠z2800|m[/']m鈤ᄈ?2p.+ńe|Y..ݸ(a#NȺ0ӄjqkYOzc~;1ͻI h_55=}ᣁSd{yL~\4%CP7yP@DN*Ke7@l@߻ZZO=U{ QRHŨ3ozB}[N#+7j@`I[NJa<6ؚТught#T~D8`CD'Iwn\ntxRmnf? {gNJS"Oc+x؊=F2qQZCH -ߒSЦ5_qt?};M/Jɮ_fO`r 8wZدT"˖Xb8h;49xyI','g)AIq( ogZXuvRbQӺ5¹}pܰlX]-X(}ILyer&4V6({c fgz9oe+ v&^ܛ\ysI[ (VN Vatc> Kၓkw[g~%뻓LE@7 \bz 1ۈ+TQ]eG|O/}(DZ!ðQ \ Q,Xh aa#gP86NqvFJG9|KXX:V;OOӠ*NI+]NNdiSV R~υ*n~ky@V+aCT?nZ%doch9Bɇ 6uN#p/~Hwmx"1ԇkoOam.Q 븸/v7!ʁ"T|_roShwQy3(UL~75V ݳ^~LlY՞<:p ٯ&S_6 Hv~sTgh{ }VuN s$#BT.s݉~p.cxR/H9Lo"ܖ|촚~z ?BqLDgcp ĪY)A{-Q0. 6M{*g@9_3 Go5P2 '98{k'뽘R-a1|C)K1,?b&E p1p7\wҭ1ZdM&dP&p˽B90 ~4%8AJ~ι6\\1꜍W ZlFx쨒;ZE*i@/%?yS ""α-lT.OαBrh  a$~#Jꉉ^j>E˚3g.I"C=DYM_JyVvfgKܽDp1] G6{gH=o;?`3֦q!9ͨ4.bւ>GNݰw!xgLʶ˷;vi&#!HBfԼngp+pV!f_@2Oj٥w,[!Dr^y u;! Sm܂*w}c-HX.p3N\/M~oéj(ݽ n`=|Lvd7yzÒt$-:ES (⧙7[bcG&WʠA F$Å#,p9D?,x X%f@Gy  h_0wt)Y7H]i KO!Ҹg8Dn#/Ƙ&1,ckZcbV,XFP{qUTbbwBχTB [ gx"'>q`2U`WkbvMX_a,tHr(a9ˇsn|#`? pE@{FL昐9.vK3Gԅ?lұ A9W2UOȁmPmE(VD}-Fb_oRb)uRV5*P8bEJ-6dvR:[ܭ- z-C> Fu6Z?}vrW,R`jDk[{] Q$U@V>#G \}RV1LK.,)eL M Xci_5> 63{;º v Gh0/%GU'O:!EH$n`,vb}`eA{.Sjycp|PMK>dS0͜8!lB-'E:?ԥ GYa Q>O~u8YMK>0ѧi p<5N4e|Dgo첂^ $\Ba^F_F`sDYx}ʃ/QgV 5hV;b-, eGԋ@r[Ee"kzt`:N Og(CdDHl[g`wIS"ؾd`b,dv1Rd]K'&#bamɄ(RrJj 1j8!qદkkGw4ODyIJbENxNQJgS&6eD߉qńdUAg?ڸS %JKvM'HCU&*Půz'jJD7fEQ+먫`w+%p(.ӌ ǝ銈}Q+H<+2L^t"/Ym4D+1 R~ib3Qɐ< B &oy5$fOlǸVY[Т^֕(MHX/ 44%J|rB0s;6!hu0ȟa\̯!kě;0ROdAVXLȠm/1Rï@\3WkB_|=p !dC@oN^E`L5"^tC;s*u47xl%XGu.|<6|{+ղ{tC+"̺"FhVOړNw}{]LyvEjr/̅TsM'|9є/QqALx7Ek26AâVz8 dߢMYֹtaUM._N9V,^6]?4ͣߞ߭5tq*@{سվqO ;j i.9{$"VJ ̝Dna% UO/;G^TzwV]T< %xX.ں`rG@lt&HI<%a@HX I^9yŷnƹ6a^:ୣ겪H,< En%v*+ :,TPydPgZ|@K#ezP/ݞ*:Ҟ.!%Wz@+m;mRncRpq֞bX̂vPdN䋩xZSEn쌚K6Hep!g9|@Qό+(pg,MRۍژX#p[J e@(n'rYlظ.ݫ9o qwIHê#qz?.y<0h8] _\=9a:ZE`GQo*m/cqg|U{z {E;b 8콣UoL)/B %Ds*Qz~dOes=O[N<.$O!E/ bb5sIu h'YBF {ѷ9;YP#P`T@!,ܾ 6]oT,@UҠl3Q1{xzUV BN}€DqXÔ nrhPc2YQ.~IG#%[m] "VPeͨg5P.-):0Rk l3͇mUb鼇%F:sH6Z3+w|w+>,ti7Y]`%C(\Q^ HܯS KzJR^HuLuS&ZAl[WPfa Q溰;־ؔnb8wCշo21X*v u^&wV\ [aKgYZ69460278edf0eb35af6d51275d412b4a96a9106deb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 41e7fd7a751663d137b967ee5fba039f4734de37cdcaf8e7cfbef118e40ff3e44dd235a85c0b609a