class Main {
		static bool f(){
			return true;
		}
    static void main() {
    	int a;
    	int b;
    	bool x;
    	bool y;
    	a = 0;
    	b = 0;
    	
			if a>0 : b=a++; ||| x : {int c;
				int d;
				f();
				if a>0 : b=a++; ||| b>0 : b=b++; fi
			} ||| x||y||x&&!y : x = y && b>0 || f();
			||| f():a=a+b; fi
    }
}