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 1t\4 ]/ Finite_Automata_HF:threads=4elapsed=13.182cpu=37.724gc=1.2607zXZִF! ]ŗXiɟO}M:; Auܛ@{w6hxJ< ܳ):lkR7酴vg7@kǂEYh\hI-/pnԛFx[)e $Y&m(+DG+ ΨmH[mWr\iAh]@NU#FdÏ-S` tl18Uy=5^wg?mi𥺨p.ufW_$a:%'&YRs\}rϲ+9%-WB , x Rh\Ty81t j8P QG{eKbrEL/]v`ݷPI- RfD/ru}n覺 פ@_?/^Ոh< O[1ҝjfzHcV2&ۙE@:sO2>M /eYIzz{g}^|mU'4= ?I^|m*6_ګQ(fTo-zϳ:HݝI)ưӪ#U+ls{Wv p;Z;6UiNVh5MKy)mKSREz=Ŕj>Q)}z$)ncз9Dz^oQ1+cv Se}#@ÇGI.:v׾:l~!r?8ŭ} 0 ˒_G}p>=hv9/lk)A쫉Gw^n] c"\pX@K pu> ɳ.ގ81<:jO\F}%pXJyӞU|]Z Hxjg7Oz_TPҩMc=R9IV+/4)ʁiwlSygzLw+OFfTP=۝A&O?AURr3K[9uWK>b U҂w˓Cu׍zgGsY{wMBsdaJʦR_: #ٯKƶ9y}S70TO*+>IX?%LTv:*)ND`$e#TԐ,|uȢNƻ 0[2= ^IM?ލ("ӑϖnd-gbm6s)mHLn) 𐀗܁`=[W_ KeC:F!tՎNXy"Kzy[yǂUJ\[~Q+BxԌZ 9)0 Ri dm{\ߚ MavEE"%x1 6oaR72sĄ- o8oa+?D~xQFOb|$eZ P&>d8'3.aqb 'eC;]kveRt2O`wϼeVTa3uxkjh{& *ɔh-~"..[«[8Du[!$B$HoNX0a,Zr#E7 { ] K'cGHCi76J Ud:5 ^Jf9CekL|Qkхip_K˲ɬj6"m2U*'e5C6L;Le'wRǽF) 'fOʫz=Xx"iff%x9`tqOĠ `gYZ32291a8d46e20d33df8bc3d97ed017a953f08987c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1 Finite_Automata_HF 21=% tFinite_Automata_HFRegular-Sets.Regular_Setdocument.tex7zXZִF! j]A-MՋhvG"uIBm5>32 fyL KQcKē؁|q 3v:z=3 xa~m~8j ȱNa넊RݯGz?M5c~Ax>"Ch9²h>A5> $YJ3e&}I5]4(d;ҡO˽>]Ae}?i!Z=w3IٜNrpx&}t k(sXۚrP ؐ*N@σB#]=/s&Ĭ*?U,dWClYoSnU2Ig*swƺ9ydڭTv \s?}3.)ſx+$@& B%QVGf)vF @a$pptt"*-  dHς+Z0%ghա8)=Q Őx |D#*|Uۅ|m*{5e5bVrS6~=A0,䱻CM68/ QuS Z>li)K)GVP$A'#%R1։cA>^NSjV u.K p:-%ml1Nݓ9m !B^U<3Z;wW#tB9u[ɇx(eC>rb;tYO7ZM #cӮ^Vb!?WÞ=,-b 3hH*ã6AeZ{M~,[͎ `C$6~~ʖܦgm-ϭCzgЌۖN"%$N=)h{FޗDEO՘xeyA'ĪnX/UMչu0We!_Ax.t.2 ʲ$ Jf ;[1[G| Gu@=?? K$46.{(BQMEmUP2xC:1J Ngpǹ֯?^ 8"o(&VJM8=^=>c{Pg?vf5NH~n/`׾ z[.Pe;Vnc M*G"?Ŕi ^08>9%*WHϘi)rHj{-7'fZ7 p zLUlUټR}.VuQ;AE)Wαv̑uT$ qӢL4Xha,3 ȵ>0︚@ 7!7۲C:hF$UDz[ܾDs쬞T,G 3[טh3g`NX0!*& f93oYo-#Q*3ou8O$TG.-IޥK6H 7u)dejC#H#j z #c}ԒUK[og)oKрD}DoVԱTܢLKl(P5.@,%`Kuc'IuD|Sp9H*gnmJ46,w㜊]}9àxXM&NmǸ)aOuXpt罌^艦xPV>;37xv0Gn <4$[ ˎp̘sQ3Բ^R& O|+łGL8OKs&&NYY咞P௃w/t#MoY^eyisQ&; Fn82c}YLm_`U`. ?9g4̙J*a/=2VozG|%!;V㱔n_+1R͉D` qޡ|5 #&Vy s𝺨gPHarAceӰuVv(&BCyi2yL+)iS "4purt9OaQZ^T~>h vl&'ۡqy/w 9Ae=ng!7EV@?vX$lsr8Iƒׄ[]4Sd&`sI\4߽M'rF_9čR|NO{UYFh"aβS{+ZjA     HI1W%Finite_Automata_HFFinite_Automata_HF.Finite_Automata_HFdocument.tex917%Finite_Automata_HFHereditarilyFinite.HFdocument.tex=1?%Finite_Automata_HFHOL-Library.Nat_Bijectiondocument.tex<1=%Finite_Automata_HFRegular-Sets.Regular_Expdocument.tex>1A%Finite_Automata_HFHereditarilyFinite.Ordinaldocument.tex;1=% Finite_Automata_HFRegular-Sets.Regular_Setdocument.tex(: z=,T ;||p HمNV2qI/9d] +~"(;ꥀUAT|E;Ѭ??&MVg6砩BKsi Mkv $WfSA j,V3o%!|'YGw@ɲNPyf^ne6iaYEAr `.J̓PjwޠuR)hu{G{ʭ#"><~'. m w1ˬL|܂L4\?_'5V']3pBSЬ8 lBm{Y_Wu)`PiB~eyeݚiH^ޔjS@IZ "hUR=(DSdJ:ƵrTHk XTS,Rq1QoNqbHJL@fE@s~T+ǓwKVR)Kա'C*R.{ x?XdfwWig_pV"_jkIy;%|\8.Ek g>a]Tb92w |"o[yH,X?Ůj9p0:* =P;U_ Od |kgnG'JP#A$;j``K? wd1BQMںơ<4ˁl>Uk6C@E_qO.FxNYmakzJC:.qb^r%|(U*Ҧ)=KEP%8b 7%O:LhI/"^6zdRco!\aے_KJO4(}AYj0\Ӽ-D]")}UNYD7qɁ{^k'S|fhSeX/ _,<֓zf mxY#8xhVt8Rc>tJVfG*Ť1@8?2qd]./ӛ2mZrF-D߷F!;ۥlЄfxa+Y@;* uʼnE!|**m d"(|恧N[s;ΊQhDjV|(WC(tB|0ױF\-|Q=pzb0$&b+ Ō9:`ɗ 3= Nq >:bvoO>`fMmT+ *Q& I1R{<f¯< ܭqv?b#!FT,-TZ rgS;T#+dvN#{[;e7>8s->nZ~+u\qԤ4馕D*gt/]^Ѻ #2u0%SiE+ )ೊ$%B{ mB*?u}ZZ0ehAW4ֲmA/ s/wwި} o&ӉvH5SV˒;Wտו/ti!p1^ҩ ʛcٹȋj2u_9BW䂚fO{J)"VYL` XWsV#*|]+.| &ꦉhw6m}І[;&n<+b/i{+۸Op5sgs{lh{M.cw1r$h*=H;c]cz":$ylK2,`OZoIH~?OQOKNB PhfhHwT6T׈o\aA|_@ n5;%d8N@SoհZze2? ,Y+"׶geshz@ϯaDu-񲗾aQ )!~:Hnm, (|~5X/:)j_E;*S‚?im `KV/[ ֗';zشapeP"{5L ඘"$:Rs8Ԉp~CB RݾFRg>: 5 t`UiL:9o״9c˪;F7*yDG4'%fq0CW1$?L\ r/P3)c3'toL[~0k&v{Cs١Nc@G$)dbQy riv DF qmAO +z4 2Qʙt4%L ށ.b8pdAښ4G '4.-jƎl)M#eY0s~4cwTޮ*ڋ ȋ_N0A`iAv^uTr΋FE2|7NM\W$J W nH ´lL[F Ɗ#_۳9B+R\{y2(hk](\DȮNʋmJԇ*uTdu)Ow_ '5+|4VyόC\H-{>5QҨBANi#ǻ5M"fLLwZbz9zc88 Hŧ*Vt^xh<5 u+IQ*a9]ǵVr{G#=3**PY*=rJr,m e6̲ò.?M W6{Nۋ헰p,z|_BΛ6ٍ6"_##-$ܔ><){Y-KWDK;M ey`bcH/%T08{BΗǴhRYc G_ѡ jt4a>Խ!h ]0ʦ)Li#e#J8mi 0ǎ9p_?B[ g a?["F0{䰻M0+* کk;9OVo3tsǿE$w֮XdF-^@,ф h'c~xzed69A`4@#'.Ci1U卌+{LVlpDG 5$/c q2vR-Us `De2 ƷjBS>>:'@ȗ]̢&4 c8cg:x\:N/ xOz3M+Ab}-؍r׺E?֒0]FDx#?apQRFrkU#pxg BK9'[V`Efz/ndSV@؅cUp3B;wNf29 %"ϾzXuݎtwR&FPl? [ji9a3իnZiykt\%)w9x%jiS>ƧM"EGs88S!Q V/ʋ;@WEviXb6՘;3q2C@8n ^>sѫKq_Ũ&%̟4qtxîg+L4OX N7why) lXvJ Plt}P]ɛ[#e.U!PC,ੇ2 @@`F@u+!zC3J3qswǏ=H|#gYZYǀ<*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 21=% tFinite_Automata_HFRegular-Sets.Regular_Setdocument.tex7zXZִF! j]A-MՋhvG"uIBm5>32 fyL KQcKē؁|q 3v:z=3 xa~m~8j ȱNa넊RݯGz?M5c~Ax>"Ch9²h>A5> $YJ3e&}I5]4(d;ҡO˽>]Ae}?i!Z=w3IٜNrpx&}t k(sXۚrP ؐ*N@σB#]=/s&Ĭ*?U,dWClYoSnU2Ig*swƺ9ydڭTv \s?}3.)ſx+$@& B%QVGf)vF @a$pptt"*-  dHς+Z0%ghա8)=Q Őx |D#*|Uۅ|m*{5e5bVrS6~=A0,䱻CM68/ QuS Z>li)K)GVP$A'#%R1։cA>^NSjV u.K p:-%ml1Nݓ9m !B^U<3Z;wW#tB9u[ɇx(eC>rb;tYO7ZM #cӮ^Vb!?WÞ=,-b 3hH*ã6AeZ{M~,[͎ `C$6~~ʖܦgm-ϭCzgЌۖN"%$N=)h{FޗDEO՘xeyA'ĪnX/UMչu0We!_Ax.t.2 ʲ$ Jf ;[1[G| Gu@=?? K$46.{(BQMEmUP2xC:1J Ngpǹ֯?^ 8"o(&VJM8=^=>c{Pg?vf5NH~n/`׾ z[.Pe;Vnc M*G"?Ŕi ^08>9%*WHϘi)rHj{-7'fZ7 p zLUlUټR}.VuQ;AE)Wαv̑uT$ qӢL4Xha,3 ȵ>0︚@ 7!7۲C:hF$UDz[ܾDs쬞T,G 3[טh3g`NX0!*& f93oYo-#Q*3ou8O$TG.-IޥK6H 7u)dejC#H#j z #c}ԒUK[og)oKрD}DoVԱTܢLKl(P5.@,%`Kuc'IuD|Sp9H*gnmJ46,w㜊]}9àxXM&NmǸ)aOuXpt罌^艦xPV>;37xv0Gn <4$[ ˎp̘sQ3Բ^R& O|+łGL8OKs&&NYY咞P௃w/t#MoY^eyisQ&; Fn82c}YLm_`U`. ?9g4̙J*a/=2VozG|%!;V㱔n_+1R͉D` qޡ|5 #&Vy s𝺨gPHarAceӰuVv(&BCyi2yL+)iS "4purt9OaQZ^T~>h vl&'ۡqy/w 9Ae=ng!7EV@?vX$lsr8Iƒׄ[]4Sd&`sI\4߽M'rF_9čR|NO{UYFh"aβS{+ZjAZAӣXDAT  H H) 1A% \Finite_Automata_HFHereditarilyFinite.Ordinaldocument.tex7zXZִF! u"(]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*3 gg1=% 32 fyL 9_&QxuNEXS}_o+VLA5Ihǜ_^[9C"9lKQ}߰wDZnSC%.1~G@לBRrOKcg8X`bD>~.7$U 4C=}΁Y1~d996'HP!J;~dF|'xu|kKľ` }xR[`x2}Z /umȁADXT7lȉq#n<:ioKчPNiJeUlpgneVbE\骿)@Km`P~@8,J9/!;D;UJʴ4dBV' P3akEIVURd\x"M8"P (5ٙ%$9nm;b|ůKdXQ"-P7;`O[tlJTRbLq,bϿEܝ=rFA&̡knvU4p_CULOHؗSP,`tՂZDCBӏ3eʑQ_kIv3陽;5_~.QK9`^ޡ*{HZ[TP O'F-g K<74Qnɑp6tx۵f ^whFko1b6BBQѱf\,"x=ѥžWQSHh8Z}uw/]bL:ZѰ:E骕 Dz,xpk%+BY0J OBu}w.f2KLnoGeNRa.X"7<;#* ( ׮G:l|\xuW7=]zL%+Pg0皕Kz43'ͣH>/il}V;)E*!v\ck\<|yZӕpu|0u5}$R mqstw͐{%r稱eWpp7.VэyE֕ t8L\}VBywobt֮g5W}ѧcFeVȄḤQYAC4N.+j8_,X6PxWɲvAumzf7EK2!GgK釈05H"8_z8|pb鸎THý+d|J懒u6jrDHǥoY&g 74f:︗IS7fce8Jcĉ17_SCLڸBZuv(EC [Ggސ/n fCnLTj8V{ Xyl7xHkUcBBTBKQ b ̏(x߅֨=5΂S0vZs ݟOw2[a+3[ ^&y_R^!C+]K!.EbC(C*/x\ ,MڴbGؑV/s1܉Ϯ~!O'9ހ_ߝRg|"ƙb+15|ц.[ߖPp\t)txЋܥƸ3ecNO8g4o8OHӚ}s9aq!lU- U/\]j^>&3v[T%ѭSsշ@lGkUL >-v42"z aАMa.+Rwi?sinQ&Zx@lHd=)L޷(+V q L7_Y{;z՘mr ãm26 +OuMmX [ m(̅Uhʗp?D6ނMB [Oh(ZP xFPT|$E2ec YOtjEzz|i F2wKXѬiʚa(1BrEpz%?-)IH$ȔՂ|ӌBRg.sƖ ^\#ъ{6)95/vU`%^wp\.@r`Հm `w8Wbt9m#tQ2.{ƕ0ڳ†.x*pAbu7G BfV賑|Fc+e!jyA`4wT >$㙯oH^a3XF_&R,A9 ފ"RQRϾQ֊jbbr^]-Ry;PguhDu1kţDA_0rf_/MJ%ipOA˴1Z qOi쇏V#SCǵXxMc1ZjrQ5'F enS2ToT[wgʼnSty=NNU0m$&]FtE@rzL֑ZڧH{4 x]Q]fáR-*ݡa/77̆{J2Olm'By6HMjWCXےu7 *]+K],3|~d܄kYt5G$YK^P G J,:CܽP- tvNIDZޕP)O > Ԕ2ZcLVp樤<t?A#FgD^]e,[Qs>? 1VAA}HZrf;YFƟ\xvS020)c1]6Qt87 GUA-B||BVjJX ׃ ҇-M׹ BxQ|& 9V2ʄ4NU&\ӜiYMz/>SބՆ;ER@MFN0K^ڬ&͑!d}eӝwj]9xGGoaJ;J:LPM$s[5꼤Omd `4hA༞05yvSB |Α+g+7i }Fj$!GGVx[7rܵwesDK*Y{;FBH4MˆӯvFUBƖVB2$'t<npZXaHIfQNM6#`P}75P}7`q梃^[oTh01P8ol"HԊ8 ,tn <fAv?d܎WwJcew*L+ 1EgYZ`iݸ@Fb!u9y5EPg2mS!iN=}~8Bށ%7Uf,Nz60 (PvտfELZd`7|77M^MhuA&|FPǧ_W"$PX+ur`O Xk?z"g XVa0/d^"eu*h&rR,ʋO[>0!|Qx|t|qr ƣOO BelGdq$c]1V*Fa2O ,;1"\ 1q葖)KCϣyk:sp>/W2H~>:} BGB;[聽kS)dP!|ute嗚ӜH,=Inμ6 ? 9{&A+:6^g;XE26AP+VVe6:jҦf[@b+@1J1Gf8 g58\|j+Wx ⹒1ꫭ=Ů#BO6ٷZlNG¸[jPʹOW%lZloyL FN~=ZEǯbo_rNTZb&u mz 2^Df f,HSq.bQ'D . ~41fyԀH\a{jm&\[1vO`*/q: At2\ˬJ6|܋QoOo5֫n:c# Fh=$0jIjx2k[RZpXK#߮e3Ɇ7iG'Nk&FvWBa,ī味ncN*K6p@%pVm_d]lyg0Y4 S7bqeAW^E9ujocfL/tmp:`pUZ-'CХ9.k0_35|{JFB/&&'DETMg^T̴ 8IuNUUkSޫ>OH,uŗ7QU߽ijnaˇB8<"5ZN[H3jPrjұe9w6-2l l(/J+ߑbAƯ]~qhxx[Oy*Ivx. i!c :<)_J<g( ~E' <> n)^Prc.Qz9`á_O6-]h,I},.x \P& a /qXWtxeKQXj5Zo +ebC})LOW.1z6[WkuMg†6ޠقxQв(\}'S ێ_0 ~آ~DDvV*4_h6g8EZR:#N"jbQo_ ʽcV^C{ZUj4 GMJ>:V)~)Dl7D-R&@"B k;[nHd寋K/l8eZNj-LΰT! z?b0-{5MͰ\&JV2~`2,A30}\ʿ|} u}^hȰթMxϋX^!ʭYzeZ_TiY}#rUpfSͽ5aBMiEHfW.雄`\s~/֯ˢw.x>Oid V$cdsŎ` ,"f(BC9Ϝ6$vge>~THaDH 6@z<&}̺sR&93;@?YJbN+2_k/Y^{>O(iCL:sxn*\[85; ֏Fib]'lB]=R4۰΀zU^F;ȹF)Mcۏ4+9Zq _Eq|XJ@3K&'9U@wZ7˰13"uL7Q J&{O߹(>AÑ)}M\:ɭ#4[8 nD)Y+ AU>08ٶ(d)0`Ji=m]+[i^>Uc/ 㠳dnFcʀCWɦK}O`ۧ@s?ƹݒpX3+$ZO0li6CGFqGWZߍbuPχX%]*ͭX)!_2=yiP/nv? pBRDMO- ;}^0A@sb dWQaeyC-#͛rVdѡR ;Rж%+mH$<%yt' 4ߝNbrkkkqG;ѼxM45E?/$[^t[SM`m+}.ySY&P UnAޯ?@.;w͗iokH8?ҋO^~`Ҙ-sD)u.ҾrS{N5r:CrbIa=\ 8qG(,&+$bQc]@`Eo%Mgԇ٬g]}.qgYZ )2)  1W% Finite_Automata_HFFinite_Automata_HF.Finite_Automata_HFdocument.tex7zXZִF! >8P]A-MՋhvG"uIBm54"?&5HOȚ.+7:B{eB%9fʹKpP4·؆s ӆMĮdLߋ݅WiL@ȦN+N"bJ2d1 17% Finite_Automata_HFHereditarilyFinite.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~VXC1?% Finite_Automata_HFHOL-Library.Nat_Bijectiondocument.tex7zXZִF! 6RA]A-MՋhvG"uIBm5ı^gi,f9WӰ )8I MU+hT lzk"fںN (~[tfS}ipS•Ҽh=!Jd;ǟ-ǢqEkZ }vl 8\:`;%`OP$mt+e} bw0B;X܈#hF/ YQoTYW,ۭnuɑ&1-9'[`9ԭPHksyFBGorǓ, 3#Tn4]WQ.2Wb.~/R ջew>G5^ FCRB$~1(,DkU )J{mud*zxF3"+.$~ `Ym*sKg0QBV{aytFp\~hب;.xZu](_aK<}!W6ЍBі$Hﺤ~% ?&tloZ<#&0@hb<!(_8/Md{ԵϞ$ t鞠< ,gXC'*zj&_X+c͚ޟ3A3TErAŤI+B~b]Y\iZkZϝxŷYkzZ7R٥g^Ĕg.W wT &fp AQ\z^ -F߫u8g.qm:Ҷ/ /8:w *{3|K^{j5׽AoG\sm-CJ(evc B~- O=S8.l?9tJu~_E^N?HUB?gfdbIw*5jS"sK$%2D c!"lJj/Lќvcyz E"{Q֍pAVq)2RϚ%aƷ@j{ ~yzJ2e'XC07.:{g$'OпjZMv3襠qEU&Ve9?P|BE 9Jq ڋo"Y]|Q&S._8LH?! "vY,?f[ 6J*G>׽}ii=O.(uk&N`"fo}80b lDF4U͞r86j+‘FbrЬT"Ow#eB>IDwuR~#T ~lp艎h<(ȆJdO|ِmWa6J y(~%_AUR43bMĶi;A=jaI_`0$*|cڤrj;Z81<ܛQ;M! .E*:qUyG\^kЮp -x~p 흮x]AA-}W &l?ڂ:<Op-u`ͩƼ3 Sї3 #h;`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 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[gYZN~ȀPGnLF w&@.Lf]%Wsw9[嚭Ρ,Y̰MWa˻'Kq h3¤ɞunQ]/3|cH.jAe}LQ U [b)p}"S$݇UThN,%?,8݂R߄Ĉ,m˕'8!/n/I%bMA4AuRS`7ðiFߥj_@W$`?2Ϥit`L B2 wTX2R:34uէR`tkf_6ύӣ -$ pwm-G\ =?ң:U. BGrUmNm Y7ϖ8O-t6#()~ oIPeS 7^SCDEfH>^F;m㥟F{ c_G# gbH_f8 w̅ӇoR<_03pb^:&NZ Xq^U.b' P "77 Z`m3h2|B^]BC_mGߛo90MdD\ۡ}7dH {RDP HԳR~127dj 3=)gNR)vёhV!@{B&vF*%mL˭qf mPeQ'8AjD\ދzLck5U{ΆYZ9tU%MiNV!CTG6g@b3C¢ k ʽ Vl<0[C'߮ÌSs;;yfgt0S=|AV}a\ @Ml~c` 2cA>4{#M0n.tmVFS!w)~ ~upY9Og)O9W xl u}3'鈾h@ `˽BWu)2> .,ɖhV%ۺJXd״ᠵ˨O5WN)ۚcΈ X l0eX`c>]!mbrX28Nf P̕^ 1nGS6`Aٱ+yOV۴T> !KO>_[Ԧa Y%Huj7pf*d.m:XC{#eY&46=SD;-._wnI7&CzY2̩p&.'1([9N vT_;vu%X.N֎sp'->u0MM[B,K^/5~w$ p*fJ\Z.㽡OVD\3ˠ t.hTDO9Ȅs(_df|&!q-F # FôWsVSap] =o"틂Cڅپ&p.ڮ. hKX77͊ uڳnDf RrjS|Q[80 DC<1:R6[O *z<ߘl'Sa?6[{2(JKkE>C>$&L# xּ$IQʊtpxv 1c b2r@Zc9Sh(U~*̪1R)v!oHW(E򛬃-E< : 3PpCL_>%uB1kK aJFf1 >Ϥ~ Aug-b+;Y睤 .=#6J,=zvʮ)p X2ׄİg#Ԇ~5k_I1ѤZ?2kh oNMPՋXȭ GiWDٙUYTz5(&('qv8ns.FWeCz?$r!0aIR'-o@2wL7S/O b(ILLHou.>b}cW^׋;qkuǴ54`Gn]Knb.218qb௦0͸S;ijNp7+>KkV֜^@=wjV$ FcEY#sj&N{ٌfC/ vpp}o?(,*}S2y˯yyFvVUL4N>;~j,9.F'HG lRk]} Fye'7d`FxgAHOs,ӓJi8H^Gk&FW/>u 9+̥B5b/zk&a '| j!"/&&7FcP]=fvtkDr^='(4PQEoQxF=/ x A␮Ϊ@f ޙHK:r浃1YoHo!h:NKp5w11 {*d{v>;L"mߙw 5R9: Dڱ5g}wYMOv]H 1%~)u)0[;{]؋t8 ckUϔ|#)PD>jS|R IƱ 4%ykǮ%zB1t@X٩  a1㹍Kn |\V+M3S ۬nuG53zM lpI$r5- t>\Jqx$q8Z-}e.ӫ>Mo~6K*T^/M$A)CYv Pd[62A5> 61g@M:(Uc/b2`(CʢHjTuEM76QK&$л^XZt/ԇouC,Cvx7b ??>n?M'tml=!Q^ȎG4$>sV$b,"UT[Vh㽯5^$_at5m`&pĄϹַ+G:>,hEJɼǁkv Q䳄G̗P^͍sC?p6ۆ5.~ "f d-V5 %e[Hd"Ac{c6)*9 г 1٠Jm :ReR(!s{ D7VKJ wѼ4WPSO:`2?HVX(5jao"ijUeS=G,J~5QKU廮~8J M3K FQusᅢ!)W㈵?ș1Q2olxPӇle@G*{z.ЈKKJ+LJQe?<aT%:p%䯒X/T1ԥwu=zՖ|3];DT$-89wNʾAA~*1/6rÍnSg)pzvcCۆuU.'M[%Hξ^/u*^TAŵ$_:y[`@[.챎܊F1&卛E #!3% dˣ V/rܥ@d0JNp,xi~nBEr~ bk6<;&.?++}o3WE=_,j(mfJ YKɥfp%P̓W+zPLgZ8ișGuxOgu ,B䘣I Kj!lIlݯ K4ԔPj(l,z_T0E(^Y{SYI/{*,Ĭ u2k>ïe}6s-.^0)1΃^ )(3V鷊sd K_w8i-B9ބO^%s3h1qKU'O?A4W//g;{n"_hs:@_PsN;B^Ė#Xz›Lhx=ca@\P&& sJZ7[Kґ:=TC00 5VB|>8W3ÐݷZ +(3| q4R?YqQ OK 6m}Ǚ\u1;"e#Y#K{J'VˡhCĒ*`3ѵ TZFO-萚ؼ몯BVh"-v0Xŗ=t/{W-\-1dS~%:E ,Mķ@U]KKz+:lWH9Mٍ&f|w7u婠Ҽ.n2:OR$Y[ .|dwv>vWŚ)-zUػS=ܚؽU6 m,0pp̏2YI=ӫ g5+$;Ju&#&b{rb{o[!N\oPZ"mRWSmS 3D54n*W.8@ T(USm#uq !*h"D ̚W,./!#qKʃ)Gc /]v6Pb?yʻyjSY@xr1z`mxhG1|`{ !Z\5$u)/x zE0Hv,/ͫ~5WzUWK/R|&aʫbGUYŞM`,k/u ܭwf{׍J{ZHʩmP87ʓdopɨ6iiEHwi[ +]uz-nJ?Xy;{6`Kғ V,;;"9k?H-3ңG8gEdN;+ ow;DEqpϐuh'3{ +F?ǫ΢sO \eC!X߇"A!,(@7vXll+:H܏x K+`_[ui Yb_brCX sXt*-E1kr7BtJ65!!'rCdWWաz\гB0&2tR߲IꓳYC}vgT;5m]ފ;@7Q莞-}t;MHåe,%ԶZTH˦.'1Zj37W9gIkV^߬4n/)9=B9nRfDE/VC̢ %g7% 2͓nKxbk]Ul3YnwDzɜPYVFӠ()Ly>,Ss  FLiE Hm2#'ɨZS!'.aL*0II4`~v8|PZG\θFI2G6 ;wQ|슾5WՌ 4q#ڻ{NjۃmB!MҸ.R(@;8d[&eL]Ќ[lhgyk6Y&)Ƴp՝nìu٬y U(ZA.V&.tvaEbаĄr;n$ )V6%E6&'ς2%07߽J燘ƬLC&G Z;a8o_%h ;[톪 @s("NF=NH4Ǧ=@bRJO$Ҕ+W͆GSD*R\OVn=M:"BHigUWyP0.2肮x ([JO_pIf󊇇aLD)-Z4m_p)ZWEc(8K^V@l`&T CjvP9s'15o>F? oolxlLmY %_v:.N9 !}imaܢO. ;M;݃[X_|nQْuU  OEvAY J3,$.RY74l3%>9[P Ws IChw[kq!ے5nFp卲֫idϫ"횡=L' э2C(/&Ks9 37F}t]Z-x0eI Z}J6!6V"XXcqgvH,p~Y,{ WJc3.7O.n1QIe{;or4ۓE}q?ql 586#c[0ELu6i磶eoF t7F@T"פ>xl MG2pRc1k,PgpE1Ft3%XfxqCSRO2η52IVR61+-&WQP 3vXodtN} Jm$sK$LV)e=+s>|2Kqj۽D-Cb)Q.:lr \b?ų@@ƑLn mo8B2-o%} P0H۽KS۽<2H+$mI_:}@]UT)PnbL+52]Eę`DCmk(O$H^ITb".tYh䠽2k4$t^=J0X&ÿtCѢ+D$8(aӠ uQ6'0nN\a8,j~=BPWkOĢ݋q:=ݜN6O_t64.;x%=(#0utvc`vGk @xrE-mM# i&a@ogW>;r&dnxa󿀧kG5n8kWߟ5"&kƽre*TZ4{fN2i}'lCmaQ(ˌ4>R(ޔVHLOR])u/X6 mjXUp̦𪑫J8n{l2:8P^}gŬNM/_9g_51{˝%^~%!?z"fZG_:daj~x2"5'T_n|m9߼n$ b)pX,ܨDQs=}|%(Dk!$])ǐh4вVSK d&U6br(M~9z+pl dEa>}T{C!UBWs_BHJMQe|Q>:bƓ=*{V'%xsӶ ~eZ&t񕗧Ha3咯|/^ռۛg}9Q^I|,Q[)a~G0Oe'reV+5m$|OS8zUl%˂ ˖6֒,mEVOXm+oBJ9%q-܂:E.JP[n8*uu]qy;B;8lnz/1Buh\o K>aE[+\ԯ(h;&|>R;FߊHbU (.ʶ%wx'KߤD.g֊ E8!-cYfnXGm=7#Gf_GsJڅS}s 0dUe󚁡^Z2E"MG %LeȨT_q./ޫ#mHMGatSQdOe1'8 'E~_C4mIJHIƹvuNL?c:@&o/3(^lS7D.YLb8." 3k[Z:W%+pf=3]xhJt’#Vpzw[N9;4O-DŽ@ 4C<|wUxҶ"C>dH3Oin"KfCa)+PP` W},"JP Qsa1jaR),C '}OͿ][DA-4%\'9k"],db|llyNx9*1 D23H4LOͧq 0i֕Nå3хg[^c!4=5S 7V >Se^g'!O;gdtC.7<,] C L_ΕۂqMe]盟0<XjwXk;Etا w>_:EX7 2ʨf&P" (E;oi.<$;:j'"t5'uqegEڲz,p6?ٗo`n2kŇqevtuXлb樂]1ӳcvS.~Xad iz0 :4ѴYlj-ImB]6d C|¹b *{*Mb}3<]yl ,fzw hu$sWj:'90Sm*RR!1!c;M>` 9ʡr)=H2 Oqv)c[>]24s ܸ7o3Xӆ,Y()W\P8uޛXvwmPE <=NY;&z/83"oG}42w/馀xv&`hז,p }f;$z3Yo0^-= T5Va E.BW+HA|Fhx횀_6ФlGf)Eqd3 \v񐹋=Nk@! (l }O[=Y͍+{2a-Êtrmv8MdaqZ# zmu&nIA:}qݓa+#`% c{b%jpzky9Et:4ob9A1{^Uh! ?~>d' *cf! UN]s=p- F4'AȑIteFۉ YZUkH̅|;ei%kH1^.秬sdrjY)9Em{7p)# ߺwf孟!)!j?.$Օg^ <94տvjr+聾{h% Y~y(務=L~?lXCBK;x lo)I͘ f2TͧBgÆQ 8߾՞)DA`$15Pn(SW!o-1; *tq9Q4oFI17Lҍ;dç[eYE`]:yt!ŜlQ.cG<^(ʐ1&b t9{ J\n\dB ΰ GWr`ş0\;@dYKKE@/Q9^ɜ$}6>,0^ˮ\>ǃ4ȥ?ft2CUb.eW:- ZgEv_] ӈ*V)&} gSvLX&Π"O否80Px1:Q2k*^U*'Ycp 1T=8-mR_ bqtMw=oI;O/u4`y F4!@\~#0 8ƨFh3]!E4:hCLȓ$<Ěԝ=ß_%JA! (NzsB2No=&!6J[L" ]F?'I`t4Z3YYIh L^׎XyJGnyCUlF#)xĒʫ)z<(mj.uRbՑdA1Rk.'n@ab @*;WpG#Ƽ]n+ J&cK >lKf^#-~2ibA(̃)zA[tXPh J*/r:|+w2`ЂړT^bHH);TJKY;_Y-鵂ֿcY(z_vpu9 {8yB߆/wpLO u7TpoU0PL>4Ї2/P^DPy>|]J-`3Bؼ}ƨ ^0XH8Y8ʘ36TnN; \c-Ϫ8Bp`Uzem{yv2\Q$HGr1E%YeY+-B?!<TVqφ!;?Q:$u׀졮5c +fI-Xl| M(`{u_S_5{ZsmёNpǨ@ -6ܪo _r:Y<7s ǢʇF1;DZkǷm,3@S`]J! V| SEo]=ΉJjB֟6h d_h~d '5릦:nPN^VgCV;GL .Зsc{ FbvXĐG1 d2:ApxyX ;޸S4.C}tF?&WZx Q D4kb1iub_YPՐ?):}p?kl1p vCD]6" + o *6In̖^71~C7}0yc?tY`]`$ءP\&lǑpDm?`[Vp^謧)g!.л m?8I:~zlk.)[X''az,,ꎫ8}-CR 9TE͒]di,c d-;V 5*X-R;O>$7+gP;uJYj%-B5[)JgQś026`v4r,vDj>WWn3uNL `({ @3k҉sl*#Q`7Ԋyi^fHNCW@8(@f~Db!t,Vk!kI5/Shtyu^sM?r.Y(rhCN2Dkdedqjx9XbQozV-GơYB;$ ELu뤗fPxXq75כւ;䇎kpA?H"p4&i{Cy"@ {;~5!`& ~3 eZ|+<>}xV~UD3ن]wxU+Kh.&X16aYKz[8 ׯ"1ND0|?QRL‚@p44SIG+W+o:'c ܞ4uUR <V76h7Ӭ(f9YyW%RzlT%2ogB|ԅOFE;, j>㚧'(Zpڅ=/>P6ٕBJ^,ĽW5S*1 iQ1ZSNE~膖Z`O9ølXmeq;CRkLځ+Ryl翡=iNG sktR+ DW#{U- j0jBHx˅>T?ȏ)|*៞0J߶t4tPh@Ǡw}K9ʝfϐ ə9"Wv Is7֫ń4Sf ^B_YZfԗ ^۩ 8\6V{w$^ڼ]1=+uK%b\K7W3nQvsHN,C1bTN,P}aHnʺoN؅ i$ K|E+SgO΀ȭdjVZY6]ڐP!">8rRi}i g/ NT_cR;]ח^6pR3T|]L }(ӯ /ü:B}K0|}$sĂ1灢bWhHvxu61#$Y~83F `|=Qǎ}WE;V.|LzJ|fXLA : Dh*˗)g2S2dϻav~aa7JkƾsGu: =q*np}EBK\</<ڦ>dF,q<91vh'E[wDr4&,kRJ޼Ҝ3#rbnK[4xGq.<4VP̾{10>klS?mq)jȺȚB%{oچ<ܔ?6S̚z?pգNe/3SŊ(\H `($ 4 a* G ^1;!HOZ!ry>\Tx+w35!"|EUh2XFiݔӧDC˾l")!M[yPE.U09^АPnwNm9]S* ǀB9L GZ,̳d?JDI<1J Da,UG(Qxh |mPsWvZken Zra!fd 49['b`.ԕ!rVZ7b땓/x/d ؝n"-9Ԕ&) '?Dʑ Yr)ؕs|zqV:q`\5,D\F)E0wM oTU~j EKm叏K;!\[d÷2 mݐN>1}_/$[?X$7foiGA5HT > Cţg)ř`0XJk籑6P{Ix'h"³w,tTWП[~ 'bZm%GZAgJ6|+Xo`.c e "uQseuWf@ed' "4f¸7 Py*p/'=ٝxAk/Ammґ \Gn0~Fsf=]^P=sdW 88]"<+POw\G5{ U;Q]d8bp?Sb`#m:`< IoV,. 2.j7l"\6RQ310mR$y 2|X'!fzk/81,wHN!1¢gYZ