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

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