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   F9~l< ] HOL-Datatype_Benchmark:threads=6elapsed=492.953cpu=1952.814gc=803.9677zXZִF! 4o]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;EnPpPhOjVU8C#ZqZU9>_.j%E:hcA!prVMIU9NXoò]9E9"Bv{BsT"6b|Ȧ:QӝD3s2;ﴀ)JDGx4Aq! {#rm'|&T3mM 0ve\.!{LWL~r\&/MeņMqk|fަQ,RUuqu\MAN_ʘ0)JH/]j\rf sRIhڤ2ls2Wzq.MN_-l/)!s,0˃Z4! #]8 -_!f iK5gYZ7zXZִF!  ]ŗXiɟ1)*u%9NC e˕>\>UC(,e>_+.8xUbUp;*"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=LIzIJN63}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]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 e F9G'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_idP9K7HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/Misc_N2M.texL9G3HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.texM9I5 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument/Brackin.tex  ,ч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*gYZMkfv1_[{ĬӬ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 8 -T8u9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id514J9K7 |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/Misc_N2M.tex7zXZִF! ]A-MՋhvG"uIBm51FbhK#|Q}k@:9Fg[ !#J4GB{ ]drw>*"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=LIzIJN63}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]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;~5Nƭ26R" *UZyaW#%d#\iu󛽦Lٲd䭞՞Y0Y l,"`" QQa< vaLmu_8j3'Ȱ}cyN?ʞn-k(rq ʉ_ 59uH9oS7tl,PNi c )M-²əX?O9Z!xԳྃlvphڙĮ]#6/^ N8o խW%6>2/ 'pTEu ;wh}Vzty=hr4VQ4;( ɲZd4zv~S؇Y)hz(?C{co'*P_[ u@X6sD>,B&r kuIw'Mw=α5 9K# dHOL-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 ~)p]EXϖQ6Й)(7Sơj$r5-h 8o^NlCbghQd4bݳ3yqL7gȩAF+8 Vk3I>d%j#9\n1Yv=-L w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id516{9I# tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db)eZ~s5,Pi&bPW+|v6 J EZ+gj_e$@=ncGs,J &0ru{>\o$p ȶD9G݂%m5u@fPTSk| (gT.qyen;{ T;"pkvG 50l e> c{GᲚ<&ߊbϤ7hjN3-kVR(a3#2h%q%]@]e̴# DϙDr6Qh!WsXC :#REM[Ijc-5 CF,0w| 1kX4"W&zk44? 09ϓ.usqcğ2?y/WfLd"5}~,2Xs/joye0X:&;Y yVJ\t[u) [qN.~e;M'DGޔb iS;Q7nv,mLlL6'SlCU$8^[r"otƷ3AykL@b%yՖ@S)$*4QXoHv*{(;Zq +<~ Wj Skg2(3rbL9Kͳxa<ʰrlo*")JIqө8%YmLy4pCK,~ippa5"o+HU*QP!_L SɧOtH,g\QGu?mH㘼\C1KGgymtEWW,$ G\ D#Y%Bgdju_{Е`bBG#rS.&m$4?}1=+eH]2,x0W?h@ Ԫg-5#+3&!m"1da#g4甋7HD?j@L7W=bIQX@9}uILÔ"IFf3BP3ee!gYZ Sg)FD&7(,.̞5gD vIT˴t##,2w[)dtQM=FZň LzbN7 v~46g2={VChG6&xWsܸ7"_{e5RR!$&uW ~Һ sLJ9'te ɣvs/mavurJOn>ıa!<}8}kBkhUsS,11\/4h-I^%?Wcz(csKHeUU.M?FI5w6^h/8lSS@qG+nmXܳ6CF dk$ ݗ] l"<:?z$^Ic*uJ~>КEcGOu`@N`#y<hɛM[]RrU U' \걉sDe_u>Zɻ ]cuB0J˟p,P5#YpAiV6 ~ĆbNBRl,=5jhh!#^wV yc|JxkLB'bYK$Q;OY2̒qV?5n"yga /ʀ7Q!v٧Lu/:Yh ??4\ȵU!C*S9⹭sA"WO,9q'j8RMR2yq>YQwG/F q3MvhPm Ұ^Qos`"E@llDb@0)Ϙ>18 AĖRB- 5P0+Vsks~-(遘+s7Y~@];WhK> ޳62'=v9M`qta\Ű.\ =L~atFgiL i~u L)H{M=L,ӥFSXK²DZRKғդ>$̋ֆ^Ihvn@Cq3ȹ٦0x@E65hsS T*p׍<ф({OǁXP`#ӕi~ZuX%^G( >[N?a FlX uKľ5A1|;ʿ}%u%X1%ֱNF~ 0kDˌ|~J^߳0&I$[y9cTaGͪ`_YEH_-B6x.akkP (&+l4᡽#BVTlrhceKF 2|ixğ־ϲTh)\ P&[94]FWQ8vP\1 ;|*cAy &ɿEC>Tr9.)TRba]qDP}3"c\@E̺? 8TYyƸXCCp)@:J =FG 0/IsfwNk ^R$YQgMQNy1y*eWy K:bt'@c_p| r~n8I Hng`eISeO(=",=+ J@@cU] Fk3JVEvZVWzޙ63 S7l@*$Jr"P͓ju߻ωo"/5Opw}(C6`vmOD6{Di̶'CPomO7]'2rvߥse#%: ƮPf˯R??uv b8%u(t?;a_(#G4{̓Y%oTiPSݰ0w%6+; yUu3<V 6Y Xaeފ=!`ybA ͞I\*RFkN<3Hu25S*jv(QXWR\m#a*n0S{]LuOKvO Dzw&(q=ȔHy3 t,ˠ$? ,Vc0'n-l|L/_Qr΄,BXWqW4OC5Wbdĥi5o( k g6hI~#xƵ+ງBs4|ΝUH\|Rvv(8ÀYNr ~~ܢUāKe-/h,E">a;H,mԋg.vFv dtkII K?:じA+0 (sPd}ױi]{Ii~X?xr ߛWig#62^2*Q!jB[ҙQ$B; 4\SZ(RۡfB-nزwNy_CRuMc}t t.΅J+6|Ms>1m^qtgZ(1"TKmh{0a e\3Vf9R0_.^Vή!v\ZɢxSƈ _q `İn؊"oa Ệ˚xp6XJo~3 5SɡIٓ'qw!owx`!Xnțk 8=F"[PY$uJ4CJT>*XҺR/jA3ƫHP @,^gQ,Hx3C~z(O.TlȄ¦u> gkU1Uyᜒ%5uR+켕 Mml!YT͙-^M?f}j2zj_6Ɏ-w3LtvQnb%QcsjmD|uׄi샦 -״J0 {c6f*l˲.}K_jޜq1<&,uU)I LOK%KpJ֩Acň|yLB@}KGYLU.D:?dTbXFoq.jxȶ[BQN;IN| XĥiN-V!Hl2|M#%f udB$+kQ{7 8;)$^32po:+mKPOzn^Yjm-z0־[h)p_G54BB|5l+6;JK &$ f SCԜV~]|yWk .7yَ ߧVka,ST@#ҙ:C^V=y.Ӑ*4o_)%V,}ck]}MבigNk B+b%HgĈJ( ``ҟ(ZvS~sc zJFyk{epnY"eny tJb|\YmqgjLOg6Ƭtˉp;4Հ*Sm6Oa\N'M+q̦3M>dSFix@GSe3v4Od*-KWP~{[0>ħ`n % o/H}]E)8be\)NaBJ~5DCըCp3\ʘ)Tqwyz*K{5f['h͚[ض90fz"-\+v쭻_%OtЇ'Q)]NKݧ<;04O [k+TzxUD/.[ȝO\moB$ȟrǍy}GU-;<TXz0=ZͣiiɎ6/R[ ; *S]AVtr)e0;enb;FQ@UP:Hs К'EԶk@ڏuMDq?WgLH{7ݰrA0YC$}^1y oQ;GvMQP>5 uP}/^ƽ\cO f옒Nvi=~Gk uz(Ɛ\kL|r=$b_z>ޭDO"ʩ+̀nv>ʨ)˩[Yt zgy,AϺd + :~NѯO- mU0EO@pb*ҔSZ4ܙ!aȰX̥l#z!U)keIuD)SLLj46xبpĸ9Hfe[:HDeGQF&x? O&ƋkS|Ye}Hn鈬BE*(G.* t,e=¯`^U@9 2gfd?!ceaI,ݎf)x.ZHH s-|TVY=LXv.̜F5kǯ,UAhݏJ׼A͛68J?2{G͋FVx!*>aY h4>BNsE7OIXv#9vLt4T_o!e*3XAuF(^=KޟH4U1:wA d7҅!AN"NDюG4bz?܄3;-| t-pЅR,ǭ;tJY_ʇHj80t#2jS* *#brSdb^;)! O^@.DE$1'26da)i5O~fV2Ʋb蘜Mƣt[YFz4H㉵'9lquE+1eATu%8wrH8$|)]J+d?o?I0eͦD%>k:dOuo7˿7DI[8R8̝04Fڞ4PSQdTh. 8Ͳr"=a^bf{  0m,1/ gUw1ԕ& YDD嫵(ia`pe`=! ʍ2VPBGûjCr"fL@{q\V`*+iލ;!P؃Z"nJdB#XĈr{U1pڍEW(7K8mZ+XH J$β_S[ɰwDQQsTk}v6q63qkP\bb^0 ^-e_4POj)}l™AqI`bwO5Y7 q>6-w?u\K@5nDI|]]s(sslî*+IByaZ$VCd'EAg8D9C'I!av?L >*d\E;KJhتb/Px8D 8K(rV@l~_d \ptl AfǭC VMe;h+X/y6b dIN/(k>EaǵT 5Ikd_Oun:l(&o 1']g~ @-~[;'HZ:G8ǖnƻ TLfoxQ(İsۆ+|x=LkԉSHB!!Vz(y$g`+G0]\mV& [!O(5+ḻ&yƟ U,gђ7RnR08Un2Z833߃[>V:D]^#5fwj|4~ɬύ֨t\\K )g@ < +guw0`jW^ f ҁ4ʊ%s忥!N[iO9R*O bEѿ"׊G+3%YKaA,[{䣏 RęZXE,[7ȷ)vF=ZSVIpP"hWr ɇt·yj(>HZB,e_ٻeDr=Ά«ж2y6l-pz둌( <f<4Vd8JJd)я@8C"G=3qEHD]RꯏR+ᅴvuMFwfdZ5TQ#;$ mK9`99z{ˆ6YwD]yW8hm#I0^Gڇ @1(cD.EnI<;g7˳TPZߑƁ4YCd~8;$JCgwh?3ŻKO5ۦ`f`=^ɒj%S18nî:!I]r UgO!S*>If DSE%T16CF6oiG#:p#؛P Zr%СfqWyҿz(h7*'r%ՍӶot"N [/;!B> } BKMnO3Urh*%*PUZP @^2ѳV-osW 3C0یz)Iz'N /%L~䙺+V7j]y ].u\f}OO$=YU)+S}[HPދ+%a/!JnRr41QW6f} s0aUk 8RB0^Ugr=у$ 8b}ch=/Mk& ;~"q(-0P'lpFb i1w>$ YG[0%2Um-&MszP9dJlUd~ ^\Kjn  mK1nm͍6e>9*UbjxƄ2|҈m7PdιTHIDVYFC `ϟ=iN&?"qo>4yyx0lVcDE`:u?tiݦ>CEؤ#jJFDhY}s0rMN%Wn)A.4xR[W4,+} em:n5de.CD_ԟi%45{'~+7O$o3n0aj@ Llr^]{z+M㛏 D"$]YpTv T+ԽW-Yx :=dTu5OuuxKZE7jlQ%őG3Bj%抮m%p"EqEZP;ĺ}=uG$}OýGd/|>Ȱ)CB*N|8zgP:/+$󓝹~yMDcdӳzd:[n%*o%"rwt\U}{0G5L(5̑w X9{AH%`@zWN&6_.b1>Ipkh]eDY6¹u(#眣.^;k7h'{8ё SVzN$dS}TOV{`I||[v[ 0‰G#k9TE}%m#L+R{m+;B厱s= 5 ^w+p!9'#3 `5kc(c#JuMYw0HnxuXsX"6j40oFV( bAZY?$6u-- >֜'n8^x™s-VF׹">e)ꗛhXUƯ4Ws-tmEml|O_~4 CZSe)GjX.(үw3X}@0D]{liÒו>X$hAMGr@!PpqZ&"95<`c+a\F0dQ:*K /8>&6YS4A2y.㳝)6{a%=f 3CuvNǛ3L`7}Z ét if:˟,QDׯu,<,bb:. .5(r>1v^/ڞGx:up!ݚI)Ae9ee*,K"@$I/QTn5E]3=]Ñܒv_j]`{}1Bb,`J,6xnQ-_ sFYy\/,dMk `&:>n#I@hAIk.LzV3 D!#U&.Ʌ- y ^':=~K-SSi*kyʁ ,;]RD؍H$>a1*Yf!kIvP~G,-ۼ" (Z:Omݛ|oi%:'݈.O.n*2lڹɱeܱ+Gyjo? Z>(_:~)$ F齞-ԓ·L8Xk'/ZJe!)V(Q٤FGeʞ']jg.*g{;l[{<06D4}jV#/udX5AY?o0 =2閹+ˠً‚9e8>u2__U^lc^aѵ@P2!y|}97Nr,_of9dUH)?F:P#S&ze!˖]ieA㢸"\%x)m/y5kal$$nX~ӝS~l!d'x^w3?abQӦ>k V)#~iY3P8_`1hxL# srim̠b^͉fv(rw+ }>i;{JsB U:[9ב󃲭Ђ}a5?A.z2YKt\F@֞L M1 ɃLn[NgD.رH0 ;1U$VkB @'~#wa~۵R%Ip\qg@iٜ0f1aĬ~[`UCa|o`=*&[̶A| 7lk-)lsA g0z;{~BTd?O:^ coFKԦ`Γ(T^ !FZ.֘15m!o oO4piG΅J0O(?z0%+ZGzcxT;Y}sɝ(2^h?=5d6g:QD NMM L@\EEe5Hk!k,5CL0wZf4.3*@BKS_%ݟ܈/>5 @yc"t[]yGP!Fcѯ!k [T?U(}>GEK 于 :S__XB Eި-L|xg*-?qKѻ=W1Y|oߛbk}`GPPhE7OBTJ& ME #u;(!g I"Zw&,Lӝ.lTT:Ԧ6"ޮg Fz<]G5u B#ВqR6Bj^-+cjd[=hVZ|3-?Y^8Zn` ?pl ߓ8 6x5x P9ڲqsG"MMҿbįB,qS)qwq`;q99vf.(.V*c>㢲3/Xl0v5ʳ 6 70MnU ggz j;VƳ pU,`mF8F/2a@o*WoH=vt*$ʹ.1- &:M9;+(o2xx IA̓85nhJ[H@~$`[|B$м蒓'P<~m1XB9EcV_b3xGќ+ $HsqB׫`Jjժ9iݵFVp2p{?7qdNv(tkC6C$khGSkhsXN+#8HR3zvQZ*Ck{`b`_'lr*t>$-"dx p>͹q!''n,I]u%gT<Ǽ}4XEљsrJ+ ^֔fݭAAEʗnMKi'_n4~G'[i>1`ۛ>F(.5Hr]ǂ5Y㒚+ʭ)>ćf48{?aB"/]XQ<9#xc 7}$8&c{ 4ܶ>sV񈐨w,<y}Wv'G%|H0"9$(e[HJ&ThY4 2 _ *||!ig쥗9= qEB1f[ߴl8(]tc$a5YDlrwhST]]Ǯ 2A /S]*0c7O*|fTUee;KP]4uW@!=lW5SYg[TbQ]6ц"e]~&I]c+b[GB*dqmR3;YBtg8x,V2_GE\|Hf,MMɀyea8I58n]"oG9&K3`unjQ/v,6AffK>!>cNbAK1c@Ñm|"GB-F j6cŷD k; rum}⎤",40$R:zB 拴X<vb#ypڅM@&7P->H}^{F.LYD0HH|]1=ݻ!pN Ƕ[ wE1Ul4PgX[h}zVM mK&"_ W`[KZ|5V/\} |s~ gKا=T38ƆZ 3 VV+0rP$npq ~ɔۍ8eȟ3~qӶnbzdӆm x98%M~puNkt![44T"hla$S g$ p\Z3EZF)c;G z#{j|`6_caGQķJNHg}{]I2qs[mI.btYX_]6U  av962C_T8;\K7p]f iYǃšcZBV+썓*(!>􌕟ftDHYaP @'yxp$ڊW8- `q뙆+u}fs ~B?2x#ghҍXb -`'DIo?/G&ë ^|>B%M~ I*X*7U48m{0{S]NA(>sxY>Niˠvywm%Lyo"SH SW"&13#QC #? ^# j$%ש+$BġT?l=oAѼЇ5-svaBr;4*YmfSV٠Yk+<ۨ~t@soeM3ȄL읳CesSUQkj-/_F'f.8͞*U a )B"0 Vxz,.ѡSVUhePํE=5yCbZCkE|1/E1wYP: >%sO4օn_YpHxVRD[k)VN{u(UDq[),=s `<5;H³|nS[Յ0TOޢôܙ'TF|ǙN<2Cԫq3ȗ8V3ɺ8O6ݯx}*Fȡ~,cゐ&X)Oΰ֩XQl5'e &((Y?/9b.W +Q*UV17CVԣ>w?spo7;= ) na#նMܒK1tb:;PEvPQjDј<._-]Uw]^zubA4*`:ClI 7Ӹ \֒qZKԀKҶF!@Â8.)%`(Jܧ̀M˕*y ヴq[&tNg' Mw?i|^Ko&_ Ŷ-2e:7'1-\egrX $RQfv13b+/Kb0Sjyg&f:oPԾv)s-3~:B"ec  50U77~AΡLSS%5}0lϕ)=Kikx#/\}23!GL藌M6rG͡$RO](pt=ӏABKOq˧"^dϩ PW@VKUn:`䓾5ܓ%`>zVl&DC՘u/@T349 V@&;M{USaSZe.}{qx]J M6żwՇ(dKYl`gMY55tF>$Oc\n^jٮ|IU=徥\r)9 "yNtyKcxXZWZZuQ%~ϦtCRnMkFCǭ=h8k0aXW[Gq|`0t w҄^p ~aN0_(K {}egJ` jN6Ɛ<YiXBr8ӏ/l~Ӛ]Kyi> LDتeoLxmcɾCpiL(4|oQ$;'G8AĹ`RB[ZZ-K$b,W]A[}l0僉i=mXrI[*>y{ kޝM| ¸{3EUY4;0Ϩ#~cuwFm]/Ԁf&<轙+"1Y$q 3i?( i&||)E/Ue'-W!^[2A[[p|jLMŃ>B fz:I Dc. )< KB?:fCI֗'| y<\3 ˃w>IxB2lx(b@<{}õNZ{i(UA.Xb؄x5ZD,YE_mzXR$d1#BտM1EqBS0`_'e\z9_i?t (d* _rK7G_|z, ,qȊ-\8׌nt$AK%p4ֈfLƎBC0LV߁#wT|'s0.`Uc#pfp.^-mSfItYjW`1VFY3ڴOdqۦ3ْ05ں]ĵ dn{̦Jz5,Bm~j@1uWd1í|HM!ҟ8"ɭKwSu*5j.g왠.EӥBe&<&$BEW ;Q'´;xpz0ߞK#֌/{rKҰJO׀K"T<^؉?.Ǝ:xM֣r&§SXKpQ=ID9! xqNJLb杳PM+iV߄gg:J?tgEnypetM0lStOw ceE\?"T:zOSz fMawSUi85>t8$z" gJ)gUgwҫF ;7l(hm SrzV'e!D)+h"[oqɢyqĕhC6u'2è!ͨ_"[V4]v9@o,\!v?B~d*&h9`egծ0 ΋(3#ǯah:_mKrQӱAVdVb8 *FZCF^XiJzIIgޮ @d jNbvMՁ4&-(ExM_ZHf*K+3+gQNG+Fx ~U ObS> Fi_$_ƔSbq⴦U^@{t6xdi 36Ld9`?&{B,#`%GT@^SW"xP%EwͷxJPGP:LvORAe:!D"Qe\4M1fTYe>Qm̿Y8Uaڙ#c|: $k|jSH@E:]gKHCPө=$^86&LmwE0$m$ $i?Q 6[\ ^u )+L]<_S>]TIb4ʐE4cW}>K%^n֯^N˂}L^8\'Nq, S, d#41VqhW~.aE}H'/`%qExUf$=bx28Y5w& }_Qf(rZI++Dఇ[\>C{Np23Iՠ" W=C|6$E,~y`.+Tz&D9T%;`_> '#C$x q9_K$%b峕 B>h_! B>퓔4w S>ӡOMa+[`" ͣQU<`8Oq?P3gp[FBƋ9Ѫn`LXdVĕ|9cWP@¶1+H}7Mxy,z {IEniDjh0H"QJT[ϚHN7ʝ"K]ne~9n À#^BnO\1 I~暛־սK42ttuaA!ʆG6[.81! NqУ]JKjx22&eHph$R gMR.hAi}h)kT`J1aGL")5fWQ@B& d$7#~[T GwT5\+pgaa="ihSO>i\ב ^˭˘PBrVP;>t$l@XC2p,QkR=U(ro C{_iam5az|8,K㛍ÿ6z|P7R  J:(>$@ ǩ3;1ha@N]$tuhﬤoE%~[ >ӄR>&џqzEmlZ I=W؊m/}ˆ[""(WuLyd {gCP$ Hd.dGhU?j4Bj'xh{q!܊Tg)^EJ4ֶ@1=chx]T̈́{u6L_vT:821C;pPӌHm*#n+,قAtJ"y_$cD+ s>wߒ"F~=(Mݗ~x#"(qMqYg牻vKZ6-Z.vw\^n`ޥh"ƨG\HQ`dk$z^)kxQ ϛJ|f10Hdr#YGreߝ{_P~DQ4fˌϒnl)^4&X&.˦k!QKKAu`sTZusu2N6c3 ̻s!S8|oS,LQ6%!V-n;ߔ fv{Mg۳j@nϣYU}{)ÂT.YEs6S"c*@7EYV{dN`$jbun2 +do%!-E!) ؁Ac}A,x5+R:n32ȼ>pm,#^('?{)|X':&`x,n t>̺{J.ܖLeX@8@f(N+&>a{֛MQ ƶMߎK(=h NAlyV)}0hvo}Sb$n> 8fz6\Qt+ ~Y$s9Q$L XbDEm|^*mO7a ˋݾО g=c(mn]KCM W+zai/Kp4WeQv8yD y.1ڠS.-ZUW΂zO+ zŠ߇ "xy$X O:Kp4uH8/D+mzdLG gaR؃ͩ:.k\VS0z ~4's22rM3L7*ZZiB2N©#ˆ9hoqޚ7z k9\@WG-bBASyTHC%"#ָ= Snַg_"Xm>V:;}#U "djUf?O)jaMo{MT݋&t{W$ u(* $FAk+W^؀o |WT[sTJ޿C0ߔ t1g m͑~N9XjF"J]潗16N,$zMz@!Wj}t"kg+5ps0$& d&Noow@x%WYC~M$[]5/U[ǰg".whN4(&p4 V%}I/d OUAV߄~<UhC Օ<|,47:(Gŋгbؠ CЩ 5I84"Ae+ 3 =Vg%XA~W{hR1>DR?b45* >CM053[Qr埊Yrr ENr s9RQUb]rZrúbxu|#^4l+wK|Yxha?v}z&NA ~pI0!%Dh|Dsub/y 3#|J{g0 55 \ ݽ&"A"#͔\%4ndAZw/Z ul ?,]ELuM~YH0 iˊExN(|ʫLk7F~bd .?͊˕ ],pm~M\keJQi:̳Ic#x̴?5Ԁ&,DyN3[xͤ يJ *`hGJ ~fϏlc Q%J{b*6r%f0jt qXBGTYTxݿcv֐z8uY:px@*| iu=v_@Vo 18!l-gD";t8|!-}GemYF #/4YEkHWֿfVfvhL6¯A؞b!?Qr2(p/@ iH93m(gft$ -k6 R,HIa?m\by ۫zMX\#Bu,.a#@vߊa<_wiHō/tf@Z+6+2"*hgo3)KbȶD[ozJZWٞS6vbK3,33Bz :,{dCS!JIQm xQ6`+'KzPp2ahR^ @T5/=7*;Ă (#? {*3Ӥna>4m6\B~?'># 37ݻ:J芼:)`RG.^1U10K;xń?h2)y~|Ψr'R*tyHe5hՔ:hyrW=p05m@52|ȹ6 @WmcB?E?&Dca%{Ť̗I̛G VKF]eTdD l;4tbIՁ$P.iFNVn0^o ]h/eAY@r7汮 gd+m$9zI& [!aP{2C?˙[DP~r)Jo!ytn;>ٸt@)t}dd 9+`tޭu7=d!{q3߷n1 6Ifs!3X߁0ؓ#b jP0DRRaj=i%͓SYܷŧjHQW>nw깰lΓo~c&i}%I۴]bQ&K0? ,;a4RZ4ߏVեT0æ^ []YcgIn7-SBzA BPkTPg4m&XZUB{chVa)Ÿ-leƵ `q f+_&c1KOը ތg3VR%,y dHXq8G$i, *K#y 1ތj&gR:+n{Fw~(ͤt*ݮ_Z8viwL'۱M1޼fe'3UA+r%xm8%eJg~ q͔v"Pj3_Q 57Ӛі{*2~M;oWnpnl2}MrG_7:כW΁FP1J.@M9ݏ\맥<1ʫfnCPٞCyLH2\^VDN(ʕdwK.Hn)m} ҁKчUss|2h7I mɕ:y,ⲍ, HS̝¬EKzӨ[ g)Yg?$dl!55T϶ aAx:="}0e=vݖdQb*IHw5e a-yIm +'&VϨ~WC^pٜ(^ʄS)U؃*Fi8<31V.)(#&'d`'YLn8)+i\#펩a!ުJ3Փ5WTJkhI}8M}`wO>%j0ڢjL-@ dLe?帾 E!,_1 )4pCR&=16՛X$NEIꚹ&fI46htP;y*ԎO$~ A$ z$ @*UOahv[+ExhbKd F ~tB6i `ʌizIgd; H}-|x_g:JVQqӳBHLfd1<)SZ'3/cٙwC[ȡ՗v- ո̦S@R%@rpn-&<볓h#\6bz}ZS\F-`<|OZظ{/`-x:LM]<-N8'x [fwL'<`Q;13 >KxďՍZqQ_{`w{-}ץSA>/ 8J[p1Uٗ@eb49Z n1»)e y&0W\lM>*C϶AV.lz[r*-s{cZ !oyrFihX#S33~Jqa] q3\Ⱥq].`(gd^92K-@`2RZ'\B|,Tpq2_*:]#=ۥf+7p.aTWEϲ/I"'e ZpOpuSDkᠸCٸ*Lwq1o}+~Td'|s96n*x_`šn$ =8y ^*I&AKko&ݩ{nӟݖ9p|:Ff͜ٷF rDJQMrڽ@QGCi;ڦ/kX&6+c~/ZFj'ByEX}&q NCQJȫ,y0-v烗Q%lW~GgPxҭ5,y/,[b_ن#+mI'NIf4"OsGslZ_ xSUʆEw%͊caˌ!f)K,I37C`cIʐsV!S8=IM؜{=?3V8_OkHءzztΌHזě }.կ Ços8x+įqĊpq4 OLFn x5d)cҍuCs0b=9  bͨCؔ2^(x=hx>|S1؜zBT[b-AmuBVY 2@pq]yV<0㳘?~Zp6c$y F4%8!(xo&)> ̱ y?]<]OT?PfKdtuRBfZKS;"KĩX<-g],r_  Gw Qvq.=)zEdsw=AT,j~EpW('pWiu( o.) #`<kܜh9bYzt9Β/nlQ>fKyZJ {/"T |a4j%$x|V"?|*vY7DEzRrњ`Z7J{Z f}'u/֖J-ӖooyX{j ]B"}WrwkZW1kre{؁EE|]G2}z]R ౚ[]xU; 3},T?Į̆Rm]kg^@Npe43f>' %~/&?w&ZgM]΃p3%2Ġ$0,|uQk ݩ&aƄh4 -1t,Fq*GQϚQ6/5k$Kw!Ce7{>}`pH Tl'H|uy(IesJWL\+l?XjͣCciME=O_+HHt(` R9c ?GfCfJ g_.59NI'o PТ@ 6XPZF]kJ? ^zn(D7]US;[a_^h GWw؜"#?/w; VX^[nvM{~'NilN;ȫ-rRzn`&vъblۄ$D^G-"붴㻖Vwpq%է%f4_}Q(+{^ˍ`2AAj#i3~dA-J[d?Kh'E>X:l|+Cא+7Z_f!j:|#Ye NbSVUwCYh<-ˤ U9}):5j6~%񭔜5e E.A_r +ۻi {ӕ3NG6 `SIu(k!.OCK#+]'~*o 09Bzcw*EX,Y!Uj(v,!$VˣC>"y"0Y ls($ IgYZ!,hA plILCG=@_ SFu*UeɹqHhDb^[w&{>Qd=X-͍]Se@w đ/0'']9u \vEuM\wQ╁uN;ȷA![|ƑA| ոz@,^gPP1J~i݀|z>=@X,wbS]ER-[LH& b54Bn "O:N@|,7TS_ܶʐ 3wE 0-~ }lVC9L>eD Ez^fP}ֺSIk cv_aޕod~Pi aMf6 3hJ]u?7S}C<x恓F"^Q44s"YK]a iil]_4*8[IPE$ysT+._ ‡M^k-bsց$xI:ʾ.FdE)RD^se滱Ckϑ,~J/9pg+pը̈́#4׆q%WCS1ꠎW:ai]hlXZ ҷz IK^:<"|b)^(l36GV`F EΥY:fX_:b}\E fdE yPFMwB lV#ḕ;)n[{-ǯ࿔?гa0ayy\뒊Р!/|YOBn1hPbuzut EOޯm\@ #Q\$3;!RU8])4: Y%.Z8KnǯB`ED ;>c/fKp{/R{:'0Y-wgĭǞ0Um.hiBy gYv />%XDɧbެU %ѝ֙'"$:bqȵ%*J 62w5]#pVmt #t H_h$%8J<@Gj\D0Dt h4Q8D}3VA\ըm9bv^qfk]ea pFaD2aJV9tըthN!ĎYX4UV$^qϛuc^[44+#SpMA/7g p '# ^@P}eYn1 K"ξH; 8#n: F=î3oޚFoӢX^TH@J겉|Y׉f#p ,e֞7_a.ehPvP7KH.Α58`}v.;Վl ғU>4SWm ?"˥ qwk6V>p%'Uپ=*̈WՐ @`ۏT| hy…W-># ,UI#4T۽x~dvϳnOё?*քƴwe=P]Pfw:Ӟ)_hBVIҜ\ЄOjW!GإޡP1Yqxa/A!P}@I8ul].> YE( ߓTRfͳ޶nk:/VL5OB# gϰ\~ r$dqbHU&%b/wBYddb?Q%9iRuJ*>gAu?Yݹ*"׼ʠhjL~/Izka: J GLwatjKH3''6dw\ժDv9OͶpC)ݦ;2Ij$3N]Xŵ-S|VLj%%M5Qܕ/'iUuɪj+ 8%.;{uc-KiH;]GHAʰVn%QlkǠnJ?+2yhr+߷ 2kky*2BKO!,Ú(&/I-Zr2y z˼=J:W4j];tRqWT A^: kh  DR;6q |} 8C{֖Q#nHDb³ędd%g[kec 4{~%}OJ#x'Q(Eۣ)FZދou d2FO[W-Uz):3 vwmJIg`p@@եݙ'LX ٽY5^gZiU/jC*ȁl -4iΪ~_K)j23ʲk~Gf,Zz0-!pUXP?osV`l<bb+OjQI0q{OLU֒d5<)1n3)'LH*7Ӄ8t#J)N'4pCCN_ xB1^ZIV 0 #81s  >K[@́AHHh?۳*NGW&31"˦P)4nkhW-P kEIwCMsA+&$ a!t+C=r7{nfkPS.#G5PH:7$Y2vi"P>\/:vYR|YA>Liڌ; bbH̑oy=M4fV݈n pߒts1Նۨ݃ë ܜe2Hsjg+GG!EB^p܇VCsQT=/$M~۶$bV0}uvQ"$[y?s) @CƑ~/-*rDdYN$c;PK-,FG!;æ7K5f )H5\ةX0#oKY"\tmO"oV"$W#,i~2p3B_-`)8 oh6P5=1`:is(D2mm0[؝zh(CA5+7_N5yO|O)?,:7'v:o;|'52[V#n˃Ovt떘$!Ҧ-4loę|ܢ}+@{9l J";Һ"ʄ) ^{ F&dAoY4%!fﻔ0RA:YoAv ""[e,낅\ *3 W14܂UNۣje޶q!\pi"s]c |Ee;`߰0xc4۶W{z!\`oyc]2wiHĚșʱ|Je!Vjdpb9b8v6esbwYw`)vPu0-MZYRWx8g"q-yC<% /`jľD$̖gq]"Z Xjԟrꨓ"#DΖLieU,`R*ӫ?#̰O\iUH(6/tC#$"AWV=VyU d#{DʦYkOӔ[JFã||/5\W!2o#ZQ4bo!!+ "߉.fSa @Ż Xq>ܑfH꧿y2SQY3 )25%.f@N'"+@"f+zJ^S>}gy(.Zis B. lPwN. 0vs7K]U Bd\T {XSm1v7Tky-?щz\8+ ɱ!oEsD6%.h2IM2,qР9L$.I,`b6,O;oy+:h pG®AV>0Pj ?Y,D ЪV(9%4T撃9FUQEƿZݴUG/)*i˂Ƌ_ZDA3yB)[xZBr> wR1WN]:w Ӄe4^Һ@i!R_ 8Vg A3nzqMwΗ&l-pյųmŅtaZg~- /Z(VUt|PAdM[t=-<D֒ޔyS;||NCT[Hhxx #iҝ\8(ve.4yV+h0pH-mR.뙷*y(uIIP\LxBÀ/n\OȺ-9ϲBqy}NW̷_rN_ ?SfTM# Ue^o2DW¿ƙ2i˸qE2SAصz{]z]ddq}#KgYG#zEزM&E wea|dҸ~B|O|W*"{ȴX b d.*ACKN7#Kti++yC9!]Q9X h=*2ñ|e0^>i%QLpĭҧ6#7 01l Д*pu;ÖDiߨ1 ٚ H2La}Hvr)-%': 7lX]рR䬚8 Vv`P)LGQHޣȱ8^\o  e≏QR'*H937[(3*h#:¸Qy 5A p4jٍ:HENvl*U lNG/v~Kطi"s5WkN1"10&k>ݪdP`g?eOЬD}q`=y6Ka aA(;-FOŽUjf:A26rMY{؃-*z>^YB 1 PEe]P711`/Hڧ3;PE,;,oGJlA7`$"IB<+əK4z{ȳ_,d WJȝ ҳ7 d5Oت=Ĺe 5(vf?({an:}ė\ zMG̞L3CqeJ!sBLÎy. _$[:\@>z7r\#DДjSM 3LQ#4ٗ_Enу'&'Mȓ? ,6j<ԫaILtE|Mksϓ&ʌXX)*Ҟt&g6ԡ|FIKIM쵠5PXQJ_nr? @У1r6rHmDc$};jM#Wۿs"qFMe~hy~줄6p㖽OGeBm;Wvܰ`˹=gD|[4tm`JFnM"bwsNЂ212GȗK_O{WIT}Ru+!/]:X(j w-k*B1uG^n/XH-vHYO }'ֿVX )*f iK]:P|uTNr$'1,kg$&jϰ;U-FOÐW0H'nAu[x`l:;V!G/%7E7PvELc!{&ck-ZWN F[ؐ&n >U(2b(;2vmj XtQdyY2ʗ:V'.$kɛEIC t}2Pz3a[9B0d}28X[MBv/T62\wmNT5.<.Cù`k |7ZͧP@>#F3٫AE*Hˑ} >PK/7akn՚]E^[FX@Jƭ RGMkXz-"!iKHM|~Y W5xӃVMUhFr^M# zc<8'?Ab1>D"5p8_h6.K~6x9xpe٪J:ɝG#5Ο )7ڭGf{,XݦrV"5Squ,`]jC"{ihi(;[>آ_6"#lPl-*NZ6 4^tN)q=4lOo@H\n*O Ӕc#oIzQ6,r ^tqT@ ^vrnT \_ޥ!FIOpSjLLXJ~wOssr>-ʑ]9H6 ڰWZ\Q)SϘHeE?]J*L_)),I[Q:+L}W-xIxn_;P$8⺊!^IG狓{1Y<*4u GU:OYENC^~t+k*.UY"x9łaNp4"~P qi?#?ÊI =Ā߀pGs4oXejџ^hh)Ҥ?RQ9Q4 T<?t-/_)@B$F<ԄqcZ61Miǹ(l'c.UR1Y+T%=]{rkX&,- 7R7 tM8ʼa0T4M)iꚱej0!Y :.XYK,BZ?OSu_{!C| ~\Q?Y:(*i5+fqa >sK _QӢ+t[|QS;G쭽,*MIn/\ 0Ba& g É&y֔Zљ[O)I|-]vETQ2)]bl>ꆂ _8/V> '@^q!d+KJoSH?ql0eδb{`([ޔ zIyYX"a.^p, _mMte݀cb 8™fe/I*àVX".X x=Fz'M#ޕsg !1ϕ 8YDn?5z XSQ?S; 5,ؗ)09rs47MR`=yC^`/#ؠ:3;ܹ$gHuLfG5[g}DdE+z['EaGW_oҵoLa^o jJXuulje/+q[dMFYFTʰW co-?(smΙ7%2Fl(Or0>DžR`v"R4k3HI ;Q0! E+zPlZׇo0> b8q$b.]҉i]Xm"yJ,TIdaP c:3V|@5/1&c`7#SAY_Ofh]\/< ɹΜFbil'ha6~$1~^t=WchTSLO݄ JbK8pqYA%ɤt)m- aqvMCDE?$c'`fQ!w3.~3`sծMeσY_E s٨Q/. ;39Kb2xkOl9xvgB7lnʻeƠJP3nGW;8"@%z>6ښ]ׁ?wvM2mPpǤܿ]s5FG79UORŐKC{>Kʘ>HAfJO"# I5W~m|jL-~Z'֝i{9@i FnOx6Z\z٢8s&;Wkgn1J{gC1 CjQc!Y3EktIʪD OxBZ2Uh$^ f=g$7)tMNb)XxxD2jwN]?N؞@Ek<?x׋JZ̀J-h[ƕ~ ,'&^ fjv%7er;ceڣfX,6*g0dmoopk+| -=a޼œ/r;/|jLU\뭩g 8=M^Hr 8_oq3c d-!ڏ|"U=QHOu`65H(vUX!?X4>?ǀ݆d]M}A@BИ9P)ј̲/f*pa7}隚C^SBx󙊻egHPI`k0@IߢҩQQ2'-A ѐ*tT@bE"3trıbt:䆌[z 2S|o52?%k6!iuj lI`#!֋_&>QVjׁz 0%k#\˟̾DWml$9LK })Z25 h<66^ w^! &j8yqeq@zR|ad ? nZ G'KTd&d_c߿ t- d~bȧ^X8DpXU@7 u }Qѓ2 oӟ.na O0S!Nf.%C`bMf̐}Ă_8]`W2=TQh&CĤ(u7w]1\Sv7z(I},¤#mm2ly7OTw2uT[͘FSڳ!T2 [ag)Y8 q@`q^XT@m[}ahW6NEmF:j? &6 bc߂+)tw=Sx0Pgd_GpIfK=S/ObXS>q U{'Rul6<lV/pKZ0%#Ϊ`V{kBmA^UOǶ3?wG G%{ Ux-VieUX,MUwT'1Sl‚' o}18^/tKAmuZ 0nG ^ $p'r ;G\yos d1Xɜ{2rF"ʃRE6:vh%J`\N)*|dpKgwBs!7p\@ hDJ#(1޳a88l|M%oO{$m NMQ(Qq02vmߤɩ j%Í(.lY^w|5s+xǮ'˪U-a6/Аw^e|zۖQv\CpQ8J}f%ruKܳZ) 08,W᧯ ֙W3oM'Qk$C.Km&UWI:K⺎; }ج 0Ћ7q۳ƃOd:ِ7W8 o`! ]OKZwCrA8f]ެAL;V&W>˂;m>xfh; [(:&Ϋ+DA!HVck#;"(eHSmL%_)(aQ{Ҷx6>V@yR :*GN( ֡*5./gak_Xk*[qT%%AXtgFӨHOȋ9.6uQ]Q7yDRVȐW2\A¹3ڋhw4JL +Zmn}.wGyr:eIZ cĢ.2Օ{+nJW$)1EёߚY( ?IrNm$:ΪݵoND]xHcۘ~+kT_?t6\҈HTyWENWٸndv7|l_fP S"fۤ%߈; eW+썭Λp"~5f Tj-AQvTx fMeLE@~ONia6и5T,?'ϨjyLL}F$ّz1JHUXYW!yh(2r|iy{7w, 48Om2>l 4%|GD>'K74f0ԛܣL79 B47mqQ4<4DNJGn(TA/bMZu];}*f _z?njzy$@wh؇o۪z}P Q@2qRpIطҞUX5Q Ƥx asjs\\(mb wHu#K W(Ȗ?~N(a!#"MnK11P/}%>ɨDo* sI[0\Jnw CG&БL-'֪51*EhjPak4!X69A Ƣ-L:`2UwwdAFsyMFsZ芨+c;0DzjU(C\(AqTҟ>XAH͠gGQ4HӣmbOY NBZ25/6zaS|A4! hc,k\e"oiU fg{8ViVr4b84SMv)q.aj{bzٙ୷3|"S>[;Lc*n EVE KEHr>z#YC2j~O3CȪ HK廥<}N^zͅmbuxb/;3b:i#er> (36_'VSI핬ފfXR,k粫%Rn/H{L ng\lcgw%j/xHkGr|+}J$ ӯȵZlMwXZ/&{ 0T 6ɺOu)@:ܕ*Sm%gR~5D8zEp1 BŻ2EK|]3_[| FX˺h%~W^b[&j.k^H;$;m~9?U* rt7oJa/ '9Y데kbFd2kL*Y W/"%>1DD,NF' Sw1YbUfrb;˦ϝbRBJ0ϫɜI6e\-(Zr_K]3AJZWރ~CJi aXd@^()Il3[G!ߐdTA~IT<(";0=E]{E H2We)>=L/&xl RC+)ոAAYzA݇Ifɮ4pӯv J{)T3μƒJ9Bd1]4b6=xR АTHG$ڗ/{%?u!eQAIΉBRNyKBſ5+-MPr4H:鄕 @,MabBpkwM*,ȟa]Bk t`~e )r%j~@_߻$ʍ {C~լq:i|1>iẌ́YT`{_,Za28j@(!iٓP=ls8Ȋ6;XL*jo+/kk/Ͻf=5|O@%?:Pxa61z -I^kԆ{Gl/z2#n8J/-AHI'\#EI~إP }@0yfA#! & t#Q)B P 1Ez]7eR!p'mC{obJ`Mx.@ a_:UOP#i  WXo3\EDy~ E yȲ9M-~Y\Ձ ^(Nm&`glTǝ;iZ6Y~` }V'H5 GL^wL@ ˧X%Z QC ;} Z_kc$c/Wi'41o୽:@JZwpf^+MC7)bZ(L0 ϭR<3)SaGaNh_htI,Xb[zM$9=Y@0t1-ށgOCRt&>V^q 1E]"48}0+\5m>(8OFmRU':q`ŧoB5#!bo{ZaN5f8Z`G mG~B!q-u&ϧ\57dk/!j0O.ݮ uacRqP/;!SE;7#h@?r#gD8g> WA t锩 s~;l4?XpNN2߳3b8JyDgfs KC*\m=b;8*7l"R :&P!KnwiNX2gV_^>/Kf>Yص4G:7+ =}/AYg1E3yx^g epwmEA(t8XJ$^+d' }f;mvkp *bgYZ; 9G# tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! X2]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H (=͸|!zPa#[ñ{MLk# dww{ [+b >XMM/V6dSPs,e Y׭?t%voaػ\Jk+jHC#T ?%k l ]U.[4z0#|1eM46v2`Sag*]ozŠ1 1A<7_y]nX*ůmAKd?9*I'`:naݩƢ8>}hGK$C,o wYi*&10bD弯z NR0jov+G^H$g9@g{ܙXf\@%)19RwtбX]b\#E{.doa^yf6V>~ob8đ?x'Ȝ,Jd'bVӴ/maY$;pU dH;sd'Z.ظo H(9JQ9"wrC%C*# rAx:=|z)x=9@zPfs@ CnOۢ$x|.wOYސ =8BPlͤs)VL~Q qWp6THp) C` ke C]8?Dʁc,FһJ嗜!ȵwR9kymVa·h,s k43utWwC+7_&cUre8/&WH$jܑ}G=ui?s߸R|(SЊv)nAtC@"t?.#$hkC"+(n\# (]_wNW4d_",N$y*0|49U,^h\(&YPi7h7*j:4y)R]IЄeaC 6e`EJou!$g9uu-쭍8r++vNȔ|" :5Oy[F@\3bvKhB QԉdytKxCm;Q[&9P䴋V NM'e%WտpWۙlpS>f>Uall}%S("6UG9]YQbu'C嬨. 2ap[*Tz WAQea)ܤ(]VR3M ׇӝ <ĶUý[sg s%XyF5Zj򫭛?"]qY8jy90g@X;0 [ˤ*uo-";}#YRxa#y]hͿq?iV9ًPd"eɾ*\91EQAwSq߰HYKc'BTl%堎ydWQO-]eHvohts{-jA0AL>- ({w GCU.kɞtrC2; o2Y'ޒ~8 Q貕I@䆣—v$MeZšy`lT}lc.%`T5u7Ʃ|DJ8WVQ)eL9°3yGYQmu%PA9$m2irgs>z/#`9AhﲨkN}~׷8 A'8,Ybί;MT!' Ug>l GXmoÚaq$;U|BV܊XWpNy H8쯚Q`mtCNsyOS4/ 醜8:p*~3muPl RzJgRtx/y=pLyK>ۓLJ">N*,Wctbi|'.]lI8jJ%Ae55s;6zx8>m6׽=%,`+oj\䒈}h$%1|5 ]y=H·;)L/WeGk gz_A]l${t{[>_sٍYLl84ʎE!9{ak0iT)gcɘm@Ĩul㼕B!xKI-Q.XŁU\QaH#o7C 1oq{!6L$[:O|QD_F$z T?DΎebFAq5Eng&]i @qi2*ؑGFNK Tέ 3ͳR$SYRc}Xuݶ o>r4(ޠlA:RQYi^0x"NVčlw#Y>~jמǻita*<+Q_$ '^ /~=IsQ6y7\ +hF1*F\j?1GEtdY~S  "[%tKNx') qjֳvkLk ZS.5馭ڽH.j n%qur SF;@G]!ZRm6 IyB&w&CUU)unx[+:N rsS[A\2ÏKEO4594K0T;MJ]W.vY^9)2٦OqNz FR<F}vЉ9;#F@ɴ8 LdgsȆDcd*3$|K1bIaZ{/rfmd6rds1Dq y)NgǵU^lBt0\!hm >yӰ w@qmbR= ARƿe㎏j|r.e-Mv8ҶD,hz9"mr>k˴~nRbEpWU"R[qoph\6ZjY _XN=]%Ok!1Շ}vi2k>94 C J-νK! ĉ#nK=MǨDn( ,+9^4{Q 9W Q^Ά~9HYw`ע5 A˛DV6M##I&r*]HՄ]*\x!##XOp%GrWa8%Ƥ YKȜYve": J8TUxL6dke KWIМyj!a`z6f1PQ!:Z:l&2*" Nd4q$#qpwާrg-#/ܻ6i*ڝ|&F.5 +uo2ңe.<͠T` w.B+7,z+_WH֤O Qt\<& Kv:D|:˛(;*%]z.] a[7; 3ч تtR}aţv-k|rL6fKq±$f,P[aDCzi4+ȇh*;,8bI?~m' d8=˫kk?6 5H dQ8>$ߏ"툭G{ kϒku8zhE󍨻,9 *-YR*QL ɽx!=Ii3(|$=H'K1_U7Y1BuβU~RL ^#w<5뛶|Ar}ZC#lk]jx(2L?_ݑ0j!4Co-]\iѨ[96S7r͗iDˊ5EJL`'=,D։9 &虅|`^faA6" 4e?%Q|6a\^Mj".tJmκǜy}I"QcXB ר\QvϏ0H) ٤yIK|+."ǀJ&SQo_)T(DmX2:wӭMAZq]}f0(A &.Zƚ餕s*O}΃B@Xg;D\ծ-A(@vHM<\C+zxM.{:%}<1'0a -Spg=PQx?Bf-~M?5YLCDz< c=8=R+ a]~T;ņuQ*x- ,׭EZxgoSOi*SsБM}?"֫m.[ɺ1R(!.ëʇ Tz ȆλTelJO=?zm([`/h^XRt}UuRT"sh뱵GEgoGWD_)`>5{.-њ9D>dhk#gB^Z\0a4A̒0$RkeW31w}J XEkl82N}[(ye %@P˵Q$F \̷: v#pOv` i2j:Ǜq!%yzD}( Ўz64Yp8k*O<"b)`amck YYJ0)&4fd3BN3gZku~G'7h![ϽE8=`ܠRHxq{)$3!4G#ӊ]+I~~K"ԥ<1Z&K%1Koo)U¶{6Ef->WXo,DDDccv>ɮ f{J|۳ȵ'O,~IPlM8qBʥHxm>Et GM[[Ku:ƣdNO ʥ17c@Zc oݬC0awP9: 1?WZ)=Ue5܆Z`sncm7^N4-Vl `/ ~̮Ki]ꦄoԝ 3h)9͉$x^8A?VCR|-RK%fؕ!jDɡ(3Ku\I Rt+.aX ܞ'd[Wj.&se6(jq]4-AaU̇P$){Zag̈C~/sow #BFRery.<ۦ uݿnC $AnI+šI~eC-˕ 1 dKcoK\JqoHe ~32pL|wF/ S97s>F@}^/!mB% 4cq "/<uXyXL-npUCooa" jhȺkަQLD"¦+ra+mW?iNM>Q,V_Hdr>1(`s o_O;/Caax[\ˉEgT(ZW zԇHrGdoҨ?3dugP<*p_s:)DwU/FSQ{,f=(`M=Zqd>D{U+ dL6`N&6d`.1 ?e/4fS[t8R4P( ?=7/rȹZ^ sɑ49M[RuU _]rz'&Pqs:wED{q@ĝtm00dE`\RbLFԎ kslO5!Vo2 $JPGO^\QMJܰQQ&I8иs*Hk1gv=e2U3pste+) _N騪(!spMЯ`,)СG(caST2=f´{ :wB\1*Bywy#RFԧò{mwzOf#P a5H;YR9rD_gGu9O13A[O_p>Ca{,$ r8@:YEYr0DǺE\;SYNOag6ڹgŚ9\ζ<S:y3y  D(J3ߡwࡓbOA=E5 ڹ [F zÔ)"5}^i \~:%.MUN%rj_HCF,O'½T(V]ruwt#эֽoԅOcinddڃ=Intol;?lpd.Y=js돳wiØVr_}ƙټ5WbZgXѡywxۻ|BCݮ:BKqyy# ]f(Qe?Cg]j"jiFa{Ly9wdEcWY靧XZ|mr%(B#4&۰qfW*nVG^iYd-! Q'MJ^@az*e|kP &_}qA ZУZl6=9sq4͕hAޡ1nӳ\2՟vL 'Խ#;4x*nO&x !:E}HFo}i&嗜h!Q Ek.7!p˚59YFBbSh3 c%Fm{LrH<;Gk֘7kl~9L,/ƛӈwCJ>ޜ `겞=zR7_\q숝Ӯ=)MKvA3l.&{,Nف86$TV O{gfab:L7ڂ㫩n)wv\@0Go6!QT[-rϐ4 & H%<ous者ra[ D|eW IJv$<DzZV)m)#_ B{î0u!B;Y1Ż8^ n;@h(&1RHaň;pxO !.O6 v ikf%Pwq-V=l']Daâye7[ëm*l |WhH=f4pkIy3تl˿ƾjƏ:DTu}~ŀ@q HpYڟ#wۗJ=-0B*-Ii -?iKӾtE`oKLYU4;9[$*Gr,%.B[|:$vouaAe4*;:  'Cs {N++IF]DeF5agaZ|ph64㡻/SW&@ᤗ GM_UAʕQ~/9SUg9Ĩe+21wMK7?79epk-ocF]>+5A?0M yy-u8 /Tnlv Ot2L?Ծec>1]D:7ɒFSOo1'<ÉB C L#LLɋ~~7u~ʙnjv6JP.owM;F,'']{1 4.]܃peCI!aİYv0* 3Mn ?hCl`υ\ԥӹyaҟ*M^1LXra}"#CEНMUf΍]J%_@ 3ECӷj&CCpd]Oʗ/LۨCJ(5Qnѱ:Vذ-%{u4f-?/%/1c˦_Oaq~>!zlMCE T1`}}E`|8:m01s $"ncln<ׁ0bjBҘu5k9HS-|v_ $[ڂ8C8([vLA}O~RS!xp] $#hC6}a ևyK)L) By93e,36K%[q%ͬZA!ؘ!L]ײgc#=M zr(\`T=93 cJ&NPRv,Q7$n.׮~|ETqGBݛR%gӲXjƏ*N֧36V?Jus|jH2zBgܯH$,d_*T贈Đ fTHaV8en^- 4TF^_DV,ð>]N@myKl)~r#S9x\]="=zk:|)4^0s!^5su%o^˷ n1J/(*kH[Tb5#d^J甏Ս;z{FF4A0‘/OUSp0t4hfFJv,.nSȊQ4yʱ:8ѽb]c\n+=G֞kt*,'3*Ir~H Y `X'SL`(-5-޵QǞL^x dYŹ@p I?>h9qȎqIZݨwV 'M[V ?u#[C1#2\7xd;/1bЏ(v26OݪV[4-Bm{HLo@rG?4l V63 \d?:\'8(M~ClABӢKϚb"@k^v+O~=K2bS$oCb}ACuTI*9 ~ To<j?.f݅axf=MNz&Tt*7s3/eG5A^xb:ܼ9xs#3f lAC)-}= I>l9etԟ(,xiuVxvU " }t)ANb)3oyv o*?_V!\HF>#y`a{)TH!Hm&F/%pezv Ӈ$',fZW.;\v+u,"-)Ghiorgb<1`nβ6`nQ7I\UT+DDTѩhӷTBQI1\w`.*YE8 2z Q#qU!O hA \&7S [ 31a 1AfjS@9f} ^F ɳ%GtGN)';2lKc(!Ŗ.Ŷ^(JԱh宖>ʮRB0qFL냂0]eAJ-J"әixS_ًX&prȇc¬ޣvUe[E22b6[MoTU/)UZZ`$ޚel!|cD]#B.4k1ؓ?dUqfVaw +8O1tY?${3Tu~),I U— <h,sxC2xj_G/CDZ<^ɒ(GrƓ~qJ':q\10!4B͸u l9!&2ƆROgz˟\ڴ\`=f*O[} WF]QH2׊?K꧗QmtSjo)5kRp}[cヶ tI< (!2^{¶m;FlIfW_iG>Giܭ)?-\ۨҜL:*\e"5! 8^4*R~6Z 0qJّ!ʷz`D]yV hjVnooɝ|f3uln4ěU0Cְ"AZ)/w CkK`u?}L50r7hU D%5jea qoA J^Gj,f"l*l+!`[H!\3x4dW?3rj( ]5ݍK4j0ʏvjhW]/N O#mG()r9:^>]  ?4e8g».JTLLs I`OהhNlJ"7C{I!5HFC dr|766 n23ѱτ(|܄j %avy)1wCdˊ?ە [EmΧUG?p}9t'9j`jz(t !lg֓fs -,=;ZGh,׌j5X[8 /Fj viRl:8r " ذ_Kб!}zn/L \'x@g MNf\[+@N? Po(7@`OyDѦT< ?F>l,_{{z}K&GI4v):IFdQ{]Ou+Zz']w##!:j׎ԬݥR&p:F[a8e7UEfŭŒjuag;:Y<{юGt/%>&UIpD%gõ p<› WtovLmRuvjrE> Gx޻ZV8p{X=ȝ~PdS"בm?Y뚲õ+H!t3ZuNG\6AӸpm&!~מ߅/sʌ@ϐa20x4JK5;e^e?*t4uشP@MQl#~$$<^ O]HL/ wqGvu7l/-BJjN}i5V fx3WC2U4+VH6%G( 'N 6M^fYa1K3LKrm*]%_={=%mEґ3Oe D/ (pM׏A$J[x~6c :li 9mFs|(6 ;&%VCPJڿB1s+}wkڬmODV&t_]יq{-5vA b=Xt %?)}dUt]=q*7[{r yn Y<ؑe6OeY.NYv ?eUѾQ@J)n_N.$u4VOdƟ/ޛJ ))LbL^[ɶŕNGj=cɺaW #^~N׻:W*!z.kmK7AMroL8E=sėQ$5p=oU]eY佩@Sxk t 40{>^Cd2sTe?% qxR>1lW+n_܈tzplgܜ%ρ s|n:WLX_gpi/-vę!ȊsCOs޻J޲Im|GDZkF/I(KF|/eXMβi"Zp5ȫYc٩*_5g^0ϸ2QQvU Ą>H[L#V\ф] PG(~"M gWu+;E>%WEMm;Y@b+1v~-!K{`*aVGeËG$1@jVOjO.oUE0Z¦3RGm5@ )}<}6J*//I \Yj}A?Xa&5ܥ -n_؜ZYЋ9+Y! L8?‹Tda,F6)pPͫ7|&/D. =Eů [ UӚ BX77/s+_'gmuʸ]Ƅ1_q0Y1Rxyח~5ܤC`4Yg@MBʽ Ħk'g~dP?ϡڢtQcP8ǿx@:&$(!9LB[T*)%9=Rܠs]'qmQQXp qS?&RA4q'jUQ0; ȼ˺hWD;Np)P!6= =d2i?*փ{@wӢ 2O2%VA("wG#rJ=^VP{,`?gNva'J `T_11 zQd/?;a|L3nnӡpEdcX=Xmgf,z]lDHJ?tkD7"!D&jUi RrО/[K h57u28|?ψNϊ,v#=Z.OXʆ1oxL>]N4X m>Tu|Vv0aO'iLa@j}bq`?.NxN-LPpuLeQ2q^xoB.?h A .6lwEhwqgb (=6}WRagY|V{U\cUЕhn3"( eHٰJaHX1 ۿGI z1Y-ͽ-+ AoH39ۉU{HezƷ"oB 54/v"&kWh)o,H=fo:wt3rU |*Զwk ۃOi?z 耱Qm%X:c̆=%ɛ0nt(y<]>:3ߐX(lxmy^S+zW/#`! 3T^mE!OVF F<<>uFgؽ&a39@hnw'qXaE_ھ 1\T3IKY_*TJgVۥV:MRQP &3p㺈Vv@2U{k0Ͼ1j͞!\F3U6Ú1Ǵ5[:xXJ"jC }m; /}PhMʄ9g 6,FL̫~4nz0Kx^VCni, M0PJ`44z,:imScZ]&u,JBY$&C{ʗ̘{O.X]#}vXJ ]NP~ds=B6T$_lC79qϛGâ“f2-&&ķwgGmYŒ:Xe@zpۋŒ c76m?ɩ›z?uSCΌ(s^Մ)UT/HǎtY}U4љ]_g pj8Y5XRl'*s&Ӑi,ܬՖ]G``DOVy$fm/Bu]· )KM µ{L *oq;=0#G0Rs>kNܽQ8k>SF/hLʁyN~b >rYom TUbR\Tv]`t0&c9=ahfCbȶ[Av)2fC) MY[T|MVt=B-N׹b q drm\I|i⅑5JxxxI%Ror{R)]v6 ă\@\3v >͞yt9"jLbo x#gsWGT Fc]mG0 ݽhQ}ͤ䲩! l " PC \N[D(Kr8#ݞ7pxD0 UΚI+ign\L09.YN},QnO;rY8|fŽbelg܆-3 `+097Ie+,̚xUc)Xr lw|/wg9kBI>}C̚!1%̩X;_EyD'Q3I!k8D9 SFVǻ\iîdaG w"zD;$>=ͺ]/{GӇğ z)f S,FqH:CJQ:c"؋K!p[6lc̚n+dPなDLڒY0O}(U5tSzae7X{ Yj%HT,HFC~,$1|W/> 65z51IHr0"Ygk;t 72 p]?z<K:UUE ɓeI8n.;1ܥTүn ~.PꫧY͢5>&e^pʫ@}2b&E#`]MW(4˔6+LE3p:'dw;Oج,>;jXNf+K,ܸ%]M88dkݖti^ d}@kE" + T22*y/jV}N:!c-,?&f1pr&L\>8 l@~M0Keܳ9$9ȅч 1L zI#$uŗ+mBNri#"Vʼnjxnz6Ē(:|<,j]y~ީN-㎔DԼ1=˶&2Pf67y-T={uJ~O [#{C,w;@OP1&$ja7|:4 x½`d$-ONJQ14MtB픀ʈIya=ZC&0bC#;iQE][+2}n"Jy^O˗z}=xwPy Óc6WzfTI6XG3O';Lܠk pͫ=6#_N Onaq)UQAxv)jjTLy.ivo~vr/Am0BxA&Xz/r"nDH05ʄ|>ojΥz'+~&= ZCiQ ;n/4vHw1g 3./rlo~vӜ˝P?camuofFSbo8>?'o߮|,`Z8DsY[C=n95MA[P=vʍ8%@%!lqz&E6yJ @J]3& 2* 8v°ծu;ţ(ZT]ϳKmbX/sS> am#xSa`Ey6,f nrUZ1&Qr!Mʓ :-"e2v$aCɢƥ./Fl%nTV>XNYB'zchԟ% Ғ9gU ]^Z(> alLv'=sJ}v/?jخˬ~ h6(\ʔg Hp{ƱQNAkc*B^ D*&KtW{A=μO"lݶ:%RYyk o Z.Y !w5K[BKM7C_0 t]Ļ$Z7.oham_FOEqq;FSݩɄaѰD 7oX/X q^\ĜŧVw~ajֽ#Ye"gp0RC o+ "P\$3 VAMl9߂?i|}):5cWߣg9_|AOsݶŠh u^!ڍvmŰw'*M32.En Ʃ~W/*6/wI>*8ߔ3Yy^*{3oʎ(1csw4Su_4zVBڭu4z£2e}Ce]vCuZTh_Vm^WNn"X9Yd|/?Eh1J\@W螙vpNX04167\)yL5b;Մ4pAuSŬ"Կw1D l~Deۆ7 ۣEUL16$qV (V#C)]bh:]95X7FC=]`ל$xZ :Ce8Yv7Zـp,w9>hj]FtR=s< IÈ'Ӛg/daΚ6{mlsLR+M_a:5Qunt!~ncDdDi߉Zvu[vVz~itYLr_u^[sQH9?egmfkHQS u\:Mv-$.\Z3~+mY^~=Ca(rH Өb6?fs4cg ϳ d{#V[-]DkPQ"N4RGڋof%ƧJc_tڽ/xqyCte:~]bN{aNx1UJ28GKnIE*,?^Pb˪NtpTY$Dyz+udOɊ͸:|$UG(Fa=6wIlۢ@ ߠL;oLeKr?qf*!=K[ՐēAl$<(!KAR}I'j[{e:TDw!dbo{-#"8Yv;MWAݡTV@ zsP BPdGXo9|+%Ṥ(OtlTH3ztX8(uܗi*4RF\t:ii0?UhM&nj zS:uٰF>Zþ\Ak'Xa nsW͐ڱ99ߡ{Z8o3l~nu% rmXJB6Vj́ܪߊ _F B.-r uƊŢH(qE3#Ng4}X6"u·n։pGEr-eWO'z~&Zi;Gr=꿲/o"}[~#I;V߃kۏYIgl)`|H;3R۴㞼O}r,KaeU{$ '\_lM'?DK1u9Jpm 谟xb3-oZw? v4KFǖm~U!^)7K$9W:7Vk?\V 9 ٫5#g2–zLyۥ1`3#mZ.y]{an hInG]cY̹[5^ebO;oux˲  4u¼-Zp_-ھ!φLEא F"ͩ^]ֶIL<Tcŷ"Ü]%,UFp?B\Ɠ=XhZ壨㵻 /ȳ#@Ir_- (`0E*w * u ~AVk ;SĮG>nӁzn˦!w zMh)yg!W&htn2zC,QC*K.z0LG1 yrkH 1lE'/MJd6O< GR\nŠUtڻSԎza=K@QQo{q^L FM zy驠c^urffoAVg‘H4G]jZϛݚS <)# &f QʃQh7ܢ{WB Jd?uq2УD i B:H2@Sq73{-&tb{/uw!=D񤵥"Nֿk&EB5!7aHFvx37JɻKZjuKF_NyuAGkIl%٧myw>b[;E8(ky0fPCK\ORHmQ[]yœ='p%-=21 Plm4Ǭ#uS?atũn߲gH><9{bGG2z:j-b.>REE-0!Kij/hº~΂xXF/:zzկQ{y|at3z ڂfbQIWzHLܒ|1t͐u>B0~ Wx'\n$}ZZ?iu^&%."qAU-0)(ŭ(Q}{'v!(5( JG}71s׃Cصgj?;+ƴnͥTUPQSK $5]Fy ߓawH!6{@oY/ՠHxu!^./ U' *Gz{{k"`I"۰hֻ  V؏,wZu\vV4!F /ә.4 ݏU PV jBp597i+V+yMc.f>iGH7٤(zd/bx}H$tww-p Rtpg @f8ӄB9L5 |>cSVbegGT=^փc{FmX;L+ Pi2Z?hxa>B9ɵD*7'1dMn%RWe;1]_-QF:c~% pvzX%eǺNxMT'S:i xp:ݬ"ㅯ/gOwF[:g%jU{M: =A6oιI}\ .Z$f?-fJa?#c{D 6*5Jgw6LsӺ5q(1_q@̨RZ,bǨDٲPs.{ ]U.[.MeI[,c:M?UR!⛴V.܀"I#,B<(fޟJfhlð K&Y҉KM,+4#0jH}B ϟZT}֜}L 7%> Y9W|m g6~@)ipJ~S:wܤc63,| ϭteN"+(.EsGg5L*/Օ |ݐ^u O7jG۰j ޥ r7JN"t!' Wo66 =Ʉ(8jz秒Fi o0\`$dD4(No>+[RK٭#r v @/9٣6&dԬ?^Āp_ j5[{}7r)+XQՖJETFD) Q>c_&Uw!4akcڲ &Aqׂ|Xl]&!4teDca@/cEE4.+(~k'rًBbfPO3K& ,*IGUꬽNjxrD!BB;)dcKn`Hm^>c= R|ݟMY=q t46nq8 P OR-'W/jc:j TɥĴt_„Ԍw>8.M}dOy\mz(X )pJC<[l:I<42&5RJLMzAM @m綐ɭ'H܄7xS XQqHuAJŝ'QQG:M* 2C-t#6._8vrTX] O@+/Ci}0=XxX(z[y5tU~Ta<_ ]IN džKug5ke9@yvJ-%Q4KEj"ªfN܁b_=6x ]4,n\T0J/wre K# c4_i$&\6c;WLVa}qē]fl: ]ienޭGHVxݕB8ˆHK6K.^>֯Ԥ\x. p}nZ3FQc+tbbE30j)oJ,m"E \dI>niV^˛CjJȔ"f[kKzőxR"6.i0M{مQ̈qMlЙPI lNST-.hftblypYw$|CS`I+quֶhzarj=+wIYi(إH|kH?7[~Iq܅~Aǒ㊃Pl^FұocRPmH]jjhfN N9ݷb8{C4q;]ruv]PwyU[^e>jEGw"m+(4d 7U><#} 1d.94®sPՎ@=5zU* ߚEe*aBY99]ɴx,̍ˤR0H}npA7ZUJ_6 0SDiʺrթOɲyy XaX0WLC@ظ/TYa[d:[^YB%a.MFţHMU{=EY!eA>֑3xapC *ˉeŽri"(*OGRĶ@nbzoY>p?p*_0ذ6Yꈸ`DQ~sel.gF{hćr\Z6om0c*%;aظZTg?Sթ.ATk&_Zu(qt0$OQ*ר%1md,Ɠro.\-?FCB ߶ &4}4.obL6bKGts_'vUYVO24>ՙg}igϝg^T= ~=-r({k"!,}u]_Chm;zY6ܹagK2gX~&P*/T o 5>Sr'_9hplL f>Z(SK;1ka 1e{ވ'31toM>-Ys(,!T Ő<&k#D5Qj@BO1exw*?ґ8՚Q1 \س0uo8RݧUfx Fex}bo,FB@ Os0 N"z޹D<20t%XP neH[k]WZn;F4;z1ő$Rc6hL== "OSޑR @32ڟ MmTK.3v- PHxCB"TZ4KzſoA{u䳠 -+q˙8[xjbѷ٤  C'L| zX<_ #W\V6yW&G^n(Pșh*Ԙ tVɒpB4.j ƝKK\(7S5qxF*7p˅gfovct|Tؾʓج߉:xJlws=y<^?8-`LEwnks1U=j!Bkt=A!)1 nϐ6$͉;OF'N<|s)qX # [3)] BJ.!u!+RH<$G)ۄ1Sf vF/A-ſ& g L$>\4 O w@ d?|NYnBVuaxfebDZĕjR֯,d^DY#/)rrRHl-߸)@dUu(诮R;O>6f~:OpaRPAz:3; ǩ}=\chCtGE* ^ LN6Ѫ0!J/5 P=wtL - PDDXd,!ر]}rSMi}ލHm,aƩP6ED99XCF̄TLw?bIGbinB4][EZ5P[*ALC+)0~(-b'ƼLg0jB6Qfw>䛏,R'E @l$`nA[-Xn񪩚F{M\3_z^`2gD \]gW8t+*='qzQ!g:4/;WilFk4Ͳs e\saNi6VVX?ρObC:^li@^SNH4 7tMC3ǩGɠf3VNࣀeƧ94xWབྷ-ΏE'k5*b7H)rƋn Ȗx槑T~N@q%gFQ:*g`bo ?Zḻ5}ONSZ'p}ne}Ij%Gc_L{hs6 BإXx.2_Ӱ6$je/Ș'QwJm6cK2L& Oy7qgxg!Yy%eO-I3, <qBHh|BXD6kGij(ټ2 N6vW靹x2%[Z!,g_lƶÿ.W ^=a@ _˨p2Z횻u|9◵֠OlWhoL Z9C(CT6T9y Y٪"/ފ>b MD#b#>»vpn-<5M~7r ze9 <"l7#Y^kR`rѢ鑑]eyGˢ6A_eyG!\IS:zhrʁkaÀN }g 5#G6 \z-֌5kq"}zg [UGQ*pme0vfU [OOͶ /oBqZDLIjN.V8v_*e_!=-]-!"گ,v1l' WeNzjq/HOPSNʼnމ_c62;~ Fr/[g"ʧ'U=JY24bx":..>M@6: ɦgOgEꨢKP_e*=L[: z)UDğ, XnjkU"! ENk ~$̳zYQ/cV|X\&glϧ7%n%V=y)G=XdYښlFin%,4Pm(ԈJ9z;lNe0/gފEg1iaEJ.Tu+ Fy>3'Tj47N$lR)֛pt4>$% xńM*J+2 mih斁D\i,Ա/>PJ w huGS`;XeVNu8r)2ua+GfK`r=\YwJKXWf,- ?o,CgYZ6400d21fd43562d1b4eaff2054a0a9ab0918bcd182daf564fa5e167bfb536de6c40c339796418a12 64000a82231e88d667f7d806b9853330f2337818 18e4b008e5bf3eb406903292fb0855e29b2b071d