SQLite format 3@ .;  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  ?/|D| ]]Affine_Arithmetic:threads=4elapsed=357.079cpu=1192.748gc=111.664factor=3.347zXZִF! z-"]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿r#q2Rݛ?O_CQ@iokNyFL)) ʻcǒ6̟c!FC|믎ђ Q* L";_C:aFzY#gG>-`"kPrXⲙիf@nM dxVv/C c6s&0'g*^aaKU!x'dߧA4TKs:^T/R lϠ}w*ߝ<:uGI|HHqDǖ\['ؐ Y"ٗcf? / Affine_Arithmetic TT)/O+ LAffine_ArithmeticNative_Word.Code_Target_Word_Basecode/export1.ML7zXZִF! . ]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-@wAɍE<_u+:7IᯱYVԖnX _'fu5}q3H@a`=[3Ѷ;ZG }U"*Ҫ/z:+>cJ'T~ roʂ#:{pPobBj;!bV:߅#cL9A(hv ݍ]ڂHYfU ^> c:EHa@vFw o3GfI0  cw^K)/z&uF㚆.*0Nz4)u8$F "YU@}M.ڷȢԍ㆗Ib1Q\.h̋RJ0{W +*Ÿ5t]yѺ40!]fl^<6M#x FM%6x،q]jb0Xq˳DAR2 .1Mۂ 17r#|/0jN܄sI5sD*r FFlj/3rb KikWjk:j+c?H"ĔV" hqߔB|UU(D/ئۦ.L w,>uRIVOpȄ g9-\b/Ux˖3HxN,{. [F*Lc*T;?{5T(R&~@l İLU+$hԈr-d)U.vmj /AF`!p֛\]67?˚Q|Iǟy1AXZjK}$Ī:^ʠM#**te9$.gብBa#Q:R7% 3ND|">`6ySO\ԛ73+vJs1]ӗrߕn@;7yFT9$!j&.l ~(&(}Qwӝ3>$0 K Ʌ*_l[׾Ŕw>r YϯJJDphE1"<ܽR}+&v¹rAPČUz?mܰb}3FGK6@Laߡd^PbܓDU {3 #u4d6WI ms+Rs qQFq1KG_sZ(\j]qnMy2d YgYg#zkKlF:n-bt>W[9qHnNU\[P" Iެo&+R M37(TGGwt/q˯%7vd~^cV9-}Fzەs^Ll\59Yi/kWzj[1 wJ|+ub @Cf/A:(xA?n^S7x0"b:?`o8COOإ/~L%U2S҃DwPŸ- ?RF;; I8hCjDA zT"{MtX"4=띌c<<LI!lʯu9VۭZPV K8(u_ziZJ':Daђ4v YjKwqyѷ|0k$z(MM `Ds̾uM`jWM qMo,͏ &f=_~$mBY:}Im#2BSoZ̫<%r-#*׏Pz 6Z 6`uϬ1}%; p?Yp8=*+kBRPuR5ܳE[0*̵O蘰hVcb0cOtkd|T#-q%]7~\+2OSɋRNp!AǧqmS)uMX:Php"1xr~ЎGS0AVix<PE\/]QCgYZ F/O+ Affine_ArithmeticNative_Word.Code_Target_Word_Basecode/export1.ML|(h2>(-䤌1#5hUκ7T8:J0u+9klvBSqzmT}(ejB^$yr>e z|.>~|>9BNc\C\.@_H 9Qscƫ:vfXRk~y;#!ߣGuQ;D>jl#啩0)*8RSWm1?gzt^12 a dGn;W'2+ԟ%`}> R迆{>ϽPεagRœ7$Oq., Mdt$ZR13=D5茫i8cHA 2!>F.QN2t7n$:x7[! vEZIhI~ko T0E GZV/rx8P4)𩈛Z;Zaoi6cZkcO2ԅFMnZP^c/2-N.NkE*jV]YǏ.*Qw$p>xmUB*ks'.vPaL(Ay1هL HG2H :䏺yeI"o%.(w#{'{f"{*ܞ 5zΙ$ƸmЄ6G&1U"y[UhI!%_n=:]d2D cCfr> <,1Ui3=D)w#oBuid߱ۿ!*.5)Xg䜀8Zig'gL@_ZXI?^pÚf!Hc=;Lb~.ڬk&@"N P>siؤźIxO>peH bɋO6iSeo?y[ޞ:8vi;#ĻT P' m]w hCok!Z,jwç}@wuݰ]-26)HՆ ae>C>wl6V/HW.6Fk1n'%W"@&Hz0"aB|W.6ݩQĻ8} H b ?!5lTFƺ[$qzL#Vnr( U4|| 穿&HVEtGoE!β ;3 #u<)jMZ{}=W +o¼ԾR.?i M!c^dh:`\%ugx ~7ilL{(d&Y" "p9r EiƁ~6l:8P_3VXsje2w!blSΥX}F!́5\n{S}AJ`9ufx#*Ma*^S  n{yԁ;s!Vwm#U7|A,W)Hz!,Q\,pp8I>rJ-7`wyb&b WSޣNsUu[Lg Nݢo~`yێĘ<`o K&4rgHϏ#%2d,KO9*"$+_x|["nWڼ  '$!0+ecHj-iRa7yA43wƒprN,2tڂקD㱋'4a\>#=2jt{4oO ]Z'F%N/U.n&p2b6joQ>@))"eDŽ5͑-p&+7v<4T?u6.NQؓvˠ>гѭT>ڸFnEksVU0SH`d׍+ztUd=Fh/. X3OPg;" FpC 1b$zvE1/R>79QkHֽ,M;bDQlBA sވpi+AU&vH-<QZ+?QAek~AT'y 81QKZ;+Y A58f%ޖ)q7z+h澻)g YOMS: -A&֩5 6`ߎ-B?%;'hZ<ׄL"W #H**#i' y`?q:Z- zt3('h`%] LRˀ:Gb_{@³,#ws'?n)ј!NmF/SpR. WQrBd?N$*{'nי?ACw SaQ1O5aft_Ӷe\>;g!O^2:[. ̈́4bWd!ۜ~gKH ]?\,z8bł}t`]]x/c>1z0:SK ܜlN?,,PQS;(9qh̋$CH{,Z&qI 6W"!~;꾆C">KɾyM"z頃(Ϸ 6t%Y4̍J؈ȕ¦ͬjy3%jdU%ѯ;e33舢$=0SI&k)I!aSAK2EQ/qmNccԣC o<ӫ'>W>gXvy=".ݕ;Şh,<$(Sw e" h~s ̈U])'*} -H0Uf.ƒXOȿU鷱 a woo>TeKej~@@aի)qC3@ES$8j`u ѻ"-Åd, k7@Sw2D%(C:0ykc(j)@Z9LۀܢcڟfţEkƎ;,DzoIG)8&v`^94_Y2C@72ݡ/B]xJ%riHJJ['zS7v]StuPs+]Li|socP,!ґRĥ90'p?,<81K%ha6NK^c(Gc8b_1G w(vX)r1:IeNxw®Jh[#̃c &'+t>G^(`ߵyHSyMeK 8lm0$Nj9{ã%&!n4#N, jS\Qfnf:)ĵˤ)qlxlf{Ph{=+(XQ(M :#<_-oǪ~H xJxS$;I$c9%mh `wTc&X{y$I@w`=z_kBAl_{1޹Ё?/7iYU|bdkb=$a@ZITK=~,YQ;Ys􎭀1w[ }KN@]3;vVޱ%=fa2ֶp@D#snܧ8.*.ϻݴ[XeRaY,<tSYş0aP(j;qkOjf*`y-e)sw/fIoM&'C 56٩#+P~ քwҍ$)zc2j\SW=i^9`j"\pibgE#PI}3!}>#xMEƭ*SL_L9m#±!lwG'K$s #w&>H6WO^}y5&v޶̛)_mZ1>ڨu@]K.(g_~kFӋ.Xf;w~8 lQ֢cRa!+MtO+{<). ~[%!ID'Y$D&x1s#Z6QsV=c͞. q&ϱ~vw9OS FUa} .C tKZFĴgk1J}&?{ZD@C,S!PMщ4ןE`S.W* OZn w|=?QҜST)5w0Q1<ھ0zK2˟pAj$Lz;sV}#{Na wXiI]>CDxtuެ0pR5[ZĐM2蘖YS2`?oTOL|E=aC5Gry?~d"{|+z Y]63[R9Թ,E\#TX8\3rBu:)@{*5բ CqP~1dx°hKT;n6Rx ٱɂ ̨AWX)O iC1÷lK#7I@'ʌ 3Ep`ͅip`h̍Haa0OM%,>My l\j ,2.g>AK<'+%hܒ1p/{2N{,IYxhpޡ){#MD5V϶*yO C/ P*푟+ +bP2p i6EgRw䈉L¤5SJWNZIթjEO0G:ݍ(xCy`U!'KRcJ͙\3\QȦqdsd`FPx? %&X{3iie@`T}y\~Y7''g%sF]D1y,|(|(ȈA$pg%NƗ,CKe~]˨~+̌u`Dln R2P[3)L #7-P"*U@+ "Ȥi^~)w mN9LX4w߬aRw\<脹J.>=FEr=i͡dחx {TꕧR|Aӿ pSΗLOmфW`]tn級ez}/"XWc^7L&5N+c;w2IFJy qbC #3B:>pj,o!&G9`!U\{gFstS2w\'gv Qie&$hnD1`9ۺo~`SBj?d_A3NWn<^feȝ{gSB~u j; !?Zm7ƢRI,S|/U*enS;' }RQ{͊z:}/GaI#֤.rnq]֛4 ɣ-&@RoU @gS n"qZ~&j^/6ş@{.hcy/SWÐ&wVЛI耴qrcA[b%rfz h,(}Ӄtu&sڨ.(tM$ȹ{QŶ:P:zƊ=ԄW`\Onz42gDm @@ H򿺛3~#^:EBme}?GNґiüD4n,vRKMVqi>:l2_y1y7|p뉮ʯo$$)93?FB}YqeU қ(iry!at6l\)lD{mǥCܩ, ] C`KEp>DFŲg,8U H}JeBgNqLjWbf M4ߩ{\ \m+iO&"&~rVh j!.GШW^֮6p_4( SQ\B:}/H{ëw0x3pX ,#=&,?mYxL>2 %㕈J5#!k@/);<ӳ/ũs#Vvg["|iCvHS.WLE=TB{3 %nH\eպ;k  IJs4O7g?\GP^Є3ӡ͢uT!*ʫjŹ\"+tp(,1sW~lˊ#wO9^6*9rIp9ΥA_28÷G.z5ӼUi{tAZn8 ^][K '5Iz> IF\gYZ7zXZִF! ']ŗXiɟ|E\Ât+.*aphG)%uG:30d^#ФܗmIrK_W͙_ FWW? W[?g#>Y&Uy*Bu/oZ=7g24Rp1M l.r!u^r(//VbJ_B # aP i~OBz mLJUeQqs_G8>z/9y<.2=d(`0{EL=~]^=SI2e~q|. Dkb+7Ǡ(>nӾ.֨h2P)tI݅$W~2?R&ܻ>KF_<9?wGR#!߈p{Hrbm렢9a輀6xGw>ݨ$ń3#p8)ZZ* H㷎r|`T9P5^NtRKVv3)Ze$|k-bᒚ˃0I eENJ4$>)b;ȸ 6sLv>~A@  X\i:,7Л)֮r&)$xyV%<߭jl7"V2HrB+yΜc_Eh8(C?Y*ѦȾhGֳgчI\V u*4q,rhkI݈:+ 5U);TNX \2;w]Ft@5*UT(h2yiQ#i0eݑ|3} 6r{we HΐzÍiЩSKrbm/y5#T02 b$)A R\5O)7LD[ͲVͻ2o`dww?vѧyfE4yF@|]}WXYw1 9߯-Dи)b&h!<9 X Yq8<Ŵ@XR3k)2L89 k'Nvt{m3" :H7Ehjs=w=vs1i] _[kTP/Q>u9N5]59 Ut(>5+`WYjxϗ6zSO8L1P,q%@Yy8 ]Yl6AZ^u& n`{rS1#x?L|pPcӳP9]\0LU3WƷUUh*HJJA)Q "|" QZҵ'IX Ug47IgYq?#4 v ;MrEɻƉ/uf詑XטZJqr(oc4V>j1v%$1ҚXy҃f0HB7 u&Xu~Ui˶Gpo[Ʊ~ƹ&U !.(=á5opΨf$Iܞ} ^"uZG{΀ŧ?iZ;wNB:M@Bop/OLz B$juQ7Ѱ,~X0H;تbgl@kЧ?igl⁃C`np?o `GjZ)Z<$/@*t.Ƨ3NEA"¼>+l{yִ%g2^ۡ*&N{YTshV| gj@,֊:jѫ|A)Ꚏ9RMma7I+F][(SEb! _X2K.Ȅ V6J75>3azGS5k~0bA{OTO>x=ƕ젗W=G[57j G_7;06@7pwq;3Y${_J;MIQ9׆PGH~Bcr*f%v)PYLFof:ؚ7 Q lٲ-%G)uqe{q~hm79hq_6xI!SQL_&k긕t7XAE `u'XU 'Qj}]=mFP R*yC[ҫp)\:a]yh7Uw=Bu<6Fрq>K {+YtQwȵ;tf@`ir|q R}Zoёֽ i0c|oF~.K^M|$i=Rí7zzz3])Tx ?`|+ULm':v}Oq !o}vcM.rBxjSA/r0G,'Kb18n'VRk1S; rcgO+"A)ri*}ۀgNmGzi=ղ6l0[bg+{^bP3RGEPE ^=WXڊwEsg1f0jgeB鼼zW!t07U2kv&N^[X:}g??bK5Gt ŴΏbƋuEX3tgEHY@?:*A8Bz! 2fӡNYi#Sg0\&ݾ's2[W&iZThIX((ezbbJjRVsඊVXφ'G3޳E~Zfv?-й8,N 2vWWćۛZS1'f3l'\5;cHGCyx8!{0D4nogyvXfh{]E1x-X`je%իҢ#u]Te4 j_/TxŁ0jBpҳiGtcLԋY?`_߁HW@|;6d|ƻ,ʪ~Q0y0 }ZYl~_^&COD8xxtʀ-۷9pÔ\wEhUJDj z 3אމlGpU|^yw6T3>r <⨺0 3yҲRpmCI ȯ +;/g-􅡡Ы3?[|1/˘k j bf.n3@r4f@nC?dX@eu}Q-L倏[|Cn&5[ޖa2Q)mInhňLFb1b_ ?p T8K5&m|tc?PXr ?ٓ*D֬IIWoJoW+:5:|̝`1/D/f +u=$SsaR8̔>RC;WK ٝ 0 vf%ct^Rku04L$"8GSѫTeG6Ȃ7`ܲ  p }}S>o84خO-߃vf2K]A[jK3; .R9IcI 7\vFVRjAϽ1q*ubBN k\$5tMxt1c;bn1%W 07:[s^d4Z@{'-sD'0V&8ui" ~'+Uiuf~-0s7{!+kvA?mV];3W6R e`6rKB4$Z"6G[%Y/dYgq&e5z'd1ow)p}p$n0uN yi- v.SOd5FSB LR0_}JXK#Ǩυқƺ-e&mTIB2 <1auHJIv sG-eowX} F#B1O ѥ3N = YUǾ^fTV5Jn4Բ&:*sagyχ0 nՙO/j̛heC$JR('-z7+h+Ya8P^`_ߴ>@-\kq%\NmSrVoABpnٿanմ Pk!*l ;*#?5 $}ƀsSI .WA)YJWZ}pNe9:IJq`xRF? r@Q녛.3@Vn?W:;/YDZglP [MfB{,b Э|=оW}j~sLeLkQ߉ T!\_Yyo_/Q5*Z)YTA, {^U|rH[=􁅜"bx#.NG)nWvYn c{-JrPbohwUͅ#+nA5NL0f$=cD.a3qKBd*0ji?.;ѹkzPs_ԝL<8Db(lC[$ڧ%_9IDZb8d̓%/kKu9#6]QjCy6r:[$O꒱=?ލ_ w9!3]]U1H[WlƝ+{Ŝ/w /KvTgjt"5J8Bl[%JX n!3ެ:Փ'5Վ+ʘ)Qnny%JQO̷[N.y,}u^KY)V`ʔ+k+ ; 8ތhrVNQF6*ӻo͡#7ϞGJA8'Acb?2B]Q38 o[ f<L[dC%(ێҬ166>#{ 7$Z֑"lyӺ ,gygi^fڱ5u*؞ ߅XeAVݜ%1*a}~뙸J +㷢zۭ;x6cQtSMdcM[iDz>d'͕!dWיg|ߢwB#+of7DO{=Z0~rT¢~nlS7& 09%#j@$љ8-"}P$GZ *I (iPjqWzM{y{X-pՆasBʂqMKqy.C͐LCU6ҦL22Ki*hyԐ&aˁr*H&tP~X 3%vN"E} k¬&GL*Uo~oD7haÛ ڋ\PJN%L)t3 UIMt0֗ѓi#˘L#m\c]}gO!H">aR@߳b LJE_TrdZaK篻,X/Ef:J97vĨ>0D5JqF:"{kCn.k] !ijO֍H4-f4' . |w9bFBEpJe p\H>э. fb㞣fO?qPKEe Lx]C7-z Rnmp4/]]Ԉ9Qc} eJr4kb(R,9/<ifSݍͭ_r[# "z4 ):RS~ H`[:XwpF9_lȳtIN{.fNxR(El oy1_;ˋapFR6/8p+<r (Flr [n6KgX\Ij;*ނw[yGsqb!,R9PiYw]d*XNsXw+X3!G? ލ,A! J7$Yse0,$Etz'`ǩqO< ԕd =挎g8M|_Reu< j;@.Pn~ҟJ @ll䪃oOYy/$N5~ָ)DB&0_h!aëE;+rf]kG?KG ;]C3]zc}=yl2H2G,_p̓kaXz(nz8seӓyBc"ZV@tO~{t[#exKlX@) ,I>#S]\W ĒH7+7VԓqYj[Mܤb|ݐ|Dj(&,[萲ߥCո&s; :U竬4#5kM#Ûi (.E8g|K]%Οq,+7ZSv~9W31#Q7 {hS<^ ދvluy}b`;Y#M1ɌJۚ+OoKq h}7f}˛ +Uch7Y)pgt,3c[Xʧ{ fJPoɏ ;D)i_c8^kAmtgmsAt]9,됦%:5BlLjt<%վG"PMp Y{v!$_g)>ǜkY]iȌrl(x,B+FsHT5TKAg/?=zEl5! (:?*+E;z暣v3yN^ ӄr ieHmC6YN0s=&hj426dYpO" WZ޷L(kIzk"Mhꑎ1 &T4~J@^wH Z%j ʄV bur :e}էy#MzGEzu/ZR`+Bp0M''֕0yT>zl2ԋ$ؼ)`*Fcy)9SS<٨iȧ_BPp$Ou=:lX=tD_ lnL(YZ6ǨA)Z!>DA)8_r⒊ g_w!TZT,̛,LaɣmA4N xTgcpn%ݼ a鑽:銪uw l;nH,f ݙ,{ cX+< nI"ZOt Mn7i&Q᳴1ak9*)#-ҌyF/CL`kԷ }b& EAI% :"r:̠&K.4 S{kBTbV!"W^*jp>Rn%iԟ ,G=!B൸I~ItcjvC)l5(t4):܇flӎVBC`zJ+VY[ˮZr/oNK- ppL2}޹L\.:i3={=o/VJǶWT`H%! Gl!Cg+@j)* 8֒mL8` \P輦aTS"0Us Aeʏ|G S'! aQ8F:hHV n5R$8jf'.Nu?=ZϦV ma(IfXq4뷙Icʏ^)30~ZxqEpE^vW'֚ iHx|+HJ&Br;geGH/xQZ<+sd/qIōO7hG. Iψ@wQq3׀ć;O1Uj- Ϳ wQb0+qC*25 H|v"=sn#Fhl]2 ̢b nh=c23ρ @vؕ=$CKQ9tR -NItN:7s g*_T[<)y;rxM4Y OyBD=[Pg?Ȍnv q=K 5.te簐Ĥ=.·"JUhauªnˆI:Z /ύ`>@ڽl` TZe*xvl^^O/Չ(O4aw"DxJ;jPL;,'¼k M?KU {<i.N)pJZT VH,( NcxҤT~vyt:Ov2`fh!e^'_yg4 "&%4גA*XVXQ*B09i" f#:LQJ~l06Qe弤9YG:K\C WY ]JLV7w2ed-ٮgn2wBS# QKlK[J#ʶ3h_'i#@fi^A9vӲQF2 8o*54*4{^&RrLZJ9[y?`!%Roy[m(Jhm_ccX[ח4fkDIQjcՓ|U SY5m} ]3T籞C#,^ﴵpF?ě'`uL׌4kaV5EiRYزNwg5iL.Z^֔H, c_ P3ez۲J* an YH(\tuji+#s{h^EappL@) 5'r }S8N_Vc'q3>jTSo%gb%K;6Xe*.׼t+CAKVC"du1->#0>60>1M}xau송&x1GV&PC R%pZnR9|vMK`}3p'L8Ot^`Z},?c/:4MD;k E *Y e0̭@X;N-)"s008\"rOW`I&Ido㮦%.pݱ\X޸؝.=OI-bih ~4"XW밧23 lhr٪IJi1`*A۟=z䄠iV$g\'uӢ;yNi,Ϧ%Q/"7U#gKJ}1>F=?&k> /wes$lq&6 ̛Zayܡ9/wm _3A9f,)JtŐ$L m^POe+-d&,6cQ̮|X>ߠ> tRXg6ԪKJ&.{7h. ~(=$Tě[^>þiΥ8ݰ=%#>o:Tp"Bb04IavNv`ij˯e.13\ Cl|rk.3n'alIQ{&0}z,Ǧ ($kZâ(W0uTN Vs3DP3" NBterI5Kab2*Ӻ/Id`Ouۻzr3iT@r6LBH d1-yͰ[l1lњfXj~eNEM0}u}T 3}:̮o?5[XZ0 C'ԦCE+辽ړs8}0/IZPjpz&" NpFX IngrS`^p2sgI1q2 W3J`wCI|.eYk_خC7BN#KxwbI8ζc<#jeK:"Oum&`y-5v:MVޮهtko@7帝 x;J0iaۇg⃼!N Eh!W)ˁQ @jՌsCo֪$4_$"3~r^g ,9aZfB'Sm<EZN1A4#0pŶjVܣz+ыǽOIzX&Ї(\RB*+̣b7ct^qھ 6+][%_>ldikTE _1B)'1ay>TM*#&M' +%HYa9> Q/ '>r'>e) n!y0+ aƐRX6>ȓE' _Z[tkYQ+!P%|MZ|tgNEw߽ᜤF5S4>vQpr40YO(I{f)c)vZ~Vʕ1ߍ_'3Tf/N0佌%O? _qaj<{6Nj bz֛S>Mijil"U8sjwg</u@%XN9ͯ!v'-O۱sKXh)Ԣ757L;-+9__ WwW<SGe>eu&+%2k(5R/T"港TZeN) $[ ;2,>UXٕ8Ί9.(oȺcQRDYb+{XsLj;[\M6"`O'XW;E a $8hd)_[lA;δ=n 1dȲcvZã&MSJK;ϒF9>ƴv̌PXb kV!dϿG ŨL$/ pdS2ccRb;>a.X>i4yL\/\Z Q;oR˒z]茽dkt0l>D0q- dd&":8cV/׀?6nZFr%]V׆?3%L{hW hqpWy/1(Be(ĺctyeE% C )2h ^b9֘̿Bu- eq#?]y뤺9R><0V5iLmcx~F|TJZ1u?ƇMЯ=h^LJH>O &_g$Xkm68gpHɁƠTU0K

