https://github.com/gaoyunzhi/online_judge/blob/master/vijos1005.py

# https://vijos.org/p/1039
# test cases http://acm.timus.ru/forum/?space=1&num=1165
import sys, random

class Solver():
def init(self, string):
self._string = string
self.len = len(self._string)
self.initMin()
self.updateEasyCaseMin() # where start can be extraced
self.updateHardCaseMin() # where start can not be extraced

def getAns(self):
digit = len(str(self.min))
ans = 0
for i in xrange(1, digit):
ans += 9 * i * 10 ** (i - 1)
ans += digit * (self.min - 10 ** (digit - 1))

ans -= self.pos
return ans + 1

def initMin(self):
if self._string[0] == '0':
self.min = int('1' + self._string) + 1
self.pos = self.len
else:
self.min = int(self._string)
self.pos = 0

def updateEasyCaseMin(self):
for start_ind in xrange(self.len):
if self._string[start_ind] == '0':
continue
for end_ind in xrange(start_ind * 2, self.len):
start = self._string[start_ind: end_ind + 1]
start_int = int(start)
if start_int > self.min or (start_int == 1 and start_ind != 0):
continue
potential_list = map(
str,
range(start_int - 1, start_int + self.len / len(start) + 1)
)
potential_string = ''.join(potential_list)
if not potential_string[len(potential_list[0]) - start_ind:] \
.startswith(self._string):
continue
self._updateMin(start_int, start_ind)

def updateHardCaseMin(self):
for start_ind in xrange(1, self.len):
second_part = self._string[start_ind:]
if second_part[0] == '0':
continue
first_part = self._string[:start_ind]
second_part_int = int(second_part)
if second_part_int > self.min:
continue
for num in xrange(1, start_ind + 1):
tail = first_part[start_ind - num:]
if tail == '9' * num and second_part_int > 1 \
and str(second_part_int - 1).endswith(first_part[:start_ind - num]):
self._updateMin(int(str(second_part_int - 1) + tail) + 1, start_ind)
if tail != '9' * num and second_part.endswith(first_part[:start_ind - num]):
self._updateMin(int(second_part + tail) + 1, start_ind)

def _updateMin(self, new_min, pos):
if new_min == self.min:
self.pos = max(self.pos, pos)
return
if new_min < self.min:
self.min = new_min
self.pos = pos

def main():
# handle=sys.stdin
handle = open("1005.txt", "r")
string = handle.readline().strip()
sol = Solver(string)
sys.stdout.write(str(sol.getAns()))

def test():
string = ''.join(map(str, xrange(1, 100000)))
print Solver('999').getAns() == 2588
print Solver(string[:100]).getAns() == 1
print Solver('1').getAns() == 1
print Solver('5').getAns() == 5
print Solver('101').getAns() == 10
print Solver('01').getAns() == 11
print Solver('1011').getAns() == 10
print Solver('12345').getAns() == 1
print Solver('012345').getAns() == 629595
print Solver('9920').getAns() == 488
print Solver('0112').getAns() == 3373

for i in xrange(2000):
if random.random() > 0.005: continue
for j in xrange(i, 2000):
if random.random() > 0.005: continue
substring = string[i: j + 1]
ind = string.find(substring)
if Solver(substring).getAns() != ind + 1:
print '- attention -'
print i, j
print substring, Solver(substring).getAns()

if name == '__main__':
# main()
test()

var s,t,q,p,ans,v,z,da,u:string;
a,b,c,d,e,g,i,j,k,m,n,ji:longint;
h:array[1..200]of boolean;
f:array[1..256]of string;
function qian(l:string):string; //(求一个数的前面一个数,即a-1)
var o,w:longint;r:string;
begin
o:=length(l);
r:=l;
while r[o]='0' do dec(o);
r[o]:=pred(r[o]);
for w:=o+1 to length(r) do r[w]:='9';
if r[1]='0' then delete(r,1,1);
qian:=r;
end;
function hou(l:string):string;//(后一个数,即a+1)
var o,w:longint;r:string;
begin
o:=length(l);
r:=l;
while (r[o]='9')and(o>1) do dec(o);
if (o=1)and(r[1]='9') then
r:='1'+r else r[o]:=succ(r[o]);
for w:=o+1 to length(r) do r[w]:='0';
hou:=r;
end;
function sum(l1,w1:string):string;//(求两数之和)
var o,r,e1:longint;l,w,x:string;
begin
l:=l1;w:=w1;
x:='';
if length(l)<length(w) then
for o:=length(l)+1 to length(w) do l:='0'+l;
if length(l)>length(w) then
for o:=length(w)+1 to length(l) do w:='0'+w;
e1:=0;
for o:=length(w) downto 1 do
begin
r:=ord(l[o])+ord(w[o])-96+e1;
e1:=r div 10;
r:=r mod 10;
x:=chr(r+48)+x;
end;
if e1>0 then x:=chr(e1+48)+x;
sum:=x;
end;
begin
readln(s);
g:=length(s);
f[1]:='9';v:='9';
for i:=2 to 256 do
begin
v:=sum(v,'9');
f[i]:=v;
for j:=1 to i-1 do f[i]:=f[i]+'0';
end;
ans:='';
for i:=1 to 250 do ans:=ans+'0';
c:=1;
for i:=1 to length(s) do if s[i]<>'0' then begin c:=0;break;end;
if c=1 then begin ji:=1;ans:='1'+s;e:=length(ans)-1;end;//末尾全是0时特殊判断
if ji=0 then
for i:=1 to g do
begin
for j:=1 to g-i+1 do
begin
if s[j]='0' then continue;
t:=copy(s,j,i);a:=j-1;b:=j+i;
q:=t;p:=t;
while a>0 do begin q:=qian(q);
if length(q)>a then begin t:=copy(q,length(q)-a+1,a)+t;a:=0;end else
begin t:=q+t;a:=a-length(q);
if q='0' then continue;end;end;
while b<=g do begin p:=hou(p);
if length(p)>g-b+1 then begin t:=t+copy(p,1,g-b+1);b:=g+1;end else
begin t:=t+p;b:=b+length(p);end;end;
if t=s then begin ans:=copy(s,j,i);e:=j+i-1;break;end;
end;
if e>0 then break;
end;
if ji=0 then
for i:=2 to g do
begin
for j:=g downto g-i+2 do
if j-i<=0 then
begin
if s[j]='0' then continue;
t:=copy(s,j,g-j+1);
p:=copy(s,g-i+1,j-g+i-1);
q:=hou(p);
if length(q)>length(p) then
begin t:=t+copy(q,2,length(q)-1);end else t:=t+q;
c:=0;
p:=qian(t);
if copy(p,length(p)-j+2,length(p))=copy(s,1,j-1) then c:=1;
if c=0 then continue;
if length(t)<length(ans) then c:=0 else
if length(t)=length(ans) then begin if t<ans then c:=0;end else
continue;
if c=0 then begin ans:=t;e:=j-1+length(t);end;
end;
end;
if ji=0 then begin
da:='0';
ans[1]:=pred(ans[1]);
ans:=sum(ans,'1');
da:=ans;
u:='0';
for i:=1 to length(ans)-1 do u:=sum(u,f[i]);
for i:=1 to length(ans)-1 do
da:=sum(da,ans);
da:=sum(da,u);
end else
begin
da:='0';
for i:=1 to e do da:=sum(da,f[i]);
end;
if ji=0 then begin
if length(da)<6 then
begin z:=da;da:='';end else
begin z:=copy(da,length(da)-5,6);delete(da,length(da)-5,6);end;
val(z,d);
d:=d-e;
str(d,z);
da:=da+z;
end;
da:=sum(da,'1');
if ji=1 then da:=sum(da,'1');
writeln(da);
end.

果然超长。。。。。

评测结果
编译成功

测试数据 #0: Accepted, time = 0 ms, mem = 888 KiB, score = 10
测试数据 #1: Accepted, time = 0 ms, mem = 888 KiB, score = 10
测试数据 #2: Accepted, time = 0 ms, mem = 888 KiB, score = 10
测试数据 #3: Accepted, time = 0 ms, mem = 884 KiB, score = 10
测试数据 #4: Accepted, time = 0 ms, mem = 888 KiB, score = 10
测试数据 #5: Accepted, time = 0 ms, mem = 888 KiB, score = 10
测试数据 #6: Accepted, time = 0 ms, mem = 888 KiB, score = 10
测试数据 #7: Accepted, time = 0 ms, mem = 888 KiB, score = 10
测试数据 #8: Accepted, time = 0 ms, mem = 888 KiB, score = 10
测试数据 #9: Accepted, time = 0 ms, mem = 884 KiB, score = 10
测试数据 #10: Accepted, time = 15 ms, mem = 888 KiB, score = 10
测试数据 #11: Accepted, time = 0 ms, mem = 884 KiB, score = 10
测试数据 #12: Accepted, time = 15 ms, mem = 884 KiB, score = 10
测试数据 #13: Accepted, time = 0 ms, mem = 884 KiB, score = 10
测试数据 #14: Accepted, time = 15 ms, mem = 884 KiB, score = 10
测试数据 #15: Accepted, time = 0 ms, mem = 884 KiB, score = 10
测试数据 #16: Accepted, time = 15 ms, mem = 884 KiB, score = 10
测试数据 #17: Accepted, time = 0 ms, mem = 884 KiB, score = 10
测试数据 #18: Accepted, time = 0 ms, mem = 888 KiB, score = 10
测试数据 #19: Accepted, time = 15 ms, mem = 884 KiB, score = 10
测试数据 #20: Accepted, time = 0 ms, mem = 888 KiB, score = 10
测试数据 #21: Accepted, time = 0 ms, mem = 888 KiB, score = 10
测试数据 #22: Accepted, time = 0 ms, mem = 888 KiB, score = 10
测试数据 #23: Accepted, time = 0 ms, mem = 888 KiB, score = 10
测试数据 #24: Accepted, time = 0 ms, mem = 884 KiB, score = 10
测试数据 #25: Accepted, time = 15 ms, mem = 884 KiB, score = 10
测试数据 #26: Accepted, time = 0 ms, mem = 884 KiB, score = 10
测试数据 #27: Accepted, time = 0 ms, mem = 884 KiB, score = 10
测试数据 #28: Accepted, time = 62 ms, mem = 888 KiB, score = 10
测试数据 #29: Accepted, time = 15 ms, mem = 888 KiB, score = 10
测试数据 #30: Accepted, time = 0 ms, mem = 888 KiB, score = 10
测试数据 #31: Accepted, time = 15 ms, mem = 888 KiB, score = 10
测试数据 #32: Accepted, time = 15 ms, mem = 888 KiB, score = 10
测试数据 #33: Accepted, time = 0 ms, mem = 888 KiB, score = 10
测试数据 #34: Accepted, time = 0 ms, mem = 884 KiB, score = 10
测试数据 #35: Accepted, time = 0 ms, mem = 884 KiB, score = 10
测试数据 #36: Accepted, time = 15 ms, mem = 884 KiB, score = 10
测试数据 #37: Accepted, time = 15 ms, mem = 888 KiB, score = 10
测试数据 #38: Accepted, time = 0 ms, mem = 888 KiB, score = 10
测试数据 #39: Accepted, time = 0 ms, mem = 884 KiB, score = 10
Accepted, time = 227 ms, mem = 888 KiB, score = 400

卧槽 无语了

编译成功

测试数据 #0: Accepted, time = 0 ms, mem = 800 KiB, score = 10
测试数据 #1: Accepted, time = 0 ms, mem = 804 KiB, score = 10
测试数据 #2: Accepted, time = 0 ms, mem = 808 KiB, score = 10
测试数据 #3: Accepted, time = 15 ms, mem = 804 KiB, score = 10
测试数据 #4: Accepted, time = 0 ms, mem = 804 KiB, score = 10
测试数据 #5: Accepted, time = 0 ms, mem = 804 KiB, score = 10
测试数据 #6: Accepted, time = 0 ms, mem = 800 KiB, score = 10
测试数据 #7: Accepted, time = 0 ms, mem = 800 KiB, score = 10
测试数据 #8: Accepted, time = 0 ms, mem = 800 KiB, score = 10
测试数据 #9: Accepted, time = 0 ms, mem = 804 KiB, score = 10
测试数据 #10: Accepted, time = 0 ms, mem = 804 KiB, score = 10
测试数据 #11: Accepted, time = 0 ms, mem = 800 KiB, score = 10
测试数据 #12: Accepted, time = 15 ms, mem = 800 KiB, score = 10
测试数据 #13: Accepted, time = 0 ms, mem = 804 KiB, score = 10
测试数据 #14: Accepted, time = 0 ms, mem = 804 KiB, score = 10
测试数据 #15: Accepted, time = 0 ms, mem = 804 KiB, score = 10
测试数据 #16: Accepted, time = 0 ms, mem = 804 KiB, score = 10
测试数据 #17: Accepted, time = 0 ms, mem = 800 KiB, score = 10
测试数据 #18: Accepted, time = 0 ms, mem = 804 KiB, score = 10
测试数据 #19: Accepted, time = 0 ms, mem = 800 KiB, score = 10
测试数据 #20: Accepted, time = 0 ms, mem = 800 KiB, score = 10
测试数据 #21: Accepted, time = 0 ms, mem = 800 KiB, score = 10
测试数据 #22: Accepted, time = 0 ms, mem = 804 KiB, score = 10
测试数据 #23: Accepted, time = 0 ms, mem = 800 KiB, score = 10
测试数据 #24: Accepted, time = 0 ms, mem = 800 KiB, score = 10
测试数据 #25: Accepted, time = 0 ms, mem = 804 KiB, score = 10
测试数据 #26: Accepted, time = 0 ms, mem = 800 KiB, score = 10
测试数据 #27: Accepted, time = 15 ms, mem = 800 KiB, score = 10
测试数据 #28: Accepted, time = 62 ms, mem = 804 KiB, score = 10
测试数据 #29: Accepted, time = 15 ms, mem = 800 KiB, score = 10
测试数据 #30: Accepted, time = 0 ms, mem = 804 KiB, score = 10
测试数据 #31: Accepted, time = 0 ms, mem = 804 KiB, score = 10
测试数据 #32: Accepted, time = 15 ms, mem = 800 KiB, score = 10
测试数据 #33: Accepted, time = 0 ms, mem = 804 KiB, score = 10
测试数据 #34: Accepted, time = 15 ms, mem = 804 KiB, score = 10
测试数据 #35: Accepted, time = 15 ms, mem = 804 KiB, score = 10
测试数据 #36: Accepted, time = 15 ms, mem = 800 KiB, score = 10
测试数据 #37: Accepted, time = 0 ms, mem = 800 KiB, score = 10
测试数据 #38: Accepted, time = 0 ms, mem = 800 KiB, score = 10
测试数据 #39: Accepted, time = 0 ms, mem = 804 KiB, score = 10
Accepted, time = 182 ms, mem = 808 KiB, score = 400
来秀了。。。。
超猥琐，史上最猥琐，比机器人搬重物还猥琐。。。

