Double-seven binary-coding Hexdominoes