verifyGraphInSmallCharacteristic -- print commands to verfy the assertions of the paper

i1 : verifyGraphInSmallCharacteristic(2,1)
     -- used 0.00597578 seconds
((1, {1, 1}, 1), true)
     -- used 0.00564442 seconds
((2, {1, 1, 1}, 1), true)
     -- used 0.0142944 seconds
((2, {1, 1, 1, 1}, 2), true)
     -- used 0.00588654 seconds
((2, {1, 2, 1}, 2), true)
     -- used 0.00622872 seconds
((3, {1, 2, 1}, 1), true)
     -- used 0.00654089 seconds
((3, {1, 2, 2, 1}, 3), true)
     -- used 0.00932292 seconds
((3, {1, 3, 1}, 2), true)
     -- used 0.0102562 seconds
((4, {1, 3, 1}, 1), true)
     -- used 0.00806554 seconds
((4, {1, 3, 3, 1}, 4), true)
     -- used 0.00702006 seconds
((5, {1, 3, 3, 1}, 3), true)
     -- used 0.00713237 seconds
((6, {1, 3, 3, 1}, 2), true)
     -- used 0.00688486 seconds
((7, {1, 3, 3, 1}, 1), true)

o1 = true