###keys
next array[0] array[1] array[2] place[p1] place[p2] place[p3] pc[p1] pc[p2] pc[p3]
###textDisplay
###states
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 0) (place[p2]: 0) (place[p3]: 0) (pc[p1]: rs) (pc[p2]: rs) pc[p3]: rs) ||
(next: 1 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 0) (place[p2]: 0) (place[p3]: 0) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: rs) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 0) (place[p2]: 0) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 0) (place[p2]: 0) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: cs) pc[p3]: ws) ||
(next: 2 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 0) (place[p2]: 0) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: rs) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: cs) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: cs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: rs) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: cs) (pc[p2]: rs) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: cs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: cs) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: cs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: rs) ||
(next: 1 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: rs) ||
(next: 1 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: cs) (pc[p2]: rs) pc[p3]: rs) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 0) (place[p2]: 1) (place[p3]: 1) (pc[p1]: cs) (pc[p2]: ws) pc[p3]: rs) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 0) (place[p2]: 1) (place[p3]: 2) (pc[p1]: cs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 0) (place[p2]: 1) (place[p3]: 2) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 0) (place[p2]: 1) (place[p3]: 2) (pc[p1]: rs) (pc[p2]: cs) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 0) (place[p2]: 1) (place[p3]: 2) (pc[p1]: rs) (pc[p2]: rs) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 0) (place[p2]: 1) (place[p3]: 2) (pc[p1]: rs) (pc[p2]: rs) pc[p3]: cs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 0) (place[p2]: 1) (place[p3]: 2) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: cs) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 0) (place[p2]: 1) (place[p3]: 2) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: cs) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 0) (place[p2]: 1) (place[p3]: 2) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 0) (place[p2]: 1) (place[p3]: 2) (pc[p1]: cs) (pc[p2]: ws) pc[p3]: rs) ||
(next: 2 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 0) (place[p2]: 1) (place[p3]: 2) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: rs) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 2) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: ws) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: cs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: cs) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: ws) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: cs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: cs) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: rs) ||
(next: 0 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: rs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: cs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: cs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: cs) (pc[p2]: ws) pc[p3]: rs) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: cs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: cs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: cs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: cs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: cs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: cs) pc[p3]: ws) ||
(next: 2 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: rs) pc[p3]: ws) ||
(next: 2 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: rs) pc[p3]: cs) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 2) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: cs) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: cs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: rs) ||
(next: 1 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: rs) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: cs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: cs) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: cs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: rs) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: cs) (pc[p2]: rs) pc[p3]: ws) ||
(next: 2 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: rs) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: cs) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: cs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: cs) (pc[p2]: ws) pc[p3]: rs) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: cs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: cs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: cs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: cs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: cs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: cs) pc[p3]: ws) ||
(next: 2 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: rs) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 2) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 2) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: cs) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: cs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: rs) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: cs) (pc[p2]: rs) pc[p3]: ws) ||
(next: 2 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 0) (place[p2]: 2) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: rs) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 2) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: cs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: cs) (pc[p2]: ws) pc[p3]: rs) ||
(next: 1 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: rs) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: cs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: cs) (pc[p2]: ws) pc[p3]: rs) ||
(next: 1 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: rs) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 1) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 1) (place[p2]: 0) (place[p3]: 2) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 1) (place[p2]: 0) (place[p3]: 2) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 1) (place[p2]: 0) (place[p3]: 2) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 1) (place[p2]: 0) (place[p3]: 2) (pc[p1]: cs) (pc[p2]: rs) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 1) (place[p2]: 0) (place[p3]: 2) (pc[p1]: rs) (pc[p2]: rs) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 1) (place[p2]: 0) (place[p3]: 2) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 1) (place[p2]: 0) (place[p3]: 2) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: cs) ||
(next: 1 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 1) (place[p2]: 0) (place[p3]: 2) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: rs) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 1) (place[p2]: 0) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 1) (place[p2]: 0) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: cs) pc[p3]: ws) ||
(next: 2 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 1) (place[p2]: 0) (place[p3]: 1) (pc[p1]: rs) (pc[p2]: rs) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: ws) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: cs) ||
(next: 0 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: rs) ||
(next: 0 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 1) (pc[p1]: cs) (pc[p2]: rs) pc[p3]: rs) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 0) (place[p3]: 0) (pc[p1]: cs) (pc[p2]: rs) pc[p3]: ws) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: cs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: cs) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: rs) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: ws) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: cs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: cs) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: cs) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: rs) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: cs) (pc[p2]: rs) pc[p3]: ws) ||
(next: 2 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: cs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 2 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: rs) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 0 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: cs) ||
(next: 0 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: rs) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: ws) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: true) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: cs) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: ws) (pc[p2]: rs) pc[p3]: ws) ||
(next: 1 (array[0]: false) (array[1]: false) (array[2]: true) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: cs) (pc[p2]: rs) pc[p3]: ws) ||
(next: 1 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: rs) (pc[p2]: rs) pc[p3]: ws) ||
(next: 1 (array[0]: true) (array[1]: false) (array[2]: false) (place[p1]: 2) (place[p2]: 1) (place[p3]: 0) (pc[p1]: rs) (pc[p2]: rs) pc[p3]: cs)