c Filename:  ii8c1.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 510 3065
 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 
 -1 -4 -5 -8 -9 -12
 -13 -16
 0 
 -17 -20 -21 -24 -25 -28
 -29 -32
 0 
 -33 -36 -37 -40 -41 -44
 -45 -48
 0 
 -49 -52 -53 -56 -57 -60
 -61 -64
 0 
 -65 -68 -69 -72 -73 -76
 -77 -80
 0 
 -81 -84 -85 -88 -89 -92
 -93 -96
 0 
 -97 -100 -101 -104 -105 -108
 -109 -112
 0 
 -113 -116 -117 -120 -121 -124
 -125 -128
 0 
 -129 -132 -133 -136 -137 -140
 -141 -144
 0 
 -145 -148 -149 -152 -153 -156
 -157 -160
 0 
 -2 -3 -6 -7 -9 -12
 -13 -16
 0 
 -18 -19 -22 -23 -25 -28
 -29 -32
 0 
 -34 -35 -38 -39 -41 -44
 -45 -48
 0 
 -50 -51 -54 -55 -57 -60
 -61 -64
 0 
 -66 -67 -70 -71 -73 -76
 -77 -80
 0 
 -82 -83 -86 -87 -89 -92
 -93 -96
 0 
 -98 -99 -102 -103 -105 -108
 -109 -112
 0 
 -114 -115 -118 -119 -121 -124
 -125 -128
 0 
 -130 -131 -134 -135 -137 -140
 -141 -144
 0 
 -146 -147 -150 -151 -153 -156
 -157 -160
 0 
 -1 -4 -5 -7 -9 -11
 -13 -16
 0 
 -17 -20 -21 -23 -25 -27
 -29 -32
 0 
 -33 -36 -37 -39 -41 -43
 -45 -48
 0 
 -49 -52 -53 -55 -57 -59
 -61 -64
 0 
 -65 -68 -69 -71 -73 -75
 -77 -80
 0 
 -81 -84 -85 -87 -89 -91
 -93 -96
 0 
 -97 -100 -101 -103 -105 -107
 -109 -112
 0 
 -113 -116 -117 -119 -121 -123
 -125 -128
 0 
 -129 -132 -133 -135 -137 -139
 -141 -144
 0 
 -145 -148 -149 -151 -153 -155
 -157 -160
 0 
 -1 -4 -6 -8 -9 -12
 -13 -16
 0 
 -17 -20 -22 -24 -25 -28
 -29 -32
 0 
 -33 -36 -38 -40 -41 -44
 -45 -48
 0 
 -49 -52 -54 -56 -57 -60
 -61 -64
 0 
 -65 -68 -70 -72 -73 -76
 -77 -80
 0 
 -81 -84 -86 -88 -89 -92
 -93 -96
 0 
 -97 -100 -102 -104 -105 -108
 -109 -112
 0 
 -113 -116 -118 -120 -121 -124
 -125 -128
 0 
 -129 -132 -134 -136 -137 -140
 -141 -144
 0 
 -145 -148 -150 -152 -153 -156
 -157 -160
 0 
 -1 -3 -6 -7 -9 -11
 -13 -16
 0 
 -17 -19 -22 -23 -25 -27
 -29 -32
 0 
 -33 -35 -38 -39 -41 -43
 -45 -48
 0 
 -49 -51 -54 -55 -57 -59
 -61 -64
 0 
 -65 -67 -70 -71 -73 -75
 -77 -80
 0 
 -81 -83 -86 -87 -89 -91
 -93 -96
 0 
 -97 -99 -102 -103 -105 -107
 -109 -112
 0 
 -113 -115 -118 -119 -121 -123
 -125 -128
 0 
 -129 -131 -134 -135 -137 -139
 -141 -144
 0 
 -145 -147 -150 -151 -153 -155
 -157 -160
 0 
 -2 -3 -5 -8 -9 -12
 -13 -16
 0 
 -18 -19 -21 -24 -25 -28
 -29 -32
 0 
 -34 -35 -37 -40 -41 -44
 -45 -48
 0 
 -50 -51 -53 -56 -57 -60
 -61 -64
 0 
 -66 -67 -69 -72 -73 -76
 -77 -80
 0 
 -82 -83 -85 -88 -89 -92
 -93 -96
 0 
 -98 -99 -101 -104 -105 -108
 -109 -112
 0 
 -114 -115 -117 -120 -121 -124
 -125 -128
 0 
 -130 -131 -133 -136 -137 -140
 -141 -144
 0 
 -146 -147 -149 -152 -153 -156
 -157 -160
 0 
 -2 -3 -5 -8 -9 -11
 -13 -16
 0 
 -18 -19 -21 -24 -25 -27
 -29 -32
 0 
 -34 -35 -37 -40 -41 -43
 -45 -48
 0 
 -50 -51 -53 -56 -57 -59
 -61 -64
 0 
 -66 -67 -69 -72 -73 -75
 -77 -80
 0 
 -82 -83 -85 -88 -89 -91
 -93 -96
 0 
 -98 -99 -101 -104 -105 -107
 -109 -112
 0 
 -114 -115 -117 -120 -121 -123
 -125 -128
 0 
 -130 -131 -133 -136 -137 -139
 -141 -144
 0 
 -146 -147 -149 -152 -153 -155
 -157 -160
 0 
 -2 -4 -6 -8 -9 -11
 -13 -15
 0 
 -18 -20 -22 -24 -25 -27
 -29 -31
 0 
 -34 -36 -38 -40 -41 -43
 -45 -47
 0 
 -50 -52 -54 -56 -57 -59
 -61 -63
 0 
 -66 -68 -70 -72 -73 -75
 -77 -79
 0 
 -82 -84 -86 -88 -89 -91
 -93 -95
 0 
 -98 -100 -102 -104 -105 -107
 -109 -111
 0 
 -114 -116 -118 -120 -121 -123
 -125 -127
 0 
 -130 -132 -134 -136 -137 -139
 -141 -143
 0 
 -146 -148 -150 -152 -153 -155
 -157 -159
 0 
 -2 -3 -5 -8 -9 -11
 -13 -15
 0 
 -18 -19 -21 -24 -25 -27
 -29 -31
 0 
 -34 -35 -37 -40 -41 -43
 -45 -47
 0 
 -50 -51 -53 -56 -57 -59
 -61 -63
 0 
 -66 -67 -69 -72 -73 -75
 -77 -79
 0 
 -82 -83 -85 -88 -89 -91
 -93 -95
 0 
 -98 -99 -101 -104 -105 -107
 -109 -111
 0 
 -114 -115 -117 -120 -121 -123
 -125 -127
 0 
 -130 -131 -133 -136 -137 -139
 -141 -143
 0 
 -146 -147 -149 -152 -153 -155
 -157 -159
 0 
 -1 -4 -5 -8 -9 -11
 -13 -16
 0 
 -17 -20 -21 -24 -25 -27
 -29 -32
 0 
 -33 -36 -37 -40 -41 -43
 -45 -48
 0 
 -49 -52 -53 -56 -57 -59
 -61 -64
 0 
 -65 -68 -69 -72 -73 -75
 -77 -80
 0 
 -81 -84 -85 -88 -89 -91
 -93 -96
 0 
 -97 -100 -101 -104 -105 -107
 -109 -112
 0 
 -113 -116 -117 -120 -121 -123
 -125 -128
 0 
 -129 -132 -133 -136 -137 -139
 -141 -144
 0 
 -145 -148 -149 -152 -153 -155
 -157 -160
 0 
 -2 -4 -6 -7 -9 -12
 -13 -16
 0 
 -18 -20 -22 -23 -25 -28
 -29 -32
 0 
 -34 -36 -38 -39 -41 -44
 -45 -48
 0 
 -50 -52 -54 -55 -57 -60
 -61 -64
 0 
 -66 -68 -70 -71 -73 -76
 -77 -80
 0 
 -82 -84 -86 -87 -89 -92
 -93 -96
 0 
 -98 -100 -102 -103 -105 -108
 -109 -112
 0 
 -114 -116 -118 -119 -121 -124
 -125 -128
 0 
 -130 -132 -134 -135 -137 -140
 -141 -144
 0 
 -146 -148 -150 -151 -153 -156
 -157 -160
 0 
 -2 -3 -5 -8 -9 -12
 -13 -16
 0 
 -18 -19 -21 -24 -25 -28
 -29 -32
 0 
 -34 -35 -37 -40 -41 -44
 -45 -48
 0 
 -50 -51 -53 -56 -57 -60
 -61 -64
 0 
 -66 -67 -69 -72 -73 -76
 -77 -80
 0 
 -82 -83 -85 -88 -89 -92
 -93 -96
 0 
 -98 -99 -101 -104 -105 -108
 -109 -112
 0 
 -114 -115 -117 -120 -121 -124
 -125 -128
 0 
 -130 -131 -133 -136 -137 -140
 -141 -144
 0 
 -146 -147 -149 -152 -153 -156
 -157 -160
 0 
 -1 -3 -6 -8 -9 -11
 -13 -16
 0 
 -17 -19 -22 -24 -25 -27
 -29 -32
 0 
 -33 -35 -38 -40 -41 -43
 -45 -48
 0 
 -49 -51 -54 -56 -57 -59
 -61 -64
 0 
 -65 -67 -70 -72 -73 -75
 -77 -80
 0 
 -81 -83 -86 -88 -89 -91
 -93 -96
 0 
 -97 -99 -102 -104 -105 -107
 -109 -112
 0 
 -113 -115 -118 -120 -121 -123
 -125 -128
 0 
 -129 -131 -134 -136 -137 -139
 -141 -144
 0 
 -145 -147 -150 -152 -153 -155
 -157 -160
 0 
 -1 -3 -5 -8 -9 -12
 -13 -16
 0 
 -17 -19 -21 -24 -25 -28
 -29 -32
 0 
 -33 -35 -37 -40 -41 -44
 -45 -48
 0 
 -49 -51 -53 -56 -57 -60
 -61 -64
 0 
 -65 -67 -69 -72 -73 -76
 -77 -80
 0 
 -81 -83 -85 -88 -89 -92
 -93 -96
 0 
 -97 -99 -101 -104 -105 -108
 -109 -112
 0 
 -113 -115 -117 -120 -121 -124
 -125 -128
 0 
 -129 -131 -133 -136 -137 -140
 -141 -144
 0 
 -145 -147 -149 -152 -153 -156
 -157 -160
 0 
 -2 -4 -5 -8 -9 -11
 -13 -16
 0 
 -18 -20 -21 -24 -25 -27
 -29 -32
 0 
 -34 -36 -37 -40 -41 -43
 -45 -48
 0 
 -50 -52 -53 -56 -57 -59
 -61 -64
 0 
 -66 -68 -69 -72 -73 -75
 -77 -80
 0 
 -82 -84 -85 -88 -89 -91
 -93 -96
 0 
 -98 -100 -101 -104 -105 -107
 -109 -112
 0 
 -114 -116 -117 -120 -121 -123
 -125 -128
 0 
 -130 -132 -133 -136 -137 -139
 -141 -144
 0 
 -146 -148 -149 -152 -153 -155
 -157 -160
 0 
 1 -161
 0 
 4 -161
 0 
 6 -161
 0 
 8 -161
 0 
 10 -161
 0 
 12 -161
 0 
 13 -161
 0 
 16 -161
 0 
 17 -162
 0 
 20 -162
 0 
 22 -162
 0 
 24 -162
 0 
 26 -162
 0 
 28 -162
 0 
 29 -162
 0 
 32 -162
 0 
 33 -163
 0 
 36 -163
 0 
 38 -163
 0 
 40 -163
 0 
 42 -163
 0 
 44 -163
 0 
 45 -163
 0 
 48 -163
 0 
 49 -164
 0 
 52 -164
 0 
 54 -164
 0 
 56 -164
 0 
 58 -164
 0 
 60 -164
 0 
 61 -164
 0 
 64 -164
 0 
 65 -165
 0 
 68 -165
 0 
 70 -165
 0 
 72 -165
 0 
 74 -165
 0 
 76 -165
 0 
 77 -165
 0 
 80 -165
 0 
 81 -166
 0 
 84 -166
 0 
 86 -166
 0 
 88 -166
 0 
 90 -166
 0 
 92 -166
 0 
 93 -166
 0 
 96 -166
 0 
 97 -167
 0 
 100 -167
 0 
 102 -167
 0 
 104 -167
 0 
 106 -167
 0 
 108 -167
 0 
 109 -167
 0 
 112 -167
 0 
 113 -168
 0 
 116 -168
 0 
 118 -168
 0 
 120 -168
 0 
 122 -168
 0 
 124 -168
 0 
 125 -168
 0 
 128 -168
 0 
 129 -169
 0 
 132 -169
 0 
 134 -169
 0 
 136 -169
 0 
 138 -169
 0 
 140 -169
 0 
 141 -169
 0 
 144 -169
 0 
 145 -170
 0 
 148 -170
 0 
 150 -170
 0 
 152 -170
 0 
 154 -170
 0 
 156 -170
 0 
 157 -170
 0 
 160 -170
 0 
 1 -171
 0 
 4 -171
 0 
 6 -171
 0 
 8 -171
 0 
 9 -171
 0 
 12 -171
 0 
 14 -171
 0 
 16 -171
 0 
 17 -172
 0 
 20 -172
 0 
 22 -172
 0 
 24 -172
 0 
 25 -172
 0 
 28 -172
 0 
 30 -172
 0 
 32 -172
 0 
 33 -173
 0 
 36 -173
 0 
 38 -173
 0 
 40 -173
 0 
 41 -173
 0 
 44 -173
 0 
 46 -173
 0 
 48 -173
 0 
 49 -174
 0 
 52 -174
 0 
 54 -174
 0 
 56 -174
 0 
 57 -174
 0 
 60 -174
 0 
 62 -174
 0 
 64 -174
 0 
 65 -175
 0 
 68 -175
 0 
 70 -175
 0 
 72 -175
 0 
 73 -175
 0 
 76 -175
 0 
 78 -175
 0 
 80 -175
 0 
 81 -176
 0 
 84 -176
 0 
 86 -176
 0 
 88 -176
 0 
 89 -176
 0 
 92 -176
 0 
 94 -176
 0 
 96 -176
 0 
 97 -177
 0 
 100 -177
 0 
 102 -177
 0 
 104 -177
 0 
 105 -177
 0 
 108 -177
 0 
 110 -177
 0 
 112 -177
 0 
 113 -178
 0 
 116 -178
 0 
 118 -178
 0 
 120 -178
 0 
 121 -178
 0 
 124 -178
 0 
 126 -178
 0 
 128 -178
 0 
 129 -179
 0 
 132 -179
 0 
 134 -179
 0 
 136 -179
 0 
 137 -179
 0 
 140 -179
 0 
 142 -179
 0 
 144 -179
 0 
 145 -180
 0 
 148 -180
 0 
 150 -180
 0 
 152 -180
 0 
 153 -180
 0 
 156 -180
 0 
 158 -180
 0 
 160 -180
 0 
 1 -181
 0 
 4 -181
 0 
 5 -181
 0 
 7 -181
 0 
 10 -181
 0 
 11 -181
 0 
 13 -181
 0 
 16 -181
 0 
 17 -182
 0 
 20 -182
 0 
 21 -182
 0 
 23 -182
 0 
 26 -182
 0 
 27 -182
 0 
 29 -182
 0 
 32 -182
 0 
 33 -183
 0 
 36 -183
 0 
 37 -183
 0 
 39 -183
 0 
 42 -183
 0 
 43 -183
 0 
 45 -183
 0 
 48 -183
 0 
 49 -184
 0 
 52 -184
 0 
 53 -184
 0 
 55 -184
 0 
 58 -184
 0 
 59 -184
 0 
 61 -184
 0 
 64 -184
 0 
 65 -185
 0 
 68 -185
 0 
 69 -185
 0 
 71 -185
 0 
 74 -185
 0 
 75 -185
 0 
 77 -185
 0 
 80 -185
 0 
 81 -186
 0 
 84 -186
 0 
 85 -186
 0 
 87 -186
 0 
 90 -186
 0 
 91 -186
 0 
 93 -186
 0 
 96 -186
 0 
 97 -187
 0 
 100 -187
 0 
 101 -187
 0 
 103 -187
 0 
 106 -187
 0 
 107 -187
 0 
 109 -187
 0 
 112 -187
 0 
 113 -188
 0 
 116 -188
 0 
 117 -188
 0 
 119 -188
 0 
 122 -188
 0 
 123 -188
 0 
 125 -188
 0 
 128 -188
 0 
 129 -189
 0 
 132 -189
 0 
 133 -189
 0 
 135 -189
 0 
 138 -189
 0 
 139 -189
 0 
 141 -189
 0 
 144 -189
 0 
 145 -190
 0 
 148 -190
 0 
 149 -190
 0 
 151 -190
 0 
 154 -190
 0 
 155 -190
 0 
 157 -190
 0 
 160 -190
 0 
 2 -191
 0 
 3 -191
 0 
 6 -191
 0 
 7 -191
 0 
 10 -191
 0 
 12 -191
 0 
 14 -191
 0 
 15 -191
 0 
 18 -192
 0 
 19 -192
 0 
 22 -192
 0 
 23 -192
 0 
 26 -192
 0 
 28 -192
 0 
 30 -192
 0 
 31 -192
 0 
 34 -193
 0 
 35 -193
 0 
 38 -193
 0 
 39 -193
 0 
 42 -193
 0 
 44 -193
 0 
 46 -193
 0 
 47 -193
 0 
 50 -194
 0 
 51 -194
 0 
 54 -194
 0 
 55 -194
 0 
 58 -194
 0 
 60 -194
 0 
 62 -194
 0 
 63 -194
 0 
 66 -195
 0 
 67 -195
 0 
 70 -195
 0 
 71 -195
 0 
 74 -195
 0 
 76 -195
 0 
 78 -195
 0 
 79 -195
 0 
 82 -196
 0 
 83 -196
 0 
 86 -196
 0 
 87 -196
 0 
 90 -196
 0 
 92 -196
 0 
 94 -196
 0 
 95 -196
 0 
 98 -197
 0 
 99 -197
 0 
 102 -197
 0 
 103 -197
 0 
 106 -197
 0 
 108 -197
 0 
 110 -197
 0 
 111 -197
 0 
 114 -198
 0 
 115 -198
 0 
 118 -198
 0 
 119 -198
 0 
 122 -198
 0 
 124 -198
 0 
 126 -198
 0 
 127 -198
 0 
 130 -199
 0 
 131 -199
 0 
 134 -199
 0 
 135 -199
 0 
 138 -199
 0 
 140 -199
 0 
 142 -199
 0 
 143 -199
 0 
 146 -200
 0 
 147 -200
 0 
 150 -200
 0 
 151 -200
 0 
 154 -200
 0 
 156 -200
 0 
 158 -200
 0 
 159 -200
 0 
 1 -201
 0 
 3 -201
 0 
 5 -201
 0 
 8 -201
 0 
 9 -201
 0 
 12 -201
 0 
 14 -201
 0 
 15 -201
 0 
 17 -202
 0 
 19 -202
 0 
 21 -202
 0 
 24 -202
 0 
 25 -202
 0 
 28 -202
 0 
 30 -202
 0 
 31 -202
 0 
 33 -203
 0 
 35 -203
 0 
 37 -203
 0 
 40 -203
 0 
 41 -203
 0 
 44 -203
 0 
 46 -203
 0 
 47 -203
 0 
 49 -204
 0 
 51 -204
 0 
 53 -204
 0 
 56 -204
 0 
 57 -204
 0 
 60 -204
 0 
 62 -204
 0 
 63 -204
 0 
 65 -205
 0 
 67 -205
 0 
 69 -205
 0 
 72 -205
 0 
 73 -205
 0 
 76 -205
 0 
 78 -205
 0 
 79 -205
 0 
 81 -206
 0 
 83 -206
 0 
 85 -206
 0 
 88 -206
 0 
 89 -206
 0 
 92 -206
 0 
 94 -206
 0 
 95 -206
 0 
 97 -207
 0 
 99 -207
 0 
 101 -207
 0 
 104 -207
 0 
 105 -207
 0 
 108 -207
 0 
 110 -207
 0 
 111 -207
 0 
 113 -208
 0 
 115 -208
 0 
 117 -208
 0 
 120 -208
 0 
 121 -208
 0 
 124 -208
 0 
 126 -208
 0 
 127 -208
 0 
 129 -209
 0 
 131 -209
 0 
 133 -209
 0 
 136 -209
 0 
 137 -209
 0 
 140 -209
 0 
 142 -209
 0 
 143 -209
 0 
 145 -210
 0 
 147 -210
 0 
 149 -210
 0 
 152 -210
 0 
 153 -210
 0 
 156 -210
 0 
 158 -210
 0 
 159 -210
 0 
 1 -211
 0 
 3 -211
 0 
 5 -211
 0 
 8 -211
 0 
 10 -211
 0 
 11 -211
 0 
 13 -211
 0 
 15 -211
 0 
 17 -212
 0 
 19 -212
 0 
 21 -212
 0 
 24 -212
 0 
 26 -212
 0 
 27 -212
 0 
 29 -212
 0 
 31 -212
 0 
 33 -213
 0 
 35 -213
 0 
 37 -213
 0 
 40 -213
 0 
 42 -213
 0 
 43 -213
 0 
 45 -213
 0 
 47 -213
 0 
 49 -214
 0 
 51 -214
 0 
 53 -214
 0 
 56 -214
 0 
 58 -214
 0 
 59 -214
 0 
 61 -214
 0 
 63 -214
 0 
 65 -215
 0 
 67 -215
 0 
 69 -215
 0 
 72 -215
 0 
 74 -215
 0 
 75 -215
 0 
 77 -215
 0 
 79 -215
 0 
 81 -216
 0 
 83 -216
 0 
 85 -216
 0 
 88 -216
 0 
 90 -216
 0 
 91 -216
 0 
 93 -216
 0 
 95 -216
 0 
 97 -217
 0 
 99 -217
 0 
 101 -217
 0 
 104 -217
 0 
 106 -217
 0 
 107 -217
 0 
 109 -217
 0 
 111 -217
 0 
 113 -218
 0 
 115 -218
 0 
 117 -218
 0 
 120 -218
 0 
 122 -218
 0 
 123 -218
 0 
 125 -218
 0 
 127 -218
 0 
 129 -219
 0 
 131 -219
 0 
 133 -219
 0 
 136 -219
 0 
 138 -219
 0 
 139 -219
 0 
 141 -219
 0 
 143 -219
 0 
 145 -220
 0 
 147 -220
 0 
 149 -220
 0 
 152 -220
 0 
 154 -220
 0 
 155 -220
 0 
 157 -220
 0 
 159 -220
 0 
 1 -221
 0 
 4 -221
 0 
 5 -221
 0 
 7 -221
 0 
 10 -221
 0 
 12 -221
 0 
 14 -221
 0 
 16 -221
 0 
 17 -222
 0 
 20 -222
 0 
 21 -222
 0 
 23 -222
 0 
 26 -222
 0 
 28 -222
 0 
 30 -222
 0 
 32 -222
 0 
 33 -223
 0 
 36 -223
 0 
 37 -223
 0 
 39 -223
 0 
 42 -223
 0 
 44 -223
 0 
 46 -223
 0 
 48 -223
 0 
 49 -224
 0 
 52 -224
 0 
 53 -224
 0 
 55 -224
 0 
 58 -224
 0 
 60 -224
 0 
 62 -224
 0 
 64 -224
 0 
 65 -225
 0 
 68 -225
 0 
 69 -225
 0 
 71 -225
 0 
 74 -225
 0 
 76 -225
 0 
 78 -225
 0 
 80 -225
 0 
 81 -226
 0 
 84 -226
 0 
 85 -226
 0 
 87 -226
 0 
 90 -226
 0 
 92 -226
 0 
 94 -226
 0 
 96 -226
 0 
 97 -227
 0 
 100 -227
 0 
 101 -227
 0 
 103 -227
 0 
 106 -227
 0 
 108 -227
 0 
 110 -227
 0 
 112 -227
 0 
 113 -228
 0 
 116 -228
 0 
 117 -228
 0 
 119 -228
 0 
 122 -228
 0 
 124 -228
 0 
 126 -228
 0 
 128 -228
 0 
 129 -229
 0 
 132 -229
 0 
 133 -229
 0 
 135 -229
 0 
 138 -229
 0 
 140 -229
 0 
 142 -229
 0 
 144 -229
 0 
 145 -230
 0 
 148 -230
 0 
 149 -230
 0 
 151 -230
 0 
 154 -230
 0 
 156 -230
 0 
 158 -230
 0 
 160 -230
 0 
 2 -231
 0 
 4 -231
 0 
 6 -231
 0 
 7 -231
 0 
 10 -231
 0 
 11 -231
 0 
 13 -231
 0 
 16 -231
 0 
 18 -232
 0 
 20 -232
 0 
 22 -232
 0 
 23 -232
 0 
 26 -232
 0 
 27 -232
 0 
 29 -232
 0 
 32 -232
 0 
 34 -233
 0 
 36 -233
 0 
 38 -233
 0 
 39 -233
 0 
 42 -233
 0 
 43 -233
 0 
 45 -233
 0 
 48 -233
 0 
 50 -234
 0 
 52 -234
 0 
 54 -234
 0 
 55 -234
 0 
 58 -234
 0 
 59 -234
 0 
 61 -234
 0 
 64 -234
 0 
 66 -235
 0 
 68 -235
 0 
 70 -235
 0 
 71 -235
 0 
 74 -235
 0 
 75 -235
 0 
 77 -235
 0 
 80 -235
 0 
 82 -236
 0 
 84 -236
 0 
 86 -236
 0 
 87 -236
 0 
 90 -236
 0 
 91 -236
 0 
 93 -236
 0 
 96 -236
 0 
 98 -237
 0 
 100 -237
 0 
 102 -237
 0 
 103 -237
 0 
 106 -237
 0 
 107 -237
 0 
 109 -237
 0 
 112 -237
 0 
 114 -238
 0 
 116 -238
 0 
 118 -238
 0 
 119 -238
 0 
 122 -238
 0 
 123 -238
 0 
 125 -238
 0 
 128 -238
 0 
 130 -239
 0 
 132 -239
 0 
 134 -239
 0 
 135 -239
 0 
 138 -239
 0 
 139 -239
 0 
 141 -239
 0 
 144 -239
 0 
 146 -240
 0 
 148 -240
 0 
 150 -240
 0 
 151 -240
 0 
 154 -240
 0 
 155 -240
 0 
 157 -240
 0 
 160 -240
 0 
 1 -241
 0 
 4 -241
 0 
 5 -241
 0 
 8 -241
 0 
 10 -241
 0 
 12 -241
 0 
 13 -241
 0 
 15 -241
 0 
 17 -242
 0 
 20 -242
 0 
 21 -242
 0 
 24 -242
 0 
 26 -242
 0 
 28 -242
 0 
 29 -242
 0 
 31 -242
 0 
 33 -243
 0 
 36 -243
 0 
 37 -243
 0 
 40 -243
 0 
 42 -243
 0 
 44 -243
 0 
 45 -243
 0 
 47 -243
 0 
 49 -244
 0 
 52 -244
 0 
 53 -244
 0 
 56 -244
 0 
 58 -244
 0 
 60 -244
 0 
 61 -244
 0 
 63 -244
 0 
 65 -245
 0 
 68 -245
 0 
 69 -245
 0 
 72 -245
 0 
 74 -245
 0 
 76 -245
 0 
 77 -245
 0 
 79 -245
 0 
 81 -246
 0 
 84 -246
 0 
 85 -246
 0 
 88 -246
 0 
 90 -246
 0 
 92 -246
 0 
 93 -246
 0 
 95 -246
 0 
 97 -247
 0 
 100 -247
 0 
 101 -247
 0 
 104 -247
 0 
 106 -247
 0 
 108 -247
 0 
 109 -247
 0 
 111 -247
 0 
 113 -248
 0 
 116 -248
 0 
 117 -248
 0 
 120 -248
 0 
 122 -248
 0 
 124 -248
 0 
 125 -248
 0 
 127 -248
 0 
 129 -249
 0 
 132 -249
 0 
 133 -249
 0 
 136 -249
 0 
 138 -249
 0 
 140 -249
 0 
 141 -249
 0 
 143 -249
 0 
 145 -250
 0 
 148 -250
 0 
 149 -250
 0 
 152 -250
 0 
 154 -250
 0 
 156 -250
 0 
 157 -250
 0 
 159 -250
 0 
 1 -251
 0 
 3 -251
 0 
 6 -251
 0 
 7 -251
 0 
 10 -251
 0 
 11 -251
 0 
 14 -251
 0 
 16 -251
 0 
 17 -252
 0 
 19 -252
 0 
 22 -252
 0 
 23 -252
 0 
 26 -252
 0 
 27 -252
 0 
 30 -252
 0 
 32 -252
 0 
 33 -253
 0 
 35 -253
 0 
 38 -253
 0 
 39 -253
 0 
 42 -253
 0 
 43 -253
 0 
 46 -253
 0 
 48 -253
 0 
 49 -254
 0 
 51 -254
 0 
 54 -254
 0 
 55 -254
 0 
 58 -254
 0 
 59 -254
 0 
 62 -254
 0 
 64 -254
 0 
 65 -255
 0 
 67 -255
 0 
 70 -255
 0 
 71 -255
 0 
 74 -255
 0 
 75 -255
 0 
 78 -255
 0 
 80 -255
 0 
 81 -256
 0 
 83 -256
 0 
 86 -256
 0 
 87 -256
 0 
 90 -256
 0 
 91 -256
 0 
 94 -256
 0 
 96 -256
 0 
 97 -257
 0 
 99 -257
 0 
 102 -257
 0 
 103 -257
 0 
 106 -257
 0 
 107 -257
 0 
 110 -257
 0 
 112 -257
 0 
 113 -258
 0 
 115 -258
 0 
 118 -258
 0 
 119 -258
 0 
 122 -258
 0 
 123 -258
 0 
 126 -258
 0 
 128 -258
 0 
 129 -259
 0 
 131 -259
 0 
 134 -259
 0 
 135 -259
 0 
 138 -259
 0 
 139 -259
 0 
 142 -259
 0 
 144 -259
 0 
 145 -260
 0 
 147 -260
 0 
 150 -260
 0 
 151 -260
 0 
 154 -260
 0 
 155 -260
 0 
 158 -260
 0 
 160 -260
 0 
 2 -261
 0 
 3 -261
 0 
 5 -261
 0 
 8 -261
 0 
 10 -261
 0 
 11 -261
 0 
 13 -261
 0 
 15 -261
 0 
 18 -262
 0 
 19 -262
 0 
 21 -262
 0 
 24 -262
 0 
 26 -262
 0 
 27 -262
 0 
 29 -262
 0 
 31 -262
 0 
 34 -263
 0 
 35 -263
 0 
 37 -263
 0 
 40 -263
 0 
 42 -263
 0 
 43 -263
 0 
 45 -263
 0 
 47 -263
 0 
 50 -264
 0 
 51 -264
 0 
 53 -264
 0 
 56 -264
 0 
 58 -264
 0 
 59 -264
 0 
 61 -264
 0 
 63 -264
 0 
 66 -265
 0 
 67 -265
 0 
 69 -265
 0 
 72 -265
 0 
 74 -265
 0 
 75 -265
 0 
 77 -265
 0 
 79 -265
 0 
 82 -266
 0 
 83 -266
 0 
 85 -266
 0 
 88 -266
 0 
 90 -266
 0 
 91 -266
 0 
 93 -266
 0 
 95 -266
 0 
 98 -267
 0 
 99 -267
 0 
 101 -267
 0 
 104 -267
 0 
 106 -267
 0 
 107 -267
 0 
 109 -267
 0 
 111 -267
 0 
 114 -268
 0 
 115 -268
 0 
 117 -268
 0 
 120 -268
 0 
 122 -268
 0 
 123 -268
 0 
 125 -268
 0 
 127 -268
 0 
 130 -269
 0 
 131 -269
 0 
 133 -269
 0 
 136 -269
 0 
 138 -269
 0 
 139 -269
 0 
 141 -269
 0 
 143 -269
 0 
 146 -270
 0 
 147 -270
 0 
 149 -270
 0 
 152 -270
 0 
 154 -270
 0 
 155 -270
 0 
 157 -270
 0 
 159 -270
 0 
 1 -271
 0 
 3 -271
 0 
 6 -271
 0 
 7 -271
 0 
 9 -271
 0 
 12 -271
 0 
 14 -271
 0 
 15 -271
 0 
 17 -272
 0 
 19 -272
 0 
 22 -272
 0 
 23 -272
 0 
 25 -272
 0 
 28 -272
 0 
 30 -272
 0 
 31 -272
 0 
 33 -273
 0 
 35 -273
 0 
 38 -273
 0 
 39 -273
 0 
 41 -273
 0 
 44 -273
 0 
 46 -273
 0 
 47 -273
 0 
 49 -274
 0 
 51 -274
 0 
 54 -274
 0 
 55 -274
 0 
 57 -274
 0 
 60 -274
 0 
 62 -274
 0 
 63 -274
 0 
 65 -275
 0 
 67 -275
 0 
 70 -275
 0 
 71 -275
 0 
 73 -275
 0 
 76 -275
 0 
 78 -275
 0 
 79 -275
 0 
 81 -276
 0 
 83 -276
 0 
 86 -276
 0 
 87 -276
 0 
 89 -276
 0 
 92 -276
 0 
 94 -276
 0 
 95 -276
 0 
 97 -277
 0 
 99 -277
 0 
 102 -277
 0 
 103 -277
 0 
 105 -277
 0 
 108 -277
 0 
 110 -277
 0 
 111 -277
 0 
 113 -278
 0 
 115 -278
 0 
 118 -278
 0 
 119 -278
 0 
 121 -278
 0 
 124 -278
 0 
 126 -278
 0 
 127 -278
 0 
 129 -279
 0 
 131 -279
 0 
 134 -279
 0 
 135 -279
 0 
 137 -279
 0 
 140 -279
 0 
 142 -279
 0 
 143 -279
 0 
 145 -280
 0 
 147 -280
 0 
 150 -280
 0 
 151 -280
 0 
 153 -280
 0 
 156 -280
 0 
 158 -280
 0 
 159 -280
 0 
 1 -281
 0 
 4 -281
 0 
 6 -281
 0 
 7 -281
 0 
 10 -281
 0 
 11 -281
 0 
 13 -281
 0 
 16 -281
 0 
 17 -282
 0 
 20 -282
 0 
 22 -282
 0 
 23 -282
 0 
 26 -282
 0 
 27 -282
 0 
 29 -282
 0 
 32 -282
 0 
 33 -283
 0 
 36 -283
 0 
 38 -283
 0 
 39 -283
 0 
 42 -283
 0 
 43 -283
 0 
 45 -283
 0 
 48 -283
 0 
 49 -284
 0 
 52 -284
 0 
 54 -284
 0 
 55 -284
 0 
 58 -284
 0 
 59 -284
 0 
 61 -284
 0 
 64 -284
 0 
 65 -285
 0 
 68 -285
 0 
 70 -285
 0 
 71 -285
 0 
 74 -285
 0 
 75 -285
 0 
 77 -285
 0 
 80 -285
 0 
 81 -286
 0 
 84 -286
 0 
 86 -286
 0 
 87 -286
 0 
 90 -286
 0 
 91 -286
 0 
 93 -286
 0 
 96 -286
 0 
 97 -287
 0 
 100 -287
 0 
 102 -287
 0 
 103 -287
 0 
 106 -287
 0 
 107 -287
 0 
 109 -287
 0 
 112 -287
 0 
 113 -288
 0 
 116 -288
 0 
 118 -288
 0 
 119 -288
 0 
 122 -288
 0 
 123 -288
 0 
 125 -288
 0 
 128 -288
 0 
 129 -289
 0 
 132 -289
 0 
 134 -289
 0 
 135 -289
 0 
 138 -289
 0 
 139 -289
 0 
 141 -289
 0 
 144 -289
 0 
 145 -290
 0 
 148 -290
 0 
 150 -290
 0 
 151 -290
 0 
 154 -290
 0 
 155 -290
 0 
 157 -290
 0 
 160 -290
 0 
 1 -291
 0 
 4 -291
 0 
 6 -291
 0 
 8 -291
 0 
 10 -291
 0 
 12 -291
 0 
 13 -291
 0 
 16 -291
 0 
 17 -292
 0 
 20 -292
 0 
 22 -292
 0 
 24 -292
 0 
 26 -292
 0 
 28 -292
 0 
 29 -292
 0 
 32 -292
 0 
 33 -293
 0 
 36 -293
 0 
 38 -293
 0 
 40 -293
 0 
 42 -293
 0 
 44 -293
 0 
 45 -293
 0 
 48 -293
 0 
 49 -294
 0 
 52 -294
 0 
 54 -294
 0 
 56 -294
 0 
 58 -294
 0 
 60 -294
 0 
 61 -294
 0 
 64 -294
 0 
 65 -295
 0 
 68 -295
 0 
 70 -295
 0 
 72 -295
 0 
 74 -295
 0 
 76 -295
 0 
 77 -295
 0 
 80 -295
 0 
 81 -296
 0 
 84 -296
 0 
 86 -296
 0 
 88 -296
 0 
 90 -296
 0 
 92 -296
 0 
 93 -296
 0 
 96 -296
 0 
 97 -297
 0 
 100 -297
 0 
 102 -297
 0 
 104 -297
 0 
 106 -297
 0 
 108 -297
 0 
 109 -297
 0 
 112 -297
 0 
 113 -298
 0 
 116 -298
 0 
 118 -298
 0 
 120 -298
 0 
 122 -298
 0 
 124 -298
 0 
 125 -298
 0 
 128 -298
 0 
 129 -299
 0 
 132 -299
 0 
 134 -299
 0 
 136 -299
 0 
 138 -299
 0 
 140 -299
 0 
 141 -299
 0 
 144 -299
 0 
 145 -300
 0 
 148 -300
 0 
 150 -300
 0 
 152 -300
 0 
 154 -300
 0 
 156 -300
 0 
 157 -300
 0 
 160 -300
 0 
 1 -301
 0 
 3 -301
 0 
 5 -301
 0 
 8 -301
 0 
 9 -301
 0 
 11 -301
 0 
 14 -301
 0 
 16 -301
 0 
 17 -302
 0 
 19 -302
 0 
 21 -302
 0 
 24 -302
 0 
 25 -302
 0 
 27 -302
 0 
 30 -302
 0 
 32 -302
 0 
 33 -303
 0 
 35 -303
 0 
 37 -303
 0 
 40 -303
 0 
 41 -303
 0 
 43 -303
 0 
 46 -303
 0 
 48 -303
 0 
 49 -304
 0 
 51 -304
 0 
 53 -304
 0 
 56 -304
 0 
 57 -304
 0 
 59 -304
 0 
 62 -304
 0 
 64 -304
 0 
 65 -305
 0 
 67 -305
 0 
 69 -305
 0 
 72 -305
 0 
 73 -305
 0 
 75 -305
 0 
 78 -305
 0 
 80 -305
 0 
 81 -306
 0 
 83 -306
 0 
 85 -306
 0 
 88 -306
 0 
 89 -306
 0 
 91 -306
 0 
 94 -306
 0 
 96 -306
 0 
 97 -307
 0 
 99 -307
 0 
 101 -307
 0 
 104 -307
 0 
 105 -307
 0 
 107 -307
 0 
 110 -307
 0 
 112 -307
 0 
 113 -308
 0 
 115 -308
 0 
 117 -308
 0 
 120 -308
 0 
 121 -308
 0 
 123 -308
 0 
 126 -308
 0 
 128 -308
 0 
 129 -309
 0 
 131 -309
 0 
 133 -309
 0 
 136 -309
 0 
 137 -309
 0 
 139 -309
 0 
 142 -309
 0 
 144 -309
 0 
 145 -310
 0 
 147 -310
 0 
 149 -310
 0 
 152 -310
 0 
 153 -310
 0 
 155 -310
 0 
 158 -310
 0 
 160 -310
 0 
 2 -311
 0 
 4 -311
 0 
 5 -311
 0 
 8 -311
 0 
 9 -311
 0 
 11 -311
 0 
 14 -311
 0 
 16 -311
 0 
 18 -312
 0 
 20 -312
 0 
 21 -312
 0 
 24 -312
 0 
 25 -312
 0 
 27 -312
 0 
 30 -312
 0 
 32 -312
 0 
 34 -313
 0 
 36 -313
 0 
 37 -313
 0 
 40 -313
 0 
 41 -313
 0 
 43 -313
 0 
 46 -313
 0 
 48 -313
 0 
 50 -314
 0 
 52 -314
 0 
 53 -314
 0 
 56 -314
 0 
 57 -314
 0 
 59 -314
 0 
 62 -314
 0 
 64 -314
 0 
 66 -315
 0 
 68 -315
 0 
 69 -315
 0 
 72 -315
 0 
 73 -315
 0 
 75 -315
 0 
 78 -315
 0 
 80 -315
 0 
 82 -316
 0 
 84 -316
 0 
 85 -316
 0 
 88 -316
 0 
 89 -316
 0 
 91 -316
 0 
 94 -316
 0 
 96 -316
 0 
 98 -317
 0 
 100 -317
 0 
 101 -317
 0 
 104 -317
 0 
 105 -317
 0 
 107 -317
 0 
 110 -317
 0 
 112 -317
 0 
 114 -318
 0 
 116 -318
 0 
 117 -318
 0 
 120 -318
 0 
 121 -318
 0 
 123 -318
 0 
 126 -318
 0 
 128 -318
 0 
 130 -319
 0 
 132 -319
 0 
 133 -319
 0 
 136 -319
 0 
 137 -319
 0 
 139 -319
 0 
 142 -319
 0 
 144 -319
 0 
 146 -320
 0 
 148 -320
 0 
 149 -320
 0 
 152 -320
 0 
 153 -320
 0 
 155 -320
 0 
 158 -320
 0 
 160 -320
 0 
 1 -321
 0 
 4 -321
 0 
 5 -321
 0 
 7 -321
 0 
 10 -321
 0 
 11 -321
 0 
 14 -321
 0 
 16 -321
 0 
 17 -322
 0 
 20 -322
 0 
 21 -322
 0 
 23 -322
 0 
 26 -322
 0 
 27 -322
 0 
 30 -322
 0 
 32 -322
 0 
 33 -323
 0 
 36 -323
 0 
 37 -323
 0 
 39 -323
 0 
 42 -323
 0 
 43 -323
 0 
 46 -323
 0 
 48 -323
 0 
 49 -324
 0 
 52 -324
 0 
 53 -324
 0 
 55 -324
 0 
 58 -324
 0 
 59 -324
 0 
 62 -324
 0 
 64 -324
 0 
 65 -325
 0 
 68 -325
 0 
 69 -325
 0 
 71 -325
 0 
 74 -325
 0 
 75 -325
 0 
 78 -325
 0 
 80 -325
 0 
 81 -326
 0 
 84 -326
 0 
 85 -326
 0 
 87 -326
 0 
 90 -326
 0 
 91 -326
 0 
 94 -326
 0 
 96 -326
 0 
 97 -327
 0 
 100 -327
 0 
 101 -327
 0 
 103 -327
 0 
 106 -327
 0 
 107 -327
 0 
 110 -327
 0 
 112 -327
 0 
 113 -328
 0 
 116 -328
 0 
 117 -328
 0 
 119 -328
 0 
 122 -328
 0 
 123 -328
 0 
 126 -328
 0 
 128 -328
 0 
 129 -329
 0 
 132 -329
 0 
 133 -329
 0 
 135 -329
 0 
 138 -329
 0 
 139 -329
 0 
 142 -329
 0 
 144 -329
 0 
 145 -330
 0 
 148 -330
 0 
 149 -330
 0 
 151 -330
 0 
 154 -330
 0 
 155 -330
 0 
 158 -330
 0 
 160 -330
 0 
 2 -331
 0 
 4 -331
 0 
 6 -331
 0 
 7 -331
 0 
 9 -331
 0 
 11 -331
 0 
 14 -331
 0 
 16 -331
 0 
 18 -332
 0 
 20 -332
 0 
 22 -332
 0 
 23 -332
 0 
 25 -332
 0 
 27 -332
 0 
 30 -332
 0 
 32 -332
 0 
 34 -333
 0 
 36 -333
 0 
 38 -333
 0 
 39 -333
 0 
 41 -333
 0 
 43 -333
 0 
 46 -333
 0 
 48 -333
 0 
 50 -334
 0 
 52 -334
 0 
 54 -334
 0 
 55 -334
 0 
 57 -334
 0 
 59 -334
 0 
 62 -334
 0 
 64 -334
 0 
 66 -335
 0 
 68 -335
 0 
 70 -335
 0 
 71 -335
 0 
 73 -335
 0 
 75 -335
 0 
 78 -335
 0 
 80 -335
 0 
 82 -336
 0 
 84 -336
 0 
 86 -336
 0 
 87 -336
 0 
 89 -336
 0 
 91 -336
 0 
 94 -336
 0 
 96 -336
 0 
 98 -337
 0 
 100 -337
 0 
 102 -337
 0 
 103 -337
 0 
 105 -337
 0 
 107 -337
 0 
 110 -337
 0 
 112 -337
 0 
 114 -338
 0 
 116 -338
 0 
 118 -338
 0 
 119 -338
 0 
 121 -338
 0 
 123 -338
 0 
 126 -338
 0 
 128 -338
 0 
 130 -339
 0 
 132 -339
 0 
 134 -339
 0 
 135 -339
 0 
 137 -339
 0 
 139 -339
 0 
 142 -339
 0 
 144 -339
 0 
 146 -340
 0 
 148 -340
 0 
 150 -340
 0 
 151 -340
 0 
 153 -340
 0 
 155 -340
 0 
 158 -340
 0 
 160 -340
 0 
 1 -341
 0 
 3 -341
 0 
 5 -341
 0 
 7 -341
 0 
 9 -341
 0 
 12 -341
 0 
 14 -341
 0 
 16 -341
 0 
 17 -342
 0 
 19 -342
 0 
 21 -342
 0 
 23 -342
 0 
 25 -342
 0 
 28 -342
 0 
 30 -342
 0 
 32 -342
 0 
 33 -343
 0 
 35 -343
 0 
 37 -343
 0 
 39 -343
 0 
 41 -343
 0 
 44 -343
 0 
 46 -343
 0 
 48 -343
 0 
 49 -344
 0 
 51 -344
 0 
 53 -344
 0 
 55 -344
 0 
 57 -344
 0 
 60 -344
 0 
 62 -344
 0 
 64 -344
 0 
 65 -345
 0 
 67 -345
 0 
 69 -345
 0 
 71 -345
 0 
 73 -345
 0 
 76 -345
 0 
 78 -345
 0 
 80 -345
 0 
 81 -346
 0 
 83 -346
 0 
 85 -346
 0 
 87 -346
 0 
 89 -346
 0 
 92 -346
 0 
 94 -346
 0 
 96 -346
 0 
 97 -347
 0 
 99 -347
 0 
 101 -347
 0 
 103 -347
 0 
 105 -347
 0 
 108 -347
 0 
 110 -347
 0 
 112 -347
 0 
 113 -348
 0 
 115 -348
 0 
 117 -348
 0 
 119 -348
 0 
 121 -348
 0 
 124 -348
 0 
 126 -348
 0 
 128 -348
 0 
 129 -349
 0 
 131 -349
 0 
 133 -349
 0 
 135 -349
 0 
 137 -349
 0 
 140 -349
 0 
 142 -349
 0 
 144 -349
 0 
 145 -350
 0 
 147 -350
 0 
 149 -350
 0 
 151 -350
 0 
 153 -350
 0 
 156 -350
 0 
 158 -350
 0 
 160 -350
 0 
 2 -351
 0 
 3 -351
 0 
 5 -351
 0 
 8 -351
 0 
 9 -351
 0 
 12 -351
 0 
 14 -351
 0 
 16 -351
 0 
 18 -352
 0 
 19 -352
 0 
 21 -352
 0 
 24 -352
 0 
 25 -352
 0 
 28 -352
 0 
 30 -352
 0 
 32 -352
 0 
 34 -353
 0 
 35 -353
 0 
 37 -353
 0 
 40 -353
 0 
 41 -353
 0 
 44 -353
 0 
 46 -353
 0 
 48 -353
 0 
 50 -354
 0 
 51 -354
 0 
 53 -354
 0 
 56 -354
 0 
 57 -354
 0 
 60 -354
 0 
 62 -354
 0 
 64 -354
 0 
 66 -355
 0 
 67 -355
 0 
 69 -355
 0 
 72 -355
 0 
 73 -355
 0 
 76 -355
 0 
 78 -355
 0 
 80 -355
 0 
 82 -356
 0 
 83 -356
 0 
 85 -356
 0 
 88 -356
 0 
 89 -356
 0 
 92 -356
 0 
 94 -356
 0 
 96 -356
 0 
 98 -357
 0 
 99 -357
 0 
 101 -357
 0 
 104 -357
 0 
 105 -357
 0 
 108 -357
 0 
 110 -357
 0 
 112 -357
 0 
 114 -358
 0 
 115 -358
 0 
 117 -358
 0 
 120 -358
 0 
 121 -358
 0 
 124 -358
 0 
 126 -358
 0 
 128 -358
 0 
 130 -359
 0 
 131 -359
 0 
 133 -359
 0 
 136 -359
 0 
 137 -359
 0 
 140 -359
 0 
 142 -359
 0 
 144 -359
 0 
 146 -360
 0 
 147 -360
 0 
 149 -360
 0 
 152 -360
 0 
 153 -360
 0 
 156 -360
 0 
 158 -360
 0 
 160 -360
 0 
 2 -361
 0 
 3 -361
 0 
 6 -361
 0 
 8 -361
 0 
 10 -361
 0 
 12 -361
 0 
 13 -361
 0 
 16 -361
 0 
 18 -362
 0 
 19 -362
 0 
 22 -362
 0 
 24 -362
 0 
 26 -362
 0 
 28 -362
 0 
 29 -362
 0 
 32 -362
 0 
 34 -363
 0 
 35 -363
 0 
 38 -363
 0 
 40 -363
 0 
 42 -363
 0 
 44 -363
 0 
 45 -363
 0 
 48 -363
 0 
 50 -364
 0 
 51 -364
 0 
 54 -364
 0 
 56 -364
 0 
 58 -364
 0 
 60 -364
 0 
 61 -364
 0 
 64 -364
 0 
 66 -365
 0 
 67 -365
 0 
 70 -365
 0 
 72 -365
 0 
 74 -365
 0 
 76 -365
 0 
 77 -365
 0 
 80 -365
 0 
 82 -366
 0 
 83 -366
 0 
 86 -366
 0 
 88 -366
 0 
 90 -366
 0 
 92 -366
 0 
 93 -366
 0 
 96 -366
 0 
 98 -367
 0 
 99 -367
 0 
 102 -367
 0 
 104 -367
 0 
 106 -367
 0 
 108 -367
 0 
 109 -367
 0 
 112 -367
 0 
 114 -368
 0 
 115 -368
 0 
 118 -368
 0 
 120 -368
 0 
 122 -368
 0 
 124 -368
 0 
 125 -368
 0 
 128 -368
 0 
 130 -369
 0 
 131 -369
 0 
 134 -369
 0 
 136 -369
 0 
 138 -369
 0 
 140 -369
 0 
 141 -369
 0 
 144 -369
 0 
 146 -370
 0 
 147 -370
 0 
 150 -370
 0 
 152 -370
 0 
 154 -370
 0 
 156 -370
 0 
 157 -370
 0 
 160 -370
 0 
 2 -371
 0 
 3 -371
 0 
 6 -371
 0 
 7 -371
 0 
 9 -371
 0 
 12 -371
 0 
 14 -371
 0 
 16 -371
 0 
 18 -372
 0 
 19 -372
 0 
 22 -372
 0 
 23 -372
 0 
 25 -372
 0 
 28 -372
 0 
 30 -372
 0 
 32 -372
 0 
 34 -373
 0 
 35 -373
 0 
 38 -373
 0 
 39 -373
 0 
 41 -373
 0 
 44 -373
 0 
 46 -373
 0 
 48 -373
 0 
 50 -374
 0 
 51 -374
 0 
 54 -374
 0 
 55 -374
 0 
 57 -374
 0 
 60 -374
 0 
 62 -374
 0 
 64 -374
 0 
 66 -375
 0 
 67 -375
 0 
 70 -375
 0 
 71 -375
 0 
 73 -375
 0 
 76 -375
 0 
 78 -375
 0 
 80 -375
 0 
 82 -376
 0 
 83 -376
 0 
 86 -376
 0 
 87 -376
 0 
 89 -376
 0 
 92 -376
 0 
 94 -376
 0 
 96 -376
 0 
 98 -377
 0 
 99 -377
 0 
 102 -377
 0 
 103 -377
 0 
 105 -377
 0 
 108 -377
 0 
 110 -377
 0 
 112 -377
 0 
 114 -378
 0 
 115 -378
 0 
 118 -378
 0 
 119 -378
 0 
 121 -378
 0 
 124 -378
 0 
 126 -378
 0 
 128 -378
 0 
 130 -379
 0 
 131 -379
 0 
 134 -379
 0 
 135 -379
 0 
 137 -379
 0 
 140 -379
 0 
 142 -379
 0 
 144 -379
 0 
 146 -380
 0 
 147 -380
 0 
 150 -380
 0 
 151 -380
 0 
 153 -380
 0 
 156 -380
 0 
 158 -380
 0 
 160 -380
 0 
 1 -381
 0 
 4 -381
 0 
 5 -381
 0 
 8 -381
 0 
 10 -381
 0 
 12 -381
 0 
 13 -381
 0 
 15 -381
 0 
 17 -382
 0 
 20 -382
 0 
 21 -382
 0 
 24 -382
 0 
 26 -382
 0 
 28 -382
 0 
 29 -382
 0 
 31 -382
 0 
 33 -383
 0 
 36 -383
 0 
 37 -383
 0 
 40 -383
 0 
 42 -383
 0 
 44 -383
 0 
 45 -383
 0 
 47 -383
 0 
 49 -384
 0 
 52 -384
 0 
 53 -384
 0 
 56 -384
 0 
 58 -384
 0 
 60 -384
 0 
 61 -384
 0 
 63 -384
 0 
 65 -385
 0 
 68 -385
 0 
 69 -385
 0 
 72 -385
 0 
 74 -385
 0 
 76 -385
 0 
 77 -385
 0 
 79 -385
 0 
 81 -386
 0 
 84 -386
 0 
 85 -386
 0 
 88 -386
 0 
 90 -386
 0 
 92 -386
 0 
 93 -386
 0 
 95 -386
 0 
 97 -387
 0 
 100 -387
 0 
 101 -387
 0 
 104 -387
 0 
 106 -387
 0 
 108 -387
 0 
 109 -387
 0 
 111 -387
 0 
 113 -388
 0 
 116 -388
 0 
 117 -388
 0 
 120 -388
 0 
 122 -388
 0 
 124 -388
 0 
 125 -388
 0 
 127 -388
 0 
 129 -389
 0 
 132 -389
 0 
 133 -389
 0 
 136 -389
 0 
 138 -389
 0 
 140 -389
 0 
 141 -389
 0 
 143 -389
 0 
 145 -390
 0 
 148 -390
 0 
 149 -390
 0 
 152 -390
 0 
 154 -390
 0 
 156 -390
 0 
 157 -390
 0 
 159 -390
 0 
 2 -391
 0 
 3 -391
 0 
 6 -391
 0 
 7 -391
 0 
 10 -391
 0 
 11 -391
 0 
 14 -391
 0 
 15 -391
 0 
 18 -392
 0 
 19 -392
 0 
 22 -392
 0 
 23 -392
 0 
 26 -392
 0 
 27 -392
 0 
 30 -392
 0 
 31 -392
 0 
 34 -393
 0 
 35 -393
 0 
 38 -393
 0 
 39 -393
 0 
 42 -393
 0 
 43 -393
 0 
 46 -393
 0 
 47 -393
 0 
 50 -394
 0 
 51 -394
 0 
 54 -394
 0 
 55 -394
 0 
 58 -394
 0 
 59 -394
 0 
 62 -394
 0 
 63 -394
 0 
 66 -395
 0 
 67 -395
 0 
 70 -395
 0 
 71 -395
 0 
 74 -395
 0 
 75 -395
 0 
 78 -395
 0 
 79 -395
 0 
 82 -396
 0 
 83 -396
 0 
 86 -396
 0 
 87 -396
 0 
 90 -396
 0 
 91 -396
 0 
 94 -396
 0 
 95 -396
 0 
 98 -397
 0 
 99 -397
 0 
 102 -397
 0 
 103 -397
 0 
 106 -397
 0 
 107 -397
 0 
 110 -397
 0 
 111 -397
 0 
 114 -398
 0 
 115 -398
 0 
 118 -398
 0 
 119 -398
 0 
 122 -398
 0 
 123 -398
 0 
 126 -398
 0 
 127 -398
 0 
 130 -399
 0 
 131 -399
 0 
 134 -399
 0 
 135 -399
 0 
 138 -399
 0 
 139 -399
 0 
 142 -399
 0 
 143 -399
 0 
 146 -400
 0 
 147 -400
 0 
 150 -400
 0 
 151 -400
 0 
 154 -400
 0 
 155 -400
 0 
 158 -400
 0 
 159 -400
 0 
 2 -401
 0 
 3 -401
 0 
 5 -401
 0 
 8 -401
 0 
 10 -401
 0 
 11 -401
 0 
 13 -401
 0 
 15 -401
 0 
 18 -402
 0 
 19 -402
 0 
 21 -402
 0 
 24 -402
 0 
 26 -402
 0 
 27 -402
 0 
 29 -402
 0 
 31 -402
 0 
 34 -403
 0 
 35 -403
 0 
 37 -403
 0 
 40 -403
 0 
 42 -403
 0 
 43 -403
 0 
 45 -403
 0 
 47 -403
 0 
 50 -404
 0 
 51 -404
 0 
 53 -404
 0 
 56 -404
 0 
 58 -404
 0 
 59 -404
 0 
 61 -404
 0 
 63 -404
 0 
 66 -405
 0 
 67 -405
 0 
 69 -405
 0 
 72 -405
 0 
 74 -405
 0 
 75 -405
 0 
 77 -405
 0 
 79 -405
 0 
 82 -406
 0 
 83 -406
 0 
 85 -406
 0 
 88 -406
 0 
 90 -406
 0 
 91 -406
 0 
 93 -406
 0 
 95 -406
 0 
 98 -407
 0 
 99 -407
 0 
 101 -407
 0 
 104 -407
 0 
 106 -407
 0 
 107 -407
 0 
 109 -407
 0 
 111 -407
 0 
 114 -408
 0 
 115 -408
 0 
 117 -408
 0 
 120 -408
 0 
 122 -408
 0 
 123 -408
 0 
 125 -408
 0 
 127 -408
 0 
 130 -409
 0 
 131 -409
 0 
 133 -409
 0 
 136 -409
 0 
 138 -409
 0 
 139 -409
 0 
 141 -409
 0 
 143 -409
 0 
 146 -410
 0 
 147 -410
 0 
 149 -410
 0 
 152 -410
 0 
 154 -410
 0 
 155 -410
 0 
 157 -410
 0 
 159 -410
 0 
 2 -411
 0 
 4 -411
 0 
 5 -411
 0 
 7 -411
 0 
 10 -411
 0 
 11 -411
 0 
 14 -411
 0 
 16 -411
 0 
 18 -412
 0 
 20 -412
 0 
 21 -412
 0 
 23 -412
 0 
 26 -412
 0 
 27 -412
 0 
 30 -412
 0 
 32 -412
 0 
 34 -413
 0 
 36 -413
 0 
 37 -413
 0 
 39 -413
 0 
 42 -413
 0 
 43 -413
 0 
 46 -413
 0 
 48 -413
 0 
 50 -414
 0 
 52 -414
 0 
 53 -414
 0 
 55 -414
 0 
 58 -414
 0 
 59 -414
 0 
 62 -414
 0 
 64 -414
 0 
 66 -415
 0 
 68 -415
 0 
 69 -415
 0 
 71 -415
 0 
 74 -415
 0 
 75 -415
 0 
 78 -415
 0 
 80 -415
 0 
 82 -416
 0 
 84 -416
 0 
 85 -416
 0 
 87 -416
 0 
 90 -416
 0 
 91 -416
 0 
 94 -416
 0 
 96 -416
 0 
 98 -417
 0 
 100 -417
 0 
 101 -417
 0 
 103 -417
 0 
 106 -417
 0 
 107 -417
 0 
 110 -417
 0 
 112 -417
 0 
 114 -418
 0 
 116 -418
 0 
 117 -418
 0 
 119 -418
 0 
 122 -418
 0 
 123 -418
 0 
 126 -418
 0 
 128 -418
 0 
 130 -419
 0 
 132 -419
 0 
 133 -419
 0 
 135 -419
 0 
 138 -419
 0 
 139 -419
 0 
 142 -419
 0 
 144 -419
 0 
 146 -420
 0 
 148 -420
 0 
 149 -420
 0 
 151 -420
 0 
 154 -420
 0 
 155 -420
 0 
 158 -420
 0 
 160 -420
 0 
 2 -421
 0 
 4 -421
 0 
 6 -421
 0 
 7 -421
 0 
 10 -421
 0 
 11 -421
 0 
 13 -421
 0 
 16 -421
 0 
 18 -422
 0 
 20 -422
 0 
 22 -422
 0 
 23 -422
 0 
 26 -422
 0 
 27 -422
 0 
 29 -422
 0 
 32 -422
 0 
 34 -423
 0 
 36 -423
 0 
 38 -423
 0 
 39 -423
 0 
 42 -423
 0 
 43 -423
 0 
 45 -423
 0 
 48 -423
 0 
 50 -424
 0 
 52 -424
 0 
 54 -424
 0 
 55 -424
 0 
 58 -424
 0 
 59 -424
 0 
 61 -424
 0 
 64 -424
 0 
 66 -425
 0 
 68 -425
 0 
 70 -425
 0 
 71 -425
 0 
 74 -425
 0 
 75 -425
 0 
 77 -425
 0 
 80 -425
 0 
 82 -426
 0 
 84 -426
 0 
 86 -426
 0 
 87 -426
 0 
 90 -426
 0 
 91 -426
 0 
 93 -426
 0 
 96 -426
 0 
 98 -427
 0 
 100 -427
 0 
 102 -427
 0 
 103 -427
 0 
 106 -427
 0 
 107 -427
 0 
 109 -427
 0 
 112 -427
 0 
 114 -428
 0 
 116 -428
 0 
 118 -428
 0 
 119 -428
 0 
 122 -428
 0 
 123 -428
 0 
 125 -428
 0 
 128 -428
 0 
 130 -429
 0 
 132 -429
 0 
 134 -429
 0 
 135 -429
 0 
 138 -429
 0 
 139 -429
 0 
 141 -429
 0 
 144 -429
 0 
 146 -430
 0 
 148 -430
 0 
 150 -430
 0 
 151 -430
 0 
 154 -430
 0 
 155 -430
 0 
 157 -430
 0 
 160 -430
 0 
 1 -431
 0 
 3 -431
 0 
 5 -431
 0 
 7 -431
 0 
 10 -431
 0 
 11 -431
 0 
 13 -431
 0 
 16 -431
 0 
 17 -432
 0 
 19 -432
 0 
 21 -432
 0 
 23 -432
 0 
 26 -432
 0 
 27 -432
 0 
 29 -432
 0 
 32 -432
 0 
 33 -433
 0 
 35 -433
 0 
 37 -433
 0 
 39 -433
 0 
 42 -433
 0 
 43 -433
 0 
 45 -433
 0 
 48 -433
 0 
 49 -434
 0 
 51 -434
 0 
 53 -434
 0 
 55 -434
 0 
 58 -434
 0 
 59 -434
 0 
 61 -434
 0 
 64 -434
 0 
 65 -435
 0 
 67 -435
 0 
 69 -435
 0 
 71 -435
 0 
 74 -435
 0 
 75 -435
 0 
 77 -435
 0 
 80 -435
 0 
 81 -436
 0 
 83 -436
 0 
 85 -436
 0 
 87 -436
 0 
 90 -436
 0 
 91 -436
 0 
 93 -436
 0 
 96 -436
 0 
 97 -437
 0 
 99 -437
 0 
 101 -437
 0 
 103 -437
 0 
 106 -437
 0 
 107 -437
 0 
 109 -437
 0 
 112 -437
 0 
 113 -438
 0 
 115 -438
 0 
 117 -438
 0 
 119 -438
 0 
 122 -438
 0 
 123 -438
 0 
 125 -438
 0 
 128 -438
 0 
 129 -439
 0 
 131 -439
 0 
 133 -439
 0 
 135 -439
 0 
 138 -439
 0 
 139 -439
 0 
 141 -439
 0 
 144 -439
 0 
 145 -440
 0 
 147 -440
 0 
 149 -440
 0 
 151 -440
 0 
 154 -440
 0 
 155 -440
 0 
 157 -440
 0 
 160 -440
 0 
 2 -441
 0 
 3 -441
 0 
 5 -441
 0 
 8 -441
 0 
 10 -441
 0 
 12 -441
 0 
 13 -441
 0 
 15 -441
 0 
 18 -442
 0 
 19 -442
 0 
 21 -442
 0 
 24 -442
 0 
 26 -442
 0 
 28 -442
 0 
 29 -442
 0 
 31 -442
 0 
 34 -443
 0 
 35 -443
 0 
 37 -443
 0 
 40 -443
 0 
 42 -443
 0 
 44 -443
 0 
 45 -443
 0 
 47 -443
 0 
 50 -444
 0 
 51 -444
 0 
 53 -444
 0 
 56 -444
 0 
 58 -444
 0 
 60 -444
 0 
 61 -444
 0 
 63 -444
 0 
 66 -445
 0 
 67 -445
 0 
 69 -445
 0 
 72 -445
 0 
 74 -445
 0 
 76 -445
 0 
 77 -445
 0 
 79 -445
 0 
 82 -446
 0 
 83 -446
 0 
 85 -446
 0 
 88 -446
 0 
 90 -446
 0 
 92 -446
 0 
 93 -446
 0 
 95 -446
 0 
 98 -447
 0 
 99 -447
 0 
 101 -447
 0 
 104 -447
 0 
 106 -447
 0 
 108 -447
 0 
 109 -447
 0 
 111 -447
 0 
 114 -448
 0 
 115 -448
 0 
 117 -448
 0 
 120 -448
 0 
 122 -448
 0 
 124 -448
 0 
 125 -448
 0 
 127 -448
 0 
 130 -449
 0 
 131 -449
 0 
 133 -449
 0 
 136 -449
 0 
 138 -449
 0 
 140 -449
 0 
 141 -449
 0 
 143 -449
 0 
 146 -450
 0 
 147 -450
 0 
 149 -450
 0 
 152 -450
 0 
 154 -450
 0 
 156 -450
 0 
 157 -450
 0 
 159 -450
 0 
 1 -451
 0 
 3 -451
 0 
 6 -451
 0 
 8 -451
 0 
 9 -451
 0 
 12 -451
 0 
 14 -451
 0 
 16 -451
 0 
 17 -452
 0 
 19 -452
 0 
 22 -452
 0 
 24 -452
 0 
 25 -452
 0 
 28 -452
 0 
 30 -452
 0 
 32 -452
 0 
 33 -453
 0 
 35 -453
 0 
 38 -453
 0 
 40 -453
 0 
 41 -453
 0 
 44 -453
 0 
 46 -453
 0 
 48 -453
 0 
 49 -454
 0 
 51 -454
 0 
 54 -454
 0 
 56 -454
 0 
 57 -454
 0 
 60 -454
 0 
 62 -454
 0 
 64 -454
 0 
 65 -455
 0 
 67 -455
 0 
 70 -455
 0 
 72 -455
 0 
 73 -455
 0 
 76 -455
 0 
 78 -455
 0 
 80 -455
 0 
 81 -456
 0 
 83 -456
 0 
 86 -456
 0 
 88 -456
 0 
 89 -456
 0 
 92 -456
 0 
 94 -456
 0 
 96 -456
 0 
 97 -457
 0 
 99 -457
 0 
 102 -457
 0 
 104 -457
 0 
 105 -457
 0 
 108 -457
 0 
 110 -457
 0 
 112 -457
 0 
 113 -458
 0 
 115 -458
 0 
 118 -458
 0 
 120 -458
 0 
 121 -458
 0 
 124 -458
 0 
 126 -458
 0 
 128 -458
 0 
 129 -459
 0 
 131 -459
 0 
 134 -459
 0 
 136 -459
 0 
 137 -459
 0 
 140 -459
 0 
 142 -459
 0 
 144 -459
 0 
 145 -460
 0 
 147 -460
 0 
 150 -460
 0 
 152 -460
 0 
 153 -460
 0 
 156 -460
 0 
 158 -460
 0 
 160 -460
 0 
 1 -461
 0 
 4 -461
 0 
 6 -461
 0 
 8 -461
 0 
 10 -461
 0 
 12 -461
 0 
 13 -461
 0 
 16 -461
 0 
 17 -462
 0 
 20 -462
 0 
 22 -462
 0 
 24 -462
 0 
 26 -462
 0 
 28 -462
 0 
 29 -462
 0 
 32 -462
 0 
 33 -463
 0 
 36 -463
 0 
 38 -463
 0 
 40 -463
 0 
 42 -463
 0 
 44 -463
 0 
 45 -463
 0 
 48 -463
 0 
 49 -464
 0 
 52 -464
 0 
 54 -464
 0 
 56 -464
 0 
 58 -464
 0 
 60 -464
 0 
 61 -464
 0 
 64 -464
 0 
 65 -465
 0 
 68 -465
 0 
 70 -465
 0 
 72 -465
 0 
 74 -465
 0 
 76 -465
 0 
 77 -465
 0 
 80 -465
 0 
 81 -466
 0 
 84 -466
 0 
 86 -466
 0 
 88 -466
 0 
 90 -466
 0 
 92 -466
 0 
 93 -466
 0 
 96 -466
 0 
 97 -467
 0 
 100 -467
 0 
 102 -467
 0 
 104 -467
 0 
 106 -467
 0 
 108 -467
 0 
 109 -467
 0 
 112 -467
 0 
 113 -468
 0 
 116 -468
 0 
 118 -468
 0 
 120 -468
 0 
 122 -468
 0 
 124 -468
 0 
 125 -468
 0 
 128 -468
 0 
 129 -469
 0 
 132 -469
 0 
 134 -469
 0 
 136 -469
 0 
 138 -469
 0 
 140 -469
 0 
 141 -469
 0 
 144 -469
 0 
 145 -470
 0 
 148 -470
 0 
 150 -470
 0 
 152 -470
 0 
 154 -470
 0 
 156 -470
 0 
 157 -470
 0 
 160 -470
 0 
 2 -471
 0 
 4 -471
 0 
 5 -471
 0 
 7 -471
 0 
 10 -471
 0 
 12 -471
 0 
 13 -471
 0 
 15 -471
 0 
 18 -472
 0 
 20 -472
 0 
 21 -472
 0 
 23 -472
 0 
 26 -472
 0 
 28 -472
 0 
 29 -472
 0 
 31 -472
 0 
 34 -473
 0 
 36 -473
 0 
 37 -473
 0 
 39 -473
 0 
 42 -473
 0 
 44 -473
 0 
 45 -473
 0 
 47 -473
 0 
 50 -474
 0 
 52 -474
 0 
 53 -474
 0 
 55 -474
 0 
 58 -474
 0 
 60 -474
 0 
 61 -474
 0 
 63 -474
 0 
 66 -475
 0 
 68 -475
 0 
 69 -475
 0 
 71 -475
 0 
 74 -475
 0 
 76 -475
 0 
 77 -475
 0 
 79 -475
 0 
 82 -476
 0 
 84 -476
 0 
 85 -476
 0 
 87 -476
 0 
 90 -476
 0 
 92 -476
 0 
 93 -476
 0 
 95 -476
 0 
 98 -477
 0 
 100 -477
 0 
 101 -477
 0 
 103 -477
 0 
 106 -477
 0 
 108 -477
 0 
 109 -477
 0 
 111 -477
 0 
 114 -478
 0 
 116 -478
 0 
 117 -478
 0 
 119 -478
 0 
 122 -478
 0 
 124 -478
 0 
 125 -478
 0 
 127 -478
 0 
 130 -479
 0 
 132 -479
 0 
 133 -479
 0 
 135 -479
 0 
 138 -479
 0 
 140 -479
 0 
 141 -479
 0 
 143 -479
 0 
 146 -480
 0 
 148 -480
 0 
 149 -480
 0 
 151 -480
 0 
 154 -480
 0 
 156 -480
 0 
 157 -480
 0 
 159 -480
 0 
 2 -481
 0 
 4 -481
 0 
 5 -481
 0 
 7 -481
 0 
 10 -481
 0 
 12 -481
 0 
 14 -481
 0 
 16 -481
 0 
 18 -482
 0 
 20 -482
 0 
 21 -482
 0 
 23 -482
 0 
 26 -482
 0 
 28 -482
 0 
 30 -482
 0 
 32 -482
 0 
 34 -483
 0 
 36 -483
 0 
 37 -483
 0 
 39 -483
 0 
 42 -483
 0 
 44 -483
 0 
 46 -483
 0 
 48 -483
 0 
 50 -484
 0 
 52 -484
 0 
 53 -484
 0 
 55 -484
 0 
 58 -484
 0 
 60 -484
 0 
 62 -484
 0 
 64 -484
 0 
 66 -485
 0 
 68 -485
 0 
 69 -485
 0 
 71 -485
 0 
 74 -485
 0 
 76 -485
 0 
 78 -485
 0 
 80 -485
 0 
 82 -486
 0 
 84 -486
 0 
 85 -486
 0 
 87 -486
 0 
 90 -486
 0 
 92 -486
 0 
 94 -486
 0 
 96 -486
 0 
 98 -487
 0 
 100 -487
 0 
 101 -487
 0 
 103 -487
 0 
 106 -487
 0 
 108 -487
 0 
 110 -487
 0 
 112 -487
 0 
 114 -488
 0 
 116 -488
 0 
 117 -488
 0 
 119 -488
 0 
 122 -488
 0 
 124 -488
 0 
 126 -488
 0 
 128 -488
 0 
 130 -489
 0 
 132 -489
 0 
 133 -489
 0 
 135 -489
 0 
 138 -489
 0 
 140 -489
 0 
 142 -489
 0 
 144 -489
 0 
 146 -490
 0 
 148 -490
 0 
 149 -490
 0 
 151 -490
 0 
 154 -490
 0 
 156 -490
 0 
 158 -490
 0 
 160 -490
 0 
 1 -491
 0 
 4 -491
 0 
 5 -491
 0 
 8 -491
 0 
 10 -491
 0 
 11 -491
 0 
 13 -491
 0 
 15 -491
 0 
 17 -492
 0 
 20 -492
 0 
 21 -492
 0 
 24 -492
 0 
 26 -492
 0 
 27 -492
 0 
 29 -492
 0 
 31 -492
 0 
 33 -493
 0 
 36 -493
 0 
 37 -493
 0 
 40 -493
 0 
 42 -493
 0 
 43 -493
 0 
 45 -493
 0 
 47 -493
 0 
 49 -494
 0 
 52 -494
 0 
 53 -494
 0 
 56 -494
 0 
 58 -494
 0 
 59 -494
 0 
 61 -494
 0 
 63 -494
 0 
 65 -495
 0 
 68 -495
 0 
 69 -495
 0 
 72 -495
 0 
 74 -495
 0 
 75 -495
 0 
 77 -495
 0 
 79 -495
 0 
 81 -496
 0 
 84 -496
 0 
 85 -496
 0 
 88 -496
 0 
 90 -496
 0 
 91 -496
 0 
 93 -496
 0 
 95 -496
 0 
 97 -497
 0 
 100 -497
 0 
 101 -497
 0 
 104 -497
 0 
 106 -497
 0 
 107 -497
 0 
 109 -497
 0 
 111 -497
 0 
 113 -498
 0 
 116 -498
 0 
 117 -498
 0 
 120 -498
 0 
 122 -498
 0 
 123 -498
 0 
 125 -498
 0 
 127 -498
 0 
 129 -499
 0 
 132 -499
 0 
 133 -499
 0 
 136 -499
 0 
 138 -499
 0 
 139 -499
 0 
 141 -499
 0 
 143 -499
 0 
 145 -500
 0 
 148 -500
 0 
 149 -500
 0 
 152 -500
 0 
 154 -500
 0 
 155 -500
 0 
 157 -500
 0 
 159 -500
 0 
 1 -501
 0 
 3 -501
 0 
 5 -501
 0 
 8 -501
 0 
 10 -501
 0 
 12 -501
 0 
 14 -501
 0 
 16 -501
 0 
 17 -502
 0 
 19 -502
 0 
 21 -502
 0 
 24 -502
 0 
 26 -502
 0 
 28 -502
 0 
 30 -502
 0 
 32 -502
 0 
 33 -503
 0 
 35 -503
 0 
 37 -503
 0 
 40 -503
 0 
 42 -503
 0 
 44 -503
 0 
 46 -503
 0 
 48 -503
 0 
 49 -504
 0 
 51 -504
 0 
 53 -504
 0 
 56 -504
 0 
 58 -504
 0 
 60 -504
 0 
 62 -504
 0 
 64 -504
 0 
 65 -505
 0 
 67 -505
 0 
 69 -505
 0 
 72 -505
 0 
 74 -505
 0 
 76 -505
 0 
 78 -505
 0 
 80 -505
 0 
 81 -506
 0 
 83 -506
 0 
 85 -506
 0 
 88 -506
 0 
 90 -506
 0 
 92 -506
 0 
 94 -506
 0 
 96 -506
 0 
 97 -507
 0 
 99 -507
 0 
 101 -507
 0 
 104 -507
 0 
 106 -507
 0 
 108 -507
 0 
 110 -507
 0 
 112 -507
 0 
 113 -508
 0 
 115 -508
 0 
 117 -508
 0 
 120 -508
 0 
 122 -508
 0 
 124 -508
 0 
 126 -508
 0 
 128 -508
 0 
 129 -509
 0 
 131 -509
 0 
 133 -509
 0 
 136 -509
 0 
 138 -509
 0 
 140 -509
 0 
 142 -509
 0 
 144 -509
 0 
 145 -510
 0 
 147 -510
 0 
 149 -510
 0 
 152 -510
 0 
 154 -510
 0 
 156 -510
 0 
 158 -510
 0 
 160 -510
 0 
 161 162 163 164 165 166
 167 168 169 170
 0 
 171 172 173 174 175 176
 177 178 179 180
 0 
 181 182 183 184 185 186
 187 188 189 190
 0 
 191 192 193 194 195 196
 197 198 199 200
 0 
 201 202 203 204 205 206
 207 208 209 210
 0 
 211 212 213 214 215 216
 217 218 219 220
 0 
 221 222 223 224 225 226
 227 228 229 230
 0 
 231 232 233 234 235 236
 237 238 239 240
 0 
 241 242 243 244 245 246
 247 248 249 250
 0 
 251 252 253 254 255 256
 257 258 259 260
 0 
 261 262 263 264 265 266
 267 268 269 270
 0 
 271 272 273 274 275 276
 277 278 279 280
 0 
 281 282 283 284 285 286
 287 288 289 290
 0 
 291 292 293 294 295 296
 297 298 299 300
 0 
 301 302 303 304 305 306
 307 308 309 310
 0 
 311 312 313 314 315 316
 317 318 319 320
 0 
 321 322 323 324 325 326
 327 328 329 330
 0 
 331 332 333 334 335 336
 337 338 339 340
 0 
 341 342 343 344 345 346
 347 348 349 350
 0 
 351 352 353 354 355 356
 357 358 359 360
 0 
 361 362 363 364 365 366
 367 368 369 370
 0 
 371 372 373 374 375 376
 377 378 379 380
 0 
 381 382 383 384 385 386
 387 388 389 390
 0 
 391 392 393 394 395 396
 397 398 399 400
 0 
 401 402 403 404 405 406
 407 408 409 410
 0 
 411 412 413 414 415 416
 417 418 419 420
 0 
 421 422 423 424 425 426
 427 428 429 430
 0 
 431 432 433 434 435 436
 437 438 439 440
 0 
 441 442 443 444 445 446
 447 448 449 450
 0 
 451 452 453 454 455 456
 457 458 459 460
 0 
 461 462 463 464 465 466
 467 468 469 470
 0 
 471 472 473 474 475 476
 477 478 479 480
 0 
 481 482 483 484 485 486
 487 488 489 490
 0 
 491 492 493 494 495 496
 497 498 499 500
 0 
 501 502 503 504 505 506
 507 508 509 510
 0