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

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

void test_main()
{
	if ((zjwdcwa > 66 - oesehyb - emntcyx + vuiiwzs - 35) || (vuiiwzs < 5 - 64 + 26 + zjwdcwa + 34)) {
	} else {
		qrrswwv = qrrswwv + vuiiwzs + vuiiwzs;
	}
	while ((emntcyx < 12 + zjwdcwa + oesehyb + 100)) {
		emntcyx = vuiiwzs + vuiiwzs - zjwdcwa + 12;
	}
	zjwdcwa = zjwdcwa + oesehyb + zjwdcwa;
	while ((zjwdcwa < qrrswwv + emntcyx + oesehyb + 100) && (vuiiwzs < 23 - 87)) {
		vuiiwzs = vuiiwzs + zjwdcwa + 13 - zjwdcwa;
	}
	assert ((qrrswwv > oesehyb - zjwdcwa - oesehyb + oesehyb));
	assert ((vuiiwzs < qrrswwv - 22 + 88));
	assert ((emntcyx > zjwdcwa + oesehyb + 84) && (qrrswwv > vuiiwzs + 40 + vuiiwzs + qrrswwv));
}