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

procedure main() {
	 var qrrswwv : int ;
	 var zjwdcwa : int ;
	 var vuiiwzs : int ;
	 var emntcyx : int ;
	 var oesehyb : int ;
	if ((zjwdcwa > 66 - oesehyb - emntcyx + vuiiwzs - 35) || (vuiiwzs < 5 - 64 + 26 + zjwdcwa + 34)) {
	} else {
		qrrswwv := qrrswwv + vuiiwzs + vuiiwzs;
	}
	while ((emntcyx < 12 + zjwdcwa + oesehyb + 100)) {
		emntcyx := vuiiwzs + vuiiwzs - zjwdcwa + 12;
	}
	zjwdcwa := zjwdcwa + oesehyb + zjwdcwa;
	while ((zjwdcwa < qrrswwv + emntcyx + oesehyb + 100) && (vuiiwzs < 23 - 87)) {
		vuiiwzs := vuiiwzs + zjwdcwa + 13 - zjwdcwa;
	}
	assert ((qrrswwv > oesehyb - zjwdcwa - oesehyb + oesehyb));
	assert ((vuiiwzs < qrrswwv - 22 + 88));
	assert ((emntcyx > zjwdcwa + oesehyb + 84) && (qrrswwv > vuiiwzs + 40 + vuiiwzs + qrrswwv));
}