結果

問題 No.2001 Distanced Triple
ユーザー to-omer
提出日時 2025-01-19 00:53:29
言語 Rust
(1.83.0 + proconio)
結果
AC  
実行時間 19 ms / 2,000 ms
コード長 27,686 bytes
コンパイル時間 14,355 ms
コンパイル使用メモリ 400,320 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2025-01-19 00:53:54
合計ジャッジ時間 16,624 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
外部呼び出し有り
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 30
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

code!{
pub fn solve() {
    crate::prepare!();
    sc!(l, r, a, b, c);
    let l = l.to_digit_sequence_radix_len(2, 64);
    let r = r.to_digit_sequence_radix_len(2, 64);
    let a = a.to_digit_sequence_radix_len(2, 64);
    let b = b.to_digit_sequence_radix_len(2, 64);
    let c = c.to_digit_sequence_radix_len(2, 64);
    let x = automaton!((l !<=));
    let y = AlwaysAcceptingAutomaton::<usize>::new();
    let z = automaton!((!<= r));
    let ni = |i: usize| i.wrapping_add(!0);
    let dfa = automaton!((x * y * z) & (=>
        || (64, 0usize),
        |&(i, s), &(x, y, _): &(usize, usize, usize)| Some(((ni(i), (x + s + a[ni(i)]) / 2), ((x + s + a[ni(i)]) % 2, y))),
        |&(_, s)| s == 0,
        (!<=)
    ) & (=>
        || (64, 0usize),
        |&(i, s), &(_, y, z): &(usize, usize, usize)| Some(((ni(i), (y + s + b[ni(i)]) / 2), ((y + s + b[ni(i)]) % 2, z))),
        |&(_, s)| s == 0,
        (!<=)
    ) & (=>
        || (64, 0usize),
        |&(i, s), &(x, _, z): &(usize, usize, usize)| Some(((ni(i), (x + s + c[ni(i)]) / 2), ((x + s + c[ni(i)]) % 2, z))),
        |&(_, s)| s == 0,
        (!<=)
    ));
    let ans = dfa.dp::<AdditiveOperation<M>>(M::one()).with_hashmap().run(
        || (0usize..8).map(|bit| (bit & 1, bit >> 1 & 1, bit >> 2 & 1)),
        64,
    );
    pp!(ans);
}
pub type M = mint_basic::MInt998244353;
}
fn main()->std::io::Result<()>{use std::{env::temp_dir,fs::File,io::Write,process::{exit,Command}};let e=temp_dir().join("binF96638D3");let mut b=Vec
    ::with_capacity(B.len()*8/6);let mut x=0;let mut t=vec![64;256];for i in 0..64{t[b"ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789
    +/"[i]as usize]=i as u8;}for(i,c)in B.iter().map(|&c|t[c as usize]).filter(|&c|c<64).enumerate(){x=match i%4{0=>c<<2,1=>{b.push(x|c>>4);c<<4}2=>{b
    .push(x|c>>2);c<<6}_=>{b.push(x|c);0}}}Write::write_all(&mut File::create(&e)?,&b)?;#[cfg(unix)]std::fs::set_permissions(&e,std::os::unix::fs
    ::PermissionsExt::from_mode(0o755))?;exit(Command::new(&e).status()?.code().unwrap())}#[macro_export]macro_rules!code{($($t:tt)*)=>{}}const B
    :&[u8]=b"f0VMRgIBAQAAAAAAAAAAAAMAPgABAAAAeDUAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAEAAOAADAEAAAAAAAAEAAAAFAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAADEgAAAAAA
    AAMSAAAAAAAAAAQAAAAAAAAAQAAAAYAAAAAAAAAAAAAAABQAAAAAAAAAFAAAAAAAAAAAAAAAAAAAKhOAAAAAAAAABAAAAAAAABR5XRkBgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
    AAAAAAAAAAAAAAAABAAAAAAAAAFIKXiZVUFghoBINFgAAAADIdwAAyHcAAOACAACxAAAADgAAABoDAD+RRYRoPYmm2orhgzJO2QVhcoquZW3zMbDWBfzSTVcX0M0O4C3QpCj8
    +P79qnauCSO17hGT17MjWkFCExluAZqGynjEQBwqBmT+dcUI7bSPUt1c7Zw+t8B3MWWhlul+CdXgr79UYC6tLLonq05fEDJ4fMhql+8UZ2+03kLHaCqItJ49viPpSjXsquOM9YQwCC7OX
    ++B2veBVv+1xtrKtum9ns4Ba812e1O0aKxzOjATAADXBQAADgAAABoDABebCSYzcaYJgAsdMk81Gr
    +WJiGdKA8VfZY7cKy0Unpw4aM9QDZnPk7omENdiuuxcb4KYBgQ3B2yLoLptbagECk9R5lMfe8oiZtvM2tXzStadO5BeIC4lPIkNdEpyhIHEaa5jYnhGMlKYERt1Zu4X7RItHdRYymUAF8cVs0h
    xMf1AkkO7+iICfss0F2Rck60/CPeeI71ZUMNXo7wTO7k1Wopc2t8l
    /TbKIUDqyBvRus2MHhRBdXvYFyQtO8BS663fZLd328dF3UJDPHl725uF5tWwqIZS0K4eeGrZk3FcMb9Kjqwjc3W4Dy1fToRW5hTCc6YbPIJkIKp1dpFGTLZwoEUAsInsWyoEuuQ2BrVsXVrLUp
    O6uCfDWuPSG41/4PzjUIVll83mHF1N9WzeqhVQViZ5RWGoZGOgeNf4yE26Op9ovLQ5YNKMa0/MML8yoJTZOzk
    /uv2v6x58Vs6GVKP7MsdX2fLSb5geOOG8fW4vMPKQIC60kYTUf99RCorqNheGmc9c4A0SScwqTGzd4IX0K3WvhLF4QAgJfYcX4WE
    +LD7dpzyu9n1CfELZq2DfEjMPcHcpZ73dqu1DkPFLvVmK10Xt65QXb3ei2Qdji43xgHf/DqP+zbo6E72H6sH/lReq5i7QNwGfEO3Qv4OgzUcvt380T3Az63HVst+01MZqTRBI/1il1/IbpgZ
    /OtlwBRiOiwv3UUKBgLwkyzHmdw219pCidx/zuPo2PWCcWn1e4T+iAwSe+iKHQJj07e6IKpAd3DyVESdJq1l8CUxYnc7voPH14qd35Mw+YSjQ
    +YBGwPsxdzpccR1I4RIDJ8WmE5pvvnBGYYTh7a7PbcSs1Tvf5cPtNf/vVol8tqcOoclNomQ8ubr
    +LeKO1d8P60903XxcVNmTKiEzjgRRsGByjtaa0wJtyOy0R8ObCE0yUl3SLqwiKywQB97BgQz50n99eCOcw7pLFlAy+NSh1SU1jvaPOs2mZ8gverhXZcfjAI74s612ia0S78YFdMdbd3/wGSN
    /Sp3x6nTzJBE+CMunIPsQqAzCtbfqGSz/6c
    +JVwEFFUh4gH3ysB7Hx6PUKFDQb97QsBdk18RVO7XJhp7kykksvQPrB8q6hODUOm89FJNcxP9ilHBt088CCoTFWrvUuhYw1hbh8LC37AegUh45183/rgJhIZuE
    +v3q6ElXO49V8SRjHdq6egIFMa4T3kRjQDdQKLrVp2BA6TYh5ZTHDXqX1+UiS4UaLQy4ChBB8lFTaIS9W7mv7yNdkr51uC8dODgckFh5PHVwAznTV
    /YsEqtoVwkLondV6TGBP4QzGKPqN12ieiZK9HQEjfN8lOiTVyyJtTFS4aVPTwFD4z/Ln7+r5bXjUA/UEu0W54Ki0BILy1HpwvcKG1DGdkzOEhChEOGQfJXz5H1intBj7GRYmDX
    /xbOFPZSI56eqtvBQjEP2lUUnVxKp1Sp4yECTapxBY4reEz6Z/od3BnsSi/24PH/DT0ZxSHtBor6JZPKPOxWb83R6I/YDPfMcX7lVz4aRgphxDj7lIwv
    +O0LRlPkmTsx3xrAKd7Iq94GoeOidFxoYSy1ANHB9Qdn2dE5VcS7kUfNZp8a3EgRls220FAI2lZfDGxI7t2tbpYgQDNcs2nmR1Sulu8eZ6HRcO6Te5TbpfNfSmHa9xsHySmppF
    +xgvWTMvNh8AwIZgXXFQr5un0diMeDuDYc7T++HYclmpI2u0m3KDUm2Y0sH6KBGn
    /R10LU2hxVHyxNX6yYEGWpsRzwXH1JI87Cc0j7a72ftvDHdrDtGS1V2SDhVGM1UH9uvxDptLcrfsaAgxo9NU7u6Y96CCwy3ctB65gy0P5d4JLa7ZCjyi2WwviEUxwElFzaBsfga
    +noQRJ56VI5BJA9I68zzXmp3sfiN/gctN9xuzXl1FW2ynCyzLubZV2CrUWYLfH5rxtFGv+sh3NdBHUS37l6qd4enj46JxWb7Lxvan4fIrXS8nuYcHI5UgAAnywAAA5JBQAaAwB5g7+xJb4g
    +GCTuHN3LoIos9jD/pbsaR9XXJmSQDcqpbv1n95jeEkLwq7B5G6KuxU5Udnf94l6rLmddXxH3n+WZCbhLtemfyHfOxyfiYEPEtgCeOxsivP7c0Z+qRuyzTn0zDItvAksREcDHCZYVfzkP
    +TnKojRlxLcGJKiXTrR32d1NCxfhUwDDzWcYccRQ2nZsukr3iPM45Fpdc3srVjO270K9dIu0rnjQM+dbFx8Pkn8DQRC1gfWoIa8J8v/bNcpBCIktWi/mw0qkeJbqX7No
    /NIR1w8uUt9J2ibjU8ZkukVEVUk6I7ymm8U3CREaR/xHPaO1BWHQYL/NP9y2FgMhD1UEPlo6XXx+YtZDm0w1ITuq3vob1/wxt80279phic8QihAQSiuwz5pRGqtQsZx+SwwNUnf23cU5jGAf
    +r3YkQKLkFSf49PVQvgGfeZ2gZGJ6NUOujf+A5GkDzeAt+o7hAQIelBPiljjc1YVfpvLwp8oFzhPclWrYZvwUCDMbTUgjX8zv/5E7SaH8KiyN6QHPovq/TjzN+aPmeDaznfN4zt8Gf5fvB2M1V
    +2iO07lwDZrQ1f+u9rO78PaV4ZUBhi5BK9ibN778ztXfcXDRJj5w64qUqZ40/29eg+EyuFe4tEN9/9lIttwpGUymqfZZb+uDPAAUCE7VhHeC9LZ3QQnN
    /0iVuzM9X2xNxHdSC90hKFy5j7vJjaxUA6KsZC519testc52rnZU3ROpqlUCD7zRcoK5lTVtsDi0NLSXCq16c5oHsbn/eiWnoUQJ4rZQdsXa3dWBDRyqyzf9hiM
    /LTGPpqBp6nhh5l2owfG3FwvOXaGEUCr+Yz3SeCtXIBePj5FGCLW/O1HqBNNGdctxMnew5hgrb9TGAZeb5L6tUKCYiiRI0DhYjq4+J3E/DfasSbMt/p151SPDdwCKaXfCzrWDratlAG6puS3
    /yA96T7uVfaAs6krlKgPIzNXW0PrVIXikl0Ft7rVBmHEDQAcXtUXeJRkWxtirw3wtyV45zIQhMd2my1ekt46BRuFcMdELcnmFdlLjdZyo/wryBYrjno9FE/Y8rlxs
    +Jwa29IpuQINF0Tl7mmiB5ydejuQiz5AOf5tA2SB8hAn6NjvuL+wMbTDEU0i4Kt5Oc6fmgKzkXA3rC5Gezt73oQ5bxc
    +sockf9E3EOtrbIj51ervQDivv4fMyMUUDk7XXyVJHTokr3I1e9CfGBXBxjA4PAeWLjdDWJ0OuoKEE77BpgS6tXkZzf+7JzZGpmY0Vcw/nQfWCBaWhohHdRqES7PkNuE2CsYNBP+iBCAe2Q
    +heii/ppJProTck41FN7dWqVbXexzVEvNR3xeh45WgKG3H/0Lo1P2kMqq3dVF5Y6dbK4TkpSd6DCDGyF7WBmsXAqLP9PBcxLJIa7tYl/SDeg7ILMV
    /iBATxfIq11Ciu0UX7qlq0YmtIX3IupdlMod0q4xeI56QQAznGeZYhHG+k7pe45AGG/UEc4omsKB/EPJXX8RCJy/m5GD5CM/t+N45KWlh8B
    ++rDzJPlM4SiSoO4cEObhU6XrVDZA9S7dmSguXwJHll4FIzq0hWo54/pVVtyv4bKlzPw78qRo006wzYZwdH4LqO2L5xukYPToXv7wQVQF/XW3LBHcOgBgA2GGRPHw2xDMv+A/Dpr1e66OPvx0
    /zGh1T2zfk6qKzUfUDQLcL+f3W9eArzAT+7rq+vosiUNgPkvwiLvKwCatnq8vQUamzcGXVBOtalbgDt48eLfU6tp7KKolTDH+gswVe1DnUZetb4xhW
    /DoEr9euharlXGGVYIHWa6KdjKV8xHM2DvPJObaArIj5/x4P39mZD5imkMSPQYxfzZ2Mp+JlcR9FKxquedT7d5/WvBICx5FtoK7pQNwxgVi3BVj4ZP6qOt3innS0AnD0rr
    /QjWlJQ50SBgkwy5Giw7rBkQ1C4GkS0J9iqWUrCvLAWWalf9ExmrYba5dI3HT4er/rElGDX/f7zX5qZwIjEwmDC7
    /dADqn1GaxiCrWpZlXU11CG4idnBWKzkZGDXrrv6QAJDBssE5KqN3ZpbzFLYVkXaxVEgeWDddS8i4kBpx+MEag51iNrDg8RzJnokmpklbs
    +SXeTs9l3Xkm4knYGAjTv3BLHLi4pN2h18seWs6SL7OTBceyuPaFzgOWTHQGWQFSrno4fTpC0QTobQ95USXhQm+ZfRkeAzpRCDcU2VU+0ObIDqExBX8jaRL+VTdHpFgukR19sGHeVzHjz3YlM
    +1VY+J3jaIkvGl8kVhP4DgTbvxvys8VH9od80ZJaLY7MysT2bDnGTh4TkLCAYygRSua1WtiXTZ0ncWftzgyHlBVzP3NYDGqp4cm5+5XemW/r5oHMqplLKwMX0r02
    +Btttjv1rjFClcWgbxu8ZptyYxDs1NBrPXWXT3fViANIcZfpVtW5y5PojOn3mWccZmwEi9zU4t/DFD1GkA5/ZvOC2nIZinbOWJSitDJMW9D8ILbtuCDgVaWYsfA9kLnhT9QkigNbGxPv4Q
    /EV1wxeFp5ifEdMP1bjAO2n+kUgpoBAG+x+igAsr5VeEysoQpukWVd6VT8kVnpb9n0zY0MzOOIt9EV6jCJo8AiTg2xHEL3/Haqi3bnwSrf2/nCAZDSlM4LXi1S/Cf6sXQ3zcZ1pDp8
    +8sRXknCkrICNgNx/9aRBeNgNsmKveZnecY4OmNlowZYntk4cDzJePQVE3Mw9/beV9ldFLJOVjqdPTptdGutjQmzecpvpo3o3Ogo7uHLUk8S7ByPLOYEkljf
    /m0ZrksuBq0KrBbPJ6p90HstQkEiOlIH8Bev0y0JR9LdUpS8/pGyCy/vDqbV48EzdaP+olT47exk+ANcxFPGP39du8apFuojXueXvV9KDI2gpEQO1VaTc+9r792M/pgYDsiLJ
    +izqwvBsmSTtOGUwdzYBI5LFLRESDejDS0egPpf5R/qMI09WgeKUA6xp7OzTT2v4UYdLffwPp3QQoGJwA81B8s30D2BtvNlmb8NoNA+vjvHfsDrL
    /PBUXscgGX1O939JnnglbOgyVeOXQSANDwZ8trrRiP/etz9o
    +eZSwbHkpfInbnGi049VT1rbbSNF6XzH6WZPCyUdP8rqEbZ27RXjibPnq67Cn1TTcduvPjo0QcM5Fh8hrG0lLoSi6HrTJuJ8TysqiEG32LScSxWHW6RIs2ZFBFCHXLrzIVGt6tbz545OW9wpMb
    GnqZ1ywlUYBycyyEcDri3gfnByIi1Hp/4g/uMSP+RZ//wN1sG/If5jBe2bYJ160BqDPRefx46jtBZvkdq9iC92WldA41i5XnjILsXDmLkO1w6XuoWBQWPOFO
    /Z1I1Bz0BxVHEP1rsm95rnWq18Dz6DKxnPsDqiCr1AryDeDHwz9
    /wXyL7ZP9RFtsn3PDMSRC8NqDirKWltLax67JWPaE3VtSB9cwB6RjzysyoycpagOOfyOtF3dYHM21AwRcpIHZQbb5hoYPZnfe7bTEhcXCXQDtA7yxSmJ/s
    +vCoYAcwKnDNGzVxtqXbRhIB3CvVeBYVAO1OYaG1iNJ5F3drVNQgQsGBGeL8SjYhvfnUew5M48jUZT5OIkXU3fcjxTIdTefdNl
    /zaaoLSmPiiMyyFB5CinnM9420UtsBWk1DfuRmCUW3ONlnJmValbTb5NuPkkS35qiQf0ljKffr9ZafeEQjqdohR/WdQhlw8KH9+IODVQWZi1uWokIZ64oGnT90jE690Kzpk10EjLMINCW8BV
    +TTnd4s5EnEcsrWnX8CohTZ0kJqTosxKkH05cLAnOQV41HF0uXfaflvxsyETG/tbyADt0AluSjYUMrBXwBL12A2B1We39eTZqnuHKe/Ye+ndzsdG1x5qYH82ukvHOgN9KUcUnSwmxJ
    +otHIwvwveYAGK+GIi69OKbnZ1tts17K5FLx8m6OxWZQVjOMObTErHwq+5/QHIE4XIMIAqbAlpwSWL/IdfjRUFbx4UadAn4Bm4nleaYWUgqt
    /kp49ZnHWs2O239iRGaIWdqA1a0PNzBCFQ7PAeOvfz2BMYjnhw/fwO5b0dPjqmlr61e0PjKmeUZgFVF
    +pjcZPguOf14vRAW7mnxn8Tmd0T81R3TQKigNsCpS1qWFBQKVCiIJ9Nc6OYBpaPP5F7RYCxdFPuYuGNQjZev4UNYUwAOKXaLUXQrkuHgh5MzcMfNDoZpm2tTdXPMl2ScGNDn9zjFFKnVgA5ivc
    BAlmgtjHMVNeCN/uYtOpl1iue0T4fXjMkEF6DTeb/jkWHMxs1LA0MF4hVH+D1UfLEXN6k4EQAWxWyVO7B+HdFX/qAZ/ivK
    /qbp6rruDBClriZv8msy4ZaXT3cfEWNacNHdWip87PLZBnthwEmoB9kBDDkjcdsM+NxEM5omeOd8CAk4BM5rNGHsOAt+uqOxcYq0J22CuiGLKUGpuKerN3yNhhfg+RFRz1hZc/I0
    +8bpdxkPzdg7l83cUNCZzQdWN7VxWtKEhXUoFpq7S8Wt4aWYUhr0GzXJN9Q6ySrSg0nT6mKfxqN4xvXTNXmg4fe7psIdakuZSBSD5FPRmcB05C8KPQm9hhGzMzMo5raMa4AApNg8+sIz2avXb
    +I5EkMs+BGq9+Ai6wpKVEB7JOuYLm39WVWylJNvPL7VnIrTDERliX/41Y6Lq97rb2ax6IOoudBsgUPigvWTUGAXi9ijdfmh7AApQzsIskrd6FDg2rzggfyXhXPW0pf
    +zEbo1n9HaaH9CWRnGIte07ZP1pE82llm0WwacqsVvGCEX0OCDEY7OiXoJHml8Wf4MjPFel2nXBLy8XN88R3awJpMQ9PNlL2pTFnCToI01i2wMNYc9CIVBGLjj1YZaEjo8SwMiYHt0Rk5FW0TS
    UcgrontvsRF0NLPHQlNW5r/1KbhvilLwAWAUSr5h945n8N0B9c0rNrFmY
    +cZOFsS9RI07Sgw2zRnoHtKxpfh3ZPlKrlzIIh3RMnvgU6Z6TZDfWO11BJXDewWnL3MRvX7wguhP4dkfcejHVDuhFIQafXSHrPqI+K4EcVSB8YwS
    /6zQwAiCRqHrV6U8IoyFeklu4RrQFqFnToC6jVhBMd5NP14C/uq61i/Fr0rPlRADojbeI35kpKBHvKz7XzqLkanE8TzP1TsxBig3xNPvA4BJ0wcYDs7
    +BrqkOCGyVTHLaziI3HjGazkAIUU0uFtE67dlasfTMpUzxzim1JoUHlI+Wvo6sVGvU8GXsv+cYugaS5fpFhxs3DPeli4Jm/Vag7LLaa591tdQ
    +gtJBJZFWSM0eToniiA7v4E19fVAq5v55xvFUMUNBxIGSUtL8gwUohSfjWek5ywkuFXM7kOQv9dBlHzzjOYcKz0Oyu5X4VQy7yoMvNJ/kjyXclDYpQK99slUdTz
    +1PyLUNnYYUjf2X5sNyulufaVGmC/R/5wm5e6iZuoX2r7/w2J3nUP2ocL+lzv2rbRrs8b3iPPSPT38ETRoBcGoQoR6XxZJxi7l5bzbyhyK+D3AdFPDq7xSxXv31dOFWlpBhAk4LJrJ/EDpAFAk
    /O/spGy8Ew3dHuqYwNqkdTG6xzL/EKdKATLTsiw7d7UGO5LJLYDQB0j526Pi9FQ/459Q6XnFXHQTwsKSyElqdnuEaz0k9bzRovNPRTRYqOnxFJyzx+qJzPzzLpct1V28BKoU8ME/D4uD8BYf
    +qRembjc2YquDY2eY/zaqQRPV2XHaLDrnOEuPEVigjZ3pLOrjGKeH0NYDm5JqIDkCMwgKQo9TPXbjhLFjAwQcqK9vYMgTxj4QXIBQUwkYsrogoYDIr1qlXTmgQdlnNkPyqB
    +UE65N3JiAdwJzKX7Lka22mMk95yjGXsjd2DbG45kIlMaL/MwLCj0J3ugPoj/PUsyuQ2SZv9c70lOPEMebUZh+Oag/DIs6f2h7kM+8RrfJEfmvwZyPv71v3/J2l
    +BZc8ByXtuMVHGFGWZjLd1pn3pQzdEir/5cfuM//fw2ImDEXroAKWyiye5zN2SKMKPPzhILjgqrcNS2el1PE4svZtSbJIbjO+0XgUkH5r+52iqqnvuy6PrnnZTBlyZaxPR1Df6hKdFq2Yr/Uh
    +J7YBWI/2sk/ht8wOIyrAk26L/Qz75aI0t3TdGD62K0LwgsdsbMeF4btQroHhZSRnmkuXVVFkyxWVtct//MwOcAcP7XZa8+oEW201
    +qsyL28bJnMO1GQ2LdUYcVIfqZJn0ByLObemxpsgTLIZ58WZyGDyASMHzu00BRgX9SCmdBA7jgfRzP+AXdRnkeco2aPBiFwS892Y3BCD/09Kpkwpd+46OasiVnSA0MDq0NXh3lGL842STpH4fS
    /1TfvHf5YtZ2zmD2d7sNA5jLwPFna3/KtfLTqWS7DoZdIva863MZw8BLgJbxwglX0Q7YwpGsXjF781TD38hBmehskbVEOjiSTPplcLwAIwDYiAVHHY2LT4aW4HxKbSNsr9l0lFtcUltwUWgZUA
    NuiZZg5uzw1qY6nm2nO555xcs7q40YcgB4C5fIUb1NML2lnEqQ1Cyp5k
    /TCODLnoLreF1lkP1VehHSiiCLNS8LmXvYvzxQJt9XZiJPRnAbMvZGXMiuPEc0oNOSHjbSJXBgYob0rzpmWSPckX8D9YckxYa9PXufUstVrGrOrgaKJ5b4DmvDwy9PH0lUS
    +8uQLjmhsR4iaBvK6X6/J2k5bP6LCScBEeaNX6aWnBstOaN7bCMhBFPxu0DL8ksEqR0dH9YvSbpWY40cPcX7CzFixYzQZQc9RI61YprEsk+1+2haxRqe67RRtt2tQ8b5UTebpyEW3erN/tBc
    /pCWqSIUz/8Y6dfhZx3hMsX9ynz4w79Q9xpV+qZXyNT0DQcaFBHY3yMu7eoinnDDM6/IVj2JjTxjmLOsLCh7lP3j2HcwI7Gel8iqKj4uaBD6IhFwIV
    /ehnbyWMq19QB4hF2auwMLZxy7dyIYdjQqSHghC67KUY9vlrn2X7He5SqwkFAfKt1y6xorCdU0H1LF/kUOrv8+ZcrfFG6sYNw4n+lSg41iwOct6U42r84w3WksGwXXS1DssP
    /YpKmAeFB0UTgZJevsfGNWm1csIBNObVRcWS4IZTDXb4e8pMXu3yb79YdX51GFxoKLpuWAJmtGz5Z7kzaloYQGC7lb1s+GCUbghoQLrWoal6yqmAlk46DCtTU+F6Vz5d9PXQeG584iZYpA0u
    +V6fzbor/ZX5iwRDJCO7l9aDrEMzgllzPej79B8D4nmOm1LSl8fCQAaorNhxu4Ul/5oRbLPJeXGwel1ohPEmbPhGd7KsBQ9UAA0qtQHzL4jZHYzvrm7JN5FhGtjtAVpNiqmonYnS8UqHveZOu
    +Qoe/j9eHSaIoij+M2CEq1K/jqdhhvGJDOO8tjXmwM20YerzSLJApCTamtWRDRD3fRNFNMwje2dTa8Z9eE1rjGh40ADlCHlGOrxL3xfPxYRbx4CHLenBnO3ECSe668G1kUsmqqdbMqjRpvW2t4
    ac3uE2CV3JFCkWWCBrZeJ3DvH3PG9CwqUkybGz8GidhcqW6wemp/Cj5LO8fWyRRTaODgn7sHD1oAhaFyTv2oQHbp3Y7Gv0gzbuvMcMlBLRjkjt+AZRSu2/Y4WWSq96oKBrdpooo
    /1JhiluVyopW/U8697ALJJ1WfSLV3VVCMmqsZSN6CLX5rdh3iQ71ZrgpHX4bAJJZjXBgqIE621Dopp15NCJi78Fpn4r1OMTLyCBuhhAQiClz8r3bFXqpivtK965WkIU6LL4A47Y8Nk9A2C7bBv
    kw7LY1ua/69hCqQJt97XZqDi5eHm3AvaE2Qhb1hVSdjF/UqSwoTtpyDjDIMJtuduGS6lWqACecUXMa9zepMr1yqhFKUjIzKDnjv4A5Eeo1fnZV9p8VIirFi
    +2zGY45HJ0spHhKs165dOTEZTRLHDBpXR4BnN0ZLMR/6ztpuA1CVDPmiD3unsjgrXyvRYs/bBmjOJfgBPlBmejekih2B3wYx2aJVwjNlDGmhl0L40uVW1c6ukEFG+4ospVJ1jhz7bi/Kcg3FEQ
    +HJEYZxt7A2lLxhCIRgG+d1HDv5Ux9JBp4YaKHDYm8mN3cf4OKM0ij913soNnTFbVszmOtPHAar/KKkvfDAmBgv28GZx3DjCTNj8QK9/kccbKE1ZH4dOXkKKdPW5/RJaVM
    /6OhSlT8jUrKgO5Or9WxgqTAzTq3V4WeNQ/X9PZBFLL5vW5sdTO1E8FKtlOROZR0dP9/1O+X9jdWzcEr52BNoWvkBIYwDrnnoO9dvEF4nm14yRYlNTkTPk9BzQpKez27fssWmLsT6qIu
    +2d32X3hapSIbow2LgSpzBCme8CBmAV/QhfwOWhVWO0l1/yGX9gaFT+5ctJxBI4p/wgPRraSDgn0nDKiFv48jAAR4iz25G3hOcA+/z7hDpxQqITGoW1ENXeeXRuNa53x
    +/PZwTTc8xpMC6Ax8wul4DWFwT2RvahTEWeaIenTuUC0JtLKTHzGJAnpx39lRB12azAG/NSVFPUgupX2KGxAQNzRIfP43fILUJMG/ZpN3qzJFIOH+ILhuH8qrBNbMCdv
    /jE20H2uVqtweHiLupu4CTF3KB67iJY+QloxRup76nNmtn+WCxZPiURRewkvQiDMaisz+wOTxATrR6CEtpoUE4nV9XbG+sK9Mw8Z4EfNK41H1eiuZQ
    +3lKyQwNRnfcOS9TAX9hJbi1baPmGaxpek8EpwktXB5Q8DjYx/4HTu5ZvyimHbS5UvMnVzmu+lJc/Fiyq2i2R81MjkcvVr7MDiuHMkcm8yMcghNr0o2/+oMWRkN89/rPqinQ5T/bApRa
    /m0emRCGKsDogdTkm8tr7RQ2re38ZcFw6cJ5Q2L1b9E1n2UMGk3JASugFpZKJTXAqbEQR2NOZBqo9lJfWgIIrnpgqE54zvR3X2F
    +4umcD4VEnJQ4mO4GIf0tzT82x46tPmnSk5PrHGWwnwVdRE5VKLgNqtFEf9RShG3nCrVVe1Ta0nQgdnb6tcprlRGI962PobSweFmx9+55t1c3sIo3EQ3ma9jq
    /U7DmZxLDcdnT57uDgRZQPTSilKAynzT5WMeUA2VwcwZPWZ75dDnmHOcDSAC16Pq5XNpom/6eECzEcXH0a7xV8LRqekXV+x5e2UEv3zJuDUYstFN
    +29Moo0hU3OLMKvGf3rGucd8s0jY2Ks1VV2CxxXSdiQORFvdSEI6vnLOJPPIDxE+12lhfNnlG/pLGhwiUWzdGfKLYI/+KfZkwYbuo4N61MrLl+lToPmIpQOkonU27M4
    /yxAlG43vrKa7KE6f6LYneaBw5zyHX0jNUI+SgSXF2Z0ojJISoAlecXbipD3h4ot1HSyx70SP64j8ML4KPx8XMfUWEpT9JxVFyuu5UCcrJn24FFIYMucPt11lDk4Ph0Jcilt3jc
    +9x6CPywYRSlUUDGJUWUn49goBjYEIKz2njoRZYeYf3J2p9hxLqKt1FeVXGyNC/DchgNUznoZ2c1b1mIYKcXDhyQdOLepxUFwwTAMkAsBcn38FlxhiCI34TirPX4XeUCkwa
    +yuLgfcCu4ZgaaTlQ5Ngg8hzG6tWnqS+6seQAWmg6F4G8mYjmmYDCGHuJ5yk6dIkiD8tWnZxg8NGyY6V40TyhAcFRPUqXbGQRyP1
    /+W85Wg51jDL1QQW7KypfIQ8NGVZml2T1r1j4DJNZPG6nIRWGlCwsIqXRM2GuYopkqrTqiOPLAZ3MiuQ6WOBMh3bHo/CfOu9
    /4lgel7MehAev32Ta64n6TULoiwRgRwtBbEIYPH8UVrCOKd3BpNndSJSeQEcw3m5RdzvrzoIIaEfopCAujxoZa6y3Ns
    +5NoIuTqaUZR4UcknNEHdpXcwj2r6XiqNnkzsjqPzMTfBxdTRjNNMMRoNpGylIPfG9hg4G7orGXCIbJK+pXVKvBtoeZiltDdWqNNw8e
    +zPP4JRGZjCQXcohBvUq3mC34zL3oDAU0KzyJEbIPkUurm91R6ZUAw3hlDWtza/Gm7Fi9B/tOk8ytvpQnrH+ZuS2tNP69REtX9aisElXpooHAlFtyR2BJx8VCpgiNr9MlktdT3f
    +TibxVnAPCLu0vjZaqRfEWeWuf18F81LMBZHglRVUszo1KVgWBXqLWn3yWpf+Awnrr0G7wSQ8l3JpznQ8+vati
    +vzkd6vLDTSQaMWRwGGar71Gg4VCZVe5YNFouMfTTRLsFhWwgyqVCtkDxcOa4socALI2Q+smzNQpAGSpoLwY9Nlyr/lvIfY1gT/zcWX8LrFG
    /EcZ3ct3V4JmD0vfRSTie3ty2KSMaB2JcarlDxGgRI/1Y6DQpAqQh0bvsvvmWIZkiKB2FHgtYi934BBv3Ve2mw/HqXDKJ0Mjh+rdrKGMG6W6sZ7P1T0xsPcOs6Vh5WmDhML6f9nlua96mkj
    +UCyQLb5iT+MVqtDnI+y7aKVPe4rgdwkpHkyUzD8qXqoFOGcha7EM7GHAN9Yl+AGSpnmWVIQmvFAd6nCRHtzqnu3KMX3TpllYyr49o
    +rrKT3QDDrkJGMD0eeM2ooQ0tnNSWjBe9m5pOYwtY4ywVntfFm6KwM5a66LlYSSmMKhnJSWORRpSey5DFoFPYEqYEQKn8FM3e
    +OUiYdugvDUIjfThpifHAHwK2rM7cI2lAFQ5IiGk4jCuSrQSk9xn2QthXKElhDWkw4toLfFLD0KRioyOeFgkS10b6rLHi
    +jFm3pj0nMnQu1SKOxUhyQ1c8FbRDq7RiXXPgkWnVeMTqs3eiRXAanIDBXfR1AZt91Al9UcwQQPNqMkUD/VfhKGfybgkYs63xlz3PayF5
    +3YLS3qgN7jX9U8Nlg4Jtl5HHyt65CV3mSGcKxMmNiUBGQAkb7ZnYuR+4Amw11QDSwUIzmLCmEIHHKUKFnYA2lKk/TqnQY3HwVdQHNvkd04/3MNoyZbxz2
    /XEeKhakuUQgSjA9zyAbtEIPgQgfd3G+4KqhUD2+Qv0FrfCBnwDgHRwk7r0z8QNAMhNVYEks7HETqzyTwpblQB+GH/JrMrM
    +6DUN7LRGlmNnA8NTW8MuNG0j3Cc5yG3dXGjwAG3KKxIBwk7W2ayW6sLgUuE68UwbMciXUBAVTQqkNN0HPJbaismrh0QOmieMiehncFVO1jZ2VHLz/NxC3g6M5
    /fB9dLqaof77JcaRd6QoFeow3baXAbSZWZPUFkWlf4EeKzAV3EmQiU7l+v2ySuAwsTWrxSXuWSIrTdZsWk7Cfu1mtfHhr/Sw64yU5Z8hYyD/dFbN7Bn2khROdOho/nZbuVzDo4a2PduKiCny
    +1oryR51/kOZeaz8/N/zmDyMnTJT6ozgzg3jdHRqZaxT1MQ8WHbMexwacBjCgpzpVaUWVQLIXDg/d3hViSrPaI/QWXp1l12cm41kPAcdXBby9Lrt+9wfZOTblh6Fak4vbb2Jz
    /uBMfcEcYJ4i7cb2+jYj8+z3k65b403W2Qq+bpadVE0GCU4MyGqnuXuT88TKDE8selotcQzOiqXnpa4r+1UdK3ZI6s6WrmLAfeU/Hp36gbW3+uTk+W6iffSh11lpfU+7hASn0B
    +wnSMUZVsXmusMwPTHQ0nqcVHrAzQW4hUVLjoyl7KUiBHKUK2Ltg0LjDeKFkCOYJT2zWzQxrP1D8EGXqNxQNJIXcGx4Ai7UHZ4afX77SreozOpI5GKCPM8t1
    /vBq1RFrKO2H1xAJhgg7co03AclDkfn5UN76NkPniM9OrHRZzpyUGik4eoiTxn+lEXJQVSZySgwCcSER0BoMx28j314UQ6CromUJJKwiNrMPay66nbQB/fTzhxBYwzMVF
    +Y7eH92pwrIT5eziro0zqxlT/dbblEjX+ngSdmH8fMPHwMO3md/gxlmOiwTyyNzonZc6aROLoVFKxdPK2CmKYSEyu1bTfCduuoCbj+mnpPCq3twvB4+yES
    /VafEBScAdPtCn49AUFro7p5uAn7tAE9N0V87NcbPyF0BrTEr5a8BVTiTTSm7Lj5d78ZIg+etKjIP1SCLTPHvQ/GXSJx0Bpq5UASV2NjpBZ+6A/PVxCakHr3UkWXEGKVHTy4+OcvV5bIpmjU/Y
    /+x9J28PcyEMtmPF5TwbJmLpTikO1c+Wy/1M91R6JgmVsywpqcQBlLSfSKs60TvZdty8HCh/UbTmfm83XfPnJ+zpHyTYV+0pX7raK5cK3quVnFGb
    +3IpzHesPVFxyQAthTDLFXUykEFwqeUQZbi2F8w/gS7vQKtxvhI5EPd7dNX8LUdTz1SSqG41SVOZbwSGyTnhVgdqDiEUhev3BjpoMueD4tMI10M9O16HTFIaGAdwsOFyDd8wLZpWyFDNm3kOQ
    /onAaywkV8prYWe2u30AT7k5W+M2ENE5MKsIHK78EQhov0xgBJkiIaLZ+SgCDcent8c3KhTLtqtStZLCi797+lfOrIP4NE+2ovKKk+VubyOwJ
    +k5BE897tbqKAKGF9QZ625JXgl7QH8OVG1NWZOxT/eUhUYwymTxIsSwKcmfvuPO1LAFbMs7B7voz26MfmDGEhWGiE0I0rZ1qAzNUNE7WM9
    +WrOICe4pTvBHucq34LxHXLxA4pRpw2VU4AVsTwQHdluiC5v/AJ4CP93V2c+ZGAHnZWJ/TOQXUwELeSxmk7g9wefVu7+3I34SteNvEOeb/cBDw1TldLbHHkH2IyZOet
    /80O93Ny0qxjg9SQ0HeteGNkU0nMv2E7I/QkkCoxSc9xuM4rp9xrEMbX3VxqgTx3FLgEje0iZzsW6HVZcY0kozyjNRVp5Yqwpx8TLLuRwKTHph3m/TVM+E/X0j537Di589q+m
    +CGHd03ID2QeY3GOmYA+iTEZ+rgMCB7j2QRNNUc2yygzmjUSgcuerGVvRtLHV/ffrYudF50Q7rG7kHqSQCFjJ0CvXjL/vQ6MlWaho69kD8TWan3crGKGT7Sx1UX2YwPGAp6MEViV
    +jDaEyNgFQXQ2sAvJkAhy9f2usVrP8Utrhho4Lt1upg7O81DclLNcAh277C/XY8bnPiiMS5lHnMvFsTPJ160ApUEAwsg5WL5o7wEzinS/1mvmXcJzAApdoqkxDRYwmzyUpoUQC2pKIa8t6UIw
    /6a1mDVF/e0fCkImZIJPP+ASvOdy8xYensAiaHf2r+7dP3PvDikBOQc+eSbhtxmW2bPen0oqz5Wjni+XIcMsYDyAH8qEgYUWEeVINhh/1ABwEBzfAHsKibdf4xxPmTapW7vUTsKLz
    /qCBY07Da3nFf2iTDtDewU90E3xpAImHtq+of7Mw7dWjgKZzbGy2Vx+BGik+23B
    /Aor03QMgUFleoBvs2Mjx2rYmfxfYWOTk0EMtcoObwZ3wP5GJj3WjL8wwvK0INGKoESCQ9n1wBxRqFfEBJMYx9ygu5k8KMtPX81IIzVu1iQKlrfPy/rCEnLnScm1MNroP3Y
    +9f1p0A4J3Vk5z5Qr7ZdD0kX9iEaPMOwMl16EtrISdA0Xu1N4i4HsqrT2Ns+xK6+C7o5II9/DKdAFfneNmBLnhYRUIc4JjG014PYvfnO05yyQwi+TMsd5nS8W7KR
    /xhlzARKXrqMka97BO1noP1D4zeYjSgAVHaE09IotNLjM/wq3UZy9GKngxAFL/6yfsf2raQTKrUseHq3AWzHrFL1wcpPOHYjhQKg+xX/Y0GyBgxhCQXLa1FfR2Pe5p6zroHF2j
    /tQFjsP0tf6byxDnbhYKqwDhTQemYDEGX3GVeLnILUNwV3JZ5OrYIhu4NJjDk1cs/ABR/ieq6NZ7iw9Dvave+5RYDp+n8caCWtPEfv4IvBohthcsCkrmID7nQ0/uXB4WJRUyImMxoJhfWS
    /jlg6JnbCEV7W+bahtDH9Smqn0JWgbwUSel/HWMo+87Bgce3pMI9a82V5hu/sqNAR55Pw6/cv1BdYm1M2yH+bvgfmA3DivRVTbGUOU90NNY2D7DrSrEZ/H+7f+xFOC
    /rI4dbisklC9y8klqxRUKcUqTRFLOxFpYzcFLW8vxEHAoBZLkfzAsyVwu4EnzK7WD/2DjCNZmsd5CpBLGabXl1bltpWSZmqMZI9toOX94dp40edJe5cEkb/+Vl8cKC9D/AG
    /hUrK8kS6rboSzIZ1CED9WNaFAlmiRChR1r4hZi+8fv4UT4h+niPIVU6TQ98SANImQE3ao71MzOWsXk76rxmDPWYQ0/JZXZgTJBBZGV6sm1+EySpiCFy9XzAKXPxZZmp
    /ORfmpno7Gu1Nir8l3JBoKBSG6GhFwopawMUDIuGlh+bPj9oIKcJibl8OgK6uZiMXbC+17fEfAEJWKtGYfgElecrxQD9hSE1sgn8Yoh+LxNJgIqhI3ZoVrVCVdA
    +YO05lsvSuVa02o7je4e7ySfSohPFnHTJPsQJMcKCs+LNfDxpv/wJkvjgDw59ZURVMFx0n/cwE7K7zW7jdqYUHpjo7pt79i/EiZEpDa6+U1Su5Itut67euVUUPd6ZsC69qk0yqkJ8zqRSsF
    /Iij6c1y1LQWws3IiaQvt211CZ7GI4WvFTT2eot/TdsV/6XDnnqbPxaCl4lkFyIVlaC0xeXsk4vGRAdCuGr3QLcvQ91Guz6dhr8aCZ/t
    /ySTLpwHDnOQCFsHD4TQAPCKIqUto9xrHt3jPJImAFZvd6+Zv2TKiWJbx0z+AVjXqDAB
    /iwaPo8Pde5GdQ4AhgbWvQytbrAHWPCO30bpqehlaQSnoh1AtoByT37kkjqcMJf4o2DV5CeAH52VuDsM5eRrJ7z5MjHLo7Zug7ye5
    +eJzkxgrSEsOAwsBgS9xTnqQrEZp7DHRIA9UNsiDgdsdiyI+GF5nX14+fpm8CMjWZrCOhQ7U/nxEyrR2A3YC9SQJ+NZK4vr
    +CNvm7gT7FYc4Pns1oXhWjywTVg72ZNyD4do4Z40twnqWOXUdr6W2WZ19FbBgxpnXrY79NIR7AQ4Ke8qZE2vHQJzOre24rvxwT51xVNp8B6E/0P9zof3vkc4Xn165HU
    /sv4uhterJEilz9D2JEj3JbnR3UbI+zZpsP8yLffXPPhqrvD1LMKdjcFcvwIYSW0nRtEaLOpHRipGbwo3H8Nb3kbZZCvIS9Ft/cJ+S
    /1ebA1iVkqbYifz0Ek4lAae2Vzfbqzxy0aVhGl9eg6FXc2XuhLo1KOc/bO7AQmcMuzbyktSYB2m83M5WjPgkV
    +nwQzkT20FuQkB8y32r28c3fwTlqfp5FUcn70PiHDK9VQBBhhCVJeb0QjITLyyiC/y2yb4nWrM3Eixj+JHDHTgjloziNsBbOIIodGAFAAD2AAAADgAAABoDADQh
    /BuBgGwUWEbl2XL5e2bUDcb1eZKPYGpvuDtmbPSDWbX/zEuV3s18s7za8ubx1aeBetQbQPbiEO5vZJA7ut7veXyjm/wRQQaTkzP9OEW12b+MIqXdlL88sdBBjTTs
    +KP5SPA9Q0vhNWgFTcSeOhkXjFO5DS1pRCqsiqIx5b+IbmD+jgq+DzzeI1r/Kxq/UT3hRcCcOB3m0+52AZDZiSWJxHu73fVx1J
    +WcKb89WiwRDgs1k5ZMIdmW0C3rd8TFXBOJ9JQTHiJEKC8PtkT8ENVHUqXH2TGmkn2zokwpMi60SpwN14wZklMBkU7k3oHOYOTACAAAAATAAAADgAAABoDAFgnPBpgHACHByYd0bNUAAAAAAAA
    AAEAAHQ1AABQUugrDAAAVVNRUkgB/lZBgPgOD4VnCgAAVUiJ5USLCUmJ0EiJ8kiNdwJWigf/yojBJAfA6QNIx8MA/f//SNPjiMFIjZxciPH//0iD48BqAEg53HX5U0iNewiKTv
    //yohHAojIwOkEiE8BJA+IB0iNT/xQQVdIjUcERTH/QVZBvgEAAABBVUUx7UFUVVNIiUwk8EiJRCTYuAEAAABIiXQk+EyJRCToicNEiUwk5A+2TwLT44nZSItcJDj/yYlMJNQPtk8B0
    +BIi0wk8P/IiUQk0A+2B8cBAAAAAMdEJMgAAAAAx0QkxAEAAADHRCTAAQAAAMdEJLwBAAAAxwMAAAAAiUQkzA+2TwEBwbgAAwAA0+AxyY24NgcAAEE5/3MTSItcJNiJyP
    /BOflmxwRDAATr60iLfCT4idBFMdJBg8v/MdJJifxJAcRMOecPhO8IAAAPtgdBweII/8JI/8dBCcKD+gR
    +40Q7fCTkD4PaCAAAi0Qk1EhjXCTISItUJNhEIfiJRCS4SGNsJLhIidhIweAESAHoQYH7////AEyNDEJ3Gkw55w+ElggAAA+2B0HB4ghBweMISP/HQQnCQQ+3EUSJ2MHoCw+3yg+vwUE5wg
    +DxQEAAEGJw7gACAAASItcJNgpyA+2TCTMvgEAAADB+AWNBAJBD7bVZkGJAYtEJNBEIfjT4LkIAAAAK0wkzNP6AdBpwAADAACDfCTIBonATI2MQ2wOAAAPjrgAAABIi1Qk6ESJ+EQp8A
    +2LAIB7Uhj1onrgeMAAQAAQYH7////AEhjw0mNBEFMjQRQdxpMOecPhNsHAAAPtgdBweIIQcHjCEj/x0EJwkEPt5AAAgAARInYwegLD7fKD6/BQTnCcyBBicO4AAgAAAH2KcjB
    +AWF240EAmZBiYAAAgAAdCHrLUEpw0EpwonQZsHoBY10NgFmKcKF22ZBiZAAAgAAdA6B/v8AAAAPjmH////reIH+/wAAAH9wSGPGQYH7////AE2NBEF3Gkw55w+EQwcAAA+2B0HB4ghBweMISP
    /HQQnCQQ+3EESJ2MHoCw+3yg+vwUE5wnMYQYnDuAAIAAAB9inIwfgFjQQCZkGJAOuhQSnDQSnCidBmwegFjXQ2AWYpwmZBiRDriEiLTCToRIn4Qf
    /HQYn1QIg0AYN8JMgDfw3HRCTIAAAAAOmmBgAAi1QkyItEJMiD6gOD6AaDfCTICQ9P0IlUJMjphwYAAEEpw0EpwonQZsHoBWYpwkiLRCTYQYH7
    ////AGZBiRFIjTRYdxpMOecPhHkGAAAPtgdBweIIQcHjCEj/x0EJwg
    +3loABAABEidjB6AsPt8oPr8FBOcJzTkGJw7gACAAATItMJNgpyItMJMREiXQkxMH4BY0EAotUJMCJTCTAZomGgAEAADHAg3wkyAaJVCS8D5
    /ASYHBZAYAAI0EQIlEJMjpVAIAAEEpw0EpwonQZsHoBWYpwkGB+////wBmiZaAAQAAdxpMOecPhNoFAAAPtgdBweIIQcHjCEj/x0EJwg
    +3lpgBAABEidjB6AsPt8oPr8FBOcIPg9AAAABBuAAIAABBicNIweMFRInAKcjB+AWNBAJmiYaYAQAASItEJNhIAdhBgfv///8ASI00aHcaTDnnD4RwBQAAD7YHQcHiCEHB4whI
    /8dBCcIPt5bgAQAARInYwegLD7fKD6/BQTnCc09BKchBicNBwfgFRYX/Qo0EAmaJhuABAAAPhCkFAAAxwIN8JMgGSItcJOgPn8CNRAAJiUQkyESJ+EQp8EQPtiwDRIn4Qf/HRIgsA
    +nYBAAAQSnDQSnCidBmwegFZinCZomW4AEAAOkRAQAAQSnDQSnCidBmwegFZinCQYH7////AGaJlpgBAAB3Gkw55w+EtQQAAA+2B0HB4ghBweMISP/HQQnCD7eWsAEAAESJ2MHoCw+3yg
    +vwUE5wnMgQYnDuAAIAAApyMH4BY0EAmaJhrABAACLRCTE6ZgAAABBKcNBKcKJ0GbB6AVmKcJBgfv///8AZomWsAEAAHcaTDnnD4REBAAAD7YHQcHiCEHB4whI
    /8dBCcIPt5bIAQAARInYwegLD7fKD6/BQTnCcx1BicO4AAgAACnIwfgFjQQCZomGyAEAAItEJMDrIkEpw0EpwonQZsHoBWYpwotEJLxmiZbIAQAAi1QkwIlUJLyLTCTEiUwkwESJdCTEQYnGMc
    CDfCTIBkyLTCTYD5/ASYHBaAoAAI1EQAiJRCTIQYH7////AHcaTDnnD4ScAwAAD7YHQcHiCEHB4whI/8dBCcJBD7cRRInYwegLD7fKD6
    /BQTnCcydBicO4AAgAAEUx7SnIwfgFjQQCZkGJAUhjRCS4SMHgBE2NRAEE63hBKcNBKcKJ0GbB6AVmKcJBgfv///8AZkGJEXcaTDnnD4QqAwAAD7YHQcHiCEHB4whI
    /8dBCcJBD7dRAkSJ2MHoCw+3yg+vwUE5wnM0QYnDuAAIAABBvQgAAAApyMH4BY0EAmZBiUECSGNEJLhIweAETY2EAQQBAABBuQMAAADrJ0Epw0EpwonQZsHoBU2NgQQCAABBvRAAAABmKcJmQY
    lRAkG5CAAAAESJy70BAAAASGPFQYH7////AEmNNEB3Gkw55w+EhwIAAA+2B0HB4ghBweMISP/HQQnCD7cORInYwegLD7fRD6/CQTnCcxdBicO4AAgAAAHtKdDB
    +AWNBAFmiQbrFkEpw0EpwonIZsHoBY1sLQFmKcFmiQ7/y3WRuAEAAABEicnT4CnFRAHtg3wkyAMPj8IBAACDRCTIB7gDAAAAg
    /0ED0zFSItcJNhBuAEAAABImEjB4AdMjYwDYAMAALsGAAAASWPAQYH7////AEmNNEF3Gkw55w+E0AEAAA+2B0HB4ghBweMISP/HQQnCD7cWRInYwegLD7fKD6
    /BQTnCcxhBicO4AAgAAEUBwCnIwfgFjQQCZokG6xdBKcNBKcKJ0GbB6AVHjUQAAWYpwmaJFv/LdY9Bg+hAQYP4A0WJxg+ODQEAAEGD5gFEicDR+EGDzgJBg/gNjXD
    /fyOJ8UiLXCTYSWPAQdPmSAHARInySI0UU0gpwkyNil4FAADrUY1w+0GB+////wB3Gkw55w+EGQEAAA+2B0HB4ghBweMISP/HQQnCQdHrRQH2RTnacgdFKdpBg84B
    /851x0yLTCTYQcHmBL4EAAAASYHBRAYAAEG9AQAAALsBAAAASGPDQYH7////AE2NBEF3Gkw55w+EuQAAAA+2B0HB4ghBweMISP/HQQnCQQ+3EESJ2MHoCw+3yg
    +vwUE5wnMYQYnDuAAIAAAB2ynIwfgFjQQCZkGJAOsaQSnDQSnCidBmwegFjVwbAUUJ7mYpwmZBiRBFAe3/znWIQf/GdECDxQJFOf53TUiLVCToRIn4RCnwRA+2LAJEifhB/8f
    /zUSILAIPlcIxwEQ7fCTkD5LAhcJ100Q7fCTkD4JF9///QYH7////AHcWTDnnuAEAAAB0I+sHuAEAAADrGkj/x4n4K0Qk
    +EiLTCTwSItcJDiJAUSJOzHAW11BXEFdQV5BX0iLdfhIi30Qi0sESAHOixNIAdfJ6wJXXllIifBIKchaSCnXWYk5W13DaB4AAABa6MUAAABQUk9UX0VYRUN8UFJPVF9XUklURSBmYWlsZWQuCg
    AKACRJbmZvOiBUaGlzIGZpbGUgaXMgcGFja2VkIHdpdGggdGhlIFVQWCBleGVjdXRhYmxlIHBhY2tlciBodHRwOi8vdXB4LnNmLm5ldCAkCgAkSWQ6IFVQWCAzLjk2IENvcHlyaWdodCAoQykg
    MTk5Ni0yMDIwIHRoZSBVUFggVGVhbS4gQWxsIFJpZ2h0cyBSZXNlcnZlZC4gJAoAkJCQag5aV17rAV5qAl9qAVgPBWp/X2o8WA8FXyn2agJYDwWFwHjcUEiNtw8AAACtg+D
    +QYnGVlutkkgB2q1Bla1JAfVIjY31////RIs5TCn5RSn3X0gpylJQSSnNV1FNKclBg8j
    /aiJBWlJeagNaKf9qCVgPBUkBxkiJRCQQSJdEi0QkCGoSQVpMie5qCVgPBUiLVCQYWVFIAcJIKchJicRIAehQSCUA8P//UEgpwlJIid6tUEiJ4UqNFCNJidWtUK1BkEiJ917
    /1VleX11qBVpqClgPBUH/5V3oPP///y9wcm9jL3NlbGYvZXhlAAABAAAPCAAAPQYAAA5JBQAaAwB0EnwaCDYK31X3GAsp2RVKBzyU2vOeVbVLjlXbCX5flQT8x362VCHQnZDvxDRSksSS8yQRU
    4y+tZgd5YrB8JYfxUK+ALUnjauY4G53cYDtTxFpsFov2DqpxMdx7dLyAogW99ID9wo474dci41R0IOas5rzKYeBwOhjfjR80wGXPI6lRqGU4hSPfCp9SY6a7S+rjuzTB9o7k/RGyyO8Y3jEE
    /CDthgzlokgIoESz5H3cyQU3ooqPpVMwCxpLPiJVZci7grutPLv9antoCvKC6CHFbg+Gsou0B4LKSiYX6dcvLD2MiLAa5PuB+8sN8jEn3W7
    +hAMS2rYHYmDYZd4lHKLLDTteKqS1smCF0UufswAKy1HnQ4gtyki+t3srcmV0H3K7yX88
    +244EvsY1V7P21JDOfz6VZaAvbfGNWusuooxtFaYwwmUeNZkhIxwwTGtbJQnQeYQZMplY8iFt9M8USZfX8EA6KXfAbk3jOU6hiJimrBrmLMDgLt
    +Y9khdQ8qxbNH6b3AwZfJTLbpio9LN5ZoTPllNQpAJriMSyMHbQGvMQ+fpqCvohxuj/RkFbGNm4qPMlQ3uTL0dJV7YANgPueiCss+ioFyFhjqup87unxfqegWxO8KA2WE
    /qUcauq1KnXtIZsMCUl3c10Q+iEtf9QWs+wWcYsCUj11OPiGZvAvWlDq0pC6ANu4v177ncl7EG7oq2vYpkJ1fJTvG7AJWwPe8iNyOLo6k2gHNfIxwDgMJ65Y2ti1lEYVE5Sdbz8HjVhWN
    /zCfaGeQ2noQ32apYU8wAngB8ZngkwSUNWnPl0p3GV/F0V/Zr26Lmj3o7xOe20tPkROkXj7kMYBEDEFtFvL9M6UZoqjZ+k1nu5pyt3hZa91Es9Dz6u0V5FbZGdna8dU0
    +uP68ER8rPOAKpi2Z6Fw1qvtMy2QfmORYQlHFPuBeR8/qngvg7PR8GfC1PQfJK0RO+T6DuUHkrad9tgfOABYs6orI242WFFBQi+0sSDKXNmGtrmBFIWX7pl
    /qb85vUM4bdS6cc9YAz7KYBpMUMGhDEWtN7askRpitFjrRl6+DCgEKmjMo0rl6wt97oEx83xphOzATiZh4E5Xwv
    +Pp8ccW64ttf5pjAgTdC0E86m3D3NeqiARwtAhrbqgubMlBvQk080Evy1rQh5sUk4mp9SC45idM
    +m3hInqeh5FBtrEsbSSQuDr8xxtoEM4yKR2e0rsRtOPmcoEsNSrTpD5teeHW2V2hcAfHY7ByXF66Hync/ZbsRyNoTh70VdBrOP6q1BfdkrY/bdOV18s80nmZwIh13x8XMnpZbCAsvHZUP4nk9P
    +5/Er8IdHWtsn4zmh9OFAaFKPwCqZlEbE6pwdYTXqlzFFVlSl9jjE8I+nLEhRqoN23BW6iO3aHcn8LGrLm5X65ivmV3YGgegtY2TMRzaiq3mStVq4JqqK2CbtSrEQd
    /do1NqV76xZG63vHpJmvrBSvnKh1mrW1GMb7UevucPbcOIb1TRpbwrsHY7K8gSk7HPbI2v+P1YXy1pDPCGHY4neUy3wRBuKF/LE6WPDxODBKgHsLtY6zP0nbDR1cB8RMpMkeZ
    /AT9ObBsplgaqeeRp9n8dD3gtLKyhnAA85J2htSrwWnpSzJhJsm2Gq1cBWNT9d0837i4oK48IA1X4vMUveva8lUidQSf+FSL0QqoX2bp7dLbsAsP2rQ6dk7s4jcMsQlvoXi8A0FA5z2vzjTAH7
    +or+htfohTiHs2YMfXxBJJMA/E1K41IpoxD6Tbzob0X83YLkXdJRGm7vQhI7Khe5zVfR1mqI8d/POnOS3K
    /bw4sun9tXzyXqjAK8b3KZIJ0LeLRBga5htUe8vfyICcjdt9oU4DCNsVhpLX0MqEpGsgi0ojKvyirasuT6JfFGI1nm2xVJw/oPYiHWMgmO2TJVPRvvxbLonrauC7LTdYoEsbzYlLJlOX0
    /rTfJTaCZrKbSjSK0RCehV6UMoKRe7gqxPMs3xPLM0i4mPSF3ZZovq2bVvEal4VqsDWcR+N65kUfPiUtJxcbLtzmd7ORQKgC/LrXA4Vw
    +49igaDGAWH3AvnmCO94K5WcH2RJC7yWtf4ZMztdzkdkUe674zvY7A2nm6/qQYGl0UABwAAAAcAAAAAAAAAAAAAAAAAAPgJAACiAgAADgAAABoDAAAMbnuxP3pRtoiysy8e3zsHh84IsuWku
    /GT8nRkvsngzr9ar8Rs7WkSqC93SYSu1WBAPcOzNrruqjcFYJq/ZvYo/mjeOyuMkFIdP2EI/TSpTx6YTCrH8
    /3bsqY7bcYhLWRoR8w3UhzWZ03RizmmbTzT9ceLsunXMVtaDFDPtJA1xwvbW3b3dR9T7J
    /S4mqnBJ0ckeWLhfvl5mmGxzHNsGj1cecF3W4dmKhY2i8xY2t5cUZW70UsviObzYpwsl4UDA9y6LVVavIYaaxMQKvrEfA7otRXH4
    /lQwscqLCirXpMVFM5ao6YzpIhKVJHtzCruAw9AZpoMb30dnB1WyYsBVGuJwmgMZXSWVD8O4MRY4S0W277J
    +TRhEyfHlKk7iDPPP0AminYKRhRkpK32K3rsQ6Nd9mHSBRreIbyvupkhbZICqhWkbovYbjj8mx1XJEJa2O0pYGU1fyOKm4zGzdiIPV8vV/BM+7nMM
    +3nUEkapqVd45j4AT1IQPE9MvZExcq57vOd+1Ia+lcLCAa7g/7FssTU8cfBea1ChwkOOPnfYZPahnVgy4zgWt4CHvmAHI5LpFcME2X
    /aumkU2nmsNxnt4eJJfnDLRerksUuww5h10QjKE3wnqS3dcsYgR0oc/ezwAXMnbZPBfgYgdcfq+JhYKIr7CvVc809gmB+mTfh130hRQd3J6l/CZtuG1kThG5uPp7Qk/+6JPeWYRyztflxcz
    +bwIwmWHuelGrkotrjOjq5REzNAX/14/R2WoIjvf+enXm9Ak3KaewlVPer9amVw+P+ix8C50UNObPs42hfUvMgBMLy5VZ6upZ+JAxqdqlhyLldcWmz0/RCdBKP3px4pKysGdt459v6n6wHA
    +dyXstyoNFYx7esMAKKYUdXUJhAAAAAFVQWCEAAAAAAAAAVVBYIQ0WDgrT1SeVGkKLNPgJAACiAgAAyHcAAEkFAA/0AAAA";<hide>
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0