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