  |A|=0 |B|=0 |C|=0: relations F=   1, mismatches=0
  |A|=0 |B|=1 |C|=0: relations F=   1, mismatches=0
  |A|=0 |B|=2 |C|=2: relations F=   1, mismatches=0
  |A|=0 |B|=3 |C|=6: relations F=   1, mismatches=0
  |A|=1 |B|=0 |C|=0: relations F=   1, mismatches=0
  |A|=1 |B|=1 |C|=0: relations F=   2, mismatches=0
  |A|=1 |B|=2 |C|=2: relations F=   4, mismatches=0
  |A|=1 |B|=3 |C|=6: relations F=   8, mismatches=0
  |A|=2 |B|=0 |C|=0: relations F=   1, mismatches=0
  |A|=2 |B|=1 |C|=0: relations F=   4, mismatches=0
  |A|=2 |B|=2 |C|=2: relations F=  16, mismatches=0
  |A|=2 |B|=3 |C|=6: relations F=  64, mismatches=0
  |A|=3 |B|=0 |C|=0: relations F=   1, mismatches=0
  |A|=3 |B|=1 |C|=0: relations F=   8, mismatches=0
  |A|=3 |B|=2 |C|=2: relations F=  64, mismatches=0
  |A|=3 |B|=3 |C|=6: relations F= 512, mismatches=0
FIRST-PROOF PAIR CHECK PASSED
