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  N N 9~|<| ] HOL-Datatype_Benchmark:threads=6elapsed=521.745cpu=1954.380gc=714.4807zXZִF! 4w]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;9v3>*Q?PxT j77v 8C= g`'&卸Ʈ2@B`BzRalEG]I3&_ʌNgt[V:/H.ii,5$a>*W;.?;>xDy3QvŹaUP{; Zk Т\-&ۆF˒83Dz5xlali  G._MB<[&|W/Y2*u\avapQ)W]Y(@(Gh\VkNPVIw"K>y*CxXl`qrFjN蔳I`I2]?;jܽe D?lVAC+4 r-zf`CA})V񀳃!CD}82LI,'lBjgO mSEKC:TIcF4 9~"~xgW1̠U_K ”\Ɍ' O81f_!(A$FHIqp9cGN]` n7;)F6p/EML{R: L3qN3H=HS8TV0NeGz@lRR7R%4Fu7%Kw;ʥR WhPsqy KϡP5(v:S}@F pD6z4TiԕxYsbe5R9[;^.j,;HuS,F&.xȱBm!siTwcEms#H#-0]VLDIxVPTcQ^Iۘ= uO1xzp4Y,-umh i_gYZ7zXZִF!  ]ŗXiɟ1)*u%9Q 3u .lmWAw,mR+;{0F#tVP'Lj.k2&7fpj:B{[@V[m<7=8M1,B ,>ˑFYt)TJ 9 HOL-Datatype_Benchmark8u9I!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;~ 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;~lN0ca+vRdD3AsΨƞEerYi{K9ɕu-AkqĦ =z[W$Lj[EݻmcF/]<2j &Q:|XBGP'z.I zJ]K~Ǜ1ξsꚪRFh@_ as=[[oa sDєZ֨roi/&-֟m&92/GmLU8|St?ղ-1_9×iKo"Q |ބ^ "\wi\Rbp?DT~U֣1.@è!42u^o/qc6Jd{+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~)R#ggvMu(xeze1rxG$[">>I?]8xxELF}]5{an+u}{r8-(u_#^xM| zAbO=D_8Ȉu) ;j/N4+65G\=b w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id520{9I# tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! }]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2dbºן)H ġy8@(xG~uYl%2MV =ox,ku| =LV:"C{Lvl~p ]SL&5 2f1sD}3`qWszNJ #7Nc̓Dvj'P4@~9^]o]sWKd9} -57Ce_YjH>lQ}mKJ= [,EsO)}8QpP(hL0GNI ;Ŷh\GjI}Oע3׳17 Sj^EPys'y̻Tg&* `b]L* ,%L! u_!cFV=l2rj*&Q/`&`X/⺁%+`8BjVrDvqd!!Lb@ePcu8Hh>weE pyɎ!(qk 0`sUw8z?أX@A ۈNDvψV`k+DAa䴓i_Ah5A(>aޭ6ǻ Ǒ>/f?_:ޒ p|~`OWČoAݺr-g7eoA%"cRCR^).ly[~'c\.4T$!%YhWq)Ѹ8;ʚ_.}c~otCyՀ{g+YȩW}_ }֠)ݕqī&WJ6Я)O8rA2NZlvkYipǰAғi-e%n5 hȥۘc Y,/ti-‹Z2iulGhKb1}Dy IEdWl_Ud 6\`' 9[T+,eL =X\s#Lr _΂L!W/~g3ϗK^iigjU!](@ 7thASjx KО.b$9@"8C!waP[ZpnDnw.hdqrHE&oa֤ Q~B¸A5U8m*zS?ؠW9|ϯۦ:݈Dժ-gYZ |F=qJMxvKu`%Xv亽Y `p74 eXGs;˅E d@?"U۞{Zl~'G۵GB){U3{T M\ScT0 M4Tc#p@hıd"TvFܨ Ptf*w#KN%kk{x\?r;r9:GM$uEb3L+v]} )pX_NC~KCCbst2n!P;!ڑh Y M5pdsYL>3Q1krd V/TVҋ\+ iT܀I sA7+Xx7Ĵp c뙞9Ƴocv8ph{z;~ɻ$Vc9@o|S2@5cx-OH9nWr-ެI Ƀ>5t 4l^\=U8w ǰRxFxwjwùLY=CMSu,aB !ßiuwX?~|"Ig$+oI42bdo; m Rz]S2mtFT D`#:~K[ UU)]EQ0(O9vHw7})ET<*dAU|Dca`9*DF7*L21]|є 5Ⱦߘ.KپG>b'z&\C{Y5<#S.4.I>A˿$sbБK~+7Y8_W`*~?t:%cQm{\ 4 ƒ6qR-Gtyk/1yʎqIm١)mT%Y-V{je56D\̰f9LhARսntjeb(hƤ+3c>.e D֬{IČK;J7O9@[2eB]MDA>~Kwcf_.XFF "5(]3;WY֕3S tA챇I30gtɛ{qNsǍQщ8LͧaI'F7pUI 4Vߚ00fWe2vnߢ: :4O&Zsgn HqҎ[KRJ6ho[==[˫+[vG9re~c s[jyw^q8 aə_WZJQ 9Lg1dԸԨ-5Fŝ &ֆ醤ogkBޡضU,`8A}2Ǿ :ZXũԭjDC$j mq!g8TldFeR F̘Y&/ŗ5Xb[l 2Fx{_LIC璅+Ik,KT -?D(T  99=bohpR/WN0VzAW.:j6$p7uRf&_թJ2"Ȅ=~jQy+V`6 OK+5!!gїZ~E1#Yf ء(uFEHC8S\|EŚB?17KSTOSHqV ^YOP%7,eCwmv?ԍ}rݸ@. #N^[-EA8ܹb1Ծ }4ׄ0b`gv}%m`%ܔBT=䧪&%2'v1c%" :Xm |:aJ_dZzLM/C7CL4f#2\x9?&lóRiطdp||#ΫN*ߞ4Rw#mU%uA}nR_F]rʼnQO/L)A̵9C!G^Q54;JywR*veJi0}KdN%?J UӹtD!BQ>lr3@86?$%|W5EmaߛgCirŔ 2Eq_X!+N*hBx&/ݹY-ps1>C01wq޴ 73M__jkiQY#"'V^<2 ) u9vwe09+)qʝndO4`oȞƐ  '`f,k{͂u&L&LY-GX,QhJvy)sw1,gF|:ץˀRZ"nQj˒^\`*[q R5f<9j* ՑfQ+i>HPslo=)Rэ:&,4]v*@&<σ̖G II,*k.CD$r&?O ]r+NRl #h4NϬ*IT7ps 4,hf&1fп9lv){xe 0G&}RsA-M۝56h*asSԳelE5?LgYI<,wi?:ANzOkzEmq8n+ĔVĦ{(45Li1Gj{T涎>!R#A]&ns]ŸR y ٛ bܱP"z /z60$<{ZljYuihD,i)yIlhʈV79pH.!LgΎ 7~Ҍ|Xy7j K٘ф BK<\"*/DK;81I5<|k`~LZ6uE;JH.I/dENK]gYKR7kOe Bpף|E+2Dލ%t6N6J9F0H-za3wF?*u߈Pm"ѯA~ַƸ9@VQsG$E]ueӛ MjHj+y"y tsWPEZ4r |T~_"K *Nɜ*fa_R[E(OhwN'`\Kx)%,pAqi<:]<{)V>Oے IUF(Ӏֺf!%`FEƽcCүw3oD9@d'aNC 'պ}v. COܡ^UE0Y #g{bSh V %F|?vjQ CWN+AI ,N z$h/1"zx#+knI7_)9u0Zx>EвHMKс :mu+F^Č^/H/_a#ow O ϮjK^{ #M;pFR`B;kg,q}tm';ǚ>ц{ ~eJI0@&cQ_t?S=RmH?6frL9Ć6k{ksQ"XczG|Tº;)&hIR([M;W>*+?M52]Y RU9" 6'gQsz]BQI`7Qu^ndq54PdUpRw2e;h H͠gf0#Y.;[^ : ]tN51q@@Xl\C)h[l  o$l*K)6d2I`| CU!eI4V[˟R3Hy 'EonZ纛aע9W{xTsj󘃕(,n^"Y=oQf*:xVdύi}(%; !+\"`S v2'>bϨuP IƏ'uiE%NT-DdY^A$C)gTzA9FG7UmnyhÇx@OTu*H%h9kS\Z,-CoG=Ԏ>Sg Y5EA/YTMf JOA2o }}<IC[mM|nhи U_Vڬ_GGk <),V$ol7{`YqwrEUxGNݕ>ܠRzG5;;ٯK,o j>8ȋjN-.>A>jTԥZsry"s:Z 1T\uZx>ף #I1x|ݕ S2cFA$ &M@/peXB͎7fu_縪rOE.\ü-_jiu`G Y_^Hcwl3}-P0c#MUJ[_+,ӱ-3閮lFB\b嚝VB ~&9 p Th0 Kv5[ZgzytÚ%=Sfgc tmwa+|jh v2mlPXéH .:3?7|lӭ,u1![럜t^۝A>lC](Pv`Z#GKӎj0>٪&=J=#Vrؖ-zrZ!JL3,4PF9pbgf, 4dU$JB1 ߥ6 NRFxi4\,0Y2jjk*vi2bGyM!^dzUCF=eCqbH-G\qYg :SHtYY6B_}92p&+KEc)gySc^7ϵ7BOC0f"Z 1֍.]YΗެ":8)z+f%^v%޸@ww-rE}_m{T|=Edae]B9Ǫ l*$3f~SM^dBYHN* +B(w]B阰Ea:dRsj*xZŒM*$:4"xLXX  ZG:a5V:Jqz ڰ\F2g5#==gQڹ^H/ղS{^w dPa]oj̱' v~cwQyLᐕ|Mԇm`(] L{:1҆ ޮ:u:g ȎF"7 ܍ EZaLY1ݔSYe`}edc9(d7 ״z.BBcྻkt-+~| ygMotDX9GZNXKe\ 󏤢A8o0tY fz3@n)!m-v:OIKqN·}C,薵oa&ͺ+87'!M*e>k7c<@;j 6-=6'%6=.qvYv>l8/'?׈X*iX: n:ױWΎtB<cbpCo7Fs<9q._+pS@zZpLZ[tа;,!E,Vuxr⢋ttTT5EڨΩ>v#=F.?vHpP݋\*H]5-dNKaAcq3{KӰd<|F'$ r']gxgaù8H8WhjsЪ$eaPUm?'^` ١~=44yy 5C7 'à %p;ak)s }w˞+Ϋ\]ûuG}Q8M?Lq;=:Ņ ah⽕3(էUP^wzb) &:׬|Gwlz#y0CF`b 5[WJ8K}gb';Ӕ_>W6>%bLRqf `vW x{.C&_:&Ya2YLàP'gR(7a7~;yH˔a9>?5ZFe x'cLX:D0hxm"1W7&N`nܐ,WqN^)Ka1?[1r@4G;MѫB8vGپdՌp[e0An 6. 8m5&^ߥ U畟CR˵7*zD$]W$&ЫYuTJۇN~.X > #/*|k5F[1Zep~?!vG"6s'% ?Ws^if_͖E$\u# Lj6Z9Z) DHo -|kh4mUj\jScM*8"feCf1JIfR C^Ő߫όjZuM%Ȁ͟' l3PlZ/*Ħ17'q"`T^`GbYZ"'{ma?t3(g 3O\ocOEdZm@BgR01#0L؈d Beq42OWvN+i2뢲P~80`w %X!yuFޑZGS&@J`I Bb>Pm1rHg/Mfpm,[ 3 cInhow 1!@ xLk\ϢsC6(%҃X*ˏCH+b*R*e ͤ|g_oi,F/-xƵ8>Js X.8H\`wTfL$t^-_i m[:5xM0 3ęK|dkZK吀mh:ɠy+1> X(ԫl/A+dSf1W2t*4?A%w2Q:gO1}vMᯡ8m0l>x''uMsmXUs@#Տԫn %=0@̣DrIw gbwdiŘBT+>4S3y/yrh+MZ}R<''%ݻǦh#bq6>ށ1,7(գq֒uw m0j3Ey WSa 0l?"o1`HѶI 2_7D23b0ϻCS@+J<[ O %Wj#  yJ7:0olēnW,Nܾ*/%8-s26Y\ޚuR'io2̂}6pP a-ue FYd+=^ڒnd(o"40}%:fly<~V(Z K=42A$?唦\Ӎo0gWJF̾et1Y*1 ~2'xQγ)6v_! ybScϫ[q6و ;`)d#ȀfsOS 0sU'9I,AՇ#n_?A9k$.mHP4N:LOU_l[uͼ-矨dPh͞LVzx6E:xᙹjYr'ՁCyMBZ?&o#2dslip`$en׎.\ij:0$.]"UwiIm#W\Ŧ$ͦAh\fCoA*:u5b#!dsY`&oPTj=vi'ɜP7TUTteD4P:Tj]::a"H]pw-JX I|R$BnYm-BrBz*IN;BxV6VhxXTrkh-aj~VrGo(]Qٖ%x FvBȌWZ\p==đz{c*[0XY^j ,h\k,N0ta@ +C֑]WQU*v֗J (ȤE7V1w,|*X+_G<1$L/}Ѥ-r͒>VdjQs) #q`V$%nmʟUnl vtWYٜ/XSJUOѶ؋5)#OL_"d0 SC hFU4R=b yEH[{w0cn7yh6-PpA4 z&"a*)hbKul`Ȟ&A2==)TI 2B,S"bipZSnӷf],A|k2\<.WbU5߲`)#±\5{C1a{C.HcFlqO*ԒHtK.)$l-gkiR0힒c =@} hV

