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