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

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

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