c FILE:  par16-5.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:50:13 EDT 1993
p cnf 1015 3358

 1
 0
 2 -1
 0
 -2 1
 0
 3 -2
 0
 -3 2
 0
 547 -3 4
 0
 -547 3 4
 0
 547 3 -4
 0
 -547 -3 -4
 0
 5 -4
 0
 -5 4
 0
 6 -5
 0
 -6 5
 0
 550 -6 7
 0
 -550 6 7
 0
 550 6 -7
 0
 -550 -6 -7
 0
 8 -7
 0
 -8 7
 0
 9 -8
 0
 -9 8
 0
 553 -9 10
 0
 -553 9 10
 0
 553 9 -10
 0
 -553 -9 -10
 0
 554 -10 11
 0
 -554 10 11
 0
 554 10 -11
 0
 -554 -10 -11
 0
 12 -11
 0
 -12 11
 0
 13 -12
 0
 -13 12
 0
 14 -13
 0
 -14 13
 0
 558 -14 15
 0
 -558 14 15
 0
 558 14 -15
 0
 -558 -14 -15
 0
 16 -15
 0
 -16 15
 0
 560 -16 17
 0
 -560 16 17
 0
 560 16 -17
 0
 -560 -16 -17
 0
 -18
 0
 545 -18 19
 0
 -545 18 19
 0
 545 18 -19
 0
 -545 -18 -19
 0
 546 -19 20
 0
 -546 19 20
 0
 546 19 -20
 0
 -546 -19 -20
 0
 21 -20
 0
 -21 20
 0
 548 -21 22
 0
 -548 21 22
 0
 548 21 -22
 0
 -548 -21 -22
 0
 549 -22 23
 0
 -549 22 23
 0
 549 22 -23
 0
 -549 -22 -23
 0
 550 -23 24
 0
 -550 23 24
 0
 550 23 -24
 0
 -550 -23 -24
 0
 551 -24 25
 0
 -551 24 25
 0
 551 24 -25
 0
 -551 -24 -25
 0
 26 -25
 0
 -26 25
 0
 27 -26
 0
 -27 26
 0
 554 -27 28
 0
 -554 27 28
 0
 554 27 -28
 0
 -554 -27 -28
 0
 555 -28 29
 0
 -555 28 29
 0
 555 28 -29
 0
 -555 -28 -29
 0
 30 -29
 0
 -30 29
 0
 557 -30 31
 0
 -557 30 31
 0
 557 30 -31
 0
 -557 -30 -31
 0
 32 -31
 0
 -32 31
 0
 559 -32 33
 0
 -559 32 33
 0
 559 32 -33
 0
 -559 -32 -33
 0
 560 -33 34
 0
 -560 33 34
 0
 560 33 -34
 0
 -560 -33 -34
 0
 35
 0
 545 -35 36
 0
 -545 35 36
 0
 545 35 -36
 0
 -545 -35 -36
 0
 37 -36
 0
 -37 36
 0
 38 -37
 0
 -38 37
 0
 39 -38
 0
 -39 38
 0
 40 -39
 0
 -40 39
 0
 550 -40 41
 0
 -550 40 41
 0
 550 40 -41
 0
 -550 -40 -41
 0
 42 -41
 0
 -42 41
 0
 43 -42
 0
 -43 42
 0
 553 -43 44
 0
 -553 43 44
 0
 553 43 -44
 0
 -553 -43 -44
 0
 45 -44
 0
 -45 44
 0
 555 -45 46
 0
 -555 45 46
 0
 555 45 -46
 0
 -555 -45 -46
 0
 556 -46 47
 0
 -556 46 47
 0
 556 46 -47
 0
 -556 -46 -47
 0
 557 -47 48
 0
 -557 47 48
 0
 557 47 -48
 0
 -557 -47 -48
 0
 49 -48
 0
 -49 48
 0
 50 -49
 0
 -50 49
 0
 51 -50
 0
 -51 50
 0
 -52
 0
 545 -52 53
 0
 -545 52 53
 0
 545 52 -53
 0
 -545 -52 -53
 0
 54 -53
 0
 -54 53
 0
 55 -54
 0
 -55 54
 0
 56 -55
 0
 -56 55
 0
 57 -56
 0
 -57 56
 0
 550 -57 58
 0
 -550 57 58
 0
 550 57 -58
 0
 -550 -57 -58
 0
 551 -58 59
 0
 -551 58 59
 0
 551 58 -59
 0
 -551 -58 -59
 0
 552 -59 60
 0
 -552 59 60
 0
 552 59 -60
 0
 -552 -59 -60
 0
 553 -60 61
 0
 -553 60 61
 0
 553 60 -61
 0
 -553 -60 -61
 0
 62 -61
 0
 -62 61
 0
 555 -62 63
 0
 -555 62 63
 0
 555 62 -63
 0
 -555 -62 -63
 0
 556 -63 64
 0
 -556 63 64
 0
 556 63 -64
 0
 -556 -63 -64
 0
 65 -64
 0
 -65 64
 0
 66 -65
 0
 -66 65
 0
 559 -66 67
 0
 -559 66 67
 0
 559 66 -67
 0
 -559 -66 -67
 0
 560 -67 68
 0
 -560 67 68
 0
 560 67 -68
 0
 -560 -67 -68
 0
 69
 0
 70 -69
 0
 -70 69
 0
 71 -70
 0
 -71 70
 0
 72 -71
 0
 -72 71
 0
 548 -72 73
 0
 -548 72 73
 0
 548 72 -73
 0
 -548 -72 -73
 0
 549 -73 74
 0
 -549 73 74
 0
 549 73 -74
 0
 -549 -73 -74
 0
 550 -74 75
 0
 -550 74 75
 0
 550 74 -75
 0
 -550 -74 -75
 0
 551 -75 76
 0
 -551 75 76
 0
 551 75 -76
 0
 -551 -75 -76
 0
 552 -76 77
 0
 -552 76 77
 0
 552 76 -77
 0
 -552 -76 -77
 0
 78 -77
 0
 -78 77
 0
 554 -78 79
 0
 -554 78 79
 0
 554 78 -79
 0
 -554 -78 -79
 0
 555 -79 80
 0
 -555 79 80
 0
 555 79 -80
 0
 -555 -79 -80
 0
 81 -80
 0
 -81 80
 0
 557 -81 82
 0
 -557 81 82
 0
 557 81 -82
 0
 -557 -81 -82
 0
 558 -82 83
 0
 -558 82 83
 0
 558 82 -83
 0
 -558 -82 -83
 0
 559 -83 84
 0
 -559 83 84
 0
 559 83 -84
 0
 -559 -83 -84
 0
 85 -84
 0
 -85 84
 0
 -86
 0
 87 -86
 0
 -87 86
 0
 88 -87
 0
 -88 87
 0
 547 -88 89
 0
 -547 88 89
 0
 547 88 -89
 0
 -547 -88 -89
 0
 548 -89 90
 0
 -548 89 90
 0
 548 89 -90
 0
 -548 -89 -90
 0
 549 -90 91
 0
 -549 90 91
 0
 549 90 -91
 0
 -549 -90 -91
 0
 550 -91 92
 0
 -550 91 92
 0
 550 91 -92
 0
 -550 -91 -92
 0
 93 -92
 0
 -93 92
 0
 552 -93 94
 0
 -552 93 94
 0
 552 93 -94
 0
 -552 -93 -94
 0
 95 -94
 0
 -95 94
 0
 96 -95
 0
 -96 95
 0
 555 -96 97
 0
 -555 96 97
 0
 555 96 -97
 0
 -555 -96 -97
 0
 98 -97
 0
 -98 97
 0
 557 -98 99
 0
 -557 98 99
 0
 557 98 -99
 0
 -557 -98 -99
 0
 558 -99 100
 0
 -558 99 100
 0
 558 99 -100
 0
 -558 -99 -100
 0
 101 -100
 0
 -101 100
 0
 560 -101 102
 0
 -560 101 102
 0
 560 101 -102
 0
 -560 -101 -102
 0
 103
 0
 545 -103 104
 0
 -545 103 104
 0
 545 103 -104
 0
 -545 -103 -104
 0
 546 -104 105
 0
 -546 104 105
 0
 546 104 -105
 0
 -546 -104 -105
 0
 547 -105 106
 0
 -547 105 106
 0
 547 105 -106
 0
 -547 -105 -106
 0
 548 -106 107
 0
 -548 106 107
 0
 548 106 -107
 0
 -548 -106 -107
 0
 549 -107 108
 0
 -549 107 108
 0
 549 107 -108
 0
 -549 -107 -108
 0
 109 -108
 0
 -109 108
 0
 551 -109 110
 0
 -551 109 110
 0
 551 109 -110
 0
 -551 -109 -110
 0
 111 -110
 0
 -111 110
 0
 553 -111 112
 0
 -553 111 112
 0
 553 111 -112
 0
 -553 -111 -112
 0
 554 -112 113
 0
 -554 112 113
 0
 554 112 -113
 0
 -554 -112 -113
 0
 555 -113 114
 0
 -555 113 114
 0
 555 113 -114
 0
 -555 -113 -114
 0
 115 -114
 0
 -115 114
 0
 116 -115
 0
 -116 115
 0
 117 -116
 0
 -117 116
 0
 559 -117 118
 0
 -559 117 118
 0
 559 117 -118
 0
 -559 -117 -118
 0
 560 -118 119
 0
 -560 118 119
 0
 560 118 -119
 0
 -560 -118 -119
 0
 -120
 0
 545 -120 121
 0
 -545 120 121
 0
 545 120 -121
 0
 -545 -120 -121
 0
 122 -121
 0
 -122 121
 0
 123 -122
 0
 -123 122
 0
 548 -123 124
 0
 -548 123 124
 0
 548 123 -124
 0
 -548 -123 -124
 0
 125 -124
 0
 -125 124
 0
 550 -125 126
 0
 -550 125 126
 0
 550 125 -126
 0
 -550 -125 -126
 0
 127 -126
 0
 -127 126
 0
 552 -127 128
 0
 -552 127 128
 0
 552 127 -128
 0
 -552 -127 -128
 0
 553 -128 129
 0
 -553 128 129
 0
 553 128 -129
 0
 -553 -128 -129
 0
 554 -129 130
 0
 -554 129 130
 0
 554 129 -130
 0
 -554 -129 -130
 0
 555 -130 131
 0
 -555 130 131
 0
 555 130 -131
 0
 -555 -130 -131
 0
 132 -131
 0
 -132 131
 0
 557 -132 133
 0
 -557 132 133
 0
 557 132 -133
 0
 -557 -132 -133
 0
 558 -133 134
 0
 -558 133 134
 0
 558 133 -134
 0
 -558 -133 -134
 0
 135 -134
 0
 -135 134
 0
 560 -135 136
 0
 -560 135 136
 0
 560 135 -136
 0
 -560 -135 -136
 0
 -137
 0
 138 -137
 0
 -138 137
 0
 546 -138 139
 0
 -546 138 139
 0
 546 138 -139
 0
 -546 -138 -139
 0
 140 -139
 0
 -140 139
 0
 548 -140 141
 0
 -548 140 141
 0
 548 140 -141
 0
 -548 -140 -141
 0
 549 -141 142
 0
 -549 141 142
 0
 549 141 -142
 0
 -549 -141 -142
 0
 143 -142
 0
 -143 142
 0
 144 -143
 0
 -144 143
 0
 552 -144 145
 0
 -552 144 145
 0
 552 144 -145
 0
 -552 -144 -145
 0
 146 -145
 0
 -146 145
 0
 147 -146
 0
 -147 146
 0
 555 -147 148
 0
 -555 147 148
 0
 555 147 -148
 0
 -555 -147 -148
 0
 556 -148 149
 0
 -556 148 149
 0
 556 148 -149
 0
 -556 -148 -149
 0
 150 -149
 0
 -150 149
 0
 151 -150
 0
 -151 150
 0
 559 -151 152
 0
 -559 151 152
 0
 559 151 -152
 0
 -559 -151 -152
 0
 560 -152 153
 0
 -560 152 153
 0
 560 152 -153
 0
 -560 -152 -153
 0
 154
 0
 155 -154
 0
 -155 154
 0
 156 -155
 0
 -156 155
 0
 547 -156 157
 0
 -547 156 157
 0
 547 156 -157
 0
 -547 -156 -157
 0
 158 -157
 0
 -158 157
 0
 549 -158 159
 0
 -549 158 159
 0
 549 158 -159
 0
 -549 -158 -159
 0
 550 -159 160
 0
 -550 159 160
 0
 550 159 -160
 0
 -550 -159 -160
 0
 161 -160
 0
 -161 160
 0
 162 -161
 0
 -162 161
 0
 163 -162
 0
 -163 162
 0
 554 -163 164
 0
 -554 163 164
 0
 554 163 -164
 0
 -554 -163 -164
 0
 555 -164 165
 0
 -555 164 165
 0
 555 164 -165
 0
 -555 -164 -165
 0
 556 -165 166
 0
 -556 165 166
 0
 556 165 -166
 0
 -556 -165 -166
 0
 557 -166 167
 0
 -557 166 167
 0
 557 166 -167
 0
 -557 -166 -167
 0
 558 -167 168
 0
 -558 167 168
 0
 558 167 -168
 0
 -558 -167 -168
 0
 169 -168
 0
 -169 168
 0
 560 -169 170
 0
 -560 169 170
 0
 560 169 -170
 0
 -560 -169 -170
 0
 -171
 0
 172 -171
 0
 -172 171
 0
 546 -172 173
 0
 -546 172 173
 0
 546 172 -173
 0
 -546 -172 -173
 0
 174 -173
 0
 -174 173
 0
 548 -174 175
 0
 -548 174 175
 0
 548 174 -175
 0
 -548 -174 -175
 0
 549 -175 176
 0
 -549 175 176
 0
 549 175 -176
 0
 -549 -175 -176
 0
 177 -176
 0
 -177 176
 0
 551 -177 178
 0
 -551 177 178
 0
 551 177 -178
 0
 -551 -177 -178
 0
 179 -178
 0
 -179 178
 0
 553 -179 180
 0
 -553 179 180
 0
 553 179 -180
 0
 -553 -179 -180
 0
 554 -180 181
 0
 -554 180 181
 0
 554 180 -181
 0
 -554 -180 -181
 0
 555 -181 182
 0
 -555 181 182
 0
 555 181 -182
 0
 -555 -181 -182
 0
 556 -182 183
 0
 -556 182 183
 0
 556 182 -183
 0
 -556 -182 -183
 0
 184 -183
 0
 -184 183
 0
 185 -184
 0
 -185 184
 0
 559 -185 186
 0
 -559 185 186
 0
 559 185 -186
 0
 -559 -185 -186
 0
 560 -186 187
 0
 -560 186 187
 0
 560 186 -187
 0
 -560 -186 -187
 0
 188
 0
 189 -188
 0
 -189 188
 0
 190 -189
 0
 -190 189
 0
 191 -190
 0
 -191 190
 0
 192 -191
 0
 -192 191
 0
 549 -192 193
 0
 -549 192 193
 0
 549 192 -193
 0
 -549 -192 -193
 0
 550 -193 194
 0
 -550 193 194
 0
 550 193 -194
 0
 -550 -193 -194
 0
 551 -194 195
 0
 -551 194 195
 0
 551 194 -195
 0
 -551 -194 -195
 0
 552 -195 196
 0
 -552 195 196
 0
 552 195 -196
 0
 -552 -195 -196
 0
 197 -196
 0
 -197 196
 0
 554 -197 198
 0
 -554 197 198
 0
 554 197 -198
 0
 -554 -197 -198
 0
 555 -198 199
 0
 -555 198 199
 0
 555 198 -199
 0
 -555 -198 -199
 0
 556 -199 200
 0
 -556 199 200
 0
 556 199 -200
 0
 -556 -199 -200
 0
 201 -200
 0
 -201 200
 0
 558 -201 202
 0
 -558 201 202
 0
 558 201 -202
 0
 -558 -201 -202
 0
 203 -202
 0
 -203 202
 0
 560 -203 204
 0
 -560 203 204
 0
 560 203 -204
 0
 -560 -203 -204
 0
 -205
 0
 545 -205 206
 0
 -545 205 206
 0
 545 205 -206
 0
 -545 -205 -206
 0
 207 -206
 0
 -207 206
 0
 547 -207 208
 0
 -547 207 208
 0
 547 207 -208
 0
 -547 -207 -208
 0
 209 -208
 0
 -209 208
 0
 210 -209
 0
 -210 209
 0
 211 -210
 0
 -211 210
 0
 212 -211
 0
 -212 211
 0
 552 -212 213
 0
 -552 212 213
 0
 552 212 -213
 0
 -552 -212 -213
 0
 553 -213 214
 0
 -553 213 214
 0
 553 213 -214
 0
 -553 -213 -214
 0
 215 -214
 0
 -215 214
 0
 216 -215
 0
 -216 215
 0
 556 -216 217
 0
 -556 216 217
 0
 556 216 -217
 0
 -556 -216 -217
 0
 557 -217 218
 0
 -557 217 218
 0
 557 217 -218
 0
 -557 -217 -218
 0
 558 -218 219
 0
 -558 218 219
 0
 558 218 -219
 0
 -558 -218 -219
 0
 559 -219 220
 0
 -559 219 220
 0
 559 219 -220
 0
 -559 -219 -220
 0
 221 -220
 0
 -221 220
 0
 -222
 0
 223 -222
 0
 -223 222
 0
 224 -223
 0
 -224 223
 0
 547 -224 225
 0
 -547 224 225
 0
 547 224 -225
 0
 -547 -224 -225
 0
 548 -225 226
 0
 -548 225 226
 0
 548 225 -226
 0
 -548 -225 -226
 0
 549 -226 227
 0
 -549 226 227
 0
 549 226 -227
 0
 -549 -226 -227
 0
 228 -227
 0
 -228 227
 0
 551 -228 229
 0
 -551 228 229
 0
 551 228 -229
 0
 -551 -228 -229
 0
 552 -229 230
 0
 -552 229 230
 0
 552 229 -230
 0
 -552 -229 -230
 0
 553 -230 231
 0
 -553 230 231
 0
 553 230 -231
 0
 -553 -230 -231
 0
 232 -231
 0
 -232 231
 0
 555 -232 233
 0
 -555 232 233
 0
 555 232 -233
 0
 -555 -232 -233
 0
 556 -233 234
 0
 -556 233 234
 0
 556 233 -234
 0
 -556 -233 -234
 0
 557 -234 235
 0
 -557 234 235
 0
 557 234 -235
 0
 -557 -234 -235
 0
 558 -235 236
 0
 -558 235 236
 0
 558 235 -236
 0
 -558 -235 -236
 0
 559 -236 237
 0
 -559 236 237
 0
 559 236 -237
 0
 -559 -236 -237
 0
 238 -237
 0
 -238 237
 0
 239
 0
 545 -239 240
 0
 -545 239 240
 0
 545 239 -240
 0
 -545 -239 -240
 0
 241 -240
 0
 -241 240
 0
 242 -241
 0
 -242 241
 0
 243 -242
 0
 -243 242
 0
 549 -243 244
 0
 -549 243 244
 0
 549 243 -244
 0
 -549 -243 -244
 0
 550 -244 245
 0
 -550 244 245
 0
 550 244 -245
 0
 -550 -244 -245
 0
 246 -245
 0
 -246 245
 0
 247 -246
 0
 -247 246
 0
 553 -247 248
 0
 -553 247 248
 0
 553 247 -248
 0
 -553 -247 -248
 0
 554 -248 249
 0
 -554 248 249
 0
 554 248 -249
 0
 -554 -248 -249
 0
 555 -249 250
 0
 -555 249 250
 0
 555 249 -250
 0
 -555 -249 -250
 0
 556 -250 251
 0
 -556 250 251
 0
 556 250 -251
 0
 -556 -250 -251
 0
 252 -251
 0
 -252 251
 0
 558 -252 253
 0
 -558 252 253
 0
 558 252 -253
 0
 -558 -252 -253
 0
 254 -253
 0
 -254 253
 0
 255 -254
 0
 -255 254
 0
 -256
 0
 545 -256 257
 0
 -545 256 257
 0
 545 256 -257
 0
 -545 -256 -257
 0
 258 -257
 0
 -258 257
 0
 547 -258 259
 0
 -547 258 259
 0
 547 258 -259
 0
 -547 -258 -259
 0
 548 -259 260
 0
 -548 259 260
 0
 548 259 -260
 0
 -548 -259 -260
 0
 261 -260
 0
 -261 260
 0
 262 -261
 0
 -262 261
 0
 551 -262 263
 0
 -551 262 263
 0
 551 262 -263
 0
 -551 -262 -263
 0
 264 -263
 0
 -264 263
 0
 553 -264 265
 0
 -553 264 265
 0
 553 264 -265
 0
 -553 -264 -265
 0
 266 -265
 0
 -266 265
 0
 555 -266 267
 0
 -555 266 267
 0
 555 266 -267
 0
 -555 -266 -267
 0
 556 -267 268
 0
 -556 267 268
 0
 556 267 -268
 0
 -556 -267 -268
 0
 557 -268 269
 0
 -557 268 269
 0
 557 268 -269
 0
 -557 -268 -269
 0
 270 -269
 0
 -270 269
 0
 559 -270 271
 0
 -559 270 271
 0
 559 270 -271
 0
 -559 -270 -271
 0
 272 -271
 0
 -272 271
 0
 -273
 0
 545 -273 274
 0
 -545 273 274
 0
 545 273 -274
 0
 -545 -273 -274
 0
 275 -274
 0
 -275 274
 0
 547 -275 276
 0
 -547 275 276
 0
 547 275 -276
 0
 -547 -275 -276
 0
 548 -276 277
 0
 -548 276 277
 0
 548 276 -277
 0
 -548 -276 -277
 0
 549 -277 278
 0
 -549 277 278
 0
 549 277 -278
 0
 -549 -277 -278
 0
 279 -278
 0
 -279 278
 0
 280 -279
 0
 -280 279
 0
 281 -280
 0
 -281 280
 0
 553 -281 282
 0
 -553 281 282
 0
 553 281 -282
 0
 -553 -281 -282
 0
 283 -282
 0
 -283 282
 0
 284 -283
 0
 -284 283
 0
 556 -284 285
 0
 -556 284 285
 0
 556 284 -285
 0
 -556 -284 -285
 0
 286 -285
 0
 -286 285
 0
 558 -286 287
 0
 -558 286 287
 0
 558 286 -287
 0
 -558 -286 -287
 0
 288 -287
 0
 -288 287
 0
 289 -288
 0
 -289 288
 0
 -290
 0
 545 -290 291
 0
 -545 290 291
 0
 545 290 -291
 0
 -545 -290 -291
 0
 292 -291
 0
 -292 291
 0
 293 -292
 0
 -293 292
 0
 548 -293 294
 0
 -548 293 294
 0
 548 293 -294
 0
 -548 -293 -294
 0
 295 -294
 0
 -295 294
 0
 550 -295 296
 0
 -550 295 296
 0
 550 295 -296
 0
 -550 -295 -296
 0
 297 -296
 0
 -297 296
 0
 298 -297
 0
 -298 297
 0
 299 -298
 0
 -299 298
 0
 554 -299 300
 0
 -554 299 300
 0
 554 299 -300
 0
 -554 -299 -300
 0
 301 -300
 0
 -301 300
 0
 556 -301 302
 0
 -556 301 302
 0
 556 301 -302
 0
 -556 -301 -302
 0
 557 -302 303
 0
 -557 302 303
 0
 557 302 -303
 0
 -557 -302 -303
 0
 304 -303
 0
 -304 303
 0
 305 -304
 0
 -305 304
 0
 560 -305 306
 0
 -560 305 306
 0
 560 305 -306
 0
 -560 -305 -306
 0
 307
 0
 545 -307 308
 0
 -545 307 308
 0
 545 307 -308
 0
 -545 -307 -308
 0
 309 -308
 0
 -309 308
 0
 310 -309
 0
 -310 309
 0
 311 -310
 0
 -311 310
 0
 549 -311 312
 0
 -549 311 312
 0
 549 311 -312
 0
 -549 -311 -312
 0
 550 -312 313
 0
 -550 312 313
 0
 550 312 -313
 0
 -550 -312 -313
 0
 314 -313
 0
 -314 313
 0
 315 -314
 0
 -315 314
 0
 553 -315 316
 0
 -553 315 316
 0
 553 315 -316
 0
 -553 -315 -316
 0
 317 -316
 0
 -317 316
 0
 555 -317 318
 0
 -555 317 318
 0
 555 317 -318
 0
 -555 -317 -318
 0
 556 -318 319
 0
 -556 318 319
 0
 556 318 -319
 0
 -556 -318 -319
 0
 557 -319 320
 0
 -557 319 320
 0
 557 319 -320
 0
 -557 -319 -320
 0
 321 -320
 0
 -321 320
 0
 559 -321 322
 0
 -559 321 322
 0
 559 321 -322
 0
 -559 -321 -322
 0
 560 -322 323
 0
 -560 322 323
 0
 560 322 -323
 0
 -560 -322 -323
 0
 324
 0
 545 -324 325
 0
 -545 324 325
 0
 545 324 -325
 0
 -545 -324 -325
 0
 546 -325 326
 0
 -546 325 326
 0
 546 325 -326
 0
 -546 -325 -326
 0
 547 -326 327
 0
 -547 326 327
 0
 547 326 -327
 0
 -547 -326 -327
 0
 328 -327
 0
 -328 327
 0
 329 -328
 0
 -329 328
 0
 550 -329 330
 0
 -550 329 330
 0
 550 329 -330
 0
 -550 -329 -330
 0
 331 -330
 0
 -331 330
 0
 332 -331
 0
 -332 331
 0
 333 -332
 0
 -333 332
 0
 554 -333 334
 0
 -554 333 334
 0
 554 333 -334
 0
 -554 -333 -334
 0
 555 -334 335
 0
 -555 334 335
 0
 555 334 -335
 0
 -555 -334 -335
 0
 336 -335
 0
 -336 335
 0
 337 -336
 0
 -337 336
 0
 558 -337 338
 0
 -558 337 338
 0
 558 337 -338
 0
 -558 -337 -338
 0
 559 -338 339
 0
 -559 338 339
 0
 559 338 -339
 0
 -559 -338 -339
 0
 340 -339
 0
 -340 339
 0
 -341
 0
 545 -341 342
 0
 -545 341 342
 0
 545 341 -342
 0
 -545 -341 -342
 0
 546 -342 343
 0
 -546 342 343
 0
 546 342 -343
 0
 -546 -342 -343
 0
 344 -343
 0
 -344 343
 0
 548 -344 345
 0
 -548 344 345
 0
 548 344 -345
 0
 -548 -344 -345
 0
 549 -345 346
 0
 -549 345 346
 0
 549 345 -346
 0
 -549 -345 -346
 0
 347 -346
 0
 -347 346
 0
 348 -347
 0
 -348 347
 0
 349 -348
 0
 -349 348
 0
 350 -349
 0
 -350 349
 0
 554 -350 351
 0
 -554 350 351
 0
 554 350 -351
 0
 -554 -350 -351
 0
 555 -351 352
 0
 -555 351 352
 0
 555 351 -352
 0
 -555 -351 -352
 0
 556 -352 353
 0
 -556 352 353
 0
 556 352 -353
 0
 -556 -352 -353
 0
 557 -353 354
 0
 -557 353 354
 0
 557 353 -354
 0
 -557 -353 -354
 0
 558 -354 355
 0
 -558 354 355
 0
 558 354 -355
 0
 -558 -354 -355
 0
 356 -355
 0
 -356 355
 0
 357 -356
 0
 -357 356
 0
 358
 0
 359 -358
 0
 -359 358
 0
 360 -359
 0
 -360 359
 0
 547 -360 361
 0
 -547 360 361
 0
 547 360 -361
 0
 -547 -360 -361
 0
 362 -361
 0
 -362 361
 0
 363 -362
 0
 -363 362
 0
 364 -363
 0
 -364 363
 0
 365 -364
 0
 -365 364
 0
 366 -365
 0
 -366 365
 0
 553 -366 367
 0
 -553 366 367
 0
 553 366 -367
 0
 -553 -366 -367
 0
 554 -367 368
 0
 -554 367 368
 0
 554 367 -368
 0
 -554 -367 -368
 0
 555 -368 369
 0
 -555 368 369
 0
 555 368 -369
 0
 -555 -368 -369
 0
 370 -369
 0
 -370 369
 0
 557 -370 371
 0
 -557 370 371
 0
 557 370 -371
 0
 -557 -370 -371
 0
 372 -371
 0
 -372 371
 0
 559 -372 373
 0
 -559 372 373
 0
 559 372 -373
 0
 -559 -372 -373
 0
 560 -373 374
 0
 -560 373 374
 0
 560 373 -374
 0
 -560 -373 -374
 0
 375
 0
 376 -375
 0
 -376 375
 0
 377 -376
 0
 -377 376
 0
 547 -377 378
 0
 -547 377 378
 0
 547 377 -378
 0
 -547 -377 -378
 0
 379 -378
 0
 -379 378
 0
 549 -379 380
 0
 -549 379 380
 0
 549 379 -380
 0
 -549 -379 -380
 0
 550 -380 381
 0
 -550 380 381
 0
 550 380 -381
 0
 -550 -380 -381
 0
 382 -381
 0
 -382 381
 0
 552 -382 383
 0
 -552 382 383
 0
 552 382 -383
 0
 -552 -382 -383
 0
 384 -383
 0
 -384 383
 0
 385 -384
 0
 -385 384
 0
 555 -385 386
 0
 -555 385 386
 0
 555 385 -386
 0
 -555 -385 -386
 0
 556 -386 387
 0
 -556 386 387
 0
 556 386 -387
 0
 -556 -386 -387
 0
 388 -387
 0
 -388 387
 0
 389 -388
 0
 -389 388
 0
 559 -389 390
 0
 -559 389 390
 0
 559 389 -390
 0
 -559 -389 -390
 0
 560 -390 391
 0
 -560 390 391
 0
 560 390 -391
 0
 -560 -390 -391
 0
 392
 0
 545 -392 393
 0
 -545 392 393
 0
 545 392 -393
 0
 -545 -392 -393
 0
 546 -393 394
 0
 -546 393 394
 0
 546 393 -394
 0
 -546 -393 -394
 0
 395 -394
 0
 -395 394
 0
 548 -395 396
 0
 -548 395 396
 0
 548 395 -396
 0
 -548 -395 -396
 0
 397 -396
 0
 -397 396
 0
 398 -397
 0
 -398 397
 0
 399 -398
 0
 -399 398
 0
 400 -399
 0
 -400 399
 0
 401 -400
 0
 -401 400
 0
 554 -401 402
 0
 -554 401 402
 0
 554 401 -402
 0
 -554 -401 -402
 0
 555 -402 403
 0
 -555 402 403
 0
 555 402 -403
 0
 -555 -402 -403
 0
 556 -403 404
 0
 -556 403 404
 0
 556 403 -404
 0
 -556 -403 -404
 0
 557 -404 405
 0
 -557 404 405
 0
 557 404 -405
 0
 -557 -404 -405
 0
 406 -405
 0
 -406 405
 0
 407 -406
 0
 -407 406
 0
 560 -407 408
 0
 -560 407 408
 0
 560 407 -408
 0
 -560 -407 -408
 0
 -409
 0
 545 -409 410
 0
 -545 409 410
 0
 545 409 -410
 0
 -545 -409 -410
 0
 411 -410
 0
 -411 410
 0
 547 -411 412
 0
 -547 411 412
 0
 547 411 -412
 0
 -547 -411 -412
 0
 548 -412 413
 0
 -548 412 413
 0
 548 412 -413
 0
 -548 -412 -413
 0
 414 -413
 0
 -414 413
 0
 550 -414 415
 0
 -550 414 415
 0
 550 414 -415
 0
 -550 -414 -415
 0
 551 -415 416
 0
 -551 415 416
 0
 551 415 -416
 0
 -551 -415 -416
 0
 417 -416
 0
 -417 416
 0
 553 -417 418
 0
 -553 417 418
 0
 553 417 -418
 0
 -553 -417 -418
 0
 419 -418
 0
 -419 418
 0
 420 -419
 0
 -420 419
 0
 556 -420 421
 0
 -556 420 421
 0
 556 420 -421
 0
 -556 -420 -421
 0
 557 -421 422
 0
 -557 421 422
 0
 557 421 -422
 0
 -557 -421 -422
 0
 423 -422
 0
 -423 422
 0
 424 -423
 0
 -424 423
 0
 425 -424
 0
 -425 424
 0
 426
 0
 427 -426
 0
 -427 426
 0
 546 -427 428
 0
 -546 427 428
 0
 546 427 -428
 0
 -546 -427 -428
 0
 547 -428 429
 0
 -547 428 429
 0
 547 428 -429
 0
 -547 -428 -429
 0
 430 -429
 0
 -430 429
 0
 431 -430
 0
 -431 430
 0
 550 -431 432
 0
 -550 431 432
 0
 550 431 -432
 0
 -550 -431 -432
 0
 551 -432 433
 0
 -551 432 433
 0
 551 432 -433
 0
 -551 -432 -433
 0
 434 -433
 0
 -434 433
 0
 435 -434
 0
 -435 434
 0
 436 -435
 0
 -436 435
 0
 437 -436
 0
 -437 436
 0
 438 -437
 0
 -438 437
 0
 439 -438
 0
 -439 438
 0
 440 -439
 0
 -440 439
 0
 559 -440 441
 0
 -559 440 441
 0
 559 440 -441
 0
 -559 -440 -441
 0
 560 -441 442
 0
 -560 441 442
 0
 560 441 -442
 0
 -560 -441 -442
 0
 443
 0
 545 -443 444
 0
 -545 443 444
 0
 545 443 -444
 0
 -545 -443 -444
 0
 445 -444
 0
 -445 444
 0
 446 -445
 0
 -446 445
 0
 447 -446
 0
 -447 446
 0
 549 -447 448
 0
 -549 447 448
 0
 549 447 -448
 0
 -549 -447 -448
 0
 550 -448 449
 0
 -550 448 449
 0
 550 448 -449
 0
 -550 -448 -449
 0
 450 -449
 0
 -450 449
 0
 552 -450 451
 0
 -552 450 451
 0
 552 450 -451
 0
 -552 -450 -451
 0
 452 -451
 0
 -452 451
 0
 453 -452
 0
 -453 452
 0
 555 -453 454
 0
 -555 453 454
 0
 555 453 -454
 0
 -555 -453 -454
 0
 556 -454 455
 0
 -556 454 455
 0
 556 454 -455
 0
 -556 -454 -455
 0
 456 -455
 0
 -456 455
 0
 457 -456
 0
 -457 456
 0
 458 -457
 0
 -458 457
 0
 459 -458
 0
 -459 458
 0
 460
 0
 461 -460
 0
 -461 460
 0
 546 -461 462
 0
 -546 461 462
 0
 546 461 -462
 0
 -546 -461 -462
 0
 547 -462 463
 0
 -547 462 463
 0
 547 462 -463
 0
 -547 -462 -463
 0
 548 -463 464
 0
 -548 463 464
 0
 548 463 -464
 0
 -548 -463 -464
 0
 549 -464 465
 0
 -549 464 465
 0
 549 464 -465
 0
 -549 -464 -465
 0
 550 -465 466
 0
 -550 465 466
 0
 550 465 -466
 0
 -550 -465 -466
 0
 467 -466
 0
 -467 466
 0
 552 -467 468
 0
 -552 467 468
 0
 552 467 -468
 0
 -552 -467 -468
 0
 553 -468 469
 0
 -553 468 469
 0
 553 468 -469
 0
 -553 -468 -469
 0
 554 -469 470
 0
 -554 469 470
 0
 554 469 -470
 0
 -554 -469 -470
 0
 555 -470 471
 0
 -555 470 471
 0
 555 470 -471
 0
 -555 -470 -471
 0
 472 -471
 0
 -472 471
 0
 473 -472
 0
 -473 472
 0
 558 -473 474
 0
 -558 473 474
 0
 558 473 -474
 0
 -558 -473 -474
 0
 475 -474
 0
 -475 474
 0
 476 -475
 0
 -476 475
 0
 477
 0
 478 -477
 0
 -478 477
 0
 546 -478 479
 0
 -546 478 479
 0
 546 478 -479
 0
 -546 -478 -479
 0
 480 -479
 0
 -480 479
 0
 548 -480 481
 0
 -548 480 481
 0
 548 480 -481
 0
 -548 -480 -481
 0
 482 -481
 0
 -482 481
 0
 483 -482
 0
 -483 482
 0
 484 -483
 0
 -484 483
 0
 552 -484 485
 0
 -552 484 485
 0
 552 484 -485
 0
 -552 -484 -485
 0
 553 -485 486
 0
 -553 485 486
 0
 553 485 -486
 0
 -553 -485 -486
 0
 554 -486 487
 0
 -554 486 487
 0
 554 486 -487
 0
 -554 -486 -487
 0
 488 -487
 0
 -488 487
 0
 556 -488 489
 0
 -556 488 489
 0
 556 488 -489
 0
 -556 -488 -489
 0
 557 -489 490
 0
 -557 489 490
 0
 557 489 -490
 0
 -557 -489 -490
 0
 491 -490
 0
 -491 490
 0
 559 -491 492
 0
 -559 491 492
 0
 559 491 -492
 0
 -559 -491 -492
 0
 560 -492 493
 0
 -560 492 493
 0
 560 492 -493
 0
 -560 -492 -493
 0
 -494
 0
 545 -494 495
 0
 -545 494 495
 0
 545 494 -495
 0
 -545 -494 -495
 0
 496 -495
 0
 -496 495
 0
 547 -496 497
 0
 -547 496 497
 0
 547 496 -497
 0
 -547 -496 -497
 0
 498 -497
 0
 -498 497
 0
 549 -498 499
 0
 -549 498 499
 0
 549 498 -499
 0
 -549 -498 -499
 0
 550 -499 500
 0
 -550 499 500
 0
 550 499 -500
 0
 -550 -499 -500
 0
 501 -500
 0
 -501 500
 0
 502 -501
 0
 -502 501
 0
 503 -502
 0
 -503 502
 0
 504 -503
 0
 -504 503
 0
 505 -504
 0
 -505 504
 0
 506 -505
 0
 -506 505
 0
 507 -506
 0
 -507 506
 0
 508 -507
 0
 -508 507
 0
 509 -508
 0
 -509 508
 0
 510 -509
 0
 -510 509
 0
 511
 0
 512 -511
 0
 -512 511
 0
 546 -512 513
 0
 -546 512 513
 0
 546 512 -513
 0
 -546 -512 -513
 0
 547 -513 514
 0
 -547 513 514
 0
 547 513 -514
 0
 -547 -513 -514
 0
 515 -514
 0
 -515 514
 0
 549 -515 516
 0
 -549 515 516
 0
 549 515 -516
 0
 -549 -515 -516
 0
 550 -516 517
 0
 -550 516 517
 0
 550 516 -517
 0
 -550 -516 -517
 0
 551 -517 518
 0
 -551 517 518
 0
 551 517 -518
 0
 -551 -517 -518
 0
 552 -518 519
 0
 -552 518 519
 0
 552 518 -519
 0
 -552 -518 -519
 0
 520 -519
 0
 -520 519
 0
 521 -520
 0
 -521 520
 0
 555 -521 522
 0
 -555 521 522
 0
 555 521 -522
 0
 -555 -521 -522
 0
 523 -522
 0
 -523 522
 0
 557 -523 524
 0
 -557 523 524
 0
 557 523 -524
 0
 -557 -523 -524
 0
 525 -524
 0
 -525 524
 0
 559 -525 526
 0
 -559 525 526
 0
 559 525 -526
 0
 -559 -525 -526
 0
 527 -526
 0
 -527 526
 0
 528
 0
 529 -528
 0
 -529 528
 0
 530 -529
 0
 -530 529
 0
 547 -530 531
 0
 -547 530 531
 0
 547 530 -531
 0
 -547 -530 -531
 0
 532 -531
 0
 -532 531
 0
 533 -532
 0
 -533 532
 0
 550 -533 534
 0
 -550 533 534
 0
 550 533 -534
 0
 -550 -533 -534
 0
 535 -534
 0
 -535 534
 0
 552 -535 536
 0
 -552 535 536
 0
 552 535 -536
 0
 -552 -535 -536
 0
 553 -536 537
 0
 -553 536 537
 0
 553 536 -537
 0
 -553 -536 -537
 0
 554 -537 538
 0
 -554 537 538
 0
 554 537 -538
 0
 -554 -537 -538
 0
 539 -538
 0
 -539 538
 0
 540 -539
 0
 -540 539
 0
 541 -540
 0
 -541 540
 0
 542 -541
 0
 -542 541
 0
 543 -542
 0
 -543 542
 0
 560 -543 544
 0
 -560 543 544
 0
 560 543 -544
 0
 -560 -543 -544
 0
 -561
 0
 -562
 0
 -563
 0
 -564
 0
 -565
 0
 -566
 0
 -567
 0
 17 -792
 0
 -17 792
 0
 792 -561 568
 0
 -792 561 568
 0
 792 561 -568
 0
 -792 -561 -568
 0
 793 -562 569
 0
 -793 562 569
 0
 793 562 -569
 0
 -793 -562 -569
 0
 792 -793
 0
 561 -793
 0
 -792 -561 793
 0
 -561 568 793
 0
 794 -563 570
 0
 -794 563 570
 0
 794 563 -570
 0
 -794 -563 -570
 0
 793 -794
 0
 562 -794
 0
 -793 -562 794
 0
 -562 569 794
 0
 795 -564 571
 0
 -795 564 571
 0
 795 564 -571
 0
 -795 -564 -571
 0
 794 -795
 0
 563 -795
 0
 -794 -563 795
 0
 -563 570 795
 0
 796 -565 572
 0
 -796 565 572
 0
 796 565 -572
 0
 -796 -565 -572
 0
 795 -796
 0
 564 -796
 0
 -795 -564 796
 0
 -564 571 796
 0
 797 -566 573
 0
 -797 566 573
 0
 797 566 -573
 0
 -797 -566 -573
 0
 796 -797
 0
 565 -797
 0
 -796 -565 797
 0
 -565 572 797
 0
 798 -567 574
 0
 -798 567 574
 0
 798 567 -574
 0
 -798 -567 -574
 0
 797 -798
 0
 566 -798
 0
 -797 -566 798
 0
 -566 573 798
 0
 34 -799
 0
 -34 799
 0
 799 -568 575
 0
 -799 568 575
 0
 799 568 -575
 0
 -799 -568 -575
 0
 800 -569 576
 0
 -800 569 576
 0
 800 569 -576
 0
 -800 -569 -576
 0
 799 -800
 0
 568 -800
 0
 -799 -568 800
 0
 -568 575 800
 0
 801 -570 577
 0
 -801 570 577
 0
 801 570 -577
 0
 -801 -570 -577
 0
 800 -801
 0
 569 -801
 0
 -800 -569 801
 0
 -569 576 801
 0
 802 -571 578
 0
 -802 571 578
 0
 802 571 -578
 0
 -802 -571 -578
 0
 801 -802
 0
 570 -802
 0
 -801 -570 802
 0
 -570 577 802
 0
 803 -572 579
 0
 -803 572 579
 0
 803 572 -579
 0
 -803 -572 -579
 0
 802 -803
 0
 571 -803
 0
 -802 -571 803
 0
 -571 578 803
 0
 804 -573 580
 0
 -804 573 580
 0
 804 573 -580
 0
 -804 -573 -580
 0
 803 -804
 0
 572 -804
 0
 -803 -572 804
 0
 -572 579 804
 0
 805 -574 581
 0
 -805 574 581
 0
 805 574 -581
 0
 -805 -574 -581
 0
 804 -805
 0
 573 -805
 0
 -804 -573 805
 0
 -573 580 805
 0
 51 -806
 0
 -51 806
 0
 806 -575 582
 0
 -806 575 582
 0
 806 575 -582
 0
 -806 -575 -582
 0
 807 -576 583
 0
 -807 576 583
 0
 807 576 -583
 0
 -807 -576 -583
 0
 806 -807
 0
 575 -807
 0
 -806 -575 807
 0
 -575 582 807
 0
 808 -577 584
 0
 -808 577 584
 0
 808 577 -584
 0
 -808 -577 -584
 0
 807 -808
 0
 576 -808
 0
 -807 -576 808
 0
 -576 583 808
 0
 809 -578 585
 0
 -809 578 585
 0
 809 578 -585
 0
 -809 -578 -585
 0
 808 -809
 0
 577 -809
 0
 -808 -577 809
 0
 -577 584 809
 0
 810 -579 586
 0
 -810 579 586
 0
 810 579 -586
 0
 -810 -579 -586
 0
 809 -810
 0
 578 -810
 0
 -809 -578 810
 0
 -578 585 810
 0
 811 -580 587
 0
 -811 580 587
 0
 811 580 -587
 0
 -811 -580 -587
 0
 810 -811
 0
 579 -811
 0
 -810 -579 811
 0
 -579 586 811
 0
 812 -581 588
 0
 -812 581 588
 0
 812 581 -588
 0
 -812 -581 -588
 0
 811 -812
 0
 580 -812
 0
 -811 -580 812
 0
 -580 587 812
 0
 68 -813
 0
 -68 813
 0
 813 -582 589
 0
 -813 582 589
 0
 813 582 -589
 0
 -813 -582 -589
 0
 814 -583 590
 0
 -814 583 590
 0
 814 583 -590
 0
 -814 -583 -590
 0
 813 -814
 0
 582 -814
 0
 -813 -582 814
 0
 -582 589 814
 0
 815 -584 591
 0
 -815 584 591
 0
 815 584 -591
 0
 -815 -584 -591
 0
 814 -815
 0
 583 -815
 0
 -814 -583 815
 0
 -583 590 815
 0
 816 -585 592
 0
 -816 585 592
 0
 816 585 -592
 0
 -816 -585 -592
 0
 815 -816
 0
 584 -816
 0
 -815 -584 816
 0
 -584 591 816
 0
 817 -586 593
 0
 -817 586 593
 0
 817 586 -593
 0
 -817 -586 -593
 0
 816 -817
 0
 585 -817
 0
 -816 -585 817
 0
 -585 592 817
 0
 818 -587 594
 0
 -818 587 594
 0
 818 587 -594
 0
 -818 -587 -594
 0
 817 -818
 0
 586 -818
 0
 -817 -586 818
 0
 -586 593 818
 0
 819 -588 595
 0
 -819 588 595
 0
 819 588 -595
 0
 -819 -588 -595
 0
 818 -819
 0
 587 -819
 0
 -818 -587 819
 0
 -587 594 819
 0
 85 -820
 0
 -85 820
 0
 820 -589 596
 0
 -820 589 596
 0
 820 589 -596
 0
 -820 -589 -596
 0
 821 -590 597
 0
 -821 590 597
 0
 821 590 -597
 0
 -821 -590 -597
 0
 820 -821
 0
 589 -821
 0
 -820 -589 821
 0
 -589 596 821
 0
 822 -591 598
 0
 -822 591 598
 0
 822 591 -598
 0
 -822 -591 -598
 0
 821 -822
 0
 590 -822
 0
 -821 -590 822
 0
 -590 597 822
 0
 823 -592 599
 0
 -823 592 599
 0
 823 592 -599
 0
 -823 -592 -599
 0
 822 -823
 0
 591 -823
 0
 -822 -591 823
 0
 -591 598 823
 0
 824 -593 600
 0
 -824 593 600
 0
 824 593 -600
 0
 -824 -593 -600
 0
 823 -824
 0
 592 -824
 0
 -823 -592 824
 0
 -592 599 824
 0
 825 -594 601
 0
 -825 594 601
 0
 825 594 -601
 0
 -825 -594 -601
 0
 824 -825
 0
 593 -825
 0
 -824 -593 825
 0
 -593 600 825
 0
 826 -595 602
 0
 -826 595 602
 0
 826 595 -602
 0
 -826 -595 -602
 0
 825 -826
 0
 594 -826
 0
 -825 -594 826
 0
 -594 601 826
 0
 102 -827
 0
 -102 827
 0
 827 -596 603
 0
 -827 596 603
 0
 827 596 -603
 0
 -827 -596 -603
 0
 828 -597 604
 0
 -828 597 604
 0
 828 597 -604
 0
 -828 -597 -604
 0
 827 -828
 0
 596 -828
 0
 -827 -596 828
 0
 -596 603 828
 0
 829 -598 605
 0
 -829 598 605
 0
 829 598 -605
 0
 -829 -598 -605
 0
 828 -829
 0
 597 -829
 0
 -828 -597 829
 0
 -597 604 829
 0
 830 -599 606
 0
 -830 599 606
 0
 830 599 -606
 0
 -830 -599 -606
 0
 829 -830
 0
 598 -830
 0
 -829 -598 830
 0
 -598 605 830
 0
 831 -600 607
 0
 -831 600 607
 0
 831 600 -607
 0
 -831 -600 -607
 0
 830 -831
 0
 599 -831
 0
 -830 -599 831
 0
 -599 606 831
 0
 832 -601 608
 0
 -832 601 608
 0
 832 601 -608
 0
 -832 -601 -608
 0
 831 -832
 0
 600 -832
 0
 -831 -600 832
 0
 -600 607 832
 0
 833 -602 609
 0
 -833 602 609
 0
 833 602 -609
 0
 -833 -602 -609
 0
 832 -833
 0
 601 -833
 0
 -832 -601 833
 0
 -601 608 833
 0
 119 -834
 0
 -119 834
 0
 834 -603 610
 0
 -834 603 610
 0
 834 603 -610
 0
 -834 -603 -610
 0
 835 -604 611
 0
 -835 604 611
 0
 835 604 -611
 0
 -835 -604 -611
 0
 834 -835
 0
 603 -835
 0
 -834 -603 835
 0
 -603 610 835
 0
 836 -605 612
 0
 -836 605 612
 0
 836 605 -612
 0
 -836 -605 -612
 0
 835 -836
 0
 604 -836
 0
 -835 -604 836
 0
 -604 611 836
 0
 837 -606 613
 0
 -837 606 613
 0
 837 606 -613
 0
 -837 -606 -613
 0
 836 -837
 0
 605 -837
 0
 -836 -605 837
 0
 -605 612 837
 0
 838 -607 614
 0
 -838 607 614
 0
 838 607 -614
 0
 -838 -607 -614
 0
 837 -838
 0
 606 -838
 0
 -837 -606 838
 0
 -606 613 838
 0
 839 -608 615
 0
 -839 608 615
 0
 839 608 -615
 0
 -839 -608 -615
 0
 838 -839
 0
 607 -839
 0
 -838 -607 839
 0
 -607 614 839
 0
 840 -609 616
 0
 -840 609 616
 0
 840 609 -616
 0
 -840 -609 -616
 0
 839 -840
 0
 608 -840
 0
 -839 -608 840
 0
 -608 615 840
 0
 136 -841
 0
 -136 841
 0
 841 -610 617
 0
 -841 610 617
 0
 841 610 -617
 0
 -841 -610 -617
 0
 842 -611 618
 0
 -842 611 618
 0
 842 611 -618
 0
 -842 -611 -618
 0
 841 -842
 0
 610 -842
 0
 -841 -610 842
 0
 -610 617 842
 0
 843 -612 619
 0
 -843 612 619
 0
 843 612 -619
 0
 -843 -612 -619
 0
 842 -843
 0
 611 -843
 0
 -842 -611 843
 0
 -611 618 843
 0
 844 -613 620
 0
 -844 613 620
 0
 844 613 -620
 0
 -844 -613 -620
 0
 843 -844
 0
 612 -844
 0
 -843 -612 844
 0
 -612 619 844
 0
 845 -614 621
 0
 -845 614 621
 0
 845 614 -621
 0
 -845 -614 -621
 0
 844 -845
 0
 613 -845
 0
 -844 -613 845
 0
 -613 620 845
 0
 846 -615 622
 0
 -846 615 622
 0
 846 615 -622
 0
 -846 -615 -622
 0
 845 -846
 0
 614 -846
 0
 -845 -614 846
 0
 -614 621 846
 0
 847 -616 623
 0
 -847 616 623
 0
 847 616 -623
 0
 -847 -616 -623
 0
 846 -847
 0
 615 -847
 0
 -846 -615 847
 0
 -615 622 847
 0
 153 -848
 0
 -153 848
 0
 848 -617 624
 0
 -848 617 624
 0
 848 617 -624
 0
 -848 -617 -624
 0
 849 -618 625
 0
 -849 618 625
 0
 849 618 -625
 0
 -849 -618 -625
 0
 848 -849
 0
 617 -849
 0
 -848 -617 849
 0
 -617 624 849
 0
 850 -619 626
 0
 -850 619 626
 0
 850 619 -626
 0
 -850 -619 -626
 0
 849 -850
 0
 618 -850
 0
 -849 -618 850
 0
 -618 625 850
 0
 851 -620 627
 0
 -851 620 627
 0
 851 620 -627
 0
 -851 -620 -627
 0
 850 -851
 0
 619 -851
 0
 -850 -619 851
 0
 -619 626 851
 0
 852 -621 628
 0
 -852 621 628
 0
 852 621 -628
 0
 -852 -621 -628
 0
 851 -852
 0
 620 -852
 0
 -851 -620 852
 0
 -620 627 852
 0
 853 -622 629
 0
 -853 622 629
 0
 853 622 -629
 0
 -853 -622 -629
 0
 852 -853
 0
 621 -853
 0
 -852 -621 853
 0
 -621 628 853
 0
 854 -623 630
 0
 -854 623 630
 0
 854 623 -630
 0
 -854 -623 -630
 0
 853 -854
 0
 622 -854
 0
 -853 -622 854
 0
 -622 629 854
 0
 170 -855
 0
 -170 855
 0
 855 -624 631
 0
 -855 624 631
 0
 855 624 -631
 0
 -855 -624 -631
 0
 856 -625 632
 0
 -856 625 632
 0
 856 625 -632
 0
 -856 -625 -632
 0
 855 -856
 0
 624 -856
 0
 -855 -624 856
 0
 -624 631 856
 0
 857 -626 633
 0
 -857 626 633
 0
 857 626 -633
 0
 -857 -626 -633
 0
 856 -857
 0
 625 -857
 0
 -856 -625 857
 0
 -625 632 857
 0
 858 -627 634
 0
 -858 627 634
 0
 858 627 -634
 0
 -858 -627 -634
 0
 857 -858
 0
 626 -858
 0
 -857 -626 858
 0
 -626 633 858
 0
 859 -628 635
 0
 -859 628 635
 0
 859 628 -635
 0
 -859 -628 -635
 0
 858 -859
 0
 627 -859
 0
 -858 -627 859
 0
 -627 634 859
 0
 860 -629 636
 0
 -860 629 636
 0
 860 629 -636
 0
 -860 -629 -636
 0
 859 -860
 0
 628 -860
 0
 -859 -628 860
 0
 -628 635 860
 0
 861 -630 637
 0
 -861 630 637
 0
 861 630 -637
 0
 -861 -630 -637
 0
 860 -861
 0
 629 -861
 0
 -860 -629 861
 0
 -629 636 861
 0
 187 -862
 0
 -187 862
 0
 862 -631 638
 0
 -862 631 638
 0
 862 631 -638
 0
 -862 -631 -638
 0
 863 -632 639
 0
 -863 632 639
 0
 863 632 -639
 0
 -863 -632 -639
 0
 862 -863
 0
 631 -863
 0
 -862 -631 863
 0
 -631 638 863
 0
 864 -633 640
 0
 -864 633 640
 0
 864 633 -640
 0
 -864 -633 -640
 0
 863 -864
 0
 632 -864
 0
 -863 -632 864
 0
 -632 639 864
 0
 865 -634 641
 0
 -865 634 641
 0
 865 634 -641
 0
 -865 -634 -641
 0
 864 -865
 0
 633 -865
 0
 -864 -633 865
 0
 -633 640 865
 0
 866 -635 642
 0
 -866 635 642
 0
 866 635 -642
 0
 -866 -635 -642
 0
 865 -866
 0
 634 -866
 0
 -865 -634 866
 0
 -634 641 866
 0
 867 -636 643
 0
 -867 636 643
 0
 867 636 -643
 0
 -867 -636 -643
 0
 866 -867
 0
 635 -867
 0
 -866 -635 867
 0
 -635 642 867
 0
 868 -637 644
 0
 -868 637 644
 0
 868 637 -644
 0
 -868 -637 -644
 0
 867 -868
 0
 636 -868
 0
 -867 -636 868
 0
 -636 643 868
 0
 204 -869
 0
 -204 869
 0
 869 -638 645
 0
 -869 638 645
 0
 869 638 -645
 0
 -869 -638 -645
 0
 870 -639 646
 0
 -870 639 646
 0
 870 639 -646
 0
 -870 -639 -646
 0
 869 -870
 0
 638 -870
 0
 -869 -638 870
 0
 -638 645 870
 0
 871 -640 647
 0
 -871 640 647
 0
 871 640 -647
 0
 -871 -640 -647
 0
 870 -871
 0
 639 -871
 0
 -870 -639 871
 0
 -639 646 871
 0
 872 -641 648
 0
 -872 641 648
 0
 872 641 -648
 0
 -872 -641 -648
 0
 871 -872
 0
 640 -872
 0
 -871 -640 872
 0
 -640 647 872
 0
 873 -642 649
 0
 -873 642 649
 0
 873 642 -649
 0
 -873 -642 -649
 0
 872 -873
 0
 641 -873
 0
 -872 -641 873
 0
 -641 648 873
 0
 874 -643 650
 0
 -874 643 650
 0
 874 643 -650
 0
 -874 -643 -650
 0
 873 -874
 0
 642 -874
 0
 -873 -642 874
 0
 -642 649 874
 0
 875 -644 651
 0
 -875 644 651
 0
 875 644 -651
 0
 -875 -644 -651
 0
 874 -875
 0
 643 -875
 0
 -874 -643 875
 0
 -643 650 875
 0
 221 -876
 0
 -221 876
 0
 876 -645 652
 0
 -876 645 652
 0
 876 645 -652
 0
 -876 -645 -652
 0
 877 -646 653
 0
 -877 646 653
 0
 877 646 -653
 0
 -877 -646 -653
 0
 876 -877
 0
 645 -877
 0
 -876 -645 877
 0
 -645 652 877
 0
 878 -647 654
 0
 -878 647 654
 0
 878 647 -654
 0
 -878 -647 -654
 0
 877 -878
 0
 646 -878
 0
 -877 -646 878
 0
 -646 653 878
 0
 879 -648 655
 0
 -879 648 655
 0
 879 648 -655
 0
 -879 -648 -655
 0
 878 -879
 0
 647 -879
 0
 -878 -647 879
 0
 -647 654 879
 0
 880 -649 656
 0
 -880 649 656
 0
 880 649 -656
 0
 -880 -649 -656
 0
 879 -880
 0
 648 -880
 0
 -879 -648 880
 0
 -648 655 880
 0
 881 -650 657
 0
 -881 650 657
 0
 881 650 -657
 0
 -881 -650 -657
 0
 880 -881
 0
 649 -881
 0
 -880 -649 881
 0
 -649 656 881
 0
 882 -651 658
 0
 -882 651 658
 0
 882 651 -658
 0
 -882 -651 -658
 0
 881 -882
 0
 650 -882
 0
 -881 -650 882
 0
 -650 657 882
 0
 238 -883
 0
 -238 883
 0
 883 -652 659
 0
 -883 652 659
 0
 883 652 -659
 0
 -883 -652 -659
 0
 884 -653 660
 0
 -884 653 660
 0
 884 653 -660
 0
 -884 -653 -660
 0
 883 -884
 0
 652 -884
 0
 -883 -652 884
 0
 -652 659 884
 0
 885 -654 661
 0
 -885 654 661
 0
 885 654 -661
 0
 -885 -654 -661
 0
 884 -885
 0
 653 -885
 0
 -884 -653 885
 0
 -653 660 885
 0
 886 -655 662
 0
 -886 655 662
 0
 886 655 -662
 0
 -886 -655 -662
 0
 885 -886
 0
 654 -886
 0
 -885 -654 886
 0
 -654 661 886
 0
 887 -656 663
 0
 -887 656 663
 0
 887 656 -663
 0
 -887 -656 -663
 0
 886 -887
 0
 655 -887
 0
 -886 -655 887
 0
 -655 662 887
 0
 888 -657 664
 0
 -888 657 664
 0
 888 657 -664
 0
 -888 -657 -664
 0
 887 -888
 0
 656 -888
 0
 -887 -656 888
 0
 -656 663 888
 0
 889 -658 665
 0
 -889 658 665
 0
 889 658 -665
 0
 -889 -658 -665
 0
 888 -889
 0
 657 -889
 0
 -888 -657 889
 0
 -657 664 889
 0
 255 -890
 0
 -255 890
 0
 890 -659 666
 0
 -890 659 666
 0
 890 659 -666
 0
 -890 -659 -666
 0
 891 -660 667
 0
 -891 660 667
 0
 891 660 -667
 0
 -891 -660 -667
 0
 890 -891
 0
 659 -891
 0
 -890 -659 891
 0
 -659 666 891
 0
 892 -661 668
 0
 -892 661 668
 0
 892 661 -668
 0
 -892 -661 -668
 0
 891 -892
 0
 660 -892
 0
 -891 -660 892
 0
 -660 667 892
 0
 893 -662 669
 0
 -893 662 669
 0
 893 662 -669
 0
 -893 -662 -669
 0
 892 -893
 0
 661 -893
 0
 -892 -661 893
 0
 -661 668 893
 0
 894 -663 670
 0
 -894 663 670
 0
 894 663 -670
 0
 -894 -663 -670
 0
 893 -894
 0
 662 -894
 0
 -893 -662 894
 0
 -662 669 894
 0
 895 -664 671
 0
 -895 664 671
 0
 895 664 -671
 0
 -895 -664 -671
 0
 894 -895
 0
 663 -895
 0
 -894 -663 895
 0
 -663 670 895
 0
 896 -665 672
 0
 -896 665 672
 0
 896 665 -672
 0
 -896 -665 -672
 0
 895 -896
 0
 664 -896
 0
 -895 -664 896
 0
 -664 671 896
 0
 272 -897
 0
 -272 897
 0
 897 -666 673
 0
 -897 666 673
 0
 897 666 -673
 0
 -897 -666 -673
 0
 898 -667 674
 0
 -898 667 674
 0
 898 667 -674
 0
 -898 -667 -674
 0
 897 -898
 0
 666 -898
 0
 -897 -666 898
 0
 -666 673 898
 0
 899 -668 675
 0
 -899 668 675
 0
 899 668 -675
 0
 -899 -668 -675
 0
 898 -899
 0
 667 -899
 0
 -898 -667 899
 0
 -667 674 899
 0
 900 -669 676
 0
 -900 669 676
 0
 900 669 -676
 0
 -900 -669 -676
 0
 899 -900
 0
 668 -900
 0
 -899 -668 900
 0
 -668 675 900
 0
 901 -670 677
 0
 -901 670 677
 0
 901 670 -677
 0
 -901 -670 -677
 0
 900 -901
 0
 669 -901
 0
 -900 -669 901
 0
 -669 676 901
 0
 902 -671 678
 0
 -902 671 678
 0
 902 671 -678
 0
 -902 -671 -678
 0
 901 -902
 0
 670 -902
 0
 -901 -670 902
 0
 -670 677 902
 0
 903 -672 679
 0
 -903 672 679
 0
 903 672 -679
 0
 -903 -672 -679
 0
 902 -903
 0
 671 -903
 0
 -902 -671 903
 0
 -671 678 903
 0
 289 -904
 0
 -289 904
 0
 904 -673 680
 0
 -904 673 680
 0
 904 673 -680
 0
 -904 -673 -680
 0
 905 -674 681
 0
 -905 674 681
 0
 905 674 -681
 0
 -905 -674 -681
 0
 904 -905
 0
 673 -905
 0
 -904 -673 905
 0
 -673 680 905
 0
 906 -675 682
 0
 -906 675 682
 0
 906 675 -682
 0
 -906 -675 -682
 0
 905 -906
 0
 674 -906
 0
 -905 -674 906
 0
 -674 681 906
 0
 907 -676 683
 0
 -907 676 683
 0
 907 676 -683
 0
 -907 -676 -683
 0
 906 -907
 0
 675 -907
 0
 -906 -675 907
 0
 -675 682 907
 0
 908 -677 684
 0
 -908 677 684
 0
 908 677 -684
 0
 -908 -677 -684
 0
 907 -908
 0
 676 -908
 0
 -907 -676 908
 0
 -676 683 908
 0
 909 -678 685
 0
 -909 678 685
 0
 909 678 -685
 0
 -909 -678 -685
 0
 908 -909
 0
 677 -909
 0
 -908 -677 909
 0
 -677 684 909
 0
 910 -679 686
 0
 -910 679 686
 0
 910 679 -686
 0
 -910 -679 -686
 0
 909 -910
 0
 678 -910
 0
 -909 -678 910
 0
 -678 685 910
 0
 306 -911
 0
 -306 911
 0
 911 -680 687
 0
 -911 680 687
 0
 911 680 -687
 0
 -911 -680 -687
 0
 912 -681 688
 0
 -912 681 688
 0
 912 681 -688
 0
 -912 -681 -688
 0
 911 -912
 0
 680 -912
 0
 -911 -680 912
 0
 -680 687 912
 0
 913 -682 689
 0
 -913 682 689
 0
 913 682 -689
 0
 -913 -682 -689
 0
 912 -913
 0
 681 -913
 0
 -912 -681 913
 0
 -681 688 913
 0
 914 -683 690
 0
 -914 683 690
 0
 914 683 -690
 0
 -914 -683 -690
 0
 913 -914
 0
 682 -914
 0
 -913 -682 914
 0
 -682 689 914
 0
 915 -684 691
 0
 -915 684 691
 0
 915 684 -691
 0
 -915 -684 -691
 0
 914 -915
 0
 683 -915
 0
 -914 -683 915
 0
 -683 690 915
 0
 916 -685 692
 0
 -916 685 692
 0
 916 685 -692
 0
 -916 -685 -692
 0
 915 -916
 0
 684 -916
 0
 -915 -684 916
 0
 -684 691 916
 0
 917 -686 693
 0
 -917 686 693
 0
 917 686 -693
 0
 -917 -686 -693
 0
 916 -917
 0
 685 -917
 0
 -916 -685 917
 0
 -685 692 917
 0
 323 -918
 0
 -323 918
 0
 918 -687 694
 0
 -918 687 694
 0
 918 687 -694
 0
 -918 -687 -694
 0
 919 -688 695
 0
 -919 688 695
 0
 919 688 -695
 0
 -919 -688 -695
 0
 918 -919
 0
 687 -919
 0
 -918 -687 919
 0
 -687 694 919
 0
 920 -689 696
 0
 -920 689 696
 0
 920 689 -696
 0
 -920 -689 -696
 0
 919 -920
 0
 688 -920
 0
 -919 -688 920
 0
 -688 695 920
 0
 921 -690 697
 0
 -921 690 697
 0
 921 690 -697
 0
 -921 -690 -697
 0
 920 -921
 0
 689 -921
 0
 -920 -689 921
 0
 -689 696 921
 0
 922 -691 698
 0
 -922 691 698
 0
 922 691 -698
 0
 -922 -691 -698
 0
 921 -922
 0
 690 -922
 0
 -921 -690 922
 0
 -690 697 922
 0
 923 -692 699
 0
 -923 692 699
 0
 923 692 -699
 0
 -923 -692 -699
 0
 922 -923
 0
 691 -923
 0
 -922 -691 923
 0
 -691 698 923
 0
 924 -693 700
 0
 -924 693 700
 0
 924 693 -700
 0
 -924 -693 -700
 0
 923 -924
 0
 692 -924
 0
 -923 -692 924
 0
 -692 699 924
 0
 340 -925
 0
 -340 925
 0
 925 -694 701
 0
 -925 694 701
 0
 925 694 -701
 0
 -925 -694 -701
 0
 926 -695 702
 0
 -926 695 702
 0
 926 695 -702
 0
 -926 -695 -702
 0
 925 -926
 0
 694 -926
 0
 -925 -694 926
 0
 -694 701 926
 0
 927 -696 703
 0
 -927 696 703
 0
 927 696 -703
 0
 -927 -696 -703
 0
 926 -927
 0
 695 -927
 0
 -926 -695 927
 0
 -695 702 927
 0
 928 -697 704
 0
 -928 697 704
 0
 928 697 -704
 0
 -928 -697 -704
 0
 927 -928
 0
 696 -928
 0
 -927 -696 928
 0
 -696 703 928
 0
 929 -698 705
 0
 -929 698 705
 0
 929 698 -705
 0
 -929 -698 -705
 0
 928 -929
 0
 697 -929
 0
 -928 -697 929
 0
 -697 704 929
 0
 930 -699 706
 0
 -930 699 706
 0
 930 699 -706
 0
 -930 -699 -706
 0
 929 -930
 0
 698 -930
 0
 -929 -698 930
 0
 -698 705 930
 0
 931 -700 707
 0
 -931 700 707
 0
 931 700 -707
 0
 -931 -700 -707
 0
 930 -931
 0
 699 -931
 0
 -930 -699 931
 0
 -699 706 931
 0
 357 -932
 0
 -357 932
 0
 932 -701 708
 0
 -932 701 708
 0
 932 701 -708
 0
 -932 -701 -708
 0
 933 -702 709
 0
 -933 702 709
 0
 933 702 -709
 0
 -933 -702 -709
 0
 932 -933
 0
 701 -933
 0
 -932 -701 933
 0
 -701 708 933
 0
 934 -703 710
 0
 -934 703 710
 0
 934 703 -710
 0
 -934 -703 -710
 0
 933 -934
 0
 702 -934
 0
 -933 -702 934
 0
 -702 709 934
 0
 935 -704 711
 0
 -935 704 711
 0
 935 704 -711
 0
 -935 -704 -711
 0
 934 -935
 0
 703 -935
 0
 -934 -703 935
 0
 -703 710 935
 0
 936 -705 712
 0
 -936 705 712
 0
 936 705 -712
 0
 -936 -705 -712
 0
 935 -936
 0
 704 -936
 0
 -935 -704 936
 0
 -704 711 936
 0
 937 -706 713
 0
 -937 706 713
 0
 937 706 -713
 0
 -937 -706 -713
 0
 936 -937
 0
 705 -937
 0
 -936 -705 937
 0
 -705 712 937
 0
 938 -707 714
 0
 -938 707 714
 0
 938 707 -714
 0
 -938 -707 -714
 0
 937 -938
 0
 706 -938
 0
 -937 -706 938
 0
 -706 713 938
 0
 374 -939
 0
 -374 939
 0
 939 -708 715
 0
 -939 708 715
 0
 939 708 -715
 0
 -939 -708 -715
 0
 940 -709 716
 0
 -940 709 716
 0
 940 709 -716
 0
 -940 -709 -716
 0
 939 -940
 0
 708 -940
 0
 -939 -708 940
 0
 -708 715 940
 0
 941 -710 717
 0
 -941 710 717
 0
 941 710 -717
 0
 -941 -710 -717
 0
 940 -941
 0
 709 -941
 0
 -940 -709 941
 0
 -709 716 941
 0
 942 -711 718
 0
 -942 711 718
 0
 942 711 -718
 0
 -942 -711 -718
 0
 941 -942
 0
 710 -942
 0
 -941 -710 942
 0
 -710 717 942
 0
 943 -712 719
 0
 -943 712 719
 0
 943 712 -719
 0
 -943 -712 -719
 0
 942 -943
 0
 711 -943
 0
 -942 -711 943
 0
 -711 718 943
 0
 944 -713 720
 0
 -944 713 720
 0
 944 713 -720
 0
 -944 -713 -720
 0
 943 -944
 0
 712 -944
 0
 -943 -712 944
 0
 -712 719 944
 0
 945 -714 721
 0
 -945 714 721
 0
 945 714 -721
 0
 -945 -714 -721
 0
 944 -945
 0
 713 -945
 0
 -944 -713 945
 0
 -713 720 945
 0
 391 -946
 0
 -391 946
 0
 946 -715 722
 0
 -946 715 722
 0
 946 715 -722
 0
 -946 -715 -722
 0
 947 -716 723
 0
 -947 716 723
 0
 947 716 -723
 0
 -947 -716 -723
 0
 946 -947
 0
 715 -947
 0
 -946 -715 947
 0
 -715 722 947
 0
 948 -717 724
 0
 -948 717 724
 0
 948 717 -724
 0
 -948 -717 -724
 0
 947 -948
 0
 716 -948
 0
 -947 -716 948
 0
 -716 723 948
 0
 949 -718 725
 0
 -949 718 725
 0
 949 718 -725
 0
 -949 -718 -725
 0
 948 -949
 0
 717 -949
 0
 -948 -717 949
 0
 -717 724 949
 0
 950 -719 726
 0
 -950 719 726
 0
 950 719 -726
 0
 -950 -719 -726
 0
 949 -950
 0
 718 -950
 0
 -949 -718 950
 0
 -718 725 950
 0
 951 -720 727
 0
 -951 720 727
 0
 951 720 -727
 0
 -951 -720 -727
 0
 950 -951
 0
 719 -951
 0
 -950 -719 951
 0
 -719 726 951
 0
 952 -721 728
 0
 -952 721 728
 0
 952 721 -728
 0
 -952 -721 -728
 0
 951 -952
 0
 720 -952
 0
 -951 -720 952
 0
 -720 727 952
 0
 408 -953
 0
 -408 953
 0
 953 -722 729
 0
 -953 722 729
 0
 953 722 -729
 0
 -953 -722 -729
 0
 954 -723 730
 0
 -954 723 730
 0
 954 723 -730
 0
 -954 -723 -730
 0
 953 -954
 0
 722 -954
 0
 -953 -722 954
 0
 -722 729 954
 0
 955 -724 731
 0
 -955 724 731
 0
 955 724 -731
 0
 -955 -724 -731
 0
 954 -955
 0
 723 -955
 0
 -954 -723 955
 0
 -723 730 955
 0
 956 -725 732
 0
 -956 725 732
 0
 956 725 -732
 0
 -956 -725 -732
 0
 955 -956
 0
 724 -956
 0
 -955 -724 956
 0
 -724 731 956
 0
 957 -726 733
 0
 -957 726 733
 0
 957 726 -733
 0
 -957 -726 -733
 0
 956 -957
 0
 725 -957
 0
 -956 -725 957
 0
 -725 732 957
 0
 958 -727 734
 0
 -958 727 734
 0
 958 727 -734
 0
 -958 -727 -734
 0
 957 -958
 0
 726 -958
 0
 -957 -726 958
 0
 -726 733 958
 0
 959 -728 735
 0
 -959 728 735
 0
 959 728 -735
 0
 -959 -728 -735
 0
 958 -959
 0
 727 -959
 0
 -958 -727 959
 0
 -727 734 959
 0
 425 -960
 0
 -425 960
 0
 960 -729 736
 0
 -960 729 736
 0
 960 729 -736
 0
 -960 -729 -736
 0
 961 -730 737
 0
 -961 730 737
 0
 961 730 -737
 0
 -961 -730 -737
 0
 960 -961
 0
 729 -961
 0
 -960 -729 961
 0
 -729 736 961
 0
 962 -731 738
 0
 -962 731 738
 0
 962 731 -738
 0
 -962 -731 -738
 0
 961 -962
 0
 730 -962
 0
 -961 -730 962
 0
 -730 737 962
 0
 963 -732 739
 0
 -963 732 739
 0
 963 732 -739
 0
 -963 -732 -739
 0
 962 -963
 0
 731 -963
 0
 -962 -731 963
 0
 -731 738 963
 0
 964 -733 740
 0
 -964 733 740
 0
 964 733 -740
 0
 -964 -733 -740
 0
 963 -964
 0
 732 -964
 0
 -963 -732 964
 0
 -732 739 964
 0
 965 -734 741
 0
 -965 734 741
 0
 965 734 -741
 0
 -965 -734 -741
 0
 964 -965
 0
 733 -965
 0
 -964 -733 965
 0
 -733 740 965
 0
 966 -735 742
 0
 -966 735 742
 0
 966 735 -742
 0
 -966 -735 -742
 0
 965 -966
 0
 734 -966
 0
 -965 -734 966
 0
 -734 741 966
 0
 442 -967
 0
 -442 967
 0
 967 -736 743
 0
 -967 736 743
 0
 967 736 -743
 0
 -967 -736 -743
 0
 968 -737 744
 0
 -968 737 744
 0
 968 737 -744
 0
 -968 -737 -744
 0
 967 -968
 0
 736 -968
 0
 -967 -736 968
 0
 -736 743 968
 0
 969 -738 745
 0
 -969 738 745
 0
 969 738 -745
 0
 -969 -738 -745
 0
 968 -969
 0
 737 -969
 0
 -968 -737 969
 0
 -737 744 969
 0
 970 -739 746
 0
 -970 739 746
 0
 970 739 -746
 0
 -970 -739 -746
 0
 969 -970
 0
 738 -970
 0
 -969 -738 970
 0
 -738 745 970
 0
 971 -740 747
 0
 -971 740 747
 0
 971 740 -747
 0
 -971 -740 -747
 0
 970 -971
 0
 739 -971
 0
 -970 -739 971
 0
 -739 746 971
 0
 972 -741 748
 0
 -972 741 748
 0
 972 741 -748
 0
 -972 -741 -748
 0
 971 -972
 0
 740 -972
 0
 -971 -740 972
 0
 -740 747 972
 0
 973 -742 749
 0
 -973 742 749
 0
 973 742 -749
 0
 -973 -742 -749
 0
 972 -973
 0
 741 -973
 0
 -972 -741 973
 0
 -741 748 973
 0
 459 -974
 0
 -459 974
 0
 974 -743 750
 0
 -974 743 750
 0
 974 743 -750
 0
 -974 -743 -750
 0
 975 -744 751
 0
 -975 744 751
 0
 975 744 -751
 0
 -975 -744 -751
 0
 974 -975
 0
 743 -975
 0
 -974 -743 975
 0
 -743 750 975
 0
 976 -745 752
 0
 -976 745 752
 0
 976 745 -752
 0
 -976 -745 -752
 0
 975 -976
 0
 744 -976
 0
 -975 -744 976
 0
 -744 751 976
 0
 977 -746 753
 0
 -977 746 753
 0
 977 746 -753
 0
 -977 -746 -753
 0
 976 -977
 0
 745 -977
 0
 -976 -745 977
 0
 -745 752 977
 0
 978 -747 754
 0
 -978 747 754
 0
 978 747 -754
 0
 -978 -747 -754
 0
 977 -978
 0
 746 -978
 0
 -977 -746 978
 0
 -746 753 978
 0
 979 -748 755
 0
 -979 748 755
 0
 979 748 -755
 0
 -979 -748 -755
 0
 978 -979
 0
 747 -979
 0
 -978 -747 979
 0
 -747 754 979
 0
 980 -749 756
 0
 -980 749 756
 0
 980 749 -756
 0
 -980 -749 -756
 0
 979 -980
 0
 748 -980
 0
 -979 -748 980
 0
 -748 755 980
 0
 476 -981
 0
 -476 981
 0
 981 -750 757
 0
 -981 750 757
 0
 981 750 -757
 0
 -981 -750 -757
 0
 982 -751 758
 0
 -982 751 758
 0
 982 751 -758
 0
 -982 -751 -758
 0
 981 -982
 0
 750 -982
 0
 -981 -750 982
 0
 -750 757 982
 0
 983 -752 759
 0
 -983 752 759
 0
 983 752 -759
 0
 -983 -752 -759
 0
 982 -983
 0
 751 -983
 0
 -982 -751 983
 0
 -751 758 983
 0
 984 -753 760
 0
 -984 753 760
 0
 984 753 -760
 0
 -984 -753 -760
 0
 983 -984
 0
 752 -984
 0
 -983 -752 984
 0
 -752 759 984
 0
 985 -754 761
 0
 -985 754 761
 0
 985 754 -761
 0
 -985 -754 -761
 0
 984 -985
 0
 753 -985
 0
 -984 -753 985
 0
 -753 760 985
 0
 986 -755 762
 0
 -986 755 762
 0
 986 755 -762
 0
 -986 -755 -762
 0
 985 -986
 0
 754 -986
 0
 -985 -754 986
 0
 -754 761 986
 0
 987 -756 763
 0
 -987 756 763
 0
 987 756 -763
 0
 -987 -756 -763
 0
 986 -987
 0
 755 -987
 0
 -986 -755 987
 0
 -755 762 987
 0
 493 -988
 0
 -493 988
 0
 988 -757 764
 0
 -988 757 764
 0
 988 757 -764
 0
 -988 -757 -764
 0
 989 -758 765
 0
 -989 758 765
 0
 989 758 -765
 0
 -989 -758 -765
 0
 988 -989
 0
 757 -989
 0
 -988 -757 989
 0
 -757 764 989
 0
 990 -759 766
 0
 -990 759 766
 0
 990 759 -766
 0
 -990 -759 -766
 0
 989 -990
 0
 758 -990
 0
 -989 -758 990
 0
 -758 765 990
 0
 991 -760 767
 0
 -991 760 767
 0
 991 760 -767
 0
 -991 -760 -767
 0
 990 -991
 0
 759 -991
 0
 -990 -759 991
 0
 -759 766 991
 0
 992 -761 768
 0
 -992 761 768
 0
 992 761 -768
 0
 -992 -761 -768
 0
 991 -992
 0
 760 -992
 0
 -991 -760 992
 0
 -760 767 992
 0
 993 -762 769
 0
 -993 762 769
 0
 993 762 -769
 0
 -993 -762 -769
 0
 992 -993
 0
 761 -993
 0
 -992 -761 993
 0
 -761 768 993
 0
 994 -763 770
 0
 -994 763 770
 0
 994 763 -770
 0
 -994 -763 -770
 0
 993 -994
 0
 762 -994
 0
 -993 -762 994
 0
 -762 769 994
 0
 510 -995
 0
 -510 995
 0
 995 -764 771
 0
 -995 764 771
 0
 995 764 -771
 0
 -995 -764 -771
 0
 996 -765 772
 0
 -996 765 772
 0
 996 765 -772
 0
 -996 -765 -772
 0
 995 -996
 0
 764 -996
 0
 -995 -764 996
 0
 -764 771 996
 0
 997 -766 773
 0
 -997 766 773
 0
 997 766 -773
 0
 -997 -766 -773
 0
 996 -997
 0
 765 -997
 0
 -996 -765 997
 0
 -765 772 997
 0
 998 -767 774
 0
 -998 767 774
 0
 998 767 -774
 0
 -998 -767 -774
 0
 997 -998
 0
 766 -998
 0
 -997 -766 998
 0
 -766 773 998
 0
 999 -768 775
 0
 -999 768 775
 0
 999 768 -775
 0
 -999 -768 -775
 0
 998 -999
 0
 767 -999
 0
 -998 -767 999
 0
 -767 774 999
 0
 1000 -769 776
 0
 -1000 769 776
 0
 1000 769 -776
 0
 -1000 -769 -776
 0
 999 -1000
 0
 768 -1000
 0
 -999 -768 1000
 0
 -768 775 1000
 0
 1001 -770 777
 0
 -1001 770 777
 0
 1001 770 -777
 0
 -1001 -770 -777
 0
 1000 -1001
 0
 769 -1001
 0
 -1000 -769 1001
 0
 -769 776 1001
 0
 527 -1002
 0
 -527 1002
 0
 1002 -771 778
 0
 -1002 771 778
 0
 1002 771 -778
 0
 -1002 -771 -778
 0
 1003 -772 779
 0
 -1003 772 779
 0
 1003 772 -779
 0
 -1003 -772 -779
 0
 1002 -1003
 0
 771 -1003
 0
 -1002 -771 1003
 0
 -771 778 1003
 0
 1004 -773 780
 0
 -1004 773 780
 0
 1004 773 -780
 0
 -1004 -773 -780
 0
 1003 -1004
 0
 772 -1004
 0
 -1003 -772 1004
 0
 -772 779 1004
 0
 1005 -774 781
 0
 -1005 774 781
 0
 1005 774 -781
 0
 -1005 -774 -781
 0
 1004 -1005
 0
 773 -1005
 0
 -1004 -773 1005
 0
 -773 780 1005
 0
 1006 -775 782
 0
 -1006 775 782
 0
 1006 775 -782
 0
 -1006 -775 -782
 0
 1005 -1006
 0
 774 -1006
 0
 -1005 -774 1006
 0
 -774 781 1006
 0
 1007 -776 783
 0
 -1007 776 783
 0
 1007 776 -783
 0
 -1007 -776 -783
 0
 1006 -1007
 0
 775 -1007
 0
 -1006 -775 1007
 0
 -775 782 1007
 0
 1008 -777 784
 0
 -1008 777 784
 0
 1008 777 -784
 0
 -1008 -777 -784
 0
 1007 -1008
 0
 776 -1008
 0
 -1007 -776 1008
 0
 -776 783 1008
 0
 544 -1009
 0
 -544 1009
 0
 1009 -778 785
 0
 -1009 778 785
 0
 1009 778 -785
 0
 -1009 -778 -785
 0
 1010 -779 786
 0
 -1010 779 786
 0
 1010 779 -786
 0
 -1010 -779 -786
 0
 1009 -1010
 0
 778 -1010
 0
 -1009 -778 1010
 0
 -778 785 1010
 0
 1011 -780 787
 0
 -1011 780 787
 0
 1011 780 -787
 0
 -1011 -780 -787
 0
 1010 -1011
 0
 779 -1011
 0
 -1010 -779 1011
 0
 -779 786 1011
 0
 1012 -781 788
 0
 -1012 781 788
 0
 1012 781 -788
 0
 -1012 -781 -788
 0
 1011 -1012
 0
 780 -1012
 0
 -1011 -780 1012
 0
 -780 787 1012
 0
 1013 -782 789
 0
 -1013 782 789
 0
 1013 782 -789
 0
 -1013 -782 -789
 0
 1012 -1013
 0
 781 -1013
 0
 -1012 -781 1013
 0
 -781 788 1013
 0
 1014 -783 790
 0
 -1014 783 790
 0
 1014 783 -790
 0
 -1014 -783 -790
 0
 1013 -1014
 0
 782 -1014
 0
 -1013 -782 1014
 0
 -782 789 1014
 0
 1015 -784 791
 0
 -1015 784 791
 0
 1015 784 -791
 0
 -1015 -784 -791
 0
 1014 -1015
 0
 783 -1015
 0
 -1014 -783 1015
 0
 -783 790 1015
 0
 -791
 0
 -790
 0
 -789
 0
 -788
 0
 -787
 0
 -798
 0
 -805
 0
 -812
 0
 -819
 0
 -826
 0
 -833
 0
 -840
 0
 -847
 0
 -854
 0
 -861
 0
 -868
 0
 -875
 0
 -882
 0
 -889
 0
 -896
 0
 -903
 0
 -910
 0
 -917
 0
 -924
 0
 -931
 0
 -938
 0
 -945
 0
 -952
 0
 -959
 0
 -966
 0
 -973
 0
 -980
 0
 -987
 0
 -994
 0
 -1001
 0
 -1008
 0
 -1015
 0