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