//#Safe;  Generated random file with w 4 and h 6 and bs 3

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