PART 2: test pair g=1_B, h=top\1_B:  F functional <=> F & (H o F) == 0   (a,b in 0..3)
  a=0 b=0: relations F=   1, mismatches=0
  a=0 b=1: relations F=   1, mismatches=0
  a=0 b=2: relations F=   1, mismatches=0
  a=0 b=3: relations F=   1, mismatches=0
  a=1 b=0: relations F=   1, mismatches=0
  a=1 b=1: relations F=   2, mismatches=0
  a=1 b=2: relations F=   4, mismatches=0
  a=1 b=3: relations F=   8, mismatches=0
  a=2 b=0: relations F=   1, mismatches=0
  a=2 b=1: relations F=   4, mismatches=0
  a=2 b=2: relations F=  16, mismatches=0
  a=2 b=3: relations F=  64, mismatches=0
  a=3 b=0: relations F=   1, mismatches=0
  a=3 b=1: relations F=   8, mismatches=0
  a=3 b=2: relations F=  64, mismatches=0
  a=3 b=3: relations F= 512, mismatches=0
PART 4: empty family:  top o F == top  <=>  (c==0 or a==0 or F total)   (a,b,c in 0..3)
  all (a,b,c) in 0..3: mismatches=0
  witness a=b=c=1, F=empty (functional):  top o F = 0  top = 1
PART 3: all NONEMPTY families of relations B->C: meta <=> functional  (a<=3, b*c<=4)
  a=0 b=0 c=0: relations F=   1, nonempty families=     1, mismatches=0
  a=0 b=0 c=1: relations F=   1, nonempty families=     1, mismatches=0
  a=0 b=0 c=2: relations F=   1, nonempty families=     1, mismatches=0
  a=0 b=0 c=3: relations F=   1, nonempty families=     1, mismatches=0
  a=0 b=1 c=0: relations F=   1, nonempty families=     1, mismatches=0
  a=0 b=1 c=1: relations F=   1, nonempty families=     3, mismatches=0
  a=0 b=1 c=2: relations F=   1, nonempty families=    15, mismatches=0
  a=0 b=1 c=3: relations F=   1, nonempty families=   255, mismatches=0
  a=0 b=2 c=0: relations F=   1, nonempty families=     1, mismatches=0
  a=0 b=2 c=1: relations F=   1, nonempty families=    15, mismatches=0
  a=0 b=2 c=2: relations F=   1, nonempty families= 65535, mismatches=0
  a=0 b=3 c=0: relations F=   1, nonempty families=     1, mismatches=0
  a=0 b=3 c=1: relations F=   1, nonempty families=   255, mismatches=0
  a=1 b=0 c=0: relations F=   1, nonempty families=     1, mismatches=0
  a=1 b=0 c=1: relations F=   1, nonempty families=     1, mismatches=0
  a=1 b=0 c=2: relations F=   1, nonempty families=     1, mismatches=0
  a=1 b=0 c=3: relations F=   1, nonempty families=     1, mismatches=0
  a=1 b=1 c=0: relations F=   2, nonempty families=     1, mismatches=0
  a=1 b=1 c=1: relations F=   2, nonempty families=     3, mismatches=0
  a=1 b=1 c=2: relations F=   2, nonempty families=    15, mismatches=0
  a=1 b=1 c=3: relations F=   2, nonempty families=   255, mismatches=0
  a=1 b=2 c=0: relations F=   4, nonempty families=     1, mismatches=0
  a=1 b=2 c=1: relations F=   4, nonempty families=    15, mismatches=0
  a=1 b=2 c=2: relations F=   4, nonempty families= 65535, mismatches=0
  a=1 b=3 c=0: relations F=   8, nonempty families=     1, mismatches=0
  a=1 b=3 c=1: relations F=   8, nonempty families=   255, mismatches=0
  a=2 b=0 c=0: relations F=   1, nonempty families=     1, mismatches=0
  a=2 b=0 c=1: relations F=   1, nonempty families=     1, mismatches=0
  a=2 b=0 c=2: relations F=   1, nonempty families=     1, mismatches=0
  a=2 b=0 c=3: relations F=   1, nonempty families=     1, mismatches=0
  a=2 b=1 c=0: relations F=   4, nonempty families=     1, mismatches=0
  a=2 b=1 c=1: relations F=   4, nonempty families=     3, mismatches=0
  a=2 b=1 c=2: relations F=   4, nonempty families=    15, mismatches=0
  a=2 b=1 c=3: relations F=   4, nonempty families=   255, mismatches=0
  a=2 b=2 c=0: relations F=  16, nonempty families=     1, mismatches=0
  a=2 b=2 c=1: relations F=  16, nonempty families=    15, mismatches=0
  a=2 b=2 c=2: relations F=  16, nonempty families= 65535, mismatches=0
  a=2 b=3 c=0: relations F=  64, nonempty families=     1, mismatches=0
  a=2 b=3 c=1: relations F=  64, nonempty families=   255, mismatches=0
  a=3 b=0 c=0: relations F=   1, nonempty families=     1, mismatches=0
  a=3 b=0 c=1: relations F=   1, nonempty families=     1, mismatches=0
  a=3 b=0 c=2: relations F=   1, nonempty families=     1, mismatches=0
  a=3 b=0 c=3: relations F=   1, nonempty families=     1, mismatches=0
  a=3 b=1 c=0: relations F=   8, nonempty families=     1, mismatches=0
  a=3 b=1 c=1: relations F=   8, nonempty families=     3, mismatches=0
  a=3 b=1 c=2: relations F=   8, nonempty families=    15, mismatches=0
  a=3 b=1 c=3: relations F=   8, nonempty families=   255, mismatches=0
  a=3 b=2 c=0: relations F=  64, nonempty families=     1, mismatches=0
  a=3 b=2 c=1: relations F=  64, nonempty families=    15, mismatches=0
  a=3 b=2 c=2: relations F=  64, nonempty families= 65535, mismatches=0
  a=3 b=3 c=0: relations F= 512, nonempty families=     1, mismatches=0
  a=3 b=3 c=1: relations F= 512, nonempty families=   255, mismatches=0