pT1^oVWxv1W`(_OD޹}v1u) \ѫ6fubɽ$wIoh:ۗm,"yy)Tyl=ѣ6Zn y 3,\[SF3gV =Ʌ:gao$Su m -۱hqq^AaZDiʁYe\ '8 ZMe #3I7On-5'#=!o [:qï*S\^0e[?$BdNu= IdO . 5q^RHNV?QMžO}=5"UB1Fk_]ԿCjѫq!>naHk# .8 ~ pB5 @akh>@X:V?}nI..Or0AhlI:1jH[)].4 /8<@O?9PjTH~eքm͢r{C\N '16pdIPAj^ "zI% 15U+uu ;!2&a}4`7KD7ywo=VvOEl%T%/JTQMK2BT=Cn3wfż;x|,yXkeO^,e8`X`ynUf]qpR,[te>,aj@\?șY`k Q?L!':*s2E)6S8DN1+&w@Em׼,PiUE8 V}','L1@Y7KEj2i(Wn^CsX}tyJm>)?8*0F{\fh;ëE0xx[ Z UfT sLD۾,TCnL:a"3#G+2۲+!"w,bcpb˸MF52`Hmsb,^فM>vSz At6[m3L{Iy< AyY, f[8ؿ= `:c0:LyTyU 1=hS3Ȓh鉄(8[m""V=S~0A 5mfVXob'L՚xԢun%K]-mmapVaUd/Elأq<[[ J/aLNKx ˫*PBuMԇaJ>KJ^rmIƒ7oͳv5 Pp˽cn4b3oPV?HUFF]2g#-5"A;:b=^(B%4rjX V~NBڸ*zSπ.KPcg޹bMsF'<7-~+6x88fi=DJ3ș ALz2z?(-+Iٜ3TsP 쮙xl3GLbu{?9[CΓ}:k4m$&ƭ0JʾLtL ?Y]2W_q~.W铹 ޾JD|; { <&`9+I}XzK_Ah.w{$Y Z:Ցtt6x/M[_ S`HYcVyL[8< #M3԰~c/'[ꅜ{R\BbӔ"kQ,w#Z{K8}isooZ2պg, WB?̪ӗdV~1nَo":N LSGM[If 5Z1Ɲ2 4!r%zhuoАkWnF"b]v.GRu ^.i}2ciCX=_ Wb+T̥Z*ϗV4FGӨ7ae~pj샗< (q;o5R#hCڠ,Rs@*p wQCdh5T|x@oaG'll./G!iuB*5h47ظZ # ɆS"GU&b uPMãPp%{N=*y$O-; O^"Ye|+68;j"zE0j, = IqsT"l,<0P_L##pFjKr&-f?{ژ5[ޢ몭t)S<*|DI^w0ncqvlɄ;IUMǸձ |mUk4(uIK*G-RBjla%ſy*>f0CR52j'N8%w;sꊾ@yW/& oRb`E& nT|Tih<^о3Bxh6 /Bw.ݴiqx#IkS$_`t %Ԝ=@jY=#k{De;<@yo=C=џ3YCD9ת^h}td,gHHdg _4O&P3Qo^FmaUJ%zE۸pW&d >0~Nv \殚L ͊=/PAA Rp'S4Kjk8s6Ao+8`߶ ~5d3 ?N^4=^ѳɬU wk-wRâ9ը<^m'US¬Zxk~)ߩQ_ŌVZxGhMxUm^O?i+!?>hәj].JB49`IO*tAEJS"pf_kD.8àgKL^ӦDIc W kzaR<xFkrcYyBO SDX%B 7ٻi'<.ʖ%%.?pyi!Fh! :Sg-x vTʅ]Ý1E(T9\\YarXj=sKdhmE o^<ϿzPz (IVǽ)3Ǧf _" tJ:S]S_QUŜ\f:B;nOfWD[.j 6~qXg|\ %-auUcM6u.lW0TqʴZ\(9e*3/?Z0Rl:exߒnTdYƧcF|= Mdذ] ȷ_nm+i8y\-(AI>Pz"3yE g㱅UCk fp[PZa!~#C׺ڤX7֋%?kh>I8T9IMkE Tq*[=d6$vէH%'Ze„ig %V4^& :¾EQR+f /O[+ouqQ@hdm/ VV4s<kɵE@SǦYR h +$Lԃob7?Y#:uCoP, /d!,z92CY|/0AvJ}w(..&s~i5A.SHe{<%x9l@SG%/w\C}n[ty5=.R+F;v֥z/1fnHõ_ dP<[ ܡ;| )39BϹ6qzd#r+ UP'dNʲVCUb:ff'y|Xq"u*ڍ81r3E@2YDq?V%v4'!+,|wӂJfZϔSPO.dϨRջD@Mքġcln 2kO2"DȹED[_:;b1PC=Zұ #qʗPKC45^uo/` %7 (qs17퀵`FGT`e`2=UCRFp OnK wSr-ěqiA?R篼 )ȍy-tWYbC;+Wεs bv(pa@M v.pbMY%vYLV6U~,wuEϏFWwd[,'wYsˢ@-kN+?U"V3dnZjjxhA\Hrr m*k?udfѦL{bOGDw- ^YiwѿqTpN[aOo<={SHIHr(B_b3`_Q|r@upE %H澨:n|r9뇿,NQ.nz1oKaa52oiMZc=e*qȂ\)U&zZjwo‚/5 H=>xPb4e83:`vu%*;&dΊ(t(65I2]$6nK1/N/`Mظ*bxE$-di1B⯧8|yyNŗCƖlh|(b}Y9-wUè֞"dᔫ)bqPLB޹`* {}Xi-FK/"EX=R()|bI~ QEQđc6;~>?3'{s7SH1'O+qt} g@]^_'X(N^1 YRFcn:iFDCx5*ڼc Dϩ%7,5B?xK[9Uoq>-{ЧdLWQ=z ^BH@qbr_̉FMU,RN܏ ٧ރq|J1(auF{MX3(zԬS{3jqK}V6ړG˳H4ƽrٲFp&d6r8ÉXd6f2KA%gu+;~ mBkcGUv!o;S!Wz9ЃEOjWYg3W>\953ǔBzT$sT;#6H4TvD$QN#8!pn̋k ?~/lBk%|JWIN6S/г8Ad~;og7?ƻoj[O1fNډyqnTҀG ٧ P5Q=FB$[&Y5E,âMk%<-Gth?X)VfY>&Wgm 2 M{X "X86%1xfA< WH%яϮoQry;Hz8;󰟭8Dv%ւ-錐Qw`|mѷ5j*],I+0nN%0;QLN&QʾMvn_ d8t. Oݿ>XH.tm©1IO]&| YQ,|SΊ$gO+^bqE33Ľ2AmOh8Nml+HNs8DGPLM$h* g.i ^ , oޛo\# y?2+D~[Ԓ˴ƍ{r4eU3ۂy+ϊv' J#j!Kp-u:p$|^Hb kZi|!DPqb]to{b64+J5D R_e 1"Q"'~/hnEkaCeԅ0|k7:ũkL)^&׆ S Ѕ (W{C~ nVE;VF6!8F9Y])Mj/E\9H̐mX, 4S 1TaC}}U2\N&\z B7x2y4!/JUِ_OtWU@gsךk/+!=Ӂxe OՔI{"om(/+{B9.FcRr!om|[% wd5E; ""k/"ܩ^wn36ڧ$18,ſ?dJՕ<#ؿ5_%ej4wlHCϟ+0qҼVNA쐯]_쾱?Ĝ:^!Bwy ɴ;2陘 `RܚEvb,s['V)rNDKKg¾ۮ^rRg 9(֢P]-QG%4XءK( 閾%NV撯cuz(?&&5ZƵQ=e+B-%*HpY`=(k[nץ w.RFj̦|ĀGJzE;T&9R,6l=czg4tua@LFv([Ze%BԦB t&:ҁ2{'n x qdmlB ƷGv8gn[KY7ci;Of"!d@`PV=Fk&YY>nN֫0Y{]*B8ini.76~zdޫ\]ΣrF_ݒ>O9haEP8&ȡ0P 79(]Qj;?M^|,_L*2[PUJ5bL[R;Ö׍Kǚ +ё5\zv j*TnKsIF]QV*E[xSm_ ,'K`| /[[FqרېV=ijC q͇-2yp6H -TW&tyƨv{4h$ڋj"nW*7;VH]G&ǀn9OHv&fJ@/#s|8GN$ 4U, pcǔ[0j{]L;M>`oT0^YuB.LuNzxfsuK\j^S!7YvWGqc#tM( j-Ŀ"O)*t9恡Io砆N>GvG#]#zGRyuN>6O$yVV^ j14h*"KކwҨ  GHd'=6ߘEYB0uvYE;BBL'g5ԒZ"eم#F]F.},QHt<K JeT %,*iU5Q}:hf!h4#TB0\Sjp# P>(YgZYn:s+a&D|x*+ ?_Ebz"} ǨZD^PEtmRFm.Jqc'ozf\P _nH/T+11wwb^f`}Ƒ }&!*46x{.7zYНO[*۝%%%2(n:}cˠ̀9\bSgU29wLnid=2{,0 L(w ])K.rwsZ=P˪ I }7;2`ut4tZ7e, 1IR[2 !>'uWKo0hg9j9!$k1iG[|϶R,mĪb@NU%*mr5VOp6/{%cŌ tzg*'mVVAԸ1E@Ђn/պ3'ښ+g \ ۟XNw(,IG.ڠÒ5pkOX9fH ~=bP lS Ӽ6+nݚ:ۍOe,Le*N72 G? Iqè->zIsYԿkH cz̅JH[2q0B7;XțkZ]遡ecw BKB|Rin jp^lLM3X'FA2GLN4 s{ `BǗ̗2,7ƖA{b5O7 &pyhbPņ^CwoM\BFBzLJe%}Yjw_k`x␪p5\DZvo;H8v1_+ĸ 1F57FȨzPt6]z[la)QG$~ƒN4'ܪO8|Bl)Z7J,fq|FyP#; JJ'Dhc:?}Z-qҾN4QE4OQӱ`-HelS rӥY>kf{=/P$B|8.*zPXVcnR } +wrJP(y1p!9+`n=(XS1jDP7  5=qI|1/Y6qO9/ dJ+ U Xڋydziخ/ˌ7'ChirpSϏ H)v2dT';#dreZ8ɟQ}{2J-oi*xBFS(D ?Ehr-13%tk4tYeIL+Q-᪫O7@dѬb6A*/j!X z!dJqvw^aXg^},9XJ\ـa`aPG_$ &dw.CS˿X,:~I k<G/ cubnTc1+5d׊Kޞy1M`ޞ_- iZ چ~>Q+JMwnpmj)!%t؈,a`5dye,@̭pL"HOSޘlY[KT 4[3E?_$W Xp_(d.ä߉o;esS>ҿwQOo1n,(iº=mfW,)r^IJhbs_ˇջ Dzov^ m^r\@jor$Uqhq^m[Z m&Z<}ţϽB}H@4۸0} x !iS*t5fK}Jtj?lAo> {m?!2s+ ?C$yO|Nif6޻]YRdFBU3}L%2I2jm §9(Oe}œ^Κ5w|> zWC즎\rBn3VI|D ܤۓS`Ã`l/cOf ;IrYŀC-CvҺ, Qc['~a}T.p R-ՃSЖùs|v|_{Co|J3jj2h@|Wk&)=D2 (e3.$,r><,K)$|^#4l[Zz)t pR5@F!uۍj&(*c>3rFeFN4_$v'cԞZojAd#7Ki6[ih{2eɣ#_2v[PcVrw 3V)kVFlKWyQԋ/P-uA9SFW h)=?R(1*5ePMXYz<wH4 0iH(W-Fq.tw fũ[FU -E֠O,7q8^?pv- ngola@d l+vh_IIvn4CX,X0LҐO>#o_CEaP)[ v%b Ll0u(Ҫ *uagSP^?uQ Q3v_)?G5/axjT$I`͹~;pTroz_ֲ>/gCfv{<5`Tta3a8@5n Ёm(87LeڇFzGQIs,_}bķ<;#]5^:|̼J T0N+1O]b#DF{(בvVQxNn+v'lRMxYՂs"pY 4lO[7$ƭh{5NA~ d2z'*d͟|Y6+(\ſk-Dj/nIo`< 34He0 ouD/\xR``0s>,oTtaw ĨEu1bN4n4I;?#i u>SqP}6Ca"\?bi,KqU$ORÔHQ؍DעO!sW$Jrny0<U9^phّZ /Ά[*-&M{)&Wyn2_,4QRP`&H'1;oń3Ɵ^LOP]x{&eg˴=llz*#w^!~|EzBUtіx[BnJ$ZWNif?C҇"$ tz.Xi`!v2Fu4KVF &nUy HÁPfZ&:`ϱ) 'SB֢8BO3Y~gg#rrHCʷ͡ AWtHE02D9KrH|&xU7pe*i$><a/u͠w@>bAy*UZUp毽;Ç%&*crվÕs<h΄2RA^0ˇ8ʀRZmIm9O}*x45qyc&h+@AjeX )ޤ窱,ƙ˻m-qN.HtcA\*"VM)=!䅽 7ŶTۚ Z- }*S9=HN[ ER5JUqCU|jl7N=Vq:>'MJqSg ([r>@Z"hcC NL$3qظV}X13`ᇴg~lWt7f`tB"/tƀSAu7HYS}7NmO Z LOJG `(ؤW"l d#?'Β%s[t6!#;T)恝7 OEek M/=+G4Itm1 Z Q8EXuLTM)f&B|Ë!F|3s7Alp/׷q0 ԫxQ1~==Ntd(ܚ(=nc_ZO| ă+ Eb:?; tSP]lV S$;G74 kЧQ[ HP;<'TgE4+!!Pj`+_KK][+fڵ?+Gݨ#gl Қkl'UNꐿ8dpt9?&S,-x߾ꝜhM&ܛڲ^lOpq5ZJM*ېDrcPj 6SOFJj v"۶j_R0NF7y%߯Zc:|\Tk;P}~ų8ykn$(np˵,²|4L)M^eȄMdYLM:'"# qEsGU{3JX K7QSMvpr8\I@05hTR{IpYW ׄA xH2V ab;,Ha"?N3+Ǔ֟mb=ILQ1Z' Wj`SHڒ<@9%:@M :3uQj{J%Za&9r}et_^M^,Uy& U3>._@VK8`38cnӂK%V%pEo 0 ȷsW˜p4zK8b70Xz3+ `Ci a&}Mf &}ӓL d  C(@B\`m~ YyeQƼvվw{b;-/qM4mG@6! $;QCydƺV%{$V<[~Q#(w*LRno PebuWSK:<'̑CS-sSZ+3VU"upڢڃ}ݎQpq#Ssf*v95G)ktmS~(iq1jN"1=gXXPO8")[?Ծ TR&j3#A*<'WY(؜/֭#nT nk ts6N@Ktv!j솀\X@? /L_a ݆VHYr^2丟plP L=߽̽4.R`$ ғZ~: jFm./xYeupП}]L6ЌX1#7W ֩)RK. &3gEvVmIj|<>efW*Hĭhev-`>g[ggNK"t2Xp\9 [~&֦7~_DA?f~` ,=&j^넭 z5r  O?"Сd+dp*q2zc6p2``.;?k8.$~)!}Y_>?z:ܴP 1RV42ȩX?>?ΐŲњPqdVOZs*>W@X-vXk,O`lUɌ;gkAXZ-rWqKcPlx\`|Pn:Dz؂Y⫆ ]Z&!R%N vY/wzꃲJ^o<wFnSnU>(#<'RGȜҰ2_ϟ.7t-p_Skl3RfצZz/W8\ߩ2:>37,* {bmjy|#~)נU%qAW[;&t stۉm׹VTZƆF6`*~v M8&%6lFùoC 1G "/7XM Ȼ: qG!XAz>9XCsKwB-YThr"Չv.[,ĄCJ46hz$>G'~2;|ۭOh2jf?Z<&Ws-2}U2ry~H«KME^^59n꼭x' ]rsPvs7W|RH@)4w57N7ZnlFkϹdJoTP _,̫;0D쑋H_qYnJ&/HW6XuqgQZ!A<$TZVA%$e<\(TJB|% 컐P{9--d,&F`NL!&IvZ\wR.Jsi#ӸIǏBvG>a5Å)- Ь>Ր(BEqitPK}UC`фo/F;NIijzW.db\Ct(=g 3u hM{ˤG.jezK00y9 VDAB_ 7s_mv'8kR;4^$1#Y<8"v#h]YU`2Yژ֠0tV!,u4{I<űHhT1BLsdxFfڂ ;dc` C̕_N baac2ub.2? Iw!Q.AJV.Fp碛tZP51f c1mzY$ah[0ʸ ?h}apk!o!TT7; 6hRLg\ٕuk: mO,mFS~W0ґ3 R@,*K L2OVڄ_Ď ȴ"sX|NDQ?#z)BVrsiyG!?G 6$2fkڕ!l 0\ v +<~;w? _;>&=Ma S [{OnسB!H@طyĝ2c=يXnTIogVmu Jc@ƘEmաz9ДvGJ4ieCQ^Nv>eqjBרcČt$,uc1TR?=p>Fy WEz#^hazUUrlpCEFi AԪ t]%;2q )s ҈Y@ہk)R It[Z-dώc[0. e^0&0='5AFZTv͍Ky;0M*HJ+SGMV@` .<%}ԃPp? >rb7&Z{frpBY~X׏`7eCxSvo +xtQbi]fk/r|cAWy ˿$497+oFAN #4迭W+_v4iU/G:{">Q4z5%ۈwWGx gbAh :m>4|(Z  E7|Zz8ot!tKRI\oT{unuJDe=9c]W-0Qzn5=ɠ|W*Vaܷ$@eV| dmR-&5!XYRfIMe ,rneIa1 wAIthMõ=ZCJЅyGhǛENSg<'SRC-[gO-녋0`EϓoɷTy60Iy{e)EuADpcZRq!tyjVLaS Zi]gM˜Fw:V _Yw;NZ Jrcz*s`G9@;+ U`c_U0Dcb5!y&#b V8jEZPV=}kz(*YZQyfF[L9w.K~r(3ҁ<< EGRǶi-p|9Zu}_$8hKxN=QtNc'~:= c cj73~h@ Ξv]0G)~*ԧ&42>ɖ`{LkRVO}K<^Hmw?YRٞ> L(=V#RОåz↛>Os-XY*^+\e2Ûʕg Lj!^ 6C8a&c}dn|Aad/wZP:ZOѰ|q%_:Ż6гFժsdrgtL`3dDۼk('KqU$S@{M?zA|(׍ 0}O6¸CɵoSPϏjGUdZT1*C~rw+M_.ԌNaNZ61[B;ܔz^ND1|tkj\it@ wꋞa4^@Q@+fR@/_-3_XѴX.9_R oSܽ6a w)Y7پlz82 s0(6{!X_8PI $!4Ԙ&iSlb7`Gd׷bް肄-dr*{d A |8.GL4Rhnj.%dcf}ls[.! Da(CI/_Ұ:CȪ* ;GW6Ҳ5 `t" *NvP{p6PlA^6C*u흵XdgWc Dn.kݏrr c6jKl: C0|nC:cb"h$2h_nֽj_~kГE3{Md<I&0 sd xVGngJކVd*]%g 3r33:rGrV國iAEOɵ#[Q%5Cܗꈗ hZ nX…͐y@e72COԌ͠%kp\2?̈6;`ٻ3{mwIH̚@[u(ޜ'WDel:54` *#6Ȥ#5N'J'PᄟqncwޥY唅QGiTM3'gΖR/oYP^1*zasy :,p#[6; S))A 2kٳ|I;X]Ɣy]K;s| J 2d]ܧNA\;Zp@  yYF ch~%e)L\Ån'-2R5tkhQ|E.l”*[݆ڡ< }I|éwkN""k 6GJSr%HX@$6ǻ~b?BU"7|GN(GZuX (`:uBQg꾣" Wdآht5 4<%?ڙI~&ؔcymJ^!ڲ4l%1 KH& iHu$ L.sq61Ho}4ǩBԓ䷌BT|hr)>aܬ=418q0NM HuyLX\c)*l0㬾JFsT۰!hm=t#v$ud\qo*`3nNnj$+' Ap *8 w7qг1N"QR},w|2yE^W'dX )Y5iS KLߛzx^yGig6]QwᲕSnroQse@.^vt7s:c2!$FPۏQ~@ W%<~C4:ynO56D.z&3yDqƺկ[ndYw5< $Ll*z T߅.-9Zq?Z\=li8^z.`DFkRz * Qe'0JoÍ(]6(EC6Z .@KK"2ˠJg 3 QDhHG,ܨigdiMRRRm! S5Q[*M+X(5Qcş&.UR pEF5 =#O^ ڑ DG\~a tG@ J0Xm=*(7ߛ9o &mb#l+C;|,GiJ_DE\ @l˕螷ȵ!r\JgUY{?F,WtZ.bs-;~լ~pc+WpxP dԟ/yy"J`\-{g (,p Kϲz@wޠ=.trNJWSj~9R]Q,!%QPl$cs(zcP١F ;$!ݲ{1:vpuk,߷CfQ!0+^j^Q?OCڶ+:s*'@,+ ANVpSH^["N\{s1/2PϜS| ,]'iSW=&jwO" ׸ҩ4Ac^b'BNV(BPuV4\to+ƌ/Kk(a :z%wJ™ =ZU\iS^N9$qzUDI,RE꤉9YTR( `CЗvm ɄrpegϢE>uxVfGt աlRs3(ԓp $ևK5XRWz:yBv{w NjP_t-;(pfP'c<(XTt‡߿l ?>.D#69zT?W@rG<]B#\8e$tW'fpAKx9.3x#d!GBzb9I7lLjcug>gcOd_H v%UyTim,>WƖgX`CV;ڙשq}UűImk,k#t۴r]|\%u|p!e)M ӏ2_]ȝȗGje(b ҆|:AJ3ee*K@UIR藯Z8Glcp\"7L -l ۽4Bf[k>pZ L ڐ4c c$"+sw`n[IR<1mTӄ6Z~hqWN)ZhgD x{v*Bn!`E'.Vi+2~cK2O)jg[M5lArOgc 꾭 uJe@=; #5a.-$ڼ\obo1YlsAPtSƹ 6Q W[_sh $|uGHVFѳO@_^ۗe3:t'}m[fovۦwáaA%VnT^JoKZFΦddCWmW`Xe辑'>C$-!=DD; u9`upNk#s ?F_ .=mJ8bOSfc~HcueH._ts6uR3*ܷ,לa't(`2(3HOԭa1hFֱf”6f=8dҔnҼnIty\'˄4{ݫ<|&j8c!I c0[qvl|ÐȪWp+Υ[v0X4--p %bYAЧ1Lhݶ7_|ɟngY5i*ؘ`<)ZN۪e*NG!mmXYL:[{r/Zy[ ڽDkXfj(v?T<-mn[ʌ|#@!L'nZWLn+|ߦ$) `B,T`*sM0ƀ5J;kfRmQa)&o'p"Ӕ r$4mT +! y>(p@A4z*hj02Df9ދyUT%0 S0m6vw2ۗ /5NML]I.xNj>U`8?ҽmJ&aKS|s^ ՟ o8 @/a;-3$n]&꥚a4U"AkْD(ϘȬdW/ơ7H7}'qJb(x\$51s7{MZ&|l|ݤnKw? v鰪Z OvB#cDe%/nsd⧵>XNtgVp%O;$*yM'(M_dw0xb!.xc6i̅BM,5=9_;ȗ95ÈjOcѲ螎Beݾޗ@*uPG%%M@yLqIC=MLjڠ*+Z!:q]ShqUW*պ|>Y-jY XN%ȪKVb,|jh:j3:>Lw ϯ67_SQD籏4`j@2Mte@jAۤr.Me.T@Qc/*yڅb FvRȃbXôXP\Qu5V~@rY96RE=imGm&L y|}Ek.Ć൨}JhBQ[)_f|˼ MbFL$E:N>`ҍ7?#ڇ#3IK 2:CVh3H1 ڪ$__Ό{80dl홗_촒8|V0rgn$Ć#[{r~gZk㩱Lb1t"x=yiՈ|C9нpWpu+Ӆ0>i F5أDnd}GZ=D@2+'ίWOo(m}lsAGZx4ځ B kOo'eVa)t#Z_ N.w Wqe8Zz>k$MkLj w7tjKG>q"C .,0bfύ>ח*8^~cu(k$U绣y]u? <SMWt Jڅȵ20;&4 cԿР7kv "𵐣&{b,B4<-w.= guhPBz+%ZZXdgb @+kfR 4#6D3 M~"c ,@0ңYLW t*1$иuKvmKm_7ּ͓ iZ Q6QHhv`#e`SHEK/nb0*?I{)mZ0ηƗ ,7'U2j+8b Q6&~NZ0Dx|?=s=˴qHޭNso~hٍ/NW?ЗnRAҐ'ǥcC 3l]p$;DUm 8J 'Rӈ| ~c+@5FL0%[7saPr+ޙ @Rl>dXq\s2׼S6N G7f'YwD1i0ى,H!|L"y7*JTz~[ @`ܹbY - OҷCH>G 8O?~C.Kv[kiMD{9H[ | נ)Ӗ8Ek,ڵ&Od*›m[y@ʋM"cpiӠ֔^ uDa ͥ^Qw@c*v)~}(0~(;^_ a6\:!pD(i[(~W$uY[ݵ?\>N,^K)m^xn[m x ݿ?,QXE-ۭhH/-Rկ-; )J|?eqQ)p+`-B7Uv\s MFeצ3qP&l{an `b+}{֤V%>YvmCt(?C}\E=m|XE:pʀۮx[R \ƓtN4|꼘W_JSQwb4NjЛx6ק~ײs[`ma|4!A [Y0&Bɞ yzˬPQxCZk29 AδLJ3UC,!'N`p TI1\B)ʴ@~Ϥ%F9" ?0cM2y/ܲAbS7'0<D,Q||8318C TۜryK'{ژJyU_1AVɓD.úYg/ 2WB2vmGf2 7~?4AܗzeL7w{ֺn)c$8 'A4`/rR0Pf;MYC\3m&G'حE RIa k"Sᆒ,z _@F aeWx2odVR9(c.M]iw1=[~JNM w_ b 4`ɠ  \e!-:5 qSBF5ЩtN5ד2n?O(GY; *O16 Ob&ye``!5Ay}b+rċ6ݡUP?KCYFuC~KI@Qe|}a7[9% hi@x4v7U[lhi>Ѓ}.IS551lLRP/5|'.*=u+kp7WAY"D~H'FyM c"$9nI4Y8|Jß(8=GzWf@oLwr_meN BXozUQ >iFB]8Sx&bB1Q [GTU0`o1= kZHC/>%~4L]}vF 'oPdy= 3X,k>C ۖ]&t9IOȀarG8jmr^ig00wheLFKi &ASVxdƅ'=<^fwJ샓S/%hT !7w-` (' $3"F[MvJ)4@zz)'? s~ ,ΜC0+qҨP[[edO܍G0QH8?!:Mʔ2F,3Pӆl%ag=]^wE>Qܾh5ZYi%Y0Uy׮-4c/ɞ,\7isz=!);lј a7|@^+N4e%ksb4" N@XWG':z`#!k!mAA2?X}ܪF#W|L}EJj"|g مESOvytIdǠ  H0U2 %[-(3{FC%qF>8[^;9yk hbzDhnA%3f^u5yw"DJ,P#dpi?qg%,T0ÿ5$V2/t:4P3+YM/Ճ}.t+l'.,{z g'i #\&u'hQxsس딛9"smOq)S)fcR2>A*=;h**%ܿ;J'>n50V"Z? bpM22?l'G!# pP_00qxQV 4AHT~o=@A܀O3ګif'Y8^iӊ)l~D5Ac# @Cgp~rnp@PhTswH t?5b*'KvQ'( `J_ZtÀyL'(삻m+3vJY">lzws_-n V:rXNY w5`X>aL3o 3C+~b(]u<vՑ) hCp2:NVF7sMR)X'ޭwM׸Lx@"Ȏ/O-t̑,I/ C_W J3^^^6nObڬ39n % K\ =#&7AT}_Q!ٗB 9k8GBȧaڀ2J^Fbs kڭe]T ;|`O·UlP.يʃX[QNU}ߊoTB/5(g> ^PGx3u0hZZW;v`GD/p&h{d=][Wa/:պ+lC/%Qj|Pxu_hBݐBNy՜;/YF̺gX"r(\#gf3áɕ@ XO]"bf#_c pg9>Vp֔V~ާD6Iy+ "I6L«M(~6vڞQ$Em٧Ra)򷫴x]R^ m^y[#m]3#ЧR%)H";6Adin- =0EOO5MY6e[ ` **@+TU*:_/)DT0\Aqҙwebd~b ,1T=B|IK5q/_%A&uݻPg#I/l Fx1xQz*)֌*4ȯ P[J޺w霿qYƊDa(KrM;XWf#B!<u6y6yَ*8-ptfa<{Nh4\3'b%8Zae^xmsK4N||\ӡ{/ y:%ogx(\V#K~SAX mr79Bo-9%k'Z'a*ėy {uE]P. v6*7D\HRNMPL1çv7Ld~0f:]|AC#L׿SKQܵ&BNc(_E;s w>:mJO-YM lfCͷ}+M4%RIט*cWau0-#LqT"ð_"۔zKq6v=QuRGl@vDy{f+!ϣs*9:VM]fsyFDWj)W{450S<>_ .*J'_Frc s¼;K//Ǯ[ȎxAxPlUbC++a$xSǞ[YZ.}(X,!{ qnXD09@ ID?9/QHXоV Pƈ+ox;55=B=xźBf_D0p4N[^XwjS-k\pF!6{o- dˍDǶi|?rtRJ:U͖n{ qDȝXt|M. S+f;6Hd%1}WEB=qUIwPfpi#~2>[.ǾU? %Ѫ8Ɵ 9~Mg0, "-ABa&zL;­>wv63:cC_kM"<<+y}2fIBg&4(aɩ7g ej\j!;; o`ƥ8gϵ=ϮKU[l=ph=8Xw4+"Ӊ/W7]9$ `@3e-%>Xߦ5[0%he A/H0Q`!%2`{Ŕr5:\n. W QKډl޳,/So7BK}(Zǥ="Ucd @ZR`_N"nk>BJOR>7В')Mߌmǂ;2p?V&-)K=w:X̳ ZZsz/b2=dBi:;4<K\"7PtlDhP_H,9FeogQYo+?YP^sĨRY݋kQt&j>XEMJXEPźT;jB4Niz~ }_l aM)[[F|JOTR"fΟO6;i<&px vqp(/mq .Vj鱲oWV.*P jD,6z 7)"T(Rw! +;dh D:Νd2(HNh?1M\v %ux*'Nud{GA>T4`Ϟ%)5iU"}fPgw1*}OTupCs潼D v&Z0H\:9J :ipG@Y(&Uwd)iU`>!ɳ1~-ݚ[l$ʓ/n A]]k9%whE7"rB4WnV +^!(M+, o͎{UJ)m;Jj̤/Aα )&n` F՜kbjFB )]MI`~Nnb۞|#[=;IaHC,iq=hͨuǢ]c,M۟挌IJ,<{צIa 7WL#}"K~D[q/X; 5cK 4`C9 WZ5D,sw/$~,Fi+ {_@3#aQX#T}^b6-֠8ԠjlxjI_0P>/YacoƯLd8D"o?M="v14`xU!^x=B0+s5t(%$yWvEcAE7 G{9j53ǟ\ UGe[~J֨2&Y]"+7md$^aZ!Sz9w-&#JWC Y.˛v)<4r<ʉqsWGbC﷙LJ,K.y4_Pa:x4x偿YfRYˇSahy@$,:t2{dG!}(HiA8Ĵ 8ZKL4MgV]8WWOt ^LC3Cg% f' CdF$r SKT1Ƽ]1-Ow&R8QBIHB n%K]x!l+!?AJ@x}ZK z; ݊?Wr3BR}/7Qh^ÕP#|!ijقC}y,^&דOKU7 uXv8e2|^8ʞ|1oZ"\ ݄Bk6U☫\/ NF`LUkDGU4LZ-9{Y_ΘTFGlVIZz1*IsM3%CggYZ ""p9G' \HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ikg]Άxʆ5.f-9 rq?q68LG{!l \H T)-_. U뙰)Zg& /ܼB+GF;MfT=2N#/{|&prN^?:3g  į [<>g&anҽ%ϒIAA!hK~G!e?NF[(e#xrA }"0(X;-Y+cap(5C1O4nsKJPAiAtg4o϶E_7u{6(&z7VN5d1&&`R=lJءP)fDex^뺢rHh6źg72RKa^#0I_%0u e8՞N/$?lO!RNoD-X℮Zu5/-kT,/aZ k UÕt NRocXKtO"'")o >pY5Υ?!b4Vpsdc$l- V: ygc͛aԎh'I$ ~r=2B`My=i-q@ˁ(  1FDdg!@?\(֝Y%6dPij)sDZ%hqq5Nxe7 v𜊸KXt8i<,zpK[sjr=dϢVuA(Tq‘Fx$`Bq[ڴE 2d/۝ZtkQ)NO;LfiOשƱ&JuEh(ZtjzvP吿"Ul "okYcq,7W܆߀Fĝ6k@E%'U_}u*%{rv@2j @o_jKq8ka7bŴ:BjNe(=|i0g1x9\ؠi~¾]a_k`ݦlpjuyƜTGtCUsB^)tVRsaUdCc´*S6h+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H xjsX*J6lzogA.Gƃx7Yׄ~㦃= *1&)(L `o5-6Dli#ҎdG.cz l9 :ΧL 2W4'Tl9'-Ȭ &W12K4"9i%0`&3zG|̨*\QʔVШz&-󤰯6a&'2_;ËG%WXtӔeSi;TX͵J "IcJ'&|o<'FDQ?}iJPPH,bgl'`+>ݍ%mVAR7IRE0-}{Nѷ>*Ă0wWymNy7Qna8uڳ_hd+ U` T渱K8 gV}Qx;h {n8jɃd.=R,U >?|(р\d}^C[kF&0ZꞚTKn+tw5 -~dq6|җ@}3#'Յ)J3 :Aʖ5%*G1yt-Cqpw?p\%U^OiDZ+Og-{ZARp<)V9-1*'@s,M.M7}[hy dL:OwMHס=܊Ja*_p@EsTU2L~`К ~OV7n=C3%GSN?3dY,^p[-5bń:kf=fAi%w,`AhˆgHi9{NoG 1ޮ߫O Ϙ-lVj[AxX"NM14ӗ+0Jd +.T,2D>\;ya)׻L5/ܫAߩ5-ωtT EM4&wϵn.,'7 5&w2 &mj#u8!#3(X5fjdVqos@Rʍ4_$-lI#$I*&<$Ho̭O$`x;_?=N"6A H"+B6lhrq6[-~l>αqs _WC]H/2 7< f>ÀR 1Ph6$IE  8|T[9푼B.@@G”RWs d]ܳ Wє>߁!"+ZpŊ̾>^> <~Xp*+&:[+ ~&:]C?t./6n]usr#1Cӫu-c<)^Fɺ~Ke4Lyi6^4PL.#%?<%)N m]% E PpP1'Zܹ]%q 9&O^|_l1)ҿiPhE!͍,iTVjk DT<َQUWz6(+Ε#ZN'rK F{ĄȀsQnL;!M3Zc41C y$=GRӻ.('_DL7Bi7&Rc~s7}-*)ގ&ˬS~OkAQܞP5ĚsY_p%h/M^1>m]-}KMs:7)Ԓ`Nx:8GN ZF*)b7 wX,aIk"\5"ᑳ3ay6I_P;n3!甊 Gz(S‰^G\7]mb/E+@/֪6"+^NPCFgH.k+cc*4}ݸgIBP/cCc˖%'[TP}Z8ބnf2,J%Ds4S q]}6]'>*$&e.Q~URB$(jMM"4ڃ@V]?239uڜLL[:4&jol8fY?K!/q;VB2; TxG_}I_vT9Y$QhM(*'T%[rĺSu^ hծ Xrp3HS}Ĭ2^50ʣJ] {l b]oPU'>pAOVcK2RaQv[ϩ*n HJ (2_ Hl;dL3h[= +RXs R6̝v}ުryedǀyI䓮"!oԥ'I9LⲒO邐9x1T >z5ca6Ut9t˪S!sڑ%$CB85ƍ9 7JrcK !Z0LI;AYfBaH9-1_ &arߌ&p -oFyr0DŽ|cS~_@eo7Bvj>_ոNűxe$=KNl =((`1K9B^ E :(RA:uz(b05̢{di:0rjJPFkU9AN#6[2UQnyYXf 'Sܒ6K[Yz I OL c&3Yo$\ReW)7jxiS ’~ @V"& I&%^jwa`A訛cSv#^MҼš1x;#w|e/c F)`b_^N܈^l<p)Ζ/.WYƩl[t֊62i뮬ti)AjӠN)N,kv4B[廥مp#̊p¡nFhvޏOTF]Ꟍ˭wpq_"64WχM91q65q)'݌ OALdi`.N_6'gm?Sj$#kw}cc8BA k0ԂHLt*o#r{8CP_Nv'=}M0/YѮf p7&Ӄ2Q>9H 4& =IDC5pƍrw6No0pAojaMc5n|UQvc|!w{u$d=~VlY8.ΆrohtdYE[6G(?jfnk;{IN<'?"~uj}ԩ8*{"Vg!r֗o1eedgQGa\T! jvKm|ֳ Fzod$.5;2Ip Q{)x×s黡 1]1J.By%GPgl+R)re"˨(O>lͷTJ|W?#M1;N\#RX eV*yMg.Y>B5&hS1hc1xBL"DRyvE;x'Ԟ!4g;LIAfs]C'jkm\5FաNUϭƖŸ' #Ҁ*BHYtaԥmqfm2V\SM3DV7+7i_ гtDԠKzϓ9|ezV']$뙠TU֩;M?./ .x0Xԉ7U0P4_B>sT1ʼnE3U%O`nUؖI= QS<1uq%0W`TASy["k*ok>}ts`W0"]`5Oާ.;~X4U*0Xx38 ⃄DK.7Rӝ(Z\"O "*AD4A.#8ɐ"/vz*5c)^|`N 6B[-1 LcO(d%y;D(SkLx&N8ja&;iYSR){0|f3\ϱ^Ptig(8]^K߈W|SlGmzj._gFS\Z"'*IwQgbqzab#eYMYUeJ2WϹs T/j6B{6JR+ð",~=ALlَ8…c&C@/[f9Na6ga:)T6k=nYZ5.f 39}Xz;h\Yxs6ϴƞ: ꅸY=rQwTh6 ffYW}?UhW/rt6͔gD7,|D gJ ܥ4έ~+w~|) 'N-/ KsS G)O+c8Bf|]钡$E=M3&?ھ߫z(GL׋gUѻM!uv~z+p $oUE}~L7 ыF%}T,CIעWL } zߗ|Jr[#% Ez rG"m$[`qu23,3^i~0 #g5*Hˠ8*~Ta1jC&zo^x4Ħ*jA]]f6lm~W= *1>iegI-|Otz[i-Lq{bofwo2>#?Ha^#'A.hլ"@.VulC;Jɵ]DȌpvJAYb]PCa_1*,oNck)hٲfjEK3/Oҩ \, $G""8%>=WԜhPf2+y{eƋڢ첢-vM+Yx#$L\G0?&Uteɢv3 f[ }I yƬ0j:C_<0nQzWҹ~c6^ ngpb_ȱ<:l`YNʰ(JFa:=9`;ۀ^sYyh2.ksVX,=3sU\ p.D1k}PzX| =&[0| &$"\QӅoBⲡ7^*g?EM%rQ5sm:-~ST4rֱ9JȄw?[DL"NtSW:k]Pr<qogw=~Ce%TG.-V*Kvs(J/.n,jH Rc:H%/:_t 0=bQ-Uh* &>9?) zC, yAĎx|cn fתh"ߩ@o>P>&c¤2-H uCר&af0,G'vlë Q ٽye۶˯Bm?1_`*01񋡿a[KKsgB7iܵy7@u)G¸[Jt.#b*Q`yl ,:p%%=UTj{l/#Sٰ;:^*y3IkU vh,]Ҁ/+G(8ʆ.e`ݔQ8D\dQ:G¹r_Z]z&ŏ>lpo֣:\G돚#7W`bP0kWUDwsƄ Iֻ]OG$6;Kb]t_dMQDƴ۾R>e]58U tq'6)HXS|$Fd 0T\?cm1: a**bnym9_owyaetY".BU f6nϜt +q[$GᙷI?[F3WEq<;,rm(R>7M6/̲r0ZU3& t%,Q䴧bٴӉUu')*((H;t8^W>2+hU ٳ~֐ہG a_Fثw/_Kf/H|Ր2`8QOeNM}tDӬ%Z{I%DрATyBՈZETbί^H֘FX!_y jY6RRǡdQHͥxLq>QVԀeK'=.Id͢c_A+SE" (nnʆ p-9*?y]m;3"rKPY3U%~Tˈll"^ssY+eL<[UӨ7Y+|+}<[SjbCNݿc ơØ'K;E%Z/qbZ;`JL9phzrX% :MΖi5|=H`5pi CZ}6uVj }H_qڲPTNShM4H^+)I,]Niҷm14O芌r"T&QQ߽\ΡsmnaX8 b;PYwwi?p6wqd A3{ԝuQo&s.zJ^Ô|zkOSǓR Iuɡ?OE@!Ea궝;PwEG!'x[;<ml}'ư 6 9tݝV.mMX?lVT%>~Nm6COxݿ,u,S݇W8Yf3lm^5PJٳ9-(ۑ:)G)p1a! HWIJ| ZgQ\-ϺZEe"B"[uI7?hK'kJe)( ny"|~Ra){~?>Khݲr i-'uP9C;>L'xȷ7qfĜNihQPIY%RЋd,qXt&`/T?nyQ4ɞ x.t8X# [ѨAxS6PٹD_((U|(bN.S+ Q-F+j;zP?)ESw `N5] =]y`f FgJ|VW߀8BT." dr3߷gdG6a%-A[lmLs"7je }3nJo}[3Dd7f}EOyz@R&h7ےa2K:߮ht0$>PCdg/,R^+=t5yG3Eٝ& ȉ,-DX^UZ :>9*}g=Z4@sQ8+.k2&#~,ݴII' _V"wn35t]<- oC?l`i6`*߹ `Jx{lxbϺv`cw= wA!ǾKy} 佦jH_"}_V0-t$GG'BY25{#2OIdWx>Kƨ۸u%B. ~O%I[0LM&sf9}#(6BJ-p^sp D=b]u?R2=d3D F8C}Gc޲kbL0Qb2wd(҂Ҹ^ x&lzǕgq)&{)1ZYfbhU|'ʙNfǏ+ $/J6ZS9"J;;.*56MHz jµNx0IMjۖ˅N3WH% b%7XJOZpCxBCDkL14ü-~ !xyNrOm Y+FL놫^ 5 Kr__ٓ: ӽjCc-eE?èj7[+pW(Ϻd`%O__DF$*6>)Nc6 .c?Q/C{3\N(1pyӺS h+` F2<|À{K$PI9 `{䙒>yB1/hg羅Z˵QhIX诋HæJ)pTiTRA+T찋в5D^G~, mţ4[%<{~fq  )@)ox'=gxC,NnA|ʔ3J6AXqNro$Yd`>tS_4=<:^AМ9rqk%|r@XF_˛7ɖI.h۔/3OXcNlXkHM|u 9FTY_c~3eHz]MuLH;0tGM33yoTVXDX^ˆ줞0'.?#rc=C-GaC }\GjZfMP%b۹dGML CJ7ыC!HrA pv/곇Y1TDW_w>vp!N8YhZ9ʛNisxa5/dX6N(XwM'7Q&_ jF:. 7C  J2e/]$eb!v, 0C+с32M#zV$cNɝ؊m/tnUn[{!m?yW#'jQx1!K)]Vx^j|mgC.Rid")nY0xDz+1hv1L_5k{RRmHPAc58I;&>{KrAGFdnņAf9Sfu({?# pT \IHbv$(Ot6>3e_+-N7bYM`*p!P IbFCV -a3a?#lls:#ĕjRmK5uߑhU)6; ]EEE5!h#>FS@D7Q٠|,!#c8q^Xu޶Eޗj9/h{FAMн4=:xQ[_˨@4/׍Wyx*OPs[@ *:&Zqq~֦;;"KTGf9el۠2klj +z0:RH7M o.Sh%48#}h0O zKFLꮢek=)LdNj~zyvx:=T>h;h;12USe+[>[Xގ%$n>/^_ή9 >Fg)@^x֎F+Qו.A@$ 8r1cx[J2o aCSC@}.Fսc\%j̢L푥Orb `xY=fɋ?ׅ#2LDT ~9ɝaQwMky ({$!W/KFcL?PP²LtV~{m0~zYЈ#j]Hu8CYV<$~f"+oޖZ| P¥TIJIX]d0lla V"6L@i8I \.#BN Qdvep^Mav55j%3)012UrjIrSg|^^wQFoUgZLK2@}Ƽ$M@GtZކ.棷R<'۴2֭0m >䍽f1:*[ 0U掛]ʾxbO`2IymycfuFDRÞ:SP:N}zQ/ @vk,xC, D%S] h_fdž~ᑱ@cl<>X2үȧϗ):3Eg_reI\^XD8ej|BRFFAN.bĘ0ؼQ>[N7^:ViH1إ|} %uE'7U> WH.oHTAW>0c0z.K0ܬ 0vBah*;pI•]rQCLM|X1]Caans% lY#}!dk27ynהr.ŋebź%3A-kq5J 4%/x]4->:3nmE{ﻙv)S'2Y=7(o4tÄ-CUap1yy#Y{7 _StǸb ž,{A.w$,F6V/1|\oG>98 R<&}P_+" 3c R#RhFc'2Phu9tdͺ50K,uB/[0}~i:(ܞM ?`"eޑ>mD"}}ҴH>D<'XᅬaSʂ=U0U#)~d#]ǣp SVRudUdS#B 9jZ`DTQ UNsFRX^3fXUS'jK "BXU*H/pWw^?J\;9֪N4 Pa 55U VjՑ S՚:9eSJ&LŎv! 0ANr{?L.;wƦZ+[%JѽCH7Zs+LSD L Nϱ)R3A<5V^tB 3̮N:s~ͦJ 5eRE>%n$j-[䂁P%4Z6=7/V|%->cy4O T)M Zf,5gT\L ]"xn[ޒT?ZWs/78o2I*K'S6bq*pD9kx MLwj[Ԍ0I6Jfi!טv_gb*! $_N1Riת 9kCLc qI17Ӕ-~ Ss@?ږd3 e&4Gζa_QDA&P4l_`"H3؍zQ1T.4is/ٜ y=t5fgJGA=l0ZAwrba#qə6$$ H-hqt_lf͎*ؿIafu ّ8vyBL=!țvbpj& 2d>rىٸ[BLb|,3 뷛]*ecS (wCJ|PgA"/s"?>*FCʥu%+/O|AJjzq`OIjlE.cZݒxa[T;Ͷ3MGu4f7c?]VzxHv:ԯcDzBg3-r9,cWYSeET0^u<%F!!T*<`;:E6>->W/}q%+ATѯo~dPq\NxKHDۦg%+zlJ/k1yv΁%U'%/!3:#4" gJś#9. B3=~EC05- A+$9bVbղ&SrPA> `-ٕqFF8ܽBWxg=r7]ݠce8bVPݖջǮ+ӘŴxa <NMB^2(0p$Ug=aj iýgT2h_<$8I<~=P*<d2Vk_3Ӌ9'WrcNO&;Ioեs~_X+B8*NeT-Fև7 Hp|e:*>jj(7dyS_,QYQmzi $HknpBR@;ЮhȀ]B ğآn_7&:wΗ4(Y peR0O9m @TG>gPMj"!djye ^(F땳s[%9K-΄6|fhq9a֦%rH \* QilS9_4R;iUaۓg龜`:ԛ l*D[KM' ?WzڇO`R4^?翋ulJ}V~ fp~gPB("$|/*jb?(!wAVJbx=}{eR8tB^KEQ (2xfo-r'=b5=9ūPhʽ\j)pRnQN1JZ@o2K"FZ"?oC#ܳ=9vL:˜0Dot o KmLE!8Ϲ֕$NX1}n b/A[Ngd8g?h)!S$;--eUO[X/-W鐂R" #ɧk^Y $i4^luћ$^r<)*^khdlTOUtٖqc+ CPyG/Qhgfw7nE`DOlOdw`i w{?/ iɪ$J`n@km#TtuR#:,GMzQb5 Υx?.DH W]+d\|0*blgFu\r/1(B' &fIT>/u SL:ҍ|1a=x3);`xE_f\>IO[huL{faZEX*n4@V8TR[4Z]#b~hY؀b3?^S;y\#A&aUݧhX0NX?{=߯>oF-V,J-%ayz֓ +RS)jU='Dt0O!nht 7`4q6{<[D/ ikayzO$Ŝr նVT`o|7i4`{fhL553Tȣz83H5ɍkEsj:hk' m P#T;}@l7k`%bN&kzbKa>6˒)nyH'$&"_y@W{~{Gny#5vJ]lK%aJ\R?x; u,)FKV}7$mՖL`(0u883|Ouj}kWGF.$0m{<7vXGUwf".ٜC#!MN}L_0(Dufba%ϳXb-ezr}]Xn 4-e_(ѥ!j {(c"kU-eXU$>@rCH z { ePa9_$$FH 9Z'D7ݽ^q!SA :\‘;{KMYUW;q="4`h$>9c@sȯё8rP">M`,vark8tϯQFΤnXPoHqetxy~3›BCr5_5QyhnpUb=jJdXN C hݗljVqS54nD_nǥkTޅ}D&vYOMDST~?:پj&}+jN#$^6QjpZ.`z/$G}v; f " lMҶs3&HHfN\(#Δg~pϜ|2xm9Hwi VDAl4o3PXW\Z<~8A 3K-$F]{,ڢɰU\&U08̇x(tᓮU n>+G?:м{,2\7 ^!o$xlB:U"u-$K5H]'3wk^'?c)BjVJj졙]M3'ōO+v+*]C:J4LZ+|3z1:[Q1-Ȕ1dP07ãUd:p|Zȵ&;C/Bnj&}P4G+pvlHuhx;$ZzLx}n(c [Y !@kd$VG ='V=o05#Su G_OJ=WQ GiIů`wˏyZkx1q'衄h4GNX!9׌P @w.Kc52{uaR-HéPZF}ޅ#B6 7HDeMx*B* VX%m,Xdu9g?+{% ?ǒ=.`W%._n BTJk^'kOIy-0*/i6 ܞ@ S@(cMC>;.8ڐaF/hV+mV7j3*<ޮGGim%[xn\d>EwWFN_Io-yJٹTs"V A u zR d>:4tY[4ڣzMfc\Zy.xDAd8+yEm$μ&O Bi!/fD)Fql~vU}*3h#t݅,ˬVe:^alN(Lې /뙢6'BDC)5fYKmG37-Zd>U(/@w/?ޅۉkC9rk=A,gW>)H4E'*tW薈d=IeCRr lʐ\dWBynt7`j š_| 'Jj<P,셏yO6jn:T q;GhV&\Pi8ws*s]O1o*17 ,ؒޅSvPQ>XأPШ4lnLd9Vsvɩ0V O}smηq(5覶%=cd \!__%{Sb/ "sUC웦{F¨yq Xf5**^O\/)\OwbB\̷J<oۨ_VWy,}~a-(aۣ} ޸W[W+Гiq6|{SlpyUQt[b? 9 Wԯ5 Q(|3 \ O{rx3B 5ߞ9@i؜@mMpR*hM(`. M; l¡ߕ؟:"ZB &>X`Rgȷ17a06T=oX᪌G__ 0`#q? L8wS_y3œk}kcfZ7*V-#6uh7ACd ϷهڐkA'%Z3XqMQ:IA >کߟxDwaRaSм#铑o 9NC+.JXi赙eKw{c8,h 8;BXN+!?b$(MRxD, ipMzph; 12/y|h//as>W1a=zFvMD,f)"@Tjwi>,m>I-!/[%60̔¬[PwPxxR f+@'/4|LUT,Ϣ9%\~A#q8m 4Y)°^WGa.gko.H y]}xX Ќ2 ʼnc__F\)K"/jjZjG`.(8c MIGcCQ5@6ȏSSt[M=F_?"ej(X)e9ϯ3]DB  CNk+cb P⻩AYn(3B\/@eH hk5zVYHYI*Gnƪ0wqoC 1^)OGĠ܏i9 ͖B3=0d^QY=cA ''QJ#rӯsTt!u l Uߚ$zV; j/G(dkq>Fao.." wiкVA&MIĄq=Q:}Y;"T c.5諭b~aebWr=>CC+N.jyݏ3_^Ӛ;9RJWh\`#xj\S/hyلz"85a+o4J`О} T+x3,/㖒Ѳ0عٹb' IovW%6^?[WyBЪNrz2+gS$C:BsԌ)EI2xGvK8 _ hnΧf,yJU#̌D>>x'!˭E4ZS >~lm;=bs{/ {ov$_[ ۯ)D< 3vܕuѱh)D4&Ch銮4-_$?e+Yc; QXϬ'+9.ߋyWgPNT|m =ˌnFwf`bvzK6Y= {Z@I_cT sDEdмM}uNmkUϝd ,xk cB޻9Dę]r7Lw!k-Ah?}Ii"D {5c oBdEy2T8CmUV*YUXe"xkQsH2Ծ EIp63|sJ8(6MW$ߧܒ[h*ߝmJ'`[/Κ IJ [Xť}/Oan[HCGy WNez-Ng/IE CQ0_[NWlGeM3W$x&?%bhds7.?wNFH$kASK4φK5w[H%O)i|@7pȆ[̄59/y|} ]f)A֑WPA&8Oj?8K t'1i.j^+YAP'U qܮCS!^#> !‡{Tqp4e,g@,JEZ҈wqyd=8batlX!!r*$e ^IPu~RA%C@Xo/[ 'Nb~69 a?u/0/m5=J ۉ˫df`w}XV_M`_E oi7k!voM^ .O wup~JwC}c3E.wTSȇk EC#҈ }{/Dݞ]U {:=-~u>b]}F=:o^wA 90x򚞥y"5mGl1UiDXFc=ͳ$^[Χ| Sd?;$sKԌ5xfw_QGcY/ܤ³>Z!~7q,h”66'T)-A3A k_~,ȸ헄l`:8Tme˔g/1|pXʧWnj1TaҼnÿ ILOjxOAӛ9(z/m_BOy eLTL|W~@ ZO=u: O|bB(_#y<` iZ: XkL;bVEfAf~>| bDNf)NThw&hz¹;O5C^7.t1C+AZ_ӠTSx{zzPtAM_)5*-M-MlW(`,^(A ˗eBa܁ lV4ecrcU8*qbG_=aZG5Wi&oeCm$畸>(ܼ[ r'rָ[Y#IWlRL1x7gϮ&Kw-Iv.&^6&| Fya#v4xDCk,b c6+oin(RAԸAMEV`xqaؒE"RL4] Ri-96Z}b^x Br;L#{XyNivvueV~5F%A _"!c]ʳ=@ 1H:0ju QD=F d_8Ax%h uL%6-q.6TI\a@ɷa7 Dbv#| ̍i.O3y"?.&U8M,) Ҫ]\ e\h|oGeSSr8vtzybI5L@J2»N)UgUU&:Otᡱ£KyI$jxmIG/ (]7┡սwB՛8 Kt-uݖ}31ϑ a1Ds}i.qiũ;u8hti^פ YXKOB[5uXY (vb| g^ƒQyr7VuhG=86+P<:2%=fu=^S VعnSUi%/*.Vϲsvڳٶ ߥsحrUb@jT">駽=W-Ҥbm07&+2y#U[(Ia"kEպYDeLllw387ytBCe2ĵ Tnx,bao 9ʪWpq1Yx C] |%=LEt(\%%"hYqUVkKRcHF꽟VU;}5؍, R+$*k\ 0~ͮ Zh;Wdܸ5Zs`LGW?EBX;rLAI8nbxsC//Lp`eoTZ o¯٠(cy5ꩊVQ> HlBE3nIInۋhͺ[J͝^])϶}`;v`;d}%Ӥq󊼳fWJf;Йd4o6Fc8܏橼ASl3x*FX!hӱU|̌Pnʄ>n"GgȖ~#IQ(l@!8ZŪjէbRtu1E_pרE%兠iHaKg pk;6[ Y!nc DtG~g! 5OB62[Bt||y~G^?wZafD`q\d Y_ sw:Xs{+,IG';6137 JXGoX{5'+|/?QE>HX"wnc 6p̂(/֬鄸!I ?~4XO"[OرK݌ h|T-y /:Zb߅PWn&X'.P1YlD~= ^4Eӡ(AwڀNE)OSruW7{Go"ss}840UG^4SOѶ :yw1vU+]4WwW-IY(}OɺJTuͮ3m⪎\qe%'(c@7 5 {A?׃Ltע fv]"E>%Em?%+HG~LjR:UrWWGڧ,G@NYXE62pT#Xhfz>q6lYZĴJ:0!:.>Sxr/I5Ѻ]J>/%+y%KN+DǝuvD?CM:uѸxCؙQQnYlU{}Sh;w=iR} 0AhRgLMQ-#Ƨ;]mWUθ.wOik;GTܹ3}V |8|8UJ^)|pЪ~U|v.2>`Os ?Wp+ >p@S_ JWvZ=|gŊ/hBƢ>e21Y|R?+[@_ZF>Z(@p *vd8 xqG Q҄)1N!d k<*})eLxjQ, '􏌪G.fd}rX/ ȥH}!b@u, >+vJ uaE#SHN`bd&R9pGk<Gmx9|*B\jHL pxFP?f¥ @Dz5(h@+ )DrTdN oGɎ2Ź.Run>5E,DmUyV%V+țXBŗYNU=+nFZJMk/Dedl`"㕖NwqdyuhG `E?n_5| /gU=IJS*Mb)&[]pЌ-so" \ċ $udM`u+ 0PϋFoSYؚ*AKemTLlZ+zz M]0/X*DSX( 'NF+-SVQ*j]z*c`Qz=}M4m;`$7UDfZn<k*H f-\ZΛz7NwKȊB0F/izLj77sR_a? hh᾽(sjŴ*  kDyK!/vZ/%-dkmS*bw FJm|FM ӑ؟9}z5P?Ԋ~~N,:ǘ&ml-6Ѹ#\J:]}A*`UI֩g:P~Go,ʇp}@CR [SYGd|#]ۢ}A^Ah@$@ S2%ΑN.)iY׋xr&roT9 h(8?yπ޷A$a4r?3!AGz_F%I+NJZC!}XIL)n#GĪVHWAk'XBnU:d !FriۖĻnwM0> k}{ҁPl谌ZzRHGX"Xވ $l=Ev>Y(/zlyw İ+F77&~u/C+,16JdW@c&'c뤻h)üWwKvwF6kG]wW3cT|A7qX +@\5tjVv㉩K-D@M:o\g/-i=f A7+LjV)&d҂ɢh'uOujvl~Kx^2տm(_'ndYu߹Bor沖tx7z Qi([T69pX@9.ihk Ca7p< _h9"r.id>n_)UI"t)A(ypL$j2}t<^~e՞qupC?!yb:;Хj:|2/o(L|eΛ:Pe!9uRp6z%MdwR9MgG}jCcoPNV W2;F46HLgƇsXb c+"LfLGLNIGG=K:?>A&b~!:*o.' nٲ&N.\h`;qG@^̅.t#y㪣DĀ`#|2Z,u;8 pݙך0p"М:F8qӻfof=knESh#1aۇ9"T)g )j:}F9jLWfr &CQ4 Lgμ?O;DYb0|jp~]`Ȯ /VRO]'^dC!0 R{fxۑOڒlf߯ 9xRor SneEt%^яoz89*AWN8=amׅ8 e$Rb=Y_o;`}Ꟛ&)%wJI`QI=ӡŖw<]g/D/a9LޅI&ڙ6Slf״%fGQTB 9sƼ!Uvm3U!Q= y/OӰٻ "_XԏPs{UjkI? i414NiBwS!Dŋz/e !2So^nvo> V.lӜa)#W9y?,K^+#^K!gI$ IrJJveAkb4fnIͬFtOC7Bz},n֍(qx[8 qQ8M[P/4MsXƆKF^q[#9W^KEN6v{nKBW/~ :O4ZX ZCqT6uˆ6x߹miԵh֐_࿒k OI,-kM3BqAVG <}&w3I=dƛ ( LWKM7=ܝc0eD%ȎJ4ϯbwWYFHm3@ _]v Rw JQ$D%L #O)+8!t^<>,:[oag͂LLrvM*]Y3yeX [h@zutp՚ߝd;Lf)q?j0-?&lp)ꥀ+3_}mXhu0{UayEmz%$#W}+?PZ .(a09j:'6ȇ^@(N ʜo I]Q̃y_$OPH?I7.űk7]Q?Mo~E<[~T+(xWF@#/¢T1?ӅĂ>мV }FG#"_oy ⳵1RӇ,FJC&lܰ39Z޼F7r|; ٟw9Ʋ[ tT}u$A5DEևIzr%/vq"Y0lu%LcJ!c XI]`̃qYךcL5<_5 FժIq F7\[3%[Uo[, -ՕxRڂ5 Ғ9od QvFĠ m ܅k4 |#7lyW fZ`_+7lM *eN Ӳ仛:^Oj8Y7_24`_qwXQ"]+X/]C8(0G6r)!5_U5( p"RV!k];\] ik4siPh\!^;Wt:n)z} ο@IOiBu+ j}#_Ģd;ic7wg4 z?}oF[Q4/4$B"-&-}B/wr'PU &(ffW@=wƞ0? *eDN_(nbT4܅Ҿ*|m`i{]C\IĽ8'v5y샆M}1أ0bƤQzv =bN XR.!1籘161ٞ"i ,GHli b `S@ 1v,lhQ{>]-iؖ?n7q(_&Z)ilT7^>Fr.BD_0"zhkWh-$R/4>HϦ^{yz`n(L~},4 3_ҩ9F;9Y?>&Z<6XQ"Y*Ӯ'ތDr]5DpS*aאC+3"yft=L?|p╔]aFlV$o 䲮Q YП=q&^B#z*M2/ 4OcV$h~.+P (rfi97])ANI~(#h\;Cg/wHja% ʊVۗbF,mlrńPm}D<ǃ{Ȱ7xun!@T<ʒ'a` "O(2+o9J˦[GB‘O{6;cU1ߤ{xz'*%$3!o8+|t@VM2pQV?w)x]H`+zw# [1.o7aY} "(IH|1eohb(jLr:TsZQu(޸Ť^6 ܺe~a̟sUl(XH2q# Ȓ϶qe4Ih#HZ%iত~֒!_}3;4d&8MOlD)m8BC!c55jM ,[ # S9'.G(wiH= PUq9("{b&wP5.{!4-aDbl n7KeY IyIF8ra>9Cq|/J5}^ yLזMW;.yfM6R"ԉS@R {[`)@o}L{t&m*4F:; Vl¸8!ew;)[Vu6A)z?$ y |lHQ l䂩w |#!ˇpD2F5ٱì7Z sgUapó{[uQ{J0t,] Gض#.jܘkӈڟ`7QHw4RZ/Cﬢr.X {Ynp'<:e,%J G\ d;yw:ե=Mky5 L.\a%e8ʝ`_U!?IZ9&&Zv{- r0_+zɓs 8y*m-6=t!jqmN{)yAmN_ 78kVp#$d[*4AˤuhM*#˸&dPQi FFQmWKWY>OԐvꑈ ^gEGU#xMI$$Yd~``hG"PLq*kUɃIp5T]]^4Ԝx$v/ut