active
nats
mark
cons
0
incr
nats
active
pairs
mark
cons
0
incr
odds
active
odds
mark
incr
pairs
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
active
head
cons
X
XS
mark
X
active
tail
cons
X
XS
mark
XS
mark
nats
active
nats
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
0
active
0
mark
incr
X
active
incr
mark
X
mark
pairs
active
pairs
mark
odds
active
odds
mark
s
X
active
s
mark
X
mark
head
X
active
head
mark
X
mark
tail
X
active
tail
mark
X
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
incr
mark
X
incr
X
incr
active
X
incr
X
s
mark
X
s
X
s
active
X
s
X
head
mark
X
head
X
head
active
X
head
X
tail
mark
X
tail
X
tail
active
X
tail
X
2.2
active
pairs
cons
0
incr
odds
active
incr
cons
X
XS
s
X
cons
mark
X1
X2
cons
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
active
incr
cons
X
XS
cons
s
X
incr
XS
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
mark
cons
X1
X2
mark
X1
mark
tail
X
active
tail
mark
X
mark
s
X
s
mark
X
mark
tail
X
mark
X
mark
head
X
active
head
mark
X
mark
pairs
active
pairs
s
active
X
s
X
tail
active
X
tail
X
s
mark
X
s
X
cons
active
X1
X2
cons
X1
X2
mark
odds
active
odds
active
odds
incr
pairs
mark
head
X
head
mark
X
active
odds
mark
incr
pairs
cons
X1
mark
X2
cons
X1
X2
mark
incr
X
incr
mark
X
mark
s
X
mark
X
mark
tail
X
tail
mark
X
head
mark
X
head
X
active
nats
cons
0
incr
nats
mark
s
X
active
s
mark
X
active
incr
cons
X
XS
incr
XS
incr
active
X
incr
X
active
head
cons
X
XS
mark
X
active
nats
incr
nats
tail
mark
X
tail
X
incr
mark
X
incr
X
active
nats
mark
cons
0
incr
nats
mark
incr
X
active
incr
mark
X
cons
X1
active
X2
cons
X1
X2
mark
cons
X1
X2
cons
mark
X1
X2
mark
incr
X
mark
X
head
active
X
head
X
active
pairs
incr
odds
active
pairs
mark
cons
0
incr
odds
mark
0
active
0
mark
head
X
mark
X
active
tail
cons
X
XS
mark
XS
mark
nats
active
nats
true
mark
nats
active
nats
active
tail
cons
X
XS
mark
XS
active
odds
mark
incr
pairs
mark
head
X
mark
X
mark
odds
active
odds
active
pairs
mark
cons
0
incr
odds
mark
incr
X
mark
X
mark
pairs
active
pairs
mark
head
X
active
head
mark
X
active
nats
mark
cons
0
incr
nats
mark
incr
X
active
incr
mark
X
mark
tail
X
mark
X
mark
tail
X
active
tail
mark
X
active
head
cons
X
XS
mark
X
mark
s
X
active
s
mark
X
mark
cons
X1
X2
mark
X1
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
mark
s
X
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
true
incr
1
2
cons
2
0
s
1
1
pairs
0
2
head
1
0
tail
1
2
mark
1
2
0
0
4
s
1
0
odds
0
2
tail
1
0
mark
1
3
incr
1
0
nats
0
2
active
1
1
0
head
1
2
cons
2
1
active
1
1
0
mark
s
X
mark
X
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
mark
cons
X1
X2
mark
X1
active
head
cons
X
XS
mark
X
mark
tail
X
active
tail
mark
X
mark
tail
X
mark
X
mark
incr
X
active
incr
mark
X
active
nats
mark
cons
0
incr
nats
mark
head
X
active
head
mark
X
mark
pairs
active
pairs
mark
incr
X
mark
X
active
pairs
mark
cons
0
incr
odds
mark
odds
active
odds
mark
head
X
mark
X
active
odds
mark
incr
pairs
active
tail
cons
X
XS
mark
XS
mark
nats
active
nats
cons
active
X1
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
incr
active
X
incr
X
tail
mark
X
tail
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
tail
active
X
tail
X
s
mark
X
s
X
incr
mark
X
incr
X
head
active
X
head
X
s
active
X
s
X
head
mark
X
head
X
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
mark
tail
X
mark
X
mark
tail
X
active
tail
mark
X
mark
cons
X1
X2
mark
X1
active
nats
mark
cons
0
incr
nats
active
odds
mark
incr
pairs
active
head
cons
X
XS
mark
X
mark
incr
X
mark
X
mark
incr
X
active
incr
mark
X
mark
nats
active
nats
mark
head
X
mark
X
mark
head
X
active
head
mark
X
mark
odds
active
odds
mark
pairs
active
pairs
mark
s
X
mark
X
active
tail
cons
X
XS
mark
XS
active
pairs
mark
cons
0
incr
odds
true
incr
1
1
0
cons
2
0
s
1
1
0
pairs
0
24479
head
1
0
tail
1
1
21238
mark
1
1
0
0
0
0
s
1
0
odds
0
24479
tail
1
0
mark
1
1
0
incr
1
0
nats
0
42151
active
1
1
0
head
1
1
12457
cons
2
1
2
0
active
1
1
0
active
pairs
mark
cons
0
incr
odds
mark
s
X
mark
X
mark
pairs
active
pairs
mark
odds
active
odds
mark
head
X
active
head
mark
X
mark
nats
active
nats
mark
incr
X
active
incr
mark
X
mark
incr
X
mark
X
active
odds
mark
incr
pairs
active
nats
mark
cons
0
incr
nats
mark
cons
X1
X2
mark
X1
mark
tail
X
active
tail
mark
X
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
cons
active
X1
X2
cons
X1
X2
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
mark
tail
X
active
tail
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
active
nats
mark
cons
0
incr
nats
active
odds
mark
incr
pairs
cons
mark
X1
X2
cons
X1
X2
incr
active
X
incr
X
tail
mark
X
tail
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
tail
active
X
tail
X
s
mark
X
s
X
active
head
cons
X
XS
mark
X
mark
incr
X
active
incr
mark
X
mark
nats
active
nats
incr
mark
X
incr
X
head
active
X
head
X
mark
head
X
active
head
mark
X
mark
odds
active
odds
s
active
X
s
X
head
mark
X
head
X
mark
pairs
active
pairs
mark
0
active
0
mark
s
X
active
s
mark
X
active
tail
cons
X
XS
mark
XS
active
pairs
mark
cons
0
incr
odds
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
mark
tail
X
active
tail
mark
X
mark
cons
X1
X2
mark
X1
active
nats
mark
cons
0
incr
nats
active
odds
mark
incr
pairs
mark
incr
X
mark
X
mark
incr
X
active
incr
mark
X
mark
nats
active
nats
mark
head
X
active
head
mark
X
mark
odds
active
odds
mark
pairs
active
pairs
mark
s
X
mark
X
active
pairs
mark
cons
0
incr
odds
true
incr
1
32798
cons
2
0
s
1
1
pairs
0
32798
head
1
0
tail
1
1
mark
1
32798
0
0
1
s
1
0
odds
0
32798
tail
1
0
mark
1
1
incr
1
0
nats
0
32798
active
1
1
head
1
12213
cons
2
1
active
1
1
0
active
pairs
mark
cons
0
incr
odds
mark
s
X
mark
X
mark
pairs
active
pairs
mark
odds
active
odds
mark
nats
active
nats
mark
incr
X
active
incr
mark
X
mark
incr
X
mark
X
active
odds
mark
incr
pairs
active
nats
mark
cons
0
incr
nats
mark
cons
X1
X2
mark
X1
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
cons
active
X1
X2
cons
X1
X2
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
mark
tail
X
active
tail
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
active
nats
mark
cons
0
incr
nats
active
odds
mark
incr
pairs
cons
mark
X1
X2
cons
X1
X2
incr
active
X
incr
X
tail
mark
X
tail
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
tail
active
X
tail
X
s
mark
X
s
X
active
head
cons
X
XS
mark
X
mark
incr
X
active
incr
mark
X
mark
nats
active
nats
incr
mark
X
incr
X
head
active
X
head
X
mark
head
X
active
head
mark
X
mark
odds
active
odds
s
active
X
s
X
head
mark
X
head
X
mark
pairs
active
pairs
mark
0
active
0
mark
s
X
active
s
mark
X
active
tail
cons
X
XS
mark
XS
active
pairs
mark
cons
0
incr
odds
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
mark
cons
X1
X2
mark
X1
active
nats
mark
cons
0
incr
nats
active
odds
mark
incr
pairs
mark
incr
X
mark
X
mark
incr
X
active
incr
mark
X
mark
nats
active
nats
mark
odds
active
odds
mark
pairs
active
pairs
mark
s
X
mark
X
active
pairs
mark
cons
0
incr
odds
true
incr
1
1
0
cons
2
0
s
1
1
0
pairs
0
14221
head
1
0
tail
1
1
10451
mark
1
1
0
0
0
14219
s
1
0
odds
0
14221
tail
1
0
mark
1
1
0
incr
1
0
nats
0
14221
active
1
1
0
head
1
1
62898
cons
2
1
1
2
0
0
active
1
1
0
active
pairs
mark
cons
0
incr
odds
mark
s
X
mark
X
mark
pairs
active
pairs
mark
odds
active
odds
mark
nats
active
nats
mark
incr
X
active
incr
mark
X
mark
incr
X
mark
X
active
odds
mark
incr
pairs
active
nats
mark
cons
0
incr
nats
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
cons
active
X1
X2
cons
X1
X2
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
mark
tail
X
active
tail
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
active
nats
mark
cons
0
incr
nats
active
odds
mark
incr
pairs
cons
mark
X1
X2
cons
X1
X2
incr
active
X
incr
X
tail
mark
X
tail
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
tail
active
X
tail
X
s
mark
X
s
X
active
head
cons
X
XS
mark
X
mark
incr
X
active
incr
mark
X
mark
nats
active
nats
incr
mark
X
incr
X
head
active
X
head
X
mark
head
X
active
head
mark
X
mark
odds
active
odds
s
active
X
s
X
head
mark
X
head
X
mark
pairs
active
pairs
mark
0
active
0
mark
s
X
active
s
mark
X
active
tail
cons
X
XS
mark
XS
active
pairs
mark
cons
0
incr
odds
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
active
odds
mark
incr
pairs
mark
incr
X
mark
X
mark
incr
X
active
incr
mark
X
mark
odds
active
odds
mark
s
X
mark
X
true
incr
1
1
0
cons
2
0
s
1
1
1
pairs
0
0
head
1
0
tail
1
0
mark
1
1
0
0
0
2748
s
1
0
odds
0
45380
tail
1
0
mark
1
1
45381
incr
1
0
nats
0
1496
active
1
1
0
head
1
0
cons
2
0
active
1
0
mark
incr
X
active
incr
mark
X
mark
incr
X
mark
X
active
odds
mark
incr
pairs
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
cons
active
X1
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
incr
active
X
incr
X
tail
mark
X
tail
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
tail
active
X
tail
X
incr
mark
X
incr
X
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
active
odds
mark
incr
pairs
mark
incr
X
mark
X
mark
incr
X
active
incr
mark
X
true
incr
1
1
31744
cons
2
0
s
1
1
pairs
0
0
head
1
0
tail
1
0
mark
1
1
0
0
0
14843
s
1
0
odds
0
10336
tail
1
0
mark
1
1
31983
incr
1
0
nats
0
20534
active
1
1
0
head
1
0
cons
2
1
31742
active
1
31744
mark
incr
X
active
incr
mark
X
active
odds
mark
incr
pairs
cons
active
X1
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
incr
active
X
incr
X
tail
mark
X
tail
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
tail
active
X
tail
X
s
mark
X
s
X
incr
mark
X
incr
X
s
active
X
s
X
active
odds
mark
incr
pairs
mark
incr
X
active
incr
mark
X
true
incr
1
1
cons
2
0
s
1
1
pairs
0
1
head
1
0
tail
1
23637
mark
1
2
0
0
14843
s
1
0
odds
0
10336
tail
1
0
mark
1
1
1
incr
1
0
nats
0
20534
active
1
0
head
1
0
cons
2
15620
active
1
1
0
cons
active
X1
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
incr
active
X
incr
X
tail
mark
X
tail
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
tail
active
X
tail
X
s
mark
X
s
X
incr
mark
X
incr
X
head
active
X
head
X
s
active
X
s
X
head
mark
X
head
X
mark
pairs
active
pairs
false
mark
nats
active
nats
false
active
nats
mark
cons
0
incr
nats
false
active
pairs
mark
cons
0
incr
odds
false
mark
s
X
s
mark
X
false
mark
0
active
0
false
active
pairs
incr
odds
false
mark
head
X
head
mark
X
false
head
active
X
head
X
head
mark
X
head
X
true
incr
1
0
cons
2
0
s
1
21102
pairs
0
16335
head
1
1
0
tail
1
0
mark
1
2
0
0
9534
s
1
0
odds
0
25192
tail
1
0
mark
1
1
25194
incr
1
0
nats
0
19621
active
1
1
1
head
1
0
cons
2
44798
active
1
1
0
cons
active
X1
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
incr
active
X
incr
X
tail
mark
X
tail
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
tail
active
X
tail
X
s
mark
X
s
X
incr
mark
X
incr
X
head
active
X
head
X
s
active
X
s
X
head
mark
X
head
X
active
odds
incr
pairs
false
mark
cons
X1
X2
cons
mark
X1
X2
false
active
nats
cons
0
incr
nats
false
active
nats
incr
nats
false
mark
tail
X
tail
mark
X
false
tail
active
X
tail
X
tail
mark
X
tail
X
true
incr
1
0
cons
2
0
s
1
26815
pairs
0
1338
head
1
0
tail
1
0
mark
1
2
0
0
9534
s
1
0
odds
0
3969
tail
1
1
0
mark
1
1
25194
incr
1
0
nats
0
11668
active
1
1
1
head
1
0
cons
2
436
active
1
1
0
cons
active
X1
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
incr
active
X
incr
X
tail
mark
X
tail
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
tail
active
X
tail
X
s
mark
X
s
X
incr
mark
X
incr
X
head
active
X
head
X
s
active
X
s
X
head
mark
X
head
X
active
incr
cons
X
XS
cons
s
X
incr
XS
false
active
incr
cons
X
XS
incr
XS
false
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
true
incr
1
0
cons
2
1
0
s
1
1
pairs
0
1338
head
1
0
tail
1
0
mark
1
2
0
0
1
s
1
0
odds
0
1
tail
1
0
mark
1
1
25194
incr
1
0
nats
0
7335
active
1
1
1
head
1
0
cons
2
1
active
1
1
0
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
incr
active
X
incr
X
tail
mark
X
tail
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
tail
active
X
tail
X
s
mark
X
s
X
incr
mark
X
incr
X
head
active
X
head
X
s
active
X
s
X
head
mark
X
head
X
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
true
incr
1
0
cons
2
2
0
s
1
1
pairs
0
2
head
1
0
tail
1
0
mark
1
2
0
0
35971
s
1
0
odds
0
13825
tail
1
0
mark
1
1
13826
incr
1
0
nats
0
14264
active
1
1
0
head
1
1
0
cons
2
1
1647
active
1
0
cons
X1
active
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
true
incr
1
0
cons
2
2
0
s
1
1
pairs
0
2
head
1
0
tail
1
0
mark
1
2
0
0
24376
s
1
0
odds
0
13825
tail
1
0
mark
1
1
13827
incr
1
0
nats
0
48949
active
1
1
1
head
1
1
0
cons
2
1
10748
active
1
0
active
incr
cons
X
XS
s
X
false
s
mark
X
s
X
s
active
X
s
X
true
incr
1
0
cons
2
0
s
1
28255
pairs
0
11495
head
1
0
tail
1
0
mark
1
2
0
0
1
s
1
1
0
odds
0
1002
tail
1
0
mark
1
1
13827
incr
1
0
nats
0
8573
active
1
1
1
head
1
1
0
cons
2
1
1
active
1
0
active
pairs
cons
0
incr
odds
false
mark
incr
X
incr
mark
X
false
incr
mark
X
incr
X
incr
active
X
incr
X
true
incr
1
0
cons
2
0
s
1
39707
pairs
0
1
head
1
0
tail
1
0
mark
1
2
0
0
44797
s
1
0
odds
0
1911
tail
1
0
mark
1
1
13827
incr
1
1
0
nats
0
8573
active
1
1
1
head
1
1
0
cons
2
1
1
active
1
0
NaTT
certifiable-1.6