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

procedure main() {
	 var qrrswwv : int ;
	 var zjwdcwa : int ;
	 var vuiiwzs : int ;
	 var emntcyx : int ;
	 var oesehyb : int ;
	zjwdcwa := zjwdcwa + oesehyb + 73 + qrrswwv + qrrswwv;
	if ((qrrswwv < 51 - 4 + qrrswwv + vuiiwzs) || (vuiiwzs < 1 - 10 + oesehyb - 96 - 83)) {
	} else {
		vuiiwzs := vuiiwzs + oesehyb + 14 + 14 + emntcyx;
	}
	if ((emntcyx < vuiiwzs - zjwdcwa + emntcyx)) {
	} else {
	}
	if ((vuiiwzs > emntcyx - emntcyx) || (zjwdcwa < qrrswwv + 68 - emntcyx - 74)) {
	} else {
		qrrswwv := qrrswwv + oesehyb + 38;
	}
	emntcyx := emntcyx + qrrswwv + 66 + 81;
	while ((vuiiwzs < 89 + 67 + zjwdcwa + 100)) {
		vuiiwzs := 6 - zjwdcwa - 67 + qrrswwv;
	}
	while ((vuiiwzs < 17 + zjwdcwa + 32 + 100) || (vuiiwzs > qrrswwv + oesehyb - 56)) {
	}
	if ((vuiiwzs > 88 - oesehyb)) {
		emntcyx := emntcyx + zjwdcwa + oesehyb;
	} else {
		qrrswwv := qrrswwv + 96 + 87;
	}
	while ((emntcyx < oesehyb + qrrswwv + 21 + 100) || (vuiiwzs > 54 + vuiiwzs)) {
		emntcyx := zjwdcwa + 86 + 64 - qrrswwv + 9;
	}
	while ((qrrswwv < 54 + 36 + 18 + oesehyb + 100) || (qrrswwv < emntcyx - qrrswwv + zjwdcwa - oesehyb + 74)) {
		qrrswwv := qrrswwv + oesehyb;
	}
	if ((zjwdcwa > 78 - oesehyb + vuiiwzs + qrrswwv - emntcyx) && (emntcyx < 68 + 94 + oesehyb)) {
	} else {
		qrrswwv := qrrswwv + vuiiwzs;
	}
	if ((vuiiwzs > 41 - 92 + 24 + oesehyb) && (emntcyx > zjwdcwa + 45 - qrrswwv)) {
	} else {
	}
	qrrswwv := qrrswwv + 70 + 5 + 72;
	while ((qrrswwv < 3 + 62 + 100) || (qrrswwv < 23 + zjwdcwa)) {
		vuiiwzs := emntcyx + emntcyx + 4 - qrrswwv;
	}
	assert ((emntcyx > 42 + qrrswwv + 3 + 13) || (qrrswwv < 82 + 38 + 79));
	assert ((qrrswwv < qrrswwv + zjwdcwa + vuiiwzs - 43 - 83) || (vuiiwzs > vuiiwzs - 58 - vuiiwzs + 13));
	assert ((zjwdcwa > qrrswwv - 69 - 80 + 5 - 2));
}