c Filename:  ii8b1.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 336 2068
 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 
 -2 -3 -6 -7 -10 -12
 -13 -15
 0 
 -18 -19 -22 -23 -26 -28
 -29 -31
 0 
 -34 -35 -38 -39 -42 -44
 -45 -47
 0 
 -50 -51 -54 -55 -58 -60
 -61 -63
 0 
 -66 -67 -70 -71 -74 -76
 -77 -79
 0 
 -82 -83 -86 -87 -90 -92
 -93 -95
 0 
 -1 -3 -6 -7 -10 -11
 -14 -15
 0 
 -17 -19 -22 -23 -26 -27
 -30 -31
 0 
 -33 -35 -38 -39 -42 -43
 -46 -47
 0 
 -49 -51 -54 -55 -58 -59
 -62 -63
 0 
 -65 -67 -70 -71 -74 -75
 -78 -79
 0 
 -81 -83 -86 -87 -90 -91
 -94 -95
 0 
 -1 -3 -5 -8 -9 -12
 -13 -15
 0 
 -17 -19 -21 -24 -25 -28
 -29 -31
 0 
 -33 -35 -37 -40 -41 -44
 -45 -47
 0 
 -49 -51 -53 -56 -57 -60
 -61 -63
 0 
 -65 -67 -69 -72 -73 -76
 -77 -79
 0 
 -81 -83 -85 -88 -89 -92
 -93 -95
 0 
 -2 -3 -5 -8 -9 -12
 -14 -15
 0 
 -18 -19 -21 -24 -25 -28
 -30 -31
 0 
 -34 -35 -37 -40 -41 -44
 -46 -47
 0 
 -50 -51 -53 -56 -57 -60
 -62 -63
 0 
 -66 -67 -69 -72 -73 -76
 -78 -79
 0 
 -82 -83 -85 -88 -89 -92
 -94 -95
 0 
 -1 -3 -5 -8 -10 -12
 -13 -15
 0 
 -17 -19 -21 -24 -26 -28
 -29 -31
 0 
 -33 -35 -37 -40 -42 -44
 -45 -47
 0 
 -49 -51 -53 -56 -58 -60
 -61 -63
 0 
 -65 -67 -69 -72 -74 -76
 -77 -79
 0 
 -81 -83 -85 -88 -90 -92
 -93 -95
 0 
 -2 -3 -5 -7 -10 -12
 -13 -15
 0 
 -18 -19 -21 -23 -26 -28
 -29 -31
 0 
 -34 -35 -37 -39 -42 -44
 -45 -47
 0 
 -50 -51 -53 -55 -58 -60
 -61 -63
 0 
 -66 -67 -69 -71 -74 -76
 -77 -79
 0 
 -82 -83 -85 -87 -90 -92
 -93 -95
 0 
 -2 -3 -5 -8 -10 -11
 -13 -15
 0 
 -18 -19 -21 -24 -26 -27
 -29 -31
 0 
 -34 -35 -37 -40 -42 -43
 -45 -47
 0 
 -50 -51 -53 -56 -58 -59
 -61 -63
 0 
 -66 -67 -69 -72 -74 -75
 -77 -79
 0 
 -82 -83 -85 -88 -90 -91
 -93 -95
 0 
 -2 -3 -5 -8 -10 -11
 -13 -15
 0 
 -18 -19 -21 -24 -26 -27
 -29 -31
 0 
 -34 -35 -37 -40 -42 -43
 -45 -47
 0 
 -50 -51 -53 -56 -58 -59
 -61 -63
 0 
 -66 -67 -69 -72 -74 -75
 -77 -79
 0 
 -82 -83 -85 -88 -90 -91
 -93 -95
 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 
 -2 -3 -6 -7 -10 -11
 -13 -15
 0 
 -18 -19 -22 -23 -26 -27
 -29 -31
 0 
 -34 -35 -38 -39 -42 -43
 -45 -47
 0 
 -50 -51 -54 -55 -58 -59
 -61 -63
 0 
 -66 -67 -70 -71 -74 -75
 -77 -79
 0 
 -82 -83 -86 -87 -90 -91
 -93 -95
 0 
 1 -97
 0 
 3 -97
 0 
 6 -97
 0 
 7 -97
 0 
 9 -97
 0 
 11 -97
 0 
 13 -97
 0 
 16 -97
 0 
 17 -98
 0 
 19 -98
 0 
 22 -98
 0 
 23 -98
 0 
 25 -98
 0 
 27 -98
 0 
 29 -98
 0 
 32 -98
 0 
 33 -99
 0 
 35 -99
 0 
 38 -99
 0 
 39 -99
 0 
 41 -99
 0 
 43 -99
 0 
 45 -99
 0 
 48 -99
 0 
 49 -100
 0 
 51 -100
 0 
 54 -100
 0 
 55 -100
 0 
 57 -100
 0 
 59 -100
 0 
 61 -100
 0 
 64 -100
 0 
 65 -101
 0 
 67 -101
 0 
 70 -101
 0 
 71 -101
 0 
 73 -101
 0 
 75 -101
 0 
 77 -101
 0 
 80 -101
 0 
 81 -102
 0 
 83 -102
 0 
 86 -102
 0 
 87 -102
 0 
 89 -102
 0 
 91 -102
 0 
 93 -102
 0 
 96 -102
 0 
 1 -103
 0 
 4 -103
 0 
 5 -103
 0 
 7 -103
 0 
 9 -103
 0 
 12 -103
 0 
 14 -103
 0 
 15 -103
 0 
 17 -104
 0 
 20 -104
 0 
 21 -104
 0 
 23 -104
 0 
 25 -104
 0 
 28 -104
 0 
 30 -104
 0 
 31 -104
 0 
 33 -105
 0 
 36 -105
 0 
 37 -105
 0 
 39 -105
 0 
 41 -105
 0 
 44 -105
 0 
 46 -105
 0 
 47 -105
 0 
 49 -106
 0 
 52 -106
 0 
 53 -106
 0 
 55 -106
 0 
 57 -106
 0 
 60 -106
 0 
 62 -106
 0 
 63 -106
 0 
 65 -107
 0 
 68 -107
 0 
 69 -107
 0 
 71 -107
 0 
 73 -107
 0 
 76 -107
 0 
 78 -107
 0 
 79 -107
 0 
 81 -108
 0 
 84 -108
 0 
 85 -108
 0 
 87 -108
 0 
 89 -108
 0 
 92 -108
 0 
 94 -108
 0 
 95 -108
 0 
 2 -109
 0 
 4 -109
 0 
 6 -109
 0 
 8 -109
 0 
 9 -109
 0 
 11 -109
 0 
 14 -109
 0 
 16 -109
 0 
 18 -110
 0 
 20 -110
 0 
 22 -110
 0 
 24 -110
 0 
 25 -110
 0 
 27 -110
 0 
 30 -110
 0 
 32 -110
 0 
 34 -111
 0 
 36 -111
 0 
 38 -111
 0 
 40 -111
 0 
 41 -111
 0 
 43 -111
 0 
 46 -111
 0 
 48 -111
 0 
 50 -112
 0 
 52 -112
 0 
 54 -112
 0 
 56 -112
 0 
 57 -112
 0 
 59 -112
 0 
 62 -112
 0 
 64 -112
 0 
 66 -113
 0 
 68 -113
 0 
 70 -113
 0 
 72 -113
 0 
 73 -113
 0 
 75 -113
 0 
 78 -113
 0 
 80 -113
 0 
 82 -114
 0 
 84 -114
 0 
 86 -114
 0 
 88 -114
 0 
 89 -114
 0 
 91 -114
 0 
 94 -114
 0 
 96 -114
 0 
 2 -115
 0 
 4 -115
 0 
 6 -115
 0 
 7 -115
 0 
 10 -115
 0 
 12 -115
 0 
 13 -115
 0 
 16 -115
 0 
 18 -116
 0 
 20 -116
 0 
 22 -116
 0 
 23 -116
 0 
 26 -116
 0 
 28 -116
 0 
 29 -116
 0 
 32 -116
 0 
 34 -117
 0 
 36 -117
 0 
 38 -117
 0 
 39 -117
 0 
 42 -117
 0 
 44 -117
 0 
 45 -117
 0 
 48 -117
 0 
 50 -118
 0 
 52 -118
 0 
 54 -118
 0 
 55 -118
 0 
 58 -118
 0 
 60 -118
 0 
 61 -118
 0 
 64 -118
 0 
 66 -119
 0 
 68 -119
 0 
 70 -119
 0 
 71 -119
 0 
 74 -119
 0 
 76 -119
 0 
 77 -119
 0 
 80 -119
 0 
 82 -120
 0 
 84 -120
 0 
 86 -120
 0 
 87 -120
 0 
 90 -120
 0 
 92 -120
 0 
 93 -120
 0 
 96 -120
 0 
 2 -121
 0 
 4 -121
 0 
 6 -121
 0 
 8 -121
 0 
 10 -121
 0 
 11 -121
 0 
 13 -121
 0 
 15 -121
 0 
 18 -122
 0 
 20 -122
 0 
 22 -122
 0 
 24 -122
 0 
 26 -122
 0 
 27 -122
 0 
 29 -122
 0 
 31 -122
 0 
 34 -123
 0 
 36 -123
 0 
 38 -123
 0 
 40 -123
 0 
 42 -123
 0 
 43 -123
 0 
 45 -123
 0 
 47 -123
 0 
 50 -124
 0 
 52 -124
 0 
 54 -124
 0 
 56 -124
 0 
 58 -124
 0 
 59 -124
 0 
 61 -124
 0 
 63 -124
 0 
 66 -125
 0 
 68 -125
 0 
 70 -125
 0 
 72 -125
 0 
 74 -125
 0 
 75 -125
 0 
 77 -125
 0 
 79 -125
 0 
 82 -126
 0 
 84 -126
 0 
 86 -126
 0 
 88 -126
 0 
 90 -126
 0 
 91 -126
 0 
 93 -126
 0 
 95 -126
 0 
 2 -127
 0 
 4 -127
 0 
 6 -127
 0 
 8 -127
 0 
 9 -127
 0 
 11 -127
 0 
 14 -127
 0 
 16 -127
 0 
 18 -128
 0 
 20 -128
 0 
 22 -128
 0 
 24 -128
 0 
 25 -128
 0 
 27 -128
 0 
 30 -128
 0 
 32 -128
 0 
 34 -129
 0 
 36 -129
 0 
 38 -129
 0 
 40 -129
 0 
 41 -129
 0 
 43 -129
 0 
 46 -129
 0 
 48 -129
 0 
 50 -130
 0 
 52 -130
 0 
 54 -130
 0 
 56 -130
 0 
 57 -130
 0 
 59 -130
 0 
 62 -130
 0 
 64 -130
 0 
 66 -131
 0 
 68 -131
 0 
 70 -131
 0 
 72 -131
 0 
 73 -131
 0 
 75 -131
 0 
 78 -131
 0 
 80 -131
 0 
 82 -132
 0 
 84 -132
 0 
 86 -132
 0 
 88 -132
 0 
 89 -132
 0 
 91 -132
 0 
 94 -132
 0 
 96 -132
 0 
 1 -133
 0 
 4 -133
 0 
 5 -133
 0 
 8 -133
 0 
 10 -133
 0 
 11 -133
 0 
 13 -133
 0 
 15 -133
 0 
 17 -134
 0 
 20 -134
 0 
 21 -134
 0 
 24 -134
 0 
 26 -134
 0 
 27 -134
 0 
 29 -134
 0 
 31 -134
 0 
 33 -135
 0 
 36 -135
 0 
 37 -135
 0 
 40 -135
 0 
 42 -135
 0 
 43 -135
 0 
 45 -135
 0 
 47 -135
 0 
 49 -136
 0 
 52 -136
 0 
 53 -136
 0 
 56 -136
 0 
 58 -136
 0 
 59 -136
 0 
 61 -136
 0 
 63 -136
 0 
 65 -137
 0 
 68 -137
 0 
 69 -137
 0 
 72 -137
 0 
 74 -137
 0 
 75 -137
 0 
 77 -137
 0 
 79 -137
 0 
 81 -138
 0 
 84 -138
 0 
 85 -138
 0 
 88 -138
 0 
 90 -138
 0 
 91 -138
 0 
 93 -138
 0 
 95 -138
 0 
 2 -139
 0 
 4 -139
 0 
 5 -139
 0 
 7 -139
 0 
 9 -139
 0 
 11 -139
 0 
 14 -139
 0 
 16 -139
 0 
 18 -140
 0 
 20 -140
 0 
 21 -140
 0 
 23 -140
 0 
 25 -140
 0 
 27 -140
 0 
 30 -140
 0 
 32 -140
 0 
 34 -141
 0 
 36 -141
 0 
 37 -141
 0 
 39 -141
 0 
 41 -141
 0 
 43 -141
 0 
 46 -141
 0 
 48 -141
 0 
 50 -142
 0 
 52 -142
 0 
 53 -142
 0 
 55 -142
 0 
 57 -142
 0 
 59 -142
 0 
 62 -142
 0 
 64 -142
 0 
 66 -143
 0 
 68 -143
 0 
 69 -143
 0 
 71 -143
 0 
 73 -143
 0 
 75 -143
 0 
 78 -143
 0 
 80 -143
 0 
 82 -144
 0 
 84 -144
 0 
 85 -144
 0 
 87 -144
 0 
 89 -144
 0 
 91 -144
 0 
 94 -144
 0 
 96 -144
 0 
 1 -145
 0 
 4 -145
 0 
 6 -145
 0 
 7 -145
 0 
 9 -145
 0 
 11 -145
 0 
 14 -145
 0 
 15 -145
 0 
 17 -146
 0 
 20 -146
 0 
 22 -146
 0 
 23 -146
 0 
 25 -146
 0 
 27 -146
 0 
 30 -146
 0 
 31 -146
 0 
 33 -147
 0 
 36 -147
 0 
 38 -147
 0 
 39 -147
 0 
 41 -147
 0 
 43 -147
 0 
 46 -147
 0 
 47 -147
 0 
 49 -148
 0 
 52 -148
 0 
 54 -148
 0 
 55 -148
 0 
 57 -148
 0 
 59 -148
 0 
 62 -148
 0 
 63 -148
 0 
 65 -149
 0 
 68 -149
 0 
 70 -149
 0 
 71 -149
 0 
 73 -149
 0 
 75 -149
 0 
 78 -149
 0 
 79 -149
 0 
 81 -150
 0 
 84 -150
 0 
 86 -150
 0 
 87 -150
 0 
 89 -150
 0 
 91 -150
 0 
 94 -150
 0 
 95 -150
 0 
 2 -151
 0 
 4 -151
 0 
 6 -151
 0 
 7 -151
 0 
 9 -151
 0 
 12 -151
 0 
 13 -151
 0 
 16 -151
 0 
 18 -152
 0 
 20 -152
 0 
 22 -152
 0 
 23 -152
 0 
 25 -152
 0 
 28 -152
 0 
 29 -152
 0 
 32 -152
 0 
 34 -153
 0 
 36 -153
 0 
 38 -153
 0 
 39 -153
 0 
 41 -153
 0 
 44 -153
 0 
 45 -153
 0 
 48 -153
 0 
 50 -154
 0 
 52 -154
 0 
 54 -154
 0 
 55 -154
 0 
 57 -154
 0 
 60 -154
 0 
 61 -154
 0 
 64 -154
 0 
 66 -155
 0 
 68 -155
 0 
 70 -155
 0 
 71 -155
 0 
 73 -155
 0 
 76 -155
 0 
 77 -155
 0 
 80 -155
 0 
 82 -156
 0 
 84 -156
 0 
 86 -156
 0 
 87 -156
 0 
 89 -156
 0 
 92 -156
 0 
 93 -156
 0 
 96 -156
 0 
 1 -157
 0 
 4 -157
 0 
 5 -157
 0 
 7 -157
 0 
 9 -157
 0 
 12 -157
 0 
 13 -157
 0 
 16 -157
 0 
 17 -158
 0 
 20 -158
 0 
 21 -158
 0 
 23 -158
 0 
 25 -158
 0 
 28 -158
 0 
 29 -158
 0 
 32 -158
 0 
 33 -159
 0 
 36 -159
 0 
 37 -159
 0 
 39 -159
 0 
 41 -159
 0 
 44 -159
 0 
 45 -159
 0 
 48 -159
 0 
 49 -160
 0 
 52 -160
 0 
 53 -160
 0 
 55 -160
 0 
 57 -160
 0 
 60 -160
 0 
 61 -160
 0 
 64 -160
 0 
 65 -161
 0 
 68 -161
 0 
 69 -161
 0 
 71 -161
 0 
 73 -161
 0 
 76 -161
 0 
 77 -161
 0 
 80 -161
 0 
 81 -162
 0 
 84 -162
 0 
 85 -162
 0 
 87 -162
 0 
 89 -162
 0 
 92 -162
 0 
 93 -162
 0 
 96 -162
 0 
 2 -163
 0 
 3 -163
 0 
 5 -163
 0 
 8 -163
 0 
 10 -163
 0 
 12 -163
 0 
 14 -163
 0 
 16 -163
 0 
 18 -164
 0 
 19 -164
 0 
 21 -164
 0 
 24 -164
 0 
 26 -164
 0 
 28 -164
 0 
 30 -164
 0 
 32 -164
 0 
 34 -165
 0 
 35 -165
 0 
 37 -165
 0 
 40 -165
 0 
 42 -165
 0 
 44 -165
 0 
 46 -165
 0 
 48 -165
 0 
 50 -166
 0 
 51 -166
 0 
 53 -166
 0 
 56 -166
 0 
 58 -166
 0 
 60 -166
 0 
 62 -166
 0 
 64 -166
 0 
 66 -167
 0 
 67 -167
 0 
 69 -167
 0 
 72 -167
 0 
 74 -167
 0 
 76 -167
 0 
 78 -167
 0 
 80 -167
 0 
 82 -168
 0 
 83 -168
 0 
 85 -168
 0 
 88 -168
 0 
 90 -168
 0 
 92 -168
 0 
 94 -168
 0 
 96 -168
 0 
 2 -169
 0 
 4 -169
 0 
 5 -169
 0 
 7 -169
 0 
 9 -169
 0 
 12 -169
 0 
 14 -169
 0 
 16 -169
 0 
 18 -170
 0 
 20 -170
 0 
 21 -170
 0 
 23 -170
 0 
 25 -170
 0 
 28 -170
 0 
 30 -170
 0 
 32 -170
 0 
 34 -171
 0 
 36 -171
 0 
 37 -171
 0 
 39 -171
 0 
 41 -171
 0 
 44 -171
 0 
 46 -171
 0 
 48 -171
 0 
 50 -172
 0 
 52 -172
 0 
 53 -172
 0 
 55 -172
 0 
 57 -172
 0 
 60 -172
 0 
 62 -172
 0 
 64 -172
 0 
 66 -173
 0 
 68 -173
 0 
 69 -173
 0 
 71 -173
 0 
 73 -173
 0 
 76 -173
 0 
 78 -173
 0 
 80 -173
 0 
 82 -174
 0 
 84 -174
 0 
 85 -174
 0 
 87 -174
 0 
 89 -174
 0 
 92 -174
 0 
 94 -174
 0 
 96 -174
 0 
 2 -175
 0 
 4 -175
 0 
 5 -175
 0 
 8 -175
 0 
 10 -175
 0 
 12 -175
 0 
 13 -175
 0 
 16 -175
 0 
 18 -176
 0 
 20 -176
 0 
 21 -176
 0 
 24 -176
 0 
 26 -176
 0 
 28 -176
 0 
 29 -176
 0 
 32 -176
 0 
 34 -177
 0 
 36 -177
 0 
 37 -177
 0 
 40 -177
 0 
 42 -177
 0 
 44 -177
 0 
 45 -177
 0 
 48 -177
 0 
 50 -178
 0 
 52 -178
 0 
 53 -178
 0 
 56 -178
 0 
 58 -178
 0 
 60 -178
 0 
 61 -178
 0 
 64 -178
 0 
 66 -179
 0 
 68 -179
 0 
 69 -179
 0 
 72 -179
 0 
 74 -179
 0 
 76 -179
 0 
 77 -179
 0 
 80 -179
 0 
 82 -180
 0 
 84 -180
 0 
 85 -180
 0 
 88 -180
 0 
 90 -180
 0 
 92 -180
 0 
 93 -180
 0 
 96 -180
 0 
 2 -181
 0 
 4 -181
 0 
 6 -181
 0 
 7 -181
 0 
 10 -181
 0 
 11 -181
 0 
 13 -181
 0 
 16 -181
 0 
 18 -182
 0 
 20 -182
 0 
 22 -182
 0 
 23 -182
 0 
 26 -182
 0 
 27 -182
 0 
 29 -182
 0 
 32 -182
 0 
 34 -183
 0 
 36 -183
 0 
 38 -183
 0 
 39 -183
 0 
 42 -183
 0 
 43 -183
 0 
 45 -183
 0 
 48 -183
 0 
 50 -184
 0 
 52 -184
 0 
 54 -184
 0 
 55 -184
 0 
 58 -184
 0 
 59 -184
 0 
 61 -184
 0 
 64 -184
 0 
 66 -185
 0 
 68 -185
 0 
 70 -185
 0 
 71 -185
 0 
 74 -185
 0 
 75 -185
 0 
 77 -185
 0 
 80 -185
 0 
 82 -186
 0 
 84 -186
 0 
 86 -186
 0 
 87 -186
 0 
 90 -186
 0 
 91 -186
 0 
 93 -186
 0 
 96 -186
 0 
 1 -187
 0 
 3 -187
 0 
 5 -187
 0 
 7 -187
 0 
 10 -187
 0 
 12 -187
 0 
 14 -187
 0 
 16 -187
 0 
 17 -188
 0 
 19 -188
 0 
 21 -188
 0 
 23 -188
 0 
 26 -188
 0 
 28 -188
 0 
 30 -188
 0 
 32 -188
 0 
 33 -189
 0 
 35 -189
 0 
 37 -189
 0 
 39 -189
 0 
 42 -189
 0 
 44 -189
 0 
 46 -189
 0 
 48 -189
 0 
 49 -190
 0 
 51 -190
 0 
 53 -190
 0 
 55 -190
 0 
 58 -190
 0 
 60 -190
 0 
 62 -190
 0 
 64 -190
 0 
 65 -191
 0 
 67 -191
 0 
 69 -191
 0 
 71 -191
 0 
 74 -191
 0 
 76 -191
 0 
 78 -191
 0 
 80 -191
 0 
 81 -192
 0 
 83 -192
 0 
 85 -192
 0 
 87 -192
 0 
 90 -192
 0 
 92 -192
 0 
 94 -192
 0 
 96 -192
 0 
 1 -193
 0 
 4 -193
 0 
 6 -193
 0 
 8 -193
 0 
 10 -193
 0 
 12 -193
 0 
 13 -193
 0 
 16 -193
 0 
 17 -194
 0 
 20 -194
 0 
 22 -194
 0 
 24 -194
 0 
 26 -194
 0 
 28 -194
 0 
 29 -194
 0 
 32 -194
 0 
 33 -195
 0 
 36 -195
 0 
 38 -195
 0 
 40 -195
 0 
 42 -195
 0 
 44 -195
 0 
 45 -195
 0 
 48 -195
 0 
 49 -196
 0 
 52 -196
 0 
 54 -196
 0 
 56 -196
 0 
 58 -196
 0 
 60 -196
 0 
 61 -196
 0 
 64 -196
 0 
 65 -197
 0 
 68 -197
 0 
 70 -197
 0 
 72 -197
 0 
 74 -197
 0 
 76 -197
 0 
 77 -197
 0 
 80 -197
 0 
 81 -198
 0 
 84 -198
 0 
 86 -198
 0 
 88 -198
 0 
 90 -198
 0 
 92 -198
 0 
 93 -198
 0 
 96 -198
 0 
 2 -199
 0 
 4 -199
 0 
 5 -199
 0 
 8 -199
 0 
 10 -199
 0 
 12 -199
 0 
 13 -199
 0 
 15 -199
 0 
 18 -200
 0 
 20 -200
 0 
 21 -200
 0 
 24 -200
 0 
 26 -200
 0 
 28 -200
 0 
 29 -200
 0 
 31 -200
 0 
 34 -201
 0 
 36 -201
 0 
 37 -201
 0 
 40 -201
 0 
 42 -201
 0 
 44 -201
 0 
 45 -201
 0 
 47 -201
 0 
 50 -202
 0 
 52 -202
 0 
 53 -202
 0 
 56 -202
 0 
 58 -202
 0 
 60 -202
 0 
 61 -202
 0 
 63 -202
 0 
 66 -203
 0 
 68 -203
 0 
 69 -203
 0 
 72 -203
 0 
 74 -203
 0 
 76 -203
 0 
 77 -203
 0 
 79 -203
 0 
 82 -204
 0 
 84 -204
 0 
 85 -204
 0 
 88 -204
 0 
 90 -204
 0 
 92 -204
 0 
 93 -204
 0 
 95 -204
 0 
 2 -205
 0 
 4 -205
 0 
 6 -205
 0 
 8 -205
 0 
 9 -205
 0 
 12 -205
 0 
 13 -205
 0 
 16 -205
 0 
 18 -206
 0 
 20 -206
 0 
 22 -206
 0 
 24 -206
 0 
 25 -206
 0 
 28 -206
 0 
 29 -206
 0 
 32 -206
 0 
 34 -207
 0 
 36 -207
 0 
 38 -207
 0 
 40 -207
 0 
 41 -207
 0 
 44 -207
 0 
 45 -207
 0 
 48 -207
 0 
 50 -208
 0 
 52 -208
 0 
 54 -208
 0 
 56 -208
 0 
 57 -208
 0 
 60 -208
 0 
 61 -208
 0 
 64 -208
 0 
 66 -209
 0 
 68 -209
 0 
 70 -209
 0 
 72 -209
 0 
 73 -209
 0 
 76 -209
 0 
 77 -209
 0 
 80 -209
 0 
 82 -210
 0 
 84 -210
 0 
 86 -210
 0 
 88 -210
 0 
 89 -210
 0 
 92 -210
 0 
 93 -210
 0 
 96 -210
 0 
 2 -211
 0 
 4 -211
 0 
 6 -211
 0 
 8 -211
 0 
 9 -211
 0 
 12 -211
 0 
 14 -211
 0 
 16 -211
 0 
 18 -212
 0 
 20 -212
 0 
 22 -212
 0 
 24 -212
 0 
 25 -212
 0 
 28 -212
 0 
 30 -212
 0 
 32 -212
 0 
 34 -213
 0 
 36 -213
 0 
 38 -213
 0 
 40 -213
 0 
 41 -213
 0 
 44 -213
 0 
 46 -213
 0 
 48 -213
 0 
 50 -214
 0 
 52 -214
 0 
 54 -214
 0 
 56 -214
 0 
 57 -214
 0 
 60 -214
 0 
 62 -214
 0 
 64 -214
 0 
 66 -215
 0 
 68 -215
 0 
 70 -215
 0 
 72 -215
 0 
 73 -215
 0 
 76 -215
 0 
 78 -215
 0 
 80 -215
 0 
 82 -216
 0 
 84 -216
 0 
 86 -216
 0 
 88 -216
 0 
 89 -216
 0 
 92 -216
 0 
 94 -216
 0 
 96 -216
 0 
 2 -217
 0 
 3 -217
 0 
 5 -217
 0 
 7 -217
 0 
 9 -217
 0 
 12 -217
 0 
 13 -217
 0 
 16 -217
 0 
 18 -218
 0 
 19 -218
 0 
 21 -218
 0 
 23 -218
 0 
 25 -218
 0 
 28 -218
 0 
 29 -218
 0 
 32 -218
 0 
 34 -219
 0 
 35 -219
 0 
 37 -219
 0 
 39 -219
 0 
 41 -219
 0 
 44 -219
 0 
 45 -219
 0 
 48 -219
 0 
 50 -220
 0 
 51 -220
 0 
 53 -220
 0 
 55 -220
 0 
 57 -220
 0 
 60 -220
 0 
 61 -220
 0 
 64 -220
 0 
 66 -221
 0 
 67 -221
 0 
 69 -221
 0 
 71 -221
 0 
 73 -221
 0 
 76 -221
 0 
 77 -221
 0 
 80 -221
 0 
 82 -222
 0 
 83 -222
 0 
 85 -222
 0 
 87 -222
 0 
 89 -222
 0 
 92 -222
 0 
 93 -222
 0 
 96 -222
 0 
 1 -223
 0 
 4 -223
 0 
 6 -223
 0 
 7 -223
 0 
 9 -223
 0 
 11 -223
 0 
 14 -223
 0 
 16 -223
 0 
 17 -224
 0 
 20 -224
 0 
 22 -224
 0 
 23 -224
 0 
 25 -224
 0 
 27 -224
 0 
 30 -224
 0 
 32 -224
 0 
 33 -225
 0 
 36 -225
 0 
 38 -225
 0 
 39 -225
 0 
 41 -225
 0 
 43 -225
 0 
 46 -225
 0 
 48 -225
 0 
 49 -226
 0 
 52 -226
 0 
 54 -226
 0 
 55 -226
 0 
 57 -226
 0 
 59 -226
 0 
 62 -226
 0 
 64 -226
 0 
 65 -227
 0 
 68 -227
 0 
 70 -227
 0 
 71 -227
 0 
 73 -227
 0 
 75 -227
 0 
 78 -227
 0 
 80 -227
 0 
 81 -228
 0 
 84 -228
 0 
 86 -228
 0 
 87 -228
 0 
 89 -228
 0 
 91 -228
 0 
 94 -228
 0 
 96 -228
 0 
 1 -229
 0 
 4 -229
 0 
 6 -229
 0 
 8 -229
 0 
 9 -229
 0 
 12 -229
 0 
 13 -229
 0 
 15 -229
 0 
 17 -230
 0 
 20 -230
 0 
 22 -230
 0 
 24 -230
 0 
 25 -230
 0 
 28 -230
 0 
 29 -230
 0 
 31 -230
 0 
 33 -231
 0 
 36 -231
 0 
 38 -231
 0 
 40 -231
 0 
 41 -231
 0 
 44 -231
 0 
 45 -231
 0 
 47 -231
 0 
 49 -232
 0 
 52 -232
 0 
 54 -232
 0 
 56 -232
 0 
 57 -232
 0 
 60 -232
 0 
 61 -232
 0 
 63 -232
 0 
 65 -233
 0 
 68 -233
 0 
 70 -233
 0 
 72 -233
 0 
 73 -233
 0 
 76 -233
 0 
 77 -233
 0 
 79 -233
 0 
 81 -234
 0 
 84 -234
 0 
 86 -234
 0 
 88 -234
 0 
 89 -234
 0 
 92 -234
 0 
 93 -234
 0 
 95 -234
 0 
 1 -235
 0 
 4 -235
 0 
 6 -235
 0 
 8 -235
 0 
 9 -235
 0 
 12 -235
 0 
 13 -235
 0 
 16 -235
 0 
 17 -236
 0 
 20 -236
 0 
 22 -236
 0 
 24 -236
 0 
 25 -236
 0 
 28 -236
 0 
 29 -236
 0 
 32 -236
 0 
 33 -237
 0 
 36 -237
 0 
 38 -237
 0 
 40 -237
 0 
 41 -237
 0 
 44 -237
 0 
 45 -237
 0 
 48 -237
 0 
 49 -238
 0 
 52 -238
 0 
 54 -238
 0 
 56 -238
 0 
 57 -238
 0 
 60 -238
 0 
 61 -238
 0 
 64 -238
 0 
 65 -239
 0 
 68 -239
 0 
 70 -239
 0 
 72 -239
 0 
 73 -239
 0 
 76 -239
 0 
 77 -239
 0 
 80 -239
 0 
 81 -240
 0 
 84 -240
 0 
 86 -240
 0 
 88 -240
 0 
 89 -240
 0 
 92 -240
 0 
 93 -240
 0 
 96 -240
 0 
 1 -241
 0 
 4 -241
 0 
 6 -241
 0 
 8 -241
 0 
 9 -241
 0 
 11 -241
 0 
 13 -241
 0 
 15 -241
 0 
 17 -242
 0 
 20 -242
 0 
 22 -242
 0 
 24 -242
 0 
 25 -242
 0 
 27 -242
 0 
 29 -242
 0 
 31 -242
 0 
 33 -243
 0 
 36 -243
 0 
 38 -243
 0 
 40 -243
 0 
 41 -243
 0 
 43 -243
 0 
 45 -243
 0 
 47 -243
 0 
 49 -244
 0 
 52 -244
 0 
 54 -244
 0 
 56 -244
 0 
 57 -244
 0 
 59 -244
 0 
 61 -244
 0 
 63 -244
 0 
 65 -245
 0 
 68 -245
 0 
 70 -245
 0 
 72 -245
 0 
 73 -245
 0 
 75 -245
 0 
 77 -245
 0 
 79 -245
 0 
 81 -246
 0 
 84 -246
 0 
 86 -246
 0 
 88 -246
 0 
 89 -246
 0 
 91 -246
 0 
 93 -246
 0 
 95 -246
 0 
 2 -247
 0 
 4 -247
 0 
 6 -247
 0 
 7 -247
 0 
 9 -247
 0 
 12 -247
 0 
 13 -247
 0 
 16 -247
 0 
 18 -248
 0 
 20 -248
 0 
 22 -248
 0 
 23 -248
 0 
 25 -248
 0 
 28 -248
 0 
 29 -248
 0 
 32 -248
 0 
 34 -249
 0 
 36 -249
 0 
 38 -249
 0 
 39 -249
 0 
 41 -249
 0 
 44 -249
 0 
 45 -249
 0 
 48 -249
 0 
 50 -250
 0 
 52 -250
 0 
 54 -250
 0 
 55 -250
 0 
 57 -250
 0 
 60 -250
 0 
 61 -250
 0 
 64 -250
 0 
 66 -251
 0 
 68 -251
 0 
 70 -251
 0 
 71 -251
 0 
 73 -251
 0 
 76 -251
 0 
 77 -251
 0 
 80 -251
 0 
 82 -252
 0 
 84 -252
 0 
 86 -252
 0 
 87 -252
 0 
 89 -252
 0 
 92 -252
 0 
 93 -252
 0 
 96 -252
 0 
 1 -253
 0 
 4 -253
 0 
 6 -253
 0 
 7 -253
 0 
 10 -253
 0 
 12 -253
 0 
 14 -253
 0 
 15 -253
 0 
 17 -254
 0 
 20 -254
 0 
 22 -254
 0 
 23 -254
 0 
 26 -254
 0 
 28 -254
 0 
 30 -254
 0 
 31 -254
 0 
 33 -255
 0 
 36 -255
 0 
 38 -255
 0 
 39 -255
 0 
 42 -255
 0 
 44 -255
 0 
 46 -255
 0 
 47 -255
 0 
 49 -256
 0 
 52 -256
 0 
 54 -256
 0 
 55 -256
 0 
 58 -256
 0 
 60 -256
 0 
 62 -256
 0 
 63 -256
 0 
 65 -257
 0 
 68 -257
 0 
 70 -257
 0 
 71 -257
 0 
 74 -257
 0 
 76 -257
 0 
 78 -257
 0 
 79 -257
 0 
 81 -258
 0 
 84 -258
 0 
 86 -258
 0 
 87 -258
 0 
 90 -258
 0 
 92 -258
 0 
 94 -258
 0 
 95 -258
 0 
 2 -259
 0 
 4 -259
 0 
 6 -259
 0 
 7 -259
 0 
 10 -259
 0 
 11 -259
 0 
 13 -259
 0 
 15 -259
 0 
 18 -260
 0 
 20 -260
 0 
 22 -260
 0 
 23 -260
 0 
 26 -260
 0 
 27 -260
 0 
 29 -260
 0 
 31 -260
 0 
 34 -261
 0 
 36 -261
 0 
 38 -261
 0 
 39 -261
 0 
 42 -261
 0 
 43 -261
 0 
 45 -261
 0 
 47 -261
 0 
 50 -262
 0 
 52 -262
 0 
 54 -262
 0 
 55 -262
 0 
 58 -262
 0 
 59 -262
 0 
 61 -262
 0 
 63 -262
 0 
 66 -263
 0 
 68 -263
 0 
 70 -263
 0 
 71 -263
 0 
 74 -263
 0 
 75 -263
 0 
 77 -263
 0 
 79 -263
 0 
 82 -264
 0 
 84 -264
 0 
 86 -264
 0 
 87 -264
 0 
 90 -264
 0 
 91 -264
 0 
 93 -264
 0 
 95 -264
 0 
 1 -265
 0 
 4 -265
 0 
 5 -265
 0 
 7 -265
 0 
 9 -265
 0 
 11 -265
 0 
 14 -265
 0 
 16 -265
 0 
 17 -266
 0 
 20 -266
 0 
 21 -266
 0 
 23 -266
 0 
 25 -266
 0 
 27 -266
 0 
 30 -266
 0 
 32 -266
 0 
 33 -267
 0 
 36 -267
 0 
 37 -267
 0 
 39 -267
 0 
 41 -267
 0 
 43 -267
 0 
 46 -267
 0 
 48 -267
 0 
 49 -268
 0 
 52 -268
 0 
 53 -268
 0 
 55 -268
 0 
 57 -268
 0 
 59 -268
 0 
 62 -268
 0 
 64 -268
 0 
 65 -269
 0 
 68 -269
 0 
 69 -269
 0 
 71 -269
 0 
 73 -269
 0 
 75 -269
 0 
 78 -269
 0 
 80 -269
 0 
 81 -270
 0 
 84 -270
 0 
 85 -270
 0 
 87 -270
 0 
 89 -270
 0 
 91 -270
 0 
 94 -270
 0 
 96 -270
 0 
 2 -271
 0 
 3 -271
 0 
 6 -271
 0 
 8 -271
 0 
 9 -271
 0 
 12 -271
 0 
 13 -271
 0 
 16 -271
 0 
 18 -272
 0 
 19 -272
 0 
 22 -272
 0 
 24 -272
 0 
 25 -272
 0 
 28 -272
 0 
 29 -272
 0 
 32 -272
 0 
 34 -273
 0 
 35 -273
 0 
 38 -273
 0 
 40 -273
 0 
 41 -273
 0 
 44 -273
 0 
 45 -273
 0 
 48 -273
 0 
 50 -274
 0 
 51 -274
 0 
 54 -274
 0 
 56 -274
 0 
 57 -274
 0 
 60 -274
 0 
 61 -274
 0 
 64 -274
 0 
 66 -275
 0 
 67 -275
 0 
 70 -275
 0 
 72 -275
 0 
 73 -275
 0 
 76 -275
 0 
 77 -275
 0 
 80 -275
 0 
 82 -276
 0 
 83 -276
 0 
 86 -276
 0 
 88 -276
 0 
 89 -276
 0 
 92 -276
 0 
 93 -276
 0 
 96 -276
 0 
 1 -277
 0 
 4 -277
 0 
 5 -277
 0 
 7 -277
 0 
 10 -277
 0 
 11 -277
 0 
 14 -277
 0 
 15 -277
 0 
 17 -278
 0 
 20 -278
 0 
 21 -278
 0 
 23 -278
 0 
 26 -278
 0 
 27 -278
 0 
 30 -278
 0 
 31 -278
 0 
 33 -279
 0 
 36 -279
 0 
 37 -279
 0 
 39 -279
 0 
 42 -279
 0 
 43 -279
 0 
 46 -279
 0 
 47 -279
 0 
 49 -280
 0 
 52 -280
 0 
 53 -280
 0 
 55 -280
 0 
 58 -280
 0 
 59 -280
 0 
 62 -280
 0 
 63 -280
 0 
 65 -281
 0 
 68 -281
 0 
 69 -281
 0 
 71 -281
 0 
 74 -281
 0 
 75 -281
 0 
 78 -281
 0 
 79 -281
 0 
 81 -282
 0 
 84 -282
 0 
 85 -282
 0 
 87 -282
 0 
 90 -282
 0 
 91 -282
 0 
 94 -282
 0 
 95 -282
 0 
 1 -283
 0 
 4 -283
 0 
 6 -283
 0 
 8 -283
 0 
 10 -283
 0 
 11 -283
 0 
 14 -283
 0 
 15 -283
 0 
 17 -284
 0 
 20 -284
 0 
 22 -284
 0 
 24 -284
 0 
 26 -284
 0 
 27 -284
 0 
 30 -284
 0 
 31 -284
 0 
 33 -285
 0 
 36 -285
 0 
 38 -285
 0 
 40 -285
 0 
 42 -285
 0 
 43 -285
 0 
 46 -285
 0 
 47 -285
 0 
 49 -286
 0 
 52 -286
 0 
 54 -286
 0 
 56 -286
 0 
 58 -286
 0 
 59 -286
 0 
 62 -286
 0 
 63 -286
 0 
 65 -287
 0 
 68 -287
 0 
 70 -287
 0 
 72 -287
 0 
 74 -287
 0 
 75 -287
 0 
 78 -287
 0 
 79 -287
 0 
 81 -288
 0 
 84 -288
 0 
 86 -288
 0 
 88 -288
 0 
 90 -288
 0 
 91 -288
 0 
 94 -288
 0 
 95 -288
 0 
 1 -289
 0 
 3 -289
 0 
 6 -289
 0 
 8 -289
 0 
 10 -289
 0 
 11 -289
 0 
 14 -289
 0 
 16 -289
 0 
 17 -290
 0 
 19 -290
 0 
 22 -290
 0 
 24 -290
 0 
 26 -290
 0 
 27 -290
 0 
 30 -290
 0 
 32 -290
 0 
 33 -291
 0 
 35 -291
 0 
 38 -291
 0 
 40 -291
 0 
 42 -291
 0 
 43 -291
 0 
 46 -291
 0 
 48 -291
 0 
 49 -292
 0 
 51 -292
 0 
 54 -292
 0 
 56 -292
 0 
 58 -292
 0 
 59 -292
 0 
 62 -292
 0 
 64 -292
 0 
 65 -293
 0 
 67 -293
 0 
 70 -293
 0 
 72 -293
 0 
 74 -293
 0 
 75 -293
 0 
 78 -293
 0 
 80 -293
 0 
 81 -294
 0 
 83 -294
 0 
 86 -294
 0 
 88 -294
 0 
 90 -294
 0 
 91 -294
 0 
 94 -294
 0 
 96 -294
 0 
 1 -295
 0 
 4 -295
 0 
 6 -295
 0 
 8 -295
 0 
 10 -295
 0 
 11 -295
 0 
 13 -295
 0 
 15 -295
 0 
 17 -296
 0 
 20 -296
 0 
 22 -296
 0 
 24 -296
 0 
 26 -296
 0 
 27 -296
 0 
 29 -296
 0 
 31 -296
 0 
 33 -297
 0 
 36 -297
 0 
 38 -297
 0 
 40 -297
 0 
 42 -297
 0 
 43 -297
 0 
 45 -297
 0 
 47 -297
 0 
 49 -298
 0 
 52 -298
 0 
 54 -298
 0 
 56 -298
 0 
 58 -298
 0 
 59 -298
 0 
 61 -298
 0 
 63 -298
 0 
 65 -299
 0 
 68 -299
 0 
 70 -299
 0 
 72 -299
 0 
 74 -299
 0 
 75 -299
 0 
 77 -299
 0 
 79 -299
 0 
 81 -300
 0 
 84 -300
 0 
 86 -300
 0 
 88 -300
 0 
 90 -300
 0 
 91 -300
 0 
 93 -300
 0 
 95 -300
 0 
 2 -301
 0 
 4 -301
 0 
 5 -301
 0 
 8 -301
 0 
 10 -301
 0 
 12 -301
 0 
 14 -301
 0 
 15 -301
 0 
 18 -302
 0 
 20 -302
 0 
 21 -302
 0 
 24 -302
 0 
 26 -302
 0 
 28 -302
 0 
 30 -302
 0 
 31 -302
 0 
 34 -303
 0 
 36 -303
 0 
 37 -303
 0 
 40 -303
 0 
 42 -303
 0 
 44 -303
 0 
 46 -303
 0 
 47 -303
 0 
 50 -304
 0 
 52 -304
 0 
 53 -304
 0 
 56 -304
 0 
 58 -304
 0 
 60 -304
 0 
 62 -304
 0 
 63 -304
 0 
 66 -305
 0 
 68 -305
 0 
 69 -305
 0 
 72 -305
 0 
 74 -305
 0 
 76 -305
 0 
 78 -305
 0 
 79 -305
 0 
 82 -306
 0 
 84 -306
 0 
 85 -306
 0 
 88 -306
 0 
 90 -306
 0 
 92 -306
 0 
 94 -306
 0 
 95 -306
 0 
 2 -307
 0 
 3 -307
 0 
 5 -307
 0 
 8 -307
 0 
 9 -307
 0 
 11 -307
 0 
 14 -307
 0 
 16 -307
 0 
 18 -308
 0 
 19 -308
 0 
 21 -308
 0 
 24 -308
 0 
 25 -308
 0 
 27 -308
 0 
 30 -308
 0 
 32 -308
 0 
 34 -309
 0 
 35 -309
 0 
 37 -309
 0 
 40 -309
 0 
 41 -309
 0 
 43 -309
 0 
 46 -309
 0 
 48 -309
 0 
 50 -310
 0 
 51 -310
 0 
 53 -310
 0 
 56 -310
 0 
 57 -310
 0 
 59 -310
 0 
 62 -310
 0 
 64 -310
 0 
 66 -311
 0 
 67 -311
 0 
 69 -311
 0 
 72 -311
 0 
 73 -311
 0 
 75 -311
 0 
 78 -311
 0 
 80 -311
 0 
 82 -312
 0 
 83 -312
 0 
 85 -312
 0 
 88 -312
 0 
 89 -312
 0 
 91 -312
 0 
 94 -312
 0 
 96 -312
 0 
 2 -313
 0 
 4 -313
 0 
 6 -313
 0 
 8 -313
 0 
 10 -313
 0 
 11 -313
 0 
 14 -313
 0 
 15 -313
 0 
 18 -314
 0 
 20 -314
 0 
 22 -314
 0 
 24 -314
 0 
 26 -314
 0 
 27 -314
 0 
 30 -314
 0 
 31 -314
 0 
 34 -315
 0 
 36 -315
 0 
 38 -315
 0 
 40 -315
 0 
 42 -315
 0 
 43 -315
 0 
 46 -315
 0 
 47 -315
 0 
 50 -316
 0 
 52 -316
 0 
 54 -316
 0 
 56 -316
 0 
 58 -316
 0 
 59 -316
 0 
 62 -316
 0 
 63 -316
 0 
 66 -317
 0 
 68 -317
 0 
 70 -317
 0 
 72 -317
 0 
 74 -317
 0 
 75 -317
 0 
 78 -317
 0 
 79 -317
 0 
 82 -318
 0 
 84 -318
 0 
 86 -318
 0 
 88 -318
 0 
 90 -318
 0 
 91 -318
 0 
 94 -318
 0 
 95 -318
 0 
 1 -319
 0 
 4 -319
 0 
 5 -319
 0 
 8 -319
 0 
 10 -319
 0 
 12 -319
 0 
 13 -319
 0 
 15 -319
 0 
 17 -320
 0 
 20 -320
 0 
 21 -320
 0 
 24 -320
 0 
 26 -320
 0 
 28 -320
 0 
 29 -320
 0 
 31 -320
 0 
 33 -321
 0 
 36 -321
 0 
 37 -321
 0 
 40 -321
 0 
 42 -321
 0 
 44 -321
 0 
 45 -321
 0 
 47 -321
 0 
 49 -322
 0 
 52 -322
 0 
 53 -322
 0 
 56 -322
 0 
 58 -322
 0 
 60 -322
 0 
 61 -322
 0 
 63 -322
 0 
 65 -323
 0 
 68 -323
 0 
 69 -323
 0 
 72 -323
 0 
 74 -323
 0 
 76 -323
 0 
 77 -323
 0 
 79 -323
 0 
 81 -324
 0 
 84 -324
 0 
 85 -324
 0 
 88 -324
 0 
 90 -324
 0 
 92 -324
 0 
 93 -324
 0 
 95 -324
 0 
 1 -325
 0 
 3 -325
 0 
 6 -325
 0 
 8 -325
 0 
 10 -325
 0 
 12 -325
 0 
 14 -325
 0 
 16 -325
 0 
 17 -326
 0 
 19 -326
 0 
 22 -326
 0 
 24 -326
 0 
 26 -326
 0 
 28 -326
 0 
 30 -326
 0 
 32 -326
 0 
 33 -327
 0 
 35 -327
 0 
 38 -327
 0 
 40 -327
 0 
 42 -327
 0 
 44 -327
 0 
 46 -327
 0 
 48 -327
 0 
 49 -328
 0 
 51 -328
 0 
 54 -328
 0 
 56 -328
 0 
 58 -328
 0 
 60 -328
 0 
 62 -328
 0 
 64 -328
 0 
 65 -329
 0 
 67 -329
 0 
 70 -329
 0 
 72 -329
 0 
 74 -329
 0 
 76 -329
 0 
 78 -329
 0 
 80 -329
 0 
 81 -330
 0 
 83 -330
 0 
 86 -330
 0 
 88 -330
 0 
 90 -330
 0 
 92 -330
 0 
 94 -330
 0 
 96 -330
 0 
 2 -331
 0 
 4 -331
 0 
 6 -331
 0 
 8 -331
 0 
 9 -331
 0 
 11 -331
 0 
 13 -331
 0 
 16 -331
 0 
 18 -332
 0 
 20 -332
 0 
 22 -332
 0 
 24 -332
 0 
 25 -332
 0 
 27 -332
 0 
 29 -332
 0 
 32 -332
 0 
 34 -333
 0 
 36 -333
 0 
 38 -333
 0 
 40 -333
 0 
 41 -333
 0 
 43 -333
 0 
 45 -333
 0 
 48 -333
 0 
 50 -334
 0 
 52 -334
 0 
 54 -334
 0 
 56 -334
 0 
 57 -334
 0 
 59 -334
 0 
 61 -334
 0 
 64 -334
 0 
 66 -335
 0 
 68 -335
 0 
 70 -335
 0 
 72 -335
 0 
 73 -335
 0 
 75 -335
 0 
 77 -335
 0 
 80 -335
 0 
 82 -336
 0 
 84 -336
 0 
 86 -336
 0 
 88 -336
 0 
 89 -336
 0 
 91 -336
 0 
 93 -336
 0 
 96 -336
 0 
 97 98 99 100 101 102
 0 
 103 104 105 106 107 108
 0 
 109 110 111 112 113 114
 0 
 115 116 117 118 119 120
 0 
 121 122 123 124 125 126
 0 
 127 128 129 130 131 132
 0 
 133 134 135 136 137 138
 0 
 139 140 141 142 143 144
 0 
 145 146 147 148 149 150
 0 
 151 152 153 154 155 156
 0 
 157 158 159 160 161 162
 0 
 163 164 165 166 167 168
 0 
 169 170 171 172 173 174
 0 
 175 176 177 178 179 180
 0 
 181 182 183 184 185 186
 0 
 187 188 189 190 191 192
 0 
 193 194 195 196 197 198
 0 
 199 200 201 202 203 204
 0 
 205 206 207 208 209 210
 0 
 211 212 213 214 215 216
 0 
 217 218 219 220 221 222
 0 
 223 224 225 226 227 228
 0 
 229 230 231 232 233 234
 0 
 235 236 237 238 239 240
 0 
 241 242 243 244 245 246
 0 
 247 248 249 250 251 252
 0 
 253 254 255 256 257 258
 0 
 259 260 261 262 263 264
 0 
 265 266 267 268 269 270
 0 
 271 272 273 274 275 276
 0 
 277 278 279 280 281 282
 0 
 283 284 285 286 287 288
 0 
 289 290 291 292 293 294
 0 
 295 296 297 298 299 300
 0 
 301 302 303 304 305 306
 0 
 307 308 309 310 311 312
 0 
 313 314 315 316 317 318
 0 
 319 320 321 322 323 324
 0 
 325 326 327 328 329 330
 0 
 331 332 333 334 335 336
 0