//#Unsafe;  Generated random file with w 2 and h 1 and bs 1

procedure main() {
	 var qrrswwv : int ;
	 var zjwdcwa : int ;
	 var vuiiwzs : int ;
	 var emntcyx : int ;
	 var oesehyb : int ;
	emntcyx := emntcyx + 48 + 86;
	if ((emntcyx < 1 + 40 + zjwdcwa) && (zjwdcwa < 35 - qrrswwv - 43)) {
		qrrswwv := qrrswwv + 29;
	} else {
	}
	assert ((zjwdcwa > 3 + oesehyb + qrrswwv - zjwdcwa - qrrswwv) || (zjwdcwa > qrrswwv + 27 + 66));
	assert ((emntcyx > 21 - 76 + 44 - zjwdcwa));
	assert ((vuiiwzs > emntcyx + 53 + qrrswwv + emntcyx) || (emntcyx > 11 - qrrswwv + vuiiwzs + 63));
}