// Generated random file with w 5 and h 1 and bs 3 #include int qrrswwv ; int zjwdcwa ; int vuiiwzs ; int emntcyx ; int oesehyb ; void test_main() { qrrswwv = qrrswwv + emntcyx + 4 + 74 + qrrswwv; vuiiwzs = vuiiwzs + oesehyb + 62 + 45; if ((vuiiwzs < 80 + vuiiwzs - zjwdcwa + 31) || (zjwdcwa > 21 + emntcyx)) { qrrswwv = qrrswwv + 11 + 95; while ((emntcyx < oesehyb + 67 + 100)) { } while ((qrrswwv < emntcyx + vuiiwzs + emntcyx + 13 + 81 + 100)) { } } else { while ((zjwdcwa < 94 + emntcyx + 10 + 10 + 100) && (vuiiwzs < qrrswwv - 13 + 86)) { while ((qrrswwv > vuiiwzs - oesehyb + 48)) { zjwdcwa = 80 + 23 + emntcyx - 92 + 66; } emntcyx = 91 - 69 - 1 - 43; while ((emntcyx > qrrswwv + 97)) { } } while ((zjwdcwa < 38 + vuiiwzs + qrrswwv + 21 + 100) && (qrrswwv > emntcyx + vuiiwzs)) { if ((zjwdcwa > emntcyx + emntcyx + 22 + zjwdcwa)) { } else { qrrswwv = 96 - qrrswwv - 5 - 78; } while ((emntcyx > vuiiwzs + emntcyx - vuiiwzs)) { } } emntcyx = emntcyx + vuiiwzs + 54 + 53 + 12; while ((emntcyx < 92 + emntcyx + 33 + emntcyx + zjwdcwa + 100) && (vuiiwzs > 24 + oesehyb - 16 + 94 - 54)) { if ((zjwdcwa > 19 - vuiiwzs + 86 + 3) && (zjwdcwa < qrrswwv + vuiiwzs + 5 - 62)) { qrrswwv = oesehyb - 50; } else { zjwdcwa = zjwdcwa - 41 + 75 - 66 + 3; } while ((zjwdcwa < zjwdcwa + 55 + 24)) { } } } while ((emntcyx < 21 + emntcyx + 24 + 24 + 10 + 100) && (qrrswwv < 94 - 14 + 19)) { qrrswwv = oesehyb - 62 + 97 + 79 - oesehyb; qrrswwv = vuiiwzs + 4 - 53 - emntcyx; while ((qrrswwv < emntcyx - 3 + vuiiwzs)) { qrrswwv = zjwdcwa - 62 - qrrswwv - zjwdcwa; if ((vuiiwzs < qrrswwv + vuiiwzs - 46 - oesehyb) || (vuiiwzs < oesehyb + 96 + 97)) { } else { } } } assert ((emntcyx > 74 + 73 + 39 + oesehyb) || (emntcyx < vuiiwzs + emntcyx - 30 + 8 - 3)); assert ((vuiiwzs < 43 - 79 + 63 - 28) || (zjwdcwa > 84 - 14 - zjwdcwa + emntcyx + zjwdcwa)); assert ((qrrswwv > emntcyx + 32) && (qrrswwv < 21 - qrrswwv - 99 + emntcyx - 77)); }