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