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

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

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