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

procedure main() {
	 var qrrswwv : int ;
	 var zjwdcwa : int ;
	 var vuiiwzs : int ;
	 var emntcyx : int ;
	 var oesehyb : int ;
	qrrswwv := qrrswwv + vuiiwzs + emntcyx + emntcyx;
	while ((qrrswwv < oesehyb + vuiiwzs + 100)) {
		zjwdcwa := qrrswwv - vuiiwzs;
		if ((emntcyx < zjwdcwa + 8) && (vuiiwzs > 95 - qrrswwv + qrrswwv)) {
			zjwdcwa := 45 - emntcyx + zjwdcwa;
			if ((zjwdcwa < emntcyx - zjwdcwa + 1)) {
				vuiiwzs := 53 - 96;
			} else {
			}
		} else {
		}
	}
	while ((emntcyx < vuiiwzs + 4 + oesehyb + 74 + 100) || (qrrswwv > oesehyb + emntcyx - 97 - 0)) {
		while ((zjwdcwa < 3 - 22 - 8 - 58) || (qrrswwv > 6 - 78 - vuiiwzs - oesehyb)) {
			zjwdcwa := zjwdcwa + 10 + 61;
			while ((qrrswwv < 0 - oesehyb) && (qrrswwv > vuiiwzs + 29)) {
			}
		}
		while ((qrrswwv > qrrswwv - 91 + qrrswwv - emntcyx) || (qrrswwv < 2 + 25 + qrrswwv)) {
			qrrswwv := 14 - 38;
			while ((emntcyx < 59 + 83 - 35 + emntcyx)) {
				emntcyx := 24 + zjwdcwa - 39 - oesehyb;
			}
		}
	}
	if ((zjwdcwa > emntcyx - zjwdcwa - emntcyx - qrrswwv)) {
		zjwdcwa := zjwdcwa + zjwdcwa + 6 + 84 + oesehyb;
		while ((zjwdcwa < 64 + vuiiwzs + qrrswwv + oesehyb + 100) && (emntcyx > 2 - qrrswwv - qrrswwv)) {
			if ((emntcyx < 12 - qrrswwv + 42) || (zjwdcwa < 34 + 53 - 61 + 61 - emntcyx)) {
			} else {
			}
			while ((qrrswwv < 66 + qrrswwv - emntcyx - 61)) {
				emntcyx := oesehyb + zjwdcwa + 11 + qrrswwv - 61;
			}
		}
	} else {
		qrrswwv := qrrswwv + oesehyb + 7 + 71 + 3;
		if ((vuiiwzs > 55 + qrrswwv - vuiiwzs)) {
		} else {
		}
	}
	zjwdcwa := zjwdcwa + 90 + 71 + zjwdcwa;
	if ((emntcyx < vuiiwzs + 23 - 64)) {
		zjwdcwa := zjwdcwa + 87 + qrrswwv;
	} else {
		qrrswwv := qrrswwv + vuiiwzs + qrrswwv;
		while ((emntcyx < 2 + 84 + 46 + 73 + 100)) {
		}
	}
	zjwdcwa := zjwdcwa + vuiiwzs + 1 + 13 + oesehyb;
	if ((qrrswwv > vuiiwzs - 86 - 32) || (qrrswwv < vuiiwzs + 68 - 30 - zjwdcwa)) {
		emntcyx := emntcyx + qrrswwv + 52 + 56 + vuiiwzs;
		while ((zjwdcwa < 73 + 23 + 75 + 100) && (vuiiwzs > 39 - 74 + qrrswwv + qrrswwv - 2)) {
			emntcyx := 91 - qrrswwv - 54 + oesehyb - 91;
		}
	} else {
	}
	assert ((vuiiwzs < zjwdcwa - 45 - vuiiwzs - 86 + 62));
	assert ((qrrswwv < 20 + qrrswwv) && (qrrswwv > emntcyx - 28 + 33 - 10));
	assert ((vuiiwzs < 59 - emntcyx - vuiiwzs + vuiiwzs));
}