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 .9 tl< ]S Decreasing-Diagrams-II:threads=2elapsed=21.536cpu=37.496gc=1.524factor=1.747zXZִF! E2]ŗXf1-/6vR[U G<%tA)A%rVɘ ,p 2~r,i0g-̗pAAjw%aðNI3vV5hJaOƠz'$i !@cgmDPUƖmu;Vs~yx+ժ4I\1ln>OcLF m=z/JpבT)0,ZUJjz`N8|-faxzI|<&i@fso9LR)=Go-t{GEܕȵ0G[|cvF' jsAZ׭i_SSL"u'9("ݣ* O1!a2Y6`55DNhAH߲. .nNyn?iFp"6bϝ}MjA>-#n$*Mx|a&?;Y߳:ezalpT8+vzd1+$=o)S8(px&d,EP[L2p|E3Mʔwnn ]O)sܯ(" C-"t\۾\DpVуO۩`K@X7ۋԔN T>Nb~Q1x jEe`(@+gB:JnRнUxEjU;RU׹& >#ZOI릛ǵ#!6RU%;1˼_"`2K!6Av7gYZ7zXZִF! n]ŗXiɟ1?ߟt;9HK?.>e7"$b3v.}jn/W~_C>[gаcf]}o͊Y gz=oh.?JN5aC΄'9>uDmb&1ޡ7~֠JT:l"3Ї7_ vSk,p@˼lGETjb>` .raR5=i¯]Zmܚ=[#kbjX`THt5;p$@d dRL10#8F{+gXAŠmj8NKdX`GNƁ=yj9|JA,YU:jBþ bsagYZ7zXZִF! v[]ŗXi%; a7BN6=Lg_# onkØ o.&UN(4/=rWSӐj1] /ErN͈7}F>K6aIpMrt@9Z1Mo+X|0Bph7 ?K͇=e>F,7zQYz B;i$}75; V]-=t5Dr/B~G!`Nwc**|*˻9zKѽrJ`:8?Kc FQQY|w/;Fi_t@ A͆{գ'.wD 8[`t5iTcඵ ^Lg%8Zj?E1Gr~G,CG:~CUr 1ˁ'?N; cj">.皻<% qo߰&B .t3ǔl 0R6'$tOD״s\9qU)c[5vSR_bKQgCO7( `@Yqu WTFɐbo锛g^J2#JN}WM#aC~{R]=oG/8.y7Ӑ,Ԃw8,S) ,#;BgYFC5źbzcK RF`%ot30Bbm+@uoG^֠ל!xT}]w^I!]A|jfgZ[4eۅ2]qǚBٛ qٽ ox\;08Xj Sg2}dA[~QH-[,'.aƻ:&7J>Sp}Z R^"%6a[VE { wއ[ ]B>(3ck^: }S 7<$f֣> twh>:"|z3o+-U}0Y}s<0* d, mLdif^b#/fR& *ZKE#eiu4J]o붼6*{C0;YG@CFLoE -CQH66 7ZL‰'*Wgh€x4jtqNGՁV&*ܝ A?_Z.$O)3n%h eIHT'>UwrC-_4JR~o7g!}$`Ɂ{N_7P,К]V $d dVmZaa֌m;z,h|)joHS>oQel0` N2X*փh2S#7wMG,01 I `17boxpf,J+˚@`3^Eƒ0 $F U9'.o0=΋|\ˀtJb UDO=S'ue>;6V 2?gYZ10e8617cd73e2597bbe3e4922e916bb44f6dab140a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 c9446e126adf3872159869c1df0fc36d23bfd682 9 Decreasing-Diagrams-II9U% Decreasing-Diagrams-IIOpen_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#;:      ^  9 a   ID9E%Decreasing-Diagrams-IIWell_Quasi_Orders.Least_Enumdocument.tex L9U%Decreasing-Diagrams-IIWell_Quasi_Orders.Infinite_Sequencesdocument.tex O9[%Decreasing-Diagrams-IIWell_Quasi_Orders.Minimal_Bad_Sequencesdocument.tex J9Q%Decreasing-Diagrams-IIWell_Quasi_Orders.Minimal_Elementsdocument.tex K9S%Decreasing-Diagrams-IIWell_Quasi_Orders.Well_Quasi_Ordersdocument.tex Y9o%Decreasing-Diagrams-IIDecreasing-Diagrams-II.Decreasing_Diagrams_II_Auxdocument.texI9O%Decreasing-Diagrams-IIHOL-Cardinals.Wellorder_Extensiondocument.texO9[%Decreasing-Diagrams-IIWell_Quasi_Orders.Almost_Full_Relationsdocument.texE9G%Decreasing-Diagrams-IIWell_Quasi_Orders.Almost_Fulldocument.texA9?%Decreasing-Diagrams-IIHOL-Cardinals.Order_Uniondocument.texL9U%Decreasing-Diagrams-IIWell_Quasi_Orders.Multiset_Extensiondocument.texU9g%Decreasing-Diagrams-IIDecreasing-Diagrams-II.Decreasing_Diagrams_IIdocument.texK9U% Decreasing-Diagrams-IIOpen_Induction.Restricted_Predicatesdocument.tex @.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 7AnqTv'!Lգ Ċh$?J/k]zC/&Gfj(0$N4/eI( µ'K.?=h0X){_TsB@b$ϯIG{}r 35O4u(089X(BITׇ׆u6 roZ=B#&AzT fzQh~aW`ʼ& vIKoY93K׬Z/&Rfx.)Zɫ[bKUMz ]}XneIʳm'9wK<2E\J)43Z~>7NwG(4IVQ2ݻK4'@;n7HI l$WR ̙.gD& M.0EdnPh5qrsYFnb*2YbF*9sA)|dsqNx+X70}XqfI%knt($pWS{w C,鏨otfbOrI]*#Q'[b;ՖODLL=a9qINR<P?ND D r8 cOvF9B?.=If_xo;]~<=tGBR7٫" $)-o8ZZ4wuQli0p$/saY.eU]eZE رhW)Q"Jן[+Di /$kċ!`#=l` vbAh,ez)K+pkly`sa1 e\Z8US1+fE5f YMI \KσPl]#jR'm1)֒@ݑF ,LZ)}|>B{gDj4vv(-n:XL0`^tm XoABd.(nÛk ٟpa{Ԭ@/?u/=nbe 򗿭hSwwrVי?rl~ X9΃N&rGd/ 'Oq1y 2oSHɝFXA"EBԉ1[=nDYvB^!lC5\ :5΢J-IHonغogG9W@`g/W|HUI4$5R?5VQ:4*`' C O؁_f<Bַ.BhW!&A%f\j}*[&o79\3X5`k2-²?"Ը\JKo36 ~a[ ܷgp [d*}AYdj}PTo>>('w8fS@K EiN^M `bc8 M.qs}SjZpn%g#\T ngF/` yLuiO(ݐƺd,ʃH9a8nS{vi?Tj,iDfڨ C$3z08899pmB ڏ>1~Z:Lu+U61>l`m^Y/Zģm=us8v;|{_B>Ґ٘AܑlX.*T#E ȳO/@ZPfe &ڲ+87t]f'sB{F?-3q`(c 刣(d?r/zGbx %a;i̕; 2 :B&ur z n{VW'3VFk!,'Ĺ}̽YmJ||)Is"c 8Vd")>uWd:7^-j@|a$vUmޑKԶt51cp > 4KtrߛQ2L8y"EGɻlC E1)6I1[\,_oƨ/ Wnc>:`֧\RCp6saܬ18Q4<#cXf6r9>_E|岒OkыSJJPJ^lNB5UAR9ԙSO鹌.cB6h_VH*.9Yqmv%8)|Kb;afCF|)!WoiΏ=0GNӉkeIՒ$e *8mh}5NN? |qG6j/s"_}"d.Z}۪` HU=vzUh Jk2O'g30"8*Uʡڳ<%/cJsP"x-60 BJ߻! !6>zzhW|_4.yAJut 9p=^Mdf7׃2?Af W, ppXv =V[CJ)ՙi2+x{k5 Dۿ 2SoN =DOA@X[]T:U-֗Ў"ԏ3(уY.XS X?LC/f1lXݾ-H;c%.+wPxy3vِcZb#rAdEΈ̲JuzK} q0pPvH{X J1N S!J[ظ0*,F~*zT2²΁5N@f`|U8X2WS& GTAJ/nM9 e`dRw9wEkϰ 6Y\B`DfKwN$P,k^GLt@C(;e)CT0Be ;!gg]${fG;ff-;k@L ?dOt K;QtbhqU|PJY<ƴ?d{-M(k%^gئe Ǹc@{$hixrW)o1џL}:3ߝ{)FZT z+[#̓m+ gͽ3a|Q&ѣ̌vo~{ WA)%܍@Uc<o ړO+ zadpx/āt#`t*yl>>BApصN15h Ϻ#7_C29z"z)txf"rupsWԓdtDZ)𫮢X[l\KL }2J+5J=(s| [=9a`roQ>*U}US(?!M_ FpNG5YO)v [O^ZL+3CZQmlKR)9J8CR4Ha6g(yBΘ= & $|E[XDOTB}K]`?e0(1}Ҥ#yڭ=ǜ۲H=+KRrA +ՓGU0͢= [ W[l3?b:!'2XMxs=٢\=a¨Y. ^vq ۧP1+ $ 瀱YuQXh"FX(E`Ti'_r {R9}`sֺ"2T7#_ G^VQFr+ %4ߖw+K(l3K9LßlD&$Rw.K@DwE|GmҨV눤O 3c$lLg2spჃA nINUqןoy]!R6=5aħR|_E(ֆFT3P i0f ȯKi|%ВxyLT lT8Wu!/ ȅ d G_Atm>WIo$\:lXa$,t#n@=lZ8{ញ3% Vy7ɻ0Ru, ~,^%zP FT `YGZw(BPtoN5ermВHq79&:|龜5mFF&%no7GDƑCc[DFL1lKoNH]u6V,.wgHS2 -E&M . %] $߫~q ܨCfMlR t~er8( Td4A)%hx\7W"aN_. @Iz][51o~]~s\MA|t~Қz~AijPבOQa/R뇟'ĸ/:Vr-u5Z?V"F3~I~x)~vPZ>\b=@JraмZ0 0Guqb!v/9,Q2|/A?Xt݈,Z!n tocQF@%ӑ Le%ZQGqnXn-9C 4!=^YnCa#!|>q94:$3?̽| .`*פ-&qhk!itD_p6i˟b `Js?$9^,yFxH@C T"U/=ܵ:ӺI][#h{K>3Y .KP$o(p&&a-Ө|'opu8*<=p^|&/2a*Wժ N! ">`uQJwA}OW5\%ŅUWPkӣ ׶ 0ߑ߮b-uOk:¨d**'Sl̾Ia FVD(687W?k pQ\?ഓqiw$ ~2uozmR_/#?M}g(痮ɗyO< VӮe…1JbM e V)UG)t!a/98F(*E-r@z[_&ȿ`o0$fT\y.D 7ށfAv4u[Wc ~% ;xD2j/1ۤ%84ۈSI:t4$g^eim2>50պ-:J+wPΐlA.[Z]NojU$7F}cdqp:U_xrCB(t&|\Ϛ {!dɌyT⣾>ks{j?'G bksz+ގu I)|M5Kk>#_$ l֖e9uѠ6 ɕG@KO7:.om-cSY#mm`؁Q\Y-z#zJ ݢ%3R-w&hj@J̯.+@s@$:> f_ho'­QcjIÙQP сF`S>t0E2U< `,RՋt1-gcæ_ͫ_`9:AQ *r\hٛWF`*P&Xg}̹=0#oh糤0EH$(Ij?WzcrÐNǏm,^Y.'&2x 7+%TZuИfD G8_zV䘬so/y)`sVCF0)!u6#ʂv }k1)$]wlSQAȒh) {RfŴʭ&\N Fp6u'&˔z&TT %k^M0v6ȱ'Ss?v``UWHʘYOL(dErj#~R~#jtydʑa9U|C #DktSQ{::dPMu #{n5I<<s╗DJ޼l._$e-DP>ܴa/}5Ym('ebU'x,Z9N#7hHPzڪw p#uҠΛf<Rgj.&>xy-81tZ2OFIry]K7p(V0ğtѕߧ"4}N_'tzւ$_pf1|_E?c _W1-5 +%n'McDkOg]&c!MD'+c@yԾ6ٙ`踘hRL^ao.PplK  7`Aҙ`&AR<+h /88uSui&&[l2UCaOgFa+wC i¼b+Xϋ]e^5C/ؠ=>eg|<;$vIgף ƢWjU!S|Өk}*RVU=n'u)ON V?R[ׅz /Ѹ##[k(<62hx(.8it!:4-Y)XØtMRHw~觖ZDb mn?ha GjkӠr"P?a~iQ$smyh~ZɖCsY눪TDt猪GN"KՆtdmqQ'ZATdJc]VHNK{.sRp#".:u5dGn,wB9c"Lgw֛(l!Gt <@2*ed+^;s#IQrh+ Bg#ElN<89Ɵnmvƙt7tcwJ%ځOh%]:c&kacq ?74V^j`"Tuz\f^ <ɸ.ZPm9}28] qS@XH}}dG'`N׳ ̦k)lnsPiHc㹓ӝtiN a- 6sQ I.8aWxN\XZkoh}속yX8{=~%fl%E*eQ[IJL2Y.D.֘ǿ.\I]|qwOhc{`5aVwlY 1X=Hu/JjͭPTY_dYAZN; n@˳d,QN_U[`M=6@29 c/*U;$QK0@# }=<j=( \Ac}yqil,x(}u2yمYcpn4pJOV&QR.Dޭ9BN@=eHSia`\qת1]Q芧{ 5!a\Mlѹ mCO`\tN豞hX?HM*({kw@[銻EpUsdtXYDD %/M|".=sV_{^I3q7<-Vf(ɷ3*p<3%+bHV좫QND\Esn .PǑlҺ=.iP𔦴~?z}ҼD9Đw(6 t^|OmV=[]Jyh#f'"; h-Xcv'HvfgYZ 9U% Decreasing-Diagrams-IIOpen_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 ZZ9g% Decreasing-Diagrams-IIDecreasing-Diagrams-II.Decreasing_Diagrams_IIdocument.tex7zXZִF! :]A-MՋhvG"uIBm5a3Lk8\#.:EQ urЖjOxSnfnՊ X}7 %~+86;, X7o9 ^ohEƯTC2H Y) yi՚wg0PÆNz߉:d3 x3+v %+&\ڶW :R;2C:r r~V)^=_[Pi%g)/Ka-B#cB uzAYqu6mܽ9ж\DU(*wz8#,fd.^v|$Aޫ" fDtWC<~R*Ỳ5T~zknTxәMVpbk#zZ̏|#W?BκN5BT:8ǮCmN_' `\WN.\hߏsfˍ B黀I,k1$hfu(LnF)(WV "9D(|: Ndx%Ǩbpފ>/M>v󳙚e;UJ۹2ez@ݣfr@x:˖ejT^7Ϧt;G׺EB:2]ob.tj$P=D3%@/醀{ڙM/9G[fJx2̲|%!T2/%54V4fnIOJK1:X[ ,jhS&rgs lSR^ WOKKrMSb]wڱЭZC-]ꁟdN 2HX{!Ov63IM ̧Q,Ɨ]ׅ"泀3ϰfGˡ}C%lʽzkz[uzg A %o1 Ҩ͇hJNX& TAo΃ UR'ɈdN$H^[ǭr_{<]MUTy0ӫ o;Gѳ㭉n@ ]i׌{P֏[x(.r3Cd8Ph{O+?SwRHaqؘpǶpaSvFikI_PeB=ϟɾ>2tqꂇR7~UpvG^&$U="ۗ$u\8MSJ}'iK3Q=WEk\ 45Ih G5)#$U=_;/Eof*PψUNs -|*g'#/'O--h9JAl= JBOʰ#lJ5Pr }|osWbi5)*qD\rC"_7oy7S׬>ⳄƘMkHo?X\_ot6+uO0*/ C MlU|hyOBoE6Mўd&ǪTsI,}d/C_b,(H"9gtŘ3 Y"Z9^cLc1-%@.%t{ylF-BXX2타.P0b6f4.~&"^g@#Z3oO&;󄚊7E!ްcX4eU! ̈Bo;Sj USa^v ֆ u"9C, M:|Qx@vmdrttXީu8"I"Gac`j "$C||@k#eZR O[ T!:.G I s{pmBFh⥯7p$ ֬vTN/ O6J};;r;&ZJ3wDX)WL9OS UgN#fEb!pZ*r9!0ݶZLդerǏmNTy@NAJ&>G^׋:_ʼn;v/+Q"T W8㘺{Ry;]F*Q5vsXs%_f6uKcy_5Ļ(Z̥vKgKyǎ[_ߐ]'-O5LfKXcfq~3p񎖐(ů8 .SG[AE>U %x֭p9' `͞gQPn>>X6o;9(_+wnk5ԔmJWwYHwIr-3t֭ƴ<I8uE/"!Z&Ǜ#hp:)×uz.vqѡk4;ͦ'a~}TzP{ 0%x-s@ [?'2DRluv3שּׂK"-|R+ZR&c"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  ^9?% DDecreasing-Diagrams-IIHOL-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 Sf9U% }]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|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+*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βɱgYZ  <9[% dDecreasing-Diagrams-IIWell_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ڮ9G% Decreasing-Diagrams-IIWell_Quasi_Orders.Almost_Fulldocument.tex7zXZִF! M%}]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 xhK_* 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ń?F;+ jH:e0S-LdM!A< L~#UmV%WL}cDEU$o?8ߥ=-EkH t)TS$ 5Y>D.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%ǼgYZ  p 9S% TDecreasing-Diagrams-IIWell_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#'l*9o% ,Decreasing-Diagrams-IIDecreasing-Diagrams-II.Decreasing_Diagrams_II_Auxdocument.tex7zXZִF! !]A-MՋhvG"uIBm5a3Lk8\#.:EQ urЖjOxSnfU}hO椪c[ pt9{lB}i-/l睻$FQ] -k,@O+Ԇ::(UQG =|\dq7ߖCw5O˥cMa)-e&69!A<{|QUeakxMhoC۪7$0aY߸/HQ9ttdl~}xxbUO|KX!VjU+j>鑚W IQ@Y^2"rj0MϖKVX8Bh$ ÖN+k;꫟=:V"-YlX᐀b׼00l` ʹP0MR yhG%Z%ptlۓc)++@ P8]* {9VpJH4.7h! t@#6B@1t:? *)}!K~_q!S4Ep+̃phjb&,x{3}d$":[:rI2 _+::G{I0>׳[8iO46N }5=ݳ[q-s  )^Kel-{*v}o .v4fY{@^/+`3Ê@ߛ>tB& nNAoYC-BkTp ,ؑ"CzcȌf\ Z 7y2%e:R oH*Ebt0qky (u]ܺYĩ\tz# 1 >ti_3ef?u %vq>}zҁ|Gdf=$'0my QU;5-$o2QŠcM 1qt]j4!L7 ?j G29O% \Decreasing-Diagrams-IIHOL-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#b1Cuݼsҫ]ob)w-H_{ 5=d{JpM,˕]ZE˧aEԹ cT48,UT$9xX.( J0qxZVG"Ich$m$TS>]F~D-Վe[ %ܺ?ahQԓ1|Fhv1)oɕ l1Yɰڽ}ZLɓMę <1B?0f!dͧs.Y%# K{EH1+|uDpgȐ.r>~XF9i=KEގMY-tB՛Lhz:ȘBug*2 0ZӝIM Nryb,0QٚZ6Q@[e=BRrVQ_ |Y'tP^"f؊ΆaŶ(\4؈6w`/Φ ~2KiC} 0£vOʀ 42\O]vO%B< ]ET-6_]W8r-a7õ9߭NY%1f+/ R ԩT)]l8jE A_tÐ"4}4 k`un_ķ% #$o)uV%k'dZ^Muh {(zCS t ^Pqjb̆'eϑ=zY V7,ͩ*"0cB=u;sy`?n&Su.`AfQMDŽMW;+2U[#4BPw B%5_fa?e9þ_ӧZzۚ3?vҵm9 x\TKz[Vls4K‡֭nwC̦gڊ~X)` 莾9ۚcj՛FWtw꽳j0=?(*Lg@u\1J<cͩc' &13^6.uT4!V1vId74.Z?LފYun>ߣ+Miש+L\v'd j`|vo XqtJe|g `\93y~ Z_sŒ&p' BӜ\_lhѽLOs2EG{B `_e>C-L{H6=u?|e20==>BNCmp96_kL:cHtΓq-__?4^ml$+ˣQV\M/GgJ^lMـ:T[L;[q SJ!?$H;giSmqF቙@Rtb\јm c\BIK@hq ր}7W% GKuGNL3:ipdoqݑ(tS}Mn8Qz86tUFsym((AQk(AYK@ Ϗ&BIHA6#NO)bfz͠|?)w0UU={UYZW8}=NX]g@Я8)1@}` &RKqN==ac?kJ6,lD KTWWr^d?LAvƦb֛XY&UeILƱ@Cќ)B$y'bzBh cDepBD#Ԝ5!@!W[~qdZ:+;(,GWeD\4 iI|Ns}Q8qlgqIE}7`Mn6Jyg<*?ekB= i"R(A߯ l{Tr묵VJ7YaG8pw.b 0U>#"s6<f ޲?nW1H>cSz2/SIE@?P&,1yGw<9@ܤ`ǠX}hγo]ABC9e/HmֶF;Q<(>u@sUFsF̉x6"js\ |Yzv>A1t"8g) M`D꫐:V'MgVw5α/)zOE"X426 Vb sp?2 & :+j%XuEc8ޅ["0ȮN!t5{&{Y } XEmС7D$!McF{%fus~6|(O7n2hH\,G8R4 ja^/~$Gc!n4ǭ*A@&WFeU1&]:q xf+CefND]w zwiXR*xz?z"ǺRPNɃHx֫ߦy[8rh-|EQ2N!]4UeIkd1Tm>"ݲ>rUf,xKz[,W>"5 ,eEԌ#G(#"7f+|+@WLS#$oȗֺqtsjr+5TE(;qgRA t:Fe!F[ضjثnX+OTgYZ: 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;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 \ 9[% $Decreasing-Diagrams-IIWell_Quasi_Orders.Minimal_Bad_Sequencesdocument.tex7zXZִF! |g ]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Π,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 ((e 9E% LDecreasing-Diagrams-IIWell_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 eNcgYZm 9U% LDecreasing-Diagrams-IIWell_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