// updating the testcase for 1247
// concluded that we need to convert all the 4,3,2 liners to one liner based on the option
int fun() {return 0;}
int fun() {return 0; }
int fun() {return 0;}
int fun() {return 0; }
int fun() {return 0; }
int fun() { return 0;}
int fun() {return 0; }
int fun() {return 0;}