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