puresat-0.1: dimacs/inductive-inference/ii8a4.cnf
c Filename: ii8a4.sat
c
c Source: Mauricio Resende (AT&T Bell Labs) (mgcr@gauss.att.com)
c
c Reference: "A continuous approach to inductive inference" by
c Kamath, Karmarkar, Ramakrishnan, and Resende (Math Prog 57,
c 215--238) (1992).
c
c Note: Instance is satisfiable
c
p cnf 396 2798
1 2
0
3 4
0
5 6
0
7 8
0
9 10
0
11 12
0
13 14
0
15 16
0
17 18
0
19 20
0
21 22
0
23 24
0
25 26
0
27 28
0
29 30
0
31 32
0
33 34
0
35 36
0
37 38
0
39 40
0
41 42
0
43 44
0
45 46
0
47 48
0
49 50
0
51 52
0
53 54
0
55 56
0
57 58
0
59 60
0
61 62
0
63 64
0
65 66
0
67 68
0
69 70
0
71 72
0
73 74
0
75 76
0
77 78
0
79 80
0
81 82
0
83 84
0
85 86
0
87 88
0
89 90
0
91 92
0
93 94
0
95 96
0
-2 -3 -6 -8 -9 -12
-14 -16
0
-18 -19 -22 -24 -25 -28
-30 -32
0
-34 -35 -38 -40 -41 -44
-46 -48
0
-50 -51 -54 -56 -57 -60
-62 -64
0
-66 -67 -70 -72 -73 -76
-78 -80
0
-82 -83 -86 -88 -89 -92
-94 -96
0
-1 -4 -6 -7 -10 -11
-13 -16
0
-17 -20 -22 -23 -26 -27
-29 -32
0
-33 -36 -38 -39 -42 -43
-45 -48
0
-49 -52 -54 -55 -58 -59
-61 -64
0
-65 -68 -70 -71 -74 -75
-77 -80
0
-81 -84 -86 -87 -90 -91
-93 -96
0
-2 -3 -6 -8 -9 -11
-14 -15
0
-18 -19 -22 -24 -25 -27
-30 -31
0
-34 -35 -38 -40 -41 -43
-46 -47
0
-50 -51 -54 -56 -57 -59
-62 -63
0
-66 -67 -70 -72 -73 -75
-78 -79
0
-82 -83 -86 -88 -89 -91
-94 -95
0
-1 -3 -5 -7 -9 -12
-13 -15
0
-17 -19 -21 -23 -25 -28
-29 -31
0
-33 -35 -37 -39 -41 -44
-45 -47
0
-49 -51 -53 -55 -57 -60
-61 -63
0
-65 -67 -69 -71 -73 -76
-77 -79
0
-81 -83 -85 -87 -89 -92
-93 -95
0
-2 -3 -6 -7 -9 -11
-13 -16
0
-18 -19 -22 -23 -25 -27
-29 -32
0
-34 -35 -38 -39 -41 -43
-45 -48
0
-50 -51 -54 -55 -57 -59
-61 -64
0
-66 -67 -70 -71 -73 -75
-77 -80
0
-82 -83 -86 -87 -89 -91
-93 -96
0
-1 -4 -6 -8 -10 -11
-14 -16
0
-17 -20 -22 -24 -26 -27
-30 -32
0
-33 -36 -38 -40 -42 -43
-46 -48
0
-49 -52 -54 -56 -58 -59
-62 -64
0
-65 -68 -70 -72 -74 -75
-78 -80
0
-81 -84 -86 -88 -90 -91
-94 -96
0
-1 -4 -5 -7 -10 -11
-13 -15
0
-17 -20 -21 -23 -26 -27
-29 -31
0
-33 -36 -37 -39 -42 -43
-45 -47
0
-49 -52 -53 -55 -58 -59
-61 -63
0
-65 -68 -69 -71 -74 -75
-77 -79
0
-81 -84 -85 -87 -90 -91
-93 -95
0
-2 -3 -6 -7 -10 -11
-13 -15
0
-18 -19 -22 -23 -26 -27
-29 -31
0
-34 -35 -38 -39 -42 -43
-45 -47
0
-50 -51 -54 -55 -58 -59
-61 -63
0
-66 -67 -70 -71 -74 -75
-77 -79
0
-82 -83 -86 -87 -90 -91
-93 -95
0
-1 -3 -5 -7 -9 -11
-14 -16
0
-17 -19 -21 -23 -25 -27
-30 -32
0
-33 -35 -37 -39 -41 -43
-46 -48
0
-49 -51 -53 -55 -57 -59
-62 -64
0
-65 -67 -69 -71 -73 -75
-78 -80
0
-81 -83 -85 -87 -89 -91
-94 -96
0
-1 -4 -6 -7 -9 -11
-14 -16
0
-17 -20 -22 -23 -25 -27
-30 -32
0
-33 -36 -38 -39 -41 -43
-46 -48
0
-49 -52 -54 -55 -57 -59
-62 -64
0
-65 -68 -70 -71 -73 -75
-78 -80
0
-81 -84 -86 -87 -89 -91
-94 -96
0
-2 -3 -6 -8 -9 -11
-14 -15
0
-18 -19 -22 -24 -25 -27
-30 -31
0
-34 -35 -38 -40 -41 -43
-46 -47
0
-50 -51 -54 -56 -57 -59
-62 -63
0
-66 -67 -70 -72 -73 -75
-78 -79
0
-82 -83 -86 -88 -89 -91
-94 -95
0
-2 -3 -5 -7 -9 -11
-13 -15
0
-18 -19 -21 -23 -25 -27
-29 -31
0
-34 -35 -37 -39 -41 -43
-45 -47
0
-50 -51 -53 -55 -57 -59
-61 -63
0
-66 -67 -69 -71 -73 -75
-77 -79
0
-82 -83 -85 -87 -89 -91
-93 -95
0
-1 -3 -6 -7 -10 -11
-13 -16
0
-17 -19 -22 -23 -26 -27
-29 -32
0
-33 -35 -38 -39 -42 -43
-45 -48
0
-49 -51 -54 -55 -58 -59
-61 -64
0
-65 -67 -70 -71 -74 -75
-77 -80
0
-81 -83 -86 -87 -90 -91
-93 -96
0
-1 -3 -6 -7 -9 -12
-13 -15
0
-17 -19 -22 -23 -25 -28
-29 -31
0
-33 -35 -38 -39 -41 -44
-45 -47
0
-49 -51 -54 -55 -57 -60
-61 -63
0
-65 -67 -70 -71 -73 -76
-77 -79
0
-81 -83 -86 -87 -89 -92
-93 -95
0
-1 -3 -6 -8 -10 -12
-14 -15
0
-17 -19 -22 -24 -26 -28
-30 -31
0
-33 -35 -38 -40 -42 -44
-46 -47
0
-49 -51 -54 -56 -58 -60
-62 -63
0
-65 -67 -70 -72 -74 -76
-78 -79
0
-81 -83 -86 -88 -90 -92
-94 -95
0
-1 -3 -5 -7 -10 -11
-14 -16
0
-17 -19 -21 -23 -26 -27
-30 -32
0
-33 -35 -37 -39 -42 -43
-46 -48
0
-49 -51 -53 -55 -58 -59
-62 -64
0
-65 -67 -69 -71 -74 -75
-78 -80
0
-81 -83 -85 -87 -90 -91
-94 -96
0
-2 -3 -6 -7 -10 -12
-14 -16
0
-18 -19 -22 -23 -26 -28
-30 -32
0
-34 -35 -38 -39 -42 -44
-46 -48
0
-50 -51 -54 -55 -58 -60
-62 -64
0
-66 -67 -70 -71 -74 -76
-78 -80
0
-82 -83 -86 -87 -90 -92
-94 -96
0
-1 -3 -6 -7 -9 -11
-13 -16
0
-17 -19 -22 -23 -25 -27
-29 -32
0
-33 -35 -38 -39 -41 -43
-45 -48
0
-49 -51 -54 -55 -57 -59
-61 -64
0
-65 -67 -70 -71 -73 -75
-77 -80
0
-81 -83 -86 -87 -89 -91
-93 -96
0
-1 -3 -6 -7 -9 -12
-13 -16
0
-17 -19 -22 -23 -25 -28
-29 -32
0
-33 -35 -38 -39 -41 -44
-45 -48
0
-49 -51 -54 -55 -57 -60
-61 -64
0
-65 -67 -70 -71 -73 -76
-77 -80
0
-81 -83 -86 -87 -89 -92
-93 -96
0
-1 -3 -6 -8 -10 -12
-14 -16
0
-17 -19 -22 -24 -26 -28
-30 -32
0
-33 -35 -38 -40 -42 -44
-46 -48
0
-49 -51 -54 -56 -58 -60
-62 -64
0
-65 -67 -70 -72 -74 -76
-78 -80
0
-81 -83 -86 -88 -90 -92
-94 -96
0
-1 -4 -6 -8 -9 -12
-14 -15
0
-17 -20 -22 -24 -25 -28
-30 -31
0
-33 -36 -38 -40 -41 -44
-46 -47
0
-49 -52 -54 -56 -57 -60
-62 -63
0
-65 -68 -70 -72 -73 -76
-78 -79
0
-81 -84 -86 -88 -89 -92
-94 -95
0
-1 -3 -5 -7 -9 -12
-13 -15
0
-17 -19 -21 -23 -25 -28
-29 -31
0
-33 -35 -37 -39 -41 -44
-45 -47
0
-49 -51 -53 -55 -57 -60
-61 -63
0
-65 -67 -69 -71 -73 -76
-77 -79
0
-81 -83 -85 -87 -89 -92
-93 -95
0
-1 -3 -5 -7 -9 -11
-14 -16
0
-17 -19 -21 -23 -25 -27
-30 -32
0
-33 -35 -37 -39 -41 -43
-46 -48
0
-49 -51 -53 -55 -57 -59
-62 -64
0
-65 -67 -69 -71 -73 -75
-78 -80
0
-81 -83 -85 -87 -89 -91
-94 -96
0
-1 -4 -6 -7 -10 -11
-13 -15
0
-17 -20 -22 -23 -26 -27
-29 -31
0
-33 -36 -38 -39 -42 -43
-45 -47
0
-49 -52 -54 -55 -58 -59
-61 -63
0
-65 -68 -70 -71 -74 -75
-77 -79
0
-81 -84 -86 -87 -90 -91
-93 -95
0
-1 -3 -6 -7 -10 -12
-13 -15
0
-17 -19 -22 -23 -26 -28
-29 -31
0
-33 -35 -38 -39 -42 -44
-45 -47
0
-49 -51 -54 -55 -58 -60
-61 -63
0
-65 -67 -70 -71 -74 -76
-77 -79
0
-81 -83 -86 -87 -90 -92
-93 -95
0
-2 -3 -6 -7 -10 -11
-13 -16
0
-18 -19 -22 -23 -26 -27
-29 -32
0
-34 -35 -38 -39 -42 -43
-45 -48
0
-50 -51 -54 -55 -58 -59
-61 -64
0
-66 -67 -70 -71 -74 -75
-77 -80
0
-82 -83 -86 -87 -90 -91
-93 -96
0
-1 -3 -6 -8 -10 -11
-14 -15
0
-17 -19 -22 -24 -26 -27
-30 -31
0
-33 -35 -38 -40 -42 -43
-46 -47
0
-49 -51 -54 -56 -58 -59
-62 -63
0
-65 -67 -70 -72 -74 -75
-78 -79
0
-81 -83 -86 -88 -90 -91
-94 -95
0
-1 -3 -6 -7 -10 -12
-14 -15
0
-17 -19 -22 -23 -26 -28
-30 -31
0
-33 -35 -38 -39 -42 -44
-46 -47
0
-49 -51 -54 -55 -58 -60
-62 -63
0
-65 -67 -70 -71 -74 -76
-78 -79
0
-81 -83 -86 -87 -90 -92
-94 -95
0
-2 -3 -6 -8 -9 -11
-14 -16
0
-18 -19 -22 -24 -25 -27
-30 -32
0
-34 -35 -38 -40 -41 -43
-46 -48
0
-50 -51 -54 -56 -57 -59
-62 -64
0
-66 -67 -70 -72 -73 -75
-78 -80
0
-82 -83 -86 -88 -89 -91
-94 -96
0
-1 -3 -6 -7 -10 -12
-13 -15
0
-17 -19 -22 -23 -26 -28
-29 -31
0
-33 -35 -38 -39 -42 -44
-45 -47
0
-49 -51 -54 -55 -58 -60
-61 -63
0
-65 -67 -70 -71 -74 -76
-77 -79
0
-81 -83 -86 -87 -90 -92
-93 -95
0
-1 -4 -6 -7 -10 -11
-14 -16
0
-17 -20 -22 -23 -26 -27
-30 -32
0
-33 -36 -38 -39 -42 -43
-46 -48
0
-49 -52 -54 -55 -58 -59
-62 -64
0
-65 -68 -70 -71 -74 -75
-78 -80
0
-81 -84 -86 -87 -90 -91
-94 -96
0
-1 -4 -6 -7 -10 -12
-14 -15
0
-17 -20 -22 -23 -26 -28
-30 -31
0
-33 -36 -38 -39 -42 -44
-46 -47
0
-49 -52 -54 -55 -58 -60
-62 -63
0
-65 -68 -70 -71 -74 -76
-78 -79
0
-81 -84 -86 -87 -90 -92
-94 -95
0
-1 -4 -5 -7 -10 -11
-14 -15
0
-17 -20 -21 -23 -26 -27
-30 -31
0
-33 -36 -37 -39 -42 -43
-46 -47
0
-49 -52 -53 -55 -58 -59
-62 -63
0
-65 -68 -69 -71 -74 -75
-78 -79
0
-81 -84 -85 -87 -90 -91
-94 -95
0
-1 -3 -6 -7 -9 -11
-14 -15
0
-17 -19 -22 -23 -25 -27
-30 -31
0
-33 -35 -38 -39 -41 -43
-46 -47
0
-49 -51 -54 -55 -57 -59
-62 -63
0
-65 -67 -70 -71 -73 -75
-78 -79
0
-81 -83 -86 -87 -89 -91
-94 -95
0
-2 -3 -6 -7 -9 -12
-14 -16
0
-18 -19 -22 -23 -25 -28
-30 -32
0
-34 -35 -38 -39 -41 -44
-46 -48
0
-50 -51 -54 -55 -57 -60
-62 -64
0
-66 -67 -70 -71 -73 -76
-78 -80
0
-82 -83 -86 -87 -89 -92
-94 -96
0
-1 -4 -5 -7 -10 -11
-13 -15
0
-17 -20 -21 -23 -26 -27
-29 -31
0
-33 -36 -37 -39 -42 -43
-45 -47
0
-49 -52 -53 -55 -58 -59
-61 -63
0
-65 -68 -69 -71 -74 -75
-77 -79
0
-81 -84 -85 -87 -90 -91
-93 -95
0
-1 -3 -5 -7 -10 -11
-14 -15
0
-17 -19 -21 -23 -26 -27
-30 -31
0
-33 -35 -37 -39 -42 -43
-46 -47
0
-49 -51 -53 -55 -58 -59
-62 -63
0
-65 -67 -69 -71 -74 -75
-78 -79
0
-81 -83 -85 -87 -90 -91
-94 -95
0
-1 -3 -5 -7 -9 -11
-14 -16
0
-17 -19 -21 -23 -25 -27
-30 -32
0
-33 -35 -37 -39 -41 -43
-46 -48
0
-49 -51 -53 -55 -57 -59
-62 -64
0
-65 -67 -69 -71 -73 -75
-78 -80
0
-81 -83 -85 -87 -89 -91
-94 -96
0
-2 -4 -6 -7 -9 -12
-13 -15
0
-18 -20 -22 -23 -25 -28
-29 -31
0
-34 -36 -38 -39 -41 -44
-45 -47
0
-50 -52 -54 -55 -57 -60
-61 -63
0
-66 -68 -70 -71 -73 -76
-77 -79
0
-82 -84 -86 -87 -89 -92
-93 -95
0
-1 -3 -6 -8 -9 -12
-14 -16
0
-17 -19 -22 -24 -25 -28
-30 -32
0
-33 -35 -38 -40 -41 -44
-46 -48
0
-49 -51 -54 -56 -57 -60
-62 -64
0
-65 -67 -70 -72 -73 -76
-78 -80
0
-81 -83 -86 -88 -89 -92
-94 -96
0
-2 -4 -6 -8 -9 -12
-14 -15
0
-18 -20 -22 -24 -25 -28
-30 -31
0
-34 -36 -38 -40 -41 -44
-46 -47
0
-50 -52 -54 -56 -57 -60
-62 -63
0
-66 -68 -70 -72 -73 -76
-78 -79
0
-82 -84 -86 -88 -89 -92
-94 -95
0
-1 -3 -5 -7 -10 -11
-14 -16
0
-17 -19 -21 -23 -26 -27
-30 -32
0
-33 -35 -37 -39 -42 -43
-46 -48
0
-49 -51 -53 -55 -58 -59
-62 -64
0
-65 -67 -69 -71 -74 -75
-78 -80
0
-81 -83 -85 -87 -90 -91
-94 -96
0
-2 -3 -5 -7 -9 -12
-13 -16
0
-18 -19 -21 -23 -25 -28
-29 -32
0
-34 -35 -37 -39 -41 -44
-45 -48
0
-50 -51 -53 -55 -57 -60
-61 -64
0
-66 -67 -69 -71 -73 -76
-77 -80
0
-82 -83 -85 -87 -89 -92
-93 -96
0
-1 -4 -6 -7 -10 -11
-13 -16
0
-17 -20 -22 -23 -26 -27
-29 -32
0
-33 -36 -38 -39 -42 -43
-45 -48
0
-49 -52 -54 -55 -58 -59
-61 -64
0
-65 -68 -70 -71 -74 -75
-77 -80
0
-81 -84 -86 -87 -90 -91
-93 -96
0
-1 -3 -6 -8 -10 -11
-14 -16
0
-17 -19 -22 -24 -26 -27
-30 -32
0
-33 -35 -38 -40 -42 -43
-46 -48
0
-49 -51 -54 -56 -58 -59
-62 -64
0
-65 -67 -70 -72 -74 -75
-78 -80
0
-81 -83 -86 -88 -90 -91
-94 -96
0
-2 -4 -6 -7 -9 -12
-14 -16
0
-18 -20 -22 -23 -25 -28
-30 -32
0
-34 -36 -38 -39 -41 -44
-46 -48
0
-50 -52 -54 -55 -57 -60
-62 -64
0
-66 -68 -70 -71 -73 -76
-78 -80
0
-82 -84 -86 -87 -89 -92
-94 -96
0
-2 -4 -6 -7 -10 -12
-14 -16
0
-18 -20 -22 -23 -26 -28
-30 -32
0
-34 -36 -38 -39 -42 -44
-46 -48
0
-50 -52 -54 -55 -58 -60
-62 -64
0
-66 -68 -70 -71 -74 -76
-78 -80
0
-82 -84 -86 -87 -90 -92
-94 -96
0
-1 -4 -6 -8 -9 -12
-14 -15
0
-17 -20 -22 -24 -25 -28
-30 -31
0
-33 -36 -38 -40 -41 -44
-46 -47
0
-49 -52 -54 -56 -57 -60
-62 -63
0
-65 -68 -70 -72 -73 -76
-78 -79
0
-81 -84 -86 -88 -89 -92
-94 -95
0
-1 -3 -6 -7 -9 -12
-13 -15
0
-17 -19 -22 -23 -25 -28
-29 -31
0
-33 -35 -38 -39 -41 -44
-45 -47
0
-49 -51 -54 -55 -57 -60
-61 -63
0
-65 -67 -70 -71 -73 -76
-77 -79
0
-81 -83 -86 -87 -89 -92
-93 -95
0
-1 -3 -6 -8 -9 -11
-14 -15
0
-17 -19 -22 -24 -25 -27
-30 -31
0
-33 -35 -38 -40 -41 -43
-46 -47
0
-49 -51 -54 -56 -57 -59
-62 -63
0
-65 -67 -70 -72 -73 -75
-78 -79
0
-81 -83 -86 -88 -89 -91
-94 -95
0
1 -97
0
3 -97
0
5 -97
0
8 -97
0
10 -97
0
11 -97
0
13 -97
0
15 -97
0
17 -98
0
19 -98
0
21 -98
0
24 -98
0
26 -98
0
27 -98
0
29 -98
0
31 -98
0
33 -99
0
35 -99
0
37 -99
0
40 -99
0
42 -99
0
43 -99
0
45 -99
0
47 -99
0
49 -100
0
51 -100
0
53 -100
0
56 -100
0
58 -100
0
59 -100
0
61 -100
0
63 -100
0
65 -101
0
67 -101
0
69 -101
0
72 -101
0
74 -101
0
75 -101
0
77 -101
0
79 -101
0
81 -102
0
83 -102
0
85 -102
0
88 -102
0
90 -102
0
91 -102
0
93 -102
0
95 -102
0
2 -103
0
3 -103
0
6 -103
0
8 -103
0
9 -103
0
12 -103
0
13 -103
0
16 -103
0
18 -104
0
19 -104
0
22 -104
0
24 -104
0
25 -104
0
28 -104
0
29 -104
0
32 -104
0
34 -105
0
35 -105
0
38 -105
0
40 -105
0
41 -105
0
44 -105
0
45 -105
0
48 -105
0
50 -106
0
51 -106
0
54 -106
0
56 -106
0
57 -106
0
60 -106
0
61 -106
0
64 -106
0
66 -107
0
67 -107
0
70 -107
0
72 -107
0
73 -107
0
76 -107
0
77 -107
0
80 -107
0
82 -108
0
83 -108
0
86 -108
0
88 -108
0
89 -108
0
92 -108
0
93 -108
0
96 -108
0
2 -109
0
4 -109
0
5 -109
0
8 -109
0
10 -109
0
11 -109
0
13 -109
0
16 -109
0
18 -110
0
20 -110
0
21 -110
0
24 -110
0
26 -110
0
27 -110
0
29 -110
0
32 -110
0
34 -111
0
36 -111
0
37 -111
0
40 -111
0
42 -111
0
43 -111
0
45 -111
0
48 -111
0
50 -112
0
52 -112
0
53 -112
0
56 -112
0
58 -112
0
59 -112
0
61 -112
0
64 -112
0
66 -113
0
68 -113
0
69 -113
0
72 -113
0
74 -113
0
75 -113
0
77 -113
0
80 -113
0
82 -114
0
84 -114
0
85 -114
0
88 -114
0
90 -114
0
91 -114
0
93 -114
0
96 -114
0
2 -115
0
4 -115
0
5 -115
0
7 -115
0
9 -115
0
11 -115
0
14 -115
0
15 -115
0
18 -116
0
20 -116
0
21 -116
0
23 -116
0
25 -116
0
27 -116
0
30 -116
0
31 -116
0
34 -117
0
36 -117
0
37 -117
0
39 -117
0
41 -117
0
43 -117
0
46 -117
0
47 -117
0
50 -118
0
52 -118
0
53 -118
0
55 -118
0
57 -118
0
59 -118
0
62 -118
0
63 -118
0
66 -119
0
68 -119
0
69 -119
0
71 -119
0
73 -119
0
75 -119
0
78 -119
0
79 -119
0
82 -120
0
84 -120
0
85 -120
0
87 -120
0
89 -120
0
91 -120
0
94 -120
0
95 -120
0
1 -121
0
3 -121
0
5 -121
0
8 -121
0
9 -121
0
11 -121
0
13 -121
0
16 -121
0
17 -122
0
19 -122
0
21 -122
0
24 -122
0
25 -122
0
27 -122
0
29 -122
0
32 -122
0
33 -123
0
35 -123
0
37 -123
0
40 -123
0
41 -123
0
43 -123
0
45 -123
0
48 -123
0
49 -124
0
51 -124
0
53 -124
0
56 -124
0
57 -124
0
59 -124
0
61 -124
0
64 -124
0
65 -125
0
67 -125
0
69 -125
0
72 -125
0
73 -125
0
75 -125
0
77 -125
0
80 -125
0
81 -126
0
83 -126
0
85 -126
0
88 -126
0
89 -126
0
91 -126
0
93 -126
0
96 -126
0
1 -127
0
4 -127
0
5 -127
0
8 -127
0
10 -127
0
12 -127
0
14 -127
0
16 -127
0
17 -128
0
20 -128
0
21 -128
0
24 -128
0
26 -128
0
28 -128
0
30 -128
0
32 -128
0
33 -129
0
36 -129
0
37 -129
0
40 -129
0
42 -129
0
44 -129
0
46 -129
0
48 -129
0
49 -130
0
52 -130
0
53 -130
0
56 -130
0
58 -130
0
60 -130
0
62 -130
0
64 -130
0
65 -131
0
68 -131
0
69 -131
0
72 -131
0
74 -131
0
76 -131
0
78 -131
0
80 -131
0
81 -132
0
84 -132
0
85 -132
0
88 -132
0
90 -132
0
92 -132
0
94 -132
0
96 -132
0
1 -133
0
4 -133
0
5 -133
0
8 -133
0
10 -133
0
11 -133
0
13 -133
0
16 -133
0
17 -134
0
20 -134
0
21 -134
0
24 -134
0
26 -134
0
27 -134
0
29 -134
0
32 -134
0
33 -135
0
36 -135
0
37 -135
0
40 -135
0
42 -135
0
43 -135
0
45 -135
0
48 -135
0
49 -136
0
52 -136
0
53 -136
0
56 -136
0
58 -136
0
59 -136
0
61 -136
0
64 -136
0
65 -137
0
68 -137
0
69 -137
0
72 -137
0
74 -137
0
75 -137
0
77 -137
0
80 -137
0
81 -138
0
84 -138
0
85 -138
0
88 -138
0
90 -138
0
91 -138
0
93 -138
0
96 -138
0
2 -139
0
3 -139
0
5 -139
0
8 -139
0
10 -139
0
11 -139
0
13 -139
0
16 -139
0
18 -140
0
19 -140
0
21 -140
0
24 -140
0
26 -140
0
27 -140
0
29 -140
0
32 -140
0
34 -141
0
35 -141
0
37 -141
0
40 -141
0
42 -141
0
43 -141
0
45 -141
0
48 -141
0
50 -142
0
51 -142
0
53 -142
0
56 -142
0
58 -142
0
59 -142
0
61 -142
0
64 -142
0
66 -143
0
67 -143
0
69 -143
0
72 -143
0
74 -143
0
75 -143
0
77 -143
0
80 -143
0
82 -144
0
83 -144
0
85 -144
0
88 -144
0
90 -144
0
91 -144
0
93 -144
0
96 -144
0
1 -145
0
3 -145
0
6 -145
0
8 -145
0
9 -145
0
11 -145
0
13 -145
0
15 -145
0
17 -146
0
19 -146
0
22 -146
0
24 -146
0
25 -146
0
27 -146
0
29 -146
0
31 -146
0
33 -147
0
35 -147
0
38 -147
0
40 -147
0
41 -147
0
43 -147
0
45 -147
0
47 -147
0
49 -148
0
51 -148
0
54 -148
0
56 -148
0
57 -148
0
59 -148
0
61 -148
0
63 -148
0
65 -149
0
67 -149
0
70 -149
0
72 -149
0
73 -149
0
75 -149
0
77 -149
0
79 -149
0
81 -150
0
83 -150
0
86 -150
0
88 -150
0
89 -150
0
91 -150
0
93 -150
0
95 -150
0
1 -151
0
3 -151
0
6 -151
0
8 -151
0
10 -151
0
12 -151
0
13 -151
0
15 -151
0
17 -152
0
19 -152
0
22 -152
0
24 -152
0
26 -152
0
28 -152
0
29 -152
0
31 -152
0
33 -153
0
35 -153
0
38 -153
0
40 -153
0
42 -153
0
44 -153
0
45 -153
0
47 -153
0
49 -154
0
51 -154
0
54 -154
0
56 -154
0
58 -154
0
60 -154
0
61 -154
0
63 -154
0
65 -155
0
67 -155
0
70 -155
0
72 -155
0
74 -155
0
76 -155
0
77 -155
0
79 -155
0
81 -156
0
83 -156
0
86 -156
0
88 -156
0
90 -156
0
92 -156
0
93 -156
0
95 -156
0
2 -157
0
3 -157
0
5 -157
0
8 -157
0
9 -157
0
12 -157
0
14 -157
0
16 -157
0
18 -158
0
19 -158
0
21 -158
0
24 -158
0
25 -158
0
28 -158
0
30 -158
0
32 -158
0
34 -159
0
35 -159
0
37 -159
0
40 -159
0
41 -159
0
44 -159
0
46 -159
0
48 -159
0
50 -160
0
51 -160
0
53 -160
0
56 -160
0
57 -160
0
60 -160
0
62 -160
0
64 -160
0
66 -161
0
67 -161
0
69 -161
0
72 -161
0
73 -161
0
76 -161
0
78 -161
0
80 -161
0
82 -162
0
83 -162
0
85 -162
0
88 -162
0
89 -162
0
92 -162
0
94 -162
0
96 -162
0
1 -163
0
4 -163
0
5 -163
0
8 -163
0
10 -163
0
12 -163
0
13 -163
0
16 -163
0
17 -164
0
20 -164
0
21 -164
0
24 -164
0
26 -164
0
28 -164
0
29 -164
0
32 -164
0
33 -165
0
36 -165
0
37 -165
0
40 -165
0
42 -165
0
44 -165
0
45 -165
0
48 -165
0
49 -166
0
52 -166
0
53 -166
0
56 -166
0
58 -166
0
60 -166
0
61 -166
0
64 -166
0
65 -167
0
68 -167
0
69 -167
0
72 -167
0
74 -167
0
76 -167
0
77 -167
0
80 -167
0
81 -168
0
84 -168
0
85 -168
0
88 -168
0
90 -168
0
92 -168
0
93 -168
0
96 -168
0
2 -169
0
4 -169
0
5 -169
0
7 -169
0
10 -169
0
11 -169
0
14 -169
0
15 -169
0
18 -170
0
20 -170
0
21 -170
0
23 -170
0
26 -170
0
27 -170
0
30 -170
0
31 -170
0
34 -171
0
36 -171
0
37 -171
0
39 -171
0
42 -171
0
43 -171
0
46 -171
0
47 -171
0
50 -172
0
52 -172
0
53 -172
0
55 -172
0
58 -172
0
59 -172
0
62 -172
0
63 -172
0
66 -173
0
68 -173
0
69 -173
0
71 -173
0
74 -173
0
75 -173
0
78 -173
0
79 -173
0
82 -174
0
84 -174
0
85 -174
0
87 -174
0
90 -174
0
91 -174
0
94 -174
0
95 -174
0
1 -175
0
3 -175
0
6 -175
0
8 -175
0
9 -175
0
11 -175
0
13 -175
0
16 -175
0
17 -176
0
19 -176
0
22 -176
0
24 -176
0
25 -176
0
27 -176
0
29 -176
0
32 -176
0
33 -177
0
35 -177
0
38 -177
0
40 -177
0
41 -177
0
43 -177
0
45 -177
0
48 -177
0
49 -178
0
51 -178
0
54 -178
0
56 -178
0
57 -178
0
59 -178
0
61 -178
0
64 -178
0
65 -179
0
67 -179
0
70 -179
0
72 -179
0
73 -179
0
75 -179
0
77 -179
0
80 -179
0
81 -180
0
83 -180
0
86 -180
0
88 -180
0
89 -180
0
91 -180
0
93 -180
0
96 -180
0
2 -181
0
3 -181
0
5 -181
0
8 -181
0
10 -181
0
12 -181
0
13 -181
0
16 -181
0
18 -182
0
19 -182
0
21 -182
0
24 -182
0
26 -182
0
28 -182
0
29 -182
0
32 -182
0
34 -183
0
35 -183
0
37 -183
0
40 -183
0
42 -183
0
44 -183
0
45 -183
0
48 -183
0
50 -184
0
51 -184
0
53 -184
0
56 -184
0
58 -184
0
60 -184
0
61 -184
0
64 -184
0
66 -185
0
67 -185
0
69 -185
0
72 -185
0
74 -185
0
76 -185
0
77 -185
0
80 -185
0
82 -186
0
83 -186
0
85 -186
0
88 -186
0
90 -186
0
92 -186
0
93 -186
0
96 -186
0
1 -187
0
3 -187
0
5 -187
0
8 -187
0
10 -187
0
12 -187
0
13 -187
0
15 -187
0
17 -188
0
19 -188
0
21 -188
0
24 -188
0
26 -188
0
28 -188
0
29 -188
0
31 -188
0
33 -189
0
35 -189
0
37 -189
0
40 -189
0
42 -189
0
44 -189
0
45 -189
0
47 -189
0
49 -190
0
51 -190
0
53 -190
0
56 -190
0
58 -190
0
60 -190
0
61 -190
0
63 -190
0
65 -191
0
67 -191
0
69 -191
0
72 -191
0
74 -191
0
76 -191
0
77 -191
0
79 -191
0
81 -192
0
83 -192
0
85 -192
0
88 -192
0
90 -192
0
92 -192
0
93 -192
0
95 -192
0
1 -193
0
3 -193
0
5 -193
0
8 -193
0
9 -193
0
11 -193
0
14 -193
0
15 -193
0
17 -194
0
19 -194
0
21 -194
0
24 -194
0
25 -194
0
27 -194
0
30 -194
0
31 -194
0
33 -195
0
35 -195
0
37 -195
0
40 -195
0
41 -195
0
43 -195
0
46 -195
0
47 -195
0
49 -196
0
51 -196
0
53 -196
0
56 -196
0
57 -196
0
59 -196
0
62 -196
0
63 -196
0
65 -197
0
67 -197
0
69 -197
0
72 -197
0
73 -197
0
75 -197
0
78 -197
0
79 -197
0
81 -198
0
83 -198
0
85 -198
0
88 -198
0
89 -198
0
91 -198
0
94 -198
0
95 -198
0
2 -199
0
3 -199
0
5 -199
0
8 -199
0
10 -199
0
11 -199
0
13 -199
0
16 -199
0
18 -200
0
19 -200
0
21 -200
0
24 -200
0
26 -200
0
27 -200
0
29 -200
0
32 -200
0
34 -201
0
35 -201
0
37 -201
0
40 -201
0
42 -201
0
43 -201
0
45 -201
0
48 -201
0
50 -202
0
51 -202
0
53 -202
0
56 -202
0
58 -202
0
59 -202
0
61 -202
0
64 -202
0
66 -203
0
67 -203
0
69 -203
0
72 -203
0
74 -203
0
75 -203
0
77 -203
0
80 -203
0
82 -204
0
83 -204
0
85 -204
0
88 -204
0
90 -204
0
91 -204
0
93 -204
0
96 -204
0
2 -205
0
4 -205
0
5 -205
0
8 -205
0
10 -205
0
12 -205
0
13 -205
0
16 -205
0
18 -206
0
20 -206
0
21 -206
0
24 -206
0
26 -206
0
28 -206
0
29 -206
0
32 -206
0
34 -207
0
36 -207
0
37 -207
0
40 -207
0
42 -207
0
44 -207
0
45 -207
0
48 -207
0
50 -208
0
52 -208
0
53 -208
0
56 -208
0
58 -208
0
60 -208
0
61 -208
0
64 -208
0
66 -209
0
68 -209
0
69 -209
0
72 -209
0
74 -209
0
76 -209
0
77 -209
0
80 -209
0
82 -210
0
84 -210
0
85 -210
0
88 -210
0
90 -210
0
92 -210
0
93 -210
0
96 -210
0
1 -211
0
3 -211
0
5 -211
0
8 -211
0
9 -211
0
12 -211
0
13 -211
0
15 -211
0
17 -212
0
19 -212
0
21 -212
0
24 -212
0
25 -212
0
28 -212
0
29 -212
0
31 -212
0
33 -213
0
35 -213
0
37 -213
0
40 -213
0
41 -213
0
44 -213
0
45 -213
0
47 -213
0
49 -214
0
51 -214
0
53 -214
0
56 -214
0
57 -214
0
60 -214
0
61 -214
0
63 -214
0
65 -215
0
67 -215
0
69 -215
0
72 -215
0
73 -215
0
76 -215
0
77 -215
0
79 -215
0
81 -216
0
83 -216
0
85 -216
0
88 -216
0
89 -216
0
92 -216
0
93 -216
0
95 -216
0
2 -217
0
3 -217
0
5 -217
0
8 -217
0
10 -217
0
11 -217
0
14 -217
0
15 -217
0
18 -218
0
19 -218
0
21 -218
0
24 -218
0
26 -218
0
27 -218
0
30 -218
0
31 -218
0
34 -219
0
35 -219
0
37 -219
0
40 -219
0
42 -219
0
43 -219
0
46 -219
0
47 -219
0
50 -220
0
51 -220
0
53 -220
0
56 -220
0
58 -220
0
59 -220
0
62 -220
0
63 -220
0
66 -221
0
67 -221
0
69 -221
0
72 -221
0
74 -221
0
75 -221
0
78 -221
0
79 -221
0
82 -222
0
83 -222
0
85 -222
0
88 -222
0
90 -222
0
91 -222
0
94 -222
0
95 -222
0
1 -223
0
4 -223
0
6 -223
0
8 -223
0
10 -223
0
12 -223
0
13 -223
0
15 -223
0
17 -224
0
20 -224
0
22 -224
0
24 -224
0
26 -224
0
28 -224
0
29 -224
0
31 -224
0
33 -225
0
36 -225
0
38 -225
0
40 -225
0
42 -225
0
44 -225
0
45 -225
0
47 -225
0
49 -226
0
52 -226
0
54 -226
0
56 -226
0
58 -226
0
60 -226
0
61 -226
0
63 -226
0
65 -227
0
68 -227
0
70 -227
0
72 -227
0
74 -227
0
76 -227
0
77 -227
0
79 -227
0
81 -228
0
84 -228
0
86 -228
0
88 -228
0
90 -228
0
92 -228
0
93 -228
0
95 -228
0
1 -229
0
3 -229
0
6 -229
0
8 -229
0
9 -229
0
12 -229
0
13 -229
0
16 -229
0
17 -230
0
19 -230
0
22 -230
0
24 -230
0
25 -230
0
28 -230
0
29 -230
0
32 -230
0
33 -231
0
35 -231
0
38 -231
0
40 -231
0
41 -231
0
44 -231
0
45 -231
0
48 -231
0
49 -232
0
51 -232
0
54 -232
0
56 -232
0
57 -232
0
60 -232
0
61 -232
0
64 -232
0
65 -233
0
67 -233
0
70 -233
0
72 -233
0
73 -233
0
76 -233
0
77 -233
0
80 -233
0
81 -234
0
83 -234
0
86 -234
0
88 -234
0
89 -234
0
92 -234
0
93 -234
0
96 -234
0
2 -235
0
4 -235
0
5 -235
0
8 -235
0
9 -235
0
12 -235
0
13 -235
0
16 -235
0
18 -236
0
20 -236
0
21 -236
0
24 -236
0
25 -236
0
28 -236
0
29 -236
0
32 -236
0
34 -237
0
36 -237
0
37 -237
0
40 -237
0
41 -237
0
44 -237
0
45 -237
0
48 -237
0
50 -238
0
52 -238
0
53 -238
0
56 -238
0
57 -238
0
60 -238
0
61 -238
0
64 -238
0
66 -239
0
68 -239
0
69 -239
0
72 -239
0
73 -239
0
76 -239
0
77 -239
0
80 -239
0
82 -240
0
84 -240
0
85 -240
0
88 -240
0
89 -240
0
92 -240
0
93 -240
0
96 -240
0
1 -241
0
3 -241
0
6 -241
0
8 -241
0
9 -241
0
11 -241
0
13 -241
0
16 -241
0
17 -242
0
19 -242
0
22 -242
0
24 -242
0
25 -242
0
27 -242
0
29 -242
0
32 -242
0
33 -243
0
35 -243
0
38 -243
0
40 -243
0
41 -243
0
43 -243
0
45 -243
0
48 -243
0
49 -244
0
51 -244
0
54 -244
0
56 -244
0
57 -244
0
59 -244
0
61 -244
0
64 -244
0
65 -245
0
67 -245
0
70 -245
0
72 -245
0
73 -245
0
75 -245
0
77 -245
0
80 -245
0
81 -246
0
83 -246
0
86 -246
0
88 -246
0
89 -246
0
91 -246
0
93 -246
0
96 -246
0
2 -247
0
4 -247
0
5 -247
0
7 -247
0
10 -247
0
11 -247
0
13 -247
0
16 -247
0
18 -248
0
20 -248
0
21 -248
0
23 -248
0
26 -248
0
27 -248
0
29 -248
0
32 -248
0
34 -249
0
36 -249
0
37 -249
0
39 -249
0
42 -249
0
43 -249
0
45 -249
0
48 -249
0
50 -250
0
52 -250
0
53 -250
0
55 -250
0
58 -250
0
59 -250
0
61 -250
0
64 -250
0
66 -251
0
68 -251
0
69 -251
0
71 -251
0
74 -251
0
75 -251
0
77 -251
0
80 -251
0
82 -252
0
84 -252
0
85 -252
0
87 -252
0
90 -252
0
91 -252
0
93 -252
0
96 -252
0
1 -253
0
4 -253
0
5 -253
0
8 -253
0
9 -253
0
11 -253
0
14 -253
0
15 -253
0
17 -254
0
20 -254
0
21 -254
0
24 -254
0
25 -254
0
27 -254
0
30 -254
0
31 -254
0
33 -255
0
36 -255
0
37 -255
0
40 -255
0
41 -255
0
43 -255
0
46 -255
0
47 -255
0
49 -256
0
52 -256
0
53 -256
0
56 -256
0
57 -256
0
59 -256
0
62 -256
0
63 -256
0
65 -257
0
68 -257
0
69 -257
0
72 -257
0
73 -257
0
75 -257
0
78 -257
0
79 -257
0
81 -258
0
84 -258
0
85 -258
0
88 -258
0
89 -258
0
91 -258
0
94 -258
0
95 -258
0
1 -259
0
3 -259
0
5 -259
0
8 -259
0
10 -259
0
12 -259
0
14 -259
0
15 -259
0
17 -260
0
19 -260
0
21 -260
0
24 -260
0
26 -260
0
28 -260
0
30 -260
0
31 -260
0
33 -261
0
35 -261
0
37 -261
0
40 -261
0
42 -261
0
44 -261
0
46 -261
0
47 -261
0
49 -262
0
51 -262
0
53 -262
0
56 -262
0
58 -262
0
60 -262
0
62 -262
0
63 -262
0
65 -263
0
67 -263
0
69 -263
0
72 -263
0
74 -263
0
76 -263
0
78 -263
0
79 -263
0
81 -264
0
83 -264
0
85 -264
0
88 -264
0
90 -264
0
92 -264
0
94 -264
0
95 -264
0
1 -265
0
4 -265
0
5 -265
0
8 -265
0
10 -265
0
12 -265
0
14 -265
0
16 -265
0
17 -266
0
20 -266
0
21 -266
0
24 -266
0
26 -266
0
28 -266
0
30 -266
0
32 -266
0
33 -267
0
36 -267
0
37 -267
0
40 -267
0
42 -267
0
44 -267
0
46 -267
0
48 -267
0
49 -268
0
52 -268
0
53 -268
0
56 -268
0
58 -268
0
60 -268
0
62 -268
0
64 -268
0
65 -269
0
68 -269
0
69 -269
0
72 -269
0
74 -269
0
76 -269
0
78 -269
0
80 -269
0
81 -270
0
84 -270
0
85 -270
0
88 -270
0
90 -270
0
92 -270
0
94 -270
0
96 -270
0
1 -271
0
4 -271
0
6 -271
0
8 -271
0
9 -271
0
12 -271
0
13 -271
0
15 -271
0
17 -272
0
20 -272
0
22 -272
0
24 -272
0
25 -272
0
28 -272
0
29 -272
0
31 -272
0
33 -273
0
36 -273
0
38 -273
0
40 -273
0
41 -273
0
44 -273
0
45 -273
0
47 -273
0
49 -274
0
52 -274
0
54 -274
0
56 -274
0
57 -274
0
60 -274
0
61 -274
0
63 -274
0
65 -275
0
68 -275
0
70 -275
0
72 -275
0
73 -275
0
76 -275
0
77 -275
0
79 -275
0
81 -276
0
84 -276
0
86 -276
0
88 -276
0
89 -276
0
92 -276
0
93 -276
0
95 -276
0
1 -277
0
3 -277
0
6 -277
0
8 -277
0
10 -277
0
12 -277
0
13 -277
0
16 -277
0
17 -278
0
19 -278
0
22 -278
0
24 -278
0
26 -278
0
28 -278
0
29 -278
0
32 -278
0
33 -279
0
35 -279
0
38 -279
0
40 -279
0
42 -279
0
44 -279
0
45 -279
0
48 -279
0
49 -280
0
51 -280
0
54 -280
0
56 -280
0
58 -280
0
60 -280
0
61 -280
0
64 -280
0
65 -281
0
67 -281
0
70 -281
0
72 -281
0
74 -281
0
76 -281
0
77 -281
0
80 -281
0
81 -282
0
83 -282
0
86 -282
0
88 -282
0
90 -282
0
92 -282
0
93 -282
0
96 -282
0
2 -283
0
4 -283
0
5 -283
0
8 -283
0
10 -283
0
11 -283
0
14 -283
0
15 -283
0
18 -284
0
20 -284
0
21 -284
0
24 -284
0
26 -284
0
27 -284
0
30 -284
0
31 -284
0
34 -285
0
36 -285
0
37 -285
0
40 -285
0
42 -285
0
43 -285
0
46 -285
0
47 -285
0
50 -286
0
52 -286
0
53 -286
0
56 -286
0
58 -286
0
59 -286
0
62 -286
0
63 -286
0
66 -287
0
68 -287
0
69 -287
0
72 -287
0
74 -287
0
75 -287
0
78 -287
0
79 -287
0
82 -288
0
84 -288
0
85 -288
0
88 -288
0
90 -288
0
91 -288
0
94 -288
0
95 -288
0
2 -289
0
3 -289
0
5 -289
0
8 -289
0
9 -289
0
11 -289
0
14 -289
0
16 -289
0
18 -290
0
19 -290
0
21 -290
0
24 -290
0
25 -290
0
27 -290
0
30 -290
0
32 -290
0
34 -291
0
35 -291
0
37 -291
0
40 -291
0
41 -291
0
43 -291
0
46 -291
0
48 -291
0
50 -292
0
51 -292
0
53 -292
0
56 -292
0
57 -292
0
59 -292
0
62 -292
0
64 -292
0
66 -293
0
67 -293
0
69 -293
0
72 -293
0
73 -293
0
75 -293
0
78 -293
0
80 -293
0
82 -294
0
83 -294
0
85 -294
0
88 -294
0
89 -294
0
91 -294
0
94 -294
0
96 -294
0
2 -295
0
4 -295
0
6 -295
0
8 -295
0
9 -295
0
12 -295
0
13 -295
0
15 -295
0
18 -296
0
20 -296
0
22 -296
0
24 -296
0
25 -296
0
28 -296
0
29 -296
0
31 -296
0
34 -297
0
36 -297
0
38 -297
0
40 -297
0
41 -297
0
44 -297
0
45 -297
0
47 -297
0
50 -298
0
52 -298
0
54 -298
0
56 -298
0
57 -298
0
60 -298
0
61 -298
0
63 -298
0
66 -299
0
68 -299
0
70 -299
0
72 -299
0
73 -299
0
76 -299
0
77 -299
0
79 -299
0
82 -300
0
84 -300
0
86 -300
0
88 -300
0
89 -300
0
92 -300
0
93 -300
0
95 -300
0
2 -301
0
4 -301
0
5 -301
0
8 -301
0
10 -301
0
12 -301
0
14 -301
0
16 -301
0
18 -302
0
20 -302
0
21 -302
0
24 -302
0
26 -302
0
28 -302
0
30 -302
0
32 -302
0
34 -303
0
36 -303
0
37 -303
0
40 -303
0
42 -303
0
44 -303
0
46 -303
0
48 -303
0
50 -304
0
52 -304
0
53 -304
0
56 -304
0
58 -304
0
60 -304
0
62 -304
0
64 -304
0
66 -305
0
68 -305
0
69 -305
0
72 -305
0
74 -305
0
76 -305
0
78 -305
0
80 -305
0
82 -306
0
84 -306
0
85 -306
0
88 -306
0
90 -306
0
92 -306
0
94 -306
0
96 -306
0
2 -307
0
3 -307
0
6 -307
0
8 -307
0
9 -307
0
11 -307
0
13 -307
0
15 -307
0
18 -308
0
19 -308
0
22 -308
0
24 -308
0
25 -308
0
27 -308
0
29 -308
0
31 -308
0
34 -309
0
35 -309
0
38 -309
0
40 -309
0
41 -309
0
43 -309
0
45 -309
0
47 -309
0
50 -310
0
51 -310
0
54 -310
0
56 -310
0
57 -310
0
59 -310
0
61 -310
0
63 -310
0
66 -311
0
67 -311
0
70 -311
0
72 -311
0
73 -311
0
75 -311
0
77 -311
0
79 -311
0
82 -312
0
83 -312
0
86 -312
0
88 -312
0
89 -312
0
91 -312
0
93 -312
0
95 -312
0
2 -313
0
4 -313
0
5 -313
0
7 -313
0
10 -313
0
11 -313
0
13 -313
0
15 -313
0
18 -314
0
20 -314
0
21 -314
0
23 -314
0
26 -314
0
27 -314
0
29 -314
0
31 -314
0
34 -315
0
36 -315
0
37 -315
0
39 -315
0
42 -315
0
43 -315
0
45 -315
0
47 -315
0
50 -316
0
52 -316
0
53 -316
0
55 -316
0
58 -316
0
59 -316
0
61 -316
0
63 -316
0
66 -317
0
68 -317
0
69 -317
0
71 -317
0
74 -317
0
75 -317
0
77 -317
0
79 -317
0
82 -318
0
84 -318
0
85 -318
0
87 -318
0
90 -318
0
91 -318
0
93 -318
0
95 -318
0
2 -319
0
3 -319
0
5 -319
0
8 -319
0
10 -319
0
11 -319
0
13 -319
0
15 -319
0
18 -320
0
19 -320
0
21 -320
0
24 -320
0
26 -320
0
27 -320
0
29 -320
0
31 -320
0
34 -321
0
35 -321
0
37 -321
0
40 -321
0
42 -321
0
43 -321
0
45 -321
0
47 -321
0
50 -322
0
51 -322
0
53 -322
0
56 -322
0
58 -322
0
59 -322
0
61 -322
0
63 -322
0
66 -323
0
67 -323
0
69 -323
0
72 -323
0
74 -323
0
75 -323
0
77 -323
0
79 -323
0
82 -324
0
83 -324
0
85 -324
0
88 -324
0
90 -324
0
91 -324
0
93 -324
0
95 -324
0
1 -325
0
3 -325
0
5 -325
0
8 -325
0
9 -325
0
12 -325
0
13 -325
0
16 -325
0
17 -326
0
19 -326
0
21 -326
0
24 -326
0
25 -326
0
28 -326
0
29 -326
0
32 -326
0
33 -327
0
35 -327
0
37 -327
0
40 -327
0
41 -327
0
44 -327
0
45 -327
0
48 -327
0
49 -328
0
51 -328
0
53 -328
0
56 -328
0
57 -328
0
60 -328
0
61 -328
0
64 -328
0
65 -329
0
67 -329
0
69 -329
0
72 -329
0
73 -329
0
76 -329
0
77 -329
0
80 -329
0
81 -330
0
83 -330
0
85 -330
0
88 -330
0
89 -330
0
92 -330
0
93 -330
0
96 -330
0
1 -331
0
4 -331
0
6 -331
0
8 -331
0
9 -331
0
12 -331
0
13 -331
0
15 -331
0
17 -332
0
20 -332
0
22 -332
0
24 -332
0
25 -332
0
28 -332
0
29 -332
0
31 -332
0
33 -333
0
36 -333
0
38 -333
0
40 -333
0
41 -333
0
44 -333
0
45 -333
0
47 -333
0
49 -334
0
52 -334
0
54 -334
0
56 -334
0
57 -334
0
60 -334
0
61 -334
0
63 -334
0
65 -335
0
68 -335
0
70 -335
0
72 -335
0
73 -335
0
76 -335
0
77 -335
0
79 -335
0
81 -336
0
84 -336
0
86 -336
0
88 -336
0
89 -336
0
92 -336
0
93 -336
0
95 -336
0
2 -337
0
4 -337
0
6 -337
0
8 -337
0
9 -337
0
12 -337
0
13 -337
0
15 -337
0
18 -338
0
20 -338
0
22 -338
0
24 -338
0
25 -338
0
28 -338
0
29 -338
0
31 -338
0
34 -339
0
36 -339
0
38 -339
0
40 -339
0
41 -339
0
44 -339
0
45 -339
0
47 -339
0
50 -340
0
52 -340
0
54 -340
0
56 -340
0
57 -340
0
60 -340
0
61 -340
0
63 -340
0
66 -341
0
68 -341
0
70 -341
0
72 -341
0
73 -341
0
76 -341
0
77 -341
0
79 -341
0
82 -342
0
84 -342
0
86 -342
0
88 -342
0
89 -342
0
92 -342
0
93 -342
0
95 -342
0
2 -343
0
4 -343
0
5 -343
0
8 -343
0
9 -343
0
12 -343
0
14 -343
0
15 -343
0
18 -344
0
20 -344
0
21 -344
0
24 -344
0
25 -344
0
28 -344
0
30 -344
0
31 -344
0
34 -345
0
36 -345
0
37 -345
0
40 -345
0
41 -345
0
44 -345
0
46 -345
0
47 -345
0
50 -346
0
52 -346
0
53 -346
0
56 -346
0
57 -346
0
60 -346
0
62 -346
0
63 -346
0
66 -347
0
68 -347
0
69 -347
0
72 -347
0
73 -347
0
76 -347
0
78 -347
0
79 -347
0
82 -348
0
84 -348
0
85 -348
0
88 -348
0
89 -348
0
92 -348
0
94 -348
0
95 -348
0
1 -349
0
4 -349
0
6 -349
0
8 -349
0
10 -349
0
12 -349
0
13 -349
0
16 -349
0
17 -350
0
20 -350
0
22 -350
0
24 -350
0
26 -350
0
28 -350
0
29 -350
0
32 -350
0
33 -351
0
36 -351
0
38 -351
0
40 -351
0
42 -351
0
44 -351
0
45 -351
0
48 -351
0
49 -352
0
52 -352
0
54 -352
0
56 -352
0
58 -352
0
60 -352
0
61 -352
0
64 -352
0
65 -353
0
68 -353
0
70 -353
0
72 -353
0
74 -353
0
76 -353
0
77 -353
0
80 -353
0
81 -354
0
84 -354
0
86 -354
0
88 -354
0
90 -354
0
92 -354
0
93 -354
0
96 -354
0
1 -355
0
4 -355
0
5 -355
0
8 -355
0
9 -355
0
12 -355
0
14 -355
0
16 -355
0
17 -356
0
20 -356
0
21 -356
0
24 -356
0
25 -356
0
28 -356
0
30 -356
0
32 -356
0
33 -357
0
36 -357
0
37 -357
0
40 -357
0
41 -357
0
44 -357
0
46 -357
0
48 -357
0
49 -358
0
52 -358
0
53 -358
0
56 -358
0
57 -358
0
60 -358
0
62 -358
0
64 -358
0
65 -359
0
68 -359
0
69 -359
0
72 -359
0
73 -359
0
76 -359
0
78 -359
0
80 -359
0
81 -360
0
84 -360
0
85 -360
0
88 -360
0
89 -360
0
92 -360
0
94 -360
0
96 -360
0
2 -361
0
3 -361
0
6 -361
0
8 -361
0
10 -361
0
11 -361
0
13 -361
0
15 -361
0
18 -362
0
19 -362
0
22 -362
0
24 -362
0
26 -362
0
27 -362
0
29 -362
0
31 -362
0
34 -363
0
35 -363
0
38 -363
0
40 -363
0
42 -363
0
43 -363
0
45 -363
0
47 -363
0
50 -364
0
51 -364
0
54 -364
0
56 -364
0
58 -364
0
59 -364
0
61 -364
0
63 -364
0
66 -365
0
67 -365
0
70 -365
0
72 -365
0
74 -365
0
75 -365
0
77 -365
0
79 -365
0
82 -366
0
83 -366
0
86 -366
0
88 -366
0
90 -366
0
91 -366
0
93 -366
0
95 -366
0
2 -367
0
3 -367
0
5 -367
0
8 -367
0
10 -367
0
11 -367
0
13 -367
0
16 -367
0
18 -368
0
19 -368
0
21 -368
0
24 -368
0
26 -368
0
27 -368
0
29 -368
0
32 -368
0
34 -369
0
35 -369
0
37 -369
0
40 -369
0
42 -369
0
43 -369
0
45 -369
0
48 -369
0
50 -370
0
51 -370
0
53 -370
0
56 -370
0
58 -370
0
59 -370
0
61 -370
0
64 -370
0
66 -371
0
67 -371
0
69 -371
0
72 -371
0
74 -371
0
75 -371
0
77 -371
0
80 -371
0
82 -372
0
83 -372
0
85 -372
0
88 -372
0
90 -372
0
91 -372
0
93 -372
0
96 -372
0
2 -373
0
4 -373
0
6 -373
0
7 -373
0
9 -373
0
11 -373
0
13 -373
0
16 -373
0
18 -374
0
20 -374
0
22 -374
0
23 -374
0
25 -374
0
27 -374
0
29 -374
0
32 -374
0
34 -375
0
36 -375
0
38 -375
0
39 -375
0
41 -375
0
43 -375
0
45 -375
0
48 -375
0
50 -376
0
52 -376
0
54 -376
0
55 -376
0
57 -376
0
59 -376
0
61 -376
0
64 -376
0
66 -377
0
68 -377
0
70 -377
0
71 -377
0
73 -377
0
75 -377
0
77 -377
0
80 -377
0
82 -378
0
84 -378
0
86 -378
0
87 -378
0
89 -378
0
91 -378
0
93 -378
0
96 -378
0
1 -379
0
3 -379
0
6 -379
0
8 -379
0
9 -379
0
12 -379
0
13 -379
0
16 -379
0
17 -380
0
19 -380
0
22 -380
0
24 -380
0
25 -380
0
28 -380
0
29 -380
0
32 -380
0
33 -381
0
35 -381
0
38 -381
0
40 -381
0
41 -381
0
44 -381
0
45 -381
0
48 -381
0
49 -382
0
51 -382
0
54 -382
0
56 -382
0
57 -382
0
60 -382
0
61 -382
0
64 -382
0
65 -383
0
67 -383
0
70 -383
0
72 -383
0
73 -383
0
76 -383
0
77 -383
0
80 -383
0
81 -384
0
83 -384
0
86 -384
0
88 -384
0
89 -384
0
92 -384
0
93 -384
0
96 -384
0
2 -385
0
3 -385
0
6 -385
0
8 -385
0
10 -385
0
11 -385
0
13 -385
0
16 -385
0
18 -386
0
19 -386
0
22 -386
0
24 -386
0
26 -386
0
27 -386
0
29 -386
0
32 -386
0
34 -387
0
35 -387
0
38 -387
0
40 -387
0
42 -387
0
43 -387
0
45 -387
0
48 -387
0
50 -388
0
51 -388
0
54 -388
0
56 -388
0
58 -388
0
59 -388
0
61 -388
0
64 -388
0
66 -389
0
67 -389
0
70 -389
0
72 -389
0
74 -389
0
75 -389
0
77 -389
0
80 -389
0
82 -390
0
83 -390
0
86 -390
0
88 -390
0
90 -390
0
91 -390
0
93 -390
0
96 -390
0
2 -391
0
4 -391
0
5 -391
0
7 -391
0
9 -391
0
11 -391
0
14 -391
0
16 -391
0
18 -392
0
20 -392
0
21 -392
0
23 -392
0
25 -392
0
27 -392
0
30 -392
0
32 -392
0
34 -393
0
36 -393
0
37 -393
0
39 -393
0
41 -393
0
43 -393
0
46 -393
0
48 -393
0
50 -394
0
52 -394
0
53 -394
0
55 -394
0
57 -394
0
59 -394
0
62 -394
0
64 -394
0
66 -395
0
68 -395
0
69 -395
0
71 -395
0
73 -395
0
75 -395
0
78 -395
0
80 -395
0
82 -396
0
84 -396
0
85 -396
0
87 -396
0
89 -396
0
91 -396
0
94 -396
0
96 -396
0
97 98 99 100 101 102
0
103 104 105 106 107 108
0
109 110 111 112 113 114
0
115 116 117 118 119 120
0
121 122 123 124 125 126
0
127 128 129 130 131 132
0
133 134 135 136 137 138
0
139 140 141 142 143 144
0
145 146 147 148 149 150
0
151 152 153 154 155 156
0
157 158 159 160 161 162
0
163 164 165 166 167 168
0
169 170 171 172 173 174
0
175 176 177 178 179 180
0
181 182 183 184 185 186
0
187 188 189 190 191 192
0
193 194 195 196 197 198
0
199 200 201 202 203 204
0
205 206 207 208 209 210
0
211 212 213 214 215 216
0
217 218 219 220 221 222
0
223 224 225 226 227 228
0
229 230 231 232 233 234
0
235 236 237 238 239 240
0
241 242 243 244 245 246
0
247 248 249 250 251 252
0
253 254 255 256 257 258
0
259 260 261 262 263 264
0
265 266 267 268 269 270
0
271 272 273 274 275 276
0
277 278 279 280 281 282
0
283 284 285 286 287 288
0
289 290 291 292 293 294
0
295 296 297 298 299 300
0
301 302 303 304 305 306
0
307 308 309 310 311 312
0
313 314 315 316 317 318
0
319 320 321 322 323 324
0
325 326 327 328 329 330
0
331 332 333 334 335 336
0
337 338 339 340 341 342
0
343 344 345 346 347 348
0
349 350 351 352 353 354
0
355 356 357 358 359 360
0
361 362 363 364 365 366
0
367 368 369 370 371 372
0
373 374 375 376 377 378
0
379 380 381 382 383 384
0
385 386 387 388 389 390
0
391 392 393 394 395 396
0