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

procedure main() {
	 var qrrswwv : int ;
	 var zjwdcwa : int ;
	 var vuiiwzs : int ;
	 var emntcyx : int ;
	 var oesehyb : int ;
	if ((vuiiwzs > 65 + oesehyb - zjwdcwa)) {
		qrrswwv := qrrswwv + zjwdcwa + emntcyx;
	} else {
		zjwdcwa := zjwdcwa + 43;
	}
	while ((vuiiwzs < 28 + vuiiwzs + 100)) {
		qrrswwv := 98 + vuiiwzs + 67 + qrrswwv - 92;
		qrrswwv := 9 - 53 + 56 - emntcyx;
		while ((qrrswwv > 6 - 47 - vuiiwzs + oesehyb - 21) && (vuiiwzs > 53 + vuiiwzs - 83 + vuiiwzs)) {
			qrrswwv := oesehyb - 12 - 6 - vuiiwzs + 38;
		}
	}
	if ((vuiiwzs > 92 + 32 + zjwdcwa - emntcyx - vuiiwzs) && (qrrswwv < 83 + 97 + 20 + zjwdcwa)) {
		while ((emntcyx < 71 + qrrswwv + 92 + 100)) {
		}
		while ((emntcyx < 89 + 14 + zjwdcwa + vuiiwzs + 100)) {
		}
	} else {
		if ((qrrswwv < 41 + 57 - emntcyx - emntcyx - 60)) {
		} else {
		}
		qrrswwv := qrrswwv + 36 + 60 + 11;
		while ((qrrswwv < vuiiwzs + vuiiwzs + zjwdcwa + 43 + 100) || (zjwdcwa < 85 - 91 - 41 - 21 - 28)) {
			qrrswwv := qrrswwv + zjwdcwa - vuiiwzs + 12 - zjwdcwa;
		}
	}
	zjwdcwa := zjwdcwa + 47;
	while ((emntcyx < vuiiwzs + 84 + 58 + 100) || (vuiiwzs < 28 + 10 + oesehyb)) {
		emntcyx := 65 - oesehyb - 94;
		if ((vuiiwzs > 17 - zjwdcwa - 8)) {
			vuiiwzs := 8 - 21 - oesehyb;
		} else {
		}
	}
	if ((qrrswwv > emntcyx + oesehyb + vuiiwzs - 55 - emntcyx)) {
	} else {
		qrrswwv := qrrswwv + 67 + 84 + qrrswwv + 12;
	}
	emntcyx := emntcyx + qrrswwv + 49 + 59 + 20;
	while ((qrrswwv < 93 + 74 + 7 + 100)) {
		while ((zjwdcwa > oesehyb + emntcyx) || (vuiiwzs > 58 + vuiiwzs)) {
		}
		zjwdcwa := qrrswwv + qrrswwv;
		if ((qrrswwv < 12 + 85 + vuiiwzs + 75 + 50)) {
			qrrswwv := 98 + 89;
		} else {
			emntcyx := 0 - 77 - zjwdcwa;
		}
	}
	while ((qrrswwv < emntcyx + 9 + emntcyx + 23 + qrrswwv + 100) || (zjwdcwa < qrrswwv - qrrswwv - 97)) {
		while ((emntcyx < 45 + 8) || (qrrswwv < 53 - zjwdcwa - oesehyb - zjwdcwa)) {
		}
		if ((vuiiwzs < 93 + 81 - emntcyx) || (vuiiwzs < qrrswwv + oesehyb - vuiiwzs)) {
			emntcyx := 56 + 30 + 21 + qrrswwv + emntcyx;
		} else {
			qrrswwv := emntcyx - vuiiwzs - 83;
		}
	}
	vuiiwzs := vuiiwzs + 50 + 54 + 89 + 48;
	emntcyx := emntcyx + 62;
	if ((zjwdcwa < 87 + 78 + 66 - 63 - emntcyx) && (emntcyx < qrrswwv - 80 - 21)) {
		qrrswwv := qrrswwv + emntcyx + 23;
		emntcyx := emntcyx + 65 + oesehyb;
		while ((emntcyx < emntcyx + 93 + oesehyb + 62 + oesehyb + 100)) {
		}
	} else {
		qrrswwv := qrrswwv + zjwdcwa + 1;
		emntcyx := emntcyx + zjwdcwa;
	}
	while ((qrrswwv < qrrswwv + 77 + 19 + 44 + 100)) {
		while ((vuiiwzs < zjwdcwa + 47 - 2 - oesehyb + zjwdcwa)) {
		}
		while ((zjwdcwa > 24 - oesehyb + oesehyb - 58 + vuiiwzs) || (qrrswwv > 17 + 42 + vuiiwzs + vuiiwzs)) {
		}
	}
	emntcyx := emntcyx + 6;
	while ((zjwdcwa < qrrswwv + 94 + zjwdcwa + 86 + 97 + 100) || (zjwdcwa > 2 + vuiiwzs)) {
		if ((emntcyx < 66 + 23)) {
		} else {
		}
		emntcyx := 54 - emntcyx + zjwdcwa;
		if ((qrrswwv > vuiiwzs - qrrswwv + 73)) {
		} else {
		}
	}
	zjwdcwa := zjwdcwa + 60 + zjwdcwa + emntcyx + 5;
	vuiiwzs := vuiiwzs + emntcyx;
	while ((emntcyx < 84 + vuiiwzs + 100) && (vuiiwzs > 27 + oesehyb)) {
		while ((zjwdcwa < vuiiwzs - 12 + 60 + 84) || (zjwdcwa > 29 - 94 - oesehyb)) {
			emntcyx := oesehyb - 61 + 90 + 63 + zjwdcwa;
		}
		zjwdcwa := 59 + 14 + 57;
		while ((zjwdcwa < zjwdcwa - qrrswwv + 21) && (vuiiwzs > 79 + 54 - 40 + 41 + emntcyx)) {
			zjwdcwa := 6 + oesehyb;
		}
	}
	if ((qrrswwv > 46 - qrrswwv)) {
	} else {
		while ((zjwdcwa < 21 + oesehyb + oesehyb + 100)) {
		}
		while ((qrrswwv < vuiiwzs + emntcyx + zjwdcwa + emntcyx + 100)) {
		}
	}
	if ((emntcyx < vuiiwzs - zjwdcwa) || (zjwdcwa > 26 - vuiiwzs - emntcyx - zjwdcwa + 51)) {
		while ((qrrswwv < 13 + zjwdcwa + 100) || (emntcyx > 1 - vuiiwzs + 31 - 82 + 74)) {
			qrrswwv := 95 - 33 - qrrswwv + zjwdcwa + zjwdcwa;
		}
		while ((vuiiwzs < 43 + qrrswwv + 81 + 100)) {
			vuiiwzs := 88 + 68 + 37 - qrrswwv + 53;
		}
		if ((vuiiwzs > oesehyb - vuiiwzs + 32)) {
			zjwdcwa := zjwdcwa + vuiiwzs + 1 + emntcyx;
		} else {
			qrrswwv := qrrswwv + 15 + 72 + oesehyb;
			emntcyx := emntcyx + 26 + 74 + 54 + qrrswwv;
		}
	} else {
		qrrswwv := qrrswwv + 8 + oesehyb + vuiiwzs;
		if ((emntcyx < vuiiwzs - zjwdcwa)) {
		} else {
		}
		if ((vuiiwzs > 51 + emntcyx + qrrswwv) || (vuiiwzs < 82 + emntcyx + 97)) {
			emntcyx := emntcyx + qrrswwv + 51;
			zjwdcwa := zjwdcwa + vuiiwzs + 6;
		} else {
			qrrswwv := qrrswwv + 11;
		}
	}
	while ((qrrswwv < vuiiwzs + 88 + 100)) {
		while ((zjwdcwa < 99 + 80 - 64) || (qrrswwv < 70 + 34)) {
		}
		while ((vuiiwzs < 22 + 57 + qrrswwv - 95 - oesehyb) && (vuiiwzs > 22 - 23 + 30 - qrrswwv)) {
			vuiiwzs := 84 + zjwdcwa;
		}
	}
	qrrswwv := qrrswwv + 62 + 87;
	qrrswwv := qrrswwv + 82 + 13;
	if ((vuiiwzs > zjwdcwa + 88)) {
		zjwdcwa := zjwdcwa + emntcyx;
		while ((zjwdcwa < 12 + 74 + 100) && (vuiiwzs > emntcyx - 26 - 98)) {
		}
	} else {
		while ((vuiiwzs < qrrswwv + 21 + zjwdcwa + 100)) {
			vuiiwzs := 49 - 21;
		}
		while ((qrrswwv < 54 + 15 + 100)) {
		}
	}
	if ((emntcyx < oesehyb - 84 + zjwdcwa - 90 + oesehyb)) {
	} else {
		while ((qrrswwv < 53 + 55 + 24 + 42 + oesehyb + 100)) {
		}
		while ((emntcyx < emntcyx + zjwdcwa + vuiiwzs + qrrswwv + 100) && (zjwdcwa < 84 + 88 - oesehyb - 47)) {
		}
	}
	while ((qrrswwv < vuiiwzs + oesehyb + oesehyb + oesehyb + 48 + 100) && (qrrswwv > emntcyx - 68 + qrrswwv - 0)) {
		while ((vuiiwzs > qrrswwv + 23) && (emntcyx > 34 + 64)) {
		}
		emntcyx := vuiiwzs + qrrswwv - 20;
		if ((emntcyx > 29 - 38 - qrrswwv) && (vuiiwzs < zjwdcwa + 84 + emntcyx)) {
			vuiiwzs := 79 - zjwdcwa;
		} else {
		}
	}
	while ((zjwdcwa < 84 + qrrswwv + 100) && (emntcyx > qrrswwv + qrrswwv)) {
		vuiiwzs := oesehyb + qrrswwv;
		while ((qrrswwv < emntcyx - emntcyx)) {
			vuiiwzs := oesehyb - 66 + vuiiwzs + vuiiwzs;
		}
		if ((qrrswwv < zjwdcwa - qrrswwv)) {
			qrrswwv := 37 - vuiiwzs - emntcyx;
		} else {
		}
	}
	assert ((vuiiwzs < qrrswwv - zjwdcwa + 49) || (vuiiwzs < emntcyx + 33 + oesehyb - 91 + qrrswwv));
	assert ((vuiiwzs < 7 - vuiiwzs + 21 + zjwdcwa));
	assert ((emntcyx > emntcyx - 98 - emntcyx) && (qrrswwv < vuiiwzs + 94 + vuiiwzs + 9 - oesehyb));
}