diff --git a/ExampleRelation.hpp b/ExampleRelation.hpp
deleted file mode 100644
index 973c221af3..0000000000
--- a/ExampleRelation.hpp
+++ /dev/null
@@ -1,98 +0,0 @@
-
-#pragma once
-#include "../relation_parameters.hpp"
-#include "../relation_types.hpp"
-
-namespace proof_system::ExampleRelation_vm {
-
-template <typename FF> struct Row { 
-    FF Fibonacci_ISLAST;
-    FF Fibonacci_x;
-    FF Fibonacci_y;
-    FF Fibonacci_x_shift;
-    FF Fibonacci_y_shift;
- };
-
-template <typename FF> class ExampleRelationImpl {
-    public:
-        
-        static constexpr size_t RELATION_LENGTH = 3;
-   static constexpr size_t DEGREE_0 = 3;
-   static constexpr size_t DEGREE_1 = 3;
-   static constexpr size_t DEGREE_2 = 3;
-   static constexpr size_t DEGREE_3 = 3;
-template <template <size_t...> typename SubrelationAccumulatorsTemplate>
-    using GetAccumulatorTypes = SubrelationAccumulatorsTemplate<DEGREE_0, DEGREE_1, DEGREE_2, DEGREE_3>;
-        
-        
-    template <typename AccumulatorTypes>
-    void static accumulate(
-        typename AccumulatorTypes::Accumulators& evals,
-        const auto& new_term,
-        [[maybe_unused]] const RelationParameters<FF>&,
-        [[maybe_unused]] const FF& scaling_factor
-    ){
-
-    //Contribution 0
-    {
-
-        using View = typename std::tuple_element<0, typename AccumulatorTypes::AccumulatorViews>::type;
-       auto Fibonacci_ISLAST = View(new_term.Fibonacci_ISLAST);
-   auto Fibonacci_x = View(new_term.Fibonacci_x);
-   auto Fibonacci_y = View(new_term.Fibonacci_y);
-   auto Fibonacci_x_shift = View(new_term.Fibonacci_x_shift);
-   auto Fibonacci_y_shift = View(new_term.Fibonacci_y_shift);
-    
-    auto tmp = (Fibonacci_ISLAST * (Fibonacci_y_shift - FF(1)));
-    tmp *= scaling_factor;
-    std::get<0>(evals) += tmp;
-}
-//Contribution 1
-    {
-
-        using View = typename std::tuple_element<1, typename AccumulatorTypes::AccumulatorViews>::type;
-       auto Fibonacci_ISLAST = View(new_term.Fibonacci_ISLAST);
-   auto Fibonacci_x = View(new_term.Fibonacci_x);
-   auto Fibonacci_y = View(new_term.Fibonacci_y);
-   auto Fibonacci_x_shift = View(new_term.Fibonacci_x_shift);
-   auto Fibonacci_y_shift = View(new_term.Fibonacci_y_shift);
-    
-    auto tmp = (Fibonacci_ISLAST * (Fibonacci_x_shift - FF(1)));
-    tmp *= scaling_factor;
-    std::get<1>(evals) += tmp;
-}
-//Contribution 2
-    {
-
-        using View = typename std::tuple_element<2, typename AccumulatorTypes::AccumulatorViews>::type;
-       auto Fibonacci_ISLAST = View(new_term.Fibonacci_ISLAST);
-   auto Fibonacci_x = View(new_term.Fibonacci_x);
-   auto Fibonacci_y = View(new_term.Fibonacci_y);
-   auto Fibonacci_x_shift = View(new_term.Fibonacci_x_shift);
-   auto Fibonacci_y_shift = View(new_term.Fibonacci_y_shift);
-    
-    auto tmp = ((FF(1) - Fibonacci_ISLAST) * (Fibonacci_x_shift - Fibonacci_y));
-    tmp *= scaling_factor;
-    std::get<2>(evals) += tmp;
-}
-//Contribution 3
-    {
-
-        using View = typename std::tuple_element<3, typename AccumulatorTypes::AccumulatorViews>::type;
-       auto Fibonacci_ISLAST = View(new_term.Fibonacci_ISLAST);
-   auto Fibonacci_x = View(new_term.Fibonacci_x);
-   auto Fibonacci_y = View(new_term.Fibonacci_y);
-   auto Fibonacci_x_shift = View(new_term.Fibonacci_x_shift);
-   auto Fibonacci_y_shift = View(new_term.Fibonacci_y_shift);
-    
-    auto tmp = ((FF(1) - Fibonacci_ISLAST) * (Fibonacci_y_shift - (Fibonacci_x + Fibonacci_y)));
-    tmp *= scaling_factor;
-    std::get<3>(evals) += tmp;
-}
-}
-
-};
-
-template <typename FF> using ExampleRelation = ExampleRelationImpl<FF>;
-
-        }
\ No newline at end of file
diff --git a/ExampleRelation_arith.hpp b/ExampleRelation_arith.hpp
deleted file mode 100644
index af0df12d25..0000000000
--- a/ExampleRelation_arith.hpp
+++ /dev/null
@@ -1,8 +0,0 @@
-
-namespace arithmetization {
-    class ExampleRelationArithmetization : public Arithmetization<5, 0> {
-        public:
-            using FF = barretenberg::fr;
-            struct Selectors {};
-    };
-} // namespace arithmetization
diff --git a/ExampleRelation_flavor.hpp b/ExampleRelation_flavor.hpp
deleted file mode 100644
index 0fc6d78ba7..0000000000
--- a/ExampleRelation_flavor.hpp
+++ /dev/null
@@ -1,260 +0,0 @@
-
-
-#pragma once
-#include "barretenberg/ecc/curves/bn254/g1.hpp"
-#include "barretenberg/honk/pcs/kzg/kzg.hpp"
-#include "barretenberg/polynomials/barycentric.hpp"
-#include "barretenberg/polynomials/univariate.hpp"
-
-#include "barretenberg/honk/transcript/transcript.hpp"
-#include "barretenberg/polynomials/evaluation_domain.hpp"
-#include "barretenberg/polynomials/polynomial.hpp"
-// #include "barretenberg/proof_system/circuit_builder/ultra_circuit_builder.hpp"
-#include "barretenberg/proof_system/flavor/flavor.hpp"
-#include "barretenberg/proof_system/relations/ExampleRelation_relation.hpp"
-
-
-namespace proof_system::honk {
-namespace flavor {
-
-template <typename CycleGroup_T, typename Curve_T, typename PCS_T> class ExampleRelationFlavorBase {
-    public: 
-        // forward template params into the ECCVMBase namespace
-        using CycleGroup = CycleGroup_T;
-        using Curve = Curve_T;
-        using G1 = typename Curve::Group;
-        using PCS = PCS_T;
-
-        using FF = typename G1::subgroup_field;
-        using Polynomial = barretenberg::Polynomial<FF>;
-        using PolynomialHandle = std::span<FF>;
-        using GroupElement = typename G1::element;
-        using Commitment = typename G1::affine_element;
-        using CommitmentHandle = typename G1::affine_element;
-        using CommitmentKey = pcs::CommitmentKey<Curve>;
-        using VerifierCommitmentKey = pcs::VerifierCommitmentKey<Curve>;
-
-        static constexpr size_t NUM_WIRES = 3;
-        static constexpr size_t NUM_ALL_ENTITIES = 5;
-        static constexpr size_t NUM_PRECOMPUTED_ENTITIES = 1;
-        static constexpr size_t NUM_WITNESS_ENTITIES = 2;
-
-        // using GrandProductRelations = std::tuple<>;
-        using Relations = std::tuple<ExampleRelation>;
-        // using LookupRelation = sumcheck::LookupRelation<FF>;
-
-        static constexpr size_t NUM_RELATION_LENGTH  = get_max_relation_length<Relations>();
-        static constexpr size_t NUM_RANDOM_RELATION_LENGTH = MAX_RELATION_LENGTH + 1;
-        static constexpr size_t NUM_RELATIONS = std::tuple_size_v<Relations>::value;
-
-        // define the containers for storing the contributions from each relation in Sumcheck
-        using RelationUnivariates = decltype(create_relation_univariates_container<FF, Relations>());
-        using RelationValues = decltype(create_relation_values_container<FF, Relations>());
-
-    private:
-        template<typename DataType, typename HandleType>
-        class PrecomputedEntities : public PrecomputedEntities_<DataType, HandleType, NUM_PRECOMPUTED_ENTITIES> {
-            public:
-
-            
-        
-            DataType& Fibonacci_ISLAST = std::get<0>(this->_data);
-        
-            
-        std::vector<HandleType> get_selectors() override {
-            return { Fibonacci_ISLAST,  };
-        };
-        
-      
-              std::vector<HandleType> get_sigma_polynomials() override { return {}; };
-              std::vector<HandleType> get_id_polynomials() override { return {}; };
-              std::vector<HandleType> get_table_polynomials() { return {}; };
-          };
-          
-        template <typename DataType, typename HandleType>
-        class WitnessEntities : public WitnessEntities_<DataType, HandleType, NUM_WITNESS_ENTITIES> {
-            public:
-
-            
-        
-        
-            DataType& Fibonacci_x = std::get<0>(this->_data);
-            DataType& Fibonacci_y = std::get<1>(this->_data);
-        
-
-        std::vector<HandleType> get_wires() override {
-            return { 
-Fibonacci_x, 
-            Fibonacci_y, 
-            
-            };
-        };
-
-        std::vector<HandleType> get_sorted_polynomials()  { return {}; };
-         
-        }
-
-        template <typename DataType, typename HandleType>
-        class AllEntities : public AllEntities_<DataType, HandleType, NUM_WITNESS_ENTITIES> {
-            public:
-
-            
-        
-            DataType& Fibonacci_ISLAST = std::get<0>(this->_data);
-         
-            
-        
-            DataType& Fibonacci_x = std::get<1>(this->_data);
-            DataType& Fibonacci_y = std::get<2>(this->_data);
-        
-            
-        
-            DataType& Fibonacci_x_shift = std::get<3>(this->_data);
-            DataType& Fibonacci_y_shift = std::get<4>(this->_data);
-        
-
-
-            std::vector<HandleType> get_wires() override {
-                return {
-Fibonacci_ISLAST, 
-            Fibonacci_x, 
-            Fibonacci_y, 
-            
-                };
-            };
-
-            std::vector<HandleType> get_unshifted() override {
-                return {
-                    Fibonacci_ISLAST, 
-            
-                };
-            };
-
-            std::vector<HandleType> get_to_be_shifted() override {
-                return {
-                    Fibonacci_x, 
-            Fibonacci_y, 
-            
-                };
-            };
-
-            std::vector<HandleType> get_shifted() override {
-                return {
-                    Fibonacci_x_shift, 
-            Fibonacci_y_shift, 
-            
-                };
-            };
-
-            AllEntities() = default;
-
-            AllEntities(const AllEntities& other)
-                : AllEntities_<DataType, HandleType, NUM_ALL_ENTITIES>(other){};
-    
-            AllEntities(AllEntities&& other) noexcept
-                : AllEntities_<DataType, HandleType, NUM_ALL_ENTITIES>(other){};
-    
-            AllEntities& operator=(const AllEntities& other)
-            {
-                if (this == &other) {
-                    return *this;
-                }
-                AllEntities_<DataType, HandleType, NUM_ALL_ENTITIES>::operator=(other);
-                return *this;
-            }
-    
-            AllEntities& operator=(AllEntities&& other) noexcept
-            {
-                AllEntities_<DataType, HandleType, NUM_ALL_ENTITIES>::operator=(other);
-                return *this;
-            }
-    
-            ~AllEntities() override = default;
-        };
-    
-    public:
-    class ProvingKey : public ProvingKey_<PrecomputedEntities<Polynomial, PolynomialHandle>,
-    WitnessEntities<Polynomial, PolynomialHandle>> {
-        public:
-        // Expose constructors on the base class
-        using Base = ProvingKey_<PrecomputedEntities<Polynomial, PolynomialHandle>,
-        WitnessEntities<Polynomial, PolynomialHandle>>;
-        using Base::Base;
-
-        // The plookup wires that store plookup read data.
-        std::array<PolynomialHandle, 0> get_table_column_wires() { return {}; };
-    };
-
-    using VerificationKey = VerificationKey_<PrecomputedEntities<Commitment, CommitmentHandle>>;
-
-    using ProverPolynomials = AllEntities<PolynomialHandle, PolynomialHandle>;
-
-    using FoldedPolynomials = AllEntities<std::vector<FF>, PolynomialHandle>;
-
-    using RawPolynomials = AllEntities<Polynomial, PolynomialHandle>;
-
-    using RowPolynomials = AllEntities<FF, FF>;
-
-    class PartiallyEvaluatedMultivariates : public AllEntities<Polynomial, PolynomialHandle> {
-        public:
-        PartiallyEvaluatedMultivariates() = default;
-        PartiallyEvaluatedMultivariates(const size_t circuit_size)
-        {
-            // Storage is only needed after the first partial evaluation, hence polynomials of size (n / 2)
-            for (auto& poly : this->_data) {
-                poly = Polynomial(circuit_size / 2);
-            }
-        }
-    };
-
-    template <size_t MAX_RELATION_LENGTH>
-    using ExtendedEdges = AllEntities<barretenberg::Univariate<FF, MAX_RELATION_LENGTH>,
-    barretenberg::Univariate<FF, MAX_RELATION_LENGTH>>;
-
-    class ClaimedEvaluations : public AllEntities<FF, FF> {
-        public:
-            using Base = AllEntities<FF, FF>;
-            using Base::Base;
-            ClaimedEvaluations(std::array<FF, NUM_ALL_ENTITIES> _data_in) { this->_data = _data_in; }
-    };
-
-    
-        class CommitmentLabels: public AllEntities<std::string, std::string> {
-            private:
-                using Base = AllEntities<std::string, std::string>;
-
-
-            public:
-                CommitmentLabels() : AllEntities<std::string, std::string>()
-            {
-                Base::Fibonacci_ISLAST = "Fibonacci_ISLAST", 
-            Base::Fibonacci_x = "Fibonacci_x", 
-            Base::Fibonacci_y = "Fibonacci_y", 
-            
-            };
-        };
-        
-
-    
-    class VerifierCommitments : public AllEntities<Commitment, CommitmentHandle> {
-      private:
-        using Base = AllEntities<Commitment, CommitmentHandle>;
-
-      public:
-        VerifierCommitments(const std::shared_ptr<VerificationKey>& verification_key,
-                            const VerifierTranscript<FF>& transcript)
-        {
-            static_cast<void>(transcript);
-            static_cast<void>(verification_key);
-        }
-    };
-
-};
-
-class ExampleRelationFlavor : public ExampleRelationFlavorBase<grumpkin::g1, curve::BN254, pcs::kzg::KZG<curve::BN254>> {};
-
-} // namespace proof_system::honk::flavor
-} // namespace proof_system::honk
-    
-    
-    
\ No newline at end of file
diff --git a/ExampleRelation_trace.hpp b/ExampleRelation_trace.hpp
deleted file mode 100644
index c4905a6c2b..0000000000
--- a/ExampleRelation_trace.hpp
+++ /dev/null
@@ -1,67 +0,0 @@
-
-// AUTOGENERATED FILE
-
-#include "barretenberg/ecc/curves/bn254/fr.hpp"
-#include <cstdint>
-#include <filesystem>
-#include <fstream>
-#include <iostream>
-#include <string>
-#include <sys/types.h>
-#include <vector>
-
-
-using namespace barretenberg;
-using fr = barretenberg::fr;
-
-using Row = ExampleRelation::ExampleRelationRow<barretenberg::fr>;
-fr read_field(std::ifstream& file)
-{
-    uint8_t buffer[32];
-    file.read(reinterpret_cast<char*>(buffer), 32);
-
-    // swap it to big endian ???? TODO: create utility
-    for (int n = 0, m = 31; n < m; ++n, --m) {
-        std::swap(buffer[n], buffer[m]);
-    }
-
-    return fr::serialize_from_buffer(buffer);
-}
-    
-std::vector<Row> read_both_file_into_cols(
-    std::string commited_filename,
-    std::string constants_filename,
-) {
-    std::vector<Row> rows;
-
-    // open both files
-    std::ifstream commited_file(commited_filename, std::ios::binary);
-    if (!commited_file) {
-        std::cout << 'Error opening commited file' << std::endl;
-        return {};
-    }
-
-    std::ifstream constant_file(constant_filename, std::ios::binary);
-    if (!constant_file) {
-        std::cout << 'Error opening constant file' << std::endl;
-        return {};
-    }
-
-    // We are assuming that the two files are the same length
-    while (commited_file) {
-        Row current_row = {};
-
-        current_row.Fibonacci.ISLAST = read_file(constants_filename);
-        
-        current_row.Fibonacci_x = read_file(commited_filename);
-        current_row.Fibonacci_x_shift = read_file(constants_filename);
-
-        current_row.Fibonacci_y = read_file(commited_filename);
-        current_row.Fibonacci_y_shift = read_file(constants_filename);
-
-        rows.push_back(current_row);
-    }
-
-    return rows;
-}
-    
\ No newline at end of file
diff --git a/brillig.pil b/brillig.pil
deleted file mode 100644
index cea4a71d14..0000000000
--- a/brillig.pil
+++ /dev/null
@@ -1,333 +0,0 @@
-namespace main(256);
-pol commit XInv;
-pol commit XIsZero;
-XIsZero = (1 - (X * XInv));
-(XIsZero * X) = 0;
-(XIsZero * (1 - XIsZero)) = 0;
-pol commit m_addr;
-pol commit m_step;
-pol commit m_change;
-pol commit m_value;
-pol commit m_op;
-pol commit m_is_write;
-pol commit m_is_read;
-pol constant POSITIVE(i) { (i + 1) };
-pol constant FIRST = [1] + [0]*;
-pol constant LAST(i) { FIRST((i + 1)) };
-pol constant STEP(i) { i };
-(m_change * (1 - m_change)) = 0;
-((m_addr' - m_addr) * (1 - m_change)) = 0;
-(1 - LAST) { ((m_change * (m_addr' - m_addr)) + ((1 - m_change) * (m_step' - m_step))) } in { POSITIVE };
-(m_op * (1 - m_op)) = 0;
-(m_is_write * (1 - m_is_write)) = 0;
-(m_is_read * (1 - m_is_read)) = 0;
-(m_is_write * (1 - m_op)) = 0;
-(m_is_read * (1 - m_op)) = 0;
-(m_is_read * m_is_write) = 0;
-(((1 - m_is_write') * (1 - m_change)) * (m_value' - m_value)) = 0;
-(((1 - m_is_write') * m_change) * m_value') = 0;
-pol commit _operation_id;
-pol commit _sigma;
-pol constant _romgen_first_step = [1] + [0]*;
-_sigma' = ((1 - _romgen_first_step') * (_sigma + instr_return));
-(_sigma * (_operation_id - 8)) = 0;
-pol commit pc;
-pol commit X;
-pol commit Y;
-pol commit Z;
-pol commit reg_write_X_jump_ptr;
-pol commit reg_write_Y_jump_ptr;
-pol commit reg_write_Z_jump_ptr;
-pol commit jump_ptr;
-pol commit reg_write_X_addr;
-pol commit reg_write_Y_addr;
-pol commit reg_write_Z_addr;
-pol commit addr;
-pol commit reg_write_X_tmp;
-pol commit reg_write_Y_tmp;
-pol commit reg_write_Z_tmp;
-pol commit tmp;
-pol commit reg_write_X_r0;
-pol commit reg_write_Y_r0;
-pol commit reg_write_Z_r0;
-pol commit r0;
-pol commit reg_write_X_r1;
-pol commit reg_write_Y_r1;
-pol commit reg_write_Z_r1;
-pol commit r1;
-pol commit reg_write_X_r2;
-pol commit reg_write_Y_r2;
-pol commit reg_write_Z_r2;
-pol commit r2;
-pol commit reg_write_X_r3;
-pol commit reg_write_Y_r3;
-pol commit reg_write_Z_r3;
-pol commit r3;
-pol commit reg_write_X_r4;
-pol commit reg_write_Y_r4;
-pol commit reg_write_Z_r4;
-pol commit r4;
-pol commit reg_write_X_r5;
-pol commit reg_write_Y_r5;
-pol commit reg_write_Z_r5;
-pol commit r5;
-pol commit reg_write_X_r6;
-pol commit reg_write_Y_r6;
-pol commit reg_write_Z_r6;
-pol commit r6;
-pol commit reg_write_X_r7;
-pol commit reg_write_Y_r7;
-pol commit reg_write_Z_r7;
-pol commit r7;
-pol commit reg_write_X_r8;
-pol commit reg_write_Y_r8;
-pol commit reg_write_Z_r8;
-pol commit r8;
-pol commit reg_write_X_r9;
-pol commit reg_write_Y_r9;
-pol commit reg_write_Z_r9;
-pol commit r9;
-pol commit reg_write_X_r10;
-pol commit reg_write_Y_r10;
-pol commit reg_write_Z_r10;
-pol commit r10;
-pol commit reg_write_X_r11;
-pol commit reg_write_Y_r11;
-pol commit reg_write_Z_r11;
-pol commit r11;
-pol commit instr_store;
-instr_store { addr, STEP, X } is m_is_write { m_addr, m_step, m_value };
-pol commit instr_load;
-instr_load { addr, STEP, X } is m_is_read { m_addr, m_step, m_value };
-pol commit instr_add;
-(instr_add * (X - (Y + Z))) = 0;
-pol commit instr_sub;
-(instr_sub * (X - (Y - Z))) = 0;
-pol commit instr_eq;
-(instr_eq * (Y - XIsZero)) = 0;
-pol commit instr_mul;
-(instr_mul * (X - (Y * Z))) = 0;
-pol commit instr_mov;
-(instr_mov * (X - Y)) = 0;
-pol commit instr_call;
-pol commit instr_call_param_l;
-pol commit instr_ret;
-pol commit instr_jump;
-pol commit instr_jump_param_l;
-pol commit instr_jumpi;
-pol commit instr_jumpi_param_l;
-pol instr_jumpi_pc_update = ((1 - XIsZero) * instr_jumpi_param_l);
-pol instr_jumpi_pc_update_1 = (XIsZero * (pc + 1));
-pol commit instr_jumpni;
-pol commit instr_jumpni_param_l;
-pol instr_jumpni_pc_update = (XIsZero * instr_jumpni_param_l);
-pol instr_jumpni_pc_update_1 = ((1 - XIsZero) * (pc + 1));
-pol commit instr__jump_to_operation;
-pol commit instr__reset;
-pol commit instr__loop;
-pol commit instr_return;
-pol commit X_const;
-pol commit X_read_free;
-pol commit read_X_addr;
-pol commit read_X_jump_ptr;
-pol commit read_X_r0;
-pol commit read_X_r1;
-pol commit read_X_r10;
-pol commit read_X_r11;
-pol commit read_X_r2;
-pol commit read_X_r3;
-pol commit read_X_r4;
-pol commit read_X_r5;
-pol commit read_X_r6;
-pol commit read_X_r7;
-pol commit read_X_r8;
-pol commit read_X_r9;
-pol commit read_X_tmp;
-pol commit read_X_pc;
-X = ((((((((((((((((((read_X_addr * addr) + (read_X_jump_ptr * jump_ptr)) + (read_X_r0 * r0)) + (read_X_r1 * r1)) + (read_X_r10 * r10)) + (read_X_r11 * r11)) + (read_X_r2 * r2)) + (read_X_r3 * r3)) + (read_X_r4 * r4)) + (read_X_r5 * r5)) + (read_X_r6 * r6)) + (read_X_r7 * r7)) + (read_X_r8 * r8)) + (read_X_r9 * r9)) + (read_X_tmp * tmp)) + (read_X_pc * pc)) + X_const) + (X_read_free * X_free_value));
-pol commit Y_const;
-pol commit Y_read_free;
-pol commit read_Y_addr;
-pol commit read_Y_jump_ptr;
-pol commit read_Y_r0;
-pol commit read_Y_r1;
-pol commit read_Y_r10;
-pol commit read_Y_r11;
-pol commit read_Y_r2;
-pol commit read_Y_r3;
-pol commit read_Y_r4;
-pol commit read_Y_r5;
-pol commit read_Y_r6;
-pol commit read_Y_r7;
-pol commit read_Y_r8;
-pol commit read_Y_r9;
-pol commit read_Y_tmp;
-pol commit read_Y_pc;
-Y = ((((((((((((((((((read_Y_addr * addr) + (read_Y_jump_ptr * jump_ptr)) + (read_Y_r0 * r0)) + (read_Y_r1 * r1)) + (read_Y_r10 * r10)) + (read_Y_r11 * r11)) + (read_Y_r2 * r2)) + (read_Y_r3 * r3)) + (read_Y_r4 * r4)) + (read_Y_r5 * r5)) + (read_Y_r6 * r6)) + (read_Y_r7 * r7)) + (read_Y_r8 * r8)) + (read_Y_r9 * r9)) + (read_Y_tmp * tmp)) + (read_Y_pc * pc)) + Y_const) + (Y_read_free * Y_free_value));
-pol commit Z_const;
-pol commit Z_read_free;
-pol commit read_Z_addr;
-pol commit read_Z_jump_ptr;
-pol commit read_Z_r0;
-pol commit read_Z_r1;
-pol commit read_Z_r10;
-pol commit read_Z_r11;
-pol commit read_Z_r2;
-pol commit read_Z_r3;
-pol commit read_Z_r4;
-pol commit read_Z_r5;
-pol commit read_Z_r6;
-pol commit read_Z_r7;
-pol commit read_Z_r8;
-pol commit read_Z_r9;
-pol commit read_Z_tmp;
-pol commit read_Z_pc;
-Z = ((((((((((((((((((read_Z_addr * addr) + (read_Z_jump_ptr * jump_ptr)) + (read_Z_r0 * r0)) + (read_Z_r1 * r1)) + (read_Z_r10 * r10)) + (read_Z_r11 * r11)) + (read_Z_r2 * r2)) + (read_Z_r3 * r3)) + (read_Z_r4 * r4)) + (read_Z_r5 * r5)) + (read_Z_r6 * r6)) + (read_Z_r7 * r7)) + (read_Z_r8 * r8)) + (read_Z_r9 * r9)) + (read_Z_tmp * tmp)) + (read_Z_pc * pc)) + Z_const) + (Z_read_free * Z_free_value));
-pol constant first_step = [1] + [0]*;
-addr' = (((((reg_write_X_addr * X) + (reg_write_Y_addr * Y)) + (reg_write_Z_addr * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_addr + reg_write_Y_addr) + reg_write_Z_addr) + instr__reset)) * addr));
-jump_ptr' = ((((((reg_write_X_jump_ptr * X) + (reg_write_Y_jump_ptr * Y)) + (reg_write_Z_jump_ptr * Z)) + (instr_call * (pc + 1))) + (instr__reset * 0)) + ((1 - ((((reg_write_X_jump_ptr + reg_write_Y_jump_ptr) + reg_write_Z_jump_ptr) + instr_call) + instr__reset)) * jump_ptr));
-pol pc_update = (((((((((instr_call * instr_call_param_l) + (instr_ret * jump_ptr)) + (instr_jump * instr_jump_param_l)) + (instr_jumpi * (instr_jumpi_pc_update + instr_jumpi_pc_update_1))) + (instr_jumpni * (instr_jumpni_pc_update + instr_jumpni_pc_update_1))) + (instr__jump_to_operation * _operation_id)) + (instr__loop * pc)) + (instr_return * 0)) + ((1 - (((((((instr_call + instr_ret) + instr_jump) + instr_jumpi) + instr_jumpni) + instr__jump_to_operation) + instr__loop) + instr_return)) * (pc + 1)));
-pc' = ((1 - first_step') * pc_update);
-r0' = (((((reg_write_X_r0 * X) + (reg_write_Y_r0 * Y)) + (reg_write_Z_r0 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r0 + reg_write_Y_r0) + reg_write_Z_r0) + instr__reset)) * r0));
-r1' = (((((reg_write_X_r1 * X) + (reg_write_Y_r1 * Y)) + (reg_write_Z_r1 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r1 + reg_write_Y_r1) + reg_write_Z_r1) + instr__reset)) * r1));
-r10' = (((((reg_write_X_r10 * X) + (reg_write_Y_r10 * Y)) + (reg_write_Z_r10 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r10 + reg_write_Y_r10) + reg_write_Z_r10) + instr__reset)) * r10));
-r11' = (((((reg_write_X_r11 * X) + (reg_write_Y_r11 * Y)) + (reg_write_Z_r11 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r11 + reg_write_Y_r11) + reg_write_Z_r11) + instr__reset)) * r11));
-r2' = (((((reg_write_X_r2 * X) + (reg_write_Y_r2 * Y)) + (reg_write_Z_r2 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r2 + reg_write_Y_r2) + reg_write_Z_r2) + instr__reset)) * r2));
-r3' = (((((reg_write_X_r3 * X) + (reg_write_Y_r3 * Y)) + (reg_write_Z_r3 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r3 + reg_write_Y_r3) + reg_write_Z_r3) + instr__reset)) * r3));
-r4' = (((((reg_write_X_r4 * X) + (reg_write_Y_r4 * Y)) + (reg_write_Z_r4 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r4 + reg_write_Y_r4) + reg_write_Z_r4) + instr__reset)) * r4));
-r5' = (((((reg_write_X_r5 * X) + (reg_write_Y_r5 * Y)) + (reg_write_Z_r5 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r5 + reg_write_Y_r5) + reg_write_Z_r5) + instr__reset)) * r5));
-r6' = (((((reg_write_X_r6 * X) + (reg_write_Y_r6 * Y)) + (reg_write_Z_r6 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r6 + reg_write_Y_r6) + reg_write_Z_r6) + instr__reset)) * r6));
-r7' = (((((reg_write_X_r7 * X) + (reg_write_Y_r7 * Y)) + (reg_write_Z_r7 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r7 + reg_write_Y_r7) + reg_write_Z_r7) + instr__reset)) * r7));
-r8' = (((((reg_write_X_r8 * X) + (reg_write_Y_r8 * Y)) + (reg_write_Z_r8 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r8 + reg_write_Y_r8) + reg_write_Z_r8) + instr__reset)) * r8));
-r9' = (((((reg_write_X_r9 * X) + (reg_write_Y_r9 * Y)) + (reg_write_Z_r9 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r9 + reg_write_Y_r9) + reg_write_Z_r9) + instr__reset)) * r9));
-tmp' = (((((reg_write_X_tmp * X) + (reg_write_Y_tmp * Y)) + (reg_write_Z_tmp * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_tmp + reg_write_Y_tmp) + reg_write_Z_tmp) + instr__reset)) * tmp));
-pol constant p_line = [0, 1, 2, 3, 4, 5, 6, 7, 8] + [8]*;
-pol commit X_free_value(i) query match pc {  };
-pol commit Y_free_value(i) query match pc {  };
-pol commit Z_free_value(i) query match pc {  };
-pol constant p_X_const = [0, 0, 0, 3, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_X_read_free = [0, 0, 0, 0, 1, 1, 0, 0, 0] + [0]*;
-pol constant p_Y_const = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_Y_read_free = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_Z_const = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_Z_read_free = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr__jump_to_operation = [0, 1, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr__loop = [0, 0, 0, 0, 0, 0, 0, 0, 1] + [1]*;
-pol constant p_instr__reset = [1, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_add = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_call = [0, 0, 1, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_call_param_l = [0, 0, 3, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_eq = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_jump = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_jump_param_l = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_jumpi = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_jumpi_param_l = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_jumpni = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_jumpni_param_l = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_load = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_mov = [0, 0, 0, 0, 1, 1, 0, 0, 0] + [0]*;
-pol constant p_instr_mul = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_ret = [0, 0, 0, 0, 0, 0, 1, 0, 0] + [0]*;
-pol constant p_instr_return = [0, 0, 0, 0, 0, 0, 0, 1, 0] + [0]*;
-pol constant p_instr_store = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_sub = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_addr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_jump_ptr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_pc = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r0 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r1 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r10 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r11 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r2 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r3 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r4 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r5 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r6 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r7 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r8 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r9 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_tmp = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_addr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_jump_ptr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_pc = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r0 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r1 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r10 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r11 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r2 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r3 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r4 = [0, 0, 0, 0, 1, 1, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r5 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r6 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r7 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r8 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r9 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_tmp = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_addr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_jump_ptr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_pc = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r0 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r1 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r10 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r11 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r2 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r3 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r4 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r5 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r6 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r7 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r8 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r9 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_tmp = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_addr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_jump_ptr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r0 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r1 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r10 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r11 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r2 = [0, 0, 0, 0, 0, 1, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r3 = [0, 0, 0, 1, 1, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r4 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r5 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r6 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r7 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r8 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r9 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_tmp = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_addr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_jump_ptr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r0 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r1 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r10 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r11 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r2 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r3 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r4 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r5 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r6 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r7 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r8 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r9 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_tmp = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_addr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_jump_ptr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r0 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r1 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r10 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r11 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r2 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r3 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r4 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r5 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r6 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r7 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r8 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r9 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_tmp = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-{ pc, reg_write_X_jump_ptr, reg_write_Y_jump_ptr, reg_write_Z_jump_ptr, reg_write_X_addr, reg_write_Y_addr, reg_write_Z_addr, reg_write_X_tmp, reg_write_Y_tmp, reg_write_Z_tmp, reg_write_X_r0, reg_write_Y_r0, reg_write_Z_r0, reg_write_X_r1, reg_write_Y_r1, reg_write_Z_r1, reg_write_X_r2, reg_write_Y_r2, reg_write_Z_r2, reg_write_X_r3, reg_write_Y_r3, reg_write_Z_r3, reg_write_X_r4, reg_write_Y_r4, reg_write_Z_r4, reg_write_X_r5, reg_write_Y_r5, reg_write_Z_r5, reg_write_X_r6, reg_write_Y_r6, reg_write_Z_r6, reg_write_X_r7, reg_write_Y_r7, reg_write_Z_r7, reg_write_X_r8, reg_write_Y_r8, reg_write_Z_r8, reg_write_X_r9, reg_write_Y_r9, reg_write_Z_r9, reg_write_X_r10, reg_write_Y_r10, reg_write_Z_r10, reg_write_X_r11, reg_write_Y_r11, reg_write_Z_r11, instr_store, instr_load, instr_add, instr_sub, instr_eq, instr_mul, instr_mov, instr_call, instr_call_param_l, instr_ret, instr_jump, instr_jump_param_l, instr_jumpi, instr_jumpi_param_l, instr_jumpni, instr_jumpni_param_l, instr__jump_to_operation, instr__reset, instr__loop, instr_return, X_const, X_read_free, read_X_addr, read_X_jump_ptr, read_X_r0, read_X_r1, read_X_r10, read_X_r11, read_X_r2, read_X_r3, read_X_r4, read_X_r5, read_X_r6, read_X_r7, read_X_r8, read_X_r9, read_X_tmp, read_X_pc, Y_const, Y_read_free, read_Y_addr, read_Y_jump_ptr, read_Y_r0, read_Y_r1, read_Y_r10, read_Y_r11, read_Y_r2, read_Y_r3, read_Y_r4, read_Y_r5, read_Y_r6, read_Y_r7, read_Y_r8, read_Y_r9, read_Y_tmp, read_Y_pc, Z_const, Z_read_free, read_Z_addr, read_Z_jump_ptr, read_Z_r0, read_Z_r1, read_Z_r10, read_Z_r11, read_Z_r2, read_Z_r3, read_Z_r4, read_Z_r5, read_Z_r6, read_Z_r7, read_Z_r8, read_Z_r9, read_Z_tmp, read_Z_pc } in { p_line, p_reg_write_X_jump_ptr, p_reg_write_Y_jump_ptr, p_reg_write_Z_jump_ptr, p_reg_write_X_addr, p_reg_write_Y_addr, p_reg_write_Z_addr, p_reg_write_X_tmp, p_reg_write_Y_tmp, p_reg_write_Z_tmp, p_reg_write_X_r0, p_reg_write_Y_r0, p_reg_write_Z_r0, p_reg_write_X_r1, p_reg_write_Y_r1, p_reg_write_Z_r1, p_reg_write_X_r2, p_reg_write_Y_r2, p_reg_write_Z_r2, p_reg_write_X_r3, p_reg_write_Y_r3, p_reg_write_Z_r3, p_reg_write_X_r4, p_reg_write_Y_r4, p_reg_write_Z_r4, p_reg_write_X_r5, p_reg_write_Y_r5, p_reg_write_Z_r5, p_reg_write_X_r6, p_reg_write_Y_r6, p_reg_write_Z_r6, p_reg_write_X_r7, p_reg_write_Y_r7, p_reg_write_Z_r7, p_reg_write_X_r8, p_reg_write_Y_r8, p_reg_write_Z_r8, p_reg_write_X_r9, p_reg_write_Y_r9, p_reg_write_Z_r9, p_reg_write_X_r10, p_reg_write_Y_r10, p_reg_write_Z_r10, p_reg_write_X_r11, p_reg_write_Y_r11, p_reg_write_Z_r11, p_instr_store, p_instr_load, p_instr_add, p_instr_sub, p_instr_eq, p_instr_mul, p_instr_mov, p_instr_call, p_instr_call_param_l, p_instr_ret, p_instr_jump, p_instr_jump_param_l, p_instr_jumpi, p_instr_jumpi_param_l, p_instr_jumpni, p_instr_jumpni_param_l, p_instr__jump_to_operation, p_instr__reset, p_instr__loop, p_instr_return, p_X_const, p_X_read_free, p_read_X_addr, p_read_X_jump_ptr, p_read_X_r0, p_read_X_r1, p_read_X_r10, p_read_X_r11, p_read_X_r2, p_read_X_r3, p_read_X_r4, p_read_X_r5, p_read_X_r6, p_read_X_r7, p_read_X_r8, p_read_X_r9, p_read_X_tmp, p_read_X_pc, p_Y_const, p_Y_read_free, p_read_Y_addr, p_read_Y_jump_ptr, p_read_Y_r0, p_read_Y_r1, p_read_Y_r10, p_read_Y_r11, p_read_Y_r2, p_read_Y_r3, p_read_Y_r4, p_read_Y_r5, p_read_Y_r6, p_read_Y_r7, p_read_Y_r8, p_read_Y_r9, p_read_Y_tmp, p_read_Y_pc, p_Z_const, p_Z_read_free, p_read_Z_addr, p_read_Z_jump_ptr, p_read_Z_r0, p_read_Z_r1, p_read_Z_r10, p_read_Z_r11, p_read_Z_r2, p_read_Z_r3, p_read_Z_r4, p_read_Z_r5, p_read_Z_r6, p_read_Z_r7, p_read_Z_r8, p_read_Z_r9, p_read_Z_tmp, p_read_Z_pc };
-pol constant _block_enforcer_last_step = [0]* + [1];
-pol commit _operation_id_no_change;
-_operation_id_no_change = ((1 - _block_enforcer_last_step) * (1 - instr_return));
-(_operation_id_no_change * (_operation_id' - _operation_id)) = 0;
-pol constant _linker_first_step = [1] + [0]*;
-(_linker_first_step * (_operation_id - 2)) = 0;
diff --git a/brillig_opt.pil b/brillig_opt.pil
deleted file mode 100644
index fce18d8624..0000000000
--- a/brillig_opt.pil
+++ /dev/null
@@ -1,121 +0,0 @@
-namespace main(256);
-    col witness XInv;
-    col witness XIsZero;
-    main.XIsZero = (1 - (main.X * main.XInv));
-    (main.XIsZero * main.X) = 0;
-    (main.XIsZero * (1 - main.XIsZero)) = 0;
-    col witness m_addr;
-    col witness m_step;
-    col witness m_change;
-    col witness m_value;
-    col witness m_op;
-    col witness m_is_write;
-    col witness m_is_read;
-    col fixed POSITIVE(i) { (i + 1) };
-    col fixed FIRST = [1] + [0]*;
-    col fixed LAST(i) { main.FIRST((i + 1)) };
-    col fixed STEP(i) { i };
-    (main.m_change * (1 - main.m_change)) = 0;
-    ((main.m_addr' - main.m_addr) * (1 - main.m_change)) = 0;
-    (1 - main.LAST) { ((main.m_change * (main.m_addr' - main.m_addr)) + ((1 - main.m_change) * (main.m_step' - main.m_step))) } in { main.POSITIVE };
-    (main.m_op * (1 - main.m_op)) = 0;
-    (main.m_is_write * (1 - main.m_is_write)) = 0;
-    (main.m_is_read * (1 - main.m_is_read)) = 0;
-    (main.m_is_write * (1 - main.m_op)) = 0;
-    (main.m_is_read * (1 - main.m_op)) = 0;
-    (main.m_is_read * main.m_is_write) = 0;
-    (((1 - main.m_is_write') * (1 - main.m_change)) * (main.m_value' - main.m_value)) = 0;
-    (((1 - main.m_is_write') * main.m_change) * main.m_value') = 0;
-    col witness _operation_id;
-    col witness _sigma;
-    col fixed _romgen_first_step = [1] + [0]*;
-    main._sigma' = ((1 - main._romgen_first_step') * (main._sigma + main.instr_return));
-    (main._sigma * (main._operation_id - 8)) = 0;
-    col witness pc;
-    col witness X;
-    col witness Y;
-    col witness Z;
-    col witness jump_ptr;
-    col witness addr;
-    col witness tmp;
-    col witness r0;
-    col witness r1;
-    col witness reg_write_X_r2;
-    col witness r2;
-    col witness reg_write_X_r3;
-    col witness r3;
-    col witness r4;
-    col witness r5;
-    col witness r6;
-    col witness r7;
-    col witness r8;
-    col witness r9;
-    col witness r10;
-    col witness r11;
-    0 { main.addr, main.STEP, main.X } is main.m_is_write { main.m_addr, main.m_step, main.m_value };
-    0 { main.addr, main.STEP, main.X } is main.m_is_read { main.m_addr, main.m_step, main.m_value };
-    col witness instr_mov;
-    (main.instr_mov * (main.X - main.Y)) = 0;
-    col witness instr_call;
-    col witness instr_call_param_l;
-    col witness instr_ret;
-    col instr_jumpi_pc_update = 0;
-    col instr_jumpi_pc_update_1 = (main.XIsZero * (main.pc + 1));
-    col instr_jumpni_pc_update = 0;
-    col instr_jumpni_pc_update_1 = ((1 - main.XIsZero) * (main.pc + 1));
-    col witness instr__jump_to_operation;
-    col witness instr__reset;
-    col witness instr__loop;
-    col witness instr_return;
-    col witness X_const;
-    col witness X_read_free;
-    main.X = (main.X_const + (main.X_read_free * main.X_free_value));
-    col witness read_Y_r4;
-    main.Y = (main.read_Y_r4 * main.r4);
-    main.Z = 0;
-    col fixed first_step = [1] + [0]*;
-    main.addr' = ((1 - main.instr__reset) * main.addr);
-    main.jump_ptr' = ((main.instr_call * (main.pc + 1)) + ((1 - (main.instr_call + main.instr__reset)) * main.jump_ptr));
-    col pc_update = (((((main.instr_call * main.instr_call_param_l) + (main.instr_ret * main.jump_ptr)) + (main.instr__jump_to_operation * main._operation_id)) + (main.instr__loop * main.pc)) + ((1 - ((((main.instr_call + main.instr_ret) + main.instr__jump_to_operation) + main.instr__loop) + main.instr_return)) * (main.pc + 1)));
-    main.pc' = ((1 - main.first_step') * main.pc_update);
-    main.r0' = ((1 - main.instr__reset) * main.r0);
-    main.r1' = ((1 - main.instr__reset) * main.r1);
-    main.r10' = ((1 - main.instr__reset) * main.r10);
-    main.r11' = ((1 - main.instr__reset) * main.r11);
-    main.r2' = ((main.reg_write_X_r2 * main.X) + ((1 - (main.reg_write_X_r2 + main.instr__reset)) * main.r2));
-    main.r3' = ((main.reg_write_X_r3 * main.X) + ((1 - (main.reg_write_X_r3 + main.instr__reset)) * main.r3));
-    main.r4' = ((1 - main.instr__reset) * main.r4);
-    main.r5' = ((1 - main.instr__reset) * main.r5);
-    main.r6' = ((1 - main.instr__reset) * main.r6);
-    main.r7' = ((1 - main.instr__reset) * main.r7);
-    main.r8' = ((1 - main.instr__reset) * main.r8);
-    main.r9' = ((1 - main.instr__reset) * main.r9);
-    main.tmp' = ((1 - main.instr__reset) * main.tmp);
-    col fixed p_line = [0, 1, 2, 3, 4, 5, 6, 7, 8] + [8]*;
-    col witness X_free_value(i) query match main.pc {  };
-    col witness Y_free_value(i) query match main.pc {  };
-    col witness Z_free_value(i) query match main.pc {  };
-    col fixed p_X_const = [0, 0, 0, 3, 0, 0, 0, 0, 0] + [0]*;
-    col fixed p_X_read_free = [0, 0, 0, 0, 1, 1, 0, 0, 0] + [0]*;
-    col fixed p_instr__jump_to_operation = [0, 1, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-    col fixed p_instr__loop = [0, 0, 0, 0, 0, 0, 0, 0, 1] + [1]*;
-    col fixed p_instr__reset = [1, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-    col fixed p_instr_call = [0, 0, 1, 0, 0, 0, 0, 0, 0] + [0]*;
-    col fixed p_instr_call_param_l = [0, 0, 3, 0, 0, 0, 0, 0, 0] + [0]*;
-    col fixed p_instr_mov = [0, 0, 0, 0, 1, 1, 0, 0, 0] + [0]*;
-    col fixed p_instr_ret = [0, 0, 0, 0, 0, 0, 1, 0, 0] + [0]*;
-    col fixed p_instr_return = [0, 0, 0, 0, 0, 0, 0, 1, 0] + [0]*;
-    col fixed p_read_Y_r4 = [0, 0, 0, 0, 1, 1, 0, 0, 0] + [0]*;
-    col fixed p_reg_write_X_r2 = [0, 0, 0, 0, 0, 1, 0, 0, 0] + [0]*;
-    col fixed p_reg_write_X_r3 = [0, 0, 0, 1, 1, 0, 0, 0, 0] + [0]*;
-    { main.pc, main.reg_write_X_r2, main.reg_write_X_r3, main.instr_mov, main.instr_call, main.instr_call_param_l, main.instr_ret, main.instr__jump_to_operation, main.instr__reset, main.instr__loop, main.instr_return, main.X_const, main.X_read_free, main.read_Y_r4 } in { main.p_line, main.p_reg_write_X_r2, main.p_reg_write_X_r3, main.p_instr_mov, main.p_instr_call, main.p_instr_call_param_l, main.p_instr_ret, main.p_instr__jump_to_operation, main.p_instr__reset, main.p_instr__loop, main.p_instr_return, main.p_X_const, main.p_X_read_free, main.p_read_Y_r4 };
-    col fixed _block_enforcer_last_step = [0]* + [1];
-    col witness _operation_id_no_change;
-    main._operation_id_no_change = ((1 - main._block_enforcer_last_step) * (1 - main.instr_return));
-    (main._operation_id_no_change * (main._operation_id' - main._operation_id)) = 0;
-    col fixed _linker_first_step = [1] + [0]*;
-    (main._linker_first_step * (main._operation_id - 2)) = 0;
-    { main.pc, main.reg_write_X_r2, main.reg_write_X_r3, main.instr_mov, main.instr_call, main.instr_call_param_l, main.instr_ret, main.instr__jump_to_operation, main.instr__reset, main.instr__loop, main.instr_return, main.X_const, main.X_read_free, main.read_Y_r4 } in { main.p_line, main.p_reg_write_X_r2, main.p_reg_write_X_r3, main.p_instr_mov, main.p_instr_call, main.p_instr_call_param_l, main.p_instr_ret, main.p_instr__jump_to_operation, main.p_instr__reset, main.p_instr__loop, main.p_instr_return, main.p_X_const, main.p_X_read_free, main.p_read_Y_r4 };
-    main._operation_id_no_change = ((1 - main._block_enforcer_last_step) * (1 - main.instr_return));
-    (main._operation_id_no_change * (main._operation_id' - main._operation_id)) = 0;
-    (main._linker_first_step * (main._operation_id - 2)) = 0;
diff --git a/brillig_out.pil b/brillig_out.pil
deleted file mode 100644
index cddde76885..0000000000
--- a/brillig_out.pil
+++ /dev/null
@@ -1,333 +0,0 @@
-namespace main(256);
-pol commit XInv;
-pol commit XIsZero;
-XIsZero = (1 - (X * XInv));
-(XIsZero * X) = 0;
-(XIsZero * (1 - XIsZero)) = 0;
-pol commit m_addr;
-pol commit m_step;
-pol commit m_change;
-pol commit m_value;
-pol commit m_op;
-pol commit m_is_write;
-pol commit m_is_read;
-pol constant POSITIVE(i) { (i + 1) };
-pol constant FIRST = [1] + [0]*;
-pol constant LAST(i) { FIRST((i + 1)) };
-pol constant STEP(i) { i };
-(m_change * (1 - m_change)) = 0;
-((m_addr' - m_addr) * (1 - m_change)) = 0;
-(1 - LAST) { ((m_change * (m_addr' - m_addr)) + ((1 - m_change) * (m_step' - m_step))) } in { POSITIVE };
-(m_op * (1 - m_op)) = 0;
-(m_is_write * (1 - m_is_write)) = 0;
-(m_is_read * (1 - m_is_read)) = 0;
-(m_is_write * (1 - m_op)) = 0;
-(m_is_read * (1 - m_op)) = 0;
-(m_is_read * m_is_write) = 0;
-(((1 - m_is_write') * (1 - m_change)) * (m_value' - m_value)) = 0;
-(((1 - m_is_write') * m_change) * m_value') = 0;
-pol commit _operation_id;
-pol commit _sigma;
-pol constant _romgen_first_step = [1] + [0]*;
-_sigma' = ((1 - _romgen_first_step') * (_sigma + instr_return));
-(_sigma * (_operation_id - 8)) = 0;
-pol commit pc;
-pol commit X;
-pol commit Y;
-pol commit Z;
-pol commit reg_write_X_jump_ptr;
-pol commit reg_write_Y_jump_ptr;
-pol commit reg_write_Z_jump_ptr;
-pol commit jump_ptr;
-pol commit reg_write_X_addr;
-pol commit reg_write_Y_addr;
-pol commit reg_write_Z_addr;
-pol commit addr;
-pol commit reg_write_X_tmp;
-pol commit reg_write_Y_tmp;
-pol commit reg_write_Z_tmp;
-pol commit tmp;
-pol commit reg_write_X_r0;
-pol commit reg_write_Y_r0;
-pol commit reg_write_Z_r0;
-pol commit r0;
-pol commit reg_write_X_r1;
-pol commit reg_write_Y_r1;
-pol commit reg_write_Z_r1;
-pol commit r1;
-pol commit reg_write_X_r2;
-pol commit reg_write_Y_r2;
-pol commit reg_write_Z_r2;
-pol commit r2;
-pol commit reg_write_X_r3;
-pol commit reg_write_Y_r3;
-pol commit reg_write_Z_r3;
-pol commit r3;
-pol commit reg_write_X_r4;
-pol commit reg_write_Y_r4;
-pol commit reg_write_Z_r4;
-pol commit r4;
-pol commit reg_write_X_r5;
-pol commit reg_write_Y_r5;
-pol commit reg_write_Z_r5;
-pol commit r5;
-pol commit reg_write_X_r6;
-pol commit reg_write_Y_r6;
-pol commit reg_write_Z_r6;
-pol commit r6;
-pol commit reg_write_X_r7;
-pol commit reg_write_Y_r7;
-pol commit reg_write_Z_r7;
-pol commit r7;
-pol commit reg_write_X_r8;
-pol commit reg_write_Y_r8;
-pol commit reg_write_Z_r8;
-pol commit r8;
-pol commit reg_write_X_r9;
-pol commit reg_write_Y_r9;
-pol commit reg_write_Z_r9;
-pol commit r9;
-pol commit reg_write_X_r10;
-pol commit reg_write_Y_r10;
-pol commit reg_write_Z_r10;
-pol commit r10;
-pol commit reg_write_X_r11;
-pol commit reg_write_Y_r11;
-pol commit reg_write_Z_r11;
-pol commit r11;
-pol commit instr_store;
-instr_store { addr, STEP, X } is m_is_write { m_addr, m_step, m_value };
-pol commit instr_load;
-instr_load { addr, STEP, X } is m_is_read { m_addr, m_step, m_value };
-pol commit instr_add;
-(instr_add * (X - (Y + Z))) = 0;
-pol commit instr_sub;
-(instr_sub * (X - (Y - Z))) = 0;
-pol commit instr_eq;
-(instr_eq * (Y - XIsZero)) = 0;
-pol commit instr_mul;
-(instr_mul * (X - (Y * Z))) = 0;
-pol commit instr_mov;
-(instr_mov * (X - Y)) = 0;
-pol commit instr_call;
-pol commit instr_call_param_l;
-pol commit instr_ret;
-pol commit instr_jump;
-pol commit instr_jump_param_l;
-pol commit instr_jumpi;
-pol commit instr_jumpi_param_l;
-pol instr_jumpi_pc_update = ((1 - XIsZero) * instr_jumpi_param_l);
-pol instr_jumpi_pc_update_1 = (XIsZero * (pc + 1));
-pol commit instr_jumpni;
-pol commit instr_jumpni_param_l;
-pol instr_jumpni_pc_update = (XIsZero * instr_jumpni_param_l);
-pol instr_jumpni_pc_update_1 = ((1 - XIsZero) * (pc + 1));
-pol commit instr__jump_to_operation;
-pol commit instr__reset;
-pol commit instr__loop;
-pol commit instr_return;
-pol commit X_const;
-pol commit X_read_free;
-pol commit read_X_addr;
-pol commit read_X_jump_ptr;
-pol commit read_X_r0;
-pol commit read_X_r1;
-pol commit read_X_r10;
-pol commit read_X_r11;
-pol commit read_X_r2;
-pol commit read_X_r3;
-pol commit read_X_r4;
-pol commit read_X_r5;
-pol commit read_X_r6;
-pol commit read_X_r7;
-pol commit read_X_r8;
-pol commit read_X_r9;
-pol commit read_X_tmp;
-pol commit read_X_pc;
-X = ((((((((((((((((((read_X_addr * addr) + (read_X_jump_ptr * jump_ptr)) + (read_X_r0 * r0)) + (read_X_r1 * r1)) + (read_X_r10 * r10)) + (read_X_r11 * r11)) + (read_X_r2 * r2)) + (read_X_r3 * r3)) + (read_X_r4 * r4)) + (read_X_r5 * r5)) + (read_X_r6 * r6)) + (read_X_r7 * r7)) + (read_X_r8 * r8)) + (read_X_r9 * r9)) + (read_X_tmp * tmp)) + (read_X_pc * pc)) + X_const) + (X_read_free * X_free_value));
-pol commit Y_const;
-pol commit Y_read_free;
-pol commit read_Y_addr;
-pol commit read_Y_jump_ptr;
-pol commit read_Y_r0;
-pol commit read_Y_r1;
-pol commit read_Y_r10;
-pol commit read_Y_r11;
-pol commit read_Y_r2;
-pol commit read_Y_r3;
-pol commit read_Y_r4;
-pol commit read_Y_r5;
-pol commit read_Y_r6;
-pol commit read_Y_r7;
-pol commit read_Y_r8;
-pol commit read_Y_r9;
-pol commit read_Y_tmp;
-pol commit read_Y_pc;
-Y = ((((((((((((((((((read_Y_addr * addr) + (read_Y_jump_ptr * jump_ptr)) + (read_Y_r0 * r0)) + (read_Y_r1 * r1)) + (read_Y_r10 * r10)) + (read_Y_r11 * r11)) + (read_Y_r2 * r2)) + (read_Y_r3 * r3)) + (read_Y_r4 * r4)) + (read_Y_r5 * r5)) + (read_Y_r6 * r6)) + (read_Y_r7 * r7)) + (read_Y_r8 * r8)) + (read_Y_r9 * r9)) + (read_Y_tmp * tmp)) + (read_Y_pc * pc)) + Y_const) + (Y_read_free * Y_free_value));
-pol commit Z_const;
-pol commit Z_read_free;
-pol commit read_Z_addr;
-pol commit read_Z_jump_ptr;
-pol commit read_Z_r0;
-pol commit read_Z_r1;
-pol commit read_Z_r10;
-pol commit read_Z_r11;
-pol commit read_Z_r2;
-pol commit read_Z_r3;
-pol commit read_Z_r4;
-pol commit read_Z_r5;
-pol commit read_Z_r6;
-pol commit read_Z_r7;
-pol commit read_Z_r8;
-pol commit read_Z_r9;
-pol commit read_Z_tmp;
-pol commit read_Z_pc;
-Z = ((((((((((((((((((read_Z_addr * addr) + (read_Z_jump_ptr * jump_ptr)) + (read_Z_r0 * r0)) + (read_Z_r1 * r1)) + (read_Z_r10 * r10)) + (read_Z_r11 * r11)) + (read_Z_r2 * r2)) + (read_Z_r3 * r3)) + (read_Z_r4 * r4)) + (read_Z_r5 * r5)) + (read_Z_r6 * r6)) + (read_Z_r7 * r7)) + (read_Z_r8 * r8)) + (read_Z_r9 * r9)) + (read_Z_tmp * tmp)) + (read_Z_pc * pc)) + Z_const) + (Z_read_free * Z_free_value));
-pol constant first_step = [1] + [0]*;
-addr' = (((((reg_write_X_addr * X) + (reg_write_Y_addr * Y)) + (reg_write_Z_addr * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_addr + reg_write_Y_addr) + reg_write_Z_addr) + instr__reset)) * addr));
-jump_ptr' = ((((((reg_write_X_jump_ptr * X) + (reg_write_Y_jump_ptr * Y)) + (reg_write_Z_jump_ptr * Z)) + (instr_call * (pc + 1))) + (instr__reset * 0)) + ((1 - ((((reg_write_X_jump_ptr + reg_write_Y_jump_ptr) + reg_write_Z_jump_ptr) + instr_call) + instr__reset)) * jump_ptr));
-pol pc_update = (((((((((instr_call * instr_call_param_l) + (instr_ret * jump_ptr)) + (instr_jump * instr_jump_param_l)) + (instr_jumpi * (instr_jumpi_pc_update + instr_jumpi_pc_update_1))) + (instr_jumpni * (instr_jumpni_pc_update + instr_jumpni_pc_update_1))) + (instr__jump_to_operation * _operation_id)) + (instr__loop * pc)) + (instr_return * 0)) + ((1 - (((((((instr_call + instr_ret) + instr_jump) + instr_jumpi) + instr_jumpni) + instr__jump_to_operation) + instr__loop) + instr_return)) * (pc + 1)));
-pc' = ((1 - first_step') * pc_update);
-r0' = (((((reg_write_X_r0 * X) + (reg_write_Y_r0 * Y)) + (reg_write_Z_r0 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r0 + reg_write_Y_r0) + reg_write_Z_r0) + instr__reset)) * r0));
-r1' = (((((reg_write_X_r1 * X) + (reg_write_Y_r1 * Y)) + (reg_write_Z_r1 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r1 + reg_write_Y_r1) + reg_write_Z_r1) + instr__reset)) * r1));
-r10' = (((((reg_write_X_r10 * X) + (reg_write_Y_r10 * Y)) + (reg_write_Z_r10 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r10 + reg_write_Y_r10) + reg_write_Z_r10) + instr__reset)) * r10));
-r11' = (((((reg_write_X_r11 * X) + (reg_write_Y_r11 * Y)) + (reg_write_Z_r11 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r11 + reg_write_Y_r11) + reg_write_Z_r11) + instr__reset)) * r11));
-r2' = (((((reg_write_X_r2 * X) + (reg_write_Y_r2 * Y)) + (reg_write_Z_r2 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r2 + reg_write_Y_r2) + reg_write_Z_r2) + instr__reset)) * r2));
-r3' = (((((reg_write_X_r3 * X) + (reg_write_Y_r3 * Y)) + (reg_write_Z_r3 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r3 + reg_write_Y_r3) + reg_write_Z_r3) + instr__reset)) * r3));
-r4' = (((((reg_write_X_r4 * X) + (reg_write_Y_r4 * Y)) + (reg_write_Z_r4 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r4 + reg_write_Y_r4) + reg_write_Z_r4) + instr__reset)) * r4));
-r5' = (((((reg_write_X_r5 * X) + (reg_write_Y_r5 * Y)) + (reg_write_Z_r5 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r5 + reg_write_Y_r5) + reg_write_Z_r5) + instr__reset)) * r5));
-r6' = (((((reg_write_X_r6 * X) + (reg_write_Y_r6 * Y)) + (reg_write_Z_r6 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r6 + reg_write_Y_r6) + reg_write_Z_r6) + instr__reset)) * r6));
-r7' = (((((reg_write_X_r7 * X) + (reg_write_Y_r7 * Y)) + (reg_write_Z_r7 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r7 + reg_write_Y_r7) + reg_write_Z_r7) + instr__reset)) * r7));
-r8' = (((((reg_write_X_r8 * X) + (reg_write_Y_r8 * Y)) + (reg_write_Z_r8 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r8 + reg_write_Y_r8) + reg_write_Z_r8) + instr__reset)) * r8));
-r9' = (((((reg_write_X_r9 * X) + (reg_write_Y_r9 * Y)) + (reg_write_Z_r9 * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_r9 + reg_write_Y_r9) + reg_write_Z_r9) + instr__reset)) * r9));
-tmp' = (((((reg_write_X_tmp * X) + (reg_write_Y_tmp * Y)) + (reg_write_Z_tmp * Z)) + (instr__reset * 0)) + ((1 - (((reg_write_X_tmp + reg_write_Y_tmp) + reg_write_Z_tmp) + instr__reset)) * tmp));
-pol constant p_line = [0, 1, 2, 3, 4, 5, 6, 7, 8] + [8]*;
-pol commit X_free_value(i) query match pc {  };
-pol commit Y_free_value(i) query match pc {  };
-pol commit Z_free_value(i) query match pc {  };
-pol constant p_X_const = [0, 0, 0, 0, 0, 0, 3, 0, 0] + [0]*;
-pol constant p_X_read_free = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_Y_const = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_Y_read_free = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_Z_const = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_Z_read_free = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr__jump_to_operation = [0, 1, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr__loop = [0, 0, 0, 0, 0, 0, 0, 0, 1] + [1]*;
-pol constant p_instr__reset = [1, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_add = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_call = [0, 0, 0, 0, 1, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_call_param_l = [0, 0, 0, 0, 6, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_eq = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_jump = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_jump_param_l = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_jumpi = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_jumpi_param_l = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_jumpni = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_jumpni_param_l = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_load = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_mov = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_mul = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_ret = [0, 0, 0, 0, 0, 0, 0, 1, 0] + [0]*;
-pol constant p_instr_return = [0, 0, 0, 0, 0, 1, 0, 0, 0] + [0]*;
-pol constant p_instr_store = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_sub = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_addr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_jump_ptr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_pc = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r0 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r1 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r10 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r11 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r2 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r3 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r4 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r5 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r6 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r7 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r8 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_r9 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_X_tmp = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_addr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_jump_ptr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_pc = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r0 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r1 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r10 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r11 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r2 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r3 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r4 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r5 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r6 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r7 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r8 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_r9 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_tmp = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_addr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_jump_ptr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_pc = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r0 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r1 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r10 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r11 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r2 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r3 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r4 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r5 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r6 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r7 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r8 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_r9 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Z_tmp = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_addr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_jump_ptr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r0 = [0, 0, 1, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r1 = [0, 0, 0, 1, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r10 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r11 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r2 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r3 = [0, 0, 0, 0, 0, 0, 1, 0, 0] + [0]*;
-pol constant p_reg_write_X_r4 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r5 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r6 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r7 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r8 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_r9 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_tmp = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_addr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_jump_ptr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r0 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r1 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r10 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r11 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r2 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r3 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r4 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r5 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r6 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r7 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r8 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_r9 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_tmp = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_addr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_jump_ptr = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r0 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r1 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r10 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r11 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r2 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r3 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r4 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r5 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r6 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r7 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r8 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_r9 = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Z_tmp = [0, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-{ pc, reg_write_X_jump_ptr, reg_write_Y_jump_ptr, reg_write_Z_jump_ptr, reg_write_X_addr, reg_write_Y_addr, reg_write_Z_addr, reg_write_X_tmp, reg_write_Y_tmp, reg_write_Z_tmp, reg_write_X_r0, reg_write_Y_r0, reg_write_Z_r0, reg_write_X_r1, reg_write_Y_r1, reg_write_Z_r1, reg_write_X_r2, reg_write_Y_r2, reg_write_Z_r2, reg_write_X_r3, reg_write_Y_r3, reg_write_Z_r3, reg_write_X_r4, reg_write_Y_r4, reg_write_Z_r4, reg_write_X_r5, reg_write_Y_r5, reg_write_Z_r5, reg_write_X_r6, reg_write_Y_r6, reg_write_Z_r6, reg_write_X_r7, reg_write_Y_r7, reg_write_Z_r7, reg_write_X_r8, reg_write_Y_r8, reg_write_Z_r8, reg_write_X_r9, reg_write_Y_r9, reg_write_Z_r9, reg_write_X_r10, reg_write_Y_r10, reg_write_Z_r10, reg_write_X_r11, reg_write_Y_r11, reg_write_Z_r11, instr_store, instr_load, instr_add, instr_sub, instr_eq, instr_mul, instr_mov, instr_call, instr_call_param_l, instr_ret, instr_jump, instr_jump_param_l, instr_jumpi, instr_jumpi_param_l, instr_jumpni, instr_jumpni_param_l, instr__jump_to_operation, instr__reset, instr__loop, instr_return, X_const, X_read_free, read_X_addr, read_X_jump_ptr, read_X_r0, read_X_r1, read_X_r10, read_X_r11, read_X_r2, read_X_r3, read_X_r4, read_X_r5, read_X_r6, read_X_r7, read_X_r8, read_X_r9, read_X_tmp, read_X_pc, Y_const, Y_read_free, read_Y_addr, read_Y_jump_ptr, read_Y_r0, read_Y_r1, read_Y_r10, read_Y_r11, read_Y_r2, read_Y_r3, read_Y_r4, read_Y_r5, read_Y_r6, read_Y_r7, read_Y_r8, read_Y_r9, read_Y_tmp, read_Y_pc, Z_const, Z_read_free, read_Z_addr, read_Z_jump_ptr, read_Z_r0, read_Z_r1, read_Z_r10, read_Z_r11, read_Z_r2, read_Z_r3, read_Z_r4, read_Z_r5, read_Z_r6, read_Z_r7, read_Z_r8, read_Z_r9, read_Z_tmp, read_Z_pc } in { p_line, p_reg_write_X_jump_ptr, p_reg_write_Y_jump_ptr, p_reg_write_Z_jump_ptr, p_reg_write_X_addr, p_reg_write_Y_addr, p_reg_write_Z_addr, p_reg_write_X_tmp, p_reg_write_Y_tmp, p_reg_write_Z_tmp, p_reg_write_X_r0, p_reg_write_Y_r0, p_reg_write_Z_r0, p_reg_write_X_r1, p_reg_write_Y_r1, p_reg_write_Z_r1, p_reg_write_X_r2, p_reg_write_Y_r2, p_reg_write_Z_r2, p_reg_write_X_r3, p_reg_write_Y_r3, p_reg_write_Z_r3, p_reg_write_X_r4, p_reg_write_Y_r4, p_reg_write_Z_r4, p_reg_write_X_r5, p_reg_write_Y_r5, p_reg_write_Z_r5, p_reg_write_X_r6, p_reg_write_Y_r6, p_reg_write_Z_r6, p_reg_write_X_r7, p_reg_write_Y_r7, p_reg_write_Z_r7, p_reg_write_X_r8, p_reg_write_Y_r8, p_reg_write_Z_r8, p_reg_write_X_r9, p_reg_write_Y_r9, p_reg_write_Z_r9, p_reg_write_X_r10, p_reg_write_Y_r10, p_reg_write_Z_r10, p_reg_write_X_r11, p_reg_write_Y_r11, p_reg_write_Z_r11, p_instr_store, p_instr_load, p_instr_add, p_instr_sub, p_instr_eq, p_instr_mul, p_instr_mov, p_instr_call, p_instr_call_param_l, p_instr_ret, p_instr_jump, p_instr_jump_param_l, p_instr_jumpi, p_instr_jumpi_param_l, p_instr_jumpni, p_instr_jumpni_param_l, p_instr__jump_to_operation, p_instr__reset, p_instr__loop, p_instr_return, p_X_const, p_X_read_free, p_read_X_addr, p_read_X_jump_ptr, p_read_X_r0, p_read_X_r1, p_read_X_r10, p_read_X_r11, p_read_X_r2, p_read_X_r3, p_read_X_r4, p_read_X_r5, p_read_X_r6, p_read_X_r7, p_read_X_r8, p_read_X_r9, p_read_X_tmp, p_read_X_pc, p_Y_const, p_Y_read_free, p_read_Y_addr, p_read_Y_jump_ptr, p_read_Y_r0, p_read_Y_r1, p_read_Y_r10, p_read_Y_r11, p_read_Y_r2, p_read_Y_r3, p_read_Y_r4, p_read_Y_r5, p_read_Y_r6, p_read_Y_r7, p_read_Y_r8, p_read_Y_r9, p_read_Y_tmp, p_read_Y_pc, p_Z_const, p_Z_read_free, p_read_Z_addr, p_read_Z_jump_ptr, p_read_Z_r0, p_read_Z_r1, p_read_Z_r10, p_read_Z_r11, p_read_Z_r2, p_read_Z_r3, p_read_Z_r4, p_read_Z_r5, p_read_Z_r6, p_read_Z_r7, p_read_Z_r8, p_read_Z_r9, p_read_Z_tmp, p_read_Z_pc };
-pol constant _block_enforcer_last_step = [0]* + [1];
-pol commit _operation_id_no_change;
-_operation_id_no_change = ((1 - _block_enforcer_last_step) * (1 - instr_return));
-(_operation_id_no_change * (_operation_id' - _operation_id)) = 0;
-pol constant _linker_first_step = [1] + [0]*;
-(_linker_first_step * (_operation_id - 2)) = 0;
diff --git a/brillig_out_opt.pil b/brillig_out_opt.pil
deleted file mode 100644
index f958a18614..0000000000
--- a/brillig_out_opt.pil
+++ /dev/null
@@ -1,116 +0,0 @@
-namespace main(256);
-    col witness XInv;
-    col witness XIsZero;
-    main.XIsZero = (1 - (main.X * main.XInv));
-    (main.XIsZero * main.X) = 0;
-    (main.XIsZero * (1 - main.XIsZero)) = 0;
-    col witness m_addr;
-    col witness m_step;
-    col witness m_change;
-    col witness m_value;
-    col witness m_op;
-    col witness m_is_write;
-    col witness m_is_read;
-    col fixed POSITIVE(i) { (i + 1) };
-    col fixed FIRST = [1] + [0]*;
-    col fixed LAST(i) { main.FIRST((i + 1)) };
-    col fixed STEP(i) { i };
-    (main.m_change * (1 - main.m_change)) = 0;
-    ((main.m_addr' - main.m_addr) * (1 - main.m_change)) = 0;
-    (1 - main.LAST) { ((main.m_change * (main.m_addr' - main.m_addr)) + ((1 - main.m_change) * (main.m_step' - main.m_step))) } in { main.POSITIVE };
-    (main.m_op * (1 - main.m_op)) = 0;
-    (main.m_is_write * (1 - main.m_is_write)) = 0;
-    (main.m_is_read * (1 - main.m_is_read)) = 0;
-    (main.m_is_write * (1 - main.m_op)) = 0;
-    (main.m_is_read * (1 - main.m_op)) = 0;
-    (main.m_is_read * main.m_is_write) = 0;
-    (((1 - main.m_is_write') * (1 - main.m_change)) * (main.m_value' - main.m_value)) = 0;
-    (((1 - main.m_is_write') * main.m_change) * main.m_value') = 0;
-    col witness _operation_id;
-    col witness _sigma;
-    col fixed _romgen_first_step = [1] + [0]*;
-    main._sigma' = ((1 - main._romgen_first_step') * (main._sigma + main.instr_return));
-    (main._sigma * (main._operation_id - 8)) = 0;
-    col witness pc;
-    col witness X;
-    col witness Y;
-    col witness Z;
-    col witness jump_ptr;
-    col witness addr;
-    col witness tmp;
-    col witness reg_write_X_r0;
-    col witness r0;
-    col witness reg_write_X_r1;
-    col witness r1;
-    col witness r2;
-    col witness reg_write_X_r3;
-    col witness r3;
-    col witness r4;
-    col witness r5;
-    col witness r6;
-    col witness r7;
-    col witness r8;
-    col witness r9;
-    col witness r10;
-    col witness r11;
-    0 { main.addr, main.STEP, main.X } is main.m_is_write { main.m_addr, main.m_step, main.m_value };
-    0 { main.addr, main.STEP, main.X } is main.m_is_read { main.m_addr, main.m_step, main.m_value };
-    col witness instr_call;
-    col witness instr_call_param_l;
-    col witness instr_ret;
-    col instr_jumpi_pc_update = 0;
-    col instr_jumpi_pc_update_1 = (main.XIsZero * (main.pc + 1));
-    col instr_jumpni_pc_update = 0;
-    col instr_jumpni_pc_update_1 = ((1 - main.XIsZero) * (main.pc + 1));
-    col witness instr__jump_to_operation;
-    col witness instr__reset;
-    col witness instr__loop;
-    col witness instr_return;
-    col witness X_const;
-    main.X = main.X_const;
-    main.Y = 0;
-    main.Z = 0;
-    col fixed first_step = [1] + [0]*;
-    main.addr' = ((1 - main.instr__reset) * main.addr);
-    main.jump_ptr' = ((main.instr_call * (main.pc + 1)) + ((1 - (main.instr_call + main.instr__reset)) * main.jump_ptr));
-    col pc_update = (((((main.instr_call * main.instr_call_param_l) + (main.instr_ret * main.jump_ptr)) + (main.instr__jump_to_operation * main._operation_id)) + (main.instr__loop * main.pc)) + ((1 - ((((main.instr_call + main.instr_ret) + main.instr__jump_to_operation) + main.instr__loop) + main.instr_return)) * (main.pc + 1)));
-    main.pc' = ((1 - main.first_step') * main.pc_update);
-    main.r0' = ((main.reg_write_X_r0 * main.X) + ((1 - (main.reg_write_X_r0 + main.instr__reset)) * main.r0));
-    main.r1' = ((main.reg_write_X_r1 * main.X) + ((1 - (main.reg_write_X_r1 + main.instr__reset)) * main.r1));
-    main.r10' = ((1 - main.instr__reset) * main.r10);
-    main.r11' = ((1 - main.instr__reset) * main.r11);
-    main.r2' = ((1 - main.instr__reset) * main.r2);
-    main.r3' = ((main.reg_write_X_r3 * main.X) + ((1 - (main.reg_write_X_r3 + main.instr__reset)) * main.r3));
-    main.r4' = ((1 - main.instr__reset) * main.r4);
-    main.r5' = ((1 - main.instr__reset) * main.r5);
-    main.r6' = ((1 - main.instr__reset) * main.r6);
-    main.r7' = ((1 - main.instr__reset) * main.r7);
-    main.r8' = ((1 - main.instr__reset) * main.r8);
-    main.r9' = ((1 - main.instr__reset) * main.r9);
-    main.tmp' = ((1 - main.instr__reset) * main.tmp);
-    col fixed p_line = [0, 1, 2, 3, 4, 5, 6, 7, 8] + [8]*;
-    col witness X_free_value(i) query match main.pc {  };
-    col witness Y_free_value(i) query match main.pc {  };
-    col witness Z_free_value(i) query match main.pc {  };
-    col fixed p_X_const = [0, 0, 0, 0, 0, 0, 3, 0, 0] + [0]*;
-    col fixed p_instr__jump_to_operation = [0, 1, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-    col fixed p_instr__loop = [0, 0, 0, 0, 0, 0, 0, 0, 1] + [1]*;
-    col fixed p_instr__reset = [1, 0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-    col fixed p_instr_call = [0, 0, 0, 0, 1, 0, 0, 0, 0] + [0]*;
-    col fixed p_instr_call_param_l = [0, 0, 0, 0, 6, 0, 0, 0, 0] + [0]*;
-    col fixed p_instr_ret = [0, 0, 0, 0, 0, 0, 0, 1, 0] + [0]*;
-    col fixed p_instr_return = [0, 0, 0, 0, 0, 1, 0, 0, 0] + [0]*;
-    col fixed p_reg_write_X_r0 = [0, 0, 1, 0, 0, 0, 0, 0, 0] + [0]*;
-    col fixed p_reg_write_X_r1 = [0, 0, 0, 1, 0, 0, 0, 0, 0] + [0]*;
-    col fixed p_reg_write_X_r3 = [0, 0, 0, 0, 0, 0, 1, 0, 0] + [0]*;
-    { main.pc, main.reg_write_X_r0, main.reg_write_X_r1, main.reg_write_X_r3, main.instr_call, main.instr_call_param_l, main.instr_ret, main.instr__jump_to_operation, main.instr__reset, main.instr__loop, main.instr_return, main.X_const } in { main.p_line, main.p_reg_write_X_r0, main.p_reg_write_X_r1, main.p_reg_write_X_r3, main.p_instr_call, main.p_instr_call_param_l, main.p_instr_ret, main.p_instr__jump_to_operation, main.p_instr__reset, main.p_instr__loop, main.p_instr_return, main.p_X_const };
-    col fixed _block_enforcer_last_step = [0]* + [1];
-    col witness _operation_id_no_change;
-    main._operation_id_no_change = ((1 - main._block_enforcer_last_step) * (1 - main.instr_return));
-    (main._operation_id_no_change * (main._operation_id' - main._operation_id)) = 0;
-    col fixed _linker_first_step = [1] + [0]*;
-    (main._linker_first_step * (main._operation_id - 2)) = 0;
-    { main.pc, main.reg_write_X_r0, main.reg_write_X_r1, main.reg_write_X_r3, main.instr_call, main.instr_call_param_l, main.instr_ret, main.instr__jump_to_operation, main.instr__reset, main.instr__loop, main.instr_return, main.X_const } in { main.p_line, main.p_reg_write_X_r0, main.p_reg_write_X_r1, main.p_reg_write_X_r3, main.p_instr_call, main.p_instr_call_param_l, main.p_instr_ret, main.p_instr__jump_to_operation, main.p_instr__reset, main.p_instr__loop, main.p_instr_return, main.p_X_const };
-    main._operation_id_no_change = ((1 - main._block_enforcer_last_step) * (1 - main.instr_return));
-    (main._operation_id_no_change * (main._operation_id' - main._operation_id)) = 0;
-    (main._linker_first_step * (main._operation_id - 2)) = 0;
diff --git a/commits.bin b/commits.bin
deleted file mode 100644
index 94dcd57ef2..0000000000
Binary files a/commits.bin and /dev/null differ
diff --git a/constants.bin b/constants.bin
deleted file mode 100644
index 9be6af775f..0000000000
Binary files a/constants.bin and /dev/null differ
diff --git a/constraints.json b/constraints.json
deleted file mode 100644
index aced0c9d26..0000000000
--- a/constraints.json
+++ /dev/null
@@ -1 +0,0 @@
-{"nCommitments":61,"nQ":17,"nIm":5,"nConstants":20,"publics":[],"references":{"main.FIRST":{"type":"constP","id":1,"polDeg":256,"isArray":false},"main.LAST":{"type":"constP","id":2,"polDeg":256,"isArray":false},"main.POSITIVE":{"type":"constP","id":0,"polDeg":256,"isArray":false},"main.STEP":{"type":"constP","id":3,"polDeg":256,"isArray":false},"main.X":{"type":"cmP","id":12,"polDeg":256,"isArray":false},"main.XInv":{"type":"cmP","id":0,"polDeg":256,"isArray":false},"main.XIsZero":{"type":"cmP","id":1,"polDeg":256,"isArray":false},"main.X_const":{"type":"cmP","id":40,"polDeg":256,"isArray":false},"main.X_free_value":{"type":"cmP","id":41,"polDeg":256,"isArray":false},"main.Y":{"type":"cmP","id":13,"polDeg":256,"isArray":false},"main.Y_free_value":{"type":"cmP","id":42,"polDeg":256,"isArray":false},"main.Z":{"type":"cmP","id":14,"polDeg":256,"isArray":false},"main.Z_free_value":{"type":"cmP","id":43,"polDeg":256,"isArray":false},"main._block_enforcer_last_step":{"type":"constP","id":18,"polDeg":256,"isArray":false},"main._linker_first_step":{"type":"constP","id":19,"polDeg":256,"isArray":false},"main._operation_id":{"type":"cmP","id":9,"polDeg":256,"isArray":false},"main._operation_id_no_change":{"type":"cmP","id":44,"polDeg":256,"isArray":false},"main._romgen_first_step":{"type":"constP","id":4,"polDeg":256,"isArray":false},"main._sigma":{"type":"cmP","id":10,"polDeg":256,"isArray":false},"main.addr":{"type":"cmP","id":16,"polDeg":256,"isArray":false},"main.first_step":{"type":"constP","id":5,"polDeg":256,"isArray":false},"main.instr__jump_to_operation":{"type":"cmP","id":36,"polDeg":256,"isArray":false},"main.instr__loop":{"type":"cmP","id":38,"polDeg":256,"isArray":false},"main.instr__reset":{"type":"cmP","id":37,"polDeg":256,"isArray":false},"main.instr_call":{"type":"cmP","id":33,"polDeg":256,"isArray":false},"main.instr_call_param_l":{"type":"cmP","id":34,"polDeg":256,"isArray":false},"main.instr_jumpi_pc_update":{"type":"imP","id":34,"polDeg":256,"isArray":false},"main.instr_jumpi_pc_update_1":{"type":"imP","id":35,"polDeg":256,"isArray":false},"main.instr_jumpni_pc_update":{"type":"imP","id":36,"polDeg":256,"isArray":false},"main.instr_jumpni_pc_update_1":{"type":"imP","id":37,"polDeg":256,"isArray":false},"main.instr_ret":{"type":"cmP","id":35,"polDeg":256,"isArray":false},"main.instr_return":{"type":"cmP","id":39,"polDeg":256,"isArray":false},"main.jump_ptr":{"type":"cmP","id":15,"polDeg":256,"isArray":false},"main.m_addr":{"type":"cmP","id":2,"polDeg":256,"isArray":false},"main.m_change":{"type":"cmP","id":4,"polDeg":256,"isArray":false},"main.m_is_read":{"type":"cmP","id":8,"polDeg":256,"isArray":false},"main.m_is_write":{"type":"cmP","id":7,"polDeg":256,"isArray":false},"main.m_op":{"type":"cmP","id":6,"polDeg":256,"isArray":false},"main.m_step":{"type":"cmP","id":3,"polDeg":256,"isArray":false},"main.m_value":{"type":"cmP","id":5,"polDeg":256,"isArray":false},"main.p_X_const":{"type":"constP","id":7,"polDeg":256,"isArray":false},"main.p_instr__jump_to_operation":{"type":"constP","id":8,"polDeg":256,"isArray":false},"main.p_instr__loop":{"type":"constP","id":9,"polDeg":256,"isArray":false},"main.p_instr__reset":{"type":"constP","id":10,"polDeg":256,"isArray":false},"main.p_instr_call":{"type":"constP","id":11,"polDeg":256,"isArray":false},"main.p_instr_call_param_l":{"type":"constP","id":12,"polDeg":256,"isArray":false},"main.p_instr_ret":{"type":"constP","id":13,"polDeg":256,"isArray":false},"main.p_instr_return":{"type":"constP","id":14,"polDeg":256,"isArray":false},"main.p_line":{"type":"constP","id":6,"polDeg":256,"isArray":false},"main.p_reg_write_X_r0":{"type":"constP","id":15,"polDeg":256,"isArray":false},"main.p_reg_write_X_r1":{"type":"constP","id":16,"polDeg":256,"isArray":false},"main.p_reg_write_X_r3":{"type":"constP","id":17,"polDeg":256,"isArray":false},"main.pc":{"type":"cmP","id":11,"polDeg":256,"isArray":false},"main.pc_update":{"type":"imP","id":43,"polDeg":256,"isArray":false},"main.r0":{"type":"cmP","id":19,"polDeg":256,"isArray":false},"main.r1":{"type":"cmP","id":21,"polDeg":256,"isArray":false},"main.r10":{"type":"cmP","id":31,"polDeg":256,"isArray":false},"main.r11":{"type":"cmP","id":32,"polDeg":256,"isArray":false},"main.r2":{"type":"cmP","id":22,"polDeg":256,"isArray":false},"main.r3":{"type":"cmP","id":24,"polDeg":256,"isArray":false},"main.r4":{"type":"cmP","id":25,"polDeg":256,"isArray":false},"main.r5":{"type":"cmP","id":26,"polDeg":256,"isArray":false},"main.r6":{"type":"cmP","id":27,"polDeg":256,"isArray":false},"main.r7":{"type":"cmP","id":28,"polDeg":256,"isArray":false},"main.r8":{"type":"cmP","id":29,"polDeg":256,"isArray":false},"main.r9":{"type":"cmP","id":30,"polDeg":256,"isArray":false},"main.reg_write_X_r0":{"type":"cmP","id":18,"polDeg":256,"isArray":false},"main.reg_write_X_r1":{"type":"cmP","id":20,"polDeg":256,"isArray":false},"main.reg_write_X_r3":{"type":"cmP","id":23,"polDeg":256,"isArray":false},"main.tmp":{"type":"cmP","id":17,"polDeg":256,"isArray":false}},"expressions":[{"op":"sub","deg":2,"values":[{"op":"cm","deg":1,"id":1,"next":false},{"op":"sub","deg":2,"values":[{"op":"number","deg":0,"value":"1"},{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":12,"next":false},{"op":"cm","deg":1,"id":0,"next":false}]}]}]},{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":1,"next":false},{"op":"cm","deg":1,"id":12,"next":false}]},{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":1,"next":false},{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":1,"next":false}]}]},{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":4,"next":false},{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":4,"next":false}]}]},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"cm","deg":1,"id":2,"next":true},{"op":"cm","deg":1,"id":2,"next":false}]},{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":4,"next":false}]}]},{"op":"add","deg":1,"values":[{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":4,"next":false},{"op":"sub","deg":1,"values":[{"op":"cm","deg":1,"id":2,"next":true},{"op":"cm","deg":1,"id":2,"next":false}]}]},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":4,"next":false}]},{"op":"sub","deg":1,"values":[{"op":"cm","deg":1,"id":3,"next":true},{"op":"cm","deg":1,"id":3,"next":false}]}]}],"idQ":0},{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"const","deg":1,"id":2,"next":false}]},{"op":"const","deg":1,"id":0,"next":false},{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":6,"next":false},{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":6,"next":false}]}]},{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":7,"next":false},{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":7,"next":false}]}]},{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":8,"next":false},{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":8,"next":false}]}]},{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":7,"next":false},{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":6,"next":false}]}]},{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":8,"next":false},{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":6,"next":false}]}]},{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":8,"next":false},{"op":"cm","deg":1,"id":7,"next":false}]},{"op":"mul","deg":1,"values":[{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":7,"next":true}]},{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":4,"next":false}]}]},{"op":"sub","deg":1,"values":[{"op":"cm","deg":1,"id":5,"next":true},{"op":"cm","deg":1,"id":5,"next":false}]}],"idQ":1},{"op":"mul","deg":1,"values":[{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":7,"next":true}]},{"op":"cm","deg":1,"id":4,"next":false}]},{"op":"cm","deg":1,"id":5,"next":true}],"idQ":2},{"op":"sub","deg":2,"values":[{"op":"cm","deg":1,"id":10,"next":true},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"const","deg":1,"id":4,"next":true}]},{"op":"add","deg":1,"values":[{"op":"cm","deg":1,"id":10,"next":false},{"op":"cm","deg":1,"id":39,"next":false}]}]}]},{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":10,"next":false},{"op":"sub","deg":1,"values":[{"op":"cm","deg":1,"id":9,"next":false},{"op":"number","deg":0,"value":"8"}]}]},{"op":"cm","deg":1,"id":16,"next":false},{"op":"const","deg":1,"id":3,"next":false},{"op":"cm","deg":1,"id":12,"next":false},{"op":"number","deg":0,"value":"0"},{"op":"cm","deg":1,"id":2,"next":false},{"op":"cm","deg":1,"id":3,"next":false},{"op":"cm","deg":1,"id":5,"next":false},{"op":"cm","deg":1,"id":7,"next":false},{"op":"cm","deg":1,"id":16,"next":false},{"op":"const","deg":1,"id":3,"next":false},{"op":"cm","deg":1,"id":12,"next":false},{"op":"number","deg":0,"value":"0"},{"op":"cm","deg":1,"id":2,"next":false},{"op":"cm","deg":1,"id":3,"next":false},{"op":"cm","deg":1,"id":5,"next":false},{"op":"cm","deg":1,"id":8,"next":false},{"op":"number","deg":0,"value":"0"},{"op":"mul","deg":1,"values":[{"op":"cm","deg":1,"id":1,"next":false},{"op":"add","deg":1,"values":[{"op":"cm","deg":1,"id":11,"next":false},{"op":"number","deg":0,"value":"1"}]}],"idQ":3},{"op":"number","deg":0,"value":"0"},{"op":"mul","deg":1,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":1,"next":false}]},{"op":"add","deg":1,"values":[{"op":"cm","deg":1,"id":11,"next":false},{"op":"number","deg":0,"value":"1"}]}],"idQ":4},{"op":"sub","deg":1,"values":[{"op":"cm","deg":1,"id":12,"next":false},{"op":"cm","deg":1,"id":40,"next":false}]},{"op":"cm","deg":1,"id":13,"next":false},{"op":"cm","deg":1,"id":14,"next":false},{"op":"sub","deg":2,"values":[{"op":"cm","deg":1,"id":16,"next":true},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":37,"next":false}]},{"op":"cm","deg":1,"id":16,"next":false}]}]},{"op":"sub","deg":2,"values":[{"op":"cm","deg":1,"id":15,"next":true},{"op":"add","deg":2,"values":[{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":33,"next":false},{"op":"add","deg":1,"values":[{"op":"cm","deg":1,"id":11,"next":false},{"op":"number","deg":0,"value":"1"}]}]},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"add","deg":1,"values":[{"op":"cm","deg":1,"id":33,"next":false},{"op":"cm","deg":1,"id":37,"next":false}]}]},{"op":"cm","deg":1,"id":15,"next":false}]}]}]},{"op":"add","deg":1,"values":[{"op":"add","deg":2,"values":[{"op":"add","deg":2,"values":[{"op":"add","deg":2,"values":[{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":33,"next":false},{"op":"cm","deg":1,"id":34,"next":false}]},{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":35,"next":false},{"op":"cm","deg":1,"id":15,"next":false}]}]},{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":36,"next":false},{"op":"cm","deg":1,"id":9,"next":false}]}]},{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":38,"next":false},{"op":"cm","deg":1,"id":11,"next":false}]}]},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"add","deg":1,"values":[{"op":"add","deg":1,"values":[{"op":"add","deg":1,"values":[{"op":"add","deg":1,"values":[{"op":"cm","deg":1,"id":33,"next":false},{"op":"cm","deg":1,"id":35,"next":false}]},{"op":"cm","deg":1,"id":36,"next":false}]},{"op":"cm","deg":1,"id":38,"next":false}]},{"op":"cm","deg":1,"id":39,"next":false}]}]},{"op":"add","deg":1,"values":[{"op":"cm","deg":1,"id":11,"next":false},{"op":"number","deg":0,"value":"1"}]}]}],"idQ":5},{"op":"sub","deg":2,"values":[{"op":"cm","deg":1,"id":11,"next":true},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"const","deg":1,"id":5,"next":true}]},{"op":"exp","deg":1,"id":43,"next":false}]}]},{"op":"sub","deg":2,"values":[{"op":"cm","deg":1,"id":19,"next":true},{"op":"add","deg":2,"values":[{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":18,"next":false},{"op":"cm","deg":1,"id":12,"next":false}]},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"add","deg":1,"values":[{"op":"cm","deg":1,"id":18,"next":false},{"op":"cm","deg":1,"id":37,"next":false}]}]},{"op":"cm","deg":1,"id":19,"next":false}]}]}]},{"op":"sub","deg":2,"values":[{"op":"cm","deg":1,"id":21,"next":true},{"op":"add","deg":2,"values":[{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":20,"next":false},{"op":"cm","deg":1,"id":12,"next":false}]},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"add","deg":1,"values":[{"op":"cm","deg":1,"id":20,"next":false},{"op":"cm","deg":1,"id":37,"next":false}]}]},{"op":"cm","deg":1,"id":21,"next":false}]}]}]},{"op":"sub","deg":2,"values":[{"op":"cm","deg":1,"id":31,"next":true},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":37,"next":false}]},{"op":"cm","deg":1,"id":31,"next":false}]}]},{"op":"sub","deg":2,"values":[{"op":"cm","deg":1,"id":32,"next":true},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":37,"next":false}]},{"op":"cm","deg":1,"id":32,"next":false}]}]},{"op":"sub","deg":2,"values":[{"op":"cm","deg":1,"id":22,"next":true},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":37,"next":false}]},{"op":"cm","deg":1,"id":22,"next":false}]}]},{"op":"sub","deg":2,"values":[{"op":"cm","deg":1,"id":24,"next":true},{"op":"add","deg":2,"values":[{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":23,"next":false},{"op":"cm","deg":1,"id":12,"next":false}]},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"add","deg":1,"values":[{"op":"cm","deg":1,"id":23,"next":false},{"op":"cm","deg":1,"id":37,"next":false}]}]},{"op":"cm","deg":1,"id":24,"next":false}]}]}]},{"op":"sub","deg":2,"values":[{"op":"cm","deg":1,"id":25,"next":true},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":37,"next":false}]},{"op":"cm","deg":1,"id":25,"next":false}]}]},{"op":"sub","deg":2,"values":[{"op":"cm","deg":1,"id":26,"next":true},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":37,"next":false}]},{"op":"cm","deg":1,"id":26,"next":false}]}]},{"op":"sub","deg":2,"values":[{"op":"cm","deg":1,"id":27,"next":true},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":37,"next":false}]},{"op":"cm","deg":1,"id":27,"next":false}]}]},{"op":"sub","deg":2,"values":[{"op":"cm","deg":1,"id":28,"next":true},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":37,"next":false}]},{"op":"cm","deg":1,"id":28,"next":false}]}]},{"op":"sub","deg":2,"values":[{"op":"cm","deg":1,"id":29,"next":true},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":37,"next":false}]},{"op":"cm","deg":1,"id":29,"next":false}]}]},{"op":"sub","deg":2,"values":[{"op":"cm","deg":1,"id":30,"next":true},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":37,"next":false}]},{"op":"cm","deg":1,"id":30,"next":false}]}]},{"op":"sub","deg":2,"values":[{"op":"cm","deg":1,"id":17,"next":true},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":37,"next":false}]},{"op":"cm","deg":1,"id":17,"next":false}]}]},{"op":"cm","deg":1,"id":11,"next":false},{"op":"cm","deg":1,"id":18,"next":false},{"op":"cm","deg":1,"id":20,"next":false},{"op":"cm","deg":1,"id":23,"next":false},{"op":"cm","deg":1,"id":33,"next":false},{"op":"cm","deg":1,"id":34,"next":false},{"op":"cm","deg":1,"id":35,"next":false},{"op":"cm","deg":1,"id":36,"next":false},{"op":"cm","deg":1,"id":37,"next":false},{"op":"cm","deg":1,"id":38,"next":false},{"op":"cm","deg":1,"id":39,"next":false},{"op":"cm","deg":1,"id":40,"next":false},{"op":"const","deg":1,"id":6,"next":false},{"op":"const","deg":1,"id":15,"next":false},{"op":"const","deg":1,"id":16,"next":false},{"op":"const","deg":1,"id":17,"next":false},{"op":"const","deg":1,"id":11,"next":false},{"op":"const","deg":1,"id":12,"next":false},{"op":"const","deg":1,"id":13,"next":false},{"op":"const","deg":1,"id":8,"next":false},{"op":"const","deg":1,"id":10,"next":false},{"op":"const","deg":1,"id":9,"next":false},{"op":"const","deg":1,"id":14,"next":false},{"op":"const","deg":1,"id":7,"next":false},{"op":"sub","deg":2,"values":[{"op":"cm","deg":1,"id":44,"next":false},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"const","deg":1,"id":18,"next":false}]},{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":39,"next":false}]}]}]},{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":44,"next":false},{"op":"sub","deg":1,"values":[{"op":"cm","deg":1,"id":9,"next":true},{"op":"cm","deg":1,"id":9,"next":false}]}]},{"op":"mul","deg":2,"values":[{"op":"const","deg":1,"id":19,"next":false},{"op":"sub","deg":1,"values":[{"op":"cm","deg":1,"id":9,"next":false},{"op":"number","deg":0,"value":"2"}]}]},{"op":"cm","deg":1,"id":11,"next":false},{"op":"cm","deg":1,"id":18,"next":false},{"op":"cm","deg":1,"id":20,"next":false},{"op":"cm","deg":1,"id":23,"next":false},{"op":"cm","deg":1,"id":33,"next":false},{"op":"cm","deg":1,"id":34,"next":false},{"op":"cm","deg":1,"id":35,"next":false},{"op":"cm","deg":1,"id":36,"next":false},{"op":"cm","deg":1,"id":37,"next":false},{"op":"cm","deg":1,"id":38,"next":false},{"op":"cm","deg":1,"id":39,"next":false},{"op":"cm","deg":1,"id":40,"next":false},{"op":"const","deg":1,"id":6,"next":false},{"op":"const","deg":1,"id":15,"next":false},{"op":"const","deg":1,"id":16,"next":false},{"op":"const","deg":1,"id":17,"next":false},{"op":"const","deg":1,"id":11,"next":false},{"op":"const","deg":1,"id":12,"next":false},{"op":"const","deg":1,"id":13,"next":false},{"op":"const","deg":1,"id":8,"next":false},{"op":"const","deg":1,"id":10,"next":false},{"op":"const","deg":1,"id":9,"next":false},{"op":"const","deg":1,"id":14,"next":false},{"op":"const","deg":1,"id":7,"next":false},{"op":"sub","deg":2,"values":[{"op":"cm","deg":1,"id":44,"next":false},{"op":"mul","deg":2,"values":[{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"const","deg":1,"id":18,"next":false}]},{"op":"sub","deg":1,"values":[{"op":"number","deg":0,"value":"1"},{"op":"cm","deg":1,"id":39,"next":false}]}]}]},{"op":"mul","deg":2,"values":[{"op":"cm","deg":1,"id":44,"next":false},{"op":"sub","deg":1,"values":[{"op":"cm","deg":1,"id":9,"next":true},{"op":"cm","deg":1,"id":9,"next":false}]}]},{"op":"mul","deg":2,"values":[{"op":"const","deg":1,"id":19,"next":false},{"op":"sub","deg":1,"values":[{"op":"cm","deg":1,"id":9,"next":false},{"op":"number","deg":0,"value":"2"}]}]},{"op":"exp","deg":0,"id":7,"keep":true},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"sub","deg":0,"values":[{"op":"exp","deg":0,"id":5},{"op":"exp","deg":0,"id":112}]},{"op":"exp","deg":0,"id":6}]},{"op":"exp","deg":0,"id":112}],"keep":true,"idQ":6},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"exp","deg":0,"id":70}]},{"op":"exp","deg":0,"id":71}]}]},{"op":"exp","deg":0,"id":72}]}]},{"op":"exp","deg":0,"id":73}]}]},{"op":"exp","deg":0,"id":74}]}]},{"op":"exp","deg":0,"id":75}]}]},{"op":"exp","deg":0,"id":76}]}]},{"op":"exp","deg":0,"id":77}]}]},{"op":"exp","deg":0,"id":78}]}]},{"op":"exp","deg":0,"id":79}]}]},{"op":"exp","deg":0,"id":80}]}]},{"op":"exp","deg":0,"id":81}],"keep":true},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"exp","deg":0,"id":58},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":59}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":60}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":61}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":62}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":63}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":64}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":65}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":66}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":67}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":68}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":69}],"keep":true},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"exp","deg":0,"id":97}]},{"op":"exp","deg":0,"id":98}]}]},{"op":"exp","deg":0,"id":99}]}]},{"op":"exp","deg":0,"id":100}]}]},{"op":"exp","deg":0,"id":101}]}]},{"op":"exp","deg":0,"id":102}]}]},{"op":"exp","deg":0,"id":103}]}]},{"op":"exp","deg":0,"id":104}]}]},{"op":"exp","deg":0,"id":105}]}]},{"op":"exp","deg":0,"id":106}]}]},{"op":"exp","deg":0,"id":107}]}]},{"op":"exp","deg":0,"id":108}],"keep":true},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"exp","deg":0,"id":85},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":86}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":87}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":88}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":89}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":90}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":91}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":92}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":93}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":94}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":95}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":96}],"keep":true},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"sub","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"exp","deg":0,"id":22}]},{"op":"exp","deg":0,"id":23}]}]},{"op":"exp","deg":0,"id":24}]},{"op":"challenge","deg":0,"id":1}]},{"op":"exp","deg":0,"id":25}]},{"op":"challenge","deg":0,"id":1}],"idQ":7},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"sub","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"exp","deg":0,"id":18},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":19}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":20}]},{"op":"challenge","deg":0,"id":1}]},{"op":"exp","deg":0,"id":21}]},{"op":"challenge","deg":0,"id":1}],"idQ":8},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"sub","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":0},{"op":"exp","deg":0,"id":30}]},{"op":"exp","deg":0,"id":31}]}]},{"op":"exp","deg":0,"id":32}]},{"op":"challenge","deg":0,"id":1}]},{"op":"exp","deg":0,"id":33}]},{"op":"challenge","deg":0,"id":1}],"idQ":9},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"sub","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"exp","deg":0,"id":26},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":27}]},{"op":"challenge","deg":0,"id":0}]},{"op":"exp","deg":0,"id":28}]},{"op":"challenge","deg":0,"id":1}]},{"op":"exp","deg":0,"id":29}]},{"op":"challenge","deg":0,"id":1}],"idQ":10},{"op":"mul","deg":2,"values":[{"op":"const","deg":0,"id":5},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":51},{"op":"number","deg":0,"value":"1"}]}]},{"op":"mul","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"exp","deg":0,"id":113},{"op":"challenge","deg":0,"id":2}]},{"op":"add","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"exp","deg":0,"id":112},{"op":"mul","deg":0,"values":[{"op":"exp","deg":0,"id":112,"next":true},{"op":"challenge","deg":0,"id":3}]}]},{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":2},{"op":"add","deg":0,"values":[{"op":"number","deg":0,"value":"1"},{"op":"challenge","deg":0,"id":3}]}]}]}]},{"op":"add","deg":0,"values":[{"op":"number","deg":0,"value":"1"},{"op":"challenge","deg":0,"id":3}]}],"keep":true,"idQ":11},{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"cm","deg":0,"id":45},{"op":"mul","deg":0,"values":[{"op":"cm","deg":0,"id":46},{"op":"challenge","deg":0,"id":3}]}]},{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":2},{"op":"add","deg":0,"values":[{"op":"number","deg":0,"value":"1"},{"op":"challenge","deg":0,"id":3}]}]}]},{"op":"add","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"cm","deg":0,"id":46},{"op":"mul","deg":0,"values":[{"op":"cm","deg":0,"id":45,"next":true},{"op":"challenge","deg":0,"id":3}]}]},{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":2},{"op":"add","deg":0,"values":[{"op":"number","deg":0,"value":"1"},{"op":"challenge","deg":0,"id":3}]}]}]}],"keep":true,"idQ":12},{"op":"sub","deg":2,"values":[{"op":"mul","deg":0,"values":[{"op":"cm","deg":0,"id":51,"next":true},{"op":"exp","deg":0,"id":124}]},{"op":"mul","deg":0,"values":[{"op":"cm","deg":0,"id":51},{"op":"exp","deg":0,"id":123}]}]},{"op":"mul","deg":2,"values":[{"op":"const","deg":0,"id":5},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":52},{"op":"number","deg":0,"value":"1"}]}]},{"op":"mul","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"exp","deg":0,"id":115},{"op":"challenge","deg":0,"id":2}]},{"op":"add","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"exp","deg":0,"id":114},{"op":"mul","deg":0,"values":[{"op":"exp","deg":0,"id":114,"next":true},{"op":"challenge","deg":0,"id":3}]}]},{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":2},{"op":"add","deg":0,"values":[{"op":"number","deg":0,"value":"1"},{"op":"challenge","deg":0,"id":3}]}]}]}]},{"op":"add","deg":0,"values":[{"op":"number","deg":0,"value":"1"},{"op":"challenge","deg":0,"id":3}]}],"keep":true,"idQ":13},{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"cm","deg":0,"id":47},{"op":"mul","deg":0,"values":[{"op":"cm","deg":0,"id":48},{"op":"challenge","deg":0,"id":3}]}]},{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":2},{"op":"add","deg":0,"values":[{"op":"number","deg":0,"value":"1"},{"op":"challenge","deg":0,"id":3}]}]}]},{"op":"add","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"cm","deg":0,"id":48},{"op":"mul","deg":0,"values":[{"op":"cm","deg":0,"id":47,"next":true},{"op":"challenge","deg":0,"id":3}]}]},{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":2},{"op":"add","deg":0,"values":[{"op":"number","deg":0,"value":"1"},{"op":"challenge","deg":0,"id":3}]}]}]}],"keep":true,"idQ":14},{"op":"sub","deg":2,"values":[{"op":"mul","deg":0,"values":[{"op":"cm","deg":0,"id":52,"next":true},{"op":"exp","deg":0,"id":128}]},{"op":"mul","deg":0,"values":[{"op":"cm","deg":0,"id":52},{"op":"exp","deg":0,"id":127}]}]},{"op":"mul","deg":2,"values":[{"op":"const","deg":0,"id":5},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":53},{"op":"number","deg":0,"value":"1"}]}]},{"op":"mul","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"exp","deg":0,"id":117},{"op":"challenge","deg":0,"id":2}]},{"op":"add","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"exp","deg":0,"id":116},{"op":"mul","deg":0,"values":[{"op":"exp","deg":0,"id":116,"next":true},{"op":"challenge","deg":0,"id":3}]}]},{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":2},{"op":"add","deg":0,"values":[{"op":"number","deg":0,"value":"1"},{"op":"challenge","deg":0,"id":3}]}]}]}]},{"op":"add","deg":0,"values":[{"op":"number","deg":0,"value":"1"},{"op":"challenge","deg":0,"id":3}]}],"keep":true,"idQ":15},{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"cm","deg":0,"id":49},{"op":"mul","deg":0,"values":[{"op":"cm","deg":0,"id":50},{"op":"challenge","deg":0,"id":3}]}]},{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":2},{"op":"add","deg":0,"values":[{"op":"number","deg":0,"value":"1"},{"op":"challenge","deg":0,"id":3}]}]}]},{"op":"add","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"cm","deg":0,"id":50},{"op":"mul","deg":0,"values":[{"op":"cm","deg":0,"id":49,"next":true},{"op":"challenge","deg":0,"id":3}]}]},{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":2},{"op":"add","deg":0,"values":[{"op":"number","deg":0,"value":"1"},{"op":"challenge","deg":0,"id":3}]}]}]}],"keep":true,"idQ":16},{"op":"sub","deg":2,"values":[{"op":"mul","deg":0,"values":[{"op":"cm","deg":0,"id":53,"next":true},{"op":"exp","deg":0,"id":132}]},{"op":"mul","deg":0,"values":[{"op":"cm","deg":0,"id":53},{"op":"exp","deg":0,"id":131}]}]},{"op":"mul","deg":2,"values":[{"op":"const","deg":0,"id":5},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":54},{"op":"number","deg":0,"value":"1"}]}]},{"op":"add","deg":0,"values":[{"op":"exp","deg":0,"id":119},{"op":"challenge","deg":0,"id":3}],"keep":true},{"op":"add","deg":0,"values":[{"op":"exp","deg":0,"id":118},{"op":"challenge","deg":0,"id":3}],"keep":true},{"op":"sub","deg":2,"values":[{"op":"mul","deg":0,"values":[{"op":"cm","deg":0,"id":54,"next":true},{"op":"exp","deg":0,"id":136}]},{"op":"mul","deg":0,"values":[{"op":"cm","deg":0,"id":54},{"op":"exp","deg":0,"id":135}]}]},{"op":"mul","deg":2,"values":[{"op":"const","deg":0,"id":5},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":55},{"op":"number","deg":0,"value":"1"}]}]},{"op":"add","deg":0,"values":[{"op":"exp","deg":0,"id":121},{"op":"challenge","deg":0,"id":3}],"keep":true},{"op":"add","deg":0,"values":[{"op":"exp","deg":0,"id":120},{"op":"challenge","deg":0,"id":3}],"keep":true},{"op":"sub","deg":2,"values":[{"op":"mul","deg":0,"values":[{"op":"cm","deg":0,"id":55,"next":true},{"op":"exp","deg":0,"id":140}]},{"op":"mul","deg":0,"values":[{"op":"cm","deg":0,"id":55},{"op":"exp","deg":0,"id":139}]}]},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":4},{"op":"exp","deg":0,"id":0}]},{"op":"exp","deg":0,"id":1}]}]},{"op":"exp","deg":0,"id":2}]}]},{"op":"exp","deg":0,"id":3}]}]},{"op":"exp","deg":0,"id":4}]}]},{"op":"exp","deg":0,"id":8}]}]},{"op":"exp","deg":0,"id":9}]}]},{"op":"exp","deg":0,"id":10}]}]},{"op":"exp","deg":0,"id":11}]}]},{"op":"exp","deg":0,"id":12}]}]},{"op":"exp","deg":0,"id":13}]}]},{"op":"exp","deg":0,"id":14}]}]},{"op":"exp","deg":0,"id":15}]}]},{"op":"exp","deg":0,"id":16}]}]},{"op":"exp","deg":0,"id":17}]}]},{"op":"exp","deg":0,"id":38}]}]},{"op":"exp","deg":0,"id":39}]}]},{"op":"exp","deg":0,"id":40}]}]},{"op":"exp","deg":0,"id":41}]}]},{"op":"exp","deg":0,"id":42}]}]},{"op":"exp","deg":0,"id":44}]}]},{"op":"exp","deg":0,"id":45}]}]},{"op":"exp","deg":0,"id":46}]}]},{"op":"exp","deg":0,"id":47}]}]},{"op":"exp","deg":0,"id":48}]}]},{"op":"exp","deg":0,"id":49}]}]},{"op":"exp","deg":0,"id":50}]}]},{"op":"exp","deg":0,"id":51}]}]},{"op":"exp","deg":0,"id":52}]}]},{"op":"exp","deg":0,"id":53}]}]},{"op":"exp","deg":0,"id":54}]}]},{"op":"exp","deg":0,"id":55}]}]},{"op":"exp","deg":0,"id":56}]}]},{"op":"exp","deg":0,"id":57}]}]},{"op":"exp","deg":0,"id":82}]}]},{"op":"exp","deg":0,"id":83}]}]},{"op":"exp","deg":0,"id":84}]}]},{"op":"exp","deg":0,"id":109}]}]},{"op":"exp","deg":0,"id":110}]}]},{"op":"exp","deg":0,"id":111}]}]},{"op":"exp","deg":0,"id":122}]}]},{"op":"exp","deg":0,"id":125}]}]},{"op":"exp","deg":0,"id":126}]}]},{"op":"exp","deg":0,"id":129}]}]},{"op":"exp","deg":0,"id":130}]}]},{"op":"exp","deg":0,"id":133}]}]},{"op":"exp","deg":0,"id":134}]}]},{"op":"exp","deg":0,"id":137}]}]},{"op":"exp","deg":0,"id":138}]}]},{"op":"exp","deg":0,"id":141}]}]},{"op":"sub","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"sub","deg":0,"values":[{"op":"exp","deg":0,"id":5},{"op":"exp","deg":0,"id":112}]},{"op":"exp","deg":0,"id":6}]},{"op":"exp","deg":0,"id":112}],"keep":true,"idQ":6},{"op":"cm","deg":0,"id":56}]}]}]},{"op":"sub","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"exp","deg":0,"id":115},{"op":"challenge","deg":0,"id":2}]},{"op":"add","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"exp","deg":0,"id":114},{"op":"mul","deg":0,"values":[{"op":"exp","deg":0,"id":114,"next":true},{"op":"challenge","deg":0,"id":3}]}]},{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":2},{"op":"add","deg":0,"values":[{"op":"number","deg":0,"value":"1"},{"op":"challenge","deg":0,"id":3}]}]}]}]},{"op":"add","deg":0,"values":[{"op":"number","deg":0,"value":"1"},{"op":"challenge","deg":0,"id":3}]}],"keep":true,"idQ":13},{"op":"cm","deg":0,"id":57}]}]}]},{"op":"sub","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"exp","deg":0,"id":117},{"op":"challenge","deg":0,"id":2}]},{"op":"add","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"exp","deg":0,"id":116},{"op":"mul","deg":0,"values":[{"op":"exp","deg":0,"id":116,"next":true},{"op":"challenge","deg":0,"id":3}]}]},{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":2},{"op":"add","deg":0,"values":[{"op":"number","deg":0,"value":"1"},{"op":"challenge","deg":0,"id":3}]}]}]}]},{"op":"add","deg":0,"values":[{"op":"number","deg":0,"value":"1"},{"op":"challenge","deg":0,"id":3}]}],"keep":true,"idQ":15},{"op":"cm","deg":0,"id":58}]}]},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"challenge","deg":0,"id":5},{"op":"cm","deg":0,"id":0}]},{"op":"cm","deg":0,"id":1}]}]},{"op":"cm","deg":0,"id":2}]}]},{"op":"cm","deg":0,"id":3}]}]},{"op":"cm","deg":0,"id":4}]}]},{"op":"cm","deg":0,"id":5}]}]},{"op":"cm","deg":0,"id":6}]}]},{"op":"cm","deg":0,"id":7}]}]},{"op":"cm","deg":0,"id":8}]}]},{"op":"cm","deg":0,"id":9}]}]},{"op":"cm","deg":0,"id":10}]}]},{"op":"cm","deg":0,"id":11}]}]},{"op":"cm","deg":0,"id":12}]}]},{"op":"cm","deg":0,"id":13}]}]},{"op":"cm","deg":0,"id":14}]}]},{"op":"cm","deg":0,"id":15}]}]},{"op":"cm","deg":0,"id":16}]}]},{"op":"cm","deg":0,"id":17}]}]},{"op":"cm","deg":0,"id":18}]}]},{"op":"cm","deg":0,"id":19}]}]},{"op":"cm","deg":0,"id":20}]}]},{"op":"cm","deg":0,"id":21}]}]},{"op":"cm","deg":0,"id":22}]}]},{"op":"cm","deg":0,"id":23}]}]},{"op":"cm","deg":0,"id":24}]}]},{"op":"cm","deg":0,"id":25}]}]},{"op":"cm","deg":0,"id":26}]}]},{"op":"cm","deg":0,"id":27}]}]},{"op":"cm","deg":0,"id":28}]}]},{"op":"cm","deg":0,"id":29}]}]},{"op":"cm","deg":0,"id":30}]}]},{"op":"cm","deg":0,"id":31}]}]},{"op":"cm","deg":0,"id":32}]}]},{"op":"cm","deg":0,"id":33}]}]},{"op":"cm","deg":0,"id":34}]}]},{"op":"cm","deg":0,"id":35}]}]},{"op":"cm","deg":0,"id":36}]}]},{"op":"cm","deg":0,"id":37}]}]},{"op":"cm","deg":0,"id":38}]}]},{"op":"cm","deg":0,"id":39}]}]},{"op":"cm","deg":0,"id":40}]}]},{"op":"cm","deg":0,"id":41}]}]},{"op":"cm","deg":0,"id":42}]}]},{"op":"cm","deg":0,"id":43}]}]},{"op":"cm","deg":0,"id":44}]}]},{"op":"cm","deg":0,"id":45}]}]},{"op":"cm","deg":0,"id":46}]}]},{"op":"cm","deg":0,"id":47}]}]},{"op":"cm","deg":0,"id":48}]}]},{"op":"cm","deg":0,"id":49}]}]},{"op":"cm","deg":0,"id":50}]}]},{"op":"cm","deg":0,"id":51}]}]},{"op":"cm","deg":0,"id":52}]}]},{"op":"cm","deg":0,"id":53}]}]},{"op":"cm","deg":0,"id":54}]}]},{"op":"cm","deg":0,"id":55}]}]},{"op":"cm","deg":0,"id":56}]}]},{"op":"cm","deg":0,"id":57}]}]},{"op":"cm","deg":0,"id":58}]}]},{"op":"cm","deg":0,"id":59}]}]},{"op":"cm","deg":0,"id":60}]}]},{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":12},{"op":"eval","deg":0,"id":0}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":0},{"op":"eval","deg":0,"id":1}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":1},{"op":"eval","deg":0,"id":2}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":4},{"op":"eval","deg":0,"id":3}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":2},{"op":"eval","deg":0,"id":5}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":6},{"op":"eval","deg":0,"id":6}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":7},{"op":"eval","deg":0,"id":7}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":8},{"op":"eval","deg":0,"id":8}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":5},{"op":"eval","deg":0,"id":11}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":10},{"op":"eval","deg":0,"id":13}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":39},{"op":"eval","deg":0,"id":14}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":9},{"op":"eval","deg":0,"id":16}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":40},{"op":"eval","deg":0,"id":17}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":13},{"op":"eval","deg":0,"id":18}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":14},{"op":"eval","deg":0,"id":19}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":37},{"op":"eval","deg":0,"id":20}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":16},{"op":"eval","deg":0,"id":21}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":11},{"op":"eval","deg":0,"id":23}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":33},{"op":"eval","deg":0,"id":24}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":15},{"op":"eval","deg":0,"id":25}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":34},{"op":"eval","deg":0,"id":27}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":35},{"op":"eval","deg":0,"id":28}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":36},{"op":"eval","deg":0,"id":29}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":38},{"op":"eval","deg":0,"id":30}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":18},{"op":"eval","deg":0,"id":33}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":19},{"op":"eval","deg":0,"id":34}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":20},{"op":"eval","deg":0,"id":36}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":21},{"op":"eval","deg":0,"id":37}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":31},{"op":"eval","deg":0,"id":39}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":32},{"op":"eval","deg":0,"id":41}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":22},{"op":"eval","deg":0,"id":43}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":23},{"op":"eval","deg":0,"id":45}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":24},{"op":"eval","deg":0,"id":46}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":25},{"op":"eval","deg":0,"id":48}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":26},{"op":"eval","deg":0,"id":50}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":27},{"op":"eval","deg":0,"id":52}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":28},{"op":"eval","deg":0,"id":54}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":29},{"op":"eval","deg":0,"id":56}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":30},{"op":"eval","deg":0,"id":58}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":17},{"op":"eval","deg":0,"id":60}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":18},{"op":"eval","deg":0,"id":62}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":44},{"op":"eval","deg":0,"id":63}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":19},{"op":"eval","deg":0,"id":65}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":51},{"op":"eval","deg":0,"id":66}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":5},{"op":"eval","deg":0,"id":67}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":46},{"op":"eval","deg":0,"id":68}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":45},{"op":"eval","deg":0,"id":69}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":0},{"op":"eval","deg":0,"id":71}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":56},{"op":"eval","deg":0,"id":73}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":52},{"op":"eval","deg":0,"id":75}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":48},{"op":"eval","deg":0,"id":76}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":47},{"op":"eval","deg":0,"id":77}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":57},{"op":"eval","deg":0,"id":80}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":53},{"op":"eval","deg":0,"id":81}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":50},{"op":"eval","deg":0,"id":82}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":49},{"op":"eval","deg":0,"id":83}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":58},{"op":"eval","deg":0,"id":86}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":54},{"op":"eval","deg":0,"id":87}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":3},{"op":"eval","deg":0,"id":88}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":3},{"op":"eval","deg":0,"id":89}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":55},{"op":"eval","deg":0,"id":91}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":2},{"op":"eval","deg":0,"id":94}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":6},{"op":"eval","deg":0,"id":95}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":15},{"op":"eval","deg":0,"id":96}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":16},{"op":"eval","deg":0,"id":97}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":17},{"op":"eval","deg":0,"id":98}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":11},{"op":"eval","deg":0,"id":99}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":12},{"op":"eval","deg":0,"id":100}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":13},{"op":"eval","deg":0,"id":101}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":8},{"op":"eval","deg":0,"id":102}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":10},{"op":"eval","deg":0,"id":103}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":9},{"op":"eval","deg":0,"id":104}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":14},{"op":"eval","deg":0,"id":105}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":7},{"op":"eval","deg":0,"id":106}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":59},{"op":"eval","deg":0,"id":119}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":60},{"op":"eval","deg":0,"id":120}]}]},{"op":"xDivXSubXi","deg":0}]}]}]},{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"add","deg":0,"values":[{"op":"mul","deg":0,"values":[{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":2},{"op":"eval","deg":0,"id":4}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":7},{"op":"eval","deg":0,"id":9}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":5},{"op":"eval","deg":0,"id":10}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":4},{"op":"eval","deg":0,"id":12}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":10},{"op":"eval","deg":0,"id":15}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":16},{"op":"eval","deg":0,"id":22}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":15},{"op":"eval","deg":0,"id":26}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":5},{"op":"eval","deg":0,"id":31}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":11},{"op":"eval","deg":0,"id":32}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":19},{"op":"eval","deg":0,"id":35}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":21},{"op":"eval","deg":0,"id":38}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":31},{"op":"eval","deg":0,"id":40}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":32},{"op":"eval","deg":0,"id":42}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":22},{"op":"eval","deg":0,"id":44}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":24},{"op":"eval","deg":0,"id":47}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":25},{"op":"eval","deg":0,"id":49}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":26},{"op":"eval","deg":0,"id":51}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":27},{"op":"eval","deg":0,"id":53}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":28},{"op":"eval","deg":0,"id":55}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":29},{"op":"eval","deg":0,"id":57}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":30},{"op":"eval","deg":0,"id":59}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":17},{"op":"eval","deg":0,"id":61}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":9},{"op":"eval","deg":0,"id":64}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":45},{"op":"eval","deg":0,"id":70}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":0},{"op":"eval","deg":0,"id":72}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":51},{"op":"eval","deg":0,"id":74}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":47},{"op":"eval","deg":0,"id":78}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":52},{"op":"eval","deg":0,"id":79}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":49},{"op":"eval","deg":0,"id":84}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":53},{"op":"eval","deg":0,"id":85}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":54},{"op":"eval","deg":0,"id":90}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":55},{"op":"eval","deg":0,"id":92}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"cm","deg":0,"id":3},{"op":"eval","deg":0,"id":93}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":6},{"op":"eval","deg":0,"id":107}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":15},{"op":"eval","deg":0,"id":108}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":16},{"op":"eval","deg":0,"id":109}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":17},{"op":"eval","deg":0,"id":110}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":11},{"op":"eval","deg":0,"id":111}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":12},{"op":"eval","deg":0,"id":112}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":13},{"op":"eval","deg":0,"id":113}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":8},{"op":"eval","deg":0,"id":114}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":10},{"op":"eval","deg":0,"id":115}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":9},{"op":"eval","deg":0,"id":116}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":14},{"op":"eval","deg":0,"id":117}]}]},{"op":"challenge","deg":0,"id":6}]},{"op":"sub","deg":0,"values":[{"op":"const","deg":0,"id":7},{"op":"eval","deg":0,"id":118}]}]},{"op":"xDivXSubWXi","deg":0}]}],"keep2ns":true}],"polIdentities":[{"e":0,"fileName":"brillig_out.pil","line":4},{"e":1,"fileName":"brillig_out.pil","line":5},{"e":2,"fileName":"brillig_out.pil","line":6},{"e":3,"fileName":"brillig_out.pil","line":18},{"e":4,"fileName":"brillig_out.pil","line":19},{"e":8,"fileName":"brillig_out.pil","line":21},{"e":9,"fileName":"brillig_out.pil","line":22},{"e":10,"fileName":"brillig_out.pil","line":23},{"e":11,"fileName":"brillig_out.pil","line":24},{"e":12,"fileName":"brillig_out.pil","line":25},{"e":13,"fileName":"brillig_out.pil","line":26},{"e":14,"fileName":"brillig_out.pil","line":27},{"e":15,"fileName":"brillig_out.pil","line":28},{"e":16,"fileName":"brillig_out.pil","line":32},{"e":17,"fileName":"brillig_out.pil","line":33},{"e":38,"fileName":"brillig_out.pil","line":147},{"e":39,"fileName":"brillig_out.pil","line":166},{"e":40,"fileName":"brillig_out.pil","line":185},{"e":41,"fileName":"brillig_out.pil","line":187},{"e":42,"fileName":"brillig_out.pil","line":188},{"e":44,"fileName":"brillig_out.pil","line":190},{"e":45,"fileName":"brillig_out.pil","line":191},{"e":46,"fileName":"brillig_out.pil","line":192},{"e":47,"fileName":"brillig_out.pil","line":193},{"e":48,"fileName":"brillig_out.pil","line":194},{"e":49,"fileName":"brillig_out.pil","line":195},{"e":50,"fileName":"brillig_out.pil","line":196},{"e":51,"fileName":"brillig_out.pil","line":197},{"e":52,"fileName":"brillig_out.pil","line":198},{"e":53,"fileName":"brillig_out.pil","line":199},{"e":54,"fileName":"brillig_out.pil","line":200},{"e":55,"fileName":"brillig_out.pil","line":201},{"e":56,"fileName":"brillig_out.pil","line":202},{"e":57,"fileName":"brillig_out.pil","line":203},{"e":82,"fileName":"brillig_out.pil","line":330},{"e":83,"fileName":"brillig_out.pil","line":331},{"e":84,"fileName":"brillig_out.pil","line":333},{"e":109,"fileName":"brillig_out.pil","line":330},{"e":110,"fileName":"brillig_out.pil","line":331},{"e":111,"fileName":"brillig_out.pil","line":333},{"e":122,"fileName":"","line":0},{"e":125,"fileName":"","line":0},{"e":126,"fileName":"","line":0},{"e":129,"fileName":"","line":0},{"e":130,"fileName":"","line":0},{"e":133,"fileName":"","line":0},{"e":134,"fileName":"","line":0},{"e":137,"fileName":"","line":0},{"e":138,"fileName":"","line":0},{"e":141,"fileName":"","line":0}],"plookupIdentities":[{"f":[5],"t":[7],"selF":6,"selT":null,"fileName":"brillig_out.pil","line":20},{"f":[58,59,60,61,62,63,64,65,66,67,68,69],"t":[70,71,72,73,74,75,76,77,78,79,80,81],"selF":null,"selT":null,"fileName":"brillig_out.pil","line":327},{"f":[85,86,87,88,89,90,91,92,93,94,95,96],"t":[97,98,99,100,101,102,103,104,105,106,107,108],"selF":null,"selT":null,"fileName":"brillig_out.pil","line":327}],"permutationIdentities":[{"f":[18,19,20],"t":[22,23,24],"selF":21,"selT":25,"fileName":"brillig_out.pil","line":99},{"f":[26,27,28],"t":[30,31,32],"selF":29,"selT":33,"fileName":"brillig_out.pil","line":101}],"connectionIdentities":[]}
\ No newline at end of file
diff --git a/example.hpp b/example.hpp
deleted file mode 100644
index d29490b0ab..0000000000
--- a/example.hpp
+++ /dev/null
@@ -1,90 +0,0 @@
-
-#pragma once
-#include "../relation_parameters.hpp"
-#include "../relation_types.hpp"
-
-namespace proof_system::example_vm {
-
-template <typename FF> class exampleImpl {
-    public:
-        
-        static constexpr size_t RELATION_LENGTH = 3;
-   static constexpr size_t DEGREE_0 = 3;
-   static constexpr size_t DEGREE_1 = 3;
-   static constexpr size_t DEGREE_2 = 3;
-   static constexpr size_t DEGREE_3 = 3;
-template <template <size_t...> typename SubrelationAccumulatorsTemplate>
-    using GetAccumulatorTypes = SubrelationAccumulatorsTemplate<DEGREE_0, DEGREE_1, DEGREE_2, DEGREE_3>;
-        
-        
-    template <typename AccumulatorTypes>
-    void static accumulate(
-        typename AccumulatorTypes::Accumulators& evals,
-        const auto& new_term,
-        [[maybe_unused]] const RelationParameters<FF>&,
-        [[maybe_unused]] const FF& scaling_factor
-    ){
-
-    //Contribution 0
-    {
-
-        using View = typename std::tuple_element<0, typename AccumulatorTypes::AccumulatorViews>::type;
-       auto Fibonacci_ISLAST = View(new_term.Fibonacci_ISLAST);
-   auto Fibonacci_x = View(new_term.Fibonacci_x);
-   auto Fibonacci_y = View(new_term.Fibonacci_y);
-   auto Fibonacci_x_shift = View(new_term.Fibonacci_x_shift);
-   auto Fibonacci_y_shift = View(new_term.Fibonacci_y_shift);
-    
-    auto tmp = (Fibonacci_ISLAST * (Fibonacci_y_shift - FF(1)));
-    tmp *= scaling_factor;
-    std::get<0>(evals) += tmp;
-}
-//Contribution 1
-    {
-
-        using View = typename std::tuple_element<1, typename AccumulatorTypes::AccumulatorViews>::type;
-       auto Fibonacci_ISLAST = View(new_term.Fibonacci_ISLAST);
-   auto Fibonacci_x = View(new_term.Fibonacci_x);
-   auto Fibonacci_y = View(new_term.Fibonacci_y);
-   auto Fibonacci_x_shift = View(new_term.Fibonacci_x_shift);
-   auto Fibonacci_y_shift = View(new_term.Fibonacci_y_shift);
-    
-    auto tmp = (Fibonacci_ISLAST * (Fibonacci_x_shift - FF(1)));
-    tmp *= scaling_factor;
-    std::get<1>(evals) += tmp;
-}
-//Contribution 2
-    {
-
-        using View = typename std::tuple_element<2, typename AccumulatorTypes::AccumulatorViews>::type;
-       auto Fibonacci_ISLAST = View(new_term.Fibonacci_ISLAST);
-   auto Fibonacci_x = View(new_term.Fibonacci_x);
-   auto Fibonacci_y = View(new_term.Fibonacci_y);
-   auto Fibonacci_x_shift = View(new_term.Fibonacci_x_shift);
-   auto Fibonacci_y_shift = View(new_term.Fibonacci_y_shift);
-    
-    auto tmp = ((FF(1) - Fibonacci_ISLAST) * (Fibonacci_x_shift - Fibonacci_y));
-    tmp *= scaling_factor;
-    std::get<2>(evals) += tmp;
-}
-//Contribution 3
-    {
-
-        using View = typename std::tuple_element<3, typename AccumulatorTypes::AccumulatorViews>::type;
-       auto Fibonacci_ISLAST = View(new_term.Fibonacci_ISLAST);
-   auto Fibonacci_x = View(new_term.Fibonacci_x);
-   auto Fibonacci_y = View(new_term.Fibonacci_y);
-   auto Fibonacci_x_shift = View(new_term.Fibonacci_x_shift);
-   auto Fibonacci_y_shift = View(new_term.Fibonacci_y_shift);
-    
-    auto tmp = ((FF(1) - Fibonacci_ISLAST) * (Fibonacci_y_shift - (Fibonacci_x + Fibonacci_y)));
-    tmp *= scaling_factor;
-    std::get<3>(evals) += tmp;
-}
-}
-
-};
-
-template <typename FF> using example = exampleImpl<FF>;
-
-        }
\ No newline at end of file
diff --git a/fibonacci_opt.pil b/fibonacci_opt.pil
deleted file mode 100644
index 0bb23d936e..0000000000
--- a/fibonacci_opt.pil
+++ /dev/null
@@ -1,10 +0,0 @@
-constant %N = 16;
-namespace Fibonacci(16);
-    col fixed ISLAST(i) { match i { 15 => 1, 0 => 1, _ => 0, } };
-    col witness x;
-    col witness y;
-    (Fibonacci.ISLAST * (Fibonacci.y' - 1)) = 0;
-    (Fibonacci.ISLAST * (Fibonacci.x' - 1)) = 0;
-    ((1 - Fibonacci.ISLAST) * (Fibonacci.x' - Fibonacci.y)) = 0;
-    ((1 - Fibonacci.ISLAST) * (Fibonacci.y' - (Fibonacci.x + Fibonacci.y))) = 0;
-    public out = Fibonacci.y(15);
diff --git a/fibonacci_opt_opt.pil b/fibonacci_opt_opt.pil
deleted file mode 100644
index 593687b8e9..0000000000
--- a/fibonacci_opt_opt.pil
+++ /dev/null
@@ -1,10 +0,0 @@
-constant %N = 16;
-namespace Fibonacci(16);
-    col fixed ISLAST(i) { match i { 15 => 1, _ => 0, } };
-    col witness x;
-    col witness y;
-    (Fibonacci.ISLAST * (Fibonacci.y' - 1)) = 0;
-    (Fibonacci.ISLAST * (Fibonacci.x' - 1)) = 0;
-    ((1 - Fibonacci.ISLAST) * (Fibonacci.x' - Fibonacci.y)) = 0;
-    ((1 - Fibonacci.ISLAST) * (Fibonacci.y' - (Fibonacci.x + Fibonacci.y))) = 0;
-    public out = Fibonacci.y(15);
diff --git a/hello.pil b/hello.pil
deleted file mode 100644
index 9b731f7393..0000000000
--- a/hello.pil
+++ /dev/null
@@ -1,69 +0,0 @@
-namespace main(8);
-pol commit _operation_id;
-pol commit _sigma;
-pol constant _romgen_first_step = [1] + [0]*;
-_sigma' = ((1 - _romgen_first_step') * (_sigma + instr_return));
-(_sigma * (_operation_id - 7)) = 0;
-pol commit pc;
-pol commit X;
-pol commit Y;
-pol commit reg_write_X_A;
-pol commit reg_write_Y_A;
-pol commit A;
-pol commit instr_incr;
-(instr_incr * (Y - (X + 1))) = 0;
-pol commit instr_decr;
-(instr_decr * (Y - (X - 1))) = 0;
-pol commit instr_assert_zero;
-(instr_assert_zero * (X - 0)) = 0;
-pol commit instr_mstore;
-instr_mstore { addr, STEP, X } is m_is_write { m_addr, m_step, m_value };
-pol commit instr_mload;
-instr_mload { addr, STEP, X } is m_is_read { m_addr, m_step, m_value };
-pol commit instr__jump_to_operation;
-pol commit instr__reset;
-pol commit instr__loop;
-pol commit instr_return;
-pol commit X_const;
-pol commit X_read_free;
-pol commit read_X_A;
-pol commit read_X_pc;
-X = ((((read_X_A * A) + (read_X_pc * pc)) + X_const) + (X_read_free * X_free_value));
-pol commit Y_const;
-pol commit Y_read_free;
-pol commit read_Y_A;
-pol commit read_Y_pc;
-Y = ((((read_Y_A * A) + (read_Y_pc * pc)) + Y_const) + (Y_read_free * Y_free_value));
-pol constant first_step = [1] + [0]*;
-A' = ((((reg_write_X_A * X) + (reg_write_Y_A * Y)) + (instr__reset * 0)) + ((1 - ((reg_write_X_A + reg_write_Y_A) + instr__reset)) * A));
-pol pc_update = ((((instr__jump_to_operation * _operation_id) + (instr__loop * pc)) + (instr_return * 0)) + ((1 - ((instr__jump_to_operation + instr__loop) + instr_return)) * (pc + 1)));
-pc' = ((1 - first_step') * pc_update);
-pol constant p_line = [0, 1, 2, 3, 4, 5, 6, 7] + [7]*;
-pol commit X_free_value(i) query match pc { 2 => ("input", 0), };
-pol commit Y_free_value(i) query match pc {  };
-pol constant p_X_const = [0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_X_read_free = [0, 0, 1, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_Y_const = [0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_Y_read_free = [0, 0, 0, 1, 1, 0, 0, 0] + [0]*;
-pol constant p_instr__jump_to_operation = [0, 1, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr__loop = [0, 0, 0, 0, 0, 0, 0, 1] + [1]*;
-pol constant p_instr__reset = [1, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_assert_zero = [0, 0, 0, 0, 0, 1, 0, 0] + [0]*;
-pol constant p_instr_decr = [0, 0, 0, 0, 1, 0, 0, 0] + [0]*;
-pol constant p_instr_incr = [0, 0, 0, 1, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_mload = [0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_mstore = [0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_instr_return = [0, 0, 0, 0, 0, 0, 1, 0] + [0]*;
-pol constant p_read_X_A = [0, 0, 0, 1, 1, 1, 0, 0] + [0]*;
-pol constant p_read_X_pc = [0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_A = [0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_read_Y_pc = [0, 0, 0, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_X_A = [0, 0, 1, 0, 0, 0, 0, 0] + [0]*;
-pol constant p_reg_write_Y_A = [0, 0, 0, 1, 1, 0, 0, 0] + [0]*;
-{ pc, reg_write_X_A, reg_write_Y_A, instr_incr, instr_decr, instr_assert_zero, instr_mstore, instr_mload, instr__jump_to_operation, instr__reset, instr__loop, instr_return, X_const, X_read_free, read_X_A, read_X_pc, Y_const, Y_read_free, read_Y_A, read_Y_pc } in { p_line, p_reg_write_X_A, p_reg_write_Y_A, p_instr_incr, p_instr_decr, p_instr_assert_zero, p_instr_mstore, p_instr_mload, p_instr__jump_to_operation, p_instr__reset, p_instr__loop, p_instr_return, p_X_const, p_X_read_free, p_read_X_A, p_read_X_pc, p_Y_const, p_Y_read_free, p_read_Y_A, p_read_Y_pc };
-pol constant _block_enforcer_last_step = [0]* + [1];
-pol commit _operation_id_no_change;
-_operation_id_no_change = ((1 - _block_enforcer_last_step) * (1 - instr_return));
-(_operation_id_no_change * (_operation_id' - _operation_id)) = 0;
-pol constant _linker_first_step = [1] + [0]*;
-(_linker_first_step * (_operation_id - 2)) = 0;
diff --git a/hello_opt.pil b/hello_opt.pil
deleted file mode 100644
index 8eeacd9f39..0000000000
--- a/hello_opt.pil
+++ /dev/null
@@ -1,54 +0,0 @@
-namespace main(8);
-    col witness _operation_id;
-    col witness _sigma;
-    col fixed _romgen_first_step = [1] + [0]*;
-    main._sigma' = ((1 - main._romgen_first_step') * (main._sigma + main.instr_return));
-    (main._sigma * (main._operation_id - 7)) = 0;
-    col witness pc;
-    col witness X;
-    col witness Y;
-    col witness reg_write_X_A;
-    col witness reg_write_Y_A;
-    col witness A;
-    col witness instr_incr;
-    (main.instr_incr * (main.Y - (main.X + 1))) = 0;
-    col witness instr_decr;
-    (main.instr_decr * (main.Y - (main.X - 1))) = 0;
-    col witness instr_assert_zero;
-    (main.instr_assert_zero * main.X) = 0;
-    col witness instr__jump_to_operation;
-    col witness instr__reset;
-    col witness instr__loop;
-    col witness instr_return;
-    col witness X_read_free;
-    col witness read_X_A;
-    main.X = ((main.read_X_A * main.A) + (main.X_read_free * main.X_free_value));
-    col witness Y_read_free;
-    main.Y = (main.Y_read_free * main.Y_free_value);
-    col fixed first_step = [1] + [0]*;
-    main.A' = (((main.reg_write_X_A * main.X) + (main.reg_write_Y_A * main.Y)) + ((1 - ((main.reg_write_X_A + main.reg_write_Y_A) + main.instr__reset)) * main.A));
-    col pc_update = (((main.instr__jump_to_operation * main._operation_id) + (main.instr__loop * main.pc)) + ((1 - ((main.instr__jump_to_operation + main.instr__loop) + main.instr_return)) * (main.pc + 1)));
-    main.pc' = ((1 - main.first_step') * main.pc_update);
-    col fixed p_line = [0, 1, 2, 3, 4, 5, 6, 7];
-    col witness X_free_value(i) query match main.pc { 2 => ("input", 0), };
-    col witness Y_free_value(i) query match main.pc {  };
-    col fixed p_X_read_free = [0, 0, 1, 0, 0, 0, 0, 0];
-    col fixed p_Y_read_free = [0, 0, 0, 1, 1, 0, 0, 0];
-    col fixed p_instr__jump_to_operation = [0, 1, 0, 0, 0, 0, 0, 0];
-    col fixed p_instr__loop = [0, 0, 0, 0, 0, 0, 0, 1];
-    col fixed p_instr__reset = [1, 0, 0, 0, 0, 0, 0, 0];
-    col fixed p_instr_assert_zero = [0, 0, 0, 0, 0, 1, 0, 0];
-    col fixed p_instr_decr = [0, 0, 0, 0, 1, 0, 0, 0];
-    col fixed p_instr_incr = [0, 0, 0, 1, 0, 0, 0, 0];
-    col fixed p_instr_return = [0, 0, 0, 0, 0, 0, 1, 0];
-    col fixed p_read_X_A = [0, 0, 0, 1, 1, 1, 0, 0];
-    col fixed p_reg_write_X_A = [0, 0, 1, 0, 0, 0, 0, 0];
-    col fixed p_reg_write_Y_A = [0, 0, 0, 1, 1, 0, 0, 0];
-    { main.pc, main.reg_write_X_A, main.reg_write_Y_A, main.instr_incr, main.instr_decr, main.instr_assert_zero, main.instr__jump_to_operation, main.instr__reset, main.instr__loop, main.instr_return, main.X_read_free, main.read_X_A, main.Y_read_free } in { main.p_line, main.p_reg_write_X_A, main.p_reg_write_Y_A, main.p_instr_incr, main.p_instr_decr, main.p_instr_assert_zero, main.p_instr__jump_to_operation, main.p_instr__reset, main.p_instr__loop, main.p_instr_return, main.p_X_read_free, main.p_read_X_A, main.p_Y_read_free };
-    col fixed _block_enforcer_last_step = [0]* + [1];
-    col witness _operation_id_no_change;
-    main._operation_id_no_change = ((1 - main._block_enforcer_last_step) * (1 - main.instr_return));
-    (main._operation_id_no_change * (main._operation_id' - main._operation_id)) = 0;
-    col fixed _linker_first_step = [1] + [0]*;
-    (main._linker_first_step * (main._operation_id - 2)) = 0;
-    (main._linker_first_step * (main._operation_id - 2)) = 0;
diff --git a/proof.bin b/proof.bin
deleted file mode 100644
index dfe9cae6b9..0000000000
Binary files a/proof.bin and /dev/null differ
diff --git a/yarn.lock b/yarn.lock
deleted file mode 100644
index fb57ccd13a..0000000000
--- a/yarn.lock
+++ /dev/null
@@ -1,4 +0,0 @@
-# THIS IS AN AUTOGENERATED FILE. DO NOT EDIT THIS FILE DIRECTLY.
-# yarn lockfile v1
-
-