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 FF9~|< ] HOL-Datatype_Benchmark:threads=6elapsed=526.157cpu=1947.704gc=700.3367zXZִF! 4u]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;D5Z!ѥ'm>SF ܝ..' r%%%;@@w^`|[B4vuGx fȻZ,H# YK!`& fzRYETLߨH~vA+aFqшIp^JQ 8W#>  UP1v˵-s50>ԍO66eye[=GA(]k9iSwaS3FKfK8i} N<6?2sniĴ|؆ۻ(GY%F iTz(ϱgYZ7zXZִF!  ]ŗXiɟ1)*u%9Eh98:rgRpTO:A7~F^߮r~M0-)F%Ӡ,mI{xc(fTZIFgYZ7zXZִF! v]ŗXi%hFUcsubKEB }l#x1Lj^wG_-c |_#@k5QNW,-ײCف*;zTpqTFfCwlvCl:#eRr:N !Qlj"Bqھoy/;H-RFaei,P.{:hw,_&úyUAVnZ+=R\L)5fQYr^ko|ptNhTbe9; 9!{lOlJք..p l0Ra_Eh9,#){5E9,(_)X~Sjߏ#حKP0 -OzŒĹcҖf=nbP=A?xBBNQbsv4adI0Ft$_'#wɈ Al!>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;~r!>s 9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM 9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id522* 9K' LHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪚]D?7 {?:fH\y|mI]SZܞr{g8r :`++hٲt! |g~9x0~;n텛di(LF -{S=j|DɎ+ɌZBk17^;m@~CeLD{as׺uo׫@Mis{1̳u.ePbv՘Rbwfhr *8dN(x4PGpϟ?: !*Hi$<6Pf3/ WYOE+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~1,bxuU+W 3ᘺb?L o nIVu;y0\ZǏ.b߅)JϞ ݰ3}t;ejg¨U0B-6G ffEmkE* uR$?iJFɸ]t\V<.:E 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# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! } ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2dbĄyV#Nts1KF Y帕{FJUЄh(:E ux KANEFg&=$}YJ#LˑE_jX+J[ خgj*-n 0T$x(X`+\h"g2 a:VB I3 rl\$ScqJ7[(6N6,jq=F)ϤynG'vrt2+=| )D56/pGqWw]cUh!T9Bƣd*z(_II=k"j^}݉Koǐo}0ET qJ3KT e\(;uE&_iޤc1Pا`m^B?w5Xxݎ?]L9 "*XMbS]ykmhJ#wHE<־/)~N Dt;!n?jaiFlܨE1kMk)h|F  4u9|bb3z0vjdvyuSw3C$ОڽQ~m& DQ!HѩkIɜK󝑉 -xL 9Ew`qz^:==%!}Sdj4p330vvчFֽ>!>|͟7 AE.b=1w J$=yu5WUY=KV(L|[]cU11jJ7ؒ+#a! ̯.sI KXoqUYónghQM3P-i|@_f6U;eXnMǑ7>?izKx`A)?l | Z O\M&!H.8j yo#V'KR.1IbM%E7D6!}vaMA频`XD"c-yb+uzE$%)-gBd$ÊrHF8#nhVL[[sqڑgYZ 'P4*puB:#'d1tߩ9nR6,G2MHu{`jEpƸxiS 'Ebi,_{H1O7S~+azE7HKP_y9DbțF?ެ7&7{": :#gͬuxr|sEzSHWL6gsX[Lj ܅h@" 4ًh {Dnn˜l*FŻdŠI@82iCݶ_qfK.U?TEnXM*ڟPTYcFѳTq"=uwm4O w>| Ӊh7xyRGy4$\6( ρr4 F E&3 PHam*]=rj_ղ^JKsCҩ7\+Qڕ܏nϢ A^ROM!tN9Jgܹ|4$\:9V)}KT83z'6Wqj~8+@dFH/446\'E՛jVp0PjÇ ьhMk~֫er ie {^`HX>B}k63K̇ [ {ԎPr:p\^ z 5Ov!ѡ{*v xiIۤQ;ymɛE|1qdRN̴i#*aio73%M[gͲީ#~KtӆB7o( H%+mKP"W+GT՛' ś9@)]7 YP&3$>B}h;n*[%k!H`wC(bC cLKЙ5?,k;,G5dS #n])gl-#ƎgNI @ҙ19 Fxa=!AruyN1 "<{ˠDk6Z=#nkTĸ">Ua$ ʼrfgx.=o"h.pBCI$3݄ɒ5/SM3MeKPx>%\?)G/UD?\?gy+8YY^O*{΂dOӷ.eԁDP>>& rcŨG[dR"qQ}P6d]FY=TWCv=1^;c $Bɷ?z!Dmh.'ca{4"/\ΎD|mſBM N@[Gӻ)ʖq#3vzC {?Z*kF>6;ۺMQ,ӹ00.;2:we:h&_V/i2Utm>SVwo{,>j&Mc+%?AaS]qwy2_NVW@チ.dfOnv4NO넝UJ< D`a2bЄcچ%ۄ-c YEቦJ @5 lCι"u =oS|c.ɧ\__$ s?Di|n?K~\ygC߲I$P/Hx׊ѝV *ePs0u LM6Gf@ \m^|!jJsD=%{57}֐2 ǻ^j>(2nr?.{SPoxZ}!vA8;ŖPkY6tzP,P`o/xtkA#0  `PۛB:&ٔhM Px4^Ԩ("vHaعcӺ"2CbXɾ0'ҙK_K͐" r0ZZȎmasZ(/s3pJ"5)n(aDJ{7i;Xz8VPEsT沸1SD_z~7lo*Zu՘U ˡРbztY.jm{%l#Z͐nl*w\+ C6qR"^}E3H|M`vt\$#166G%}}$SS9}N,d x2¦qZufBtsa}NĆe(ɧy~N&Ln [0f|ZUpw1:;`Lc- w*]!ӭĕ:%{5a?G S̳^iYTcb7]Os\vZiͫ٩r>{}}MͽVs)ob@3xIiVSӭo\u=JAE6)1Tϲ- ~IHW(nFzLO؇KMx4pce΀4ɞS rP6+H2mz}|xژ2Ad[RFSTKװF_}!M1tTlaLU%ʽpN7V^poymvT~ JhU$MƁJI,on/xLPm<^H&JW.548hןl3O  K4H@,[4 ƽ?;#.D˶lIuAҍh[9O/]]ŧA+` q?,VUY@ k?w+*)}5U>" e۬do!yY4>'+ta /IaȆ:ݕzY [<\5l4`ijݺLEk# %vnkqp:,ܵk{njCW7ڃ"*^18%9n[Z@Eh"6pQ->YlW-FGΩ6C*'ũMJ AR«Çemld74;]!Ev+:Y֐H )`^U$glpd \vxtF܈{P.wxY? rS$T-ʒ1Ww֜) TKnv=g]-|^c@RWݕP)^atQYX'~(OыLATLAC ) sQBr=KI;Z/qF'*ICB &}论UˍN=?op;O|[g۩Dlk Gf2Ap,TgVo׸G)J5OM;r #9dƯ_iI~!- Ƥ<[IFbeyC!7VԸ>8eL"JЬyhԭ+6өQm_j/ ϭOI;v%&/ta] k W x_=r+zCWrTh36XSGX55&Ul1rt<2S ,.g/$]Kcߕ$;MԦX aN_+c," 'jWAst-j*RG*/kg:g -}/8L_ҫtA3n 4F5Kpo 4Wu[OupHT(cHIbT@qX\Q35Oݺ p.Y9ph7&7'T+Yk(ٻdQ1::PEHE$1Pd ØSw:q|jAGjJ!_2&r2C5( Cso2UsE87 osW&H e7m _.:u͝t lnоdxE7.>/JS!o{'C}cMLny?VllWmEA֋x?mn~C98f^d:qO>Sk ~.bGJ+:)P^Y8\J>7gQ?ϗ{iù0$9\`%p:֎kB p:}DW og۞C[мf].ÚA ϩY @8h ~)>L)ڤo!Y$odl`d;W0ZÕTPa2T?_r<*OJK\c9a (TvA's,j.N"U~FQ:=vtyV.ގ?Xvǭf9V3tS`gӣ&D283]ݓl3qaRMDoI6n/)ʖ/2gM-ҳ\/%y q@謂Jۂ+ki4Aa~FW"Jǩa#R*SKb5>,Ǐ~e&pqހpQFdbD.-הs񻫽:@鍙 >vd4h'zEËO~qR7nC6BMF+n&!񧕀aK Z~aNp dND l#@wrWoX *gq,7Ty0n++WӨN1[f@y!\ն /e >F{ ?כ`iGu*`J;#H2be&'GRJ7nrEU= <" q ǗԺO'[Nvls8s◦/MSM'p8iXC~@2Iem;lao!=\V8+p#r % t pLL:witq|i"Cp~-@Pn)rCtf62K i?Czwdzh,ơaE+ٛ:OH pE`WE%tY["Mǧdq\sشJ|;1$USzw-aR/ À͵K[Ĉy-$_м~QYv3]٥3`a1)ᙔ4d/*)N6Jvt_Iji/ASu\ƿ+t!x Rpe'F Fsj8/3[޻kgnRAהz:Q u0[P_ XʤA0.ǁ;9ܛ?kմuD8pURf,^ K61Xu_eّг݈c+ M(mjtH{q s1^bYii0ATm'~{\H*hl<֚;iv~?uIɰFQ,)qo!=Q٭VSqn{Фs)eFYɢ ǎ&Ybourؼ3P-$ '{ƕ֩@d+n6f9#JI '  Hݼ +v5P@zͩWRUiH G_Xw9SSyI$"ۜ#2T8ȑ)...Ml'r$(W-f]6~ɘ&)\ʝK'17IcV ?ެW0R}6XI<]#o1kw@9IwnsYv^q1@1{zsI{-L=\$HL*OoϘʪQ) XdJr-gu[f2mfWziғ KW|) 8L(߈MX|a-:G8΁a= W.~~ORALZWwG@auQKWIx  !PWʀ Ŭj4 c@ D0%aS\WT"bMBo)X! 5^ϔп%f66w9+ /cV3ZC ַ!5-AtuqQ> GΣ%Bae ֈD&d-Sǀo]}鍇<#;evJ\ Nv(kk%8tғaXR~82y>Wx$-&gzeS+^' OHJ1]i Fb`(4I~y㈁Ƃ2bG[֢rOֶ1P{ eBpxlUȮɛ„]i{Hu JN (ެr0+KY Ϋxܓ? ս_k,,( ˅NKO'^T vbʀz#oz9^P\ :>i脿h5 $0LL}{ erKa]/MXu>g!RfpdsIk9V|ED0{7!WN 2 zopNWm4U4yFCpϯΛoj7q̔ZY\גma_NU]pbfVΣcZ|gn)+|mnɵ*iy0PB<2`W۶8r!2=\+̵6@%5m*F";OJ-ݶ$Ӑ|KÐsțuzztb|x1m5† |/~yBEQ{F̂ͫ/=@ :.=M_'ɪiKi'9{-`tϫb"kOtki-pLiqS/2XzL8ڬ9;jrtHjFVRJv[|Pqq)׊^)(<C10RKG,>AJ!<MRb]Ӣ$iJzwN t3PǼᙞ\>VcLꠥ| >FtnbM(zšݭ Vb _*R2r}ht@={qS[&[_G[lEFD! OiE:Dv*VQv[# 1 OuςK?7J"g~c`0?d=,m,kS(i/Ւ u8^R}='U˝:ץTPi5 PnBI9E^bߙZٹ}[z@eqO*(7򮾁 |_JwpB?_D sZ8"7 )ܒ x  s;T\A5Q#92.>X-?}9P}:MSе&~4uT@Oekj}_B*Ll%g}6D[amGlDu+C%TzCo 9%=dN.JGùqf_ T QݓܬdBX9,%&K;Gp~u.Ә`%"v 8?b_kF67Q܃V%7K 0"lfBOF \)k)nA.닌e2}ϱ0} ^R 8{CP:9!XmNjMzu7s!#+38V ̦"J*ޠX t2jlrYMS4ckZF!}˚ހ(ry#]UF݁h@.WJgnK3n. 8[ 07&u4QQ3bl<޸UVZ*8FtXM)N\7b+ ^Q "7328-"5Uy2ABMV3yڮ"*"|~GʋOu[ϻn:3dAO[:1 u:41MY򾢄vJ'pk _ VW͒>B 2yF% 1۾hCgo $;u.tr*~tc޳Vbw"^Ү{RV6Y _f7Ȁ)Fw^UدUۢS]$GVeqo@d]ѫH棫HZ/C,Ǡ^.v#룠#/ dUpz5Ιz"5rLч7GM+SBG/ P0 z4YmNljW$\3W#Iu~=* Mp{kÍ,-:0,hT%IG6!c }io9Nu\^]gNȧ?ĸ%U"_lIXw1utSR<>G]XOxoWC8tkRڴU %#3Q#{xGPEpFd?>˓4F-u10'}WX2ֶhF;?s_ ˃0#˟Z Cڼ8,δ^ȫu=g$4;C??A^˭ܥ|48\e=B,Vi(0tm3\RG$/3NFS¹P6eWrGkzS ۚ @hQMʬ7z@]GB '[͈wUk{q@uXrqyNĠ Kp)+WTVV,2#!EҔY^Ş\@bZW0 2l3ڥUG90̄#5C)'CBJJȸ¨  vT5-3bNxԙgmɚeU@wEW4Xf3(&Hgoi%(YxU‚8:G0(||QbIGG(5k7+t9B]ȩ[@7.LWȀ6ZlaUE E7@gznY:qE//ŭ>ZЅuo[,cb5e Ϯ x`n&LqJ$|Wc{Y., nѝy꟔hMLJMG7J;>Tn;h7 -R츹72~mAԁPt $\fy^j.OZZ $YY&V;}L\uJR`DH"OW`?Mژ@~`ZxA 4 RRz!ۡ/{nH@qYx\S { {洞gpPg)Ĕa!߶*W-2]6I\-|%o)UGJHbЃ߈y߶"K=h4]7d<ڲUw"Hx<wbdY(+ht5/+,^E3=Bk9<YLeHȥ<#n*Й\=!jO",{ Nwp(Pq:f vBu1 fÔS%( ]2X{ܯcHCC*ի h)tC i;T--‚#Aǘ(@r8ߗ'_rzd|LGN) tf;Od aBc Uc3-HTSGKYеh/%^&eș'Qօ?S1a)?ŕƙz=),Gz7xKLF`j,B%t[,u},oUQ9Jq|It-qyԁ٪Fe׃$$z;墏̶0zŴOz=2bsLV3t05CB'\^l_ltʎ%2 SݍÊc:<}co9Hfwrsnu!RI fFqAxEہ|Sag 'B $ ;ҿZ~9BXijG iw /3s gjӜatG0J0}@(}u͜0Фp@` ;okxWQX3R#ů٫'7z?m10 ^C[7Rr qqE%̴(~r.ASx1H,D*']'ꂎ+?N`_P]=6KAEjNÖ́Zۈ\HdEe}`uWFfÓMB)wv327^)0zIQB$FiVXfdÓE%$I?c`|m@,ϋL~!{)I)z`ֲ b p%|v2$GTv|MЛz OwxsÆho6謹:0;{#{O;V~!&c'iα?-ǮYjp5!<{LzB[4I1d݋Bmg!3mDV *M3p`a_XGIX-=RG2jirJ(/6?ɚ2I N]](*){@p4%gz" 0WbXWChcrxfR;{r$I<\q:=7 qB WF`uћKƙĔy^8X.-9/HSqG-N=HW'"Dy?NDkr;'Sه)s+7qKrc݆l ܆t2}$ 㐌h7DbW7PNYҪo:L kN uS|=S;Fw6gV[6{Tx,{;/{)nvmC: k͙-{)嵪kg`tA*ndiK_D$xzS)d;fI#]>Ά q#D2rUCtLT ! A,K:H VHpNC$A,ǿ聶TN2g} ΜS{{D̩ `K}\x~D cuysl]Bri(mOЃY_qg8,{>&| |sB"-.U)簜y >uYg|yXgJٸZ%)ZKc' 9vrm5\ jh(_ȹ&y{bl%@9ʹ#'67Ha3CARy.tPړF;Dc)}aHjmϛE|bDDWYiXoT[#|K֮C"4D&)}'lE碋x;wx'6̕O <^a<\IE CI=|=3mfx a#)G&~t~yMjPa#;)= 9,ÀM橐+r&mG> G\[__^ |&tvZJ㥮dIabS]HlfD8'k~M~ri{3#:)(5 4g Q`@=6TtU&zNbbL2%u(w||+Wv}jDQ'#JN{v[t ԮDr5 .x6J%' d?Nz2[e M9 =27ji;nZ'9hШ +?S/ޜu׏Ë᫲ƏjsVM= "_JȈC\.`ƆoMD-S_ t$)+ ML@*OBk9 ] z@?oF1,saª1u][r%Uvx_/!\mTb\˭%TR Iר4*jZaHm -Ra0p&ّ}4q/BS%s03͗l}IJ%+)IgC=jvI G[oP/ A`#Rch>*UeԦX[ bo0BZ{")_Ia) XoڏVH-E>sq>JVƛ 5dgqegYFhvp˹]ڃIOD&v}N@39I}))CSzUwW~%mku;IGe] .'mNpĩM MQҤxN֔,׾0G< * ϫ)7Ƈ6u(#|4:שO Vc%t-l2o=(d8Mqd*[;3]U:2+nyW 2Y7G]zT9TOm%F$mI?/G,n C~|% ~}3_k-ݼ#1֘'x`=[<2.BSߵ+F=?.0:Bila$t<ij4H($7l&ԇRr>&CE18_}t]ƴ >xk+Ai lGOkɓAc4V+/=>8x䟪eЪef4gC ~ݳ`nsW6 ioݏzI/HK' 6͸d5mk"38 ƪtEt?})g[}QX=;9d<"+w8eC3`yAdbU{f{RmZk qJ`[mV>[d=qq^6 搉Cxþ;>d x`4ޕ"wcSF{Nj?bZϸwm6 CQI5^7 | i# cGyzA"YVeR3GWЪFR1E=y/Ə?p3u87pݱJl]sP.= 9]ay&7ZTp-(4:oaMf?}Y3I) Tp2)R*"SB{)o+Ņ .ncA0kݽL>7/,vdڝkO̡@!gKA ?4sdhI=$7-o܆ՖM, \E5wncU-vu-{nO2˚V%~1tީ$hյhit#m2Y5Ik>*4W7DfϦHAC>cψ@IˣnZN\rheR ND7b0 9-;D[e ) VE5`d5o9T7 BrSvUǻ )Cm.f$ʓJ'"Gbץ+d5PCj{FLCZ N<1\z۱RՑdA4NZ)a<‡($*e?qmҨtްK?b_SgK{ kk|α< W[!Fqo!rMc7^^$Nv+ kEʧ$٩ l6RLh.f4MUff.7ʷk.:Ƶij@[KKiߓVV*e(@necgW'{r|p"> ~=R߅H̏D%3CllxK[_C/7t%v"_v"}x.D3_0F%&&`O/H]Jf[4%X636v)RrN5֟x,;*m"@yUNy`n[ "8.Z !lxBel(/pJ[5U7Yyx&-fJи) wܾD-,?uzKM}~A!!X4S,-!Ɖ|dxKf|Ama0M8߽a`ҘKyEi %^YLf\yw.vcxr'F3TWۮrh&R٤T-y+/ȡ#YE]8Msp̿]קD`9Ƈ}+ $K@HnbSk܄w<}ǛݻGOh5q8 UA۪CF9 q5x vBȔ#nk,#ĻG =n <}񎟃g`Wy)-#OHS9Aɕm1S@ne#2h[|ϡbYPqڼOIDᬳ `Le#1K*^WԶ 92$Qr秠 %4T#1⾐js4#v^[g—@ƥa8{ܔF-^\eh4+OVM%rFN,!G5E\|nfZmO-%Tv +B0rw)[<𓟲K|jOhɆGldR]eǤr>I7) zBA}<$b&6+JOPS C?q6]}؝oSl@NfZe[?p%yq~vBlW'ŗt%mObj-}(/MzZyȦ'PuoOW}-GB#CzB tl-0f5۫c*M)P;DQQQ@_N-@iPq:Uk2@{?`vؐڐz@! .x5Z0`jMbɮtF%=Svz6IXVN>ǽ+co(lU.N1|h6)GNQt{P-}zտzNn^!+UHP-2!f@XE.uվ7 %" {́)kz7T La]A(,aH,n5^[8yuf{,;n#1*= \ša]۴ŢI<-/ݍZ_J(=(i.xݗc=%5?P's0@CIusfTav'?d/ 1ǵ/m,\[/u/9FuoO7#.\0MRԃ]V~$\[r,U4<=\j^&EGI/GZ'gQ >O\O& (ԑD'&fc鸚22f?|pAQf[:APcﲅe(>zM2\ٱbe (nHqV~* L'%>gLk`.t?r 3gVQ 0ӱ !wt&hT_AOT 282uYQ%G/?У]6@TÝ؎ 옸q_o-Q0 ZQ|՚2R'c{0LQq節zD$ x3O,e~ Iqb<-;|yҥUW1?L_ũt [iE[Aɏ2D4΍+1G15^BC)6j8EL@\+=-8wO7f]8xFc|ᔑ^W(fltTϨCJQ:f- ܮ׺MC׮^A_t;[]w 2c|C~( < QTZeb']mc> zg`" u-= ̧Xҏvυ-# U93!}k *ey{< s4Ja} ԬgvpLj-HUjgǫ%?>&a87{s>UĒ~T}:~D[5Wq 0OoglX9ʔ =c(Cx2ô LDoYҢrm0hrrkj&A8[ye]aW@n UN#m[n8?l ,);_s-1S;>n[*wvnif:? I=! ΓЅuCFSk Ml(z!kqfdUzzKpy ޒoJg9t^2 l,oVԑFexgpw8#-2曺(fƲf;v'Qqꝧi2![2y"\ۅc2!Ԍ3q%&~EG(35TbyOԧ!u qjO3ciJ7n >FF@[ƛ)YVu:vQCQcm̉hBAk'(3.eg'ܒLnt XzR[7ג')3J3Zo)ӫ6vuS]OOrSWRwQطtgхM+_k@RQ4xu!An3{M)Op Au|v>wӻr\O9\etb}AxtN(Έ֣8lɼ25΄l,_ĖT_gvIs X8M &p'{.?/L*׬.9Pz5ɕ1 Pa%BjVqH wϺ6+#F/Ϊ8'Ha,?R}NȌrzmz5S/^\4 }L=Q64I=rv<"W׭W|PRو ŒGPLL~X]l>Hk-{nI;?J xx-V A@}3nB/%RGCI6su*w`^+/ Fx\ڭvj4S*?> (O+.* K\K|({G>4r2 o~gMv•J' JZ4P+vzn[ZO11xG'<_YI*1U1O{g_#hyȎ^i}r9DLK[X\Wq~`Y`dKɌ1s f#7$\7I@;YTms\ ݵ/`5r2u>l tg'P4 vұE Ϊ;WR0@,@jcT ƴI3WJ9RU K=0>Ǝ_2`J(+78WG km_Ȉ1|J8. Wɰ^F!9ا=WȾiQb71,ۡIy? g7["]ᆣ'Nf:9V\8e/M1 Ψb|(m +84f@qv JGɇH |`%4R0iF3J`ʅby(韬a7ϳE@pߓV+Y,E-hf, oyW#ܵ3GlmOFI.R&|~prߑ;Ĵ_f*O3D`=4*#;# L|" +hTN4XUv)g(/AY4ɵ",؉7֪vQ I1gDvo !2iZ5! (ZgD^V/Սj5|6\J(}F@z3 ]_iNSy_j[WĖOD@g{RS ۋYb@ F7[N iΫU(d1Tx=zp##SNfYJ4~m daʳ 6VYA0I{Ͼ@ct[v74jӜj_oP)ٜZSXHxl2&$G/6aIƘcex@@+7m-\OJ}z ~&ɮ΀/p`/Z̶Χ^3=_wǛˢIk(UWSމ*E t#Ư+ߵ Uxsk]meh4 zjyhZ4ߛ墧}F]ABVJc8 GgN8A̤Gqn%tDԝCjuEi: oTL>hԉȅ9is3 h¿bM~wK\4dM <J4*b]a U82CGk,0(T>j^nXFB|Nf9NV]:Jx-3+Z6aջ3`e_*<8 W/65Pw-V܊8sCj[6C `VdMD ܲl&~gTreiΈjU`@VtGx24C rMI[-_Ov4տ0+')uHyd?JaIY}]^;CX!ؓ*]CF04&/0>;)eFoY!5oߔU LIo缳 \EٱTԑzesq+YFB0! oG0"*b$$ 瑤߮};G\@dwdےA_G_ KXjN9{:P:HDC=oGajްgRU ɕF# :ؘ7w<~ăz]Cq7o9]R'}俘eG6&LG"骛K͗(gYZX\BF~R#\>N4N"("R|#;ukWPfi@8S VF5j>)~11jT(#x,[fm9kGy.9cEnf"y,^o+ȁgtSML'o:8M\/o!ZmmU£|b6CƉ@z>ybw ᒚ-.S2 6ԧqe]2.u]@{ 3 jOB#R S)xhz1uW9"DKՒQK>JwT=D9/W ܟȚlʟ^N1_6W[Jl ,h!wK=G\*B(9u_(קa*>5SpK}'Y6['~spcrE"--')-R:UHW.ʽ2 ̌#oF)$N $|i)3Vz&Mw3~a&p;-!e͆|X[̀Ǻ!r.-pSxiZӼ z%n(\D,%z;fq2}kBjIqs]͞l4~@h rB0gϣm }'+1/@bTVFoyկQrװ\]\w#hVvEg/$;S= m D}QtGA[f&XlfK(IHLq49BE`B4rp cȻP9W%/ϞkAU>a`rvR~B+ú[Bs'*Kdu/&M!R׶%LW_H>ԠV19 ( c4Cً#SyU [B83e#Y`jlA>glCcH`~54ZKF.wiwk&fmg_X-Cꋹr{`c1D}Eр[ңmI6 #F5?520%0ćaL.BPlϺ47%E;KY0eDuc')$!5m[s [TU/=2Y'䪀 Iԝv^Y+Uq'S2ZBE>0ūJK <M, g}Dm9c0_ٛ-q;{%ӿ5?i3nWR&M#@E؃# TU(>zu4uh;p%}}K:Kq9sKKg7.Çț%BV2c29Ca~@v^Zjش/ D⯈׷$hЋM5{JZAMO@ex<15 >У vN~DP9=?C]Yu.k7jwrMK &iTØ+?8w2 lx2o3N'L`Dhr$MӋ{b|cV$حٿ#GI7 >E=HT-N8ʶC)" Hm؊YoiX0OjA6E8<η 7/֝ D zdL%{n0&w BRg:]h>y-`RR= _c/jCH7#uL=RN͜xL1Wky:x-bP@O41Ē?;B0/{~K~\fftJqևdF"jRc*j#QDmrAY9:f]tj6v4ؖ?> .p]SWX*w1SzFqD[LzJg{G$Uk@.ߋt ϸby',YV&P;iIf:>[k%sle6YM:Zp ^NR]ZX\ћT}:rayCVKMj$QJdkA}8f<'L%ט`t)k)hö\fK:prdiK 4CsڎP`*W[/ϾL<'=$/6Vu8^XԤb]ګ!>uɱ?~|Ք,{e:QҜ}"|FgHKj0E6ؖ Bj+wiUSI+6rx|8d~;Q\VN]6xEA=wDU' Qf8;SiQ*(},d|Bݮ\@PHGy6TjHSHVH˛4} }H=y xr(: +cF q\>G?aX /GM+"jkM(U1 z30`APÏit]Ѽr^؞AG= pfEB_fgPd0ᜎ"BV;WBX6XĽ+_a嗾|_rܢP}8,3th&HfY[oً#_E*d[NDx%AM_.D"vԂHCJL$e^Y,4Ӎ%zĮ*$dTw-쏦NjI8Y3H464KѾf` u.hϝĹ{ {nk]ſ"$m#.?Fm߹*W@Pxbѥ wCƐCH]q,hzW[hj?>ͼyI3ýK 䦄c'տθ0d5[y`4ouXS|[?*C-Fll ":Cnw]3q?BEµXzy}*XcWJِ<٤rLDսIxЙFh]7ң ︷$(NO3+ oHU'3p9~ror%l\8?Zj;[%р7ױO.z -2B} sRĘuu:qQ%80db> N23_4}h-!tdj{ ZcVo\IFYъ(\hu}Pij7.^Co v8JP@f];uuPIx;.Y(fۨŐqs 6.MQpJ 2/EDGn 8Goȃ0Ͳ|B3#XYkq})!o>@qO/Sޥc 䤠<{z7 'e}y/ 7nL[&J1Ry9\_xCN$):mbKAz4W{hr^"{Np<[qy!1E[1+"')X vzL~`v1fiz/0l ^2q;E,mpP]q<w l]^W9]{\:4-Nj_$V!W(V×$:c^LH<=DnIG![~YQ:ۡޚ@4?zb@el}esǿ#/o_4{b2+m7YUCTx4E/ )uK E%N1MKIJ{lniTY"6;ePOjȟB\ә^$(͕ `epDV ' ]J} 䆷n%ضG|yWLyA*k_4w4ʁJUĈBAƈ5<.Jug+Mohn6)FZyILмJ&* ogUn'+ ݲ'oTKQC)%{d_/bMk]8CE1 x,73C\\hCPǠ[vx59!EEV#M'y#e,Jz ]q5)c)<Jdr.{h\Lnh+èŖ_mKՑNFaSkY/(#^Xc.nU `%zS\gb:_ۨ\}GvڱАm5K̵@ט ĔUpvsjtYcQfW]b&+KV0WmE5ǓZOKH"wB=Y-Bd^d.7mJ5=9o@kTȫBm(<q!* 9i_|f?$'qNQ) H!xDD$w4׳ne6ދk-\ye= 2>kjFǦa =֫cii\] zibhQd\oEO66:)bR.ŭDՖɿ]zɄVԌa|lQ t~֊fn j™嗅*Z 90LWk'!!^Q.k_f% gZv6!Vr&"kQ)ʾ\ܠv:붖< 1e^!MQ*[Z#&|ߡ,o +LcSsVZQ23` 1 jWG6u@)9 -IIL;= n'kgmP*-:vZF_+D-#mDp3vGV]tL+oo a=$W>*^{Qgk6gQ| vM޸W|b9dT,v$s/iB"tkHW)u"OWL[H,+re7rua'"֍@ɠ>: ắ-H6luuKޡ?-zȼcGzry@>)b)wjƟ&<ҽ++ye-^ԉί)_#BF@Aϳ4L1\_x˂ԺܐvMvH$"8sf]5DeW+Pv~\OyGX>2je[Z\ECiz3Qϼ&W#eThW6ɺw  y, h֓2b *vb.qn2&P+qx"8d;Xȷ^ ߪrI_R=rhoVBsB}nJjBNʙHs7,Z \sBWvʮdVc+t-Qq1| ASƻ)ĵK\ڗ tܵCrg"֕ hPONp~&k a2QBolY:5hl}tH\~I&5%SOjMOR;CDȉq*a'Nws}FȾb lx:d8QX{: Kȟ~1l_֟FQT=!L(yudFPfc> sHA9Y )찹aҒ <1 xpCRy㟸}?pʄ䈲p/?3>QĿ0-yTr/yH6,^?];;=H So}"ttkDZV\MiSX%8o5%>IQ8A0Kx L2@q6KmrB؇]}Peˑ}H!*BmϣЮc2p C+Вp}U,4+Xѡ52*li8ZkmLO{K$w?l"|h+,N /CK_ێ0GU ~@GU"6xf-VIqߊleiRo4XcZr9#S& O`6OX5P![<& eYgvdk.0B=~ۇ'ʀFs4,C:u0[V6?gj K%)ΦVH]]*kS$NP\kZ9f? ~F̋6i6SƙKw*-5¯|m5@d\EE m+BOcV@'Svh uo(7Z{j:erd1ڈm6R"'TG 0Q/3xUuܻe̊[;»pus١ugFK7#^I܉JKr J1L鲺ִqG_g{Nej.Ri:DW81IgLX仇h  ւd<6֘ *PP֧D:HHPdBoz'5K)Q +`ik։4ne‡B]tCŲz – !͇׽nx{,C`cA[gGIڧMZit'K.(NbX},@Qqc.wZNbcupdYw:6JܶMɁJq00!tΘꜧOQBrWyUfyRQ>k!L{KڤQGkٴn -ޒҠBܯB[]PIl6ꇌtί,}w5<5ҙ|V!׽_Ȝ3CMf#mQNNzĒ%h3 VrdqWSL?x|66 R._m|OF3šM}@Lftg]W^Df*=; ;:$-E0Z~O4S0z橕r-1F\=H&\=~s[[ >0m>Ě:BI %jl5?͵8/iCߦ'|w괯ܑVƨ2࿷%&םI)bÈ h=σ=jy.1pV9p"n^ N|Nps fX#e|δo穀u$):mSit`*3-,oBa%!Q%c lq)M#$^I>aYN8\LyA=b"!vU2 c٭}PP;U^iTY2^8$vl& (<7t{&dj(Dz? &}x t*;~Mȫ?(?v T(W2M-/>򳀗⼓uK,jآR #Jցm.ۊ05s~{*CAlnԢb>W PZ0 +3|0/XmWcX_ ٠H}/ !x9%U`(LwtY/A{)SRD/Oj?X3<Sq!YܢZ[HG%PW3 =8f(`TCB/Ri^gXRI~(t抳hQN*Fb 4):,9Mf֨oOF@5^?GZ F`ch& T#D5OvJ+<a5gt"';UUɏjOז2~\O#W _dȍD'Zk50!GH^~8js&nk_qT[G&RR 8&d0jL/*+ Opӯ=CBaNk-}uO7JggP*1_F)a_)H8\,!.=a 2P܍w KS*2 8ؗ{Ef#r?9CF⻕ׅrQ;طMXAZw8dul?c"DY9Ijܫ4.ު]2V2`X#_i&aS 69-y SLArnHͲXbgmT^cHG=W;damvճՑ*2Ja*@sb]I1*x>]mLu>onbrW}=6"cv WEm]n+tscrvZ9#LY{, \q S"tpIY$/_>*g03}ҶA\m eSme*9'9|3jlc0D1+BFnqލt'̢0_.{/Aid:=UjOJj6ڨ|̝ւ\y~hU{YN(_*gW~:Bմ3a4R}/Jhi9Bޖ) ZHca<.se7$㘣Dȕ]xEڇZ _* um FbP=w=T'W)E,W7 ֭ *1{"BRZN r &{8h@qI l8Kf nJÕ'{XFb"9A@ tbe-.Yr"]j?U rPqe88L4vuRi#H);1X:!Ⴎy߾)0Xt;_AD-FWDԙHpJ9+Mʯk~(o驗~.m-R0[ OoA ((Gӌȋ|XHi 6]+uWPO#C&~|NtsldqP?OXa[m4˯ * AtuTnh !7r{6+W'Y Kr?=߿bHO4M~ʽ|'X&ޕy1is7mI2oISlrPS-2Zze;"Vl>U F9J?@CQe{ĖEz"DFFdJJnΨE:nx$H,[vJn9N%`LkG?h}H2nڿc9}?ŘZق3@>f趝PHqoIRW]`2H{?N{B޵i}74)A&[RfYsyx95ݛvz`2_r/s\}S:Jr28i 2$"B͠_ӗ o"#ԕ[\FA!*NrD#Piw 5w9e߰Cњ]34R$o:*I7v'Ƈ!⋝q^êPL\޶.{Fe>cZeK *\;O#DfĢƻv B]NU(>yLH >0{$lt*c䢖'(/,w.Mx^!0_pAc?6e|}?B3@ 9Z6%zm T͛Q̹VYr+E_@I];et6ںkaUf6á̫Tx=JVX'n]iö Fkk [Y^Lx@YXB"/([1nb-xaT[X$wF'[5VZY@d_%딞hw;JPczkV"(Mӄp* /RI<:x:hFx0QcHb1u[ԼP˰B\>C5-oTq5a1mRPnLĂ4$Ήt(e WN<P-$aG 72P[R0ˋqw?quA?D|ۍ{g3g}t*w%G*x4$jd;TYJM|R?_im+I,Z&Z|&2LڽWl ~2Ȼ=ݫG8hNt5*2֮H)$cia냈|LIJá=5#XU00ipz0嗶*9 ޚBH9^!0rTk~W1 @9WIAYwJ%P`ܕ.di =T)K!Ҹ+\P*O w,T#|8+HIī Lm%pIIfD>pHʖ|t)lAFƱ(% {ZǫzrtS]al7WEHm\T6u'#, v<%6!j~*sV7jЄJf{Z (ikGP6sy>|g$U{ ~} "4cm;zIxL739ĚBijUnYXrn|Bsn)#rrdRuVm/_R{wajYK#{ JU,M~c/PU~+ ʌw0٘=$j=c:𦥺;y/S<0ȥq븂ϛ VeDڞ>vvf(QԼj?CWuhhRkD x]X*/[|*7uȀj_l` WTb:mぴN.svdֶCƜ@*0(~<][liEJ\xJlxOqӁaVT \Y 4ҐC=|<0ԟ\K*T~K$-ߏ;[_.UHr_ɓlXcCy1D Li6Բdx^of&8N=31&1 > M ވgadz &< D,X`3eYe8HO$a7Xu |'**^똎IsWUJؼߒn`d3c~CIoMM@e🨐2+?] &Fd)ާr326$ƗeU)UP40BB}v,놶: vۓg^&Q=65%3sp!@* ":&G =%(1>d,Ұ,灼9)[n~8"iV+2csĥ\jy 80O|lq Jg֧/s[«WީNWMD{`(18,i.Q8vZ-YRtu=9(n xtH5I('5z)23E9wԮ5b DxjcMg+}cMX+d ̊u$5؂7:! hƭ\ %xD&tj|[ 8/XR j䘋/zE̷MxOx > neHerzVvЁ!taV{jRd}2g&+*;=6F 1_%:`PJ2OбoHCбGqop1B ,.3X~F85UzTJ$-w:5l~%Dj`M^]Rs{ tC̟A]?2 K`Nscs\?gO]+<nO[ma`15a9DL"z\Hkf+?(&AJ?N̑FVѬO/Gq1 29gqj*#Pt5uVbahZ~iUP1,}cXT֓a 7L^lZ?!ߜ>=Tf2]Pp_5o2DA_L'^KcS3z5"pœ:?jJ4(81m$N$Kw@#өt N vy:ky>j&oւEtjk|L5 !/5`!B)\4aX}݅~&j7&V8@  )/A:$~ KF,bJ0cB (K8> :u0'$K`˼3y}RBHGG(m^>saW׋ԡC[O#Bȥ5PY$&\bBg/;Gbl[ ǮWbR{D<&ZJ* !m27 g[*pM=AB8u+LEH. ` I[mv|*m ܦ$i2Vh||/~OE\GA?[9:maB]bS_iPbqnG" ><,>ua@ O`sXGb@މ*8#0樗\@dpĨ]PD؟h r |:zSә3@sdjkiX[$GYנX财' 6qAߗPFAӦݞʄC_G太tc${OVSqXzPmq>̍Mޭ>^q6QMMC\_1HAXglXijf 2տݹV_H;C}DlB#Vs i];Qf=}} )aA3"=pTn'j\ٵ02ݒa iɉY7į ϲ#"*UdR ne0olxIn@SiV}jbm8 w"ŗ9ߟ3.w; #]QPּ@?wFF#q `%i3G矯q"UP|h<1jq:4ҏ :}c.J^}%=ɒM}hA+߁C  9!2nꊐNn6\4hbt3^Z̩G0J:ϳWt4i1a͢>•+#ȥ{\l/Rg9cP'^< 3:ұ/|~Jb,`wO P2(-5y&o^ U+C@ bI恆 sgAC9PdL[يjI/Zq.+N+Owӣ',GܤEǦ)텏mvbK~+'u2$POI.q`ȕa2F[N5'P|DHLH`z"*}NA07na)zDzuB\vXʝj*%_! kF' YAn X;@,Ʀڮl@G *33_~j A @u1˝]Atj)V÷/(C+ed֝ž/@֣վ7Q(Q#lAqEPsӨf~ 5TOlŸk'؂]bl:a):B[<P̞gVLj6`J`|w|K51&8{bbFl|rgh fTGʂz3`%eLsNC ! :;K})\2ݚِG~2^T3.s|gP$ER6Ӳ &B!ncR:*' e`u30 h#j*z(8GtcRжt)h=TFW!ǠHW Ձ3ȖG.9Hcqp;O+]uᣭcRPI'-Տv&<ȥ r".o]wxO+\G20o#̡o}FxJٔom2YK@m' &W%HbB%WWEsU*X`Pts cGV^HG2 y4ޞ  \:[5KFFȊ'gBtJ|lg,!{ajy.QLQoGIAܰ9?af*u!g`-)uc4|ӗGVhqյ!FN3PGVsK1ܻ7:,{G~yqD '8d Lm&rITZnU 5b9p v^VQeH"dʰ.{Vz1 [eUqQltF@@kW9n Sv<ꐟl&'W>8/jdBzY&ryS LNC8}n6#F2X>`4w/ sA:V|XET{,O|"ZJM[$6^38}mʎ-eµ U# T BVu۾~R* *P~RD̔|tLz¤3<}GG7- 'P} ܞ;rA$< 4{Uߓ->$:L^L9rD|' +LJ&9LM*0'د,݇fm\$ReVNٚ)fv%6Q!e/$e'|ѾG5Įm"џYyAxPTGTNVJ/ 4%M343q{V-7n S,&zU3*ւ~a!+_F9#lH{),pZX[Px  GԔ ;zL, >B08ޣ>ݭ -E> w$!Ck]PCD"[%NA]sE';M#F4O69.Lgl ]+Ht}ʍ?b%QA,gkvjJ0%5a:\TY>[2%%MC%ZM8jPa]-4YH=@\=&IVRfEc?#YAZLS]eIF\j Fb)x1y 6ȏ> Rqm|@Vp<ۅԣ߽xӇP3;*̹AJ@9i ]مYMRw:{C"la юuֆߩխSkl?Dky%/ RΏj,%-PT)I bZ ₦해@k~kZ%&:l~ijLqmE]L Aɔ~X6g7cnzrX)lheLL]oލhJ? hOŴq`̓TĮq)~쥺$PrNq5d'&4+|%BqL 6rpt\G5t?Ytc@geiRgԥ|Gg&%@evNoHd/ǧ圯+-fG*Z#O#M%X0v±/x;^+Vmpb$ 85DK j4HOI7 ra4?t L˧oAzS7m[7᜗L|@gf hR1XU6}nT.gb2dGHkp7֚Y QAYr@?M'=MlF-x}7#d}--L/헛<_TJ-_1i+uY\ϐ=]wQciHdnak,+t,s9B [3.E#K@*,Wu8Pj[Hjv2%n藊_{W 2U>;傝&U.szۏ0J7\g(PYOm?뉛W &@3%E~I pVaڿjW\&Tꄺ $@³pS%\F4i_ 5?mB Y?4rH!mS&2̲~/L ϕȒ+>rڃp=.*=~Wޤy H؎QlȸH cPb:~ZvsqVb@QC@ #m͆ŠoF"ӏ.8}R MSSt E@!zB63j#%Rd;`Xן ͠Y쐘|bXqoZLrqGv% 㘅(OyPod%ٮ~e# J&Vpr+'q{+I'a].YaXyt թE- xBOT8Av|5E4twf" n1Z;0 Y:>o'YUlDS-I,{/ Vk?ߠ ~Igo%\DmBW 21PK%>?bP TUM1m. ` 403F(>fo,ۂț%6Z l."67s0X V4z̍?N="$AĄso7QW{H5yۧ%4eRPᔕIqP=2 ^௕Q\a#~cXL{[Ůl.YU(꾠˓6ޛUc׺;x2#AY9Z}I}P;Rٳ ^+v6D?9!^7'kt$/bvbuteyUJVFIڧ  *[j&Y)4 m乛iQBh#ҭ.'{~S-+GҊ 7mjװbd8Fφe^bup쟚i1[#e/1tMyMU b>QD $qrQxΑn" 13NAC77l_:쒮l#Kil`9آ_iE?I6ѕOk Si? Ysv,mP"iV,rq :Oъq}jg^5R+jG ]sʱ߱ oݫ](I" MbVKēid6DW>}ywɨ//Rl~uyXӋ'>ZQn<;F݌šVr!.0D3m4OL~r/ {4.E=Nr4;4!pnxgA(EI] pz5XO9KD5I# :EZe"0LƞHa/`"i|@}`İrޕ)w1No^UO3sipn fT#9&$Mf-\ p+5n):E@"Ze B1\ 8V=ߴ"ώs岶Nk)&-2D]l0F>Q37y'ZEjsf%a -XǾڈaFs`P~G\6{5kS`$Θk|BvNЅ5M4U;{51;322 _ΛԮmkF}|y֟2,w_$spݍcZ}TI"kt}"Z#鱀ے; Y?kS%p3/Fv(u802V ۷ !  bt&%à>'u|>Rcv@Oܝٞ&P+b?瓟hBEFrS׹ѐdeRO"LDLj3?.a7(KܞtT~_'A9-@SYFbZ(pV.IΜo۸=l,3 c{vS8Z9"r/qI_KJT )^)?)LkImGD>A8?$}:bA7VY5wj4O;Q-+236=i3'[Pg}kOP:</ ӪH+-qe {Z%cIx7H{6%l(WO>a;[74SŔu?[L/|ei:{cμjXjQjV^j6n;Qtt{~pdp֔uJroJ' Ԯnfs }"gYZC 9G# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! X;]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H B{@ÍsnH'O}TJm 2v%LA86HCjPܟw?5`Ϳ k=f񵓙_w͎IΘP`Ycs9pk , `//c;ȿIcZo&>)*wNFՠt,%djFh:\V!*֊WlOTg2&?RL XOdEw&> $r.:?i6s)+y!ku!ubgYtsBGΗZ erlllxe& %";N LR xrVCk<8| K5)/MUṋ_}I}M\hpُ-,F/uWR{%!gؐ ZDJkZڢPncѤ$N?)e9ZDFC'Pτ u4%2M3׌0nb63J|5tO`e~zOZ{H| ~PJfnJ :v]Z&8çIfkC@M[L(W j/粘6ulU;3`"%͓f\oVpB:+DwBO1V$Fzc +#H eX]_ 4 4h%\LX`ȃcj̕~b%nlƁo5'T*ub/<z6{Wn?x<KƉG(^j%S'8Y(6ѫu81Bi2j @W^ (KV0Mϳ_­pBsOB~e_+9F}gmp<js!Vzj BUG|pط% h, Av#f#:M2Ov=gex7KxhQJ^!wZ b-Aͭ E8e|}}'~D~\~ј=HZQ8hc6PƭE!KE~n}?+k@Q&A~OΎ?e>Ͻf1Dk@e?d;b ۶ZHuy:U,57-d1f ׼M?DT:?&{ Gr@p4hȯ۞+>n}Cuʣ8Y JۍNg\&AHE[wYf;y^^y0\M.:81iPg:Ul$& h1+yYkl#|NOڹG5yԶ^#w.z Zr?o"kRXعM.i1(ϸD*vewj TLm1e6@йOF7la$X0&ӂǂX@4Z¡UME)Y*yZ3R|nRZiԯuFchzsciy2հd ?qrWs(Tz(!o6V墤3im\-Y:IiϬAm=-|>IPȅ}1 IjEhɔ\@}k,#_@ɮ㞀ѠŪɝ'2LPu"'bZ6Ufj%B%|V 𺲼ǰ}ou|%1),(WQ7R̜)d&sI$Ui,ZCFؔF2hcĆck BG^ݑ0)Km]c#AidhЎ0 y);7λi9wa4cG4UԌIk̡ wa_G[O?v—[1cJyF@%ҰÔn(:5/swC% ^"ޕs+YOܔj N}dl{V~ہu(LA`3o$H9Ř?r1k;o@3WNxu@-S/%xHD$޿{Ev*j7WgϵurP= ߝAjj}RI(Xm^>d?ZQ ']5RWixIn1ְIɣf{! jthQ/~Iؒo\`_-]uߥ%N.*Z%:R `U伶w\3E_n>iE9CܛG"WO|soIXFGqx![C.N8O)_nfY±3x( iO\[DyE9858ҏ="QK7QX\|2zZ '-3vo]1Y~}w—/ud{9t[sI=)ZL>'cdnG,zl{岌Jn,Kkf]@1(^͛6tm(3nn.9 'HwyzLj|y}%;=j8nf}58,GV8,!&.`{i,;)!F]byZ ̘Y89EW!/,p&-ĄϬ<0na"* Pt-< wI~;>gء\֐C D#-e@=/: Ig4|qq1%/):9nɘF^*8gțv͗x s;m}3iK9Ϊ^/@E`+* PQvAr9SJs{ɄHTZl, Qx` *oJ"8ۜ|rT&`2¥ܳx8qnzCmB10.G 4;WVqLfhAfUCu ubܛsЙ-uTݚRrkP9;÷4 1Fd[!{ oZl<1ȯM~Aayw=UCJ'py|i/ͺ^5JWp5n5 >'Qևڢh׾Wo vi1'(efs͔{ *1rW!-,>OP`+EB~0?+ThRY6:fll}zM|8ܠrcE5;sψ&v膮$O)/ Al: 6Ox!FVP(s]khgG-b&F6(rQoL(k @TA$dL ^u9]ީ>Femuh0ҴW_)IO,!u oW R6ю,:t n,*BKD>}%y뜋0J3_O юHN "Np!vV}O !!\;v ]{w f[깣l3̕yy]Z a4's8].*Z><<#/h}Z"k8c1p]#c]OPp%f*BkkJMĮ_n*',HgCXZF:(=g( 4 ^y <JZ\(33~K^9Ä 5CMƦ`r߂}/hj?.xYu=0C[URWrB,F,I`2_f4:<_QD-p0jy(T"ZCaRsrkY;ERIfyE/{ JZ}L!uͺ6YG]5uUp1\º6?MFtf0j,X֔f d}s:Vv?2|i7ꦅoMJlcRҥ cIԐ]W,-D)5 $ѹd`Gp"n}ט@cFS? בd04cK?BJ>M~3 Dsv.N.>_5v*tD)_@K-p~Y+o(}x# 1w]w0U_ W"YIըR@ͬ3/t )F[pG2C@[D~PЍ3lѾ/CU ;!?O2_M4#Lu%6VQ?Q:7B{+E\|+/-fMh߁ބ}K!BiK0mo-basY!q_s0OV`>^~qRzL@pQ?$oCVʛ[xQ"mte#݇4u˻bҳj]tDg R/AgC; 'o*lm;+vgr<7Ay~$Bzz<{d ÜdP=3ky8J[e}jIiZ׵GnRDR΂gv>@_eރQv d:ɦE|Ŕ>s8,rZ1D֑ s>$ܵ˱K% 8 i" O VZX~Nؾ'%`aED7^ZŊ|< 9V2D6X@$.jgu(^{EI 6_02PC闖vt59~r[GP~QiZ fpZDf>9l6 zB1͍)Xpd'Z龰';hҐbn~_?*3HBH`mpyqvz fD {b pC2KI>-Z1SJ-: `xmP@dohDW"Zx xnχA 9 2sTUuf9Pw qrdD q[@F8/h=X]Jٟ_r1-ԁWuZ :{;c)6r #I~.H)xyvlZ2Vcբ#Rxbc m@yRN]$TMP` inC^7䛑d7|^ :Lytc`ɋTs9nҤPO+t'']FfK}:UeCLԴrSUS C ?&2B`' %П> n?[`BS͌u;7E3σZ?)sZ zBaD[UKVz D9PB=qg㾲ikA/aCj'M~2 Ia9N_= >'C1dw.dBQb?p^ ܐ|@%(H\S%OW,3RNI&Wf!R!CJ2ek|gCe::M/`-*yйgpEv\G}HS>&!5!Y< ɺdjALe =3: XG*< yebo@tv  9ʹ'!q4AU]͒g'qNzҀ] 9qIЋ/Gh1RLjsT .f-ѥ7c31 ;F0?D }s9^-NHV`tF!g(uKêǧ04gPit| tw{teZ0-UQI6 J{1A|ܢ0 >I/MlLMg>ك{cߛE~ØϝM RQ`-D7PV1=F j :)M6P0+'> KkgjZr"gcjq"Eq_ Swv_(A Fq6ʧWŏaʋ _j7rH_){ȗe!}dtM-w ^.TO7㩄% 3fj,"È򗜶9:"z[f̚Z0dx}r _]M(7bbc&V.ίN)妼\%ն jeW4މ{Iq$ -#PZZ(-?P>PLXj4Zp'M3!1wkqDzJt|QA=*>S9`9PE ^H`e/yyO~1by֤B-/]ikAj;tSzbJ}aT  #d*T轹k!N|qBJD:m,}e8'92q[:0&zj_qBa)\ik,8rfh/s'?<-jm)'.&~_漫K"Lg/|݄py?:^S@nBal7(T5I"JfS& b1,mى*lw|&+TZIEϑjHB1񋎑yBӬšY;\ajL\e,!XGИCb;Kg곂B2.鴉 XZ-lk@rmɊȇH QlM9&83D)ylT4LAElʪ́ȺW#MR3_qczհu$+mQA1W^:tdQ%6c ԩnա\m]N˸AC$M0?hvWtD6y*:m -2jefR{% AJXnubu> BS07u?6qV|̤GlS]Ƀ1\b[]l7J& Z;Fiܢru'Ὑv%m˓ ) þ,u.[ lWоNHdH#y8Kl%gYZ'w"DKr[I8hDl.(pe ^!dC*ec8%^bk.&a 94c-NbY"~7$Y)?\ic1&|t*C"92Frx_ҞwfY2g!e=<`E~Z Dž?Hj^8W-?rnj5XꌲyԻ^C̶~cr}*irSR9Iש7:]&BKLh;h ΰ9)9*)،kv&~ 8Hwrw&-˟eR+*0JǓRiprG 9M['Y Qƞ_p94˥O */J$XܔJkCE-_!Dve ]G$L2M2CvEBQ Z(W4PFpSE`dTA'a'jWTj޸@FC=h`02~3mzA[ellÅuDyZxMIdߔBEX͹'ڰ`"6ZxcX[c,+s<.;yh-hΪ-18`^Tb Ҕ-`*8=AČG+PiiL`{.|)eں|H;b}rhΈeCw*NXI=0tU#TCPRxdXTGߧ @z/eTc4uۍwnbE>kEdE 1/GvH\݌3@@I^eʱ==+MZA%{gګ@D ߠJ+Zt5fk ot]sRjޤY ~Q{&R?4U1X c3-5=a k H$eiװ?G<"QuRKCaY[^k{ys"2U Y?q {b2ӥ&v}RkDеyRhAn"C^4΂Mܢ(ɯ7eD&O})-d^ѭ+sp:kؑ" "NU6+b޵-"^ 8'yW7CLI^-`O0onP֙re o6 5bDgMݍ?4Y\b>‹6I$wg0$ EF~s NnX3ά=$ z+M0.qP@UdWz3xI[\!J*yl U RO]^x]9r:>$ ~tP?x TAmu+"b3~.țŏQ) yFt J>;p`3ץkµRxcŒ}1u׺$ ڌ+KӘK0vq+7i3ZudȬz{}ra_yZCW>@QaZ' 5}(Wvf i&`ZN /`+}h t$!-4ccaD12J.ET7}zA?t/,٩Wqlle׀!>m ݓs21y1Dc;Bdeʺ99G*Z]!\|\ k׌73P:]z -/inԡ̊MQ — ]-H|Wn[ ,>w9u?ln_B}`._e֏yȾ'GWZ34ͳx.❇0$[#F[}y5ҩY=*VJW`Ѝ*[Uc ;6:Oʵ93 eIZDZk^Lʔ]YCN*S gd(M#vPile;|7k޶%|f{|!"˺\WLocVeRU)ogzrE53ZcXvʂVP-Fs;)@Ip-J|Mz(jP; ,?гӱAJ{,?Coo5ؿlQO,J_hX_Kj3}ǀ_`Ero7tɀ5'?QJpmEer6B>SENҵ<ÓF:ΨTx|aVY|uኌo$| -#D cwrjH.r]cVevJILYep8Ƣ_lbNb/4,Ssqi08xʓ #S+*Q>NJi`}aUN|ISE4Qp4{3Vl3K{ПRTQEd/~v\L S$Nzl\ec!Z)#1Udi~&嶮1; ~F-I!)T,7S=RfD]܃^4R;V2Z.sIHCg4Fbx2gtLeh0}|QlHD7$u\eyt)p)ٗL 3ϸ=$ltxCF*:&̠IɄI8i:>Eɐ%=g-ia&̢у ᆄ3VL+se P&(Bl{ϑ$k"yX52{fL2"16> w3;_d,$\u WF6e&)O{_]}OE'Wu:QReɃ vgGfg3u!%n+ 4^^J^džIT[V&cԙt}x0 Bv6 kt3#M't+bۑb߉:89|b=]m&x!] 4.+ X3> \=/t7ΏH=Uv252f+B\ K>)}T]m{l?惛bgUUI:lw[1"@QD#ꬠ.Pb%|W\B+ V];L8{ e f{=6gn?ND^pEUW$,>כ]tr a l# ֚%owb-}6w\qh\T d/x`7E J!wyװgf~;*⽼j6r!WI^aX?y@  hWU(k*/^׌ $ĺQMQvK${Efn5]עK@=?Kǁxz_Y{*i;4ȩz+€7Ϛ->'{00?X md~%KyI%nƳar,< [Tng+3罛'ݐ-NcJ\^tĽFgWVH!QÖN,ok&zk@Ɉ<{eHroKRK)a ߫;a& "biS"l h.Rj*_ss FX/q{f~# *n-1Gҏ'^r-DW7G0 *n9>.εVo-lFpKTn-""ydx MXE#3@?&}N᪰/L+Kzb2* NYolFB}5fI0i IƗaH>[ힵ#n= 2pB"ID$k'C;՛9@ɵӲ j4v?ka~%rEB3?ڌB'`潌RjJCpi 4@9Qj<-E~dL?*> \VX fw,N-0mn6n@G؈|dϡW\[+c P$Ac~S!=< m_*qNSЩ5ltmwTbch _7AN<bCj(F, ҐִF- cZ,AU5{ZX[.88 u(ιwJe_+UQ.l ~KN+R0gы@ \>CQ`'$4$ai!d //A,-iy>G#OrFnCMuT 9Sq:Pv{<€[H~@ RTybVt#Xp1*Fweӯ\N:%#mND ?YVF'()CeDvJ~43νtZ w=W/bc^p{K0)xFa5mȼD7HNhp. Ѷ7;wB?'>jվ5< M3%&ɀIAr^ee4/[yC}u?3gAC|{Qa=Lʛ걟; ‘=80Tm)W+=ߝ &N8w:ߠ@WtaTW!T@U _t 򦍙 2C²yi#ks>ƐP,7 u*͛?LF7wu7'#9(sZOy $TUMV&v&=yl)LK'SSo 3AS#. *zɤ Fp~ɀ`(lxyjDKZsN[$=:J m)B*<*_Ł#gV6Q#a娟vbz:!(dd&Eca}7h8[C2_B -9OHC ͵H+)['Zд3AeRM~T<8xk (`I)TB2!aED.4H>@Tťg:N,|=^ucE0E!PVIU&O*Q,[ x@%4/șX\ iLO\:KY_wVD9Ĉ \xOayj9-FBB N.蝄avs$Q7#pn658e=rԵ~X^)ZmO^EA`ʢ@X7 r3U,MRSIf`ٍi$DfVנ6&~j+Y} ^ۛ-AvJjB;רOlB2F&B*e<|.b{ׄ2XWMs@ֈ_;]BT` eg,!, aԔq TKaV@A[)qT p [Fn1cg|jwDOA!+ ch>.n1D#cJ]Hh wJP8{Y3St1\vR[rdnuzGK%PraP٦ZO_dE{픟LmG[AH$Zy'Rn:>ײ4EhfP _$!{7k Vp4|n]Uߦr`g6mʆrV#t>w=zKGn{'OZ:efH?_z!ef,+Ֆ\"?miz|+9.| aT2pXbpf]E}F*)vu~bw 1@5  &|>9|c7J}hP/RHݩ-C~KW?>Č8\iv[m@n@|@^D/R5s0Oș_jXE $vac;r m3F⊮yD՗,!LjFiֿAUtꜜ/_6r,Y}Sw `UxDxt޸J}%TuyDO)ۃXM ܖ/ OiuGܑ_Už8ƹ?cnav,bՄ%\ y^ָc]Z,4=׬ZQox26OՌ͘CF{BhD >wu-˃Y$a/f?S7pj˴IM5?rt\h r(!Akal. hMmDž`y7ݵ1)yxuƢS{(Ḿtbmvֶ-!be⑾]^{063jdcH3vj mʰ4>[Ų7Jϻf||QPU rMs'@*>#F4g&yx2m`qU2F]ѼyT⺻ъow%u0n; [- ,h0{{m髭a6D_KvN;+PgG%oq'q $/q6ֆeeqWPNM(CC>nX&27H$2)DDy0הYKG0ɩO{+ pƠ wH˒HxBl@??D!j$ qZ o5q_:qI_c}[fV<೪eYg0Gۇ?u@W(ЛG@.~ue*Ju?}fȀ&:n77\M%d/j:Wv| LH5wWD=Y^ka$D_fٸVцi@#G9R8f8> zfC:A&tJ(Fh\ڐJqC萜TSދ@·72AoU^KdRrVʕZ EyTQj6 ]'c35:ߔ$[ )>6pom2I[%hCڿA{im#Sh; ӐHRYCECmGS4A{90l;{1wt'ޛ:31ey.^X->}Ȇ%_ <9 "L=)bIIu58E|~#dwP..q߈?KXu 8Lr}Or%mqЊuK\ %4譳* Q܁ިw5&S=NCNar[^Kl6LpzGMmB* &3[Xט51m,ُL}/#~÷B`&l>B7 J7s{\i_FKʇ ,P\XloM9 I?.]+ ?m^#{$D֌>+H5Er{VQ {:r Wʚu)؁jY;>ek˃+6IP(8k>>_ȩ>| j?xaIg7P%WfY^aNS㕴Bn ȇEcJg8 O9"96+ k 4"u;1N̆rOo~IB?D:e3m] C@ù(O+]_}PTw dqہ$TN^7}f?8bܕU^H!Cljn0ԔH4GDt(( jޝn|TM:sNeX>TUg 9 `R4z*6(kL^w"Ăɨq^Էot ;p"2cdfhUʧn߷;ͫ+ h (1E|(wQs6:lj41V'\@K&V[@39h.?DfgNvș-7%Lzn"/1 9km8АxkIZ6MͪM8zRK2V7gS㳇$\ y040^C4%i[]m xU UKw<Nin>. @ 5x\UDdSh;SE\l*-#4jt35|!*[%}7x 4Gqr#|GVҧx.m#utUwup_Lwb\z!cu(f$(dk L{ zҺ(Ca+ e6p 3VI'JA%ژԬ! @ ML6>]ǭ r\Jr8f.A&Ò:\v eOjFMFF<;oIhMensb%\Y˖\Bb鎣N9F\;m+̉<ԗaPkh[ "}U]1nc񄑎/:Ŏ"*"7`0a#Pâ_ ]TN}5X#oC&;͞[v^\\Da?{H[6HL: E˔@gSfd68ݴ8L?)iUv*g8ƨuX唛<}D$nN8how Ki< UPCIC2p8i%;X !\jhK?TvS]ڑ^ f H]'FJ9$1r}x_[,E+}=:^fɟd3{ϩ岢bvT[=I (so*/{wu߂}{[zLVw"0}1d?f<=]v&Ǎ}Г@Z( ШJ\7\Y쯄A5Y[dޞ-1U6s,sI _v'f(o})zCX?CDb ah)R&qjnAz"t|]ggPD0id~ckl c$Y&V(IBd;7E.i/VztpԓދRVIE`~-),=7C4m1* c q^hbє+'QgFDXr@[ 2VPE'bSrUbZIɘXpD2!#F_*/*!#Wa2!̡T]9g {P92 vۆIEIBS$!6}H93e8PE ~ׯ4%-f}I\CLYQ-s/?|B)ޘR3K|V^)cz]Mթg^5sg9!o6U ɦqJ3Nj)FNO}/҃lC1, =}mQ2.#D5^^\9VhUrbt{Ѝ#`0H>(uHk*DV.IJH!Ɛk%q4!sk/U{k#qUKacLy/B.O&∉20$uHѲ =BӐ ě~S4Kgd(Ǵ\ov uݩ{[#mn#j,B<# _RR{K,[u֛?(f|L ~%b'W-5B*K <;mYUƣ*s/NשS ӏ " 6#홏t^*ƉCP}gw ?gsh;d<TF!V1_͢ZYH̞9M^5Cn4\tyj#)=K}|Ν%^fv*ۥ SAHY:9:[A-U qpZݼ"%9qA<>) ,$k7at,#!|&:Q&݋5sM= ͟6-%B}o1WbMV+HӜ eHpټWse׼Dt]R!o '21?4p13 <>c\lo۪q;mUNrJE RE[qoܐm-Μx=#P>ꕛj2|Km1ߕsRX}'!}?=l |3/P8:e 6˨܋ "{_\&8&1ŋ5ΖRvq$A>r_ID#Z=*4"{++Z*Hs,6;Cp?+L!,n!,\bN Z}wwE8tgƲidQ)X ~+TxAySj$֧g?)q,JMj֓tNOR8~}V#}/ث4 ?,cLk4NI_%HΖh/CXƐ p\)@񢧷ڒhNsM /].`#,p7@0X8 qtԗ}7/)_ :ՓB& Qs"[w7V8hЅɐ<-R$9&hM~/ 7`e J2b^$qEm2rPע](Y"k3hۺձ (#'JxŎ>񠂜i OPp8Iqja[0FraA }Q(X=9rb0YT"抱 i[?ᗟ3)sPvbńb"#'3%!c&RY4D,X?)Od7u?xV#}ńL)ae3F Z(-d+9 %swK$168ccj9Q>36 n8FY4dƖ4aN/PPx`cCBҗok"c՝nA{"qo>Y %u=tU{*&Hs,29u{^ʘ# mx<d2m*3cVs@M u]QPG{=^xn*? n<|ÿצqb 88"ݡ@#kW>r&6ρxnȕa/g\TM` Y4qa5a"Ɉ\-mt8$^1HdloD!:#SE|_ αG´HO;Xf =#qu8sB>^2JQ% 71ʶ .b_<{+AX(sT[zRm#۔9&^1 ISכ^3pGN^p{ uAm./2CG7LPf͂]4n cT7# A|`7<ן h;) ix8/t؛DK} ] "{\zrG|F&3PRŒZ $wtF8;=Z R?LnmLD>N2cv:`5Rgt֖R2 ˀ1M;CgBQeS!VqO*"1-G#l.( LsyNc'ףeZ бղjq9"꾃h ^0_XA'8e(FtyMAf32YajnP,:ʊ ea4hު2Vp>sN_YLw,WO tR_UJ;{} Ҙ4B .ZB9s,Xqk x0h$ q ^iP<|`Hv+&!Sϲo؎QOXH]c2dkk"C7.9͂K8G0y>Dz?E 3xƉ4 e+e!;yժP`n71(v{<{G[[/COa  BAa` ;f:7 =h3Tt0Q$5P2`V]E &Gpt*Fu weP|WzFG;vVov@pa_sAH dD,p@TTlw'FțrX@BGyc\[)?N_b ݳvn!ta &Njl&kH]q($%9[-;"FTEc msb}D6ܿj^;ԝ ]4F51ŨL3C%3PXT ׎Q3언^q w7%9 Z\[s#3 De7qI'8_ܰU,kUQCd ?'17=\g {֖Z] u`Vdʒ] E8tsvH2g##ڭI')S7,tsmx( Ol<>yZA{BSYs|cu%K!#Ċ*Ӑ>gP{ U;N\S_.iIKU_, AGlrV}9Q=Ut2I^\TsRztQQy3~vQ:{Dm;]M@)'E(IA8~tTZ3gy"PKUwYX)RTO=R+9Pn ៌.N+LtsE^˻J2 1"cM^Q*)#Mξh:6"Y)vy0:Y[qPCԌDNps{E0Jı(;|#8?NƉ]5 ӡl{jMŔc)񶵸rSD[S<6Qg>Jعn[X8qvSly]QYGx؉[Y*z\0Gqe=RdJcIGmb}8cycyros0R&n]lCTŝN`9n#`Toy 5`d*mJ <"lΝf2W!yn6$Ñ $.2$޽,7tJ>ϑ i)9~IW]c$ryHn K iRV !M{O%vp;ir)xn8@Q4fpI#HV}!7'$;:SUžíH\XvH ދojv.t_ ]\$*~ $3dpks "= ٛF9KShwj\u&Տ|'HSƫgeϠep-貥SiCw=]UKrK)m:nxS/rd:Y"9ѬH&ãOVٕsk:i y\xYRRC=h o9Wy)qmV Hy3N:MK vb|j1@ԡgQJ佲}\jWXf;HI,G].[l矒e,fbYs+%nOeXyMbDF8J>5~Kr lČyhaIK!A .8svKgIg '@+p nkwyE,y5"klO[aޝ4n*)b9۳K2/%( t^ \ *PwK:e >/h>ԋdt7DƇbd L`*A ;?sZ$U%*Tq{CQbHhi>պoSkI%G`]CE(Py|!f5*48\R [d$Y"ބ*Kf}[Z\ %ͩ5kGa{z.nH ÍVk.+Cv38zf ?WLߖb{T+T_pyI!sPQXJR|X*= 3JW(5NSDwձfu4.M;{ֻhިFTj[ AbYX^oڟ<{H(oLVߪcVf3/+M!qɃbipvЯfJ}gzٶ aм6_^۹=78?i&*Ӝ|E*l` ]z/&v|a LFu[8pxA>nf.Gx;K|S71T1w֞3B/ FKUf%_+ '?>>mwae@eϓęMټj9XꀗO\~{8m8sEL)Bϓ`Qu;&͞f.*u*@p#ZW US7c "֣8aKFDkG'IQfn/8oϢOhz%m5Pn VOl> Hgr5v 6CSm _iu@ %{?7E.$2UPwbZ[<`U:?J~|Юu{%MLir@W@bBK=kۮ)#u~r"3uu2_whB{?Jx'eɐ?uϳFqsgv0-l=I|ؽx%amH; ?%7cPPJ4`u$eugA{$]}jG4ѸF4QnR\+, WyGwY.RSGU'(GWTL8E@LГ/H ۔MñG0/ߞ s83˜dūZIzU\6ڣ1f}D\$m!sո)d5g-ee@ 8S]kEh.yrj,y2a zU,>)V25Q#9A] e6$W 6S2.wgVĵ &+YcWXr?"2>w6?Ur_|{V"Qѵ@G"_`~OSO%=1JrMv$<:)k84Ŵ6#TD1F O83W#Im['-|/uOĚ*jK'@c{q.xЭ`sUƆ&X$kg-3 YL׀ ssrP)kDBE/+5^M.>e̛25p v# x +^pv>#=Qo3h7'2"/kz 8~VYy x2^>֬\xWDW'))%G`pQvf1w[r,yǕ!֞ tAkv)[ns y;h%/˨}_ ݣcc)r^&v&/n ؜mߝ.yy8J  V*mC)Ekq|v'cQ21FBp'hC`?vWk?{a*kd:nrhh4 =w Iz]'l <.*#LWFqb0wbdc ,Gibtߓ}_z+j &5"3];iV*.sy+D)M̷$G#PsDbLJ֭Nf4U?tPjd8CelU <'8ml^ STV"K)@WkkrQyq;) \ٸ&oN";N/I6 0J,({O&-0E{)ά xVn&AŻrBӜ6?Vm0tuX@  ݄p8m*}i~z̪A<-qm/P( >L4Ѻ_G~̵ mqަ*gwV/)]:9f1)_~q&/*!~ӑAfE(S19U$}{nGv * /QcVs̾q—9&@߉cF`o$ <"8.}?- ݶiDINZ@ǒ/ECّ \kl@Ժ_NވVS,@Vv'l ώ;P&#:⬋KSVfNy?l8`_Tε)9>Jk/߸bbmAQՌ9< iM,s4` pu2X| Qe%mSԀC>QlDa W@@y8#tT5E3҈<&'aܜ}]hjb%8p.RLm~ʽJVƵ c`M2 מ_*HY<,^{CDw_JDU9쨱z󅣹$j>M-8P:F;=Gig/RwFIqzX4KTq0z{L#ӻ$oA^hD"1!Lm]k՞#u>#lĤO1sLpnkVzV:(;n״ܯX ޵)_i{)nzUҖUX0.lRPܥ.#R:䃜x#MALOa8lM B՚E87E2N_1eRaǡ@ףA=2eiؘG8 n܂Jg!T9|CYJ)Zp*'FhƎ_ɍ(K(7b1x;Sұ!UqlP,th賡 ӏ6j 2/n}mS{/6WƂ`1 䜬ډ\[J Pit@lSXPTᡲ&q>Ž db!l dBɱKwSoL%  }ںXUp6GB*%O`7 F.4ld 0h"mMiKV0lqwطT5pc7P7aVN3U86>E#lك/\gYZ778915342ba9c50bcc2ceda23b7aa493012d49c8ca1a0b1d4f8c730bb749d2feb20167ff4ff70290 beba8c6737cbaf995eb11ce9f749e82ea384bdc6 1f30a9a64c9283b7c593b6eda580407289014275