SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 vv- t4 ] Lambda_Free_RPOs:threads=2elapsed=18.047cpu=33.232gc=1.472factor=1.847zXZִF! or]ŗXf1-/6vRZVO[fY1@i3QHl%ށܒ,1jT^~͖#ѽʓ!'x|1i؛DlieQtk,]Kx[{CgWȦfCp%.^FJ#bJFxV9I8jF띶ۤ񶇁 [3SL~ ?5 pֻ'3|?hMF4B*hK]$oÐ7J3yh6=dĐ ѯ,KسaX5^F l#',rjAʆ6w-O-'N[)QH'qlb8j}!+OFxAKݎMJ݇GgZe!hrJxѭ#9H^[xWF9HplsX#n%C*7AwL+hpZ\Ha "jc]5V˙J'=LHCޒn^zT@JjVbB":xxg~@.1K?͔Ai)Dʹb&&+;?i9so,̕J(Xgl_`C^ԡl ՜W%jf\a`5l?ƨEœ~Y}#x%7(/7gYZ7zXZִF! \]ŗXiɟ1?ߟt;9HK?.>e7"+k+* {1oRlW/6s"bZ^Ƚeb*L=*݅4*zׇGbIe?0lh1d˥…onK5dxf 7gqE}3EigYZ7zXZִF! j2R]ŗXi%; SW^bp"ˍ4ʑヶԀV-x&ۜZ6YKz|3Ս$}B@/!e n槠_'@SJkpCDl4ڨ IOL0%ӟj4\} TD 5ŞqF`?[S_E]Zܚy &/kuFr( n~0MmaHP>Qm':Aay[^>:= #$sm+gcdJ'{ Mw6/@_{,#laWq,w>8"e Fo$Y ||2IV;:91~5Od_%ضzXzmɸA}lPZ#BԌA״:ʛ5` bpig"M" rq#>t+wPf(6zW޳gNrG/b{*`ojӲE` ~`~; jpK5뤿uunB~Mrt6{"Guŷ{w߈A=+?z);dU3#x[T V8Vc ˂GxK"|5VswF0'жŲ89/"6E '#=a,wRTu}lE zji!~e}3%FeBpŦ-O*pY7ؑ.2<1"s6烖r62p9! sB9C1cR0΁(p~D4153v|͑'xwyV|c5m exC>GdN% '|p`PsbxA985?KP&{`x5jۂY.Ý\2˹Nj:9/la|ae>7?F". O+|K A`9gnV9Q36c$:FGiIwlNJ'R9rp|754*SιDI՘6!sIn { - {=^:9qQفĜاB։GCD34]1QiD>1 .aKpE$6f'Q$OY?.͞CQ]4`fP;.d Gg[nPN-'t"?>y4|KӍpBNy;DCkC[sWJS#=.#efլ1X*F'vvZp>p#PObk?SH̩ށOځ`?;NDbsj_>n`|PMT.Pw@9W1QwV#??Mha?2~(XmRV=䫾Sasmf㞳V9ږ]`zJ#MF9~>sd=,5p|icwˬT\%%uX'y‘ NM'YF}A/\ gYZ6539ce0bee80792df0c435806a294418ad78f42e0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 - Lambda_Free_RPOse-O% LLambda_Free_RPOsLambda_Free_RPOs.Lambda_Free_Utildocument.tex7zXZִF! *]A-MՋhvG"uIBm5*o$ſm^>~_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 ec7 h-U% LLambda_Free_RPOsLambda_Free_RPOs.Lambda_Free_RPO_Stddocument.tex7zXZִF! ➵1]A-MՋhvG"uIBm5*o$ſm^>~_F4,INymvF?%O88I`1QpݜΒE@Ra޶IpnyLSL{LO񡭩;~κ" -Jp%fp4Zw`c,>jƄRb2&S6{[CGMG٣gAk[`o O$E:YGjv{،26"giЕYU68r+!_Mjτ.u ű*9n6.L,H F#ii"Wd|\*-gT uՎJDv-e֡f\kGQ o{2C0Z4mSӚu]^FKGN3XhT&i_HSώ>[ʧ'Rjp wۋL]ܥ<0mA(ÀZcSTg #.m\>+aC>6[zIv yK#ͧB1: )JHPqz~LO3ZdFƛ,FD{y7boO@o8n84 D''>ZJQ}<0y6yD")p.>1Wf?):#q6Kxjp`ELT`+ N k*m;N;N1LX$BK^Э_!ev߇5WKg>e ol jwَ~F)0Wr(IQnϦGk`&кkqR'츐4/mfF.OB;$'G{_9#Y8aTV=t$uv嶴ԗyԒh1zv'ix-Ss@BV #0])5pIA>ŹԎo r=|k.M7Pu6ГD丗BS!6e+-5W ){wo5$ŠNFՋ;:$#e*9a*Tłc/+P˨efʌ%VË4?E֎`}KiݎzF84GjXY/)+^pޥ7ذP\܏uD:7DoQvgƉkYK~O3m^,ǺsZukhᔪ!Љ.-<8nưdPo9)wire' 0xBhBkҍ YK7aR7<ͯ_i nr޳15O[fy/1TNƉvўMe ]@ CjˋlJ|s$d% .:^1*8 UsķEqK68wYgh ā>,9P\f!tP ɥP :B}LIN+$Ӽ%/]+ yuȩOfo@g Lݫ+_`>zrbX#ϛS Нj?B  :Q٭xpxM³2,T i}5qㄻS ڱ>tY{g塹Ջo ]V &%u'Zٌ7 Zj~unPn4>y&CRUr}*[+ Ws'``NIgjn6N_"Q5\$ Yk>( Kq$ b}}eywzxd &=bd*t2,ôf|0q,J|,نQս4/1<͕?Ft3WSJVm.f9mSctP&GyhOH"'SRbf|cUths_%c{VZ@#׷<'D|u3-Hڷ>Ƌ.&6ē֚&ݞbcVD@fgPa85~e+zrӾ0_#qtLP@{Q\ͯtn`VfQWy^" sÎ\ *aW*)!kpAK˳\=gY!Viq. röقiJ)EV)~syy]b`'*-)*u˞306u_ -y٣,)lX>٤me''l,u5l*NޤZHTz%%{yaՆ6|-Ja|8 )Rʱ9g0쇵N Rd[1hbZYwwߡ[40nf)_=wsܰ !"^ at8+^b}+ HryD::^4~`'u{bꪫC!NI:!d%^HNmְLZ^WS.y9jڳ1:y;nE A3D*'{ZO&iI]&HAC[6M8,4܄H)Ɖ W!i6ӎ3bu5mijNc 96]N_qk!Asq6NLbwlK]3 wr)$1a-=w4Hgn5_8ZZY5vZc5e'{?x-J暶JкY*r a-(Nz O@cujJ}>P`11[q@h3|%f}b:MYi{ݤ7oYИtYrP9IIb қ[yu0OpNDs=OjHU R_y-}@i)] T|9zˮEDT>F e|_MjO Ί;0soǴ[7LH#a(V`ڌÇb-I?e0/" Bz5|*7]&LxESϘx#S+ olא0N4Ln}۾"alM9dyzy6j?#]NΗ Ӥ+ydnFaUag AZ B5R3ƫ]mlՑ@c;lvth*>Z|Q^]Jн|{H#= R2<~6|E_ЄIg~I "A(Qqr^\67et[2xa]FkrhZ8Om<gMZI]Sm|%ŔڌAI-M7WMY{A38~N8߹ ٨V&(WgJ\ ]ۥn3uty0paǤn-àK"˴0@ک.i4mt{Ȣ')|*W?+2݌EEjV{|H:?W΃pA7D)6/Cyu(?{Z; 4$>$M򶷍H^͖-v>VCnt}0:ٕ'c-'TVCƓ%Ր81?v{!綿JG xOA? ca9u5h?S"ZMV-Hgj&a; Xe.ěǯ[y J-H pl83J4]gyFyrJS%K6AN(^Rڬ9kt)UGvq.9uy`7t D:]9t0XÅ?TLCܧ"|@y{D: /:3ѐ=9u8,78ۃkq7B\V$ w1O4 |>碤Ӈ+udQhD2H p'$K9'W= ?pMVȔb^yE`eU騤k΅v,Qwk\X"O;EQT !G7pX6x ރ7RJJ-t`O60O5Z&rՁS]WUKCJ$h4j:ب =$4!DD`ă.`g{8 s?XN TY,:4 ZpI?]ۍe "X1Z'hZ-Q/ x^0wsҭ2y_]7B3~ yJj6Ghf*h,8n ~!R3BU a^ }%<# C?c*o4%ˬd)o;n5zJs^t }Յ(o;zÌ$G3@ MΒ枤U>ɜP9"+*[nFeuR'~`3٣ֲ[ׄk3R#$óK ޙ4;i;d.Dj,<2xg]Vv_Fo`$ey l2|gVge :V kڡ'o^m_ÚOD\ҵKAqmآO%TA@&n5,E@AtmO{~nQĞ{X1P Sޜ7`C1Iuua+\6#zxi_Vd g?4hyv◥Y_8Gڔvmx((/0!x|MXqkq%_$bckH5KǥWT`]kX)sʽQan}B08w *t鳁- H.z]qH>zs;tӂupxeYѢo!Ϧ EA>=d ƞo]Ku2͐¨f ~9߱ywU@/ laX^v/=[σJKNSu)_DP| V%R4W9?c䬡هV(?GUĤ&F4 zG m;Fzì;ixtB`f> % %8WF25iC8T, uW ˙ &'q֨PfkC?^.rc.8ͯ:N_Un%<ҽ8>R4eG<2uH,)zb=$&?w+7lphY,gg7(rƻ2-' i\Έa3ٜ4Iq SSXu8^FB n "5_uZu*Pl& }RKZ F'at~s.qޥM']MtSWZpf!R2Nס]M/*XA5UEĺT)/X d(+g~/?ҹ=v.y%M=c= n[o0S]Wc_5U[*,Od}C9tIX6~*=!yu35`~,LyuIU H)?K j8*C5v>G>A}bAcx* zė.[ijAAgVl!]QAz  dP<7 kNx|ytoD1 HIkAfL'pEH._ԊX ۈ9c*^$ S~og#~&|VRlJLDaŰr[{gw(4:7Wښ_(l8H;+.4^`U )Rn M=@}$5Pxd6Jc_{V!yrU Sݓ-<>RL1aH$HnǔYt.[d}|y}^tM8{k#nfʺ5iQ^-Y<ĜbR*)iQʙQ`A|)Կo@S+ d#{.Ҕ|TaZpaܳ#ܰSF Ѥ3UiRk2_è9F) \\]$0\VX*u- 3FƮZyebf|K3xY4ŁbαADQ] !:h4ug%T r%XVMk;֑{GnJ7%+> q #58hUd"kp )+(Nj{. yzHRL?PN5)-M:AjL\pAMgF.]9urC)YI6Il96y9坍ȷjB/rh\ X(8$ &[6xpBm,Ws7(n: dž9w,eד'\zd*'#:S辅H-PJ}!A< _}(GT3-zkkСI3 ^= zcꞞ:b:k]N=,xBh@gak%'tec+R?м'{pHN6:L˰ˇe,2cox97=.zڵ$o~`{cFIw܇*\^_L#e»92YJG% 'A κy7 Eu]$*07 8|+ a m]6`t"ϣڏ<V^JORP 4V5;]ţ!XE;' #T4OXNe[38ƃ!p=x8FGz1enCݎ2onNY(hѮ3s44s>G)j兺gw<ԔmUw}ȯwmZ+q5_f<p#u{T~W"C]\M>y|dž| ay˿EYaƸƉ ^`XqEek?CL|Krn\o/̧dBR%{'%Դ2r/L]u;/~ɨ: A2;8} 0śɉ>б.hY^ |t=_dʄk?h,=QAo0߭Td#[6(!{T8=ȝ`"{p2|Z@sjCۏ(i' '@*)^~Cہ#L|:\5;x_ "LJ\ol`1]y MAhˀu~GVkC.P[h:}t Q!U%4H[ 4Ӯb7hL[q%&>/ݸh3_o$@0[i@l-Mov앤1_5c $J&.ؠ]l-ΠY`+DNN(;^yƵd^Ӵ\u%ٹw1\hv.o /9YQFũ.BL6?Rrk"l[ρ.T%0z O]Lԯ`@Y[(DF ~bx۴`v]>#ޕ$i+Ɔ65Z*X$o;y}ptBG{y:՜ݟ 2Z(#ijl8|3UˑGO Ki0*vٱ'mho΍t0`E Y:.=qc),cɁmIy_1Alp)椰i{%j`ϗ%8Kcܪu { 86<\vyҫ~w 3>GvhXTzBs$u ~ubLxbMݓ]2yXlv,T^KdzZ*,#ޣ#iʅv%S.1|R.ʦ* <h;.z[]K0՜N[޾.ט-=ϻ9} j-),O@`]W|vife!nО8X/0)l{.MmI0cV}ªE,V $lG,ǿŤ'T8+><5&T5OtPLGg_o`A$ě}E LzKWBĕ=%EN=LQL qΘTj .?贤œvj<"kf%vx4)Lelm=^\(stEX|jgن=Tx1dd3k=܋7¦`3la: _y/ #}E6 )g |r,cB;'8(S(у^:g=ج ?%8: Nx$'I Tv뙮m&z]8j&&\K*-&Gdel/(ۚwt]-Q G=c wgYZ 5Ezvz)k9@ 8ILhp0لAsp;$?SрS7E?l!}Rh 둝 1P265cDaS-ߋe A?Ӥj WTS˰":F'- R'&:S1ܼ4Jڂf{ 2jPzA0_fE-laohfIb~)N:z(2Q~oIH-͒ xhbdnHϝh!kf FD-k>|]a(R7(MxeE} ٶΖ/p7$U*2{_7r9>eP ]rtue+8>3P k#]>I l[G|:a|y~Od̼J1]T~30.,H|i*}!\e7'cðF)/\9.hŊv I78.8͊|c dBAD`{卩mEWWŗB؍ ghtL=S m^1<_tp!EKj^tZ=x1;!M͇pD!EGg)A\~mL)t\Z'r] &OA_18c'q5~ Hϰ^jNZ+|`DDM@պy<>?\rY۞%TPWkVGf5ˣ;[Fh@}R:Cd␫aD$_x*M%>igRV x SL8:yե>/F3 ˼HM̶j$qǤE SVp,k(_2~#-ҁIĻP҃v- 0UC[nY sR2N%C`f6X y&kC<bk,'oJ}"S?k:gg}gZ`ЧblD-wW^ qSxaw| w̜r۰V_S* .~jꡏS/6 \訓Ok 2|c%œ? '/ihV´ݥZmtzAʆa-zؖ7L bg̎J5_fhU|\2ي83I}b'"꡶?fr3zlQ-TCL2F0DkA0ޘQju|OKČk]4FV9Cc|y(ƩTvX]6/|; Z0"!ZF{s]ߋ%3Vö6 B2t'(yҌ#KmdzTҍ%;zVp&;~Ufp ֢[Qp&c {HK`50 k玔EdѻbS 7E8`OnI#Y7(*%f!>!6/&oW@?_ޘDrcalFp>>0Q^\LI>W>mL;d/ w>k' $ZX46C mf-`MzḑY\o‚gHTv|NSb_QVC"A9iJDN9u]fpP{Kj ؙuհZ#Gλy`G#ɥ9+>`/Hq٪%k@\1V׈AGY%!/tʼ3X{kt EnE7#JeZXɬo`!/[T[z֕xem8ZEcA.vF,*HWgVuIj*UM8\;3^vT\_ZZ3=}hYLwZ,Ո/,H;/f[M1T-qn( N?34- G mTvS>LskZ_^vxiJ)8qyA"˿ߵfBmZF^C{m΁?P/ߚQ}ٖӲvpڮ}tL1\]0L|N/s54p"b@ݬ pfR)"U@ۗEbzxbIo}mvR=ӒۣeamjٿXuVL|VԝTWu;XM|,z}wr|$AH8*Tfk%Uo!ND2^CDV"\z ` "K]` ^<$zNȨ1:^^{@ӱ"s4q9E)hPvh<-buTYyk&,אKf+C_sZs%J!1JZ<8>T-BBJ)jqVt L‡f8jo-_5Q\+m*y2ȫ#R˂0?(SvtZ4!҆ :'_[Q3xh-b턠5f'K?xǓbn.m<ƶSfy݈%H3>6f>julԈEMv"jG:v@}k1Ycէ^}6Jބ;iW L$ሼ}t:An&3'ۊwǣ%}A/Lq _:$PtF\l,Y;`ܲєfn>jkϟ_uj5?)D{.;xR,Vacȷ<&HGSێYhI׏;]cyYSY|~1gz(鮍J)uZ}NȲcW[͞tt}dbV#"}h5Ay[L@1 jzX$?'MnC$cdl _F*'As9wt,m0{rqg2mA Z w% GqBKϱ\{'hrI\pY}(|QUg${7[vn'UJ[XzUYH]j.h/17Uʕ J.Z |CJ6^#cYn+M9)dʴ(ly:wulJ $ v c}m2ubt ~BvMHB {dT +sZq XFkC "c%v(^[x11 ybP6kݍ{%vw5|FZ)4WdE80?>`m#8)W.XTxpgSK%ݐ } ,9Y ~}ÀM H0+%6aE<B_cKfGbQGz>$wA T'mdҤ^4nWrdKzz?J.wN}P.Hᩬ~QMkhgn-rb2g +DwJp\qt^g!_aQuͷgattypifZJFCt/2jGIώ^džgW=JQ#י3!vrE.%+^(c;b8W!JSeW8Bxoؤ &u"S 7\L} t1:z4W:5z@Mp;ݛ|&-hQ"VzVxtQL-"U1"%S.][&Bz{ͳ-4cƚ ۝ݭ rӨi^ I?Gc^k3V:}ްڢF=fQ3b;ub3ˇm!J! ;Z冟Zuehݮ6۾L7P0F[g Zt f(ӛ] \ܲ: Ê|뵈都,$,CֶKY^A8UZy^1q"6T2 UFB:(JI8Śk:Jj`l;1b!)bØg6,~e:gDL&5[\G#QoAz҇4 xmUA.ݰ]jǯ:-ƾP_zA&A~_ɕ+iAyv\CYp e$‹l.jBdq[\UsL,8k`ѝDZ#<,?eFr^RPK7׮c4ҭ$?,|-ޑ,5ѱp̕> ZO /cA ` 'BK.h u,[ڡb~W4Į>G =Z2I]=8EHO3.Mp?ή%ڲд4H$hWNZ>sT#$%e>o,?ˆ\Ef\+J3|^o,ϙ&͇Qh^ø|SQU I%oHTB t`qߍJ1KUhQ7nr&s;crl`sfFw P՚"Æ3q69zxI%^Dr (݋w?Vkj ܌d}e "qj \E#Bd<~}[Ѧ]y@W"שQa'z6M?J05%74do' k0CNIK|C/Vz/e=0#ky׉.Xc8ӚEX%"ʼn`kX߉㻟rvYšAa4Qaj>o=6}aetTٴ^:irTw')x]̬b%mnҍt0jq+t&)JX"2(NKՔuFbo>zEB t(&pF<}vS<\k%ŶNrjŧ8j!r|uG$2וx=Oċgُ+F!}`=vMq+6mg9gJK#=ub}YfIּ⭴ECkN;-EZ3i#-ya\gM{JgnʇӈKFwmU8B֬4ǻtAi5*ɯ:4]sIyvU屇~fF`\Zw`"5)x͌o5ɌMڂ[c䏄)eM1N^ݖx ˧h~A;c7[t:T?T%.{I]YwٿHkQr@(NSކY3_p InkfR]mh2rN:S3"sP'k lOThw¹mVl]함k&Twt9&<[hoak!t57:[ne`5cbBѺ:>CBN %d%. -4޲JÜƩH=D,X:( ;I5#ldκfu8$,W( OM7b/ϱb h^F1GFhi)DdHCp~ ":zϮdYtN|0?s ,zؗ'@\l~A:y7qo}\N/crCN(=Eq!lxﶪnS,ߝTur99Lrc`B2<Vv pC|˧ -BA ?IKpÕ9k NauJۘ|%'Y 퇑7_u]џ-|GA=va$CjU@{ PօXa5_;aTALM٢N=s Ҟ~x7;AyE*= dヱ~2joDM9z:Q8.QSbߤ`Pk ^" ;`'1s("k8-#W,rѾtt:,25{sW~CVgVwgK+%}^O3_S㋣sձ$-? f 9V ^/ pX(7Let*&U'bu8fND_ti}Lz1|0QlI,  oEmJ{eC>tR{?{̌2{R,f3IG{UڃgYZ LS('0OU'Jm]LT<̢dĪb9D ~ٵYpPqw}W2y75+nس>Ζ0D6arB39R ԘZ_}]?97uAIfdaR] 3H[{AoQze6pZjT{ DILdɢC'l28*{!sX&F r{Q_Jbee J'w,uY%ɖ;%;C)ES p&W S0-.q8ɳݶKmĞ|o0wtdG8, aG-]|IP4/a8TҨAʫ{#= ҾŦPʳPYKI(L'#b_z (]| (-r@ʔkrK_V'}huȈK aaiD\WVzF[ࠩz{fd#oVdY yZBNrp0%G0= ]0xk٨p]lV4j?,<ѽKEAN>$S7 /! 5ƒϧ/"7Ee3\0w`|Jxo)d\Σ8-aΆW*xi<C]vٚ BL V(#s (˯Pҫ !}H}h]al DްT1C8|Nʺ$Fل^ {(M)O#v(GND^buN}$<*3r,R}$ԍ퉀>)V"5_}b*^J[Cv8dN=~FlS1CGzQ&)=?jw,hsp!|®% >B!>Êb})5w;׆ѧa47Ohrjs<2Jd]vpvhuOwPu=zr~_I io*2 SZ7+Jg#>4 z<@ p_OdםQ6 cqfY*}F.%&9 ݟnɯN6 c||g3=86^)S⭊b+hĄ5c/qˤƊM\i),&ƕ0rYXŘr۔B]ںHnvvLzxjxq+.xpYLĺ;vp! j7oϻf'ݬ~=z'бʹovժ"fmK:%O)1ѳFp /dsǘuSr}oRH_Fw%!{ݮdwUG٠u /HҎ8_%chmR `@x =%0+P+?pxwk0eRlӊoǸOMсbP]KkV΅M7W-+- \ ]d=c!P6ueMeUH"'` 1Ȣmj.݇ĩ ^08sǟ,.ЬកRV Bk %+ZH`RC[Ntڛ` >T'ѳv6mPoaFHHZ$>uOX@o{N v5A>`vxK 6Bʽ<6A: Ѩ|^S'E`|=+iDh}ot 1(|}ݮwÄXOV9bv odZ wHQhc4%V(@Wj5$A v^Fcvok|TdJ+ѕ5i L: .o3MN=XuVC}v޵5V8p۰ kŸj79b@]ԄiK%g7Li]55/襍ron*<%?Eff\`^<@~j/9 jn^T1JwQB?뛐ӹ79bB.y&$ǩkV$xҩUUz7B8<-iЛOd[o3e튓<M:^/u{#&pJQ ac5"c/s`L5%EI1~2 k(O%yOŮ4 _PE}V>נPPx?zVr_pZB895"i ݛg@ U!:#o.BM*e CgT r~iU?3Us:Tlw4'qAr ε@”KY /7UdS}!4 ݜ !+bښ0? ь%و8Y`&BAWPC^Sgdk{H4z;N{enKBQأ*߂JOH5Y6\.rh,1JEXw7pgP0|u3<"kw XCvH68ۈWQOVo҉%]GS|6C1V+|θVW !a3\qEГ-HʀՕ/D_E9wҶ UztbI7gиuZ{SkOe~-yA\b1ڬE"_/ҜixN55;Rp176uv~~ь*"B%oUq`Y(Q~"B< ƁSm豐N":F+dHܶe7~Y4rmRd0+\|RcwծͰGh~_ruOĞ6kcfro 5fs ,{e]$C\P񋂩Du xセr]ȀN$;+-M@ݔ/@Pmᕕ8Nj=FjǛ l %k#Gn+*P*Vi0nI4_}~y&}i)}Hk/ r 3m\v_b𩬒?& KM%(8,TpyF5#t.s@[_0 fQL¹6AIQ\K e6\zܳbːG522jrb#{ϠЄJt \ɗk>H/N%98YQe[MNJ@&vIk*bGG0ۉ!xHoChmx3(6S*gUG`'9nK*65L!t]Dh-B>30N ~9hp{0z;ᘋ1ѓ YXRn9Ǐ3ugj As R6Np']xo_B,Kk_z2f|ʯ$j/.Kɲ˜@~PpՕ]C/j<یn~7md.oV \I`_D4j;b<{/ FR 7fO*FyE]*sId/B: U@8QWN&|-A v;>}FJ(ibV^9pSBDܣ*kUӷ ,5H7H?Ҝ*">w?VN Em͕$ݏe{G _-"ƅD)4=PQbNomxY:!eP;0q ׷x)'ͤ>6oFA kk^Ktr˧)[=E3\MdJQ+\,DZ)DRj}~CH$ۗ/S<б_0֠~{\@u7${$ߝOI?6ڄ4kKz|N?)ؗ֞ ġs۴qS.lQPπuox|7J .3-SΝR1쫧-]EhP|} ]p }'澺܊0},41.BsC}ԏ2!rJy5s]`x3Sb};Ø7(#|0`{WJwSwvl?K?>3 bW, [i\]'DXkkiIMܯ}$6J.އ{wNc0nhލuv^Ë 6a3rOKm* 9= ^`ǢC);{t?l #}jc)/< T؍f"6^\M҅sWZ5vϦ.À@fHbz%6F)wd"g2Zh]*N^b&y3{>$E&"WI/RѥMTl aq(hLA?nv mB3yTH jYH8gmIK̙IaɚPb4vM_5Upu>6f& C ?Y9Y>ײTuL# >D~FJ3s~ ,\e$5H§051 pӬ@`b V1 gHeZI,Ɩjp!YJplJc,o\]YMĮ4B!}K;BM i7rh!'f[\C1t JVZ͇gn5nសF/d.Pn{ GMTVКc\[^W~OI qJRYj=IJ\TƈAvpv{ԖC̜dϞ *Cr ]}S}9ZO'eS 8c𸥼[Nh6DQ$ˮ֙ NA\"+3dj= #K[>-Vrq1i5^#i8QN8<֍Ƥ0R ~ )}Z F'kSԡ3&zΗ$3«IXoWWO`~!fOF*Y_F-11hmp]|7, ʪr;nߪ$FW6~32z[80ϓ Gbd˦gd}LWQMD.l\]9d,c[N⻈Pxj|o6cDtf-:&CdPi~ʞj销Ul,ԹK R S#Hgx`;uA'+ZD {=”Z46[=5B {Y|qǕjЅw&l+TB {Fh6B]SVM?7]>ӲwDD]ԖWJSLuue$f:˺ޜAް|W~?"ܰBˋcȍpd>#\'FM0#e&=8O29t.fWE-WDu 1\/}=hUzzw9~(\>M;-r:-oG(a;_w=6@b]Zfɣwfm[(x2. wE{>#Zbagu] dMxIedd$[d^3hVb\Cw:4wܵkI|I@Qܫ'bHZߐ+#/{Bӈ%L&{zYgDk2sgh_ڸދC"/ܐ|{oQցmDXm1|&@p 9 yh0a^/ñL|^Aޖ[ ۂSf,z幘[/D7XgM% gZ֏y| UB=)qC3Mt(OPnkhGl`z~fD>ϲȒR_AQqI/vO:5 RQ;^JXcCObL盏5'[\%iDZa̴ҷǨuX P Tځ}9y>'<wLȧ5ܝE9 ]  '5PR ;K)}*+ݡړ92hA%/nQ80-G0ـ慝?8b]  mqޟI/~*0\^aB:wTY7#ƨ6P:N<WL])NgppJ95$jtXbUǪXz*pS$X{By}+x vt;Hp+s&`.؅Sg#9Eyfr6:<Ch ٴG"Q̋{m_4MsTuZCyS z{p8iПK]=eE'1DYiw=?R:DÖF .A4QS,.-Tϝi `Qv`Q猡6E"RkT_6J7j I(ÜڛgS{[ 5>K!.F*B]~$̩ރ:-k:Y2)9ZBƍKq nX,tz8GL&n "sMN" 0OICi3[$=8Rnhݙ˞/N{#y\0m}ۂ~ȋ29cJG}wUsrD`{#K`,">TrF'焜rA[B{Qqb8յ|2r .l}A7> $ SR^]]x5R. huUg!^`m,ԗrLDG=u;#r?~lVcïf]BEN:rx_tjSߘ'yyǼ"v.97~ml͏"Kl+w]ZZCBAM9jSL4 ^,TGKz-uVuPUs{ Bt`-ʷg\'o^ko!j/gC+8o>Sb6V?"4Q?"pIh @Jl*΍͑ #ok?AVQ*6ɵ'R<8iFLUmo6~`+_XqۧESKr[')>81ngr[L B)oDANmr:PK$<_%,4"ۉ^ Q2qJYAozCz%'Y8}+|^I_;$Y^@?4

U'9ˬf`ܺ0b Yی)Q"D(VBnp`aL㑽&\gEá"%81t6Kz[2<0:sqS^[n'i /qvw<$tnoOH:?jU-pyiH/)  6VT0C!E: |ypb׽Q0>rYȎ c;*fӹm/Nt'DI 7ɼPxypVN rSҏAƛɭI 4K0- [ M+ILj0b͉l۟v/- lz0P+%>d 7q{(%{kI~h,G7nqn}smC7.iL@HGBOÑl6ԜjuiVGǿ.eApq'tf HQtTU4NjڇJF_ :#Cȹ *>V'Ds,p" D%l&:dd`j3 ҟWX[Ǣ͓=]^#~|f#CNHƍ ^Z`|D QTџX f.g10sӻؽz%#]-_?G{pB鞤ou2 kuF =GMfP5n=n5Pr{wq8 }k>AG\sb-!fvn!%U0Xt02׵B)z9`'WF ?Jk+%b95P5l?fP&;wM^pr%? `0uC m3TOYc0q34H#(Ĩ EH00 ԏy:̃!';c:(`Ln<) kAZS@Y]:yR.%-{EcsU!s?l 4nc)1,z8 wom~Me#(XWI eBĠ* +-_4Uk/@[]-nɍҥ~yT*u&J%egL7.a$nZ[0{?4fXOiIlDf34Υ@s3?NRGCzknK1S'WNs96>)3|i9&ځ "d$puA^PmŪAr\W3. mh~q+]+=0;2 zpzk6d!3r_e"A0Bi$.̒VXXzeOA }7 "JI`K#IU{x-/RJ d2\m֔7/Y֤cXe{SйX\| %m=T|]' 9Ÿ \agqGʊ>J/??=ثp^!4ZwXΔKM;I =E rwlsqt3WvIӓ8(n- ؐsۚMXadQ=X@6L2h15pt+ ?π8n! 8n"3=V0 ͱ~"mg|vjzm DsL(وi%H_;04η:H /q%zX]^WS|Y4dhebl8 Xּ%"F1 Ӟt筂wɂ_S(5%l|/]wmc* -}_6X}.N OОH(N.=Rf&Sφe ; ֧X }uF#bSmT bxJU=O_~y3GC;k\0oðkXy(~'` A@,{<Gs*`znx\蟴~JwjkA-yFqڂOL \74:p(67dl/KB5R:w]S*(7)c9X;?9p$mq8~ne9P8 6)+pAOQ]R@+}:N6@'Xl WiL0uA4& n~Jr=װaިQ[YJ65Sc[vI2P$_3bV̬ hr==+@ O -gQlZv<}EKB7 wjWxăZAdAڿ{k^Ԝ7B_]bx YD_\?梋_#K_Ca yl51Ac"3ǵ F]郓MWq y%FM.0O% Ui_NGT)Qy+Iw/E 1T彍jÔ2iAֻf '^֫\&MHR^8 썶f?T ^5̫%H?EE|v*jlvHZ9B]26R`NH%fJ;\r$T:: $SyUY1l e VO^-U@BDa7iW:o9rJƩs@4bGyeDrO!K> y#fbL!|˟3{CK$DG^ɡI*wwu%I.\ǍœhPWEQ3[5xOpc tEL1O_umMtbUzL够s"l .-ZJjwyV?A|crT~1~5MMܺ/i:w(3'D'KMpMDtŬ?̝,?Q;}1qf^xH t/uCEu G D 9?1_ý6)ҨMr3 on#ʮ[1=ʫЄBnJ o"[e *E0=;G=o@g"e|ʘὨۼfMcr,J`Lt( T li YKiu?v >^׋U~"4|3% ߶jd 3 '%Gp9o0"FX3:rf#Fu2DhIarye4ovIq3-yx >($njiPo[)R^ }s[н +,F͖\N^-4ê#!x.?WY|ŋw#:OnwsMrZrxQ ,I9,,#' 5+ -0oK[|ԸY.R4xk`ꚱgKR@auQ포b-Tm3@+ÆCwE *BYvh /և=-\xI3o$f^Bs C$S!`K." C&([er{5JF7A:n # h]^QΤ W`c5c6ՙĞO+2~zρZʻ 9:<2W%oQ 6BvB R:WR:nOg _56\g5?9)b$P2㶹Y(;Y*oƭzwY1i$ޫRR-:Mbzrņ26^5VzoAppJHyIgԨfG)/wT&XމKE ~F74(,&pi58,[m9gP쿍߳uIYŦW#1R_RY9;Q2qޗo/$OyJ7ONqx#]&}ؐ4R*&U:HeyUt*2}2F°dND VZ`IƫǥL n <,ZysM?>vMܙI"2!9XN4-ByD]U;(~V,]hKQzT|KSG|F98$;@;Ym@8.dƒ&jY"chUۊ35`  żȚ:ԚڤiѮi+=%0l&~; I ,S9S0{sj 9aL٢*&pߒ3JP'IAڛX)%vn7!' >س{(,눸k=)͌@#%*ž/nczdElZ7hu"/^0][=JD~(+jR3Q΃؋D+&[8=#NE`gw6yמj"U3wӕ+P"izs*3.C}KF(GV9, IkD݄O^>9 @SzC쭚~ #o\eۥxU Z1_-M<!H=Q+OA.ߺ/6$iyCfHgy;=; "Rа.y!Qvz:Hc3Zd1jI;gD_ x'ɴǂܹ*n䛉|"NUcIһś0#7b{Z't 96)Vh)HငSjoSdBŠgr'a]rGЙH z3]O"f׈h'9c6Q$r93bQ*^H;(DֹGݳ(uF!ȸzkK Sdb<,h}rՇz.t+j0o|XnG` `y{[҃m&+3`sd|*TtW;hAqlcT%E?^'r"GNkXAN?BGVE,&}%S3 -Kqix)*̓ry6rX(bzdFuܨt(t oIX" *꿭qR4CL +@a~3_JK7!fNǣ}5OOk$pn V ̀gq\oOv_3ɏ?%{!E:+.[?ΤOW)Vq֐[]qƘ. 38\BQ:EvoCVFkj$qYf];=yD};6SR_B5?aEwDJdZEy\v㩛. RӸ9#T5~(6RNlUiBƑqvcxzLUKzP }{@{?Y!:ukPmU_G;T&yb]Ív: R.mr ZtjNݺ,?gyDEMMu, BM0C^c:|c.߉18yRޑEdކneϨ"xX"3Z^E־>Ng 1i1L]g a׵aH*!BNRU0cC"<6R,ayID3/~Ş.]<2?fLyI:㩝&rg\" n?|ȋn>-)ur]@1DW7vEs9Y%N)*)C]krR짼Av4ھ$ʡoҌԋz是lO4ը/ p?уdjv//H aۢ R8li$EA -vQ<@UA+%tw(JaW i^/IόK+zOiVN\9wDk98IXbϺa4QeFV}+IB귧hPjlc{\G$ͶZ9EOIiGx E 9BsQcji'5&DXvJxy^5/`ςmR^ȁ.UOGNoЋD#ReZ]œWc_ȹc:in,C \JZ\P$eOcgh^ v2sQ4OE:IssLjth,%t`{?gZC &,t#<.Zcv­ci, >SQ|ܥEdL'TJ lE4ѷ#UU_^NX; tZfYӖCӏLy׊/_~nQi^x v % ѬE|Vxh~ [nTFzBrw5+j JUu[i˃Cg]+le=sH%yuYԴkNw*A=WoiuaB "⫉KKR :[eXuwZu^X'M%=Y3\#__q?j'?r|72rNg|HYڅZby3O ANGĚٓAMDφ˄ž*w9aOq{2_yh,K{QڢRBZ՛k,Xxkz7cVx݀ bE`~ō% u!MjŌ$O002A͕V|Y] h:)lFU ǪTQQiЪ$=[? L7a.l=2UvE?.2(@;gJ=A|>% HkC}JP*$+y5`q off fCBssExT.KiA;ߐ~C=/tI`tdw/Q_򠘛@9O 16QGZ~s1/W|@ ) _(l>"6(z\Wdױ'[c.ޛ|S"OS&חBލ$"SiG 77Cv]YF@  ͤ_P<d~m1zY0mH>s}kzeT/ژ+ &swVd@$桁BOj}5Wf T,$pZ1PM,f4{Thi}%WAn F]N29e 5"i. peFoDQzdRtd}w$Hi+F5޹@!6$8'S* = o91 qkXITܲ 3%f/'K/^,10QͭgS˃3ec.^SCK-V'~Z v:?.M|g43W:0?)Ұo`ձz{z|̺|M+3b/'92ؗ]\BnqUllX =hNzmz YT:}GΏcˉUU~οV$nju0Ax"2)5*|`6Q^=CL8FuriizI o!QZa7Os@#CQ;4eP/-%lvq;@U"?U&QH1U #ʔNB<0 λPK=_AY{3)UDFO TxDcf!{n*PCODȴIlGǼbd 9 7&IJh"M]/}-IqIArlYASaKd2\uPƨk<6ڒ߅ioUv? LSg/7|SG>rE@Inw2IOH(`4ΟORHYNKG,J NKͥS-ɘ|б]+Rl( J\C'W5n3'I%|;@ۻ~赎zylYڶb,ar,Uf/2?P[W}GZפ1s&pwkfA#Ax[ ^x͆<-3E%Mj r]SG*H)؞oc:Ʌ1{9 I4n#.]>fTDy* },K/|><}˶iD6H)Ŕe;4lI6Qk9%$6])5b ݌;!D`£GE`8 Ћ/5ĦN*gVZי;=oAm.N5Yf-8dWB1pff ]+!*𗵁;&y=Q#P[X \ Cva7Cŕ(5=j0bcJE2I%zի%, #;kR;Li@bBI˄Ke$rr@XIK<ǜQ%?3=0BO,0>>>ql-s*}M ]i^f(ޮ]cwFH乿y˗FĆSP`4tyZ}׿yuD dX+Nү.'*?g_PjmO% 12~SΖH0aU^`C<ڙq%EO)B!@rO8SG -E؏e,K/X9D75%ΤJަ7АYlZz|~oop ynFp`B'A >>YyDU2^G7\k{H6+Q\UPHR9+#Ce_A:>YS N}<Ԝʸ®GV#CT-e\ԫ|u,$~^X8MTA 7d?βc~GUP `NYfN\lyVK9ZC<L =:WٕfDTؙDy|M .XTӪ!l* mYx7xfR?KJqFn1 Ţ:A {'&p{fU~_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 ec7 h-U% LLambda_Free_RPOsLambda_Free_RPOs.Lambda_Free_RPO_Stddocument.tex7zXZִF! ➵1]A-MՋhvG"uIBm5*o$ſm^>~_F4,INymvF?%O88I`1QpݜΒE@Ra޶IpnyLSL{LO񡭩;~κ" -Jp%fp4Zw`c,>jƄRb2&S6{[CGMG٣gAk[`o O$E:YGjv{،26"giЕYU68r+!_Mjτ.u ű*9n6.L,H F#ii~_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-O% Lambda_Free_RPOsLambda_Free_RPOs.Extension_Ordersdocument.tex7zXZִF! 7g]A-MՋhvG"uIBm5惒W''L, dwTYokB&**dr[IZqP&5IQ}aO4ĈεLa;̲MBS*j n6_'a[2=K9LP~0 Ѝ@*08̏,h) ^I6·UE\q_6vgpnEɊk{$$m88Wޅ.X&j"օfd}&q@SFqRQ/p̦u{wj'S͒'UZ_[Z*6l0sMI?ѬۼqZJyyWqoPI$b^km6nS l.ppOy'}nѽ@.0A_~lq̄8ӬJ%fI-\2\!2I(WIoa'_Ƕ%$^Yr-[@7>|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):_9A䧽:`7lX md2 B=@vjEP⢬4s`cI행UzL{1߳et5 2ݹ#ވ/ \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ƌuMuo3O@0)Lʕ@gEb5_p*DsHo9 R )=#զ,TC65\jWPHa(Q3h0ӣ pYj &H{<0N=9fFc#8sr5tlO)qP}c[)KێɦmG|,▇rmAfM0%HoʬVawè5[l4`9F@/BzH*Ƈ/gzla*b~Yи`=R'DzV>._l+Lؿ~%ARpr'nHՏ JGtJ2l@IPS&fߔv3RuKҚvrL~>km>sj<ŢTxO?/\݅$BKaUCs%ҁĄ~c~Y$:"暩fG@1sBNMzh"˅ Z-MV>*CK3sZ6+J%5)rԉQ!00Z-ju Yœ +^ePMSR{h)EaU2q+ u4T2;UMOEP|lDHےE 'g pZ]kqOr?XhJEJSrkQMi>@*mȅdhuFH5 IW`v܏>94UR Vݤٶ ǥFHߑ3t@cҍ+~G\63^#aV&VXc\fI$PB 2U|Ȫtd -Zx@$p'OI$@ng? ܻ ` zW_/Oep%V̦oW ewˍ`Uxd{~ttj7Szۙ⪴OZC3)!އl? zVK@_/s3fK\޼1 J:`^&/~n j_TcY?`>C/Yvh}әem>BSLֶW'X Z&-lZGO-Vم蚎*(ƻU9Q\Nd?0>X{p|2쐆U7Z M4 3RslAuPXV3,$NɃhqD}M)ή"hi_ YfP-cz;Sz cn?!s 9|~kAǠpL/NZGC 5u4ӟAp/qn9}lGj ڙ?8m$Ib;jbUg*uef,\qAl"5 ReP rh?5CbS*{=F]o!o&,eZ}6%j{Rc3Q Km&H"$ U5-)*X?]Ө>6dzyFnBn4pq(wg~qy…I3hO3FCDj'?l,?\ϤR4e;./A@|pC+'*ӎV8YS9f>gi_ VY!嶼h=әKW@a}dPT"+?Sa[C`s2sIx_A3e8O'w8@dM:$xzg%p*< wQy1@4Xs*X)(>$eTqJHmhg;:xz.pw'ArDY똲AOUў`U<["7reht~&A.w:aQ[l.UkT,ǏY׳ƒvf${ Z|qIڤ+v5CǣBCo3'BH9Ci %/p*M.Opf8]_]rtͦZBw=dŽ/ M3=ⅻ }& ]E?` }@kiByRczӯO.yqn5QʂvKcX`ѭ{s_=Ż}GNIvg.fxgycþs++z~{pw+L1[A O8qq ibFn6ꇡmTkItA ( 9D<`nO Zp׽V}KLAgQRfA^'N`O=3!|Irf`:*v-ɋ=:DX%KS7o.۫Mgqܜg#-!D*V `9X×4 I;k9&aa=;_|NN  C#ךS֌[XP2CCzbj#'(΃9UD?;=QHha!;/Wqx\*몯2bWJlph-R=u&wꁐm DEjـŏkKIʳ[ߴĀ<ɦ8w;zrũUoeW؞T nM+W'a iRg$u"y+*tQ4Ď/8s9DZ: )VkD `Gv,dU' T۩3J,WݳR_Ncm\]^S)\!# N]d`U#Za:ɘoaY2!Jt-gŅs>pں,B1l K` ~r|+2iuh$"K<@A0!\K6]~cZhDjR*.`#AzUV{(47/wnjiz)4YoT +A`eaup:3s *o?jfWm?=I=ƕު"yPd_D v RDtOlSۢK82gYZ|"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•]דfRҤWs +p&h'Fd$=Eܩ_(2eh'q֎.`tr=}&wk4֪)į ?P\q~D/<*z䅳c;_A aTU0X?s$%^a&&GQ˻ƀ!Re$u$ɕj ^W&eFhPZ Լօ=jVҝ&^?_D1dK r-OO&›+=a*tnQ`)&ã_`W!NP[’a6 zN x294hJx4S+:;GbtY9@l q~ΈjU㼮:{泩t5ĵצcBaTR^ǁ~NǮ =.E SCѦm.3<fdML(3) 9ٟ:9yUhzdYdZM 2Fc}Vuf oߐ (ȭ&9+5̥m$fPV  rvBi<._:\Q_OɡjBp#d-qgvڃ#bUކ2&WuNN6v V42)w71Jz'tt;.3W,ݛv<|у3lUvI `‡\v, 4u 7=+*[m(QwE]Ҷ2g92ègYZ !X!,-O% \Lambda_Free_RPOsHOL-Cardinals.Wellorder_Extensiondocument.tex7zXZִF! 7]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-Y% 4Lambda_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 CD.nO΢TfK\ђsQSC1X1ȇB0J!C X:8f1HN5=Kkna|JXKs쌤z=|쪿k~$ 8n̋w>6`l ^|;ʕ.KnmӶcispw7| YzUI5B"TgcLMn# n!*N_՞1:p:@V:ݍzcL[پQk94GVC`QR2"-:oF_I,b&_I%\'ED6ݥX6󛈃.yM[jHAoo$'i1 b(Pt}F$WFv wm+ ~Y>qLqHP[c<߱Gނ{e:9.ϱ)hjC +_= Τ$ /#[](LsI ƛ+T^SbyRεhO4yzȰ:FjϠPW`D׍ .Dnfi$?s.(0S&y-t}5ź^(#|$iSz2YŧBx,r0FZ$yI|zF-N6z7;Nb{ٶ6uq< $4aR"KX [~^VMAzAM!1%RSk zEۇQ/ߞcs<Vd֩PE9n" 2C)^}'4+$[ [v[N <(h+49(Ǫ**iQRu<0Uf0nH7+}`u.K"v 0s[±,IZ?6ppI:`$':C!# X鹯^gFZ\KH;Ժ63nچ:uSo+%}])݁`/,ɿx}ra޺uksBMx-`lڮJ%zEƿ՗椊R&){VI*`Ұ+]պQ;!?7L3u4lىR\$(_l1r&teNhא1|~G,~LOid@CM3@ fu}T l:_J~~ix$+(۵!(Atp@WkďFZŪx"RiEg&Ve Cq@J),= ZF-jPP_veT*Yu.@L ?v`U27_,4N.wPBs3趬]" fkky8V@ڝ]-7 5J}S67ZZAi0X2<FL%:iѯb onCHס.IGw;۽FAfΖoM^ d.1q=#[oNLoa%(!!oa{uL6XxԨ=bJPKRfFv)vj8'\ o`ZJ$K3Fw.~izxl6;R x [V 4,+boF|+gfa=e_/vU>URke;7KvU7Ek6lvH1kZ;2=gv '5V@פDe>XmK bKmS>;jD_PT+G9Lbh,y[(u)c;ڶisrD~6 A6Ю@dR IxtJLU{tSRjȳ84yBht>MP߻}4[#n>"9*=/ TF{O*̓VPkD,!$ж!^4,BFqiKdEC01OQ>Ab {,9IvFO 5c!K|ˆlGmz_ŧBKWȟpR\b FW֛W^$3#\Do|Ww"NsBlΥ93nvG _1 t29 U4[qߵf#Qt0[R/Ƌor>.IU {< rR|W(w! 1#gJ+'ԋx/ÛED TR4F#zx~nKM|6O;5YrL3s<yg7^_ob8N1tbx6E\=?Yq@0ɾqä=Z!arܯP-d7ݳ]A؃aKuŀnX4ۼ!(dvBo%&&Y*2TmȬKű.9#-daq% o,unfJb=x!}dJ*w/DՕ޶Oa@nOt1,;%47~z2tS%-6UE t܋hpS|~۾7Qq7EoTJ>!`/!"~7\E>LlmDL1ۊj>dcVE'y,pe|%^Okƚy(*Iq^e\o叧`4;x8I2n}4$[jwA6XTmWIb sә'f{UNt i™bRkXzSIH?A=*f+~|&su梒^0ӧ#}J9H%Pl1u;j@tZ][p U{`FI_]Ze[ ! Wj̱>y,] QCKLXX>Yڑ BZ_bCK5RsԽ?0cW-],.%Vc>ܫT`E&~JEUkuh2ÅWAtL^FIgr{bQvx?MM z]ݑiWekE%ǼgYZER{y_ܩS@H= } ac(w0U  C噣=8hԾ7v〠ҹ4Hp6!w>nf @۬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'Ԭ`gYZ { {-U% ~_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&#Cp6uҬG޹FZ@u\7,ѽF ;c`S*b6$׬\]E$Fsɉ%CUX@6ήNW^AW2\2=6zo6 ta&4tG2S.O^ BނgYZX-?% 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 `` -O% DLambda_Free_RPOsLambda_Free_RPOs.Lambda_Free_RPOsdocument.tex7zXZִF! 4]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^6Lzj 6nV@s(u7c â;w^|Vqt67+ h!bf][~wtm~$M Q $1Ƕ?}9hEQ3fG!sĕ9"jm_r59/}b-{0- tjm\Fƌ)F TW> i;jBfa }/P%~ 6B"͠ag#h S b_ΖT8lbb( ,ߐt+(l$>yl_׈`Q~f1yMR21>r3_m};V?f?J G\w.&voPl{N0,Xmճ2#u5L~MC(OhC۴mJH3"TSRpfH'eL(t-ŀ '[!J?隔J٭`O/+rPI_ L1" YL΁;ׄ/9]tAgڡ k E˜MJ>>c{:LU= oTՎf]ޠLJ_:H&'e)cª2pǥgI~!f BSuVƜ,=_gz~TJ*;gYZz -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.BCQTOT>~Fe E5Rp^:]6U;,Uj-{KVeY/1Ċ95"KC= W*&ڨs~'qCl,@ص[0˘å?jO燚N6BVf` G6*@5ҥå' zl=6!1V HJU;5ېU $̍\w6nj/[ n\wREɺq-"_IÊe*6a:ikd YPoGu)KnTu2@;^afyҰ,EӢ' O- ։{E9Wn6jk&{,UPYFj9Ljw,zH=:Ҭ4:@Ĉ!ߵ&[dD9W,W)+%Wҋ b iX #gܳB]fuE M,>G%Uð(3<3zlT9O^ b38:UX^2г@y^~=SeQUbtEegYZ