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 / \$ ] Well_Quasi_Orders:threads=2elapsed=28.317cpu=50.896gc=3.404factor=1.807zXZִF! ]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫff6 :ޯ47{]is r}r-#NLʏvj2,,,W.V}kqDxS*e _ל <RiGZA0zwۦr¥q!Q;F叐y E*߁k){mv-4[ޫzy%Y՗X֍mw~MR0;k HsP,M'I2}hiץoe8k  zPօG~=nG'5# / Well_Quasi_Orders"a/U% }]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 &q Q { D00 g   Y G/U%Well_Quasi_OrdersRegular-Sets.Relation_Interpretationdocument.texB/K%Well_Quasi_OrdersWell_Quasi_Orders.Wqo_Instancesdocument.texA/I%Well_Quasi_OrdersWell_Quasi_Orders.Wqo_Multisetdocument.tex?/E%Well_Quasi_OrdersWell_Quasi_Orders.Least_Enumdocument.tex=/A%Well_Quasi_OrdersRegular-Sets.Regexp_Methoddocument.tex;/=%Well_Quasi_OrdersRegular-Sets.NDerivativedocument.texG/U%Well_Quasi_OrdersWell_Quasi_Orders.Infinite_Sequencesdocument.texE/Q%Well_Quasi_OrdersWell_Quasi_Orders.Kruskal_Examplesdocument.texE/Q%Well_Quasi_OrdersWell_Quasi_Orders.Minimal_Elementsdocument.texJ/[%Well_Quasi_OrdersWell_Quasi_Orders.Minimal_Bad_Sequencesdocument.tex ;/=%Well_Quasi_OrdersRegular-Sets.Regular_Expdocument.tex @/G%Well_Quasi_OrdersOpen_Induction.Open_Inductiondocument.tex </?%Well_Quasi_OrdersWell_Quasi_Orders.Kruskaldocument.tex D/O%Well_Quasi_OrdersRegular-Sets.Equivalence_Checkingdocument.tex F/S%Well_Quasi_OrdersWell_Quasi_Orders.Well_Quasi_Ordersdocument.texJ/[%Well_Quasi_OrdersWell_Quasi_Orders.Almost_Full_Relationsdocument.tex;/=%Well_Quasi_OrdersRegular-Sets.Regular_Setdocument.tex>/C%Well_Quasi_OrdersWell_Quasi_Orders.Higman_OIdocument.tex9/9%Well_Quasi_OrdersAbstract-Rewriting.Seqdocument.tex@/G%Well_Quasi_OrdersWell_Quasi_Orders.Almost_Fulldocument.texG/U%Well_Quasi_OrdersOpen_Induction.Restricted_Predicatesdocument.texF/U% Well_Quasi_OrdersWell_Quasi_Orders.Multiset_Extensiondocument.texc"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[M)Y~h=t=Nڊ+TQ(8*``F^mҩp:%]a@&xR6 zxL45NzƼcPD&'& -C4č4ŔMF+4B}9 5^wMdԬbRQ?<'((NbLU>>͆*ZMӫaq?Ǿ6* n0=хl&M:}Blz θ6M#IO)wK!Oz I~lMyjb,oN˔P]#./'Qp.M@#¬kH ^`>r@5]n5SHcsٿQdJq̓@#! =26;v_P)jJ^/CB% h bTFyT^Y ӯ>+[Y >%+1 tVF"[wҙM#D?U8aD+;M+.m zz@N76耺Mt /lզ:RjXXYu0\v$ư1 $u^ V7@٨@:5q |$% a'_1c0t4[FNO%un叩NOT,7A>Cw}ƑH綿E*oJ_#yruTz~90"i<%=s;i9s-3jYZΖxZoC+_T]{T*w`PQPX+mAHٷޠ)%`|Ӭ/uYFQid(㼌0Njc<ܯ16l"H9i"(K3'Xc7֒ 5=T ] `ҋ_K DVE.H}"Q__NQ]JS>qjB(}M:bk 2?y7Չ{(7V+~BRxբ cւᛷ9K[v"ջ9JB~\ɕ]8#ƪ;泈]8֍-U)sپL4StR%t AwdTOe =)+?kZ販K 5O/ts8(8>j'3#cUL</iūBR۾F1~a߇ǂ2*t e΂=z[?9%bg0IEG$@p'١šXU6wVc͹аGVdCѐ u'g%W\Ký,mh K$!m̫4"frСcPW"BA?)9.g$jsy$%%_> 4`bZSLVMsyyTYl7,d S/ض1]dgؒ] _*ubUjOyD!_.u>eGhcptrl9Dȟ1Jc+ZEԊHy嘲ց[{e!oUŌԬ{_fQԭHXz#ǃ*kVuN=nUvlOCvOKހ*'so~:cty5IxE 8*ygщ[}X4J&\y1Mj ;zz٬Dh A H=92NQ2*̜&U|ԏɡ?h/? 7XٝYmNLOšVC!S\&/eL(jYũ׉ t9l"@ud1N3xWq4Vpx_Цָ^Us@}?3]|rbA׋{K?d0iyqZTa)Tً{ Ty%j22тU_SAJ!j.;O'{9*Z4hp0ߺwWʗ7;+A~ 7[/RLDO@ւǨU!#!$if7H(^ڡU@Bb;ns+5Cu5dsqB30hPce_)ִ' Do<:`v 31fxs :ʀ !תca{AS͜%;,86jUO30A;Xa6V}2nO!ǚ ٍɠVjw։01[): ֔CPrAv˜MfzDbBsZ[gSc'$9[jn9oA&[ 3rVuUbt|e6pڗXo3-áF]ۈPwxDK q-ѓQ-@ /HCRШ4<<'D1'U&@D|,}WYFA{zaΆq@  "!*Sރoц*' %CwB"k1/[i~S}_vQb hu̳#F& (Sw|]ַ }wSlX `02؉~߆!r4и+ v{͎ g76#9kiZe RuZ3`Twf͵l}JsÆgT"h6hG6=A8} x{hNEX&&.-0U%j#hwaԣꊤI9>_`P e`rQ=3O굙,>lѩKػUqS!Q *Y Y/S"I~j7ٞc>B{8 kz- $z8LQHu{a KqN 4##H#{ⷫ8'ܳS4;UU~ w j;<PrfFO!qՈX8 #㾵y</;aٻ#65DUi|ha]N<=_`wPҵ~j zB/ʼn,yjL).DjTEMzЧd*H:5UT 8fLYn9xWÂ& X.+aά~V87k#=o)LX\ B|nڸS~OSX @ =2j*tI1iܽwPA$ߦ.c?D*Necg[;؄Z0Yx^|%ă8g6jzJܠr>85W]rfeIX& ܌ׅbJ>k'D-dkU8 ה_ &*J@yOWB~kXG[XU3&mS46s*}0[i==^N{+qUrnb.gB*F*<LnCPkXq8(To5*uPPGcjl(R!ϼ7ؚ28lSu^Mq RNY>:[ Kk=Gd`7~h;yMhRY ~PiLjVt gi h)swQyT5- Wᥘ>ǓJ=gN@Ļftf\8{|o?(V;؜JyejxtS\@1]$Kc(Lw2p1Ιj~Q,rFFx/ f^o/q'zMnԪ@vDh`Yd\RDb;L^0sOîj3&RU |֝vsTr!K05 CgĞo%qbJXYv7b*ȇo45(2 ?X\&9PBO' ZRaomBlL:7AB`ڼ2b8BmY||2#/]*yᚷ˂ ^w2T4TVHO̖P4wN#vsN#Y9  d4a< bS}F30%MT=BˉY:,t+4 j s\A8.}XEϜyuӠF \7_hLxq\52ҟ&aˬ1J|cyxm[&")^,)$OIcGU|@h!޽yn |y4ܸF.ߋ\x7{G/—9Uy2 t+\i@:k`TFa7X&^,=)[L|t}2C6 }GH {Â#QZiݘkI7hY~Qt5z΅jjIg3U Mˠ8y$M;9>=fhGEJxe@r\ˢx=IN(l])ί<ˀL\FMCyo6Z,J[% 8FzsP,.B`ZckY>pq$];\MSKhMLqgF-kDZT }@Ub Dvt0m._2XV2[D6 xzeFwZbCLorKfcy-˯usVHKe9Pj.A&.<[NX!*"$qQB3pРETې};d<3rׯUי<,G!+!`·*5K( X}*cGqs7m؈ oJ[ 1dUx]K{CAYQl?K*BH̒ ^\^ޛQxIVWcJCv R)DD!WJHϳʾi>LE.[R\%ynZ_4UW;p\^ISgzo_#eP\L,"Fmˤ6=-^ܼ]PyQN~eͪz4r1BL_JBsZBH2)oYJ o^ܲ:ʈ(C6~v'N}HO \v8ω 9V j̺Q=OLboFH||6[v7Ƥ9/"1ny&N_%;et"WkٖfIrMa)'Fd_F(](,,['` 2t춂Z'. @ѿxkPՑ !gYZ  @.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(㻪DIv iKN^٩ݱ?gn֩@d(8Qj7zH"gW]]}C_Zsr~j%t]Q:X4 1ܣB?r\]"Zi/y o[-vл^ռ`$H11]kBpPV$pItF]YBAJ2`H`Du钹ib]"{P2֋WÞw9d4T%s;q*iorZ5Icj̗o\*FS & ' td6u.cvaJ>-[ӦnHc9ڸf R'i: h9*"gjQg|kT^~WK>֧JA4Tru]O`O ݱ(M[1VCU4E4q95-+(aAXl,9ˬVK 02_po=p{mzKɒ> hdͿ՛NrZR_DCǶi"5kw%QS ߛlpǦf~xh$N.9FmΠ3pp9:%ab6P0E`O~:}!n_Fnl~۷iN[c {<!듔nMsyI h2T"._Α1W}-[?yEwc(ŪHtxr4lgI_۶^W J55W -v0.ZݏVU8M|Ӫ}ä,z1可1 76#!$tE(td n,>*>0?W~YoCuI)zRKR<_ ֋Uɜ 9ۼP?FVg\&3ܪy|LZVɠVLpۘwXDR k gz[yu] d K%rٲǢvzTjp 5_T9S"+^(|֯G4 cfդzԫ(?ȭFs!Һ-j\K?2rMeVMk}/ wѦZr^ f21cQv"JBچy2Τ8EfVɟI ՂUvG8M[|$9 `/2729.Kcl+K1W3m?,E¡aӲ}]s= a\=j+5~M4-˂{U{KDab]%J1KZ^%Æ&,&L{ o4' E5L,jp$rЉy!.}=`eҳ3j;l,[F9D'H-$}sg(2lk.fv($zS,OcNEܨ"0e/=Ect̂(rsPah5EsOz%\A!$\v] UCuI@do)EAmg+S_ 7 =WzEי[!mv/2RPIgf,m( JwZ |u*$IG!/w3 %xiid*h%xGld4 pc=*WwL[(>E A~Jf~[GIuCSGF3= =&u7/ ۯzpmi1'V&2!Y o0GNtыo ǖ f/t4V $U_4Z{Y(<}yt bl,VyЮI)8%CE r\<5 !)XTrș'aLxѼJ. 4""QKZ6.s'$n@[M5 Akr\`߈2ARIa2/$}m#>F^hx ồGsIsW -[I.)(/rL l9b+#C:q__<0*ɹvHh]R2tjM\rY@E1;eẎ u{G1;8#]fe Z-d|ꥭ)agpoʔmTQp#/ċbd#YQKGңw{Fl6/U5j[1-op=<$H5japv\A6'ᣠwFy`8딷p+nMOti^[m5h 5+MF5OK׵2p(A}v8onYq}x#mPZ8<u}JlL~0!휲/k{V'hnOnQWr9*ĵWFҾ^QLR`ނ('5I qәA7Rki'ek >S!w (Mx_j:k֒)@E/UFX.:smVJ3:k'.L},N# h^k4(!TyoBWqbЕ6zEudQC#fw%YfEF)':H܏$ygF9-d?'NV[m[(mc;6rs 8X[ BBh6h>y6݊C6ï`Lp, 'g}U'(#c;۲wBvJHW %F6%X:sh9:H =]7#Kz*){f<-S4^vuސ-ȕiVZ4[m/|-EL椞[u2%-d ,\UwQUDn,w[¦34@IwdZbX8Zq҈v,+~NfBe}BL 8kdOD!,L9#h'}(7}>O,֌yy/"7#+co>deQyEm4Qm%|Wז9u8ůR[ X.уyLKfjI\/6^3~0v=u.*o3hdRhYN %>3|b@7L)=_iw;-)ML+gYZ a/U% }]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|ز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 xhK_* /U% Well_Quasi_OrdersOpen_Induction.Restricted_Predicatesdocument.tex7zXZִF! "7&]A-MՋhvG"uIBm5z'?SYUYOWS>*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 z +*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 [@tCx<Ͻ1pa׵(=%̚{={v+CU``e8Hx2Res|2ͦ+f2"(078(ව=PL,זeWQJ7e-'|vq+UKުBLU`^P--zz7-W&矌GN . t'lDΦ[Tj1ٶ>R:P%sȤ\ˮpy\4ԁL G3ܖLs = ߿Pq~9pNNfϠ scIȞhe-| O۹?.iJCUL.106瞲Lpv@92.UqVMC"mHI!2MZ*XPE;+ Qfx:f=B?Ly6IL.!_ة*Nltޚ,K bo a- @\zz/Zql!5a`•v0)}].v)f"JO됅I!QuUm?HjpA^ eT< =k$dv@wE-/kl1/C9D1hW' ݠ++B,>D>fͨ-ҩGxs3wWV 4 r͵Rg;ժp(]QBAB^Wd$UEؖ>;FlZZYGq5ToNCkӋ5Q\(s~ HLY Fhkqݕ=b ũ 91wV*=Wx5&%rf5R6 Tw2b)cS39O1p$^{-3N BlT?8Vc9x3"u (?N \KKfXz.z91hǏ246û1u)\}@b#u#sO$f: 1mȨ!6 '>`{ߡaZ Bׅ'/`IEkc?`Ȫ L-ZYO.C&ʘѷ[NtCuJ M/:S:92 (@bJv[IH LŠ&]b];mi&+CƘ+1Qsb͐/I2QPY3=s$B#,pGs(5?p< yʹ&Be 4~bvd%βLͶD>A^T*8DI~(Xm\^:,1\,~k1rIaUa[ -?]A%EٞoXqf* DK8%=\ mEEZDhMC<R%k Z 6<,@aGOk9GҪ4;qGlۤnT#*K9}ʄ1r_"T7}B3 0ڧ{\$4a@)j̚G` e`sq; #6ary:y|E0F0+x4 ^KβɱgYZHz|(uS&JA:DW-ٯثY#d<AwymbCa P+f(J^ܚ!<O&er4}n4}-8yr 8FK:7O!7"2hDGA֎'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(Vb+㙫\2.Q)MtG`NYMdi;\镲 r> RnQ%?EevFu%;$, &ն7EY7Bs?ojqh$ڥFpDk]A|4ɫ6a&-¶Rl1H%eS#ᆦiC2) s%Y-mruWqny̋ȘkTMsve*R}/%r=i3JCev(&D|5p 8m!:z2a.C^ ~BVZoP@I\F0yЫU JYGpɫ oM~z1Y;Y~ E 9Řs{f̂1>.6D/= /B$PLXHg:TjRuGÑHNWjO!.30SZ \[[TfgN#ޯ|5c baړr?}Wߖ@-/Ddc`}!Үrb-4d h/@ J*Պ涕b~6n (>|6^Eи]A{tɹ T~xz -p?ijY78a:Co]).&w8I#Sբ9U.~ vmxj3_߰ qYnW:6,wvejJiySSP2H(Pd??( Ϝg1kO C ٴh]KƔK2Dxt򐓀Ds(L/8h+ ?9[G< eAr_&;+s;5X%z?Q-:h 6t)琇gKd­ 1::]Rŝ+@dqRt6[0σmҟKnOdVivQ.OC_FeRi gVt_Ք/Z{ DkӢת*i!"=@E<[r gcܐ@;駊mҟmyO, ZښBixאXV m:(CIi)G?ݐ}ّR]B M;дmR%]~&_RJJ\}xv䖀5fU}ҙK-Ս?^ݟUHV72pu(Jvd[%4)7Q21.\f_gHz߼&S-HO=Ε H>578UyB)1T" хNU-g?}e*7B}~>!Rݽ _^~1Qg3CZdH:{UЎg4`V+Ğ(¬.z_W1,WLL"\>o8Z&r  DmxSZq)Tj;Z gc%Hɧ0IVK._gUV9 g tLWq6yl! ƻ*FkqgYZ d BdS/C% 4Well_Quasi_OrdersWell_Quasi_Orders.Higman_OIdocument.tex7zXZִF! tQ]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%]&}؝.8//9% tWell_Quasi_OrdersAbstract-Rewriting.Seqdocument.tex7zXZִF! ẳ#4]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&cC|Hê$~L |zx:t xqJ il7]4)^yJtaPT;>sb2m= .?+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.>n`(f DˎuTV>{d#3)/RFF4@@P/?MUSMB6hM;Lk#MC5&T5 3RJxI6z3,:%kmީsRɶ97ۤŰ' Ѭ9s:+S*.p,:GtEp^*͋_$B]-E%v*0T89vV+"c~s*%ؠGbAj4ɎTs㧩%,hMDp̙2CMgZWy$E0fa@Cy;:PjG#sq na8BUV0UYX '}IҮeN'߷J鑥N[`^FrU>Y1a1Z2T`/W9nto#& od&d{d$)( i9E=bwԂ7Yv;үn`ZE$YLJDh,nm@0sR.: \eSW5Q\G8L6b z%a,ęV!85dM`%F3onn_B FbhS28F1svF(z,RZq|БѩwHLO|=837{2ABކ-}f` l߳KD[Lcɍ1߶'fp@H=JKdW9=NSP7|6 =}}vFm˴騶-b`GQTm]HJ$3 dcyAA*Wv1i`ſ&E%04}<2A0 2~{-}%^k/n$d<'b`Wt O3#PdOǶ,QFgYZfP8$'.xsî>vBC!Ōp<9^e?(V~%)Z=_޽XG\DϾh'kYӶ^J =yp`M | Rɻ )غ%m͌>wH~+x vp@<^6K+ ǭ2ʲ/0?RnTPHҔb5Y~!ouaE^òC>`~kyI)FG~b ܷJҡƑ(7?4.J~˞!ٻq1֠rUyuyFS %PO+^EwoYpo)dz%\b<6 `*bJ+&ϱ}cEȐ@8 "缅z9 rE.xVaqP`/9_ȘΡ?Oa(*6 k^#  yWX kde$xغڝ X܏gvE`ƚ=o1+F)E ؄@ZBw,:`ݢrNb"ei1¬.yu$xOR?uMZ;TfwJg?3U6?5N#sp} [0]ep =<(zqwKoP+)Kʍ }K" Ӝd)N!ā&ꄁQJ3bq'@W+zJᙨVYT'PQڻ:EJ z7W.0"rPdZӂƯ=r bYhWnjG 4h ֨9_W @6mX9kҦ/WB^{?{ET߹?ƎIYw[cQßrn_zT]6S7d`n3dFR0; oLmBJ.1*Kخ1ya,"))%Fm'@ÈT;B f/Vl-uJk~o6(נƋ"Px뛮`]Bs1y'^Uz+ஶvqjE"-*\CC=A6lmg[w3Q ;825P'CtML^}87t"_?zPI2 aЪvJ͓ Cd&4n)I "a[z\ӄ|I)KHfz;Jv;EW~EsOoC/:4 T=edҢnSTv gYPYjOPlܯ$-&珍d1lHa[_P9ѕOzW,S;z+ԲQ!UpMNn=_gXoYAT)߲K%-;Yr${ =|+u]e};@e Aǯ ![$lR` fq 7Z^4{X C[iV'IdAfߺ˕mNrfs9 fFڶ?O3* 0DpÓlj_}_v|E ùj/*B\=Y7ƧExW-\N\I{1#щl}bK)DW= uMm11Q)RbسDha"5uY2Cz"mTб҇Jflu3q'e67TC_.v[T%ε ]˓9>LS$ݠc|p(gP՘sL_x4,O#diD|_0-0QIetRm^KV[~//APСL{zs"&U)38gڢ*ןof7dF tII5m"C;%.D~_H9` S4d'0.*l [ ÆAyIWFm!To EAUU=n(󴺘43V!nf݄ ,m>=f.d>v`9~L9PU 4).Ģ{dlrīR@o$2NAuGcGO=XNrXgoY|Iɬfе]q)v~M+F{9 -=tsoq/+$]9ɻP:/G?'ͧsc! jDyś:&n7v10>b $(fX?4%+?3Wv(I8*6#kUthuXO\-~U{xƽJhX1 qQQUUOl{0n|[D ƪ-,@cB5@ff9EqLP>ellyϓ[P-A> AVE2OA,5@:-ylĽ:dfqs'HYMy V&<2[jDqE-y ;?&̵ ?2'kg#ɯ8{:~-;tf|Ȝ סR])5D2XcK&v|E/S$: %cӌ"./-Kd &ù /҇gVow̩cv!~kݏ?IWSU#B\jxO{xRl5Ã.!w!hF:g`AcY WrXrGY]r˪UX5f9#S>*K |dARClDwT{]SOPml9!!('R1Xqf La9wA>$bD>Y:-MwwU~t!Rt Eq'ZT m"w6iDESqjGű Mr=4?a+7vuͧg\pEi*CgrHaj@:<%HjS $Qk|tx-*G!UWxXJ%<>hlNV6zTKwFWfǕ5jZ}'2zsBhHL$WHFӡ)bT 4vk4{[{>>sUsR \)2hB9n3oY؅,,7_3yP~ONh=чttzէ$;t(v,a3Ž<\H[SB} ˙*;Z\/5\K0Fxbr+Ϻmx%2Y{7Dy!"-k]hFq,F7^޾ 1XyߖA-fŷg'X=p`|7~' 3fBa*%Ne\AIڧ~9kЯ/2FL HTb PI^R6b0_=Ei}WFU@aK! o053藗zw<:{|K$7 -mǚL'3xU}} Ex$֜Uz,`] OF罟Ok0e7LǴ,bWm{eVR4{ oƓ* YIaDt1iA^KbV{-M3[ڼ!·=S-~Zk<糪OXm%[]e'a(U%5lQ4WZ"| 7#5y<mWpҕl*ΓLPi3X$MS7@'^=֬CgYZ $/=% \Well_Quasi_OrdersRegular-Sets.Regular_Setdocument.tex7zXZִF! U]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ޗDEOY=-3b*|<(#f351zgmkܬ Vgc$]qJxMd<]v*>'[Ѝ ,` O|v l혭VP IӴC\sX7Rh]ؚ5UC?PIedxm-fn~"R JhɁVoׄ ~4~iy9yox +9y5dO( V YVoaokt6Zu!<XU}nk_JcL_TR:T,y\TTHT-}aFN#ZY@|T6Hr2'xںU2kC<-pE3翶.(uyUӗ+`F%a+6 lu]o0B&(r HϝS!؋,PZ"wv&1B|(Ѿ'6|lkGh:Rln,0 bsj\L7wDE1R3=z8˙tf&̱2GzTZ3HdK[/jm i!`PC붭WyMF8$"bWVmSH%1@hHcvs"ӳ uFuNUnwW୮TI!.~Є6$ I:5-j/Mуӟ^r$}F(F/vƘn'Ŧ_Rՠ`عGz>m3ۻ#qŃ"4PA->Ԏx5]e:}_Tl+sR_nlă*@]u㯮pVj*Y'HA۷M}RjL[p2κ8:q*R 4b3~-DWK |f!^uJHU:5pN]s+I"zS k]XW0Dd97Uj-\&Iv ڼn>(F[zi4HpTz,y蟠(om//L-´X0LKo E}F2"Qaߞ %us{=W<| 3Uq_QCwHu}}"e㓼7ڥz.7 m wھ4{ho;NskPa@5Pvjgca>@+d3vP]V'B@+( )EC洴cs  ôD&B A`3Wڌx 3AP3Md/D(wjd;Hd.-T%3Ѣ=¨[6̫p9XBj#d@߂\٪UO;r^⸋ΛO~ޞ.^n Y+Lw{.\7t9忥tV~ \lJP*US$Mixv䏟Q\%^FDY 5g_G͍M\ƇFV̓7Jv3ۉq!R.cԡP 6CܻԈ"(pdi@mOi4tSaf߶e+W_ 1iS^}\:i 3,ǖt3 8"5ҟe8PL\BQ}pAW۹-zRgĖAݕ ㍲a1|iV4^DA$[X~ob/Y#d)|Ad(PID٦k 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;f=׬;@L;3ӹhC/+=1R !Pŕnt s7Ccf56 05)W7\3Eh"VA@,"(i3N]~^\$&ڽfxjuXgJE"E`UleJh`ʖ!qADo#{P hQ gpuб.6Yv/G5Eni% Ptm˨>iZQ!B7DRUCrX _~oMKTLk؜n}%V?0F"yD u )^У E"ĝ?x"X}|K:*a͚Tۑ@g ΎoB wH}"*I/4Z003j8JXt3yOfS`foZ[Pk'q=D'?AZܻCm;d"\/Bϝ[WG!"tb||Jk35 Y5A)CQdt9$m5$æ4ŀd+1x P ٻ莽(4n!zH@> d3|&4 !aEAg;ߏ~%|z_5nz4$ݝI l az<.@6?֥tҝBRE`۔;/z5IV]gq7 ~W-. gYZ k/S% TWell_Quasi_OrdersWell_Quasi_Orders.Well_Quasi_Ordersdocument.tex7zXZִF! a]A-MՋhvG"uIBm5lQMB3)5 6(WZ*Cjsj}Ӳi䦺Qx8؍N}Xm F $`Fό7F9 B @: ۛ7w b2H?~7)J׿Bl'o*%lx+fH`u5IP^8"})͡)=NUuB RLc\nM)6#'l7/[% dWell_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=Qڮ: 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Ӷ*"\^-2 s̔ !"窙d'4w*)OEx2(] <`c$A"xٷS-R ou=*}qxHpI[/6(( G'u3'+LtBR1ۺ#|]$0an(*")[06un"2QmEbh.|Wdf mL\QtdܶvG#B&xu6mG+XxueֵA{9In/`eh_ZfWpiz%lEvsL0ρ>@elj+'Cr% x|gVZ YԗoVWy/g- ;˶ 8g%ʦP%1ɽ5{u\`Rd=M`moɎ8q1qW-U4j 99ʼnnTmE bftξqTC&t/h>e25z$X%ŏݤVJ`Ic-G[DsNGij"YqDJ}5ڇCa 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+wpAOoE˼창_C]I1xV@QfW4?VQȓIJ%_&g|]vyptl^5VMΝ>?+knD'qSCցP 2X] (}8iQzԩv+!QA"U N:o7kr77DNeWzj^HF b+O&jSPNpː(\~#Yh,hik:1L,$ JIpKᑎ<85ޫ l'{M=x&JRX)1.Z@ O($dұxh`ZX9fVZ+ֽpmyg >mCtL'#p>0 `󷫾ft]Br"7cR L7}M&^[;Hٜԇ^" m2O 5ARZ])92(ɔH\l*eYV1/̽&j쒀q0dީk@N6 Z(R`KH=b@wN~g^j>=TIs%&HU>,v^Q$޳#v+|n췗FQ$Gy)p,OӾLJ1j7O1:Wqh'Aͬ떣#ڻ~gM7OjE @}s(DZgYZ  d T di /?% dWell_Quasi_OrdersWell_Quasi_Orders.Kruskaldocument.tex7zXZִF! +]A-MՋhvG"uIBm5^eW>2%RWtu`o{?FЭzy +ӍӸ}i0jN2Fۻf&'M[ߔ/Y*c-% ~),젧 gT=M>𵮔Ճ}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!!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 (Չ(_y7'Jr˔?n(+ș)KRgS'dcxtR4Y >J]b (fјny8= t.CE+r`-\ nM>6\Euqn 7~ycgTv?dH N sXh-9wCn*M\uM`laЙ! lP\4D-^ڱ# 6X(?FY(_ ^!=y ^WY(c(NDpj0CkflS vrhjaq҉X{1OOx Ͻ#p Ƶ?k4՗EɈ]8#'-ώ^k%I=XycjW`ҍAe;@[rh#3d]Q{B.,D0-fHBԉLޠ @` rϘ"ogYZ ,,Q /G% ,Well_Quasi_OrdersOpen_Induction.Open_Inductiondocument.tex7zXZִF! ~+ O]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|nfъﴀiI0RK0w$v !d=G=1znBw͔MVmo$偀}Z8Lu SqISj+c^t>Xꅮ;rSM89jzڶQ f Kz_ %HgiZxMS.`WǛͳ ~?f0?&y/9Ep3hI4&B 5UҟF*TL@N @`I_vפ+a:B}3wlUy9E&p۲ aD ?6ݘ.U=9٩pv5=kkYup+:4*U"Kg"~?|XX x32 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-&J+$ ubck6,= K@m76Kl4 WɊ K؈G[gVHlNӧFkNVrEWs#_)Hu<^ydB1^WቩA.F66NH72b'8cl߻dw]-Rx3w .JP䋞K|*+Dvw}Qm] *$mֺ`5AC( vr l[!,h\>/581,u2+s C=QJ%]EO|,2V$xKbdhus_^w˦^ I${2'?d8hrPvW `d Qr@y!I榦kG4Ei=om?ۧZs涹ܪZ)JzгNû܊/_mvN'}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Π,H XCF˻|p8&P˺)CecY.{]xX~u ""kp'u -i?-nVZyu8κh?!A>,`bܜ^D j|Hy/1;qH GՆoQ'̍erW;EkH`DA)&o[2(3a%~?Y2-o &Ʒ4]W&;^NluS' <)wF{kS"wC:F,7|w"ixKӥΤE ºE:̫J`6_󦞘X`BWT;n4M GiJSJ Xy> 9; a!z/Bb%a)1w^I%aR)ǟ zZ*uRW _d/'|MbWPt|?c~^*SHl=]TdgMZC=ŰF<@@ 8Bmؼv mCPc1DHvQ]>h.tdoQ5!c+?qMtc_2Y c{iVe݆R9,wHM˖R~"GN_zu/ȝNӽRBo}27fe2AuP2[(zSh4QSqn7qtl-b3['ϴ Xzf%q~ Spo6H;=srO}&1o},sW~ý/*iEér`]Z[Kv?'h{ HK\d0 j-eg.1Fw&nvIL[*K@f<L:S]TJ|U2j`*[#]2g4|wXV/320k<0} Hs1TTO8[S7xm37r$iE|EQ`B]u zkdV~x"đ'[)冼?8=(,XΛ^:$|>w%SU&Y>2Kw2ЮR/saRdJ"yEV`JZ]5ʙ&JQ"a#k[c|bHiq^ `ԡPDĜBb\g_%ZΉKds2I.vbĚߟ%jʜp2'9V _w.`(od&93IJqfg|+G1÷ʝaCIsM>PD$DzO!GLK{;%=~z/gYZ cc/Q% 4Well_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➊;_m-mԖDS靜2"KH =]P)~܀Zt.ݱ3aŸoֺ`SԦNcDP)SK$5!Ά|P^/IO{G}T:Xͮ4֗O9d8Up|1es!,N +1=E(%y׉c͝J*w%͸jL dpp[|OJY#ҰYهt,JomضsuV`nT8$6~[D`dlZQ3ز86\ b;]nvR-N)"D*1DpHa̍l$l~Lac o̿A,`7rׇQ/~x\zB:f5ˆjVFkMߥtʿ.Yݦ7õQJL3j؅VbQ 2pjbDL*tqNIr|ȏ>w+&?p2կr)ܰr^ܾ![RLڿ~G-34xkm1egYZ kk/Q% $Well_Quasi_OrdersWell_Quasi_Orders.Kruskal_Examplesdocument.tex7zXZִF! Tq ]A-MՋhvG"uIBm5^eW;5c>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. @JCASsaS&>(L2u‘#X9e__⮭rn=;Z(-g͋H˪ ~&D[ʪqb3>1j* l(3ɗ Te\L(hxFdk ӎY(t%jn  N)I׷ymBadraIcz-Jy۴4ZUm =Xe|DBv _a3xQ?: –= PhQcP5s-{5Q.jHab?9ȖR" g8w^U)M*kVbi6i&ʲ}d``X8q/F!s`̊B\JH"E0g7k?#q|axW\DvėmԑyJ{2ޔ*掅HQ]gv6дgznb]j:~3 5se xLYo{gYZ FFL/=% ,Well_Quasi_OrdersRegular-Sets.NDerivativedocument.tex7zXZִF! 6M]A-MՋhvG"uIBm5ģ!jRx@މynmAbD^"v$z`RW3?>l57,~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;#<>WK1ƅ0%oEǸ +C؂_n=tkm4 ?15|FUZ r){BdRZ{!~FDg1_IgAEbdd\ By7.>-`Rz~Ȫ.uTsm(Τ)maPs;ECfӰl5gql7 x5ȻOA+W| D%TQ@~LG˹q!]|;94g}?*. ]MU!p)X lhjagYZh/U% LWell_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>[$ؤ @khdAPah LS[~8‡A)˽,vą/wv|8D[~.MD؅wc* 30x~4OO]T#BEg8 @H%Xv7/@:6 uHNl;;jFJꩀ^o7P'6b46Qf;M#Yʳ {bQcm5_խbDhbŮoCӹӧr&}'1}(rT])B~ WPz 噰Ky,rWX+Glv*Ń`0E櫓W6mdm&~КÃMOu_gYZ `/E% LWell_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퐐ڒVNpVC?K AsVTъhk ^{1{~Ҝpᇥ{yrɞ7éusF$}$8=Cw7%b+93V \PCݠ]>@y סHmLxQ%1/nnn7as@.Oȣ xip(56Na4+N Leh 'e@5Xvc@9D M߷#u i,!z_Pw=nE %=!"oBcZӎbH)tVm1w:Dl98 eNcgYZ/A% 4Well_Quasi_OrdersRegular-Sets.Regexp_Methoddocument.tex7zXZִF! ,X]A-MՋhvG"uIBm5 )gtbGW2bc/6"yJxw\t/KBoJIoj[1#i] [] x$&RBp7^Xڲ{,R)Vg]'`MKp"S+<`g0P Ln*Ι"᎑ͨvGHO QpyY2l?z>|^[ 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 GG},jL%UQ \7x!`0Os̶FS?z\AEյ ×^Fu])wW:yљ;y5M"#MY{WRS2 iT̩k z(X/XB ᷑_!r3{%ԍ!vzHb0\A^U+>WDPW?l50X[gYZ  g/K% TWell_Quasi_OrdersWell_Quasi_Orders.Wqo_Instancesdocument.tex7zXZִF! %Q]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'\<{Ywp {\,|]Hmы1OW?/uNKM!*._%[o)B|>)V݁aqF}R^w۰1[xt.I%R*^j.?Zl-{0ش7u<-6@q,ڵϟuUCsQyz Q/36O>#ϝį\ȅ;1Ďw0MIV|omA($}e|pWISV JgYZ/I% Well_Quasi_OrdersWell_Quasi_Orders.Wqo_Multisetdocument.tex7zXZִF! %w]A-MՋhvG"uIBm5͝>[- \*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-Xw~3BI=ٚ ~ t Gb\h/*+X}-GvD`z"^jz_S1ͱlꆿxqb/Y7 7xbT(3qgu{{| J|FgYZ  4/U% dWell_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?unNFEEQf"~:5kҭX_D5g[AM:[ 栟~OvHPÝG$92` + G ݊溄ӣ/60pG|^"Sԩpb* 38Xt8z"f\v*P) EugYZ^ͮ% e\ T״dz5Ju*bG~ě U#JNrlʹ:d֪6PƸak]|d>G}4Y]KF=ՕǿX{ `.[{J'-sK!ԁ!r| Knqً3裌8_5 q3cYq1,_bsvh:*t_ܜVW@A-3tx fe,V䕱Pɐ\):P孮Tn\G3m'|JOܣ4g=^hCL2ItM:.^qTPU#,'cClPV?'# EpXC[[i@opwU;Q3D[k1Yz ފ2+aM8#Mٴ5!n5P3Dg!Ձ? XZ|en w鮛tb5Q?x#5r0HF,*b/\燔_U8+"EILl] ĄZϴкC&YN R˼P^Ss ;TwN XuW;zʱgYZ7zXZִF! 2]ŗXiɟCrhi^IxDY?Av|4s?kD]: E1s5Rg&Y3f?о3Dg0 F;?fOy]p0/Do$,EH$Ym}i=~dK:(|gYZ7zXZִF! L]ŗXi%; Zc: Uez;qx ygn:$:P$ n(n}xW_wr~XBt$ ^oZ~`K7S+9;-76U ௽ՓoCv!~TXxQUب {.:əcx}}l<^L˝PbQch3M9G$ʶ{xƒUWJi\'$Z"Pl@Yy3HR)\8/-}K"(ZyG?$lln?=ӎYRHk`, +|6S5$f0 v|a9ygz~l(1y<V{@EjP<L>vsAvScq"m|pHؿQ@LH~W~N\Oث-F_)W.ʒw$x|?VC>p8Ω,ɹ^,YӳTT\<)3 ж 0_චJN1vTGn1% b\G:yB,Ԗh72x ?t,O]9ɹ栥5 G`N4O-w%RSpt-ik.X {&/@r\W6Q=xr%L:H{iNg]mt؅-GC囚F| EՌHY5[X6pיtio5jÿʇR/|9D *&7qP$ oUsr`rM "IZ^l褡`0|oV4[;A wfVIAYxtwgsk#'41nQE(F$H1(\ShZ e1#nʁ#:ڻF4GO:=be|6#B_Bth:wl 8)c ~,wu=mGw\ !/e K'9a!6vEd:&;ņ/J\JZI gɡ R|/S =4i2=κ˭9d -p,ϐ/k$MG<̆8>&‚M_p_Pl@41Jζ5-;O5@FO1ln#V/ qMu>Y -FN>w6 ׀vgE8KJ͉fsr\''-8 @ r%aNg}Y?`^x$J'f$su%>;%":ej2jM5~ j{l|.#"r5D3ߎ_;h@|ݢ5[S/E}҇n^e Eydn f7\j87F%GW(`St͂3Ҕy`\)fQY]_ʥY#GF "?ʼnc~ n_)3!vG_:i)sCXA/-/B^3D-4.IbsKUzJ{G@j+C&XuKٸ:d?n0|lHq]f߮:&M5Ɂ۪J/} a%~QnנO)*,Nu`aHd)瓒l!aUJ*If/|Q9F? v64$c1>0htFw1=W#?9Z{/R~&JPN d 4,du_ ә;lqZ~ SAGusJekXxʥx!/͢"/f%+۟ (c*>8GÄ2Xr fwqB },У,:;:ccᛷe ::l,oNK8wAml42 ^}c52g$U!$U*>zY1g˦cZm˙;uJDzo = c]tv+׉z íaFlJ +8&x}q- l8)K#޶h qꞋPEI&JlFt4ISifH(f[QD9tBgYZ652b5ff4aa2d6d431e6f94894a641cf21995032b0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176