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 U9t d ]S Decreasing-Diagrams-II:threads=4elapsed=12.302cpu=46.340gc=1.3047zXZִF! f]ŗXiɟO}M:; Ate,[67Yuq<; IjfZ̖⌁[ nqO,/u%7Ȇ,& ;Cj4nD|-{zz|zۈ("3l/2L'uIWw1 CCMd,-X *q(_ o0A絇cn(" 꾗833@n2+鎸~l1CB0W#8T)E?t%RˑYiI>t}waH/NH*_) Gܠr~&T!تQqdPeK4z+'_[t^wjwgS*CA.zhfi?;YrԴN As7Fi8==n-ܞ( . ji#b%t%J2cϐ}Ydr s1tQ _s!kéf_wMЖ˰#"gWrN,Ww{Ѝӛ[WOvQcɰ&< ()U|J/WM[^  zERmpV(@}MB_>owSI?P"D䈾YNutd U "/N}k"C$Jh~QHFLx)}jQs/52)htmpUοB0_f&1b^ _,(ˊ.bX;ڼa͏9\vn{`'GTatuJ:XtIfCcInߙn@}<%hTgYZ7zXZִF! ]ŗXiɟ㶵fL4i=J|92ms;ә_t6GHiUYDLh5 |{`87q \ iMp5iH!͗Sp Kp}u`  U/Tlj'4tR~ =vdns_iִ܂a Afز.cmdu*' > xI}[]UQ&7sk D$%Ma#\:+K ]wag QDᐶ} Ξ9đ (tY?6.q=&3V`=@=mNL K@0L<ƅSA` ^uS :  023ra!^MaNlJxKk'y|ɘ )(nxPIuco[A{ s,ie覆9d**_nae(Vht% :T:N ~MfĀ֫ˆofNB˙]#;R>7'_ziP VX(H\֋v{zVCPkjeM"@yA'i<;'ZޓI:\6ѧ9ojl g"(~/% Ippsz]ne(N)Awb2Ƹlogtx*ˠe'$k2W:WvF{ԇ_kÎ-҂c"+L'ZcF!dT`~'Zg-Tsn]-hC.2i{*H9;Cdު5:cx=/'CJ/F'2z]F0Kd[eȖJHdhhہ _pRGF%1хpeaN#YqK Zfrtu:S9xFA!yc&< yzMXp44p|]:Q3M>za77ӓ  RFw:gO1i0'!OL"0~@8vnKB #S1Twcv[("\=!b2^ &=P&9pKv,.P"ܭF$[>ʄdн^c!j}8wu_[seᇈRJ?Ǣ玓B޵Y&7@N1Ё{d7pm޻ز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 _ 9U% ,Decreasing-Diagrams-IIWell_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"F6        E!n H  a  D9E%Decreasing-Diagrams-IIWell_Quasi_Orders.Least_Enumdocument.tex O9[%Decreasing-Diagrams-IIWell_Quasi_Orders.Minimal_Bad_Sequencesdocument.tex K9S%Decreasing-Diagrams-IIWell_Quasi_Orders.Well_Quasi_Ordersdocument.tex J9Q%Decreasing-Diagrams-IIWell_Quasi_Orders.Minimal_Elementsdocument.tex L9U%Decreasing-Diagrams-IIWell_Quasi_Orders.Infinite_Sequencesdocument.tex U9g%Decreasing-Diagrams-IIDecreasing-Diagrams-II.Decreasing_Diagrams_IIdocument.texY9o%Decreasing-Diagrams-IIDecreasing-Diagrams-II.Decreasing_Diagrams_II_Auxdocument.texA9?%Decreasing-Diagrams-IIHOL-Cardinals.Order_Uniondocument.texO9[%Decreasing-Diagrams-IIWell_Quasi_Orders.Almost_Full_Relationsdocument.texI9O%Decreasing-Diagrams-IIHOL-Cardinals.Wellorder_Extensiondocument.texL9U%Decreasing-Diagrams-IIOpen_Induction.Restricted_Predicatesdocument.texE9G%Decreasing-Diagrams-IIWell_Quasi_Orders.Almost_Fulldocument.texK9U% Decreasing-Diagrams-IIWell_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³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 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ް>[ !Pز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 _ 9U% ,Decreasing-Diagrams-IIWell_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|s;ӓ|LfnQO LɚwG@"eß&]ݱ~džtq4 qrQjlź?tΥRѷaW޷*8c2l--D-7 f5d ;<#ݩT.[0n[^9 ˿[溷M93}e1gӍрiA#P1N9=iyXekSM@W#b1Cń?F;+ jH:e0S-Ld 9U% |Decreasing-Diagrams-IIOpen_Induction.Restricted_Predicatesdocument.tex7zXZִF! " &w]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 M!A< L~#UmV%WL}cDEU$o?8ߥ=-EkH t)TS$ 5Y>D.nO΢TfK\ђsQSC1X1ȇB0J!C X:8f1HN5=Kkna|JXK.$5@Lk5M |ðJ-NPR1%`J{cܢ?~DηisqK";O4_缽-/w ڹ3־n5كDGŔ`dCDbϕ!nyqiVXܢSyo@Y3쑩CÒö-?Eu`)L;ʓ/D+W3YOx!&:1r7K @Gt|8:.[P)xI{/;lHq;ݙ'?4Z.^)ė}?"_W!.ɑGVJn TV+7Ƅ==݅tEHkdr*S"~‚6i+[8xg^E˼>mOֱ# Ge],'u3Q)!@+F |x6rM7 X/0?uf whDAiD󳵨N̎spIwg" O{pxu~X*8!ZX}见;QAGRo2D2b<%F*ʬN^mW|Z;х̟’@O$WcoC@:]3"uʬM Bf)$}DZjx8@c_oP.<;?X#Ƃt1ݿ%Q6bP"AvQ=\ :Z,X׊Gr7th̊k} 1m`W `;i1pgVE.kozFQA{A4MJ-ؑ@1ʼny r/냝q11 MiX*>] 9- AHl2[TA~ZWבёc2fM+WpU%iT]0}S6twEHwH`|PY#S4JvOU_5- 4ʹvx @->> R)q^w~Ř ᪛zfyf[:3uq*9zs5݈ʧ8V6*뛗;&ڍ $ܬ1de~H2Gäw_{lM|Tzvʦqp-9~oj_b8ߔA?;UR:hSC;DmoLnzƵuxG*GmHo<LzL'織2wȓ{߀WS^ 7F̉d φp NFgar?h(N06q:9jq 7yk0>uAPZCòWŤ\@ǔM3 ,dbꅢElЗw^'GK+PE7F#=iZnv%&k l3h6*C|mtFQr%ڹ>wx2c' МIt l^zcv̳}5t?q $${r)o.q–S8.Kxx(*l7 [ôji &\NKC:V^Jį|TJPr(& 4f*EQ*x,׍BT,¼4H4Zr>NF̈qK)DO%~Ưn%SNx̵H(`U4=yL=g}:H5qԐK^tJJq9y6KFcGŋͿU7w7cUsi8%D#uGGK L$ݭp)/Ǩ#DzMFO"hϳ!b.Qx,P*!tXoHBПo_~, w8bՖ|5=T'uR Q N<XlYij!iy7"#PtMJ\:SEe&+扫l=n'X|#- ! ^t٢cM\>J!:ebƿ2׽:F)&஻4𾥁_7 +mO"F\@)d3X}_%n' %ŸgYZQڮ 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 RR_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 S99[% \Decreasing-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=ER{y_ܩS@H= } ac(w0U  C噣=8hԾ7v〠ҹ4Hp6!w>nf @۬E0>*M)UT}0>|T']Vs4sVXvseCKmHIC;C.pBQvQcnord2f{|U-},cn S_WhA秩4ٱLu"\pCUrc?$|2|ࣿbF) XH>İuƸtØA]KE2v PH諳aC1[ SW"ipmCϪ .! <3I P _n*:Ssd}@ Lo*Cݿ pB+ԤݥF3jLeF,F9WdpE,hnpun6i,0 c"Bw ZxEsZQ~)&IXl!ask|e{Q`h^+o/b9KoC['Ǿ7ܓG>ЧD)H("q箐"2^*S'raiۮuꁸxm7bFj`(t 4"=jpf=m{,gw\C|ђڱK-4gîFm45PzHh*"IG(:F{3=;/6إq)5=%`s'(,y[B[s.#HO: &?9Ɠ& b:L($H -ޥ{B5 No+-;0v/\@mDdƟIѸ6Ƒnj*4:]09>wŶl5ݣx@cX \a;VT (s>ܳD>XQ%'y7H.FHvSIzk*Q~ Se@zuRƈU~yDZ_$Q^fXNެ>}7ocTFOBȓw%97 ,U-LM&Jg49!([!;"7vEO)$>}YV.[?F] ,CAnk X%iLs$+~oYe w?E: 9vnx5~Pb`&AkL|(/yH*w'u|K0vgs}&<#muV=RuԒSV̰u[O𘸾z`uV}v98L1/H"w!PՀgj.Q=%tTtD2XoŘݚV}Te[̾H]IŬˣDl$4ѳߠb=tzL:vWFnʼ tf\(c'|ySN6vrF'zy3l΀V$ѲZ"t ԏur`&`tns)`H#{nn3R j[=Z f;_SCG`7rr?כgpRqn%dzU'd|b B}NXS8oAl#,D1AQ:`*Ol=|0`W?u19A)+?'_@݉mI ܈k#U(['1?chT(ׂb%uLe][DaAk*a1ŝz -ˊ.!u$A$gb-gUUm1.U:j"G{\<9FUr>5&uWK@n +\r3Cz>U(0Tq`_܎QkY~ՙzv r^ԇErqDTHDE*Z pHkg˒?{ ̝'0߾O- PT' VV7Tnܗ+_jCB }Q˰jIϠ?6*уPY`B_jU|!~*< _\"p9E(4}տ.nr2Fi11i@baOm8+PE1"a6>x =gU\)qdOgYHN`Y23ELf.'kI{v/Sv%+NCBhL횆;)r?> pdC-us0;J~R Vz9*߄UWV1 AxjxF[!CY;I)kզ+GBV$l2h- '{vI2' >`=+9h,j[S`LrGHBд [&gZvyWzjdlyN :׳bJ/-K/Uq-NOqp(9,:oi=bfOP \Myv)j7Æe3цK4 Kw:#8ی)?@k^M4-9}UI<Uu[S<4 Mm苆2ULn4x8;ZT7&#7|Ч1F z8afd7z< DXYT;/eV ~Q1-a׊&~N|P0o sO@kBe 0~ec.,pyKE S3g:\c3Ĺ4`[j՜cZM'gd2R8V9+F@wUNn*V[: fD-։2an0K[>I/ʮ~)S+=L&tK## )˾UΧ;)&He$YqZFCQC.- Zv:Hf-#&m f5qHp֦IS V 1G/@D b5@A(^W19czE#Z%do#tiTТ0l%F'gDb _sd =nOxrhcqCmxw1HexC*5d+^XНB~&V"T2I([Kfˈ@/#wni@YBC-LHe Xܦc3$Qߒ0cr\~s@V4)A,0g'Ԭ`gYZj Guݼsҫ]ob)w-H_{ 5=d{JpM,˕]ZE˧aEnw(d^]$`"el낯+E ~ C: XTD\RiޢU<N,⴯AY/Ar0EM]@'zlgXJktM?"qǎ5K4fl a7 JQx/e.X$LU-f*HVZ:($&EA 5P4%a@C9 Yn"tqD}FXh/"ft'чQ8⚟;Iw\O>Hs\iԪF=?FI_4_lr=@%L_LWq;ľT0iNڇI\[F`TYWd[0=6@KGtc$F Jh43l "){*Qǹ;HZ^v6RÅcw;EyXڝyМ@Xe4aRkkpvPhHEMړ=]K"*;CC{؃<OI)( qg2M2A%lO .L猨i' :QB{h:_xZ˙D6 !MڑtU;>A"3))0Gi3e`365FJJ5w) xMrj8 lWֻFq љ *9k?c9k!jb P(OWԣ(yt=>z~+  :m`5؋4n *jPCy |zt^)x]kܭEg co(?WC{1L&5qRwУqv-g + Ͱ|1-_V(nYDDF/ZbW֊{Jc}qT!_PW%^e|;m+up0ӯt$p1wuN߿w3;pf0B{\x')cJFUܶ)&t/2UrI-i9Vv@vBB[}-(J:!I*ܠx)&> dZBzI#q#N-qB}O?GrY{"7:Oާtz̑^[ǻ󯒑JfbD~ey.WǭcmgHS3kLW(B5g2zDȸ V: XUںh|)_3o0CY\y6~Pf&\ ) p.H9*XЇJ([^9SpP%ox, .->VG-q<(]jK=CjE"Jt~E}fқ⃖:?&+W1m^Kl<]b/Ɇ̀pO-ˇ3/_)3ă]=5݅8A YҺX"NĺQ e9̥ nz97Ƹ<͠"ob)ZE|-}i^eEǛ&ߌHr'6fjs%8{f,p3V;8c[ǝ8C/rؿuSS |xs&q# ]b@ ~@CjMD|OO.SC+{gŃ`y)ͽ2;E^/iAg XLA ~8bŢe?uI9SbzR9錂$X<NdV0v[y%B]m~E{dz L!%y! \K婘'qS _aNLz6Ud2р҈LALLSOy#bC]y! v&T2f&>#~v0''`5B%31ecFt(@LwЄ|22èZ5Xį3A!8\ȿ8[Z!Cz SޛXWL/GSR&?ag4F@Q VUWUf>\Xh܁Q?3԰Za(׍qEqHѣ 5Ƃsl-O?Ln7f {`q<qƼH9.ƨq4iYwO\8 5 {-8U-,|ŒdsyQDz8:{إ?Pn2<]Z ޘf&>uivANuvKۏ݄C):|3jFryp_灤Bj!F;7%qŔ,+]_D(Rple"+@&),Lc7[0#gI[MiV,@:+/]s=A0.5XeOD%R@cȍ4 An+7 r]D F̀6 Z I>lAL)vm&KKaO>~FlB&"؊^$[@?˨ xp0[N"`uVGgp4JnbϘtN6w o3$`b˨0ۚ-ӤɟB zE=vlu%W 뙘BЃ-`H~>yУrok!x}3Odd;2r$vxR̫v޲C1aʾD"v~\.6`v^7GFJJiZAvP|\-Mdn 5>u DT*D7|Q^x_T4#)J1O4=񈞌*;Ċ \=Uod+&UK÷õ+t(+OMqcd,=OnIarbEbWe` fBD+).[6kwi3ބR):Ng*=PQA">#@h{AƊd0!@+qc͑fC?P_5>4hu_r{![8*P?'G:tng sg ZP؇wJ g v5f3֟ ~VÒh;k!*YTRV  }>@Lc8CRnܹv|SpҁVYMҵcb&G+vZgYZ  '9o% $Decreasing-Diagrams-IIDecreasing-Diagrams-II.Decreasing_Diagrams_II_Auxdocument.tex7zXZִF! b]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 ?nqTv'!Lգ Ċh$?J/k]zC/&Gfj(0$N4/eI( µ'K.?=h0X){_TsB@b$ϯIG{}r 35O4u(0l9krYTh;lc2n/}=w ys,[Ԝ,f S& ^6OaϙSF>WF=UE}7b,!~s~x@2f8TDt&)9o24:qr%=D} '>z4/=G!e4aVz_yuO[&Bu6Y~O gkY H:\ yD cѹs=E\'~FYgvGo#?:gٻ+~ۚDccC` kp_&W tf{ـ.) `@5-oJ i~:?}r)g59MOlx׮!<'ܜ;SDk0vm?#o꺃?k"K|k_Έ{b**A~ҀK6l f2K`h\Q 3oW SqUZ1vTl>E\ |#L6lZMquʌ);2!3ӟJ{%{F/[u :)gdFYru7 Nf<1<@F~T= %E`%B- M!ׅ36$W3rfۣE m/2eH}#YJJ`85n@JÆlԵDO5WJ g"u9ns<ɻӒ g{zjA׸jOZAԃôGݘ,K9GB48Lwê >DZN, i`۔g?ؗi_O/7ʮ^B0unfr7N-k3xD>Sbav6[e:*;ʾvF0ޖRQw]dT&< hCy8S\`6kgAL/#~O;Vߠnqͪ[6ҏA'+ 0[һFtMI/ׅ<H*ԣ[7d*>I=YP #xa滦:!)rJy5NJ/"bB:<~l1= ꞵQWUZ U}%۔[?xiG_ޱ/mͱ_GbP՚DլN9ՓA0т NV&Ou~iPw4.qh{/t Y'G=vaUGΪ=[hU%mk#́$@[ 1kv874u!qFfY4PZ!\uTM?Z#%. tv!Ჵ t’YC>_ )x~4U!A/8pI t U`<#%A 7z ǝ s@y1:#|UwUؙcUUs2{'l5bcUw=G3B5xBKaQa(x? J͉[RICv$ˑ(*0*:@rE$aNuoz1JN°[sv\ܑw*0ŁGUFNgxh|Y_W׊z,Ws]Whn"'b4]wQV]*۫:IN:Ҏp?-/~ w??|^̚&Bk%(sYcv =ڵHdѻ"`^p]`k[Wuq@#lB 5'HlX L㷄Qv/|<ւST(]vMKHX6od_y۟ 5NtCˈ,"K 37&z;^Z~4 w ^0՟N*2ǴO˶3KkiX} p~F YqE'|*?+ĸg|"°ZTGDgѲ晷ӽ=ay=I *=*Knz!RE!#&>+LHXBQHHQL<[x6[6PJ|t0Mc%yjdCY6/c43qǩ"$LY uc?Ϥ86յЕMf7P*敂u9sdtEތmgv5*fkW}Pgr1R^DTufCewW=_n&_bAifUVTpvm,s n>ɧ E =q|s,Q(}ݓ4 !QqLpi^&; .S2!5Pα0vviJ*upb>\7b?B)9Xrޖ:" h_Ŵ=&9PX(۬ቭ)hG۽Xȏ2E9?NW?>8RNd=Tk;o(?;YkY G`',ҽ\u r O>4%pBbS_ʞ [N`b{Tw:7g=zrF8n<Ƒ)c!,^OԿ\(d 5FX:WNUJ١4DB?A6VmMu1F7iQi?ؘv<G<@1Ք!֦ 7sa‚ypsVnR~YV/uInZD~ҷ{NJ] U5n2rVߍ<~6/V0'kg =ͧͱAe?lQzi 3aߝ5֏i)k&^n$~II0u“`*,6 ]f􋿿X<;IH:$no_%"i\Cac{qu0@U2L&3!J>F*erXͧjTUS94 b+Q+a@caÊ.nwV}o 0ARS0>7$甑X{ؕ}asLîڷ=:* ⇦O8&0F@q;h etlc]UQskh\υEIF <B0/Pb{S0>$Y|ͯ4CH`C"8J)K#f%` YQA4"Zʪ=y,=vup>p@>ڮpJ,~t];=sn Ӟͨ$WMm+.8޶Bk^CUXZ><L׼@^<1=DI+ӮYRcHnJzӬ9D!$C˴M zt>u)˅Q%HvL;fA'|x.sY(;I.-I+P) K8U&m$m~(ڪ!gVrE/og&DX gnv ,a rpZxӣGz*%Pc+ÕJF+m*%좬 2=,& -c?g$K,GgC=ܭ4򋛀${"lO"xpk͵wP$κه8J76 nl^Q`s)! %2qCkuֲ ͙rֺ23lK:[7Ƀ_%jTxS|/pJ+Xm=EDV@ʇ2Wwg;dnHSH LfÓ9 u=ww70HxWF3'l[qpzM\0dFtY AaH]&I=mEkchEb=KTr]s#\şJWen;j+y[+n;V҇i+/,|OlLnԠ =,rA}z]ŵorf>ɓbͺMj+}Euq%#I6uꠏW#6Y#>s4@4P:Z sOEBB9r#>U""3;Ls@qpc*!JfgIJ¼<f~x& LZ³`|1^zԥt&̈́ (rA yAݫ׀{绎EÎe@~ nد() y\<0e)> 3R[ҳj+ fc4f6ob[@W 8ɂB:;{X1w؜bfYAŞI'LHl|J20NFò¤"4;'QHR#lv߫AD:C1R{AvAlL({h:Pth㶷 +8Qar#9Cd^746'5-b xl C!2# f_f.Ur^?گ#sn{|l%;M69s_QBҧ d(V|muJ7v&u W&0='RUd|ET]v>•݃l՘U6gU14tz:6X-) t n|~cw4p|be?_Ȝ)`.N;k.֎5.->(&v4D>3͘Ng}xO- N҃ }MKs D%iG, %Hظ9sm%J9'-uc]+T)p~T8O8%M3њMx/SHj5tm :| !4Rpfp "9u 1pa>B\Ec7Jf5ݻj|FV+ҩvohꚆOXŽ1H=VҰA8*j Æ] КϥkԮ]Eļfm/& '}uo'?n?cGc&ovL_uD&P%Ts[@YG&AfJ * SzmAx[KCI+OJLyl k|+(.0c:RiV">zhq!H}$˧ܻnPKM=^HPei!"{c}6 T:c:Y|51k^0Hָ\|p陿\h6jD)R_j%j jT7|s:51Eᴻ[J, ChTt2OE\ꝍSG95I)G{3z?Vk*Ald"/`&_HKcE\ț憅t~\՗8oUA.EM4J6Opvu2zFٌ ӽDNbǭ7URzilB>=U2[Pv)y}-Bz{o(C+h=$P 0-x-N]EBLl?WDNlp 7-~Obe:8`EptE5;"#P^1u 3$2r ,_w 9.j8+$.u1o#Y.6L{PsšVѠhkD! &6eh=xG`EM[?tTZE"(V~nQ]#NZ'$bwuP'zl|YuI, 9m:'A, sp-Im7TxTyHўH~|-{H+Ju_Z\JfΥ8=vH< aCz:POr󢸇w Qo$0  lhaI_uiG"c̘[##E"qPY*~49ᖪp`_ZdZ4r?;@Rˮ^-$): nkԛ42#94#x.ȐQl^8bv䬆¢CVtK@֦RHYA_S\%G8sx횂fx BwxcEBjX3u>HOϜ)Gw[Om34H4+<][8[.pѯX~47na# |;g1AwAv)IZ5s b-A"AfR7/V߉Тޭ- 5[H"u,%}_g 8lz_hu,,\x\c2i Wb'_X]owqy쭓_m# x>˾qbH Oq],*E3/vO._]59вYn)] #AB5ߪKJq" -yAN1$E/? 4S mDYr"e*c괓8X\@0OͶ; _4Ib\a=G$+]_AE 򔐷Aۘr2H7WGi!m4P}J*\BrF `{t wbg`}TH "fYn-5nի<$^O']W"'8I kA>QQ%^di -y5bPK~ eh忮K1g|)lXԑnP<"6{Q[丙~f|uv>8"O1DŽ'Jm񛟔_F#<9]kdq:罶|(@2f B싢;$5%7`⑝j ь*C)lwN6^-+Ȧ{pev7'ש!(ovh9zf3 kA];怢,(d4;rwdQUxIxR 7qƭC =kK=\/Ν[|lh oWxaUϭY .0R2Uh 8>r؍meb JD%YQ>;fzqg/+QnCE CLܛ<Cl-dffнb-.4;yiqxo_!z0%Xa= Ɩn՟ +EM ykGYWesrn$ɹ%sLCBp\rnvvN";Ru :K=* 5ԘQLhtM0#%Ya}F4*"_b 6̕r4/q[xǤQeQn)eakǯZ?aHxlQ&;狤X=,Y4x1|V L'i1`F^Wp|O`("&oRcxЕ*b$%Kv,A&/;Akq< dokIuPgNFVWʧPT$)z#a Q%`OaeX")oki0-szyƲJXz7z u'S~Nj2K nUUfrou48IudY.k|vG|0iM2,b9d7fN9&[#Iֿa) !*wC*{)Sm ?thZwk =(7]vjОu=1#a!Lpg ~d3_,BvOˈH ^=#gyc7iͳT#63{\x6d}(pe$>c;ưwv !mO{-\jgu1Dmr\`v{q.(-m _gK$c:`ۃқrS]3,* HX倖s1OL0R:oLj=]š= f9v|9J5XgȎO>p⻵mi}Z*2Yi1SaKgCSevF:t[d o1WRi0.#rcxOxU-SZ q_Ɖ+1[] _k?xuq)*6ȶT/BI@*ྻm#n ?cuUc]HhJ2k|)Vb݋]LO?9ւb pj~aFhu[tW =/2:I=׀JӍţE' b,o}9笽BQ\9ڎJ=p;zRWȜo;A:*PNŒ#u;%g+RU^ȼM#XH- ^@~i!8Fҩa1L9R~g 1]^5~` \:8yxoxd Kb 25@y(hxu hvBՓ`ų"v'_Wb+ʑ@<wz@ɐf] +~¸?snpV\))VM) *޵Hz6m H2-,JCzM@t<Mخq&=qQXc3`hip+ϟw@aqs:^T'LПt=-Nm}q" VItxP.C+$4ti%ҽ3Ed*޶u>jՃwLB3L|޸}N4#pRf}xGGY1b팑S5LpuL:qW&vd!)s_ߙ-V^t=A -"{eOCV!2)Ir pOBNܺwP̍18e1xn)ePvX__vAgYZ UU 9g% Decreasing-Diagrams-IIDecreasing-Diagrams-II.Decreasing_Diagrams_IIdocument.tex7zXZִF! L:]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&7A j 9U% DDecreasing-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>[$ؤ @k;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&nF*ɿ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  i 9S% DDecreasing-Diagrams-IIWell_Quasi_Orders.Well_Quasi_Ordersdocument.tex7zXZִF! []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# Q 9[% Decreasing-Diagrams-IIWell_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   b 9E% DDecreasing-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퐅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_gYZ