/media/sda-magnetic/david/Dokumente-15/fernuni-hagen/cs-i-ii/fsm/fsm/2021-04-24-state/state12.txt

0 | 7 7 | 0
1 | 5 1 | 1
2 | 7 6 | 1
3 | 2 2 | 1
4 | 3 4 | 1
5 | 3 1 | 1
6 | 1 4 | 1
7 | 4 7 | 1


(1,2)   (5,7)   (1,6)
(1,3)   (5,2)   (1,2)
(1,4)   (5,3)   (1,4)
(1,5)   (5,3)   (1,1)
(1,6)   (5,1)   (1,4)
(1,7)   (5,4)   (1,7)
(2,3)   (7,2)   (6,2)
(2,4)   (7,3)   (6,4)
(2,5)   (7,3)   (6,1)
(2,6)   (7,1)   (6,4)
(2,7)   (7,4)   (6,7)
(3,4)   (2,3)   (2,4)
(3,5)   (2,3)   (2,1)
(3,6)   (2,1)   (2,4)
(3,7)   (2,4)   (2,7)
(4,5)   (3,3)   (4,1)
(4,6)   (3,1)   (4,4)
(4,7)   (3,4)   (4,7)
(5,6)   (3,1)   (1,4)
(5,7)   (3,4)   (1,7)
(6,7)   (1,4)   (4,7)

(1,2)   (5,7)   (1,6)
(1,3)   (2,5)   (1,2)
(1,4)   (3,5)   (1,4)
(1,5)   (3,5)   (1,1)
(1,6)   (1,5)   (1,4)
(1,7)   (4,5)   (1,7)
(2,3)   (2,7)   (2,6)
(2,4)   (3,7)   (4,6)
(2,5)   (3,7)   (1,6)
(2,6)   (1,7)   (4,6)
(2,7)   (4,7)   (6,7)
(3,4)   (2,3)   (2,4)
(3,5)   (2,3)   (1,2)
(3,6)   (1,2)   (2,4)
(3,7)   (2,4)   (2,7)
(4,5)   (3,3)   (1,4)
(4,6)   (1,3)   (4,4)
(4,7)   (3,4)   (4,7)
(5,6)   (1,3)   (1,4)
(5,7)   (3,4)   (1,7)
(6,7)   (1,4)   (4,7)

(1,2)   (5,7)   (1,6)
(1,3)   (2,5)   (1,2)
(1,4)   (3,5)   (1,4)
(1,5)   (3,5)  
(1,6)   (1,5)   (1,4)
(1,7)   (4,5)   (1,7)
(2,3)   (2,7)   (2,6)
(2,4)   (3,7)   (4,6)
(2,5)   (3,7)   (1,6)
(2,6)   (1,7)   (4,6)
(2,7)   (4,7)   (6,7)
(3,4)   (2,3)   (2,4)
(3,5)   (2,3)   (1,2)
(3,6)   (1,2)   (2,4)
(3,7)   (2,4)   (2,7)
(4,5)   (1,4)
(4,6)   (1,3)   
(4,7)   (3,4)   (4,7)
(5,6)   (1,3)   (1,4)
(5,7)   (3,4)   (1,7)
(6,7)   (1,4)   (4,7)

Und das kann man beliebig kurzen