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