integer a;
integer b;

BEGIN
	a := 1;
	b := 2;
	IF a < b -> WRITE a;
	[] 			WRITE b;
	FI;
	IF a > b -> WRITE b;
	[] 			WRITE a;
	FI;
	IF a <= b -> WRITE a;
	[] 			WRITE b;
	FI;
	IF a <= a -> WRITE a;
	[] 			WRITE b;
	FI;
	IF a >= b -> WRITE b;
	[] 			WRITE a;
	FI;
	IF a >= a -> WRITE a;
	[] 			WRITE b;
	FI;
	IF a # b -> WRITE a;
	[] 			WRITE b;
	FI;
	IF a = b -> WRITE b;
	[] 			WRITE a;
	FI;
	IF a = b-1 -> WRITE a;
	[] 			WRITE b;
	FI;
	IF a+1 = b -> WRITE a;
	[] 			WRITE b;
	FI;
	-- output is 10 1's, of course
END.