// Generated random file with w 2 and h 5 and bs 3 #include int qrrswwv ; int zjwdcwa ; int vuiiwzs ; int emntcyx ; int oesehyb ; void test_main() { while ((emntcyx < oesehyb + oesehyb + 100)) { } if ((emntcyx > emntcyx - vuiiwzs - 15 - 13)) { zjwdcwa = zjwdcwa + qrrswwv + vuiiwzs + zjwdcwa + oesehyb; qrrswwv = qrrswwv + 53 + vuiiwzs + 80 + 69; } else { emntcyx = emntcyx + oesehyb + qrrswwv + 96 + qrrswwv; } if ((zjwdcwa > 9 - oesehyb)) { emntcyx = emntcyx + 72; } else { emntcyx = emntcyx + 76 + 7; zjwdcwa = zjwdcwa + zjwdcwa; } while ((emntcyx < 11 + vuiiwzs + 100) || (qrrswwv < qrrswwv + emntcyx)) { } if ((qrrswwv < qrrswwv + 94 - oesehyb)) { qrrswwv = qrrswwv + oesehyb + emntcyx + 99 + vuiiwzs; zjwdcwa = zjwdcwa + 32 + emntcyx + 90; } else { emntcyx = emntcyx + vuiiwzs + emntcyx + 58 + 64; } qrrswwv = qrrswwv + 86 + zjwdcwa; emntcyx = emntcyx + 58 + emntcyx + 95 + qrrswwv; while ((emntcyx < 50 + 40 + 7 + 100)) { zjwdcwa = emntcyx + vuiiwzs - vuiiwzs; } zjwdcwa = zjwdcwa + zjwdcwa + 27 + vuiiwzs + 71; while ((vuiiwzs < qrrswwv + 4 + emntcyx + 69 + 100)) { } if ((qrrswwv < 17 + 18 + vuiiwzs - vuiiwzs - emntcyx) || (qrrswwv > 27 - 9 + zjwdcwa - qrrswwv)) { } else { qrrswwv = qrrswwv + 58 + 45 + 33 + qrrswwv; } while ((zjwdcwa < emntcyx + zjwdcwa + oesehyb + 100)) { } if ((emntcyx < oesehyb + oesehyb - oesehyb - zjwdcwa)) { } else { zjwdcwa = zjwdcwa + 31 + 25 + 79 + 41; } emntcyx = emntcyx + 81 + 37 + vuiiwzs; while ((vuiiwzs < vuiiwzs + emntcyx + 64 + vuiiwzs + emntcyx + 100) || (vuiiwzs > vuiiwzs - emntcyx)) { vuiiwzs = qrrswwv - vuiiwzs; } while ((emntcyx < zjwdcwa + 65 + 100) && (emntcyx > vuiiwzs - 29 - 92 - qrrswwv - qrrswwv)) { } emntcyx = emntcyx + vuiiwzs + vuiiwzs; zjwdcwa = zjwdcwa + emntcyx; qrrswwv = qrrswwv + 12 + vuiiwzs; while ((zjwdcwa < 56 + 6 + 100)) { emntcyx = 39 - 55 + emntcyx + oesehyb + 33; zjwdcwa = vuiiwzs + 2 + qrrswwv + emntcyx; } assert ((zjwdcwa > 56 - zjwdcwa - oesehyb - 25)); assert ((qrrswwv > emntcyx - 10 - 45 + 17) && (emntcyx > vuiiwzs + 85 + oesehyb - emntcyx - 76)); assert ((zjwdcwa < 31 - qrrswwv)); }