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