为啥0分？
type
numtype=record
len:longint;
num:array[1..300] of longint;
end;
var
value:array[1..200] of ansistring;
str:ansistring;
len:longint;
ans:numtype;
function convert(a:ansistring):numtype;
var
i:longint;
begin
fillchar(convert,sizeof(convert),0);
convert.len:=length(a);
for i:=1 to convert.len do
convert.num[i]:=ord(a[convert.len-i+1])-48;
end;
procedure dfs(dep,now:longint);
var
i:longint;
tmp:numtype;
procedure min(var a,b:numtype);
var
i:longint;
begin
if b.len<a.len then a:=b
else if b.len=a.len then
begin
for i:=a.len downto 1 do
if a.num[i]<>b.num[i] then break;
if a.num[i]>b.num[i] then a:=b;
end;
end;
function max(a,b:longint):longint;
begin
if a>b then max:=a
else max:=b;
end;
function last(var a:ansistring):ansistring;
var
j:longint;
begin
last:=a;
j:=length(last);
last[j]:=pred(last[j]);
while last[j]<'0' do
begin
last[j]:='9';
dec(j);
last[j]:=pred(last[j]);
end;
if last[1]='0' then delete(last,1,1);
end;
function next(var a:ansistring):ansistring;
var
j:longint;
begin
next:=a;
j:=length(next);
inc(next[j]);
while (j>1) and (next[j]>'9') do
begin
next[j]:='0';
dec(j);
inc(next[j]);
end;
if next[1]>'9' then
begin
next[1]:='0';
next:='1'+next;
end;
end;
function left(a:ansistring;var b:ansistring):boolean;
var
i:longint;
begin
if length(b)>length(a) then exit(false);
left:=true;
for i:=1 to length(b) do
if a[i]<>b[i] then
begin
left:=false;
break;
end;
end;
function right(a:ansistring;var b:ansistring):boolean;
var
i:longint;
begin
if length(b)>length(a) then exit(false);
right:=true;
for i:=1 to length(b) do
if a[length(a)-length(b)+i]<>b[i] then
begin
right:=false;
break;
end;
end;
function match(var a:ansistring;b:ansistring):ansistring;
var
tmp:ansistring;
lb,i,j:longint;
flag:boolean;
begin
lb:=length(b);
tmp:=b;
b:=next(b);
if length(b)>lb then delete(b,1,1);
for i:=1 to length(a)+1 do
if length(a)-i+1<=length(b) then
begin
flag:=true;
for j:=i to length(a) do
if a[j]<>b[j-i+1] then
begin
flag:=false;
break;
end;
if flag then
begin
match:=copy(a,1,i-1)+b;
if right(last(match),tmp) then break;
end;
end;
end;
function jia(a,b:numtype):numtype;
var
i:longint;
begin
fillchar(jia,sizeof(jia),0);
jia.len:=max(a.len,b.len);
for i:=1 to jia.len do
begin
inc(jia.num[i],a.num[i]+b.num[i]);
jia.num:=jia.num[i] div 10;
jia.num[i]:=jia.num[i] mod 10;
end;
if jia.num<>0 then inc(jia.len);
end;
function jian(a:numtype;b:longint):numtype;
var
j:longint;
begin
jian:=a;
dec(jian.num[1],b);
j:=1;
while jian.num[j]<0 do
begin
inc(jian.num[j],10);
dec(jian.num[j+1]);
if jian.num[j]>=0 then inc(j);
end;
while (jian.len>1) and (jian.num[jian.len]=0) do dec(jian.len);
end;
function cheng(a:numtype;b:longint):numtype;
var
i:longint;
begin
fillchar(cheng,sizeof(cheng),0);
for i:=1 to a.len do
cheng.num[i]:=a.num[i]*b;
for i:=1 to a.len+3 do
begin
inc(cheng.num,cheng.num[i] div 10);
cheng.num[i]:=cheng.num[i] mod 10;
end;
while (i>1) and (cheng.num[i]=0) do dec(i);
cheng.len:=i;
end;
function find(a:ansistring):numtype;
var
tmp,t:numtype;
i:longint;
begin
tmp:=convert(a);
t:=convert('9');
find:=convert('0');
for i:=1 to tmp.len-1 do
begin
find:=jia(find,cheng(t,i));
t:=cheng(t,10);
end;
dec(tmp.num[tmp.len]);
find:=jia(find,cheng(tmp,tmp.len));
find:=jia(find,convert('1'));
end;
begin
if now<=len then
begin
for i:=now to len do
if (i=len) or (str<>'0') then
begin
value[dep]:=copy(str,now,i-now+1);
if dep=1 then dfs(dep+1,i+1)
else if (dep=2) and (i=len) then dfs(dep+1,i+1)
else if dep=2 then
begin
if right(last(value[2]),value[1]) then dfs(dep+1,i+1);
end
else if (dep>=3) and (i=len) then
begin
if left(next(value[dep-1]),value[dep]) then dfs(dep+1,i+1);
end
else
begin
if next(value[dep-1])=value[dep] then dfs(dep+1,i+1);
end;
end;
end
else
begin
case dep of
2:
begin
if value[1][1]='0' then tmp:=jia(find('1'+value[1]),convert('1'))
else tmp:=find(value[1]);
end;
3:
begin
tmp:=jian(find(match(value[2],value[1])),length(value[1]))
end;
else
begin
tmp:=jian(find(value[2]),length(value[1]));
end;
end;
min(ans,tmp);
end;
end;
procedure print(var a:numtype);
var
i:longint;
begin
for i:=a.len downto 1 do
write(a.num[i]);
writeln;
end;
begin
readln(str);
len:=length(str);
ans.len:=300;
dfs(1,1);
print(ans);
end.

type
numtype=record
len:longint;
num:array[1..300] of longint;
end;
var
value:array[1..200] of ansistring;
str:ansistring;
len:longint;
ans:numtype;
function convert(a:ansistring):numtype;
var
i:longint;
begin
fillchar(convert,sizeof(convert),0);
convert.len:=length(a);
for i:=1 to convert.len do
convert.num[i]:=ord(a[convert.len-i+1])-48;
end;
procedure dfs(dep,now:longint);
var
i:longint;
tmp:numtype;
procedure min(var a,b:numtype);
var
i:longint;
begin
if b.len<a.len then a:=b
else if b.len=a.len then
begin
for i:=a.len downto 1 do
if a.num[i]<>b.num[i] then break;
if a.num[i]>b.num[i] then a:=b;
end;
end;
function max(a,b:longint):longint;
begin
if a>b then max:=a
else max:=b;
end;
function last(var a:ansistring):ansistring;
var
j:longint;
begin
last:=a;
j:=length(last);
last[j]:=pred(last[j]);
while last[j]<'0' do
begin
last[j]:='9';
dec(j);
last[j]:=pred(last[j]);
end;
if last[1]='0' then delete(last,1,1);
end;
function next(var a:ansistring):ansistring;
var
j:longint;
begin
next:=a;
j:=length(next);
inc(next[j]);
while (j>1) and (next[j]>'9') do
begin
next[j]:='0';
dec(j);
inc(next[j]);
end;
if next[1]>'9' then
begin
next[1]:='0';
next:='1'+next;
end;
end;
function left(a:ansistring;var b:ansistring):boolean;
var
i:longint;
begin
if length(b)>length(a) then exit(false);
left:=true;
for i:=1 to length(b) do
if a[i]<>b[i] then
begin
left:=false;
break;
end;
end;
function right(a:ansistring;var b:ansistring):boolean;
var
i:longint;
begin
if length(b)>length(a) then exit(false);
right:=true;
for i:=1 to length(b) do
if a[length(a)-length(b)+i]<>b[i] then
begin
right:=false;
break;
end;
end;
function match(var a:ansistring;b:ansistring):ansistring;
var
tmp:ansistring;
lb,i,j:longint;
flag:boolean;
begin
lb:=length(b);
tmp:=b;
b:=next(b);
if length(b)>lb then delete(b,1,1);
for i:=1 to length(a)+1 do
if length(a)-i+1<=length(b) then
begin
flag:=true;
for j:=i to length(a) do
if a[j]<>b[j-i+1] then
begin
flag:=false;
break;
end;
if flag then
begin
match:=copy(a,1,i-1)+b;
if right(last(match),tmp) then break;
end;
end;
end;
function jia(a,b:numtype):numtype;
var
i:longint;
begin
fillchar(jia,sizeof(jia),0);
jia.len:=max(a.len,b.len);
for i:=1 to jia.len do
begin
inc(jia.num[i],a.num[i]+b.num[i]);
jia.num:=jia.num[i] div 10;
jia.num[i]:=jia.num[i] mod 10;
end;
if jia.num<>0 then inc(jia.len);
end;
function jian(a:numtype;b:longint):numtype;
var
j:longint;
begin
jian:=a;
dec(jian.num[1],b);
j:=1;
while jian.num[j]<0 do
begin
inc(jian.num[j],10);
dec(jian.num[j+1]);
if jian.num[j]>=0 then inc(j);
end;
while (jian.len>1) and (jian.num[jian.len]=0) do dec(jian.len);
end;
function cheng(a:numtype;b:longint):numtype;
var
i:longint;
begin
fillchar(cheng,sizeof(cheng),0);
for i:=1 to a.len do
cheng.num[i]:=a.num[i]*b;
for i:=1 to a.len+3 do
begin
inc(cheng.num,cheng.num[i] div 10);
cheng.num[i]:=cheng.num[i] mod 10;
end;
while (i>1) and (cheng.num[i]=0) do dec(i);
cheng.len:=i;
end;
function find(a:ansistring):numtype;
var
tmp,t:numtype;
i:longint;
begin
tmp:=convert(a);
t:=convert('9');
find:=convert('0');
for i:=1 to tmp.len-1 do
begin
find:=jia(find,cheng(t,i));
t:=cheng(t,10);
end;
dec(tmp.num[tmp.len]);
find:=jia(find,cheng(tmp,tmp.len));
find:=jia(find,convert('1'));
end;
begin
if now<=len then
begin
for i:=now to len do
if (i=len) or (str<>'0') then
begin
value[dep]:=copy(str,now,i-now+1);
if dep=1 then dfs(dep+1,i+1)
else if (dep=2) and (i=len) then dfs(dep+1,i+1)
else if dep=2 then
begin
if right(last(value[2]),value[1]) then dfs(dep+1,i+1);
end
else if (dep>=3) and (i=len) then
begin
if left(next(value[dep-1]),value[dep]) then dfs(dep+1,i+1);
end
else
begin
if next(value[dep-1])=value[dep] then dfs(dep+1,i+1);
end;
end;
end
else
begin
case dep of
2:
begin
if value[1][1]='0' then tmp:=jia(find('1'+value[1]),convert('1'))
else tmp:=find(value[1]);
end;
3:
begin
tmp:=jian(find(match(value[2],value[1])),length(value[1]))
end;
else
begin
tmp:=jian(find(value[2]),length(value[1]));
end;
end;
min(ans,tmp);
end;
end;
procedure print(var a:numtype);
var
i:longint;
begin
for i:=a.len downto 1 do
write(a.num[i]);
writeln;
end;
begin
readln(str);
len:=length(str);
ans.len:=300;
dfs(1,1);
print(ans);
end.

