[[Vecsmall([35, 33, 92, 91, 31, 89, 88, 28, 86, 27, 84, 83, 82, 80, 79, 77, 22, 75, 74, 72, 71, 17, 69, 68, 66, 65, 10, 8, 62, 59, 5, 56, 2, 53, 1, 51, 126, 125, 48, 123, 122, 44, 120, 42, 118, 117, 116, 39, 115, 114, 36, 113, 34, 111, 110, 32, 109, 108, 30, 106, 105, 29, 104, 103, 26, 25, 100, 24, 23, 99, 21, 20, 97, 19, 18, 95, 16, 93, 15, 14, 90, 13, 12, 11, 87, 9, 85, 7, 6, 81, 4, 3, 78, 128, 76, 127, 73, 124, 70, 67, 121, 119, 64, 63, 61, 60, 112, 58, 57, 55, 54, 107, 52, 50, 49, 47, 46, 45, 102, 43, 101, 41, 40, 98, 38, 37, 96, 94]), Vecsmall([123, 78, 112, 24, 10, 82, 59, 115, 62, 87, 65, 7, 16, 91, 69, 94, 95, 71, 127, 74, 15, 76, 18, 101, 83, 9, 85, 49, 11, 25, 27, 92, 93, 56, 40, 20, 22, 61, 98, 116, 99, 48, 100, 39, 103, 41, 52, 124, 125, 106, 72, 1, 32, 108, 33, 3, 110, 50, 66, 54, 8, 84, 117, 43, 86, 12, 45, 121, 75, 63, 79, 19, 126, 96, 21, 97, 128, 57, 23, 4, 5, 77, 88, 26, 90, 29, 81, 30, 13, 31, 68, 107, 109, 89, 73, 36, 37, 102, 104, 118, 80, 44, 120, 46, 28, 111, 53, 114, 55, 2, 58, 34, 35, 60, 38, 113, 122, 64, 42, 67, 14, 70, 47, 119, 105, 17, 51, 6]), Vecsmall([109, 50, 82, 44, 120, 19, 91, 31, 66, 67, 88, 14, 96, 119, 92, 36, 113, 34, 21, 18, 32, 52, 112, 39, 101, 59, 100, 5, 83, 24, 43, 89, 114, 128, 57, 23, 47, 85, 26, 110, 38, 11, 63, 84, 41, 115, 33, 65, 10, 37, 69, 93, 94, 95, 108, 6, 111, 97, 68, 17, 90, 12, 28, 70, 30, 121, 46, 48, 107, 105, 56, 75, 40, 71, 53, 1, 51, 106, 3, 102, 103, 127, 80, 7, 118, 25, 45, 4, 74, 64, 42, 13, 60, 20, 35, 79, 123, 9, 61, 117, 98, 62, 99, 8, 81, 22, 16, 73, 54, 58, 76, 77, 78, 126, 27, 2, 49, 122, 29, 104, 124, 125, 55, 86, 87, 116, 15, 72]), Vecsmall([80, 88, 85, 47, 32, 28, 93, 13, 50, 92, 54, 33, 115, 40, 64, 38, 102, 67, 99, 122, 118, 119, 120, 52, 110, 58, 3, 82, 60, 57, 56, 10, 7, 31, 14, 117, 124, 94, 126, 91, 19, 97, 75, 73, 79, 72, 24, 37, 77, 62, 46, 101, 5, 65, 12, 27, 25, 9, 109, 11, 89, 106, 36, 69, 108, 55, 71, 113, 43, 96, 45, 41, 39, 70, 100, 42, 125, 30, 103, 123, 53, 49, 2, 111, 112, 114, 107, 78, 8, 34, 116, 87, 59, 61, 44, 63, 48, 17, 127, 21, 1, 95, 23, 51, 6, 84, 81, 86, 66, 83, 26, 90, 121, 29, 16, 68, 20, 15, 76, 18, 35, 74, 4, 22, 128, 98, 104, 105]), Vecsmall([75, 92, 2, 45, 25, 108, 87, 86, 8, 83, 125, 10, 50, 100, 116, 106, 51, 1, 97, 95, 40, 36, 52, 103, 31, 61, 12, 9, 49, 90, 66, 55, 3, 57, 18, 17, 96, 11, 70, 71, 44, 41, 101, 122, 91, 102, 15, 99, 62, 82, 22, 69, 109, 94, 56, 110, 53, 6, 81, 16, 65, 115, 124, 24, 105, 5, 14, 64, 113, 48, 123, 76, 19, 73, 35, 20, 60, 107, 47, 67, 30, 114, 27, 38, 7, 28, 88, 85, 58, 59, 118, 33, 112, 111, 72, 126, 74, 63, 39, 80, 120, 117, 68, 98, 26, 77, 93, 89, 34, 32, 128, 78, 23, 13, 29, 79, 119, 4, 46, 121, 43, 42, 21, 104, 84, 127, 37, 54])], Vecsmall([2, 4, 4, 2, 2])]
