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