Function pocket_prover::imply10

pub fn imply10(
    a: u64, 
    b: u64, 
    c: u64, 
    d: u64, 
    e: u64, 
    f: u64, 
    g: u64, 
    h: u64, 
    i: u64, 
    j: u64
) -> u64

An IMPLY chain of 10 arguments.