SQLite format 3@ " .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  >9~<4, ] HOL-Datatype_Benchmark:threads=6elapsed=547.263cpu=1951.553gc=798.7647zXZִF! 5a]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;F:7pӐƲMxδHY>&ZX"u1etcn(6zA (oRR>@: 7*UTyBm 0K۽[w6p{%ѹ?T$ΞfB t7d4ǃk7N  #LN)(|/urzC?[A ܪEY^j#!nXz5TiۢO ^Lڶz, XS2{4cWX`6Ԍ, |H&JyM?8Wzz`6X2Y8exT"2fZb7xbim8 Zq >{$ BqtqXFtAm]Tgyjbè#gZOd%{ dQV]F y-\W&Kr:~V\rXS]~B#:-ъH.SG…Ӣc/dl1Vg-~Mb WQ/.{`tT^m[όJSUy` fwFwEH8BÄ' K($wk;hywi㹗^uUb 6 {}@]mdD,x` -Mp=?SaB#M}g 3rtϚ#̾@3,&N w@w0]f~ces4j_d˕_-` $C@aʉ'V;.:0[Xw6d=qKA PχY0k ]KM% mϕ 85&sUѬ!2GLwzms `&\BEXt&n?Q7KKؔknBX@fZAXQ0\l*e/\RT21L=.Jaj@94!SXH"a:* Ism(yOPn7Uy'@ HBi`aRmPA"^e@Qdg; jqgYZ7zXZִF!  ]ŗXiɟ1)*u%9ɻ}_v Foږ55'# pzO~ QQmc؜6IJvJ2 K (Н9F3oPL #ݱgYZ7zXZִF! W%M]ŗXi%8v: .@Z씄Yҥ/Pc⭣ (gs~_D 9 HOL-Datatype_Benchmark8u9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id514N9G3 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_id514N9G3 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;~]D?7 {?:fH\6,ʿrg Q6Ĝoz}TT)Wݤ|(Um@ENɽ4YB,'!01u vh2,[:T0?mZA /iig'fhpZy4-*k) j]e2s!۪4}ZXtq[]3P8·&SZ$JWD,nBޚ7ƆmWUD+O{PTƻ9'cynpR㦦4+\@zW ؅g>Qg_4Ҵ .X5?dBzU w\r\87seKFoF 50a&h' i=lkeͯOoXAKRs׷! (ė<)M Chj(B&v*~ӿ'{ң O6_dh|=fXU|#]yM:b\qvI`=q\zHCצi^JnΙ=7pAu%v L!= wcSWi{`E 9K# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! p]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~TѢ}=gJl.#lC}y{y;xe{M,q*b8sz --tDN;cq>n6EG(Bڠ\O `;|Ύ{4$a*1lg`]7_R)։ix/v ͠uR\OfPB w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id516s9I# dHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2dba܅G068TtǜX  ).Ƃ(cx=EqYΓJ46q?&j Wq"om\v'Qg eAD:0 υ!s>QpQI&qo'];HogD* DX)gFztׇ#=OմG&}=glѠwO.ӾK$~fn/ZL8zXD`VM\Upl(FzZ 2I}1Fq:^dBkw /BxV̀ 4uɳQ*/{=/9qAjRЇ~x͇kw&D|oYO*9ۜ}w `Y`4"Zk ѿBsE:8Zp橢VGQHʊ$D iLT$d]09)|= :}IrK%8sbkJ,dZ̀ۮhzs4XeCC;{hsQ GD ű2H(HP f(8E мqȍ?]QHEWO>MT @uP8W\ןGܕ؉]PT''Hޛp 7Y uJ68$:iG;Dl9*qݨSKd*$w̹ݤ:ӳeMp$B*G\.5m@'F%w4e=(3h#ׅ3xK@Kϋ 6RR& ߉+7f[YAY]-D)gbG(B*ah>H.WΟ`j(̫` bҕ$ gQ[JQ[{k{Zwpi'obCV03v#\'Ӊ`-.? (7WGb*?D}h1FB uhiLdZi jc<eYbĐ+UZbxJC tٙ+y;KYACw rr% YސLHmcݚIv'WqYӤǗEyMτ3ϸ5DdR81\cpf TAM=9YjO Iʯ! ~|$ \Mvޔ_2i|%|+;"T'њk[#'*Y**!ILdj1(X-ouM5p%tF O5S[,Yٽk=,Ŋ~;)r)ę95f`'% q,i$vWq(=#2"˦Ylm?1pD¯nopgS  )Ⱦ͈}7N;>oŹ^h7Y7z65eZaKYZdJ%QH4x> Dv%o# bG68&_"3_ 뇉 k!/aUJ6ppcaF|PYQscs:?_M잃jF z|?;wA-|}@\|Rȿ9khZFnQ զĎY(w˪ >s1(fϠI˗@F̏. Q.F:Uq {@.3ķ-^5%K.u@iS2ٕݒB5 C09Q/~(f [Qo6 #_*a0Y!w=&Cr2}F޽-5M<_BbS-k7ED5H#u: 񐘡DQ2c%MPG\c'=>gɢ5}!,`^6H4 -OĎ~d䄁Ed VxL łn ZOW@$ 1v1˲kAwYhqWào sF觖hNg](m?2oșKGLgKh)ɢyAB4VUv"Nlx'@Q<>G+5<)1Ba|ks"KѾJqb#K1F:~%7n  toNp7SI8x"qd߾g?ՙG`USp$[sQrɁA `nRzWm_.ߍCPey-zb<?s.%꾨IEI$:s[qH}Xt?CnJ~ف;_ʲsh:rF|yvL6ɇaf386 K7~)OACBTm"tkkw^aR<>34J6Vґ=#2A$hÌ?2Ν{dﴱBh$P$9H6%$E, ;H(]8 M:{?ё"kCR c0u=FÖO|) uiq*twҵfJ4heQŷ!y以츋htU2J:>>{/=:^QGԙKL`3j(ebꓗ#m {yGptZBL bIuNAئcK' tܩ L!Dk%sgy#Ւ\Z"p*XUnu_-yM(Y8ؠSF3o*"& (\LM#uw8Xab\(;UL"wv ˅vA`)"IJQy-ɝ_ kgsʔOZb4jc aVK%RcY$/j9=Z7u $M݊;/HR2e^6 ̡ mGEMA #(gWyC*2U ^?QR"01c8:RoyiQ+y\9\ZfgBnvZ -wSXy*Ģtn܃:gpvkDtI8)v-)%.DJ?ޯJ%~tldf[^RO'Xa|? b@+Z.S[=aBiFϾ1TaL"|̆`z ͫܰH##T Dљ~Ix8g#ny#@e}'x(,j @A{& 4'fLၭ]C^z;>].x:Mi#JpϋH\oIױZ&rn`3[wO6s>uK`8A䲗tLJW/z:4z/ln7y.z'O|kף,?n-gH@,y]bbXW钕wo|h=!wU'3A)bt„u ݆W?OU&C;oJ@V0'"5IQ~/tDŽR"w7靖'{#n Cدoء4( {_]PLD#\OήR98pа*{ܗv4_L ZBȠ^6Ԛ@] cw,~JYXGFp36xР{Y:bЇ h ~zzdGNI:fĤ Mj}DEQKڃ!Ak%z dR/O#/`NHd( 82Oј. !vQݼuUA4 ayž-p0#[E|lyƮB3NOtI?gKlnba9;Mj* w@0(3gG誾+G ,5s +4Uj_|nѦC@.yʠ GuΞ{Wեp/iWe9;I?-Dfiy$"9.h3V<ԑ?Y@b>]S"qI=Qzp<| 'O+|ς,cGb7S};<69-`TEIW\tPc55@ElH)LPʇܳPjyٚk7`.fC#^p}@Ju[u~l*!XtV~yĀꊈ+.ea'DhD xs2AɅ|kϔ 肱ʵ65W3pt8dv9tPN7oa}bMNf [-U_ RӡB? gJ TuÎ,f+O R^{(Sѫ7q UkLp[SZw>HtRtcC[9n1XflBu&կϴIPK͠hF(t5I˿0 ߦ;CIn+LzY~2`S2m%a~9i`ѤlEᡍm:qGӵ S\s7BoP Q hg!:mW)&( s]]-[ +XZ4xPo#(;ld?4 cRE~׷$mE6 f@0؆.K&И;nbg ]LVhS[l "PL#M84?J((03¿ub `9fűCޘԙCyB b]N[B$y4PUL\rsp7D{Eu`>>+M++'#llkp;{s+.kz+LƚRZ8{5 _xſ)kcGDZf6Z\AXIg` dE]) BjZzo$w L$ uYBA(\y\⿚Ix3@}_| eiթ*#}E9TO̊&_ j >QϼR1#3)AD@dm2K:X8P-riJx9…;U?s(oa ֘b$Sj>#QNN])'eOvu0bzj5Ű[l8E}ȸ5ei$ ]=r!׍AfnnXORx@r+ii]C<6s?6/ _l-KU ~dE0!XD)c;mf!x3f?OI"/m9g^U48B_9eKu[$)2om-x<(őE9A3UYeZH ϡ530#!&I3*#W 0I&ߚ!5[4쟠TXp.ńEeFa~,+7r+7V6r˸p9-lαPzj]c:"#!'êLnyik(MSީ=`` eIThc ICƊeN~iʕ! wAt,gEC3 xrU}#ƥ0C(Ηk+"(.Z͵0ݍD;s\)4T#߲yP 9oABKG g]LWeU);x !B|2mgaEy)1~OzdF=xՏd{ &ԕLbQ-Y8f*tqqƛ/M.5\TW- !nO8&j6yLh藃CP3it_m޷Z{ G34ya~yd VZ"2#!QST . "HRLlD2ʝHr u'x*jMz(o@+s&M>u=BCIT[$<,t%shpUM]qĈ\gӪd\^ @xCArUKX%:3w5m|VKH:!W1svYH-9Xf_޸}9=W ,yVZ`xO^V='ʑ5&v0UiۆDB Gm.7.sSD|,j%6~"S$^dskJZ=tzORUыwi:} #@ށh2O { vDƻEćǏWNhj(%p0G % ?4Pu-Ā NXKͧWhxqQI(&Q ]%.&!1.1dXkJss 7) [SF͔}i?]{M0{C*&hY6nL _BI+=O]XˮG6CH v3D=UkdMdHh4 ^M& b5ץ+r69Bt4vVv5ݸf̄<8 ](\d PH2#G`9} |W1fh0XT|3"PJfox9Q^ފNʷMLy ')o97=Xl\I-g ˟lC|r?N˜DAZa g'I?ޕ!.9[KHýu#jZ[cەKk* */1 :iN,7n;=E#p.oOVg}s[u*o^x{I-S2kcw + g럚m_2Z"sL&dRe XCڱ4Őypz'{!/' faY-'㻘q u%΋X}oWLER/;_-ٌHgolp‘FVCFQ¬Fٰl"Am_O Rf \!@{JdlQj&v mh5Fy{iWWe%v 1XtqyZyG2t(AF q+nDz"qi|AO{jA@zγ;@'&J]L=y4:X($Dm@ ev* `\^(Vć6?vX9?ǘWl0ˏ,胐zzAjp? SP!ñ `@_YH/&Uk][cV7m$H}4WVxhNOjҿKK8j! q Ͳ%ރk$WOup lU0óY0\&g5}/ET)tǤ'b~lb׮o`LH_=_TIX7/Ӱxյ!εd+b Ŭ2vgpS<jS5jA@.)NX'g`6qX#!Yr ;Wf+|xb; DMH >"XL.8w `oTeqSjjӅ[ xMu >>Bzc1Mo骽f"ﯛH]۹i*$bčǾ`ĂD1ºz*^ER~7fnj QPַNKHnTMw[):&P;ս0.LCr= ^s};=顜?Q+cKMJwXÚ?w7dF6/"><%Q2v*WX܀) l;mk*8$/1Im!rJ`dp(z uHs)44f#;UȅV|k W.Q6VH_[u޺bL 8$ɘ.{R }n:*2b ~_9m dQSif2(vڻwyP,i4^Z&+.`eJR' MhDYN-!,Á#~ tHMэpw$p@a q}EKKAupp(M4 V>$+ GM1pXmGX2: q ';3v L4͐۳p~~P.?ݺl2hji"ʇsc $RҎޖʵۣsn؅Ng></ѭ?|X%A qV9k8”6aPS}uOTZhw!}\> cn4񗘂#FN٩jGklY-J*- "=rC(ΜzDƶy1.Fw [Mq«"g̗CJW6gn(X""scgZsY=m߇BkP%O3~ \|?4_XNp*Woc |V66q>,ƣf mec8m5+iyZ,ك0@FjѰ .ΦNt|b( .(]"Sᇋ `p|O`; sn~YZ>ub(׶V*l|KNj3@Zdlc@q0 *IEja{n+ʡ 2.wR8AݪX2AkKһ4ӮjKrtƒ_& M4h75#cAE#Y U#ZZC*-@_^u(W\N\fTN[Xʈy&Q,h{^[ϩI R`+qy@vM˓'4pԖH~7i ⥯ j5%P"װf0tT׌KT߲.bΫZXSAQf?'+GЌV6_dLJ;4h4OE6SUO Vs2G5)ňMo2 x^2MO)crvEm& bV SJa-B"H/?ʁmSiG)v*Y何ȯهٱF##>(#e՛. STDcVBϭ}‡g#^@S9UT9iӀfzR pø } h*iH_O?R5+`E/nGYLG{iE L}_Ȏs U6f f)`;2%"'F|"pG]0wբVu.zhc;CXbro}"t\q\u -YNnX{OeڃrxlY cyh2Ɗ"rjSSrt|F"GoU(=s rpzROsTkW;VkbgYb7^o76M!.l$='Oݢ70dt3pӔ9U6b`Hcopt$6~T׺*û]?z׽ õN[OGghm & EK؋_myq o.h|{A`5"f0bNގ}AX@?,Ƴ-g@WKշ>y1O`6_2}$nDҳE5׀u,W:ē#(Ts9ؖi7q2l!D7 Bw]Lx5٬$KS6{h ⻆@y\LiY:gAGeUղmsr `p_#Iξ|eoO* I](ʍRMnjz^uwܓSԳ[,3D@P[1.zTC'+D6W}詞}-_ء)MBk(ך1e+7Pw4 1l6!0ApXf+ܽOa/d7Ռ Strչ/7rm3;r1rQ8-~cPz+F@Jl!Z3S\^ga⑾"Zt㴂s "DhXlľreo%Evc ; V9>m%[HNLq.q˔~M.x ʗ>MEZcei@8X&5qh뛄b.Pfa’$ Y4샶F?v|ZǑ¹20b)~{SF93QBJ)2N%h*Ivb%9ew%)!,E)_pl*QK:"mC09X{SrKB&zB9JG\[_/I4-CaNP3z}%m NQ"J rdW 52 0Vbv2] xIq ldGڱ95Jםxf͂׸YϖH݅kU.09FL91)+=my9`:R ]UL"6m',҂pH睠#.֔N8\x;B# @HD&4Z[? >ϒ]@K؀F¤ØtAʜ[?bYש= oNCh@V8~Jh gUN ! k۵ y#JIJIe9C ,"5!!V1=eo .^2~Fc\8G,g!-DEqns'%8n~/1Q;!=:>]b]yĂJ0Á+QN(L83ÞOl@{))!x@>X9\]z-6?u}2uX94>@Sxnk_bܵэHMຑY+\_\7AlYmMH?IL#|-H0)AqӻC ?>h ŋR6+KjMsuX:Ȣ~^w.OI*92J}Fp(vs$(ä.O\k?ԚXֻkq [M!t(1Bz4F無nt%榍;esT횭fD*WѝF =lR†ɓ=k5~udmGWy8qd :LLq$ >4,C)y$7ĺ l@9q/>8!".eǸ\: qtdg q->ϵR6Z9b(&E;-(ͮ ,AFn4^ҭ!ڍES:W..FE(QA` 񝙏):*eD%l,mX@bњ€ɾP#pѵ'6紭Jf9Q!ZZ N/$ i`K{0ꡐt E&.\hL<m|G>^=*{F8{^iZŠ_ںиQWvь4d_?MkOw {A^TPNc~Kޑpպ̺'K)xwQh0ǕアEa,yB>!vMxr?@u˷U2P#[C)5ЧJw9em ft)/VPX=n #0w߄?hws;te[bl'< FdsͩЫ֮p>H(ARlϡhץڱ zq|П~{f!Aj_No3]fLőD-?wU˼ժD%V(Y4Ae\ Y|,|^ڕ-Iәw AQi9#py'Gƒ:q[裊} 6K;|b2^"fM,<۝.b?UY2%ck?.XMY׈5E9{G&{U{F|ƷQo̕bv_vo&R4dqє‚*asF*v~=U|*%6y:6O9.{fnk^(ezK%=1~,%Uq{o廹 /[T- # SdlAqL;_VY,A5blxҍ|"xmy;Hj$(7U,RQv}G|,C7tF$u޳G2x:?aN]cV7bb“Rz_Գ49\t*/iyaFmD7MjGuX'n3\'3 =౒WkyiEӜzG LCeTq ?7})ͻGl)6Q1_㓞Hֵ25{* 6͏ѷ>&إq:5}Ù $fHzډ! OawS=+-ZGWc? )϶F,fʏuب4k"भ\ӬYrO"H! zcHa6_\ 5 )6ͱ?7чn0_-0q5gLyaăwi6n­epL55s"4#o];?@cR@w>F)ִέ%Lb>sLf$_@AzN"Ggza% `[YFeEJY7Bcg&S!'Woq,idJ54D(< x/Mܵ`cjKхčmвszfH1=܃Duޙ!z䄮w&V w0lԠ"3% [E3Uаn5s{i>|wLLVbp6]#<.}&uP+4?)%7i =T?=HoBz_(EQ4ӡW>4ZZ]7y)&wsOQ-V!Se'N -o/?G)vTQ]5+_H|[e.^g3哸Ռo~ )j|E e* {9[bnf):a_)v?JYȜ(n_ceq98Ej,"ML 1/98Aϸ̾Ǝ#9Qi)q &Ϡ)yW{ ( xfrefAq;JBj&KWLrq+)l[k5"i&͚&yϪei{~ ]cS3,M nV`.Y#*x})Ұ1>EPE"i<z3`w%U('Mc,,,ȐպXuU i@ʚnkqe8 ;U29QpMπ) Hx Ⱦ08|j(ܟ0!v ߾I&leW曠 B'c/!/ayiw,D۴ CI@5Tb#~J1~eH K_ΑUnz/qU zW N(k q>56ӦN4 gxu=&~:7smF߹ G4o?zYP72*Y7bzu[%A'_`11WdeZJkT\^`}qo$hEI:M6?˪c|L" ٽIK̅63 =;")ᅽ(wٺ!Y0־)޿ Lvߠϴ~t2|F(xIbi : C[[EQ|+Nb:Rc}O]]5UG.I4l 58^TF%\rz WvRfEl:"ȅY<)f*C;bb z.?W_U[6 IP-=g!2z9sR%v~N߽zY 4%aGvg'Voͻ,Oy-r4XXRcVՊ.STZY,0@j~XB;OhUwiUorJ9z7%gmL-6^|Ȟ0yQPdﳇ ĈQ8Zđ0sSŋBYb ´:W v#ww MB [tmb]R; Q1|NeN떽'rL)oƏg_:jX Bힹo3])j+$/OPS,A3<7a&e/ޡ"iclf8Zase`]1v\Q! ?RS>QօXJ={ol5u/Ʃ :fse>Hy )7qU5C˖(GWsȚԭ2@@?OqV>ې:zXGΊkO`ZF+B3M%]V%? I躓IV (Dlq`ү`ʈ8(f㐚xI5k˝!kGrIV -G,cͣARǸu<[ zk Lu>-!bYѐ<ɢzud?XM1H*"aVUu/˕ @Hȉ|Wlx liv2PvVR`|at#ē [djrT~fY3sIsJCuuvoAKf-j?p1@/)/)'i *֜t{$|ڙذѡ$7j+Cs^%5{;Nˆi/;aIBv6+_-O!XJ*U*0Db'[/JЍn11_[bƨ G{ ]0"28wP0S81.Uj(*4)C>03 3}*.gXgR_OiT;]1G * fkUy`XX#—1@|Z7<`5u\%m xi5ֻ\$\X9,^sش"ɒ?ij7mPqwə9(~~$cMj=}U,Ѓ5hkOvon?"x|/cg|[P$bs_b1sop@\>e6?|*vw!v3R)ЗFe5kGlp0q{>TG!@6Sbhu@iV+I”*p:IYrBP`W=cK`&C6'@S$iF6_ tYu+1v\ He5pn, L'4y2ZO=h>~rO\ p3F Hn: _Yd/u[QʊpL58Rbi/h qv'fN ciw8~"$W]Oیlu~ϭM$tёHrތ7sM(jwG1f:V"A>vOLm FPlËV@FD,CE<ĭU )mۛ/ ]Ng{5v4)mQTBόO$b)Wci.-SzҐ,k}_%MRM)lX`y bEH7*;MŇx0s,w\ʙ - WdlZ`1?`=[Ih*poJz;ek*>QSx>w4>$f#%zQ99*K֤_DA 7  iI.5-xyq$u~֮?B~:e|kW' yx1S|I\XC3,V@dS6ymܘK (-t?s?r.͝=iBv\.Ys8]?tr ԃZIgԂt##Q^t 0FR>,4.J\Y\],3m1 4; gtqG Z1䐾9K-[:K?GZ jtlXq~B;jeȃaZa䈸Wy**:I-z1gaʻdw}O<]#OSrv2:&QܽE9h $=Z'JOdX[-[ԛBX}nzhֈ6}V瘳׬FmGNbS;EiL[@َe`b<yG$ND2E1،@at A!F0kyaQIʊa]Ļ ]fnd"HJQ2,:yUŮ3mlDQTL $y2v]噻`-~m:MCVa<%%2mcZd .@L'q[&"pa|lzTy]64?DY 70l f,S$#ku팎gCGy%?&"@YlhקlFe0`U0I È|UWцqCPY~^߱3b@u$0I6~S@0rdy(6Qaͧք!$su :&̜NZڸ %L.O@#jR߅?A~;+lmW݋?gcCji|HBd%s|M4L.f*F<-v5h9p64;ULyOmD;{2ԚMP5ttW1}yi|^Ns dC,`JZ@8hIy_4UR œs789km2] {4Z<Oz/0bjυ^ [\;Yk 3qtZ%φQ_epC^mk;o25v)50Q Fu) r ?< Լe 75ءq0ta {eЯa ĄM=8蚓Iie] Y%NQ1=4LQcj01!0c.]9֡^~j(e>!|#K(i'P:u~(SޠdP{p뭏nj>8cmft?,<O61Fg)~.(Cr؋oxn) ZRȔL;"o/1oА"[O.4|7"Tv? B ]xe4٪5[U>2i^3Ax,S\L>R!7B*W)>xMUD[A鎙7T$Z^ J*\Ezvvw!M!tݙ m?jƢa`kYa`AdU59ڃZ O` DZ_ 4+Zd!xYb dm潑2M @ϯ  Olۧ.ѵpyĨQf|38bJ_,A/&vJ\% nm@B#{ ?Ц( W5*,˕'U/|&tzKWdޫvZik ;O EˮC{1Oi(ѧ{O\P,ZzIQG )TesG:kdBо1i mT+ۈMv6M8NQ2y@ɚ?|Koϧ"=rQHRٟ PQݓ^ץݣ]D yEUe`]@ 4">hN~̵^ajUlP|=zlߩ8S pȔ-F 20f.#|"eUPyA)Kڙ8wQЬKG s!Lp8DM#37tҡ (yU Dɝ(U_%XYC ~ jsRI-%,z]?ϊVaUfPMcځx k|䐶iv'0Q1{2lO_8>wߩ2 -L2@ ۄ.$ʭ *&ͻqk~Vh9Ev'9tQOFҗ`(1{w0N!Q"MR̉w!fMk?=T0UY߆|_Bv1Q^t}Vi`Wd|:jn$>#*V;?{m\]~YP)V=b'pbcNan ɅfH1T HAg-ݏ_nfg'dhsMu F\nis4 &V^Xߞ{H ae01;).Qf qYƋfG[\ÐaL+z3+JUM3R#Jy=cPZMX&L9R9$j%!;e=kl.$yO dQ6o&&v,$EApEThV6O<^jL H߹+x}ۀd)٣{uClR٪mOxuU6LG0+? G\\)$)&K֋`om7;RR!旼4 nz Ԉ d.uATq>:'-}ՊH7l_[e{Wf/^3rv|dAV: _m "n$oJjAK;F ܻ}uJ!4Hmh4fUt3l+f# lu~ej1RLHky;Z9I3Y6~I7>d~w$=" s_z5+tz~ !l|uHZ5vtEo(m8EL"nUeO,:j^^*B%v&(yePfaQEgq>,s,26MIZeD-va 8l#6C'Tl,wQT]~g{enI5Erzy:D(DCTqm!A#boۓŞ7˕>ɷLr­j0tsx{QpΙ#AE6'f|93 K,~9 .\R" ޞy75L·39:kM"D~T dHߙ':x/ZPTUm VD"UPږAGB!8tׁӷc >˗ v,1Wbix{5_{UNqA4G%^FdM6M0)İF]"Ly?^G=*=fo[) !gd&U4$So }`G jp0'ҫsUuoS0@r+4LmЭn5W)i.u5y ht 46Dk[{) ~UGV!;Nx-GJOa{3W4fa_euȸߡ,u2TXm~0THW&tG<ҟ)pC}BGWY5C F}#/7vybp\fhAss E5i SgXDB[c)DP ddkEWYa*+/A[` idP >oKk0]11>mWk#1 Rtꢆ_ճ,k&R.òUHe\=<U>cR]gXOqfc>DkkEFgyNJM!xsG0`ɌU>㹡?!3w(۪*D΂=_ ?6eڂ P] pSc L\r]gYF$?^r9L<c)eWhv(6VgђˤP%[y۵=ɢźH7܎5V;N~!k';NC-b;q1e |BANw-*z5(i9}R Z!7=>Y 9QlN+t0LPFfa|p֧75b9iY =*Gg&70ݯzK"?n\Sp+Sr>Uя yEJ?&ζ UykȺbɉHHf~ ˬ*"Y7w*~K1y%qte\*/ Zpq.sAZ.=r5ܹ dp1O;p҈Y}Ye_Tn:(sIelhYH}\3 <"~[3m׳l D5Twh~ .9f z)}ɏrP{]c~xGT'9Ѣ&m?_F*H4Α@UJI,KՖGki1\⌹[n+.VO>s|Bseda:0}e)B> ,7>BƾТmlg o) 2[ԯyb2By.e<{[+KW&\-lٌ u*1%N\7hҥQͺ<sv#mT&)l{ɮr6-~+`y: VNC|ڵq :E.6%IkMSXҏ:}7HMIM+xJSo@Τi`ӥD ~TնDeYyZa*H鈶r,}̑8{[왨N+\`1~qAB>Ͷ ;.,MGꐐd44H3<تQk !$f%2^+hHnՂ 󌧕-57 3c|r 9p-@dFzaHʢhH4yN[U=֒KYTly=t 6uw?[L0p;xA Y@#@sG_Z^mU\7FyDd9ng?j@ilBɡn2 ʊKB:,J@S(W}P_`M: S?+=v,R >RoU9ʓazN7OwHTV8sBC]򈠝H#s_@JzrA%Y`ׁSZUC&YYV!#MLjSS-`mv"kNJɖ^ܮсS.bJyA:Jop@)LΏE|*|32Z压C 2#l,oW3N8"w@+Կ{k^ہJ?̢ 4=9`x &ldlE m1_X\q_ٳ[d5yymUȽٹwO՗$R1(ji/ M@A/I}rU0_|:È@#9q`EIVvx9%㩅-ʍ^}x߸La-F{x\/I{HrSz 뗄nӶVrCdEZ8UOϪ2)kَ] nkWHlڰ DFkK( )NgYZ=&ȪVCaţԤL1  W DL+80`ʀM/Bz6>ǕF0볍Fv3,L^Oo]W ixX?6 ,$wrfy7vD*k5~q_1}TMzCs =@c:689:A~ާau ,ϙ3gBhc&VR*Vu˜ؒDfzF⟔YEF_y ou2Mr" {oWï!VnT/$n\Ml.`fF?8,/:܀z(0Cj;-Z\deK]^b׽hT47ڸoZe)I{@8#aMb@_1R1z L5*7>2;Vb/U^~ I ؔN^yzmy|Z 4 Lb482+ IX0*J+͔_,Gh =yύ{}׍mۿ1~) oCUpeLkߜds\xu8r2}|N->Po(nw[v=0\+5H+]I]T>t&{䵜قW̰c0e&ԥJ=8)eC$okay%DCtX%CSX~JO}o* ش d8$'f]¦;g4^`N!qazT;<M+_<{G10ipQ9wЉtggqjUz~@S3vN Y-(/Sݤ!chN=+09=Z宊蒠 EzgeDxŸ-T>{v2 DhE3'bwJ.dQw}WwKauձ7uQbTL;S@H`9λI&+82 ~2MORKɗie.nScO =Von/n| F` 7&%y[:"|-AeA-5dQ~PDy'kV&ê=CS<v ©T3ŧWH=XjU֏ױI%cc`o-D#V=@p'~y-x *I6|Asz[ݬa_f1A>WFra36ԇrOFPI. W(uCO"Dkƒؒm6mzN)A_ADRBQ%loz;Xm +| \\>Tt3?b4C*%dOۋ! qE=֘sⴸW ]-KBW]~ Qh,C0 4TAt?LVh8OoïMQPE(m}A|f~ⷉ 8KG->K+6XS?F4Զ&S1`i[Q1~i1KHS h^W@Es;Dv_uo_ rzj]*>T w,EeqlW;3yO7Dː^8㭄.ତ3W){>B# =fGYUxÞ0H}z/I*mAz6&ϋ/q&#Z&JlJk=MMO6$ko_}N5S\=%0Uj THu<'ik`hzOV] f:K|PԜuYT w kRc?KƁHT4'GhM|IVM[l\AI?oɚβC)W\Ҁ_6~'ڿMWbqL,5s,=nIT"LaG\{*S 9'ZK7GxؘB!_smTcqsr!2y33opDsa_wDK>ˈDxqYܾGϨI~7JNNbҐyOegcy.o`PT?NPTs+ZƿNϵ*|6>JyR~`|nVbMPFM7TESv"zAXPG~H V3)YNE0jBla0N\2g o1CP#7 \ }7|oIjR韦R/uwXbSUz্i$<Ţ-3P}WX4:_[:.C{BTcՙ?\bv$\߳OƘ'1yH:|OYE1 VPw0~ dqכU;-*ێ#w^6ii1 oV;ϔj6zaE+uZM˹^~bn~ͭP}F1L~:LΜ^^7wVr_{tBxlcʱo`aA98JnWmYE,5[RGF=  q;9-8䁘S(4Ƨ1;Ub|dfJK?C}.(cf5&$7 -); ~*;tja~cQ_s܁qޥ,t|\1;E_}!wo\xLaɘX4;Wt+7A&U5,\*۾'W"ȠA% O⛛ܵ'e!z`;jX 4L8\ 幕[_~-wb<#O[5MqlzGT8iMb,Ld1FRWUusŻ;DuαԄB!# 'z|vu`zْvVn[;\UeMN`;D'l LH4N쌊(5ކP4rNJ˒-xHRk MD-̊S[\K':e<h oVrD~ |p~PN2Lē.0ĶC/J&*[@UXwτ f@PN٫PmنU7Y`'@ԁ?h;&&/3ь?K[ۍD e,r (ͱ[pla,Nt?(Y)SgbfVOE]1˰qȯLE {,t3" dXp!6k=tg%wp M:&v2MeZjN.Q~(`7THc[P?Yg5%UH~@$ jgYZ4f~ |BN)a8PZލNt|I!_[,u;j-=U5z~K\5md;έ0`)e_ Fy:~Ho+Gʉoi|`]͞E : ge;=sWdH،4SJ*P+*4u$BF4gOln7 *~d/Y=*HLnh]\Q_a! HYa\u:RB+BDA|NY7G͙i8+!ϻta)ǔc' IN/9lZDΏD0nIKAx[v$7|?wWq.h_";M6b+ƷiGiy@$g}ڔdӤ3T*"ΘsA0E’iK8?fR?GLYU" 3ݩ g/9[Ƒ# E f;#mq$Sl7v{gBup2/͓WbHEdr#.cHE&XXv{B$7>S9W?5Hbl:܂ӄ/ DԾ>uA YݴT[ !BsZxezMA^7>'f|8j1ǽk/Xk|A_)l9 \6FߦaH4*bLM4]u0$k u&dAMIJ]Y!{֠o2/ƭ9qwJ9ڱp.z'_J_ 9jPk-]| Ll!/k4 5Xl,aľN峅_q`|yEGu>)Rg҄ҙC:ׇ:]/dxTo 9f5aL2@v']P6.k*jُټp9RojM~f{"^Ē&Ij,IY ggyABxCABX`ن\uC堯yFA81 b" uj\x`!opTR*҆W_|T?+E ?\*QYq2 nhN(xx3J*va4ٛ`P|iR亴ӲJs vJGzs1N4 n 1]xu{]iw)k*vhj@D1ꤤeQL-Yr/3tgyaNg*栐545|J0ٽWcdn}u[ٹt, BERb:9fS`5;IJ+$]Z.q9נ ǁ'(q6g`0:jIA_4jhzI)(ǖn&b-`ɼo\ūzToTNbmbz{,t*=Er9/qg UFv4X(NK3u;MGcq]G_e6c[xw2~4E']ݷy h ?.JLէ`y-ϔI%#铊wxRn#ez}%%^K8!CoIeWy)_ i땿X%+#{x:o,X EL| $ҹH+Hj~ n%kGRl7 Q],䥄&c5l!tkhmѲ;bd8~9y Ls]>6W$U f &>E -N93,GpV"kn=K*308Ǭ.Iݔ\Cյæt~Q(j9Dm@Tm>8_^Z{_VCjZZA] 26ĂTXD Gn΢ Y=E˧"08XcY]N4Jr k'KG!פfn2;i.w刍2~=`7"sE0EQ 3뻲m)k=ODrv=Mu\<. r | H.19GF Ȅ# ;k F0@JeAv >!b~]|i@ \'Ge}+qb\ɞ*tCZ=_,\72.wŃZC鿕F@u2[b'?eO?;7)˧^Ԭ}ū<␛aХXU;4CudJ9SЀ௲] f-0mc6X' [_!߽kP%Xq XݯdaؿM :#|{ďln"B `zutׇ;?:xwX#9#Լ2ݐ)=#_v!W }09ܙg,F \d&I"V_ҕUJA+êM%ꢖ> oXpN\͠Zs6XGd#>2=&=rM1"]6G P:ĮKkOZQUtϞ:\E!TV[|ҏJWAS|Ù4U'.@V~NSG(mr.p'MZ $,_@imA)"LCYʹ=7̺ 9VM=^L"MhZGAÍ503m$msf |kMd"]@{8KmJK;J$&'fඹaz!_1<1aVM`=[~xWFЗ[RL}T 3C)m|,j< `OQ3C5dk(3 c*3s'=El`J̏U?iau H4D6=Obf7ƤJ bbq8^C/Np[ Zjed. gHCד][TG#lm>.BPfY4핺Ǡmxݑ$G%C6UL#Fz{5]X&ͺh)Tr}cˆ5hH?\h | RBq_1sfގvd4tS>́DPwz\Fy踱>McwQhӍr2YjTQ9ZtT9Iq=ɨ.V DZ[bě-[WSN[h*5Co}/cØ|Yfl 4[>Fpvn$?`!q&Jg艄6yB 5-yvߏ'mI cg&{q҇cagj&oBr[Ѹ)РՑIU6D4Ժ:XE^z/To-=SSԓtlX xl"[cٹ$vFއ%pkk|[CD_ qr(o}S QP2ڞ F5*|Q !F\MRotF+@4t nZw=0{6*x~r@RHH*(BSc) JXS4y`- 媤ih07@[iq:Yr . ؚ`˓H`j|EL\! }_6+^=P27455VEabl݀͌ds;ͷhLhٰcwC#2qbo#z{ބ)wmK1C.Dq&?/w;~_uvzbt j٩DtY;Y.y4|gzs&) w!+U\F NZNYuU)ah(rip݅7t fvkGܕԗbVx#KR@ׅBc>lYX=ک[jȶz\{g"&8S5]%!gd/)S*~\HfӵyJ;\7{dyS[}zn\Ҽ$tbr 5àI ~b?K^5"uؠ(BM4A +5Bs" 5?!A*>@' _W u#m> ϼ~m@ѨfxDiй&10F{_ڞ"B~690Lf%?B]G0CfA*8]E_ ?ؾB.BoO^HkXQGpײw-C!Qahn\Qo r0܉> ] ~!pM>1ExK;]uog="~\X'`X GԭOhߥ"<7  ք t_$sבͷCz ȗ$C+EYeʪú-q]I7zGK xqzw4IpG܍`z ~( +O|5ꤳDyn cn-}YiLBF_!WMB{/"%):M0 @Vm n8~ jǨRóq@y+mn$O!+yö4ӭ1'NPkH۟ 7<4Š:!e >6ʼng_ .*@e֑#l0$5?G+{To ?g5>"TO R\egE^+)hE֣C*`M&pfב2 ]8=>st2(@LjBm.xkGw V=Z+ZƯU%~ͫ7KY˦@zZUҸV4zr!E_ij !9qsSU%.aycǔhh:(9%LlH  ^|Dvkx۹ݜڅ=c]e&}sAmx:W߾ Ww/h {rnԍ=Q[',פֿH Qoh|6bvo|_H[BE 2axL.Tdmĺs-D%΁>BqV R,QR5Xp,;:Qy=̻ v*!QV>^wCW'7ll5zU7{tcoا綔n7`Ofa*'د+`|w/Pޭ\Jm&-ԽȨ@j'%\A1x\ZkOEy:Wz=dΞf;zSqD-hv]ءS hYz"}7uo05E7ғKǛ)dQICmtJ, hP!N*T-KȘ *Bie:Ud1E.IliГ2v:E:N=dXz52nD52\Q@~K278+jnW׻ Ol+3kdCN).64=eOH9],l( ' *{/xD?G E$̘?tUKr;[ơ[~.*F)*mXE')OڟdO \?nOʶUIb&}|6Ԟg naiBagbG->eBG&2鰪< y1:5IlQW+Xr Z"EY}^APQ|;^ܾ^{0 ֑i_\(ާ-G DB`3*LqT7|,-#sG:%%OeZBe.A撢'5<^mf@̦ M,ϗ<Ů[./҃"?>r`^aDch'Ge:aGeЈ$;%6^!rk!\ a̫;_ Y̓&{AԸLXLIӴCK+ۣr|Ie.b*u#Qi B˵elӿHm- !ZFm+4EhuD꼪ѷK{gAFMzRpE:bFUzH2͞Ӏ9K򎑀xG5G%&΋0QIKm0 \ h"L}{'^cJ}݄qoc\ /,\eg |U"@bN0]YDOk֬2=Gpg3wI qh!Ů_n꼚[ljun-:oS8kB_mZ%틓ğӂ ZWwNi{yH%xwͫ([Ḃ|_(? Y\7". _}:'茔 ~WG?Q<܌u8C¨>o/ Ra &bX?sQ '$oo^%Jg`)z͐74Ѽ&I[(pde vmq0 _mpMɾlmИy"=(ॖ:ҍ8B).mAgw9KhK$DVX<`90wJ2MzPJz%Rz3xqw]mAn͕P Hɴ8! "MMYbYέ:Xˎ&#kK]\JX4& |QgYG5OJ0/K<23RJC5T,4??)ho`8bdTOaG]]S .DEܤxΏ*V_15>9kQ)JnG"MCCN_>2g7%okvtbgF]vA7*qwsDʡ8溓of3jwPF1OƷ3z2lk%h*"eU[Wnm rXo.%`Қ1m_ ]?yZ)< .uݑmjmȜD!-z.X #Pjt̼Ga(Z$K+.C^OZdI ~$qqB?EmV:B1k$VQFߏsF w QuL{;xagj,>L A^MTN[ m[2EIaWV#%m4nBԭM(` +Ws}%i ;lH:jͧ[>?֣.QKHJ_)!惜[@[t$G[c:)4~1+¼Ѵ?0ZkIK[@/kuOЭE*̇B=Ze SvgEn/ƤAiHcZbRuR/#~fhhEy ?jT& hY6EHKWqíy@Wx©372\@c_Ts53S25+TLoK`E_= \j׏YDyNdAj $Kf$]Οurr>6*ziMludI @t;C޾!n Cve`ao*iQ@EG"fjBVeR rPi@ʲoN<`Pq"ScIδqqj$嫫z.֯hu9LUA/ʴ3WzKGكLh>+q 86{=víw^EdACigGD<I!-7=OVi <{ A8!zHƽqLW t ~S ,74p1t a#ސ4m7AUzA[eۙxs2Y^hG%_ r v!׼o9 ͷ ߝ+3bxeU2ɾڷFp݁YɖOݢ*Yo~]kXEYȵZ-ygs]= aVҦ&:Eg ZO9㡀e'u9Y2m!HC_F7sĜLjFRx=Ds)<h^~݂:/l]zjx%=1Q758 7]䂽DۈnX|T CǯnleU{fTHZ}Q9s"m$}~3STX8JeޑkI4N캣ydyx9h/i=:+ d@=OyCp~VןaVݶMRbz{o*hFT&m8Tno,n Z `fG˥춼&mIlz۬A8ayܢa1ϱZJFq\zpaF=hc ҬU QcT2bCJ?U*Y|3|"3n1fI ̄HI;Nlc,zSb JF/jG1t$81x9ţ\&&/EkrVFtǴB Aê"U#/IO )1ѽ$蔓W5\3n >UF!.y+$) 6c9%Ol1vYoW օ%H 7f; ,¶9]ѩex(]̽KmjxuTb "UA J_>. E bJd8^rOm-N{E^EaSv,ndݥR˂P7r}wl!V+@2&k嫒G*Vӳ;˯+4\MLbQ;Kmd姥6ϿrW8Rb>4fҀR[_^5"in{/xWr]Bb;[ CH3yL)/-` 1i?$b4/<O#|-$1-կjt2s>'M&u H3;WLd,bzɶ|oʣe۸zD?̑'R>tU~+݄Fw@/}01mݥZ?x:%FW'y.AmJJOzFEZ&J9urg3 U+.H?2Qhx8m +l=sE`?ڕeQI !4\F,#+p}BA'WwY[Y*=W*gO,׌j^:Jwdqa!vIc%N c%gjQU \j!B|:ں3+\;jxMrEXUR7vm9c{,I'tۣIc Dģ3D&bu8Eб.y%C|Nk|QN/v_ \JFĊ_c_1}]T-b}f S% ~2ʊ1k}ua+kim}\oehxPrI WIs$"tqN#4;SS6w{iu&tY7ZIVs 3xJ\/we!0k+:][ reWׁu'Ҵ4;x 0ZulW et$lZg9A%Vۄn1N7mKuX-)N)OS7L;ˮ=(?lIK#LPx#BBHkj ) LCE_6ت3kUS?gkpE(s)hDy7" |LZ8mZ5*-|ǝfHBGJoeGG#ʻV@ IC'@3pdr1-6 sK)qp(Myv@ t2K _DH4 7nPy'N'|() tÍGݘBV0Z:xb*'uV8wq h»9 l/I #OxVju'1U0"FK)phђ%-R96{PaJ z} 'ݮ]f摨%&f7nܱvGmi/q`S$$>VVדT(2+V6N_ 02).XKL<=rm(ʪaiPG4HDXFX?pLxV-aC ׂ,> ^ڼx ׅ`E p΍ z!_uDnq4Yǖ*E*뿿'iKJ|¾*`޼S WL-8v`VYCV^uŗ[R8DIUP>R]R: V*WT 1ÖENīeJ*;>p]w YPT (+vӄѷX&\uÙȘ#8R PXuf'hI~~>08gI@ڸG$JgFB!x[ИB?F# k"c=9* ^xq@U~``Ě-r 4om|`5zL]/V5WTеL"8DvN>rMIz#VW\4عI $"I i C^rDcE.h3e.fWzNMkݒ1U^'K0L:mvA=g:lzO;29Ip$fi[Z)/OmEQ;2yNpŷObw2jS$dglmpu7C%I:\z8 Cہ3Q`N$STfC}'k(9S&/RݝMFM=D U'9 V8šN}%AIuf_cQQ50^2U< K]Z_:A5FOԳ5rش2 *H*rLݵu ![CN9d];{^H"YrFtRVХjydN_2|Ue4͚ ,2Վ|p]J&|rΚFFJwJ_]oTSp8ڃWwᮔSQy E$æӚʂmcJ?VwLm`ui@v;;a@g yAFoA#K'A Ƿ?:AQV~x xQJ ,S"Y_8eԋ՗1}7qx1 k%O* WV:=Dэ{ zӕ?ЫU\+RÙw0 5AKþǽaMi:%a^c$!4%贒s;Bd..v{FMs L!~UOSDte艵ov{d QP<i>[Cqɢ8]iyHsh>44`p[N,'!՗"׏ל`Ju m!~C䎓Huqg\_]6݋+WyFhEB*^RW>vӬ|^6-љi% wBbqW0fǸŜ 2W!ik ӭ82ɧ_nLR,OE ZuS%A͓@v < }`_HOE5 @zXEУ\%s(MMm)x>fާ`F5ж?U+ad(Vo+Ї?=Ѝa 8pj+F] q__B!miJZٓ=3iY+#ky%̙b'щ큀;} IvrȭA@V?s'rGUL0O$"[dKޞh11w0$LDd\7 ]'A Syh;!^vL\}{CcA I+&a0q=q#$N5rc4beү%Ip俱%pyF+I`<;;yQ-!{m+9%nqÀ]Ww@5nAMX\b\U Кv=eŦ%.;o 3 d]._;ZYș (Q鹷 qR S=ɑc dkXex P/H_blϳ xS]c_tPiЖ5NW$ѩTdž jvD2P#m7}WSkS6ytw1`ÀS_ 5syajG*qMoQr 9sgU<.{H/xH>F{8fu"ϠxA|H6EKU $CZ/ު f*CE2 NȦvem+QS`#e44}qR Z^7<ȯq:KjXRs|b j".XԈ^ղꮭ&naC:(0(V[T95.J  5̸*b&m(&b( Jnt~2glTm!meU3bPrTS()kˇo?=r,⢣7K! =ڪ砉cv,+U0kV{.C_[w_LhSv쐏A>x췤=.[(J,<nE}:B*v˷h_XOeOb&ݖUZӤRXݩfX Գ]J@VwC?_fe>tȋ^C]US CW]S\On`;߆1Tb! ]k/7YGH'1ґ#'\R?,%IXG"0K3W܃1(jIgu(ٰDu CpFܽuƒw[S TJ=Å+ōj4؆2Mut-JN%2yԖ|~a;o?C"KGm&ro!Du.¯^S9Y-`1oE])vM lK`rpݜw2yDEnwNS%jLd͗fq߅6,Z))< 29ȅ\٘j6!uv|b Ek?s5Zg3E,&-~~py,ibk]Ɉ1dkR4i\geѠ0bgLXk'vM$\=$ʫwSְC}ڱgYZ *!*t9G' dHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ijl]Άxʆ5.f-9 rq@޲/&.\wR `{)蝵Bήй`F㧵ܽ@|Me`j $"[% )f:`^JA(JU=PK؊J5d!IיbF (o/ NmJ3_m\\er-CB˗g(USuɘ]Vn}(L0'4~BuVSN/A*% "Čj4_@Ϟu[Pe6,J7-KU_;;38!wQ't IU*Ņ:"rplci!ʹ4BUa\p#'z&6ɭ]@ӓTb {  8-RJr *þRi;rSt03*G) ǬL&ҫh_ k3hВ>AOh[m#XzrHã9{9)/?woY4pCF9qQژ9vv]lP?aV J҆.wp1%'%b$I+>ψwWٜ5OAyE.$d|~Ya;h;Rc`u r)AZ@[)~اPs~=L¬YHCK&K)f#+:= K+6`RwA-uNB+\֨b i&T/X|P)AW+a@@/`D/TL-OSǐ .8S% 1~ z]7g6!{: k=\ߵU&ǀ.`As_ =! #ZHKy21X_CSKR"ωyݐw7 NjzGE >5RI4b+g5O_yv=7lf{& =O1 qJCKql5ߩy{g%)RŅ ͪpQ+' L"md][!RgŀU Ff.科RS` T|i<ˏ}C>rI 8<иf>fjddkq\o ?؁-#pR\۬USem7b:\3\Za{2 N r\K7LuOg.#LoVۅɅa4; 9O%C2,ᵉ>_.zE(B ?/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 1Z:M2Qs@ sDq$l4}c9.kzw U^&$@ptHjRAr{99lWB<==,&iE"Ec$Zg>[XԔn@Oډ`!{`#m"uғZAT̍`|>*H{ƏRORʺȢY>X~~VOm +BʦxJnA7֌Y xp{4[)-鿱YyG8(`TNQ +wsn@ =AKAB1 H֥*T:뚱X[w8"BL3F4;o~?BDFJ7-/EJUTy3H) ݥ4j +Sʳ"RVu?5&ohA5ӹI]}\jl踓/;o:CZ2XʷZƂ8jj KnZ;+Q>_rfjI[1`od=)yJ ]X4y@:fDw\7@9m`iR"l]̬ mlp@dGT;'4iLtB ʇ u)ᔞd} '09"I8khy㓥,DşL^%QZ bU g1ڐ^DSWڏRT خrUp ]϶zqw]ۆy ciAXϢN6e~#XQ"*prE^W=+L9ܒrot#~'5E׼E/b2YzXʴ Z⣉C6"MasO_.QuL0.O'g} رT{cCA1մO1# Z}A׍r0[, b`|o6'`qjތc' %-C&x^),ga+E,Z%/.aetOʽaSɼr6g,>h>1)QíǛ:i~4$zũЇIߎ2* e$26ₔ[dPSnc̅_aTgbh]4YڙaME<X.yPOe`ιGγ#EVCp"Y;. IGӰob.ٜX̸A4OJ"rA 6岙 /(iVVeɚt!kd`c&@)WhfPFg(cdD'OjGBew{ytjuEkKA$ ]s8EOC#IbwX s 4\X'jRk"@o/t׀ H(H: D6_R8F[p->\6bį]4eybɠfC+ђ ב+:U6.um7ioh~vOJ Ե78wf-DtV{f[4чA29) Žqŝc"3XgsHSQnQX?u$mANur_^nei+[f=_+D.L ΁O9HCX'ʜelM~.zwKk ̓nJNj }qd:e@f uyx[6y&AD4}$j-?W]n#kL cbA2)ڴjɳfGh2nqjBIr\Tw_%{GzB-}y,8.BlrBySQ2 KweW|eǞ۪`[D, &*PĢ&v่Gj!81g/e1^$ #ݸcA2~J軀!h<}o[=*{JW5>ML﹓kBM״0onTP'HXo% .Gka> ( <)H'щ&-:E|&rl}u*]Bnʞ%{$X&/!HLL68⠺\V,?fzy_a tBlfye]X{(&ںR[wPpd/87]~I?L]6PhȒ!bbzʥ<2d>+CIޱ> 1rPvHƙɐ2<)F :adS-tPbB^}r"a8x#btJSc:N™dR+y+q^x)-xNVSx&Por'm|!~1OVw4cb3a,PT䳂cT{M"}"RcG7S/5-!0 h:_\@x ^ndD AA1*j cl"B59 *u̖O'۽p"YbDq(KcDܛr?ܽHdBN`NT/׸M y#Y Ms}LKYncIĴGiOcZsϕt+a90\g]Rc5A׈~SJH桔 5br=mnJ%(=7Mw؋!=X`0ldQ놃vP| 9b;.ܐ8z =aUWQ~OTD喑6‡cz _pJo?M_Y\eޒ@!@WmfeZz(B M]SLEb,f-m(f$!!U-şM{/0" {kd-q 4ܔ޲9>ѷL6n+Y0G[Md]A:Hɟ8^/{K@3Da},W?>TWuU,T_3Ee&%oTJ49 |z8hvO]qЬyR ܀G_ogkO;HYa2]ˈ3z¶O%6l|j^ Ik4v@8Gow+U&͔&T>2!RcqIr a<[v-IL/ Y{<94U0pΝ"eB[4%i6O& #M)X xFDAsaַc0Jt:.VC.PPF0i]MGM=F.X[c(7H` 8{ ޛ3 >8x‘9nn<,m`WZ;F݈z-E3 V5n'iZqՓMuITWzDǸs¼%ΫWXp`;Jb]}UW?tLݱS͊҄wyKXgC  C\MJvzp?Sv6^ަ!7i̚\(n~c4͑7: W+Nxa}0nd qMJfx FK-4 'OEZ)vK-BuXucKd%9a=?fNNOYẕ? S2Cޡ}L+NZF#kZ; uߋ"ǝEe1#Ml3gw)IMðC$+I)rBz Ņu/Ί<,'z`է$K\.a>s ܬ5WU4t]y[Y'2B cS\D=G,Te/|m_%$uN*_.b; & VE*d᭽M%6M,Ѓw{ M"yd:㉆abл`'aLWig6 `eX4>+Q4Ҝ"a'C!tO<\ݾ\PzܮG)!bxyX9pNicv)ZYhj?>IHEW5i>L01<W[U =OMs'5ʈ" *fWȊg+RivUreO,kaB3#{a삟gTOǚxq i)E}Q"WhcJ׈^cΫ!s.6 ]0qeX8b+k0@>H\xv`+ ~zO~zā|wf7mhIeSp&**(ࡊ(Z&ukv20h_K<S.8'>@u0Jyؙi_#X)":u]3nPRP{@AJXtG#\ 9 Ͱqڈd slzrA36C|Bnn![vHxCFVfհY2N'CClk%4>}nz-rtZ 5xJROˣ*87 *y[#_O߇97W;ۼ퉶y\q^$(T8I.i1;S^K7UWBӌ+:/QCi5-С@O\ B$ z76G5rl$7qƂ¾  h15A;z@  8*hKx 6D9rtǚcqMkxʟJU *UwU-^f틕|xLՖۛ`[ɭy5=ô~ Ĵbf3/9*i:e fr#w4byv4?~ܑ A s^ޢ1 Sώ`(?,"ah}vts)=Y+6ѡb!Hfo,d +Us6 :oܾC'0߈5`l=i0{Բr{Wsx&CBcweP+wʚ}4B #ZgާʕKx2߯@lZ0>0t`H'8?Y$?^~O*qeM{C!"C YHA0;!/K~Sd+&mt"]9ȴ_J'%W+=pΗ"/S?Y&+ܲצxW!$S=6b,R+ʴ ;o73T2Hvx2W}=)ZhZ}MK[-"\R5,$LH:"#=ϕyNU9jFB&1*A^PqQ +xoJ2t.~L"S5 *]<Ӂ?Z|-$iѥ+5DK+߬G$4 W]; z>:m#"[FE> :J(s"&[]?4lJd Ӗ>-]hx aa )jTJm?'מ5}ò?f"yB׀7 ni`y!4?R3bz]uK6/7lz*/>U*2 h=\8itM-Ilss@ej CMm_;K^ ˧_W k6!baj_[r!4 )qe'?͕XPr;zԯ5PwMUא s솇HNlSxD5ޙ?2?FAQUc90x8uew` q/ء=#'TtBkOG1,qp"ޙMvxMXoAg7^311aZ>ŋ!$ѺP5Ы0fdĔ Wn3S&;CJSi]Q=X1Y_r͝0ǂ#}JhQKU6n jߺw2j7d sW(sn<77-k қ$&FP<ݿqB6?K4Nf򋑭6$y{>qjow#2ڸ$M뱑齌^9N˸O# ˟h 3R8V/~쫭^Q#ޙH ^Y4 )u:{CƈݏdmCmYb=_ƽn:ؚgDmfT:r.݀v($Bu3zLj,=>x}%" A֘Z^e~Y.Q%o夙; 0/(_Ŭz ډbR@e~;DFɴ>EÂgqF ZKYU[ s<|`7#Dp`ѱP A~;Dx_`HI2&nnZrE.Ӹy3~,<+O˙b]Kq ii:X/"ə{ICJwȾEBd^0k3"&:'}Z<6xaij80{;ClfyKg2gqWrs|Fbz6~h~"!2t~ d*0 ɲ(4{ᒬᛕ;aSۆx1 )Ɣ7/ܜ: l5ST6YPb khus 0zo&|!8 Ggvϋ(ܺ cZDt0'뜫 ".'ͱNJ&d]V֥SKG #[kf =k7õ86fK!&D\+ceF1zG}2c_>w?W:u!\%]V<܃M$_d&4}`s4(P9mJ[i&px&:n|5g#bR@"(K־@\KרLW$K@Ǟ`爢Kh >l ]|pfJkn\~f*L8c$~F?eUURrTa.̯F:խs1; Z+=2` nۣ]Hb^u#DooZ[*VΈypШ@׳Qw) gNg"MXjYDmk|K.2RDph f=XᯉԼhnx_O;A_FàDrm}8sC2w?֚r b/dvUVi\S.Zؙȟ 'HkJg0/$Ewkix6P$/9^6 ˄?P+D$Yd -QM=0mC`^yZFTY']Z.% "ΖL/iFG]ix?y 0}\k̟)fTa.3%w{a2j+ח8SϦ2pPIFr_wFǶW#YZ@'Q\nn 0E- U*8?iV&)m_k0ט33^x|7&NPSH{Ј$V1;>(=`q\w1Cĸ hP=SnPzXfBv0@LS=vl턿K¶sh=27(zw%Έ" pc]\Yei=EXhp_4rj7q_L$޾1DpLe:fh8e ~=LvL*D>YyRʈ.ʺ ?֎Ն]sؖ"DvRneh!.? ߨ6eþW.*AR>:q]4^8\v 1"2Ƨ/AP<wWF1M!n]jΊ /o"_ k=z^D:կ]_Na. 5|$y),$>Unx 5 I | %`n;ĊSeg5*e|$F4GZ7㷸1s]d^bb*?ӯMESk*g:&hs:+| ̴x–1DU$sE1F5lTj|]$:Nw cqG ~ {Wci$1R,ښY+Өg*׵(:`1 GDn4ö?vdemJ8w@Lx8N:gЮ?Z5O܂d]z0ƪ[n 5G=%BVn3P7"WW(5c_}jkc-CK'&OtN#EVQ]U `[ fvܱ~|Hd{;+3Cb-" qn>IGނ^:0Ʋ>k`},~6B83-a[6E}+.-pub&R4FA5iu~TK3| ~g" w [ \h " * A@1) qڄ;h5K-?&̈́C:4-](5Qւ+4PjO6i?*H4"Ds9~<\7PnnQPf+;n 3&C,'>rM^N qwȃdV'u֎55XzdD.^Uc"c̯gRtjSxC2i+⠪hH0N^@FSR]S2DQ%-e(d@} _RWҍnU`S 6)k@ǩ+aS anIOR(x鴸lpiD2}, 298<(4uR>+S8wjQQket㙧.77=BmΌXDd>z`2Bgbږ)IJMWۋZ=`(0,beՕp eU*j'x#L(P#򐃅A!S 7|u 1}:.O>3pA[aU; #*,4R-rL} khW8 vw%XŔ8b0-K~oaV"OgS7lj Py`O x#ٵJ۾gb>[ ]%;vyd2)„?E!i$G]:qqi\/͎H~u3PC긟F^.v TQ6Mreے2e'{p5U0 w51y8rRm'f/HgKxG i9`C_2A@{2ImlV$ч/$|;//4 L<{W3.oҟժ'5_j-P g.zx+.#mCeW 36Sɗp YhZeDru8Jnw`by 9$64G@Az1IB Xv'HAk9cH*v YdG<`uj^w$[1 ";#x;AlDz}h yۉmeIB_u3dqȩyN&mQZ`k7&67yxZo٘x3CGj]ڒhg̼>b.kSz#g'w ZLiu 0R[; _x_54oՀ]ka6SUFЗ*w҈gVͳذF~m?1qkLy1-"䠿  ϒPe浾V^ ӦXTBn{TMGT;V]%Pl<OѢN`'ſs2tۆq#y֕j(UOvtnbGtl7H{;u5 YX!@-v:oȨn|W9X`s)8̖s [mas@0؁WVB!e /˲aӷwemT2g2WbŤjWz+譽B?~hQDuoR[/g1;jND%B%(w Uٮ-;, ϐccqjtjnۋ2a+kH5Bv`IDyB:%Mp>$TIOD ʝ{&slixl9 {_DM1Zm(ģ.& MtC"iG3hhvsïLrQ漌z7b v&y: h37 Rx" 1Wp鋟#ۿXґ)l(i%SS]QD b4E"WoG &T8Ы ĪH,{2Q̫6+zUp:gTXZcLhSy 9sczˆ"TSM[{j;4U~:`k:Z`kYƐ|Y_5 (ЂRuE!r &-gy+dڿtE/Go`ƒαބj*ޜ͓a`oRַr\G=7PYK^ˡ~玵wP](/&µglV~*^ O N=;N6ˎ4Bgx|tsuy'[4FteJ 8 ֯$I%džҝ̖,txi|})F1`Þ <lLKHT_s/TxQeJWSP{jM*1#j-PP/PrMiC>Q[Cƥ#RDg8Q.2׶Ta Cj}]QIOEK#e҇)j#o 1\uMT 86#C}@I)R\8=' o:R]1Js8cmflK¹ 7XaA=hs??[k7bK|e06;qqC`{K' #tdȪ]'3tS>KkaZB;~#0MnnW׳[5U %Q;C|7kA$lSpu xB[Xc[}snP_G+潃c J?o[Üd?2<0N|Nߑto[(oN :-؎>ƫ9Jub?mJN؝V9T5QF &Eg9 {bB9 -:$|,4r%0sVW7a7֪d9[ "BEFu^±/rPpF *$98>CYHm~(z_!bQG\m]bD#LH=f~`Ʈ9q*, s4Y\l>P+=Eֹ#SmexT &_a.bgn+&5!Oc&D!݆תd}2J,zG~B| JyUy*LAKS|Y[xkֆBX`7m)&X Y%s0⹶w|KfmA|tt}7I{ZdTN,JPtbR&N_z_'t1ÇS6n@`ivz\k.h*K{p< %,k46>K/<|ԧDtnz%މ+OE.Q_2`|L[K.VN%WDT?p&%5o%\Y.[9/;^Pzf:G2M6^с-w\ ƟklL+b |QЃUJ4t?#G^eV?jV,Rr :Do^?rD|+(Ф"bqo1 ##VP6Xz}"v67mXң,qQseJ;ŐW0[C'BV_>Tavw&"NtC:%A\l_hطdʦ(FHNgik~ PCmh\rF@/ffGr1W:u ޺VVl NWd D)Ϧv¿2a4%_ ET><3cҪj\[l8r~$@VWP6|7~4E)ҝA՛A{!|DRɇ՟2Ԉq.{Myg#47AreQNZEcd;H] |EC"1oSmT@|(\rH]D&(+/˩D!H#dO9ѳ;~Q ^>wW檲Y Rah)egFʇ̢IkD<g #s/~>amP# aY·gI69HB}B^E`DZ7Te'mP)@و"Gd0i HZ|^ڤ瑫ebT@oE.&pu33#d~9?o2>؊}҂{rpH 抑UNnt{OC/%t!Ⱥ(@b+'GxbM.t-x8bObxnfsLSF(Sr4`t8͒ :tTa1\Pa-\zE@wѠ/aPƁ-w [1 Oۄ4k ͫͽȌ1ӓvC[MP sTD;.߂U6$]}jFzrƸw7^Jꩭ,?NGg51 qA=t3ޭk#@nd,9m[AաC:A 6nw "8,ƞЕW(wBnFXyTjK8X/j jv7^bB*MbH=NeU 2s@XSȏn>k!O7dcƦ4y^8O->\u' %V}X?vVI$u&vtY'K 3f($~À6)eCN?s]dtuOemwGκܨIgXҮtR]C2s/.u*7I.ZsO/c駶b1 GrBxQ CE>1CQҿxԖ53Q,T74]R4טּ"40fB%DOPz+)v- Yb!"s-F0{9c\.=6)l?hz#G`hj>d(KN%8⮣L=gz/6#T\g].3cȹ9?^͈I_;?4`??z T}|DY*pTlcL`Z˷?oIc9 wXJpԗ\x 2UUwJ2PբZV6 gznGEǍg)v!t{}u.V鹰Kj濙P5zRͩZGs(ȅZ?z)=nuGduvS1}9sFlJ#vp=S>t'33cٶ?S#GZlE&;EH/&*er.ȅn:v$uW"'nC'YWWX:.EYD6حnMB64v>ZwvO/֪ԨſLqzX*9$@RĞǩ=8@0;+ӐN6m> ×Φ$?x䇪;,^ov r=DhKfd(B5#6p,:EƜ (<h6yH,A_.e:Մ[6QX$%JԆ <8_pO67{Z|&/ż%~&N? ,iR*i =UrTu)ltS` y1Luܨax3܀>Aj6e=5P"R޼ܰ`5KZનL'DMc4bm$3Sԡ} TF`t `8"/r!EAt.8NHjN>rͮAvT{4 }Oajv[1&7Af!\dU8 7V ax@\2Z)^GsDZv9'SZƝx1$:g{dȓĿ+x%梜?b6rڞO)4l4oi(c/1~:#9%! 㾡KW*-vKub9'^[p_.5# zZ ,gFP0]`tv^ɍ530NY8Q-FgjQܑz~0цqjŸ]۫>biV"K:ϖ\Q73"C,;GG85?M6PLEW,z$A]W7+]j?Yn br=\2ILs; P6\J״z]]?Ef{?he{h2<+Lƴs]Z| fҙħ%(^&>pIi!eMGZ8::Tcq&_i:, cʍ v V(F %hD\ _-E_f,[u-u$WE|L. `\FIC6Ш*[$l"Ȏ\BB}j7R7p>mAĂbW@K)4FNpBf㈏2׋&~9ō10|[P֏NT)T(sv.Qs`4ElC[ JUFэ򮼄*1?yܣcIol49HA^?pF[FeɎs &Z`$|uy=z%d,uV枓wڦɋ#)I[~SuxS]M1he;WS ^غ6'}hH&. |{.t8dO*{)0RD4| AI}'T%χIPbU!/Xj`NHch0.RR6: PM6P6D]d\81|fe_)F9I 9Ae^e5Mb;<<϶pf!ef] ﻾ ؊`GaS+]n")JZ~[#^E*qx^~`[+` eT*d7bMf ` dɴ}t788bÞC{#w)u3gHD+ڿy bDS $ѻdf.׎ g?217*8o9앵DaKDycP:ހ5wvOg``cMPdrOr`=RvV7P5NL.3<1)y0FMJ)ѶqI^.^;%Ϻv?#lGر,3X<]}=I.UښZ2>y咱9GF}! 0p<$conLpHs{nji窯|^{i$@rYye^h4 ?Ek-mR%ƶTı,Z#n} ՆzdY#sFOU9tBWs2Ps=+DZ9C/p}ѠhAyOjjc*쪂fU%.ȝ (K/L_R8bqWQ:Dq<r氕 sl~=d=rFnrbVO kH@CiEǪuFjhfΫESCKt^H(Viy=;*UPjꝵr:nYZm^K?lA'5eJRߤh}&P[k$ո~p)ێa g9xG }v/0 9$ +s EmC!? <lkS5'8(ffD]ϩh5Ru lq 0ֱI|^ !1ӔxF쫷 YޣӓLuG/݋h~ω #[BVE MxޘE&7͟1xSUo>.<@X7Je̅А5 ?/?4`5_F#h:._%4!X uDZ@@]Y~ y(D3\H^~OVI]@5c"J,Y@I8 @ >,Su#Ĩ# } @+ dUQ VH7_zg%%}: VӇ+?QB [C7ǒj[tAD_)JC >{+Pnkql̀43_3| `INXh95A' En񮽠`Di&% 5z@:4]jL\3#62a@<~sXllv"@aURe9?d Pb@+58T(S/[]LZ: W.f!iJ xDc0bR]3+08^&a7DQYev`HM1m;fЮl1J-5ck:;P dEJUt\v|GBO,[xbJ̻ľF0%,7'/7=7rTj&j"E6bn3/o/x A/]A2eLQaz~ q@X?g+.dND[oc{ Q`6n۝9lu/ר|-?0g#xQbvA9r#!ALMAl@}{C|\LmMϜbT3ZC]-f=䙤R`ߧbR*Ipi yp+,|FOtjkaj \vbf7,CqR9i"8g,^`f *ϛ#%y h~pLߴ!Y CdpFjL2mTq'HW7bukev r|t_\_P(!q쨰ܩR~2KmycV-0~!IFhVN KBVa(.ikX"{B׏ Fi?yyɈeXm1V&W;ҕYmW s;Yզ loW%Vt}BR{l@/c#qvHnK6kN#7TsuGLu>BZ*(#]" 6n^ͶnOe"7U aͫ吶Uno&v!>dk/-`w\x>"ܺ?2o1Ҁ!Weu!~&|B8\b^Gc*meJ̹*ty"B 鼠p^~>{88.1ܬA I'j>gQR=Dy[h '^V{k^N&:WcHV,m]]r ? >yPQ)RO^P-h8vbN4UA’MYY_ 0]fQ>cĀ0F҆ӡ~Hx`(}8r>K[:4d"ak`k24d^`.0n#mf̓QX,VTQtD{2LM%b-SO&R{ݢIS]u P sAplw5CLì9,&&{k!Xv#> kSQ[Exۋ '[@N =*F ݗHgT%r/2zTad1-Sޱ;Vu3 3B~AkdSL$22{'.HG%3,Jk> lýb l yF_X(DzҖI \E fY }mtz]?+0{Ի6< @ԵYuMJ4WFeh!kpA__K6[O?b hob9K1\Ax_߬?*?Xve< `|Y/u̢e&E^ '97[B< QouTx 8%--(vd5o W B#HXT!Xמg%UtoAS"?K$Bx?Tb #WDDrB4+/G<^t6YRw݂"SZW/CB|(hkG'?r V3  NN69n`Ntյl-l9R%AE 8mZSnPH̗)}9w);]W|R7B5b4-v8 +>3)&brsKkTjõ@\sf} I>/0čMcڇAkB1c#@pҳ`T ?o&b-rF +SMuoSc2F*]3b4&dz,EOz(5gLUOu=iWXdZb|<,+˟Gg"?v6l\'YM-iݚy06P1Vp|9-1#q4Sf %Xx静U| 6~{È39Qa ,}W"ub#k. ˯mfV'RP0ҏ5( ,O!Jj.0`#X&7-bL>BH&}TO#YMcON6~l㢞ie-dz~4kh B 22/b5-<8u|,2]ٱ&GW5sf'K}vxqؓ)\Vt}!G/fԏù;޹(IxĤUP|w$gj+7J>uְ9g&* 4}N+UB9SaV5cyyE 7lEFT OIS0<%(Ns)_ e~|S@5K%'o/a*UȮPݘ '|m/dS1,ӹ"{y~^ w@RB!3厜VY.o|1QܦR+P7OKώdG ص*sz|]z#t:?`89ָF5)l]A Wg20ّԷʻ*DۦnF!NqR;itGzzڋ/%87,5d(t}x00m6ѩI}^ƌvo+v&p 5/V4Ѷ#9k.)GTËzmߓRZn\Ak4b&b'8q8@8i#6nQWΡ%})9pNR\T[I.ѤNVt *| 9KWR?"8hd!S7fNHd^+]'4R+Ha}忧#4,Ab.qDj3vt gLv:XxUX xFRzf{!4S>̞?<`4Ό6LFG:j~s5_'mkYɚ pNi3E!_=w 摨MfT1LrĀ#8ȧc*=9iZ9pfŵT @U4&KQh3fzR'UȦ~Ǟ=]7N6 @̔x߿5{(z ! aqICUaa&P!K$EVU19ubV$sǼ_d+tb4w{r& #i~U5;d*W]ʋ)kV80e {TtQp)d"IDk?. L5rSЁ0u"bvWS6VAE@.E[ެ~!(+&9ϭMˉ5NkM ţ%EC,քD Mw:KhEv_kq\DBYʜyWU}qΙalefџT2oC!Jo85˄,`jYShkm}2ĨDkifa0hCҏʍGMUYNyͮ;nI̲Ēi&7GʴF:x-ER[|ϠE-C:Q!+ʑ*,Y緾? ̫?)p Mh*[8&?|˚:U=J!|;x`niI+yBOka+yk>:i/[ "L@O$r cy@17\o@*K AW|ӿnG%9h iQ._OX)`oaa-?pk`*Rz~c/.z0UI%C^*oHc\.Y%\j|-TsʒywA #ي{;DV )>2τAնm:B_xt'ƊR^s" ?tOqq#ēyk܃p3Ҥt^-:$,]^fZ']Sga+O@po L[luB<$#%E5T[ADxȷXCn4M-]j~s=YLa_f@ϒcN${q> 4ac.o &?0C( ׈w<1"OZ:WMۗD[WJ!_ml+KtsACn|1t >x<",:y͙b΢"Hb/Ӌ2A?+jRgNmShh niX՞Vq^oTCFmT2u [E;xr0cWKF >.%@px-rwWQ,(.!rdـCD@\sRUju'㾷g,4NU1.upb',,ml3<\->A'6QEEɦb0RJx?Ѐt(_ZR "$+<ǮW3|ZA}N_2Gy;*pWMHQlY571pM{0V22JXOBqr!]nZPb+BX撌W#.>HtCàSYષc;|Rb"|c >&쀒:7~#V(#bDkitjREGNJiπx/i< :cnwȰ쁭Kw)j^z ٭kQ!ؖ0ȄVW# ވD ,] r.9t:Mg6QXj9#<\-.|K+Ҷ9e6jL*Y_R6p;B:[6]xԷ}#yEV }vkߋOsK8Y@+ ' ZKR)-.[y͕:\Sm#+r$Tt,K.ج S)05iaVn%I}<"-JVe"c&}.wnJgu(*8OTKXL@ظ8V< &fL-]%0+Cn!=w4-)q܀ѓn$cq!a \4[z!z/h#@X#jÌCo`<\}u߅o2eW(bܠT\A27"4>c$x ,Zs/<]O\k 7ѹ5})c.moe+~]VL֠Z#sʏе[BQ"as`NPDzu$Uh$7K`"jb9wNA s>6 v9,2l*Q gRb0HJ3@#39B):tMCD[j/$EN~t:ҥNa yMwdk)]/ikH'<>'0`Q:~y.%sfZm 6oF FpŴd{ m\p{(ɖĊW24hP҂fIxq8:wY w ˫i`bV`P-T*;5>@\<, Iz;feٹr JVg=nG1p /TghaA[FN v:6ʒE1jzh3:3{M qL-|NrXaI쪦G97)Z ݫ$#T;)MRW%͍⮎@,Fwy9P i?ZT,\!j-),6 `b7w6kRyW Ol@ (*8+k.^,o-tơ(RLv݄4=Q=rIڛbG.9p=cQŔ2]AdzE?׳)IZs_n~O\+V^" fCay1RvVE7.'Zo*G5 _*8_FtayUB⻌ JO5d6{@-jHަF\5N%XFpY!l˴DKnu4$UGJ~]2'S".fjSM}f1m6朿*U|7 "õC02OVWm-z:mu Wwq^ooG[pdؓ4-.;Yė~tg} ,j=+eC8iRaxڬ]6hE>vAC 4p &BFĴ¤?IN|hgK.Z+Q] b*zԋjՉhq+qJ/_M|en\BFFl ;*0*sZ=D/ ڢVFLjra7ɕ7aG: g&/}A+Q=/WZSN1r-;ؙcˡ|J Tb=xY؈QrV"#'uca>t!LE41Sd|1Tz9a] lV/L72"/ğ~Jaj$$+=ttoo>{eNP=EҺ#^e2 Y` X_uƒ`Sа\bc~ݟ2~E/C}PgtdAn5&7 1huK$箓%ihg$+g%Quhf me|#ib841'}>^zgAˁ_ 熳knㄛ,0,[^hIZ=k{bc1Pu/ fiن ppNtSasv*?ȇHRjف5^Γo# ӱX [B&icͫ5> ђf);O8y|wn<怪?ZIJ&|{ np*ޟ$ j/ y[[ e!Y% ўE3b.߂WL Yw0]!Yվޯg46MM/ϊ_l/?S" ўiaG!mDh&0RX>vսշJwu3]Ͷ7uPk~*=ְ VA̚$f*l"Cȃ)eo2nT {a΂Y8M_6ɯgQX%r+r,oq˰]_z,0S~ϺTg|L2c ǫ(~2"ߊ4e bx){ʴ:aKi~'',Y!gHq𪔯hM˴+PuqNV3L3 9_lD3$u,p5XbWp?]K鴁mD!ѩ H0ȐpRhZ͠0>ѡMv_P:@67 *FeQ >z0_J~iP=j&{*{U<~s7 n~Dfܺ tb3 쌄}mK3>JG*:zM ?6'oU$ 2 ùoI{0YQdgaxvϫwW֔,e'p^t9?Fȼ(1gYZ10117cf650f9a43fda829010e3664b321d2470e1fcb8d292400906ad61bee94a2a3dd8bb649ba641 902b77ef700ed1de4580dc7878a157715853f7cb 926772a406bf7c0c3f1e5757aad104330ccc638f