The graphical model/graph model of C4 with variables of size 2-2-2-4.
This model has a representation as a graphical model with binary nodes; see G48g_bin.
