rxsyszsnilxsrxsnilzsconswwsrxsxsconssucczerozswsrxsconsyysnilconswwsrxsxsconssucczeronilwsrxsconsyysconszzsconswwsrysconsyyszsconssucczeroconswwsr4nil0cons2succ1zero0FULL./TRS/Thiemann/sizeChange.trs