Example abfattree-testpaths2 KAT and Mininet topo.