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  `74 ]/]MSO_Regex_Equivalence:threads=2elapsed=860.620cpu=1125.252gc=49.392factor=1.317zXZִF! ො]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk;>^vz65;t48UN1$Y#G%^`wh9**!F;QGFL<0GFh1sfjg re~v! g]RZ_^!ݠȍ-jI"%-=鬒1-CM -du~eԛP)B6yt!%%UiK.ehoȆ,t|1a Q6[>wdH?J!.B ++wrߎCzm2mI{3n%YVwhH(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 6u M   6 ) $ pQ~ B7C%MSO_Regex_EquivalenceHOL-Library.Simps_Case_Convdocument.tex=79%MSO_Regex_EquivalenceDeriving.Generator_Auxdocument.tex>7;%MSO_Regex_EquivalenceDeriving.Derive_Managerdocument.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.tex@7?%MSO_Regex_EquivalenceHOL-Library.List_Lexorderdocument.texA7A%MSO_Regex_EquivalenceDeriving.Compare_Instancesdocument.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 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 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  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.f5: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ϫ H0eRmPIOԾ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 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  +7;% 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;|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  ?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' gYZ58U9^j'`:q}r?_=@,"2͡KIsvd6 r\`mln$55JD6rl $@G} /?kJ0d}MRz%bD>G oD.v؊_5{SuaJ$UmzIsQ.' *KUf,Ƚ/X.՚Yo1>(U^F6h,\c9/3? e[a b_ȯ8ibK}Oͣ]vdi1|Ub4Bl@@s9b̼f,WT{86E>%qh6TJ6}Ϯq,1vP~YA ilcAR;kd)؞Ŗx^ s %cxIJDe}#{ -a*'{!X^.6'iwBq#}1%9:2o;wÍs;3k*Ep`|^;w[GC/@AoZ $P1 o#z/ ]>r5 q+ XK!zQ^ rڡ3. 3 3dwPô֌,⬧O'Eeۘ.V,da0svm)D5AgP߅v)?=b1"~4PZظL/~\M&P1<nSsBKVO1&L^$>]jml'*K lI"]ud XPFZ&"0Æ_0x6D-Mt?aJ[fE1cgYZ7zXZִF! ]ŗXiɟFTp>>cP$qXLE۵Yiw2w%Z4E@wQ~x5優O2=`JgdžBIoғGF^qSڅYg\BWpWa0ς_ S¤:^y ׄ5^/Js\X4`Kњ%Knf&aRHW%v :G&'vjӋOlLj47~Жܧ4JrEfuVF\࿶(~քX:n! ounkI>G=l{\ZK_C&H-@0? w cQm8m?_fݓN| !/gw`>842+58^@~*E?_J=tʇZ7N]0Z.~U7?N)c ls bCwINe cɨTp(ˣs-TL"`J$~Q0ۉWThtO'˳O2,ݥU=FUC}'ҸBO32f1U!oI 0Fɇ1Bg4_1~MG8CZ& &1f1gYZ7zXZִF! 4}]ŗXi%; f!PN[P`Wb4L}R9xtZHnI[tA7 je9Oo  TNrE /6frR[Ɠ"h[4acq+S)Q륺Rpb|}x U*3^RLсɝKMxMDM1>i8셓\U/6LviZ{Ԁ׸%KYґ['eFD|.A 𽠉}}&t0Z_{ezl~L6c+ DaOo۪B29Rd;.N%[1띉?@cԑ)Ǯq1 8Cj> MHrgIPKC{b@u%Z"8]yXmO]1r~<@U yPG0\lYZ=jfdWX ff]wui" p>g}( Xf{}#q8ѧ 2 2S.Sc$ gI8J(O ?E';Fj'Lvz_ 6Ap:F>xďzh2"l%6k&7~b@}wN?,oBIЏx("S[Ջ^1? :\¶fSNH٫+@82|lƐ ^텱U٢ >(4V{){#=t~3I#/iPzIl49[Rބ@ppdc*;ΧʆB7T5/JdY젣;S=1x_9&jlpOkKYjإE7 {)`md`V5I q@>2*-hLa LQQ+gr̊S=/Ay8A^11ZkSI [=DI"i?L=^'L$;^BLqx-K c@iw _pJbv^8؅6=]GOQR(,N@aҩ?^,ѧu vӮhGpq{NRA?L-ƅil(ƄǖDwG+*pl븼Tf tD$Z(SDmVCx*rfS)WNfRԪ\2wID eH$ڑaF!蒩.# 3uRJ2UMI=j9ŢXSac"FpPUZZan}(|ȀsMMڛ/8t#Zy~Ǚ{ww:.3\ NM[*+"!.N;Ѝ UO Ppl) V16-ll/Ƀ qnnoҶĽOtSǘK` +!K}"-=e"lM%k/:o "AQ Rr;[j:k;,-1AG$ 51!R;}#Sj, L48Eۛ2Jve<#l0a͚ 3 K)J`~ &r߬zU*=9 K.xZss^,fA[U /w0@[/yy}'W%&ɾ7McpSh؍Aأr̦=pNe/\ qhYװN2B8m#IpM VSyqYLΏ_|S9z4dcSKg=L|#:Hҕ*h(yeCٱG~G_֌ViZ܋5?g  |F x=*_-wYJ$C!:i%OH *40'#L/YLm { #@0=S GN"[.M8M>RH}7hTtрG_jB*_ǒjJd0#qMBu`Jzp!4B!r 3/H'! xZx[v 3jmD>]!+ْ$Iy,g5.cGxZUk r5ۃd%&v@-Bw+rO#mv]O r&9yugCÌD9@_É %4K>ɦaIQY}s2/2NW]ۚU[`*? 9wdK;'!t%9\5eY2['m>>^I6n Dr{h=i[e S|%yd-l/xG,݀N[e NqikXL+Xu-VF~qf^3#&e'`2fb*dxS%Y\ Q '{HZf]s] bR+6 Ko Uҳ9ĴY 8 tP NOh!$avdHQQnP8^_N B4QJ:: |jƭ<;rS>0)c4!O(.8W,?8V:O0סּgnU>] M<56R]rEr]IVE&I_:L~\v^' JyZخ}o͖r)u-:{l#' 5%t\W*_1q$7TSWX%71OC=U4{4{)Y!<M Y첓l4DqӽBwx)@Ǐw+~X'ց>r9\CQ&˂BVۂ]LcW*Oq Pfyge+$3ny^gmQ1YTN٤]pm⤍9B+WizP\95i/[EE\v܉yӁ I*Xꮵ};|`Je@kY[3!:N;w^(RW탇i%o']'B)eL#V豑~Z罹 U8arm8TSۨouY^tlkY[Z/5$~Uڧ%y j8)'j ԯuس)b̤W-b0B'VCs"z||^0o:4yN!vw,&=p/7㭂f4ց˗ͣ/ p<ş]M핳y2muX+ =*M6boa2bl`eG#.a 388)1M* %^;~ T_13h WUq *1up5'JrmOhjUhl/<4o:|TƷ59 Fj3Ԋ)?_^j}i[ZP5뷯--% M&TV,ݒs!P̭-x+g2{"zVUh_k3/P_u0 $Mi36`$.*PQ*!߫僥vʚf.Ȕ@Ѹf؅ -HiIm1m" k er7:!Q Aw|A&@Sy;pS":mTNѶ`I92汝,~+&3*δf>1`ͲӠ澩{c 8Ƌ|"2wr't =ՈIkj x4$9$g$ۉ7^Q%oGlun?y:iEHs6!wg¶a6Q*S}?-+sd,OdI'-ʉ7 Utݷ!=YLGIKn9|%Pg_9~_.Sa)x{JeI=whdq՜Eⴄ9R z>loxxNsfMuncZFf$ -nN%nxO9QHșMם rcq]REڣw7] _ɀ?m>wȸ Tf6fjF]0IasڪТ 7J~P{ƅxƓ|5OV[ "_nAH9b`=E#p 4>MXwb'diwutP,N&E P}ө7O?M-]`os@oyyX`! \Śj[ow>WǙٽ>#i-Q薧v%&s3MDd #A|eǶTߞZs3л)wqS]hs`=Jbeh2üx_t-NnlCd{'_yq0'TnԜxŇsNdH[񯐷s,+QR \{?vaOJԞX@'wԗro2ئ4@8=-wO4qkXI)xep*z .r8mN:lԗhBāv#ҭOdF/@z:k)wI+ϵ/x ǧe7F;&Ǻ7%t)~ j(aq޶rCC'(nCQjml‘@Ed{}P`KaKVE9GLGEU; B좦d`u%XJ"ҁJ!>&WZLcW_׹K!`Vzt0(k)}T^*?@vFo|A+ႮB=XSjoegR4BR6 rǽ gӹMs,<`{kA9FccuTѻ-FeƐ cLŞktS~wu(PTPrJd9距;M  \r#k-qoJFApދY f^Q7OCi޶E"93| B rlH~fm%tPSܑ%$B'e|K8sŻ{R9H=4|m?=moW=jt bmC{Jjh5iGו#=59 _{}98=bJteէ>,W,}j[7 %Uko RmV}ɍkiB6Q9 'A8ZsN^!oF/xcC$crAA@׫<&y݃ǼOQp}op@|xKsNAjMrRSIiҀOr`y{NO ]a~yXac.u޲VJ4h 霔Vd&;82wn/=`NMq!І=>Xz?$M ҮߍլźO?l"!˪M_4i s|ƶ+-H%1{G/rp=0|,oIޞOD`YIѪ$\3DZˋh+ZBa \׵"QB^Oʷ"\姬FGj Hpz -ԉg&.aq% i+l>!cK/xp l=*yj:TDH#Bkp<Ƭ,"=-ԃ_W0b4DGC5p&`NUx8Jw#Vu^\^0n30 2ϐ*)k575~g{GoLL]aEEHdnI |6PL|Öh97+9[2vH&= dEyрn9SXw&h UG@upTO0~ZeDɾə-Xk}d(I4}[*}?Q(D߽Z%=Ԏ+ƞ1#@M" 9"Sj9 0cM~a HdtJIB\D p|x=C I8 ^NhJ.C8*}Kjz:ہONцJSW˓Fdx/d]@$m8hP;Aj ٧!d42!$VkIcD`z)3*'(@~ɻAMSЮfYm[&\ﶤCd,2r*L˺Ju*taYt7wŰ IaE<.b4Ɏsx8|hC2|0-\ S9+d p {eRfTu Y,O>#(wۢ^gg!EHj](BV.-Rs%Fy+a_*5OD4)7W3 ?Dㅾ:e?(,5{?3馟*dLhNѿ #A +tjr5[lم,,WLs8=TوQ/R8dG4}(&̹H5kMKî>M7[vƚk}s CT Zz eT.kTڔnp8Óv.W]I$k w2Mv|L>N8o'OYg[EAq:gH$aȥFX1mƩ7dyk7&7XhM#]#ݦ<3A  V|gf'G[ɞo , fO|ޞƍf0ZvoV3D_pG s[* H!3p\cjLֳQJ_o]rȥsSuN/H醏L6i*Mm?Q3u ]HAH㲫[߹/ #7,pr3<2lYu+c=^8AzO+Wkc ލK_bagϧB`MМoDI6"MǸ7xKVvvZi/Q؇~Q%IGi޹Z']ߴKXa%3NYS` xPs(d3xߐ|$-ly{h`ѻWNm+ QN |L!!@:rȩ%SQ0GwV΋SOTKY8T`=!U?V h/Gg(m LZ Yol~M'v)M' 4^@-P=6fQ?޳HhnvGq:Bkٶlrk?ff X*6"jFZ3>3F[ZծO;,<&lJќ`=vl)/ -؁nsc%mYά$MbLsIֻ!|>)uB^Y"[,JKT AwRhbs|N.U:fknc";vcQV썮R7@z?b*:ipd&Oy=Avo(ZHT}q<>渃I0'=qOh4c@)vkQ1P "ЧsO+OSl 5{,eDIq̈(<prķQ<%uѢb0x5Ƽ@8_'1,I jq0Hk5C#lew%SXLOp2k)j =}sU@$d}5vnWaR^릏[a~E,tJovF;M"V=92\wWfwgW|{-)Iv4" yAE]jyUTbu-f [Ӫ2Si8,&%';_r0{z* }H27@Q[IDϓLofG.<2ePo|e^&+)꘡ޏAcs57RXm1[]~ RE|8giVHK4:OHo^ڝD(EWZ <|BzMyb-m$K="J=} v,eUvr=K@maR`F~|m]I-T&(R\;w]]}^k:r '6} -s^E-3 d}qv]`yJn%}tai>\rJHGWFq>Bd)g6y)M!'z'KhmYd:G@Bmn,̰.N @U ]]N@LJQ"LŬ!{(}ެ ;(kSIRGs08Sy%}^?y )[ߋͲc;4dy xPh=>}(>*밞cVf9'q"(^pv6\&#wrj"%[NbFI(wAC4*<0γ:6 |A;*z9;$vΥ1k7q+Pqu{e*$?Vmi8j,OuL{Z4H [Ғ[~N_[h҆u);Dl>lY6;|+}KDjtkD>g-Z 4 a QX c9k6o}G[dRqW:xOlMOTR߮ibc. OiHFHj0(D5(jO * &tJoWhFŷLR?7溸aٺCq'T~ˊf~%ǻ~vU;0vv/kC 2v!4Džj **QDpD7ML,Plzo 4Y>>D"hсVqlPylEpBBq wPkib/0a ԊޖM>͗yv``hk9xڽ@u60IpdYw-t)J8@Ë/a^-b'qÓl7~G `gG  ^[E(-3oMR:]䋰Xd@ЩpL:5w$*Q4&TnN%Pvk hվpm%D'if*zãZILWu1 ݾtõELuWs9UȟωM_mZ]6~Zkag&Sf 7Ǹ3d̜FVn)8=Z%(/ 2X o3&ԯͪx&S^x:Bjㅩ7In0%غ44vkV嚪v1Gs[%1lTN]z]C!9Y rqfu'ЫjԌÅyV3!;w=$6ymT'@ tb.-vjKbҎH c7 cTF9mV,چGJzeLO"vV%#ۍ@gKMI^YXH c'R(O:d5)GS~50~)%[2WUB\,rk GfjX|s\n  1r#=u z嫸13W`5=wHKB(]7~&l1Xy_ٲ|֊~dRCOIu,3_2sbΘM(j RUU茘SQNUQT{ԗ5kYAQGeQmvwyMVUڒ&C-Ѱ@1Y~ k4 QKBbySNPw[ l p/$1_Ƶ*L1ir `C <ЎiPu1n::L}\xh2{*M]0{ m/8dhKp3p) N|cxKDj|\3Hs9*ˮWyõςOU).OLWI\5%&ڿŨxK|w͓v37hIm3.m`_yi>Y~sfouXDCփ!ǿ2p1lvɀ[Rd)saù)|?Qω12G nGb S'i &Z#oKɡ3ϒ>tZ: Uy\%eж.mr2 s֣[f'1P&}JJ풍 gqɠX!RLL9Gnlru (oJUsr/6@rJez?4{%oe{I+iU f @N[adlZ6bLf1L/FI:nZO'k@wa$zD 6. ޹e4m͏ @kX*N- XIt}5@hpl@\ ~O8:,q +{ ^V*;zJL<!oCiװ x1 #ү-*g_w!!5%HSU&%+ֳ.ؐ=%VOhӴ?R>u, Caz- bFC;^VJV[=  3a>}ii 2!Mxb΂ϣrX.Rmz-#{VZ8w0EjЬߪg@+6QüsLnM!D Mn)~d[$ T9+ͣ'}>9|@эyB9h8eKRXlUT}/n~ f1zATK0*@\+X;vFܯ m-} ;%_6cQ/N`bH`Cyb uHzУoz^#̕;w *͙Pe5qyMU ((w2$:/ fo! sh7FtVCԡ*:ٜrDIJ9P_n=!빔D]{+Vظu]vh7#D%(Ïw\PqȐRS~\b8>nq{':J}Hڵ3PC8XH23\bU?stgN؅ \4+pO\q7Jf\_jI@ƶ#?G1ïH' pYSa}csKh+TW%X:#MĶ/Wƕfț@Ok;6jI~$P(1&4QxdrF]takެy ,etqj%t+[0 訷z?/ K߶z`ozph,("{^w`22? s-ehɥhMkQb0k~I|(5nΣe A`^XQLaSΟ2lKMi/q !yi\w;7W0Gݬ;R$q𶮷_|+n>BB0Pu/B~-bOkv!`g:)%;2ݛʾ#n:0Փ|&Ǟ\R6I2 _tS%gM=,A,+)Е85mIo-n k:_ben W-H$Sos=m|*GsV 3%0u:9~1qb@Ŋ C/a[NA6+͢*3 H y [ak)`= a>^f["O@^͞ GIew<Լl]jx;euʐX+E|$)|inWEq+m O#$-' É"E@%z&.ŭ{uOZ"g>'#MV򵸇;s ,Ixxsz{ HM1)Bt_m9~,ki /bE,oCWm]r^;ky4,stta;cW|SIIvY͊*13vk9']_yvOSZ<6q*L, /cm~Vf1œ*5[Q&y5GɃLCP9T1]H9<<7- H:듗:xj:|/*dBZV6 vJ;":+&6vxU-חigU\m?JrA;1,Wi]>߯@Ļc# O\;at7alܩ\x&0]mAKb'-f 6ߦ QSnf/G}FvX{7h^(0tl }Rw+#-#Wj@NZ,o_|'=qkQ-^ &"HA强`DBNrw`ICFp-&$38ӋMN/Nt~5 ױtp&Q\Jl6BOSxuYskޠQ HH ~!ƭBx6|:QZ"N?U2wKR6lk/'Bc=a?&ńH7I =Ňha. )/ĸzc<ڼuV2pI;1Q#*i wVq҈ #iAxpP776^kЍX\s>{9juHRmzp95DOB4,FU4]L_{Ċ=&l;L%Cw{4*tʤ"$e3dW(|~0ϋ%@Y' O/˾*=D|ƕ=XPq-3߫e#gWj'S}#[MaeJm?۱dQZ;UƢě.d^QK^>C:Q.`V);>j)hZBݠ/4rgO[k!c05.bVƝP!0sC{-T{6yDuxH@٘b3ecp*q=bCeZ2@#:F%%e.">R]˻fHW'C+YNŪ?7S9ξ;9<9_]%wo "~K @{jBfB* %'*.@MR9MW2u^'bInw/ V0_20p{ѳU'~jLT152c_ m3CS3yPv?QHI#eWZ.вQE)$%1Lr_4}l"ơa}"?D>-m-rub۪`K)Ή=.&JφCQꗤJ()8L^rM% nQH0P !PF:r*+`|3?VBU[^] ܲU =U[Pwk*0v-9/R` {Y뵳ތ+wN߱4O]H;U_s9o{hpnr?[] rKЪvP[~>t{rcNN.74R4xU{O?s_ /!WV0i)o498;KEy@H)NR7:ehtzU qf{ͩfqFX.gӸg<): eIh&%|<VP<m\^-\tFQnbC&8DoM_o0!Sz.BVcpZLx0QxgFh&y{G>1 W9IڼYzo$th{jHYPq{o jפ4$2NL&qLӐ[E4ӕ̭9ۡwqP;耩, gRg+Lȁh^akbZ箬<8Rk65ﳥSUcn6ivu*al8A<*Bf8afY1R2J n$;mmztbܥe.=T7uHA# KivꭨݏPGYn+96r Erklt ar϶ocgA,pt?Z?gh,l!-.D _M1)h87_)>g 0Rl zIknBF,1N(49ښ؟bوv/?eåݯ?o#g!6R9ח]rۦߒUh@byEԯk|,"s%F@B&1:>WKm4gt$S2,ab&W -fO;NjnaemD5qN%#O7CJk{RvXcMCL@$*D6Ӛ^ﬢ_ |i:Kd 1ɺ~dR"&Ctጊ5jZx=k QN&ZDwy-`:6Fo_!w Ahr ҰMR:EURl4j` ,޹4o_ L}fzU˺e HYFNNIosEb WT~h'x8|eqO I!:jX&I&$HQ!pǡz\ꦉ}wS1,d,&tpf|jY*]wՒT5nT<~ ]qpa/A?Tms俎=d,DߙY}EpQ7+]ts7O m>:Xya^"'h~tV 2>TE'] l3fH,tk.刮kH5^pQiHY$YkU4NXUx hHUd_"~쫝xٝ`|ȏB>KeBQqo)t '&x%X 0i}mOKp tNS5Gc`~mсz.p mr}t S w k@m-<sїę1*6hvHQj6u$QC)0l(T}k0 A-~u7N*1,˅U?C% f2cr[6~HrKi=AP#3!P#t^n~60u3̉ o8zR%bۄ?:9ģ_@Ok,u3;J |.p7 Ici,?J/yk䁷䪸PT5^ūb܍[dwYr7.'kp>(!a!Kg~/8^a ".eߝb¸Xsc6K6 .dJ]Q.[d5LmIOkTz ?=jਞw+WBm蒄Է@dQ'0``<'RQd{# MFx!+ JdqaZCVD\}"4ff)j:u-IV-)E6~3۲8EU~#JnL^ep&Q5,D?r Ò"yH/.]1#j> u7&$6$P#Ѱ @"ݬ1k֠AHukLz\\|P7,l㹮@Y}'$j?2^q_S>yO=E\Q~tƌ5ȤLLI4@ŧeaPV,Q$\Nem?Ṁv<_/;wۄ۸:ohu;8&*6<V $Ȫ|_|Tُ/[uϭ%ׁ~xs˦j!-AoWwJמ%`ΥFA:S'N_3~Q'%Wfub+8nT7()/ MVum%k T _[|xʹt+ڀ׷uD}'…:4ەW'{@bǚ i4 DEA,q}Ĉ/.a[%P -sÉTٺHhWlR fT}"XJ[zVNAeŊXZR0^8J1 N[/p.gtqrV bL{Us . d뷿)iPn*;?7!8jsZx].9}AcU9ՠx;}^t9E)n[]+j0 6#$K:lJz_ MBnR$,̵PV{#:7t"\p?\e *W_n&-޼Ńm&NrᘳLˬ7PL8F3v(i"7 7#!P#mxfˏ>籴;i~0"ʮjn6C?5z4nTctƾcO A;Ɓ dGj8Γ`|myzvRM*&H( 4h/so}ZSsv悾`t!?:/ͭRpgN Aru<PߴUq"Uw#AΕn֮6wj3%N2Ɗː|w/"\Zؗ,"_Y?Ϧv]i[fV?)YdWy 'Zb|njY 7N}ڡ1w;{eڝ}]i/*Z`kZG1uD[d 1XN&sQ*; =P;I2&ҋ{IW:%Hmw~?9xkW׬!Zo{ \߫&gwy}.2 ZL&VVDN)MH9w^fXUk\.ȥ:@ @  l7a׶K]y]2kU҆ݩ$`S*^()Eo WPxI!F(MCI@Xrс`@qY2 sd"9[_hHz\.|L11ʍAfc8ͨRzze< 0Γ1!YڿTq7.wcUMI)plsEaus8팵yuZ$!=/=p*E0e‹*{^ s@Y-l>iÃu32("z?=qiP/qOW,s<ROcsWp1Gz('".]{LPR#&m9^Q~1PZ@h /Ȗ3/:댕pda"+oNqͩ ]x`ӱVsȟuL jd 3l75J@#gOzI)g8b,ַ)L|'5A,7MN؁Zϭ@ b7- y=6)eUM4[>+0Ibn}:tE+w@ѿޝ^x.>~GETT FAvs&)>l[Ao:YCI: 5!jIۥeyf7t * pGW脩UdO}S)~Jj"*'F&Ar ty/%n0VSCe _Y${ZXvQ2*MĵL +1!g^.!{lJsG*$[g*1P-d̗m?DZ'Oa|*?JלxEpDŽpVs4Arb9r-uԸi>@e|MSn$|= bQ]X}P*d<>~6xpc5î:ƷfCoʣVG&I}m[Y7(S7v_7x 9ak[/.2(] M cq1gxOD(6 +(E;ս_듩];({6k֠VjJ^Q_*Wm\TZA-ɼA.)`z3a4Fr|tVRo!'^v~j-xqڙ(TE3!q Wj Zäłm\€a|j.d+fwR'XXM"bZG.ީ\u%D0xqe7݈Bw ڣmi0oQv_$F <ҰlDLpܟKk'odz^d8962Vc&QR4 |~n}>!g6U Uo%@o<_Qd̡e(UM ?g~D(/gI&uv4 PL6Gxa HW4OB&Ǜ"TW[ou_fUS'S4e<\Z~RX bZSºHԕk}-@1MhBfAGo> y@o6gk5Y4W<> }DtNjir/XEQ30q@,Բ=U 1zDztx$92뚛$D?|W BU^_d.#'$dNr4~:G" 2qD|6 6LM{EO^EsqS֟ڽ,EVr^&䓡kmStfQn{v(YP>.=F )As?_꣗8BX ^y[<ǂl9y饘+>0bٳ)ܔ^gF TpO\ :b9il%y>|WغE롨ZeĢm"ʾiДRpu?3b= Ƃy:Oj&iZP,I.&f9ixP9S_CZHA/e &mȲ%p&&/ I҂'JBc}AДfxV.W9c,Dz6OpTPrC]BM<2:/ɷ7CʞeN%iq/ʘO_?Uˊb:'*2PȥP%XBCU3:+7fm5, *w(oIqa`Q\[~7#5U`;E rqO Z7p2 `l+0r{RH~P4bVFw%^),`aьx?ڈ?4 K{O3\lOz?A-9/_.[խ=qQm>fnkn SXMd Q<'[= ;g_ujp#*F#);8PSy# ?~馁wEsE~ "%al9 -i=˹N $wokOŪx(26<`я,9~PN֯8RzС1SPĂ~kI|QEM3y:,Dջ!SESa$g(YhcuUوh`M!3 ɴ}Ƣ&gxHAHtFC1+dV4,sͻ[̙LL[T2/T@(OXZXf {ssB*:{  DU^5rT8,~GZUbXd`'L1Q!42('ϜQ񧲧j!<2{R? Hmᖫşb`6->l48ohf!N`Й@KD!4 nOǞZy+1 ቾ )IHob."tdOm+]D8N$HlC, goM(Cvk7Ko>3OfZb~5CרyZd 7yGn珮ox؎̽0"&vFIvR쉗޼X{ Ge;Sq-Ch0+3%WnZN |K D97k`˩͹EOUW[Åi kgvs+5HdrR?;yaYx^ƼvfJZuAcn>4:OX.8 NЄ~w)z%NsS"gU ^|i !ݱB>!_Q"-74\-;ZrF-eDԭ~_z&d,`}C5:(ݰ) hT_hi\)hF:*9в kG7z!3fFH;96E̻i^GQV/]b&Ce1+>E`!lsm iPޚz%$[^fr?ry{x=1cz]hyW @A PK#82/\Uq;s#bkV t4F?2ʣ`dζDۯ~h[?rGh|b祱6fI\Ճ:N ,EjkRK_BX)$+E5hL:.Ś &'Lʙ:p%g?%CB~|/3aydZ(Թ&z{Iۑa!:oGJ]3 3GM1ir`xm(2]J )<JZƾPet!C5Y)GmYJXfVI'QdeDiuH^8UE4+:5.1} Epc2dG } p+8rM:J-bƯz$ҠR?*<Ŏ$ /LxM{-Z%'LdM}2YܝtK@Yc҇!#*jky}Q^AkU9O9ЁR/k/<s9{38m#Y_Qn$Bɱ6#Z5s:DNDc$f/@̍.Mz$x-x~WR{~,6p0Q/݆zP2|i=ʾ~"{ /O <>5%r+ r_6D1g2ʂ'Rہ>Ň$O[Ce^V 7f=> <=$!#,YwqTV (^ԭ/T*+t_ĞC:dc@Ls:)o-9"\F.&L2Nx:q;8  т1,I[ ͚wâο_e jBG|#j8?YfI7y'6v2eh B3]mη}+8p Sk[:/>Z^/T_D"9-hQ5hTBX\P mi \ I3aTZT;{?ԛ0HQA/)EƸE^~Xn*FI6dZ΅Aț d8XuN frV: XA`Bky/.?A @ !@B2vw(#O˳1Nghg1W6C5u^ɓ5`Xw 44E)T/!Soߎ˃aGjަf Fw4C3/cM|EIo:VV͘P]j*B:, ;<`Ix<~±~|DHj-P%x%fTlAta#`goI\dn= N9:O3 @bx 7u|)d<_jzڠtX@{!uBEk|feb_Ὰ 0tchW/@s-);/wjzNVe,4ی^nkGˍMO8Y8U0ẌqDSY,'6`>9oPsO<|0LW;<fEwC*L(ޗ5RYFeqOZ:'"18aTpR֕q\)A0rQ1ǘoL4!7?® 'y@*k3_ϑAHG)1@xI;{j2X2ާ/Gv@[!#ݧ #mxhQ̀>?hQu 2>J7ks$A&x>H}S%=} (pRtrGOtd&S(sԕGc3 @fN SSS1>~/o卓9 ( 9sۯW[u*0§p&p@vkgYZb9013242029aa360a6619e0470543eeda1c5b21b0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 87718d0c1aebf020a6cc483886932b0e8197300bf3f7bd211ac1bb37618cca69bbba8d00b73a2da4