| #tb 0: 1/12 |
| 0, 0, 0, 1, 823680, 0xddb8a306 |
| 0, 1, 1, 1, 823680, 0xa95375c8 |
| 0, 2, 2, 1, 823680, 0xa95375c8 |
| 0, 3, 3, 1, 823680, 0xb6f78afe |
| 0, 4, 4, 1, 823680, 0xb6f78afe |
| 0, 5, 5, 1, 823680, 0x45b9c8f0 |
| 0, 6, 6, 1, 823680, 0x45b9c8f0 |
| 0, 7, 7, 1, 823680, 0x7653d8e9 |
| 0, 8, 8, 1, 823680, 0x7653d8e9 |
| 0, 9, 9, 1, 823680, 0xf1e2fd73 |
| 0, 10, 10, 1, 823680, 0xf1e2fd73 |
| 0, 11, 11, 1, 823680, 0x6d2deab3 |
| 0, 12, 12, 1, 823680, 0x6d2deab3 |
| 0, 13, 13, 1, 823680, 0x37fd33ce |
| 0, 14, 14, 1, 823680, 0x37fd33ce |
| 0, 15, 15, 1, 823680, 0x0a8e0ab9 |
| 0, 16, 16, 1, 823680, 0x0a8e0ab9 |
| 0, 17, 17, 1, 823680, 0x991bb2b0 |
| 0, 18, 18, 1, 823680, 0x991bb2b0 |
| 0, 19, 19, 1, 823680, 0xb8397c8c |
| 0, 20, 20, 1, 823680, 0xb8397c8c |
