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

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

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