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 R9~|< ] HOL-Datatype_Benchmark:threads=6elapsed=513.458cpu=1856.438gc=728.0217zXZִF! 3v]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;D5Z!%eA^CQONYP(^__p5GX:@Nfe;;_&ðtYT|֤ҕO5|<6*zP0,3ϝA9+{?Hڂ+&em|DDmԧf$@s8Nxja'9p:joЩx4Y(evu+D Kd#"Z{ ߀xOǕ}*;g^֒9f8\ŽtG"`[ ri[RW[#zT̹()L4n@+o`G$z[I8+I*.=i\CH)Sė{iP< ͘DXyxµpLp ?[$Z9| &iiwb1TW'u 9m/^M_cp+8`0Jjq|kҼBɴN@6:|GTƨ5ٌ0+"#uB'@Fͪ\6 ({ߕ\?*YE2'~fghmM.;vE\9*.2Uf[[;0~"I”xQr:x6e[1أ9l&Zce WQlȲR4}6m8`48ߙ[$זm=72Nϡ{ :Y.uU{{3o+lnjn5GR5{¼~W<ʏ`aL27ˎao*#@9CB +DfpU qH )HΚqc<#x}Ðë?[(yKPMއ5 Ln6WipeXW$]dAdaftir6!b_S[+,3X}X 'D^ /ۙu4G.Ztv萵BPo,3yNPsCI*Vd 8܏`XLfc1u w^71ZYQVYIbH~f6MS ddQ@⋷{{1Ŀ0>_Yg~Wꗉpcyϱ%lup2΅ֹFebZT 9 HOL-Datatype_Benchmarku9I!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;~ |Iiˆ,:Es7G&"/jlm6$=|jT6 ,3 5lYK%jo9푝} K"׳w\֟ EQ; ~FSPS1!8)Kʼn!q!<,{4 4œ:r ;w- (1'ٔHZ[Tl$uƫ%#txX,)\~mx*WryO Zt/k| T9D|<C+[~BNyr>BzKzz4R+wYhR7[vz;A`vW=vẆ.>c7N"JQO$Kz1 _ޛ=t-2nKB{P[*KGyg81xf l$VUbQI QB`) 9K# LHOL-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 ~./[O-Fe5 '͸ #fS[P,JFMmRǥ'# V2Ob:=X"S|gT`r"4Ռp0#<*>'!~蘭K?F>S gX2 w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id516g9I# LHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db˻6hƒ2aFj½h/ӞeG"3Չ51tS\ոDKH75ǫHrK OJSviS$nOc"?#B.S 6<}:j1>&, V.3'N^V3 E; A(gTȭE"1(%?YY.6թe >M]5CkU;kb $UeݽYM9OČ1/zF}1QZ7 3ZjzɌ&lǟT:|g0>IK%>rxN78[,,7QeKq\Nw %7Qqvˀk~f/ -7r9,FE~ɉ<6^WypZܗjZR=h.%?ل6=0`sWSOzeHK UL4?(8l8AkZ5u2 k )q! =}F2-&+ڐce d2,[XvG} oxRF7¥E q@í)nzmv:jY?rRkJԧaLOF5dJJLxF6X[w?;|_: Sk׷Dm}7BGRe"SWѽNLS+ULrT# }QQ㆑$Q#M`E -xU؇s|s\!g}ΐi"lH_s =~U)J#59}~$#kʘsF 'nω"yΙ>f] ޲}mꏛgad:W= %mDՀ0}b".Z|yu,2kAK98+YH7zȑV hs֡i읕_Z=¿@5)as)UWbևkrOޒ:WoC}A Zj^{XbL3+M-Üī2-Ckxݥ&Nb)4zuv%AYSSܔG@e1zGP9:|b9ƮmR:$F O8WkɃigϢ-G,DrGov"xI{~u<vj~d"-U"R5Suae/P~8v&zs01uT->+q?2G\&"YܶB9P5/.$6L6-5e΅hGMdkO<Ͼ[E%2Jn e bzŅ>mUШTwsH:9pn,S@?;,"[%0W2*8ߴI.6hGA^,/Vk 1d{E&wj$-2UodXO$e U!(r$˸U-a&Ȥ<|H{ %,ݢ$e X]¿;i|YSѕj0sCRY%M\,_#!1B}) i.:gkri{=%t!4MVPvgYZ 4 aiCS70jQ=*m*+5JhmXED4{[x}PJ7R:[zZC;wCȓhc˰T \TAd7Wlg˱IN+F+HhzFӸಸ%#|+]D?#~iDw)@;$h13,\M8(JcP,(q iwÓq[\JTdPri ~{P)F٨uȸb?֌Lg]ڱB}LlB vWjJs`lIV{W}[6*eKeSZb*%@s!se=$8PD^Z0yxw(:J8heD(" LSC\6d:f  w~iSTNT::ezj "?HN<]ލky=f p}׻(Sd/Ro GʔnQzD1j6-uTɂĵͿǾ; beEL4J$v[>AF:SXÞ5@_F`Fp+*w3!b-tIdDJ{Ă9g9=M2CPzl;ʺb=*BO50uX#*ڢ#ǿYvn4( 9bߧb8T?JZ %F NBe6DIr60[Cߧ!S®K52POQ5ޛVQrȉҹ<9QJ߬Wp-~Yx塍D\4аnq n*2ȄДm{VĀDʍ:2}#æPkp>s;Luo |{U;kLO;^߷d90HVk^#"Gi0ZL o)X|A K#vร3͍GS&b|[ҹs$51MU79F3AC}Qje92ym;煰Ňf߼N-{úo4\BSeVC{sMv݁xFz"\`d}OPTuPbtp% u1ۿJ'%r\e~*2[} &f`"<:)W:b73m!o)CHR1ٝK$ iO@vWQ+t!ozmSF/@}pl /=Tl{Ƣb\>#:z}U2BPd*让D 9] c$Aߌ$V8؍ :^ s7Y])CG`cvo-VPXմ$TnkK"2x;lJȜyk[DzEbYG29+v\5~QEIibthXđ#Cahj P50<*Fm0E8jжh*k~dddIi=?aJ춭T7pAb1äL,)4,6uCy\ XxjI[Bq9z֙{酿J=Fm8 ڇS1OUvA1˞ XG>?!Xy @:.7HP+(ČBi:X *Nfe[&!Tyǟ7Ig/翚"'@Ih~*l8a`|%YY%+ni%tgkJKID%!ʛ)y]i"VR.Xqtui>in9V%|ז 3ED\=ۃ`5 2gkH6*NC:iUCn)/ }TAuǏϢxD`8HisIF{ jLr*m-1Gfo9oV:C'TjS(uw;y"W2'm3RU>A uw Q"[?g>C`<FGQx2oVbNsYъY)+2m1:Jnɮ _qqV[g*9D?R[|g7Xܸ!֌?/@WN7ө($i1vΗJ3I#$H#(Krz=gD ՗x8Xvv"P! MP9%QO[y&` Z&3a@MQ7ʡġ7'B2ͼy{Ggusri"2MZgm^ĂRHF<6ɂ|=v]nyi?WCf]9  .$O)Ix8`Rm/]$"7^]\%~r"j6):f< :F K7:G-&8"hjHs dH'au _}B|kߣL&l(8*󖇓{KC|[ϋ0ug)-OB :XD"~U)_)˘f,asOXى]`8QDY7Q1'4,]v(/B=ėwu.Ț^Խ sPgļHqm,x𤲣gP[Kfz6J(恱O%rHY5;+Qb TlM[\@G3_&LR12%4{aa>oKڟs9Y PQnsGWX`2`%.ɫ'TgEN.8"ri)Ln}NGҧIoz!>GY٤譞;P`V7&K,-XG ~:ˇmk_ڿ^ScSeЃDGlԙ!Zue2viڔ!Uݱ;PrmC>v>}um$ \zH%1QDS͒rX،=?ͫϢݑ%x7pKã^iFXYqpccíᄴFtn ZޒQeŽ{tjQ')-(wjQ^EBeٰg8xtO;}.#hza/"/-#7C?7Art. ;vڡH,<~9V2P99W$\KCiy'oDM_Fz 5ten>{2 Fb&ŵZvr.9[Q z]2\JFSx>Y$ К?ͰΌ](GFem-vDB-3i3]xR7 xR&fanGAv_V;jt[϶XK͂!uK>к({A 1xE%m<'*̴ exZR\#;-MK71TUׄGilIiaDj|뚃hpq2[gzh,iIwd99dken=RþY%y@ vW`+azC;ɢhME~EwY=c0-ջq@ismJv)O)9I/澟ǖ3ʺ _R1tڻ.[M%zB`Əwͮ 3.9I騶<+U GTA!LsߕUq{eѰWi@H^#-s%5F2j*)vg{p=4vxuS ?MGc`G]щپ -* ,(/B3}Z= ͏)ۈ]W$,S-rF"jZ>Z]( 49Y ~RP,:`v>.|V,9D1wwC8 Ah78FAG""d>ZƭD4fL3;M\ơ*_m]INY>H-"t%éj*! ԳkP%Dg&s;i̸v0𠂥PҒq(JbHfAm|5QANM0"6vgZ ʮAJ1!0.â+ E,=Y A,)q3$DW$U=H]I6ӱH#<XI,9.' UQ83!DVr esg-#g>\iholՀ DaWȹ.y' ² aD%+b;g)xĥr0{le&fLPy;0@F9;d["OT(~U-oJ!ŦwtO:%#5ڝ&Bs: }dόpmqA~:vǿ۴6TJ@LYql@/o1h*5@(h4@ty58og_吹LJ'{]buN_3KC]BO+km&7~t`P`ϫi sD)<`~GN&t71$Wp>$̓1*oY6\Ȧ5agANGXuy{AƧG2bZ_F}xT;b(לu3Ac=" 篘шb? j;8exDLbvYAI(x-[UϛC2MƯѐ~;_0/4j!ۭ,fktK1~]& kUz:='EJݾ>dbonq4iܰ$x~Rϖ^(#8Jyv7@2g/l4~=YxjFQ[ۢ`1dQm- ЊA@G;DY[yKCM3p*ѕk"1Gsܥ̈́(Dp0M5oG֤h (/UzQ79|O 4s&[o0-%!y(|y(Τ0U[/R-ͩYAJ^\MjZ-|N X,ECN{tы?Q#9:E@"Jp"[SSE|?ǝָ|϶\f˜pVu*Ҋ?S:vAᚽr;Fy z "$fJfAU=_Ұ6q֕uB}@1 ,TaHx'yk-x=*JBy(WL0"L"C#;t.&aG@zx7YO-nr6$Gsz|sBs a-aT xI[+}znٜWŃR-j_`K~ hSEq~IF(+b0żN૶[+O[v#jrYЗ;OlX^{)!麶*w 6̀SzPF͔*<(d]&1D.e.!5;x<'B*Cf1#k6iܸJ (wZ{@3x=ջ̌#xȬDyٽ4-|s EGN@z(8G*3eGުR%y|>,? q/8zduT- IzE~ 𐦜u_p]wNMflX쉉j^O=Qi7*B2aJ-H3$}le=m 3_(IW VIZi"|7i(nֿA꘏TXdueReo=cCʺIih%*T=0ng}E"!ɪ|vV?v}!ނs)71&qCݚ79{[!_7 zL% "W%"#w@oq^ (Qńo縉7Q.&(4@q1HQ_꼅U)YglUM9T|Al~Dǹ:a!l` I)]Er}ampO,$M8AI"<پhgݬ !| u#Rv)I~Pz]Hj6[IſVn_6.lSA:S=tQOsnc0Bgqfot_Aeќ&AfPK)^ yu݅]ݸ/: bwR6;p"%ȄnE3AAXLv$ۋK1:vbd! Od ]ev>Mz9"&ЭZ[sGGt}e7mZ(ֺհ'ߋ~/L7OۯY07~k>X5bqɋGm(aL"{'n\ހTj g)K.nxkK)]JV1Mѧ5TSѺJ\.YRJ}͖($4p#]h~m{776Ԅˠľtt_2/bxa2ۅc?˟+.Cr/C+! " Fl7柰Ҍ%ll߾)z‰l?W~땣 hoJJbeGfWeGMƇo 1R׀\ff)D$\gώe&Jnf$]}QiS-ZR% Y@h@+.P. Pi95xPgբ&?pD%e}{]dtX%o&7,JlX[ ̎0-Vit)ApEw9Kf]1Pd%}pY\{1<™#!qV&8G:8s;b.+#nsR^~CK2ԫBntU>'u=s~ϓa>MWPґD @ft%+q zBo*:5@iŤi ʞ X22归ԪژSd#E'4MT)f:>/_7DhkқU[65E:xx}@%&͟t#h!'|4q LIkQ7BalauO]voH²/y6UmLl9XEj{э-Ds/Do`ɸՁ93"jdgpN͖xco~ =t+)g@TD/_\j O|b7 8j[db:ێdz'pq%aCDIVKl}RԦ@Q DӦ%]Ao5t RcйVi}G>UTyق'.w@:R))̐ Ƣ1qiwŪ*^i'  $֊Ffy*'H5uܐz: = {g |@{I!DCMٺJF#{y|D 5j b爚EGUD&\m;=yLYC. S䊿_S;c٣=&)$L+U9Oq2AV$D֞2,_,ȂCM­[prݹב4&sr/Ag|RmFiNﯸ%E\C0 3N% isޤ@ bt#(-Q0uR44hvAnǏh eW'1r>^ /i \i.#MђvՒ7=\CQcW]Rz?^4q V$'S^^z[g؇gpXcYi!gx3WBSAοϧV}T/0V@uƻE(-{H&3(A4dȊFy_ߐkcU p }ܻ J$LLmJIHAi~m{Cn{XC|0CɆ<ȯBMWzbrN_nz(nT%ʚ:oر3RF=㓖g>R3þ6٣LRqJdQag25 D]i4+nHYlB͔h1bpa;5J|}@Q- ,%V$/E>Zt7*UtbY&REe#_<p ^zyifasMy<qɃ~#.ƕ2YB[P-)^lpt|`1CāRJC@-;spK1v ͔̐W( T=BY=l)MCCD>W͂ BZPW#掮F'p`㱞`d $Y9UBpF~8Z4IKl[TenIwGTzYx%uB7]%bobSFovR>NL&Pj6 *THBpDI"W*_Y.X44dxת In#۶od.B:8V9U܊9+wSyL;4NV\]ԉ |{/ ̚<*N<}aS*/Մ>b[ܗ ׄ(“Nٴ*[vTr{SM-dIOL,BK [窱]B0>1I¾BJ!JLݱqˈa.gUM8x`M:OL!4iKcEx',6Mqn8*\?t $N$' 7ՙ[2\EDߗ@ Db#1stL0$]T&Xqm+N \EK/Yf>m !tZjrC"_i[a%%a]-+gHV957 XA3_[aeɢ" d/6PzP?iX_3hR+11LDFJW0ur(ʴ ؠ>ґ jLx~Z >^M렞%5%pػ襚̍펺jK2"Q}@ ,Qa ֱ.ʼn{F-QT4}"%i'@ [u tR[f=P{ m{-㝨\Z*0#sOm9X:ӗi UZjɡ0NLvmZɬ4+jk)\nzhkH/W]1cծg X bAfT;mF~Q48SdJD(Qc(GA"?J'?OwTɭ" X;͂d OeV&8~y>2 (r\< o2+2h}eȔ o6Ege$JP`Śq…̚Hs`s-nf zAZJ1!}x+شЁr~xL۪ˎ% Yb*>$b3bIEuRnĘڶWBʪg/CCׯ9\:H'r]rs*IieEن4 Hym._`X?Y550r/I4V %9pNҦcVT#A!sNBY Ьo|+S X-mJwRsX+g>-vM3 `VdumdX{k}*ӠnpE-(~we`c/d7tbktf&8yW\w_x(//H易e"=eD&O?IM%74p-fД҂c, W3q?ъbxSaT/` ١)0_64(7C La%Rb-9ܞ}W̬})S,)i} )1͋Zðyg|dK[lBʼ,q{;=Xa䰓Mn_fRyU]\ AGVgtRWdPYW6KIe]0?%i&Ԅut+wOQ@‘"^LM/ uY{BXXxyP4tS;u]u sglB@yᖌP JBkuS3HoE-*ѷ& >(],KZ9Fm PwH@ʉC.ꐏ@D}0GITH\b?5V؟MKFTF\|q[k!)v/d+\Q7 {}"+"+Ae'#m^ό7MX]ե"%1[)6`H ̠fc"'\1(vѺ;c;XKUxyK-XhAO:TC-f\2ꯟX񋯘c[|.VΘEV<ƭbcF|ƮM 2%8$ }X@v CK gKF&,0+s,$hV/{\':{ՓST[#a?<+##ۜeV@5{*q`]ȔBR:K$j'+},:ʺM~)˽KĴr'FR]Fv|]= 牧ҧ:=E&0XڌTJL@%E$S搅aֺX΢ڧe#awsQ"*{'KCmJaq)rie˕?`91a,NUMw.U|d]LV{-{ӽ@4C!ا+n9pOf-1G~a!5&._LFt]7Zr  .l8/ҥ_zˈ*z}8gIlP3֎~3^*[! 4SǑ1zbʖřb`QP/sAIf +q(Eq/Rc%i's%Q~͍]#֑pKk̙VyW*wn2y*?X!@%w䭈ǧ2|91%6&jyr)gL g2{PIPt"g,A31 D[(R;6b\ r4-::7pD㕮t@s>&$%o>݂ &y)%9_ȑ6dGksǶJ>e 2W{ő▐⎦+?5:]%6Dv'!iDf]o'2rU>}4)]VgqbQvւX D/xw4 $Е4H.}bHP_Zo#w!WiihI(=~&ly1_`DBNM(8*if:GZr"6)/~$60>ʤp]0p0 .lq*s#=Ea^BBW͟`F,OMT\4Qub8P}CFY%4Qb5v쿵b +MU.9'~ZY5D˾40\"\:ElqQ};4}U$L:Nf]C?$d2y+bW|? V9j!~v^&SQ!-NT%֧Շ;4 DXOB &b1,4WGȚ4*x˓"jQJ.UWcH> ,os%淉ڱ* gmE % Mr6 `Xcrź)stb ?%u}ˌ>I?[`^ֺ`-^NE?N,mx$cpQk жI0FA[ V1zo:F}q5e 'JC65/'{zCA`_QCSCeRxw|EĤ*q `Ώ3ۑ2Z^0nsˀTB;(&ϬGݡ6 .)lK,K蛐WRǤOX2m!};uj*bǘK~UMp21Ilhv~b$uؓDB . "T8bw鑩>ͳ$g`PMA!G*91 akˎ El ]U=E­i&%zx29zLjDn2pg|jĕ^ЮL[kiRrD'ES,O }!7o 8F|}(Z!_aX-J5B ?2֣c2O]jғAl!+|n>d+/T9ﴋRX5Ce_^ nf6lzc>ɩ{lrZ 0hgJb_]wٖ AtPG ,-I)/SG$T#ـ]sS+m)祶SI\;EL*6UGI#B;J\aa ,fBHt&>Z5?@Y"VӡXLswkfvU(Y'Z`MhՏ/_DL//]L6%>h`XKPnprUƈ( 3un^%PNS NiGd0_" /!R 8YfVC@ [,pVJȊet ogJJ!1L'3O#ED? kҔiPT81zg&Rw@HZݏkaPbՅŃœ tcq>pDĘ)v J?jm+q5m`|&UaFV&㣂OBB ZO=ƽ[;ŬL]3:)Z?:9!)qB')YW&P]CynQ=y8CY7UB,탺qpSv6!ƖM.* zQ n$֌BXqE-^;ʿfOgUs) ΫlRe;͝_fW@7ar{٨TdU͡b ,A8Jw *5' .8ݯQK?V k]V] jEk1yRqlw'ܧ1;Mye)\$1>QtD!_[P `@u?%+VLg YOXx:gކZ+$}/w̜k h*լLp8}7PZVFR{N Zl[!0`F=E5O *kM [gB"aTkjSEp D-o~ݘlQWLd'IU[@7I`:0" ~QwmN6I%vhɨF@ݕP'p"GN $Eu^D&a0xj[=fQzfҧ:_g L c d,ZXt5LE-'I7\׺(G}znt6rpL6rWg;"- pu[f~.MtђJ*DzO$nϔ%SƌV_?ot}߻EdQ9luі/Š8]x_eÊsD$u'tHc k'9 <4~gTÎK͏=|Gh< s>:M.`p5kXLܷcН)\l!(&cL\*kK+Zu}52t+ؓZ`[JcJH wtW39";W k,h3iW[ y˅V>GR4kNyHeoͶ[hܙ}E?y'v3s"sNG(]J,L B=n!SgfGBLlm؟kl{,Hd@pQjٍ+bj'1Ϋh9ZQkwֻܖq]p_"_LOs(ŖsN[$1Y hod?c`=4H|~ \֝F=Х3\H8[zE Cȃm32ΤXp B>3x98UWL*Teg!b V 02ٛK$zca, u|$.9SAVP=; FRX31YtUJf+ '>3A7ȥf+_$gDvXJVL=TN>/-Sk Y)2YG# @$Bظ):u&  &QtUEy&\.օY]N7gzhQSGw s(I7tzԻƽ?/qYCl0W! 1ڧXZJ2eq>Pִo{,(2U4D0*lZH줳K0\ :-< zV/V6waHʐI?%{Ojmt0m=5\4Gڮh-}] oֻR-zL4`^oZ,PY$Mj"50\H( 78Im"zp #p4 P& 'n$y/DxZ h AspÂvV[ͣdΛmy|c:~cX"#gS%-U=||-v77lBOȢ pr/DdXQޒeB@_/'NUO9IsCM'~|3?.FVLU&.K) `DX\l9:XkZ?g+< L>FSW9mF.x0?^ˁZ I;PP",OOX}V5 iU}KEÀ>Nńٌ*eGQ{+(wi< */>'4bѺtcB,;\^yq1??*FY:A[mCʾ0,6@ V|9~B&DwIXϞ-qg#h)~@Wa6U1};&v>D!mL8o$U>9po壢%"ctSlTN}Wt2a8f4Nxi}Pǰ|\Tprlt:ky",nJhΓ7$[iAdPMU['/ T12'7ưjgG7wl#|r`D(@S˔{.~2b;߀޻HPݽ"yKa*Rgg"L,0í&pg LF|8.Zwbdc_RD`6Q"cF7V aś'ؽD6PZJ7(U5"lII1ȟ1j- Sc]8P/kPxRxW^~B}Q.57:f7~YAH[Z"3Ujq ,mɁG /^H|+ ֍25xΧ1W^̈.ҦJ]XkV-8(-,?lA_fhO6&׏8f*KJl~1ھ*:t~yIڮ3mErDƅV A2h!mj6RV:6"džKʦ8; KەNmBagn].Ui~`z%џ y(9'$~)Zn4~W 1֧edنTy{<*DM FyJwڴNO䒉3}*YɶŲIvR&OTZ#%m^W=7V6B X䁄;Z) =5380NFY-L ]B])CKV56gCs)k<@f;=qdj/1hKM7s¬oA*~gwy$hwsq&ʷjsU_Q`F. $f4bM082DЙ-v.#ns$+=a.V78y[{f*6DhL}_Zù@c/Ȍmi/߈k/] &8`)x*5Vui?W d%?X9,BV?P7Y0+3[F#ۤ KOMPNt!J5h9Q'd- 4{٧y6 %S" $0gx{n@^5H$evje;MΏ;9ՀzݰoߟBF!nE͙áFGܺڂDI9<]nܳ?Q!8W^hnbDƈvM =w=[?JG:O h[=~Wjac(6۲eNwG ]yS*\^BiX;<'&vTFf?}K3άKh:B]h~½kQ)_DȺtJh4u><&2TpG/HftB%[a鮐irR k \T{Ӡ-*kx7JF# j6G wMd`,S, n83[f S{wPUi[kʈl7~l"*Y ~tŘi]'7ʟ?꺁,j"Ĩs2 /GōC*DdW`Ws4cԃ.8MaݻW^ooCxwV-)]O켋~Zj0ȴ,lEYIcQ>LZ"H^l"dn*:smʐ [fEeVl0'mKb-4v;`5zr+ eØwgt;!2p'M(o_wP^o7}B8e.g3/*.#:y%]s`qƍ>}v#ϯ!󓨙"R'SJ>ړEylQGeKئ ! I7IPW$YVL\#hsO2ǐȮdZ1 `[H "$1(A~MC!]9W;ej\ Ur [3 XV"G^&}2O(q7|3?[ђ!gȚHOb~gkFkA~zg EؐMDaRe!,`U_z,5Ar沪X<]hg{ k5mp!3v^~ w쾦K1qU|%nt+ä́xeݎF8ụ"lTTŋ$)CHY;&L>^>^^" ޣIZEMYCύ?QX3ˤENPut~}DX2T(aGhIA qՔ%Zl$0LՆY(pDf?7ު j';hPEi_l)w! @\nؒQ-[~L9Pә[]n>y5zD=ح%sLfJ Ɋ'_ |8B(P#״Z5Jr-)VE%n>JWixt gB^T3N)ӟ6*k[?ժTf pqEٖ~՝xz&s-O0 !eJ`DuShvd'XY|K~!>Hxk3:i~"Q[VDD5i>i?Iec u_+b0D~s@5ÎIzOr ;%CjFIScv]c-ruC<`>="JDr8_+p~;Z6HHq)_\,  .Ю Pᬀ% w~VI!!PQU7Wy1~s:P Ez>Jml.\j5>Ef2(${3?&oQ+õ(v3$6;KODl~378go|yXM hrcT;=lGݷG\g o ^̱ޛ(p z6/Fr)䄰c{ Q颹L~n4kYO^ekb,b] [8D(<(Mͮɺ &(FO\5w.J95ېM{ΘW,j6i8 < lp&D[c{\b2c 򬍅d&MҬq_W{"p'ڱQ(.X;3LS=@6t#u W/?jjXD=ӫ{Vۈx͍[0hө0H#w Yt@ŝJԨl?УGㇷдej` :Sϕ0lRqoA6T؉. 'zPb&0p},]+i=킟l-ۿOXS_|ǃ~0\6dְR銟Ի" [ϳqXq*у4?yBGwSi~ׇ%RFLևg SOԂYn亐jX$aUݯmZ%MGC uYL^J3ȵ5DSYaml5Js^'ͦ&\khZ^ 3sZwѷƗI6p`X@x2` a@01txT[#.*P oCQ"2;Ӗ(j2ݡ%Ty>|()$TSܴ6)YܷD$YZ1 ;DB,lbAaYL73H{+A~j>aAhĻixWgsld D,ї6T͌gU iK6PX.zc]9UέKT˘|81" wo}ׁ$FeN둿X!;9u\|-NȢy a;$Cy{~f3+?'!,N4]m9SzCcAX<(PHC{% ET͔d z;\fͫYɫ#Vc{71eޑn;؝RZ,h*XW 2z8a-tpWZόT_o?2m)ķ:KCgYZ:MJBЍRVew&I 1NۍrT{z!SRL~zOx6Z+AvOiddd ~ 4C5Զ1'5lZfeӝ|_ ;زܿaNf'w 9 'Q[2t{}pk}ڳ 堦Wn&G>[UwiVA};3*(Y?mPxsO:JVZ#E+'( it},Vҭ13t8ETqMU㉾\2xH ƏݳYc7ƍ5 2 Z) \\( !L\ MH׀zɊ% 9ۋB5슻dy~lȡl>IepmF*E&eHnAWw~m,ú'eR}C)pxah:&fr$_?8ӈf_؁RԨX nA-g~%@2$gj >"ma;S1CX.e!%pԟhM`\@mJ!^}&R&&u2Ǎo|Z>uCpF~.`p2>xߓbJ<ΐ􌙦Х-c&w1+f%13R] uJR@Rv2pᫎyKhiFxB0vƳ8?bd.PwGq H:K`6 x9zx`6x);0w0BKmA)$ kZMQjp7 h-:f$?dh  ܲ]`\,)pUɴ V Q9`hQX.m㒔l{y zFA \0Aqk3`fjpm򸄌ՁG[1EN.u~P"i;U~r` ǜUw9 ziV6XJN(4[K"3CE=glf<.kaz\Aʕv'_3c ͹g@rN$R>*#A tBt̕,.UK.r畫0!o8A$ISC+i\.EG+P&jboXWȸ\ (=F/P\Ab^;V% z@t<^tx'=EN,37 \l&1\ԑ@DdCؖ̓;k͔տSܣ6}ϱեhc&Ƶ^xtr=`BAcQdw [jE>\]og.Qd3Y'puIq75[DӔ:J3u36 Yn>PAbRz`fJ%XhPqe_$FH/ة ~$ag/6%&G?J&f:V!g@uTr^ pBh|%Raddzn2f$H!@EʏVLЊP4^()6Cd]n6AnIqAZ'޵%$H:g#OS?8^Q;0 [ /x7;My4&^7fr Kӝ FX /Bca\aE2sGbz9E1SGXsD٬cA" 7?Jñoo!q43h5/bPguoP"=N0\>3  }bo*:;,E) Xe#N7gK9ѳռ9<-ܐoZa J^CT cˀdjD̅DË06{Wk޷yff\3iE kmIb-ۆ{GO%"uwyCٱxy&4UC:,TC iq6F3" 羕7IЯbCS#qB&D>A3sn49?_ &h隂(MVJ Od1Td"S qaMNXh 0!d;8"D*jG9<8D4 oQ^zr]C8sQ4 @ z K]l}%u GZo3< nO}!i"klS>ݍ؊d5ζQ)$CpֶSQ#$Kc/63S|*dKF 8j &s\StOUX8T͜F]^^is$tс4'+MւF\ȏ weGYnwmS9;>UT!UU\؞p <|.Cl*@0hsvr,6@޴,M'ýuTM %A[XT oS>aVˀNF7*ؖ4h }U5 CnDz/*R$5G/ `!NB |w,7`@U2,S(h|i "4Ǩ(]E| (>?;#3<]L5r71ޟ+!2鄘ӺMt7{k|R Zja1@O9B ԢYʛ=z5:?NM.D6)tWPq5(-nip[l~L{Ǩ/sW7!Jb"MN% !o ҪO봧kg.w K1u@6i+C [STLVQ6~w~>~םֈ #A'6q:_-,ˑɶM쀔]x3!՗ͬTA>'/MPĦ(Z7o:ƌY+<)ⵇjZYpCxGKVc#ƙ 5 1#?~u lI$Wt@2::o9J,y79 B' YtГe)#+<;\rXɹ~t(fo1/YοjLDq7ƖM 9%CSƐ@uzjD 3 }1Vove0 "/a>\\؋(S wy #`#sJXBiWHعp 1Px!ЭrW0%H$ 7TgYZO5Ӳ1,pxyeT<崎`Lk:Q}m_B܈ߙao{:"hyj?ʫՖ$̔ QP]4iM†F}Y14* nJlJ {C=dKV>NL7r~%G$ IjۜPc>s4\r/ntj LKᅅVIzh2 LJ$h¡Y~ܖ)8/{W`J~+؊^)hL\$ޅ]-q!nLc']/$2q-]0OխhJG5=[nb%pǦV]]k"gjڎsiDΊtü&CwGUiuss ;G^ z_.w2en?9J3:%ʵ)ncK<}; V AK] +kAluL6h+$7.y"w.x#|3ܹnN]GC3:XQ᚜垲f򾭆\@8DĀ`K _`5FX 0T(-܄IoROJ!^@E$nbNzre\ OO_qas3P˯ [cJ)\!eYv`4}Ƃ5 [r_C{Ťcʫt9ݤO  $01^u]uͧNNwBhVl`,T#LZ(Z1PAA[)hQL%DytWѨb~kώԠ.}qpee^mϔyȣ#'W_bkt6}oQmdZVh)gފ`*e!x"[-mR#kƧ<:҈orЏ{g Z#:L.wK9x>GrlL ,9?ۭC~CTKkX_51 %3B,;"PZlDllڤS70No6}perB 0#_i"5{Y#?v< gfjVW%II I U1Td]67$}%諸 gFdHˠ"tk tH8.ᢨ&ȘՐ4mv?KK&5ųnj|imnOVILTSḿmk6P2.ԫTDӅjy\xӸIvO"7 6^#S|#/JT< B:W V>DUgno;ޠAYb&se2ȿ׭JkRx\J~T*ãǀ_ xa?aP;=ƃg Ə,^ @5pFeD䡠 )ǀ}RB@3ڊ9\0!UrNXgObv1;CaӏjN^gZSozъ_Sܲso*07<.H*U8r®ᯞ&Y\fQ/d$DTy=G>@ ǟyHEd VGyIx 405׿AYm; p4t|r`.h d f-&dEHgZ-8:gj{1RffDtWbچmA4V>E. ƍOGJI4Cd8ǺIQjk`{A$%=`k_.MV<}9~}䬩YY?6G?\<+)B+?l-LZ0)eYĹ)V@Z"W-3 W~ RPU׉IFCl}"; h{5(S-שIߪ(nn)n\RSt2 yb$\}^FO+~ `*pRW6v7?%()NteJmږDJ}4cB{cW(;:^*ozcg:c YM,kȫŸT> Kػ#-#}N푭sK3(m9WDkKZf&Ǹ[Õ>L޹9C.7^ &n(T%VQn1o ?Q~q}ӟVގ4^nh=FҴGA3zr:BFF ऱ :\ &UrUiQo-Iҹ39vvo;ιώ11' Dpr#b:`DoOAۓ́['b7tXC)2in~fk1rdE~;q;Co<ƒ~5o0v(sRE(5&]u=}iLI_918-lG'dmC?+rwfV(͈WSf\ U .⸻P 㶴 ;ܹL]dAP-+A~yIW {>yk1m}쟕 WnPAB_!V4=MhUMp3GOכ|)0d(habKO}3yN淎+yJdyf۹ed~ydU rpeEc{07%סCcKTc^7ReY2,.$@rI.6L[]mm"t~LcnuGHlCS|K]{tf L8JXEpN2D o $Fo)xPZ52["0*g;dˆ"!WM_Gc&NHyِeQxMvy{"êfʪSg<'1riFrȯ$}tLI}߱?.UP~!v)|:z$vy"& .5&Mqy]FRlJ2LjB Ixs4Q]EQ<ހ,q#LVŝCE#sOnaX'\Š^\]Kc \#N/LRv@v\]eb zyqQn*<-$ǀ Z%׀oUI}F.~@`Sh5.P J0#ZMlJP\97o}W \5WE {\ݾ]kz2B`P9r3%K 5uf)%i=OJw*7Soz[~yLbA8D3D `d}|X" ASamj '-d40-J7Ԝ5rk &,:{ e AlVo=h'EĠ6:^5HݗChDd J[.'j} ~UyX]B:9a72Gv.ke^Ƭ߼2Qr=Sd"PL=` cSلtъ2~1evv)U7Z~)T Mg6_6$*V)LzVEX&7$WجZ:AG558}+:MBLAjW [m*|K抴TЈ:HkߵtC:$nzzCrH{ij7<>Yf` M\ s}X mi>$:<̗f/)'^1Y:U!pDN =`@+s.Nx/v3\(GoށB.p -,iV~6l5xC+ͭ-nr<`T_V*=lKvmDg!P5 /tb"u`""BJjxxϱ#uAW C9^jni` I[\kGPD;\[h<[z+is6+f:KڽpURo\[/sTfN6#- AG/]/h?xթ#O赡>C:-%a>=gb~b2h2n ȲvKpyG>ۣ5 R/7*,˷W┘6s}*TH4~{ambb6wf{D[EZbE B g#A~*~Xdׇ ]YQPKHJ-K =lnY`l{ IEIr j%,C &Af&Ardu?W'e$=H*@-qʔ$SP~=H./(,b+TOAVgqdKU-|rی-kեkHI͢.<+ Tٷ\1G ;Ew$ܷRA].5ƽKhM᣸uI!CM࿾qhv Lsʥ y0 [8>oRu(? Q+]4 1an}<x2;?0<~~#@ [?hAjoS(zR([SlL;&,n.jE:5o"t1)UrV"*;~U"?e>Tæi#7"0`RVw_3Q+`X5B|+pX B _& :'3[7)g q _B!/ֱg/x L_ .QTbF+#=βԡ:g}D{ $=w&}WABE].RLJݩޱJ+Xyq]CM f4ooAHwz+Ix^Gd.~bK퇽p˪R8o9pkbUD뗓琏Ɛ m1c*pWNPFbȪK=m`~{.Lh^z ,jB 9. b82 +ҲgK7be>2WqrGX[KQ.)ns~4@Ism$mLBRRP#.CNTgjnƉ V6C*OCg,H̾l)">ob  2QWb+)eM$s,nW]t:C 6)+qIX7΍W@mzupo}.I_o[@Uۑ+92sÛJoC<Z# rCᜳ7 AF` /~?t@"OWGz}k"m:y6RM(qA1I)?2^3u~: asIS#\g a"-:@O`2B~?#Vs-"TAS6A 3Q짉yWHLP7aᷥ/qSBon/eHMIOԩQ^W/ :>|a 5ϋY?UWԈy⪭qTݑ=%_]J+lJӳGp5nj;SPsW4ꃟ9a^EtQ͒4d'/'yNSgaA'}Bx- &^VQ<$h+OH9jcƛYc 5᠝Њ5N| ms3ifl4axC =;G=r/3^m64_0ayeQ^f 4B\,ڢ4f΃pw;2]^Wn-{+Zr/YFdLO>*~, é9䠅'vE&; iObM}H^lrECѰ}śJF, r?ӋI;CwXU(0&Y5c(PW1qoL\OgoVNuJE'r@%;)R%Cp8m}˿B÷BH0{Hf@_YV v,-iQJ{G_:]P 6t̸C1Rii8vʪ*%t?9$f$\SS3` `Y'Ϊ* `Q<w{q~oW_;Ib1|4ĦN6'Ey]:BROpU_tEn,N`_Dgx\%I$|^`'4S?ҷ FxƼ1W=EC$τn&ڗY'.v"I1oYZ^X݊itM *^" z]3cYN9kg}nNJi[b>]f^2\Q(d4J'{ SX"h0 ʆ\e@">}oT`_7D҆ _%*j͑PRgk0a{Efqo3ے7(SPlAx:NQ'.<pMlGL-x)FوFPIF4vW~\~|$<>=G>X D9!~]puuuEH4\TBp0 \ھ>6K cסKt#Ҷ֮{2QAld>p]L3#M1QX%nG.Joc hߡC ՃbS'8,Лl%f6(Dm^Z(/=l^]c; UYˏͳ1\L.p?Mnذ"Rmik% Mx9h?=YH̝PQg6g!Ikӯ]%5Ƽ [(p|p"s\hCS"<"JEQ̚NNV,}Ͷʠ}j /<بpǴ՚.! iI~"ǝchY!&Bۅ}]MYAEʋbq!iK2&TV!؍V6;DϨ{@{k\_o#5mswMW;qG \.5\Uh=a( _cI=VC蕸p2?:L%b/dXW'c-hf|,MkcBf`Q~>p7JuY!]g @gl:.}EYѾŃ7qٰ)󧇇ik }L̑w/(cJ}7`q,"%RQ2UW\wh%E9HOyҐP]]FUq![u\ɳSkQ.x{{g7ͷazv&QxqJ?KcaK6#FM;8zdw T6ʨ/ʓleh0cbeҠvna /Z8„+M Aܺ#AI qZS!+Tye9EBveotRD.{76e%+>v%Dԡc:Qfno)ʰo9߱{SlҶs N7P ާCa"YPA1F0Ժgۥ~4`l@c{T۟O)nѸnjVQd$]gÇqTLHXȓ2(okpeb8 B_ft םsQj3VLr %$В\7ƪ:-\2ƌ!7Z^l4Ւ%-4|0`t0ʯq:ڤOE'"IbD8[шQ+;LGz|SH`I'I^)TmH~ SuiHZOt{RZe:i7K#c{w%(u0!BReDh#V/c<[rZp#nNk_b-L5<4 {#rP֋ =xd3 ډ*/h5ܶz7&wo+'8ꊱxizH"{QnS;PZӕB7.b룕),|AfK4w;M5p 75ȂIYL'Js=q71B|7n_1Ivl/zo,`2Q{h1 I;D+Ppٲ`Hh{AcKVբ.5YVœqnp0S &ijJ&~%!|^D,`F!gޓswY,HA Pi.[ǮX=V.cA?| SI:jg^i{'_Yɡ{ 36ygqr6C]-Tͫm{ NT^)-,$kZ|Bz`5džg#A,Fmj)q&VZ[2ā//>&%hNnגV]jv=i%ldf$!-cne q-.$֛$ob Z{vtSJBɎWgYk+WĠ-[ 28쨋95xu)ȓ,w &X 6 nm)yh(1Syђ 0hEl4txw!:KaA߮ ewά #@ ;[jr#ӰKvA%pnêd ,$+`퀢ac3,\ZMT0j[N".v++JX3 [Jr)04B'\e%B0.Edھf&R{<}kᮯ^"h0vx)X@.[+oɦIs q(p=$owiW7|Ȓ4݄3)/RYMp,-܏ Ձhtj[&CU4p:Jx}(wǙKǜ'MGIۜ L0[w@>Xm39;0hj`m,^og]Z+-ηe\8xvfcx(LLX'g8*5NMYg,<-96\PęmD_mj}D˹1I6qC=Ī Tx Y$(BCv+.;G8N~e(6s]n_8%Aдkt@PR8Zk1XE,*CKppсtY2aV}""zG0Iv<`GiH($1_]V B󀹛H1P{V*XgeԅUn; 01$%oZ׵v\%L96u"wYZ!ԉ:LyRjCXobxEӟ0^mł#:ႛH.9,iFbw'P!5Ve/aRz6Luy4$gL==br P zB Yfdf~90.z Hqr5+&H! j+EЩg=3sa#_9E (Ԟ504 {9\W8VctLt^yA&z0`73cdvs> suMaq&5xG{_vnOJD%yy7d$E 㫮!njHKӢȷ- d驡''SP{I )9 *3-LP|?}~5 `eذk]e.5jqp4 E:Ң jbiQ[Nf+SL-u-.XƴA' *6JzE莺BhQӝdnDt ![3@AuFZC$OUO?Decva3̇K$XJSoҼi油;.,:)_x{MKF`uDSCʚ(b1̀ 5? wP.v=lXAmD7%77([\Oz6M.:tPDef6$`l{+*GQ}51N~7Ġ`xqy;U[=]$9ѡTDPlMN;p`8S.ʸ"s=(޾no[ =4چD'*F#ѻٴ{sZPߛ7N3|aHyH{T: gzLmo0wV!Qx[&ߎ [v"T-(ttO5AuiPix:9?J0z$!5.߽,,\/ZSweRag| 7,>U Pfɲ9yd-^ Ҿlo]jX Z+U_(W1oieg!~͎~Bg¾lazAPdQ"#Y֓9UB*vxIpfTEtaE\/uq'}]j6${KֲʈR$lQ\HZ1)u2jrQq7ȷ}/Eh)rn{MtQ"5@#j.铪+zeoA$k!+Eq , OH5DLYljujtbeն( P?pkX6 S6Y fVkv4 It +v&!E>Rk>U󡶻>@.V1{{ Bng,T|1bad},pPj,ֺ omdʫoyn?hiOjxNǞ yFV5#}&&T/|YmhDKb`\OSEMvrQ=u*u=]= q`ذ ,1WbBxV8r@jL@)zF:Y^b,Ց`HIc$s(_d3iq0 [4 2_76ŕfI1nu.fmkR.Woth5f!^~&G;inM8&fE.IL!CqS51daU}Dr])”,::VQ8(=걌)R2zG_9W}vPrH%5( 0##ZB< F-[ȕZ{9xlۥ݆y c )UWn=qkgy ouT } _1*QFgi3mhU z透uleBͧ%*B2 [չ]x m4lY]Ve@w;t!evI=6;8[otk!m*yg%ŸjRbDb$uD9.,Yç^I9ԢȆˈjQߠN>x=;6stHxy7mU> 5K Wioy!ߑ 58^,'I/[GT[0]E gU{Exb=4OAMm-/1R %4:۷) ͬ,w_>As#,TP$GQ4M+24]6o9Bj[Z:hY`NL#Im3$,&'V \=퉣m7_ }v$7ZI݈!Zs 6@,׍ p/xس[ϡPMӬ ˀZzlp$zv|wd)Fv~ulA +[ .TxKyJVt{ۆ&꒎6ш =F6R`2ϪRSCNYE]>V6}7ڰyZ'.N"Ajcp @Ց*-UJ"y;2?ΩO7fM>1 wvjA|wyھ :l1 &+VZ k^`;W&H|z6Klڷ\Nm}>&F?%.tZfƸ<.ddEt=T9)i~ xFF)=} 2E7kA^W~m d񈫌yU Di^,/8w{Xrhe!޴rwoc1^)+= A =k b'k%4yk"'¿rK!MUW+ 8xžڵA828PC9۽g8Ɗ./[{G?5c~Qk纮#緭+BҧG\h " )W{͕ >Nj>I$)%,ZLJx7!zlm*Xd$5{E6yŵa'<$םy|㋮GG̫r7DOtu)\~/觷tkRDx( a|(O2ą+μ6LuIx=>r6UƹaSį&Oϐ@|Nlų02U UB}o 1cک1&S ~|$eTG(m Kʕ[5ؕm* %NpdG᳅s̖&aJhtP\ RDi>kxYN㟺9Rjys*8!l*yvBsnKg8{ ۧ J_vz}Hv t.M'kEұy?#y@vMB7:95P+}i*v- i/T3J`Ꝅ({\ ڹ9Ɏ9dTs]G,e\zKǙ#oaA| +`,>bAbۈ?H!]N嶴 b~X?fS?R݁:[ϋ3wt79`Y]. )m]ى*pl }S9zx/{y7"Y1e8)4!Dw{Xq_zBwҖdN~ڈMjO}o (Pq(&z.[ꭆG mWMֿ<7;oz-N=Ϛ(=־aR HD OsX/?ri][cVy[ h:9@a=@MOOؖHN8j'-=9p}[pR-N#Kcu)0j,DorR2 }>Sbveemi 4b:$*kI4>N";ʂwT4: 13~K~҅ zIU+>v37&*%r@% zZ(N %]Z#t DX4s(liy5)=a09 Xx9`Lrn̠}L+C8XwMO3xb0?[1 f_ MMD^=݇Kxpu<,^Y_9p/c8a?qLDwZ/IKD}ڲYqĝuH:Bz񱙖``GەEVj;o9 PCmz2*"P, ]OӁ!IiJOQDgm(w\-t7>޺q_H<[٥bs"u#ͫ!(!c<j֓GiþCF b8{=` XW뷮t!,@#*.E.84=Cl{J6j[b4G>WPF|GQsW g<D'JÒ C_ VC\xOI|eN'TmSnx7mكgh|%#Yv R}} ~e9s"+C\rY_R:'a╹fr~: Om)h0|łȚmP`c.Gڪs3wHaVm]i_wϭZ}aBWC8q ۊHh/[Ӭo\ӳ,reIn7.Sn. TJ 71>݁/ %C(QgYZ   W 9G# ,HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! XN]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H r⿢pj%X!PeIR¼k\z[p5GBjO\]TzgY|hG$p- _Eq+H(q$Χw véV*8SpY#T xU$ɶ^ͦoEwSbe>څ/QTUWAMȉSc'Bvw&Z{|y}S&AOTK($ S~UvA}gC|BDK E܀$0|)4e6[U8䆝rY)tWVss-1c6mn<1/(I1ܩrz5݌lkt1v@^8rvQLjJ}`ňsvZ&Q\.j tf tKIì6B­%?jS!*Gݑ©*t5󾿮E56ʹ| +6RビER1 zW cvy;l|k|ZSHfjGN,M "[$Tr0cW2 rf'NMF D jE05Wۼa|ά{E"EjB~Lk7C (nSrG\hnJa[mCOWB&`y /F&bυtZq "n@;^SvZ+N"]NtSf!oXso3DzV <7z3^ǂ- qk k//,2LH?s+yyMlf{؇?WcU۽luX ׻u&!C&ήy8"U Izd8ۢBWULXcx fl=2|8 Ц^]DG:z?[뿂Xj^v'̵اqhv!蠟uzCe,if;&NK5rIBN0L+lE\(M/֌SJb1<;͙}ZMQɑ?:ǥZqkŽpzKk| Aj1ڄIF mD\7x%l,I:Uήpf0[mC (Fy|6&Orh=){ɽ;0dĚcsW).OE[}^JN׺ݘE߯TKdm'jG=Peas a ?`9NW_Ţ7 5=wwfQ"@E#qDB/*ݬs=];A`x Y1۞.r:mk@ (;(Pz M-IyඎP{;t7_\wG `?2g5SPH ־po 'c\)OUb%&PkZF|ЭDpH 9G' |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ikx]Άxʆ5.f-9 rq@ t-V.3 q/]ݛm(C:T$˧[z-+ MUJ)t9=+,jϣD`[qʕoOk6⿴P.x|,b=(bb ]EűEd J;Nvlm9EԩU p kYNjոp梚9m-DC0s?*wP{#eM!'w a)BԎ]ruCnj\Ez3M1ÊsU"VӅqIh1)Oyhƈ8]$npT9?v> -E0+|wS0,z|IٍBdp}r mXXh%cY( _eG0@_8 <"wP9F6gC57H΃ԝXmhrluLNpX^LQ,-x@VP,Őc6?1: 8O\8tn鄭H6_v:lo֕w̅)P#N#vf_|ڀ'J`ZMi/etB=5sn|_NPITx:FgEE]~b [b`(?-=Bۀe C)RmAMca}@0]ۆ?!ŽƓWbEL`%ҚiLx^Q`'u]̢fUo >O7 OC7`S50|R1#xIzZ 3|^$0=v<FIӀIM{dzf] mBõ)6_I 'wm&"7-e@ rcM)+J!:q$X5n˯B[! .&<#Jm@Bum3v\0zPm=W8» ܧg@QeB6@"4px,ut6`o7eMK◤@Ä.dLM<~WaL,Pw0*VHb,2ʑj fƱgYZ)< V1܀͂rpj.aDž^]3؋UFTzLݑ7ﵣ-j0m3%XՋ,=4ᦱ5mC 0`JKL)>76 eϮ}u {R3q&Q8.U7쮵_Zy}9z|m.kG&]0i\`}zdL\sh,l'KoPo덊lIJ $W⌑Ae ~_kJN7ǵ]|Lb3/Ro'T"vB}Tb̻Ƽt5O6QI+՝6+HNi߫ P)/kz|(OGijĢQQ)_H"9:2芳3VlD3<(>9`.CAP 5;7G߂̼ =E&0U84\j8$IIꨛz[X_qƎ&Le:bqGMklq;p6b(dZ Ҧ*ZpGi)SvfLe[*, EHLSVWgm}o,3/w'Ig Gz>PR>n˷{PU#^[;Atx밾Άo$9싆4_it /r[oųӮ@َFQU6G@VSZ3-_&* I0Zmۣo; TI =X-o;TO*`.jzп:y(Y.780_p*u_ `-/C_Ь~6%3SM VmOHEP'>}j(ü}ա':鳲|A* *6 NnA4#.x!!QcKF{Yģ(w|`me,'!ʧ^{Q$7e<8>ufXeO("c@@\ev(ųe>< ތ"R=p%3<xi|Oj@wy:eh)#ch8j6ĆrbfL7Dl܇8ǖjǬ FFe&R|S-9jHEgv$MHs)BǐCHLcZ[d 1 "Vo)n||; @iGw.[S y:yp7A`!kCOۈq}Ĵgnفǹs.= ݻ-Y*CSP P7&di^mbO8 |(XՆWp<^U#*H'{Uq5il]ŞB6Ŝ.jG3ǏUKԣa2f"7?3g+VY 4|D &|K[D';(fhRjK}b@` >S?ʽ]>DZS\>fl:d _OQ %<\ҕchr!C;gZ)nsQm(x7k `ӸknLJsS 5Wf|g?;⾧?G Fj?C >F}[9 b7uX&'J%7kYa,9͆H/`SxJVd=Fn뜊TQ$ Qp[ {xߞ % o/e/kKF _E6!@b q49r!@uy|OYվ/¹!Oʖ1T֭+2p#Duڊfxr%$s7,Z^NL'L6a.H&I'aLYHq6T5P#T,ǧi׵@Rnk5+<7O/2wx@ ٷ;#$e蹈qsK2`IfNiUR%6˪YI4\i[Q+ xL{J0 DC(=|wHDz}ZlC<>'Ӂ`lYx tts/Cm;a># C&Z9:HOas㗑N{9$f?UaD8ƫʡpOa8^i}oCZv*f~!_0k~ن6?U9x8>BERpC6L!',#mW51Ν9|t_1R)^q'U0(b(Vb|sAkMF\lSc PMhX?BPH?__+-&Qxd>&D.B~n£LV:S1;,ڤ!^zdH?cv4Ԕ-.ݳ[8/1dDh'7qz`짨m"f#c;LQ\%cDKoMSB,;7.A?"Z= !*Ԯ:G_z9eN s+M Q}b319k:^B?NrX􋀲yKtw 3FaG#eȨCj͍FUUS?@qrǼsͮ0WNsC]49&폠|WٟcLkLdB*LIWgwth7[Gx_XXιm;ۓ ` 1\pP۸v ?lSe*l FoOtNd[y>8G} ([u;Dyj] AZ^-9-1KAI.  ײXb#ԣ{vu9fE 怔mK ==P֠z\y"1՘wڦvM.=; uy}P)*0I0MF50v2DKQ?\*JDo$t%XB\5L-mt\[!Gx[=Gz(āh3؄^>#r,A_Ų矯R'̿ͦGI{nM*Ado-u'ʍTdoSйcYX?(NehgL{G kL{$Gp:yoGOH*N@  C=P,9I^FQ4 AڨN\yc53:bBv-)hۛjU䬘FdXs'cFrqvԈo&FWp>t&!Rcs{jk:H]E)~nPA}a/"4p UW%D[I'/7Q>[qaG஺.d@(kV p-Dؓ;;~Or4aH'́oHjS\)KnaTf vIm#*fqcI:8 '"Z4K~-$"A@8Ay"Z簯-RwU|[tn HY@=X@6d=ɳiW!3o@}ۆ%J4Y0K:D"8&m)[SO(-p/ߦLI0Ӽ,v.u"PiP}Oˎ֟L ,|Ipti.w3ZD:N=gRE̠y+KgW#A+*X[nDS"IOR(opsO]ޑL&BLg+3ׁZ_pO*ai?}aГ+tՅ( X]ߋx3890hkbHm0H%XNUm6@;ЙS.t_M h 1 J! t#:0DWD)ZPHC-frH%bջaN$ʲ#|8Q w̶.rL}{VSVbÛ|^UE+f!?$L-|}{oU?mԍ8&??6!}pGv7V1H#Md!te-@ `d$ZK0F2BQ `ЬlSSt-Q}.~zTf.zR1IS-HbGQtC{;z?ɷ[~4EK||$#e.R>\rc:|2V+d0A"rnTt񗳂tqro b`;OPs?M;rl~ qpU|c_v~攏evZT +P@2LXM7Ӿ# оGݻ#@#N&K=6$N`AIL[Z_ $nA-[oV| (UdM<n8v Њwrn]p =]2j8[m)a'zIL+lBOס<^WbZw-(+wEϣxO Mxc##1Ӓʔko',G$CN_Jڤ:8BT=!,l=`q#iwx=Y{+}YAa}6n A'g Recڿ'ȄWV>h)Zȼ4jriXhjt1W۲d+Ȳg [o%|xi\L)e0ߧb(Pe&meVAWLmS-%z^irԜp4GKdMv :1"˝>pl_O: h٠^FY}YRiTOT2?6+ ?! OPOW[{9-}檤RFLy@\NX9ME?5k/3;t}csHp@ɥm `4/fGa⤾yQ`{eB[_06/͢3O_pyy[v7ѷat)Tw rq在GtDiyiOkBBF<=pg8i=@;Z#to#]sw'*h' ۤPMT'e"Ml]z3X:2*-݅}68 T=4TbKo)g'P39 9k[d|t4،邬byXa6 G?lZP_rᅮ!< n bLx3y02 n5tayqri>2G犲ANE&1OަqӫO楨g!L *J_Յ8/͜C`gUą)y~gg (#.V7ua]4v5G#m1BuZt1iAX,Q/"GP\5gEIǟU!+כ0歝Q$}9A-RD߹q Y+k!u<+Fޑ82 oAKP˖O|+b u`kyMPH79C V\ C'sf᳤Qe$;f~n8 CH*lᒢYV;g, SUoU&Zj'`f)-ıA2!L *Lޖ͹yc-!BxW l|t{͹Z+S* v[a"s5; Q_r%#:&4qOXD5c(~֖mτv([S9WxMg' kfn6[(K!e+y9!"&DUWC!Ucäit+{阀iD-}w&ys#(VKmnf٩rb1! Q }ՕƖv߲M+kh瓝J*բU?lQ`m.A)▮PV3RPM[(oh> 1dM p'%o 6C 9KW@j 4p:ye+@?M.xH??J!=yFvHW|w B{ÍFZ'O+Hgb¼JY?zzZ=mTʔ=[ҵ֙ `Y{"Be֢ܐN@OQ|rfp+=9 ιcVөx X\ܳƫ"Lłrl]>y M:Yaz[" JqOҽjt^ոxNaNŸz'{{rjS[kzQID{D4a-Kz k~Y $V^,4_9PÙ?tԅ+3Y:31G _BVdU\90ӕN"yNН ʽ(+4vf΂GDp 4I7Ғ GDngx dfʶZlRQS3=x) 8Sqݸb=ڞg5mZڈK DǯB-wmR#Xq`/M/;$@Nzr\N]1v#N5VgM$N~P}{D#ұEQ5Q¦Dq'm&)L {<>hM ;2)[tn HX~ЉYuii={4<øȻLxvO"^Ll(aqBWtJ&՜-`gdg+lᇝ[I@ϯFv1s%Jw-\O}=ﲧN7ʤ?&PeP\303eqb@+3"CE_Y[߲vBv?"_ρUEs 䶗Ɠt W:zg{Tvi:4;>>!c^a+ ܛ3I%76}{XzSbu%Z_5!"_;/Mf?<^7xջS~ 牘<>A; *,:@=vVSgŴاihKv7d2 hyh^&F={N;6vK(ߖDT\4kWgZvV:W/L:mYb#,:7fkX2B6)RHG3ƧCX. ,&hWЯc ҧP|zY%H^)N.M_ ǟnn"e|BF1FXQ3,n,{-d R2 Auw޲trˮwɷkm{m FqbGCP2+H*}Eeqz\ )&ٓYr۳Ve*T,zPIb̺<ZQoב:{U޺O4N0h}١ ҫKtN[ȵTGv\5}plNRXRƤ[cɪ+C6(:[PeV-UfcW@uZuѼ&;*1_jշ(]ØR^莔_Fپ4~ἄ,]oR$8TMLqj?zn=dGյ*xtbv7AiX I 88}*πc;6xT6&Oz!7M( vj,'ϐd{ib]Ẏ'/lP3߅t&)')#L AK/'E*Ѭ~\g * %SOCf]Q;P3=<[us)שŽ]v,86m4nQBI|PL!1kR4;9mͩAd x)曵'v"bFkFhICV3*v 9,Xȣa9@bjy:-~ AS! cl!Q-DP zyWKj`]Eu*'n@SnHTx|t' 1w27ꑷ2l29ͮ,ZKywPcRb$?Z@#ٟJ7yo- QtkNDa>J a10zO?{ehP %b0KV?Ͳ:(=a1ty`t-Ot |?Zwk9e`1O+>|L0Aq P'hgq\y֊&MolǤJԔK[Dܨzjb R6I! Y+ FmtjQJfeMFm$:f .|ܞ֟ϳ o5k2xj* A.mDF\PL&f"yخ{NZW4^7a _q8gqӡ;jHͥݤiY\+xreJ@lTD594H$H{8 {^{Wʛsָjb^_ABKiY]?Qd7zR7P/s"Y65vKf0$I{gdgB0\$g{^M`J@ku0&Q ' Mʷ#FgSzF0^-MB8̤&6!n 5[D>( ªtm ygrfs5\/opб<N/@b> m$!>yQ4wwj% d\|Fí,s=&&\IE Z<`tjXclpDhY \HRb\Љk*ֈ ɷGTџ%/ c' ;;{'h U3&'Dzt (>F5xG%JbVQiP^= d;Z,}z"(v{O=mk49j:pxu}TnHl^|G)> e|dT`eAL Db]GY5f꫘ !(>LxAeLľ][cEvOeBߡb*u "kv)ڎ)ޗ 0  g%I<*}:Ķ0n| ,ỵb̢ 2gy\T>]T))g.mnaw%|<{w:`{! g}_|py;:i^ @/;c?ὤ'zH0"NJy@mz3if XX.*&KY|,;5`8XbR9mOğW(P؉\ ⁧}G[C ~zXbJ`.Nqr5 ^,#S1wTParғۄ,D1dݲ $w@ZA}rɴ۾| y`aN!@sai/46i- Wn%P̀qpoyß>&(6A,_gӠЂ7H#qEfI5ef$aŊ'n-'yZ.$.& PUť&p^x&XF&?[\n)aLHȽKFL qy.lkE#D@.G')l u`H}.ujOPoS5%՟|zySipq U " d*df`L9dUv $<3kyq$;%*}FfF-6n}tiv~xAmo{yl[/^vu8(ƈvgJʐ>2AOfvZuNz}DB ?c"J8D,fo^efbSMCYƲ3:T|傺&,,]YwZ*#fu'sx [^]s~A_P-eR,?i5hW:qy6;નXsC<;kz0ٜQ_">=?%)d,=0u=9E!;bXKEܛm-db`29wLlfyBw^Nx`Ra}a؞W9FؔXnr3jV/\јr=1cuXrRq< N[.Mٌml&$ f8]pe޲6|4z6p0 PPs.  8kq)@Ua la?u -&V9v2 ^DB;=76o0ihlY >*ݸ C<"\c5Ѽߍ&1Rpr< CQ'+:2bki'$}WGvX\ݢuβ–XfՄ*R=aC~=bv M2CW: u!b9?.D# tPEtVZmaBGz5*(|ա~֗,v j[Twp']1g[3xP='?F@r c`I:w,0p#l5xlN}%rRaG~}QڹgQVyt>v  4f i45L&ͬbS9NtӁ V|,j)g^gX'xCQ۬ݟ!|eqKq11v]W 2lׅ$lS8M7vLC^lc,$ =7ڨDm{ɨ\B4C!dV? 7%90Һ ܼ!XllҡIǏAͥ!Qj@RԞQhO`ϕ W}ă@/胄1"-| {6ږ^wٔSnއaiUF^ǀkr bq{a7Cg NbB Ǽq|, yjKΪl"H9\tʐH Vg{WG)zG ۙ4 ]K{ZA{5~]'Ih_75D! _)/ph`FѴXO@Pyc*t!V"=שJUDOq9}6R<*=5 ^ QpX0/(30#ڝyV<+㸁 ׻ή^4TJo 2ӴtWaw?X{L{:@[7a0q'ޑp A!E-{p+η1;3O!g!c3:}m&'Il?WtN!,Hǰ,;;WLOO7`T"i*7By6*\$Iq2wҸ:B9'^r@9&qNC훟QF_UTfYJE:3pҼ[&iNFzNH1VܣFb^fEk>]G$ R:+z_jһFj+LH[ExcE,1dǟ!@!7WĀKq~ήCq>X1 ym4E +4,Ugj7`kDڋZZ|k(zŢʵՊj@Ic!=hsbD/3SzXa.~O?|:KoBr3lumwA'J8 )u\Xl@x5K\Yɕ) Wkx_o7DFHۍgpg9R3Y~}O@Mz}hgW"kmclBRp% Z1l^1K"e>h V["'W`w}^BѤB*'`=_YNVY5 *VatGh'kjipµ\|vpZf]-Ptǽie*F= νQ9C0Vq~&Bz.Z@tufԴ*L dpaqF)t$EA Y;)e3 mupD*BćLg!<9uvhFh&[4oZ(킂V3liDuw,!N!GS2Û_W?73:lg8r^=:?|xDڏm>']*ARKݙtdRб+weu3?g@ RWmYJ\kF j=,ޏ´9LVk52eӽY!N`yRb-#NYxd~JZ;#*a|(`ꐰ(kQ_V}6'10d_Vtc9|k"Xdg2Ѩ2炛^(fmt`H?)3SWDй1qM*:6ğ@9D!) K!x|Xߏ'*.}.ǰ%Yɸ~?':y2B Y.PF=f6LfSVs ߠQoʌͭ1?a+9>%q'Sm ǻu_R8nid 5f+YWOI5ְw@ R=D&'+ٷ4;V5!P r';$~u#k' 5b.3v)/;g<L3S>};QͦcYZ[_ JN睮hD,9s'~=, I#lZƣCHU{.WFl*FQ"Z!Pu/ X lw{܁1Y}#e߬Sr @~=:*i**/9I)&)Og:K?ulMr1G~yASv:'W3 >e8iAJI"fj6P$A՚~{%cg"K;?7~J&W@';|f15/>4=!ס-˯vC$@W._l8``_˓r$[,cNuo_n~HBabڗS EZKUr<~rsHi'[ )*'^[lf5\tZ,ĒOYfFaf V4Qj\yL!.o68/951bU(jk@C=~*ADy]`s]JPc1AȌwC3xU*OL[ 4>Y ] SMY{Ph=UuO[d~OHdXκ ]UXjŏJNW}5$T8K ޼|ɔ͂نΠJD7%¼1+)aqYk[] q]/d$飠 s%]#AlS'\`J^Q$\Y@*RұTXCdz BR?e r]#tbhm,ߢ @ǔY`+ڝh|x9 ˾ܶ-_c}Î,JhpS!S[,eJ*cn\P\AmCz/z+,ێ pl|t$D3\®R̛AXkfE1򠩙2Q_sGu OpA%ZP~1H/x̆TVeaPW@P~]a_t2;H^~Zdw&GQ?̙ Zokriᑖ:9e~2ݓO\r !gɆ&7%!rn-Lz!KlE`#>/ ޯG)2pc)J:{t>؅:rQ%^mw@$R,@styR*aPЉk )k\L8Qq`!X5V}Wεe,GYĿŚ|r]y)S/;_`Rpغq1>h-͊/j-/'DqY>:Pq2[F>/yc`ʹ>T{=dOpS4=0֧9;НhZcW9$ hOn烄Z* ]iX "}7gKcB!=1Z>Q;z-t݇^lhc4K;kӈ@R4oK')AȆ*՘;w.Z ]_+TtӪښ^ыf> N/#0ܙP糗x `Pk4*kٙ hPco$gE i03_^G<@NJu6/b$lsnQU׳L}|3s;:L&D 'e~񻠗Ss{wyy/$j~DW*AXxbeV===L7>pax fbsee¬JvD$Ғ* 7bƼOo蠏w5{ߟ* 0'("|OZSBl{7\d.6>N]\l釒 N[kCRlv`oO&r,Q>j1~Y 2D f&Y#Z1#Y+c+xP&B9pT#wF߯| HFuiVX+\oRv̯)7mF}Y/g r$vMfsBTWTx8_,NFB^X=dB/66FMZ'= 5@#Nb~n ~6L)ƤH߯%ʪ鵢g r@q*8ܭN CC'TD4 ƌ!x PH#:[ćooJi=^4|k@ϊ5iHB\H6!.oFHւ : OTk S\s>$vO :BPuŜT6a+:8hߪ꽱{C5Aی_dhFD쳂9o2#t#'G3gn"zCWfWGYwݛwuZvpPDvh Ee__Wed'U?:GZuC?enç_3dzsuRpt%ۗ2?לONnW+F%V@ )J[kJfm[HRn6c9<6M͍qjIj.|E@\UxYg~/@s%,F~=d&JM'w|iql ]?NLQ=^b]b7m$4h\-tD٨F 9 C-%YHU07x@J!?vo}7,x|j,4)5oI*>: szܘy|Ξ+\(`JQ! 5O2S c|?c(}۱=$\S9 6)Kgz.ʑKUS$?gjp-]VBd+v,ˋՇpBw<>:Ֆ9 NP.}u1[R)o$-e"Y~6^2I:F`̢Y@ ا1qL[vI|(9ČoшW[GZ7: L/z32TlG4W w_Rbi%H\yTm~dsZߛg hM"<0=7CDmB(!! ]k J+Tn>\q~m,F_ ,saNm0:Tlc3hJ!%GLQ̃Wrǝ6(HtI /"C;zՠ =vg)|j|z⋁3@]M)hy6D+?P,ϛ*騼cWSBu;G@AL7ccZzK E0):ղm??uP'|[p#|Jf0`uXux. 2:֖ye:+yDLQ[^^Sj]$s\' 9B^qr~GqK.?@Ϻ_+4{naGoE_GV")ҊD7LsWI!+<;ZsxJY=k#@I#q) 62z8RA|4H' m-`gSfzX.Q3h>SG/uPYh-@ m6>hi V]A5?xg]Za*`y+٨PL*R>&8Qjnz_g<0C\PR Sc]iB,'+(|vi o߁ҳtF/:p!>XƌY3M881 R0!4{V5OB WxЪߙ)_#Ĕge5'EW LVGA!52vS  BР=]=4V )F B%w.C#!B70 <£/v$ bhכ a͋ R4d^4DT0&J PBbo^^/"/'JwuR'jh]57߉w*w+<<.h==} ԏCT@3O<_xQB$$%""ʮ^< XoL_Νרx?ergo_ןToD㻲|E!8GZ,Lԩj(*Ɋm}s3 MO9}6 (8H>i!8WB =dن K$Q&XUjP$+Zs7opn풕3 WUb Rg7AOG27 O.JâtK/<kC{.*}ɛCSXE+X+Yoo$t|6%f6s2b T3!}pɁ\opLjUY̕0%*s>CDbP?Wm]'Yk n8\;M+Xg[0;[t衸wb\!A&F fϠŅn`Ku4)YJuU]ji0_m Rixemev_Kids![LʍܤU=yLXݨor4`LEv}~0NNkm.m%faOyůWPq&@qwKkpMn뵁7Vxn69}I&R_ go4[Cv5\d:I8߂#peŴϹ&SY5k=m_K<$azG[jMx_mB4yO7?_ۗsHӤ&?pAP$P;v`[@O>/z`MQј10U<&n¼K?Bu#Pbq_iaM̬~fse4_q$cD~<w]qh@ن0fgf-oLo\#\wpXם v=zJ[ -4op7BY4NK3L 䳌F;ϝʼm x b="RT J,h8 RﺊD)f0ϡ&1J3ڒJuj.R3#n^Ę[TmP(/ڛgPXT0vk0v?HÂ1dOsY:Ē6)@5 1 {s^eD:ftk1 3kD,OoCrU=Е#߾6[ZU ={o~ Q[L҄R{|r1|f=\&dJv("+FȱhŨBs5SщJ싟_OZ8 (NG>g3 } d-oG uPj,c(0zSBώS'WvfIU V RR OOk?76iPT#:zpK)P <ըr_eTqm&82~FqEN:j.Jе7^=? +cz Lզڤ~s4Xt<Xbv)2??G][jʗߔ`WU|Y/(ƶC6n:MT3c8<' j /U0)ns4nIK襴 {+]@v fq$7%*Da |5 !Y!nLyd}9P7@M3/.e҃SE牌܁l mR~*Z+B(絣 I.X$,ŘB~ RH\C'#zCh^EԦ? pԩJxʬT7⃑3& 2Kc=(^̑eDVf[-A%e^vcv8K88|oѤP|8yk>9mv"aŚ:bckU'XabM %wMeM<"#Mf:7)Jfui񰩢M ٲIϙͅ左U4'{ ݭcwl&u^cG0ORDj+z @f4A뾱:(܂n*]pڞ]χ^'NE>AFiNY1#MǓ @ Gϰ.P y&< ;?䎠Is *OM.r$[}ƉK@} V DA<>!$Z85)c"Ŀ \D;3UM1ۉEʌf?lev)V02e7Ȝ7s%'Zz@p<CUÎU%$&Ǫe{Z:4rp,x82t(BTlOh`ch =&%"(c^xMcӦl*$48nQw)xi"o-ۜ;Z:ƒɄ_h foNb_9:'0Kبzj"[^N24+Ǟ:k#ǯxr1LOz$t+"5thz9Kί82"5qܲ KG G0z6?Z!!X{܀\֨rS|%$HD}Ai kv(9+a]THX^Eqs[)I#YjiG6*:JΎྲ% $WEBȍzd.pAeTg"X3~yR9QxӬvzvD06V+i/e9~nD1S9/;&^n"Ǔ]YFYGsU|6@Bwr8iCwm„o{Hy_Y%}%ѥU,6F0И \FwstG_ٖ68LB!)K0GE\켡b:ŝγ"oYNڙmliƪ)"soLZXO6QJlB*#K(-psRՐ|S#)(6-QzC%jM Y8fI*zX- 'ܼ%zub֒~6KyhFTP\T2D0/Md its.eA4pTquv~, bnkpQ_k%m;. /K=ik)c`N+A/x]R:Hy "Y9F^/.?ϐrX-]HOls^iu>NwTՎR5[\cR=ISI2>KF"e lh(nf.'.F̣gUe sf6Ң_}'6Yشx§U07~)=x/\*KM<Y)f1큜{l}nI@Pvyb#_r>TSBh'׬ G2Zh]M{?4fG}{۟ޱAtjkczXOS 6yQ* >IDs)n@]2ㅷL : kdQ⏞MюOg;ڪk*#CF]8٫i3,k+$W[Ͻ#b"H7%<'rc~cP>6-C) ]ԡ58␽7?IAO^{l>c%uK&3yR=Z0]NJ^=P\8U#3 HԆWcJYg_skL[@)„Qjr5?)殮sSjޑAh~nl{e@=RV:<=?@~loQl~bxԳZy&A!F1{]pb$d) ˤQ]\ y}kU/dGZ RIawJ"u|Q/9ߟ*p>_^9 `*zeҝ3D\XOO֗ݮb+D=4`e@h-Φ۽J v {;"!< D -wvz*꿁`\b}Ѻʺw\}H&|d.э~|$&}-rf_9yGp'|˘ uoLɻ72}*>-CCϛ*T-ss o[Fڌ*|`19nk햜F˗G6mf mR{zz:MNc5*BʼnWo`-f41ٌbR LѬNSU v}.3j74sJ wIp䒴A>WaHI2G!œ?酋s:SP+0fnmHwZjA!Wu*3HVY3GEIkūllom;~p]*GAoB!MCwF);4. _Tk$R m@jvA4 ҪC duҬZƒwDbu-%pxaze3ϾrZ+&f6i%M ,DŽs?JIR[Ȅ.;??#Э}#^O3i0b®W:]W+@ngkI3gͭf%-4rB7GSt޷,NR'P7\uhv\8*0, 1Ja0gr4hK ~RS$&bgH3~>N5Bݰ:sk@y+CLփtXh0mav"Vl/ޑM[^Y.:õ K]ʐ\”I*mi])G\KdmjSتg?Ҧ_[Vggq&h܄LHW󻰬XeŗJZ 8 QvI =I|~:I9H7Ҥ#:K,&@gMT~Dî m*3Fp SYu``4q0i2𼋿0Iq޿kRXc1_Wkvn6u^?Kj7'5̍('|_=3LD ;'p+N{ޢ=CkpmiGe?؊;$B!<֡W%0I6jZyGt9!ت)>*!| D-X|V7ckh  ([/I['L@+$pz D--\22O+|v<eC8CT)\mO3)4ИBy\q6=!؋bOImNːVt8>kr6NinΝ^ Df_ZxyPAl1+;3}ZUy>Ոaasq6RNy@MMK6ZA04/ "ÓDk.a_??T!r]F%u4G^I;|I;Kb8G`imF5ܳ|V(7 7 K93Kk)7}@M-anF.t7.]gYZa811bf924c1f8da25d967354f45538c6d14f965221cdc0b7ede6607d8caa98ee660803e107c08204 ca93c7ffed152f60f4df396467306a3c15d49576 8550c45aecbdcd678164a2a2bd4f828eb16343ba