random n=5 trials=2000 seed=5: all outputs verified; {(1, 'colouring'): 176, (1, 'star'): 1824, (2, 'colouring'): 1342, (2, 'star'): 658, (3, 'colouring'): 1961, (3, 'star'): 39, (4, 'colouring'): 1998, (4, 'star'): 2}
random n=6 trials=2000 seed=6: all outputs verified; {(1, 'colouring'): 134, (1, 'star'): 1866, (2, 'colouring'): 1168, (2, 'star'): 832, (3, 'colouring'): 1918, (3, 'star'): 82, (4, 'colouring'): 1999, (4, 'star'): 1, (5, 'colouring'): 2000}
random n=7 trials=2000 seed=7: all outputs verified; {(1, 'colouring'): 93, (1, 'star'): 1907, (2, 'colouring'): 1029, (2, 'star'): 971, (3, 'colouring'): 1848, (3, 'star'): 152, (4, 'colouring'): 1999, (4, 'star'): 1, (5, 'colouring'): 2000, (6, 'colouring'): 2000}
random n=8 trials=2000 seed=8: all outputs verified; {(1, 'colouring'): 81, (1, 'star'): 1919, (2, 'colouring'): 898, (2, 'star'): 1102, (3, 'colouring'): 1824, (3, 'star'): 176, (4, 'colouring'): 1994, (4, 'star'): 6, (5, 'colouring'): 2000, (6, 'colouring'): 2000, (7, 'colouring'): 2000}
random n=9 trials=2000 seed=9: all outputs verified; {(1, 'colouring'): 58, (1, 'star'): 1942, (2, 'colouring'): 846, (2, 'star'): 1154, (3, 'colouring'): 1781, (3, 'star'): 219, (4, 'colouring'): 1991, (4, 'star'): 9, (5, 'colouring'): 2000, (6, 'colouring'): 2000, (7, 'colouring'): 2000, (8, 'colouring'): 2000}
random n=10 trials=2000 seed=10: all outputs verified; {(1, 'colouring'): 43, (1, 'star'): 1957, (2, 'colouring'): 780, (2, 'star'): 1220, (3, 'colouring'): 1744, (3, 'star'): 256, (4, 'colouring'): 1989, (4, 'star'): 11, (5, 'colouring'): 2000, (6, 'colouring'): 2000, (7, 'colouring'): 2000, (8, 'colouring'): 2000, (9, 'colouring'): 2000}
random 2-iatlon graphs on kb+1=5 vertices, k=2: 200 trials, a verified constrained K_1,2 returned every time
random 2-iatlon graphs on kb+1=7 vertices, k=3: 200 trials, a verified constrained K_1,3 returned every time
random 3-iatlon graphs on kb+1=7 vertices, k=2: 200 trials, a verified constrained K_1,2 returned every time
random 2-iatlon graphs on kb+1=9 vertices, k=4: 200 trials, a verified constrained K_1,4 returned every time
random 3-iatlon graphs on kb+1=10 vertices, k=3: 200 trials, a verified constrained K_1,3 returned every time
random 4-iatlon graphs on kb+1=9 vertices, k=2: 200 trials, a verified constrained K_1,2 returned every time
random 2-iatlon graphs on kb+1=11 vertices, k=5: 200 trials, a verified constrained K_1,5 returned every time
random 5-iatlon graphs on kb+1=11 vertices, k=2: 200 trials, a verified constrained K_1,2 returned every time
random 3-iatlon graphs on kb+1=13 vertices, k=4: 200 trials, a verified constrained K_1,4 returned every time
random 4-iatlon graphs on kb+1=13 vertices, k=3: 200 trials, a verified constrained K_1,3 returned every time
random 6-iatlon graphs on kb+1=13 vertices, k=2: 200 trials, a verified constrained K_1,2 returned every time
random 2-iatlon graphs on kb+1=13 vertices, k=6: 200 trials, a verified constrained K_1,6 returned every time