测试数据 #0: Accepted, time = 0 ms, mem = 616 KiB, score = 10
测试数据 #1: Accepted, time = 0 ms, mem = 616 KiB, score = 10
测试数据 #2: Accepted, time = 0 ms, mem = 620 KiB, score = 10
测试数据 #3: Accepted, time = 15 ms, mem = 616 KiB, score = 10
测试数据 #4: Accepted, time = 0 ms, mem = 616 KiB, score = 10
测试数据 #5: Accepted, time = 0 ms, mem = 616 KiB, score = 10
测试数据 #6: Accepted, time = 0 ms, mem = 616 KiB, score = 10
测试数据 #7: Accepted, time = 0 ms, mem = 616 KiB, score = 10
测试数据 #8: TimeLimitExceeded, time = 1123 ms, mem = 616 KiB, score = 0
测试数据 #9: Accepted, time = 0 ms, mem = 616 KiB, score = 10
测试数据 #10: Accepted, time = 7 ms, mem = 620 KiB, score = 10
测试数据 #11: Accepted, time = 0 ms, mem = 616 KiB, score = 10
测试数据 #12: TimeLimitExceeded, time = 1014 ms, mem = 616 KiB, score = 0
测试数据 #13: Accepted, time = 15 ms, mem = 616 KiB, score = 10
测试数据 #14: Accepted, time = 0 ms, mem = 620 KiB, score = 10
测试数据 #15: Accepted, time = 0 ms, mem = 620 KiB, score = 10
测试数据 #16: Accepted, time = 858 ms, mem = 620 KiB, score = 10
测试数据 #17: Accepted, time = 7 ms, mem = 620 KiB, score = 10
测试数据 #18: Accepted, time = 0 ms, mem = 616 KiB, score = 10
测试数据 #19: Accepted, time = 0 ms, mem = 616 KiB, score = 10
测试数据 #20: Accepted, time = 0 ms, mem = 616 KiB, score = 10
测试数据 #21: TimeLimitExceeded, time = 1138 ms, mem = 620 KiB, score = 0
测试数据 #22: TimeLimitExceeded, time = 1029 ms, mem = 616 KiB, score = 0
测试数据 #23: TimeLimitExceeded, time = 1029 ms, mem = 620 KiB, score = 0
测试数据 #24: Accepted, time = 0 ms, mem = 616 KiB, score = 10
测试数据 #25: TimeLimitExceeded, time = 1076 ms, mem = 620 KiB, score = 0
测试数据 #26: TimeLimitExceeded, time = 1107 ms, mem = 616 KiB, score = 0
测试数据 #27: TimeLimitExceeded, time = 1092 ms, mem = 620 KiB, score = 0
测试数据 #28: TimeLimitExceeded, time = 1076 ms, mem = 620 KiB, score = 0
测试数据 #29: TimeLimitExceeded, time = 1045 ms, mem = 616 KiB, score = 0
测试数据 #30: TimeLimitExceeded, time = 1076 ms, mem = 616 KiB, score = 0
测试数据 #31: Accepted, time = 0 ms, mem = 616 KiB, score = 10
测试数据 #32: TimeLimitExceeded, time = 1014 ms, mem = 616 KiB, score = 0
测试数据 #33: TimeLimitExceeded, time = 1107 ms, mem = 616 KiB, score = 0
测试数据 #34: TimeLimitExceeded, time = 1123 ms, mem = 620 KiB, score = 0
测试数据 #35: Accepted, time = 0 ms, mem = 620 KiB, score = 10
测试数据 #36: Accepted, time = 93 ms, mem = 616 KiB, score = 10
测试数据 #37: TimeLimitExceeded, time = 1076 ms, mem = 616 KiB, score = 0
测试数据 #38: TimeLimitExceeded, time = 1107 ms, mem = 616 KiB, score = 0
测试数据 #39: Accepted, time = 0 ms, mem = 620 KiB, score = 10

program p1004;
var a:array[0..500] of integer;
s,s1:string;
ls:integer;
sum,num:longint;
//
procedure init;
begin
assign(input,'p1004.in');assign(output,'p1004.out');
reset(input);rewrite(output);
read(s);ls:=length(s);
end;
//
procedure main;
var i,k:integer;
t:boolean;
begin
k:=0;
for i:=2 to ls do
begin
while (s[k+1]<>s[i]) and (k<>0) do k:=a[k];
if (s[k+1]=s[i]) then inc(k);
a[i]:=k;
end;
k:=0;t:=false;
while not(t) do
begin
inc(num);str(num,s1);
for i:=1 to length(s1) do
begin
while (k<>0) and (s1[i]<>s[k+1]) do k:=a[k];
if (s1[i]=s[k+1]) then inc(k);
inc(sum);
if k=ls then
begin
t:=true;break;
end;
end;
end;
end;
//
procedure print;
begin
write(sum-ls+1);
close(output);
end;
begin
init;
main;
print;
end.

KMP为何就多过了一个点？

测试数据 #0: Accepted, time = 0 ms, mem = 684 KiB, score = 10
测试数据 #1: Accepted, time = 0 ms, mem = 684 KiB, score = 10
测试数据 #2: Accepted, time = 0 ms, mem = 688 KiB, score = 10
测试数据 #3: Accepted, time = 15 ms, mem = 684 KiB, score = 10
测试数据 #4: Accepted, time = 0 ms, mem = 684 KiB, score = 10
测试数据 #5: Accepted, time = 0 ms, mem = 684 KiB, score = 10
测试数据 #6: Accepted, time = 0 ms, mem = 684 KiB, score = 10
测试数据 #7: Accepted, time = 15 ms, mem = 684 KiB, score = 10
测试数据 #8: Accepted, time = 7 ms, mem = 684 KiB, score = 10
测试数据 #9: Accepted, time = 0 ms, mem = 684 KiB, score = 10
测试数据 #10: Accepted, time = 0 ms, mem = 684 KiB, score = 10
测试数据 #11: Accepted, time = 15 ms, mem = 684 KiB, score = 10
测试数据 #12: Accepted, time = 15 ms, mem = 684 KiB, score = 10
测试数据 #13: Accepted, time = 0 ms, mem = 688 KiB, score = 10
测试数据 #14: Accepted, time = 0 ms, mem = 684 KiB, score = 10
测试数据 #15: Accepted, time = 7 ms, mem = 688 KiB, score = 10
测试数据 #16: Accepted, time = 7 ms, mem = 684 KiB, score = 10
测试数据 #17: Accepted, time = 0 ms, mem = 684 KiB, score = 10
测试数据 #18: Accepted, time = 0 ms, mem = 688 KiB, score = 10
测试数据 #19: Accepted, time = 0 ms, mem = 684 KiB, score = 10
测试数据 #20: Accepted, time = 7 ms, mem = 684 KiB, score = 10
测试数据 #21: Accepted, time = 0 ms, mem = 688 KiB, score = 10
测试数据 #22: Accepted, time = 15 ms, mem = 684 KiB, score = 10
测试数据 #23: Accepted, time = 0 ms, mem = 684 KiB, score = 10
测试数据 #24: Accepted, time = 15 ms, mem = 684 KiB, score = 10
测试数据 #25: Accepted, time = 15 ms, mem = 684 KiB, score = 10
测试数据 #26: Accepted, time = 15 ms, mem = 688 KiB, score = 10
测试数据 #27: Accepted, time = 0 ms, mem = 684 KiB, score = 10
测试数据 #28: Accepted, time = 78 ms, mem = 688 KiB, score = 10
测试数据 #29: Accepted, time = 15 ms, mem = 684 KiB, score = 10
测试数据 #30: Accepted, time = 15 ms, mem = 684 KiB, score = 10
测试数据 #31: Accepted, time = 15 ms, mem = 684 KiB, score = 10
测试数据 #32: Accepted, time = 15 ms, mem = 688 KiB, score = 10
测试数据 #33: Accepted, time = 0 ms, mem = 684 KiB, score = 10
测试数据 #34: Accepted, time = 0 ms, mem = 684 KiB, score = 10
测试数据 #35: Accepted, time = 15 ms, mem = 684 KiB, score = 10
测试数据 #36: Accepted, time = 7 ms, mem = 684 KiB, score = 10
测试数据 #37: Accepted, time = 7 ms, mem = 684 KiB, score = 10
测试数据 #38: Accepted, time = 7 ms, mem = 688 KiB, score = 10
测试数据 #39: Accepted, time = 0 ms, mem = 684 KiB, score = 10
Accepted, time = 322 ms, mem = 688 KiB, score = 400
我只想说：
数据为何长了又长，。。。。。。是人性的扭曲还是道德的沦丧？请看史诗级灾难片《P1005 超长数字串之数据》！

........

楼下的程序超时

program p1005;
var inf,outf:text;
s,a:ansistring;
////////////////////////////////
procedure init;
begin

readln(s);
end;
///////////////////////////////
procedure main;
var l,ll,lll,n,p,kk,k,i,kkk:longint;
ss:string;
begin
l:=length(s);
n:=0;p:=1; kk:=1;k:=1;ll:=0;
while p<=l do
begin
inc(n);
ss:='';
str(n,ss);
for i:=1 to length(ss) do
begin
inc(ll);
delete(a,ll,1);
insert(ss[i],a,ll);
if s[p]=a[kk] then
begin
inc(p);
if p>l then break;
inc(kk);
end
else begin
inc(k);
p:=1;
kk:=k;
end;
end;
end;
writeln(k);

end;
//////////////////////////////
begin
init;
main;
end.

230分的超时程序啊
program p1005;
var inf,outf:text;
t:boolean;
s,ss,sss:string;
i,j,l,ll,lll:integer;
k,num:int64;
begin
read(ss);
t:=true;
ll:=length(ss);
s:='';
num:=0;
k:=0;
l:=0;
while t do
begin
inc(k);
str(k,sss);
lll:=length(sss);
for i:=1 to lll do
begin
if l=ll then
begin
for j:=1 to l do
if s[j]<>ss[j] then break;
if (j<>ll)or((j=ll)and(s[j]<>ss[j])) then
begin
delete(s,1,1);
dec(l);
inc(num);
end
else begin
t:=false;
end;
end;
if l+1<=ll then
begin
inc(l);
insert(sss[i],s,l);
end;
end;
end;
writeln(num+1);
end.

#include<iostream>
#include<cstring>
#include<cstdio>
#define MAXN 210

int n, fp , ansp;
char str[MAXN], minf[MAXN], fir[MAXN], ans[MAXN], temp[MAXN], next[MAXN], ret[MAXN] ;

inline void swap(char &a,char &b) //交换字符
{
char tmp ;
tmp = a, a = b, b = tmp ;
}
void get_Adjacent(char t[], int x)//得到t相邻的数
{//x = -1减，x = 1加1;
char s[MAXN] ;
int i, flag = 0 , len = strlen(t) ;
for(i = 0 ; i <= len ; i ++) s[i] = t[i] ;
if(x == -1)
{
for(i = len-1 ; i >= 0 && s[i] == '0' ; i --) ;
if(i >= 0) s[i] -- ;
if(len > 1 && s[0] == '0') flag = -1 ;
for(i=i+1 ; i < len ; i ++) s[i] = '9' ;
}
else
{
for(i = len-1 ; i >= 0 && s[i] == '9' ; i --) ;
if(i >= 0) s[i] ++ ;
else flag = 1 ;
for(i = i + 1; i < len ; i ++) s[i] = '0' ;
}
i = 0 ;
if(flag == 1) next[i++] = '1' ;
for(; i < len+flag ; i ++) next[i] = s[i-flag] ; next[i] = '\0' ;
}
bool judgment(int p, int len )//判断是否是999991000000这种情况;
{
int i ;
if(str[p] != '1') return false ;
for(i = 1 ; i < p ; i ++)
if(str[i] != '9') return false ;
for(i = 1 ; i+p <= n && i < len ; i ++)
if(str[i+p] != '0') return false ;
return true ;
}
void getMin(char s[], char t[])//取较小的,存在s中;
{
int i, ls = strlen(s), lt = strlen(t) ;
if(t[0] == '0' || lt > ls) return ;
if(lt < ls)
{
strcpy(s,t) ; ansp = fp ;
return ;
}
for(i = 0 ; i < ls ; i ++)
{
if(s[i] > t[i]) break ;
else if(s[i] < t[i]) return ;
}
strcpy(s,t) ;
ansp = fp ;
}
void find_FirstNumber()//找到字符串的开始数字；
{
int i, j, k, l, len , cnt;
for(i = 0 ; i < MAXN-2 ; i++) minf[i] = 'A' ; minf[MAXN-1] = '\0' ;
for(l = 1 ; l <= n ; l ++)
{
for(len = l, i = 2 ; i <= len+1 ; i ++)
{
fp = i ;
if(str[i] == '0') continue ;
if(n-i+1 < len) // 如果长度不够，不能分成第二个数
{
if(judgment(i, len+1))
{
for(j = 0 ; j < len ; j ++) fir[j] = '9' ; fir[j] = '\0' ;
getMin(minf, fir) ;
continue ;
}
for(j = 1 ; j < i && str[j] == '9' ; j ++) ;
if(j == i)
{
for(j = 0 ; j+i <= n ; j ++) temp[j] = str[i+j] ; temp[j] = '\0' ;
get_Adjacent(temp, -1) ;
k = j , cnt =1 ;
while(next[j-1] == '9' && cnt<i) k -- , j--, cnt++;
for(j = 0 ; j < k ; j ++) fir[j] = next[j] ;
for(j = 1; j < i ; j ++) fir[k+j-1] = str[j] ; fir[k+j-1] = '\0' ;
getMin(minf, fir) ;
continue ;
}
for(j = 1 ; j < i ; j ++) fir[len-j] = str[i-j] ; fir[len] = '\0' ;
for(j = 0 ; j <= len-i ; j ++) fir[j] = str[i+j] ;
get_Adjacent(fir, 1) ;
for(j = 0 ; j < len && i+j <= n ; j ++)
if(next[j] != str[i+j]) break ;
if(j < len && i+j <= n) continue ;
else
{
getMin(minf, fir ) ;
continue ;
}
}// temp为第二个数；
if(judgment(i, len + 1))
{
len ++ ;
for(j = 1 ; j < len ; j ++) temp[j] = '0' ; temp[0] = '1' ; temp[j] = '\0' ;
for(j = 0 ; j < len-1 ; j ++ ) fir[j] = '9' ; fir[j] = '\0' ;
}
else
{
for(j = 0 ; j < len ; j ++) temp[j] = str[j+i] ;
temp[j] = '\0' ;
get_Adjacent(temp, -1) ; //得到第一个数(next)；
for(j = 1 ; j < i ; j ++) // 与str[1-i-1]比较；
if(next[len-j] != str[i-j]) break ;
if(j < i) continue ;
strcpy(fir, next) ;
}//比较下一个数；
k = i + len ;
while(k <= n)
{
get_Adjacent(temp, 1) ; //得到比temp大1的数(next)；
len = strlen(next) ;
for(j = 0 ; k+j <= n && j < len ; j ++) //从高位到低位比较；
if(next[j] != str[k+j]) break ;
if(k+j <= n && j < len) break ; //比较失败；
strcpy(temp, next) ;
k += len ;
}
if(k > n) getMin(minf, fir) ;
}
}
}
void bigAdd(char a[], char b[])//大数加;
{
int la = strlen(a) , lb = strlen(b) , i, j, carrt=0, tmp, cnt=0;
for(i=la-1, j=lb-1; i>=0 && j>=0; i--, j--)
{
tmp=a[i]+b[j]-'0'-'0'+carrt;
carrt=tmp/10;
ret[cnt++]=tmp%10+'0';
}
for(;i>=0;i--)
{
tmp=a[i]-'0'+carrt;
carrt=tmp/10;
ret[cnt++]=tmp%10+'0';
}
for(;j>=0;j--)
{
tmp=b[j]-'0'+carrt;
carrt=tmp/10;
ret[cnt++]=tmp%10+'0';
}
while(carrt)
{
ret[cnt++]=carrt%10+'0';
carrt/=10;
}
ret[cnt++]='\0';
for(i=0;i<cnt/2;i++) swap(ret[i],ret[cnt-i-2]);
strcpy(a,ret);
}
void bigMutil(char a[], int b)//大数乘以int b
{
int i, len = strlen(a) ;
for(i = 0 ; i <= len ; i ++) next[i] = a[i] ;
for(i = 1 ; i < b ; i ++) bigAdd(a, next) ;
}
void cal_Temp() //计算表达式；
{
int i, j, len = strlen(minf) ;
for(i = 1 ; i < len && minf[i] == '0' ; i ++) ;
if(i == len && minf[0] == '1')
{
temp[0] = '0' ; temp[1] = '\0' ; return ;
}
j = i = 1 ; temp[0] = minf[0] - 1 ;
if(temp[0] == '0') i = 0 ;
for(; i <= len ; i ++, j ++) temp[i] = minf[j] ;
}
void solve()//算结果;
{
ans[0]='0', ans[1]='\0';
char a[MAXN] ;
int i, j, cnt, t, len = strlen(minf) ;
for(i = 1 ; i < len ; i ++)
{
t = i*9 ; cnt = 0 ;
while(t)
{
a[++cnt] = t % 10 + '0' ;
t /= 10 ;
}
for(j = 0 ; j < cnt ; j ++) temp[j] = a[cnt-j] ; cnt = j ;
for(j = 0; j < i-1 ; j ++) temp[cnt++] = '0' ; temp[cnt] = '\0' ;
bigAdd(ans, temp) ;
}
cal_Temp() ;
bigMutil(temp, len) ;
bigAdd(ans, temp);
for(i = -1 ; i <= len-ansp ; i ++) //ans - fp + 1 ;
{
get_Adjacent(ans, 1 ) ;
strcpy(ans, next) ;
}
}
bool special_Judge()//特判：00000123前导0超过一半的情况；
{
n -- ;
int i, j ;
for(i = 1 ; i <= n && str[i] == '0' ; i ++) ;
if(i <= n/2 + 1) return false ;
ansp = i ;
if(i > n)
{
minf[0] = '1' ;
for(j = 1 ; j <= n ; j ++) minf[j] = '0' ; minf[j] = '\0' ;
}
else
{
for(j = 0 ;i+j <= n ; j ++) minf[j] = str[i+j] ;
for(; j < n ; j ++) minf[j] = '0' ; minf[j] = '\0' ;
}
return true ;
}
int main()
{
int t=0;
str[0] ='0' ;
while(~scanf("%s", str+1))
{
n = strlen(str) ;
if(!special_Judge()) find_FirstNumber() ;
solve() ;
printf("%s\n", ans) ;
}
return 0 ;
}

