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