digraph { rankdir=LR; "Ant" -> "Solved (Ant)" [label=<
U2 | Big2 | U0 |
U0 | Small | U0 |
U1 | Small | U0 |
U2 | Small | U0 |
U0 | Big | U0 |
U2 | Big | U0 |
U3 | Big | U2 |
U0 | Small2 | U1 |
U1 | Small2 | U3 |
U2 | Small2 | U2 |
U0 | Big2 | U1 |
U2 | Big2 | U2 |
U3 | Big | U3 |
U1 | Small2 | U0 |
U2 | Small2 | U1 |
U2 | Big2 | U1 |
U1 | Small | U0 |
U2 | Small | U0 |
U3 | Small | U1 |
U1 | Big | U0 |
U3 | Big | U1 |
U1 | Small2 | U2 |
U3 | Small2 | U3 |
U0 | Big2 | U0 |
U1 | Big2 | U2 |
U3 | Big2 | U3 |
U3 | Small | U2 |
U1 | Big2 | U0 |
U1 | Small | U1 |
U1 | Big | U3 |
U2 | Big | U1 |
U0 | Small2 | U2 |
U1 | Big2 | U1 |
U2 | Big2 | U3 |
U3 | Big2 | U2 |
U1 | Small | U0 |
U2 | Small | U1 |
U3 | Small | U1 |
U0 | Big | U0 |
U1 | Big | U1 |
U2 | Small2 | U3 |
U3 | Small2 | U2 |
U1 | Big2 | U1 |
U3 | Big2 | U1 |
U1 | Small | U3 |
U1 | Big | U3 |
U2 | Small | U1 |
U2 | Big | U1 |
U0 | Small | U3 |
U0 | Big | U3 |
U3 | Small2 | U1 |
U1 | Big | U3 |
U2 | Big | U1 |
U3 | Small2 | U3 |
U2 | Small | U3 |
U1 | Big | U1 |
U2 | Big | U3 |
U3 | Small2 | U0 |
U3 | Small | U0 |
U2 | Big | U3 |
U3 | Big | U0 |
U0 | Small2 | U2 |
U1 | Small2 | U2 |
U1 | Big2 | U2 |
U1 | Small | U1 |
U2 | Small | U2 |
U3 | Small | U1 |
U0 | Big | U0 |
U1 | Small2 | U2 |
U2 | Small2 | U2 |
U0 | Big2 | U2 |
U1 | Big2 | U0 |
U1 | Small | U1 |
U2 | Big2 | U2 |
U3 | Big2 | U2 |
U0 | Small | U2 |
U2 | Big2 | U0 |
U1 | Small | U1 |
U1 | Big | U1 |
U2 | Big | U2 |
U0 | Small2 | U3 |
U0 | Small | U0 |
U1 | Small | U0 |
U2 | Small | U0 |
U3 | Small | U0 |
U0 | Big | U1 |
U1 | Big | U2 |
U2 | Big | U1 |
U3 | Big | U2 |
U0 | Small2 | U3 |
U1 | Small2 | U2 |
U2 | Small2 | U3 |
U3 | Small2 | U2 |
U0 | Big2 | U2 |
U1 | Big2 | U3 |
U2 | Big2 | U2 |
U3 | Big2 | U3 |
U1 | Small | U3 |
U2 | Small | U0 |
U0 | Small2 | U0 |
U0 | Big2 | U0 |
U2 | Big2 | U3 |
U1 | Small | U2 |
U3 | Small | U3 |
U2 | Big | U0 |
U0 | Small2 | U0 |
U1 | Big2 | U3 |
U3 | Big2 | U1 |
U0 | Small | U1 |
U1 | Small | U1 |
U2 | Small | U1 |
U3 | Small | U1 |
U0 | Big | U0 |
U1 | Big | U0 |
U2 | Big | U0 |
U3 | Big | U0 |
U0 | Small2 | U0 |
U1 | Small2 | U0 |
U2 | Small2 | U0 |
U3 | Small2 | U0 |
U0 | Big2 | U2 |
U1 | Big2 | U2 |
U2 | Big2 | U2 |
U3 | Big2 | U2 |
U0 | Small2 | U3 |
U2 | Small2 | U0 |
U0 | Small | U2 |
U0 | Big | U2 |
U1 | Big | U2 |
U2 | Small2 | U0 |
U3 | Small2 | U1 |
U2 | Big2 | U0 |
U2 | Small | U2 |
U0 | Big2 | U2 |
U3 | Small | U1 |
U0 | Small2 | U3 |
U0 | Big2 | U3 |
U3 | Small | U1 |
U3 | Big | U1 |
U0 | Small2 | U3 |
U1 | Small | U0 |
U3 | Small | U0 |
U1 | Big | U2 |
U3 | Big | U2 |
U1 | Small2 | U0 |
U3 | Small2 | U0 |
U1 | Big2 | U0 |
U3 | Big2 | U0 |
U0 | Small | U0 |
U1 | Small | U2 |
U2 | Small | U1 |
U3 | Small | U2 |
U0 | Big | U3 |
U1 | Big | U2 |
U2 | Big | U0 |
U3 | Big | U2 |
U0 | Small2 | U2 |
U1 | Small2 | U2 |
U2 | Small2 | U1 |
U3 | Small2 | U3 |
U0 | Big2 | U3 |
U1 | Big2 | U2 |
U2 | Big2 | U2 |
U3 | Big2 | U3 |
U1 | Small | U2 |
U0 | Big | U3 |
U1 | Big | U0 |
U2 | Small2 | U3 |
U0 | Big2 | U1 |
U1 | Big2 | U3 |
U3 | Big2 | U3 |
U0 | Small | U3 |
U1 | Small | U3 |
U3 | Small | U3 |
U1 | Big | U0 |
U2 | Big | U1 |
U0 | Small2 | U1 |
U3 | Small2 | U3 |
U1 | Big2 | U3 |
U3 | Big2 | U2 |
U1 | Big | U0 |
U3 | Small2 | U2 |
U1 | Small | U0 |
U3 | Small | U0 |
U1 | Big2 | U1 |
U3 | Big2 | U1 |
U1 | Small | U3 |
U0 | Small2 | U1 |
U0 | Big2 | U1 |
U0 | Small | U3 |
U2 | Big2 | U3 |
U3 | Small | U3 |
U3 | Big | U3 |
U3 | Small2 | U3 |
U2 | Big2 | U3 |
U3 | Big2 | U3 |
U1 | Big | U2 |
U3 | Big | U2 |
U1 | Small2 | U2 |
U3 | Small2 | U2 |
U0 | Big | U1 |
U3 | Big | U3 |
U2 | Small2 | U1 |
U0 | Big | U0 |
U0 | Big | U0 |
U2 | Small2 | U2 |
U2 | Small | U0 |
U0 | Big | U1 |
U1 | Big | U2 |
U3 | Big | U1 |
U2 | Small2 | U2 |
U0 | Big2 | U0 |
U1 | Big | U0 |
U2 | Small2 | U3 |
U3 | Small2 | U1 |
U2 | Big2 | U3 |
U1 | Small | U3 |
U3 | Small | U1 |
U0 | Big | U1 |
U1 | Big | U3 |
U3 | Big | U1 |
U2 | Small2 | U0 |
U0 | Big2 | U0 |
U2 | Small | U1 |
U2 | Big | U1 |
U0 | Small | U2 |
U1 | Big | U2 |
U2 | Big | U0 |
U3 | Big | U3 |
U0 | Small2 | U3 |
U1 | Small2 | U0 |
U3 | Small2 | U1 |
U2 | Big2 | U2 |
U1 | Small2 | U3 |
U2 | Small2 | U1 |
U3 | Big | U0 |
U0 | Small2 | U3 |
U1 | Small2 | U0 |
U2 | Small2 | U1 |
U0 | Big2 | U3 |
U2 | Big2 | U1 |
U0 | Small | U0 |
U1 | Small | U3 |
U3 | Small | U0 |
U2 | Big | U0 |
U0 | Small2 | U2 |
U1 | Small2 | U1 |
U1 | Big2 | U3 |
U2 | Big2 | U0 |
U1 | Big | U0 |
U3 | Big | U0 |
U1 | Small2 | U0 |
U3 | Small2 | U0 |
U0 | Small | U0 |
U1 | Small | U0 |
U0 | Big2 | U1 |
U3 | Big2 | U3 |
U1 | Small | U3 |
U2 | Small | U0 |
U3 | Small | U2 |
U1 | Big | U2 |
U3 | Big | U3 |
U1 | Small2 | U3 |
U3 | Small2 | U1 |
U0 | Big2 | U0 |
U1 | Big2 | U1 |
U3 | Big2 | U2 |
U0 | Small2 | U1 |
U0 | Big2 | U1 |
U1 | Big2 | U1 |
U0 | Small | U1 |
U2 | Big2 | U1 |
U0 | Small | U0 |
U2 | Big2 | U0 |