DoubleEntryTable.tbl (8203B)
1 /* THIS FILE IS AUTOMATICALLY GENERATED BY gen-double-encode-table.py. */ 2 { 0x40000000, { 0, 0, 0 } }, 3 { 0x40010000, { 1, 0, 0 } }, 4 { 0x40020000, { 2, 0, 0 } }, 5 { 0x40030000, { 3, 0, 0 } }, 6 { 0x40040000, { 4, 0, 0 } }, 7 { 0x40050000, { 5, 0, 0 } }, 8 { 0x40060000, { 6, 0, 0 } }, 9 { 0x40070000, { 7, 0, 0 } }, 10 { 0x40080000, { 8, 0, 0 } }, 11 { 0x40090000, { 9, 0, 0 } }, 12 { 0x400a0000, { 10, 0, 0 } }, 13 { 0x400b0000, { 11, 0, 0 } }, 14 { 0x400c0000, { 12, 0, 0 } }, 15 { 0x400d0000, { 13, 0, 0 } }, 16 { 0x400e0000, { 14, 0, 0 } }, 17 { 0x400f0000, { 15, 0, 0 } }, 18 { 0x40100000, { 0, 1, 0 } }, 19 { 0x40110000, { 1, 1, 0 } }, 20 { 0x40120000, { 2, 1, 0 } }, 21 { 0x40130000, { 3, 1, 0 } }, 22 { 0x40140000, { 4, 1, 0 } }, 23 { 0x40150000, { 5, 1, 0 } }, 24 { 0x40160000, { 6, 1, 0 } }, 25 { 0x40170000, { 7, 1, 0 } }, 26 { 0x40180000, { 8, 1, 0 } }, 27 { 0x40190000, { 9, 1, 0 } }, 28 { 0x401a0000, { 10, 1, 0 } }, 29 { 0x401b0000, { 11, 1, 0 } }, 30 { 0x401c0000, { 12, 1, 0 } }, 31 { 0x401d0000, { 13, 1, 0 } }, 32 { 0x401e0000, { 14, 1, 0 } }, 33 { 0x401f0000, { 15, 1, 0 } }, 34 { 0x40200000, { 0, 2, 0 } }, 35 { 0x40210000, { 1, 2, 0 } }, 36 { 0x40220000, { 2, 2, 0 } }, 37 { 0x40230000, { 3, 2, 0 } }, 38 { 0x40240000, { 4, 2, 0 } }, 39 { 0x40250000, { 5, 2, 0 } }, 40 { 0x40260000, { 6, 2, 0 } }, 41 { 0x40270000, { 7, 2, 0 } }, 42 { 0x40280000, { 8, 2, 0 } }, 43 { 0x40290000, { 9, 2, 0 } }, 44 { 0x402a0000, { 10, 2, 0 } }, 45 { 0x402b0000, { 11, 2, 0 } }, 46 { 0x402c0000, { 12, 2, 0 } }, 47 { 0x402d0000, { 13, 2, 0 } }, 48 { 0x402e0000, { 14, 2, 0 } }, 49 { 0x402f0000, { 15, 2, 0 } }, 50 { 0x40300000, { 0, 3, 0 } }, 51 { 0x40310000, { 1, 3, 0 } }, 52 { 0x40320000, { 2, 3, 0 } }, 53 { 0x40330000, { 3, 3, 0 } }, 54 { 0x40340000, { 4, 3, 0 } }, 55 { 0x40350000, { 5, 3, 0 } }, 56 { 0x40360000, { 6, 3, 0 } }, 57 { 0x40370000, { 7, 3, 0 } }, 58 { 0x40380000, { 8, 3, 0 } }, 59 { 0x40390000, { 9, 3, 0 } }, 60 { 0x403a0000, { 10, 3, 0 } }, 61 { 0x403b0000, { 11, 3, 0 } }, 62 { 0x403c0000, { 12, 3, 0 } }, 63 { 0x403d0000, { 13, 3, 0 } }, 64 { 0x403e0000, { 14, 3, 0 } }, 65 { 0x403f0000, { 15, 3, 0 } }, 66 { 0x3fc00000, { 0, 4, 0 } }, 67 { 0x3fc10000, { 1, 4, 0 } }, 68 { 0x3fc20000, { 2, 4, 0 } }, 69 { 0x3fc30000, { 3, 4, 0 } }, 70 { 0x3fc40000, { 4, 4, 0 } }, 71 { 0x3fc50000, { 5, 4, 0 } }, 72 { 0x3fc60000, { 6, 4, 0 } }, 73 { 0x3fc70000, { 7, 4, 0 } }, 74 { 0x3fc80000, { 8, 4, 0 } }, 75 { 0x3fc90000, { 9, 4, 0 } }, 76 { 0x3fca0000, { 10, 4, 0 } }, 77 { 0x3fcb0000, { 11, 4, 0 } }, 78 { 0x3fcc0000, { 12, 4, 0 } }, 79 { 0x3fcd0000, { 13, 4, 0 } }, 80 { 0x3fce0000, { 14, 4, 0 } }, 81 { 0x3fcf0000, { 15, 4, 0 } }, 82 { 0x3fd00000, { 0, 5, 0 } }, 83 { 0x3fd10000, { 1, 5, 0 } }, 84 { 0x3fd20000, { 2, 5, 0 } }, 85 { 0x3fd30000, { 3, 5, 0 } }, 86 { 0x3fd40000, { 4, 5, 0 } }, 87 { 0x3fd50000, { 5, 5, 0 } }, 88 { 0x3fd60000, { 6, 5, 0 } }, 89 { 0x3fd70000, { 7, 5, 0 } }, 90 { 0x3fd80000, { 8, 5, 0 } }, 91 { 0x3fd90000, { 9, 5, 0 } }, 92 { 0x3fda0000, { 10, 5, 0 } }, 93 { 0x3fdb0000, { 11, 5, 0 } }, 94 { 0x3fdc0000, { 12, 5, 0 } }, 95 { 0x3fdd0000, { 13, 5, 0 } }, 96 { 0x3fde0000, { 14, 5, 0 } }, 97 { 0x3fdf0000, { 15, 5, 0 } }, 98 { 0x3fe00000, { 0, 6, 0 } }, 99 { 0x3fe10000, { 1, 6, 0 } }, 100 { 0x3fe20000, { 2, 6, 0 } }, 101 { 0x3fe30000, { 3, 6, 0 } }, 102 { 0x3fe40000, { 4, 6, 0 } }, 103 { 0x3fe50000, { 5, 6, 0 } }, 104 { 0x3fe60000, { 6, 6, 0 } }, 105 { 0x3fe70000, { 7, 6, 0 } }, 106 { 0x3fe80000, { 8, 6, 0 } }, 107 { 0x3fe90000, { 9, 6, 0 } }, 108 { 0x3fea0000, { 10, 6, 0 } }, 109 { 0x3feb0000, { 11, 6, 0 } }, 110 { 0x3fec0000, { 12, 6, 0 } }, 111 { 0x3fed0000, { 13, 6, 0 } }, 112 { 0x3fee0000, { 14, 6, 0 } }, 113 { 0x3fef0000, { 15, 6, 0 } }, 114 { 0x3ff00000, { 0, 7, 0 } }, 115 { 0x3ff10000, { 1, 7, 0 } }, 116 { 0x3ff20000, { 2, 7, 0 } }, 117 { 0x3ff30000, { 3, 7, 0 } }, 118 { 0x3ff40000, { 4, 7, 0 } }, 119 { 0x3ff50000, { 5, 7, 0 } }, 120 { 0x3ff60000, { 6, 7, 0 } }, 121 { 0x3ff70000, { 7, 7, 0 } }, 122 { 0x3ff80000, { 8, 7, 0 } }, 123 { 0x3ff90000, { 9, 7, 0 } }, 124 { 0x3ffa0000, { 10, 7, 0 } }, 125 { 0x3ffb0000, { 11, 7, 0 } }, 126 { 0x3ffc0000, { 12, 7, 0 } }, 127 { 0x3ffd0000, { 13, 7, 0 } }, 128 { 0x3ffe0000, { 14, 7, 0 } }, 129 { 0x3fff0000, { 15, 7, 0 } }, 130 { 0xc0000000, { 0, 8, 0 } }, 131 { 0xc0010000, { 1, 8, 0 } }, 132 { 0xc0020000, { 2, 8, 0 } }, 133 { 0xc0030000, { 3, 8, 0 } }, 134 { 0xc0040000, { 4, 8, 0 } }, 135 { 0xc0050000, { 5, 8, 0 } }, 136 { 0xc0060000, { 6, 8, 0 } }, 137 { 0xc0070000, { 7, 8, 0 } }, 138 { 0xc0080000, { 8, 8, 0 } }, 139 { 0xc0090000, { 9, 8, 0 } }, 140 { 0xc00a0000, { 10, 8, 0 } }, 141 { 0xc00b0000, { 11, 8, 0 } }, 142 { 0xc00c0000, { 12, 8, 0 } }, 143 { 0xc00d0000, { 13, 8, 0 } }, 144 { 0xc00e0000, { 14, 8, 0 } }, 145 { 0xc00f0000, { 15, 8, 0 } }, 146 { 0xc0100000, { 0, 9, 0 } }, 147 { 0xc0110000, { 1, 9, 0 } }, 148 { 0xc0120000, { 2, 9, 0 } }, 149 { 0xc0130000, { 3, 9, 0 } }, 150 { 0xc0140000, { 4, 9, 0 } }, 151 { 0xc0150000, { 5, 9, 0 } }, 152 { 0xc0160000, { 6, 9, 0 } }, 153 { 0xc0170000, { 7, 9, 0 } }, 154 { 0xc0180000, { 8, 9, 0 } }, 155 { 0xc0190000, { 9, 9, 0 } }, 156 { 0xc01a0000, { 10, 9, 0 } }, 157 { 0xc01b0000, { 11, 9, 0 } }, 158 { 0xc01c0000, { 12, 9, 0 } }, 159 { 0xc01d0000, { 13, 9, 0 } }, 160 { 0xc01e0000, { 14, 9, 0 } }, 161 { 0xc01f0000, { 15, 9, 0 } }, 162 { 0xc0200000, { 0, 10, 0 } }, 163 { 0xc0210000, { 1, 10, 0 } }, 164 { 0xc0220000, { 2, 10, 0 } }, 165 { 0xc0230000, { 3, 10, 0 } }, 166 { 0xc0240000, { 4, 10, 0 } }, 167 { 0xc0250000, { 5, 10, 0 } }, 168 { 0xc0260000, { 6, 10, 0 } }, 169 { 0xc0270000, { 7, 10, 0 } }, 170 { 0xc0280000, { 8, 10, 0 } }, 171 { 0xc0290000, { 9, 10, 0 } }, 172 { 0xc02a0000, { 10, 10, 0 } }, 173 { 0xc02b0000, { 11, 10, 0 } }, 174 { 0xc02c0000, { 12, 10, 0 } }, 175 { 0xc02d0000, { 13, 10, 0 } }, 176 { 0xc02e0000, { 14, 10, 0 } }, 177 { 0xc02f0000, { 15, 10, 0 } }, 178 { 0xc0300000, { 0, 11, 0 } }, 179 { 0xc0310000, { 1, 11, 0 } }, 180 { 0xc0320000, { 2, 11, 0 } }, 181 { 0xc0330000, { 3, 11, 0 } }, 182 { 0xc0340000, { 4, 11, 0 } }, 183 { 0xc0350000, { 5, 11, 0 } }, 184 { 0xc0360000, { 6, 11, 0 } }, 185 { 0xc0370000, { 7, 11, 0 } }, 186 { 0xc0380000, { 8, 11, 0 } }, 187 { 0xc0390000, { 9, 11, 0 } }, 188 { 0xc03a0000, { 10, 11, 0 } }, 189 { 0xc03b0000, { 11, 11, 0 } }, 190 { 0xc03c0000, { 12, 11, 0 } }, 191 { 0xc03d0000, { 13, 11, 0 } }, 192 { 0xc03e0000, { 14, 11, 0 } }, 193 { 0xc03f0000, { 15, 11, 0 } }, 194 { 0xbfc00000, { 0, 12, 0 } }, 195 { 0xbfc10000, { 1, 12, 0 } }, 196 { 0xbfc20000, { 2, 12, 0 } }, 197 { 0xbfc30000, { 3, 12, 0 } }, 198 { 0xbfc40000, { 4, 12, 0 } }, 199 { 0xbfc50000, { 5, 12, 0 } }, 200 { 0xbfc60000, { 6, 12, 0 } }, 201 { 0xbfc70000, { 7, 12, 0 } }, 202 { 0xbfc80000, { 8, 12, 0 } }, 203 { 0xbfc90000, { 9, 12, 0 } }, 204 { 0xbfca0000, { 10, 12, 0 } }, 205 { 0xbfcb0000, { 11, 12, 0 } }, 206 { 0xbfcc0000, { 12, 12, 0 } }, 207 { 0xbfcd0000, { 13, 12, 0 } }, 208 { 0xbfce0000, { 14, 12, 0 } }, 209 { 0xbfcf0000, { 15, 12, 0 } }, 210 { 0xbfd00000, { 0, 13, 0 } }, 211 { 0xbfd10000, { 1, 13, 0 } }, 212 { 0xbfd20000, { 2, 13, 0 } }, 213 { 0xbfd30000, { 3, 13, 0 } }, 214 { 0xbfd40000, { 4, 13, 0 } }, 215 { 0xbfd50000, { 5, 13, 0 } }, 216 { 0xbfd60000, { 6, 13, 0 } }, 217 { 0xbfd70000, { 7, 13, 0 } }, 218 { 0xbfd80000, { 8, 13, 0 } }, 219 { 0xbfd90000, { 9, 13, 0 } }, 220 { 0xbfda0000, { 10, 13, 0 } }, 221 { 0xbfdb0000, { 11, 13, 0 } }, 222 { 0xbfdc0000, { 12, 13, 0 } }, 223 { 0xbfdd0000, { 13, 13, 0 } }, 224 { 0xbfde0000, { 14, 13, 0 } }, 225 { 0xbfdf0000, { 15, 13, 0 } }, 226 { 0xbfe00000, { 0, 14, 0 } }, 227 { 0xbfe10000, { 1, 14, 0 } }, 228 { 0xbfe20000, { 2, 14, 0 } }, 229 { 0xbfe30000, { 3, 14, 0 } }, 230 { 0xbfe40000, { 4, 14, 0 } }, 231 { 0xbfe50000, { 5, 14, 0 } }, 232 { 0xbfe60000, { 6, 14, 0 } }, 233 { 0xbfe70000, { 7, 14, 0 } }, 234 { 0xbfe80000, { 8, 14, 0 } }, 235 { 0xbfe90000, { 9, 14, 0 } }, 236 { 0xbfea0000, { 10, 14, 0 } }, 237 { 0xbfeb0000, { 11, 14, 0 } }, 238 { 0xbfec0000, { 12, 14, 0 } }, 239 { 0xbfed0000, { 13, 14, 0 } }, 240 { 0xbfee0000, { 14, 14, 0 } }, 241 { 0xbfef0000, { 15, 14, 0 } }, 242 { 0xbff00000, { 0, 15, 0 } }, 243 { 0xbff10000, { 1, 15, 0 } }, 244 { 0xbff20000, { 2, 15, 0 } }, 245 { 0xbff30000, { 3, 15, 0 } }, 246 { 0xbff40000, { 4, 15, 0 } }, 247 { 0xbff50000, { 5, 15, 0 } }, 248 { 0xbff60000, { 6, 15, 0 } }, 249 { 0xbff70000, { 7, 15, 0 } }, 250 { 0xbff80000, { 8, 15, 0 } }, 251 { 0xbff90000, { 9, 15, 0 } }, 252 { 0xbffa0000, { 10, 15, 0 } }, 253 { 0xbffb0000, { 11, 15, 0 } }, 254 { 0xbffc0000, { 12, 15, 0 } }, 255 { 0xbffd0000, { 13, 15, 0 } }, 256 { 0xbffe0000, { 14, 15, 0 } }, 257 { 0xbfff0000, { 15, 15, 0 } },