SQLite format 3@ " .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  N9~$4d ] HOL-Datatype_Benchmark:threads=6elapsed=513.115cpu=1901.800gc=681.2367zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;f@fB0}A Iuwǖ 8#=c m'qxhJsGޒOpyߙQ^i^5qEצka!~~vȨ^>BSQw:`”:uA.ɜEwhďO;NC,9dmlT;nVi !l\?r5R&(~=նOU7ɚhIrkdYָ`4]?>PZEn7N Ɉåm":ڽVTt5[#=yUJY/1 \mƃǿ-Nϥ,iy\Cz+B)OaethbV}NKcZ{MhYdX ʭkFG^Ac1[EXA۰QP`yȃ\أ*^m>o:48u9ʞ)>`|䭷LGɗQ!j 0'{`5ݶ&BGe$_rƶmbD4b*Ky 2G2[n$ңj$IO4h,#;&BZ#鸭@.%)L^( )Im*V]:^&ɫȶ!W8 ieRgYZ7zXZִF!  ]ŗXiɟ1)*u%9 _# aAݴ +l 4Z\F _.ngj7rXaN$Q}!֞# ?*lToh87< ` 9 HOL-Datatype_Benchmarku9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id518N9G3 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.tex7zXZִF! ?]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEy\1Ek#9k0 uDgSI P4Bߥl`W*0h:gsB ߬jN2ea.C5+,(RmzX1 e)KEi!;6`^ɋz˄Q\* *R>JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~ I  e aF9G'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messagesD9G#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup C9G!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files I9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id H9K'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages F9K#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup E9K!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/filesK9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_idE9I#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markupD9I!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/filesJ9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_idL9G3HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.texP9K7HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/Misc_N2M.texM9I5 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument/Brackin.tex  Mkfv1_[{ĬӬW~:QMThO(x͆UaMe9uZ02c6j*@${w.Dam-%䊿x!R{x+u3ҮmQ;˚‚9Ǽ`iAJ?~Ԝ̂g"tB~z s~S1VD|dX&X'5f@5"*p#[,Z )3XWs^Z37^a+nlRVT'tЃ~3A66]+D0;&4ߋH JnvKO5"-I/2brҍ3hC+]Dr7@~uMf% 6eRp /un^1i"TZsCfؗ+Ø sYBZ<f!k(^,LuzcYb`}w /p:`a%(et[`  l^Eg,C$̅*͈S2?lYR-Ɨ !oC :Z$+YE!p41›>zHx9f1ƼCk4/S>u-ϒlaa 2ӎUa6C;@lHMLG~x1hM̱?/Pݾ,sq;Nߧ۬ rwBFi>cfDP5G7PK "gu<ӱO,"bs%ib0$ɨ@P`&?P~V9eWYg_z¨;Pxdz^Y 6fst%\MAoC}2"":[mx{wB_xQ#M %JHBĞHƙI? -Ę>%e;XvC؁ȭ]٪'[?f? 7zgM$(~xzxnEL{?\ȗN$|wCFC C.ؘF" 1/VxwS6zBB4_ACϟMJ O· QP7ɇi=p ״!: ^ lBJ$fHS#4ju$;-ٞqmS>Iz/o_FJd V\&~[iL}/Hk!.R_SէmG.4hZuy<z捑;"lB& (̈k/W}8CL sE*O0}i8A^=Y֑ͭRMQ,հ/jfu֒}?^h\ݑM{ nAsMS&3c?ʾ>g i8E |aAϷWW Mm㥏CݦpN∌7x{E"{pPuA51WvS9񢉷5:_( 10-n+螫!*DksO~»XɋQ φT0+WDhlG;`[!ѡ$Ҥx | =%tP[Rd&2h{nsyr>u.W,y0&>2^k&W͢GQ")>o Rؤ$TXQ,# R. p+`y#(R7,]L׾ yH3dWӉCرvm$ʴ4؊4]UQ /3u6f'z80SٙA(9olzڸ$UقwׯuD}L&Pul9UO}RX MdKt,ni>Qp)T bTeE"s$ K?A掊 >& z ~9#|F $ɟԣr8Y!燞 _}A+%AXZɊTt} 6bF/OXGh,|)4Fw|#_wf.\=p_cux}ҞiII4;!ҮcN7j.Uydm@K35UC&ˮfϜ܎LƯ" A:5p UvLmr9#}Zi Zg&a&>{,zr7 b6vd -I&ݦf׵VnqgYћ ]}Mֿ>cQMo>Ss@S%&jP a!_+Kַr2P"cbP$]hTٳ^uIFZ GwQV"v:6r$] }w8UímnQeX g)_FO)W2Q:;o)Y$UzTk΀h f+q VMv/$HבW}^Ӣ1 0UC8=%@w ʑ^ࡡ년cÕb)u##g+)&JN~t0,,Jʼn 6.\jafޑ"0+)ٜK5-cA1Y I lsM,L `݀s4hUO6o{Dn}uy˺p&k,rȢ?\B)\9(G˽9BӛYfH)א`/)H~[`FGd(*6P$DƓIJNTF?a N 2/( $zc~J//F~A+xCI:F[ƌר覡fm_ZPxU!s,]{i+yɸͼlr@f=O ;y}$6BK-kA2FEcb!K> ;u:, .,6B wXc 3:$MFb9 7y9`]̸p!0ЭiitɷM-~%.#^٩W*iq%NB+ciw$1سyUU {z-{3:G=ƒ۪Cz kn&#L.H (~4柲smz{φCHIuv Aޯl>T1.}b6jzF-#!ۥ=7̿726uNp#'}kpz}~2.lHh p l/ڿ=|&E3,PU:.B4JyftBءoH`:6K]ߌ M.)E$$\=o>-;;7mY2=5>l)[6L^ރ &$DCCef{D ,h)<7I,fq}^oq7KE\?~[K=FqVtU;Xr-B,ov9Orv%ygYZ,чF"umoL}A]ưqI敍XrŚ‰%SV`УCށ{LeyVhE3'yF*Cn؏rGsӛ夽:&KF$qmc'H 3"3P*2y* Yj(u+R kZrgArvW5%bk!aUӇP GF{Xܷ$56C'y bF'5h,:nXPĨՕa Q*sܢ-]!/(kH` L[Dv>:[M<[;~#mi/GeW{C\۩a*.raC1ߛS)_WPf ܗXN#<q  Q`Cw0cRgp hEhx,"eᲆN$Gׄўy ʌneH8"_{ƥ={LZ_1Pr{s,g8rSl-M;x&L Ц y=@ #$аr9s/sN'd?QPB.jja*-`ɻFHyzK*@y!utNF!Kh3%Ycyp*Е}K }IϋeTQO%H^ݼ9 flG=8M왧̙}JY,\Yx'h ÅDȌ{?h?IW;"U<@ e)!kÅ4wt'!NUіr@R5T8tQlzد^Eo˝!5XdaF1~vqJXA96jXُ>ڳ^p"U?b?܈GO:DoU|r1~KiEQACVS)t5 m=}L+22]Q%Cp)';+A̼!$z *gƇyXf\GN-f-|8 :OAp'>1`WPEEē݉W5 `q%@Gf<ٲ#)HCG_'q ]M&ݣU;?Fy# ɏ8عW[\?b[7x^NNGU;#?|ҡ@be.[#܉3O͹լy`XČmaw++|]?J.dvqS<# A I>bGGwH߶)߃7m(h࡞Bjq Jv>hBɤqn*_X ({Iy0*LJH'B5+ibkg?[*n6#1 }k2z<9><.oZ, 13C%eƊVuQG-zRA[1v+ybLaw~}0Oށ [@Uh}Go>w]N.5vN3鋀q8aΌ5};M$=jC0uT9? :(u/(`1S>Vb+;ɴ^ܪE Ptw}-[cՍ 0~x&#ϵA{KF%p;G?Qr~CQkCYPavPʢ%A+L^a_HFmjm'"i9u1ٚwEOk>mr}PrcciB])}ģ]ܲY'ȓ!2[Qy frj)+>Ixʲ.e4֖,y *Yԍȥ_^/*Kop O5-V7UrA6: A*i.ݘgTːb쌑- g=@b}Gd7D}ER^2+oV?h<>勱1rȏAg?|ymX.'7UHxjAj#vNLGO!OH1nj#X[BxQSWuc-ӟC8l(n:24`ItEwCkpZ@*"m^R%Kˆմ}*\\>kfԢ $^ܑӉp:Jf&%FFg2VAaIkMy~'?E~ܺ6`r' Tvf(Qt⸡v.g 7 y9 Syq1p4XC'pcN$Pd1ILܒ=}5_|H"H% 7~1Do:'H:vx/.Ë W*gYZ 8 -8u9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id518N9G3 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.tex7zXZִF! ?]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEy\1Ek#9k0 uDgSI P4Bߥl`W*0h:gsB ߬jN2ea.C5+,(RmzX1 e)KEi!;6`^ɋz˄Q\* *R>JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~u^Zv/;SF>H{iZmh=Q)*[N!<+%4t Id}8- PWSX5Z745/ FNrͱnP`V2[wX:p˘YG< جs*s./U 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 ~M+ 6&S<iU&f}5}~cdUW*K2J~#@D% Gp'qkslu+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2dbG+_ : _:puE&Vu~)x h'jxLk[|J}y dzotn#I5=Ob8J{~j(`8V& "EXԼɶV:Csn^B.@C GcuayBIئcX7i+feH^F8:sGX$oƫOaf;C)mʷҹ?`3Wj6x>:YY 拓3~g'(e**T49X{b0EXgo3z&^ggsྜྷ_i< XZUJEb8U-5 \q_Y hMAj=#ѝ\_U_Rr=oy9(TP.3ZA{w-#&'6 YYޫ>x'm~2 q,Oed&\؛Ca[#lφ41ntavfEl\91{9L4"C@"B:r"os:z:zT;%ly]pVrP'$yluQLM |0_Jw''fỸB8MÌi\ EmqcPHWF>q*~gʕkmvWP@lG,ndߌ )qp9QVBO{*yZYYƆS94P ¡#c?orޏ:\Bf`]39rn'/#& ?M>R;ڣnB|600ǑE@Ij Q<]YDQMc)^Q[wA#&(^x4( ˁub4j%~nl>֋iܓ`6Ո@X6K 5}JyE~Ť x\[[16z`R;M{`0ʶQG$8Ud@1QoqvYb̪Y +UJ0pd&:ڜ҇d~_~ % C^ vgVl9S=;gVp oHWӵT|OQ*1w ?Ou9幜 @]W4eϰq[yXc:=];bƍI=wiO?-b`OJDYy$@5 X|?{O֙r !d~[n =6]dM8}ܶʡ9gk A(f ^Ґ#WQsT _ʋy_/ Xa^Z \7C>j TJ5$yl\W+Yx+U-L{96|ib6L 7OP0I(D49o [D"p93;h%|act,JL,`5`z{8: Vd9rޢoIl?B;)3Rk_k[? ^˓lH\d3ڃq}I#9>e%0Jƽ,;Tw!~uck\x`!^(."4Ӽ= pˆN uO[<* mk|J1|D9T_k-y:8eЮ(S\6e`aZcmUz#p/ ʱ2v\v@QNI$ J+V[os\eφ.3شjꈿ$'ϗS 5$ۀbeJyǶRV 2<=ͫECw5ܺarf"'-uR-AK$~IuZE0&IɄ(gYZ I#%Eim{ΔZF\QJ=fv( h(Ec <*$Jxzp:2\B8nCđױ7ˤӜ-?sN? QE#DpVR\oi(:gzȸ0GxAlm˾"gCN((4ˏ܌Du͚UeכeaMW ]ȵ ҥjKRZN1r"O}|Kq)A>:# [ ?rW2f()K5՟@gl+r2m]*)ტUx^km% Zy 7'NlC" &6=4n'Z)}HO[*KVq|v-1*QsmM}B{2lx++P ~VTyRQp8m 7ÖY *oQ@o終B~Z;/vJDz Vk8,{2V/nv&  Vm3 Kx ߥwt[[5!,/EWv1M 1]OR0KxΧ #]V?HH:Fxd |㊖=ymhA . Zy@TR Bd@R)KMM٪ 9i4t}h3S21X *oxJMd+Oo$ACfZ-8e_pt1J&Rl9zrpMiy1uϞWl{Ġ4 {j*mwۓmhnV:\^먟w<<_giVeh%u&R⢵[fBgBfAwؑTH;-8??:=ytDUFQ-xk {dHzM>PĎ%b{Պ*>^/U֭s+HVkl^턻GĂ| q`ۥ 7H+ʓP6GܡJII 2rA#ҤޣcCD7y]|V䎶/# |S ]\2l. &*WUVJ`CaE<\DbĬ 5 T 9ׯ5cgZ< 8gH4g"xNmކ x~_/*nz'Tmow[ZqСY`r%nog8G#62: vD<]* F%Goo6y)K3ꤽ2SQETXoyT_iw^?ۋVkV5",I{iX "I-*/#gGĥ+Rzd{>cg@p V=8q"cʜ?־; b.I'> 몰 #u2#8r;ب19oNnr;Dh 6g[PwRu %pAND҂X0rT$0С5i޹)}O" Ffo?[UTu67`@Fd >[o|3?Ƒ.0 8Ct *[(~Ab]* v|gNJa% Zi$ʎb5/ruHЌm`r2o@t5nFX)M=rwSGwIgg'7Ahmk7FTP~XْEll Y{o2;/y5]Y,_K(7'^7#V3}Qx_ВqFE~)CHE yBjO6b X=ĝŇZk5q3߉Ib]"C1״`*|nRkໂmt)g=; 8Q<Ϛrc'3VkXP ">"}@/1q"ckr3:EM%i_\?!]OZMn\Qڞp. NZ$@i#E*;SVZ}.!bikL??z[(O9[U?ɑ$*cM |{шM-IcGwMHJw6Ce>7*H?lkBt3~a=zЛMT=42b)߃Iߥ-_4c"<~" 3" @Y\M,rnpӭiiaJY`73IE'LO4smd{6'ĢA"qߝ*pOШH>$=z}[߇N032U2Aϕu67JkfЍL-g?Lݎ>W1:K&WEjiBY㗨pT鍗"0Vî̸J9NQorP{`s3s)wAl׿nLƺ$@|Q=|wꊋ@Cb Nr))Dɲ"edl1ݠ.ʢ gVX;b]e*fanyIlJg#0{7;=کG4DꎟK: (h`lڷ~2h˥†eo H-J)ikƙo(1[xKn mNL#KB`ڵ9ݛ?d$WbhUnTg:G"KjyhczjmfJ@wstƑI,{,ޥn(:9EeOd 6S>if )]UTw-8eQϏJ23!N̈0XY@=#NWendzD`R R\5É`K2UH /o&6/ŏHGټ=qt7*ՈܴY| kҲD@`(a3rq"c+|'2aqAKgqA21H ֯͜"󪜾hpMe26BoHKjlځ@LhUnA<A9Lѥ6*1MyͮE|K6c7LXX?bW0(]MT⪀6޹+Fl. 胺孍[7f\uD^7sv])+4gB) $bҽ";'zLwWx/mvz19}٨pQ80IH~6zե΅ ty@0 >- 5l)? Շ-/ݽ>!͆4H(89*G W կ#"٦aFm pKvo61{*cI9W<2 [%>O (ZyY}>U?h9и%5 ?HтW+F=с!gOfO5s(A/ؽk𐪃bFK`$mn=DU+1Np9і|ڭ*Lc^P6dWvռ(F!ӼqxqRx(Ѳ<{2N|UD)C1Z#I mض at_qHKtVRJ!l}')_^b:7fܴ:2*Me&ne(fbUjfRՉ)Kt5C6c v9G9lt^,s\lשޘټߢWF1%R߱|qq2rb{O Xf^ j(ȖExQ2gmزu&zW:lȊ63Ni 5o4( _HU@hn#@ERm?RhY]4zN`iȻr_YX^ go]2fL}JSωs|x΄& N|] $((dK2*8aUXد7k.i.. T~x/, ^\gLB d6X 37w%C(2rnlxW]ߌ^4)bδ«VԱpW["[2|'{/GϷ%/l&N'#1Cqπk۽  :lq G|]mJŨ U-O*Jz,?^"8֎&qHatG%M5+y(Qs)zo n5>YuwmExkKf;ebmt7~< GywE"N0JZ&V.Hf;6sD{KG=gԦߺkX'ipߎyV:\&#:fc{ \_e9VL345/'QcHP,= ‡<>r(GDjWq(YHC#LO_lWYdR>֔# Ӵ!`D\ݯYɠℚ#-uZ%>J VcD W]B/j([=okS`Q-U*r&lGbrj`YneJ#@HUxs+=YM/jmiBb!@gJ9;BuhAz,/7--Ѽ/}P836PeBwDxGW_x$:#NU%)qx U}{)%kHCV=~} 48ᤸ+TL޿?lq? i/6rB)i߾.ċ2R&?yt_xd'C-\¡(I =(./bܮjb=9ڜMH䓷|Sn+r1Nq_/!'5!}icuZ}̖&YQ~d'^j' EхYCUj1fZ@Z@g836,ؐ b?d(>$JQl쥟m`N>I{YVe:l@ކB fq#Ζltպ,[ޫ%D$kV4hL\> J:XY`^8I[z#6wwB=S;)ά/Tb4 ˁ_"ƶrv.|WOxBfcABUȭ2M. eIE'ްx'ɔZ4/Y ]6epшqaxd,F6t p^uk̿*Җ)"Zqٗ[qN4\)c :#w*~jRvک4))ˁQX8LE>dU9/8JNZ'*81v8~ॅlPyZ}:4Û89|Dp^]4xp?)P$mYڞLPw%]" kMZ4˜: ;.5ӳu1}~N.Sު:΅ `r [ 21sVb&mfW׺/ E,ۂ`ocЩw;w;9M K祖gѕNK@Zs9Ѝ\|,EioD # >r[ [>P^򮭌|G'5Vv}f0 zjXΌ|4ĶR[-(F[э5ʆ,}C #Z "b<[Y>)F}ꥃNΝՇX6P|97- ͣ`lI\tmĘp2TÎ*Q0%cEvT6}͒VEDmUq: ,3Z'||C"g m+ޒ#։Nʫvň;if. J;YҀ<٣t*9Of4:#b?KƪkdҲqޛ BXK9[(>f2]5pHNW"Iy]% EnbȕX0z#ncీ۫'SWdD9Q둇;}QHJ͹[R-҆` 5x$Pf-pr^$/!Lj+)[[(P-QK8-_ƪwf&KQW0oY׌}Wj '\0 \''H1ڞ YZF8 -G]%:|J>{WƔ=l]ȩ{w¾^+UJ!^d6%ixzJQ3aIjHjbi[w0PωE{W[ |%X>cNԛ"$i2˰0C:ϭ>X=U# 2R,ÕuΘdC ҺR~H\?p#}&QTNx4ɃDMwhX_Ns;٧!YI]`PBQJi& _JsQQڛ S)EAto:j3G XYJU*=6Å4s@DGcOB('1vzjO3> ` _tvO+OgYݽ:C]pQ|_KQUUwk%;ee-z%\c!jrB! ևeEӐ#ɢiZ Rz9I]r77q1_]\:*$'T2x3HE'Hx^= Tq܌QӦ'{te F%N^&^8ȃ=ARF2o#]y)`a^E\c旡C.7AW_^T'r?ǩB$QCu]IXZiP Vs1Jd + -IFmaΒtc *b%V,Spg9͞GJQ zccǟ NOv'Oe&_XS9_l?{=`| ygaLl٩5ܻ.P|+iS 0 ?4_ g?dS=Zd!Bў ZqU-/Mf z,u/:.BmZ۽r2F\VaF _bJ~[p8"eAESxb]$I u(딶NΗ{C9T Bʺ[(z9t1J)Ev?ƍMGcy^yܫQG 8ṷ,ip/5)~X~y&+ 3/;щ8w¡yksT'Vcyy64 LA$,N:EPO- vuEJ+[-Ʉby,XVNqHY H3}=UРxTHE j-Rʍd9K>S941p- @=NH!z¼c۴9pKG9M[)]mc6RC$rCn2gسR.%,o}L+n v c֞CrjQ@g`hRzf o ^j~iWF?bTvuhlPW7dE]$=D]|I>3->˶!P!ɔ,A]m_3?d4 ޅ7~5"Vi5:Iجd:?'5W9ܻzTSL4 Uu=)/L )q- BA+oHNjAӋdR}=R9]zb)mnM ПERpV$?aq h?VGʄdJ#dr,X$ "P-aˤ4YQ=I+PxL$REAg"雄G~:V#[RT'`C~`?%jR(QIc,c32̙zJF(wNi#CmXLeP˼ډܘ]jy=N1 D;%> D9n>B&(W :kRt⪉Mإ҇vN׃͕f|iQ`͠G&f&f;o/ pyyJE G=8HB)=3t*XOuU 5&\;(YjD^^x;ރV $m۾g";_0]N ϧ RM8zNiZq_s N"d9j~ND#UK}V|n0y9w+!^JPRfNf:AIسgQ]/Oڝx"5z`??]$OFDBqGI&ŹꝬp>TiC;sk^M`dfyPe)x˨%x~smmdK)1@xY"Y2q{'XV (7T9RUOfӠecԉVr =Jʗ`?!8Xx?7F;p~o,릈Mh].{50oW=drWH۸  a&Sچb@Y6Dy8e SOwV[e=9A'UGC!%_#p4eYA:q3{<:;WRhOz|2RӃn#L ΤE @c3'Bb@׻VlwMqBSh<_8=}eJ 9*Xly!+iW$o _b͔BOblm51,̑7YW?oFyc&W8UH #l#׬XPGjaQ64hC"QHnh<]ؤX$)zr5>!`mm!V&;F[aM_ Cv©sHrik9tn7WV۫ъP<]uO~ʮnonXxukCP'Go{~8\NgP;lK/ glPثy XJE6ԄYD俔++5Hۇ2tH?62dHy>5&&%èƍ>~dqy~TvpTA4d\r@|X]A5J/XaPMĞ288[xA5Z&]3=[%%νAȡ]yCE4}VJM0_b_AK9\!9ʲy,[ᯘd 9}7ooB"N^p%l،QSN{[hd` 1I&`fCCTx_H8>NTL՛-Q&-u:H; (Gc,@soA6w:$?0?}:]d<7eŎROKafƥI*``J;PYFo0]k/7a|2EC$2^ 輋DW&QvL\ac=lt{XnKx% ]aQO_|KAƜ1vG83ze)Ũ-VW4`7fL(wQlo0z4%LXmU4Ʉ7viN7Q+)ه,2IPTw\ k@au p+u/ْS(WlGOa*)- ˹=$J YLh'WvgeL o+Eq8?/` z fIfǚNT}ɖ9]]{s ->=;:gR(7vp70PmlR?:>0rA J:r}'NyZ[+֭nr]IײCuC`tQQY4K6DO<2&B4eHRd[V4"ӜZnp`s[hsw<.MyM6o/UIE m\~BL96V4pΞWZLq^RТq]8 plQfM"þ׭zq\}L4d-cb :NR \KC 3TҗT S0ʊP!S>x.֭鞲eC?tuzfo{ E+PYNQpͳRp]",#ߦG+hԁ}7v`?ZGMϖ9?$Ss![ӌ!VC' ˋQ#kyH7}h1PvpyXql"B|40}:!7 h2[sS8*7JS4GPMKjz *03$߼i$eiBdLܲs9H݅Ff%!==(O 8L[K-ƛR Rnh*L 0#t;GGY>ttj0WFSxbqB4w]tvOHph$q! .NNH 4/5q=u)2gxuie9Hh*KǙT3֌?x'1+_5EKLΐ=e"Fgצ-ym"H B@е2]0W&|(۠,.yo"Dk2aǠȳy%\YⓎld_W$xkg v bɢ'*n=Z+:O ЛFfnFų{ دDmBҌ~чލ9:}mXN],?ljQ܋BL520 ِJld2qdU򑋪3)f'sRVb>ν-ZQ 2fr ~0njxR QEߘr?e45^GzYw^0P;P? FI[M~TKcM7/2k3t6yq:s;khU ;$]^o\cjq*[ZTF+Uh8۔`땼2giAl.Ѻ\x3ѕ>}wy@Xme$R3g  P8 |7鞨̦7k*:אpN2hSZm+2t(&Կg:1'CYL9T|3=J]1?BޟL"k to/]$%ؠz% >8Zl/CF[p&mJpկr82,oh ]g,T?Gϡs3=|&7 O;=!l$?T,qcL/\=ӈm8mʂz4eu7!UDK7fMZDPMW],.q),v N&{[ecEǩTqj⽷wȪ'pE *jK`cx0Kr. =%#e1KA[4gT:W}HYnkU+1;B͸D+y e \֐hU//iRqͶv!=]bkWV Ùw@UYU3pUc-{Al,_V>E;4qbhі:l7I"h%@jꃙLˉqv W~#ޱ9 '%i9,)|\_@J+ômp =գ{T"\ДDE^C[~!/9ˀÆCð23hDeUK.Rd/XBFCNWdQ S\eGHGPbX;!FQk;?Ԧ{H}D֕P{sKjۦۛGA@:J,`B(O]qIuP'*5w4pCIP H`wUOLcN-H\#zgAr%bfY;/tYlFFoNwv< 0 Ieo2kHd)p8-3a.) Sp8Z#1d]5jRcR[w^B_ ]i}'A#aς9#ƭ􎼇1Ϲjf|V41sn>*"2DfQ2Ce.vY׸;=CG[55`q1%o`qtxf籟!#uڒ~C?K%!kqBn NDg^Dv~N&C:)Asr4%.r"l 6:1Z9%|V3z ߶]Xӆvʓ/.qZWD t9emP6M һo %"H8~1 J!/f gXt5GnS5s7mojpu6 =iRuX+D欱9?A>:?{^?cDW4 [.:8rw~;%~*^yR#n/ɛ4i"NEБOt@65nԖ;ܦ쿤{S!!3 4`WNHsm/: /Y~Z-f1K Փ5\e.S03M,K90帓z/Azb@ XvKP,VAxfHO}5=Jz\r Ț/=\a|hRYjq!eͅ@v.\y/;RQIC~ULx%⁃ ^$ƁQ0Ug-&́?jO!iBU2>Z #ÁmJzBGù8%,YЯR~ l-OD{"VGo?ræ?GU"P+UE6҂w=ZMNRqAV+b0gg5To+ xVQLHl0]LҀ|_8NSULHQsf\庬MJP 摠mM7pU}#R{bh #jbv@ll?0ܣt.aSO>@wp`yYq Z%5IEzDcqI-}(˦l8iE>kO?3Zt)drr1&vTaY1ഐvySWH!5H=Tw э}أ'İ?i]rPY'V1[}&De(*^`)EVj`4.ߍ`݁7FSoh07[|Z=߿,)4j>y: iO.Hbv1x5T.q/ȫca'&%쓙oDC)&P .:mZQD{>Zs5v!S5Ϧˆebt4/sa1 _CL7]!1'QE(hۀ=w½K+ bT$<  B l}ȼ@J@޼xe7h*^Ml2=zpFKd iǓO9/#c2%U}I?&` s@u$^{QG2/0w04՟bu2CFD,-a)aV1y \m/[udng xE)_Z\9(q쳝",`eoO1JXE|!A&ɓShѳNu=בeAnz,^z]f]3rh;ljB-f&n~Up6SaD³>k,#qW)h_10|5`wLڲeS ?c>NV4D g0T>{ :J$<8zb${֍=Kh8s.wP]5:n)U$I71&W*!T61}L*]V_q[J,^ b\k@穈[,'g\4s-;N~^(6k Zh%Koz6P#5hxΡ1 Pm쨙o$ eqAm:To&p;J)5*h)帴$A 21lŴpX5|RDǁx?N7{SijЃwE?ɴC[_;4>:^ Fs$"k̟]<'ӬZ똑 (캐7&eWOn12Tsʰds1`g1_F ~w36l8щ4wT8~ܳv [Jt'W +Ŵ)u銭m7Ruv9xt6JJP37L>1Wʸe FVxR+c-=+#IlI#ErE Rxe. g dlR_cHqP֝iD%nQ9 .]8)`)Vn/f¹f_Fw\5TimF2 qy EISAd"+yDtzq.IO{C%!W,&w3"ti@PEaݛޮ$Kkxe xL=Q!x RthF"iX{yDY{2m}1e R&H5JceF?o8A]Wg ~߯?[D*:ZiG.2OW*nNQ7 >dwxMuS~m zAz뷚H 6h)YţL. ,aG0@@[ 6kSZ]~(~){Sndɀhn%ȡimmRyU1J(' |r;vGg%Pxڕp)CK_&';M]${-76lW2vPn$fiІk'x͈kx@l?/NyHOp[BiF&kfH_$_R}IH2Mf?:зrg LplF>γvc',6(ӄz858m09PXǸ>+ @#XPiXiz,yżxBCH QK@ ] ;U6OWb'NN^ W)"bI1E8EZIX݅FⰒvquU@a--(Q=Qb %#5getcoyzRtfk™C2^Yح,=Օx'lIӓrH K|F^7vE&rP˓$wk'gÆ1uPf۷@eżͬ݅*?zNKC㷸4E羱 h_A^ [p0 OPyS7.ףyQjYx_T%cbVZ?mx ax u^ѤTPB=Yԧj iK-գ,C>]?#I"%&m3h+`2u$~t*ߢww/(kccdO(ĥ51M|/2<35|M[psj\1J4 xaP;˱k lBo4&R!v1\͗m??W RjHۚ4[kq[g]0'D2 id؊Km}Y:Ytqg_ҁ^fO{`m&!8A>KfcYo(?[y⨾!2W@̤w_g ;>]KW5/TIy#pͰʑnk\i0XۂbUد +tREwqJBv2xnn{PT2X%І'NeH$ށ&%81<ˬ 5 v!ЭEEMo*>bJ~u Zm5ƀk}v= q] 3B >A:-e'*1=һ/B:f<^^ ! dLRj3ϯgZNw&Ç5&!E dmE[̱ܫ ޸j]~c 灷İdI%S:{q;j9`ƃo: ^#m.~$ހ%Jy4ܙgs.kԬc,;Z$eK je$&#Y,ԏ QQ_xE8L<5#-'go`*1C5ޓǂ?ruNtEJ{s5i]xx(4RE }czۄԒLGG 6L>oA4JY`y YXhzr짊.cȚO=/42Op-5C۰f |xW2;)Jxr(>UYs:Z!Ag5K ƃR/"lq%q?I%_EuWQv c|<+J,RC9K90/Z{r~C;D=*y,K#k,Ze,BHmslL?6VmE[ eOK~X~WM>gF$.qПvVi?Ar˧ M{/'M`BT,0@w׭K(o`RuwUHM?#jBoW?{$(㗓#8žAqzYZpْyߠW [KV^0á3yi3Kr,/+*~v/_P H3cM㋹/RT9P`4x`^]\gIh%eӛ1OGK2vfD^;UA2@QC Sag$<>5$[7%ӛ3E)6@H.jIAr-5?o #r^zH3;Gf_4vni(u#3^4зwP)j 7ۥ o׵{H*!<:\XK3OLoR"tN8Л #s'&Ĺ}V!L1'!~$ ,Oc|4}j塶3ÃZ§CJBVGJl+jU鋨cI3oَ1Vm!ޕY嚁qI^]K%,Y͇}CmTI7 z x{>Uj2L2mje6M!GkF #?M)Ls#X%' s/: ~`?YSFKNжROvAKnٙP"F_U0A "gPm}NT?rpwDc5e$_r1&]tĜ[V*ģA(9鳈*{m{I4's8V޶/Bdbғ9ul{^ 3:<9l7p?W%U紏_%5d9hF1yCq`Tk엲6>[C l$*.zgIB.[ze)101_s\!tsNaAu \{e#T;U' /w*sJ%;RIVw¿4A@}_'ϓkXS.:'әc,T B[ɜ9Pjl̶'T9-I2ʮs1sD[H{d]sK#3D<{5EmH5 Л࠱ܵް 7#1Rh]Iir2OpzY?SJ/憎7z7Jst-%:kIk)'(@ i/.LHz8XeȝeM.Cq S:*0v .Y4I[1u,K1>igYZ?t9Cc60\JKz-o|Uq΀hǸ O^Q0fja1ۯn-poS$7T9w|xg.ϕ:M:+<ıtO*j$r&`j_t-&ͽ8H(O73xOR\?OeKAªq$e{a?]} RoĬ`mvD&n~2(wJ],f35OC6uYKkd2wְ :X\rTCgUs@ޠC5RQ(E$IK閑cbsǤИtWhUҭz<@8h- ӱ:fgO f_W6d$^NxN{|T g69&ģT>~aj/dF`~)S  yo\1]CodC9zТl(BFv "":|qya2 F,;*NZ#x_&w?XqFf&ʌۅɓH\XZ9Z0H`\Boa6S 7 ]ϥDH}w|v-5\}6zʪLb k+-R{vK=BQ%~صv}qzpqJV&SwL@VPg o$nQS&ʏL=s&G[_Ds\B+p6 9+ߤH 2XIg8}f˃qILͰGمW\YZ@mD[6(4E d` {"uɑEɦ l!Z{ |gI3E[X^ѧ~`ysI,}I63j9] 5-W!$axH5/˼:=BSޓd^n2I@텡ή1y Ϲ<!Pl;2W Aթׅ2|aۈFظ\SI1t2n63KbS`ϔV7fKv[w1|| ɗ\Sfc*d_S+-u·q zwM>(ςԡI#SxM1W2?גq/lW=,v7hfor.zf섂&l $V;-&loG3;Zji0MBNቇ=_!]k< sGO& \YKn U;R}_.|/wF<.yօ5f1рA'/( =+6h*V4<=Z=n8 3BIalkCӶ7ԦZzltQb`rw(ĶdK='6K)~`<[cX L{>)%Cxy\ئ~&m~$>X#!dyQ *J"& }G)=U&k [2Bƒ$CaxTtHL:1Zj8t|;|^8o"o>U{bPӬ9`gD_kh;{}!ݓ/*OH{ aR,&2 (s$YWAxhVSЫ6s+[+{8tm_^#`$Pf9m =G>X_O;.hpCq!//bK|XMv|$Icc.^v^P(YrR[9{$3B7fNoJɿ!KW|( o3" Ѭ[KyT1.ԩS K=ͿK -Ԁ b"}?pUs8 U\1-KSIu{Kٶ:\VTþp.771I xBouROXSs]t\YQS]HBGhB،b7ӣ8G\#|=p9W}Brt2w\Us^%PJ, eȀMtuǒD8ň%$TUOS^W k8' 7 VtFx@IAZ@z0x@[cVh MC jɕVJLezIصQ_0:{j7 &/Ia"n9Rq ھ'eE߆WRڠ xmY,ۉ b'Ft*CpvE*/yux#!վ>aƀN+1p8ߌ8L7(3@c#ؽI}~t\ݡcy)(x9orw ?8_G/aH!g %g.񹐖3GJ`3}H4]U.rD(lIA92x`,(\ZRf&nr[["Rs7+:@#Vk`r|Άn\ hYAUq_{kp׼#bEVg(3Q?Ù/XӠ=(hĂJX4Vyu`9k@GxJA[Z4M秘#cb6*{$X@ Qo04rowSצӰۏV4/lTUE:,h=a :lp3w5av C7;qı)&TGsE9o :PAXhAɄOCj VF|vyhZ^΅1J1 #R/@S*u#DwON*5`f@.JxFPV /i,+1טZO*^hrEғ/ ܻ?쩱|F{D#];5Uuxrt4[  <V6|c!h`ԝ^EMI}}:r߄!GEI"u'*-I ,!͎Nr:3+KnZlTs\ _`)?\Y2-, l wB\Q2kjCtj'I`%=xZcR䜑kIHE-a@) %$0-YƑ!^G7.+pH2ܸs%@{S"Rﶧ+̑ݪr}ȝx݆bi^ H+Azn4p?WT Y#R&8[^ RBލ|īS~?BjI愔{I<ρ&+0) z:%E˛Cl\n W"cL#Vjea>0Ӟ \)1UnZ7$"ÑezQ?~gaS`6޳STڻC~r$PJř,)&qg4ٓ |Eg?2 ҿ8T 8`Cf*λOQCIG8-fـkm5E'j|l70f0qлE?{ع8Q@R׭(,#]X \- -7#9[=u\fbҬ}^o}̒OxhGSy~@Kd~&>XS`FU-0{jMǣ !C@z4Z}C~ErXuQ†}>Eܚ>-M DAu1ARJs8^af uH~{@| ӫl,{(\Xg!k"s.Z26%2JN.-"x$v$Q?}um{he/lG) % a2~Қ3-%4M-Y>R@"OM_ld+S,wPs] !Q6i5O5+2({$+z"lOŐ3n7"0RFFX?)Zqv3uHsx}elq"&Ժf`NR_ L| f+u:W[qRzX,0O ovڹ_j'4gju~Y]7%1 Z"4tpUu+4Kj(ij苗s (; rF\={\WLQ_4Ź-ޢCIaT v'@m#-b40L{B>qr.}x܍WN#W/"@=(Y4uUff"=CN .`FmA ^S\sx^# U؆ehc#7?Jx}Pmm7Nń M?^4Q7 q}X_889wqo|%y>^ ) QB}t+PJ4C*q Ēs<7j!!Wz\JX@ms:[`v &&4 Ҩv=t0ݖKJIi7) !n[L$+ c,H>( уs/xݠ%mY&e0J6>%Wz]TGR8Fꦬ u1V$e7%qA$*cC8E˖m.GDÝu 3K{U$: 4 ՇC_NYVńU a x3sXC(B2נ IR4E%Ȋ 9PfzbvG3*@u+IB=;Ǯ`e.=[_l%qi-0c6b_ 3hLʯgД;6l&猸/M%ipZmd<جUΊ%;@b":eF~p` Dw{,x`;ܩSTu@WDckCCnXQRN:`͎t^q%zij_{Rݠ(LfQssQ!KG&N41Q2hE 7A Ј#I'mō#8z+:! kS1S,Fv j{6+6Q)*k=T.`wˊQ`iLA-ZON8ʽӺ"8nNQh)/aJF,Nsxp1#(U`]q2~E, ^v|JzñTcܵL˯hMQ,v| EFRGMɀaV٤F}g|f|{D%&- 5%%|2=훐F|-ߴأ.zjzu@Xmu_Sϒg{E4_Խt)iZ>nd~ɷ8&]ʫZ|=?;݃*8J|氒RACZ e4y$5F[_|kӌ?u*+B; g*K,4[9 S zpIYn|'Er=M(=<6lߖ!/dȫl%U>̮vx\Z )*@Q&gK)8+7 WUvN +> \.6+aI9w瓒6|s\[,! Y"K{t'{&r% OZ~uYg|*@jmy# g-@҈` ~@ܿinlV9K }e7ShKm,b.`ϒ$ xa_@c0@XgEC 2tas\c6Vyg]dΒ<[8]Dnk]@cQL2\ȉT.&H}jSaf1jDK*J ;mY#T|?).8TfA,EYbZӶX:ɔs`\Q=?b^Kiǣ:N ftjp_n{[IY2tߞӟ1`;ڻI1, H$-RoiI9:c0ؾaSo +`sP^A1V .WQ>u|۩x=TmFL9~}":LgFlajtF!8iDӕ6ɽ!M&D"d58RZy{|Қ y D [W6tMeu:zoFŸlz};x)˷(W Lɬ1)kfz^cРx؄`EWI[i/EH0]g5z VTVEpu֢ )ȯ.t$(()! g?VCǽctԨn09\Q\N(zT7cw9S؋kYGxuGΊ+a4'%b%{dMe<ԽK ΣKK ]T^܁M>uѰiS- a,xHkߧ× x*^24?j"ކINK1c8u͵J̨B TRlE-/Gu9_Q+옅Ql]#b%߀zV ,]Hj=a }``C:HYn3}u []B #ۑg/!`_TNJnHv 뿄>*G5|m S/h:}p>BO2hBhX]%1a@jβ~ľn~ {g [AKZ0A\LNW4;%Mb'/ҸxfWpg~BVqw<{2/ָo$<?dDK1f8( >,kb^/o/!*8%99tJ=JLп\n`%E h#e _gP4 <<qe),Bq[xPH'JhGq*dk1vV 昉aө+c9͗7l/0]8=.C^uWR2 ŕ6rPiq2oW>xJk8Flrf`a1Y49{ 6PkԢd2R2 ,ppc"+jƝ^<6g4P33g+SRMN a֔"+/AؐNHQNO{~ |悽ؙ#%ͬnoq ݎ䫨#] ~Cx՝^K >@Kd .T 4[kBf5$%-9+e>:~BZ^@qM^Pbuً 6­C(YFޖJ_ K#QbtTޠZS&Q*,xp Zs-ɐWX$%{g&8.΃e\ytHv7s:2>R`<Hs3ܯP_Лm# MldԂɿfyd*K`KaҵG6?QLe5COb,3=7WMf B<6g25oaw OO91YH+k7o"%ߺ ZD~}C,?vnu,ElO|v4 -D42dћZHђ+v- dI lz2rWjI5D ^r 0Ѧ6ÀqB+vp%ӷcÈF0&w+ʲ`K@H6C+MB@U؟AfJ/\z2-2G#Vs3 yå*7.sBfb=R=4٦~Oeo D5m(7F]W 6{bx~sB㷵@lK/Ec w[HW]dž<쀷SKryjb^bTusc^|%5'N8H{^)s;-+c*)6 b3#nt3^#6@Hbc uv렫C,#;*s< hy:㱴Uj};nV2Zķp`rⶤ?k)-⃨l&@d{X[j N DFزb&z$4b+ޏ;J> HnڅɴC HD<٭{<2e=ի\] p4SC |<$஘Fs\>WM'u1%A-\.4lF8s# h=d(q/:+07Iй-Cw;*AG釂П y[GCJhQOͷ*}Fo˂/"i*mr{=k5 *IzBS!'\htS$aOǧmSR7ޣR]M`Y)5kF6Ɠ|,oLvCq\)ScX.It2m3.cNO 5c}hvxL-3Yٔ"NV+E{N=1B} #Z/ ĥql;IF5|Wޢ_3mfNUwo)J!7f,_r|7=Vszv#ę0?MSvpgi:73eb`Z1U;qv)d%H}IyJ:]]~]ÞgCk i,?̅oz'x]0@jek:|3 'IR94 02Dׅ;èRZ"V>(7PN3j(@>|<c)FNrԋ" +@W|UGULiڏ;I8| @+$~^o;JlTz].@vAZU$QL#ѬtPi7C4@[10LS$CҰ.}+toSd)["H>.g& QTf-ڈDmaf5GM)5@ PElMK'G_]Hwk4P>Ō,K"_ܴ7^ mr/OS@KR1` $n6} LS]!ײURNU\{~TOʲ3WHBAKYa/|lIѳ A7Z+67#H'fZp$Zsg,o:A9eqA=icOo@\KI2>n4wVI:}T dʇZs'tQh jgOYRf(۵^rbMTX 픛B {pP JmZIр}y'\1_ae-O{^LalnP@ƙ̇jO2 |kXJՇ<7btVkߗ_ۥQ&sa/y8/fݳN6F~z?\d,ލ61ir0Kn^װ<*O;I`N:5^ n4SDW?@C j[LCw`jʓ`i"2\TE> U՞T)ڃW ؖ;nD .Lu~} 8wyӰLMX"\NnHO8^Q!c8TYI頀sɁ_vm~DzR"6;ʊ#YN$uO=\&RhHb yЦZt 7˰T$ExK3dngcסpO:{oBjx>luћ>`.5cQ>A `xS13w_q%rهQ,Yؙ[ٷڻ:H"qXB$2T J,lSno"$ѨJ:@ ס"GD*PD.Sȕpg֌0OA/`(0C\OqcM8[* ~ lMϬWl"L܌RGqک1tz' <_/0f'_?iD@C`M#bzp.L^ʷmMU_b!( ="a$ڽ 6{aßdEՀ͡,v`:}ٕTtiz |~ q0e (* Yx(hbwCCe{rsi:K|,aS_]R`G8d :A1!&L%DȵϕjWg.\YkkĚhmQ+D=j۹P O!}4h p JlH.*%`T'HOڡdy>WZ ߧd+ƍ;ma}pdM=mlcR<š!QyV3zCy!cXWy:!-IEh!DF>vȕ3SÔrV Y|"qV D }4Eex]o"1!:t<&w]h6N9 ^,c!@٥9po_gpo6DdyU{G?T[dH)/Zjw`^'5 G[lK&!/W/Qo:]rL[$( ba t' 9 %tM:,&k_&NHxeǿGe>_Bhኘ)&5ď:P r 4 vl:%tC(i%-lO226R2Zg(lgѳ0b{Ď6z"ɇi}veAXU\E5.p*FeWp%4 A$?˩Cy!(t(s}fᗹ2?u!B{^pP2)Zjrr˧IZ{*QxWJ rjnc$CF 7Ei̊sۼTi '{Xos.P2r]?\ }Ϡ%h&y&.+ڱb՘ܱJIIԆntt<DM~ʇ`ݽdtBIʖCͬs ?(@N`3 1kF2VQDTCK."G'x16|rE%XXݺ2.V1TFUe9m&83$&:PԹ8=J Z$TU/ ~+MP >_9lH]AA{"gbT(RnLDIWq y}+ 9 ɪn0l4gg;r.MEp>D(ά,KXhldm~.'bAƫk”xxTLj*Jcʙ"6r P~j|V5T&F%0"q!\bc," Xˍ'p'Y ߅ [WɗÔѠ Fe qb)!7!I$duGjI+aN%iKZGVp.E XR+P87Ktյ`/=ɹ#!¨LTT|? kHfpWߌ`Ꝑ$ɇ,y'ۧrOl|Mi+9 WuXKFiy@=Ԉ/ڔED89d"z 3481wh>͔D.wq~>v@3) C3biyȰWĮ9˖,M_˚]r|Ou$e,+cp <(ٿVĔD^|'nH0_Ζ| umno$y85HhXG󌪵QT?ջb:cwh?ؑ[VC^č>}=JIAơJ }gnprڄ_Q@IP)TE>j:@:1[RP*ACI[(ϿVCGeT0c.:5ݜBbSڌ< IIr-f}3Qc$FGþ2IvɣEd-! 9?OX>i.: (K[M"/s&va k pH\w&-KH$#v-;d=L[>O:rp@9ྑmrHnkŹ)ASV8]K%w"{i~?X>X.=囘hOn ^eG52vd^/osq敭 zN0`è-#$);`2PSz&)DzHQ߫nyR] > ;Q 8Ve_`v| 싓7C ~Ri<5ĒG &c9K='Hc#&\g9ݝKF&-kov{wN{I0S1Bfϔx{=.l?4ýі^sZHq7Tx+2H@%fXS(u$a3zFHL) APLSH㴶q9]^Ӡxc[j,r>[4 A6RDNk@$ur{+CA$4=+'{~c vƏMJ !3ԯ.6 &+S} *tٱBXfk UL1bkGdsGdď|;/^-_ۑ}(kGz_[gNfu8x Suz2Qt!e+1vfJگ%?׾r bc`{ΐqE,쑳:I0惘[ JnR^ss &XFߢ%߳gR>ѿQ05kۏ43d7~l?Y-sNqnШ[ɦI*:-Z)A"{YCA#fpu$C9*(X+֭vJCުfi-{WeɃ[SѥDό .z;xIfC.OC?$*YY=:VcDIJڳTgEk/o#ƪddR@Wۨv(zv5tԨOR(#i>RK ?X0V:֕HX͋/'q*f*/&z0pՆƋ~ceπm7D!r 5>CAW=ל`%/7靉Jn6Fe\Szoh8~u %9lSQU ֐`3G@J(tkAJCEDoVCwIbʧ4[u.]^귃~ŋF|L3dD;yJ\}:d"Ms+zlT6u&FE#>FX2 AhF:5[Ti"uNoH|Xq$s%=F$Ó \=Z/ .xHy&S̀g?ʇ8 )jRps,H9&_|:>=R *ϼBPΧgLs3F.> ,jW1E:]momSd;ah/O"w B8a>%/R̕4Mڿ0?suK/ٙ H(SYP}4<{b7퇏FM)5ZU%XsiҸ@q]P-ʡPTuH/=<|}˟u S&"" uy]\nWGZBuei<~IwC9*g*o-&?u1c`Ds׬V:˓ Flu1b?|eЮrPS5.9l/o3tP'3fc=<6< R6aTXd?X/f@(*a3( \L Ξm}ߢNڂ կ?(C!<2J])$T,e;VI zBUU7)QwQ~8$)K;IXrH_;4%~nлh"iRRʼ _<:zco츶΋\N?J௮nQY͜ n%0dlӆ" wW=LXO b.ߞ䗈FCR [$@&$غSE| qU{EH!͛N4TS`)(i|>61:BҾrʬv=je;іL銫[)ȗj%44(>X[Hy"N(=l6rPe[ C$ps'Fw{ޜqf8э3.x '𮋥@6 6Bz1*?qVbM۴8Z {a۔̨QɼF|vL$dxk\|;&@K9qo%z-R&I,8z ^&B~ !p4L~k#:ERLG]&t,xKY[Z ./oE,8R?JK}`sr(@<# !x:9Y5AGr ɀmaI:4)3ZL.*JUꑏ1 i{BJ_DŽ+dM=(Fּ4TQx P' Q5K4KSt}H`;6pWy,QE/6wQ_s֬ay(B@J8{MO%ux0|%$GO1 " ;móJ΀t㘘sm?Hwmwsa[^;ff&`]`n;Ÿ?W(:mr5m*Ys1[=pWlcAMӘFXE=c+\1(g@.Y h0 4a_p~;. .̎6Ir])ְl!f2;=wkfXlA('YdZeVw#ҙ NC6 F<PT1lElK4=$%?,|~j i;y{ۚj?Vq}/0B,f8n7<";WaCQ>gǘp^KdP_ޖg6ӌJCNr?Dm tԌI9k p&U9P&uU4Y[au2]=\@iH\a.iP:wJUXVʍN&YЩ Y.`N!(3/rhջ~ }Lb?IMlCN) U ֏a[nO(lჷ5miCA;'JϗȒ8 tz٧b ##2%"pvdk&)8`Õg_,_3 ;NN<(Ͼ!QծYz6`^!w)m"KXpŊT6W_Jp3@sCoBQ 5 LqwVt lmH3:C 4CDh@6=ķ =H\#Kq^v ԟJu_r[m6gmC`]QF="GL) J4z4N hmhjS^+Sm%~ԲמbPee*~cf2zݖ13%u.7X:*Y|JB*Q~*#O}SEU*r8c_Q2垚<*I,##8&*/Iͷ;: u*_Q)+%sCy8ݽg ҐuJn{RiKz~T͖a-MJ?]IsV&4!u2p::ꪖ$8(L&t1 _"epe>M6NCLJm]L4>5uܸ;c"ؼ׾`S,-ZCAP>=9NƕJ\*3%\NP9K?:Yg \0\H'^W],SGuއW:]1dI(zI]'p#g찙ip~}䒖t2j- [xusCգgRpOob7S-1nvwΙlk ~lT.'p~1>M;ggv$@&Y8d\p3vQwN19IKp󋷒VM!a,EvobC Ah qLC!m)bσnmC3AgYZ o 9G# \HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! Xf]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H g"$|S;h27k?IzQđE3pz-akCfmG1i}ք;esv4l?iEJ9s?-.jq SlVi4]efWڲi{ @Ila}d9>."x@OMXN=egOn% cG"b3' iN[`wy0G yԠ&C5RSEr$ T0YY^)Zr#*\&ZҺ>ė~ab-&ZDahǽ4\ChO=&5U !=^7*q;%S;U0G㳘J>tB۠tHuy |uuM{^f H&7 04sj) o҂蕂W Ejqq n峱߀,pP ?Өdn>to Ab[1dh]쾡`ZwM"Ԧ+UKʰ&8HehlUx,G8@.l-'VM9q>>:]NC.t]ϝ/HfiB+\ky8pUAPJ7< o䖣̓|1z4.8*ae .e/k7x"𤾬tIWRe|*ᕫO?"d6Z'81,A* ")"P|໙ꕬR26{ZeaDӿ'W1O]窽k6D s HAZ9'Scc2PCq􃦼{&? Ъ ޔ<'B(# >#cHicK@Zy?AL7?=}M;|[T-YB蛑ڄY<8AT^#o«w}J'ggG ¥zaʢKAs>P*L<ؼT8NRCX掄DCF;ӺB~g|zD~_,ij6ZtvY:FV~;,/ M7Z+ikil4i8bAT9x-Lp, \֓ kBh![bpKhmҟ9T7 .{bd5)l8o[4I/Q\NBkv4i!M{&m-Q0m*f/ ̇f0 ?s:p S0 {,5`rH'' +6 1ayWAh\h-+!U7Y9 8`S1ɓN]ͦ_!QS120i-u~#`O 0]:ʟ/oZi ,&[F z/q ]\˿P \zEZSW 9!? 0i ёa2Y[O!٩xYEcG ;^Jr) Ջo[ڲkΉ-Ry3K?puMVFc'ʜrmw*d$DDd Y^])*v}GyjY>H*Ct{M"i帢"".YuFw%t7Yw6  t9G' dHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ifl]Άxʆ5.f-9 rq?, 1M$68:BO?D$,& ]SL)%`UJ8F.;t\z(=? ?(a$yt(lK{WXUUkRj[#-\A{ ToГu`փK178SiH.eGO@ 81T2;j(%㥾@\CT% ψ9hE  ʵM~} ,l_H1Z2mͪr̎ij\FU,+Vd}/=U 1W@j/Q#ŘK 'uZu<Ǽk4+_yg30DQ}ێ"7y,#q \(`6Y1sn*sD\Us%L\)ݧ1]ٵN(Zlj^YAf9h u"J ]&$DKHU2y8a$sSCsݖ&yCFC ֐\)(&]ghs/e. k 3~#H|'-gjdhRHVfeQ8ZOB"6ɰe6~(@bl4Htnw$[1bSZOF̐c >mK1'0~QB'$18e ی#i!6y'؋$AAYChi$eao oB`~ w kAwk醂KA8æil:Khp̶\bq\.Щl BLȋk~{E 9axe\n ) 6rq<녊6PezĿ8:7DbżmkC`U(h2 -?WcI!2Lӡ%Y:zµgy꬛[rr.΀XHL)JFupǾB`>MS{þ X]ʳpaY~BoڴĘ:hNvV0J{ߘ*H\$\YM<;d TtlYŪm@ L\ u2D{1`UOu#:$%5cQA*_ A!-!{JԻr|4Y\X @cV+o_6!蠐+gW^^լg=b&B#5Ю*;ujW\Dt/4fWi1 Ȳg=3(~* :xu1n S%O)U߿lgc{Q%Uz;j{{gNQ~Dhb|rOk{si DR|w-w$Ƚ$Afxǧ>^Rv_"_XcqKN)"^VlS vSM̺(etjlxp.kڜl^h.d*!_/ egYZ/gYZ7zXZִF! ~]ŗXi%eju~ ew\O pTyNJZry,MbxU>^E؛R@0橰eئ)Hh#f.mX 5+2[[XE;JI9-5J EӜ) $Bx_A󹰸 Rgt~fw5EQ @{0Ab/̩pݛ:q᭥h_vL]EiMVO_˥, ArG`QSx $d+-v5FTh\\POcOǎؐ|Η?vI+^G (;j{s(Bd`]-~R'HVQJ(#j󜚾k=QA3h6b"jfA\H0lp9elD}t^;1%@VVL.je%ػ+F%B3_%^q-_~Ry^'gIĢ'R\/8rUz?QR&J9&*[r 7*xҿv]X?n~(xIX2xAT@Aťd_굈ȓl _ j̒z)ZH1P&}thmvxa)KջzC- 1\ٸ/GA65G |9Deͬ}@MU+XeyS8EWYK 52^l$tr5n@՛\6wvG :%!V/>aqOezN?;'{_Wu n5Wo;*0mVX @4/7iTNr={AjY?5Amv!j;W'ɡ(m>!3e1n̒?A8ܸ/gGzddԝ!rmZ]| E O:'ef gb'*SX`M:o5̤#޶cxHbBdQ+zV`1~e& RHȶ5$rUF^,o7&QWInip07`$JWEe "^^Jx{I.b\%kTl)a%w }ᳲt%yVUk|~JN@٭ wd$ü}ItaDž.iA':t$Ҩ*)En:|h֡#A{6o Bjz|CJlƬY|}Y#U9/4RJ,t|m =ܯZkS5>A隑xi@1rОhOtďP;yCOWYjk[k4'xqIvEvȳkNbYDVvdf=L%p *IO5Mxs)js`S=y3;W i^kiR?0SN$DܮkwP O_g ɮF>CYzc(U]2uu ]mpb2w;pXmz+154鬘$RJ@F=1e&@]Oit-RԡyHUa7'8~&D6X>!y{m!<_cIjR~V(l) ~v toU( wi}mJӍ/9c9h_H6~EgkP@XȊW|/}% ȬFKyW @yy/{&t^U <=T i&qb"=k$[q'fBޓsG, ,J=pe \x6clVÇYlc/rNF˯6@S/*IlOyO'.uN:۽-$+6px/7q DG{escԬ( 虅͒ JFZYdcO!RՌo trVX#stAsUf>G;XUVr O "Y5 ̀ taMK/jI%⭿d>6(F)"rd̢Gxu{})9@b7 -&WH/ ߖh #LʹٟbrLh}q`-l<\w0!yX#hvu׷ub\dYe|tN~|%<4l"GqV uĠV=Lne8<#W oDv@ NŘ48 }#И9Ptn-n@* 2/C(/c;Zs0@~`?/MKH3$I$*D6@e igOaW{FpyQ;XG8߀e!LaB.*X 5x&1H4 `n} }vu"%}NBլ,Wr:蜿Wld;n:Ne{hZi` Dmd|g[tԮ?8hj;.@f\ _Dba,^b>\\tTnG)Cj[3kx_j `A4fhաNd&=*BwJ52 FX /6s_'Ѭʔ͎\u:,d9 eD &~bWQ>C__7]Hk!92UAm $u;Oމ/(! Jݮ M7P x>q*>>N7 }17k}!|ՍwCw5wLVd MIVG.tE00VCKaU"r ǂ]OW]}k~J"%ĩt(e"frM"T%Vm"уzVaB|$|UPv:D"Geĉ_*:Ev|όAY6 FI.EhdQ*$.'S틆`bQܣܤXCˊVE5هخ&zj.0*,GZx K^ ;7ag;EgK(:&V5steOťk De2'ʎT.f3X%Ⱦ閖}WtvJT2i#"A?&3gn.2S^;cM 4RS v:%x"w(s3 \zIƱDlTǚ6lR2jşhKA$aふդu9a;\ ;UDBvć;Vu`-I4~u_tZ| +z9i167Ou¿!CA"<1d6% Wӻ{]Gpf99D>&e]+ٖEh7Isvspqݞu9-x'B\'wjIq:!6 ,޿ IKG:gih ʁր,aGm=ky4n^n 9V1ڹJd2jf!2ݻct|Fb_{y_.ɿt+C\Q`EkWỿ<׿ B/m c.q/!j^?O&΋9I {>`Cː3U$?^q;RNgPKMm~Hn0̀jTݚ_:pw g@٦G#LX0JXcXVK:Jt6.mr}+֡ #MmoAaAoph\J#dg}Sg-@/iX  &goF V`VtOSC25T$䘃嘠p)Y/r#]מ?Ű4u͡a;Ӡf탐Rx# *$ܿ$ގR9}g-f،S!x$XuM\n*̟4K^4L/\p E6*hP [7Q(M᤻DG7Q0BʰO$'mیҴj@ͨgd$5-=jP '۟Om)HT92F(YvA_|zY؇P|Z5\Nց/BERjbT Kkv7|8 W5%v kGM-0lI] }u>~9cCt{H/@/-.NZ@yM)|X},FݘC%Gg¹P$/8թĤ|aHjPH.[{4K,W3K|L[cϯCrOxJHw !<4/=2li.3jb0J#ծ|/ᔮcj/BO-'W~Ss)Q̈́d4֯x_d8!33jl%MEuQM"i#i?!NӷT|j!Mg#yy_i! L\->s_Ѻ7ü'I͒AxvU.?F،ÑcKpلOXv8g[h9bx;LCvI2OF~kn.p6`+mѹquzͽipt׆2~#K)d_+u ai\zg|PH{o2') ^?霉 Ӫr]FOy@ЁW*ee<$!\);y{0uP[8V TraZ7l,xQŧ5pHPiQ=:/'U_U Q%`N>Vz sσ\W|_1x/2ɢ~f0Th%Gt=)mul;*$@ާ_[X^ƓFFit #~u֍rgV%c-c{vl޸bEqarUft8NO ܞpu.I/EiZPvN9(6|WqA4Wu%$@^+ĝBbtl`SQLNRCQu*QYbz}Ͱ[z9>J &ie9*e K!0X"tUejˎJB/X3DwcLv @QsgDHgrLt**yp\9MRTdց{2!6Rc GN`{ ۰xf0,<ٙ&rhN2ciED2#e4d?/FeIW7.& fjf2[ZfiΆi3Ut%nMO+ хT j;CimÏE^U2'ZΎPgXL,el)\Ik!y.H,Ю&&Rsq<]ϚPmKx2Bpbo0Ϝ|1,1]~U7Sw^Y<2^9ęe˘^*J n3nq@id$gvws5mt7#Pz09Xz0ڸF( 2ى!S#àxu{}<XȽ<- Wߖub'`F&.UVtU"3yeklZHA}{hKA'ީzĖ78 ~]:C6nLNK!T;)W9]ޕM4Ewkm=V yJCatYoK 4)ܹ0x<#ڻBBoउNb{ؿ5T2Vu;zm|PuT2wF3Fl;4A&E^>T6r3d6?498mGsډ\ Ȏ)͌I+Gԩ #Vő燆2ıӊUzjSf|gKѣ,R!Diڌ;!꟒(9 q[ Jh08hifbֹ4RZ&B[[Gb~yxmY׿,"!G!*:1@ڔA0"AKq"ՄU!J_ |m7p~C8i t 3|,>Eo]Sa|wKQ8ѽLoiB$kڋ Kiat4|1~>&;'b=$ ˽gFSWY7O<{'VbCQY|:E{< a;/\sU>ssW8`襺:JUM݈KQύm)PYVKԍ{ap40wf0 I<ŷ5:zL(ӇEᚢ8Tu1v'3ri &owu9zw\ZM؁>J 1,j(lNMh1+Rێ0#>0tZѝ}j]ZS֍JSbR Қ8xQȆשy/u?f~RpH"T1wh R&P`qԑAA>|9y-Hj"!rDbQn -zrQΜYk4GfQ4&"r`2+K󄗴k[k]mq{U|QAO}VҀQtk-.vdҮwJzCуŰ{r+\wO3.顅8(*Rji,DaM /jD\ڻJצr5"?liy-sMLxnF{:{UнK+N1e~ 3[;Mvۥ*rU1uNULI:~UհOrd}E)Ρ:elqM#rxEdeQv-gkzIlbT9_{jעTj.3iAk%<{Spab`u3l&eX-5T˥i  InJ"QZ"ox"r두9ѽi6.vww;k@ֺ'J*E+n4ӀЏ,KxUZ)gůR%OX$X1 JF ~]\<HSЂPQqQ.0 l:|mQ= _'x# ׊9/uT8X숭`'R" (L*@^]IȇLp0a> COrvD{ JlJ!igj׿NϺ>PՆÐ}Z/\ E *߆ 6paKh ژ֥:V״PjL p|jЀѐMygb!b8v={]˂ibb M!g,Ya x ]*s*fO"+4'#PtsGh a$\M%p6Vc6e iƠ*at3O.ϝJLdJ4`HhbBYTdQDd#m22 qw=4^\+V!vEcbp|3^BAE$c(h-Ĉ[HlH7D޼bg "W"ʮ!nqf1 rzO6wJTf4ti^l0ET[e>-uSz@kbx%8W}s*s+994]t}>Q> vrqIK9e> ]wz{cSĬ=TM}mbqeHrr)C |`5D,3DlSc36ˬ?8(GI/p ] ޛ}xm-d[C*܋-`E6G˽7J4•kV$0/ۦ6gkQ a2nA@'(m!a~s CoGTr+ O}R>+p,SdͲf*n:h5mup1^PxUlt^ mhA1{b88 DrjIĤgErH T]2Hc\͌RdꅘW؉R:[%J|{bɳ+^U^0F mʮH=U UBCЛ(̪\3ƫt3A~h/mlJŠT|[}Z +AªdI؉ 7L@I~FxL99/K:jްJK@Y}2TdYJpgR$[T9_.-4jSy ;{Iwya )o8<dϳDi ?m7~߄K:b8%Lw)IZl=axt%0*}8ŞLarE)MdP!㪮%tz!z@wk=IuhlY7A43Zvx5:I")ys7֩uvG!īV*Ko)U"げd9 m|IpL÷Y y:Y/dM;?I\ -_ja$zO/cF<Իkv~RYzbqAw/(+Piw7󖔌Br/)e!O;%P?L#(`blJTI.NpR"\w"aezӸ/xg&!7E*pQ9ΤPW>cyʹ0L}/B1'bPahA`` ;(M_\ϖ￀ކ Sׯ\d<Bstt<(Ҡ#h!`,mDF\wveAh5{,92&?a\vyzS+q]7ٵXtza:;Dzì. b"܉u֥®-W::` ϙ-t*, 'D%^=I4䌼ʄ05Mc3&5t.&]޺IW(]|nT#t7:8лTҨЉ4t+xrZuSӌ#+}u&/:6_()TQ!2(Y..గ7={FT8K`1L! ٖ_*pZK6~SjM[TV|ٽ캊SCZ[8]!Z9Ԩ=%UO_.Pl}ܯӓ7;Sδ`r@eT9s1ՅmW6R Y(8ڔ:4;g58?_#Wd,{ǥ&^{ԇy)8=>={An'0l;JoZvٗjoyHS.Xtr=@2j$TgOz8.Hs!B圹 |/X@x CoN'.^f+Y_3'Mqn>fz- PI?EmN1I)Oq kG@TATsW2&xNu/Mk,zN** uRf_g#U4SA+r &n#M f:t9I[{ (57[ &Kʉ[mĬ#fON -Oַ@2gu鰏Q6%àųą'gJUZ`ڸ#HñFͻ`csˍH`Hg|U@_'vp2,@tTv>>/Mk5wj0ЛbMJpaVW]WxҒ;Xko u".CV`(ѭQxgtp:bFjxz;m;." ,mz\T`~}lоd{rAQtG[%L얥)aO;辣|aˡBDc@s0HHN+ܰ@zw -խ!SsF%m"N68s*2_< \ OERm-3/ !'dNQMYɀHGBfO.)Oz'҂ny9AÏgVt4D8ԁʘe0Z?KFU[uEսaB,{mlK-u_sJydI[ID`G1\L(w5"E`'ZpuAuܴ_nE̥O( ֛HQX7`$Kx}2y9wN3fxl<8 $I,v{Ry\; y=w.H/JtVGSw~ t)#&*9ANN0C&#u\Hmy8K ~5rtg*%LN͌|GEh:YɘokD:x߲)w9m`UuW4׳ 2N[&-z^;VB·[]aKݨ0iJ‡ (wd뺀WͿ"/Q:wo#|K b0x_b3 Ia. Mz駽eob oeYO$OUBbLH3!X\擬n菫W$2gae7;4l);8hH|$h}IZ5hvcWgI]-A48_V%^?nC7 6ZsFMwIE+ LHԃ {;KgB FrdS֪+Cu|]r|+2f9JR;V&8QgA H2LƷV@̘0YmJ!ހyBrk? WM-i?<1d\tpҩUMmt/ KdUD;Z@ :ÿπ_zGg/2"ԖOmYR?g6dT*VDtW_xW]¨0H|F2)zt gcmD_[ǹVPEzpG0 Jpr8r kdsC_8h@C ) `/XSܞ-'< RVط s}NjVY!|:;B:;<]!'թTueM0+_MJ9ͺz }G)SE¼vN{UgF-pl'$b8l9{aaٗ)s>lw@D#X)||纜#5\NajħV/'dT`%7toahK0 \8h(a-Xkm08!LhJkCV=c+FxZj6bK3x9qMZf(hpPoqrg<g3PO>s ٩g(: bRIO2HQQFӢՀ|54R | b[ٴ0*=kd =nx bܴPSE$ VY*]Ow\<1},@W[<zuWT5o"V{/8Jt jhqB`82Aޯ[͊οOEv}ԹN7sM.g З;`ffC3Ly'!XW!x ۯѩBXZC6>u#y_ vitxN8;{= cSdW,s`&t;2(abA,&_1sHmG.Id3hA}q?U}CA0氬je]*dɴ?Mgy[;Uzמ_B謰 1r>8;7ʠШf5 =j~, -ǚS%wzʥ|GP\~ a%c87\7KpC21J?,kا3pkw@#IRLçlA#`QX3S/{,A:GaD0w@fP@UŌl*>O䈃8^0)oPWh䏆b/* cokQ$y@쑻)U֠kRZ`'+ofaI+}EbU> *#Us\ Qa硔)*ֱp cM&9$9~gvʟ IliAjK뙃: cw Y^'2`z*~A%sw yy*Y$Żq8k,$fQ@? t 5P7F37{wٱXn&m_=ܐ&33$e/[!Ō@q"҆^F$%]_ݻ{L5!菟Gr?lKf 4Z's-ûԜS05~B3kGժ0 Rfn̳&sG. 7}bש#s&ġl*6mchVNT*^=䂘8>5K 9/0aq& n N]hB"=bIXD5#߇"yLŁW)Z<Ņ׾4en0wm-sܙ7咵i{mRD:~`4ey*"K5~ds_gFJ"xd)+;:p~hI{<-C]?cX=)P}GTk]դ4B>WVD`4~Rew fdP@MtSEYsJ[=7Kl{ B9hXк.lF8}TY*,۝(N* *u @VC)wOu(63wz2D^u' *+Эct>EV}iCA"Y9n?8G]z,|..EqF {ф$r2(ڄc)C!?o--dr:u` oYc~ tq&>'w&!ѦW+.v\Ae5/6|%.C+. 64ݦ_,Ggn|3C%CɤeH#ɳVTԀLh#qN]ԯW$ZB{A '/xKU+36KG-k Gح\RZ8tR8b̋ gӬx 7E b |aܓ/֣ 0%Ce~q P#$ !z51쮐a wIZ&:p1@?e<73͕dYI~rHkc5}M7._P*3 (VaiwɯӔdJvY |4ŅZ=BNS37=U5}i^'Z2f57ˠW1@ϳUWA`9'e'^Pk@' ۼ  w;'}\*wnt@we"~ *?G`p}B%-C#q,w[~u<$A,.4@h8i!pgwo)0eP(Rpp!VV屭&mrZ~z8Z+C $?W}rZCtUcOA>^>w?ld*` IKqr}Pǣ#60:͟+TuU(5-<M l~*WS_QltBt$c &j;,&eg e!&Rf>i.,m{՜5Y.~2Tgt:A8]wTjk8V~٣dj( ":*r?L*<&"5Z (*O2|xAJ0)̦dQ])yN֝ c?k<DљMgL^՟u;_ݦ8a^Ȥrꗳ@!mZψ mR:CQְy $W+G,.";HR3G/ ;r~5-[ps̻ebz\osa  ;Zv.2jkUڪ.9^IIj%䱶 &,u|ENՔX\3EA) $pP6mL=BQ6E|&i 7L6K-:Gyjv}K!TjUTGƼf _1dtEnt|<03}8TiŊjǰ4fV?09a/Z;stCcky9}xƞnw~Yui,S` n*2uDu}̵K$3N[ gRKsD,$FO\YFIj9 YYϵdxYFdQshz54/C!ǴFh:1m1tV$cn9b"~I)c`浰^5 93HWw4)#}՝MU >2pfm>`3w0?em'@EޢPj<(![3֛•j9Ca g?,8¯P,A4$Cރ ۠1h}hiIƎL K~$ 705Vy\;)^,raDU":C۵N"Fԓt $N ڹ ͭ[K ԌP ,/d%7QJx J7< AKp:%$PwPc4z*T殢V PZKTj멎fί_G$ `\# *҄ئ;&0d#KCw9:h43&Ho|ѝI8/Ur1&M{mzr.û!SKen* ~_Bct {sa-78Q+*ٻN!5~u.p񆩔0WatTӌ)DiOĮau*o(`"e<!O7V$Vv 'p@CҺdlŶiw7yp^EƺAtMb'F V8*+ ;@]_hM$R6ǙPGZ٥Uyjۺ%Z$6,G#Y0ZOC9U\"*XʤU92\57#Pї-e#'Ps]k;q1:~04'p[R^FW^|M9!8 rJU?\S?Y[=`vH*ꆙ?tO3"'yw"uB{ͺJ\vz?nzQ}VG y+W>MbC| 𢐝}ΘSJ=*~0ɻxwcy:Ɏg6+WfE ٻ4jѪT! 5|+ҳ~)?/eڲ)}Ek g^Trix웽%uT3F]PҥbGoxAnXd.q&?伪Y:˷*#fd5Hx i,I:",UR^5CAEeMpZ7p,=_XQHޏ8g/Z}] =(0V|'ӜؚdkL9ubG'0(o'ȉ9ΐvlz1~ }A8xiDԺ:k; ~-qJ5A!+rS20$zr&2_ҒH ^5sЃ6kjZ+Y d8>Y/htlhJF_4V7@8PL]?q0՝)7iw 6nATӔ;R ]>"̎`Yhub. T= 6ՀRmC=G{cby>b¼Tx&n>=,uR,})&LwY %1Vy(AycNowR\^*D̽V&6}L"]>GC%Tp\K*kS!?IJn%t$p|岐}@iDc[I#ɪv"p*B$vA O[a#%BUSbAeC\"V4c'PHsm5":b]۰?] QMY1jjs z cq&ME $0Uʉ^VXݰM uo|U|Z*u)@t۶9\VO"8[2]#rqo2 y$о(SrɧCFW>ֹoXR:ۯg'_bتQ]p<*1+z]Qʷ D̶88o3 0?v{q`WNML9o6Я'rcCaFN<]fdzE"tFS`➋ypMP~n83qz0IދlM80TwM=|4Q|' 7f]7֖D&êN|hbren|H\ Ω);M Lsq7J51s5>[z `%0t&qiǃNO&u ~UGf3Xbiң|Mf\`٧.F<]ml߇f7/ Į֟|tSi"6Vzad jRU bݪRS TV.yY~TTVFw6eIli i hqg 0&.H B%(P41$52)-\|~ߎ>EFz^u@z2w;WF`OH J鎾PWBzpHf¾x&«˵#߃q\F '|T wD/GWߐRy`>)~UkJDve.KPAǸȎRf6Vv؉NC!ՋTwk(DC&4å_sVvgfL&!b+_3y؛v (Y "ͭԗ0#y;9}{>cĢ>0=zMѵKqh<\kԭos\WYEw(26+`\XR@U8Na!J' ՈkP^k+ryE}D&FcKlԎ{<$/. a,% E4C敪g΀11#"Nǐ*Up>11]k=xf<yT97L̈)OmGlUs=6['GشmmKZ[M"o-ڂ(rSඑFoA\9ͣ;D.pӽed$gϥ 4O|HtcT|~J]Ӊ)^_H ݗdbk6A42֘5+A Z3*,u?La`_S/=`75ĒK8 #+0/pa 7a(u6PAQ3}D) ,Q2!kLNsXkB#:Ƴo (7͡tIAWdtjlt{\f$Ż6ڋscw)`侩] 4'N:-T+&y/6VnUw`rрA?^`*ƺ ״v$TTiܦA4΅6#R4ȚsFoRkʞ}TY{U(S,38δ_@$l*$\6ZUL[zZ.Π6'V?nR7pPUdz<6θMǵ( κrg'?+@Zl=p9: %Nzme37~GJz'GniI8Afilo{*=sTC?{d]RNIA^!+ Yqbe,r~֗ՙH).Lb"xY騞%vOeJ1ȊX3'YƜzHAGVTh\%Gd5dTq`/n%j!P^ˁţp4[E9X=_tKS*Xgr{{KU]( vKMW:'5-˜|h#lr^Y:b9? 2O #Pд7j .e꼱)\ ){Ov 0r osd"gS]&]HD8@+Kl2= jBl4~J:װ\&T쪸EJ4Y2$q <@a7xi[##V_@r5^ۉlnȕS΄ҷ^bw6~.z o37G1O'EJ^3-̖ 2p9oV]Cc7\RJbmRCL#-+HFOcUX!11q10{ RaNKCBUU$@s*yA,^~ސkrSW\l'j~w5|EruܥePu8{[.DaH*_PL]ZƐdN Wx5JuRvl ;s FweBB}4;LBO2W0RI|k [$v``T.PKkxBmu)F9nXaJ@)g^UW*lHs 3 Mn*`E5K;8 Л `H/p2"j]/eTM$S=xi? @?v}'v-TՆ '7p[ 6vu]'ўgAZO_^u&>0Fh.LTO.51߮Wلb.vlX31QZfIٺiN贊G}>_ >%0ƦO7xZT9pПȌ&sX= PtD;?03`AHxYfOo_ AQfĎ6ǽq$#RN9El5 V$5Dt£!583\[Ƚ9|V\-– xӍ O?|Ko! PGU&u@D+!)Xr:o7R H#N"-!:s$ 8DVO_od)  =X8C: P̄I93#yiFRRV 2Eʲ5Jy$!L1K<& 1TT:Q9|/%g s4IL*wa#(D+\Г zpKnHx@oլV9,թ׋(\F7rb3YsDF`1 *yr`ovJa㜀WQc=+Y.]Z۝m(B³>KZa8+ʚ4b3/6bs: ӱ_%T{Rm[>u4z?-uokHK4*߭+cCOXF2NaVFHETQRyB̫w#l{|!mpWLic׫["`8C&fUU*[8#:aL0j‰Lv*m)\{bEIPX)6hN?we4e6rl繰+2.F7YjHOxpɰS. \HEe2r}C&LX;eLt^܁.&s~zx#uCwq6rOKhs6ZBS@]2ObX?DׇW>1NLA?f$U|dݷtO_Q^" w ]c!y=R0Q( +?ъM R6ж4ݠv~5e΀-NLJӰl3`L*'HNlfa"u:f?P vVin͘SF!Ȗr&cx4_ʆ}s.90*H4 K;f. 5NΒ@:~ ؂vf1;}5aPO9H0xWUVc^9)Ԓ%b}s4>}Iʧǿ u^>:]Ow3e)9rQ@|W!~ygX?j(A&J-Nvd; :ӥ (ϡo/p?m i4%/pOjnTH^+.O_53A:p@w֠"@+,gȫ$= I.Fl?ƝxG::;zUMƥ$ M;Eli~O)U<݆\AhG2nO O[Ok[NR8eGXl^J+ 2k3VlV~ >23ۃna5LXe~/qs RϤF%(7hP[!ȩ4|m朵x؉ 2Fa5DZjTplh u Q񞉀jyV^b},٥8Ǩ 5;;&^WG0jS8?U4~3$W"W23cyG݋{ʁrz)̀?LZVt4ϔW>%c)z9m)XN!uɂVca6| :4Tse{DG;z}N}jx[cJJ/׍`$ufbrp%`ؠK&g8Iь:t*&`~߽EpIR}hJ&^P)R P%!*oFH*WRo5;!r̃"yz 9hDO>Za{G` {fhf ֧p>\y08a,asX2C2e2!e˲T /A&ٝBQ `hO*`Quלnbƒ"|jP*hcTX<߷p{l{n 6)S8g=f 8'22К*pe7n.˳\RMY''B,I˃ud0!EW)$Xi޺g\PO؜!:mx66[0't1{UAل?IuA F]sۺ=yin`Ԟ _M\R5*+OX-U @YPLc?=򪃗l/,pv!N_>.<\#n)c~|/y7hؒ  zR'ԏnk(f:n= ^| Rcku4NcXDd}!uz~>N;•QjZOϳcǰd&/' :ʘo.vRM)d+^[V]j Vxy뗭MZ} ]6'&F"@w3F#j]p,tթe"&͟ʕ6mKܟ5ME Dʼn]k} !N,fRG({Qdui ~%PZP,4һ^8\L aJQ*F"wRjɘaA6x+Wbv(nx_]` erݤFFh6AsnOww2>}uCU7:05{)UQvnkBP_"_ںv S[W.p88b,pbȀ0*#$([ \tafG9"/׿k_s= e.c xQ|My*bk589VM_ LױSJvӇ % ؙl=T5.|_ޗǏds9e&ֽWяGf!ޑ3 8t6pƖd<3HpÝ@c}V'ch'[8Pa3ZM_C`?Q1Lڥ)NF:Iʔ)@f=a(/ xDq(=+2:6>2\C%7S  JŌ{naG:E\w, U}ww4FRܶG#뿡`XfU&HN`'>vG^~Ȝ\ZhԮTi5bT)ņ dTx'&G gMNY̗`TRf $gz'(Me1XsѾ3pLZ8> NApCu %.!+y}ERX Dg>5yA|,ZGs[|SЌ}1'oIZєz&T5,ly5*eהGx\zxX3y 9Z^W0W'__*1jX˾-mI8eąZphK`[6iPP6-Z5w7Yz\D4<ߚ`wbP;؁ <.xMvDkT| kutYnH Ljkm{ѣ0L)n~{b*VOKkoY3dn#yc{ \z so(IZM*ӸԦ ؞PY