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