// Generated random file with w 3 and h 6 and bs 1 #include int qrrswwv ; int zjwdcwa ; int vuiiwzs ; int emntcyx ; int oesehyb ; void test_main() { while ((vuiiwzs < oesehyb + 21 + 100)) { if ((emntcyx > vuiiwzs + 84 - vuiiwzs) && (zjwdcwa < emntcyx - 8 - 75)) { } else { emntcyx = 43 - oesehyb - 84 + 54 - 23; } if ((zjwdcwa > 85 - emntcyx - emntcyx - 18)) { qrrswwv = 96 - vuiiwzs + 76 - 68 + emntcyx; } else { } } if ((qrrswwv > 1 - zjwdcwa + oesehyb) || (zjwdcwa > 51 - 82 - 97 + 49)) { emntcyx = emntcyx + zjwdcwa; } else { } vuiiwzs = vuiiwzs + zjwdcwa + 37 + 37 + 88; while ((qrrswwv < emntcyx + zjwdcwa + 86 + oesehyb + 82 + 100)) { while ((emntcyx < oesehyb - emntcyx + 43) || (zjwdcwa > zjwdcwa + qrrswwv - qrrswwv + zjwdcwa)) { } while ((qrrswwv > 62 + emntcyx - 5)) { vuiiwzs = oesehyb - vuiiwzs + 26; } } zjwdcwa = zjwdcwa + oesehyb + oesehyb + 88 + 42; if ((vuiiwzs > zjwdcwa - qrrswwv - 48 - qrrswwv + 52) || (vuiiwzs > 7 - qrrswwv + 5)) { vuiiwzs = vuiiwzs + zjwdcwa + oesehyb + emntcyx + 29; } else { if ((qrrswwv < qrrswwv - vuiiwzs - emntcyx)) { emntcyx = emntcyx + 83; } else { emntcyx = emntcyx + zjwdcwa; } if ((vuiiwzs < 50 - qrrswwv - zjwdcwa)) { zjwdcwa = zjwdcwa + zjwdcwa + 67; } else { emntcyx = emntcyx + vuiiwzs + oesehyb + 38 + emntcyx; } } vuiiwzs = vuiiwzs + 56 + qrrswwv; while ((zjwdcwa < 2 + 63 + oesehyb + 100) || (qrrswwv < 31 - 22)) { while ((zjwdcwa < zjwdcwa + 25)) { qrrswwv = 4 + 81 - 50 + qrrswwv; } if ((zjwdcwa > 21 - 42 - 77 + zjwdcwa - qrrswwv) || (emntcyx > qrrswwv + vuiiwzs + 32)) { } else { qrrswwv = 12 - 65 + 88 - oesehyb - 13; } } qrrswwv = qrrswwv + 95 + 29 + vuiiwzs; if ((emntcyx > zjwdcwa + qrrswwv - 88 - vuiiwzs + zjwdcwa) && (zjwdcwa > 36 + 65 - 24 - 62)) { zjwdcwa = zjwdcwa + 14 + vuiiwzs + oesehyb; } else { qrrswwv = qrrswwv + 19 + 77; } zjwdcwa = zjwdcwa + 86; while ((emntcyx < oesehyb + oesehyb + zjwdcwa + 100) && (emntcyx > oesehyb + 55 + emntcyx + 40)) { if ((emntcyx > zjwdcwa + oesehyb) || (vuiiwzs > qrrswwv - 66)) { } else { } if ((vuiiwzs > qrrswwv + 39 - qrrswwv) && (qrrswwv < 1 - emntcyx - 73 - 74)) { } else { } } assert ((qrrswwv > 69 + qrrswwv + emntcyx + 10)); assert ((emntcyx > oesehyb + emntcyx + emntcyx - 6 + emntcyx)); assert ((qrrswwv < 58 + 13 - qrrswwv + vuiiwzs) && (emntcyx > 1 - 46 - qrrswwv)); }