/* package whatever; // don't place package name! */
 
import java.util.*;
import java.lang.*;
import java.io.*;
 
/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
	public static void main (String[] args) throws java.lang.Exception
	{
		int v = 1 << 31;
		System.out.println("31, " + v);
		v = v >>> 1;
		System.out.println("30, " + v);
		int x = 1_000_000_001;
		int y = 1_000_000_000;
		try {
		    int result = Math.subtractExact(x, y);
		    System.out.println("The proper result is " + result);
		} catch(ArithmeticException e) {
		    System.out.println("Sorry, " + e);
		}
 
	}
}

LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CgovKiBOYW1lIG9mIHRoZSBjbGFzcyBoYXMgdG8gYmUgIk1haW4iIG9ubHkgaWYgdGhlIGNsYXNzIGlzIHB1YmxpYy4gKi8KY2xhc3MgSWRlb25lCnsKCXB1YmxpYyBzdGF0aWMgdm9pZCBtYWluIChTdHJpbmdbXSBhcmdzKSB0aHJvd3MgamF2YS5sYW5nLkV4Y2VwdGlvbgoJewoJCWludCB2ID0gMSA8PCAzMTsKCQlTeXN0ZW0ub3V0LnByaW50bG4oIjMxLCAiICsgdik7CgkJdiA9IHYgPj4+IDE7CgkJU3lzdGVtLm91dC5wcmludGxuKCIzMCwgIiArIHYpOwoJCWludCB4ID0gMV8wMDBfMDAwXzAwMTsKCQlpbnQgeSA9IDFfMDAwXzAwMF8wMDA7CgkJdHJ5IHsKCQkgICAgaW50IHJlc3VsdCA9IE1hdGguc3VidHJhY3RFeGFjdCh4LCB5KTsKCQkgICAgU3lzdGVtLm91dC5wcmludGxuKCJUaGUgcHJvcGVyIHJlc3VsdCBpcyAiICsgcmVzdWx0KTsKCQl9IGNhdGNoKEFyaXRobWV0aWNFeGNlcHRpb24gZSkgewoJCSAgICBTeXN0ZW0ub3V0LnByaW50bG4oIlNvcnJ5LCAiICsgZSk7CgkJfQoKCX0KfQ==