c Filename:  ii8b2.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 576 4088
 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 
 -2 -3 -6 -7 -9 -11
 -13 -15
 0 
 -18 -19 -22 -23 -25 -27
 -29 -31
 0 
 -34 -35 -38 -39 -41 -43
 -45 -47
 0 
 -50 -51 -54 -55 -57 -59
 -61 -63
 0 
 -66 -67 -70 -71 -73 -75
 -77 -79
 0 
 -82 -83 -86 -87 -89 -91
 -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 
 -1 -3 -6 -8 -10 -12
 -14 -15
 0 
 -17 -19 -22 -24 -26 -28
 -30 -31
 0 
 -33 -35 -38 -40 -42 -44
 -46 -47
 0 
 -49 -51 -54 -56 -58 -60
 -62 -63
 0 
 -65 -67 -70 -72 -74 -76
 -78 -79
 0 
 -81 -83 -86 -88 -90 -92
 -94 -95
 0 
 -1 -3 -5 -7 -10 -11
 -13 -15
 0 
 -17 -19 -21 -23 -26 -27
 -29 -31
 0 
 -33 -35 -37 -39 -42 -43
 -45 -47
 0 
 -49 -51 -53 -55 -58 -59
 -61 -63
 0 
 -65 -67 -69 -71 -74 -75
 -77 -79
 0 
 -81 -83 -85 -87 -90 -91
 -93 -95
 0 
 -1 -3 -6 -7 -9 -11
 -13 -15
 0 
 -17 -19 -22 -23 -25 -27
 -29 -31
 0 
 -33 -35 -38 -39 -41 -43
 -45 -47
 0 
 -49 -51 -54 -55 -57 -59
 -61 -63
 0 
 -65 -67 -70 -71 -73 -75
 -77 -79
 0 
 -81 -83 -86 -87 -89 -91
 -93 -95
 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 
 -1 -3 -6 -7 -9 -11
 -14 -15
 0 
 -17 -19 -22 -23 -25 -27
 -30 -31
 0 
 -33 -35 -38 -39 -41 -43
 -46 -47
 0 
 -49 -51 -54 -55 -57 -59
 -62 -63
 0 
 -65 -67 -70 -71 -73 -75
 -78 -79
 0 
 -81 -83 -86 -87 -89 -91
 -94 -95
 0 
 -2 -3 -6 -7 -10 -11
 -14 -15
 0 
 -18 -19 -22 -23 -26 -27
 -30 -31
 0 
 -34 -35 -38 -39 -42 -43
 -46 -47
 0 
 -50 -51 -54 -55 -58 -59
 -62 -63
 0 
 -66 -67 -70 -71 -74 -75
 -78 -79
 0 
 -82 -83 -86 -87 -90 -91
 -94 -95
 0 
 -1 -3 -6 -8 -9 -11
 -14 -15
 0 
 -17 -19 -22 -24 -25 -27
 -30 -31
 0 
 -33 -35 -38 -40 -41 -43
 -46 -47
 0 
 -49 -51 -54 -56 -57 -59
 -62 -63
 0 
 -65 -67 -70 -72 -73 -75
 -78 -79
 0 
 -81 -83 -86 -88 -89 -91
 -94 -95
 0 
 -1 -3 -6 -8 -9 -11
 -13 -15
 0 
 -17 -19 -22 -24 -25 -27
 -29 -31
 0 
 -33 -35 -38 -40 -41 -43
 -45 -47
 0 
 -49 -51 -54 -56 -57 -59
 -61 -63
 0 
 -65 -67 -70 -72 -73 -75
 -77 -79
 0 
 -81 -83 -86 -88 -89 -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 
 2 -337
 0 
 4 -337
 0 
 6 -337
 0 
 8 -337
 0 
 10 -337
 0 
 12 -337
 0 
 13 -337
 0 
 15 -337
 0 
 18 -338
 0 
 20 -338
 0 
 22 -338
 0 
 24 -338
 0 
 26 -338
 0 
 28 -338
 0 
 29 -338
 0 
 31 -338
 0 
 34 -339
 0 
 36 -339
 0 
 38 -339
 0 
 40 -339
 0 
 42 -339
 0 
 44 -339
 0 
 45 -339
 0 
 47 -339
 0 
 50 -340
 0 
 52 -340
 0 
 54 -340
 0 
 56 -340
 0 
 58 -340
 0 
 60 -340
 0 
 61 -340
 0 
 63 -340
 0 
 66 -341
 0 
 68 -341
 0 
 70 -341
 0 
 72 -341
 0 
 74 -341
 0 
 76 -341
 0 
 77 -341
 0 
 79 -341
 0 
 82 -342
 0 
 84 -342
 0 
 86 -342
 0 
 88 -342
 0 
 90 -342
 0 
 92 -342
 0 
 93 -342
 0 
 95 -342
 0 
 2 -343
 0 
 3 -343
 0 
 6 -343
 0 
 8 -343
 0 
 10 -343
 0 
 11 -343
 0 
 14 -343
 0 
 16 -343
 0 
 18 -344
 0 
 19 -344
 0 
 22 -344
 0 
 24 -344
 0 
 26 -344
 0 
 27 -344
 0 
 30 -344
 0 
 32 -344
 0 
 34 -345
 0 
 35 -345
 0 
 38 -345
 0 
 40 -345
 0 
 42 -345
 0 
 43 -345
 0 
 46 -345
 0 
 48 -345
 0 
 50 -346
 0 
 51 -346
 0 
 54 -346
 0 
 56 -346
 0 
 58 -346
 0 
 59 -346
 0 
 62 -346
 0 
 64 -346
 0 
 66 -347
 0 
 67 -347
 0 
 70 -347
 0 
 72 -347
 0 
 74 -347
 0 
 75 -347
 0 
 78 -347
 0 
 80 -347
 0 
 82 -348
 0 
 83 -348
 0 
 86 -348
 0 
 88 -348
 0 
 90 -348
 0 
 91 -348
 0 
 94 -348
 0 
 96 -348
 0 
 1 -349
 0 
 3 -349
 0 
 5 -349
 0 
 8 -349
 0 
 9 -349
 0 
 12 -349
 0 
 14 -349
 0 
 16 -349
 0 
 17 -350
 0 
 19 -350
 0 
 21 -350
 0 
 24 -350
 0 
 25 -350
 0 
 28 -350
 0 
 30 -350
 0 
 32 -350
 0 
 33 -351
 0 
 35 -351
 0 
 37 -351
 0 
 40 -351
 0 
 41 -351
 0 
 44 -351
 0 
 46 -351
 0 
 48 -351
 0 
 49 -352
 0 
 51 -352
 0 
 53 -352
 0 
 56 -352
 0 
 57 -352
 0 
 60 -352
 0 
 62 -352
 0 
 64 -352
 0 
 65 -353
 0 
 67 -353
 0 
 69 -353
 0 
 72 -353
 0 
 73 -353
 0 
 76 -353
 0 
 78 -353
 0 
 80 -353
 0 
 81 -354
 0 
 83 -354
 0 
 85 -354
 0 
 88 -354
 0 
 89 -354
 0 
 92 -354
 0 
 94 -354
 0 
 96 -354
 0 
 1 -355
 0 
 3 -355
 0 
 5 -355
 0 
 8 -355
 0 
 10 -355
 0 
 11 -355
 0 
 13 -355
 0 
 16 -355
 0 
 17 -356
 0 
 19 -356
 0 
 21 -356
 0 
 24 -356
 0 
 26 -356
 0 
 27 -356
 0 
 29 -356
 0 
 32 -356
 0 
 33 -357
 0 
 35 -357
 0 
 37 -357
 0 
 40 -357
 0 
 42 -357
 0 
 43 -357
 0 
 45 -357
 0 
 48 -357
 0 
 49 -358
 0 
 51 -358
 0 
 53 -358
 0 
 56 -358
 0 
 58 -358
 0 
 59 -358
 0 
 61 -358
 0 
 64 -358
 0 
 65 -359
 0 
 67 -359
 0 
 69 -359
 0 
 72 -359
 0 
 74 -359
 0 
 75 -359
 0 
 77 -359
 0 
 80 -359
 0 
 81 -360
 0 
 83 -360
 0 
 85 -360
 0 
 88 -360
 0 
 90 -360
 0 
 91 -360
 0 
 93 -360
 0 
 96 -360
 0 
 2 -361
 0 
 3 -361
 0 
 5 -361
 0 
 7 -361
 0 
 10 -361
 0 
 11 -361
 0 
 14 -361
 0 
 16 -361
 0 
 18 -362
 0 
 19 -362
 0 
 21 -362
 0 
 23 -362
 0 
 26 -362
 0 
 27 -362
 0 
 30 -362
 0 
 32 -362
 0 
 34 -363
 0 
 35 -363
 0 
 37 -363
 0 
 39 -363
 0 
 42 -363
 0 
 43 -363
 0 
 46 -363
 0 
 48 -363
 0 
 50 -364
 0 
 51 -364
 0 
 53 -364
 0 
 55 -364
 0 
 58 -364
 0 
 59 -364
 0 
 62 -364
 0 
 64 -364
 0 
 66 -365
 0 
 67 -365
 0 
 69 -365
 0 
 71 -365
 0 
 74 -365
 0 
 75 -365
 0 
 78 -365
 0 
 80 -365
 0 
 82 -366
 0 
 83 -366
 0 
 85 -366
 0 
 87 -366
 0 
 90 -366
 0 
 91 -366
 0 
 94 -366
 0 
 96 -366
 0 
 2 -367
 0 
 4 -367
 0 
 6 -367
 0 
 7 -367
 0 
 9 -367
 0 
 11 -367
 0 
 14 -367
 0 
 15 -367
 0 
 18 -368
 0 
 20 -368
 0 
 22 -368
 0 
 23 -368
 0 
 25 -368
 0 
 27 -368
 0 
 30 -368
 0 
 31 -368
 0 
 34 -369
 0 
 36 -369
 0 
 38 -369
 0 
 39 -369
 0 
 41 -369
 0 
 43 -369
 0 
 46 -369
 0 
 47 -369
 0 
 50 -370
 0 
 52 -370
 0 
 54 -370
 0 
 55 -370
 0 
 57 -370
 0 
 59 -370
 0 
 62 -370
 0 
 63 -370
 0 
 66 -371
 0 
 68 -371
 0 
 70 -371
 0 
 71 -371
 0 
 73 -371
 0 
 75 -371
 0 
 78 -371
 0 
 79 -371
 0 
 82 -372
 0 
 84 -372
 0 
 86 -372
 0 
 87 -372
 0 
 89 -372
 0 
 91 -372
 0 
 94 -372
 0 
 95 -372
 0 
 1 -373
 0 
 3 -373
 0 
 6 -373
 0 
 7 -373
 0 
 9 -373
 0 
 12 -373
 0 
 13 -373
 0 
 15 -373
 0 
 17 -374
 0 
 19 -374
 0 
 22 -374
 0 
 23 -374
 0 
 25 -374
 0 
 28 -374
 0 
 29 -374
 0 
 31 -374
 0 
 33 -375
 0 
 35 -375
 0 
 38 -375
 0 
 39 -375
 0 
 41 -375
 0 
 44 -375
 0 
 45 -375
 0 
 47 -375
 0 
 49 -376
 0 
 51 -376
 0 
 54 -376
 0 
 55 -376
 0 
 57 -376
 0 
 60 -376
 0 
 61 -376
 0 
 63 -376
 0 
 65 -377
 0 
 67 -377
 0 
 70 -377
 0 
 71 -377
 0 
 73 -377
 0 
 76 -377
 0 
 77 -377
 0 
 79 -377
 0 
 81 -378
 0 
 83 -378
 0 
 86 -378
 0 
 87 -378
 0 
 89 -378
 0 
 92 -378
 0 
 93 -378
 0 
 95 -378
 0 
 2 -379
 0 
 4 -379
 0 
 6 -379
 0 
 7 -379
 0 
 9 -379
 0 
 11 -379
 0 
 14 -379
 0 
 15 -379
 0 
 18 -380
 0 
 20 -380
 0 
 22 -380
 0 
 23 -380
 0 
 25 -380
 0 
 27 -380
 0 
 30 -380
 0 
 31 -380
 0 
 34 -381
 0 
 36 -381
 0 
 38 -381
 0 
 39 -381
 0 
 41 -381
 0 
 43 -381
 0 
 46 -381
 0 
 47 -381
 0 
 50 -382
 0 
 52 -382
 0 
 54 -382
 0 
 55 -382
 0 
 57 -382
 0 
 59 -382
 0 
 62 -382
 0 
 63 -382
 0 
 66 -383
 0 
 68 -383
 0 
 70 -383
 0 
 71 -383
 0 
 73 -383
 0 
 75 -383
 0 
 78 -383
 0 
 79 -383
 0 
 82 -384
 0 
 84 -384
 0 
 86 -384
 0 
 87 -384
 0 
 89 -384
 0 
 91 -384
 0 
 94 -384
 0 
 95 -384
 0 
 1 -385
 0 
 4 -385
 0 
 6 -385
 0 
 8 -385
 0 
 10 -385
 0 
 12 -385
 0 
 13 -385
 0 
 15 -385
 0 
 17 -386
 0 
 20 -386
 0 
 22 -386
 0 
 24 -386
 0 
 26 -386
 0 
 28 -386
 0 
 29 -386
 0 
 31 -386
 0 
 33 -387
 0 
 36 -387
 0 
 38 -387
 0 
 40 -387
 0 
 42 -387
 0 
 44 -387
 0 
 45 -387
 0 
 47 -387
 0 
 49 -388
 0 
 52 -388
 0 
 54 -388
 0 
 56 -388
 0 
 58 -388
 0 
 60 -388
 0 
 61 -388
 0 
 63 -388
 0 
 65 -389
 0 
 68 -389
 0 
 70 -389
 0 
 72 -389
 0 
 74 -389
 0 
 76 -389
 0 
 77 -389
 0 
 79 -389
 0 
 81 -390
 0 
 84 -390
 0 
 86 -390
 0 
 88 -390
 0 
 90 -390
 0 
 92 -390
 0 
 93 -390
 0 
 95 -390
 0 
 2 -391
 0 
 4 -391
 0 
 6 -391
 0 
 7 -391
 0 
 10 -391
 0 
 12 -391
 0 
 13 -391
 0 
 16 -391
 0 
 18 -392
 0 
 20 -392
 0 
 22 -392
 0 
 23 -392
 0 
 26 -392
 0 
 28 -392
 0 
 29 -392
 0 
 32 -392
 0 
 34 -393
 0 
 36 -393
 0 
 38 -393
 0 
 39 -393
 0 
 42 -393
 0 
 44 -393
 0 
 45 -393
 0 
 48 -393
 0 
 50 -394
 0 
 52 -394
 0 
 54 -394
 0 
 55 -394
 0 
 58 -394
 0 
 60 -394
 0 
 61 -394
 0 
 64 -394
 0 
 66 -395
 0 
 68 -395
 0 
 70 -395
 0 
 71 -395
 0 
 74 -395
 0 
 76 -395
 0 
 77 -395
 0 
 80 -395
 0 
 82 -396
 0 
 84 -396
 0 
 86 -396
 0 
 87 -396
 0 
 90 -396
 0 
 92 -396
 0 
 93 -396
 0 
 96 -396
 0 
 2 -397
 0 
 3 -397
 0 
 5 -397
 0 
 7 -397
 0 
 9 -397
 0 
 12 -397
 0 
 13 -397
 0 
 16 -397
 0 
 18 -398
 0 
 19 -398
 0 
 21 -398
 0 
 23 -398
 0 
 25 -398
 0 
 28 -398
 0 
 29 -398
 0 
 32 -398
 0 
 34 -399
 0 
 35 -399
 0 
 37 -399
 0 
 39 -399
 0 
 41 -399
 0 
 44 -399
 0 
 45 -399
 0 
 48 -399
 0 
 50 -400
 0 
 51 -400
 0 
 53 -400
 0 
 55 -400
 0 
 57 -400
 0 
 60 -400
 0 
 61 -400
 0 
 64 -400
 0 
 66 -401
 0 
 67 -401
 0 
 69 -401
 0 
 71 -401
 0 
 73 -401
 0 
 76 -401
 0 
 77 -401
 0 
 80 -401
 0 
 82 -402
 0 
 83 -402
 0 
 85 -402
 0 
 87 -402
 0 
 89 -402
 0 
 92 -402
 0 
 93 -402
 0 
 96 -402
 0 
 2 -403
 0 
 3 -403
 0 
 5 -403
 0 
 8 -403
 0 
 10 -403
 0 
 11 -403
 0 
 13 -403
 0 
 16 -403
 0 
 18 -404
 0 
 19 -404
 0 
 21 -404
 0 
 24 -404
 0 
 26 -404
 0 
 27 -404
 0 
 29 -404
 0 
 32 -404
 0 
 34 -405
 0 
 35 -405
 0 
 37 -405
 0 
 40 -405
 0 
 42 -405
 0 
 43 -405
 0 
 45 -405
 0 
 48 -405
 0 
 50 -406
 0 
 51 -406
 0 
 53 -406
 0 
 56 -406
 0 
 58 -406
 0 
 59 -406
 0 
 61 -406
 0 
 64 -406
 0 
 66 -407
 0 
 67 -407
 0 
 69 -407
 0 
 72 -407
 0 
 74 -407
 0 
 75 -407
 0 
 77 -407
 0 
 80 -407
 0 
 82 -408
 0 
 83 -408
 0 
 85 -408
 0 
 88 -408
 0 
 90 -408
 0 
 91 -408
 0 
 93 -408
 0 
 96 -408
 0 
 1 -409
 0 
 3 -409
 0 
 6 -409
 0 
 8 -409
 0 
 9 -409
 0 
 12 -409
 0 
 13 -409
 0 
 16 -409
 0 
 17 -410
 0 
 19 -410
 0 
 22 -410
 0 
 24 -410
 0 
 25 -410
 0 
 28 -410
 0 
 29 -410
 0 
 32 -410
 0 
 33 -411
 0 
 35 -411
 0 
 38 -411
 0 
 40 -411
 0 
 41 -411
 0 
 44 -411
 0 
 45 -411
 0 
 48 -411
 0 
 49 -412
 0 
 51 -412
 0 
 54 -412
 0 
 56 -412
 0 
 57 -412
 0 
 60 -412
 0 
 61 -412
 0 
 64 -412
 0 
 65 -413
 0 
 67 -413
 0 
 70 -413
 0 
 72 -413
 0 
 73 -413
 0 
 76 -413
 0 
 77 -413
 0 
 80 -413
 0 
 81 -414
 0 
 83 -414
 0 
 86 -414
 0 
 88 -414
 0 
 89 -414
 0 
 92 -414
 0 
 93 -414
 0 
 96 -414
 0 
 1 -415
 0 
 3 -415
 0 
 6 -415
 0 
 8 -415
 0 
 10 -415
 0 
 12 -415
 0 
 14 -415
 0 
 16 -415
 0 
 17 -416
 0 
 19 -416
 0 
 22 -416
 0 
 24 -416
 0 
 26 -416
 0 
 28 -416
 0 
 30 -416
 0 
 32 -416
 0 
 33 -417
 0 
 35 -417
 0 
 38 -417
 0 
 40 -417
 0 
 42 -417
 0 
 44 -417
 0 
 46 -417
 0 
 48 -417
 0 
 49 -418
 0 
 51 -418
 0 
 54 -418
 0 
 56 -418
 0 
 58 -418
 0 
 60 -418
 0 
 62 -418
 0 
 64 -418
 0 
 65 -419
 0 
 67 -419
 0 
 70 -419
 0 
 72 -419
 0 
 74 -419
 0 
 76 -419
 0 
 78 -419
 0 
 80 -419
 0 
 81 -420
 0 
 83 -420
 0 
 86 -420
 0 
 88 -420
 0 
 90 -420
 0 
 92 -420
 0 
 94 -420
 0 
 96 -420
 0 
 2 -421
 0 
 3 -421
 0 
 5 -421
 0 
 8 -421
 0 
 10 -421
 0 
 12 -421
 0 
 14 -421
 0 
 16 -421
 0 
 18 -422
 0 
 19 -422
 0 
 21 -422
 0 
 24 -422
 0 
 26 -422
 0 
 28 -422
 0 
 30 -422
 0 
 32 -422
 0 
 34 -423
 0 
 35 -423
 0 
 37 -423
 0 
 40 -423
 0 
 42 -423
 0 
 44 -423
 0 
 46 -423
 0 
 48 -423
 0 
 50 -424
 0 
 51 -424
 0 
 53 -424
 0 
 56 -424
 0 
 58 -424
 0 
 60 -424
 0 
 62 -424
 0 
 64 -424
 0 
 66 -425
 0 
 67 -425
 0 
 69 -425
 0 
 72 -425
 0 
 74 -425
 0 
 76 -425
 0 
 78 -425
 0 
 80 -425
 0 
 82 -426
 0 
 83 -426
 0 
 85 -426
 0 
 88 -426
 0 
 90 -426
 0 
 92 -426
 0 
 94 -426
 0 
 96 -426
 0 
 2 -427
 0 
 4 -427
 0 
 6 -427
 0 
 8 -427
 0 
 10 -427
 0 
 11 -427
 0 
 13 -427
 0 
 15 -427
 0 
 18 -428
 0 
 20 -428
 0 
 22 -428
 0 
 24 -428
 0 
 26 -428
 0 
 27 -428
 0 
 29 -428
 0 
 31 -428
 0 
 34 -429
 0 
 36 -429
 0 
 38 -429
 0 
 40 -429
 0 
 42 -429
 0 
 43 -429
 0 
 45 -429
 0 
 47 -429
 0 
 50 -430
 0 
 52 -430
 0 
 54 -430
 0 
 56 -430
 0 
 58 -430
 0 
 59 -430
 0 
 61 -430
 0 
 63 -430
 0 
 66 -431
 0 
 68 -431
 0 
 70 -431
 0 
 72 -431
 0 
 74 -431
 0 
 75 -431
 0 
 77 -431
 0 
 79 -431
 0 
 82 -432
 0 
 84 -432
 0 
 86 -432
 0 
 88 -432
 0 
 90 -432
 0 
 91 -432
 0 
 93 -432
 0 
 95 -432
 0 
 1 -433
 0 
 4 -433
 0 
 6 -433
 0 
 8 -433
 0 
 9 -433
 0 
 12 -433
 0 
 13 -433
 0 
 15 -433
 0 
 17 -434
 0 
 20 -434
 0 
 22 -434
 0 
 24 -434
 0 
 25 -434
 0 
 28 -434
 0 
 29 -434
 0 
 31 -434
 0 
 33 -435
 0 
 36 -435
 0 
 38 -435
 0 
 40 -435
 0 
 41 -435
 0 
 44 -435
 0 
 45 -435
 0 
 47 -435
 0 
 49 -436
 0 
 52 -436
 0 
 54 -436
 0 
 56 -436
 0 
 57 -436
 0 
 60 -436
 0 
 61 -436
 0 
 63 -436
 0 
 65 -437
 0 
 68 -437
 0 
 70 -437
 0 
 72 -437
 0 
 73 -437
 0 
 76 -437
 0 
 77 -437
 0 
 79 -437
 0 
 81 -438
 0 
 84 -438
 0 
 86 -438
 0 
 88 -438
 0 
 89 -438
 0 
 92 -438
 0 
 93 -438
 0 
 95 -438
 0 
 2 -439
 0 
 4 -439
 0 
 6 -439
 0 
 7 -439
 0 
 9 -439
 0 
 12 -439
 0 
 13 -439
 0 
 15 -439
 0 
 18 -440
 0 
 20 -440
 0 
 22 -440
 0 
 23 -440
 0 
 25 -440
 0 
 28 -440
 0 
 29 -440
 0 
 31 -440
 0 
 34 -441
 0 
 36 -441
 0 
 38 -441
 0 
 39 -441
 0 
 41 -441
 0 
 44 -441
 0 
 45 -441
 0 
 47 -441
 0 
 50 -442
 0 
 52 -442
 0 
 54 -442
 0 
 55 -442
 0 
 57 -442
 0 
 60 -442
 0 
 61 -442
 0 
 63 -442
 0 
 66 -443
 0 
 68 -443
 0 
 70 -443
 0 
 71 -443
 0 
 73 -443
 0 
 76 -443
 0 
 77 -443
 0 
 79 -443
 0 
 82 -444
 0 
 84 -444
 0 
 86 -444
 0 
 87 -444
 0 
 89 -444
 0 
 92 -444
 0 
 93 -444
 0 
 95 -444
 0 
 1 -445
 0 
 4 -445
 0 
 5 -445
 0 
 7 -445
 0 
 10 -445
 0 
 12 -445
 0 
 13 -445
 0 
 16 -445
 0 
 17 -446
 0 
 20 -446
 0 
 21 -446
 0 
 23 -446
 0 
 26 -446
 0 
 28 -446
 0 
 29 -446
 0 
 32 -446
 0 
 33 -447
 0 
 36 -447
 0 
 37 -447
 0 
 39 -447
 0 
 42 -447
 0 
 44 -447
 0 
 45 -447
 0 
 48 -447
 0 
 49 -448
 0 
 52 -448
 0 
 53 -448
 0 
 55 -448
 0 
 58 -448
 0 
 60 -448
 0 
 61 -448
 0 
 64 -448
 0 
 65 -449
 0 
 68 -449
 0 
 69 -449
 0 
 71 -449
 0 
 74 -449
 0 
 76 -449
 0 
 77 -449
 0 
 80 -449
 0 
 81 -450
 0 
 84 -450
 0 
 85 -450
 0 
 87 -450
 0 
 90 -450
 0 
 92 -450
 0 
 93 -450
 0 
 96 -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 
 1 -457
 0 
 4 -457
 0 
 6 -457
 0 
 8 -457
 0 
 9 -457
 0 
 11 -457
 0 
 13 -457
 0 
 16 -457
 0 
 17 -458
 0 
 20 -458
 0 
 22 -458
 0 
 24 -458
 0 
 25 -458
 0 
 27 -458
 0 
 29 -458
 0 
 32 -458
 0 
 33 -459
 0 
 36 -459
 0 
 38 -459
 0 
 40 -459
 0 
 41 -459
 0 
 43 -459
 0 
 45 -459
 0 
 48 -459
 0 
 49 -460
 0 
 52 -460
 0 
 54 -460
 0 
 56 -460
 0 
 57 -460
 0 
 59 -460
 0 
 61 -460
 0 
 64 -460
 0 
 65 -461
 0 
 68 -461
 0 
 70 -461
 0 
 72 -461
 0 
 73 -461
 0 
 75 -461
 0 
 77 -461
 0 
 80 -461
 0 
 81 -462
 0 
 84 -462
 0 
 86 -462
 0 
 88 -462
 0 
 89 -462
 0 
 91 -462
 0 
 93 -462
 0 
 96 -462
 0 
 1 -463
 0 
 4 -463
 0 
 5 -463
 0 
 8 -463
 0 
 9 -463
 0 
 12 -463
 0 
 14 -463
 0 
 16 -463
 0 
 17 -464
 0 
 20 -464
 0 
 21 -464
 0 
 24 -464
 0 
 25 -464
 0 
 28 -464
 0 
 30 -464
 0 
 32 -464
 0 
 33 -465
 0 
 36 -465
 0 
 37 -465
 0 
 40 -465
 0 
 41 -465
 0 
 44 -465
 0 
 46 -465
 0 
 48 -465
 0 
 49 -466
 0 
 52 -466
 0 
 53 -466
 0 
 56 -466
 0 
 57 -466
 0 
 60 -466
 0 
 62 -466
 0 
 64 -466
 0 
 65 -467
 0 
 68 -467
 0 
 69 -467
 0 
 72 -467
 0 
 73 -467
 0 
 76 -467
 0 
 78 -467
 0 
 80 -467
 0 
 81 -468
 0 
 84 -468
 0 
 85 -468
 0 
 88 -468
 0 
 89 -468
 0 
 92 -468
 0 
 94 -468
 0 
 96 -468
 0 
 2 -469
 0 
 4 -469
 0 
 6 -469
 0 
 8 -469
 0 
 10 -469
 0 
 12 -469
 0 
 13 -469
 0 
 16 -469
 0 
 18 -470
 0 
 20 -470
 0 
 22 -470
 0 
 24 -470
 0 
 26 -470
 0 
 28 -470
 0 
 29 -470
 0 
 32 -470
 0 
 34 -471
 0 
 36 -471
 0 
 38 -471
 0 
 40 -471
 0 
 42 -471
 0 
 44 -471
 0 
 45 -471
 0 
 48 -471
 0 
 50 -472
 0 
 52 -472
 0 
 54 -472
 0 
 56 -472
 0 
 58 -472
 0 
 60 -472
 0 
 61 -472
 0 
 64 -472
 0 
 66 -473
 0 
 68 -473
 0 
 70 -473
 0 
 72 -473
 0 
 74 -473
 0 
 76 -473
 0 
 77 -473
 0 
 80 -473
 0 
 82 -474
 0 
 84 -474
 0 
 86 -474
 0 
 88 -474
 0 
 90 -474
 0 
 92 -474
 0 
 93 -474
 0 
 96 -474
 0 
 2 -475
 0 
 4 -475
 0 
 5 -475
 0 
 8 -475
 0 
 10 -475
 0 
 11 -475
 0 
 13 -475
 0 
 16 -475
 0 
 18 -476
 0 
 20 -476
 0 
 21 -476
 0 
 24 -476
 0 
 26 -476
 0 
 27 -476
 0 
 29 -476
 0 
 32 -476
 0 
 34 -477
 0 
 36 -477
 0 
 37 -477
 0 
 40 -477
 0 
 42 -477
 0 
 43 -477
 0 
 45 -477
 0 
 48 -477
 0 
 50 -478
 0 
 52 -478
 0 
 53 -478
 0 
 56 -478
 0 
 58 -478
 0 
 59 -478
 0 
 61 -478
 0 
 64 -478
 0 
 66 -479
 0 
 68 -479
 0 
 69 -479
 0 
 72 -479
 0 
 74 -479
 0 
 75 -479
 0 
 77 -479
 0 
 80 -479
 0 
 82 -480
 0 
 84 -480
 0 
 85 -480
 0 
 88 -480
 0 
 90 -480
 0 
 91 -480
 0 
 93 -480
 0 
 96 -480
 0 
 2 -481
 0 
 3 -481
 0 
 6 -481
 0 
 7 -481
 0 
 9 -481
 0 
 11 -481
 0 
 13 -481
 0 
 16 -481
 0 
 18 -482
 0 
 19 -482
 0 
 22 -482
 0 
 23 -482
 0 
 25 -482
 0 
 27 -482
 0 
 29 -482
 0 
 32 -482
 0 
 34 -483
 0 
 35 -483
 0 
 38 -483
 0 
 39 -483
 0 
 41 -483
 0 
 43 -483
 0 
 45 -483
 0 
 48 -483
 0 
 50 -484
 0 
 51 -484
 0 
 54 -484
 0 
 55 -484
 0 
 57 -484
 0 
 59 -484
 0 
 61 -484
 0 
 64 -484
 0 
 66 -485
 0 
 67 -485
 0 
 70 -485
 0 
 71 -485
 0 
 73 -485
 0 
 75 -485
 0 
 77 -485
 0 
 80 -485
 0 
 82 -486
 0 
 83 -486
 0 
 86 -486
 0 
 87 -486
 0 
 89 -486
 0 
 91 -486
 0 
 93 -486
 0 
 96 -486
 0 
 2 -487
 0 
 3 -487
 0 
 6 -487
 0 
 7 -487
 0 
 9 -487
 0 
 11 -487
 0 
 14 -487
 0 
 16 -487
 0 
 18 -488
 0 
 19 -488
 0 
 22 -488
 0 
 23 -488
 0 
 25 -488
 0 
 27 -488
 0 
 30 -488
 0 
 32 -488
 0 
 34 -489
 0 
 35 -489
 0 
 38 -489
 0 
 39 -489
 0 
 41 -489
 0 
 43 -489
 0 
 46 -489
 0 
 48 -489
 0 
 50 -490
 0 
 51 -490
 0 
 54 -490
 0 
 55 -490
 0 
 57 -490
 0 
 59 -490
 0 
 62 -490
 0 
 64 -490
 0 
 66 -491
 0 
 67 -491
 0 
 70 -491
 0 
 71 -491
 0 
 73 -491
 0 
 75 -491
 0 
 78 -491
 0 
 80 -491
 0 
 82 -492
 0 
 83 -492
 0 
 86 -492
 0 
 87 -492
 0 
 89 -492
 0 
 91 -492
 0 
 94 -492
 0 
 96 -492
 0 
 2 -493
 0 
 4 -493
 0 
 6 -493
 0 
 7 -493
 0 
 10 -493
 0 
 11 -493
 0 
 14 -493
 0 
 16 -493
 0 
 18 -494
 0 
 20 -494
 0 
 22 -494
 0 
 23 -494
 0 
 26 -494
 0 
 27 -494
 0 
 30 -494
 0 
 32 -494
 0 
 34 -495
 0 
 36 -495
 0 
 38 -495
 0 
 39 -495
 0 
 42 -495
 0 
 43 -495
 0 
 46 -495
 0 
 48 -495
 0 
 50 -496
 0 
 52 -496
 0 
 54 -496
 0 
 55 -496
 0 
 58 -496
 0 
 59 -496
 0 
 62 -496
 0 
 64 -496
 0 
 66 -497
 0 
 68 -497
 0 
 70 -497
 0 
 71 -497
 0 
 74 -497
 0 
 75 -497
 0 
 78 -497
 0 
 80 -497
 0 
 82 -498
 0 
 84 -498
 0 
 86 -498
 0 
 87 -498
 0 
 90 -498
 0 
 91 -498
 0 
 94 -498
 0 
 96 -498
 0 
 2 -499
 0 
 3 -499
 0 
 6 -499
 0 
 8 -499
 0 
 10 -499
 0 
 11 -499
 0 
 13 -499
 0 
 16 -499
 0 
 18 -500
 0 
 19 -500
 0 
 22 -500
 0 
 24 -500
 0 
 26 -500
 0 
 27 -500
 0 
 29 -500
 0 
 32 -500
 0 
 34 -501
 0 
 35 -501
 0 
 38 -501
 0 
 40 -501
 0 
 42 -501
 0 
 43 -501
 0 
 45 -501
 0 
 48 -501
 0 
 50 -502
 0 
 51 -502
 0 
 54 -502
 0 
 56 -502
 0 
 58 -502
 0 
 59 -502
 0 
 61 -502
 0 
 64 -502
 0 
 66 -503
 0 
 67 -503
 0 
 70 -503
 0 
 72 -503
 0 
 74 -503
 0 
 75 -503
 0 
 77 -503
 0 
 80 -503
 0 
 82 -504
 0 
 83 -504
 0 
 86 -504
 0 
 88 -504
 0 
 90 -504
 0 
 91 -504
 0 
 93 -504
 0 
 96 -504
 0 
 2 -505
 0 
 4 -505
 0 
 5 -505
 0 
 7 -505
 0 
 10 -505
 0 
 12 -505
 0 
 14 -505
 0 
 15 -505
 0 
 18 -506
 0 
 20 -506
 0 
 21 -506
 0 
 23 -506
 0 
 26 -506
 0 
 28 -506
 0 
 30 -506
 0 
 31 -506
 0 
 34 -507
 0 
 36 -507
 0 
 37 -507
 0 
 39 -507
 0 
 42 -507
 0 
 44 -507
 0 
 46 -507
 0 
 47 -507
 0 
 50 -508
 0 
 52 -508
 0 
 53 -508
 0 
 55 -508
 0 
 58 -508
 0 
 60 -508
 0 
 62 -508
 0 
 63 -508
 0 
 66 -509
 0 
 68 -509
 0 
 69 -509
 0 
 71 -509
 0 
 74 -509
 0 
 76 -509
 0 
 78 -509
 0 
 79 -509
 0 
 82 -510
 0 
 84 -510
 0 
 85 -510
 0 
 87 -510
 0 
 90 -510
 0 
 92 -510
 0 
 94 -510
 0 
 95 -510
 0 
 1 -511
 0 
 4 -511
 0 
 6 -511
 0 
 8 -511
 0 
 9 -511
 0 
 11 -511
 0 
 13 -511
 0 
 15 -511
 0 
 17 -512
 0 
 20 -512
 0 
 22 -512
 0 
 24 -512
 0 
 25 -512
 0 
 27 -512
 0 
 29 -512
 0 
 31 -512
 0 
 33 -513
 0 
 36 -513
 0 
 38 -513
 0 
 40 -513
 0 
 41 -513
 0 
 43 -513
 0 
 45 -513
 0 
 47 -513
 0 
 49 -514
 0 
 52 -514
 0 
 54 -514
 0 
 56 -514
 0 
 57 -514
 0 
 59 -514
 0 
 61 -514
 0 
 63 -514
 0 
 65 -515
 0 
 68 -515
 0 
 70 -515
 0 
 72 -515
 0 
 73 -515
 0 
 75 -515
 0 
 77 -515
 0 
 79 -515
 0 
 81 -516
 0 
 84 -516
 0 
 86 -516
 0 
 88 -516
 0 
 89 -516
 0 
 91 -516
 0 
 93 -516
 0 
 95 -516
 0 
 1 -517
 0 
 4 -517
 0 
 6 -517
 0 
 8 -517
 0 
 9 -517
 0 
 11 -517
 0 
 14 -517
 0 
 15 -517
 0 
 17 -518
 0 
 20 -518
 0 
 22 -518
 0 
 24 -518
 0 
 25 -518
 0 
 27 -518
 0 
 30 -518
 0 
 31 -518
 0 
 33 -519
 0 
 36 -519
 0 
 38 -519
 0 
 40 -519
 0 
 41 -519
 0 
 43 -519
 0 
 46 -519
 0 
 47 -519
 0 
 49 -520
 0 
 52 -520
 0 
 54 -520
 0 
 56 -520
 0 
 57 -520
 0 
 59 -520
 0 
 62 -520
 0 
 63 -520
 0 
 65 -521
 0 
 68 -521
 0 
 70 -521
 0 
 72 -521
 0 
 73 -521
 0 
 75 -521
 0 
 78 -521
 0 
 79 -521
 0 
 81 -522
 0 
 84 -522
 0 
 86 -522
 0 
 88 -522
 0 
 89 -522
 0 
 91 -522
 0 
 94 -522
 0 
 95 -522
 0 
 2 -523
 0 
 4 -523
 0 
 5 -523
 0 
 8 -523
 0 
 10 -523
 0 
 11 -523
 0 
 13 -523
 0 
 15 -523
 0 
 18 -524
 0 
 20 -524
 0 
 21 -524
 0 
 24 -524
 0 
 26 -524
 0 
 27 -524
 0 
 29 -524
 0 
 31 -524
 0 
 34 -525
 0 
 36 -525
 0 
 37 -525
 0 
 40 -525
 0 
 42 -525
 0 
 43 -525
 0 
 45 -525
 0 
 47 -525
 0 
 50 -526
 0 
 52 -526
 0 
 53 -526
 0 
 56 -526
 0 
 58 -526
 0 
 59 -526
 0 
 61 -526
 0 
 63 -526
 0 
 66 -527
 0 
 68 -527
 0 
 69 -527
 0 
 72 -527
 0 
 74 -527
 0 
 75 -527
 0 
 77 -527
 0 
 79 -527
 0 
 82 -528
 0 
 84 -528
 0 
 85 -528
 0 
 88 -528
 0 
 90 -528
 0 
 91 -528
 0 
 93 -528
 0 
 95 -528
 0 
 1 -529
 0 
 4 -529
 0 
 6 -529
 0 
 7 -529
 0 
 10 -529
 0 
 12 -529
 0 
 13 -529
 0 
 15 -529
 0 
 17 -530
 0 
 20 -530
 0 
 22 -530
 0 
 23 -530
 0 
 26 -530
 0 
 28 -530
 0 
 29 -530
 0 
 31 -530
 0 
 33 -531
 0 
 36 -531
 0 
 38 -531
 0 
 39 -531
 0 
 42 -531
 0 
 44 -531
 0 
 45 -531
 0 
 47 -531
 0 
 49 -532
 0 
 52 -532
 0 
 54 -532
 0 
 55 -532
 0 
 58 -532
 0 
 60 -532
 0 
 61 -532
 0 
 63 -532
 0 
 65 -533
 0 
 68 -533
 0 
 70 -533
 0 
 71 -533
 0 
 74 -533
 0 
 76 -533
 0 
 77 -533
 0 
 79 -533
 0 
 81 -534
 0 
 84 -534
 0 
 86 -534
 0 
 87 -534
 0 
 90 -534
 0 
 92 -534
 0 
 93 -534
 0 
 95 -534
 0 
 1 -535
 0 
 3 -535
 0 
 5 -535
 0 
 8 -535
 0 
 9 -535
 0 
 12 -535
 0 
 14 -535
 0 
 16 -535
 0 
 17 -536
 0 
 19 -536
 0 
 21 -536
 0 
 24 -536
 0 
 25 -536
 0 
 28 -536
 0 
 30 -536
 0 
 32 -536
 0 
 33 -537
 0 
 35 -537
 0 
 37 -537
 0 
 40 -537
 0 
 41 -537
 0 
 44 -537
 0 
 46 -537
 0 
 48 -537
 0 
 49 -538
 0 
 51 -538
 0 
 53 -538
 0 
 56 -538
 0 
 57 -538
 0 
 60 -538
 0 
 62 -538
 0 
 64 -538
 0 
 65 -539
 0 
 67 -539
 0 
 69 -539
 0 
 72 -539
 0 
 73 -539
 0 
 76 -539
 0 
 78 -539
 0 
 80 -539
 0 
 81 -540
 0 
 83 -540
 0 
 85 -540
 0 
 88 -540
 0 
 89 -540
 0 
 92 -540
 0 
 94 -540
 0 
 96 -540
 0 
 2 -541
 0 
 3 -541
 0 
 5 -541
 0 
 8 -541
 0 
 9 -541
 0 
 11 -541
 0 
 13 -541
 0 
 16 -541
 0 
 18 -542
 0 
 19 -542
 0 
 21 -542
 0 
 24 -542
 0 
 25 -542
 0 
 27 -542
 0 
 29 -542
 0 
 32 -542
 0 
 34 -543
 0 
 35 -543
 0 
 37 -543
 0 
 40 -543
 0 
 41 -543
 0 
 43 -543
 0 
 45 -543
 0 
 48 -543
 0 
 50 -544
 0 
 51 -544
 0 
 53 -544
 0 
 56 -544
 0 
 57 -544
 0 
 59 -544
 0 
 61 -544
 0 
 64 -544
 0 
 66 -545
 0 
 67 -545
 0 
 69 -545
 0 
 72 -545
 0 
 73 -545
 0 
 75 -545
 0 
 77 -545
 0 
 80 -545
 0 
 82 -546
 0 
 83 -546
 0 
 85 -546
 0 
 88 -546
 0 
 89 -546
 0 
 91 -546
 0 
 93 -546
 0 
 96 -546
 0 
 2 -547
 0 
 4 -547
 0 
 5 -547
 0 
 7 -547
 0 
 9 -547
 0 
 12 -547
 0 
 13 -547
 0 
 16 -547
 0 
 18 -548
 0 
 20 -548
 0 
 21 -548
 0 
 23 -548
 0 
 25 -548
 0 
 28 -548
 0 
 29 -548
 0 
 32 -548
 0 
 34 -549
 0 
 36 -549
 0 
 37 -549
 0 
 39 -549
 0 
 41 -549
 0 
 44 -549
 0 
 45 -549
 0 
 48 -549
 0 
 50 -550
 0 
 52 -550
 0 
 53 -550
 0 
 55 -550
 0 
 57 -550
 0 
 60 -550
 0 
 61 -550
 0 
 64 -550
 0 
 66 -551
 0 
 68 -551
 0 
 69 -551
 0 
 71 -551
 0 
 73 -551
 0 
 76 -551
 0 
 77 -551
 0 
 80 -551
 0 
 82 -552
 0 
 84 -552
 0 
 85 -552
 0 
 87 -552
 0 
 89 -552
 0 
 92 -552
 0 
 93 -552
 0 
 96 -552
 0 
 1 -553
 0 
 4 -553
 0 
 6 -553
 0 
 8 -553
 0 
 9 -553
 0 
 11 -553
 0 
 14 -553
 0 
 15 -553
 0 
 17 -554
 0 
 20 -554
 0 
 22 -554
 0 
 24 -554
 0 
 25 -554
 0 
 27 -554
 0 
 30 -554
 0 
 31 -554
 0 
 33 -555
 0 
 36 -555
 0 
 38 -555
 0 
 40 -555
 0 
 41 -555
 0 
 43 -555
 0 
 46 -555
 0 
 47 -555
 0 
 49 -556
 0 
 52 -556
 0 
 54 -556
 0 
 56 -556
 0 
 57 -556
 0 
 59 -556
 0 
 62 -556
 0 
 63 -556
 0 
 65 -557
 0 
 68 -557
 0 
 70 -557
 0 
 72 -557
 0 
 73 -557
 0 
 75 -557
 0 
 78 -557
 0 
 79 -557
 0 
 81 -558
 0 
 84 -558
 0 
 86 -558
 0 
 88 -558
 0 
 89 -558
 0 
 91 -558
 0 
 94 -558
 0 
 95 -558
 0 
 1 -559
 0 
 3 -559
 0 
 6 -559
 0 
 8 -559
 0 
 9 -559
 0 
 12 -559
 0 
 13 -559
 0 
 16 -559
 0 
 17 -560
 0 
 19 -560
 0 
 22 -560
 0 
 24 -560
 0 
 25 -560
 0 
 28 -560
 0 
 29 -560
 0 
 32 -560
 0 
 33 -561
 0 
 35 -561
 0 
 38 -561
 0 
 40 -561
 0 
 41 -561
 0 
 44 -561
 0 
 45 -561
 0 
 48 -561
 0 
 49 -562
 0 
 51 -562
 0 
 54 -562
 0 
 56 -562
 0 
 57 -562
 0 
 60 -562
 0 
 61 -562
 0 
 64 -562
 0 
 65 -563
 0 
 67 -563
 0 
 70 -563
 0 
 72 -563
 0 
 73 -563
 0 
 76 -563
 0 
 77 -563
 0 
 80 -563
 0 
 81 -564
 0 
 83 -564
 0 
 86 -564
 0 
 88 -564
 0 
 89 -564
 0 
 92 -564
 0 
 93 -564
 0 
 96 -564
 0 
 1 -565
 0 
 4 -565
 0 
 5 -565
 0 
 8 -565
 0 
 9 -565
 0 
 12 -565
 0 
 13 -565
 0 
 15 -565
 0 
 17 -566
 0 
 20 -566
 0 
 21 -566
 0 
 24 -566
 0 
 25 -566
 0 
 28 -566
 0 
 29 -566
 0 
 31 -566
 0 
 33 -567
 0 
 36 -567
 0 
 37 -567
 0 
 40 -567
 0 
 41 -567
 0 
 44 -567
 0 
 45 -567
 0 
 47 -567
 0 
 49 -568
 0 
 52 -568
 0 
 53 -568
 0 
 56 -568
 0 
 57 -568
 0 
 60 -568
 0 
 61 -568
 0 
 63 -568
 0 
 65 -569
 0 
 68 -569
 0 
 69 -569
 0 
 72 -569
 0 
 73 -569
 0 
 76 -569
 0 
 77 -569
 0 
 79 -569
 0 
 81 -570
 0 
 84 -570
 0 
 85 -570
 0 
 88 -570
 0 
 89 -570
 0 
 92 -570
 0 
 93 -570
 0 
 95 -570
 0 
 1 -571
 0 
 3 -571
 0 
 5 -571
 0 
 8 -571
 0 
 10 -571
 0 
 12 -571
 0 
 13 -571
 0 
 16 -571
 0 
 17 -572
 0 
 19 -572
 0 
 21 -572
 0 
 24 -572
 0 
 26 -572
 0 
 28 -572
 0 
 29 -572
 0 
 32 -572
 0 
 33 -573
 0 
 35 -573
 0 
 37 -573
 0 
 40 -573
 0 
 42 -573
 0 
 44 -573
 0 
 45 -573
 0 
 48 -573
 0 
 49 -574
 0 
 51 -574
 0 
 53 -574
 0 
 56 -574
 0 
 58 -574
 0 
 60 -574
 0 
 61 -574
 0 
 64 -574
 0 
 65 -575
 0 
 67 -575
 0 
 69 -575
 0 
 72 -575
 0 
 74 -575
 0 
 76 -575
 0 
 77 -575
 0 
 80 -575
 0 
 81 -576
 0 
 83 -576
 0 
 85 -576
 0 
 88 -576
 0 
 90 -576
 0 
 92 -576
 0 
 93 -576
 0 
 96 -576
 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 
 337 338 339 340 341 342
 0 
 343 344 345 346 347 348
 0 
 349 350 351 352 353 354
 0 
 355 356 357 358 359 360
 0 
 361 362 363 364 365 366
 0 
 367 368 369 370 371 372
 0 
 373 374 375 376 377 378
 0 
 379 380 381 382 383 384
 0 
 385 386 387 388 389 390
 0 
 391 392 393 394 395 396
 0 
 397 398 399 400 401 402
 0 
 403 404 405 406 407 408
 0 
 409 410 411 412 413 414
 0 
 415 416 417 418 419 420
 0 
 421 422 423 424 425 426
 0 
 427 428 429 430 431 432
 0 
 433 434 435 436 437 438
 0 
 439 440 441 442 443 444
 0 
 445 446 447 448 449 450
 0 
 451 452 453 454 455 456
 0 
 457 458 459 460 461 462
 0 
 463 464 465 466 467 468
 0 
 469 470 471 472 473 474
 0 
 475 476 477 478 479 480
 0 
 481 482 483 484 485 486
 0 
 487 488 489 490 491 492
 0 
 493 494 495 496 497 498
 0 
 499 500 501 502 503 504
 0 
 505 506 507 508 509 510
 0 
 511 512 513 514 515 516
 0 
 517 518 519 520 521 522
 0 
 523 524 525 526 527 528
 0 
 529 530 531 532 533 534
 0 
 535 536 537 538 539 540
 0 
 541 542 543 544 545 546
 0 
 547 548 549 550 551 552
 0 
 553 554 555 556 557 558
 0 
 559 560 561 562 563 564
 0 
 565 566 567 568 569 570
 0 
 571 572 573 574 575 576
 0