From 2e8a552980672509790a64a1c809928275ad45a4 Mon Sep 17 00:00:00 2001 From: zkronos73 Date: Tue, 14 Feb 2023 17:55:14 +0100 Subject: [PATCH 1/2] remove MAXMEM register --- build/command_parser.js | 96 ++++++------ build/zkasm_parser.js | 230 ++++++++++++++-------------- src/command_parser.jison | 2 - src/zkasm_parser.jison | 2 - test/errors/consts.notdefined.zkasm | 2 +- 5 files changed, 162 insertions(+), 170 deletions(-) diff --git a/build/command_parser.js b/build/command_parser.js index dccabfe..ad90c72 100644 --- a/build/command_parser.js +++ b/build/command_parser.js @@ -72,12 +72,12 @@ } */ var command_parser = (function(){ -var o=function(k,v,o,l){for(o=o||{},l=k.length;l--;o[k[l]]=v);return o},$V0=[1,10],$V1=[1,11],$V2=[1,12],$V3=[1,13],$V4=[1,17],$V5=[1,20],$V6=[1,7],$V7=[1,6],$V8=[1,21],$V9=[1,22],$Va=[1,23],$Vb=[1,24],$Vc=[1,25],$Vd=[1,26],$Ve=[1,27],$Vf=[1,28],$Vg=[1,29],$Vh=[1,30],$Vi=[1,31],$Vj=[1,32],$Vk=[1,33],$Vl=[1,34],$Vm=[1,35],$Vn=[1,36],$Vo=[1,37],$Vp=[1,38],$Vq=[1,39],$Vr=[1,40],$Vs=[1,41],$Vt=[1,42],$Vu=[5,42,69],$Vv=[5,10,12,13,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,42,69],$Vw=[2,34],$Vx=[5,8,10,12,13,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,42,69],$Vy=[5,10,12,42,69],$Vz=[1,50],$VA=[1,51],$VB=[1,52],$VC=[1,53],$VD=[1,54],$VE=[1,55],$VF=[1,56],$VG=[1,57],$VH=[1,58],$VI=[1,59],$VJ=[1,60],$VK=[1,61],$VL=[1,62],$VM=[1,63],$VN=[1,64],$VO=[1,65],$VP=[1,66],$VQ=[1,67],$VR=[5,10,12,13,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,42,69],$VS=[42,69]; +var o=function(k,v,o,l){for(o=o||{},l=k.length;l--;o[k[l]]=v);return o},$V0=[1,10],$V1=[1,11],$V2=[1,12],$V3=[1,13],$V4=[1,17],$V5=[1,20],$V6=[1,7],$V7=[1,6],$V8=[1,21],$V9=[1,22],$Va=[1,23],$Vb=[1,24],$Vc=[1,25],$Vd=[1,26],$Ve=[1,27],$Vf=[1,28],$Vg=[1,29],$Vh=[1,30],$Vi=[1,31],$Vj=[1,32],$Vk=[1,33],$Vl=[1,34],$Vm=[1,35],$Vn=[1,36],$Vo=[1,37],$Vp=[1,38],$Vq=[1,39],$Vr=[1,40],$Vs=[1,41],$Vt=[5,42,68],$Vu=[5,10,12,13,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,42,68],$Vv=[2,34],$Vw=[5,8,10,12,13,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,42,68],$Vx=[5,10,12,42,68],$Vy=[1,49],$Vz=[1,50],$VA=[1,51],$VB=[1,52],$VC=[1,53],$VD=[1,54],$VE=[1,55],$VF=[1,56],$VG=[1,57],$VH=[1,58],$VI=[1,59],$VJ=[1,60],$VK=[1,61],$VL=[1,62],$VM=[1,63],$VN=[1,64],$VO=[1,65],$VP=[1,66],$VQ=[5,10,12,13,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,42,68],$VR=[42,68]; var parser = {trace: function trace () { }, yy: {}, -symbols_: {"error":2,"tag":3,"expression":4,"EOF":5,"e5":6,"leftExpression":7,"=":8,"e4":9,"+":10,"e3":11,"-":12,"*":13,"e2":14,"/":15,"%":16,"&":17,"|":18,"^":19,"SHL":20,"SHR":21,"L_OR":22,"L_AND":23,"EXP":24,"EQ":25,"NE":26,"LT":27,"LE":28,"GT":29,"GE":30,"?":31,":":32,"~":33,"!":34,"e1":35,"functionCall":36,"e0":37,"NUMBER":38,"reg":39,"counter":40,"(":41,")":42,"IDENTIFIER":43,".":44,"VAR":45,"A":46,"B":47,"C":48,"D":49,"E":50,"SR":51,"CTX":52,"SP":53,"PC":54,"GAS":55,"zkPC":56,"RR":57,"STEP":58,"MAXMEM":59,"HASHPOS":60,"RCX":61,"CNT_ARITH":62,"CNT_BINARY":63,"CNT_KECCAK_F":64,"CNT_MEM_ALIGN":65,"CNT_PADDING_PG":66,"CNT_POSEIDON_G":67,"expressionList":68,",":69,"$accept":0,"$end":1}, -terminals_: {2:"error",5:"EOF",8:"=",10:"+",12:"-",13:"*",15:"/",16:"%",17:"&",18:"|",19:"^",20:"SHL",21:"SHR",22:"L_OR",23:"L_AND",24:"EXP",25:"EQ",26:"NE",27:"LT",28:"LE",29:"GT",30:"GE",31:"?",32:":",33:"~",34:"!",38:"NUMBER",41:"(",42:")",43:"IDENTIFIER",44:".",45:"VAR",46:"A",47:"B",48:"C",49:"D",50:"E",51:"SR",52:"CTX",53:"SP",54:"PC",55:"GAS",56:"zkPC",57:"RR",58:"STEP",59:"MAXMEM",60:"HASHPOS",61:"RCX",62:"CNT_ARITH",63:"CNT_BINARY",64:"CNT_KECCAK_F",65:"CNT_MEM_ALIGN",66:"CNT_PADDING_PG",67:"CNT_POSEIDON_G",69:","}, -productions_: [0,[3,2],[4,1],[6,3],[6,1],[9,3],[9,3],[9,1],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,5],[11,1],[14,2],[14,2],[14,2],[14,2],[14,1],[35,1],[35,1],[37,1],[37,1],[37,1],[37,1],[37,3],[37,3],[7,2],[7,1],[39,1],[39,1],[39,1],[39,1],[39,1],[39,1],[39,1],[39,1],[39,1],[39,1],[39,1],[39,1],[39,1],[39,1],[39,1],[39,1],[40,1],[40,1],[40,1],[40,1],[40,1],[40,1],[36,4],[36,3],[68,3],[68,1]], +symbols_: {"error":2,"tag":3,"expression":4,"EOF":5,"e5":6,"leftExpression":7,"=":8,"e4":9,"+":10,"e3":11,"-":12,"*":13,"e2":14,"/":15,"%":16,"&":17,"|":18,"^":19,"SHL":20,"SHR":21,"L_OR":22,"L_AND":23,"EXP":24,"EQ":25,"NE":26,"LT":27,"LE":28,"GT":29,"GE":30,"?":31,":":32,"~":33,"!":34,"e1":35,"functionCall":36,"e0":37,"NUMBER":38,"reg":39,"counter":40,"(":41,")":42,"IDENTIFIER":43,".":44,"VAR":45,"A":46,"B":47,"C":48,"D":49,"E":50,"SR":51,"CTX":52,"SP":53,"PC":54,"GAS":55,"zkPC":56,"RR":57,"STEP":58,"HASHPOS":59,"RCX":60,"CNT_ARITH":61,"CNT_BINARY":62,"CNT_KECCAK_F":63,"CNT_MEM_ALIGN":64,"CNT_PADDING_PG":65,"CNT_POSEIDON_G":66,"expressionList":67,",":68,"$accept":0,"$end":1}, +terminals_: {2:"error",5:"EOF",8:"=",10:"+",12:"-",13:"*",15:"/",16:"%",17:"&",18:"|",19:"^",20:"SHL",21:"SHR",22:"L_OR",23:"L_AND",24:"EXP",25:"EQ",26:"NE",27:"LT",28:"LE",29:"GT",30:"GE",31:"?",32:":",33:"~",34:"!",38:"NUMBER",41:"(",42:")",43:"IDENTIFIER",44:".",45:"VAR",46:"A",47:"B",48:"C",49:"D",50:"E",51:"SR",52:"CTX",53:"SP",54:"PC",55:"GAS",56:"zkPC",57:"RR",58:"STEP",59:"HASHPOS",60:"RCX",61:"CNT_ARITH",62:"CNT_BINARY",63:"CNT_KECCAK_F",64:"CNT_MEM_ALIGN",65:"CNT_PADDING_PG",66:"CNT_POSEIDON_G",68:","}, +productions_: [0,[3,2],[4,1],[6,3],[6,1],[9,3],[9,3],[9,1],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,3],[11,5],[11,1],[14,2],[14,2],[14,2],[14,2],[14,1],[35,1],[35,1],[37,1],[37,1],[37,1],[37,1],[37,3],[37,3],[7,2],[7,1],[39,1],[39,1],[39,1],[39,1],[39,1],[39,1],[39,1],[39,1],[39,1],[39,1],[39,1],[39,1],[39,1],[39,1],[39,1],[40,1],[40,1],[40,1],[40,1],[40,1],[40,1],[36,4],[36,3],[67,3],[67,1]], performAction: function anonymous(yytext, yyleng, yylineno, yy, yystate /* action[1] */, $$ /* vstack */, _$ /* lstack */) { /* this == yyval */ @@ -250,30 +250,30 @@ case 41: this.$ = {op: "getVar", varName: $$[$0]} break; -case 64: +case 63: this.$ = {op: "functionCall", funcName: $$[$0-3], params: $$[$0-1]} break; -case 65: +case 64: this.$ = {op: "functionCall", funcName: $$[$0-2], params: []} break; -case 66: +case 65: $$[$0-2].push($$[$0]); break; -case 67: +case 66: this.$ = [$$[$0]]; break; } }, -table: [{3:1,4:2,6:3,7:4,9:5,10:$V0,11:8,12:$V1,14:9,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{1:[3]},{5:[1,43]},o($Vu,[2,2]),o($Vv,$Vw,{8:[1,44]}),o($Vu,[2,4],{10:[1,45],12:[1,46]}),{43:[1,47]},o($Vx,[2,41],{41:[1,48],44:[1,49]}),o($Vy,[2,7],{13:$Vz,15:$VA,16:$VB,17:$VC,18:$VD,19:$VE,20:$VF,21:$VG,22:$VH,23:$VI,24:$VJ,25:$VK,26:$VL,27:$VM,28:$VN,29:$VO,30:$VP,31:$VQ}),o($Vv,[2,26]),{7:69,10:$V0,12:$V1,14:68,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,12:$V1,14:70,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,12:$V1,14:71,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,12:$V1,14:72,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},o($VR,[2,31]),o($VR,[2,32]),o($VR,[2,33]),o($VR,[2,35]),o($VR,[2,36]),o($VR,[2,37]),{4:73,6:3,7:4,9:5,10:$V0,11:8,12:$V1,14:9,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},o($VR,[2,42]),o($VR,[2,43]),o($VR,[2,44]),o($VR,[2,45]),o($VR,[2,46]),o($VR,[2,47]),o($VR,[2,48]),o($VR,[2,49]),o($VR,[2,50]),o($VR,[2,51]),o($VR,[2,52]),o($VR,[2,53]),o($VR,[2,54]),o($VR,[2,55]),o($VR,[2,56]),o($VR,[2,57]),o($VR,[2,58]),o($VR,[2,59]),o($VR,[2,60]),o($VR,[2,61]),o($VR,[2,62]),o($VR,[2,63]),{1:[2,1]},{6:74,7:4,9:5,10:$V0,11:8,12:$V1,14:9,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,11:75,12:$V1,14:9,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,11:76,12:$V1,14:9,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},o($Vx,[2,40]),{4:79,6:3,7:4,9:5,10:$V0,11:8,12:$V1,14:9,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,42:[1,78],43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt,68:77},{43:[1,80]},{7:69,10:$V0,12:$V1,14:81,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,12:$V1,14:82,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,12:$V1,14:83,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,12:$V1,14:84,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,12:$V1,14:85,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,12:$V1,14:86,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,12:$V1,14:87,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,12:$V1,14:88,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,12:$V1,14:89,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,12:$V1,14:90,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,12:$V1,14:91,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,12:$V1,14:92,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,12:$V1,14:93,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,12:$V1,14:94,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,12:$V1,14:95,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,12:$V1,14:96,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,12:$V1,14:97,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,12:$V1,14:98,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},o($VR,[2,27]),o($VR,$Vw),o($VR,[2,28]),o($VR,[2,29]),o($VR,[2,30]),{42:[1,99]},o($Vu,[2,3]),o($Vy,[2,5],{13:$Vz,15:$VA,16:$VB,17:$VC,18:$VD,19:$VE,20:$VF,21:$VG,22:$VH,23:$VI,24:$VJ,25:$VK,26:$VL,27:$VM,28:$VN,29:$VO,30:$VP,31:$VQ}),o($Vy,[2,6],{13:$Vz,15:$VA,16:$VB,17:$VC,18:$VD,19:$VE,20:$VF,21:$VG,22:$VH,23:$VI,24:$VJ,25:$VK,26:$VL,27:$VM,28:$VN,29:$VO,30:$VP,31:$VQ}),{42:[1,100],69:[1,101]},o($VR,[2,65]),o($VS,[2,67]),o($VR,[2,39]),o($Vv,[2,8]),o($Vv,[2,9]),o($Vv,[2,10]),o($Vv,[2,11]),o($Vv,[2,12]),o($Vv,[2,13]),o($Vv,[2,14]),o($Vv,[2,15]),o($Vv,[2,16]),o($Vv,[2,17]),o($Vv,[2,18]),o($Vv,[2,19]),o($Vv,[2,20]),o($Vv,[2,21]),o($Vv,[2,22]),o($Vv,[2,23]),o($Vv,[2,24]),{32:[1,102]},o($VR,[2,38]),o($VR,[2,64]),{4:103,6:3,7:4,9:5,10:$V0,11:8,12:$V1,14:9,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},{7:69,10:$V0,12:$V1,14:104,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:$Vt},o($VS,[2,66]),o($Vv,[2,25])], -defaultActions: {43:[2,1]}, +table: [{3:1,4:2,6:3,7:4,9:5,10:$V0,11:8,12:$V1,14:9,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{1:[3]},{5:[1,42]},o($Vt,[2,2]),o($Vu,$Vv,{8:[1,43]}),o($Vt,[2,4],{10:[1,44],12:[1,45]}),{43:[1,46]},o($Vw,[2,41],{41:[1,47],44:[1,48]}),o($Vx,[2,7],{13:$Vy,15:$Vz,16:$VA,17:$VB,18:$VC,19:$VD,20:$VE,21:$VF,22:$VG,23:$VH,24:$VI,25:$VJ,26:$VK,27:$VL,28:$VM,29:$VN,30:$VO,31:$VP}),o($Vu,[2,26]),{7:68,10:$V0,12:$V1,14:67,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,12:$V1,14:69,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,12:$V1,14:70,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,12:$V1,14:71,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},o($VQ,[2,31]),o($VQ,[2,32]),o($VQ,[2,33]),o($VQ,[2,35]),o($VQ,[2,36]),o($VQ,[2,37]),{4:72,6:3,7:4,9:5,10:$V0,11:8,12:$V1,14:9,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},o($VQ,[2,42]),o($VQ,[2,43]),o($VQ,[2,44]),o($VQ,[2,45]),o($VQ,[2,46]),o($VQ,[2,47]),o($VQ,[2,48]),o($VQ,[2,49]),o($VQ,[2,50]),o($VQ,[2,51]),o($VQ,[2,52]),o($VQ,[2,53]),o($VQ,[2,54]),o($VQ,[2,55]),o($VQ,[2,56]),o($VQ,[2,57]),o($VQ,[2,58]),o($VQ,[2,59]),o($VQ,[2,60]),o($VQ,[2,61]),o($VQ,[2,62]),{1:[2,1]},{6:73,7:4,9:5,10:$V0,11:8,12:$V1,14:9,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,11:74,12:$V1,14:9,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,11:75,12:$V1,14:9,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},o($Vw,[2,40]),{4:78,6:3,7:4,9:5,10:$V0,11:8,12:$V1,14:9,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,42:[1,77],43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs,67:76},{43:[1,79]},{7:68,10:$V0,12:$V1,14:80,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,12:$V1,14:81,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,12:$V1,14:82,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,12:$V1,14:83,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,12:$V1,14:84,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,12:$V1,14:85,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,12:$V1,14:86,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,12:$V1,14:87,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,12:$V1,14:88,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,12:$V1,14:89,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,12:$V1,14:90,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,12:$V1,14:91,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,12:$V1,14:92,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,12:$V1,14:93,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,12:$V1,14:94,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,12:$V1,14:95,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,12:$V1,14:96,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,12:$V1,14:97,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},o($VQ,[2,27]),o($VQ,$Vv),o($VQ,[2,28]),o($VQ,[2,29]),o($VQ,[2,30]),{42:[1,98]},o($Vt,[2,3]),o($Vx,[2,5],{13:$Vy,15:$Vz,16:$VA,17:$VB,18:$VC,19:$VD,20:$VE,21:$VF,22:$VG,23:$VH,24:$VI,25:$VJ,26:$VK,27:$VL,28:$VM,29:$VN,30:$VO,31:$VP}),o($Vx,[2,6],{13:$Vy,15:$Vz,16:$VA,17:$VB,18:$VC,19:$VD,20:$VE,21:$VF,22:$VG,23:$VH,24:$VI,25:$VJ,26:$VK,27:$VL,28:$VM,29:$VN,30:$VO,31:$VP}),{42:[1,99],68:[1,100]},o($VQ,[2,64]),o($VR,[2,66]),o($VQ,[2,39]),o($Vu,[2,8]),o($Vu,[2,9]),o($Vu,[2,10]),o($Vu,[2,11]),o($Vu,[2,12]),o($Vu,[2,13]),o($Vu,[2,14]),o($Vu,[2,15]),o($Vu,[2,16]),o($Vu,[2,17]),o($Vu,[2,18]),o($Vu,[2,19]),o($Vu,[2,20]),o($Vu,[2,21]),o($Vu,[2,22]),o($Vu,[2,23]),o($Vu,[2,24]),{32:[1,101]},o($VQ,[2,38]),o($VQ,[2,63]),{4:102,6:3,7:4,9:5,10:$V0,11:8,12:$V1,14:9,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},{7:68,10:$V0,12:$V1,14:103,33:$V2,34:$V3,35:14,36:15,37:16,38:$V4,39:18,40:19,41:$V5,43:$V6,45:$V7,46:$V8,47:$V9,48:$Va,49:$Vb,50:$Vc,51:$Vd,52:$Ve,53:$Vf,54:$Vg,55:$Vh,56:$Vi,57:$Vj,58:$Vk,59:$Vl,60:$Vm,61:$Vn,62:$Vo,63:$Vp,64:$Vq,65:$Vr,66:$Vs},o($VR,[2,65]),o($Vu,[2,25])], +defaultActions: {42:[2,1]}, parseError: function parseError (str, hash) { if (hash.recoverable) { this.trace(str); @@ -779,7 +779,7 @@ case 13: return 57; break; case 14: return 58; break; -case 15: return 59; +case 15: return 61 break; case 16: return 62 break; @@ -791,82 +791,80 @@ case 19: return 65 break; case 20: return 66 break; -case 21: return 67 +case 21: return 59; break; case 22: return 60; break; -case 23: return 61; -break; -case 24: return 45; +case 23: return 45; break; -case 25: return 43; +case 24: return 43; break; -case 26: return 41 +case 25: return 41 break; -case 27: return 42 +case 26: return 42 break; -case 28: return 10 +case 27: return 10 break; -case 29: return 69 +case 28: return 68 break; -case 30: return 12 +case 29: return 12 break; -case 31: return 24 +case 30: return 24 break; -case 32: return 13 +case 31: return 13 break; -case 33: return 15 +case 32: return 15 break; -case 34: return 16 +case 33: return 16 break; -case 35: return 20 +case 34: return 20 break; -case 36: return 21 +case 35: return 21 break; -case 37: return 28 +case 36: return 28 break; -case 38: return 30 +case 37: return 30 break; -case 39: return 23 +case 38: return 23 break; -case 40: return 22 +case 39: return 22 break; -case 41: return 25 +case 40: return 25 break; -case 42: return 26 +case 41: return 26 break; -case 43: return 8 +case 42: return 8 break; -case 44: return 17 +case 43: return 17 break; -case 45: return 33 +case 44: return 33 break; -case 46: return 18 +case 45: return 18 break; -case 47: return 19 +case 46: return 19 break; -case 48: return 27 +case 47: return 27 break; -case 49: return 29 +case 48: return 29 break; -case 50: return 34 +case 49: return 34 break; -case 51: return 31 +case 50: return 31 break; -case 52: return 32 +case 51: return 32 break; -case 53: return RANGE_DOTS +case 52: return RANGE_DOTS break; -case 54: return 44 +case 53: return 44 break; -case 55: return 5; +case 54: return 5; break; -case 56: /* console.log("INVALID: " + yy_.yytext); */ return 'INVALID'; +case 55: /* console.log("INVALID: " + yy_.yytext); */ return 'INVALID'; break; } }, -rules: [/^(?:(0x[0-9A-Fa-f][0-9A-Fa-f_]*)|([0-9][0-9_]*))/,/^(?:[ \t\r\n]+)/,/^(?:A\b)/,/^(?:B\b)/,/^(?:C\b)/,/^(?:D\b)/,/^(?:E\b)/,/^(?:SR\b)/,/^(?:CTX\b)/,/^(?:SP\b)/,/^(?:PC\b)/,/^(?:GAS\b)/,/^(?:zkPC\b)/,/^(?:RR\b)/,/^(?:STEP\b)/,/^(?:MAXMEM\b)/,/^(?:CNT_ARITH\b)/,/^(?:CNT_BINARY\b)/,/^(?:CNT_KECCAK_F\b)/,/^(?:CNT_MEM_ALIGN\b)/,/^(?:CNT_PADDING_PG\b)/,/^(?:CNT_POSEIDON_G\b)/,/^(?:HASHPOS\b)/,/^(?:RCX\b)/,/^(?:var\b)/,/^(?:[a-zA-Z_][a-zA-Z$_0-9]*)/,/^(?:\()/,/^(?:\))/,/^(?:\+)/,/^(?:,)/,/^(?:-)/,/^(?:\*\*)/,/^(?:\*)/,/^(?:\/)/,/^(?:%)/,/^(?:<<)/,/^(?:>>)/,/^(?:<=)/,/^(?:>=)/,/^(?:&&)/,/^(?:\|\|)/,/^(?:==)/,/^(?:!=)/,/^(?:=)/,/^(?:&)/,/^(?:~)/,/^(?:\|)/,/^(?:\^)/,/^(?:<)/,/^(?:>)/,/^(?:!)/,/^(?:\?)/,/^(?::)/,/^(?:\.\.)/,/^(?:\.)/,/^(?:$)/,/^(?:.)/], -conditions: {"INITIAL":{"rules":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56],"inclusive":true}} +rules: [/^(?:(0x[0-9A-Fa-f][0-9A-Fa-f_]*)|([0-9][0-9_]*))/,/^(?:[ \t\r\n]+)/,/^(?:A\b)/,/^(?:B\b)/,/^(?:C\b)/,/^(?:D\b)/,/^(?:E\b)/,/^(?:SR\b)/,/^(?:CTX\b)/,/^(?:SP\b)/,/^(?:PC\b)/,/^(?:GAS\b)/,/^(?:zkPC\b)/,/^(?:RR\b)/,/^(?:STEP\b)/,/^(?:CNT_ARITH\b)/,/^(?:CNT_BINARY\b)/,/^(?:CNT_KECCAK_F\b)/,/^(?:CNT_MEM_ALIGN\b)/,/^(?:CNT_PADDING_PG\b)/,/^(?:CNT_POSEIDON_G\b)/,/^(?:HASHPOS\b)/,/^(?:RCX\b)/,/^(?:var\b)/,/^(?:[a-zA-Z_][a-zA-Z$_0-9]*)/,/^(?:\()/,/^(?:\))/,/^(?:\+)/,/^(?:,)/,/^(?:-)/,/^(?:\*\*)/,/^(?:\*)/,/^(?:\/)/,/^(?:%)/,/^(?:<<)/,/^(?:>>)/,/^(?:<=)/,/^(?:>=)/,/^(?:&&)/,/^(?:\|\|)/,/^(?:==)/,/^(?:!=)/,/^(?:=)/,/^(?:&)/,/^(?:~)/,/^(?:\|)/,/^(?:\^)/,/^(?:<)/,/^(?:>)/,/^(?:!)/,/^(?:\?)/,/^(?::)/,/^(?:\.\.)/,/^(?:\.)/,/^(?:$)/,/^(?:.)/], +conditions: {"INITIAL":{"rules":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55],"inclusive":true}} }); return lexer; })(); diff --git a/build/zkasm_parser.js b/build/zkasm_parser.js index afb84ea..31e36ca 100644 --- a/build/zkasm_parser.js +++ b/build/zkasm_parser.js @@ -72,12 +72,12 @@ } */ var zkasm_parser = (function(){ -var o=function(k,v,o,l){for(o=o||{},l=k.length;l--;o[k[l]]=v);return o},$V0=[1,10],$V1=[1,12],$V2=[1,13],$V3=[1,14],$V4=[1,26],$V5=[1,15],$V6=[1,28],$V7=[1,16],$V8=[1,18],$V9=[1,36],$Va=[1,17],$Vb=[1,27],$Vc=[1,20],$Vd=[1,23],$Ve=[1,29],$Vf=[1,40],$Vg=[1,34],$Vh=[1,46],$Vi=[1,47],$Vj=[1,48],$Vk=[1,49],$Vl=[1,50],$Vm=[1,51],$Vn=[1,52],$Vo=[1,30],$Vp=[1,31],$Vq=[1,32],$Vr=[1,33],$Vs=[1,35],$Vt=[1,37],$Vu=[1,38],$Vv=[1,39],$Vw=[1,41],$Vx=[1,42],$Vy=[1,43],$Vz=[1,44],$VA=[1,45],$VB=[5,13,15,17,18,21,23,24,27,28,30,31,33,36,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130],$VC=[1,59],$VD=[1,60],$VE=[1,61],$VF=[1,62],$VG=[1,63],$VH=[1,64],$VI=[1,65],$VJ=[1,66],$VK=[1,67],$VL=[1,68],$VM=[1,69],$VN=[1,72],$VO=[1,73],$VP=[1,74],$VQ=[1,75],$VR=[1,76],$VS=[1,77],$VT=[1,78],$VU=[1,79],$VV=[1,80],$VW=[1,81],$VX=[1,82],$VY=[1,83],$VZ=[1,84],$V_=[1,85],$V$=[1,86],$V01=[1,87],$V11=[1,88],$V21=[1,89],$V31=[1,90],$V41=[1,91],$V51=[1,92],$V61=[1,93],$V71=[1,94],$V81=[1,95],$V91=[1,96],$Va1=[13,15],$Vb1=[13,15,35,36,59],$Vc1=[1,108],$Vd1=[13,15,35,36,37,59],$Ve1=[13,15,35,36,37,59,67],$Vf1=[1,112],$Vg1=[13,67],$Vh1=[1,144],$Vi1=[1,140],$Vj1=[1,141],$Vk1=[1,142],$Vl1=[1,143],$Vm1=[1,147],$Vn1=[1,148],$Vo1=[1,170],$Vp1=[1,172],$Vq1=[1,171],$Vr1=[1,173],$Vs1=[1,174],$Vt1=[1,175],$Vu1=[13,15,67],$Vv1=[5,13,15,17,18,21,23,24,27,28,30,31,33,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130],$Vw1=[1,213],$Vx1=[1,214],$Vy1=[1,215],$Vz1=[1,216],$VA1=[1,217],$VB1=[1,218],$VC1=[1,219],$VD1=[1,220],$VE1=[1,221],$VF1=[1,222],$VG1=[1,223],$VH1=[1,224],$VI1=[1,225],$VJ1=[1,226],$VK1=[1,227],$VL1=[1,228],$VM1=[1,229],$VN1=[1,230],$VO1=[1,231],$VP1=[1,232],$VQ1=[5,13,15,17,18,21,23,24,27,28,30,31,33,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130],$VR1=[5,13,15,17,18,21,23,24,27,28,30,31,33,35,36,41,42,43,44,45,46,47,48,49,50,51,52,53,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130],$VS1=[5,13,15,17,18,21,23,24,27,28,30,31,33,41,42,43,44,45,46,47,48,49,50,51,52,53,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130],$VT1=[5,13,15,17,18,21,23,24,27,28,30,31,33,43,44,45,46,47,48,49,50,51,52,53,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130],$VU1=[5,13,15,17,18,21,23,24,27,28,30,31,33,43,44,45,50,51,52,53,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130]; +var o=function(k,v,o,l){for(o=o||{},l=k.length;l--;o[k[l]]=v);return o},$V0=[1,10],$V1=[1,12],$V2=[1,13],$V3=[1,14],$V4=[1,26],$V5=[1,15],$V6=[1,28],$V7=[1,16],$V8=[1,18],$V9=[1,36],$Va=[1,17],$Vb=[1,27],$Vc=[1,20],$Vd=[1,23],$Ve=[1,29],$Vf=[1,40],$Vg=[1,34],$Vh=[1,45],$Vi=[1,46],$Vj=[1,47],$Vk=[1,48],$Vl=[1,49],$Vm=[1,50],$Vn=[1,51],$Vo=[1,30],$Vp=[1,31],$Vq=[1,32],$Vr=[1,33],$Vs=[1,35],$Vt=[1,37],$Vu=[1,38],$Vv=[1,39],$Vw=[1,41],$Vx=[1,42],$Vy=[1,43],$Vz=[1,44],$VA=[5,13,15,17,18,21,23,24,27,28,30,31,33,36,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129],$VB=[1,58],$VC=[1,59],$VD=[1,60],$VE=[1,61],$VF=[1,62],$VG=[1,63],$VH=[1,64],$VI=[1,65],$VJ=[1,66],$VK=[1,67],$VL=[1,68],$VM=[1,71],$VN=[1,72],$VO=[1,73],$VP=[1,74],$VQ=[1,75],$VR=[1,76],$VS=[1,77],$VT=[1,78],$VU=[1,79],$VV=[1,80],$VW=[1,81],$VX=[1,82],$VY=[1,83],$VZ=[1,84],$V_=[1,85],$V$=[1,86],$V01=[1,87],$V11=[1,88],$V21=[1,89],$V31=[1,90],$V41=[1,91],$V51=[1,92],$V61=[1,93],$V71=[1,94],$V81=[1,95],$V91=[13,15],$Va1=[13,15,35,36,59],$Vb1=[1,107],$Vc1=[13,15,35,36,37,59],$Vd1=[13,15,35,36,37,59,67],$Ve1=[1,111],$Vf1=[13,67],$Vg1=[1,143],$Vh1=[1,139],$Vi1=[1,140],$Vj1=[1,141],$Vk1=[1,142],$Vl1=[1,146],$Vm1=[1,147],$Vn1=[1,169],$Vo1=[1,171],$Vp1=[1,170],$Vq1=[1,172],$Vr1=[1,173],$Vs1=[1,174],$Vt1=[13,15,67],$Vu1=[5,13,15,17,18,21,23,24,27,28,30,31,33,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129],$Vv1=[1,212],$Vw1=[1,213],$Vx1=[1,214],$Vy1=[1,215],$Vz1=[1,216],$VA1=[1,217],$VB1=[1,218],$VC1=[1,219],$VD1=[1,220],$VE1=[1,221],$VF1=[1,222],$VG1=[1,223],$VH1=[1,224],$VI1=[1,225],$VJ1=[1,226],$VK1=[1,227],$VL1=[1,228],$VM1=[1,229],$VN1=[1,230],$VO1=[1,231],$VP1=[5,13,15,17,18,21,23,24,27,28,30,31,33,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129],$VQ1=[5,13,15,17,18,21,23,24,27,28,30,31,33,35,36,41,42,43,44,45,46,47,48,49,50,51,52,53,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129],$VR1=[5,13,15,17,18,21,23,24,27,28,30,31,33,41,42,43,44,45,46,47,48,49,50,51,52,53,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129],$VS1=[5,13,15,17,18,21,23,24,27,28,30,31,33,43,44,45,46,47,48,49,50,51,52,53,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129],$VT1=[5,13,15,17,18,21,23,24,27,28,30,31,33,43,44,45,50,51,52,53,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129]; var parser = {trace: function trace () { }, yy: {}, -symbols_: {"error":2,"allStatments":3,"statmentList":4,"EOF":5,"statment":6,"step":7,"label":8,"varDef":9,"constDef":10,"include":11,"command":12,"LF":13,"assignment":14,":":15,"opList":16,"IDENTIFIER":17,"VAR":18,"scope":19,"[":20,"NUMBER":21,"]":22,"CONST":23,"CONSTID":24,"=":25,"nexpr":26,"CONSTL":27,"COMMAND":28,"GLOBAL":29,"CTX":30,"INCLUDE":31,"STRING":32,"NUMBERL":33,"??":34,"+":35,"-":36,"*":37,"**":38,"%":39,"/":40,"<<":41,">>":42,"|":43,"&":44,"^":45,"<":46,">":47,"<=":48,">=":49,"==":50,"!=":51,"&&":52,"||":53,"!":54,"?":55,"(":56,")":57,"inRegsSum":58,"=>":59,"regsList":60,"inRegP":61,"inReg":62,"TAG":63,"reg":64,"counter":65,"REFERENCE":66,",":67,"op":68,"MLOAD":69,"addr":70,"MSTORE":71,"HASHK":72,"hashId":73,"HASHK1":74,"HASHKLEN":75,"HASHKDIGEST":76,"HASHP":77,"HASHP1":78,"HASHPLEN":79,"HASHPDIGEST":80,"JMP":81,"jmpCond":82,"jmpNotCond":83,"RR":84,"E":85,"CALL":86,"RETURN":87,"ASSERT":88,"SLOAD":89,"SSTORE":90,"ARITH":91,"ARITH_ECADD_DIFFERENT":92,"ARITH_ECADD_SAME":93,"ADD":94,"SUB":95,"LT":96,"SLT":97,"EQ":98,"AND":99,"OR":100,"XOR":101,"MEM_ALIGN_RD":102,"MEM_ALIGN_WR":103,"MEM_ALIGN_WR8":104,"REPEAT":105,"RCX":106,"JMPN":107,"JMPC":108,"JMPZ":109,"JMPNC":110,"JMPNZ":111,"CNT_ARITH":112,"CNT_BINARY":113,"CNT_KECCAK_F":114,"CNT_MEM_ALIGN":115,"CNT_PADDING_PG":116,"CNT_POSEIDON_G":117,"A":118,"B":119,"C":120,"D":121,"SR":122,"SP":123,"PC":124,"GAS":125,"zkPC":126,"STEP":127,"MAXMEM":128,"HASHPOS":129,"ROTL_C":130,"++":131,"--":132,"SYS":133,"MEM":134,"STACK":135,"$accept":0,"$end":1}, -terminals_: {2:"error",5:"EOF",13:"LF",15:":",17:"IDENTIFIER",18:"VAR",20:"[",21:"NUMBER",22:"]",23:"CONST",24:"CONSTID",25:"=",27:"CONSTL",28:"COMMAND",29:"GLOBAL",30:"CTX",31:"INCLUDE",32:"STRING",33:"NUMBERL",34:"??",35:"+",36:"-",37:"*",38:"**",39:"%",40:"/",41:"<<",42:">>",43:"|",44:"&",45:"^",46:"<",47:">",48:"<=",49:">=",50:"==",51:"!=",52:"&&",53:"||",54:"!",55:"?",56:"(",57:")",59:"=>",63:"TAG",66:"REFERENCE",67:",",69:"MLOAD",71:"MSTORE",72:"HASHK",74:"HASHK1",75:"HASHKLEN",76:"HASHKDIGEST",77:"HASHP",78:"HASHP1",79:"HASHPLEN",80:"HASHPDIGEST",81:"JMP",84:"RR",85:"E",86:"CALL",87:"RETURN",88:"ASSERT",89:"SLOAD",90:"SSTORE",91:"ARITH",92:"ARITH_ECADD_DIFFERENT",93:"ARITH_ECADD_SAME",94:"ADD",95:"SUB",96:"LT",97:"SLT",98:"EQ",99:"AND",100:"OR",101:"XOR",102:"MEM_ALIGN_RD",103:"MEM_ALIGN_WR",104:"MEM_ALIGN_WR8",105:"REPEAT",106:"RCX",107:"JMPN",108:"JMPC",109:"JMPZ",110:"JMPNC",111:"JMPNZ",112:"CNT_ARITH",113:"CNT_BINARY",114:"CNT_KECCAK_F",115:"CNT_MEM_ALIGN",116:"CNT_PADDING_PG",117:"CNT_POSEIDON_G",118:"A",119:"B",120:"C",121:"D",122:"SR",123:"SP",124:"PC",125:"GAS",126:"zkPC",127:"STEP",128:"MAXMEM",129:"HASHPOS",130:"ROTL_C",131:"++",132:"--",133:"SYS",134:"MEM",135:"STACK"}, -productions_: [0,[3,2],[4,2],[4,1],[6,1],[6,1],[6,1],[6,1],[6,1],[6,1],[6,1],[7,4],[7,2],[7,3],[8,2],[9,3],[9,6],[10,4],[10,4],[12,1],[19,1],[19,1],[11,2],[26,1],[26,1],[26,1],[26,3],[26,3],[26,3],[26,3],[26,3],[26,3],[26,3],[26,2],[26,3],[26,3],[26,3],[26,3],[26,3],[26,3],[26,3],[26,3],[26,3],[26,3],[26,3],[26,3],[26,3],[26,2],[26,5],[26,3],[14,3],[14,1],[58,3],[58,3],[58,2],[58,1],[61,3],[61,1],[62,1],[62,1],[62,1],[62,3],[62,1],[62,1],[62,1],[62,1],[60,3],[60,1],[16,3],[16,1],[68,4],[68,4],[68,4],[68,4],[68,4],[68,4],[68,4],[68,4],[68,4],[68,4],[68,4],[68,4],[68,6],[68,4],[68,6],[68,4],[68,4],[68,6],[68,6],[68,4],[68,4],[68,6],[68,6],[68,6],[68,6],[68,8],[68,8],[68,4],[68,6],[68,6],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,4],[82,1],[82,1],[82,1],[83,1],[83,1],[65,1],[65,1],[65,1],[65,1],[65,1],[65,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[70,1],[70,3],[70,3],[70,2],[70,2],[70,5],[70,5],[70,3],[70,5],[70,5],[70,3],[70,5],[70,5],[70,3],[70,1],[70,3],[70,3],[73,1],[73,1]], +symbols_: {"error":2,"allStatments":3,"statmentList":4,"EOF":5,"statment":6,"step":7,"label":8,"varDef":9,"constDef":10,"include":11,"command":12,"LF":13,"assignment":14,":":15,"opList":16,"IDENTIFIER":17,"VAR":18,"scope":19,"[":20,"NUMBER":21,"]":22,"CONST":23,"CONSTID":24,"=":25,"nexpr":26,"CONSTL":27,"COMMAND":28,"GLOBAL":29,"CTX":30,"INCLUDE":31,"STRING":32,"NUMBERL":33,"??":34,"+":35,"-":36,"*":37,"**":38,"%":39,"/":40,"<<":41,">>":42,"|":43,"&":44,"^":45,"<":46,">":47,"<=":48,">=":49,"==":50,"!=":51,"&&":52,"||":53,"!":54,"?":55,"(":56,")":57,"inRegsSum":58,"=>":59,"regsList":60,"inRegP":61,"inReg":62,"TAG":63,"reg":64,"counter":65,"REFERENCE":66,",":67,"op":68,"MLOAD":69,"addr":70,"MSTORE":71,"HASHK":72,"hashId":73,"HASHK1":74,"HASHKLEN":75,"HASHKDIGEST":76,"HASHP":77,"HASHP1":78,"HASHPLEN":79,"HASHPDIGEST":80,"JMP":81,"jmpCond":82,"jmpNotCond":83,"RR":84,"E":85,"CALL":86,"RETURN":87,"ASSERT":88,"SLOAD":89,"SSTORE":90,"ARITH":91,"ARITH_ECADD_DIFFERENT":92,"ARITH_ECADD_SAME":93,"ADD":94,"SUB":95,"LT":96,"SLT":97,"EQ":98,"AND":99,"OR":100,"XOR":101,"MEM_ALIGN_RD":102,"MEM_ALIGN_WR":103,"MEM_ALIGN_WR8":104,"REPEAT":105,"RCX":106,"JMPN":107,"JMPC":108,"JMPZ":109,"JMPNC":110,"JMPNZ":111,"CNT_ARITH":112,"CNT_BINARY":113,"CNT_KECCAK_F":114,"CNT_MEM_ALIGN":115,"CNT_PADDING_PG":116,"CNT_POSEIDON_G":117,"A":118,"B":119,"C":120,"D":121,"SR":122,"SP":123,"PC":124,"GAS":125,"zkPC":126,"STEP":127,"HASHPOS":128,"ROTL_C":129,"++":130,"--":131,"SYS":132,"MEM":133,"STACK":134,"$accept":0,"$end":1}, +terminals_: {2:"error",5:"EOF",13:"LF",15:":",17:"IDENTIFIER",18:"VAR",20:"[",21:"NUMBER",22:"]",23:"CONST",24:"CONSTID",25:"=",27:"CONSTL",28:"COMMAND",29:"GLOBAL",30:"CTX",31:"INCLUDE",32:"STRING",33:"NUMBERL",34:"??",35:"+",36:"-",37:"*",38:"**",39:"%",40:"/",41:"<<",42:">>",43:"|",44:"&",45:"^",46:"<",47:">",48:"<=",49:">=",50:"==",51:"!=",52:"&&",53:"||",54:"!",55:"?",56:"(",57:")",59:"=>",63:"TAG",66:"REFERENCE",67:",",69:"MLOAD",71:"MSTORE",72:"HASHK",74:"HASHK1",75:"HASHKLEN",76:"HASHKDIGEST",77:"HASHP",78:"HASHP1",79:"HASHPLEN",80:"HASHPDIGEST",81:"JMP",84:"RR",85:"E",86:"CALL",87:"RETURN",88:"ASSERT",89:"SLOAD",90:"SSTORE",91:"ARITH",92:"ARITH_ECADD_DIFFERENT",93:"ARITH_ECADD_SAME",94:"ADD",95:"SUB",96:"LT",97:"SLT",98:"EQ",99:"AND",100:"OR",101:"XOR",102:"MEM_ALIGN_RD",103:"MEM_ALIGN_WR",104:"MEM_ALIGN_WR8",105:"REPEAT",106:"RCX",107:"JMPN",108:"JMPC",109:"JMPZ",110:"JMPNC",111:"JMPNZ",112:"CNT_ARITH",113:"CNT_BINARY",114:"CNT_KECCAK_F",115:"CNT_MEM_ALIGN",116:"CNT_PADDING_PG",117:"CNT_POSEIDON_G",118:"A",119:"B",120:"C",121:"D",122:"SR",123:"SP",124:"PC",125:"GAS",126:"zkPC",127:"STEP",128:"HASHPOS",129:"ROTL_C",130:"++",131:"--",132:"SYS",133:"MEM",134:"STACK"}, +productions_: [0,[3,2],[4,2],[4,1],[6,1],[6,1],[6,1],[6,1],[6,1],[6,1],[6,1],[7,4],[7,2],[7,3],[8,2],[9,3],[9,6],[10,4],[10,4],[12,1],[19,1],[19,1],[11,2],[26,1],[26,1],[26,1],[26,3],[26,3],[26,3],[26,3],[26,3],[26,3],[26,3],[26,2],[26,3],[26,3],[26,3],[26,3],[26,3],[26,3],[26,3],[26,3],[26,3],[26,3],[26,3],[26,3],[26,3],[26,2],[26,5],[26,3],[14,3],[14,1],[58,3],[58,3],[58,2],[58,1],[61,3],[61,1],[62,1],[62,1],[62,1],[62,3],[62,1],[62,1],[62,1],[62,1],[60,3],[60,1],[16,3],[16,1],[68,4],[68,4],[68,4],[68,4],[68,4],[68,4],[68,4],[68,4],[68,4],[68,4],[68,4],[68,4],[68,6],[68,4],[68,6],[68,4],[68,4],[68,6],[68,6],[68,4],[68,4],[68,6],[68,6],[68,6],[68,6],[68,8],[68,8],[68,4],[68,6],[68,6],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,1],[68,4],[82,1],[82,1],[82,1],[83,1],[83,1],[65,1],[65,1],[65,1],[65,1],[65,1],[65,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[64,1],[70,1],[70,3],[70,3],[70,2],[70,2],[70,5],[70,5],[70,3],[70,5],[70,5],[70,3],[70,5],[70,5],[70,3],[70,1],[70,3],[70,3],[73,1],[73,1]], performAction: function anonymous(yytext, yyleng, yylineno, yy, yystate /* action[1] */, $$ /* vstack */, _$ /* lstack */) { /* this == yyval */ @@ -573,101 +573,101 @@ break; case 129: this.$ = 'cntPoseidonG' break; -case 147: +case 146: this.$ = { isStack: 1, isMem:0, ind:0, indRR: 0, incStack:0, offset: 0, useCTX: 1} break; -case 148: +case 147: this.$ = { isStack: 1, isMem:0, ind:0, indRR: 0, incStack: 0, offset: $$[$0], useCTX: 1} break; -case 149: +case 148: this.$ = { isStack: 1, isMem:0, ind:0, indRR: 0, incStack: 0, offset: -$$[$0], useCTX: 1} break; -case 150: +case 149: this.$ = { isStack: 1, isMem:0, ind:0, indRR: 0, incStack: 1, offset: 0, useCTX: 1} break; -case 151: +case 150: this.$ = { isStack: 1, isMem:0, ind:0, indRR: 0, incStack: -1, offset: 0, useCTX: 1} break; -case 152: +case 151: this.$ = { isStack: 0, isMem:0, ind:1, indRR: 0, incStack: 0, offset: $$[$0]} break; -case 153: +case 152: this.$ = { isStack: 0, isMem:0, ind:1, indRR: 0, incStack: 0, offset: -$$[$0]} break; -case 154: +case 153: this.$ = { isStack: 0, isMem:0, ind:1, indRR: 0, incStack: 0, offset: 0} break; -case 155: +case 154: this.$ = { isStack: 0, isMem: 1, ind:1, indRR: 0, incStack: 0, offset: $$[$0], useCTX: 1} break; -case 156: +case 155: this.$ = { isStack: 0, isMem: 1, ind:1, indRR: 0, incStack: 0, offset: -$$[$0], useCTX: 1} break; -case 157: +case 156: this.$ = { isStack: 0, isMem: 1, ind:1, indRR: 0, incStack: 0, offset: 0, useCTX: 1} break; -case 158: +case 157: this.$ = { isStack: 1, ind:1, indRR: 0, incStack: 0, offset: $$[$0], useCTX: 1} break; -case 159: +case 158: this.$ = { isStack: 1, ind:1, indRR: 0, incStack: 0, offset: -$$[$0], useCTX: 1} break; -case 160: +case 159: this.$ = { isStack: 1, ind:1, indRR: 0, incStack: 0, offset: 0, useCTX: 1} break; -case 161: +case 160: this.$ = { offset: $$[$0] } break; -case 162: +case 161: this.$ = { offset: $$[$0-2], ind: 0, indRR: 1 } break; -case 163: +case 162: this.$ = { offset: $$[$0-2], ind: 1, indRR: 0 } break; -case 164: +case 163: this.$ = {ind: 0, indRR: 0, offset:$$[$0]} break; -case 165: +case 164: this.$ = {ind: 1, indRR: 0, offset:0} break; } }, -table: [{3:1,4:2,6:3,7:4,8:5,9:6,10:7,11:8,12:9,13:$V0,14:11,15:$V1,17:$V2,18:$V3,21:$V4,23:$V5,24:$V6,27:$V7,28:$V8,30:$V9,31:$Va,33:$Vb,36:$Vc,58:19,61:21,62:22,63:$Vd,64:24,65:25,66:$Ve,84:$Vf,85:$Vg,106:$Vh,112:$Vi,113:$Vj,114:$Vk,115:$Vl,116:$Vm,117:$Vn,118:$Vo,119:$Vp,120:$Vq,121:$Vr,122:$Vs,123:$Vt,124:$Vu,125:$Vv,126:$Vw,127:$Vx,128:$Vy,129:$Vz,130:$VA},{1:[3]},{5:[1,53],6:54,7:4,8:5,9:6,10:7,11:8,12:9,13:$V0,14:11,15:$V1,17:$V2,18:$V3,21:$V4,23:$V5,24:$V6,27:$V7,28:$V8,30:$V9,31:$Va,33:$Vb,36:$Vc,58:19,61:21,62:22,63:$Vd,64:24,65:25,66:$Ve,84:$Vf,85:$Vg,106:$Vh,112:$Vi,113:$Vj,114:$Vk,115:$Vl,116:$Vm,117:$Vn,118:$Vo,119:$Vp,120:$Vq,121:$Vr,122:$Vs,123:$Vt,124:$Vu,125:$Vv,126:$Vw,127:$Vx,128:$Vy,129:$Vz,130:$VA},o($VB,[2,3]),o($VB,[2,4]),o($VB,[2,5]),o($VB,[2,6]),o($VB,[2,7]),o($VB,[2,8]),o($VB,[2,9]),o($VB,[2,10]),{13:[1,56],15:[1,55]},{16:57,68:58,69:$VC,71:$VD,72:$VE,74:$VF,75:$VG,76:$VH,77:$VI,78:$VJ,79:$VK,80:$VL,81:$VM,82:70,83:71,86:$VN,87:$VO,88:$VP,89:$VQ,90:$VR,91:$VS,92:$VT,93:$VU,94:$VV,95:$VW,96:$VX,97:$VY,98:$VZ,99:$V_,100:$V$,101:$V01,102:$V11,103:$V21,104:$V31,105:$V41,107:$V51,108:$V61,109:$V71,110:$V81,111:$V91},{15:[1,97]},{19:98,29:[1,99],30:[1,100]},{24:[1,101]},{24:[1,102]},{32:[1,103]},o($VB,[2,19]),o($Va1,[2,51],{35:[1,105],36:[1,106],59:[1,104]}),{21:$V4,24:$V6,30:$V9,33:$Vb,61:107,62:22,63:$Vd,64:24,65:25,66:$Ve,84:$Vf,85:$Vg,106:$Vh,112:$Vi,113:$Vj,114:$Vk,115:$Vl,116:$Vm,117:$Vn,118:$Vo,119:$Vp,120:$Vq,121:$Vr,122:$Vs,123:$Vt,124:$Vu,125:$Vv,126:$Vw,127:$Vx,128:$Vy,129:$Vz,130:$VA},o($Vb1,[2,55],{37:$Vc1}),o($Vd1,[2,57]),o($Vd1,[2,58]),o($Vd1,[2,59]),o($Vd1,[2,60]),o($Vd1,[2,62],{38:[1,109]}),o($Vd1,[2,63]),o($Vd1,[2,64]),o($Vd1,[2,65]),o($Ve1,[2,130]),o($Ve1,[2,131]),o($Ve1,[2,132]),o($Ve1,[2,133]),o($Ve1,[2,134]),o($Ve1,[2,135]),o($Ve1,[2,136]),o($Ve1,[2,137]),o($Ve1,[2,138]),o($Ve1,[2,139]),o($Ve1,[2,140]),o($Ve1,[2,141]),o($Ve1,[2,142]),o($Ve1,[2,143]),o($Ve1,[2,144]),o($Ve1,[2,145]),o($Ve1,[2,146]),o($Vd1,[2,124]),o($Vd1,[2,125]),o($Vd1,[2,126]),o($Vd1,[2,127]),o($Vd1,[2,128]),o($Vd1,[2,129]),{1:[2,1]},o($VB,[2,2]),{16:110,68:58,69:$VC,71:$VD,72:$VE,74:$VF,75:$VG,76:$VH,77:$VI,78:$VJ,79:$VK,80:$VL,81:$VM,82:70,83:71,86:$VN,87:$VO,88:$VP,89:$VQ,90:$VR,91:$VS,92:$VT,93:$VU,94:$VV,95:$VW,96:$VX,97:$VY,98:$VZ,99:$V_,100:$V$,101:$V01,102:$V11,103:$V21,104:$V31,105:$V41,107:$V51,108:$V61,109:$V71,110:$V81,111:$V91},o($VB,[2,12]),{13:[1,111],67:$Vf1},o($Vg1,[2,69]),{56:[1,113]},{56:[1,114]},{56:[1,115]},{56:[1,116]},{56:[1,117]},{56:[1,118]},{56:[1,119]},{56:[1,120]},{56:[1,121]},{56:[1,122]},{56:[1,123]},{56:[1,124]},{56:[1,125]},{56:[1,126]},o($Vg1,[2,100]),o($Vg1,[2,101]),o($Vg1,[2,102]),o($Vg1,[2,103]),o($Vg1,[2,104]),o($Vg1,[2,105]),o($Vg1,[2,106]),o($Vg1,[2,107]),o($Vg1,[2,108]),o($Vg1,[2,109]),o($Vg1,[2,110]),o($Vg1,[2,111]),o($Vg1,[2,112]),o($Vg1,[2,113]),o($Vg1,[2,114]),o($Vg1,[2,115]),o($Vg1,[2,116]),o($Vg1,[2,117]),{56:[1,127]},{56:[2,119]},{56:[2,120]},{56:[2,121]},{56:[2,122]},{56:[2,123]},o($VB,[2,14]),{17:[1,128]},{17:[2,20]},{17:[2,21]},{25:[1,129]},{25:[1,130]},o($VB,[2,22]),{30:$V9,60:131,64:132,84:$Vf,85:$Vg,106:$Vh,118:$Vo,119:$Vp,120:$Vq,121:$Vr,122:$Vs,123:$Vt,124:$Vu,125:$Vv,126:$Vw,127:$Vx,128:$Vy,129:$Vz,130:$VA},{21:$V4,24:$V6,30:$V9,33:$Vb,61:133,62:22,63:$Vd,64:24,65:25,66:$Ve,84:$Vf,85:$Vg,106:$Vh,112:$Vi,113:$Vj,114:$Vk,115:$Vl,116:$Vm,117:$Vn,118:$Vo,119:$Vp,120:$Vq,121:$Vr,122:$Vs,123:$Vt,124:$Vu,125:$Vv,126:$Vw,127:$Vx,128:$Vy,129:$Vz,130:$VA},{21:$V4,24:$V6,30:$V9,33:$Vb,61:134,62:22,63:$Vd,64:24,65:25,66:$Ve,84:$Vf,85:$Vg,106:$Vh,112:$Vi,113:$Vj,114:$Vk,115:$Vl,116:$Vm,117:$Vn,118:$Vo,119:$Vp,120:$Vq,121:$Vr,122:$Vs,123:$Vt,124:$Vu,125:$Vv,126:$Vw,127:$Vx,128:$Vy,129:$Vz,130:$VA},o($Vb1,[2,54],{37:$Vc1}),{21:$V4,24:$V6,30:$V9,33:$Vb,62:135,63:$Vd,64:24,65:25,66:$Ve,84:$Vf,85:$Vg,106:$Vh,112:$Vi,113:$Vj,114:$Vk,115:$Vl,116:$Vm,117:$Vn,118:$Vo,119:$Vp,120:$Vq,121:$Vr,122:$Vs,123:$Vt,124:$Vu,125:$Vv,126:$Vw,127:$Vx,128:$Vy,129:$Vz,130:$VA},{21:[1,136]},{13:[1,137],67:$Vf1},o($VB,[2,13]),{68:138,69:$VC,71:$VD,72:$VE,74:$VF,75:$VG,76:$VH,77:$VI,78:$VJ,79:$VK,80:$VL,81:$VM,82:70,83:71,86:$VN,87:$VO,88:$VP,89:$VQ,90:$VR,91:$VS,92:$VT,93:$VU,94:$VV,95:$VW,96:$VX,97:$VY,98:$VZ,99:$V_,100:$V$,101:$V01,102:$V11,103:$V21,104:$V31,105:$V41,107:$V51,108:$V61,109:$V71,110:$V81,111:$V91},{17:$Vh1,70:139,123:$Vi1,133:$Vj1,134:$Vk1,135:$Vl1},{17:$Vh1,70:145,123:$Vi1,133:$Vj1,134:$Vk1,135:$Vl1},{21:$Vm1,73:146,85:$Vn1},{21:$Vm1,73:149,85:$Vn1},{21:$Vm1,73:150,85:$Vn1},{21:$Vm1,73:151,85:$Vn1},{21:$Vm1,73:152,85:$Vn1},{21:$Vm1,73:153,85:$Vn1},{21:$Vm1,73:154,85:$Vn1},{21:$Vm1,73:155,85:$Vn1},{17:[1,156],66:[1,159],84:[1,157],85:[1,158]},{17:[1,160],66:[1,163],84:[1,161],85:[1,162]},{17:[1,164]},{17:[1,165],66:[1,166]},{106:[1,167]},o($VB,[2,15],{20:[1,168]}),{21:$Vo1,24:$Vp1,26:169,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:176,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},o($Va1,[2,50],{67:[1,177]}),o($Vu1,[2,67]),o($Vb1,[2,52],{37:$Vc1}),o($Vb1,[2,53],{37:$Vc1}),o($Vd1,[2,56]),o($Vd1,[2,61]),o($VB,[2,11]),o($Vg1,[2,68]),{57:[1,178]},{35:[1,179],36:[1,180],57:[2,147],131:[1,181],132:[1,182]},{15:[1,183]},{15:[1,184]},{15:[1,185]},{35:[1,186],57:[2,161]},{57:[1,187]},{57:[1,188]},{57:[2,164]},{57:[2,165]},{57:[1,189]},{57:[1,190]},{57:[1,191]},{57:[1,192]},{57:[1,193]},{57:[1,194]},{57:[1,195]},{57:[1,196]},{57:[1,197]},{57:[1,198]},{35:[1,199]},{57:[1,200],67:[1,201]},{57:[1,202],67:[1,203]},{57:[1,204],67:[1,205]},{35:[1,206]},{57:[1,207],67:[1,208]},{57:[1,209]},{35:[1,210]},{57:[1,211]},{21:[1,212]},o($Vv1,[2,17],{35:$Vw1,36:$Vx1,37:$Vy1,38:$Vz1,39:$VA1,40:$VB1,41:$VC1,42:$VD1,43:$VE1,44:$VF1,45:$VG1,46:$VH1,47:$VI1,48:$VJ1,49:$VK1,50:$VL1,51:$VM1,52:$VN1,53:$VO1,55:$VP1}),o($VQ1,[2,23]),o($VQ1,[2,24]),o($VQ1,[2,25],{34:[1,233]}),{21:$Vo1,24:$Vp1,26:234,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:235,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:236,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},o($Vv1,[2,18],{35:$Vw1,36:$Vx1,37:$Vy1,38:$Vz1,39:$VA1,40:$VB1,41:$VC1,42:$VD1,43:$VE1,44:$VF1,45:$VG1,46:$VH1,47:$VI1,48:$VJ1,49:$VK1,50:$VL1,51:$VM1,52:$VN1,53:$VO1,55:$VP1}),{30:$V9,64:237,84:$Vf,85:$Vg,106:$Vh,118:$Vo,119:$Vp,120:$Vq,121:$Vr,122:$Vs,123:$Vt,124:$Vu,125:$Vv,126:$Vw,127:$Vx,128:$Vy,129:$Vz,130:$VA},o($Vg1,[2,70]),{21:[1,238]},{21:[1,239]},{57:[2,150]},{57:[2,151]},{85:[1,240]},{85:[1,241]},{85:[1,242]},{84:[1,243],85:[1,244]},o($Vg1,[2,71]),o($Vg1,[2,72]),o($Vg1,[2,73]),o($Vg1,[2,74]),o($Vg1,[2,75]),o($Vg1,[2,76]),o($Vg1,[2,77]),o($Vg1,[2,78]),o($Vg1,[2,79]),o($Vg1,[2,80]),o($Vg1,[2,85]),o($Vg1,[2,86]),{84:[1,245],85:[1,246]},o($Vg1,[2,81]),{17:[1,247]},o($Vg1,[2,89]),{17:[1,248]},o($Vg1,[2,90]),{17:[1,249]},{84:[1,250],85:[1,251]},o($Vg1,[2,83]),{17:[1,252]},o($Vg1,[2,97]),{84:[1,253],85:[1,254]},o($Vg1,[2,118]),{22:[1,255]},{21:$Vo1,24:$Vp1,26:256,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:257,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:258,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:259,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:260,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:261,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:262,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:263,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:264,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:265,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:266,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:267,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:268,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:269,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:270,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:271,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:272,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:273,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:274,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:275,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{21:$Vo1,24:$Vp1,26:276,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},o($VR1,[2,33],{37:$Vy1,38:$Vz1,39:$VA1,40:$VB1}),o($VQ1,[2,47]),{35:$Vw1,36:$Vx1,37:$Vy1,38:$Vz1,39:$VA1,40:$VB1,41:$VC1,42:$VD1,43:$VE1,44:$VF1,45:$VG1,46:$VH1,47:$VI1,48:$VJ1,49:$VK1,50:$VL1,51:$VM1,52:$VN1,53:$VO1,55:$VP1,57:[1,277]},o($Vu1,[2,66]),{57:[2,148]},{57:[2,149]},{35:[1,278],36:[1,279],57:[2,154]},{35:[1,280],36:[1,281],57:[2,157]},{35:[1,282],36:[1,283],57:[2,160]},{57:[2,162]},{57:[2,163]},{57:[1,284]},{57:[1,285]},{57:[1,286]},{57:[1,287]},{57:[1,288]},{57:[1,289],67:[1,290]},{57:[1,291],67:[1,292]},{57:[1,293]},{57:[1,294]},{57:[1,295]},o($VB,[2,16]),o($VR1,[2,27],{37:$Vy1,38:$Vz1,39:$VA1,40:$VB1}),o($VR1,[2,28],{37:$Vy1,38:$Vz1,39:$VA1,40:$VB1}),o($VQ1,[2,29]),o($VQ1,[2,30]),o($VQ1,[2,31]),o($VQ1,[2,32]),o($VS1,[2,34],{35:$Vw1,36:$Vx1,37:$Vy1,38:$Vz1,39:$VA1,40:$VB1}),o($VS1,[2,35],{35:$Vw1,36:$Vx1,37:$Vy1,38:$Vz1,39:$VA1,40:$VB1}),o([5,13,15,17,18,21,23,24,27,28,30,31,33,43,52,53,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130],[2,36],{35:$Vw1,36:$Vx1,37:$Vy1,38:$Vz1,39:$VA1,40:$VB1,41:$VC1,42:$VD1,44:$VF1,45:$VG1,46:$VH1,47:$VI1,48:$VJ1,49:$VK1,50:$VL1,51:$VM1}),o([5,13,15,17,18,21,23,24,27,28,30,31,33,43,44,45,52,53,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130],[2,37],{35:$Vw1,36:$Vx1,37:$Vy1,38:$Vz1,39:$VA1,40:$VB1,41:$VC1,42:$VD1,46:$VH1,47:$VI1,48:$VJ1,49:$VK1,50:$VL1,51:$VM1}),o([5,13,15,17,18,21,23,24,27,28,30,31,33,43,45,52,53,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130],[2,38],{35:$Vw1,36:$Vx1,37:$Vy1,38:$Vz1,39:$VA1,40:$VB1,41:$VC1,42:$VD1,44:$VF1,46:$VH1,47:$VI1,48:$VJ1,49:$VK1,50:$VL1,51:$VM1}),o($VT1,[2,39],{35:$Vw1,36:$Vx1,37:$Vy1,38:$Vz1,39:$VA1,40:$VB1,41:$VC1,42:$VD1}),o($VT1,[2,40],{35:$Vw1,36:$Vx1,37:$Vy1,38:$Vz1,39:$VA1,40:$VB1,41:$VC1,42:$VD1}),o($VT1,[2,41],{35:$Vw1,36:$Vx1,37:$Vy1,38:$Vz1,39:$VA1,40:$VB1,41:$VC1,42:$VD1}),o($VT1,[2,42],{35:$Vw1,36:$Vx1,37:$Vy1,38:$Vz1,39:$VA1,40:$VB1,41:$VC1,42:$VD1}),o($VU1,[2,43],{35:$Vw1,36:$Vx1,37:$Vy1,38:$Vz1,39:$VA1,40:$VB1,41:$VC1,42:$VD1,46:$VH1,47:$VI1,48:$VJ1,49:$VK1}),o($VU1,[2,44],{35:$Vw1,36:$Vx1,37:$Vy1,38:$Vz1,39:$VA1,40:$VB1,41:$VC1,42:$VD1,46:$VH1,47:$VI1,48:$VJ1,49:$VK1}),o([5,13,15,17,18,21,23,24,27,28,30,31,33,52,53,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130],[2,45],{35:$Vw1,36:$Vx1,37:$Vy1,38:$Vz1,39:$VA1,40:$VB1,41:$VC1,42:$VD1,43:$VE1,44:$VF1,45:$VG1,46:$VH1,47:$VI1,48:$VJ1,49:$VK1,50:$VL1,51:$VM1}),o([5,13,15,17,18,21,23,24,27,28,30,31,33,53,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130],[2,46],{35:$Vw1,36:$Vx1,37:$Vy1,38:$Vz1,39:$VA1,40:$VB1,41:$VC1,42:$VD1,43:$VE1,44:$VF1,45:$VG1,46:$VH1,47:$VI1,48:$VJ1,49:$VK1,50:$VL1,51:$VM1,52:$VN1}),{15:[1,296],35:$Vw1,36:$Vx1,37:$Vy1,38:$Vz1,39:$VA1,40:$VB1,41:$VC1,42:$VD1,43:$VE1,44:$VF1,45:$VG1,46:$VH1,47:$VI1,48:$VJ1,49:$VK1,50:$VL1,51:$VM1,52:$VN1,53:$VO1,55:$VP1},o([5,13,15,17,18,21,23,24,27,28,30,31,33,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130],[2,26],{35:$Vw1,36:$Vx1,37:$Vy1,38:$Vz1,39:$VA1,40:$VB1,41:$VC1,42:$VD1,43:$VE1,44:$VF1,45:$VG1,46:$VH1,47:$VI1,48:$VJ1,49:$VK1,50:$VL1,51:$VM1,52:$VN1,53:$VO1}),o($VQ1,[2,49]),{21:[1,297]},{21:[1,298]},{21:[1,299]},{21:[1,300]},{21:[1,301]},{21:[1,302]},o($Vg1,[2,87]),o($Vg1,[2,88]),o($Vg1,[2,82]),o($Vg1,[2,93]),o($Vg1,[2,94]),o($Vg1,[2,91]),{17:[1,303]},o($Vg1,[2,92]),{17:[1,304]},o($Vg1,[2,84]),o($Vg1,[2,98]),o($Vg1,[2,99]),{21:$Vo1,24:$Vp1,26:305,33:$Vq1,36:$Vr1,54:$Vs1,56:$Vt1},{57:[2,152]},{57:[2,153]},{57:[2,155]},{57:[2,156]},{57:[2,158]},{57:[2,159]},{57:[1,306]},{57:[1,307]},o([5,13,15,17,18,21,23,24,27,28,30,31,33,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130],[2,48],{35:$Vw1,36:$Vx1,37:$Vy1,38:$Vz1,39:$VA1,40:$VB1,41:$VC1,42:$VD1,43:$VE1,44:$VF1,45:$VG1,46:$VH1,47:$VI1,48:$VJ1,49:$VK1,50:$VL1,51:$VM1,52:$VN1,53:$VO1,55:$VP1}),o($Vg1,[2,95]),o($Vg1,[2,96])], -defaultActions: {53:[2,1],92:[2,119],93:[2,120],94:[2,121],95:[2,122],96:[2,123],99:[2,20],100:[2,21],147:[2,164],148:[2,165],181:[2,150],182:[2,151],238:[2,148],239:[2,149],243:[2,162],244:[2,163],297:[2,152],298:[2,153],299:[2,155],300:[2,156],301:[2,158],302:[2,159]}, +table: [{3:1,4:2,6:3,7:4,8:5,9:6,10:7,11:8,12:9,13:$V0,14:11,15:$V1,17:$V2,18:$V3,21:$V4,23:$V5,24:$V6,27:$V7,28:$V8,30:$V9,31:$Va,33:$Vb,36:$Vc,58:19,61:21,62:22,63:$Vd,64:24,65:25,66:$Ve,84:$Vf,85:$Vg,106:$Vh,112:$Vi,113:$Vj,114:$Vk,115:$Vl,116:$Vm,117:$Vn,118:$Vo,119:$Vp,120:$Vq,121:$Vr,122:$Vs,123:$Vt,124:$Vu,125:$Vv,126:$Vw,127:$Vx,128:$Vy,129:$Vz},{1:[3]},{5:[1,52],6:53,7:4,8:5,9:6,10:7,11:8,12:9,13:$V0,14:11,15:$V1,17:$V2,18:$V3,21:$V4,23:$V5,24:$V6,27:$V7,28:$V8,30:$V9,31:$Va,33:$Vb,36:$Vc,58:19,61:21,62:22,63:$Vd,64:24,65:25,66:$Ve,84:$Vf,85:$Vg,106:$Vh,112:$Vi,113:$Vj,114:$Vk,115:$Vl,116:$Vm,117:$Vn,118:$Vo,119:$Vp,120:$Vq,121:$Vr,122:$Vs,123:$Vt,124:$Vu,125:$Vv,126:$Vw,127:$Vx,128:$Vy,129:$Vz},o($VA,[2,3]),o($VA,[2,4]),o($VA,[2,5]),o($VA,[2,6]),o($VA,[2,7]),o($VA,[2,8]),o($VA,[2,9]),o($VA,[2,10]),{13:[1,55],15:[1,54]},{16:56,68:57,69:$VB,71:$VC,72:$VD,74:$VE,75:$VF,76:$VG,77:$VH,78:$VI,79:$VJ,80:$VK,81:$VL,82:69,83:70,86:$VM,87:$VN,88:$VO,89:$VP,90:$VQ,91:$VR,92:$VS,93:$VT,94:$VU,95:$VV,96:$VW,97:$VX,98:$VY,99:$VZ,100:$V_,101:$V$,102:$V01,103:$V11,104:$V21,105:$V31,107:$V41,108:$V51,109:$V61,110:$V71,111:$V81},{15:[1,96]},{19:97,29:[1,98],30:[1,99]},{24:[1,100]},{24:[1,101]},{32:[1,102]},o($VA,[2,19]),o($V91,[2,51],{35:[1,104],36:[1,105],59:[1,103]}),{21:$V4,24:$V6,30:$V9,33:$Vb,61:106,62:22,63:$Vd,64:24,65:25,66:$Ve,84:$Vf,85:$Vg,106:$Vh,112:$Vi,113:$Vj,114:$Vk,115:$Vl,116:$Vm,117:$Vn,118:$Vo,119:$Vp,120:$Vq,121:$Vr,122:$Vs,123:$Vt,124:$Vu,125:$Vv,126:$Vw,127:$Vx,128:$Vy,129:$Vz},o($Va1,[2,55],{37:$Vb1}),o($Vc1,[2,57]),o($Vc1,[2,58]),o($Vc1,[2,59]),o($Vc1,[2,60]),o($Vc1,[2,62],{38:[1,108]}),o($Vc1,[2,63]),o($Vc1,[2,64]),o($Vc1,[2,65]),o($Vd1,[2,130]),o($Vd1,[2,131]),o($Vd1,[2,132]),o($Vd1,[2,133]),o($Vd1,[2,134]),o($Vd1,[2,135]),o($Vd1,[2,136]),o($Vd1,[2,137]),o($Vd1,[2,138]),o($Vd1,[2,139]),o($Vd1,[2,140]),o($Vd1,[2,141]),o($Vd1,[2,142]),o($Vd1,[2,143]),o($Vd1,[2,144]),o($Vd1,[2,145]),o($Vc1,[2,124]),o($Vc1,[2,125]),o($Vc1,[2,126]),o($Vc1,[2,127]),o($Vc1,[2,128]),o($Vc1,[2,129]),{1:[2,1]},o($VA,[2,2]),{16:109,68:57,69:$VB,71:$VC,72:$VD,74:$VE,75:$VF,76:$VG,77:$VH,78:$VI,79:$VJ,80:$VK,81:$VL,82:69,83:70,86:$VM,87:$VN,88:$VO,89:$VP,90:$VQ,91:$VR,92:$VS,93:$VT,94:$VU,95:$VV,96:$VW,97:$VX,98:$VY,99:$VZ,100:$V_,101:$V$,102:$V01,103:$V11,104:$V21,105:$V31,107:$V41,108:$V51,109:$V61,110:$V71,111:$V81},o($VA,[2,12]),{13:[1,110],67:$Ve1},o($Vf1,[2,69]),{56:[1,112]},{56:[1,113]},{56:[1,114]},{56:[1,115]},{56:[1,116]},{56:[1,117]},{56:[1,118]},{56:[1,119]},{56:[1,120]},{56:[1,121]},{56:[1,122]},{56:[1,123]},{56:[1,124]},{56:[1,125]},o($Vf1,[2,100]),o($Vf1,[2,101]),o($Vf1,[2,102]),o($Vf1,[2,103]),o($Vf1,[2,104]),o($Vf1,[2,105]),o($Vf1,[2,106]),o($Vf1,[2,107]),o($Vf1,[2,108]),o($Vf1,[2,109]),o($Vf1,[2,110]),o($Vf1,[2,111]),o($Vf1,[2,112]),o($Vf1,[2,113]),o($Vf1,[2,114]),o($Vf1,[2,115]),o($Vf1,[2,116]),o($Vf1,[2,117]),{56:[1,126]},{56:[2,119]},{56:[2,120]},{56:[2,121]},{56:[2,122]},{56:[2,123]},o($VA,[2,14]),{17:[1,127]},{17:[2,20]},{17:[2,21]},{25:[1,128]},{25:[1,129]},o($VA,[2,22]),{30:$V9,60:130,64:131,84:$Vf,85:$Vg,106:$Vh,118:$Vo,119:$Vp,120:$Vq,121:$Vr,122:$Vs,123:$Vt,124:$Vu,125:$Vv,126:$Vw,127:$Vx,128:$Vy,129:$Vz},{21:$V4,24:$V6,30:$V9,33:$Vb,61:132,62:22,63:$Vd,64:24,65:25,66:$Ve,84:$Vf,85:$Vg,106:$Vh,112:$Vi,113:$Vj,114:$Vk,115:$Vl,116:$Vm,117:$Vn,118:$Vo,119:$Vp,120:$Vq,121:$Vr,122:$Vs,123:$Vt,124:$Vu,125:$Vv,126:$Vw,127:$Vx,128:$Vy,129:$Vz},{21:$V4,24:$V6,30:$V9,33:$Vb,61:133,62:22,63:$Vd,64:24,65:25,66:$Ve,84:$Vf,85:$Vg,106:$Vh,112:$Vi,113:$Vj,114:$Vk,115:$Vl,116:$Vm,117:$Vn,118:$Vo,119:$Vp,120:$Vq,121:$Vr,122:$Vs,123:$Vt,124:$Vu,125:$Vv,126:$Vw,127:$Vx,128:$Vy,129:$Vz},o($Va1,[2,54],{37:$Vb1}),{21:$V4,24:$V6,30:$V9,33:$Vb,62:134,63:$Vd,64:24,65:25,66:$Ve,84:$Vf,85:$Vg,106:$Vh,112:$Vi,113:$Vj,114:$Vk,115:$Vl,116:$Vm,117:$Vn,118:$Vo,119:$Vp,120:$Vq,121:$Vr,122:$Vs,123:$Vt,124:$Vu,125:$Vv,126:$Vw,127:$Vx,128:$Vy,129:$Vz},{21:[1,135]},{13:[1,136],67:$Ve1},o($VA,[2,13]),{68:137,69:$VB,71:$VC,72:$VD,74:$VE,75:$VF,76:$VG,77:$VH,78:$VI,79:$VJ,80:$VK,81:$VL,82:69,83:70,86:$VM,87:$VN,88:$VO,89:$VP,90:$VQ,91:$VR,92:$VS,93:$VT,94:$VU,95:$VV,96:$VW,97:$VX,98:$VY,99:$VZ,100:$V_,101:$V$,102:$V01,103:$V11,104:$V21,105:$V31,107:$V41,108:$V51,109:$V61,110:$V71,111:$V81},{17:$Vg1,70:138,123:$Vh1,132:$Vi1,133:$Vj1,134:$Vk1},{17:$Vg1,70:144,123:$Vh1,132:$Vi1,133:$Vj1,134:$Vk1},{21:$Vl1,73:145,85:$Vm1},{21:$Vl1,73:148,85:$Vm1},{21:$Vl1,73:149,85:$Vm1},{21:$Vl1,73:150,85:$Vm1},{21:$Vl1,73:151,85:$Vm1},{21:$Vl1,73:152,85:$Vm1},{21:$Vl1,73:153,85:$Vm1},{21:$Vl1,73:154,85:$Vm1},{17:[1,155],66:[1,158],84:[1,156],85:[1,157]},{17:[1,159],66:[1,162],84:[1,160],85:[1,161]},{17:[1,163]},{17:[1,164],66:[1,165]},{106:[1,166]},o($VA,[2,15],{20:[1,167]}),{21:$Vn1,24:$Vo1,26:168,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:175,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},o($V91,[2,50],{67:[1,176]}),o($Vt1,[2,67]),o($Va1,[2,52],{37:$Vb1}),o($Va1,[2,53],{37:$Vb1}),o($Vc1,[2,56]),o($Vc1,[2,61]),o($VA,[2,11]),o($Vf1,[2,68]),{57:[1,177]},{35:[1,178],36:[1,179],57:[2,146],130:[1,180],131:[1,181]},{15:[1,182]},{15:[1,183]},{15:[1,184]},{35:[1,185],57:[2,160]},{57:[1,186]},{57:[1,187]},{57:[2,163]},{57:[2,164]},{57:[1,188]},{57:[1,189]},{57:[1,190]},{57:[1,191]},{57:[1,192]},{57:[1,193]},{57:[1,194]},{57:[1,195]},{57:[1,196]},{57:[1,197]},{35:[1,198]},{57:[1,199],67:[1,200]},{57:[1,201],67:[1,202]},{57:[1,203],67:[1,204]},{35:[1,205]},{57:[1,206],67:[1,207]},{57:[1,208]},{35:[1,209]},{57:[1,210]},{21:[1,211]},o($Vu1,[2,17],{35:$Vv1,36:$Vw1,37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1,41:$VB1,42:$VC1,43:$VD1,44:$VE1,45:$VF1,46:$VG1,47:$VH1,48:$VI1,49:$VJ1,50:$VK1,51:$VL1,52:$VM1,53:$VN1,55:$VO1}),o($VP1,[2,23]),o($VP1,[2,24]),o($VP1,[2,25],{34:[1,232]}),{21:$Vn1,24:$Vo1,26:233,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:234,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:235,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},o($Vu1,[2,18],{35:$Vv1,36:$Vw1,37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1,41:$VB1,42:$VC1,43:$VD1,44:$VE1,45:$VF1,46:$VG1,47:$VH1,48:$VI1,49:$VJ1,50:$VK1,51:$VL1,52:$VM1,53:$VN1,55:$VO1}),{30:$V9,64:236,84:$Vf,85:$Vg,106:$Vh,118:$Vo,119:$Vp,120:$Vq,121:$Vr,122:$Vs,123:$Vt,124:$Vu,125:$Vv,126:$Vw,127:$Vx,128:$Vy,129:$Vz},o($Vf1,[2,70]),{21:[1,237]},{21:[1,238]},{57:[2,149]},{57:[2,150]},{85:[1,239]},{85:[1,240]},{85:[1,241]},{84:[1,242],85:[1,243]},o($Vf1,[2,71]),o($Vf1,[2,72]),o($Vf1,[2,73]),o($Vf1,[2,74]),o($Vf1,[2,75]),o($Vf1,[2,76]),o($Vf1,[2,77]),o($Vf1,[2,78]),o($Vf1,[2,79]),o($Vf1,[2,80]),o($Vf1,[2,85]),o($Vf1,[2,86]),{84:[1,244],85:[1,245]},o($Vf1,[2,81]),{17:[1,246]},o($Vf1,[2,89]),{17:[1,247]},o($Vf1,[2,90]),{17:[1,248]},{84:[1,249],85:[1,250]},o($Vf1,[2,83]),{17:[1,251]},o($Vf1,[2,97]),{84:[1,252],85:[1,253]},o($Vf1,[2,118]),{22:[1,254]},{21:$Vn1,24:$Vo1,26:255,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:256,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:257,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:258,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:259,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:260,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:261,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:262,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:263,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:264,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:265,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:266,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:267,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:268,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:269,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:270,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:271,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:272,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:273,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:274,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{21:$Vn1,24:$Vo1,26:275,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},o($VQ1,[2,33],{37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1}),o($VP1,[2,47]),{35:$Vv1,36:$Vw1,37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1,41:$VB1,42:$VC1,43:$VD1,44:$VE1,45:$VF1,46:$VG1,47:$VH1,48:$VI1,49:$VJ1,50:$VK1,51:$VL1,52:$VM1,53:$VN1,55:$VO1,57:[1,276]},o($Vt1,[2,66]),{57:[2,147]},{57:[2,148]},{35:[1,277],36:[1,278],57:[2,153]},{35:[1,279],36:[1,280],57:[2,156]},{35:[1,281],36:[1,282],57:[2,159]},{57:[2,161]},{57:[2,162]},{57:[1,283]},{57:[1,284]},{57:[1,285]},{57:[1,286]},{57:[1,287]},{57:[1,288],67:[1,289]},{57:[1,290],67:[1,291]},{57:[1,292]},{57:[1,293]},{57:[1,294]},o($VA,[2,16]),o($VQ1,[2,27],{37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1}),o($VQ1,[2,28],{37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1}),o($VP1,[2,29]),o($VP1,[2,30]),o($VP1,[2,31]),o($VP1,[2,32]),o($VR1,[2,34],{35:$Vv1,36:$Vw1,37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1}),o($VR1,[2,35],{35:$Vv1,36:$Vw1,37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1}),o([5,13,15,17,18,21,23,24,27,28,30,31,33,43,52,53,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129],[2,36],{35:$Vv1,36:$Vw1,37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1,41:$VB1,42:$VC1,44:$VE1,45:$VF1,46:$VG1,47:$VH1,48:$VI1,49:$VJ1,50:$VK1,51:$VL1}),o([5,13,15,17,18,21,23,24,27,28,30,31,33,43,44,45,52,53,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129],[2,37],{35:$Vv1,36:$Vw1,37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1,41:$VB1,42:$VC1,46:$VG1,47:$VH1,48:$VI1,49:$VJ1,50:$VK1,51:$VL1}),o([5,13,15,17,18,21,23,24,27,28,30,31,33,43,45,52,53,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129],[2,38],{35:$Vv1,36:$Vw1,37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1,41:$VB1,42:$VC1,44:$VE1,46:$VG1,47:$VH1,48:$VI1,49:$VJ1,50:$VK1,51:$VL1}),o($VS1,[2,39],{35:$Vv1,36:$Vw1,37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1,41:$VB1,42:$VC1}),o($VS1,[2,40],{35:$Vv1,36:$Vw1,37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1,41:$VB1,42:$VC1}),o($VS1,[2,41],{35:$Vv1,36:$Vw1,37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1,41:$VB1,42:$VC1}),o($VS1,[2,42],{35:$Vv1,36:$Vw1,37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1,41:$VB1,42:$VC1}),o($VT1,[2,43],{35:$Vv1,36:$Vw1,37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1,41:$VB1,42:$VC1,46:$VG1,47:$VH1,48:$VI1,49:$VJ1}),o($VT1,[2,44],{35:$Vv1,36:$Vw1,37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1,41:$VB1,42:$VC1,46:$VG1,47:$VH1,48:$VI1,49:$VJ1}),o([5,13,15,17,18,21,23,24,27,28,30,31,33,52,53,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129],[2,45],{35:$Vv1,36:$Vw1,37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1,41:$VB1,42:$VC1,43:$VD1,44:$VE1,45:$VF1,46:$VG1,47:$VH1,48:$VI1,49:$VJ1,50:$VK1,51:$VL1}),o([5,13,15,17,18,21,23,24,27,28,30,31,33,53,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129],[2,46],{35:$Vv1,36:$Vw1,37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1,41:$VB1,42:$VC1,43:$VD1,44:$VE1,45:$VF1,46:$VG1,47:$VH1,48:$VI1,49:$VJ1,50:$VK1,51:$VL1,52:$VM1}),{15:[1,295],35:$Vv1,36:$Vw1,37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1,41:$VB1,42:$VC1,43:$VD1,44:$VE1,45:$VF1,46:$VG1,47:$VH1,48:$VI1,49:$VJ1,50:$VK1,51:$VL1,52:$VM1,53:$VN1,55:$VO1},o([5,13,15,17,18,21,23,24,27,28,30,31,33,55,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129],[2,26],{35:$Vv1,36:$Vw1,37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1,41:$VB1,42:$VC1,43:$VD1,44:$VE1,45:$VF1,46:$VG1,47:$VH1,48:$VI1,49:$VJ1,50:$VK1,51:$VL1,52:$VM1,53:$VN1}),o($VP1,[2,49]),{21:[1,296]},{21:[1,297]},{21:[1,298]},{21:[1,299]},{21:[1,300]},{21:[1,301]},o($Vf1,[2,87]),o($Vf1,[2,88]),o($Vf1,[2,82]),o($Vf1,[2,93]),o($Vf1,[2,94]),o($Vf1,[2,91]),{17:[1,302]},o($Vf1,[2,92]),{17:[1,303]},o($Vf1,[2,84]),o($Vf1,[2,98]),o($Vf1,[2,99]),{21:$Vn1,24:$Vo1,26:304,33:$Vp1,36:$Vq1,54:$Vr1,56:$Vs1},{57:[2,151]},{57:[2,152]},{57:[2,154]},{57:[2,155]},{57:[2,157]},{57:[2,158]},{57:[1,305]},{57:[1,306]},o([5,13,15,17,18,21,23,24,27,28,30,31,33,57,63,66,84,85,106,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129],[2,48],{35:$Vv1,36:$Vw1,37:$Vx1,38:$Vy1,39:$Vz1,40:$VA1,41:$VB1,42:$VC1,43:$VD1,44:$VE1,45:$VF1,46:$VG1,47:$VH1,48:$VI1,49:$VJ1,50:$VK1,51:$VL1,52:$VM1,53:$VN1,55:$VO1}),o($Vf1,[2,95]),o($Vf1,[2,96])], +defaultActions: {52:[2,1],91:[2,119],92:[2,120],93:[2,121],94:[2,122],95:[2,123],98:[2,20],99:[2,21],146:[2,163],147:[2,164],180:[2,149],181:[2,150],237:[2,147],238:[2,148],242:[2,161],243:[2,162],296:[2,151],297:[2,152],298:[2,154],299:[2,155],300:[2,157],301:[2,158]}, parseError: function parseError (str, hash) { if (hash.recoverable) { this.trace(str); @@ -1190,194 +1190,192 @@ case 20: return 84; break; case 21: return 127; break; -case 22: return 130; +case 22: return 129; break; case 23: return 128; break; -case 24: return 129; +case 24: return 69 break; -case 25: return 69 +case 25: return 71 break; -case 26: return 71 +case 26: return 75 break; -case 27: return 75 +case 27: return 76 break; -case 28: return 76 +case 28: return 74 break; -case 29: return 74 +case 29: return 72 break; -case 30: return 72 +case 30: return 79 break; -case 31: return 79 +case 31: return 80 break; -case 32: return 80 +case 32: return 78 break; -case 33: return 78 +case 33: return 77 break; -case 34: return 77 +case 34: return 81 break; -case 35: return 81 +case 35: return 108 break; -case 36: return 108 +case 36: return 109 break; -case 37: return 109 +case 37: return 111 break; -case 38: return 111 +case 38: return 110 break; -case 39: return 110 +case 39: return 107 break; -case 40: return 107 +case 40: return 86 break; -case 41: return 86 +case 41: return 87 break; -case 42: return 87 +case 42: return 88 break; -case 43: return 88 +case 43: return 89 break; -case 44: return 89 +case 44: return 90 break; -case 45: return 90 +case 45: return 91 break; -case 46: return 91 +case 46: return 92 break; -case 47: return 92 +case 47: return 93 break; -case 48: return 93 +case 48: return 94 break; -case 49: return 94 +case 49: return 95 break; -case 50: return 95 +case 50: return 96 break; -case 51: return 96 +case 51: return 97 break; -case 52: return 97 +case 52: return 98 break; -case 53: return 98 +case 53: return 99 break; -case 54: return 99 +case 54: return 100 break; -case 55: return 100 +case 55: return 101 break; -case 56: return 101 +case 56: return 112 break; -case 57: return 112 +case 57: return 113 break; -case 58: return 113 +case 58: return 114 break; -case 59: return 114 +case 59: return 115 break; -case 60: return 115 +case 60: return 116 break; -case 61: return 116 +case 61: return 117 break; -case 62: return 117 +case 62: return 104 break; -case 63: return 104 +case 63: return 102 break; -case 64: return 102 +case 64: return 103 break; -case 65: return 103 +case 65: return 132 break; case 66: return 133 break; case 67: return 134 break; -case 68: return 135 +case 68: return 31 break; -case 69: return 31 +case 69: return 18 break; -case 70: return 18 +case 70: return 29 break; -case 71: return 29 +case 71: return 30 break; -case 72: return 30 +case 72: return 23 break; -case 73: return 23 +case 73: return 27 break; -case 74: return 27 +case 74: return 105 break; -case 75: return 105 +case 75: yy_.yytext = yy_.yytext.slice(1,-1); return 32; break; -case 76: yy_.yytext = yy_.yytext.slice(1,-1); return 32; +case 76: return 17; break; -case 77: return 17; +case 77: yy_.yytext = yy_.yytext.slice(1); return 24; break; -case 78: yy_.yytext = yy_.yytext.slice(1); return 24; +case 78: yy_.yytext = yy_.yytext.slice(1); return 66; break; -case 79: yy_.yytext = yy_.yytext.slice(1); return 66; +case 79: return 15; break; -case 80: return 15; +case 80: return 67 break; -case 81: return 67 +case 81: return 56 break; -case 82: return 56 +case 82: return 57 break; -case 83: return 57 +case 83: return 130 break; case 84: return 131 break; -case 85: return 132 -break; -case 86: return 35 +case 85: return 35 break; -case 87: return 36 +case 86: return 36 break; -case 88: return 40 +case 87: return 40 break; -case 89: return 38 +case 88: return 38 break; -case 90: return 37 +case 89: return 37 break; -case 91: return 39 +case 90: return 39 break; -case 92: return 59 +case 91: return 59 break; -case 93: return 41 +case 92: return 41 break; -case 94: return 42 +case 93: return 42 break; -case 95: return 45 +case 94: return 45 break; -case 96: return 53 +case 95: return 53 break; -case 97: return 52 +case 96: return 52 break; -case 98: return 44 +case 97: return 44 break; -case 99: return 43 +case 98: return 43 break; -case 100: return 50 +case 99: return 50 break; -case 101: return 51 +case 100: return 51 break; -case 102: return 48 +case 101: return 48 break; -case 103: return 49 +case 102: return 49 break; -case 104: return 47 +case 103: return 47 break; -case 105: return 46 +case 104: return 46 break; -case 106: return 25 +case 105: return 25 break; -case 107: return 54 +case 106: return 54 break; -case 108: return 34 +case 107: return 34 break; -case 109: return 55 +case 108: return 55 break; -case 110: return 20 +case 109: return 20 break; -case 111: return 22 +case 110: return 22 break; -case 112: return 5; +case 111: return 5; break; -case 113: /* console.log("INVALID: " + yy_.yytext); */ return 'INVALID'; +case 112: /* console.log("INVALID: " + yy_.yytext); */ return 'INVALID'; break; } }, -rules: [/^(?:;[^\n\r]*)/,/^(?:\/\*([^*]|[\r\n]|(\*+([^*/]|[\r\n])))*\*+\/)/,/^(?:((0x[0-9A-Fa-f][0-9A-Fa-f_]*)|([0-9][0-9_]*))n\b)/,/^(?:(0x[0-9A-Fa-f][0-9A-Fa-f_]*)|([0-9][0-9_]*))/,/^(?:\$\$\{[^\}]*\})/,/^(?:(\$(\{[^\}]*\})?))/,/^(?:[\r\n]+)/,/^(?:[ \t]+)/,/^(?:A\b)/,/^(?:B\b)/,/^(?:C\b)/,/^(?:D\b)/,/^(?:E\b)/,/^(?:RCX\b)/,/^(?:SR\b)/,/^(?:CTX\b)/,/^(?:SP\b)/,/^(?:PC\b)/,/^(?:GAS\b)/,/^(?:zkPC\b)/,/^(?:RR\b)/,/^(?:STEP\b)/,/^(?:ROTL_C\b)/,/^(?:MAXMEM\b)/,/^(?:HASHPOS\b)/,/^(?:MLOAD\b)/,/^(?:MSTORE\b)/,/^(?:HASHKLEN\b)/,/^(?:HASHKDIGEST\b)/,/^(?:HASHK1\b)/,/^(?:HASHK\b)/,/^(?:HASHPLEN\b)/,/^(?:HASHPDIGEST\b)/,/^(?:HASHP1\b)/,/^(?:HASHP\b)/,/^(?:JMP\b)/,/^(?:JMPC\b)/,/^(?:JMPZ\b)/,/^(?:JMPNZ\b)/,/^(?:JMPNC\b)/,/^(?:JMPN\b)/,/^(?:CALL\b)/,/^(?:RETURN\b)/,/^(?:ASSERT\b)/,/^(?:SLOAD\b)/,/^(?:SSTORE\b)/,/^(?:ARITH\b)/,/^(?:ARITH_ECADD_DIFFERENT\b)/,/^(?:ARITH_ECADD_SAME\b)/,/^(?:ADD\b)/,/^(?:SUB\b)/,/^(?:LT\b)/,/^(?:SLT\b)/,/^(?:EQ\b)/,/^(?:AND\b)/,/^(?:OR\b)/,/^(?:XOR\b)/,/^(?:CNT_ARITH\b)/,/^(?:CNT_BINARY\b)/,/^(?:CNT_KECCAK_F\b)/,/^(?:CNT_MEM_ALIGN\b)/,/^(?:CNT_PADDING_PG\b)/,/^(?:CNT_POSEIDON_G\b)/,/^(?:MEM_ALIGN_WR8\b)/,/^(?:MEM_ALIGN_RD\b)/,/^(?:MEM_ALIGN_WR\b)/,/^(?:SYS\b)/,/^(?:MEM\b)/,/^(?:STACK\b)/,/^(?:INCLUDE\b)/,/^(?:VAR\b)/,/^(?:GLOBAL\b)/,/^(?:CTX\b)/,/^(?:CONST\b)/,/^(?:CONSTL\b)/,/^(?:REPEAT\b)/,/^(?:"[^"]+")/,/^(?:[a-zA-Z_][a-zA-Z$_0-9]*)/,/^(?:%[a-zA-Z_][a-zA-Z$_0-9]*)/,/^(?:@[a-zA-Z_][a-zA-Z$_0-9]*)/,/^(?::)/,/^(?:,)/,/^(?:\()/,/^(?:\))/,/^(?:\+\+)/,/^(?:--)/,/^(?:\+)/,/^(?:-)/,/^(?:\/)/,/^(?:\*\*)/,/^(?:\*)/,/^(?:%)/,/^(?:=>)/,/^(?:<<)/,/^(?:>>)/,/^(?:\^)/,/^(?:\|\|)/,/^(?:&&)/,/^(?:&)/,/^(?:\|)/,/^(?:==)/,/^(?:!=)/,/^(?:<=)/,/^(?:>=)/,/^(?:>)/,/^(?:<)/,/^(?:=)/,/^(?:!)/,/^(?:\?\?)/,/^(?:\?)/,/^(?:\[)/,/^(?:\])/,/^(?:$)/,/^(?:.)/], -conditions: {"INITIAL":{"rules":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113],"inclusive":true}} +rules: [/^(?:;[^\n\r]*)/,/^(?:\/\*([^*]|[\r\n]|(\*+([^*/]|[\r\n])))*\*+\/)/,/^(?:((0x[0-9A-Fa-f][0-9A-Fa-f_]*)|([0-9][0-9_]*))n\b)/,/^(?:(0x[0-9A-Fa-f][0-9A-Fa-f_]*)|([0-9][0-9_]*))/,/^(?:\$\$\{[^\}]*\})/,/^(?:(\$(\{[^\}]*\})?))/,/^(?:[\r\n]+)/,/^(?:[ \t]+)/,/^(?:A\b)/,/^(?:B\b)/,/^(?:C\b)/,/^(?:D\b)/,/^(?:E\b)/,/^(?:RCX\b)/,/^(?:SR\b)/,/^(?:CTX\b)/,/^(?:SP\b)/,/^(?:PC\b)/,/^(?:GAS\b)/,/^(?:zkPC\b)/,/^(?:RR\b)/,/^(?:STEP\b)/,/^(?:ROTL_C\b)/,/^(?:HASHPOS\b)/,/^(?:MLOAD\b)/,/^(?:MSTORE\b)/,/^(?:HASHKLEN\b)/,/^(?:HASHKDIGEST\b)/,/^(?:HASHK1\b)/,/^(?:HASHK\b)/,/^(?:HASHPLEN\b)/,/^(?:HASHPDIGEST\b)/,/^(?:HASHP1\b)/,/^(?:HASHP\b)/,/^(?:JMP\b)/,/^(?:JMPC\b)/,/^(?:JMPZ\b)/,/^(?:JMPNZ\b)/,/^(?:JMPNC\b)/,/^(?:JMPN\b)/,/^(?:CALL\b)/,/^(?:RETURN\b)/,/^(?:ASSERT\b)/,/^(?:SLOAD\b)/,/^(?:SSTORE\b)/,/^(?:ARITH\b)/,/^(?:ARITH_ECADD_DIFFERENT\b)/,/^(?:ARITH_ECADD_SAME\b)/,/^(?:ADD\b)/,/^(?:SUB\b)/,/^(?:LT\b)/,/^(?:SLT\b)/,/^(?:EQ\b)/,/^(?:AND\b)/,/^(?:OR\b)/,/^(?:XOR\b)/,/^(?:CNT_ARITH\b)/,/^(?:CNT_BINARY\b)/,/^(?:CNT_KECCAK_F\b)/,/^(?:CNT_MEM_ALIGN\b)/,/^(?:CNT_PADDING_PG\b)/,/^(?:CNT_POSEIDON_G\b)/,/^(?:MEM_ALIGN_WR8\b)/,/^(?:MEM_ALIGN_RD\b)/,/^(?:MEM_ALIGN_WR\b)/,/^(?:SYS\b)/,/^(?:MEM\b)/,/^(?:STACK\b)/,/^(?:INCLUDE\b)/,/^(?:VAR\b)/,/^(?:GLOBAL\b)/,/^(?:CTX\b)/,/^(?:CONST\b)/,/^(?:CONSTL\b)/,/^(?:REPEAT\b)/,/^(?:"[^"]+")/,/^(?:[a-zA-Z_][a-zA-Z$_0-9]*)/,/^(?:%[a-zA-Z_][a-zA-Z$_0-9]*)/,/^(?:@[a-zA-Z_][a-zA-Z$_0-9]*)/,/^(?::)/,/^(?:,)/,/^(?:\()/,/^(?:\))/,/^(?:\+\+)/,/^(?:--)/,/^(?:\+)/,/^(?:-)/,/^(?:\/)/,/^(?:\*\*)/,/^(?:\*)/,/^(?:%)/,/^(?:=>)/,/^(?:<<)/,/^(?:>>)/,/^(?:\^)/,/^(?:\|\|)/,/^(?:&&)/,/^(?:&)/,/^(?:\|)/,/^(?:==)/,/^(?:!=)/,/^(?:<=)/,/^(?:>=)/,/^(?:>)/,/^(?:<)/,/^(?:=)/,/^(?:!)/,/^(?:\?\?)/,/^(?:\?)/,/^(?:\[)/,/^(?:\])/,/^(?:$)/,/^(?:.)/], +conditions: {"INITIAL":{"rules":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112],"inclusive":true}} }); return lexer; })(); diff --git a/src/command_parser.jison b/src/command_parser.jison index 67dc6da..2c2b755 100644 --- a/src/command_parser.jison +++ b/src/command_parser.jison @@ -16,7 +16,6 @@ GAS { return 'GAS'; } zkPC { return 'zkPC'; } RR { return 'RR'; } STEP { return 'STEP'; } -MAXMEM { return 'MAXMEM'; } CNT_ARITH { return 'CNT_ARITH' } CNT_BINARY { return 'CNT_BINARY' } CNT_KECCAK_F { return 'CNT_KECCAK_F' } @@ -285,7 +284,6 @@ reg | zkPC | RR | STEP - | MAXMEM | HASHPOS | RCX ; diff --git a/src/zkasm_parser.jison b/src/zkasm_parser.jison index ae7613e..89bcde2 100644 --- a/src/zkasm_parser.jison +++ b/src/zkasm_parser.jison @@ -24,7 +24,6 @@ zkPC { return 'zkPC'; } RR { return 'RR'; } STEP { return 'STEP'; } ROTL_C { return 'ROTL_C'; } -MAXMEM { return 'MAXMEM'; } HASHPOS { return 'HASHPOS'; } MLOAD { return 'MLOAD' } MSTORE { return 'MSTORE' } @@ -725,7 +724,6 @@ reg | RR | zkPC | STEP - | MAXMEM | HASHPOS | ROTL_C | RCX diff --git a/test/errors/consts.notdefined.zkasm b/test/errors/consts.notdefined.zkasm index 80b0610..a269673 100644 --- a/test/errors/consts.notdefined.zkasm +++ b/test/errors/consts.notdefined.zkasm @@ -4,7 +4,7 @@ start: 3*2+%C => A end: - 0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR ; Set all registers to 0 + 0 => A,B,C,D,E,CTX, SP, PC, GAS, SR ; Set all registers to 0 longLoop: STEP-0x10000+40 : JMPC(longLoop2) From c82d3c47b6bfbb15718cbfb0007f19e49002e60a Mon Sep 17 00:00:00 2001 From: zkronos73 Date: Tue, 14 Feb 2023 18:13:07 +0100 Subject: [PATCH 2/2] remove MAXMEM register --- test/arrays.zkasm | 2 +- test/consts.zkasm | 2 +- test/consts_command.zkasm | 2 +- test/errors/consts.max.zkasm | 2 +- test/errors/consts.maxl.zkasm | 2 +- test/errors/consts.min.zkasm | 2 +- test/errors/consts.minl.zkasm | 2 +- test/errors/consts.mix.const.zkasm | 2 +- test/errors/consts.mix.values.zkasm | 2 +- test/errors/consts.redefinition.zkasm | 2 +- test/opcodes.zkasm | 2 +- test/operations.zkasm | 54 +++++++++++++-------------- test/rotlc.zkasm | 2 +- test/subroutine.zkasm | 10 ++--- 14 files changed, 44 insertions(+), 44 deletions(-) diff --git a/test/arrays.zkasm b/test/arrays.zkasm index 447db52..9e9d5e8 100644 --- a/test/arrays.zkasm +++ b/test/arrays.zkasm @@ -17,7 +17,7 @@ start: @d => A end: - 0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR + 0 => A,B,C,D,E,CTX, SP, PC, GAS, SR finalWait: ${beforeLast()} : JMPN(finalWait) diff --git a/test/consts.zkasm b/test/consts.zkasm index 464878f..150442f 100644 --- a/test/consts.zkasm +++ b/test/consts.zkasm @@ -181,7 +181,7 @@ CONSTL %BIT8 = 0x123456789ABCDEF0n ^ 0n ; -2147483648 :ASSERT end: - 0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR ; Set all registers to 0 + 0 => A,B,C,D,E,CTX, SP, PC, GAS, SR ; Set all registers to 0 longLoop: STEP-0x10000+40 : JMPC(longLoop2) diff --git a/test/consts_command.zkasm b/test/consts_command.zkasm index 922078b..b04d77d 100644 --- a/test/consts_command.zkasm +++ b/test/consts_command.zkasm @@ -10,7 +10,7 @@ CONSTL %MAXL = (1 << 256) - 1 ${115792089237316195423570985008687907853269984665640564039457584007913129639935} :ASSERT end: - 0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR + 0 => A,B,C,D,E,CTX, SP, PC, GAS, SR finalWait: ${beforeLast()} : JMPN(finalWait) diff --git a/test/errors/consts.max.zkasm b/test/errors/consts.max.zkasm index a943cec..6593893 100644 --- a/test/errors/consts.max.zkasm +++ b/test/errors/consts.max.zkasm @@ -4,7 +4,7 @@ start: 3*2+5 => A end: - 0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR ; Set all registers to 0 + 0 => A,B,C,D,E,CTX, SP, PC, GAS, SR ; Set all registers to 0 longLoop: STEP-0x10000+40 : JMPC(longLoop2) diff --git a/test/errors/consts.maxl.zkasm b/test/errors/consts.maxl.zkasm index 5078233..6875974 100644 --- a/test/errors/consts.maxl.zkasm +++ b/test/errors/consts.maxl.zkasm @@ -3,7 +3,7 @@ CONSTL %MAXL = ((1 << 256) - 1) + 1 start: 3*2+5 => A end: - 0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR ; Set all registers to 0 + 0 => A,B,C,D,E,CTX, SP, PC, GAS, SR ; Set all registers to 0 longLoop: STEP-0x10000+40 : JMPC(longLoop2) diff --git a/test/errors/consts.min.zkasm b/test/errors/consts.min.zkasm index aacc0a0..d59f9a3 100644 --- a/test/errors/consts.min.zkasm +++ b/test/errors/consts.min.zkasm @@ -4,7 +4,7 @@ start: 3*2+5 => A end: - 0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR ; Set all registers to 0 + 0 => A,B,C,D,E,CTX, SP, PC, GAS, SR ; Set all registers to 0 longLoop: STEP-0x10000+40 : JMPC(longLoop2) diff --git a/test/errors/consts.minl.zkasm b/test/errors/consts.minl.zkasm index 8da9537..50f6809 100644 --- a/test/errors/consts.minl.zkasm +++ b/test/errors/consts.minl.zkasm @@ -4,7 +4,7 @@ start: 3*2+5 => A end: - 0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR ; Set all registers to 0 + 0 => A,B,C,D,E,CTX, SP, PC, GAS, SR ; Set all registers to 0 longLoop: STEP-0x10000+40 : JMPC(longLoop2) diff --git a/test/errors/consts.mix.const.zkasm b/test/errors/consts.mix.const.zkasm index 17fc157..68dbd79 100644 --- a/test/errors/consts.mix.const.zkasm +++ b/test/errors/consts.mix.const.zkasm @@ -5,7 +5,7 @@ start: %A*%B+5 => A end: - 0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR ; Set all registers to 0 + 0 => A,B,C,D,E,CTX, SP, PC, GAS, SR ; Set all registers to 0 longLoop: STEP-0x10000+40 : JMPC(longLoop2) diff --git a/test/errors/consts.mix.values.zkasm b/test/errors/consts.mix.values.zkasm index ef54d20..cda77c2 100644 --- a/test/errors/consts.mix.values.zkasm +++ b/test/errors/consts.mix.values.zkasm @@ -5,7 +5,7 @@ start: 3*2+5n => A end: - 0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR ; Set all registers to 0 + 0 => A,B,C,D,E,CTX, SP, PC, GAS, SR ; Set all registers to 0 longLoop: STEP-0x10000+40 : JMPC(longLoop2) diff --git a/test/errors/consts.redefinition.zkasm b/test/errors/consts.redefinition.zkasm index 59f6df6..5a94467 100644 --- a/test/errors/consts.redefinition.zkasm +++ b/test/errors/consts.redefinition.zkasm @@ -5,7 +5,7 @@ start: 3*2+5n => A end: - 0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR ; Set all registers to 0 + 0 => A,B,C,D,E,CTX, SP, PC, GAS, SR ; Set all registers to 0 longLoop: STEP-0x10000+40 : JMPC(longLoop2) diff --git a/test/opcodes.zkasm b/test/opcodes.zkasm index a4ecd59..012f311 100644 --- a/test/opcodes.zkasm +++ b/test/opcodes.zkasm @@ -48,7 +48,7 @@ main: end: - 0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR ; Set all registers to 0 + 0 => A,B,C,D,E,CTX, SP, PC, GAS, SR ; Set all registers to 0 longLoop: STEP-0x10000+40 : JMPC(longLoop2) diff --git a/test/operations.zkasm b/test/operations.zkasm index e1ab08f..3a05c6c 100644 --- a/test/operations.zkasm +++ b/test/operations.zkasm @@ -1,4 +1,4 @@ -start: +start: 1 => B 0 => C,D @@ -10,62 +10,62 @@ start: ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 | 0x00F00000FFF00000FF0000000FFF000000FF00FF000FFFFFF000000000FFFF00} => A ${0x01F34567FFFBCDEFFF1122334FFF667788FFAAFFCCDFFFFFFEDCBA9876FFFF10} :ARITH - ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 | 0} => A + ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 | 0} => A ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210} :ARITH - ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 | 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF} => A + ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 | 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF} => A ${0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF} :ARITH ;;;;;;;;;;;;;;; ;; bitwise AND ;;;;;;;;;;;;;;; - - ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 & 0x00F00000FFF00000FF0000000FFF000000FF00FF000FFFFFF000000000FFFF00} => A + + ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 & 0x00F00000FFF00000FF0000000FFF000000FF00FF000FFFFFF000000000FFFF00} => A ${0x0020000089A000000000000004550000009900BB000DEEFFF000000000543200} :ARITH - ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 & 0} => A + ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 & 0} => A ${0} :ARITH - ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF} => A + ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF} => A ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210} :ARITH - + ;;;;;;;;;;;;;;; ;; bitwise XOR ;;;;;;;;;;;;;;; - - ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 ^ 0x00F00000FFF00000FF0000000FFF000000FF00FF000FFFFFF000000000FFFF00} => A + + ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 ^ 0x00F00000FFF00000FF0000000FFF000000FF00FF000FFFFFF000000000FFFF00} => A ${0x01D34567765BCDEFFF1122334BAA66778866AA44CCD211000EDCBA9876ABCD10} :ARITH - ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 ^ 0} => A + ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 ^ 0} => A ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210} :ARITH - ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 ^ 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF} => A + ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 ^ 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF} => A ${0xFEDCBA9876543210FFEEDDCCBBAA998877665544332211000123456789ABCDEF} :ARITH - + ;;;;;;;;;;;;;;; ;; bitwise NOT ;;;;;;;;;;;;;;; - - ${~0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF} => A + + ${~0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF} => A ${0} :ARITH - ${~0} => A + ${~0} => A ${0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF} :ARITH - ${~0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210} => A + ${~0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210} => A ${0xFEDCBA9876543210FFEEDDCCBBAA998877665544332211000123456789ABCDEF} :ARITH ;;;;;;;;;;;;;;; ;; SHL ;;;;;;;;;;;;;;; - - ${0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF << 1} => A + + ${0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF << 1} => A ${0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE} :ARITH - ${0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF << 255} => A + ${0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF << 255} => A ${0x8000000000000000000000000000000000000000000000000000000000000000} :ARITH - ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 << 36} => A + ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 << 36} => A ${0x9ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210000000000} :ARITH ;;;;;;;;;;;;;;; @@ -73,25 +73,25 @@ start: ;;;;;;;;;;;;;;; 1 => E - ${E ? 0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 : 0x00F00000FFF00000FF0000000FFF000000FF00FF000FFFFFF000000000FFFF00} => A + ${E ? 0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 : 0x00F00000FFF00000FF0000000FFF000000FF00FF000FFFFFF000000000FFFF00} => A ${0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210} :ARITH 0 => E - ${E ? 0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 : 0x00F00000FFF00000FF0000000FFF000000FF00FF000FFFFFF000000000FFFF00} => A + ${E ? 0x0123456789ABCDEF00112233445566778899AABBCCDDEEFFFEDCBA9876543210 : 0x00F00000FFF00000FF0000000FFF000000FF00FF000FFFFFF000000000FFFF00} => A ${0x00F00000FFF00000FF0000000FFF000000FF00FF000FFFFFF000000000FFFF00} :ARITH 1 => E - ${E ? (E + 3) : (E + 2)} => A + ${E ? (E + 3) : (E + 2)} => A 4 :ARITH 0 => E - ${E ? (E + 2 + 1) : ((E + 6 * 2) * 2 + 3)} => A + ${E ? (E + 2 + 1) : ((E + 6 * 2) * 2 + 3)} => A 27 :ARITH :JMP(end) - + end: - 0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR ; Set all registers to 0 + 0 => A,B,C,D,E,CTX, SP, PC, GAS, SR ; Set all registers to 0 longLoop: STEP-0x10000+40 : JMPC(longLoop2) diff --git a/test/rotlc.zkasm b/test/rotlc.zkasm index 8f4bd27..cc71fc8 100644 --- a/test/rotlc.zkasm +++ b/test/rotlc.zkasm @@ -7,7 +7,7 @@ start: 0x1415161718191A1B1C1D1E1F202122232425262728292A2B2C2D2E2F10111213n: ASSERT end: - 0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR + 0 => A,B,C,D,E,CTX, SP, PC, GAS, SR finalWait: ${beforeLast()} : JMPN(finalWait) diff --git a/test/subroutine.zkasm b/test/subroutine.zkasm index b588183..ae217b9 100644 --- a/test/subroutine.zkasm +++ b/test/subroutine.zkasm @@ -4,8 +4,8 @@ start: 2 => B :CALL(subroutine) ; same as :JMP(RR) - - 0 => A,B,D + + 0 => A,B,D 5 => E :ARITH 4 => A @@ -13,7 +13,7 @@ start: zkPC+1 => RR :JMP(subroutine) ; same as CALL(subroutime) - 0 => A,B,D + 0 => A,B,D 12 => E :ARITH :JMP(end) @@ -21,9 +21,9 @@ start: subroutine: A+B => C :RETURN ; same as :JMP(RR) - + end: - 0 => A,B,C,D,E,CTX, SP, PC, GAS, MAXMEM, SR ; Set all registers to 0 + 0 => A,B,C,D,E,CTX, SP, PC, GAS, SR ; Set all registers to 0 longLoop: STEP-0x10000+40 : JMPC(longLoop2)