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 E1 eC5w|"EIn1]qܥ4wR~-"0D(7`$9J@vLapar6&4Jx_ X :8\T/嫊Ƙ[;]~1S%xy;GMB!t#Mt.ޙ` \E4%n$?sR )Wv<DП+ѱgYZ7zXZִF! g]ŗXi%; GO*sw^KJc .U!\ٱv\+uяkBp7\&$zkE ȩVä؎ J7*J~މV;j<<+ɟdqn?Wm2@! NVx>8F.]ze_P`2%؉M9v W  7"(C(7Jx=Y8~(ۋL _TϡYqgxlQcH{kɜ9͢\xKhDpLg1 )~ՐN7JV >Lڬ^#w+a8Y*VT'ofEĶ~q/cO' q̮MIf+Y\>MtÏA@05r8Lǩpf?Dsfy{:rn`( TZE$T%.,FF0Bz=þ/< qFq`˘2QK[$ؿt.Z-]a ߈p)؏r_{eP郣ԝ_j4dy3\H(S,\zm z4tqcZ^y8:!?;g1=,o5H)ͫ)X-)*} *?2.*Ω?/[@ 6 nOZ ¶㽥Y) M',~%^S`5$-VoE إ.AkS'x|/ vFfX@`ӭ40҉W78۶'ڮp{`1%Œ^*W&x{ևm}bހ#ZuI!E4 0'_K>01wK{^HrB$Ӳʀ},p9xC&gzT f"h6g$g`0BHÊdy7,w{/>3m!jոWC+ ؔ(L 4zv] !Pؠ*s ȋG} LTKkֽ/jS3'ձODTtK  ޞ}o凢=qLd<7"AJCrzV+[lS8 fMR Q:8[h }zM(5hX7H?ҝ*_'ِ(E\Y)gy=2E􌙨6ٮ&QZMՁLs[Ц`Er$MA`O@]jP{(xDhhb<\jkZVCPRO}``gJovaXюI-IU͍> j "P7HI+VFO.Poa>b]H[k^R״:-;V~ezd{'tS<U] Zԛ. RxgYZbe004da22c720df340455064ca05ca7779eed6760a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176233b2fe416ff0219ab9b485d02936648c725bfe1 1 HereditarilyFinite17% HereditarilyFiniteHereditarilyFinite.HFdocument.tex7zXZִF! hA]A-MՋhvG"uIBm5Y=D1b(6iPԝOFa1]lݲpZIL'hΥROh-B69wil7O1ͬwv@<ٍŌw!+}ce @yY$ HezGO\&p8cNEN%ޗj:$O:3ڊ>fy^2}6Ќ#MmW~VX#h 01A% lHereditarilyFiniteHereditarilyFinite.Ordinaldocument.tex7zXZִF! |".]A-MՋhvG"uIBm5ŃubGޕ~wwWJH[:?1wݱ $\Ƭ{W7z RyʔO"l(S`To-n6׻8&O83d̀ʾTB+AoЫPN_vOGȐ̰}S'TWͧp&VQ.1"0) ?GMhk 7:UTi/إ:f.ދuk)©Is"$kq0jQ]Atԙ;kF*3YǀU1C% 4HereditarilyFiniteHereditarilyFinite.OrdArithdocument.tex7zXZִF! )(]A-MՋhvG"uIBm5Ń~F%^m w&ǀnqBcQY;1.gƣbJBi]Vje)Zs(T; (p agH܈HY Z?h蔫y'2P7bVH#զ`â3}F*5tـiUU zIk(^ _;h/K2ӗ;!*:Z:2i+qmsS FAO?yp -4.,1d+i&tS{ L$ VJ!ϻ>G = mqZo2'҆IƣDRK(auu%}"m|hs 5Kb#EJ 79yћca3*^>"^P:d O<}kY& &}jA}[W6A;9iUQxW6m>=BnbvnHnHemUx!y#``4*qyNPc5j]yyř,C@j{GeyO J7Cե" jEZZYE+ڔDiDvHˌGL5&L[NV}Դќ=#un|x+gwRoRU/G_8R6H*4O2SKW{yBKs KL/-9S 2V$g^κ@&ɕj*f$>rqK.Xim@ jMY^~%׈{p}/n+xsMC% H+X3f(a| n~H,NɸLdu~2KۺNaɆa%ֿĕ{`0\o[l:{BE ڭrG k=WY<$%edەpN?/&M;~+m=)[ePc5QCB#7&1:߫|iۋYלRFNJ٬[=}0υB\}0~['1`So.K >!q  ZϔET8>_#bFqD$] >#VUsF`!hC R H92rpP:J3 @-XA0K䂩Myrj2~XBf](d&KPNlסkU0uE0kJDO6xG󱺬Z?ǹR @ܐ]p˶98Z P'wV\ď9ѐkLJ]aUTNoV~*ygh`āylaxjv5͆h/x4$Lht6•KlƓʭmߒ"ٜ6Cn)c~8toۂb9m2Xּ"H.>ye~,2 ָ ]~ΠaQN) @VUBbfDs[:0)ͽzNé~ ($=f23 R)V RAb<ǩ˥LKX7"hγ'3SWXC{-Z/cuJ{e EPxЍ]1A%HereditarilyFiniteHereditarilyFinite.Ordinaldocument.tex>1C% HereditarilyFiniteHereditarilyFinite.OrdArithdocument.texpwSۺ9+`4<l.j*w|9e/GVF)w9/S. 3ZT@aX UWеkcdS.pva 8[@ԃgS hXwG"њykQ/T ӶVlNw.A#!QQxIHc|"_]o@1 N&PN&q))^w: r0;<F_X>Snh~nhVI0MAͿepZFP ;Rmc'X'fyԟ<#$xZP7X3r'}fpT ƅ | ;*ӆ!.+!_PQSnzwZ(^u7=![LHoqJY\w-%uHf)r Eh׸C7Fq-'jjɲA| 5MW۩9 Vbn.:d%]2hUwU68 U6QeJpOvE%I%$ݢG0yϋ.A:Y@@4( Rr vk'-":n=h[~bIƳMY)Gk JZű[ӞΜ:W"s3h I zV?$ߟ_G6;h2 ԕŠNe*x?VsPioKt*w%Dv(ZTfv>d0\ӥnbcڽ-;a=(b?k; H([A#6Ӕo "YUW*?LljsoݱkqP9rZ .dJ&2*+Uo2̢ʎ[C,6PpPS\oE jOSw|JJb("w$JcAKڍ0P#++E/d-G|)pHLV6q+~V AK:J~y= q y?G3l5 x46nڔ)XV>fhSzwuBh%xW LgE5-̥vEՊ :K@m_ 5ao2CRq`C'jN(5إ~$8Zq$ 3!_s?K5>0)n1Y5OCUKh!bN2]i9/] 珡4aLK۰K\-lhXgq? dd4*}/o?3ϕ הдUQI̧e{S47ĝhy*2r]yY= !6!y$!V qWa>&au$S0/^ݦD!ঃzZ4,\{ 82?tOBrhhg Ho)>%<[vI1|p 8`5):K=om>Qޟ _4X:\ieg9GJVߒw]% £Xb$P|tfSllJN_ tPo$oAЩ65jQV52y0]~nlt;|?E1;Zq]c ҸN6vYi᷆x^wjn[{<}[36&@4k݁b o:l}kρ3LC4JԨw>l:r25 HS?*S%2VߛΧgϬCw*`0Yu5q篌^@X=/moj@r@u[n/7%5ûfmMLsɫ;1c./M(WhtXYh-qO&`f@FY.r#,ҍXa٠#߭" .`pHh]8^nYדNeWGpPvơnqM>`Y&Bh\s< TR9tBWC [up_iVpHhJprKo*fD=x/p V|; G C69A*^;HU=OzY1c|l%7f#_hHqM{U~h)2<5@#M);, z;kbEYҺuĺd)h8eh9G:e+5 SN0+FcDhi{y0ͬPXZuixE\޸9m hetG[ sIU?/S 񌟶iP\-Ai-Mtݬ7ܸlW WjO P^g߼{M'*c™ %{Imr\7!|Ev鿶dj@F@4ng~OUH3M\!M8v,qtm},6TGzhY:^1[[+3qM{U`/P/9 :9r Fǝ\_E7y{W&K!ʼS#%F03՘| p.ZJ 'H▐mLFWμjY֦bCYi'7XMy/4]Ri5#WY]:jr靚!81)i.i_[~wXI\ CC?}NԏAg{YY4kk<. *5%%ӂ )tbFmvmw}Bƿ[Q^{84|-:%Y-eޛIU5ڡA`W 2~,=V{XAUDž:PBVhzE&tpŭ"]IFhV lcոX"%@3saXeUN(-ԩ&_(3F?ZP<g "$#J[ *h (d6}i?;Q㗏 _P?-HQyӆ]wI]լ?QTc~ۂ$`9A lSmWEY#%M;RXBh`S.9S5$"6͉r n7:/s^㯭wl7vIn t޼&N8KCۘu@L2 ]£\*IFtN8FY;+ fEalF<0+x/A ! ꋋa|ܯ9"`fduq}OXK -Z1}8 &X::v6Hg0;;_j#s>~hADƱ:dY$zȄx PXs?vM?4KF2dc}Dߛyto_cir襡6[5OI>Y[]cNĒݶkß?X*<%-jQ:KLhA>.| b22j=vU Bq)ӔV|i5T@Б"suis$,ldgޭ5 OQ2V_pϓXQS1(^侬x7*(ˤpE 0yS\ZA5Q8[}Y:R8RRT=z`R3)sB^kv_k;U>0/Н1|jo,uڮh8pI r&̤,-Lji#*8Z{6Z&w ҧ(|ei ; ϸl'5N<ѥ`tHRFKS%Wɫ>fX"He 3T&bHc#q5Gx^ȎqIeHQ~rhdX8 5x$Q>%+!_VMGCs+*@]֥ [BBI*mChqvۥ)'>F' =xMe?JN&BC#lkZ@GfB^aE~ MҐIPazp˵]R49Buc $@rgԅD[fJ=apm!qr.__QB$IIBw]V}lN:!}UKt\8z3rtQ>BoGd7=w<<_p)MMQt4v]1b cUUeW*JI""%ܳIgܪp'qO{bc*K?B>i@o@[ d*q.YB꿰e-ڥDQ1)[ׅ _n\,a!n8joR$M}ܰVDk>Qr5Y8*`jO㎌=K<ʣ&GdtN}D\YO%(j0Omt}'T,R?F*'u6NϜ[ LFHz~M"ÑZuܪ)q-+Bi:8 9߭PBRe;4sCe0<]U=)wZs5stjͲ~KK ΆbxSPٵoF(VDvJ0aYi k‹F7$G0 mQs=W2fvR4[I@EѠ땄p,? Z~M8u|9oGRbVpi'~Vd4~)zт/6oXhsA&KJVOu\b/©g켸8IJِ~ɭ©=5f#̢nEY"KHx4O&:c}r~JU[ T xn/4wSEq D{XFyNO&(oE" ‰Ғ ^3+Z좒 /[V#6E68Pf"qڋs %gcݠ6KnDqhGEK5Qe x._9̞7Hq jx,Ln)|%`4#&Yۨin}[L1HtYLݿ=, sV+U`VTt{$YKnLyߓ߅qqXDU9\ ꬱؿY#h3r lEYj*4!N2 *Э=Zj<nK**;nd ŞSc71L $ –ejGm*`Ú<;HLdQPn_IcL~aLXYjEmr~͉PvE]i5^pH(gXv9r;3FY^`0!:1AO=0U. 㧥r)6A nn˶ 0Q?/:;i?x.)rο CywO2:^U70)Q#^_bXD+Lj#Wȍ+x y_*򟉡~IsU?@3z{x]7B݋F6o㷿Fhzο}LX~TN'o5rM];;]E 4jpyuey!>$7MFz2L9;%gjv b)&.&Z"QnV)ʼn'Z'T풠“Ԃ {VUп".W5KƸIpeβ`Ũ1)Coof ^>Fz;x%(?lVhHu㑴H=Rmg2Kt^ȟyy 5ޭ^uC2ߧ @{p66uţ3h䱎J k=;7I95،\ߗ\ h+E<]lr  /PX k(`E}ۡ>po N6҅pi" Ǿb/%/[GC&o8h&pl߭?w ](Z,Ae;Lw*nR|{TK=Ï?t sgL-R-Ig]TVD;51kA u5D F/|/qݞ{5Z&lESzP{xL[N##a%mYĐqai-˝=nQ|egYZ <*X Yt! qH}P7ZG3CX -쐠!܀t\ 2wSbq_\A?W~~+GSaI h*1=Dד%ɧ%ҨۂG*-!4#lF{&-Ϫ[[O3-vSw#9Atm#j0G=[ƌM 1+=ܲFkRu&_oL)&X1Վ&#ܤ27 XV3qk 'Z@s(YA2 D}*Z'`+JVw\_ @< aT{ Tdmy[`oM%v'FS q pXY[$"qcsjlxhU/O6|WVBJە-Q̢P͞el?RsڵEI[nDcep8Z$a]|< MŬx5YT ATsޟ{ȃڱ]f~ ?ANq;E짶PEu72:5=:Jau&\ h0Cs5T&A߁QKڟf Y$ H H%X|UU?/9hxyAe"*مHX%uHҀ5xݽ)I 3C_h[̴c^? A͗˔|[X_ _Lv-az߅F:oꆰ|.ޞw-2! K}lb8"qp+%P5SDܴ1sm]ŋaqs[k0^} 8^@RrM =42Xߟ2iK&<)ɴ NI\n sMayKB#UG}US8MD65;nWzIRqt/fKH,RBd7Y i27 ",YPKɘ$'r% 08h=hL]atz5wqҮs("83KO2aSeG_2}!z)׳tP ZWWʑ 9=jjIj)u8iIJӒ W:n-)z{$z4G.{RĽG3,l~yf. B:@igZ:g =9֖c&wV(*('37౺7n`yGB\ ?WCr 4DdiB [5ZOӰ)hSa?eMi?aAwV.}cv 0O,"L.nJ3G^=ɟnm+n\QIbRQz-y ^v5}}I%vgNe*55nE_PH(`IƜ^eBzө}[ XXAMkW&.0|IB'"tPZ5-ϬNOu+DHv \ $ ֿRMfUUȨ<Am$3}F.ՌPCRQspif j!ؑ;8|rXC3OWcՐwf تOvtAفbμrY%s3{}+1og pAC"`+>O4罀ByB=g{grFkˡs" ã͚4vCmiol6Cr넝(t(l7v@%}I8PZ#pygwɺD韂@pBΣG 투ڐf0qGԙU0GA`|&.EEMH}xIɛW|9qMŕ. Nrt8RobvLߎKZUwc1l eRs3v62> 4 1c;Z!uADz="úcO)q NLcG0=qyl2ۻvvܼN@(}khClQck& i)Vh7ٴ?R:a'O4Qx=Gvti7@zT\@TۇahY `o]վZK LC K8(L2a8ƭj:"OXr_Y 4d7]ks[8Q>tzY"!,V94_uպhxڛVĒ1꫙&{(9Cl&)fn-:4\Vn}4~K f: Rv4!;"E 0a{7r2.bod 7Wd.o`婕Ab t/.=&|̗tӬ#A"L(2-R;!t,>'ù ׬$0vqcŰgXr\Yɣ1]Rh6JH>BPoծJPx|&56iR r#&okbh-0{:G7+Up[i@㸷r7j1j8ufHZTu7JX-%e]ErIU0®`apv|1<: / _̝a@  7R?}Y~0d`nڙc֘c a]SDs|i=~Q\/%[֗ѕ%W M Hr1~%|*,!L|u̾1t-PCY柉$Vݐy4+𬮆~p,+n@xʺ r>K|;o JCQAh0O1FFw,˱B=_}6V3o!ST lx-2~@g  'b_,* [ڐb~Qf.R}n;eVIĸ{٢IQKO`,&gPNml\S% Z»&Sc|. MV"&ߑk"vtĘ.. @u RӐȳ^NF^瓟lj$LY)G qjoNڿ*B.0„׉AJ\-eIeq+[;>a=m. mQ2}yC/& uQӮ'Yx{c^>>>,܉m+A"[$%ֹn [B* {#%),1,co稰-gu%O0aGr/"Y0zz@W)^*N('1Ti # ):Υ2NRm|0*gyU,A,A3DI7.[t& `,"Vg 2T6@N`PŒا-àx؜ct:dvH6!D$<|PX/(>Қʽf^\~19uz.zH[6RaXHdRetS/_ꥉ'Q "L _/r% 3E P] %`6-:\}], -ز z5t*d@y@xm +o9F25va6hE/٘xK}#ٜ{ٖL}SO;"uN€#4썟@@ ^/ 5Nּ㸰Ha:a ΡZ)Y؁F{$BAve(l&(GIw3+d H#,neq'Gw:(V7}nF9<nN3Y+u9q.u]fr[Qܙ#X`+ga;py^s(iΧ.Z<;D i!p~7xTTrAv?Pknܫck9#j Y燏zP5w~izPY+ٸpYIm5*rrd_=r4PV17X Ks&͏‚6C {=~"74x,zK[oO꼉;Z?u$M ]wd.};ݺOtbiv.;^ko220{je1Rf$Fe`7Y€, <50IDZs|Sӏ~8LQ-4^(|@e!%air٪ ]/Cu&R'L=i@3W2)"XآOGd(qJBeVjJ$9>$cPL,Dz0x[}"ȧ z1pZY%a_8: s8K'zos*Ь$1wr00-6Le62j|VOjIHyN:ÇJx|8 /q9'.~R Qc3x7/4}Zps6JOeFvJ0[OW2ޯɅ.m| ʷ"bZwԗ{fU| Vibk@:_19B8}'={klm4Re~oOqPrÑ>U_-ZƩeR!4qAQѹ#W;d{ }-%KMb(L:WS@]3"k[H?:⼾'C Nzفb5M`97)KYdw?t(庋xw#V=ήk^=wKVQ۝b\Rv[ot62:p??"-^ sR/ԠL${qb9E:kqފX rў=y -G>Va IGV4Px8"1ڭ(+a |"z*iw홟{-hI@z0#!Kh;vD݃{7J؇BϓkþЬ݊1)WU8܏aq8oܹ/|ءY5-`7)J9#hvJo:ߠ̙kD;~)RJʜl@ggxzC^"Pi<,ٕDBH)a'\.7;FQ5b/c,/٥%*6؜0<(<zL?[* :lgY*Jȅ6p| '!HdC\ B&#YyPUj8NAY/L {iޝ`3ҊyEk2pV#YmX4fF4;R~ϻPPexzOD6aW%cԂzo$\gkZ-t||':j.VWv!%6w;C:kAJjʲofj՟`ʝB\( ]^'$ MO޴@aQgsZ{S~/ yz¡l|!spf@I2%/F ro1J&ϙpFf(' *M C֥?O5kx9gM! 1z?{46)+~-OAHkTvz$mE6K5Bc, B[ڧ_v#ӬL6n?ۛ„-4 vW@&m5g>@L ~-yxGr!tTPCV55s)9ğ!J+莖rތ FӊL/iAk16%k _)[naִQ̗I;̮obt׆~.;+$JV195KYI8.rhO,5-ON0}遶잋THx'B喳C<x1j mT^vh!k1 *X*gH0 C2 ۂ$L{.hWLZ6CRszZCÝZmQpP{nn(yX6uuA%T(3σM(sU^wvx5" 6i!NuiwGaR<*JuX]/?0bKdӒ8YhgCTCfJDu87$m~BQmnxRG&`튐TYwz#}<В١ D㖋T%T7\Gs1_ٵѢ;t!`H!u?KyG5O+8xE"*bj Gn0އpwWieJ*Dز\LC^ވ[҇ $Jk4H䂾='(;Vx-y\k1;HTANW|E| tA8hk]DvDZE0KRύs|v:Eqn3z`J Y؊6sڸ,.a7m0A{K:J%(! զp*^o<+iCÚɧ8:j; dA`O)Lm58SA!Y9`<4_-\/|x3Id2 JRYyO,cyH3l*50GQSa#lV(ZY'^PCnp}p1N43%I)D|PDgYZ ;`yKu?/Ze4 *:A&-XZ?Y:6/br;X!Jri҈# I _3;*KnɗMAbkN49![45*m&/yNCZ+eA(ȷry秽ܛǮ5L{% o%FjE "lK2 TWpBxug&|JHd!"wxGW J?'+Y 7R CYfA'hiV,_ET 7J /;GRഴac{Z`CWLi4SW`Wœ k9Ư.5OTKxyA7JMhgz~`+ Ogr] ~/-5FbۂڻOʹu@8r!ν}kBs+qmKfWhK${L iK {e !}#9Dfrea'C%vrkգ,-jX.6떻a:j?nRJ3N.ʻ1*Az_rƭ3i/C7U3:bmCIJk O)ËQ2Ke$GwW|fr{/moyC9"ҧH_cH`q@u*&YGF$5z-^H:C=]}ҿ.,ZAJΎ(`Zt JM!^*f9"ʰMɁu>l h2ם>ZP#Cb=HTP*(E=>gVVom}ܧ?= K/߽-PZ-=ݝ8Йj81{t#vw'y kT=g=G5gz.3o{9l8e$RhX!6̼<]%n12s STt[B9Yw=q f3q$[nlL>MctJ[ @_I Gk9-q4LR9_~Ę,ޑFK[imd0 Rʾn}dpǞi Z!V OČtaGXQrd'tbq8ia-zly…=^Rtg|mʄXUIQp:PogBɹʏe0 hntF'(QG1%ץ?'8$@-$kyfWj(8ѝ<%Ta쵇ێKw#xoet*1Q8r4od$m"un 1UX:Gg~˵ڋTv+7 P202~~lͫI^jf5b| u<Ij$gE2Wu*YNX*ZY`sn{y{H:E{"#kǁ<VC>%k=  Sj^7g+W3`9ݖ+?!LX.Esn7aU焹2,ij^!H0ZJⷎ_ҕ* ; ׂF5B؇+ُB[auNL mu WHʪ,Dr`:jK!&3XD(>v@"ܑjLc5Ĝ>֝mLSZKSw ߏ"b_!Z^mT)Tt"l;4M()KZރ&hn)ޔƕI۔|%dŴBȼ..x  g5 /X}yQ*tIDMzSi[NF_GQ!8zῴFxļ~Sug^MGV5UX"eP=xny3Om;˗0aʬھWk*pZ~&o9!NmЃm6'8\vvc}x Y^HIfKȃAӨ&J~[R+#asFw5Zܼ)$k3dVs43IEP/2/9;޽;{V<|K] J hF_YJcRUUG8f&BOUPW}/2aD_0쏅3 ~w Î7%K8`zz#ǃ]&yn 3I7붘E6" ؙ݆6GXV>A. F*%q v*z+ +=PD(Bና&.AjhPd)TD1 ٠WV.z'oN ;1X^~jG-J̈V$J&(@3%ki䘘ضܤVo O+4P2~ *p](5=5]I+pX.H &?<# Ų$Glr@-a%OzN Rb2wL;@05]^QqѼ<+Zs(t1U`|cB8*} O]o1_*PD>da*W>ل;2O!+߉a#]@g;M\~A'7# uD q˜ iWޯ7Af qї{F `V n I10 AA $T[csH8fÊŅ7H`ݖi5+Ne'm3 ]Im=4~}h[$z11syr3`7:H6VV:tqrav2&'!ȫ9yǯnOMއc}Hd598!W&Lvolаw, Ǣ2'5wo5įJpR)~]8aĘ4/{N"rcCBmYX*~*ԿSsW Hq>ΣCS[~,20 a3,V&\5|RI0&HqAv rߑVf*A@7%T  LA蠹(\gWCJ\0:*hmCDό`P;ˀ4xzp lH7ݼkue}qRtBJuR*ߵ׋.Q =dlא! ͩsa-FS,0NGKmW`3]ѓ]y?uݸ{+3ZPy8/s syl x+ð|Q9y͡獲 :SS,uN\-(چtEq@ƉLiWdBxP.̳osct%LؑZLjrᇵl+'S_3=rN27 `yWdm*d?n} x]0 f'K!NI4T6'̫7W9">z͘ #y0qZǝfB93\;6?shT>f/w:=Y;8v^ti+1e5YRw,[p/~kqh*r<@Fp`;46-sFxseQ߬j\HdXTyu F| yR7^#z% KCSlK6f(pgH{̈́ /EҙK]uۛ6 Ȇށ͇o|_mθzI: n]>*4# =`4$`Fq (|vKB=k&Ev[W e@bFōu%bXB?- XFqK(G;>G d(!EhWbJj`7zY0NjW8J,F @hvwd<5w=hHI<\f> |F w>g‡xmvߔ'B,TS/G7Wjw|X=0 [<8[$!&09_<{̨o_z%)8V~[KpRFcj <8a}b3u΅2Os@h 9{-_.do˯dq@sjɹI@CͦYq9 >ո{Jl@vk5C00<|N"]Qd e4c>HeV7Ci]*@&g̓i:8(5|SRꏧKKEG&y{$zնhbMa35 &\ܞ%i[[/Mi\ߦnii6pjom8u՚]-?,P%%?к wht]. A`Ѡ&̛c<L榚|3Q㪭vJR")jLkvr/-zXH}*&XK19Qnt8īhfL}FO!eU6|Dd;uqOC Q͕m+qٵ( N7 ! %| M:q*> 5pEwZ9kws:bEWd]j+[2ԝ]Z$= tG$;@q/,B;y&>5jfM*7V-'jZ+gܕ@|a$"V4J U-;#oՈȔm\$QF}2[xߏ(M%RI&+ }SA9B|oM;Pl<[SI -ny*v;Yao/)+o7>#(Qu h@$ʈmZ=B;0=KD4:p7:dp,Yd4owc6?7N#`$;n~ |C%|Vm tf{VihVӟ4FNb`>;9HŠx#I*E`N;+[ sW03^`qznӊRrC r5">"dWU3bMU}RشE~Wɻ}z{/WnC9\}2Wqw҂S ~w*5,%B3+*Nj: o{?R*NN;r~m~'*97j[ DH:g͌A삁u'Y% V)#LijX39:*HP-! 4h!q3 *)$p0{7"D^y9D;ⅹϣ[~tA^z+WCZ}P Y+3pH<jhkNf=uWGI rgO*Ҿ kօVŅQjK[.|k_gR6r} (as*O -KbyAz|#FpGoHP|4=wup#uJmOzz\*`Έ)~}B?ʓBݳG^jIAzxkS[thSS(>8!DMu y <63QbS"A\YΣGyt 'Ç@UP8gB.W>;aʼn#`nTd4~0+UiBEŸwKDۮD"Ⱥ/k@ǣJA'RҘf* V&roɗE YuIb2:8KOTR$k5,Kۃ~}FjӼ $ë7M:@;מ\ݛ1a'\xXZQ (#|CrCiTQH@wږkURWNpBnM"N/b\YXXl/Hߓ܏88KϖNG~ t#FNTR9j 7cTd?vL<hh&( V$eFv{*&t<æ}5ؑer'} xuA mkL9~~wػc>Am'rچh hy߆4,i]!F]2Kbg4K'FfxĄBՐWLg{T)a2jq*Ĭ/Qd'>!_=LjEVig}g<_dkpH'"/V/L,}&;(񮓺>˕6_YD:Ki{DQH)#墟RBPg'=]p[f`M4zR*AH=<,eη;T(KŠ7~C鍮'?@ ^Cz;F-BfUMqX{V-=h"R{V -넳 =4$]Ha꽅%rpbI7tqn)=EF^ LG5?+/G䀓)j+5Ϙ;gƯ3p2@F B&6>#ыUߛ@ mFQ^/dA( G/cݞG.)6;ɳ [6m *0>S)8{WN=5(@PU/VvX <; 6n60_ Ln}o¯q13l,Ԭjk6 m;)F߆^o-+ @dM3M`?ßo|ED2L=_ u.ahZ?u#TJjP؊ c&{nZRDAa>ǹ!>{9z1CMẻT3.:Qϱk?b,PBz?wCX|N%"HI:.>0g ,40nRmC['H*.Kg&`9Rv߹* :b9 HE ٽJ ʸ}R ` ro2{v| _*: Mx`Z #vK HS{6JN7 Q%n B.LOI.$ _xImuTJFGrVn=M[-Z±?KzpZۚ@9~3KMB*V(t>'/^?tu3̉;Y__)v?%%/ x'8 %($@B Xjk3$| |@`A~x3<5n ڐ2!Ȩ ڨsN38ZdxsrԊB,gstzXnj:R*rf78V/$woqjVFbONz< ?y8e,DiDFp7JPb2|U٩3L4X+K6@>/&Fš@ֵF2EtVN܊CDۣr'Rzv5q֤īc] .)X[̡/"rQOPm^c6]tV GCЋ:@07OpsO:6@^XJVNBfB<7(Ӆ"m>? 5iu>GΟ'pHm8]!qY7;t. 1d+ S<ʪ)囹}CT ,Rל  Ϥ0 +$~?$-Ea cP1WS¤]@^'':V*ȣ奆Oיpo8h+cuX4 Q E1w6})< p]0= CYv޸5QGzSqѻ^M_CP2X @W;}AD;l\!5R@^߈ l: qKfl7"qX/YF _uCf0=1(b/*Va0X;7a49;9[*pI T9ׅCqdcTANt@?5/~ M{rZ_Rb}a)d'^vBmMT۹GO̠:8H8G-6̑g}/?mwMCxpBÕ2n8kDF&O庌C*J.ݞjz}^ fIL)~9 1{/R)E0,?JbV'5^^Xi|:!=WIK걬d g`wgMPq+e[@Gu(5hrwVއhzr'"{%C7$Fvb{vK^~3˲@5H RO-Kls,7D&LO$\l.8^kljqvU="DޣA D$(N5P ##=x"zXFÝXgwOθ![I5G \O:#+},d @Ч?J:5 P·@Eڛ N$/q8@HWԽCߙtm_:TR(<,igM? ի5jq˦?Insz&,SXX -UmZXH3>٩\R8 {j}Pd^Z"k[ cF<нEjJGVGk;]N:wò]\RrH[M:e-T淅QWxnٺ8MĠ%5#YLGtXW:%ncWW7Lb"v[o)ְ}!9o֏4^I/$T\Zsn!V@Ky?9R}8ucA08UԤ@3h;;n7#g;Rd j9 ,`>iP<U5KjC!JҖ)([d?AG$Tg#]o̰~enG}1?ИhsO"MR 6!o~ ﹃P:pl[6`lYP׃z$ދJ!tP9/i/OjILx ^|.O-8G P+n#"i"Jo/ RMl*cO$^zFIVl~Ay["g*bjxXӡ17``o#~t5Y.M=|++<@SR,'HR \ҠuW0Fޒ[yFZ5 XAzzNӡ5㠑BE;QIXz] Cٔ ԼCɇR@3,ҺLT%ě48;MչFF.z7ݯΟD86eͼpw *@ք<dȆW4Cb2ߗvyixY+kOA!DʜdD;̍ IV¤X"); X Bm4U.GG`|{[cK #S+#|'!v?|ڎV-IʞӞ~)ڤRStʙD93Lkf*Y BiP)׵"5WnȥUR1xh@,fjwQte}TD5BŸ8-O*sr)?iOUN2 jY`[ǤM1O1~զؐ{HHRܖDmPX"W)iWr1~\s}ؘŒIzrY 0:% 1H:1Iў*VѤYzz:S 7@VP]v#O:k_j_i\T.,G'[g͚%.prW Rk@@M;f D=Fm%& ZfAb C ݪ/ wDTǵ7X#CE^#}҅kM|jOd\F1p3f Z\r#BH"fN2 i|Fh;ps)$8u(705P1moL3A;"=d]%UHռt[*Fo5uuj}^n/X'cYLb4 }~3ƄFgL7 1GWj<.duTGVrD>^BdqNy0߃,hWFSkrA3-G>-: $'T ;WJ3n͐gn"+5,kw `4Koǀ9H` m:.Օ(dj#bC(^VkLMsz+T=E)?Le_Cgmu|NLg]<XVM,,@Π[!ޔPG >PM4|#eEdуct? M6]1|# Ќ}\dMu?7FʖTHfP`"&H$\㐕_8n :fB*}F BE%(z1: <N~"$k!. `&wZR֨$ɞA Hݑst5uwGX"AI.;r摭ީF!'X\{#]4(a3 4{Cïu#ކ~R%M0/sP7C=tzC2RWpMil.1alJQLTynxLAQSBYI`?E}|:&gGbJjk|v5ѣX+ ]/v-+ɷRvwҗ)\At!v)Jx<gtN1̝GތZd W;nI}tg[G\@S8$]-k*ad隩b &K ,v_.IdAevB]`iL j#@بk6-1$ 8U-; q)bS!Yϟ<1o& ѫf!aV"dYKfaAZ1]lݲpZIL'hΥROh-B69wil7O1ͬwv@<ٍŌw!+}ce @yY$ HezGO\&p8cNEN%ޗj:$O:3ڊ>fy^2}6Ќ#MmW~VX#h 01A% lHereditarilyFiniteHereditarilyFinite.Ordinaldocument.tex7zXZִF! |".]A-MՋhvG"uIBm5ŃubGޕ~wwWJH[:?1wݱ $\Ƭ{W7z RyʔO"l(S`To-n6׻8&O83d̀ʾTB+AoЫPN_vOGȐ̰}S'TWͧp&VQ.1"0) ?GMhk 7:UTi/إ:f.ދuk)©Is"$kq0jQ]Atԙ;kF*3YǀU1C% 4HereditarilyFiniteHereditarilyFinite.OrdArithdocument.tex7zXZִF! )(]A-MՋhvG"uIBm5Ń~F%^m w&ǀnqBcQY;1.gƣbJBi]Vje)Zs(T; (p agH܈HY Z?h蔫y'2P7bVH#զ`â3}F*5tـiUU zIk(^ _;h/K2ӗ;!*:Z:2i+qmsS FAO?yp -4.,1d+i&tS{ L$ VJ!ϻ>G = mqZo2'҆IƣDRK(auu%}"m|hs 5Kb#EJ 79yћca3*^>"^P:d O<}kY& &}jA}[W6A;9iUQxW6m>=BnbvnHnHemUx!y#``4*qyNPc5j]yyř,C@j{GeyO J7Cե" jEZZYE+ڔDiDvHˌGL5&L[NV}Դќ=#un|x+gwRoRU/G_8R6H*4O2SKW{yBKs KL/-9S 2V$g^κ@&ɕj*f$>rqK.Xim@ jMY^~%׈{p}/n+xsMC% H+X3f(a| n~H,NɸLdu~2KۺNaɆa%ֿĕ{`0\o[l:{BE ڭrG k=WY<$%edەpN?/&M;~+m=)[ePc5QCB#7&1:߫|iۋYלRFNJ٬[=}0υB\}0~['1`So.K >!q  ZϔET8>_#bFqD$] >#VUsF`!hC R H92rpP:J3 @-XA0K䂩Myrj2~XBf](d&KPNlסkU0uE0kJDO6xG󱺬Z?ǹR @ܐ]p˶98Z P'wV\ď9ѐkLJ]aUTNoV~*ygh`āylaxjv5͆h/x4$Lht6•KlƓʭmߒ"ٜ6Cn)c~8toۂb9m2Xּ"H.>ye~,2 ָ ]~ΠaQN) @VUBbfDs[:0)ͽzNé~ ($=f23 R)V RAb<ǩ˥LKX7"hγ'3SWXC{-Z/cuJ{e EPxЍ]hG@̬la`UK,MaRR8xNP->&,R&4ռ xP%!Tl}Y ֬s ˴@k-T*p"Wc!`jn>Hڒmn͐w~,fVӼO6q֡ʸ"H ]VRtN$ݰÎz, oM?!( 8OirW*˺vF-g{D'N˼*!@.jHGm)>^;e%I'JRم玉M:@]T3^ZCe 僧UBR#5cGDU*jïgqK|gTd/X?,=W{b8.WJvOo~@>A; aWZCa Uz?Oud^K&alSFLm4MCK&%6ٗ1oƊ (rur~1KKzy 64 2MAk (5a2LQC1,9  5;/pVWԪ S +mtIgtC_ ?8F^Av<-\w $ql̉*, rfV3_Do]+f>Y4F%VJXI*&=R5DP2LXMf8ЌrY/SF;xPwЛx{Efޗxе^?3:S9m/˄\n{Rt$Rn <h˘e:yWoDw>m N44vz.r\\(:6I';JѲu[z]d'jBdtS uJFo5y]Ah j1sv<Vߐ;ނloN 9>x쎋 q@",ʳBwddl@m] !Ĵ/< )zlڢ X#\v3?O:#m(ڗķZUE,0;x_o:ԉ=#q4%f p#SMWxƟ0mL0u3E~ur[\MKtu!VłS#Q]П~znD>ꨟojX*<0dH 8ydtRof:6mX aOj!-eC_;64W?q V+!c-  G93?OpC /'QLKtSܼ,f`CfsūV5i.VmI>.^n_6wQKAiON- )DЗ}ޖm. #4[,/}ġJ5Gs,,΍ qf"ex˱D4yF <&5Vss [6{P`b_+hjYW/ĤPhA7ɲ/f!R(>OCUڒb&3|n_M?P49ݩj&'tDY*oCtƈ(D8˲\SLfj5-T1(Sd䞛U:i N|Tv`ׁɳ2RQG6yws&K9-TP[jꔏ8uh*A*U"Ex.! @>}]{7gc~<МQ>V{Q X@UwLi2 ZVc,^)nQ q>|W$s[M99ael?xT~+ʊuXY)NZŅ4nQ 9>ޘc`߭uʩ7'cG*lB B>?1ƋRΛ؝AY'Haap`z8Yy,Y~Aw8a2kw2eސCr$^C[Iw=.^H70@Ux0;a#,9ݨI(5Y)t7TMѧ5?xnGkOK-|S2 ɓ?NKG|O%D]C&c \[Y A2,昔%<O!瑄[wc};T~ &Lbzv=EC_S@NjJkҥT]#KERc3{$ZJchd{B#qqTq#70s%VTMfՖBl |[V'`$𵄞%j١xZ`,4F'{ji(_4dXUGLi}첢5G/ ^81h|T&|dШjBx:SSf#~1ܷX8WN3|o2"1H4}ow{~U7:=d\Zu;)'|RG+{1NE,n&jOvBerA~vw1s f{%pPAF]\yUĦ_1# }f[ /-T ooM[@Tak(ɷ^>0>U~޲!h>hvGH\.k LD #sk? 78?$3nP[hW͡w1C ߁P%)X;*O,[ 95 fN)(ȎRIeI"o5MmOϿgYZ 01C% lHereditarilyFiniteHereditarilyFinite.Finitarydocument.tex7zXZִF! <]A-MՋhvG"uIBm54g[U@x:huIrkBQ~-b-͵U%m yq)vBuV^iZ'*>^ݍrG|耯m<BQũ J >ȿF&o|2iWf%s 7ŅjF=IBa*i#7ZVg^XNq˙✊nY_yW@Vxiؐ/1lX 1N{Po 5}Ȋ#@W {YMi_՗;+f <;O\]rokV2vQs]!jj/UJPS$te@dѥKJ#d>U xG xsJad :)( B.<=cc̽ y=\ Q2Ј\kU,K樓9\uM}g-_,d9Lc;2Y-+xfK-x߷ӳDQw~i?U3:On^[?Dd6XrbkE4p$:̎i[= ]2"z=DKF<4 T=fJ#Ef.,ߤ~&M[-;ItϠ =B8| 4+lS ]F93Ǿw_3 .F !3a[/0z쳺 GUf-M -(uЁW\vC #uQ2xO8s$̭CZ+SjŇ-Q\CKmʔ/Z!$ 18#z :EլE|0d73WM/|6HtHen![qJ%0rt+nOP5GCOW n`Y71U~Y{@g‡6MjG*b+PdeqmxhG:EF8 J\$AgpzQN`80&C۶O@7O{9CQ2p!m!j`Vf$s272-#y1FhdI$icoCO JY:Oң׏: bnC&x=p:sR=X8RȜC+Pl*٩{qXG$w<# n`U avSO~ 6#=Q**j^_;DD+buX]`;9Y [J5n˨ [grÁ_G'N*I&ڧ2BY{P|Alʦ+| Ľ\d6|]L(WWrj#Wo./]E|ᚉ%~/ju9390ϡ0G(xLgO"(dץw<eF*)BO΅*&J}T(?-kd'>&-&T^.K)ѩ(8}>%wh!*xX4:> uf"Н~qll*-?񢤽 ^f*D<ڭ,OKl.LlI ہ_pD_Gq x_gYZ3_@͑OL5$u4( S'G.d؛-.4~]&܀*ş m}Iq05߳KmOⅠfe\mR_ȚHOIzBb0].DZOs></W]#W-єL~h0[z=A7WQj+ R1+VU1`v7jHUX}[{ ^9?׸9 G"SK#eR8Xqx$nxw-][:.S#6 ,HlWKhQzqW& IԋD뚾Y)Ȩ88TV! n0Hs0պ&T.N-8,kt}fn}N"1g6e"༸>JIy k˴4u /Z nŪC+_|M Z~\RERN~*>4%{X UL.~&@[ `O>s| zvfΥ|tF]^6q7|LrQ^jT)]z*Q0 /ml}@7^QѾ^[4,פ;Fv=SZ}[i2j(/򽸱?8x0|)$≞\ZFIfe2%\ՎD8%HQR&!N_@|/$IESYdVNsXG,/e=!l A@=5, k/K!$Yev_&nߞ3BBȰcfTK&}j09\O-Q&; wkHOeOŜ,=7NYD\ Tv]ZT@\|'m[~2&њl'v8ܦ/Wh|3W/eW[foeRPczR>j8<²bi0qTqjY@,鬧qNׂW_莝:⿠IS˰Εܶ"[\]QcL@UXBۦYՉ1>.p!X)錝g q飗W\3?u'YYO 3~tz ' '.EeXp6x!㣆QbZVsM#!ab1Fhe#G0 7rpLBD{lM|yJ*f2*p5 mjJ|ڧ pK!zYQ)bTyu2 -=$!7߾ BaqKCvRgb/{fpF`r&2R`KQke hSG^}Oj #͍?SE;( &!<&u׉7'CeھDn (:س&AUMy!yeu$c!q? ?(I"dzuluJثcE܊q2k_7d}ALR aʷH7L"ɔ0}\=fK5~V3~-c[)c֌`Qla 8;{'|M==usV.j/jfSɤǔ!:sQj)(sAGҬ1uCk!^!7'fGBLT/>1U>C7Rl=J"v˹⊻4/jhǶ3WM$ڬxVe ^ [Te~Feɣy2^SqQXXmz[?ϨV]|#Dz9d/ ۯX5B:˲ XjV0l 8R'-d=psl )_~ȿ oXisªXY~YfMB(ZM5l1-M"UcKީyWQf^- M%A5P+mpm&6as #w}GGþj%ݺ]1酥.= -Cۤ2bQ~HH/})$ІhksD:* Tgi_0u @Eb0j[ÆwɑQ_:GOɓ"CL"-\hڔ(\:@wͭ&ۈQAEZ֬F`ClG'|,)i $B>Jߦq'`Х74뺊tY01`N0ox;=8.")ʹ `0礍gYZ ))L1;% ,HereditarilyFiniteHereditarilyFinite.Rankdocument.tex7zXZִF!  P]A-MՋhvG"uIBm5־jtx {p{8|R+4f-YjRxGлeP qeO߶{]kάx_sŌݭg- 8+xJX hǝ-@.rrRi|\/Z Rr>g\0))zSf''v n4?l,:WTF..(C҆vFB- aM§([dt9&}G/} ؈<4}a^#y{^2z;I}: Oe4:E# g-e"ݳ,$>y?JVkD\蚈ə(?JT-Y۷ZMY .kVHk YF3p",2&^}e_GwqTĴթ۰7gD@)+0~I/1??<ĈyP|\=k4Y.'([M6t3w,e7-S<S8A߽"@%#4Y`VC ߓ\FA*E7\IXςUׯz׏OTA%#Gf˿MT殿y,sq@ף`Ŧ.Bw~ w들CND N~䊜i~Kټ'5Bog<2B.%å9dK+ %G6|zi=M\Gfڇ%=TDWaMk 3-l t8@4kʫ*fƴ,83̞@EG18êԌ9m U` eKJ[q(lsEN ں#$nᙠӪ~y;^o>xNFoSy_sWOo:|xRX5(ﭫ4nGP }w13 ;,^ X 8ޗ Nm1 ' +;NEu HQ*ޛ׶ jZ#J^x ӺG^+Y1Y{'jb?y DJ%1S ÿ'6yRVn9Jܿ4-ܔøyb0rUږBP5UGB>`K5son9FkO^P\\f~L$'Pu}ڢԺ;SV2Z Qy)#,GW6[&!?\. }fTKP|iwu$7q.+t)>}08`26Xx2G>Vu';okY svYmZOC-&mBe2a0Q5Oed:q=l'pɪrAQ#7Eupzg&L%͛V\OAGen` AfwAҊH˂0,xBP?P.̌￸CHCNlHK1]9}v+ uc"%v%HHE;O־`#\ )Q0B[nHLQ.ڦQW(1~Uj޳ \G(|˩| Q]\ #ca8ߣ`Lt:ձBŹ j:V9r8 oj$a"0 YZ9"rjA|оUL~K_Tʐ:I"Blw h$>?3'u6f6+oԊ%% '1[b84QXߌ_ .Hխ,{+@.X"\֯Je!^~Qaw@wdH~ΜdrhpِS~^4ʷF.+# >~7cySvxzt 5