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 x1tdl ]]HereditarilyFinite:threads=4elapsed=10.356cpu=28.588gc=0.6927zXZִF! ]ŗXiɟ  Q pJی:JɌ4O$PY*s}y:*-K֧}}hX?@ƌ6bS= b!fjR͛@qu ٷ2A:ͨ;|iU>+r䱐9{o'.`" )Mb0tĒyx{CXr o4I{OE3O+&|kʜmr!kK/b,.B,+n+p(e~gX:Ku/ #'BYz24JHhޛHs4Xb:q}7+6I%?3j媂$ɥ'=m$9 s_&NewJs,K3C.s'h)짇Y1Jl?j)X~+%yp3ˡ./]; D׉]tR)ekj5D8!WƆyhw)%٦%jm c.#+$^jxb>uz+O$h+1A_ ykFD~3B\yƦw BRNa!T?R'$]]C{0 7ޢQ4[L3 'P *ھ(hNH?ܵ ,$t '#FHL:fB!7~9|_`@J\ofl)q䊬@ܕ6ulX!VXX7S"L8c >Lڂ8i;y?`umlT_gI"Ms:w6%|?NOSӆ()Z_Nv2++mHt -@{x<7zjNs 9elE_+H&!9lnj'.CQ$sT~9K7%)j@qUiIjvX^ǘqA|Ig'P2$(bm^8^tif!F :'E9pNc7FDbW\x068ċ }rmhꂮp%?h|i v§Epb]hf@FԳGZp5:4C|UqFtλl[bEVz{8иo>)H6\8t{ ;E<)XyA8C/A5cEh.SJr$9)ǸVLЩCCJ7Gm- _&$VzSW>euIPEG2Nā`. MH#JjˆO)NύW[`J4Ȥ3?=?X%8kI̹!Dby #ci$~El݊cɲf4Å+Iܜd%b]*P>i(˴*V j~Wdݟ{t#ibj:X)&4Mj*kh^zwpcz 鼚 yiny>F|O8Ui2itt1lu \68\|gYIhpaǀz5M8:ذ\]>\|ɒLU HGr=o4 0g |s1AlCj 2.8IGPXmtjVH}2$8+Z:IĘuwo H[]Le`iYcVEfY _f*Tz'8p&°۫݋n`H#k?7 vewS#wsglk2f1o:ٵBht.2VNHzZ0CZW/=򆞢ئ6G{"mr,FQTNX]5I9\dB,/{ϒFqڢnȾ>;}Ɉ{ a`]f_[ gJ"ky>ٴJHgYZ27b6807ddc2ab95ad0ea8f2fc36c06ba2352911596398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 fbf84b3a7065bc63dafd29bc1f88aef2ad5c8b9363b801c63af0b056d705b0bd64f4a08f65356b8e 1 HereditarilyFiniteR 1C% ,HereditarilyFiniteHereditarilyFinite.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Ѝ]Ƭ{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ԙ;k    B917%HereditarilyFiniteHereditarilyFinite.HFdocument.tex;1;%HereditarilyFiniteHereditarilyFinite.Rankdocument.texF1Q%HereditarilyFiniteHereditarilyFinite.Finite_Automatadocument.tex?1C%HereditarilyFiniteHereditarilyFinite.Finitarydocument.tex?1C%HereditarilyFiniteHereditarilyFinite.OrdArithdocument.tex=1A% HereditarilyFiniteHereditarilyFinite.Ordinaldocument.texYǀ<*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;v4|oT*eca22=dNhRgǕ mcM? y+,mCE󍢷TK|~rb(!Z3l $ӯ5w2\~{{ӭ֤v[c%x2P=.ld)wJ Bah;tGwRyqA; 9V|u1} T oK@])msU#1`‹$g{C,'ea* 8XId%c]+j#㡹:ZP9G>W'ᦶ[ k ~tjlx^m5 PNmh%K-b U" *%-sMvhۇ)17f `g+[M&mCe=./<SXP퀚K4gy$JiO/6+楨f DI_脈! 5fusIuE;9^IT:2&*\-&c^PI؞"t5Q~ڰ4dxkF(>9:^(zQ!֖ҏyaI[Pgei@x+]5Pn8x"Ǹ$.Hԭ'ѷm Z̚U 3@ۃ)~LG6m=̅(Ө4ZVNxgq45ȭOGY:J\M"y[W0 OB? ky6{M-茆h}ieVѕ͗Z>53U8Î4x5B+= BE^&|*Vi(Wlm5Q)W+0"tT;Px]2YFi^?VgP6h7W&x>gS|9M y8~D;衏@InJK+tFN׆C p-:\;cv39ҨmÖe9rYHlQzrs09T+v:81s.s]eoU zwý^$^IcYHb>%y,H=A Φ.TnxljnTMR$bB%s,Gw㿥 :ɀ[uX\M gͷGD$;"_ٚ9UþqCt{m2}:8N`جx }`hcE:FDbx=Ak1?|rAs& ozgJto6Ew2uӀ91!c19lw}ƎD<7z[!]d  &^obKic[SA FCfLۿaEo|+#1)ze#:ۣ3EY 5<0y`j/@ bֆ.Ą;Q$1& }Zbd{<^uŦmU DH(pΑ*-F!JD;5#7=;Z Ae*u`pKr&Ia!_ËOW5W{;̝ΠKWϩk*)Ʈw9^ZT FK'AgIZʩG fw(7_5"Tx &PW{K.4Lm+Q]2^Q-+6C 3m24wSO%0ɆXUfpʕ|pPV_0a|kA^+J>危GQqc;(,Gʵ%pE¸,sS[ ~4InKSZ-"ḛL̓!3sgNysD n[gYZ pwSۺ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<]"-MfL*iX#%OJzit_vkwƏ'³I'2?Yksd:^&U (WRUtãWˀ 0* #4dTvb.%&ߤAbKͧ~e쿝,&x%{eikZ_;-SdBK㾽dDgulb!H\~\@4z+l=覡+:+L @5ƺ- t2`5OC XvCJ>oS/L-d7@_8dy3Xc")_R5vV#.E._(0!vKOg>+8Nv31'ts#:!H98W*ۭOp2WQn$մR=EdkrM",}GҕFM@@|':.)Na=?e8{5ghWnͺi g/j*ma6!a"fk8L#>yUTNVL3'!hWEќ#އ[8ENqQ!&1FVv#;@qA7qϙC W2Yn&38lM'^CUuCH(d|tJή[af~@C CH}e 2T׆szBm!Pا*pDqu&YFv m XtR,{(,e%-JKL\"LGPbquWΙKBA~w a/B=t;Lq},\9djgpvp-l-EĎxI=/,]|S+9&iU@*N)//ӬE{Key?GFX&ƣXX2 )x7,R OJ }92 xs & OkͩKG^|RiUp| 7`ȘRbS{5\.=|NwOɣP#*# i ĢWNBL4&2#xu@Z\ Kԗ|S&XJ;ҩ8DpHIJKsL&-O M. C"L'2_'߆)ٴ3=6d{S ɈΞml?&p\~Dl Nj&s[0sai+nH~\CQ4xOs|q;mcI["FaL)o˶ilNJ1:@˖^ʧRA7$0BqHPI 7M#ԽdYR-ؑGf&iǖv&hz\~;y y}S,[jau2>"NpTpn.% sq`y^DK/5?n *@%T3"vU4۬op8L@~D!Swa%ohvje_(fd U0V"UrÎ$*7<k/B[$@{+0rc(aC-0G:2ݞBnE);nW.XS_"FV/BIcw;&r25;Of9G݋#A,Ar]!Vj\cSA9mRJCtOX)u@r><'<++(2sgM'mF@Qбt6F`a,AZƯ]+qDZGvu"z]:8v*@GLxnh1$$+ /%Cľ(3捳G<BfqowUL4Ŏea.{,x qQ3r|y/n2l/%_x-Q݇UgYZ  HR 1C% ,HereditarilyFiniteHereditarilyFinite.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Ѝ]Ƭ{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*3 )1C% \HereditarilyFiniteHereditarilyFinite.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 av x{ F+T9'OAz nHJ9T@Jr|  p;^'K޷6H:btFH=3lONq8P %vj_,N#a pRU-*ooUs#_oK=7&@C4As%?]1N!y547|0XeㄾI;mZZgxO\s;SUDCo@& @s@=V?OZ]6[KہmmHz@xybfZ4üUJevC-7l<ǨIsUn(bFD@Ma6=D=tǾ㳂@קw3R'( tW?Ԓ4,83n:ic5 `ՙƜMq@X xpngYZ 81Q% lHereditarilyFiniteHereditarilyFinite.Finite_Automatadocument.tex7zXZִF! ]A-MՋhvG"uIBm54"?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 @A6e ;#=GeyEÿ7leB Cr5_v|nS8S̑EuQym\b9叟MkhPP9Aզə2[p$N[[< nh ܾ!UbWwj"Aip̣Jbf>#xԀoXCVyϨR3A}3z3OٮS e=x.70HNYF` 7ʼnLxcm[<^(eJW<H&9YP%fٖtQIWKDxK9@(ǣ#`ZmK4t20@y&0Se<Y}጑??BsZJN*ҭ8J2A^p1b`ȩ$\n_g̠"iHT.O =難1R1N"f,d˜z \A혋5l.ICnueխ0\ȿ36,¼|U &la1&1]!}"#BmW/;)<1kcZ6fȕt*ӉV9"bUL{o9 L}/67 v@M>S9\eF{%Y͢ߕ/F3/d{fЮfAFOa;lȿt OgYZp;3_@͑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!㣆&/q5'G[ w0>qąg%u}Pʩ$=%֑v1rM(Rn&$Szj:h7Ħ{))& lsˍ te#rU˼~ǫTK3+ĵd/^B(ޯMF >L&,~nWىӧfyXGjBGni1JPk3L֎?HD7=E?9[+ż&#||R|>3ni-x72.;;逛Ϗ~lZϏ!p\7.鲺=.KChĘ3'N=I)ԩLɩ);Zaw9/NahʺKtF'Щx'kW(& 6eqHm*jz6nZe>B ꯱®%8qS'-m1w'Ȕm;ڦG|m:ZG-rwDvͰ Ikけ(uvPlmB[5uА\~ zaH֜cRUԟsSPDa P{pr;UVfvv~ɹ(G8 g"FD3 rʌu JBKVV7fb*桝o33H"D⑷@gs,Bx/-rg;:"Wޤ(SD^WU{/0I] E B4Q`LV% ZCҷS*?Sq8jCi0 .د:wV >< ҌΗY$' ѮʩCzfs;wk#:fjLKT)<-͍ݘ+ky* !}[ 3lk$Q ;KKdo1^S-G*4!n ?IhxH͏+A,gfu">#Z@ğ B;ōOgL*EIyyBH- J1(,G?Q1G*XZk5ʷ px }J4PʸxDZ,ONUͱg̏V0\tgYZ , 17% HereditarilyFiniteHereditarilyFinite.HFdocument.tex7zXZִF! aA]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~VXI1;% $HereditarilyFiniteHereditarilyFinite.Rankdocument.tex7zXZִF! J]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 5YGF$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 dx/ lɰH)-6 $É*m=1D}-IέY_d-=iJ$4(RPo]zFяnLe3ڤLT? Q'9FCQ2y!$7{?\$Dl?/)f~;Ї["QaSXCl]l){VN6\-Ô)IvpeDY)DX)Ǖ+rkf!z!ֺӠU-} _ Y.hEU-Nj9\I&Sa)^C!]ݑMLeRd[򾉂 HgkkĜ4#7rnNЯ"L Q!;,iʞ6@z\! Zku ^T koq?)Ij񣕵v¼xt2NpK"Oy73j5Wl7SW8Wg.m])4fdr) Gxll(HǶ? >'KJ.VY!%lG]2T04[ʢm*t Z9Ly'Z3x]q]d>3QF"[h>6Θ ra~B@3:Y@"ꟿk/<$$TĽ:ۍdsՋRȄlZ dh4×y_?3'B _bJ('~qWuiއk)cl쇾DLцҤAx^CBWܿ#CSo?USVrA;g 3s첢?z7LfyȺa2Lǐo[DBI&nI^DMRp'檐\>㿁nkmAXo|Tr,ro,ڶW`Š~܋Qej3ࣹ)pb|Ff[C]CkppO4S#r_ ؎D){Q<=ت ^uqyƴ*</Lhٝ׋ۧϪ:X+tԴʰlJ$gVcFoz `Mo[Oƃr'^=zyL@s3r?( >Mpխ ߑnJx&%>w!_K`J6C]5tJ>Ԩ^bA6N.2> oAh`k7 j$WCԆ3|xp0?VB9B(RFܺL, 4 oԺ)bŘ`s)AԘXv rSj}&S=%ܲ6Kr`zX1nKO5Ho%)7^kl֖\th42 .J.q.Tr@[_t?m%k` whliPG B\OOtȡdHQIW!i1mPGuf;b=5b0>so:N}cizƣh%f9n`I(LH#1'c6RResy*Rwh[opJ^zhgPdm {aOUу d P_s+5de:*Y d ˰?9I^ mg[dt4`N^9F4B7<(1t3)8=2̰OnY$x&QOMb֨9k'yS厷Neښ| L. mLI뙵ЀUť'iuz l%R z}ᮥf9"@~:ҵKiLEǔZ12 >]Or(?AȊs<+=73"G.d Tۏ~rxǭQ5 rߢVAA\Cn7mگB94J}wML&^qKF@Zg{i5oAd!UR'}shrevyQgrK3*U3ܩQ{E DK rjU Qź&I1 ԋP@e?Zې{ ;lu{?(VIF$=^mKlVx—UlU.UmMKDvG CU Dm%k9 7**k]$^RlIH=6[gYZ