double-seven binary-coding dominoes