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  874D ]/]MSO_Regex_Equivalence:threads=2elapsed=857.922cpu=1119.840gc=47.804factor=1.317zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm秉lzt3᜗ED]"πGmR۬jU'zV \rO6kh6 P*L7&Ax9;į (==URUG5A</ďaՎ UX:򎄍s"W8;ŲIKNG,dU~;k[WBk Z.De&,|#Ґz ^DٌV=y#0 :jDF`'1w 7$`X=s<9|F`ҪXajvRex5A`uᢖp}h@F?M]D_&CpP]+U/x~06`f ÃRj}nC~ҧǻ'@t4 7 MSO_Regex_Equivalence3[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)2 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 r6 M   6 ) $ pQ~ B7C%MSO_Regex_EquivalenceHOL-Library.Simps_Case_Convdocument.tex=79%MSO_Regex_EquivalenceDeriving.Generator_Auxdocument.tex;75%MSO_Regex_EquivalenceHOL-Library.Char_orddocument.tex>7;%MSO_Regex_EquivalenceDeriving.Derive_Managerdocument.texN7[%MSO_Regex_EquivalenceMSO_Regex_Equivalence.M2L_Normalizationdocument.texO7]%MSO_Regex_EquivalenceMSO_Regex_Equivalence.WS1S_Normalizationdocument.texA7A%MSO_Regex_EquivalenceDeriving.Compare_Generatordocument.tex77-%MSO_Regex_EquivalenceDeriving.Comparedocument.tex@7?%MSO_Regex_EquivalenceHOL-Library.List_Lexorderdocument.texA7A%MSO_Regex_EquivalenceDeriving.Compare_Instancesdocument.texD7G%MSO_Regex_EquivalenceHOL-Library.Code_Abstract_Natdocument.texB7C%MSO_Regex_EquivalenceHOL-Library.Code_Target_Natdocument.texK7U%MSO_Regex_EquivalenceMSO_Regex_Equivalence.PNormalizationdocument.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 K7U%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Expdocument.tex P7_%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Exp_Dualdocument.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.texQ7a%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Operatorsdocument.texT7g%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Equivalence_Checkingdocument.texA7A%MSO_Regex_EquivalenceMSO_Regex_Equivalence.WS1Sdocument.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 \?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~َgYZvy ҩ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 [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)2 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 V7g% 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$"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?AeJXsOt%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Ƒlxv1H&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(NewF>{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(-?߻WgMekAS,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#e 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:!֜鴉XH$:sD'ɌNPe;N&R7iQ@S+ȶXB(CVtU3xtrx,n_DYo5韌iH^$Z\}3pLK肹lo/wOK2pkȽ͘.aOiǭcX򚬶? RPaUW rib_z3ݚ(%~p!E:b֝-jy'-/keS7ױR-C߽`m Z6QMY{+AuDQ {h`ȽZ%5%9x ^ra.Ly$GU MAPWer)bO[RuvH{/pƿ067\CeT#&Jr z*;M&#EIZk3e z<_G;̼pOݓm[,W2.*a)e'j;'toڃ<}-ltv3^xմCRR"rWC!OhȞ4XoQg~A8drqȷqifQ. |ܑDr]q'PX3hbgq5x'3Vَh]~emm! + zH|B`s%Qm?P +S~VGϋƚ_  V(t`{ &/Gw5ËP*^ז.@(B\xNF*:j=D}gǣ,!-y, u(eiݏeULh;>+!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  7k% \MSO_Regex_EquivalenceMSO_Regex_Equivalence.WS1S_Equivalence_Checkingdocument.tex7zXZִF! g]A-MՋhvG"uIBm5˾_K>H)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 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 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 <<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  7A% MSO_Regex_EquivalenceDeriving.Compare_Instancesdocument.tex7zXZִF! -V]A-MՋhvG"uIBm5XJx]4Ź|:\dB]gz$"}sxI{K;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.f52PS-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ຏgYZ97?% |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(H)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 TggYZZ7A% :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ϫ H0eRmPION5qɆ~]]]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ܑz0V9I"݊\%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;|gYZ7[% tMSO_Regex_EquivalenceMSO_Regex_Equivalence.M2L_Normalizationdocument.tex7zXZִF! *s]A-MՋhvG"uIBm5`=+k![OF5.KXF-2l> 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  ?C7C% 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 ogYZ>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' gYZ5j^y6e T]w6(& vD܃GMܷc/ NXf4s7-O7~.h*gDG_Ųf"!jc'3`yD 5|pZc^Sa=VU,6.ږ(̥#?{,X=AI%VTe%>r1NGYv!՞!ii)!g?`-KSJ  , `?f {~U= 9aCD A}ՋZ,Č]. E6yսc{m}yR3Ⱦ f"`}DѲ=BG>ɚ+2$i@*Ыe"hxP]܋ëGey @֥2."a& xPhh<NH<(@tȐ RE7xӊp=>aP`du۰{ jdzޝ ^~A߼p(v[r`u$lu'ɐ2L2 +䰊)VB+|i |#YHA^O? L(H9!fl~_L)sΑwAظ/ : πsVsD-FW5a$r !K!+UHtߥ C8hi 5:&1 70^ uݱ|۠D2Xa$$8*e>VQudi 05;q|>YN_wUy@12|P}H#Oho"޶$;/%_"n;ەBp#W*sD~2}j3J޾_v#( Hp N9pJ[2K?yaW5B{((j=֬NtPy3v>i9B] Rg] PQkLgTp",|OꎞY_5`% @^l] 2('<|\iltہ3obo ^ar^ͷFFJ€kO: O -,^R6a' ] q!FCZӸ#:sxK^UrښChWMԟlb닞֙z8{ 'sE]n޵eFG:S]^$$1F_ܭChLIةQΥX yr.*!ָwmj`i>4Rp Km|yrVl,TqSND'l/e};vD@.٫em,!:X*W/$5%vsFt12FkipS~ZULj)n"6HoVa~Bm{M>KQ-Ƕ)N`{^m{چFqa<>-yjBN D7gOZ<?QM4kQ(}>*JḐXl*ckjAFhs02$eqfI4ʛq ZۀC918]H2vI{[M49USM S۩& QV@~+'C7\k -Scw(N<"rz'2Q'K[O`籍q@AdN7t8vaIxijV"QU"o@= \%n6}hJIc79."#\G#pd&ئ@5<yvE*@XdãgXu& Q$S= {Aװzx:ɴ!4n0J6Dž1Shf"Zro_H6%^q~A1vY6 _2o@a4gs^3 cy ?_ _+yf 8"Yv;դ pi8bc_1'.kd 4<٧lq_F Vjk\*I4j4cXqh8騺;Oge8aDg$e=?iߛB\.0BJG%Pݯ=%Wӄ|lͮa}#3*Iަ[4Lc++Xngܳ7)vgX u'u_A@Đ摔#2C8BƽLQ63q 6 r] rHQAwJ@]Lv4^ߗM?vIܞ``Zǵ#3~oɷ$2@-+%-xj"P؆ DIr doycct[_pRJp_yLyݥ3fӐg v.'T#Yk:Lwzl uvTٻ8ṕa~94ʖq*L*QJچgGyCMAF>*y]|X} ^-7Y-?J ׅ\n5ExiӧƄ$/JٵZK~lқ&\QMЗ'C1;D?Eɲؤ{ƈj7{a/P%LAPP >x;ͪ|la/daaˆ)bV A&V~^3G 2fۍ-kr3:p>טvS7oιyk"*C24UzQid{k+ [GgQ}<4malkRZjD]vǢ_k@WvP`BڂX<9Fw?.ZS|88+ uT*-ޫ$RL@'lX<93ChRԩ(Һ1`G#"gYZ7zXZִF! ]ŗXiɟFTp>>cP$qXLE۵Nm˖R&L\uCB$-adۦbe_bz uN,Q6F)(^ɋڷr9}ibx^~1 Vy\A6]®RPRg$jx= MyDw/CBHyiAd):G%|R+v(k: 1+MM%ʨѺ+P2l)FuG֯8z72} ЬqQGidY}Xe\_Ty剾V\W`HE$n_]xEF'ߓx glWj 0B$RQRN:N[r_v։߂W]5ayeRy\8i9' rHְ:cף#HsNƥB!7 t@hrm v݃_^~4Bޭ>,6Hn/Q(Rlc[}&GDz?y{N^{(&+?y$ߓ=ZeLd KrrQ}zʐΓ5 {f$sz+H/3=1*=؋0 6Dc-`ePHƚ'k쭷X[ݟo [HsV9.gYZ7zXZִF! '⎚]ŗXi%; LC཯7Z 1HAyEjVEE Vx5:'Ou PEW*pUˬ(KLYOr0GrSTi jRZ?^Itgpc@Kuсg2@LC* [9@o(STx^ |l"NP !z*BZ ?mt4)q+I#Ymvےt$W9P~M1]G;v@*[uhVGa꺆N^(eb)=*(;ZI_N_*Mxe0˜^:M[c6ajxmfk>6|dmTҎ=n5sK"F(1O1bV((=t%hg:DE46lxׅ˥l`:(c x9OHz' (fǦ\I%m4*ymgɳۭV+J$ʼn%9OnjcADrQ?Q&IE:<g}H;Qb_fT7(vlj7izi@ܓ2w4c/1K~Zל ] giZ8ZUXy/>Bn~V YTɐ`5Vg$yףd@>zanU'u6vUQg*i[v%WAot]ڂ*QR]]k o?E\ mDQNN@CFӲ"O:v AoS08'@|YvݻKWRp#{e&ȏ ?op|!p2m`(Hݖ鷖t[7-UcVVo@̎1`#շ]:hf,k2ᵁ|}" %o=vUd͍mlboؕ\@dݴۥ'fp668J 0f-"Fr,ȈMǣ-lŹL/2a6k#ɮپTHf,2朝ŧ٢ Yӵj *vpE*Na#0`{IR% ^RcN &'9EKHQeУNKN렮.>AIpYkaYt1$p4 s;S?C_Ъ!Hs(l̎nGT^,ob^ZHq“'b/FskT[}JXEM+@jcO#{ƈڈe?"&-R`bйCbO\8۹5שakΰtQ-'#&tkUt3+ ;IWNS QKgr/zN.,O*P bC&{Z5e F7Ճ]0 aIo'Rպ K#H'W\;+v44=)E&'G|rFwaGh:G9/8N1k6pw;ܦhV)(EYKBo|+I/u!4AxZ.b_9hP'@W+A|H"\K-^򍧓~ D`߈"a΋lcf^JfUK3|x.90}*U^9SȰ@-omݫ{e_ٻwKa|(`þqKu^E"Hdi`LKT::fɇ+^ BE$GAwrmռyi*Z|d:pR{S['-#^S u맒g("Da<3}cўQ@}B9p̾\=Q졡L0V40Tb@3h!b\gGC }Gۤ.ЌLmY-ɠB]HeWAYjL.mwFx/~'<Vy݉i;>t!yc=,E6աk5\$(G, vvw c{2ZµmvZr^b]Cpi՞<޺_N޻Zj| .[B城rYH{gusv Ph|eR q_WV̀u$Ŕ߇3,|W`<ɽ2FXIAXW'0l[?)8ɢ@+*^dbeZ ^ :Y~jc\{)[_e1Q ;gB TU 3 I?-үP>A>SU8R*cOSt7h .?"4. l'y1p# ը6L :`>Igqs8&]Mo$t 2^P5ScPpEW{gr*ob\2",//m*RR2?_Ќ$/?\Ny1K痻vFT\K`pWj1s% Lȃ@<og 1r};%1ؿ<e@@G߈!$W#Ԭ>t|@Hr!%)[Hmcѳ}h'85~-6~qK\m2Ed7+ ~1?)_g~$?JJlJ5CL3{4%~vLLb+6 :=g'7'X;κ;~CJwքk1,bާT $KFeTOlzP$ړ!,MDmџj.Nt걡ʾ>YbWN?ǔhIuٗ)GcRFB;rfxDuhÔp%߇?c& /(:F9raUa'a/@E mz"eI90aRQ[f&EK`c= Q?+C|Tc3 0\jF1ʌy`XO%gˠ67&fl,2+\Q/[/}VD_e/O["e_Tk|'o?C ,6-*5 ̕1IPhM5^49qy3UMй?M$V# w(9SQuʕ,$ێvFɮ)7*WcQk' < pԧd4 مG>F-~.E-+|71;cl[Mji8 \Cq ܤ3;ʭ8A'd6vغO俋=ct`>1iȵc;arوțMo6Pv&I5P!ϥƏ.lake+9pJ^x R^6}z:>VT\[[$Haw-G5NcFwn!R3z)m (xNr.Y{=h1̔QIϜ|:Z"nEq˺^,y-'1v\]I\)}E Lp:2ɪ""Źz0[c$v)3\%Or B62`g82w2,"njnq[ezoS'_uSVWVl xIituI/<bIy5Y ͆8RyB-n`"t ".66s*p{q 6`Jv& x< &'PB0 l2T`a*,3+Tӳ?mr?$B̗t|uBri*bs$TOR4/d2}eվpE@$qSKЧEc?8,,Z_ 0+cE-2gSNnTn+Wbr!(F.94Tz7wûou^lOhFz)<,qӧ*rbҌM4J*|&-uJ*W(窡l ͍SI[m޲gLh?$<5_tdNK 2qHb*rhFLѦ(MGMriMz禔7{DET*yQkN:2s5{d;5dxSƳy#m! '"O  &÷0V)72PT,5u .7MM7T m|۟C£qbJ!69k&>?se[I9Sx>rp0ȧhV'.ţYLA6VcpCPdh_r\ au%IUaB7;ki)_yLg[:!eoVn?tPgz^y^Okk 'Lb.tK$K$^VPJvHr䙜yUsph#``zv<؛]`&}r8~{d.X״z"$=͛حPTN1Vd4hqYY 8x{1'虸u46kt?^cUӥuncqVH`ΚkVE4HAhD[t ҸYKhDa+ v|P|nQlu@@@H"*o*c^ٓ@WRX=idk[f yq跌[,\ٔE])"\`Ѻ3Uhs- ૡvC`ܲ@+-/w"B_KV}[a0pCNvB(jqd.UY{Qu*QlOU], hmvj|K r?v+P~uZ>U*㥵gV3&E['\ Nu d It`X:1*5KGfBHgA٤@a]O5M^x,S^cow"j:Iɔ޻ȻErY3f'mv1,9S|G=ȸu.x)=?{ByOׯ/]ÇĞ=mOw@رhr׍rYoxM2тL[PW,$ʹuZ.UrZ%NqR\ײ8{jt$Hp 0_o~ +֏2Ic#]WqIG'hj4 EcrZ!w^?jǗecXV{RK7~CbgDޞXڡ"kఓUj^|0jsgttbP`-ɾ=7r>_yU^E9 BaF7 =490`}<$"tu*} z:kiM[P1U8z'ԳN"4HA>{I{rq W"8:k\,2kvyXlNy- dΐ[%*QNc(aNa;?#y#R'x+^-*n߿8o$| 3=xP~~\m LG9?j)%&Oo3SD)h)0CԖb6zs]KUD Zy\џ'dLiA19$m^`?Df'Ѳ[Tٽ"llv9YSr63RFT1d4>i(KC2U%Amh'^,6NET+ UQ~CDZ1JG4g`>C)U7]/!j/!i|?iyG 1_ -׾[s8!ʘ<$ \k"ɢ;jAc,Q+u$l5xbBtveğ{R8W}qz 4 Jn-É7Sr< %Hώu y%9(6+DǁZ=r3 j(FQNվXY')@";ꃘlZeǜ߯<\{ɥiYkfW(|0Ǎ zͿɥNH^t`OR}@x!l\W6!qAxoHʎ7F@.QV˼x$(vMk>? .'k)(.E!L݂p>G[g(R6%Xt$  Fyd_8З4KPx.5kB\ıȗ-aBɀ7;:ǃYzd ǧa#+IrfYԞAܕ:)w>o?IȖ`)||gs$+M4ekj|8ƹT5$}@q;.,or(2S.<&gD5ȦF2ioS~kh1ڒAA$=j`bY^Ɂ@hkBT=L72pm{, #9":=7*M8=nS~|\٪ .qeXLt'R/עgl`Cu@:./jkPztTGb A&F.*< ȯPNP:aW(q30`4ȇ{Uz޵ OvN${#?4ufDS幁:=ZZ &v+XksĔmŤqn*𭶬#^ ~ybz]MG(+eU[O{#-8yXFi~p˯x?8ބs )![ hv0)hfZ)lS7.Č!D!6ٗxHR^im TƵ02J6T±*i;9h0Jc̪!s=Nvp G`y͌nN\D PF '\~41M!?F%F#g| R;!J E1*{nBCoIzHOU=WsA7G,-hȝQ!pwpK4'[Ν!(Y+%n@ 4Y0`0.ye=dN,Gjk\)ǮgEB iHFuf@&DYcid9)ˌL?`?PN.9^9RRN\aNdl$:XR䶳8u#,qC-SQ RgugrW`DfP-Ÿz0^0fvFIX̠^|s^¼X1ճ):8GxH ^U;@d~A(ˊg^XE vGUM‡`@ Щ_a"RɎ_?p[v# Csw%]fHe_nc^ [ :dO2jGa;`HϬN\pQPJp%:^X4;\KH"Un>T_+#kpaauObgTtM.5,{џf7aU^ X%'G1+d.=* )\T.1΁h+Ԛpz@{9'a+bEd%aDmn[pڨ׵kM!L'#=_~*uAُ'].) }uŇ ,\6X*S¢hE f<}(H̲/6+7p;UMiWLPK׎S Xn]^׀GڲQVL_h-&|oZcAXѡG:KW$ sY07뼂|cP7ؘ/>prџ[dߝ WrdyH#@ijpX&Jn2V\kZr 5/qRf1C[鏽gKrÝ5[?dOo p6Ql@3ǺE`)QV4 ")^RJTsYZI #i=vD:dʢF@VT xXedCtLO ,!|W IUQw2^;'f=FPV v0u˘]*W"*%~?KU J_2?_Yт`)iowk-e5u`, sx~94:6(m2LD鬞Ș2HTi4^6b. [[d""z԰"Wp9}ĺ>^S8;ol<)iӝnA.ca9KO5Z Iu~yZ0ŭ>6-EՙD!2T+9qlP_)sG,i@ITHJ6ëM+e/GJoJc@8|Ȳ(翸e ɘ2vb.RyIsrN zw9ٶŸ)粮 `@,̉D6o` NJ㻌1~%ipҍ"HDh5:Ѥ"`$om K2dlQ+ GWNi^Mf#i 5+%D$uuQKm!'Mu-_r?DC {$KB'Vd~;L8PXne27&р~ ވXIFz>6"Tsꌞ*TSҬ4a֖b~~a#M,E^ nzly^eDX@>G# DĉxYFUH3bL؛a{qvOK>A iV!opo@ը|1L$.j cEvi[u@n~PŖTɸu]DXie:BiX2֟vl?5ޙzj9k`m :M5U/4 99Pd|In-Gg&Zg~ӏ_K:՜,/0Ylo3=!%>{g2N82f~lc(2S:+QFa/<t_'UMBKn?P#`Hޒ?9&(Xgl,}Ȏp(s |.qRZ `)"X_3A]&t*oWc)㴌Ցy:SZ}TnBj &XKSx9pAҀ1f\A/IQl Z]y#$̹Z= [~8XQY5?1~^3Ǵj;E|ƣHuI}C+SL "RDrx_EJ|2 X {\!ʘ!%#Hؔ cCl'vmLEwNWҠQm#hu1cUV [H ZFգfFI<\5ケ3I *+=I8nky)ߜ%617%ߝ!`m:R [g4e>r J\+OFlg Ӏk%V&SB%yoxER>WK+A^牙#%%q_y _#1CcP\`NqafF{Heץ, ,=aL0Ģ ,#Ħ=$RC3ގhQ&!BvG&!xǕ(U o[, %n`FCߨjuq-h0b+AA!i}z=6Rn,b(*)/)|S zpnhQ8[띈W~>ZX|F'|b+F&?+~Ӆz{m&' ~}K5Du;Beބr[6[E̓ 6fX٬#zfloF4 5J.υ/ 5"6?y@)D(^[ 6eVG6d2 Z`?]%gJ=^IKG*t[tE&/L]ڢdxWtE xEܷiX."hꯘ,G`: ^ g:C/&E5\k&m;n.$T:2i鬋!|!k Za-%?-~LikN]YVSb[H{'KJ_ QLf~sF~uGkqAxC]8sܟeQvڀvQ>Q𓹜{pۺ} %Q5MIEǝ%@hQHX s?%k,'6)_uЊ3Q1ĉqϞlR5 s^ H/w"~m1Ib:i7i]8#\nrMd*`(̵ޓU)FE}Fȕ4cHݵlN'<*/u#[Wn*jmn۪zUeEˆ`ӏt!"Cn4|D,Oi} k ;UtԦ㓾B8qɓ*0 w(aP^3}ow (x=_ƋQ,2Cs>w(4׊̵J }ǡ3[k7M3#khM0Xa.y+g2酘fVo>m\ܧl@c]ÿX|Π8N5ЊQ(9 $1knEijMtB:XsV {ݼ@."&ts-><ߡލ#0N)&We { X5UdrqѷM@@~vL QhР. TɘG|cF>ppo);25 !]]0>afuۿ|- rJ'{'p5A]SDel, HT_s3Qp{<A'IB뻗t<OۙI!҄N{(!1@q :xPӻOL?vv'jz'@J@\ceCh} 6#B&4"d X "8du_S3F]cmNsT% kL)ZI-@,wL:5sMT+`ϯQRٿq# tC[Z3 EA %KXNjlT'\va\Xa\4Q2McqY*ӯwh Tm ]@]ێ<[}aJT1N9bq~X6p4}gw~.;goi6Mf[Js՜s6KiE(.x?ք,{oDž^UQ%et=`&_C~i_>] WM{LŸȜ <5e n8ԃ7^r#Q li^m*/U΋m? bbcpn 9QM>qM[;"8ҟ|pv0?+ͪk6U` eO3J[;t㋑*O5ux-t6xвw(|H$.=Qe~˧Nj Y4N7IC*[Jt䍶OOV`S'|ARz/4KR͂<d msöybi 9C?Źăr<_J9Qmv  o#[)[4<o`_33/Y/It`Oꆭo4H,v`2z ["0~ŷkf^Iv;ID;Q:, n-ɷYx,nyD1 )Th[͢T]cIo@xeXSK.i#l/zc7ob%v5o\ I quvy7  ͜XevNss`$+#ZK>L|-{hUm{a xheo'i!gq]&$F_MJ 'Ӌ5+D9D>ٳ_h+%T"mN5kI~3Z J )5n// l v('s'Cs^9ܻ]Aln%iR$%O3֪}c$m~=ʡGPZ3l-o$byaۺr+kn jO*xbyW|nO5ӧUHuD-ʏlW[eT ޽HLgGEeͧxEh8u:3 1L9LbP/œ_:!G5m%-;{C&I"-w(Es}W09U͐pCAB]Y颽CU78lBvB{ cn^Sk !"O7sORiX?L-N@Qa7f3o *kf=[XoŽiӷ=q1xi& <@D|> xN B$9N^bcWo[)mR`%rc{xJ05`Q,xJ]/л87g!p5'VȊg(it98 7@a-j44,2xӵNN œWσ9y}$}]S;>K7Ub}g8%CU.pafRm.dVod1'd^m| CzU݋gHFWj9J1$BiDL]LO# 7,/Ѷ&*aK I8w#Ċw5 ̀?fޯޅ*o! ד%f YcIpBe`{I#B"0-z9' Ht`U.ԵǛ!?m.|x+dȁ%Mt ڠ&6Pj( NTs+Bm烏hJ̸ytXSy2@2]su0;/QS C$)WI7o-<]cȃiüf Eh&%^ /9=>Al@z*o(@=! @xS\a5 ](E7m"=-%e+~ķ6cB4"Î'u|}4#֭W#S.gKT YW& S2_3'd_cG+T3; -;k@r)jeF?UqȜ#K|E[ 6WZλca]0\NX c>@POV;@YņdK溾>_رLuu:kQqWCjN {TECn .]ET7g p0/,_N\%4']CVNc4)l3䁿lF`qHl;4a鐣=Rw3|ID';4EDnzR-Fo)+_|>Ôbas{i{B&cḠes̟0ZdD1(S 'eVNPOz*z`> ;Hf,*<3x#OPʺ\K?%v&d}jю8{|MHם-sMN0g=f0~{)իG%C2q?BLl[xyDPdknT0p&O۫!JcW!VNf8IWz`qUWg7L&M>bWTj;у{x<b]Sn=z%iKV)EYġo M& Vx@lm6{06 :ņ·Oze)P}N[%Rh |yݜFl_xNƦW$|}K-{wsh6t,U&J,FVN~Hu)ViY&9l.a r=ľ7/Bn 76f)c@3H>=;wM 9tKP[W{ㄧ4Z{ d;Cשpfakʑ/jQ)%3c"8s݁$bI8zriJR -eÆ&EW$"6하B-hWa~:P|lkz6KWO_GZ&j CBgہ{˿:gڗB`@*8A9] GO@5"cز^h8sm F1"J2Bb|oLafCA;i1c=g ~ll V]rjY"FR#qI6r9fskj1'mdCDv_~SgR7:ݳRcS'#VhEtDExGz.2m $] 1!QzbXAӽd ;ỹRqVe5̞B1'nR[;:K5o4Qs6QrQnTS, aO;a_d$1 ^H?گ[5UrpM$=5ﺁQNQWNT d*3'dRwzLIPia/CڙºD+=2-fs\XwaH]XbL3^%6|&Hqn|N:˝>uJ|xZJ,NSbYOEfj: D0T>eI,rPwQE;pYǔjkW~MrRuSuPBWJSǟYNW1Ҁ]1 sDA~ 8 ^m F%eI;Qv\ӋI]w/adEK: NWH G͚#+97޶by+!%k<~{qn=XmIXUH3OoOq$>FX$3O,)g/FicT3#:}+I봍򜓫*d8b30dO α;' ҏIڭ% ZoäHՎd]$=?i.}L+d~˂f%ʁgWWFU1S;e7+ (4{NܲUDM"tJ'y)0*_>PD:G6<d"޹7K)6jxЦՄq'vD:3XmDmų4V¶p Yg>jr*@~p(sC&g6\V( yv<S,}p}9NBeTΙt#}uiHOC])! B`A3E3c4wT߽8u?7>ҍ 75R_Zi,7DuW .'($>tD-4pb"&k1fkU?(gvbr|1dF|,]yQ3=IP=Y^Jpf_8J LomMi8)~kU"-sA!'A~x@[t?ni-SGڕ!qղ3<6[T;]յ*ni+'vL DPm-)sCFoΠx<ȎY:qAH@O} o_M({XH5mݝL+Hek鱣"S7@%Hˇʞ;† #/8̯F2 e.!T- I11^rClE e[xUy XaSҚ`I ZbȨʟC=:jKqqսNǁ w݂'RS}oI]sl=O*ϧCvDt)I̜;7vW]TǮQ ߣ`|q\pȀ[7r|(N-nCOy'!5|do0RUↀdRNoa8ff#S8NIT9erx$ev uTa&/ u̘e~)#OM88x3yUZo4*.<$$72>N!}u8'7<8F6Y9]ڼ]`|dLhJþ)^9}zx岃֓7is$qgI( x 23ep) gh~X$ୄA ڦJ܇<#C ֞v_.PGTĐXC t. Db ؚG3á]K6! xZx\ [ bS,B*4L{2=Ȱ3Ob@6dso⽄wy>MU 9gTxw O@ zFb**`HNF.7I)z hH<ubz 4XnzT݀8c{.fdzW %[k6PlxZqgj#6d^Ѫ7^z/U"vD<)ŵMG"wլ.wobǞ2dtG9bLcƇEw½ @mrO̧;UHCTX& crɿR^)ƊDIλ[4ۀްw \5&1pg㻎% ?;.2 rTFĥ*_%.Ǹ;=zH|=lj2 sIk ܉D IظJkƂok^4J/CT;8ߜ"g@0ebuP(m$řÄEWS6cQWYb[NK K kgNwr8}AKٸŊ]' cXݻ"2^%Q#*yt|:#NηP?<-b4Ni8Y`X.4+{MX'OnTf@ǓFMDKsIWCI2z9}+3\G=$&7YA%s'Ib+FM!T W@j"i y׫]M X䫱Z 9lC>iM IV-W0|ZM覺]sAa׷2 괲L@lA!ID3' FcLx}W2 D#ѩxdcĮr!.ΓH%臝ĝu Zxf-HΗ۞yQ*<|wHI_63\ǜG~U`l#cYਞ Xa럋3yƝbbOUSiT~IW6H?2A".LA,aOژJ N   ز1fǺ22C ڐ,l_yU[KMIq"a@v` BHz/@L]eJ$C〖Oo:}0s9kQJJ)me9jy6dqnYWlT ȗb- -,,Sͨeۛž_I2:9a1 &<I(EWgӘnfCdد=L.E+_zKy O'|W ,;֔I䒍 pM/0&6Uf-{b#K)xUPsTG#;+p}6FqY?OK!n?ڥ BJ17-YYM͋iF/7g9繠NJlmbvpYrj닧ӡe\6`E袱la&,ڑ.6]Z D%(g%u9 }-! Z}[iKI,èJeŝR9^׆ldIz>|(XA1_#o~4V0G:e0f:-7_vVΙҫ"7m-0|?ABK>vtR@ !DPy|Ӥ|^b;xXuUlGA#6c [gFog:v+Q Q^}.yH&AeӝMOSAIgѦjqgSh^b׻W~TeOWiac]PPԱ`wrН> >Hrv`[dִI)h%adYw#N} !N)oBȴ{ b$~貾*زአ8qjɍԴ {e~蕛F2R_Ou8 zk ҷJy[]x8Xq^Mq1YPQCiKXj`?̀ 'wԥ?zfHYRvUqq.%=e$ HgzeG W\d"#6K *F 0 Ю*܃|sX,9>|\{BVv^8ƀ V50Q)@e8l kipqPHȂr}whw5Dn]Hiω@/n6[nϟc[@B/; KƧr%T&(:"=LXD!GT*- WKND%j8oޭ_BQ" ]X% T0x,f.RN\^cN<cHtVN̆0,yzOYb#?ՖQLj*Aff !3I > Fc $j'@>jtDR.ř8Zcoza1]q=`4 /@ShbGL-܄m<,HRV/8]/ӫ% ZBԽ &Tc$klS菺B tE°jZ[b'ߝ2GXŤANK oWж@މ˂):ʺn dv;KމBڒόЎl X9 + Tym7y`!: Bxk9|u3`MbJG.q M` g6$΀830AWu3rbۂz['t mL2g4y1ؓvNW(bID2;(B.q NnK&q}XWf?wyKp{$VR,WX+KɕrZ@+P8RU9zkH 9Fo!ZZ tۅ\TME3.w&Ob'卉`IR4?, Ș9E7͘B4@fl77~{(R&%ɪlw* `$"~soȥ y܅fyo^^iEVv]:ggA+=)6[| agKr=CvS4Z!zL1# e^6j#XjT0CxqMUR9'M|%jB2csd$ Yf1Cv$i1+FL>rob b6޳+v凪d(voǍ*wʳikwb@'C|jrkɴ#*97\ v?OqaMOp&fgb󤴪A C[K=:{<Վz!lYTD=$[m`SKmVe2rIdoy.w8FicZlgJg,3#uRrqze Zd}E~̐?TJri6Ǐ6Q@lۉY=/x IC%BB/)ʭ4Ʉ|Xg9H*9b~j$pkN'GOHص*Iq[ 6#^yv̺2GX8ZW4 Dd1vE[(bNuxyEگ% "VOPϨvxMppKѴ&/1no \˙AnG:`622wCh3KstfB"}ny9ygk&+pjpyT՝'{yLғ9sX΃ĐUdFIU5׍3zW`E (Tq:<9[ Qx ZH_`XݍBlFM$aU~q,H+-ُل!lhd3UCd=: Df*X\5Iynj3CXA@==|)cAhzSL8).9 NFk&=~byȔ/ U\KmUl c 9Izס,`,!s 2hVd*Rܮdur=6ꟘZa@JgIp&ˍx=r12po%qz^?>Moe%<P`۬q)`'*e.LBzFJ\pOB77JmI?<&Qf`s{1"D_V=)u)KjS:ivYlS IUPII=iVH^%0m9쇛N_ )p8v̋[m:5TtfVR"φe)巙;"7L40T:dB* pHՖRiZLWT@&WhiMtظὣȣTe.faDe6&=vBs\za3P\Ok?ECyu޼ erE\-?qd5$\:ՎTH65e=[vVtQu \HH}fNw=F@TI[nՋ"? kk<$2YRsf'% }ݾֺˁYځ1d1XmF- GTAUpɎL<5F=ph"/ *!e,yr_gu wH1Y y$Bn{?(]ҩMt>wxyszKp7/wq v)Eqߒ!CX-2+2"Rh8ӌYƇ)"%\a'aY/"l Mn^Ɓʎ@$xne[YXϰśAm RkTa>Qu ;-^Id+c>/\>n`')zuB2 ;ʡL 1 XPPFh^:J\v9y!Llzji,ڠyaoMASi`?Bta9l.2אO3IALpZg6KFz&VkLjItZu[6U,/;)R;™U ĘfT3l YlAh+ SI~~35 :S/̖MHZ{]J-^{BNu8UvI|s2W~Mޛ1 ]Zaw,>WAc?Cl&uⅽ@8@sxTX\}PĂ'[ao棬Vׄzy@n$k& * V<ɟxvҜpU:ӆvɺAhacz#gUb\OTjEnk5Pu:Y8 h27;{JIc?hTauTl`N f-PyXl7۟$<ô/6+ DpJ$JZUݧ66(ދ%'`;lP7i E7*Wo9 # LX𘬚$ɰ] O{ԚI?Y&Q*G%00}!tt%;tXPb赟qB SB[ɼ'h[c0{1~ OpmE)qή@ R-~LeݗjdZN(

WAyu0a-." B:%+iyQD܊3'5edqRzge3$$Vabu;YWXXu=ք.#1b8iŹ G.\zLr6Īk?ظCbaR *6staiph_sTH_Ź߂ZaB*>_t22P @F-U2LKLiH̝o"o_c569a?F#7 ̔֯ǫ5N/~.yTL ڜWܰ j0k -apESn㈑ʥ+,:!k-V2w "Vz 44 Z`abcB^~,p򍁝#$¤2vsAxrz2|3zތo'qȳPڻ:~x?ZJǶ,(PNk[&H0uWs2y:G7Ͻ($v[۪9GP^vO dZ18@:a)ܻB, Re*3ΥcԗE#ϷͦK5>EU&Zj# DG嶈yI(`?xBz[ڐ|!@_2 HS`zpa\%U0HO 0c=;g7TIkSnV" /c4{#bh7MphE}I)- α._Gh#]_.(; g_I i#LhjA\ "} A4D"ua" 9WdKX}rD y`Wx&z ?;4?˷ۢ>T{dfFe#椝b3lNDEe`Ы pY܃-*)8"n,\&[pzP×o,&,U=F=djFT$XA.;X/}},;l3 ?[P$ףnh~lT& YDŔ*nÛ]]ol:qx9k]sՋD[JL Rq&Ģ(Dp_; Bѫ&/k+n0EXbtpȽAJbDoma_e/y7xby6|# tadwHȏhM,T9e`Z gYb 7Xex'qCQ>9erz$GUgF$_Ң.|`EHfu#rn2,lue<@fir~&$o%AtmpH|(Ntj}%gLTx>8 G lRl AIO梖p YۃQAIHޭí!{G6>sf 'j]Y!# @e7{*=pxD5k5\ҒVzlC}Ekz׶=^JKhBQ2CI;6suˑj-nҽqq MVC?4.]yo3BHy/K0122TWkQ^ǓeY 'Cp#HNTvJGb7/Y>$#*y+RG{w,Fjd*P聊,9e"wPcǽO^U*܈MOX+MSO r>XoxL9ѣX?ZDL?{K<پyxKjy?6sT=N䉋WKvΛ?!!;W#G2kU Dv{9-(0=gnFۘR)3*d"^ |ZFo{ZظdT3 i) `42m06[ne@Յbg=H l5xjZ$^^,F%-:0ު(2b4ӈs &&9\O6l%VVf@oUkz ^*ǥunwa%vՔn gI0sw;Fw5Nf5 F.H˄a;1ľBg>ڠ>)f W/PhrEXY ('iitb,x$N7~ V(ڟ_@= ])DI>"hW`qц%BԾ#G#r FG\٦@@[eg.IS(NK_XZ4Jm-n/6XYQl+<, b5`=$#+t|^qC&2&ÑWCd7gz~ NmTΡ@.x}{њ%m]άB # 84s½~(x ɮ0=Ƭ!@6}cWR 鍹x߷{]2sbo'sFc4*HAޡa;A:bWuLU&9E3N;*N>:,:5 Gݺʥ;0@Nk.gB(6| ߄doW&&S?BOjZAb