Private inputs offset:
4
R1CS variable order:
~one _0 _1 ~out_0 _2 _3 _4