C1     pairs of maps enumerated: 66077; funcoids found: |A|=0,|B|=0: 1, |A|=0,|B|=1: 1, |A|=0,|B|=2: 1, |A|=1,|B|=0: 1, |A|=1,|B|=1: 2, |A|=1,|B|=2: 4, |A|=2,|B|=0: 1, |A|=2,|B|=1: 4, |A|=2,|B|=2: 16
C1     endofuncoids on at most 2 points: 19
C2     window 0..3: 128 subsets, 327680 checks of the filter and funcoid conditions
C2     Steps 1 and 3 on the window 0..40
elapsed 1.4 s
RESULT: all checks of part C passed
