Transition relation: <0:0, 1:1><0:4, 1:5><0:2, 1:3><0:6, 1:7><0:1, 1:2><0:5, 1:6><0:3, 1:4><0:7, 1:0>

Front: <0:1>
Front: <0:2>
Front: <0:3>
Front: <0:4>
Front: <0:5>
Front: <0:6>
Front: <0:7>
Front: F
