found old SET11 file that passes the weired test. --- SET11.found.rkt