[
    <7, 1, [ <0, 1>, <16, 17>, <24, 92>, <32, 17>, <48, 1> ]>,
    <7, 2, [ <0, 1>, <16, 13>, <24, 100>, <32, 13>, <48, 1> ]>,
    <7, 3, [ <0, 1>, <16, 21>, <24, 84>, <32, 21>, <48, 1> ]>,
    <7, 4, [ <0, 1>, <16, 13>, <24, 100>, <32, 13>, <48, 1> ]>,
    <7, 5, [ <0, 1>, <16, 9>, <24, 108>, <32, 9>, <48, 1> ]>,
    <7, 6, [ <0, 1>, <16, 9>, <24, 108>, <32, 9>, <48, 1> ]>,
    <7, 7, [ <0, 1>, <16, 45>, <24, 36>, <32, 45>, <48, 1> ]>,
    <7, 8, [ <0, 1>, <16, 47>, <24, 32>, <32, 47>, <48, 1> ]>,
    <7, 9, [ <0, 1>, <16, 37>, <24, 52>, <32, 37>, <48, 1> ]>,
    <7, 10, [ <0, 1>, <16, 39>, <24, 48>, <32, 39>, <48, 1> ]>,
    <7, 11, [ <0, 1>, <16, 35>, <24, 56>, <32, 35>, <48, 1> ]>,
    <7, 12, [ <0, 1>, <16, 33>, <24, 60>, <32, 33>, <48, 1> ]>,
    <7, 13, [ <0, 1>, <16, 33>, <24, 60>, <32, 33>, <48, 1> ]>,
    <7, 14, [ <0, 1>, <16, 31>, <24, 64>, <32, 31>, <48, 1> ]>,
    <7, 15, [ <0, 1>, <16, 35>, <24, 56>, <32, 35>, <48, 1> ]>,
    <7, 16, [ <0, 1>, <16, 29>, <24, 68>, <32, 29>, <48, 1> ]>,
    <7, 17, [ <0, 1>, <16, 39>, <24, 48>, <32, 39>, <48, 1> ]>,
    <7, 18, [ <0, 1>, <16, 31>, <24, 64>, <32, 31>, <48, 1> ]>,
    <7, 19, [ <0, 1>, <16, 31>, <24, 64>, <32, 31>, <48, 1> ]>,
    <7, 20, [ <0, 1>, <16, 39>, <24, 48>, <32, 39>, <48, 1> ]>,
    <7, 21, [ <0, 1>, <16, 33>, <24, 60>, <32, 33>, <48, 1> ]>,
    <7, 22, [ <0, 1>, <16, 27>, <24, 72>, <32, 27>, <48, 1> ]>,
    <7, 23, [ <0, 1>, <16, 29>, <24, 68>, <32, 29>, <48, 1> ]>,
    <7, 24, [ <0, 1>, <16, 31>, <24, 64>, <32, 31>, <48, 1> ]>,
    <7, 25, [ <0, 1>, <16, 35>, <24, 56>, <32, 35>, <48, 1> ]>,
    <7, 26, [ <0, 1>, <16, 27>, <24, 72>, <32, 27>, <48, 1> ]>,
    <7, 27, [ <0, 1>, <16, 31>, <24, 64>, <32, 31>, <48, 1> ]>,
    <7, 28, [ <0, 1>, <16, 29>, <24, 68>, <32, 29>, <48, 1> ]>,
    <7, 29, [ <0, 1>, <16, 25>, <24, 76>, <32, 25>, <48, 1> ]>,
    <7, 30, [ <0, 1>, <16, 25>, <24, 76>, <32, 25>, <48, 1> ]>,
    <7, 31, [ <0, 1>, <16, 27>, <24, 72>, <32, 27>, <48, 1> ]>,
    <7, 32, [ <0, 1>, <16, 29>, <24, 68>, <32, 29>, <48, 1> ]>,
    <7, 33, [ <0, 1>, <16, 31>, <24, 64>, <32, 31>, <48, 1> ]>,
    <7, 34, [ <0, 1>, <16, 25>, <24, 76>, <32, 25>, <48, 1> ]>,
    <7, 35, [ <0, 1>, <16, 27>, <24, 72>, <32, 27>, <48, 1> ]>,
    <7, 36, [ <0, 1>, <16, 29>, <24, 68>, <32, 29>, <48, 1> ]>,
    <7, 37, [ <0, 1>, <16, 27>, <24, 72>, <32, 27>, <48, 1> ]>,
    <7, 38, [ <0, 1>, <16, 23>, <24, 80>, <32, 23>, <48, 1> ]>,
    <7, 39, [ <0, 1>, <16, 27>, <24, 72>, <32, 27>, <48, 1> ]>,
    <7, 40, [ <0, 1>, <16, 35>, <24, 56>, <32, 35>, <48, 1> ]>,
    <7, 41, [ <0, 1>, <16, 23>, <24, 80>, <32, 23>, <48, 1> ]>,
    <7, 42, [ <0, 1>, <16, 21>, <24, 84>, <32, 21>, <48, 1> ]>,
    <7, 43, [ <0, 1>, <16, 21>, <24, 84>, <32, 21>, <48, 1> ]>,
    <7, 44, [ <0, 1>, <16, 23>, <24, 80>, <32, 23>, <48, 1> ]>,
    <7, 45, [ <0, 1>, <16, 31>, <24, 64>, <32, 31>, <48, 1> ]>,
    <7, 46, [ <0, 1>, <16, 21>, <24, 84>, <32, 21>, <48, 1> ]>,
    <7, 47, [ <0, 1>, <16, 23>, <24, 80>, <32, 23>, <48, 1> ]>,
    <7, 48, [ <0, 1>, <16, 25>, <24, 76>, <32, 25>, <48, 1> ]>,
    <7, 49, [ <0, 1>, <16, 25>, <24, 76>, <32, 25>, <48, 1> ]>,
    <7, 50, [ <0, 1>, <16, 23>, <24, 80>, <32, 23>, <48, 1> ]>,
    <7, 51, [ <0, 1>, <16, 27>, <24, 72>, <32, 27>, <48, 1> ]>,
    <7, 52, [ <0, 1>, <16, 21>, <24, 84>, <32, 21>, <48, 1> ]>,
    <7, 53, [ <0, 1>, <16, 23>, <24, 80>, <32, 23>, <48, 1> ]>,
    <7, 54, [ <0, 1>, <16, 25>, <24, 76>, <32, 25>, <48, 1> ]>,
    <7, 55, [ <0, 1>, <16, 23>, <24, 80>, <32, 23>, <48, 1> ]>,
    <7, 56, [ <0, 1>, <16, 27>, <24, 72>, <32, 27>, <48, 1> ]>,
    <7, 57, [ <0, 1>, <16, 27>, <24, 72>, <32, 27>, <48, 1> ]>,
    <7, 58, [ <0, 1>, <16, 27>, <24, 72>, <32, 27>, <48, 1> ]>,
    <7, 59, [ <0, 1>, <16, 27>, <24, 72>, <32, 27>, <48, 1> ]>,
    <7, 60, [ <0, 1>, <16, 23>, <24, 80>, <32, 23>, <48, 1> ]>,
    <7, 61, [ <0, 1>, <16, 23>, <24, 80>, <32, 23>, <48, 1> ]>,
    <7, 62, [ <0, 1>, <16, 21>, <24, 84>, <32, 21>, <48, 1> ]>,
    <7, 63, [ <0, 1>, <16, 21>, <24, 84>, <32, 21>, <48, 1> ]>,
    <7, 64, [ <0, 1>, <16, 31>, <24, 64>, <32, 31>, <48, 1> ]>,
    <7, 65, [ <0, 1>, <16, 39>, <24, 48>, <32, 39>, <48, 1> ]>,
    <7, 66, [ <0, 1>, <16, 27>, <24, 72>, <32, 27>, <48, 1> ]>,
    <7, 67, [ <0, 1>, <16, 21>, <24, 84>, <32, 21>, <48, 1> ]>,
    <7, 68, [ <0, 1>, <16, 23>, <24, 80>, <32, 23>, <48, 1> ]>,
    <7, 69, [ <0, 1>, <16, 27>, <24, 72>, <32, 27>, <48, 1> ]>,
    <7, 70, [ <0, 1>, <16, 31>, <24, 64>, <32, 31>, <48, 1> ]>,
    <7, 71, [ <0, 1>, <16, 23>, <24, 80>, <32, 23>, <48, 1> ]>,
    <7, 72, [ <0, 1>, <16, 19>, <24, 88>, <32, 19>, <48, 1> ]>,
    <7, 73, [ <0, 1>, <16, 19>, <24, 88>, <32, 19>, <48, 1> ]>,
    <7, 74, [ <0, 1>, <16, 19>, <24, 88>, <32, 19>, <48, 1> ]>,
    <7, 75, [ <0, 1>, <16, 19>, <24, 88>, <32, 19>, <48, 1> ]>,
    <7, 76, [ <0, 1>, <16, 19>, <24, 88>, <32, 19>, <48, 1> ]>,
    <7, 77, [ <0, 1>, <16, 23>, <24, 80>, <32, 23>, <48, 1> ]>,
    <7, 78, [ <0, 1>, <16, 23>, <24, 80>, <32, 23>, <48, 1> ]>,
    <7, 79, [ <0, 1>, <16, 19>, <24, 88>, <32, 19>, <48, 1> ]>,
    <7, 80, [ <0, 1>, <16, 23>, <24, 80>, <32, 23>, <48, 1> ]>,
    <7, 81, [ <0, 1>, <16, 17>, <24, 92>, <32, 17>, <48, 1> ]>,
    <7, 82, [ <0, 1>, <16, 17>, <24, 92>, <32, 17>, <48, 1> ]>,
    <7, 83, [ <0, 1>, <16, 15>, <24, 96>, <32, 15>, <48, 1> ]>,
    <7, 84, [ <0, 1>, <16, 15>, <24, 96>, <32, 15>, <48, 1> ]>,
    <7, 85, [ <0, 1>, <16, 15>, <24, 96>, <32, 15>, <48, 1> ]>,
    <7, 86, [ <0, 1>, <16, 15>, <24, 96>, <32, 15>, <48, 1> ]>,
    <7, 87, [ <0, 1>, <16, 15>, <24, 96>, <32, 15>, <48, 1> ]>,
    <7, 88, [ <0, 1>, <16, 25>, <24, 76>, <32, 25>, <48, 1> ]>,
    <7, 89, [ <0, 1>, <16, 21>, <24, 84>, <32, 21>, <48, 1> ]>,
    <7, 90, [ <0, 1>, <16, 23>, <24, 80>, <32, 23>, <48, 1> ]>,
    <7, 91, [ <0, 1>, <16, 21>, <24, 84>, <32, 21>, <48, 1> ]>,
    <7, 92, [ <0, 1>, <16, 31>, <24, 64>, <32, 31>, <48, 1> ]>,
    <7, 93, [ <0, 1>, <16, 17>, <24, 92>, <32, 17>, <48, 1> ]>,
    <7, 94, [ <0, 1>, <16, 17>, <24, 92>, <32, 17>, <48, 1> ]>,
    <7, 95, [ <0, 1>, <16, 19>, <24, 88>, <32, 19>, <48, 1> ]>,
    <7, 96, [ <0, 1>, <16, 19>, <24, 88>, <32, 19>, <48, 1> ]>,
    <7, 97, [ <0, 1>, <16, 19>, <24, 88>, <32, 19>, <48, 1> ]>,
    <7, 98, [ <0, 1>, <16, 17>, <24, 92>, <32, 17>, <48, 1> ]>,
    <7, 99, [ <0, 1>, <16, 19>, <24, 88>, <32, 19>, <48, 1> ]>,
    <7, 100, [ <0, 1>, <16, 13>, <24, 100>, <32, 13>, <48, 1> ]>,
    <7, 101, [ <0, 1>, <16, 15>, <24, 96>, <32, 15>, <48, 1> ]>,
    <7, 102, [ <0, 1>, <16, 17>, <24, 92>, <32, 17>, <48, 1> ]>,
    <7, 103, [ <0, 1>, <16, 19>, <24, 88>, <32, 19>, <48, 1> ]>,
    <7, 104, [ <0, 1>, <16, 17>, <24, 92>, <32, 17>, <48, 1> ]>,
    <7, 105, [ <0, 1>, <16, 15>, <24, 96>, <32, 15>, <48, 1> ]>,
    <7, 106, [ <0, 1>, <16, 13>, <24, 100>, <32, 13>, <48, 1> ]>,
    <7, 107, [ <0, 1>, <16, 15>, <24, 96>, <32, 15>, <48, 1> ]>,
    <7, 108, [ <0, 1>, <16, 13>, <24, 100>, <32, 13>, <48, 1> ]>,
    <7, 109, [ <0, 1>, <16, 15>, <24, 96>, <32, 15>, <48, 1> ]>,
    <7, 110, [ <0, 1>, <16, 15>, <24, 96>, <32, 15>, <48, 1> ]>,
    <7, 111, [ <0, 1>, <16, 19>, <24, 88>, <32, 19>, <48, 1> ]>,
    <7, 112, [ <0, 1>, <16, 15>, <24, 96>, <32, 15>, <48, 1> ]>,
    <7, 113, [ <0, 1>, <16, 15>, <24, 96>, <32, 15>, <48, 1> ]>,
    <7, 114, [ <0, 1>, <16, 17>, <24, 92>, <32, 17>, <48, 1> ]>,
    <7, 115, [ <0, 1>, <16, 13>, <24, 100>, <32, 13>, <48, 1> ]>,
    <7, 116, [ <0, 1>, <16, 13>, <24, 100>, <32, 13>, <48, 1> ]>,
    <7, 117, [ <0, 1>, <16, 15>, <24, 96>, <32, 15>, <48, 1> ]>,
    <7, 118, [ <0, 1>, <16, 11>, <24, 104>, <32, 11>, <48, 1> ]>,
    <7, 119, [ <0, 1>, <16, 11>, <24, 104>, <32, 11>, <48, 1> ]>,
    <7, 120, [ <0, 1>, <16, 9>, <24, 108>, <32, 9>, <48, 1> ]>,
    <7, 121, [ <0, 1>, <16, 13>, <24, 100>, <32, 13>, <48, 1> ]>,
    <7, 122, [ <0, 1>, <16, 13>, <24, 100>, <32, 13>, <48, 1> ]>,
    <7, 123, [ <0, 1>, <16, 15>, <24, 96>, <32, 15>, <48, 1> ]>,
    <7, 124, [ <0, 1>, <16, 15>, <24, 96>, <32, 15>, <48, 1> ]>,
    <7, 125, [ <0, 1>, <16, 15>, <24, 96>, <32, 15>, <48, 1> ]>,
    <7, 126, [ <0, 1>, <16, 21>, <24, 84>, <32, 21>, <48, 1> ]>,
    <7, 127, [ <0, 1>, <16, 13>, <24, 100>, <32, 13>, <48, 1> ]>,
    <7, 128, [ <0, 1>, <16, 11>, <24, 104>, <32, 11>, <48, 1> ]>,
    <7, 129, [ <0, 1>, <16, 11>, <24, 104>, <32, 11>, <48, 1> ]>,
    <7, 130, [ <0, 1>, <16, 9>, <24, 108>, <32, 9>, <48, 1> ]>,
    <7, 131, [ <0, 1>, <16, 13>, <24, 100>, <32, 13>, <48, 1> ]>,
    <7, 132, [ <0, 1>, <16, 11>, <24, 104>, <32, 11>, <48, 1> ]>,
    <7, 133, [ <0, 1>, <16, 11>, <24, 104>, <32, 11>, <48, 1> ]>,
    <7, 134, [ <0, 1>, <16, 9>, <24, 108>, <32, 9>, <48, 1> ]>,
    <7, 135, [ <0, 1>, <16, 7>, <24, 112>, <32, 7>, <48, 1> ]>,
    <7, 136, [ <0, 1>, <16, 9>, <24, 108>, <32, 9>, <48, 1> ]>,
    <7, 137, [ <0, 1>, <16, 9>, <24, 108>, <32, 9>, <48, 1> ]>,
    <7, 138, [ <0, 1>, <16, 11>, <24, 104>, <32, 11>, <48, 1> ]>,
    <7, 139, [ <0, 1>, <16, 7>, <24, 112>, <32, 7>, <48, 1> ]>,
    <7, 140, [ <0, 1>, <16, 11>, <24, 104>, <32, 11>, <48, 1> ]>,
    <7, 141, [ <0, 1>, <16, 11>, <24, 104>, <32, 11>, <48, 1> ]>,
    <7, 142, [ <0, 1>, <16, 7>, <24, 112>, <32, 7>, <48, 1> ]>,
    <7, 143, [ <0, 1>, <16, 5>, <24, 116>, <32, 5>, <48, 1> ]>,
    <7, 144, [ <0, 1>, <16, 3>, <24, 120>, <32, 3>, <48, 1> ]>,
    <7, 145, [ <0, 1>, <8, 6>, <16, 33>, <24, 48>, <32, 33>, <40, 6>, <48, 1> 
    ]>,
    <7, 146, [ <0, 1>, <8, 6>, <16, 31>, <24, 52>, <32, 31>, <40, 6>, <48, 1> 
    ]>,
    <7, 147, [ <0, 1>, <8, 10>, <16, 25>, <24, 56>, <32, 25>, <40, 10>, <48, 1> 
    ]>,
    <7, 148, [ <0, 1>, <8, 8>, <16, 31>, <24, 48>, <32, 31>, <40, 8>, <48, 1> 
    ]>,
    <7, 149, [ <0, 1>, <8, 4>, <16, 33>, <24, 52>, <32, 33>, <40, 4>, <48, 1> 
    ]>,
    <7, 150, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 151, [ <0, 1>, <8, 8>, <16, 25>, <24, 60>, <32, 25>, <40, 8>, <48, 1> 
    ]>,
    <7, 152, [ <0, 1>, <8, 10>, <16, 31>, <24, 44>, <32, 31>, <40, 10>, <48, 1> 
    ]>,
    <7, 153, [ <0, 1>, <8, 6>, <16, 25>, <24, 64>, <32, 25>, <40, 6>, <48, 1> 
    ]>,
    <7, 154, [ <0, 1>, <8, 6>, <16, 31>, <24, 52>, <32, 31>, <40, 6>, <48, 1> 
    ]>,
    <7, 155, [ <0, 1>, <8, 10>, <16, 49>, <24, 8>, <32, 49>, <40, 10>, <48, 1> 
    ]>,
    <7, 156, [ <0, 1>, <8, 5>, <16, 35>, <24, 46>, <32, 35>, <40, 5>, <48, 1> 
    ]>,
    <7, 157, [ <0, 1>, <8, 4>, <16, 29>, <24, 60>, <32, 29>, <40, 4>, <48, 1> 
    ]>,
    <7, 158, [ <0, 1>, <8, 7>, <16, 23>, <24, 66>, <32, 23>, <40, 7>, <48, 1> 
    ]>,
    <7, 159, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 160, [ <0, 1>, <8, 2>, <16, 33>, <24, 56>, <32, 33>, <40, 2>, <48, 1> 
    ]>,
    <7, 161, [ <0, 1>, <8, 5>, <16, 27>, <24, 62>, <32, 27>, <40, 5>, <48, 1> 
    ]>,
    <7, 162, [ <0, 1>, <8, 7>, <16, 47>, <24, 18>, <32, 47>, <40, 7>, <48, 1> 
    ]>,
    <7, 163, [ <0, 1>, <8, 4>, <16, 27>, <24, 64>, <32, 27>, <40, 4>, <48, 1> 
    ]>,
    <7, 164, [ <0, 1>, <8, 6>, <16, 17>, <24, 80>, <32, 17>, <40, 6>, <48, 1> 
    ]>,
    <7, 165, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 166, [ <0, 1>, <8, 4>, <16, 25>, <24, 68>, <32, 25>, <40, 4>, <48, 1> 
    ]>,
    <7, 167, [ <0, 1>, <8, 2>, <16, 29>, <24, 64>, <32, 29>, <40, 2>, <48, 1> 
    ]>,
    <7, 168, [ <0, 1>, <8, 2>, <16, 27>, <24, 68>, <32, 27>, <40, 2>, <48, 1> 
    ]>,
    <7, 169, [ <0, 1>, <8, 4>, <16, 23>, <24, 72>, <32, 23>, <40, 4>, <48, 1> 
    ]>,
    <7, 170, [ <0, 1>, <8, 4>, <16, 25>, <24, 68>, <32, 25>, <40, 4>, <48, 1> 
    ]>,
    <7, 171, [ <0, 1>, <8, 6>, <16, 23>, <24, 68>, <32, 23>, <40, 6>, <48, 1> 
    ]>,
    <7, 172, [ <0, 1>, <8, 4>, <16, 21>, <24, 76>, <32, 21>, <40, 4>, <48, 1> 
    ]>,
    <7, 173, [ <0, 1>, <8, 4>, <16, 27>, <24, 64>, <32, 27>, <40, 4>, <48, 1> 
    ]>,
    <7, 174, [ <0, 1>, <8, 6>, <16, 41>, <24, 32>, <32, 41>, <40, 6>, <48, 1> 
    ]>,
    <7, 175, [ <0, 1>, <8, 5>, <16, 31>, <24, 54>, <32, 31>, <40, 5>, <48, 1> 
    ]>,
    <7, 176, [ <0, 1>, <8, 5>, <16, 31>, <24, 54>, <32, 31>, <40, 5>, <48, 1> 
    ]>,
    <7, 177, [ <0, 1>, <8, 4>, <16, 27>, <24, 64>, <32, 27>, <40, 4>, <48, 1> 
    ]>,
    <7, 178, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 179, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 180, [ <0, 1>, <8, 3>, <16, 27>, <24, 66>, <32, 27>, <40, 3>, <48, 1> 
    ]>,
    <7, 181, [ <0, 1>, <8, 5>, <16, 27>, <24, 62>, <32, 27>, <40, 5>, <48, 1> 
    ]>,
    <7, 182, [ <0, 1>, <8, 7>, <16, 27>, <24, 58>, <32, 27>, <40, 7>, <48, 1> 
    ]>,
    <7, 183, [ <0, 1>, <8, 5>, <16, 19>, <24, 78>, <32, 19>, <40, 5>, <48, 1> 
    ]>,
    <7, 184, [ <0, 1>, <8, 5>, <16, 31>, <24, 54>, <32, 31>, <40, 5>, <48, 1> 
    ]>,
    <7, 185, [ <0, 1>, <8, 7>, <16, 39>, <24, 34>, <32, 39>, <40, 7>, <48, 1> 
    ]>,
    <7, 186, [ <0, 1>, <8, 9>, <16, 19>, <24, 70>, <32, 19>, <40, 9>, <48, 1> 
    ]>,
    <7, 187, [ <0, 1>, <8, 8>, <16, 13>, <24, 84>, <32, 13>, <40, 8>, <48, 1> 
    ]>,
    <7, 188, [ <0, 1>, <8, 11>, <16, 31>, <24, 42>, <32, 31>, <40, 11>, <48, 1> 
    ]>,
    <7, 189, [ <0, 1>, <8, 7>, <16, 15>, <24, 82>, <32, 15>, <40, 7>, <48, 1> 
    ]>,
    <7, 190, [ <0, 1>, <8, 8>, <16, 37>, <24, 36>, <32, 37>, <40, 8>, <48, 1> 
    ]>,
    <7, 191, [ <0, 1>, <8, 7>, <16, 25>, <24, 62>, <32, 25>, <40, 7>, <48, 1> 
    ]>,
    <7, 192, [ <0, 1>, <8, 4>, <16, 33>, <24, 52>, <32, 33>, <40, 4>, <48, 1> 
    ]>,
    <7, 193, [ <0, 1>, <8, 3>, <16, 33>, <24, 54>, <32, 33>, <40, 3>, <48, 1> 
    ]>,
    <7, 194, [ <0, 1>, <8, 4>, <16, 29>, <24, 60>, <32, 29>, <40, 4>, <48, 1> 
    ]>,
    <7, 195, [ <0, 1>, <8, 9>, <16, 31>, <24, 46>, <32, 31>, <40, 9>, <48, 1> 
    ]>,
    <7, 196, [ <0, 1>, <8, 5>, <16, 27>, <24, 62>, <32, 27>, <40, 5>, <48, 1> 
    ]>,
    <7, 197, [ <0, 1>, <8, 9>, <16, 43>, <24, 22>, <32, 43>, <40, 9>, <48, 1> 
    ]>,
    <7, 198, [ <0, 1>, <8, 3>, <16, 27>, <24, 66>, <32, 27>, <40, 3>, <48, 1> 
    ]>,
    <7, 199, [ <0, 1>, <8, 3>, <16, 25>, <24, 70>, <32, 25>, <40, 3>, <48, 1> 
    ]>,
    <7, 200, [ <0, 1>, <8, 7>, <16, 19>, <24, 74>, <32, 19>, <40, 7>, <48, 1> 
    ]>,
    <7, 201, [ <0, 1>, <8, 8>, <16, 19>, <24, 72>, <32, 19>, <40, 8>, <48, 1> 
    ]>,
    <7, 202, [ <0, 1>, <8, 4>, <16, 21>, <24, 76>, <32, 21>, <40, 4>, <48, 1> 
    ]>,
    <7, 203, [ <0, 1>, <8, 2>, <16, 29>, <24, 64>, <32, 29>, <40, 2>, <48, 1> 
    ]>,
    <7, 204, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 205, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 206, [ <0, 1>, <8, 3>, <16, 23>, <24, 74>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <7, 207, [ <0, 1>, <8, 5>, <16, 43>, <24, 30>, <32, 43>, <40, 5>, <48, 1> 
    ]>,
    <7, 208, [ <0, 1>, <8, 5>, <16, 27>, <24, 62>, <32, 27>, <40, 5>, <48, 1> 
    ]>,
    <7, 209, [ <0, 1>, <8, 1>, <16, 29>, <24, 66>, <32, 29>, <40, 1>, <48, 1> 
    ]>,
    <7, 210, [ <0, 1>, <8, 3>, <16, 27>, <24, 66>, <32, 27>, <40, 3>, <48, 1> 
    ]>,
    <7, 211, [ <0, 1>, <8, 4>, <16, 27>, <24, 64>, <32, 27>, <40, 4>, <48, 1> 
    ]>,
    <7, 212, [ <0, 1>, <8, 2>, <16, 25>, <24, 72>, <32, 25>, <40, 2>, <48, 1> 
    ]>,
    <7, 213, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 214, [ <0, 1>, <8, 4>, <16, 45>, <24, 28>, <32, 45>, <40, 4>, <48, 1> 
    ]>,
    <7, 215, [ <0, 1>, <8, 3>, <16, 27>, <24, 66>, <32, 27>, <40, 3>, <48, 1> 
    ]>,
    <7, 216, [ <0, 1>, <8, 5>, <16, 23>, <24, 70>, <32, 23>, <40, 5>, <48, 1> 
    ]>,
    <7, 217, [ <0, 1>, <8, 5>, <16, 19>, <24, 78>, <32, 19>, <40, 5>, <48, 1> 
    ]>,
    <7, 218, [ <0, 1>, <8, 5>, <16, 27>, <24, 62>, <32, 27>, <40, 5>, <48, 1> 
    ]>,
    <7, 219, [ <0, 1>, <8, 3>, <16, 23>, <24, 74>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <7, 220, [ <0, 1>, <8, 2>, <16, 25>, <24, 72>, <32, 25>, <40, 2>, <48, 1> 
    ]>,
    <7, 221, [ <0, 1>, <8, 7>, <16, 31>, <24, 50>, <32, 31>, <40, 7>, <48, 1> 
    ]>,
    <7, 222, [ <0, 1>, <8, 2>, <16, 25>, <24, 72>, <32, 25>, <40, 2>, <48, 1> 
    ]>,
    <7, 223, [ <0, 1>, <8, 2>, <16, 23>, <24, 76>, <32, 23>, <40, 2>, <48, 1> 
    ]>,
    <7, 224, [ <0, 1>, <8, 4>, <16, 19>, <24, 80>, <32, 19>, <40, 4>, <48, 1> 
    ]>,
    <7, 225, [ <0, 1>, <8, 4>, <16, 21>, <24, 76>, <32, 21>, <40, 4>, <48, 1> 
    ]>,
    <7, 226, [ <0, 1>, <8, 6>, <16, 33>, <24, 48>, <32, 33>, <40, 6>, <48, 1> 
    ]>,
    <7, 227, [ <0, 1>, <8, 5>, <16, 31>, <24, 54>, <32, 31>, <40, 5>, <48, 1> 
    ]>,
    <7, 228, [ <0, 1>, <8, 4>, <16, 19>, <24, 80>, <32, 19>, <40, 4>, <48, 1> 
    ]>,
    <7, 229, [ <0, 1>, <8, 5>, <16, 27>, <24, 62>, <32, 27>, <40, 5>, <48, 1> 
    ]>,
    <7, 230, [ <0, 1>, <8, 4>, <16, 23>, <24, 72>, <32, 23>, <40, 4>, <48, 1> 
    ]>,
    <7, 231, [ <0, 1>, <8, 3>, <16, 27>, <24, 66>, <32, 27>, <40, 3>, <48, 1> 
    ]>,
    <7, 232, [ <0, 1>, <8, 2>, <16, 27>, <24, 68>, <32, 27>, <40, 2>, <48, 1> 
    ]>,
    <7, 233, [ <0, 1>, <8, 3>, <16, 23>, <24, 74>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <7, 234, [ <0, 1>, <8, 5>, <16, 23>, <24, 70>, <32, 23>, <40, 5>, <48, 1> 
    ]>,
    <7, 235, [ <0, 1>, <8, 5>, <16, 19>, <24, 78>, <32, 19>, <40, 5>, <48, 1> 
    ]>,
    <7, 236, [ <0, 1>, <8, 7>, <16, 31>, <24, 50>, <32, 31>, <40, 7>, <48, 1> 
    ]>,
    <7, 237, [ <0, 1>, <8, 4>, <16, 23>, <24, 72>, <32, 23>, <40, 4>, <48, 1> 
    ]>,
    <7, 238, [ <0, 1>, <8, 2>, <16, 21>, <24, 80>, <32, 21>, <40, 2>, <48, 1> 
    ]>,
    <7, 239, [ <0, 1>, <8, 4>, <16, 15>, <24, 88>, <32, 15>, <40, 4>, <48, 1> 
    ]>,
    <7, 240, [ <0, 1>, <8, 2>, <16, 19>, <24, 84>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <7, 241, [ <0, 1>, <8, 4>, <16, 17>, <24, 84>, <32, 17>, <40, 4>, <48, 1> 
    ]>,
    <7, 242, [ <0, 1>, <8, 4>, <16, 13>, <24, 92>, <32, 13>, <40, 4>, <48, 1> 
    ]>,
    <7, 243, [ <0, 1>, <8, 6>, <16, 15>, <24, 84>, <32, 15>, <40, 6>, <48, 1> 
    ]>,
    <7, 244, [ <0, 1>, <8, 3>, <16, 27>, <24, 66>, <32, 27>, <40, 3>, <48, 1> 
    ]>,
    <7, 245, [ <0, 1>, <8, 3>, <16, 21>, <24, 78>, <32, 21>, <40, 3>, <48, 1> 
    ]>,
    <7, 246, [ <0, 1>, <8, 3>, <16, 19>, <24, 82>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <7, 247, [ <0, 1>, <8, 7>, <16, 13>, <24, 86>, <32, 13>, <40, 7>, <48, 1> 
    ]>,
    <7, 248, [ <0, 1>, <8, 2>, <16, 23>, <24, 76>, <32, 23>, <40, 2>, <48, 1> 
    ]>,
    <7, 249, [ <0, 1>, <8, 1>, <16, 25>, <24, 74>, <32, 25>, <40, 1>, <48, 1> 
    ]>,
    <7, 250, [ <0, 1>, <8, 4>, <16, 19>, <24, 80>, <32, 19>, <40, 4>, <48, 1> 
    ]>,
    <7, 251, [ <0, 1>, <8, 3>, <16, 23>, <24, 74>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <7, 252, [ <0, 1>, <8, 3>, <16, 19>, <24, 82>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <7, 253, [ <0, 1>, <8, 5>, <16, 31>, <24, 54>, <32, 31>, <40, 5>, <48, 1> 
    ]>,
    <7, 254, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 255, [ <0, 1>, <8, 2>, <16, 19>, <24, 84>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <7, 256, [ <0, 1>, <8, 3>, <16, 19>, <24, 82>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <7, 257, [ <0, 1>, <8, 5>, <16, 15>, <24, 86>, <32, 15>, <40, 5>, <48, 1> 
    ]>,
    <7, 258, [ <0, 1>, <8, 5>, <16, 35>, <24, 46>, <32, 35>, <40, 5>, <48, 1> 
    ]>,
    <7, 259, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 260, [ <0, 1>, <8, 2>, <16, 33>, <24, 56>, <32, 33>, <40, 2>, <48, 1> 
    ]>,
    <7, 261, [ <0, 1>, <8, 3>, <16, 23>, <24, 74>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <7, 262, [ <0, 1>, <8, 2>, <16, 25>, <24, 72>, <32, 25>, <40, 2>, <48, 1> 
    ]>,
    <7, 263, [ <0, 1>, <8, 1>, <16, 27>, <24, 70>, <32, 27>, <40, 1>, <48, 1> 
    ]>,
    <7, 264, [ <0, 1>, <8, 3>, <16, 23>, <24, 74>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <7, 265, [ <0, 1>, <8, 5>, <16, 19>, <24, 78>, <32, 19>, <40, 5>, <48, 1> 
    ]>,
    <7, 266, [ <0, 1>, <8, 9>, <16, 27>, <24, 54>, <32, 27>, <40, 9>, <48, 1> 
    ]>,
    <7, 267, [ <0, 1>, <8, 3>, <16, 23>, <24, 74>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <7, 268, [ <0, 1>, <8, 1>, <16, 27>, <24, 70>, <32, 27>, <40, 1>, <48, 1> 
    ]>,
    <7, 269, [ <0, 1>, <8, 5>, <16, 35>, <24, 46>, <32, 35>, <40, 5>, <48, 1> 
    ]>,
    <7, 270, [ <0, 1>, <8, 3>, <16, 39>, <24, 42>, <32, 39>, <40, 3>, <48, 1> 
    ]>,
    <7, 271, [ <0, 1>, <8, 3>, <16, 29>, <24, 62>, <32, 29>, <40, 3>, <48, 1> 
    ]>,
    <7, 272, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 273, [ <0, 1>, <8, 2>, <16, 25>, <24, 72>, <32, 25>, <40, 2>, <48, 1> 
    ]>,
    <7, 274, [ <0, 1>, <8, 2>, <16, 23>, <24, 76>, <32, 23>, <40, 2>, <48, 1> 
    ]>,
    <7, 275, [ <0, 1>, <8, 1>, <16, 27>, <24, 70>, <32, 27>, <40, 1>, <48, 1> 
    ]>,
    <7, 276, [ <0, 1>, <8, 1>, <16, 25>, <24, 74>, <32, 25>, <40, 1>, <48, 1> 
    ]>,
    <7, 277, [ <0, 1>, <8, 2>, <16, 25>, <24, 72>, <32, 25>, <40, 2>, <48, 1> 
    ]>,
    <7, 278, [ <0, 1>, <8, 4>, <16, 19>, <24, 80>, <32, 19>, <40, 4>, <48, 1> 
    ]>,
    <7, 279, [ <0, 1>, <8, 3>, <16, 23>, <24, 74>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <7, 280, [ <0, 1>, <8, 3>, <16, 21>, <24, 78>, <32, 21>, <40, 3>, <48, 1> 
    ]>,
    <7, 281, [ <0, 1>, <8, 4>, <16, 37>, <24, 44>, <32, 37>, <40, 4>, <48, 1> 
    ]>,
    <7, 282, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 283, [ <0, 1>, <8, 2>, <16, 27>, <24, 68>, <32, 27>, <40, 2>, <48, 1> 
    ]>,
    <7, 284, [ <0, 1>, <8, 2>, <16, 29>, <24, 64>, <32, 29>, <40, 2>, <48, 1> 
    ]>,
    <7, 285, [ <0, 1>, <8, 1>, <16, 29>, <24, 66>, <32, 29>, <40, 1>, <48, 1> 
    ]>,
    <7, 286, [ <0, 1>, <8, 2>, <16, 25>, <24, 72>, <32, 25>, <40, 2>, <48, 1> 
    ]>,
    <7, 287, [ <0, 1>, <8, 3>, <16, 23>, <24, 74>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <7, 288, [ <0, 1>, <8, 3>, <16, 27>, <24, 66>, <32, 27>, <40, 3>, <48, 1> 
    ]>,
    <7, 289, [ <0, 1>, <8, 5>, <16, 35>, <24, 46>, <32, 35>, <40, 5>, <48, 1> 
    ]>,
    <7, 290, [ <0, 1>, <8, 2>, <16, 27>, <24, 68>, <32, 27>, <40, 2>, <48, 1> 
    ]>,
    <7, 291, [ <0, 1>, <8, 2>, <16, 21>, <24, 80>, <32, 21>, <40, 2>, <48, 1> 
    ]>,
    <7, 292, [ <0, 1>, <8, 2>, <16, 21>, <24, 80>, <32, 21>, <40, 2>, <48, 1> 
    ]>,
    <7, 293, [ <0, 1>, <8, 2>, <16, 19>, <24, 84>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <7, 294, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 295, [ <0, 1>, <8, 1>, <16, 21>, <24, 82>, <32, 21>, <40, 1>, <48, 1> 
    ]>,
    <7, 296, [ <0, 1>, <8, 3>, <16, 15>, <24, 90>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <7, 297, [ <0, 1>, <8, 3>, <16, 15>, <24, 90>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <7, 298, [ <0, 1>, <8, 2>, <16, 17>, <24, 88>, <32, 17>, <40, 2>, <48, 1> 
    ]>,
    <7, 299, [ <0, 1>, <8, 5>, <16, 11>, <24, 94>, <32, 11>, <40, 5>, <48, 1> 
    ]>,
    <7, 300, [ <0, 1>, <8, 4>, <16, 39>, <24, 40>, <32, 39>, <40, 4>, <48, 1> 
    ]>,
    <7, 301, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 302, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 303, [ <0, 1>, <8, 2>, <16, 27>, <24, 68>, <32, 27>, <40, 2>, <48, 1> 
    ]>,
    <7, 304, [ <0, 1>, <8, 4>, <16, 27>, <24, 64>, <32, 27>, <40, 4>, <48, 1> 
    ]>,
    <7, 305, [ <0, 1>, <8, 3>, <16, 27>, <24, 66>, <32, 27>, <40, 3>, <48, 1> 
    ]>,
    <7, 306, [ <0, 1>, <8, 5>, <16, 39>, <24, 38>, <32, 39>, <40, 5>, <48, 1> 
    ]>,
    <7, 307, [ <0, 1>, <8, 1>, <16, 25>, <24, 74>, <32, 25>, <40, 1>, <48, 1> 
    ]>,
    <7, 308, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 309, [ <0, 1>, <8, 3>, <16, 19>, <24, 82>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <7, 310, [ <0, 1>, <8, 2>, <16, 23>, <24, 76>, <32, 23>, <40, 2>, <48, 1> 
    ]>,
    <7, 311, [ <0, 1>, <8, 1>, <16, 25>, <24, 74>, <32, 25>, <40, 1>, <48, 1> 
    ]>,
    <7, 312, [ <0, 1>, <8, 3>, <16, 23>, <24, 74>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <7, 313, [ <0, 1>, <8, 3>, <16, 19>, <24, 82>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <7, 314, [ <0, 1>, <8, 1>, <16, 25>, <24, 74>, <32, 25>, <40, 1>, <48, 1> 
    ]>,
    <7, 315, [ <0, 1>, <8, 2>, <16, 23>, <24, 76>, <32, 23>, <40, 2>, <48, 1> 
    ]>,
    <7, 316, [ <0, 1>, <8, 3>, <16, 35>, <24, 50>, <32, 35>, <40, 3>, <48, 1> 
    ]>,
    <7, 317, [ <0, 1>, <8, 1>, <16, 25>, <24, 74>, <32, 25>, <40, 1>, <48, 1> 
    ]>,
    <7, 318, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 319, [ <0, 1>, <8, 2>, <16, 37>, <24, 48>, <32, 37>, <40, 2>, <48, 1> 
    ]>,
    <7, 320, [ <0, 1>, <8, 1>, <16, 21>, <24, 82>, <32, 21>, <40, 1>, <48, 1> 
    ]>,
    <7, 321, [ <0, 1>, <8, 3>, <16, 19>, <24, 82>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <7, 322, [ <0, 1>, <8, 3>, <16, 27>, <24, 66>, <32, 27>, <40, 3>, <48, 1> 
    ]>,
    <7, 323, [ <0, 1>, <8, 2>, <16, 23>, <24, 76>, <32, 23>, <40, 2>, <48, 1> 
    ]>,
    <7, 324, [ <0, 1>, <8, 3>, <16, 23>, <24, 74>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <7, 325, [ <0, 1>, <8, 1>, <16, 25>, <24, 74>, <32, 25>, <40, 1>, <48, 1> 
    ]>,
    <7, 326, [ <0, 1>, <8, 4>, <16, 37>, <24, 44>, <32, 37>, <40, 4>, <48, 1> 
    ]>,
    <7, 327, [ <0, 1>, <8, 1>, <16, 29>, <24, 66>, <32, 29>, <40, 1>, <48, 1> 
    ]>,
    <7, 328, [ <0, 1>, <8, 3>, <16, 17>, <24, 86>, <32, 17>, <40, 3>, <48, 1> 
    ]>,
    <7, 329, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 330, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 331, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 332, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 333, [ <0, 1>, <8, 3>, <16, 15>, <24, 90>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <7, 334, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 335, [ <0, 1>, <8, 2>, <16, 33>, <24, 56>, <32, 33>, <40, 2>, <48, 1> 
    ]>,
    <7, 336, [ <0, 1>, <8, 6>, <16, 33>, <24, 48>, <32, 33>, <40, 6>, <48, 1> 
    ]>,
    <7, 337, [ <0, 1>, <8, 6>, <16, 35>, <24, 44>, <32, 35>, <40, 6>, <48, 1> 
    ]>,
    <7, 338, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 339, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 340, [ <0, 1>, <8, 6>, <16, 27>, <24, 60>, <32, 27>, <40, 6>, <48, 1> 
    ]>,
    <7, 341, [ <0, 1>, <8, 5>, <16, 27>, <24, 62>, <32, 27>, <40, 5>, <48, 1> 
    ]>,
    <7, 342, [ <0, 1>, <8, 7>, <16, 35>, <24, 42>, <32, 35>, <40, 7>, <48, 1> 
    ]>,
    <7, 343, [ <0, 1>, <8, 3>, <16, 23>, <24, 74>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <7, 344, [ <0, 1>, <8, 1>, <16, 27>, <24, 70>, <32, 27>, <40, 1>, <48, 1> 
    ]>,
    <7, 345, [ <0, 1>, <8, 3>, <16, 25>, <24, 70>, <32, 25>, <40, 3>, <48, 1> 
    ]>,
    <7, 346, [ <0, 1>, <8, 1>, <16, 29>, <24, 66>, <32, 29>, <40, 1>, <48, 1> 
    ]>,
    <7, 347, [ <0, 1>, <8, 4>, <16, 23>, <24, 72>, <32, 23>, <40, 4>, <48, 1> 
    ]>,
    <7, 348, [ <0, 1>, <8, 4>, <16, 29>, <24, 60>, <32, 29>, <40, 4>, <48, 1> 
    ]>,
    <7, 349, [ <0, 1>, <8, 2>, <16, 27>, <24, 68>, <32, 27>, <40, 2>, <48, 1> 
    ]>,
    <7, 350, [ <0, 1>, <8, 3>, <16, 35>, <24, 50>, <32, 35>, <40, 3>, <48, 1> 
    ]>,
    <7, 351, [ <0, 1>, <8, 7>, <16, 7>, <24, 98>, <32, 7>, <40, 7>, <48, 1> ]>,
    <7, 352, [ <0, 1>, <8, 6>, <16, 35>, <24, 44>, <32, 35>, <40, 6>, <48, 1> 
    ]>,
    <7, 353, [ <0, 1>, <8, 10>, <16, 43>, <24, 20>, <32, 43>, <40, 10>, <48, 1> 
    ]>,
    <7, 354, [ <0, 1>, <8, 2>, <16, 27>, <24, 68>, <32, 27>, <40, 2>, <48, 1> 
    ]>,
    <7, 355, [ <0, 1>, <8, 4>, <16, 39>, <24, 40>, <32, 39>, <40, 4>, <48, 1> 
    ]>,
    <7, 356, [ <0, 1>, <8, 6>, <16, 19>, <24, 76>, <32, 19>, <40, 6>, <48, 1> 
    ]>,
    <7, 357, [ <0, 1>, <8, 3>, <16, 23>, <24, 74>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <7, 358, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 359, [ <0, 1>, <8, 1>, <16, 27>, <24, 70>, <32, 27>, <40, 1>, <48, 1> 
    ]>,
    <7, 360, [ <0, 1>, <8, 2>, <16, 35>, <24, 52>, <32, 35>, <40, 2>, <48, 1> 
    ]>,
    <7, 361, [ <0, 1>, <8, 1>, <16, 37>, <24, 50>, <32, 37>, <40, 1>, <48, 1> 
    ]>,
    <7, 362, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 363, [ <0, 1>, <8, 2>, <16, 19>, <24, 84>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <7, 364, [ <0, 1>, <8, 3>, <16, 15>, <24, 90>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <7, 365, [ <0, 1>, <8, 2>, <16, 27>, <24, 68>, <32, 27>, <40, 2>, <48, 1> 
    ]>,
    <7, 366, [ <0, 1>, <8, 2>, <16, 25>, <24, 72>, <32, 25>, <40, 2>, <48, 1> 
    ]>,
    <7, 367, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 368, [ <0, 1>, <8, 4>, <16, 27>, <24, 64>, <32, 27>, <40, 4>, <48, 1> 
    ]>,
    <7, 369, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 370, [ <0, 1>, <8, 2>, <16, 27>, <24, 68>, <32, 27>, <40, 2>, <48, 1> 
    ]>,
    <7, 371, [ <0, 1>, <8, 6>, <16, 31>, <24, 52>, <32, 31>, <40, 6>, <48, 1> 
    ]>,
    <7, 372, [ <0, 1>, <8, 4>, <16, 23>, <24, 72>, <32, 23>, <40, 4>, <48, 1> 
    ]>,
    <7, 373, [ <0, 1>, <8, 8>, <16, 31>, <24, 48>, <32, 31>, <40, 8>, <48, 1> 
    ]>,
    <7, 374, [ <0, 1>, <8, 1>, <16, 29>, <24, 66>, <32, 29>, <40, 1>, <48, 1> 
    ]>,
    <7, 375, [ <0, 1>, <8, 1>, <16, 27>, <24, 70>, <32, 27>, <40, 1>, <48, 1> 
    ]>,
    <7, 376, [ <0, 1>, <8, 2>, <16, 27>, <24, 68>, <32, 27>, <40, 2>, <48, 1> 
    ]>,
    <7, 377, [ <0, 1>, <8, 4>, <16, 35>, <24, 48>, <32, 35>, <40, 4>, <48, 1> 
    ]>,
    <7, 378, [ <0, 1>, <8, 2>, <16, 23>, <24, 76>, <32, 23>, <40, 2>, <48, 1> 
    ]>,
    <7, 379, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 380, [ <0, 1>, <8, 6>, <16, 31>, <24, 52>, <32, 31>, <40, 6>, <48, 1> 
    ]>,
    <7, 381, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 382, [ <0, 1>, <8, 2>, <16, 27>, <24, 68>, <32, 27>, <40, 2>, <48, 1> 
    ]>,
    <7, 383, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 384, [ <0, 1>, <8, 4>, <16, 23>, <24, 72>, <32, 23>, <40, 4>, <48, 1> 
    ]>,
    <7, 385, [ <0, 1>, <8, 6>, <16, 23>, <24, 68>, <32, 23>, <40, 6>, <48, 1> 
    ]>,
    <7, 386, [ <0, 1>, <8, 4>, <16, 23>, <24, 72>, <32, 23>, <40, 4>, <48, 1> 
    ]>,
    <7, 387, [ <0, 1>, <8, 2>, <16, 27>, <24, 68>, <32, 27>, <40, 2>, <48, 1> 
    ]>,
    <7, 388, [ <0, 1>, <8, 8>, <16, 31>, <24, 48>, <32, 31>, <40, 8>, <48, 1> 
    ]>,
    <7, 389, [ <0, 1>, <8, 6>, <16, 15>, <24, 84>, <32, 15>, <40, 6>, <48, 1> 
    ]>,
    <7, 390, [ <0, 1>, <8, 2>, <16, 23>, <24, 76>, <32, 23>, <40, 2>, <48, 1> 
    ]>,
    <7, 391, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 392, [ <0, 1>, <8, 4>, <16, 15>, <24, 88>, <32, 15>, <40, 4>, <48, 1> 
    ]>,
    <7, 393, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 394, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 395, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 396, [ <0, 1>, <8, 2>, <16, 35>, <24, 52>, <32, 35>, <40, 2>, <48, 1> 
    ]>,
    <7, 397, [ <0, 1>, <8, 3>, <16, 27>, <24, 66>, <32, 27>, <40, 3>, <48, 1> 
    ]>,
    <7, 398, [ <0, 1>, <8, 1>, <16, 27>, <24, 70>, <32, 27>, <40, 1>, <48, 1> 
    ]>,
    <7, 399, [ <0, 1>, <8, 2>, <16, 17>, <24, 88>, <32, 17>, <40, 2>, <48, 1> 
    ]>,
    <7, 400, [ <0, 1>, <8, 1>, <16, 21>, <24, 82>, <32, 21>, <40, 1>, <48, 1> 
    ]>,
    <7, 401, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 402, [ <0, 1>, <8, 2>, <16, 19>, <24, 84>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <7, 403, [ <0, 1>, <8, 2>, <16, 15>, <24, 92>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <7, 404, [ <0, 1>, <8, 4>, <16, 11>, <24, 96>, <32, 11>, <40, 4>, <48, 1> 
    ]>,
    <7, 405, [ <0, 1>, <8, 3>, <16, 13>, <24, 94>, <32, 13>, <40, 3>, <48, 1> 
    ]>,
    <7, 406, [ <0, 1>, <8, 2>, <16, 17>, <24, 88>, <32, 17>, <40, 2>, <48, 1> 
    ]>,
    <7, 407, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 408, [ <0, 1>, <8, 2>, <16, 23>, <24, 76>, <32, 23>, <40, 2>, <48, 1> 
    ]>,
    <7, 409, [ <0, 1>, <8, 2>, <16, 19>, <24, 84>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <7, 410, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 411, [ <0, 1>, <8, 1>, <16, 21>, <24, 82>, <32, 21>, <40, 1>, <48, 1> 
    ]>,
    <7, 412, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 413, [ <0, 1>, <8, 3>, <16, 19>, <24, 82>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <7, 414, [ <0, 1>, <8, 3>, <16, 15>, <24, 90>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <7, 415, [ <0, 1>, <8, 2>, <16, 27>, <24, 68>, <32, 27>, <40, 2>, <48, 1> 
    ]>,
    <7, 416, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 417, [ <0, 1>, <8, 2>, <16, 19>, <24, 84>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <7, 418, [ <0, 1>, <8, 4>, <16, 23>, <24, 72>, <32, 23>, <40, 4>, <48, 1> 
    ]>,
    <7, 419, [ <0, 1>, <8, 3>, <16, 15>, <24, 90>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <7, 420, [ <0, 1>, <8, 2>, <16, 19>, <24, 84>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <7, 421, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 422, [ <0, 1>, <8, 3>, <16, 19>, <24, 82>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <7, 423, [ <0, 1>, <8, 1>, <16, 21>, <24, 82>, <32, 21>, <40, 1>, <48, 1> 
    ]>,
    <7, 424, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 425, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 426, [ <0, 1>, <8, 1>, <16, 17>, <24, 90>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <7, 427, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 428, [ <0, 1>, <8, 2>, <16, 15>, <24, 92>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <7, 429, [ <0, 1>, <8, 2>, <16, 23>, <24, 76>, <32, 23>, <40, 2>, <48, 1> 
    ]>,
    <7, 430, [ <0, 1>, <8, 2>, <16, 15>, <24, 92>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <7, 431, [ <0, 1>, <8, 4>, <16, 15>, <24, 88>, <32, 15>, <40, 4>, <48, 1> 
    ]>,
    <7, 432, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 433, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 434, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 435, [ <0, 1>, <8, 1>, <16, 35>, <24, 54>, <32, 35>, <40, 1>, <48, 1> 
    ]>,
    <7, 436, [ <0, 1>, <8, 6>, <16, 31>, <24, 52>, <32, 31>, <40, 6>, <48, 1> 
    ]>,
    <7, 437, [ <0, 1>, <8, 6>, <16, 31>, <24, 52>, <32, 31>, <40, 6>, <48, 1> 
    ]>,
    <7, 438, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 439, [ <0, 1>, <8, 1>, <16, 27>, <24, 70>, <32, 27>, <40, 1>, <48, 1> 
    ]>,
    <7, 440, [ <0, 1>, <8, 2>, <16, 23>, <24, 76>, <32, 23>, <40, 2>, <48, 1> 
    ]>,
    <7, 441, [ <0, 1>, <8, 3>, <16, 19>, <24, 82>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <7, 442, [ <0, 1>, <8, 5>, <16, 31>, <24, 54>, <32, 31>, <40, 5>, <48, 1> 
    ]>,
    <7, 443, [ <0, 1>, <8, 1>, <16, 27>, <24, 70>, <32, 27>, <40, 1>, <48, 1> 
    ]>,
    <7, 444, [ <0, 1>, <8, 3>, <16, 19>, <24, 82>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <7, 445, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 446, [ <0, 1>, <8, 3>, <16, 27>, <24, 66>, <32, 27>, <40, 3>, <48, 1> 
    ]>,
    <7, 447, [ <0, 1>, <8, 2>, <16, 23>, <24, 76>, <32, 23>, <40, 2>, <48, 1> 
    ]>,
    <7, 448, [ <0, 1>, <8, 1>, <16, 27>, <24, 70>, <32, 27>, <40, 1>, <48, 1> 
    ]>,
    <7, 449, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 450, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 451, [ <0, 1>, <8, 1>, <16, 27>, <24, 70>, <32, 27>, <40, 1>, <48, 1> 
    ]>,
    <7, 452, [ <0, 1>, <8, 2>, <16, 35>, <24, 52>, <32, 35>, <40, 2>, <48, 1> 
    ]>,
    <7, 453, [ <0, 1>, <8, 4>, <16, 23>, <24, 72>, <32, 23>, <40, 4>, <48, 1> 
    ]>,
    <7, 454, [ <0, 1>, <8, 4>, <16, 15>, <24, 88>, <32, 15>, <40, 4>, <48, 1> 
    ]>,
    <7, 455, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 456, [ <0, 1>, <8, 3>, <16, 15>, <24, 90>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <7, 457, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 458, [ <0, 1>, <8, 1>, <16, 17>, <24, 90>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <7, 459, [ <0, 1>, <8, 2>, <16, 13>, <24, 96>, <32, 13>, <40, 2>, <48, 1> 
    ]>,
    <7, 460, [ <0, 1>, <8, 3>, <16, 11>, <24, 98>, <32, 11>, <40, 3>, <48, 1> 
    ]>,
    <7, 461, [ <0, 1>, <8, 3>, <16, 11>, <24, 98>, <32, 11>, <40, 3>, <48, 1> 
    ]>,
    <7, 462, [ <0, 1>, <8, 10>, <16, 31>, <24, 44>, <32, 31>, <40, 10>, <48, 1> 
    ]>,
    <7, 463, [ <0, 1>, <8, 2>, <16, 19>, <24, 84>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <7, 464, [ <0, 1>, <8, 3>, <16, 35>, <24, 50>, <32, 35>, <40, 3>, <48, 1> 
    ]>,
    <7, 465, [ <0, 1>, <8, 3>, <16, 33>, <24, 54>, <32, 33>, <40, 3>, <48, 1> 
    ]>,
    <7, 466, [ <0, 1>, <8, 3>, <16, 27>, <24, 66>, <32, 27>, <40, 3>, <48, 1> 
    ]>,
    <7, 467, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 468, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 469, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 470, [ <0, 1>, <8, 1>, <16, 27>, <24, 70>, <32, 27>, <40, 1>, <48, 1> 
    ]>,
    <7, 471, [ <0, 1>, <8, 1>, <16, 33>, <24, 58>, <32, 33>, <40, 1>, <48, 1> 
    ]>,
    <7, 472, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 473, [ <0, 1>, <8, 2>, <16, 15>, <24, 92>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <7, 474, [ <0, 1>, <8, 1>, <16, 27>, <24, 70>, <32, 27>, <40, 1>, <48, 1> 
    ]>,
    <7, 475, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 476, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 477, [ <0, 1>, <8, 6>, <16, 49>, <24, 16>, <32, 49>, <40, 6>, <48, 1> 
    ]>,
    <7, 478, [ <0, 1>, <8, 2>, <16, 33>, <24, 56>, <32, 33>, <40, 2>, <48, 1> 
    ]>,
    <7, 479, [ <0, 1>, <8, 2>, <16, 11>, <24, 100>, <32, 11>, <40, 2>, <48, 1> 
    ]>,
    <7, 480, [ <0, 1>, <8, 1>, <16, 13>, <24, 98>, <32, 13>, <40, 1>, <48, 1> 
    ]>,
    <7, 481, [ <0, 1>, <8, 3>, <16, 7>, <24, 106>, <32, 7>, <40, 3>, <48, 1> ]>,
    <7, 482, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 483, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 484, [ <0, 1>, <8, 9>, <16, 51>, <24, 6>, <32, 51>, <40, 9>, <48, 1> ]>,
    <7, 485, [ <0, 1>, <8, 7>, <16, 39>, <24, 34>, <32, 39>, <40, 7>, <48, 1> 
    ]>,
    <7, 486, [ <0, 1>, <8, 3>, <16, 39>, <24, 42>, <32, 39>, <40, 3>, <48, 1> 
    ]>,
    <7, 487, [ <0, 1>, <8, 7>, <16, 31>, <24, 50>, <32, 31>, <40, 7>, <48, 1> 
    ]>,
    <7, 488, [ <0, 1>, <8, 9>, <16, 27>, <24, 54>, <32, 27>, <40, 9>, <48, 1> 
    ]>,
    <7, 489, [ <0, 1>, <8, 9>, <16, 35>, <24, 38>, <32, 35>, <40, 9>, <48, 1> 
    ]>,
    <7, 490, [ <0, 1>, <8, 8>, <16, 31>, <24, 48>, <32, 31>, <40, 8>, <48, 1> 
    ]>,
    <7, 491, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 492, [ <0, 1>, <8, 7>, <16, 27>, <24, 58>, <32, 27>, <40, 7>, <48, 1> 
    ]>,
    <7, 493, [ <0, 1>, <8, 3>, <16, 35>, <24, 50>, <32, 35>, <40, 3>, <48, 1> 
    ]>,
    <7, 494, [ <0, 1>, <8, 10>, <16, 31>, <24, 44>, <32, 31>, <40, 10>, <48, 1> 
    ]>,
    <7, 495, [ <0, 1>, <8, 9>, <16, 19>, <24, 70>, <32, 19>, <40, 9>, <48, 1> 
    ]>,
    <7, 496, [ <0, 1>, <8, 6>, <16, 27>, <24, 60>, <32, 27>, <40, 6>, <48, 1> 
    ]>,
    <7, 497, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 498, [ <0, 1>, <8, 2>, <16, 35>, <24, 52>, <32, 35>, <40, 2>, <48, 1> 
    ]>,
    <7, 499, [ <0, 1>, <8, 7>, <16, 23>, <24, 66>, <32, 23>, <40, 7>, <48, 1> 
    ]>,
    <7, 500, [ <0, 1>, <8, 8>, <16, 31>, <24, 48>, <32, 31>, <40, 8>, <48, 1> 
    ]>,
    <7, 501, [ <0, 1>, <8, 1>, <16, 27>, <24, 70>, <32, 27>, <40, 1>, <48, 1> 
    ]>,
    <7, 502, [ <0, 1>, <8, 6>, <16, 19>, <24, 76>, <32, 19>, <40, 6>, <48, 1> 
    ]>,
    <7, 503, [ <0, 1>, <8, 7>, <16, 27>, <24, 58>, <32, 27>, <40, 7>, <48, 1> 
    ]>,
    <7, 504, [ <0, 1>, <8, 7>, <16, 19>, <24, 74>, <32, 19>, <40, 7>, <48, 1> 
    ]>,
    <7, 505, [ <0, 1>, <8, 7>, <16, 15>, <24, 82>, <32, 15>, <40, 7>, <48, 1> 
    ]>,
    <7, 506, [ <0, 1>, <8, 8>, <16, 15>, <24, 80>, <32, 15>, <40, 8>, <48, 1> 
    ]>,
    <7, 507, [ <0, 1>, <8, 3>, <16, 15>, <24, 90>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <7, 508, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 509, [ <0, 1>, <8, 6>, <16, 15>, <24, 84>, <32, 15>, <40, 6>, <48, 1> 
    ]>,
    <7, 510, [ <0, 1>, <8, 7>, <16, 11>, <24, 90>, <32, 11>, <40, 7>, <48, 1> 
    ]>,
    <7, 511, [ <0, 1>, <8, 8>, <16, 23>, <24, 64>, <32, 23>, <40, 8>, <48, 1> 
    ]>,
    <7, 512, [ <0, 1>, <8, 6>, <16, 11>, <24, 92>, <32, 11>, <40, 6>, <48, 1> 
    ]>,
    <7, 513, [ <0, 1>, <8, 6>, <16, 23>, <24, 68>, <32, 23>, <40, 6>, <48, 1> 
    ]>,
    <7, 514, [ <0, 1>, <8, 3>, <16, 27>, <24, 66>, <32, 27>, <40, 3>, <48, 1> 
    ]>,
    <7, 515, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 516, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 517, [ <0, 1>, <16, 35>, <24, 56>, <32, 35>, <48, 1> ]>,
    <7, 518, [ <0, 1>, <8, 3>, <16, 35>, <24, 50>, <32, 35>, <40, 3>, <48, 1> 
    ]>,
    <7, 519, [ <0, 1>, <8, 2>, <16, 33>, <24, 56>, <32, 33>, <40, 2>, <48, 1> 
    ]>,
    <7, 520, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 521, [ <0, 1>, <8, 1>, <16, 33>, <24, 58>, <32, 33>, <40, 1>, <48, 1> 
    ]>,
    <7, 522, [ <0, 1>, <8, 4>, <16, 35>, <24, 48>, <32, 35>, <40, 4>, <48, 1> 
    ]>,
    <7, 523, [ <0, 1>, <8, 2>, <16, 35>, <24, 52>, <32, 35>, <40, 2>, <48, 1> 
    ]>,
    <7, 524, [ <0, 1>, <8, 4>, <16, 35>, <24, 48>, <32, 35>, <40, 4>, <48, 1> 
    ]>,
    <7, 525, [ <0, 1>, <8, 6>, <16, 39>, <24, 36>, <32, 39>, <40, 6>, <48, 1> 
    ]>,
    <7, 526, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 527, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 528, [ <0, 1>, <8, 3>, <16, 23>, <24, 74>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <7, 529, [ <0, 1>, <8, 4>, <16, 27>, <24, 64>, <32, 27>, <40, 4>, <48, 1> 
    ]>,
    <7, 530, [ <0, 1>, <8, 5>, <16, 35>, <24, 46>, <32, 35>, <40, 5>, <48, 1> 
    ]>,
    <7, 531, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 532, [ <0, 1>, <8, 4>, <16, 19>, <24, 80>, <32, 19>, <40, 4>, <48, 1> 
    ]>,
    <7, 533, [ <0, 1>, <8, 3>, <16, 15>, <24, 90>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <7, 534, [ <0, 1>, <8, 3>, <16, 27>, <24, 66>, <32, 27>, <40, 3>, <48, 1> 
    ]>,
    <7, 535, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 536, [ <0, 1>, <8, 1>, <16, 37>, <24, 50>, <32, 37>, <40, 1>, <48, 1> 
    ]>,
    <7, 537, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 538, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 539, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 540, [ <0, 1>, <8, 4>, <16, 7>, <24, 104>, <32, 7>, <40, 4>, <48, 1> ]>,
    <7, 541, [ <0, 1>, <8, 5>, <16, 51>, <24, 14>, <32, 51>, <40, 5>, <48, 1> 
    ]>,
    <7, 542, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 543, [ <0, 1>, <8, 1>, <16, 35>, <24, 54>, <32, 35>, <40, 1>, <48, 1> 
    ]>,
    <7, 544, [ <0, 1>, <8, 1>, <16, 35>, <24, 54>, <32, 35>, <40, 1>, <48, 1> 
    ]>,
    <7, 545, [ <0, 1>, <8, 2>, <16, 15>, <24, 92>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <7, 546, [ <0, 1>, <8, 3>, <16, 47>, <24, 26>, <32, 47>, <40, 3>, <48, 1> 
    ]>,
    <7, 547, [ <0, 1>, <8, 7>, <16, 47>, <24, 18>, <32, 47>, <40, 7>, <48, 1> 
    ]>,
    <7, 548, [ <0, 1>, <8, 9>, <16, 43>, <24, 22>, <32, 43>, <40, 9>, <48, 1> 
    ]>,
    <7, 549, [ <0, 1>, <8, 7>, <16, 31>, <24, 50>, <32, 31>, <40, 7>, <48, 1> 
    ]>,
    <7, 550, [ <0, 1>, <8, 6>, <16, 35>, <24, 44>, <32, 35>, <40, 6>, <48, 1> 
    ]>,
    <7, 551, [ <0, 1>, <8, 2>, <16, 35>, <24, 52>, <32, 35>, <40, 2>, <48, 1> 
    ]>,
    <7, 552, [ <0, 1>, <8, 8>, <16, 31>, <24, 48>, <32, 31>, <40, 8>, <48, 1> 
    ]>,
    <7, 553, [ <0, 1>, <8, 8>, <16, 31>, <24, 48>, <32, 31>, <40, 8>, <48, 1> 
    ]>,
    <7, 554, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 555, [ <0, 1>, <8, 7>, <16, 35>, <24, 42>, <32, 35>, <40, 7>, <48, 1> 
    ]>,
    <7, 556, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 557, [ <0, 1>, <8, 3>, <16, 35>, <24, 50>, <32, 35>, <40, 3>, <48, 1> 
    ]>,
    <7, 558, [ <0, 1>, <8, 7>, <16, 31>, <24, 50>, <32, 31>, <40, 7>, <48, 1> 
    ]>,
    <7, 559, [ <0, 1>, <8, 9>, <16, 35>, <24, 38>, <32, 35>, <40, 9>, <48, 1> 
    ]>,
    <7, 560, [ <0, 1>, <8, 6>, <16, 27>, <24, 60>, <32, 27>, <40, 6>, <48, 1> 
    ]>,
    <7, 561, [ <0, 1>, <8, 7>, <16, 27>, <24, 58>, <32, 27>, <40, 7>, <48, 1> 
    ]>,
    <7, 562, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 563, [ <0, 1>, <8, 2>, <16, 27>, <24, 68>, <32, 27>, <40, 2>, <48, 1> 
    ]>,
    <7, 564, [ <0, 1>, <8, 3>, <16, 35>, <24, 50>, <32, 35>, <40, 3>, <48, 1> 
    ]>,
    <7, 565, [ <0, 1>, <8, 7>, <16, 15>, <24, 82>, <32, 15>, <40, 7>, <48, 1> 
    ]>,
    <7, 566, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 567, [ <0, 1>, <8, 6>, <16, 23>, <24, 68>, <32, 23>, <40, 6>, <48, 1> 
    ]>,
    <7, 568, [ <0, 1>, <8, 6>, <16, 23>, <24, 68>, <32, 23>, <40, 6>, <48, 1> 
    ]>,
    <7, 569, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 570, [ <0, 1>, <8, 2>, <16, 23>, <24, 76>, <32, 23>, <40, 2>, <48, 1> 
    ]>,
    <7, 571, [ <0, 1>, <8, 6>, <16, 7>, <24, 100>, <32, 7>, <40, 6>, <48, 1> ]>,
    <7, 572, [ <0, 1>, <8, 13>, <16, 43>, <24, 14>, <32, 43>, <40, 13>, <48, 1> 
    ]>,
    <7, 573, [ <0, 1>, <8, 9>, <16, 27>, <24, 54>, <32, 27>, <40, 9>, <48, 1> 
    ]>,
    <7, 574, [ <0, 1>, <8, 7>, <16, 19>, <24, 74>, <32, 19>, <40, 7>, <48, 1> 
    ]>,
    <7, 575, [ <0, 1>, <8, 2>, <16, 35>, <24, 52>, <32, 35>, <40, 2>, <48, 1> 
    ]>,
    <7, 576, [ <0, 1>, <8, 6>, <16, 51>, <24, 12>, <32, 51>, <40, 6>, <48, 1> 
    ]>,
    <7, 577, [ <0, 1>, <8, 14>, <16, 49>, <32, 49>, <40, 14>, <48, 1> ]>,
    <7, 578, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 579, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 580, [ <0, 1>, <8, 3>, <16, 43>, <24, 34>, <32, 43>, <40, 3>, <48, 1> 
    ]>,
    <7, 581, [ <0, 1>, <8, 2>, <16, 43>, <24, 36>, <32, 43>, <40, 2>, <48, 1> 
    ]>,
    <7, 582, [ <0, 1>, <8, 2>, <16, 41>, <24, 40>, <32, 41>, <40, 2>, <48, 1> 
    ]>,
    <7, 583, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 584, [ <0, 1>, <8, 2>, <16, 23>, <24, 76>, <32, 23>, <40, 2>, <48, 1> 
    ]>,
    <7, 585, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 586, [ <0, 1>, <8, 2>, <16, 15>, <24, 92>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <7, 587, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 588, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 589, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 590, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 591, [ <0, 1>, <8, 1>, <16, 35>, <24, 54>, <32, 35>, <40, 1>, <48, 1> 
    ]>,
    <7, 592, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 593, [ <0, 1>, <8, 1>, <16, 27>, <24, 70>, <32, 27>, <40, 1>, <48, 1> 
    ]>,
    <7, 594, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 595, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 596, [ <0, 1>, <8, 1>, <16, 11>, <24, 102>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <7, 597, [ <0, 1>, <8, 2>, <16, 7>, <24, 108>, <32, 7>, <40, 2>, <48, 1> ]>,
    <7, 598, [ <0, 1>, <8, 2>, <16, 49>, <24, 24>, <32, 49>, <40, 2>, <48, 1> 
    ]>,
    <7, 599, [ <0, 1>, <8, 6>, <16, 15>, <24, 84>, <32, 15>, <40, 6>, <48, 1> 
    ]>,
    <7, 600, [ <0, 1>, <8, 11>, <16, 47>, <24, 10>, <32, 47>, <40, 11>, <48, 1> 
    ]>,
    <7, 601, [ <0, 1>, <8, 13>, <16, 35>, <24, 30>, <32, 35>, <40, 13>, <48, 1> 
    ]>,
    <7, 602, [ <0, 1>, <8, 10>, <16, 43>, <24, 20>, <32, 43>, <40, 10>, <48, 1> 
    ]>,
    <7, 603, [ <0, 1>, <8, 10>, <16, 27>, <24, 52>, <32, 27>, <40, 10>, <48, 1> 
    ]>,
    <7, 604, [ <0, 1>, <8, 11>, <16, 31>, <24, 42>, <32, 31>, <40, 11>, <48, 1> 
    ]>,
    <7, 605, [ <0, 1>, <8, 11>, <16, 27>, <24, 50>, <32, 27>, <40, 11>, <48, 1> 
    ]>,
    <7, 606, [ <0, 1>, <8, 11>, <16, 15>, <24, 74>, <32, 15>, <40, 11>, <48, 1> 
    ]>,
    <7, 607, [ <0, 1>, <8, 12>, <16, 31>, <24, 40>, <32, 31>, <40, 12>, <48, 1> 
    ]>,
    <7, 608, [ <0, 1>, <8, 10>, <16, 11>, <24, 84>, <32, 11>, <40, 10>, <48, 1> 
    ]>,
    <7, 609, [ <0, 1>, <8, 10>, <16, 23>, <24, 60>, <32, 23>, <40, 10>, <48, 1> 
    ]>,
    <7, 610, [ <0, 1>, <8, 3>, <16, 27>, <24, 66>, <32, 27>, <40, 3>, <48, 1> 
    ]>,
    <7, 611, [ <0, 1>, <8, 1>, <16, 35>, <24, 54>, <32, 35>, <40, 1>, <48, 1> 
    ]>,
    <7, 612, [ <0, 1>, <8, 4>, <16, 35>, <24, 48>, <32, 35>, <40, 4>, <48, 1> 
    ]>,
    <7, 613, [ <0, 1>, <8, 4>, <16, 17>, <24, 84>, <32, 17>, <40, 4>, <48, 1> 
    ]>,
    <7, 614, [ <0, 1>, <8, 6>, <16, 13>, <24, 88>, <32, 13>, <40, 6>, <48, 1> 
    ]>,
    <7, 615, [ <0, 1>, <8, 2>, <16, 17>, <24, 88>, <32, 17>, <40, 2>, <48, 1> 
    ]>,
    <7, 616, [ <0, 1>, <8, 4>, <16, 13>, <24, 92>, <32, 13>, <40, 4>, <48, 1> 
    ]>,
    <7, 617, [ <0, 1>, <8, 6>, <16, 25>, <24, 64>, <32, 25>, <40, 6>, <48, 1> 
    ]>,
    <7, 618, [ <0, 1>, <8, 4>, <16, 15>, <24, 88>, <32, 15>, <40, 4>, <48, 1> 
    ]>,
    <7, 619, [ <0, 1>, <8, 2>, <16, 17>, <24, 88>, <32, 17>, <40, 2>, <48, 1> 
    ]>,
    <7, 620, [ <0, 1>, <8, 2>, <16, 15>, <24, 92>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <7, 621, [ <0, 1>, <8, 4>, <16, 13>, <24, 92>, <32, 13>, <40, 4>, <48, 1> 
    ]>,
    <7, 622, [ <0, 1>, <8, 4>, <16, 9>, <24, 100>, <32, 9>, <40, 4>, <48, 1> ]>,
    <7, 623, [ <0, 1>, <8, 4>, <16, 15>, <24, 88>, <32, 15>, <40, 4>, <48, 1> 
    ]>,
    <7, 624, [ <0, 1>, <8, 6>, <16, 21>, <24, 72>, <32, 21>, <40, 6>, <48, 1> 
    ]>,
    <7, 625, [ <0, 1>, <8, 8>, <16, 9>, <24, 92>, <32, 9>, <40, 8>, <48, 1> ]>,
    <7, 626, [ <0, 1>, <8, 10>, <16, 21>, <24, 64>, <32, 21>, <40, 10>, <48, 1> 
    ]>,
    <7, 627, [ <0, 1>, <8, 6>, <16, 9>, <24, 96>, <32, 9>, <40, 6>, <48, 1> ]>,
    <7, 628, [ <0, 1>, <8, 7>, <16, 15>, <24, 82>, <32, 15>, <40, 7>, <48, 1> 
    ]>,
    <7, 629, [ <0, 1>, <8, 3>, <16, 17>, <24, 86>, <32, 17>, <40, 3>, <48, 1> 
    ]>,
    <7, 630, [ <0, 1>, <8, 3>, <16, 15>, <24, 90>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <7, 631, [ <0, 1>, <8, 7>, <16, 9>, <24, 94>, <32, 9>, <40, 7>, <48, 1> ]>,
    <7, 632, [ <0, 1>, <8, 8>, <16, 15>, <24, 80>, <32, 15>, <40, 8>, <48, 1> 
    ]>,
    <7, 633, [ <0, 1>, <8, 4>, <16, 13>, <24, 92>, <32, 13>, <40, 4>, <48, 1> 
    ]>,
    <7, 634, [ <0, 1>, <8, 8>, <16, 21>, <24, 68>, <32, 21>, <40, 8>, <48, 1> 
    ]>,
    <7, 635, [ <0, 1>, <8, 1>, <16, 17>, <24, 90>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <7, 636, [ <0, 1>, <8, 3>, <16, 13>, <24, 94>, <32, 13>, <40, 3>, <48, 1> 
    ]>,
    <7, 637, [ <0, 1>, <8, 2>, <16, 17>, <24, 88>, <32, 17>, <40, 2>, <48, 1> 
    ]>,
    <7, 638, [ <0, 1>, <8, 2>, <16, 13>, <24, 96>, <32, 13>, <40, 2>, <48, 1> 
    ]>,
    <7, 639, [ <0, 1>, <8, 4>, <16, 25>, <24, 68>, <32, 25>, <40, 4>, <48, 1> 
    ]>,
    <7, 640, [ <0, 1>, <8, 4>, <16, 17>, <24, 84>, <32, 17>, <40, 4>, <48, 1> 
    ]>,
    <7, 641, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 642, [ <0, 1>, <8, 2>, <16, 15>, <24, 92>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <7, 643, [ <0, 1>, <8, 4>, <16, 9>, <24, 100>, <32, 9>, <40, 4>, <48, 1> ]>,
    <7, 644, [ <0, 1>, <8, 4>, <16, 21>, <24, 76>, <32, 21>, <40, 4>, <48, 1> 
    ]>,
    <7, 645, [ <0, 1>, <8, 3>, <16, 15>, <24, 90>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <7, 646, [ <0, 1>, <8, 5>, <16, 15>, <24, 86>, <32, 15>, <40, 5>, <48, 1> 
    ]>,
    <7, 647, [ <0, 1>, <8, 3>, <16, 19>, <24, 82>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <7, 648, [ <0, 1>, <8, 2>, <16, 17>, <24, 88>, <32, 17>, <40, 2>, <48, 1> 
    ]>,
    <7, 649, [ <0, 1>, <8, 2>, <16, 17>, <24, 88>, <32, 17>, <40, 2>, <48, 1> 
    ]>,
    <7, 650, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 651, [ <0, 1>, <8, 3>, <16, 15>, <24, 90>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <7, 652, [ <0, 1>, <8, 5>, <16, 23>, <24, 70>, <32, 23>, <40, 5>, <48, 1> 
    ]>,
    <7, 653, [ <0, 1>, <8, 2>, <16, 13>, <24, 96>, <32, 13>, <40, 2>, <48, 1> 
    ]>,
    <7, 654, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 655, [ <0, 1>, <8, 4>, <16, 9>, <24, 100>, <32, 9>, <40, 4>, <48, 1> ]>,
    <7, 656, [ <0, 1>, <8, 3>, <16, 11>, <24, 98>, <32, 11>, <40, 3>, <48, 1> 
    ]>,
    <7, 657, [ <0, 1>, <8, 3>, <16, 11>, <24, 98>, <32, 11>, <40, 3>, <48, 1> 
    ]>,
    <7, 658, [ <0, 1>, <8, 2>, <16, 13>, <24, 96>, <32, 13>, <40, 2>, <48, 1> 
    ]>,
    <7, 659, [ <0, 1>, <8, 5>, <16, 7>, <24, 102>, <32, 7>, <40, 5>, <48, 1> ]>,
    <7, 660, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 661, [ <0, 1>, <8, 3>, <16, 11>, <24, 98>, <32, 11>, <40, 3>, <48, 1> 
    ]>,
    <7, 662, [ <0, 1>, <8, 3>, <16, 23>, <24, 74>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <7, 663, [ <0, 1>, <8, 2>, <16, 25>, <24, 72>, <32, 25>, <40, 2>, <48, 1> 
    ]>,
    <7, 664, [ <0, 1>, <8, 3>, <16, 13>, <24, 94>, <32, 13>, <40, 3>, <48, 1> 
    ]>,
    <7, 665, [ <0, 1>, <8, 2>, <16, 15>, <24, 92>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <7, 666, [ <0, 1>, <8, 2>, <16, 13>, <24, 96>, <32, 13>, <40, 2>, <48, 1> 
    ]>,
    <7, 667, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 668, [ <0, 1>, <8, 1>, <16, 13>, <24, 98>, <32, 13>, <40, 1>, <48, 1> 
    ]>,
    <7, 669, [ <0, 1>, <8, 2>, <16, 11>, <24, 100>, <32, 11>, <40, 2>, <48, 1> 
    ]>,
    <7, 670, [ <0, 1>, <8, 3>, <16, 7>, <24, 106>, <32, 7>, <40, 3>, <48, 1> ]>,
    <7, 671, [ <0, 1>, <8, 2>, <16, 9>, <24, 104>, <32, 9>, <40, 2>, <48, 1> ]>,
    <7, 672, [ <0, 1>, <8, 4>, <16, 5>, <24, 108>, <32, 5>, <40, 4>, <48, 1> ]>,
    <7, 673, [ <0, 1>, <8, 3>, <16, 19>, <24, 82>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <7, 674, [ <0, 1>, <8, 1>, <16, 17>, <24, 90>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <7, 675, [ <0, 1>, <8, 3>, <16, 11>, <24, 98>, <32, 11>, <40, 3>, <48, 1> 
    ]>,
    <7, 676, [ <0, 1>, <8, 4>, <16, 15>, <24, 88>, <32, 15>, <40, 4>, <48, 1> 
    ]>,
    <7, 677, [ <0, 1>, <8, 4>, <16, 21>, <24, 76>, <32, 21>, <40, 4>, <48, 1> 
    ]>,
    <7, 678, [ <0, 1>, <8, 3>, <16, 9>, <24, 102>, <32, 9>, <40, 3>, <48, 1> ]>,
    <7, 679, [ <0, 1>, <8, 2>, <16, 13>, <24, 96>, <32, 13>, <40, 2>, <48, 1> 
    ]>,
    <7, 680, [ <0, 1>, <8, 4>, <16, 17>, <24, 84>, <32, 17>, <40, 4>, <48, 1> 
    ]>,
    <7, 681, [ <0, 1>, <8, 1>, <16, 13>, <24, 98>, <32, 13>, <40, 1>, <48, 1> 
    ]>,
    <7, 682, [ <0, 1>, <8, 1>, <16, 13>, <24, 98>, <32, 13>, <40, 1>, <48, 1> 
    ]>,
    <7, 683, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 684, [ <0, 1>, <8, 1>, <16, 11>, <24, 102>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <7, 685, [ <0, 1>, <8, 2>, <16, 13>, <24, 96>, <32, 13>, <40, 2>, <48, 1> 
    ]>,
    <7, 686, [ <0, 1>, <8, 2>, <16, 21>, <24, 80>, <32, 21>, <40, 2>, <48, 1> 
    ]>,
    <7, 687, [ <0, 1>, <8, 2>, <16, 11>, <24, 100>, <32, 11>, <40, 2>, <48, 1> 
    ]>,
    <7, 688, [ <0, 1>, <8, 2>, <16, 9>, <24, 104>, <32, 9>, <40, 2>, <48, 1> ]>,
    <7, 689, [ <0, 1>, <8, 4>, <16, 7>, <24, 104>, <32, 7>, <40, 4>, <48, 1> ]>,
    <7, 690, [ <0, 1>, <8, 3>, <16, 15>, <24, 90>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <7, 691, [ <0, 1>, <8, 2>, <16, 15>, <24, 92>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <7, 692, [ <0, 1>, <8, 2>, <16, 17>, <24, 88>, <32, 17>, <40, 2>, <48, 1> 
    ]>,
    <7, 693, [ <0, 1>, <8, 1>, <16, 17>, <24, 90>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <7, 694, [ <0, 1>, <8, 3>, <16, 15>, <24, 90>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <7, 695, [ <0, 1>, <8, 4>, <16, 17>, <24, 84>, <32, 17>, <40, 4>, <48, 1> 
    ]>,
    <7, 696, [ <0, 1>, <8, 3>, <16, 13>, <24, 94>, <32, 13>, <40, 3>, <48, 1> 
    ]>,
    <7, 697, [ <0, 1>, <8, 1>, <16, 17>, <24, 90>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <7, 698, [ <0, 1>, <8, 3>, <16, 15>, <24, 90>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <7, 699, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 700, [ <0, 1>, <8, 1>, <16, 13>, <24, 98>, <32, 13>, <40, 1>, <48, 1> 
    ]>,
    <7, 701, [ <0, 1>, <8, 2>, <16, 9>, <24, 104>, <32, 9>, <40, 2>, <48, 1> ]>,
    <7, 702, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 703, [ <0, 1>, <8, 2>, <16, 21>, <24, 80>, <32, 21>, <40, 2>, <48, 1> 
    ]>,
    <7, 704, [ <0, 1>, <8, 1>, <16, 11>, <24, 102>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <7, 705, [ <0, 1>, <8, 3>, <16, 7>, <24, 106>, <32, 7>, <40, 3>, <48, 1> ]>,
    <7, 706, [ <0, 1>, <8, 7>, <16, 3>, <24, 106>, <32, 3>, <40, 7>, <48, 1> ]>,
    <7, 707, [ <0, 1>, <8, 9>, <16, 15>, <24, 78>, <32, 15>, <40, 9>, <48, 1> 
    ]>,
    <7, 708, [ <0, 1>, <8, 3>, <16, 23>, <24, 74>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <7, 709, [ <0, 1>, <8, 3>, <16, 11>, <24, 98>, <32, 11>, <40, 3>, <48, 1> 
    ]>,
    <7, 710, [ <0, 1>, <8, 3>, <16, 7>, <24, 106>, <32, 7>, <40, 3>, <48, 1> ]>,
    <7, 711, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 712, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 713, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 714, [ <0, 1>, <8, 1>, <16, 11>, <24, 102>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <7, 715, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 716, [ <0, 1>, <8, 1>, <16, 11>, <24, 102>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <7, 717, [ <0, 1>, <8, 3>, <16, 15>, <24, 90>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <7, 718, [ <0, 1>, <8, 1>, <16, 11>, <24, 102>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <7, 719, [ <0, 1>, <8, 1>, <16, 9>, <24, 106>, <32, 9>, <40, 1>, <48, 1> ]>,
    <7, 720, [ <0, 1>, <8, 2>, <16, 7>, <24, 108>, <32, 7>, <40, 2>, <48, 1> ]>,
    <7, 721, [ <0, 1>, <8, 2>, <16, 9>, <24, 104>, <32, 9>, <40, 2>, <48, 1> ]>,
    <7, 722, [ <0, 1>, <8, 1>, <16, 17>, <24, 90>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <7, 723, [ <0, 1>, <8, 5>, <16, 15>, <24, 86>, <32, 15>, <40, 5>, <48, 1> 
    ]>,
    <7, 724, [ <0, 1>, <8, 1>, <16, 11>, <24, 102>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <7, 725, [ <0, 1>, <8, 2>, <16, 7>, <24, 108>, <32, 7>, <40, 2>, <48, 1> ]>,
    <7, 726, [ <0, 1>, <8, 2>, <16, 9>, <24, 104>, <32, 9>, <40, 2>, <48, 1> ]>,
    <7, 727, [ <0, 1>, <8, 1>, <16, 9>, <24, 106>, <32, 9>, <40, 1>, <48, 1> ]>,
    <7, 728, [ <0, 1>, <8, 3>, <16, 3>, <24, 114>, <32, 3>, <40, 3>, <48, 1> ]>,
    <7, 729, [ <0, 1>, <8, 1>, <16, 13>, <24, 98>, <32, 13>, <40, 1>, <48, 1> 
    ]>,
    <7, 730, [ <0, 1>, <8, 1>, <16, 11>, <24, 102>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <7, 731, [ <0, 1>, <8, 3>, <16, 9>, <24, 102>, <32, 9>, <40, 3>, <48, 1> ]>,
    <7, 732, [ <0, 1>, <8, 2>, <16, 11>, <24, 100>, <32, 11>, <40, 2>, <48, 1> 
    ]>,
    <7, 733, [ <0, 1>, <8, 1>, <16, 9>, <24, 106>, <32, 9>, <40, 1>, <48, 1> ]>,
    <7, 734, [ <0, 1>, <8, 3>, <16, 7>, <24, 106>, <32, 7>, <40, 3>, <48, 1> ]>,
    <7, 735, [ <0, 1>, <8, 1>, <16, 11>, <24, 102>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <7, 736, [ <0, 1>, <8, 1>, <16, 9>, <24, 106>, <32, 9>, <40, 1>, <48, 1> ]>,
    <7, 737, [ <0, 1>, <8, 1>, <16, 9>, <24, 106>, <32, 9>, <40, 1>, <48, 1> ]>,
    <7, 738, [ <0, 1>, <8, 1>, <16, 7>, <24, 110>, <32, 7>, <40, 1>, <48, 1> ]>,
    <7, 739, [ <0, 1>, <8, 2>, <16, 5>, <24, 112>, <32, 5>, <40, 2>, <48, 1> ]>,
    <7, 740, [ <0, 1>, <8, 1>, <16, 7>, <24, 110>, <32, 7>, <40, 1>, <48, 1> ]>,
    <7, 741, [ <0, 1>, <8, 3>, <16, 5>, <24, 110>, <32, 5>, <40, 3>, <48, 1> ]>,
    <7, 742, [ <0, 1>, <8, 1>, <16, 11>, <24, 102>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <7, 743, [ <0, 1>, <8, 2>, <16, 15>, <24, 92>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <7, 744, [ <0, 1>, <8, 1>, <16, 7>, <24, 110>, <32, 7>, <40, 1>, <48, 1> ]>,
    <7, 745, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 746, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 747, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 748, [ <0, 1>, <8, 1>, <16, 17>, <24, 90>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <7, 749, [ <0, 1>, <8, 1>, <16, 13>, <24, 98>, <32, 13>, <40, 1>, <48, 1> 
    ]>,
    <7, 750, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 751, [ <0, 1>, <8, 3>, <16, 19>, <24, 82>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <7, 752, [ <0, 1>, <8, 1>, <16, 21>, <24, 82>, <32, 21>, <40, 1>, <48, 1> 
    ]>,
    <7, 753, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 754, [ <0, 1>, <8, 2>, <16, 21>, <24, 80>, <32, 21>, <40, 2>, <48, 1> 
    ]>,
    <7, 755, [ <0, 1>, <8, 1>, <16, 11>, <24, 102>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <7, 756, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 757, [ <0, 1>, <8, 1>, <16, 11>, <24, 102>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <7, 758, [ <0, 1>, <8, 2>, <16, 19>, <24, 84>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <7, 759, [ <0, 1>, <8, 2>, <16, 15>, <24, 92>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <7, 760, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 761, [ <0, 1>, <8, 3>, <16, 3>, <24, 114>, <32, 3>, <40, 3>, <48, 1> ]>,
    <7, 762, [ <0, 1>, <8, 2>, <16, 19>, <24, 84>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <7, 763, [ <0, 1>, <8, 4>, <16, 23>, <24, 72>, <32, 23>, <40, 4>, <48, 1> 
    ]>,
    <7, 764, [ <0, 1>, <8, 2>, <16, 11>, <24, 100>, <32, 11>, <40, 2>, <48, 1> 
    ]>,
    <7, 765, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 766, [ <0, 1>, <8, 3>, <16, 15>, <24, 90>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <7, 767, [ <0, 1>, <8, 2>, <16, 15>, <24, 92>, <32, 15>, <40, 2>, <48, 1> 
    ]>,
    <7, 768, [ <0, 1>, <8, 2>, <16, 11>, <24, 100>, <32, 11>, <40, 2>, <48, 1> 
    ]>,
    <7, 769, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 770, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 771, [ <0, 1>, <8, 1>, <16, 5>, <24, 114>, <32, 5>, <40, 1>, <48, 1> ]>,
    <7, 772, [ <0, 1>, <8, 1>, <16, 7>, <24, 110>, <32, 7>, <40, 1>, <48, 1> ]>,
    <7, 773, [ <0, 1>, <8, 2>, <16, 3>, <24, 116>, <32, 3>, <40, 2>, <48, 1> ]>,
    <7, 774, [ <0, 1>, <8, 1>, <16, 7>, <24, 110>, <32, 7>, <40, 1>, <48, 1> ]>,
    <7, 775, [ <0, 1>, <8, 3>, <16, 15>, <24, 90>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <7, 776, [ <0, 1>, <8, 1>, <16, 3>, <24, 118>, <32, 3>, <40, 1>, <48, 1> ]>,
    <7, 777, [ <0, 1>, <8, 7>, <16, 23>, <24, 66>, <32, 23>, <40, 7>, <48, 1> 
    ]>,
    <7, 778, [ <0, 1>, <8, 3>, <16, 27>, <24, 66>, <32, 27>, <40, 3>, <48, 1> 
    ]>,
    <7, 779, [ <0, 1>, <8, 6>, <16, 21>, <24, 72>, <32, 21>, <40, 6>, <48, 1> 
    ]>,
    <7, 780, [ <0, 1>, <8, 6>, <16, 13>, <24, 88>, <32, 13>, <40, 6>, <48, 1> 
    ]>,
    <7, 781, [ <0, 1>, <8, 7>, <16, 15>, <24, 82>, <32, 15>, <40, 7>, <48, 1> 
    ]>,
    <7, 782, [ <0, 1>, <8, 7>, <16, 7>, <24, 98>, <32, 7>, <40, 7>, <48, 1> ]>,
    <7, 783, [ <0, 1>, <8, 6>, <16, 11>, <24, 92>, <32, 11>, <40, 6>, <48, 1> 
    ]>,
    <7, 784, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 785, [ <0, 1>, <8, 6>, <16, 5>, <24, 104>, <32, 5>, <40, 6>, <48, 1> ]>,
    <7, 786, [ <0, 1>, <8, 6>, <16, 3>, <24, 108>, <32, 3>, <40, 6>, <48, 1> ]>,
    <7, 787, [ <0, 1>, <8, 3>, <16, 17>, <24, 86>, <32, 17>, <40, 3>, <48, 1> 
    ]>,
    <7, 788, [ <0, 1>, <8, 3>, <16, 9>, <24, 102>, <32, 9>, <40, 3>, <48, 1> ]>,
    <7, 789, [ <0, 1>, <8, 1>, <16, 27>, <24, 70>, <32, 27>, <40, 1>, <48, 1> 
    ]>,
    <7, 790, [ <0, 1>, <8, 6>, <16, 19>, <24, 76>, <32, 19>, <40, 6>, <48, 1> 
    ]>,
    <7, 791, [ <0, 1>, <8, 2>, <16, 19>, <24, 84>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <7, 792, [ <0, 1>, <8, 2>, <16, 27>, <24, 68>, <32, 27>, <40, 2>, <48, 1> 
    ]>,
    <7, 793, [ <0, 1>, <8, 10>, <16, 21>, <24, 64>, <32, 21>, <40, 10>, <48, 1> 
    ]>,
    <7, 794, [ <0, 1>, <8, 10>, <16, 5>, <24, 96>, <32, 5>, <40, 10>, <48, 1> 
    ]>,
    <7, 795, [ <0, 1>, <8, 21>, <16, 35>, <24, 14>, <32, 35>, <40, 21>, <48, 1> 
    ]>,
    <7, 796, [ <0, 1>, <8, 16>, <16, 31>, <24, 32>, <32, 31>, <40, 16>, <48, 1> 
    ]>,
    <7, 797, [ <0, 1>, <8, 12>, <16, 39>, <24, 24>, <32, 39>, <40, 12>, <48, 1> 
    ]>,
    <7, 798, [ <0, 1>, <8, 15>, <16, 27>, <24, 42>, <32, 27>, <40, 15>, <48, 1> 
    ]>,
    <7, 799, [ <0, 1>, <8, 6>, <16, 39>, <24, 36>, <32, 39>, <40, 6>, <48, 1> 
    ]>,
    <7, 800, [ <0, 1>, <8, 10>, <16, 31>, <24, 44>, <32, 31>, <40, 10>, <48, 1> 
    ]>,
    <7, 801, [ <0, 1>, <8, 6>, <16, 39>, <24, 36>, <32, 39>, <40, 6>, <48, 1> 
    ]>,
    <7, 802, [ <0, 1>, <8, 6>, <16, 31>, <24, 52>, <32, 31>, <40, 6>, <48, 1> 
    ]>,
    <7, 803, [ <0, 1>, <8, 4>, <16, 39>, <24, 40>, <32, 39>, <40, 4>, <48, 1> 
    ]>,
    <7, 804, [ <0, 1>, <8, 2>, <16, 39>, <24, 44>, <32, 39>, <40, 2>, <48, 1> 
    ]>,
    <7, 805, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 806, [ <0, 1>, <8, 6>, <16, 15>, <24, 84>, <32, 15>, <40, 6>, <48, 1> 
    ]>,
    <7, 807, [ <0, 1>, <8, 15>, <16, 15>, <24, 66>, <32, 15>, <40, 15>, <48, 1> 
    ]>,
    <7, 808, [ <0, 1>, <8, 4>, <16, 23>, <24, 72>, <32, 23>, <40, 4>, <48, 1> 
    ]>,
    <7, 809, [ <0, 1>, <8, 2>, <16, 23>, <24, 76>, <32, 23>, <40, 2>, <48, 1> 
    ]>,
    <7, 810, [ <0, 1>, <8, 4>, <16, 39>, <24, 40>, <32, 39>, <40, 4>, <48, 1> 
    ]>,
    <7, 811, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 812, [ <0, 1>, <8, 1>, <16, 39>, <24, 46>, <32, 39>, <40, 1>, <48, 1> 
    ]>,
    <7, 813, [ <0, 1>, <8, 2>, <16, 35>, <24, 52>, <32, 35>, <40, 2>, <48, 1> 
    ]>,
    <7, 814, [ <0, 1>, <8, 15>, <16, 47>, <24, 2>, <32, 47>, <40, 15>, <48, 1> 
    ]>,
    <7, 815, [ <0, 1>, <8, 8>, <16, 47>, <24, 16>, <32, 47>, <40, 8>, <48, 1> 
    ]>,
    <7, 816, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 817, [ <0, 1>, <8, 1>, <16, 27>, <24, 70>, <32, 27>, <40, 1>, <48, 1> 
    ]>,
    <7, 818, [ <0, 1>, <8, 1>, <16, 27>, <24, 70>, <32, 27>, <40, 1>, <48, 1> 
    ]>,
    <7, 819, [ <0, 1>, <8, 3>, <16, 39>, <24, 42>, <32, 39>, <40, 3>, <48, 1> 
    ]>,
    <7, 820, [ <0, 1>, <8, 3>, <16, 39>, <24, 42>, <32, 39>, <40, 3>, <48, 1> 
    ]>,
    <7, 821, [ <0, 1>, <8, 2>, <16, 39>, <24, 44>, <32, 39>, <40, 2>, <48, 1> 
    ]>,
    <7, 822, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 823, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 824, [ <0, 1>, <8, 1>, <16, 43>, <24, 38>, <32, 43>, <40, 1>, <48, 1> 
    ]>,
    <7, 825, [ <0, 1>, <8, 1>, <16, 35>, <24, 54>, <32, 35>, <40, 1>, <48, 1> 
    ]>,
    <7, 826, [ <0, 1>, <8, 1>, <16, 35>, <24, 54>, <32, 35>, <40, 1>, <48, 1> 
    ]>,
    <7, 827, [ <0, 1>, <16, 33>, <24, 60>, <32, 33>, <48, 1> ]>,
    <7, 828, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 829, [ <0, 1>, <8, 4>, <16, 55>, <24, 8>, <32, 55>, <40, 4>, <48, 1> ]>,
    <7, 830, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 831, [ <0, 1>, <8, 6>, <16, 39>, <24, 36>, <32, 39>, <40, 6>, <48, 1> 
    ]>,
    <7, 832, [ <0, 1>, <8, 10>, <16, 53>, <32, 53>, <40, 10>, <48, 1> ]>,
    <7, 833, [ <0, 1>, <8, 7>, <16, 55>, <24, 2>, <32, 55>, <40, 7>, <48, 1> ]>,
    <7, 834, [ <0, 1>, <8, 6>, <16, 57>, <32, 57>, <40, 6>, <48, 1> ]>,
    <7, 835, [ <0, 1>, <8, 6>, <16, 53>, <24, 8>, <32, 53>, <40, 6>, <48, 1> ]>,
    <7, 836, [ <0, 1>, <8, 5>, <16, 55>, <24, 6>, <32, 55>, <40, 5>, <48, 1> ]>,
    <7, 837, [ <0, 1>, <8, 4>, <16, 57>, <24, 4>, <32, 57>, <40, 4>, <48, 1> ]>,
    <7, 838, [ <0, 1>, <8, 3>, <16, 59>, <24, 2>, <32, 59>, <40, 3>, <48, 1> ]>,
    <7, 839, [ <0, 1>, <8, 7>, <16, 31>, <24, 50>, <32, 31>, <40, 7>, <48, 1> 
    ]>,
    <7, 840, [ <0, 1>, <8, 6>, <16, 29>, <24, 56>, <32, 29>, <40, 6>, <48, 1> 
    ]>,
    <7, 841, [ <0, 1>, <8, 5>, <16, 31>, <24, 54>, <32, 31>, <40, 5>, <48, 1> 
    ]>,
    <7, 842, [ <0, 1>, <8, 4>, <16, 33>, <24, 52>, <32, 33>, <40, 4>, <48, 1> 
    ]>,
    <7, 843, [ <0, 1>, <8, 6>, <16, 27>, <24, 60>, <32, 27>, <40, 6>, <48, 1> 
    ]>,
    <7, 844, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 845, [ <0, 1>, <8, 4>, <16, 29>, <24, 60>, <32, 29>, <40, 4>, <48, 1> 
    ]>,
    <7, 846, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 847, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 848, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 849, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 850, [ <0, 1>, <8, 2>, <16, 35>, <24, 52>, <32, 35>, <40, 2>, <48, 1> 
    ]>,
    <7, 851, [ <0, 1>, <8, 2>, <16, 33>, <24, 56>, <32, 33>, <40, 2>, <48, 1> 
    ]>,
    <7, 852, [ <0, 1>, <8, 3>, <16, 33>, <24, 54>, <32, 33>, <40, 3>, <48, 1> 
    ]>,
    <7, 853, [ <0, 1>, <8, 3>, <16, 29>, <24, 62>, <32, 29>, <40, 3>, <48, 1> 
    ]>,
    <7, 854, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 855, [ <0, 1>, <8, 2>, <16, 33>, <24, 56>, <32, 33>, <40, 2>, <48, 1> 
    ]>,
    <7, 856, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 857, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 858, [ <0, 1>, <8, 3>, <16, 29>, <24, 62>, <32, 29>, <40, 3>, <48, 1> 
    ]>,
    <7, 859, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 860, [ <0, 1>, <8, 2>, <16, 33>, <24, 56>, <32, 33>, <40, 2>, <48, 1> 
    ]>,
    <7, 861, [ <0, 1>, <8, 3>, <16, 27>, <24, 66>, <32, 27>, <40, 3>, <48, 1> 
    ]>,
    <7, 862, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 863, [ <0, 1>, <8, 2>, <16, 29>, <24, 64>, <32, 29>, <40, 2>, <48, 1> 
    ]>,
    <7, 864, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 865, [ <0, 1>, <8, 1>, <16, 35>, <24, 54>, <32, 35>, <40, 1>, <48, 1> 
    ]>,
    <7, 866, [ <0, 1>, <8, 1>, <16, 33>, <24, 58>, <32, 33>, <40, 1>, <48, 1> 
    ]>,
    <7, 867, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 868, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 869, [ <0, 1>, <16, 35>, <24, 56>, <32, 35>, <48, 1> ]>,
    <7, 870, [ <0, 1>, <8, 6>, <16, 21>, <24, 72>, <32, 21>, <40, 6>, <48, 1> 
    ]>,
    <7, 871, [ <0, 1>, <8, 4>, <16, 21>, <24, 76>, <32, 21>, <40, 4>, <48, 1> 
    ]>,
    <7, 872, [ <0, 1>, <8, 3>, <16, 23>, <24, 74>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <7, 873, [ <0, 1>, <8, 3>, <16, 19>, <24, 82>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <7, 874, [ <0, 1>, <8, 4>, <16, 17>, <24, 84>, <32, 17>, <40, 4>, <48, 1> 
    ]>,
    <7, 875, [ <0, 1>, <8, 3>, <16, 19>, <24, 82>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <7, 876, [ <0, 1>, <8, 2>, <16, 21>, <24, 80>, <32, 21>, <40, 2>, <48, 1> 
    ]>,
    <7, 877, [ <0, 1>, <8, 4>, <16, 17>, <24, 84>, <32, 17>, <40, 4>, <48, 1> 
    ]>,
    <7, 878, [ <0, 1>, <8, 2>, <16, 21>, <24, 80>, <32, 21>, <40, 2>, <48, 1> 
    ]>,
    <7, 879, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 880, [ <0, 1>, <8, 3>, <16, 17>, <24, 86>, <32, 17>, <40, 3>, <48, 1> 
    ]>,
    <7, 881, [ <0, 1>, <8, 3>, <16, 15>, <24, 90>, <32, 15>, <40, 3>, <48, 1> 
    ]>,
    <7, 882, [ <0, 1>, <8, 2>, <16, 19>, <24, 84>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <7, 883, [ <0, 1>, <8, 2>, <16, 17>, <24, 88>, <32, 17>, <40, 2>, <48, 1> 
    ]>,
    <7, 884, [ <0, 1>, <8, 2>, <16, 19>, <24, 84>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <7, 885, [ <0, 1>, <8, 2>, <16, 21>, <24, 80>, <32, 21>, <40, 2>, <48, 1> 
    ]>,
    <7, 886, [ <0, 1>, <8, 1>, <16, 21>, <24, 82>, <32, 21>, <40, 1>, <48, 1> 
    ]>,
    <7, 887, [ <0, 1>, <8, 2>, <16, 17>, <24, 88>, <32, 17>, <40, 2>, <48, 1> 
    ]>,
    <7, 888, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 889, [ <0, 1>, <8, 2>, <16, 19>, <24, 84>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <7, 890, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 891, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 892, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 893, [ <0, 1>, <16, 23>, <24, 80>, <32, 23>, <48, 1> ]>,
    <7, 894, [ <0, 1>, <16, 21>, <24, 84>, <32, 21>, <48, 1> ]>,
    <7, 895, [ <0, 1>, <8, 2>, <16, 19>, <24, 84>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <7, 896, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 897, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 898, [ <0, 1>, <8, 1>, <16, 17>, <24, 90>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <7, 899, [ <0, 1>, <8, 2>, <16, 23>, <24, 76>, <32, 23>, <40, 2>, <48, 1> 
    ]>,
    <7, 900, [ <0, 1>, <8, 1>, <16, 21>, <24, 82>, <32, 21>, <40, 1>, <48, 1> 
    ]>,
    <7, 901, [ <0, 1>, <8, 2>, <16, 19>, <24, 84>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <7, 902, [ <0, 1>, <8, 1>, <16, 17>, <24, 90>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <7, 903, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 904, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 905, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 906, [ <0, 1>, <16, 23>, <24, 80>, <32, 23>, <48, 1> ]>,
    <7, 907, [ <0, 1>, <16, 21>, <24, 84>, <32, 21>, <48, 1> ]>,
    <7, 908, [ <0, 1>, <16, 19>, <24, 88>, <32, 19>, <48, 1> ]>,
    <7, 909, [ <0, 1>, <8, 4>, <16, 21>, <24, 76>, <32, 21>, <40, 4>, <48, 1> 
    ]>,
    <7, 910, [ <0, 1>, <8, 2>, <16, 21>, <24, 80>, <32, 21>, <40, 2>, <48, 1> 
    ]>,
    <7, 911, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 912, [ <0, 1>, <8, 2>, <16, 17>, <24, 88>, <32, 17>, <40, 2>, <48, 1> 
    ]>,
    <7, 913, [ <0, 1>, <8, 3>, <16, 17>, <24, 86>, <32, 17>, <40, 3>, <48, 1> 
    ]>,
    <7, 914, [ <0, 1>, <8, 1>, <16, 21>, <24, 82>, <32, 21>, <40, 1>, <48, 1> 
    ]>,
    <7, 915, [ <0, 1>, <16, 23>, <24, 80>, <32, 23>, <48, 1> ]>,
    <7, 916, [ <0, 1>, <8, 1>, <16, 17>, <24, 90>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <7, 917, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 918, [ <0, 1>, <16, 21>, <24, 84>, <32, 21>, <48, 1> ]>,
    <7, 919, [ <0, 1>, <8, 1>, <16, 17>, <24, 90>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <7, 920, [ <0, 1>, <16, 19>, <24, 88>, <32, 19>, <48, 1> ]>,
    <7, 921, [ <0, 1>, <16, 17>, <24, 92>, <32, 17>, <48, 1> ]>,
    <7, 922, [ <0, 1>, <8, 4>, <16, 17>, <24, 84>, <32, 17>, <40, 4>, <48, 1> 
    ]>,
    <7, 923, [ <0, 1>, <8, 2>, <16, 17>, <24, 88>, <32, 17>, <40, 2>, <48, 1> 
    ]>,
    <7, 924, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 925, [ <0, 1>, <8, 2>, <16, 13>, <24, 96>, <32, 13>, <40, 2>, <48, 1> 
    ]>,
    <7, 926, [ <0, 1>, <8, 2>, <16, 13>, <24, 96>, <32, 13>, <40, 2>, <48, 1> 
    ]>,
    <7, 927, [ <0, 1>, <8, 3>, <16, 11>, <24, 98>, <32, 11>, <40, 3>, <48, 1> 
    ]>,
    <7, 928, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 929, [ <0, 1>, <16, 17>, <24, 92>, <32, 17>, <48, 1> ]>,
    <7, 930, [ <0, 1>, <8, 1>, <16, 13>, <24, 98>, <32, 13>, <40, 1>, <48, 1> 
    ]>,
    <7, 931, [ <0, 1>, <8, 1>, <16, 11>, <24, 102>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <7, 932, [ <0, 1>, <8, 1>, <16, 13>, <24, 98>, <32, 13>, <40, 1>, <48, 1> 
    ]>,
    <7, 933, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 934, [ <0, 1>, <16, 15>, <24, 96>, <32, 15>, <48, 1> ]>,
    <7, 935, [ <0, 1>, <8, 1>, <16, 11>, <24, 102>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <7, 936, [ <0, 1>, <16, 13>, <24, 100>, <32, 13>, <48, 1> ]>,
    <7, 937, [ <0, 1>, <16, 15>, <24, 96>, <32, 15>, <48, 1> ]>,
    <7, 938, [ <0, 1>, <16, 17>, <24, 92>, <32, 17>, <48, 1> ]>,
    <7, 939, [ <0, 1>, <16, 13>, <24, 100>, <32, 13>, <48, 1> ]>,
    <7, 940, [ <0, 1>, <16, 11>, <24, 104>, <32, 11>, <48, 1> ]>,
    <7, 941, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 942, [ <0, 1>, <16, 15>, <24, 96>, <32, 15>, <48, 1> ]>,
    <7, 943, [ <0, 1>, <8, 3>, <16, 17>, <24, 86>, <32, 17>, <40, 3>, <48, 1> 
    ]>,
    <7, 944, [ <0, 1>, <8, 1>, <16, 17>, <24, 90>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <7, 945, [ <0, 1>, <16, 15>, <24, 96>, <32, 15>, <48, 1> ]>,
    <7, 946, [ <0, 1>, <8, 1>, <16, 13>, <24, 98>, <32, 13>, <40, 1>, <48, 1> 
    ]>,
    <7, 947, [ <0, 1>, <16, 11>, <24, 104>, <32, 11>, <48, 1> ]>,
    <7, 948, [ <0, 1>, <16, 13>, <24, 100>, <32, 13>, <48, 1> ]>,
    <7, 949, [ <0, 1>, <8, 18>, <16, 45>, <32, 45>, <40, 18>, <48, 1> ]>,
    <7, 950, [ <0, 1>, <8, 10>, <16, 45>, <24, 16>, <32, 45>, <40, 10>, <48, 1> 
    ]>,
    <7, 951, [ <0, 1>, <8, 17>, <16, 31>, <24, 30>, <32, 31>, <40, 17>, <48, 1> 
    ]>,
    <7, 952, [ <0, 1>, <8, 9>, <16, 47>, <24, 14>, <32, 47>, <40, 9>, <48, 1> 
    ]>,
    <7, 953, [ <0, 1>, <8, 6>, <16, 37>, <24, 40>, <32, 37>, <40, 6>, <48, 1> 
    ]>,
    <7, 954, [ <0, 1>, <8, 10>, <16, 29>, <24, 48>, <32, 29>, <40, 10>, <48, 1> 
    ]>,
    <7, 955, [ <0, 1>, <8, 9>, <16, 31>, <24, 46>, <32, 31>, <40, 9>, <48, 1> 
    ]>,
    <7, 956, [ <0, 1>, <8, 5>, <16, 39>, <24, 38>, <32, 39>, <40, 5>, <48, 1> 
    ]>,
    <7, 957, [ <0, 1>, <8, 16>, <16, 17>, <24, 60>, <32, 17>, <40, 16>, <48, 1> 
    ]>,
    <7, 958, [ <0, 1>, <8, 8>, <16, 33>, <24, 44>, <32, 33>, <40, 8>, <48, 1> 
    ]>,
    <7, 959, [ <0, 1>, <8, 4>, <16, 41>, <24, 36>, <32, 41>, <40, 4>, <48, 1> 
    ]>,
    <7, 960, [ <0, 1>, <8, 4>, <16, 29>, <24, 60>, <32, 29>, <40, 4>, <48, 1> 
    ]>,
    <7, 961, [ <0, 1>, <8, 6>, <16, 29>, <24, 56>, <32, 29>, <40, 6>, <48, 1> 
    ]>,
    <7, 962, [ <0, 1>, <8, 5>, <16, 31>, <24, 54>, <32, 31>, <40, 5>, <48, 1> 
    ]>,
    <7, 963, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 964, [ <0, 1>, <8, 5>, <16, 23>, <24, 70>, <32, 23>, <40, 5>, <48, 1> 
    ]>,
    <7, 965, [ <0, 1>, <8, 9>, <16, 31>, <24, 46>, <32, 31>, <40, 9>, <48, 1> 
    ]>,
    <7, 966, [ <0, 1>, <8, 5>, <16, 31>, <24, 54>, <32, 31>, <40, 5>, <48, 1> 
    ]>,
    <7, 967, [ <0, 1>, <8, 8>, <16, 33>, <24, 44>, <32, 33>, <40, 8>, <48, 1> 
    ]>,
    <7, 968, [ <0, 1>, <8, 4>, <16, 33>, <24, 52>, <32, 33>, <40, 4>, <48, 1> 
    ]>,
    <7, 969, [ <0, 1>, <8, 8>, <16, 17>, <24, 76>, <32, 17>, <40, 8>, <48, 1> 
    ]>,
    <7, 970, [ <0, 1>, <8, 2>, <16, 33>, <24, 56>, <32, 33>, <40, 2>, <48, 1> 
    ]>,
    <7, 971, [ <0, 1>, <8, 4>, <16, 25>, <24, 68>, <32, 25>, <40, 4>, <48, 1> 
    ]>,
    <7, 972, [ <0, 1>, <8, 16>, <16, 31>, <24, 32>, <32, 31>, <40, 16>, <48, 1> 
    ]>,
    <7, 973, [ <0, 1>, <8, 8>, <16, 31>, <24, 48>, <32, 31>, <40, 8>, <48, 1> 
    ]>,
    <7, 974, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 975, [ <0, 1>, <8, 8>, <16, 31>, <24, 48>, <32, 31>, <40, 8>, <48, 1> 
    ]>,
    <7, 976, [ <0, 1>, <8, 15>, <16, 3>, <24, 90>, <32, 3>, <40, 15>, <48, 1> 
    ]>,
    <7, 977, [ <0, 1>, <8, 7>, <16, 35>, <24, 42>, <32, 35>, <40, 7>, <48, 1> 
    ]>,
    <7, 978, [ <0, 1>, <8, 7>, <16, 19>, <24, 74>, <32, 19>, <40, 7>, <48, 1> 
    ]>,
    <7, 979, [ <0, 1>, <8, 3>, <16, 35>, <24, 50>, <32, 35>, <40, 3>, <48, 1> 
    ]>,
    <7, 980, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 981, [ <0, 1>, <8, 3>, <16, 27>, <24, 66>, <32, 27>, <40, 3>, <48, 1> 
    ]>,
    <7, 982, [ <0, 1>, <8, 1>, <16, 35>, <24, 54>, <32, 35>, <40, 1>, <48, 1> 
    ]>,
    <7, 983, [ <0, 1>, <8, 3>, <16, 25>, <24, 70>, <32, 25>, <40, 3>, <48, 1> 
    ]>,
    <7, 984, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 985, [ <0, 1>, <8, 2>, <16, 27>, <24, 68>, <32, 27>, <40, 2>, <48, 1> 
    ]>,
    <7, 986, [ <0, 1>, <8, 3>, <16, 23>, <24, 74>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <7, 987, [ <0, 1>, <8, 5>, <16, 31>, <24, 54>, <32, 31>, <40, 5>, <48, 1> 
    ]>,
    <7, 988, [ <0, 1>, <8, 3>, <16, 23>, <24, 74>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <7, 989, [ <0, 1>, <8, 4>, <16, 41>, <24, 36>, <32, 41>, <40, 4>, <48, 1> 
    ]>,
    <7, 990, [ <0, 1>, <8, 2>, <16, 33>, <24, 56>, <32, 33>, <40, 2>, <48, 1> 
    ]>,
    <7, 991, [ <0, 1>, <8, 4>, <16, 25>, <24, 68>, <32, 25>, <40, 4>, <48, 1> 
    ]>,
    <7, 992, [ <0, 1>, <8, 1>, <16, 29>, <24, 66>, <32, 29>, <40, 1>, <48, 1> 
    ]>,
    <7, 993, [ <0, 1>, <8, 2>, <16, 25>, <24, 72>, <32, 25>, <40, 2>, <48, 1> 
    ]>,
    <7, 994, [ <0, 1>, <8, 4>, <16, 17>, <24, 84>, <32, 17>, <40, 4>, <48, 1> 
    ]>,
    <7, 995, [ <0, 1>, <8, 8>, <16, 47>, <24, 16>, <32, 47>, <40, 8>, <48, 1> 
    ]>,
    <7, 996, [ <0, 1>, <8, 4>, <16, 39>, <24, 40>, <32, 39>, <40, 4>, <48, 1> 
    ]>,
    <7, 997, [ <0, 1>, <8, 8>, <16, 31>, <24, 48>, <32, 31>, <40, 8>, <48, 1> 
    ]>,
    <7, 998, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 999, [ <0, 1>, <8, 4>, <16, 23>, <24, 72>, <32, 23>, <40, 4>, <48, 1> 
    ]>,
    <7, 1000, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 1001, [ <0, 1>, <8, 4>, <16, 31>, <24, 56>, <32, 31>, <40, 4>, <48, 1> 
    ]>,
    <7, 1002, [ <0, 1>, <8, 7>, <16, 19>, <24, 74>, <32, 19>, <40, 7>, <48, 1> 
    ]>,
    <7, 1003, [ <0, 1>, <8, 3>, <16, 35>, <24, 50>, <32, 35>, <40, 3>, <48, 1> 
    ]>,
    <7, 1004, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 1005, [ <0, 1>, <8, 3>, <16, 27>, <24, 66>, <32, 27>, <40, 3>, <48, 1> 
    ]>,
    <7, 1006, [ <0, 1>, <8, 1>, <16, 35>, <24, 54>, <32, 35>, <40, 1>, <48, 1> 
    ]>,
    <7, 1007, [ <0, 1>, <8, 1>, <16, 27>, <24, 70>, <32, 27>, <40, 1>, <48, 1> 
    ]>,
    <7, 1008, [ <0, 1>, <8, 2>, <16, 23>, <24, 76>, <32, 23>, <40, 2>, <48, 1> 
    ]>,
    <7, 1009, [ <0, 1>, <8, 1>, <16, 27>, <24, 70>, <32, 27>, <40, 1>, <48, 1> 
    ]>,
    <7, 1010, [ <0, 1>, <16, 31>, <24, 64>, <32, 31>, <48, 1> ]>,
    <7, 1011, [ <0, 1>, <8, 3>, <16, 19>, <24, 82>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <7, 1012, [ <0, 1>, <8, 1>, <16, 27>, <24, 70>, <32, 27>, <40, 1>, <48, 1> 
    ]>,
    <7, 1013, [ <0, 1>, <8, 16>, <16, 45>, <24, 4>, <32, 45>, <40, 16>, <48, 1> 
    ]>,
    <7, 1014, [ <0, 1>, <8, 8>, <16, 45>, <24, 20>, <32, 45>, <40, 8>, <48, 1> 
    ]>,
    <7, 1015, [ <0, 1>, <8, 4>, <16, 37>, <24, 44>, <32, 37>, <40, 4>, <48, 1> 
    ]>,
    <7, 1016, [ <0, 1>, <8, 8>, <16, 29>, <24, 52>, <32, 29>, <40, 8>, <48, 1> 
    ]>,
    <7, 1017, [ <0, 1>, <8, 15>, <16, 17>, <24, 62>, <32, 17>, <40, 15>, <48, 1>
    ]>,
    <7, 1018, [ <0, 1>, <8, 7>, <16, 33>, <24, 46>, <32, 33>, <40, 7>, <48, 1> 
    ]>,
    <7, 1019, [ <0, 1>, <8, 3>, <16, 41>, <24, 38>, <32, 41>, <40, 3>, <48, 1> 
    ]>,
    <7, 1020, [ <0, 1>, <8, 2>, <16, 29>, <24, 64>, <32, 29>, <40, 2>, <48, 1> 
    ]>,
    <7, 1021, [ <0, 1>, <8, 4>, <16, 29>, <24, 60>, <32, 29>, <40, 4>, <48, 1> 
    ]>,
    <7, 1022, [ <0, 1>, <8, 3>, <16, 33>, <24, 54>, <32, 33>, <40, 3>, <48, 1> 
    ]>,
    <7, 1023, [ <0, 1>, <8, 7>, <16, 17>, <24, 78>, <32, 17>, <40, 7>, <48, 1> 
    ]>,
    <7, 1024, [ <0, 1>, <8, 1>, <16, 33>, <24, 58>, <32, 33>, <40, 1>, <48, 1> 
    ]>,
    <7, 1025, [ <0, 1>, <8, 3>, <16, 25>, <24, 70>, <32, 25>, <40, 3>, <48, 1> 
    ]>,
    <7, 1026, [ <0, 1>, <8, 1>, <16, 25>, <24, 74>, <32, 25>, <40, 1>, <48, 1> 
    ]>,
    <7, 1027, [ <0, 1>, <16, 29>, <24, 68>, <32, 29>, <48, 1> ]>,
    <7, 1028, [ <0, 1>, <8, 1>, <16, 25>, <24, 74>, <32, 25>, <40, 1>, <48, 1> 
    ]>,
    <7, 1029, [ <0, 1>, <8, 3>, <16, 17>, <24, 86>, <32, 17>, <40, 3>, <48, 1> 
    ]>,
    <7, 1030, [ <0, 1>, <8, 8>, <16, 25>, <24, 60>, <32, 25>, <40, 8>, <48, 1> 
    ]>,
    <7, 1031, [ <0, 1>, <8, 4>, <16, 25>, <24, 68>, <32, 25>, <40, 4>, <48, 1> 
    ]>,
    <7, 1032, [ <0, 1>, <8, 2>, <16, 21>, <24, 80>, <32, 21>, <40, 2>, <48, 1> 
    ]>,
    <7, 1033, [ <0, 1>, <8, 4>, <16, 17>, <24, 84>, <32, 17>, <40, 4>, <48, 1> 
    ]>,
    <7, 1034, [ <0, 1>, <8, 7>, <16, 11>, <24, 90>, <32, 11>, <40, 7>, <48, 1> 
    ]>,
    <7, 1035, [ <0, 1>, <8, 3>, <16, 19>, <24, 82>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <7, 1036, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 1037, [ <0, 1>, <8, 1>, <16, 17>, <24, 90>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <7, 1038, [ <0, 1>, <8, 2>, <16, 17>, <24, 88>, <32, 17>, <40, 2>, <48, 1> 
    ]>,
    <7, 1039, [ <0, 1>, <8, 3>, <16, 19>, <24, 82>, <32, 19>, <40, 3>, <48, 1> 
    ]>,
    <7, 1040, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 1041, [ <0, 1>, <8, 3>, <16, 11>, <24, 98>, <32, 11>, <40, 3>, <48, 1> 
    ]>,
    <7, 1042, [ <0, 1>, <16, 19>, <24, 88>, <32, 19>, <48, 1> ]>,
    <7, 1043, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 1044, [ <0, 1>, <8, 1>, <16, 17>, <24, 90>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <7, 1045, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 1046, [ <0, 1>, <16, 19>, <24, 88>, <32, 19>, <48, 1> ]>,
    <7, 1047, [ <0, 1>, <8, 1>, <16, 15>, <24, 94>, <32, 15>, <40, 1>, <48, 1> 
    ]>,
    <7, 1048, [ <0, 1>, <16, 15>, <24, 96>, <32, 15>, <48, 1> ]>,
    <7, 1049, [ <0, 1>, <8, 1>, <16, 11>, <24, 102>, <32, 11>, <40, 1>, <48, 1> 
    ]>,
    <7, 1050, [ <0, 1>, <8, 3>, <16, 27>, <24, 66>, <32, 27>, <40, 3>, <48, 1> 
    ]>,
    <7, 1051, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 1052, [ <0, 1>, <8, 7>, <16, 25>, <24, 62>, <32, 25>, <40, 7>, <48, 1> 
    ]>,
    <7, 1053, [ <0, 1>, <8, 3>, <16, 25>, <24, 70>, <32, 25>, <40, 3>, <48, 1> 
    ]>,
    <7, 1054, [ <0, 1>, <8, 1>, <16, 21>, <24, 82>, <32, 21>, <40, 1>, <48, 1> 
    ]>,
    <7, 1055, [ <0, 1>, <8, 3>, <16, 17>, <24, 86>, <32, 17>, <40, 3>, <48, 1> 
    ]>,
    <7, 1056, [ <0, 1>, <16, 17>, <24, 92>, <32, 17>, <48, 1> ]>,
    <7, 1057, [ <0, 1>, <8, 1>, <16, 17>, <24, 90>, <32, 17>, <40, 1>, <48, 1> 
    ]>,
    <7, 1058, [ <0, 1>, <8, 6>, <16, 51>, <24, 12>, <32, 51>, <40, 6>, <48, 1> 
    ]>,
    <7, 1059, [ <0, 1>, <8, 4>, <16, 55>, <24, 8>, <32, 55>, <40, 4>, <48, 1> 
    ]>,
    <7, 1060, [ <0, 1>, <8, 4>, <16, 53>, <24, 12>, <32, 53>, <40, 4>, <48, 1> 
    ]>,
    <7, 1061, [ <0, 1>, <8, 3>, <16, 55>, <24, 10>, <32, 55>, <40, 3>, <48, 1> 
    ]>,
    <7, 1062, [ <0, 1>, <8, 3>, <16, 55>, <24, 10>, <32, 55>, <40, 3>, <48, 1> 
    ]>,
    <7, 1063, [ <0, 1>, <8, 2>, <16, 59>, <24, 4>, <32, 59>, <40, 2>, <48, 1> 
    ]>,
    <7, 1064, [ <0, 1>, <8, 2>, <16, 57>, <24, 8>, <32, 57>, <40, 2>, <48, 1> 
    ]>,
    <7, 1065, [ <0, 1>, <8, 1>, <16, 59>, <24, 6>, <32, 59>, <40, 1>, <48, 1> 
    ]>,
    <7, 1066, [ <0, 1>, <16, 63>, <32, 63>, <48, 1> ]>,
    <7, 1067, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 1068, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 1069, [ <0, 1>, <8, 2>, <16, 35>, <24, 52>, <32, 35>, <40, 2>, <48, 1> 
    ]>,
    <7, 1070, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 1071, [ <0, 1>, <8, 2>, <16, 29>, <24, 64>, <32, 29>, <40, 2>, <48, 1> 
    ]>,
    <7, 1072, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 1073, [ <0, 1>, <8, 2>, <16, 31>, <24, 60>, <32, 31>, <40, 2>, <48, 1> 
    ]>,
    <7, 1074, [ <0, 1>, <8, 1>, <16, 35>, <24, 54>, <32, 35>, <40, 1>, <48, 1> 
    ]>,
    <7, 1075, [ <0, 1>, <8, 1>, <16, 33>, <24, 58>, <32, 33>, <40, 1>, <48, 1> 
    ]>,
    <7, 1076, [ <0, 1>, <8, 2>, <16, 27>, <24, 68>, <32, 27>, <40, 2>, <48, 1> 
    ]>,
    <7, 1077, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 1078, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 1079, [ <0, 1>, <8, 1>, <16, 29>, <24, 66>, <32, 29>, <40, 1>, <48, 1> 
    ]>,
    <7, 1080, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 1081, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 1082, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 1083, [ <0, 1>, <16, 35>, <24, 56>, <32, 35>, <48, 1> ]>,
    <7, 1084, [ <0, 1>, <16, 35>, <24, 56>, <32, 35>, <48, 1> ]>,
    <7, 1085, [ <0, 1>, <16, 33>, <24, 60>, <32, 33>, <48, 1> ]>,
    <7, 1086, [ <0, 1>, <16, 31>, <24, 64>, <32, 31>, <48, 1> ]>,
    <7, 1087, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 1088, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 1089, [ <0, 1>, <16, 27>, <24, 72>, <32, 27>, <48, 1> ]>,
    <7, 1090, [ <0, 1>, <8, 2>, <16, 19>, <24, 84>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <7, 1091, [ <0, 1>, <8, 1>, <16, 19>, <24, 86>, <32, 19>, <40, 1>, <48, 1> 
    ]>,
    <7, 1092, [ <0, 1>, <16, 23>, <24, 80>, <32, 23>, <48, 1> ]>,
    <7, 1093, [ <0, 1>, <16, 21>, <24, 84>, <32, 21>, <48, 1> ]>,
    <7, 1094, [ <0, 1>, <16, 19>, <24, 88>, <32, 19>, <48, 1> ]>,
    <7, 1095, [ <0, 1>, <16, 19>, <24, 88>, <32, 19>, <48, 1> ]>,
    <7, 1096, [ <0, 1>, <16, 17>, <24, 92>, <32, 17>, <48, 1> ]>,
    <7, 1097, [ <0, 1>, <16, 19>, <24, 88>, <32, 19>, <48, 1> ]>,
    <7, 1098, [ <0, 1>, <16, 19>, <24, 88>, <32, 19>, <48, 1> ]>,
    <7, 1099, [ <0, 1>, <8, 17>, <16, 43>, <24, 6>, <32, 43>, <40, 17>, <48, 1> 
    ]>,
    <7, 1100, [ <0, 1>, <8, 16>, <16, 31>, <24, 32>, <32, 31>, <40, 16>, <48, 1>
    ]>,
    <7, 1101, [ <0, 1>, <8, 15>, <16, 19>, <24, 58>, <32, 19>, <40, 15>, <48, 1>
    ]>,
    <7, 1102, [ <0, 1>, <8, 14>, <16, 7>, <24, 84>, <32, 7>, <40, 14>, <48, 1> 
    ]>,
    <7, 1103, [ <0, 1>, <8, 31>, <16, 31>, <24, 2>, <32, 31>, <40, 31>, <48, 1> 
    ]>,
    <7, 1104, [ <0, 1>, <8, 15>, <16, 47>, <24, 2>, <32, 47>, <40, 15>, <48, 1> 
    ]>,
    <7, 1105, [ <0, 1>, <8, 7>, <16, 47>, <24, 18>, <32, 47>, <40, 7>, <48, 1> 
    ]>,
    <7, 1106, [ <0, 1>, <8, 15>, <16, 31>, <24, 34>, <32, 31>, <40, 15>, <48, 1>
    ]>,
    <7, 1107, [ <0, 1>, <8, 30>, <16, 3>, <24, 60>, <32, 3>, <40, 30>, <48, 1> 
    ]>,
    <7, 1108, [ <0, 1>, <8, 15>, <16, 31>, <24, 34>, <32, 31>, <40, 15>, <48, 1>
    ]>,
    <7, 1109, [ <0, 1>, <8, 14>, <16, 35>, <24, 28>, <32, 35>, <40, 14>, <48, 1>
    ]>,
    <7, 1110, [ <0, 1>, <8, 7>, <16, 47>, <24, 18>, <32, 47>, <40, 7>, <48, 1> 
    ]>,
    <7, 1111, [ <0, 1>, <8, 3>, <16, 39>, <24, 42>, <32, 39>, <40, 3>, <48, 1> 
    ]>,
    <7, 1112, [ <0, 1>, <8, 7>, <16, 31>, <24, 50>, <32, 31>, <40, 7>, <48, 1> 
    ]>,
    <7, 1113, [ <0, 1>, <8, 15>, <16, 15>, <24, 66>, <32, 15>, <40, 15>, <48, 1>
    ]>,
    <7, 1114, [ <0, 1>, <8, 14>, <16, 19>, <24, 60>, <32, 19>, <40, 14>, <48, 1>
    ]>,
    <7, 1115, [ <0, 1>, <8, 7>, <16, 31>, <24, 50>, <32, 31>, <40, 7>, <48, 1> 
    ]>,
    <7, 1116, [ <0, 1>, <8, 6>, <16, 35>, <24, 44>, <32, 35>, <40, 6>, <48, 1> 
    ]>,
    <7, 1117, [ <0, 1>, <8, 3>, <16, 39>, <24, 42>, <32, 39>, <40, 3>, <48, 1> 
    ]>,
    <7, 1118, [ <0, 1>, <8, 2>, <16, 43>, <24, 36>, <32, 43>, <40, 2>, <48, 1> 
    ]>,
    <7, 1119, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 1120, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 1121, [ <0, 1>, <8, 7>, <16, 31>, <24, 50>, <32, 31>, <40, 7>, <48, 1> 
    ]>,
    <7, 1122, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 1123, [ <0, 1>, <8, 2>, <16, 35>, <24, 52>, <32, 35>, <40, 2>, <48, 1> 
    ]>,
    <7, 1124, [ <0, 1>, <8, 6>, <16, 19>, <24, 76>, <32, 19>, <40, 6>, <48, 1> 
    ]>,
    <7, 1125, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 1126, [ <0, 1>, <8, 3>, <16, 23>, <24, 74>, <32, 23>, <40, 3>, <48, 1> 
    ]>,
    <7, 1127, [ <0, 1>, <16, 35>, <24, 56>, <32, 35>, <48, 1> ]>,
    <7, 1128, [ <0, 1>, <8, 2>, <16, 27>, <24, 68>, <32, 27>, <40, 2>, <48, 1> 
    ]>,
    <7, 1129, [ <0, 1>, <8, 7>, <16, 31>, <24, 50>, <32, 31>, <40, 7>, <48, 1> 
    ]>,
    <7, 1130, [ <0, 1>, <8, 6>, <16, 35>, <24, 44>, <32, 35>, <40, 6>, <48, 1> 
    ]>,
    <7, 1131, [ <0, 1>, <8, 14>, <16, 3>, <24, 92>, <32, 3>, <40, 14>, <48, 1> 
    ]>,
    <7, 1132, [ <0, 1>, <8, 3>, <16, 31>, <24, 58>, <32, 31>, <40, 3>, <48, 1> 
    ]>,
    <7, 1133, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 1134, [ <0, 1>, <8, 1>, <16, 31>, <24, 62>, <32, 31>, <40, 1>, <48, 1> 
    ]>,
    <7, 1135, [ <0, 1>, <16, 27>, <24, 72>, <32, 27>, <48, 1> ]>,
    <7, 1136, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 1137, [ <0, 1>, <16, 27>, <24, 72>, <32, 27>, <48, 1> ]>,
    <7, 1138, [ <0, 1>, <8, 2>, <16, 19>, <24, 84>, <32, 19>, <40, 2>, <48, 1> 
    ]>,
    <7, 1139, [ <0, 1>, <16, 23>, <24, 80>, <32, 23>, <48, 1> ]>,
    <7, 1140, [ <0, 1>, <8, 10>, <16, 53>, <32, 53>, <40, 10>, <48, 1> ]>,
    <7, 1141, [ <0, 1>, <8, 6>, <16, 53>, <24, 8>, <32, 53>, <40, 6>, <48, 1> 
    ]>,
    <7, 1142, [ <0, 1>, <8, 8>, <16, 53>, <24, 4>, <32, 53>, <40, 8>, <48, 1> 
    ]>,
    <7, 1143, [ <0, 1>, <8, 6>, <16, 29>, <24, 56>, <32, 29>, <40, 6>, <48, 1> 
    ]>,
    <7, 1144, [ <0, 1>, <8, 4>, <16, 33>, <24, 52>, <32, 33>, <40, 4>, <48, 1> 
    ]>,
    <7, 1145, [ <0, 1>, <8, 4>, <16, 33>, <24, 52>, <32, 33>, <40, 4>, <48, 1> 
    ]>,
    <7, 1146, [ <0, 1>, <8, 4>, <16, 29>, <24, 60>, <32, 29>, <40, 4>, <48, 1> 
    ]>,
    <7, 1147, [ <0, 1>, <8, 2>, <16, 33>, <24, 56>, <32, 33>, <40, 2>, <48, 1> 
    ]>,
    <7, 1148, [ <0, 1>, <8, 4>, <16, 29>, <24, 60>, <32, 29>, <40, 4>, <48, 1> 
    ]>,
    <7, 1149, [ <0, 1>, <8, 3>, <16, 33>, <24, 54>, <32, 33>, <40, 3>, <48, 1> 
    ]>,
    <7, 1150, [ <0, 1>, <8, 2>, <16, 21>, <24, 80>, <32, 21>, <40, 2>, <48, 1> 
    ]>,
    <7, 1151, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 1152, [ <0, 1>, <8, 2>, <16, 21>, <24, 80>, <32, 21>, <40, 2>, <48, 1> 
    ]>,
    <7, 1153, [ <0, 1>, <8, 1>, <16, 23>, <24, 78>, <32, 23>, <40, 1>, <48, 1> 
    ]>,
    <7, 1154, [ <0, 1>, <8, 1>, <16, 21>, <24, 82>, <32, 21>, <40, 1>, <48, 1> 
    ]>,
    <7, 1155, [ <0, 1>, <16, 23>, <24, 80>, <32, 23>, <48, 1> ]>,
    <7, 1156, [ <0, 1>, <8, 1>, <16, 21>, <24, 82>, <32, 21>, <40, 1>, <48, 1> 
    ]>,
    <7, 1157, [ <0, 1>, <16, 17>, <24, 92>, <32, 17>, <48, 1> ]>,
    <7, 1158, [ <0, 1>, <16, 17>, <24, 92>, <32, 17>, <48, 1> ]>,
    <7, 1159, [ <0, 1>, <8, 4>, <16, 53>, <24, 12>, <32, 53>, <40, 4>, <48, 1> 
    ]>,
    <7, 1160, [ <0, 1>, <8, 1>, <16, 33>, <24, 58>, <32, 33>, <40, 1>, <48, 1> 
    ]>,
    <7, 1161, [ <0, 1>, <8, 2>, <16, 29>, <24, 64>, <32, 29>, <40, 2>, <48, 1> 
    ]>,
    <7, 1162, [ <0, 1>, <16, 21>, <24, 84>, <32, 21>, <48, 1> ]>
]