add the table of equivalences for X9
add the table of equivalences for Y_r,s