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 V9~|< ] HOL-Datatype_Benchmark:threads=6elapsed=518.305cpu=2107.244gc=843.1647zXZִF! 4x]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï; Ro=2x{56Q/B{HjZ ZM{Hsmᬐꢪ{m8O r% ePt0 1d `^w$%Vչ{ UN>ӻZ*f'Lt"٦ݙ%s#]{W8DĺKJwr&FRٖ^D~[O(ԷL:F!k& Gw; l݉>L×q!,j2F/|:]W[=nHyՅ!4Ge\+`X'xD):œDw> ߔB%2ļ{ b,8ILpڈ4 bF߫33Y ')ހ^2qT)u}KyvK9 ƓJ]kħ [y{&&-쾐iMnK.+9@[g_l]r46> {>T`QuNh)^j(w30o|b5ܒdh c`oiAsBw#;yYï"1fm Q9оgjVz2'/_Q`VZ|W̙0])Au,Qe i埱gYZ7zXZִF!  ]ŗXiɟ1)*u%9bb@k&J;S=UVĠRI\~%ȃR)Bd_Z4RYMZIFgYZ7zXZִF! ]ŗXi%!YJb A=8C`ačTD&۴o5ôeT B} w1ǒV'O)ɕև0g'ԓgB'!Qkz`DlgU\%7(a%-Yx+:elll2j2,_9QJ6[#[dMJHE8}JJ ;bBrp|v*@U/MB^'KdaH3UrqɲF}4o: 9w5gfiQCO8ZU82i 9 HOL-Datatype_Benchmark8u9I!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;~A /<c|B(I-Q!a_S b)* 1NRBVatr4(F1LHBL0B䴲$wR/6x+rQ[kJB{Z~;@=%&ECJf5 ؇  D0sz>ZrWm ßG,xЪKg\(5U07}gPL("QNH'3{qm/5i, Lg XC<,&@lga]Sb7 ~q"2ŶGā/9OF"u`4wYL>n'#.xօ)?*[Gɓ7L*[} ߑTzrl&[獑s+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~)R#ggvMu(xeze1rxG$[">>I?]8xxELF}]5{an+u}{r8-(u_#^xM| zAbO=D_8Ȉu) ;j/N4+65G\=b w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id5209I# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! } ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2dbºן)H ġy8@(xG~uYl%2MV?D)k'DIGf`">GrCI6P%mL]G?"Q>ӷQwE/kKDF^ t.}krLƤc}v{`I.ѣ/9X,]FWvځVTLA+c<'{]Ρ|B M^>&$aI0)S`xE9Zz0y76(a ӵ]{ >t*$fGj,UPg/|Crnu`^Á}H6_dP& i*r|$ 4r?rYR"/*p്$kcE<  Xo!W`V_Jzŷ1-3*iL(QʖV[Y$ ({ 517kc;j2i"  Bj@ZPۡ "1!B$M\6x+.ȿnfC >|[t ;Ns 臝Y'O=\ xL2Ode늂5>LER/KG5D3';ˇ^>(jXvf}=ݑ|e˅˽ ^ Z9fȌabŸ!)x)0GApĊm#"m7_*0ϡdwAl}2tPvU bCH 6Nl l8c0Q] 6E(s\#uu-~(UuL~E$YKMV aK.ea'!;guLN\~i>GXkH'r£;\PT)HG*JVE%ĜV?D?ʓh6L]k5]D`yt_RgDyQjYb ORVV_Xyo 7 }ZZ6%4pɻU)0?}% /4T9ll[V]Nh!Zbx:e2p9r>x?…t-v5the;yu]|tJ@TiE< kP+ -D#$T> +'d8XQMśrt+)mgݐz@^ѕ@צb>{kqR}5rr~TCc\ĩYQ @n0Ly}SEJ~nb Z|G۱_݈Պݏ<) 6PPVFe~~sf)[՚ 4#$ɓ̇%!i*,5^zCND, *֖'gF ٴHB$D Ro8,PMtp[rikb΃7mED'cBRkA"|@,{zbӱ<Wo #ka7x=uXƸs܌6Yݶs%lw_I=1ڡZs7p[aY" >+AaN>P .smv5PJu{].7Cyȱv4g֣):[>t3[>EL:HQޥ9|4pkE-8'G^Ǜ>; *'¹w%!ݾwVKO>2XEz?=o̴n@NMccz*fVqm7t, G=QRGO@Zb,]'H$(W%זG*(籹f.`6a!i>yu>sf|{?[@/ GYP+FPulHQ%/6^'V(%ECB&UHfzǕ"&5ߤlݤuplgA͓v^"D܍Y3{M"\ai!nSR"2-f[gme="#iɧE1d,/܆")b3d}^*%FFR"֨z7ГhxJCʕF'_OUEatX 2]~⪁&y}Zk|K{8?݈nNSN)ZӔI0@$2_[x0jbTKA%Z z>i#bgb˓i}MUK&cȥB#9*KSL+ʧš&.cvUP:jvn7 Z8[Z&z~ro_[Ov0YqSn+۩mu<@l6R(t3`s zw$iĠ.Y)hT7B7̳_A~:O:yudҰ1<0!Wr65Dz:{V~s21"6șδ:e^AJ1PA '&.R%B۽aQv.Ǽp^6io)zTcJfεqHόo :sZ_at(;{ě\ uť PK*{C0P?Tgyyu. yj *۰ D>;+->rh[(5 b2={3gQN@j$N+wv'TB*m`râvA\RLY ?k8ISA4aInttB1erEx},L[w.iUJMy߆|0戻tgP GD%X¤㦵Цa4d$q\1<ݯ=KPkB/ărt$$aljK8<=MBaZ,لt|1rPyTVUg#w>e[UGLJ^odH8&dt0:sF9.WXٌ|q֐θYbenU*oZfL0K;L@7?àQ8"y^4%c@i(67UQL&٘9G<,qy*_L$$СC]$' tѴ7C-h<:WۆX,^S0K2؎9i hCdю•'^spRʮ@nEة!^x0!`~8\"Zo7!RP{(z%Bڎ x?8UDo|fob 8{5|W3]-[v! < s[=U GhWͺSOڽp1]t&\Ô\+{I[=hni & ^<өiH}-g7|g]X`J?2P[Ov'AEhn{霴<}W;Ҝ \'?ڇ5q9џ 7'јooH\qL% Vv,!ݓÉr7;0e2RurZG 6֛#48@tJB}wov6_fe .1!a!p"El) EqXw1pA^K@-L3ݧ72W=ey*Ma du|)0P&VHOIGS=|gʽƊX7nݡccb d]y'k>sN l9х6+}S*hi|2@|" VL&p~-)Wd*8y(7;)7믤.[w2V$L;{(vh\.J.#Z> rZ*t c{9&|7DFB5rҥvVW:V~Ǭm(Q=:Dk`-A]?IIUx=dc$T36a/A-丏{SA!Ryn%E *E|?KC5WQJ2(kzSeŕj1Iyͨ}dGvU7GC'+ #Ч19-N]%%aҢ7 x哉5׋Ɛ5e`f^s?}᩷d2 @e3uͮkK9{o)UW0N5qutzYNa2eA1OL] \W-*͙vЛ31LQ6ӣAEANڝPQ{u|F fYǽ~FSq]j1g2eފs>d12Pr0/av#s *VT@#1Y|+.;TpfCneEw4:ÝzjGuD$˜Wed"czu>i/5,i7524*x#`3!&ί 7Y,;nvO^oT솘!dŵC>#xYR|`N71*XaYEt$>ŎFUsQh]HQgnw 84ʗSSaVG'ȡNH5 GuNNƔ!]U# A-QKt&~.!%3%jⴛRuc׌蠋Y#Q !8;+9-ιg=Dֈ3ٜG)Q-2V2)7J1(_"<`P`RyדߏOў}ޅ*%X澽H]K{U>ѵ}[3PIJ7"İ9(w UI'gi Nni.U.fZ:e4""׬}H XMC5 c*n4‡Llh[ҫԯ6P2s*eW"r.f%6NKz=RU;҃A~ Yx HB/Xx8֑#Y}7hs:p贏 8Ok$6=9G%EVh S~[%@R*pKyi+qS:?ܴ攈n9|6̭rI:J‡}DnX;Kzȫ ;K.+F.#l,ka=K1$QG ӦR`-OinU! %c32٣ 묹QUR sC*mJDZ#k? iz{F5פz)|+)k'$GXH Klm{4f]fvQdAsg<=Fx-3++i'&F{w cm7 [8J䎕{Y wiXjQOcc78HaYZD TI?>VQPuc TT37[ ):?+ZwvOwqUbxEs}=^@,У\WQT@ygH%hwS\"پ'FxXMte *A`Ê FH !6^Jù,~\/wsBsTQޚ`d,#Gݨ')e җ/e&mcPk/uOOpV okԴ(`fW'̻n3dI7WhRͤz/EKnWmMՆV b/_QpE;vzO=b4R*%=|튕2+mmHMsnz.5d|J"ia}D VPV?sTi ox&FWq3p|S;)5x,ðq5lu>811ڪNmJrtټPcSa@vEAkYYAQɓ4y[-@ V_[" !g&< #upl1sWNM.|/f=$ 887³h8qP/ bvU~P'^JK~SBQP:}@4|Vj #$Xw<M~h 3XfILluң\D7p†ofqU1xJE*! ~8ͅ`ˣGǖ jgIwZ_NCΛr_O9L0x!TkCԗ,]+Ƹ6)uq:T{VM\M(Ϳ0wU`ı>}[_}P 0` V(:a)nDG}Q՝ ǡ&O'I.[(.Ϳש{ATVu ~2FƿeƒX4Tsoa½wZV=OJ?c3yY\}wf I<p` 4UE FQFu:G >ަ謝:T:Vp`.N>dx6jJi/V/jb_|DU3 RǘTƎx鍽,V U4)%,&ll*d$yQ:~o#nP+%@~7;'j-ɣXxcZI |Q1Nʺ@!hTy+q_Tj;Vaa>P}˯X V-Y rxҡ'}21ct!EXa7M"laCT*S*Hi98c: dQ-"il15ρY/*Oy:J闫w5X4N2SuSe1|g%~xۨ-\1+"ݦ dz0' ?wv?qҏҭtb`9 ײ8܊:Tv{ڋ&VINhaNWo)ے!fge??U=c3h1Iܭ`gR rTl$b7uZ8%/⭆v_u<\g8ӂ9DJ-R*ͭRt+)C;AGK̒ݮ(?4PiGks-N`83Z4=w{(Ԗ!2}cuIާUd/,k*pdo]ō3JG&r56T2IJ%#D(DwˬH4\pB<"XC6ܷRnC0 &t'MEu =}1~tWT:%0/N8d5ނpg&'^v4vL*ލvV,ᯔZ궩# @wfT. tf7@1i|: 1[dh-ʼn `]Э_M;K?m:\ 1 LʦnQxp%r$J~/wx'Sc(ACzs5 g (|Ksȏ)h]ttNtO]nPH j6Crs? e+o~|gF`,iD^&-8p^j Qr< _P.n jKPjج'9T/~?8'Eyǯ˹Ksq~~ܑK 5~E&ӶԔRQ;5ZU[a  w\\1H?^ btB%"E1\Kg2%T䰱əћ|_{%2HK11d=eȍ$e5Og qx?_hOserX`̓N&nS.]XJ:<3m@t-agkRkeJ:7Ҿ9)^Ii~bΤn}ໞC v&~kULC$#,a<(ש>"tgJo߶fu1S> p쀦jw{Lrqәh}لNf!/ T8KLfN!E-*J"8W+ jJ4#8~/r˶T|a3oI~R1;تI-#MRFTvBP3dC,Wd20./`׃hB^MGo5p-`Mx)]^PYV@"ZzL D.Gs$ 2xZH[͎Uh=a'Y&G{/t2!xd"uE^IiZed ~u6c>WA= TNˋY+˵r4+_ȯO0alc{Tzgaث%Vfl(=|mG,L= 7tl-qݘIU &HaLF#{O!q\%fW3 W'Il*k]ižU5扐! WC ǞRj,ϡJ3[Q|ZpJ›cԿu1S+8əq& ePԦ2V`1޺@(-YN&eSkl/wҽk lZz܉-o_0^D/0VON-js}pnqޤ.NzUʧY -M ;35XzJ:ڦҹяQriEn%y+?*UzL 5hc2s3JsGPXӇWJhewhU7 RtQh`s|S; rѯ͂ ֳ*J#}㎐$F'sܽhLB3`ϫgU-y#lޓJU&6C]&kk2BF.'MYg j3/XeZ(Y>KίUt 7{ܖ{[ $6=YGQ^2su9>]5g0YΆ%V*k(3nN\3+f cRvnmggPO3=n "*Yu[1*Z퓿ILW gbdmrG _}98]FM.jV6f2*`8BT :dGCho"׬qɷbߑ4X%ϕY|'- d"f}tE+\2΃;O&/>XFA#ڋ(8~u]7=?(C ,ǘPe-eM.w3D륞kdb!:$6;ian!^9@ʋzqC!N[1~ZN "pLxoOJ)T`"ZIx'!?+S }ܧ;a7hKn_#еX’@,2Y j;ϧVht5jVD~Yjde6lL(sˑ00 [kYz;^Ξ1uN;|떶Oc VK]>˗fdZ1dz EY11KN?,M: gU%W7xӱyy89 L1F{ UŻm"ݼ9e6cȿTʘ 'qe?ZB:^ExaM9 ـݯ*7t,rGVeXټAfb2 ݈MHc)PZUxT*ˢIS4Z rM>'i8Ѻ QJ[qtwJs4au ;0 \W@+Yxy(pJVanEzx o/q ˒(w,Zs^AMA-i'F`bX:KXm-Ht<"ۑP+-#g^o=cTyoFGt\ku1/%o45r)?ܴQx{$t`FVoA4 ?X;/>Hxөz*LuC s<df[;:_F9nw Ư"zGl9h}~^tRHP^|ݧpO&TwU.xZH#XZ:S #ƢD0 Bf_Z۩[C:2 A+2Ց%cb<*@%܅yhN[M4׉2Sꦙ9ܛMC܂13b)S|R;,s4sDqѱc3|Re*})z6<3jFĵhtxmG~KkK1 RHw0Ht@Zo8İr 0vf}xnvݔϖPyn3rU{/Lefri_K Q+Ao gG $]UI8+jaD!wpXfTuZΔ }f[fG;%S uKpEʾҧA'v3W m7q  AլV(kݦsTᦽ+Πŋ6w46?$zNh/k~#%~SW%S0rTq|))-Dhq-`5Z[KcЇe^d'P)hO}P$=^;#WqK|'{Z%djt`3ʮy1;xP¿=Ab2U1~~,^u?XV ,uR}QS&l걮5x~ ˟ drbu@@3nc>\?7oR/Puic" %>d#stM0Ħ,0/o6x1F-|}h -@!s0b="do*HŶ7[ezz-% LJ){6ZZJC+ 7QKD7/HE2Uzi}T،F!ZNt7O:Ӷ`RZUFx@Z5]vv^;9^Wπ!8Ff7DD/%Z,·Sv#f#5M«o$DzV ݗR0( `갡zCUC28uCZx+JqV%ʚ(`"=xf?e믂{!k%Jlc&Qw$TPns%wRSWXu(Le6"N Td;G!i|,>C1tWr.jVu+<(t -bðzđ J ZEPJKցVp&^Cdc#X8kϝ7"3 ^T%!aW@T1:g^NuBO/opLlaR ^gOg+zq K1f]L-4E\iB{P1@@/tmkmZ=W ]I(9jE< 6r k+JC- qNۺ@>P7Ϣڟ+>8h#wCK:e7Y_+,S>̾y- K^qa(6>i~@11*:g1&?DOxBNt՛'<ʤ (^kI oIpHw%$.2Կ뙂C ;KT K7,xT([ڂf>/$zj-p[WGZT̚8,&>R݉lIl_YݴV^~Qqnr@sazۋO-8ٳ/Hkζuqnat^1=ʭ~w+zhk`*{=fՋ^L͐1'Aц(!BF3%) jIpN } 9AB`%bXJ lr!nz*!>r?6+<؇"̪öObŷ0!˟2r.o~Qrn2oFw]ddAN`J<Y&y)Hh'Uś`jfw>`K|o"cbviHV`Ƣ iSK>ܹE`E i 9ev=L{-%V6v* 捘y7lwę:CXm~Vz/bݰMKӾ9dp2^_mvTN -"嶗 Z,.}㳰MPVDf^I gh3OB.4IdLZ&8LZ[$dᨈzsyn7E4xf¶=Pc+N ()Mq9_Q)Vc!cZhJiOU%ADQ1(ڲ> V&3[#`c(/8/MwD3LHZC7 paPo$"A&W֡\+ąN+m™u\<''rZw?(A!VKe* !ۈ\IH>!t2lJ.øGZ.gq9må5LBƘ$P%X;YxO-HmYxfTfom~СӾpsL׬A8:0/Ey@HPzWmk)6\xO@l_!`gpd̺9 S9 ڪu /#Ҵj\ wSX3~2u?ݤ; ?j+.d^I[89u؇:b \_ץUƟIBt.V+=giOEbmȾfSI|Sl l*L< @$?9ӽ}՞N 'EBY Y@{Z5ù=Mi8Ay^`k8o`,W2glVpK4Oϋnpj  gfЈ#񞈎LN#$?cn߈Htg1 /)z-|[ˁ!_2a:6Zf0x=9=<d~&@d{lALa ~P.ڐXMq;Y ucj9 FY!*꓋e?HF^W.۷[Ѱ h󐝓I])_W_)6b[͔;p>}4*0S`1AY5zIjslm$7 0O.i:r)sfkiwБ#:}_M~1m!իm埊  2~1ιsHW*([H16),5Jߑ$_ Uϕ/ʩ7~Qg޻*z\il^H".k&<޼k4dI͒~/ i^Ϛkv) "_jiDb A(w8 `gOrITeCm]|xx#ƍo}9&m8HiCC٫rpfoekŕK`vhI_EQ&WB{|4DRoKpe } ႂvM(&s=Y]WaWx8MO幌F=D4 Fh;ۥ"Q){}i^)I6}caj@,^ڀ- \mKAv(7SĚ%Ź#\G ?N.y Q=xG7su ! &먆!/&/=X\Rt4:- Ѷ {7LHdj ֦!/i (*(iI(ԒS! 27VU۫LOs_NYZ5v0!8a 6e\V9`Rގޖ?ͪ$롺ecev+hqwUyQ(Jdik9="M2v3@BURƩqɝ@.7 1ґ %{UeHBMjG`_w+.N+<'x/iեGj /gF\h@/C[:HD?U\dї<hhWsJaE aCm3GQ8)t˹DjˆMɥmBJ1Hmdkͺ9"p~Y|U=tS=b L^oO-=rFb~;s Cg-C@rJ9Ü^Yp3])|x\-#2eY`!80 kD2},L8& fNE.H-ѳ!]j?OC`Wϟ0Uzv2B^*=0/]G=l2W=6vIŅ?d|U7$-yl%fcVhG19^W=9gxG W"@䚇\~E|Yj #D%ܵ;wUnuvwknN4IQKp}I$=*Z%]BR.keҶZFeM(}H,hiC8ɫnjΝ4 EmfPߢd2?"tQBa\D I/Y `J ge/']HUSO}: Ezp+| O7'QZ|oY4Jn[^ZwMT\N~إMq @ }ؑqn~`R> piew7E)xX+> .A,Gc5F3IUD~L^e!n VrC1?,A\К DF0bcA38§wI 4$c1/nsքY$^n| ?Q:1uUx m6. (6ػ-sYu  gՍ e2&2b{<}fE5\ƎW%Er- !B#%Q颻{A Ѻ ໫Hk ZV[]8["GA~+<"G |hn)ci#g Wrm\:i O#^:h_TU alͪa-hY 쐩b&rCY1,}S `jC> ,vΩjU_v>| 1&.('j(qymrbn jGdE <l4fLhUus:+M9yLt-\M"u5/n׈•qB$!Ln~k˵K{&&),+թT$2 ls^/qK_&4Ѵ.ayݎgX^IyZ%(r>m*_U"R?.Mq)]hT-?]|o0]'uH'>,Dbe™0ZzӀ'׌,.T`gGO 39*ymovi?6/֣̙XpFe:nĉÒXN*'Ý hޥPճQ pSd]v;q·8w#yl,#;[tA#oWK#M5; ܀Ƒb[[$5{LBq܅NIIV定4?]}Fݳs5Svհf[o1lUEas1ЛOmFC (l+; ZELf 63hjX-N)p>K;ToL+1H:g]:uuiĸ)j wd4Nsc^[خS383/>c)#=4. ,;Cw\dӸVvSMJ;NFg½zuX DVkL4D):FT`OO﯏p-zJ#›](C*4+;]q1Y$,/} &̰K_O#WJc: zANPT:W%1N |qK ꈝc8hADW)E{IՈ>Xx)1<`Q3fmjY^Zl~죞av.T}Uncwe~,h„0=1<bwu ο`t(XEV}ڿtm{F<:%Ԝo\kvyU0kowu_-jhGASk6i.WL+vZ+'n}(#`P;W[i3"ecgp|$0Z%)'dgnh\"kT7ӿv1dP_czzdD:ob8>;QCE81}]QcJR$5XcA`>oѹrԈo/]4Mn25pGfPvr:\?jQpdؗ -b:7ִ < m7PPj^)GVZW/e4I1O=d:stQx3t?&=uQwSQ2iTƏ'هZWDs̶jJ_j2Vs ))=ՈeOQcEf'hMkQNm2K#>'ea)X1E2߉x)Qh{tnxݛ.wA# xKgYZ.?jj#tNJ>C]nFqNB80ľ0-s3$kzO4eLTۈK8r!3kϽ6y< }܇gg~r! u?#jLHɀ4iL)-eTGI&* @ቒg^UB(|0XM3+kPdtʪd湤L?4+G="=mǀ/m>NdV)@:&%UC]/n; }jmWe(BKc9g$ ge)cLn5)V߭~"%D󆔱xv=Ræ?cґ_;y+ 9:s6BPWpNhg2ucoΤ6HYCaKHBY.p)W ܉V`o쮓Im/M m_dxsQ(:v;S2`K*1cdEf~&7N֙LksFJ^-JIcM5Wpa.чUBӿV 4| aFyi(>gccXL%$qq{έv9\aaHvOEk3!7l-g5e+VĆOz4S۾6Qt*&Cpj<}Ġ8Hmt6qMm䇰Mwurch @&eU=Y@h5yː7*\V۝,/'%Yf˯tOIg6Gy#ט}ބ"H$nřei26xC={k l bzO!$8w)b#GDUJ8U/. t d:ahr2_Ҿ;іb $KSoi<-lJӱ$\ ցᆼ\/Fѣ#oFG9!{Q!h<go+ce`R0-mMf˚b8lSаYB뿼`DyECh:HF (=nsz EC=@C{Ͱs˥=bt›[?O" Pf6EI4L7Q3oePdDWC%{Kco:* Dx-l5P?ILwJ[k,6$e,1[L $)E$hTƘM?SRBڴ V(o7D{L1Ѷ\lu\pr%7trqp0r,f=kYmMe!`wDϚcf-q+!B>Mjәm(u4L!p?5EҬϞ{NOG/҆X)߶hn|ŝAWdc0}c$☚9 6C-/-b1>o2#8,:0КjWR-DhxH /xJX{>=e dCnXרϡaꪐ<y!O$зxns.`> /^O.\`< Y2Êa'K> F0v/cwaZG5_^vФ \0K(1ؙ.H9\aHuXIy)tJW0*@2OPX)aV:^0\Iec}ڂ{C78}M =3L(۲6Lߛ[S4o\ hg'qyGվ^n_$m!*O;Ww20ʿ؃73q?eϞo|Um_Z {{ߚ`>+?Hx+`հg&ZIӆaW?9a6ߛf4}yCPJXG. H%{Zs`"lDgq&tmQHygKu7 ^Q5獃ey)تbEF(@TZ3;Qv*Hs= -?zlz 3i~_}f0a2sstĬ&%N0<2U?v|?䮂 Wie|B&2jtN$5L8Gx%kEEkɳ6郓3ݭNr1|NAYOSޯ{"@{;\"Q֪bag[BOʲB&mzCw5¤;GcVVwk`ѵ%3?[cAP?bwh%ѷ"e@gOh8Φ9))H y[IB4$G}>>:ށ߱ʆ]3*LO/W)OZhD"mnsɵ{dҸO$j$yv{ 0{rpK>6N[LsRRIDyz\Xi}Y=v_,1vLnvg>A @;g}%^DXmc]j :jDٌl"풯NVijq$3o[y36=gWn1k `<0Ø?lZ)ϧo윋I$2/0ViY2AL55=嵚ҍ/=wf|gGnUbwMO!Bύ#s2?]L֘oSdy, ML Y4R ScpcEl&o$ɟaegHJw Ʌ¦ %崮)*i/X5u6IߚLH.~h{:Ю*3~M 68`/$X2ukۚFHA OWizIKohRz7yX(6 UA) ~|Q,*a(dgdzZRcꛍX]nC(H4y;<ϭsG?'oA Z.4jY"~i(Ce%^@)(('-dW!jΕn`J_ M{d>12e6v=.gmOXU`b:w "G!sK qe]$szw71`~-7z؇bJ%<9:1 zh!F1psc/2q,OY*=o?xWO?g!/]`#W{+Գ۴mbSEO g1Z(߷ޝ2&,E\P!jqj:=SQN{%ďTla輵KZlGn ;B=MՐ^b}d/5zAt_7r=D:}z qk`8 * @:|/麢fJi6'_(w|K]I99= œON# }!%lrsyEN9罖Gy e7yY@7ML,0ݎ 'i3Yj8!Yѿ7QZ)fV@Ww@rg[HV򌄼\F%T/5v]RMB -9yu`=_8n1ig1WDuoWzӺyŬ$ @իÊD!TNqeĕ$"0y]kq? Bi]]lhچl_U:'롛/sW|,S΢NSapŀ`I 6oH7i&XS o\IS@2a3E.k~R&Ns"*GJٯͲR\~ƵQ{ j_,O3-S\X5ZNgacjh P.0UBXǀȟ2,s=CrRSEJ{,ٯs(e#I@G?h9v]En1+2YfķtKm6hkl?>VZV| 7ESQЂ<'/T+K5 y`: T;| n_.K MxĞv߯3.n@{Z8R3@ j[7*` h2}kԞƐ ؉F1.5iZAoE>yx2{,:=iHSUU<|ArcK9^z!* <}ZֶQ2jʊ̨%ލG/Y!MzkO.8P-?%2.mmg~?<{Ih6?ǯ6")r ?]Uة<44Ld}u%Ϣ a4ѽng dN}2%4Kob19\]> Լ6ۯc7b!x바},0PӴv3֪2{SӝqB+lxX]jHJD%m=p{:T٦)kA5נIiW|a1`wp ]S,sv1<~smC04RƮ}]6 q(jCr}7EAzf*$x #7<`Ke3Ճ*1%c- e *,T,:!D: ;蟨c"w`*eR܅ )W򧊾ý3SJ$*2$|Vz{9 h~J噷 qA~o%ɇ""F|J, tL#sH/{t _c;\QaL}h \'?$T ^[-#~? y~d,NIZF'>'~gyŞh8L7.yFȊ.f2 tȧ700sT_S,Itΐ"kW` Bq7 l$u7+\k#lnqx۠Y;粙\9"]&|P 7tsC@BϻN)zIc>6!Q׭XN[nª٧ߡTëO-~}f 58- @/V{#M+C:U=-R˧ۜ>Avz->ϐEi.W|n $IdStNEMq. {.MF"IS 8Mu/ԈSfF}y!(68Q5~ZN3/ JY40dN}&4bֻΠz6I0!j5wy8闙t`EX:r}4!3mPb72| HjI0rLvgɩe6EQ:?Ͻlau܂M#'~z̷'Md!ص]FDa*__/뉊|"% +gw> l5YPuYCB'KL쵻JLELG|dzX 3A(AvzXP/tl _lPLFh~" NKQ36ᆋ8D(y HáG'!&vaFȂ{ls2&aEG%ֱB”5I6g g&$y4ruH6y,술l9Oo6}Q^irg^d̃ջNۈJ5U4=`4z[iw?^l\LJǶRאҵHnpsdǁ%BպnG8"!B|JfH2T ֗U:Q`vn&g}#4p:i`2jLGo24lU2*EIۚYڔu8T1!>bJoyF=L9,}c2XoEm%OQdFI89N8';o;7?x1ЙS ȡsƯլ•DQ8/B^Ó ,YDZR>oJVqqUpԮ͝OAoG, YlTo6MB|TH|6uZ7BA0#N6~X~R8ÌCu>+OJ~`')p/ru]3:q2LWl{1O"4h/|΂j{2WfGE" nF/{cߝ-HivS{E[T/J" s^Cm+:,b#;;+qh0/YUk; : aHOuU[ ?mXߵv^0Z&eT]Pg= ee̢kּS 䦒7J2Q;t-ߨ|<(mB8J44ټ#ԠlJgOeFK7 bj  CI`Mu.5i>m=&sl'6f!;#Iz\h]æd,LAPqNh]\ZyC&e8ir/gDLu G]_`s._ >;O֍VxNѰ~Dd X1 i k>9%?Bo3{&&h\OGiq\VdNa711jg#%Ǟ$эgrlqY%CsG6f%/_Y~VYDN-ң~={*lm{Lr.2TL7p4‚PZ>;\sX$ - v~Ʊ Wθ{c^҇h(}99 3:}̍4vjVL }b|Zf|$NEJXr| vq(cr-B QvPG#_ӎikUҼ2(ύzaXb]RJ\ aF9o"˝ tR,  O>\bb/ *@;lVw t@ujcoO%$;QlPʦfƾl96d쿢NkYoæo]MH(ʴGǫ{r3rU.N^!1Qݡ}$rP<hm^ڝ*U|Ӑ@L%/DᴦJw?-C8݌f2E~l0RJ0rJ-BLg f5zzl3dYn]7?{M;ǯq2Gj+l#wB_$s! &vtmo)NVAϐ=BMvbpS]ύR:yF'֋7=yosKvsv~W9$hO`T tS|J\~,)'EzU=iT1WEH#[P.-8DP|i1ٰHh0VS?L un  sp߹Xéq*` VuS+5FO O&]px`.S,@P4 jly߶1JEA~Q. BPpknC6 QMu1Aty_pz ߵ-!45 ]?Z՜3[@ n|cȟCJ\qq^cX8~dE@[J5èX&l{? Yt pQ"h:?٘ WyH0"^{C~Ѵ# TS"`FY8.0͎nXvW`Voj"v97)&kw-!\|nb~V f9m#87 I3L>)}'U}B_rLC ymBq& 72غ·. r 19(VwzfOM)Ezde@?\j8 ``“# $b۵=1?hOIayVL`tFE{Zau5 ϒ ߕ62mRj" f A.RSO,mIHйe1GQAGUb&r8G5;"ZxN%`d+9i>",P/unm4c'mT*孇5LϝBܢ<:lIR}ʫFdF^L 3摼o6 =L}Ꮏ tq:UbzI%y!mvz ckqmqFM B/gqo.Xz+z$&{a]crÐ b 2KQsL{m3u`_'&q*/dezLp4y!/:obo2[ bkzX@GL?UYC߂ƬKWBQWViA B}"E#B̰L|GeTEk0p$\m 䉱OYLM~@0Ix%yQ8|PB_'%b7bcYfq^k<"3R!W?YA|UB2X8"_r$^Yٖl]3`30iNeN(4 _ۓ*Yz\$tI 4fFz:p)9:F=ns=ɔϝG`W!5m3L~tqKQ#Vz\O+pRˠ벚Ȓrח1%N||DBywU[u@3]VAWBNOq-Zy$ncC6Щ&dS+OI_Lih`ъy{ȪIWiǾ+*y4*&H3]#ƛ(՞]H=d,K2oL ?/Ib G-\.s5.E >Mǥ"fyeOM꽎֛.Y xk ?v_ ]wQܲ8$hWX0cH] h\+_bQY{e,B @zyrV/_=J"FJ`+ 2C POE;k6EkO$9Xr?r7EdSÜmXXRԮ$劅[Z6MQvF֝HEae+֑2~0`HgDÄy5~|;A;dEV&S7#(4rX{N;M񴐓ƍ4m_H vD.v~ E%/YYd&a?&|d0~ˎ-. q<'3Mc[<)}J ӡ%ANS(ْC1;̉-%ܤ;[%hHn;awT? gJ7Ap{_,I:5: hi2;bg_[Ma(7 쯌^Ya&) 92ZДGF͓Ê.̑4W_t**ްDŽDϡ./ e=MQ D#`'`6ZA"Yc Dyb7p =EvSPf EludU-hnZDbovHh\ԥF`Bǃ܂5Uݎ"N%I2#bgkЭ}c e@t+?s37,xW an;qqNCc.^ھ P(33+Hg|i>sػ7OsLzaHoƈȞyatJ Üqb4p!Mb.cN۶m?6@IqbV}eWʹO>?P].n`)ޤH7"9̔2ǧ, @ nēd@2),szܲ-\)j!^IM8Cے@ :C{$44R$P6"j>;Jf,i mD F|cbGgj"4peb6_ҫhw>߮,} @}tC*1mmk0Rۯр[fo*S4lt5Y:ͳhg!%ʣ;`w PUg ";9ő crpƢSEA|S= b 7.G%J7}/|#9f.nZ@Zc[C8,=\+F.ݨ+qK[zɸxx*"Px{3V.w -C*j #n Ktt͏z@R66K} }?ʾ;~Xm P}9FD3lۄ+oȉ Z+_-njR? `:6I=|J#['<-vȊ܆Jղ\fGњ4b%//;uStBT ;j?VG_p/{.L7'^ժƦ*$ng˧'[ԦׇޡA8<΢YlV/"⹄_F9G)DQ*@HPf\6PT8k;нc*8-`xJ2DиrU?jcJoWLp2NCJi& I^4:*ԟ0`. ؋}nIP^('ѸP' J(L G @"9ַ0dY+,|m/4$";(g/- ^_l{>1R+*Kv3@ uOAKXD-Fw/~Ѕ@'pa,I瀉t0ߔ2FNkXO3. e 5{d hm8?( 2ѣfޭ rs x6[v7P_IfO-M|7ڵ4NX0r0OUclS~8| 8.U_oC4D:kBIr4b,j`rx(E-*:$A7-9 EXLkx=BY0Jc\SOx‹T79 W3Xl-x{̻DHmDŽ} Zn d(ށ}}eqB|fZ^q 3gL ru۳~a>68SHPᬝ}vC^9{ @nc!p@4"`J>煽۫>T[([1VRML_R-FUwhd[ͱ^*&fTB74˥OuZ Sl{+ٟO:H<)2΄ ixx,>өM;2nT/kËEKs(y\~\LbO)1.k&RN+W?ʝ9i/9~JCG*hdoVuQ*%OBr#LU O1j^+~! -8i-I#ogIcAA(o)A}{q̟ސūV`M09i:h zvk[D |Od}gkbV@ /dg89tKTqg7*YiK -BAyrc~ Ozpm8&K#^tbdg,sƫ1KbBΗV$F7@N}rDN` ]WkQ7 ;"_nCAݧx:ui*+_W#=G.N2`Ǘ~ TMд/0T%]1'36HVKPkJ %\b8MMwY՘cg+rgR`CW{ErVSH4Jy2#,e@N/ZY/nZHȝMW|.kr.Ass0/~" '=J -$ن|*.3VߦRx_P=]&#M m!N4x5Xpg&5lmaaBA>')y)qT?` v?JZq6qⲒqkB{P#(SEmUOpRx 7E8 DUmR\ХЂPGmL:kMe$sY?KJ>UƂyrh(>T]!G"ۏ,/n,%Qge~ɵ]NE8W.=?["ԡ3F҃% Cf4u3r:hBpC':d `i|N8R'sGoR1㮮3V1fTJ3j3Ԩ#Jf>GpIv Z 4Q`}',6A"Ic<@z+XS-zȢmlٵgc#Q@Rvv-J@YL'>djXU4G=ý>X:m-N+iu>^BUY+͎}r@!yCʲ:G笺i~iι$cS6}C8q>[Yթ!Cqf P;Re΍,b4 TKpu>+N \j /d۸1E;v`pI=梼_*9Xq»&Φ  ;Ys A6z% : ) {a2[WשBw$ՂN4M$y]IӌUnO (ܻiG<9$K+ x4RR3;|6LKh! "n`K\@p2bHbS,%A\SK?W[i*o$Ч9vvlb<#f&a긣w7,6Z{"%W\)zKNWGo,zo+0HzyY6WҴ̜#Qד%׹%<VO*‘lӥ6 g m ^8gj\fk)LKzt 6: r`s+?tVL{f6 q­~oЀOĸ;@`!qzrRg3>Sz[TY9N]q =3t#Vp8KAyQ+( *\ϔ*N_-p`((:k_3F8 WNrz))kޭ@rQ7@96@<`HPe)yL@f )܏!1,C1P Q}Hcp0mzsZd̍?4U P-4X[r,>iu%C&C|=CDҘ|: 4)P˖ܢ*|.~b64b%Y4!RLH{U)<+CG,] Hx0f~-ݔQ1_^a!U")#IRD"JZר.;T_~.1кd?^|*|zVnH,Lኲ:F9M 6Q_Y+I鶵Û~b)\0GѲ$Etp7KdΑOt.p^>Znip\ɵus7`}@{GJrY;Mr}x}lZiyo柅Ԉد-{0#/I0qLW ^7h%U_5f&pdP=z/p>FƙRs3t8AMЕθml/Au%gsHv cȈ0)u bO;ʀgуk_K"׾8vcC5hHfnʖs޿ZvS;,X/"xVhA YFK3ƞ]rZWML&ViUL)vS$i6u dgOfg3VAmtllSI3b3zb; -\,yا{ۙ(A5BӟuDMT ٔd6ײ{ɹwǂ=3SF*m9׍tjԞ%܅cDj'q%^"_g]*>ԽhSv-jMkLun^2|E K2|H4Ǧڦ{CyF71~AZ1{ @8SOT/tso&:fQE E%šTPlI7sc6?9 /S .vl.f*ʌ˱oF7$VZd2/0:Gq ऎxp_mrKWY+識,PLY7r| :3NTMUڮ%Tbd-tuB:sI(ᣱPrqEcy(Ap4tB4)sUzC{f2.R3@@_Yuu]iD9*#i|j3jz3g:x\|â- Դ=PDYvM ]`}|KibGת).-!!"]_WEtXEƉcI So\jbD GW|m_oPCM`3mpas7g/uЈq*Tj2:36# xbe.lLHC+nVc $e:(,_Aq[Dm獷?qD^WJx3/wi=?64[4)S$/¦튄?1'! f䀱ꇟժih ,_Yl{ao │f\`,xS9&QG7rtHz-xps bʄ&`< [ kDw0KP*NzAemAbcg.Y= [6g̞9֤K"@k;.a&sxAR%w2T$Eƒu::X=\uȣ V5IOBC %,VkxTg?IO`S#"n_*UZnyyte/a--_fۊ}i'7kQ;b^r}*a(,]]tm 'WIaF/89>xFeW;qm.br~ H'/)'/\K}6W<}EXj{2m:}E>C8i/G@ONJ0V}eq[s9'oEX1B&R~*Ol;I|?.27?MGAQ̗_H|$Y.ˉG7&*ϿudV>0Fz~kp G۪֊ /<~0oضŒr ~ĺf&d5"M;;M*R4q ֚/Y_D:Ei})_J|gODR}˰6o~؞fJ'=bdہ̯)^fC䯸/#\x ު+.-5Kvo= 4g;7 jC}M'XkC XI׳oWǞzA0t~Wvܞ7M3XYjc6hN#Pab\zHC9ޕv?w7}oJ>=9 `Qw];ӳ5ؾsp AG;e}IMA /&C$TV/+_ ԕ3A >9ןU9ƬzXaF3Ĝ|Mb åk4VM QmbQE1߁K~;pz!?-GذC1ѱgYZ :!:d9G' DHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! IgZ]Άxʆ5.f-9 rq?qڊjEW$oR{6+wR\yhŸU4xc$vs6;L eS"ǤuEZD(ߜGcvb0(Tݹ53vBLa:_3rD҆Wᤆ;X9* n} ĔW\~kiN#RMm^0PoKޗ01 c\ɞ4IYu)Ǐ{Z,&_ϼ@2>u*@> JOڡ\AЊa)V')g7<_P '䖷)6-(>e fAb!Bzqa^tYRfVuN,S$HNq3:~ :]oKlϧaS>N o%h-!4tf s3W'OFȿl`!(O>V>w}CC$ʬNqπh^>VK8,DwR:A4ډaw1hHm= 5j? w CIgMAϖ.`Ejb]#}x 8q st\rq=7H+6G򺗲n[xA: ̘dy}^O$ 4 B`"+;Au9ڄ­Qwe׏؄fd 6/alyVqz3o/-nTZh.+ϩܛ8'~k@D%GyԻL!1;3?xwLWj5X;|iDSJE9OaX84]S S2oʺb n)_z:&Ep=nBs(1qBm[#c!*T: 2 `j: \!GD 92ⲤR{q5M Gb'W Yy*Kq>F@z{|l4#YދguMXrsvk۷Ȯ{.ߢKZ4o,b"G*kN<7`h"otEȦ-#C|~1iZH&-!^si%6u Mě'U *;3;*N/:1&2@92&)d+e׮C$7 \0ɕ4v<@IMew4xQ5Xk`6x>BQ3z= D,hJN3ȭKJG3HM/%Ui. 0]Tqӟ G'Yb<`}ؑ ~m OyNȏet>h,듛ʫt(fMB&"-F2Ds͝HN~ 7[4UڏFѡL<ֲ}Wko ]7V צY$df.N(Z!gǺf]+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H xjsX*J6lzogA.Gƃx7Yׄ~㦃= ;2Ũ~;1̫ hTM9Mi%ˣd `w:4dZ~? XI5'գ 3 =x1&.&hoB\ 1aA> n1kz}fCv2aG9:G M@|%ui#::4JXP NO.wBiq^̄Ƣ#.\TY*F;rrvR!y+f*H(*1y^uIU-#Z 0ֲ-77 9~!6RJjaKӓWX`G?|inS1-A8[$^%_}`p' 4yXgϳ]X Hc7Q 2_HIH\A)ЛhjiFp1pNY'S3E96|I(n^ݠd_V_-kF CFw5suޠ-;B8 Y99.кzovYUoMLC;V iEi`t1r&c3I<:iUlg^S;\8&#J*ց!Ux>qEbxS6~M4R^{6hNjmX-<1ymk=7@,D(Ѱ?WX¬NqĠMQOQ%ǘ8tc}93=ǁ_.q<p>dHBǥf@d,Qܩ"vdKQ-rjykQHje6{(M/6+NG7HheHf1]. >(uD HAo.] 3֚t" Q*/N&+0O&;*vMQjX'6lҤ㻥MZ\܀.9KV9L}=^Pjɏ*1kO;M~]"^H7 9W%+FQf*Q~]%/VNEޮ:e)=j5<5tʅS$-.^}TJPh9FYDܕw=0ؖOW*Eq"gPYM-BSOV+kRZ9|`CC 7aUձJmN Q%),jD>%̿UQ tJv% MD%/ (&'-N GPm\Oi-+  fkՆÚ#M j.#5󒖨4+xV IwVqld@,dU& "p\_TC'CEVɹt=PȫޣԿtlkK|*!r 5oANbȬBvVޞoKt#V.VٛJr c=˫ = ٴ3{iARj. 27 |G\%"U̸` ~["ti#2\kXI=΀X-L詉>XR v|H28=H^^#B!?"c,B_|[-y5P/1ZxK F᎒xg0( ^@5@Q\=7{F Α'"O =ya7ZN+[ɍԧZU!r_RaQoYɜÏPe'AK'l1H=n^ XKOl]'õoŢWlf&/r!C|䭺b;|O|H-w[`9T3.P}m,aS$E#SmLQ0ޱt^t=fl䓰":uCY< XBf 0}3!5`>/}_aPƶ$!^,}L28FߌYC֩%h@ke;Rw1GͫM'Ϳn0a6t鼮X+9TۧM9Ҷk- }EM>GPxzLI,[l[S"(z} V2"u+.ǢI11TG@0PpPKTjVɁ@DY*T ~ Ҫ : 0tK1-9AuF<4_~9^kp`+N8DD .TwJAZ5Dnsf,rqwt)H7ON+B&e,*OYx)t2\8V_5v޹"9vs ዏ2.C6-v(N7DaNOL )VXAJEL+؍^ۢ3w#W@j }*J|q= d2^FXPjiˆw\)JXE 9 ("դξ)ڨ_!V#1>b <نU.m0sBs[<'m(*z_Vz5 )PzxRX ;[sq%Gve mTYH~u{Ml&KOCKȡˤx;[㰳cؖ4|1t4&jeBs0uDWǯ#NcmL|_ݐ0srU}s6g{g=Y[-WI=+aur¶nvTvq4g7VKoW # 3;=7S /n7 gl,WKpִݜ|~_}ªEN"ո^ki@ ChW" L>HN=\Vk&ifyS%MA{ wC/@7Iyt\:$@MϊJ" |*Q\?*,Wn~\f{5v9# +a c?tI ICȥ%b.8)MH<蹼ŊHHMK*u^/tA?b # j s -jd-D6%,ӛ?ʨK aݘ8-"@w+^QBq˓TsA)*|GR Ybkzr,& չ8Я/eUbfv`^-}BpZßB1`*~UJhN%S~LrFV+{iG05|+ tCF5#YB ZLJ$J<=O*Dj(Ӎ$ꀳoUBzU#!  ɻ@G\5G$XUѕ^d7'-=``y 94%Ga#_k:?TtN,ٚ˵'7+18zC 6agn!9<*I=uOϿ4=˶*6\!0:0z{]=9{`,B9=bV ZiI.Z<񗴊QUFdtN{ Ӄ,3m?ޤ1ܩ;fzA @5#OkYJ\0AMtkSxNrt`=ܴ6:ˠX߮DY6n .6*Rvau&}C\@1oھq%PFC*$/1q7VB\\R~2yb6r YeajvkPs^z/f_*=_=5{qOgz,'R #I(BӢ,fҐ?jL wӚڲIj%p9wSX"O [{K ܙ.;^ 3zob4c$o;:2 ]N6pRB}IK, AH'/cQ$mE`UAB a@O-ڗ2*{{[՞jܖPgJ7I4+YZ]b{ `Bʣj/d"a}m":Lu;[8PIT.p $Oɾ !xKs6y[ń"NRcXb 2@`}3~6'iLFjUAܔ>%#4 reu2GJp 61Ab>{9ۨ#Q|F}P"w,ގ{B(~e{Ah٪;{њUZ$B4kIlG^p]gȕ:gsڵC+$/M?p.o;IL"%uY̲"̒6̞ tuX @j41J 7қ~sY ha.%Ȃ#nw#Vk5YOd"e=1Q;Jaa !$(~6Ӭ/q#+W-~G*@]O+>%4sxe*cpmPL=tguDmb.1+=bTƪBELP  ZL5"O[cRvnX k?°{д4 vi3gAG\#|̉aҞIߍݜ3neja[ݠ.0rLMHS f&SuxG$_L =k_ր:!@"ŭfhC|ez$@;BwwaFj?P\)ڟO͍yƾp"'62+J4*˃;޸Mm=)EC \e@ҁ$}0C{#ωR"W*Z`cn۔`od/w6Д -4P Oa%*f[LOm瞵nnWU9șU<E͈^(\p~҉"ls›np5,½3# ȇu<+!Ns̍/;)ض(q /{Q^ޤeZ2ꎪm ޜG*P]Ou ]~ClHg/䴭'äy Tӌi6M]|o],~fӮg6TĞi$x B%JIjph97GGiM4uP%ģXAX* _m<ϡ׭!LilbT %faMb`陏$geuTמ-{ ԁ`G= 406iֹەWj 4AdK](y(1 gVNlKpF9 o<W$'vnkfM6y 1ytc3N~RF9usx:m,`7|OTԝ@q@P!'RJ(Z$(^}`7z_$nPhts`.^9&V&yO>ncr桬MB"~ nkIxN $ki?q`+#[b .s\]ŭkg:}g p3{֌bt> .I'L@,Z 魡G^{Y̴RD. D/ $~jesQґQfn٢åY,k $3UܤA~,ΫzD%+ ?F#SE3kiݯi{ҁƒ>0]PJi>|L]E[20ry~%odq'1ۮFeFU&[zY&족d1cPu[y`4[>l!.Uh+r |[直tg3gW[SDfZ|:(Ey\}:'mѿ3:{)}m!Q.pWK'ڹx(~PM f?SH9ƌhP{L!c1 84d?n^CgTrTw 7VQ*jjGyΘ⦀=ҀBH;c#fzId], DnNK0L˾x#^-o#Yy[.Gڞ(-Ŝo wfk0uN̟Fl $?zh FZ<1TݺP?h:)52A/7 uZ+Rɰsu+뿣=R*=IR#YJ]y$T(za}jQΖ4֗+NB T vYܬ1N;Έ ɷՔc;Ǣ򶫕1[ݩv;K$ yB1a >*7i7Kf[PBa>*]P?ٹ5]/Yz7OӲ+ vDrj%|AVa.Dl4ж4 I .@ݘ-lfnWbR;, 7mdm"y)_^|"1=W-b4quʠɀk.JaY 񢱉'O(ٜ%)N:w4r϶@p 7}RxR}RQMF{jk5T-L!PĵU]&0Ƭ0KJ8# E:}+2ІD7hsE,L]O1 2H(w]鰄M>\R es;D(qcHAfA-cmۄ',ƦNyI3mYE}9@nR}"=sniTe߽~"{“<_S( sgUBghx-t+WqToC٘Op{Mk Lmvb9BhUYH^(9&T[psCV,n16Gfmxd+g@5I%Ձx.(~~89TⳞ0BƨZCuhIL\@*ߎ&!RF8P/q ԓFЩ'W5PߟG<z2(ׅǍӛ="ng[ c:Ϸ,0 5ܾ}jgv&]6 ht`^{%3А7B)2)RĪJ-0CڋԫN+;BSϜˑq|$acnuDNʺ+A<ݷܯrV܍>lH3]m y?ͣ1*/X"K#\^^i$0nŞ_3}6zwgt\fuh#vР^y;/`a~*Z YU Ė{[ d%ťl):Y~uVF{X*Ux(e76:dv-QH]؃mNCSh gDI>_%pPxNP_k*;cw![G=(FiX3_RHS@1R=#Z#Y],+`ojn\"~#n}JYZӟ<ߩ\w :hĥbs#Ӑ5ۙ3>Ӓ1Y[J-X@(>n|"䪥B( jK#gG>ANV[G'eߘ99CJv;D~ }a{࣑.)HXt3JxMȎi;}"vx\4QK6(B.V>uEjx/0k.}(cO3%ճP'2>pn4ϲ(O3)X9O@A-N;Sn1N `YYoR8|ST*#D~~ !D9>i?h]iw⽝PC Ômn;y6iH_fy)zlXv#],ъ/`an/>̓SrЈjxT+bٺrd3 d2W}d*sˠUx:ʗٰ W$̇bjpJJP\l<(G$p*6vdeBt.MUG80Uy_cěH۰&(=rٰˠ߅A:dQ )ڷeSSC;>Yt(Oܦ1^u5lhx8ES xw{): O.m <+ FPmnYbf'g ;Tw:3NS gen)!z&>x A~1=êrRp妄'S6)~V8 IE}kMT_ua7]FςӉ!ӢׯwysJ;mLCoJf_̯\SĮdO>)kcY渲e;|8`In93׃|֌P1;$7, 3ɝ mEe(`c\M'| LO=h@ vE`V4T'ũW>I2aG HӼU\+뫀P!cuk(m5JRHb{wD)\zQhi}WN^Udaӱ^_^3NU4eiH3Hg5=("-鬗C,/B% izs=Ʈg8Wd0iE~82 >+ɼ}Q4+\ ׄ˥QZ栯OMk(F- *eyu1,v]6}9\LɁ#:I=)|57k4'Rn2֌;f0j^ TEՃyGC^|7՚CH{&n`=gw0cw?8|:F:+򰁭#n'º"®T뽍5ga4b8SRkȒV>(?=RR+26]C :H|22x8-d}-C@r)|:H3kڄq?($?L8B<(DcB?F*$:S#_Iמ. su*$pChQ}hv=D:LgIAA,TpWk3 EPn/mexi<%JUIcii`J &!Yg^T䌋ӑH!2%GY a4v< osW!ɹT铺sŨFd*. W(GD{bHh%xKw8I8XMz`?hۤ.%,i=wT;X.my_6r/KOkQ['|P Ovx8wLVs5^JgY:LZ)⊎ Yu {:_@kex %ъF7  Žud^DS\I6hňIb?皋EUHo=jv]@doB[8.]ۧh#[\IXP]^+sYA+fugmx),{]s†0q) hu=})ׅV>pjd4śoKB< #7vsFP xQh'B E YYgI RjVX0NZZ2) Y:mʳר<X;]~H ^=L7>G[_ZJ'oW6[n=6_,AKZU}*HvDasZܜCB]䔷Zո7(rULui1/ەub @.eKOS ٺyeMzAk?NjiE;HFA8õe6W$1=XJ W޲ A+3Ld4"jOv&,b܄<=2C6ġQ8 @5\\nIvq nжt† SSuNbǛ#SVQ/t,Sܼ-=mĸ0()AQT|Dr@)KtRʻ 3%B -|V~Цc{sT1dB.ײTCE̗ OqU{wьT o aeR l{ţ #ўw+e j: ;E%OH{V;["|k[㵖xq4">m@z:C`~7:&J8GWs2|*~xʾ(Qx `jK  W4+FIji49%FT} I;JIUB]~]SrI .R8vT7b=k3??]E7Vl?XfPn2Ϭf7eI 0; *GSȭh*L.n)-u!V<6mݸB7؛~߮5׆ Aܰ)Ǚyȩ"<#m)S_=㩁BcW wgUMXkv7-wnS}r\<,Wp\Ԥ5tλ4Jf2-a {;Vm 0|H2: "arnW+p*8L~]Ɉ+*sBW(E*M `ªS,V@8|dM[U9vD)Gr *7 zsQe!)IQ-y :KL*}sF/&Z>8*!W{bIAMBbKS6FW BȀXcL6 Gm4.V w̼bw;+xܠ0j!d_ٌΚЉb.N7Q_S4okV( *IbלWcɈb7r sV_qAjW(?ȄyBzkmNzs>UfPy1߽RNwLk@a:tW/oЁjD5(is3@r㐬CE&ZA__uV<Y/Bom+I~Z%x`e{I/w.ie9üT4mjᅧ7^X&q)ㆥ2pl3.ij;T6 0%7vc} W{(Cˆ >ҦL>W둶uO0j>G"}Z %rE)BYM}t% E1xa&4;dς:z=i˰D#%٪z{jfEdL?@;^J gh1I?gx9E_ݢةRiVm'_="(QLuE] 5pPMW%]Nq/r1-3šl'f&\&l#macApY$K;Ͽ˛PldzB[ =m!n]:Rn%y.ML1^ɪ 0A @?279\ט!B> *YV G;;w\Ab, Leڐ#96Ct4"C} [$Q mȓD{;5:d$6ph3ChkV\%},>6&4T쥛_hBlj?B' LfaczV\ xX'i<\a8|C݂3Ϙcjk[P-(J Èǖb@cd,6tJ4@8± cP%bl$Ֆ?Y;<Ïrs<ΤH_՘ kb38m7׬\.Gۨ~{2ƕ~,Dsq}b n 3yY@VxAj[Մ^A)V}t+?T OPۘeR~~n;Ӥ7|mA;lWķ;_BH9 E9be 4uC4)rKb%Lu=}%hW;tm%USKWJK*\sUBw<7CP]@k@;&$Ko>=.zƶpjB0Gg`R`~ d>3vfz e<ʚ@sW6ZHp un%+ޘwM-%@d9^cN exEgl5*=-ˌ Gjt1y8.u2ҞgcQx䰴vD9EQmZW<0}2E77 ݕ6X~-JJNM!Wָ?B1Х.[g(A6CP o 423تh-:(Fԭ"L~Pxњy}GпlHIWaK9c߿2#H{ aA=T^Z=~AZ8bO:x:@+{`3y_YUz]fvZI. |eq!ZWxKC5ݲ<а_09ԭ)~ȫ9zh||G{眀L]KT{QɎ ɜ1/Cz*:_-ҮooDxPҩ}i +XTy9kx$`;z% Yq1)erzTp4's`=Hh8@K \nf&n|uHL t.^n$%%=^Ďa Iޤ]nň_D{%옅)T#: [)ȋZ!Od]ؽ5jz@h膽jMsQbᑊGf$ nqwT.#תY6Cfn=| eI˰xu) 5h` B 69gn%* W|΁Iԟ= eta7}|Ĩ8.Ὅ3S>m4-LW i&jG<"8M::H؆քyFnkr# ,r pfךTaוj,LpWSެ"frbp$o: N_WϡBTH55TU@[Nq;807>#?dȿ#ل~86V?恂M0EUgT]tʬMKO `{  # Ֆ˧M (X_* $Xb58 vΧuJG^8U˟0ZNtā+eC`1S&fcJ1fMUNޟ]^!bjwrтyisjQz-6c|Z-yX]1BNǎ1+Nu8X@~«q=1y*K[Hv{k8/☧2[N|fk@p UYc7[ =Tcfd}_-v#IE? I"SpI+IѰ OjwV>Ua}tHX %K!W%7O`5#S7A,X76/#[[$E%؋o9PEҜ8E=ybt[!rP$<zu1&/H,mOEIIgxosą7b$Äx^L>ڬպ گỦ~=+,@f;%'Wk;CU(Ņ.KVjet8/$[$HQVs/3BEN=U;{2c<eM8f<1>_C;y(o;Jkzx=2F _)j[MdV[BT=PzY)AT$l9v_l@ "Z?@\n+0fNO(gE ;"m]~3|㞺k-m7CHnjb 3{ώID*æi%=]pOzLHIc ڜI`+x.C;87#1?Fp:նj|j$S^,6jt#ų >yli۞0J0Py^وr}V9/A525z c6$I-`w!|:qG >1=lZq5-*ׂvcd}̮2ڛ^7֋25"R-C}v GHyL)J=wcS$ܔ zn`nEr5nt%v+p-N{} e;K|~2f?(27) kbrGj!]6_r cI\,ӑGE^u +3\臞O`z"] ێLs)(J2?drW8PCűc2*`iZ !Yfd2x'ߒ%:.$\jRFXxI#F%g_GH]U`6BjZÜ9*+ Iz$$È,эkih8:tb8[C ra\ ^>>c37x&s oZ4CRG>_u,NNb6p <}#pkn$CFf ^.1-Ne3P' ]&uD) )[s@"F)%TMov_b_Ҕѿ0ET zDrg!7c91{Ľ [\@lcE9*M6~i4pro"A7 !~\ݕ7Ob ޛˆlk/6\H 1SHD8p{X0.z@x 'U1ۂIS9 Co9TBL3Ћc'h ˾bK&yi nm^咛Nuat%TMaMI1+E}e|1=F7~tcn@bYFsu?ae\&o/3ӆ_W$3v*-bC9"iZjR> Psa` $ZA.vbASWӒ`y ^r:-}~bze(qi7 "ϗ)֑V4vvUad\„H10\v hIq ݜ!>U ؊60jߒHΈ&*6m73KNk(&NxK =W49xN4/)G/f|C)u0%!)գ{Z+:`&oX_Pvw"_g6{(9LLC߇wmI M# 6){1VU\=0`[$7AJm:ʈG^43`⇂>[{"i>l.f K2.1 1̓ SN2?nYbb H2?wL8'gސ >m:^Ͱ0L<ŲW3Nc~sFNB2U! F{'Wrf <;saNZzcB?Ϟև(ùy:՞hgwt3#ӻ~jJup6&?ԏ'vo4Š4ngts֨@?u# ɼufԯdt`OD8{GPLo~ .K?C.,eۓ +6A$Y}aʂ(R|ںx-\}߇.|)&墨ʇ%=H3&m0nve2dܞ\-7݉}}mYD)<'y2IWخqA-.Ah 8Ǧ|ynW) ǛU:NDV}4P>w]ƢJD;m!HpMmۉf9O~Ž2/%RO0I7A=P>k"c sQky㐎Ğ  z Yd#Ԯߪn+k-+k6qK*ֽ_re9{#+d,NLQ?V&4I ә:< f:ٜФ##ME5Hj]g6 (rcشChcpWrڈ;"FzS3b-'dqd VpY,1[6 K~Bp.~[gn|\N-k ⨸5j|Բ/^VUSZg-~#Itnz 1s9/'WLO6) ,.G.R79#,]A+?$z"> Tco2RTKm͟+>%TtA]T) =>5ÞCT}O>\Tf S }KjkUY.}%bPGxzu4h"ol G%Uw!EEf)G+ 9.OXր&7|@ e(Ȧ?uu0؇! [}3r_oi=0CpSDhc(NH_u|. (.Lw&1 }rZ"šZu!Tmʪ8>JI<"D f5zadY̘gh,Tk<%˚d9|V̈oȟ9/?{*>$@N: i)x+Luz=k16j߇fYAwq|+>c!y؁ )E юSDz3`JUnw#.[&'S!C>1pvPw+4l=  fO:ijrbG⋂)%JhbgN|vu౽x`Dq( Q= [3n'Uc\' sѧJXOƒo#()Zf4@@^7"qtGoOI6mTEQ|6XC  b8vQA_iM*\= 72>-k}8ܝ5qmN(ѨlIp y xlNa0o9Tx. JLԺ6G\>rk!LOnDa)~J^,*~ "Q}DK ~cW';m1ސ +˒H2 /W5-" 6ssn?'R{T2àKb/3NyEJL|BoUP0'wk+5v%,7U[&):8:Bo" &:nwlWҾu(82UDXElCSNDy+ː,s!vf㤋^˫< y뮧ſ"jr#\\I⾬RS@\6Ap;U(Bfcd;sXhB3OL$x)ʲFpxiNKPP?Aڲ䍞nˤu_ H8*X8i^ ApkF+XAٛrtC O!u٫}Nj mEr4\tGoc7z݉dzQ]K9W6 =pW9ee?5uwC2H)tJNoj/RVmeJR+;0%B3Zɜc>Vrb{`#Qc/޺Ga _dNO zPF^Zԝ*e%- Ht2l0=-QԜ R05Cb>l2%zx3:]TT&.Taib'lPlս YX~i+PCxP_9K!t{Ϻvi. o(-Ԍ}C.L~jqp57^A.Ik{ RBThmϲ.,v: D |5NCwٶEWmze- -"̹qA Bp1 lFi, N&>jxތPuF|s2CtΟi"lWQIQRg;SiY0іk=#-Z:\ aSڂ5;X>~~,|3b!dSMz$zdYaT4K;Oc(^Fp]N&:s2)M b2KʆC)AN;]~Kf8 ⫦O3Lu!c#gڔ g~aĐ W3rywf3.]g QMu7BέýwE᷑oC#3@ЭSae[_`p ]]jxo"/+(\4ˤ{R:AUtvW%LK:|@5)^\x) Ȃ˽XvT¥K A`R}c!DbfZ-ä̴ɉꗟ1캘\??,XxG?/#*WJe_ܫG6 {Yڋ@Q;wxD:EVoFf_C:$.V@YrsŸd̡,J ]2@;(='a= >D+k,pp$`rfYj{Fƒ_kz@ Ԕi>|prVځxWC"}uI0@qClk1$u?j%M״9p }‰=f?jI~jgx1P҈Ιk.R]q{o8&āƺ-D{ykD-Yc]ȱ>BN &;̓BXu-XQ"?6{A= o8s:]65 WQ#R_ .OUL* (|5;հc434;=t"9/ iŤt&0=k"Є%džcguKPo[RLgL$C+٧I@]bTs.@/ zYo=7xP@`ب?##!vA +5x[bm* FQfz  YS[Ƴ?"Xs/q&;Guo˞Ǹ@FL&řÕS},=gKl7Ƶ)㨀q q6y<x&W^u_2LYT*V "HM7%w`Ԅ%h#{*Ԯ[Qii9+2Iz CBa\y4J>iOڤErM,NI{a9++_M2IƔd1?u*F$g :Y  ]C1!f<tjsBܐB#X% fth![yIEюDF".ec;Sa߁>D{LK3EƗ2V~;E~FnB;P0!'sCpEZ'ZR 5.]oZ=B b9C~PAV*ȉAѺw%Ed /amG^1]m ~,M1!}=Uei6+$ Bְ#V{X`1Ce}3i017GX5 ٜ*3 7<cvz7A_#V -6uȺ*aΝ*Sx} GR7qzSA&V>2EhkOvx$H퇴Kȯ_oإ%6 *Of cDJ" @BA(3*w5fOA,ƇTC0Z*MƸl g:Dk((L{Ҙ9xU2%wpЧ/݉ZZJj}YCgCZxq)XijZ8 Fji=x~-oқ]/ {1lɮ%2KvQ8qA3t29#RmXŎەVb:TrɷTt' xN ,1x5S+bTq-D*ҀBM$VlXM[!qM_I]ܰ' AFdW. 3>űl'0U1iXkIo~%#0L[( lJТ}ϩuCZ?zhF;E_`c7to>aI3H228CLQ^?IDC$pk]}8TiKNVnƌ7`I4f[I&y#?Ƭrb_eHLFciDႇL5$S=yؐŠ€/F@ } 5I&G,O]ѓ=@N&M~_8!$pd:MAiG%%iUT2~'Ƣ]x}f%sTi6]aױfeD翿oHgR i",QNF B&#+@tk[,Z1넫#{pW'R$Q!7-ȿx#O^irB?7dkE̒JX+ qHp6PyNo)БJأ1D4 [ qk ^7wĹ ;Mu=>T%  ?v+"Q:V"(8XI [:z H2UN^I@aHt'ՖZ^ mvוGݠ3_׹kyFK2w~Z)7dBn)M }%wj x]n]NX2o(50l hb#+7&K#q6$[}ƱB&˔Vj5P03"g7390;F g;6Se"_@$sOUI1u8FHYI0iJ^֟ Hr0NfIvܶ]y? px Kd~bD. wZ]y{ MK=vrG斑*Sx0h:#2:gѝҬo^X;|QO:}@BmX+OM3R*{`w}2i.sa3:YN=D+ &Eu.I Z)i!CX/*ڕNmM~!PkSlB+{T/q##ɺQoE<ؖD-4[Q6e'+OoH5=['!#PS擧U]ql2SL+ ؍LB ŮTr*6PB\mf ;w[Z?l8gb\܃ &ԶD'YXq7}B& ̤5|^A%Ob>/Zx.9^gYZb5824dd8085872e74a383bb7fdae01aabe964b8e7d1dbd56b7ae23b5a955bd6c5743b21383ee1393 fb3f0a8308eeb92bd5e73d9ddc23c4d0ea3cb1c5 80d2a3d13777e73966fba7ff54450737db51faf8