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