From 6ca8e0fa4e1da8725bddaaf4c40875f86aa23851 Mon Sep 17 00:00:00 2001
From: Balazs Komuves <bkomuves@gmail.com>
Date: Mon, 16 Dec 2024 21:49:39 +0100
Subject: [PATCH] improving the web visualizer

---
 tooling/web/index.html                  |  17 +--
 tooling/web/json/fibonacci_witness.json |   2 +-
 tooling/web/json/lookup_witness.json    |   2 +-
 tooling/web/witness_view.js             | 173 ++++++++++++++++++++++--
 4 files changed, 169 insertions(+), 25 deletions(-)

diff --git a/tooling/web/index.html b/tooling/web/index.html
index 6dfbbe3e..d3409a8d 100644
--- a/tooling/web/index.html
+++ b/tooling/web/index.html
@@ -13,8 +13,8 @@
   <script language="javascript">
     window.onload = function() {
       console.log("onload!");
-      // let fname = "json/fibonacci_witness.json";
-      let fname = "json/lookup_witness.json";
+      let fname = "json/fibonacci_witness.json";
+      // let fname = "json/lookup_witness.json";
       // let fname = "json/outer_witness.json";
       load_witness(fname);
     }
@@ -51,6 +51,7 @@
         <tr>
           <th>index</th>
           <th width="200px">gate type</th>
+          <th>count</th>
         </tr>
       </table>
     </div>
@@ -61,12 +62,12 @@
 
     <div class="horiz">
       <table id="cell-properties">
-        <tr><th>property</th><th width="200px">value (hover!)</th></tr>
-        <tr><td>row     </td><td id="cell-row"   ></td></tr>
-        <tr><td>column  </td><td id="cell-column"></td></tr>
-        <tr><td>value   </td><td id="cell-value" ></td></tr>
-        <tr><td>gate    </td><td id="cell-gate"  ></td></tr>
-        <tr><td>equation</td><td id="cell-equ"   ></td></tr>
+        <tr><th>property </th><th width="200px">value (hover!)</th></tr>
+        <tr><td>gate     </td><td id="cell-gate"  ></td></tr>
+        <tr><td>position </td><td id="cell-pos"   ></td></tr>
+        <tr><td>value    </td><td id="cell-value" ></td></tr>
+        <tr><td>role     </td><td id="cell-role"  ></td></tr>
+        <tr><td>equation </td><td id="cell-equ"   ></td></tr>
       </table>
     </div>  
 
