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

procedure main() {
	 var qrrswwv : int ;
	 var zjwdcwa : int ;
	 var vuiiwzs : int ;
	 var emntcyx : int ;
	 var oesehyb : int ;
	zjwdcwa := zjwdcwa + 9;
	emntcyx := emntcyx + 1 + 33;
	zjwdcwa := zjwdcwa + qrrswwv;
	if ((emntcyx < zjwdcwa - oesehyb + qrrswwv)) {
		emntcyx := emntcyx + 98 + 74 + vuiiwzs + 1;
	} else {
	}
	emntcyx := emntcyx + 40;
	if ((vuiiwzs < vuiiwzs - qrrswwv + emntcyx + 41 - vuiiwzs) || (qrrswwv > 58 + 23 - 93 - 15 - emntcyx)) {
		zjwdcwa := zjwdcwa + 95 + zjwdcwa + vuiiwzs;
	} else {
		zjwdcwa := zjwdcwa + vuiiwzs + 97 + zjwdcwa + vuiiwzs;
	}
	zjwdcwa := zjwdcwa + 58 + zjwdcwa;
	if ((qrrswwv < 83 - oesehyb) || (emntcyx > vuiiwzs + 96 - qrrswwv + 46 - 67)) {
		qrrswwv := qrrswwv + oesehyb + emntcyx + vuiiwzs + zjwdcwa;
		emntcyx := emntcyx + 58 + vuiiwzs + zjwdcwa;
	} else {
	}
	assert ((qrrswwv < 48 + 15 + zjwdcwa - 20) && (zjwdcwa < oesehyb + 95 + 43));
	assert ((vuiiwzs > 95 - 71 + emntcyx + 53));
	assert ((qrrswwv > 26 + 74) || (qrrswwv > emntcyx - vuiiwzs));
}