E#'r vyjhfA 2W!-;T4arϽ*N?ֶṊQ!0uPS!~SxcY. \ԟUYm{'#b.T+3s$!-Y5Z,)kx{c*Msb2湖~(e#k8""%4(9gB[׻IZʐa([:WnIzum7e)>3*MU,H=:KV}Y7O0IƬ-Mq1kiҿ5x\PBԕq-|wJ@Ow6sOk$3C֐BB~IqiS;nc*KCb@5`6^'^Fɻ+>o 2(fus5+Y3yKφ!*9"R :z;|8.7#"j?hvokU\+ Y!f)24p͋%H9iX ξ/CeE3g*jlz 3ɲP Cٷ]XRJ[v`Lࠇl\E,/Xg ӬicȠ&JЊ>Se&gm;ZnJ|&EH7aK90]$YQq[dc }Rn /6jpljr"Ate9аlePAGxgLb)OSdu4 v Q ፖ/?xI<R9''")S5 &:1Arq4"&a:&7[t?'IPÀ66[\swnƖcO*3-ˈ="~PH4f{-4lZ+ Gl0`S  b `{ZiOK`8笨GK0-n6adu~'vU1x55qhb2.8EU5>.,38-^K.&x$9b'o\~ B0l ۺ'XH 9hʔfyָAD@6/2jIBHA+36!zvĔVb{p7]!F|j{33|FbQoɒ=_?w[!%PEhp$f6Ar-r+K|Iu}?*K6hGl[#lWg^ JƭB9Q~֭=sxzГ~_Yx+TAPY-7#X?@p+)t*Df!Mp#ՔDEaBPD9ƞ ȕz=08ha=/,O{ .8_ CI!\ϕvKljo6CZIACM;g,3 OɉZ]=aeBh3Ճ*Z q;<GLnOTV#VTV~i8WhŐUI` P0gb[?WM7d}R|9zy&p%d8G/w-XJSHPt{фۥ'*w;Lwp mНtx "K4 qkc3Z|vǧqV*o;im]O}&e!!I^<h| >s4QNWm)d%~Aks [t{뉁0dMg-H>*ŏfeU8™vBԹ1*i </ ÜLVXBK!%F'e̹1zdd m<;JX4VTp +IwԦlsb(4f-Z,xy$$*)4&L%-o8R[I2^Twv#ʟ+zDc%G"crAJox Ըo]䫡%6^m&P:WF`x_+ÐbHmekrU, H1̘_ss]ژrņ5 a8-,-Rg58) & 3,u]OmS4ȃpGx끠^^8)ѣ]ս]I`L{PYPOQNެ\lva *IN̏,r\ t=o K TYg퀻;}DN鹍qmTqEM[[CTEJ] V o["E>BǫPDMtkʲםK|]C؀B(zS}Hyeq|v~2@"%Q,5"{p),snTWFm:'3_XL\Q =,-&xR .5Tʍu4yʭPA_>fQADs Hū- SA(?~Ft'@٩r{~rnR]ǔp;F]pt tl@ 6XYk'wD fw8FüBH]ՏHf :-$~fkPrTn5]הc<ٷsKۈh SwW1md%Hm/6֟ 11g2}t zG+N3)'/d;/}KOL:Bx_=%k!iԂC bnM+jDl~Iۣ9s"*) $1zCا%MGlp.ITӴ8p~n'PE~ }[{7d:E @{-l( Rb ؉LׄoZf.1)~zc(w,Ւ ZdgD 8*P9qݗ*٤w\D#vE *" g5ECzYC7%zmZݣɆPW/+L@*/f$s8wslHL]JTpԤOY<ZRFlth?y=Ǻpdŭ4,hbQw2)$;V14RMATt:@1x'GE6"pnq<5kn $z,wHeL氒2{eNC XA Pq19nF\f*u9 տy'd9D]3Hڶi`f09jP>Y-x q$>teKB{ $ 2tumEzH%O6yCQ ;P;}\s3lʋ$j:jf]s,ȡU_Bޓ=5?nB (BHTr\YMS0T͚W wx )xY}hhLpjt'$9 J'HUAIJ /*M)4NV6}cD¹ e-؍p G*ffƈ$YA&`\` _%`dAN>+U% r;0!Rpj{\St,Ӽ8028q8&Kz2S( =,;j}%E@2W4Bxf31̗a ה)S&joYd0YG9}֗Iqp]l܋㏇- ƗxJt&4}Ă͎u!S%[[>'=ޒNoaA 첛$"ô|]cMWcsלKS$ӯ)!@^=)2=qD*Ǖ1 V1g:2a&mt=VJ2ۥT0YGօM+y"<-[$޷/D?ݷ6<‹\#p8n=ѷRCMT nH8[}Y@}GDXte2"0ěEF:"oGN02LSK11VИ pjy=5J4( y>);݉bYd6s 8 k^˪Š'rZn.?Ug ڏG^񧲀S.X SG.z; I?ܩg,@ w1ßED3U'p(î>ݟ x 9wt.iZRemC[38ρM?"C!Ep5f8w }4,bFDx$Qﻅ.LQS^Zg7UaVclTM].H鐟!sB{q}Jᡂ, p>(T93+ HZmq4C:2aɾ ܉,mVAG\}_}"sxuӓrB1h[H6 7s[~h|1V8wA2=p mLؼ ۙtm$L;"N'd~"{ 99Ic? F6ĴFi-9.e1+H֡=b b &z/l<'"8cEcno"1EB`k$'%}f $g134`Җ EBs\iCQq$T. %;4~jN"BKFB3uOE}w$\v"U< +R oR}%EHZw_qնN- Gʻ%[_lHo?hUm:RU뛆a5XM/=fjjl&qGUCY@ة+Uy0nۧI76mpJ\‚0n+^<3 ߛz|\ CxStLt<̖yx1oԫS>9SM}Z&*( "6ʂ<=4Ϛ$'M hB7I*i?E [W]g,ʕ!բpEaagNɳL[8-Wչ.BP9!wb 㭟Nv΍ ( jkSI')lL֖ y:B|G:ZG0gِg*^߷)7ײڑ~gjJ{ؠ 9cKQU۞w(iLk٣~n i$2 X?d 9qe?HTĮZ8y_}rHC#%: xc^$`l*+aF T ⶖtȟzb9&] "AR y#+!<h+9j$\PkNKrc1rj h#I!HS@ ۄj\;ktݧ|k5^t}TQMoc#FSR+#vSȡ*@v+:B΍\Ő'O߆K*l!feCiu%rPX+{:$)u**l`܉gIr>/ GckW'"H? 2/qܬ}B4qC gAJ$y(`)ԖĆ^",G^ۂQF R;d/45l? eq(qO;.F$=ޢ|MS>$=&mrr}1=]N:u% ɦnA@N|]As+FꏮzHib/jeU!v4NЇDdc7;ml&57!gn0唏ݟTw)sE#ۘ AF}InȚ\a@lFy0u~+V>J),Zp+;UDj(/},W}zjEUm1A_-Г%\CiҚ? &ypJ7t9;(Et<\J6"eogG owÄ 9-Ȗ]yb Q.0D~|(tC-/f)JavL00Ӊn\6b;Y"H lBW&S_Dɟ6* \Ri zPk)b'+u~ rqdyo_p?ȮP^X @}2]ݧJ[uZ!h,'(q Ih-VЩUMj:F޼H6U0yG@V >ߧ㏒%>?"á0ov+ J^ɯ  fV2Y{e:;"rQ ٪אXyS4{p_*qPxa)1^:> LpI8lՅJ=אHӻvc1/u!gO'23^KBFmᬰIl7z<) 2#Z#׻T_|UFݟFU:;f-/7}C,M*  )rs!盵?<3sŭ}=eT @_yR7rmR {Ίy MX˝cʚ}9fk]쑉X( KF'û&6NX\6ۑY}x>lqo8V &r-" ybF,d{al,8"3^թm/aH  S@& ͭW8 BB&U58Lk}cwb,`6h)W_7pZ.k| u`Cz&.+=O * gYZccf1ad5b3b504c9a906c2023f18a50c962a7e792d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 5e95046b51ddf5b370aa071080e9fc95a1a715e863ec474655b208312b0a956a9f6f0f5ca82c56e4