Now precompute indices for conv backsubstitution
Now precompute indices for conv backsubstitution

- No longer necessary to skip over out-of-bound indices in the for loops

eth-srl/OptOctagon,eth-srl/OptOctagon,eth-srl/OptOctagon