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  n9~ <4 ] HOL-Datatype_Benchmark:threads=6elapsed=510.981cpu=1917.580gc=685.7287zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;`ENXǂ %ϓIdV326-yدXt׳夠:`˖/!oP(淐aTE:{RY?91&6P#fwq8X\⤇t@H^*$Kt3<4\Єq*E[[oCe? YBp8I+zEkpBM5`ܶ%_X1,:剠5Ty}5/5&0l/j{?fŋ} 98yq* K )Gr E ~,GML7Yʎ*ǟ(fS?w@8.Ue2^er'fQ;$᳔:L}X[9C>KJh\rYDrLld8ʶ~Zvh̢Mi$4VpoUͫ~sm)s"U޾tB F߸hM]g0]/jes^UQ (t5~~(uY함Ih6 dtVW[0&=wv)u8>; n 5^|AD`wq!lXX LO(uw"y'PKH-_ bj-`ݚ)lңE2SJsmK'T#~U8i_e1luq 8EfxSE)!shJB­Loe0v,9Mj(&  i 9 HOL-Datatype_Benchmark8u9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id520N9G3 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_id520N9G3 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;~5>s 9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM 9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id524> 9K' tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢3]D?7 {?:fH\y ο0n;z:HĬ2+swG9Ew]ha32 #_W!i<h\>!TFmE|65 "yڮ`&erUU xo'RZo)S*LɛeLO(+6d1 –9z2XyV81Yc/}d;T^}Es;hFP91vhenkuEieB1t-orВ8HɡKvg?;a ܅?qQ?I6>k,!F8D׉L b iӧnV|3tF#qY_I {OH}hl áVZAteagmk%ˣ"?I]>CŻpjLNDő'`Q>IR7 ټHpCD ǗZ-ߩ-=Gxkex9X:'ô7{$<7xZ`ZAm.S@%og 9K# |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! pu]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~E-mѤX{MP%_!JHdy5֎&{ c(]-YjN(L[v:tJ0ZЀ Oqs%-j7(:ZhI'MD2]ZڅP%i kWk w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id522w9I# lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! }]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db˷ƗU AݳpUNc( #Hy;ɾt%`OmK8"?9|4& V/+fqx}};qE;|v9O3"T·O})wFdS>p Rb%k_O7>M0T_c̾Y%WCP+ߞK)ڛJVq]%pÔ;`:Eʣ1vs| | 7`d4+-0;QMea 0pGaN_Glsgt5SZ3`N@^CZoZڝ\3zE,^8mW4V21sa<.<򧠅=i L{icFCi/xw/2dqf?Y1&0Xx2v KBU@Fݮ.(ْ}(% vmk '%Pn,rn=I\aڔW }P)q}rV?_D 9_Iɸ}A|(@΄l:ک %f)U,3:/~ T/SACnY/[!u:ihviZO<6OW J9قkh~2cRhbˉ]$LґRjF>0SFbJQ6&(s o 1g9@#.1b~Oz/FYP`+Ȇe'V{n 7zjmɰF֗'P17MUpBJ5>5B8v-wG4G ̿Vj(7糢p$͗b C͕9d~1 gh9F4EFx!'pYI"cӛ&åYilHp ^V؍d6=Si;&Ψρ0Ŧ]xQK|Yƛn*{H OOZhF˕Og(9u"v9nz"x>xceB+y=h;zswLoֵt%^\{P~[iX97|EcGi/H Ty(Vʆx/h`#ԛBI4ۖ*|,WPm0gYZ /գKabWx#&vP]u/sgN4u мŎ"{Q!a6jh`b(Dzs::*pНSƪ돧pF&*<,vuiS9Q8P nChJBf6.n޸G:f1@0NV(2@ey;?q# H:'+?B?3Dƅh>\Z+ JCGa,pW=!:ҝA[F yrdx3`z?>^AkU 1-2,#aF0jW<ҳ94s^cMjՒ84rD 4F )z:n8"[oE^B1dl ʗ]igzm!~`b 2FOlm%ὺaZjSE Bqߞ5DXn;x$5 h͘ Է~NC=ʜNzZ`pI^ftd+:O%=Ìzr9yjs8jPo|?G.= PxzPځ%'^Pj:`NQWmhbt~oV)}_u7S.”g!C*}H0;4@rbb]H)"GaY дB%qA=; TqiWd@Rap2yݱ3}t``9Ԡ=˜_עG貔 ; ^-hY8)wXjtR(&#\?YwΆ}ؒQnM ^;H]t@a*"" GEyt~E.h}w~[A4aT?ڳ?iq7IRߔ67GLE"_Z3V(sJg~A4OR-à᪢{G86d .)܄uw+heR6{O$U }MݧI8Jn x91kg-2 \鏗Įk/ lW!:sГcTJ3&5/lz+4BOdj"n1aW9 ה3NOB5Ӵ^f]w!UX %M/ ;OU;/E]Ѓ [ w a2[/[(}z.64\\Zn.J$;KMyR)#k/=! T)H?V0TDr8·ڪ'<(w.>Q@ޢ O /Lw uI0 :m5c,T“3g}rN:%jdl|Num{yhqv[z.d3uUS *մ+sNKymoT[|dYCd_$YuK#j"yEEC/021Z&i0nj2s>-Ӯ% 0e#Fhڿ%3Wm:s KVzd}q=YPUE?tD qQe rblz7c_8T֯A 3>nQěq 8m ,_kb[4Y־9g!h^IFqӁ2 ȿ2c KW^i(XҏNF|wҫjuԥV+T1 mnStDR)m$XOhxQ=8e55U56ФߌR:,eVا3Gjֳ%d0RTVw? PMO&2"$;RK4/$Dy8E>WvZ?2 `75Ԩٖ5mf>d5;ƫx>珟Wu rV k.[tP `Yj o p|@En:]:# R Tbܛ }|<Y>rW\h஋<7c㎓S|A0U :+2t]A%[(?cF\>em ?b!j LQJ\ W4R' 2ug`%A6`:V߃9jV$ Uk9T9)ҌJ:7 HT#k5ji>xWnXI)rN//!_mw:; (LNk^#ssqEot?RbՀa)BAΫ٨rbNlM 8Jʱ^Ӷ:ƌ<Ćsԗ)lx W)RWH4:-_܋VOrRXu÷DBQ&gvLxATZ%Zک-Xc[#2[.*'AdE%Qj d 2;֣//}5x;>ݢzb:佮elmPbJb>h//4zts; +^;^sXK.˰”>f@y?].͜x߈zSqgzcOˣPƑdtTWj,rhǕTOw󷞽"%6@"~V<r^E%K^ Ńde:j8&D%t XSO^hijk# ;A%|0,) C!戮 .Hc!zr|Vyoz\ߧEO8+] O \02SWX[ -#?rΟWٚƚyZacbʒڻ9GY*8 >znO4'C.},qlI(òGq2fqx0";{3QU0\#'1%橚 9{$J%+VǮ_R^d e h1.<8r0sm c\qBvq⬯p,%.t@=Yd@)t.%(^+pP[sJQ$Bc*tk~UjNFoZR3EAЛ֮+քϿrO, /Mgk\*ypy#[< ZoKDU  r#u%#!Z+؈tnD UbL区9{ocl&^b.ELLOѤ2mEQy>\lE. ȼw"UUr؄@˸N_5ܫ(ap4Zχ8T1-gs߃V n vbڢk2*MJ5qJT]FX5A$}D[EK ]]Z,lb,EBrPmQe;w17h?䋐Hyͪ8A@m#i+T\^`#itS@MgpeMJN4+=wC 'ٵs94 C Q=tVvE4`R9?%‹"BA*֡ʗ6!+W?A.ґ#-G<6v;]*V}b&ZpL$jʨ aioZ`wYX}02#=Ӻv7R:`Z)CZFO6k &ͽ^6Q 5>Y)Y*piTt)$!(*ddkAݡX/es ^1>~8J*V#J9RG߃fJ^|*W{z]Mkv}HgH)_i,:ڛkA+z897AF H% C-(. Vn(L Ű!٘@6&`UV4TO`:v_Mx3󠢁hr9ފ +(a@Ş"Q0,S^3 C1EcAsE[F㫞֫oO5[E0s)0BƑ]j+p鰉/Lm靊K']m9}wOdOl};{3jm 5\OC6;|4)g)]\A 0HOkjs!O0tyhL iKas{;l=;LM:cPz=gHZlͰ̊{:kѴg;X(O䊴 k5\N뼑U6:,1\NElwz@S78nkU2|)us]i+;  Sî]ԋ}6zoa]٘ {$z9m垈?Flv-}c>ԏ8*½Ц.=Df&mc'R\*^&Rw:[b>JQcԴڼ[_ k Ĩ5>=uRͱ),Pjt*T ';w єRf񍘯4}Pv0k?O29N4=A.𩮸0w>^\Mbm6q̋qc*TFDͭ=}R[ B^1P9y1mQ!u7ԺV 8ʳ78ѷN6&j$.uRj/rg>/BNC | "tj^u ms=9m}7`{ZY obHJz=휳n&3OpDM>) KE}-kM`xQ9Ed >J0DKB`s ?Mg$NDl6^: 3m}G͒hE*w1.g)cDƺbyлm2i)7cPNUH(+*9wݑ.i:n!U&xxG!xb O}fVPP&>X̮Z3 {/L IK~K7PX숓ٰWDCm}I1rTCX^Bb'_rE&bSÅ"W2' ^FMZMXݤuEEL1^DHh3 Yl!'lV uJOay(D >Xwmx+A.Rs7;`x,.,H4ф_dj p:iHEA.O &و؟.Κt&B ā.O}&ZG+I ڀ[6>pw2Czxi$~&J_π Upz}a7/W+B"` .K0T[,W)4! 5Aԕ%~@J%C8!ٹѧ9 q]NߣH R5S1'fpVh# Y 0.Z\G V' - ۟O^l#[{R6qȕ QTgNõ3WI!w`^VPۛLX+%5KHc "BCgv( oB&h5Nq-8fjne\Lh )s{fE7K{gDE)OX36k??adQl'vafv!{mq?Qt^x2ЛlbXÔӲM&9yΖcIeK-/P1csK|{>XDףE){Pߵ+w2̰|h%YR.y} o\Zp렯[ vbRG|y2s:;0Z]]HDDdzvaͬB|@ZxC4KM D &lq0[Ԁ|`ЃJdy !̛X'+bGdS躾|P' u}|UE&&h.Vzw_exZD'pR{f5mj:Rim+l23(x9FHks7s f́Ը0y=jVFuﰳzHU̳[7W8g*\JZMYg{4 ߯Qku?Rxqp?b[2]9$bQ %^FҴXj)tM#JZMi$cCڴE9Yl>$+COR/2P9}/6RIMǬ/[ Q95޽ucϳc펺\ު$U^ 7;OX%E~VQfVwO|A8y8V 9\A0AD{upnn+h:~Cr()"e W# E>!>Y|,%(k  FCXA [m^&k7jKq[DV%|$&O 1d8W4Ƥj}ɔ~<8ZekkE53${02%LBwL|rp&  iZ;x"8#őNbdeDaJ\IRC:"o:C<.q7&䩏 JmFVEBsO,YlTĎ:7dpllin"M2X)n/+Fnc< L0i?+$*k53JrdqPm.׾4NdͪQH6.zps ;*bgJ3}CbM Xьb" 4tݏ1yRh pm#U+ sy&R;+1 (]0!GUfٿv魖ga/r-8j*$T_7r-5;;-k ^'Aʹeu>.A9BP  MriWB0!pPQ>Q5.g,<_~^ oBhk͔ 5Fk~!14\?Ǡ:, _X6sc̮[y7S9]Y({asvQ2ca5S:mP? Z2h2۟!g ȪL{LWHJuLLŢ"àMw r$Q(k/OuaB3`F2ĕݸt] \+Cc]``Q\`Wrw1RgrCr=Ԝ =Xܯȕ:jY.'e nkPWf-g\D`(;ӫ(lw4z6T!}vbt,+XgyִE YkOw5)b$PV,ͫP7d^شA3k/יִq EOr8k*c^DHS=ESd)78`,hV۷фfIOH2)ۧs0-KWr89+yvY(BttM% Gi|c2y0u N.:ױ0XI[y>Z|j)Lo% Ra$JQ\"ETkFʋv*S4+#(ak|sBAIy9LܣJ0'J;7RZyv}I&ۑ5HlIB\`"g1bV1)E'z DW']v'B'TK/@nRULz~sFIgTn^yn"9H{by~CiJù^<\0-AĚE/YS}JP7`[S)ʞvIγ9k'ؼeoyey֌Bg3pX?WjHѴ+ A\qYjEK`w}O&+w{S~&{rћYKä1xn[9Ĉ"Y2U`d (՘5ODG,ռoQ4H)uKU#JYA'2nXT;ҰS[(ԨDW?]f`k_2.% Ϛ_+opl h'!ށ[bx=Ir# ܝ$Z&tL7k냉d^&\?D0=0 E, $`_F3\ECFpkZi}&c<15M`8`H9h3qM"e06&7NU+i}]8cÝn'=_5J"԰jErMjN9.oriΒոk$8خ_~Uܾ)44KA4czN[?5:?G'7+{(PtO}އUU WEw>AJbqvnlu*Y^|SEij ' +/ںLgv--R \͇ل2A#}bpӆTE}Y,bI8OS 'k"0*>岐:r_O; TV%Xˍl vֆ3Hfx܂PȀ2`3ȝ4[ mtK*f/6EN d݊u{zu"6^519O(qAwI!q{n9&UP2ksV\v ֻO?D^OBf]d0ƿ@MA&E<@j^8DO({|BG'OJfWox<4\ܮ]G5Pq)$t%Bǿx1B8T}ŵA; D:XrIGrVKLjh \x\G}& "$rP(@_˂.ݱ=K NFD\ ~D\1Xoc&_E?"hjtp, P}d[YkMVUDC,|8+=X<ɁC|kRFջ@lQL52pw[C +qdH!\ILIчkoKLɗ Co秗+/R=>hu$?(bO2'Kc?dU/B1yFٙ.=vJɫ hr˛~7ajdydP՝|_ `mՆud|.g74BSkYK'gQaoP14'jo o3EH#'P1loW#@,KнX;>@Ma::$Vє{ N)8f8I%V <ĢSA;*TORT?ᩌE͠s>{p誜[?GbOb@v?EsIQWvGɒ=Uic15AƏ5Jۚb$c5@x[*\3e=UizPT-)'4sLIV&3C ;Jv}-r$g!\FxUmc)7@ 'j0"Z;-%B3uW( g7T~6oR\{Als)WPYa҂ g~ؽV6|=Nb~}n XRc>$4*: '[͖^+bR.2 S-lVFo/fUd-υL}zKW{7r9ge& `彜*l⩝XW3%R[ߝar[@6I'pe śW|$PPMS,8Y".Bo)6b*1iZq.EL& ME/ Tܲe5 ~?|/>sZ2 :|Ozt£ [!Ŋ]ֿV/n;>BkVИΞ0k-q;m&[Gm6?sJ10Mf J-2*)tQt_ 7 lX6L!ÙYO(mw1:HK~; $}KJ"0XONK88#8u"`I3eQݦ $d"\˒cI0_(c2~Yv92 )}7o~o)l̶H\՛*tK4hr#rT{xDlއXm`*E =^]:-p7xMK )kFt@M}Gh{ǵZ JhLM{iIb 1>PWDk{#Qz y_ W?|Ī[PI %XgZͯ[lxht :U?xB< ڇr(9;j ٧LUr2ժ蛑mTyJt={ ։7kZ1*ÜQxn@}aXwŚ5JGJ@ބ~5f}Nb ;t="OI|s`;=x"#R :xoeѼdUҵ HH&hMb,T!Cwqy+zL%IOY՟AD/AΉH %$@*qˉ[ dVzWr*,2*"[%qboңfig% $jpDF[/x)QQTmyȭF 3Jܔ k- K*+ڬ~ONo/I2S^#) on#Ufya4 ?8 VîdC燠Nf[ YV[29\9pCV .Ќ{%[w  q)dm4 Qǽv,;(|޳YYi(Y퓄'Yݬ'3[ >c۸36 l;L 6"'ʂUg81%&G}/6$>.bBї:p.^F>p>kٕXXV $NXp=[5:Mt7"!΋dC:s*wJ!R.EcknAtt6Я8W){)Ix kuf2RfksN  yl~;3k<*nk95׷) M|"QA$\YMqGy2X<mYH h>"M?~xPMNҭ]|9eg5M=dڱFýjB-t3%U@6`%d!STsDGN?ڪ_3s/\Y!lct 6K{Z&K`Ekq[qڀvLIAQsUܱ16eCK2jA5kx0K3m,?z}`C'ut'1w8W93o`^xMOaɿXeO ގ TOrYYa}Dx۳;K8!e&$dGcNH+n|&O*4MO$>Fjt_mVRtc-sLO8.wނf.C8k@8 V-a;̴?>>Ή>?M,Ch/O lk'K >HhN:qܳ9ϛ& ] ߯fA Zw;p@![5T,D> 7ed+}c|@Bdb $Th}~>ћ٬nn\D)A|'yDQ".T`ngI极&7"5kK & 2=>16if u-.'A:x'X}q 5ujݠIA212)@e-3BՎlK.XOɢ/0}Gx` Q-(?~Li#۠xg<5-z*-e.^,d(%9<,6F DJpFYGQ ][sG"I:"m &p[!/ͫSYUyΪ/'ibW.a%w TYqG0G#{ mhodz-irINg$~ޏ*˨C0  .VKR7pEe҂eH`ow*wboppOf?A&H͗Oz_,WbUtw9>/U&P5+>_4́-,y &W5 C}cs--AJy~WiP`+5ҢNk2+9QK=ohf> uWALq%$ w#_BkCDx~rW 'm`/g|ITe?s=`fZpkU4;he3(x5)u# UuҥܠtTьCt~~QpR4vK&I0)PqN)bj#U` N3Sp)c⏵ '{-}TEt4̅lZq_Q;x"(e@+>Z*SS>:=矂Ȧ̩\N*hhgJ>w|ٵAwaJx95v˼_6lpk$nWaI%imQʎOzlNrZ{}?T?64̌UW̺ Ly^hYoC\n,D&(Yr$8gg[hZk1d~ȏL6"GT9?I>r 7_?)xһHPs x=8@2=2C4gww)AfmP~_Ba3hSDm-0 ^Ho2ǚm?#6].k$ݗۛ VzAq0DOuǤtQ wWK/. =P` ey{ 7kt+Z [6;gٛBTORyh[gfNA@B%txl׼RH%W2,Nkš{Tbn?vͳԁˡ5턃СBRڇWlc%6q2.7}ӡ ϹЦއ slv9)ٵ(+PjPkuMllJ4ڗа[:wLxl&2Y Ōe#vuZ3Cr M8r>ю-?u==2@dۖF9cxrQm.spU!l©E}No< n'm{AכjX|U8[+gdԠq@Uc_j l .pq^)8:IѻK_䌏ZhɸxnIRt(FEUEGKI 1I+Z9KDYњVfϵNap殟1圗NJ~˝ѹpp*X5.z?lLA ?r*[AMeLʝtFwtʞr??Xn„a w牣u'a>7$pAtʂը28Nn +Q47Fq :(@;<f. :V֐`zƵ}TyWx 5y jjٯ6fOkU=~ z ,PJUɴ`C* v_+{QK,7Mx]<$Ի8uU QJ՗+O~~E{{603!E57Wm;3aȝA1;`&c)e贞xkww*?!E'!0?̹3iFݖmȫ"c1bifΖRZ޿jl;Fiv{y!}r1':JﳌE S^O[uU6*Aq%0bЉЭۭH3CX'4tG4^!,0*:\.m>]~bN<8dm4: %;ﬢW9إ'gT#H'!E)Vr9=-4_:rԢX>(}Ũ*[ĠSS ?}㌿݁GbDB-lj\ad1!Dc]^h1҈#j\)`X Ppg)jPǒؤqMnsffz1lh2ZZ?.7ф?fh{}㶻z3/dg.{sS_(\Χ`ݽH#a;U*W*Y+u#L&ai rT!7[.Ke 3I.<5u%WP\F70jE8 %e<`fKRYR88FU(Oz|pI`kS^+9^@N̬TJim^MDU|i[~39I2 x7Gng҇V_'FԪli֌53ClOȫ+Y\7ڧSC }g[a2RĭsV-,fS Tfg?oB8Gr&>GDiteG͆"HOԁ=bWyQY7䇌b;[K+UqCOc$VkS3 6@!H䬸LoO 7٧lZ>ǗE"3st`dyTXC$> $E2q"~J$Đ[%(ڀk=2-ꙚAL{W*G};LYM-ل r=uі^(sGI|M|N Wh}+P37pi!eeVyqHWJ; @nkASt+FJ L!L.ѵc5)2rŽ~J( %[i}Bs0)(f ?~h[ڗ tPf2ZDx.>ʌQlJ,-zcVhӗ$+$=6]eZcIlTvjf&e { *#!i`Wm>%R[`v\{ fdͥh2ܭ @J&*C(&pH^"/l-7?KSTVr0+ڵm"NV|v%ߋ=~QJJ^R*m"awԕ>gmEw}%+pNKThaXA"0pY =1ȼӺK/Y'ĦD7ed/ڬp?cj#w!]%Z>9`6 CW\ݘl9`xǗ6~0ö =Rzr/RPs۱Ӯ8C bJXɛƖؑ>Xgw̳R7#YQ"iad[]&SCD tf0J%-B|2בV<^y[F^!Lw͜4S ms mұ,ǥ!ְ3'> "SZrw2"y*,[~ܥo"rQYF뛰 6u?!=$2S;.=I=zOu*z/^f}V3̾u60D<HDld\gHɗabfn@nOL%* .12 '8o@>g^@dGLP1#< ;"CyJڽ66 ˕i>v1EoG]Qm+˽ ǖ㸱U_<|U9Г3a7~8X#XI?\[*u_a7*ÿ>b>{^3EkoS[V2E/ Zгi6Ș݋Ы/H*ŵcnC;1Bt`{!rz]h#'ҽCQCyqe "Xٟ+y =dݛht %eX˂,efMLn㴶zPo{x!Ŵ45sм0h3PqS*cn A"rE ؙ_jQpxbg6 T>J ;ha:`dn(`nORpipяj60~=kGդ%*?dkbܒOl6l 6D ƶng-ZjRkSxwV7]SrzR"B9|QBA-z!UuNu{p*"ɷ`k1huED(:epD t"j=" }ϩLfRx~[u*wJQK A;PI\l3F'`PM%Cżd٘?W%ZX8RGiY>me]6K<>(z/ߢ`0 ەͣ LʶVtZ`yA1_*jP2UGCܟ[{"WtenAh9ª0&~vܴYo* 5_x9I"-tq)SJ$T,9dVe!-1 4!9HV l9B{5fuy'bSTM+=7@ ,;C׉%Λܬ=xo[e@‚%gvr"^tvU5#!@^EtƸS.[|=e fib8$}}غ,RJ$#lsK`ޯfm ׵I&yEK0Q8#.fw0;Sw>оKsǁs ;Ӎr L>[;O?UyH"ea.1`F[cJSb'p\-+T0O  Dk9$3P< .]u|;ܡuwmBRH}վ⭧F8nHd{ia<$o)vm)A0ҚB\0gN IȢ >b~A{.J; ƿx| >4L})Д$ӻˆ;%V=i0(,2_4>3![*'{ˎQ/AB6c.\|hx ÐJ31>6芕yu̲\ɬ5] aE+@&XNMl`S!(fl4zjq t!aJYoU'pP\9l#s,8P6_DSm=p1M3Ro~N;Dnۛ iA=4D?΅iHE7&Bd_wWI/ş2&KNi$A pR@ LE.8\(Y#hrF_O}"BvUS)>Y5~#p ׈Jv鄞iPcx Ys -E|DjA]kt4B-A}͎3 ?YbhWꞓy+ oxg Kz5Q mUOmDWNJ*fpH.~DE"ńRfˇ'!%אo\=YNZ'G*|{uCy-F?X [Um[xJb*&Tkpk=y}m4M*I`QL2G݄. LdP\ 0x6J|Ͷf0+aZ*",`boѲz%Mk{of0y .>S'-@4lw}i6*>+71gp'\OV;X%Ȇ'#]-˘$P+4[4R/9wE^n_DSPNG@7;UP#dw\WBL"JxyVl G>s_nf%G0QFIZm5'-4dbԗA2y\]و&Bmi;J,gB?VԥbyW ؙ'o4Za!A4Kj0^26XP尴3; Ty/T1 E?. }8&l#q>&]DF*}IWxJR4lg˭p j8=2o(];OV  -;}+%mpfG\&!u"v!BtF!&Z-Ū[C$Bh5`y?["(nS#ԗL6j[zȗ%g9%jc}W .#KKiKxbagPb3mzi̘4W0op)o:OkW7o[65Y_@dcig+'b U*!`/\ۇ*݉H{3h4D%>?}g[: 41'GU?e{cwjyE T}Mz3 {R}Õ8M%51}l.s=%*~f1͂ZCpi Dm@v_:hR+}?$h(#w9`8c* ]wNF&s=ld#T7gL!Js [ZnXF) Fnߗa'E\^Lo\`1W(f(~mUsOwÃ#LpնTYjt}4DoO&-"cw*(ey ŁQ2Fd53WNu r mrT^jo|bS_:PN$902;8~uCEI!Lz:ӑS뜡%S`DM q@Vӊفdmk(ܽ/x\E@7"u: }_Uv?JuAxc9k { :,z 3zHNU:#(ҸS19+]i{6`k4*h1Q+ Qey >&-~ ;#u(|rd2 k=sЦ("THpDKTu7:6xEtSrŀ6s!<6!0lr,䑥GG}nft\| cU`}WiT02gw?KD~GAvg2Nq*,`-5Prr'Eoi.?ha3nGpX@63dnp FVmMthI)w|1DIx)T᫃m 5%R!O~aUyUtxrےdiQɺ$IU΄יE/g >CHIOɆ› v hgIb&"CB-'A=/-`䐘/[ԠG(\-Չ_䙔uJx-C,UYY? 0@XOoBZw|OQK2>rҐ9a9PU?CB Sw%׶Ms聵Rt5Ȝ (Ʉ kgH4kjv[)R A3:ezd&o(=K"NGV/!@s@njHڦsXt?ҠAnr#A\o2q9Ma 1-2(Iiy K&V] jb$>ŬM>9L;@d0Zı{VA\gkᣉ!Es8!xT4jJcJ-c\b27 V<]`ؔ~c 48{#"~. ^ui@:)'yᬵKj ?1*YE/blԙjFhc2ŗSyArZ<H14ًs.9DžHV+$[ u1& n0pj7mE10ULHf_E$OAOvq\EiK%Pd  /-(m3-ⴍǶ4W!An/.P -0]kT0=Q3<Y],]v?h?`&-n GY5<ܫ[9.`T*Q_#qLH~ȡ@8DnX ڣE- #)^>СFPJfK#\)0%%F 7I=j[xPU?eѵ0lCy]p|?P2 dW $i#z҄ڷмl"l|ͯJ79ij¬S d^vL2#yBznNw*rWD}5_Da:QMۉ}R9;mТfl^,X`z?mbϖNLEQ R\I_ͅlAJv9|a]<kdKc`@Ү6 1 qV92d`&5]7rR4#=m f.$ ,ҞI*O${3*-SC(Iↇh443jQLaEn$\2crȎOw-XzH#\' sKIr /2Mid֓N€OA諍 pۦ1^6_Sp<] q1zˋ:nz!3C߄NA:׋=/uOSÒ)|e=46 (3 k|ĝH߃PNYyHED.JBN2: r* *6_VwDLGupF{# _)xr i`!z4wcw%k@~K$ؔt Y~`c!Cv6\%GNc ć?IbO#,XZIu~@46*G:,G99K(ej)ny5P/F Z|~Ȅ%3 )'Z\nbB#_uP"]-hwbSd:awQ$ 3&; odO&aSSIay޺ p˜mXĖ}@]+jyTkC4oV(!2 V.WN8t5NH=f=M-iI^]76 $UK|3VifW-eK:;%唢Mj%M23-UHCū==Gd{Ѫh$ U/|䡀kB tO_Bm[I= ] |JU=tM=1sb"I.aE8a4?ӧ&`{s#%IơJ : x>" 3T;Է9:*@03Hw+5Kcx5Bx5;n^E]3ÉSy`CΞ3.0zaY;}_Ij # G"O\5Ƹp܆nv^ȯk箟'C!;UC*C$C.oPؑ]9DQ&V~$7% hcI I"bOMnP:o s肘[JJ49߅1_᳄E\{H2ynߵx"t=M梳kNfʌUz!Ú+# l`}dC@3X76t oWXJmjnܚ#GV,SN뿠c Vl9T]gj4Qx_>򋘇uR E.fG|RwteI 0jQW"\ʬ7R VZ-?}ATJ'vYC\gbhd,jo$n27b5OcOO=flA})ؾ+A֙Rm$ϴ* ?f*y>{.5Bw!,f362p,Z:5XKj%وX0-|"( ,@Oz3NĖfk8% zOYءg?cplᬬ{FR>2U>۹ȯzDxl4i7 a@#ҋ0ՕZ-0NyT7oMO +2KR}}YULQ%yяRQشK&D,"b[ ŷu.s̊9~\oeḇI*FoOp.\ZMźWd&6ˡWn[7~.c:_I7|gm}ҊLY"2j){\O} ʴ4 K:f}] 'D?+^TcN3@aHbYWPFU u=V{\ ;Q9:'"ȉoVp5osBbz}\rB;P 㻿+^Iǜy3c:Dh4e'whGC/Co; Y I--E~o۰6A6)!B[<54&Vu.~` ˵֐ 3>@*~,1d9% LI@MwbS 6;c?njq{ٸF6@ d*R|/\?T-KH*pEy}J_dG|3ef:>|K:AwpgЁpj|2^iwk盝!Qi|2eєi ['= ޱKO'I׬|Wة՟c5.QL. hi_|)`K|:- w7@ߊ 3!1j6tfxeROGg{>rm G??)\Po"k9ׇ3[u: 9mfGVKS38^II (;bc&z)z0u @D_=җ5K$|vۦfUP95pg>@v2>?qS[杙L9Ay6zA}WǎC=!;Nod2^ ? j)J剟8gAJZrJ`1ใD_)`ߠ_y?p/ZO Zݔ`I-ogy]|*ܢdep֕j\URhOxǫ\j+bz%_~P6t B|tBva[Q wE򊲲r&h~GS R'e3iᄅqnE\N$D͙Ȕ98ҳmX?gMy|x`GĩQ1NC YѦ#͸@_`T5VrA&ǴI"[`5(1Gْ>Hn$ =_knt[Zj!q{}kAՏj/I!Ս0,y zpVMCosSvhd Y )_[@\,6(Dc' ua=z% ZX`}WW(c][mrkg&P}Ȯw<:)tkVw+\ܻ h0} ,bo *yHqnU#!]6) ,R}l#nӪˊU&B *M-d+MRD++n£#}q-7?6vڷԎ6` 'z.Q] }@šbC<e%4#4#B.- w%n!%sd~K0$`@MI6 qŇݰr~F-MUZz1䃒o;:tq L pEw4K,CQ@RFKgR)k_%[ =.9(>ɾ Hl*HQ/ru%.+b+AdrPSIM |` -fiBƏي4T>^-ܬQ`̈)XQ ?m.2 fsИ7Jp%>&b7ӘM1g05LϬ&y4m*Sts`Ss9[2|vw( ŷ:e$beKMZþ),`RIo2p0/)` `5>_)އC2S)ndcخA,P{m\}jQC߉ .2Tԇ IAhWRzgu]P|i'3>*Y:C]R]3wC;F $כ"i,("ւ)Q0Ώ9C~p ?YA)?7YV-$q^X ʑ-v7ec8udbktVy 64yL^~Ѷ U$*sl͜)}@.z ʐl&g7O4l><4o3bNmaj;ui65#IkjϭaV00\^X隒ȿi^N_5+X$C @?QwqDbbmHBmz~4Jޢ"jA#s"VS+e쯥@Y Oy[!כgs TJnT"&lT\)¹:pACa5Vp-/X 1NʩCt,OrF#p2kC֕版5t71 *BȣKg`K(ϯ$RH w JttC,;y{0gP 9}MgSnKi=XQ=A3.ƾ^^^(IVcI)ʭK ,&5L)qϧ,7#c~kڒ`Rsz dnćccA<%ւZoa /C8zuPј-h.R/fv)Jc2ZYAs_v9ÉhIe)M@yQLB!6W^iGW'hglCǺa79C8SA^2ʎa|1koX~;LFFtڔ tA:TI;;PZqdm&9zB[\^>$O$dS\ҋ۽J/Q^dcPYi"h]L _SKO,`iª=U-&sB添YA 0*6+>InÝ!!'|p1^d7's.J$/{hN,N-#/ E`z5󳑒")ڕ4rHw antoD?4T^)P'3+~ҭBE'-iƝz|e Ǟ \P`rFJH. "0#*|3 ChdQ74݊RS=-w;NG/~.|H-<ƽAoig 0= ?OڂLAwݲ;.et7K_vYFeaǹn/R8mW̳!Oكc=BHVrzBW`KP vbs{訐 b 4$b)uPӔ\UĬZV1ZjB; X5nt7E^y؂@>֬EUвNaCߩ!`{eRD0lSذI. ԫK*aVʅ#@|Ŏ`t\Hp`^lpZA q+g^-yq&Y*䦖F? q K,uق""sƒrco# )nNSol=(A~x`.tY XW9 WnwvCL7Xk!2_`~h2`Q:X zA}.9!,QGLȲYh)82EӅL92) (#]YܓUmW}5AE!QK@,Wޘ8F ݺBR#"K+CM4V5ڱ)քI}'_ی w 0d';H%`Us8tlسB^7_kHQ'9ItCۀރ04ǥeX(?iDi ee_zd|#_m5~_8!Lu;p#_(C!V#n)_6L蘝IC/[KJHYDr ~H>F$]ǁ%6leЌ)rj%6N4fM9s2w7F֛njScoŨ 5S~H9҂qwȬ7'tsJ$4~qspRG%;:UOubiU',E/>I_&!~b^>Y\(i<X;D_=ZG9|CAkdwi>J, #%)Ij~ܡS9)BmG޿Vڱ ws3+ H">sr+`u;4mS3eD$&eo?f(Ujl4a5>q +~8[;Ś+4HȖ pK<Ѩ:,gtv2,]I9N s)Ә+\8ʥ+>XaY%鵅KLϺ?֮:9"h/ѬUTcS[I0q[͏)X5>˙ 1I`]k89v+fu"-n-}H)5eq0^L}P3_%'} yYal/Z R$Q--D!Db~=T]T2;FixޓwΣgZc(ml'"zǕR~d!,ҬX <;M%bHynut;%F_;K6Ԥo(@(jx`pgB ;З}3MBj&Ƙi>ZPc|g#ŚbQ!҄Qƻ)~\NAY@JLI䵥NT>f&ٲ(ϵ|" |ޔ-Ԭr;ȫ0bq-B3].EƇb!6CF&n0+bnwl@qs8+1BwՑ;i\F1Ejh턜 ],=2a^U0Qk+#t% گU^(W?]#ti\"U cyfme|SUG tEJL5cX6wE?>ong󘂬~GHm'bC*p.HA, 曑', ռ7(~<_urI9w h`XIsQ5HF7yUEҰ .ChTV/jDF8)W )IܫV`JdkVF[\g>~ff9蚑RByypi-oS) |Zx54Ii3 8UO֝Q*䚰"8;AIwҫu[Q\};\-Qvri8̭PwV%Ayo:URr;¹7(=jGl [-E^,,[mcy14hĊr/g_WH/2I×^O/z@w-᫰>_3$I9_2Y`':$_?y^~l si[B 7Lh~%&gOh> Qg64?q+st#); ֘Eiu,*㻮.3xkMtMIxEl e&!~S VFe'AzFvщm e8bK>2b|4u54IUHCfXz@tuZy~1<9$@ .Lx9qed<6yyi7wW1q ˅ h;5a⑈A.oH{II+8Vmt;:H|/4cb $쬧`;\m"d_i7n$BZAfU,*y@'S#(N֭U?n|7W Epd5r9I=o~=hX#e2P&Y+T:úy\}k@Q#T+n2p1J]m3pmƾQ;B<@CJ?T2 ;oŚxLsƢ@)<#6{n%\'F6f\~4!"ښP-iGw59B!4W|B^>d$a^p~R=L\F_Tᩢeh9jʼn=ag?oF1endC[##E10r9UlDX`r;"ЎA,Xg(|n JvȾ>fj1IItNI?CT\ɔs%J1uW`uM$uJŒ>"b* av,[IH'.E|Ԭ)Z lЩ-t۩&w}+ͯueT2)#J -?Zc gסGuiO0;4ԦD,~G.sJT'x(pˢwm{ S#d~T:n;,>B;t ~ ye?_|3iϗ DrElS!"{/Bȳ=X6,pth~LfS@<{&9 N15*sӌ=/~$ebL_M>gbY0]s\MQQ=Hj{ס6/+e1(--!ʄ*WRO+ڝ#N\`Qcw.i?[2lʂ(vBI|y-k+=8].{;dO%n zkC}%cKb|^^A>0b4Jlqax,Q}@PzCUt_k. yRJ-\; ia97xy"(liMApʔb 6KZxԍ;?! v@Ж4)#nq :b;.җS܁P#y-'fhKrJo0KDvq !]Y!wRŸ,wRT#R.t ,88S:sJ;́Y `CjE26*l JćPufפz\CvQ\xloJZ̆)?덕 WT92Ul1v@O\#8=߲>f9,N yHn;S~Ԫ׫XJ\VF`Xu1?0'NPҎCcw Ev'xAQ*9#}!+1O|YXL[mO!SZ-4Սֆ 05(kޏHǬMvrifI:SC~qʺpQ<'G2D}n7N 9t270_nі oE6yC4yCǯP/q@ixȘ9𬓴 95SK 9MoG5NKUhL LPնi_^A,A)IEDŽ ^{~LJ yGN˕㍯kFr~_3Zx = >ri@RCD(r{NuMvǟw*cb wg7j-C/4-p, Fk+2HBfN#`NJ{_ysotZa[6#_C +dv+tZdvi acke]ٓE\ߪ@5M]ZOOpv#t oڨ 3劕lU09;9 2 )rLDwZ5A2低ZmV{Џ1Jt#;/:|8|˾d ScqJۯ˛`T<YeۺaנQdHDX? iI% S\Et4IewʂA@;rPq_9'@$@"" |/S#ck6GAVW7*VzvUve”~K_uq@[5N_J/ POUjKTO|uS,ʖ)kWњxɨ0Ғ`WuQGY,ړ&Zi-,% ;,J?`s[a7DKG8.hUeuN s2! j`8>>jdt驌4l<6kˇ!S()cxĪZ D#3jcGfw"kl.|0A*sМ7ױks@ZZ:\bpW@q%!%vߦwPUݷrCqҸUy,VBJS?̫oڠH _G7X/5+ 4?<[g&W>|GVf~HQE48t `h<,!Gk4%ʈ$tyk7}8Hg!ƋWLU;AR'LuzL#l3n`=<3˺u9,4kW,hL| w}B9Nx^h-ne{RQTtqdN"ſ mhR|zRP[;[cjzŞNfqH*u/?z܎ 7> * V~z-g}ԙΦZ p&s5`4݈ qQ#͘Bm`9|E7-TLn捻e0X"ٟ}wB-K<?4U!3$bf҆~7ls A 0g|kHg\Z nіlQoWAĕag]GV@Ƣ9`U=XhrcL85CGF ZaJ`ˏ_~fLnb#S 9_15-ɾ 3(8Y䆝2K:\!NelmQZ炻#ԃǫ'j)<(XF4{(.P+S= imS7k<,l8ӟ*o{}]J!*)JehS@(l=my2jcw p&t5"2sNν9o:E"pÂҐI:2Uu;uIײc9ID Z4ULY*TAY z V`@r({ U%r#.|{"FCZĐ8qKb("0ttS ފЈ;4^8ǽ'gzRt[0O%~7MK7jY5h/Ł,(N_jk>n^=1Z#Ņ쇖܋a1KܩMQ&e6} K+%H&Wjc51qg\2:W͇@ %ZGL%8n,>l nE`LSWѶ}E*cgI>f5b\fnO@97`lN ,Xi.grr\_& ^?"I!D˙r?TQ[ 5-U E;!SŴ)"l1n M:h23Cr9ͽ$gb`:5ł^#?}nO@ޣ@ݯ')d_n Y%z ŠYW+ds1\խp6E CYjz|ikĬȀ;T}W6͆«eFJPԊ#˙2O i _S-WF#!>eNBf;"{+<F6{8Ul] lY.&16(qT\+צs=|J\tL0n#Ƽק^aIs3>BHz3Gy.s5e~*WZ*'MyĐA)D3|p^X-|^ngfW]%TnNjb.GM3@s=Mh ~2 ƄUiwt>\?oYܹK)N}Ҫ1KR`~avˎ˫|A +9R+r#c*DwRseե\fNqz84l8 /VɌnz`@fifFuc E PwGFQ,Ryvdyҫ;BE˵UJIJ"eސ A1 Ez|/* =}=?7t*%־k+vN(h 'ߚ"=7l<o%c io*4H:%<VdF |4>s^Q#J-{)~~az=&,kRkb/ fs^*ϹDՎ>p6eNt̜@θsvktZRxgho˧R +? .==:3alƞ0¶kVÅ4!X,`VsIB)f[fV d C|Fӈ yb¬.Z 3"΁IځJ8@F9B p޸:B^t/)SbJJ?8}pNd3(,a^J-&mĸx r/ܩ; G[8uoSm$-  y ?)A0 (D)@Vrrؓq܈v4P`+9|8<_L [w36*i@hOU/r^fž@/oPKX0)ª^ǖlh|QRp>Q?lD6Wh=U dSl\i>޶y01ԲZdOՃׁyBiX-(H$ж!Ѳ,|)oE%Fu )`7eajrĈU"<΂1n>EP gĒL f @^v~˱W^c$iZ,M2tEN-ɔ_4lzLVD|4 L S[ E S]gzҸ`[r$+afܜcWnQެ^2VB=`Fo?m}&i(`=SE0FX'}tT"1E |gD.M:.eٍW&oG̜Ua-z+QwHaPQYPAM҈ÄC6k6~C6`y~*%P鉬z}0yA<,.4Rr+z2Cl+1{v1,~s ;ҬǞXjq)$(Dbg!OF\1w% (ZQ>_8B+x(< ^o- wGΛG)H=0NZ2u˘8KXuz*pdvتU֍:=tG e"/i W 3 zedȏs|@@,bAm%Hum;ެL/(1OB :^߁,-!AG^G?徢ʾ9$y sLS'DQoJ.]H 5I]W[n}'Sg@E×HBc`iQFbeAmeXՂL@6Ӓǥ|k Qr̘9H05zӡf"HjBƨ7\<; ;GtMRX3h)Åuَ"u'okTA{ 5 M^ەkgNsŮ$+z'a/Zx1->_D +?gP*NڒJ)gWΎ1"|+K׈AxT. "3[H=9`/Slqt/-Qe3BE iCѓݞtDWEߏIͯ3$ZgߐT"LopWo)KDmRĽaJE}ЖY b>ݩ dԦ>%Zp=[P;|g2 >fX+AS6 )ͅ ;/:?xal- ~Tig4ݪor5|}ҌJjRw\_с9Yuէ֗.,SKߴ`^zuT ZPX!:[vDuL2]VHaV6iWy,HHa$KXԖvHV< |(}_{ v%ϓXKܵ"9˄ƹeuDc}]uEAmA+&?L:( &ۛǕYq09 c6*U"(f63Y,y JOB5F!Svan.-}A߱omC|Z mb$dI]d6'iovO8ObfC^:exVD{55dPme>%w<0fm iGshy/Q8WĔ~֍OzE~n0S_ɨ>zo ۏj]y~ /*! V}A<Br7s/>*UzmTqqDYvO{K6n;FF1bę MǶ:~ Iބm?)5dTR_Yڂ篝FWlqrIVLnמ80mn55OΪXpM߅+SM2߇6~gsF&~CѪJkyNX_Y÷NUɮv9:N\5Z/Y~-Sx6_h"z7-qnx̖_u//6x!63 K$h($Gڜh2R33[dcbٸ[b%xp&Jc377bpb| J)u@ZBe3J'ŖDTTcN4q hȳu[%l C*~hFt`X edz 汝)+<1df!}`W]װf6@]D b󂌻@{|!\-E}+7 j-D$cTԚ;Q0|]3Soi[Aד&ѵ!}S?=iCd٦ׄqŢh CG&Nښ1MէM`a*ά[ji i}EYxϞ輛aO*DOݬu__ Fm,@eI`c)K(spHO*εVօ[sV& C?؂tRq*vt.Q溩[|z@E4#K 6PL2>w*'@έJJtUO],'(KMǡ4o'CBUtgYZ ""p9G' \HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ihe]Άxʆ5.f-9 rq?m,([r᳗KܮI3l"ڕ`z8nBQM * P''Vf@:=C򨎰qIQn;۹O@zע%ɞf'I6b|% z]gzow'R#yeu=)V'7PP/x2l !6#bbԿ"e1jF[[3ӤMрR(\ N:[ xqZԅis(t[e٫jg ku>D?F.`0?O4U]Rk!4!#vJB_|6;,ݖ'*bo}a_'R5_Z16ѹ|;.KB:C&]do|柍7 ɁcCDJ"hBJ8CP.u4*![Qd.>)5@n?4ֈ7q^V,)X@l0Gt M(iܒAZ,sOx>M*ɻqb{Xy$@[v#hhc1,Ʌ;iiomm(RӫP+kx,B|3aM<,} x1o )%cɄusA+ν't:ZՃ |ҢgYZO 9G# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! XF]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H ,I?.1lxb6ƕ4kw;oл7_!寐llbQXEK0!xH4V:}Q8!|R|^ӢQYN{@Hץ^T,HZ[o)={.zr"L "!Qmp<#"iL\.Ā Hރ"eZbq>N*4^]h,AiDE%߷.K@&eل[ݷ;P堗Û[( :e;Ћ4 =tҟ)W\鋔:urȯ$A6 3\y*|k@R}p4R{8VB^kcOY@N]]乽h V<ƜW0ԃJfYЖ*w3bj9' F ]cUF `'>U!ihFTs-x4AX4f: ŴaB"3Fg>J6:W"sB@oqbVЊֺ.Smr{Gl2 zH1A%?#!Fo)+LіL&@F{́WhJGg;'E`Z8a t6?(ktN.'4tP1֌aF<(>VAD`4369d]0 d$!2[Å㈢abb"($& NpCSO"Ө*ump(Fi^lMVXӡnz<8g=:-TU5'¸&n@nepp4lVzsF i'fR!Yζu@;7z xjh[X rI~ؓtS\3?Y@̄@bӑL9"k^?!?K .kmbr}O=@ B)O*jby^cH chÛ"utKN‰i{P V3d{ noAq臺Fᒷ2 }0=nHe.:k4+b*({a_4ODɸ]/nʙD*N71)Ό5" @KnӐorIcKv _f:x8`{YMp+=DϹz4g9AIzE7DǑ.cO֐Ĵ vPv;7Ti1? E?c+($UKCuǔv"C7y}~ ]nbG28a2ȐrXh\4+Wv)ٳ) 2~)Ḫ.ٗbU5Z0L# TqlaisgYZ7zXZִF!  ]ŗXiɟ1)*u%9~eK@/ l꾤8kSB]$|I8֗;!PRlKR&Zv ugYZ7zXZִF! s~]ŗXi%yrCwiTŕ'X]g?~P^!*xI=R9uۭrg%CK|JaI{yi<꙽&˰mB_uOP(Coݪ* )M춶v#tEaeviǖE^7DkR<;R_B{pʟ,V4ؗ|ms2m!dZ;I |Gk%(Wm@C,ܖՐ/I[\χavI8k/54ETQQu A-_{S$KhZD7Uh";rk8Z%X!3BY\Dj֍MHyI:=jȆTg268Xֽ>ް:htdlem* ݔCMOOmQ7πc+?1ioƇ&c9GJe4dT:t5Q(p$p9*ZnI9ggFgӌ3K>8R t9" J F_LT"i8bGiR$Vrxϯmގ] xG CKf° Ә)W;ank gg(Y#@Zu9B0/H:p4l/o/(qVt H]!fb 7%2Akϻ$# ",=\-[fwVR緅Uijdsrҙrs; MLxmrfaqOI3q.w1ǽ:Cq5_tMb#vhzK%?Kɲ3dMӶ2;yJ T>+sg@8*Qtzj =Cc6RI=NU\t摽*m[Iv~F{G,\#W042 S@ٌ__-OViQhUXuQ)blur?d'7jq僇?(D3EOrU yXnek"R̃ >Ca[o.+=[ܙg.%C|gms5i$2r gD6gzyo6]R3ٚqvZ{Dߏ8Q^ Tr%> jƼl gJkZQ6B ) <*s΍Rj3{[sX ysMk[E q`v8BNA'*^*R'$"pb.if s O!]iVw[ˆ!+||>1+`2b' F1iЮ3ѽX}4.p ZQSK٦lZ!C9s5gd9uwaíE\Xƌ$oNZqW8ia'Hش[8R:S">./ >TvGG gcrj5p'OR-_<"-9K193ܡM_5wCk. G w~wwfoޫ`檟s@qƎaT{$0Hd!UdN$Bb}J*|6j&g4 V2הuFc! K}aYb@"JZP߉kgJMAJ0kp9u'$L$'*lL> '-P-;iS~/On2,'|tZDRs&T݌Y ͻ SGsZfOll9<< {w1 P:`?Q)m%{юR@jkqڜ}lS,G;.S 46ta}~nŢBuv:%SW; 'm[@na'}Aah,=Z9]ؕU=ztvz@iy?GtadeX_u+Yce}-u$ 9 xB5ORӮ*f,c{RjM,2gBGA]hQ*Aj[p|W?-[V$'}՞hr)c^|v?f|({S#1阫a8 (`Ymt1Y_r-G?j.n(p`CX'i"o2hB60pct ? SkQB/#K-<:*9_Dž+#Aw#.lN0L*8_י|.\[,ST.?/Sͩ]Uɱ# B{4[yl|oK4+Q}`*qH-~+a˕663B^%]EKP]039}I>Wl#+xhK%DfAup~P&sؙe'7u5Xh9m#(p(~JY)o2:);ԦlzЛ F)܃JЌx~ljBq=I48}zפ7nBagvFkTPpx̺-<WFNX;+}7 #*94y qW|w#D_M6"9)6n$7:Cޜ%UUq0<(pe;D#RbN[qkܫVN");\ՑĐ+'v(Db5C* @VS!cӁ'#d_qꢋR,~wz0Y UܱgJA_I^oy D1G|cjS HRt {c 3SWȍI:rsSV(N Vm5'BV}9rPu(H ,[vKgԞ͸8ò޶םש.=& ljhF]8._@d~CkFnQcR~^MSi) :N+sϕNK LF):W9t9DQ{m)6{8 _>#h.|5__oCSSOMaGbWiCqV_Q_UެRi",(-.66op̀e&obpMt$?o=׫| bQ r 8^Y`fО %[o376Σ]QIjZ]j}BVAXJaqt*bdgt=Fԟs#zY({⟗+a9wIA\KfDMz˭*+5`WZ՞=" &yi0 KTߡ,m.˖g_av-l Rs e$J72r]K#@Ei6izی%[= ʃрu |R9<֦c Wvw-DA>Dp6w+5Fl}@,hiVa74$C)EM {Im.v}8&S?':"i`3m耢Zv3Jc&"v.10&%(Q>fScj>q:lgqg!2@{̐29+|[ fv\ӫ/)$*y!҈ hS/h%8㹂9x̳KXFO3E[n{H\Nc2v~HBWC]/6{DRV-GcY9%~SsRsf]'#g+I뺵'Ԑ$a\D(o E=3yT|PQ dS3;/iV+U ,uȈR浏{Of|si"csI">P S_j=HU= +K_˷ A4璻)8\I4r}P֕e.}i>0֎VG9;Pw&f&I0Ŷ$#^bľƞ_U 7F$: ܥ%3A0xH&0 j>tBȈ@brDk`\zhbۿ鮃FIS2h<z7R/aІ%jL۫\gwpAlJxA|Dϣ ةOjuDXj䄴$dsI#sDvDER4ΡbT9LfJV2vZVwGA#z}DV@ J0_kPn4_T>&݂Yig~<>>;Bk rX]BopS VQQՉM09 RoxrDU= 3^Y9NYY-wt4ث(].(6'c\]F58W5I|&%$cϣΰϝ2ss-ӓxptkn%O /c~A?; i9NĪ @N[(}ʦ73萭g̪ A&k ")joa_FT3 fN y+]\+o(njȭ .|uGHaj$ʈ7cE/r$?YIv5/mjh,JC@{ȅ&uf7Ɯf>^ tmW4 -W~;}^t޶/JSP&]zlov~7PG("K/tPƜ@GG^L*Ud{&Bg|~ @/`w8` 4Ir{~6(ڢz.s>v`*߉a!|~9Gno:6&+nEwxY."Vu*/7 鐜nY,WpBtE s#Bhן7rP;S` Z)5W2B>}a!j`p.D QػV.mm\κZΡSX0zq8B$DpZv[HM{UY#Qh>Dq/DS$5 oV |4Ḣkϧt@Mƌ|1.Ȝ&KŦf%i#_8Qѝܔc>^l|xJ}NՁRDaN5 ;uیzz|5h'כ 9J-}Z?Ts4Q 94)|Q_h e{JX6#78 i.w.M ^HbxgjPlAMbK^O=\6oy ;k`<8,,6_@вJ}rd_wB_n@& !VG;O;wzrl9x֢yFO`nK6xI _O|l~z**zڛPo9oi PD8ӥ&cH/cq- C;zN\HS0 Ns9H\v]-~7mB K/~ MMk.Y#ޞt v,g LG%؅ ٹ1v%q=XoשpZ p򥇪:d2 hnM܋@R.Ѵ8a F_{ rjpֳUUX9*$#T; MQWUg4uO醊{3MErj ~*%T>{z2i9̲kYZV٦ ,7 %1lVbM]Y0 i-ZNZ ū ~mmd{s7WrNZ V`R]<~TxG[JHaN\Zc$>*¡j d)qԈKq}"]ȚxX%/AU]nr|h8SCgs$$ ;vBr[P"='epz QiΕUR y?Nĝ0&{_OF9C/0kcXo8,|4"qFk"^ a̠ V91*mՀlc#P{?_adDСٌ_nvā%a*WaǬf)dV:s@u4/L// ^BdIۀU?KT<߶Ee-םF~3#"uYPؼym@/( 9Bv%2WT涄ڠ`&lML{I,B "lsсNScpd6H<,|útO&g"oY_Ƅ4]>㠝@CX@78c/CL OsIt np6Yg·Hѕۢr~$I oYOvTqO3F:̯WOlWn۾"R]۩{߹pR?޵\35[ v !`PLƫVi^w[oO tx!sx7fZ`m|zb<x𮷰XgbCi-A4^hYy\'.&na,'z"}A5[fO 9Zem2)VmlCOv qح{5-xHbQL%΁Ш ]q!S7iq)z0xvS=s_\;М;x;MM4xθxr7%a48̛IvAa]Wt˒q_ߖ$GW 4F63g 𩢉╇SguӡΔc.X>t6Xa| ,hcDC4*ϞIGnf'a4iidYnک|* *Ja_j -M=&>Y"j6cp%辰ʝHR4('!;P81T3O6.)F"y ݾqF,2o^]3!#XYZ"4lX;X 9dFvḢ}@d˝T0umjQ@sP@wCxh鶴1ÃZuyY1X6w4>t,fZ4сѼ^!#=v>A!gcTpӝg&W>hN:7ZQ hAZ'"~:ntU5En0XE/!"oiշ ;LdubrŢ5 %UHI8gimwr^Ň.)W(51p09o*EJ)(S%$i AvH޸Wb53R [aގ$Ņ/^h ϋHg};]fY-!`Ұ%+ ^$ņeXofr=HI}VY@N,O:C媤G\SOͲmAqj/0GV幗% $G㻐?n5Uf͸Ke+aٹ/~qA$ߑ; zhAQ.Tǰ\Ht }ԧE_("0^8ydT EHsؤoi9H^Dh\x@P+h c P:_,})#ݔ;8byd;@FF@Q%$_܀,쯖50]0dg@&%[u3hQA++֚u (̄7L3yLuy+< 'J _W`4偪[ Sۜ%4]~NJ n`*" RttsĄx*eaqYE 4^ X*%u<9̮lɼ)Ša3U=I~U !vy>jW6N>QQ;qkEMZOZ?œ.rI^=Ѝ>S!hHIT23먺5$?,njcr}i wŵeP`Yfऊ^p ΍S']by>S1j2@wkc-OX’ ';<͒6Z]aԗ?0O,'SG; 3A?ytkQ*.iV{χ(#[m̡$I~f}I%k* CP\Nlv_*sxH`L^>*o_qi7>C)h"+,ۤHueZʂYYbu%`6baH |Ir|ӆe(] 3bzIRC+/~g@t["4yZ+@H_!i}FankAH[va 'XWFrRZ:zMvIF怲׸> n u1"r4kˣ@uߜ T&c0T0'F0ltjK6ƹ-_!%4hP+TI-v5%(_qX=^a=5q[w60u;rWcE}=D.S8y~Do3anqGcTN/5m>W#)-bL#@InßZ ӵc /)'zP§J7$%y~aأo˶E>  ^ ]SU?'j-r;|BijA~۞4ٰw^jE ̂^ZPZCό>&lʾQZj!G[PB%!M{KQ[ veeX'K{g7Wtby"e!:WO Nㆳ -f噐(KR A* }G,jeHI,);+@M7;`g S8d3r6ρn2rt?O\ez mHRPfmqI9*- Y3%QPV1dc\㱯:b8Lko_v_.mȓ_̜3r7ML jxx9b\P\ڏP}-^]YǣsGl=[)ADE䒝p нm,OUR/\X鬐U/<:`q{q 2E fh7RՕG@QݰCiv]>p3"`L9phm uXu}ZbS0z]НUl^i`G=mFdU.pザ!\J qф/"pB$ĕDsπ K)mbxZ^$v6zRyg.]]= jx} R/D$2²zKJ_W߄uECɻ 7V ]l0M7? r5d6-ۛ}Ƹ >abfQͤ“u8\>9 s{pMPش,W4C:8UirC ȈH E,tR:+宇૕ ;%@ڃ[%G0 kڠ,U#8|5dL+~q`*MM,3*Jsӛ vYٔ eTn乭N! aviBSs:g2-ْϑ" K d."hr$&P봇MjM}Oa EKczy:[^ u0_Qe1UJ`3A95v L-Gt9u2"[)(z_F Ό;k;):X}4MC[@ΰ"HUfFCk/M'E|xɚc(SeRh7Π>3&.~ >Lr~jCXkD_iz%\d@ ^(cLfJ#|4Uy ][E9=,&GlpTڸ)wp| V,Wj .Gk|,Mm ?}6#?({pe=6t[U%( D/mƟlBzwV$ mnyT&{D6}0%0A{~Eɐ=62Ɨjw@}u"I b9Ʃ 6[XrO-!>r'鬝0:~! R{T2Zpx_x\^LRB8B-LNFf[`hO^HϐW|ц|"yú8)!On(<2Gs.ˋ!^a:cb%fVgxש3\genF\1w|܇~JuK)J`Ms6_9^=A`$4 -סe?a:pܒ$aJ$\1{3SCD=*e 쉭j˅nHԤ/9~)X_!ݘt Bya]NR;Yd&Ra#/IxȨ1[F!!ex5jTրao͂%+)!:_2وj1*5+me}lx) da,G;z16tEc mն݂䵑kz I2Q'ÀIqgQ=_kpb4 q}sؒLP 愘 ۧEfv":0tP]-)/`sNerSq8J=[f.zWĔ֭Y-|&Ө5)pmzJj겒K(ù}!bz&Fdw֪ 0sԣVk;N PH!d||P85R!ˀ&!؈ jϾElxC˷ܜ(C6PikA5)b"D7D#4V$|E]%#|&*zӼ{MӲʥ~pt tcS1փS䢡1::Iq|XimS %^"Ma5.רN+zd!Dgp5d3\dS?C/H df/xA Hw t[|*W?uPlnn ~JfeSHrX2G >,8tELʕܧ(EFdm55(ԸѼT r ki~!GXID#0!M| ^=/"DOU=k!lLENZ,S,*Iun҃&Zqn%gV|h TsPDVHfY2޵5ox}rmqv IJu_~н֑(MM%An |> ؆@ZM=Ѕ_ϼ#V0;a5~)#ſZ) j@ö2|[<;[ zSmb:P]B fǑL =g~L8>룂jG^^[:ȟ!.`}}w#X6 |zb2_ -I]< 5$4 >aqO/ t&呱zHk깾9_f缼jƨۧsPoI,fOxr@_w%<%˕1rζPBgb>`33K69UlaL!IO{R3 H`Xi;o$pq=_H|#[O.0:G}\H63 }=07ð-IC9AE!BB eJ"VD~E!7[OC:LDFǵ#_paհdel4m[_5\6%PYY)I̔TY`ȹT#}Md\ ~&]N+z,bR%llhDA؞Bz%q=~Q ^@]~A:Ow:h\&Jyk2~5h F{s{Re_911_襠 {Tf"uΔ!>VEKLJUv\V>-T?Ł%ը8Up*yvBXnsB O4w\ŽM?n>hҼ݃[#>Ti@#F}?E2Х/ts9ﱔ>2 MrOii(˄4x"v𼟛=zEQ"qܹ\MvfYUN*)Y{Z`ӆ*Ux|40%uDL|38 #+km ԰l@bv'@"rik>❬Ayg!1@ÔpN/\wzI%lW&i6zjۆ'ْm_oAڛGq+V>T]b$}FܯܐүjN[e"K w&6^ԠGԞ ?ZJʈД"s s}SD춰HZ\Dlhkw)C OkN˒$X5I qC&"#CcpzBl kPi7YDL)mo`WFVx1s?"!莑۝&Ȋ1Aݹ~ueQÔ%H>86ߨ8joNWU5}G0".Ƹ|H,푺 {k9z|'[Nw0.TV3E-oRs0.qBs"C-:;*[ϭ ޾}mk )xםp |D_HC#b u!9ɫSy8ţm]r [zA暃@m~E8ɘPS^UƖ6eSIj9nU?#C ^wS1uC=;S* h_{b0,m)N(5\f*E&H*?/c41ϰ+HRZ(T5~_YNI<5mM XV9VRBj#nIAR7J\,VbI !'FR)L!F Myj+&vRLAEBQDVqz*f)sx5vD+Jd˫k$91Iږ"[,>_dK@wTTj bhwVV>bӈIL: J erg r#0%wHheY85: }dU/f?喂I : RNyc,XU{J:׾q ^*n7soIcT8j#N{+Lw# ?Cir)prr2qL 02X 3 P*iZE~/L߀feZÇm_%v)lBJOh,-Cy3 H̝@i0<Ɠvp3/3USSL<"I\ˬ-.bMj)Vsw3_1WוcӄL[ \~9ҩSyWq)7-9ttW,DI U$8pPRX1ɜ OXXKCؑ$Rbptʪ7L-Wb;IArmąڦNus -@vԽΖjO2)y sw_&r]q)ly'^6H6cw+*~]lPgsӿENErG$N>+@kߋ,6Q*{En6.02n)0ҊSۏOJ}$zZ7P x"eKEɪ/ua!?:4~޲1Rw~M@R xp%?'j>Ǧk']tO60d2:9MmEYӵWHdv= @YsC ,_Êoe NKZ`^+d+Wzx|zs+~mH:46pSH|E/@Iȸ?v7G_<,fυ_>ܞfiW&8HKܚRzb :Aۨ{,Q+f.$ *6iߨug0[e v>eÑQ&Qo׾rw&݈` Q/~,L n1POQJMdȶ@x-q%{s,#B4TG[.xR9p.6!:E4t*͎.^ʰNrǮC-βuJӁG?[ֆvT T++# 6AFy`f24R4e4O> jS=bMAJ0һJM6v k厮+%ws_Z sp9}mgjVWMm7 :B2aY[4ęeKA͙X? ›@q#"uM|Ӡ̦f :2}1B ۣ?\y2g>M`Ə佥G4{@&F2A SĢէ::w#jU8&&ߞKZ?fzOs ǑXca-L{r+ww#N#njpqo//Ae `.9]0_3\dy[[ TB6:vPx1R 4;kІƷ+]t6}.?(`4˘۹0X@fs +r/ 2*U @ΨHʦGeЕ)v{XJ٥jsvwKpJDQۙ͋zY791ix&UyXrV PWfbA4N)OW謴O"s]T+5ϗt?;?R4liO"7\wSKxx23eH2BrH}H}@wh]sFJBYĨ l. #H(fv/[DEDf_t,h^?fㄎ>gJlwLM)'_g-ĘHOG j1۷AfIxv9=<^:d},=?g. ^RM9]9Bb/Xёe1#r]u@@֘gJLHqKl!G !}0ZL]Sr |d9ȓ{ɁUqtaȥU^ :fr{*z_~SRjD"PZ ATe60ي:`c4}YУ?KYZl-;zцLD ad>K ӅƵ0N) sP6BQTY@}'1;&/!Ưy mU.:U/}ٽ#C"*$]18"RK VEjE ׎य़ΗU62ٿV9Y~gqZjD+M xpfQ/|Cഃ8Ü0S]uQp*.PL~0~ߌ~Mj%\S9sHS@0,œ:ҕZogQ]?~5R/1"›bcr7Y\Kpdxzd 2O`-44FznO\I_>W~!oڒ@O;0Gա]CX!9wu}+LLrԨw}"FƜ l(( Q%\6n^³AeL7rT(%[=>2d_\/t@eӦy\< .%e 4fe{i.cBoD ($W?IhtT1$h.fƋGm6 Ro4wjńĪ)L(6!C ie'vOBڈC?[9,4w_ "K 4RC' I>@ɵ םϋ;WP7~?p1ܿ#dK^ѝmE.$vg> ޸;,K3_-coTR!CczY/8-qTXĐrdQyqOlv4e*{{Ϻn2)SG~]v'iWȮfO]F=fr0 Dx6n>CtDهpWX{ײdہdNp΂&8yмOm\ #%S}GE&*jQr"x$bo.huPŊ_j޿ Ie4RHg.VRjY7Rӭ)a"%zק$jcG |_.57>=!& 7ϫh*G|YT`}v%8ی6,ܙq+lRw'YuKϑNN7D?Da\bHǩe-wJbMH~5G1 [bvpE>9*=OI [Ls$Otwaׂ_'K;гO%JᓜQ͸c: TᓳPX50}MLXdZ1 @D}YO³ o9Ym Lα`z8#{ KキKҽb?PTſ[%{ 4R& `n\d;ۭіyvoj?3^6 EŔHvΡJY _rYb;gmB aB];|GT+1wkv={_z>z2L˦Fj :4.kfڷ10vZ5Lx+=kV@p[/g;LWLbݦTb.#~M$}{}sanoN H~LQn(NWbe,pm|os M.Mwḏr䃶Eݠ=T~gO4o7{(%oG +TM >*t$_uO -kU`S}=,K*Xj#TZA,ZvShz(W y$'Dl:A:xt PFJ6? _ng-mEڝW[nnPm3o4w*IdP]]]߷O밟jNC yĖ"忳D3Vj3Q[Kt8qg ˱|e6Va*R|XXT\y~e۷:OϽ`#%W3J߁ 7 + [O)LZ2 <+WVz2^|}v6/JaJEZqU5lʱr*wϮi/?ęP._UaALRYb4{]9%kߢ;uߌ?VB@[@b?mIlw +}}&LYz=5޳b& FlC(P?ݞ5AFcd4n)V@xIilO6ֵhi<)+Z٨,n]t[b[ܲp꤉Ն&T;g1mX6at]lknIgR?}Ț R[pٰ!qԽqh'd 9nX98#{X#y)ƶyRę/4oVlC// P ze?-3H3'ctiBUUiE\1w{aRzdOIq b{}ښ6#1t$, @@}ay>Ǟb(Uv.'<7R.z=I,QE8Yhfo=̔TS-W*zOhқE!ɯ?0!εS+llT 8Ac{)b4/9 RCiWSKA驪o\~wQb' 7?m80%9icI%0h#ޒWz’S?C4Z mf{z2Eˣf'{s&>ܹ>UYR,YӛzqΒw} `Sfu~Ύ@~3_LT%MMx *w[&kRvKb넿u. ]`p?*Ԅ/ B8TQ : >x 'l9ydQsSEyC>8͊\* c쬑/̖ x8 w zR8Y oTǵ4J3yͅTJULI{1p{ܑ]JR17=g%/9O7Sz XYIįgP"ő qA'rD qBA0|]0[#lû\8!ReFtA\q<٥]쒬a=v3R8]RǀncW `I8S5+ gY) H񆷍j5UT'GKn:1*1 Tf>*dW+'5V~|aܩj:毦\sK^va]h|sEC=."jTUHhS) hɃ[K뿿[үx>ԝs?wq|OS1Cٮ\(Ϝ@Bx]N(F9KNv*υe;[̗nM̕{|Ys:M6M]ԓ^# ܄nB'柩7.o@F':q팠Vz)o ɘrlMbTf nZ%;4c*jєlAސy<¡! rZ.aKj}y1[ݾ.ة˘ Yʔю^Eū\Q(h|q4 !Ri ~OOsDkq[:9%}wV9hvׇEK) +E }0K|k@p)-%eͳq'm7Ы .ag>h2:}  j Wұ- uu,%uAG$DNWs>$ޣd֘ydL; ylx ưap^ Q\C'7ڭPL 8JV'd`Ͳ׺9ܧ;=ZoMo#r: T+5|2s׶%E6GV;:Ş_:Vu"㑔wu h"UD_RhM5 o*KH# ;=FDZ>P/p{Jښ' Cp9;ͻHJV}[c|'|e\^h5O IJ`}@gΪ don)D8UMaԱZvu_0 ]⩎(@XڤsEm6{!ޛŇ5,R7>8V?q%\fϐ3dcW4ah&gO]ƒ0ߖэ{ko|!v0gϳU/[Z kAeUr@UL9g˷LKFj@,˻x6dɚs=F:=q `e}ΈeW{e)twbutP=ʐ⽪@x.S٪#`&5dvOa=h*Etx58k w]j7N6p2F"bXOFÖFQuV\`ɂ~Ϊ;!OYC>/U<(/F4aʤŞ5Zp|  C@S=^l=o{/-,K6-lXLGz;,&ٳ|=bPLѶIPBidSF;jOGcE;8) 26'_@SV8+šcUsq*[t#.T ܲ\7"f졺 x,Hy.ETWEc[4sUl~$A0H(ntnE`Q6pK!!c-2xq{4$ '۪ Ib<4n.˱,3[$]p ya2px\6%?7(+JrA'0fmi2Za,'69oߛ_8jj]\0;A/.uRhKu@@! A0}mpӺf|O%J-\; e9|-; T[ˑq>5#x(*D2H$vZOi(Ο HCk$觵He&i p{^Rv2 OsUu7ߒ􇊀I׬O8=k*D??ȫ0br3<\B0Cw#nb2ϯE^Ry6PV]m4J~NNzyԙјKVaiO͊ lĩ)Z8kTLyPն/Iope,HZC,BG 7%#gTh_}!*8>MDIodk>c Ĩm6hfʭ0[G,˅3!}tAHKiNMM0)?ANT  p6߷ބ׹;Hlı>FMMth(iHF>Dd P[bgȕڬԶi#aߞVru`q5춽+h? պ@OD+7w[|Gv2Ie3 0iۭ$DYݠd\isSW$}I듙V9UH"} V-zjn6qFmz>xnVnĸJw-0XtduȰcڼy|nAu#a#q?6|mrjsN7 uWJ=C#0umx”QtvE[ fಎ0สML )4v'nx8+̳:PYfO2YްQ~*D΁et0_Ǯ%}[R&yҲ2 ,9v0y:1;d0*2w ٻAG"9 e7o_`3g\^~QM%A_bK`ґ <A>&{X>Z(Ucyj*5Uh3oi;{у>햳1pr*V=Hj@3Օ_zް洽͸㼐vi2Q4, &HZvm ~U cVICrI*$C8HGhQtiRfߪlN 2G?tut 8kMnX7_?q GOH 5nHyK5oG3I$t$6R2pK\^e/Ϸ`}>O@\Fuxԭ2]:xlK`MG:^`eMA_KJYpǝH;M4҂N!܉`Mnb.Q3)&skH(ys(5,"!.ԡ&\ĪREif}.&퇱%.9_x7f@sI׏Mpo6*bo Ox/a2}@Nӓ[G,sKs` 5\j(W̊RcpuG5yf`|25ηD9pl.tVy=X"2U[S>n3ŝ^%x W>am5T pYnhmwImYOcX |ƌBCV,ups4;u!|mF?AJ`$J}X\^HsTؑĺtkUOBuW8`SHȼ2>_>\a.PVd2-a"So3Rg*sjc)5):GgFW[hqYT_Kj`Yg9`$Lbޣ jʻc?\LdBWjsPuNVDDvEOAkGtoKB~AE%pIC_c>m&E_$kc]fR#@uLXK=/*ϱ!J=D=Y#bmeq\{)d+mq*N_4j׉YQore-~%Iy ^Cr_| 7B^E M\pbh)  D]UB!ifGo""=vyJ-&,Ӆ.-{eٵ%/7 8Ĭp_Σ+~Ϲ ux`G0EmEVtYl) F7DbhgUO}KR0顉* lEkHb 0ۮGK0A s5qlVNP#ğ5EwC#&@بH,6ͧS,Oirìk1S5iUn^D};IԒh͹Ǚ$ F@UK5WN= ]p{~@BEZ0}}t(6[:`W۸q)=Fmv+Hξ 0άF䄣Ե܌ǟ)7*N~?_Z>ܒ z Y8,$R<>i[E6<a,c]T (J-~ǜ`]-"w8J=ŻQ[\H ?VEۯc1+%푬+EX_u+6Xjm1" >`RX~A<[ƈHWr-KVᥬqR t/^h]ZqM=Twz#Y EL1s* nye)2+3˯J'IF:Yjdp3JGl%e"R5n4}[ a-50ۀ|m+FgyI*Kq(6B5F OWSwi2i'CVQ[>@6 x]wG@<\fgR[[)[rp#" WOd<Iz&HIbZ&)wG2w O!vCaX9r1 56L᫏{-G(.iP8Ϸ/|уoO& +8]{(ٮzk80W' sockC^m6aIҤ iPQQg( _Ǘ=CئoH:Cܿ!K5:BY'2xuz7ग़l<=k.RwW'Aʫ Jn(Z;$VkCO:Y8"بb־iz㑻 ~Z{/sV+u$2]ZaAWnE,!$B^tW֑Jgا\2)ۆ P]Hcf}5^Pr ]Ffi(5]ϕQDFJS;I1P;qٝԅowueSyKҕ{\@n08kbPguFL+oohGG,/viKg>T:VqRFJ|1p MWү1.I"v "2F-h:AY=ky;~C)/XF>{,.u>'jQNjn7ct;y@#>*X;d78vtaSGX!5q$ ʈ On`0팮fp:_9&H<[ʤUMQu{W4e&qYjjsfsJWXZ'4RľӅD/X# BQI6fW`\sX]HĬ31?2n4--JO+eb˻9,z!YLibⅸm/_xmkUJYC⦔ l-)J1~ʧ|!W`\m%7g/S-)