SQLite format 3@ " .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  9~<| ] HOL-Datatype_Benchmark:threads=6elapsed=500.235cpu=2037.420gc=764.9807zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;9v3>*Q@jX1SJ ^H1THR!y. :LP_"8L=گg%baك#,_{ -Qg+]H 1qT.Pϋ]SyA!ʮS. iWMgYZ7zXZִF!  ]ŗXiɟ1)*u%9JN63}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;~ k $ K aH9K'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messagesF9K#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup E9K!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files K9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id F9G'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages D9G#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup C9G!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/filesI9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/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;~+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2dbºן)H ġy8@(xG~uYl%2MVK;;7XVM2ƫvB a<~~sz)Hdž+#G((Q|2>L jŤ3?GPvJ*j ;dʚ74vJ#/1 pIr}2oygTᅥG/&it*rߨSW1h7'dXmW=Y/iߝ:/X=H\Q~eFe\F4P\ImT=@̇*ormIq]P_*Ek8xp qxoYThQT rpt/`C(q~1̳eCƅFboo%lK l.DT5χgtDj>Nbv`g _ +郃(QcKcpiqifٟØӎXofBs)jDv]O_!_R"76t[ؐpW:Oה~!z,q%oc`$44jtJK;T3ڝ}Exqr?xƏWi/0ɴ[(fߧD  rō`־Sŗ 0 ˗6<:t+~|h;y~2τOh;n:93ED1n^Ԉ*}/EFMf'մ0iU@jc1 ^70?Ro=-뎌y삵<*+)wcz\heUvVF ޑj`F?(^fOUr-\34sQFԣ*xɏJ-˄pV2IhB(;e-;q(+m&0/Io`~b훯LJ4i]uki@,i} UVU2y04?Z6T,Sd.Ob)qϞ=`X{bZ+pp`@*S0Cxbbd!ye pnq90jglv` QI>λ \O=*y1F$MitWtqr,v_t9_]j1S6V@PRG$1ΎkFU7YLGxi@/Oq;fCWkϵsɉTϤpMjh7c `$#% >ӽ8 2EV_+N6B+,D!Gi(eUO_.`jL6?UX44b_ 뉳? v~:{|4jJh `? فxV(ױs[\L3QCBA&SHw-!2E̯bLY+q-R<.] 5) /Ft7TVjY3n>qM>xLah뛚zU*[p|}«iD%%c#1ӣVrBk} Kڈ)ĄZkfC__XıC+K+O^$u'74֣ĈC9XBUޱl\Tv8*{1!7tA;uݥ@AGm5j&z;Xg{ idOW6ᇾuT ^7årf`Av<=}_@^5uA( *2PK]O3Qh?OMPU\BݓWG tKxF.TG0JfK@3'7zxeN+^vߔW|"v"D^0+ (z}@ZhZ%IY~c}= 7Ses;lþJ EAox _\>bh/)3t3e-H]'-=Kqc4Cu!M,yX؝hс$ո-"p-sAӟEBO~HJ9R//qܱgYZ 1]KP`uNX kV#,j;=,t`&Oia{Uh4yC@Q8N;Hv [lI O /X98v,ɹ먴<2b),@XDv @0euR-`  Z  ?A cqVmZ0n7-rbe>BWJe&5fή]c]P\Ҏ=(#g/úx-7}dl [ݦ(kcVXz4n ^Vgũs-YR)6Hࣘs"d2JƉh-"| IA2߃`] 9]g\'FmDaǏm)'4+l 4,mT|:!LeKX'keb.l-&rnzPp^U˹ow oq9BMOlga!z[rpWL&q[p7f[#h!y|[?gIY5[{(Ēu}e*R]x]٦Q?',Y]NOt8 |?hvnʼn/&Q 4DߘED"Mx'Ҭ(Au'`ahKR'6"xexJ4n͑YOۋ+^jN9/R̗CT╖+=I? CYVgpbPo7r . uO[g뾹$EɄ t>5G1xTŮLUp=_D l҇ҷQi!k̠}H56AT&Or$#)tR;hHo7z@4Vja xxnr}RtT`99+K(FrA=-OAqiX͘WԵh$k"bU o+Ȑ>& <ȫwt U&>ܚvA\\ݶ[rwnQF5Iw0dȯwW:PQ_wz~ F,Ne.̠?RB f]uVs0,ٶ^̱Ȯu^; LѧKLTnE/^&zC=bs S|ԗmïD9I9yc3 &SBd%AqsSCkT3#";p1:Fdk"R wC7HMjZ79F\J|DtpDtmNvL Tqd.Zӟgb~.$gMQ˟4"V"ȉդ:<7Kl|\i -ٿW-@py׉*kr|" G :]H~x3ԄEy04l}\%Dqj5 ̋(ŮΟOYv }Vgh˨uC5 KIlYze)+x)⫘ăqrJ 5MepK"(.b)UrwK50 wȻ'IT/bǤS*l3̿^Hu%9-E:|r\K߀r\nDHҼ2d 73qUя4N'+A +@;rt#hi,ʠI`;Cgz9EI2+22Vmn*R!]MD $_.}.: >Zdm^iFϼi{#_~}PA {|WՐt JRw|?|@#z9ir|̓A?U*8iV~^ۯSwYCjmTr&Xݳ&vD> ^C"1? FR 5x+J) g^Y!Xm?*>u&uj~[Ҷ@ryQܘz.\$Bx|(ȗsckZSJ#GEuڻvSYjȵ~Ga fkZʍ봎KPJNHx(.AMx< '6/91V0!qƬ,E[GkoUi%w1 &382fI,aKh~<˳3ǬO5䷼#"O:S>!zIl:ca$RV I"RW9b]TMne.B22"ȞEpeT2; ITj .mZvx9t3~Αa~0֧O9rq}'*t+'=M9.sluk@a x<y/y'U~UT(>ab-60鎛,;rzq+膍,Lrs+*VJLL|6eIlt饅^ iB۫aK)iۿ@h+~U(N5 CS`LR}ŀx%JX y&Nɠ51,`)Ɍ}':0PDzjEl6jq.>eq!Bjֹi# S }'$ xQ;)#4$C~s urƳ=xu 4tFB`HJdD `2lJxPEDrOU$v&Ax7;XlҐ 3=Ȳř"5ф"!Qw4WG}Z಩E&PERN==-u]D٫Ts߀'ÞFeB\v M"'EFXFVyMݑBs;Xf w&i&eݰM+hD>B ߑR =Tu'z4g]k#hIZKe֟õe[||@+ٹ:le 8P1FSקD#l9^i$sqMash7U.PZ̉𪫷~e;tj2{IrsQٹE/u== tېjעJ {"V]תmJL%LQ&by;Oךb.^7jzbcD"~5ei{x.7 F,hަIIt=KʎkRLAr[9LGECiSݓ$Lٝt4_@;3c۷+Mܔ"c@R|߅)qY䔊uUQJ<¿ѽ6cd>,6 (#vyM1W0u!œ`0'4!ב`\uF%k7AJ<$\Uj7f l![1)_|  4]7D\O~~#UN}H("ixuu5qtnnڂ 78j"Jl}}`:C.]lR,Ä(e(d T` Bfi`.̚CPjpXr \B{(W'| :T;䒂_eY,7{屃U_sDeq"tG>w; wt[ 6Ѭ\-foƒ  ɓA护g~t/^V dǾ?A:E~.a!. v%l׺iF<삵{r520ܷ2y ů'Ûx70@OT&W^]xVHب6~:iBFz3/[~$3 E{ LůSt(Rŧ"ٕYSx Qk kw(ͫzT5>H=K k4d@6PC jWteh'H_TK`ox=2LdjInծ6xF{\eP %xl KӁ7rz>4^%oSK.vQ#Lez稅oY3U[u;Zk:oYcJ1V[DɌzɁz9ʢĬjӈԢθnQ8(I`9{Y`P'f,9er-Y[[RUY-l+& VE?xS`SmNFԼVhMBtwղ\~#SWKg8DLݾaVn$m?"E^< @9a l>w(Rߕ}rӾ~}Y/ӳVI.@|@$}GSH`t b ?kA3)jL* &ê.݆ $+͊ta+ 4 R.TVWU/~yS6E`,6 K.$ku$G̦ <@۝\gAeVE+edI";11/QIqufSܪ{wװ*˰r +mVܖVt[-/{hDr2jw\jM"6 1s}^/nf;׬%/cURA@OVǜS+lu"Tض:]RMc(Op)zh5&jH>z}m?k;+U6> HlĠLNqv^t!0d? ){gZΔW$cCug*k!IKc%P"NVF);O*,DüwmP&L8@^O_u)ctB%lxQTj_'!L7k 3afZ6|u,OһB [c?[5F+^ |LmaEL JPx9aOo:o`YOSEB,\O}!3ZnB* pS3YiXBFo萙]<'a~Hvz"Askw[.4PRs"Y8(=vX|É&jƛD3tw%ro}eL$#tIoMp5`Y,+Mxh9bg\bcbʱ}ЀLmI)ܒo12QݫbM50FFmI~35JW-l';\0lXKC*d f]rnjks’Dvyu{j֖X.|@}أY`zUAG~@2 ĩrI H^QKˌ=K,˻E':CO_n /{=Cu3eT_BkX:;]Zf,n$RǙ~JMD)yF}p*e ˧&I UJ0ķ\~ꇖQfAp\X`u͢ŕQrלm;^-۠AvV-]͋pQekV} [hb1wZPs{羱ݔf'C'a= WNr:7IAj ȗ9BB,۩CkxMH-& 1Kn6-WՍ~QNhf$PL7cOYnzټe6Ǥ#f:'eSG `O @#3<μ[8=+/e/F40K]7<䔛 CCq]J"W9O< 9B:"ML}}(IRSRȨqhl5PbձRq 4qBcm&';fJnĺOvfw{Jf˜K/rPإ"j)SkE"j]󿮪__6J"RUB]pYmHM| DVO~i)lzq2ĒkKE$kN.tmߨ[i&y&"O nQݏ=ӈKz><'Q7 G>].I~B'?y@}^[;ySr24WUA]:%"a(lK. %]FHZA6L>]U)5.2h:'/.骾:EVi NJQl!XE8CPp 5ϧ%<m#;"Y+r꤇9iܟiM}%)qvm`G԰Kj:+0+DKɺa p;Ej%"0.|A]+2͹c"4\2q3GW^"k s.魻ey+m0,64̶y1ii579#o%GCI}\%x`7{pA(w>5)) /s`Bm\񬬶F##LITQ :$s c!_ÿ? W2/)zE5aq=v}G2vqFjlPQCL Yv*<Ǡ_O"jg&C?%J5;Y-*( з}Gmtp{i_Y'ipbyYx"A@O8Fo?@ snQdk5 BKQs()ϭ'IIj̄x71ܕELHƔ2z@VХc*f@-fP'`SpH*K$>?V@Y&9zxbԴig@OaHd?OU;yt˖eE,1 *J=tT6YN$t#FiV;4@D_%1I<%S^IYcyM1x )tDv00Ǻ. lӾ9u vsE( h?Jr嫪U?Cns . Cbz(̧b9EEۀlS%nd٫ы:! b{  "QQއ=m=gTeIK..٠?f/_KwWۙnv7^cWl^}\A'ggW}`>EN9B7MvUy,( Ϙ%Fv7, fXѰ,q0*88yAQGm@;X]=npS ;%oRMY3|`8WyQ!^X0˭@ZSҺR裳~In ϴ7CD O v7d$㳵.lS v-*xP8ij$vn:{S[GSE)~1#Q/$NNF*f0E f,HPoЎۮlAu"E;Rhn ꪺׄR|Q^(lx)ͅF8;" 2&~7MR|G. qsGӎ #O:YZMl{D:3֗]01iQDԳEp(ߪo@jEb[LUI^M<׮ң>w6}_>K$y񠵥5Ĭb PX0٩q- 0R(ZxurxtY]Y/> gt. ֙gvxk}vG{* "_r5(D~O *\/u-꿒B{ t0)tҭ{/߿VpI]X=8K1+B&"D?Zl0cTEw5`U֯u--sh Jv\m#75-$-V+Vpd@ԱN 94?gO{Jid2=>29@4&٬b@&6PKIKse9w AaҞ'{Ai6 <JOIA!U1JIҹ]:)H?oi\&;Zn-M`$u7Re$9(݌tZC)F+-法}id+ '_ڼ|ًÁ156u/1SKJr&[t#`W+Sc/+ln DCAj%ӆlK~tV!p03 mRK3>VE(ތ'qL΢4qV.=|i;Ôy!dϩ;7[ x-~hX>+ȏz);k8p}SwH=+6w%m|udTԖDf!3$"ꯉ]]R@ T`QUn$/oP=7(ч(+# LV|ŧݣx!vη-^x25JFYL]Z\ְY/Q~YwmOɌnFYĒLJls1Ƃ:"'d%?lڌ_޿ @>) ӏs!i>MIzO\}Ѿ&5` o_\ 7K7{3.>=iD"UƧ"X0j4As:Bܴ@Q#jCZ Q#ۥsjOn`%YL5bl"&FbżyAX1 ,vzC=5>r'BЯ0$5YG5KS홶m<J&w=H:;`^"GE{Aҋdak Vإej<3C㭂ZYUt\j356/JR&nLK Cx 9ajX 5"rٗѢ7% KSahphjO 1HNS8ėnބ;0$ɼp+cvr\pNYy+cJ4m &y1QPUZ+ӂ9$VӺ GXDց~v=1RYz`aM9MyO~ )),mY ,76tPJmFlo_P&[݂&z_ sċwa jP(uRӼHM(w4@il۷,xИJԸ|E:dJN>PCka)#}u-BƿVJ/8_*>=W .-WH'JeOZ';Tr ewEt O:ukLɗ E0_m3ey6•;,+"4v5d38Oc:z /Y0p`дNØTsB/ԻF10HD蹘p_&`mkfߕxekj45 a]mOT_ْ% _jGaz yYg -oY_Ե=d΅Lzr3$ɺY^ 8.7Z`]YS+$RکC(ַ%%W ЁBz{[[tؠV-Z-kZȮ̻ wXbOIj^>Sf9O%Рm1_ƀt($hX ŷdG\b 8آNlD2/R84y0Sy@şTV4d'Cw AnQ7D9uμ71+TvZz+Fn_G&]{Jj#k=|jL6=]лd̓QEP̔fqΐGP8@pYⰿs{<>TX}H>ZAVR3E%)t,ٶVN2\73@HPRsžh%Yts{^SXzy`͎aJC·F"YF3Og0i,tS=oHS5ymXьw]i :-w퇁mF3S8. jZ-8<\1EzYq [tP#iEU (q¢[ʰ\U#0/[ެCoU/^;_¿n_WhONJNPQ릯g*ʼTA  N\Xe5d'kp :qs4K8=$mA>}Y VhB*ZBEP61x%_jtNƘkO_h+fpF#0-5i-mǭo8x\tVUXA'qhiaZ7T3$ rbs#)'6Um9W]\La^Qi:0;gͥ=ٿܔoh{XY"%Pttj_w[V[s%q'hhX_|*UFSkC.Jψ7,==#?kx0+^Gd{_T+H%]>izyj4Wb׌Љ+-MlT=,g|QPTSS %Og'rתDW%-y$17N*b cR~ֻiS#zb KH8 yxE#)z/C@('JY:7{S Lku2Kf^Kn'Tmeɕ>]U6 f)+r׸H,0λIG^BjK}}Ir,Ǿ#^ XQšh&#۪Hۖ6:2JL$(C+ZmYp2;T;m^Rbv>&F V]v<<+ aGB Ḟrq۳%dB;l'D`%[1(J2ar}`jAe7e &og,RXWc T0ƇWt3)O<[F.V%EO0XQW͂W|w"XuIf.RxBQ9ŹǓC^Է; ,ֈvf 8S"&=4iRRRqk'"9M '<#G|i;v'y)n!۲?.{kgmMO<$^ Lo `qo0N2a)qgjjw51D? 9ĻOk9Iぢ4Z1eE)xP꽔 J?qfWMik9SouAvoqQp/HkOY[Z vQy"m[Ł@]ֈ]G@붗GKBSxݱI5q *)„T8[M:{r^9̙Bٻl^O#LAw*p];6@q66AD[8k-Oi? BwעI+&(uc~O;&ZMq& ZJ>M(IћSoY.%)])accΛ?LϢŀҐAH?&>QdD ~vˀwR d^C"c&&D.UR bٿaNQ@4A `c\1/][k+N=ՌILQ'\R[5Ƃ[[ޝw\._FY"]wҊAP @ڜ5Gn͒\Bh+ld5U%y:8AZ,9BiDEhܟ3qUT.:+FH`N:3x_8ȿ +mY!O6_!w hM:лIJY: { `ɰ4Jhw0)V2-awG(:;}wEPt6KQpkkՏxP]ЂQ00C{+FVˡT<%q..*-á<#J%h;qpJm5FU>%nWТ6:-i+鎺V0՝DVZDN9?!%4U tMtk3:0g}eM3{eC&L)VfCCT.ٰ}j 2~r? S2ί1TG u/uZ /k(BPA>z䭓 >%,y(B`4fqo 6.m` #{pI.9֮k5K*BZm]Y#P: @n䰨%WEWc&'ÆJV:@"fN{m)5wwk]m^/Xl >y5Ͽ fFc}*)2IOb9>Fl[ jICAUDZgYZ \ 9G' 4HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! IfS]Άxʆ5.f-9 rq?E*KcTJNatUBI+v=H[-#Bz}Jm01mMC>7UwYPICJfe88- H};^_AU6\RFA#/rēT UGp2O-K6Mk^ߥbK(+&p" .녳~2bTGsP*Չātۑ-!ShWi" HOg2평) y"$d֮wv$ârew&e=Oy?#&7wꈔ"{JG-L}:[ʻ4 ]px-!Gkr)͠Tz W[:fu3ҝA5V Eke35*?YmBb%?aY= 6OE NJl7_Qq"W@ Fk7.'7Q1i;evU;ƍ>/w,EtoEұ&q S7$镙w "ĢrR~b  t>6 @6lԐ>y)qZuu4(?P*FԞqj4yi&Ʌ 0FaTכ"*Uɰqc0$`{dؒF-Ua~?M=TP>ȴX G#Ae3O_)]NP}OePPYwɍ)_Va⦣%0oϒL jʄc%sipe[h'1Kie8 (- R&? -2^l~5 vwi* BvY^ȱkįOW"e+ {PRG-{z-{"kCl %!&kyD8GxTZ֡iiDxPAO7{hڂ{!^j#C؉!'px=0Pƞ-ڀ9֑g(hf\.4]!P;˙K$7G'=1w"c3 kC)`|{Τ`^~{%&]qX՞s8BMLq 1ggLXE[e5%Ag]U.|a8O+#Z|"iJ~+Nh> ( Bw\8޸s5pS^~ ]9))xvK*OHFjUJ/gr]ZƑQgh}Z.uloE}!$.Y/4-ZZCL0Lw`C|x8]˸q73{J:}dăK.El:oV-߷Hw*̚XOcZlK|A3Z{`O8H܍!.H!Ww*:R:HP(AmÝ*vPG.7c-,1x"ol, 1n$q@HnkSU1uIF"ܦǥ /U7 E0\_,y^ -( մMgYZo 9G# \HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! Xe]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H xjsX*J6lzogA.Gƃx7Yׄ~㦃= drKDa{ 7+,nPs|6(Kv߫{t'FEbrĞ>ylS~9BF.[.jD=_"r&FH*&NQp^*_gBWoHrA0'ډۇSؤ;PWܱ"6*O.\! *q#-hoN9"!)+`- KDg^9 YՀ2nt'$Un Z-\_YO0^F;x }5Wg'g78tջ Nwr (ڼNB·6R9t.GSv< yT= h5QȊENBs3eE$s9@ Mm{8K kLPi"P}hSZC'wOiw4V.L:iP&Tv5dSx0 P3%)l~uhQX8{wҗ*{ncM 9nF%%g_5'H1(B9Ѷ"E𑣉7m ;?WLtre0ƮgW_K q`=*YSr09UMQX(8ƾlHlpV2 *r5J\sR#^PuY`Wesȳ"㱆J+HŢQO N؍:Kb:;{ޕ'ZrS|C0aAj q:n  6 E 69K' dHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪚*]D?7 {?:fH\y{]Fi.4(7]0|U$OÓ?i(N>lG]y H]e~$I QQGs6Τ4_`i+ PRclEgszH XyO2#LGEp"WJǀ( ӈZoҤ~>%&iȤ$rq}:!vq5eA'QĬ Cu1#odJ,N-gR]@|GnOqf&Zts+FVa%4h .NcYcvs0֭_hu}C("p@:۾x:! )cH-$o[-i9\$Fo\Iwq?j(M !H* |` Z8rU{)*Cˁ{59+ðwTYta:vJٯxWV-n-SA |-R m\(40ZKl|%GVj:^LЃ)A 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 ~)R#ggvMu(xeze1rxG$[">>I?]8xxELF}]5{an+u}{r8-(u_#^xM| zAbO=D_8Ȉu) ;j/N4+65G\=bw 9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO 9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id520|F=qJMxvKu PM3б p]!aI?s[\$,-?$zUo^(FWfƸr^' 8 CC '4[1E%bʂ5Yÿ)}XAcOlQȾl7,9EI O(V-iGY?qU+:8ŷƪ=r]ąXrXyhUlĸҮax衎@u G3ƙ9/ŋ ^/.#\̰)U[.-[`&ha{1+yOJL>q e 5`R.dˆ_dM7O rAQC?P5iҠGvK- ՛?91IRY=.oDlsJwAmƸ/k_J)L7 kRd/Wq:mt{ +֚ә=\U/0#XCBWUtJ[3xw@h5Zl!L9Iܵn(X0 W :N^:FH1d>)>;,XꞚݤ4 wz,*gJXlT?B㏹"Z#-V@o=ˉ0yItyڪ 8fV" J"UYL}X5dY 'O0WÊksG3b$F0D\O囆;mUT8=P*bK:gkN3W~굾 ! 3[6-Djzv -ή?#>m#3xѾjs<Dw<(%]ҙiLhfQQ  Vze*ਕ*l-z&Zh̹RBٞcɹ7KQ,8Yn!,B8Ť!ީZRm[Itk}wJTFn y$1to bku YF{TSUZNkd7讹5Xz"1K֑:`DFAu'}>L9)5*~؞F<ZMSնC~VK\4uX*㸎y}OA=xTm:镉>-0lǂу$%Oj*>]*[ZRqw[0$!:#gb jp}߶oh[ޢJ۬T$ Aeyl?Owb3f>NYvT#[0(W68cbrG1b^_v\J@S܆TxUslk"%jj(9zʠ*}r&%mӽ*S6+?c*6*5:ISS-N 2(jzƣjuȗw)E.8:N 9S.$%@{64]!~f^`O;env\Sl Ch>5!lHCLQɠ]$G p %`$k\BU+)8҅/K@?/<).!}RaRlFbec3BGfiH2Sj\Zlb| WRBkS܇k=/;EN%>$;\ET BWv﷓6%#aԖaF M޸Μ1 Ξ=#qScSgR9A82} tv3nKCI zk& Xԗ7BL{u5^Pgz?Rn]ƠVh)8N*mF9Y~ڼ9CKy:6 fơ0g-.( z>˻bOLV/'sW~nVTeG&Se鹮FŻƇuv9Uzc0!فIT@³B)8Ȟ?/D}Fw{ybYRB[5s4'O)ZppޙW[~ەo_ \ :K-\^ng"ƗQIS M “꒑d|$[urE:L"Z.N?1@}+nxU1U6qPfR~D2WԜ$xT|+9d2ХQJ fPNS [SX3n!8 BG\,ۇd=dICa Et9I I`d3(zIUq]|ձ$*=\6,>U7r?=c'FL mBa38zW_}DH1k[Ҹ˿-d'Ky4A |$O0{)E1ת?'VMk4b0{1&$~O=5( ~nf߃:ZO !իl onsA Ir'Z^#*d("lX>=KVL "z1ްv-%t;62HMl|%)44r:+uIkT4H^9EsT`\yV8VL1-M{%Lܤ벲g$ 4͌mGžHĺx]pKޔUěL[M k+4t=lgfBv+]K{-1Rl7K3v%CdD l!3K{Fxv)Nx o5%/`̢K׎/lGWDy w.2T&I{ b7.|]rNK_MGԔ^7A3^"[&ؗ_Z{j @Cȣ`KR24!1EϾWE00ReaO0uKHH!Qj,T#ڸ8]H|J5]݄-I۬ @w~Hń6AZ*]dJ0R*7Y+9ːH\Xkɖ$x#Knd XHSd+aLEM^4[s &T*K5xZb`5^h}vϧȸvk  =d+cLMf8[:(Pn+T43?/B!Y-xHU"",\`VV}V#5\2w#tR]u0Ūh >amSxO|O9:DLe5T9 O^Öv0dtX+Ѳ- Jx Zwc (q];*F4-3xXJx:{*잰E`ֵ[$Űw8̔,z'!1r_Rc) _/4P*|B7Vfsݒ"V9vO4#/ֿ>D_T=^4" n|U=`cDTxQÎ3@aqgȁX%i4x=}Ka3q;M$`2SuqecxEǃ &ldOlmz^P-'}?ʭARʞqO%$,Y܏t}Ю-,iku\r*VEz 2,^uvu:[F*7 `1F"hϪ{N>._,b}yO nrKNy9hSh{2)yNJTiBey>Qѡ~ յTAe9̲x1f?,vt sNۯ+}~̻B5u8wr}o jc,1#ab]_.f"JQf ':&^s D7xuNSIYD^غYgA K߽X J ~| .ϛkHEg3PQ]Qġe2E=@\sԠم=#)h/ DaN|d0$ ]tSbTQ$Tܷc_.j&YhyBtT`* g/̚Rw0oDvB&!AMHsR㤔0pJyb>uVK;wcSa/j7}YW^5&u gMV|2! \>)x;Udz3o  0vƯ}[$:p! ƱS(# Q TL6f#d9/,"Z( œ' hnyE  J# xAv2ѢѨG|}N;'iW†h1MT*²Ƶl$XJU\ꣃIkꃩYNC?7E7h ߱+SK"Qsfι-!A_/C&­I Iq_J3dAÖ>'D粗C88x]5򞀖B9o 1xK<{wёc(S-Xdq Y~1ޯbb-5SvV15B ÁhTľCyţtsմG7R:6JcM?c$wq8FZp2N PVm5 bN[Pv1W.L04DP#nc(S_ERa :Դj{Ҿ_3zqq=Qܳg"n0\i$FGQ/ ]D92(T\ V`EݡEoH}PwUt-|@&qE6wdNҥX;/=jxQhlgK.TAy_H^ˍ+kGttgd@z6d8DMrgр0[HEWe_ʯD7JBDNO%HYX~}zL,vHF~Ty|dMҚNZ籵$Pq-ڃ.~Z_ 9|Ё oaD6OY{ޣYwBIA( %€G #NOkFطR90ӞP-n0#*m"Êg>uFӦ+ĝ'eBWl>=-7:PqF mΉsnjh_ʀNғ&۠4u(FrON?O7$ k -JܔE~W UWxȂ S@J؄( bF 2`gygzHdݲiux_ɘz" ?B$T[ ~&⮿gVdw oV_rT;MeOlQ) 긾Ʃ dD 1 (0=ih{l>USsgs]fב^[`lq:Z]M)ֶwGw2rVhʩpnd$J2}iyw^_|T k 0J˄׽OLo:33MII UVE!׿)SBwXO➶1){v-\K3a4>\18&ʂ8I Hf hCO,Hi׋iOyLJsBU%V<B9GFM 9_$YqckeN8ml( u@=OT E& s[ E;d͖UET{MNAYvhJ?0LIpxY^2<|%\R}UĚy(15.Cґ<{ߥ! aa)Jms3lʱط٧o1YoZ3^}4qtP÷2`l%Q u|z_/ӑ)Uu3,fpGHRAR7.9S{pÙ"2+6`w4qtUGHҩn_/Bѧ.:='+$+bJ$!eOقdu}oA(Lsd h EΟ@PE+k@u?vdUh$w7<7 6ԨFb.<G_ '򰃉[CSc BŃi*ܭO )^=Q/9c×ݯJS*C 4hrʒ,Yy=0Pӝ@T%t}8 D0R^lPZO] X̀~myˎJ(} lE3+d},; ZUmnpwv ygyE+ce90[5@2AqeRοa7'g8N]k&HQ\bw){7 (<:=# :H`&.v/-/)xtNWsNKm&{d}uǙykM的cӌ;GhB>S-N6BT# 8M/_CYt)'~Fj~i`&8D(- zVWl9[PGED = kS ,VhO>54D_[TZP7?/iyJ> SF[KML?{&X`[oS׽ujnt%rȳ1 ^U2ԵCklBI WZC3u,@lX[  :Jhg:Hg $3n񜏦)Ci0@6pw`Je )QMGj"jP'9^g*JGv_RRL@! 0vT׃oюko* PO* *\1e'kfz:gs5-*Lq:Vm 6kQ>k8"'2f\&`7uQ̑ΚeAgy7{]%/WtBԋ\nV4P7[Z.tACt0?vluJ&'#l^t3mkmV5T=>c,+ d"f 0Ego,tLqFEoS*z=)HTL`8{ke^bR?`7|=슐h VtKa)+3E}-B> JQqpKgB{)օ1:*R47}sסs}`xp@ۭ$'?i l5IEp*SazXZاBM6@G &e7bi+R`)8b2ƌK)2^jɈOrm@i?V%*^=gۄIE#m@_MDʍ`9Eݮ<55-yO5?+$ {]e:༝{I_#3+ asʰCqz~p!,@h]ŭ31eUTl6Sˆpb0Z;@"Jȿu97XZ{Z "jySՐF_U }g_fၕ/ED3 l]UFb~ϑW6:H$'X0K2ą jEFTd27m)EV](sufڼQ Jxw9~6h*t}&|s5VO/r=>jӵV>36_ :/ ;R@5C˓+];L#Zc毶n6(v>vS7OK[vۖgjݛȣuLcB%/M)ndjp{>6ʂ8F.1x-ԖV~Y).ZQ-b.y{ Vڅ"' RlkqKmڕa+X1%+~uI0G3G#k˙u4jN1z#u` 4v5h/x# \SzH;aRb5Sa ws9n )B 9wlJC'[C^TH ]+$l8l]\E)#8ؾ Hx0WQa*NduUT=ڬ:"K;d'Y:_NfmV׾B ) tiwGJ&SfGe*EERt삡ݕŢQe>ʫm7c[.$c~71i݊ݮgFJgT Eb0WަQL ;v9 B6I옱KJ[t!qVżPTMDҞjG[{:Xqͧ1o9$,C]_RS >6z39w|;+|(g N7E|*Ɗȃmb֕'GcԳ~V`3ہxnW(Tݙ*N05ϵH[~nnLs7ktf_L~KJ"@ Od9,ڞabŵTo1,\C]abKSWlPdvSM_7_b[IbZj'clAvy0<]Mf_3~D6K+6S7z$Kc(&<+6p.5e#&+l"V5%s $%@Ͷs<.䏀LynՒRvCå\sеM :pf(ˌChqF˫Dlv1$&HǼ[Rwr,K{YMcOB+u49#~#E S'V>^ w*hPb/U[ϘyH}N9!BM䫈@w/ 6 ^V@dꠘza[qSO,3';|wvINĿ3ypR &Ï%bG]^zP->Ѕ9铟Vս(CI>"7SPMya2vmC ebswY5lTT 6|FW66u2'؛ŃWN=Kb?h~Fמo9hg'][?RM&YEF, c cātql1g}P+qU$jkB>~x*n-L4B3ה7^}5Ia 9@pY xj5Ыv(~T*XM;[ #m˱c)grhj=H1M$ )90r@ g17b$RI-9M$+MmUz{M5LCMDq58we܁$m@]5S+5|i(lv@.wt)O XxwRsH8*1[pTTiwn^ U7Wn#89 QSrCך"TT0VR'ov mˈ.Y0{Q4U5՚dJ?WOa)K!X_lV%ao+zΈ&Y1>[YULw *hFVp|&Q% %2myz8_ vQjIڈޓ]Bzc` D!LxG}E??؎ͣ멛T\;̙̖[刻hڞk8wu!xt3r+DGO-.K0e,ϫ֎m:~euJGV۝mrjsNd3[?pL̩l2XrA,ג Ir uc_]u͍M%#зrGaXe%D8Wax5<"0A埅_IP)s6W:9Ck]h o"Y, E2Ė:&p80, AkYXD  jvnrV54@P*<LA{VG~ , 'D7;6s,G4#b'nB02Z $L5[!7Me6λ%?&itd)C7J3kI;MASKJmËs6guF~X9qԂ׷U|^i yf(wJW\Gyt G؎mED#`B =Ȫ;?ENAO%3MKmivD 3S$)K=:c>45.>)]NfӶ>q(ߛa,*7u2ӲLH(rt۠,XНKeT%ttpqM "8#?JlHpSɳ);BOu~)Aߖ! jXuZ2TRK=@Cۙɻh#7Z/QcV.cr48BBcbHDT@?e\-64*?oxR1MvmG8| bSaHR]!M.+k /,k;POjGiޓEn9%|Œ6>!C_D .LWwK 4M2 dģ) ! _hġ ~'ЦSSKw>^X۳kQuhPxK诨>*b؆AӋ铧Kjj㦌Ԟa+[jb= D3i/1eީel u城$9C;6O '%.~T]7)tGWe"鎼Qd+l17;,p9I hzqT =H?Ҡ4cfft'lj67DUt0zȡ:9'~ʘy\j .WQge:TAx't 蒓Np5pJ;nV6Ypo=l\}ćy ]OPʰ] $ Lg;n4%Z:6y6vؗ ֓J)2Q ){( YBOsłDٽcgʩdwFM.yE߬O Cz ]v#{WSɚw.D5B˼m6~iM+{ySky„^W++?!4hdSw-u}N+jO-H!!G,j&,{?UFخX=@X!Ƿ1X101WntO;PAEOHkjexbSSLs'&qsp·Ycdbf߾\cgWr)U\vf/^{=+b0Jbd8;c"ǯΞc;hᄰ2,ҧN5pHf>0!5p<91_h߱) ~]cC%!DHqwۄCYѓp%_捇ZnXA} {BeFCqn$1c<7T [68/vjcG5|[66S(<1"WI:j]X[*, ߷Ob0O.ӏMNgwa]Œͧ XHV RߝC_4*xlXw$р 愉[ݷnG"8Oۢ{kl&Z6 ʂSU֋7uc6~ QJIsC8=9#҃r4tJ6+C)tABv6f5pX쇋_ ,&?66R1 +};+DMFVrjX=-Iq6X ݐz"5ׇg _5ѣPf;ړ.: kBOQ'E%yU ]A?DLuk۔ 䞃ղ~901^=qܚs* Ϝß䛫a8H)ڻy0ۀshrvPaKH/S0K"ENaaXw^;:z-bz[/t;i3\S>@#Q[4hJG~S?'OGDv?`!8yS3 +[&JG:xy xY2, 쫂zC<^\\/Y1_e [8\ب{$BAd aXtoAM/JWFjzo3|@F;)el #!Y,=Cͫ۩X8C)WwL|z>7먻f$0}%=x  UC3<_2f]gzdn!9,r\8e>pT=ע$qh&^ Fz&rE,ZMWBN׍ Fٻ'vɅwx (QM4Ngz%![ttJЮ6xr34gX ٸXN~{= ⎽.t=S;=6[5҃O9 ߩ@ȭ󼴥Mեf_:b렓p5;4TL%k-NRϪb:\UαeVR)oUaWod?tG4u` e KbF5q-5}t.nK!H0dea۽p1IsuzԯzU7ND:@!߉ ɦYt &-& [viN* %ՠj^IuB;aHh2j:_J1b4 !VK(TjWq43,"SvߎsÖe$jON8ƭ;t^*4Ed$҈RZvEx 4I 1fE%^S K Ft@dP3u,9HBz@T2c u|ǠܓiBمi= J21!RK4c3ƥCe ^7l|HM.ArQ;4,CE  *ȸ<}y5ᏵFA 嘠wl7;uٰG% aou*P.O) ӺV~ڏ{goOG̍4|Y֫=1ii D4.¿6nM~gh<+ u 8):Q/U?ì5|7!ȴt=q9L1=pO@,`Mشѹ誽;%[LDCOmɖ,3a1hTja d/HSgX46\ZF/U!.05`Sǽ2'ٱ[sq&xd{{_Z65!"J1^:T$PVLM fpl8%m򧡙VQ.hTCb;^Wƈ,y j ]Y]q~qOÅ^V5&J8Ԫ {ء."JυM WCH+ц֎/GW- ?W{)F!cI:#w}rr]H%/LV0䇨jBMٹ]gq=7p]/x~8'ecsH"m>f؁arpo ܇XVDvɖZ <_DD7W<0ծסFHN^7NAU[/L%?~>%_ouX@1ccj)Tdh_U~a]qj,NZ( .ŪDn;>-e82+"aAtjIxǮ4 vbv̯^IĈ!ὭJԌu0&(Rڲ&5ECuUb!ȆʒFu(ccvg32FvoTRuB%}W0@[9W&{+@a@GGbr6sah7'Ux{g[UHbU8v: rΓz?۟DaTMv\rE1pmj_dMP&=vtFľ + ԂPfY^WBo%R/W􅟻Ɔye}A?4L;Zk$dMwAТc*$J&sB;P \*0&Yd̚F{9>V hG5pr8 =y@jf@2Vm3n2"=FXrs =П+½|Ǐ dxħk0GxH'u%7[NQmрDzg@W:Ԑ)Bӄ'՞wK`T%IJ_νG)4PzZ'V>o1ZD ; 8R͇h;\SqV%,b;X\V}cd^"_窡Cp6AtW_3Xug֭.cdXG輗j2,VgH~H@2XV;tǾ(镏s,| Mmtq#CLvrd&SWMΟ\ɠN F{Ō! _Ҍjen*sAP+ 8!f5o@ӧl FV#XӻE*0m8!kp)cxPmwˊ*Nt֜ueϦ$aUֆߟh.8T]M9c$lFЈ5d-D}},hYF3{ ]4\jp1g7v bf*lD10XSK L>CCO{ vkٝ4RlK 72`b X\=skiElm-1R0+F{[ e$u9>$ϫRXE0*Tw .HvOoiɨn e_>u_ ,h7MdyH, 60^aҝ{ #DEy>= XIcSiboBVg!51}hO՜9mAy9is%2Hdy ю:"C %˅x7qWeypj^^Wq4;S>+PqDK|NfPE?*Y` 鱕k7'F-fK7!zy`bE|")fz419S~yp)#`c qr>Ja}3!j9.[C [akGӆ#@YO&T 2Po4l^.,,WrDwDݵmjost SM־9}M~%RDROH,dwm$oOaETL=0;.SWOtRqO5]=v2,bxEsEl0n%+0H.P4J90EUKwIfЀ2dtN? (y:)mdt N< r1"fZX;`5ܮTM=_ >m%!A4Ӏv 6>G5a\NHTn'lxKt'Ls^r",Kd'/Qlmbg~32-~iwEYGBm$)~倚9Ivbw 7gsˌ47`Wr]h264ȤyD epBR ny { B{d~ FqVЫ ʸ 7r{iF?UDf@od1wEYr^ 7gF3pPUZЏ<)˝Bʴ9cPQυy-Dז6y٤r}X/DZL0R]ҋ.݆BoGSlѮ±+_ %J(j 56&q4BߙAF=oo(Qyg8^/Z臺'X B(*_ځû={QtyMG %$@G8-}}8Wlz '*~9 Mֈ&#sѯ\yu$,zojzt!WcI 4*JηeQc!V?m2x [7+R1`W?/ URN|JixMiXj Е+)ՏHz*, $tC)uA)u#p <:-zv@Vߞ$7O\SMo>R[iV+{3 7N4=!dLIh\3Dr\*p)LiW}"ˆhz=4Oġ۳|BB%Zg 7Yz |kUSWveK:Il(U3Ib_O4сuY1_7{ k;[SU= a#&fWL Qo'BTbT0#K B㣁P̰PVݜ4.|c[xqVBfaɻ;[5!x!$l2I-_YEH %C jQ6@A1u13&').ѶFbtZU0OÐ{{uSttg`Fn=-6njgl|)Z)S`>4 ȑN(xF>pkQF~o>a|ޘ,}[9VXyX/Ng"oB|ʢۇ9J),.EZ ]9qR9wabOˉAE;fX(i;2m%)2PH(4:ƛ p\-Lql.p!8s㬐kg!RCO'`w3eML?8ͺv=Rl?Zm/ M}҆# \pBqNޓ64/JrKK.vPDu񎾾 H{ T?0g x**  /cy%]1XqZ7/\4oGuС?Z$B?ގTB+iV=8=! xa֌YhCErj]xT~Nǖ/ I_+h"{#d6#$.@2CO IVT$`@H'`Hя5qg/ݣ &Okx (e^Ic.GM+k!s:=(]B9_w$zR@<n糂ludpV<(?@A``wE jz7`?k EjM -#25@LR}eJ}fypZ{_La<QWyA+rf &cRQ( A5HH\cz7ӣ9b2YOr]˳3r?M)%g4/x4H/W_ucof Eڮ(`2]GA0eNFK-4EPӰQ]=ۋq5u̐xϹN>,k]g黝Ddد#j$O|& ,`d4˹Xfi*Sd /芽k=5 l2uFo.*m`$ 3wtҔNJM!GG;ΩhV8$tJiO}Cҍ 7% mmȲɤu܆΁˙WtNq]ZW~c`N2UY6p;){Nvy'?9ɟy䲩XC«"H8K.5h_ h ilNS ! eK~Mefx_ mJ uːoJh& Wy5:.5닔*s1qSQ^#q S{έxr;Fŷ(⠥|tPwsSQ96 :Ѳ4ڜvdqʆ2w@_!7P؋:07W*RxW/*L(*uJ=^0RT,PI4!wlt`Qx)ZR׈ >&4FbDMPPbQQ}cLAL3O2= Iwݰ%i{燈r[~G.Z2~u^1;MϟӽeLc槶#̔*Q^ Me_![QMlZ[o-nc =A } aD`+nǼf?'f#_ŒaH!ѵ[cX"52ͪX|0'?#/M0y 80B| ę)DzcNaKeŧY 7A*\W;vk%e[1dY/Ci9YH+ UFÁ^jxxgY7Ⱦ$bK3U5B,I11qzx'. z8"{LK>5r}n%x/Q-Cֻ0'kSs yuw#H5XZk?jieSB v% yK~vƈBNgd*Iy@j>S(.j~bRC`+ I؀U1̋ƣ"0a 5IJoH ҡ#reFNȟ.=f.T!ccvt[49xvru8R}4QLF(&9ŸsYI#~5P~4p-"+3C_(h1P L K r׾3Ųl!]ܨzeۨd%Y= ۭ3Z߰ %}>o-%ڐ_"a B]mot$ܞYhcaG0Q;U"Rܯx׏,fRmpPWt339H?CE:7~mZ\yPһN0,iRΒ]'()Z>"BhUگCuNt`J+%US 0sU@Ov&&o "x}dѣI뮬!??Eu.co>ӯ y *UrcU/IoJXgϛ0|8"C`(//[=>s֎UnGp)yx1{$gH-kzxz!;dկ 4Ί@qw~i/u~miưCuof('nNu )*DG0gGɰ(PEkBeE5O#%DJd1s[ wF541Xl,J&m_-A+J^#} vd'a'fN^6%i03<䶋0G#e~1fv#u*cv6!CtgZYM+zNm[,߰*%m=iف LԲf>QCƗj,ȊlT9}Wr/`@5/ 5ǫS6#3JN/r+f WIч<[-Z%Aƿu Yn#sʢ /ЕqFcBspaNzj)kDZ%BR7Nd!ihђrWgUfhݴᯎtEDdB470l7XrP0{"te ZBeU͝B7?Y;tHSb YAƈb>Y;)9=%.0$g*b5;%@$b5 dA5XYaAS5 oAhF K4pئp > /ӒYsKn(*Xi -o2Īh3SWH!\ɍ҈u b(j]HaȌ!*crAdF|,}Gy5\pq8X[ HP->"hɫh䍝t]MBTX!v',j,ųY7f.:8wX)PaVoφ4f?=i~``cM#D,m@oI->,i;.% 'uD ȭw= V,*TWX Xx=9Fzp7p- G#e ҰH? öoR=l N&ز!~5;Z ^3͔jG55v {lyH;Ǻ :KC%Kz_)4S8n;h'MreAn B!U/D00mChRx"ȱownsg*'Brbjgېx]1hu#2)Os!F%W &p A ~\hGk $", |8v&素5)S_xZ q܇aKŔWI+,JPI6a=nTcg+δ:C4yw:C?m` rctE)bb_0Rm)p@!Q&Fz6S,booyk k_HE\﹠Aو(Ed.AOp|&Nm6ixO*+~s5@E}luʭ->ٗ70Iw@57TKI?7Bꂔ:T 5`i61АnڴcNibʰ&  ~kXA+PRa$mI_[2,X^ntIzy6Dt?= 7Ϛ!,gJWu k8pY& %B{ d Vew@s5&o7 eRjwZX⧙eM_xEzrJG|ZUA%$)+L,Z(ۣ }z UfƎiLFT^ě>R=1YHL+9 < OaXހ"R㓉W_D:Ԥ]ncɝh;H|]KKng@cE*x݀_ #QD(p({mEPVnOHXha=ƨǾ{Rs[$"鈣q|C|C`2vP&MEa!& L2LYFRT6A}my׋m%t|ЅiA,[qʡ?@W/xxbTt;v=3> z=Dv&>=>դޥ,'9rsۼxt>@xwsϴ$]_=Ͷ@:>n ܔtKŠUeè.(I67 T-ˮ#("aV%[7;* tgd 82X#AMk;zJuWs xJɾ NOsfNԳI{%{q2/).WfR\ܴ\~Ef%KHːgYZڟy/jױM>{İyJZH@ Uj moDɌotLOE<0 Q}bS54qn>_]K1p" eԫ43)>!1;tބ<$GEEզץɄ 9oРUhC̓zc&)u4x@K\Jq(H2#>N4^ƥ"؁uxݚ LEWˆ+Ip.4AlcI] gzS]HhV6C$,(WjHe@'sOϢƈ#9?r `rj2ȉm_ Kw$E/nM~ҽ)+<`or8G^P.\ bugJ 9y eI1p }M\wJGfz!.`kG]Ot,uU* !cipKh>LDAuc@&|Vb߽O`ey_<A2>)z ^|O4P)60# YVҡ[lqAx</c"!.B">;mβ%m>űiMRJVenl[f] yi-^zݽR'?vQCη  p{x7=t'-eWslzeOlZK`1B* Ҽ }~DHZ^Z֫۶"#rU56 #n[u%p”h:Y* N6sM\fY 1rr4zl_q˔.AoA9:V"- sWw (k:< CS\ {Lw]SU3FY A=1эO͌f]tO ޅ,ht λo*dmmN1Y:TO~D o5j[/@}kɤ.~ͦӐy/gإ92 I1_5!Ur0/TVO GqS5'o)ə=(pbxVeerKeKJکy?T+~yژvs_~Κauڌ/+=ܗE m=7Ho$qAd,KH*ȈHgE(%Enj(3'8BGIZq$J܆ []atFڊ,#@t'&; sm)r0(1=:Ŀw]bstE8>nhܻ-TjrOUɓL0n7ȇX]}ʡS@)jW9*-Yݭb72V7QSwNzϟ+KhK& >`)Dl))u.*400lqjG7&ǩF[? t ۯw;Z*q\aWn&"08o$b rQ4w7ĎLlL!'x*lPcW>,`0J6 ǧ%s5Zmֲ"Xn.aǬzYR8Fp(wtr㗛ay7 2 IUo5/!4ñ.Vg-[ dME$˗(V>iwE ;Bxz4E\p +> !6\=ݠ_swBUoRjo6@>{71վ2>@q+3{*`p͏3k$Wz.Wsh"^0!iQ!] 4 'q9ݨs ܣk2onc[ Mսy VrYM&C,8Ȣn}w.`c8 nv _-rM| wAԭ$3%1qHU8$i0oj1B&q,vqSV>4$LVk::aF<Rzr' fhTBGʡeԀbPrQ`[u(m0'=jfN\Md^ Gp}&>}c7m1/B YIk`&܌9{R,a-6eJc"ArVt3cj$ ܆5p@YU~ĠkkCUIy5 xM/aɼJhbx; #AGJIUM]vJD^xm@Ri3Z&y S1l(7oO\yзFP@R{;gKiմ&\ɮ܁8vS" zFl3 'wem,-yBKR-.ؠWF5KбcoQ) #P!m@k*3t7mb5PÞ` cxˈoZ[2_|*=6· F<أX*Q-c*E @;=lOUӖ5׆ '.\@|QV ?ơשgZzȓ+IGىv-кFVf[„@Rq%u:2:0 A9ѸzlHRU`3g6Qa$$(1ݐnuEY/ʳoa[xf%ESGGp89J Zњ@Cl4vm3Χg&t X KC1J8[Vw21we}A˾BPYoj1WJcL.m]gu+syb dl*7@p#10%T:ߣXw #94駟T nccmz8SU7'u˟:m*ܖyʭXc[\Ox Bj2>#iB"_ZmHt)&mK~mzM^t`vn>t[ J5E*g^򙷨NSЙV͈ϖR5e^Cv-fncXIrWJWźH$LhǪK?3tɟP]} Yea&JĩHw]L%A _8͒* FL`#j)c*5!jE/Vg}BtR_Lb|5xbʹT$8 y$y+nTM0P  ,V0+CvJާi.JR.FB d1^8EyuAKrҸ9Vϥ7e) & u^YpۈұZm:[jv ς`l )xσbk oSc-CF:9hw\D' 7ዸ7\Fg}Pv,OeLQ^WD]PT!-s(=ԧ^EbON8iZhI"6Ԕ: 0j)A}{g^1U!5ܠ,t(FDw鶛bn+q2ĒPYGI-~$ރa7R vx1r1zEw@Tu-޸jA\s-W:?$&'O-(y[ A>zSYаN0&v-_-V4 5zBjyPZ҄V-$ST|j+tjac9.U dn}DSJfpE#>ale*._N z_dl'߼а=Ch>Dv*n,̃ h#%n|ã-(ݩ:R]襼Е 5`ص7 4эK[nL<=? aYJ Sg>nxͽ9?;mzIX D7^"=~3=wًeR4뀇R< f_K`@> _AN  ɀ"oѥǔOw0Xb%/Vp,]qs  !{Oü4gMEPRyM'2b0Ud0r7;QXJA64S@eC#9dGa_E': x(ƵWLَ- MАb, |"ݼ2io8e*\ι/!i.6k&&WPXTy1ܻ*ڔ3BaRer7_!Z+1\=TɧqLH8S*Yp~`ܩن5_p81+V+*{f''Fܶ 8YUҁIjV^ 2;e`p3u`sMK,h"qL/ll#Y"ѰcTdXaŒvEu*gT r/̸[;SsOd>g5w10u<4(-(݊GM^&쳢޺Heg+j6Wm|UF6-3Bgu~'-(  }$FCBetWwLDNIP{mM{̥nrlY4;CoP7-HV^> ;\^ #wT!il-!ѶϦt[!4O9n q|Gamk Z%D'{O]_Vď&Hۂ %A|5!dT]쀞CL֔o%(dlW>j33 Nsay)EN] ZfX~KPBZrB<2>,jhsRÄ_sȭ͉aAeܟ;{Pr]a`&ؚL2R}S ED#&d+~1`L'mv$^9ptov@Kn8%xQdR%u/8{˄vPn3Q;}\3Y97)c^Z؛ʹgڈS ~ 82@{]Q9̀gá:DP&n=b=&sa\3 D/1vX&`$dÜ-QҫllQ9ەsNxʦXuh3L/$w*z~,uj~[8$[yTTu@xW˳GN YPHԖ̪ǭ}cM~i! Rd9/yEW#Wc/dj[Øض)!eaVX.& yl֒GGIs֩~&plͲ=i7q]az&oN3 Gg}8 HP6,6W]dM`&$xq@8Tb MXn+-d"9)isEJ6~:AGu!š"–DS˲L˽HJ{Hrq- -SMu"&Aa]A՝W>\îh;q\mBRkDe ~=w/943G`C#q74ZSL޾1}B_rzPv!{:XTJ3΀YmOYΠX*X\비͝4 u6z2TR ?ő݊-~αS>`(^MfʠBh.0nY`RoVOnܻS(@֯ѤUj蝹ѯ¿gf1>A/?(^>sCbM'RzI CB5{Op( \7[bC:ɉFX5csjSLgMhCf,:ptTGQ+$X1qzA6_E9´ Ɖg m l]x|<(Z\ju:6DDyq3,+dv숕y,\a)zHhndV*lJ^ =,ġ 5[M4ˆ)*![v$S1F(𦘝Ķv}ub}'%rKVa$n_[ O}vwvx7FE8R .ϓ(,eXcmA|dbyo1M&z6p—Rjjr޾J@7p6tg\~hɛ<^iM|O9&T>) [ͷO⯏?Ĝ^͗t Ɖ6ao`ٺo8j*J9=7T %') jAm}䎵|r[sJU ՘j*1I)5j墂s;f~-5 8lɗոRzWpoᆳ!#ܒi.'򝷮C@GPp׷+#Ff)[i L\k+pkR_`7 ā^Z#PFX,K ] 4UBPZf 쭜zbsweOh0 CJc ʋ7P3hdMnӐfߊ wevj_Eɩ`B7 Z?=?t&@5L!;]dH+Muhzp-ԔRRQO/ޔ]Q qG_D(ܤ799db;YFS3MQ$U|8 ͥ˖}\hR`&Q| Ҧ+[*ؒCX\3cKrQ R-$7zN_~t6dLOQkE Nj2bI0_+&wDl~pޛڲIGT [;%'`A K iw },+;;89~9k3g)5.V;j ',{rky(ٮQDHmMSe8ki(h$K̻:C2NMo3"55 NCH\t6X"[6mSPzEWMdZ7u@VBKxuզq 3HS@n =5RT_t3YS@ȱj9tfg&*Kk"^[;CT(?[੭DVIyNd׊Dlj)&FAڤafK#Ā=.F^ZlRhk{H8 VBQ8YN mıb5ţ/^k)w;"Wۖ6q=B R^҉צ;*C&whJYB>BdQU'~ЊeȦ D| ʦ8;a%CXo3 yE{jTSQS _D}adYCP171G*NGTD,Adpo+@ ,3eFd[~MJx <&';Hő-)q_s33n%RFs` Pc_Visv럱U9mJ_ޏ6tǑx鯘#4va(cK-',5lcu7.גUՖ7">&D}s\fx}OziPYRy v@t?lNN;Ήg rzc16)D%قdN3,"kLВTaQ.>:5l`MYL{8LMު.}IH}kL iRNM֯Q[^kOClafmIz,$ʺz#ZTn9NUrs@S_XdXVTVRҰ}f12kΖn5Qht&)5 q?G|e"bRBA{vRhl4Q_2EWj~:Br)N^.r:2e肃s'Xtj[KƂo S3khԵX$޴xX TxG\6>i$*XɌN%[aZJm~g)M5‡Dh"6ELcjۄJ>f̆{ b/cT/ pHL7> %Ҟ6wӭz_$$I9Q/TykuO>FFKw0t`icھx@Z赂 Iȧq¾h13#}ܹkĭgpASۨ4,飓U@I⏮5/ӫ<`ȽCgP0R' u:cmR-/v_)R؉_.@+1'^Jse=)?9`uHiMQ:8evSdw,]]CeЭQ"Ky(' 'KB%WW)pd{e4en"VY<;sRH}%7bKGvAn{y6LMa@?axT_2n8ٴ!%Tdf[NYP0V d$M3uк?#jOb`va/u&Ic'pؙlَ[zgK`k!uWJsvuuJ?'`y!"Xyc(wܣ4r Z\j #r+gU͔g*YgR3_!/$;e>q+ vz5ƠݻCKY4qLN8K]]*a8ZTz[Bw(lN|`aFv]ŁG&4*:H}*}Z-Òj\I6]16Rm(7Zc 7;AzV&/{ʂ>xIie3y5Ȃ+9d^M< \$wLIiPGzŒ0 mp2As,z`c_9q1PB@sB_o<{ 3)O0U9`z ϒd"'EʓV`jeĀ0דl1WO>Q5oVkvYa)z4(-ɯuIYi. {LW0F5йa`]%l2e{$&-QNEI27.~VLL= .**tIQ&ieBGO}u<6d>ފӕ0m?OM[+/dVy{oIjXC׭h{QXd}T.0^!5x()ޡL5(D0县+Zt @o@!\{^QJev+h]v-O<=ϱJNdo:?Ė _Ex*'XAwH3윋nJCtBw 6B AK+iw*¤ ?" UU~8h%GX,XGdT uI;dֵWPn?Z=SQ篤QL\>|GݒڷKjm^.2xfi49(5Nm< h\gS(SO@s: $&NBRw̦SEۃkL ߶(`=&= ;:{>tzE(Pfrx(D+#1+EdOeέ 䒯\?Q{]h"" *&otT/zrecW=Ai@NTʸS ڥ F\&-i3s Vs#0e W ۾&d 벻 ?MqXHnz/ӧ}!a "M-bωA r*@dž|/A\,kYZkWldÒ6e#e; QȌ,@7ȪߡM aXɼW(SUީ1T=ǤK[{ڐ!8 EU%s}ei?5{Cm^;)SC[wsjDtGY1 &Oۣh:@/\X>5hPȐ4F%1>F}ioWˣ$&4@e<) W'TEp~>PӠmyuQ5cl0n'%Oߖc `c7(X5bu!X(Ar}>b^t0kbRrAw'j,alOԦe AzAϰ=T +>ܢSd\)M'E*-Z"*t;;8s˂o԰Kb߼2gk;\>`}keo{:gGgd`pݿ-E3Y͕Suw:ow ]FᵺJ>/djtUjRZDŽwL.:7yt =!bcB?{SܑbpD ī(Jc M]>f˳럞wxԠ4 *jfwyk z)! \O9RP셷#PSv"Ԥ*jk6n9ר/G"=x"2pEб'!xPYUEn85QH`J 2T#9ˇ ۰):Z/HEfF |z-{+G^Т8A,OW>fb1=.hGD=Qk3<ݻrOفPqaX=m0nniV~;? KՅfG$F N:ļpƭ -?GzqsXCm`cM@QQ Z515$Ա>+0 Os2!;\=Z%{r{Yl:W_uvH`]sB@o`Cx۞9''1K-hTqqfv~h].-t/ oŐ +(5,笎Mxa=$.ñ-gb N0s @g?;+f (WptL;mz/mI9SA7-x[uJ5?le.T{]Te$7ř,&GQN9rr U ri}g&2siq'٨_ v7,@D^7 %Pm bmj8R|k|:CetɥD-UlmA(rsWR:]?1CT}óJq5iK%9Z'(V+>2e:xgp 8L'TcrήS {I0rNwguš]AMYn})hKScƕ-Y_|$ vRx/RZ= XgNS9vCB7?P `,RPVx' *tB~ aaG`u<@,!#eHX[?${˜SkS%|K9ܨq =@eܗҢ@CBe 1;NI}js4u`$Thº 3̋N|^AXe}qj`Ca3 $2Ǎ](4E'aڙ2JM/6z1Qi~h(tqQ$FoZٯ9, M~#+2>^C!(Ik$B(zr^iQ2(f5br'λYI'#'N>9<+A( n)p䋤U@dH.9lg; +M1 4=NMYUlj<,Ji ~enr)bpIXC=3h* ;w%QU5ctCؑqw$)PW h 3 }sqof ,QPW!-H6C rx<;XE'g^C#s m~Rë^kuN U'EdzеKyOőv I˞A88 '@N*Tu 6MM_aK<#д|ȁLcqw}>?6@8l31yW`x3hӞ|;dzE tZasWQ?&ɇ ?nb1Ko84 Qhl[d:`@0kjYW5Uo 4QHg :cիpn} NĦ/8k6~豲P&IK@㥂s+Ǭ¬mu>c#nI݇ fW6TR&C o'>.ݸiAȇ:-͒xD5"+^(ǹa1OMH_gF w?GvdMɠ<&*K#a1kk{"4M&g?vCarfnvy*1>8!v)=6ɼKek>GVLq+$9n~!%B\uy_D;&R.3yX!c"Cayxn4ooWfpcB~lxK`2\9!,>`U^Ud)ghNIUu@”w/} iWY=\tb`Ux8(ϒC ѧ;9sx:lع1 i@{d~M;އ2QKccB|O"DCx_:\ZY VsK^S* w\i Me>aU=xxTl"VMvsO~0o+Q5 @6ը I 9jꁎ%okAp-ډ c٢Y1oq|ŪC,rY]M5s+-Yy{ O4$ zCGU310UQ*eR_Uu1d$r$ ܾykng)1 ɸѵQOe g*&$=9.ҼfvA,;X֣WM\?[/R{= Tb-8lyDa`uR%^a$-#8Qw1Ͳ+BSpP5 BYdnZ^ %PIݻ$I?s:V'Jao~`B98\Kum8,M<@`j*H=vj:,5PIBY1l-qRI0Z_wNklrZxl,FI,qZhTؚ>Sӡ&JF%d$N5%Uf Gw4/Pkѵ<?{"u*Z/uDɾiy6~'0jq驓nhy j_.Sַ)9rk׵[^De8yCo zcI,2+ =59'8"XF@8dgP=8ñV#z6}ha,wٽy+*Ik) 2%9Uݔp^ɹw똦n/=z]q=|6/b>7J7t 8&Nsjbp+nr$moRͣFd=kU,j%YK G;c*2{#2QJG4S3=D = i v\FSGpnvNSl;Pe&nfd7ٻ@'7Ji l#tDG&2CC/~xl+/ ¶ ʠQ-eօ)_U5œt.$Aou~?`<`:YP)] S8? 瘐n9x>{Vl䛯iDZ1HoEiK neD[&w?@-8 ZG+27KYLSAz~)fꣽRlVf ߣxdTxR$r3/FXJ& ^ 񆴍=WvSՃ-p. [Qom/ u*\^rCA}kkƙk8 0⏗/K17&*|?^ ?[wYrE1.:޹^j({JK!%+ȸFjܐc!k[F"$Z+44[[%m5jv(v!-Zl~g #<2\0MVdk!۝aBJfI*d9|ߌ%\-t$Ʀ#q̑(^og i#*c׺LDe:Y~ϟB(.𧡮SKQgh4+` Cu)Il'W@!n}M2 9 }5֜_+ADz-݊6l<(B2HU?_!%JC+rI*tM['jt z"]^3O#a i wb 9<b1ؒʜf7}9QuJr ĻIG U׉Xs "v'&5QyoAW$i r| E#<$ əaT*|+t|߯{ʩZ){Qh8@ @)א0U% fLeƗTw8-#:#wy\Cs {zb#<@$b/{27^;)Wӥ7Kp7Ix[#%zc/4dL8&˨N<Uw^:U.$A0~il]rWxo&|f7f~ w8~N%\ o#V|! |S{ۢ!JO3.MK 7EbmP.{~=X;.nБ͒^0\׾eZ,)-l|}SQxs`+Dfq Pf5cʘ0qq@LO} /˜{ obxac)W  Wu\j 7L hxo? sF&ߕxVI$!>oV|ALf o}D0R8]Ax!l*QYby֟"=2 f+\=@_pÁARY45Y |ΐ/iMGl[1Ӑݢ8SXrrC(bP1ٲ)sX)hil?dۨxml~([6ˉzvZ/r13?U]Sl(\,5S;uK$= .az7[! [q=MFS:2CU³2gSrRn4.(TXH |G kڮSL|D|옡HB!| Yg5%u )F ]Պ mb^TCODa9>M^X:%S]0F܁fS]q* XF?$o ^rMsu>l%6R]jԌw cF 6rN̑&ѝ9B((e %#3Z-Ԓ0a]!_2.hGΖ::kE[1pb<4V FeG)-2ǍH<"9'*$]߂Zs )|J#te-Br-9;\)[#H1ūʓ\/ $ݭ)|g9d[) 6EsXe@x5'w8US}䔦Q񇇦3|L`edaIELX{ֳãAʆDUڮmu<ŭeSdx,͎#vNV3i+퐔`uMĉ]?13nda[1R~ [+3寤3,c2㈭jF0|3W+P$ɔ)K̷N e :rOG a",5}R8S|'ՋV;MOwU(1'yd@'v ƍ (Z3Ӡ\ݰ7lBv5rw*p&[7C>g@+6n$)m) 9[ųycVqTdMJ{&vшG2h[SҋP[{ I"wW,Cΰө[T1U]O2Ng_h~ovk*eV@n63*i,9EVH8ƱSLjw@on ) ~{k_'δӗwY4"b:Y . vi5aFD*mYԆLH$,L<6gX9pVvWKd3܇:D(HH =zVL]ovw ;iJunlb/O$!E,J^Q۴%9TP܀9}-6#?2BN>arZ7:-G=%4K2:[0~ \#];rٕ|Z]㷔gԞa-a5ٿn CM9 ar}9[䟍#4{ >w#'sp{F8^(=̶QTdhŠ=CK2qڍv=Ɓ͚qa;N$kb#0.+VuM)s&"Nnd2UH)V1xĢS~˭K0LVAq)g貍 1&t@[8¢a牷 (E S~5ڇd}=VVB\K*U6ER+6cI˝sF.MU[ēRjDWN;7J~Nb*JRumn˺cY&-]eQ;nf~F2m袤8j9ҀG3 fP#g'j97"qY4?2Mb~/,}R}0f{gPVQ'nq襙35%oE); ~Zlrr.-ra0 l# l$O-MuAóC \d/9_TX2 W&(dJQU!.x?+qMwf|#Fœv-?AL0nVuQ'J%=/G)ܓJJނ+>=z} ǹH,Z:T0Iϕ$sy-ڱR&jqMH{culěX!x߮V~$U^ ^q5w`jAN(֐h ϱ{ YZKNETUW:&zk㷝вu?%gCx<51+,.2@(`vHނx_n1Zn;\Du_{cs"Kwk;tK40CoA"LгiLp [z lD܆#Y6^Ӧ }Fz%7nVG-ΆӠu'Q |ђuጬJR1Rbm/'t"o ØT_Ќ\Z:+9}坐"#W"n2後 f ޏ("ީ} F\+[R:I+-[d`s%G >9B]U* @c+>'(y4;ՖJI i[M붩[L2pxq)L\|y*[oV錡3KR&DedoNgww&Ï>?f\,Kj>TB\I:OcqMdX}F"m.S̏~:g"@vH Rc =,`[lx4⣋{;Ň|{a)&a@\]hF~l+'ouIvoO͑zVV 6˗ܼW IJʒdY"H`=cc~j]qq<|VxÐ8惴7[YN_#M Pf\i'hoxgg"e})q 59l> _VHF gwVlZSe-P{H5y$MA/Fd[rҴPVFt9,|÷k?\EwX((OLοO)Rt4@PgۉMR䭧 2VX1w;S:|4uuE4Og("$8ؔ!|Mvg\ӃaPq-/w60Z;0^Hٸ91b1tu4`d0@fpCDIa]+j'(SoMG$> ojng Y pq< P4Z%cXVOLʮWE>0]2=CA"a; ?^s!,Re@ih}Rz4lL%V˯?T{#͓S,:r6SYUNerweRJΣ>L`5 h׫'yzF#mT@}ac[x" O1mx~KMt+"=l?uY(r(NލþKC AL=C8ws{Yzņ%-? }=ƶ5=r.v眠c6A)rJڸ̻sZ䶺 oȽ,{WfuXslEknՍ2N†tuI*/,Ytgr4ZW׋PB b@7o9;"QIqjY@Ot\p/ʓ՞:k8Nh%x*R=Wڨ,gQ8@Qq{C(Jll2'{R4";O92^KEa\dLz`̗ ǭ@|dƷYG{, ZKv$9f,PO ojT5Q$sGB]g>a|(}d̷Y#EttGˎشV^B9 /^-"۩#>qkjwi,ohYd+]tZjz ~mJx=@9 bg rP4X*f@@{e6S~QK(Dy/Uoj7xjQ?k8^apϵ^W8gew`uT(`(fAT`Xɝ!G5grZPhh%7?!#rB$c`QpHĆ V?JC)G7N-74Gb'Qx 5W Rd\@]΋'"ӶJEæ@$ֳ[pP' %&u4E?[4uLÀD&xoY2^apof?QsWb `v*c9l5f64f4=pX'N.kMJN>Z~T L-H"@vihlw#U7 G"诓toY|ejIRhO#ޒҟuҴ^ȱ#$+! f_q8%v[6RY c–qSjVm0U?fFWe}rJ%xN|V (aP fӓtL뤩;S 7ꇇ@XF4̈́9]19F `cpR6\F,'#}QLݾc]$VZ؅9oR%庿dW(>2ng$QRTRNhHLyVB\q$ʘm?`dݏ$wU#te+mSKDǐ2Zaml}v9pJ M!ȫ/QOy60Qh#Z9L .i|iL(w!W^|Z;tBJ:v` Dk8d`_?mg&o˄J? #}+*~KI^@9;Rخ3N6j \ T! a3:gl 4_;w|C;VuTQY'1\ U3¹fRT"h<~_GvXlIOx\b/$T+ ɒlQ~ܝFY?u0=q"Lgu0N~rpQv=t ^7p;`rxeRI2A2\WLvhՉ俻\Ĉhܰ|Dr֡{38@h`ui[MSP997WqWD _* 8C) 5k)=񅡰^ !nw~mГ0V?:E7KQ,t~v!9LܸYYy#c i`p>$VωL(-:/<2xGV4|HYy'Qs.Ty*^|&Pwl* d.A##>@tH!lnDG&^ib} xD>h;]*3P@r2֑tZq䙢>50fAe3d,&+ %r@`a|l3Lt fަs1vĜYq|ԃLRvX|;>qx?d$ЎI7}LIsX׋ sJjF45qɮ~٩w|̗}RڒW@ ՊjGP].o2vjC2jL\ȕt]H4&͑)LhŠ1p~\;N/n7YJ/VEkl&sO(fR:f `?OqaDD`6MD1_ e>.HS-ga3;QmvXBI˅m9g (WC:u[#eEtvaAo/[~^TrATЏ7#>C'{,37 gʺ=X cA<1SBhDCBv Rg/o(J=R(iA?: bC >iɰXip;IP p)#OôJ "T#uT=M Ņr4Mzg!Q}'wĬrSi1\Ƹ1z)Oj+S`A{];S{di ?)ᕫΩ'_W}/etp 1霥ۈ>4Qq3&l#‚ˌ0I"27C" +sjx|0j2Arؽ;Cn4fPq#`JLT:{Xg1ՒJz&վ\82v`|XcGMk1l E\6\V{wmdsE\>/i\>Gr)؍`{ okVQe05`<[.hu^hI=ʱ&m!I嗈Vd?񢽩vCUH p W߭ҬnoIQU9+yCk*E:%klQc\Q^w7ZNVm T@Z|y)$d~cDt\"wG̠\>fBXEAQMqH*i˸JۣC>𢧹U']80ͨ :1YK(t0wnP7gɇjaǥbH| 9蠦~ܪ'OP{_QS. xT&_+ٜ7PtJ; Q"-2WH.ՊoP`8|NEƋi;M4aQ3[A1 Y]8;{-ekrjQ~ lgYR/Ln1yoHG:4@f,9k*;8QO>v# O<RdK4-%P "hЃ GjWRESmLc4f2]9^e tWh-YulFn9E6ܞ*bhoC=P~&L,`۹V]:=RY kc0׶NV`/ $zq2W6|@wko6jLW4= =_˺@0>;幡ng[|w@סT|oM+]4K'v:WR6}UK(Tzu8jeMIL:2Coq`I[N@61;(pwܘWDhAep3-{ȸMc5jdxZY}[9߼aKs_Dc?-"W Plθ/)>!ig~;%x9qYw ݧ 2 MnI-xHazƫ#+ľw:BYM]n;G8.&R_2e?(3Y ed30$d6Em؟ѥM{6wB7kś"xܓtP!ȡf0Mpv 3ڬ?]W˔Z_4^ji_: hao@\r+`1'en*$ (3܏ .)řn)#q\'NHgxU4y3$(ݓk!ZD!eʒ/NU0|_垸xW1LHEk%6f_>ͅcBYz)I iPPMC7͗Ke;"ĔniͳDr{vP;3-`z) `YhzIbp4+;M. FXFq .8!3e3PG=TVKYyCNi pm|*2B:? 2µ_bv{vA8EIs Zҍ V{yg,$Yy*oeKm-%匴 翪N[~xA._@" $ly#d>Jݿ~A!鼤;,w⭾! ;KSYoPv4GX,aݾ:XF-6,1)6f~7R$& Yi`M4"8B#y tVLa3ᜧ8*,Ɯ};2nWӓ5LE&D#[ma9#:$^)n5n R#AE+Ug~g;rB]viǒ7R>0XnxvJCC)JJ-$9" >7c3&bg mz=McqYO%]HA ss^hUM-3yZ{:4$ M0N;?aR;4O{D@OA-y"Tu?IĒ>aMj Q\S|pZI1-FWmJv Q[m4٢D.u | W9\?n<0!L`Qaɪj7Q!KYNx-<kGʠroLW͛ٞuegYDeN|);rei\mx~>S-),0[ "oH\ v፠`x719;?"Kr|Lfg?ev! Vf=דvaSzD_.AS7CiDCL+E+NXt~H췏ޘ ;*0ٚNuqs&W~%?^hrbPne0kR&kDƟf6%]&k[\h^h.hl&Moh\g 060ZD6waa|G#d"蛆c^9Q -1L!}dѷxMɡ(gў/3PeDEtwQ>14̎Ǎb[F1]T6*⹓F҅SpY[Dtop27'ИdCԲ|x Lk;!da=pF:sjNCCL[:u6~ se5 ι[\CM!`]d._ȟh{E>/&qVZlY LgFjE1_peБG#k;\QKmК2'uNrKD ;FPR(ЬW*g߳@uϝ90&cƝ͞p'W|>+׃̚< ՃZx: /?6Z b^("-(a jz/rQQx^)hNqIvE^IVKkGv\CZ`}azwsb~Z20Syx^Tq5@FǤ\ҭK59ȇFm%]mhybEXBtZ2M̥&Q"#s[fLEkWK-uHm$|,^gYZ85f37be683a84079c96f69f423ab7ee5be5cc2febae0b426f6b4d4eeda0a51832f133b997c1cf639 7dda90dd71cc7c967ad3e608f75d449b48b28159 63ecdd2358e5ead29d00518899be34a07c82c7eb