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

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

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