// Generated random file with w 4 and h 8 and bs 3
#include <assert.h>

int qrrswwv ;
int zjwdcwa ;
int vuiiwzs ;
int emntcyx ;
int oesehyb ;

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