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

procedure main() {
	 var qrrswwv : int ;
	 var zjwdcwa : int ;
	 var vuiiwzs : int ;
	 var emntcyx : int ;
	 var oesehyb : int ;
	if ((zjwdcwa < zjwdcwa + 82 - 6)) {
	} else {
	}
	while ((qrrswwv < zjwdcwa + 95 + qrrswwv + 91 + zjwdcwa + 100)) {
		qrrswwv := oesehyb + vuiiwzs;
	}
	if ((emntcyx < vuiiwzs + qrrswwv - vuiiwzs)) {
	} else {
		zjwdcwa := zjwdcwa + qrrswwv + emntcyx;
	}
	while ((qrrswwv < emntcyx + 59 + 97 + oesehyb + 100) || (emntcyx > 40 + 22)) {
		zjwdcwa := zjwdcwa + 46;
	}
	while ((emntcyx < 88 + 45 + emntcyx + 100)) {
	}
	if ((qrrswwv < oesehyb - vuiiwzs + 53)) {
		zjwdcwa := zjwdcwa + qrrswwv + zjwdcwa + vuiiwzs + 33;
	} else {
		emntcyx := emntcyx + 98;
	}
	while ((zjwdcwa < 2 + 14 + 100) || (qrrswwv < 91 + emntcyx + emntcyx + zjwdcwa)) {
	}
	qrrswwv := qrrswwv + 48;
	while ((qrrswwv < oesehyb + 66 + zjwdcwa + 100)) {
		vuiiwzs := 5 - zjwdcwa + 29;
	}
	if ((zjwdcwa < 91 - 0 + 41) || (zjwdcwa > qrrswwv - qrrswwv - qrrswwv - 83 + qrrswwv)) {
		emntcyx := emntcyx + 80 + qrrswwv + vuiiwzs;
	} else {
	}
	if ((vuiiwzs > 45 - 27 + 14) && (zjwdcwa > oesehyb - zjwdcwa - 36 + vuiiwzs)) {
		emntcyx := emntcyx + 90 + oesehyb;
	} else {
		zjwdcwa := zjwdcwa + 75 + 9 + 26 + 91;
	}
	while ((zjwdcwa < 84 + emntcyx + 99 + emntcyx + vuiiwzs + 100) || (qrrswwv > 11 + 18 + zjwdcwa - oesehyb)) {
		vuiiwzs := oesehyb + zjwdcwa + qrrswwv + 74;
	}
	vuiiwzs := vuiiwzs + zjwdcwa;
	while ((vuiiwzs < zjwdcwa + 13 + 73 + emntcyx + emntcyx + 100)) {
	}
	while ((vuiiwzs < oesehyb + 61 + zjwdcwa + 78 + 100) && (vuiiwzs > vuiiwzs + emntcyx + emntcyx + 0 - 98)) {
	}
	if ((emntcyx > zjwdcwa + vuiiwzs + qrrswwv)) {
		qrrswwv := qrrswwv + 2 + 19 + 28 + 3;
		zjwdcwa := zjwdcwa + 75 + 97 + qrrswwv;
	} else {
	}
	vuiiwzs := vuiiwzs + 22 + 38;
	while ((emntcyx < 18 + oesehyb + 18 + 30 + qrrswwv + 100)) {
		zjwdcwa := 88 - 74 - 65 - 83 - oesehyb;
	}
	emntcyx := emntcyx + 31 + 17;
	while ((emntcyx < oesehyb + oesehyb + 30 + zjwdcwa + 92 + 100)) {
	}
	if ((zjwdcwa > vuiiwzs - vuiiwzs + vuiiwzs - 89) || (zjwdcwa > qrrswwv - 24 - 5 - emntcyx)) {
		emntcyx := emntcyx + 63 + emntcyx + vuiiwzs;
	} else {
		vuiiwzs := vuiiwzs + 12 + oesehyb;
	}
	assert ((zjwdcwa < 33 + 41 - 4 - 14));
	assert ((qrrswwv < 22 + 25 + 8));
	assert ((qrrswwv > 98 + qrrswwv - 10 - zjwdcwa));
}