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