###keys
queue pc[p1] pc[p2] pc[p3] pc[p4] pc[p5]

###textDisplay
queue::::REV::::_ _

###states
(queue: (empty) (pc[p1]: rs) (pc[p2]: rs) (pc[p3]: rs) (pc[p4]: rs) pc[p5]: rs) ||
(queue: (p2 empty) (pc[p1]: rs) (pc[p2]: ws) (pc[p3]: rs) (pc[p4]: rs) pc[p5]: rs) ||
(queue: (p2 p1 empty) (pc[p1]: ws) (pc[p2]: ws) (pc[p3]: rs) (pc[p4]: rs) pc[p5]: rs) ||
(queue: (p2 p1 p4 empty) (pc[p1]: ws) (pc[p2]: ws) (pc[p3]: rs) (pc[p4]: ws) pc[p5]: rs) ||
(queue: (p2 p1 p4 empty) (pc[p1]: ws) (pc[p2]: cs) (pc[p3]: rs) (pc[p4]: ws) pc[p5]: rs) ||
(queue: (p2 p1 p4 p3 empty) (pc[p1]: ws) (pc[p2]: cs) (pc[p3]: ws) (pc[p4]: ws) pc[p5]: rs) ||
(queue: (p2 p1 p4 p3 p5 empty) (pc[p1]: ws) (pc[p2]: cs) (pc[p3]: ws) (pc[p4]: ws) pc[p5]: ws) ||
(queue: (p1 p4 p3 p5 empty) (pc[p1]: ws) (pc[p2]: rs) (pc[p3]: ws) (pc[p4]: ws) pc[p5]: ws) ||
(queue: (p1 p4 p3 p5 p2 empty) (pc[p1]: ws) (pc[p2]: ws) (pc[p3]: ws) (pc[p4]: ws) pc[p5]: ws) ||
(queue: (p1 p4 p3 p5 p2 empty) (pc[p1]: cs) (pc[p2]: ws) (pc[p3]: ws) (pc[p4]: ws) pc[p5]: ws) ||
(queue: (p4 p3 p5 p2 empty) (pc[p1]: rs) (pc[p2]: ws) (pc[p3]: ws) (pc[p4]: ws) pc[p5]: ws) ||
(queue: (p4 p3 p5 p2 p1 empty) (pc[p1]: ws) (pc[p2]: ws) (pc[p3]: ws) (pc[p4]: ws) pc[p5]: ws) ||
(queue: (p4 p3 p5 p2 p1 empty) (pc[p1]: ws) (pc[p2]: ws) (pc[p3]: ws) (pc[p4]: cs) pc[p5]: ws) ||
(queue: (p3 p5 p2 p1 empty) (pc[p1]: ws) (pc[p2]: ws) (pc[p3]: ws) (pc[p4]: rs) pc[p5]: ws) ||
(queue: (p3 p5 p2 p1 p4 empty) (pc[p1]: ws) (pc[p2]: ws) (pc[p3]: ws) (pc[p4]: ws) pc[p5]: ws) ||
(queue: (p3 p5 p2 p1 p4 empty) (pc[p1]: ws) (pc[p2]: ws) (pc[p3]: cs) (pc[p4]: ws) pc[p5]: ws) ||
(queue: (p5 p2 p1 p4 empty) (pc[p1]: ws) (pc[p2]: ws) (pc[p3]: rs) (pc[p4]: ws) pc[p5]: ws) ||
(queue: (p5 p2 p1 p4 p3 empty) (pc[p1]: ws) (pc[p2]: ws) (pc[p3]: ws) (pc[p4]: ws) pc[p5]: ws) ||
(queue: (p5 p2 p1 p4 p3 empty) (pc[p1]: ws) (pc[p2]: ws) (pc[p3]: ws) (pc[p4]: ws) pc[p5]: cs) ||
(queue: (p2 p1 p4 p3 empty) (pc[p1]: ws) (pc[p2]: ws) (pc[p3]: ws) (pc[p4]: ws) pc[p5]: rs) ||
(queue: (p2 p1 p4 p3 p5 empty) (pc[p1]: ws) (pc[p2]: ws) (pc[p3]: ws) (pc[p4]: ws) pc[p5]: ws) ||
(queue: (p2 p1 p4 p3 p5 empty) (pc[p1]: ws) (pc[p2]: cs) (pc[p3]: ws) (pc[p4]: ws) pc[p5]: ws) ||
(queue: (p1 p4 p3 p5 empty) (pc[p1]: ws) (pc[p2]: rs) (pc[p3]: ws) (pc[p4]: ws) pc[p5]: ws) ||
(queue: (p1 p4 p3 p5 empty) (pc[p1]: cs) (pc[p2]: rs) (pc[p3]: ws) (pc[p4]: ws) pc[p5]: ws) ||
(queue: (p1 p4 p3 p5 p2 empty) (pc[p1]: cs) (pc[p2]: ws) (pc[p3]: ws) (pc[p4]: ws) pc[p5]: ws) ||
(queue: (p4 p3 p5 p2 empty) (pc[p1]: rs) (pc[p2]: ws) (pc[p3]: ws) (pc[p4]: ws) pc[p5]: ws) ||
(queue: (p4 p3 p5 p2 empty) (pc[p1]: rs) (pc[p2]: ws) (pc[p3]: ws) (pc[p4]: cs) pc[p5]: ws) ||
(queue: (p4 p3 p5 p2 p1 empty) (pc[p1]: ws) (pc[p2]: ws) (pc[p3]: ws) (pc[p4]: cs) pc[p5]: ws) ||
(queue: (p3 p5 p2 p1 empty) (pc[p1]: ws) (pc[p2]: ws) (pc[p3]: ws) (pc[p4]: rs) pc[p5]: ws) ||
(queue: (p3 p5 p2 p1 empty) (pc[p1]: ws) (pc[p2]: ws) (pc[p3]: cs) (pc[p4]: rs) pc[p5]: ws) ||
(queue: (p3 p5 p2 p1 p4 empty) (pc[p1]: ws) (pc[p2]: ws) (pc[p3]: cs) (pc[p4]: ws) pc[p5]: ws)