0: 12, 13 0: 16, 17 0: 18, 19 0: 46, 47 0: 49, 50 0: 54, 55 0: 81, 82 0: 102, 103 0: 105, 106 0: 105, 107 0: 106, 107 0: 137, 138 0: 148, 149 0: 159, 160 0: 163, 164 0: 169, 170 0: 181, 182 1: 0, 1 1: 3, 4 1: 5, 6 1: 6, 7 1: 8, 9 1: 10, 11 1: 11, 12 1: 11, 13 1: 14, 15 1: 21, 22 1: 25, 26 1: 29, 30 1: 32, 33 1: 34, 35 1: 37, 38 1: 41, 42 1: 45, 46 1: 45, 47 1: 51, 52 1: 52, 53 1: 67, 68 1: 71, 72 1: 75, 76 1: 84, 85 1: 93, 94 1: 97, 98 1: 104, 105 1: 104, 106 1: 104, 107 1: 110, 111 1: 124, 125 1: 126, 127 1: 127, 128 1: 134, 135 1: 139, 140 1: 140, 141 1: 141, 142 1: 151, 152 1: 152, 153 1: 155, 156 1: 157, 158 1: 161, 162 1: 162, 163 1: 162, 164 1: 179, 180 1: 198, 199 2: 1, 2 2: 5, 7 2: 10, 12 2: 10, 13 2: 15, 16 2: 15, 17 2: 39, 40 2: 42, 43 2: 48, 49 2: 48, 50 2: 51, 53 2: 74, 75 2: 101, 102 2: 101, 103 2: 112, 113 2: 119, 120 2: 121, 122 2: 122, 123 2: 126, 128 2: 133, 134 2: 135, 136 2: 139, 141 2: 140, 142 2: 142, 143 2: 143, 144 2: 151, 153 2: 153, 154 2: 156, 157 2: 161, 163 2: 161, 164 2: 176, 177 2: 181, 183 2: 182, 183 2: 197, 198 3: 0, 2 3: 2, 3 3: 14, 16 3: 14, 17 3: 40, 41 3: 41, 43 3: 43, 44 3: 53, 54 3: 53, 55 3: 56, 57 3: 60, 61 3: 61, 62 3: 74, 76 3: 87, 88 3: 91, 92 3: 95, 96 3: 116, 117 3: 120, 121 3: 129, 130 3: 131, 132 3: 133, 135 3: 134, 136 3: 137, 139 3: 138, 139 3: 139, 142 3: 141, 143 3: 148, 150 3: 149, 150 3: 152, 154 3: 155, 157 3: 156, 158 3: 158, 159 3: 158, 160 3: 168, 169 3: 168, 170 3: 173, 174 3: 174, 175 3: 180, 181 3: 180, 182 3: 187, 188 3: 191, 192 3: 192, 193 3: 194, 195 3: 197, 199 4: 2, 4 4: 7, 8 4: 20, 21 4: 24, 25 4: 38, 39 4: 40, 42 4: 52, 54 4: 52, 55 4: 58, 59 4: 70, 71 4: 76, 77 4: 80, 81 4: 80, 82 4: 85, 86 4: 100, 101 4: 121, 123 4: 123, 124 4: 128, 129 4: 136, 137 4: 136, 138 4: 137, 140 4: 138, 140 4: 140, 143 4: 142, 144 4: 151, 154 4: 155, 158 4: 157, 159 4: 157, 160 4: 169, 171 4: 170, 171 4: 172, 173 4: 179, 181 4: 179, 182 4: 183, 184 4: 190, 191 4: 193, 194 4: 199, 200 5: 1, 3 5: 4, 5 5: 6, 8 5: 7, 9 5: 9, 10 5: 20, 22 5: 24, 26 5: 37, 39 5: 39, 41 5: 42, 44 5: 51, 54 5: 51, 55 5: 70, 72 5: 75, 77 5: 81, 83 5: 82, 83 5: 84, 86 5: 98, 99 5: 109, 110 5: 114, 115 5: 119, 121 5: 120, 122 5: 123, 125 5: 127, 129 5: 133, 136 5: 137, 141 5: 138, 141 5: 139, 143 5: 141, 144 5: 144, 145 5: 147, 148 5: 147, 149 5: 165, 166 5: 177, 178 5: 180, 183 5: 188, 189 5: 195, 196 5: 198, 200 6: 0, 3 6: 1, 4 6: 3, 5 6: 4, 6 6: 5, 8 6: 6, 9 6: 8, 10 6: 9, 11 6: 26, 27 6: 38, 40 6: 39, 42 6: 40, 43 6: 41, 44 6: 60, 62 6: 65, 66 6: 68, 69 6: 69, 70 6: 78, 79 6: 97, 99 6: 100, 102 6: 100, 103 6: 109, 111 6: 117, 118 6: 118, 119 6: 122, 124 6: 125, 126 6: 126, 129 6: 135, 137 6: 135, 138 6: 137, 142 6: 138, 142 6: 140, 144 6: 156, 159 6: 156, 160 6: 173, 175 6: 178, 179 6: 179, 183 6: 181, 184 6: 182, 184 6: 185, 186 6: 189, 190 6: 191, 193 7: 0, 4 7: 3, 6 7: 4, 7 7: 5, 9 7: 8, 11 7: 9, 12 7: 9, 13 7: 18, 20 7: 19, 20 7: 23, 24 7: 25, 27 7: 33, 34 7: 35, 36 7: 37, 40 7: 67, 69 7: 74, 77 7: 94, 95 7: 99, 100 7: 108, 109 7: 115, 116 7: 119, 122 7: 120, 123 7: 122, 125 7: 124, 126 7: 125, 127 7: 128, 130 7: 132, 133 7: 134, 137 7: 134, 138 7: 136, 139 7: 139, 144 7: 143, 145 7: 155, 159 7: 155, 160 7: 167, 168 7: 168, 171 7: 172, 174 7: 175, 176 7: 176, 178 7: 178, 180 7: 184, 185 7: 190, 192 7: 192, 194 7: 193, 195 7: 197, 200 8: 3, 7 8: 8, 12 8: 8, 13 8: 31, 32 8: 32, 34 8: 33, 35 8: 34, 36 8: 39, 43 8: 57, 58 8: 93, 95 8: 96, 97 8: 118, 120 8: 121, 124 8: 124, 127 8: 125, 128 8: 127, 130 8: 136, 140 8: 137, 143 8: 138, 143 8: 147, 150 8: 150, 151 8: 159, 161 8: 160, 161 8: 171, 172 8: 187, 189 8: 194, 196 9: 2, 5 9: 31, 33 9: 32, 35 9: 38, 41 9: 40, 44 9: 49, 51 9: 50, 51 9: 63, 64 9: 66, 67 9: 80, 83 9: 90, 91 9: 96, 98 9: 105, 108 9: 106, 108 9: 107, 108 9: 111, 112 9: 116, 118 9: 119, 123 9: 121, 125 9: 124, 128 9: 126, 130 9: 132, 134 9: 133, 137 9: 133, 138 9: 135, 139 9: 136, 141 9: 142, 145 9: 150, 152 9: 159, 162 9: 160, 162 9: 163, 165 9: 164, 165 9: 175, 177 9: 180, 184 10: 2, 6 10: 7, 10 10: 27, 28 10: 36, 37 10: 37, 41 10: 38, 42 10: 46, 48 10: 47, 48 10: 49, 52 10: 50, 52 10: 54, 56 10: 55, 56 10: 66, 68 10: 69, 71 10: 73, 74 10: 79, 80 10: 94, 96 10: 102, 104 10: 103, 104 10: 104, 108 10: 110, 112 10: 115, 117 10: 131, 133 10: 132, 135 10: 134, 139 10: 135, 140 10: 136, 142 10: 137, 144 10: 138, 144 10: 141, 145 10: 150, 153 10: 159, 163 10: 159, 164 10: 160, 163 10: 160, 164 10: 162, 165 10: 166, 167 10: 167, 169 10: 167, 170 10: 172, 175 10: 174, 176 10: 178, 181 10: 178, 182 10: 179, 184 10: 189, 191 10: 190, 193 10: 191, 194 10: 192, 195 11: 1, 5 11: 2, 7 233