top ok new x top check x top ok old x top check x bot new bot check new x new check x check old x old check x check old x ok old x new ok x ok new x old ok x ok old x new 1 old 1 bot 0 ok 1 check 1 top 1 FULL ./TRS/relative/rtL-wl1nz.trs