¹²The checking was done using the Gnu/Linux comm program