写个小程序出字符串，210分

var
st:ansistring;
x,y,i:integer;
s:ansistring;
begin
st:='1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272227322742275227622772278227922802281228222832284228522862287228822892290229122922293229422952296229722982299230023012302230323042305230623072308230923102311231223132314231523162317231823192320232123222323232423252326232723282329233023312332233323342335233623372338233923402341234223432344234523462347234823492350235123522353235423552356235723582359236023612362236323642365236623672368236923702371237223732374237523762377237823792380238123822383238423852386238723882389239023912392239323942395239623972398239924002401240224032404240524062407240824092410241124122413241424152416241724182419242024212422242324242425242624272428242924302431243224332434243524362437243824392440244124422443244424452446244724482449245024512452245324542455245624572458245924602461246224632464246524662467246824692470247124722473247424752476247724782479248024812482248324842485248624872488248924902491249224932494249524962497249824992500250125022503250425052506250725082509251025112512251325142515251625172518251925202521252225232524252525262527252825292530253125322533253425352536253725382539254025412542254325442545254625472548254925502551255225532554255525562557255825592560256125622563256425652566256725682569257025712572257325742575257625772578257925802581258225832584258525862587258825892590259125922593259425952596259725982599260026012602260326042605260626072608260926102611261226132614261526162617261826192620262126222623262426252626262726282629263026312632263326342635263626372638263926402641264226432644264526462647264826492650265126522653265426552656265726582659266026612662266326642665266626672668266926702671267226732674267526762677267826792680268126822683268426852686268726882689269026912692269326942695269626972698269927002701270227032704270527062707270827092710271127122713271427152716271727182719272027212722272327242725272627272728272927302731273227332734273527362737273827392740274127422743274427452746274727482749275027512752275327542755275627572758275927602761276227632764276527662767276827692770277127722773277427752776277727782779278027812782278327842785278627872788278927902791279227932794279527962797279827992800280128022803280428052806280728082809281028112812281328142815281628172818281928202821282228232824282528262827282828292830283128322833283428352836283728382839284028412842284328442845284628472848284928502851285228532854285528562857285828592860286128622863286428652866286728682869287028712872287328742875287628772878287928802881288228832884288528862887288828892890289128922893289428952896289728982899290029012902290329042905290629072908290929102911291229132914291529162917291829192920292129222923292429252926292729282929293029312932293329342935293629372938293929402941294229432944294529462947294829492950295129522953295429552956295729582959296029612962296329642965296629672968296929702971297229732974297529762977297829792980298129822983298429852986298729882989299029912992299329942995299629972998299930003001300230033004300530063007300830093010301130123013301430153016301730183019302030213022302330243025302630273028302930303031303230333034303530363037303830393040304130423043304430453046304730483049305030513052305330543055305630573058305930603061306230633064306530663067306830693070307130723073307430753076307730783079308030813082308330843085308630873088308930903091309230933094309530963097309830993100310131023103310431053106310731083109311031113112311331143115311631173118311931203121312231233124312531263127312831293130313131323133313431353136313731383139314031413142314331443145314631473148314931503151315231533154315531563157315831593160316131623163316431653166316731683169317031713172317331743175317631773178317931803181318231833184318531863187318831893190319131923193319431953196319731983199320032013202320332043205320632073208320932103211321232133214321532163217321832193220322132223223322432253226322732283229323032313232323332343235323632373238323932403241324232433244324532463247324832493250325132523253325432553256325732583259326032613262326332643265326632673268326932703271327232733274327532763277327832793280328132823283328432853286328732883289329032913292329332943295329632973298329933003301330233033304330533063307330833093310331133123313331433153316331733183319332033213322332333243325332633273328332933303331333233333334333533363337333833393340334133423343334433453346334733483349335033513352335333543355335633573358335933603361336233633364336533663367336833693370337133723373337433753376337733783379338033813382338333843385338633873388338933903391339233933394339533963397339833993400340134023403340434053406340734083409341034113412341334143415341634173418341934203421342234233424342534263427342834293430343134323433343434353436343734383439344034413442344334443445344634473448344934503451345234533454345534563457345834593460346134623463346434653466346734683469347034713472347334743475347634773478347934803481348234833484348534863487348834893490349134923493349434953496349734983499350035013502350335043505350635073508350935103511351235133514351535163517351835193520352135223523352435253526352735283529353035313532353335343535353635373538353935403541354235433544354535463547354835493550355135523553355435553556355735583559356035613562356335643565356635673568356935703571357235733574357535763577357835793580358135823583358435853586358735883589359035913592359335943595359635973598359936003601360236033604360536063607360836093610361136123613361436153616361736183619362036213622362336243625362636273628362936303631363236333634363536363637363836393640364136423643364436453646364736483649365036513652365336543655365636573658365936603661366236633664366536663667366836693670367136723673367436753676367736783679368036813682368336843685368636873688368936903691369236933694369536963697369836993700370137023703370437053706370737083709371037113712371337143715371637173718371937203721372237233724372537263727372837293730373137323733373437353736373737383739374037413742374337443745374637473748374937503751375237533754375537563757375837593760376137623763376437653766376737683769377037713772377337743775377637773778377937803781378237833784378537863787378837893790379137923793379437953796379737983799380038013802380338043805380638073808380938103811381238133814381538163817381838193820382138223823382438253826382738283829383038313832383338343835383638373838383938403841384238433844384538463847384838493850385138523853385438553856385738583859386038613862386338643865386638673868386938703871387238733874387538763877387838793880388138823883388438853886388738883889389038913892389338943895389638973898389939003901390239033904390539063907390839093910391139123913391439153916391739183919392039213922392339243925392639273928392939303931393239333934393539363937393839393940394139423943394439453946394739483949395039513952395339543955395639573958395939603961396239633964396539663967396839693970397139723973397439753976397739783979398039813982398339843985398639873988398939903991399239933994399539963997399839994000400140024003400440054006400740084009401040114012401340144015401640174018401940204021402240234024402540264027402840294030403140324033403440354036403740384039404040414042404340444045404640474048404940504051405240534054405540564057405840594060406140624063406440654066406740684069407040714072407340744075407640774078407940804081408240834084408540864087408840894090409140924093409440954096409740984099410041014102410341044105410641074108410941104111411241134114411541164117411841194120412141224123412441254126412741284129413041314132413341344135413641374138413941404141414241434144414541464147414841494150415141524153415441554156415741584159416041614162416341644165416641674168416941704171417241734174417541764177417841794180418141824183418441854186418741884189419041914192419341944195419641974198419942004201420242034204420542064207420842094210421142124213421442154216421742184219422042214222422342244225422642274228422942304231423242334234423542364237423842394240424142424243424442454246424742484249425042514252425342544255425642574258425942604261426242634264426542664267426842694270427142724273427442754276427742784279428042814282428342844285428642874288428942904291429242934294429542964297429842994300430143024303430443054306430743084309431043114312431343144315431643174318431943204321432243234324432543264327432843294330433143324333433443354336433743384339434043414342434343444345434643474348434943504351435243534354435543564357435843594360436143624363436443654366436743684369437043714372437343744375437643774378437943804381438243834384438543864387438843894390439143924393439443954396439743984399440044014402440344044405440644074408440944104411441244134414441544164417441844194420442144224423442444254426442744284429443044314432443344344435443644374438443944404441444244434444444544464447444844494450445144524453445444554456445744584459446044614462446344644465446644674468446944704471447244734474447544764477447844794480448144824483448444854486448744884489449044914492449344944495449644974498449945004501450245034504450545064507450845094510451145124513451445154516451745184519452045214522452345244525452645274528452945304531453245334534453545364537453845394540454145424543454445454546454745484549455045514552455345544555455645574558455945604561456245634564456545664567456845694570457145724573457445754576457745784579458045814582458345844585458645874588458945904591459245934594459545964597459845994600460146024603460446054606460746084609461046114612461346144615461646174618461946204621462246234624462546264627462846294630463146324633463446354636463746384639464046414642464346444645464646474648464946504651465246534654465546564657465846594660466146624663466446654666466746684669467046714672467346744675467646774678467946804681468246834684468546864687468846894690469146924693469446954696469746984699470047014702470347044705470647074708470947104711471247134714471547164717471847194720472147224723472447254726472747284729473047314732473347344735473647374738473947404741474247434744474547464747474847494750475147524753475447554756475747584759476047614762476347644765476647674768476947704771477247734774477547764777477847794780478147824783478447854786478747884789479047914792479347944795479647974798479948004801480248034804480548064807480848094810481148124813481448154816481748184819482048214822482348244825482648274828482948304831483248334834483548364837483848394840484148424843484448454846484748484849485048514852485348544855485648574858485948604861486248634864486548664867486848694870487148724873487448754876487748784879488048814882488348844885488648874888488948904891489248934894489548964897489848994900490149024903490449054906490749084909491049114912491349144915491649174918491949204921492249234924492549264927492849294930493149324933493449354936493749384939494049414942494349444945494649474948494949504951495249534954495549564957495849594960496149624963496449654966496749684969497049714972497349744975497649774978497949804981498249834984498549864987498849894990499149924993499449954996499749984999500050015002500350045005500650075008500950105011501250135014501550165017501850195020502150225023502450255026502750285029503050315032503350345035503650375038503950405041504250435044504550465047504850495050505150525053505450555056505750585059506050615062506350645065506650675068506950705071507250735074507550765077507850795080508150825083508450855086508750885089509050915092509350945095509650975098509951005101510251035104510551065107510851095110511151125113511451155116511751185119512051215122512351245125512651275128512951305131513251335134513551365137513851395140514151425143514451455146514751485149515051515152515351545155515651575158515951605161516251635164516551665167516851695170517151725173517451755176517751785179518051815182518351845185518651875188518951905191519251935194519551965197519851995200520152025203520452055206520752085209521052115212521352145215521652175218521952205221522252235224522552265227522852295230523152325233523452355236523752385239524052415242524352445245524652475248524952505251525252535254525552565257525852595260526152625263526452655266526752685269527052715272527352745275527652775278527952805281528252835284528552865287528852895290529152925293529452955296529752985299530053015302530353045305530653075308530953105311531253135314531553165317531853195320532153225323532453255326532753285329533053315332533353345335533653375338533953405341534253435344534553465347534853495350535153525353535453555356535753585359536053615362536353645365536653675368536953705371537253735374537553765377537853795380538153825383538453855386538753885389539053915392539353945395539653975398539954005401540254035404540554065407540854095410541154125413541454155416541754185419542054215422542354245425542654275428542954305431543254335434543554365437543854395440544154425443544454455446544754485449545054515452545354545455545654575458545954605461546254635464546554665467546854695470547154725473547454755476547754785479548054815482548354845485548654875488548954905491549254935494549554965497549854995500550155025503550455055506550755085509551055115512551355145515551655175518551955205521552255235524552555265527552855295530553155325533553455355536553755385539554055415542554355445545554655475548554955505551555255535554555555565557555855595560556155625563556455655566556755685569557055715572557355745575557655775578557955805581558255835584558555865587558855895590559155925593559455955596559755985599560056015602560356045605560656075608560956105611561256135614561556165617561856195620562156225623562456255626562756285629563056315632563356345635563656375638563956405641564256435644564556465647564856495650565156525653565456555656565756585659566056615662566356645665566656675668566956705671567256735674567556765677567856795680568156825683568456855686568756885689569056915692569356945695569656975698569957005701570257035704570557065707570857095710571157125713571457155716571757185719572057215722572357245725572657275728572957305731573257335734573557365737573857395740574157425743574457455746574757485749575057515752575357545755575657575758575957605761576257635764576557665767576857695770577157725773577457755776577757785779578057815782578357845785578657875788578957905791579257935794579557965797579857995800580158025803580458055806580758085809581058115812581358145815581658175818581958205821582258235824582558265827582858295830583158325833583458355836583758385839584058415842584358445845584658475848584958505851585258535854585558565857585858595860586158625863586458655866586758685869587058715872587358745875587658775878587958805881588258835884588558865887588858895890589158925893589458955896589758985899590059015902590359045905590659075908590959105911591259135914591559165917591859195920592159225923592459255926592759285929593059315932593359345935593659375938593959405941594259435944594559465947594859495950595159525953595459555956595759585959596059615962596359645965596659675968596959705971597259735974597559765977597859795980598159825983598459855986598759885989599059915992599359945995599659975998599960006001600260036004600560066007600860096010601160126013601460156016601760186019602060216022602360246025602660276028602960306031603260336034603560366037603860396040604160426043604460456046604760486049605060516052605360546055605660576058605960606061606260636064606560666067606860696070607160726073607460756076607760786079608060816082608360846085608660876088608960906091609260936094609560966097609860996100610161026103610461056106610761086109611061116112611361146115611661176118611961206121612261236124612561266127612861296130613161326133613461356136613761386139614061416142614361446145614661476148614961506151615261536154615561566157615861596160616161626163616461656166616761686169617061716172617361746175617661776178617961806181618261836184618561866187618861896190619161926193619461956196619761986199620062016202620362046205620662076208620962106211621262136214621562166217621862196220622162226223622462256226622762286229623062316232623362346235623662376238623962406241624262436244624562466247624862496250625162526253625462556256625762586259626062616262626362646265626662676268626962706271627262736274627562766277627862796280628162826283628462856286628762886289629062916292629362946295629662976298629963006301630263036304630563066307630863096310631163126313631463156316631763186319632063216322632363246325632663276328632963306331633263336334633563366337633863396340634163426343634463456346634763486349635063516352635363546355635663576358635963606361636263636364636563666367636863696370637163726373637463756376637763786379638063816382638363846385638663876388638963906391639263936394639563966397639863996400640164026403640464056406640764086409641064116412641364146415641664176418641964206421642264236424642564266427642864296430643164326433643464356436643764386439644064416442644364446445644664476448644964506451645264536454645564566457645864596460646164626463646464656466646764686469647064716472647364746475647664776478647964806481648264836484648564866487648864896490649164926493649464956496649764986499650065016502650365046505650665076508650965106511651265136514651565166517651865196520652165226523652465256526652765286529653065316532653365346535653665376538653965406541654265436544654565466547654865496550655165526553655465556556655765586559656065616562656365646565656665676568656965706571657265736574657565766577657865796580658165826583658465856586658765886589659065916592659365946595659665976598659966006601660266036604660566066607660866096610661166126613661466156616661766186619662066216622662366246625662666276628662966306631663266336634663566366637663866396640664166426643664466456646664766486649665066516652665366546655665666576658665966606661666266636664666566666667666866696670667166726673667466756676667766786679668066816682668366846685668666876688668966906691669266936694669566966697669866996700670167026703670467056706670767086709671067116712671367146715671667176718671967206721672267236724672567266727672867296730673167326733673467356736673767386739674067416742674367446745674667476748674967506751675267536754675567566757675867596760676167626763676467656766676767686769677067716772677367746775677667776778677967806781678267836784678567866787678867896790679167926793679467956796679767986799680068016802680368046805680668076808680968106811681268136814681568166817681868196820682168226823682468256826682768286829683068316832683368346835683668376838683968406841684268436844684568466847684868496850685168526853685468556856685768586859686068616862686368646865686668676868686968706871687268736874687568766877687868796880688168826883688468856886688768886889689068916892689368946895689668976898689969006901690269036904690569066907690869096910691169126913691469156916691769186919692069216922692369246925692669276928692969306931693269336934693569366937693869396940694169426943694469456946694769486949695069516952695369546955695669576958695969606961696269636964696569666967696869696970697169726973697469756976697769786979698069816982698369846985698669876988698969906991699269936994699569966997699869997000700170027003700470057006700770087009701070117012701370147015701670177018701970207021702270237024702570267027702870297030703170327033703470357036703770387039704070417042704370447045704670477048704970507051705270537054705570567057705870597060706170627063706470657066706770687069707070717072707370747075707670777078707970807081708270837084708570867087708870897090709170927093709470957096709770987099710071017102710371047105710671077108710971107111711271137114711571167117711871197120712171227123712471257126712771287129713071317132713371347135713671377138713971407141714271437144714571467147714871497150715171527153715471557156715771587159716071617162716371647165716671677168716971707171717271737174717571767177717871797180718171827183718471857186718771887189719071917192719371947195719671977198719972007201720272037204720572067207720872097210721172127213721472157216721772187219722072217222722372247225722672277228722972307231723272337234723572367237723872397240724172427243724472457246724772487249725072517252725372547255725672577258725972607261726272637264726572667267726872697270727172727273727472757276727772787279728072817282728372847285728672877288728972907291729272937294729572967297729872997300730173027303730473057306730773087309731073117312731373147315731673177318731973207321732273237324732573267327732873297330733173327333733473357336733773387339734073417342734373447345734673477348734973507351735273537354735573567357735873597360736173627363736473657366736773687369737073717372737373747375737673777378737973807381738273837384738573867387738873897390739173927393739473957396739773987399740074017402740374047405740674077408740974107411741274137414741574167417741874197420742174227423742474257426742774287429743074317432743374347435743674377438743974407441744274437444744574467447744874497450745174527453745474557456745774587459746074617462746374647465746674677468746974707471747274737474747574767477747874797480748174827483748474857486748774887489749074917492749374947495749674977498749975007501750275037504750575067507750875097510751175127513751475157516751775187519752075217522752375247525752675277528752975307531753275337534753575367537753875397540754175427543754475457546754775487549755075517552755375547555755675577558755975607561756275637564756575667567756875697570757175727573757475757576757775787579758075817582758375847585758675877588758975907591759275937594759575967597759875997600760176027603760476057606760776087609761076117612761376147615761676177618761976207621762276237624762576267627762876297630763176327633763476357636763776387639764076417642764376447645764676477648764976507651765276537654765576567657765876597660766176627663766476657666766776687669767076717672767376747675767676777678767976807681768276837684768576867687768876897690769176927693769476957696769776987699770077017702770377047705770677077708770977107711771277137714771577167717771877197720772177227723772477257726772777287729773077317732773377347735773677377738773977407741774277437744774577467747774877497750775177527753775477557756775777587759776077617762776377647765776677677768776977707771777277737774777577767777777877797780778177827783778477857786778777887789779077917792779377947795779677977798779978007801780278037804780578067807780878097810781178127813781478157816781778187819782078217822782378247825782678277828782978307831783278337834783578367837783878397840784178427843784478457846784778487849785078517852785378547855785678577858785978607861786278637864786578667867786878697870787178727873787478757876787778787879788078817882788378847885788678877888788978907891789278937894789578967897789878997900790179027903790479057906790779087909791079117912791379147915791679177918791979207921792279237924792579267927792879297930793179327933793479357936793779387939794079417942794379447945794679477948794979507951795279537954795579567957795879597960796179627963796479657966796779687969797079717972797379747975797679777978797979807981798279837984798579867987798879897990799179927993799479957996799779987999800080018002800380048005800680078008800980108011801280138014801580168017801880198020802180228023802480258026802780288029803080318032803380348035803680378038803980408041804280438044804580468047804880498050805180528053805480558056805780588059806080618062806380648065806680678068806980708071807280738074807580768077807880798080808180828083808480858086808780888089809080918092809380948095809680978098809981008101810281038104810581068107810881098110811181128113811481158116811781188119812081218122812381248125812681278128812981308131813281338134813581368137813881398140814181428143814481458146814781488149815081518152815381548155815681578158815981608161816281638164816581668167816881698170817181728173817481758176817781788179818081818182818381848185818681878188818981908191819281938194819581968197819881998200820182028203820482058206820782088209821082118212821382148215821682178218821982208221822282238224822582268227822882298230823182328233823482358236823782388239824082418242824382448245824682478248824982508251825282538254825582568257825882598260826182628263826482658266826782688269827082718272827382748275827682778278827982808281828282838284828582868287828882898290829182928293829482958296829782988299830083018302830383048305830683078308830983108311831283138314831583168317831883198320832183228323832483258326832783288329833083318332833383348335833683378338833983408341834283438344834583468347834883498350835183528353835483558356835783588359836083618362836383648365836683678368836983708371837283738374837583768377837883798380838183828383838483858386838783888389839083918392839383948395839683978398839984008401840284038404840584068407840884098410841184128413841484158416841784188419842084218422842384248425842684278428842984308431843284338434843584368437843884398440844184428443844484458446844784488449845084518452845384548455845684578458845984608461846284638464846584668467846884698470847184728473847484758476847784788479848084818482848384848485848684878488848984908491849284938494849584968497849884998500850185028503850485058506850785088509851085118512851385148515851685178518851985208521852285238524852585268527852885298530853185328533853485358536853785388539854085418542854385448545854685478548854985508551855285538554855585568557855885598560856185628563856485658566856785688569857085718572857385748575857685778578857985808581858285838584858585868587858885898590859185928593859485958596859785988599860086018602860386048605860686078608860986108611861286138614861586168617861886198620862186228623862486258626862786288629863086318632863386348635863686378638863986408641864286438644864586468647864886498650865186528653865486558656865786588659866086618662866386648665866686678668866986708671867286738674867586768677867886798680868186828683868486858686868786888689869086918692869386948695869686978698869987008701870287038704870587068707870887098710871187128713871487158716871787188719872087218722872387248725872687278728872987308731873287338734873587368737873887398740874187428743874487458746874787488749875087518752875387548755875687578758875987608761876287638764876587668767876887698770877187728773877487758776877787788779878087818782878387848785878687878788878987908791879287938794879587968797879887998800880188028803880488058806880788088809881088118812881388148815881688178818881988208821882288238824882588268827882888298830883188328833883488358836883788388839884088418842884388448845884688478848884988508851885288538854885588568857885888598860886188628863886488658866886788688869887088718872887388748875887688778878887988808881888288838884888588868887888888898890889188928893889488958896889788988899890089018902890389048905890689078908890989108911891289138914891589168917891889198920892189228923892489258926892789288929893089318932893389348935893689378938893989408941894289438944894589468947894889498950895189528953895489558956895789588959896089618962896389648965896689678968896989708971897289738974897589768977897889798980898189828983898489858986898789888989899089918992899389948995899689978998899990009001900290039004900590069007900890099010901190129013901490159016901790189019902090219022902390249025902690279028902990309031903290339034903590369037903890399040904190429043904490459046904790489049905090519052905390549055905690579058905990609061906290639064906590669067906890699070907190729073907490759076907790789079908090819082908390849085908690879088908990909091909290939094909590969097909890999100910191029103910491059106910791089109911091119112911391149115911691179118911991209121912291239124912591269127912891299130913191329133913491359136913791389139914091419142914391449145914691479148914991509151915291539154915591569157915891599160916191629163916491659166916791689169917091719172917391749175917691779178917991809181918291839184918591869187918891899190919191929193919491959196919791989199920092019202920392049205920692079208920992109211921292139214921592169217921892199220922192229223922492259226922792289229923092319232923392349235923692379238923992409241924292439244924592469247924892499250925192529253925492559256925792589259926092619262926392649265926692679268926992709271927292739274927592769277927892799280928192829283928492859286928792889289929092919292929392949295929692979298929993009301930293039304930593069307930893099310931193129313931493159316931793189319932093219322932393249325932693279328932993309331933293339334933593369337933893399340934193429343934493459346934793489349935093519352935393549355935693579358935993609361936293639364936593669367936893699370937193729373937493759376937793789379938093819382938393849385938693879388938993909391939293939394939593969397939893999400940194029403940494059406940794089409941094119412941394149415941694179418941994209421942294239424942594269427942894299430943194329433943494359436943794389439944094419442944394449445944694479448944994509451945294539454945594569457945894599460946194629463946494659466946794689469947094719472947394749475947694779478947994809481948294839484948594869487948894899490949194929493949494959496949794989499950095019502950395049505950695079508950995109511951295139514951595169517951895199520952195229523952495259526952795289529953095319532953395349535953695379538953995409541954295439544954595469547954895499550955195529553955495559556955795589559956095619562956395649565956695679568956995709571957295739574957595769577957895799580958195829583958495859586958795889589959095919592959395949595959695979598959996009601960296039604960596069607960896099610961196129613961496159616961796189619962096219622962396249625962696279628962996309631963296339634963596369637963896399640964196429643964496459646964796489649965096519652965396549655965696579658965996609661966296639664966596669667966896699670967196729673967496759676967796789679968096819682968396849685968696879688968996909691969296939694969596969697969896999700970197029703970497059706970797089709971097119712971397149715971697179718971997209721972297239724972597269727972897299730973197329733973497359736973797389739974097419742974397449745974697479748974997509751975297539754975597569757975897599760976197629763976497659766976797689769977097719772977397749775977697779778977997809781978297839784978597869787978897899790979197929793979497959796979797989799980098019802980398049805980698079808980998109811981298139814981598169817981898199820982198229823982498259826982798289829983098319832983398349835983698379838983998409841984298439844984598469847984898499850985198529853985498559856985798589859986098619862986398649865986698679868986998709871987298739874987598769877987898799880988198829883988498859886988798889889989098919892989398949895989698979898989999009901990299039904990599069907990899099910991199129913991499159916991799189919992099219922992399249925992699279928992999309931993299339934993599369937993899399940994199429943994499459946994799489949995099519952995399549955995699579958995999609961996299639964996599669967996899699970997199729973997499759976997799789979998099819982998399849985998699879988998999909991999299939994999599969997999899991000010001100021000310004100051000610007100081000910010100111001210013100141001510016100171001810019100201002110022100231002410025100261002710028100291003010031100321003310034100351003610037100381003910040100411004210043100441004510046100471004810049100501005110052100531005410055100561005710058100591006010061100621006310064100651006610067100681006910070100711007210073100741007510076100771007810079100801008110082100831008410085100861008710088100891009010091100921009310094100951009610097100981009910100101011010210103101041010510106101071010810109101101011110112101131011410115101161011710118101191012010121101221012310124101251012610127101281012910130101311013210133101341013510136101371013810139101401014110142101431014410145101461014710148101491015010151101521015310154101551015610157101581015910160101611016210163101641016510166101671016810169101701017110172101731017410175101761017710178101791018010181101821018310184101851018610187101881018910190101911019210193101941019510196101971019810199102001020110202102031020410205102061020710208102091021010211102121021310214102151021610217102181021910220102211022210223102241022510226102271022810229102301023110232102331023410235102361023710238102391024010241102421024310244102451024610247102481024910250102511025210253102541025510256102571025810259102601026110262102631026410265102661026710268102691027010271102721027310274102751027610277102781027910280102811028210283102841028510286102871028810289102901029110292102931029410295102961029710298102991030010301103021030310304103051030610307103081030910310103111031210313103141031510316103171031810319103201032110322103231032410325103261032710328103291033010331103321033310334103351033610337103381033910340103411034210343103441034510346103471034810349103501035110352103531035410355103561035710358103591036010361103621036310364103651036610367103681036910370103711037210373103741037510376103771037810379103801038110382103831038410385103861038710388103891039010391103921039310394103951039610397103981039910400104011040210403104041040510406104071040810409104101041110412104131041410415104161041710418104191042010421104221042310424104251042610427104281042910430104311043210433104341043510436104371043810439104401044110442104431044410445104461044710448104491045010451104521045310454104551045610457104581045910460104611046210463104641046510466104671046810469104701047110472104731047410475104761047710478104791048010481104821048310484104851048610487104881048910490104911049210493104941049510496104971049810499105001050110502105031050410505105061050710508105091051010511105121051310514105151051610517105181051910520105211052210523105241052510526105271052810529105301053110532105331053410535105361053710538105391054010541105421054310544105451054610547105481054910550105511055210553105541055510556105571055810559105601056110562105631056410565105661056710568105691057010571105721057310574105751057610577105781057910580105811058210583105841058510586105871058810589105901059110592105931059410595105961059710598105991060010601106021060310604106051060610607106081060910610106111061210613106141061510616106171061810619106201062110622106231062410625106261062710628106291063010631106321063310634106351063610637106381063910640106411064210643106441064510646106471064810649106501065110652106531065410655106561065710658106591066010661106621066310664106651066610667106681066910670106711067210673106741067510676106771067810679106801068110682106831068410685106861068710688106891069010691106921069310694106951069610697106981069910700107011070210703107041070510706107071070810709107101071110712107131071410715107161071710718107191072010721107221072310724107251072610727107281072910730107311073210733107341073510736107371073810739107401074110742107431074410745107461074710748107491075010751107521075310754107551075610757107581075910760107611076210763107641076510766107671076810769107701077110772107731077410775107761077710778107791078010781107821078310784107851078610787107881078910790107911079210793107941079510796107971079810799108001080110802108031080410805108061080710808108091081010811108121081310814108151081610817108181081910820108211082210823108241082510826108271082810829108301083110832108331083410835108361083710838108391084010841108421084310844108451084610847108481084910850108511085210853108541085510856108571085810859108601086110862108631086410865108661086710868108691087010871108721087310874108751087610877108781087910880108811088210883108841088510886108871088810889108901089110892108931089410895108961089710898108991090010901109021090310904109051090610907109081090910910109111091210913109141091510916109171091810919109201092110922109231092410925109261092710928109291093010931109321093310934109351093610937109381093910940109411094210943109441094510946109471094810949109501095110952109531095410955109561095710958109591096010961109621096310964109651096610967109681096910970109711097210973109741097510976109771097810979109801098110982109831098410985109861098710988109891099010991109921099310994109951099610997109981099911000110011100211003110041100511006110071100811009110101101111012110131101411015110161101711018110191102011021110221102311024110251102611027110281102911030110311103211033110341103511036110371103811039110401104111042110431104411045110461104711048110491105011051110521105311054110551105611057110581105911060110611106211063110641106511066110671106811069110701107111072110731107411075110761107711078110791108011081110821108311084110851108611087110881108911090110911109211093110941109511096110971109811099111001110111102111031110411105111061110711108111091111011111111121111311114111151111611117111181111911120111211112211123111241112511126111271112811129111301113111132111331113411135111361113711138111391114011141111421114311144111451114611147111481114911150111511115211153111541115511156111571115811159111601116111162111631116411165111661116711168111691117011171111721117311174111751117611177111781117911180111811118211183111841118511186111871118811189111901119111192111931119411195111961119711198111991120011201112021120311204112051120611207112081120911210112111121211213112141121511216112171121811219112201122111222112231122411225112261122711228112291123011231112321123311234112351123611237112381123911240112411124211243112441124511246112471124811249112501125111252112531125411255112561125711258112591126011261112621126311264112651126611267112681126911270112711127211273112741127511276112771127811279112801128111282112831128411285112861128711288112891129011291112921129311294112951129611297112981129911300113011130211303113041130511306113071130811309113101131111312113131131411315113161131711318113191132011321113221132311324113251132611327113281132911330113311133211333113341133511336113371133811339113401134111342113431134411345113461134711348113491135011351113521135311354113551135611357113581135911360113611136211363113641136511366113671136811369113701137111372113731137411375113761137711378113791138011381113821138311384113851138611387113881138911390113911139211393113941139511396113971139811399114001140111402114031140411405114061140711408114091141011411114121141311414114151141611417114181141911420114211142211423114241142511426114271142811429114301143111432114331143411435114361143711438114391144011441114421144311444114451144611447114481144911450114511145211453114541145511456114571145811459114601146111462114631146411465114661146711468114691147011471114721147311474114751147611477114781147911480114811148211483114841148511486114871148811489114901149111492114931149411495114961149711498114991150011501115021150311504115051150611507115081150911510115111151211513115141151511516115171151811519115201152111522115231152411525115261152711528115291153011531115321153311534115351153611537115381153911540115411154211543115441154511546115471154811549115501155111552115531155411555115561155711558115591156011561115621156311564115651156611567115681156911570115711157211573115741157511576115771157811579115801158111582115831158411585115861158711588115891159011591115921159311594115951159611597115981159911600116011160211603116041160511606116071160811609116101161111612116131161411615116161161711618116191162011621116221162311624116251162611627116281162911630116311163211633116341163511636116371163811639116401164111642116431164411645116461164711648116491165011651116521165311654116551165611657116581165911660116611166211663116641166511666116671166811669116701167111672116731167411675116761167711678116791168011681116821168311684116851168611687116881168911690116911169211693116941169511696116971169811699117001170111702117031170411705117061170711708117091171011711117121171311714117151171611717117181171911720117211172211723117241172511726117271172811729117301173111732117331173411735117361173711738117391174011741117421174311744117451174611747117481174911750117511175211753117541175511756117571175811759117601176111762117631176411765117661176711768117691177011771117721177311774117751177611777117781177911780117811178211783117841178511786117871178811789117901179111792117931179411795117961179711798117991180011801118021180311804118051180611807118081180911810118111181211813118141181511816118171181811819118201182111822118231182411825118261182711828118291183011831118321183311834118351183611837118381183911840118411184211843118441184511846118471184811849118501185111852118531185411855118561185711858118591186011861118621186311864118651186611867118681186911870118711187211873118741187511876118771187811879118801188111882118831188411885118861188711888118891189011891118921189311894118951189611897118981189911900119011190211903119041190511906119071190811909119101191111912119131191411915119161191711918119191192011921119221192311924119251192611927119281192911930119311193211933119341193511936119371193811939119401194111942119431194411945119461194711948119491195011951119521195311954119551195611957119581195911960119611196211963119641196511966119671196811969119701197111972119731197411975119761197711978119791198011981119821198311984119851198611987119881198911990119911199211993119941199511996119971199811999120001200112002120031200412005120061200712008120091201012011120121201312014120151201612017120181201912020120211202212023120241202512026120271202812029120301203112032120331203412035120361203712038120391204012041120421204312044120451204612047120481204912050120511205212053120541205512056120571205812059120601206112062120631206412065120661206712068120691207012071120721207312074120751207612077120781207912080120811208212083120841208512086120871208812089120901209112092120931209412095120961209712098120991210012101121021210312104121051210612107121081210912110121111211212113121141211512116121171211812119121201212112122121231212412125121261212712128121291213012131121321213312134121351213612137121381213912140121411214212143121441214512146121471214812149121501215112152121531215412155121561215712158121591216012161121621216312164121651216612167121681216912170121711217212173121741217512176121771217812179121801218112182121831218412185121861218712188121891219012191121921219312194121951219612197121981219912200122011220212203122041220512206122071220812209122101221112212122131221412215122161221712218122191222012221122221222312224122251222612227122281222912230122311223212233122341223512236122371223812239122401224112242122431224412245122461224712248122491225012251122521225312254122551225612257122581225912260122611226212263122641226512266122671226812269122701227112272122731227412275122761227712278122791228012281122821228312284122851228612287122881228912290122911229212293122941229512296122971229812299123001230112302123031230412305123061230712308123091231012311123121231312314123151231612317123181231912320123211232212323123241232512326123271232812329123301233112332123331233412335123361233712338123391234012341123421234312344123451234612347123481234912350123511235212353123541235512356123571235812359123601236112362123631236412365123661236712368123691237012371123721237312374123751237612377123781237912380123811238212383123841238512386123871238812389123901239112392123931239412395123961239712398123991240012401124021240312404124051240612407124081240912410124111241212413124141241512416124171241812419124201242112422124231242412425124261242712428124291243012431124321243312434124351243612437124381243912440124411244212443124441244512446124471244812449124501245112452124531245412455124561245712458124591246012461124621246312464124651246612467124681246912470124711247212473124741247512476124771247812479124801248112482124831248412485124861248712488124891249012491124921249312494124951249612497124981249912500125011250212503125041250512506125071250812509125101251112512125131251412515125161251712518125191252012521125221252312524125251252612527125281252912530125311253212533125341253512536125371253812539125401254112542125431254412545125461254712548125491255012551125521255312554125551255612557125581255912560125611256212563125641256512566125671256812569125701257112572125731257412575125761257712578125791258012581125821258312584125851258612587125881258912590125911259212593125941259512596125971259812599126001260112602126031260412605126061260712608126091261012611126121261312614126151261612617126181261912620126211262212623126241262512626126271262812629126301263112632126331263412635126361263712638126391264012641126421264312644126451264612647126481264912650126511265212653126541265512656126571265812659126601266112662126631266412665126661266712668126691267012671126721267312674126751267612677126781267912680126811268212683126841268512686126871268812689126901269112692126931269412695126961269712698126991270012701127021270312704127051270612707127081270912710127111271212713127141271512716127171271812719127201272112722127231272412725127261272712728127291273012731127321273312734127351273612737127381273912740127411274212743127441274512746127471274812749127501275112752127531275412755127561275712758127591276012761127621276312764127651276612767127681276912770127711277212773127741277512776127771277812779127801278112782127831278412785127861278712788127891279012791127921279312794127951279612797127981279912800128011280212803128041280512806128071280812809128101281112812128131281412815128161281712818128191282012821128221282312824128251282612827128281282912830128311283212833128341283512836128371283812839128401284112842128431284412845128461284712848128491285012851128521285312854128551285612857128581285912860128611286212863128641286512866128671286812869128701287112872128731287412875128761287712878128791288012881128821288312884128851288612887128881288912890128911289212893128941289512896128971289812899129001290112902129031290412905129061290712908129091291012911129121291312914129151291612917129181291912920129211292212923129241292512926129271292812929129301293112932129331293412935129361293712938129391294012941129421294312944129451294612947129481294912950129511295212953129541295512956129571295812959129601296112962129631296412965129661296712968129691297012971129721297312974129751297612977129781297912980129811298212983129841298512986129871298812989129901299112992129931299412995129961299712998129991300013001130021300313004130051300613007130081300913010130111301213013130141301513016130171301813019130201302113022130231302413025130261302713028130291303013031130321303313034130351303613037130381303913040130411304213043130441304513046130471304813049130501305113052130531305413055130561305713058130591306013061130621306313064130651306613067130681306913070130711307213073130741307513076130771307813079130801308113082130831308413085130861308713088130891309013091130921309313094130951309613097130981309913100131011310213103131041310513106131071310813109131101311113112131131311413115131161311713118131191312013121131221312313124131251312613127131281312913130131311313213133131341313513136131371313813139131401314113142131431314413145131461314713148131491315013151131521315313154131551315613157131581315913160131611316213163131641316513166131671316813169131701317113172131731317413175131761317713178131791318013181131821318313184131851318613187131881318913190131911319213193131941319513196131971319813199132001320113202132031320413205132061320713208132091321013211132121321313214132151321613217132181321913220132211322213223132241322513226132271322813229132301323113232132331323413235132361323713238132391324013241132421324313244132451324613247132481324913250132511325213253132541325513256132571325813259132601326113262132631326413265132661326713268132691327013271132721327313274132751327613277132781327913280132811328213283132841328513286132871328813289132901329113292132931329413295132961329713298132991330013301133021330313304133051330613307133081330913310133111331213313133141331513316133171331813319133201332113322133231332413325133261332713328133291333013331133321333313334133351333613337133381333913340133411334213343133441334513346133471334813349133501335113352133531335413355133561335713358133591336013361133621336313364133651336613367133681336913370133711337213373133741337513376133771337813379133801338113382133831338413385133861338713388133891339013391133921339313394133951339613397133981339913400134011340213403134041340513406134071340813409134101341113412134131341413415134161341713418134191342013421134221342313424134251342613427134281342913430134311343213433134341343513436134371343813439134401344113442134431344413445134461344713448134491345013451134521345313454134551345613457134581345913460134611346213463134641346513466134671346813469134701347113472134731347413475134761347713478134791348013481134821348313484134851348613487134881348913490134911349213493134941349513496134971349813499135001350113502135031350413505135061350713508135091351013511135121351313514135151351613517135181351913520135211352213523135241352513526135271352813529135301353113532135331353413535135361353713538135391354013541135421354313544135451354613547135481354913550135511355213553135541355513556135571355813559135601356113562135631356413565135661356713568135691357013571135721357313574135751357613577135781357913580135811358213583135841358513586135871358813589135901359113592135931359413595135961359713598135991360013601136021360313604136051360613607136081360913610136111361213613136141361513616136171361813619136201362113622136231362413625136261362713628136291363013631136321363313634136351363613637136381363913640136411364213643136441364513646136471364813649136501365113652136531365413655136561365713658136591366013661136621366313664136651366613667136681366913670136711367213673136741367513676136771367813679136801368113682136831368413685136861368713688136891369013691136921369313694136951369613697136981369913700137011370213703137041370513706137071370813709137101371113712137131371413715137161371713718137191372013721137221372313724137251372613727137281372913730137311373213733137341373513736137371373813739137401374113742137431374413745137461374713748137491375013751137521375313754137551375613757137581375913760137611376213763137641376513766137671376813769137701377113772137731377413775137761377713778137791378013781137821378313784137851378613787137881378913790137911379213793137941379513796137971379813799138001380113802138031380413805138061380713808138091381013811138121381313814138151381613817138181381913820138211382213823138241382513826138271382813829138301383113832138331383413835138361383713838138391384013841138421384313844138451384613847138481384913850138511385213853138541385513856138571385813859138601386113862138631386413865138661386713868138691387013871138721387313874138751387613877138781387913880138811388213883138841388513886138871388813889138901389113892138931389413895138961389713898138991390013901139021390313904139051390613907139081390913910139111391213913139141391513916139171391813919139201392113922139231392413925139261392713928139291393013931139321393313934139351393613937139381393913940139411394213943139441394513946139471394813949139501395113952139531395413955139561395713958139591396013961139621396313964139651396613967139681396913970139711397213973139741397513976139771397813979139801398113982139831398413985139861398713988139891399013991139921399313994139951399613997139981399914000140011400214003140041400514006140071400814009140101401114012140131401414015140161401714018140191402014021140221402314024140251402614027140281402914030140311403214033140341403514036140371403814039140401404114042140431404414045140461404714048140491405014051140521405314054140551405614057140581405914060140611406214063140641406514066140671406814069140701407114072140731407414075140761407714078140791408014081140821408314084140851408614087140881408914090140911409214093140941409514096140971409814099141001410114102141031410414105141061410714108141091411014111141121411314114141151411614117141181411914120141211412214123141241412514126141271412814129141301413114132141331413414135141361413714138141391414014141141421414314144141451414614147141481414914150141511415214153141541415514156141571415814159141601416114162141631416414165141661416714168141691417014171141721417314174141751417614177141781417914180141811418214183141841418514186141871418814189141901419114192141931419414195141961419714198141991420014201142021420314204142051420614207142081420914210142111421214213142141421514216142171421814219142201422114222142231422414225142261422714228142291423014231142321423314234142351423614237142381423914240142411424214243142441424514246142471424814249142501425114252142531425414255142561425714258142591426014261142621426314264142651426614267142681426914270142711427214273142741427514276142771427814279142801428114282142831428414285142861428714288142891429014291142921429314294142951429614297142981429914300143011430214303143041430514306143071430814309143101431114312143131431414315143161431714318143191432014321143221432314324143251432614327143281432914330143311433214333143341433514336143371433814339143401434114342143431434414345143461434714348143491435014351143521435314354143551435614357143581435914360143611436214363143641436514366143671436814369143701437114372143731437414375143761437714378143791438014381143821438314384143851438614387143881438914390143911439214393143941439514396143971439814399144001440114402144031440414405144061440714408144091441014411144121441314414144151441614417144181441914420144211442214423144241442514426144271442814429144301443114432144331443414435144361443714438144391444014441144421444314444144451444614447144481444914450144511445214453144541445514456144571445814459144601446114462144631446414465144661446714468144691447014471144721447314474144751447614477144781447914480144811448214483144841448514486144871448814489144901449114492144931449414495144961449714498144991450014501145021450314504145051450614507145081450914510145111451214513145141451514516145171451814519145201452114522145231452414525145261452714528145291453014531145321453314534145351453614537145381453914540145411454214543145441454514546145471454814549145501455114552145531455414555145561455714558145591456014561145621456314564145651456614567145681456914570145711457214573145741457514576145771457814579145801458114582145831458414585145861458714588145891459014591145921459314594145951459614597145981459914600146011460214603146041460514606146071460814609146101461114612146131461414615146161461714618146191462014621146221462314624146251462614627146281462914630146311463214633146341463514636146371463814639146401464114642146431464414645146461464714648146491465014651146521465314654146551465614657146581465914660146611466214663146641466514666146671466814669146701467114672146731467414675146761467714678146791468014681146821468314684146851468614687146881468914690146911469214693146941469514696146971469814699147001470114702147031470414705147061470714708147091471014711147121471314714147151471614717147181471914720147211472214723147241472514726147271472814729147301473114732147331473414735147361473714738147391474014741147421474314744147451474614747147481474914750147511475214753147541475514756147571475814759147601476114762147631476414765147661476714768147691477014771147721477314774147751477614777147781477914780147811478214783147841478514786147871478814789147901479114792147931479414795147961479714798147991480014801148021480314804148051480614807148081480914810148111481214813148141481514816148171481814819148201482114822148231482414825148261482714828148291483014831148321483314834148351483614837148381483914840148411484214843148441484514846148471484814849148501485114852148531485414855148561485714858148591486014861148621486314864148651486614867148681486914870148711487214873148741487514876148771487814879148801488114882148831488414885148861488714888148891489014891148921489314894148951489614897148981489914900149011490214903149041490514906149071490814909149101491114912149131491414915149161491714918149191492014921149221492314924149251492614927149281492914930149311493214933149341493514936149371493814939149401494114942149431494414945149461494714948149491495014951149521495314954149551495614957149581495914960149611496214963149641496514966149671496814969149701497114972149731497414975149761497714978149791498014981149821498314984149851498614987149881498914990149911499214993149941499514996149971499814999150001500115002150031500415005150061500715008150091501015011150121501315014150151501615017150181501915020150211502215023150241502515026150271502815029150301503115032150331503415035150361503715038150391504015041150421504315044150451504615047150481504915050150511505215053150541505515056150571505815059150601506115062150631506415065150661506715068150691507015071150721507315074150751507615077150781507915080150811508215083150841508515086150871508815089150901509115092150931509415095150961509715098150991510015101151021510315104151051510615107151081510915110151111511215113151141511515116151171511815119151201512115122151231512415125151261512715128151291513015131151321513315134151351513615137151381513915140151411514215143151441514515146151471514815149151501515115152151531515415155151561515715158151591516015161151621516315164151651516615167151681516915170151711517215173151741517515176151771517815179151801518115182151831518415185151861518715188151891519015191151921519315194151951519615197151981519915200152011520215203152041520515206152071520815209152101521115212152131521415215152161521715218152191522015221152221522315224152251522615227152281522915230152311523215233152341523515236152371523815239152401524115242152431524415245152461524715248152491525015251152521525315254152551525615257152581525915260152611526215263152641526515266152671526815269152701527115272152731527415275152761527715278152791528015281152821528315284152851528615287152881528915290152911529215293152941529515296152971529815299153001530115302153031530415305153061530715308153091531015311153121531315314153151531615317153181531915320153211532215323153241532515326153271532815329153301533115332153331533415335153361533715338153391534015341153421534315344153451534615347153481534915350153511535215353153541535515356153571535815359153601536115362153631536415365153661536715368153691537015371153721537315374153751537615377153781537915380153811538215383153841538515386153871538815389153901539115392153931539415395153961539715398153991540015401154021540315404154051540615407154081540915410154111541215413154141541515416154171541815419154201542115422154231542415425154261542715428154291543015431154321543315434154351543615437154381543915440154411544215443154441544515446154471544815449154501545115452154531545415455154561545715458154591546015461154621546315464154651546615467154681546915470154711547215473154741547515476154771547815479154801548115482154831548415485154861548715488154891549015491154921549315494154951549615497154981549915500155011550215503155041550515506155071550815509155101551115512155131551415515155161551715518155191552015521155221552315524155251552615527155281552915530155311553215533155341553515536155371553815539155401554115542155431554415545155461554715548155491555015551155521555315554155551555615557155581555915560155611556215563155641556515566155671556815569155701557115572155731557415575155761557715578155791558015581155821558315584155851558615587155881558915590155911559215593155941559515596155971559815599156001560115602156031560415605156061560715608156091561015611156121561315614156151561615617156181561915620156211562215623156241562515626156271562815629156301563115632156331563415635156361563715638156391564015641156421564315644156451564615647156481564915650156511565215653156541565515656156571565815659156601566115662156631566415665156661566715668156691567015671156721567315674156751567615677156781567915680156811568215683156841568515686156871568815689156901569115692156931569415695156961569715698156991570015701157021570315704157051570615707157081570915710157111571215713157141571515716157171571815719157201572115722157231572415725157261572715728157291573015731157321573315734157351573615737157381573915740157411574215743157441574515746157471574815749157501575115752157531575415755157561575715758157591576015761157621576315764157651576615767157681576915770157711577215773157741577515776157771577815779157801578115782157831578415785157861578715788157891579015791157921579315794157951579615797157981579915800158011580215803158041580515806158071580815809158101581115812158131581415815158161581715818158191582015821158221582315824158251582615827158281582915830158311583215833158341583515836158371583815839158401584115842158431584415845158461584715848158491585015851158521585315854158551585615857158581585915860158611586215863158641586515866158671586815869158701587115872158731587415875158761587715878158791588015881158821588315884158851588615887158881588915890158911589215893158941589515896158971589815899159001590115902159031590415905159061590715908159091591015911159121591315914159151591615917159181591915920159211592215923159241592515926159271592815929159301593115932159331593415935159361593715938159391594015941159421594315944159451594615947159481594915950159511595215953159541595515956159571595815959159601596115962159631596415965159661596715968159691597015971159721597315974159751597615977159781597915980159811598215983159841598515986159871598815989159901599115992159931599415995159961599715998159991600016001160021600316004160051600616007160081600916010160111601216013160141601516016160171601816019160201602116022160231602416025160261602716028160291603016031160321603316034160351603616037160381603916040160411604216043160441604516046160471604816049160501605116052160531605416055160561605716058160591606016061160621606316064160651606616067160681606916070160711607216073160741607516076160771607816079160801608116082160831608416085160861608716088160891609016091160921609316094160951609616097160981609916100161011610216103161041610516106161071610816109161101611116112161131611416115161161611716118161191612016121161221612316124161251612616127161281612916130161311613216133161341613516136161371613816139161401614116142161431614416145161461614716148161491615016151161521615316154161551615616157161581615916160161611616216163161641616516166161671616816169161701617116172161731617416175161761617716178161791618016181161821618316184161851618616187161881618916190161911619216193161941619516196161971619816199162001620116202162031620416205162061620716208162091621016211162121621316214162151621616217162181621916220162211622216223162241622516226162271622816229162301623116232162331623416235162361623716238162391624016241162421624316244162451624616247162481624916250162511625216253162541625516256162571625816259162601626116262162631626416265162661626716268162691627016271162721627316274162751627616277162781627916280162811628216283162841628516286162871628816289162901629116292162931629416295162961629716298162991630016301163021630316304163051630616307163081630916310163111631216313163141631516316163171631816319163201632116322163231632416325163261632716328163291633016331163321633316334163351633616337163381633916340163411634216343163441634516346163471634816349163501635116352163531635416355163561635716358163591636016361163621636316364163651636616367163681636916370163711637216373163741637516376163771637816379163801638116382163831638416385163861638716388163891639016391163921639316394163951639616397163981639916400164011640216403164041640516406164071640816409164101641116412164131641416415164161641716418164191642016421164221642316424164251642616427164281642916430164311643216433164341643516436164371643816439164401644116442164431644416445164461644716448164491645016451164521645316454164551645616457164581645916460164611646216463164641646516466164671646816469164701647116472164731647416475164761647716478164791648016481164821648316484164851648616487164881648916490164911649216493164941649516496164971649816499165001650116502165031650416505165061650716508165091651016511165121651316514165151651616517165181651916520165211652216523165241652516526165271652816529165301653116532165331653416535165361653716538165391654016541165421654316544165451654616547165481654916550165511655216553165541655516556165571655816559165601656116562165631656416565165661656716568165691657016571165721657316574165751657616577165781657916580165811658216583165841658516586165871658816589165901659116592165931659416595165961659716598165991660016601166021660316604166051660616607166081660916610166111661216613166141661516616166171661816619166201662116622166231662416625166261662716628166291663016631166321663316634166351663616637166381663916640166411664216643166441664516646166471664816649166501665116652166531665416655166561665716658166591666016661166621666316664166651666616667166681666916670166711667216673166741667516676166771667816679166801668116682166831668416685166861668716688166891669016691166921669316694166951669616697166981669916700167011670216703167041670516706167071670816709167101671116712167131671416715167161671716718167191672016721167221672316724167251672616727167281672916730167311673216733167341673516736167371673816739167401674116742167431674416745167461674716748167491675016751167521675316754167551675616757167581675916760167611676216763167641676516766167671676816769167701677116772167731677416775167761677716778167791678016781167821678316784167851678616787167881678916790167911679216793167941679516796167971679816799168001680116802168031680416805168061680716808168091681016811168121681316814168151681616817168181681916820168211682216823168241682516826168271682816829168301683116832168331683416835168361683716838168391684016841168421684316844168451684616847168481684916850168511685216853168541685516856168571685816859168601686116862168631686416865168661686716868168691687016871168721687316874168751687616877168781687916880168811688216883168841688516886168871688816889168901689116892168931689416895168961689716898168991690016901169021690316904169051690616907169081690916910169111691216913169141691516916169171691816919169201692116922169231692416925169261692716928169291693016931169321693316934169351693616937169381693916940169411694216943169441694516946169471694816949169501695116952169531695416955169561695716958169591696016961169621696316964169651696616967169681696916970169711697216973169741697516976169771697816979169801698116982169831698416985169861698716988169891699016991169921699316994169951699616997169981699917000170011700217003170041700517006170071700817009170101701117012170131701417015170161701717018170191702017021170221702317024170251702617027170281702917030170311703217033170341703517036170371703817039170401704117042170431704417045170461704717048170491705017051170521705317054170551705617057170581705917060170611706217063170641706517066170671706817069170701707117072170731707417075170761707717078170791708017081170821708317084170851708617087170881708917090170911709217093170941709517096170971709817099171001710117102171031710417105171061710717108171091711017111171121711317114171151711617117171181711917120171211712217123171241712517126171271712817129171301713117132171331713417135171361713717138171391714017141171421714317144171451714617147171481714917150171511715217153171541715517156171571715817159171601716117162171631716417165171661716717168171691717017171171721717317174171751717617177171781717917180171811718217183171841718517186171871718817189171901719117192171931719417195171961719717198171991720017201172021720317204172051720617207172081720917210172111721217213172141721517216172171721817219172201722117222172231722417225172261722717228172291723017231172321723317234172351723617237172381723917240172411724217243172441724517246172471724817249172501725117252172531725417255172561725717258172591726017261172621726317264172651726617267172681726917270172711727217273172741727517276172771727817279172801728117282172831728417285172861728717288172891729017291172921729317294172951729617297172981729917300173011730217303173041730517306173071730817309173101731117312173131731417315173161731717318173191732017321173221732317324173251732617327173281732917330173311733217333173341733517336173371733817339173401734117342173431734417345173461734717348173491735017351173521735317354173551735617357173581735917360173611736217363173641736517366173671736817369173701737117372173731737417375173761737717378173791738017381173821738317384173851738617387173881738917390173911739217393173941739517396173971739817399174001740117402174031740417405174061740717408174091741017411174121741317414174151741617417174181741917420174211742217423174241742517426174271742817429174301743117432174331743417435174361743717438174391744017441174421744317444174451744617447174481744917450174511745217453174541745517456174571745817459174601746117462174631746417465174661746717468174691747017471174721747317474174751747617477174781747917480174811748217483174841748517486174871748817489174901749117492174931749417495174961749717498174991750017501175021750317504175051750617507175081750917510175111751217513175141751517516175171751817519175201752117522175231752417525175261752717528175291753017531175321753317534175351753617537175381753917540175411754217543175441754517546175471754817549175501755117552175531755417555175561755717558175591756017561175621756317564175651756617567175681756917570175711757217573175741757517576175771757817579175801758117582175831758417585175861758717588175891759017591175921759317594175951759617597175981759917600176011760217603176041760517606176071760817609176101761117612176131761417615176161761717618176191762017621176221762317624176251762617627176281762917630176311763217633176341763517636176371763817639176401764117642176431764417645176461764717648176491765017651176521765317654176551765617657176581765917660176611766217663176641766517666176671766817669176701767117672176731767417675176761767717678176791768017681176821768317684176851768617687176881768917690176911769217693176941769517696176971769817699177001770117702177031770417705177061770717708177091771017711177121771317714177151771617717177181771917720177211772217723177241772517726177271772817729177301773117732177331773417735177361773717738177391774017741177421774317744177451774617747177481774917750177511775217753177541775517756177571775817759177601776117762177631776417765177661776717768177691777017771177721777317774177751777617777177781777917780177811778217783177841778517786177871778817789177901779117792177931779417795177961779717798177991780017801178021780317804178051780617807178081780917810178111781217813178141781517816178171781817819178201782117822178231782417825178261782717828178291783017831178321783317834178351783617837178381783917840178411784217843178441784517846178471784817849178501785117852178531785417855178561785717858178591786017861178621786317864178651786617867178681786917870178711787217873178741787517876178771787817879178801788117882178831788417885178861788717888178891789017891178921789317894178951789617897178981789917900179011790217903179041790517906179071790817909179101791117912179131791417915179161791717918179191792017921179221792317924179251792617927179281792917930179311793217933179341793517936179371793817939179401794117942179431794417945179461794717948179491795017951179521795317954179551795617957179581795917960179611796217963179641796517966179671796817969179701797117972179731797417975179761797717978179791798017981179821798317984179851798617987179881798917990179911799217993179941799517996179971799817999180001800118002180031800418005180061800718008180091801018011180121801318014180151801618017180181801918020180211802218023180241802518026180271802818029180301803118032180331803418035180361803718038180391804018041180421804318044180451804618047180481804918050180511805218053180541805518056180571805818059180601806118062180631806418065180661806718068180691807018071180721807318074180751807618077180781807918080180811808218083180841808518086180871808818089180901809118092180931809418095180961809718098180991810018101181021810318104181051810618107181081810918110181111811218113181141811518116181171811818119181201812118122181231812418125181261812718128181291813018131181321813318134181351813618137181381813918140181411814218143181441814518146181471814818149181501815118152181531815418155181561815718158181591816018161181621816318164181651816618167181681816918170181711817218173181741817518176181771817818179181801818118182181831818418185181861818718188181891819018191181921819318194181951819618197181981819918200182011820218203182041820518206182071820818209182101821118212182131821418215182161821718218182191822018221182221822318224182251822618227182281822918230182311823218233182341823518236182371823818239182401824118242182431824418245182461824718248182491825018251182521825318254182551825618257182581825918260182611826218263182641826518266182671826818269182701827118272182731827418275182761827718278182791828018281182821828318284182851828618287182881828918290182911829218293182941829518296182971829818299183001830118302183031830418305183061830718308183091831018311183121831318314183151831618317183181831918320183211832218323183241832518326183271832818329183301833118332183331833418335183361833718338183391834018341183421834318344183451834618347183481834918350183511835218353183541835518356183571835818359183601836118362183631836418365183661836718368183691837018371183721837318374183751837618377183781837918380183811838218383183841838518386183871838818389183901839118392183931839418395183961839718398183991840018401184021840318404184051840618407184081840918410184111841218413184141841518416184171841818419184201842118422184231842418425184261842718428184291843018431184321843318434184351843618437184381843918440184411844218443184441844518446184471844818449184501845118452184531845418455184561845718458184591846018461184621846318464184651846618467184681846918470184711847218473184741847518476184771847818479184801848118482184831848418485184861848718488184891849018491184921849318494184951849618497184981849918500185011850218503185041850518506185071850818509185101851118512185131851418515185161851718518185191852018521185221852318524185251852618527185281852918530185311853218533185341853518536185371853818539185401854118542185431854418545185461854718548185491855018551185521855318554185551855618557185581855918560185611856218563185641856518566185671856818569185701857118572185731857418575185761857718578185791858018581185821858318584185851858618587185881858918590185911859218593185941859518596185971859818599186001860118602186031860418605186061860718608186091861018611186121861318614186151861618617186181861918620186211862218623186241862518626186271862818629186301863118632186331863418635186361863718638186391864018641186421864318644186451864618647186481864918650186511865218653186541865518656186571865818659186601866118662186631866418665186661866718668186691867018671186721867318674186751867618677186781867918680186811868218683186841868518686186871868818689186901869118692186931869418695186961869718698186991870018701187021870318704187051870618707187081870918710187111871218713187141871518716187171871818719187201872118722187231872418725187261872718728187291873018731187321873318734187351873618737187381873918740187411874218743187441874518746187471874818749187501875118752187531875418755187561875718758187591876018761187621876318764187651876618767187681876918770187711877218773187741877518776187771877818779187801878118782187831878418785187861878718788187891879018791187921879318794187951879618797187981879918800188011880218803188041880518806188071880818809188101881118812188131881418815188161881718818188191882018821188221882318824188251882618827188281882918830188311883218833188341883518836188371883818839188401884118842188431884418845188461884718848188491885018851188521885318854188551885618857188581885918860188611886218863188641886518866188671886818869188701887118872188731887418875188761887718878188791888018881188821888318884188851888618887188881888918890188911889218893188941889518896188971889818899189001890118902189031890418905189061890718908189091891018911189121891318914189151891618917189181891918920189211892218923189241892518926189271892818929189301893118932189331893418935189361893718938189391894018941189421894318944189451894618947189481894918950189511895218953189541895518956189571895818959189601896118962189631896418965189661896718968189691897018971189721897318974189751897618977189781897918980189811898218983189841898518986189871898818989189901899118992189931899418995189961899718998189991900019001190021900319004190051900619007190081900919010190111901219013190141901519016190171901819019190201902119022190231902419025190261902719028190291903019031190321903319034190351903619037190381903919040190411904219043190441904519046190471904819049190501905119052190531905419055190561905719058190591906019061190621906319064190651906619067190681906919070190711907219073190741907519076190771907819079190801908119082190831908419085190861908719088190891909019091190921909319094190951909619097190981909919100191011910219103191041910519106191071910819109191101911119112191131911419115191161911719118191191912019121191221912319124191251912619127191281912919130191311913219133191341913519136191371913819139191401914119142191431914419145191461914719148191491915019151191521915319154191551915619157191581915919160191611916219163191641916519166191671916819169191701917119172191731917419175191761917719178191791918019181191821918319184191851918619187191881918919190191911919219193191941919519196191971919819199192001920119202192031920419205192061920719208192091921019211192121921319214192151921619217192181921919220192211922219223192241922519226192271922819229192301923119232192331923419235192361923719238192391924019241192421924319244192451924619247192481924919250192511925219253192541925519256192571925819259192601926119262192631926419265192661926719268192691927019271192721927319274192751927619277192781927919280192811928219283192841928519286192871928819289192901929119292192931929419295192961929719298192991930019301193021930319304193051930619307193081930919310193111931219313193141931519316193171931819319193201932119322193231932419325193261932719328193291933019331193321933319334193351933619337193381933919340193411934219343193441934519346193471934819349193501935119352193531935419355193561935719358193591936019361193621936319364193651936619367193681936919370193711937219373193741937519376193771937819379193801938119382193831938419385193861938719388193891939019391193921939319394193951939619397193981939919400194011940219403194041940519406194071940819409194101941119412194131941419415194161941719418194191942019421194221942319424194251942619427194281942919430194311943219433194341943519436194371943819439194401944119442194431944419445194461944719448194491945019451194521945319454194551945619457194581945919460194611946219463194641946519466194671946819469194701947119472194731947419475194761947719478194791948019481194821948319484194851948619487194881948919490194911949219493194941949519496194971949819499195001950119502195031950419505195061950719508195091951019511195121951319514195151951619517195181951919520195211952219523195241952519526195271952819529195301953119532195331953419535195361953719538195391954019541195421954319544195451954619547195481954919550195511955219553195541955519556195571955819559195601956119562195631956419565195661956719568195691957019571195721957319574195751957619577195781957919580195811958219583195841958519586195871958819589195901959119592195931959419595195961959719598195991960019601196021960319604196051960619607196081960919610196111961219613196141961519616196171961819619196201962119622196231962419625196261962719628196291963019631196321963319634196351963619637196381963919640196411964219643196441964519646196471964819649196501965119652196531965419655196561965719658196591966019661196621966319664196651966619667196681966919670196711967219673196741967519676196771967819679196801968119682196831968419685196861968719688196891969019691196921969319694196951969619697196981969919700197011970219703197041970519706197071970819709197101971119712197131971419715197161971719718197191972019721197221972319724197251972619727197281972919730197311973219733197341973519736197371973819739197401974119742197431974419745197461974719748197491975019751197521975319754197551975619757197581975919760197611976219763197641976519766197671976819769197701977119772197731977419775197761977719778197791978019781197821978319784197851978619787197881978919790197911979219793197941979519796197971979819799198001980119802198031980419805198061980719808198091981019811198121981319814198151981619817198181981919820198211982219823198241982519826198271982819829198301983119832198331983419835198361983719838198391984019841198421984319844198451984619847198481984919850198511985219853198541985519856198571985819859198601986119862198631986419865198661986719868198691987019871198721987319874198751987619877198781987919880198811988219883198841988519886198871988819889198901989119892198931989419895198961989719898198991990019901199021990319904199051990619907199081990919910199111991219913199141991519916199171991819919199201992119922199231992419925199261992719928199291993019931199321993319934199351993619937199381993919940199411994219943199441994519946199471994819949199501995119952199531995419955199561995719958199591996019961199621996319964199651996619967199681996919970199711997219973199741997519976199771997819979199801998119982199831998419985199861998719988199891999019991199921999319994199951999619997199981999920000';
readln(s);
x:=pos(s,st);
writeln(x);

end.

好恶心啊～用模拟写了半天终于知道起始是哪一个数，但又要写出这个数在什么位置= =kmp只有23/40。

题解

其实只要for循环初始化字符串，然后再读入字串，然后pos就行了~