(left: `ECP:
       [ 1,
       BIG: [0000000000000000000000000000000000000000000000000000000000000000],
       BIG: [0000000000000000000000000000000000000000000000000000000000000001],
       BIG: [0000000000000000000000000000000000000000000000000000000000000001] ]`,
right: `ECP: [ 1,
       BIG: [0000000000000000000000000000000000000000000000000000000000000000],
       BIG: [0000000000000000000000000000000000000000000000000000000000000001],
       BIG: [0000000000000000000000000000000000000000000000000000000000000001] ]`)