PART 1: weakly metamonovalued <=> functional  (all a,b,c in 0..3)
  a=0 b=0 c=0: relations F=   1, pairs(G,H)=      1, functional=   1, weakly-meta=   1, mismatches=0
  a=0 b=0 c=1: relations F=   1, pairs(G,H)=      1, functional=   1, weakly-meta=   1, mismatches=0
  a=0 b=0 c=2: relations F=   1, pairs(G,H)=      1, functional=   1, weakly-meta=   1, mismatches=0
  a=0 b=0 c=3: relations F=   1, pairs(G,H)=      1, functional=   1, weakly-meta=   1, mismatches=0
  a=0 b=1 c=0: relations F=   1, pairs(G,H)=      1, functional=   1, weakly-meta=   1, mismatches=0
  a=0 b=1 c=1: relations F=   1, pairs(G,H)=      4, functional=   1, weakly-meta=   1, mismatches=0
  a=0 b=1 c=2: relations F=   1, pairs(G,H)=     16, functional=   1, weakly-meta=   1, mismatches=0
  a=0 b=1 c=3: relations F=   1, pairs(G,H)=     64, functional=   1, weakly-meta=   1, mismatches=0
  a=0 b=2 c=0: relations F=   1, pairs(G,H)=      1, functional=   1, weakly-meta=   1, mismatches=0
  a=0 b=2 c=1: relations F=   1, pairs(G,H)=     16, functional=   1, weakly-meta=   1, mismatches=0
  a=0 b=2 c=2: relations F=   1, pairs(G,H)=    256, functional=   1, weakly-meta=   1, mismatches=0
  a=0 b=2 c=3: relations F=   1, pairs(G,H)=   4096, functional=   1, weakly-meta=   1, mismatches=0
  a=0 b=3 c=0: relations F=   1, pairs(G,H)=      1, functional=   1, weakly-meta=   1, mismatches=0
  a=0 b=3 c=1: relations F=   1, pairs(G,H)=     64, functional=   1, weakly-meta=   1, mismatches=0
  a=0 b=3 c=2: relations F=   1, pairs(G,H)=   4096, functional=   1, weakly-meta=   1, mismatches=0
  a=0 b=3 c=3: relations F=   1, pairs(G,H)= 262144, functional=   1, weakly-meta=   1, mismatches=0
  a=1 b=0 c=0: relations F=   1, pairs(G,H)=      1, functional=   1, weakly-meta=   1, mismatches=0
  a=1 b=0 c=1: relations F=   1, pairs(G,H)=      1, functional=   1, weakly-meta=   1, mismatches=0
  a=1 b=0 c=2: relations F=   1, pairs(G,H)=      1, functional=   1, weakly-meta=   1, mismatches=0
  a=1 b=0 c=3: relations F=   1, pairs(G,H)=      1, functional=   1, weakly-meta=   1, mismatches=0
  a=1 b=1 c=0: relations F=   2, pairs(G,H)=      1, functional=   2, weakly-meta=   2, mismatches=0
  a=1 b=1 c=1: relations F=   2, pairs(G,H)=      4, functional=   2, weakly-meta=   2, mismatches=0
  a=1 b=1 c=2: relations F=   2, pairs(G,H)=     16, functional=   2, weakly-meta=   2, mismatches=0
  a=1 b=1 c=3: relations F=   2, pairs(G,H)=     64, functional=   2, weakly-meta=   2, mismatches=0
  a=1 b=2 c=0: relations F=   4, pairs(G,H)=      1, functional=   3, weakly-meta=   4, mismatches=0
  a=1 b=2 c=1: relations F=   4, pairs(G,H)=     16, functional=   3, weakly-meta=   3, mismatches=0
  a=1 b=2 c=2: relations F=   4, pairs(G,H)=    256, functional=   3, weakly-meta=   3, mismatches=0
  a=1 b=2 c=3: relations F=   4, pairs(G,H)=   4096, functional=   3, weakly-meta=   3, mismatches=0
  a=1 b=3 c=0: relations F=   8, pairs(G,H)=      1, functional=   4, weakly-meta=   8, mismatches=0
  a=1 b=3 c=1: relations F=   8, pairs(G,H)=     64, functional=   4, weakly-meta=   4, mismatches=0
  a=1 b=3 c=2: relations F=   8, pairs(G,H)=   4096, functional=   4, weakly-meta=   4, mismatches=0
  a=1 b=3 c=3: relations F=   8, pairs(G,H)= 262144, functional=   4, weakly-meta=   4, mismatches=0
  a=2 b=0 c=0: relations F=   1, pairs(G,H)=      1, functional=   1, weakly-meta=   1, mismatches=0
  a=2 b=0 c=1: relations F=   1, pairs(G,H)=      1, functional=   1, weakly-meta=   1, mismatches=0
  a=2 b=0 c=2: relations F=   1, pairs(G,H)=      1, functional=   1, weakly-meta=   1, mismatches=0
  a=2 b=0 c=3: relations F=   1, pairs(G,H)=      1, functional=   1, weakly-meta=   1, mismatches=0
  a=2 b=1 c=0: relations F=   4, pairs(G,H)=      1, functional=   4, weakly-meta=   4, mismatches=0
  a=2 b=1 c=1: relations F=   4, pairs(G,H)=      4, functional=   4, weakly-meta=   4, mismatches=0
  a=2 b=1 c=2: relations F=   4, pairs(G,H)=     16, functional=   4, weakly-meta=   4, mismatches=0
  a=2 b=1 c=3: relations F=   4, pairs(G,H)=     64, functional=   4, weakly-meta=   4, mismatches=0
  a=2 b=2 c=0: relations F=  16, pairs(G,H)=      1, functional=   9, weakly-meta=  16, mismatches=0
  a=2 b=2 c=1: relations F=  16, pairs(G,H)=     16, functional=   9, weakly-meta=   9, mismatches=0
  a=2 b=2 c=2: relations F=  16, pairs(G,H)=    256, functional=   9, weakly-meta=   9, mismatches=0
  a=2 b=2 c=3: relations F=  16, pairs(G,H)=   4096, functional=   9, weakly-meta=   9, mismatches=0
  a=2 b=3 c=0: relations F=  64, pairs(G,H)=      1, functional=  16, weakly-meta=  64, mismatches=0
  a=2 b=3 c=1: relations F=  64, pairs(G,H)=     64, functional=  16, weakly-meta=  16, mismatches=0
  a=2 b=3 c=2: relations F=  64, pairs(G,H)=   4096, functional=  16, weakly-meta=  16, mismatches=0
  a=2 b=3 c=3: relations F=  64, pairs(G,H)= 262144, functional=  16, weakly-meta=  16, mismatches=0
  a=3 b=0 c=0: relations F=   1, pairs(G,H)=      1, functional=   1, weakly-meta=   1, mismatches=0
  a=3 b=0 c=1: relations F=   1, pairs(G,H)=      1, functional=   1, weakly-meta=   1, mismatches=0
  a=3 b=0 c=2: relations F=   1, pairs(G,H)=      1, functional=   1, weakly-meta=   1, mismatches=0
  a=3 b=0 c=3: relations F=   1, pairs(G,H)=      1, functional=   1, weakly-meta=   1, mismatches=0
  a=3 b=1 c=0: relations F=   8, pairs(G,H)=      1, functional=   8, weakly-meta=   8, mismatches=0
  a=3 b=1 c=1: relations F=   8, pairs(G,H)=      4, functional=   8, weakly-meta=   8, mismatches=0
  a=3 b=1 c=2: relations F=   8, pairs(G,H)=     16, functional=   8, weakly-meta=   8, mismatches=0
  a=3 b=1 c=3: relations F=   8, pairs(G,H)=     64, functional=   8, weakly-meta=   8, mismatches=0
  a=3 b=2 c=0: relations F=  64, pairs(G,H)=      1, functional=  27, weakly-meta=  64, mismatches=0
  a=3 b=2 c=1: relations F=  64, pairs(G,H)=     16, functional=  27, weakly-meta=  27, mismatches=0
  a=3 b=2 c=2: relations F=  64, pairs(G,H)=    256, functional=  27, weakly-meta=  27, mismatches=0
  a=3 b=2 c=3: relations F=  64, pairs(G,H)=   4096, functional=  27, weakly-meta=  27, mismatches=0
  a=3 b=3 c=0: relations F= 512, pairs(G,H)=      1, functional=  64, weakly-meta= 512, mismatches=0
  a=3 b=3 c=1: relations F= 512, pairs(G,H)=     64, functional=  64, weakly-meta=  64, mismatches=0
  a=3 b=3 c=2: relations F= 512, pairs(G,H)=   4096, functional=  64, weakly-meta=  64, mismatches=0
  a=3 b=3 c=3: relations F= 512, pairs(G,H)= 262144, functional=  64, weakly-meta=  64, mismatches=0
  size of the search space (F, ordered pair (G,H)): 156161081
  equality tests actually executed: 11956242  (pairs G<H only, since the condition is symmetric and trivial for G=H; the scan of an F stops at its first violation; every F that is reported weakly-meta had ALL its pairs tested)
ALL CHECKS PASSED in 1.1s
