SQLite format 3@ G.;  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 g3vlLD ] Robinson_Arithmetic:threads=4elapsed=79.099cpu=179.760gc=6.7447zXZִF!  n]ŗXiɟH)0!h] nWƮqjXԿt/Ɲ9jZJ\S LȶyFID86GI>Pf&e$5 Քrc! gVc.N:h 96kGo YT*ƙӊOֺQg03I}ڜP0y}Q~ f/\b=*+ۺ~͛便Ď?հØ 8/k$$\b`6FLǔLȺ"SA\O0,T{~RgMZ~'I~6dt=9?(ĄVy8E 3 Robinson_Arithmetic D@ 3-% Robinson_ArithmeticHOL-Library.FSetdocument.tex7zXZִF! kLH]A-MՋhvG"uIBm5`bd.PqI#SG)io+hW Xg4]Uf'Ϲp,e܍}mXU{7~b]@w9:ɚT-0ݪG;pGMD Yc5[hOR.H!HتܪR NiM{2Z,0[@"IQZ!y9/H{ppifnYbƳUk(H)c\%G ١wV'f89I0ϙ{$ {[)72'&/a8;cTt\.EauUhDKU,!$ [ǾQKͅš *w7vm5*$/RR|w]ɺ˯TV}iq7,tr]f^LDYDi7HzVe滒SN#xn;}aUd)$i춛' N;B;|R(\!h}#x BsyWj98J^?d'9n"\i 0 UlTu5hjNKZȷ"R,˔IEHGN[\dT(ANgZ?}n CTlvS`t@ar'W¨Rճ\ҬT`}}KFmn+>畧fƐ3yN}Q,m'!j@a`]AKaV#Vt|S+NnfW1{,.@(\Vwxe! L6 x%?!sl*tk92l89L74N8C6QdK>X{?ÅF  8uP K!Tmb^s/yȧ[$X {yͮ2Azx[:P=.B*"8 ᦾ]: ~b fӢ D %d 7N&m%>쓎hso75גWD/RS 7r,;8CWg}mzM!kS3Kon05V*  )TXb>- 9^1^+R8P!&Zc.I6O+cd;mUGGΦ1q'IxQ!3 MfA[^A@R8l;&@'@lJK$.r U9x; #C=ʃQ!>}hqEƏh,ֵ?O?37kT{mdn&ZԶŠ,xò3?\M#HzdY}B/JQA)IgLs ZJȜt w<}y%ε W=Z徱%XX!gHjV(< JzG%mb-{J4]Jh3\!ݥGbW{h;C׮K`?Ub9T3LjqW|ށ# )G/'2%ꐯI9YuH֋R.6`(QuI lCD5]fHBX#*ۨMDR,zanBHxz[b0ER?Lb=m"0CXlK5?䀽wW?u𑄀}Q,4kzS2h@)oΜX3O~OVoeQ%-g#J+Uc:͏4@ 6 N؛S:5432/ - ) %   /$ 4 j . m n\b =3=%Robinson_ArithmeticHOL-Library.Quotient_Setdocument.tex935%Robinson_ArithmeticHOL-Library.Multisetdocument.tex@3C%Robinson_ArithmeticHOL-Library.Quotient_Syntaxdocument.tex@3C%Robinson_ArithmeticHOL-Library.Quotient_Optiondocument.tex=3=%Robinson_ArithmeticHOL-Library.Phantom_Typedocument.tex>3?%Robinson_ArithmeticHOL-Library.Quotient_Listdocument.texA3E%Robinson_ArithmeticHOL-Library.Quotient_Productdocument.tex=3=%Robinson_ArithmeticHOL-Library.Cancellationdocument.texA3E%Robinson_ArithmeticRobinson_Arithmetic.Instancedocument.tex :37%Robinson_ArithmeticHOL-Library.Countabledocument.tex >3?%Robinson_ArithmeticHOL-Library.Nat_Bijectiondocument.tex =3=%Robinson_ArithmeticHOL-Library.Old_Datatypedocument.tex <3;%Robinson_ArithmeticHOL-Library.Cardinalitydocument.tex =3=%Robinson_ArithmeticHOL-Library.Infinite_Setdocument.tex:37%Robinson_ArithmeticNominal2.Nominal2_FCBdocument.tex63/%Robinson_ArithmeticNominal2.Nominal2document.tex:37%Robinson_ArithmeticNominal2.Nominal2_Absdocument.texL3[%Robinson_ArithmeticRobinson_Arithmetic.Robinson_Arithmeticdocument.tex;39%Robinson_ArithmeticNominal2.Nominal2_Basedocument.tex23'%Robinson_ArithmeticFinFun.FinFundocument.tex43-% Robinson_ArithmeticHOL-Library.FSetdocument.text֩W0:it,Vo첸w]' X$ ٣h \=0e M>pzn[nN)q8C*;rHswW7a)+ۅb-]H 6D46K^t*ͯpZHeŀ>]0uV3*ݏˢP/ 5=DZv5t)re[? txB'ZCŘepZ] t _ ܢ, a=ʛؿ fzv2SCЩs;ˮK- Ә^$ &?OϺ=w @89RZu YHDq(~A3O`Zwb SWaC p-,X*J^F!j+`F6T\kY̳a )UjRqIX!MZs5DzJHfű[uq:Tֹ\PwHd#)/eXk_4V|Dzqºč)_[yN/.-HQ#s, τb'$wǩj֐UUDy[ҿ%#ebca@ /w v,|po P~dX_ h=bZv8NZVĠx$2|[Ng?hWd/^y,.d1-H"܏CCC ~XjhFx$0=e.:VYz/*[]82 EWSB{ȓؑFN~aFQ9OSX>PVAyAfi=u˗5Ы0UZS\RgWWZ]PUf(#L)$s}чaD$kҝ@|iS(/r>0ˊ4h&8WŻpj峑S # aA؋ ^Fg LWǂz븿6zo?8yVg9;> eXnۢwI i$pQACe ߕ2D|_aY荢qA=S$|ǚJ y; cǤK+AS?wD La(UWW ̀-$<Ωk@|'xf~Z2~JzèX'Nb،Dk2@NĖ1T5s]D^A&W$XlPȾ*cMˏ&?Kƪvl(p^!-ӂ{06"vReq\~}y̔c`4g0'L%>!3n+̲5񰓄]1HU~Uq#@㠭@8b\rVU vD@r2+ D%jW+FB]9^Tm2F؃RtT~aH2]4џqbsɦ: v P49o7crndfZ#?C)vyS[pjX5Ш'v1z}F *7@J0HUETx]7%A:1lnLp l G:ʯMN Uf_X>='Q"}5 CmAC"0DɓIl'RoļZ~ #|-tR;|sȨ|e5H57P D:^ ncpo]d&CS縁װXJPqƿyvz1@- tP=n|LgCbHʢCpKGMڊղڏŽNp0{,S0d]F|jjP?qs{zD._|Z h Y}͕]I7 )&b0U[*-]Ai*UK)f 'ީ/]V!)T )'В6 'RBG5px D:-.nap cޔ9/ ,vn`1]e_9Rĩe]N[T~[ l'B¿)s^6hY\`]o! <+FEbB)/zӬͳ-( 9N%Pׅi&˴WM؜dh';ǘ^Oޖa f7)1Q&IgMN)u+'ifTOzHEū40/i2{gTzaeSCEY2ݐķ1}d</ Q-hv"StuD aCG>Lil;p$ņgx&ripKJ߄ISdK  .HYITbIh,5)(*W?:|XۄN1>e_ָ,&6,F`&vfFp!"/$"S` 烈=/+KsZgdcR#Ŏ:H 9=Ku&@K>ISc1)OXzيo$SdN硧koPEj*g"Di=osC285)p~tEcdߺVfFM<SѣZ.e<}pQ6{bI1,Go{{ jʲw!̫^ť$?Ɨ%UOPRݼCFL)k?Fc"3NEE }P A] Q#] ϶t`ǜÔ`]zCԗ?X_MP@ jBec^T&*~%\VISɺ,P(s}F;.~ti4^'|kpTs:؜8h?. @7L~&uW{vV6zVdPFW0)gSD`"JOGB(&p2?6vdWJ4``&]5\ l}`8?=ܶ5VIݔӺ\tD< <r vIȦS@f\UBBSa=յɞrn+£qfzStMw:Kz0&i,d: xneV ^g:ܴ\;Vl5E\'pAz4ZgܥC,OLEzA,>qH SLӛ~G~ 5~Ndb;p̃bpOgSȓR21|KlR]V#ht.6S0PnYÿfUd# x`ٹ LZlQH8<  G$+{cyC}(bٜ\5q3-"SL[M>-Ok vrUv 1iB>20 |3:$f礊U ɏwV|iTWO}:m'gya;bjW~*b, ȡa5c|'r۫*M|oY ^t `߽}ϰqXTx.鿎#E[#Xp]T^Ԕ4ݸix@b 9,nI~=s X9j0?R(C0㙜V{} s樄M-:fُ7iʷAG40[t?H'$#TIr\Tڅ6LgO ,{І݌Ќ?feVBڕK0E`>)C5@"` R4!Yyi LÍ6 ɵqj$i 1˾S&-Q8`c[.ru q#b1B7wҵ+LRPyIj}}v1Is>4,uː2UpGqcD >4:zW87#6c{51CZ|۴Z>?ג4i'_3T]G{.̾-OZRdBY l5{F[V 9>n陸 ,VTɐH61%:l]5Ԯ&>HGip8=a?]z_ut LY;#a؆2.2s;OLRj2o"'LɃpL:CTz(އ/:Qiέ[@3ApY`NJV֟\HU׆:$Rb NS%E:Kw< 0̕UG0\ 6wx=FU0" :jhUӠnx0#Z^)Dܦ~43+Be{U.]fF L,A\bkDsyzŜ\doC&]o%\ȘH0zӶT#Dl&{MiGV(!aGЧV2;|8x- FeG9_YiĘ޿ʛ #f! ,qMi u{qQ6F1]raB[Ͽ,k(ܽwMi@(z5@3=[K8;{Ҙ>yFG":iM&&v K{H>+s2f.TB "]` lgN2 f7?QfP"߿O39*FR:(^8r_@hnEk<& +%fT, N$YPbƋk ֠V}[ 0 96{1{悢zY eŅRՓ[s#YJLegშj,lHHZv7οdWmY+2f 6?)ҍ(4}4WqSÌ' 3[< i&l"?2Z++cR(8=Bi.&3bK짜" &>睠/q/L26JNE79 9\tLY/)9r#EUP\Yplɭ姬FpH G ΄'\g"Պ}b01iWχ| KNքLazY芕&(h5@YqzlxcQ/@.~/ut/աq ❆y gD9wKA2m"LYp8/e.d9kloZkoAvc?(V\JejV_J`Xr]C@h@M8bD#!* 3f~{>IݺS/u oIwfX-ʩ[4W4ؿPXյ=cE']HXO0XZi/M~ٝvAOk.g*қy*>a{.Hoh pQ->`zi>92}+jWjeHy̪E bx8kNr= BS{E#pMJVAm--̦#$|&%cE7^{k $[,B\΂ҳD% gM̴@ؒ7ڨB>SY`e:k*l* 8VmV:g@nyg<`1}M֤ aV<95[ _oiEWONOfΰR(QorXtQmiVnzb%E%s oj߅nQnN!v¸gElś b5#?CPF}alc >#C|駏{=pU?8S}(F7#t q"ivʯ|ḼkЙcPM9Q3ViKxR ˆ30 οoLJg,# mÆ΂!j0o{XCcrgPAB7go}!BIUQ]W5#xe7fZmtp^SH^D-3܉@3r~p+g?{aU T?Nr%аnW# p3L(;'e ͟A1&V{XLO=dBMUιzl_Y vҭgwji$[i>:[`VC2*X,_6=F- *I92A{AQ_G1!yW -ۍϷȇj#6fo/WB#nLI* !I׋bGzf'>=뒕ѐS>b!!'QQpXިl| s!po>e 6dma>b.L5KnM/ḞCJS02xM_x"ý/*"؅OgIyp Z٬7oD[a6f#U!ާ8V̰z)NbS EZ{Q@ߋw@^l5Ia>>@0 Ѷ\v_vNo}y*G"<3ؤrt5HKZ;JN…5@ [L".̳lփ-1:R~]|Z{J>o~si>U iб^UV(㜢B?m7^a Hc qLR|rnzcǹI9E[כ0>$յUtɔo%?NWQ^qG4뿝3Z S]6}ńվ&axy!׻VV'E^s/j_ޱ*E.B$N݂ojqhT2)4Qk΍- u߀z>k}㩤'4r<`  ~3uPm5a[NyKiѧ:yyCKm')Bb-F'3tZQssNWkYtց9U*;K?wͯlmN'jO,g1ǩ |{8N"N\N.%4hU4 KR-oΞdUPoz?X!W6bE;nNq`B62H%"kFcXatX`\Ҫx{Q1o<[: 4-(L4ǸG& E+>#Ոz BJrKC,/. b$E 98}h~"5jؤϫҳw\}ϛ lN3Cɧ4Q_g-Dn.GV"eaQ" @6)*G.o(Hb\i~QS& lʾvuesm ?u/6!abRpDa^/]G,,aCmػZk<߄f1 .'FsߨCͱVV[hfo5;>CǠ~"Z!p!x϶ў]/$O ]&=|j6%k֐CMp|׵3Rw?xyc^r(;P802Χ UM#Zʽ[q?ɯenmP R*yЌRnU.6zAcn6uzXVue;dɃ|靧,ddOT Љo] 6T8^)\g`ȘEny8%L~)F Au:q0])#hu,_C/ jɩgn~IT_(6ZWY("#t2)lzPI@3{%{nbɬ  6-?chYǬ c2o9{ޞ#abΜNl*"-ݦ]\sY+pncX.\1ZEc PY8G*=]*'V5&=#esc& &Uũ]'!&RP͗dTLms?Su jJi5,qxsiCᔐ S_i9 5}>EJƘ&6VAH3 E(9Ocg1ĖU !36UPy +yQ#{;M,c]JI\G |IAƃ&`o?KEHS.m'g8XZ_"wԗi{RnΕ}+3Fh'ҧ730x\X_"6):^UW#&U \Z%:':Z M, |u7T $ӻ ĚN(u^qAY8_E7^_]:Pp>iTƈf6$1'?u Z`{#\9 T|Tl9sAH" WgIa؏@д-'b *Oߍ$ރ'{r2Kk &RU뻺>}1,4Xpysd(<kjvl$T{#L7n:@[p[.[pq~#^!Ieg,:[yHT1Pg#GAg\iu%59{s`)tpv1XŬX;Wnr*Zְx .i2d%cLI|翵l?A^T&iZ$^V>/9G@Riứ 2ؿOYY h `9r ē{mHd\ DUeCy lS@S467 ^z\w  7&Y"6o\쟩0i| xa~gjY1 2of;^Ť TRo~]"5%2t'͗ZJ9EgxsQ+XSOT R;aً'Hw7^L/k6iTl&BiR^[J_rh ғojXjWGB -&+1J<[ r2 ]q WrN!(W(-l{QAS 5s5vq/&:H868tix jk6)kG=&>eQ.xkAP1 !4q_BJbW$ia{8Sb,1Y>t_&8Lݐ0ph*"}CѩxRWT BQ*8OI| }'76r hqkwc!Is8ͩK5'̦dX![| M:&Z4'Vk1(Ab|]PpM.țV5~u>i{i"1y_eH!nݽ RԻ'̙BWaB]%uz =Ŕn(Qf*p6V{{XAO.:˸(qHn 9fVKRT{j|5SK;v~'ZYk8Xc`+^’$M|my1WJ/ZY7ԢOB hvd\pmK7̖L V)AǢ `8GLy42-W :#7G(3N(cZ\No:œ -@v.{[Яd9,셙 l’|p !uc€j>JR$c&|" Y~*R$V.DKnC4%<5\w?5/X)#&AI"X]@y*W7z!>m%3_-qvao|` f2;La0ڴ9;Z#Pwc T],@ fRgk<ϩHzl/g|2BCNY*6;5+NX Gu&}IW/&5FVszt݅~}-]MjBÅޗjYdlI6*US/Mr;nâՅpj38{)Y $~R=dX^*BӃ^&5 Wmޖn̋IN-A' @i T"A`ŦGx\b`7gj>D?}BA/^ןP\ᷤ3.F WCvB`;#[ڶ*OcY]>c a?6Z)guDQo3=+H[@ " 5bv[0q9 ƥA{LM*.Ux~eBb@ihxKWDzug e)Q]҅^"M|a3ĮPWz?PHpm}k'FohDO,MdIhXND$H}0k*J59kȝ>@OG~YỹlM|8A.cKjT橩 %Ț9Fq+1tfPBDS_,, H/5Âai^!=)ycźkF5Rjj7g3o,ج<5#O%zuH@y 1w.vikwVRn`VFcWHvR9Զ ׵tɌ3\JLjM%-zD_$gZVߑ;Y_z ABK Q@"ɨ7]*!j*kLXm_!,̗YKA"Ј4&zTXM>.F)fv3**L - cnRFmfs%ș%}}Y=`Jlj.}I$aaf^mf, ˇe$&ybi1jPq|h:KW\C;5ꍲa(5MRz15L`H48YrK~# DĮA}'͹blE~eYwnkDW"q h̯ޑ$cDNzuJIJ_&n(d38s**"5]ЁO™U<, XhpueI9bPUgTĹ;~ 4.DU= S?aiqOOb+,oC'tHE"\ݍ]BJ_ar}nׁKn'lio@RrA\87e],x,{j1 ł` t҆"=]̇}CTjR۴G&FovMu@CtòbE.][aF@+v08"ZhΗFh)Zs|iQ <ŽQ-gLF5$M>j)@.('HTdH~T?ڰ|muozO<;wgaf04-:c&KXL:XB*N X%DҊABvO;o9s$#^|ީv~$@7)Is\oI e<##q}21Nfܺݨxr֣?#\XIݡ}S}epƲ}V{&G!9G1˽ @:[z=g6x`5K7|RxJ퓈; O{ X)o"s.Iˆk(ON^hp͈Fsp}ʂ/ILzjGi(l vIL9QoxAbۧWPY?˽SdmmMJ̝ZkRkhMUCҲa Oz lx'2lhZ926 9f_M~´ZÌ4\ꗬb8O'3lFD Bq%ls3w%.;[dp+鸝89۹cTTs@[j?m~?$ wsyNh}Ř/y>< D?S{F~% ո_+xd^Vs/ 4]2vIBT1270uc{6*4hb8zxJ<踦z6bJp,齗˫n#N1 v•2WG-K׷2`Utx!!8cZHrBVfYEjL;(R\ڽ*wW>[jf>( 8gYZ إ-T٣ao'fhAL;Y4te.f36op#n%,s9A2hGD̀]Dxu5#2cR#61JWH?%}Zx!};n,IJf/AL 0Xɼ ~Y!CգNWÅN$"=%?3Kcd]G֢m'O32{HvKZA޺q3()E"2Tk}znd9- =jUU>_ с*&AB 0L_QY#x%PVw.Js>boTgD{6JV ;j i,-+"/m{,V_uNĉ!&Kܺ12L'lh7I$@%׺\svGN^os0;xE$ƹjǁ<~&Sa8o_%܃W3 ~bl3+U=M_Xgή# *Έ|a 6ؙTP@CY#gV l¬*sifŰ̮/3>O]B}Q[D)Knte{5?,GL]F MoQeC'td\7ոWTi*"dO_z$i5nP?Rū ?zȡe2G \ ˯r0 ?;":Cښ3D;ARZgFFcdW+RȤg_ -:;ˉwuO)7d /ش՚j|ӲBW6ץеq2w<մ| uk]h D͈='*˃oᗙ(==C w1v-ai}P]dfXxbuJ6"8(Ƶ&K+qnwaѠ6 :d4`|LK# ^%ף*U^a[L ua*vӱ=TD@Xs[neXi5+Z5I$$˺mv~al4 6uA^$.yarhA}}CWDKZ|6ٴt# nPs˺kZ$l%>J: F FY%6}|Ÿ _p ܞ}@.a /qn0z/^h%C*/$M3A.L?JpyG> #/] ߄4f@N]tF'1Z: YXحb*+Wdk_פJQ]X=RoUg foĽ? EU{'>Ҋ13 0b,+s3HD YVDE=p ”U+iQLά[7L)%zW_,H9|{j><>DJMظQ+rn|b9'A7QE+h՚jB?=ԎP7"JunΓPE3vX"NRm>̟Y؀n@XIB t\{~tޔXyJL0MfIe~i/ͼ"G%˜' ed@ŭh<DupJhw ̍eCnDb tP49 4B&C7vn{u5LP{`bå @9:MuVE##ٜwҫ$eIഈR``Dmڍ?#Edtxp `H<2bK_ʩe`&.>>fPׯ@[m[;o+_!$ p $)r""ս(2Ew6܌b ͚lƯ ,=Ai!Ƌ]@Vkߋ4oBm6:ƍCl3!Flj]DElO@MCC\ID!y:SM"޶p+'u UJ1U~ l5\--i &ՃsCoB.6vk?EǓQkkAGq"pZgQ”ڂbCᄒ$;ՇA(:Ԟ2L;00hC7 ( )]HӼZ!7r+,suw.Dk:&Fqb_lUO1S Zr=b\ eN4,*LIg^WxWd.\_Ў %ޫ]eޖ]'|< G6& !18hkBU-u1lrcTC8 ̻-a4o 4͘M3T4'&Ț!Rᩰ3e˿8A#.*y{ tOv$3I!-D=KU ,nXShED4Ywgjl6HlOՐN$ !JԻ?y:MaA4=^ !tX4_Hhq!k}"hZ5(%d}KȔZLc*8}SnDv+2aQt kIyRBpo TlY<P CE 4E Sԁ&E%W݇I>s@ *BWwѾ~RMstDJT~e!3_XndeJL2Q3WvXkza?-Θ6?|BZ$EYߢr; mOP2u ϿsW~؃:ڱS͑)V` E %eD F&!,t}vt;Upd 5a;>l&1@l$,4ٗ"N=4m|96-,jwJ 0T4=VX/wh@5bB^y%lIZ `<bfHnӆ W^Aճ okwV1%ׅgk4 G=_M R"j}@Wb.u܍eG]HcvBVFqT+Nnl֑&.j 2BؔM^>&uh%^7B_zxZc#F9b)Y{juj7 Z%<0 K!c_Wk9HoE*\`0Vl  Loɋ:=mG~ijz+ejJtտV/DaGHQCX}0n`9w.>aB ceMB(oVl>ӵ|u7lGu]zvd$%L'.y o $-wVTJ=exdg Y^5٩\JGmyn$&e͢l RE⊜ϫ?D_1l4J`\lN-QsP[68zgH*я!5Rg}+dXboJy]s'Pn9_2I{2 nּ$*6ʠtٷ!Druv"<5 H)6BEp3`Xlz^CGz=U򥉋A%w6۝i+_Dx 0%[3<{^\(D.bM{쉞ZWZ`]@jF]s=<`ǽ%!j)@ܱ)4g8N u0TI5a%|O E[KaeL-/Nmu^%7S(%BlaUAXߪZ.D:OH[A",hKFV[=+}6泥`ŢmTp9D_&p*y-CL!DHr-C?`܋Yu8OQـ1eHiT,8>I7T0?止*2$2,Z@ =D߆GS*N!Hز?]ߧqfr)vXɤ',*TLn?s`Z 2lhx2X6d# pTCA6 I\< zlDl'>TGS;J&`DJ.W#ݥb&!Zv"0G}E6:X<(g;."&WMa^]Ji{fSG+7=6 ʮX%r]NAQ{5TbeZhg4Fk[mo.bξ|+^UdbŹ5Q\ё~{] +roS!9 6%M- n}D@ V9{L񭣄 L 7a]WR:G2gV&c{X POT> (暠]О RX;꒛5 B?جp$Lኋ)7=6FDGJ!'%Ftfg't oʬC/WQUI"bSC Q5=Y0{v>+ Pёz w)0Dv鵛`T.,~ƺPS՛I'u8 P Bh E&$ Zu8/ȇ V-Z2v@oA+eOP#K)qK)M%04TwdZH޻%3""tN}ZIf\`O#9vIQ$Ŗ 4eqX\.~3Ăh}}Ǿ`ooMCZ4^/%k2sN64ԧ:Ɓ|NZ%A ʟ@YC __:tueJ]Y9W=LmMz|vqu}_B?ī6T&AHZ4u{GfO4^oi&7= nJBU;Zi7!ܤ5B~fߎQ0V-%u.tKZNU37 3ЧyBP0;'+qnC> OY-.g2rEsȕ#U- _p+Xޝƅv}Ӹ9JzW s EK!ĸ.u) n*v=*V-D%T+xJ>R 6RIc7e@A1ْ-Rr54b/ ƹ^& }>HRŨ0"fʺu^&S섵B&KQ7 t N졎~<* ]yfZ27+F@ M8;#Ayo<^M~Ң+s֌>ٰ+-zƇXT~edq|h4/aQLċ-̰֔mHUۥNl Ĭi .ţ(1Il@z ߁Z``Nӣ@+{BQ/gphl"3߬Z"D2$p5.VVECKȔc8[H&Ho8pI}?̻їtDҮTGgN O{DժXLtlwR)E De&1(<)SN hr]e;!5:1|7,3@/ ie2 XZ~;S}L?v ED-CjRc 4jƤgJ 3bI~ۙ'Wʛ-Ax>w2NammU#4]ɇz_b&9G&qA0&,d8:g !J*v 0?RW^7bVjuBOMhpJ8 ]a29oz o}t b!,6H( Jzn&L!Yܑ6?E6^ ޺R{!tV"uo!LRC9vwe\ݮ?)Yх/,1e;jamt"lW|~܊"+,aU3'8RBcid[mɸ2F8fq^YvўmF|1fneQ_>1`yvWfM2 ډT3K8\ ,5/Wx! B+XDEV7'Gb#i];Tՠ2u,/\>v$8E bȎqȥo.V pW2 GSiɥC[ߑF v$ \Ѣ\s䎎ց=VBzf0=@ QmzPT,$Rn߯af=֜$ 08 =䲛on?6EZp]N6z sd$)h!+tF71/crDXhXhD%kRB.Ŀk9vͲAo' i^^҇hk< 3M52.5@xЈ̳o[aFmIL,:/L$Fێg r3f7b@w1!ݵE34b6C`a W02 8m/a7OZ55%8|qipV"nnoEU]%# {@UDWwّ+RZd^?4@&\*7-* k:dV<%!lE&XoKʧ ܢ 鉗N'BQ|.~;'hƵuhHg#kҼ">7 V"ItEUd^a=3$b;zļQ< QA2voA6u>B` -|Rz1[Xt w]V?̸WOۤCy®7pO^+R, :厴o?S-{ƈQ}Ni뀃ۻTqr ݓL|k2aV&tA(DA`ELJKDBbrlU"V$縂D~CȝBnbU1?p.`qi<#<\B; lnڐ`[>fjz,Zsڜ$2ـ\}w iV謷7ոBvp!n5K,Oz|p}\62RlK n>汳ެ5D9߬I LhUÏbd!P:$4%+sI6i[M$5kcyCsI%#3N#~hw@.}/0Di&X|8|˪u*Բ15MQ'y~ײ"J:/uu4!75# =,P[m.ɌfD6`d~#Í ڊ.xQ"rr71 u}7wg"q'N[{lBX(dߥ1N$Z,m ^WxƊb2{.?w߸I9L4iu:n6$ }cC $fX, ;2Uٍi#׸kGXp\$? g8u'}#$-f~0{)Qmh,I!eZW 樕>GԁZc&aܙg A"&NM˫#^LqMI:}b  qƂrPOŃ&MjZSST\ܵƣH!{SyH!PqUN0n˝4 ׮lց7UOY1KL5} fW 13=y`oF4Nf>z_[&Q8"ER]3' *clXlPC/Ѯ5P$P/I0vkx38$iC&{AлƷk.//V=q"ݾSjߗ?1>^RǻFkL7VW>)4jp+\d%vFlĤ(%}ۉU(\(%NpP2o>⺌ޒa0d ȽS?=Re5ig \74uel}aX`'φh 2iH#}SsXԨ?~^,j<§?[9յpDž΂ҐYȃGMB>> {pmg;fbucb2fOm%M~HOo bD庹>i'IR\ Iuw2x]ĕ^u3GIB}H[,K[ޢyv24kX[tDG}6'l"%tj VQǗ"͈G<)%Ɨ*}~5πeHf_)N_Y|gOߵRf'QK2~>CizFS|;XCgY,]g~HPSy[{J`BqJ sp3W+#NU```rBsd~f:"OÞrn~i54cAk In.P@]-֔Kdjأm;JQD@rCt}˨eNhz~< uvh7 zHZvEMBª&&5vM?p8?fX(`΋f>qEJ֗<7-P0O!PSH t_G&hܘ tjxp'!vwlVM')8uǸf^RX'm,} f|>o= ltƑh? {+Ek A9Q `U/͖4WIbwφ 0@yu T!C-CѼSߜƭ8m_Ψa(^$ )F *:33'.$vGՇÍks.JoAg>p(TK(Rńv~!T mK»FUy"Lh><J[*cf?^\r!9jzو\}@(_Wѳ1#:-ړ ?R3lf@~`T3p"l8p &'6UDHq7ʆ[Iz3 gu-&JyE~c^ }09r]z {[6ȁՂǺ{X^9jCERSsL]ʥ #5wEaB7bam y|ݫ2W&onH@+PAxсɰآKG"ё ;fw]8sa:qv8PH7Fg'rhCbψTɩSyO.h?kCjj AjlG:s@seW5.eΚ4 ip!qL˲m˰ō^;fO(sW Ϫp}?(v$5(!RR6H=& WV7 w243Zm0dN/jp0ĚW"op8hhi h7~wS&-m%ͻ[5Of+o%1qf_Oz #{]pbޜ]H5րOMin][.0-TM89tpw/2O~n\JSyLXa}5~őbvYcUF/)C‹l^ɜVjC\f#N:eϓxȁ_$HO1i0UOVZo>`p3Qxȩ1;Agl$GԏϸԜf(,Fҩv.fUjI]Tf#F7 ϜAY A-0@:xMkiIC2wpJ nm2jB\aת=OYFoDhnSj~>Au $}3L4YKTm$VC);bifiԘd;[MܭэnڨDK;º~*_<#f~&0#YzTT)A xڷKF |n/,1@GztzS.~μ*#^AX x~&G xx3 0֭k+ 2aU*t`#s}t0;={zKvs,X%"sQ:(JOP= LT#!CfC3 \t7m 3]E5 ?΃o+jk̽}*VjC7ϲ4 M}A;Qy)C&r0 'xbX!`M@0! Ц[#BزJ5|J^x٥9_q|qzz&gk8MR@iR!B0m~Z:SOl֋>dPYTjR50 :8ٮ{ 'sƑ.Jۡb TdFG\*%O.,?xtQmʼU7_(n#n1 (ar80Taځ |7*p+d:+mA| xcx˞Cj34HRU֫牳F)Sex92m1h"hEy_bh?NU]@LtdC? nG\T>sr1UHj aa*p΅_iaPƾho<%~ z~ l>E7!2׊oe,u!} z=ql{ɤ,{"!`W/mCT]n`4"?քF߶paOh UkHces/3 ܔwqSX`P[KFQK&9R|,ͅzs̹düydxP +ppoNNcv1YjO2w߉g 5bY| NRA`)q.aBvXɽ9T\_ Us3hiGqKvh(]'a8?GYpϠ@L:2Ȯx`XFWH;46֓eP4Oy9h)H^nP rPgQJq{B9 ߏ.\rd>HZI:܍E9+PԲ־K`w4n4/L"8: sJ T6_kLk6{לbBSW3QW 6&4VFd&>v'~W3§jc>Xz-Y%cV(̚7ݧ _3Ƙ:A4%jI6bX -zƤR#=6M9/zPDsKb^oF\srNaWI謄~gYDG5,Ĵ*4%|{˗ϻ6K/Eƙ-[Yru"jه𳥗' loy뫗p/0LEMj<,c/,9 GgpA淁KR\D9u7R5yq;E%^9?6 s꺜R|36tkmP-SD,t `BB JBHOR+ 2ldR yA@imˀ31Pˈ>¢ьtD[6.|My-{:sSXi&:F4h"]a\z\P)FQa!3VŐjaW/cyWJe\B)/?$(XMp;`s2iMST`ۃ mc]ktZU!oC8`_)6VlnY̩~g|EX$= ꩦVanDd}VwzMO Θ$Y_[讱6o/{l{*ȵ_ǫjjFT }5DZWך*GO'uV'ڄ"%X ',`!;%=L[ƛ@]ߙb`bxeܾ;&қc5YnY(]dH@%#?ˆݢT^NӾF}8ہTY|L͝@, |Az}Jhr\5As^S7AGx7ʓ+gPT93Ip}OiwyoE${It,.][` W/DhJxytO S3D#eY9v y#>t"oX0`snH 8%P]&1NeU:ղ6L56]ǟAԱD$QfqA 8B^_GZ:$%QkQn\)Nw6+yYw컰UW돫!.hȚMl5:\u:$r8s;Q+3-\W_tߋNi< KH^@^c÷%"MiuY͞[ l!MΧ =rզf堆#+<MZ+2ɑ _iŋl7)+ʁe?XcN+d[LOvλ&e\My70~k-J?ZRck]G%\ى>E#)_*`qӞV8cޓ_qջZR}lo:\DJؿ_y*o1 cURV)92@d]L MZp0)iy>?4"* Qf/3]L/#1W }ʖlnDrIIU[@7Ɨ6 2ˍz!Ԗ\DW1*DPKnFߴ WbŝPL*~oa-HX0`/ ʲ$p^޴q3p;fMuѰ5h52Gn?[}o 6tP.i9:;?%1[fA8hXDŔuF%{Ew=WQ,$!tnW[于nR`zj(^rF۹ FX5>+y7%ʻXШk5UUk .m' >hT]A|N"** b(sG9qJDvztڎu?TJ+ږ.|8TKb'(=" f;7d {cZ &Y؝OTcAu;gX/ ԟYY:~m)Α־ɝ}S:FbIOc?ǵ9,$ !Ș0hg^|Y\p[JqGaVAg5ZVnQ4@GVm6S$ݧJ#\H'HCt51sadwZOФ ]8Ѡ%E( :Z+RsMOoA?׼7Pym=$\z /}5'kp"p}jo: #~WJqo[_ ȟ&{kwFbtm{4It!qPZblb8jUҿQ\Mi.=/;Sb<5v=uK5#}=R d[-u%$ѱ 82d 6lfII3b۷+%'@{1_U~ ^EӬ/EA?r͑vڙt?`a)7NFНy: , OZ+?u@>0 ۙ Ⱦ Jf7wqCɤ =I3XK$VC*V*V4wzR뒥R$Omjw<ܳVKM]mG,f6| @r?boB\|b:ϓZro?lIUz( B6WцˣNSiPhlҫ|S/ſ1XWBg sdV[{>hY$X`֧`W$)KG{+1gV6 ܋n-:^jr^`nik傿-|S=9@I<.R?†WO$:;ZB1PTd30~t!զbp | -arXӔF5{\Wu:co0s?]F^}n;9 PT#FL̺jit9σ@d^4;q2Ʈ#Ba#1nyͥy+'(zۈ>Z/l#8ȯ0Q"K!Kye5 Wa_Q 7Hi(]j C.wԁ]O(4h0p0=E N1,Z3 I#݋6 0;Y&hkN>'}䶹B* hxdV_m# > 3x? mԧ 4kHkl7'gYG g=(~Qlk9ַr |[d>벷y뻡G`CL];z#bw,ʪ)p {ri"YQT&u&] ŝM#RKŲu&ȠhgB8*'~a&3bafH$vנj &vtà!IBIp C  ,=˭AB*rFBZɩwvWdFx;o2Lʗ#1 ǍhmQkHSL"̓onb,xJO__R6nvWEu+ QƘDe&pEp (v"sx5Q8p~=sa:x\L!++ԓc1  yfDeTAO.Q煔wÚNcc7 =EaN7sԎ!4k0' (5M57b3cw/_׋_13*ӀoI#icOcUUtVnFrjKTL+){c2kx84'h.]gMSӕJP^\Zp:$&TaNpI 4J.|YqVTtn. ntnYċ\L@` w6_EB\ͶS+_]di+5Q^T{٭n N.%e)-njM),Pn\kl~?ue_-b[y͖(BS ދcWsXF}!p {Xy~Zd8, (bh<ճ b|23}?YBre6*XGZ# A`^lX Ae{H34 rm.'e@ gQإ}A{4$gwF\_; TDk(lK_8L 6&ќ& aq?t0oaАBhsn ^gFߩre^֞$n;'Bt 7dR@a` Nkcsf>ai]8$4/a1wk!''"i$59 nq܅Ȫ@oT {}蘭EqNDr" [OeX}@G%>2XbnpUrE@gi"l.,ɬ7g/$D#s4hS~Q|berW;_)Fk,Kp,Ha(N*1;,M00Hg﹂۠3&t`(̝vD:*e埬T#k1*>À]+wx`d]~GR~E38bq=K㭎B=]bNZB Q?y 6a"tR8I*J %yL=o'ztY?g.ȃj]G<'a\Dz~zd$)Q_!o#V$1@!%6[gu,\-h֙b,7ZYV~X&l#SJFX+g >3VV9Υ/6~GXI#hY:{b95:s"wi)f~$m~RckjI `8mGJCִT`]HUgrc_&ÊaP~B\V&J";zo=bD3fV-0@CϼqM'g,Ҁa)Wy5`ysL.Yh6m\zWG `h"NA|sTǟ[y#c4ԲgRa@LU>~1:,}έID*B@TU[ACi2`JyS}f%ef^=x)R0>< b靈7 $(YW.)W3EFVՂi|O.@F\h0'CSal!%mhpEh˜4}XĬ݇$ ;mLz7yfCYbxKiSx܉6Dl9y/E~Lrl=yw6O9"9^D $h:sfCm2ӄE5E"ݻssTz8XR;a,1PÈMt|*|hgt xX _m%lkž<t8~]!NkTL%BSVb9AKq3bS\$ F1u2?"o8 ™0qUy DOϊ |%E-C9Uq\om㡳)70$Οm9/(QCw+9Ď3&a {(\A[U .GݣPZ('{H bAr?XZe)2:u~mJKA 8u0/[*r;OsoAHd2_Zi&'NS x"'|Xulb514Zݪ٪ň@}_6*bq=Bۡr5oa+5I8_EF'M*[H{}E*Ty0 VV SxTOf*={a50_3ldϪQzֹyD/{+W<4?eR28^y1QvR+a 2  Iݤ1\ PW~!L! krJkxErl VQ+ 9Ey<568s<`V++gf;PkRK% ‡e7B"HLxϯ1JDi~_Dv'F́pe^B{$3=B% S[$'&uSA*8W<ec `?/1'x.޽h(!|.|HD ؙ݄I2"`2fuQPj憲]Lz1pLa0&-YAٍD)UdgГ1-A7:t S [[#rCX,RbM Yַ[Uj $DG̒IQwFd%3D7\ ҟGw -e/D|4ev!V*wRqdqSyOK{R M㕁3[a7!}D!R{lQQJ* nǕ{ %xlsG>"-6!l>1{PT}9pp^-+ ojKg3uU׋[& 1.| 2t_eex 5ot:[I _.}XWP3pO"-rFq{ @Qo2g%Mm=(KgYZ ((@ 3-% Robinson_ArithmeticHOL-Library.FSetdocument.tex7zXZִF! kLH]A-MՋhvG"uIBm5`bd.PqI#SG)io+hW Xg4]Uf'Ϲp,e܍}mXU{7~b]@w9:ɚT-0ݪG;pGMD Yc5[hOR.H!HتܪR NiM{2Z,0[@"IQZ!y9/H{ppifnYbƳUk(H)c\%G ١wV'f89I0ϙ{$ {[)72'&/a8;cTt\.EauUhDKU,!$ [ǾQKͅš *w7vm5*$/RR|w]ɺ˯TV}iq7,tr]f^LDYDi7HzVe滒SN#xn;}aUd)$i춛' N;B;|R(\!h}#x BsyWj98J^?d'9n"\i 0 UlTu5hjNKZȷ"R,˔IEHGN[\dT(ANgZ?}n CTlvS`t@ar'W¨Rճ\ҬT`}}KFmn+>畧fƐ3yN}Q,m'!j@a`]AKaV#Vt|S+NnfW1{,.@(\Vwxe! L6 x%?!sl*tk92l89L74N8C6QdK>X{?ÅF  8uP K!Tmb^s/yȧ[$X {yͮ2Azx[:P=.B*"8 ᦾ]: ~b fӢ D %d 7N&m%>쓎hso75גWD/RS 7r,;8CWg}mzM!kS3Kon05V*  )TXb>- 9^1^+R8P!&Zc.I6O+cd;mUGGΦ1q'IxQ!3 MfA[^A@R8l;&@'@lJK$.r U9x; #C=ʃQ!>}hqEƏh,ֵ?O?37kT{mdn&ZԶŠ,xò3?\M#HzdY}B/JQA)IgLs ZJȜt w<}y%ε W=Z徱%XX!gHjV(< JzG%mb-{J4]Jh3\!ݥGbW{h;C׮K`?Ub9T3LjqW|ށ# )G/'2%ꐯI9YuH֋R.6`(QuI lCD5]fHBX#*ۨMDR,zanBHxz[b0ER?Lb=m"0CXlK5?䀽wW?u𑄀}Q,4kzS2h@)oΜX3O~OVoeQ%-g#J+Uc:͏4@ 6 N؛S:+kLK҂Y08:x?Y֧Lrm\y)A f  V 39% k! 945`(f }["7a}ҁi~@x²`<ÿx&'x*ni8Qj 0|08,eZ,LC茸9{6d6┃ dZbCD""]55}`1/g[_l)w}|2riiĹqӐ6wӑtMfDsPveVY$%Uo0K?T~&99~Ee57M͌%I'/BB/s5Á&GxgI(S8#l|9(/ƫ2[[Ӄ2P?wwJq\-^Uh#A$&Jw/vPIu) 4PSHrmΠĻ 8s RP%׫JK 1 S e ef%8sh4I:o̓%Nd[F= L r+lHb8 ~JM%-w#iQYn9 >)٤C>U^BD$it g vc6CW|tn:/mV3z~,=W˚k!M/aTywSڨ)vnTL5 ^? tC*(!u&,u \\ϐ8s< muhE8?xQ /܌!10 wW9|AֹPrb&Mxe#N{ 7'Pa[{qԘ=D*pqgvn>H4~ů=pygE[s炵p؁"xm )I"acs_E $%OZN{hVx9ƹA:I 9ןH6T]1ԳZ)({5inZ@{"wch?ٛr%DZ*何ɺ&6]c(|E!^jo3~Et nS l.H.Iol0?~e4,ttx'3=-6$O/.Kҥl,ѲC.8|uœzz׾BD2Z/\iSvuOem_ }0AiW<$ ff1PZAk%bQ;phm? \gy0K%y.@-4iF.԰yR(IL|8A:A4;4Y'@ YbSfjH\PIRG|dz=e3hJK[lca3S JIKV?C7K6Nd6=}Y1؅ e6r `=@-D"rCc r$n@zs4yG hL؅d7qˋu}]:~_8E dkk%a~7eͫU6u 1UO;LsHoyd3s,]Jψ޵ODw jH.Rt X 0Bs^mA aIKi65] N9&FC[l3ፔR-՞Z* T%R DMIf,% e KSL6ͯ $@.u;). koW;l_'Mr@&5]'sϑ}%ѳISb` s좜cl#uiKJCM2M_,IȅO{}gض4 ʪLb7X׹z2-vB(l^O!J fN{l.sE,܊w9fP FZ&DPCQ[|e#Rɕ _Zgݔ>PHo洴>fU;Y'jv2'F^ z ,P[jH%0`ϦH7ύa_) @7|o I 20`Fe_ʢ:n40_C`IC-M4E: [`K(r𞍼\(?~b=j (rNfı:^x[kR@$904tq`nN_ [`pc<(.N [y Y9Ӫ=_*'DkcFsgm:EjKd# L0=~7E`1Qh\6}+YSH|cK9-(pu$EKXBxbf?9^ Ӣko֎vjϋZK0̩S(1Ili ~G:\MOBp߰3.j# 59YJ}hBd=Ks4i<[H:7>пA8J "Յ7+d!Am&n>64dɌn@.ütd,{׳׶)q >NLC4B9M[JJ%HRQxf/Єl^K+Dq鑈?s$<̌ #ۤ*KU摰2,) C(y+XNx*[V8_XAC/0{h9sZ]'bƃg-lgwHXPA5~ӄ|Ĵ%Ozׇ߲СlDiZ4>y'™3u>mфET_IC9e<ؽ<7q!fpw3@hg%8WRruw\Ō]nr<8{ 9=]~2Jf0V1[)czaĖNdw-VN\#MBWҳZ8Tj z_g<OݧΘd`ᙦa_>˼z"vƟL5=57r͈nm %M؊5*1uDcw: 1[`NUG r_ Qk^gpXE#05gUƱٮh>E0G1] 8+13TxQ *b|z쒙y.%YJĢq)ўGY>:қ V>|Uˏ&E0qvÖ/6$Nnv㴊 {<0uĤ46Ÿ ;N]`su#Q6>%j9#(ҽIe,u6:& |ꘙr!JD#;!| =gO \AabC'pՂ&X6i}Ŏ=$юއۻ/z1pG[>BLwo(\Tp~zo5?,1 lL75Q}iU]?,d;p,p()`;ꫨ*#}G#Ja |=hƾC~-Quᩉ0ċ[8D`;=\QEW6e q*՞\bt^$м~Ŷg5Nzd9_ t۱K*cFEY>N l- Nw<HW)gRGc4-l>3TA/r ȧ>kSf9 їo+R~T<4q,N.ͩމqL^AZ٩Y:l\3claRѕ2`~pE*8 МLݺPKbD%0@tEғI_ m؛`n"';1k OP1a^{uzL dI0zM1p@62UoG\ #IdtŐ%ԡ[SΗ ?՗BœgC}YD#&<?ł*IV񒊣tUOfFPzT7(f~FUeėbą%U+muxy:!U)E.<+M͟~0MڞWծq oQ V=1jOfF)L8% }DeƾZl*\I (芖rdzJT8IA5ey3tyZ ZW-5=a_5!AdV40ffui<@G߷ (:9n{g8Nƹ9sWn1+"^Lx=!Cf`t~-  4? Zϳ.-MEKKTVg4[GڐwM9cn<ԣ<%BN07O4,b¥_5& 2Ĉ]%sVLcxjN݆d,o_Q4l>] g ͽ/޶:Zu-a[dzCEb_9N܊V1R֣,^*/>ƹy0ʌY.H}jB߭q$NSD1]lv?2S EaPgoIYSYQ13 kbh9Kmu[2:ϻ1d_[ gy==xV}´QMٻf $ʞ-/ܪgowCn狜ǰ9dXy W$BXy12 As洴P/g I,r}#[^w?jҙ..&iINw} 1hTu70I0D눐Ǒ8XX|3< }Ta1D`FDJ/+]* :f܉l&OuwinzԒH@p_aYsVe|}W/?զ r־O\K9ŋCZrpc^m=lܓb 87shXIu`hxfbIzSB5beY\34a͓ X֪ ɋHD-3KNw.qt-ntl""˙(JBUALfyTճ/I;rE~|׾W5,6Bj 9Jb'ɺ>K::/83hQGsqӱu.k:5yr4#4Z7Ƿ&!HwU/\2up,-hZΐ1?SyoqǷ.\bIa/UOO7v|N4j*]C=huomHRG@'f{dc1a i.<(c_D;\tQmù|EbSo0@!,&$b_璣 >cCuUbq#Nn6o$@wd .}q._R{!ۊ"-Ì;F^f'e8%jl7PbnUV>U(u }JwyɮmaYʱkΘu&.//ގc|`S A FGR2 >1 q%Q\S 8/=tgy cl7R Fdh 7} ٺ-.HQi3@mJe a}Ye_Pi K=/T{Brꏢ  mHhQ aF Mk 鞗V3<>Bmwr[`s+!ATl=I)>@jUgHqrEţ:N>Xf!вu4 ;Z~zm }擎P±E \?T5O,0eWFGOʂyckdL^ 2EX#ZCU1:Do_Im@>2\Mgjs԰LQ٨'CWmTN'Ҹa~i>,3j./mnh{ɖl-hĝH Xg~s#$K|8rX0޷خX eyHFO PXۻ:(".$/:˙D5]bZ}lHzb5Gli d@~A $^HJ=g'&ftgu?Ouˆ:A4>Q+͙,ܮ Q\mv"Xy7Հ9YOFo9%^'} %)7xTb#4d :_ްNH4 qE1tWQ1YprIm;w ]ܧHG5Yas͍koѴmAf*He8`pmu'P}@#(N:3~_=B tQeND#M bDٔtɥaFb֐qԢoVixXg <}}TvibQU? ໮7z]()s^#OMM~uc6)6q A+Z2l8Ae#tCZp]g- tw*Z}?3r^ç虂q~ (J$Â1'+3EUkZWvuf[Z9^XBPޕp=v!\Z;8.x8գeԶ/;=j˰5ߤ-V :|6ɆlW7ݶ|h'5ޠ v\&b;{ bm)]།#:W|+b ܷcJ^?<&GQ !o*5;wǾpd.Bu)տ+m1kɳ[m,<޺=!5 S 2d9y8jǐC 5"8P= b:z"t#`&G3XDyz#-$qAU|pOBd.x˿ϯ!-ہZܿ¤1qXea݁kѬkK? t؏g0ҌgFHQ_(,ўy9оg,L X ϨOG8ܾzӖ/),)g#6Nb{\dNw-9pY_WЉ+oNRM.ry!e_BXwz+ p.4p8sl\X -I]`{" *bC86,gz x<vGCtL4H-e1G Aް{r;'^lRFdԢ^iNE  ڟe IST€j3/p.{Fa~V׌7Enڐ g/?@P:5eNA{re,o,|1M?dl,Nh>6QK0m5-d毊Yr궢 F._4lhi+`FUB[D1ܔB M/z"<$jzndѪ6:zz]MkT5"qyL4h ~(};_zTR3;)U13M.c+d3Y;I# HmK7~I"gxg*<%E.fUn+C }ɕ·26[xܒ9 őSI!1*.g^ k Ƞ>?VNBɨ/PH 7!x?M0_bPҪiO ]T@)a vZb~'#,(U R:s>xM|~ ISMChXR螱$MvFBT(b yXCF-EL㝕m1K'rA^\9u=<'􍲏,ܙ.fٍG֯qm )^K(/-(|t_~ )͡aQ+ ;`.1s94+6=kă2r0M;`7CPb9WoƎ>L"X.<3mVxL]T~?TX-@^VwYj 55tsg3 qy%n"ۧ:==咃)R ((r6@SH/,gWvfciN+8iJҡԲ Mƭ&WUdwg\ke3#DŮ|Inh밈MCQ,k%}Eyiry7]i'@3.HֻbRehy}Db͖_~t@458= I}k;?g5-*y z!H A~c 6V2 0'|E帘U@i|ue%}w8aM==S⣘߹7yʹw~$M:3C0YA`uFXӨgi^ޠbL32J La,I,Ni ud6U}T ڡopF'hʳH֊aX /tKr]Ol7&;ȍ;y9|` }KkUynO " nF'z8IـeʐEYڔ~TkwpIHn\A杊X ^{H V Ck"K~Ie m!dmRiXLkC9̟s!6] ߋSꏫ}%Xþ}ފ8ci]d Y4Ζ+&{;r/VnuMțm~kXo^K_Z%:8!#B#^۶㹁⅗.YV6K6d.F/ЬMGJә1֔aժPK$ ct:FQjgThZƐ$n >L鋕f8}z0Gh&%Gf~Fj3u/K{i8rwvLtD%1/ԻS 9Dmxے_dttX n ةh"aZOB!c&JqoM70nB+.Fh! ?7l BΝ=o鵜,"=Ig]KljcROCbBv"mi{u8"I31'VbrxK(Pԙ[>;WQIrnUcJ4 D@+XQ,+h"Ȏ  ge>zrCgh}5-j`p^KB_yNf_~s}&A8}Ψ'OeԮ[TVQWfҎ jBSה+kR~QH_;:K$"b?shniIJoa(b!ҙ ڑ]ztKlKU6#~ُ+G8?vҲiPSF._PFN"oǿia4,c\dt ӤA*Y=%E`[va0 }}'窨Zqf1N]FǾ$4|N:Ѥ I$ThBI,rlA3:{9uJ@wď%MPqcL%d6nvh4nC86Hk=%d[ ;{;Biµ_ CO0nQ4Cm-N01"30䠉7ϔhQY h 8I;hiڳ@KC=!S{@ T|\N*1 ð(g'XM]sGJDOPhЁ5'K)xD 9avsƸs@H#:c6)Mu̵="~ċwQQؼ\%^: jg5`*Y dU>9gJRԤ01BOr:ͼUݽeX81gz&3Va lrʧB @y<ΦqYk PBt#ys95訮Ks|TnOq6s}\wE۟r5oiAXsB3vx髝w fp`62[xT Ji& x=^Uci 5L[\|»hL%Д2N] ӮgZZN B(c +8  (z-LzS黉U?Oaj&@ '!)2zSeH%Brۺ.MF[C**NLse[?\'w%;ߟ쯄A56V6NU';L^: 1FdžM>m+hKP Maרy)KVNG-Qqjs0Pwd24nn&9ۖ#sF$d-)~Q-Y1vGqH-re.' D ӫ[H_C:xgXmLr98F$tZ`@݇,]8Sonx@M=Y?$zƿ52q} e9%&Ep>q%݈írnGUUȄEufs|J&z/'A'r? toܿl;P򡣔)\ǩ_9m\ RSGtKR][ӗYMvIxN9]P{Pk6UudX3S3z&'*\uPp-& >`OZNg͈2P{j-'rx N!Xpev]㒧\1&_xN5@Y6c&_HFBc(@s6~*'/[w^PUJ3P `zt^WoI<\o%`R k*mT˶IOB %@yZn6!aMC4eGb(2C\TBkjg+ǩU*Rr`$P)B5-٦H.Tv`iSz?ffNM{$5FW%>;Zq 8NoږnF\ڬbRպ2̽|E @-ѵ͖Z7i4G Ty _S2M9ڡלQ67\\G}v&M kF]F#Krve(-ʪ#H걻;IYx%=jCp; cxzZqf|/GЅsf=NNnLpcvCV0\ML[/q\嬳OhE 8`iii[Z7m[/Rkg8J ],'4I6RA_;ل^5ef8l}!ӿq~cd[0*n )^U3 tgEڵBN*k9fM(O(FLcT;+],ʨOȿ]ːFO(lY225@ >3sQDDd$s&~*$;V aF_'wegH@8"xKI8MO'gF..DUxʿUcտJ4 ."Lof5Md^x|\I' 8h!@&qxAiv+?A؞}|Ӡl *!!/h/[}UHMhi^}<砫Hv᜾7?0fR2ɱ!B `5ʻԇOVQ ~)fRVM+R?ݯ+ح羯>6l5WD}PY?DiΊp+V0Xu SnjNgVk2:m+~2>.N_Dݱ켇J#wXve n(a'p-_~LpYHaU2cëءI9+w "JEĕXdzEX8Pl/쮄 Ey uSL]cx~瘝Csa|(uwtCu4HAMQp:~'v"+qfg߷b^Ho#t^ق]=Ǡ˦2CD~n?Y#$j,#YL;70 ֆ KS,;\ $=ze[bq_1IجF 1 w =#9})˜|:w[L{tpB»@וw<<(W1::>AJZ^/￰Ehh8;s(T+TZ^veG:6R"y<%DNV`2 +nXf`ԁD QcU~b+=NJk?#Ϯ0"ksL29nY BHJziH+m( 7bmL,L% Hʇe8yd\{ ,&L3kE~oY '["sų{۸@$ւcѐINٰo+Tу6oVz\Ka1nn:>mu1^/}?e*ffWu8oO(vf87&+ 0doׂx>[.Q:";24NZbQbi iYh{%/엛 ιL/^.sN&65;ǔ"8LC-Ǚ1νNjzB |l -Z|2{^5>Ex3 5B9f+N??LKgBdcqX/w>Mh=}:r16"X<,ps{ߞz1'g :YIZ$( >%jq4Jeh|GAi2 l"KCV!+!5A7jޓ;?<凒Tsqvߘr L<_mO*&ɰTf-M̡$6r6}-y[%\s{¢ݔGɼmGפ0#ޖWBSo`9A($0emG:]Jc=0:G呧PcE6 9#_znf5z GI XM٪k6|=h!^d*XP`Zm\uuKLJDD45 r@ʃH:>ZQaQi ~Ƅ]:*P[t_<_(US{ RVPgrj&N2RYڇKRz!P ̭ӓ _6٩L{B W0%@z{/:pĆb_` U@]7i|ƍ{[Bв?M=7ev|N];d~|yREDOYU)"SLs\L2ɿ:3fN oM ~ok tu_T5DG|j/16xǁK<,A`LmBR,jotg\VT^._ychHHuIP_Ocwm,4D39fKnM$7UF[Z,(2:;3K gH}~iD8u9Im-*/M_&X&7w|^C7)'aQI?V ^ݟȚ8&rNDܞ7"%ur@Qаg!Wld:~2ȭe̍V/־<)aؾo ר)'MgWJ81&@=}c6>8O'=kkqcnE;qy54X9*Dpż(3c/#eٰwYBGKϗL ŖҜc7Y踚v//@߶*8ʔ:dK 6' vQ,z#^ #eI'ڮGoi 赈h#D4v΁SW'qmOl [cg;Q<YV[= _(=*q8ܯ8 zLw pտO?T Subv oB=y^\E뛉#c1*.2Va}_N5 }t'X#EGvTux7c ЪupXQݟŀPImvšF)0f=y%aw9g??\KkfRRm7⦱bA$ӳd}+كX;t“ngjCƌPP/I:ҵ.S.T/ҁRTY %V 8-Џ"3iA|srQO5rs):;SM+>g,u}E~e3v<2B$;١y? Z*^v]; 7,g vaonLlu߻5jGX{q2UXvQ-? km,3N;e+uV.mQQNKa(Zl~n5Y2.Ob%6P ֮>Ub6Z.A;Z+s|bF5~c*]F5i(Z @WծJ&'њH*!zcNw̆(Իzo\*SaVk;?LtͯQ'je8q>2gdXğ&| Tэsya _g[C TQ!xliHQْmIJ:.c'1%i:ouM[M6IH "I/31ph, 6EZe.2[^x~iNyP:NTà{ȀʴdĻ_}k#k/VmGwP5W.RI-n͡oRScIBǧ{|sPw)W9IL|@y+i//~mnW:Ko8d~iS= W:tK&%kiKq#mb$ _99ÏV?ũc aRI܄+L(q4b)jfRb6x@좗 n m P qhPESrSLg2^5 =Z 'Qi{IaC-_DŽ=?D[RvR2hE@#krfdN4}h%NNrbԿd{F 7hx~ā8&-|W-dB(YzqJ摔ɀ&-@B#eMHְw ?A cps'>pֹՍIe`gVrU*whʢG@/^M]z|@fBXy2&Y<rAxC*KS}6+#UKu2+q&K~ b Ai _m(}SIIy9ߣauTGjû̾fQ&e'r/K$T@տfWٮ6p3᥅R1usAdHVv09O}a_45ME1m[o_- ␕O^{/ 9}pnEh:J{%)q8+}r&$.cVKE5!oi1f@ZToJe ?uI]vQe!G'4y :LPgQRsA{H[-gkU/ -֞ C6b5(zeLRk=(#fY+Z׌9 ^Yut$B͊PӚ Ъ9*+ns, 1YV49#ϏcCfy=(Xð"c=b%¶K 9ffs(FaS!o84 VY4<1s- {sAzw=eVM~Y-AۂܓM9w85)߾FYڈ9?ם}+AB\Sq 7QfX|AZG SwS7Uc)OWq 6Z0V-?Z$~=VGl}s&^-E^u_PdceڗJF%4sg92۶P aJΚڨ;4~nj.<P`Z?W`-+ؼ3Oh ɩNyfB()ҥ<_ /#!,oYrQ!o q!ްhXZG9Lw܌)Ft#-)qſO ` |RhU9v̞\"Su OOTr`xbJ2S#.\cb1:8 H$ʼg`0 9fՈ7?mF=cަ3l2 gؼ1* m̝-vP?&tiSU'dUH7MbOtyj΃h<}DYjH$qB֩IDufB=NX4aQ3<:J8:_db&9 (*C›h4?=x*ZD#:9dܬ.u6~I=oEB۟𘨒Ĝ+IQӘf]8]6#*`l,{ L`d22l'ӡk&+|&h =G:'tte,zk=bXmak1r˕ҕ*ܴ̘gwIv$w2} (`P E`>^0Ju\AՆT0ɨcFp$: |kZ5P]qO,:wW vPĐӆfiq.~-h/𙯫QNOY*myĖv@55J?͆}J0[~/DI}U`*4T|4:yLG\/CTC, L26ETkA>1Ps(Z'a4 >藍r@8+d8@ t= oUH舗pzu8#8F^/@l.vr( ;ʟ # k8 9;VNVVq IT C4)x'Z ; J;TkSP)0׵#Z~Ob\lD~+t fY:J\S-($"v']ãXt~&<ՠI1;&=PStY]#FA Z>5^*8S+r. 3ږE?1oC7+~ `eKvc(f7,L{T!{l#Wp928 P+Ԩ%K|>NYl266*9Ru=L{ '̴LA0&;C81ICm)!Qp?ٯmбxeV mqט UwgŠB?0[W 00RWXG|S]W`V7^"X{R?~HWoD+%%o÷.к 7Q3yd.F{Db<3ߙɄr>! o]Ws=U{GQ ~Mymf ȰʹZ3)=GʷukA__2*^͏%HƔͼ, `kܯ%Ʊ/:!xĚ/3 GZ S/G5Gaз:2e1eR:VrL(X)"$ k 9_OaR6s-nAWf sg,PBpRTR[|WID'&Ul<6^?/ˎ'nmF]CӐS{ZMZQ(hOͶ!~xGⲆws2fM)r_T/>H@ejX#sk jLYvK%>ٖջqd}܇mSHSl*ONU| yրrGEѽR(G;+!,T^*ۚS qtmN[󊀩a]5յ}Y <{&$$–uitAX93-ψF[Ǡm%p]kPA#O/@03|G= 8A,l6 \Fz|8zz{YTOY CjKi$]4/`y9B؋Px/lUKⲐe.Cگ"ZGW*Gi6|tBr[dgeY~/r-G9;3C;UAqi3ZF4BȁOK[grTy)Ն>)?RVGN:W]eN+A}X{ NNhNtM/ke{ta>֬k2PzVZCTuEq;ZҪ[fQDͦ44Umy6$SGD0NMR~tԷ'&5 ɢջ8rVguϩΕ|@Ae"2#mo$B+Xg=-ʌ0QX/귉e:\g?vRh>~ά7i% * p0U"rXVضA7 T qCkU*71tm+I@szM sb3gWo7GOBUQYGx&잵4I7EKF;%a.(#,3o`mIRL$m|zUBo6 |z7N`ᑁ^!k=+d|no tj,e:x,%6CD2tPtL#iywY{"6 A GS;fmOZoUUyPŃ_L_8b>V~\ zomqZu39m%I, Էre9.IYr[R2n$]>@wHk Yyh„6[$򁷏)T(Ma]Cx|dQԲْY'Dp?{6qP2Lgĩu,(RjWOhr40u_kZ_"]*SJ/tckI>}Qm 6yqԟu2;k&AukW \i} 1V\NJ'ML!|J9.5´U0Fp* %oLE8›J#RW@uMQi~s*[yH#lmv]EڋXUɱj䕦cfY:O.n**5h'8\=x}0 ~KF}’XrBz*AHѽd9>>)U%}`"_Z_Ac0RqpAHBzȐC.{5xcCμ-g;KAns)LJ?&Jx H~lqv x:WrRpl*Լ(IRnD#uD 8-R{B༭nU[/}}(Dm̮ &r"Ƹ>Q:Lj\u~E 3VE{v>v$ĖG^Vvyֹr\Lb> !́8俷zD5GlCGBbKU-Bힹ7Y qR+\X+0$|)*8S0&Eku:D\ Ms.p!-O_5p&rJ7iI1^^ eF\)VHi"*.\vMx x t[%앩/,RXq 6J밨Z^22hwooBQ \T&Ha;Rm׵%8HG@F] 'ܠtinLcjЗ-)pP1ЛN`jz@GtF?{TDL#AbaVC{hSSc^%b*`ƅ1sn2['-ufY't/VYi^){#L94ƚq$H{=],}lEv29]iˡ~uOz\xktm됪[.Xl=gnu icAxǴ "u:'kl܈:xv!!>:p ~iKzg !T:G@.(#ڕӻm+0$D'7NUeϛE4"H\˚lŶ9 ]LXeȠ2DhŤH`A#(LؓmeG5inm*9+{,oEєXKvSP2m1!a*ȵ3O^LL %&2fʆֽ"M\k RAFR  o p7awl+W NA,ىR v {K.,٣Ԩ˨'',/.xA{5P-OGdӪNi˺ F؄>a{[h1|^mkn]?d_eT+܍e)r||k4 !&m7U4.']l-mWxCգx̩u@YBK-dCH.i2@<&oTf\nCR Ϥ;GKr{0zFꖜbEH{;My_pXLbB@$ŊT{~@EG}4lR#ɎAlVI[ŰSURZQc8fk+ht(v\^6gޑ3 4glZpL8. BU*CXd<o$pDFǦžoWc3&R\3MXcsqy̽a<MĬR~h1R Gh~ڌle 2b4/4!y ZXyEidѡo$Bo ![/Hk+\zӐ"$~?p'IO=zpY*:{NÀxg( /޵$ u,-C$C~0%uYqsqpHL:*hgf5oݑ3M2)vpccx1r4`pŪu5謑d*-h[daI9'mI41,ct @ddv>3K]LM@B /9UG] [NEBe M;U91Ƿ6Ot^l&>\Eυy5L%x\ޥ3xF5>Ck 6Z|3.PR־=d7虼3w5S|<fj%x8mpx4X+h? oႌ9ejZq"z $YŢ|\̀.E˹c(rIW޻nD&H(/Z ofh]4Gt 'I>a$3b_WLm9aNH|IZ:ʱO୭"&f̣b"ŇHzB_:կY!Ս78^*)Xck-_R=ȵ=gʮ"sҩ$֑(3?[R1nAG^k!Aɵ H~zDIxX-a7h.4O`}L%H- *"ry5 : GRU>~uÆ *ߖitEA̻@cC8MJ*,>)=Vp; pm.E:n ~6Pk$e@v`WWVgΜ%j9xA>2fg t[}|b-0x(C A#6Z}\]b02ֹy&h>xU39 m".! 5DE@Qo 1.~QqOiL@}ʋ^q8R DSQ3([1?yS%tq#ZѰs3( OM$~ZD:.>i/?mAw钙{gc/ӾCb[Sy kL !-iw b䊻I Jmb>/N:7;,IQO! B[)]pJ:@zvbjjC!oqp_Og6ф-)zƯf9W#h0RI/ىW4ņP qmYdW~mKgTIކQsA=gc>n[c]f8XvR 9^(3+nPn|!$Ohd,I!ųψO5 ݌gXœW{-0mjva3z-~Ĩ]\'se [%GcQP61joLa%}#*vyM}׾d18 5M-e*qêQvtV}Xջ\O)\$0 ohw3V J֫uJcXA 9GJD&±ɳD+joփ9zڪw[ѕl3I)8]lKco7E[cɺjbۈ1?:Ѭq(7@JNgk$6JDYR1S|T'"sլBѽ?D ~",LpIƸXcƽ=Td{5⹰hXb%tmáXS7p^/I%,sզ=ednzlH;<7oًˋb͜}$KQWe\|}En{Uݗ_l t2$b8 6Y`GyDbC?{_52۰w%E2G 08~sc zG+c-9}^R muF64[ j1Fɖ2MӺKwJSuBї(xFv6jFN+QzFa vC M<$HH!y0G岯!w:URJ0 2(VܸDU,UK؉ty( dR0|YN.e:>W5]Op}B1XN2J?vG~t3(Nb/Kԗe%(gBlҺ=:7 6Iq(}>$t1]ghX_5ԕdC[uϧ`ӌ>2% mByN&m@}~݄:{+sejzҘn6FKm=ʥŅ~8$P L>b0_8(!ntY~S!(TMmtn̰,׮rFRQBkF4eJySS<3qGͶ"8"b5 mL"$tQllK/Gub#sF6opԤƴnJēv[`r}Np ԒM^73COs3d!a>&|@^"2*e l&Հ- JX bxpq00%"B6c+]zCe8̸"UK=Gz٬Kw~WPTxQbc~0Kw ~p2;k3MFF_ϧ#/O" >|&kUI ;fӝhu^|{4Eەf ˗bFBm g"6'5_ș?A чQ1֕"{*Ts{i&`$xdEBa]%58" V+%_DCj+;3Zșa*liYA3/a8BF7L-Ϗ)9 q 1VrKG2nw֚-l#J0{Q~~t` Ͽ70wve`\0_!G08p\XOy&Jm >>cPeٌHH5 R-=*͐uֶ#7*zɶ҂5#؎T*GQ!uSCV0YPbaǞ I.Jebқ5= zT'K!_ ɝ ̠RfΏZBejy$-w9Cؐ>8bwp2PDu15sF؅҉_JJ^ x@Mo.A{kR AWK;8 K(4#[}w[\`Ok2?BRC$+Z1a*Ңi,=@';ck#i#4{b@? dq7܈X,8qY:ug['S )Oaݓ[k#N[V}MrhN$'Ւ?WTň ΂4ȭwUE+6!A!LnVBa% 6ZIeE fa쓬Yof[ؤ2 K8YVS !!ӟQ ʵgBiXGɠ#0zw^( @F+ ɵݧB)K!JvS`eq"يOV-N͒ٮTȔxp4Ebp+x]ImHZ#UBK_DWעXYꌲaEec5fх *qFl"bh;6=3ѣF&ۣByЎSLB})V; Tǹ[A] ]p*fEc夗s`LJGr~<#L@ꔖc9f *by3SϢM"W'ݶTAd/tcٙ6߸< .KK;^G&A?מj!LD~ jUv-̇+bJ꒚5,W"i%^t [[@%yAj%etgYZt"pZiOgY>tC)f5n_#/-ڒa/2֬ J.RGV46O!j)בJyN}JN39$%d(2eF v+x0(p9=xpKZCЪ]u@ABCcYfz#L|7oޛvB%؞+PSq rF' w" Bf^H״6DA>AGċXEJHs~׃Ny6Z]^v(ȝwk}Y'yH߅jX/IBԕP߅$뿻k-tx7[>j)CwovꨚM+wԳWgبd dAc=.9r6q:|1r!/@lMoXy>FTb:qzyiThӧWl$ќ܏+N *Ec)W94Ԏ"Ġ|a+!oǁ`pTϋqźbꏽXm"'guVK_fGV,Iʷb~J)R`i&ryUu'h +c\5:V^r?[o_9ŝnxoWY 5暩0KF"Z{rħ#5wz^9,mk{VPo R&FuN1JuKҌJ=ӆ^*C@i%-Bsa(kSPSa(Pw{* ^a4[4OƢ%'-ˢz6B3 *k?Xb`S1t_}]a˶ŏ& 7/KĴ(g3 Y/r6d9 /`iW" W6S6SR11Lݍ,SJA=ʕ&";qѵ/)av%\}݋= U?Kb.>S22$ F6;]Tr1myi0`>̉6`|< )8Vjí}7^ML)|ׅguvH/x T}j*gV%ʳuWHB$]a`^ V1& G=m./ѣa_V -B0v4Ҽ+|hs(`x9g~G!$_B Pӿ 7H2l<<z:uSx䖉UI> ]StK. -˭yV_,K n,/<k*#ޜm?vU&PfL >m04%`.z,-b6ODr}2=6yQdb?٣̠#B4׋7'TU;i9O΃X8 ,vFm|kETZfW L}q} i>z2`MWkRG,ۀb[#P1`deD!$]"xH()ⶃEC]J}=l(A髡8iJ|XŦll2 IH^f^n%rY ܰwM\W;Iva "a3ɶXk9K?, p&>Ih"k)~Q>-ymDL((/ޭCZ{ 5:}+Q 8C<̦́8q^OGk4n`@m6L1#YPZ5_y_6/"s} G*ڞeLJ*rI8 ڑzalUHqe);+< dΠ=xvʆS&JLȠJ DIo\ciV(/K"C4B17`7Bp̙#pn+PdC>t:KQ.C_1lXA`<~E{BHE2s78F BebYpBbMbe4{ۿa2z 6[|!,GLY /nv_r;\(NOʘG> ii;ZB/FF= ^-AmJmpmv= Md~Y1&ye#'*+y@|ZJ#rJutMDO#/7^b {VMJ~ybSEتp"@$y$+7B{!Ol~~nj< 6}&)R_t6q\Jr: p ^-,"D>0~MV ;^ :9 0g=G c Ff}/YZs%9U^dMե{wsǤdeyQ9dY0_pBA$(Ԗ=q%!!i4C-7M-;`Q̨={ݣalnQ5ZVҙ*K'u)ݑ.>wZԓ0V|0]=/ $\gj?5ԅvc`=oFDC-3)*HhE y^P|$2NyM a_zKkdF7Ӟ >Aa_A^H9X^9S͆ LC!ihŁK YorcQFXlBzq'Y.p$Z݈tMfJd_/폽Xr"n|:A[Vpf]T.BG*u@}F 1w%Ǔl{HiՕ\-sNnufL2㘞v'-M,wKq0}thgmsj}j̴=@9QwYlbKs.cF TBǎ{pKmt447*&g)%vp.JiR͑Be" x} <Gt)y$v7YBbCO/Rt{2:}r1zɐmg(4-|g++B?:G6nOu>d]e[ xmIH Gtq#rbk&/LN 8J[{FF;;ulx3nzCϣl((E@4[IjID8cK^l@PrmqN˦H|AJ\14d"xWi(#dN8NFj$0SR7zyNN9~2Btʑ[ 9,)Į卛C{4~q`4am(+Gp<|mc-A)G`d]8"&}*nyPliPi5wAO$#';ZRsȏqjW_p8zz 0+ < ido@cQ?`M) ba7s˽۸4wIa>\#fmI~1=4KĶX1\GJ#̦I#pm"/C"uz$xԋƑV\N뽇iHutN*-@сĺgᮉ&q+,c*|,sv!?Wo?=)P8cK2c@uF1l Qe%墪ÛF6^(!\O#)uf\%% ]Fa'Cx5?Mi ~HFU?ʕ {޼] 񹞳 Lj5l0%.`b;ݤ c.o&e^BAȹ/g9$T(!7-e%^@,'ܴX1axʏEz~CQ4@"]!(B/iVYm,[ ü>E$tA2> HfLǷfmtA׋C+ĽP><5f28*Go5ۮ }b~֠$Ě/jcE~PY7VͶ~ݰ3$ כG[3Qd(9Ҵ!q'#+-49-,^ %b +nؾUfvnĜ )@P ˂ؖոF#XY:.RV%kmY}v@{eO=,!.H(]VYEy6emfSLS@ SnM]l WQ)g baT WIP,r S.7F'ӡ<_OrK<;F7p@ѷC\#Up͇X,G'AF8TׂSw6 +zB1bBv{*Y&oT-r|ǃu@ m6~%]H Tf(wC ب y!F%O,M yFN*+Q~=gߞb]M3w6R&_d'GVgiJHe+Hp*)|Ǝe-4~Q0'=cgiv4ÈPzR@VfBSpۚiWHJC&euf9:7C>oZĆOsX$ߵ\V)ХBa~ͣm#IJ6/,!AoQ{4h(gVM`MZe!S.M`v֪FTg7z;˥` 7+YBƉ&X a(N ]#cTݍ4[^g%އ63$SgX)yfr|>$_`E!Ns4HbԹ$ֶq LT8PwLhǀ[3jmrJ㙟cPma`~X:Us}8wY]R 0'ӻ ^)!~ ‘|e w4c|f [ZG;9#i@E#9=P9zQ6 aw}v%j=3>]A S:g\Gm-N`p"BI7@Ҹ[R q <*D7t`{ @4σyO dz~ !YoE k.a??܍ںj@znp-Syâ i 1?5\~sͨ~ 0fָNPL7ikLF :0j:l Co'Ũ< 6#muc]oFűud#dا!Y+ `f1>nO.1AAc(s #)"֔]*ϭ1g\O.-OGNyibESH<[1+M@}dSD M瓙E(x xjH[Nƶ=k#ݕ$?rВǐ{* ZK^; a'Y,bFDD?4mLN f__uWmrhD-+73d5~J$vCm9+ÞJ/;Cf"DagPY3=o_'SxikA);g)2!4#JGRy*M:` AU.,yv,˾7"_xk"8׷nP͙]Ӏ@Atk%˹gWf_b7% B}=*0GKpFVObц>dn (Jo>+ .3 Lm#G<@GXBu']~ \e61Xio*dM SFrsvsXZV+!+e'>Xgl])Ƅ@tE{4v 4sY"u ?F;9ZiVPQ<uaiqQ]OËWYdiv)2@/_6]A5Lmj0T ơ&?#`P|ѓ Rʩ̜D$m`7HՕْ*oy~)ݦ| *q| qH|RKlAlQϢ [f+6I1- D AYSxoa/#9Ͳ$(.%'x΂:I瑥BФ?a3]3O*8@nh!PG?46XUޗ规U"ܱ#Sr:畧\{F2֗ qR/\Brlcu*]mW~W&_nT^Yځ'mRl-Л%y]d&^bJ'{IX0Z^{kks‡X{I|FI>g0EVX @c"P Yb&a.[A190n[ϿعV\@؞3ii 7+;If7&gN#˩8{ 4B_\ C8R ^Űܰvj\mbzaƨ5fOA^9oz2`KW0 ;ujtkXx,\JRbĦx#>Qrrz onB"K3Qjin$ a7j6jmMr\߻ yWt !)aꜴ ݸt:RȎe'릫*9cus7*쎍džt;7d9Jm Vê(f*G,@8yr? փQ-b2=ܔn`Q /Ё< K:d[)\4ź݂6 xqOu'KS)7$eSus&%lJzSH3:gM I"0Cޟ78gu}JN\6WP]/C ^ u33+`$ۅ%bra{` >7s6)##:lM};'tu,P&0WkSݲH@8[_멚ۢ78b*,oq|%P^wo ([Ъ2aRRm%R\$i0fv@/F)Eޥ%- #,l ƮLզԲ9Ճ !Gk&ڀƑ֖~_rmw0G |;>=bj@}LvK.nd>(;S? nѦͩpJ̹oT^\\f-͹k XN3m(mBn2. n N$$ڃ:yY4)}fpK+]1>#,)ӫJ !W焯gb憦8-n%#pG| ݡm͔IE7aPԏK{Њ4lIU7YVś>ұ,X?+ʻ܍~&l"WH]( kPAꢂa<{hq]DRPӪ0Yoyaqپ_x%w}wx J)xϫ(˫60]\aFE?_1>pݚtA|ЃՓItļ9$#h>p,䳠Q%7XCHX֌샟4-|l9|Edaд~MȒ,Ez%!^~I5Ɂj.%o~ku  lnJRond$LeI'ؽsW9N!sQ#U [ x;po7ã&C-_21H,90}e|t6v 6 7H] pN1t8ݷe]@γSppˌR3I=OwcR.Pa%4b/.E2+zVߛ /w\hD srǚdSRM"ju|_1c\dmm8„/)_.âe Qb0 vAh>+?1LK[;9a0P!lRU )v~PQ=< A*ׇ=c޿AO7e,9^ ةfydO w*&1(%f)7bcc*jFWD"I1=^xqy c%cd߷ /Dd,w:mᗥi@eg 8s'hdC"muرG;(kv1Bsů 6.OuT.M^LDL|#pc$ Z1RfÚ$sdU=L$\qDրdm#v>ǚ)w>6XGaƫ8N1Ea4hDVUsA٭]+*[J-GnD):L%aOVTj rGx ѥvΗ[kss9TgX3ʉ]lkҼyEc=8FMwfDə ]&G!̢L4ӹ|0@ hCţ g y"ALx'حCoIInwJcSlCE8~W). J a_>5j G]'{Y~iU"p nO {d3@ゕ{*NrzK8,"L 1n[nqo ؓj~Q[և̀ lʁ-c,3ȭ@j)$GC37{Np"T^Xjm-np+^=8%] YaIz8>N Kq{O=y5]{K$[ޗ H2ՓIB38vu=gP1='L:? QLwח)dw2f+IBr=JՒy\}w ʏP~JF}p~B .qM>烠9E: o2!d% ~Xx1 鐆ߡs=|v<*AA;7ˮ]homIGfoi'=X[u%HF 8EϞ5uJ]@l]ao. 0sA-Mu&+Ch(g;#:ks4հ)@kPX+ۓW=NpCf ~͉aA ޫ0C¢wWRWIYW)9. :*ɮ !e(F*]tX]Đ3=F{ʬ4aaiױd$X?AFTIQ܁_I6vm׻(>׼Ɏq-:j@2O*ŢiRUUw)߁Q:U`5 8rv0(^ Ct F=#cyCƏn%2kZ򬺑kY>4$t5H,h*}FI$S NK݄Xཌྷr6#igAz^"Id\=x+ň3S$"7BOHx%VD#N%[PĈT铀O{#"^,sWJ ~4.f" % DIHu!#Ձβw'o(Xsn9 hV&7x: 0 jsW+w@>̇rAj<WyDBcMvC~ZSK.wVaDi^uK;+UC5xp5V-1^Rh艰B6X,K@ܥC=&֐_, x@=|]ΤKPV& 8Bt6Jt3&82Ah겝F"PMp,a!KR)(~Xn=ƹwo*J%iʏEQ .xER!a#_V%$7ZG< Xe^@kkYC ?j ݤnk~`ןH&A 3nQAlw$o#:UGXN5ԊB~dfUGՖNf5~G2 dŴeɧG1]|ܜ*ߔ|{ͻVFbk ۜ NQ&;K<*jmf\Ps"yP rJcb]YBPjo5tu.({EJ[{zCeRdFfm:>Ę :-@%Ҏq'>,.vw 75oä %Nk ̬Q|!zonFQ(4̞Kdp޺R1Sʎ.>JԒl\` A51j S[c2xmV 1:9KuFc dV.AtU:o3[KX "x)w}ߎ Ŷ?/0ЎQI%6\~b>Hf(v~BĚۚ9?Wy%͑ƔOY5r3эps;b5yH8#9#}ӲʾÕ ^7\:\JE1OW&̑O\}Bxv1RR6lL eկY8dS[tnu7'=C̶zFzu֌/v:A,S(H v? D:9pDdaY't|`5lSa@[=h—%_Jǖ1EWcΒ[,9nIdn>S$Ub;+h PE6@ j%MýB`?*$<߈E@WÒy/SaMF[O?Fq {\W',ZJn f]я=4>4Ijݔ"hVEZgYZ - a-! 37% TRobinson_ArithmeticNominal2.Nominal2_Absdocument.tex7zXZִF! C5]A-MՋhvG"uIBm5ĸȌo8~N}e6_蘴 DrѭufU2s Mۜs-h.nY[V׷7H,]ҨTf^ӄyňEEkarC`]TfqIvC=U{9snn/k3 ߱a8Uq ff/a)$5v_i;*尝o^w6 }OZtޞ<9bFx 8!H8st_b3vCrfjTHe#GN;9e?Iȶ's6v^" @^ƃI!~Ewi5k2#ҙùo}I!q2"w;]C %H,s+= _Io_I--n(^VΉ‹'JD޺@ 'P&pV+⍧xB#LC%Cvq1G8! D 5zE9ߦB(k*QRh⓮m<ݖ1dBq!PT@Ǖ].z]@*ysHb~'{H4R+zRk ]{-S"ϲ&jV@t  3[% |Robinson_ArithmeticRobinson_Arithmetic.Robinson_Arithmeticdocument.tex7zXZִF! }C]A-MՋhvG"uIBm5ס :,FzmFl{JRT^N`ejv\5&~٧,w$klFYMoDC 렋3p^U${l;7g8ťU'T\fbi=D*8cő8=iE"i ֢,5(/o܁ =`K&RޕL ?LAO;4Hz1E\zSM&vVJ5gp/j\bQ(*9vŐCV%{(ΎpG[ 8-e5y@]׮^a+;+;tUyP:?O9Y{HǴxC LyKL6WjrgK]tbrhGPH" eSvcJ&RMMӖeRP1Ap"Xѷ+uuP45v7wqđ%Wm 5%$M5:0XDŽCG~aTߌfa xK]B;_'eK Q'23UAskc'BqCf[cĄBTh(|3lu 3}Q {8U|JΛ*x`W-PƮ3[BEnVkI{cҰj*ar|k1 U܅VZB{E{rpIWe$$a@7LP^W"KM=') #[f!`+5x[DzzyCd9nla|@$n-L+Q%eĂglI^FᲵHϻ16z O'eTG1aGOu:89L!oKsEL .L*JY{~ŧĿ&"0˵ARwyoKMs쓤r:[ .d[F>!b]jѪKp %RsCE K|ؗ~o!l 0e}l_˔%fW4wCT"ǫ(_n"(PV ER$׳µ!X|OI?`#"R51tϢ:VnZ͞g?2L ;*yWnN{3;f1Y* ]h}$e ڟ|+Eudr_|YԽ>Ut>3i9] ]7O&@ߩ`l׳_9)~ I;L!" եoHĠcZ,305kͤDS; v m Cmn7 ʈ:Stt/c+Fp- YU ߨ}cȣ[(%|4>zVnπ9,BW!4b_ĎځAA5M5XLBJgwk| b/\>#F4ԹAe0]tsqD l:dۥO`E 5~f"jH ;lj?MA;G%DoPte(!Re?Dn?ÙpϹ_oBA\.+ВѺ}YWO Cs!PXGr qy j6`0JoaFNE6Ruh OEm òzׯQĿ`dvBH'/ہrdxu穃J4dSB0*8V}1 :\+IRL͸.Vײ-۹69}ѯqrU<5 Т b@a.TcCEhypy'Zq"0I"ftSu$ՀI3:rJp`|2OCھVtIL0]F;avR@GTʯ"Fk!~deO\ pZ#zkt`5MKx5$z XIθƜ|b9feFt+(nѦ7|r2dqof)Ƥt8em0DP1:Y!f\|K}58^a{O Xl5=l?<~2J9t=[+܋p02h(ukj <ώY| #.VRGZސasOPOeO䛌L!W^kr=VS}(x\K _YN?8<l= +$ceh5j&ۛ~. ?|"eud}W "IB 7C6Z5O`-j>{*YR1DֳT- 1y$iR="@D@x|[MTūÎ\qxj!T}+hZcjH= vw|FLڶbWˮk+M7QoiY;:$51"ItjKL ָfb"꫃Da!{Yg<tpSO%?g>c<` , EnKGsKf[y+&q(jgp.|)żbJ =DEn )>Lqc8 q*|7Ԡ6C=bj P(3?]`O;l^;/sA/#CQb~ P7K:r%~"\lvBرd"Iw"M7hQj:a`k9P44}vrIߐc;`Yj5~0o(M&Oj#զ~0M&1~K8x4@f{ pkl =;jr]!FY]`plq?B|Z`GHSv(CT`6/2k^j4y[JVYqjrm~LJ`$8gn<{?rǷck`2 sΆ/b.Zكt4U(,בc7 'r GQ<R?`A(-Ѥ1'Y%;M#":A/w hhٖz! 9**<*+hU nGC )#]]99{rC"+x1 GEEx%S"3F2lrFMf"ZQnV_f XVơ{,%Ĉޛ`_"h[i+bjL;zxKhKN(₆ޅ s  #nf7|݋˫AN3 άL"OҦ@Qbc^k< R9<[T藶h_A6%Z׻]JP8u='_h7T;v70{& *ɚ/6lj NkU#"pg\_7)thԂ *ч Zqc($kw@6@4*'ުEJPBy'5qO=Kwgwz h_{"R5XAy MooV,sG(Rs!%gxK.8\׎Nts; I<ޮqctɉ`; h'd~mFWH%W.'3$[J/%]$7H /Yn"7*8?];$& k3jM_lh7H,X n<2Ueo7X> -#ǎTE4*F2{f(_/R8恼J,* ^ @vp)-)96L.GV9_h1 5H]ItO{6256#vbΖg8}jfʼneexIP0>67y3z^$ƺ?tv #1,o7jye&f+KKgkoT)h9lG =?i^?*_a~ƏPP SPrDnS!(>%_,Z5/G4\o / n0Bdo/2#.zRY!`O̸ݞm3MEC|&ܠ%A#VO-ꔂ2n!x0_x3j{n,0s}BeԟҞJŕ-ޣXW]U)YS92S2W($MDoFa}-N; R![|a/e8 AǐU5t>QÇF|$SRtc_#G;`"8ZV\p7 T Q4PXɗES[T3x<un/}?&\oxBoi3.MSD!C)w%lVKQnkpaTԫ!o`z' ǙPY0>}ΙWnBrU!{;0mo=,zɛ2[gi%3}m HS}2+`nNԚ| 8wfF]W 2ɽ$z1Õ~a׳(ײ8 K}nk4o]Rɳ4]ٌE+eU-^,myE4tAJ^*օC;QUP&f.P[dI&f`yQU> dx3cBQ-#SQqT(cx eS;.,E& Q&ɾm(K8 ˡ2e!VVȈ>H1:xqL:[)'Y[O\u: O]7iEj*iy*j(V]'ɫ"2ٙB5Xh|vs])Jt5)%>aUE'&}[΍?@"x@ש Ktqwa 8xy,ˍ].oԻgc&x=۳ >4[EQӲd֣Y^$D~F89%>Y|!Xݘrr|#Z3։8jv'v8rIt/a;P=hқPr&а1i)%Iߨe'"v݄E 䭙:gQ:NNe5$/4wtTыEH1# ]WmfK~^nNūt6f7Wp@RhP H)/5. ׻:@գ2-M=jyJgV=GcPTk.*QAAx''s#/*,,)-Z[R2}ދ(t (hNvdd: q47٠8BC`np[8s[XTQAk;1EH?h|]R)-CX*:X?E6oX2i"-chw 8 3SAULIj3cMv5Bgf2pX{$|.<7ere?*,JA1_]hIx${p@}?V,XZDXG5 P%ѱXe)u-[@}rS7{l*fѩ̃|ϩ+Us@F }һus.P؎M7;s$ʼ|4XDH+/Lj;2d+`p9G/PXP<#̋ǭ\kPؤ̦0:Κ@mlJj2>zdLWE[[Z> r)eJS0Rt:aFE=9nH6ziV"0TL9{՘Mfe3fDj~qe. A[H|E7xr_U:LlL=dȨ|H. +-x)ozP /9 ZdK.\tj.!Hu_0Ow <&$ЬW/@ m: deߓ+E2 d'՜]Ƀ) КM{ވtl-*)A*"G"坪F|c{,Zl G:^|6,xkuwVDqgƽgvI-35g:1ɏt8.YNKuLWNDpR}&T:qFlF.`kdww\k:޼T#hfUpLŭsr B.iS&J9>lb)Zz5^un aϥw2&9 H_k+ (V1rtt4_|A$BATW! $T1\䏰<>WdVDc>d=u QaӠ@pdv0zPBuZ*ߟI|x{?J\gKRmQtk egj*~׋64yb^; K(oﻠ9(sG^y.9N0۴%1 |-efjE␯Y)\ְ܉Yﯙ؋n@3%`J1 hZK|&p.X"=ֲEL{{8Oc~d 5K|3L.Q30!L3a-cHfujZTIWM?(4 W R)Q Ё.?1i4A$+C\ؙJzHoʇH#.ppuI)~EUGJ Np!j[.Gȶ۾hۖ7bOJڴwazODŽ1Ý͛ s-=u)wq̑Uf04 iOrM?_'$+A6MVʹ@%;S>_w`'mpJwR Vlhè3,xk 4ͮY &h7ߚU#ga,ৰ!塗XvzTu OԤ'$ ,"Li:vaXxM11sB}aZ Ǘ|dMz^Y5V 6hKH+d |sr%bǕFJ4Ef.ܘ12VHq,X 1Ti82;Q+T51$Q.,uG6V{p@}b>1FGD$8684dɻ e79tjW8 x϶-ۇȑԃ]}gXݰ60 !r'`(TuxKcK*m *KjڨQQIE^k}XsbGEAJÓd/Ҙ*w tK`<>3cpHCv0 aLt)O`=7% Ivvޫ^6,w0d]Ixr$uydʺj!&Yf+B*Ih%7PսwtYCeޭ.8s k>|㛛)eS@\;y6@^^z[YoڤY}YMvc(jxTi:? 2j)'78`HS6#7`pthK#]NJO .| IYwtE `'WB2Johw}!hg!׋gLIV׆)bQ,1m^cd2E Cޕ,cء r F$tbf.IQk M:@WW,2L%]짺J0xco\iqRtlǼ1.sTMdn)7[m~(l`tƒ>=> 1ܪ\#脨lo0<8U6^tz$+iz>4Je܅BaIh;Ҵ>X\:ɥ!tkY2l6x_jGkd|!/H  %p%@:e! }}T/ܕ ?qW㣹P=}b<\AA]9\0ӫp]jE5ՏK Kйgʫiy^G;p|V1v f܂cUݧp^?C.mL ŗp-c%KiG@*'RDPhrȧ}/Êߣŏ4x~]6nq>i >Yku0,1FR흙D"f.KkZgYZ$$ G*tEkv^ ~ G6daӗjjU{1,QcHoوfEotƨGтG|U}'͹ ^tk:~BBl|zmGGW0-ڦi&%*_;C8Ƒ)]bz&m{N(ǂ:g&4\oj̤ٵl 2KgxA!l;vEP$j!=|^ & A~ fkus⿑x(HfdNӷ`^']̙=.+LJw8Ixd^3iM>k8,9JF2 hcϱWi/-mߺ<C$A@։a5n(@T,cl0m1X|?# =33Kp<^.-] hN~K6Y$VD?`MFT͏P3&ZFqrXG轂H 12+_|xf>om&.|*]8D}(dj1Bu Vu@f  CcbΉs:` du9/TާNK?~o&8e5N4:,x: N`g+a@S4D^}~)42ƹ *r%Nd&b {C? /[ _7SN-H<@(O=gzHTq8S*\ YlU4{pX]GR~g p4h܋IJW &iUAG!lLD:9Mc 5@ilܩ?jC>_/KWbw"B4;5rht Si]"p&XF53G0܌+&1ITm>r*g'`jK= NRhĦfy?%/^]at=~S.॒:*!)e9/uo+\X9L9*saۡZCp[5g2U+XMt93o>91)dz8^yt.Ys<‰CΣ_8s9/5s tpOXud{ w] Ip!/JWozqoy.?#_4H'[_2zHc烎\Ә?Oq804u/6o=6X1/UZ Six,` Cv@Ro *Jf~vS S4A<1&@%t}:4d dՀ 6kz+q-Ç/xKՖ 82ا]&#LqJ7_|1H1T4 [71@%Im,KCEE MRdB|soɥl6V_٠gN_kJRѭ%z(ZGQdž +V׾Mi֛덍 +UGƻ`&7\OdbJ/|־ ͐92<\ԣ֯1qHZٲ{h-WHMܜRyf޸^}^e-Z,yOTCœ#j;NOih.?Ҽq~UWdٖC,HTt q9o9>7ÊHHv^Ĝ+ bcj@tbgķGn B 603O)Qs0 Rz3U>gpn ÿTy+}֊6Sv 7MK& R=7ƞSǹp9ќ&:56~f[Zam(wAl$#QQ\Il5OBC&cBdUi_ֲp5^ (z dqO=ҟN.sfd/MC]pOzC3N.Ő tHѷ~u#6̬zn=FH9oO^8Țf52FC9;[ Q|4جM+lS0Mw[i~ _Gv?^ f4`??ԕgܪCHK_w,_V{3:Er4Ao3G!0=a)7z\ƷY؅_iAR d]P6svkz8/$&??&$}j1|p[أdæKVsg̡HVQ:ie9QǎS#+s񆬞`vF !Z-\^,ToQ:u>!o߭z߷3+m{IƮC}o D}qA/$KXPll s 6 X /G#BӮF2=v8heX\!oҋUy8a'Ecs:Q䏕Y-4?&_'~ͪT5'$a v1Qa-B&v5k5'c>/a9 (ۘ碦 a؍BoZo_XFS։Kh# 0HjguE5WMNVŔ^wC<o :(1J'5%Ě[N͐Qg@_=b" }M<N 7|@$ ިG[h@ *u:@$ٗcYCI#_@lfiVT=}tuRآHDɏߗ BUo- qd\t#ǑG1[&TeWM\nkw|3/NpἙͼۙϺȶkC~.`eDtw7'>I|g"hQץ(v9ܝ9xYπd qRB4F(P2Ăm;QRf2 , I.ͳP&YW%;gl)ܛu'sG;jXf(}}R UB@nqSs傢p16ctV<-¿hj3L.1psՠz!kDeӮ0AQ?v{||jHTȆNHmMc2q8;w o<[ ydutFn݂ꊵBSЙ^1Q^ȠXOI`$歙Gx1s G[weyR)*廛~eNp 9 B^82,0X_ҽmA}n`˜fB=:m}haM %Q; =t EuWz/?XwR3KA|f#[OX1H[Mkj G~&6P)f]kB"2I>yXIE8״q~ս9 n<3e3.4XmymGZo_IRqT}#8mC,}bgUnf]݆XK9}T&1 jN8e2<s}Վj5tھhGgƢ%eu@A?/#W{{FE!r ۾hw{ Ĥ^X\by J 7y '\d&zܷ> RT D"#-uWoԋX;\c[(ݲc TF/!ʼ#666s03wZd˴9h~,WDNQԼXЩl(VG49+K :NlJv8F$ИDz,VX$9 i)/|y亱&Y}ġ)&VH|br42 rԵ pr"އQvƶk `Np,-$ I=- 5 Km$!}('{eg!5ebRSH K]z1TN]I?=WnP}j63BĒ/n/ǂFΜ9Y)*ҙOn5++Ҩ\mtmYFOʋ~yu]Lղ2`Kd#cZw:]3/SR~;Z8ԩ4+ t`U _%U(qH&ݡG~"XfM?]+2I[Cֲ٘[5XwS^(d 8FB{jhL~ ]thl. JpOY+ y1-ԏk9;]Bdq+C(0+Y @&YHͷb]ai9bB]a󧾫}4q1eD*T#k#}˰A(9u3=l4k=Ζ*CcqXGNJɄ, n~1 '&LɏMT>-ڦ*jiUeWnӧuCضQHq6,`R$DZ4z|~329~}dB|܏'~j1qotA9*5AC }}/`K7Mq|Iy` :j.O#$=)~ҝ)[p3#nr;֣ժ_oWc.YH=kݏ@F[% Y06&N!BĐ} %V1{on<6ȶUз˸Boe1p 9+X !M %Au 0C/G?)Ԅ#Sv<2 @w/aGR5xˁ^nH DOTpُՅ3ߕ:d9*y9t?[אQMei01 8'{4H68Z^㯂H" ,<ޫj%{_kx-Tlg?a7" p5*?)3FB>|%քy>v>ITFǖgϺ_y lýE;):QV35sPx%V -jǀ$$XB .le8iTz zGHD]K>}vo\`H UǦ;*D'wIDxyulsWO6'NrбYЦbkf9d{ds9LE4o4#e4K],k7(p& RXG_oFa#ѢZ~t sv `,} Z`9_%MGȏb؆d^reEA.}ŀ7+3tHG.Yqf{+PM>zWA/ZHդ,_FBZfg`ο'ȗͬHW`rKt-qo8f6 ?:zOd _6!oLp.?r`%$T|mNkdn#KjH䲠^P, W.Ro~=#+v/[A]nf@Gs,}ܝ 'LZqQBθb:+ngtE*O<&3%NskRXk[:_zE*ũs7e!m1k+zVpP^|C9ﴌ}^/P=ڔz>{޷ϧ04yB~lBK 6rK8V2_5:m4 mkHnc4Łdܕ$%"y[t45j'XE/B'WWE/jrusMp/\mub+BJsu~}~6Zfl6E0Fĩ*Dh* G'I[K;²uzaUBv+ X"QpqZ9yjnQ L1(*Ry.e#* ,A9}O؍{~/֎̠+CC $hbx}ш~"2H䉋_i|UF?bRҼnH;ߎ-gL[uJa0aM'o^GSm6@/.'f ?/nOK&xɡ6@nؓ j8(+LGM`BՇ!>~s"^'%p[b4)/TH+ßٌ`Jw ȪyS^ "r{^08ta)P\.Y )M:.P;~MXႥp:#Xq:RDZt7p6J3.49FH3؅yAE{C/e:RjgoN#Ur*?Lh_R4[c@&b$*NʙTΩ2yoFmUcTn9R!pø򀡼#!I)'OyA >KcXo} _~B4 h o<ڇ\Wɫu8<[4G1.oH[ho-w8_ n٪I!rhǻ%T\!+7 f^6ozRܒJЏ o$v$$ÊرMW,m PS}mdu]H*l:V2G=Yq!ͲV1NsgYZ dH37% $Robinson_ArithmeticNominal2.Nominal2_FCBdocument.tex7zXZִF! y-]A-MՋhvG"uIBm5ĸȌo8~N}e6_蘴 DrѭuuϨ8nUᘱi$ޜoiگlu2r+Tu#'Bg`ꋓEck28'Pfg1*VA+܂3U_RE߲CZ'^ڬ|Ńmc<”ږ4εYU,#مIϫsj+̬&LdxΖ}@kaOˣmp35H)O;a&|k%hV p}`] MpYZڗk52HOwMVNzS]*($OL^ֿh;(Sn^8#,1@Ȃ'ΌZEeMWU`#`0=6UJu/Ζ0봼#`5P([UwӂrsUOzf4cQ6N㦯40T "KZj2AQ9 S#mt 2I {8˸ŝ2j1Iw1bn$?u j:)2O&dY<[We^\\]kowm[ʡddbM'jV2aiX@ u|쳱/ܵ~5.Pցg"<)&)uꥊښ2( #5$]6´23Y2q?۽lf(mآ.^$aeFޔu8HyɑJʴkA3yÌX}<+*tHG7 *Xdp<̕'[46<4!b+b|^ f|#kxĺWk $Ԁ!uvlHT$JL'mtS$4fG˲ȏ+>ŢD(hX})ouG Mp #6;7c}͒h=J9CRe '|&  3/% 4Robinson_ArithmeticNominal2.Nominal2document.tex7zXZִF! ³']A-MՋhvG"uIBm5ĸȌo8~N}e6_FNkP'C\&"{o,OH{ޭn6% N2DƸfn8dTY}}; , ,:g3^gwv+#mCCد'g-.U_qgH8#?EĬpNa5G ى$K&[WfjLMͿ8FIA 'N`lU'y`TNFVeOFrqlr?Qja[fɯH+~ ՠd" ~A I &IF)4oA1WI0C~D« H֢k_Q o)nlwʚ]oM`1\] <@rDAԄ4BƝJY$ 6) Tq ˧~||43d6&wn8XʫZ"LQ^zeͯВ. ݴh='K[_9.;PaiL/6JHr~Wpij] ERű0Sz:ȐRh?+GrI7J,Rт'( kTY{( v&q"9@qyx1B 轴aU)8dJ f.bpR)mhf7G8MZ#֩0tJnIP8hX`{|V93Z_ns( bG*=D҈Յ=Ϊ8 Uʁ_oOuEt=4ɾ4Ԗ>n6y' #ٜ6SLA8)#@DCf}ez'nhG ({s&LeVNtvF{<Żh3 ޮ3M 0k-&=yK@Z1eĶF Ji'`6K4N\S.MxEu2z\yf?:<"ގ4سVX<3}WLQeH{RxlyoAċ0vEY@ P!^ VSa|"Uݪ{M4GK`C1_fRc! ;u:^rtYUԙ{b04] &<^d E]KB-&*mU_p21agűV-d#أ8>s>dEEO 22Z8\]EzQf'ᶆCViJ8ٵdžг=Sfc!e|@".j#p:8aASGcY*Ŧց 1gWh.t1Ek,xC>$.LSM@5VT}J¦&a윳KA@"N u˹sΞ-'lA8%!A?&0f>b)%m#8 U8{])*$BIz/X2D{XMD&5/h˅N7֝.g:plTYTUvW-yo!>u8*J)H~&F&V[rTUs;3Y;9oȎ$YڑWa%D|*UAeG/8:v&g [L;4.#4| ~(&Ć*IwD@>T`r9*'B1/JN=g%%(8b_yh#d$֡rmlڟO͘BI.\rmm>ŭEd#FW@c.!jB*`h\B*or;MX^9f;.S˱ۡF7Ug~2FX|8%`"RĔ>icL $əoB*(p 8po^?אDŽk r家WĈjfH /`ah$0(f eg%ЪJx<+g|~y\Y5R,֢_)c6)PY;[T湊)Kf6TۿNd7 cȎfhFۄt=K\UL=) QktOLݟkZP'"9ogO5 [Qx. Uޖw CɅOܰʇ Pa5F5 EK9?}wQ!|@iOI8ɫcn`%4(T5IoOmuyiRzp7sܯ5Fcz$|3LKkU-sCdmpǟLLN:TsNӕJZ,F%hd%1rt/`fEMϓ, έJx{b&@i}c>zvAQq)cp>BYΤcYs8v{,2SԋoqA^r͛dޯ4&yƴDz1D:=qΧ3n+c\b ǝFۥ4_ʪD(lx{n梍ex'-Bq/Gcy5^8 S|3%f nb́>=( ԍDK }LOРÝQ+tM' FC}m"$~SvAƂ%@FI"5E*K8x3:U'o:k/.܍6?>ϫQFF7ţ?YFcOcUFLkpTdnx5 iv+t6Uƨm5_ظk8,ZP0(rBnLL@ӦY'CwD/Tk3TB mER]Ʋy0v |Ֆ|@y$Q. v{19Bp$sRY~j^?j[/W*{\mO5GuduPG@{,,5whYQKB6ϷlǬ *ClghHpo;?_89@P@^$);{GBhB)5m,t޻(bQmdUA _[SILƁgW@7:\*D=t.30 O 7׹155m auV/3Nպ^MxAzAZ\mR\+;m;Xk WERȎP[2k4;Ijzɍ}'VL"/ݻ}hx(%c^(6OA҇ck+HTteo í>:ɦWLJ**$F~v8$  7I/Yt9s?a'4EO p(ZkU[PO a -9B^`8c"C3I5̶T٣/K0?& @.f?#ɤ vR\\ƕK/S4]@$buj^X MQ^'9(݂֒kGiEU N;Ӌ'ߔZDoCv(HDS^J;dQ()UkXLj?ٺ' Kۮdt/codxxeÆ~\3qD =2!̝AO'rO,[m8^o,{!9G# J 06'#V+s;*q핧\Rggl Ѫ: 7Yy,H uM,^д*Vd׾ܵDdž>d6s};1tz!S-+% 61 Rlؘpo IB*Hx/U7,3p*z6^.xqooiļ'"#t h 8FF^N<5xq}놎T-i֑MBV}3>\OQBؚ ɯa[_KߦvDAJۆޗ?2NY*|*δ%pl#Nv+ S.>vn%c,(-Yj)nd*D~81y`s=!cC ]j@sa*mØG\D.PT_>0/zw=#.$>'ǫT?s)_FbgYZ(c% Fw MA@5xEKݴu/ íԊYҐA,Nu2Gekto,},iF+m'[S=]F IwHyv> ӖruloNdرY"S˱Y>d*,_ڋψ?[: .d}6S9aj\^a)mqևp}s;Fi=+orMY}] (C%ɲsQA423_ Z1&=ݱ1'ՌzU,B?ho~)SНY,_A]2e`u[uT Oʆ&NQ |o TϢv{pƸb%9-@IT0ҹT+ @%'.6rڅ ط[]R:%kr%@ qD^taHjij&叫fn}YX^4iMu%腍%MǤzvA(9C)i|N(\,֪sWBz=஍FWUu25ntqӅё ]gyu쵳Z]c@>O`Lob醍9q~o,я;"`U@jke&xˑ S) L"9yEIa:-BY-gnjlP=ڹ;jX([\ G;:_([i*@4";dyjRoj|#bj- Vps#W`g~pZ[G#L[hC"Rg~"JO|@;s)KY9NKR>`.<ÊO60OTD Ic,&&M dy!q̟+WA4F'uN)Awp.^gKtb$26I"UmLP]`ϫsǛT'8 )FNV4׶7᳠Փ!O&Y00I'}IiV:ܚ}qXXW 3NjQcOk<6M~{<\RVSZMQ˘Uվ]z[ b3'=b<U ="iT20m<q_&wҟd;NUX{kp'a;}'v7{yY4%Á0bJ]DL. };ڶwiݭvv_qePcjfN+YN{2aɎBa& C_bik}3ΌV L*AZ@֟,3ia+GJK@e\o0TrGOHd> 9Kg_exd~ͨ[٤P?XO~u|c4QGܱIDb8QNm(j~/0OD6|)bǵm.D6цR=DQ #M02#9e[&roPy[7]x|$!SIsH0%MS\hdrqJt *{`,l<4L,kark<9ݩlV(C*AF4{tn%|%c UJAw-xZ.ã]-q_hh @3x]I|a^Q3o2Bj>c,Ʀ ͧѹjSh}]^@!+lm@ZʪR%@1kp@ܺq{N} sc 4XaBiI~RHn#Zy:M:98K7]vanxTltD<|0%F_f VrYֆ mȋxo y>t9q{ep Wā@ψvPe$gUL¶ 1TԋzM)#處=rKGpQ;41q2]Ÿ[^"t!變%)M&f)BF Mtܺ`a4z]zY̧3E|[M0j1CmR7ߝLnTZV,$Q2keFd`ĥ#D925&\r7ƶ~KRCUB۹ڲbA"jA6q(Y(̝ޘA"na/{ .; o co2(>&<%j 0c{.3JY$K.L?ST|.}Y> %oNv1qOoxJ`LՄ\OrR 5*!EE:z=9sFqT+D\328}UMlnH7KOYԌ-Nm) QI,m~ {lW=}{S3 ^d4ZFpp>!eU J{zW՗S/X 7հ5NO 73b_ od󚪋$ģldG1W$e7p1*Q_&(b`K%mצELThVUzvV2a`)fUYբI(qrS6pC\Ts); W耵`wSVfdQ17bgg`rh3EˇY"E@kƛ1nv!dކvT1Tݰʣ}&7W!On'EfF`X>_7]ibh^,fF](W&T$טSUmʂv13 ~S"j+-%Xj7K[? xi򬇔{tY8{=)1Q-z&vPW#Lq [4 >xn^/`L:Rx~mlQ=5kakyNiq?]56X58{)NXޢٷ .}6뽥E.  岤yx;)r<T64 XfbKS[t>Z_;"OhB+wfDVːMHr&p]7OjMá0legnڇ8^: 7arxq=y]^ h0V ʎbÄǥqYb ~BD⾢vv8 lrg5W qƔ/6FbZb)}9JoWU5H cpkɁ Eg֢J2W!'[o9c^FMEcӍ`^ױGIi{ qh]amAox%;7;d,bUqũq\b])}T ~/[_bk؁HMڇjǓCT/z؅(cYrC 䡌dޚo95lvbպ4;?"S371:mHZE想ߌP~ӂ_VK m )j5k6s_ n d%!( [Xi.լ]zU7A%~#U==S|w"%Ǥ#:XM}s멯0?jgI[, @5EUV yJhW&}h$fKL<(Ccߺn|=bt~i0;$+N&Tur~,L4ɏ=_?U\mQĉ?YJ_ݾonuVE h#)_# I$@5T ۅ:)ڥL{oƜ@Vf`)27֎ϮZ5; *ۃMVݖQKVrCA %ee%uYhbeLʙ=..Hc&0,1 svs&}ƪ[w}H+{J7ݍϱ6KL+d 46V<׻pHT)^g[+I+c0;{8Sfι{K? rZQށ^եÒn k*8N`:3C}qDC:Ŵ+Kb;"3BK.N?ኬ+*ܽc h[/ @&^"<ߒYk@eMdzm 6Wy)HBsyӽI1P`8QA8yddj4/0.pg,PvV$Lҡ/=q WkCŲ5tjg*n E鳜oBiLĩn[Um kJX>ꓴ0j=s`(Gly |w :{KgP r3}0i^ģ@%uovWz=}GM쏆*JWDwR\ۖBJ/ ODFX`A1i*ƵFj$?mLg6>4j ܡ`(߭x1e8]㸷S ̗(jT/qrF?n܏,/ ?4dXkcaD1F֓|y(*zdq/Aޏ@xV-ԺWNz'ho9+ys6~s4Eц B_0\XoY$ar@ѩpH]nC)qdt|k48c6muwQ—7( 9QJoH11<~?PE :b}kQ&YB ')!]6 ltg=V =1W"7n9-ycW$0 "Ԅs=Be<`t l 2N]\ZӒA#kOx)`dxz$-+o81J2h3.sقS`\d-,ᬾ쒫M1˸]i4O.3?Vʻ}ωٍLj" kS|MkpI6}[qpabM}f [8%}&1+e84Bw%Wr"ED??$)knƉQ3H:pA-lf Vy,/X)%^D/ ``<8+KVMjra6mJ'1K]J'#Y?'ՀC~ Co`f!ct2αOeF Pź:^3l=d% "k f^qP);!7e8 x: XClkcAC]M{j*w’6; /t`C-!"~hWJ$dqS~(B+W©lEDөתVCF"nyƩFO3V]"w+(˔.zhsh536W!<燾zߧ [i:{feYÞF|D7"j6S#l +y8oRFk =*pGAKKEW&ӄ=ӥvC16CoHMȂbG` >;gDh\ lן}ns gݧJĶr{!_0Ī%{_] /< p2]  \i43ݮHQv1h(D5IlaF1LZ+n| mIy V,>N <&QK+*īdP/U`[+}*~po7#4I  g=hIKi"ñkyN?׼km5b2KU_=z}j]ȖABk{ws6]3vgD)pq8rj3Wz-Á$vh84m3}5E=$-N"2i~~ Y TPxf^ -<+'`D5JwQm +9Z_ Q6i ~1֏F({+|@g7*h 3=% \Robinson_ArithmeticHOL-Library.Infinite_Setdocument.tex7zXZִF! 'f]A-MՋhvG"uIBm5ɰ8-'hH]^T3{9 26{3(fFbluDݎ[ٴHYHO)uDߥ ?|O~,ge78 ?UJG1+vsfk~(5ZN~p'Y51K.C ǽ# IG< t7$!pغլ+Yb.GA<Q~euL[LDB te!<vbt~c'¿?Z5؅s#Ls&{%ŝiOytXu?֥S߯_9ч'wIk#w;2n2 FK:EP.,% p{ κ"{UIT|PƎG3G`.%5;"E4 {b.G i?~aT箫CXt =%hZ qtkLv·.HV+b9r::]!9q*|qV۞k+j"~٣agY2ߖiՏ@F‚he$o(oiX> -nxRM.lU0̻d 6<+ GE-u x6 UHGJl1I)/V G'ZhKq3d p ݂Xճ/e &+3[7twj9l|9e̛>mlV':{0s"NÚO܁bwgkPhb~B5Q= 9EqM(0nyY&s8˴DPI_aH# }f5C{K3a|֭[Ʈ>(V>~H^ /9B 5'%Ց &/fuxJ&)',@c:Y͛z˹FN&֤&.plzw޸0wdC'?צ#||>VLӒMdYH v(kdo?BW&p.m}XkJy89 aIh/ܹH~H1aDhO| ^~$ڼݴPHH3@ݣIj͏6'ߤEs*5\/4P,QV-- )3r\ мX[mϿ,<Ѳ֫B5hVgJ[bs' rx?'IYUJ޾B *zқBhFQұDщ$C0R53q&ן~H/ u¶0j/!Z)Ȣ:5g)T/'F!K_-:}~TF!א?VC/X#RTAk0ok ĕPl0)9ȧ 6N2"C{FHt*b.@'vI6t r.?ݻ# NH9#Jİ !Tk,C11a P&e{9n{])\\Ӎj#b!6e /㚰VH@Pͫs0v&Q}[煥!:*[=bXd{TC΍Lڑ*WmETX:gvV9JڦF^tABX/M8a;4bQѐ[;*x݄,$0 g/^+Vqf7Q2/u7Kﭯ>KSPSGutۭwYq z"E;AgdMWjlBY;rYpB(H82z"5D%F0N32M"(B"I.%d4NӂAe畺8s'+wۗVJ A^½?=[xNcx6tNU]=-dJypQD 얂.1`#mKQ2TRrҦ`xŦ./j!O(z@soy_MCI@>oY|-+h:e]׳m(;lJm;d#S$q~ X7d`ؼWxDSQ!)UuT+.oC?ɜqd ef ;(!wRŶ"Gh)hbGݐ0#dxOR\1?ٳ7֦]QqpnVyTg[PkapBo aW)Td`BN{92©q~ǜF+Uޘ=mrf= N~Y E5sϺnT 9sXׯ^?5FgG(1bT8MYX:P68 FÞ 0Zo z3Wvp|VKo&{,Tάt)0Gem(*Mʫw2dIF܍jQ+(( H `+ /b/h֊8+ vWе0Xu ?A=GgYaDPo.N6S?p";!*J墕7 `7v-b:s>$(LaEOMf'eɀZmmԤ/;"mC~;{%x dθ`nUb;.ܡzK&G7}0ӿGT6]kTSYZZ:LivcYPx풿~(\hSɼÝP6Ji`G?/ r.gjVf~ɸ278YP ӮfcVl$U+ s(%֌*I! xaAzq%u<@qĐq< I[mXJY(.LH[^c +#\Ç~(ԥ)?Q멵Jp$Aw@ %.֌x$6zZU]#/TBY6(K'bRPkl\H~B}rjB@d3cul|\}|fӍ(0a0Ǝk|U/xeW^_ڢH3:(F }1w>3Jg]WJ1/0Hv Bu2mFjha)׈\u[,[1Fq1@&~/6 -@Hsze~T!bMm-F(U봣ήO|u+[>eL aʆ!T;5Ơ%ETvA4D]A:6xkZۙ{~ GD*BHH u=҃{de~fmgT B$Nъ,>ǁ5Zxպ#)U(QҽYҵf&2a_~gJoL[ rCFA! [ +08%ҟK;ql%k[z3B=Ⱦw7[iԿBf7xB=ha=^aB)3r0 <`h/=pG~_2rt ΰSgyj(5=C?a.iTQ 4^UmJR(躘fm/g􂛃tVPj,;<7ǻZ 4`bcq:gctG\{}> "=_ RT&˽aaHYȽ'ݞjZR|]6`/ # RY:foDžAZ7I ^]jGuBrK>_ 씝pqhbdr]Ӄf#Eယ?c;a@.R gQѱo8'gq"l zwAvn[uأ" K im)|U(ڶB~m 3 /^/Y] #5@nx6\3 /xüq%C (DJl \'㰘a.0 MA^.cz`cD_'EҖ=dy%nj%tv>mENj$4tebZL"BРHpOYCK&;@"|'A8mkS:]gewmK$CJ7 Fz+]+Zf>z4` 'A78\#pݟw7 ( qs#;YYgɩJ1!'ot"_vtMPɥRt+6z\x+If."cXo^Kv__{3JԺΠ_*elak_۴Ȑi@:rUiabS ۉ#"X?dfչDeY?\oȣ \t^`;zD)r7m2꯳|})ѷ"S)d!4chxܕݮY'p,iY@1V.I":UƳ+Hs9~?y]r8꼝@W-{+B-;Lek_E03;}<4<]x"D@ مr=]: nu kPLcsASQzc z&08J3VJ |ϧMXzAʵJ9b^ebY߷=xx_n@ݹxTn X7]#IFFXW|-= c[nߊA*PtD!AEq,$Gڤn;NYZP45ۯ^Ů$?3W~kNyMf%*zTuC-8VXM*QxxP3EeߦWZ̼b,41cGg7֥H{:Isj{1b-Y:ڈH#v:D GsZz Zlڟ&&wʯGm!Em0LK<眄cu u xMS%XpMx 0Lqf`ୖ]lOhp!yERH'~;x#VKy3࠳Sdd=}6;.;( '0 L,'R(iD_dRbn^lDaiG eΑ0갹~[Π2^!;_ hWk0>X*_9X>Oo_j(0:~w zVbk+>M[)f $!{xcnTCKY Hc3}_BzP$Ff6?H{^ "Yg|B1]U7 @!柩+.Ej̹S6P|k a_b(u&T"J0a/k)3}||ǼcHi'mLq+|*+&j4 M1=>zJ*Ҹ[R8W<0h;-J mQ$>ܶlփz Ԯ.eWIl(;E\,"Eͳdjaj|@#%L߈)I,qr"x p2t;X|$j)!EWͥ)2s&7^zWac GV(qt% RMx1U9VH4dGNvM{o'%)[~vn 3>GYz${T)< X.Q3Ypdɂx~@t[/ؕ}f݋_6jPEJ<<Πd+ {䞲ܲP?+ >'gWܭ?LI}Żm=d`[W`ݨE}ՠVx ^2RFKP!Z ؃$foZ0z|GA#+< =ˍ/ 腀dgtۚis;]Uk j6G'"ԾiF) >LP?9ŎMmd:O5"0Akg 'BF*h%$;5ˇNC)kIQUɌw[<<7H!⒱GIDΞz’nvl#8׵C:WI,IKD('6k09?X=.sI_/n}6[DsĻyEA]_%'Icu?<+FB,De\&`0񟏨ZFTv1biyGhꡌj 85`;"Q$ 24 ;\C{O$[:7Qwq&5ŠC- U_""aQ-|)lXZ:{r ,,̦Ǜ5~GnmF8NnDH5fjp<٤!%d}w?zO!s,vzoyǬbrt͉X Vzf ׆-`Kv0$0)/G("*ZE{0J]tfJsl.3EA{%Lv}JԙݙQO &VnD B_WoΗ|R^,J>Z\r%AҍS۔DVu5rl&_О rS>8#*077hdk"!yZ,5}<6fHbTԱd~T;ה/ugBaWy>b~ " q=ۄ8 g]K80 Ņf~XU& qFbS 2qe'Ti3-ɷ?'Ur9}mM)E1@ |xPG )bPה/DRK,^mK%zzY@=hWk}~/ ГM^^;#f}N(f~D#Ť3"[1YL,Ԋ>L#p-^ACJ@]^DV[{sN& aZ?q,` \2(78<>l (t{AH=3R5g9#7F',eaL`K=4FnE4CgYZeֲ| _D$7^́,WDҧW@-R*Rv N`3 ʵb1/towgNȄ1S`}`E H, I*^"/ 4SZ[2!{"wLm8"q2-ـdN/c-8 2huw&:Ez>KEw qrWwnYbܟ Th?H=cQӕc= ~8L^ړS_̚Կ%nIUwP6FK[l~ 2KNn95gB%r a; V$pk#HQyB$5P>i]날gpBh} RyA:6jw C _Cd8'g3V!Sw1l1t'A=S--H[YLKSbUӼ٥\-`؇nl eW1DToM`^y|ǰ}gt^x<}Zd\cĦK.2j]V]]hDv&/?kߊKcb5L,܀v{DuK(Hvi? q1=uyG~dl5f+`&} |>k|\=|QjІL SGY¢Ч}`U\YniI_+С y ER .Y{le"Ck:G ] k!hvC^S(y̓J*˿(ua/PW9pN ~{;EI6 .6Cr\߈bŠWZexcG%SM\nL%t-\hfCn{zj JĈڇA'Rx]HN(/!v{k; h[ JF* lv-@x1! m5SFۏր$l3-E}{H.odn_ݰ,]>BvA̖h't%1!O)JF4 +z`4{ ke>lȏo+,@^4&EXlBzN\iu|25\$5'؛b3rE!7vBrȍD]n=+6fG[:Hmj`$`@ 7x^R3jCQ 0 !(y[9OOB2% Cf8>_TBJB2}i@7w"k)E'1j$vvD*ʞ7?=cA[HOE@0"\ ty>(%~`aр1'S )" u+cRߏ黼^yV GD-{YDе᛿.VxO1:RّCk*ʙՠ@h;Ƴ (`'\Q)Q*(;dx_8t|+N]vBV?nnmUinߠ\_g b\|@!&ͧZ#fh<>JU<Y;Tv7>(LsGRw3S*\. OFcSLbzA{ %ݏ|%N6/iֵL%f14HBW)k}1Tlך? u\Do;V jiiUgĈĩflY~X0Rى&V_AY; <䱾%C07,sCXE8hnF*zKIš[Pafƫ.UW:ukt=dI΍َCD5kѸav|gekMZA@uLBK^&tM|QtV6/K 6^{rs ?KrӼoDL#(O;OXMHno@J ֭R_>'lפA;F@mɳZ%ì-ha9Ywa Z Wc1 ='8{荗?j9"~4i-۳PNh_ûZDt۳YM  (1XQ7Fb|`UY Vq/D@"/'2 j<ʑ(!9VI6j*RSrUf *EVJ6("O(̩jWȅDJa@Mwm*fH OV\o1+`r5$3vqlS:a S:zI:;/^k"?dBw,,:1xri~|_Å*@~ (IMNO[f;)_z=#@ =sQ7.8=46ч7nN\o$gr>N3;NzMj dv ͚|meG}!oĽ*0qpS1KEQ$P) .ma&2wkqspl$!+G w祻7Zf@G-a<Ζ4_Ė$:,>Pj$Z LL[yg ΰ S@UNEpX-Hj;ᠻw!poԾym;UC W?wz<3Am9nˬB]OoWc3Ʀ>3\ $bmoq4I Er\eBȓt^pMk"cbtೳmQnX{KxGCG 4+҇w!GȹPz0oInZtT7#j[:ZS̫`ZY h@uOz^hMÖ}13xT]ttN"QD=8/ܓԛs:6Tۍ!X;Ing.ݢ;T9Zl';ڥ"k20SUB ?O١~Z(hEv:>{VS 7@S?MIܽc\^5w7&kձgYZ G 3=% Robinson_ArithmeticHOL-Library.Old_Datatypedocument.tex7zXZִF! z]A-MՋhvG"uIBm5ŀ9"*'d>huG\sO3Ӎ⪸}H7Qt2@I5 QH/^ŪjzwT9Ǟ aV>pFF|>@v YPkuƸD>A"@;#"/ꖨw:8>҇iW)Cçuh È pzJ۠2 =-\7# [S`ieNWtkt#Ve{4 eWG\nr| &nCGrb(o-v[-ъ׈?bӖ'ߓ"j{514qm|!}]JE\/>Ws8qc ڭ,Jx"~;]!"ʻo=Et9<1\o7Q;z Q\^UJ_m=f-)6g IsJn .#Al,,p=plAeN1S_: Q_m@5[+~`X/0G13޽qkdg &q9?&v\)DE[6{A JCُH,۶--@>Uf6)k[3诈kё(l q'\f"n͋¼XT86 MUȠM`v%pP KoT{e|gs~Og$D3d?1;L 78Uʅ Pl)c埂V hJPPJ:1%%-@qb|s 4fq,_[)Tk+ Sjå}D䫖!V)47s,)^{hNJ'P GWl_? ̲߫~v4RO~\[Z8O5 Xo}n"i4V#b qU!̖)HxAd)rJ=sHhcA翭y VVas%ee *)b"L&oq\cB3ouK 62^h}{DWb+EN^YHw>cژ7| FF. e`9eY)]6i&/^75<0r'N7$$ny1-z1#}ʹ T('t5J.'7Ms{7wp`Nw&>ezJXm/:7^TU8f"sRpYq j)5t1Gq'bD7[LRM Lj} >>>sC*_ُ#>+R~εz4M+[䏢J2~}!D'Ũ"GHND`)#t+hR?' 34ߗ\_ϚLg_X3}02`½.xZ["<^}wn_m/Iħߌ?y 9DGƝe ]%>,Jq{L JEuªiHx>+jcq_Wz)JFe.nf#q1) )B6 m]qn;fcK&T YDxCY=sFPRR8*fq)63:P}5>N,̰;qWa*gގ&Sj`!waR)3 Cr lZxүћ LP3@IӆRShŢnP- N{Y1sxTak{A|z/.RXMKc[+v"+.`f|1'r2F% rHGQ]Jup;&<ŚYBcTmJ&ji3˯TjŬ3/2>+zv Hm5;K‰6z4c5,M,`iݸ@Fb!u9y5EPg2mS!iN=}~8Bށ%7Uf,Nz60 (PvտfELZd`7|77M^MhuA&|FPǧ_W"$PX+ur`O Xk?z"g XVa0/d^"eu*h&rR,ʋO[>0!|Qx|t|qr ƣOO BelGdq$c]1V*Fa2O ,;1"\ 1q葖)KCϣyk:sp>/W2H~>:} BGB;[聽kS)dP!|ute嗚ӜH,=Inμ6 ? 9{&A+:6^g;XE26AP+VVe6:jҦf[@b+@1J1Gf8 g58\|j+Wx ⹒1ꫭ=Ů#BO6ٷZlNG¸[jPʹOW%lZloyL FN~=ZEǯbo_rNTZb&u mz 2^Df f,HSq.bQ'D . ~41fyԀH\a{jm&\[1vO`*/q: At2\ˬJ6|܋QoOo5֫n:c# Fh=$0jIjx2k[RZpXK#߮e3Ɇ7iG'Nk&FvWBa,ī味ncN*K6p@%pVm_d]lyg0Y4 S7bqeAW^E9ujocfL/tmp:`pUZ-'CХ9.k0_35|{JFB/&&'DETMg^T̴ 8IuNUUkSޫ>OH,uŗ7QU߽ijnaˇB8<"5ZN[H3jPrjұe9w6-2l l(/J+ߑbAƯ]~qhxx[Oy*Ivx. i!c :<)_J<g( ~E' <> n)^Prc.Qz9`á_O6-]h,I},.x \P& a /qXWtxeKQXj5Zo +ebC})LOW.1z6[WkuMg†6ޠقxQв(\}'S ێ_0 ~آ~DDvV*4_h6g8EZR:#N"jbQo_ ʽcV^C{ZUj4 GMJ>:V)~)Dl7D-R&@"B k;[nHd寋K/l8eZNj-LΰT! z?b0-{5MͰ\&JV2~`2,A30}\ʿ|} u}^hȰթMxϋX^!ʭYzeZ_TiY}#rUpfSͽ5aBMiEHfW.雄`\s~/֯ˢw.x>Oid V$cdsŎ` ,"f(BC9Ϝ6$vge>~THaDH 6@z<&}̺sR&93;@?YJbN+2_k/Y^{>O(iCL:sxn*\[85; ֏Fib]'lB]=R4۰΀zU^F;ȹF)Mcۏ4+9Zq _Eq|XJ@3K&'9U@wZ7˰13"uL7Q J&{O߹(>AÑ)}M\:ɭ#4[8 nD)Y+ AU>08ٶ(d)0`Ji=m]+[i^>Uc/ 㠳dnFcʀCWɦK}O`ۧ@s?ƹݒpX3+$ZO0li6CGFqGWZߍbuPχX%]*ͭX)!_2=yiP/nv? pBRDMO- ;}^0A@sb dWQaeyC-#͛rVdѡR ;Rж%+mH$<%yt' 4ߝNbrkkkqG;ѼxM45E?/$[^t[SM`m+}.ySY&P UnAޯ?@.;w͗iokH8?ҋO^~`Ҙ-sD)u.ҾrS{N5r:CrbIa=\ 8qG(,&+$bQc]@`Eo%Mgԇ٬g]}.qgYZ v1v0 37% tRobinson_ArithmeticHOL-Library.Countabledocument.tex7zXZִF! 2]A-MՋhvG"uIBm5`''bN\7eg>|yl5q"huL 稀z P i3 gt!U1E{Ew㵨\hwzPڢ9m@Os@9û2V^̸(P-,;[ü2zIB [ddجį̧FD. PSN.5aE?`2[kO~}<(˻h%Uc`=XeQjy}cz{AZɽS)KDŒfky-.z#*|!F>Κ“WÌLl7/fAq$-L=~cGM;H?J _ZhpE:U..*W_y|g.;HdVY/h^"إ`d̍XWI`{ԗ8dNĭ=CUW>S|ʷM mN(į=0WӾxȷz7qؓ}Iˍ(Ƽm4\{[Z.a 'z6AZƙ$S5{NӋcLG :xAs6QqN7z /u4MUzȝt:N< rNA8e[*suLgFR=HDi|!Q>w+DXcoEiqѬrR%KRG 5zbEuGzx^fR Q8Awlw0߃ "$pXGFjva[ r Y$.\:'xj =@rl0.xk!LKUm3p޴!mK[ jeR% zv0h"SÛX+w-挕ֳ`:y5s QKlI\?:+@m'ņ+vM YR秖1U(@Hs% dd/7 h>[-lxd;v;Z ˚e~?Y痸9_hT#g(rbRuzm=.m3N$8<>[x%W9 0Ep];[ðsҏX,J:9)o=e+qk ro$>u$@^2k)Ų-{9鲔 4s&([Lƀ d(BJx$ idמAd Pv ߿SDz5)v, xx%gf'G(0D 3?% Robinson_ArithmeticHOL-Library.Nat_Bijectiondocument.tex7zXZִF! 6RA]A-MՋhvG"uIBm5ı^gi,f9WӰ )8I MU+hT lzk"fںN (~[tfS}ipS•Ҽh=!Jd;ǟ-ǢqEkZ }vl 8\:`;%`OP$mt+e} bw0B;X܈#hF/ YQoTYW,ۭnuɑ&1-9'[`9ԭPHksyFBGorǓ, 3#Tn4]WQ.2Wb.~/R ջew>G5^ FCRB$~1(,DkU )J{mud*zxF3"+.$~ `Ym*sKg0QBV{aytFp\~hب;.xZu](_aK<}!W6ЍBі$Hﺤ~% ?&tloZ<#&0@hb<!(_8/Md{ԵϞ$ t鞠< ,gXC'*zj&_X+c͚ޟ3A3TErAŤI+B~b]Y\iZkZϝxŷYkzZ7R٥g^Ĕg.W wT &fp AQ\z^ -F߫u8g.qm:Ҷ/ /8:w *{3|K^{j5׽AoG\sm-CJ(evc B~- O=S8.l?9tJu~_E^N?HUB?gfdbIw*5jS"sK$%2D c!"lJj/Lќvcyz E"{Q֍pAVq)2RϚ%aƷ@j{ ~yzJ2e'XC07.:{g$'OпjZMv3襠qEU&Ve9?P|BE 9Jq ڋo"Y]|Q&S._8LH?! "vY,?f[ 6J*G>׽}ii=O.(uk&N`"fo}80b lDF4U͞r86j+‘FbrЬT"Ow#eB>IDwuR~#T ~lp艎h<(ȆJdO|ِmWa6J y(~%_AUR43bMĶi;A=jaI_`0$*|cڤrj;Z81<ܛQ;M! .E*:qUyG\^kЮp -x~p 흮x]AA-}W &l?ڂ:<Op-u`ͩƼ3 Sї3.w\7-'^>x();HN|R:ɇZ0[X'3{P_6g~֗HTdU߶{rF'~˭Sm}mtH}#QЗQ6'3қx`ܼI;T yq3t׍SQhNЏ9sF{^| 7qrP5{@ڻ1;z$qښc[5EY~}6{1H #7p-)_䙣+NiBꝷƆA9"o8 'zK`;J)]Ǽq[:nLçX}-]X3|"ʱ?QnRR kF㸌xST!ܪX'h:Ҭe:MP$Kst3j޵0W\oxs#"F͂q#\"2IXy嗰n7YgQL'_dB<3igHJz h彔 j,m(T& c3tx"{{rG 5$(ŦSl.+[M͖ux_Z՛^Mh.gʲ=\,$:Xr/4zM`拱e+-2h"|w r]L3+>гA{t ?2vьT2s(n_V"_~LJ}e x\M&iw(˯  Z 0FrJ<3.3['o'N1ڐ̱R)n{AS {&oXhrS79iNʂpW1FJQHsLXUan]j.B9DK}й o>|ЈZ؈q@y2;Au_U/gc7D'aYycK0ۛҫ +XITF0%B쓺8ǪLJ^hp:~'9FtlUm ˍ 88b2\ΜT&:Fe7uFcZԶAXan?We^4\S:7zHGub!j[Z&U9W3.@Mi5o.|| _]s!:0fMg% tQdzRB&kH @H\>q)˥^-ΛDVdBp7[k+6^)=';]ܑ(jmy9)=Y$rFiI߽k&1Wޛ$]PT" rȳQLV<6o9p}r–6]q- Cz-))|HEXTGy'o cD15u` #xιKRa>5s[ vlUM_"6;ZD5˯Uf%Djl|.x$͸@mȳh`GM M{LK,p Oq[ibڪ7ǥ"o7Ga)~czwhuwb!tpum׵I5)dٔ۔qv8f#=ęƗ)?Rj:X[r6I(8VHY&%j_scpȠތkVQP(Q (G'@1ԑyRMߖ򳤼 r?ˣ=kM^ujCEnٟHV`x,) 7jVN䎼Dz`EXJs/U(hĻqbH;fW/,odw)Zj8\\/PŲp}h˯|%wH3-M};ȫ z.#j;Vm4Iџr&5F³BIt#4Hl=4=dΪRQ?K0j٨iHİѝNxU<¸0q|,_kx-'܎bkkn5lM_ӌxe|(eaO(K[(~"]؅>^u: V[ͽOI(m5ovex!rgCˌGUXD8BqX'tcDAw᥯pKD}TdYfm˪;4ңP#/`x8jfMoTS߬QZvP#Qm)m2[s'jPٔ0p#eMSdnğpZ(J9&!1v'i 1ܠcؑMMB gA,7ApTt_}9Ef9i8&Zɝfn6F /-w}h+W5uVP*mTҦ 1%{ hXD@S(긛uuo#7oj-1~0{M2:{ܙ wel}'*h@7G+bQ1exeL5)H#|&?GKIW;=(_թكxo#jIs;=sd0Fᇗq"};쭤+[oL :U9,iIgYZ9OV77o5go˧{ F/r&w[+ɽB?MB&?*]!l,_a(d X TZ ;d7`9Qh[fzo铂p):$ *b P[K iB?اPsµ)kQn?$FF LR: T*J$Džh/@e@0気[qn H7v,^,Yh3gB4F6omӻ {)`GPOp# ]'6w\J$ޖbdT,A-el}٠%TRtXM( S-nohx<21Flx8ᙄr4G'URNr92;R2j!ʮ6V#u9-B.͏xDz94BEi3+ c]> `A얯V%X,iրs9*J_ߜ5*,1jW3mɕRRsX6`.hEp)$up2H'rO./nԭ d5F@ma]7vNIC5=qI0Kef}3D(Yy\0vRglο XK&:y901tvUygѪŊXD.Z]0y.g_hHfĆ*Z C88Hݔ@`v1 1IQ >?/wB\2`/9qgϖ/LB<>譓[ c`+>hftV/ Ր׸5kp)=k~(Qi]?$3oOu2,ΧWoDv^rc548S%ݱN"j.~CiQ/< *0SD??'wqtȿ%7߫> R .? Ewj(hQhpz~zɊT#={=40kmqr>NE; o,熝4Jt2|`ڭõ"jO Q{-?d \xV*!_|M ),o 3ȓBOξ9n&|u(a32EjcO 7̕ka{GU&$-0$⓳Cϳ+.C=VJ}΋x4840~lO4J2xx&} 8}X&ui/E:Ro ,R֫I9pasW09>d 1R1&y027M9Mdf{3Eekǐd S3bl2_?HEOlᣓrRf +AdкIdء/&]'&) {|Zn7epY$]>惒XE?#C y ȷRFΥ}`֚_=m<wznG ..H+K{vyYTQ©EN{M6 jmc|F! =_mdnEmU%x|dߏ$mX}+-i{Oo\m~=wQl垃BJf:dހI."cEydU9stXNlFs+Y5@{cAֶ!R@d s8t"kElDɋ6.] _(q_闊ž4]źw$cNS~w^O#(A4zG̬#QJ0r_>3`߃3DC8ڨħP<Rtt!о-f˫>zUN֌c+Cq~Ԝ]Y]\KFXWзNvu.}tH5'"̢#.֕KK՞Z+Eۤ1*uiLWRᇜBw|BH:Ǫ5(jV ښtP| ebGrh/%Si7C0Zz*e?pA*_t] ef(GYI'ӻPܙ(]ZQ\;/A:LOo<b>RfXa~c9 S:ICڂ)>qDT"fN W:, Z|x $67(2%D:e|AOs/k!~6D$C~"3c 2u٠ L]fL49qTg*};ֈdLʅ冦Bqz]Q6"Tⰶk`+punD=vHcҚ⇴wi{* (~CjqcoAث#Z;ou}&捳Zu[_ cZICZfiɿ}O֍Hfbh2H&X~ /u'C%B/M uRu~]&@'6 m)T7/UnA:HMrso.c iB {u)|AZKfMNTob,/=1W r 'oqjL֝_fLCJ¨1.п`ٰS J:>pv݉$]}٦;Dt4yBW(5y3ps !%8=\7')bgzFd=i޷|`'2pl)gUрH=iP0H4N,z'LZ(tp9A ; fZJ&%[)r* Oc$Xiy<%&sC1 ]fsC'tۻpޫvGr+gG3WQ*w斈|D03F@[Z)Z- wFț<(ƞ%̑6fm.꧛(3 mČ: {&uTxߨO%խ)r&"kw칰!!Xk~@&9G]w-HW:.~r qNw^[%kʻMkqa4H)U0OvStkم"Y w@M%ЗGǰ;/̞­=;aFnKeTcx]?mN.]J[)o@., 'V%eֱZg ]&jU%x/tt8?^D3 "c#P~BuU%/x#Kwv6zp.=/]4stYgs,ڧlޑFngan q&l &:EvoC,H5G(I)"G4.Wz@,!77 @v{I٪y?k@;tXҮp?>N}I/%6**-G)ղV>9S}2Z ~}~j*!`=m2EKb(TN3ž,K*gIC# 1ISdq3T 0ņ3HP}ↆ(|Nf]jA; SƉqLz(N6\)kZ !MK}꽊5U欃VR}5~ߧuFPXq6,zd%vzNxvD%q#~yCIp,'T@:y[#M)`F +nz#Dy?:z5bo_:MyJfFJ6X1}wf@<[y*[бgYZ 3E% DRobinson_ArithmeticRobinson_Arithmetic.Instancedocument.tex7zXZִF! ]A-MՋhvG"uIBm5ɼ:Fwѭ܅vW2xh |ֈ2rֳm#Bqn0Ѕb$Ț\A\z*zyҐ轕|U(HPieRP}5655t"^ER 'Yo Sx0g>lMYU 6CA[#X Ĥـ\DS>P~Ύ>bQMmj#A76IWT9_s]{cE&RSS8Qͫ ڕkUTXӌ"MhXbi~%9W(L[s-k'(2Mʉf) _hJ`nyzd0+LRhH ;qU:gAˤr;\u0=)I :VeAu8"UI3JEF:myz@gv!~?< yɂGx:=kSMC3e"֥gTѣ1ڡ ȋg<K݋d;RM)h?ld\9AIeXp 1H"Rmٿ`2>m(mt*SqKu%%]}D0NiەByԇZޟ5vF4& E.v+5ׂ}~PHwi'n $N!lX><r6;*u^ JM(B~ o/P'Ǒq1swR')A3F:H8mJ_AČ6O#қ1gB1 #3E% LRobinson_ArithmeticHOL-Library.Quotient_Productdocument.tex7zXZִF! `V]A-MՋhvG"uIBm5ޙAvcia&zs.کgų/=7(F Ֆ1B;)hgQnѠv?y-3m[ 3""hZ(@ͤ{[v}1%fY:v:IRm6'6TqL4>F8>aw+'$/|"kf u3odu5V ]\EP!j0|rx$ZC[(6\"ciCԔƮaT Ф("b4[`a%L)BQ:sIUTt$38+k֐;*km6s"گQڽfVy-1 K"TnL\Ӓ(`Y,Ę {~^gTbIɥ;^NG+`2\t?o-<|&=o<}&չ=hFg1f4{w8-ؔCS=d#t/+D΂dMk[ v:>jwA>EE9C\DTUjc:W>vl_`ѢWMȮo}\K4+ dɼL-Iw@}EDكdz=g+kCn!<=0~s+{T9-VXG6Ҙ.#$x*%c5bbgg轧yQ`GW*;3vhpn f1],ep;yI%hV%I2hFHQ#$(b a_G%-`Pf %7-Ѓl$Uu8Eo(fܐx釓݋Q:?=o6b :w=n:}WBL:B!̗K-Ba ꮾ*r0L cdNx .x&j3F]ҠȵWh[ ceۦr-rnsכR1W?΀5#ϦRZ)V!^qBC=UT*CܸVȩ-5se ,=#rb?7_/w{*bSu8mY6 f;>t?x]ZIXټB$;,Ў~G9N~hypo!0.3oOc: .WC?gdY/SNeߎ3@(t>JTJŐ[WSZa*ўB!:ADZ|MFL?Ų';s%ͷD1 %{n QPWH-6%3䥘M>qZP)ۂ):mߨ;{2t1S$l+ L0 B5ώq;=dvbLVc}bvtV&~,ِzOXߪPV겫Iin%JP{`li`x9jF@o$#"T dDJb=|Ҩ!:=xJzaq΄ n}˹/4ѐM^['ø3!Nݎf7HDAJ~o$ILV&gK?sG6@o*ĀE[?aT`praq m)ۊdoFQl4eUeU@RkGHyVUU?gYZ qq 3?% $Robinson_ArithmeticHOL-Library.Quotient_Listdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ޙAvcia&zs*ey'Ek]tg{ͺ52S} JSYn ;շE)TďGe?;J BA}#q^^y+V)'N矬=\JAXCH;1&4f9&>zhT?ʑCh.o+%ay7RJWyi>w%dZI jvϯ&[l\jao]o5.֩lPIq^ԗ`+\\ێo*E#_Yc,EiG gsw9=+ [5PXnϝ ʝp j؉eN2,61Ru0MF aNf*NKUKa5 lnEnq;e R+JU(,G'v.'/d R]Nj;вHG-]? : W^"i1::vIdk_wPΫGϬ@ 8BgvIvH|c߃IBf(}|em.?$ݻI@3*`ٍjk±-p ʓKnZt?'+Djrw mi TEs_;]۾ #RH9b_ȑݨnѬ2b1E:-C@pvBdª7_ P36x&@Sc^/8BTx.h}υrFgh{ 9FJ"Z!a!꿜?,ij#?d*7.H18[SLwUJry3Fg!ja;%:Bۃ,$ĿU'KnϭPKpuld)LZ@ r>Ԃ *ޝg|>@ 4GiP BB+8L]]1/ϩ r,rP:TXZnP6DMgy V&(S*5S>,V*8趲] @ 3zW0OqDuP;Sy khL,r-`3Ӗ)?w{{&~#UWv)\ xg@}i1,* öYųb+߹58>̕m}PY+M7|B3yh,CdU""p[z]3 g+d?i)U\ovo1Ht+/Kڋ/a @ ~yv~Rv}Hm7R1fw ?'KRnҰ7RoL@2e+O(NKHf= }6Nտ`\i^։Rlp$~»_+_x}LPso4mڥFr)1 :fG}juD = 8e@^ލd͑+v1Kw>y3_. c.&ʭޢ~%t~l _2w<+}]4/`r)h#'gYZ d d~3C% Robinson_ArithmeticHOL-Library.Quotient_Syntaxdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ޙAvcia&zs3JFUz9dJ #laG6Pc.2srݰhRG5b ?-x9m ZḼeWPJV6dy(|̜a$ktlKĘЋ>@ 0JqGl ӽ])(6֞s" }B gk]~JNO[.4?U'ISe/gg1mc+K L _ޒ 1ᅆz 3z bG1#odg %I!#m0PP/Q(R6?XMy!d߅=9!|u;wzԎku)A_R b#v̼ >BٮWs˽!pλpH47/Ɠz+ aD'hi]Ψv`X v1ױgYZ.3C% dRobinson_ArithmeticHOL-Library.Quotient_Optiondocument.tex7zXZִF! 5 +]A-MՋhvG"uIBm5ޙAvcia&zs-j/Y dhE[ٌ^"A'*֒%=yƤv ᛯqFO;ąoUTDy`YŸ HE8O?_/,MLtY0 a\D7^Tj\'Z\oPi< =0i*˕DG *O/~:*ӡ7*[Є9iF?(9[D 0q_GWmP[s(si}_%` H!\IB)}%HN oov@ n3}av@u|6^i]ZT]5F y<4O)ϙNuWԏ ]z %u*ƥ9"ǁ j 'U,]R!1.SZ IݼMQDgqEεk[bDؿ/CL.,K!fh{DcܓeɾZ}glֿ Z?ĻF2k,u: 7EI:_ -3`=+m]]\5VȤL}z+ZE[Ti:.Lif-uk;|8wCmRP aeYTrvݓ}w(RA$[Rk:3 t=b>bO@I4"ү:[btv6hwg8!6(LjBetve+tW@2Ikmn$`@ʴ2˔O D|)X`J  Zrmj۳3ŜGGcxMAq6G{o QNHuxjFgTK>pI9CWSgeP0;ٞFN#owBdF$Q 8ByP5 >a0 3kL~~PnZ#bEPqP{{F,(sOyazl` rAhKIXoYZ+ϊ.f0vj TU \wY@Z{g,Gt+~=229@jqߺ0v,>}~#A9&ʺh68T6]ƣ +pQ^-O98ǎji53eE EpZa/k mFL#ɊW䘙 Cx:vJUJc)'ܬx/ bne`0ő429jݯzrnVǺSbm)JblfMZxFbOVf_2-?\U2d85DjW^Wu? fBA jF'ߺgYZg3=% \Robinson_ArithmeticHOL-Library.Phantom_Typedocument.tex7zXZִF! m]A-MՋhvG"uIBm5GJ&עDrڟ>s;4ypK 9N?&36/5=eo=@+ҫX>Q&j̓"^up~ v\ B13ӼC{O30|Vmυ='jՂ(vnzB5ALLh\LDOjr9Q)FŚ1V@rIaQF D_}QQݯf]& ( NRv8E}ɾ)i} xrg |0Γm\4ca!&aSC,5pp|HTBХD88]Ϟd&`)0zn c&ZVI'Z tI|g۶>CƯ_l7:28lB _ ~jn1E&q(MO 5 mR:ol\@.Xw7 @r{-"hol94Vc,o 0d,嘡fDiqEַ12b<TNV˦p$I !d &s.嘣C]/M*sTp~CZ.w2k2yIIGm-ObWaq*?at&׼5 *5*p.a-5a5]\CWT.n%3QR/wjWjDkbTȣFA6ԌV~PPUIp֣"Vf5o]!ap%}& 2Z~˱gYZ78a]TBPtIFr{JjolMwaMi2e' $D%]]?q%8/27 sV$:%kt2+3WQy]no%zE]&7ԗFX #U}МɦhiZ關TMb)rrקtsDUD"oo>N s7BPJ9 Akmxgx岣GJul鈒 yxeMԈqd\_jor:V-ըz/~5@(!k*ۢ=AP|?ح5$ >fpܛAG 5*5 M`P"!{sq"{E6SkCH*~L+K'"fNsV/3X^8hہ4$ ,|ffL6@lp|TWxna%eukjJG#EϷY>I#ca*pQo-Lm[{R_s\gÔ2Z~={Vi¾?O"AWf+C,!sw|"aplS.xL0w)->+Ixwŀ̧64V30cF ox?5yw/˧}A_DZ/C{,g͟s %o1ʡ45/XM$ 5wq)]9~J3J[Wd"O*16h$%'bfSOe ռ(LM؋[)Np# nry'͌, rq6E7|yL ^w L.ȟW#l"``A2,+m< zxylWbsm{*@9ρl,@6bPa,;ȗ:VQ-`[1r+(<}M@CQ+ll~ \֑D@H]bPCeÀjU Pj8zd8t4FGV旐a\5 H\oj L-O ًx34 d9W:MLڃK<Ͱ2B@Tjss?vU=Dvj]_մ0,hj;! K!2j; (d¼-L_;Z;S0MÎ?p_#̤[ú :]`&vg.SyO!H2VׇQGOk00Sp==qȲ9:^rroD 6Yoh=ۺA;C.OlZoĢqlrM(3oe bnT;!dz:,xO0B8*m"`HDb.ə~?" ]pXr/?UBעfjm/hS&REaUƩxyr׶z"ES*2vѤIás߃*tIz9MҨ1w5i{^K'R(b#c1=Uu9zI?bd 5? xNX3h,6ɶ+CP=az~L`܌ՃL\$E߸Y;+2lt^qH۴9-?MڎU\j2eY@9ٌdFQH鰯/Tq~t#P^:m'Ifn |IH|6_ tSZS/ T3qi;U$H^KIy3,.4akahBʃۯBӋYKK u~sd5鶩M|,[TA (&D֕`'*>Dr^}$UpmаqNY֎0 qDUk఺a+7;rڈVaͮ6r4o.,x_B͗LTzܤe*v%ap) @O0(ڀgon%|Žfs5JfT%0Kivt\2E-j)*i2*q~yX -#@Ân|,x5!]^Npr\h'WBlW#u~ @zĭxV }ޥs?BTn(Qt__v9LpVKU++{4w<|9̕ Z@ !'"eVs]Ί#nP])0qa蹭d0UlzNRq4\K "Ff3e_/+C50Bu+-PڀCA~Q*Uov3[b:5D*Cwzй]^.tsj?:u!hTiޠeԄ,ڮrُDl39bDΈd*>_D(Zo7`!},j, 2ih^P<LJA{^87<&{bOdSLԎs˓>CeaU8N1:Ǿ0D)w>MZP-a܇4%.8s8"d`a7EAsauIS??JM6jɄ{Tˑˁ2\Jj)7n3?5ae "͎KbtXJ$}mB`)ȭ7j1#Љ%S8C+CkJk'"*_#eJ(-^G4 KU7g:wm<Q#mlQ8x~LR:_I%f!P6th& X&nNH5diӌ*'gk oMhr79`eiڂh,#:sV#k*PpC=jjǨ#1厥7oU&b4tx~9:5|z瀢AIQD[LD?{`a@C4!~ 1/Zw])f/MƦ\BNWա/<9TZ$-E x@AG!IB7KEg^IA=YOWA;luZ\FԿΓ> ;E [ܨߖz4iU֩6bpٴ>oݝDj525|gPn;Di$taք2Zd+h60mufTu Zqa/p'WsN5ɑ[W: P h/p.j5׷Y`-@'yֽwKp;xDO,Xxdxe c~-|K@LV}x$(u`3yjIk (4::&j+|rA;rˑ%_,'ͨ~@l4*2:5= et/yNq'VSb=_Iu|::BXM󇇒%Y^`>g xz f,w*)yuWl]g*6Tۉwu)Wv / 4x3?+??"uMT1?W6kvZ.p=T#&'pq/!v_!x-S2bq\V n*ܙ-7=!%^h؀WT})Csj=y 2`H0%]q&x5)4cK$1]y12t>¥zHa\sXly}Qg`ᜟU1QaRJG޷/kS@/Z1K4X_24R9w6kcFP <]Q-"kŐs!Ys+Q8f"c'K]K7u@G@MI4q#U@,D>>zqUU$8;CYqJ9˴GPpq z{7V)L2|j'K/߬ic .( aB(+oi7qg 5+n~E2q4Qkuet+)%;_x1s>fEZBEƄ\5Ii{ Dɐ:2.1bd/7[. &{< ;Tyx׎vO&dKwRNrǭDPS&@B^֥NG-?dKjJcsm8nan>(zLd)h("6fp ].d5hvMZfTv0 MCX[>%j/tUԠ3_GeNa8/ݴQERt~A+ P a!, `iKz/-l"[16X>;#Ko,߁ZN/Aݎ-t0oyݷU mvT9x?n&_,00I(ozF"~ʟ;5yK1y$y0@Tr5mMu@'֟qU@b&e4DLJh*5[G? 2m󶺻g{Uv=E-XU' @L@o𿟾.;zKȴ7Z B:^;4hIF(lJnxQؓg}] S' k7Fx:a*BuسUYC\S;,7Ð\AFo9Y{D f h7;0<&yLk⨵"@{{ќ"t?yMLu۶ge juwKѝ ^ͷ7%еer?!r{z'dԮVv1ձ!dwP d>^UDzRLVvcriނ'1q!Qg5D !Aux"Kh}?:d5w : }H&J@{?K{ûHsHA:2+^A[h*7 hkf'0\'153a^<"qeGdNE_c7*xu=bwp=BzF(2\~U!H "6'vhَߎU,lIa٠yf],"?V)H'ksQ >wbW$>jc+&=`X_6韨%<4[8 Q̗'b^,8G~WZd=6oQ|;PwrDX)EU k!r ^!(%`]ʆ@%G2!Y}ƟuXy҄ +Qfp.!{hfȐ()ORX_# ;Eca(d0"tȫ޷dB26 wJ &\(H#eOa'3G^~j8!ۥL},| $98*]TpA /yk|?Q2rC5K_ښTui3=A'ɦ{;`IBrWo%~E-lxD+C$q3t0Q)t:idi #;ypu&';59W>k2yxG2\Gp}q|Y>"3:AC&!$sN @D酏yk]b,gᤎ@/I;f/H9UЛ0Y) a.zuQ-<1GlB'V (Jo|\P:y` dKOξ'-OCLBk l W`J~1VGTZ"L@hfME,UZKGD`+o:FujXG=i_ep] /Neʠ0[qݶ=Dk#$USSx- kzFg_,=.փ>C]kz3SI_A^E \&oɒ;YrBL+L%퇅ܑ:lhm~+m?Ev%'bNY>[$ݚlײD٪C:. +1OfH}P-Iw! ċ~GeW&JÉ`f*Ycvpi,<ꑗ(c `(ЫD&~lb"1* م3cV5r5)Cx Y^܅"mz~j Xo>Am)гKfNlleӯLfKhoS$bκTHpzJ^2r[l 6bA.IߩvA}5R^m + ҆/&αoj/,bW-/L1ѯtoD_.6/f3.#&ZyK$ /QYI<gsҾV3] >1:fKzE߱Έoeܒ/i1hE]|XKDotwk U&;cW>i.hUrXq^0pS`!o*M1qph~%v[i-Hѣ2o!7v%cZ*t^kðoXt~TYqPH WZy3&ZUkl՘˙UWxHo3r?%'/d}uLP8S++-pWM*YA lb`@ٱi &Bi2spW~ /h3 Ox vm%TZ:'fSȃsU.П |2NK)ZS's Ll}@3l@xG܍_R^b~So.ɻPc'@%GICQuaڲtE:ApPm\UmĎD WD7 G\bmse#4Ok4Ņ,RyS\/q<޶8o/ȍ ٰ3yQv6'"M$$ Q0)5}JroN;3%csn'z7iP}~mbOb&Qp[FZ[⃴;WExC9Ї-KPut%`#BDdvο$I3oR5p Ƅ*NrRy^[rpxlj*qeGv=ҍ]&EGdSN"qݻص, |H%zc̙7t2q "2 tҀۣ<#sz }@&C5M4 w*`OE,mY]CKH:$t P()bnTlApub v{94?yh߅{MFK/)b3h#(yyiNJH#_@3v3A9`6&#!#?#r䡳1. Zdܸ!fQ,\'yb﹏Z,1AL֍PVra;oJ@W n 8(Z*xji'WLnx1 Qqr6ھ>oI޽-WiC|MѪ$p! `/v ET(Q m/ GnMdQ&<[V!*K [d) 1 Z%PKQ3{1֋rݦ0WP [X7I6Ƀ&f̦ K㐱%7#{+ 2EE~ufdiQfwd"%LTI_yYDW8p\Ѭ#Z<•fBvR@ >J8S))HXPR;7ѶY~YE_WN,4ֱD:}g'E;aI>9e mh/}x$ڲYA\>yN8}Sb6E e#6I&  ^WG#~|:'H>5``"LFM[LXz{c4Lb׃mڳP?PwuEqcA,,+RE֙>.ߍ@YU3@nI+ `)\l="pSq181u: kA]]OE ]mI5D]Ft2\C# 5| ?I>hr٤t &Ni.J"nRؘ[ـ1| ۮ_./[r ؎ zz(tQVhG `$폊OAjDUhfvWƿiqB"Ƙ_Dg}!..`6c2 dQ ػg;"u*OIǹ$['>V܁~\.#GlOsw~6ٶ-%GљXUĺ4|_w)H lɽ.ѲLhE^YۉT"qcSfՇow@y:%^3NDVecgZ :f|+fdXt Fbcj{](}%<qoKC@)2vA/:/"*5H zT$eRn}~YQ:x]K;Eh;*O&ol LPpH^+'׈Ql8FdV|bk <O[u/!8";Ї ¸ rIsd_aB?!'6aR,gɌ-ÂFv,-1",󠲙K*,I: ע!B:)*'%tv8?ƒ!QrkWz`&G>pjxn8[gk3YzԘO}iHPB|cTJ~؉0nn %,y0,17&-c* .Q& )/1lF5 ^PEՙqֹ֧@+), LWG+ۍ֌2^F{<m3U4>oNIHkj)H ,b4yP ؛W^̅0 @7RGKs(GwRQz'lan/)L̞{ e㍜]:_OazԚAFS`ղPMhHf ˓%Ѧ}1k7"Ĵ6x=Ш(|kvsZ,.Deif>673<%peaniGaM=$jP^Q~w=_K&:,iuhID#mAF,1 /=(.e^;Ao7%Wmz-d8\TGj|bKd'x&hDGYO}Q7a<a!`An^>Wc~^cA*s6"9q?C{<@!&!8[I΁$,#}jZE_{Z:r[9Qe~@Y b$|Dt=JD ʛA x{gpc7s~!9jSWHHȟ-jub1BJ Xw9RFaC':y`(4 >~%54ljyD˚Vo ;u!MC7:@-C& B;_fEu|v_]ޖB.vj)zguNCg0W>Y,<ӦSaۦu6 0Sx 䟣=סllqf_)i3ξvb E!!];̜/.ܞSPCr?}ecs]%lpaMK+}V ePf;cw5а\HG"瓏 0/ /~:_kv}[MD!|DW-yu6G)2/+j`p{hc Ѡ *׍ ML %%6?qD,?f+)JX ̊3SV*Cųp1B;%;C8|tlkVr#iDkDLP9џUȁ&׮~0-p`"7}۳4Pj!zi}* =gG P'dH>^zxi`*)`ǼŚ] c빟 e6UwJ<>;O0dwTYMl@z]|/G)==1Y9i#o*{n{'avޘt݀Ҫ]`|'O%U&cLk/J %ߤM*4jvJᇇpmcDzUžLK'27ލ)>ﰃVr$*y?r!n] ->e,uv?osr0*_n]t_nЍ%=>UUٸAF\jO~]mܳ[kXYGDp~ń16X=\@{[xˌZѦԘE+\^,|Rxޥ P=k5 =j3,ϡ+~0h \]/7 *!9Yx{?Q:Q%9L,g'kXZŦ@. 69eݜ=RAVrozu#裂$bH+npYioMŤFL^!دIdF Bv(93 {8ADtwQd-xm#$ ZH%%\m!H80IEDzD q}Oͩu:Oq= x|&(ǥ{3; $3;Ocax*HGq}ɺ%t[&F! Ӡhe!,YH(RP* WتFaHL۵T~3l*CDoWE{|L>J rqGl%3 UKO F\OUB3cp‰c$C{gBH'\LJ=B !k>ͅ.lF j` Ens$SHM-_du.ҳ,a_"xJT%ɵvPIY騘;(M@tt 3b mr ~]?e^v/:!d%捴_ngJā/#>E!97<ԑ*g01 WV.eEH)w]8,)~{I0C3QyS-;3ٹWOvcwiu^)f$aOP}}<&)U,ʓ<jFy!{Nww2" Z9w\NH]a]:~TM!&v{!&å~}xLWω'hۘS-9yE\|9GRoFlY"i*\]w#݇|1;3FW4 | L5Q29|+BudZS.QS9[֯4&4NmvPإoI-#]6@SVP_QH<ß=5IJVQ)5G?+˻J#נ/!OL@OSnԭڬjšbQTy>ĩO?7YI߱Xs&iN#ozuTm ^uZ<ȾUwYS(-LNp5&69RR(z3yG/Jد3*!ì Dv!%2 }gKr᪶t 1y_/ \cQr0raG"9m$ q^F8T*,WqazK쮭GWx"K``x,-!g%Y9oNf#ӌ;9=ʲW) aC0[Yx^xs\]VU9B/fw O+{YjӜS sOj>-\ WP\cJhhV,_%Y!j0nC1_ecNO|W}F06^ό}VB{ׯJhq‘l:f_mߦ%a-p#y7IJsIK칹hvnE4 41xsc ǢnX &G2˜WBD ]Wӭ>^!}ey\^LJ6][0{Fl쟎A~e}[mT}mۺ˰[Ў*! /pߺf>DDenO-EtA mj-ߙl>SS j>4OB;yL.9S&ɓ&J'%A\B`(6#/Ə_=^FoyGuRqk:k*Veڢz}~svdžŭxWr¡o?W l{f,A7;3"4P@vBZ6qwmSojd-6܆vܽ`p(A^NNTF=j>C=pE5\җ/[YvzMmnjÜ;(dXDFoF8yP}D, ]h]cJ55&D|P#"<Šte]R) J27}E*eR&S;Q  k+yq:iChd6CPUAù*4g"l@k<1ڣCx)(󹖣󠿚Fd}-KLr؝9%s)o?U}"-+g ӓCxw\MK. w$u+c&wUG~`Jb.\fS0S]SsIݣLۃ?Vs*5$Cfu30"h2je1u~!O|ٺTXg*I $t߻gs+ x y(M85uZqS%пG&hH7ȾQr/}sz5:P:D)I&6jns~vxՙWGڦGHMOkINrP/NcId)b%͗  uJJöq\)fm~TB*uIT6Opdp!ˑÕjGdalG4>T&eVHٷsKb T!Vc] h}4F.`jV}涞F:B& l/۲ 9p5ƪyRbۙICVSv\8kPF] )F( *ܻ1A- }rON2@[ 4&#&M 7EIYiS n*(KhaoB#ygT(_Q2@<vT)oH-P.{C=J"TԿhPh-Adfs߾Yҏ0Z#Os"n;\!I]K#'ȏ]R3-{`έR##7wKKK F%$x93m\tlR |o<+붬0`̳.;~ 9 JE2'j={Z=<7NOv(XS+?>74bFbv̽ˮ<[W5PX&tDgkh|ipJ2ȴI_hrMG|Xzs[WwLjۇ#~ O8&_k'ےQ!E"3ep7_/(C$$SIH5q0 b쾰qMw_!tM}<-#}8iɋmnn|7G9 R,YK냪Ң^t$s_ou&W M&Śv7d~^`y[IjardA":aȱ]u'Q_okbmee/HgBX*^L+1 8N'NG܌0?xu716h\4Th. D+b>=Ѵ^ҡB\_tsjԨ`Ӈ&_1xrd:I+*^ P6NJWBjd5m pm\UR(:^Khkk5^e'_vE.wۍyrNxqTݿog!CWV,UFKR/Sayʔs.5G:}"MzhZKZN)s\`5I6(hsK5DwW*f#2> CWox~!D>"#P?PZyJǧ@"{a;dGLvZג8ⱕ`~*Esp3Y݊=nj&/mWfϙ(fUtojsOaM?DDbFǭ_k 9nP%oFL~ȸD>237S|?Di\g23xC 3YVP!v +vW$5WlTW*@.HA+$Գoz(?c]rq(.Q.aVpc&V/teEkIOT.N5N+oQJ:GFcڄf*X}rq5ۚGb8ZŌ\:[qJ  C˴%^y> HND[ ! a9׉="{_u3F"s[S/9IڥS8[z'FnMI]0_>U @$'^B#ITKMY{#8m璏+;+3dB: fYw4rM xi XxNB#gwhUOؽ0ֽx.7][\&6 ;? d *gO C+ ΅IҰ3Jbp:hV^q9T] ECa$:Q~mrQIB,v"yI{iᇘ@Z1&DDB D/NִV.Y'Fۅwטwk%DmK9IRM]ՠ*]cL̿l'XWYoYLkǣdvH(WG"bȇa>mVȶ8<dH[Rr m/9~J q]vhș0c,qϧ +cXX3p'-Lb숤ݲNmy(4;MsX>H,EaX5ߵɦlyb@p7g;oQHph0/b#0{/n>FJ6?#I/|ٻjw so 56ύ7b웜=.4hbDK?+G lm*w̨눓<CN&ˉ$O'AԊhTZ dŎ x}'9{~}Bp11D$ߵgK%!E9M:dV1Tk$kth/%efH%:{wki57ًsr*/[xקطܺpL̀N)C&q`e]iBKܙ4U64ic@PuZ~XK:77k|ډ#.I-U V̊ѝ<Лd1uoz,άB- 9wg{PL2*OE\ !`y]3;<<#_rwJL2**OM S8M Rfy*Tg DtsYյ-v0GEc,'Q01.RK̑v `;f+{hY4 bu攄ɣnz(n~0uTޤwqg9΃S^ь% .0qHkC>˰M}KRW B F Z/vsM|3"(" V5rM7Ex}Ct7z`MU>!/X=wQz@)eNcKӎ?u뾴-C&1QsIe>]rew%% ًݵnJTsw_~;+߯|ӄf0lh-fP4,jpݣf'^h*#FW~C1ɮaٺ[fxNvPvZ (neO3v$>wfT-ֽ/p,p?%0Vn]w+Q_>Rʆ~_m. tj!!ihvEgv։Mqn>OEn>*Wm UkĢU[MSua[ya:\eHݬ \2vR5 $rƗ fѭG )l,|ɴ) xqu:BG#1A-;拀ea?e?`9lBIj$iSۣƬo)[Ynn;/9+$İRW9^Ug h1 8r7KGڛzhܜי>EaJNx_G^1ό{^Qf0%NWkp70 ;uX4bslo!}Gрl = qϕg k{33gڅy$m8/$?QT'?B< i =+c]!R6Y7w)cfc S_0%S#`RXL9@%32:QOLb[|7^ܡE=CiXT Ki=kvC1tIfSʑ7(4wj_pz/Ͽ]IsQZ@[!y6%@pNdvJgO򌖜eO 3 h6:cnd3~Z&*an| 2;ng7J19ŧ61{t?]M3@%CAQ40p@̸l6{& `+bh_+U^b֙2=D$s \'HG:CzO`o GtM+}9l!Af*{A@yOQɸ]!6SY]" s_Hbmp̡Uu *cN XZ"$N FߓUmrFL[0X/i䏖[|{ f?rf9{7n.  TIAk#"?׍1sAKpײ=>oAK'9g?2&D̋JuDev6A7 B7#jbjbİA( >i`#NPȸH-j Q\ٕ5iSQECIwke&;qSq)ę/5׈81>ė%3]uc!̼ȋWrLbWQ̵&G]py:v,V쵺0fU/_B3;R_MM:gt*WqvZT6oaȡ2MGUI)֜vS GIE 0pJ󥈯j;gA!2v4#8#y8АA_{XKž֠o/ 'ƺ7ehş\䧪clR/4/,g܎χ{hW2syHQ+I/Oa߃c`7k 2){Y`"rG:IB0"ص2M9[Vc6|D96%m=UjghR7 PѲVqO$TB퐳6.jhކ@tSm۬uֹ7Snb][ jqFN..e Huۍm Ŷ`PHuJ+6 wPt!57+i-qF|F#Fa0aQBϫR" gYSN, :۵ZRP_uR5k*%BJ`,"ǽPV,cٝPN=ȡ>vֿA}Tq3m5zNzt{mz^Q`R:CVE4!rN tG,q>AҐ8'=6VbRZ<ډ[FӊZatLvLŖ :x(AƼMHԨ)J8[-_$*NM3w (V^_߉b7Nz78V7z ǕC_APML|gYNqOf^  -&Pg$#i]j4^s ;k52/4?pe(fxHt㗸 1fJ(R*tKxۨHY]g*OoF?a ‰S, :n(ark Yk[SPD LQ*9-@)A8 3#||u {W2]G{76"&++IiܖĠ,G,Ȕ]Ӕ4[(6 -qM M K_sĔs9|fH _H#j)Iܬ:Ɵ !8{f7XK^,ؚv`HīzOɺ <Fo"^dIQ^~Ox9T1$,Q1ito":jQyAKzlDS!Do&8:"IX<yWIrRqX.K0=ެ2gߘPXD!k[YobC%yЊsEnJ(yMĴ&zWr}+;cxŔ=K"b?ޙD j&]Y|w.}Nw4uYw׳G*3ݥQ9Ybʺ%;tAa+!MB>ؒaU=SyO_d%p*/:i3x M 2_(IDsK1Ǽ鈿2Av ޜBx->+E1YJ0 jB@l_, ٠zjf;vh@.np 𕖿1T>HVV\'~Ƥu%^6Ƿ[7G 0w#Lt<`Mpǹf=B3vD[ϓyM9Tj)i؛kLðtzd}+c-^7:d~!_ßҲP"g_jґđēKoSڀ P]p^փsSyiۋmuU\B5R&gnI]pb50\UpNVk5hC%o\PeVr 3\AIPqɮh%M-&>/~#Cr,Z/,%)L&o[+b?z 8y>1KtM J?O"c6jXiJtS} 'I>*wm]1|}b'9*5z?n<Ns}]@ 761>geB :&X<"`oWKSGp !>45 ł5$}*S\ {< x?rRvv-}p#c| x:TOE^.ׄYڤb4oaVK^J@s/سG 9BV*!J;-<0ǖSqAȾ/b]MxnСM}o[(؉e?mF1\ b$ĜձI4)qX3s«V:]$VE҂{ݿC K3ݸLW Uc* <İ`$%WNOε)ѧPJ;*QOPlIu>=B oq[z4TsϠ$o8: pˋ$Z'-(Wsb՟Y̓HSV#|_L,G3.`F.L+{j#j򏲏'.?;nk&tI3B\SX cF=,1\F7?^Y" E|yzlX,>D Dvס?H|xo .A:2jpf d6NA;ϔW`v,G~]v2Kj'e賩GԊp'ܗ^Nj#M'[ tԌ?* w;|8l|Tg޵'%-qvL_L,;Pq?mW7|]yL"J%& ޕnBtҨ'l3ipnibKG5D(5fPx9Md1G>TNק n6_5Aevwy(&f ƈK6UXR ]PϩX^%;Ir"_S_btR*MK_Oˁ{j~ٮ=2*izĄkE{mQq-GDzV)o%~tU+dfmg]pT^|\{Nj!]Y.j]g;˽SR+G] 7lN5Gcf*򰹆dk:fI.nZ豮-akf'V`.oXڵ{M5MD)@)=N\0J KDK6EI qm7'S\Lvs>[7u+ -+הy=7%?M_5zHХQ$حeJ ~ bqMҚi@idž^I絰k & haDCou(Rh)Go)B<7 sxP4/? &ũL5,Py'mO59I;S \G VXd Ŋf nJ"- }/MUc瞛I(9_^@;ԦmbiN퍚+ċ^hpfhZōdadvm wvӸG:X0{fZ*Pu2W~F8] %I3IU\F3Sz~L?H^ڛ-ܝu={:\S瓒L}^̙{Hˁ1KzG\KsJq^t5Tt$0/xoB8Ə`l*1^vh@&xVTp1:GQƀ&h6=DuOokޝА8(QCP'(ƟN//JNbv"`u:912s^]m"8 q,'8&5=\IIa940|)};Y'&Qd&lmR4xΑ 0"ϊ AqX7U@!-de֧c0S2u evLqbpEW9Ql;rOqhaM((;@|r6 JyGe>]k٧|čR գސ'ۨ%(񛍁iۻt|F a#<wĒ˛O=ٽ&dEM7N=Cc-/T9SxJ mgW.ǧxӲɋRدK@ W]}S]p<ZL(qcnƺ).']2ڰ簵 T*8#8C!.~&6dj/^rR}tWU+4F4ŮX;]:(nTSv:nLWq*+yg V񹖭B| KTj}`>Nq!A FUw#m@"d:9<ĕX^-ƋIm 4+/"{0%@Bp^*ʞ4%᪰{gu9fx Y ~low&*Oאơ `&J%^wb{XWؒEvb\s*]?p:} !l4L5I][sI.#4tl:qg_3VF<{|r}u.ȮK[G/j L<5 񖺀ΧP/}Q( )pvʼn%?9xkv"in(QpBė' DTn碄9llɶ)r{[.D&ƃT~7j6:\}`ߞCyaYT1L|g|R!Rw_WY0j?fuQm (6bG6Ŵ_'ٝh[`pͬl>V9['8gYTٍhX"i8z `"kȐ@Qﻧgi #vaHkUa9(RԘnu!HjR)Q*mIE1hZAdG\1C[ $1 ,HL}h?*&"yS894˿6= ^nSB&17 @I2Z95Pd31RT%~#&Oã!dp;%%`s}3ͼ8+ƋfpҕF&h;`U >*j(H2ܓ@L8JЄi؁ע̙5^Y]ԄvvN'a #XlofUhKAŎ Y2<lD!ΛPD/U)zx)g'r(1V-{œ$ԬgAA_2I(1 *iߒ0I7~=+-X'nOFOUTW t. v -I{|}c$iҽa)9u2餔.G9\ضժTıN}99+u;1ƾ%fI8#ͽyMF9 i98;)`$ҨwEv]t:5T!ġcqy1YξzOFXx{j: qU㽪mF JXsHQn0ӅU*iEBxS:]wn.i51?Wc SN_p8%h?35}hGA z3RZ):Ҝ{#%P.O:d=D*.0ǀVG[S\׃I2'X]X,KA5Ļ^^v`Ai!ϧ E5 M8)-vl9ZѮPE,y:Pdtygxf>нl E!Epp$9(rUmdWz:D4% 6ABb8 ӄGC\da5n\1m@_1xڸ\4ZP*Eض,I:k'#ۗ57tZ"}&1WMZ12O{x `3'qaZτ`h? 9/G?FSA(C9hw(UQs\8!av!i&ZrdHa6&1@*mT_oNo$H=Rl~[p&ːey]οN0Љ5у@ `^b[0Z̦To 9@ Nlh`,~\^Kg. d],($ձH <~D"t\\Z\jO SʮD}4-1:%ӯ %/%CުN_oz1dxCwGEuB~DlGl9UM]syo(^T}Wǩ%޽ǟ J?MN ?%(mPײaHHUy"ab;r:>#d u'>c8T-7闀bH-.||kݲ6ƾC Onj!AG& -9Œc?klfT4^cل 6)=m0*ҕJꤳKJ4ڑ43ݶ_-8݀891pE-!ggqkHQp(B})klluBF pם3C wr@$?SBr&9QZm k*Be0 M*Ҫ-6Լu)i@k6S6^izcA/s2!S`<(bēʉNpa"P/菆*-dt.8*L`I֮gǕ9{ÄBoav-64Kʎٖ ,j>{=9 ʶsu,(bæ7| ,683'pThN@崳>KM6}⾐M %|3aN>I_.gO* щr2<¥`+3"Y#6Z<ߛ\Ke {69g6پ5n1 >;aZq h}㳱y^ o۵ª:N|p~} y@|.RR@?H^?]Fo_X)?|&W$8tW 6%b`SD}vRxR?h(aNEoI$*^pҞט\{./QEI58' ȂPB +#w{h_+6&zTW$FT_>Uf)#p+wGYkYFuPqޫv;m}3PgG"J ٩݄m1ɯ#lXbRJzpo%*P?1&,W*>$ʹ!{]H,R'B:Lh4~|ݯZ7uפcaPvb: 9 .>$(&;O>Fi2cL}baHG~#fa".^lQgEHFJ!W՟:fKt;IimJpetA"Lo˾ ٦JBy31kLK O`7@_4Sl dx`ʊHvqL\CUUHI7L4HgHʾMq._c<,~Vj!)c"Kl*+ v$?.7wkJ4.s@ `ϧv^E^QjRBw=;Ŗ˝ypWi X>{eS.Io [DGTN"7":vT:fsy[sGaC&Oy B`_&Bօ7` (,. {OY·h'k4!ŧqS}%x$h[g9ۓQOg(1g V(70$DlGI 5dߜB5ġePoIU1ҠK|A|՘:h{lȦ{u ¬A.w@:0{?G30OLo3cL~? <,>|A?h-@IЀ ѺBmq]fb+vdDe{Xs*'E!G>Vĭ at6OY=QJ8 Зfֲ"嗶>T!f=`6O*FPʾdei?ß 쟬zGT.#]VqeoIyF,#~M6 Ī'tƢyRC"ؒ./q;Bk tU xTw2_T<9/@VCx%@ҡOqjIzzO/5o^!n/PF9|5䪆e϶g`R>6Wt ޏߒ"J [U, ahg> *OQ?wY|H|:޸^U<;=m-;cE|%DNoM`yoJ É} f7E(WB2QVzTGvְ01ë'rQ?}Uio&[Bk֑r Xy? Ͷky4 +*_䅈4@o:것'X#Cş+7/Y}C(rYp(]C@mg f3~6!mPG,V n9v%H=Ig@S )QXG2"['&Tq_F; _aIp5a͌xx=s6(?wA #jP_c  o^mTp0:VFŵ.'b8qTɠoysl!Š62f| 6Hvn}W#:&r]k7E9wW 4kQOzprjϵw@`]TgͻLiJ3~fk?ddbdb==kY=o u4(5a&nVfO*U# D@>'PX۔IĬEGeEh\ T;GT{N惂T͍6ii~U-qT\U㸶];r}XCS&N6Rݘn_pB/o$9t{GF;8#GKW }oA;=j :RBӴ#.ʥbh֝^W0@w ROJ]?e 1{yr,9J*5)ArX2a6N@fcɇb&fИKfV$Źyml{'AL(9Ȩ%3"Uv϶aܸL:ehܯIy'#qN8gq0j2Y!7wt A7GJqe6]#6Gk?A.ޢ{? ig0G'q `]ܧcc,p'=ZׅNt?D;vBHr-']y]mOdSs{ېM(cl4cIu߱X?ӈJLu1g'+RAoDp͌dER ^ziEbIrLɂ"i8zTPvY/ZAC҈s;tnQ<3i <ȋP탾_N@R.e,h[x|ZRwr=BΣì11D{?LYox?բpr,?t7ThdA236ރjgxuL_`k\FNuԲ;]#4Gig4p>jfCLJyzS DS{v=%~/篛DŽBszDZߗM|C!ݫgE02<~uKg+1PA( #pp2]`PVEâMRs)moMyk/p- )HЀ'3he+w3#8wQ'.ZHz˭s$= 2"{ Kxd(m=DոkxqpNĨ`J+YqJ2gً C_ RiGt>{ٲ+'g:S_7(%{|DVV@=H6D{KW_+M3&܈3ຐPzBQl#pgb^@p:sxʅB/ &tQ]SuPbS-HTz2-z/3xb@Ԯxχܞj:_L _+(WdAc o͜(B^;L: 5׬! 2,F $Թ#ovN_^1)jK.]EQr!g3!sCSF,b *+~(:s8 ޥ(+b9M%qQV ,/0D%)В`"LI%SǯgD${\b. raR D8X–psց;4lHgC[ ly~Ѹ9Y7@|MnQ,r*d{ۊneqxYځI 5ƄJᦚ0a:O!LBi R0Y"^[C=Gcx6l$&N4킽aesAQN Ja1CgfkQwhA͇YP3R[ i&}B5pz\8S4NPu\w[5(dCp!6Uύ iot%|۷& Fz*Zf(ԇI}R{4', MYvIfR&)k?y`7w_)9{c÷e@㯵_e:ۿwl&Mf+O[o[{+!dώk{6*!otguK|1`{:a!@/k rgN*' >f6ڽO]Xiƞ3j$JV{6R,iTyr"T (hTbm@`ߝ a~paŵԃ,RH[b6agas(NB˩B#bjۏJ5uiZ(w |z\z&$_>'/]'WNB\r0| HK;Piq8ɬxjz8Q,幂?xh $zhw n!JMy٩ 98e(Mdfl gGxS sI1TKcWPg{bR w0SQQʆN&r#tc[ظd\|xeミ=&jzCaB6Ө_ڗ Bt:}WrqCGOo+4)Dl^'@ )WP ֶ`]*;4u ?Wzh&LA;(V11 oWe5Bߐx%Bx%qf3>G Upy3F3qУ[Q>s+uQu?#.9_鸵(Ɍ&h̉\cdi[!ӝ2J”in3mMNyrH>xDo!|TEʼnT{;7jOH}oDw&E3%U 7 ˡwVgN+t)@e Ԉ#}yawSg[]Pb/۶0.[+ ROO*9g2 W # OU7tR^g3--~aٸם<LNzd$\+>7Dobpz8!5&^$JsN]L&lNxTd? +ssЈ5Jފ<:8S (*jɺw/=!Bu#DB,I+=RRסh^ X {th)zF%-ǏYR p|εDH/!sz>-w!4H>TBh͌< 6(]|*!ZX-5!}Ibv3ȘY$`?޷AG!E؈< @8<83Ay#`Drx!u7t"Ox~&C!/Ѩ!"{PIʽ.bٕ<q#9" b5\a=]V f?/"|\3{zTM$v;ydd$p*֡F[A2 ƚVK CQJ|pf# /"룯6Vea/inG%*9GP?5B>`̤c^ThS 2ewl# yۦh>1VRD-@gtžU l_[AȿXU?0^?B)od)|F3_@\.O)a-D1 df@9+Q@%1\r42p 866o]/1@z#F]^G{3D*`x4.n)M';.4{H}YTNSed$a?4z&6b۰z6_ŹAoS:Fhc#Re;a `B<@کaNݛ8&Y~:^riIw*+ɏVLfmg;Bu'pۭ2$,s\j3  (|S:f7C\Df:3\]{ҭ??T/jqؕN*#Fɟ [X Z#?3C%]fRD{FD9xgJ$1n(oA d8@bl<2,kq,W +k(a4SbKe{3M џn vz8:ȘW^3V2w'z½ Z,U!ޥZ߉}a3Fa6ҿ &x!ijnqaoJNk+pJI^D^ ʀ<.gDH6s3NREԲ~h!>(2+U9l+5y8ZґU?y~{ v/G(iΛcD]kA&Lg#eٕ0'b+4'Đ/IFGDㇼc";ha6׭ nZwrLG 3KiK YqJҤUs&uξƃp& Ҕ}cX Z[#&OC}c*-[*)]9tt4q yRj3l{- 2=f8e^^ O` ^J:A0AFҟ.CAD=i#$ge*WgS9oZrOm޴zZ6rdGk%?4,qVe~H0JӜV^2I\A&pd'})}pC,zJQ]w3y Q?@Reb>ɚ&ڬ_Ug<'MүCj b/ӳ=V(,D)]bdd[ox&dc(({}xF4F=f#2Y|`!ic#elrs85} 'YI=,vU 3hy7[ BPgc[3!XKmM7<":t\4YLKp;/hZE_n~ -F ʀNlfGբ*%u%{dsjT =*QpWuf pŅ`rȋ&.).CYm FD-fwdHIf)vWu/c !Bw6m4CtAlDk,wn9nSMiN.%pI.bOQd"WZ89Y6#.Cҏ+ô 2)%-W)3@Wi1qZ7jD>S2 |Ld nt:.fF̕ %gq?C@%0.گEͶ$.S;キ?$3T|V(QF炿ISI|K;2a jlj-oO5{9j{fGA>cą<ςFZ9p$3G JExZsjCdl szN0)./\9k8Z|OCs"$!Pri0AQnqX|ͷagRnOr6 )Ql3%͌JՈg{to ÙI9$׾~~ ^ЋIt)h3,WA|8,bbĞ(+p+Ms:k"?t;6W髱@ytgtU2rCm_=^̤8!ӤG'f}6:ǚZAF\NbDz)vƆ= ?-PkcM[$|-/2 tOH5$$>PTA:tP9ՠ05TpH1U$zwC؋1xf e1o 2Z;z~>R`B3dVݸ47A@#h{V4\N^>zA4U\f4D]ȥ\w 鞏Gc<Er|c Wo˅olrĎy=qY(nE9JJb< 6T/F ])k02Q2W,vOs~K`ƈn?@zߓwsrX}[2J=WtvLʹ, '|UWqu5,, 5Mk7.|)T7gījcRjǝ'UqXM!Y-qjZT<-T1ֶAڙJyp_Ѿ{.7$PT>X; t*j;r"| xUk]eFn){s_TW,mAWǐ$^bӰ_ɚ8܍O?vb%DKfj.7('oA " ,mѯ[Cm ^1AEO7?w{7m$޼y&!,4yPSp<O{Tϩ}s"LMNVUy8-n@Aef='d|6 NvҫdƓwڤ''lYiIHIel]I29p!r^MKl$ 7q͉]QMpC=`nZL؉ɵɄSʲ)Hry6[4Sr.*S@"w(W=g b|@>1o<*vÆ^^i)8cP/eBCC97%>6,iPU>QKZ\xtIu09㬖,g6k;e=;OzII0ᰖ-#>vaw1%09 6gzn5N_;tMVՆ!8x͚҇* Tqj.-dP˅ wwHQΞO_x_WK ՏҀZ96br_:@:I W1+/8{39w;Zw 8p$5b"+yJ{O ˚&EGzglYh s",jI: vp<}s2m*o#L͂` J` 6Nxg :Vu|:R&@30 LCjԚn]Oq!nj\S?{%h!黼š"Gw}hjg؇+vo)B跛l)-fzOԩ=>2&SqCAsY"px8"=MBH[`+a%}Q/NX޳oGkȣ+xLJp&mu@x"cͱۤVH?l[@ƸhPnDsH2q9Oi[qpYnJu弢o[,5q$6Y,EƈqKSΞN;Q eK,O#U3"g' )AEc<{2p yQ$!6cME'<0O20V>-HΕ[I`LƀK t͞=YQHUH1 +$,SO^l CWݾ%Y*z! A$7e.)J̯Ml *b(dxT |m`|ɐЧ0A'RCk}_M{ =R=$z -`bh 5 KW-vC k{ r8R€Vq uBwbwԗCS'û*kY.q wA:s;UƬ0l1yF7~o^zzTZ`* SO{ mUT\-b+`vjB z熗DeG,V_ 9kD!cjr[c:.}v 5>o Sr,jQe\Lc`L̓|* (֨ܣ+r &Ʉ)4` Dv Y7ԁ4 .CUs `ͩU3\XLE!'{ ާ6hH߱yGs,ۇ j=UMBJ"Ÿ1JN$o}UB##~.1|!ZUʂ< ({s6ΰ5)-^ u%A2[,R1Znd<7 rbf[}ڢlcTӣ Zy)5 '\mi_Ͱ˝A/qgM!-3yca2bK/o8e{ɯ6N|'!>h?Dd!3 wUЖt78q>)<ϩ.UkQn L > 9^ggXbۯS5qw k4=rFp`(Mj3Dג&2dp1kv^Y./}RdC_c/h2=CEQIy:`7|:$D>Fr~(uGov8^v66ݯH4cYts%0ҋ-8@ufww 4"w0͐~6ɥ>k)ͮLWX-K%2yt,B1,R.~i06s͔TwTbz`Hb7PU+$*N,oUk )̸V4v=_d߅s)NjEf41˷,ZQ|igvrپx'w<~yH~PN唅P]\0ѽ4j43lKn-,ͷS""l%ԆW(u&6WP::x1KCM|%N]KYp0=CƃI#/E|ۘ*j!%б_~cԂ|5>zxl۝j+BQy]*H<5A.#?&C$c8:.\o5HZ t~Eȝ Hp_L[|BG܌Yf2]brP^0\Iks p.Mpӧ*X^R1fQl{_V䑑v9LwUJ'u8*U0ZLϒ@  x)u:VjZQfGJ< EvJ L0K dz9?0vNŮy(j,eʔ=9Gx'\s{Pf3֒ QNyT3/ ArRMZ]2[JM=dQP+*bڡ$V` l#Q[ëp44=nގ60&T̒uUZַ&f H`0jt]1SM_ ]|\E:ƨriqoR`b0>Ź$^7,~]d֩^ɣc 8XG w[^[|㨬2aA,\H֣uhxi>L{.!A)}䜈vcprS>.q|Ha@XLQVgon3 n:rm,*r&c6C!HŽ9^q  ^,C^nؐ7.S! pQ\<͎g2q؟ލs`=0Jڑ֧gG)tϠeE!|7(e4!.D :H4b2,, 7PqfoD[Y{Jf~WJxpcisTh!qa:'GPs'2@$c?9?Ջ"HHat.Ҵ 7o|NBϺH<_u\YZ.AP~p8C?I>IY6.MT-M $(:6a8$$̫Od%Oj1X+"qӳ ,rW-1<B_v4kaT…R#}/ B81 f倇% Kwމ2tڱbΉ}֓aǫ$i  m~Ll=m#`r:s R/mՃ -W-ff'yn(7;XMV%U䋯7a!Vew5ƐD>@Oߎp/sXAar`yȒÉ3mo8N wf+z#twjT}>`V2 Ժ$[W6#nh2jxOTC}z2Kx ?"!ẌJEBN_릠E /%ކ))w1O=T"!;j7;=YځSsT1t>C?On^`)z3Yso{͏)? U10.q< $4i~w񂤷`(`#Rwe @ZpRP|JE 1,`O""=7n,%;KA`cَb R,@uW{ [*"qݠ,&kcS"|r >:L_tÍ9;|-΂t3qD>{lBR/a'8WlC_=TY }ḴYnuET`4 FyV m'k- ;9Jۭ}pUڔSTfܺQiQxA ]Q bKJJwCbON/2T pY*X+3 {k3a]͗RR9Yk.rҵe4fGwؚsi蚊 c^{+w'&৏#71k?"^b/;7QU QF#%YςT皏,;/ʲ?fj8??~`9Ĩpg+CRK]'*I6#.=5Yb/%nq cr~OdVUc'ZȰŅ~t? pX[-˲DY=xp^䱿4a-HZW2!/l¹%s~)p"174LW*Zua2/3It[2 _¿GOAJCJtZ{NC(E(~ٓkБҸxKkl9DGi959Y`dm']fUХ7ENq;dg|^;1XNUgK#tq__)I&L;$lɋ3~V`V3NxSwNOF~$-O[״xQ׷2s/4.!XT {1 ,xjY3 I"Ok`9I{9/ܦ/]Z"ad.s.^ , c孖E>\bl&zj6T@msGet2ōTvoۚBb4o{_ry`nHRH2g\̡BC2`qt-kqj2(>I߬眕Ԟ}e7 |񴒱 0䨽RyAZJr \1g|z?޾3_E&~&l;[fD!m1`_ H:wY/rb9(EHjEw4o&6]I:/z\4LkWu|E,pZϲʭJ%{o Hy^ )bG8wRRY.O.*9;K3"\-EUV~ғF|܋I 91^HZYIU)T1_Mld.U;EUɄ::R3{+Bc\ih̢?yIo|Wj_'+Grx;] D{<4?etҐ޿rh3TZ>2! {jwbd.Iz26 $vTe>(^?!E0 866˸\g0JJ#Yٲ(QnQp0r=.$q=nfBFڱM,p^L_|-QX^Z2-"Xc-YX;N`t jt.y+ TE/Mj.fjNz[kU/-L7tT^5ta~Lא'32FGa[I&dNEۃAcvPlDf"?j}N6# (Dqw]G6`w`|Fnd7U8]!s (゜J*&` Yh/# [ITB1J?6&"El2oaAv^1tOBpYKdF%Lf)>x]X<#9ԩᏆtC\+2 Q1BO/kWǭsV^Tb4';tn8yH#XI#'e0/ DU-.yeM+륄\kB<`y\?%GkD%Ez5+핽DZsr6y!vzb'LUC=\X8݁?vaJbqqBU)FTGIJVUVVYMd]¨wp`}<=K'2>:߯STtz TM JZ}۪K8h4P}'j,p_72cl}`0C2\}EQM= ЯLc3ڠi 2I2r^:ΐ @]B"(Up'#C ݡX+L)w5; o~̲sGD"_8ic0'8ȸgI?Lw&w'(q2A_5#Wa8俯-EG (ohZ~%IЄ;3wMGWKc?Y4fI.:d؊n7B@1ϲrE,FɑXiUd#IgGxNݺW3)rX\Au$䲦D1Ի 5G,& JH%1ȊI7p9/ A}/g )VA|yjf.2z&W{3V-F{ڷ|" ^[H,ow!DaT B]YjjhnT{3%BR4he-MS|bι`08<< +B3nr?G m2 dFcӃYaPVS 8Ҏ 2R*UyҕDKeP/)*@?'Y@gYZ7zXZִF! P]ŗXiɟ1˦r.Hil c`1X1浞_5c69u4-lF:Ȉ%-h*|a>2[\?:CA'KfC q,k.g쳧އw)4U ”KT{s=`s9!C`br/jdFe`kzJ5#-M?; :a&OޒQ)HG*zƟfEjq( PJ4\._B MʫNz Qlc!P492? *Zˉ)UӇlH 4`{Alg0 ڊuW-K$D "bPrS]Hc>"rģm\z@(\ռh$fi7\Co}'F$9k@zj;H 9{\hly <Ӏ9b{ gYZ7zXZִF! ]ŗXi%D8Sݿ%o]0"Uގj=_TuLS1'K6\EMzLr~߷d)io"%O=2F])f}fhZ=ݎEϋ ?Wgl$OܪHxvxn?qmK+0їŃ'4TdMxJ4+,VbAe63Ɗ>1)P2_/,y5 fJ[Q9sb+"`;3*/l#u9= C䥒ClM \*u96ir.iG[JPc)_n468oW~;Lu٬p%UݣɧJ6}W,qdʭgӇ6e]݅zW{+oр ;%mbQ^SDUK|-6nAKFs8mч>rX2/,*7<_OCtOB$į Tv`2qO2<z(s^-@ v+T CYT8(ar/-z:$!bcjA1Z;QX]™yr^vGG; 5Ņ*fcLqho[ËT)H^6'c1:5W$ YP506ck$PxQ>i˄o$hc>R.hжV+[.5HVo+5SV5vnpGɲ[Fx R)Q T Uc[PjEY l 9/.Bq['v GcwX떴WKW~>ZMk8i_ք?jyꙵ/;< kJnW" QGޘ$z_l]x(AZ#sSy '5E}_4ҐL!!Of Cr烲nwMkgI;aB^]y X.5㬳#\a)r 1C"Z eB,xLsA,Ι0Ǝ1txDMxҨˋqK@YkMC"DŽL2'@^FhmKy񪀇Ύ*x ĒrjzGX+@-c'`(m(Ue56bxl͝*P ML9&瀲EV0z'DgG CpW?ò) t#nUXe_rC\A6'SLyT*W^-+^iDXbrY46 g+. 鍰 fƭ㼧@ᓽ=zRKӋ(N_xpTԚ`wረʰHq> 76}$$ `˅`z& IrkkQ1(&3*2bߝ %ܣRzRzLQi\4K1k}Xz8:&ձw-BoXaS vv l">|?T*W7E6'c_¨W+`K/!ڎ1?/(!"OJ5lee`~L2tyfC:d[z*MMmh39A2P` L{jVwʼ8(%4j)>7⳽yE&.22}U\02YJ00Z0)@)m;s3@b!psK)8›_T%@"q_ƕ!ǞOÕ ۾>,KXf(mb.cqzAA-ht]cMDH9vW ҋx+'I@xR"Я9Z~29bPl8 ~+ Y@}6ZֺZڱAF5 d^m=Ou!όū_85>?AY ئF?PpsvH; Z$'-ok9IܙWɆ':=&=o߄#!IqIUЩ!E2?Au=8ꗇ6P9Hϯ.̺&5Is}e/ܺ:\b<-)ML|,#!V Gk4 "O?$1G[g/Bslc[s2r[ _pd<0 8L3:9%7y1NJ wҧ lbE~8)nLc>XA¯ڞwIl?w~zk$3w H·J^[>K <n L2vrm Z`"v g`]YSA.Xy 2R?xBVдQ77ylUؖRJ͝ACH~1tcO&߶tS訝?;H>voXEeȔNu)f.c^Yy4rMMY#AҺ)L|0)7^%0Ǿ`Pa=XRW xSQ7󛲠ʣB|u۔ 袋̰rQ.|H{ƛ&etmOe7{ C1n4 ^ ,-b瞈Y܌/,ߩJ9WPA5}U8q ؇._p,z/̴twdzy=t!Lwb^afr%& LVl1?r*Q!$Bݞzߤ5F_v˱%>^`xم*smv?E!bkfLXG' jweݎ&p5%;L'jq9R  u'B>p\лv31[^zz|S'lPPd)< >@[xak^ S}>TC&Ec=Ү}(U&ڏvqqf%9`/ ƙͪEj@ﳰjx0)Ɲ˩_Eb`$=`N(A¼_[I:%΋FkbF'S+1]fe0DqLiнe=[Ty6Mx玳%Hڣ i(eBN[AcIR>?\|3bie}vX6x֞J^cJ~vtRH[s̙Lm_*5azۂ0;!UC#eлHG=돶"Tѹć1A"n#]&xsb ̟f]5ոr25 ͒_2hڰ Wkq ɭBIxZR軒٢9|"\,2Ǿ*3hC88007{82_/$b_o~%ь""}" l 4]g@O0A^a16Vatl+i, GxPL@֢u-A!%ߣںà>EZH7FGatʡdX37l9&> ڤ9%+ᢰGPu'1#/ n*4h&D϶8˗M)LqL8C*桊3Si \6<T|;ۢi/ҭqA=Sl)$SCw}6udd d<(dwx'weZ_,h7+Nj qnUT< X&_4;U&̨j\N7t/qgN#U 1ElG\@HU+$12!fjٗrA4pYzhIAʅq2炽z .|2hn欐ND3| ˼EjV Ablд=L 0(1 V]q%ƫ>bO٤OJ:w{5GcXq)ƦyuCy+#Ir WՅ*gc'rwRMU4,X_S<7eRm\`lqȮV4ۊ{It5e6Ja0,eGA=!n%?LUiqi۞`vax+?q )ct4mҾ~#Qzyi/>|)3PfG1Xj7H 6`MW0:~d(CtFzJ|=G]%T2/p%\wBr }k_6N ?@'6ꛆ3|znjj:})j%,;1i(N lTj·r;/n޳5 yb4xuG"\6[OS쪣3wlk R5>Ը#z߱i>^{zNYΕ7;{bCS1B]ތ8öp 5sJ^rWs/Ԝzj“i*2[1'T#2I/#?b #zwsA@IgM:*Nr\ֻKz~huE G@ =2T_%B1pY,Kry&“TJԎ^0pT:u.@qj,k81 84.?&gC `EKԔάLb0>&4&S߂%Y K+ a _iȁUgd*s\!3(2$cF u@Jvk,>k~J p-,kB(c~ޜx/6ϜBF?hw;p}ըl@`M b.~[~:YuM^N}fl耧Rkܾ2t, R /$ͅ_q(mf^hm{Fj͸s79S&OԷMAB+]H3SiKXoA6vUCxi@cI!'UVy˝ څ8n g)"T <: ύr$%6`sёc*E|=FQ&35Uj\Aڮf}"r5Cfr6#s+[@/q| al uPQ!̞_x'T]hUfiq@64#/$u)*s9zEo&%>7@#oBr7%tO7hDLz. e%5te+|/Fv\^G | N:$[ct̰MGtqM=Z=I-0=z#a-͈G.:]ޥWJgz}۸KIXW{5hW%m]r/U'ӽA5w= {OC$n7{Ք|^U`C^([ <%s&b_}i?~# o0EV xO@Tr;qNh ɗ)Nl,戜n~Q)Pt}^Y}Z*'FpV}J۲ 9^ʩ uyI$4'-E``RP<J}B  M u*BgEåsU&T!ϗH᎓T$N[GW #n|lN-QӮ:vPd;7rٖBNLQ2m]¨xSupMQ1 Z Jc XC6 n'*C:s5_-?uFor'v[ AgLɹ%*4*9)[_eqD5hl4zę/~_t+[Hٝj*#aq(ѫKjQl)R%#аu_ԬwM `IA+Z|'T 6ݜrceqph?r ~w{ߝȉxpSCfx}2Q8f1U*0`gub|( N6bBc߷HG'Q d QۼpdŕEBJu>U“di*2T-$ ~Sn.=Ko_e1(57cB=jrիw^@r-?'ݥ 3n@$LAe*gYZ12436fbd6d41921eaa6c14e3a2dce540da4876abc3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 3767d8c9a83559c393fca8f9dc38fa9fbe3e5f97