SQLite format 3@ " .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ~9~<\ ] HOL-Datatype_Benchmark:threads=6elapsed=519.312cpu=1943.848gc=693.7367zXZִF! 4z]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;3=lv`6|=VLɼ6{ږſF8xPg ;CzؔLk\2Hpl,&x7#X |e]^΍ҷr!M_Ⱛ%GKɰ'qi&A&P*9X*;o\ $jVIku9I)[:{8 ށ"sHHwp3z`_TX}oCZAe-ݟܕV(jMzE|}?-zuigAelGΓwph]J2{V촷He6`a&/U9.K}z"t=o>+7k4Q3y<{Zխ̣f{с .?azK֨]Nh/h|h)4sܩ_Y>eڥ&oU iUgYZ7zXZִF!  ]ŗXiɟ1)*u%9JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~ I  e aF9G'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messagesD9G#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup C9G!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files I9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id H9K'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages F9K#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup E9K!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/filesK9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_idE9I#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markupD9I!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/filesJ9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_idL9G3HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.texP9K7HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/Misc_N2M.texM9I5 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument/Brackin.tex  Mkfv1_[{ĬӬW~:QMThO(x͆UaMe9uZ02c6j*@${w.Dam-%䊿x!R{x+u3ҮmQ;˚‚9Ǽ`iAJ?~Ԝ̂g"tB~z s~S1VD|dX&X'5f@5"*p#[,Z )3XWs^Z37^a+nlRVT'tЃ~3A66]+D0;&4ߋH JnvKO5"-I/2brҍ3hC+]Dr7@~uMf% 6eRp /un^1i"TZsCfؗ+Ø sYBZ<f!k(^,LuzcYb`}w /p:`a%(et[`  l^Eg,C$̅*͈S2?lYR-Ɨ !oC :Z$+YE!p41›>zHx9f1ƼCk4/S>u-ϒlaa 2ӎUa6C;@lHMLG~x1hM̱?/Pݾ,sq;Nߧ۬ rwBFi>cfDP5G7PK "gu<ӱO,"bs%ib0$ɨ@P`&?P~V9eWYg_z¨;Pxdz^Y 6fst%\MAoC}2"":[mx{wB_xQ#M %JHBĞHƙI? -Ę>%e;XvC؁ȭ]٪'[?f? 7zgM$(~xzxnEL{?\ȗN$|wCFC C.ؘF" 1/VxwS6zBB4_ACϟMJ O· QP7ɇi=p ״!: ^ lBJ$fHS#4ju$;-ٞqmS>Iz/o_FJd V\&~[iL}/Hk!.R_SէmG.4hZuy<z捑;"lB& (̈k/W}8CL sE*O0}i8A^=Y֑ͭRMQ,հ/jfu֒}?^h\ݑM{ nAsMS&3c?ʾ>g i8E |aAϷWW Mm㥏CݦpN∌7x{E"{pPuA51WvS9񢉷5:_( 10-n+螫!*DksO~»XɋQ φT0+WDhlG;`[!ѡ$Ҥx | =%tP[Rd&2h{nsyr>u.W,y0&>2^k&W͢GQ")>o Rؤ$TXQ,# R. p+`y#(R7,]L׾ yH3dWӉCرvm$ʴ4؊4]UQ /3u6f'z80SٙA(9olzڸ$UقwׯuD}L&Pul9UO}RX MdKt,ni>Qp)T bTeE"s$ K?A掊 >& z ~9#|F $ɟԣr8Y!燞 _}A+%AXZɊTt} 6bF/OXGh,|)4Fw|#_wf.\=p_cux}ҞiII4;!ҮcN7j.Uydm@K35UC&ˮfϜ܎LƯ" A:5p UvLmr9#}Zi Zg&a&>{,zr7 b6vd -I&ݦf׵VnqgYћ ]}Mֿ>cQMo>Ss@S%&jP a!_+Kַr2P"cbP$]hTٳ^uIFZ GwQV"v:6r$] }w8UímnQeX g)_FO)W2Q:;o)Y$UzTk΀h f+q VMv/$HבW}^Ӣ1 0UC8=%@w ʑ^ࡡ년cÕb)u##g+)&JN~t0,,Jʼn 6.\jafޑ"0+)ٜK5-cA1Y I lsM,L `݀s4hUO6o{Dn}uy˺p&k,rȢ?\B)\9(G˽9BӛYfH)א`/)H~[`FGd(*6P$DƓIJNTF?a N 2/( $zc~J//F~A+xCI:F[ƌר覡fm_ZPxU!s,]{i+yɸͼlr@f=O ;y}$6BK-kA2FEcb!K> ;u:, .,6B wXc 3:$MFb9 7y9`]̸p!0ЭiitɷM-~%.#^٩W*iq%NB+ciw$1سyUU {z-{3:G=ƒ۪Cz kn&#L.H (~4柲smz{φCHIuv Aޯl>T1.}b6jzF-#!ۥ=7̿726uNp#'}kpz}~2.lHh p l/ڿ=|&E3,PU:.B4JyftBءoH`:6K]ߌ M.)E$$\=o>-;;7mY2=5>l)[6L^ރ &$DCCef{D ,h)<7I,fq}^oq7KE\?~[K=FqVtU;Xr-B,ov9Orv%ygYZ,чF"umoL}A]ưqI敍XrŚ‰%SV`УCށ{LeyVhE3'yF*Cn؏rGsӛ夽:&KF$qmc'H 3"3P*2y* Yj(u+R kZrgArvW5%bk!aUӇP GF{Xܷ$56C'y bF'5h,:nXPĨՕa Q*sܢ-]!/(kH` L[Dv>:[M<[;~#mi/GeW{C\۩a*.raC1ߛS)_WPf ܗXN#<q  Q`Cw0cRgp hEhx,"eᲆN$Gׄўy ʌneH8"_{ƥ={LZ_1Pr{s,g8rSl-M;x&L Ц y=@ #$аr9s/sN'd?QPB.jja*-`ɻFHyzK*@y!utNF!Kh3%Ycyp*Е}K }IϋeTQO%H^ݼ9 flG=8M왧̙}JY,\Yx'h ÅDȌ{?h?IW;"U<@ e)!kÅ4wt'!NUіr@R5T8tQlzد^Eo˝!5XdaF1~vqJXA96jXُ>ڳ^p"U?b?܈GO:DoU|r1~KiEQACVS)t5 m=}L+22]Q%Cp)';+A̼!$z *gƇyXf\GN-f-|8 :OAp'>1`WPEEē݉W5 `q%@Gf<ٲ#)HCG_'q ]M&ݣU;?Fy# ɏ8عW[\?b[7x^NNGU;#?|ҡ@be.[#܉3O͹լy`XČmaw++|]?J.dvqS<# A I>bGGwH߶)߃7m(h࡞Bjq Jv>hBɤqn*_X ({Iy0*LJH'B5+ibkg?[*n6#1 }k2z<9><.oZ, 13C%eƊVuQG-zRA[1v+ybLaw~}0Oށ [@Uh}Go>w]N.5vN3鋀q8aΌ5};M$=jC0uT9? :(u/(`1S>Vb+;ɴ^ܪE Ptw}-[cՍ 0~x&#ϵA{KF%p;G?Qr~CQkCYPavPʢ%A+L^a_HFmjm'"i9u1ٚwEOk>mr}PrcciB])}ģ]ܲY'ȓ!2[Qy frj)+>Ixʲ.e4֖,y *Yԍȥ_^/*Kop O5-V7UrA6: A*i.ݘgTːb쌑- g=@b}Gd7D}ER^2+oV?h<>勱1rȏAg?|ymX.'7UHxjAj#vNLGO!OH1nj#X[BxQSWuc-ӟC8l(n:24`ItEwCkpZ@*"m^R%Kˆմ}*\\>kfԢ $^ܑӉp:Jf&%FFg2VAaIkMy~'?E~ܺ6`r' Tvf(Qt⸡v.g 7 y9 Syq1p4XC'pcN$Pd1ILܒ=}5_|H"H% 7~1Do:'H:vx/.Ë W*gYZ 8 -8u9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id518N9G3 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.tex7zXZִF! ?]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEy\1Ek#9k0 uDgSI P4Bߥl`W*0h:gsB ߬jN2ea.C5+,(RmzX1 e)KEi!;6`^ɋz˄Q\* *R>JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~$-ͨRS`޹[/2=֒\&.z%8R/>=L<_|,|$v -Mf :ԉިI8la`=$1x6( 70ി2J󷼩WA4IS3D5Pc/5sx>Cj w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id5209I# |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! }]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db˸HEno,~ f3ͦ.%LÊ3Vv01G]UcXXrս:`F$LjJqL{ $zIbd^'k\ 4|鿽=m/)2c+opѽ:;^_Ͽ 8/fO2ItDN_w tr˜s6 *e_ ;ugZӒ=XY,a&f[x];sFI&j<3?IIِgvS$Je g\=zk/v#CC1ɂlqV}RՑ=Ѕh=ec<1[ɝLuѸcZ?>9x|" HddJ -!^Oӊj`d)e΅T!ŵd(ɋelJ/fԐabd$vf4$Of`N]b Ya B 6 O$^3'Jͻ2֔7i@VuS5mQR! ÃM:هSJ~!(֢a^yg6y)n,\BQPf;MhХm9gءM+OnK늝O\ j̭ g,stzY:Y )}rk9̺k*v2QĹ21 o]?`?c>)REnn{jvamrFGa\<4:,h֘Aix8ZbG?[J#_{;}[÷uhCnpFR14:`=}/9!kg>$S=,ACmXg+}Nk 2E"8AxZe3`K!JM^O*ǔ[k=BUH1J1'$kcXn:ռ\+Y#)c~he tsoZB$Mx+bCPG43rvFi-nw(L|sԬDidJ%Y#k[H!iӒ W$?N8*YB ';©_(!2,!s<-$DGAk)Wρ<&X'!0O*uGm`lޱ)د4.TWz;40BV5BG3F6#D[y$)hZ ÕQBʐ Yzo<_ɓE @ +cOFL&t:x2k=E<{mHi1Odm^pjtWZFkLz\FQ9; PYSӴʈr!t,JN%z4fKd|tl(2qgi ?{j؆7igN`;|f'BF[{rt4Bj$ T_2b~w:żXeE{Mz.ϠR1X^\\buT꧓ߡJ7}PlkyV ZQ(\Y5@~pS&g+TJH|})v M$8z&R 7a7WkH6 AھAo-rQOI2JPE&\cLC}Q*JD \!$l2M>b=zZ)5@ Fk=IZ>LimY3e*.G&x_-fv|VtθͲMWd1\apg 0CRcqEzW/Z} '*u6 9*$+Eh2ogggc'{r{ՋF;ON;= M ,"Ꮁ+҂߄0JGn3&\J4RBQSrIT:l;M:Ύ="|F73w?NnSObFه~ ㈺Aݯlپ&bqNI)}%8ծY#]kQ).S`d.U{懷cj#]F60bR@=rKQ]4]QVy?sU`Jw@2\p f'ԧ#gQ!RQ;9υd}ٔ_^DbΫV^<VyϺvf(@sI3"﹎/0 r s4CS҉.fI9w =^f٣˘-dUm F8 rLEON #aT\ ri-uHDAA^̯Tb,=WPCeUb>:3yn-br8/sn/]t.l-ed`21m͖ģXh# W,bTV@@:!@sPI \lcfrSyN422.~n^;^Amo0rtq{pbDr|veܣeق9k: >;!"kP#>QMY}m?Z04@*&܇>!7Ta(@4 /CI%Jm:2E| JDǙ֕͐ ܴoS<- &+x(b.cC1?(8g&!?،ui:d=6.L)v;TW ݲtUp-/e] 8yӲ95HmF>i/?z/!x=n*ry`3ώΘoŹȢ $P 3RC+ャnW]#@5g_JYv*;axլ=BE%oTfI+/-auZM4W8l7nEۼu]>fcLi@wZ[\B.M7HV˩};$ݴc`7z BrA;m";w8hd*;­\+y8SmaX^Aibr,/t4(PLzK(DLXs2qMygQ=]ñ ^]=4w57#&gN"LBP|}9bȰHt}NH&ϵ9X@~8oQ,zWN#p>r[?t7ޙXh, h VnR)NPQf]V9 H7ю8`:^g!¨stUUiL6$Sbcȇ}bEb2A4Tl+>Kf AoGVpnmĥBz1wyb܇40h0UUj'TQ)VP!Y /#ؔbRnAH7+p #4.mՄw/Kaxc39%u3w*z.!)ܿ!M%c,c9vZsHt2Aj,+K|v*~N3O*{X+c^w2VYelu͗0f:W̴Gk0Ҩ;tH>k3ȤH:J(ֿYo}j]uw/(j[*`reSO-kV_ rxN˜G h %¶d?jLKv)ʇlMwY׬SWNѪgBhh[Ehe[RC:V1ċ }.n@H"1;b!.eA_`A…UM[Es3WBŜ-${$X(Pb}h<>p ytBS1^vUS+@]4Q|m 'Tcuv z:),j'ZajފO%&L75Bwe3͡Q|xh\0@%r>8]YKft-VpXeIg8gg네xoTR(u)yq$n:15NV M-~n:<`tOiRw@~haL/#h<$+n[EY0I90'4lGgaۚ6ܚ;Z\6{#7@Vs>Ƭ}f9{IN9ٚMp"m$!7Ym 0QLRtDh,YCnYdKH~"ܔ,$6Ij.dle2QuC2B&h*|X_0b.*!7, %ed!BjPKw0L,3hTJ>QǪ@ \2nvXX-c#>ssqJmX6j#' .(a\L-To)#OFe_2IPx}OmߜG2ۻzCd.ѝtq'K)GYiĨDo?ﲧS_=>|y~U'=gW2>MJL2UZbf.#ixMat.9z~Cn}mZq<br5Щ8!TpdczSsW?4y@u8CLi=h~mx9La~2T$^fioRVºfHa/8̶QVwܶAjb4 ALZ..IUdoY=3-{jEm/;4W)$fr(fqQs 7K\fM@I x|Ƌ"cH}+?{uc4WvhJK鰘#sjW?32=kܛ)Z=6UvdC+КsXnaUNBc}pV{P k^LlXc~Y\ay͏C:%% ҁ@cXëȔFMZ?կ5A$ChT:TC&$2)BY 5XZXHz!~xt^j@c+b//D]\7W4$IH5Ïgť Ї 9J> o Z<0LR'Kt39Pg޳~G>i;,g)HτXf:8*780oY4OKWpDnHk]dr՝gh'uw-)^vOzhWa}طx)q"P{͸\4],O.{\sm~(a,* ̃sS*t:[$[ k)d9/_cLqf-n>9ӭ D\m+0+Y4@ø s(bZ0NRMuJ ,pBZ"~k9]ZKQvmDG˺s۱!*⛛;s6g hS?`^hi$QVB~{iL*ͅ40O@ M`fr‚cT?Z=7}$Ct3 9 bM[ewY\?;=t&h ?m17.d Fe'yplin}w[Z+oT[ yinONh _ ;E1 HA_o][gia=l>EY$j2kF;4Z{c{}u*9O~q?N!xl ,M? *e|`~!_AEeOL=$*c(_Dhƹ f _?E'mU 3:G! kYUr$ID)֒o~):kANI ߋ/͆ 弑D{FjU5 1RĎ MjKfӉU\15!zw)AFڜY##n57/J&'"O@a#IdI$K+I؄E|7<嚣V @ҦSZ{lR7{BqNv PSarc_i vq߯{F'@fZ2 ޚ O+DG34}U\ ¡"ZOOp ]Ɲ)clj{RsۄuIgj];QWZ1KOJN}Oa!MՊ0"!iB<}#s!ri&QűxEoʳsAXkӿO\:Ư5\v.KnK!ľSaϥvB,HzzXաmGYF8/t.1Us84q#o~r=lbٝlD "SKsLTGoo)<;f>'ޣُt ๸Woru0g&Zxd؍ T.i- Ե|ZEfm`Wy *G)i- +1B0/xDl~O%0ǯUK(|B#E߼>ħ79GGN2h}+i;pd_Yh xL'}(p**ௌI,te%äwJ?w' Y=UMqEVowC8aUfD+A)@gH!5ޥaT:[`P2n*hHGxb$S4~\0oWIU$t`%}4mR<),c#7HxNd{tS\6k5[D8Cy7{% }F^B.k?n<%G! !d*pg݆rkC.g bHISK0oo4fHo K,CҤOnbg dĺpPGJz’h{,zMS#w瀁Q60xFl 1B`Ɋ^f(aWSݱ S;&@IZT\ow+Bˍ2hc _qB8_Ȗ -loʯ eZHe:Y~ps)νS&`+_uP~/o<ɞS{-t +~j5m%W+:wgDl)[hnfe %NGw`R9b'LIG+ 63tA@C۾ >Q'_a) t!蔺qI]ŕV L:6oJT9 R:Qqwu ݦH I)E0]lܿTKAX932g{o+D\~>;ugfY%`L+?E = _~.:0cx)lm'*s- g b3U`rS?tL|"@LH=6յZk?0bF" ;=GjK0x^Y o+չuo-̔@A`)y`+;qI(LX[Du]h+K7"*q` vJ~-P $pX#?I/ 9~PN!߬&qA5^po u} >'/H3H@n"GbmWV[.u37D:rhᝌY%G([^Bҳ"bRF4s>Y 5OnﵴjhGY>vLx W+J!%5=XDB!b=v-s %| g1;GgV1nŪ)m釳 pk=q^WR_ -W9y"!w黛!-5-`He$)8xF@ޖ Oӱ|_z{l3%cv|U0?Y }$4\%#KNpk^|<-C1V)t~%cI~jޠ< */M^MJ:g@JtDSt*MF^9U7GnFpWeO$ n6u E8{Cr&׼ bެy1Mc[*̎7CE:}։;͖?K Nh)^I bhrlgukhȨ;;Eg -Bp;4M &V/vQgrN e*Қ! c%榱O^ƶ6[f-QNma{44Muz8ʂpu~_qS%Ev ~E)LOƒGeRh?ešHcá@ja<],x6N BD2ݼ%3S4P=j_tmU@ {Z2nB.Yi߻eK,<pRyZ(YH|uN<ӯ?C*HGZe0BJ~.n%Z . cjd>|`4B#"dS&K5<>ʔ=I 87hgo/j\sYxx|wV0[s~ZmD*/m 58-C$-z: ?\Hb+(%I%)[׼]\UR?UXT HLU^)QM TlUY̱- -^U[g9 b?9i OcA=9w j <ǰșu/m2Tԇ^tjJq62 % bNױZ.B"p>9HKv|pxq!&'^gM*N朼jc;GF T˥5&W{LBX#uq~j˜yp̃En ~fV4l>k8Cy= }2 qDޣn; ]ϪÇDSzp},fF&"ݜopfY\}'|E5%WQ2Kz?j2 A>0B4o'J ڞYnYHAt3f̑! 益+#ծxR\x +3? Vg'Wd<T'1DOM-Mu%i3^y4'G= )^.F ̤4$靘hOUVE^p=Kg|6 Rt7zS[@Ym: Ǻ#ZԤށ}JBaxҧ=lz=> `W#2Z"O?]ݏ\ UHN96a Cמr0д)IupKMdrVԄZy+HTG6dWg^Ame#lJc\Z_'_,6] W?{w`|0vո?FAWc%c1V -b,!y\(.{gfpj3~=n1|IXTr&PDrGƑQiGbm ,7@La.'߭!&Tƫ'AwVUe,&8 i@UF޲ƋfVR cuݽ}ʇ-o_O@7Q~yj̸Dߎ6NMgOo`õw\iuP?&& ;/+)ET R5Ķ0@{ s]*1f_tkRu#^ΒhC;LSiCSHD"b)튺}D΀ 6(&%]Dz,ЍiHDC}NlnHR)C37Ĩmr vKgVBT|X1iS߂je<+Q'b=')Utb]+l~)1m;/g*AǗd/̌UKCk = O4eB(2MV Z;\3 A,>ÉV3hK_ATciq ݫ`VK( W:_s4'sQ 6yfUT†yslNm@R?bE^srB1]o5#+;T1oa"a>wh>tOI>sFw8f~M3eAm6V?fוu®:q"QQψ ksA3"o aǡ,mkuO3jܢ8蝰p.}c0"[G%>VgL q)SPcR1J(Ni@FW}V(ƈ;d&ԯp;W\j$~&аΣ,| x#h":^89<_pㅭty>' adKyWLl xt}.ʟ{? ?m6h }?5͊OUHH;\A_nSp/d8O{SpsR KڏbĨJG0 [eV0F$E]<yS/J̓ `_n![hNLj1m* n3QNy\8tmLZ)G;~E40O^ȩQId=Ѵ }*ȉe@{5 y3.-&zKnҗkZJ(jV )e/*[lʶ6`un \3yj$I]?؋$lhf H\49U:ªD`&.&Ne9 Wݿx:]R1^z_B#et}ήj٭H}*@ʼ3ެWZݫE'-HLv͸9df9]}I/r: 7Մ{q#?QćJ=he?,B? 'w;4tp FyH)i*,V}-9K*} &dp&oY7Na9F𨂩mKf*lD',z{)}86v:"նz'ad='z5֜ cC^''d8Ei^ROk^w[9brdb>;:k-6ӾsWx gG: րj/X%C|Z"GPK`Ѩ#&"4 &E#}hM!es1e0r/@BE$;A;t% r/Y̓K ǰwwLiDZMDi Lw<$6s|M& ӫPU4*&g>a&? y]q1ؽ)r/6YUh|Rm=!yuP^JҰ$X 3?onЗu@ee7 n5cT+LȑUnJ$/{kT2o+Dǹ*O!1JqiUT%4Kg\6Y-N^Xy(sfTg_z J(FrZ]\s$lNU#fF, \[gbԸR\Wj^T0}W)MӘGvJc:A1Srhg?+N+6T,mHح$N)$ݒ>7 Nn?}= M!wA՚ *>tj*`ya6!ĊhcL .P~jý'&fᾗyl~Eb$?%0:1ㆯk5v׺t39T.yɹ{~(!p#ۺuOG1|D;?jÖ`C 5MVv!Mm@TJn8 ֪Z˼KAY}rYh 7A\KǪ;ZclkeYdA_P vje/F]Qh:윜Vv6r*LpYp%^ x}I"-(<$3ҚV>3gÀ6r2*Gʊ yS͉9٩60^&QfơBSҼ)(qV%he: ϹKKP86]mZ'稆GgvjJ>/ˉV`UD9@{/.L`6rs;wR noX=!u3r ]g)S@(Au jG`-;yE0s,7w\ N9ܧz+JX%O G"n@ SXL#9Ju{iۮvŴ& PbN3`Vc|$~sg[BS1ҴO#[#=y^-fU8'~z!_nB|Ks#P^*B|G!ϰ)Snnrͺ |lyXiC+B.4وZz[f-AKi`+GHE0= SL87g*x dz!v oBm\9*F!44 .!c߳ȠFB hU< g83J0SjxB1}uK#U]@ KX֎[բet.2鈶Ll 5ԙR3dfVnOl2 x R{U:Ew(qDE`+t/G9ؔ>U9 ]SK%z\UsHYkeG-N,63%'͘޵ tS"')vuCOokq;oҔp~5<ט9DZ&mho'QSΰVVH{i# p:y,As%S )Xcƴzl;Ky̔@dTkK{3lɹ|\ieoK p 6]EO:xMIoH< PVC|HB1H!Pn!CvW3fQr !LojzU+رN4>LFCuEn@JtuX.FˀuRՎ<a2dƧrڢT0~&1dl7άG1&O[kLYCBeJL׈G,qe?ԛ,3Mw =gv$63~3әj·cjj~JnhϏ s73-+Q󎢷?NQlҪH *2O P\+i [BT^UUGI8}[Q)Jw`ZP |.3P}'I&GƆDcg,ȢiypZ >J2|< J:*WA|T)h-0V ie?(&([&> QѺ][|Kꋎ3{Ժ?͓l2AȒź3DLl!&>rZQEP@Q8}BŒŷd!S\A~+5_Tє#$9^YG]Zb5΃5G'٩z谋`T]Y^G"6[0 KHz2]حb*s:Z@Iut׸E*Ú5 jRS{ߚ4C<.#9dSt}Ci]-?X:ET,OVvC2:I&عGig ẢjUP%'aWOBg{/[RkD4 {/'ْѩ?3\WC!;XZ}n3@:D~E0Xn6hqge3^ojFk ]u떑Ey6(2rצA$x1lEC^SJ`KXnYmcHpTdI%1ߛimlUo߄q/Z=QiFYV߲+޾Pcm 0JP9~hrN i 67|=n8ߩgUxE[u_9{KЋi1!69UX9J1#_IvErVtBt/qAZ,.E#xb*kU]uc+Xm~[M@(eUi j#oLL9kc }[K&V1 8JCeJRFR%3@fXԱi{Q2AQF_?Hw/@M!x_h9 XOL?:@ܯ! r C:!g@HԹ6!挨fLԝ~-21(z'O+C@ohc|1AKbe:,2X]S|Nnwl3L5^{婈Mt~C/\qPlg q(q+X4I'tPChi"":x[`@[|9 xq?JxOfM˲Ӄw.l DVqNq˘ډВTOieʻ*{Ke6 `5Gajaˮox`v T3@v-FWM(ĽBkU?iٵ:Y)"͊kOsK?kVVCH3guL. ;gNSXp:t9 =},fҢҧo|W)?kݏxW)ul{R"?3^=2+AR@,-IyIBW׷8c 湞z> !(;SWvZ}9bCb XIP~)63  8l!q. YOcG!ry._fS۫ a* i7J,_/~:UBJXZ'yin01ຖB`Ã1qʄ9]WNܼt$~{9d6e EnT])++Mrƿ==XY NȭwB#MU?W.ϥg2¼ˊ[/C cQ3ƈCG,\E!5 Vq(hj T(0*:Q>@U5CX`֚vZvk^ʋѤ[lQ}֟s56dxoGcbOHHi;Ƈ>ilފ%Qub|>#ԛ0LPO|Y)U!h4 pj/G .2+=sG7J^Dof_{ޯ DWG7+knG7<$J3EӨcO~9n{-pkU"AF/図hkq îƥ\EnZ<ǞJTiiWFh4z~_)!٣sd~)(AR`iNdQxE ay_fWbb:꥿m=%`iz<<+}emzvIBǼq-Lݕl7oQ=YJ v$T_;1lrXw%+5ұ+0J@xcGFBhx@xι)Et׮T^d8F`ќ*≒P 4$Zne=e܀l\Gr00T1HHҮS=m}3c\\edd~zI4iVaca0e x.J 珺fq?3߱)%q9Nbc&BiU(m0T6IdشZq]i ~F#sLK0Sj]|}q1Q5DβE a~Rɜۺ/FB1tܝGzu$ݡ$p"yIa&sS˜)n¦:| U2,xLlqVq&8G#ö"I&D_Bx3xI厺`ѷ,Jz܄\y!:@g' yo`+նH,W VL*㈼~ҕǵ2g4%%v5A2}RV3e247e`E&ǗQA%-aXO<"^ŻK18g)j.DB`*= &):΂1UO_q<O\@Yɍfڒo[?/q,^ {|Yy/+ BpIpV-c|Je/6p@[<w=">kpsuy2ӹy A$u=4TDV"DSŹ ^b! glQXac49,~C t}:w}\'?[mk!p. L!jF$^Sbaykfڠ!vܟ=q:!< CWA -㮟FANX: vbH"2.yzނeVdJ}d.N![t]|푮51VZ!2> ;:C} }Tu5Qz/\%{&«q&`T4@@A$|#ɕZD~INBЧOɕe@BӺXcձ +xԢ8 e:h d!$%ߩƝ5as ރS=+wC>PKMqb7`Js1A+hǂuv./sE[2u{o>[AI فPBP OBDcfď5~Yi|iR~mKTMЪE~"PWgpY.ըvH<&I KS<bl?=6LNW `om(drŜ-Ve;Zp;8IaDϮ3zVt{CXuDuKQtI}uxUu#DBd/X}9K#5{w'HZBHаOt۪Q3K(d=h&]7xq v6m)( |M<fFS%=Q3/7.w 1LFcM*IH6\eI]m&?;6F-<.<)xu8OX]6+*!.`k"D1w&>gu5Gl{s;#CH";y)?\q_(c9֨GQLwdT_ l;+@ ȢB~'|pqB9JF:y9R]_-)(ꏹC499ux1%!T7T6̔y ܎e]iZc- *=@{z԰vF[qKʱN޽QNZ_ƪ;4lSp9 {།bW]l{gjE|ljiƪdWniKcWpG?ԧDйC8ɼK #}()}j4[bݹo2tJ[t*WI%3kmP]ZΜhH '<<3͏͎.m)C:G)8sn$;r6n524>.|otD#G-v]5JxCj,fnEmzDX5b$(.Yh!2hAC:p95ijg1ۦ;W-t,W34XueNbHpu"wrGbT݇dHe鉝ئ841J"5\l*'qI &ћq^5!~ڕKXS'7eρƥ='λ>4L%e/ڃhV;.@ ܙRVQMKd}Ln3v FY!VVr ri ԽSeiEc1* HxUY yx9 Zd H {t|Id WO$(gףζ,XTaoԮb9E":)ܝBD]m**&ؘ%gN_ZpXr9A$:/ 6 .?l@xF:v{t[2@2P0(MF UT7"БSA|^Wv^7-l%}B q5whKt eI`v#f>kwC?C ;Opk2:q>VDFށ1`H?+XXh C+ƾ]mYR `ëUoDP8cE,TE>1l/Xo&skMBJn+fÐuBNkɠ4q;E~253rUC|@~2ij"|#tinc3S2f@tp)0Ĝ\JnaR鳶`x qؑl\-F+):YAIS\e PV Ys*cˌ20u9`{bVJ2gYÌ1C+n%phgN3G> ^ (\Oo!69fA^˯p&.О"0 &.$˜ר~v}x OΌ_ jSǒ\݀n%քgS?Ïeư^?SQJ91́lw))sxyeB՝@m.?A=\%USfMeP=֢X|0qp!<ʤyh*(T@}͉5ECoenM"ɦ/|˸k{`;^-@`"75q]!* Gڝ]o2l=SwAꩽ%]bL%:_;5dJ܉ZzO^B '^fw>eD$g 5k#{OՓ/Q4#n& jLU9c1nݣoӧ5ZmKT)xwyZTTߤ8Dz=I` u \/HO(b[X"a|( Y!v_xtVj޵k*3۱u?2 [Օu0SJ[,|GWccNP3U^hl "cs|kd3v(krSwŬc2<}x*z+|Q;LbU e`$-u:ͯvE9u;1`ȧ<"UEB75h`}M^:X7d58D  (NjHo:[6jD0EVƍ\;-Юɠ^vI W6A2EPv#oHfőp`RoJED*F 94 8-7 m)gbIczDT2KRtA*Q`&Uj<}}fGO*?P=Liݟ}P| {k79b濧:ܳE/ۖ]S[]n"dzy\VrU )SSjS,N`GO9eq@p=B?یƬOGd)H`҆2@)rAp gy@'w YW51jh?"R76I?ImzC ))+EwVbܲ]ާ?ΨڱR9Tw㠮"- 9sIn߂İ檮=$C 1b ; I)\.)b.r|qɖ)Et־ /_vr%hP vbly1A\sRtR?"a"[;JI$*ôfy7 5g/!W4N#({?+Ma`.~hZ&![^09SFfa BU.8$ K@ :yYËQCKuYՎ^lU&icgN#ƅC cO2OȴA/m#4NR|+G$kKfވ[ $jlmXhھ:9tP⿅y\YӐtJFQ=h:$oL@ipx=-Gt>mIQf >& q7f[xm*KC-8\ќƉ}}&<% K5zKTgYZfd??-g/ײϏ4Z@׭Z(qP;YD9nq:nvzQ NBChA-c|җ+cyju.n)RK^?(m 4:`᳸ Ђ~\^% F*ois%V%ุݗyOp:\څ#t֔}ة9Mӓ`+@uO`aR[Krd?l|"eC"Kb_0O4\Rl`&"peu{…t쀜&yp7+D*:P2h݈8Uj')@8*oweƥD^PCrK3@ݤȝtFH]8n9@K ҊvF; ?̰:"on_l3waC6]ܰBsDrR%VϏד\g^Q.Ą+W$pLQx5*7j/zC MhKPji~*趍 3m wۇޤ2N512ts@H ^5l!>3d >֓M&yiday0EZϕp6LcE6=Awn=, ǖP7*G Sx I2M,mw ;#4ܰ/>xƊs׬ALmM{c_iUF108b73QG7>g.`zd$-$P(.Hu}ߦub3s$=;`dj:8n{4j蹜u (ɍP_[X@RG\~w0Ǻy߀3Ht:$X@đA b[I.# 2۫PniLt2[A×ZpJ>d[;Bl){_[|-=̞;`_f;uY$QS-4=0zY^<$6EIl)7Ҥc!0/| 2B;\qHl0aՅ(R|Z}rI襍iibY'Ni,27&~#“~Q֏BpHãz4ԤcFQN\Q0/r@Sr*+2J綧5AS2 .BQdk")өntah;l?d!)ɘ" Z@~QlʞzPD7h ]UTro@(p.kϫѦanPUy䉶-yS7 oVRm_n)TXZU`d^|*Dewfb')`5ˡ ]$`ǩdYZRAH>k:uY߃is|WS/*S 汻isCH4Dvb6PQzj;K MZ\e$^G3&.2)u'5DMnqaB}'<ոԀAmEswêNvPxMH1obPI6EG,{Eٔ^;I Kpb7{K$9||MRA3"UB'Ֆ( Sp鿘񶢌}Ug["%^(box>šƕ`(EKnpQ7͑mMuM (lH[+ގbeI0+G(Gfa]W"K Gbߡڴ9ރ` XE1K~#vèa7A:5}V2hx"+U5SX RkS.]_ 0=^)C?L< IY&2PuQ >8TwX$FdOL1Ma]xnD.ig _/TxyBNgҘQ%NKAS}Nc)ECvRRh Bam.)#?颻2Q#QxjlTaHf' 3X˛gaLlcpjo V;uACa(xׂM(TR4u[GϝqֶO2HGl$O9[q@v=mP⣪tIJjPuromrdihf1'̸=/# pvGXOk.$JF览`uXĭ%$ SgYZ׊˰kr?8*U^g~Q mܵy.uTnV- ӜG&]x(qzJ6~[쉪 X{=n{%x |.%8l~GbS2_wfNp4Ovyp2;-V҄*ۼۇN; ]O>הoe^+95{+k(ԉnCOIw$N% Z '@Dzw\Z\j= oAa$*WZ <}z/̜2pV#<:ū/߻Q\H!fU|u6 cc<.V6KW؁H!&/؛[W/IAzVUZkHSX`XZ*Wd!u"kG:F;6pB.VQ p!;e~%F|qLxKr=}կ]xÉ]/½D8Cǎl(-"hOK Sĉ;\٘l36c`i^ٞV<{_ہ/<8:P堻&^O ՎjR8p%~= S+ \'ԈrW1\9wy*&͇C yĹ" (LXB4)%_4 ' йSɜGЊߐ[8g4moED(KA_}^"9 X%S9#8cEeB=" UWyy)ݡ}GnXxtMk7ת-_$ޑtfZ+L -8 q0sd. ĥC"= M1B%<[;AS!и[eeD :/9ܛ3b+a^UhwZw\o?B K!8`̼`"\ë <à]6˸$wh9*Lc 캺6Mی&.f Y! cE%B<}95zM)3OB2 E9{),!M>MNF/) Zec` 9rH鵴+rB:_P`ZQbMo^ͻ\율FS kYnMB_}0yH)⇹jk8CѰdK7$JYb`a+2uڪotefݚF8ı=Ic>\†sG%T OC-ӄۢuI\[s|Ke G7]=ԇ 6KGddZAssA2<~vaT`81 uulx>FcËeZ}N<٭im;_nP )3ښzqsGn->~іKOh.7&r9A՟@&g\38?=Ev7u=?a7c g}ݾ{cN䡮 \NEzh^2~>E#/}b:u:LjtL6=Wpi^DѯH0g-ܝЇ xLpG6^s`Dy!Slq?fMfxȕϡ "2v8UFXiu<@#¬Hڽu`N(i߉+)VC)%)i9Pt%g4P.Q"(ouj"BPrdiC\ZCdV$@}4R%d[s<5QoiЮ4XjCFT#JmӠ:\My-"wx?)r߿3<{Y%W ]pr)Z% _~g$0ZĻ ~B͕tFӨcgN4=dζ8 HH-cccnPʿ5 lH@>gukX[!i0CS K-`a˜ЍE~MTt "hAv/+RuxѐhLf:}vWLʪ{x_. I*^0ҿʗ(Vs[tSsTiJ=bt1AbQ1;Giۆ%L% Gv'STQM28Z4VW4!?[r3d> }V7B{TE&l{xo&1TaȹDrvJ tC|Tһ'bny.vn; ~yFqgR :*+DPU·"Ch:њH}bIfT`Zh9vT!ԹwxG;ݵo~ GyWC} 2Vn \hց2Z]&|F:|G;eD8CFv*2 ߱Nkhc R=heє>oeADm5aA'^mNO%*D Od?ãTEԍ:*$[8ml҂}|M @4͹=$vriL4 cXEtD0y>+m':?kd怬q]6e]VCJS2 `(IwuyO[& Oh/BLޯMwt"Exk}FtE3^,Y3&JT6##y9wTz}ճSp^-`:d5jSksBh!ᇈfELK+*fv5e}$򚲈Y:;5fd ]]n4]ACKk}g_MWc:G42 HY"ցPMyD.`| 5`J^q{] x쾻o>\vj$nBV":&m^'u@C5R!cMS"T eiu s 4>Q]C6fb͎@n}DÖiXХ{fж~86p>L|kbG>qc( 9JF$n#t̒fưiOƨիrCmGdx_y9Ш U@\˞yx`S4{xhL sPB6)W. gq.3@ 컮!)wߦP1|V8bFsC"Ati)&6]u&ޱ#fZ֤0kSU 6=JCbu4HS@NT=YSx4c۶Q2qϒJGQv5HZBĦ{֩߱=TZ/mѷ& V' jXnQjmUWEݵٯUb>iiCz>zv U8ȏ9\O_|2n_z5}Z)t_XE1ږV9$=Q>@Á(6/y?B“kf%To>0; +&`Op4lTXSܫOE{X?jefZ"3{y|eF5`quꅕ($p01_x4r*/$QAW-BEތD՘Z=n*"XPpqh q<Epr\&# ׳RSB֖/),h?vVBs?/5 Vȵc81!7.I7Ij%/q\jc:F32=}SdLwWE7 'LLrɫS`ҘK27L(Fyz F^ާ#$U r\15yC@Ft \ 8VH6MG%zfsDV];[*&Kd([}|D=g抠 5Ϯ*o@M1ل3 3; P'Pl*0xcVx,Q 2 Ex0Pf}43WǯXʼH ZrG{yZRH\F=P|u?6`]m汩rh/T ; /%lw'ֳ *T u۲+p2LdۇqΌUWa!^Ĝw*B:u?9~̚DRgut/PX_b8v%i8{nj;1}˝؅ݫ[++Pbdy [cC^ ;36a*Q ;I(59 mIK[ D+nbkؚ(-te=pFaLO A~fKDhT (L{DҪ= UPކߔ>zRHƺ,_7cζj~_,`HX_Ø :J' Tzt[4.^=XK>Ş)wsU<|+؄bů(RgɆ+3p"T$#RenK1c%g2YH(cP9.r!~u,JM"ܪ$ǐ (Hxo)={:Lt-D40 @7I['ZV]ZV\{"Sr'(ɡW8n#@4<Cߕ]E$L)N)OF=W M%&AaqHUT7ә )G\8j'D,V&5"r,d}Jc6x}|2I/[">m '7q;OQBfRʦ\\Kd6\6嬿;'X3 ܸEc%))S ~cy-&=oYq PK>G&_&S%0;U ΁=\;YBp*li_N$z]hqAN yrQ* nǃ8axMv˚9ܚk@/0qPח/=Sy:nGE¡}cv[Vj*3Puч'*Mi*Z;oJf ⑩?Eճ? xdRv&'6 ᥁Wg"fZ);钺&)6Gf%MbݙYXs~Έm¥CP['PutQj{YRA*H.d;8mڭ@a1藵cIڇÁ"J>V֬4Lor #(N-Wz2ӥC]62`X kI7Ѓ7|0!cr%(Wu*>0VyX62$"5qv /yn0M3"<)\m ȦWi Cȥ;2=Aϻ燑:Qd1Y(0=,9T~ɳ«M^8o gmهtOĭP,i2 ;u&p:4pl80@K4#B wu\f&NGa/Pk-uA{NP>V\ҿDPA &.5Pp(ag\|DڬGsr͑kf󈯞 Ԓ۠k0 ca­+ 7}&;>!ufEe$=_ON=˃SɿLNI"5VM! %pL]d.R$d** *ͨ TroO 64 U/m`H#F$PS=%saI|=.04 ׂ!ޖc/QAzC|P듛(@ O:qxp0xm-?/x(Be-@ ɴVvG4Ý.]0 eغ0eG`KaT{ S?f%哦` `clN bэ˾=4IV Aٛ]RVwn1AjyoQaVԍ5_o>pS]_rZ}_ ͓S-HO:I]ų^:!G}Fg;ʑR%l55(p R=2w0Wkj&⻷ /m.X? gEV“e`[ySbl`]yf|U+bpznN|>3Bs^[ذ-< bZfW}ݎ;='2HgIy6q ͓Qb$oC^* TE=0f*щ93|aT8Sl0DlƈۯcSd#P_h'ɒ:(y?Q"(;xYRt6mG:dv cnX1qW3\_yEV{qaQXK^M 01i &-TGd4$:ib?7tQk x"SMRFcbFş]L|}`dJ ve@ѨJqZ'c̴_Lry]ONjFįA^ϰw YPIVCMV DWBf*fwOAO:º]f97Wb䥛uKCge$9|}v!e7ףB{->MUs%D+iv~itٷJ3ѱ) HzY?Ew-9<0~ ":D'ZqO*Ϋ)WXNGlA~|\N+cpb$8) BVas>|Aѕ/<9ʀ -^MCrAvD9o<8P9<0'>SAJi9H|`2 k@#^S|vJ/˖i.n3j rlcwfsRFi^n0ZA$!5E*bVĵhk [ Dqsmy(0P/Aӑֽt3 =xw*" xIՁyxFePNzl۵,&'e*1|@pn%_<"svn3mUÆ1z"Ɯyj5IU00RJ'=^/B^`/@MO9v0g/dnЈwqen:x!3zoHX1I1;A0o^8q; cgZ>hCjXWӜ^b \XETMA;Hͨ9p7gj#Z߇ĥ(b"7YAMC}+1pWШ Ϙ.Q؝]bSv# DԻd(ygDݬJ#GP:,9^d4c3E'}n~tĀ{^Fʊ?u *>td9988wDXXv #8D(8}F x Bg!_<ن6hy!Ck(#rg_ )JSUA Zh3:MVCgqƚb6tW2cE]p%+{:uS#9OܱœCh/kwSԛ; 9$[4>!7]nbKJY{dtV14n]bqFrI_Ԡ[CISHs?0CU "b@| h*~ӬvC e&Ӈ:u>ΐ$ $5NtBe7abq+IE?׋u0C=, vͼ]:?I1ߴʽR[ QͽyG1?TȺRr ;X #9!Lmޯ^L&<~SEp?ER'#oR#^ԧߵ04(Y?ϵv"ɗ-b9Y+qau|,ث j#ARB&PuB[ ?Q9(g\Ljfi i) OދH L6sEP)=Lf⚋(%=Cm MI'GģbPk,Ɓ y앧4QKuqAJ jp0ET nlN` <[ -@WD.i3+ & jSq B|Y jJO7FJ?H?3N QVL^mE6s&fq =zk+L2,4aZaZVm>I7M,k[:K^$ё*޶wX;"VpH se=?[Wiv FУ|HbހeZk'Ы="*'[>TӹgsGXBV޳:'avĨ~Mw{Z$Rjl3G0D1Q{c&20:gJhƒ$јXa$IbP5U?z:q->q4'2tt wDS6/a}k MzyOP5s]`x'MPo I Nn3 #QqL= k#5lpT9xm=TZJm$\qSߨZh494mߟcQ;POĨW% ,@^@zőGًsD5 _I.GLH'x + ƫ%3Z~ȳ~x P T*YwF9W5` 1M=>*Ô>3[_"C sK,x] YnׂzY0RGL0lz-p _^T[x4gq-VeXzN Qg5ةy.~=d9_Ss1b-MV1oFΌ cEc /Qb>$_m Uxd =F i{N$PhFX.h_uZ4otps3vs>%cv:V3.r'4@f$3|/`i7Թh!<8a#j?dC(fk_\!> yIrNDS vַVEQ" m jN,X%%^ ˵z6aܠ!BdUA'݄#/y(<|pڳy ~Ѳ[1o] b %]e(`(:3E,HP=CudT_:ԶU5,QTҟG),/@ 72@f~UO2oY')| k XCO?1V:m6NZxRC_.9L7.ŻЌ!Ĩ?<`睥>, tx疼JPհ[I 'Qnv5GhM ( F2E|꛿߮Y+r?NMk:7 -@c OJ_Z7!cM!)iPnq^ T.qM+l0~%RAeD\F?Ҍ˵XhǏ݋ @XaY=/8xFP<^n1 >HT wڜˬƵ&>RLyECбh҇QT',ZzMl> 䤫M^0u?o#,TX0 p=iQ:r k)s72A9|~%tΰ&zYt󨪿J4]/pf‡)> /+ G f;ۚ;^ zh?Sm̭-noYoFXGU6(=I21{օ+UR I)w%Gdaq;G% z\[N&6Xr?\u`X4o֘̐R\:1OX0&pRX]ֿfm^d ^tf/`"Ada E voAܸ(9o86|%439\wA3̴o\9ꊼ90)! ,eKX̢gҊX n1p"5ubS)q PU7?`wG p{ q3Zl+ǝ!lRm-ފn%^/Ӹ]s_E$`@L&Mӹ$L@W|Lm #|Y~qzV X?bN PF暞Ov<ǔ-,V!,{nEDBze  R<OƢ%liN堕Noh~QGl(\d.b.2 8  >yz1j tA ɕ&fgVg[/9C\^  n"ȍ BoI}&vcJ;(Њ}뻈muh oL kg@``J 3>oEwAd# iN=̆ oOYU],U/%8pH0@>_4V։ g!%4Dc ZrCJ?^N&@%im/A,eDZ{&GYdz\-V0eD֞V7G,$lcUzo 2 T%Gخ Z4j"a6bX-rW A2E ZV)D<ވ[ZjB!gC9EJ9e}=f8KH^ ۵Y GId#j'%.];]E$CɖO T:!0h-ummRro~NWa0I)L5ޯ(ַL/թ% ## Z3T(%J16NV޳ƀp=*^H鸏qZi|KsM*GM#/V/iA.4:8Qda'N┳Rjѩe)<<z'-H̳m;"GB—B9}櫉um (_M ڒ22~woBXZ1$JP'؛&HMcȘee59Zp7ywV\K6FԶijQyGYe Z7WCکEi 2?C'@%s@LKӒTҤ{)xkD(FӢBv:MxBF7O/aU9~S 47 ,p">n̑v鮆㬅VhX֩.@;0QYV w-mnYLarhH&Q ܘW¦[ty6% ><*(6$%<K9"sq'd, tKa?.7uHRRpܦexFB.Z|P;9digzةSA@!j6g0 vxh#WMќd,Re,MU59h*l :wvLy r" Ek ٱo9Ee|]hǑHzq4rRʕOar`\;W N Sx2RyBǿː6GlȎ`6PO%fm\j#scnίNUYXz$>e8baھ QlۙÀGAVqZnAz9l\#i\pO桓 掙O϶Bt$$lѺU2eD9w\}].Tю@A6~{sЮ]g0^8ף_mzL}jk? Fvz9B62lbי:Ԛ/jWzC% eJws'6 \JgF\x麸cO}6Sҋ7CΣ3=}VlUFzgxc=vIWzwJV#'FjQתm >h/w!r:`=N+bsS3BHH=`$w2'dIGU*llT3Nk6 eqɟ!bw3_l,AB4ȦSDl>JЍqou7h>E{d])QYgaP{֖s^E2'}u.AV @EgVR.x BGUWDZ~)FB2Ʌ64j/pl9!?f?Ez}\4QpXs>8Y)&D|5c`[QƛeP4fK'"} ݈UM'8}T_nA0Ȼp(ht!AR_uMnT;aT{"mUs?%;ʀH1y|/d؀O]4a|-]i Lj޷\J7D8W>O8ʉtw+aQʊ6V Ӯg'~Ҧ94IWؿEr|>I6]eo Wάqyn8ciínUZZ.BCkr5Wm84~VdR*ݽs{tJAR 8p-X%ayjUAz NK-:UvH[yF9k+w尒.EZZHڂ' j.c{5L] 6G<%D#˺hgBF]hVw>C.eFe"XlS`Q4V81ʫRo՚NTaKۭ0e=wdg*vbzQY)nl]aJM߄KzrL۷*ugGjbޱI3 ;ߪ9~ e9, e)3`Xw aK,.-yE A(&wK73d"aN )J/ HJa5_;G$ Hq򴧯2\#^jku5 V͝1͈ptRq66n;ޜJ;R͒XEğ>:<)ê$1GN;hanNЎuWJz?Uk_g91b93nRq#B薕bP96b31)~.'_etzE|:oZD|՟ 5U1%wᛵK;}DꂊGX0_YŚ]&ܦ"z7w7.N/wpv ‹LkWtR ͉&?wT!}\fFs^U3W\/u!Ls(K2ƱC{ձgYZ 3 9G# dHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! X]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H eEQKnhF4} tzb<> &uRҴ:>RԽ )^m߉ [nIuy -%:FUlM%SBr=e0!Nܾe\G _ \֙y 𿭿#qy_Pj^x+{Ȏ$$4tNJx^VxL$ 8P^WzN:կcGq{O ٗ,đUzGv[=5(^'ur'95tЮ s|Y{Wb9Q!o"*F zZXLyFCR{)E8ASLEZ,Uw$۰6̛$VD{9ķ{/X6AW֥ !th8|eiȶ3 7e8ں^b,[s'zwf i}!G8 n{Dgq|WġaЏdW7Cpwf;:%$#Oӡ2`W\+;#hapl$J#S+YW yK2.g66Zon$Cl$̜3# |!743}p7/䄚e}I6ѮW!~6WY;,_n[؊>;(ڷߙUSfU-ųD\Wlv$pt Vuu/A8,~v="v/F3 /3n/Lv;Rԥ(rKgfPd8sImŋ l`"4 O-V "č_y[}69 :nnȷ'wDKJSE9`0{C(wV5SztֻKm#s I\Ň2z$Ϣj&a`/o4J 8J~k$u;:Ըtp7U;W{*> hԈN1]DF)α=8ttͩzpk<()FV+7,^MGB_X,@1ST|߈RV$M <3hoN΋ANɹ iʑz-`lȯW54JrTQ3 ʢINopH!yv8;~/AUA_FuH`R2'w-06Hz0XALլQxrc 23Rs#{Rpz8"cr+[ˊ_|UF}n7 +5ڬ05w9vsɅui$/<3mU$e7O|d&9qλӭWI".%ͯdT29ښJgXY`KkUmTs׮ܴ[b\3"QsiN\F*8v h`X`9 [ 7}.l.]Lfy*>(=~r3q|T|WMBFQ:R?/,?)O۞ ş`9 !(D!_~_=+ƉRyXtShT_F )[G ybQ|.EU }iaV0ƄQ6*ĠHOxZMgTL]vC/K ܊p&!Mm^LwAX7Y\+5E$.=MJ9?X~ͬ.[d$7s}]:WJ 2 NzZ0֦7*DR#/̑Ш0͊}R   l9G' THOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ipc]Άxʆ5.f-9 rq?:O<4IE4# 2$zIiUMx$Q{8bz}7Sm0!`3G%Q0^ޝ@q! W oXQ}AHߴαTG ѕE Y)}ХP:xƪq:cd`'h T8?J<'+ʟg88hFi=AL !+)"uuzx#n z~!=0?ʡ:QA`u)Qos,掆bjv"]IYobLNuV~|mYe7bJ>>rl:٨eQ>iHq.gWع67jbNCq\O*^Y(V~EǫЏ_y:$|B?sjhtHb*Z;N6F<3EXvHqsvK 퐁N*BW];>ρןz`J-V+y9sHyԦKԡPW/4;( jV#Qڷ8tzmOKzQ #.|an^,\1+\DzO HaǘfUNάO7̂L2[CX4H=uQ]4aPxwL]Pw:_0:Uz+#R뢎̹NQ,Ϝ%IZ3wB,M4 $xJb 瑞ppy:wauU|bn|*:s ^t h̖#8F_V͟h>v+MLH|UМpވJOh&^C%Isr̥0aLc90Mw+ Vnjmhǃ99 K0˸`t2NBu^H++Aƶnyw8Xc9?aZQꍢYRX>q#Sh~!B7v#&~|qo9. ׿'0wH/pldzRWxdHU?[K۷YD=VL\ . plc,&["=' ArMN&nʋ;׾KF.Z[C\5I< },ul(h5pMKY\ ~"DaGEÔmYgyNv i2: "0Ѓ^Fz3!j%`u= $ k27.Ggts \` N;Ght쌋X7 Tm`[:tmBNkKX̚hWyN0'ݰk-``|rkH  7;gYZWymcź;.#}l]fmC]QkqΪ bz> 1͈&IA&w8b& 3OEfYe ̕=n#''bK*qCXWPFä:2Bս/kXfB)Z}&.apX]PqO}?M@ ZU_ 5ҹGc.׳, ?n!qV*ya'byؕlaMp\]*jJEom,+t\Z>m[AEڦLJD(<%~'cNUgD~k0 A aFDL@ $aؗPEeD->;E^l#u ۗsŜkY Ăkb˙>j#&>) 3(AFWz +)~ÖJf ;-3v,C `c tj);x'\P#u.od֟ ƘűV?#y{a 1ӎ8GVyQyq崔ǒ@swA#"|z<{}"Ae,sė/2N͸TOզx(&p6SVI}|ݓ9A%nvzcx,MXh35Bm}O\6_o߅b^JwnigHj^"!1$Gf>|UCEn ,H k47]Aa/= >C*#p XމۘQ)橙z N0I$]LiD~խʉ&~O:"fLsk|M/慞|ac @a!Ī٫A#Ndu@]/ ;f!Ȟ;W"Wq9$`mr9{IA-L9w < 6fUPSuN窐hsțiS9W>Cl0UlLV=s҅W3#t-q+dNVP=>_ѰE!F N7M>b{uo fp B8g|o ]f40w6%ŇIC'$y]7{OŶk3)0 ~qG=k9Q:2 KJY=ͤ X`#xdv!+| [˶\h[~jQ@c:Wܼdg\*|h=j+&} ֞HVx(!T:s_3nB,@]\,z>AF= -hsJzRB)h-e]_z#%n-\.G YP.FR~V`X%eRp]c#7 *%'𠒅 CҒ)g ^3fT*a-[w O!jͱB X^ڡ ,28FDfv4TMC[.jFw(R]Mwu, i!>깅9sO} >&Ųce:=s:e|;d~b;^|vY՘w MtKY0@vn m#)T\%}u"r vL Xd'/ޥ{ j@V7q|[<~'R(K 4٭@ciƂdv4t冪S͌,_-705iJiAݯ hUDdi-γO5y}͉1i^:$;/tu4R+(82zer(iC}n /SyYF h5 kQm'ktȇK(G{mcZgh`ca}uN,&!0`eb~Ĩ T܋CT0֤)ݷSbqr^;aQ圛Rk0Q68K‘4x\JjBGvp% d29R{j6XB_΃"`"q-ar ulM#!5HW}D'֫ +m&r5P zҭƾ[W3lRkczeZvH״$X]UT70JHrY۶mYW4dSpIӇ;+ƭK7vqİwM [C9cP]{i~Kԣ$qh?yztZI 2kgXL/C?u +TsGr̎Bt n5BaOvgf|߬eECXjz%" 2574?ߙЫ묋/}x9w\vUȷ(-,,D4ffTB"{h #u'dy&<;X9TDUYrfha#q:@t}l/z͹$?Wٚ tpg~w'[@\ X-fe df /+pX !$MF+ﵞ꯰lȞ>7:T)y^@DzurtAl` xU$3-Gq//ܒyc(3ZzC6w֬xA*gSl/Xj'j2yioV[UYXC X.RUc8#Ol13{%۷$%c+],IǚA2x,OpZq(po) kNm (5N2ПrԨbݲ[R9Pt`ϸ# ?0K.g$fW&D>y7>7!* ( w|EvvyL o _)QD8"\mBVUvJ2H]t%C[cUF ĵVf/ƙ6ߍ+'}N6-&\8 -֙Â73a~Ja$Mu\`LWD 6PVȗJӺ gD#S8K X\Uw M0xCWɛ R[CmoC^k9^>ya'!{;@*ځ㜇qK8ɜ[m 7}Gf &]_=ͭ*?P)j묈{VFgF#"ZMxi/Giv>0uԟƧ"ψ.ߏ.P` QklE~fd@ sYh &nڸxnyB_\S*pH9XrK5 \yM0Q?}90a;D,iiYAkI(o*ֳSdznͰR;ċBxR| Ĵy)UQ% A~Wz|g|ݎy'\XZ`C!J+W%ɐ>NÙWj A8}s/61u qb*?]^[&\$]%Vyb9%07J w^x/H h*RM+5R)rKC)i< մ-pA 9<>b8Қ.ыY`TQW rqp&5MPL&ĠmO{>EpU~kMh+>4ɍ:-x9}رix8G8?nV\}.M/֢75Q<ݜӦx,7!2@l1B]:*L,?l#0]N0+yJ5yeNZf9 ' ę\ú2u:f[7m٧^ySntCʐ(7s,t >FdKZF*2xO'jTǺ`%6(VA}pIbD~ɑV;w`f|frX!W#qb/ 4N4Q`@Pt4O"r<B\?QAAjmDGRSBdn])[cRfL0IPd-kwM>r=QBx"wZlk (GɻFrwqQҠT :p:hfu:AT N <-纜[F8_BxX2dy<ˢ<:20S#HXyKm*>JL6ufxc_VֈRh1m2u SJUBgDN bv cD6Gr)HBlK/b_pl66'azOC/~3ȘQgݒau0w2^ Y3cZ%׻t'_9e*e{ `x:b ;lܠ,k|Lrks:GsYe) f?>?Z1 ˺|!!‹ښfYZ30Υ.;4X~ c{A_QNU+3G^6^g:tҚB5+ k0s n[>誮m YsnB]+*6*~Z6̶;4H <_@H*ehtc/XY}S̘Aq= xLDNH&#aV6)ϻy6 MlYc֞w\m zq-۫9:*&ǃ"k60f/vӜ>vs+mNE|M!洿NHAo=-dltZ )sٓdba2JE7~CMh(M+MJ:7cx2|/N pA܁yCXXB!*s_S`紖91MqV|lj}B$HXB} ;kdȷPa`l|ajLAW檡 Tƃgjk PqnLZ[ />2-T!% W,P4zGc@*= Y׆ SyM|G_QǕ no|2N@54q)/ ;bHF٣uj_\Qߨ͸{`b=P8%< 6q#` k2IkhU_XJq0{jl"<95(sにOVIHprTk*QY)W'v p.R/xB}9~!~2/H/V0_9"'_V'ZV39˰Xks12ι\ I 0\Dӥ?b쌪[~QOCu'| s-sAeϰnNV4:O(sHtY6?:q^3lJ0ǖfyŋ^{2pxr"b FOH[4Y~eO0F!dd,m+n{1ĸ#t[㱢 *&-]xҷB4$An+r%0L# 9ģvG&2|$}/'] 4I!vB$ (;iғ̨9*b|d 1Uz[3A{ RɥK:P WEo}BmEo_9~~,3+lJ>=I@.&p)ijir< 䞭(2Yu)!+'yHab,<7a 삟1GB&(~!ٵCP&nASc11 {C!yq̫vw2j~eV6C#ngQOa4c`}ړi7=gZ1L6q;"rvI, BG1,+@ݝkU* $w>fS 7jIJJll3x,e3h m:L)`wUyOKa`b=gcpƳދ _TNlyÆ;@^ΓTӬgv]a}׃/YS)˞9*XȨqM@':Q) s `܊6'7?ʗ.ӧBК -sҶSMa^ B|⥷NZl eu3_pi8#>J_N5oD>"ThtF /5Η,'1h0:@Ϟ+BfCIњIiޒʿP=A $yv$K 閄 J̚Bj ^uzOFަo&P[Bڻy7&"R+nQ:߼n,%0,0gX2/٤׵D]=@0(&vMUB NҙxRzFv! 9P*+a[jkt-6.#;w#/+b[% ~J[ zՁ@NveÞ jYzJ^2y!E.ʻ62{E`R`p `,gD8LkJ|DCczUðŻ?P;ʊbW"E FC8$/n^ >~Y1SktTzy4;'F*D|.9pۃw٣{e(uM>+as}b2-WG461?iYT/P!:ዔPx,5:pgdDeB`D~6w螲d zs˜9ʽ LS*J$8/PL]OM87[ky8E ~~K}kDls[iAS;4[u(ݕSP3:1֍  ӞiBA'aX _7E!1*o XD(bz|K}\ &8^imCfɥlrXY QQ&|FJp9QO٧S~7e禛<lUtZ (ZAִd+^Fu w Tpj .G(;2"&t@PAsw9hU!H$4zs@e* S,}%Ha<8R95|@Ёϓ htNioa<Tuz,)DGG$xbA6E[δR2XuiװLje!T(& *sOyu"# Asӟ,tvdp~l1?>O0;t%)m.3 Y33@뙗/ѥV5Y}7p!1gG(@3_]jb4/^q((wHOqNJxt(Θ ;z`8zNyt}rgCx_rjsbrq:!k wXUnjkD@ IʧuVQRq&9RExun\8uaCFG|g7XԿ񱏝hFUW}44g=W;S&CV2Șkw]vai ,#C? @ڧ@;S՗ dhEx^l:/ɿ PSFk)/XLZ!n1KiSv{½Q'Q*pm8'xK“d~fT0<=3.59ZUߦW"n*Sb 1a5 QzK$p*O:0 "5&rA6ad0⫇~൅+5I풦В`yMkǔ@4e"0{<7v/BLO +s~V{w`^%mЍKG $K3tMf!EU lЯI^1NA" ㅕ,X:J dEp.lF6|R L۝I한P)WK?fEwu%Ba!o]akr-/zy#jlꅏ1ǝoWbo+́G89oQ?UIwB;^I9Сd_a07b7U%dZ(>6mkwq궜-27;r* иlئM2#E_/lJIn}?V?y pVlT}hTgB~κCuxկ_ OVϊ?>x$7Ϊ%XVB$_ކ$&H`ɔOLQYiO#7ta]r)#;h[$ \PgⰉcWHDzc(~ٺĵ˖ŃE9ųR0y\Q:y_dIݵ*YM3 VljtGus ִad(ʮӂuhY@%cWhTK+*ɄȋCi֣hC߲İ([V=i恁~eM/ǻ &+>"BIR*AK6,[}Hb2BVify"È!낣)Җ]&߭թ]-k3/ݵW67G:cz$DW͟,"ƌp:hDž53A- p[T@hֱXeobr3w1I;SN&om =oH¥]rvs:s!I}xq9Ҡ]w점@f+i4Wb!H-a1@0ăC{]W ]ޙ} I;$YxaZ Kc j51Mjx/g'Y4YC6kk8_F/ "|9`^gi"K]FH5rϾyN2fTFBBc($.F&)|wd" Ifth?i1)^[2EF1Ķ'5[ 6Iަm0&9ѳI S' ИBcT60"[_1P Вə9U#Pr|9udN ,/2 %S MeT LJ2 FrɄE'"6M/+AD N ?54lnxOLTG+vw'qCTpT9ݤxǤw>W|o}9̇Qs1/ ޼˳Z'$؄ۮC8[hpUu's _'.9PFn ÕGxĂŲ95`WtD~B:@sCC^%m+7MK<5vT;"c?'ӊ[{1 5"=5dF d q͹8]ح #e%80Z +*y-Wba.'З!Ω`S$v6X2pf[3m#:`1A\1.4%^떢JӻDQ`wbd=f>#!  - =5E/c@vM3w~B~#\*k/I hA2zew[tH)nKE𾫶O˿ۀ<0)l,T$}ϸӪQR! fȞb/3N%Xsj fiSI{B0zSְtn +#Dwrœ8ǯ&^in h6.+־JA 56ybz5F1^̛Nl T4 AG ѼҚn;q3/WؔrN"CjCT\;4Yp㛡V$z P>wEZJ"q6Jf@b Ʈ`urxD ^']uTL\#4[iSj@PVOF$:ڮ+4oG\a Go[& 5:`u=_g%BϬ!WE@۫ܞ:txJSYspZ [hF>x-( fږ#* tPFՅJ5i{ *I3%-KFa38n Y^nĶʧ}=gaHr094HDյHbصI`VqF;mwVCx'e߾-q ,fH;~ucuΛ4a/.C ^ &/u˥fGRqM0_&P6oLhQgV4lu>x0?D#:W׿LJ WnWl>~._Ks|X9+p0 pHPuDg{1M([Ng8{gu_ ۿӅjJߴ8t+&X0heS4 +_fUNk/l8.HjpWFv,/ǷHl CSxK5Nz}$p5|SeK4N"֯o[#DxfoFD  f$% rS%Ғf ꕁޅiD,29ej5K"onPoj;hPNxIGO"?I|ERzj=̷ڌ=.<&yh9)v, ˳K۞l_}?:EDv_aS 4K .kݔ]Yf*)G0z5G(T[^n@A_Tqh`dE7%C NPIXLq@`gd/J56U=o!.^rd]sTO*9)V9'qFMO)!`)Jn-hw{慛fbl˟h+x_@~ c@'>z'0uik1+$+Tvq(C>e,/A(<^(=6k͛ZY鍹qIdyxl?v)hf)E&6^Mv"dۯ4M-C{Jj'ռ"!H>as^nysҵ55a69}n41Dei$oB2 <﫧Wspl ӯ{==xI1w=ME|,> G߮"1_8r6O3Zfh:f18ڕVFWml Z *1Md02/Iװ# $p `Z+q{8SOvS/XXOl Lrwpή}MGץl%)$\gy27up{f" qg7$Q.ԯOs.Spde¬ ĸ~Y)y cm@G%N͕74J lOd#֛ubGs}UC*:zэAx{+v^#D5*SBk&Fz حAl]5 󤖵dղ}bgeRHUvJh=bœMmsrAMaQYO:PRC _q#d=ϕ-Ǟx7Ceȹ-ផ^+PFOCؾmޕ)b'{bZ{X=Sl sɑJ 8)6#B(JI}w\ojouF:;.Laș"FoL;C CBIǁ衭q`G+;cmbes;r_ί1[7xT3vdΦ\S[nδ߲f*(2k݆B:S$00헜'Ĩb"R8E_b18w-Q)&73 ~iP(:ؗ6aqN n ;_ŵ|#qu1ս1#A$Gܹn,χ+J. Vy& s>Z ieY, a@hoཇg'ʵkgbLNjQzG܅W\$+i(v?1ImIKiEHocK=i!xޑGv@_$Mu`q ^H1޽^ 1R~(UڮiJRsL\G8 9ԵV?S ;]ffO䰅'Sqb`_[ LW*\;.h* ͖ 8'W:}R0O4u8Y5gd4y=x7Ui2Upu6jx"{dHe ?d_]Z%cer٨ +&|HJ+ vXX; /pYۤ c:-,Jԯ")4,9L%&i:\\_{oz$!b);9sEX^IK+=>F e2Pi9:-~K;GHD8z8? o~H=_f[,q zqf r9,8Z,^OLe;dt7H"H3L$ !Ug4u]"@!4qNeLDL8o1~h4Uo7mU끥iowR6G\VE(3v̴ac':TxۄԨٮq"c ҪL@g>1VɌZ[P@f´k>@,,l}R{(IYFK𢡄/K ͤ[Ml 8d3i4NI9d+ɒڌE@z).G>vH$̷n|lSjͨmU>s7b0m{K14inG;s7XE^1A W!VBuلx~ZTy:Q; @;C$$GzeVfW̃!:4RT ޿l;|EbfF}&6qIl>&{48CiYoN&5%zki,=.XVM~w҄T`X b劵)y6=/tWSZ/ 6[UG~_I sXFڔbDKB[LwX&c|K-$W, 'aর34(%w멘!55mQ!+|6 H vNTh}n{\̤x?E ,p˜'JD闖?T-488{#rfְ#dڝ]1f{x`ȫ y)=OI xiQsK๟/OźAya"mhpş)V@R,u6"e4O oCtz Fv4~t?)x>(ě;J;RR.Wt-6PBl׳nÒJ/\ 4n @(b12e1H  };"TN=%vt(/`~М:]rn~Rd MړY61ԕIùC;Otm_Y>pY&w $ a"Op>57 9p)!{,q?tkYRBJM `f$vQaX9yrG6rYPh7ѵq'-o6%T(kF%V*恝t:}_ZX6^Ol- uutFk1؊zbϦ E:TrߏPiߜ%its4E^&쓈(_$2|c7t xs6I*AGMPZN) Wj.#>95 4dQLT[n`fxv2gF֯]hD9 R>$C4VKXTDXy>CWn%/DՋ 盚GZYT1ڶ$C/u0$up]0=$Oy:/7--+EO]̑HeIȐӋR{ʶУU ?(aL9eb3MW2 (CUV. EuH҈xEW.Mw 7:gAÓ(Ҿѵ#mx5;:Lp)wʅU/L0и_V^X!%X7៱|=Q2="W"OaPoԲIT~F!1I4wƺ&0%CtQmoNTxK9=Hu?(*hz;)4w='\ŶWiQwTZ͐=_G>a.kƘ!2`|~YEG$H-Q`VыIr[0X5s&pT셧UZɲz'T\Q8-Ҿ;z#| ݬSFʴ-AY̢2C\(U٦/q1bwRz7`$qʰd%HIHک@#H쁠B L0=)=t2;NtJۑ$Ou$ AV+fGr:аP_&CNkPEF(4+lܻ ⧋CINRTRpA3MCk 6Yxc؂}1IMpx1à"sI޷r .Z )AfcXBkWZ>ruthrq5$OR: ZEFSԩ@\"lk5S2 `=D &/,Uj7NI8G:Aۓw[ᰉ=l;Ay{Z&PS| oEGc_5U/0Sأ eI+`L@2F͜s'RH$Žj&m0@=jP& 뫨@3]u?D$Rƀ,QbnǓni>Pג) ,ZP[QudM ?v>~?G8tjrߚȻ9iX]oE١qZ}f]S0Tt>BC6 5!>,Ӷ DVrs{2Ry_U7Um0弝L7J>Gc߄4j |ŁcB&@%H.vӻ) h ms~su,r#Cv-'+PzO6Y}5 b Wΐpd֒ *ƼİHUB}MqeAa Vޯs*#iDbL C#82檶qaJ$8>`/w,>c'lr*TDTّZvlX غ_\b7tQ,s=( 3l^#u$_.xz>[c"ʼww>kPȮХ3p}UvX8c%79 RBWյ\Q vu7%뺚iD7X6xDj eH7%B9dr5!8-\S-|oD/O4&̋*}eλ Wi2B| rU~(L"Ap yT,daͶ?6^"֦,hL,(I< 3Vw5luOE"v2!(Y~ Y :E"ЫB-~U'O\my/R޽*}JYKΎnf0mĕ~:6CODyg\ ,-NV)"3#:ppRiO\N= oXAgK{#=uIc%tj)zhmqɇr3|bOx \yvgD Ӷx]/ͯ6^w+$X~+Ւ,XJD͘QY.f+ W#<%Q' Nf=)5{ӧisZP @wOr!SNe` 1Kdp Й_P\~xvd?d+{2;P۠|G.=P|k[ 3ox3zSnø|cx+颳nsp9lO'l¤@{) 0SIMv^I7&8,&Ӄ[Ƃ];߶*I$Ͼ5nP柳GC W2e0y*u, ͌v t$b8m|*:A,m@=H7~jg/SrݢTA;Vs[go@ BZ#0b"x|O̚$7zdvK닇obcb+u=!VBA:C C"]cڛ|e5Aa}昃{Oi`2I,|qZ۬S9U` vH,1? ߸0NhA#%ˡVR:Ն0x)G\.Pӳ.I>YQbpHooXA$J$$^&!,Σ"OekmS@g3\. hN[߈%$7 Jvrp>"6l_2J*J PF>>m [?Đ.JRa?2L%Cr͊36OTk= I h=sMO&RnTm09F!s2m)|3@u8 ~J&ysXA>o[~w?l3&gzj֐L51]+߯"l$I'  &)YmncU} ЀW ӧt{bGW!G[$G!aÂD4Syrl@ݳC<1_}4Q&a #opVTHQ# ٓXiY B.sX'1|>Y^g^Ug681! }zۯs Cڭ$@U93DQ/X'}2d3H0 vCQ,x0;Lp9yqIV`B(ݞ|Sbbw90DZ]m!±"V9~v{ /k-d#Z@1B{|[-W˝ҢٷjܷCpPs+C3{Y08P09_jwW8l8#}SSwcYr0P:\ BB)}2#uI$,7Egj^YG؇dnsJ"YSMS-PtGu ! /R/&@5Awcl$㿯V= b<Q;=fCN3}`v=e//TiRypUdߴzh ]9<PY+B[ag;a,$@쨔K[JIbJ#N¨Wxn"}bEsWB14MҌA|?xDJ):]l:a$ OΏb!3+1uξO.ͷESx|v1y;_o*!?QWzBXyd>|! BZ0UeE,RGPX1Ή:f+H?l˷K_k&tobe<2"apH2Xf~ #kU &07޾WC;};0Y$ '; HtA~pOr͢IڼF 6HՊSM .S)ŕc>b~]2곯' xnT6H=X7Xާs~Vsp==*.5pIv3$v=Z#$ΰkva6"Zm} UZ2)MB4$-CoJT3uCH^8Ec9H;Z6!*eAi֣tIA;2=E.ak% 4̹%j8|^R?VȳDX!4ulYH@\VG7G {>`/~FO4uztsI;w9Ϡfh7i mPkq|t{cd:#sh)߸c ѤŠbjZs(o^T¿4u(یC"P&_1}iA6K*M7Q 6zye卟W,|hBڻb/a>؆|NȮ\JT%$Khd8#{u3ҍ 9Ç O RyF32f[7ǫ=)-c,*+WT~Mw+7;_mDaOB"zt9aFK U2k`{XĎ7=N O3^{WmTj#%Av| #8.ߵď\|k*Bx㕴7;ࡥa7hu'221!p%nqK|Ӛ@^]—IYn/9#-=͠=<Xh1嫐 I Y-4/EnC9Ua\f(UG-d_]A=YOh]eS}Q֢LϼsxbNO7ʲ$5AV#o vfz ]0 'ʇ) ZWR^q0%hdL$ bҒ*ꙹw{Ba OtU<Mߊ`49Saes]㥅NCEy8_Y݋Г*EOOcݯWJgX .]:T>*^bzjT$Rh,PT KX G@FVbN: ᬥo K wxn@]zmu3hھP_-{}pstCF".vnPve)Мe p-5ōx|zh4Y3^λքX ϺtG@wWD"+I˜+;$)Ls@Sm5$E0m Vraֲ բ?L^$>1AC$7kz:-[I'|q]!u6:[w% Ү%&|2gLت,A"%wV! Vn%IajJn* (QREBd;PvE3NO72esHN/E:zT^Ͳ "]) E$ G:w䣼rIBPG v %|FZ;2_]Y&+ F#%>d飧| { }C44iTH[&@~n]ȽwLVNĂgW+b7?N(:b7ښ9:2P`eh[-WՒ rqb;3k-,Gg"~Lq$wKw蘆ϳW ab. ZUF:ٷ79 8/ O_+{Q1#nM޳W:ztǀ1If̲qkf i~[ѓHzM0++ DtL^waHQN~6p)X42e2f򟡚XC3Y5\9e!}S~Kj|sNӍu;ŏ4CNKV$ϚM³y{PM)['J HZ,#txuYZQnH[FXE*n;y{DP%N64Dc* zXFd^НIR jJ΀N=jT#i0 ;+LAׂY uc*#Hg-߲ 0 mZjNxf]BLjf]] 3cGg'~>eE@4U57& K{vR3`,TuJ_ D]/~rj\ `XaM\w@+rE~*}3[-$ ;$+D $hl-ڎ'N;>wŪ?[}-m0]#gZ<ܽm3$8mI~Ibu1&xk<ә<9bwu 7\,Uw|S$KbRbiϞq``?L0i\lPAC{O ƍ(~9`W=7_0+zCb,)yYR0|'1;D4= TS> ~&T^5<Yj L ~"unѡ`8Ø["у cWd]$Jt=kQZ((4FRpyWoKMu]lc&G5\`xLz:3!j~hE^F8f^8]|2V^Hl3߀q_y9i?-\yrj՛_0Mܡc(OI&hU*(>補Kk,4qb%([kPֲEa3V^4]Mm3Ae+"At6#mٵU ԱV;v0{{N*dF*+]w3!(4G5+$-[ x% 9d} )SBTrW'ʤ#82|S W靣H6- 'sdgE/+;jmKpvÐ+;3nE{xܛI~EDofm$<'0x/k9]G_#d+ [ ]#S"m2AH9mI^!$'w($[Br"^M󁣥'ᦎsf6=H4_1OL0!Y @[3=%&Kh,f#/ dkwja>tb-DoOO%8gػ IcP S?D+߅Qɡ3_ *朮E5"nHE^?5s]ګ5sw G%,2| WQd{1FH$N9pG#s g(DyI'8nXWW:־\YInz<&,Z2&v`V +J] *+mz+vcʟ&ovmOQqȑpΗ5&`S0t(']mL|trP\Itd /e]i%1/Y꡷AfXvFarN'F7q.j3.4'wf&> _-Z^O**9[>%<\,Oę{䥦10/&()՞C>d`2G!r }P MC\{bؿxAJZy1R @rI_ʊoُTq%KPZ6HeEĀ.JtֱgYZc4177ca588fb9693546b0b9837e8d5f78444d6372910a4ddca5ed320a79b5d7a8472877f5003c6d9 315bf5c235bb455547dcc26824308f3938426e05 91fd9eb5ac85034be689d5a4a5f2a5cf9340af9a