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