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