Near optimal Golomb rulers with 15 marks
This list includes mirror rulers and is sorted by length and by the
first differences.
{ /* OGR-15*/
{0, 4, 20, 30, 57, 59, 62, 76,100,111,123,136,144,145,151},
{0, 6, 7, 15, 28, 40, 51, 75, 89, 92, 94,121,131,147,151},
{0, 2, 9, 14, 35, 43, 58, 71, 82, 88, 98,130,148,149,152},
{0, 3, 4, 22, 54, 64, 70, 81, 94,109,117,138,143,150,152},
{0, 3, 15, 16, 25, 49, 54, 68, 85, 89, 96,126,144,146,152},
{0, 6, 8, 26, 56, 63, 67, 84, 98,103,127,136,137,149,152},
{0, 1, 11, 18, 24, 38, 46, 79, 88,100,104,119,148,151,153},
{0, 2, 5, 34, 49, 53, 65, 74,107,115,129,135,142,152,153},
{0, 3, 7, 15, 33, 35, 54, 79, 88,110,124,137,147,148,153},
{0, 5, 6, 16, 29, 43, 65, 74, 99,118,120,138,146,150,153},
{0, 1, 7, 18, 28, 48, 62, 64, 77,101,120,143,146,151,155},
{0, 1, 11, 25, 31, 43, 58, 66, 79, 95,129,146,148,151,155},
{0, 1, 14, 29, 32, 38, 82, 86, 93,112,128,133,145,153,155},
{0, 1, 17, 24, 28, 36, 57, 66, 91,105,111,137,142,152,155},
{0, 2, 10, 22, 27, 43, 62, 69, 73,117,123,126,141,154,155},
{0, 3, 13, 18, 44, 50, 64, 89, 98,119,127,131,138,154,155},
{0, 4, 5, 15, 33, 57, 59, 78,105,117,125,139,142,148,155},
{0, 4, 7, 9, 26, 60, 76, 89,
97,112,124,130,144,154,155},
{0, 4, 9, 12, 35, 54, 78, 91, 93,107,127,137,148,154,155},
{0, 7, 13, 16, 30, 38, 50, 77, 96, 98,122,140,150,151,155},
{0, 1, 4, 13, 28, 48, 54, 90,100,111,119,133,149,151,156},
{0, 1, 6, 10, 27, 30, 38, 52, 88,100,107,123,141,154,156},
{0, 2, 15, 33, 49, 56, 68,104,118,126,129,146,150,155,156},
{0, 3, 5, 13, 27, 38, 61, 67, 79,110,111,126,130,147,156},
{0, 3, 7, 9, 33, 43, 58, 74, 87,
95,106,133,134,151,156},
{0, 3, 8, 22, 26, 50, 83, 85, 98,110,119,139,149,150,156},
{0, 4, 5, 18, 39, 50, 70, 79,107,123,126,133,148,150,156},
{0, 5, 7, 23, 37, 45, 56, 66,102,108,128,143,152,155,156},
{0, 5, 8, 21, 25, 35, 44, 59, 81,107,109,138,149,150,156},
{0, 5, 22, 23, 50, 61, 69, 82, 98,113,123,147,149,153,156},
{0, 6, 7, 17, 37, 46, 58, 71, 73,106,130,134,148,153,156},
{0, 6, 7, 18, 47, 49, 75, 97,112,121,131,135,148,151,156},
{0, 6, 8, 23, 30, 33, 49, 77, 86,106,117,138,151,152,156},
{0, 9, 26, 30, 45, 46, 77, 89, 95,118,129,143,151,153,156},
{0, 1, 4, 9, 20, 42, 49, 67,
95,101,118,131,145,155,157},
{0, 1, 4, 11, 27, 48, 61, 86,104,116,135,140,149,155,157},
{0, 1, 4, 14, 25, 32, 44, 66, 71,104,120,140,149,155,157},
{0, 1, 8, 11, 38, 54, 67, 82,106,115,132,137,151,155,157},
{0, 1, 8, 13, 39, 57, 73, 87, 90,110,132,142,151,153,157},
{0, 1, 8, 18, 46, 48, 62, 67, 89,118,122,131,142,154,157},
{0, 1, 8, 20, 23, 55, 64, 81,112,117,130,141,151,155,157},
{0, 1, 9, 13, 23, 43, 50, 75, 81,110,121,136,138,154,157},
{0, 1, 10, 17, 35, 48, 88, 90, 93,114,120,134,142,153,157},
{0, 1, 11, 15, 35, 48, 51, 80, 89,111,132,138,150,155,157},
{0, 2, 5, 12, 27, 40, 51, 72, 95,101,115,131,148,149,157},
{0, 2, 5, 18, 27, 41, 42, 74, 94,100,128,138,145,149,157},
{0, 2, 6, 16, 27, 40, 45, 76, 93,102,134,137,149,156,157},
{0, 2, 6, 20, 25, 42, 51, 75, 90,103,119,146,149,156,157},
{0, 2, 7, 19, 25, 46, 68, 77,106,109,122,142,146,156,157},
{0, 2, 8, 17, 22, 41, 53, 71, 96,109,130,146,153,156,157},
{0, 2, 8, 17, 37, 53, 86, 91,113,125,132,143,153,156,157},
{0, 2, 12, 26, 39, 56, 62, 90,108,115,137,148,153,156,157},
{0, 3, 15, 26, 35, 39, 68, 90, 95,109,111,139,149,156,157},
{0, 3, 19, 21, 36, 47, 76, 82,107,114,134,144,148,156,157},
{0, 4, 6, 15, 25, 47, 67, 70, 84,100,118,144,149,156,157},
{0, 4, 15, 23, 37, 43, 64, 67, 69,109,122,140,147,156,157},
{0, 8, 9, 26, 42, 56, 62, 85,106,117,130,145,152,155,157},
{0, 8, 12, 19, 29, 57, 63, 83,115,116,130,139,152,155,157},
{0, 1, 3, 13, 21, 56, 60, 84, 93,110,124,129,135,151,158},
{0, 1, 3, 22, 30, 35, 53, 68, 92,104,132,141,148,152,158},
{0, 1, 3, 23, 41, 51, 62, 67, 76,109,122,139,146,154,158},
{0, 1, 3, 25, 37, 43, 48, 58, 75, 89,119,138,145,154,158},
{0, 1, 4, 28, 37, 48, 66, 82, 87,101,133,143,150,156,158},
{0, 1, 6, 10, 22, 54, 62, 81, 95,112,119,130,132,155,158},
{0, 1, 7, 10, 29, 40, 52, 54, 86, 90,110,127,145,153,158},
{0, 1, 7, 11, 25, 37, 64, 66, 83,106,115,137,150,153,158},
{0, 1, 8, 11, 30, 48, 53, 81, 97,117,131,143,152,156,158},
{0, 1, 8, 18, 32, 53, 68, 72, 97,110,119,130,153,156,158},
{0, 2, 5, 21, 30, 64, 81, 93,108,116,134,147,148,154,158},
{0, 2, 5, 28, 39, 48, 61, 86, 90,105,126,140,150,157,158},
{0, 2, 6, 15, 27, 41, 61, 77,105,110,128,147,150,157,158},
{0, 2, 8, 15, 25, 57, 71, 76, 92,110,121,130,154,157,158},
{0, 2, 9, 10, 31, 45, 49, 73, 86,105,132,138,143,155,158},
{0, 2, 10, 22, 27, 43, 62, 66, 73,120,121,134,149,152,158},
{0, 2, 26, 40, 46, 57, 73, 91, 96,126,133,145,154,155,158},
{0, 3, 4, 13, 25, 32, 62, 67, 85,101,112,118,132,156,158},
{0, 3, 4, 30, 37, 43, 58, 75, 93,122,134,142,144,153,158},
{0, 3, 15, 20, 26, 53, 72, 85,109,113,127,148,149,156,158},
{0, 3, 26, 28, 39, 46, 63, 77, 96,104,136,148,152,157,158},
{0, 4, 6, 18, 27, 28, 59, 70, 85,104,120,133,150,153,158},
{0, 4, 10, 11, 24, 42, 50, 65, 77, 94,128,137,153,156,158},
{0, 4, 12, 19, 36, 49, 82, 91, 96,107,117,135,155,157,158},
{0, 4, 13, 20, 39, 69, 83,100,110,115,121,133,155,157,158},
{0, 5, 8, 21, 43, 52, 75, 92, 94,121,133,147,151,157,158},
{0, 5, 8, 25, 38, 54, 73, 88, 99,130,131,140,152,154,158},
{0, 5, 13, 31, 48, 68, 72,104,106,118,129,148,151,157,158},
{0, 5, 14, 16, 24, 36, 65, 83,100,115,121,128,154,155,158},
{0, 6, 9, 24, 37, 38, 85, 92, 96,115,131,136,148,156,158},
{0, 6, 10, 17, 26, 54, 66, 90,105,123,128,136,155,157,158},
{0, 7, 23, 29, 34, 48, 65, 74, 98,102,137,145,155,157,158},
{0, 1, 3, 11, 28, 41, 47, 63, 70, 84,102,135,150,155,159},
{0, 1, 3, 21, 29, 45, 62, 67, 76,119,125,132,144,155,159},
{0, 1, 4, 12, 36, 46, 63, 84, 89,103,128,144,150,157,159},
{0, 1, 4, 14, 21, 26, 37, 66, 81,100,109,127,151,157,159},
{0, 1, 4, 14, 38, 53, 60, 65, 83,115,131,140,151,157,159},
{0, 1, 4, 22, 27, 38, 51, 79, 96,104,110,140,150,152,159},
{0, 1, 4, 23, 35, 48, 63, 65,106,114,132,138,143,152,159},
{0, 1, 4, 23, 39, 53, 82, 87,108,119,132,144,150,152,159},
{0, 1, 4, 28, 45, 50, 63, 83, 93,119,130,144,151,153,159},
{0, 1, 7, 10, 21, 40, 57, 62, 88,106,122,130,134,157,159},
{0, 1, 7, 24, 29, 50, 66, 86,101,105,119,146,149,157,159},
{0, 1, 8, 13, 40, 50, 71, 91,105,107,124,135,150,153,159},
{0, 1, 8, 18, 30, 55, 68, 82,114,117,133,148,153,157,159},
{0, 1, 8, 19, 47, 67, 71,101,116,122,132,145,154,157,159},
{0, 1, 9, 12, 25, 43, 48, 62, 83,100,127,129,149,155,159},
{0, 1, 9, 12, 27, 49, 69, 82,107,112,136,143,153,157,159},
{0, 1, 9, 13, 28, 48, 62, 72, 78,103,114,136,154,157,159},
{0, 1, 9, 14, 38, 40, 58, 81, 88,123,134,140,144,156,159},
{0, 1, 9, 25, 28, 54, 67, 98,102,116,136,138,148,153,159},
{0, 1, 10, 12, 38, 44, 71, 79, 94,110,134,139,152,156,159},
{0, 1, 11, 23, 43, 57, 59, 84, 88,112,121,138,151,156,159},
{0, 1, 12, 26, 42, 61, 69,106,108,123,128,146,152,156,159},
{0, 1, 13, 21, 31, 46, 57, 63, 85,112,136,150,152,155,159},
{0, 1, 16, 28, 33, 35, 53, 77, 91, 99,120,146,150,156,159},
{0, 1, 23, 28, 31, 44, 73, 85, 92,110,124,144,148,150,159},
{0, 2, 3, 23, 40, 52, 71, 79, 95,105,137,141,146,152,159},
{0, 2, 5, 11, 38, 58, 68, 92,108,120,133,137,151,152,159},
{0, 2, 5, 14, 27, 37, 43, 58, 88, 92,112,140,151,158,159},
{0, 2, 5, 22, 38, 52, 64, 75,110,119,120,138,144,151,159},
{0, 2, 5, 23, 45, 56, 81, 87, 97,111,131,146,150,158,159},
{0, 2, 5, 24, 34, 54, 65, 71,104,111,132,146,147,155,159},
{0, 2, 5, 25, 34, 38, 46, 85, 86,100,116,135,142,153,159},
{0, 2, 6, 11, 26, 42, 45, 77, 91,104,129,141,151,158,159},
{0, 2, 6, 16, 23, 47, 52, 77, 90,110,132,147,150,158,159},
{0, 2, 6, 16, 47, 62, 83, 90,101,102,125,134,151,154,159},
{0, 2, 6, 17, 33, 40, 58, 86,100,105,129,137,149,150,159},
{0, 2, 7, 15, 27, 46, 63, 72,105,121,127,145,155,156,159},
{0, 2, 7, 16, 31, 48, 59, 82, 92,117,129,137,155,156,159},
{0, 2, 7, 20, 37, 63, 66, 77,104,105,128,137,149,153,159},
{0, 2, 7, 27, 28, 41, 57, 65, 88,105,137,141,147,156,159},
{0, 2, 8, 12, 19, 39, 55, 73, 95, 96,121,124,145,154,159},
{0, 2, 8, 17, 38, 43, 80, 91,105,109,136,137,149,156,159},
{0, 2, 8, 19, 28, 44, 76, 94, 99,106,121,145,155,158,159},
{0, 2, 8, 32, 50, 59, 78, 93,122,133,138,145,155,158,159},
{0, 2, 9, 15, 31, 56, 70, 75, 96,113,123,147,155,158,159},
{0, 2, 9, 22, 32, 40, 68, 74, 95,111,130,144,155,156,159},
{0, 2, 10, 13, 40, 54, 58, 73, 93,109,130,135,152,158,159},
{0, 2, 15, 24, 25, 65, 69, 81, 98,117,124,145,151,156,159},
{0, 2, 25, 29, 37, 53, 71, 97,102,119,138,149,152,158,159},
{0, 2, 28, 40, 53, 61, 64, 83,103,118,132,149,150,155,159},
{0, 3, 4, 14, 32, 38, 54, 87, 96,113,132,144,152,157,159},
{0, 3, 4, 15, 29, 48, 64, 85, 91,119,127,137,150,157,159},
{0, 3, 4, 22, 30, 42, 67, 77,100,111,128,143,152,157,159},
{0, 3, 5, 25, 37, 43, 76, 87,100,128,129,136,145,155,159},
{0, 3, 7, 13, 31, 36, 51, 53, 90, 98,117,133,147,158,159},
{0, 3, 7, 20, 25, 49, 65, 80, 88,115,121,147,149,158,159},
{0, 3, 7, 22, 27, 53, 59, 87, 95,120,136,138,149,150,159},
{0, 3, 8, 14, 35, 42, 61, 78, 90, 94,134,135,144,157,159},
{0, 3, 8, 21, 38, 47, 71, 75,100,102,116,136,148,158,159},
{0, 3, 9, 13, 39, 60, 68, 82,106,124,126,131,143,158,159},
{0, 3, 9, 16, 20, 41, 59, 60, 88, 90,114,124,136,151,159},
{0, 3, 10, 22, 23, 50, 54, 68, 79,116,121,142,151,157,159},
{0, 3, 12, 18, 22, 54, 71, 94,102,118,131,132,152,157,159},
{0, 3, 15, 19, 25, 36, 71, 78,101,119,121,145,150,158,159},
{0, 3, 17, 40, 44, 45, 74, 95,110,121,134,141,143,153,159},
{0, 4, 5, 14, 39, 46, 58, 75, 86,108,135,138,151,153,159},
{0, 4, 7, 9, 23, 47, 74,
96,102,113,128,138,146,158,159},
{0, 4, 9, 10, 27, 41, 56, 76, 95, 98,106,119,131,157,159},
{0, 4, 9, 24, 57, 75, 89, 96,112,118,131,148,156,158,159},
{0, 4, 9, 26, 41, 51, 80, 94, 96,129,132,140,152,153,159},
{0, 4, 10, 30, 32, 59, 76, 97,111,116,134,147,150,158,159},
{0, 4, 12, 13, 27, 48, 55, 88, 94,105,125,135,154,157,159},
{0, 4, 14, 23, 30, 31, 59, 72, 83,116,122,134,154,156,159},
{0, 4, 15, 27, 34, 40, 83, 92, 97,114,130,138,156,158,159},
{0, 5, 6, 26, 40, 44, 69, 81, 97,100,127,142,149,151,159},
{0, 5, 8, 25, 34, 57, 58, 69, 76, 97,112,143,153,157,159},
{0, 5, 14, 35, 38, 63, 64, 86,104,120,140,147,151,157,159},
{0, 6, 7, 19, 27, 30, 63, 65, 79,108,118,133,150,155,159},
{0, 6, 8, 15, 29, 40, 66, 76, 96,109,114,131,155,158,159},
{0, 6, 8, 21, 24, 51, 73, 84,101,113,120,145,154,155,159},
{0, 6, 8, 26, 27, 31, 40, 69, 85,102,113,137,149,152,159},
{0, 6, 9, 24, 35, 52, 54, 68, 88,109,119,146,151,158,159},
{0, 6, 10, 22, 31, 54, 55, 82, 93, 96,122,139,152,157,159},
{0, 6, 11, 21, 23, 43, 57, 61, 92,105,131,134,150,158,159},
{0, 6, 16, 18, 25, 38, 49, 64, 85,114,115,119,142,156,159},
{0, 6, 17, 24, 43, 59, 73, 74,113,121,125,134,154,157,159},
{0, 7, 8, 22, 26, 39, 51, 67, 91,101,121,148,154,157,159},
{0, 7, 9, 15, 27, 40, 51, 72, 77,106,120,136,155,158,159},
{0, 7, 9, 19, 49, 55, 63, 80,108,121,132,137,155,158,159},
{0, 7, 10, 22, 46, 57, 74, 90,119,128,132,133,151,153,159},
{0, 7, 13, 18, 22, 54, 64, 80, 88,107,119,136,156,157,159},
{0, 7, 16, 21, 27, 45, 53, 94, 96,111,124,136,155,158,159},
{0, 8, 10, 17, 32, 59, 62, 78, 90,115,119,133,153,154,159},
{0, 8, 15, 21, 39, 40, 49, 84, 95,107,121,137,154,157,159},
{0, 8, 23, 35, 45, 69, 71, 99,100,118,139,143,150,156,159},
{0, 9, 10, 21, 23, 39, 64, 72,100,106,132,137,152,156,159},
{0, 9, 10, 22, 30, 54, 59, 73,101,119,126,142,153,157,159},
{0, 9, 11, 15, 35, 49, 67, 74, 86,115,128,131,136,158,159},
{0, 1, 3, 10, 22, 28, 45, 59, 74,106,110,136,144,149,160},
{0, 1, 3, 11, 16, 38, 42, 72, 86, 92,115,132,139,151,160},
{0, 1, 3, 12, 22, 38, 55, 70, 95,100,129,136,142,156,160},
{0, 1, 3, 12, 34, 55, 69, 73, 96,115,122,132,147,152,160},
{0, 1, 3, 13, 21, 35, 51, 60, 87, 91,106,132,149,155,160},
{0, 1, 3, 15, 21, 32, 66, 71, 79,107,114,123,133,156,160},
{0, 1, 4, 10, 26, 46, 54, 61, 94,117,128,141,146,158,160},
{0, 1, 4, 12, 21, 35, 68, 75, 94,100,116,118,145,155,160},
{0, 1, 4, 12, 25, 48, 66, 75,101,115,121,143,153,158,160},
{0, 1, 4, 13, 36, 54, 74, 96,102,113,129,139,153,158,160},
{0, 1, 4, 14, 23, 35, 63, 65, 81,110,117,134,149,154,160},
{0, 1, 4, 16, 27, 45, 51, 59, 64, 84,120,130,151,158,160},
{0, 1, 4, 18, 25, 37, 45, 67, 76, 99,105,110,145,158,160},
{0, 1, 4, 22, 32, 41, 70, 86,103,109,133,145,153,158,160},
{0, 1, 4, 33, 35, 47, 56, 74, 96,124,134,141,149,154,160},
{0, 1, 5, 8, 25, 43, 76, 87, 97,
99,113,126,145,154,160},
{0, 1, 5, 12, 18, 43, 52, 75, 96,111,131,133,141,157,160},
{0, 1, 5, 16, 30, 52, 58, 85, 97,117,120,141,151,158,160},
{0, 1, 5, 17, 23, 31, 60, 63,104,111,124,139,149,158,160},
{0, 1, 5, 17, 26, 37, 40, 85,103,109,116,131,150,158,160},
{0, 1, 5, 19, 29, 31, 63, 84,101,109,124,144,151,157,160},
{0, 1, 5, 20, 23, 33, 63, 74, 99,105,113,134,151,158,160},
{0, 1, 5, 23, 30, 42, 62, 93,102,108,110,136,146,157,160},
{0, 1, 5, 23, 48, 78, 88, 94,107,115,122,146,148,157,160},
{0, 1, 5, 24, 33, 44, 60, 78, 81, 95,107,145,147,153,160},
{0, 1, 6, 18, 55, 65, 86, 88,118,122,131,138,146,157,160},
{0, 1, 6, 32, 35, 45, 65, 82, 93,120,135,142,144,156,160},
{0, 1, 7, 12, 37, 40, 54, 58, 81,110,126,136,145,158,160},
{0, 1, 7, 16, 20, 37, 64, 76,102,107,125,135,149,157,160},
{0, 1, 7, 16, 40, 54, 66, 83,103,124,128,147,155,158,160},
{0, 1, 7, 17, 54, 69, 88, 97,109,129,133,147,155,158,160},
{0, 1, 7, 18, 31, 40, 67, 82,102,110,114,139,155,158,160},
{0, 1, 7, 21, 23, 31, 56, 69, 74,116,119,128,145,156,160},
{0, 1, 8, 12, 25, 35, 65, 91, 97,106,111,139,142,158,160},
{0, 1, 8, 14, 18, 48, 50, 79,101,106,122,125,134,145,160},
{0, 1, 9, 15, 26, 49, 70, 77,101,113,123,142,155,158,160},
{0, 1, 9, 16, 42, 54, 59, 65, 78,105,125,135,139,157,160},
{0, 1, 9, 20, 52, 59, 76, 97,120,123,125,138,150,154,160},
{0, 1, 9, 21, 43, 66, 69, 73,105,120,122,136,149,155,160},
{0, 1, 10, 17, 29, 40, 44, 90, 98,104,122,135,155,157,160},
{0, 1, 10, 23, 29, 37, 69, 93, 95,110,113,144,148,155,160},
{0, 1, 10, 23, 44, 47, 59, 73, 89,121,129,149,154,156,160},
{0, 1, 12, 25, 44, 52, 62, 67, 83, 97,131,151,153,157,160},
{0, 1, 12, 29, 54, 75, 84, 90,110,123,133,141,155,157,160},
{0, 1, 13, 17, 36, 56, 65, 67,109,114,136,139,146,154,160},
{0, 1, 13, 33, 41, 63, 68, 78, 94,112,137,151,154,158,160},
{0, 1, 14, 20, 36, 44, 62, 83, 93,108,120,149,153,158,160},
{0, 1, 16, 38, 41, 51, 58, 77, 85,106,137,149,151,155,160},
{0, 1, 17, 19, 54, 59, 67, 98,105,127,130,139,150,154,160},
{0, 1, 17, 20, 30, 41, 66, 98,100,105,133,142,148,156,160},
{0, 1, 18, 27, 31, 41, 47, 66,100,103,108,115,136,158,160},
{0, 1, 25, 28, 39, 46, 62, 75, 95,117,143,148,152,158,160},
{0, 2, 3, 8, 26, 51, 66,
87,101,118,128,140,147,156,160},
{0, 2, 3, 10, 34, 48, 77, 88,100,105,121,141,147,156,160},
{0, 2, 5, 6, 24, 39, 50, 60,
88,101,113,130,144,153,160},
{0, 2, 5, 13, 27, 31, 51, 63, 72, 91,106,143,153,159,160},
{0, 2, 5, 13, 32, 36, 57, 77, 94,106,120,144,153,159,160},
{0, 2, 5, 18, 37, 47, 59, 83, 90,111,134,145,151,159,160},
{0, 2, 5, 20, 27, 56, 72, 82, 86,119,120,132,143,151,160},
{0, 2, 5, 21, 46, 50, 58, 78, 93,120,129,142,153,159,160},
{0, 2, 6, 9, 23, 48, 66, 82, 92,
97,119,127,147,159,160},
{0, 2, 6, 11, 19, 35, 55, 56, 87, 94,117,135,145,157,160},
{0, 2, 6, 13, 31, 41, 71, 90, 98,113,114,134,146,151,160},
{0, 2, 6, 13, 38, 39, 54, 62, 96,115,125,143,146,155,160},
{0, 2, 6, 14, 23, 24, 52, 57, 77, 88,118,125,144,157,160},
{0, 2, 6, 14, 48, 49, 70, 86,101,110,127,130,137,155,160},
{0, 2, 6, 17, 37, 38, 62, 84,103,112,126,142,152,155,160},
{0, 2, 6, 19, 24, 33, 45, 65, 75,100,103,137,152,153,160},
{0, 2, 7, 11, 40, 52, 67, 77, 98,116,124,140,146,159,160},
{0, 2, 7, 15, 21, 31, 56, 84, 96,114,123,134,156,157,160},
{0, 2, 7, 15, 27, 51, 57, 74, 90,119,128,138,156,159,160},
{0, 2, 7, 17, 39, 45, 59, 85, 94,112,135,148,156,159,160},
{0, 2, 7, 21, 31, 47, 58, 64, 86,106,124,147,156,159,160},
{0, 2, 7, 22, 25, 31, 63, 77, 96,107,117,143,144,156,160},
{0, 2, 8, 12, 17, 43, 65, 85, 98,114,121,132,135,159,160},
{0, 2, 8, 28, 35, 40, 57, 76, 99,115,136,145,146,149,160},
{0, 2, 8, 29, 41, 69, 85, 92,111,122,142,147,156,157,160},
{0, 2, 9, 12, 32, 43, 47, 72, 89,105,133,141,154,155,160},
{0, 2, 9, 19, 40, 43, 63, 75,102,108,130,144,155,159,160},
{0, 2, 9, 26, 47, 55, 61, 86, 97,127,137,140,155,159,160},
{0, 2, 9, 30, 40, 76, 96,101,109,115,133,144,156,159,160},
{0, 2, 10, 29, 44, 51, 57, 75,120,123,134,143,155,159,160},
{0, 2, 11, 21, 36, 49, 56, 97,100,129,137,143,155,159,160},
{0, 2, 11, 32, 37, 54, 55, 68, 83, 93,133,141,153,157,160},
{0, 2, 12, 16, 33, 55, 68, 91, 96,115,116,142,145,153,160},
{0, 2, 14, 19, 32, 43, 66, 99,106,114,134,150,156,159,160},
{0, 2, 14, 25, 33, 72, 73, 94,100,107,110,136,151,156,160},
{0, 2, 15, 24, 34, 50, 79,102,106,120,123,148,153,159,160},
{0, 2, 15, 50, 55, 61, 84, 93,115,123,135,142,156,159,160},
{0, 2, 18, 21, 49, 54, 63, 69, 95,125,135,148,152,159,160},
{0, 2, 24, 45, 52, 57, 60, 94,113,119,129,133,142,159,160},
{0, 3, 4, 12, 25, 35, 63, 69, 83, 99,110,136,153,155,160},
{0, 3, 4, 13, 18, 38, 49, 68, 75, 91,119,131,152,158,160},
{0, 3, 4, 23, 36, 51, 77, 93,111,117,138,146,148,155,160},
{0, 3, 4, 26, 37, 46, 64, 76,104,129,139,145,153,158,160},
{0, 3, 5, 11, 35, 42, 58, 68, 86,106,120,135,147,156,160},
{0, 3, 5, 16, 39, 48, 65, 79,103,123,131,138,150,156,160},
{0, 3, 5, 19, 26, 65, 71,102,103,112,120,132,145,156,160},
{0, 3, 5, 19, 27, 37, 50, 70, 76, 85,106,131,148,159,160},
{0, 3, 5, 19, 34, 46, 69,102,111,124,132,149,150,156,160},
{0, 3, 5, 25, 38, 56, 62, 70,116,120,131,143,150,159,160},
{0, 3, 5, 26, 39, 55, 82, 88, 99,113,123,141,145,153,160},
{0, 3, 7, 9, 25, 46, 66, 76,
99,100,111,128,147,155,160},
{0, 3, 7, 9, 29, 63, 77, 93,
98,108,116,135,148,159,160},
{0, 3, 7, 15, 43, 45, 61, 78,100,126,131,137,150,151,160},
{0, 3, 7, 19, 27, 67, 77, 92,105,106,123,128,149,158,160},
{0, 3, 7, 23, 28, 40, 54, 67, 69, 99,117,141,151,152,160},
{0, 3, 7, 30, 36, 55, 75, 83, 99,117,134,139,148,149,160},
{0, 3, 9, 16, 36, 51, 59, 76, 97,129,131,141,155,159,160},
{0, 3, 10, 12, 33, 44, 61, 69, 98,114,136,140,141,154,160},
{0, 3, 11, 18, 31, 48, 84, 90,116,117,139,141,151,155,160},
{0, 3, 11, 23, 28, 47, 81, 85, 99,112,114,144,153,154,160},
{0, 3, 11, 25, 35, 53, 58, 84, 96,123,140,144,153,159,160},
{0, 3, 11, 46, 48, 53, 65, 79, 97,120,126,135,136,156,160},
{0, 3, 12, 14, 38, 45, 53, 66, 72, 82,112,137,155,159,160},
{0, 3, 12, 20, 30, 51, 53, 66, 85,111,125,149,153,154,160},
{0, 3, 13, 24, 49, 55, 56, 64, 93,121,126,138,140,156,160},
{0, 3, 14, 22, 29, 38, 42, 72, 74, 95,105,142,154,159,160},
{0, 3, 14, 24, 50, 52, 58, 67, 98,118,130,137,155,159,160},
{0, 3, 15, 25, 43, 66, 73,104,105,125,141,149,154,158,160},
{0, 3, 16, 35, 42, 72, 83,103,108,136,137,146,154,158,160},
{0, 3, 17, 18, 40, 44, 52, 68, 73,115,121,140,151,153,160},
{0, 3, 18, 30, 39, 40, 74, 90, 94,122,136,147,153,155,160},
{0, 3, 19, 27, 29, 49, 64, 85,108,117,142,148,155,159,160},
{0, 3, 21, 25, 35, 55, 82, 95,101,106,118,144,151,159,160},
{0, 4, 6, 11, 31, 39, 71, 87,101,113,116,137,150,159,160},
{0, 4, 7, 17, 29, 31, 47, 52, 84, 85,126,134,145,154,160},
{0, 4, 7, 26, 27, 63, 65, 74,106,118,131,136,146,152,160},
{0, 4, 9, 15, 37, 49, 62, 79, 93,114,134,150,152,153,160},
{0, 4, 9, 24, 50, 53, 60, 66, 87, 88,127,135,146,158,160},
{0, 4, 10, 11, 28, 36, 49, 58, 91,114,126,141,155,157,160},
{0, 4, 10, 22, 29, 37, 57, 81, 95,112,121,144,155,157,160},
{0, 4, 11, 27, 29, 44, 63, 66, 76,104,134,146,154,155,160},
{0, 4, 12, 18, 27, 55, 60, 62, 94,119,130,140,143,159,160},
{0, 4, 13, 19, 39, 55, 60, 72, 83,112,126,150,157,158,160},
{0, 4, 13, 20, 32, 42, 59, 73, 94,109,134,152,157,158,160},
{0, 4, 13, 25, 40, 54, 74, 92,102,118,125,149,155,157,160},
{0, 4, 15, 28, 40, 48, 57, 58, 89, 95,134,141,155,157,160},
{0, 4, 15, 32, 41, 44, 86, 91,104,129,137,139,153,159,160},
{0, 4, 16, 17, 43, 53, 64, 83, 97,129,135,138,153,158,160},
{0, 4, 16, 18, 25, 40, 67, 78, 95,115,125,128,154,159,160},
{0, 4, 16, 33, 38, 61, 63, 87,102,133,139,142,152,153,160},
{0, 4, 18, 24, 31, 60, 65, 90,105,122,138,148,157,159,160},
{0, 4, 20, 22, 34, 39, 67, 96,104,105,111,136,147,157,160},
{0, 4, 24, 25, 34, 40, 63, 81, 95,107,112,114,149,157,160},
{0, 4, 27, 37, 46, 53, 81, 89, 94,128,139,145,157,159,160},
{0, 5, 6, 14, 26, 56, 84, 94, 97,116,131,133,149,156,160},
{0, 5, 6, 19, 27, 55, 71, 88,113,117,128,148,151,158,160},
{0, 5, 7, 13, 24, 38, 66, 70, 86,120,121,130,142,157,160},
{0, 5, 7, 24, 50, 61, 77, 91, 97,125,135,148,156,157,160},
{0, 5, 8, 18, 34, 48, 57, 76, 98,122,123,143,154,158,160},
{0, 5, 8, 20, 36, 58, 87, 88,105,114,128,147,149,153,160},
{0, 5, 9, 11, 23, 54, 75, 83,102,109,119,122,144,159,160},
{0, 5, 9, 12, 31, 61, 81, 97,114,115,125,139,152,154,160},
{0, 5, 9, 19, 21, 43, 44, 70, 76,112,129,142,149,157,160},
{0, 5, 9, 19, 26, 37, 71, 79, 91,114,127,129,130,154,160},
{0, 5, 11, 24, 38, 40, 55, 87, 91, 94,117,139,151,159,160},
{0, 5, 11, 28, 54, 69, 73,100,109,125,139,147,157,159,160},
{0, 5, 12, 14, 22, 43, 49, 67, 83,109,124,137,156,157,160},
{0, 5, 12, 16, 47, 50, 65, 67, 91,123,131,137,150,159,160},
{0, 5, 13, 32, 49, 60, 61, 84, 94,114,135,151,153,157,160},
{0, 5, 14, 17, 35, 45, 64, 98,106,121,122,147,154,158,160},
{0, 5, 15, 42, 44, 60, 66, 85, 92,125,139,148,156,159,160},
{0, 5, 18, 19, 35, 41, 62, 72, 74,100,120,145,149,152,160},
{0, 5, 23, 30, 33, 50, 59, 74, 90,111,112,146,154,158,160},
{0, 6, 7, 11, 35, 49, 75, 94,107,109,130,140,148,157,160},
{0, 6, 7, 16, 46, 48, 61, 75, 79,113,132,137,149,157,160},
{0, 6, 8, 21, 35, 45, 46, 63, 79, 99,129,148,151,155,160},
{0, 6, 9, 11, 19, 41, 45, 68, 69, 89,106,120,135,153,160},
{0, 6, 10, 21, 30, 33, 55, 62, 93,101,106,141,143,159,160},
{0, 6, 10, 22, 35, 37, 40, 63, 84,101,108,140,151,159,160},
{0, 6, 11, 19, 26, 36, 64, 86,104,113,125,127,156,159,160},
{0, 6, 11, 26, 43, 50, 79, 95, 97,125,137,146,156,159,160},
{0, 6, 14, 21, 24, 46, 51, 93, 95,104,124,143,147,159,160},
{0, 6, 15, 26, 34, 75, 76,108,113,129,131,143,153,156,160},
{0, 6, 15, 34, 47, 61, 63, 73, 84,117,135,152,155,159,160},
{0, 6, 19, 20, 24, 46, 62, 91, 99,116,127,148,150,157,160},
{0, 6, 30, 31, 33, 46, 69, 81, 89,123,134,141,151,155,160},
{0, 7, 8, 10, 26, 46, 67, 81, 98,111,123,145,151,156,160},
{0, 7, 8, 18, 21, 27, 58, 73, 97, 99,122,127,144,156,160},
{0, 7, 8, 23, 57, 60, 85, 95,115,127,136,141,154,158,160},
{0, 7, 9, 20, 39, 45, 87, 92,108,116,120,142,143,157,160},
{0, 7, 11, 13, 32, 46, 55, 72, 73,102,124,140,152,155,160},
{0, 7, 13, 15, 53, 65, 79, 82,100,116,127,136,155,159,160},
{0, 7, 15, 18, 44, 45, 64, 69, 92,105,127,144,148,158,160},
{0, 7, 15, 19, 37, 47, 61, 72, 78,105,121,134,155,157,160},
{0, 7, 16, 30, 47, 59, 72,100,110,121,136,154,155,158,160},
{0, 7, 25, 40, 54, 71, 91, 92,115,119,141,149,151,154,160},
{0, 8, 9, 19, 43, 61, 91, 93,106,120,132,137,153,157,160},
{0, 8, 11, 15, 40, 60, 86, 88, 98,119,125,141,142,155,160},
{0, 8, 13, 28, 38, 45, 64, 87, 91,105,126,148,157,159,160},
{0, 8, 14, 24, 29, 42, 54, 86, 95, 97,133,134,153,156,160},
{0, 9, 10, 23, 29, 34, 60, 82, 99,115,117,145,153,157,160},
{0, 9, 14, 26, 46, 47, 62, 70, 89,119,129,147,154,158,160},
{0, 9, 17, 28, 40, 41, 74, 78, 88,104,133,140,155,158,160},
{0, 9, 21, 28, 45, 68, 74, 88,118,122,144,149,157,159,160},
{0, 11, 12, 21, 26, 43, 61, 77, 85,105,124,130,153,157,160},
{0, 11, 14, 15, 24, 45, 61, 84,103,120,125,132,152,158,160},
{0, 11, 16, 24, 50, 54, 86,101,115,132,138,150,157,159,160},
{0, 15, 26, 35, 38, 54, 59, 81,110,112,142,146,152,159,160},
},