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  @ @7  ]/]MSO_Regex_Equivalence:threads=2elapsed=862.832cpu=1127.544gc=49.484factor=1.317zXZִF! :]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk/ENS--rbG_i&{D%EBؙXڈn%{ge1e=q9̮t'eʿh"+]đ9'sS *Wwt":ٹ*rFɓa76:ެ"*;|ԕ܆aC@RJ*kY0=$ / e!%UF22ct qs+NDF&=_} MJA^$2^3F<U<0w: T4Z}3fl/c4 7 MSO_Regex_Equivalence3V7g% MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Equivalence_Checkingdocument.tex7zXZִF! *]A-MՋhvG"uIBm5Hm_Ʈ'$C /9PLj|C}.K`L Kq͚ ǫUq }17 Y)>o,v!?e|IxK`<,lal}F (|L|72Q#AˢxbQO^=d Μ^=UʯCC(@^r6('S{axZ*c۽8?}<`D{Li kFVx*?=ĩ'&>T}BάW L)$`ADR X>1GZbM!ƀ'͕Qn;yT3 ?w_{8NS0 ~tcN5?͂p$V\Vt=mcjZoJ&YSϋX!^Ѵh :T'y%+h+:2;S{5l[X6IӖrMڍud,ZRImV/㻣'N>R %aq0SŢ~Z|M Ht20Mbc4,wS+WI.܏򌧕sUVk2pwU6Otar;9 %՗=x+uBGLbԢZe B8^| kɦ [@Q%4x_1*[$]?Y[dYx݁T OןJ_(ښƺ9C.S~UqۣP [fߋOk-8ݥ(%FبEF5u/gNG:uzA986gl`KrmY&{b$Q D3|E xF0?[vQ1J Lh6CG<"rU%n7*15ZW"@kDr(Zňc*.wGg]{ ps}~E*gX30fxcs;e1nCԋ‰s0h$^C)h1:H?`z5v1Z2լ.go%]KF(*^Dw !旷't4DbIO۔\-j>uUPBT4X?4[I6<^9 zizsOJԺ/77IWH?!Afy 2rܢjL9h3^m8*zy=vT/qΜ!T4q?bIܱƉ'k_]SL5<.:i#tcaiEǓ7[֘G3ú|˂'\A"@f Y6 )' V.{Wf4hzAbar^=䥽l½ig^imThLcn$2voy:~pn׽7@5odbsOO$H -<8,FZO{-}ϵꃻ&bl °fr w`-_¯17xiW"ɹV|rXF h#= 94%s?9-HucZ]i"<QۑMqn ٱ*+ La|*Z\1ޛN FO!/Un84;^̜DkH~*;GG.{3B79Hܱ+[7C,HTXul`6aov O==(g=qFWs B( ip2q.f$ydK(QqpOA0q*n2l߈t[rjY!ZWIGwS~x/ʎ,a2~ x.qk A{DXq*C]V6G }.4 BO]CEQg.7ٓ+ o ~)vU8֗TT\p9Wghu4g[jW@"J[dƁx~MB7sz"LHj+J?\&ݭn@y_P6?vt$s#9e6PlU'l XdQ!cG;P'9U˞sR#DWO,nTVn@c}.3 L}  C.w2 1dبk{~"-Б;I㋳ -o[n`n5=ݥ-t$ V7?% 4MSO_Regex_EquivalenceMSO_Regex_Equivalence.M2Ldocument.tex7zXZִF! ڢO]A-MՋhvG"uIBm5`=+k![OFkL19|0,Q ΋UC 쁤@ y) R&cgpL &/x7anehZȞCPNA>?ԀvJ_ BLuqף\{F!;ߏ1}J󚅸VZnGUm %i;S"XГJ,ZU/I]({TkYv@LfeBeE cʷ'_0뻨ǷJ8̴=b210/.-,*'& $ "   f ! P 7u M   6 k u $Q B7C%MSO_Regex_EquivalenceHOL-Library.Simps_Case_Convdocument.tex>7;%MSO_Regex_EquivalenceDeriving.Derive_Managerdocument.tex=79%MSO_Regex_EquivalenceDeriving.Generator_Auxdocument.tex;75%MSO_Regex_EquivalenceHOL-Library.Char_orddocument.texN7[%MSO_Regex_EquivalenceMSO_Regex_Equivalence.M2L_Normalizationdocument.texO7]%MSO_Regex_EquivalenceMSO_Regex_Equivalence.WS1S_Normalizationdocument.tex77-%MSO_Regex_EquivalenceDeriving.Comparedocument.texA7A%MSO_Regex_EquivalenceDeriving.Compare_Generatordocument.texA7A%MSO_Regex_EquivalenceDeriving.Compare_Instancesdocument.tex@7?%MSO_Regex_EquivalenceHOL-Library.List_Lexorderdocument.texD7G%MSO_Regex_EquivalenceHOL-Library.Code_Abstract_Natdocument.texK7U%MSO_Regex_EquivalenceMSO_Regex_Equivalence.PNormalizationdocument.texB7C%MSO_Regex_EquivalenceHOL-Library.Code_Target_Natdocument.texD7G%MSO_Regex_EquivalenceDeriving.Comparator_Generatordocument.tex:73%MSO_Regex_EquivalenceDeriving.Comparatordocument.texO7]%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Init_Normalizationdocument.texD7G%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Formuladocument.texU7i%MSO_Regex_EquivalenceMSO_Regex_Equivalence.M2L_Equivalence_Checkingdocument.tex @7?%MSO_Regex_EquivalenceHOL-Library.Nat_Bijectiondocument.tex V7k%MSO_Regex_EquivalenceMSO_Regex_Equivalence.WS1S_Equivalence_Checkingdocument.tex P7_%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Exp_Dualdocument.tex K7U%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Expdocument.tex K7U%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Derivativesdocument.texC7E%MSO_Regex_EquivalenceHOL-Library.While_Combinatordocument.texK7U%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Setdocument.tex971%MSO_Regex_EquivalenceHOL-Library.Streamdocument.texA7A%MSO_Regex_EquivalenceMSO_Regex_Equivalence.WS1Sdocument.texQ7a%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Operatorsdocument.texT7g%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Equivalence_Checkingdocument.tex?7?% MSO_Regex_EquivalenceMSO_Regex_Equivalence.M2Ldocument.texHk1q)zURz5}I{ }[Óv3 :l _AQ=AL+ro#-;E`qc6dnVО} ߫#k2׊XZ1 [Kρ.8r$v&glJWܽe;ܺNũHm΅ѥ0Oԍ?r0.K-^{{(-!'`" RdM]{|؟O=Q|R1zUIMQ)g~O/Rin]Ec ƋW" S$J}lA(~# Y84YL(^bmbF%Zԭfǭڸxj ?cdڼ/?*s>/H Sdw)$>iJԵ%Mėx CX+GQ?˥pDd/{ d^m|ЌdcYz&ug ,#ȟg3BN>QSX<&<`g阏3X;-$s8ɜt{>R5K'َU0LF~w3 5/:!I|Rz9W?W`\7ީ"]6C")oѨ#T<ly!: ![ F1ٲI#r"Jm:ŐiJi"ҽTDYt!@&+w+2ynDf&7 do6Y_.όeRPbfչI`P+ oF`)Y qolPQ/_&Tg/H}pw?~&n4]Cd`G ]O:WS_ږ|082-_sNuQvn*e<`g[KJ}&i4kUrWov|p`芆j/=]BC!TFJ+f>g$gj}-cX 6?%'Ja Z_[Y܌P^Ļ*lsTUE]-<l@+'{7 ]Yu|e=m f[zm#7NXKe9_X-1L7TA*EH ѕb7 C:Kq?2>uL-i;.A7}&iK0VcLו 6:GkSQv?e[Ԯ^Nrܚn {ۂ߆s'lğ/}?;p ` C BٹRr~܄)z EkKZe#6k {{5 VRwS7]] 'a" CB |ߩ#DTT#՝>ےr{x!DD[ ?#A)՟Pu{(ۦb]K{@ac*[h--5?Ep)ѣYYo)uHk"16<50} TLDߤ"->jy,1z\U<߹ȀYp4N2J/$e$W8 / kfHE{ɗVD&\O卣*U$VL\K̘Pa]G*~z, Dl (A04$%Pq]R,PSmD{`>201`1^k~OSp^cƨ]\ƭ,yd \ G6=L8nM0nj⺵yvz1]NO̘; ] @U/^\>KAwr'?픗EM"Cs6>Ⱥfi~ 0T'yjWlV[;ZaLC޾t]nQ %.(`Y,}؁l\ c+z/uie $tI x/EvRn^v./ cs3Z)ݬ2}דǚ 5|}Ph^e}/k] %)Z_CVLXZ*VX󉭷L?rZ?kxι{4#smCQw•6sO]Nx t{4!mgH3֒w/ vMSf}#yE؇+GT}TPnh1䛣_T:M~yЮJx+]R ē+[A, x#D [e"*bjb0AX-Q lt nvL`+o,q64Wy.9[y -'z>+AM!=w󅆵${n˙={D-_N/"vCK<7qF.[O w_:'2>qHuyH'Vf>|b!oY28{~,0 g8cվ`*! -Cr=oAopۗɅ]jw#=!ɫa=iA3v^+JHMҕwnHQL/ٷjM &iqV>Tg -p-*8n  )&T}2O*]Kߣ.]^3I]g#[bakB4µ?`8\ u߰]-K ~[GusAMJE鴱UU羄B-Mt\A«qX@Di|G9(DU{ 7`!'USec3ʭ:[DPʺ/湚kzX[RDJ@ѧ4ӱX#돘ZE1O>$+Sri'-Kb쁞S2Je@τ[iYz4~J$ˢPQ,nez=*hoT! JhNJ66]8K)j;zB[uCEms֬LG2"MZ(nV}z#3XPQ. &|Mkb5X {TF/8,ŽV\{05PHN!Xhdh[1-Z_s!p C[#1ʵ+]m6}үAfQLGPgA`)L4lm=l$*2 #(@IGXsMIƝIe9EV )B]ov4X!.HNPl!·㮩wc( z}!Jgp]!$|CB/ZXUG=qZ>Bs+u~5s fy( hũD6cOf|ES*&Հv aY凖@j[vBLM|Ui=~"\t p ĭNoQ#b–yvPqV$gktxq+]/4?w#/.FCqW\LUPP8 Zk4 <`mRkh1p `?}7t=E'&a#EJKԁ<~,ukYyJp[{7s`N'V m?rět!FSa VVzFdO ۰h%/Zɖ5d²"=.Kԧ.G G;&\DNP悋N[؝ E@A3&w)&6V͌uZrT+@=Tx='U9K Jy:Taukެ]ɋǜI-dIyXgU e^ΊOv0%SN"B X"/(&- +P f- %)ѶbJpZilO>G@G:)'dqڸ[1ڂxhZo׋C/0ay!7H\='WYѻV 3. 1ġ4tƽ]8i,ȸ֣'Tђ}qC=?P=;gx#~ {>n>oy{7z_ez"$i` C YV8[ct% b+MH˺m웨 b:e¾I(~r Ϧ:IQ=y6*ߢh%p*vof]x@ Iu_'T,quT]*]Ccgx/2)K\ 0oiʬ# SMjp/HtctY^M}PI8<[<9Ts)RFht_a33*K 3avj@#hI#,G&OAK 9 [[vpT_HDЇZpH- 4L:\74TAѿbatټu /"WDĸ $/r2 4%ɝ Y@r)EJhFMuKTBːH&zIw>!˖4=VgX+}A}~z[%X?jz |5>`G-t0U_U~T[2kN58pTB΢.?qL/F%}Zg[|s nh^.7B&":|熲4 Uꉉs /.R,g riI,U$610do^õG!O&!ڝAqG:9n~B~DgPlҩO~B"~uoDʇ QI;茆h;!{U:o媟qmNƬ8z/{s'Rյ;Y)YC;_wu V^3=_d!U–Bbhl7mSӧ;qO:w.C9),y]s{BG rsT?%^2=iFU45BQ[tkMڹ ۙm.s^"L&~o>&l*$Χ%֏|YFt@i>\}b89|kgFHH rVan/@"l$;BU3 B||?o.-@7J)e]y4Eq}gw~$,k|ݵ蛊Ô{l"xTy~)Ehad? McZ^s%k =.0z](DRZaY+Joy3)ZC.RP‹#_meWSbYPQ^Ē= 5RQY_BkQPK aTY⅄_a2N_YnԸU_u(h#Џ|~UoW:r%AMCBzΚ@@Y S'`֡yTgb$1H۳0Q?IC{ V2uY Z&OG ņ~Q]^||m; J'lY7y+8V-5CW;`a(ܴ5/(ugOAVӁQ5s yήBD7n5BA]?|ZrY796csp<_%{R졄O`Jvl!}/rnƪ|\4 4(绕 ;(ijbe#}hVtgv.uPC߬QeqzN_|kbG uLz!1 kЭBʌġv%D `dsdv3p%Qts!)ʕd[-p;I3FESއ۔ K=9}X_22oy@Osv#Ks5ia;I*y14 ĩ# Eaǚ, y9 /ngC@y8Qhb{U_fx=m?y ]WvEVw&`6^_=[?%rF͝TV6^«6*۽;T7>>4);DR%'e/4s{*UpΞ?>~Ii+͂r t)d0kV"8nNS6;:ϳK߾nFZw$1Eqsh weYfLWohHx4j-G>_4Xʷ̓DmB c[c+[] L-H/g Tdc e~sNNG}VHUߏm) J&a(+@ `UFG:3HbOU.>`6}\Ϭ@1Ġ."e[eRMceqt1桡u 8ql.wq<)t||砺SK55@8ѥECB`?$jGާuk G%ݲۗx1uKEc (nX״Z\oRXϋm8f{-^:9rp O UKU|ήA4ƶ>2أ?E )ŅƨnvKR1&YWM{/{@*pɮ.? A=M7qN6**! 4El˰y+@\_uɗ I]\V h=m f/~ `Yi2ty1D(/.2>U nG=oS_ل ik4S$9r)`Rͫݳlk 3s$KvF\.coSxlLR?{JCH?IH8jGA5ߝ,g7+ ˪?8)ҽ$C 7 dcD A3t =ji#+(zn:;~s˾>w85Cj2hI/4|_O{fe5Px.OaWRKN,q/=qG5Z!r}0d0*p&$e/+7&Q05 DYz"+~:Hieܹc{.p*8kX; 4Q-C $nϖ`x̓[N"vr4.&уvhaxVr*[r 5ق(UP> ׺ԎN)u;n~OG.U{7~&mIsGFXӤ٢FoQ*uw#gBqkM/H8nxqCSIөkbhMNb[\!4 BRxɩd { lOv %njjO(Ғ&zsngS:R'!I1-{t4 lH4#Q,u&ų.8W_lS {\bis/ؤj-"tbĻ* Cf ʂ_hokH- .v -$c$Wv|vlq0>r*?;JR61[A<)}WbĄ26xG tAd id+%+Ao?.*aW@+sf5ixfv,ʌbR?k>ňg_Xg EpՋn;y d<qvYU t ?\;Cp5\nX 2^T0OW||(v+'bfBb쒵=gDV =fZ l؟\f v5qp٦*yKmF߫ᆙb6H$F=X嶕5'~3aƲUL#mӋCm4}EjE n.2(_MVJ7F=x"d+<`pQUX4ܹ!{(IVfM1.J@'wU|-u0{.be"TYraTZeJ<G%t|+.~Ƭ܁c˚`vZsIꨲ2 -ɹ+̏lÌuS6S1eD7- Fg(jA!x-M\7EBy]>!iTȀ1Կ)Օ$ =gՖu?+&"69'k2i{;X L@14=F7jջ%zg4v#&<|$n 6bXÚy%le{[ÃUf s$HYPÜDe@8!W7d= cy3dH҇_Ny%Тl4 '}vV6hʿ#P s7O{mě.IY.쵩<6vaXׅ2"Wha6KS,$=,#83D]rM`2I! 1;@mR;7uCyƜMO~fDORASgv߅msfn,jvVᦐ޳pF㩊xz_ku/0 SW?/XW/zeo`9EhE"aɂ!lzߪREfrFHv :N4G0ĉ@M܇VmV6U6RrYL@7jHzM3]K(c 0>INq#(īt>h..=O4]ol}-T/ _!ConO$D8%3AU@~N¯9:dL[DݯlD3# ]npʘˋ]`@Bk&cPb•^ҹiMMFmQ"3zdxJ"A69Ж9neχu{  I{rZ|X=wF3R?vpl`8OJV+WlEGVƨסӾ r5mCP+J8όW`06.t`@bg!9L{ ;qAGy5n[F2ŘYB{[Ύ[ROE!\_8 ҘX60b뷻姗JvѴWgƞyA ̛I*4xLInZMTAdtjwEPaL۴$37o-a _;Td?W/x}.$W.~C]Eh=Å ,naXX&v>N'p"Eш`N-l2]`dqb?`%1TqR>>YQy?Pd ?ȶJ!jx!#dm bA pb.kkG2rQkIN(ϕsWۙH2]` MnT5V$ta͆ ;/:)(lm1TnĂ }s96I;3ya&?CR|HBTgCnbjOߣNޱF[ v5y\+ƥ)"ֆ.3/~X\<{ynm`e Lܝ#^hY^򻄏H olO y?*ҊY| O,=Ȁ- pIfyBeMnr؏jDzl6:J$8Y!* b,(OF6<(N!hC]%qɖгOd&HFD?r*FL2઄[(>ꓜSrFO~O K J-w8H:b$"" 5a66j~PFk"%}d39*cKW``~L%YAJ]f'$k+GɟyBℓf9 {nCC=k"r7\!m~W' -{,kxƒyT7r琱<bՋt ReH(,y{qiXDԄ GHFUsq5  S`Du_i PlAÈ%PN)ZO6sKScpX%pXm}zA݊=GyQMs{&Eg*hɡ d ƉJ;8FKYt5m iNl'LX[}h֪p Qܠ4z/Mt)CnT.¸b7 j̉t奾ғڗgq*E3Xb{3 ߊH`z6ո*) Dy =@FL&q5&@j!![ XJ V` ˜_\gMD)ɺ6jN3z\6U 4p5'RZ@ ,Y0k 6 ը# ߌw'0>q&`Lٙ [X&joéZӽ9aeRJAS>5겋4 ^y#f> :(˃`zw,IQȘ@A2[줿6m1v{-۳ g˺+?m̘ƬV>@^;#RK2/cʮo)  _cª`c*`[LJ_`lkZ*Qu9t&w!UZ3 3:}ydh8(%:*mJb/#+΋ީ n(Wpj6s.2˭ [98qg֓HuČq[xi1jSr65CML9#A9&3/gdx#n,=JMӏ4#e+ n|mM]uW8 IW9q 6ٜTˌN7 L #]WkDa8X :?!Q<|@ar`!/׷h",x:[1b4qb}$`ۗ_)kO" l m"aـfNX`Y}Fqmo(5_<§<;0rRiX]{t9a)S&s϶AhB;ܽZÖBǺ,e7r5M<,TTUHiw;ljS7X]#WLUjH8C,{8 6Lg_PDoh8#QL2$0,H3\|7c?m(gzX#'>b k{O^7sYq,x϶ j1!{["T}Tc;AW3exFmfxgp%0GLMzz u[V,Wz U+HX@?}`}&8HÀٻY-ȱ^ڶɓd'pX;+y5oBK'0]1bsbng  eN@ m2`kB̜0xf_koуS*Rze P/` R \*=$cpbCݡH{Jbf?ig<;ycI+@ZHw-ncFtV_.9C%n%Jm\*c)MPɋD׆ `H5CL2NUz΃/s٢;9 yvcXe3R*A{I9Q:[G̋}]l|@Π>y1<;'hio['&vˁ>5Xx/uOjb̥aAoD bBaJ[i3/"'.a:RKO' Բvo/oРG'KbDL 05ffKu3b;߹w6PAWv]#8)eM1uhQDC#|c;K:!{G;gu@eN;xm:8h}u}lBXڋ,?C` gĝ֢0|+ϟLP*-<µ%9?,)ϸ+H*ɀHJ:,Hj6 1zwςpcq{{*RN.!Јv~}075P jCTt⏮ET߻Uf(ߊgnn7!pF1:1ҝm JE>8xN Γjy9-F&z]&F$7-)x7ѝwL_\d\M?mZB',S"KVôEE il= s* ?8TN:&zTI2&26{c][q9a0dB&Z""p^7 Z1~HQ VOR#r*h`GqR!Ps7l_"X~`9n0ӅX~Ƀ]pCY`N27=.#` QX.QʤSD%ckmk,qK_sGl])Wa'9/rQP_Nqj}*ҺݷRlN~{Y?vt܏EoDU])Q"xzҊ~[U6=}1`lzZL;Aqij;vQ 0+%x1;0ٍ2Ru1}MzTpN}6|ilM>9ddQIS5ӑ7)Tyn~FTmO|4/OQ,DK y1R!fZ#O^Q.bFbdYmE3b~ō r,tIeNv"Ko<>*[cA|{iUqW:_UlXŃVd^99}@&RzF.D'˘& v=O#h^RkXQ׉Z6k2zS"X3ji}Ƕc[R_2kк[G=GmýC7fr顬s0EFZC}q|?igNY@$S!*u/]RڿSo5Dȱ~3nK{6UZ{XHxgRdMtɅv]ƱXeYCP9)`fbLbQ_/I]F>|Zm5$ i )'&Ԝ 砝G~uQ`s@)Yt;[+(JQ7䇳N2# Ϋxn8SJb0/ŌUOŐ,NmBƖZ@8 PxL[p3zJ\. +WIbjt$~#Z ;_ 6P(bEVVUf)+Qˢ$h\_ѥ}}hٷb}f0=,@=܇>b\s|4a(= rH4l[׀JOEL# /6q5y% ;=/(\2'm$%Luo@7G )yZs/lwܥ >'Ƃ1V6Dzn6s[[yD_=ZfU g46".Cܢ`vC;'tI 8ӂe >{JCjcێ6Th <!›־>U`ל> ~ąyRUO(KuYY,)ՌIb\U> `pښd1'.& 2qйodX9H=9P$&Ku|@Gf B+Y#eŌ F;mR^# -÷EJZA̬ ny^2X0K O*æ xK */[̷v=#i|Jߩ[&zk/'D_wKN[Qp4&^Ks#ϖ͊c=-qnpk)|0+`B[g~d,sKA\׈)hݮRiN:x&9N|"Vk+]q8[.7 7>L֒һ^!.*3(UZm"0Ǻ] /cZx~EK=Ú}`4)\МuqrC֬}>璗Umʽu XeB!<xX55W,OU!cG`ey[C",bYO>n#q^U4Yy1 Mϕ{ΘacI#ed+n6>|qNoV u5:8934=CP̃)X"e[WFc=q7&PZ#hukzZŞVp5r?Q+3\y1rhp`R`RY6,?ұOTkdz[:]-2&щng}~Vyz/fROӉ EIW >;*&=sJCޛ}}v7>GTf ]5{-^>G/儯&YiSG*J~؃I?]2t:JV>t mV\LWy{u wmN !G?c靴pO=8[ۃc隶`WIZ?=jZ&k 6R،"^)RۚL3|j83zp[[7XFbEtR=P!RKj+D2CӑnŲ0\}YaoPQ9  pj.qVXaTl8.T>,"jTIF+HmKi"(X} =LAQDDqهDOLBI&[ipSγh7%.)b7Ah CwT.zv5AϰɢG4wUrͫx>"( IiHga,bN^% A1-gYZ vy ҩAO!rMmWmFWt{8}EIX[_b.@(4h.6X1يKp;HQ^d*k$V{ʡwy|t[T6diCGxӓePoDZ>@2O}a%0߼e9$jo7]{#qk :R;T^++s_:ҬdB`.Wbi(-ɺlW'^ًȈFFKRdُU5-H Ϡ>ycO`&O|jԞk2ź(-Ye{ |^G::~Dgލn*&W}Gcqge7X}&V´gEw1Dkc[pi| '/l5J5?|{i>]|G,pYnmd yD@Wx C Ąwb dLRVj=Ds\R3]_j X3a+ᾱe5 Y0^rOCEx[2݂kv-ߕ쐔KhWnDV1Er}^` K]T_ؤ͘!GsvZӶ A>WBVk8up^Gs F^ܻÌ2,e)>;(-K[=$L䨃~ C0=TחP&[:O"t2y#> ZAZ00 r`N5hY{}nk20:E97DRo|%7)}d}#=S%u9ySQyfX@" ٛ9E2|~9);IB!2`nfێ8[r-"3鞥jӸh j!a_zO8tAj|%j\j@kuT{?O爻-Ӣe?!A`j]ڒi>T5P+bN3 E02n 1Muv93N33 LdF'>7 ȝ{*![RS~RXTq! eN`ыw@'Qsf|aZ 1r UƮBͧA e3ZՍd,,#ۘr7܀Q~Bqڍik [\rmU@:pC/N+}\C' jco.hjnkJ%,)8.y|NhlQ:Qma7Nm+g<[VO0|92yl;zS GwlF;#I5!;uSi^|S#ʯƗhߝ.knP7I{Ӽ$ x fm׾Dic 'M{YQ#2Z7 ޗSQ$} 3eK=&>MO:sq/Q?sf n/5hM-4\`zθniΩjJ@ž/ZB턲\JanƵe< Pֱaz#s?on_5f'8m=:,i*! ͳd9ݜ:6Xv)u\&P%⛰~`OٟkiBU{E~ o4V%]եKG[#fp Y2/F%^d\@M?c&*dpÈ:یF?%|(ڤ/ٱ-G @.++INHfyvQphԻvw 2.)Km] jTWz=Yr0,`@3ӄL.ܢTRPھ3Ys4qtPi7%Bmz2dbn%-A|U ?<ũ2@'Y`X*aQڪ{&BU1ŨmLG$(eFF3BAYp(82ko]cuE~,6ʝ¿HWhXGD-AWYm8AI<݇.$x ^V2VFO;`PgևwzGm<\DS/tڷqFg.EZݲXf. 50xD rە:VڭvvB kRܗJx?mY'٭(V m,3BZyT!&j4\HD,OkᔩD#zܿ7C(Np*@Yg""Bk:⯝Y52. s׻*973M>wDBBPO o009*.x:)FGd &gnڶ qQ8XS[3CdUc*,_tQ!gӆ9Ijbhg3Fn<59tIbV4jn"\'_V5;_F;UdK ng~'MTz~UM"0ّɫ~W#m \EOuet>M(/;`~fkZdTno.Ϭw7,\8tc -Cdi}{> 1R brM/Kr ˌ5I w5.a8eiԎ!Mu~nہ|4󉨔](iV,]c֧Za:wءtp$7T ΈEe֝/S!B6EIVԗP` ` _Ժ OL5؎{s06Wz57{ j['cK~&Z ݮp7.(X: \j,K2 Z4nWȧӶk nQqï*I{,U`iF3ln<‹-$65p5Gk*Pkyߡj({p^xCa̼J~kb#blA8Q@isQdCʏTLao?A:ug{$G[bKBkᏳѡ؄Dbʹh u$RڈXڞAPp Ԃ|=akNKx%cok`Fx2@W* dnc9svBu43Z8([Ŏ}3y?@F3;c`pSJ7X5y,λsX6Iyg%@1նluaM4)ȃˆh6rr Ӕr/b.߬nXuE߿R8Q%5&NM[ȼSVZDwl‘=D!St%bixP>ŕ 8G \L8W-G?4$h$-#:Oq#'"aa[ZpFy|sN#4˚q> aV$6+itY̻9l@S0OK5:x 濗'ẐeXݏ2ҖC[RskHx6cu\ w^.yrb S[ţ@T=,+!,=)HP>\1Ezuu9]@aV:+2xnXjJX@jZH?4g*;d efA1QP* My_^:X_JDJC!YgS2 =>e=8q$) QGIRYʚH"g4WڸWDY0hç5bٟ3RC7zUro?c%|q (VV (9;ӻnhK5[h3J9/F-rrzn[';ģe*m{Z qL_diIrPٯ8 u:bdv#1}3<+K؄${ޗJ 09ND$Cԫ믎ˁ@BVcQv4'n7RA Ab.43o@n;kgbڼ?Ckk 4)(8$@ϧ]=,@%S+UD\J,<%#J̦ ']@[y霂XƁ5J23a5հBiu4AVwc3O陾2]%v;#v).mַ2x_8+a'&>'(K k ԃ[h!hW@z=_IT-ywPfeFGxTV[+L9| <[F^W_*#AMBo?"CiJR.ᤗ?+ h]㞘V.Klx)t11{KnεxFZuxʴW8¾6HYS7BeD),ebOAC)dNĠA`TBLȫmn_ە/Z2HSUHFlPgSQ[Dm1%GA+"a nSL897&!ϪXq"4 +?<uqU/YhTv  LEtlXVEBHdI|7d+axmmBDGLz8u_F "4Ψ8 9c^JV{I_h+L e+{E_Hk&RuK1dI50Fr3{dTb&{FG6M3{n;)͔a[sV BeT7_r1ބUkWA<}ND^ IY@f]8*j=t(o J-ykṾ~}D;fӉq QrBG]7S}דbEQf~?]-r.{kG8q\ވWJԏF$&-n}DI5a%%t83zIr'JB@n%xZDq5Eᷛ\07. ٻoWǁlT梹AY*3g ͶqEJk6SX$adWĭߋ9kX3URAtz*pS9?zuZ"_aDM6PSU_J̕>^IC$̹x_]+0!0.g⛝Ze[ HA(6STzŖVU&Cv UȍҮ1S$.89\seH1֦g.L;JРa(H vmQ~ dҍRjTY7"G$t8EaƼ%5_Hhby,ݒέxn[=Ԋ, 9]UvJ'X[[0`ɜqc U)FTi͖iV?Ɇg5n7q!~}B+" D Y)KX1ck\P.(? j'^Snq;i9_Mx :rwknmhna@JI꒬ѽgJæZ88d#]̛3uBpV Қad! ʝtlFjoiRP8Ho¾%ȸ"{ddX3" AbȾi׋vrk2#~QRz$D~SΤ&M//w/֥`?}= A 7$.'Vb k8&R6 =^oUv,mF"H264s`\֠rš+B3;kH(6cE%6'xzs?5&ۙl9iFyg_;/ӸG+]Erc 7pg/a#錗~Τ:;Y?6rY,ծ AI>-HXAP5U&zu~q|%qNkUl::֬$@ Z0 R[89>Tnihkᜍd~fjw9ZRpH#:h\l3dZ~ycJQ@u[2j""n+٠y# @ zjN۞Z K^Zlp֎_-\+ute]e2d"% 2`O+߸U|cEDBr߾7FSSc1^|oou)A(~KD e {DĚLW;$4SEmsA")rcoc` T# ˾0.N;KftYIOYAusC&I6C|U<{gYZ"0^ELCp`ج8lGbC@#? Õ,IyLGӘ R 0%X%!I1QA`ʷ{!@& /<~[-ʎ7Eqts3J'̑ 0{FE"*{4.c[l;2h͝1RW)A9Z"&i#L4(I/W/I![v!̭tUky؋8bƋ]\iE7.Z5摞'z1fu1-dـ.Y)"s1L.0L] g`:XX4/Mc#O'hp;.zΛm)Pf2MQw uu6Hv𢍠 Oq;rbr"&-iIVsFlŪ%_4 ZZN{ PY:WRhlflG,@&>y3sE-"'xIe:'HY6SG/۵Q',+țTml2P|ixti~` ڸ>vn"f1h-[VdyK"_}k 0z:$|H1u\ r}ъ&B&=VVY>f;&ckMUB\2ؼpLTM,{ԶkYʲJUXuD.'l7# Rtr䰅F4 yYe#" 8Y{S;ix'ءPv3T,TVڄ4MD=Yn` רX{ g LRqe)n-̦9Z1}6k=X^&̏IƮ\a{>JcFam$ð|>Qʴ.  ٷ-sĹQggnICc-BN9"hLZV,ʘvx @@0 PZR0vbq֖GjH;۠ނӝCg& tg~?lѯ@xS;á+Яɓ9e0KoTb'O-wd`qc>Ō:Aq֨ cμw(A xnf*U2@`VRQRtz޻#_FTV)}.@,uـHf X:,7g_TI& bjNU8˳U섞0DB5#K-9nh[oX[ Ӯ `4}p`v6Ѣp(9Ҫ7598v. a k(, ^pGrtћA~U=]3CL/~q˪9;b,+3* СGo;0bE\s݇ЯM|)!,kQ1 d=+Ȓ7reMǪh%8㶦0U?cupi|%9;bSSU13׎*cɌh G1&P P'K sۖ!L+Yۛzp ZƋ\}Y;y`8ˢkZD틚rOSf$aB;}/Wf݂YcGU8Y?Y`5 Q;UW?䷜,hn8J@29Zۦk Мaգjyo1u7jd7,KJ4N& wh# ;I cUlK>eK<7$dG' ܫEq۬E4£ajE(4y 5}z/ ?gV0 "ƱbY4iA4jAdPZy %<_3Չ4WDR'"Huجϥjl 6ICu);EO/U=> ?Zp'~jPE:@z $=\AqHVngIO%·yR>"aIc w‘cEc9'>,1kg{_C[{-N~O4M6 1CS &(Hm !0T,M*;,pcQ#3!9J@XlTȱRQG#86ʩK^V͌F̊ <,qeJׁ"Kfke{%$݋,\tdE:!pL']QFP”XE^gn!_KZ},|v"C!uPzwJ,8nˤ0(ő[X˓0hv"yk)zzކ}EmtrUV!U2j.wE9i}-\M=$MA]=|6"簊3i5Y]l+)\% ̤>ߥzr>'7#Byn\67 R?c̲;PggD-^Ԯ[JRlI'x9-wOxX+A/y Rj9X&KVhVK}dTw{n3Qe%ɇ4<4dZm  J9fBM\L݊8_zuLۄR`HF=w(M0tc|}{n?'ARA1 mIAU}S6OSqsAwc)i#(ky.<\B1兲Z>m')( 2,D1mJ|JJaΖ~ l|I"&cΛ΃CKjC>&'f%iJ ?R= ~m5eK YJ#XƆeQ-`']TJ} CA?ި }W3CoRO&beh黨L[թH5_s[az1lѶ'Cьd 2"HKc/WBl_f|҆_kn&M wN)\kj,%wGjOb=#, t_J#ҬVֿxrsۉwqm&H!ccّf]1?dkkuDrOE9`iߚͼSA_EKBY,؁t6_+tJ`iiE.Nb|w\]cRH*OX:?7-(Yكׇ0vf}rd<4$N*Tu¹z(K )! #C<~W.7B7xsT*6ǟh@:@8vw>Q-C΍UQ<-^zf`ߟm_O#fo/2ְVl=ϢjTQs8':x ;22ړOXI&B"1`P);W3JC)}Mkv !1Q 8MHWT"Eø'ݣ 6UA!e9뭒e}XX8rp{ `:i14ʄ?4KGts$(YswL|2i4H2=f]-o!LFf*p drV>/%@ ]pvdBȊəNٵ0 g"P":ghAJ'&[.!É=a0f54|ޓkm{y/N^cD1>m2;(kv`! 4 Z0`п>qf4rt޾UH* 4`/䵥ƗwGn}i2?|xR=ԓ_=2@w$|i%Z!_Ul2Õt| '5]o!us %80 `#pw[ASuDMyyKyl%ɞ#+6&B 6KmA]/J͏sD2rf?Ư2 YSFra!߶sWPVRԷƫ E+Mz csR($ȏގeBC-NKtu)w{-IVਦ AZ$iĹ7(p!T6n,3^ڽŬp^I`c[J#z>-/@YIƒUI6lbދ/Q>by;g6ǹa^rnF ש'P5s0#R1$T`wD'=NDnY4ِ>UpPRP 8KŨPgC#7$~Xq' rH M#!uSʾutyQw+{ÀSUT; /?fnbO.W Ul\hx)ȮGt,PGh9ƃ%Ǎ'yޓШE\dbG07H+~{N;H5I! 7xkg$L>Ay~< yBWUeȕJA-Wn؉Lq܀7c*-d/n*;Zff2V {[ ny7|קϊm Lj'}ma\2<[7\'˗i?,ycX5m3ʉJhRM,v\g"1Ei1rɐ}-JWcQUȲzkYGT+d. 2<>hTeAm+RAQa g}UoE1Z\(dK)c-p& 3\ۍC.:Os?8>+:f6NНoƘ o,O<TI|w=O,XnnvSFΥPi.:)X[e;'dE׼z%m!a&jS5 B}98-$Gp :H rPՄYLb ?ᄏRZJLXh2 T,Q,b1KSߪ#rƊ Q`1FdoZ-os4ˤ{mw'f ɫ>u2Ϩ0}xrCbLA#D 5EA -WHd/zCf*!EN FH9?Nd& bt+[S3i4$dĤOڌ)<p?WVׯ4ݘ#cw  }Ms3褍!gļr˴} a׳xez J! f4hR/cFΣENbj C]o\b֫gu}z ~phM?πxmf ]ByF`cH3Mi\ɕ'8,Ҽ0 @+!^uKuA YL\ k'u[oN9rN\fj`jY-t%LP vhSs?,t+@\D;Y2k|2Mb=b>}w~lm$[&#AW Ǭm$؁#E KuW%>f}I*3Iq+  _n\SF{A(&ϖm +WiϽu~F; xe&̚mlk08kIjHM/y9I=9XwG_K#ϓT9#=ׯa9a@.Qn_±4}4 `Z"r8nȾgX.l(F!xW2Ԋj)b!39CB˅-Мf>u;:| E7ou!Mtsg@. 8U2ET}of)'Wh^$`5uӼ)R5.IÆ%9.kB8vG?AeJXsOo,v!?e|IxK`<,lal}F (|L|72Q#AˢxbQO^=d Μ^=UʯCC(@^r6('S{axZ*c۽8?}<`D{Li kFVx*?=ĩ'&>T}BάW L)$`ADR X>1GZbM!ƀ'͕Qn;yT3 ?w_{8NS0 ~tcN5?͂p$V\Vt=mcjZoJ&YSϋX!^Ѵh :T'y%+h+:2;S{5l[X6IӖrMڍud,ZRImV/㻣'N>R %aq0SŢ~Z|M Ht20Mbc4,wS+WI.܏򌧕sUVk2pwU6Otar;9 %՗=x+uBGLbԢZe B8^| kɦ [@Q%4x_1*[$]?Y[dYx݁T OןJ_(ښƺ9C.S~UqۣP [fߋOk-8ݥ(%FبEF5u/gNG:uzA986gl`KrmY&{b$Q D3|E xF0?[vQ1J Lh6CG<"rU%n7*15ZW"@kDr(Zňc*.wGg]{ ps}~E*gX30fxcs;e1nCԋ‰s0h$^C)h1:H?`z5v1Z2լ.go%]KF(*^Dw !旷't4DbIO۔\-j>uUPBT4X?4[I6<^9 zizsOJԺ/77IWH?!Afy 2rܢjL9h3^m8*zy=vT/qΜ!T4q?bIܱƉ'k_]SL5<.:i#tcaiEǓ7[֘G3ú|˂'\A"@f Y6 )' V.{Wf4hzAbar^=䥽l½ig^imThLcn$2voy:~pn׽7@5odbsOO$H -<8,FZO{-}ϵꃻ&bl °fr w`-_¯17xiW"ɹV|rXF h#= 94%s?9-HucZ]i"<QۑMqn ٱ*+ La|*Z\1ޛN FO!/Un84;^̜DkH~*;GG.{3B79Hܱ+[7C,HTXul`6aov O==(g=qFWs B( ip2q.f$ydK(QqpOA0q*n2l߈t[rjY!ZWIGwS~x/ʎ,a2~ x.qk A{DXq*C]V6G }.4 BO]CEQg.7ٓ+ o ~)vU8֗TT\p9Wghu4g[jW@"J[dƁx~MB7sz"LHj+J?\&ݭn@y_P6?vt$s#9e6PlU'l XdQ!cG;P'9U˞sR#DWO,nTVn@c}.3 L}  C.w2 1dبk{~"-Б;I㋳ -o[n`n5=ݥ-t$ V7?% 4MSO_Regex_EquivalenceMSO_Regex_Equivalence.M2Ldocument.tex7zXZִF! ڢO]A-MՋhvG"uIBm5`=+k![OFkL19|0,Q ΋UC 쁤@ y) R&cgpL &/x7anehZȞCPNA>?ԀvJ_ BLuqף\{F!;ߏ1}J󚅸VZnGUm %i;S"XГJ,ZU/I]({TkYv@LfeBeE cʷ'_0뻨ǷJ8̴=b1ףɆS&s[Z!q}Q(l E #۷ ޛQF.n"w)r#欷wGE  7a% $MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Operatorsdocument.tex7zXZִF! 4$]A-MՋhvG"uIBm5Hm_Ʈ'$C /9b!dF:zb3D6Cˤ9i=0U Z7# 9d]#:bZ謬Cx˳xN R',.ZcD\#Õ׹DR}rP­<!vYr/$bK ڂ?/3zs|z!.?v%[l&eOPDW3^/ uP0uf2CCt%J7 T\E ;ӥ84"Qj%jadD6Y F@trLDuv r 2[tr#S`вޖJ q;o LHy`' p28g OWI 5O9 !BYxQ hS( >Ds"A}Y/>? VMbVC|wϹR>i.ڥo;*:oZ!G ª@?JS72SDa>b]mj[[~LA^t ^۸M0)4weo P KS#B!#Q})ta4; °; @ =vjEL&D?Mx oqZ -k=~{B-vϷS[<.eB`P~Ėk:Qe HƑlxv1 \?k p4Ӹ Ǖ_bϪr' TW!pby}RkQːz$Ҹ>WmIΞg$?~\=*!* (aJAغ}jN=:( ϲ.3s(lfoDݨhL4=~ AGom! \>Y WQH7 ۥYQf\>ZYS+! MeH5HKA'.א [9@E`$8D3_ *W`C|cG?^yɚvSгEAؘa֟+}+XFMT9"uh|ԟ 4jA 0SVL G$DxƖYe(=?7=f%8šSڠkCA'eC&&wTKK.쿭XТP?~{} = Mj+ 1Ib@qKn'%R#UR'I'}6'IJDf[=3!q Sit㯜yL~E{n5bkR KmmSYǗJ + %>v' *)®Qҩ2?P3|7Iqf8a`@KeOWHZ-мS, t2PXCz6YoS%ExפȯE WFP$&1ԉ⻤ù3O˺i{?j.mUOHNvcZ 1+֣xi!Z2($^gyZv6cgʳ:m)qX&%߼G[ˡB rpK%XCmqC ^G"RՇcUyȪz~4nұ4NGgzF ϟp|rU M#w"Q~ (q} peƸ+ Ivd|V:zy23is@x4fN-Į1ϼ;szQTV=2o`AXBgX&01J iaT=s@O $R*gXK/:_BTM?*ڋ?bBd>f@dӲ=Q{)}tM|SGX4rОNLΘ\L崨Lՙu8~4:ч3%\?m;h! :tkKoZp!7(alT8bpr(g|>oyv뿀]|2\[x@)q @Na$ ALWkбx=/ 6xi\yb<0@˰r"MCy pݭgyX7{wAn܌ Mm1?ʽ@"ɞ~KxSӂ i{<+pSu^/(qʧp}he7ό.XSKF^ni~^ Ζ*c}Z?:{l+Lڏ?ˇ7Vy^s ?sN٬Is\b\s@X,AψNiㆌft[_v ma~]dI~9NTN"`zb9F/ؕ! #j[|훡 O'% BI:jЄDZ*[G&8w6xIv+t;%8\_\-ZJ s:cgJ%Fl_dh`4CQF)?r(9a,X$9\ך>ƫc0pvNOFD"^0vU~ow7GtGX4۰{r>xC'U|eT 02J:藅 YYjz _}\߄-fS_H5Z&|ʬG3ֱ(TrD BpGJdqܟV"!G\=Tx b #$TQL@:y cnYK h̢)юDvמd)]-;(nPR[3h)Q9m e-:H3ܪ@ 8Ar$5 m x]E*E(WuǩmfܷE.@dゟ"TW*= I#+ALz)eT8`ȟZvL:NM7²huhe[YB*(#i.O-A]RV iWowd }ߟrj esxlJ9~* DDyRe@PG6;@dh.=`B8G^2ɟHDfY,#*hr_k ޞ$b=aSdC[y>ʀbZ?y vy.K5+CG>{˄DSUEV)KՁ5\u3TuL2$5s_ YTmOU ^ѽu+M+:32xF45iizR:w4fwꇕRk>֖'Z ^7륀E3_/s\H[DƸZ_=1]4Xc"%l A4y&*e{s#9fwGrnr S,XT"q9WTyV$C&%I\qQX겼\nE9s ^[b'\&};snmU_Xٛ/:FL鍴 -.PXsY%v7OV%- >i)6T/=6JKö|2WUSU^keB~2\Ut)N6|T u9duu4b+FR4/I5Q>i%Cwf0'yE7( '3zzB8LLeH.brϗLaquEu 7-:qsuo엩 .|<ڦcOfwJ|o`F=T\Q9/Zj Ql?Mz"m~U=z^69 2EW1/̨ qІ!6nbRv$DA5$ i? ]Ŕa6r.0vF|7^>jǓ%G85::~ 'Ʀtpe~XO*5o<Ӻ'8n6̑ͧ-+%J8/c:׵N ?ˋwO`Zkl3yG yT1-6!!Ө)[ L-'.oO)0q]gwcc/m|Db5 MD{z9jj#z^8hL޲%ţ]q$<\).mB'5\r4&GI^DmB0/bq ݎLDc-|WeJfMW O5 \/E۟0iIBCc řdߴ!oN]ihjs+לXl|0X4`E'M M2{׉:[C.31W92tbV_0Nf-ǀVYZ](@C`{ң7ijy:BclߠMRK\ђEABQa͘P3jKZq'ع"s̥KgX`fرbCU>VGqNE)g=m#`2$_@eZA ۰"T]IjdgO NϏ5bLT,$V ]kv$BMƜ5v![̼=5b F>zLM2ȟ2^vFro3QzJL Q9\T~yd-063_e8P^Xݛj \ GֵNHŌ0El}dYNK*qm-黤[tBܟgIK4Z8MLf~$z[en;FdXkj[bGnyoi\ Vv_]8TZ0D5/jup @@ 5θ`!J VM9RfF/5a"Jۘ7[ Ehv(ܗ ,V)`zveՁO귮 OaWУ ݝ(XI[[ba-j3kgN2 %5eIϬ7hx:?uƟB%Q}dCID[o0N١V?Pz8gWDŽua? |)/:(u23y=aE+1^ޅ0|~>$o ~& 2(#?\+&Tt[R\(ы_>Up1*䦁I=@&@/vEɆ]Zn;H8CY"rF^ﮔln۝05+hl9hVӢ,-O9g߾S. ܧЯShE:[ V;8SgzZ^o Riu~f@'JD|jk4BY)$\/J80Jzwvtt /Ro&&"^j'2F\gRa7tZ9<7ۡluRhZ.;_^"|#g'@ `bA0TIq>ÆO7֡$m(0޵ Kb"oC[){b_6y~ !GCsKK%:/ "@do",uHN|T?,2Xp[xk?m{]0Ml #Ʈ@@EzSR ~Ujm5Y 5b+`07zLޝr™ ֘CWʾ82QZlh?y ֡hڶnɐy|dH?zu"G܅tYu T\FΰEd$qUR)i#RPB9it;6I=r5l}|7jY5T?:p|f^ \ h_Х#\֔u`B 2_%Iˢ 2xx_0sP6gҪ]3Ld *).fX$`%rYAӺZ~e'n毫D_,;vE 0F&I(cZLt"U giʵY̒SzoɮZ n-XSt4Qctti In.v1 R`d9\ޚ74\2^̬Ěq1iܡ^Ms>%?dठCLM"X 4WKdGy F,?R4JA3 Z[mUHKZ=_wdjo_yLQ*ШEnץPЯ+K%gfvbRԅ&cƆU)5<jzkGBPn:S3~zYrGLV˩vD<:a(Vu-;sA,P{~x C="egq:s@weR%[u_6qC8v7wq!'u/ .pE飄O:$i^M~DELsjIA~v.'. '9j{&e*Br̭̎7)ncS ޗA;3 ѩ@hVjVJYV픊'p<L c.4hw"*KS6~pĽ"m0j/ ?[>8+|া-/}Zդ̗ @cE 'K>Z~P2ǍFmwl`­agfYd\N *-ݿO**H24]@`j$&Zxw1Ol TiԲ\ps,OXjX$eOZ@,}cXH8isnY'6 {F< |9yk7Ի<5V$ݏE/2b`W9zg;D3D;~J́;V^ 9#[v@ڲ'5 jE]<<1z, !L#4r𳮚LZ z0`s3V sҪw4bEZJC*V]%_;WVၸNMN\  7$ quNԱvVmhw!h2߂[8rh`[)&6c;+[r#7-c;mAߋ$1,;p9dr!ٷ_'l%~ƿIyTb4ȋ!nEx"@IwS3 (D#[Im.VʺμNk"C 0XiU,ᅲ =N %_R2~aQaW: ƆDON<"Y9|V#m Zu$˕ R_%j[8J_#Jм9A8|a` G n]$;Ϩtc1*qVDlzac& iNF*ݡ]RaIoǍ* . 0+Aבּ֙hy0uy9^'(X62._|uB@״ssꪞ*4K;;spP"sG;[:{vccam1 ;j8T},||c32)C'TP^s l\u w Q&;]:]_(@([ay;#u 97KaUSxdhk2w))SC=7/B9(/d-0l ^\5/ c͢b.d*]DT <+iQAgbH.NT37y~$M֨XiV+9>Ɇp0Ψ~!6{ᤄwdtqCo#D3v-:.*{$g*T0<(29<Ԡ5iXg}siY+J4q.*H|ҥmJ9}QrUB8[ {0`fN"a`e+426I0_lX7A~ 4$G(?w7RSKW1:}2QQB/JFr~m-b &P/je qUnl2'ʛ>Z\v+ Ψ078p^tuN-(N񇞓([[뇔ܮә`m i㒰Noo-ͽ;D$ۄ7䋤GK84nAA J92;1N^%`#8, z[U2^iW!I5Wp1/$ ܉,=ĬL@6W*4u{:>PŊY4OE@[oaJ3aVdsLi- i>Ⱥ\=rz.چȄ s ZomY$&S9m~ܰ$4Njx'{$6Bִ9H;ew1zN&'QPhfu| 5Md)e#}07" W"SnbM?N4̈ U#~ 9B%sďp LOT!|N i6(SIr9 "2_c)IU6fFʘF#Hf*&@Hj熆79;ܣ~(C v'R0Emv6D\vDmLw;%Ch-kDuOY];lgZ'촜Ϫ?6kF ;y"lIR SZ5TVU= :Q9](b&+Egӝhv˖҇ aN2PݲEٳ2wƶm $ЊN&A[#jCdA@hɐV ጄi'uUbhh >ڜ;D &-U(y.XΓϐ>.Qdqʌ-~DM.ja+2Bϵ'"B̀ F'{B/tk!!+G{@alt8t 4*HOwi7@s$߁+J9BTr]=ZP~g%ӹvhDc= yE8΂x CmrjfA-QB1bPWTW֜12gXw>xcէZNl2Eui9aɧ+a!%wgp˟E$LO:{U,2툅ՁjJ7ÆUnz{QOe ͨ;ߣo?B)4 f0~C<!ixcX$cs 3{_/# cϠ5Fq5t~oR湿Ӻ4F dD^ 3݁0BW'1u4T$T^5å~\F/H/'-+e{dFncދ@#ELeSĊ#w,Ol4I1JjYˢ.2! ^:`7B)\,>Boz.k? K.x˫s/ww-QX\$%n8Ds?nV (R((ɤH~F#ۚJ_hsBFL}M'08yɲcE}ޏ>^Cچ] q(ܦ14;-Ot@~ɲ4RF7;pC)15`.z~iޯ/(h;"!ꇒ7}y;0 hTMK TvZVamnJWs3x$o&eˤPu ֛-⥧wBдHĹK}'a4'Dr8!TZܓ]I?o2Oj +zF*k+S1$"3"I1dY{‡ڛt#VC5E~m ʲ(Wװ8L*fksmyg!x+\kklZϲ'5!ڑ~Azs&fi* ZaIc6k.i@wݒPA#Q6E&!E9OFWޝqb- wŪ=Wz紎+b89a҈}cq8yEk,X1G {o161&_kBV䑃R>Sl{AJL/,s~TjKDWb#VI_Hк%t3<ưwK]ѻX"KEȃN`= J"3sy/@ lx'`GL1% d^TFl*˵s?}+[sE/B$1-أheҳJyem kqГ@)Է#njƼsX1Pͤ 6;'V^z hG^< :_nXq۬_A 9zERFxQ|4<6Xug;.-Pg+7HV-R)2YDRB~\7}R>px&9k}m?5Rd -X8Dz*/14 ,ᢓ07nnȺb7E3C!覶nO:k$ٖ"1rcQapטeKtmեթa~Ͱ}\huk>=UTsq*[9:uw?k7= #Gܽ{?rn܆(]t׌CJ>|? +,s¹&]|2d}3> \B7$NB%وМR`bO6IgPĕZZÉ=ܸ0t0k2l0 }W?LnnQ|%^fYf=^>k~mY Xz<\\.3?H]G~M^v\*dK?ZKqm3jl6/ޓ[.Ϧw8>5}e\g)mSR7>_8Dx ٭T.XH:qH;;E8,}]~ i(<%C9pd_^ r_+bF^*L'%5zO  V >퉫 = hzVfNY c`豧 .V̨BX=pGkok^1. $/>bF}p?nx Imt&9o0Gl 4rZ\Kdkgd7CP!>-6 ) M ]ƚ">ZLo1M8!L,c:(rdFQ/ b=r*B|yHzg-w}~#f8w[4NUl;P.V. \@ɠ˽SoN^"UgZ跱(\-/f9B ;k~Rz¯mL2e끪{؆ ͗Ub0Y||}j yYU6%je)~gϑ|+CeB Wwz(v:,gg$~-j$G"&| qyi0֩٭5Ȣ٫Ƹcޫ )nJJOk$cM3yl)n̯? o; O)>BBEX8Qby\W?@ S&edQ/C46h`Y[{*mtAyIgmk)oPo-2`ݹ\WMPY{}aUxFԱ^*ij؂Mo ͹xԓуJC9{AsOc@2+5+8Su(=K㔅s1đjj7ɑ5QDz;\$Qj%+_unQu!vaNp}זYW^"îQkG/ Eŀ(lqmW.bA\F11Se[] ӁB̐8gryb4vr_>Vo,-X!_I$R7ڄ*Ön/E: M*uVgax#pm]JS|!Īa"n_zS!5zgQ~}LT'Cuvn:4NK2KRD14sAJCF+J{@>b[S_*ғնqwԄZdOq7Ci'4ܢ$ww`~ê/`TѰ|>HC. WbH >@)~cbPxL7T Rsz$l"(9򣔿SA-=KuÂC3c2PO^c,g%] 7whIqJ,tn*ѽH̿$iqTci\`jCx) Y(0 'B0g0KyqXZٺH Y/x]6Wi#WQY'>bZnђN'zZa2 )Q{F:E`K OM{eD0˥R^L8O0f%u 9*|h2&MteJY : Y;bu j,0 "5EB X=!X .sQg_iql/`^b5lLyo-cod$θW fCA>+< ^YL}̐G.2f|GFu@ jQfAq9Zu?4Z%TҀ\sW@0o_ 6CZCK.6=qMsz\c)yv Z~jM+*_/?>K\*}SX?hI`a˲BG_yFSÝ gȑ~۹&o2Go슌-Q 닏1ah:¸ѧmg^,k)͍q+|Մ siӚcn}94Su Y?3ʁ܊%Drg:_8 mA*2]4mOD)iI]c/4FdTr <7f*g&J`vg`2?pP*ɦ7'gS "lN+4\74m1DQW$.z*v ɪڦIK kVnhd;'(ªM0MʬzFO*/o_+&?Nv?G8{y,GTU=>4[1-++Q?:=X/$$5 fz& zd;8X0}ǔ@eO_ wMaA T.zPHCe[[,I\8?퇝b{#*@#kΟ`'rI'D# VLx_~h71VH,6%zޝCs <]`RN.Z0FE2+$0^ tHY#N&8G&M5+>M1o;MW*M4:\ӃLIEezoVtv+fHY,_M mx{j-:c ƯO~I\ ٟQm歰0EX Ӻ^v"䟤&b:ԓ0~z ;o(?O! ܥ#SR]b Vbug_r0i1)#u ? B@_7о+jy|fm$`3}ʋaZЮ[9zXQ5MkZŁ>%̺ M {'~}X]FhX15TGJ2 U#KvCcH )|Uiٳ tH{Xhgi ncdxO\Px5覂z\[j}dѭN*0C?6 a\\ ϡK*>t=*SGLDd.rBu2NN ݑ9H&R"}GxjrCn >Z9pMDKTnUK\ ^IAH q#{˟SȾua|H. lYbF8WvZDC:eau{q2㙄Xw"H A˦h{kp5^Ev⽀: oTK顅5vP>k%:;u57/s$_hrXw+35yF5=2-{˦w s]H-,g]< z,mM%㦊uvh|QVrxDŽŝ 3E ٗ4a#̴ S5>"1_F]:2<=s:DUQG6BZ膝5־CuK tE,kM[`1S+KÝkpva~4+ k37ײCI?ӾsV磬.x.KB9X[0f|³e~NI4\W*Ŏi ܿB׍3̌]#5LDi +Ƨ5T\mn<IRL>:YA) 6@h,Ex-+ϨKvڇf'|p"!5*$1Ehagow,VZLOdl);K٭"+;z狤ԚNݍEu[ǒ2jiJVrp~+pui) *:I_Mk}nFׅHO8iPTݶm (ǐnfv 1nOddI?ۼv:۽60}4sɣgE*i1iQ纐-.(ʖCB#!(merTjuRi!SqnP¯H|U!rc`ۯsh˂Ar2 ׁ6RD# %C/GX'ϊM{0_ ⨍wY}._^_}1ͤ|UI`J.۝;wyl_uS+^ij.;wiʒN#{o?m;kJ>:&oRU h/q2F C <,Feޣߑ gZ+\KA%I x1f'"*@ 'u x6@l&3n {ßMF}nt8ܷU3Nk(,zM::N)ݲ}摩F$[iMX̅K_ b/Fh 4u=dO'wnZᠪJԇ6dYjT!6k`1 (k{\ǯu\r_<"/#vSK$\xC5Hr8!/);B2s%ۢ: 4r(X6w «"t J^$"GmF/ J#k LDn hq XX3Awߥ g4Qs'QHe*?C`h%/{天oFAMG{WBDNM; r~[=M٠X( SFvQ ALCߢMU;=?!|)gK 1HwɓYғ_֔E N2zVR#RayD% D4r幕k, X"rp3SdKgC =BI6 2^3 o@g(c+l2vNvOߔ]i.7I„H=>[̇l;o0Ov[䷻^ ;B m%\A[PvLĢJ c;YQR,ޕ )s[hT;e6DyI͇ ׁWMA.X,jV3+o0t$鲻V-!hMDZ؞Cй9~ۋ'\j u}+fiӖC=7Z4o*CԠ`8&D'\[i%Fͺn!>)H|j4߻WpDiDmr1¢Gzwj ]W/rpAb*M+IhdV7㖕K(YuƠQSpV řCt}@8 )-?FӭbQFWԬ5)Hc3rD暢{G$<0K ˂B: /C%]HfY%bUS< 5Uq߽!3~َgYZ [7A% H(OwbF:#Fn*˨iUzk803I=Dm |G'(W<ɐ>3S B2*GqW7!LKRQV`Rn12¯.mYzݨ4 LjMp:zVxI9[k+]{,¨v {?čEG zmYL܂ZgHe7tjL_"~k+"nG"9V0ٔ:4fq'It`h*HrU6oɼm76/Lj (k]4AϱXtE0n2aYl M03ȭKxmcWHe8WgZW`O.M8iW)(/r̫ BKkz k5uո9CU_in(6Nȕ뗚D\1Mq <,}zϲ,#_oUMaFD0i?&úa9!Ipsi4FEK])=b#ѽDҧˎ4;iݓ?/wc#dc)ndx kwwSf9;w珏əl.?)=L,xWd ;y~}QV뉫_D2)}T@ 5狴j`$K)CrNCŝL*H FuU -Xg˵.A}HQaZ47٠Cr\}hw9F8hxaufۛF v9$R14F`gIMZ21sMW)dxV:y!}Z AQ>޲ 9pLʉ@OZXzgB- :<'G__rѾD'Qx:Ż.@0ⅳ3'/$Zm(l9|oZDzVD*/_y~2e$"[aⱕt e`{rc'ic`֢(Jy9sۆO9U\QϐH›-.>|l5 c@Nʱ`rt$ T~2=**VU  1Fj>27)2H&wcܜyq7D("H&I]`Tx 40IAE !#WZY$0T/o W|7U/,N]V&Q]Rba opJe'p=riܽp=>bn;eZQ,.ree?uo+y@\ yxR+\oSnhAz4JtegHZCrVF_=Q+(un ;Ln+Ԃ~v! "%&kbܒ)}#Icӟ>,̏_߄'dPjE;$.b `˙y/Zy' BQuM/%zdO5KA|,q phhn@sE888g̎RI[U~LP #t"I1kJ فzxl)/C+=\gR$~Hԇ0j FDjϒ)4xmi7|6Cx˳%h?>C N KÑ&hE18:fL3nKxS?k"Z'#A1%!:f|O9v \¥4q"3tM|b,.}5j@02{z'V9/#atn 6M?ut;.q,{z"M.ClHSiu<. 떨r~qOw̺Td?i ;ӻPo)+J/$QA6+?x ~"XYuYS0@QR&AijID)aN"_|:qb_a ]A{S‰Ba+h#$!y}|1ӣr} J(MzիE ,0accƠz^yr>2X;t4Jz+ yI`БS{hHV40qusm#AঀC8EP!b9F@\ʥ(Yr=KP-SKsP{}OL~ijZF~:AV*aɉQ un~ _/:{g9i32bViWvd*W-Q =4.XM4vp6Pn&jxJ&KTK?o6_<5,4@v6Oa0Kuc,[ilLs\( I(s9z{NzmSa^""J@դ]PBG(twbIN}9ۉ,lEx]| Nt`M&$WGlr4j-V&\;yƜ@ϲ! -\IJk]6wDͮt<F<2:=gR,-ݐ~F=iMu='47CHIu݆OQnr5PѩCb?UDá>KbV囏;Fy]B 95h 8P޲ @,Ws`ڵ)]@qIB!Uem4lvXtx kHؘvlJ8 WJ0Kʀ1np1 x W6:Š_kU+ GP>ùR׈*ۭu8@n.z/9 !!d5úب1i]ZYf$NjmSB^S8-S~;}]k=_. h٤\.z>ulq%fONwm ~'߸ߧ©T<:\_{;,;xB #Dc Yȋ3SO٭E[!dPT$ob\N;mt)EmfBPGhՐDē Mo˘!5u-9iJIGP"!KdHL+EXs5q +ΩȵgkIʶrFc7&ʍU X|ȷm|^ &ݝO>tB؁;[̄ ꔐ2d_F8ńO><6-;ǤWԮ?1ðDş!qơz|x(xx+ " =Pxfs\}^Lr C֝ jq T:Jy5o⡫ʼnE6Mq3px+]q?}65!)]AseTHfʨ&Ϝ[-,5_^uQ ;TL^fT"c94~NtW|olCHD"DFWxkmāQrJg3jT~ڮąt}2N;[ ꠌ@UcBTJ1g n5~c=>;`Nm9 sOKe#4g6@qhAN+vcZuN N=Z5Tb&uάEQ fE FӭPrlt"U8ز&_QT:FQ ВX&<?EIo/t*FiYr( $ :uXwq n S5't)eWbCWfW@Dؑ70[AA(۳|5\H{pky"ᵜWgo|T@{av}&0(ZB+rN#K SP܎KXNqJa|?8pPQeA)l]RTZMPҽ^ߠu OL|T63(BD B Z*!۲KdFzsH'Kw%[) zzPc A!gt4$CwJD8j} _CDp949=koMQ+:Px{q4="ȼTXDkDrq |KR--H';yX{R!  X0<'RMH7sC&Ow'%)=8>YMX뇟wRw,ho=dEply!fh5xR% se%8=!zs|hqq;u%jw[Px{2 9jlW탏IRcOI98O"/TJQmx؜0܉aN"a+U/3 hڀN\'Ijz]~$ˠpajh4Z?B\4AEcD# hv(I/9>ob郚]1HJ @m53byεȞQpx׋s|ik6x=ENx͸' I#= lmHF߭G0nO]X7740ލEmuh+ϱ2kfz!,U&=SBb6/`ؓ7(BqSۺ5д'+ڻ{siƓ,/X?ZbOGg` (# Ŀ󺥦B8C^Ŷ&Iޜ*= ,p[wC1A"H']-W)1sd4|atDFwnN w[ 5Y7_e*ͧj-zpHMK8D3T!R$)W8SN&׍~[!8%vzNFcH$xEfF:Ab#ʎj20`Ʈּi1 w=Zy /yz_8уm;Zm!ƅN6g!8k!ɛ*jb.Y<}H_yj>*F/^DpVf,/Qy7Gy=t :(k>[TtGVӦ ]P--u]F+enLi_ȼ}(QdZ\F*n_B93? H;!D󕌱YnvU9BtKL<ѥ}=Ķ]"K5%8kdoO`9԰& ~IWUME8gځ'#OjgUz(o٥tϨӜ,*qdf=A}B0hϸ"#Oq]dEAAZr{1d:q{ZzT2T[# Nbu[ESP pƁMK3Zg1CaǜWò1bDG;HzF < iFY3Acg#bCFJbxSt?bUa>.i^#+k77p "S]mǦمس/!~H.vӲa['i/"\)f n ]3*[6T͸Ņ ݢTV{l"XB 9hkeP~NĂ/%y1|ز /=fq{Bi˔˒Unf} ]Yr<~MC@djニ%Um#q#ɝ{\>$ʒ;.V 8Yx,Rm4ê#AK|;!eɎn_#]=oJ~[$Fأ$;>5GGG kftFxLYwHoXCQW^{jeO"J) ,PFM ͊)3ܶshEA>G1qZ2zVe >s0x0г_+J(x[?|;LgN>C;>FKaPI~ jMoaD<=\Ⳡ)4F zNI)L'cE+_!mBSJ&2z*.LT[YN ɭ=TΰJq0."G17z/N!Ӂ VG>|ZJRo_}5 첐C_oql&7IM<:`LYb֐t`rʸ}{e4ͦR[>8Ϧ~SvXw-vU=P9eŷSrldfBlwQӇN7xp'jxA/2(L @ #-?Rt.Y "}01't=Z(a4z\|;C\+k~dkN_hqg65OC?欘PT7]śu?k' 2mEL& e-ihݤтpkm7'P?B{n0eQ@I<]iGǓz("1+>R6)/[9y;v2+2T> \@"H5z9PJ<ڙgQѰ D4{Z_q>ŭJ ݙn{4~w5F(WqY>XI"?t3% g'o=mg} MFxxp 3 >f ߃TUs.6T܏,x$8;vZd|ngLÝҒTСG=wWqh(1ci~8[=(CeS! $Ԅ(љ>M#hMdWΉƘfCUO],9 {RKEs3voɇ[1: 岂'qqZ:ӕ&$2hc05kCv:V`b &Щ$l$@8/[Fx?)Hy5K>quD`RDjcm9F{ 9 ZvIx %pu@3z۾< 4֣`@Uj4t[ƮǮ~2ON+ŊA D~+zF|٠4k"D jtF8bGs @hW8(mΐ ;crXnJqEn/}c1 ę'@>vXL*<1cs S#K;m*Iŗf1Ӽ;Tbpov~ЕA h&@mE|ͻx(VѾdFfӦQ\1VƠwZVG7F[*XGS#_0hQCVGo>Czp ]0dDkDf5peOG_5fBĥ;;a@z[YG23a$>G1Lo d{zgftq0h|3_|>2hi%U T@2N%o\i@ŷ b9A3 ]8㵰B I2L*(0('JkQQ qFlJ@-n|[c"#OAAHw3fuԑR&\닪W=Sd N˓Xmp,u\6$*Dfsv0)7l">JXݥ7]@C6ZaQ,B/ͽl}y5Js%pI[]V5%/ִE]$![]mmG.DSSyngGV6JF)pt lBZ?,.%3LjsT`}* ;5~qCKt>A{2e:^;~7E at}*ɔfӡR=neYgN?sYaTy?@°64ݢ V\0yڈ!o+UбK|gYZ ffA7U% tMSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Setdocument.tex7zXZִF! #]A-MՋhvG"uIBm5Hm_Ʈ'$C /9b!dF: 諵_VrZI]D, {>r ]2!@,Xa9v~ζ>[AHS,C _c컚+J~;81huX"ik%=aӘn anEKYW҈eQ\00,&ȥBp cU%0AyΥO G7D miAVQ?v?pZ<(@c8ɜ"Ɲfgw',R۱7ڣa$@"5=L{yAѰF/Ohҩ T y 7Vf F_)Ŋi ,<^AX B7Hu\J29c{2ex-f#*.ޯ 3"pB=+.cm Z9oG+>1҄Q~^ň-^OX1^_L!G|~Q,Uoe/(L[qc%hY|BPW*s Im)d$t 6|[v5 ˑ wP!2DY7؟ιDHMDևb04.5тx ;^"f IE-dabvimbdkUѫbPGM|c@aFLmjsoQr y@\;P7}Ԅ*%4"K/ooŠ!Bp2װG3mvG+I5V%(W>TnB9L4b (j )<ļQ2OYS]p%g?J5JE$ʩ; @Gqci]-,dޠv!e*NjnlU"f`aә:=Q6a";71% MSO_Regex_EquivalenceHOL-Library.Streamdocument.tex7zXZִF! *]A-MՋhvG"uIBm5ȩB8Lr"῰%lHNɯD$t?d^rR6s=tWtHᜠ%}1z:ާdybFWx=zG@O. o¥{)p# W~#;&,}Gg!0\S0ˣcnpљFO/p^+Q5s H$\yHTGᕟ'v5R[A>(;5+#eiiثP;os8Ah+[4!>hGOwe'0 >=\UjL@-`䌜.Np Q\]~gsUK3*{dۛ-Yen>5!_vʹ7fM$M}%F%\FnŝFݜӥU67b(ß Bud49j `gn7 B4Ch1/z8jfNwq?V`L z?z}-VCiGƒ(UuX{VUppcf^j(?l+ ^㮞MDͦ m"؇M脡ʕad0`Wa2Oqmj8% FZ&;̉F  q7U,'fXA@XYkE)@WES>l̎TIYUBj":amݢZ 3!QNl1F = bzgwƉ3lnÆ>xsģZ(y\ڿ1v N26ZkQGǧϾV u=;A3Cow@ ݩ8sfzyJ9D_4# d i$RsMen O] q)ToZvM}sPeB `dk@7XƠDs_чuJqO/yWN¯8_=`75&O0Nޝ,@8'i)KK86P aƲs%^f`6; r';@s,4Rʈ!Ȟ4 ^#84}.(&X4;/o<iʗaͣ9K{rn+܀y--adד3 ceda e9kU/-¦h&'gkBX./CЇQs׼V(>'I}Ǯ4RK/]IiX\[~wʁχ-V95,}I uR!;^gT_FJ|k7 &Jvw$xcs5KT>$$ _(I KD rf9m4r <@5,62FaMI%SeG:L} 'wt=vQ@nfKu)46 gk -qLH#A̓|B48y0>hRk J?5SʸoБmye׽u2$w-ZJMM@(3ӏ f1YgQN&fXaeHb R9IXkNRt3u@2ȘITTOcQkfFA-0~c̊XNK7lC盀@)+wX_Fbe3ZR^C:k L⦁( cG2ԇf](>=˜,.? =7$s2%Hsg5\L\ ޿*/R;':B'ؠ[+UP r6AbrU^H THsc6ŁT3?uWR]ϭX C}Da oZZg*ASn}A]q?h58sSK"UW >˱ѫX?Ӿմ1ؙd]\ƽ)]h|mDa!,eCwBKSf(Нxtw#6{!.,hekܧekuV<6/͡\8˓Oߕ?qdF}&߷@-,s5Ǟ!1\U^ ?1Cs\?!)Aum8sW_e;C^#i?kxH lϖALf?gʾRyp<ζHŚ5Xt6e~BSm"toc;Ed\ OrݳPE]\YUpgM"y1b>)s%O%$#_2Sp0(a-? ~Rp.~ /HJϛ$_j2~W&1DlkMt86ǡۄ }҆W773,\3c!c. p|Q_Ffy)6 Zg@t6|䘡s͹]W\lJ2j,2-SIB6@"̱FO ynypzfK+-3>>k BaRk|/[(ӘpKP GzIl"L\RkBZ4Ai-_H;5PQ-1axi6'PHۥ"bg%+RŠA`WkpuRzMeX|:}|wt✲2Z9V_#DrT֑MN3\.0ަ>Ӽv Iڍuf6ѸQ~"Ep{l k;vd_Z] q]"=H#a6Y3w6[z+D ݶA`9$̟4ݜv Ex͸z+O5+y`<8dh8(p)^3Ҧ|ճ|+U/ 5f`8VOx"y$X}x%W@⽤JO,)bg=!@.j΄ǩ$9u g{3,ÍeGzZݠ8^p-\;Wa7AHUp5]xh%G/𛟝XkvL`;x!g $QZ#׽MBoD:򂲨AoD. zCFֳcLF)Ii.MO{t,/ƛ>,7j39;"p}wɒ^'$&[Z{s#Jҗ h7yq`_Вy5vv~fDS[ڥ) . D"* <>Mq>X@rdZtQ.oՒҎrqv'/됨SCES;,^^>#/{\&PX횂{y铪|||٧QQl89/Śmn$eE zXt~\&I 'X)QNc7<ز#]u4Lұf*' vPk,ɼ|%7{*.!C! gfG/.폝҉v%c}#K uk@lU9ayٕDN{\\8'C}ٯ͡mVd,eDҔwTb|(h!P…Ԧ)L6w#Km?C#{nȌ&jNȹ.K~:&W䟞8H[wE;d9؍NBT)ԑ@l=Th,'FL34'c_-@*(đ"i%="_o$ϖt 6eNDckNjsw˼j"@H9iЯ؎4 'nJ`aN<\fV/ډoȥwe ӳ h,/Ԅ*a66txG3`9(0|d|HȋꐤI17aFRs\=NSyvbUߋ)+;BNPWҖwPDzK!ZrF/F"`:⤇CA  Q-m_E:NF"ыW:& Y.,(G *vR1>G%*lw\6:M̧#XCQ)+;l! pAZ_'5ݼsFb b6ҨǽuF@`ao ;]ad]i/:xw.e\!LI/%uȗRCy@k3`o-1˛m1U0/n|rD|+iͻD_rGHW![Jί,t^Q]UBN%FIfXoX#w؄Yw$@Nҝ"3?D=b32TmX2.xRZ ,ՏΏaM#l3uj,uAU< ֈ(LpG`Sj&ִEiU V(]h[?h0>GL}H olC U$rp%V'Z׭k.'ą9ه0\Իqx&/X޲uDR*>9iOظ. `JelWc*Yc#J 3sM~V+_E_عOiCM7asF doۮG Vh^R%&;6 4^ןXc\k̯;!mgIԸ5SҋJ7N4RTq8f#ׅHqI^A =}*g:쐩Ϳj`t \`$08yY,E۩t"A,"FKρFH3#?G+zi<bѪ!M%M'Poc!s_[u4OۏZ[Js٠EmK5G}@'MNCi.%;R\t@,+=ԥb?/)l*FD 8,H^1.7ngL $s>0QN:Y)V-0oOhKw4C]S%`C|[brےgH6XK9=$سI9 XU1Z:#i.%  @>aKw jf{.לҔٴm3oC)z"%. pЃM$g#Ya'k r)r:m+a[9(.u0- Dxn܍>3?&Y / VKQ%,=F5]ST?ac7%d&_毟F$Ɛw|fv%/Z^t!DRNVr5'> vZ8ZX) 2s%XN`ʶ̭L罕1,< <& M;oDo\lvÖD)o  \AіSUB?3yJ T)SI ޖC ڣ}ix8ZX2خy3@dWjiuˎ$F8dD@d-Q38ޥ[EϺl6 sebZA[g?;@0#;%G,6̓dЯr6@Ⱦm|uR .7Ct]bY6[(蛆G=P=UR+bB8.?=t T69@؀ߦ%-?x5j=P+|īW/ w靕]W_; Y-ßvˮL{nDDW R-P~P@$/IQ'jY~'fώ?Oy5h7r,"zO$[Ԯ7?zX2CZj:zz9>hnuF{$ 4$ֵ]gHHxj!avzmM-܍SNBx,sowa~`ZMI:sxbY;_`-m˫J9C όas#GKYדIn e 9/-^45|SXv7DSu=s(G5ېOb7X钻A˔2I}͇Qc=fæ 7@% I `頚/ k6dYpWέ7 f˿'rZz8Ȓߐ-֌9fK zK̢|% DLIYVf>`HU0'`hMi(JNM>Rvǵ2t7<MJv:B]ب-^#bob\ j"]8`Jbg1.܍Sb$m)0~)% tCU0=}-HC"6pqRl6v :n[7)g6Y#ѮƈK +?A`KoůWG]TAF)% Hykҹ1jBYxW2018ZNã7Vd5B \<f!fh"-g' =FuKk{%irnO2P;hY5z$> x6jؾM Pt sܭ ~[s[ -xLKKYVn[.7&ΘAwJM+`NݍX*A=?}h4p-}Dk=Сly}ij?E3 XuKz&S:Q5( }kGgma\_<peYWτ<Ż@%u"H,IO@`dmc1t0(Z3%HGt~ P~M"'fU[8^evTxp <-gj5j2J֟_Y4@XepdU2THڃG5˖>v(TL}VH{fG?Va2A$8-}!zX ;Z5*DfMP5_2:'1>D/윇Vzȇ/av Bn/Zlu-6OLD*0TG@p+XפHey7=p%E'LЊ $Y& =:ʶ["oE}5[zku]k{~8v:q}uI ]![#?U[ /fnd^B,֛UA0H ثCNq>Y&͵`5J+Vi!7C'Wtߡl33;gY #I#o0 *wȭۡ"yNT}Vb}y6,br!uD :?||$}b?gt#Z۶1r+!~@ZWx{2UxKKy;$Mp )W7:eqC͕ʮ2v!"LZ7y da@tzx_[7Qb(: :mdHJz y1nfΔPW`n k -<5F!;ZdA.\U*˲|LT?QܴR&X3c͒ Kblbu"Z\nK/-MdO^Eifj펊lΝ2egiW ձ RiK"> z5|& _xt½muoEt{PAA8{O^E>vh iwA #^ 7Lɶ`k +ן?AwR(cӢƕz^2sn1v:pL%BB'(4+ZMxggvps b~%4o|6tIjQێD J=$WMSE ~*4.ȳ*ۓ2ts!}V3/*+jm'bL.eӼ!)>wť@-x#hz&A`TL7ea%V1,M.[4i"u;HU4OvcO^ :VF9ymuTuG gYZMQ疀22;Y~*شd뱙 DF8G~a^<"LZD^`R=*17&}"o5iÐ^JjH} Aq۱td$}Q@gk؞,Y|\QeP&0 m&ɦϞ@T,S&5x+g^2 y1XuiaiS @z(JPH,xUW  M IUs o >~gB9 z TkDr')Q{S2슲${TWSW[拾v_\j ꉹBY'Nas{(-j`5/t$?r^s~ tG>@lt4ӉNBӢ!Xb]K^K_mL45>B,CE4=CCnQN囲As#Ypc~pj^z dމ=9͡AC'X+׫0]dj} է1XZm4{_}XGM3p+oe)sE\hec7q|pҋ;Y<%- f7Kiv `h7pG*k Dh#{<1/# HZHGTᚑgyZ/nUV ^dw9xmc8 _PԺW'xdHޑ d.Sfv_Gj]뿱nj~ngNMg.*qshuT؃._o r%T{ p4kI@uzZF,5&n;cpzrܗ*xDq8>@e4h6^U_(nrhI|i 'u5$" z ;nz[~^r,$-g x:b.G< amv-+WIs+*9/G! ,, ;/\:;c۫tMw(ݝ־;jfBSI{OڊH"|quNbjxa5Js(|R6zy5(2}aiGVEH_;TOS1r#(~2)NΒU&*Nh汻w/m\ ߮%~:זnjPr+eLwjJҢ NN9UKnDr|C%=$Q$:7O}Gq&[c儕6oWD,~5"xQ콪uNPѓDLG*:( mҡ--a&ypi};ܜ`$| $t>fn/{Hu=>ugi䊞rr>1JRM{ 7 ph7e9ջK,&ʇ $* %i sC2!]I,98v[4{cQ5Լ @AM5nVOz0ܥg(7`D쪖&qH]Ԥ睱cvAYPAwR~]pc }2 6js ܢ_oOed#I!}@YCZ#6l\gN|Pc%i2h;>5|$Y( YA#.> NUW᥄?& UØs vm|Y r bxB?}vFPzS D?r#1?f=` Md87 ؃@`# 0?kR"Q k2]@"\?d`au-H ʙ6^hon0Ky"(B .Rz Fcs1G@ٛo&4QsЊtlPT?b/X"[XlG gOg|m.WTb<q<*>Zj_;_}{Ј#Ѳ+pd@fӫ "R` 3Zo)b ,`cU}\=KcKugF~‹3sGD^;G"=?SųM@Y(z {nJ_"̐EG5`X PZg%|GʲnVF+y]U5R Lf "5*/w bi&5:BNBosX-/N?E/ p,S(5L =e.-N>Nضe9>^lJod&hxtU d_6o1}"+),tMY-mt-] z%&A|46(&$f.^z'M 6tf,w|ʅۙ>4 gѩ+юПv|ir[5x3`6R=-Lv 윜3L!7"'91OҨAbGs c:hXPF{o\a&cU' "b:gjr/ qCxo ş s.I)/(0Lk ΢?ƋB/L9J l~v;`$,dvPv'M/zv|>$xJ.K8}Rz5ڷpñZ[GV߈c/ph@uXuRnr!ch/RNE`Tjd`#q&u tscN~$ 74EvTcMxȖqܦ5lY΍ېSK{hvG#fE2\퍥Hbg8[ eNTn_'!#V8:WkqrOwWUhCT&n@󨶸ZFQV97C K56 /^eTJNT/k,k^]nQu` gc|QbIC'HIGYX&@p'rG:@\4H+Jv>i{>E8z-1( rQn&7j䯲}`n+4#ZpL(?PHQkJf("*D& 8+=bFoMa&Β1rÏD \S+vəu?_\JӅ/rYXk;e ӳ͓d}/mTFGDUh1L[Gs7Ќ8Lε{8 ssGqrG#NI08Z"e>H7~<wĴHK,gsZsJM;\lg9~(ߠE%0)f 2JϩnGJ$I*$=zqM&qXD0)ܶ V[?n0d[X3(} N3Fa1Dz; GtE)3ѵf;xVV4GbbRJuX[Gvr\P^Ϛo!,aPd]Gn RMNnwhoqW7p 5r)o!Pl?'xCӍ*r м6֌/h1cGXEƆHe4^ lY}mǷʙDT (Y0UcjoͱkQc9bأRmDcoK? #"Fqp`[G^kײ` ÂBz?ޖU [(t3ӹQ#` "b m#Q~L(gF'#q7MIZC1 ̀:*dt3WIOM4r+"rdy!ʼnZVDqnB26%Z1MDEnpxYӀU<ʧvbn{QsHln25=fҶ[zb ς/jt[_tߦzӉ]L"@Q7@ŲJgYZ --X7U% $MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Derivativesdocument.tex7zXZִF! FK]A-MՋhvG"uIBm5Hm_Ʈ'$C /9#X֯V$wwi)smd˲~ a翥\wSm(Ғ[r,Ofcr&5M5[L}}k<膧iJdZ^m{WN"EdpSQ,b1>"ZҒ gPV,-k!qGG8$j`Pc4aXoVIxq]ԶtJ d+;F08BS 4vN!ȺT ®{RIfHZ\Z씥X[^?>>Rqm~%Srs7B1tD #iFҍ︜1t{ۏ4(Rg`[R3_WaAl: *x3$hf*E|`/p8CNqN^ݝ =a*3ھYkv,teC?e  & y&/@ J4"=\-ꃟ`A޳.l甭|Z ^ŧxb(!UnM9xZĻ&;%Y=t~[eDϹod2@TٍN`YkK%8s}|ǿ7zBiU XnP EMfĐ )%t|JŐv"0xS6l졩]d;]HΣ-x&O@%&^czwrO^0r}w󨠽,u'| i7Uqx$gH$8QJc°~> wHVGsjG^)GBfwtM΢X=7STtFCT9̠ՠV@Qyq#.Q2vN$Fx`4 hc<!c8eYgTUUA[JD/˚}/֪_ ӎ.y e~>+. a" a١Ϯdj#&~C'Δ.Ȧ֡h\hLt=+LCi/WSLWIa-4( &˴ڠAKe姓XD|wq'@,`@䴉7w}Ӟ[0%MUUz`,r2*K )pÐQی6ϰB~<}MKDSwc &!6GL\fA/1;?P֊Ys[!nPu!;"V zI.f~6hu41^¹Qc73G&'M# 9SU;{'qĎjMܷǰGWTݥ(D鼙Yr~Ӻ_t4_&(zfӵEJ0MlY7Ap$yEʏ΃x:*2=iE Tgw]w(>)a1=dcQ,7` ^,)>^Uo?C1 #m 89~SpE"1>ՙ>+\€ڑYR&7TR@9I-j_LcM9&_Iۣ9EC~eM4ݙ=Vc >0&IME皂ɻkU/F*HNn<7r1Xd 7')] gE*p,gS@D:q-2"1'*oSlI$CyoKHY7K[y(KiQ\BD\_њhGZTP0ȖāUa =>Tc 3N`:rPipHr[Q_8Mo>|# ݟQ6-l 1^haoGⵀZfn>ࢫ%tgш_ {[ReߛIP\ ):V=]ES⠙,W( AY.R=siCWwDTDO\5:X/ZZH1U9p::o*Z\u^Ճ4Լ~-Li<{y^OӈR#|:wĜć涎4$)`cx4P.+[[!bU8xA_cZCݍh l_P\l 9"2'EH>M kNJGSB 駫y9wMP` xhhA?Xrlbj-bB#=P. GC{Wk`,8J1*;s^~IS ď@dU*X2.r /)z6:d̊⼻`^+2>2KDy?5zx&& 3iɐ R~ׇ1nTngCh$p7o& \/8na@36B "Le 1I[DZLhNבz*q8KfZl9yX;1I%cM6vƞLQ^?@5lK F!+?PKt p3ݼ\VesٕJWrXSL8CEυp@+EM^ui{l[`,i.iȌ8W 3wT!H/6IP䟂UӟЍ-tC]x ,Q(gew_xsPfvZt|?^]T2EBODt~#v~.ǫlJ?Th$go'<) ͑wo LIԘ.> ~t cMO QvY';W dرi/1+zB25g,|3(!qɺ2F~ RCxHfٔXƮ4F"J&}a r6m&01 HAPgW5"="Ub~e^!6>~a<]+#h mqy`HwSh`k;z k)1^~Bqד^/D67ڇ{Ԏj"jI{{JP74'C9- QԍMBd)4r05 R0x@Fˁ6YGB+@?j@&6I@v%oؾz~/-`El =m3&Ah*l,m:mGm}pדz1լSL6&u`} M\c^dܘehȌ}9$rZQ3Za.S<4ՒAXݚdS %v/pPׅQ78&ex+r\`ķ&'"T( @s-l9':Y-Is8V%ՠ(s_RAG&G s1Khp+ᰨ\I@rZMp3C&`hHBE]ƒ CPi:+AD]_W|^!+]+s.wmr_07AV_s6r<~ /n꺬!t[#IJP Gl7+pb;,)XhguM`3.?+BpI߰(ՠ;7Zl<}Tɰ%a+@iyv8^ `qgkqK =1tN0GI௦Zјqq=($תkҰ-TQߊU bH蒆:ktV? pݩfky B{rY=㎮el;%b醧?2'WYq݀I_6=)_E7޷Mגb9e7z {Qd_n_v}n 2+ D9wu)~Dg9d^2Vt /: `1K_cSh8*~egz8q' $JEjzߧQb wDkO0zg\tgs,]u*Z`!G[Y\UA9}3ʳ(vK,ͅ.]%9-Hj@6hzyC50 hxG:r! 0iYojzYwc<881g8ƃBJ?Q[~R)+Z3(e(ϤjG[O'0wE!jcKڦ({O=Td .!jʢ v3p?ܪ;*=,8DVRIe??eJ|<^f-f21@{j.*T1es=gsЖސ;+]j$ljI)'Nx@m< 'NQ_}VFٛe@Uꁲ9 I((1Pb[C |!% SLjJlVt"+Mxi) {_gNp#d2;u,,j?-i(a@3i/P,ÇAsn SHI|+8~c/i.?|s$.pUb:=D:]xtEsZ}猪yϦ7z+rp]-buC՜=fE_!*Fʌfl^+KӺ  J5=pLM,Lʔu,/GAYudMBW"b_,5}X >X6]01w߳D\Jjߍ, }5t0NڴB@ <*@=}cPBJO-Cy%|騕$jNӿbV^I5FG^OH{&dUoPP/*;>q:A%빰Ir (Bud 9謎WN޿G> ėQ<7JՉI=;ynq=-LiOz`(sN.Mq<!jj"l~Pʵ҈# NfF)&%a[gq/i9gA_I9l:!.*P,yykQE\n, dgiʕ޷Ͼcb|^#PXs|JiYʆދYhRN^1f5[:,p0thʊmVQ rn_>g:V]N-X4(New+!pc %YT*.qFBt߬ӇDs\Ƕ&bR,˨@'h@WfAq06wQdIvkEAc'Qx/6SԁFivBŹDfp9߰`Z`ZipƓblȯb0}l҃lC/b ; {Y O"P͎ D_lBIRb8^q[Kuc)_R c^8o2cO򋋞c x+2h_`ofiO[H=?f,f ?QQ=Oh*Xw0OJcmJb1lF{&|XD|ٳO6x&Tt?*jМLT+odo ]j,ݦ]_A!:-:>6*̞BQ| j7h?߉d4P0{r-{+=8䳜ύ&HOw zРl>DXFwajάA\P`"C:4FxJM6̬ai_~\ZMJj|Y袙#ĉxvDިG$1UMDuՙB#suC@tMWoW.pό z$s_~ rD:JaP=c%}w.zXJ|Z<["ʝBwTk#r]OnS $?鞛$q*.JAQd+H=z/g 5-MX^?Q(:hii1S4D.,!BS}Zo@N0ѻEPwh MNolqmY\ZikF:*70nA5̞bښ7ziMoQ-KbE5"6@Byk⢕ eR4__y@dʿkrCКp2ynP<|pecMvJᄐ;=Kxo 7{^Ldu뱽_B}{(chw ^,<<6ɗe{ L%D7_ݫ^ &?e~ft b U/ۧ;9Ҵ.XM֎(۲wƍBNf]D)fp-V_9А3'Ifoo ld!}s!ǏGT־zs錿Ċ,IP;6|ϿE1TTM^)( sJ7d﷞[/Bk81\18䧏}/X7BKV߇UXlYգ`-??ޢgC/N96 YdspJ8w<.C:ldLq~7fz p9f_A9ȓ$['Eܯ2 8M0yO̹o[9sҙ'5}}(.+a݁H5-D(RC_k!8z*i~ -iM|#0!|9_~\, (N{z#'aW^=|I Meq[ ڙ%תg}6iA^yPwQ(b-;pj|2 PjL4oӕ#ph!XIrqRLIA(חF|lWHl264Uid eJ?ej9u21bpw]#nuxe˜\ Ψo<2;v7;6\F*!NծQcbgsQ?\[8F2?ӯv1!+jP:?Eqz\cݚBX𼫙Zuao)f_!7<ϛ|0A?R£diDj6킔vXz2mI>gcR޺ҹM:xy f4kҍDRtӺ }".wRmcϞ @ `ZSٛ }l]0A*TZ@+<Ϊx\ZFHLH j7lU d~Y"V(n(?y`2j' q e>UyZPd!OM4Va04k4zmz[gSN(rQ!W=D)\5|tmeDBB#@gK\vsG5!Ug/YK8`zF2`hNJv!#}/HxEg02.Vꬶ ׁv#Lq2JdljXAJ2 *sۀ`,c [Bu=zAZgu2$xY>wb04p 4JxW]4^۠eӘd&j4G ,{.W|Vir#m"<H$fM,$K6``G%c^ϡ٤TӧviX~Sg=r8:X>Zzwj٘VD4gYZ QAQe 7_% 4MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Exp_Dualdocument.tex7zXZִF! .T]A-MՋhvG"uIBm5Hm_Ʈ'$C /9b!dF:xh;[:|fUpFDT2U[(^`3M2BCN<`Hs!ضw ,ǔCԔ\m].&7Yѓv{LP.P~^E"rpuJH,۰?RLe?JDpNFߘ @ʁK:eΆЮ6ZUDk*NN\ָgZ;,e! k֔jMJ.T9W+t.O9۳l pFiݪ%ܙ\յ9~6K)x:PSqpYuGcP- ]%RhfO(5srC c'o%RɜkW:#4 7U% \MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Expdocument.tex7zXZִF! O4%]A-MՋhvG"uIBm5Hm_Ʈ'$C /9b!dF:wAl@|"pB;Fi^C~żҎ5HYLl kAS,w̩(a\.e_16-TuTvm(ᅍTcx>Ҟӏ!ؓG|Ypn,K$fgh=~ڀ䷛t(֖4E$>"0/&)6Y鴈mC.{kG۔L ;WJs/n]2I+5TX^m%r 7gp]X֗ 8ɦŲ-Uᆬ[hWtQe9 QQ^&vK)QᤧQ.o,gZ5eR;|:hX|^rG ǝiNskx2Paf\Vא\6<ĭ;wڕy><\ LPvF"/o"WkߔoK(4{u~tIskA 룓>yf fB}i#$A,״j8'2;fwNX97ۘn;u+".=: BR0% Ki147ԣ^yߊgCݴcȡz?+Ν7c}NȰrc.DwqT X'Ea@E_eFghozWbrq1)kߺʲ\;=k)Vat;-,[ڙhv@߽\ᙪ<3<XL?\g8%›x߭5e G?)oc'Q2)w/?8T| x`{DJ@Ɏ.Ya_Q@o.q#Rk~.cCxtW4w+5~_ޟ ^]"!ne=]=MSJ 23$2lj".R+rYa|J?NÖ5ӚZ@&=~L$: r0yop>6UBA=YeYߤݫ\ހab~ N9/fI޵.ϖ$fπv/aWlI[\1LGkdET:- Fgݏ*I~EGD`ˏfO7\*兵~p*ZP;ё2iX"jպT;2\9"UZ9-ߴ^aꐶDSQXCi:<$3%%e/*w̐]{\fMy=.Lf)dGJ/X'f\"ӽ"^CB #IOvg7FFiYvZvh&ZQ{_% e;W].֦!U FGc!% 0Pp\L ?pN Ϝ?T8P!jzZ(Q njwT!4.!@TB{j(AG 5ibja i^qRS4^-t rl\%V(Kzvk252h"ތwr*BvKo4@\|Jn:?}|33uQ"\3rp@X`u%|؀Г\A4=`)e9ΊG ZGEUO_8Wy cIhaZe48x6cp?~0MgycxaUlU?[p)-*[OC[m7Vgi>F>{j<aE!5؅\{Ӆ˚m(4pKgR#@.jE1_7;Ƞzr␰FZtRkZnPrr?G?L@:ֺGE铮oCeZٟiF$9?򼁫>TU <;$JW2V!אX& nd.:5FO]xoϢ@26Ie,3_n[FZ)YnT75JkCh;Xte ^$~/\:ov@!? Rq&4r$տ<028B|MZ߿^Ӓȳuz71y:LIh}،fY]Л Ē[de6>t_i[갘2SH d潀0i`- q?˨M;<#?4P0Nb>L|08_~g  @ՠcWM2}Ō$j>cӨn@^N}yy2 _w%vZ58?] =8'o3&ړ3vk,nLQUFN0֨c1bP܈Vbq玦W%k49z+&ˆƿF?ַl#0K#szٰPFb܇E3rWj7P`Pgβ0D'\D(LV2!Z0*CMeDj3J oI{_ǝ[uċٙt^Bd=1㚏ӛ@K\E.-}zbr+"-*'L.ɵ}d-(lPȵMD 2E݇(Y|{܅(/}.l3a;I_03Aʕ]S4>TҊ"*sG"?QtN2_\[&&sig=yͪ!t#,7*5=*PнP̦f¥Rcc} 3&^uUUSFD0r\MRLYyA&lK U[d@:&[}J}O^b^,(<)T8L5+1*G='4$G"Ȫ~.{զA>Aq.sOTdZ8>$](W3 Xk6[crg&df/bޱJMT+6373 1-$Pz % 7tgtl/ۻ[OUX͸ZXrxf¶ܘn3j6|̟?If'ZC2fEwM.o RM#TqG% 'KӹyN=D6cPSQЛTjS݅$?Ő1;"˿-v< G$hG_F VZdIlL˷|U`&?͏0V_칩_&$Uü7Űxi2z\<|ߧ날S0FtB=E+X%(A^j yjs7ڛvWHkx~F9xs#Wř" eV՝bqK+p3@x +$!.h^(ZxL3ER1ul#OJ+ W1lع*?Ff)ϝ2ƸG)~qDg49{~aJ5D4Hj#:7ļU2h33F]Tpb_ S@Z b ??C^N*Jvc}d}"ǜ}V>F4Xhz hk}N=_,ѧG_8aA^N%U <ȩ/X&/-kFQ#3tf Lհ8.Fl}BA@Ff FwOqdϺIIsk~.+R/+ #rߎd F#˽|~= }x<#Paîw+8XzW*qj,U꯻RAet ~ fT@ϖJXpWmcRZ4AO'6՝/VLfjyn{2#IG- mL7 TUIbfr Ly;zLS^\ ?XS/{%;+}#_BX0J`2(-?߻WgMeH)mGAQ)1&  o[<Ȭ \`Kx)Fnj|0RנzѡwgP/mxG|l0$B?E4WR5O:M x 6iF :HI$+ۋ,C?_x,)/WzbKŕŤ"י y @#ZZeW>Jw$zچ1yw|Z]CώXHOQ59}rbqKGJM >䋅jn:3[9 *]r21L!W dـDMTmpM:ϺbHf݀8u|F=x:akCWmg;aM?{(8}QϦ'tĝ?r6o$ 3<ɘW?ƃ0G"pJKJ{4!.ӾӲ'ǭpۓ4V@ Pi Bԙ}bu5/YB0\.ݯH~u)f̓CEY Smr R#?iTvk^1-q< #Wxw]jSX EgECM!W+\j0Ca ziKR zu7ȴs4S@37`5mH9 Or/nGT$.,VceO&ݥ<۟9g̻#swٲtw:.dTRñws4U ~o,ό r: xuu~gT|$H{\VFgrIVEJm7滆>NPn+袹E6?அ"U-2aMOc{!:?R`.ӧE9rΗ{1\UKK/Tʛ Gp"厼J}ȯ^>Q1ԀCPmI.fO 34Xa@?WjȨG yd\6/1,CcbA$ssZ~`0?S, 1x!8^JA@Zdr'qkg@8Rw;UXI6"}.ע/f,Ыܛ\Cf)T2#X8UU TQK'; -w`(xSqᯤ0l(>I 2vx6s7E5={5߇: Zw[-L%݇6"m8zWv XO``,~qJ::Blq,Vh20'3x ;RP!79:L ȔCum{"(k7l(P5/ڜ&th?j<'-p+Yԭ>F.X4pA̽ Mf;N*M:R$Wq-juq؝/&M zSŪcGO,LW濨cbg{/A)RcY4y=__.l!TMر{E2i.33s{e?H 3RY%9]EY>ˎ@.Ii#&B_>4[sHV2/cWDQ{_" ![~rǦ a͟`HAdyM/Ѝq#_}]c}! Y޻M7|UF1"vkΫ1 I{KcildG9RmD,>_? [W>,cX/K~iͽZ/7 t(^5 Jlb% CNx_}g;Ral/FO :U_)$N/HD'zg`kڊ.'֑[oQ1b¼03xk {RrIWKL Va$vK Sw })FkkiSNZ #}c5rC>2GdǙ}Bmps+c/-ӣ< ^!4>cgiEqZ!s4r#9ɮyJ)fŚ E- P<6Ql}*r}ga`A #X``>;ns<zk'R5* -T,FaܟKkHi>8)tjj GM8bb ){|t֗^^rE6zx?tֈQ ᒪw`$5 Us%opŇq~8H4IYǷ {B*Yη=" eރOd|Q|{s5Ĩ'۳[gs%6؂%3*t9y}!Ǘݛ3BrUULyUɢ/B JeO+^Rl 78_ gAo|#3ݥ* ElDq>NM|e1$1, M杼FؿOwCݾlȕjC# C锷íe2@d=kd[Wɨ~4|P*`U9dE剸(pL7,ds}F] (X(+ѭ3~ R[ڟ`;ꞸO^27|ZK=u6i)B6d6`XH2kϨ =%xxTw@:<`KPX('b cibX-SqtX"wY ;|~FNo0a[5-Gs%Qʧ*PĈAdQnqxnޡMA m6gؗ=6MoP\XiBb;j1"Yn8%nLL_8+f\ْ)a),ꃒ2aAMk=F3|gGqGI?x'dC%K5kVe3w^%vdPԯՕS,%_x}#SDn31yڍ^2Tq&{;wgzԌrnVWQ瑅@؏> ,hzYBwF-閲1ۼw[GS=m : CBؗ__;6VӃ8A/Ok7MG-^!sP.s<1)*T)҈ZqCҖJDgרO\WW_LxU}FpeAl(P‡]Xp-: k!t/'Y:{/Խc#lZ%` :}ޫ㙳M eWv 97a[-ʅP8-<0{u +"[D&+R"N6 0+[)_f(ty >H"<HBᵻ -9;b3ڙJVcTa؄7o>9#JzD ߌ6=-[}<5̲Ϯq2Oo I*Vm<:0 H9+~E"g͊K2?9ŴAږɊlQ:G 2+Sc.k[-DZ:&N}_ jGM6|ɋ>iT.ԁ8o]By$+iʁ!>@xLhUνu-bItlGΉ'֥Uc֗)qND~")@)hv1 8S|RG.@.s\D%[JUq9W {U'˻Fޫ.lf *Gap6HslKCwKC 4bq2.%;jBݸ-[LarsPףU 2ZI\0$#qM&l`"' kɉq=ČHM5&uŃvgVЖ}G'FFENѧ9J(io k8 VVh~ ,=>X'pbsvd'Nދыl55žt1 qI݃{=&`bTqϿC\9׋潉90/QYXNRF<fp>DZ ;k?R!sQЉՈX"w&t4z- -,2 (|݂sEaSm&mԞAg# X_>BMJ- PbZ+Z rTk"d\9*x3~cHƅ~oW&[wzzd1jpm:6O;^ yw}FTQl50@#}4PhX{G[ꆃ /! u`-:$pD`6@7g9u:0Iz>+f`ĕ`lqPЙ#9Q,%&o+7|gb8pc^#S0)kŃv35G.ىeޤ&pE+ z63.) 2ƩWj ͒8::m(c4ò¨~ku/ݳp)'C|r"Bd6=>h`w_t'P3.cHh9ZcH32'HHGP5i?TIeߴ𔙉{ ˔ Xx4;|X=F.6^eWΊwad;¸BrӸ7弢kX:j)6?)F0~0)n<x/1:?!GI@d%dg: ;ӥ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ﺤ~% ?&tlo\fRLgu{Ho^<3EpT:mQf" W5W+h1a,{Ozw| nC5 WZr, !b+gZZy6pWY8ʣĵO(”G~.h1kEE0_ _l)әp#lFcx2ԢD@} Ɇ&:WZolP`d8 ]+l#VY^wuφq"03x>mn:)۶iVN\"Z]8etlc"{\!aQ53wG~Tl"}ϖbEB*ޡS !fc(Ͻ8cJyf0p}-Ø?nR  V&(xoM}s_Sctv4$"p= U#URB3#&k%WTs2pF-8!Gq{ŵ75bjLg+'V햶DHî`%"sO̸EBڟHi!ՀGs:sglPY.`_A#Wq#FÅo.L@Q \@F2:!*L>b1vD=&hʸ="}gemVa2ϱdМ[qtrIVBtC9qz(E#<p[4tL-zn;% WGWu7G% lMSO_Regex_EquivalenceMSO_Regex_Equivalence.Formuladocument.tex7zXZִF! ෪n]A-MՋhvG"uIBm5nMJҳΠYV(]CBT!=#Qߤ*$ONnDfp!a%KcR*[m "CN J|_c޷\^֢̀,M(%!PylC)2mZH5Bc] ֈ:$!2;~91Z uO|G|8oծaҦAƍHx.M} iX#Ǫ,-EfzW:] (ؽ $+6e*}^ >&]~3y=-"Ƹ^a\akt6J'/hbŵy{Km-FtƟ9(6 7i% LMSO_Regex_EquivalenceMSO_Regex_Equivalence.M2L_Equivalence_Checkingdocument.tex7zXZִF! { ]A-MՋhvG"uIBm5`=+k![OF5.KXF-2l>v]p<;lMhʲk>D3muaNw# [Ή8 CEdLz&t+8q9$~, nTn~gAxdqmk@K(+wp7Zpm?Awyz2kXAg(qeBCvo8tH5&Oj-x$5#mQ rHG?k|u9EZe~Aa?#*+#bdYN,$$L OY4==rOzA-u εZ"ҽJg36w} =M cx]fuW1^m7&|„i7rzs#hoHa>DHťt2qI[ -0jCztcX ͷΫ\ ݶ)?f-Ў  dR8:S{$!>/-&b 3kBnD/UKN7̒ԐseDU;z*R#kp^W{1pEWqAE3.HŘ&ZM>կG?8⊾+naO`TK\ \v^ZHLhw5z`IQ HrZ x?<9> bY}c?KqS3\"NOT)KSR!sЙhej]1M]oI]R@. FT\["[ O}9,^lsg=ƨz+w}t=I[mS+(]ҠVПCMjmkIVgggMNNg+nZ~HD kvIUFkiLX3b>/oU 6 ?z'+8HtC=w#^>v3 |jV 1rT]:@EDHpa d <N2<@-t7G76\@Z.9ecrD6B;kt.umr4Td_۟eT(z }/|bُj)_j&|&>&HZrlռTpThܻuDhؔuSCX[@0@TwiDem&>QĊi 6?(Χ Ÿ=y)M!RP9 WXtS1UրEV$N&r/kZ08ZuqG7BWDx wy/緽+p_g#A]^GQ{뵣e#! Zh.j)g{2|˸~dW ';Dz^HdQEy]I`EMΞZ4p#[_硾0 4'X7Bed#lΣ0蘐j\tk<@/]zTmgjڤZigrߕ?Vh' O+3TQԬ7}Nf$UْPUQ*cv`P2@<:@yu!\b֒,HrtԹ;JT|ujt%ǥ|y\b*'~=7kzpxDÖy{ 'ZAr`4,czai~np?6bpۇ+rk'r%w?#ãnlrĥbڧ&+V#ad;+ [kr!ۏTI (<(:҆ԉ㝍9@9I҅v.-{ SNCtͨ\m5dܒyndq6騹^|qhyit`+Q?cAt# nVuQeܳ65D08Bb4g $q"P9,J>tYeYsNڪ#ܝNq3?Y=҂YgÐ13L{L XET8+ ~|D49KƄpI`C\}eMLKsX,4BpeBځaC,8$n!"A^O}y6Y / FvĎT= ~åz[nd/ld _圤]4As i߃~g >&xRMYQ3(t76Kj`o;tÄ 0mVP[0X3cbu|Þŵ!y5f"p̪ NN9j^AR0HנDis> 5'\_!xcEx04@}8v pa):?bL]-!~44tc2{> lpM@>i@H7 3@-o"(lZ ?pB[>7R.908~8d*ZQK% &ӄ#-qǒQ6lO.s?sp4i&! \4E+ֹ,+l(:!U #,e*YS6Y0k}#JL~Fe=#<[$J"vaoHz謫P.*MuȞwC!{']8a/5sZG3VdDj{db#yjgYZn}My}"rFږ[{ k<6,/ҵe\"Na ^Q^-0*\RK7dn9-9)4<[e&E SJۇ^( W=/]!t' RyW W$ CK0z ΒB\/@`?˙~ص!{&`V}3ifTl@8|{< VG||H pjꂎzlU ,}ʳ#Axg^d. ߝP|p,qDbE>XM]8OƱYf" m, .O) u2Z>7 M [iCD.=Lm7a`aB#o?vaW06nϰz:)T/‹ 2΃Ek^5Okbya6 cM1aH>Bwq3fL3jTiķd@*~+D)(AF8īai\ wiw)r rr7=yuej$Rj2s)B)??δqDMֈJ(B vD!O8IDziAH7y>q~ApzlػC~M;Jl(VQh՜Z chb(n`XO@h [QԈhwG-5͍uL{D1TRHY&v+$od!^rnYw`-t}! /cn Zq Oj3*E1= K ~{japz-o([B\r:2Y%~t٥逸!ϊ? z%UnJiAPJvR馷&TkZ ,&/WX͋ހpxBI-D k9?5Yclc`M'v$sweP'24b0\46r|xƦt:$qj`Wu:-6dd  )3}K]Qpg C# {,_S麊`Dqa/AHVCoO ײYq2,WYkhpf0&lSF_d,5ߣ\PtS5NU xUC; ֶ-i 7 `6u퀣t*B"s`O$4c6C%D,HD# 5izCIU!"a|*ɫ4yh i;NXz.-]݂wcp_!퍽d;bIYdtEAacˌXvу.g@\Ʈ?B؇Gj;~1",^G;;U/ ŹwA?G40a?%Hi2'ZakuN'/1,nebЖffq*zOpx.`c*UQǷYo@m`ύ0d@U_hkJ "fK"<=iyؓ !%iI%Q!#pk)fW=iaI4_*K I`ϵlIKQs9D2mfcYW[0mP ¼iJ7i%8/M&l-Qd-m6Keo}e\ wǴ4Ǿ Zsnhߪm*jp0K@I_v0&|-a}UgDF0Όxzؓ, mBI7:OUneIeLxaTzz5XϷH>o,9@9m{dR\P+|(Jsy]yts4OЄūD]Y=IJ{pn9>7èy6AһZ+v8gmF _܃ H_,KafkKv"tV=|`IXŎNńPnT'I_!/DHk!*' B5+o/<&09;rRzu3'%mQ-]1]4R,Y} -{h:` K`DTr(db:.(j vTEƇ^QSycT'N'AS·";%MPLnGwd}&L0 #ؕTpj/4 +pjg܃Q$PF|#: FXnhiEяRLQ ;>n-j&γ{ [ta݀x@[GwA hCǕ %&AaF3gg!0e-L Op{9­]Q `SQ,k$s3꼐 hb֤G%R\#~>K肰H: t 7j_ՋݞĨ]:kV=#P܃>|= PA4пQIXAɠrv4G 3^[' cB B;L(j>/w x2\[3&57{T!w[_85h>PW7fM ;׫nG'Α3NA}ϩY@ O8hO9>DV9@#엄yЫ'f1k@ C7`O᧤2)etq. X .;2L2 NdPR[UCW_Yk ?r)8 ۅD*3ȟ1< ]%}|6w2R:۩bi|D{~e~GA|J<.)ǤA])*KcA4gtJN$>O g7„?"_+QZaxS/UofRqvE.>pCVa~沘z>z*~r^ \Z,dNX~)mnu6U{'PV(z(uO-DhEy!J/?M@5oXgS5J$ 2582!_ ̲y_qtһO,YC"/_&yN;jz)wx_,g!̎=gYZF_5Kg6ZMb%(˳淍QIkgzSB}/}ߢf:ѓ\>Dwk zi<0uEc ̹tX|_v1ydžp?E | ,eM%̗KʖˍggDĂAyJE$eAՅehvݐ{zX9M+j0L'=wI*uDuCeRH+k j\jrvJ3iĈݹхT 2$4|xcKAMh%@C["#Һ{i'j('"VՐVŗK<|>mE0R4qXZPaա{q-m*  -˜P$~m*@[P"?%'xwd]U_Xչqɻ_RY|FDo#1 cEmlpLrYG'M&Gх_&pG~R6By > Gh1`MG0V_Z 43~]2bj"zYGϬá_# jt.'qg#[ugyJFXnyrSb*ci7T/z5 ;Opfխl"ҩ@5,Mii<qSԵKO5"GQ8?fx vK.\=n$_#]IlVZTV 职{ @ 7gbT.Q6#)1Dl\rvhI[s6r_iv:CEǵ! %>HR5r]A#eꮓBQ& AǠ* HC`!ǟ ßT,iUrEǵFZY+Rþ &-J0dCaxiA!w3vT~c+ŠJE^q[YG2kGLJuzsX\L;{;[ƙtLMt8|-C5]M:O0.L-eNst%MobGEwq{jVGT5"x1X^/`2JU kb'$)^S8%9t6yKMI/<j.$}*-1;#0n?g?_a[$ 'et80ߝ dvoCm  cݧC(Iz&Ǿg;DwdpRJȇ o"wJ'4..r 0y3HwAEovZ\j7&B5UIᣱؙۏmYvO%T޾Gݥ @r8H=qr#P;w}jzAZ8HĢbr4)~1@,LKm<'*dl!Cs_u'@}ΘX {$SHxt_A0*g+ա<^.,DN-}DіJn7Ү^He^rO\rjLO~W5>2/z@:~wFv@o~B%9Q 4sΒr+iNu7.pׅk .]` ~YL o4>gTKƚM_TFexh.V”jS{}qvU&к`2hۗ#0Vi*Odg< o M6AxPMVMZݘ=xT^!x|D'!9=Xm7lDÈ|q&2_y|x2X1 ˸~ 2_BZFhT"^nS>inx)LI& )}{[Rd9lu_T."j=+a~nW,^/B ĉF3Ykh Cql bFBM1ޢcFE݇&x͛3j⹇t޿`@ixHϥILt74G0ݢkRkg=$F# X&6覟{$/+$a"dX<]$Q 7T߬DG/-a2|:O.Ƈ"P29fE87^CTx}TAn <@+y-uKj+qn*4XC჎bmt]ՄXIR1lT˂.x=\n*`(S@fFB2(V밀jAJ5B:ցp|uU4/IRkoyzh(Tf;^դ.z:1~QXD'7P/&q!N0KH\?矔ڍW%vhhd~d۾ׁ(NiRA|~d/u e^^/憫pQ?giXucpM }ACސbQJCٰc#Fsl>OZvāRtq0@<0%p^YPPb~YÔ|O{L0v,C2aFv|^J'2F* Z< G)SN%Gq] Ǫc=8 i |ָٗW/ N}X˩ѾSNrM% P"ܑj*`eF8({ga9Su=/,SH7"#(ޤI<ܢ: m䰺=6sG)J5; 6-F M.UW+]XEyTC#N}'ZYV?'-9 )]`!F<LfrȱsIW&hWPb-Z&0dO>d336l3HO(@-LH8 PFx7a=+8YiD琘0"Qg7]{IUW# [.I?mg!ֹϋ7˭$~wpW3aw[%%7jzHĖ:R2LnPN 1F #=D t(F9@D Xz"̲gYZ %7G% LMSO_Regex_EquivalenceDeriving.Comparator_Generatordocument.tex7zXZִF!  ]A-MՋhvG"uIBm5XJx=鰺:IJ,O"%vھjnZ)1ܮn;lTg 3֣V^ Q4rĉb@5yhy/ r[u+4v0~e˿oAxIsLsgwb@~{ɬCC=oB{ {5L"2#Iܺ%Na$6r&Fdc-]d\]yHC ؃0UZ`/M{{=*9(DmaضR-"@H/+Gl/;V& gIt|#Baq@a)Qp'+K73% ,MSO_Regex_EquivalenceDeriving.Comparatordocument.tex7zXZִF! t ]A-MՋhvG"uIBm5XJxEds&*rd%#|=Bm3Ξ. rFOh2ٮl-e<9y76YL]yaSw$TQU=BO3HoR,GN{6vIB2e PX'|T_d USj }%#m(S&@Ķً xEkwHLgmΐdYgG .1m-A p}A&]*7,VBէ̫6[<tMW:chh 6ƤG 萊hVo\Kl92A .L4 kBŐ}Bq8Lbd9CJq)Ƥ 2>.>R%ހ}IʦrR[;Eُj.cG?+0M8ipi,l܊ Gt'?>B((`A3¼[e(Ȉ:E&auqq)qF 2xT/vQ׿`wPalН=G6*#!{ *+u K3o&L%OkSjlffW{/+4"G;.2ߊj\/G,]*"cBlk[@S&wܶ*x|-~<.lj8 #@0j|鿒7"ŸR(O!fAc.<5j@E[Cva^`4=::҃ݝWʑ:(m;TNQE[fBuu> " /?;P|w!pGe8qdF'NR+}΅qM -33lK C6c?zpH˿eߪc(}o7Y$/^;O` ~L#ȿj+au.9U/\~A_v+m'ʢ˝=ۆ 8< 8VqV͔anha~3O,=7[_QwTsh"8У ;;Dq"6/~졶_Sq#Y^Z 3bV'˚/PJ itk\Z1[ #(Hym|Y"@\"HS2yt7||.G!q12+qn1`/=??Hh&.g?ROpOw - 68@=̩8VpJ8<`*3_ovIT9Ǔ9,@xx ۄB |+CIT|2Z K39v#T}`? ԕoØOK×=U@xXĹqZ:-Н'g|RtR(_uuYJ@}%{J}N|^wF\d)[b>}` Vvu!&mL|/C EtIRD$d؞7@=8K^{gEJhf $?"-04n*7u0WMXhKSYbaDՉ|Klf5Ȃ۳9+9-,6]yi؏':li۟@b?VY]*p,]a#=8ߖ8+`THþTE ԇDeA:zpwG!y4mv~qT"qK8R5@"{*h؏Bͼ,3To%Jd/vcՊMz?Z+ S+XC6dÊM.vΪgs PZ'NJdW#F< 0%18z5+D5@8F!٨my@$ JO.QYro % <0Z?@y$ ʤm3OP`yؒLǖbf0ؐXakյ dH]Gxy1kS-e-V~M^P=`*Ac$߀T7V{n֑:B+m#2K/V"7Zòte+Sf  Qr xf%"DzH#>|[g^YS CAmpMrٓ0<c2gYZ47]% TMSO_Regex_EquivalenceMSO_Regex_Equivalence.Init_Normalizationdocument.tex7zXZִF! K"]A-MՋhvG"uIBm5ɳI.y*PzjO|FFZ3Ѩ, Dض4`pԽ0/mn4|zx򁽘Db ~0v\$-bk(Kb.1OQޓ^< `FUa&Vc| w8Wк&JR{❑Sg+M|H<:d8VfZ 3 C&SV4iŒ{CRDGx,s%XD"XAt;h`etmez6ƀbo\$(72ϏOs' .)Gu_Ȧ(q2WcjԒW?i cN>yNSh9*J w KKw!uѤ~ O(Ѱ!dG~cUwJ 1> C#X\-F*%vc;C< YWN6Z(^ۼM"Y 4 ̵=3jv3WAv?)Jg[a6[Z[wF%)y2q+)RsoR/'x Lյ&htHZyn#LlDp3X;-(!ȴK<2 CΆ1k)Mw;]-jOjKYܲL(ztْHcQI.*lGѲ.Ul\՘ ԣx',8M>@!kplo|!t%K>J;r4HƘz t]&0Z}KvMALyW:$&l+w> ſ/=m|h=ujsV.{&5bƷwcrHHwiFWRW$5WY>Il Dk`Ȭ_'h fDcBUAmΡi{Ax*kħS߽peD|AaJSu뾗n$AQ97ݔ?Yu`G, ?k: 6(.sA~(WV}D}{C !ힹ@tYwG G Hܖ$Ha0u=F;Q:BrY tbҍ.woE\" x<]NP l% b;Y'.1#Z0<#\Cy~_4% + [?N&9YVwr^Y= ;t#Gn8q ُ\-$5D]p1DnKyB_8RRFo]xTi>fܰu)1?:i5Z /W3 "6Y抦-"2*{$h^wwI˜i[IJn J sh \OG z+d=:}!ݴ9s++x%;n ~N bԚ.:$y,8@W!Z&|Z֠A|u&X񄏶 ByGmEv^д{]Ÿ GYq^腑ê(I z»c gAs#jLk×bX /1 %w߯idި8*qc`i濘 7ᮎAL#I|+Y!'G,@e $oUl#8{kȫ=9 ͚}+o ]L5R=BJV3" 76 :'2HtAN:.d;ֱ ZS}BxK RnhEy(yu̬MYeB&0p[ ڋ#0uwgHQ_h*GG_iQ^kO`CէFX@x䶙_Y˯,i$7ZH=p6 hXB [G<٭jmG> %55[eI¸# k[uԖԳ?nQ/v*—D#tֻpZ#]BuiU`boϩFH _Aeí!GXY4t]>!r8so Gwq$j54(}l*+ǟ~Úw$1I{6Y޺D2RrlGƆ 39VwE.TNx.Ʀ1wJU[:d% +ݮ;[ ~K `ܽ6*Cw ^dv{[lX]95 A Gj<$k>S%:1]a4|>,`Vơ%1ǩ߶" gYZ O7C% $MSO_Regex_EquivalenceHOL-Library.Code_Target_Natdocument.tex7zXZִF! }0 ]A-MՋhvG"uIBm5T6Y)AEŘmUٛו@Fw3m()ȡ֗=fHpb{?#o\=`ߞ aNMH9J` y^-1;y:qw֒&2 l}\++6OaRq7r*aJM yaTV-v/Jc`vߘ]lgw`ܔH뮆%#^m6qctՃx q r0B&)`;vj?+FxsY;4䂽{J >i@ÖڐY FyƩ}H86m{0B\t1uz 1)ghL8VTEq!!M,!Stca/(X @7k}F%+Ycm~Ї>!Jnt`pkIS͇iQSk00Vv]NJ>4W ߥ1T0;kшqXDT>6*W:.d$AjIi=3za(k;%"ݼX+._nئUG(oqOd&MI5UY}eHRξ@6' A ERa^.Iù!Ncw0.I̯{1B|-<<+L XAEB{O2{0xadС)POqT%YnhK@0VZ&-q}Y\5%I %!it:OJ\1edfi^1潉 e`vXDRLUr2^9^U3J;dk`nȁIr:3:v)iS_ m㱆Pƴzz'&ľ?)@& Q8|墄Mp3\>v}IlU@x@#\Q$Eߚq K %?Gی'&ٟ?r b =FNl6ɭ T"N9HMR3\㷑 P"3q.4'8U٥F˓\l~&&tuň8aLY@tu_T]x&>O¦NDJnT}:g,Sà $TQ Qšʓ%$J)0.tŚ-H6Alp&k8GL[yvX}@ _MB|e#$EXeaZήvJʾqQPZ{Th٨cd=#;u^>?f2 K`{}"M?4%_{^ї@,ܲr&{\U!lA&#!iy!r-&[kio??]u NSL5yod^HS9uwHpbAK(?+AP >.HV3 \ K4d,dIO!@r4ɚ ߗk[D̑'Z{Ft.,10aX#=\~$4DVS cq`iG![zp)Un3Bu &@!j h[^{NQ+S7hؽe(#z:ZץID"ҫ9_#q$GwQ(AϯZ(SykT(ν#?%KsTK7؇g3Uy w̵iVc! eX`l|[ ;&UPH( x?fß"Dr2x&(t;/r'<{~b'[d!P^[x1_PGIcs.Dyi=ncjJ̰lo%a?bAj.V_;( &sNQ.ͥ*s%c$` EA%Si$75sHmEҰġ[3 >mj7@yx_Z`v+bsa<@}1F-)W8:Zajz/w(B_xѐgJ{[WW)i.#*0 JU8VGk*`fE2F4y[Qc*-LSf v!{?5WGӢ>JSWrwz=AK|Q[]xǤGiOD=>XP& Cijμ0j, b4OtDN9s6Eh0_|(#sK@ڔUuԎ7DGgMs(#4 ce{%n:Alm j3 ЅPZP8mpSr7P=0 :|w7Ņ`sO@)P& #5-bD WWaF6Ec@o=u!ѐ201lU;XɮyMnvN9Ck $0/vŔ4ck 2jT#w/*D56z>TTZRgYZ II47U% \MSO_Regex_EquivalenceMSO_Regex_Equivalence.PNormalizationdocument.tex7zXZִF! T4(]A-MՋhvG"uIBm5:a'Fߒ:QF+ԗ4ؖ&ۀ&h[o5sad6Z/,JFTREw^Vrdd'~n F!Vks]m zO͇÷p%JC$؊($AEWП`%tNْ&E7ژ)ݬjȓ!5#d4ܥX q&NC{+_ݮg ݀;Tx|df^?%CJ7:w3X`T<|O>v`*kH0dfDɜps'7|<[Җ44¥ďRC`;נ,"*QdՋx/ ظWMakONQ&q\M`?>LT21"Z'f)(Sי4^nEw`gd{щ/^_yD+u)?]T ~Z |)W&ajCUYx ^Ӟ广n[@5"vQ ?M k<_0ޗu*pDPv(HSmBAe{6,]ֿ  6%xZU,7 {5۶{OȄ ;-JuCDķcܜEV?oRP?uX0u- Eԍt$W?`ԙ%xmUE)B9ŵ҄ގUĉOٓ$E2 Q&2#_]%F>vW£]A^'[ ~Hq]GdEIX 8MDl;Wjj'|)Ih%ˣ>܇1o+=0鉥yǪb9{).6qA7 ({>jˋ Nٕ1Z=?ilSP͌.8z2]),{1HR{ 2Jwʎ~6ڝ$,`87R]͍BQ?1m^}ɢCц'ˊ5o~`Lj)/;},.݁}G\91=px@X/jϻi -&eF81|M2jq?.NRX]f?^FG+gA~behw|9X1!`o\`'x|Bpl;Rݛ9V:R~-Q3 G/gYZ <<A7G% MSO_Regex_EquivalenceHOL-Library.Code_Abstract_Natdocument.tex7zXZִF! 7 ;]A-MՋhvG"uIBm5T6Y)AEŘmU Ep䡀9?测UI7uNV"-_]ķbq=$ yf2xSh>|cNS( +Nz:Y9J]|^,sm-gsyC$6v>~L\mݺ78di/_.#"!%Վ)h-aJ4e ßg/>tt*6B*{6d1ANi"TQj2hy~c db'NتGHAGsI~p— * 3bn:.URu KX['4ꐈQí'7\$5ŋv&Գ0@># kf&=OщlQubd!Vi #]ъ3GzI i~?){Ƥ `%vȦ"(R֝bWu`LeB}1MrUތ3a\"Olj]/k*gŝ;ޕ!\lpTQ8M,r<÷u QUÀ:b:se5mI$rcǤу6xgl?-C 4r<OdcIk?^adO$\?ӄ%IUX==8k#_RJoN`Je76эܼ?|gUmz,4E=5odз1 ":OQTͅ c 4;[3I`C1CaĐ}2P,tx/Ň2zz3e3>ߩj鰼PW-,bu ak(Af^*RT17@<+-ρT =F [(n!sIɇ*^&D+;\0uҙSpxe%k`|9w'PX8#-FW ÃpYm`W.G_W%nћ9Cv>U>xJIaI(E3JdyԐ+r^dwMݠuץB'Cv nGjx42KQ$FuSg`k6_Ug5im۵?`͎Tj}HUҭUH;wczR/޵3/AǗaf›_i!{OJpд^UM/SP+4BkeѴ\zeMok'NM%xƧ8^!k ylnbpLq=ܿF觐 g2.ɓ~ΕX2OJJ!ȳŨIP%tb!]knl@&YVG6v; w(*lB |{|e0~l=SɢȻkK/,zV4GǗ / )({ayz E _- Ǡi_ͧAS5j)VnaiOesrqwd}}ڶVOssdk4'a\hM2}n $^[xF ߅PCea <]Ryk-(tfؔh&'>daJY?2ݟ8o?orY܊ѹD[g+=n&1 > 4jH`4 Mg)e# 8c%ob) W3ٟڜQmDM'fIeO1]m ^=py]NxN 6WWv|+:6W88,&Tx2FV*!۰,cA¨9_[̖}Õً*y2π8GMW^.\(yWFP2/:8Z% f0", NL3~aӸq놩5`=h7b\7Ruw3ҮcW5.;Rn=BʷMȢGQO۩Fvj{u1y n)3+Y =qjD2 nA^̛ف)NdɣFk`=]}Hm=T!DyUdxHOU"$SYG+U $TN" % rKwo %3bb y?N( a!pGXc^G$oDi=-{n>qgYZ 97?% |MSO_Regex_EquivalenceHOL-Library.List_Lexorderdocument.tex7zXZִF! PR]A-MՋhvG"uIBm5gq3P`J깕 ܯS7j.$I-8RI1zU"5}.8 ъPÝ]hipg+ 76+fydUd1K١5Vm kw*{>Ծa<LD~[ij&joo^2V8%)-Hg8-pӏyA^`"Ǘ,3 .а|6 `6ә|ܘ蠏:^><|-LErPmUDw'Rp6ݱc[6b/a*G F^zFWlwJ$8:Ve3!4P"p)R^U!1Wb%W#KR4&q()8lkg $ո((\X>38Ԫ| -SB'H%v !s/Ŀ.HbX_;#Ƥ%6q-yfGL~H.5Vy{M Ǩ!K;}U#V'Br ąFa;H! aWpT%]_(=19u,T&FTx:;vcsFa^s>!&/Zt?NSJκǩE:QC!Z:;aߣ,~*StHn4R $ӑ\cd[Z#52UZAB]UFox<1,o?WCDW|]eN@0E@JZR,`^%mzl}kqMsmg#|8 }]rb#DNo杷 a|1)h '?US&?)P1RE:=;!?rȻ,"V[&(`C(\: 7lJm~?nl F+~XO0Pk9 ӷW_;[D9(M9؅*b`5dOY,}C h U^9å->ன1\A &4O:xGj,\ ulmby+b.¤~Zx'A9;z 2 Zr~w*.לW@`8!#/sqS).&n+lY =X&q ѳ2MV,b5_C~9=!I#^ot9d*?JW L6GN<1Ѓ@}Y ػ[ tK3$T& іmcfm)?Nsg$)' s{Qp @O፹XGJw-^JzQbIF*4|ޢlȘ筨걌]i1efyTP&xI%1 fn9zf@V]!4S>g<-1Pv&F4!5 >;+ʹ]d3B\Z.zW `[K9UoT˘J&|( Lps"ơVjOKf_& OAw$U6Wjr{Ӡcg(:2)AMؖ3H0K.`iӯ/ţAϬ&H OߌuA qkhQEH569̀({Ng_UG0> >E -> c:^Æ# Q]s;&dK$ =` ցJ񏜆 wG-yΒ%{5/p1H *G UOoZ8 X^f/n\Ou_0]M' H,{$=N}1gUY(Lb9(R%w&NÁ22y`hlMj<ρABeݧI$nTЁH| [!N_N#PL$SJ~j*@RvnVJR1M__{r~K¨D,2-ěu)qTQa1^b:f:@TS&f(tH}Xڄ%.ϤwOLg=AZR8u?4Emi&N"@رgܬթvODs@ڃsa䱋՜5&eJ8P8G묂Q6(5 ILb-[ ^Fs[M F+uR+{  : "f _a(Tp*vKiNii.1y!Et7]Nڎ4gꠘN7Iϫ H0eRmPIOK;o>}l۵ۥ;܌9; >C4:Z" 8KzW`<~@*%X?d}tLgJ [rM,SҠ |A#&~7?Y~)IyΤffLu_gjLإ͸-N盵G=DL !m[m:pg?a+}WXN1Gm 6xE ӱk&Bm,Od)4~њrm@?l}3P.uPK.cr0a=4UOv$\&pHi2Azئ:*q$F 'U\Oʡn/AmO{jON87L7':SKnFp{:c^*07HxרddAȍeQe8lչT= fGPP I]lp(ۊ22W&_;1@oٝ1:PO8SYWCIKdDܛ4٤~SgL~.h k99qܘf:l<&R` 6 ~Ӂ &/\|gLbF;(W$ŷWH`G0 -Cv ٭ے iQjt{u#zڲZ;];t*10pu<6,$Vo'MHœLb-i\]Mt13vE;P):TCH bs1ڧ].InMS7 ᛄc \&6!4(ݍ}N;UX.f5H)mGAQ)1&d8|?] %\am9P4Z3+KDֿ@`4>靓0um1!X[΂Ŀ;,mI5WD&RYLWFw|6j#Y7ts'n#x'Ҩp&<7A0ҢݒH{75"L|Р:: YckIFU:Fη0TKB)£Lm\p6*ȼHBKF?bD h{NhW~ 0o= ɧẆJ5Z^Ȭ ӑNϤ)pn%A?gdŅ[gY sg\GA^!-ٜc9;չ2W )0+ ţEEضo[6hBb""sP3(ZDOEm( = wꏑ%#Hghr{GF60Hn p"X_Qkْ `eNG WM5?oXOn@#n3FZ HsM^$˼v[U/,SnC0eeR`_| tc0 XODI;J a%s?i5! m͚="B9GeC5ނ0MS(^u =[SQTC:@=E~ER0b*&K9cp--! W=c_{egd "<&ˁ/x3uP&aw;3 8d~27J׆Ѱ/Bjf_~p2cfO0 ł[ɢ_qaUㇴSMeOsl;nźhaэliL܆ 66YY TggYZ 7-% \MSO_Regex_EquivalenceDeriving.Comparedocument.tex7zXZִF! &_&]A-MՋhvG"uIBm5XJx`:R!jIKVpQ".0]c4~Nh)5bz:Q|wg{C)L;,}?#&BF0L%4"R;˳ׅ9݌OgXy{gS¦.!e7nq;ZLisz=swi]ѲA?fWR6dT8be={ukEO&U쥆]y2PS-Nyb%pi[MNd߼2\l⼃=vDu0»"i}Bаi;UFyVˊ`y!RMoZA.ҷT:Vna7"tDKAAJ`8v'JlqDN͇ivu΋[~kg7~O,9e0ド{[}IB%p*H΀A@7\O t}o=?#L$E~:7h*π>!wQܥL*[Owf" @inۥdž79~KpL!A^ F~Sv2sWI k= [?kLmեnm,. 9F"LĴkӘl_đ'%7k4k}ڼ{򈫎$1`hя39cl}1$Z S)kGm7Ty0 5Vx_WUۈԡL^ L2˻4}Z gl1C=cbgvD(>i0dlX<_kw*?l2%su7r8\ 囙[ʽAXg3bE !t37ѦWlJ|/Ԙod0\Nh6xAW*>>5/A," Rٔ=-Q?")Ծs\){,HA1teA~"/P&m.Zhgh$7Nz8\U٧c8D27 `h&wN-v@.kG,X5]B/u)8neLTl68 GۿBSOr;M$ThN$jbyoQ߭ʒ*Ç, ?/: +ұW~ZSІi^kPFl:u( ,ͺa W)yIu/pS,uoOs-]bT$Ƨp<2p?m kK#/nг_/ڊ!RŹ`o#߄gB:MƓ/uǾUfR=x)Urq)O`n ѯ1c&GfsbҾms("OcHC4DkQmBD&Kt%"pQMX"nR43 6u:+8xv={LຏgYZ j +j>79% MSO_Regex_EquivalenceDeriving.Generator_Auxdocument.tex7zXZִF! =]A-MՋhvG"uIBm52.T(Uիx!^m UR'2 lGQ@94Ce|JOSy֏1:5/b3ܩL*6p_z/k""\tF[UۡL/˕39떈x_9! ,BYȕ}k7J{_o,nVC?`:b(1k;9E HIA)EkϽ3/?*6_<ۗ&o<$)4a,,r.:?=fl9CI{l;:V`G5IҎht޴j`.3dv>j@r|T7j5wI>8MD41w̄&9ꢥ. n*^yCygti7ŘCFvBJ-KSqw&;!!hVw_2nbC#32Re1eTƠMcZ+l^ctj& ̔QZL.Ԃ;n]]mY$*7]*ӻPvU"*v<5385RBR q".3qAA(4A;TsXW4r$we7rX-Fb1W| 5Ebf{I4Wa]|k-VG04ʘ4;p9Ƽ>j7qbln6q܂>E48Xy6mze&׿@wJgX8@D֧ G9pFAh1t Tݚ$NDn{Db1wb-tv*,O3Al!:[O!aYcR ;߫D]WG5'Eꢿ<#ySjpv9yXbEն;I/~;<&;AH!3~WoWL9]&l4W6r)ǦWfDm]" X' gYZL75% ,MSO_Regex_EquivalenceHOL-Library.Char_orddocument.tex7zXZִF! !uN]A-MՋhvG"uIBm51;犧Q]'H % ΃W?˸ W Mz>N5qɆ~]]]9c^"ֽ~k%2I8ȡ8 g5 ,Ȼ6\]Tk1*+"/a'] W eΊ.g+Z"&8;}@",1qߞCյ=;f<;T\A<%mQTI0cUOѝIɂOeFm:gGM7,, AW=xP^ָSA啉[iV<헕(fNR/~T ۖIEmB3EUHp*h\8)m[_-Ȏ,Z(ZD|!dll+|Epؘ>ǀAȶLATᯍn+ #k>U""l9N8OY6DWPyO o*Z*W_&?~ipɥ겕ђ 3|K&\/5ܑz0V9 j6ɼ^ECimu଄Y i-W@ nqq?g|x?"Ô g1 Vaҹ1f<'בarVboٹM\]~HA.\';e%'Eok&  p {2BO\{,X!?Av J9.\<"Ve@%Wg1o2S!6/Kl^NIx֌zTFߐBf<] #?Ȕ=`'M uTc׋@iz!ǨjǪ<[1&ˡIF *Bk^:Ym>=b: JjX=H:ڨ7:S7ULO(u ˧|xfId(]/ii+ɟ]7$xկ jJ_iϊs i?8(*U6ens(I b UJ gYZ  0 v 0C7C% MSO_Regex_EquivalenceHOL-Library.Simps_Case_Convdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȤP9~X^yafa[uU(jzu9| NGPrwQ<R5|e|hI)W8W.Zm *+Y_cP8l D8b5vHʰIVL &9{a.Go/RG_ϖ XN8#p[HInIt,dFJY/s7RŀƊY wcօzs@(7;bS]M ~aӝR oƵ}1+r[ȷ3&Uoλk[_4fF.o ogYZ7;% MSO_Regex_EquivalenceDeriving.Derive_Managerdocument.tex7zXZִF! t]A-MՋhvG"uIBm5֕)eGBŕΙPSI"݊\%Z^G5jp=;)'&m+`S+H:Ш{Ѵ{o@Ѕx#&]l`e{j"H[@.xD!ww5:oY5|8Nt"@n ed`vyڡѡQr N(. 6'FGlXbm℣9+h;퇵6Rُz'P`vGb`zs!*t\G$W-咄Y[vقk/=؄&|RiX7T0]&Q4Qv|lxc> ?géY͏ _ycFSSiqsX +.,$(r]j}mW1(ރǫ9aMR>+Y5TOs50`Q}:စ٭Kd&Cd#]!g)U\Q6Ѽht2O&6:o3q?IZq'Aނ"ViY~,n?F&%$\WX\.vU`|h}p{EH`ͦϪcw{$7%^Fgb ݝ$dJi'D„ͲWʲ+ORoq 㫩0i;4B7]p%? EQ;.') xR?BXuZVb#OǒQ!}-^虏UkEct r]Ұ'Ҙ(֪omUg;|gYZ5L6[!;:-V^)"8 |hpbkR %mFc8r^x,YlyqƤ`m [>&rp\a{0f?z1goW U#08%Ssad(D-gTV(]acX'f &$ tI;LDjN/=D5'6M|,^nӮ;նj{IǏ}U!BN!n8u ^Ԝz456H὘GG9Kp*n9c>h|Sąրtͽ[/ mngFnr:pBLlЀlˠl!maBPTj<䖱M| N09HE[z f])?x4"`#?)8D3` ʘ,Roq ~7ؓd-ZIe[M9'"~y4Hf!wy5=s FEFZṁ}oEԭ!0{tru ?~(|s{ѽ},Ÿ6i :5kɏ6u%_ .5dJXqm [c2)szMN<8\CRETwCE)dA^Ѫ/u܎4?7F7ED4 z|D\A{m-l!uYehձɵ;XNhWe)I O[HUn;Tu-*Օ*dzHy(B q 9d^I0om7Y0 }_bhEO u/?'@PGQ] Iݟf;T:eh }O/Jl3 5*ؚbmӚt}I3B3'[[7䠦jle+[Pv:4D M;4?:O0{= Dg̡Ulg T' uyӃml-E> ʽL%3Gbz>˰>%Vhpɕ4:#ŐrtŮD1!^B&G`i[mP|_l*HVƩ9pSL%cwz)1KuL6V4W}FAPDX6Z_Vh-N{!g:=]>HI|f ps]⃧m} q'\5^t2Gji5[ci8m,Uwi1:h[$z%TQzDoUD\c*P9Gw? 0J]bL#|x{=[jt!wgYZ7zXZִF! ]ŗXiɟFTp>>cP$qXLE۵U^;O0> y,v}D+T3mEm mnldP^ uPHUX3LZV/W0O O \B#\CɅxhL;:ʹSpf&$ < [hA'o#+~e BG0΀ *i1ِoZ9C+RW [T%]kUDrU\T@,%p`=#1bONO{y(&LV1" rxB09qVh=7!KfkK /]9d\;\bɌ}1/H%ft2}ý%2¶h86{R_sᖰF빒ycmu R a^tCH80pd15Vcf{c,= -kc-LNEY6ajQo+|"A-5yw56b,Mi9t*mFvȗÛv&S5xPq'B*".FVL3܂lljޞ}Ҝs $&t6ҧ(Kwg;e O1f1gYZ7zXZִF! =d]ŗXi%; 3$:= )}Nm !ȴP<}CeO[]|yXnr}3% {qSqֶX6[ )6kx88>y#fzȞhڭpx MA}s @W(|=|=AǗaSI񨑖8x5GU)E|&(sᕚyW+L\ {),d9:A"F p;kwGt<2lL*fH8&_mS%M[KMY_F>ݕIzrs F},7>MnG\ӮHHn2c&vf} {12oUf5}bʭH屗Es L-yi?E>[#u^ѫuZxD\Ak?-^~E"t.qj\FA,3X0XEc]tBo `(˿rrTb /Qxw%4-fnZuÚGņ1>aF0:'G4$m|[-(,H˼O-ڷ +ߧbҒZ^"> 'noád ^Kı݈m!A1U6l7F)l gE q^oa[,V~Nr'7L9?ळ"X(o@(S4>b__cf\`^? Ϫhn[ymyz~gJXGRsÑ +/6x2"b˸4wC2ջ˄Za#&ݢ.\-;]jrfz$5c2,oIه\Yc-}l(/u"1@fP]&l߸0ſr9ǜۣC۩F6bsft}zo~B#at>MAw=%>H?b2CLUIV &)޳#s`ԟd 7 c7^:j(Q,.Z{<%Cx V\bA>>yef׺`U]C_A F!+q6!Q1Zk/Rn@ԝr0k\fd~ ,1>Ue$0֮* Ww}L9iK`E:|kQ!VτCoWԦOO) 88MZ:|/j Z ,74X~6`vQ9fۡt|SYo%B9E̊Nv5 YX,tL`e"u:ecoj,o2Dy:Ю,(H\>^`\e5tHn]p4hu|;vHљSɧ~}Wmpyj&(Ν@opp/BhW.rqOA;V' b0[P-oȯeBe~!h* s|IͽTD`@AsoDEvkќX۩Gi.RVǖO<摸qmL6WZ W`i,]XҮbTN#ܢ9}a #LK'6qGڥd6uz4wSH)Y$m;wMYlv\nKu0s&Q_O &48&Mf{Nӣ燷q?58ei)A( G4g\L7MAy6,5 -iLldb9GI ej0k_ĺֿy bG.y/%b`P 0D&Đ+Nib=w5c!)R go nJe5Uq䖵:Fv*Jvi47цyܥ'JDC&+3_#?"AU;ԙmvefm}{7&$&FJ aqɓ-0IX@EU?ysLC>"uL3#d|]J=lYRm"%i%qj4A ŖM\ 7`YaӐhM]=D=~UL10*@rF4^HI0,{M/l fR]^g"nx_IZ $sm9u/A@CT;kfJh֗]&m$E 돛W`*pKZ WhSQ`i"x^xtݱ+nd=} -twʛh=xCrG Hdj-a7 xPa3JX؍ZI[`JŚ.d> GsK&䡿N $1H2G6^^73#LY ^O%2/ zȷX/ k]M[HX=8j)qr*RCJ 142V <7ףU)zZXwFq)\8Y <5Qxob^=ȃ]K%}-aZBk1w;fJ9J?<>~e}>XVeǮxɄ2{‘f37RL!7u}Ա)N|G >7 '*&XSFs4_\+zVٍ~*fA/~g]ր>dy='MoXUx(nn*cqt?^J7hY);~_(ov~7!"u6@%4lX0<&h۟& >zV>A_BCH1YX_*^eY8#r۵pwwB]}LS*K=x/=t m_,^f-,nNwX^r|L 9C o. 0QZRwP '^0L^4[' j#>H_'-q˞ y"V[dhƩZ./[#E@295 _Jɚnl#(ViǛV buARzm"*g};\ߎ2wB@ }'5ogEp[g0`$"f2yWw⏓[MꎕqgKJtd>ai(u>kqKVΓcyI4.;sϘY JJɡМPi3bcWq50gej#eR9V^rsե煱3Wl'%,8'+:4L8z7(4u%ӊH| 4ɕ2 '׹3N>UN3N^*A3sgahMd瞽#p*u?P݉.Z6l((XYBoC>M1]$6BoxH_zQ?frh>f 9hZn9)Sz%Nns$ӲyhX c0^hPC[Ԋ$eoAoӐ"'\Q .) 'h@T "A|40")oE =n}w`w9J/mIGHZ4KfoS YV^_p{>;DČ=녷5  bb)질&R= Ͷ:`b\XR^,IRZuj KYTi/%?/dBlQ *J2ן%&^]-Z@ #}~p H+siW;5})!~f45N>-UĨRNZŎh1=2Eopp/`%W\o .D^ d⽷e&P@ iC~c-v== ;n S.YTp7 ~}.Gp?EUYvs: )g.zJ+:$* /-IQf_9Ycnd vKE(nNjj'zΣɱ ;U8Rq]sݦpba?6[)UV=|sI!{!&.,USK:][JO+mE:8Օӽ| q9l&jC2Cb} Wvdl?kB#y;*7#G2dM5cFR˻D#\ZMܼTRu}Fefj+pNjw eqГ6=*w=TP8&Qw|+jfT Ts Iػ&U3ư0ґ4W1Ak q`<ElY"qnN[fl3t?xq.Hγ{+z]S&LjgqmՐviP)ƝPtB:sD/G(RځwX%i7Jrl#>66g/Lڙ*#Ms|!;͑qnop)f9ކ yj0~Ċgz1)OŻmڤe`ĮNFb:zR1}GC%¼TKs|bl4pА5(>dU.1}0'G1?% V t~c\YzkZ.ߏ!KsSsY=\j {v,ND#Yex-pWX|][j_Rl+Ξ4S,7GfM,{<ٻ7&o.̟^5%V&nkCYk4)~ 2B z~";e_r ܻareR%HM.+e6(kENI T3<a^PwL 'zP)cspJ"m$5.s*ie0(P ״muiQXXsڦQQBy1iTz )u- `b}y pʈXcBRW;a顕In"j$F#jggb*v]+ +;3v9xFa߁uvϑYީ(2V1h\nگ}FD.ϼҀ%N7oA֬B ~}QHRRۇ LeY2p.ȡ NIU[Vz'b?>r7n|QZ6#a*v ɟ /kb.y\+!a;}qnp'C"0hXZgGӁG0n옎ȈFl׾[gAkNO[WfqHo'뱹-A͂rIih*:n)k:GڑH{{)/ٙ 3J]lN')V=?H>d@*Xcf4obQjμ&D WJ߱Yo2J5$"n3%$>A{ v{>:?"|X;ua+AYzP~Y/HKw8 ok0SLZZZK G .̿ dK_cx8v?_Ӽv`% ? k2SߗG× :ßWoN@tAq|5۹/UnB ,j;=iNٰ0nf>|@|[_mp .GqhkhZ2}-v5D|>)<<}K_ԏ7أ9lp RoY#o)%+D͛wuY.5VCY;y'fO[!:-n~f.^(c4bh> 4s/ḛ+e7[V(]?T$ah<@>]QzKjޮU@D ~{iR` /%K25''&M* *3nr0yl= #sk]qZ" L鳱8 w`RL(/=3*h^(Z`1V3LvʗA[5㕣ŴWJ ]^ބ`]5+蘳?Yŏ2t6ri,GTTt˻jD c0LAjϏ0#dgEE>2r BNp6a dAtf¼,ԧtWiT/L]9Ԕu]Q(PbZgtCm6;U1GZ0D5ٙc!xqk;tjo |*>t"6JrCmy|1pKJV׷Se .Uzn{ XQJØkѾ؛sO-0{gMhCn%o!jl"e5@\:WH+IlKIVO|!^EPO 16Ht֢f d Y9*x$Ѝ\5=IΞ6lԹ7̎ȈzmR;ޠWGg6koO@bAC:J-gR*옇}ӯEח1]C6 H2gp]jE/ȴrl*Gw  UW-yIF̒BnUDnG<ح\y# ?d>>`<ɽݺYvLUTz~ R>B&P4%S+'݆C:^VV I.˰}I&QHBb<~= XFufN!LF0bnG5JMaww.(>jWE;#}BF P<8(]))<ܼ NƊoF<mFfTvIcoD 0Hw{zȤTZ:!32"8rc~xJlB3IpILl!Q5 HԮ(oN3x7rÉfTkP0!c-hY8Su%b1 % c`wlBT'FP /L0se/p@c08\l٩A#j6Ki?5s{.GZd H-$"Koi%cj[d(dd+8u={d  _B, ̪.EGU25Rv T'ª?IuEih *Tԉ^n| aAIv}PlIIK&zm GuNe 6pU5Em-O(7I:DT|@!="!o<ئ= &E;cGu4u+|*BDLi.:X|ַjIn4MgYW,w‚,:8곇QIm?sFF|zU뻬eã hhy{B:F1 ,)aP<^pnul wHx V}\="ir9,=& "#R1-\f03 z:^aڨw7 H!otb/T7Sk ?&kl7Ђ*joSi_s.Gݙ[yj鑀ORBawe{Ob(wFMMm ^lρa XHƧbFϰ/~oA&K*eG=,YԲrN;,AAn0#LL18~hAgEB5b?ⷬ\UyOa^vUý-ouyR`Bǡ$)rh톯URX#Bot݋F{|d` (Ąl$Ëu/ʯUzJy"Mjj†ZÁ(ʶSKлm]BPpf z+Jrq#LT9 iJ*ҾuD$DWENc>o n"?^y%PdR}W|n 땯"S(u2 FS&͒At & k45ĞP[IPFa|xg}=QWjsBfW jxHICݗLl]r/TK/QeM4なxNf,P:\X*híV30|@fbʞb4mMoM$ejʋlxyK:u()۳:~ ^r卵v-@=\t W8|{*ع~aS'lg5v;AD bfl楿pYD. nw`֡BeqK>÷p 8/1 Bd]h0wD s?7:;U:9e1n2G_2M[,Ȱ8u5,Sk!3namh6̻$ 4}n%FX oݪ}M7us-L6\::>'a3loo* ex@!<^~0ݯDž* vKH%:/SHF_O91Y 5q;cfAU$%SEg|~Tsc(zzϰ}Du.p3@ #SQ= VĂT M&b@3H jBTIЭ_K*Dz%f{4dŁڡT9Ar P;ؿ$2Hk஝!]0dI,)/ $&8|WA@]HBGTmE0e>`mpG4W!|0~nDZ[k9,Y]_0$tj+/@*"k*% $q  5Sz<>? Pgʊ0r nS(hoPGyU$oS5gr{+~X8'pۏyQE͂iz?-lFrj؏hܥܱf3aix%P+B۩$d۾N;LgA"> b|-jN {N $JX4"0=u]u_>r׃x7{9v<-S+KIumTH-M]tiخ?kjHWTƿ;tV0-U*WۜkwYw46O "jgpG룗bZʪς<)s4\䪋077((brej5 nb%D;*l:SRvY$0kܱPX2x+x.xB]ٲl3pVX:>{7"4D =!΄9AcZn9!H9+[fQ>Zް Tx:˦+(Hefڏoփ fg# \m TZ=it#Y] Md.8g` (KT_] *®4o%f=՟ӣz9Ո'L2fACē#*k^ ?"VIU!Q:k"|0W \ {ݟ Kڼ-茦<1~ϔBz7؛OWY4VNI8j@NÕ;@JC\c@)]qߙȺ'f]BmG|}#H4ޚ{ЙnNMi^\\ $դ x.]!kv^$p"*&.R S6 ˃4 $T2DS?:t"5N@6o_%Z8IM<߸! V1M/aX{X|vZOQxL` 2uy%da_=@Lp@1ܒ}F vߨ˂FrߪDK9Qz, @#ni9lj*~`N ".D$y,AP;TU_N ^N`e y?,51T(q3v@.:{V ~}*v;nTq *; R]0…!eR>,sDi|7gvv߻oͫȆHN;o@8E0"r/I$kAW*yS67=pQN.P.Ņz|T¸F0E m$0?@ɼ;*|^(>bphdQBZ{?zZw#%HAK싣,{酈 KziT%PqfwZC"~Eݿ^IpRFY[Z1O 8`Np3#e|^tMrxy7N3qms[^+kkC4̺vb mAT[&J3+WWs+B|L/5-WF\q,2}[yFr1fa,ᎭUF1Rܼmt9Dw{2uh/\>QjGR"ak$Tؕ5qc_c"*f߷$ e6(rKZTqV8^O|_SM6Ajs ;s8؀h 8.wԯ>g P5 eŽ(WphP?"`*MtJ<8I0<΋] GdXXjIߛbblNz$n t 5mK7c Wʨ$_Q# l_q)S UoD^ ܮd}RpןğvvƳ0@163瘻__uvm3=it%G޹OGB$ źpW~Ze}f ʄ3Z\]D?Zm)I??@zs%u>mW/ l UT(UhwW eLk^ߗؒȱES `uRlok*t]xO7+7[r\Kj(q÷ ;Rlj.G(!p*IuW(Թ~3VÌ&в.Psqdj8k~vJ`e:K| LrNf1.NɼU@1pv:s4IݡK2[~M2KK4wwyJyKBϘ`8HF7J=Okۘ-V>6:#_v M}:<cb:xЮnh0/Ce__IHq1c4q}X;yfE-{F0IZ]jֹ}:uIFV9,x(u{k%i{^?JphWl\#dEl(w4,5Pi¦~3հCVգK3nv$W;*z殴VL=Fwr2jl=A[4x-o{f>:t8HUf'v'8ƁYmNB2Zȏ@AzђS= ;Q7уL")9Ī@ ['>kvi2ל3dF튲znk&<(~k Ēʳx% f8ߍo.ۨe8_\7[~"Dˤ: I+ a|IX ,e?V$m$9 ҅XGEHyOuMۂs5!ɰ[ ~1OIQ0 }`f06QRB<>3- NZÃoZ^9*oi(>":Vꕱ˴>jH"Ԑѣܮ"th2bX&)kh+f iPGǮ=F^iC(09 TFY-8sLB.+X dauqnD3&נ(cGHY1);?bfo4eU.I7746s2i!JQ}=%HHQcϾ"(/1&Uc.!!^G뇼5\y^.+ E>"l%$i0?Zx6_C"PFux;sR=ԙ iy}E#CYA9_O-ALܫmОҫ:L(R!P,Ì',؊Cˊ2/SL*AF"T2VȎxdj X_VeE 3{s-0j;gS4{lW xN5_Z(.NAtD ab?a@Ώ҂дSP[ X=Tugd̽o l]XzKNv#/Y/Bԥ/}PvQqAp\HdiXȳ5"0U`7eБ~.m39#_h?du%"~KT^ڞVH ZgQmgfNJXz)KL#m~ 8F!z~c{>e(OFjB",&td $~h_˨1V/Zڗ,Imk֢ݝ7hm'i"88qCK1GSSmfѻ#z:4Vn%GXcSC~|q H 1i%C Қ2kAh\rLDn#2x,`4E\x<AFs eH69 n / 1O@ O#A9Vjk<@ږ@QI 6T}P9QOjV1//ω 5`OUF~"8THΪPIF?y s w[=jB'ɕ7^Eg)TZ0ڧ3a | 3ԭ֪8:&2'=2eub 嵆φm [Sr Σ|>PG6!X|׊8@Ԋr0a-\tD5l6Q7-j)Փ0ÅD9>@˸l(~KJ]vI1O#ݪ("QjŋUL)h9J7o=YwaVb!DmMʘ2Ȅ>"3 s|+H(0ws.Jqs$!UB|"cD;GÎ9iR6:&sPE*5Ê}Y9y*CԽ`8!.h\v1eX R T>9wZZ``Կyx0?^v-Sp@0-6+qY:>' bQk_.,T.FCHSoS } YU/ջwZvgQYlmɥ'׶ Vu /0ka+9k {fJlG @u)+#=⹅9B@j><3.C!+M#Deв^sz1?!tk2NDńO(V}\p yvGɎ>fZy#by ާE27+qyBG(bЕFS(">6k@Tm/S@)ikJ8FgG2pD{f\uzGe5I"vɪ@ QX4w|#:9"dcP=H6a[0^>%2nN4lq?nVnzbX¯3a钅gс/H~(m,w,+}CuG`+-Tu-PPO X#>4-zS3 jrh$'JǾ[`?{ W(ņefFf$@OE] 3x!fCxMMP׈T;LmT 07i(~P"Ս$bs] ӳVQ ߫۾}ڤW\Ndu+f X?˄%`:O' 4w.ޥ R'QOܿM`dF?3_:ǒRZ\|4I1%V=-19QC}xǠށiDFwҍ(t,+5L&ڄ#/dvBFg@9`Λ&o[9,Ӷ(ՆJa| ';\)nn1Ne vN dFI*~Ԅ]rxec7@=IQEo+*tbͮ AF'{Z&/PBƳp.ĥW!6K޺ :XDA/!v|ѷ;`5" +?%,m7ȯؔ?|:x)VhN,'SdvJXbCT"%߻fz}3V]NhJ8CEC{? b/?a)QSRZӑ i ; Pg-4错~-&Q6_ D~zݧ1r+35Sް4+ ފv7bu)d $EνqBR{3Q6ň޻"}a3gx4QALR~No΂%tl}=:1!E%/ '\qFIt ib ?߯7t k:cCдh/N҆gzdZ0)|dMNc,Gz1{5iH+-65V 0bx:#Fp}U2!wCo23FcOt/}5=GZ Qގi4 Q)6erdp*S ~i&Ɖ}>x=nY }h5V*@ZBТDg{[gxV(/PAՙo9'\XzFwzX!Fkohԧov(Z/t]Ϯڔ#8M) [$qI@B!Y|ؼRPvJ⇡ԕZ+l d(jO8yll$HmFT}=r¢d(g[vݣlzy!l "N6&~i:BW*k0QUQV.Lib#8/n1$`x|d|_)Գ؆0 hG`Ƽc‘kە l}7.cI>0ilm >7^JU]R"[Jv+)UNYk>#8 '|4˅,+ig~d&Yf$ |S|s(F"%t@f%%v]G5xh{HtIZT3Y:~^L]A?/-m[/ ($t2:/?f$۱PN͒W3hd\IQ08ḼӾ8瑓pYQG*qx"8xHu #S{!oA"og]ob@k3jvy;u7Iy8Xh *"s=j-z=y@ԚnWFēX`kZ; "T bɵ?"p;Ě6X'VЙrE(Tߐy+Z<~K5gܗw,fduVU\`q>(6IyF5pgYZA7;v3H ADJNO'cGmÕe,0%bQ!8sgp{,TԵ>Py򝻻m ng(|&E)w mR6HR1%_`2VPa?Ny\Q ~3LCm0^r2t?ͼYj .SEWqBk(m̓(O9y?$V^.rR}y^!UiRh1`` /r(I>ilQ^%~"vG҃[8ir~⽩s)n1Tg+*N_wI2dS'Q,XYUivkB+49XF}\6_VF![Mܣ( 9 b0 K“%ߓ@K^x>/Gn3)ز8ύ]' QpO!P"tP%_#8;@laC0Qܫw*.%;3* m>c`X͝%:ꪒD+w f*ݧ,Sq9o%'xBzAIqa-_@6XW bLp0ʬWgv0v=h~ܵ3'r="67DdF cCc緩vIx0y6Wg}NQBi^w0_18V~Egȷrk T ae>=dGMlThpA-qvY\3 ydYCᰕ.7n:݄#J=!8Eũg+&?,XϏ;}jq Ę Pxvg+g5D"kMy|uv pgzC299w'.[j,3 3u1BpUV?k6q{GOOjtF!cMۊ5G}̺ڋ,Xz[;Y3"e'~w(q Ӱ>~aϷگԑgR2Q7Ll8M^<…M줷6au-M;Eꙥjﴇʶk|ލOغ{^hjӕ~q:JƉH/>݄G.2BT< @9`+gV O:#wYeooeɌgP9Dvu[|O-?Fv hqX !lo!"Riv4`/W" M*bvN/e_2#ɸ(Qю+. ðC9ʺc f3X/QuX gӰdgEHlmW9,åo0^x]Qx[l%$JA Ӑ|=|A&Ϡiy5?w eHF ˀָDj8IZ?[ٖt9INd?FЌr˾µ<&WYCa(e90ya.c3hf(9*[)rw61`%pX!M9_`ڥV=ոsޭGz`*zL54>b0b-`iHC v\R,˳PAsRSj2Ie 2ӫe#onXr1v^AvrXi&PIKN'y}ؑu0z,g~lO*iK!YQ9f7#$~\HJ&|/( ֵ|TlR|7/S{u m$zYɆUW3I BQx~EWGoCE--O<*Quۄ]|<̻x#o3Pl Kp.Kw##q|z Y h_)0:|0Wn8wns`wXζ磨,ݵmՐ@PS5}e=g#7ņqwu;Y~UGR6D- Y<0 +t`Y\K:cԞYJ4nP U&u9>Ѹ}aa8[瘮d=Vw_w~lN8u:eHB=ie[I(p8Hy]5^|c-6sUK)c G@cW̏{{W &&<Ƞ!Pl9 +}zkik cӮ ut0Fij_K @B)&P?z -#_3$?,=H(UDY0fƇv~isŽ[)?17TrRϔ`,6*~ %_ZF:߈CĎj:U/B >чWf+"jӂe.ʭSd <5>N?}ksf5ʥXȠi]ذ2 p4pTDYV\Zm~ewWw wma]Q.IN.05,ݢ8&VFG͞w/A9mdAPi8= ty uoA.|)LCO~jq\sNgɮ{Gb? 4 d_#G/tJ*GlM^m7ݲ S'>LԧOY/Yc#}Sæg MJN}4ݥyޗ8$5֣rl<3@6 w`*U;9 W4V ,E;)>?= UII=:Yk$ uepJLk$&wjP@_1b(:=#HBڣ(eU5l6K(U?ߝFD}Cl4l*[#S k.~ 39XP*4!gŰ\!}=`wb"4a~ 9Bu R Q !DgGɄ3Vx;XWZ#}=O'+qYTϓ50J(·rɖPǀM\aj р[jj+;ͦNzO]kR`1uQs<e`9Z34xƱ+{sp:/oV?VF<~;~. u;[eʪ'1&ž_ҡʲu2Vk5 Ar}^uImA-S-:.T;w^Jza d KBI:kTu3{֌ݥ(;5F5YԫLS*Y(`.^T0IogrĽk)4hkJ@9R"EB@glvƾQNjlmI) V*TMذ}fbOxmkh~M^*xMS]IM_|U t5J0LO{?;}څU4|d+j걟8ew3(g OFDgAZ^\ ũO1}Jtgtֽ\&vаε&'u ye2eE32jW.wAs8rH9MspTv~u~*,= V> =ML+ q 2erAWO~)zz8sʳ}p-ډCC(TبV7'5X`/GS&8kr(`Q5Q75c;E.7ZP6B;npkCk8rƺR} Oep5vQ'ַ CaY*Tqs[99NZ"0EQً0 Ҭ0 ;Kx\VatNYE2*,N1Uʹ HkQc&i FqpN]a(؃_y|Epw䲑@bZCJ 'joTFpM ΜF롁 dvBD[tW7uoj/S7}+M$ ; ;zXQvq vɀDmo cNdstEXLPz)=M5l,=ն* ZW5 MclKdtdM>0ꈪc56;T*sZVuk1EZpF(4S{V7[$vCfefs kݚN {Rf{d$zcqf]Qޞ>LBLfaE xo&aN ;ּۘ5n*ʝ:40E 埈!@q~& DO |ά7H:LpW&*|זaFi)o*#'?w5kYFؠ=50Z{oGjhHe‡3&F䟬!WcJ?*]-_$Wux_g<[Fkp2@MUZٹpJj[g@m( t¨12=i ew!=ϲ^U@goO:F |9;4st-ᕨ.?"r@~nJA 7φ3fq{}"h!64Bs;IZEcj:\8"؃`;41Q,HXZ3HuD-PS%/Ri3ǏidlV)!8F.=ER]wG BF}"8;#J5@sk;ﳵYf{6  ,\އ,8r.$298p֘#;In\BmEpL}A{Ju]'4eQ sq؈11. qsUYK*6 jޱe[S0K&l<;sVVypۄ`V=w{Cj}NH[ S ʓarEv"NjLGCMD;gJ c-Х)57 ln՝i 5muhp|b-?TĴ_kAay?Km+>Y)F9k%iyd(Կw8@0`BrYV#=>ND2Lc OM|ؔ/mELSIpL\G_2[ rgxV,[rCL ºm674>S(raomY M5PY`4܆\n߱9۫{_K|}eCKi3йޒ5mXs_hzUsk)!/A"\gmmvoF sLNިNqtqhg_t]&ˁ2#]Niތt==QG2k|-bBNjn ;VkH)\ h2LA~ [dM~8F,˃C"v.jvD~ }D#ջ^T6Kލ .1PSE1{ɪ۫ن=,l-CP&2dmԉ3 ;# "tsvդ:S#:q]<ے(*6ޫ;Mg0+t?T&|@G$5l]4M*S)/Ƣ+A5@IYfNJ傄kÊG.m<fi *2BVi[ 9r9?}Javbs o5gl ):Hlc7@g(z5ϸe{"ǎ7!De>Rdv&ʯgiZ@ V d2XM^x2c<9^_LLvGM? 0Dңs%Ziӄ!"e3UITU i ݁[|VSI{.#G @iw;dfv2_hS?|9vPn'{]tvf Ѫ]>5#Gf3Jn>iYGLƼzoKy@pN~:9[󡮘[3B fZQ"tArx^E;^Ή&_ˢ٪J ?7F[L7Q%•RT;nz Zk2 K࿢WbLB'@y7\,i)Z!p܌#.\Sf{Gn],s{[! d,Q,tNFEm)_?s9'b!BJI'?» rh6lK03i$p潪Tt4:JA<0D]@־Pm30HOGu9TjH%fKg$(yJG#UR@Š.#꾇?XG=M)4M)V]v)mK1,Fޟ$-U":x Lx4ZW5{DjC_NG5)aްw hd[LJU:Ys) _ݙ5 ^ZTFE>8;Gt?(R9sr5x)}'viēlNRr^an2$}~aYg<͆HuPuI1]mSwT`E%goLҳc 2l^+K>#(` hxِ:F<@At }IZTnM5!2`͸. Y0̖=w &?F[F!Nj+@kAS2P~H\ꊘ.r:/!۽jM̻^?٠ݒ548WՃQy_Ģ(fc n3*^N!_/cjx4 enj*q ONő5M8vCvntpo?_n;a54н2 #?}ȡW:ps.pH0K I? ƴ/ywns&`7JXK2kƔ䕯s%ï{[^rj]gE钯ϟpe ErZbP)KfJ$y  fmLvF4lTj\#ltQK 1tiҧHvK-CI^r]y`L1E9[T`IfMpמD)IN}S~3\}Cό":u\'jA̢:kb񽈥]0`}pl|̫Tpͱ|1V0T6()֋QUy6F;LkM&PscsLTĕ%ާёtɢERoJI.5-usi>Xd+RtTLdC.,8y}5rcK"$G/g'd#;bEe"2Gb!V 4>) Ύ _'% V&|/ejlɉmVXvF L\. b]v7}RyJ@^,穅%DrCZ@\s01ՍI!&ʤOA}­j#$K6nLS/3;k3%ړvVXs1[t#0zHF *H`@*r]Yo]B2a8a^J!hyo#K|YZ-JW8;$UBk$&(WPR:v-:c"^}j3HD,:,O3蹲SWޱ醇i~ htPnrou2&8_Gm5Lj1y}?3ɳPT2 T gAȖ6VFi\oD-=%dkr]z_M^YxG ` `'~i )GJq53<v{OVQ'9jĥ94fK{V(lwMEOpf7ajg. >s`:7&9%g[,Ga*qzy8! їѪc(1'JYsŧi)/,>'?uwrfy!B7|3Mx0cDxh?%_nNGll pR3oGU9~![ noQ,EOjfzXD^u㥥/B4ӏνūh|c9{V69{n#bXR/-MuOk3#ziukaV[1-Mlˇ1D)S\SV 1_ZMq˗2AI|-lF` %%Ͱ|4Lf$ߤwt<^5rsqt@Ls)d=&: F^dɾW0sM7[V;FcU?\G;F8KeΤrl6|{γH0BDϋgs zEX/&.#M/نg2VeftHpB̅C]KVCkT.%W_ŕ*mh*jDuh>i\So^~;\sh^(7v('ne\WLl>ĬB?y(ItA *[cMc~OP'G4!eЇCIÒ&jqS@USQE8H|SY96[cok-}ַփ6zN2DZ?sc)BSJ$&2b#s]nlP:z9Vƨ) w\qp#nkVpoIWO!>Y&x2N0g5 O~xe~9e*@ސ[4opY#'>T=Dzwk݃[;ԊU =Ti[BJKH"ߐ^,G4LZOQ$%Ύf [5ϱ،E':F@m:75bB' +qpiF,H"j }筡Cb)trekTE piD9;$1d@q Cr .k ܰi >ԂaIefXbg3`n*79VRPRlsip&=Y'~3YƻaVWVYHOCV\$ŤW5e3E3P.nyg=2d6 vVM+»TASNs%J!99 q2,gu㔰_|iwU,ib3ehwpP"KRu!SgT[\ ~k$7 Q::Ɇ6:u+Yo%5W;(\+9#xg+]$4@Zs+Q8P)iHɔ.v П!t6v07("D;{ݫ͐ZfXS扰Q.A'K[>Xd()'U?e>:_`-K=:|ME©xga%xgKAWq㟫/?7‰~Wƌ[ bFb?S W~pWgDdkaoVѱ@E Qϰ!L3BC7_JDR@gYo k76מuh*}W\j!C#y#FU~HukiyHlWׂ^ O[(݀.pK0<"]Jxu_E 빍th)(}۸VYKԭ$X`nz|7rwfhA/g'p4؆j|nF *ԛo=C6CV /"U_uFN-rh rBZRe}M:@q:UoOZ0EZ0N7 9ZVf2J"!3I>9\k諎-A`"gvfط)}]X*p~Y&]{IMW%?ƈzZH*ڳw6v3Yb>䇖lql^4WOjPVHs