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  J9~ 4t ] HOL-Datatype_Benchmark:threads=6elapsed=528.464cpu=1963.184gc=729.1127zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;D5Z!Blo؛s!bFKsn"dVp9-A_Hȅ?zۧ|J9!ah+RLx1>&_bkv}m;ҬYԨDHctP`VsioTcb|]i뒿P2*nQ<">ԏe-}Fbӫe v PhqM)%D f(@Avj.a/a3s xm`>0R}eiU6qKݛu1[/L׃DPrnR;RV\Y?gj#>Cu]|G9; g1,P60vm5A|E$YPEmn*@,&85z\[.$aRm+^ϩ¾8ނR9MI*9YYy@E-w0mwJ*H=_RTeZU׀d}>ҘO͐xE>0חe< L eO/^ϧN3t=\}SIkCMIk򤉽_Q4mh٭=,=&Vvz6fhMU5d]I㺫ʴL׊ t8ujQD\Ղ8hSp"j;5)e'$_vOě}jF1Xt{LU zI՜F! iv_RgYZ7zXZִF!  ]ŗXiɟ1)*u%9QYFdAJN63}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_id512N9G3 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;~ 9K' tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢3]D?7 {?:fH\6+1irׯ`mh+f%_^ H`TxGJlLbbp`QGWK>8@Z N#/\:;alpO=5;g)$ۼ>;%zwpϝiϑ'ى9}]aF@M9D'p-5%Fw,*(7΢*6M1@dofT"G8^  v~!8yԜ-y39@l)mdUMe H[ICEi+W@13?1$.Oۢ-_P+b"9i/O0=E0=tZT"f3WQ[7TW 9K# |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! pw]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~3ZyW>5}[V@?N\ݰ?[idSGG;\VqELDCćV%L!6[E8 R$D{uAh1 Y!gʞ7K=[Ԕ^,Ժ w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id514{9I# tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db˸}?mok_-W(G6χtoqO̼ӠIqBS.=9J굏<;%]~XiiMtyRH4GbvTƾ<8'8ȶƶ\"Z#h5*v?^مJ"nis&_ͨp44#078D:ڇKB\.zVbg4^Yhn`*EԐ$l=_ }Vt@aߗOIXj8AE1tJ QLohxms=*^w+_:l:dB&.u 5;cpR$69b*io޶*wNh$k tXְVxPYY[(+.elfC2>lŎecu gGh/F!w/p{Nz FmԼecXO4&RK6 )Z-SzԬ7PG.OӲ5h2+?qMP.IqNH󉙡G1J#У)ܽ5UBmVfG0/ܓk;eӞYzTM:XAz=kڴq!֦଄Ơ[96!R s,R`q;EG s$x;vT;&3Osf>UF3- Ț~MeoɰGxQ!uȶ.{qA3kw*"kIl5_x(܃w%ۙ'e#bpPˍi"C },nib[L)mzz%uPŹ /)6G,ȰJrˉ^-nݓʻ6V˩+ٝ>J߻A=MyNk9$;a68M9KYz¬?7p])WYG)5ʾ0P~Zq {?†pJ_>3^' xsXN<'wD=B?P}CEktd)X`k\uMOz~uxIgK{q$) +u[箌i\(ZV-:|0 X?p29@mTK:kfC\)2W&OxW%gb~jj)'YҎ  Di.I V߸Hdeg~Ek=LxM KYzmB,NfXlRŌX-> ζu <_8W;5%Z ;QӴcK<(^Þ'VE b0]IgnL {`l{#<Cm+Cs:>L9$cƄrJњ8#O~#k-tx3r5À{Iq:u*Fo)wƪx"(jRj P yCÝ(i+$/S3SN5Ȋcփ}ײWRx"] Mpnrsx W6(?=?u)+ 2{904c,Wt"B|fK..DښTK̐b,<5`x!Z"udX7'ϢQk\O}WAаt8ZvG9&]p_Q)\ jMacW 5f^5O0V3T9꺙rus]7w ::"+;4XG EA~o:UE\>L8uzoƒN5pQS[ DGͻys1MgYZ .iՂp' ׇqRanҪӉīQUgWsh#KoW4xi kiCD7>{O6)9GtE1o &7bGr!09:|, O,7jk@d26s[uʇ!@KpI޸M~2AKaXyEU? 6mfR=o\PwAuCg΃Q  ]+[oùx }?_әpjj}tD,M!k7& yɷݯzǴ1S≣z<\tY}%r,L7"0[qۡ:-@c|{;lJ:խrb >\FkP Y:[,$3M"~:*PW~KBvr&5^3U\L>ΫG>q*-fc;D>gcc0DqM'Oِsz!` CpI-F0+|E9Eݧʌm1WJxymoZץ\eN( z 43ylgxGmZnv|6j|La VYUW1@F'G[EW/I9~GeQ1~y!!S-8c\-#КD|ü{ءZ,5Dr Mng҇CNcgvG|GY| &WLَe^?ÁT' B<fP@S"ǽ^(g@O۹ -p˪ h/wS\Kp4_ {XGSDQ/+Dxce9tKP0񄁓-^a}?Lԉ&PhTϴfeV]W,$,86V"yra^b_[ Gxʮ31_u+zÀз{#]WD0{pZBa0DsBl{C_=JR@™ F*vZ2(b *&{PjTz\tlO.1HM.) [([|!/o,MWWW2s62le7l |d7'HM P̓"sݸ*]j4~_~|p6:@GCVh.J/EPc;065u$n mŲ.̿+yҝN[}sM#H"K@4KQA0%k$wpbNoS^2nc$SjzS0{\ ^kmGBtYȷS6N~J Zv]|.Q7jdCqO/5AFom-9TehuUS@ Dr@qjutF A1=Gۨf'uUVŏ3veʡEdHY`4ߕ'ΥEC'LV P6Y1/e O$JEg([hbShDM*4!&5iHmyU!o:jcmk2;/֪ /Oh(X({Nf6h'4N %,7%ppv O~a^9tF?UԾZ!kPw-|KM5J̚ Ǜ gl7OL@ús,N5rA|GV%^Svu4G4gfT.%DzEW_oahGT;B5Y.cr $2.uuܬiMLy?zsZ#g6~,Lcd$dڋ x:jugfSp5 ;q_f=UV)]Q0V _g=!-9=rnUGLBlYRdb~LzS*&b87%[|bj#f0|ۄsm^ʁ2%*}]RMO=h춀w)j=-"|Qr81 ؾ>c҄&+srctE j}*|{`6^)UP9U3O͉v7D.OU÷A>1NbS cN:EO@/rhˏ8Y9ُ07\Zg?u U*ڥ49B^R+w#I3R\V dE(wG7 G d[{(&e(೤$=h7qu#n{w SLҸk uvw3D1`mqw|+}:}>A|q=;z|#ࢩ|& M5ޅdMPګHa12mb,`3wUHOkJZ=6L;>2! R [R92aeTj/-$I]ܭ1S7@A+ ]09+4emgw)(fŬʏcX[g|@ٰQ``D}EHmT6&4( 88ىtD}ZKsVz<8.@p33'q q;-u؟"{ 1n1n&k 64:YM7o#k$ئpaKH]]2m+o* vTx6mo;(یP+Js.kfW2cCF$ -os.-@үnMUa<m85xA 9^k-')|ΣfsgxoWK-M.|t <(ncx;2MtuC2g#Cm$!>NCs: "QINV\̉0rI*zN죊^v:_Lp)PG=m]c8-{T1x* ҭi [Y&`]S/keQ]RU$HwFv(|J{KK >xAKތ^(d[-EHLVT@GCoa֥};48,RW; OH][QtoIf*m2Ej)x<!1yh綌1B@r0X M`wPL⹸ ҵB){O\GdslB0VX櫑dk4[sl>;`;GṘ\cQFI' \9?k]^ i:hCz?5mp؝ 6>bd*HIH`A<=k`R5/-xg̯$bڸ (<AT; +O.6t _3NؾKF=c/!*>q*il.;6"=dٿa(|\Zj-i NH;Ƅħ'>etRid$7eG|L4MNܺW.|ˌy*P?Fb& bS=Tp_T-3l1 (^ۗ -ƠvkB LSNWv2ZE&?޶z쵢5 Y!8K\NO\*c6@[tqXA5fmd}"/`}fœ?rIWY>,U[.:(r~gHlDD+2Fch@NĆ^t )'`tvͻ>3STܗBWƚt9$־<+_Hiiɦ@A]Qnݹ~R!~t4Xߪ[с`H@I)@՜+.SE?/#],mvmLAo R'+b#eUC US"Y遭Dʤ-._}ehТ#yA{ @K!oQ =-.t0:*CF%E+Pc0FxxA ~]j,@aeʌo<ҭXv j{Z{&Z.0w9d- rR;gG1s!Zs,~y*uDŽ믌zog@ ޸#YMu{~q+*V[x(2++>u YxI}X,*2n7tsGF#Ϫ$$j7%$_NŅV?_øաz޸C3rwoYhin`[" r=2OUc1v;P1,Ke.$0СijWax/&EyR>I|Di:c·ܨcW^OKg5sn" ^^@ Дj=гy2g,U>?W-٠^A>{A\ܑ5ٷWjjҺ.\QG5PdSPP[ɕGr.D,5e$ _\W@ޚOuqǔT'O_r)ϣWWp+gZ@Yj=&b뒈(: L1 @yOy ,[ޗ RΪGO &Yq D3K%5L_8A]3(*rjjB=V{u'D2=Fڤ~|4DS2[Xz^CXq14VQUG}&]j{E)_H5t3~R=:7+m-э@+c[.ie@ .fE|G_Kd=Nܽ3Я'V!@D8,a{ʐy״GВ`m_CC@AҚ!"Io᫂!\c)']K6 G:LN{Vq` w/0TaB/!ߡ oxbEk7 %P`٭&\G\ @=L,H` 5i,‘x%3"nx*g>)f|etz6_uq@GlM(=7Y,V΄c˂zްJV$8 ;`Yy]躄Q崖YqO~;LX$pUeM"^/"/F5[YIu6ʧZq{):]t)1V'R}"Y/,C 0i$}. >u N&(6iqjK΀KmED9D҈85\M6.=4gIͲ?=뚙iA\=\yMO?;cqUm˴^N$xNRD1@FeJ"Lt'nRPPJ_O"W .}D ;53Lfyz킲dA@U%S9'l`g)Ma/^X ۶ pQ7Q^d-{//яœL!&/VQ{t7U 7:Zb ]LRo0_fxeI(*YPZ^#z?1%J.I72txGrҞC&uMF2U~'] Qf!Ȅ26㺹@r+Us6/i9GtD<4EB>gKF5}67)E{x:/{w8YS ;B lG=C]XNSsX\øMK;JGqKY> U#_U=pkGJ'\k4Y$]jEqzI- fYi҅&fКuD,ɽ2l&ƂJ-I$74#vzwݓ7r'JE 7,W$$fj8 3_)ׂiiu.QvE^%nj@}[ ZkCnӱȼZP/(B r矋K6L;&\SM.#h%m6:rl[Q~Izhu=КLK  F8;vv u|\R R 1$USnP;S4 #E-e6/*2A,~0sLy5Nx̘WVH#`[|&qi={po A1U;;hy܇gdcqBS8X(7L :k; 93͎enpFYc"LǥB I&S/G|U |`ʴnWGE@a&gGWS2v{aN>]h0mGHz^mC bBSzb^=X='mE{tGKs˓ᱣiLרi iolBJ>?)_%+{ 饮PK5h >q,nP2- 21 ':pE&"N)mU?+n2?eJRJh ܑP5KNz*!0`&Vn}Su]qreZ=1kF=[*K G+p}͔|RW!JAo6)JO|U #*Ӧ:mنN@ZI֦ }{I kiV ZR!M E{K+`p NFW4gBD*9U>u>SR13S>qTT\wj\J㢗geBP|e_%'nWW HYMq+$Pŋ}aj5?aElDYܦbin^=qxٴd',NY~IYh5 ?U&4/V?~9/3nKr_[5)2#IP Ot6+D`9Pt.@9||3MsY*uW[XB/D5eQ)SS0N?=D8-]!`2/2iC:`͏I800J3KJ ; ܿ*fq<=dus2Qְ).'pF5(#>{RO~wes5.r^Fmon㖭exb]\ǣ MՒYa#'ZM_aiQ-+c@Of {u.qo#c8Ơ@?u]#X&h@}Rr<*ts[>RsII[ds4L kfgM}%5`|`}Q{E~uQڿ/N!34vr\;">hPcRi1КRef R86<-A bEƅ(vEؙGSԔ kMTBD0kӵ'(Po.Z˴ĕEYwXXMIbNqLT|8\X$Kr6{*#|:Hʹ_A4'~Lyd9E|x1,pŎ j@:yUWb= lqypg6"?>a.=أ7D7=Ps1#ZJR^&Y^hތJϽWoT3K|^c~aڥ.M(⽆_a_%(l^ï<0̊^2d[:v? UM, sjfmf SJ,xb~wmM-m;fqeE'8{츨g=XIv){` ʹaQs79ڛ">賴1FjK<]Ӗ`:p$jv+ vO@WY Znx-=qc,YF/U(Zu!AW⌓NƳkt{^X14mh9, Y n"m@8}X7-C}Z92%NCm|bUz& 6RqE $>Zq7e<.TFq[ ]Fn 5տ#Qz/5VM0vpY{ִhc5hvIO ]nwáD VRe+`.\߸6D]aqk a X ϊo - ʉ^oyu8Bc,T4$}l1>gXȬ 7rӯ *"K Kv$pL,\`! ]Ҭj}wX|e$]K\ü{7 (6a<|p'm=|﷬¯ `e|1Jc c[oR8kkjJ]dxbȢTG1,|yDv;-I3Ժ2ϐynL(| tl &̌n7_Fc9<<Ғj+|έm*z.8BDʂڙS;#L2g/O旈?. )p{qXa#aJ}eA@OXt]2LݛU^A)$]N qӵd9^;WFO*.M?4OmEc%.gf&"q"s?e d3OސVZM$}9TW)>|^E[6.W!\0Y7 ݡmLh{͑%9 =e–mz=@AQ"G< CΨudԦ6M'=}N1.e"+bH4㬸sWJF"bNju*JҖ& =L|pŸ~W/8Ӻ&,{I%84K(aۘl(iĺB/ɌirBáΠ%B.s{Grؽӥp,ܪB{+.tQ=q)yi8rI͈-@~w7~;2n ;-4(Lpդ.Cp{l<>*3u?ɆL(al N86WmvdkJkZ3;,%xSHB^:U^uA'%++8v4`㽠Q#' ܳ&3B IE=Ø {36i#=eK! >'+tT OÛ)!S+M 2 > 1~g&b*Ϳ0$` e} @.*`%>w ^v-0Cdgmض;zH\[Y& +!">o5igfAn!/= 2#j) {v_Ŀ9!bjiL-@ B]Cg |8 ZS^'@țq6`{Cޮ2"X"X[j80}$56[ Sw0=5Jg@D),-~RѿL@QGVLѻ%3kc[e'9=62}[=N(%y h-H~a>ǥKׄ긖NEq﹓T?5DZ^O |غ_'?8}XQכq"rǛxʊ"/R2_~'#eGm plјi_R8K<krCX*(2•肫fu:2@?G4!EY H] %o t ?ě|h&W>G5D0wuϿB R&co(հAK:u_Tr ge+ypuE`.wjY(hMWGgsbGb#|(mlv +:tQF $_1܋#,%wL=ۗTd3{u<#m*طGďK&`JS+@+Bi !e:52n 8>N'JaԔL;T։Nq9d (*`!f=G`_ǚbrZoF[k_OLo"cn{ļo68 N \̿INԆ]+nSKc_H& >&$u6f7HwtNKCWWSxF] ~7jûꮽQ6,z1Tє%APOVǠZ%&w؟{e􏆰?"p$)cϏfA0M^jM'jϽ&pGL1k}c*3Ap.%I9d0lN7xqc HbqsG Gp-Y2 o;~(oo-G4+>m\ @Q;nڿ.w!Wv`;^>©J@L~'\˦$ 9}/8WQ1^dvCoMî~ci}%MSP#!ŋF\fsaڂ7ƿ jcs^a^&xdX$7oݔ Ld"(#ie8KAC[%:rWlNdDbvFzl-b (ro?FkA34 6}G UKȝ*j5l7 MW'Ea̺LTy]Sa%[Q^mX 6&/et u3Jcjl vyf}`rjM UMK[#㡡o 6$aӘy)|Oz>W;:|CR^?D'q?W\Ƞ0hKps'Gָ'Ƅzs [;uW,Colq/fW&4 *q3* Ôɣw XL.ԿJ Z}; ͛g%"]N^v,!3 {b+|hC]Pυe9&5Om#u#f*3[{ݨF 2]^ 8ذM΍ +n=1%/Ix g 0iY)#.Q7wc &%^`A*0pUa㡬P4Qb| .&` n, V8^6Uw/ҌTp񪻥@#Ә/Yys|{xTI=e K<00JgQqo%0DcnZG|d'^&_ZX_Q{!eq{Ҽ:xq`w^5_-J)*[u]NY֣+ UZ#*) T}f)"7Sq ~9D6e\ HrrzK*BfdAp,c*XIXgo|~zע WPZ%60޳~ ~ R7mҶ;07 s 2n_"XuLIJv~(1L}y>D*|!.뭴6$ǖMZɮ&XJ**?NN )(rrFjL~zOŷR-f8fayJT2["rYHN߆%/iιO}%Plj zbʐNC|Y RrBck33g9%S9廳b ihKN~+3z6A61hW|.UF7}!c1,̭/zف ͒ ƽ  W/9uyzB\]LWV`綑tz 6۟jAcY_=SatJ#p}U"WU2Fq軝Y{T1M/ єsĒ]قqe=?p6!qL$ExV"t];hUlxG\.ƧzkR/%+).bK@,tO5xҤT,±{as|r YCfI5jl+V fGw;7a&6q87dbu_`z&ߤ{C"kt(y{8TyZp6IWzeIfg2,47~BhxkŁ$t'mZ)D=&zG(_yle i&slL"&$J!,H|諄 /.^x̬dq9y~i˔< IBptͅEf+j֧;5]щkp~{ɗw=bsKBtIk5Pa:lDUPd "{toY(TUK]=\cC;s3U:cPc[_j#)9cRSFP튨+Y}LjÎ"ź1r&|7hNPBUf+}H9|ADcML^:[uF";;n-?n64?1H Yp׷E&, RJgJzxJBLy5Y9 lpEa`N.=cuYrhmɐffk5s l \1#Kɢ:%(TU  ;)őьA'w6$(v*$"Բ=G͞uS:d墇tי\y\h4ꛩMj2l+g% L)% e#ȁ|G'*r1:.|2~/sl÷]#6A9bjhP{S+}ycrW!]b͑\t`dn5 <llT e E[pqpsU`bþ,7 -\vp!r\u?BgfX8J(8Rh+)F1zti!+;o%f+}=Hp^褬6OEz֌ƅ+y!evD-tLx` F/w;/>:CxapODն(^]9Vej>!JAHxaܸAvv+n.xx] k3u}MT:tF| }}| Uꨅlg ;=D \ToQoXcۨW,|,"̒b ~[f-ZrehDYA7K G-Ft<AM!AfS_2zP(}7%E{V}?6FQzY i))/ N w j7c;|RWK J@&NZ*A=E\Yѳt>H}._ IIhMELypV|#\8e<z#)50Yn7}lзk?%^ļ4] 6zփ^b qhs$ER0~uSj+8i5Wu_g=[o0QöW7&s_N~)5P!LÜK5RkpK#[M-?|#/ Y|y[P4Dp_oÞQ҅q.6HYc/1 kP?2SF; ;Ѹuð%{ͣwvQ]Y$-n>iX OSH/>9טAF!99Z{w͈4Ûz bFc 93PʽaPLy8<]S^R-F#(?Uܢ-fJX3%=~Y|;cQsS(E=rC6q-;͖D*&72u_ƫ}yn+ɖ.kA ˇ&|*'!3XL߽dd-`hvL=RIՅoEGhyZACvwϦ!9/,N|ݐ8&ޭ=VS-46X0twؓBR lRtZ\vJe7J^Ox5T+h_Q=c*~>])ڨ ,06tTzt7p]ƃE9cYW ..f򣙔pTzvYѬDz*mj|CS&$|sjR]r5(Tm_|4JVJвקF@]8.+ξ cS_~R>]b|t>LVF.Ӱ꟣Mq]lo_*Mϵ 1$걼(-PJK^EKwzoSksF،w;TRG 94g+[@.r^;i\VpA)9i!!fC\ Y[eE7 ܶԿ( !X*)4r/Kt%e%/DzBa\j4lbheuLјرa!|tqXYY/; ZK@g+|{Q4IQGo]gQT`JKLu[1e\CV>dT7iST߀n<³C %H):/FU/#"MDs:q|jőEsr%vD/ Tuy'AZ1bwchm[w$Wm䎼|,F38\2^mxtv}b&%E;Ktrf!3x}#TgLTdtlL[ѵй}"9%N:'zu% 8S\J=/{ۺ֑tG *E!jG.jyBF{e0NE>,"r /_ٻɵNc^O6Hk\]9{Lr&H*(c hK2drdLAQvQ19J͛k#ihcp/ph7E5/bݢyCgͭ\2_UBJ (srm~۲@ɂ롶wg[$((A20B"e.iq`y2>#1R- E63y kQ-$_U/uӁcn+n n#c܄ZR[ >¥BXa]yl5{Bn,zt$3i yZ++iR(]Z|Q\m2}b{Gwk? Vϐzeg>۹휧۝AQr#*y(~rhXĎLP^|ٗG$aO_05ֈޖXι yuK)K; 0Mk<(+ 'MRc%UǪ=B)b<>MfBSTo"0==Ÿ+mEϚUpC'ͪ!HQ6ȫ."u7YQYz^_HNb(t'O pXH&bd7S nkryP^'L{y'd%5Q*dh@@ ȅY^`lnjO."a2"YX#tLZ+YA67ZH]caAwc`lii/&Rr`,Rv֧fܝsTV26뮆ĢXCdxC Υ rQa|h}Dmoy0 kʿiΞ:]Ns;=oqS~)AM3;4F}ae~d6zxpP7~VjAEN#}d$=gsw kbX 6>rzKbqR_,|wm ű={R!ަd@NJ lU?3DThS6+%_(YXZp›hDng햤޽q;E"!Whk갣)((~v,ȾgRa[Bɵ%K/: DSer~Tp?Ҁ4,LY,ϪԜȂfa 1-^7hj,ɛR`(E= |RC Pp|\ 84UEziord`oyS=/ Z87݈:u B07Ez^RkY glszv?rzH)ql 0[h}uM+bO`h%-$2NV(7F`Ɏ82O"T,`± 5"` !JҸ&e\VFWPt- m}S^,miIQVgҀS;' ]4;y*|6AMuX'lRfӏ;Jc; p-mo?[]@R5T6-eklXj&%y3/&ti:292ƁӲWȏAÃ@#{M؏mI]1Ԗ@#rʑ~^LasfdRL*hlO;yl-Fl{u2Zaj8|8~:H@Te]!ڑƀI߆Y)}l zh24 ˟_&1el >Tc3.{ SKpݔoª\fS#U՟~I/\\tw $=01#zՏ%-&wl2Gs Y"%^Rҟlk$^`ov 7v{|J4w4%g8\oۉZ.n@*ȎuK|^<>o [9B f6fU-Za=JPxtPQӒIΧ_Ή:SBYZX k!ʳ8ˀȀwn7-duM ;lpŋ,b[| L&Ĺe|Z%P񡮒~m+$a0fG?KI' QpL{ L?x(K\~(CLMUp2R9Qk3s]J?@!עoHxӂH1FgÐo鄵/!,n6>IZ.!@]U1ЗJp@IR@sg!z?PN; vfltxyRֵvwiPH*nX`YX+ u!oP (Oj(,~CN$aPAU\a <$/Xwe/zt;i1 2yze/MSyWae;1'{7AkzxW鐟Db7/%iV ]oʮp+:*?KgYZ\9g8t8.9-cb S]nU,z!gFOE.QB b1ܙ?π^CF׼e|vq< ꩇŷ@{ߏS+ohkks_t N˙N+I0Ď+ _z]T|?+EO6Fײ?58 ֌SzN(KvuEF"Y]Λ8ΊC19UgdaԸJqB|&a8O F9flZ"V[5_RTDCH ϫ-32N ;fb[hȸTW>N;wZ%]lf4nR*z!'W"ɿ\zoCV_⥌Pؓ-E﮽>ȻPC]pt]&ף^Z>eduȂ>@B܆ᱺC+A8i&-k R8rY%@H?lkJD1HX LաqMU*sUC8d ^w <䐪3O8eqE/.1̐T8牀}>P,2HETF 4͢nGR^&܇aCh=e\(f:Dqb+gAz+nW< xnH}Γ:XeKPiuH>bJIbxJ(,!i%W# c1|2 fҫ:ZfH {ܲ$ya CrEfޏp" UXG1 LG G煺 lX+nX3\>7 JqVXcWҵ!R!Ob>L3|-B>%H e7T#B 1q p%P7|5c}쩰Mv|!Ž- xj&c&Ǹ o+XT ҟ WyLSL=, k r8;ir,)-'J[;*!) Io0_VUOV2ʖq# H1/0)*pwMϞoֱ̬ [shwB,:k͝icuX<(yE>coM<̋sgUYם#te$p=:T0!`;H FU'ޢ}z'T :zM(Nhl.kՃ$ewGV8.Gm`.|b|;bv^q>&YRY-zO~2"o"u r:3hgE :[Y.)2A |?etoQ^V;qN)QOK?$5и8d4xBJ:q\tr@ߌD4U$ R92eiEf X_0 ?Ou`v\"uQfޛH_'M&誾ЗبhљmPXlB\4W%=Fo,'L+h =sO #(pSۘxTu:S4{Uu%:Ԫr?cѱC%[3[6!/KTvF`T/GT[=GyqGHXNڇBR2{9bz2v^髸f._66kb)>xZk_bIPL9 z+ԬgI]GDzMC V_'s> iS'4DCNp'*%0WmBaR"2XÉPgN ' _AxXn x#W Drxz2bMQ,^!@]h@a#W0?# 3SRa7{=F(*5bTjW{"F]ks^Ut: *xsT+l-=dj]ꤚ?77㈥꩜`=H:4[Xj<+7VU[nБ&]=iƾY!u2sՄ(Y@l |lއMjf'|Й iHI0=wUl3eXu2TF4WYle(GKU IJ*:H{{vQSPz0tXXX&4^ F}ԩ7[LH ؑ - nZ0ټ?Nmҩ7M#.nmIJB0i!K=:PE7RC_86ʷ*1-~ tJRUUW9Žv@3 F u[8 ceW ]{ 5<|].gҴt#  K. n=QXMss7: gz".QGefdՃLIJF4ss q {ƺDk+2' w9B}j EV.BI @WQS \9TjۊPXxZ[:N;C6MLl{F!Fh5KF 6Aъq;pAz|n[Lb jfWBQ3%#!*rq)f"d"@HxA"?JNM@tEG^=K: fX6Xj6$+v5l0ٓ :upROFfԨ!lkzA"ZB.w{_I<_>o<ۮ_1@'΄)l6^}NN?w#xhÏm P]PW;C)lM~}Nn_ى#oN""DZcF#) kw,C_]1mg@ͷ_5Zyv{ ܘM*{ b,<[G^Ж٪KҠu^tUm-ى> ( UhZ?x%xc"Ȥg0P#ջQL6}5X2"OA[}ՁIBȾɉN)u`ĩbt}pQμ5`S\[DIxK wjǩÏ_Fa~(yxijL/(Non)j댴.|Cj\"']yL;0t{ɓW{D 6X#iiNTg tC).FZLC]WM|Rm}*u3klQLPW<0`ċscY!cf(),"*:MIkPn|[^aԁR8fu{8&ٛZ9s3iB1(Y͂BZ:PIN2m=ڐM}[w)0ʂU]^cj4% uZ=D*EP+ht (CZ}5aqMW#HsSۖ(V,#ɝp܍lgC5;⇥<ir18bg+S!Q;+BOˋ]Du/b%բ_W}HSd{5 &֞1L{v$ X9gYZ!_. =0u1 KNXH!%t܎p}oFp1vs{9 dGʭYz)TVgQRՠ\I+ 29o8nȾqthrTmG~y;z%㐫֚rN˔n=X t x֕o" |!T 8se-7 EKJ4ta8Wô Ej %t4H-˲y)sWu8YK\Qw g'Kz(9#YrTPG z ʲ odv$Om>n%Y|r^N~GgٍG5_q+GW dQ2 2,v}~RnEyt}Bf80Vk{#tu`7!Qe**xBIB XF ZzǑu cq 2I`hޞ&qo,g\]oz_Ph@ Jy`x_E!=6K]O*”K ҍ^⬇nbJR Rbɻ(x7 #j3 gE+ Dẅ}W519Xbj 7| aTǟ9G*b:bTg:;4О˹iJHW˕Xx;5ѕ&sOg HvgP[j)/p˩Ƽ'o02Q06b*BԘE ]|¤4O ~ՎG [Sސ.y"*ҟcvºIfw蘀 8G&Ib`322c3x2#g$v2 X?ZcV ܌_J"lPyD&h :̞,D|=5FF5y^U0quz3LROfi$HGqgBHJ^ՆyCko~?\%jQ G K&u-FD@ ݱF*5%{8!˧.GRg!W0,."a>ܤ _Ƶ38vbj!g{OYHUǹ][-'O9㠍)΀}%ن6,@*#^ک,2v%5aS Th|EX{n/vPoeX,j]1Af];]k-+-W"HJ ٶc(K$a 5K_ԶeMnnxy0$S6Z`^lKzdW;Uǡ}Rpaޯ9tIfUOMy%HuPs3.)E8a&j|erG.E=/S1>D˃=i);(%;KPUA:wR$%ӏKTG$5^YmcQ7ـIE KodnP썌aȟkf^R 2=} hS]3.,M?[56W-hrj/%l l.-`{{]㹭I$\_iqtC]"`nы1@ɹ/hU#[bwzGFoE3Y}M9΢L _7 30qĖxP͜a،Dv88No3#ʷ-",ݿQ3}8IoABйij[攻Il ! u`?/Cc>3Y^Cqތp:/$ѸYohpcTn-D9>@)=OwZ884Yh2lGa|(}c*ko%8WNvn|fmȃI Ϡj|Fdžpŋahr3o~q;B⾲pvV"msϫm1r5nȎ;6)6ݬf#]ْfTxQ39(Է՜OZ}]87;Mc Fb |&8l]leH)z{Wa C]4cYcvty!=~/Wz ojCڳX\مfk:G xP%>d:M byp6SkDNMwkM!=Ņe_ "n{wk}<*+~ ,.{5 =ZEb&M-?vQ1:ԷcSulPAklk0AjPRx{j&mڵEFv8x5SwPVK`9}uM^3uA`勴kBr~<u(Cz⚛_'7TSR{oa[\ag#f&2t7UhT`ÏPynΠ5KæN+P]]:pP&?\ιґ,+;|Ot>LtDm|O)/,_64;eXiA([;TڲӿxE@C+8,}(:Śr>2z <ׇχ=dɬ)av8((Aoú]^kweI*](V_LR#mR ,WEstE _Q3/B41uBL |Qd{5zF\<3EdO;C[CT5""-y7Ձ.dЇdr^<` &90pR*gsXF;F,#zBkfE͢  '\@) ٟv^%Q:#qٛ@ۆa3-vȮTj/EX꿘p%%p&]=}HNЖPa)||2#`%9Iu:k(;d!?a5aܨ9}~FnqHB~IV߇w+jR3MߚKdأj6؉ K> ,Uc"^]3;73AO<% addæ\CKz;Az4 OvgkSW6$u|yg_`ZK|Mw?ynpZM]h ,#As;ͥi oPzaƄoF*;6x5ric3Գnm.Q zӜ|J P&tve`DhMG} ,D"/Y5ypr*$߁2=IxNЗ:Fotw.#. ŭIvR߶XU `.oK7+"JSu ؅i0;Y]WLfȨ3b㺢GUO&3ډQ3^2bA#:7$fS}s7M(0}Fu*qS$ўQe(mw󟥩C I\71w t0(X{=F[5b(hA =Pk [Q+Tgr Lm%}F?r yL'Ơ|g1faj;Q=2ЃVm{uK*zYDU~^jY,|JAϽ8]LLՍ]MM:o@b\Ccn]ZL~X8J(Cm&*1oXuV?& ioCwjYkGK/hJ*ao'?4cH0Z2tgXnD>fN`CG)e(uaZsd ^*L>jy⎇j U@HX !Y[ܲߛ l%+2]OqyK*gyZK-xO Ð*ˤ%T#pHMdϴ}Ol,1򉑛W%f(%š@Le6v`dX¸\6GdGuIH[UEg5Ѳ>A98Q:Ӣ/0Z|WK 1kp7l641kOP-mZ:A8n&^-S륮FV[SABAiz„v ܲ*dR ͙!IZ(m 83N+􏓉+.SA9loiblhKQ}y7Ӝ RU"_ Sni5u/:šDuϐŧ O b_lG?֖B7 †g u}>KyYdPﶭ~ ZT&LWh^h2!},9% 1 ABQZpet K:k?9] .H|͋]1:O'E ߇b ٚZ<$V&|`=;L˞P[.!9 ;P`xc%bPC.:xiC!8 Q4GG 4J"57QY'qnI #Z8CN13X;66 ^dOc{Y'$~d'K~ٻbDI5<| N[ɵNI *Q^\i4mĴm-*O3+,*FqZUD =G;!y,NlAH.d6ahfpT8ɗk OQeI&f׀%_fr_*a(sgt26Fq̺a,+lðo{_ 5 >S"Kv\+DQ՝)&~*\(@D̹3=F_6pyMrpEO&(c4e™x p4)9j;2ɲ:˟tl_YF(f?@&>`;\$ a`e5DR~:/& EeXuxP'Rr6 D7zV.LPTV*m\{d5;YP /}k[}d I'͎S䠿覆ջR۳y 2EpbqCJd@ҢeѮpb/_dӖt@%23IuB wqհ]xִuzF ˘wq_w; ׋JMƯcF ]C۽^IU(/> ) ;[l8iF2\8{⻫ 2gJ%l56޴`wiH"Pg~(*?L*\wR˅~SFx71;n߰O*_iaQQCcC=&Q>U Ib#U1n HVm-XT^}c/x_̪z7VA!ϏD'9ÔF1ѡ4ۀ@f:<Nc[DkR(uLG%GYNI*K:J{CV9*PunxQuw~Ԓ`*;tJJ9ov0f4X7a  *(X35GӖJ_9`dyN])zki%F&?0]g 5 grMd1YVuFiP(gG`]F3xٵ'3Sd _!g|Vh;ǡ?M,H²'Y1U_MWi󫆸p :r~#KQ Y9FFc )տPh&'H A {r@gI_ݝTIa OUG(Re+\־u'Ȫg{F+EqhԳm\  Β }G'c D\w.oFVXt/)ߨKO~p)Źh%uod n:_O fa LPu[$y30dFԴ<(.$uܹXLlm~2,;d<63]Sj:6diݱȨbtcW/֞@Ĉf#?DtZEјR_ ފ"p央rg\ԙ;zTkT7O%x!azQ8CD T9r#V hkڴIJȡp`^F,bBBȳM _ڒ!bFf?D}MɊ ;ڗ ~'n/=Վx Pq!U,E{;AQOF_4{~3SiWKM@U=sGROuXqdq=r`ufȥi@ vk06@kV!!9pb=[mrjȢܰP2HP)b3q47`l×fŻqQ]y.ĘM"\ZB}ZiRZex7L`s] S+r O nuRTu%=yICg%Vo"z%t|0T;g%;)ASmIk6QSm0Z^*900; 3(c7_ +ѭUa #c{><8`!X3tqdXi5W>HXJG H΄Ys4<:J mEے\qcybAX]zĪe]#!|$W5Aw?W{ W `^IIP=0|;uDࠤgRlKSt&zOooYtCQeC=}2{h-ɔ1XF(c$l"+r9 ;:ʟ=Ou(*@%5 a&Lp dITLhnT{ ݤ7xVs1[sRp+pר3C5E'Ezo?Vw|BD%7 ͹(@cfԆz`#Ef>rbtv'I#:?޶{6D)4V篦&9 UVZ!?tcE61LQx;FFFX5Θt hfj7=6.s,t-%-on&n^l;l*Zd}M4r<<ut՗ ;0BG_Qc5/ԥgŁ G ]]&^7Nr~ x+ouc׽@;nQ?+o|7#|_a@ IB2ƛ {΃^+E?fBi)+m)?%@:HߙTkO .pMB]{>VH2njp-`7 w^L7:xf| l?PiG^ Q#nmgp2Ɏ] rKpFg&`8)\n|q} S1S_ɽP +ZbX֍wxBtn?(SC)"V؍XM؁3K{w.P־ğT}nj5|ҽyX;cel yrØn; cF~u9LỆMBC\C5X G@o̠*YǩWկ٭#`DӅ>.W@UCtAU `q3 ATeHΞVhVBft{6a&p\Y` = Ӱ:Pld,MZ+s:'[DXsxf.A#h[C'Q=MS ioZ88]_B:$-SvR'qy"іaQ9^M3 ~W_=@S@9w8H]E$e4鳏ѫNOk4͈Fe!_5E/O[ǧx? k =؂W$e_KCO7l!56Ecۑ`pDg6fK92@5JE10Y TtÏ'tz:ִr#2nQihUk Bt8;,Tjnْ/qPfϜd -$C“RyMNUejrMj1`ITJ0`onû{2 /Z>.W k@!V ,PRܦi:zU3l` &P=$MzLW0 [ w$Zr}Kh"@P QZăƋNo;TCXcm'.:AmX8SI4z\dJt;UB :٤F۠1mt `~;2̫ T:қin5! hC""w#ضfU`A0V 'N n[OT헭FG <≲Qh Ǘ\wS:?-˫uC~jwW.2Ut T;&w&@ߤr%b.Bs!e'Wpyt%RabiPLNR!ȏQp5/F+ pb?,^JD1%q/8loiV\ ٢ľWB Z)A:OfA A8?q) IR>E T:;}_g#6 8Yw&e :76/k#@Ϭ[7zψrS=_󣋑H6( /zmǠxK__Cpe o2%L*l!otrˉ%oEIvCyUnD_k.\pd1eTU Lw3vW TӰo9rZ#E_&o[4"ަJ'y\Hޜhn+s_0[!^;ꦯ͖&uŢ/i8N4tM1Р>_ƵL.qB&R`|(JzIWT 6tr>z"rS]{q.tgQ$) ےs?8 hEL$!mmBu@E]BMKyé *LR1'C9vwe[fOUA!CRL5TuXtX  B-B'c>p/<.B'rxnӊ!W/rHwRG[U4AG#EsQZ趮tz1nA\v9QSO,>Xi A$\l \=?!F+2٠7) [lyuFɰTrOB݈k~ ?X0UAK/SyWPҙ/DVϢtO:MxB0:1scj&"]Clϫ<ĎG3*ӝjUW~^In3.N.ٻD6+Cٸ3 ScyWv0 EZږpTTީ"csr51]L6ij{QLbuNg8Ti3nP;l" +$.p.j~?طwfw  t "QS ʏ b+^'@UпY Cæ=3}eSZ*u(Kj & gK00OQw$Μ.[iJcG. @jfsg$2h3Y1%w+ ^p䠾tϘӕVr<tOS2+^3MH΂^9J!5,3/:tKAyJ6n(QU & ?=*uvm6W-03 :U6jG=i'U萗Nhz]{Y˅J8mWA <ɼwh51- {ܯdUu݃YLˌr?0jZRג Z:/~D³lvף[[u1]Yϸ=#Yj\ ڜP}d{W26ůG^땠;9R(35ntwKW!3X,fJpΩ]6ڞ@jS40IjG̐qbliZ9 ݞ95=g2eyCIre77O =gYں? }FVOmp/FSE&N˃<ॲoS8~ۣWQgS&tl>"8oH߅t>U褂]|+4,^X  aaM)OU0m[h'd>o-(}FIQ[>vX |;x :⑇STG\\f;IAdޓ" pS8_Zb`j%uZ\5BW&VE:W(wxX}w# cu#<[;]X H{{ >OzX#muscD^II@ IN~mHӍ~RjΡqjYb_8C2C?#!A$n+*\!.v"0.JY/[c2/q-SIrsέAVEF `!⟂)ud OHsȳnxIDDށ gEg&ZӯkYs \$IW]@[-;P<14_̨<ݰN߁yrV"WVtzs~ї6W7&-$ǣĈIGqPP3SMl} l RݹIVs`"\09ζtgB"H! 1jeL+ K4*2\EWH #M;,-rӖ6cnh1mp3B x0&wyJy?ʁJ Hh/# oy&%|b SCbRYjm%6u;M${}S$ 1;_o1 OeM\$Fׁ޹mFމ†z,}AVMlDV$d`ŕWo^;'N &S{D_0#{-?x 4Eܘo0YPn@F7/ G( ۏҟX-!Af'~zzƁ ܩ\Qz6ݺY*pC62$7Z@钩97퍍xbc8M[wp}\= WZ6+c= =j|Vo_@c7bQ}B1Q:޹HEyy<^Ի&Iף|7#bK=!zsi" )Q7," Imv'ҰCkxAgYZ >%>d9G' DHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ih[]Άxʆ5.f-9 rq@1bsc|a8A>+f` $>բ +phu4IIy'Tb^|tƲ1sGwT#WLh K;;\<;t ר{~U7TѼ2*S1 |?x}Z@Z_h<,av+VB*)SMC&:thiS ϺjsObO/=B Nuv8-oO2Dh;J-mbLw|#~1M Ԉ6 ?.z.9}6YZ07Q4()>3w%<%Cv,Dj__xV)MMLݟ.;%8a&wpIH~!zi]/خH^"g?.KLE.> a.(Xt zﺮg-L6Uڕ}>G^'Ld=hQuBTz<[Wy Boc 0y_%SK؉g֫T0oJD+H1| "Ss`Ym݄(اv>_, em6FDU8K p$ '\*AH̐$Dk ì[ZO~'-T z8Ls_sn\J!4s׸<8 K.pzt~t=DЄq|]5ppO8a"jjg&(ld˙g?.W<`>k`LĕƳє$4eS'0A[ K ̡q7"x{+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H PSRLy #FK0@"#U:O, 4q eWmρߞa޷__<#4]۹lRkDb0ֱtԱ<#u. UdC|zHhq/|<ay%M^lUb%L4Q'Vҵq-N8`d5o$c9a\ 4䪇 g]dgZhIFҳ]_?xOoBMX#L;hKO6I3B>T{oK$t)d(2WȰKR{b^#Se)P7]-1U_%VDUb?嬧Sy^Y<;)]Gכ:05Oc,('*3ݹNynAI6r|׹!(&H w/~]Ʀ6l4 ;3FkҁQZ/k"qrg`?# Q$\j1"|Tˮ?uQfGz8-B]a췰fiE6e1B)1T\]Rp~€ ZIar>Qu,FB+X<=ޑpћUUf'S,iP$+-Fqk\fS(.FQ0˵B,QKj{r[rz: ҖQC=ꓭ8\g\\OVc5*om_%U7B*:qPWuIܱ!rrb:Mu]˰ gM^m(28?JqٜT{L;TV$(Е깖>%umqBhKPQR_0۳52f F$T[ Be .S@.e i?[鱁r%VpІWRBdJtLmf 1J`^26FS l"?z-2&Ac;f$:9fNy4z1zP"Ŭ rjLK) `*G'⻖'O<Ӥ. o ݘNgHheR{ {/qyT|%}s(riF醏J\cd] ]7k "-\CNQ%ÑD 0m{t5 Kk iC g6o]@SgxR(%Ӊ)nuS+ 3MU-<~dt\^`uj-V98$(')`< $eqrRƮ$ž[)% tw3uI%޽ʤ߷& 7^A:i*ڡUߝ SHj ׻~yfȉ)In黄e]>l. aKim )Liѿ'*(hM죺o48|IT8^G4Y_,H9ha֩xE) -beh_b|n{BSgGg&7龤vg}U2@Xz0S?hV?PCZD,d%@D` ö@oJ MvϊS%DL%lQx~T~%O=6rػnI9OFmYHy7!yYo:(UJYK߹]6[X9qO? [(guvx&og&X@4 nN.Fg>R:%;J_+t *i}q keT tK;Nbb7:C9_RYK֋fSy<1j4ʘBS #3A`ި:mZ "t,95 twUğ9p5]i, T @Lk%rqg,l N`%B+07!ZP,FØXeߒC:c$CǁQθ$M}6مTł&*X- F-5!c ݧDKA+Ъr(7aBĄG#05k%xrX2kk} )Mᵲ] /Ly!\-?2d=֙6B]})dv~]WFr&7@D Z Nv+crdwU evի6 4dQWM72enB>QtF0vH)@_-$e&oBM5x9Ǻ1(C t7OMRx.Pﺰn⦜= ߖ%}opُ!R1e+` kXBk&q[5%¤Z3ݛJ~'?Q>#%8šҶ&jSQ<5&*/s1\}4MOfUT6g>[3I2(#[HF0CI&sY qjʁ<[K4tUd1^1λ:S<tB*A*{۠UvEu|Y<2r&'h HgBNZ-廏ϾC/1i#ﳧf.%Pa!G6O*`RXn9^mه՚ &= vvɌ+g&1z|bmei@K[J4rI=k3%WA:oe}l7|Q~~f$FBL2mE cY(e eӅGygT_)둾/ˏ=*7@ |^,V5wEP9ī#Z;:lγiSVKF1CƕR~]_tv;ˁikJ<ߍ!W~aݷM5K,[" zto)(/__%ݺ(@TVQUGP1%`SN~,2W`FuA~^ An?_g\ޝ?I8) խH_Yt"VzCWC!AUCZ"1ʐT"]4qaO~5mwp})+H%yz@z C6n%zRvPkC ׆Nypc4+C"Kz$/"iȝd3xnͧ5G#c7_; (BfT bփns|}7x%Ģdh,Qr(RłIO;28Z)ء6hC*`.0M;ׇ):)9ͩl 4lE=#R]"wώGbtzHNEI猨c~]1\pjmlLUxE'Xj<w78 ӱ ֱbn6Eaa0Z3,C.yfl>@ |{Ye jdkB4>EIHo5kD0 ӣ&ωg:d@*729=($dMmE:qe;+yȉ;k|H*Kku++fmFZ({BӀ=PA{@Qml񥣟] &ogTz`nPG%YCˣ^9dKp[FMpL~;=b=AMv]YPy&IoAΝΓ7{>4|Mjا_>S~% ©U |^@ oU;. 큯MH]7 C.3W5>nEQ*%Ba=PDnƷZ p ea`)2AKz~$祪ΆU:qJLfU5> [TA{/?a51"/Ȣ՘p&CWǏ4Xc´Y*_G;ҋ{d2;ԟXmG73SBiRBz̔R2{DI!rY "s+YB8L.d/U]=7CҰK@+$W0T_kd&KUaa ȏ]ZF}3H bMY$Z6G bT(Eq{4Rx!O+IXRbw e&2ZA$}":eʌ:] %3$.N(#h/i6z@ڬ8`ګ4Iڽ4y`6%e0bPWԭ^.t)K҄8Ƶ1kK:ãDQkP%S値aNuSlr~ ij(w}7nwRt.dCoBԡę"ϞU/h!n\eYc 9Dƥ5?bF&ji\.ǨbVph'cB'`?6?bY}Tuk{ڒxWOԔnǦB@K@m_l_a p$ i51QoprG0Y1u ڎ, Kaq_t趗uwa)V6+y=j i+ f~^jf[?c+ġh᦯IT8l”Wgr#Q0h|Hzgl{ENT0'U3kz3N꾲 GCXPhًlb*J?P.0C (M<3w3<{Dx#Owˆm8ت$%4X [;r봃X4Qf{b)a.ʵTH5y 5fJ~pÙl&fb%{n =([+̹'b z8Xx3">Fέ5\S:b,\fj1_bofxp2A9Qx,׎;bA$bq9uS$Jd=1yC BjIqzۼ[75v5*3mgo>A_lO\P+G;6'oG?wmm]Q*ZAe7G@ 'b6Nu ? G/0ټw2;,QB;m㧺bh;WI[{x{9(ջr6dljb^\ E@ 71۰="(DohQ"mBJWNؾe:2R`@&vI{o U.OOY$xF:Q"(Gd{Gw=hc߂UR0U]uCͱ&XU8QHV`ᴤ<AYKcq~6ucqfU s1Ҍf:o>Fw m?GrK? r Nw~x20$ì-~NȥlPm6>9s%z_OULfUJu{F?L<]@%.^œ Y]R1@Xơ`bggCO"PPO:ESù\9_S {">Z߰3~a_B\LCQ(#`m"e2b<%]JkN`pH 3A~n X=DwVKBѽlym @D,ڛ.ܟT5|c:/0ʬ&Wx6$DgȞPDq+=;`af[.| r׍C]DS0V~0MEDCb5{|rScBa k}N e?;9I?>&@cߠ89u]$On?Ω 7r2™+Ij4ZJOTAa7_K[CN${/XB23Le_6fn;CEGEHVk fF)[V$y&PZz0V~4oچ+hg8 ;pNLGz hquT}h%'N?pǪ|KAup xmj1uQƁ֤?+b\F"zgq]u~hSsv  JٲllƟ3z4|Ϸ Լxo r!)B`|W`-27VOU06]f[Ԣ OeLLa}OZUYAT G TnjnfHKB"2C!ky!d=8y ۨ=(egJd ,anu4oq8~ڑvP8 11GDGŀW*##G$jm!SI<yL@ˌJcѼ3K]T|8iCTwO3տTy-/>dTQ"V ƏJ¬PR=c'B^^ު t맖Aڒ_D laT`5(xrCO%g~() s9|ݨ+S1l0ԅnT$w\ɜI?[7^b7IsanNS4TB_wJQ͢iܘ9F9NS ^G@飅0Kr:GQm^{"HXkk3?`.BY@])`$4?QSXW2xpC."ܫ9Z/:9)< n\ 劉&VE }ȦDrrមٶ1Zc.t4"|JQOlSdOȊ{}V֠OJ JkMũZ<t2/YhosE #Z\Rd͂ t>* \|]52&fS.D"yʪyz*XA~k8#_[C{qE"ƩN%pW#[09XS䩑!*-k?Nf'{ 흺G8-pHe+M 7*/zR'ȫ{wXڵ ^tsC&;L|xITEr z%#[iRʓ'9&ۃz?L %|U;V uA>I {vda.z#q,)BڬƆ=N .!ʳ0?x񱒿Ame''+fgHotkAZ;x|NZI"ŰUgSȇQ #njrLPYFVRzLSatH}DŽy73T )=YQ~}1)53ӎޖwbNޫW ]2E^Ot1PXyB g;C>K}SBAx&l?44:`FX|Btd.}1tZ>1*'_@pPq"B~ IՊ^ȣva qsv/8]Ӳ͠Y(4ZxUص̻A8#s5Byl>@³ǖ1'DȻ/LBÖl'@BGM.gdYO2pY6j#wn>2#Z, @")q?HM94U9ZU_ݑRBAdMi%^]=x-*^E:U]R*-W@GW5ʒk,yZ|-}0ḳb:[8e-M:Em)*1@ =f6ʷL”VB+TSED8k艡DqpLkh :x\gxd T\~-r8ߗgEPCŐH<4'&ؐS3H2338' [WWl!nے eͩryS$ TI/]~ D=8NBtlfg_ _ԾErI ֮&)xQpf8,Q{-\@%Bk&Ոb`>ӗ\fd4"\g_ nu襈4&lک0ނbqX;<qU,STAJ%٘8gi#RnS;-"7_"ilƢ kQnF? ?`ٷm3{ؠ_ol` 4)t; av"Ȗc*Y(@ۈ>dE&GSp$zսܾ[oW~q}"}GԧxⰙS>|78?z/Ny:OΉfbS$?^+>HX aGd51 >bܤĘ,"X QL4id"xm󔕥.ۈ-S6/0HKa2Y@MZ<nʕ$Wai vrx/n귏Elk1 Me+ % +"0}<ܪwaU%\\k#5;x`ISěXXt-*Q_3lu>/g9lE`"!⤋P#_B^Yb~4TA1.%Y}Yf dIdApR~l,p%^{m&"峥$6M$UB ZhFAu' (iXŇ' O2rIXSx驛liCB)rdu -|PG֚w.-Jʥhَ voyô/|ݢoLݛat8.?ɟnP+mP[&R5X潂RҚ V%.qEJed ǩ}:C* 0ysՄ;U*Lug` _y,ȹU#Vd_HdO: W 3cJ_үy͖܈B4&\#+4\]pfm:w9pxXW?gBL ԺrWpQ>"Υ:7֠}3L|Ut/=ӝ"(" hnVڃRYR +9̉"e9z|fsZuckpjlH(^-KW27G?*qO1l>a3Wۊ@FrUJ?Llg|B/Q ҿkD8<>dj Mge\fHl[Sۥ\4 :!%[e a_P;Ai'H`4ē !($^Nu,ʌqUǔ50!%|ȌJNP#Cx}[RVMl/FeQ"E eH9]i{HqP3hmHiHY3x.5{|nx@X=:|r&Y<}t]nuxz:e&sfLTsF^݋ml.й`MaiH@Fq^,|ͳԋgp5ZR3=BwQsK8kb`\ႝK<âNmV**HS:hCF9K[.څ;ȭ:(ViH~WM=ߧsDV$vm,Et \Q}t/ []3$Oc$ZgM,v>h)*7E{qd(`{O(ځVKVdllGESt0E|nA}e+Ι0\RvL"7dNbqQMd!>R/I4$s SaM/Lc+(ʼg'{ ufl6 Bk7?A?os ejQCenN 2g5ZTui!t.\ԒVw+)lƇ,AE)(Ev0͉*ȑqȩBY*񂠰}yR bv'V"OjEE\>I] omJ}Žz'6=gV =.P@`obG.Ƈ4BQhh@у9|*شuj5tuJB=*g^ÍԃNsG.i:eJig:v6u7_S}G]i752xM]LH$1uf^ba)̕K@HAקgD7^/V `t)LOooNU8YzgAl|)S%JʝKW`:k X k&R|L^c?6TrQ9^:r!-DHXEϛt1ܮo= ,QܠZ!o9ܒȵ)oԿ` ǫd%LlHHwD&5BS8 z$ҥRԭwVP_C>!#tO6Mf/ϣ|F`Hf@'{j 3űYX#휤A0l֓!de"o53M -5b\U֙acЗ_k|o98_Z8r6h9@S8q i"\\oM'#{PWDїp/y+\H)BK-Nwu()d Ơc_5s鴁Utb͸G+@{-d;tS0}p^ԛɦ]q4uQV>`3.Ӽζ5'{fF2׳p7.ynNxU(r0KBΜޣ,J^ syǿ5`(S i%X/Os(7dt\Ӗp/71pE!㔓FGVяUh\OUrk,fh\/Ud+ZL~(߯h`;&1kւ6o2šlgCQT殲x)FKfA?ݹ"K묏#E}:8KQPߪ¨ ]FƇ wcE-@[[-p:0t-A0cx'&Qt:7@o\`{]C}̆8%XHnJ/*KMe$0z [m:*ޟtRY6ėAyݐ[(g }gEvBz˙oR\LYypgEENx& deUtg8 3}$V1nQ2ػa/6m2j686qE9b3+2݊ٗ!ҞJ-9yE!mX3cKF{x`h6'_.)7>[a>s9iO&"X^\9h8-}0,O0ڻݫGCp&XBm: hu[\ɬb%q%yrY]Z Ai_6fZs){,(v92!I#oʤy]ԧ_ȵMhXఋZL`ZZ;jw0Zx9VJtZ'GbYgY>G;3k\|[S#wL$'F f[?{= 7΃ ֡:k+8N!$WY2sH-fs# J$,W(ҔWpJ6;tD$CiҨ_ȩFø]`ZL߃>R;Lտ{U, .k,:_Zϋ7Si泣qÈmZx/J: $|8nZQ "WSRʹu6AWU,R|E*3< ?-h  L@^y>$K/Mv7,m5xhyw3uGTH̭RWAJEa*c[e2[\X y(NWD}p1ӱdJŽE#x[C ߹et1%zZoC!X7 wu;T@*6_7i:L6 (EzWI## oEP<4GQP!FskƟ֐ҜɃd+n~4VxR.YW8T:p4Uɠ]n.҆˓^ڎh n},؅}=VjfBK ݊W."ma"VD哉Z%BDiSamnJ12Dk>R @6xOOQ ^x/p =.s?'L2ϻꨭB9 إlz2BZ^7.(_wwe@O ,5_ {79/J`.T.ȧeᛘgGEpt2Q䙨ø$=eaʞ{ 5d'/'P*HRPߧ6pn.-W=1g=҆"nL8#@~1Ԅ<%ӣC* ڪ&r4;40Y+ېTō/Ӥ0[#%6WBm'u!qbVNHj^Eۯf*>hf`\͠Z RM)!k5Md1CV`Aiy vI~R(xZ]Y"~%8;o\=&%S~諮5zBw45ahd0 5CI FkƮG7x'2 NT}{zjB)4h{mu7V9N^ij3`T$)7άu@cy oP Ȁ@XQW̹6,̛}0Z9@Dc?TXE,=͌#!Ikx?Ig59h≩6T/å9%F1-6 ˸1bE;U62d&ƫFDKPɅ@k&P"+~| G9'$0~C$1|ڂ 3ӣ 1Ѿ^eDMlGJ%gyث,+rUy %R!=gWz`CF+J,ʋ=rA3 jZ|xITO'ϓ`}ɱ5]3'@5KIe5 )J HZs^T^{a0/ݑ5#P4U]_H>~Yw3"9I鯸MHV5yq}PJiQUa+V^EShx;떰/E~dÚv pbj<mܵuqɚCJz#-qS94 ߫}e||  \Rpp"*Buo؉m8MZ|h ZU"4Ckֶ\<޿`mH>T[y y{E%i|@RЍK>l4YZKUj+'xvt=;_{eDži޴tߝ])v yq`Y_T1˜V6 n1ҭ:-U{6]b6 g+ {|2IMI1hfgKV;` & POu0bԖ 0뛥I81$LC"IG0PUxgo4ܘb@)1)yT r-PcK _; yW+HG HQBӁ+Pn֙˅⹔QٲaULa6 2G 71f6(ڦPFSV*kthXdX`U!b|fCA 4|Rɡʳ:0S0v+e8ćt[6gcMxHpR硖:*@/nVZqz_Gm" | źoq(,8Rb/FG̵ zwBF[ IUㅋtkt8wr-;C1~%.[Gыߟ(sڍP (0Wɘ{'D|Y~]X62r䗚*>HrBȀ ߈2S5Ĵ!G^I uGEK!U)H|)yӉbq>qEBGd71p(7f[fk[EӬw YOd6/E\7Ev;5>%T=H I?U[ `/BmڞY8˝ˀ[t%I?b޼NbR@,)tvw ~yb '܀ӡU*:?@[CzIeKp#S5ҳGœ/gcB^3x)'^Bҵ㎈Z'9;+%ކ7뀛 Q}d"?=/z 9 QJn>0ݍf/;zcmR"#)s҆mL-r@GOv)hX,Dآ/F4(*)5Y枈] &%̬'^utPS|\Ekg99?,0h 4F8uYrMYv s>TLEtHmypGeFH8}AwC'|U}dR gD2İ99J wũL8ԏ[kM?yQPi8P__`w!Tµυwn83)A-2=M`fclkCLV4'3?r9;,IECg|B0A@ 4L)ʽefMdJEjRrOìZv$呗9yIFY(]8,jݸ(WY7|Qܙ(Aׂ˸2u|/"-xJeS)]d}h='i7rKwrL%',r=$_q~ 2{K aQ?N&(abcO&A%Vȅ~MW-m,G;6c|"L8Nzbޡ ˧s&APC$xK5k!PHg9=`#P~cMUGqJ X~LkFW Įku&w<1 \ݿS{w98tx¸!5Yv(t\) TS u:=N ޼.7cJ3gxdeFF>pt:wʢ ,N[vE*^\DA&'Ο_&t3A:ᝩDKʉ/qDa;Wԏ%(X@/-p-0A,1ͳKb}ҙpTG׊}oje>?_0Ghܑh05q9*9-Cv]J{H8V{D6%ew^w,jSqEB =!?%)GR'-Zu0|N>iȰzEWV[*֑#[7U;:$duk hwhzc^ |0AY*6oQ2!N$?(.KBH~)y*yűQ v(^Rd*8,/XKa\WٳԅşXB9i:c,i21vv!dLZjb,<&2(.C~ J^ ﹖6({lr3A幐@3#uٽ26Kt~`L' ACI {{ ]P$V[bEx߯2zoUPL{`F[hjjW!5“POܮj_?s>,ɱSrN)zVC-sRwWmt[Tg'6hM_!aJ;燉+ԑ+p6` :vcSI|yޤ5xWf,)Q;IidD%['v2ш^C,vz @_WƴJ,nwR ?ġE]o|8_5Ҕi8ybqJ℔!)]n]ZM yn7Ͳ| d[m&ڮw}1*fq:ڮZڂ_h8j:{$#+:cUvѥcpx@h·{ۙUB?AmB9N @plHX82ٿ v)JlG_Mt3~((,7;^c:υ6 `_ϴS{lyuks%@ZvK'̑4~k/gnPK w ;Qr/w2,WC?/%&dxC`l-~.fiÙzק*He,fy>|8>?z=UV):?$|G!oJMKO„7xvHeg~(}XCiF]6'ave@R(aE+`n[R)5К>x)рq3QNGY^s+ϤYwL|TXkxxTj$=|1̗A|܍UI)Wc[CZDEYyr Vg%ؚ*"煟יKey&]bL#䈔t'*2ԥ]|H!2m,D5"c8\pCgL'D ,"}N)&=-:mAщ+PQv(D2csnLqOZ7fq!r[4T3jeI Bn1ā;!lNSv F{C^i>''J?bx;i­qg 4wj\Q.`@&jg w*ndP.Cpmph\ѭ8 Z⓬ >G cb8Kn_rq7 K"f)N#'GKxO93 )s=nprIjKsɕ-1-_?sk8LiH?4&A!q:λ< G-E \4(YI(GnÞSĚQxg5 j@F+3jy1xZzMό̶Ô5 9[!\L:BY۫@$mٗ&/%\B?V`΋`X\Kgzxg꒔$;JO?q} %ފVB]{ )ΣZ5k%&AreX}A|phx %c,QYɠ#2@+CZM'eoFڋa ӤP9!H~Z%j (QAWC+fWY،uoF6$cF6u^ەCfHvd=Enz%%Z NG.[?oHG'A_}sAĂ/uBbi,Vҳarj}mZwqpXfgLq̢wf^=4i7]^Ss޳5P'Ǘ$E'g*pRs,NVJ:qY AƖk??!)Л.1[Z{j _ٍqBk{S)AP 4sx+c;jBJsA gtAOUabŨrzM.ҰohiH[] :P :rX/NZ%|eTP)} P]$D)ph2`Lr.? ;Ŀ\b PESә5(,+- #iw,l\ȅ=وl P.U T;&MLmgxSϨ:5ny15L\;g99w{1<|\n-(TT@Y>Gyh/7+e%5/k`V6ݛw ( Í:>b)x{=I|n͆At *H?~\f9Wͤ21xqo 3xlaEx!F&tQug+ -$^`OK-"r{͚N 0@XiJ}T"b'j&e<:T+Z%A *2]|7Ə5=8 jыqԗj;[_iǿ +RH@rsYڏ4]on`g Ԡ@H5bE'1;U%s@am4qU%:M/;GC#*]c43Xޭ0FBkh9O!),<+ٯ@2=\Yz#2ba?r(c'+ 9Ɂ:WLŶLwH[ʗ'#eS%>iSXr>o0qx14rpy v5 uU ,9z Ste!aV}G^),DUN&jY E+C϶4- q^?L+m:f ni -~X\҄+"PB2bcamfͪS9,93,"#SyU~A`,% RgŃT8-2_߇so$H7PalL}0|FMVvi 7o/F{ABKŲ%՛//i \*a,%>.b;S r- GFIzO|1{~]掘sÒTV6A{2W[wnXs7ާ SZ*ėDžt[ۤcvK;,II7D~%+^]PB` 5eC$GY—,QնrMXy7R֣|ɐ-UJl< La?2\K r{͔[848;6F,i0Ϸ~7F^6 {rʆXN`+ DG =VrGw籪6&ڛBI,_Cx36ͦ{z'4 .X|'wvש+lEuv~?B-w99fq7;8=7AdB%Y<|g}i%k^dBPpHAdBoN&ob>}WA=TY+QIʤzig0Z73h$ gi9_ǖ wdP^u>YnD` 6UsKc %Ӡy)L/{S\{Y Ya܂ӹ#n6eJSLlGQavi(̸.H\w h5d[[v%J:z&eŸgz؃Uvn"SU V=`/q !` ;"V (#Ƹjncf$jWBnAǃ Ý(,4Ph -w"M5"e !=;HHiߙcRh9)6)ϽFl.R *#$+lAn;Uф8#K[f}nXӰ`L" q`fYlCPUi==\gq frܷR=OVN`XS/ UL7UY2h`>khdn4U/`R2*u@I,bԥ UP> XĵU8= Q}d.l8U,hV<~[dP-r*y+4J7r#/b4=aE4fdnNɃlw(hRMcSl d`.Jmrjy\~ ~oؕRjC͖`U4y{ǔ4&ݗQ2ńKs=gE|4">N`u  u"s7Kü! *&x2]B̥A XiC'c=Fl}cU1w0k0!VNPKN|V,td+&'YmE4mrT pVL !Kq^#u#mA6x*1s}4&6_d[ϯ52zO_9~@bl,L7/CL@ tp=K~@򠽺plĭf˝AG4Ye|I{ {BŮI(U] = oP7 f8ioĬqPTA0&VzG<g9H4Uj;Wbz mKۇ@Jo{zo7h:(a؛Z {/G،Bb[﹂D\E5JMx؉;8>d\YE*2)Na,訂lM8NA+ 'X A24XTOZ ٕv6ERa|e#>wyCvCCg0%G;av 5ڢ۽9XlH!:;NHf:QQ?m]>m|O1Ί < D=Cܼ[`GPsӺU7%.cQА=W`~HV@k n*wRp{cMbEkVKireh0 {1-Az>".]?laREM?t|Xz4F@aa720 Vd`##ApMgQa{K.=:֪Fw&l$y{L2)58o+EbQ^ ImOxP-y4BNJ;m7t$ҹsXBKp (iSWvf%@_m0_?!GO ieߣfݰsN]~H  ro(]4v|ʟT#2)0sq",Gq[ROAs+y /U|ټclOm3{IL>ó)0; [=mb`xFt;7 YXn tm rb?7\ဈbHʛ/ E1agsb+kJ}Lf_pR<[ jTֲ7pVreԭ1 Z] aGDRF H%H YiUUD_>0_A/ I|Vބ;5?}O>ڭ/YD:JRUw0*8dR$49Osv7bKd0p.MRMbFt bG l} %w(̫[X*gW wP8{*}d 4xڈ[hXGPDHTҔR@^l)]s._i Pù9hJ#pO萐hfˡ_&^ ~V0c]X:[ٕ_*w [3;@: r2ha}M1&tjh%58Kzj>}ˎb " :VTNoG>C-!٩3fJ+hx>o9lꉻ \S}/iYU (Q41/;ʗ^Ay<-5os똵Ĵ~$[b#'HO19RTjž!/i"Uh4Whxx\N!Ey3v MN=/4v^G&>S"R)䦅O 2Z9z\.cL)e¯7}bY#hm}CÿV#/Z~y/*YpJ/u3{EoV]SQ1:Hq"3B~oo.0 7laON)lwɁtG& &'T]lhgHi:օ9:971.7[H`|4E<n+7A`9iRAjr^Y/k\_RE ,'h]]Rsؑs TCG(}̐˧}i?[p_LI EX^fH Co}U^iqӲE]y~36:=i<7i,oYlg?0KoIާj2aCM&h@'9:30:qkjtp.l\Ʊm)CA?ۘq+c(,PVNzx_ < '&[! tc̾uv&M⅕|xͧN/*f&Ԏ1K+(uUՠ:TKDЁ8 ^adr>Bd>ǝ*#kriYIZ)]5[MxCq5qpȗWg7O_ 4*cQɤIoʹķ%!m+Nڒ>v:co `HGpeC7, :a8Μ+1&5] 44d[VJp5*6i:slө2c:o ~~Wܑ$p P7k$eZhocy ~gX О.f'\uDlmya׭ƷSv{T#A%wsOcFS<[Rz[زQKإF2|kU)Xj{sta2g._breGi^R&,-= +BJJ0qp9I]8LWaA[gmn!M{n^Kط5K93%QAcj0|1ѫ\L1֫wEf߅,7|!3V3q᧷p/V*i)otV,3Sv|mm[rsU ޻- Gś)B:5߻=\{YjSv{Poƍ:ngGOg9/6΅nV#2Lgyg W](C7qr]7ěϩ &ne!ۚ}Ӄ@^ڶ#M8pѸ ;l[snzS"!'(tR$`3f_|: ZHwiUF_Jrlg Y4nﳃD\JHa- ﺪxXKR/K+ja*vtPw/s}>'VaLbyj'cfloDijyh9(-EXW:P B VE*w8͉L7HDdNg ˪Vھ wl%9( {"m K)ST|V饿:||ꬴ3i{Wr=M:G]DJ}Z9~Ԉ#;$C/ppP/! =?aԾPIEA=Fsb#T< SZfkVHCzX#`Ɇ'p>(iC͡$.Qx9&L# @;k~Ϝ糹$-{ά3>]ZPkDف9/Ė=o匊ocLب{lA-`\Yg_+nJM~Rk_Gi5C.m :FX)s&kR q|mzZ̒C𹵏MeyOߊȮq|/ױQCxY_·0:N< g@ vJ|n!0M̱;= Iid6gTQxM~5V[0rPQcNU"PA)mO9n 9جpJ3f ʹrE=GD';?p#}?(wk GiHVqՑӔ\;20PӤu<5c]\ Y^lމf26퀠%uheL[HW[//lFqw>jY"CKFm= S"|Dhj5 aڻѓ _cGxn3a@C@m&1_Y6BZbx%Ǖ=5.Lu^}2y`֢sR`F\GV歹FhNA&Qǐg83Ԁ`JH*lsAX4}o4ߥo:)Sҭlc[e-7`Xo\Hd? mVP(~,5fQm*M`pYaK fbqZؼtA f˄pW CEMrvD0h^M 2K!l^DSi67^g(mQ.}"[7(7-(FUd?,_{TAWNT RqY>zˬmˉq Ap~0?XV! xPPB>FfJg$ ]1]Lgikvޒ~=x}1~ ۻeh!6B᧺J![`ۅitcU`m^E8_ʴSד}- wK}kPs e?2KaJ63ӝ8b GIU薧I 3_rІ=h ,;cs$݀Gm' PuqE#l}*nԺ8k^?rV+iA.3S2TN06iDZiY1RA,|:Unod,Piz^1sVc`U1?%M4!P;P(ӄZN?h` F|СR0T9", qC g2IpW^+Y $VL(lj4= S/YT`gTϺa%vƙNپ;5fWYUE֗.+c='Q]]'=*^G).$@߲zY&OA᫦bL$a4s@M'-ߨ%xO wSNՕ56}H*`iLJ24Ћl@/f|j n MOx#TkBCE᷹%Q#on_Z#{8*P48^ʋ4 ;U >NcpUհ֌pӾ"\1%Єdg 7 sp8/W.\sPcPJ<^aGCI}SPнLvl% (Ye[g6Ǫv]q>AK4::܋1 #,U7]^$(Zgհؕ d,$)^:90h~ri[#=vQ^QSqJmռvF7r*LY5$IkDz]eÓvA /bF\M]B_q+%F侴u{:+@FMfw< .c䳉h!o-?FV5oW&g.y/%vj}N/-C)@m֒k)a6nǛ DnzD?kEIY߇~ 5`LjD׈b-WRr[yAOWoFO8qd ;=+8XP ǥ`|Fiy=P8tU[h$P`Ju) qO Ϟ}lC.$A[ZRs"-6jQj@f;!H5׌LгIzW_,(N3]<+X ["+KU-(E䩍WV*S`Lfp Uߗo q&qg#J&c0/7*gkuz$lY=VDp퉉}3v;1kSdļiQ^R@LYH% nK[~=锣_&q|͖QN: /?d'Pv~5}T( ?Jm|p1:oY -Mr I0 ='\}2dWv^{ 6r4[