c Filename:  ii32c1.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 225 1280
 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 
 97 98
 0 
 99 100
 0 
 101 102
 0 
 103 104
 0 
 105 106
 0 
 107 108
 0 
 109 110
 0 
 111 112
 0 
 113 114
 0 
 115 116
 0 
 117 118
 0 
 119 120
 0 
 121 122
 0 
 123 124
 0 
 125 126
 0 
 127 128
 0 
 129 130
 0 
 131 132
 0 
 133 134
 0 
 135 136
 0 
 137 138
 0 
 139 140
 0 
 141 142
 0 
 143 144
 0 
 145 146
 0 
 147 148
 0 
 149 150
 0 
 151 152
 0 
 153 154
 0 
 155 156
 0 
 157 158
 0 
 159 160
 0 
 161 162
 0 
 163 164
 0 
 165 166
 0 
 167 168
 0 
 169 170
 0 
 171 172
 0 
 173 174
 0 
 175 176
 0 
 177 178
 0 
 179 180
 0 
 181 182
 0 
 183 184
 0 
 185 186
 0 
 187 188
 0 
 189 190
 0 
 191 192
 0 
 -1 -4 -6 -8 -10 -12
 -13 -16 -17 -20 -22 -24
 -25 -28 -30 -32 -33 -36
 -37 -40 -41 -44 -45 -48
 -50 -51 -54 -55 -57 -60
 -61 -64
 0 
 -65 -68 -70 -72 -74 -76
 -77 -80 -81 -84 -86 -88
 -89 -92 -94 -96 -97 -100
 -101 -104 -105 -108 -109 -112
 -114 -115 -118 -119 -121 -124
 -125 -128
 0 
 -129 -132 -134 -136 -138 -140
 -141 -144 -145 -148 -150 -152
 -153 -156 -158 -160 -161 -164
 -165 -168 -169 -172 -173 -176
 -178 -179 -182 -183 -185 -188
 -189 -192
 0 
 -1 -3 -6 -7 -9 -11
 -13 -16 -18 -19 -21 -24
 -25 -28 -29 -32 -33 -35
 -37 -40 -41 -44 -46 -47
 -50 -51 -53 -56 -57 -59
 -61 -64
 0 
 -65 -67 -70 -71 -73 -75
 -77 -80 -82 -83 -85 -88
 -89 -92 -93 -96 -97 -99
 -101 -104 -105 -108 -110 -111
 -114 -115 -117 -120 -121 -123
 -125 -128
 0 
 -129 -131 -134 -135 -137 -139
 -141 -144 -146 -147 -149 -152
 -153 -156 -157 -160 -161 -163
 -165 -168 -169 -172 -174 -175
 -178 -179 -181 -184 -185 -187
 -189 -192
 0 
 -1 -3 -5 -8 -10 -11
 -13 -15 -18 -20 -22 -24
 -25 -27 -29 -31 -33 -36
 -37 -39 -42 -44 -46 -48
 -50 -52 -54 -55 -58 -59
 -61 -64
 0 
 -65 -67 -69 -72 -74 -75
 -77 -79 -82 -84 -86 -88
 -89 -91 -93 -95 -97 -100
 -101 -103 -106 -108 -110 -112
 -114 -116 -118 -119 -122 -123
 -125 -128
 0 
 -129 -131 -133 -136 -138 -139
 -141 -143 -146 -148 -150 -152
 -153 -155 -157 -159 -161 -164
 -165 -167 -170 -172 -174 -176
 -178 -180 -182 -183 -186 -187
 -189 -192
 0 
 -1 -4 -5 -8 -10 -12
 -13 -15 -18 -19 -21 -24
 -25 -27 -29 -31 -33 -35
 -38 -39 -42 -43 -46 -48
 -50 -51 -53 -56 -58 -59
 -61 -63
 0 
 -65 -68 -69 -72 -74 -76
 -77 -79 -82 -83 -85 -88
 -89 -91 -93 -95 -97 -99
 -102 -103 -106 -107 -110 -112
 -114 -115 -117 -120 -122 -123
 -125 -127
 0 
 -129 -132 -133 -136 -138 -140
 -141 -143 -146 -147 -149 -152
 -153 -155 -157 -159 -161 -163
 -166 -167 -170 -171 -174 -176
 -178 -179 -181 -184 -186 -187
 -189 -191
 0 
 -1 -3 -6 -7 -9 -12
 -14 -15 -17 -20 -21 -24
 -25 -27 -29 -32 -33 -36
 -38 -39 -42 -43 -45 -48
 -49 -52 -54 -56 -58 -60
 -61 -64
 0 
 -65 -67 -70 -71 -73 -76
 -78 -79 -81 -84 -85 -88
 -89 -91 -93 -96 -97 -100
 -102 -103 -106 -107 -109 -112
 -113 -116 -118 -120 -122 -124
 -125 -128
 0 
 -129 -131 -134 -135 -137 -140
 -142 -143 -145 -148 -149 -152
 -153 -155 -157 -160 -161 -164
 -166 -167 -170 -171 -173 -176
 -177 -180 -182 -184 -186 -188
 -189 -192
 0 
 -1 -3 -5 -8 -9 -11
 -14 -16 -18 -20 -21 -24
 -25 -27 -30 -32 -33 -36
 -37 -39 -42 -43 -46 -48
 -50 -52 -54 -55 -57 -59
 -62 -64
 0 
 -65 -67 -69 -72 -73 -75
 -78 -80 -82 -84 -85 -88
 -89 -91 -94 -96 -97 -100
 -101 -103 -106 -107 -110 -112
 -114 -116 -118 -119 -121 -123
 -126 -128
 0 
 -129 -131 -133 -136 -137 -139
 -142 -144 -146 -148 -149 -152
 -153 -155 -158 -160 -161 -164
 -165 -167 -170 -171 -174 -176
 -178 -180 -182 -183 -185 -187
 -190 -192
 0 
 -1 -3 -5 -7 -9 -12
 -14 -16 -18 -19 -21 -24
 -25 -28 -30 -32 -34 -35
 -38 -40 -42 -44 -45 -48
 -50 -51 -54 -55 -57 -60
 -62 -64
 0 
 -65 -67 -69 -71 -73 -76
 -78 -80 -82 -83 -85 -88
 -89 -92 -94 -96 -98 -99
 -102 -104 -106 -108 -109 -112
 -114 -115 -118 -119 -121 -124
 -126 -128
 0 
 -129 -131 -133 -135 -137 -140
 -142 -144 -146 -147 -149 -152
 -153 -156 -158 -160 -162 -163
 -166 -168 -170 -172 -173 -176
 -178 -179 -182 -183 -185 -188
 -190 -192
 0 
 -2 -3 -5 -8 -10 -11
 -13 -15 -18 -20 -21 -23
 -26 -27 -30 -32 -33 -35
 -38 -40 -41 -43 -45 -48
 -50 -52 -54 -55 -58 -59
 -61 -64
 0 
 -66 -67 -69 -72 -74 -75
 -77 -79 -82 -84 -85 -87
 -90 -91 -94 -96 -97 -99
 -102 -104 -105 -107 -109 -112
 -114 -116 -118 -119 -122 -123
 -125 -128
 0 
 -130 -131 -133 -136 -138 -139
 -141 -143 -146 -148 -149 -151
 -154 -155 -158 -160 -161 -163
 -166 -168 -169 -171 -173 -176
 -178 -180 -182 -183 -186 -187
 -189 -192
 0 
 -1 -3 -5 -8 -9 -12
 -13 -16 -17 -19 -21 -23
 -26 -27 -29 -32 -34 -35
 -37 -40 -42 -44 -45 -47
 -49 -51 -54 -56 -57 -60
 -62 -64
 0 
 -65 -67 -69 -72 -73 -76
 -77 -80 -81 -83 -85 -87
 -90 -91 -93 -96 -98 -99
 -101 -104 -106 -108 -109 -111
 -113 -115 -118 -120 -121 -124
 -126 -128
 0 
 -129 -131 -133 -136 -137 -140
 -141 -144 -145 -147 -149 -151
 -154 -155 -157 -160 -162 -163
 -165 -168 -170 -172 -173 -175
 -177 -179 -182 -184 -185 -188
 -190 -192
 0 
 -1 -4 -6 -8 -10 -12
 -13 -16 -18 -20 -21 -23
 -26 -28 -29 -31 -34 -36
 -37 -39 -42 -44 -46 -48
 -49 -52 -53 -56 -58 -59
 -61 -63
 0 
 -65 -68 -70 -72 -74 -76
 -77 -80 -82 -84 -85 -87
 -90 -92 -93 -95 -98 -100
 -101 -103 -106 -108 -110 -112
 -113 -116 -117 -120 -122 -123
 -125 -127
 0 
 -129 -132 -134 -136 -138 -140
 -141 -144 -146 -148 -149 -151
 -154 -156 -157 -159 -162 -164
 -165 -167 -170 -172 -174 -176
 -177 -180 -181 -184 -186 -187
 -189 -191
 0 
 -2 -4 -5 -8 -9 -11
 -13 -16 -17 -19 -21 -24
 -26 -28 -30 -32 -34 -35
 -37 -39 -41 -44 -45 -48
 -49 -52 -54 -56 -58 -59
 -62 -63
 0 
 -66 -68 -69 -72 -73 -75
 -77 -80 -81 -83 -85 -88
 -90 -92 -94 -96 -98 -99
 -101 -103 -105 -108 -109 -112
 -113 -116 -118 -120 -122 -123
 -126 -127
 0 
 -130 -132 -133 -136 -137 -139
 -141 -144 -145 -147 -149 -152
 -154 -156 -158 -160 -162 -163
 -165 -167 -169 -172 -173 -176
 -177 -180 -182 -184 -186 -187
 -190 -191
 0 
 -2 -3 -5 -8 -10 -12
 -13 -15 -18 -20 -21 -24
 -25 -27 -29 -31 -33 -35
 -38 -40 -42 -43 -46 -47
 -49 -51 -54 -56 -58 -59
 -62 -63
 0 
 -66 -67 -69 -72 -74 -76
 -77 -79 -82 -84 -85 -88
 -89 -91 -93 -95 -97 -99
 -102 -104 -106 -107 -110 -111
 -113 -115 -118 -120 -122 -123
 -126 -127
 0 
 -130 -131 -133 -136 -138 -140
 -141 -143 -146 -148 -149 -152
 -153 -155 -157 -159 -161 -163
 -166 -168 -170 -171 -174 -175
 -177 -179 -182 -184 -186 -187
 -190 -191
 0 
 -1 -4 -6 -7 -9 -12
 -14 -16 -17 -20 -21 -24
 -25 -28 -29 -32 -33 -35
 -37 -40 -42 -43 -46 -48
 -49 -52 -54 -56 -57 -60
 -62 -63
 0 
 -65 -68 -70 -71 -73 -76
 -78 -80 -81 -84 -85 -88
 -89 -92 -93 -96 -97 -99
 -101 -104 -106 -107 -110 -112
 -113 -116 -118 -120 -121 -124
 -126 -127
 0 
 -129 -132 -134 -135 -137 -140
 -142 -144 -145 -148 -149 -152
 -153 -156 -157 -160 -161 -163
 -165 -168 -170 -171 -174 -176
 -177 -180 -182 -184 -185 -188
 -190 -191
 0 
 -1 -3 -6 -8 -10 -11
 -13 -16 -18 -19 -21 -23
 -26 -28 -29 -31 -33 -36
 -37 -40 -42 -44 -46 -47
 -49 -52 -53 -55 -58 -59
 -62 -63
 0 
 -65 -67 -70 -72 -74 -75
 -77 -80 -82 -83 -85 -87
 -90 -92 -93 -95 -97 -100
 -101 -104 -106 -108 -110 -111
 -113 -116 -117 -119 -122 -123
 -126 -127
 0 
 -129 -131 -134 -136 -138 -139
 -141 -144 -146 -147 -149 -151
 -154 -156 -157 -159 -161 -164
 -165 -168 -170 -172 -174 -175
 -177 -180 -181 -183 -186 -187
 -190 -191
 0 
 -1 -3 -5 -7 -9 -12
 -14 -16 -17 -20 -21 -23
 -26 -28 -30 -31 -33 -35
 -38 -40 -41 -44 -46 -47
 -50 -52 -54 -56 -58 -59
 -61 -64
 0 
 -65 -67 -69 -71 -73 -76
 -78 -80 -81 -84 -85 -87
 -90 -92 -94 -95 -97 -99
 -102 -104 -105 -108 -110 -111
 -114 -116 -118 -120 -122 -123
 -125 -128
 0 
 -129 -131 -133 -135 -137 -140
 -142 -144 -145 -148 -149 -151
 -154 -156 -158 -159 -161 -163
 -166 -168 -169 -172 -174 -175
 -178 -180 -182 -184 -186 -187
 -189 -192
 0 
 -2 -3 -6 -7 -9 -12
 -14 -16 -17 -19 -22 -24
 -26 -28 -29 -32 -33 -36
 -37 -40 -42 -44 -45 -47
 -50 -51 -53 -56 -58 -60
 -62 -63
 0 
 -66 -67 -70 -71 -73 -76
 -78 -80 -81 -83 -86 -88
 -90 -92 -93 -96 -97 -100
 -101 -104 -106 -108 -109 -111
 -114 -115 -117 -120 -122 -124
 -126 -127
 0 
 -130 -131 -134 -135 -137 -140
 -142 -144 -145 -147 -150 -152
 -154 -156 -157 -160 -161 -164
 -165 -168 -170 -172 -173 -175
 -178 -179 -181 -184 -186 -188
 -190 -191
 0 
 -2 -4 -5 -8 -10 -12
 -14 -15 -17 -20 -21 -24
 -25 -27 -29 -32 -33 -35
 -37 -40 -42 -43 -45 -48
 -49 -52 -54 -56 -58 -59
 -61 -64
 0 
 -66 -68 -69 -72 -74 -76
 -78 -79 -81 -84 -85 -88
 -89 -91 -93 -96 -97 -99
 -101 -104 -106 -107 -109 -112
 -113 -116 -118 -120 -122 -123
 -125 -128
 0 
 -130 -132 -133 -136 -138 -140
 -142 -143 -145 -148 -149 -152
 -153 -155 -157 -160 -161 -163
 -165 -168 -170 -171 -173 -176
 -177 -180 -182 -184 -186 -187
 -189 -192
 0 
 -2 -3 -6 -8 -10 -12
 -13 -15 -18 -20 -21 -23
 -25 -27 -30 -32 -34 -36
 -37 -40 -41 -43 -46 -47
 -49 -51 -54 -56 -58 -59
 -61 -64
 0 
 -66 -67 -70 -72 -74 -76
 -77 -79 -82 -84 -85 -87
 -89 -91 -94 -96 -98 -100
 -101 -104 -105 -107 -110 -111
 -113 -115 -118 -120 -122 -123
 -125 -128
 0 
 -130 -131 -134 -136 -138 -140
 -141 -143 -146 -148 -149 -151
 -153 -155 -158 -160 -162 -164
 -165 -168 -169 -171 -174 -175
 -177 -179 -182 -184 -186 -187
 -189 -192
 0 
 -2 -3 -6 -8 -10 -11
 -14 -15 -18 -19 -22 -23
 -25 -28 -30 -32 -33 -35
 -37 -39 -42 -44 -45 -47
 -50 -51 -54 -55 -58 -59
 -61 -64
 0 
 -66 -67 -70 -72 -74 -75
 -78 -79 -82 -83 -86 -87
 -89 -92 -94 -96 -97 -99
 -101 -103 -106 -108 -109 -111
 -114 -115 -118 -119 -122 -123
 -125 -128
 0 
 -130 -131 -134 -136 -138 -139
 -142 -143 -146 -147 -150 -151
 -153 -156 -158 -160 -161 -163
 -165 -167 -170 -172 -173 -175
 -178 -179 -182 -183 -186 -187
 -189 -192
 0 
 -1 -3 -6 -8 -9 -11
 -14 -16 -17 -20 -21 -24
 -25 -28 -30 -32 -33 -35
 -37 -40 -41 -44 -46 -48
 -50 -51 -53 -55 -57 -60
 -61 -63
 0 
 -65 -67 -70 -72 -73 -75
 -78 -80 -81 -84 -85 -88
 -89 -92 -94 -96 -97 -99
 -101 -104 -105 -108 -110 -112
 -114 -115 -117 -119 -121 -124
 -125 -127
 0 
 -129 -131 -134 -136 -137 -139
 -142 -144 -145 -148 -149 -152
 -153 -156 -158 -160 -161 -163
 -165 -168 -169 -172 -174 -176
 -178 -179 -181 -183 -185 -188
 -189 -191
 0 
 -1 -3 -6 -7 -10 -12
 -14 -15 -17 -20 -21 -23
 -26 -28 -29 -32 -33 -35
 -38 -39 -42 -44 -46 -47
 -50 -52 -53 -55 -58 -60
 -61 -64
 0 
 -65 -67 -70 -71 -74 -76
 -78 -79 -81 -84 -85 -87
 -90 -92 -93 -96 -97 -99
 -102 -103 -106 -108 -110 -111
 -114 -116 -117 -119 -122 -124
 -125 -128
 0 
 -129 -131 -134 -135 -138 -140
 -142 -143 -145 -148 -149 -151
 -154 -156 -157 -160 -161 -163
 -166 -167 -170 -172 -174 -175
 -178 -180 -181 -183 -186 -188
 -189 -192
 0 
 -2 -4 -6 -7 -10 -12
 -13 -16 -17 -19 -22 -24
 -26 -27 -29 -31 -34 -35
 -38 -39 -41 -43 -45 -48
 -50 -51 -54 -56 -58 -59
 -61 -63
 0 
 -66 -68 -70 -71 -74 -76
 -77 -80 -81 -83 -86 -88
 -90 -91 -93 -95 -98 -99
 -102 -103 -105 -107 -109 -112
 -114 -115 -118 -120 -122 -123
 -125 -127
 0 
 -130 -132 -134 -135 -138 -140
 -141 -144 -145 -147 -150 -152
 -154 -155 -157 -159 -162 -163
 -166 -167 -169 -171 -173 -176
 -178 -179 -182 -184 -186 -187
 -189 -191
 0 
 -2 -4 -5 -7 -9 -11
 -14 -15 -18 -19 -22 -24
 -25 -27 -30 -32 -33 -35
 -37 -40 -42 -44 -46 -48
 -49 -51 -54 -55 -58 -59
 -61 -64
 0 
 -66 -68 -69 -71 -73 -75
 -78 -79 -82 -83 -86 -88
 -89 -91 -94 -96 -97 -99
 -101 -104 -106 -108 -110 -112
 -113 -115 -118 -119 -122 -123
 -125 -128
 0 
 -130 -132 -133 -135 -137 -139
 -142 -143 -146 -147 -150 -152
 -153 -155 -158 -160 -161 -163
 -165 -168 -170 -172 -174 -176
 -177 -179 -182 -183 -186 -187
 -189 -192
 0 
 -1 -3 -5 -8 -9 -12
 -13 -15 -17 -19 -22 -23
 -26 -28 -29 -32 -34 -36
 -37 -39 -41 -43 -45 -47
 -50 -51 -54 -56 -57 -60
 -62 -63
 0 
 -65 -67 -69 -72 -73 -76
 -77 -79 -81 -83 -86 -87
 -90 -92 -93 -96 -98 -100
 -101 -103 -105 -107 -109 -111
 -114 -115 -118 -120 -121 -124
 -126 -127
 0 
 -129 -131 -133 -136 -137 -140
 -141 -143 -145 -147 -150 -151
 -154 -156 -157 -160 -162 -164
 -165 -167 -169 -171 -173 -175
 -178 -179 -182 -184 -185 -188
 -190 -191
 0 
 -1 -3 -6 -7 -10 -11
 -13 -15 -17 -20 -21 -23
 -26 -28 -29 -32 -34 -36
 -38 -39 -41 -43 -45 -48
 -50 -52 -54 -55 -57 -60
 -62 -64
 0 
 -65 -67 -70 -71 -74 -75
 -77 -79 -81 -84 -85 -87
 -90 -92 -93 -96 -98 -100
 -102 -103 -105 -107 -109 -112
 -114 -116 -118 -119 -121 -124
 -126 -128
 0 
 -129 -131 -134 -135 -138 -139
 -141 -143 -145 -148 -149 -151
 -154 -156 -157 -160 -162 -164
 -166 -167 -169 -171 -173 -176
 -178 -180 -182 -183 -185 -188
 -190 -192
 0 
 -1 -4 -5 -7 -9 -12
 -13 -16 -18 -19 -21 -24
 -26 -27 -30 -32 -34 -35
 -37 -40 -42 -44 -46 -47
 -49 -52 -54 -55 -57 -60
 -61 -63
 0 
 -65 -68 -69 -71 -73 -76
 -77 -80 -82 -83 -85 -88
 -90 -91 -94 -96 -98 -99
 -101 -104 -106 -108 -110 -111
 -113 -116 -118 -119 -121 -124
 -125 -127
 0 
 -129 -132 -133 -135 -137 -140
 -141 -144 -146 -147 -149 -152
 -154 -155 -158 -160 -162 -163
 -165 -168 -170 -172 -174 -175
 -177 -180 -182 -183 -185 -188
 -189 -191
 0 
 -1 -4 -6 -7 -10 -11
 -14 -16 -18 -20 -21 -24
 -25 -28 -30 -31 -33 -35
 -38 -39 -42 -43 -45 -48
 -50 -51 -53 -56 -58 -59
 -61 -63
 0 
 -65 -68 -70 -71 -74 -75
 -78 -80 -82 -84 -85 -88
 -89 -92 -94 -95 -97 -99
 -102 -103 -106 -107 -109 -112
 -114 -115 -117 -120 -122 -123
 -125 -127
 0 
 -129 -132 -134 -135 -138 -139
 -142 -144 -146 -148 -149 -152
 -153 -156 -158 -159 -161 -163
 -166 -167 -170 -171 -173 -176
 -178 -179 -181 -184 -186 -187
 -189 -191
 0 
 -1 -4 -6 -8 -10 -12
 -14 -15 -18 -19 -21 -24
 -26 -27 -29 -31 -33 -36
 -37 -39 -42 -43 -45 -47
 -49 -51 -54 -55 -57 -59
 -61 -63
 0 
 -65 -68 -70 -72 -74 -76
 -78 -79 -82 -83 -85 -88
 -90 -91 -93 -95 -97 -100
 -101 -103 -106 -107 -109 -111
 -113 -115 -118 -119 -121 -123
 -125 -127
 0 
 -129 -132 -134 -136 -138 -140
 -142 -143 -146 -147 -149 -152
 -154 -155 -157 -159 -161 -164
 -165 -167 -170 -171 -173 -175
 -177 -179 -182 -183 -185 -187
 -189 -191
 0 
 -2 -3 -5 -7 -10 -12
 -14 -15 -18 -20 -21 -24
 -26 -28 -30 -31 -33 -36
 -37 -40 -42 -43 -46 -47
 -49 -52 -54 -56 -58 -60
 -62 -63
 0 
 -66 -67 -69 -71 -74 -76
 -78 -79 -82 -84 -85 -88
 -90 -92 -94 -95 -97 -100
 -101 -104 -106 -107 -110 -111
 -113 -116 -118 -120 -122 -124
 -126 -127
 0 
 -130 -131 -133 -135 -138 -140
 -142 -143 -146 -148 -149 -152
 -154 -156 -158 -159 -161 -164
 -165 -168 -170 -171 -174 -175
 -177 -180 -182 -184 -186 -188
 -190 -191
 0 
 -2 -3 -5 -8 -9 -12
 -14 -15 -17 -20 -22 -23
 -26 -28 -29 -31 -34 -36
 -38 -39 -42 -44 -45 -48
 -50 -52 -53 -55 -57 -60
 -62 -63
 0 
 -66 -67 -69 -72 -73 -76
 -78 -79 -81 -84 -86 -87
 -90 -92 -93 -95 -98 -100
 -102 -103 -106 -108 -109 -112
 -114 -116 -117 -119 -121 -124
 -126 -127
 0 
 -130 -131 -133 -136 -137 -140
 -142 -143 -145 -148 -150 -151
 -154 -156 -157 -159 -162 -164
 -166 -167 -170 -172 -173 -176
 -178 -180 -181 -183 -185 -188
 -190 -191
 0 
 -2 -4 -6 -8 -10 -11
 -13 -15 -18 -20 -21 -24
 -25 -28 -30 -31 -34 -36
 -37 -40 -41 -43 -46 -47
 -49 -52 -54 -55 -58 -60
 -62 -64
 0 
 -66 -68 -70 -72 -74 -75
 -77 -79 -82 -84 -85 -88
 -89 -92 -94 -95 -98 -100
 -101 -104 -105 -107 -110 -111
 -113 -116 -118 -119 -122 -124
 -126 -128
 0 
 -130 -132 -134 -136 -138 -139
 -141 -143 -146 -148 -149 -152
 -153 -156 -158 -159 -162 -164
 -165 -168 -169 -171 -174 -175
 -177 -180 -182 -183 -186 -188
 -190 -192
 0 
 -1 -3 -6 -8 -9 -12
 -14 -15 -18 -19 -22 -23
 -26 -27 -30 -31 -34 -35
 -38 -39 -41 -43 -45 -48
 -50 -51 -53 -56 -57 -60
 -62 -64
 0 
 -65 -67 -70 -72 -73 -76
 -78 -79 -82 -83 -86 -87
 -90 -91 -94 -95 -98 -99
 -102 -103 -105 -107 -109 -112
 -114 -115 -117 -120 -121 -124
 -126 -128
 0 
 -129 -131 -134 -136 -137 -140
 -142 -143 -146 -147 -150 -151
 -154 -155 -158 -159 -162 -163
 -166 -167 -169 -171 -173 -176
 -178 -179 -181 -184 -185 -188
 -190 -192
 0 
 -2 -3 -5 -8 -9 -11
 -14 -15 -17 -19 -21 -23
 -25 -28 -30 -32 -33 -35
 -38 -40 -42 -44 -45 -48
 -49 -52 -54 -55 -58 -60
 -61 -64
 0 
 -66 -67 -69 -72 -73 -75
 -78 -79 -81 -83 -85 -87
 -89 -92 -94 -96 -97 -99
 -102 -104 -106 -108 -109 -112
 -113 -116 -118 -119 -122 -124
 -125 -128
 0 
 -130 -131 -133 -136 -137 -139
 -142 -143 -145 -147 -149 -151
 -153 -156 -158 -160 -161 -163
 -166 -168 -170 -172 -173 -176
 -177 -180 -182 -183 -186 -188
 -189 -192
 0 
 -2 -3 -6 -8 -9 -11
 -14 -15 -17 -20 -21 -24
 -26 -28 -30 -32 -34 -36
 -38 -40 -41 -44 -46 -47
 -50 -52 -53 -55 -57 -59
 -61 -64
 0 
 -66 -67 -70 -72 -73 -75
 -78 -79 -81 -84 -85 -88
 -90 -92 -94 -96 -98 -100
 -102 -104 -105 -108 -110 -111
 -114 -116 -117 -119 -121 -123
 -125 -128
 0 
 -130 -131 -134 -136 -137 -139
 -142 -143 -145 -148 -149 -152
 -154 -156 -158 -160 -162 -164
 -166 -168 -169 -172 -174 -175
 -178 -180 -181 -183 -185 -187
 -189 -192
 0 
 -1 -3 -5 -8 -9 -12
 -13 -16 -18 -19 -21 -23
 -25 -27 -30 -31 -34 -35
 -37 -40 -41 -43 -46 -47
 -49 -51 -54 -55 -57 -60
 -61 -64
 0 
 -65 -67 -69 -72 -73 -76
 -77 -80 -82 -83 -85 -87
 -89 -91 -94 -95 -98 -99
 -101 -104 -105 -107 -110 -111
 -113 -115 -118 -119 -121 -124
 -125 -128
 0 
 -129 -131 -133 -136 -137 -140
 -141 -144 -146 -147 -149 -151
 -153 -155 -158 -159 -162 -163
 -165 -168 -169 -171 -174 -175
 -177 -179 -182 -183 -185 -188
 -189 -192
 0 
 -2 -3 -5 -8 -9 -12
 -13 -16 -17 -19 -22 -24
 -25 -28 -30 -32 -33 -36
 -37 -40 -42 -43 -46 -48
 -50 -51 -54 -55 -57 -59
 -61 -63
 0 
 -66 -67 -69 -72 -73 -76
 -77 -80 -81 -83 -86 -88
 -89 -92 -94 -96 -97 -100
 -101 -104 -106 -107 -110 -112
 -114 -115 -118 -119 -121 -123
 -125 -127
 0 
 -130 -131 -133 -136 -137 -140
 -141 -144 -145 -147 -150 -152
 -153 -156 -158 -160 -161 -164
 -165 -168 -170 -171 -174 -176
 -178 -179 -182 -183 -185 -187
 -189 -191
 0 
 -1 -4 -6 -7 -9 -12
 -14 -15 -18 -20 -22 -24
 -26 -27 -29 -31 -34 -35
 -37 -39 -41 -43 -46 -48
 -50 -52 -53 -55 -57 -60
 -62 -63
 0 
 -65 -68 -70 -71 -73 -76
 -78 -79 -82 -84 -86 -88
 -90 -91 -93 -95 -98 -99
 -101 -103 -105 -107 -110 -112
 -114 -116 -117 -119 -121 -124
 -126 -127
 0 
 -129 -132 -134 -135 -137 -140
 -142 -143 -146 -148 -150 -152
 -154 -155 -157 -159 -162 -163
 -165 -167 -169 -171 -174 -176
 -178 -180 -181 -183 -185 -188
 -190 -191
 0 
 -1 -3 -5 -8 -9 -11
 -13 -16 -17 -20 -21 -23
 -25 -28 -30 -31 -33 -36
 -38 -39 -42 -44 -45 -48
 -49 -51 -53 -56 -58 -60
 -62 -63
 0 
 -65 -67 -69 -72 -73 -75
 -77 -80 -81 -84 -85 -87
 -89 -92 -94 -95 -97 -100
 -102 -103 -106 -108 -109 -112
 -113 -115 -117 -120 -122 -124
 -126 -127
 0 
 -129 -131 -133 -136 -137 -139
 -141 -144 -145 -148 -149 -151
 -153 -156 -158 -159 -161 -164
 -166 -167 -170 -172 -173 -176
 -177 -179 -181 -184 -186 -188
 -190 -191
 0 
 -2 -3 -5 -8 -10 -12
 -14 -15 -18 -19 -22 -24
 -26 -28 -30 -31 -34 -36
 -38 -39 -41 -43 -45 -47
 -50 -52 -54 -55 -57 -60
 -61 -63
 0 
 -66 -67 -69 -72 -74 -76
 -78 -79 -82 -83 -86 -88
 -90 -92 -94 -95 -98 -100
 -102 -103 -105 -107 -109 -111
 -114 -116 -118 -119 -121 -124
 -125 -127
 0 
 -130 -131 -133 -136 -138 -140
 -142 -143 -146 -147 -150 -152
 -154 -156 -158 -159 -162 -164
 -166 -167 -169 -171 -173 -175
 -178 -180 -182 -183 -185 -188
 -189 -191
 0 
 1 -193
 0 
 4 -193
 0 
 5 -193
 0 
 7 -193
 0 
 9 -193
 0 
 11 -193
 0 
 13 -193
 0 
 16 -193
 0 
 17 -193
 0 
 20 -193
 0 
 21 -193
 0 
 23 -193
 0 
 26 -193
 0 
 27 -193
 0 
 29 -193
 0 
 32 -193
 0 
 34 -193
 0 
 35 -193
 0 
 38 -193
 0 
 39 -193
 0 
 42 -193
 0 
 44 -193
 0 
 46 -193
 0 
 47 -193
 0 
 49 -193
 0 
 52 -193
 0 
 54 -193
 0 
 56 -193
 0 
 57 -193
 0 
 60 -193
 0 
 61 -193
 0 
 64 -193
 0 
 65 -194
 0 
 68 -194
 0 
 69 -194
 0 
 71 -194
 0 
 73 -194
 0 
 75 -194
 0 
 77 -194
 0 
 80 -194
 0 
 81 -194
 0 
 84 -194
 0 
 85 -194
 0 
 87 -194
 0 
 90 -194
 0 
 91 -194
 0 
 93 -194
 0 
 96 -194
 0 
 98 -194
 0 
 99 -194
 0 
 102 -194
 0 
 103 -194
 0 
 106 -194
 0 
 108 -194
 0 
 110 -194
 0 
 111 -194
 0 
 113 -194
 0 
 116 -194
 0 
 118 -194
 0 
 120 -194
 0 
 121 -194
 0 
 124 -194
 0 
 125 -194
 0 
 128 -194
 0 
 129 -195
 0 
 132 -195
 0 
 133 -195
 0 
 135 -195
 0 
 137 -195
 0 
 139 -195
 0 
 141 -195
 0 
 144 -195
 0 
 145 -195
 0 
 148 -195
 0 
 149 -195
 0 
 151 -195
 0 
 154 -195
 0 
 155 -195
 0 
 157 -195
 0 
 160 -195
 0 
 162 -195
 0 
 163 -195
 0 
 166 -195
 0 
 167 -195
 0 
 170 -195
 0 
 172 -195
 0 
 174 -195
 0 
 175 -195
 0 
 177 -195
 0 
 180 -195
 0 
 182 -195
 0 
 184 -195
 0 
 185 -195
 0 
 188 -195
 0 
 189 -195
 0 
 192 -195
 0 
 1 -196
 0 
 4 -196
 0 
 5 -196
 0 
 8 -196
 0 
 10 -196
 0 
 12 -196
 0 
 13 -196
 0 
 15 -196
 0 
 18 -196
 0 
 19 -196
 0 
 22 -196
 0 
 23 -196
 0 
 26 -196
 0 
 27 -196
 0 
 30 -196
 0 
 31 -196
 0 
 34 -196
 0 
 36 -196
 0 
 38 -196
 0 
 39 -196
 0 
 41 -196
 0 
 44 -196
 0 
 45 -196
 0 
 48 -196
 0 
 50 -196
 0 
 51 -196
 0 
 53 -196
 0 
 56 -196
 0 
 57 -196
 0 
 60 -196
 0 
 61 -196
 0 
 64 -196
 0 
 65 -197
 0 
 68 -197
 0 
 69 -197
 0 
 72 -197
 0 
 74 -197
 0 
 76 -197
 0 
 77 -197
 0 
 79 -197
 0 
 82 -197
 0 
 83 -197
 0 
 86 -197
 0 
 87 -197
 0 
 90 -197
 0 
 91 -197
 0 
 94 -197
 0 
 95 -197
 0 
 98 -197
 0 
 100 -197
 0 
 102 -197
 0 
 103 -197
 0 
 105 -197
 0 
 108 -197
 0 
 109 -197
 0 
 112 -197
 0 
 114 -197
 0 
 115 -197
 0 
 117 -197
 0 
 120 -197
 0 
 121 -197
 0 
 124 -197
 0 
 125 -197
 0 
 128 -197
 0 
 129 -198
 0 
 132 -198
 0 
 133 -198
 0 
 136 -198
 0 
 138 -198
 0 
 140 -198
 0 
 141 -198
 0 
 143 -198
 0 
 146 -198
 0 
 147 -198
 0 
 150 -198
 0 
 151 -198
 0 
 154 -198
 0 
 155 -198
 0 
 158 -198
 0 
 159 -198
 0 
 162 -198
 0 
 164 -198
 0 
 166 -198
 0 
 167 -198
 0 
 169 -198
 0 
 172 -198
 0 
 173 -198
 0 
 176 -198
 0 
 178 -198
 0 
 179 -198
 0 
 181 -198
 0 
 184 -198
 0 
 185 -198
 0 
 188 -198
 0 
 189 -198
 0 
 192 -198
 0 
 2 -199
 0 
 4 -199
 0 
 5 -199
 0 
 8 -199
 0 
 9 -199
 0 
 11 -199
 0 
 14 -199
 0 
 16 -199
 0 
 17 -199
 0 
 19 -199
 0 
 21 -199
 0 
 23 -199
 0 
 26 -199
 0 
 28 -199
 0 
 29 -199
 0 
 32 -199
 0 
 34 -199
 0 
 35 -199
 0 
 38 -199
 0 
 39 -199
 0 
 41 -199
 0 
 44 -199
 0 
 45 -199
 0 
 48 -199
 0 
 50 -199
 0 
 52 -199
 0 
 53 -199
 0 
 56 -199
 0 
 57 -199
 0 
 60 -199
 0 
 62 -199
 0 
 64 -199
 0 
 66 -200
 0 
 68 -200
 0 
 69 -200
 0 
 72 -200
 0 
 73 -200
 0 
 75 -200
 0 
 78 -200
 0 
 80 -200
 0 
 81 -200
 0 
 83 -200
 0 
 85 -200
 0 
 87 -200
 0 
 90 -200
 0 
 92 -200
 0 
 93 -200
 0 
 96 -200
 0 
 98 -200
 0 
 99 -200
 0 
 102 -200
 0 
 103 -200
 0 
 105 -200
 0 
 108 -200
 0 
 109 -200
 0 
 112 -200
 0 
 114 -200
 0 
 116 -200
 0 
 117 -200
 0 
 120 -200
 0 
 121 -200
 0 
 124 -200
 0 
 126 -200
 0 
 128 -200
 0 
 130 -201
 0 
 132 -201
 0 
 133 -201
 0 
 136 -201
 0 
 137 -201
 0 
 139 -201
 0 
 142 -201
 0 
 144 -201
 0 
 145 -201
 0 
 147 -201
 0 
 149 -201
 0 
 151 -201
 0 
 154 -201
 0 
 156 -201
 0 
 157 -201
 0 
 160 -201
 0 
 162 -201
 0 
 163 -201
 0 
 166 -201
 0 
 167 -201
 0 
 169 -201
 0 
 172 -201
 0 
 173 -201
 0 
 176 -201
 0 
 178 -201
 0 
 180 -201
 0 
 181 -201
 0 
 184 -201
 0 
 185 -201
 0 
 188 -201
 0 
 190 -201
 0 
 192 -201
 0 
 2 -202
 0 
 4 -202
 0 
 6 -202
 0 
 7 -202
 0 
 10 -202
 0 
 11 -202
 0 
 13 -202
 0 
 15 -202
 0 
 17 -202
 0 
 19 -202
 0 
 22 -202
 0 
 24 -202
 0 
 26 -202
 0 
 27 -202
 0 
 30 -202
 0 
 31 -202
 0 
 34 -202
 0 
 36 -202
 0 
 37 -202
 0 
 39 -202
 0 
 42 -202
 0 
 44 -202
 0 
 45 -202
 0 
 47 -202
 0 
 49 -202
 0 
 52 -202
 0 
 54 -202
 0 
 55 -202
 0 
 58 -202
 0 
 59 -202
 0 
 61 -202
 0 
 64 -202
 0 
 66 -203
 0 
 68 -203
 0 
 70 -203
 0 
 71 -203
 0 
 74 -203
 0 
 75 -203
 0 
 77 -203
 0 
 79 -203
 0 
 81 -203
 0 
 83 -203
 0 
 86 -203
 0 
 88 -203
 0 
 90 -203
 0 
 91 -203
 0 
 94 -203
 0 
 95 -203
 0 
 98 -203
 0 
 100 -203
 0 
 101 -203
 0 
 103 -203
 0 
 106 -203
 0 
 108 -203
 0 
 109 -203
 0 
 111 -203
 0 
 113 -203
 0 
 116 -203
 0 
 118 -203
 0 
 119 -203
 0 
 122 -203
 0 
 123 -203
 0 
 125 -203
 0 
 128 -203
 0 
 130 -204
 0 
 132 -204
 0 
 134 -204
 0 
 135 -204
 0 
 138 -204
 0 
 139 -204
 0 
 141 -204
 0 
 143 -204
 0 
 145 -204
 0 
 147 -204
 0 
 150 -204
 0 
 152 -204
 0 
 154 -204
 0 
 155 -204
 0 
 158 -204
 0 
 159 -204
 0 
 162 -204
 0 
 164 -204
 0 
 165 -204
 0 
 167 -204
 0 
 170 -204
 0 
 172 -204
 0 
 173 -204
 0 
 175 -204
 0 
 177 -204
 0 
 180 -204
 0 
 182 -204
 0 
 183 -204
 0 
 186 -204
 0 
 187 -204
 0 
 189 -204
 0 
 192 -204
 0 
 2 -205
 0 
 4 -205
 0 
 5 -205
 0 
 8 -205
 0 
 10 -205
 0 
 11 -205
 0 
 14 -205
 0 
 15 -205
 0 
 17 -205
 0 
 20 -205
 0 
 21 -205
 0 
 23 -205
 0 
 26 -205
 0 
 28 -205
 0 
 30 -205
 0 
 32 -205
 0 
 33 -205
 0 
 36 -205
 0 
 37 -205
 0 
 39 -205
 0 
 42 -205
 0 
 43 -205
 0 
 46 -205
 0 
 48 -205
 0 
 49 -205
 0 
 51 -205
 0 
 54 -205
 0 
 55 -205
 0 
 57 -205
 0 
 60 -205
 0 
 61 -205
 0 
 64 -205
 0 
 66 -206
 0 
 68 -206
 0 
 69 -206
 0 
 72 -206
 0 
 74 -206
 0 
 75 -206
 0 
 78 -206
 0 
 79 -206
 0 
 81 -206
 0 
 84 -206
 0 
 85 -206
 0 
 87 -206
 0 
 90 -206
 0 
 92 -206
 0 
 94 -206
 0 
 96 -206
 0 
 97 -206
 0 
 100 -206
 0 
 101 -206
 0 
 103 -206
 0 
 106 -206
 0 
 107 -206
 0 
 110 -206
 0 
 112 -206
 0 
 113 -206
 0 
 115 -206
 0 
 118 -206
 0 
 119 -206
 0 
 121 -206
 0 
 124 -206
 0 
 125 -206
 0 
 128 -206
 0 
 130 -207
 0 
 132 -207
 0 
 133 -207
 0 
 136 -207
 0 
 138 -207
 0 
 139 -207
 0 
 142 -207
 0 
 143 -207
 0 
 145 -207
 0 
 148 -207
 0 
 149 -207
 0 
 151 -207
 0 
 154 -207
 0 
 156 -207
 0 
 158 -207
 0 
 160 -207
 0 
 161 -207
 0 
 164 -207
 0 
 165 -207
 0 
 167 -207
 0 
 170 -207
 0 
 171 -207
 0 
 174 -207
 0 
 176 -207
 0 
 177 -207
 0 
 179 -207
 0 
 182 -207
 0 
 183 -207
 0 
 185 -207
 0 
 188 -207
 0 
 189 -207
 0 
 192 -207
 0 
 1 -208
 0 
 4 -208
 0 
 6 -208
 0 
 8 -208
 0 
 9 -208
 0 
 11 -208
 0 
 13 -208
 0 
 15 -208
 0 
 18 -208
 0 
 19 -208
 0 
 21 -208
 0 
 24 -208
 0 
 26 -208
 0 
 28 -208
 0 
 29 -208
 0 
 32 -208
 0 
 33 -208
 0 
 35 -208
 0 
 38 -208
 0 
 39 -208
 0 
 41 -208
 0 
 43 -208
 0 
 46 -208
 0 
 47 -208
 0 
 50 -208
 0 
 52 -208
 0 
 53 -208
 0 
 55 -208
 0 
 57 -208
 0 
 60 -208
 0 
 61 -208
 0 
 64 -208
 0 
 65 -209
 0 
 68 -209
 0 
 70 -209
 0 
 72 -209
 0 
 73 -209
 0 
 75 -209
 0 
 77 -209
 0 
 79 -209
 0 
 82 -209
 0 
 83 -209
 0 
 85 -209
 0 
 88 -209
 0 
 90 -209
 0 
 92 -209
 0 
 93 -209
 0 
 96 -209
 0 
 97 -209
 0 
 99 -209
 0 
 102 -209
 0 
 103 -209
 0 
 105 -209
 0 
 107 -209
 0 
 110 -209
 0 
 111 -209
 0 
 114 -209
 0 
 116 -209
 0 
 117 -209
 0 
 119 -209
 0 
 121 -209
 0 
 124 -209
 0 
 125 -209
 0 
 128 -209
 0 
 129 -210
 0 
 132 -210
 0 
 134 -210
 0 
 136 -210
 0 
 137 -210
 0 
 139 -210
 0 
 141 -210
 0 
 143 -210
 0 
 146 -210
 0 
 147 -210
 0 
 149 -210
 0 
 152 -210
 0 
 154 -210
 0 
 156 -210
 0 
 157 -210
 0 
 160 -210
 0 
 161 -210
 0 
 163 -210
 0 
 166 -210
 0 
 167 -210
 0 
 169 -210
 0 
 171 -210
 0 
 174 -210
 0 
 175 -210
 0 
 178 -210
 0 
 180 -210
 0 
 181 -210
 0 
 183 -210
 0 
 185 -210
 0 
 188 -210
 0 
 189 -210
 0 
 192 -210
 0 
 1 -211
 0 
 4 -211
 0 
 6 -211
 0 
 7 -211
 0 
 10 -211
 0 
 11 -211
 0 
 13 -211
 0 
 15 -211
 0 
 17 -211
 0 
 19 -211
 0 
 21 -211
 0 
 23 -211
 0 
 26 -211
 0 
 28 -211
 0 
 30 -211
 0 
 31 -211
 0 
 33 -211
 0 
 36 -211
 0 
 38 -211
 0 
 40 -211
 0 
 41 -211
 0 
 43 -211
 0 
 46 -211
 0 
 47 -211
 0 
 49 -211
 0 
 52 -211
 0 
 54 -211
 0 
 55 -211
 0 
 57 -211
 0 
 59 -211
 0 
 62 -211
 0 
 63 -211
 0 
 65 -212
 0 
 68 -212
 0 
 70 -212
 0 
 71 -212
 0 
 74 -212
 0 
 75 -212
 0 
 77 -212
 0 
 79 -212
 0 
 81 -212
 0 
 83 -212
 0 
 85 -212
 0 
 87 -212
 0 
 90 -212
 0 
 92 -212
 0 
 94 -212
 0 
 95 -212
 0 
 97 -212
 0 
 100 -212
 0 
 102 -212
 0 
 104 -212
 0 
 105 -212
 0 
 107 -212
 0 
 110 -212
 0 
 111 -212
 0 
 113 -212
 0 
 116 -212
 0 
 118 -212
 0 
 119 -212
 0 
 121 -212
 0 
 123 -212
 0 
 126 -212
 0 
 127 -212
 0 
 129 -213
 0 
 132 -213
 0 
 134 -213
 0 
 135 -213
 0 
 138 -213
 0 
 139 -213
 0 
 141 -213
 0 
 143 -213
 0 
 145 -213
 0 
 147 -213
 0 
 149 -213
 0 
 151 -213
 0 
 154 -213
 0 
 156 -213
 0 
 158 -213
 0 
 159 -213
 0 
 161 -213
 0 
 164 -213
 0 
 166 -213
 0 
 168 -213
 0 
 169 -213
 0 
 171 -213
 0 
 174 -213
 0 
 175 -213
 0 
 177 -213
 0 
 180 -213
 0 
 182 -213
 0 
 183 -213
 0 
 185 -213
 0 
 187 -213
 0 
 190 -213
 0 
 191 -213
 0 
 2 -214
 0 
 4 -214
 0 
 6 -214
 0 
 7 -214
 0 
 10 -214
 0 
 12 -214
 0 
 14 -214
 0 
 15 -214
 0 
 18 -214
 0 
 20 -214
 0 
 21 -214
 0 
 24 -214
 0 
 25 -214
 0 
 28 -214
 0 
 30 -214
 0 
 31 -214
 0 
 33 -214
 0 
 36 -214
 0 
 38 -214
 0 
 40 -214
 0 
 42 -214
 0 
 44 -214
 0 
 45 -214
 0 
 47 -214
 0 
 50 -214
 0 
 52 -214
 0 
 54 -214
 0 
 56 -214
 0 
 57 -214
 0 
 59 -214
 0 
 62 -214
 0 
 63 -214
 0 
 66 -215
 0 
 68 -215
 0 
 70 -215
 0 
 71 -215
 0 
 74 -215
 0 
 76 -215
 0 
 78 -215
 0 
 79 -215
 0 
 82 -215
 0 
 84 -215
 0 
 85 -215
 0 
 88 -215
 0 
 89 -215
 0 
 92 -215
 0 
 94 -215
 0 
 95 -215
 0 
 97 -215
 0 
 100 -215
 0 
 102 -215
 0 
 104 -215
 0 
 106 -215
 0 
 108 -215
 0 
 109 -215
 0 
 111 -215
 0 
 114 -215
 0 
 116 -215
 0 
 118 -215
 0 
 120 -215
 0 
 121 -215
 0 
 123 -215
 0 
 126 -215
 0 
 127 -215
 0 
 130 -216
 0 
 132 -216
 0 
 134 -216
 0 
 135 -216
 0 
 138 -216
 0 
 140 -216
 0 
 142 -216
 0 
 143 -216
 0 
 146 -216
 0 
 148 -216
 0 
 149 -216
 0 
 152 -216
 0 
 153 -216
 0 
 156 -216
 0 
 158 -216
 0 
 159 -216
 0 
 161 -216
 0 
 164 -216
 0 
 166 -216
 0 
 168 -216
 0 
 170 -216
 0 
 172 -216
 0 
 173 -216
 0 
 175 -216
 0 
 178 -216
 0 
 180 -216
 0 
 182 -216
 0 
 184 -216
 0 
 185 -216
 0 
 187 -216
 0 
 190 -216
 0 
 191 -216
 0 
 2 -217
 0 
 4 -217
 0 
 6 -217
 0 
 7 -217
 0 
 10 -217
 0 
 11 -217
 0 
 14 -217
 0 
 15 -217
 0 
 17 -217
 0 
 19 -217
 0 
 22 -217
 0 
 23 -217
 0 
 25 -217
 0 
 27 -217
 0 
 29 -217
 0 
 32 -217
 0 
 34 -217
 0 
 35 -217
 0 
 38 -217
 0 
 39 -217
 0 
 41 -217
 0 
 44 -217
 0 
 46 -217
 0 
 48 -217
 0 
 49 -217
 0 
 52 -217
 0 
 54 -217
 0 
 56 -217
 0 
 58 -217
 0 
 59 -217
 0 
 62 -217
 0 
 64 -217
 0 
 66 -218
 0 
 68 -218
 0 
 70 -218
 0 
 71 -218
 0 
 74 -218
 0 
 75 -218
 0 
 78 -218
 0 
 79 -218
 0 
 81 -218
 0 
 83 -218
 0 
 86 -218
 0 
 87 -218
 0 
 89 -218
 0 
 91 -218
 0 
 93 -218
 0 
 96 -218
 0 
 98 -218
 0 
 99 -218
 0 
 102 -218
 0 
 103 -218
 0 
 105 -218
 0 
 108 -218
 0 
 110 -218
 0 
 112 -218
 0 
 113 -218
 0 
 116 -218
 0 
 118 -218
 0 
 120 -218
 0 
 122 -218
 0 
 123 -218
 0 
 126 -218
 0 
 128 -218
 0 
 130 -219
 0 
 132 -219
 0 
 134 -219
 0 
 135 -219
 0 
 138 -219
 0 
 139 -219
 0 
 142 -219
 0 
 143 -219
 0 
 145 -219
 0 
 147 -219
 0 
 150 -219
 0 
 151 -219
 0 
 153 -219
 0 
 155 -219
 0 
 157 -219
 0 
 160 -219
 0 
 162 -219
 0 
 163 -219
 0 
 166 -219
 0 
 167 -219
 0 
 169 -219
 0 
 172 -219
 0 
 174 -219
 0 
 176 -219
 0 
 177 -219
 0 
 180 -219
 0 
 182 -219
 0 
 184 -219
 0 
 186 -219
 0 
 187 -219
 0 
 190 -219
 0 
 192 -219
 0 
 1 -220
 0 
 4 -220
 0 
 5 -220
 0 
 8 -220
 0 
 9 -220
 0 
 11 -220
 0 
 14 -220
 0 
 16 -220
 0 
 18 -220
 0 
 20 -220
 0 
 21 -220
 0 
 24 -220
 0 
 25 -220
 0 
 27 -220
 0 
 30 -220
 0 
 31 -220
 0 
 34 -220
 0 
 35 -220
 0 
 38 -220
 0 
 39 -220
 0 
 41 -220
 0 
 43 -220
 0 
 46 -220
 0 
 47 -220
 0 
 49 -220
 0 
 51 -220
 0 
 53 -220
 0 
 55 -220
 0 
 57 -220
 0 
 60 -220
 0 
 61 -220
 0 
 64 -220
 0 
 65 -221
 0 
 68 -221
 0 
 69 -221
 0 
 72 -221
 0 
 73 -221
 0 
 75 -221
 0 
 78 -221
 0 
 80 -221
 0 
 82 -221
 0 
 84 -221
 0 
 85 -221
 0 
 88 -221
 0 
 89 -221
 0 
 91 -221
 0 
 94 -221
 0 
 95 -221
 0 
 98 -221
 0 
 99 -221
 0 
 102 -221
 0 
 103 -221
 0 
 105 -221
 0 
 107 -221
 0 
 110 -221
 0 
 111 -221
 0 
 113 -221
 0 
 115 -221
 0 
 117 -221
 0 
 119 -221
 0 
 121 -221
 0 
 124 -221
 0 
 125 -221
 0 
 128 -221
 0 
 129 -222
 0 
 132 -222
 0 
 133 -222
 0 
 136 -222
 0 
 137 -222
 0 
 139 -222
 0 
 142 -222
 0 
 144 -222
 0 
 146 -222
 0 
 148 -222
 0 
 149 -222
 0 
 152 -222
 0 
 153 -222
 0 
 155 -222
 0 
 158 -222
 0 
 159 -222
 0 
 162 -222
 0 
 163 -222
 0 
 166 -222
 0 
 167 -222
 0 
 169 -222
 0 
 171 -222
 0 
 174 -222
 0 
 175 -222
 0 
 177 -222
 0 
 179 -222
 0 
 181 -222
 0 
 183 -222
 0 
 185 -222
 0 
 188 -222
 0 
 189 -222
 0 
 192 -222
 0 
 2 -223
 0 
 4 -223
 0 
 5 -223
 0 
 7 -223
 0 
 10 -223
 0 
 11 -223
 0 
 14 -223
 0 
 15 -223
 0 
 17 -223
 0 
 19 -223
 0 
 21 -223
 0 
 24 -223
 0 
 26 -223
 0 
 28 -223
 0 
 29 -223
 0 
 31 -223
 0 
 34 -223
 0 
 35 -223
 0 
 38 -223
 0 
 39 -223
 0 
 42 -223
 0 
 43 -223
 0 
 45 -223
 0 
 48 -223
 0 
 49 -223
 0 
 52 -223
 0 
 53 -223
 0 
 55 -223
 0 
 58 -223
 0 
 60 -223
 0 
 61 -223
 0 
 64 -223
 0 
 66 -224
 0 
 68 -224
 0 
 69 -224
 0 
 71 -224
 0 
 74 -224
 0 
 75 -224
 0 
 78 -224
 0 
 79 -224
 0 
 81 -224
 0 
 83 -224
 0 
 85 -224
 0 
 88 -224
 0 
 90 -224
 0 
 92 -224
 0 
 93 -224
 0 
 95 -224
 0 
 98 -224
 0 
 99 -224
 0 
 102 -224
 0 
 103 -224
 0 
 106 -224
 0 
 107 -224
 0 
 109 -224
 0 
 112 -224
 0 
 113 -224
 0 
 116 -224
 0 
 117 -224
 0 
 119 -224
 0 
 122 -224
 0 
 124 -224
 0 
 125 -224
 0 
 128 -224
 0 
 130 -225
 0 
 132 -225
 0 
 133 -225
 0 
 135 -225
 0 
 138 -225
 0 
 139 -225
 0 
 142 -225
 0 
 143 -225
 0 
 145 -225
 0 
 147 -225
 0 
 149 -225
 0 
 152 -225
 0 
 154 -225
 0 
 156 -225
 0 
 157 -225
 0 
 159 -225
 0 
 162 -225
 0 
 163 -225
 0 
 166 -225
 0 
 167 -225
 0 
 170 -225
 0 
 171 -225
 0 
 173 -225
 0 
 176 -225
 0 
 177 -225
 0 
 180 -225
 0 
 181 -225
 0 
 183 -225
 0 
 186 -225
 0 
 188 -225
 0 
 189 -225
 0 
 192 -225
 0 
 193 194 195
 0 
 196 197 198
 0 
 199 200 201
 0 
 202 203 204
 0 
 205 206 207
 0 
 208 209 210
 0 
 211 212 213
 0 
 214 215 216
 0 
 217 218 219
 0 
 220 221 222
 0 
 223 224 225
 0