diff --git a/tooling/web/json/fibonacci_witness.json b/tooling/web/json/fibonacci_witness.json
index 2f405ca5..168a8deb 100644
--- a/tooling/web/json/fibonacci_witness.json
+++ b/tooling/web/json/fibonacci_witness.json
@@ -1 +1 @@
-{"gates":["ConstantGate:2","PublicInputGate","ArithmeticGate:20","PoseidonGate:12"],"selector_vector":[2,2,2,2,2,3,1,0],"matrix":[[0,6765,102334155,1548008755920,23416728348467685,0,8416658900775745054,0],[1,1,1,1,1,1,12574228347150446423,1],[1,10946,165580141,2504730781961,37889062373143906,3736710860384812976,9629056739760131473,0],[1,17711,267914296,4052739537881,61305790721611591,0,3119289788404190010,0],[1,10946,165580141,2504730781961,37889062373143906,0,0,0],[1,1,1,1,1,0,0,0],[1,17711,267914296,4052739537881,61305790721611591,0,0,0],[2,28657,433494437,6557470319842,99194853094755497,0,0,0],[1,17711,267914296,4052739537881,61305790721611591,0,0,0],[1,1,1,1,1,0,0,0],[2,28657,433494437,6557470319842,99194853094755497,0,0,0],[3,46368,701408733,10610209857723,160500643816367088,0,0,0],[2,28657,433494437,6557470319842,99194853094755497,8416658900775745054,0,0],[1,1,1,1,1,12574228347150446423,0,0],[3,46368,701408733,10610209857723,160500643816367088,9629056739760131473,0,0],[5,75025,1134903170,17167680177565,259695496911122585,3119289788404190010,0,0],[3,46368,701408733,10610209857723,160500643816367088,14861960955103405647,0,0],[1,1,1,1,1,372802127489869527,0,0],[5,75025,1134903170,17167680177565,259695496911122585,17949976003686161308,0,0],[8,121393,1836311903,27777890035288,420196140727489673,1857324986026215171,0,0],[5,75025,1134903170,17167680177565,259695496911122585,5971167677106193079,0,0],[1,1,1,1,1,11693818845587106938,0,0],[8,121393,1836311903,27777890035288,420196140727489673,2069952246609707872,0,0],[13,196418,2971215073,44945570212853,679891637638612258,217879661521314238,0,0],[8,121393,1836311903,27777890035288,420196140727489673,0,0,0],[1,1,1,1,1,0,0,0],[13,196418,2971215073,44945570212853,679891637638612258,0,0,0],[21,317811,4807526976,72723460248141,1100087778366101931,0,0,0],[13,196418,2971215073,44945570212853,679891637638612258,0,0,0],[1,1,1,1,1,10040222711290671429,0,0],[21,317811,4807526976,72723460248141,1100087778366101931,14620731031104971238,0,0],[34,514229,7778742049,117669030460994,1779979416004714189,17044025898016030703,0,0],[21,317811,4807526976,72723460248141,1100087778366101931,7238567237932994928,0,0],[1,1,1,1,1,15906345692884439372,0,0],[34,514229,7778742049,117669030460994,1779979416004714189,5144700563978952905,0,0],[55,832040,12586269025,190392490709135,2880067194370816120,8166204101423404765,0,0],[34,514229,7778742049,117669030460994,1779979416004714189,477486086501229569,0,0],[1,1,1,1,1,9608939408992013865,0,0],[55,832040,12586269025,190392490709135,2880067194370816120,3967372222851101859,0,0],[89,1346269,20365011074,308061521170129,4660046610375530309,6747904536878816765,0,0],[55,832040,12586269025,190392490709135,2880067194370816120,10676707001551177325,0,0],[1,1,1,1,1,15582639502207228120,0,0],[89,1346269,20365011074,308061521170129,4660046610375530309,13686409820604502173,0,0],[144,2178309,32951280099,498454011879264,7540113804746346429,1567790829695590004,0,0],[89,1346269,20365011074,308061521170129,4660046610375530309,17435189342848201979,0,0],[1,1,1,1,1,6880593622141894941,0,0],[144,2178309,32951280099,498454011879264,7540113804746346429,8426833217377909941,0,0],[233,3524578,53316291173,806515533049393,12200160415121876738,1750952861857697999,0,0],[144,2178309,32951280099,498454011879264,7540113804746346429,7363947565712320428,0,0],[1,1,1,1,1,3124824639148633302,0,0],[233,3524578,53316291173,806515533049393,12200160415121876738,9815057002508797666,0,0],[377,5702887,86267571272,1304969544928657,1293530150453638846,8800225758791566091,0,0],[233,3524578,53316291173,806515533049393,12200160415121876738,15770247867912269728,0,0],[1,1,1,1,1,3135653937829880960,0,0],[377,5702887,86267571272,1304969544928657,1293530150453638846,15779646663237235129,0,0],[610,9227465,139583862445,2111485077978050,13493690565575515584,6797675489104882722,0,0],[377,5702887,86267571272,1304969544928657,1293530150453638846,2449041418020548842,0,0],[1,1,1,1,1,7190423305376289408,0,0],[610,9227465,139583862445,2111485077978050,13493690565575515584,17337800908067952557,0,0],[987,14930352,225851433717,3416454622906707,14787220716029154430,5830228614653198906,0,0],[610,9227465,139583862445,2111485077978050,13493690565575515584,8884464056103704513,0,0],[1,1,1,1,1,5363825021791947577,0,0],[987,14930352,225851433717,3416454622906707,14787220716029154430,15220052284474590997,0,0],[1597,24157817,365435296162,5527939700884757,9834167212190085693,8505277843539538987,0,0],[987,14930352,225851433717,3416454622906707,14787220716029154430,9904213084008489739,0,0],[1,1,1,1,1,16267234471440708648,0,0],[1597,24157817,365435296162,5527939700884757,9834167212190085693,7397784185928096775,0,0],[2584,39088169,591286729879,8944394323791464,6174643858804655802,18428755921504058133,0,0],[1597,24157817,365435296162,5527939700884757,9834167212190085693,3337122630204711140,0,0],[1,1,1,1,1,16198616623652854046,0,0],[2584,39088169,591286729879,8944394323791464,6174643858804655802,15666646868790223685,0,0],[4181,63245986,956722026041,14472334024676221,16008811070994741495,8026155603046169528,0,0],[2584,39088169,591286729879,8944394323791464,6174643858804655802,8469751101646333747,0,0],[1,1,1,1,1,9164013103097068803,0,0],[4181,63245986,956722026041,14472334024676221,16008811070994741495,12400986561189304806,0,0],[6765,102334155,1548008755920,23416728348467685,3736710860384812976,16077058258931765567,0,0],[4181,63245986,956722026041,14472334024676221,0,11379947257449814103,0,0],[1,1,1,1,0,15535488051570816465,0,0],[6765,102334155,1548008755920,23416728348467685,0,15881106855513562765,0,0],[10946,165580141,2504730781961,37889062373143906,0,7781013937409781090,0,0],[0,0,0,0,0,1225792993053954782,0,0],[0,0,0,0,0,17643850961762156539,0,0],[0,0,0,0,0,4033881532651059650,0,0],[0,0,0,0,0,10550305237523993157,0,0],[0,0,0,0,0,8184211280336425828,0,0],[0,0,0,0,0,562906072670039007,0,0],[0,0,0,0,0,6362129067496863546,0,0],[0,0,0,0,0,6526337289101062663,0,0],[0,0,0,0,0,6490233936458245575,0,0],[0,0,0,0,0,12891963448702135799,0,0],[0,0,0,0,0,17760427698633916708,0,0],[0,0,0,0,0,6497795749681618804,0,0],[0,0,0,0,0,12827959275124201763,0,0],[0,0,0,0,0,11113378605033148767,0,0],[0,0,0,0,0,6569703523987102558,0,0],[0,0,0,0,0,7995489224595613381,0,0],[0,0,0,0,0,13387871631798397469,0,0],[0,0,0,0,0,10659905477666838737,0,0],[0,0,0,0,0,1840186988953944109,0,0],[0,0,0,0,0,15890763427816250250,0,0],[0,0,0,0,0,1029740517934924290,0,0],[0,0,0,0,0,7078942175277198294,0,0],[0,0,0,0,0,8493243431220293997,0,0],[0,0,0,0,0,15522877625405579026,0,0],[0,0,0,0,0,16496651246651191648,0,0],[0,0,0,0,0,4444069363249625691,0,0],[0,0,0,0,0,14026344929456590691,0,0],[0,0,0,0,0,15722697891119137492,0,0],[0,0,0,0,0,7060126015483727731,0,0],[0,0,0,0,0,10519195180224552510,0,0],[0,0,0,0,0,13821269625316219387,0,0],[0,0,0,0,0,10658689852821575241,0,0],[0,0,0,0,0,2174261422963674768,0,0],[0,0,0,0,0,11010238115484875126,0,0],[0,0,0,0,0,3344493737477086936,0,0],[0,0,0,0,0,3169819264478121565,0,0],[0,0,0,0,0,10548892680228605962,0,0],[0,0,0,0,0,8054855812681440344,0,0],[0,0,0,0,0,2292458712761356147,0,0],[0,0,0,0,0,5641640176540904214,0,0],[0,0,0,0,0,6920691066608171985,0,0],[0,0,0,0,0,14203798936975626124,0,0],[0,0,0,0,0,5973321330466181466,0,0],[0,0,0,0,0,1089446532694553977,0,0],[0,0,0,0,0,8112981925793197878,0,0],[0,0,0,0,0,6317657525109977570,0,0],[0,0,0,0,0,8259326469873680154,0,0],[0,0,0,0,0,18293467284009711799,0,0],[0,0,0,0,0,8616308775836730292,0,0],[0,0,0,0,0,2919873196638644821,0,0],[0,0,0,0,0,3445369750894310746,0,0],[0,0,0,0,0,976214721355428342,0,0],[0,0,0,0,0,4717957757685036884,0,0],[0,0,0,0,0,4723399287518688581,0,0],[0,0,0,0,0,11331936104580144288,0,0]]}
\ No newline at end of file
+{"gates":["ConstantGate:2","PublicInputGate","ArithmeticGate:20","PoseidonGate:12"],"selector_vector":[2,2,2,2,2,3,1,0],"selector_columns":[[2,2,2,2,2,4294967295,1,0],[4294967295,4294967295,4294967295,4294967295,4294967295,3,4294967295,4294967295]],"constants_columns":[[1,1,1,1,1,0,0,0],[1,1,1,1,1,0,0,1]],"matrix":[[0,6765,102334155,1548008755920,23416728348467685,0,8416658900775745054,0],[1,1,1,1,1,1,12574228347150446423,1],[1,10946,165580141,2504730781961,37889062373143906,3736710860384812976,9629056739760131473,0],[1,17711,267914296,4052739537881,61305790721611591,0,3119289788404190010,0],[1,10946,165580141,2504730781961,37889062373143906,0,0,0],[1,1,1,1,1,0,0,0],[1,17711,267914296,4052739537881,61305790721611591,0,0,0],[2,28657,433494437,6557470319842,99194853094755497,0,0,0],[1,17711,267914296,4052739537881,61305790721611591,0,0,0],[1,1,1,1,1,0,0,0],[2,28657,433494437,6557470319842,99194853094755497,0,0,0],[3,46368,701408733,10610209857723,160500643816367088,0,0,0],[2,28657,433494437,6557470319842,99194853094755497,8416658900775745054,0,0],[1,1,1,1,1,12574228347150446423,0,0],[3,46368,701408733,10610209857723,160500643816367088,9629056739760131473,0,0],[5,75025,1134903170,17167680177565,259695496911122585,3119289788404190010,0,0],[3,46368,701408733,10610209857723,160500643816367088,14861960955103405647,0,0],[1,1,1,1,1,372802127489869527,0,0],[5,75025,1134903170,17167680177565,259695496911122585,17949976003686161308,0,0],[8,121393,1836311903,27777890035288,420196140727489673,1857324986026215171,0,0],[5,75025,1134903170,17167680177565,259695496911122585,5971167677106193079,0,0],[1,1,1,1,1,11693818845587106938,0,0],[8,121393,1836311903,27777890035288,420196140727489673,2069952246609707872,0,0],[13,196418,2971215073,44945570212853,679891637638612258,217879661521314238,0,0],[8,121393,1836311903,27777890035288,420196140727489673,0,0,0],[1,1,1,1,1,0,0,0],[13,196418,2971215073,44945570212853,679891637638612258,0,0,0],[21,317811,4807526976,72723460248141,1100087778366101931,0,0,0],[13,196418,2971215073,44945570212853,679891637638612258,0,0,0],[1,1,1,1,1,10040222711290671429,0,0],[21,317811,4807526976,72723460248141,1100087778366101931,14620731031104971238,0,0],[34,514229,7778742049,117669030460994,1779979416004714189,17044025898016030703,0,0],[21,317811,4807526976,72723460248141,1100087778366101931,7238567237932994928,0,0],[1,1,1,1,1,15906345692884439372,0,0],[34,514229,7778742049,117669030460994,1779979416004714189,5144700563978952905,0,0],[55,832040,12586269025,190392490709135,2880067194370816120,8166204101423404765,0,0],[34,514229,7778742049,117669030460994,1779979416004714189,477486086501229569,0,0],[1,1,1,1,1,9608939408992013865,0,0],[55,832040,12586269025,190392490709135,2880067194370816120,3967372222851101859,0,0],[89,1346269,20365011074,308061521170129,4660046610375530309,6747904536878816765,0,0],[55,832040,12586269025,190392490709135,2880067194370816120,10676707001551177325,0,0],[1,1,1,1,1,15582639502207228120,0,0],[89,1346269,20365011074,308061521170129,4660046610375530309,13686409820604502173,0,0],[144,2178309,32951280099,498454011879264,7540113804746346429,1567790829695590004,0,0],[89,1346269,20365011074,308061521170129,4660046610375530309,17435189342848201979,0,0],[1,1,1,1,1,6880593622141894941,0,0],[144,2178309,32951280099,498454011879264,7540113804746346429,8426833217377909941,0,0],[233,3524578,53316291173,806515533049393,12200160415121876738,1750952861857697999,0,0],[144,2178309,32951280099,498454011879264,7540113804746346429,7363947565712320428,0,0],[1,1,1,1,1,3124824639148633302,0,0],[233,3524578,53316291173,806515533049393,12200160415121876738,9815057002508797666,0,0],[377,5702887,86267571272,1304969544928657,1293530150453638846,8800225758791566091,0,0],[233,3524578,53316291173,806515533049393,12200160415121876738,15770247867912269728,0,0],[1,1,1,1,1,3135653937829880960,0,0],[377,5702887,86267571272,1304969544928657,1293530150453638846,15779646663237235129,0,0],[610,9227465,139583862445,2111485077978050,13493690565575515584,6797675489104882722,0,0],[377,5702887,86267571272,1304969544928657,1293530150453638846,2449041418020548842,0,0],[1,1,1,1,1,7190423305376289408,0,0],[610,9227465,139583862445,2111485077978050,13493690565575515584,17337800908067952557,0,0],[987,14930352,225851433717,3416454622906707,14787220716029154430,5830228614653198906,0,0],[610,9227465,139583862445,2111485077978050,13493690565575515584,8884464056103704513,0,0],[1,1,1,1,1,5363825021791947577,0,0],[987,14930352,225851433717,3416454622906707,14787220716029154430,15220052284474590997,0,0],[1597,24157817,365435296162,5527939700884757,9834167212190085693,8505277843539538987,0,0],[987,14930352,225851433717,3416454622906707,14787220716029154430,9904213084008489739,0,0],[1,1,1,1,1,16267234471440708648,0,0],[1597,24157817,365435296162,5527939700884757,9834167212190085693,7397784185928096775,0,0],[2584,39088169,591286729879,8944394323791464,6174643858804655802,18428755921504058133,0,0],[1597,24157817,365435296162,5527939700884757,9834167212190085693,3337122630204711140,0,0],[1,1,1,1,1,16198616623652854046,0,0],[2584,39088169,591286729879,8944394323791464,6174643858804655802,15666646868790223685,0,0],[4181,63245986,956722026041,14472334024676221,16008811070994741495,8026155603046169528,0,0],[2584,39088169,591286729879,8944394323791464,6174643858804655802,8469751101646333747,0,0],[1,1,1,1,1,9164013103097068803,0,0],[4181,63245986,956722026041,14472334024676221,16008811070994741495,12400986561189304806,0,0],[6765,102334155,1548008755920,23416728348467685,3736710860384812976,16077058258931765567,0,0],[4181,63245986,956722026041,14472334024676221,0,11379947257449814103,0,0],[1,1,1,1,0,15535488051570816465,0,0],[6765,102334155,1548008755920,23416728348467685,0,15881106855513562765,0,0],[10946,165580141,2504730781961,37889062373143906,0,7781013937409781090,0,0],[0,0,0,0,0,1225792993053954782,0,0],[0,0,0,0,0,17643850961762156539,0,0],[0,0,0,0,0,4033881532651059650,0,0],[0,0,0,0,0,10550305237523993157,0,0],[0,0,0,0,0,8184211280336425828,0,0],[0,0,0,0,0,562906072670039007,0,0],[0,0,0,0,0,6362129067496863546,0,0],[0,0,0,0,0,6526337289101062663,0,0],[0,0,0,0,0,6490233936458245575,0,0],[0,0,0,0,0,12891963448702135799,0,0],[0,0,0,0,0,17760427698633916708,0,0],[0,0,0,0,0,6497795749681618804,0,0],[0,0,0,0,0,12827959275124201763,0,0],[0,0,0,0,0,11113378605033148767,0,0],[0,0,0,0,0,6569703523987102558,0,0],[0,0,0,0,0,7995489224595613381,0,0],[0,0,0,0,0,13387871631798397469,0,0],[0,0,0,0,0,10659905477666838737,0,0],[0,0,0,0,0,1840186988953944109,0,0],[0,0,0,0,0,15890763427816250250,0,0],[0,0,0,0,0,1029740517934924290,0,0],[0,0,0,0,0,7078942175277198294,0,0],[0,0,0,0,0,8493243431220293997,0,0],[0,0,0,0,0,15522877625405579026,0,0],[0,0,0,0,0,16496651246651191648,0,0],[0,0,0,0,0,4444069363249625691,0,0],[0,0,0,0,0,14026344929456590691,0,0],[0,0,0,0,0,15722697891119137492,0,0],[0,0,0,0,0,7060126015483727731,0,0],[0,0,0,0,0,10519195180224552510,0,0],[0,0,0,0,0,13821269625316219387,0,0],[0,0,0,0,0,10658689852821575241,0,0],[0,0,0,0,0,2174261422963674768,0,0],[0,0,0,0,0,11010238115484875126,0,0],[0,0,0,0,0,3344493737477086936,0,0],[0,0,0,0,0,3169819264478121565,0,0],[0,0,0,0,0,10548892680228605962,0,0],[0,0,0,0,0,8054855812681440344,0,0],[0,0,0,0,0,2292458712761356147,0,0],[0,0,0,0,0,5641640176540904214,0,0],[0,0,0,0,0,6920691066608171985,0,0],[0,0,0,0,0,14203798936975626124,0,0],[0,0,0,0,0,5973321330466181466,0,0],[0,0,0,0,0,1089446532694553977,0,0],[0,0,0,0,0,8112981925793197878,0,0],[0,0,0,0,0,6317657525109977570,0,0],[0,0,0,0,0,8259326469873680154,0,0],[0,0,0,0,0,18293467284009711799,0,0],[0,0,0,0,0,8616308775836730292,0,0],[0,0,0,0,0,2919873196638644821,0,0],[0,0,0,0,0,3445369750894310746,0,0],[0,0,0,0,0,976214721355428342,0,0],[0,0,0,0,0,4717957757685036884,0,0],[0,0,0,0,0,4723399287518688581,0,0],[0,0,0,0,0,11331936104580144288,0,0]]}
\ No newline at end of file
diff --git a/tooling/web/json/lookup_witness.json b/tooling/web/json/lookup_witness.json
index a62b69d1..4b067d64 100644
--- a/tooling/web/json/lookup_witness.json
+++ b/tooling/web/json/lookup_witness.json
@@ -1 +1 @@
-{"gates":["LookupGate:40","LookupTableGate:26","NoopGate","ConstantGate:2","PublicInputGate","ArithmeticGate:20","PoseidonGate:12"],"selector_vector":[5,5,6,4,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,3,3,3,3,3,2],"matrix":[[1,989,210,4601819047774343738,199,3539,3329,3109,2879,2689,2467,2281,2081,1873,1663,1483,1289,1093,919,739,571,401,241,103,2,0,0,2,4,6,8,0],[210,1,199,9284424728117671267,45,494,468,442,416,390,364,338,312,286,260,234,208,182,156,130,104,78,52,26,0,0,1,3,5,7,9,0],[199,262,1854,7409375103472159365,409,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,30,0,0,0,0,0,0,0],[409,1251,11440,6569778897557037641,79,3541,3331,3119,2887,2693,2473,2287,2083,1877,1667,1487,1291,1097,929,743,577,409,251,107,3,0,0,0,0,0,0,0],[199,8,0,0,619,495,469,443,417,391,365,339,313,287,261,235,209,183,157,131,105,79,53,27,1,0,0,0,0,0,0,0],[1,210,0,0,113,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0],[409,199,0,0,829,3547,3343,3121,2897,2699,2477,2293,2087,1879,1669,1489,1297,1103,937,751,587,419,257,109,5,0,0,0,0,0,0,0],[608,1879,0,0,144,496,470,444,418,392,366,340,314,288,262,236,210,184,158,132,106,80,54,28,2,0,0,0,0,0,0,0],[45,7472,0,0,1039,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,1,0,0,174,3557,3347,3137,2903,2707,2503,2297,2089,1889,1693,1493,1301,1109,941,757,593,421,263,113,7,0,0,0,0,0,0,0],[79,1879,0,0,1249,497,471,445,419,393,367,341,315,289,263,237,211,185,159,133,107,81,55,29,3,0,0,0,0,0,0,0],[124,9351,0,0,203,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[2,1251,4601819047774343738,0,1459,3559,3359,3163,2909,2711,2521,2309,2099,1901,1697,1499,1303,1117,947,761,599,431,269,127,11,0,0,0,0,0,0,0],[210,1,9284424728117671267,0,231,498,472,446,420,394,368,342,316,290,264,238,212,186,160,134,108,82,56,30,4,0,0,0,0,0,0,0],[199,288,7409375103472159365,0,1669,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[619,1539,6569778897557037641,0,262,3571,3361,3167,2917,2713,2531,2311,2111,1907,1699,1511,1307,1123,953,769,601,433,271,131,13,0,0,0,0,0,0,0],[608,9,15085040408331506455,0,1879,499,473,447,421,395,369,343,317,291,265,239,213,187,161,135,109,83,57,31,5,0,0,0,0,0,0,0],[1,210,488314491132798586,0,288,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[619,199,12393673842135220116,0,2089,3581,3371,3169,2927,2719,2539,2333,2113,1913,1709,1523,1319,1129,967,773,607,439,277,137,17,0,0,0,0,0,0,0],[1227,2089,8452007975177855864,0,315,500,474,448,422,396,370,344,318,292,266,240,214,188,162,136,110,84,58,32,6,0,0,0,0,0,0,0],[124,9351,5843066238768001775,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,1,5115094596305881316,0,0,3583,3373,3181,2939,2729,2543,2339,2129,1931,1721,1531,1321,1151,971,787,613,443,281,139,19,0,0,0,0,0,0,0],[113,2089,17259066695168245272,0,2,501,475,449,423,397,371,345,319,293,267,241,215,189,163,137,111,85,59,33,7,0,0,0,0,0,0,0],[237,11440,2129319673084535805,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[3,1539,0,0,2,3593,3389,3187,2953,2731,2549,2341,2131,1933,1723,1543,1327,1153,977,797,617,449,283,149,23,0,0,0,0,0,0,0],[210,1,0,0,0,502,476,450,424,398,372,346,320,294,268,242,216,190,164,138,112,86,60,34,8,0,0,0,0,0,0,0],[199,315,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[829,1854,0,0,0,3607,3391,3191,2957,2741,2551,2347,2137,1949,1733,1549,1361,1163,983,809,619,457,293,151,29,0,0,0,0,0,0,0],[1227,0,0,0,2,503,477,451,425,399,373,347,321,295,269,243,217,191,165,139,113,87,61,35,9,0,0,0,0,0,0,0],[1,0,7017893171499839300,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0],[829,0,4882788163121742263,0,2,3613,3407,3203,2963,2749,2557,2351,2141,1951,1741,1553,1367,1171,991,811,631,461,307,157,31,0,0,0,0,0,0,0],[2056,0,3175581835715052780,0,0,504,478,452,426,400,374,348,322,296,270,244,218,192,166,140,114,88,62,36,10,0,0,0,0,0,0,0],[237,0,764950602060971381,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,3745727777326304997,0,0,3617,3413,3209,2969,2753,2579,2357,2143,1973,1747,1559,1373,1181,997,821,641,463,311,163,37,0,0,0,0,0,0,0],[144,0,8759306495516641917,0,2,505,479,453,427,401,375,349,323,297,271,245,219,193,167,141,115,89,63,37,11,0,0,0,0,0,0,0],[381,0,16556060616425992997,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[4,0,5965521344186175914,0,2,3623,3433,3217,2971,2767,2591,2371,2153,1979,1753,1567,1381,1187,1009,823,643,467,313,167,41,0,0,0,0,0,0,0],[210,0,18130771000277997640,0,0,506,480,454,428,402,376,350,324,298,272,246,220,194,168,142,116,90,64,38,12,0,0,0,0,0,0,0],[199,0,5255537183810498403,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1039,0,18069823966254917028,0,0,3631,3449,3221,2999,2777,2593,2377,2161,1987,1759,1571,1399,1193,1013,827,647,479,317,173,43,0,0,0,0,0,0,0],[2056,0,11320540435391092122,0,2,507,481,455,429,403,377,351,325,299,273,247,221,195,169,143,117,91,65,39,13,0,0,0,0,0,0,0],[1,0,435027022659657235,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1039,0,1286587503402635788,0,2,3637,3457,3229,3001,2789,2609,2381,2179,1993,1777,1579,1409,1201,1019,829,653,487,331,179,47,0,0,0,0,0,0,0],[3095,0,15524264847597308788,0,0,508,482,456,430,404,378,352,326,300,274,248,222,196,170,144,118,92,66,40,14,0,0,0,0,0,0,0],[381,0,8935636671393912016,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,11222836627109380690,0,0,3643,3461,3251,3011,2791,2617,2383,2203,1997,1783,1583,1423,1213,1021,839,659,491,337,181,53,0,0,0,0,0,0,0],[174,0,14519955749421469180,0,2,509,483,457,431,405,379,353,327,301,275,249,223,197,171,145,119,93,67,41,15,0,0,0,0,0,0,0],[555,0,14486591658137165540,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[5,0,15404145468212953973,0,2,3659,3463,3253,3019,2797,2621,2389,2207,1999,1787,1597,1427,1217,1031,853,661,499,347,191,59,0,0,0,0,0,0,0],[210,0,5542184845608815708,0,0,510,484,458,432,406,380,354,328,302,276,250,224,198,172,146,120,94,68,42,16,0,0,0,0,0,0,0],[199,0,14238556892135957953,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1249,0,14146330539371392548,0,0,3671,3467,3257,3023,2801,2633,2393,2213,2003,1789,1601,1429,1223,1033,857,673,503,349,193,61,0,0,0,0,0,0,0],[3095,0,16009769555010349759,0,2,511,485,459,433,407,381,355,329,303,277,251,225,199,173,147,121,95,69,43,17,0,0,0,0,0,0,0],[1,0,4898049631496635620,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1249,0,13188841533758355881,0,2,0,3469,3259,3037,2803,2647,2399,2221,2011,1801,1607,1433,1229,1039,859,677,509,353,197,67,0,0,0,0,0,0,0],[4344,0,3689658952003638619,0,0,0,486,460,434,408,382,356,330,304,278,252,226,200,174,148,122,96,70,44,18,0,0,0,0,0,0,0],[555,0,18025930886644788188,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,13751387306704431240,0,0,0,3491,3271,3041,2819,2657,2411,2237,2017,1811,1609,1439,1231,1049,863,683,521,359,199,71,0,0,0,0,0,0,0],[203,0,1473141697614140899,0,2,0,487,461,435,409,383,357,331,305,279,253,227,201,175,149,123,97,71,45,19,0,0,0,0,0,0,0],[758,0,12621333237011582102,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0],[6,0,13485019156490265994,0,2,0,3499,3299,3049,2833,2659,2417,2239,2027,1823,1613,1447,1237,1051,877,691,523,367,211,73,0,0,0,0,0,0,0],[210,0,1156517423643744853,0,0,0,488,462,436,410,384,358,332,306,280,254,228,202,176,150,124,98,72,46,20,0,0,0,0,0,0,0],[199,0,181851254440633455,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1459,0,17312089958954280922,0,0,0,3511,3301,3061,2837,2663,2423,2243,2029,1831,1619,1451,1249,1061,881,701,541,373,223,79,0,0,0,0,0,0,0],[4344,0,1517008161052047105,0,2,0,489,463,437,411,385,359,333,307,281,255,229,203,177,151,125,99,73,47,21,0,0,0,0,0,0,0],[1,0,9672468242681175863,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1459,0,1343878938500108116,0,2,0,3517,3307,3067,2843,2671,2437,2251,2039,1847,1621,1453,1259,1063,883,709,547,379,227,83,0,0,0,0,0,0,0],[5803,0,8584477622754537188,0,0,0,490,464,438,412,386,360,334,308,282,256,230,204,178,152,126,100,74,48,22,0,0,0,0,0,0,0],[758,0,12228682831808118324,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,17668648671831554585,0,0,0,3527,3313,3079,2851,2677,2441,2267,2053,1861,1627,1459,1277,1069,887,719,557,383,229,89,0,0,0,0,0,0,0],[231,0,14700003892182351336,0,2,0,491,465,439,413,387,361,335,309,283,257,231,205,179,153,127,101,75,49,23,0,0,0,0,0,0,0],[989,0,617966705453220923,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[7,0,937133531836548517,0,2,0,3529,3319,3083,2857,2683,2447,2269,2063,1867,1637,1471,1279,1087,907,727,563,389,233,97,0,0,0,0,0,0,0],[210,0,6742510167904083341,0,0,0,492,466,440,414,388,362,336,310,284,258,232,206,180,154,128,102,76,50,24,0,0,0,0,0,0,0],[199,0,17134635740230111340,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1669,0,9108680822373369787,0,0,0,3533,3323,3089,2861,2687,2459,2273,2069,1871,1657,1481,1283,1091,911,733,569,397,239,101,0,0,0,0,0,0,0],[5803,0,16550909764637899911,0,2,0,493,467,441,415,389,363,337,311,285,259,233,207,181,155,129,103,77,51,25,0,0,0,0,0,0,0],[1,0,7436712001148158693,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1669,0,256205314842203320,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[7472,0,7976893166980171693,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,3294414182795338912,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,10629380326888464431,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,10965386824795285604,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,16580269766603961508,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,7081170191930415462,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,381307495885208396,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,11932338890327294610,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,7943922424945436927,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,1356209259737028615,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,9686499502336256849,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,14185401620502514371,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,14525350591386907402,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,16174966815064726157,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,4597294708103049064,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,8140299135400446575,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,13794753086841857347,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,2241041278393919561,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,8289219537838690270,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,823597923857216372,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,8103900730341474847,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,3901225314336218149,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,11961022605790926417,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,6016822306250094533,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,9139298751831861554,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,213400138394106660,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,6259406545409643520,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,14260021141567171556,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,4374816455822456400,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,13966210279958166634,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,1725313968750515219,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,8903494261937866510,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,10831885624052065615,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,9683929612847379814,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,14065908482739460769,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,5569978174269184675,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,8045969578281302085,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,9447216028941965124,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,11883785987246910104,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,4401962237608612124,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,1509999318285604330,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,5980292828683614171,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,17295352549468725573,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,5123326422423265999,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,15728015560999139260,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,4724187432461175180,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,14893952206814687238,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,316456214706582908,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,15342274545351413482,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,13919793037093762578,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,9645801232492508797,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,3563678755708640732,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,10094996241642241518,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,5393738275170507032,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,17493883008068174620,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,15756498557682406521,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]]}
\ No newline at end of file
+{"gates":["LookupGate:40","LookupTableGate:26","NoopGate","ConstantGate:2","PublicInputGate","ArithmeticGate:20","PoseidonGate:12"],"selector_vector":[5,5,6,4,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,3,3,3,3,3,2],"selector_columns":[[5,5,4294967295,4,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,3,3,3,3,3,2],[4294967295,4294967295,6,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295]],"constants_columns":[[0,0,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0],[0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0],[0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,4,6,8,0],[1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,3,5,7,9,0]],"matrix":[[1,989,210,4601819047774343738,199,3539,3329,3109,2879,2689,2467,2281,2081,1873,1663,1483,1289,1093,919,739,571,401,241,103,2,0,0,2,4,6,8,0],[210,1,199,9284424728117671267,45,494,468,442,416,390,364,338,312,286,260,234,208,182,156,130,104,78,52,26,0,0,1,3,5,7,9,0],[199,262,1854,7409375103472159365,409,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,30,0,0,0,0,0,0,0],[409,1251,11440,6569778897557037641,79,3541,3331,3119,2887,2693,2473,2287,2083,1877,1667,1487,1291,1097,929,743,577,409,251,107,3,0,0,0,0,0,0,0],[199,8,0,0,619,495,469,443,417,391,365,339,313,287,261,235,209,183,157,131,105,79,53,27,1,0,0,0,0,0,0,0],[1,210,0,0,113,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0],[409,199,0,0,829,3547,3343,3121,2897,2699,2477,2293,2087,1879,1669,1489,1297,1103,937,751,587,419,257,109,5,0,0,0,0,0,0,0],[608,1879,0,0,144,496,470,444,418,392,366,340,314,288,262,236,210,184,158,132,106,80,54,28,2,0,0,0,0,0,0,0],[45,7472,0,0,1039,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,1,0,0,174,3557,3347,3137,2903,2707,2503,2297,2089,1889,1693,1493,1301,1109,941,757,593,421,263,113,7,0,0,0,0,0,0,0],[79,1879,0,0,1249,497,471,445,419,393,367,341,315,289,263,237,211,185,159,133,107,81,55,29,3,0,0,0,0,0,0,0],[124,9351,0,0,203,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[2,1251,4601819047774343738,0,1459,3559,3359,3163,2909,2711,2521,2309,2099,1901,1697,1499,1303,1117,947,761,599,431,269,127,11,0,0,0,0,0,0,0],[210,1,9284424728117671267,0,231,498,472,446,420,394,368,342,316,290,264,238,212,186,160,134,108,82,56,30,4,0,0,0,0,0,0,0],[199,288,7409375103472159365,0,1669,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[619,1539,6569778897557037641,0,262,3571,3361,3167,2917,2713,2531,2311,2111,1907,1699,1511,1307,1123,953,769,601,433,271,131,13,0,0,0,0,0,0,0],[608,9,15085040408331506455,0,1879,499,473,447,421,395,369,343,317,291,265,239,213,187,161,135,109,83,57,31,5,0,0,0,0,0,0,0],[1,210,488314491132798586,0,288,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[619,199,12393673842135220116,0,2089,3581,3371,3169,2927,2719,2539,2333,2113,1913,1709,1523,1319,1129,967,773,607,439,277,137,17,0,0,0,0,0,0,0],[1227,2089,8452007975177855864,0,315,500,474,448,422,396,370,344,318,292,266,240,214,188,162,136,110,84,58,32,6,0,0,0,0,0,0,0],[124,9351,5843066238768001775,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,1,5115094596305881316,0,0,3583,3373,3181,2939,2729,2543,2339,2129,1931,1721,1531,1321,1151,971,787,613,443,281,139,19,0,0,0,0,0,0,0],[113,2089,17259066695168245272,0,2,501,475,449,423,397,371,345,319,293,267,241,215,189,163,137,111,85,59,33,7,0,0,0,0,0,0,0],[237,11440,2129319673084535805,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[3,1539,0,0,2,3593,3389,3187,2953,2731,2549,2341,2131,1933,1723,1543,1327,1153,977,797,617,449,283,149,23,0,0,0,0,0,0,0],[210,1,0,0,0,502,476,450,424,398,372,346,320,294,268,242,216,190,164,138,112,86,60,34,8,0,0,0,0,0,0,0],[199,315,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[829,1854,0,0,0,3607,3391,3191,2957,2741,2551,2347,2137,1949,1733,1549,1361,1163,983,809,619,457,293,151,29,0,0,0,0,0,0,0],[1227,0,0,0,2,503,477,451,425,399,373,347,321,295,269,243,217,191,165,139,113,87,61,35,9,0,0,0,0,0,0,0],[1,0,7017893171499839300,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0],[829,0,4882788163121742263,0,2,3613,3407,3203,2963,2749,2557,2351,2141,1951,1741,1553,1367,1171,991,811,631,461,307,157,31,0,0,0,0,0,0,0],[2056,0,3175581835715052780,0,0,504,478,452,426,400,374,348,322,296,270,244,218,192,166,140,114,88,62,36,10,0,0,0,0,0,0,0],[237,0,764950602060971381,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,3745727777326304997,0,0,3617,3413,3209,2969,2753,2579,2357,2143,1973,1747,1559,1373,1181,997,821,641,463,311,163,37,0,0,0,0,0,0,0],[144,0,8759306495516641917,0,2,505,479,453,427,401,375,349,323,297,271,245,219,193,167,141,115,89,63,37,11,0,0,0,0,0,0,0],[381,0,16556060616425992997,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[4,0,5965521344186175914,0,2,3623,3433,3217,2971,2767,2591,2371,2153,1979,1753,1567,1381,1187,1009,823,643,467,313,167,41,0,0,0,0,0,0,0],[210,0,18130771000277997640,0,0,506,480,454,428,402,376,350,324,298,272,246,220,194,168,142,116,90,64,38,12,0,0,0,0,0,0,0],[199,0,5255537183810498403,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1039,0,18069823966254917028,0,0,3631,3449,3221,2999,2777,2593,2377,2161,1987,1759,1571,1399,1193,1013,827,647,479,317,173,43,0,0,0,0,0,0,0],[2056,0,11320540435391092122,0,2,507,481,455,429,403,377,351,325,299,273,247,221,195,169,143,117,91,65,39,13,0,0,0,0,0,0,0],[1,0,435027022659657235,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1039,0,1286587503402635788,0,2,3637,3457,3229,3001,2789,2609,2381,2179,1993,1777,1579,1409,1201,1019,829,653,487,331,179,47,0,0,0,0,0,0,0],[3095,0,15524264847597308788,0,0,508,482,456,430,404,378,352,326,300,274,248,222,196,170,144,118,92,66,40,14,0,0,0,0,0,0,0],[381,0,8935636671393912016,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,11222836627109380690,0,0,3643,3461,3251,3011,2791,2617,2383,2203,1997,1783,1583,1423,1213,1021,839,659,491,337,181,53,0,0,0,0,0,0,0],[174,0,14519955749421469180,0,2,509,483,457,431,405,379,353,327,301,275,249,223,197,171,145,119,93,67,41,15,0,0,0,0,0,0,0],[555,0,14486591658137165540,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[5,0,15404145468212953973,0,2,3659,3463,3253,3019,2797,2621,2389,2207,1999,1787,1597,1427,1217,1031,853,661,499,347,191,59,0,0,0,0,0,0,0],[210,0,5542184845608815708,0,0,510,484,458,432,406,380,354,328,302,276,250,224,198,172,146,120,94,68,42,16,0,0,0,0,0,0,0],[199,0,14238556892135957953,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1249,0,14146330539371392548,0,0,3671,3467,3257,3023,2801,2633,2393,2213,2003,1789,1601,1429,1223,1033,857,673,503,349,193,61,0,0,0,0,0,0,0],[3095,0,16009769555010349759,0,2,511,485,459,433,407,381,355,329,303,277,251,225,199,173,147,121,95,69,43,17,0,0,0,0,0,0,0],[1,0,4898049631496635620,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1249,0,13188841533758355881,0,2,0,3469,3259,3037,2803,2647,2399,2221,2011,1801,1607,1433,1229,1039,859,677,509,353,197,67,0,0,0,0,0,0,0],[4344,0,3689658952003638619,0,0,0,486,460,434,408,382,356,330,304,278,252,226,200,174,148,122,96,70,44,18,0,0,0,0,0,0,0],[555,0,18025930886644788188,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,13751387306704431240,0,0,0,3491,3271,3041,2819,2657,2411,2237,2017,1811,1609,1439,1231,1049,863,683,521,359,199,71,0,0,0,0,0,0,0],[203,0,1473141697614140899,0,2,0,487,461,435,409,383,357,331,305,279,253,227,201,175,149,123,97,71,45,19,0,0,0,0,0,0,0],[758,0,12621333237011582102,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0],[6,0,13485019156490265994,0,2,0,3499,3299,3049,2833,2659,2417,2239,2027,1823,1613,1447,1237,1051,877,691,523,367,211,73,0,0,0,0,0,0,0],[210,0,1156517423643744853,0,0,0,488,462,436,410,384,358,332,306,280,254,228,202,176,150,124,98,72,46,20,0,0,0,0,0,0,0],[199,0,181851254440633455,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1459,0,17312089958954280922,0,0,0,3511,3301,3061,2837,2663,2423,2243,2029,1831,1619,1451,1249,1061,881,701,541,373,223,79,0,0,0,0,0,0,0],[4344,0,1517008161052047105,0,2,0,489,463,437,411,385,359,333,307,281,255,229,203,177,151,125,99,73,47,21,0,0,0,0,0,0,0],[1,0,9672468242681175863,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1459,0,1343878938500108116,0,2,0,3517,3307,3067,2843,2671,2437,2251,2039,1847,1621,1453,1259,1063,883,709,547,379,227,83,0,0,0,0,0,0,0],[5803,0,8584477622754537188,0,0,0,490,464,438,412,386,360,334,308,282,256,230,204,178,152,126,100,74,48,22,0,0,0,0,0,0,0],[758,0,12228682831808118324,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,17668648671831554585,0,0,0,3527,3313,3079,2851,2677,2441,2267,2053,1861,1627,1459,1277,1069,887,719,557,383,229,89,0,0,0,0,0,0,0],[231,0,14700003892182351336,0,2,0,491,465,439,413,387,361,335,309,283,257,231,205,179,153,127,101,75,49,23,0,0,0,0,0,0,0],[989,0,617966705453220923,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[7,0,937133531836548517,0,2,0,3529,3319,3083,2857,2683,2447,2269,2063,1867,1637,1471,1279,1087,907,727,563,389,233,97,0,0,0,0,0,0,0],[210,0,6742510167904083341,0,0,0,492,466,440,414,388,362,336,310,284,258,232,206,180,154,128,102,76,50,24,0,0,0,0,0,0,0],[199,0,17134635740230111340,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1669,0,9108680822373369787,0,0,0,3533,3323,3089,2861,2687,2459,2273,2069,1871,1657,1481,1283,1091,911,733,569,397,239,101,0,0,0,0,0,0,0],[5803,0,16550909764637899911,0,2,0,493,467,441,415,389,363,337,311,285,259,233,207,181,155,129,103,77,51,25,0,0,0,0,0,0,0],[1,0,7436712001148158693,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1669,0,256205314842203320,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[7472,0,7976893166980171693,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,3294414182795338912,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,10629380326888464431,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,10965386824795285604,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,16580269766603961508,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,7081170191930415462,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,381307495885208396,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,11932338890327294610,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,7943922424945436927,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,1356209259737028615,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,9686499502336256849,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,14185401620502514371,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,14525350591386907402,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,16174966815064726157,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,4597294708103049064,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,8140299135400446575,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,13794753086841857347,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,2241041278393919561,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,8289219537838690270,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,823597923857216372,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,8103900730341474847,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,3901225314336218149,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,11961022605790926417,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,6016822306250094533,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,9139298751831861554,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,213400138394106660,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,6259406545409643520,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,14260021141567171556,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,4374816455822456400,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,13966210279958166634,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,1725313968750515219,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,8903494261937866510,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,10831885624052065615,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,9683929612847379814,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,14065908482739460769,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,5569978174269184675,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,8045969578281302085,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,9447216028941965124,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,11883785987246910104,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,4401962237608612124,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,1509999318285604330,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,5980292828683614171,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,17295352549468725573,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,5123326422423265999,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,15728015560999139260,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,4724187432461175180,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,14893952206814687238,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,316456214706582908,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,15342274545351413482,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,13919793037093762578,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,9645801232492508797,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,3563678755708640732,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,10094996241642241518,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,5393738275170507032,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,17493883008068174620,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,15756498557682406521,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]]}
\ No newline at end of file
diff --git a/tooling/web/witness_view.js b/tooling/web/witness_view.js
index 689ebfcf..c6abe0e9 100644
--- a/tooling/web/witness_view.js
+++ b/tooling/web/witness_view.js
@@ -39,12 +39,142 @@ const the_gate_colors =
   , "#c060c0"     // ReducingExtensionGate       -> medium purple
   ];
 
+function div(a,b) { return Math.floor(a/b); }
+
+function role_Unknown(i,params) { return "n/a"; }
+
+function role_ArithmeticGate(i,params) { 
+  let numops = params[0];
+  if (i>=4*numops) return "unused"; 
+  let k = div(i,4);
+  switch(i%4) { 
+    case 0: return "x" + k;
+    case 1: return "y" + k;
+    case 2: return "z" + k;
+    case 3: return "w" + k;
+  }
+}
+
+function role_ArithmeticExtensionGate(i,params) { 
+  let numops = params[0];
+  if (i>=8*numops) return "unused"; 
+  let k  = div(i,8);
+  let ir = ((i%2) == 0) ? 'r' : 'i';
+  let j  = div(i,2);
+  switch(j%4) { 
+    case 0: return "x" + ir + k;
+    case 1: return "y" + ir + k;
+    case 2: return "z" + ir + k;
+    case 3: return "w" + ir + k;
+  }
+}
+
+function role_LookupGate(i,params) { 
+  let numops = params[0];
+  if (i>=2*numops) return "unused";
+  let k = div(i,2);
+  switch(i%2) { 
+    case 0: return "inp" + k;
+    case 1: return "out" + k;
+  }
+}
+
+function role_LookupTableGate(i,params) {
+  let numops = params[0];
+  if (i>=3*numops) return "unused";
+  let k = div(i,3);
+  switch(i%3) { 
+    case 0: return "inp"  + k;
+    case 1: return "out"  + k;
+    case 2: return "mult" + k;
+  }
+}
+
+function role_NoopGate(i,params) { return "unused"; }
+
+function role_ConstantGate(i,params) { 
+  let nconsts = params[0]
+  if (i>=nconsts) return "unused"
+  return ("x" + i);
+}
+
+function role_PoseidonGate(i,params) {
+  if (i< 12) { return "input"  + (i   ); }
+  if (i< 24) { return "output" + (i-12); }
+  if (i==24) { return "swap_flag";       }
+  if (i< 29) { return "delta" + (i-25);  }
+  if (i< 65) { return "round=" + (div((i-29),12)+1) + " sbox" + ((i-29)%12) + "_in"; }
+  if (i< 87) { return "round=" + (i-65+4) + " sbox_in"; } 
+  return "round=" + (div((i-87),12)+26) + " sbox" + ((i-87)%12) + "_in"; 
+}
+
+function role_BaseSumGate(i,params) {
+  let radix = params[0];
+  if (i>=radix+1) return "unused";
+  if (i==0) return "sum";
+  return ("limb" + (i-1));
+}
+
+function role_MultiplicationExtensionGate(i,params) { 
+  let numops = params[0];
+  if (i>=6*numops) return "unused"; 
+  let k  = div(i,6);
+  let ir = ((i%2) == 0) ? 'r' : 'i';
+  let j  = div(i,2);
+  switch(j%3) { 
+    case 0: return "x" + ir + k;
+    case 1: return "y" + ir + k;
+    case 2: return "z" + ir + k;
+  }
+}
+
+function role_PublicInputGate(i,params) {
+  if (i>=4) return "unused";
+  return ("hash" + i); 
+}
+
+function role_ExponentiationGate(i,params) {
+  let exp_bits = params[0];
+  if (i==0)            return "base";
+  if (i<=exp_bits)     return "expo" + (i-1);
+  if (i==exp_bits+1)   return "output"
+  if (i< 2*exp_bits+2) return "tmp" + (i-exp_bits-2);
+  return "unused";
+}
+
+function role_CosetInterpolationGate      (i,params) { return "dunno"; }
+function role_MultiplicationExtensionGate (i,params) { return "dunno"; }
+function role_PoseidonMdsGate             (i,params) { return "dunno"; }
+function role_RandomAccessGate            (i,params) { return "dunno"; }
+function role_ReducingGate                (i,params) { return "dunno"; }
+function role_ReducingExtensionGate       (i,params) { return "dunno"; }
+
+const the_roles = 
+  [ role_Unknown
+  , role_ArithmeticGate
+  , role_ArithmeticExtensionGate
+  , role_BaseSumGate
+  , role_ConstantGate
+  , role_CosetInterpolationGate
+  , role_ExponentiationGate
+  , role_LookupGate
+  , role_LookupTableGate
+  , role_MultiplicationExtensionGate 
+  , role_NoopGate
+  , role_PoseidonGate
+  , role_PoseidonMdsGate
+  , role_PublicInputGate
+  , role_RandomAccessGate
+  , role_ReducingGate
+  , role_ReducingExtensionGate
+  ];
+
 const the_gate_equations = 
   [ "???"                  // UnknownGate   
   , "w = c0*x*y + c1*z"    // ArithmeticGate
   , "w = c0*x*y + c1*z"    // ArithmeticExtensionGate 
   , "y = sum_i 2^i*b_i"    // BaseSumGate    
-  , "x=c0, y=c1"           // ConstantGate                
+  , "x0=c0, x1=c1"         // ConstantGate                
   , "..."                  // CosetInterpolationGate      
   , "y = x^k"              // ExponentiationGate          
   , "(x,y) in T"           // LookupGate                  
@@ -64,15 +194,17 @@ function findGateIndex(gate) {
   return ((k<0) ? 0 : k);
 } 
 
-function add_table_row(table, idx, text, color) {
+function add_table_row(table, idx, text, count, color) {
   let tr = document.createElement("tr");
   tr.style.background = (color)?color:"#fffff";
 
   let td1 = document.createElement("td"); td1.innerHTML = idx.toString();
   let td2 = document.createElement("td"); td2.innerHTML = text;
+  let td3 = document.createElement("td"); td3.innerHTML = count.toString();
 
   tr.appendChild(td1);
   tr.appendChild(td2);
+  tr.appendChild(td3);
   table.appendChild(tr);
 }
 
@@ -95,22 +227,28 @@ var ncolumns;
 var ncells;
 
 var gates_base   = []; 
+var gates_params = []; 
 var gate_colors  = [];
 var gate_indices = [];       // index into our tables from the selector index
-
+var gate_counts  = [];  
 
 function cell_hover(row,column) {
-  let el_row  = document.getElementById("cell-row"   );
-  let el_col  = document.getElementById("cell-column");
+  let el_pos  = document.getElementById("cell-pos"   );
   let el_val  = document.getElementById("cell-value" );
   let el_gate = document.getElementById("cell-gate"  );
   let el_equ  = document.getElementById("cell-equ"   );
-  let sel = selectors[row];
-  el_row.innerHTML  = row.toString();
-  el_col.innerHTML  = column.toString();
+  let el_role = document.getElementById("cell-role"  );
+  let sel    = selectors[row];
+  let gate   = gate_indices[sel];
+  let params = gates_params[sel];
+  //console.log(gates[sel] + " : " + params);
+  el_pos.innerHTML  = "row=" + row.toString() + " , col=" + column.toString();
   el_val.innerHTML  = matrix[column][row].toString();
   el_gate.innerHTML = gates[sel];
-  el_equ.innerHTML  = the_gate_equations[gate_indices[sel]];
+  el_equ.innerHTML  = the_gate_equations[gate];
+  el_role.innerHTML = the_roles[gate](column,params);
+
+  el_gate.style.background = gate_colors[sel];
 }
 
 function initialize_from_witness(fname,json) {
@@ -133,21 +271,26 @@ function initialize_from_witness(fname,json) {
   el_num_rows.innerHTML = nrows.toString();
   el_num_cols.innerHTML = ncolumns.toString();
 
-
   for(let i=0; i<gates.length; i++) {
-    let full = gates[i];
-    let base = full.split(":")[0];
-    gates_base[i] = base;
-
+    let full  = gates[i];
+    let parts = full.split(":");
+    let base  = parts[0];
+    parts.shift();              // remove the first element
+    gates_base[i]   = base;
+    gates_params[i] = parts.map(parseInt);
     k = findGateIndex(base);
     gate_indices[i] = k;
     gate_colors[i]  = the_gate_colors[k];
+    gate_counts[i]  = 0;
+  }
 
+  for(let i=0; i<nrows; i++) {
+    gate_counts[selectors[i]] ++;
   }
 
   let el_table = document.getElementById("gates");
   for(let i=0; i<ngates; i++) {
-    add_table_row(el_table, i, gates[i], gate_colors[i]);
+    add_table_row(el_table, i, gates[i], gate_counts[i], gate_colors[i]);
   }
 
   let el_svg = document.getElementById("matrix");