Is it possible to convert libsnark inputs (.in and .arith) to something to be used by bulletproof? Could you give an example? Thanks!