c FILE:  par16-2-c.cnf
c
c SOURCE: James Crawford (jc@research.att.com)
c
c DESCRIPTION: Instance arises from the problem of learning the parity
c              function.  
c
c     parxx-y denotes a parity problem on xx bits.  y is simply the
c     intance number.
c
c     parxx-y-c denotes an instance identical to parxx-y except that
c     the instances have been simplified (to create an equivalent
c     problem). 
c
c NOTE: Satisfiable (checked for 8 and 16 size instances. All
c       instances are satisfiable by construction)
c
c NOTE: Number of clauses corrected August 3, 1993
c
c Converted from tableau format Tue Aug  3 09:49:14 EDT 1993
p cnf 349 1392
 -2 1
 0
 -3 -2
 0
 -5 4 3
 0
 -6 -5 3
 0
 5 -3
 0
 6 -3
 0
 -3 -2 -1
 0
 3 2 -1
 0
 -3 2 1
 0
 3 -2 1
 0
 -6 -5 -4
 0
 6 5 -4
 0
 -6 5 4
 0
 6 -5 4
 0
 -7 2
 0
 -8 -7
 0
 -9 5 8
 0
 -10 -9 8
 0
 9 -8
 0
 10 -8
 0
 -8 -7 -2
 0
 8 7 -2
 0
 -8 7 2
 0
 8 -7 2
 0
 -10 -9 -5
 0
 10 9 -5
 0
 -10 9 5
 0
 10 -9 5
 0
 -11 7
 0
 -12 -11
 0
 -13 9 12
 0
 -14 -13 12
 0
 13 -12
 0
 14 -12
 0
 -12 -11 -7
 0
 12 11 -7
 0
 -12 11 7
 0
 12 -11 7
 0
 -14 -13 -9
 0
 14 13 -9
 0
 -14 13 9
 0
 14 -13 9
 0
 -15 11
 0
 -16 -15
 0
 -17 13 16
 0
 -18 -17 16
 0
 17 -16
 0
 18 -16
 0
 -16 -15 -11
 0
 16 15 -11
 0
 -16 15 11
 0
 16 -15 11
 0
 -18 -17 -13
 0
 18 17 -13
 0
 -18 17 13
 0
 18 -17 13
 0
 -19 15
 0
 -20 -19
 0
 -21 17 20
 0
 -22 -21 20
 0
 21 -20
 0
 22 -20
 0
 -20 -19 -15
 0
 20 19 -15
 0
 -20 19 15
 0
 20 -19 15
 0
 -22 -21 -17
 0
 22 21 -17
 0
 -22 21 17
 0
 22 -21 17
 0
 -23 19
 0
 -24 -23
 0
 -25 21 24
 0
 -26 -25 24
 0
 25 -24
 0
 26 -24
 0
 -24 -23 -19
 0
 24 23 -19
 0
 -24 23 19
 0
 24 -23 19
 0
 -26 -25 -21
 0
 26 25 -21
 0
 -26 25 21
 0
 26 -25 21
 0
 -27 23
 0
 -28 -27
 0
 -29 25 28
 0
 -30 -29 28
 0
 29 -28
 0
 30 -28
 0
 -28 -27 -23
 0
 28 27 -23
 0
 -28 27 23
 0
 28 -27 23
 0
 -30 -29 -25
 0
 30 29 -25
 0
 -30 29 25
 0
 30 -29 25
 0
 -31 27
 0
 -32 -31
 0
 -33 29 32
 0
 -34 -33 32
 0
 33 -32
 0
 34 -32
 0
 -32 -31 -27
 0
 32 31 -27
 0
 -32 31 27
 0
 32 -31 27
 0
 -34 -33 -29
 0
 34 33 -29
 0
 -34 33 29
 0
 34 -33 29
 0
 -35 31
 0
 -36 -35
 0
 -37 33 36
 0
 -38 -37 36
 0
 37 -36
 0
 38 -36
 0
 -36 -35 -31
 0
 36 35 -31
 0
 -36 35 31
 0
 36 -35 31
 0
 -38 -37 -33
 0
 38 37 -33
 0
 -38 37 33
 0
 38 -37 33
 0
 -39 35
 0
 -40 -39
 0
 -41 37 40
 0
 -42 -41 40
 0
 41 -40
 0
 42 -40
 0
 -40 -39 -35
 0
 40 39 -35
 0
 -40 39 35
 0
 40 -39 35
 0
 -42 -41 -37
 0
 42 41 -37
 0
 -42 41 37
 0
 42 -41 37
 0
 -43 39
 0
 -44 -43
 0
 -45 41 44
 0
 -46 -45 44
 0
 45 -44
 0
 46 -44
 0
 -44 -43 -39
 0
 44 43 -39
 0
 -44 43 39
 0
 44 -43 39
 0
 -46 -45 -41
 0
 46 45 -41
 0
 -46 45 41
 0
 46 -45 41
 0
 -47 43
 0
 -48 -47
 0
 -49 45 48
 0
 -50 -49 48
 0
 49 -48
 0
 50 -48
 0
 -48 -47 -43
 0
 48 47 -43
 0
 -48 47 43
 0
 48 -47 43
 0
 -50 -49 -45
 0
 50 49 -45
 0
 -50 49 45
 0
 50 -49 45
 0
 -51 47
 0
 -52 -51
 0
 -53 49 52
 0
 -54 -53 52
 0
 53 -52
 0
 54 -52
 0
 -52 -51 -47
 0
 52 51 -47
 0
 -52 51 47
 0
 52 -51 47
 0
 -54 -53 -49
 0
 54 53 -49
 0
 -54 53 49
 0
 54 -53 49
 0
 -55 51
 0
 -56 -55
 0
 -57 53 56
 0
 -58 -57 56
 0
 57 -56
 0
 58 -56
 0
 -56 -55 -51
 0
 56 55 -51
 0
 -56 55 51
 0
 56 -55 51
 0
 -58 -57 -53
 0
 58 57 -53
 0
 -58 57 53
 0
 58 -57 53
 0
 -59 55
 0
 -60 -59
 0
 -61 57 60
 0
 -62 -61 60
 0
 61 -60
 0
 62 -60
 0
 -60 -59 -55
 0
 60 59 -55
 0
 -60 59 55
 0
 60 -59 55
 0
 -62 -61 -57
 0
 62 61 -57
 0
 -62 61 57
 0
 62 -61 57
 0
 -63 59
 0
 -64 -63
 0
 -65 61 64
 0
 -66 -65 64
 0
 65 -64
 0
 66 -64
 0
 -64 -63 -59
 0
 64 63 -59
 0
 -64 63 59
 0
 64 -63 59
 0
 -66 -65 -61
 0
 66 65 -61
 0
 -66 65 61
 0
 66 -65 61
 0
 -67 63
 0
 -68 -67
 0
 -69 65 68
 0
 -70 -69 68
 0
 69 -68
 0
 70 -68
 0
 -68 -67 -63
 0
 68 67 -63
 0
 -68 67 63
 0
 68 -67 63
 0
 -70 -69 -65
 0
 70 69 -65
 0
 -70 69 65
 0
 70 -69 65
 0
 -71 67
 0
 -72 -71
 0
 -73 69 72
 0
 -74 -73 72
 0
 73 -72
 0
 74 -72
 0
 -72 -71 -67
 0
 72 71 -67
 0
 -72 71 67
 0
 72 -71 67
 0
 -74 -73 -69
 0
 74 73 -69
 0
 -74 73 69
 0
 74 -73 69
 0
 -75 71
 0
 -76 -75
 0
 -77 73 76
 0
 -78 -77 76
 0
 77 -76
 0
 78 -76
 0
 -76 -75 -71
 0
 76 75 -71
 0
 -76 75 71
 0
 76 -75 71
 0
 -78 -77 -73
 0
 78 77 -73
 0
 -78 77 73
 0
 78 -77 73
 0
 -79 75
 0
 -80 -79
 0
 -81 77 80
 0
 -82 -81 80
 0
 81 -80
 0
 82 -80
 0
 -80 -79 -75
 0
 80 79 -75
 0
 -80 79 75
 0
 80 -79 75
 0
 -82 -81 -77
 0
 82 81 -77
 0
 -82 81 77
 0
 82 -81 77
 0
 -83 79
 0
 -84 -83
 0
 -85 81 84
 0
 -86 -85 84
 0
 85 -84
 0
 86 -84
 0
 -84 -83 -79
 0
 84 83 -79
 0
 -84 83 79
 0
 84 -83 79
 0
 -86 -85 -81
 0
 86 85 -81
 0
 -86 85 81
 0
 86 -85 81
 0
 -87 83
 0
 -88 -87
 0
 -89 85 88
 0
 -90 -89 88
 0
 89 -88
 0
 90 -88
 0
 -88 -87 -83
 0
 88 87 -83
 0
 -88 87 83
 0
 88 -87 83
 0
 -90 -89 -85
 0
 90 89 -85
 0
 -90 89 85
 0
 90 -89 85
 0
 -91 87
 0
 -92 -91
 0
 -93 89 92
 0
 -94 -93 92
 0
 93 -92
 0
 94 -92
 0
 -92 -91 -87
 0
 92 91 -87
 0
 -92 91 87
 0
 92 -91 87
 0
 -94 -93 -89
 0
 94 93 -89
 0
 -94 93 89
 0
 94 -93 89
 0
 -95 91
 0
 -96 -95
 0
 -97 93 96
 0
 -98 -97 96
 0
 97 -96
 0
 98 -96
 0
 -96 -95 -91
 0
 96 95 -91
 0
 -96 95 91
 0
 96 -95 91
 0
 -98 -97 -93
 0
 98 97 -93
 0
 -98 97 93
 0
 98 -97 93
 0
 -99 95
 0
 -100 -99
 0
 -101 97 100
 0
 -102 -101 100
 0
 101 -100
 0
 102 -100
 0
 -100 -99 -95
 0
 100 99 -95
 0
 -100 99 95
 0
 100 -99 95
 0
 -102 -101 -97
 0
 102 101 -97
 0
 -102 101 97
 0
 102 -101 97
 0
 -103 99
 0
 -104 -103
 0
 -105 101 104
 0
 -106 -105 104
 0
 105 -104
 0
 106 -104
 0
 -104 -103 -99
 0
 104 103 -99
 0
 -104 103 99
 0
 104 -103 99
 0
 -106 -105 -101
 0
 106 105 -101
 0
 -106 105 101
 0
 106 -105 101
 0
 -107 103
 0
 -108 -107
 0
 -109 105 108
 0
 -110 -109 108
 0
 109 -108
 0
 110 -108
 0
 -108 -107 -103
 0
 108 107 -103
 0
 -108 107 103
 0
 108 -107 103
 0
 -110 -109 -105
 0
 110 109 -105
 0
 -110 109 105
 0
 110 -109 105
 0
 -111 107
 0
 -112 -111
 0
 -113 109 112
 0
 -114 -113 112
 0
 113 -112
 0
 114 -112
 0
 -112 -111 -107
 0
 112 111 -107
 0
 -112 111 107
 0
 112 -111 107
 0
 -114 -113 -109
 0
 114 113 -109
 0
 -114 113 109
 0
 114 -113 109
 0
 -115 111
 0
 -116 -115
 0
 -117 113 116
 0
 -118 -117 116
 0
 117 -116
 0
 118 -116
 0
 -116 -115 -111
 0
 116 115 -111
 0
 -116 115 111
 0
 116 -115 111
 0
 -118 -117 -113
 0
 118 117 -113
 0
 -118 117 113
 0
 118 -117 113
 0
 115 -119
 0
 -120 -119
 0
 -121 117 120
 0
 -122 -121 120
 0
 121 -120
 0
 122 -120
 0
 -120 -115 -119
 0
 120 -115 119
 0
 -120 115 119
 0
 120 115 -119
 0
 -122 -121 -117
 0
 122 121 -117
 0
 -122 121 117
 0
 122 -121 117
 0
 121 119 -123
 0
 -124 119 -123
 0
 -119 123
 0
 124 -119
 0
 -124 -121 -123
 0
 124 -121 123
 0
 -124 121 123
 0
 124 121 -123
 0
 -126 -125 -6
 0
 126 125 -6
 0
 -126 125 6
 0
 126 -125 6
 0
 -128 -127 -125
 0
 128 127 -125
 0
 -128 127 125
 0
 128 -127 125
 0
 -130 -129 -127
 0
 130 129 -127
 0
 -130 129 127
 0
 130 -129 127
 0
 -132 -131 -129
 0
 132 131 -129
 0
 -132 131 129
 0
 132 -131 129
 0
 -134 -133 -131
 0
 134 133 -131
 0
 -134 133 131
 0
 134 -133 131
 0
 -136 -135 -133
 0
 136 135 -133
 0
 -136 135 133
 0
 136 -135 133
 0
 -138 -137 -135
 0
 138 137 -135
 0
 -138 137 135
 0
 138 -137 135
 0
 -140 -139 -137
 0
 140 139 -137
 0
 -140 139 137
 0
 140 -139 137
 0
 -142 -141 -139
 0
 142 141 -139
 0
 -142 141 139
 0
 142 -141 139
 0
 -144 -143 -141
 0
 144 143 -141
 0
 -144 143 141
 0
 144 -143 141
 0
 -146 -145 -143
 0
 146 145 -143
 0
 -146 145 143
 0
 146 -145 143
 0
 -148 -147 -145
 0
 148 147 -145
 0
 -148 147 145
 0
 148 -147 145
 0
 -150 -147 149
 0
 150 -147 -149
 0
 -150 147 -149
 0
 150 147 149
 0
 -132 -151 -10
 0
 132 151 -10
 0
 -132 151 10
 0
 132 -151 10
 0
 -134 -152 -151
 0
 134 152 -151
 0
 -134 152 151
 0
 134 -152 151
 0
 -154 -153 -152
 0
 154 153 -152
 0
 -154 153 152
 0
 154 -153 152
 0
 -138 -155 -153
 0
 138 155 -153
 0
 -138 155 153
 0
 138 -155 153
 0
 -142 -156 -155
 0
 142 156 -155
 0
 -142 156 155
 0
 142 -156 155
 0
 -146 -157 -156
 0
 146 157 -156
 0
 -146 157 156
 0
 146 -157 156
 0
 -148 -158 -157
 0
 148 158 -157
 0
 -148 158 157
 0
 148 -158 157
 0
 -150 -158 -149
 0
 150 -158 149
 0
 -150 158 149
 0
 150 158 -149
 0
 -128 -159 -14
 0
 128 159 -14
 0
 -128 159 14
 0
 128 -159 14
 0
 -130 -160 -159
 0
 130 160 -159
 0
 -130 160 159
 0
 130 -160 159
 0
 -134 -161 -160
 0
 134 161 -160
 0
 -134 161 160
 0
 134 -161 160
 0
 -136 -162 -161
 0
 136 162 -161
 0
 -136 162 161
 0
 136 -162 161
 0
 -154 -163 -162
 0
 154 163 -162
 0
 -154 163 162
 0
 154 -163 162
 0
 -142 -164 -163
 0
 142 164 -163
 0
 -142 164 163
 0
 142 -164 163
 0
 -144 -164 149
 0
 144 -164 -149
 0
 -144 164 -149
 0
 144 164 149
 0
 -128 -165 -18
 0
 128 165 -18
 0
 -128 165 18
 0
 128 -165 18
 0
 -167 -166 -165
 0
 167 166 -165
 0
 -167 166 165
 0
 167 -166 165
 0
 -130 -168 -166
 0
 130 168 -166
 0
 -130 168 166
 0
 130 -168 166
 0
 -132 -169 -168
 0
 132 169 -168
 0
 -132 169 168
 0
 132 -169 168
 0
 -136 -170 -169
 0
 136 170 -169
 0
 -136 170 169
 0
 136 -170 169
 0
 -154 -171 -170
 0
 154 171 -170
 0
 -154 171 170
 0
 154 -171 170
 0
 -138 -172 -171
 0
 138 172 -171
 0
 -138 172 171
 0
 138 -172 171
 0
 -140 -173 -172
 0
 140 173 -172
 0
 -140 173 172
 0
 140 -173 172
 0
 -146 -174 -173
 0
 146 174 -173
 0
 -146 174 173
 0
 146 -174 173
 0
 -148 -175 -174
 0
 148 175 -174
 0
 -148 175 174
 0
 148 -175 174
 0
 -150 -175 -149
 0
 150 -175 149
 0
 -150 175 149
 0
 150 175 -149
 0
 -126 -176 -22
 0
 126 176 -22
 0
 -126 176 22
 0
 126 -176 22
 0
 -167 -177 -176
 0
 167 177 -176
 0
 -167 177 176
 0
 167 -177 176
 0
 -134 -178 -177
 0
 134 178 -177
 0
 -134 178 177
 0
 134 -178 177
 0
 -136 -179 -178
 0
 136 179 -178
 0
 -136 179 178
 0
 136 -179 178
 0
 -154 -180 -179
 0
 154 180 -179
 0
 -154 180 179
 0
 154 -180 179
 0
 -138 -181 -180
 0
 138 181 -180
 0
 -138 181 180
 0
 138 -181 180
 0
 -140 -182 -181
 0
 140 182 -181
 0
 -140 182 181
 0
 140 -182 181
 0
 -146 -182 148
 0
 146 -182 -148
 0
 -146 182 -148
 0
 146 182 148
 0
 -132 -183 -26
 0
 132 183 -26
 0
 -132 183 26
 0
 132 -183 26
 0
 -154 -184 -183
 0
 154 184 -183
 0
 -154 184 183
 0
 154 -184 183
 0
 -142 -185 -184
 0
 142 185 -184
 0
 -142 185 184
 0
 142 -185 184
 0
 -148 -186 -185
 0
 148 186 -185
 0
 -148 186 185
 0
 148 -186 185
 0
 -150 -186 149
 0
 150 -186 -149
 0
 -150 186 -149
 0
 150 186 149
 0
 -126 -187 -30
 0
 126 187 -30
 0
 -126 187 30
 0
 126 -187 30
 0
 -132 -188 -187
 0
 132 188 -187
 0
 -132 188 187
 0
 132 -188 187
 0
 -134 -189 -188
 0
 134 189 -188
 0
 -134 189 188
 0
 134 -189 188
 0
 -136 -190 -189
 0
 136 190 -189
 0
 -136 190 189
 0
 136 -190 189
 0
 -154 -191 -190
 0
 154 191 -190
 0
 -154 191 190
 0
 154 -191 190
 0
 -144 -192 -191
 0
 144 192 -191
 0
 -144 192 191
 0
 144 -192 191
 0
 -148 -192 150
 0
 148 -192 -150
 0
 -148 192 -150
 0
 148 192 150
 0
 -126 -193 -34
 0
 126 193 -34
 0
 -126 193 34
 0
 126 -193 34
 0
 -128 -194 -193
 0
 128 194 -193
 0
 -128 194 193
 0
 128 -194 193
 0
 -167 -195 -194
 0
 167 195 -194
 0
 -167 195 194
 0
 167 -195 194
 0
 -130 -196 -195
 0
 130 196 -195
 0
 -130 196 195
 0
 130 -196 195
 0
 -134 -197 -196
 0
 134 197 -196
 0
 -134 197 196
 0
 134 -197 196
 0
 -138 -198 -197
 0
 138 198 -197
 0
 -138 198 197
 0
 138 -198 197
 0
 -140 -199 -198
 0
 140 199 -198
 0
 -140 199 198
 0
 140 -199 198
 0
 -142 -200 -199
 0
 142 200 -199
 0
 -142 200 199
 0
 142 -200 199
 0
 -148 -201 -200
 0
 148 201 -200
 0
 -148 201 200
 0
 148 -201 200
 0
 -150 -201 149
 0
 150 -201 -149
 0
 -150 201 -149
 0
 150 201 149
 0
 -126 -202 -38
 0
 126 202 -38
 0
 -126 202 38
 0
 126 -202 38
 0
 -134 -203 -202
 0
 134 203 -202
 0
 -134 203 202
 0
 134 -203 202
 0
 -154 -204 -203
 0
 154 204 -203
 0
 -154 204 203
 0
 154 -204 203
 0
 -140 -205 -204
 0
 140 205 -204
 0
 -140 205 204
 0
 140 -205 204
 0
 -142 -206 -205
 0
 142 206 -205
 0
 -142 206 205
 0
 142 -206 205
 0
 -146 -207 -206
 0
 146 207 -206
 0
 -146 207 206
 0
 146 -207 206
 0
 -148 -207 -150
 0
 148 -207 150
 0
 -148 207 150
 0
 148 207 -150
 0
 -128 -208 -42
 0
 128 208 -42
 0
 -128 208 42
 0
 128 -208 42
 0
 -130 -209 -208
 0
 130 209 -208
 0
 -130 209 208
 0
 130 -209 208
 0
 -132 -210 -209
 0
 132 210 -209
 0
 -132 210 209
 0
 132 -210 209
 0
 -136 -211 -210
 0
 136 211 -210
 0
 -136 211 210
 0
 136 -211 210
 0
 -138 -212 -211
 0
 138 212 -211
 0
 -138 212 211
 0
 138 -212 211
 0
 -142 -213 -212
 0
 142 213 -212
 0
 -142 213 212
 0
 142 -213 212
 0
 -144 -214 -213
 0
 144 214 -213
 0
 -144 214 213
 0
 144 -214 213
 0
 -146 -215 -214
 0
 146 215 -214
 0
 -146 215 214
 0
 146 -215 214
 0
 -148 -216 -215
 0
 148 216 -215
 0
 -148 216 215
 0
 148 -216 215
 0
 -150 -216 149
 0
 150 -216 -149
 0
 -150 216 -149
 0
 150 216 149
 0
 -128 -217 -46
 0
 128 217 -46
 0
 -128 217 46
 0
 128 -217 46
 0
 -167 -218 -217
 0
 167 218 -217
 0
 -167 218 217
 0
 167 -218 217
 0
 -130 -219 -218
 0
 130 219 -218
 0
 -130 219 218
 0
 130 -219 218
 0
 -132 -220 -219
 0
 132 220 -219
 0
 -132 220 219
 0
 132 -220 219
 0
 -136 -221 -220
 0
 136 221 -220
 0
 -136 221 220
 0
 136 -221 220
 0
 -148 -222 -221
 0
 148 222 -221
 0
 -148 222 221
 0
 148 -222 221
 0
 -150 -222 149
 0
 150 -222 -149
 0
 -150 222 -149
 0
 150 222 149
 0
 -126 -223 -50
 0
 126 223 -50
 0
 -126 223 50
 0
 126 -223 50
 0
 -128 -224 -223
 0
 128 224 -223
 0
 -128 224 223
 0
 128 -224 223
 0
 -167 -225 -224
 0
 167 225 -224
 0
 -167 225 224
 0
 167 -225 224
 0
 -130 -226 -225
 0
 130 226 -225
 0
 -130 226 225
 0
 130 -226 225
 0
 -134 -227 -226
 0
 134 227 -226
 0
 -134 227 226
 0
 134 -227 226
 0
 -136 -228 -227
 0
 136 228 -227
 0
 -136 228 227
 0
 136 -228 227
 0
 -144 -229 -228
 0
 144 229 -228
 0
 -144 229 228
 0
 144 -229 228
 0
 -148 -230 -229
 0
 148 230 -229
 0
 -148 230 229
 0
 148 -230 229
 0
 -150 -230 149
 0
 150 -230 -149
 0
 -150 230 -149
 0
 150 230 149
 0
 -167 -231 -54
 0
 167 231 -54
 0
 -167 231 54
 0
 167 -231 54
 0
 -130 -232 -231
 0
 130 232 -231
 0
 -130 232 231
 0
 130 -232 231
 0
 -132 -233 -232
 0
 132 233 -232
 0
 -132 233 232
 0
 132 -233 232
 0
 -134 -234 -233
 0
 134 234 -233
 0
 -134 234 233
 0
 134 -234 233
 0
 -136 -235 -234
 0
 136 235 -234
 0
 -136 235 234
 0
 136 -235 234
 0
 -154 -236 -235
 0
 154 236 -235
 0
 -154 236 235
 0
 154 -236 235
 0
 -138 -237 -236
 0
 138 237 -236
 0
 -138 237 236
 0
 138 -237 236
 0
 -140 -238 -237
 0
 140 238 -237
 0
 -140 238 237
 0
 140 -238 237
 0
 -144 -150 -238
 0
 144 150 -238
 0
 -144 150 238
 0
 144 -150 238
 0
 -128 -239 -58
 0
 128 239 -58
 0
 -128 239 58
 0
 128 -239 58
 0
 -167 -240 -239
 0
 167 240 -239
 0
 -167 240 239
 0
 167 -240 239
 0
 -134 -150 -240
 0
 134 150 -240
 0
 -134 150 240
 0
 134 -150 240
 0
 -128 -241 -62
 0
 128 241 -62
 0
 -128 241 62
 0
 128 -241 62
 0
 -130 -242 -241
 0
 130 242 -241
 0
 -130 242 241
 0
 130 -242 241
 0
 -132 -243 -242
 0
 132 243 -242
 0
 -132 243 242
 0
 132 -243 242
 0
 -134 -244 -243
 0
 134 244 -243
 0
 -134 244 243
 0
 134 -244 243
 0
 -148 -149 -244
 0
 148 149 -244
 0
 -148 149 244
 0
 148 -149 244
 0
 -126 -245 -66
 0
 126 245 -66
 0
 -126 245 66
 0
 126 -245 66
 0
 -167 -246 -245
 0
 167 246 -245
 0
 -167 246 245
 0
 167 -246 245
 0
 -130 -247 -246
 0
 130 247 -246
 0
 -130 247 246
 0
 130 -247 246
 0
 -136 -248 -247
 0
 136 248 -247
 0
 -136 248 247
 0
 136 -248 247
 0
 -140 -249 -248
 0
 140 249 -248
 0
 -140 249 248
 0
 140 -249 248
 0
 -142 -250 -249
 0
 142 250 -249
 0
 -142 250 249
 0
 142 -250 249
 0
 -150 -149 -250
 0
 150 149 -250
 0
 -150 149 250
 0
 150 -149 250
 0
 -128 -251 -70
 0
 128 251 -70
 0
 -128 251 70
 0
 128 -251 70
 0
 -136 -252 -251
 0
 136 252 -251
 0
 -136 252 251
 0
 136 -252 251
 0
 -144 -253 -252
 0
 144 253 -252
 0
 -144 253 252
 0
 144 -253 252
 0
 -146 -253 -150
 0
 146 -253 150
 0
 -146 253 150
 0
 146 253 -150
 0
 -130 -254 -74
 0
 130 254 -74
 0
 -130 254 74
 0
 130 -254 74
 0
 -132 -255 -254
 0
 132 255 -254
 0
 -132 255 254
 0
 132 -255 254
 0
 -134 -256 -255
 0
 134 256 -255
 0
 -134 256 255
 0
 134 -256 255
 0
 -138 -257 -256
 0
 138 257 -256
 0
 -138 257 256
 0
 138 -257 256
 0
 -140 -258 -257
 0
 140 258 -257
 0
 -140 258 257
 0
 140 -258 257
 0
 -142 -259 -258
 0
 142 259 -258
 0
 -142 259 258
 0
 142 -259 258
 0
 -146 -148 -259
 0
 146 148 -259
 0
 -146 148 259
 0
 146 -148 259
 0
 -134 -260 -78
 0
 134 260 -78
 0
 -134 260 78
 0
 134 -260 78
 0
 -138 -261 -260
 0
 138 261 -260
 0
 -138 261 260
 0
 138 -261 260
 0
 -142 -262 -261
 0
 142 262 -261
 0
 -142 262 261
 0
 142 -262 261
 0
 -144 -263 -262
 0
 144 263 -262
 0
 -144 263 262
 0
 144 -263 262
 0
 -150 -263 149
 0
 150 -263 -149
 0
 -150 263 -149
 0
 150 263 149
 0
 -126 -264 -82
 0
 126 264 -82
 0
 -126 264 82
 0
 126 -264 82
 0
 -128 -265 -264
 0
 128 265 -264
 0
 -128 265 264
 0
 128 -265 264
 0
 -130 -266 -265
 0
 130 266 -265
 0
 -130 266 265
 0
 130 -266 265
 0
 -136 -267 -266
 0
 136 267 -266
 0
 -136 267 266
 0
 136 -267 266
 0
 -140 -268 -267
 0
 140 268 -267
 0
 -140 268 267
 0
 140 -268 267
 0
 -142 -269 -268
 0
 142 269 -268
 0
 -142 269 268
 0
 142 -269 268
 0
 -144 -269 150
 0
 144 -269 -150
 0
 -144 269 -150
 0
 144 269 150
 0
 -126 -270 -86
 0
 126 270 -86
 0
 -126 270 86
 0
 126 -270 86
 0
 -128 -271 -270
 0
 128 271 -270
 0
 -128 271 270
 0
 128 -271 270
 0
 -167 -272 -271
 0
 167 272 -271
 0
 -167 272 271
 0
 167 -272 271
 0
 -130 -273 -272
 0
 130 273 -272
 0
 -130 273 272
 0
 130 -273 272
 0
 -136 -274 -273
 0
 136 274 -273
 0
 -136 274 273
 0
 136 -274 273
 0
 -154 -275 -274
 0
 154 275 -274
 0
 -154 275 274
 0
 154 -275 274
 0
 -138 -276 -275
 0
 138 276 -275
 0
 -138 276 275
 0
 138 -276 275
 0
 -140 -277 -276
 0
 140 277 -276
 0
 -140 277 276
 0
 140 -277 276
 0
 -142 -278 -277
 0
 142 278 -277
 0
 -142 278 277
 0
 142 -278 277
 0
 -144 -278 149
 0
 144 -278 -149
 0
 -144 278 -149
 0
 144 278 149
 0
 -126 -279 -90
 0
 126 279 -90
 0
 -126 279 90
 0
 126 -279 90
 0
 -128 -280 -279
 0
 128 280 -279
 0
 -128 280 279
 0
 128 -280 279
 0
 -132 -281 -280
 0
 132 281 -280
 0
 -132 281 280
 0
 132 -281 280
 0
 -134 -282 -281
 0
 134 282 -281
 0
 -134 282 281
 0
 134 -282 281
 0
 -138 -283 -282
 0
 138 283 -282
 0
 -138 283 282
 0
 138 -283 282
 0
 -140 -284 -283
 0
 140 284 -283
 0
 -140 284 283
 0
 140 -284 283
 0
 -144 -285 -284
 0
 144 285 -284
 0
 -144 285 284
 0
 144 -285 284
 0
 -146 -286 -285
 0
 146 286 -285
 0
 -146 286 285
 0
 146 -286 285
 0
 -148 -286 149
 0
 148 -286 -149
 0
 -148 286 -149
 0
 148 286 149
 0
 -126 -287 -94
 0
 126 287 -94
 0
 -126 287 94
 0
 126 -287 94
 0
 -167 -288 -287
 0
 167 288 -287
 0
 -167 288 287
 0
 167 -288 287
 0
 -136 -289 -288
 0
 136 289 -288
 0
 -136 289 288
 0
 136 -289 288
 0
 -154 -290 -289
 0
 154 290 -289
 0
 -154 290 289
 0
 154 -290 289
 0
 -138 -291 -290
 0
 138 291 -290
 0
 -138 291 290
 0
 138 -291 290
 0
 -140 -292 -291
 0
 140 292 -291
 0
 -140 292 291
 0
 140 -292 291
 0
 -142 -292 -146
 0
 142 -292 146
 0
 -142 292 146
 0
 142 292 -146
 0
 -126 -293 -98
 0
 126 293 -98
 0
 -126 293 98
 0
 126 -293 98
 0
 -128 -294 -293
 0
 128 294 -293
 0
 -128 294 293
 0
 128 -294 293
 0
 -167 -295 -294
 0
 167 295 -294
 0
 -167 295 294
 0
 167 -295 294
 0
 -136 -296 -295
 0
 136 296 -295
 0
 -136 296 295
 0
 136 -296 295
 0
 -154 -297 -296
 0
 154 297 -296
 0
 -154 297 296
 0
 154 -297 296
 0
 -140 -298 -297
 0
 140 298 -297
 0
 -140 298 297
 0
 140 -298 297
 0
 -142 -299 -298
 0
 142 299 -298
 0
 -142 299 298
 0
 142 -299 298
 0
 -144 -299 148
 0
 144 -299 -148
 0
 -144 299 -148
 0
 144 299 148
 0
 -126 -300 -102
 0
 126 300 -102
 0
 -126 300 102
 0
 126 -300 102
 0
 -128 -301 -300
 0
 128 301 -300
 0
 -128 301 300
 0
 128 -301 300
 0
 -167 -302 -301
 0
 167 302 -301
 0
 -167 302 301
 0
 167 -302 301
 0
 -130 -303 -302
 0
 130 303 -302
 0
 -130 303 302
 0
 130 -303 302
 0
 -138 -304 -303
 0
 138 304 -303
 0
 -138 304 303
 0
 138 -304 303
 0
 -142 -304 148
 0
 142 -304 -148
 0
 -142 304 -148
 0
 142 304 148
 0
 -126 -305 -106
 0
 126 305 -106
 0
 -126 305 106
 0
 126 -305 106
 0
 -128 -306 -305
 0
 128 306 -305
 0
 -128 306 305
 0
 128 -306 305
 0
 -167 -307 -306
 0
 167 307 -306
 0
 -167 307 306
 0
 167 -307 306
 0
 -134 -308 -307
 0
 134 308 -307
 0
 -134 308 307
 0
 134 -308 307
 0
 -136 -309 -308
 0
 136 309 -308
 0
 -136 309 308
 0
 136 -309 308
 0
 -140 -310 -309
 0
 140 310 -309
 0
 -140 310 309
 0
 140 -310 309
 0
 -150 -310 149
 0
 150 -310 -149
 0
 -150 310 -149
 0
 150 310 149
 0
 -130 -311 -110
 0
 130 311 -110
 0
 -130 311 110
 0
 130 -311 110
 0
 -132 -312 -311
 0
 132 312 -311
 0
 -132 312 311
 0
 132 -312 311
 0
 -134 -313 -312
 0
 134 313 -312
 0
 -134 313 312
 0
 134 -313 312
 0
 -138 -314 -313
 0
 138 314 -313
 0
 -138 314 313
 0
 138 -314 313
 0
 -146 -315 -314
 0
 146 315 -314
 0
 -146 315 314
 0
 146 -315 314
 0
 -150 -315 149
 0
 150 -315 -149
 0
 -150 315 -149
 0
 150 315 149
 0
 -126 -316 -114
 0
 126 316 -114
 0
 -126 316 114
 0
 126 -316 114
 0
 -130 -317 -316
 0
 130 317 -316
 0
 -130 317 316
 0
 130 -317 316
 0
 -132 -318 -317
 0
 132 318 -317
 0
 -132 318 317
 0
 132 -318 317
 0
 -136 -319 -318
 0
 136 319 -318
 0
 -136 319 318
 0
 136 -319 318
 0
 -154 -320 -319
 0
 154 320 -319
 0
 -154 320 319
 0
 154 -320 319
 0
 -144 -321 -320
 0
 144 321 -320
 0
 -144 321 320
 0
 144 -321 320
 0
 -148 -150 -321
 0
 148 150 -321
 0
 -148 150 321
 0
 148 -150 321
 0
 -126 -322 -118
 0
 126 322 -118
 0
 -126 322 118
 0
 126 -322 118
 0
 -128 -323 -322
 0
 128 323 -322
 0
 -128 323 322
 0
 128 -323 322
 0
 -132 -324 -323
 0
 132 324 -323
 0
 -132 324 323
 0
 132 -324 323
 0
 -134 -325 -324
 0
 134 325 -324
 0
 -134 325 324
 0
 134 -325 324
 0
 -154 -326 -325
 0
 154 326 -325
 0
 -154 326 325
 0
 154 -326 325
 0
 -144 -327 -326
 0
 144 327 -326
 0
 -144 327 326
 0
 144 -327 326
 0
 -146 -328 -327
 0
 146 328 -327
 0
 -146 328 327
 0
 146 -328 327
 0
 -150 -328 149
 0
 150 -328 -149
 0
 -150 328 -149
 0
 150 328 149
 0
 -126 -329 -122
 0
 126 329 -122
 0
 -126 329 122
 0
 126 -329 122
 0
 -128 -330 -329
 0
 128 330 -329
 0
 -128 330 329
 0
 128 -330 329
 0
 -167 -331 -330
 0
 167 331 -330
 0
 -167 331 330
 0
 167 -331 330
 0
 -130 -332 -331
 0
 130 332 -331
 0
 -130 332 331
 0
 130 -332 331
 0
 -132 -333 -332
 0
 132 333 -332
 0
 -132 333 332
 0
 132 -333 332
 0
 -134 -334 -333
 0
 134 334 -333
 0
 -134 334 333
 0
 134 -334 333
 0
 -154 -335 -334
 0
 154 335 -334
 0
 -154 335 334
 0
 154 -335 334
 0
 -138 -336 -335
 0
 138 336 -335
 0
 -138 336 335
 0
 138 -336 335
 0
 -140 -337 -336
 0
 140 337 -336
 0
 -140 337 336
 0
 140 -337 336
 0
 -144 -338 -337
 0
 144 338 -337
 0
 -144 338 337
 0
 144 -338 337
 0
 -146 -339 -338
 0
 146 339 -338
 0
 -146 339 338
 0
 146 -339 338
 0
 -148 -340 -339
 0
 148 340 -339
 0
 -148 340 339
 0
 148 -340 339
 0
 -150 -340 -149
 0
 150 -340 149
 0
 -150 340 149
 0
 150 340 -149
 0
 -128 -341 -124
 0
 128 341 -124
 0
 -128 341 124
 0
 128 -341 124
 0
 -130 -342 -341
 0
 130 342 -341
 0
 -130 342 341
 0
 130 -342 341
 0
 -134 -343 -342
 0
 134 343 -342
 0
 -134 343 342
 0
 134 -343 342
 0
 -136 -343 -148
 0
 136 -343 148
 0
 -136 343 148
 0
 136 343 -148
 0
 -126 -344 -123
 0
 126 344 -123
 0
 -126 344 123
 0
 126 -344 123
 0
 -167 -345 -344
 0
 167 345 -344
 0
 -167 345 344
 0
 167 -345 344
 0
 -130 -346 -345
 0
 130 346 -345
 0
 -130 346 345
 0
 130 -346 345
 0
 -132 -347 -346
 0
 132 347 -346
 0
 -132 347 346
 0
 132 -347 346
 0
 -136 -348 -347
 0
 136 348 -347
 0
 -136 348 347
 0
 136 -348 347
 0
 -138 -349 -348
 0
 138 349 -348
 0
 -138 349 348
 0
 138 -349 348
 0
 -142 -148 -349
 0
 142 148 -349
 0
 -142 148 349
 0
 142 -148 349
 0