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