int main() {
    return 65536;
}