// Generated random file with w 1 and h 4 and bs 3 #include int qrrswwv ; int zjwdcwa ; int vuiiwzs ; int emntcyx ; int oesehyb ; void test_main() { vuiiwzs = vuiiwzs + oesehyb + oesehyb + emntcyx; emntcyx = emntcyx + oesehyb; zjwdcwa = zjwdcwa + oesehyb; while ((zjwdcwa < 14 + zjwdcwa + 100) && (vuiiwzs > emntcyx - vuiiwzs - 68)) { zjwdcwa = 8 + 45 + 92 + 17; vuiiwzs = 30 - vuiiwzs + vuiiwzs - 81 - qrrswwv; } while ((zjwdcwa < 77 + 69 + qrrswwv + qrrswwv + oesehyb + 100)) { zjwdcwa = 48 - zjwdcwa - 29 - qrrswwv + 86; } while ((qrrswwv < emntcyx + 14 + 5 + 100) && (vuiiwzs < 35 - 63 - 85 - 43 - 48)) { vuiiwzs = zjwdcwa - 73 - qrrswwv + 24 - 31; zjwdcwa = zjwdcwa + vuiiwzs - oesehyb + vuiiwzs; emntcyx = vuiiwzs + zjwdcwa; } if ((vuiiwzs > qrrswwv - zjwdcwa + 73 - 88)) { } else { qrrswwv = qrrswwv + 67 + qrrswwv + qrrswwv + 2; } if ((zjwdcwa > 67 + 36 - zjwdcwa)) { } else { vuiiwzs = vuiiwzs + 56 + 85 + 9; zjwdcwa = zjwdcwa + 20 + 74 + zjwdcwa; } zjwdcwa = zjwdcwa + zjwdcwa + 67 + 38; vuiiwzs = vuiiwzs + zjwdcwa + zjwdcwa; qrrswwv = qrrswwv + oesehyb + 94 + zjwdcwa; if ((emntcyx > qrrswwv + emntcyx - 73 - 5) && (zjwdcwa < 94 - zjwdcwa)) { emntcyx = emntcyx + zjwdcwa + 39; zjwdcwa = zjwdcwa + qrrswwv; vuiiwzs = vuiiwzs + 8 + qrrswwv + 14 + 91; } else { emntcyx = emntcyx + qrrswwv + 14 + 19 + 47; vuiiwzs = vuiiwzs + 29 + 93 + 39 + 99; } emntcyx = emntcyx + 0; if ((qrrswwv < vuiiwzs - oesehyb) && (zjwdcwa > 31 - vuiiwzs + oesehyb)) { zjwdcwa = zjwdcwa + 21; } else { qrrswwv = qrrswwv + oesehyb; emntcyx = emntcyx + 67 + 86 + 51; } while ((emntcyx < oesehyb + emntcyx + vuiiwzs + oesehyb + 100)) { qrrswwv = zjwdcwa + 86 - 31; vuiiwzs = qrrswwv + 58 + vuiiwzs - 24; } if ((zjwdcwa > 62 - 24 + 29) || (emntcyx > emntcyx - emntcyx + 77 - zjwdcwa)) { emntcyx = emntcyx + 45 + qrrswwv + qrrswwv + zjwdcwa; } else { vuiiwzs = vuiiwzs + vuiiwzs + emntcyx + emntcyx + oesehyb; } assert ((qrrswwv < oesehyb + vuiiwzs) || (emntcyx > qrrswwv + vuiiwzs + oesehyb - emntcyx + 57)); assert ((emntcyx > 82 - oesehyb + 96)); assert ((emntcyx < vuiiwzs + zjwdcwa - emntcyx) && (qrrswwv > zjwdcwa - emntcyx)); }