int
0
0
.
0
nil
int
0
s
y
.
0
int
s
0
s
y
int
s
x
0
nil
int
s
x
s
y
int_list
int
x
y
int_list
nil
nil
int_list
.
x
y
.
s
x
int_list
y
2.2
int_list
.
x
y
int_list
y
int
s
x
s
y
int_list
int
x
y
int
0
s
y
int
s
0
s
y
int
s
x
s
y
int
x
y
true
int
s
x
s
y
int
x
y
int
0
s
y
int
s
0
s
y
true
s
1
1
1
int_list
1
0
0
0
28958
int_list
1
0
nil
0
0
int
2
0
.
2
0
int
2
2
0
int
0
s
y
int
s
0
s
y
int
0
s
y
int
s
0
s
y
false
int
s
x
s
y
int_list
int
x
y
false
int_list
.
x
y
int_list
y
true
s
1
1
int_list
1
1
0
0
0
28958
int_list
1
0
nil
0
0
int
2
0
.
2
2
1
int
2
0
NaTT
certifiable-1.6