提出 #37630508
ソースコード 拡げる
// This code is generated by [rsk0315/cargo-atcoder](https://github.com/rsk0315/cargo-atcoder) forked from [tanakh/cargo-atcoder](https://github.com/tanakh/cargo-atcoder).
// Original source code:
const _: &str = r#"
use proconio::{input, marker::Chars};
fn main() {
input! {
s: Chars,
t: Chars,
}
let m = s.len();
let n = t.len();
let mut dp = vec![vec![0; n + 1]; m + 1];
let mut prev = vec![vec![0; n + 1]; m + 1];
for i in 1..=m {
for j in 1..=n {
let max = dp[i - 1][j].max(dp[i][j - 1]).max(
dp[i - 1][j - 1] + if s[i - 1] == t[j - 1] { 1 } else { 0 },
);
dp[i][j] = max;
prev[i][j] = if max == dp[i - 1][j] {
1
} else if max == dp[i][j - 1] {
2
} else {
3
};
}
}
let mut res = vec![];
let (mut i, mut j) = (m, n);
while dp[i][j] > 0 {
if prev[i][j] == 1 {
i -= 1;
} else if prev[i][j] == 2 {
j -= 1;
} else {
i -= 1;
j -= 1;
res.push(s[i]);
}
}
let res: String = res.into_iter().rev().collect();
println!("{}", res);
}
"#;
fn main() {
let exe = std::env::temp_dir().join("bin92F34E93");
std::io::Write::write_all(&mut std::fs::File::create(&exe).unwrap(), &decode(BIN)).unwrap();
#[cfg(unix)]
fn executable(exe: &std::path::Path) {
std::fs::set_permissions(exe, std::os::unix::fs::PermissionsExt::from_mode(0o755)).unwrap();
}
#[cfg(not(unix))]
fn executable(_: &std::path::Path) {}
executable(&exe);
std::process::exit(std::process::Command::new(&exe).status().unwrap().code().unwrap())
}
fn decode(v: &str) -> Vec<u8> {
let mut ret = vec![];
let mut buf = 0;
let mut tbl = vec![64; 256];
for i in 0..64 { tbl[TBL[i] as usize] = i as u8; }
for (i, c) in v.bytes().filter_map(|c| { let c = tbl[c as usize]; if c < 64 { Some(c) } else { None } }).enumerate() {
match i % 4 {
0 => buf = c << 2,
1 => { ret.push(buf | c >> 4); buf = c << 4; }
2 => { ret.push(buf | c >> 2); buf = c << 6; }
3 => ret.push(buf | c),
_ => unreachable!(),
}
}
ret
}
const TBL: &[u8] = b"ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/";
const BIN: &str = "
f0VMRgIBAQAAAAAAAAAAAAMAPgABAAAA2OYAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAEAAOAADAAAA
AAAAAAEAAAAGAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAABIoQAAAAAAAAAQAAAAAAAA
AQAAAAUAAAAAAAAAAAAAAACwAAAAAAAAALAAAAAAAAB3SQAAAAAAAHdJAAAAAAAAABAAAAAAAABR5XRk
BgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAQAAAAAAAAAK8mgKpVUFgh
qBIOFgAAAADwmAAA9l4AAOACAACvAAAADgAAABoDAD+RRYRoPYmm2orhgzJO2QUTi7FeZuKpbSMhr2ye
JX6NiTpWnfrdf8tMKF4inHA2s2clKtxiUn+cxPFI802g1YBQQygOBjZeXyBmEivUnBvTTqrcbSGEv1H0
4YbMqqzpoLHnpQTdoMBeC2NbPYf6yHYwP5floaWAQDPrKlfcofs7TockLvB4+lDOraCLnkjObPvOnxGH
0e912C0NsE30ho2at/SH2QCGnNQeVndADwAAWQMAAA4AAAAaAwAXmwkmM3GmCYALHTJPNRq/liYhnSgP
FX2WO3CstB0TYQRuPnDn/eIVCsd0PzwJH8GA1GB2qWi53NxlkcK/flqxNNr6ah+8HpAtqjPvor6k0m8K
YA8trGtOv2itqm+Y2qpt6LH7NtWO9Tsuwa3I7H/j6GkB8pjduDBsSdSvfQXtnbMqSGIhc11R0Y/DfDMJ
33Z08iF3lnRGy35iHtgnbkXHCN2sYDB/6ryo4vgQTHIRQv822drT0B8LMnNDEX/MWsAyqj5pX/i1UxMy
ETCCRSJGXxlMWOvFofCx8upacun2PKuftUM821sCQRWCEhI1KMaperurZZDq/1+ta42S6EmXVRreMEs6
hbXu/cfkSnqqegLVjzUi/Iw6tL2yinnWAlYdIsfu8ez6mkmx1DhztNgwwyC1G+ozUFDEl5UylLAllUUn
4wN/nmdUIE1FQB86auLMbAn+DTkisLJgEUCWWJkvFSQo/W9F756e5R3MIOTisJDy1KznAjX1rb9JKWGO
YCg7JT+osMKw0vVdeTYON3J62eGFs1glQMSHGJWJXS7dHWy8JVB44KUcSjxfNpING5ct7lYY0pX3qgwc
GFoAyt8V1B6QTEMHjMDDNvIcu6jYgVn0HB8lGRUGYx3T1qcM13lHOBphSxky+kLJO1ATd8Zg52EsV7bF
/96qBnD9+eaHMBnE0TSbqGSRLifbqL4oUT3+NZ1o7dHd4dpoTzngjhEbPo91oU45lrYP4M5u7JvD/7XM
/mY2biEW1yqO9/yWv8Vp+vdmiMzEdLjyJQfImGX9O3+LZus1nsb+yD3Nkyl+5ocL6FyZZjo1hLs6qO5A
bdPKiATH4acwDbgno7yz88OxBuk1mcyveqSpHN/ZcoCt6uJtQEK2XsRpsOPxdNGdGwRl7UK/D6e+Z/JV
+/8pOvnlahErLMRLU3jTgoGg8ytGqROKIYuj27irhDnTQ0OpDzlyTzbGszQlLW/a9W+II4PY4TseKVoj
XclNH3hhVBjwkC27R2fWXVJ6JjAAA+SxviPxJ33PqhEfpWtlGJaomwNx61LmzJAq7zHwA40tIXAi06NU
Ggnq/EBca8AtJbNBrLEjZDtszYU758vN4OXK/UfiLvdyVJwn1pvkBHLsbLag/mC1bxlts/ZeAACILQAA
DkkBABoDACQg2YCCWrE856hvaK/5xFJSHJplR/GYtQDiQXd+il3HZNp0+xL8yPRNoVHqZjkpABINKXk3
gdDunf+30nx/HG0kHADmMBFFSfn3jJLoQwHfj5TXI5JRPmhkj+iHzAUqxSMC5zxoOBWSgbJ8yX6Fi67e
1EmAJkdVzNTHNlDl1D1EEbXjYRec3yOuHZ/PgZtQC6pD1MjfLUnkVWyhNQwVJphA0iMSd0IYNmJ2uEzs
BxGDkJdI0sN1JgU47Cqz38MxLiaDNLO0nJcnPOvOsCJ2pahtclYM8ToPk59SUPtiNr5KMk9PB8iDUYeD
EjzaGPMt7kxnJ09AWfaV6tcNEKvINjnYu84mIFAyU1gISw3gv4oW0HAoT8D5Wi+1uD5bT0ez1nEbmxV3
Uo3voYFRwb3BOsyJ13v2udx2k3eMZ58LtwKNQnnkQovanORdjBQQn9ZC27zpVlUgP0rCaxJI5UgD4RHM
FMPjrrR58+5DW99YJtALVX9uFMkSeQg3kBTXBJm7ZKQMdBvc5EgUeK0VwdaCYv90IGSfzolq4z+vZ2UU
B0A/INQ/Lh3sLkdGJSxITrjWGPBuaIqzqF7MKq2vGARDKY4bG+mzmCACz/oZf4kApVblPeirrjw54Www
h1eSc3sRSKcYLIz6qwT40CGq7W5xSpTObFbJPc4pN6x7KTZnmalmmYHFlkGqxOE8Pmk+TD6qjRF6a0Gz
1OvhMzLRB6CMx30r/T+ADhxlzYNJENihxD3xx5Bot6nH3iVbKdMKJFLF4qdLfo+TA/64Ne3nRTM+Yq/Y
38ecPEQX12IX71sfetWlhpg3P41Xnj18TinTVBjk13xFo8t1zRFGt/C2iCouD+TscMzX8I7EaZdatBoe
8y036eU//oujbdWyLtu0FOGSk5IBo6Y1UTxBJRzxZQlBcPCJeUoEqzI2z7Nb15LNhRtRZxyQ/2MwwXIS
UZs25dbzOho9zgZLp8HewopDdJxBiw/mHhih1Ybpo9ZwrBskXPDjKHnSDAjt8dmPxArEQxQuoHReeSqQ
6EGm9GXX5xGzZ9evQUlCicpgySEkn23BObJqK80l33G/dCOXL+PlAgYViwZYoqiwr7Km6MZ+Mgs7+Wwz
y6eLETwwLGjjN1Gh6xFc/iTEllZAjciJ4xMbrDc0uBL/N1TKKoevdEp0dX8cgu8w7xMKkJI3hZUmKGY3
+yYlJAniG0J7Q8EwwIL9rjMj47unIO83DHZixloaRACTqM37lCulBLDaWelZUPSrAbwdNyaR/ZTSkfD6
qrNyDbbFnm2aTyBYweb3uUpCyWYBMjUmWpo8C+5e9ZpvSSAUnUZGjLDyBBN2IGQ/swlAFar1YyyrzJIP
iPMGNWc5uyZ+AyPtDuzwY8VcOpwiySZ7H5pKMYOYcQQ4ExucNx9TTgWP9zhiMCr3x9IGaHjqkbZhNk3f
jiUaJRADPH8+lSUXz9u5nTO+2AfiSUdXebHYIDou5hGn5vrTT+69OHbM6oqwqXmcDAJRv2msQICmFSg3
YxyT6VGEk928AgIcc1aymJNnskV380r/Nb2Y7CQYClBE+R05hZnZUcKe3aO9KUEYwzaPjeGpjY0BN04p
D8ZlUkmFra/9MTxH8gWuXInbAdgLZyYx9Q7jv3pCHgNz+k3XY2xCIOd/3weOkWbKjvFQW5XGGwvriyeI
anzV8WDAYoK7aDJynv1HI7bbx1LnAp7eQy1HPGpAu7NbXxdn76+ItT4ERaghVLZpHilTm+RtJmskFbOi
W46zbi+F17FkEvoFt7cJpLwzHrEUcNre5gmC4YEGH7+RZyGf15WVz1oM7UBPyP/GZUZNZf4DGhuEa2/6
eQMQa43/Uw1TAp2JnOMFeJUgBwCE/Qk7/3qbPEUSYFrpqVc5gPsYLGlpZGft+sWgNpxTPyGarRFeS4EZ
oRW72bkKe+7Q+KKY9WEffOYIzPGzw+Jd8rO9M/DPkihFW81dPxP3+WUPQessZXs4qIr1Qd6BF2twMDUs
3Xnly0F71VYJ0xmvfJXNVWC/JWGLTtoXuk5gc16+3TVPOGSCJ2RDeE+MSzR8LvS/EHxDA1ttiY5aOg2z
Luap3FgnsoB+PdOF7PZYPoYXzFwERNaoFna4p2YsU6JMLmuAaWkb3EczXqGAlLt2Uv/WxzufSF+Ijn09
KANTXsnQiXiJ5Ri8zlPCelHXhtiE3aUv7mCXqHEtYVFZwT2Rw5uDsAy1TVj1ySIA64csCAztA9B9cvjU
zzIqVR0WNIcQgaziwvRfj7vYxmS4DYDqEY4aPJ0BjSDNGhEHOjoOQpH2Tj7HaIJBbQfX4byGkQZBb71r
cjitO3c+tcb/4mFCioe+jgiUiCrbdPuZBAkz2UHxJf7sOeHwIhSEfPNjPuwzGQK/WhZARtiB3im7cTwk
YSKOJ0UXk/yglCFyY9YpAcpz/x0SkffxSFnuRLFz7K7/1mzxHweyQjOWvoroh8DqDbAuWX4afED98aD+
yQMiWlXl4OwmEW34FQJwOjirXhXm2XqFBRkkRpOE1/xMKCHvznLhJhandSAWzMnFWN3DTp4cfN3J77mQ
ps5jmPYq/GbvPBgM0mISUB2WOAop8MnQyhRYdTPNVehGRu1kdyrrZ4gStjWuVLNMky4/nOsX3ZsPBK8a
bVexsYaWeceQ5+tfSsXHlTBe9bFAr/nRl6oxTKxwIyGFPtvTxl0IZZ19BcQtTvt9VLBtaizVJE2wuFT6
3u/Gtyv1UfWgq2kFqrJckA6Al7gjIfLI4UO8HTIy22RcavXdP+1WpUYY5V9woAzGPjGaim8jBPMvqQ2l
ZhIfrAEbZ+CWCK88ianIJtwvMyESuuiWsvZE6pvS2orekQr1L13RLa5dKflQfE+MLFlNyyi0G6BX0v9s
mNfmJy2EH74GMJskUJKtkH5CbT28qJBKbgCYx0gMv9FJ0qzViMvk+1QkuhhZkRvi8P3Y++RD41j99VvA
OKkULuEmuK4RUcz6xSLRjwG66oRRrxL4l34eZHBJVxk9gtyZzNcI0eb42w9ZYVQiYNQUygIFpS7eh3n8
PFAk7tqB0OI76tMfJa4ROnBHhj3py3h+Db+sb5Gv9Ds+HjlAYEjAHICsaWkS7u09F/o141maTI5Gezqv
ZJcSaj2xIAv6tlYUewOvJloSxboWb/491G5G1t5vyXeQ6s5pIGjGfVNnWDCPS0j00STV/FLRNEmjgzRQ
S8tQ3trNVCOlOkLnfqs7m4e7f8W9MNEu3Vtb5iyTIQmZXbBfZzGwX23/Rw1qxAaFlWhwSb9KjyjqP2yS
Xgp6T03Vs6PpMZprXIAZVRX44pPs6nlYMWLz8EQDcPrE2CnHQ0CeRos+0D/hAjSeTKZxc1if+kM+75wH
zC4ebxNBQ0536YlPKOJtvk2jbDtMEix9yUDuBoxp3L/fiWCw/eW3qKAZ9Of9q1ZAcKw7J+T92qGM8tB+
R7O+D+7MLpiAtn9iQfQ5Qif7gFzPK77pEHe+MEVJJ49RfleVlKfGiG7YDpHZEfod+G0sZkhi/CBadpv/
2DJQS9gJggK6KORl7ME9QazXhWqEovvTW+Do64PxefKHM9Ot+unrpw3/nGv2Fu5TNluIZF32fI1qREV6
4F5bN6Bqw8/SLXjzDMRPzDdS7VhrrdOLN+Y+RzKScYCgRFWoih06oTDLX2R8haBAOW8KucnaMwszkqFg
A22GT/1E1ymRIIftLgxAQpPW3R/bqbMBzkW7kPhVcbo72ktQMqgjmcszwRR3BaqG4fBdXEoyidi6ysln
q0HBlPCBxP31TYM+KhrelcU6Ib9VtShv2yT5EEDJeiwd5LztifYgb9wn7KU4t4y6N8mLWWH/WM0p2gQi
SOzHLOSTWiKZwqDATHknjeQgbyXd6J8AfQOOlWxiwwMFou9hOFeggUZLFHPT3UNmZ7zid6N8sZYJA+Tn
JMkGZwXMN9cEyc1oDHRxTZzWSKHmhkP17AWQIhUPqh2bVqdFHLuaGoKA/egrMfDwlqj4f0zGdgTSAPsg
OqNrJ6dfTMK7tqjb1dl1GX8rZwKN7tXsK9/h8yLS1BBnwzFIbmNINryadOeWCr049qAbdTLv3eskY7M+
heJKWKaZHiPTpLvAJxxBovkiitGRNnDCgzL1x6Q1lCb3JJCgd9c1TPbeeSNCF/po8shnl1HsLG+pXJqb
/jqFPXb4rn8dCCJdM+WOmWN4jd0PtzFNy1uBE9NmAPI9p7YeP8H+SfsW6sxxGCzoGiXjCmAw0pSa4UMN
RxJ4QV6t6Z+xf8BMHRVq1J0zyV2fcwd5kOhPN+VSIhAsIs8UdRBSBP0LGbB+bPgNBmUVyz+LWu5bxCAO
eKScZ7Rfeq6d2nl0Qk6XDQojQVEPlw8H+nKbZySyApIbLknDU/dnZFEeNIK4NmcrztPLcEboLzUtrcMu
uf9Kw718dEfaXw6rlsMzqCzdvtAQxzrWZbEpAPdjgoOYyJo/Y/zWDwQ3MkjAHAsx1tk/0nc1xbwQc6Kq
UBYrZUBMYLfJyCHnxj88BMyHZMZpcChJoVMsmC1LJWihIz1hLtPdbpi8+uKZyvETnyRS/rpHyxCKM4kN
wSIhyjPKhocyJBauTJXvd1VtGdh4HOjiY849pVqNdAeVlbZ3cOt/mZX0pqG0GxLcq3WBdtzCXnuO6+HB
1jkQqARxiMDZiiXC8bVq29zaNpK6RSyn51s3OgbLS/6FN9z7pMpBu0t7CW2X/IKW62EDUvA5Fbs/+j0H
BUac1argkXXXzI74taQjXx4/V7nKwigs4ZvNRukkzvE6rsp7r2B7NGri8TVlA3wwH/3gL0N10HuYiIjq
aR3NBlyfuReysjBYxOH5ymht+gs48dpxNXW+0JWyc9V/fN3oHFrpcNfQa48WfDe/1q2Yrb3BdumbaoMt
rvQw5Csadpo7KhfHRBsGjPZm+71hxDFkR8KF57kTQ4EWq+G6Tu6JTvLCK2AA30FyZ/G1m24GHPHbI3CQ
lo7wgY/PYZm+zoZUR1QZmf5EjcJACSU48vC2LEIGKOCsRWxqoUq7KrLo7qO943ak2r/5H/Pf2J/IFm4+
uJo6gR04zkSkAwp5j225f9k3Dt4Fskh7ZiOe4vz9ycH5z/EKd+um2cLnHUnLnDZY7ui+1ZlFsLNtqlRl
t/v3BEOF7kqqZJmdjyGnzx5Hl+AB70WhuEnklav+9qn9sD9a4rwGQFZyKLwU5PA44DFFRIuxXl0rlJVE
nXFcizkv8vc+oCOgVw4KrLTfPxZiRrez8UgWpxTTJ+oFHSS7Z0pBFUGp4Bh5e8RfxFWQBVLFuSG7/hMi
2hns3jT5JxVTGFItB22KOm1jakmM1OVMLJki03rT8P1pbATgO+zEWwoB2MviB3fe1CbX+j02STH904oO
NXnq+A8woTef21i8OD2S7wN38rkY1tWplXwsoAA22oOQPv9r3kSFJYmpNcgJaXEthtsPeL/Q6q2KFqXV
XTaHKK4tk4bYEhyHDw7/Ws1DzLbYwAKex3hZsCW4apGebZ4rV3ihNcSKdgHS4kqFEWrOeXQ7fMpegwH3
K5kcKxUWvgd0RNWwenaCHN+XlPcT+j9TyVlPX5SddAVFdXJmyKxbJkOlZ+NpBsK1kj2L6+A99F0XggQL
5BrKpIyBIoElyu7CZ2mxMFx+sdWvugPZa0o27Zse1IwqQLbuFtmTxwGJRyegClE+6MlgR/30warVJGk1
K0LEe6luVx18gCZBm71C85wdF4YOsfuS7hwkD3tqNfEgkoXnZLwGiTuXkAG+ewKO4sKAyZCXDlRSM9cR
24WpjDf9JkuSoOeA3aS7rLu399xclptR92jXx7sSHuYV6vSzeAwce7vhUPNYs+syvw6AOvdgW8Uj5Av+
Pgt0fc1oPxIa2kFZDv1XgomikKiOwvEYy+o1WZmvlVwZV9zoR+TOwcSA8u1uOrrkI8gt5kyyE1em6Od8
AtsUgEo0tXcCUMJEkH6VPue23hWojc1mlzHUfMLsLheeODbqoCFiKjG89u2QK0oKZXbQIM0Zquj9h4Ip
yv53OveG24WOn8XxbpnMbEzW535IfN/wiTNUM4mQmSBtkiKmjSxYDSYH3WK5SfWfEwwPbd7zWGnFGlBu
RwK8vd6dhHZ9lGTScMGiR11qiXYGfOdMMscNkFatD2+16Ap8TTxJS4sncPsjWw2D6+2Ud1nlJOQa5gOM
MpJoQ/gFoENT10wz587tHZORq1PgwFMYK3158N0td0yWwTvjhrPszpBj40F5AIG3g45+1dpN9E1+7tzZ
Wv2FoGpL6Q5SYZl3eea1tjPr9wRg9f5+VI82FynlulsJZUH+87ykugkDxCjRq6KGp/I5JhWnYWzM9MIO
Raz5oRHJLfCUYw+W+UF7gUdLygjqqpyTpvwtHuerDm9zf9mfBEs5g0xa2mwIyGvXD2g+fbC1iSRRt6Cf
TYwIdoj6ySbRZEBJaeiFJ/Q/66UPpgEKLwZKFd/V62ex2YJxIuWXnPLTIJBdvFn10zi6KJyVeDXbWGFU
X+O/58y6hrgQMH4AmPxH46OxFL81VGVPcjKaO7GVsNw/zQaC34Ddq7+0aESvShArkT9jRQQ96Ek2NNJB
oPsya4sfWU4WFW7LTk0Xx77JkKEEY6oZW1DxCFq6bQRiHP9YScO28j47beJ3KkXtR7wQPCkbOhqtzuq+
PLoSmSstJVGoKq5177AOz9dHSC3wW4aHbHf7nwoNjXq0ZF8xzIpl114kktjUSh7lRJKyxVmU0OUqW/KD
PskMIwhSTtFLs0lbL1mwU2n6Es0pyGXgbEBAUfp4bQZp/Q69Z3mg02gUwabhycEKeaLAivxcZDyRTJvg
a8PsNJ/R8TA7Ug60PaAJrr4AtMYsWem5Hw7a0YkRgamPlbhEy5YWpmuT8s20xxA5VY9AJN/9BcGin0lc
+12ixI16wDimXx4oUvM7j/vUAcgdGvhn7YGeL+Hzw+uVvUgZdrbT38xpz4NdRkNsdD10t9YBAL4k+9Ay
LObFk+w2CkFTfvdloGfHaVm5AU4vvUgU45v2E/FyW00jORln4FrCz6qmFjAjraabSNUe6sp9Xc9mss7j
WDYLI7yLlQ/moNAYaOffkMMwhD5RYBFKyiGOCbgbJ3Nv9KtSULq9hDR6XOezDHAEXmLYOlwZj1XtmkAn
x7h52Iz35fo2EHlfrVWeTBoBhul590dol30lE9TLDMqJ+neTXQbiY+MymRkjJhdjH1LdIx5ahwEoWPOa
LWxEG1tfcCOooMJSeWQt0NWBiakizuZ3o2CSYXApUtnqASjZhPjuRMqNh3zog/xpeSioAx3dyIPH0Zl5
VUeJ8H5C3jpLzD59M8dOtjo0mEOCF+5+IiRrz6v3SlOAI8l3DRimSWYkjVpn1R5lpl5A4B9AHiZ0Rard
5A6AqO7PiXq2ttGtsD9e3hKaGZVwXVPsMX05sgRtAJ0uFbsy/tozO8uNIaVB+xPlAH7W5+RThrEJ5B66
O5EfJeXZ1Gl+lpUk4/XECIG6znjvNxLjhdw+B7b9tQQtfgNqaeCZn647lS+RHAJZ53DinahgFDzMR9fG
7sqaBgdqGECzIvZ/z97T32mMKI/rWpHYCrtEhaXQ6DHjHeNwAwNl9/he3DcyI83ro/oeZy9YRBDYusu2
aYND0sxZB/pSexJSzOA9VwdwcfFtwfyjGJpqB66vc1y1kelsGDW/VSxyfsjIkBScfIpjXRlN4lWs3GFs
J1HB/nAS5lDqKsCj/6rhPh83V15w3zRBIbkYGZUPWoOuP8BYEZ18cfpKqIdz4ZVlEMJLfalj62gU5kjv
tt3u15hSwhxHi6Qk4z3xOW3jVkP5Mx0/x0m492ayyzAF2SsfTrJdqLWnkHy8QurJhDHhiDkKUzOq2fMQ
Ev947Ca9S0HncOze0hFl3twvcvWiAFo7MgkYHmxW7doaJcbYbwaMKKxFxy7QHy39ZA1qyMRUfvfYUt1S
si2iOmK5UXLDhCRVRWcQE6jDD+4Gw61fZmuLTQ2KXH6pR+YN2NQ1hxAm00qxsrXVwk6eXrBMhub4KFek
pWu4V7w8NN6pJs+coETMDxyoHLA6pFVeu0CuVAiBoEtcwbdIx6oVHaFRO7DgJlIBiZRwLQ2SzVY4VZ/e
a9XgLj6h4DHn27f+ZqcA28atk1Z0s4eQghBzXTx1/kpjHWhP9E619xINnrnQhaLSUAMDIv46e+xkAhDe
BMbWo6xfbkLkVzuCGZ/Vn/sepr4uYvyz5cXJQox7rcLb/7TiRZXtasd67A6IlHlKBRGT99IkLrBOEL8K
KsU3VCHElzFFSsEyNpqWMH7oA8IDk4To6mDtJJpZKrLMy66O/Y2GcxeON9LXuC2lzW8w5Q45G4jdq2Hw
87lQgsFSqtaHR2fVuMxHbCkzmlKDNd04JHyhamhW+rh4oWbXpJm8nd9XhqdC5Sb7YceMajdJloVZ656o
KmdR1pTaaUZqFmK5/Mx2rQmEGbIfhy0bijQX56aqQEgJ4CFEAViW1goEGDB6yXtDQmHa+2WiApHCUdk1
wH/LYTFK2lnYYMNslrq7gq+qzY11Rvco6QDR4lO3j6j766iTmdDNXTSUgDjXz2B1XWvK2IF5VM5iE097
x8uEsTaLTDYPuYziKQAXdl6s/P8BvNGFQmyaPzIpRtcQ8gPsGoom+k3L8GaWNG8q0Jvtw9pR9OXIWREu
bwJ1X3jSq6mGjr/L/25LXJMXopBrr2hfAmX1YsIzfehoovjcfQ5cW1ud4oeksjjp0hqs7CkpmMhlLpXC
Up8VfNjYyhWTC8Li0Xny3CQfqUwfvlnDpcxYFGmsZkE1DRkhITkbtoGIAbLuqmzNi6wwN9c0Rm84xo+w
PZ3mKZVIPF6dDyuoXKtp2Uwk2sEUJgYNg5ZKogaGMkrlTzkZ/+OLF6OHsXRXqc790pGicn/EqJyAaLmS
Jj+J6UUAy1AjyDbuQCCAG0PMSo8XBIRsTYmlGetKrPt92N7jPsmbL21buL2Ry+k19jffkjbQ7flfCTmL
uXw0alC7tP1x8JeLk8D2jqMuuVQZtz4fiTJlfjP1s4s3Bt6dy9xQ8mVU+gP28qdTiZlQUJU+NonB3ZJZ
e4Yhl29nGqM17n3iDZGR3KAizduZkyVRJKk60wXRY8GshBtWKPVsmll1g51fN/ks0BPMANGZVKaPmAqf
tuR4pNXpRqoRe9ZFvk5fZFf4xsjxp113epKxd5GPHKgY9LeaGlofl4l0wQN6MWIV4ZUdZSk5uSWttxVK
vCQvo7NZitfSLC0i2y2hLCiP5jGGEnwq+3H04BJfa/Sx+kIFSA9i5RZwRkgRFM6JAFKeoj8PwQvXDbvF
She2BUyrKtfUexTeuh8LdrfthjwO1/JDCcAfFZa2mluRjNBKi8Npo01+Mwrw5DNVWv5btuLlOGho/xs8
El4/WcDxvTWruzIiVVwwUeW+zkWfbeYPrV0Y3Ya9cmK5fH9sD5BOPEOAAd5IT7gcKNqsm8+wYV1d20iL
2LW0F6LEXobA64pQbMsuFUgb0mBePgDVj+3w4aB0f6Ubv/RWcJbWWdq5Vp4S7VUDMePZPecn7CJufvlm
0pe7YBlG7+h9a3geieqHViHU2FMMN9xcHHks6l4mONpVI/SSBk0srLFOITcAIsStQGOUwoTEP5bWnWdV
TCKF+aS4freEs4X12ZMut6r8oVMWgxAPmMVYnd6R93i4GVveR9TsA4cFMUobU04ySMHTxDRIhORKpuWu
b6lAGrn0SPJ6g38aQ5Zmef2g3jO7jA/9xjWflMQkKgtjeyF2swfhERrbaR+JfgwkxWi4jXOSoWBmEb/j
P3eitbGUNtleZKeSrjM1MKAYAzUznJE3KW+dQaoobDCxt2UjjZ9jtGuFvJrRs2BJhKfrH8TpiCdNL86X
yLtSSCSiiMfz99KWzrxckKr6jhqok3s48/lrV+pJEIJruzvKhDbV26i+ob+Y0m2LXeRcb6Wal8SGvGV6
E64k+2kE+h0QswjSNpvNuNJNpp9rHYdq4qBB6CcIjZDkvVs4RP3i/sjySUTnusl315Bc/GreG8wc+n2p
XwB/Twd9LZDg8ZYDyvdmN+EJnz/2XVJDlsrYMCq7NopX5jSu0iLKZ6Rxlr1H0vJLo3joRJKunt1rxpS6
zMIBZc+Xz0D8Hx9GmV9TlBXktBZKqWgHanl7ZBLPOsK2mCaYunm6OhScVdANSOQWvtpvQLWjXMFgzUaF
CZyGerH19SkK1WpK/p23TRpihm0ozQr7dAw3u5527UfCEwmGxT/JLJA6Y7gBj9DkOtvhk12lsS4XSwow
i/KmKL9nentFYer5WriIpdENRAox1V//6eGXWdsV+acyyQVMsYToyu+GTc99uyFTEfhwpnZehl+Q9JEs
tWg0USlgTPiCMteXQ0PKKuOmXOQdA/50T+OdMmUqpG0waImN8o8cYqSwRRTX/7gNsRnvZUa9clR1Q9ir
+NQxxbi4GCZudnvKrRAwVuLW/3t8RO8dcVBewtr9JUbUegwlRZhSuFXV4DSIjWYE/0NpVYBeqtr7A8/4
tk3w4qsnBt/r+jg+5pUuFp0KErhPRTmfUO0W41CJAxtaA9J45FtrIzmNFbz0mb67gmOotKbY99YvkQlQ
yamsaO+/z6wKJRbD57rS0NU0lVLi+XVgyy8WM2OKW1ijH0Sc71q8zh0VN4zWahcNlpSSY7OYqVRYBgsZ
xaJQj+QxuPsohaO3DPYzZvYbtUgiG10NPpebvnPh3fqIlZ+cxaFBRScxBJh0Uhc7fJHdDL5y7wboPsex
6j/o1nu7sG/U1YyZf11JTqg9z+L/ei2yWsbpFFpq8J2mKOPzJ8XuLNlZu+Dai/JOzZJmX+/xfNN6S7a9
t3kA5xgMo3I+xDVLsQwNE9WUbZVsIoHYoRPVdHtj5IbAzIVPnaG/oQqPvhAgkQd+ZSLany53fJnQeh3p
yuGFmrqircIxRvb7CV6S/Hkuo05vgm5FRnuyc1M5UPo0z008N9bkpdERf/FyD5Y4G7IKnJqwmb65mFb0
lCUPlwnUXWhQwSdzA9huBR93UUNNDW097A55aQ578gK8vpsWtSsFjn++aP/OowmRJGhcT5FrkXXwh2Sv
tCY8c7ZnUO1OrzrIMX/aavdKSQEUGwmEoauaQeYnBnP2BsJPaOlvjc4G/PEXiYUYoHJPc7a6hxBnTcFj
ILZSyIe0boyPs86OGXcZBPJVeXSRIVi3qxvRZ1monmEHo6ArEUn70/AwBrSPjkBQ40inAxi6N22mYIQE
NmfkHZCq8NOJs1/4emqX7mIThEu7+uNZqppXJDEcThz2gHTfVeuvC1jDZQYqkN4MJaqIgh9hEWBiBRyn
NjLRZxm0aSYxrOtHUAGB00+Su2IICMpb7lTkCVQMvMIqzzluHR2lICumzXVYBqmrCL1UhJMKFkN/VPLr
JKor6lJrZHQEIWVSZUeZT6YJMT9C3rP2aztFoEt0cpbfSrMotN6Ag9wh11J2YcHxsPig+e/c1r783yML
fcJJnnb4i7BlgekK0WeKrzK4eVn7nGs/ax7CSO21L3djvPD4QtlMTw6YFyXT0LXuG7EYx4OaqQum6LAK
+W5PQxtPQk4f/DpuLQaeWFGXL4IhwyfF8g+ya2Z0DdJNozs5cXXSQek8nCRdhkTRWcjrP9mJJDrLi2qc
0JhPZrSQTfcrDuRmzFL+HFxMzqAAEtbgKU8MwnjvGLhb16D1MKKJb6bnQiGImjyBC1Se//PzBUTqpmKJ
bAQFapMlSTAHVUvY91JFDRXU2o7ufNsvqQhigImBHvFPc44xtGld2T7gsqXfz39SG/xxpS/2xkiiGAl3
oUtzRQR9wCqMTwXeLC76u/yij4XUa9VLNDS3BfhdVDyl/LiGDeijPV7KDPF13iG0hfxMPjVk/wF2Dg88
VT96o6NtepnEAZyrx1/0KXDnKm2Ojmx1RZK2mby0kVg4z0NcD26v3NfUICcbEeUhih5sWelzRNRLsKs1
it/XjBi7Hbo4cQiVRNBeLoUs7TctyOerMC4jcNgBBd7uvPHi7N9Gwb5GWub46A5RPKptNikL5PDSHqmU
37ha3F1/wNM+q+jQ8mhk+z0rmkyA4/zBUdQ09dD+doS7f7dSWRqUghDdCytRzv9xXP38L24/49lMtjjS
xq3lYwrw7JnSlv/9AVYjwuI9DexJwZV8wVp4fl+FMqIYHzTkoYhH0wzc7fWGbrDu6K0MmnRl+okWZQCI
1paTmpihArcF6v42dJiYNrxfmViFxHGj5/8s6fn8E8YGVG9IPfu7XNa6y8IjbWsVNLzwRvzQ7J8q22tT
th1yrqsBT5aBqAu7g2fFLeiFoVs9P3sJS6Bgo52Lq6K7jJw5TR/Pm8QtfaLfq0xS85v7HhRqeHcexmf1
mDnmssycCrppMGB7VcSrZPiJWp1tnuFK+nJGUholzlMLxBJgZ+TAffTodKvw/j67UXVpDDYzR0NA+tbw
HOK/fCu7JzTGb+U6ZzydgiOrUpzKYN2P5VnRWYrjjhLWw9VCJ3AdQQNew3QwUWPcEbzSYcjMEu6obs5W
F0aAo42TVKTL5d4ZedYIj41pdNl2hmCGHCap0IXcctuAcC1h7oumAhIythuATQa3vlIrTEU2TgRLUd45
X/8CD/pZLh2wQ56JxJQYuUYnzyPTba3cgvNS7LYJonjs0/UcSpL5VPdLYSbUDrvGIj7H0FTm4TbuqINn
G7fxgT6/Zl3IgQmSGHBT05K7yI8kLZCKVlwfM2Evfm8AM6P4SBaCh80v/z6Q/qODxS5qDIdHb2PrXwc9
LVduV9e5srYZoPgdCUzsl2yVueXOPKa+tSm5RIh0kEDrSpPX+iR1Q4+3YxrkFfBDjEVYGERZLUyt3kxr
xFQtSCIkty/KI4mWQzKxDptxBIfLZYVV4FW0MTO5wrA+gZoNojYU4MT5QCRywvrr2ipxpY1uRhf+bE9D
dcG3JKS6g66ks7UUNIfJyXBU1WbtrdxRcCPdSya7PRdAqS3errzZV2OlkzmS+BPxQ6QdzqhXpSzWzsOs
vkzrZYqyCq5YlLYDEtQH1Sa+ouBKPeIHoaRZCyu+hT2siG6lDsD5IlKolNpCzHiZP8UQkOvo8vg14Gc+
r2TMU2dqKQiooO1C/UFJr8IVrV/+S6Q6f8eVEcZWrwKEAWr7A9Yv/t092H3rbsKox1bS7pqlvrTbbeL3
nFaL6BVLLBXDHiyfm2a+ShKHzMGseDx+k6Qh9uaIUXUDfC+FYIEHWzFBom+BMvw3jdUvc4s+TsM8bFPZ
F+eZeIXVHRR/asBlaDH/ZmnygbFmSaVQOuwVChIZO3nZCe1u2sP/NBiaCNxugQyYUgmzf2Lqf/i+XcQ9
Bt+pECRUJGIgmRolKdZGLlrtfP3VBg0NmItiOH2zUy03F+v7Ry/E6O5i3tTGjuYnOakUeQZodOsJxnuV
TREKYZxFNmHbofKbR0tDQX+7IHbIkjr3KFPYF0eZLrklDsoN3tyTOA21GBtkBK2wHQUVOr7YWRrbTA8y
vVLtl8R2tRvrqDz+U54WOwlMsahEULEGJJMAiPkqWr1HZ4XCjpxYdL18yVgzM7p8/Aj4oB871RbqNhv6
+B8Gc4looK0O4IpEl8UT7kXaor4OXkZyCxBtcbVe/bLDAExXUDjWLltPodvZEY9Qe8ky/0I7VgjeAdlM
ruT3JkKm9P0Q3QzINz1JN7ZtQy7tNbKTz4UIok0pOYuiE/rX3hxUIDWZNetsYU/Gat9NMIH1l53FTB0X
disKbENTSFHiCwKSqFb8aFo07fUJ6DjnwvfrQHWrUg+ShgfYFEjM8xQ7dq2SmDT+CrSYJh65rxZ2rJWh
xMefHbiHrta+/H5w05dfdw/Trami2EKhmEHiFnbfcC5Ivrwy7Ydngquz9vgfa6eG9zvqXvJc49yalGjb
wEbN6BxqsqgfDfYMe60X1wIe6TpS/6TK7lVqepqeCH2XoWJ0mLv0DByZdeLVdi0buNrLZ82CNWOAqYTw
YeVvPI43qU01kMkulqREow9Epl8o+nYPrfbdoL3eGwOAKD90eA3cfdkm/caFJ7niHzR9Gw//cCIm/EWA
A1obbF37FytFYf8WD6mgRtNGIVEEbeO7nHwk/9fZ6/aX2FvgUuzLh/K+02huMGLkrAX6K3bfiGHIefen
yZENogeB0IHMgugvA9JCE08gnS/Rt28zeIKy3O/rq92SeLFuBGkzVkdpS+cQWx/rSEOWgcJn+/Ij8jMv
fi2nqlzD0U6KEeYMGgNJfFN65YkBsufZd3O/Y0tJ2khoXS0qtQ7753hsAww/gOHlUSdMuJXxht1wCwLn
It/7PMYD+0a2LKhCxSeUVnT1KR5KKTUh90anRoJ+8b6KqHyfD7YkoCCMrBa9XgHTDPXGuwh9rEHGgkma
pB2aztyLEhvP5qwHaQ6JLPb0YVsn1dIPfxQe1BBYmjeeZm4F5rKE/8qfZEidO0RI52jX+G1W1i3lZAlq
kMgp6eMA557GqZDMwDazW6A0ZCcH+4QJKDPCDJAfhWAiwBQ0mSeYPXX7C7I36vN052mu5v0hkwMzP4yk
t+41+wAGmLCOELpEP2PIPAaVpDSRUsIgoW1klGozlSW0+NYdStL8g1OVGxfjZboQYuiaAxVQCZCGyLWL
mS0CwpLT8a5qujxB2qtMQJzpOsyLeLq2oSBHcX8EXb/YWR1nFN2V3rXY1Pxphp3BFZ1yZouCK4YJNYNw
LvyJPotUC9wtXjnfyzqVEKmmtjCB/5f/jyEU0w0AzHD+iRQIuPQuahFeWRJSAqphc5X92VvLOhMU7FOg
C/uc1Ks+1hIq17eIZ7XbYadg6VReNVJQ3ctWCz77oD6eNp/i/UjzZiiE1ziXBvmFc9xw5rdP+4RjmJ4x
u02qa/jmNYmMhUzlP1vZdqWNQA4tHGqkrvrZzwGH8UTv2wGt6iVgcsBhof3eNIS3Sdtvj4K6Kn7JCwWs
zKLBG3O79XOXj75EjAMV0a5TPQRIUWobUX9nSzVRv4HYPxxt/M+C50GbD5In3HGPsZTpDGQmtoocdaIN
JVq3T4Tjy8pD4i6LgRDZWhucncOygRUitLnjojxgzNdWtcpwtHssLiBv2SWYxAwUVSYfMqhAoxIxVhes
tGklA3jOKEKy7L4eLMMWK7ia6D7gfL9ena+LDaHyG6sNSUs9tJsZMV+Zo1CvIfZz2WUbrt6Xh0TfGSPr
FtF+ATpGtjzzaH2HOvqAhXpe56It9bVsCXTuZJ1EecGK13/1fIfIJ9ZXF/qNlYK1p1QNDIIhSvl0egis
mzbgBWPC+/1u8N8whPvziURcHMCQAdnVdNovAecLZBmAWwQvo0zZuuAesuuQm2N84lGAe0dwnnm+Df3v
rCskD9L0ysHzDmPKFODmgUf3K2BpJSic/zS/VWzLyzvLaX+YeaXra8MD4IVMFqhWcy+yL3rlkVqk2SMF
/EZoqbVvcitxZbCApSX6gjPFvrAPnjVwaCW2b9f43Hy3YR2pzNs2+w6CKLjeU3fxJO8RPC0PkKEino9Y
Kd926VYzc7ixkx+BVcjIE4nF5UFToTMBsTCNHvATwWNzH9AzlmRPSo9g1ffvts9xxuEXzAicLlDFG+4Y
QSwWfqkZbXl+2GsMliRYbiOqVK8QCQAA+AIAAA4AAAAaAwAGADT5Mm6pJMaExTTGrWv5pz8FURnn6TpN
WplUlDQIw3+RTh54mgy7JJhHK32sO0i+vH1JtYpqbZR3ILJNrMeNkwAk2qCzrumm4w3tNyjBFBMuLNje
2jN9ur2fJxv3Ukp+/xz8OVroT1FRIDxWt8TC2LttdUcAyWE4kODkWckMUs/F81sxdVLdMOLvMhXC5jbN
lJ5ekKQKH9sQrpBI7SwPHZuvxq6awUBVLJQIS8F2lJyvNxe/U11G0pYPFiujaf+c3TN9C4KhWiXDhNfP
kxvCfzLNmIc0JXxoyXau8nSpxJBlNwre8/8gB3HDY3j9Bf8RvIlJYmWMtYHiSsXXcsFj8zUXGfZ2NUi2
eBwgoAy49ocIKh5VNqlXzJ1mgMB/z4aoL2KzC4uXYlSJqU6wRbvODyaA1xb6WiwMgPZz8y7gTUDWQF2C
V/ccYb1eEPPKjrgo8EZVU2u8tgemEjd9znzZyRgHBOEl4xfv8kXkmAFaEyYKeN2Xs8szVHByrfhBNilD
ebKRC5ov/RVgqU0GpB6ca7rGmpzOYPpybTr5wxAvi7CtiZkqAhYsqWeM7Ji/PiQEhAEYeJwk9b4awB+6
lPh8YlN4ZWQRrlbhcigrqczw8MgsqvPVW3HfxSa2L7G6jCHwj0qT1EzcgfBnWH7b2s+dAvXH6Wl8DT/a
nBek/gizUsFhQXGS3WhXfiSvyepGrX+eGWwKloZkusoL582uSNMPN6RPUENq2GG7kcL2p64p0Vcagk5M
hbyHY2DiVYa5fZ/U3sIHf8gXtjHqFwXlIu+7TGuCi7/IDXdLZrjljlkNG1gpujGfiC6EYfznx88ALSO6
MjlAzBnuvDCzkp9a1Ozk0xZQjmXdwjyazQWYoU1klQUgwNTDLZdZG7Xx9A51XjlmjPyWuhFQof5hyHxP
Lnn7Qac7lvTs3CHpQDgCtypf1XQ5koQ3FKB8I1is9pL7M/yyP9xTh7HRRMLbZsitnE5JX+U+z7++Ayd6
8xCVbprt45zicoQXgAUAAAoBAAAOAAAAGgMAAGp+1iE4T3yvwCWbJhGUs1uEG04uBN24xVpkHMGHpfcs
KcyuIGzjpixRejWchgST2lLadvYba0Q7Z2Tqr8W77mRnfQyk0Dx6McGkQlFzqBiCFZ2jNXNypZtp957k
E1emosnbpDrflwd6VUb/Chqp8pMXHFZcE4pZmC3imq3Mgetp1nTHLP6G+KsTOLeB70rz1NWj70d+Aouu
pCowl1a3xg44tlPQvPAMZMY6gEq0+p9KiBXBRSeWSxTlFBljgQw/ZhxlCTZC4MgvV5moSuqyJ0Thtr3L
FLBgz+M3TY1nkBydeep0c5ES2RB4sVRreZU4nddh66Eof/ExtsBUO1wc0PvDQDzHhwAAAAABAADUNgAA
UFLo7QsAAFVTUVJIAf5WQYD4Dg+FZwoAAFVIieVEiwlJidBIifJIjXcCVooH/8qIwSQHwOkDSMfDAP3/
/0jT44jBSI2cXIjx//9Ig+PAagBIOdx1+VNIjXsIik7//8qIRwKIyMDpBIhPASQPiAdIjU/8UEFXSI1H
BEUx/0FWQb4BAAAAQVVFMe1BVFVTSIlMJPBIiUQk2LgBAAAASIl0JPhMiUQk6InDRIlMJOQPtk8C0+OJ
2UiLXCQ4/8mJTCTUD7ZPAdPgSItMJPD/yIlEJNAPtgfHAQAAAADHRCTIAAAAAMdEJMQBAAAAx0QkwAEA
AADHRCS8AQAAAMcDAAAAAIlEJMwPtk8BAcG4AAMAANPgMcmNuDYHAABBOf9zE0iLXCTYicj/wTn5ZscE
QwAE6+tIi3wk+InQRTHSQYPL/zHSSYn8SQHETDnnD4TvCAAAD7YHQcHiCP/CSP/HQQnCg/oEfuNEO3wk
5A+D2ggAAItEJNRIY1wkyEiLVCTYRCH4iUQkuEhjbCS4SInYSMHgBEgB6EGB+////wBMjQxCdxpMOecP
hJYIAAAPtgdBweIIQcHjCEj/x0EJwkEPtxFEidjB6AsPt8oPr8FBOcIPg8UBAABBicO4AAgAAEiLXCTY
KcgPtkwkzL4BAAAAwfgFjQQCQQ+21WZBiQGLRCTQRCH40+C5CAAAACtMJMzT+gHQacAAAwAAg3wkyAaJ
wEyNjENsDgAAD464AAAASItUJOhEifhEKfAPtiwCAe1IY9aJ64HjAAEAAEGB+////wBIY8NJjQRBTI0E
UHcaTDnnD4TbBwAAD7YHQcHiCEHB4whI/8dBCcJBD7eQAAIAAESJ2MHoCw+3yg+vwUE5wnMgQYnDuAAI
AAAB9inIwfgFhduNBAJmQYmAAAIAAHQh6y1BKcNBKcKJ0GbB6AWNdDYBZinChdtmQYmQAAIAAHQOgf7/
AAAAD45h////63iB/v8AAAB/cEhjxkGB+////wBNjQRBdxpMOecPhEMHAAAPtgdBweIIQcHjCEj/x0EJ
wkEPtxBEidjB6AsPt8oPr8FBOcJzGEGJw7gACAAAAfYpyMH4BY0EAmZBiQDroUEpw0EpwonQZsHoBY10
NgFmKcJmQYkQ64hIi0wk6ESJ+EH/x0GJ9UCINAGDfCTIA38Nx0QkyAAAAADppgYAAItUJMiLRCTIg+oD
g+gGg3wkyAkPT9CJVCTI6YcGAABBKcNBKcKJ0GbB6AVmKcJIi0Qk2EGB+////wBmQYkRSI00WHcaTDnn
D4R5BgAAD7YHQcHiCEHB4whI/8dBCcIPt5aAAQAARInYwegLD7fKD6/BQTnCc05BicO4AAgAAEyLTCTY
KciLTCTERIl0JMTB+AWNBAKLVCTAiUwkwGaJhoABAAAxwIN8JMgGiVQkvA+fwEmBwWQGAACNBECJRCTI
6VQCAABBKcNBKcKJ0GbB6AVmKcJBgfv///8AZomWgAEAAHcaTDnnD4TaBQAAD7YHQcHiCEHB4whI/8dB
CcIPt5aYAQAARInYwegLD7fKD6/BQTnCD4PQAAAAQbgACAAAQYnDSMHjBUSJwCnIwfgFjQQCZomGmAEA
AEiLRCTYSAHYQYH7////AEiNNGh3Gkw55w+EcAUAAA+2B0HB4ghBweMISP/HQQnCD7eW4AEAAESJ2MHo
Cw+3yg+vwUE5wnNPQSnIQYnDQcH4BUWF/0KNBAJmiYbgAQAAD4QpBQAAMcCDfCTIBkiLXCToD5/AjUQA
CYlEJMhEifhEKfBED7YsA0SJ+EH/x0SILAPp2AQAAEEpw0EpwonQZsHoBWYpwmaJluABAADpEQEAAEEp
w0EpwonQZsHoBWYpwkGB+////wBmiZaYAQAAdxpMOecPhLUEAAAPtgdBweIIQcHjCEj/x0EJwg+3lrAB
AABEidjB6AsPt8oPr8FBOcJzIEGJw7gACAAAKcjB+AWNBAJmiYawAQAAi0QkxOmYAAAAQSnDQSnCidBm
wegFZinCQYH7////AGaJlrABAAB3Gkw55w+ERAQAAA+2B0HB4ghBweMISP/HQQnCD7eWyAEAAESJ2MHo
Cw+3yg+vwUE5wnMdQYnDuAAIAAApyMH4BY0EAmaJhsgBAACLRCTA6yJBKcNBKcKJ0GbB6AVmKcKLRCS8
ZomWyAEAAItUJMCJVCS8i0wkxIlMJMBEiXQkxEGJxjHAg3wkyAZMi0wk2A+fwEmBwWgKAACNREAIiUQk
yEGB+////wB3Gkw55w+EnAMAAA+2B0HB4ghBweMISP/HQQnCQQ+3EUSJ2MHoCw+3yg+vwUE5wnMnQYnD
uAAIAABFMe0pyMH4BY0EAmZBiQFIY0QkuEjB4ARNjUQBBOt4QSnDQSnCidBmwegFZinCQYH7////AGZB
iRF3Gkw55w+EKgMAAA+2B0HB4ghBweMISP/HQQnCQQ+3UQJEidjB6AsPt8oPr8FBOcJzNEGJw7gACAAA
Qb0IAAAAKcjB+AWNBAJmQYlBAkhjRCS4SMHgBE2NhAEEAQAAQbkDAAAA6ydBKcNBKcKJ0GbB6AVNjYEE
AgAAQb0QAAAAZinCZkGJUQJBuQgAAABEicu9AQAAAEhjxUGB+////wBJjTRAdxpMOecPhIcCAAAPtgdB
weIIQcHjCEj/x0EJwg+3DkSJ2MHoCw+30Q+vwkE5wnMXQYnDuAAIAAAB7SnQwfgFjQQBZokG6xZBKcNB
KcKJyGbB6AWNbC0BZinBZokO/8t1kbgBAAAARInJ0+ApxUQB7YN8JMgDD4/CAQAAg0QkyAe4AwAAAIP9
BA9MxUiLXCTYQbgBAAAASJhIweAHTI2MA2ADAAC7BgAAAEljwEGB+////wBJjTRBdxpMOecPhNABAAAP
tgdBweIIQcHjCEj/x0EJwg+3FkSJ2MHoCw+3yg+vwUE5wnMYQYnDuAAIAABFAcApyMH4BY0EAmaJBusX
QSnDQSnCidBmwegFR41EAAFmKcJmiRb/y3WPQYPoQEGD+ANFicYPjg0BAABBg+YBRInA0fhBg84CQYP4
DY1w/38jifFIi1wk2EljwEHT5kgBwESJ8kiNFFNIKcJMjYpeBQAA61GNcPtBgfv///8AdxpMOecPhBkB
AAAPtgdBweIIQcHjCEj/x0EJwkHR60UB9kU52nIHRSnaQYPOAf/OdcdMi0wk2EHB5gS+BAAAAEmBwUQG
AABBvQEAAAC7AQAAAEhjw0GB+////wBNjQRBdxpMOecPhLkAAAAPtgdBweIIQcHjCEj/x0EJwkEPtxBE
idjB6AsPt8oPr8FBOcJzGEGJw7gACAAAAdspyMH4BY0EAmZBiQDrGkEpw0EpwonQZsHoBY1cGwFFCe5m
KcJmQYkQRQHt/851iEH/xnRAg8UCRTn+d01Ii1Qk6ESJ+EQp8EQPtiwCRIn4Qf/H/81EiCwCD5XCMcBE
O3wk5A+SwIXCddNEO3wk5A+CRff//0GB+////wB3Fkw557gBAAAAdCPrB7gBAAAA6xpI/8eJ+CtEJPhI
i0wk8EiLXCQ4iQFEiTsxwFtdQVxBXUFeQV9Ii3X4SIt9EItLBEgBzosTSAHXyesCV15ZSInwSCnIWkgp
11mJOVtdw2geAAAAWujFAAAAUFJPVF9FWEVDfFBST1RfV1JJVEUgZmFpbGVkLgoACgAkSW5mbzogVGhp
cyBmaWxlIGlzIHBhY2tlZCB3aXRoIHRoZSBVUFggZXhlY3V0YWJsZSBwYWNrZXIgaHR0cDovL3VweC5z
Zi5uZXQgJAoAJElkOiBVUFggNC4wMSBDb3B5cmlnaHQgKEMpIDE5OTYtMjAyMiB0aGUgVVBYIFRlYW0u
IEFsbCBSaWdodHMgUmVzZXJ2ZWQuICQKAJCQkGoOWlde6wFeagJfagFYDwVqf19qPFgPBV8p9moCWA8F
hcB43FBIjbcPAAAArYPg/kGJxlZbixZIjY31////RIs5TCn5RSn3SQHOX1JQV1FNKclBg8j/aiJBWlJe
agNaKf9qCVgPBUiJRCQQUFpTXq1QSInhSYnVrVCtQZBIifde/9VZSIt0JBhIi3wkEGoFWmoKWA8FQf/l
Xeh6////L3Byb2Mvc2VsZi9leGUAAAEAAIoIAACGBgAADkkBABoDAHQSfBoINgrfVfcYCynZFUoHPJTa
855VtUuOVdsJfl+VBPzHfrZUIdCdkO/ENFKSxJLzJBFTjL61mB3lisHwlh/FQr4AtSeNq5jgbndxgO1P
EWmwWi/YOqnEx3Ht0vICiBb30gP3Cjjvh1yLjVHQg5qzmvMph4HA6GN+NHzTAZc8jqVGoZTiFI98Kn1J
jprtL6uO7NMH2juT9EbLI7xjeMQT8IO2GDOWiSAigRLPkfdzJBTeiio+lUzALGks+IlVlyLuCu608u/1
qe2gK8oLoIcVuD4ayi7QHgspKJhfp1y8sPYyIsBrk+4H7yw3yMSfdbv6EAxLatgdiYNhl3iUcoso9boU
1pFOfI6uhdzO1y1MDaG84RTGdqHYANHLtNFU72iHSPbS3etiUFQ7/mxKv7wZy7gz60swGKeE+zEBqkuV
QbpQYa8msc0aNzlOZ6bplvUa4Kll1dDbnVJPwLDBs+faroS7M7JD/rkCkPbrJvw8m4eTQWkaZgSv8IYz
17j3mrAqqLGsD0DJdzv65fML0g0G22ydUBOJTnrHU7Soko3HjaVzDNHEcIuMM1FJCWBBs/hXTNZTRR/3
XYPE+TbbfKiWvOuRJUqE/ARtHXeOfHBNYq3aUoimZqZaANtpsNuOWhmObslmeK6Wc/U/T39BdxqLEw1o
jhXsAl54/hPNxqoSsO5O7D9yBmIshhgm9HGPFD2Qkf//5L1R//tfov7ByCXo0BybUP4b38Vu+cSvkCLI
4IQiT1iUDO9xdEoqUYwsnRkfBthwo1ykKHPvWfGyCHnGlTuGKYo18tw68GLncA5LYEG0X3bPrGX/Q48f
U4aMwBVq2J/mZhA/acFgoZEGyrE/vgr/L3Yo+ooLmo1M40Qr+cuIRrj4U2LHNktzEppDhqcn7tWvV8C2
P2R4gJvHxW1EejH3Sl8AP/LAFNZpj4RNODhsUrByw1e+0YMb0g7nvq567sfGb+guu/pz3JPaGGBYfnzI
Va8Q+K9cLfigCAejPBiVTFSpsPqdw8yDncjH35qiAQfOXoDcFleqJM5+8H1m9jMrzTDo0Os5uSWGUO0h
YoUHjpk5rmFy3qdWOKKLTM5OXHWhnlWyqlXRU5KHVUOnFhJRs3yMDOKx0/Rb2J46UV/klzzvb+aieLa6
/eytHG+PxinWpOsbdUyVoLW3IS3vYcEyJJXs52BXndMRPLFiLy4VbmM5Ydz5n/KShl8R6YwQ+5yLQnyb
VxFOOCYoHjLXzijLmm0NCVxp8O/o29xCLGIJWTYMiyOQ56v+PfqFT622CsZyIyll58RMHoUxkRfuPllf
5atRvNSCRWfVlKytZmgycReGB1r2xTe8/DBExoDCEyG8Oh2AkrI3Qxayl/ErWBa5wfheLAW85CY9/Z1O
hC0eRUCyKvqBgmO17ambomJj7bbjc99/hG61ScVRX/QwBfGhLdiA+iV8Oac2W/mHZFZf/xZPLd/PT9of
4p5Sp7Wphk8GmfO3xIu/qCTJi8WbAUjrYs7TMVBoqEm7inKMcJucNIJc8gktauMgzGsz3G34TWWIjgJQ
VyHO/NoLJgVxFvuxZXazdwGsv/h4RqjClpcVayfv0t2f45lNFwuz7jtz5dJ1xooQbrSfUR2cVS2SGwGJ
aDONhSRsuiQsx4AIlO/vdaedOXCp7mQogEjaYDLhQWfywbkS9Is9isnN852RblHKtV78RHSSh7z7sTMK
5VTGrCyXredK3bdxCQr3NNjjFlGiE4OhbfqAbOqPWfjc68q/CC7u1H1FJu+JXCoXB2Xy63/eSBdMBrUv
zbgV5qIlIL3HSk/jvcXBdaqSwllhmff8Tb80DKU2GGDeh6bqAAZ/ZAYy3a83Gtjbx7e3DF3OninPQuGe
t1aym+/b8bwwCock9QJhi0zS6b1S1d8sTtHIBpfw5yLXiYWdrN+yqEXg5KF0Jf5E+hIl6Y+zdmX+rniT
qYrkBhjx+vvBCvZWAO4U11v5sPeqTF0uVJHJe4tG3XVdWtsALcYEFOPFLG1IO6EoAkA8bJqbfCnuliQo
vteKqXzzBneoe+AP5rAVM3Le21qpYC0YBgSv+ze7SPypqSn1GW4yxQItwuRk+l/LAcyNgt2BtCu9goOL
MgYvNLQdaglcYb7plPJEgDeQrjbcu9FYXs3Q50cGZTLoOXps5iifwEO+hv1vYqRoVu2s4r0wTkH6ZjRe
NiFwJGoIx9Ml+2tUwK1a+3mIRVHt2RyNmeWyAOANAAAbAAAADgAAABoDAABv/f//o7f/Rz5IFXI5YVG4
kijmGVuLAAoBAAAJAAAADgAAABoDAABv7EBIAJABAAALAAAADgAAABoDAABv/fr5MCAA0AgAAAICAAAO
AAAAGgMAI5DsdCAVOzfiCDZG/zcyDuEeGQl1yspfUB3N7v15vrBcabGfaOdeITYPUyQNNbso8dgGS4MZ
q3A72hGg3Hx0UvH6PXdGRMPYccHnAXD/RmS4q6dQ04bGfZPO5uhrd/J00GFbCHYR4hOG3PKivFKA6Bf+
Z2i29iocEVtE6c8mP3bKvBD2i5j7SkxxTj6i8C6D+tovxPBEFAs49Z7+oODa0/b78yKms6RsXvXdxR+T
HR9m4mV9ORR+uVtPtAbBMf/iyEubNcaMgj1k3kvvtiSe93VxwiPjXytVzEIAFY/JrW8uFJgN/0RlCCP5
U//h5cvWVx73n4EW+kKWbpwh3I9Hafkv5heiqYaMZatMco6KKP8p6n47zzK+o+FDuXUCFKGZzfO66AHt
IFlgQIMZw35bYSLUY7B6644zTdyAY5tQ4zCypl7jbMr7rOXC9hycgX3wqE4hmSsO2sAihgMP9mJCkUvz
BA6Cwp76ILjf1m8BmJ8tEU87WZhVFwKKiUpmCknDLHoS4d8pQ5KK0r+inJ6mhbvkSaW+Ok0ulc3g60Yg
sm65heGYPHbdJQf08fjnlTi19nMmaCIDIrhV4M8IRWhNiLekH4KO18b33TK5T+QVTQSLF+Yd32DWsGOZ
XTJwDb41nSdO/NDoqL6wqYBvKTIc0eFA+dCEqbkVNQoj+8O8DwAAAABVUFghAAAAAAAAAFVQWCEOFg4K
pCP/F/R17frQCAAAAgIAAPCYAABJAQA/9AAAAA==
";
提出情報
ジャッジ結果
| セット名 | All | ||
|---|---|---|---|
| 得点 / 配点 | 100 / 100 | ||
| 結果 |
|
| セット名 | テストケース |
|---|---|
| All | 0_00, 0_01, 0_02, 0_03, 1_00, 1_01, 1_02, 1_03, 1_04, 1_05, 1_06, 1_07, 1_08, 1_09, 1_10, 1_11, 1_12, 1_13 |
| ケース名 | 結果 | 実行時間 | メモリ |
|---|---|---|---|
| 0_00 | AC | 9 ms | 2132 KiB |
| 0_01 | AC | 6 ms | 2020 KiB |
| 0_02 | AC | 5 ms | 2136 KiB |
| 0_03 | AC | 7 ms | 2152 KiB |
| 1_00 | AC | 5 ms | 2100 KiB |
| 1_01 | AC | 6 ms | 2140 KiB |
| 1_02 | AC | 110 ms | 72264 KiB |
| 1_03 | AC | 108 ms | 72256 KiB |
| 1_04 | AC | 109 ms | 72504 KiB |
| 1_05 | AC | 110 ms | 72364 KiB |
| 1_06 | AC | 109 ms | 71896 KiB |
| 1_07 | AC | 118 ms | 71568 KiB |
| 1_08 | AC | 120 ms | 70892 KiB |
| 1_09 | AC | 122 ms | 71732 KiB |
| 1_10 | AC | 117 ms | 70156 KiB |
| 1_11 | AC | 114 ms | 70916 KiB |
| 1_12 | AC | 110 ms | 69000 KiB |
| 1_13 | AC | 113 ms | 71764 KiB |