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