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 |