[
    <6, 1, [ <0, 1>, <16, 11>, <24, 40>, <32, 11>, <48, 1> ]>,
    <6, 2, [ <0, 1>, <16, 9>, <24, 44>, <32, 9>, <48, 1> ]>,
    <6, 3, [ <0, 1>, <16, 7>, <24, 48>, <32, 7>, <48, 1> ]>,
    <6, 4, [ <0, 1>, <16, 7>, <24, 48>, <32, 7>, <48, 1> ]>,
    <6, 5, [ <0, 1>, <16, 15>, <24, 32>, <32, 15>, <48, 1> ]>,
    <6, 6, [ <0, 1>, <16, 9>, <24, 44>, <32, 9>, <48, 1> ]>,
    <6, 7, [ <0, 1>, <16, 5>, <24, 52>, <32, 5>, <48, 1> ]>,
    <6, 8, [ <0, 1>, <16, 5>, <24, 52>, <32, 5>, <48, 1> ]>,
    <6, 9, [ <0, 1>, <16, 3>, <24, 56>, <32, 3>, <48, 1> ]>,
    <6, 10, [ <0, 1>, <16, 3>, <24, 56>, <32, 3>, <48, 1> ]>,
    <6, 11, [ <0, 1>, <16, 25>, <24, 12>, <32, 25>, <48, 1> ]>,
    <6, 12, [ <0, 1>, <16, 21>, <24, 20>, <32, 21>, <48, 1> ]>,
    <6, 13, [ <0, 1>, <16, 23>, <24, 16>, <32, 23>, <48, 1> ]>,
    <6, 14, [ <0, 1>, <16, 21>, <24, 20>, <32, 21>, <48, 1> ]>,
    <6, 15, [ <0, 1>, <16, 31>, <32, 31>, <48, 1> ]>,
    <6, 16, [ <0, 1>, <16, 17>, <24, 28>, <32, 17>, <48, 1> ]>,
    <6, 17, [ <0, 1>, <16, 17>, <24, 28>, <32, 17>, <48, 1> ]>,
    <6, 18, [ <0, 1>, <16, 19>, <24, 24>, <32, 19>, <48, 1> ]>,
    <6, 19, [ <0, 1>, <16, 19>, <24, 24>, <32, 19>, <48, 1> ]>,
    <6, 20, [ <0, 1>, <16, 19>, <24, 24>, <32, 19>, <48, 1> ]>,
    <6, 21, [ <0, 1>, <16, 17>, <24, 28>, <32, 17>, <48, 1> ]>,
    <6, 22, [ <0, 1>, <16, 19>, <24, 24>, <32, 19>, <48, 1> ]>,
    <6, 23, [ <0, 1>, <16, 13>, <24, 36>, <32, 13>, <48, 1> ]>,
    <6, 24, [ <0, 1>, <16, 15>, <24, 32>, <32, 15>, <48, 1> ]>,
    <6, 25, [ <0, 1>, <16, 17>, <24, 28>, <32, 17>, <48, 1> ]>,
    <6, 26, [ <0, 1>, <16, 19>, <24, 24>, <32, 19>, <48, 1> ]>,
    <6, 27, [ <0, 1>, <16, 17>, <24, 28>, <32, 17>, <48, 1> ]>,
    <6, 28, [ <0, 1>, <16, 15>, <24, 32>, <32, 15>, <48, 1> ]>,
    <6, 29, [ <0, 1>, <16, 13>, <24, 36>, <32, 13>, <48, 1> ]>,
    <6, 30, [ <0, 1>, <16, 15>, <24, 32>, <32, 15>, <48, 1> ]>,
    <6, 31, [ <0, 1>, <16, 13>, <24, 36>, <32, 13>, <48, 1> ]>,
    <6, 32, [ <0, 1>, <16, 15>, <24, 32>, <32, 15>, <48, 1> ]>,
    <6, 33, [ <0, 1>, <16, 15>, <24, 32>, <32, 15>, <48, 1> ]>,
    <6, 34, [ <0, 1>, <16, 19>, <24, 24>, <32, 19>, <48, 1> ]>,
    <6, 35, [ <0, 1>, <16, 19>, <24, 24>, <32, 19>, <48, 1> ]>,
    <6, 36, [ <0, 1>, <16, 23>, <24, 16>, <32, 23>, <48, 1> ]>,
    <6, 37, [ <0, 1>, <16, 15>, <24, 32>, <32, 15>, <48, 1> ]>,
    <6, 38, [ <0, 1>, <16, 15>, <24, 32>, <32, 15>, <48, 1> ]>,
    <6, 39, [ <0, 1>, <16, 17>, <24, 28>, <32, 17>, <48, 1> ]>,
    <6, 40, [ <0, 1>, <16, 13>, <24, 36>, <32, 13>, <48, 1> ]>,
    <6, 41, [ <0, 1>, <16, 13>, <24, 36>, <32, 13>, <48, 1> ]>,
    <6, 42, [ <0, 1>, <16, 15>, <24, 32>, <32, 15>, <48, 1> ]>,
    <6, 43, [ <0, 1>, <16, 11>, <24, 40>, <32, 11>, <48, 1> ]>,
    <6, 44, [ <0, 1>, <16, 11>, <24, 40>, <32, 11>, <48, 1> ]>,
    <6, 45, [ <0, 1>, <16, 9>, <24, 44>, <32, 9>, <48, 1> ]>,
    <6, 46, [ <0, 1>, <16, 13>, <24, 36>, <32, 13>, <48, 1> ]>,
    <6, 47, [ <0, 1>, <16, 13>, <24, 36>, <32, 13>, <48, 1> ]>,
    <6, 48, [ <0, 1>, <16, 15>, <24, 32>, <32, 15>, <48, 1> ]>,
    <6, 49, [ <0, 1>, <16, 15>, <24, 32>, <32, 15>, <48, 1> ]>,
    <6, 50, [ <0, 1>, <16, 15>, <24, 32>, <32, 15>, <48, 1> ]>,
    <6, 51, [ <0, 1>, <16, 21>, <24, 20>, <32, 21>, <48, 1> ]>,
    <6, 52, [ <0, 1>, <16, 13>, <24, 36>, <32, 13>, <48, 1> ]>,
    <6, 53, [ <0, 1>, <16, 11>, <24, 40>, <32, 11>, <48, 1> ]>,
    <6, 54, [ <0, 1>, <16, 11>, <24, 40>, <32, 11>, <48, 1> ]>,
    <6, 55, [ <0, 1>, <16, 9>, <24, 44>, <32, 9>, <48, 1> ]>,
    <6, 56, [ <0, 1>, <16, 13>, <24, 36>, <32, 13>, <48, 1> ]>,
    <6, 57, [ <0, 1>, <16, 11>, <24, 40>, <32, 11>, <48, 1> ]>,
    <6, 58, [ <0, 1>, <16, 11>, <24, 40>, <32, 11>, <48, 1> ]>,
    <6, 59, [ <0, 1>, <16, 9>, <24, 44>, <32, 9>, <48, 1> ]>,
    <6, 60, [ <0, 1>, <16, 15>, <24, 32>, <32, 15>, <48, 1> ]>,
    <6, 61, [ <0, 1>, <16, 7>, <24, 48>, <32, 7>, <48, 1> ]>,
    <6, 62, [ <0, 1>, <16, 9>, <24, 44>, <32, 9>, <48, 1> ]>,
    <6, 63, [ <0, 1>, <16, 15>, <24, 32>, <32, 15>, <48, 1> ]>,
    <6, 64, [ <0, 1>, <16, 9>, <24, 44>, <32, 9>, <48, 1> ]>,
    <6, 65, [ <0, 1>, <16, 11>, <24, 40>, <32, 11>, <48, 1> ]>,
    <6, 66, [ <0, 1>, <16, 7>, <24, 48>, <32, 7>, <48, 1> ]>,
    <6, 67, [ <0, 1>, <16, 11>, <24, 40>, <32, 11>, <48, 1> ]>,
    <6, 68, [ <0, 1>, <16, 11>, <24, 40>, <32, 11>, <48, 1> ]>,
    <6, 69, [ <0, 1>, <16, 15>, <24, 32>, <32, 15>, <48, 1> ]>,
    <6, 70, [ <0, 1>, <16, 7>, <24, 48>, <32, 7>, <48, 1> ]>,
    <6, 71, [ <0, 1>, <16, 3>, <24, 56>, <32, 3>, <48, 1> ]>,
    <6, 72, [ <0, 1>, <16, 13>, <24, 36>, <32, 13>, <48, 1> ]>,
    <6, 73, [ <0, 1>, <16, 11>, <24, 40>, <32, 11>, <48, 1> ]>,
    <6, 74, [ <0, 1>, <16, 15>, <24, 32>, <32, 15>, <48, 1> ]>,
    <6, 75, [ <0, 1>, <16, 9>, <24, 44>, <32, 9>, <48, 1> ]>,
    <6, 76, [ <0, 1>, <16, 9>, <24, 44>, <32, 9>, <48, 1> ]>,
    <6, 77, [ <0, 1>, <16, 11>, <24, 40>, <32, 11>, <48, 1> ]>,
    <6, 78, [ <0, 1>, <16, 7>, <24, 48>, <32, 7>, <48, 1> ]>,
    <6, 79, [ <0, 1>, <16, 7>, <24, 48>, <32, 7>, <48, 1> ]>,
    <6, 80, [ <0, 1>, <16, 9>, <24, 44>, <32, 9>, <48, 1> ]>,
    <6, 81, [ <0, 1>, <16, 9>, <24, 44>, <32, 9>, <48, 1> ]>,
    <6, 82, [ <0, 1>, <16, 7>, <24, 48>, <32, 7>, <48, 1> ]>,
    <6, 83, [ <0, 1>, <16, 5>, <24, 52>, <32, 5>, <48, 1> ]>,
    <6, 84, [ <0, 1>, <16, 7>, <24, 48>, <32, 7>, <48, 1> ]>,
    <6, 85, [ <0, 1>, <16, 9>, <24, 44>, <32, 9>, <48, 1> ]>,
    <6, 86, [ <0, 1>, <16, 9>, <24, 44>, <32, 9>, <48, 1> ]>,
    <6, 87, [ <0, 1>, <16, 5>, <24, 52>, <32, 5>, <48, 1> ]>,
    <6, 88, [ <0, 1>, <16, 5>, <24, 52>, <32, 5>, <48, 1> ]>,
    <6, 89, [ <0, 1>, <16, 1>, <24, 60>, <32, 1>, <48, 1> ]>,
    <6, 90, [ <0, 1>, <8, 4>, <16, 17>, <24, 20>, <32, 17>, <40, 4>, <48, 1> ]>,
    <6, 91, [ <0, 1>, <8, 6>, <16, 13>, <24, 24>, <32, 13>, <40, 6>, <48, 1> ]>,
    <6, 92, [ <0, 1>, <8, 2>, <16, 17>, <24, 24>, <32, 17>, <40, 2>, <48, 1> ]>,
    <6, 93, [ <0, 1>, <8, 4>, <16, 13>, <24, 28>, <32, 13>, <40, 4>, <48, 1> ]>,
    <6, 94, [ <0, 1>, <8, 6>, <16, 25>, <32, 25>, <40, 6>, <48, 1> ]>,
    <6, 95, [ <0, 1>, <8, 4>, <16, 15>, <24, 24>, <32, 15>, <40, 4>, <48, 1> ]>,
    <6, 96, [ <0, 1>, <8, 4>, <16, 15>, <24, 24>, <32, 15>, <40, 4>, <48, 1> ]>,
    <6, 97, [ <0, 1>, <8, 2>, <16, 17>, <24, 24>, <32, 17>, <40, 2>, <48, 1> ]>,
    <6, 98, [ <0, 1>, <8, 2>, <16, 15>, <24, 28>, <32, 15>, <40, 2>, <48, 1> ]>,
    <6, 99, [ <0, 1>, <8, 4>, <16, 13>, <24, 28>, <32, 13>, <40, 4>, <48, 1> ]>,
    <6, 100, [ <0, 1>, <8, 6>, <16, 15>, <24, 20>, <32, 15>, <40, 6>, <48, 1> 
    ]>,
    <6, 101, [ <0, 1>, <8, 4>, <16, 9>, <24, 36>, <32, 9>, <40, 4>, <48, 1> ]>,
    <6, 102, [ <0, 1>, <8, 4>, <16, 15>, <24, 24>, <32, 15>, <40, 4>, <48, 1> 
    ]>,
    <6, 103, [ <0, 1>, <8, 6>, <16, 21>, <24, 8>, <32, 21>, <40, 6>, <48, 1> ]>,
    <6, 104, [ <0, 1>, <8, 8>, <16, 9>, <24, 28>, <32, 9>, <40, 8>, <48, 1> ]>,
    <6, 105, [ <0, 1>, <8, 10>, <16, 21>, <32, 21>, <40, 10>, <48, 1> ]>,
    <6, 106, [ <0, 1>, <8, 6>, <16, 9>, <24, 32>, <32, 9>, <40, 6>, <48, 1> ]>,
    <6, 107, [ <0, 1>, <8, 7>, <16, 15>, <24, 18>, <32, 15>, <40, 7>, <48, 1> 
    ]>,
    <6, 108, [ <0, 1>, <8, 3>, <16, 17>, <24, 22>, <32, 17>, <40, 3>, <48, 1> 
    ]>,
    <6, 109, [ <0, 1>, <8, 3>, <16, 15>, <24, 26>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <6, 110, [ <0, 1>, <8, 7>, <16, 9>, <24, 30>, <32, 9>, <40, 7>, <48, 1> ]>,
    <6, 111, [ <0, 1>, <8, 8>, <16, 15>, <24, 16>, <32, 15>, <40, 8>, <48, 1> 
    ]>,
    <6, 112, [ <0, 1>, <8, 4>, <16, 13>, <24, 28>, <32, 13>, <40, 4>, <48, 1> 
    ]>,
    <6, 113, [ <0, 1>, <8, 8>, <16, 21>, <24, 4>, <32, 21>, <40, 8>, <48, 1> ]>,
    <6, 114, [ <0, 1>, <8, 1>, <16, 17>, <24, 26>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <6, 115, [ <0, 1>, <8, 3>, <16, 13>, <24, 30>, <32, 13>, <40, 3>, <48, 1> 
    ]>,
    <6, 116, [ <0, 1>, <8, 2>, <16, 17>, <24, 24>, <32, 17>, <40, 2>, <48, 1> 
    ]>,
    <6, 117, [ <0, 1>, <8, 2>, <16, 13>, <24, 32>, <32, 13>, <40, 2>, <48, 1> 
    ]>,
    <6, 118, [ <0, 1>, <8, 4>, <16, 25>, <24, 4>, <32, 25>, <40, 4>, <48, 1> ]>,
    <6, 119, [ <0, 1>, <8, 4>, <16, 17>, <24, 20>, <32, 17>, <40, 4>, <48, 1> 
    ]>,
    <6, 120, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 121, [ <0, 1>, <8, 2>, <16, 15>, <24, 28>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <6, 122, [ <0, 1>, <8, 4>, <16, 9>, <24, 36>, <32, 9>, <40, 4>, <48, 1> ]>,
    <6, 123, [ <0, 1>, <8, 4>, <16, 21>, <24, 12>, <32, 21>, <40, 4>, <48, 1> 
    ]>,
    <6, 124, [ <0, 1>, <8, 3>, <16, 15>, <24, 26>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <6, 125, [ <0, 1>, <8, 5>, <16, 15>, <24, 22>, <32, 15>, <40, 5>, <48, 1> 
    ]>,
    <6, 126, [ <0, 1>, <8, 3>, <16, 19>, <24, 18>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <6, 127, [ <0, 1>, <8, 2>, <16, 17>, <24, 24>, <32, 17>, <40, 2>, <48, 1> 
    ]>,
    <6, 128, [ <0, 1>, <8, 2>, <16, 17>, <24, 24>, <32, 17>, <40, 2>, <48, 1> 
    ]>,
    <6, 129, [ <0, 1>, <8, 1>, <16, 19>, <24, 22>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <6, 130, [ <0, 1>, <8, 3>, <16, 15>, <24, 26>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <6, 131, [ <0, 1>, <8, 5>, <16, 11>, <24, 30>, <32, 11>, <40, 5>, <48, 1> 
    ]>,
    <6, 132, [ <0, 1>, <8, 5>, <16, 23>, <24, 6>, <32, 23>, <40, 5>, <48, 1> ]>,
    <6, 133, [ <0, 1>, <8, 2>, <16, 13>, <24, 32>, <32, 13>, <40, 2>, <48, 1> 
    ]>,
    <6, 134, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 135, [ <0, 1>, <8, 4>, <16, 9>, <24, 36>, <32, 9>, <40, 4>, <48, 1> ]>,
    <6, 136, [ <0, 1>, <8, 3>, <16, 11>, <24, 34>, <32, 11>, <40, 3>, <48, 1> 
    ]>,
    <6, 137, [ <0, 1>, <8, 3>, <16, 11>, <24, 34>, <32, 11>, <40, 3>, <48, 1> 
    ]>,
    <6, 138, [ <0, 1>, <8, 2>, <16, 13>, <24, 32>, <32, 13>, <40, 2>, <48, 1> 
    ]>,
    <6, 139, [ <0, 1>, <8, 7>, <16, 15>, <24, 18>, <32, 15>, <40, 7>, <48, 1> 
    ]>,
    <6, 140, [ <0, 1>, <8, 5>, <16, 7>, <24, 38>, <32, 7>, <40, 5>, <48, 1> ]>,
    <6, 141, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 142, [ <0, 1>, <8, 3>, <16, 11>, <24, 34>, <32, 11>, <40, 3>, <48, 1> 
    ]>,
    <6, 143, [ <0, 1>, <8, 3>, <16, 23>, <24, 10>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <6, 144, [ <0, 1>, <8, 2>, <16, 25>, <24, 8>, <32, 25>, <40, 2>, <48, 1> ]>,
    <6, 145, [ <0, 1>, <8, 3>, <16, 13>, <24, 30>, <32, 13>, <40, 3>, <48, 1> 
    ]>,
    <6, 146, [ <0, 1>, <8, 2>, <16, 15>, <24, 28>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <6, 147, [ <0, 1>, <8, 2>, <16, 13>, <24, 32>, <32, 13>, <40, 2>, <48, 1> 
    ]>,
    <6, 148, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 149, [ <0, 1>, <8, 1>, <16, 13>, <24, 34>, <32, 13>, <40, 1>, <48, 1> 
    ]>,
    <6, 150, [ <0, 1>, <8, 2>, <16, 11>, <24, 36>, <32, 11>, <40, 2>, <48, 1> 
    ]>,
    <6, 151, [ <0, 1>, <8, 4>, <16, 11>, <24, 32>, <32, 11>, <40, 4>, <48, 1> 
    ]>,
    <6, 152, [ <0, 1>, <8, 3>, <16, 7>, <24, 42>, <32, 7>, <40, 3>, <48, 1> ]>,
    <6, 153, [ <0, 1>, <8, 2>, <16, 9>, <24, 40>, <32, 9>, <40, 2>, <48, 1> ]>,
    <6, 154, [ <0, 1>, <8, 4>, <16, 5>, <24, 44>, <32, 5>, <40, 4>, <48, 1> ]>,
    <6, 155, [ <0, 1>, <8, 3>, <16, 19>, <24, 18>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <6, 156, [ <0, 1>, <8, 1>, <16, 17>, <24, 26>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <6, 157, [ <0, 1>, <8, 3>, <16, 11>, <24, 34>, <32, 11>, <40, 3>, <48, 1> 
    ]>,
    <6, 158, [ <0, 1>, <8, 4>, <16, 15>, <24, 24>, <32, 15>, <40, 4>, <48, 1> 
    ]>,
    <6, 159, [ <0, 1>, <8, 4>, <16, 21>, <24, 12>, <32, 21>, <40, 4>, <48, 1> 
    ]>,
    <6, 160, [ <0, 1>, <8, 3>, <16, 9>, <24, 38>, <32, 9>, <40, 3>, <48, 1> ]>,
    <6, 161, [ <0, 1>, <8, 2>, <16, 13>, <24, 32>, <32, 13>, <40, 2>, <48, 1> 
    ]>,
    <6, 162, [ <0, 1>, <8, 4>, <16, 17>, <24, 20>, <32, 17>, <40, 4>, <48, 1> 
    ]>,
    <6, 163, [ <0, 1>, <8, 1>, <16, 13>, <24, 34>, <32, 13>, <40, 1>, <48, 1> 
    ]>,
    <6, 164, [ <0, 1>, <8, 1>, <16, 13>, <24, 34>, <32, 13>, <40, 1>, <48, 1> 
    ]>,
    <6, 165, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 166, [ <0, 1>, <8, 1>, <16, 11>, <24, 38>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <6, 167, [ <0, 1>, <8, 2>, <16, 13>, <24, 32>, <32, 13>, <40, 2>, <48, 1> 
    ]>,
    <6, 168, [ <0, 1>, <8, 2>, <16, 21>, <24, 16>, <32, 21>, <40, 2>, <48, 1> 
    ]>,
    <6, 169, [ <0, 1>, <8, 2>, <16, 11>, <24, 36>, <32, 11>, <40, 2>, <48, 1> 
    ]>,
    <6, 170, [ <0, 1>, <8, 2>, <16, 9>, <24, 40>, <32, 9>, <40, 2>, <48, 1> ]>,
    <6, 171, [ <0, 1>, <8, 4>, <16, 7>, <24, 40>, <32, 7>, <40, 4>, <48, 1> ]>,
    <6, 172, [ <0, 1>, <8, 3>, <16, 15>, <24, 26>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <6, 173, [ <0, 1>, <8, 2>, <16, 15>, <24, 28>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <6, 174, [ <0, 1>, <8, 2>, <16, 17>, <24, 24>, <32, 17>, <40, 2>, <48, 1> 
    ]>,
    <6, 175, [ <0, 1>, <8, 1>, <16, 17>, <24, 26>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <6, 176, [ <0, 1>, <8, 3>, <16, 15>, <24, 26>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <6, 177, [ <0, 1>, <8, 5>, <16, 15>, <24, 22>, <32, 15>, <40, 5>, <48, 1> 
    ]>,
    <6, 178, [ <0, 1>, <8, 4>, <16, 17>, <24, 20>, <32, 17>, <40, 4>, <48, 1> 
    ]>,
    <6, 179, [ <0, 1>, <8, 3>, <16, 13>, <24, 30>, <32, 13>, <40, 3>, <48, 1> 
    ]>,
    <6, 180, [ <0, 1>, <8, 1>, <16, 17>, <24, 26>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <6, 181, [ <0, 1>, <8, 3>, <16, 15>, <24, 26>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <6, 182, [ <0, 1>, <8, 5>, <16, 19>, <24, 14>, <32, 19>, <40, 5>, <48, 1> 
    ]>,
    <6, 183, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 184, [ <0, 1>, <8, 1>, <16, 13>, <24, 34>, <32, 13>, <40, 1>, <48, 1> 
    ]>,
    <6, 185, [ <0, 1>, <8, 3>, <16, 11>, <24, 34>, <32, 11>, <40, 3>, <48, 1> 
    ]>,
    <6, 186, [ <0, 1>, <8, 2>, <16, 9>, <24, 40>, <32, 9>, <40, 2>, <48, 1> ]>,
    <6, 187, [ <0, 1>, <8, 3>, <16, 15>, <24, 26>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <6, 188, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 189, [ <0, 1>, <8, 2>, <16, 15>, <24, 28>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <6, 190, [ <0, 1>, <8, 2>, <16, 21>, <24, 16>, <32, 21>, <40, 2>, <48, 1> 
    ]>,
    <6, 191, [ <0, 1>, <8, 1>, <16, 11>, <24, 38>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <6, 192, [ <0, 1>, <8, 3>, <16, 11>, <24, 34>, <32, 11>, <40, 3>, <48, 1> 
    ]>,
    <6, 193, [ <0, 1>, <8, 3>, <16, 7>, <24, 42>, <32, 7>, <40, 3>, <48, 1> ]>,
    <6, 194, [ <0, 1>, <8, 7>, <16, 3>, <24, 42>, <32, 3>, <40, 7>, <48, 1> ]>,
    <6, 195, [ <0, 1>, <8, 9>, <16, 15>, <24, 14>, <32, 15>, <40, 9>, <48, 1> 
    ]>,
    <6, 196, [ <0, 1>, <8, 3>, <16, 23>, <24, 10>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <6, 197, [ <0, 1>, <8, 3>, <16, 11>, <24, 34>, <32, 11>, <40, 3>, <48, 1> 
    ]>,
    <6, 198, [ <0, 1>, <8, 3>, <16, 7>, <24, 42>, <32, 7>, <40, 3>, <48, 1> ]>,
    <6, 199, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 200, [ <0, 1>, <8, 1>, <16, 23>, <24, 14>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <6, 201, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 202, [ <0, 1>, <8, 1>, <16, 11>, <24, 38>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <6, 203, [ <0, 1>, <8, 3>, <16, 15>, <24, 26>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <6, 204, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 205, [ <0, 1>, <8, 1>, <16, 11>, <24, 38>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <6, 206, [ <0, 1>, <8, 3>, <16, 15>, <24, 26>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <6, 207, [ <0, 1>, <8, 1>, <16, 11>, <24, 38>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <6, 208, [ <0, 1>, <8, 1>, <16, 9>, <24, 42>, <32, 9>, <40, 1>, <48, 1> ]>,
    <6, 209, [ <0, 1>, <8, 2>, <16, 7>, <24, 44>, <32, 7>, <40, 2>, <48, 1> ]>,
    <6, 210, [ <0, 1>, <8, 2>, <16, 9>, <24, 40>, <32, 9>, <40, 2>, <48, 1> ]>,
    <6, 211, [ <0, 1>, <8, 3>, <16, 15>, <24, 26>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <6, 212, [ <0, 1>, <8, 1>, <16, 17>, <24, 26>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <6, 213, [ <0, 1>, <8, 5>, <16, 15>, <24, 22>, <32, 15>, <40, 5>, <48, 1> 
    ]>,
    <6, 214, [ <0, 1>, <8, 2>, <16, 11>, <24, 36>, <32, 11>, <40, 2>, <48, 1> 
    ]>,
    <6, 215, [ <0, 1>, <8, 1>, <16, 11>, <24, 38>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <6, 216, [ <0, 1>, <8, 2>, <16, 7>, <24, 44>, <32, 7>, <40, 2>, <48, 1> ]>,
    <6, 217, [ <0, 1>, <8, 2>, <16, 9>, <24, 40>, <32, 9>, <40, 2>, <48, 1> ]>,
    <6, 218, [ <0, 1>, <8, 1>, <16, 9>, <24, 42>, <32, 9>, <40, 1>, <48, 1> ]>,
    <6, 219, [ <0, 1>, <8, 3>, <16, 3>, <24, 50>, <32, 3>, <40, 3>, <48, 1> ]>,
    <6, 220, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 221, [ <0, 1>, <8, 1>, <16, 13>, <24, 34>, <32, 13>, <40, 1>, <48, 1> 
    ]>,
    <6, 222, [ <0, 1>, <8, 1>, <16, 11>, <24, 38>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <6, 223, [ <0, 1>, <8, 3>, <16, 9>, <24, 38>, <32, 9>, <40, 3>, <48, 1> ]>,
    <6, 224, [ <0, 1>, <8, 2>, <16, 11>, <24, 36>, <32, 11>, <40, 2>, <48, 1> 
    ]>,
    <6, 225, [ <0, 1>, <8, 1>, <16, 9>, <24, 42>, <32, 9>, <40, 1>, <48, 1> ]>,
    <6, 226, [ <0, 1>, <8, 3>, <16, 7>, <24, 42>, <32, 7>, <40, 3>, <48, 1> ]>,
    <6, 227, [ <0, 1>, <8, 1>, <16, 11>, <24, 38>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <6, 228, [ <0, 1>, <8, 1>, <16, 9>, <24, 42>, <32, 9>, <40, 1>, <48, 1> ]>,
    <6, 229, [ <0, 1>, <8, 1>, <16, 9>, <24, 42>, <32, 9>, <40, 1>, <48, 1> ]>,
    <6, 230, [ <0, 1>, <8, 1>, <16, 7>, <24, 46>, <32, 7>, <40, 1>, <48, 1> ]>,
    <6, 231, [ <0, 1>, <8, 2>, <16, 5>, <24, 48>, <32, 5>, <40, 2>, <48, 1> ]>,
    <6, 232, [ <0, 1>, <8, 1>, <16, 7>, <24, 46>, <32, 7>, <40, 1>, <48, 1> ]>,
    <6, 233, [ <0, 1>, <8, 3>, <16, 5>, <24, 46>, <32, 5>, <40, 3>, <48, 1> ]>,
    <6, 234, [ <0, 1>, <8, 1>, <16, 11>, <24, 38>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <6, 235, [ <0, 1>, <8, 2>, <16, 15>, <24, 28>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <6, 236, [ <0, 1>, <8, 1>, <16, 7>, <24, 46>, <32, 7>, <40, 1>, <48, 1> ]>,
    <6, 237, [ <0, 1>, <8, 1>, <16, 19>, <24, 22>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <6, 238, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 239, [ <0, 1>, <8, 3>, <16, 7>, <24, 42>, <32, 7>, <40, 3>, <48, 1> ]>,
    <6, 240, [ <0, 1>, <8, 3>, <16, 15>, <24, 26>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <6, 241, [ <0, 1>, <8, 1>, <16, 19>, <24, 22>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <6, 242, [ <0, 1>, <8, 1>, <16, 17>, <24, 26>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <6, 243, [ <0, 1>, <8, 1>, <16, 13>, <24, 34>, <32, 13>, <40, 1>, <48, 1> 
    ]>,
    <6, 244, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 245, [ <0, 1>, <8, 3>, <16, 19>, <24, 18>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <6, 246, [ <0, 1>, <8, 1>, <16, 21>, <24, 18>, <32, 21>, <40, 1>, <48, 1> 
    ]>,
    <6, 247, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 248, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 249, [ <0, 1>, <8, 2>, <16, 21>, <24, 16>, <32, 21>, <40, 2>, <48, 1> 
    ]>,
    <6, 250, [ <0, 1>, <8, 1>, <16, 11>, <24, 38>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <6, 251, [ <0, 1>, <8, 1>, <16, 19>, <24, 22>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <6, 252, [ <0, 1>, <8, 1>, <16, 11>, <24, 38>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <6, 253, [ <0, 1>, <8, 2>, <16, 19>, <24, 20>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <6, 254, [ <0, 1>, <8, 2>, <16, 15>, <24, 28>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <6, 255, [ <0, 1>, <8, 3>, <16, 19>, <24, 18>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <6, 256, [ <0, 1>, <8, 1>, <16, 19>, <24, 22>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <6, 257, [ <0, 1>, <8, 3>, <16, 3>, <24, 50>, <32, 3>, <40, 3>, <48, 1> ]>,
    <6, 258, [ <0, 1>, <8, 2>, <16, 19>, <24, 20>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <6, 259, [ <0, 1>, <8, 4>, <16, 23>, <24, 8>, <32, 23>, <40, 4>, <48, 1> ]>,
    <6, 260, [ <0, 1>, <8, 2>, <16, 11>, <24, 36>, <32, 11>, <40, 2>, <48, 1> 
    ]>,
    <6, 261, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 262, [ <0, 1>, <8, 6>, <16, 19>, <24, 12>, <32, 19>, <40, 6>, <48, 1> 
    ]>,
    <6, 263, [ <0, 1>, <8, 3>, <16, 15>, <24, 26>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <6, 264, [ <0, 1>, <8, 2>, <16, 19>, <24, 20>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <6, 265, [ <0, 1>, <8, 2>, <16, 15>, <24, 28>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <6, 266, [ <0, 1>, <8, 4>, <16, 15>, <24, 24>, <32, 15>, <40, 4>, <48, 1> 
    ]>,
    <6, 267, [ <0, 1>, <8, 2>, <16, 11>, <24, 36>, <32, 11>, <40, 2>, <48, 1> 
    ]>,
    <6, 268, [ <0, 1>, <8, 2>, <16, 19>, <24, 20>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <6, 269, [ <0, 1>, <8, 2>, <16, 15>, <24, 28>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <6, 270, [ <0, 1>, <8, 1>, <16, 19>, <24, 22>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <6, 271, [ <0, 1>, <8, 4>, <16, 15>, <24, 24>, <32, 15>, <40, 4>, <48, 1> 
    ]>,
    <6, 272, [ <0, 1>, <8, 6>, <16, 15>, <24, 20>, <32, 15>, <40, 6>, <48, 1> 
    ]>,
    <6, 273, [ <0, 1>, <8, 4>, <16, 7>, <24, 40>, <32, 7>, <40, 4>, <48, 1> ]>,
    <6, 274, [ <0, 1>, <8, 4>, <16, 15>, <24, 24>, <32, 15>, <40, 4>, <48, 1> 
    ]>,
    <6, 275, [ <0, 1>, <8, 2>, <16, 15>, <24, 28>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <6, 276, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 277, [ <0, 1>, <8, 1>, <16, 5>, <24, 50>, <32, 5>, <40, 1>, <48, 1> ]>,
    <6, 278, [ <0, 1>, <8, 1>, <16, 7>, <24, 46>, <32, 7>, <40, 1>, <48, 1> ]>,
    <6, 279, [ <0, 1>, <8, 2>, <16, 3>, <24, 52>, <32, 3>, <40, 2>, <48, 1> ]>,
    <6, 280, [ <0, 1>, <8, 1>, <16, 11>, <24, 38>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <6, 281, [ <0, 1>, <8, 1>, <16, 7>, <24, 46>, <32, 7>, <40, 1>, <48, 1> ]>,
    <6, 282, [ <0, 1>, <8, 2>, <16, 7>, <24, 44>, <32, 7>, <40, 2>, <48, 1> ]>,
    <6, 283, [ <0, 1>, <8, 3>, <16, 15>, <24, 26>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <6, 284, [ <0, 1>, <8, 1>, <16, 19>, <24, 22>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <6, 285, [ <0, 1>, <8, 1>, <16, 3>, <24, 54>, <32, 3>, <40, 1>, <48, 1> ]>,
    <6, 286, [ <0, 1>, <8, 7>, <16, 23>, <24, 2>, <32, 23>, <40, 7>, <48, 1> ]>,
    <6, 287, [ <0, 1>, <8, 3>, <16, 27>, <24, 2>, <32, 27>, <40, 3>, <48, 1> ]>,
    <6, 288, [ <0, 1>, <8, 9>, <16, 19>, <24, 6>, <32, 19>, <40, 9>, <48, 1> ]>,
    <6, 289, [ <0, 1>, <8, 6>, <16, 21>, <24, 8>, <32, 21>, <40, 6>, <48, 1> ]>,
    <6, 290, [ <0, 1>, <8, 6>, <16, 13>, <24, 24>, <32, 13>, <40, 6>, <48, 1> 
    ]>,
    <6, 291, [ <0, 1>, <8, 7>, <16, 15>, <24, 18>, <32, 15>, <40, 7>, <48, 1> 
    ]>,
    <6, 292, [ <0, 1>, <8, 7>, <16, 15>, <24, 18>, <32, 15>, <40, 7>, <48, 1> 
    ]>,
    <6, 293, [ <0, 1>, <8, 7>, <16, 7>, <24, 34>, <32, 7>, <40, 7>, <48, 1> ]>,
    <6, 294, [ <0, 1>, <8, 6>, <16, 11>, <24, 28>, <32, 11>, <40, 6>, <48, 1> 
    ]>,
    <6, 295, [ <0, 1>, <8, 8>, <16, 15>, <24, 16>, <32, 15>, <40, 8>, <48, 1> 
    ]>,
    <6, 296, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 297, [ <0, 1>, <8, 7>, <16, 11>, <24, 26>, <32, 11>, <40, 7>, <48, 1> 
    ]>,
    <6, 298, [ <0, 1>, <8, 6>, <16, 5>, <24, 40>, <32, 5>, <40, 6>, <48, 1> ]>,
    <6, 299, [ <0, 1>, <8, 6>, <16, 11>, <24, 28>, <32, 11>, <40, 6>, <48, 1> 
    ]>,
    <6, 300, [ <0, 1>, <8, 6>, <16, 3>, <24, 44>, <32, 3>, <40, 6>, <48, 1> ]>,
    <6, 301, [ <0, 1>, <8, 6>, <16, 7>, <24, 36>, <32, 7>, <40, 6>, <48, 1> ]>,
    <6, 302, [ <0, 1>, <8, 3>, <16, 17>, <24, 22>, <32, 17>, <40, 3>, <48, 1> 
    ]>,
    <6, 303, [ <0, 1>, <8, 4>, <16, 19>, <24, 16>, <32, 19>, <40, 4>, <48, 1> 
    ]>,
    <6, 304, [ <0, 1>, <8, 3>, <16, 15>, <24, 26>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <6, 305, [ <0, 1>, <8, 3>, <16, 9>, <24, 38>, <32, 9>, <40, 3>, <48, 1> ]>,
    <6, 306, [ <0, 1>, <8, 1>, <16, 27>, <24, 6>, <32, 27>, <40, 1>, <48, 1> ]>,
    <6, 307, [ <0, 1>, <8, 7>, <16, 15>, <24, 18>, <32, 15>, <40, 7>, <48, 1> 
    ]>,
    <6, 308, [ <0, 1>, <8, 6>, <16, 19>, <24, 12>, <32, 19>, <40, 6>, <48, 1> 
    ]>,
    <6, 309, [ <0, 1>, <8, 2>, <16, 19>, <24, 20>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <6, 310, [ <0, 1>, <8, 2>, <16, 27>, <24, 4>, <32, 27>, <40, 2>, <48, 1> ]>,
    <6, 311, [ <0, 1>, <8, 1>, <16, 23>, <24, 14>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <6, 312, [ <0, 1>, <8, 2>, <16, 15>, <24, 28>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <6, 313, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 314, [ <0, 1>, <8, 10>, <16, 21>, <32, 21>, <40, 10>, <48, 1> ]>,
    <6, 315, [ <0, 1>, <8, 11>, <16, 15>, <24, 10>, <32, 15>, <40, 11>, <48, 1> 
    ]>,
    <6, 316, [ <0, 1>, <8, 10>, <16, 11>, <24, 20>, <32, 11>, <40, 10>, <48, 1> 
    ]>,
    <6, 317, [ <0, 1>, <8, 10>, <16, 5>, <24, 32>, <32, 5>, <40, 10>, <48, 1> 
    ]>,
    <6, 318, [ <0, 1>, <8, 3>, <16, 9>, <24, 38>, <32, 9>, <40, 3>, <48, 1> ]>,
    <6, 319, [ <0, 1>, <8, 4>, <16, 7>, <24, 40>, <32, 7>, <40, 4>, <48, 1> ]>,
    <6, 320, [ <0, 1>, <8, 1>, <16, 9>, <24, 42>, <32, 9>, <40, 1>, <48, 1> ]>,
    <6, 321, [ <0, 1>, <8, 2>, <16, 7>, <24, 44>, <32, 7>, <40, 2>, <48, 1> ]>,
    <6, 322, [ <0, 1>, <8, 3>, <16, 5>, <24, 46>, <32, 5>, <40, 3>, <48, 1> ]>,
    <6, 323, [ <0, 1>, <8, 4>, <16, 11>, <24, 32>, <32, 11>, <40, 4>, <48, 1> 
    ]>,
    <6, 324, [ <0, 1>, <8, 4>, <16, 3>, <24, 48>, <32, 3>, <40, 4>, <48, 1> ]>,
    <6, 325, [ <0, 1>, <8, 1>, <16, 7>, <24, 46>, <32, 7>, <40, 1>, <48, 1> ]>,
    <6, 326, [ <0, 1>, <8, 2>, <16, 5>, <24, 48>, <32, 5>, <40, 2>, <48, 1> ]>,
    <6, 327, [ <0, 1>, <8, 2>, <16, 13>, <24, 32>, <32, 13>, <40, 2>, <48, 1> 
    ]>,
    <6, 328, [ <0, 1>, <8, 3>, <16, 7>, <24, 42>, <32, 7>, <40, 3>, <48, 1> ]>,
    <6, 329, [ <0, 1>, <8, 1>, <16, 9>, <24, 42>, <32, 9>, <40, 1>, <48, 1> ]>,
    <6, 330, [ <0, 1>, <8, 2>, <16, 7>, <24, 44>, <32, 7>, <40, 2>, <48, 1> ]>,
    <6, 331, [ <0, 1>, <8, 1>, <16, 7>, <24, 46>, <32, 7>, <40, 1>, <48, 1> ]>,
    <6, 332, [ <0, 1>, <8, 3>, <16, 1>, <24, 54>, <32, 1>, <40, 3>, <48, 1> ]>,
    <6, 333, [ <0, 1>, <8, 1>, <16, 7>, <24, 46>, <32, 7>, <40, 1>, <48, 1> ]>,
    <6, 334, [ <0, 1>, <8, 1>, <16, 9>, <24, 42>, <32, 9>, <40, 1>, <48, 1> ]>,
    <6, 335, [ <0, 1>, <8, 2>, <16, 11>, <24, 36>, <32, 11>, <40, 2>, <48, 1> 
    ]>,
    <6, 336, [ <0, 1>, <8, 1>, <16, 5>, <24, 50>, <32, 5>, <40, 1>, <48, 1> ]>,
    <6, 337, [ <0, 1>, <8, 2>, <16, 3>, <24, 52>, <32, 3>, <40, 2>, <48, 1> ]>,
    <6, 338, [ <0, 1>, <8, 7>, <16, 1>, <24, 46>, <32, 1>, <40, 7>, <48, 1> ]>,
    <6, 339, [ <0, 1>, <8, 8>, <16, 7>, <24, 32>, <32, 7>, <40, 8>, <48, 1> ]>,
    <6, 340, [ <0, 1>, <8, 7>, <16, 7>, <24, 34>, <32, 7>, <40, 7>, <48, 1> ]>,
    <6, 341, [ <0, 1>, <8, 3>, <16, 9>, <24, 38>, <32, 9>, <40, 3>, <48, 1> ]>,
    <6, 342, [ <0, 1>, <8, 1>, <16, 7>, <24, 46>, <32, 7>, <40, 1>, <48, 1> ]>,
    <6, 343, [ <0, 1>, <8, 3>, <16, 11>, <24, 34>, <32, 11>, <40, 3>, <48, 1> 
    ]>,
    <6, 344, [ <0, 1>, <8, 3>, <16, 3>, <24, 50>, <32, 3>, <40, 3>, <48, 1> ]>,
    <6, 345, [ <0, 1>, <8, 1>, <16, 13>, <24, 34>, <32, 13>, <40, 1>, <48, 1> 
    ]>,
    <6, 346, [ <0, 1>, <8, 1>, <16, 5>, <24, 50>, <32, 5>, <40, 1>, <48, 1> ]>,
    <6, 347, [ <0, 1>, <8, 1>, <16, 11>, <24, 38>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <6, 348, [ <0, 1>, <8, 2>, <16, 9>, <24, 40>, <32, 9>, <40, 2>, <48, 1> ]>,
    <6, 349, [ <0, 1>, <8, 1>, <16, 9>, <24, 42>, <32, 9>, <40, 1>, <48, 1> ]>,
    <6, 350, [ <0, 1>, <8, 2>, <16, 7>, <24, 44>, <32, 7>, <40, 2>, <48, 1> ]>,
    <6, 351, [ <0, 1>, <8, 1>, <16, 5>, <24, 50>, <32, 5>, <40, 1>, <48, 1> ]>,
    <6, 352, [ <0, 1>, <8, 1>, <16, 3>, <24, 54>, <32, 3>, <40, 1>, <48, 1> ]>,
    <6, 353, [ <0, 1>, <8, 2>, <16, 1>, <24, 56>, <32, 1>, <40, 2>, <48, 1> ]>,
    <6, 354, [ <0, 1>, <8, 1>, <16, 5>, <24, 50>, <32, 5>, <40, 1>, <48, 1> ]>,
    <6, 355, [ <0, 1>, <8, 1>, <16, 7>, <24, 46>, <32, 7>, <40, 1>, <48, 1> ]>,
    <6, 356, [ <0, 1>, <8, 1>, <16, 1>, <24, 58>, <32, 1>, <40, 1>, <48, 1> ]>,
    <6, 357, [ <0, 1>, <8, 1>, <16, 3>, <24, 54>, <32, 3>, <40, 1>, <48, 1> ]>,
    <6, 358, [ <0, 1>, <8, 1>, <16, 13>, <24, 34>, <32, 13>, <40, 1>, <48, 1> 
    ]>,
    <6, 359, [ <0, 1>, <8, 6>, <16, 9>, <24, 32>, <32, 9>, <40, 6>, <48, 1> ]>,
    <6, 360, [ <0, 1>, <8, 6>, <16, 1>, <24, 48>, <32, 1>, <40, 6>, <48, 1> ]>,
    <6, 361, [ <0, 1>, <8, 15>, <16, 15>, <24, 2>, <32, 15>, <40, 15>, <48, 1> 
    ]>,
    <6, 362, [ <0, 1>, <8, 4>, <16, 23>, <24, 8>, <32, 23>, <40, 4>, <48, 1> ]>,
    <6, 363, [ <0, 1>, <8, 6>, <16, 15>, <24, 20>, <32, 15>, <40, 6>, <48, 1> 
    ]>,
    <6, 364, [ <0, 1>, <8, 2>, <16, 23>, <24, 12>, <32, 23>, <40, 2>, <48, 1> 
    ]>,
    <6, 365, [ <0, 1>, <8, 6>, <16, 25>, <32, 25>, <40, 6>, <48, 1> ]>,
    <6, 366, [ <0, 1>, <8, 4>, <16, 27>, <32, 27>, <40, 4>, <48, 1> ]>,
    <6, 367, [ <0, 1>, <8, 3>, <16, 27>, <24, 2>, <32, 27>, <40, 3>, <48, 1> ]>,
    <6, 368, [ <0, 1>, <8, 2>, <16, 29>, <32, 29>, <40, 2>, <48, 1> ]>,
    <6, 369, [ <0, 1>, <8, 3>, <16, 25>, <24, 6>, <32, 25>, <40, 3>, <48, 1> ]>,
    <6, 370, [ <0, 1>, <8, 2>, <16, 27>, <24, 4>, <32, 27>, <40, 2>, <48, 1> ]>,
    <6, 371, [ <0, 1>, <8, 1>, <16, 29>, <24, 2>, <32, 29>, <40, 1>, <48, 1> ]>,
    <6, 372, [ <0, 1>, <16, 31>, <32, 31>, <48, 1> ]>,
    <6, 373, [ <0, 1>, <8, 4>, <16, 15>, <24, 24>, <32, 15>, <40, 4>, <48, 1> 
    ]>,
    <6, 374, [ <0, 1>, <8, 3>, <16, 15>, <24, 26>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <6, 375, [ <0, 1>, <8, 2>, <16, 17>, <24, 24>, <32, 17>, <40, 2>, <48, 1> 
    ]>,
    <6, 376, [ <0, 1>, <8, 3>, <16, 13>, <24, 30>, <32, 13>, <40, 3>, <48, 1> 
    ]>,
    <6, 377, [ <0, 1>, <8, 2>, <16, 15>, <24, 28>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <6, 378, [ <0, 1>, <8, 2>, <16, 15>, <24, 28>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <6, 379, [ <0, 1>, <8, 1>, <16, 17>, <24, 26>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <6, 380, [ <0, 1>, <8, 1>, <16, 17>, <24, 26>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <6, 381, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 382, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 383, [ <0, 1>, <16, 17>, <24, 28>, <32, 17>, <48, 1> ]>,
    <6, 384, [ <0, 1>, <8, 1>, <16, 17>, <24, 26>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <6, 385, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 386, [ <0, 1>, <16, 17>, <24, 28>, <32, 17>, <48, 1> ]>,
    <6, 387, [ <0, 1>, <8, 2>, <16, 15>, <24, 28>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <6, 388, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 389, [ <0, 1>, <8, 1>, <16, 13>, <24, 34>, <32, 13>, <40, 1>, <48, 1> 
    ]>,
    <6, 390, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 391, [ <0, 1>, <16, 17>, <24, 28>, <32, 17>, <48, 1> ]>,
    <6, 392, [ <0, 1>, <16, 15>, <24, 32>, <32, 15>, <48, 1> ]>,
    <6, 393, [ <0, 1>, <8, 2>, <16, 11>, <24, 36>, <32, 11>, <40, 2>, <48, 1> 
    ]>,
    <6, 394, [ <0, 1>, <8, 1>, <16, 11>, <24, 38>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <6, 395, [ <0, 1>, <16, 13>, <24, 36>, <32, 13>, <48, 1> ]>,
    <6, 396, [ <0, 1>, <8, 1>, <16, 9>, <24, 42>, <32, 9>, <40, 1>, <48, 1> ]>,
    <6, 397, [ <0, 1>, <8, 1>, <16, 9>, <24, 42>, <32, 9>, <40, 1>, <48, 1> ]>,
    <6, 398, [ <0, 1>, <8, 1>, <16, 9>, <24, 42>, <32, 9>, <40, 1>, <48, 1> ]>,
    <6, 399, [ <0, 1>, <16, 11>, <24, 40>, <32, 11>, <48, 1> ]>,
    <6, 400, [ <0, 1>, <16, 11>, <24, 40>, <32, 11>, <48, 1> ]>,
    <6, 401, [ <0, 1>, <16, 9>, <24, 44>, <32, 9>, <48, 1> ]>,
    <6, 402, [ <0, 1>, <16, 13>, <24, 36>, <32, 13>, <48, 1> ]>,
    <6, 403, [ <0, 1>, <8, 1>, <16, 11>, <24, 38>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <6, 404, [ <0, 1>, <16, 11>, <24, 40>, <32, 11>, <48, 1> ]>,
    <6, 405, [ <0, 1>, <16, 9>, <24, 44>, <32, 9>, <48, 1> ]>,
    <6, 406, [ <0, 1>, <8, 16>, <16, 15>, <32, 15>, <40, 16>, <48, 1> ]>,
    <6, 407, [ <0, 1>, <8, 8>, <16, 23>, <32, 23>, <40, 8>, <48, 1> ]>,
    <6, 408, [ <0, 1>, <8, 4>, <16, 23>, <24, 8>, <32, 23>, <40, 4>, <48, 1> ]>,
    <6, 409, [ <0, 1>, <8, 8>, <16, 15>, <24, 16>, <32, 15>, <40, 8>, <48, 1> 
    ]>,
    <6, 410, [ <0, 1>, <8, 15>, <16, 1>, <24, 30>, <32, 1>, <40, 15>, <48, 1> 
    ]>,
    <6, 411, [ <0, 1>, <8, 7>, <16, 17>, <24, 14>, <32, 17>, <40, 7>, <48, 1> 
    ]>,
    <6, 412, [ <0, 1>, <8, 2>, <16, 19>, <24, 20>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <6, 413, [ <0, 1>, <8, 4>, <16, 15>, <24, 24>, <32, 15>, <40, 4>, <48, 1> 
    ]>,
    <6, 414, [ <0, 1>, <8, 7>, <16, 9>, <24, 30>, <32, 9>, <40, 7>, <48, 1> ]>,
    <6, 415, [ <0, 1>, <8, 3>, <16, 17>, <24, 22>, <32, 17>, <40, 3>, <48, 1> 
    ]>,
    <6, 416, [ <0, 1>, <8, 1>, <16, 21>, <24, 18>, <32, 21>, <40, 1>, <48, 1> 
    ]>,
    <6, 417, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 418, [ <0, 1>, <8, 2>, <16, 15>, <24, 28>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <6, 419, [ <0, 1>, <8, 4>, <16, 15>, <24, 24>, <32, 15>, <40, 4>, <48, 1> 
    ]>,
    <6, 420, [ <0, 1>, <8, 3>, <16, 17>, <24, 22>, <32, 17>, <40, 3>, <48, 1> 
    ]>,
    <6, 421, [ <0, 1>, <8, 1>, <16, 17>, <24, 26>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <6, 422, [ <0, 1>, <8, 3>, <16, 9>, <24, 38>, <32, 9>, <40, 3>, <48, 1> ]>,
    <6, 423, [ <0, 1>, <16, 17>, <24, 28>, <32, 17>, <48, 1> ]>,
    <6, 424, [ <0, 1>, <8, 1>, <16, 13>, <24, 34>, <32, 13>, <40, 1>, <48, 1> 
    ]>,
    <6, 425, [ <0, 1>, <8, 7>, <16, 17>, <24, 14>, <32, 17>, <40, 7>, <48, 1> 
    ]>,
    <6, 426, [ <0, 1>, <8, 3>, <16, 17>, <24, 22>, <32, 17>, <40, 3>, <48, 1> 
    ]>,
    <6, 427, [ <0, 1>, <8, 15>, <16, 15>, <24, 2>, <32, 15>, <40, 15>, <48, 1> 
    ]>,
    <6, 428, [ <0, 1>, <8, 7>, <16, 15>, <24, 18>, <32, 15>, <40, 7>, <48, 1> 
    ]>,
    <6, 429, [ <0, 1>, <8, 3>, <16, 15>, <24, 26>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <6, 430, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 431, [ <0, 1>, <8, 1>, <16, 21>, <24, 18>, <32, 21>, <40, 1>, <48, 1> 
    ]>,
    <6, 432, [ <0, 1>, <16, 17>, <24, 28>, <32, 17>, <48, 1> ]>,
    <6, 433, [ <0, 1>, <8, 1>, <16, 13>, <24, 34>, <32, 13>, <40, 1>, <48, 1> 
    ]>,
    <6, 434, [ <0, 1>, <16, 13>, <24, 36>, <32, 13>, <48, 1> ]>,
    <6, 435, [ <0, 1>, <8, 1>, <16, 9>, <24, 42>, <32, 9>, <40, 1>, <48, 1> ]>,
    <6, 436, [ <0, 1>, <8, 3>, <16, 25>, <24, 6>, <32, 25>, <40, 3>, <48, 1> ]>,
    <6, 437, [ <0, 1>, <8, 1>, <16, 17>, <24, 26>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <6, 438, [ <0, 1>, <8, 7>, <16, 23>, <24, 2>, <32, 23>, <40, 7>, <48, 1> ]>,
    <6, 439, [ <0, 1>, <8, 3>, <16, 23>, <24, 10>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <6, 440, [ <0, 1>, <8, 1>, <16, 19>, <24, 22>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <6, 441, [ <0, 1>, <8, 3>, <16, 15>, <24, 26>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <6, 442, [ <0, 1>, <16, 15>, <24, 32>, <32, 15>, <48, 1> ]>,
    <6, 443, [ <0, 1>, <8, 1>, <16, 15>, <24, 30>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <6, 444, [ <0, 1>, <8, 2>, <16, 25>, <24, 8>, <32, 25>, <40, 2>, <48, 1> ]>,
    <6, 445, [ <0, 1>, <8, 1>, <16, 29>, <24, 2>, <32, 29>, <40, 1>, <48, 1> ]>,
    <6, 446, [ <0, 1>, <8, 1>, <16, 27>, <24, 6>, <32, 27>, <40, 1>, <48, 1> ]>,
    <6, 447, [ <0, 1>, <16, 29>, <24, 4>, <32, 29>, <48, 1> ]>,
    <6, 448, [ <0, 1>, <16, 17>, <24, 28>, <32, 17>, <48, 1> ]>,
    <6, 449, [ <0, 1>, <16, 17>, <24, 28>, <32, 17>, <48, 1> ]>,
    <6, 450, [ <0, 1>, <16, 15>, <24, 32>, <32, 15>, <48, 1> ]>,
    <6, 451, [ <0, 1>, <8, 15>, <16, 15>, <24, 2>, <32, 15>, <40, 15>, <48, 1> 
    ]>,
    <6, 452, [ <0, 1>, <8, 14>, <16, 3>, <24, 28>, <32, 3>, <40, 14>, <48, 1> 
    ]>,
    <6, 453, [ <0, 1>, <8, 30>, <16, 1>, <32, 1>, <40, 30>, <48, 1> ]>,
    <6, 454, [ <0, 1>, <8, 14>, <16, 17>, <32, 17>, <40, 14>, <48, 1> ]>,
    <6, 455, [ <0, 1>, <8, 6>, <16, 17>, <24, 16>, <32, 17>, <40, 6>, <48, 1> 
    ]>,
    <6, 456, [ <0, 1>, <8, 14>, <16, 1>, <24, 32>, <32, 1>, <40, 14>, <48, 1> 
    ]>,
    <6, 457, [ <0, 1>, <16, 21>, <24, 20>, <32, 21>, <48, 1> ]>,
    <6, 458, [ <0, 1>, <8, 2>, <16, 17>, <24, 24>, <32, 17>, <40, 2>, <48, 1> ]>
]