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  ~-t<d ] Lambda_Free_RPOs:threads=4elapsed=25.553cpu=68.168gc=2.7687zXZִF! 2]ŗXiɟH)0!h]G5[MU3ط91?;A; rgEa#t>-lh4HqjR`i݆7#QX>8\ҕb{yynZq,(/-7w9'OS)lVP@J%D;%NKv#FjZo6[8Z_#h_=9IOڍ{lnh])$x/i9A x'ҼC%qL!?,] ^&eb{N"CCh `eGMɻs1yǹ-L~@q*Z<'wnX7n[E~掑ܚ۰F=T'ȷZ^52{.9gn8~RI`Fw1Z9*J',%xt)5t8{ cTU=t;KԞTh$)~y|'I}wq:Ez|LD|rv[1|h I_D=sIm}M&6ٯ'BB"K6B]\*eɻ,0K{:; O~/wiqTvK,M1NС; d |6e|s%5t"<.k%Pc ۅLAɪ"Do%av $.K)FdQ ֣-@IP: 3G9& $˹!:4dbNXir*}Ar/Ǐdi -mA )^VF~ 1оPnQ;env\nt넪\r#vIHs}x9ga@w}+8(V`h$_p|\0 ]=TBI!8Q1Z`5iTK Y JoB(܃P GJ=NTYHDëB332R0ufA-~utJxŭ#j ڹ&.G#їF3k)nXHꚠ7;\5>LF?3N=$ aq) 56U`TSOV&t"\#Y;鳖7feho JJOϹV#%`0+z`Ň^O{!aEq,ӑE6PK 6!5O|le7"O! - Lambda_Free_RPOs A -U% |Lambda_Free_RPOsLambda_Free_RPOs.Lambda_Free_RPO_Stddocument.tex7zXZִF! d25]A-MՋhvG"uIBm5*o$ſm^>~_F4,INymvF?%O88I`1QpݜΒE@Ra޶IpnyLSL{LO񡭩;~R;<R.}Pxej4i 02s}3< 2|AP"T"w ƍl1=elxD[R+>\rHe0p*}ApL7Xr 5AOøPc=`Q"'(:_smZۧ5knR I"3 Vڿhwx򁐅pBljvjtYMzwo~_F4þ$&;'-Aܘ\V Ŋ7 rpa/t7며YY-RӪB\D#˩1I%NJ?[ڗu)AA&^0 %RTGS\&:@cXgĕ=?սn\9'T$ܱx~g4h7:56Nv]H7pqhN8 6B伂<~󽼓˘T8ߪ8KSQ@_ oQZؑNsyoJgW$wB^w-h'cFE YQ2Yǔ^?4sa2 sPp#z+WA^p33t`]~Z@Շ6'gLZ%Vj2† ˮ1.'&UA+Gs OɡW 2 V4-:>&tBA=_95<3^Y=f` _p.3E [mmSHo #!*) Kξ2IJx^Ky_21}^S"7$eAL<^FywubH'4k{(~4H㉽}ڧ&Ł~g$˝C m39u2d$':r!E6H#nY(iȞ66̄S(Omt&&f:oKCωb^k'c/9.7|gUo} *Q!1q;,=⌝2x cjRLb/j ֩gsk'b/ N?f\P ߵ= 윱]u4"2B[>OA.5 ܭYՠ!J\6s2ߗw%.bGkD;풯c M6Eͭ9W {߫ZY[8C-6KRv[zކγ!IOwǪ!fp:.Fiz+z|c@<6K?n,)ZE5?)IVow5R=քvO5_bp"=ݼtlLE:,6ux ``` -w[ k.9=h/g;dR/峌GeX]!M4CuE(#5RϽ;d{n1el=>_RD_DW }Ҏ|CA~Jm?$m$>x)t'`cF3 [Gp/bd~>E 2rGU!6b08 \ <IXVu?Amڢ`4B/XN#yQN nBĆeb `fTGM\gUsJ2JAhkm l6) Q,۳!OQjI&%sbU6Z f_75pk$-Os51jYY~8.ݠE( z*dfɊFhg P%90T|&H).Q5lgVUD~UK]6q?[ vޓ5,Lē`6:@Țto3 6Lv Iq(c 83Ģ%w7%sb_Ӗ9"y2r`Ajp U!< 6 ; 3*ep5bE_ᅂdL].+hH(lID4P+1u+\@dr&~iZG$ȟylA#@{Fӛ, 7x'Kbpwëhq8k  m>dDB"Sj ß!l-FՃ _.LV1?v8qzճu5T!`ﳣRv}օțMʹcmA<,Cm@"<&VyKXug >rg〿i'=PmGA j%L3_\7fTUUM:κZr ǽDəd/)qr"{R)-?ת)^|Ʉ~D">l>mT9pŲvӔoB+zr$ .|Wъ?I^PZ'VEgzeB//d|@WOKUe9ƌuMuo٣oQ]mWqv)PJAtput☨`fC"VtjVG?1r<σ76OM'JMb,H,_qit}Z nV~9hG0՟̏dZSmӿ]7 'ؠA˱(? /!&D .)ﱀ=Ȓ2Bh_ 1$O$|ʚ dE!BS&wTq5Dޅy1x%6=ʫ$*P6 Y5 NvytMnRPTA <y!QSs#`F~֯B=ACaKcz"Z{GC\yR#Jk¬;F !5؄Z3bȾفsvԮQ8}uKб[ْw)sZ$،=ΪҊ+٨*Xe zi0OaMJ"\06{51lXUoh$W[ /!p-: ҫ<ۏ|,xd@ -$G.QbeEтpqQ O1$rDM(OUAr$[CX$jb DlZ%Oп,BղR0U ġwA$0&,1D"P7tn뛸?BʕWC EȫTw޾?qm<'fs0KbGbk-wcarĮQJ 3 nL5Wh~q.΢Q4df[>C4f2!}(h,$n߀lڸnv藬QT'k3[1/s&' 'H6clMoqPl^ \*87,%1Hm=d'rO,J"ipRԝʙ>`zsUj9]c{4g#6Zu,Zla>u4WB^20<[#K$MM2Ho!AJ'?%^9I^ *F# yиZ~1~,zھd tMƞ?/D6`a>I,>G]D; ZDv0%./ᵸ#&[bZpjpf ˙6kqYB8nyjJ AC7)䴲6̗ݙJ[q}3aQH}g!Kv~`9Hr2X4-^LyZY{ ^`jcR_ձߌ\2h!4_jxtd%c,/é_3F{D I*CZMQLfwFG^DVqv 0iyGXwԄ;9$:ɏ}&LU3mS.9O_s rWAs F⍩Zt bEܔi i# Yl2k9 RF˭skFZkK"_ՠÆܔP>Ή VibIse?Sk}3NGP_eduo$sgZ DPz! es҃&d9ֈ)cnGoh|:v7[? #F 5ny7|E*lHeqV[L[f縹,JO:5FmZ?'~L/ Ł@$=!T6V}9ݨ1flʢ\6[H# ,^Db!Q26vV0T**K&8qzVJ~c2Ju6PMB`w}Jh Rٖ2iiMt'n4ωJ=pM%py}ӔɐxgK_gLy8Z+C# m7 E%ibؾ؛&2$珨+E[5-gf?`/Po#Xॺ"{3pzF[_r$&tk63Yym-m4C5axٛ洘E'ͪv+2T} m2S:ʛԭ 2GC<=Ѱ(eK{oo+*tԣ h4P-yAUkeO8کLX75DC/%@C?n.y"!\UYaeGBa(ZGC.}~':@gzHF ?$Y*;`ts1 i2xn 뺥uךE'Kop7'"d{132h|:%r>jnNEL 6H2ֺuHJTҮֶj\fO ЖXkaljn9kT)]~RGxbTxѿtr}F8ȱClƀn ;W5yZ:īR4R@RTvnj_ `u/XWRiQN y#O-zŤ[!4C $V# *$H=@#ޅ}G5܂4]]EW6YZ3AE桡8RIZA,Q9v/ѺPj/RqdS0i840KW˺PelP%>p `? 1.{bfa^GևnG-nƖ( $$v3ݤ_-H槄g ON:]]Z[pzk<ہws+CgvB4"8|̷!_ !CX鋶DK.wÅu> ۛ$޸b']-&|h [g[̢*iLSu c{Îd~ʓ0UDũrloI-p]80\tRт_}Y$yYRvǒ ABhyBCq,C?'- s}<[|ý-9^ĮVډqӲ;~˟1fcд1Z8ҭ) _[ !uI#3RpSH[T𛊈 x͕lơT,?͖܍k0ZV9FV:7d0_'RǣoG.sfEؔЬ SF֮4lwGw!>N_!Kbzߵ9|ER ~ jbHbN7cƓ?J [z}I ZFSKqSBvaYn(g`8Rw9UxjkȽԫlaVG˩'=GeJLyVڥtE-9i͚N63&+7RBKw8 wNe9&jDawޠ7-uF|JE '=๛]$ڝLQ7[ݾ[bnhd3oΐWNFm1Yr[/AL=] ,fo#A7 Aau썝frd-YNf=H0(xTښ/PJ,w]v/{S|-wKH=);\Ei'FjgY}! Hנ8 &r6EG Ud3%DZ9 ,_reNSZ_E6^G.4^\u=X ]Ohf Б< 2w3ުy|MFV#(agKj92#IWl6Lսgܬ{orrOrgYZ !NyI T&Dޟ7i.xY)qjU v**yQu2ƒ>#-j8;z gC{ tvkF^D_YX[(g( _,|siʾmϜoRSV[/]agTC'2“%w)\`p̞mכoS od ԰hO-:HɄ jW1hQ<*M'#QBZEW|.؂"3J߷PעG0t"x 'GtaqXd(`t䢝$xŘ^wS2jȁ*PP&9GJ4n:7Q]6 b.Q'F(4Asݿoo E 6Ĕ ƷX;x9AMTmzo¥urw@t2N _ Z5g-Er7@<}se?kBk\sBտY$>l{]wG/=Lq '_ͱHfyEF)zwvkh ϱt[ՋZK,n젙jtY&,N~C?Mй3uХ PubC~WWC)4iFJ F~;S$?i#۹+2e-`Jls ܻHhB\rIݔm>M"d|٢rD@iP,+ 0uDcvU4dN3-PN >^l j$π ؙ8ucSc?+RWCIǀX)3(~ :iFr}~ TE2zJ)"*2a!ehFݷ KO Xs C.ycZCտԵvYBMǢy^a_+jÑ. VG]޹y +8wF&Z{'FP}ueD~\,P^Ѭu34lAܓϰVrܳU˔2 <K<N1DF5YU{zq^J1E)RU_/h'R-%Œ;9DPrt`#B#MW0v->5OĚKp+dK1JS ,DP$,cC.e>J1~exWY AFɠѵLZ afjY-h*pݣĢ;M <zpG4g lHrp49KxyTHx#IQ' /M-safOUi(:JbWcxH FڀZeEc*N}V llLgcɓ.\aqAvuA $,W$LXN"wLn4(O"ds:B*eĚ Vt%#:BW9T]sx Ex#ԧ;*H=KZ^q\0n62]̪A+b^M&a u cޏ)5o5i!C/b+F\K:d5e5Ui"{U;ܩ"oF>62%"}?B~=ّ_B"yWXf.LkuG 8 U)6k@ zi^&Ȓqs?yfI3E+ 99tmYCfX BuR򡉷pG!X!ΛNYp @:QyZ4[3_'?OK|Zu<"%fːJ5ټH<Ϳ1=\}d6qͩ>y ڕHD Rd/ASL1KQN=b:5u,B g3G& _iH@ !ቹoI6Xe~EX 00=9UNH41 5^%{E U/#ͅ93m|OkZ?1޴fđŸ=azԕXR-*FBqG-D_*fI[_ˑN4H+a}a 峯H|P|Krm5xavq`. '*Q).Lq~cX?pc3YRNDb["_Pmϫ=3 "lҒcA6KsE0\c\T] #*ñKYl[~?9R;b;{:N 2'b&ns}G=> ԔԓIt|66[lo]vcx0?PI wʵ#6D.'IMBNpw~MLO8h  0yel9'a"/L&| N4"9`uӪvi IktZQ:A,뛜pqIOw6ܭ KdOX2Je0{7yJ9B}{`9+GGtA[Mo/Ҁ7 Y>ո"󟳟 <;@byxBa}kUATkjħ[i]xN[PK V48GA#wLkÛm< "ȁ_wK\wS ]T`7(wpOBOxFQW[bvdqT=էO.5s;xߤgtϷh !VV }^nHocybxEFx񫠬l4h<8g,vq{WNz5wQm1k׿)ZPn4? ]?e A5l]q)!br(xEU6a3Q_~JC&ʨrrb59'.5M޺oJY֝Xάϫ\~mPPEkQ@{:FeR;obhe~"[>SᨩX* u} ː3_3F녩BWC}ʋf-q2t{ +Cb--5cNJ;2aYã]';2oW(6?872&R=A'!0(֨ nGK"^.&jAʬ(x] ۸~_VUU!Fdh2-[?;5h}[fϱM `QجRBs%aٸ5w֏$|JpIy9=NGow97q - Y":Lʱt1JTWJF8 j/'^ KyymG rͫl t}T>P3M|]+"yom9`]FUk؄ _$'م 8IHZ9䕫O#y*!TB qD 0B{]K:+PBENgix<=S鴾MSn_j {2NUyTse#tPdw|"5,`M*}ufʡһs 8Y<;rE* f >?s@n(kъR%v/@Y{.:6RzA^HPUVӡC9RN(fkCW,C'oEqiJ`PR~_g=T1'aUz_$zNo,׭q~e< ]M{qq N$}1pk˲%uQ4l/HpR ?U\ t"-ldߙ=ߓ-[`=2)Dޓ01gfT۽sN@ȳ/a/ECDB&N1Fi޸P J~%RW3*%0A;ϼb,f|lISZ?cs=oA\SZ!/eiuϝ{tpL~\Ћ_2ݙd,u:v=Qb%Ѵ&/%kQI-1 -9&< WdtL;[ ̱F X Cfi8B$¾?H1HiRtmZm5!ok .ڭ4S=λ EV$IdK޿lq2x^nFRه:k%+XC-!Pq#,?F4fyguEqI4 ! "ُ(CE:;{UJ:y55EG!Iojٕ_}*Ǻi]O!ơbAOK-VPNGVԞ+S$F5E"]'xD V٨<`ȉ@|MR\ 8ZEl_lUDZ/kan 7l6l&Fa(Gs }ۇqKX DzWT[ u~P6]| HAjh"F'V!ahknfKoC]~R9 >ؗԝ{2%OETH=/Z])R;:>YuFFZI+{0Xxzliº߮ Ɋ&L AJ^eH Q^ܢPqU^/YQt&_5|zTzbX,ދ  C=k:۹p{Tȶy_$#M ^ӽc B omC)rAM@hRJO >;;kޞT;ƭxx.4lif-]\43*Ndz8ׄ ރhp j_h'GGtl:` 1Xt=ZTwg ]BM .5ɏh-G3j JެC\='GHO^[%_/&|&Tps5rT) |e '3>"E-]64sڟ,U~89& huĄMR"GW@sg%TQ}-v-W)N(3oU =D0W6=IY"%"8 |8=˔"cgᾳA؝ XHߒJL g_VuyHDyB'Y^͇WCA4 DFӰկ^1OYT%J!t1"s*| @Ǵ)xN޷9y.|??fYx6t4XE@$WG"AL{PUsug66S^8KY]ajmpZ6Y%rhӃ Env"M/:E* DO** ʳ״0Y tڝ&=f Zja0M-{NYőhoo`YoRL?݀E|s[O,* هa^<M Z G$_]hfqC05C%4.&ro8„(|GO慬\Y|{`>>&΢ a+T*~@فB j.tQPh^0&5~{3{Fi% aAb# HȰsQ zT\yLNX0(xВb>I%Մد1LzH{ysLѫ˱K`g1or`sz(&WmEs|PW %;''T&F\nCtZ(p0T.E"]];c;)ɛx!eS(,n2{mj(钤 {Qc͔qnJIemݡ 7!B{mfo7 \{&㵩7@0hˤM{6Ik3/vm[a!6{nCW N4JeشIõ0r0.W7Sq7)΢p͜Lg~?߱+y V3 韌V`j"ЃV2EIspfq<2IdL>^иWN!d+?փ},tpHh&x7Ǣ4MW߂{-O[t\Ē$e+pGʮ>:G|ȇ 8Zx[Cr7C6ح|Ͷ O'iL-A@`?4_3Uܧ9ȅ>}";i;~ qVZޛ xQ~WA/*=a'SRvB{2\eCJ]QqYEAv(b*$}JxJdmc ޵q:;a7.GPg|z% rHwD|dtc"秪UJ#-@#Ǥ ApkBIv[iMC^Q|bR.VVu}ZM*3!v9җ B^j?m]?Rq@,9*E$0S>.l-Ȼn3{ #yVF"uA҆[t~yZ͉R[ W"\ *<H-ޖGS_@WyJ}(9b.15L{ Lݷ բ]F8tvKǕ9"k%TR(r|]=O64v~v\P{xxRmQ)JWi+mXnv-1 *i3?[iaz6n94Y"Ei(}X!LnC!a F;'JۖVjU-;m8б"L E|HF$!;ANԾF4x.q4B%7 'lfFo,A'Sfps^Ӎ$#-z|5.'%E1Ѱ3PP}>^+_ђI"][Tgk )db~;iFM/LTۢJ<.S0TB1.pb3בƶuMk9{:ihpbY3p|]2A=?4bƷhBLwsP* ?FZKZ?M~VO0ڞQHmC<|q0RXE \knf Y녔XkJ+dB@?&ھ}knf i}0  AOjE)ȱwβ7$1[ g\96daҥ\/%\Ӌ Mq/y3p?  {F # \Wּ3u>V/*N#=TI #1Tz-[[ru 6Ou'4$Pv^yPDTZB)2`!_fU<ߨLjhZ9GbO[@W/&]he\Ovi(!BkDb/^X}r kfj9=|T;M~8 t:4Kx3Ȯ -G[GdMC"oEQ\:^?nt.vl$|AFќ˹*B uQz< 4pdڹlGgE90@ z#̦/>|a&¥_ PfY7Q~{$j-+" /iTLG.Wx 4"=3u[6_E2:w> ʀ>Fx/+(pdH7=WC= \kK/B=N>'$Sw&jk_ *Li_bRr' ^|`Zx`J7 PsgFOG2ðrhd άH 6eq ]gd²!Br-E Ҡ",\? :]~dwBYp&`[?+[Ikr418_ Bo"ɂڥ7[ 9< :3:gQP`5N#_R3i.}[rl؀9>p!8έ;Eb!u'WqJqg'vyo;uϐf?Y-:BSFr{aؿ Yg!wMJ!wDyz>㙋!# %4,^z"@ [[JU,O[%q98eGioAkϲ$NaϗNNďرUjO;S-XhR2cy"z?{ke:_}%=/$#Azlq} ~kW|:t{&afݏɳ|@8GImf%\\bZuOA2-$CIEZl } 5,ő%7)&́tg@1vu>_5yŅ hk<#n3$Lou]}g-g1!lI?P|ůgeAuGTKL䑻Aζ'\J\\H8# eVc'82B8J')YF6uq1zx?,6Av[t5í}1teU1e{}7g ~Hh)de޹)$tJTNs!l6D:P:Ěe1Z?M04 jUʼ 4PHP|R$1<~7m'm*}/Rl)x yc #b!Yz&6\EuDPŊWW/.zzda,3"gp!Ĺ6P9z,[QS*Up t0bW@OO [)䬯EiC%L9Ÿuւh͖24Թr[h WLٙ\_ߠe]0f6^/3>cдHXdm)jqV[ QlP9]?IלiזuF3Ĺ8@j#WN,3D1uvxP ҌY{%_{Eھr^XJ_q,wd[ZpXSqhhؓG唩+ad=h+l<9juT+1<"b{_0w*y 8R7de޾p*1dzddyvIu=ѳ,-<>C?m2bŠ|%{}h֠VYf}H $FJ,E%E݊F>IyF s/X뚙`>i/`:`x>CvYXU*o6M>܌R"BB8Yq*C9d dgYZ ec75Ezvz)k9@ 8ILhp0لAsp;$?SрS7E?l!}Rh ,ۻ0!./[qy"ݭ-whm ZEg  BD9QOcXcxExT xKR;r-֬`O0 2JG¢m m1niH)C%sshtg )'-^&"1 x|4h]dX(LxHD5? s*Pc>s 8Đ3m #z) \"s=K&1 @|r%nS_J}k-Q!h[Rm} iƇaߡxSsepVS$s^LfhClh$OP̮רGũ] jk_W Ҥrֵ͒5p^nk5H5DϿA>B9E'r!X#+L֕ +3A'i3bb2e=)pFڳ"i`Q?B㬓#9t䒒rH^9LRK>`'ZǠyH.˜lXG=οMXX \ -݅4Lsg ;F甕8M+h*ċb0]a^6X2,_4VT{J2G]LYkBɡ^;1MAv݃`ՊvLۧuUЭnʃwV *n\{"ʴ%(QxW9>MFEeJc'wD(3z~W58ӹɋ**~G\"KN)b4 .LGt]*1l{ꄕ|*2CB`5wڃ <o^!XVtsv%lAC?q1:M͐*@(YN5t<2"_e>9/dC[(r.驊N .OSt{D;{<-D}ggo A=۝׆U tfWcPz$$y=EՄt2Qn|$l ]\@w2k< CvaD݀۔='w]zģ?:5elJ;#xLk0"ͦmy2x>7"s/>(3j6.-* 1CР J>f Dy$.<GLLJZ3$'Ċ ,qʙe&R64Ѭ=1K΂|ϸk@`/]6Kی  ^: ûjk|Yk<'޹N'd7oCb%xgn7 Zh&2j"c=mMv=+gdyb\p)`yʅ9 Q)cG2ɉz5HM@{ CmϡcI U{9z\^A۳C?Do-X&oZ܊d樨! F{g')eI ]AoJKc6>c22fߋTPCWڠE!PJGGɂ;snZ@BT%O{fYuj_Y>o[-wJri[0 %M:4qSR+9T6nؑO`ub$""mE%ˬgԘ uUzJاe\5;rP21gNJ!xnBeUhɛ`DQ4~z'"XsR>J&tײ+0M6R^N[3R&GmZZ[tors1$C y;ҪN˚ky WVp[R=r8|[SaLGd{(^ed˫:QxŶ3 hz\0yŤ g?tA⒩}͎khWKeƻqSAL<ǺG >` u? : f~o(ЃyXMc UYrq&P*ʓ<tymd<:Ɓm^Ju!5\U IЦf:4r" ?-UW6l.5"AGG[GlFᆇS:]8֢g{zdY^SBn;/AhutmD \i 4ΚL~aIWl ɓh\l\m&%NZ\9HmGiÌTg^)]u]5~+6\25H}q6a֟Qnhs "m2%*OYeΦqNخS(֒xn7Q5>t2RqokigY'f'([h=l!41\\Q#qȱ;5DH[m{^>q he_s)vC𚱝r!(HGxΜ{ ̖xPGZ5.5W v}5o 䇡(w67Q G-#A&=~en5qCTY@fe큺*Y?:'+Fu;z(.T١lzao'̉u&􈂠хϼ^z'l 6 ?8_^0K3ճcmhNj HT'qf\M, :]V'@P$aξp~ih?y5[k6)ы4%lSMzwEH爱ɼ{a&p_ aWGn/|. o_#K-b͔^}Ӓ~ࣲ~yp koAn; *.`ו=T^PDW򍰑;0+)Ƃ&xײ?CD;7i0r^Ef.){ԚO]3@HT:O "Э؟9<A! 7| 5j/XWDe }GryU,feR@dͷ {:^ q́śSybA0Ӵ 5S,4ʂZ\wwiw=Qɂ#u'=>.>4xJ:G6a;18 #BO]J? K猴8ֲmH5K]֊.3GIơ\#v72 ?ӗG旋hc㳾\d-WEv4͟YLpIP&r1P#IѠN8qR?bc I)&db TI$;l+g^oP٥12/myx2DpܝKj+Ht?Kz!mgxڒ̟:概v8GtC Y_n,p%տ0Α3È2cХMOwMakz(4$A,ajlAyA6uXx%CXbÜM] vq A]UKVb, (F6H݊=zy=Drߌ9ӞO}DŽ혚28)8dhugoh[&Sg^lG\zBaxn*XϤ "& KO{@_$$($ƕuݻU['8O}w({ՒBJ޴ǀ]{Ü_<襴*au0_ }ITFz@JxmW3cm$>()%JEE0RBnډo9Jni^vӐ@a{~'(k﯈ѡ>pwXF*D 'cn1g/tF!ձ$S=;mO}HlْU4z͎Ԕt>y\)f} ćS?]??K3ϿNđ ^5p )7HL:QF#;Tf7AefM}wLCqt')P3|_<Wθ (DTГHNMt*ZmJ9y_Y'\[Ӝs=M\( 9nss0!2a$rcC}=^ -/ 9ٮ> E`hK‹^G`1</߫}(%"Dd?r3${(ӮP@ؠBjLn@<[hɡ,M3<&!ֆ+Z5Dr[t42˵v!qM N4 /YfFYίƥg- ɠ>ܞs\ɘzNK '"K쩰Ьj ۚ ,0xPX24V jzٶ 떓.3Mo(?=4 @<΃0K@QaBģEӼ؎o?[IJ'+ ea F iI,oa=ߩ[ K3et! 5.XNPT(Olѭ T^{qw}rL@d*,v 5୭cvٹ*0#eĴ(WPyKݟj@)DHomh wV쿞ʇFJ5vZa{4`pMGCiF?uX/DR4jt-D{ 'g3蛫s4;<sپng?qny)hi+L74Zt,Ь@M5ksl>u-ktUGd6k\&b~tosьh4<c։2M_݈xY a-@m6p0e}bv͌L/AWgڴ')}s|Cs; `Tu&TA-"J9вceJcЅLjdIUD̴8OբScyԯЂ_[ dR[Ͱ/=@ZYHGJ$玮zm'Y_\lLs\hіXVyZ"S+͆uet-1K[2ZEģV7`b؝[7I 3Mڒ9D3KؚT}?)"66Q!-tu;^=[T]3!͸H/\m/YHzhEl.8arb9R ]~|J7+`|D`GNYۃ~٢X s/Og `Y&[/JwbWlƒ%M%z ͖h9GZ_l^}PU-5,P_Л홸$gQњB_;ނdI2{WQN\n>AIwð E< =3Mp[ZSra2w3kGmsi)p+}c!-?]9ʄ?$0杺$/TׯJͿ>i=9=P$y ;炤>&ZN<4\Gfb2'o,3`K+/3A87j8)X) gl)fIV *7 0 B5vo,= v-N6H >H,Y}Yp﷟w:CDV=p>7Y\t6"yp,IZ\'Z_()fCYipxVg儕V9mLNi˫,{t!4_FTƔ{=K`R{Q5<_ɮ^=;Js3![W~˚5#-?綖R9ޟJ"z9NdH͓zN`q.Y5KNJg=|,}bzqxEǼj!a>֒ XZ9ޓaW{ p|9K饠J֏6 ێ&K%-vr{gQ7eҍ 8z $"$ש GHg^g[{X5ӟZwث.=ȟY%5_'O83?$d#|z˶ 0 /uz=>C>kٴaX_ҥfs.z4zLYi (#b傇`ֶ}7AHݓSέIweR,=CaW$Xȟd:-~z" y߭b.]g,[¿k< L^eSιm!;:泔E.s6ގY襕Qd/'Lr.!a?L+;~QAn砓cv iـ+YUhC~KZ.eZG..-Fܣ8VZ柹F,ѸR!yE klY,!h2`a7,ci?bR433xr 7c'y )VJ_ g{Z3V@U&p$gYZ ##A -U% |Lambda_Free_RPOsLambda_Free_RPOs.Lambda_Free_RPO_Stddocument.tex7zXZִF! d25]A-MՋhvG"uIBm5*o$ſm^>~_F4,INymvF?%O88I`1QpݜΒE@Ra޶IpnyLSL{LO񡭩;~R;<R.}Pxej4i 02s}3< 2|AP"T"w ƍl1=elxD[R+>\rHe0p*}ApL7Xr 5AOøPc=`Q"'(:_smZۧ5knR I"3 Vڿhwx򁐅pBljvjtYMzwo~_F4þ$&;'-Aܘ\V Ŋ7 rpa/t7며YY-RӪB\D#˩1I%NJ?[ڗu)AA&^0 %RTGS\&:@cXgĕ=?սn\9'T$ܱx~g4h7:56Nv]H7pqhN8 6B伂<~󽼓˘T8ߪ8KSQ@_ oQZؑNsyoJgW$wB^w-h'cFE YQ2Yǔ^?4sa2 sPp#z+WA^p33t`]~Z@Շ6'gLZ%Vj2† ˮ1.'&UA+Gs OɡW 2 V4-:>&tBA=_95<3^Y=f` _p.3E [mmSHo #!*) Kξ2IJx^Ky_21}^S"7$eAL<^FywubH'4k{(~4H㉽}ڧ&Ł~g$˝C m39u2d$':r!E6H#nY(iȞ66̄S(Omt&&f:oKCωb^k'c/9.7|gUo} *Q!1q;,=⌝2x cjRLb/j ֩gsk'b/ N?f\P ߵ= 윱]u4"2B[>OA.5 ܭYՠ!J\6s2ߗw%.bGkD;풯c M6Eͭ9W {߫ZY[8C-6KRv[zކγ!IOwǪ!fp:.Fiz+z|c@<6K?n,)ZE5?)IVow5R=քvO5_bp"=ݼtlLE:,6ux ``` -w[ k.9=h/g;dR/峌GeX]!M4CuE(#5RϽ;d{n1el=>_RD_DW }Ҏ|CA~Jm?$m$>x)t'`cF3 [Gp/bd~>E 2rGU!6b08 \ <IXVu?Amڢ`4B/XN#yQN nBĆeb `fTGM\gUsJ2JAhkm l6) Q,۳!OQjI&%sbU6Z f_75pk$-Os51jYY~8.ݠE( z*dfɊFhg P%90T|&H).Q5lgVUD~UK]6q?[ vޓ5,Lē`6:@Țto3 6Lv Iq(c 83Ģ%w7%sb_Ӗ9"y2r`Ajp U!< 6 ; 3*ep5bE_ᅂd~_F4p q!ߐeFp*L|Ͽ٩~ K(jYxNhPN!6TQnT_e8?Bn]ߟMOys#ZY"ň2Js:T0>m 7z Ӷ %6);,ٱ,(b~mE^-/uE\⢀41+0i+O5Nd”%|s<`-*4(C HƸ4+ƺL򨦞 *mYoXLqxkAd˷G7#- 4ЕznncJ@na tIkN樽[>, htBŧWŰn'tA@:4d2ڽՀW,th:t&{x|Rw Zk PrWD/oQ\DۗkqO A&OXIi+{i툶6bxaOd_&ޜi=T‹q&{_%?$hjF76Gaβ@ff3Ǖ@@ϋ|DȗW{ozֈe`P Eoe0', 0s߽$%sԷpQ:OҬ*õ,nC#C^-Ph@H٪mv@mF"B]ńBU-k]0Efĝ28jng7ұ2[ ;Jr_&s6PAUݢBHi5֚O ȋ9` bG2ym .!W V.Ne|"JDJI0NT7j\Z0]H n cAzXWG; Ďkl̚b@2LgUEӇ/ wntOհ|Nھ\׏8Q@tYڪcqܬ CRl[;#tP1U`!NPŠitmbiyn+\Mv0BW"WNǥ3!*A!<`s%9,rQY=3{$?2wyUtz-p[OW] (X 9?HDxoLMWU%({nV۵s!Sx%Ɩ8n\#G:q Ĕka xSYĕ춵/VEr5{j""ze2.L`U rd^@c%G$}U_z.^ME2t{\->)ُIfDkl邴ϩd6dҗ)oǍ1֊$\{Pd.;@k|R.A z&U'=23o~}=,,NvDh/L yu[~.\읟X< Vw߅5țyr+{Z{Gˆ&6ue:UY+PT,PFr]Uۀ\mA6Y\xZi-On9ϼ],o8_"DLa7b *_XeC"\/ҏ8-P0>Pgb%Qс9fzHXhGj?1롿A,y^Xu^@`#mgn_2#҇cat)ENn$F>_(U{KU5$ STn>Bť`~E%09W͏ kUE?,2liʹyCEBΈjbn R5-^{% 3o妧A[]Rтrovc*WҦ_7:hFcNL%p!ƻE睑x(FFD9EkYJITj*1pKgh`ү+DX5ªxa%+!l`}иc8"$q& ;{L2S~kW|y|7Z9f5!K˟iN."w 8#o^YR|ٿQR?g_;~Q_͢Ev.|os皲C7~3a韛zɳOVϫS[aAㅍ9FByū_:M# Xw1k1;yR=U 7T/pzȔD6IA_9hoS| qA"z8A"D•_(Բyy-SvF=X0+sD2!s4NFri7'V>jDxGgNpg_ I~ϦS *\އ!0\" ,VH\`{/*n Rҗp&/JE{vN''q0r Z<.Mbp يp{kT qȿ. u7P9uK2`Lrei8,ArP̑T\)v~'ّW ",zYSƬeI$*`]jg<˙^Ur0G"fb4K≓eԄtim$1;"pVT*Wmlu7M_lI?#C=0 ^Ȗ՚r, q:* /*zb+^!PoJ =p#ES?Ѣ,rgPm`3&}eL{jPׂ@c'5{v$š *8yl!?,LdmQ{ N)! ֹ02RlxR˂Xx1RDˬQix|WNd"?1XMPZُ&w:t 4Q72`~Ͳ}t6]y5.*AҘb*}x D?xtcMcENzDmI}ݶ*uЕ $@u`2@vձgYZ _Y-?% DLambda_Free_RPOsHOL-Cardinals.Order_Uniondocument.tex7zXZִF! 8+]A-MՋhvG"uIBm5Ń!31 UF e¬& |1;#2Q6^ P봑44 !$"N~CYo|fvnOFW(05u>UF H\[*,RУHQfu#]"0D"AyIHEz;5%VA_mQϝw;32jL3ZDfg )Ow4k"|ݶ [Z5}MA{[Hy,벅e,]QM@w|k>e)VZYo-Cl|-`pSE*n F PIfx)4)pzTSt"7٤[^3ߠLm,$,fFԊV E~>iE!Rs|?G~c`["&)]$ #hKy0PǞv\[trI QWPN3ZtFg*v~9i@(?4WYT?BT YŕV0<69b~_{agn\L1(X"rQh+&qSn-ܔ/X[5P̹&́Ag vh){o{ |hN9*Qmd[|\Lf S-Y% $Lambda_Free_RPOsLambda_Free_RPOs.Lambda_Free_RPO_Optimdocument.tex7zXZִF! D ]A-MՋhvG"uIBm5*o$ſm^>~_F4,I95>5o$q h&pusrD2B=ctXt^ 7MF긴Y /* l~mHCȭK$Ց&]4 b/E3d޼FC,Kuȑo|@c&x`D`cJ6W#I{6,M7~ԅrꕘ̐=I fur}EL<(o_ҍˉ^ l>ج) I#{^;!B#iQr wC$4IƏό[Ik˻/g̤[Kt֍PU 4'Mhut35܇#JB֝,ǡmu#%ת ^Dӑ3,dslbS!+ӹ(l׋Xռ݁ @9qpb9ph?tF^}}Y'hd/sLC6rV(])tZbڣω5A  Q SupHc܊djmd%{i("wkXCW.D. ~ pd iϋF"pk*$l-ɏ p ,pizjr}/rnfo⟘jStuۉ=A.wv *(DGy"4 Nvm";=nR[, T`o9EKOHhB$7yG>k@2(:~DTқ\ &9?M8ư{ޣh{Ih+fy)(9}nd-}1u ȀqoexRƔs[Yۑ_Sb&M )vf\cL/eR 31]7(LJAiߒ\lYfK༙ }e?$൥lUmtQTz@5>nt?WXCSWnxz|Tg 䓇t.M[?/KY2x`hj~Yxqc|ur"_Krеa3 q?\d0WXf6ZR.g1jtKPm{Aޢ\Kxf$:*X|gLv23 b۴"t>w@z@Giz+e>nJC6He Dob4~ =xfe"BЃP^"RΊ \(vcE yb}X˧flPm,aiXF>"mz Dc4ګ VPjGgNm _"4C5=?WX&STz3kSKJ\6+1tlJXvOA ~!.DdGJ"8CKOR%gX2òM`3Q2 명H^}If*$Sma9>Zdԅ|9 WzEv@Nwg9Uaٛإh?\=yd-,[^iƟib jp&-r g[(h[A?򺸑clZ]~bcD(`4.׊uLo ٔ—E߭sr8ιILlMiHL*x}s#gKUb%/eIk ʹf>0MߢQz nZ==VY+a8^6k6 [0W3+ɥU6h[Wp8^Mw0O5/q| G|곲yw v/,2 Cnf @۬E0>*M)UT}0>|T']Vs4sVXvseCKmHIC;C.pBQvQcnord2f{|U-},cn S_WhA秩4ٱLu"\pCUrc?$|2|ࣿbF) XH>İuƸtØA]KE2v PH諳aC1[ SW"ipmCϪ .! <3I P _n*:Ssd}@ Lo*Cݿ pB+ԤݥF3jLeF,F9WdpE,hnpun6i,0 c"Bw ZxEsZQ~)&IXl!ask|e{Q`h^+o/b9KoC['Ǿ7ܓG>ЧD)H("q箐"2^*S'raiۮuꁸxm7bFj`(t 4"=jpf=m{,gw\C|ђڱK-4gîFm45PzHh*"IG(:F{3=;/6إq)5=%`s'(,y[B[s.#HO: &?9Ɠ& b:L($H -ޥ{B5 No+-;0v/\@mDdƟIѸ6Ƒnj*4:]09>wŶl5ݣx@cX \a;VT (s>ܳD>XQ%'y7H.FHvSIzk*Q~ Se@zuRƈU~yDZ_$Q^fXNެ>}7ocTFOBȓw%97 ,U-LM&Jg49!([!;"7vEO)$>}YV.[?F] ,CAnk X%iLs$+~oYe w?E: 9vnx5~Pb`&AkL|(/yH*w'u|K0vgs}&<#muV=RuԒSV̰u[O𘸾z`uV}v98L1/H"w!PՀgj.Q=%tTtD2XoŘݚV}Te[̾H]IŬˣDl$4ѳߠb=tzL:vWFnʼ tf\(c'|ySN6vrF'zy3l΀V$ѲZ"t ԏur`&`tns)`H#{nn3R j[=Z f;_SCG`7rr?כgpRqn%dzU'd|b B}NXS8oAl#,D1AQ:`*Ol=|0`W?u19A)+?'_@݉mI ܈k#U(['1?chT(ׂb%uLe][DaAk*a1ŝz -ˊ.!u$A$gb-gUUm1.U:j"G{\<9FUr>5&uWK@n +\r3Cz>U(0Tq`_܎QkY~ՙzv r^ԇErqDTHDE*Z pHkg˒?{ ̝'0߾O- PT' VV7Tnܗ+_jCB }Q˰jIϠ?6*уPY`B_jU|!~*< _\"p9E(4}տ.nr2Fi11i@baOm8+PE1"a6>x =gU\)qdOgYHN`Y23ELf.'kI{v/Sv%+NCBhL횆;)r?> pdC-us0;J~R Vz9*߄UWV1 AxjxF[!CY;I)kզ+GBV$l2h- '{vI2' >`=+9h,j[S`LrGHBд [&gZvyWzjdlyN :׳bJ/-K/Uq-NOqp(9,:oi=bfOP \Myv)j7Æe3цK4 Kw:#8ی)?@k^M4-9}UI<Uu[S<4 Mm苆2ULn4x8;ZT7&#7|Ч1F z8afd7z< DXYT;/eV ~Q1-a׊&~N|P0o sO@kBe 0~ec.,pyKE S3g:\c3Ĺ4`[j՜cZM'gd2R8V9+F@wUNn*V[: fD-։2an0K[>I/ʮ~)S+=L&tK## )˾UΧ;)&He$YqZFCQC.- Zv:Hf-#&m f5qHp֦IS V 1G/@D b5@A(^W19czE#Z%do#tiTТ0l%F'gDb _sd =nOxrhcqCmxw1HexC*5d+^XНB~&V"T2I([Kfˈ@/#wni@YBC-LHe Xܦc3$Qߒ0cr\~s@V4)A,0g'Ԭ`gYZD>;t P(~R(;4N:bz7>@r7EV@}0X&8CH>  -C:lɃ^RJkt &,`MD8ҫp,'0ϵ 8a ^`]~c$g|YUy0Zn[YlŁٹ?Z8žl{Շ\{ WnyHo`{`4є'.ECg52ݫũH&tM1ŦnB\$y~)+d:bֈ pJ!>p!sW(l% ͌o@7AJВ7?c!n(㳝|p{;'OPhFp V\4),( 09B>D"4Lj0.{ g\C ;=_X `{]4׬Mׂ.*^:7^c {u^ɻ$[SBW=9+Ҭ2X/oHŷZCz-'9c,&MZ<SYhϞdHc#?Bk[֑1W V{' /1-cUgXv)~^ _`忋.U:NC8hY͈oa<7+p;7 ԑB*DT/X.UFV|jw5:ȯCJ.=+t O]&gɱI|Ί7 l.Gg[>HJvɪBQ[:4J.cEvi7r* 緜sPts rtstTl)eޞiGAg0]MiS5\B rQvU:k*W\]1n6\4"\la2hoq)5dN߭,hr=9޿S3;PB:P4=?EL[jg#Y@ \r"׬..%wQr#|\~f.zf'2 ;6n ̽ʮ6P]d cRIȥN~!51{* AgJؿL:km{nnR<5 ;- r?0|/_`^-ZtјadxYѬjtU vme0RHZ+RWs4wއUatr["F̟d%9`PݧI4c±o[0%hк31z gܶO"C}+2:-2E 0'Gjx )|!Z0ǔR%Ъ\t<&ε^ˬO #,i'8~`YZ?bGR"[Pr1,E(IϐM;pkc'* c~4P m1>\jߤxcZ_)-I_0J F3p_BZl9 !6o^eόAyGʞ zXďػ3.ptCLz &\E7\DZ &[\)l^i>'GN6E,̷ KAJfAt|z" MwE3UKxmu Gֈ:HߠvA}44N2doPf~3(Qi\DZHJM'=W; Ov[2hMIN *:m>T읝`m{d^ȞbC;FæL2 JBܟ/@FE T&j0҂ O刁C^AdnyKHcy]B&A+hL6唡^@b+d*GI=x!<2YMpC#T5CN")۳+F~ύHW{>-( VJigul ,mUl[p E~RWgI[,Fz*P}1HL.X?%(~ԽmW.:\trYYQFQځF0w~LNǁM;I_ ZSB*L@ tcB\GS1h)bM?12I:Kͨ=l&%[Vo@컅N6q(\(X xgLh5ݺƽOCe.q`fg:!=|R/ӱ{dJP=4i60򏍅 r "L4dZQgQ<+ `TU}dKYk)ZAWE+;.!9y ma"՞|B}i(! wo.d'N2%/+$dfjRV(?fyKYtk4>q-e!DXq5VNaČOϧirFN%?k*vEU:?c*k|@[ûSs= :it,t>,N)Ke^\WˎJҍg‹'B/q[GH6tͨme_N,dL'.(^6jHe=GX,2 PX(evyE^p Rd%5vLt0e?ķLOrE_E^8|U:WLǚ "PՆX!ꉑϿpmmܒ lMܘY3nH+;R@BQ{WS a4L/_Z$Ti,,>#5o_ jKGk|Mo|xN΁D5mb0p<'1+T#K]l; :-;0+k]:<n׎Rz H%|f,*x<M]:7,uV5|UҀ3˩qlRo [UH8.N3-g)):{̟ȃzWHbzK莔s$%t!.};ٝ "Rc*[g70x)52SLkI3=EI_{rUDuX%6"$!JC_I"g]P25`vcGDQ;^yC-a"Q"|U,HWq'o]'{K݅]o({\M5娉[D6ɢ)Ii\c$ ^7xmV7?y,C$mUnVn&0ADaDʐE;WDOvh4ft= Y^zSgecQDLu&&1!v{$B|P&Bmx7FKЩGX¼.b n(vysG8Q-CGEXvKe]8N UfH>:=g7ivՠ/rе5x$; %'Ov~9!MT A-T#EU%ag&q3ā(ЫOE^rfp@:»JZK+J*eHCskrۉH"d,9W9{.[/\.ЇP A/``Y5`çGovb:]r1K nl½$.be.E.dt?6N<?5#øIB_S4u,E'܊ڰ"؈,j '0օ۫1PZ_=̵m6%c [9!kR!b$FSnȝ Gtµkjul5h! ֮( p!֔6]8w%ʢ4Xf*$R-o^af'+v]DUXg|\Zb_φm*_ܓFGDs̡ 䣼*2 \z;8`av%TыLK<%'u U2#Xw*~at:o`F@8AdGcShnm*he,*zPS]pϥR琏V^/ZpƆy?̬1MkQrSUpsX^#n~yUΗE:q1Ϧltͣu}=7mS@s'.S+{3a\ "P]"Y2{BěNy iS>Rs*K{"J>[0JAsirr$ @/[)#:'aQ"2XrY?/ + l>ߑ#k K?v"k#THڥZ/ZH c;fa}Y'ȖAʅM6 iWnNlBY Ѳ/ G I٩k8 G  r51䓠d6x>$}}˻P, &jjPj`1Ì퍠01w|cA7_( Q!zLcSTP1G@d̜-ɮ[yHl_g&[ 0T[)yDU|.J ۊz>`DkIhH.% vpuو)E㈅5Y_ScXaTʹ=B@_@٥,]s Ș,8 Tvi(%2ez$nͼӜY^;Zo/4'h3!~UAJq39G qA 7@ wH9cJd952 6،҅C`(vJ-q+bЪu;`"^&;<|e~!^lTSR;MLivb|$DZ 5޿; ԝ1Dwa B۝Gȱ IJݡkG: iװdE~2-^O$QNtԮ0/vi`~<|*Gr;c,t)߿#SvA_ o זJGaD-385.Ϋd'8 i]_vL w-fL9sLH`w-˵9 k {]Q3.1ڣ4n;o{+nWa(oP ±JHMt$xg___SY~] ju^ve&S= `9;~G_жe9T~3>Uk9zCzl/c?a/q]5j"Z歊|v_T×q4q&z.-SS3Ԕndzge5`'KU  S#tosJW(eKl.O])~!Hs憥3bekBtNAjYhWFR: 3 2shPh~?>U^a,2-'<-}RlD+Ly Y"!.LOIʐ-6*FB뭫-yaJDr =3$S !l*i1,d6c~YzSGnV$\tK+[Cb1&( 1[z/aT&RL.1%)QCQTt(U gHpˆ^Rh%ڠ24TYSDoWThQ0RT2$X:rlp&vhŇt;5w߂r(U[cXp[^f~9ЫЪ+4krmXћ®멟Y*1.Ep: sK,\R;@E\ᓰ1[ >3֘45 yM dqӞugqf! q7tߕAXsN\XCBDf#MykUюinRhg?ȢLh0UQ!"fTTl;`'IX^]2, O.X%O~ADѲשFQ)HrJRwٯb2C v!VRuKD-ta;R옠R;'BªXRԝdZNN-kjKA ڦ=i:;<'ƸL!e:7otpQb.T.f44Z|cחշqZ>_>`[Ak2WUs0ӽP"WwlYUy1 'cPu Vд@ jٓ$^IU 3U. &0A죋)i#լʎ;,Y Ǡo\WȘ)TfmIskH.Pc{%8k@87 F\8'$ ֔0PL6p`qU G[)wgFXbP-Aed\)} B ^u)I-:EΙOY/ao\pejM>=vtQFW,/3O&tD=܆w 7MaЕB`̌K!O"  5<>T ޗ`+@ZecOU1K Sζ-So_#7Fk"gS5]x6~.K2.zbidNxI`1ɠ&>tNA!d<ܙ-Nvo%ŌzQkx_9p?Q4zN6{GJޏ[üFҥ>[Y@bXH vp x=|r{>"n҆x5{h,D))e(}-xЧJ[,ȘoGF6.f:G`ؗ[8>(Yd$y!u{Klr/ yMFTa<[U՝ #o&Up3$Z .WԦZ&CՅ8椼x`# 'X[1^U՞z d꙰܇FL ?;+n{} p;znn.暔0shv/Zo,1ᄏeYjqa89=)O qnɰ9f]$ EQs.Cj *OǪ(eNُF(_(\ҧL&$4ݐxxw I1{ 2ewC18~TM&N=_0Uܳ(fİ{y }H`Ǎ}Vw~ =2c?z?Y>fa\t:'tg}dJu8 y-%CTXJ7xbz МK d?1棝">C_Q=lt%> j2=c`Tɫab*0ؑ6>}'@}aV^2c!G)h 4"eN_°BH|o89'a>O'aX, Sh50b \8˒wrf]*B/g bDB0OA=/kI6TpC9ia0A-#GЊQcygj|LPr~6=`~Y^ck^ CFm>NJyoRDnQٯk1.k<ɉu{] 0IM?)Uz.%BC^2i v {͚;r>dx7[U1iDf}Δnf$~w"swBtH!9;DԴYq朽K 3BGWq`` '`[h t:p#n?v-Pe )Lt˜V{zR!]V[>m '`Q.S#gGυ"bD|S&hIX5evM.dx|A$ڪ>:^dtK+#c sĵӳI`pg`W) h]b$ +fMǗ<͉2Vk{L}B6;bismۛ!hyv=@2cqjziӶB|GpE3ߓCjZb/R[VOiȉ)F߷ZJO @PeI,N K5XCے` /1}亁وӄvge"1~8הl2vSR _? [9>fFb#<^ͫQkNʬ.|c6{HLzϟrEk %Wn NC7N/;櫶#K@F/"A۝d.yE7xMhEY.6!Q`>%4Ǩ_7<m܊ܥvu`o #.V ]U#W>a൑iRV@{lm"}ad@@SK$&A[A=rjd yQnl1jw,|\,trMjNq.Q1&hBDȦUWʹsT+̳dRq0(7ðdXlTNoœAr@d[mmXl}n2YWT.ד%q;[mf+Pdu?|6'p o_-h@wSg)4mR\Ƞã H Y C&lTBY^g },S %ПYn0GlzH-qPs4e@8Bgˀz@(ivShLmiA5+@H.U{#9矼* ͯdwHI 34hvjeJ~M h|?.U9zf%9s)hVD:_! K!yH$] fHc3"ƞw֍0II`u)kjm#28>#` PvT2)ҁJ@ xuL(E W/Ax\Cr#l$,s NZ3,!1{+MRJ:3$>a- YJ\dFo0B+R2Ev2_{n3?* Qo:_r`^AeCyZ=Q/d uvք `KnȶXyyԅ:u{(&WE+cܾ7n3{B}6)Kwf^C/Ix18uܞD`pm߳AկzJA+9k@bwP ([RnۣݲfBR6oތHCaإSP'\$bNtp+<GzFSIګyz;zVVP7ީ\{k5 cXkvpUgqw :ebLIɯ4Y!9qwސchlUy?zyk7 8 vIN/ݬ PI҂b[iח!?ldћ+zp cm b_=eJY] ݛ{ph+" LFYBwˏ=,EIYlT .}GV]n)\nP6&|F„DpĨBXBJgxyaƲ@^10~BuyaOkw`Л ] Eඵxǩ_>[c BŒd'}_~CoD. ?=t7$GX&NVYb*fqcPZm2&wcy\:0V1I[),cxFRrqG~Ǜy?bVAS*ԈeJZ{qV.r);W-s`{[l}B6>vM>9wYP8ۙ= <DZ⾓cjBd#onbqo:fz2H5h;DbN"饒W'CߊL׻* lFwt0vkgXȤ(Y>[!_{3p˂}GrsHf(^npT 7"-Rmv𙱓vɸ_E؏+!C<.["֝Id"tn*&pM)#{E1X}mJX!ݤiAQ{=_-<L$|P),ӨhK'IΖk$,FÖR(Lt-O ٥vu?dz1ݹ!؇.L(WwS{<{gt8MlޙpZ]{(5 I.CNb)V!;yŽV }}cK@xv|,}w,VL%C ]$+2i\)B'ż UhD&q4$YבJV, =Q [}1ŕ/)o=Rׄ ۭF:ڏ^J2 9U?3x/o:f%Bԩ>u?߱䕱gYZ  -U% ,Lambda_Free_RPOsLambda_Free_RPOs.Lambda_Free_RPO_Appdocument.tex7zXZִF! !k]A-MՋhvG"uIBm5*o$ſm^>~_F4,IfQ$FYM|hMW f [MZq5o(=p!w[<G: $F7M՟T2%7@4˵_u- ~5&.-0 Zʭֳ*G0U+;:֝BS.xظnZm QpÉBL*CuCͽ'W_2!t;u{Mi6 Y˻V?ˢG)~4IX_>SYB6ymu3jJTvT UkA9eؖI|A{(Dt/Tړ&h@\ ʔ%n#siWTbY MSwu*c K9Yilo`hR~}4q LՀE :êf%8q'9KW7^P:_]Éz}D-0yB6ݶw+SxT6!w*) ˔#BA2 ӀS 8 -EfN2ÌrVhqm>Tki徫w014r>tG띹b ~qn|o8;pC7 1K믖¶Q#,c-^*o*I=|hQ#B0޶3g/`ϧh ކw %Q^"6t('ʃ)J1 cbC Btݫ@+:y5u:s-}+%`eT&^hiפljQi]0nh ˲⨫d ]{hx6M֍ؽRH76kS,+ MچyěBGI&#AގVE %:{s\D/n^RJ8jzFx[#/_eoX{fik@^cE ͻ>Y5]ڷ7hϖl+ uW\9(Z?gĀWl*blpot#4چN  Bϣ(gYZ, -[% LLambda_Free_RPOsNested_Multisets_Ordinals.Multiset_Moredocument.tex7zXZִF! 㚊E]A-MՋhvG"uIBm5 6+Yl~ay',5A)ՙvӰ+xg墶b^ JvĚ%{v ?$\Xcwn t!D93 lc0avX31**F҂`-.^|n>jnbAgJfj[~oA$U31 c3_껁<'f5B+_P\|VJgE2IX&4l]+ޱ>l!20d^ Ni}S C6(++ BT )P0%/{8Utf()qS`_n偞 OVm* ]RF醢Xcug0e՛Sw@"fI{ q}j- my3$uS4l*zns+& `Rs tɁ i .. lÇAԔ?|%t;~(߃$276$SXdw d c}L ɹ㧉 lVNoʷ6W>"tjߑ喚YZY~PٲjR0(3}J="6Eu~߉}2+b$6%[t+w<׳LmVn,ïB>Heys: 4AwNsqHBż .A5Beu|pzd p`|Fae1Q_{)BvD?<ξ<[<ƽ"m*|]7o?ہ#Fx麸9q&zF[V>YV% k ԋV0lpy>eLK17^.?cX~$j^[vN ˨C"jg@h0p k$."yuZgس?l͒dUIeZ(0X]\w@=lq:lU{*' "o Ide&~dȺܲ\bt[b0CeyXpw]`n+p5r0a^i'ЄYVUs؂a=$gtcc\yfOwVFS,WO?{@: layYA{ިZLxDU[9 _ J_T i^(YtfD.g} OR<9Fl@ 2k𺅉#~rsknv r](ASv = e=% -O% LLambda_Free_RPOsLambda_Free_RPOs.Lambda_Free_RPOsdocument.tex7zXZִF! Q]A-MՋhvG"uIBm5*o$ſm^>~_F4,e):3't뫕`,&@§_4vT|[54|%t " |}Qn!Y]l1ycӫ7[R >TBq8@ZW[ezW;ДIHmuq؍=s^NM,47ancBfK^6LzjA{OhGp$Ri+ ~_38g-E}#\bh7Ox倒} wp~q5&3NxA zÉ  oxtR2I{æU>N0u@߀Ԭwf~Md!%8yіtpFPolzLy?A 55ֳGaװYZ1~B4J?`/Z"('rKg0A@.cѤ "ȥҳ/ʗlPz6|"El:J{hM}9ޅ,&X=_ $vuIx#~Vl D3Ǧ+_d:]׃e]r˟,x/b͔pu :"pLڱ"x "9 Mj<:h;)9nPcTRߙ oe42b|#=>PefAjbQ l[XlQ.lenÌ#(݅5?20UD6)ߞ[` :Ƚ٦Q~Yq?0 !f7rAY `mq"uمt>d۰=^>TӣהF@C$=zl}@=$uͩ * ?ZcT¡$kXbc 1H2#cwZL^JM2-4YP\vl Gf9~+| ]66`$-lJ?Z܇ZlMT# 1XS4m6L>R ("_^vȅ^Gv!}a.^!6)_avpSkfo2V3*h(2z~TNC1+'2G~Mj(Fn<]^8o @ҰmӱgYZ **M -O% Lambda_Free_RPOsHOL-Cardinals.Wellorder_Extensiondocument.tex7zXZִF! н]A-MՋhvG"uIBm5lRHgƀTf,ž9؅({2=*[D&" ]D3Q5:*?7qI= #6~ⲏjW.<3M|[UxxL  DO -!7緉 .n WN){9ds;ӓ|LfnQO LɚwG@"eß&]ݱ~džtq4 qrQjlź?tΥRѷaW޷*8c2l--D-7 f5d ;<#ݩT.[0n[^9 ˿[溷M93}e1gӍрiA#P1N9=iyXekSM@W#b1Cń?F;+ jH:e0S-Ld{ -K% |Lambda_Free_RPOsLambda_Free_RPOs.Infinite_Chaindocument.tex7zXZִF! j ]A-MՋhvG"uIBm5ɰ8-'hH]^T3{9 2ԝi&Jۈ"R)nq:'*xY=as5hLJl~Y k;IH$!ܛwD2TRBG|xx3W}#r툀V( k@ {oZ ^K:?Ufeؼ8#uMё]q:>la'9Ás|^vz)mX?Eu UKk`mWm6iZcO b[V >y(Aݥ~ˈrb_%URҺS $w;F:4%a"FG2Lc=+j)VɭfC(WC<(nFBsJG_)*-FN [Ziw.KPM!zROң / 4VPW:uWAFԐs4nht:{m9 Xmf8R=q7 "HMx,?xZwO ]!Z%~ E5¡GBG z+M|du:bmR/ccPlv+9^A@I23` ƀb[ERFU>n(0|xq3]lݫRbbT9#D ~`Tt.^D$*~EJNI~o@wn+,*kƙ;DEmo&|O*8q %TgѠp^]TVhX7U$>oyfO H[.5ԙjVNdV[+pSOkG$pZN׶>黵͋z{QAB/B6.BCQ" 0yi7YvOXʯFjrH;z7:),VgS۹Hx<WWn!WmNoԣ2Lj_ia dI}B=_!6+'Z'E츠+϶zS)\զg!ڠ.<݂-EяJ!rL$є-%q .#!>QE]]a( v97 ך;`_8 ;8=|KX4e>I^h0B`ؘ>+`V` e?S5T-{_bN2%5k҉C[cn+vw7*-?εX\lĖNw2❨iPS)s5 ݚ݄fPJ!gFqv|ݗYe}ҏ $'im&0V{'EJTXe>"&{!L\]6=K$ w0AUNUW,PiX9%mUfVh!=gYZM!A< L~#UmV%WL}cDEU$o?8ߥ=-EkH t)TS$ 5Y>D.nO΢TfK\ђsQSC1X1ȇB0J!C X:8f1HN5=Kkna|JXK.$5@Lk5M |ðJ-NPR1%`J{cܢ?~DηisqK";O4_缽-/w ڹ3־n5كDGŔ`dCDbϕ!nyqiVXܢSyo@Y3쑩CÒö-?Eu`)L;ʓ/D+W3YOx!&:1r7K @Gt|8:.[P)xI{/;lHq;ݙ'?4Z.^)ė}?"_W!.ɑGVJn TV+7Ƅ==݅tEHkdr*S"~‚6i+[8xg^E˼>mOֱ# Ge],'u3Q)!@+F |x6rM7 X/0?uf whDAiD󳵨N̎spIwg" O{pxu~X*8!ZX}见;QAGRo2D2b<%F*ʬN^mW|Z;х̟’@O$WcoC@:]3"uʬM Bf)$}DZjx8@c_oP.<;?X#Ƃt1ݿ%Q6bP"AvQ=\ :Z,X׊Gr7th̊k} 1m`W `;i1pgVE.kozFQA{A4MJ-ؑ@1ʼny r/냝q11 MiX*>] 9- AHl2[TA~ZWבёc2fM+WpU%iT]0}S6twEHwH`|PY#S4JvOU_5- 4ʹvx @->> R)q^w~Ř ᪛zfyf[:3uq*9zs5݈ʧ8V6*뛗;&ڍ $ܬ1de~H2Gäw_{lM|Tzvʦqp-9~oj_b8ߔA?;UR:hSC;DmoLnzƵuxG*GmHo<LzL'織2wȓ{߀WS^ 7F̉d φp NFgar?h(N06q:9jq 7yk0>uAPZCòWŤ\@ǔM3 ,dbꅢElЗw^'GK+PE7F#=iZnv%&k l3h6*C|mtFQr%ڹ>wx2c' МIt l^zcv̳}5t?q $${r)o.q–S8.Kxx(*l7 [ôji &\NKC:V^Jį|TJPr(& 4f*EQ*x,׍BT,¼4H4Zr>NF̈qK)DO%~Ưn%SNx̵H(`U4=yL=g}:H5qԐK^tJJq9y6KFcGŋͿU7w7cUsi8%D#uGGK L$ݭp)/Ǩ#DzMFO"hϳ!b.Qx,P*!tXoHBПo_~, w8bՖ|5=T'uR Q N<XlYij!iy7"#PtMJ\:SEe&+扫l=n'X|#- ! ^t٢cM\>J!:ebƿ2׽:F)&஻4𾥁_7 +mO"F\@)d3X}_%n' %ŸgYZP y#𖲩Z4´*-_-տu.u۵|`>nYr}kuv^WE<ߘ˿r ?p̤9L2:" YX/<2Pǣ*Fh(5/e X`V4;ARdN=QV*DϦes5p&DT/ƳTqо'cv7{(=Vedzä*q@ ;sxΓlg\͠mB{K+zW򚂹!lqoi+Q}.D>Psˋ\1SKkhbZ{`oq->Ǟ1%`/@'_[dY?={%f9`?ϲWA%)2)B]1K8"3\ Y_pJīv #䖖ŘhCf_fN u HUE78b[/Ш7_I_>ϐ.)3WUSbc.lbi3ه8¼Ʋ͏gP0it+Q f1s EO`Yz^L0C3T}nѶ.tsG#RfF)xtʴ- ꚮ\E%mYji:^ V-ԃ32!OKnyBJٍbrks6eX */\1H?jE} NgE@TLJN&YV}^ ڲyl''1C-uje zj+K|ԇgv|UA/׋)q5CnikBnTQq0bSuZqg =MDd̅Z]`̽[K ǰ؋{+CLW28CD1aXrA4ޕNtԩ(qiv8 A|!]Vߣ?SZ EfCդbT$@@}{_s ;; 9iP*p݋w:&#sM) u-%f7RYV7e˥Tf+r31 `?Alʋjĭ?`m <I8ݱz;!{MT!itAK0KXԃ[˭\'#vXmBO7jFOf;)ulϽph;^$jF\?[ߞI AsCv?;'&; >u'{|_Ye暈AҹQ%? \Tդ1LaUo>U4-{J,(L{ҲM8Gz^o7vTwdqF) 00Ԋm]yKLHzV$&hϙAPF6vմOdIN -f VVZp F /rf'[iyvnj^Yt`91%הJq3R4JW[2ūOPGV6D+pDRSASڣfDVM> \`aQϵ݄7;jYm٩jc!*7cXHH=Pafpa+lg~+ gѲI@%쫩T2݉PTy1;.EgG+1ORGOgkTK ~HRIfV_c'uC¼6()XN}oKŒ"ۙd 䔘 E6+rt®ma J)&]*yXT`xg!@Ɏ^-2Wf0*oXV_3~Ըq~%`l٢lnN-Coө(rl!~Zvw)VKV->;. d?JdD9́UA*gU-O(ΣA(A#Ao"c^1 cx~`A9Ba6T붌7e4dN9yRqp7fvuCwUZ޲Uly9>2C_k%BF_8ʤnX NB`(YgAyͣ7Jh6V0}ϓ Zx~q+bNjgX gx^gזGTNQk)TtPHWVc1mR&'B#dā9OB KTH>Ձ p&bW&ҏ_~a;!5߇/t?;$bp$͊C6tys[Sok.u ᓐHe&fLfuAP8{5ɱMApe :ҀFT`]ղ%=tg 5*@9idTȅI_ьfKI4C*[(,%MLi{=HPrhUڠVVXUzmV#ߕ)cF]35S` ﶵ( %bz $Jƽ㨮ztӖ# j!8ZGtyoϔam׮kl̐2׎  Q ȏnUg hX30[UqQ rL9^u.YUum Iƌ#xWKi((ץFHe%CD'ށ<7rn"-Zx b ߦpѽǽМmI>BR3E{,I%3zօ}#ܵIEP$>$nNÂ<oculB$oH#DB686ܭ_t.Tr<,҅RqgU3mVzr Pb0`@B"p/PuNW$G6][, amK%V;(7}=*ĵsvW Pz;do5\MW<8A$щA. DoCl$F [@俿eSpq2r㗏4%`6 .*{*&Z" Ϙ*}(+Ito#։"ĊB9QQ$ wPg%jCh{[P-n~S?"L]ϤRh%zߗXlGv'#{/Z~Ƿ >ug֥.+#6ã5qpo߆OVy7xq=fIв|*j 2B(i*vLn&l7 {eu8WpiWptM?5ZCuv ?H-MBPjQ0>CRڵ&5/H߷'2w$xlwT##6IjTLWu$E!0 s>_t^ӸE{󔆷ѝp՟n$P)tBBEOG?B8p"Q4%#e;]NĤ1U"4f$ T2g[U𪔌:G%vyHH*Ж(?s%|-4LIqX4RjJ! ۺgEtdh8YylK!Q-zmwΛc-+Ǯ-K?,cQ+UKGLkU rY/=wً N#.2@e rYVH1VfR_soMύn>gkq>g ^N0@KLH]ݜ}RQ~_wh^F*?3I,'ep>OȠ8ǚ>E҄cqT$e2Dxy2ί[+v71 182VjӺ﹧/Sqls}x1&Zrϊumpӟ-aM:G΢B1JP}-$01K~ DTo NUMcСSv-Y˝SkL\^%Qo-L($Md: NH󒞗cap/b̾atN)|-bx0WL{'>eG0hqL $+e@qfc Şa$2r2XX1+PlPR9Frܽ7UTuyXh^Z= 铎 Kć Vf1WբɳtЪ66])xL-u?"77vOںml5P6bMRVi$|OF_GbU5 0h* # 괉t|p'aG21~&1) ʦ<{f?(رSemow}}4{͠2A ԮX3rܞE =O[7*E w-3&u׷/KS 9HKJX٠PnI`NPmU]g+&e1~,cRTxK/9]^'KJ_rYHX.RSxmhaW)xL$2>fbA'n.gPhaڅ:VlS:6KdF -|-hf 8n꟞4UIQ|P lowbeFt3gAa3U>\˩~|D!'-/L|0qHqƉWqm&\jx?0Fs&j%;_] 0Ϩ= + lBo `ֈ 5mΘJ%бd˽Y%Ά0UӡD2iZ+44>J*r`JИ-m]ag*xDnT3oS*&?U44 R&u8fkʣP;c"10SB(TPi!_1Pe?GԚþju^С)1׫4El 6ܘ kB9Y ( ~WAI BRz$ڥ7Az%tXᐧ(TTyfؼw]jގMh: ɠD_u"kȀP~n f7 {$ky_B(㔱y#KSa5BadDy5ukڼjJO| M C` Km{)"o1[K}W+8!eZ{{3RpV|3p3GPs]$`Y/#>NN!qv( %UPxu@Y6Hx ΢){. 8ENz%"<Lp z Ml;n s|KX?*M,\g$km1*pŘ;:!>X5SX MD61jïzZڳ&怟+ʲ~` v-Q30dר)K%{&w 9y/[wB{'!,7p?OQy<4<}EX_'JF^g݊R.1 <(Ctfa!Vllk„r(dڷJZ~v Cq|ɂryixo "R#7o0,μC]1\:I q17 Sd`m=\D/!_ Sm7P")G¤W\y!3CHnJ +%}rb@#) Df֮up]$=3!fEʏaӠَE"Op Gz .{\wOkʨR%R$Hc"Პ?058#L dRɶl@.◙_erJ>U &6igj$'S@@@b @#QeZ"|vq{_WAF>DgkXqgȠCuȜES*unp‘G0V1t514CS<3 Yj^ `5ҬXwc[ f t$=P!<[Sm‰&3T/|u OlWٻ+"Ը5:̮i[+emFOB/A31#^z[#m6q *7!SܚxN QqCzf8lјM!C犌u=lq_iyFA<}R>u(%xEYMb ڶM)@T6tLmb|Kz } EHR*{H[e*W^JH1ZfѷV$2uk]95kv(Xud4tA]d&.A]+[!gh>AZ[6=LI,V Z|-Λ9CwÀƓ8 CT^d\bvS;!% I:OL E:X7TV&6onCOwSkHOx?IU&Z`Ʀ\Ji޿GElh8tN8ELS%KEncښ[s1{BAhN'mFVMRI HY'Sz牘JRg%}ř 4a8fԛ|Hh_VNuEGiP!ƂE;{QI)1^:N҅ه ޴KCtUV`-S;%<%<#@@->Cc!]7M!w]|Tly%hu=~Ia$!"+&X"?r}1V6u[go?!myI2Op~|n5jNzo+s fjtvEvĪ do:J>E?J_#r;m4JbP`M}P=ĈQTPhv~@4IY1闧Kz(sLu}IMƒ {ITR !}TkT'-Ԛ6H2oN;GTO~8I:VVu[G%xy!=o%5%diZ6mGi 3إO]OHX{ſWPC <!LKDwBȉKd^[ :*?4y2Բb~*@V  !w /Ⱥݯ #uɋ!15)hbP$ U֌;_~1ϟ"2>ǝkɛj+|%; V32g5U 6ݽFZoؑv|f=5_;:4f43ƎԽ]\ ;Ywmi‰'eÇwwgx{|yJXp`(Zis ϕSH! v;=huhЕMԫ4 pp-(k9e[M"ՃSvyY(:VnnmGJѴ_ S9di.Z P# <য়]Vld;cGoj`L7o㤎裨[,~ ,uzHIe'($j:F4oO&3\MξfE x0c%Q%WR># 3w t\P(_}E훶R>z~i4@T_/"=oCsQ"|0P^I 6Vcy?7@ZWbkP6ØxsgX#[`rU10Q1^6F3I~*t-(Ƞ`/Ϣk8Buq>`SnN8Ptfp@{@0cBEBVo Cf$W3Uc {͐\YH[AbXP铇njWC%b݂>ID+SNZZ(|1za.@mmŞQ6| {8Aaܡ?fϹb*F;8=יofC'Ҷ|uW)]2)=jIcT[91jInQY(KJࡇE?N?eca<۲PcOVXQT%:6\S^/57A,$אyiI&;3Ã6(I5SK 4j &fsN`M.u}wؤq߫9Z&u ~r}q1^%ҌpҦnXFj[SlAT^=^QҒR93afr\/iA. yVJMaE^Bn\!efmF)/IG/I*ezZ谺acudWlS2߀ AjV&=8v|@,##h{VF܌!)a&%.T9C"i3yǨz.΅`l4Vd*a>Wg`FՄCFW gucclQf({WLFB;cA(;*7L *IJÒ/7owog?;T4)1O₨;pA4]KF&8`U7*z|ċ΃[v HxGR-r4DR~ֻEQ'z< BGzL0Fps]V#e ͖?(j*4Ã2+,$AUZȾh׊o[[q&;ە4J3) U[3μfYt."_q1R,%j*-uOO&ȤБ'>I#ϧPw3@'5zEZ;z&WFRt/U8`A{DL|Ը`WV㰹^LZSAYį`ӈRP!su-.7A(F dsUr&V Ee_6->:B3eN 鵁Jqz"zA^V\Nx߲)`:}B.|1A_M)Vv/97f@RRT.ܗ~gh5*bFwoJnZtZSSgwܳ}]njKz]xFc5$ߊCB|_#4Y#F9B۰s |*9{eO'aC-W^| *=&5۫KVrم{@rIyԒ&Ȁk+(\=` B3Yx[*7'G19!36D88}u_| _iL4@\# pw(Bib\QWY9kv% Fex %g?0CW.UdlEd4}XQ]Y'x+&/tsn34\SUwٹ ߲״̚B1Ч'}O!L]D΅VrϔǸϗy߀ V=u6vQgHy8/95ژۼ&zgNiK8U`XxƃS|Iu76x'̦["Z~lAZ9@gGjEF) #d G#l֘Pɥ ԷHGavPP"?zE K.3M%`[ fVԦ-!_OEE X-+ikud2C`oc&o[>e%Z/]&jVTm ِ } ޷ IH+\ǓJUy&D}/>m4i>AG9mgE QIċڹJO@rSND{[z'&-S̺>b/\߶B4^ V{C !WP/-GqAmYN54. ͢WTD"w-RMѢv(1 m :3sSSp(Itꦼ2Id HK7!go7Qп&D3 %ΧUŚB-0Lv)<%L]J (j[Ca%) |F92yVt5'_3K FKrZs& >_eՐJiP[VhŃV wN?wtW// e+6׮E8"BO&s+nUVH '<@:s;"s(/!bfY5+-Mex+2AHxV^jX h"\ _4RC%Iy/̻;A@jsvDk,Reͅ],hi&!9*? ~l-hD+ yTbnF5 90ZR+ 2'}bE&7C$.(c8r=%I46\lrF)O =[ɰj;S:M] XꤛSLzt#Ia =;JIЃ;Trrfօ1tAY8hz̩R}118pcn ZT"etAuRֵѤw'iaUsŒk~UC2TvPlRrF;Uր& ?ow5NdYƦfK@;T`lfb^>^|V&Nd9 4UWP;D!NR-HʎY;FT_`̄%- \Se%3hN7O˫|fgܾ\)wĞ&K5XjTJ:)Q+ <8Y~Kʳ#Xp 9~&c]H&[gь50El&h7g Y&Z9#[x7k/'m GD~O,q~Y1ҧoaHPƗ,mDJW&n.:4? x+F7i˹>-z˝#旌h{_p*2Eߺ.ET]4 a{2&.G^%\=Q<$*<^CNJbC8 VF@h I~8obxv.A1N~u1z*aA{5 -cЏf7T^Q8Vs1W*e3K;mHl88I|X9q%Tf#4Ogo?d (:f65(OKGݘc+fC/ݭ̐NE\ُJ.hnd9( ^=%>-ȺX4$@8` K;8/ V1*C |A敡i+r;Ej_%M vQ@H#(([i֫GƠf]A <1&tP%E"u6b r *kޭR8BD@п ,IsY1Co2⨭ :^iV ֌!H_>QYJ;+}}+D,O>"qV8*휻m!B³kWx~.q fd% .eV.facN]/;X]a)vqkWVX=OglYӏWm <:=A匁o he$H (ѡ#b=帱Yį צ$ ll ]D1kl(l9ou-emOӂ-HR'ꩀöM2l5U3617,L3 ;@h`6=WZtY T-5:5t+ KCrde/t\tu2 誀Qk՛#PlѴWR=~ /*q.{>"|QOU NK$ct9x#>kmqgEE 6 ^d_0k_ iQOcn9h;'طи ƧZ-IQ$oGaxN8k4V )51- 7/2Ƭ?#AJ@0㨅M/⁺U/jruJRK%GGcڛFͷY>y16`lΌEu)+y>>)mq~5efͻCGݶ̚mk6<3ϗnlD]1)og0~c<hMrL[&zpP؛M}".'c0f/Z0] %tʳ;=kJ< G ܺ=%w$}iۥ2$ t&V"aL$ F%n{̔WVbfZQI~L-(܏gY<Xnrhy .LWAUY(!nOi8 "ę(v43d Ul4LA 7ܪ#;~5pmDY)-á_ OƂz͕Pp/;l-*MO]: !e G/IXkЍai`Teo4foI8'Z +Bۚʐ{c/hfChQ9Qמ:}i#mNv%`+ -dp4zT6GRҲt:'2}QoXiY#6Dd/$qUw*b[xYS5S},!2/(FO0DnA]b[ٹG4ڸie'r'yhsh\#5AQr[R.\.y6?!bm OC*/&608k |VNtEB}Ȓ-P?b1;Isnv,QaI|'7SUmlTEG:W} λee`tI!ڠ{7+[U'x/(ƩN1ev˥??7(B2:{X ZԶ]mDD@9=&[VqqV}c^<"b0\FAk0Sp e EҹS޹x#Y ỉi8rl:僗oCIԓEB,Tg1L+:fj, }z-VX;.n=n9X6YpbΑ *#YEϚMM)x|Ы {-h0&E|`[N3Ȥ5gGO42 LЂ_'֩8B[U?@UA,? hmz"ᔌczՍ_-F5G_A#m DX /;Yd. :y" _*:[GSV:B"p$dZ~ nY*H݋s/ sM"˜+RBkfejL3жHҐg寗=0@QaFH|sJ't-9SyR!>(T<\fiײ\̚R%prb<! 2v :J i"9ӪLRJ_ w$eH́ c9,@ ^+'KtjL8'郛k'&QI{biHj=y\ЗAk%Q;ÁGj^Y("*6ϔEIc{Y?yb_6Za 6*x^`ϑ$&5m'I=x6-vd#:0k(ɨzRZ "@u1:a]Hi[vZ4k.Tm {ܑ\^W?"hDIqICP7jq@;XYTD?OֽXo#U/= >k# ܋$6RQ֎RQJw yfu6Ɣho*vQu1ہ+vx :!otpx9`}+ޭcJhd:q܊_*:s`Gn̆D Q\(zSZnM:yxɳ9A`U/<ł+vؑ4CrkB <ēS8^hwɔy!7r7Mba2(yz8s)OoZ+nLLhG Zʩ×FXNl"CIj>؂Å>KτD_sE߉oa20NT XفPR#Bώv}2)(4wE50[%!vx> FߖJC 1pĖ7Sة1x (J"1FcN2=jMx&K5ߥ8CBLKW kiہYр,~"O`!:'g.)l>35\<3k?t&y{yGspmw!})hצX,WdlL=n~jI;1r+5gWAP&f*3x*[[z 4x_cn(Esh{(|MrE>4C Cn6=٪ L~=JGBrKp:OSqIUh7jFύ{RSʞ1) K:.xgm ~7»՚WŚ?58V\0IK`'o2A ܞ[ KdDd#ڲT _Eyh ˛ˡБ5k>: ŠeݧXDOTjbtj>6íBP6L+a{31ds $ 3G xrU{144uz8w;Փ3@zv|@CV~QܗǚIC;r3s+;#(팂#o)F\?fj9{,j ,'y$[? G,tp{D(2UXRl> Q+ZqaU݈+@{t~1]+f++qe> [lPozTD cGio Wu; g?ki "ruCOrQT#>@Z/?'¶Z # RUh՟|5 L\.RXדn}%<we,  eZc'E?pڑoӖK]z0#jNS&ql 1^1C&BR;)Yt$eҷSk"~dJٓGxcpJ*,ui"-,VPL( rlЇ'y|b|˹q 9]҃i3|/)`%^IXyD1cƎf)IYv>P+4a?dNzyhˀBp NQ|g2G?m8wnDKzpL!kH+\~9|@Biy 5kT&ESx)cs2%#Lw5Po8F+Ԍ:5PVRSԉZ)ǽw|28'5UIb4N…la{,U^ ޶$/_;GVv֎BA/ezV'ҩ'\DۯM5XA1 NjOfcŪ?^`FNUF"|R$٤MxڮZ-hD-\W8US@GPW+6t%*(I[}OwRmB&ҨbA:ҳ@%xlD=kX#Z9 ƽ( @h3D+s@/{:#ﴕqX C†Q4lvR%<.D2IB?ӫpy(!`}49suj0@-VV-Plu s[rRiʼ+Z(ˑomlD9쑑v| ƫ_LŕJ*6߀u6{m&xE>=) q^hBʱ\oˣ?:EF|ZL_Jv#Z> $@6nk6/ JT-2#K`Y;NwUw8j%<~Mw 'NqV]RDD72=rEWIǡHV1hY?`k&Zyt-}jW'gDw (Te]Z 9`F.DBjrR/98kzIQo)6Sxj6ڄnxd#\,¯' ~7udr}V*-9z5Nk靖:J2d bq#Td7ô ,$lvwX348:Y+̼qly674RBPpxڪ F!@mtތy^`I2[ݏy` gHR,'%]=eb'FTߣ.}&PQJP Po.²*a5p'4^m ᆺ'o(;{(D"vk]evn џ__Zg K^~+<|8e2S C|{$q+nD 7SzwM, NTTΆF?= iM[n u9պoUs|/M  /YFwbؙʫf,)aXɬ~ZĪw:S^K acv8@gQL-L:|F|7_iG >υew;|=)~Kr+m$n+n/ꦘ`u%Ph$p-%P&ֻ:|I_)YSÕ>w#W ]cvBŽL!D$;_!O цΪyPKS0L2i]l؝8mbJ>Mb6RA[8'£L*VR7`)]]YOi"2#)GӰ&9B_Ɉbc4јt! la k'X'% :B2]gKXO8ðt6r`O6 -+S?IW6\^UtOq kvontRxP R+6њs NUjd;x>Pt%|eB1<5CE1pmM]g{Z:{5i ta΁ `}_P–N2Zs-=9"IJ`h@r@i%_$ϢIa&[Jl`y0!a=&E'87?mпU(ӕ@򀇦 >Ws\ Bi+HgǠ{r~>yx`Yρl ƫHgt/˄NdcR? CgC PݕWkC*i^Qs]WSSMҼW '--+amIlB?me6 Q=8rmKuG˲5<_. }WșbHW1F5]j;15O 4|2,>8E{4l8oh~Nܗ! JI阜0es=-y`W>[SVԙ_'ڭAjEUg"d(OoLM] 3WmdOڗ\RyVMAzjo-N)<4=DGWק1w kE8nBL<2 q):/fS,E{\K,ו1mUEVnq_D qø#B^SM|pwauĥk)}^NXj\1%DTYouO~+ -'6@9#:؀N,S4nڵuN15Uٸ|-8EXm+wQs(p ͦ 8ݱ}+_I J\TIO!l%=@< Z~P8fgYZ7zXZִF! ]ŗXi%D8W.S\_Ѝ ]݅]9d:Yx =z <ml;gq93[Xrov5d0+*gX|gӌT΋٬5*--i_x銇̹vXъ[ё~,7&[WrZ݉ZB΄@ᧂt"U&E9w>t!Ü V% ȮVݏ29I&Bi  wmʪ2wjKDnv-X1~J}:Ln/r͔;i rr`Fu͉S(<>͛(ZFUJ ;垠OO!j&@"nKf?MÜLF biLěo9tC]CY4)1'3mŸlk$r##fZ'mFv{& n.`Ѕ0S ;<5ԇO6U 3Z~Aq6Ī]O~ɨ^As#j VP>$ m45-5h>Lϰ)p2@ӰpFW7N4>)O :ԮZC7o'OM|4řz)c%e[!x岝nIxu -df~`DRi}G:ӡ*Ҙ00a*Oof?Pjۥu TU{zRaz Д&mDKGff0Ec;n?ۣ0n3>fxUDK(/~?J-dnQВ*đy#_\}+ڴ?QoHA_/ +)"tG݁H>SVH-4r@X3KK]@eFc<Oܤs]hv{p!hX`X3s ՙ,|,.j"`k'*BƊ̄}'Cc{!A}5!/v=E~_T2U[s|{~L\By 2Ԍ= S;%mF1 vgхH8Ml!t rn3*Uڿ!%'ӣL!&T{wّ X*0LNNoヤu"R(jfN{ ˽P3&Toj86Z S103!^dNj|lI Wᩎ!F٥R0iQ:#`,k8ڍ(]y R`! TIt"E{HSwaWfԾWfb/Nf{rHǫg7Z$'}_2OeOf_|3D}. \HoIxpiNǢ^r3"%/줣wOчH3BG Pp?jpOYZىًf5 Yx vnE%iikyz.[ezN!f_)f%cGZ0 *mHyL%ڲY2TaD.J*?菾 -?6%b d8Ү2R<0^Ę)N8}3 -B6V=E Ɲ'5mNqƑQ@Q vZ8߾ϠU[#2ͅNLBjmΗ0r~']uRr`GD%H%jG|}1h`t\6 VZ5^%T9_Lۥ3y/H۬v7)](QFGXʵ9l:9s9҇3+\I- زRMQF"?Ԗ`O*.f!XTsC)93i= !I AC&ٍ'kāpe@ՠD;_1bR(jՔn.|=2Хg_M2ɂYӔ:bLm . "_earߏ}H4UE\T@!2,\s-zg2Êכ2VZ pU3#IG v"?}ڂĬ*%T DZhPnWj6/cX\|g4KC'azxVMĒ59Xz&VLKR ѡlҲbD0P)JpAoD7q&!6hxB;2a;uOtd.i$ṪE:ֹi9HSGPszt\AA7(d_`Kj0vjkc33 uO зZFLA]8p>'=!wPhUcL(. l ՝%%XWbkD Ĺ/ջꖚy6Ce$(?IU&2sP@TEغש-7CK+yW̶oHrv0INa0ĬK2'zX ,8ENPRyqS 0\k82S*ϗSY31$dMT:Z {Zqw bIkN=Fklr((+졌H%1#Qڜ־u. &"VŸaPCeM  ˝0垬{Z1Oz=xcCҖ0,9p!r;s:vL-Y(+S[