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