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