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

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

void test_main()
{
	emntcyx = emntcyx + 48 + 86;
	if ((emntcyx < 1 + 40 + zjwdcwa) && (zjwdcwa < 35 - qrrswwv - 43)) {
		qrrswwv = qrrswwv + 29;
	} else {
	}
	assert ((zjwdcwa > 3 + oesehyb + qrrswwv - zjwdcwa - qrrswwv) || (zjwdcwa > qrrswwv + 27 + 66));
	assert ((emntcyx > 21 - 76 + 44 - zjwdcwa));
	assert ((vuiiwzs > emntcyx + 53 + qrrswwv + emntcyx) || (emntcyx > 11 - qrrswwv + vuiiwzs + 63));
}