Constant pocket_prover::F

pub const F: u64 = 0b00000000_00000000_00000000_00000000_00000000_00000000_00000000_00000000;

The False proposition. Used to alternate higher than 6 arguments, set to 0.