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

procedure main() {
	 var qrrswwv : int ;
	 var zjwdcwa : int ;
	 var vuiiwzs : int ;
	 var emntcyx : int ;
	 var oesehyb : int ;
	zjwdcwa := zjwdcwa + 39 + oesehyb + zjwdcwa + 17;
	if ((zjwdcwa > 16 + vuiiwzs - 2 + oesehyb + zjwdcwa)) {
		while ((zjwdcwa < 1 + qrrswwv + 94 + 85 + 76 + 100) || (vuiiwzs < 63 + 4 + oesehyb + 17 - zjwdcwa)) {
		}
		if ((vuiiwzs < 17 - zjwdcwa - zjwdcwa - emntcyx) && (emntcyx > zjwdcwa - oesehyb - 63 + 16)) {
			emntcyx := emntcyx + 86;
		} else {
			qrrswwv := qrrswwv + 90;
		}
	} else {
		emntcyx := emntcyx + zjwdcwa + emntcyx + oesehyb;
		while ((emntcyx < qrrswwv + emntcyx + oesehyb + oesehyb + 100)) {
			emntcyx := 87 - 31 - 81;
		}
	}
	while ((zjwdcwa < 40 + 13 + 17 + 100) || (qrrswwv > zjwdcwa + oesehyb - vuiiwzs)) {
		if ((emntcyx > 72 + zjwdcwa) && (vuiiwzs > qrrswwv + 94)) {
		} else {
			vuiiwzs := 83 - emntcyx;
		}
		while ((zjwdcwa > 87 + 64 - 77 + emntcyx + 65) || (qrrswwv < 87 + 29)) {
		}
	}
	if ((vuiiwzs < qrrswwv + 67 - emntcyx + zjwdcwa + vuiiwzs)) {
	} else {
	}
	emntcyx := emntcyx + 86;
	while ((zjwdcwa < 48 + vuiiwzs + qrrswwv + 100) || (qrrswwv < emntcyx - vuiiwzs - qrrswwv)) {
		vuiiwzs := emntcyx + emntcyx;
		if ((qrrswwv < oesehyb + 75 - emntcyx - 59 - 70) && (zjwdcwa < 4 + 53 + oesehyb + 5)) {
			emntcyx := 28 + oesehyb + 25 + oesehyb + 96;
		} else {
			emntcyx := 41 - 93 + vuiiwzs - 55 - emntcyx;
		}
	}
	if ((vuiiwzs > qrrswwv + qrrswwv) && (vuiiwzs > vuiiwzs + 57 - emntcyx - vuiiwzs - 90)) {
	} else {
	}
	if ((zjwdcwa > zjwdcwa + zjwdcwa) || (emntcyx < 16 + 86 - vuiiwzs)) {
		emntcyx := emntcyx + 34 + qrrswwv + 47 + 61;
		while ((zjwdcwa < 85 + qrrswwv + 100)) {
			qrrswwv := 73 - 40 + 6 - zjwdcwa;
		}
	} else {
		if ((zjwdcwa < qrrswwv - 14 - 81 + qrrswwv - 67) && (zjwdcwa > 29 + 40 - oesehyb - vuiiwzs)) {
			vuiiwzs := vuiiwzs + zjwdcwa + oesehyb;
		} else {
			vuiiwzs := vuiiwzs + vuiiwzs + emntcyx + zjwdcwa;
		}
		while ((zjwdcwa < 48 + 61 + vuiiwzs + qrrswwv + 100)) {
		}
	}
	qrrswwv := qrrswwv + qrrswwv + vuiiwzs;
	if ((emntcyx > 77 - emntcyx + 60) && (emntcyx > vuiiwzs + vuiiwzs - 90 - qrrswwv - 73)) {
		qrrswwv := qrrswwv + 34 + 11 + vuiiwzs + 0;
	} else {
		qrrswwv := qrrswwv + qrrswwv;
	}
	qrrswwv := qrrswwv + 52 + 53;
	if ((zjwdcwa < qrrswwv + qrrswwv - 61)) {
	} else {
		zjwdcwa := zjwdcwa + zjwdcwa + vuiiwzs + vuiiwzs + 32;
	}
	assert ((qrrswwv < vuiiwzs + 88) || (zjwdcwa > qrrswwv + 72 + vuiiwzs));
	assert ((emntcyx < emntcyx + vuiiwzs + 81 - 35 - emntcyx) && (qrrswwv < 85 - oesehyb - zjwdcwa + 73 + zjwdcwa));
	assert ((vuiiwzs > emntcyx + zjwdcwa - 9 + 18 + emntcyx) && (vuiiwzs < qrrswwv + 67));
}