Ah, I see..

I Thought that all A_n should be mappable to all B_m (not the same index)

Maybe I'm reading the rules wrong, but I pass all of the fixed tests, but a lot of the random tests fail (and I cannot see why, when checking them manually)

How does this random test makes sense?
If both A and B are product types, all A's should be mappable to all B's? (which they are)

Binding (a8 & a9 & a4 & a7 & a1) to (a0 & a8 & a3 & a2) given {(a1, a7), (a8, a9), (a4, a4), (a2, a1), (a9, a6), (a5, a3), (a8, a2), (a8, a3), (a4, a1), (a8, a7), (a3, a1), (a9, a8), (a3, a9), (a7, a0), (a2, a7), (a8, a4), (a1, a6), (a5, a9), (a8, a8), (a7, a1), (a2, a9), (a9, a7), (a9, a0), (a6, a0), (a4, a0), (a5, a6), (a7, a6), (a3, a2), (a9, a9), (a3, a7), (a7, a7), (a2, a0), (a5, a2), (a1, a2), (a9, a1), (a2, a6), (a4, a9), (a4, a3), (a7, a2), (a6, a6), (a8, a1), (a7, a8), (a2, a8), (a1, a4), (a3, a4), (a5, a7), (a1, a8), (a4, a6), (a5, a4), (a9, a4), (a4, a8), (a2, a3), (a6, a7), (a8, a0), (a5, a0), (a6, a3), (a2, a5), (a9, a3), (a8, a6), (a6, a9), (a1, a0), (a6, a5), (a7, a9), (a9, a5), (a7, a3), (a1, a5), (a4, a2), (a9, a2), (a1, a9), (a6, a2), (a5, a5), (a3, a0), (a3, a5), (a2, a2), (a5, a1), (a2, a4), (a3, a3), (a6, a8), (a1, a1), (a4, a5), (a6, a4), (a5, a8), (a7, a4), (a3, a6), (a3, a8), (a6, a1), (a7, a5), (a1, a3), (a8, a5), (a4, a7)}: True should equal False

The random tests in Python seem broken.

Sometimes they pass, and sometimes they are all over the place...

The Python random tests seem broken.

For instance for input ['pad', 'tri', 'tri', 'pel', 'fib', 'fib', 'tet'] 8

It says [1, 0, 0, 0, 0, 1, 0, 0] should equal [0, 0, 0, 0, 1, 0, 1, 1]

Somehow the first number pad(0) is 0 instead of 1??