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 3/t$D4 ] Well_Quasi_Orders:threads=4elapsed=38.137cpu=84.848gc=3.0887zXZִF! 1H]ŗXiɟH)0!h]߻wU\GJvy$BpmQ "cΐCQ.k'?ݪ!S$LOaLR>,Wl)r=g][{Z|Ae]"Ңgn,Ad!+QҢPyT .FBᛔ7Q!x/xOGKDl{[NAF/*6iSY*s>Y0"Vv736f5YD=!->q|2Տą'ԜL> 5=ۅ1haw6/ȞU_c46hW O/nwڣ ޾U6(\$a. f^H<$%զP5bϬvg;eL3lyU"iCLKS%=!'WOeMFj2B`ݘ XՌg_xtiϋ˲.-x 5k0# X6.6TLnNrhݪ0T** BP?s-גqS{+9;J"bS`)d5ĵ+iai7ٯG*puuO<~pb?xw@m R `V*=8یÎ Ɵ|Ù P{ <{*086KۨpqQqKvCJp§vqޗx p:'H9q@(m"8Fn>'k`1 k.RU :%n3Q6Ǚ|˾V75 D9mDRqi kDd%VV.NU3pph{L ِ{bw֜2@%4E~ <̫ 3n;KL nSePd'$]Xi3BRa<@.ʩ[!a~[(t%sڎ-7qu]a@Zj8pr6̏|1Nt%S = }?1KB#,'YL< =sn' 7XuW;́gZBkiVޓNpZ Ro't1fz8- Ο=ExBAPFڗ0(#,(XrPcjN@Z(4ВVIrgHp+De~[.Sk'YnpBI5Q8 ڏN6y|zaך{' 6K-&#+)֧E594oleK2U9OXtEPk4.WK H%{ZԲj)B+U(SrF}dni6"No !_:y #[>?ӗC,NAɝXo(O䛀<9 -o_'ݼXFY@/L!a:q ` l>"$X_=!3E6)u|PeZ' *;{LYl-k 49$?s u e3}6^:q.&kd6U`.w{r#`#L k5&An3jdc82 (+NJiNYX>Z=ԌsLq~ a" $ / Well_Quasi_Orders#, /9% lWell_Quasi_OrdersAbstract-Rewriting.Seqdocument.tex7zXZִF! Ậ#.]A-MՋhvG"uIBm5ȢDs;۞6x{Kf·@ ? 3у1eKeWHHvd=uA_l!g)̀R,­E"L,g*<@dBw$kEYW^{4 lv90oˈ#k }[a3*~̇k gedk,K/SArrtwRg2YX*檈C IFյiCfkfz;΃50% 8i3M<4ћnHۧ7 87ˋũW(%H~+K_)#i:lRcƷ$(Bpւ7t \#' .+Rv.jT+˓ml00unlu.E A(>SPoALjSiIYXhB_ڥNL!sե=v&,K ^ jU\:DG)j]sZM#4e'Cx*ݖM;3_39aO:⅙j G}ȓBTTͥҢ_zWͣ4B4~XF>ȁN@͖o9 +\qmA=Eq?o*'d^儏Y@w6ҶG AQ)2i"Km3 ۛV8UMQ%N^5ƽoIW|bԐcv uMfύxRyǺ9$ hh9&cZ /U% ,Well_Quasi_OrdersWell_Quasi_Orders.Multiset_Extensiondocument.tex7zXZִF! H(N]A-MՋhvG"uIBm5 6+Yl~ay',5>}]kkcTǖfA2w38ƈugcَF)dg^L3f؎s]~5}lOR-'U f:ϓlGGXXn|tI2SSͯ v{+7@}UNtJޢO+egb!@( /z0Ft'@N/N2#LL]r5ilD$YF ͉%xD] qg^?j7sfAuFj;W'D$5q]` m=9T">+ɿ;+T N}Yf54la/qhBx4'}hU! Q”5g'w=ԆN_u#dtXd|ĭ^fh ` 7$K@pHxK==i;{XӦa&oG iZۜUx3X|c"!@_d dǰ4>.I{}31yNnu Xq6̜=QZ?op"Œ,^4 a R?Vl+G.kk{"Ǖ[L0d5~w)Xs HgI)bμ&*'Xu ߬ߟm ,._C3@'(w&tt4$ITKg i,tIMUEP~U7ӔEm̭yQߩ (:hQ ^!^<A)k0SSY Wٞ@6i]oͥ V޴ևxĀGޏA;4o(bO@k?ȩ*80ϟ[%9kE(N p)<}q%rLvf11 ͂ksőйh}oMz*J,WzU4*5 z-h8{@bB,iF;#,^F%o<=,DrbҶ cv6B F Z[{Xh}`6ns s( L#&x Krb d(DeZkwjFVe<֗;}"󱞜!_k҄c yYFTN)o8_i:l8BA&BR &fB+ie` ;6c0Z1UEi|cDz/:Z.[Ѵj$p!2M]g24 Qo$y4ºy"!         D  h \ 0 >l & "  c D B/K%Well_Quasi_OrdersWell_Quasi_Orders.Wqo_Instancesdocument.texJ/[%Well_Quasi_OrdersWell_Quasi_Orders.Minimal_Bad_Sequencesdocument.texG/U%Well_Quasi_OrdersRegular-Sets.Relation_Interpretationdocument.texA/I%Well_Quasi_OrdersWell_Quasi_Orders.Wqo_Multisetdocument.tex=/A%Well_Quasi_OrdersRegular-Sets.Regexp_Methoddocument.tex?/E%Well_Quasi_OrdersWell_Quasi_Orders.Least_Enumdocument.texG/U%Well_Quasi_OrdersWell_Quasi_Orders.Infinite_Sequencesdocument.texE/Q%Well_Quasi_OrdersWell_Quasi_Orders.Kruskal_Examplesdocument.tex;/=%Well_Quasi_OrdersRegular-Sets.NDerivativedocument.texE/Q%Well_Quasi_OrdersWell_Quasi_Orders.Minimal_Elementsdocument.tex ;/=%Well_Quasi_OrdersRegular-Sets.Regular_Expdocument.tex </?%Well_Quasi_OrdersWell_Quasi_Orders.Kruskaldocument.tex F/S%Well_Quasi_OrdersWell_Quasi_Orders.Well_Quasi_Ordersdocument.tex @/G%Well_Quasi_OrdersOpen_Induction.Open_Inductiondocument.tex D/O%Well_Quasi_OrdersRegular-Sets.Equivalence_Checkingdocument.tex;/=%Well_Quasi_OrdersRegular-Sets.Regular_Setdocument.texJ/[%Well_Quasi_OrdersWell_Quasi_Orders.Almost_Full_Relationsdocument.tex>/C%Well_Quasi_OrdersWell_Quasi_Orders.Higman_OIdocument.texG/U%Well_Quasi_OrdersOpen_Induction.Restricted_Predicatesdocument.tex@/G%Well_Quasi_OrdersWell_Quasi_Orders.Almost_Fulldocument.tex9/9%Well_Quasi_OrdersAbstract-Rewriting.Seqdocument.texF/U% Well_Quasi_OrdersWell_Quasi_Orders.Multiset_Extensiondocument.tex rlfc"1Ҧ^D)gCQ>|h7O%#gQb׻UoW0\BVVm|HWݳ]wfsR[k9DQfNG%_"LXX>FHFL PӊX7K艜U/ؾMH B[tafJ}130ƯHAmM w{jWS Deſ'>H {Y7]&EvOٔ%~Rx6ͱz&;> UyxtLՓd cOb |}OaR2U/FƺTOqJz]q&pVBK$ 1rfnxNCUo:,O[*:~;OU43:R .un-YV""Opo"<i1efۛ^+iN`a͖ >J{&d+:y}}A!Y.^E Ʃ#;eK C =]yP2X[̪GK2Q@px7n Nsxp 2y ػ‹uۨW’wys3ɇȈcOű6IH2o{3]B6$ wt@2:P8|MQA9K=%{C[m~hm XڞUY[MmHm.^ mNn'y3%2j\ oJ$ J!ݘ!tMaq=TGk(D dH|l#+ݹ A(1i [  a<5Ռ"'KqUINFܷW%>EH+;8DQZȘV.jUmR5Y$Q+j.T E+H19ێQ8eT11Sr[a9۪5HPQźҮT:h۝DxXu4p%?\M>qabkqmS+ӎ=ܵu}3ȥQąZE%<$3n8g{w9@ b`r[n+C6h2ZpXZ15ry@f!dD#K1:j=pM U"[LKM,п'&hȳO3d;+Mya.W-Lj*06}&h|ϝLM;·;s@iMg)F|q@! ?w|o|"xQ kd:Gc,R)j1{UTj!)w%)o*ER[DF;f,_NApe(0oiVj hW׊(H۟UD,: wWR'Mm'+~0JCʆ$brߵnAJ;I苇N Pj*cw%V̗`E61J"PJ`۬8}N' (EI]WJԈV!uȠ~~"/0kU%@crjBz&0\oQ! V^3 (r%r 3.> NG7HPOGp~+ҏZaY)-pM0W'Y}ߧ) qJ7t !wpfrk|F+kk lt'6rMe=4BJue}GOX8?̬u`9!bmٟ(8 `jء`ƻ1@Tu֘ 1<$ӼX3yKOc3`%iG}J 4Ov(4pzI=r_\jo9܆άCNGIF55A60$HlEit<ʿ)F*PY†M~J\f0NJ?Q0o8ڛ{x.2o>gɇ*p1'WR^+p*ZAND2\( [9D`@l"hvmX坧T]@{~{_˴˹wH<)+KA$ϒPbRl@=+C擧4jσ][}EǿȭrjN3;b}G_: 5dނ:\XF~>8==6ܲ'qIڅ7[/t.z1%۟b ?ȝsmо4\Ҥ,[y:dDz|&u۰6,uhr;c;Y0Xg.9vH ι1U%4-"|,Q{ zIlo )H࡫{ꟋW$IEE, JZE1hT%+:~ 9Y=47zN0hg~wgy6^o1vg6E,^od%xfU|1AnV% VB+JKfN乸iBpZh emIx63]^PQ"Knqb -HX?6`}G*A<ݕW亢A J*u ѐi#D v54=٠?!STt>U'IME0sTƙaJ&ehonK>B}"g/E,͐Q,b䎆X&T0)SH7 EiW HSlU+i$ qΘ P@3@g AEj74l@*8(u>u+t~R:Р:۱!ƹ!N 5hfi=dcͩ'rE\: N>cS=$]bKCf)bm A͊kf O?THR=kN_@X[m. 9bM}zdч%8^i9$yYhX3FGp_#ANYOi|Q4S{y4}l<!&tTfAbEsC@Z 2Ƃb(R1z{D~(xX* Dz $D]%rȡy(-.5wmT]|Ju55g,`_L{ 9S\ǎTq՚2Jyq%H-7]scZ9_}&@_aQQ+/Y%m_2A|j– G{XIeeXvM0m68uH,$9?'@'"t4B;T4֌$aU<>(>Q66.LFׁ{^%CwiOߥNe(as1TC;[prie;W"޼?*A0'pkڮԈr4wƄץ;b.~`Hd˞%.$&6.XD~ ,%zK #/T zfTz~sI{4SIIȩDX<ƻoww ^OKt.mo#h8 Q ?[zjm`(7۔Έd%ˡ3}6Ekr0n5燏b,x]%#=wʁk,7grun39żKtWoO͓>2 lp'Џ ".Xh] 9-l`}-[`f}`>z/?mҞ丹M!os0R6܇*Urf!&A4*؍s6*AY`a-NrZIT)4^Y+DX'RZˡȯ7 Ӂ-13Zk0z8<*)-ɰClOPC|a0JJFt!5ʳ1`ڦoE&b⪂ koOlH8I)$u)2Vz%'t8HYL+:z-iEU>I!`1iwSJ+uj hRnʴxM?K× P[h*tIo)D2!HkDC}bm!\5aDHQsu9S셎hQ29b࿃/T 2TbX7( ޅȰD(f}"4ѿ1ϝtHѷ$. *XIt4e7+L&VkYŁ<{ئTy867hr:V;szw0\X+ "z:n"Z:y"Q-N"V񽵤YʴT=ys.zQ%<p#_ KY&FYp .! $Mm+}r\N!\DWa RǑE^JƮ ݺ.g{w7 ߨ&a,m, }N^R'RJ^ =9*?tL6<;頱Rߪ Jb_Ʌo%DMi:nʻy%jm U"!4E%/ *F Oe~^{*)2`6_Η ~5c,L2nZxEIh>yX1<1Ula%5AN7T"xs_oRq]2&F|,x=sE7-㱊yտoY4is"ߕ;_UD} ~_W".Ն+9PfH].kxѡ["NlxD$u]CoJL/+A=TWL ˨ ]^8FuU!୅pR^%IcTvrH5+WJ۵FFnR gAIz¨86iٮia08 y%;O&v=1"?>e% :0@Ȓꚩ j"qMQ6aubWẏ1j2hW1+Xe&L@zz2[DmյNNEW9K9_7[ dI)ؘշ_.'cjq4ms=/Jq 'Wi@ P/XQ 8h[32NDE':}V2l^ j]W=;~4'|i+kjsb@2^vyrkI!O쇯eN>^XzX7ʬݭ8Z>+/ШIQ.[xGMq]#~ib 2 z|z#i&Xwޓ'ۮCFfr%rRVR7Bzf+3<*&cl*9&5o}++s'^ACա ”`4 xIh/{pq^f=~ k:j[/zˀ uny.0SB͘^wݔ{\ĉcI/?ˢX_cʏc8#fY0Iú1ث񿲄aVHÂO)?:)t6y&dd˦<7, qV]R`71aА8s%y=!1S"q󴵁, E1MDQ*f"+/f@͞x+>QX""=@m]nPr \ zwޥzfWiJwq}8P٬)Lt"/g3|-(rKy'&t 3+6~mq3"QCmf5](f\"qhAv}r̉'ӌE2>P4fOUpxA0&9k_8Fs|]A Сo|p*+֔V儭 kL,Gm\eY/{SM)th³'F0v*a=",ۈ|v܃hLFPr݁()5qvC̢.xysI ~ "}.S<72bn7u=MMR@NX*w|N"SR ߸EڿW0+ȵYyzp3!{ћ|zIc.*J'iW;= =0 \Epm߶ƴEL]ͦPZ{EZ;)Wvi?ܿȟ}ɑa>rvna Yq*& Q Hy)$%r8Ĥ2<{su3y&Ի1A8#4吪M9,0m,?$c!S\x[o&c$*r~!ehXÑm3t˒pmF߷c5xpXG؎7} &D[M]PeN:iSP sm4URp}^ԗ+5ShIWS7xyn⒐ \4qL𴗵(&̣GcfW@x]=Sďs2n/Q_i-dͺR$ba.-%'L4i&(ҀzFؘ҅ ^$:6>.|ǧ ${4V)kB~u3TNrr(2|*u-l(B<~ k[" ^j2dx(:3_܏"WC p,h,&VL4zfDVea^ T)Z.iww&1=qzv`XPzV]g~867_n'[Oa*HC3+Jj1fRoU)V{.M͠+Hg8'q4/>,>JaD{bHujùOoNQߒ0oؘe'!Jq X~AM+]гFvjq ˜~ Ct#=9 zWp8Z^"yWJ cV[YN$3&hsA׎/r>nS(Շ |y͍;"k p8@89K*3)`=]E[6(Ǧd HJq=/UcnՊ0CKmgjρ<t),UkƱ g%F#Ȩh$F(|A(5;=LxV|93u.H`?9^MM;+clG87 v Soy&G]fD,eW\7iֵ k4Wΰd*;Nr&f l~ xdsbѦ65[bmR1u<ˤ|1N#-8Ts;,Gq0& kPKiT"2MǑɖ6P<#uf\i/o^U{9Bc݊ Ǹ`ήnVDQcO ciaP *S Z~dC0`mRJLOt.HX˨'ljog Vbzk@ÓGA}/ Mx8W%qAu7ٿ+œѲ_Fb!k:ċ_>h[s|ݐ ln z(a jPߝԦ}OI(IF8TDK!CRkDYl<{k<(#HYk$".Bwf_FU(ݫXOԷƭ\79`2!ji8A"|Aާ?6\3@ 'L0 BFqT楨PT1zFi`mNqb!<Fܾp6A6r,# 2n)J{CcѽEsi&b>q1{`tV<]Ce T֚t (em*6)- U0gPbE'Bagh>J*ojrA%:ڑt]B*?KVM{+HRؕxbZYl"Wh1m%&8^@I\uJOG1Z~9h*T)Fw^3V8ա=ޭ_ۅ)XdLJ45-g*#;D MyH-o0P*bGDp~0ARa6$|M>i &_ka3/m1{&^cdN󍢜!y0_F&i6\ )OT=Ha*Uc^E#FexX>ꔄt&F.ޏWL1Ozp+= yX,WΟg%"y:`LVfo:`ʛk%ȯ Qt$l aٍN[/S7պlhesRS'z}MGR4r,UabdbĢS޵'T^"J+w+ť|qνJ,q* l@*z7QVހr9w]ks*"σĉ$f0DǞUG6Թjv;gUb=+rB.`lTmGׇn>id^OL@ -o'J 2*b JQ<͋A^^5& 7:H㜽8ƒ[,S> g(sс&rOn_ Ya;5}39Vt n e#rK* E ybd1p٘a?YU$niB w?~ Bƌb6}wN$f+MN7pK"OZV 4 yOeh {[4B¨T1U>lI{fbr[%Z  o<a:%n+>3]ŀH o~˸9EÜq`3K t}!zS#dTiRT[P]{A}Hil`p׫XEԆyVYz,5U~_ː!eɽ? ."a$iv8-9q;wS&uMk }MoFɓ}Ȃ"bR]ƍ7S5MN(w]*Z6ӟvCƳ6ݕ#qz/)46 ʓy">q}Xx=]ް}{ɤHLKn1A?A mH h]i `2W[WXg`ǚWmITd%MʹR~]۽!2xְ)M:*ء>K9\ͪcK6XZ jx혣h"<'c>eɼM|:3A1|ư0=l Y2+:/" ]fG 5SQcvhrjk>t;5gI6of_R?5wFHasbdρrQ}'X3| } ^FRY q3uVW2 "-H Ln]7f 0&?,5whj5qfZyvl-SV=;@fA g#8({q K)w.#5d9UZ]O ω)Z2dB _R+3k52:lbG[u:oر ?;Diւ5oXEeHyW`o{&uׅE+{TJO׻:͔aHeWMx$?*X?0ck\gw3MbLYĈEg@o˜R#5$j-NSѧ2(`_@aPƬO)fՃ=[f+nZ 邕v5 I1 `+}= r⍯-Ts$ڃP*"zl\,t]+Bk+.'.wP"Y%춟 O _8I/Ay})cIkXV(ja*/,k`MT%UQM]dޫq͛$} 7mFo[~;ZIs{pknX \lJyTqzJ1?: BSRlQ0R; -8GQW * ʗQd3kxt/2):=~H$Z H@.7/[HSs(qqzQeB}(6/]Nu$p7կ]ew&=QfCjӗMMD$n8{ 4dCڅ!u̡;~pd5FW:,RFB 3cIIDF/"iJf=:RT!KORS1ڈꈵz6c6w% ?Th$2[ܥ,m.jٲ'Ri:olίdS-pM3#wx?)J$Ivf7We޺4=]E`>GGĄR|s/`mG_7 >RRYs%?-lo>(fM33Uqȅ U%BI|s/V%&:0]x/OV:貦OPV=%BoN6~ lwDŽ+j&K1(887ba^y^8.5 Q LqݱjySj{D7ŠQ"PGW,T#Z\;\}߭G6*=D SWɈS=6 g-U:^͕MaC)*2'It ۚFgYZ xhK_*+*em}!J Q g^6MQ7H#.1e{Th &n^o~o&k(bByΠ[m6AiroGx#T0{c3\luz7 N߁홾&۱ 9{gΡ}4$e ,a1G]-zNL8o#vSE~3=su|ǝ#Gj_.%M=x$$y'}F.aOO)?*Ōhzھ29t`2- VO8Gl >4H5/ڬ˭] /wLomxG±X~{\G mDZ[0O2&>iE)@'^!4e'N)?TDF/-g)Dh"ucoAdv g&7%Vu33EĹtW*f_ON(,㙸TXiE#c3r~:I<MHaI^` I!LVOYuJ#pM,X)N>ް+Ng70uӹi>﹜-q/aAaVF=$_ag;Ph:ÁsvnN aÞ#YI7o2zو1lD;&}WR ,S*Qk(43?YX}Bde"`SnRk^|)E-&\pkU!cԁZ 3;$#W,Q8P银}] s:֤f)|z UF?Pu.!Ɋ JtJZ$X\b~ < 푡ru1k,2Drn8 =quj Bd ֖ edPJfnpG1Pbt1`l]+rac):B}!`RS)H\!iTq1*jhct$ߍBD @nGU%NdНnYùq$U(3>^=yU23h6mGE9(?=E%1%$= FU}yCᏘBhJ_ݺt ͐= 8Vn1gnu<ow1L# Y5[;12χus =C%|„ azE?tAM;YPxg8{ a(:=_kӼͦ+K ~7L,| Ai$7Ga mQzBʨ^Z Q2If{6l{]Օf~ʣHۻ yg>'8HXf*KM}WsEEr7W\Cnںm!=?Ӿ^ FO%d)'`~_Wg`)1@ hoW2cg.Dqjp`j2ZTנ`؁aԫ&.tSǓT")m`T$pR[MB'l*|ޛJ >=ּM2`e )X˜Ƹ7! ;A2 3OB> j<1W4m'<`+0/3˵2j*q tl.?znT1;ZH~TIs!H)(qckw 'O/Ve2fiD d3S*opڸDrqnP5N.sY@Y 4F)u4 @.+8 Jx <%>YqQH"p5GXt] >6aK3xŃxa!42! N)?/FJ^OG4So^f=iޟV汄&S\1C%J<ђn m^ս:΢d&?&<ؤt7;{8\G]#N0e̡Ǜ/+_foXN!r24 gq."7\LV}3&zuef\6HW}ITחPǙ #aFY󁪽WC4ܚҢXt .H9.K9z,HBmk `K ş7jt?: pvk:HkNLC~sPb.Mh5=u_|XmG 4T,U~RBq2y_ ̖0Řڛ}$Ii0`Ŷ39fh'ˋYoY`_G߉Gy耟AǪ D2+%qNjlEha]4Yf C]Qp!lY{-fam533KgƁ:|oT k)R(y9M4: ѐ2_z2)>nrT䌓`kœ z:Fb*7P\r(jLѾVb aeH4Tv8*&ˍc|(Lxacv߭hR / LZH7kblT;vHb>z 9w' lT}b9a4~KA wPE5ySwsl>c~#pW/-vm1.H"67}l,dMT# BFzFuo0aX ]^BkG%CJMJBD/dg#ַLdmsH }[ MQ ]i醇pDr,ԂIYD֕zԊp^Gen'',P%M_٩lAi AVY1b^7WB@9҂F^&jԧk1-~KX$l Ը7B*u65SS+X.IܭO=)DqIXK W?qE MT?6h& ِ吏wȱQK茵.n6 T9bDbAxYbׯ6bD^֟ra2FTH|?!X֍RD =<5%kA7L[Ų<0 (8 w MNQ.Csf?}zw+x.Nl$P\+ c35?tFf/ҹH|'U&Y,4vgCDP%_̓"lK_0=~mWn*4&L~o,Y͇4}qA8dk)pW5"RKtp?ě{~ؑYRnxշ,5%l4W'S$LjO1gOBQ~F^֣Q#lM;Wi 10Q1`XdUBYyi.O]{}# #Իb6 lKӻvǪ:>8c߅B t7nWUb~Ak{7Au̬w]^yؠ4TslO rFZ'qnSs]F.:`bI~[fxB#{3(=sP;Spw tYt"0C\o-0Vo%5f뽟 [ac˫g11\K/NpOZ2}`g:YwwW0Yo޶<=zCEv3`y\"A= 1t"cW[_55:%Z MlYŶN ѷLqcķYgO|:Բ5 RATrxXz>\6O;R~L?';5ఫ' 8(}XvLHU.{3н=K[S} v{o1̂[g' t/%$󊈶XRȬkaH"5G_{i16,S\Z:<]3NT`j޸? "brIQP2,mELB^3qteKDz`ޱgYZ \\, /9% lWell_Quasi_OrdersAbstract-Rewriting.Seqdocument.tex7zXZִF! Ậ#.]A-MՋhvG"uIBm5ȢDs;۞6x{Kf·@ ? 3у1eKeWHHvd=uA_l!g)̀R,­E"L,g*<@dBw$kEYW^{4 lv90oˈ#k }[a3*~̇k gedk,K/SArrtwRg2YX*檈C IFյiCfkfz;΃50% 8i3M<4ћnHۧ7 87ˋũW(%H~+K_)#i:lRcƷ$(Bpւ7t \#' .+Rv.jT+˓ml00unlu.E A(>SPoALjSiIYXhB_ڥNL!sե=v&,K ^ jU\:DG)j]sZM#4e'Cx*ݖM;3_39aO:⅙j G}ȓBTTͥҢ_zWͣ4B4~XF>ȁN@͖o9 +\qmA=Eq?o*'d^儏Y@w6ҶG AQ)2i"Km3 ۛV8UMQ%N^5ƽoIW|bԐcv uMfύxRyǺ9$ hh9&cZ /U% ,Well_Quasi_OrdersWell_Quasi_Orders.Multiset_Extensiondocument.tex7zXZִF! H(N]A-MՋhvG"uIBm5 6+Yl~ay',5>}]kkcTǖfA2w38ƈugcَF)dg^L3f؎s]~5}lOR-'U f:ϓlGGXXn|tI2SSͯ v{+7@}UNtJޢO+egb!@( /z0Ft'@N/N2#LL]r5ilD$YF ͉%xD] qg^?j7sfAuFj;W'D$5q]` m=9T">+ɿ;+T N}Yf54la/qhBx4'}hU! Q”5g'w=ԆN_u#dtXd|ĭ^fh ` 7$K@pHxK==i;{XӦa&oG iZۜUx3X|c"!@_d dǰ4>.I{}31yNnu Xq6̜=QZ?op"Œ,^4 a R?Vl+G.kk{"Ǖ[L0d5~w)Xs HgI)bμ&*'Xu ߬ߟm ,._C3@'(w&tt4$ITKg i,tIMUEP~U7ӔEm̭yQߩ (:hQ ^!^<A)k0SSY Wٞ@6i]oͥ V޴ևxĀGޏA;4o(bO@k?ȩ*80ϟ[%9kE(N p)<}q%rLvf11 ͂ksőйh}oMz*J,WzU4*5 z-h8{@bB,iF;#,^F%o<=,DrbҶ cv6B F Z[{Xh}`6ns s( L#&x Krb d(DeZkwjFVe<֗;}"󱞜!_k҄c yYFTN)o8_i:l8BA&BR &fB+ie` ;6c0Z1UEi|cDz/:Z.[Ѵj$p!2M]g24 Qo$y4ºy| Þ5oF"F6x55h (D\q|*uxwC41ObycjBGg&If%,7b#"q nS0حśrW3 }5[RpuĔOTh/0u?x$R dLtO/Tt6oESt` S?-EIS,YJUi**Kr†J2^m+.]UD.3t+x^t9 ߏ" ^g5#ߪի#Aa/YMy` &nREV<B Ñ{g׼.Qwd<7% c9U (g1Qrη-sjxفA4->Oo!8$ap7/;ԭjd^hFC*Zcp麶vT1ƨg4\خԑD:V-/oE&!. eCH z l)nԺOuMwh_jU "bm=:s]lw:FyrC9BssQWj8Ȭј`dw\CV`3aQѨ $E5qUh5~Gڑ9ܛ 4tR`O@m#+Jx;^<􃋤J/VT)b!Ɠ1 fl G F1ё=NsDHq-+ˎ,*5OUl(y+ƴnWiD}ңe`n#V7qTW}y"by0if!- ޔwBrr%8&LJd_q./ @HyW$U;E}A0_mQ(=)۾̟a5Kh _^ERRiߪ{aA~1ژ>opwq&; E2g~f}GF}Rrq QoW렆m=:񷒳FL8D:G+Kh @.^DZ^d@`{ڜ%djVi!tXd=lNq3LGSC3@<US=1V#;:bk O^<:-i { /G% |Well_Quasi_OrdersWell_Quasi_Orders.Almost_Fulldocument.tex7zXZִF! F%v]A-MՋhvG"uIBm5~4?YT ;ޜo㋿MfCTy6널Ұ|ݮ[0qCF"zۉ)H V.RKn筫1fxDf:"ybɓDw ~T\38sdHӽ`"\x?[dfIΎtz^[.ya䎍!kTx؆زt W%ĻFjG9k;L8b}Y,Q~#%2"@z B 7ocvD|yS^\Obiz.CMl Ɋňz/D]ć2,g?l[vêRuV/IJbR`K^:tK=9_ĽVws2nZ;/`+ S}VQr276 3+U:a ɚz|!2hN)E2A0蕂vӉݖK=3Cbuy; C=^4eF Fbl%Ym{dg_6*0p#ĝyGSsh&MJUEPObYA3O2IJ3nB5|Yi@TVER1yǥ?8G;UymrDUg8L͢I xGRxq'Bza_/lSzNHWic;Z]&:(a[T`AQ+oVWaN5ђ=R"ۈ'T IQ^sq/, %kR^u]%X,X>+w"v:(G,] 4 񷽘um{a?3Y)AFhJD23%e %*c_tn=; [:߯GOU,0LC dj=K"f)_3WID z @.jנ@XDIu/\7Qȕ:׎ t裇a# #P"Ȳk8s.y?XVE4DWR(Q`1W!ޘʴu<޸7@)w`)nQF%3I|=X;?qT%Jj0,PuNT~V3d鬊Ws*m"wۗ33t}?L]ediѥ|qdo1kx֪{Sdb9R]Zroku.\NG.\T{nZ8++p~3'V^Mh[;֘+GΊҟե>;-!xA2o)V $uib z~|%0]Ih1 /ek; xCz0({q^PK(Y8$P9*4~Khu7TAجRvAk`|@ZV\oc(:֕5][%!H`ܚC΋™v&jS"9b'ۼ 3rS`֨$v).خku _ tz =?3]Q/&yUEmUCjU-T;x5bC%W? g㌪bxhʘ8',6oL=ZrxdSEޭDJ!*j3Qv՟Ku| !)W/Xlx]oh~=Yr6  9Sz8ԏܟ|% 0ߪ 1MQ}140{?T{˝VDi>ф?9f^ l_V̪jk%[:0yl}c2~%ͧ~'{HCZeohBZf䅖k?WҊ% b"nj:c -Ek63:SAĕ8-[_* ,<[ǎ 68Tıoyٲ^6yTzmmaR[ ޣ){%0AӅOK"eWdi{%IیTM3ښ٬1y`i9"ԨYtaa`nIjwU72Շ(K3R-MEcE7mͳ0::Ԍ$Bz iյ} z \b*qb! @ =͌"Ha8#u< ,2~(2 Oi:U{? Spah1J/1װ7g&m8ZM2iy+EC:` mMHA?ax"\1$m4aǂ,D VCI 9!8F~ؖHނ𠳹CzOyy#$G@Ia&wU/] u:ӔnK%j:ܲ"SvBDdYCPl#bb U,k{alX$[)m}F!onSЭsMYBPhMM~|x̶ kW/ݺ<~ForROvc2mxL@_wa#MMiC;Y7!a`8#طP9OW`(RӐdǟBAT6^PK5Զ^\|xLٙ.L'Ҋla BmaHp.=n82a2-׵+I1&aV8-P<1ocoL{ YkZ{wիQn2PG:_ !$k>*_ts4DO1 |J dPXMQ9W(Q- PX6cfk txbF"2ϗk %Ɓ]նh@wjoe|WnK(ÄX ڨR }|Gx3=@xq= TAPsk= V" 9?zQ2 ފk9GGY:EG'X^Ŗ+YNF1ĥO]-xUI*+QAĘehHCyiM%'3"=y+QktƱagFTz+gј6-PSB{h 45 q23j ]pnm!0:o!Ä2ύnk%29yf/Rc!/xe%~py$8-ƫB,"Jd#w;;K  "Qg+Ԇ#]Lu+o]* v 7XtVy Q",zTzG&J5KߞZ 7p6dRDhdTUF7[\dn9g )% }방7T]z^| ::yxLS~jZVvRY8AItt@hsL/w!r.&6kt%{Z˸;`Rj!1{GpFjyZd:E D Aѿ9K-JxwerJ*y:VcKb3J( G4@4_Mȫ i{k_OWVEoDj =AIBXܴo-YaijJGP7w'[{@mlNZe/k"mzp!Y 3bR RO#Pa|P{VHL /hR~ cs[)1 O"~K>$9H7ʑ|$!ӵWGQZԒH_=pR|ZAn&ay&2niw>?:roU cc+Y_rN>O SD1&-$Ԅ,{tI~j")Mi*-ԓji@. wFC]*iKjr^YW}//һoR`2We9DV[r&X`*ܯAS7"D@e^7pа Yf)hL=; 7*:#;qrj jR8 Ci;ՓH0+ 4c!`MD-qo"̂`qؓk [**R'E"` RJM3 ߔkUsV:Ǩ^s RF7\?'MC50+>ȉxkqQ-q/);~-ƫ@)K_uuPP 2.גgM{ da}Ȇ?BYJN@|[̨*&^8?vx?ԖZqhP7{XOA*Օ[Xgy[;QGFw $Uߥ!'8)S/+mS>de'| ѯ".{ߨrR}۸.'ƑYy4*F$7t;$p*A6ߡWf",^r؞ xf`|СB}KCG՟[:ϭUɹEP A ]»H&W| vڮUjyu+ZzzN'o(QR654%ŵfw>+cP(pD-@ eK= DeD J:0Vv33G==&5 no'^Zq/ʋ?Y [H`|T}+C,&c <;KE{oo @1/EgK~^x_M*:'dר~,IK0JC C7?ǂ`s&6E(n!NYώ]J瑀\q2ژ,ؘߎ6ޤOL,!%ˢxQf1[%Ox)N$JtҿOdv)B_4Csesn1*-!5WQ-.nA=#։+R8X2É~@h _foϣZaz_cㅘ\Dc%*[Ϊ*wFV'"N. p~& (`2S, tz5Z9sL/t-ĪȘ!5CeV^8SDh;”=p]2$PڱQG-g<;z^m^YYˊbI֮)0q(Y:q|#9~eNNN& 'uIJ(Xw)$%5d~5::ܕrɠnYے)[e$llOpyiBv:Ea8 |."uV]9^C|#eyW V6(6ٱsR쌩6Q#]HBY& b(P4voOvNpQ`@a k+g0`몭0ֹ4~ 4]d]sw@m:^LDvt^;^Sd"p, JxJ˞EW8 YVݙʫJ GldW&HƏ)BIzm27{v{&A@_@0!93ϊ&Epd/YꘀCPhǘz>ݍrS"Uow8@IS 8ܮ!;U7F~X0gp|/^yvY6D` D$cTA V4/nx+axz(q}o+'z' 5Zڔ!χ eB4X W4i՞'x"* *oHJ̴ uHtؓn.as,bfg1^+/n3BJhbm~yB8ksl SBY% @Z~ė1v)nK8}įn0C )k<G`I{kV sF&nw@؀!.ΖU)/ZDjOZ8,@t3YtD^l(P<ߝYW!#@n{+yGSrK7NBn/捄O8a%5'z8S&´%rs4FX–x%-4&.@[}1@Oj_cV=@ nUԋND&$pjdgAHG@cPPV웊Y{mClCܺB0]fwbk`x泂=&X%jC'ȁJytMMl>n A<| ci$ڌ-|oF;٠ZCम%8i -pv%#Je1`L[txs/e' i[- }yu)P%ޓ܁pT4;ؽA釻 ?}3GNq+@~T^}۵<8ۅv'yj NЁV 42ia[>IIk e[XW^1R j.]醪9 T| . W#c9}o.//u$A(׸Anl3grH5N9pa;:Mn09lĮj\ty&0AF!%r 4R"\Q4T=lTn/uֽANZ*v3:pjW~gMް>[ !Psb2m= .?+chtsw%)uh3(W\8ѡeU)ܞ gPWJadi! td _>E09/vG9쮼aJ! kZot k TYrz^R(Î>` 4x)hSo?džӻBhh^$=R52TS@ ?XKGm  R2:c? 晇x!~h ?&(by kk۔Uϲ:Sx.#VFͥ:FGpyTpm)ٚ^>W͋jb-67GIN)smv*ʈB^2C7e-o{g.u *;fcpDCjJuQ2mD&2R<}"!gƐHv?rCc/"z3j+4Cyێ? BƄq Gp)̍)dh}^` 3Bh|$ >sT&8HW(&;k%77)BT?h2'PsPu-`)e*7U0wq<#4i6NDBL䬰fg7MۡmW4x\x<2`CPuYL=1h+&|plBB,O` aW%#؄{WDUoOcIt({K{1$L*|12 W<Pp +Ҿ2-;F7pz߬w`,aqȄĖ$~FȨ%YI:p u@+_k~r}r"dq3=[3xoO\ƻZҜEAHǹvK~F}0^+քl>\[4:HebRGGƈTpDX.HȻxo7eF$~.Q-v􈼬֗ѩ+C7F=DBƞ(a~RVMFc$)ezT3u;q$]🽲1DLf4Nv5#}=G@dU uo2nev^PEw~Nj:{*w`jh Ɂa g~}^5ACoaUۄl"`5SޢDT HQ6B`m7z<ԓ0GNzE,g|˭?'%i6˝Pi) hoz14|j0t`YٙHqxybQCXh" >d!Rw{2E(ЇJRBq ;# Ũ3\Qv-D M5 x")ClQ9@4#p5}K܍k!d(!@Ů|ſM(߅Z#"8Z'@փH⎂-pK@FӱDzv7Kfҝ.mFJ[U܍l .s:!קZ*Wq0K]mmE =||cDzqA2GSQ5ՠyXVU.3[Ԟ" w!Y WOǞl{TrgE+æLͩ:$xGP _[Ps؋b<8z XUVM1D2):ǞS=o0/%L9'jǍخ>>Kv )*,"Dy#ֱ?>sHM*D]d3|YT8N*f@OIxe'}o9^ kEUJVEUTA"L*(շkxM zB+nL=`.m&dW;F\a579Q}Ҫަ,N oS`\Ay@Rу$&E|HU6^]sZ9Y=x! L<-<$xS^xgӧ.]X %d+FmZ%^l@u5}8 bΐK3᨝D-JI[0p]فa$8FB #e!#uS:pHmϏU07";:F$ρ-1'yI^ 4겎hGf( I;mH=N#Qw5| HO9w%-s\cdAgErn>Sf)):ũIXI&$(>;WW2YPǏ"tP*#cߝp̚&` /W`ǟ/%4(>w}B HKL{פ1%OPQVrut} Mu#6w%% /4p.SJiҺ_3R!Wxrvi/HM"vdų"Sྮ[Mf ALA $q5 8C˿:f67m7KNMr oq]C_;U/{,6?ab;wؘyf#l')VaLW,rXVY }#:Nh>ᾯJPf._ F,9Upǭ8E_k-6nq +4?Qx+P);,Lﭜuas*P1맻3}rd[WYA4@_Dw;Cb/VAFJ`D+R$6{vRdu&DC`'֍?2zJ|v7Fu! ZZ0)693׎,^Z7:f.^ԋ.G{r5', B9z=nk$!X|ZgZ V`K]"UAИEO ̯"gԊ S909tz,P@LIi$TKXJsS=9tʂX 9C b6"b*luQذ/#+%r{FLQG# 又!E U'\3* )wLvF%w5*۫7ޞqi䎕5ݗ^8%a~wc|:+fQ` ~K0M$*K=Z(amӽF,,Փ?:, y{Wn-;6;RΨ}Įz(\M f9 D LEfQ }Sn⽯KhO;:jKhubuq nʠqAb'm]o[v+ˡ#A豐U,gYZ  !4/[% \Well_Quasi_OrdersWell_Quasi_Orders.Almost_Full_Relationsdocument.tex7zXZִF! "]A-MՋhvG"uIBm5~4?YT ;ޜo㋿MfCT&+I*A88~(f;O @{e>YX.Wk%S2`S ~*c^y|R|J+>&?ԋJ f)A '"ؚBІ 9 A@g,Hﭪ?nÍk=ߵϡBIBrmwYmFЭţ5+{Ģ9F4I1^jF?X zXBk\^'- sa ead/g~cvG 佝k*c* ˗ D# ^L} Ґ/ P&:cy˺l6fƩbQvvSkSy`?\!dQ i;bԲitgP]`M{`-Qb:\UEt,g- <κ(,npt e9Jyõg-mFtz8ɷ0ʏϖ 1"y-ō߁ի s{اf Rr֕913* 1prvP0|VCo a''A|{S%,u5 & ;up̩HeQCt8 WFp\(PDXWAxчSi`0b&aY8 ,;al~LFBO:` 7 ,Ėi:&^hZM 90VygL+WGP<˷ (*ōfXSI)agp@AWR͞|;3xY?u1N`h!jXa\)/BtuHTުy`>*F2#}_HnɄ],wpm *U<\ŵF *F,ee0L> LfS|Kt|ŶQ`gW_l,4{{ âYo`|+^ECx+ESgBb V= @z%xbfي3ol뺇ϩֲuq_zu+BZn\$KLVhM} +i+uCqǶ`61:4GêQIhBo/w,Umq/+}e]F i,QS-K="hxEGܵσYMC_TX̪ice4Ild^6k 'sZJsYq\x胖1m-IS6)Z7 ΋l0S=T/C% 4Well_Quasi_OrdersWell_Quasi_Orders.Higman_OIdocument.tex7zXZִF! mQ]A-MՋhvG"uIBm5Grd]K% 5!2I+iJ/FZBʚݐ=;5 ]6%e {b>uEl9*1=_&|[ҧcv'A7WWljGnH]T1}~G(.`0_ىC/}^iH*;k %?̭ _ {ِ$vlU∻'aⰒ:]OL#%'g:Lg3TҊ 3;" LO٩Lh \0xl˚e\Y %;EׁU&z#zF9{(m%cuF} }Exӝ+ve$MZHrIzgH}woub" 3=snr'B֖ GlA0|oz'8]S 9sK76$0avֲ2{9 S:Q##Ƿ=| &ʷg⇂%yFpAU؞{S'dqhCVcV"i~"_@%2&zf$|I+xx֋k>Dv91jA<"6SuPh[|+8&Q!S,َ1e0,LQ4ʽ۽Sz9j[G:mSd8=| [kWUg㟄*@-!'*r z%JQ7 ]*G$gI)菚?uXQiR JYt5g/8)99FGfz/J9xm4)YEXhbh}N%G"E:{C0ԙ ?CKx=hQ2V!tMuj ~*7aŴ!w2uM7rP~~+.Rih U\Ȁ0 DGLsg% HR3ecIhB?a0_{cq aVU)k1[ CrW;Ndv1\ h{d g;v-^"tK~NA]Po2ٳJ6+OFlԐw6;1![d q<<([y,n:UkB46b̕)aL 3A,'M/z@Jj#xc%]&}؝.8Qڮ Eu]/sm/oR-3 ESęs>QA5Qx ޞU=}b,|?v~?{A{S ,f=Mc!ӽ\lK$66ִL{:+s4ږ5mL)띴w{tKlJSLftMPt=RK4 6Ǜ(^_F'}(xf uN1S5ܞ) ?;fϞhhW5piX%i`r[)Vy=eb/.iy}68-l'# #ܫV*q1;uS46GbLULΕSQ8D6=t=+ql)>SfWa5\on$,<=LcdXt9i>37@pkSrxxW4,lH\ |f`<# l3-9:15St޷$)t$H";' / @S/|VKXQnu`VoR2S' Dڽ;҄0?nÕBDx@\ş#LDT_Ż `E'@HmĘ#>soqv8a:g:QdzE Mݺf> I/f s`d k4-[@+h1@H;2waƒJzPS[ȲYtlNL1_[%!XjɓPώoZN%SB\H X">9GH=Xh`-Wr0nO%qԞØ9q'orj6w۠޳1J o4-7Q1ᓰ_;~Z}dG=]?)fFpPgаq2L/}u v%(i Um])?4qDjT(}u(H|K:5W-5~L:}$ҳ{hU7`dc?,w9qZ rLa߃8z"LSm\ {㍝iHkR,xE}z5S7$h[v;lpmo<Υa/} P=\m? FؘPYtAx>luv6nE{ggOlZTbo$ه{)贿0^ WWsY>SSHCv{ UةQw`חi3;A8:6w|Uj=jpm|^t8+=v|sRg{Io:Sߍdy;gS2Ĉǀ<5ҀC_S"+ZJ"STKEcznBqíwopUo eV$\Cea,XZ%9y=85D.w]sGF\zݐ?fb&Ot6EЦ(]"e.t) u0aϺ4al65w\N{4$8%7쯷N_Ra]ũeAn8b#KW y7[![2_0izX/t|邂?rz)@KuN*{&2C%?FeY| $x_]_X$kgJ7*D۫`S>jR~K@Hl8@s^.Dz&8uJ$1܋%Z jA 8pf@zY j|n5K["o oF/~LhwF )Ni#}+ƕ?ȍ@ a;b n܂߽KѤ'dq!CvzdCm} -%*t[ Clpџ+^;v8/Of٥dN D|n,n"܃KĿjovw*`d4$iQl{(De#yx5`ы4L񟙲`8b'k!mHR^CP uI].[P769) Z$2KLZБF\= x#ӂ/I!AݻF0f,a\÷/-fjgYZ(: z=,T ;||p HمNV2qI/9d] +~"(;ꥀUAT|E;Ѭ??&MVg6砩BKsi Mkv $WfSA j,V3o%!|'YGw@ɲNPyf^ne6iaYEAr `.J̓PjwޠuR)hu{G{ʭ#"><~'. m w1ˬL|܂L4\?_'5V']3pBSЬ8 lBm{Y_Wu)`PiB~eyeݚiH^ޔjS@IZ "hUR=(DSdJ:ƵrTHk XTS,Rq1QoNqbHJL@fE@s~T+ǓwKVR)Kա'C*R.{ x?XdfwWig_pV"_jkIy;%|\8.Ek g>a]Tb92w |"o[yH,X?Ůj9p0:* =P;U_ Od |kgnG'JP#A$;j``K? wd1BQMںơ<4ˁl>Uk6C@E_qO.FxNYmakzJC:.qb^r%|(U*Ҧ)=KEP%8b 7%O:LhI/"^6zdRco!\aے_KJO4(}AYj0\Ӽ-D]")}UNYD7qɁ{^k'S|fhSeX/ _,<֓zf mxY#8xhVt8Rc>tJVfG*Ť1@8?2qd]./ӛ2mZrF-D߷F!;ۥlЄfxa+Y@;* uʼnE!|**m d"(|恧N[s;ΊQhDjV|(WC(tB|0ױF\-|Q=pzb0$&b+ Ō9:`ɗ 3= Nq >:bvoO>`fMmT+ *Q& I1R{<f¯< ܭqv?b#!FT,-TZ rgS;T#+dvN#{[;e7>8s->nZ~+u\qԤ4馕D*gt/]^Ѻ #2u0%SiE+ )ೊ$%B{ mB*?u}ZZ0ehAW4ֲmA/ s/wwި} o&ӉvH5SV˒;Wտו/ti!p1^ҩ ʛcٹȋj2u_9BW䂚fO{J)"VYL` XWsV#*|]+.| &ꦉhw6m}І[;&n<+b/i{+۸Op5sgs{lh{M.cw1r$h*=H;c]cz":$ylK2,`OZoIH~?OQOKNB PhfhHwT6T׈o\aA|_@ n5;%d8N@SoհZze2? ,Y+"׶geshz@ϯaDu-񲗾aQ )!~:Hnm, (|~5X/:)j_E;*S‚?im `KV/[ ֗';zشapeP"{5L ඘"$:Rs8Ԉp~CB RݾFRg>: 5 t`UiL:9o״9c˪;F7*yDG4'%fq0CW1$?L\ r/P3)c3'toL[~0k&v{Cs١Nc@G$)dbQy riv DF qmAO +z4 2Qʙt4%L ށ.b8pdAښ4G '4.-jƎl)M#eY0s~4cwTޮ*ڋ ȋ_N0A`iAv^uTr΋FE2|7NM\W$J W nH ´lL[F Ɗ#_۳9B+R\{y2(hk](\DȮNʋmJԇ*uTdu)Ow_ '5+|4VyόC\H-{>5QҨBANi#ǻ5M"fLLwZbz9zc88 Hŧ*Vt^xh<5 u+IQ*a9]ǵVr{G#=3**PY*=rJr,m e6̲ò.?M W6{Nۋ헰p,z|_BΛ6ٍ6"_##-$ܔ><){Y-KWDK;M ey`bcH/%T08{BΗǴhRYc G_ѡ jt4a>Խ!h ]0ʦ)Li#e#J8mi 0ǎ9p_?B[ g a?["F0{䰻M0+* کk;9OVo3tsǿE$w֮XdF-^@,ф h'c~xzed69A`4@#'.Ci1U卌+{LVlpDG 5$/c q2vR-Us `De2 ƷjBS>>:'@ȗ]̢&4 c8cg:x\:N/ xOz3M+Ab}-؍r׺E?֒0]FDx#?apQRFrkU#pxg BK9'[V`Efz/ndSV@؅cUp3B;wNf29 %"ϾzXuݎtwR&FPl? [ji9a3իnZiykt\%)w9x%jiS>ƧM"EGs88S!Q V/ʋ;@WEviXb6՘;3q2C@8n ^>sѫKq_Ũ&%̟4qtxîg+L4OX N7why) lXvJ Plt}P]ɛ[#e.U!PC,ੇ2 @@`F@u+!zC3J3qswǏ=H|#gYZ 1/=% tWell_Quasi_OrdersRegular-Sets.Regular_Setdocument.tex7zXZִF! j]A-MՋhvG"uIBm5>32 fyL KQcKē؁|q 3v:z=3 xa~m~8j ȱNa넊RݯGz?M5c~Ax>"Ch9²h>A5> $YJ3e&}I5]4(d;ҡO˽>]Ae}?i!Z=w3IٜNrpx&}t k(sXۚrP ؐ*N@σB#]=/s&Ĭ*?U,dWClYoSnU2Ig*swƺ9ydڭTv \s?}3.)ſx+$@& B%QVGf)vF @a$pptt"*-  dHς+Z0%ghա8)=Q Őx |D#*|Uۅ|m*{5e5bVrS6~=A0,䱻CM68/ QuS Z>li)K)GVP$A'#%R1։cA>^NSjV u.K p:-%ml1Nݓ9m !B^U<3Z;wW#tB9u[ɇx(eC>rb;tYO7ZM #cӮ^Vb!?WÞ=,-b 3hH*ã6AeZ{M~,[͎ `C$6~~ʖܦgm-ϭCzgЌۖN"%$N=)h{FޗDEO՘xeyA'ĪnX/UMչu0We!_Ax.t.2 ʲ$ Jf ;[1[G| Gu@=?? K$46.{(BQMEmUP2xC:1J Ngpǹ֯?^ 8"o(&VJM8=^=>c{Pg?vf5NH~n/`׾ z[.Pe;Vnc M*G"?Ŕi ^08>9%*WHϘi)rHj{-7'fZ7 p zLUlUټR}.VuQ;AE)Wαv̑uT$ qӢL4Xha,3 ȵ>0︚@ 7!7۲C:hF$UDz[ܾDs쬞T,G 3[טh3g`NX0!*& f93oYo-#Q*3ou8O$TG.-IޥK6H 7u)dejC#H#j z #c}ԒUK[og)oKрD}DoVԱTܢLKl(P5.@,%`Kuc'IuD|Sp9H*gnmJ46,w㜊]}9àxXM&NmǸ)aOuXpt罌^艦xPV>;37xv0Gn <4$[ ˎp̘sQ3Բ^R& O|+łGL8OKs&&NYY咞P௃w/t#MoY^eyisQ&; Fn82c}YLm_`U`. ?9g4̙J*a/=2VozG|%!;V㱔n_+1R͉D` qޡ|5 #&Vy s𝺨gPHarAceӰuVv(&BCyi2yL+)iS "4purt9OaQZ^T~>h vl&'ۡqy/w 9Ae=ng!7EV@?vX$lsr8Iƒׄ[]4Sd&`sI\4߽M'rF_9čR|NO{UYFh"aβS{+ZjAZAӣXDAT"eH}p:xo&]P.(LjO(i#(=] ^2Z.rˈ"ǟI`SW ab[!Z%bf_Q=&ύ$L' a$pŏ}n"FqR8 5؆Oa+X.s~}qںe|һ-`ze.JvG騊w+yr?$ރfl ȩfG'@*z=߾&@ܹXF1( F31@$Gṛi y@w]b9`aaYU J\ > x|$bxEm1˭f<-%_Hjz nS6hFϷ) _t=oFH3cY~em5;uH?E`Y[NJlY%bJ"] CmQ'b۫qK|qY0HEay'v*\x L=ǀqLY<+ 0PBsy%q Zى`1#1QTk7`ULޕ̘cmVr|﯉ .եТa;QZBCC*.0#)& S<- S38tEO ($WN[v]ZKAs2BK䱐c6[T`2gnC+Ï+M?MϾؿlጮaI yRsN&-y,ܺs0F%}DF8E'QɿZd'*g> :.S=ʍ6% =ye1 @×8^>]Qyz#M. ( koWo#Iu >Z<,r 8_ɼG?ՙ9brȷ%^+F#>oѷ n@*$T0# #?￶ḅWച2%V&!-ЀcfdL͸j/(AlZDPP\ΊiFxSS`NWGBz6%:^o|e'ي~4~ @~V@<=*@"}<6頀U6>Xv5LղNl<f/x< \^4|)luJ@_е ic 9ML[\hhNB$8Cˢ\G2VйJԚI &hٹ@\@Qyߺ\)H!f/7NSY;H"(N]|z*5Le2/߸>K]%B[j'Fvx]ZelDn#HV@Kh*VPDXJO Ϫ"bo(gЮvdj<..$czЎmVT=w/WZ#+[|KژGaj$CJRm8BZP<>v}Y-OmMwF"y n)WBat@fb.ԻL'Q<7@3P128[;0E`788f{!J4԰iϥO"j0.G&?={}z[\Q |k"ԙ$ߥoaR*/ AF2X:эE6YDh)K~vTn{WnycjOf9c[?)*v7xHZX.AER`̦@}*c{V ߨ_`a@Ae{7:K0clh4M5] % ,cqv `'n,.lj;]Djb$ \ؖs9E<; h7M!vtxunމ8%Tkfd>xt66vʓ>?h7W2k P=@a}ˁ0hEu,|\[*_hr bZ5tCP]ۤ5b,=2ti~xc;m!]TqϫؗeI26?i9\MX fnq#1> t<&}d>u {R 3\`CRΛ;oRByѱr|RP3hsm6_%Hag7|uj 9-B MѲ !ng8]xb߲[j:}K:,_  3ku#UPC`_%|Pd_iVQL}q< %w$=6'L-2) q> Tx~vl"M0 Bea睦X*,x]œBףM"f׉]@OE"}9\.1s+w_{Ck{mwІj)z.яAtk0e5̽Z'^ klÂ2!&IukXć@/5DYOXiX˱>]JD~[S6(9&1"03PHP\.WE,\w{GU AV'mɠ7^g+NB ;j)'ȩ:60OվKfGR;pfF`_0άAnT0rpc%KLdf,`i؀JhPRzAy{6hsk6nsU} Q!>YEƴճ3<{Smw;ggǑ?6>T[jIz!fS}V˜@F&Ƅ+I`b7`2M5n=ZEБH '9&6;塳)RZ9yY3kD{`102c˸>KƖ|N~f2W+,o] bgR F z>kAf0g}\^kT!yDF}9¶an;>0\9q= X݄  qec1HBm3qIo j .@.ۑQfB.=t=7{F._y_԰(`1c{Ը$IJ5cc@xNiFaF}Zg\{FW"KA@T$N5dR#zm[D&{R96Be<ݕt(sXzwSFI($gYZ  W W/O% EԎY"!FK}gTYxqMEVq>f_].vlJ`pd3fIa|CmLkyD L:Kn'GH*ΐ o)-j,,T0vb$͍Hv`:?TՐY_|L?l gM Z I {2NqaST>kazF0G ڲ MszMm[0Z`RF46D@EE-)OUd;LE#O%w Xt9׻'#t5u,Vt2faNO}q3j2VDg&a ?2omq#Io*1n = E@% 8>yqD[t4V俼2Z%T4mnUƿ`cCMte" bye~|4ưΣn,ps0[{Rr2ı4}2s^da&;҄b/xcc6@FUn/'N90Tvy_-_b웇;M׀ꛓ"R5NUh_uWkCa1믤lR=n_f ³r Y'Te!! //N /G% $Well_Quasi_OrdersOpen_Induction.Open_Inductiondocument.tex7zXZִF! ~$ I]A-MՋhvG"uIBm5ł]DSOyavINb#f2]ܭ9B=-8FAߒ6.CWmpJ-.^emD%3byU.DSb'yZjC>9B1i/2Ǒ!O| 3Às͛ 'I vJjQ$T . f&uŃrqՆcv>=hX*DPvy0 Jma*n^o$p,zH )Έ (ğwIS'ӑ`X"06/)14†p#e>ZQS쯶tt 94* ) ekfimlGEC FhϘ#]~TG =z7Cz^bV>hKc$O@tMeىBwehC]ÀFakK KREzj[ݲ/4U0y?ۆ}eu;&%@:S`<b!ĒVEȰ<ټe uMN+\mۺ~^T9[0N[PŖf * 3u? n16&tDcпGz5nch レ}Q-r)ӬCd2iC/>Y31h'<^44w+guE5S!"U : N)Xrׁ"6̮4|7ԳC/㴛)+{GaH[ڜAw]ݦZdkx fΜTZ7Ü%G&aģzʏꉒiOkO:أEt֤Nj8K!1pR)+޳"E|Տl6ĻVWa4~t]i]NvΪJBh>p}=P'㸃}y:^V&y9n*ǩS  =zLU-Լ˅H7f+qߋj/ؽ]Oe)ْS*?V`gCpGx5؎z6JRl'k9P\h<³}e< FɴX t: Ic XnC^/}fo'4+& Lt",aZ@=ɾYgil*xY$O\VK+MT56lz!Rl 噏_zJKe04>d$U-(+#Fiާo"㠓# %t70B[_o-sj:=0܇- mCэD$#R T㤹05dj`hznj!6ߞ/;rw0Ϡ&Fm\ lRqzgV 7au8#LZ|v ?g_D#FaH swNrKIo`顡ڈ[/(;RP_hlPI&"ûa 6޿ ‡dJY\?poVS6tDsi#utbb 7/ pgYZ'l: sm&'JXղvuX/G6-$gK,Yfbdqn#x3iƖaT}(0bO>F*ɿm@ DjjQ.Z߸T;+xMjCxΏtXs[k6-_y3FiW3o:ġ1NWja Gr 7(/ViMwGu ؅ N? yJXד7V½eCbzym i$8ulSF BHyYFFRszZ@`ݡ񦎏,gvD"cU՚3J vC'EpiU__SkIx\ڷ~QnA@e[,aH> @aV/ h!e>.,Vbw5џ$_)'^4`VWbQ7Yvz(,/6WP۾1+ײ4y\cW8[o4<~VXIV5'f'auqS˶t0T$KXuI=D;O~譈WyV˄-fA%>&+^cBɐ`4( . i/SVqNVҼ攎cm$xI?LїnjE*mPOu*bv(_"yA($ZۏEZqnsХ5A_D=ϿźF~dE+޼gH5l)BI+P# )ԑysӜGա_Lu*M*hjRŜ_ %jkT{icrwFbJ= /ٲJR 뒟U~l SdI*錠 ȐcdWn9ƴdqK} BsUh$au T;p$ߨڸƢ)\_hjqGgMvs@,QVLLJ%Eg s§mi2$B̼@AvMn*S|&jvwk*4 &,R0D&ٻ'+.5,%V"6Dgd3CݽcFJ G 7b `vXbɡdmvר}[ 4+|46(,\jˏDbgOT-]Tj~IfE\٥ =F;:qP#9D~0 ||`%Ks 65 #TZܯ*~ynh0M\\C0A'zMmg ;KMo3@&/kWs#{CBw7kHw_& k AAyer|SFBVUbQEyNr8wHt^Fq![J90֨cN"\}N.׶dyW%/t&88|@Hwu*4"v!Q<]0<  WѽnBu0S4g-:j 9 X:\)y]R bA| `>@[q,+ZL19n1BPʈS֖]ha+ѥ|{**:\Zo7w) "&SJ;1X~V z{G/`E]viZܝ>2zÌKWJ3rH%hkLzO У[#vuW!" iq^>dYD]o5މ_%SwZT Sb(q޶؅#0nmIS$S$Om7֫SЈֻŦ J?K^`C$8nB83 G6ɾ@\`@ ֌,Y!J,`RD#t#ro*%_Agu&`}`Sej=AיtR/fLz c dz-+[B=א!ʸ;8a ("Ǝbtqpz'N3CD Si&`nmeLrZM5/hqS`,~/PlPP.DW3e(p2 |cS kP(A.zt:&RvZkFμFYu|lDd 3E,xCogDcBĬ8lPs>]ϥuxo/a}Cr&PpwM" mAM˭<6*NEbH$o.^UTµrjeƌ=\N,Ю<`Kאlt[1jӶ*"\^-28$n(/2ӧ`@Sֆ.ԉx lqZQc.}Sidn%!OJ^|r(m(lDmk(^$=;\'+`k?t?c'4+M].[3$vNDE!iF{g1_?5'f^ }DsRbly]N;ݸ mnחa\-%00`41n,TmǠD 6{QlqȰ+sv&ܦ=m׮tM|+ %͗BuC.Q=XqVz}ZD7PGrm8M3Ѥ4h]ЌUZ3w < ѷEj4Y)XLOWt"ffN~',B-TewJ*4Y9lUo*{S*s7{^+ aj"R"Pv^|&2~v3Ќ..?SM+>uC>law&7i?`ð%M@\qT` Z-mkkjf f0=ž|̫l<>DV D(I䪉)~ #bfeAn44&}i"0Wy",߃C (i9N$?ζOp]e%x!E@ºwOTvk5b q"qm}h5(7i+gYZ  !  !b /?% TWell_Quasi_OrdersWell_Quasi_Orders.Kruskaldocument.tex7zXZִF! $]A-MՋhvG"uIBm5^eW>2%RWtu`o{?FЭzy +ӍӸ}i0jN2Fۻf&'M[ߔ/Y*c-% ~),젧 gT=M>𵮔Ճ}Z*Cjsj}Ӳi䦺Qx8؍N}Xm F $`Fό7F9 B @: ۛ7w b2H?~7)J׿Bl'o*%lx+fH`u5IP^8"})͡)=NUuB RLc\nM)6#ßoиDޑk43ISg*|{`d+"3ѥ5[њ}ӥ;(. SC =̄# pUK#s?")[x@/@LW_nxsΪdxYg TW@jk;?nK_@(M/TK1\2y|'gR+S;@d*)m꽚CMiA] {U# wLa؄5: =`JfV/1-Rվ†'!F՗}kwgQSҔZH0FoJ*3[YgkX$xwik~$jP@N]pȕ `5`=76t{$s|faM=m+KYnf$=`uo%r/^rZٙ _KJϸ2~҄[;qtm |$KT@ nu{USa!.W+nwM+)s?Qp40CQ7!Ì[`o]J#&~%7@z/qM/4_EKJm;DͮEOG2R;[ү,w5W!:0^w7}Cq#U7ϊg}kBMb?nLAoMa ֮pM$#b ğL<G}q@5 "z;`d H]Z'tUT4:#I s{/ZL\V&wD}PE]iUuG>Sbc3xf9(pR▂Bp, o7|F;Os8穠50 z[Y 5 ?383zGĘVQ8KP0DpszQ3adصy"qYDŽȨh >/L0,i DGBUE͠EKOFZ cЭtwϴ]OQJ@<9DՙUpŽ+WpW7e'-r;r6#D4N0,].&/Tʌg'P&l*>0$+{]B95WH~:Yp!:1.v_Y>e9M"y$%S~[4 GX:1(< <(!KQz l#hp2ߘqFu4Yf!b|g ,uIXmӎ^cj充 gI9Lt C!$D/q.-|N}0\,!b ƺo\e$PSx"^}*z>D0NfvNψ-kJ x-TZ<_ H% 츨 [ru;`PI5)b)Sm8.0 Buw- *4Oba㣫]VRqFPhY\P2|ue:BcQc(TjeuI {\mF%p?ޗ6rFC5MlQ,;+嬭B$k={5}(ۃ;8=[:*4f.m72uGB 9Ǫ2\ډ {|Be*.(ghM=2Y'Vɂ̯JKD>V4robl >oY:-[JxbF*+N~foGvF)0~I^eHeY.T;,D+$ntj%tFfD`{efGOaۇmIEYd u (Չ({HDr_Ty #Oh`XIREda;iJ/OcZ8#ӝ7 l&v]P,dRvuwIa")R},ű$>ki*(`t[ۄ@| "-9aF]gvcL*cv[fn9rUV˄κNt >?b|qlM*'RldKa6̇1t$"ciɔXYto dpKqEyα>H-;f|%DZ32 fyL 9_&QxuNEXS}_o+VLA5Ihǜ_^[9C"9lKQ}߰wDZnSC%.1~G@לBRrOKcg8X`bD>~.7$U 4C=}΁Y1~d996'HP!J;~dF|'xu|kKľ` }xR[`x2}Z /umȁADXT7lȉq#n<:ioKчPNiJeUlpgneVbE\骿)@Km`P~@8,J9/!;D;UJʴ4dBV' P3akEIVURd\x"M8"P (5ٙ%$9nm;b|ůKdXQ"-P7;`O[tlJTRbLq,bϿEܝ=rFA&̡knvU4p_CULOHؗSP,`tՂZDCBӏ3eʑQ_kIv3陽;5_~.QK9`^ޡ*{HZ[TP O'F-g K<74Qnɑp6tx۵f ^whFko1b6BBQѱf\,"x=ѥžWQSHh8Z}uw/]bL:ZѰ:E骕 Dz,xpk%+BY0J OBu}w.f2KLnoGeNRa.X"7<;#* ( ׮G:l|\xuW7=]zL%+Pg0皕Kz43'ͣH>/il}V;)E*!v\ck\<|yZӕpu|0u5}$R mqstw͐{%r稱eWpp7.VэyE֕ t8L\}VBywobt֮g5W}ѧcFeVȄḤQYAC4N.+j8_,X6PxWɲvAumzf7EK2!GgK釈05H"8_z8|pb鸎THý+d|J懒u6jrDHǥoY&g 74f:︗IS7fce8Jcĉ17_SCLڸBZuv(EC [Ggސ/n fCnLTj8V{ Xyl7xHkUcBBTBKQ b ̏(x߅֨=5΂S0vZs ݟOw2[a+3[ ^&y_R^!C+]K!.EbC(C*/x\ ,MڴbGؑV/s1܉Ϯ~!O'9ހ_ߝRg|"ƙb+15|ц.[ߖPp\t)txЋܥƸ3ecNO8g4o8OHӚ}s9aq!lU- U/\]j^>&3v[T%ѭSsշ@lGkUL >-v42"z aАMa.+Rwi?sinQ&Zx@lHd=)L޷(+V q L7_Y{;z՘mr ãm26 +OuMmX [ m(̅Uhʗp?D6ނMB [Oh(ZP xFPT|$E2ec YOtjEzz|i F2wKXѬiʚa(1BrEpz%?-)IH$ȔՂ|ӌBRg.sƖ ^\#ъ{6)95/vU`%^wp\.@r`Հm `w8Wbt9m#tQ2.{ƕ0ڳ†.x*pAbu7G BfV賑|Fc+e!jyA`4wT >$㙯oH^a3XF_&R,A9 ފ"RQRϾQ֊jbbr^]-Ry;PguhDu1kţDA_0rf_/MJ%ipOA˴1Z qOi쇏V#SCǵXxMc1ZjrQ5'F enS2ToT[wgʼnSty=NNU0m$&]FtE@rzL֑ZڧH{4 x]Q]fáR-*ݡa/77̆{J2Olm'By6HMjWCXےu7 *]+K],3|~d܄kYt5G$YK^P G J,:CܽP- tvNIDZޕP)O > Ԕ2ZcLVp樤<t?A#FgD^]e,[Qs>? 1VAA}HZrf;YFƟ\xvS020)c1]6Qt87 GUA-B||BVjJX ׃ ҇-M׹ BxQ|& 9V2ʄ4NU&\ӜiYMz/>SބՆ;ER@MFN0K^ڬ&͑!d}eӝwj]9xGGoaJ;J:LPM$s[5꼤Omd `4hA༞05yvSB |Α+g+7i }Fj$!GGVx[7rܵwesDK*Y{;FBH4MˆӯvFUBƖVB2$'t<npZXaHIfQNM6#`P}75P}7`q梃^[oTh01P8ol"HԊ8 ,tn <fAv?d܎WwJcew*L+ 1EgYZ ff /Q% ,Well_Quasi_OrdersWell_Quasi_Orders.Minimal_Elementsdocument.tex7zXZִF! j ]A-MՋhvG"uIBm51dmrD|9?jv7ވS x_]ySq A׏@L9O‰JJBvuT( {{:Z?sROzAPCP9kJx\Kj@J"1˙ 丨*4k%$gS5GGD}NZGI-_4Z'lnRE SA+N%L#-b m9TLd(\O!T3$!Keݯ?iK[BÙ*n∈rcDH'nȦ{Ɛ[Hw/uYPǫ:9G`ȚFe͗rwN8'Vcyݸ0F\>;iy`j L$i8}71-HMW/cB?W+85l:CFj,#ZnnK`̐bYNtAy?efW^K)V+yMJ0$>)&ZC)QS;)i/Mp>gh2&3M)?1z0јyբLVbJZϽc5QY`dvy*mt&k7Vt$^ݫ Co4Jϼ7& /}(7n hv:Y5)}8Jφ1#_nyDk%]X͗l֌8L7׶k(oko_f,Fw4#;q:2̊y{{dUdR85HQFW./y)\FWLLYm=) s4؃o|Vz)oQ;B~-{r|@H4ZN$FX71XxyB+{ y[a+ tjGU8ݮr`En˟ MskU)/`'Wtr|C%9aƍh[k1 {j bAeKv0ԂjOdQh#?q!3]!pyjXFS>gq{e{5lq2Bیm{?I_I6`*39n~Na]3!0kmn'-"wMmy~NKksݛ!xqvT6f T lg r!Е*zRhb^oHMBQ"v !v2R|@a>,RZZ|yɣ";R#}WT\Up3`GEq?|f*H%JXuϾ)g!&2\EQI⇁}I6Ih 9Z0"K{,{ҷU|d CM. @3Ӳ^c.-wc c]z^04쁹ێ9]2ڕvO?YpIW/ c}QڨQP64bpﱴKbkȵUYa*[VFq%cWcg&kܳۢ\_}Y ܩZf0;U}U4oY qm8 #ݦWJjz0#- oN_oA9"*RQI3JLq=П֘jYrr>OAQyأT}BQҘn Y%M;!Lix뀩Umj/a@+4Wx)a %An Y6*|P q O:+ %+ jmP } 3_*qllƋ(vR~Ubs+@{CisNYKLb'Ly,% }mfB1몉tf#$kO|>( t5D.6. ?n<uhӢ<|8~=D%&HKh$I" {Xk*.~o͠!~Ʒ`(fAJt%}JDqC捘<%:Ӂ|ډ`m>y TS%| {nEh=`4c*~A➊kf ժ~aQaw^ f2hn^ :L<?[^j! D^E ⭜7Ӄ : ڃJ`WJlv>z+M窜 #.@y>6>=Q/[85lK[6{p$Wj kk7kd58>>N1Aw~Q,ஶ(qљ-.Ҕ}y; ňFPՌì0M0m*WF/aL@۲Tl7$9нbzٌFQnc!&@fv43x_2ro- y8 5i,I޴k9U=qEz%)zl72WqQWhfָUzR&u[q`yLaɅec&bKb8ca)*owc]_ O׍dQ o]ADiCbלUlSo^ey11TBd4Wo )KO&nl57,~uA]n%>KZ>^nV}bl!X[!BpU!z IJd4 J5NLCp{%mt>Qe՞8sọ렔Ni9"hjh"2fs ;]/؍qzɄ:]'U hu&` "Ӽ, أ0J+4AxeRSLR$QY0 WɊ;N3U^Wg'`KVQ}f~so&مT ҃< TuK}-$OzO -&Zlk.19NH֗/t;}1TH3(5Q,3ǻ?jk_=##V^jhkY|>fBmMڽg/A a?|6_#. 4Lf DžR=+WUr=ISM$5ltm$zqbB}sd9IlvRt`UuTz}ꂔBn,`Hb%8oj4c5:rX%GXCrnck ZaNu;$_ q" c(y[NՒx*Iq` l7fQ[ZNf !IjT ٹ0ǖ ɚgB+ns:'.P&AO2 9}85!Iwxkv#0WT&m}8:&V4^ei RA%]fhP#zTLY*n˃ـ^/P85q۔mX@ ($U[VQ0ĵBJJf/Pg#tod(d< .>/FoOV6}րOg24%;Y(:Kʕ<%3;#<Zppէ>H)^#HL`kb),_~Xpr5.V,QES-Vr~rX:e2YsXo&X=;M]`$DXCNjjҰc. _hXZ eO iK1Cx5v^(b4#űdRH1us"F"t .4b؊^4Rk _;T:r70PMvV\aCi&.lV5j`V%NSW[XnFXv=z5\.Rmg%eŧ E ٲ+2OVd[أ2>Nǜә'_cTtT_%<{?:,5לQY|!޼n*D v L*Q03w/@J(7kAg,b3^=MdQ={J*ݻ/;JIt(C'c]_<-&JDZ()vnhHڟ%HWF99L\M+>V0 V+p@]hau5΅d(~0J,gSg$P~#}9O"6H+Գz V f/J&*3ԓac#;;툯-s(.ЕZ:.. Y1Wa8ƨr6m "D6pٔv/ܵ.;ߍȥ08{?$#>$+[Og+oQ£IE4{͕y6 <4&8X,Fkpu:?øZL *E]\Yt2ݭ^E$rbEu~$ј!<# gl!5aI"#E̶"{ jjSpc6;t\{]PyzV peM 5M桘E0փ}«!f,qpC+6l%cSEVK$5~eN0Н {4K W Rk4$h\`p&z!of䥀hQȞ󈧈G$)g^j7KeQ||@.rwv1]P [#.Z8TS$*tmsgQpKR{$L͟%z'UHxhM [ 2%NLa*C;Ҽ(O+U%%SٶѠZBcdd-Z?짓Zp_ER~˕⍵*7 V(bs3K)mFwV1B2T$6A<8GtMժwbpD.I=܈vd+n돌$UI!W@? X֓Z#|/Pax5l%P"ge(USbIԄV+m9,NaGPˎR]DN¢E\µPjZT)9B_U ̗ztY9Y##_vE? LSgܭR2pEWȭzf7qvQrt,s«b@EmZIr v"Ef)i,!I'2h<7FTK.W^.Pf΋f *{},&ѷ.\-<1o:BL67kh DM~CvM&42apJbr'*M$KkL4ͫjcJRoV:_ d>`>I_UᛶM=Dz6Uz؂֕zL8 ab Ђӹ?5K. @JCA:.M\}zJZy*BUN]-vu`6Ŵޓ0Į6[NSI&=.Xz+r㌩<?iҩ[_FdLoM;E- +ZGhЫU^!ߎd91gF~CȌ_%TeTњ*m1"jmGQ!_o2&[y-~nPkxn?#_댽yH^$ ]uy4&IHEo)r__ V_9wSX 3W$Fi yFY?y/êTڛLiiUǛ̎Ⱦ,\40 Tރ> <|Tnf)Ҩ{]@f!)3Y?3>r A,00TZP}r\/`lBگ7|[&l#ގoF^47_*k'gYZ 88]/E% DWell_Quasi_OrdersWell_Quasi_Orders.Least_Enumdocument.tex7zXZִF! 2[]A-MՋhvG"uIBm5!ͯSc"cNSs5|a'=^TTMW& kgog"$@%G{Ƿ-[aq,%ۈ6dgٻ5.F4~k3GR +Xb̨RԶL؈ԟaճ@5mO䂲v>{'#[ӤMRN4%ݟx,c hT>UdȚlYss9HB8tA l^VM.9,|7[S?Ql4Mn/=ҺX¸n[ذ-T!KHir/uDPC6%78 N ̂w?gPh&~4iI>Vԭop|d4سûcHA[;T/ ]ԇU-,b0?vÑDB:gu6PJ KHljU,0\hľ;Ňc5WH\_jmvyA4±/mI=֠({ƟA.E,=KI8h #|Y'P7V)M pmUĂR~_~oqsb[^UYD.Fǘ5 GX Im_LwK%6!,zP#/[j-fC`W,'zT;tE% xTs(Zn YHm"1~Ydyߟs.PDgD {g%><>Yz B;ZE{mx,9N Ylj,>_uyH%ŒXG?qt:r~jyI(UDSedZ"A:Wi2xMÌ݈t]x0+2Q?ʬ6Yϴx%ks?^"l4<̜\k[ &o4Y!W~%p/N \mAL2ۑp+Q9lG&# G͘i6o".Qk}k붽z#` OÇ qӉ9Bl퐅Jr0FS߶88^ è9M.:" "!Mi Ϫ|A|Ci%a>܍t]5Ө(UKnPHcL}82Ʃ"3f=󴑚ap'9ۭ~BVPꑲj-P&P9aVdy5cHf &W U-ȑ YƎ+Ut$AށMUҬOEitw}0BhF#NyPƏUhg'EGek0pVD]@x FS};2b*7{WHX?H;?) j/#ة;FQ e_gYZe/U% DWell_Quasi_OrdersWell_Quasi_Orders.Infinite_Sequencesdocument.tex7zXZִF! A\]A-MՋhvG"uIBm5ɰ8-'hH]^T3{9 2/Eak`uMtH~%NM;s]-@LJ%#M Б!_[f\@a=7TG3 p :ܴ,n{o79' hEC6MF")?m\D\]a7pʐ`0gx*f8@Qry _Ѥfh-Xkx!5ogќziRhAa V1rD[cQn1i)cN1@a\]W5J3Tnɥ|Ȫ5.v#{\UYWkY@rʹNB' ,U9@PL|lg^Sd]O-g<fC""["L=gP$)gvihsAOS#ƢmC#j*QP9PGtwDlkMuJH%b:v8o9< "iLa-2syB竘XaAYQ9ʂԢ|>:({~lt:+,莴Fvt?)r6bTqɪ@%%g"IU¦. H+X&9Q{HPS7T/=%}i<;1f+[}]xnO,dUrc,+ "LG "'`Si |#HsW}h7.lU\7ӭ &fDvenWVTnI.f,Pl|pԜ8W4PǩRL R8i;E6_} O4xH+1Y4f8&lT{m??:Dx vL,q54\WKhlyKG}~µSknPK- ҒoV?c`! G nPډv6.0}ǁi^*J<Ɩ}7Z.ü/z JK s) t8sTNGX/Cz&QMg<8AE*  L34|IJO]& ~ -H&zO(2.4{c8xYBy;vbnD5JH#Zs{ւ/b[{@[Kݱ{TB/rlV{yn2I #B c'QKO& w aAxndIP"Ꮋ1K5D wVVǐ25C7 jjEr;;Hc(yD:> TOX 6qK.䁧RUO)CHyCE<#f|v=w4~%tӦ"^ '3,u9NskV>ta !_ I3V>[$ؤ @k[- \*eKAz"@+Mp RV]$J5s|TN3g:3!fXXIM~ISOigB?Fc.vDə$eP3" c9{BxJΗ{Dfw5chQ݌%jxee͠ԑo&HȦ^ٛF[/wLUdIYfƭʚODR;QbtG1/G )j7/VkD3RQz{ыx |蔕C24HqPqLz5f1쉐r ??ӌrBu|?!F\/G_Vdj艥*R|82lȎȼ$XsډG4-j-Z gߧ8Łd5dZbNW[RCM&lC"P *̕UcLXq58Kΐ[T\xkܣi(% }bώ% P=[Y9bQ\jPTSů2qF@a Yo;ܯ^x З o[Z)41v ¡^[ؽp8 yzZ#_P@~#mC @3/1xn#wh)b.~ 5& +ݍǔwSxg'bi|@E-N4j}D];!/X..Xy_m^pqfL ۥ(rvj 9H%|c߂`ڱ dQ|<| QT-(Y8zsyPI~Q_T^, @7{z`I@.&/Ǔ`X00.QIs[;sMCxZ@rhz'bUYDN;;?iNvw9GI+S-29JknP=lwR@|^[ 1SsR=SOvݍ|p:K̎* d87ZƋDӱȅCbFg #;\(~_VyH/:RGZG[<1$N߫Ɯ.fG#2S m7 O9\auhAWLD) 8+wD=hHkMܡޅ0sVW (I[-[T|ʗ;XZߺདྷunz{Qޞpc B7X(Muh|J{ Cyx8dۺdls_&ЇTڴ%"dROXl"3N3A] ilj neKJC |}#`SL yu`&RFyea/=051w{e) O@yQ=^:v/0vKT$/MS.tbAo\YցR;@D$G_FJ]JI@j:敷){Ӿ^mrU'wnnLUE A8) ܈LN + kJ„X'A13ۖo͎GJ@OW.@AU)3` frA CQ_DN 0.d-fyDPFXtuߣ 7qT`ñ~#0CgXpε4ݩ~e:y:{ql.4N;yc:վØޙMFT@^ 31٩ Gۇvts3}"{~snj-ZW W:|BFCY9nxK8FvoRZif\V\!mN/{VK}0)Nчzn8Dk5Fx!/::v` &1N  IgiWE&Smo+(Iٰq&-@U=rWC G<59hcjџˠFYD藥Be V$pOӶ~t>y{g.j\oК*U@6z;*/gj/=Xߗd+9;2쿕f/h?Wo("\ۓb;a-aeGlQBJ(`Vbaѿ%X/hR:G @z$"P=-:X0 䑱gYZ  1/U% \Well_Quasi_OrdersRegular-Sets.Relation_Interpretationdocument.tex7zXZִF! "]A-MՋhvG"uIBm5ť}(ܨȄ,l-Ixl0C6OÞV ]lS,g\Nr{xq6gz$mqCVʜ-~~ cV 0ޜjݝ 8 _PmuCDYWj Yo/:ѷ['|:24rLⲢsmV4}n W7lLU'9&Cs`LBy׍],8VKI2 q8-sqbEY.V'jzt;ЛYnwD'{g<_[8sEWcawjry&Ĥ sk.+vIAh7{ж JIHw AViK!{kҚE4uh::&#Uv 3rJr3ѽ3G4z?xb|( r' ZH14ć e{/x` nzeE? *Y=LʴW+6Z¯0PaoZg6~ aU_n{3?!젱2VC؁c7B2FOO4^k#Z6KCʳ5t䑺cٺFl1g9ߢ\j]Lle碔D:ASky?")0GjB9TjRʡny+kb,Rװf(㇡bE .nǡpw6 rj@6@_GF]_ooِKjz 4cep|q䖷 `ȱ mb.R{İM`ˈ 5:9I4Lcl<"(i B j'_V!L3 S;푁bBo*8ѭn׫IZŴ3OVp0ְ$6 ^1? d".|6iWB?GxjBx{}$L?unNFEyN$xFGlS80X{6 E.agYZ L/[% Well_Quasi_OrdersWell_Quasi_Orders.Minimal_Bad_Sequencesdocument.tex7zXZִF! |[ ]A-MՋhvG"uIBm51dmrD|9?jv7ØT`貍]d'|.+:/vL"iF $k^ lҫ"hWߜ.Fc X)i]B RyM吵I:אjTڒ2 -~̅8慡^DG.0Sh[=$cr;y%{er#u+RaOc:7%,Ka#F뚯uLaۺBԛ;{մoCaG ~}m W4'*.X /^}@>vN'}2K.jw<LrB>3 zXe <ʯ\_ȦŸv}uYPQ~[K h DMzs|e$p*'IC7'%u2̪q PՀ^{]TznUSmW;[n/:vOcK`'JZg䥇CEg[{5!&EPZ+LP/ɫf,G9>sT-9L{qa(|CqI}x;=bhr3Znb:AA UDH콪C{.%IP2 I~u@(5MF>xʬ~ks% P_T$ke^2BITBG|rȔ>U0=U?^;\ʊ.P2\+arp)LMM!NP4{yn0['3ۘ!V~+ʉ^\B6eYr)ei+('HW_ÀOi\--enL-P{cwuiHN>chT^슃V:, kSK7 CອuG#`ŰL7qji$K\)LO!Xe.h`(C7iOu;"8ud3n tn+VHUUwSN_g! ,0!3=5n?3D9\~ ˌX%ԍw/DS@?`F b0nH U+xm%E:V02fADX;δ ڮ:?ڎ2%I:u;Z [/LqM~?9 FL9șDΠ+#'ASɼw ȥF( BյJګcann{^c q[Fo|RHԲzQX0')X b ^[Ĭح-ΒnCU#C<eoZ5_&X$++cl/Ucu`@Gx$֕tFmbm]J/`,smۄA*ͤUm фDњ,7GP5b94pgaF ^M<SnNІX`n v֙/!_ўG= 3iŨuq}+OqǨ񉽥i@H:Ǧ $N;!}ohY֖M* t $ 43GIIMGjp7Ī[M(vQgJHJNT-rN #Ȟ]دyix LtFdUbt'(B.п2{XhQBj4G4~r!v.,8n d ,;JG7C׹.|i >_{:/M-E!l CLN$} [kϻ !V3yb!GU?\GldL/ HWǚ \ft5pbQe#7vA%5kFw Вj{/ pZIҌKj(L@ʷ0uRo?B01"8&a,IӨ/5uV֖8r+r`̓ qnkbgYZ  d/K% LWell_Quasi_OrdersWell_Quasi_Orders.Wqo_Instancesdocument.tex7zXZִF! %J]A-MՋhvG"uIBm5͝>[- \*eKAzeKm;,c^A?-ͺ:&{Y>$FɒP`aR&{I9s(tJqZV9vuL9;[y DRGۓbsH}G5rZb'|,B c8S^X*dm P]w*bd:ueArgԳUr綴Uv#b4)r uyaҶc VZtԃz}ЛȨn` Yz܉Tkej@:_(y~\O ,+x-wTw? Z(}(za3(G4*{HCpftV2+Vo/_BEE)BYZoL8NYi )6UH W8ݐs=Z26*VdQ{Ǵ VAxٔ7sf#u9HT _0K8$hd2`|ӳd<&80k X =Q>² 'ӐslNA_@>վ!:\gà iJh t#M `;-Iǘ(m<BL̎ue] 6&_:m% elOe(?o7~1P%30XraVTb(eۆLuT{lIF2oG~[Qv؈<{dҫ=ȐF RVF@ۺe) у{iDQQ[[ u]f,MTmlu3Ty`I @|0}cZtx E#(K^22+O5NCQE!i 6M@1dЖ)Opo!t5y; '4*g n|7d`hUC東($c9kvUjtwxW`흁 Hּ L#|-F>c3d XSSmMgׄ1)P'{B{ux }Ei[Kl:~agGk;,ZWJ`1Z} J gYZnjԔϭ&p>sk%F{)53lWjSH-C7]2Ӹ٩wؗD،'c5Ĭ?Eʞ=BqV-{+Du>! .P+;5vΰ¨%H+p(; iK FX '=uR)5kߙ2Y_|*;*m4B,Hs=X: :|=Z RR?K9]|{)syts=>b䂣hաƘaiw,㜴ߚw_G:@isǐ,-Q>>hIUn'[13 \r9bE[$Faw)0sr '5Yǽ4 ky=Py@Vo|;5[JO_88,lK̿UX4xݯ H rG6G!ijd~0Aeϵi3rJIJ͢ARCTͅMdoxzRԎ)Z|YQU}۫ױ˺$0h6qF~a( J{_'P4UmDW)h4Qu+kX_!҄+["̀=xz,V+ / ow&4a"=^G`ܺ]{ӎQVIAca脵e#d9p={‡fmĒ|آٟ-m9 u\6W005D&r*;d/D)UctA.h㣯m]#IƆDqa6>E 哛EQGs,;'rQ8Rӧ|ݿʏoqy6hn tdW%~Ҕ撚gWW7 rSD+0<;wޏ<0dQի WFGGfp_ct0Jv$Ok&`a_Py=?qx=/>r0AZ[W؛2S*.zC}j)d1Hۉ]VU=KDau0 8Mq]a5K-NV W&j:P<<ʭh'2oU 6'1TD AFKAjjȬceay0l| TC S,cj`;b~? fb ,ӿF+4B+ [>wt*ߋG1G]=5ByzOtrp &s(F\| pfxe}n'&{zuVBzSkp]vr@G-]JT릅l.m˘g(L% J[į:ⳇ\N"(̆A?rqW dq/J= 29!~"ٷXދ0MCLu%IʡZM4l)(S_Kh+ᐖ 0G m33kՃ֛MN2vȚ]،W^#~2΍U 3'2h=D0Ohq>օ2Kf 5uz3!*JlebK0^as̎-A61B2!^WƘ#! 6w;[{Y5hA~|O{tx _{^efk<>Tk|F|a 4¤+^9?+B`vSNC" ]6:Q9ۡGA;m0mݜkpMr褔+rGS,t׿N:ZK֚;1a52GZPr.؃ 4u/#s'{_l)<5]9Q NG]1,%x^g; +Ѕ5W+[dh!3]2ܠhמWmTROzsi583c#0,XP88g!5ŁXRuSj| 0N*פ3Ll7֧p]8F>c?NǨ`e'S6Hkhjv|GCrQ̲0 | p'l]J(w]$.؏8a@袿0E.Ǣw& LvkcMN AMXb%ؘP=H&ǝdLfjMnR]v&?rf}vT#J SO&7/Rf29_͐`v9'&(OV^̨trtNG $g+>Z>R a^7;^BLӴL/2:i6e;L3ɣT*FKX"j=&9L,j̥Ƃk,d  $\Dr{FpYQזƅ57sH“&s