POLYOMINO TILINGS

Polyomino Tilings

Select polyominoes for a set (currently 1 or 2), for which tilings should be shown.

Then click "Show" button.

You may also see list of all polyomino sets for which data is available here.


P2 heptomino

Area: 7.

Size: 2x5.

Holes: 0.

Order: 76.

Square order: ≤ 252.

Odd order: ≤ 153.

Prime rectangles: ≥ 69.

Smallest rectangle tilings

Smallest rectangle (19x28):

Smallest known square (42x42):

24x42

Smallest known odd rectangle (21x51):

Rectangle tilings' solutions count (including symmetric)

Blue number - strongly prime rectangle (which cannot be divided into two or more number of rectangles tileable by this set).

Green number - weakly prime rectangle (which cannot be divided into two rectangles tileable by this set, but which can be divided into three or more rectangles).

Purple number - prime rectangle (unknown if weakly or strongly prime).

Red number - composite rectangle (which can be divided into two rectangles tileable by this set).

Gray number - it is unknown whether rectangle is prime or composite.

Question mark (?) - solution count is unknown.

Click on underlined numbers to view picture with one solution.

w \ h
1-12
13
14-17
18
19
20
21
22-23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
N>0
1-12
0
13
0
0
14-17
0
0
0
18
0
0
0
0
19
0
0
0
0
0
20
0
0
0
0
0
0
21
0
0
0
0
0
0
0
22-23
0
0
0
0
0
0
0
0
24
0
0
0
0
0
0
0
0
0
25
0
0
0
0
0
0
0
0
0
0
26
0
0
0
0
0
0
2
0
0
0
0
27
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
48
0
0
0
?
≥1
≥1
?
?
29
0
0
0
0
0
0
0
0
0
0
0
0
?
0
30
0
0
0
0
0
0
0
0
0
0
0
0
?
0
0
31
0
0
0
0
0
0
0
0
0
0
0
0
≥1
0
0
0
32
0
0
0
0
0
0
8
0
0
0
0
0
≥1
0
0
0
0
33
0
0
0
0
0
0
0
0
0
0
0
0
≥1
0
0
0
0
0
34
0
0
0
0
0
0
0
0
0
0
0
0
?
0
0
0
0
0
0
35
0
0
0
2
0
?
?
0
≥1
?
≥1
?
?
0
≥1
≥1
≥1
≥1
?
?
36
0
0
0
0
0
0
?
0
0
0
0
0
?
0
0
0
0
0
0
≥1
0
37
0
0
0
0
0
0
?
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
38
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
39
0
0
0
0
0
0
?
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
40
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
41
0
0
0
0
0
0
?
0
0
0
0
0
?
0
0
0
0
0
0
?
0
0
0
0
0
0
42
0
0
0
8
2438
?
?
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
43
0
0
0
0
0
0
?
0
0
0
0
0
?
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
44
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
45
0
0
0
0
0
0
?
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
46
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
47
0
0
0
0
0
0
?
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
48
0
0
0
0
0
0
?
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
49
0
0
0
20
?
≥1
?
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
50
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
51
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
52
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
53
0
0
0
0
0
0
?
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
54
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
55
0
0
0
0
0
0
?
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
56
0
0
0
40
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
57
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
58
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
59
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
60
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
61
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
62
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
63
0
0
0
≥1
?
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
64
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
65
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
66
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
67
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
68
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
69
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
70
0
0
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
71
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
72
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
73
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
74
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
75
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
76
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
77
0
0
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
78
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
79
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
80
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
81
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
82
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
83
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
84
0
0
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
85
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
86
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
87
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
88
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
89
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
90
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
91
0
0
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
92
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
93
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
94
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
95
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
96
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
97
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
98
0
0
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
99
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
100
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
101
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
102
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
103
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
104
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
105
0
0
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
106
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
107
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
108
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
109
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
110
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
111
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
112
0
18
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
113
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
114
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
115
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
116
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
117
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
118
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
119
0
0
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
120
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
121
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
122
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
123
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
124
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
125
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
126
0
228
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
127
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
128
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
129
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
130
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
131
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
132
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
133
0
0
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
134
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
135
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
136
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
137
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
138
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
139
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
140
0
1292
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
141
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
142
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
143
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
144
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
145
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
146
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
147
0
432
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
148
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
149
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
150
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
151
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
152
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
153
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
154
0
6244
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
155
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
156
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
157
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
158
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
159
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
160
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
161
0
4968
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
162
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
163
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
164
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
165
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
166
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
167
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
168
0
29316
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
169
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
170
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
171
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
172
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
173
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
174
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
175
0
24408
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
176
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
177
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
178
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
179
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
180
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
181
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
182
0
100546
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
183
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
184
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
185
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
186
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
187
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
188
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
189
0
86776
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
190
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
191
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
192
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
193
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
194
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
195
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
196
0
302260
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
197
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
198
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
199
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
200
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
201
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
202
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
203
0
259828
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
204
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
205
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
206
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
207
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
208
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
209
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
210
0
1072504
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
211
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
212
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
213
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
214
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
215
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
216
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
217
0
811292
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
218
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
219
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
220
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
221
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
222
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
223
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
224
0
3810338
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
225
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
226
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
227
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
228
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
229
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
230
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
231
0
2887496
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
232
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
233
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
234
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
235
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
236
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
237
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
238
0
12879988
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
239
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
240
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
241
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
242
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
243
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
244
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
245
0
10476928
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
246
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
247
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
248
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
249
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
250
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
251
0
0
0
0
0
0
≥1
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
0
0
0
0
0
0
≥1
?
252
0
46465024
0
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
0
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
≥1
?
N>0
x
7k
x
7k
7k
7k
all
x
7k
7k
7k
7k
all
x
7k
7k
7k
7k
7k
all
7k
7k
7k
7k
7k
7k
all
7k
7k
7k
7k
7k
7k
all
7k
7k
7k
7k
7k
7k
all
7k
7k
7k
7k
7k
7k
all
7k
7k
7k
7k
7k
7k
all
7k
7k
7k
7k
7k
7k
all
7k
7k
7k
7k
7k
7k
all

Reptile tilings' solutions count (including symmetric)

polyomino \ n²
1²
2²
3²
4²
5²
6²
7²
8²
9²
10²
11²
P2 heptomino
≥1
0
0
0
0
0
0
0
0
0
0

Attributions

  1. Prime rectangles without images from http://www.cflmath.com/~reid/Polyomino/7omino5_rect.html

See Also

P1 heptominoP3 heptomino