// Generated random file with w 2 and h 10 and bs 3 #include int qrrswwv ; int zjwdcwa ; int vuiiwzs ; int emntcyx ; int oesehyb ; void test_main() { vuiiwzs = vuiiwzs + vuiiwzs; qrrswwv = qrrswwv + 78; if ((vuiiwzs > 94 + emntcyx + 81) || (vuiiwzs > 2 - oesehyb + oesehyb)) { emntcyx = emntcyx + oesehyb + 88 + emntcyx; } else { vuiiwzs = vuiiwzs + 12 + oesehyb + 42; vuiiwzs = vuiiwzs + zjwdcwa; } while ((zjwdcwa < 19 + 24 + 3 + 27 + 100) || (qrrswwv < emntcyx + zjwdcwa + zjwdcwa + oesehyb - vuiiwzs)) { emntcyx = vuiiwzs + zjwdcwa - vuiiwzs; vuiiwzs = qrrswwv - emntcyx; } emntcyx = emntcyx + emntcyx + emntcyx + 49 + zjwdcwa; zjwdcwa = zjwdcwa + oesehyb + 7 + zjwdcwa; while ((qrrswwv < qrrswwv + 61 + zjwdcwa + 100)) { qrrswwv = 82 + 14; emntcyx = 52 - 49 + zjwdcwa; } if ((emntcyx > 44 + 14 - 66 + 83 + 74) && (zjwdcwa > 84 + 86)) { } else { emntcyx = emntcyx + 10; qrrswwv = qrrswwv + 3 + 97; } qrrswwv = qrrswwv + 91 + oesehyb + oesehyb; if ((zjwdcwa < oesehyb - qrrswwv + 38 + vuiiwzs - oesehyb) || (vuiiwzs < vuiiwzs - 36 + 69)) { vuiiwzs = vuiiwzs + oesehyb; } else { qrrswwv = qrrswwv + 81; zjwdcwa = zjwdcwa + 21 + 53; } while ((emntcyx < 74 + emntcyx + 100) && (emntcyx < 74 - 12)) { } while ((vuiiwzs < emntcyx + oesehyb + vuiiwzs + 100)) { zjwdcwa = 86 + qrrswwv + 48; } emntcyx = emntcyx + zjwdcwa + emntcyx + qrrswwv; if ((qrrswwv > qrrswwv - oesehyb) || (emntcyx > 93 + oesehyb + 5 + qrrswwv - zjwdcwa)) { vuiiwzs = vuiiwzs + 35 + oesehyb + emntcyx; } else { } if ((qrrswwv < 18 + 18 + qrrswwv - zjwdcwa - 56) || (emntcyx > zjwdcwa - zjwdcwa - 76)) { vuiiwzs = vuiiwzs + 27 + emntcyx + qrrswwv + 7; qrrswwv = qrrswwv + 54; } else { } while ((qrrswwv < zjwdcwa + 65 + 100) && (emntcyx > vuiiwzs + vuiiwzs)) { } if ((zjwdcwa < 93 - 10) && (vuiiwzs > 92 - oesehyb - zjwdcwa - zjwdcwa - 5)) { } else { vuiiwzs = vuiiwzs + 19; zjwdcwa = zjwdcwa + 88 + emntcyx + vuiiwzs; } while ((vuiiwzs < zjwdcwa + 55 + oesehyb + 100) && (zjwdcwa < 43 - 1 - qrrswwv - 98)) { emntcyx = 14 - 55 - 95 + zjwdcwa; } while ((vuiiwzs < 3 + 88 + 100) && (emntcyx > 34 + qrrswwv - vuiiwzs)) { emntcyx = vuiiwzs - 62 - qrrswwv - oesehyb - 61; } while ((qrrswwv < oesehyb + qrrswwv + 0 + 99 + 100) && (vuiiwzs > 46 + 94 + oesehyb + oesehyb - qrrswwv)) { zjwdcwa = 99 - qrrswwv; } emntcyx = emntcyx + zjwdcwa + 17 + 75; while ((emntcyx < 37 + 46 + zjwdcwa + 100)) { zjwdcwa = 96 + qrrswwv + 28; } while ((qrrswwv < zjwdcwa + qrrswwv + 3 + qrrswwv + oesehyb + 100)) { vuiiwzs = 78 - qrrswwv + 86 - oesehyb; } if ((zjwdcwa < 1 + oesehyb - vuiiwzs - 88) && (qrrswwv > emntcyx - oesehyb - 17 + 55)) { qrrswwv = qrrswwv + vuiiwzs + qrrswwv + emntcyx; emntcyx = emntcyx + 19 + 90 + 88 + vuiiwzs; } else { emntcyx = emntcyx + 12 + vuiiwzs; } emntcyx = emntcyx + qrrswwv + 99 + 99 + zjwdcwa; zjwdcwa = zjwdcwa + 62; vuiiwzs = vuiiwzs + 75 + 40; if ((qrrswwv > 66 + qrrswwv)) { } else { vuiiwzs = vuiiwzs + 13 + emntcyx + vuiiwzs + vuiiwzs; } qrrswwv = qrrswwv + oesehyb + zjwdcwa + 84 + qrrswwv; while ((zjwdcwa < oesehyb + 27 + 3 + 100)) { zjwdcwa = 94 - 61; } if ((vuiiwzs < qrrswwv + 52 - 61 - 85 - 91)) { } else { vuiiwzs = vuiiwzs + 87; } while ((zjwdcwa < emntcyx + 87 + 100)) { zjwdcwa = oesehyb - oesehyb + zjwdcwa; emntcyx = 9 + vuiiwzs - 70 + vuiiwzs; } emntcyx = emntcyx + 59 + 77 + 36 + 59; qrrswwv = qrrswwv + 33 + 37; qrrswwv = qrrswwv + 5 + emntcyx + qrrswwv; if ((zjwdcwa < vuiiwzs - emntcyx)) { } else { qrrswwv = qrrswwv + zjwdcwa + 97 + vuiiwzs + zjwdcwa; vuiiwzs = vuiiwzs + emntcyx + oesehyb + 29 + zjwdcwa; } if ((vuiiwzs < 13 - 44 - qrrswwv) && (vuiiwzs < vuiiwzs + 2 + 65 - 10)) { zjwdcwa = zjwdcwa + zjwdcwa; } else { zjwdcwa = zjwdcwa + qrrswwv + zjwdcwa + vuiiwzs + zjwdcwa; } while ((zjwdcwa < oesehyb + 10 + emntcyx + 50 + 100)) { vuiiwzs = 5 + oesehyb - oesehyb + vuiiwzs - oesehyb; emntcyx = zjwdcwa - vuiiwzs - 17 - 4 + oesehyb; } emntcyx = emntcyx + 31; while ((zjwdcwa < qrrswwv + 51 + 22 + 100) || (qrrswwv < 20 + oesehyb)) { } assert ((vuiiwzs < qrrswwv - vuiiwzs) || (emntcyx > 93 - oesehyb - zjwdcwa)); assert ((zjwdcwa > 56 - vuiiwzs) || (emntcyx < vuiiwzs + emntcyx)); assert ((zjwdcwa > 18 - 94 - oesehyb + 9) && (qrrswwv > vuiiwzs - 89)); }