int main() { return 16; }