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