l1-lottery-contracts/coverage/coverage-final.json

This repo contains smart contracts and related scripts for ZkNoid L1 Lottery proposed [here](https://forums.minaprotocol.com/t/zknoid-l1-lottery/6269)

{"/home/alex/ZkNoid/l1-lottery/src/CustomMerkleMap.ts": {"path":"/home/alex/ZkNoid/l1-lottery/src/CustomMerkleMap.ts","statementMap":{"0":{"start":{"line":17,"column":17},"end":{"line":17,"column":19}},"1":{"start":{"line":29,"column":15},"end":{"line":29,"column":20}},"2":{"start":{"line":31,"column":19},"end":{"line":31,"column":31}},"3":{"start":{"line":32,"column":21},"end":{"line":32,"column":34}},"4":{"start":{"line":34,"column":14},"end":{"line":34,"column":22}},"5":{"start":{"line":36,"column":4},"end":{"line":44,"column":5}},"6":{"start":{"line":36,"column":17},"end":{"line":36,"column":18}},"7":{"start":{"line":37,"column":19},"end":{"line":37,"column":60}},"8":{"start":{"line":38,"column":20},"end":{"line":38,"column":61}},"9":{"start":{"line":39,"column":6},"end":{"line":39,"column":42}},"10":{"start":{"line":41,"column":18},"end":{"line":41,"column":60}},"11":{"start":{"line":43,"column":6},"end":{"line":43,"column":32}},"12":{"start":{"line":46,"column":4},"end":{"line":46,"column":23}},"13":{"start":{"line":58,"column":4},"end":{"line":58,"column":41}},"14":{"start":{"line":65,"column":15},"end":{"line":65,"column":49}},"15":{"start":{"line":70,"column":12},"end":{"line":70,"column":14}},"16":{"start":{"line":71,"column":4},"end":{"line":73,"column":5}},"17":{"start":{"line":71,"column":17},"end":{"line":71,"column":32}},"18":{"start":{"line":72,"column":6},"end":{"line":72,"column":59}},"19":{"start":{"line":75,"column":4},"end":{"line":75,"column":13}},"20":{"start":{"line":84,"column":18},"end":{"line":84,"column":39}},"21":{"start":{"line":85,"column":4},"end":{"line":85,"column":36}},"22":{"start":{"line":94,"column":18},"end":{"line":94,"column":39}},"23":{"start":{"line":95,"column":4},"end":{"line":95,"column":39}},"24":{"start":{"line":103,"column":4},"end":{"line":103,"column":31}},"25":{"start":{"line":112,"column":18},"end":{"line":112,"column":39}},"26":{"start":{"line":114,"column":20},"end":{"line":114,"column":68}},"27":{"start":{"line":117,"column":4},"end":{"line":120,"column":7}}},"fnMap":{"0":{"name":"(anonymous_0)","decl":{"start":{"line":28,"column":2},"end":{"line":28,"column":19}},"loc":{"start":{"line":28,"column":32},"end":{"line":47,"column":3}}},"1":{"name":"(anonymous_1)","decl":{"start":{"line":57,"column":2},"end":{"line":57,"column":null}},"loc":{"start":{"line":57,"column":2},"end":{"line":59,"column":3}}},"2":{"name":"(anonymous_2)","decl":{"start":{"line":61,"column":2},"end":{"line":61,"column":13}},"loc":{"start":{"line":61,"column":24},"end":{"line":76,"column":3}}},"3":{"name":"(anonymous_3)","decl":{"start":{"line":83,"column":2},"end":{"line":83,"column":5}},"loc":{"start":{"line":83,"column":30},"end":{"line":86,"column":3}}},"4":{"name":"(anonymous_4)","decl":{"start":{"line":93,"column":2},"end":{"line":93,"column":5}},"loc":{"start":{"line":93,"column":16},"end":{"line":96,"column":3}}},"5":{"name":"(anonymous_5)","decl":{"start":{"line":102,"column":2},"end":{"line":102,"column":9}},"loc":{"start":{"line":102,"column":9},"end":{"line":104,"column":3}}},"6":{"name":"(anonymous_6)","decl":{"start":{"line":111,"column":2},"end":{"line":111,"column":12}},"loc":{"start":{"line":111,"column":23},"end":{"line":121,"column":3}}}},"branchMap":{},"s":{"0":1,"1":968,"2":968,"3":968,"4":968,"5":968,"6":968,"7":18392,"8":18392,"9":18392,"10":18392,"11":18392,"12":968,"13":36,"14":1487,"15":1487,"16":1487,"17":1487,"18":28253,"19":1487,"20":253,"21":253,"22":564,"23":564,"24":439,"25":670,"26":670,"27":670},"f":{"0":968,"1":36,"2":1487,"3":253,"4":564,"5":439,"6":670},"b":{}}
,"/home/alex/ZkNoid/l1-lottery/src/PLottery.ts": {"path":"/home/alex/ZkNoid/l1-lottery/src/PLottery.ts","statementMap":{"0":{"start":{"line":47,"column":26},"end":{"line":48,"column":null}},"1":{"start":{"line":48,"column":36},"end":{"line":48,"column":50}},"2":{"start":{"line":51,"column":35},"end":{"line":66,"column":1}},"3":{"start":{"line":52,"column":19},"end":{"line":52,"column":25}},"4":{"start":{"line":53,"column":16},"end":{"line":54,"column":null}},"5":{"start":{"line":54,"column":16},"end":{"line":54,"column":35}},"6":{"start":{"line":57,"column":18},"end":{"line":63,"column":36}},"7":{"start":{"line":59,"column":21},"end":{"line":59,"column":61}},"8":{"start":{"line":60,"column":6},"end":{"line":60,"column":49}},"9":{"start":{"line":62,"column":18},"end":{"line":62,"column":38}},"10":{"start":{"line":63,"column":18},"end":{"line":63,"column":35}},"11":{"start":{"line":65,"column":2},"end":{"line":65,"column":17}},"12":{"start":{"line":68,"column":21},"end":{"line":68,"column":46}},"13":{"start":{"line":69,"column":23},"end":{"line":69,"column":50}},"14":{"start":{"line":71,"column":19},"end":{"line":71,"column":42}},"15":{"start":{"line":72,"column":23},"end":{"line":72,"column":43}},"16":{"start":{"line":106,"column":4},"end":{"line":106,"column":53}},"17":{"start":{"line":108,"column":4},"end":{"line":114,"column":6}},"18":{"start":{"line":116,"column":18},"end":{"line":116,"column":46}},"19":{"start":{"line":119,"column":18},"end":{"line":119,"column":51}},"20":{"start":{"line":122,"column":18},"end":{"line":122,"column":44}},"21":{"start":{"line":125,"column":18},"end":{"line":125,"column":51}},"22":{"start":{"line":128,"column":19},"end":{"line":128,"column":48}},"23":{"start":{"line":131,"column":18},"end":{"line":131,"column":54}},"24":{"start":{"line":134,"column":18},"end":{"line":134,"column":53}},"25":{"start":{"line":137,"column":18},"end":{"line":137,"column":57}},"26":{"start":{"line":140,"column":6},"end":{"line":140,"column":19}},"27":{"start":{"line":142,"column":6},"end":{"line":142,"column":42}},"28":{"start":{"line":143,"column":6},"end":{"line":143,"column":45}},"29":{"start":{"line":144,"column":6},"end":{"line":144,"column":40}},"30":{"start":{"line":145,"column":6},"end":{"line":145,"column":47}},"31":{"start":{"line":146,"column":6},"end":{"line":148,"column":8}},"32":{"start":{"line":149,"column":6},"end":{"line":149,"column":62}},"33":{"start":{"line":150,"column":6},"end":{"line":150,"column":48}},"34":{"start":{"line":168,"column":6},"end":{"line":168,"column":64}},"35":{"start":{"line":169,"column":6},"end":{"line":169,"column":34}},"36":{"start":{"line":172,"column":6},"end":{"line":172,"column":53}},"37":{"start":{"line":175,"column":25},"end":{"line":176,"column":null}},"38":{"start":{"line":179,"column":6},"end":{"line":179,"column":79}},"39":{"start":{"line":182,"column":6},"end":{"line":187,"column":8}},"40":{"start":{"line":188,"column":6},"end":{"line":194,"column":8}},"41":{"start":{"line":214,"column":6},"end":{"line":214,"column":27}},"42":{"start":{"line":216,"column":31},"end":{"line":216,"column":76}},"43":{"start":{"line":218,"column":8},"end":{"line":218,"column":56}},"44":{"start":{"line":219,"column":24},"end":{"line":219,"column":61}},"45":{"start":{"line":224,"column":6},"end":{"line":227,"column":8}},"46":{"start":{"line":230,"column":6},"end":{"line":233,"column":8}},"47":{"start":{"line":236,"column":6},"end":{"line":239,"column":8}},"48":{"start":{"line":242,"column":6},"end":{"line":244,"column":8}},"49":{"start":{"line":247,"column":6},"end":{"line":250,"column":8}},"50":{"start":{"line":253,"column":6},"end":{"line":253,"column":71}},"51":{"start":{"line":254,"column":6},"end":{"line":254,"column":66}},"52":{"start":{"line":255,"column":6},"end":{"line":255,"column":62}},"53":{"start":{"line":256,"column":6},"end":{"line":256,"column":78}},"54":{"start":{"line":257,"column":6},"end":{"line":259,"column":8}},"55":{"start":{"line":262,"column":6},"end":{"line":268,"column":8}},"56":{"start":{"line":297,"column":41},"end":{"line":298,"column":null}},"57":{"start":{"line":301,"column":6},"end":{"line":303,"column":73}},"58":{"start":{"line":305,"column":6},"end":{"line":307,"column":70}},"59":{"start":{"line":309,"column":6},"end":{"line":309,"column":61}},"60":{"start":{"line":312,"column":27},"end":{"line":312,"column":55}},"61":{"start":{"line":313,"column":25},"end":{"line":313,"column":58}},"62":{"start":{"line":316,"column":30},"end":{"line":316,"column":74}},"63":{"start":{"line":318,"column":6},"end":{"line":318,"column":46}},"64":{"start":{"line":321,"column":6},"end":{"line":326,"column":8}},"65":{"start":{"line":328,"column":6},"end":{"line":331,"column":9}},"66":{"start":{"line":333,"column":6},"end":{"line":339,"column":8}},"67":{"start":{"line":373,"column":6},"end":{"line":373,"column":70}},"68":{"start":{"line":376,"column":34},"end":{"line":381,"column":null}},"69":{"start":{"line":385,"column":6},"end":{"line":385,"column":55}},"70":{"start":{"line":388,"column":6},"end":{"line":388,"column":57}},"71":{"start":{"line":391,"column":31},"end":{"line":391,"column":62}},"72":{"start":{"line":395,"column":27},"end":{"line":395,"column":64}},"73":{"start":{"line":396,"column":6},"end":{"line":396,"column":75}},"74":{"start":{"line":407,"column":6},"end":{"line":410,"column":9}},"75":{"start":{"line":412,"column":6},"end":{"line":418,"column":8}},"76":{"start":{"line":457,"column":6},"end":{"line":457,"column":70}},"77":{"start":{"line":459,"column":6},"end":{"line":459,"column":18}},"78":{"start":{"line":466,"column":10},"end":{"line":470,"column":null}},"79":{"start":{"line":473,"column":6},"end":{"line":476,"column":8}},"80":{"start":{"line":478,"column":6},"end":{"line":481,"column":8}},"81":{"start":{"line":483,"column":6},"end":{"line":486,"column":8}},"82":{"start":{"line":489,"column":6},"end":{"line":489,"column":60}},"83":{"start":{"line":492,"column":20},"end":{"line":492,"column":72}},"84":{"start":{"line":493,"column":25},"end":{"line":493,"column":46}},"85":{"start":{"line":495,"column":24},"end":{"line":495,"column":77}},"86":{"start":{"line":497,"column":6},"end":{"line":497,"column":52}},"87":{"start":{"line":499,"column":6},"end":{"line":502,"column":9}},"88":{"start":{"line":505,"column":6},"end":{"line":510,"column":8}},"89":{"start":{"line":512,"column":6},"end":{"line":518,"column":8}},"90":{"start":{"line":539,"column":6},"end":{"line":539,"column":50}},"91":{"start":{"line":540,"column":17},"end":{"line":540,"column":56}},"92":{"start":{"line":541,"column":25},"end":{"line":541,"column":60}},"93":{"start":{"line":544,"column":8},"end":{"line":544,"column":61}},"94":{"start":{"line":545,"column":6},"end":{"line":548,"column":8}},"95":{"start":{"line":550,"column":6},"end":{"line":550,"column":69}},"96":{"start":{"line":561,"column":25},"end":{"line":561,"column":62}},"97":{"start":{"line":562,"column":6},"end":{"line":565,"column":8}},"98":{"start":{"line":576,"column":25},"end":{"line":576,"column":62}},"99":{"start":{"line":577,"column":6},"end":{"line":580,"column":8}},"100":{"start":{"line":603,"column":6},"end":{"line":603,"column":75}},"101":{"start":{"line":635,"column":6},"end":{"line":635,"column":68}},"102":{"start":{"line":654,"column":6},"end":{"line":660,"column":8}},"103":{"start":{"line":679,"column":6},"end":{"line":685,"column":8}},"104":{"start":{"line":706,"column":21},"end":{"line":706,"column":65}},"105":{"start":{"line":708,"column":24},"end":{"line":708,"column":59}},"106":{"start":{"line":709,"column":6},"end":{"line":709,"column":25}},"107":{"start":{"line":711,"column":6},"end":{"line":711,"column":22}},"108":{"start":{"line":730,"column":22},"end":{"line":730,"column":49}},"109":{"start":{"line":732,"column":37},"end":{"line":732,"column":72}},"110":{"start":{"line":733,"column":6},"end":{"line":733,"column":54}},"111":{"start":{"line":734,"column":6},"end":{"line":736,"column":7}},"112":{"start":{"line":735,"column":8},"end":{"line":735,"column":50}},"113":{"start":{"line":738,"column":6},"end":{"line":740,"column":8}},"114":{"start":{"line":751,"column":18},"end":{"line":755,"column":null}},"115":{"start":{"line":758,"column":25},"end":{"line":758,"column":66}},"116":{"start":{"line":759,"column":25},"end":{"line":759,"column":65}},"117":{"start":{"line":760,"column":6},"end":{"line":760,"column":36}},"118":{"start":{"line":762,"column":6},"end":{"line":762,"column":17}},"119":{"start":{"line":784,"column":8},"end":{"line":784,"column":46}},"120":{"start":{"line":787,"column":8},"end":{"line":787,"column":55}},"121":{"start":{"line":792,"column":6},"end":{"line":794,"column":58}},"122":{"start":{"line":796,"column":6},"end":{"line":796,"column":61}},"123":{"start":{"line":116,"column":18},"end":{"line":116,"column":null}},"124":{"start":{"line":119,"column":18},"end":{"line":119,"column":null}},"125":{"start":{"line":122,"column":18},"end":{"line":122,"column":null}},"126":{"start":{"line":125,"column":18},"end":{"line":125,"column":null}},"127":{"start":{"line":128,"column":19},"end":{"line":128,"column":null}},"128":{"start":{"line":131,"column":18},"end":{"line":131,"column":null}},"129":{"start":{"line":134,"column":18},"end":{"line":134,"column":null}},"130":{"start":{"line":137,"column":18},"end":{"line":137,"column":null}},"131":{"start":{"line":166,"column":18},"end":{"line":195,"column":null}},"132":{"start":{"line":212,"column":18},"end":{"line":269,"column":null}},"133":{"start":{"line":289,"column":18},"end":{"line":340,"column":null}},"134":{"start":{"line":363,"column":18},"end":{"line":419,"column":null}},"135":{"start":{"line":445,"column":18},"end":{"line":519,"column":null}},"136":{"start":{"line":800,"column":2},"end":{"line":800,"column":18}}},"fnMap":{"0":{"name":"(anonymous_2)","decl":{"start":{"line":48,"column":29},"end":{"line":48,"column":30}},"loc":{"start":{"line":48,"column":36},"end":{"line":48,"column":50}}},"1":{"name":"(anonymous_3)","decl":{"start":{"line":51,"column":35},"end":{"line":51,"column":36}},"loc":{"start":{"line":51,"column":61},"end":{"line":66,"column":1}}},"2":{"name":"(anonymous_4)","decl":{"start":{"line":54,"column":4},"end":{"line":54,"column":5}},"loc":{"start":{"line":54,"column":16},"end":{"line":54,"column":35}}},"3":{"name":"(anonymous_5)","decl":{"start":{"line":58,"column":9},"end":{"line":58,"column":10}},"loc":{"start":{"line":58,"column":21},"end":{"line":61,"column":5}}},"4":{"name":"(anonymous_6)","decl":{"start":{"line":62,"column":9},"end":{"line":62,"column":10}},"loc":{"start":{"line":62,"column":18},"end":{"line":62,"column":38}}},"5":{"name":"(anonymous_7)","decl":{"start":{"line":63,"column":9},"end":{"line":63,"column":10}},"loc":{"start":{"line":63,"column":18},"end":{"line":63,"column":35}}},"6":{"name":"getPLottery","decl":{"start":{"line":99,"column":16},"end":{"line":99,"column":27}},"loc":{"start":{"line":101,"column":31},"end":{"line":801,"column":1}}},"7":{"name":"(anonymous_9)","decl":{"start":{"line":105,"column":2},"end":{"line":105,"column":8}},"loc":{"start":{"line":105,"column":2},"end":{"line":798,"column":3}}},"8":{"name":"(anonymous_10)","decl":{"start":{"line":139,"column":4},"end":{"line":139,"column":8}},"loc":{"start":{"line":139,"column":8},"end":{"line":151,"column":5}}},"9":{"name":"(anonymous_11)","decl":{"start":{"line":166,"column":12},"end":{"line":166,"column":17}},"loc":{"start":{"line":166,"column":56},"end":{"line":195,"column":5}}},"10":{"name":"(anonymous_12)","decl":{"start":{"line":212,"column":12},"end":{"line":212,"column":17}},"loc":{"start":{"line":212,"column":62},"end":{"line":269,"column":5}}},"11":{"name":"(anonymous_13)","decl":{"start":{"line":289,"column":12},"end":{"line":289,"column":17}},"loc":{"start":{"line":294,"column":20},"end":{"line":340,"column":5}}},"12":{"name":"(anonymous_15)","decl":{"start":{"line":445,"column":12},"end":{"line":445,"column":17}},"loc":{"start":{"line":454,"column":40},"end":{"line":519,"column":5}}},"13":{"name":"(anonymous_16)","decl":{"start":{"line":534,"column":11},"end":{"line":534,"column":33}},"loc":{"start":{"line":537,"column":18},"end":{"line":551,"column":5}}},"14":{"name":"(anonymous_17)","decl":{"start":{"line":560,"column":11},"end":{"line":560,"column":28}},"loc":{"start":{"line":560,"column":42},"end":{"line":566,"column":5}}},"15":{"name":"(anonymous_18)","decl":{"start":{"line":575,"column":11},"end":{"line":575,"column":25}},"loc":{"start":{"line":575,"column":39},"end":{"line":581,"column":5}}},"16":{"name":"(anonymous_19)","decl":{"start":{"line":598,"column":11},"end":{"line":598,"column":22}},"loc":{"start":{"line":601,"column":21},"end":{"line":604,"column":5}}},"17":{"name":"(anonymous_20)","decl":{"start":{"line":630,"column":11},"end":{"line":630,"column":20}},"loc":{"start":{"line":633,"column":21},"end":{"line":636,"column":5}}},"18":{"name":"(anonymous_21)","decl":{"start":{"line":648,"column":11},"end":{"line":648,"column":29}},"loc":{"start":{"line":652,"column":21},"end":{"line":661,"column":5}}},"19":{"name":"(anonymous_22)","decl":{"start":{"line":673,"column":11},"end":{"line":673,"column":34}},"loc":{"start":{"line":677,"column":21},"end":{"line":686,"column":5}}},"20":{"name":"(anonymous_23)","decl":{"start":{"line":699,"column":11},"end":{"line":699,"column":28}},"loc":{"start":{"line":704,"column":21},"end":{"line":712,"column":5}}},"21":{"name":"(anonymous_24)","decl":{"start":{"line":724,"column":11},"end":{"line":724,"column":19}},"loc":{"start":{"line":728,"column":21},"end":{"line":741,"column":5}}},"22":{"name":"(anonymous_25)","decl":{"start":{"line":743,"column":11},"end":{"line":743,"column":31}},"loc":{"start":{"line":749,"column":21},"end":{"line":763,"column":5}}},"23":{"name":"(anonymous_26)","decl":{"start":{"line":776,"column":11},"end":{"line":776,"column":22}},"loc":{"start":{"line":781,"column":18},"end":{"line":797,"column":5}}}},"branchMap":{"0":{"loc":{"start":{"line":734,"column":6},"end":{"line":736,"column":7}},"type":"if","locations":[{"start":{"line":734,"column":6},"end":{"line":736,"column":7}}]}},"s":{"0":1,"1":6,"2":1,"3":22,"4":22,"5":132,"6":22,"7":132,"8":132,"9":132,"10":132,"11":22,"12":1,"13":1,"14":1,"15":1,"16":3,"17":3,"18":3,"19":3,"20":3,"21":3,"22":3,"23":3,"24":3,"25":3,"26":6,"27":6,"28":6,"29":6,"30":6,"31":6,"32":6,"33":6,"34":120,"35":120,"36":120,"37":120,"38":120,"39":120,"40":120,"41":14,"42":14,"43":14,"44":14,"45":14,"46":14,"47":14,"48":14,"49":14,"50":14,"51":14,"52":14,"53":14,"54":14,"55":14,"56":14,"57":14,"58":14,"59":14,"60":14,"61":14,"62":14,"63":14,"64":14,"65":14,"66":14,"67":2,"68":2,"69":2,"70":2,"71":2,"72":2,"73":2,"74":2,"75":2,"76":108,"77":107,"78":107,"79":106,"80":106,"81":106,"82":106,"83":106,"84":106,"85":106,"86":106,"87":106,"88":106,"89":106,"90":14,"91":14,"92":14,"93":14,"94":14,"95":14,"96":120,"97":120,"98":2,"99":2,"100":108,"101":106,"102":16,"103":106,"104":122,"105":122,"106":122,"107":122,"108":336,"109":336,"110":336,"111":336,"112":336,"113":336,"114":2,"115":2,"116":2,"117":2,"118":2,"119":109,"120":109,"121":109,"122":108,"123":3,"124":3,"125":3,"126":3,"127":3,"128":3,"129":3,"130":3,"131":3,"132":3,"133":3,"134":3,"135":3,"136":3},"f":{"0":6,"1":22,"2":132,"3":132,"4":132,"5":132,"6":3,"7":3,"8":6,"9":120,"10":14,"11":14,"12":108,"13":14,"14":120,"15":2,"16":108,"17":106,"18":16,"19":106,"20":122,"21":336,"22":2,"23":109},"b":{"0":[336]}}
,"/home/alex/ZkNoid/l1-lottery/src/Ticket.ts": {"path":"/home/alex/ZkNoid/l1-lottery/src/Ticket.ts","statementMap":{"0":{"start":{"line":14,"column":2},"end":{"line":14,"column":41}},"1":{"start":{"line":27,"column":4},"end":{"line":31,"column":5}},"2":{"start":{"line":28,"column":6},"end":{"line":30,"column":8}},"3":{"start":{"line":32,"column":4},"end":{"line":36,"column":7}},"4":{"start":{"line":33,"column":39},"end":{"line":33,"column":58}},"5":{"start":{"line":40,"column":4},"end":{"line":46,"column":7}},"6":{"start":{"line":42,"column":8},"end":{"line":42,"column":37}},"7":{"start":{"line":50,"column":4},"end":{"line":53,"column":6}},"8":{"start":{"line":51,"column":20},"end":{"line":51,"column":58}},"9":{"start":{"line":57,"column":4},"end":{"line":62,"column":6}},"10":{"start":{"line":59,"column":25},"end":{"line":59,"column":37}},"11":{"start":{"line":66,"column":17},"end":{"line":66,"column":31}},"12":{"start":{"line":68,"column":4},"end":{"line":76,"column":5}},"13":{"start":{"line":68,"column":17},"end":{"line":68,"column":18}},"14":{"start":{"line":69,"column":6},"end":{"line":75,"column":8}},"15":{"start":{"line":78,"column":23},"end":{"line":79,"column":null}},"16":{"start":{"line":79,"column":6},"end":{"line":79,"column":39}},"17":{"start":{"line":82,"column":19},"end":{"line":83,"column":null}},"18":{"start":{"line":83,"column":6},"end":{"line":83,"column":39}},"19":{"start":{"line":86,"column":4},"end":{"line":86,"column":55}}},"fnMap":{"0":{"name":"getRandomInt","decl":{"start":{"line":13,"column":9},"end":{"line":13,"column":21}},"loc":{"start":{"line":13,"column":33},"end":{"line":15,"column":1}}},"1":{"name":"(anonymous_1)","decl":{"start":{"line":22,"column":2},"end":{"line":22,"column":8}},"loc":{"start":{"line":25,"column":18},"end":{"line":37,"column":3}}},"2":{"name":"(anonymous_2)","decl":{"start":{"line":33,"column":27},"end":{"line":33,"column":28}},"loc":{"start":{"line":33,"column":39},"end":{"line":33,"column":58}}},"3":{"name":"(anonymous_3)","decl":{"start":{"line":39,"column":2},"end":{"line":39,"column":8}},"loc":{"start":{"line":39,"column":32},"end":{"line":47,"column":3}}},"4":{"name":"(anonymous_4)","decl":{"start":{"line":41,"column":49},"end":{"line":41,"column":52}},"loc":{"start":{"line":42,"column":8},"end":{"line":42,"column":37}}},"5":{"name":"(anonymous_5)","decl":{"start":{"line":49,"column":2},"end":{"line":49,"column":7}},"loc":{"start":{"line":49,"column":7},"end":{"line":54,"column":3}}},"6":{"name":"(anonymous_6)","decl":{"start":{"line":51,"column":6},"end":{"line":51,"column":7}},"loc":{"start":{"line":51,"column":20},"end":{"line":51,"column":58}}},"7":{"name":"(anonymous_7)","decl":{"start":{"line":56,"column":2},"end":{"line":56,"column":6}},"loc":{"start":{"line":56,"column":6},"end":{"line":63,"column":3}}},"8":{"name":"(anonymous_8)","decl":{"start":{"line":59,"column":13},"end":{"line":59,"column":14}},"loc":{"start":{"line":59,"column":25},"end":{"line":59,"column":37}}},"9":{"name":"(anonymous_9)","decl":{"start":{"line":65,"column":2},"end":{"line":65,"column":10}},"loc":{"start":{"line":65,"column":39},"end":{"line":87,"column":3}}},"10":{"name":"(anonymous_10)","decl":{"start":{"line":78,"column":61},"end":{"line":78,"column":62}},"loc":{"start":{"line":79,"column":6},"end":{"line":79,"column":39}}},"11":{"name":"(anonymous_11)","decl":{"start":{"line":82,"column":42},"end":{"line":82,"column":43}},"loc":{"start":{"line":83,"column":6},"end":{"line":83,"column":39}}}},"branchMap":{"0":{"loc":{"start":{"line":27,"column":4},"end":{"line":31,"column":5}},"type":"if","locations":[{"start":{"line":27,"column":4},"end":{"line":31,"column":5}}]}},"s":{"0":426,"1":2,"2":0,"3":2,"4":12,"5":71,"6":426,"7":120,"8":720,"9":394,"10":2364,"11":212,"12":212,"13":212,"14":1272,"15":212,"16":1484,"17":212,"18":1484,"19":212},"f":{"0":426,"1":2,"2":12,"3":71,"4":426,"5":120,"6":720,"7":394,"8":2364,"9":212,"10":1484,"11":1484},"b":{"0":[0]}}
,"/home/alex/ZkNoid/l1-lottery/src/constants.ts": {"path":"/home/alex/ZkNoid/l1-lottery/src/constants.ts","statementMap":{"0":{"start":{"line":3,"column":33},"end":{"line":3,"column":34}},"1":{"start":{"line":5,"column":28},"end":{"line":5,"column":53}},"2":{"start":{"line":6,"column":31},"end":{"line":6,"column":33}},"3":{"start":{"line":8,"column":34},"end":{"line":8,"column":77}},"4":{"start":{"line":10,"column":25},"end":{"line":10,"column":29}},"5":{"start":{"line":11,"column":25},"end":{"line":11,"column":27}},"6":{"start":{"line":13,"column":38},"end":{"line":13,"column":56}},"7":{"start":{"line":16,"column":24},"end":{"line":17,"column":null}}},"fnMap":{},"branchMap":{},"s":{"0":1,"1":1,"2":1,"3":1,"4":1,"5":1,"6":1,"7":1},"f":{},"b":{}}
,"/home/alex/ZkNoid/l1-lottery/src/util.ts": {"path":"/home/alex/ZkNoid/l1-lottery/src/util.ts","statementMap":{"0":{"start":{"line":6,"column":35},"end":{"line":29,"column":1}},"1":{"start":{"line":9,"column":2},"end":{"line":18,"column":3}},"2":{"start":{"line":10,"column":4},"end":{"line":12,"column":5}},"3":{"start":{"line":11,"column":6},"end":{"line":11,"column":74}},"4":{"start":{"line":13,"column":4},"end":{"line":13,"column":47}},"5":{"start":{"line":14,"column":4},"end":{"line":14,"column":35}},"6":{"start":{"line":16,"column":4},"end":{"line":16,"column":45}},"7":{"start":{"line":17,"column":4},"end":{"line":17,"column":33}},"8":{"start":{"line":20,"column":2},"end":{"line":20,"column":43}},"9":{"start":{"line":21,"column":2},"end":{"line":26,"column":3}},"10":{"start":{"line":21,"column":15},"end":{"line":21,"column":16}},"11":{"start":{"line":22,"column":4},"end":{"line":25,"column":7}},"12":{"start":{"line":28,"column":2},"end":{"line":28,"column":33}},"13":{"start":{"line":34,"column":2},"end":{"line":34,"column":56}},"14":{"start":{"line":38,"column":2},"end":{"line":38,"column":30}},"15":{"start":{"line":39,"column":2},"end":{"line":39,"column":33}},"16":{"start":{"line":41,"column":2},"end":{"line":41,"column":71}},"17":{"start":{"line":45,"column":12},"end":{"line":45,"column":42}},"18":{"start":{"line":46,"column":2},"end":{"line":46,"column":20}},"19":{"start":{"line":48,"column":2},"end":{"line":48,"column":13}},"20":{"start":{"line":52,"column":12},"end":{"line":52,"column":42}},"21":{"start":{"line":53,"column":2},"end":{"line":53,"column":20}},"22":{"start":{"line":55,"column":2},"end":{"line":55,"column":13}}},"fnMap":{"0":{"name":"(anonymous_0)","decl":{"start":{"line":6,"column":35},"end":{"line":6,"column":36}},"loc":{"start":{"line":6,"column":66},"end":{"line":29,"column":1}}},"1":{"name":"getTotalScoreAndCommision","decl":{"start":{"line":33,"column":16},"end":{"line":33,"column":41}},"loc":{"start":{"line":33,"column":55},"end":{"line":35,"column":1}}},"2":{"name":"getNullifierId","decl":{"start":{"line":37,"column":16},"end":{"line":37,"column":30}},"loc":{"start":{"line":37,"column":60},"end":{"line":42,"column":1}}},"3":{"name":"convertToUInt64","decl":{"start":{"line":44,"column":16},"end":{"line":44,"column":31}},"loc":{"start":{"line":44,"column":44},"end":{"line":49,"column":1}}},"4":{"name":"convertToUInt32","decl":{"start":{"line":51,"column":16},"end":{"line":51,"column":31}},"loc":{"start":{"line":51,"column":44},"end":{"line":56,"column":1}}}},"branchMap":{"0":{"loc":{"start":{"line":9,"column":2},"end":{"line":18,"column":3}},"type":"if","locations":[{"start":{"line":9,"column":2},"end":{"line":18,"column":3}},{"start":{"line":15,"column":9},"end":{"line":18,"column":3}}]},"1":{"loc":{"start":{"line":10,"column":4},"end":{"line":12,"column":5}},"type":"if","locations":[{"start":{"line":10,"column":4},"end":{"line":12,"column":5}}]}},"s":{"0":1,"1":4,"2":4,"3":0,"4":4,"5":4,"6":0,"7":0,"8":4,"9":4,"10":4,"11":76,"12":4,"13":0,"14":210,"15":210,"16":210,"17":125,"18":125,"19":125,"20":282,"21":282,"22":282},"f":{"0":4,"1":0,"2":210,"3":125,"4":282},"b":{"0":[4,0],"1":[0]}}
,"/home/alex/ZkNoid/l1-lottery/src/Proofs/DistributionProof.ts": {"path":"/home/alex/ZkNoid/l1-lottery/src/Proofs/DistributionProof.ts","statementMap":{"0":{"start":{"line":25,"column":17},"end":{"line":25,"column":34}},"1":{"start":{"line":26,"column":21},"end":{"line":26,"column":39}},"2":{"start":{"line":29,"column":20},"end":{"line":36,"column":1}},"3":{"start":{"line":32,"column":2},"end":{"line":35,"column":5}},"4":{"start":{"line":38,"column":25},"end":{"line":62,"column":1}},"5":{"start":{"line":45,"column":2},"end":{"line":45,"column":21}},"6":{"start":{"line":47,"column":29},"end":{"line":47,"column":75}},"7":{"start":{"line":49,"column":2},"end":{"line":49,"column":56}},"8":{"start":{"line":51,"column":19},"end":{"line":51,"column":38}},"9":{"start":{"line":53,"column":20},"end":{"line":53,"column":66}},"10":{"start":{"line":54,"column":22},"end":{"line":55,"column":null}},"11":{"start":{"line":58,"column":2},"end":{"line":61,"column":5}},"12":{"start":{"line":64,"column":34},"end":{"line":90,"column":2}},"13":{"start":{"line":74,"column":8},"end":{"line":74,"column":27}},"14":{"start":{"line":86,"column":8},"end":{"line":86,"column":43}}},"fnMap":{"0":{"name":"(anonymous_0)","decl":{"start":{"line":29,"column":20},"end":{"line":29,"column":25}},"loc":{"start":{"line":31,"column":44},"end":{"line":36,"column":1}}},"1":{"name":"(anonymous_1)","decl":{"start":{"line":38,"column":25},"end":{"line":38,"column":30}},"loc":{"start":{"line":44,"column":44},"end":{"line":62,"column":1}}},"2":{"name":"(anonymous_2)","decl":{"start":{"line":71,"column":6},"end":{"line":71,"column":11}},"loc":{"start":{"line":72,"column":43},"end":{"line":75,"column":7}}},"3":{"name":"(anonymous_3)","decl":{"start":{"line":79,"column":6},"end":{"line":79,"column":11}},"loc":{"start":{"line":84,"column":9},"end":{"line":87,"column":7}}}},"branchMap":{},"s":{"0":1,"1":1,"2":1,"3":7,"4":1,"5":56,"6":56,"7":56,"8":56,"9":56,"10":56,"11":56,"12":1,"13":0,"14":0},"f":{"0":7,"1":56,"2":0,"3":0},"b":{}}
,"/home/alex/ZkNoid/l1-lottery/src/Proofs/TicketReduceProof.ts": {"path":"/home/alex/ZkNoid/l1-lottery/src/Proofs/TicketReduceProof.ts","statementMap":{"0":{"start":{"line":16,"column":2},"end":{"line":16,"column":63}},"1":{"start":{"line":16,"column":32},"end":{"line":16,"column":63}},"2":{"start":{"line":17,"column":13},"end":{"line":26,"column":11}},"3":{"start":{"line":20,"column":17},"end":{"line":20,"column":19}},"4":{"start":{"line":21,"column":6},"end":{"line":23,"column":7}},"5":{"start":{"line":21,"column":19},"end":{"line":21,"column":20}},"6":{"start":{"line":21,"column":26},"end":{"line":21,"column":44}},"7":{"start":{"line":22,"column":8},"end":{"line":22,"column":29}},"8":{"start":{"line":24,"column":6},"end":{"line":24,"column":18}},"9":{"start":{"line":27,"column":2},"end":{"line":27,"column":30}},"10":{"start":{"line":32,"column":2},"end":{"line":32,"column":65}},"11":{"start":{"line":35,"column":2},"end":{"line":35,"column":66}},"12":{"start":{"line":38,"column":13},"end":{"line":38,"column":25}},"13":{"start":{"line":39,"column":2},"end":{"line":39,"column":41}},"14":{"start":{"line":42,"column":2},"end":{"line":42,"column":25}},"15":{"start":{"line":50,"column":29},"end":{"line":58,"column":1}},"16":{"start":{"line":51,"column":2},"end":{"line":57,"column":5}},"17":{"start":{"line":66,"column":32},"end":{"line":68,"column":1}},"18":{"start":{"line":67,"column":2},"end":{"line":67,"column":78}},"19":{"start":{"line":72,"column":15},"end":{"line":72,"column":45}},"20":{"start":{"line":97,"column":20},"end":{"line":117,"column":1}},"21":{"start":{"line":105,"column":2},"end":{"line":116,"column":5}},"22":{"start":{"line":119,"column":25},"end":{"line":188,"column":1}},"23":{"start":{"line":126,"column":2},"end":{"line":126,"column":21}},"24":{"start":{"line":128,"column":34},"end":{"line":129,"column":null}},"25":{"start":{"line":133,"column":4},"end":{"line":133,"column":55}},"26":{"start":{"line":135,"column":25},"end":{"line":138,"column":null}},"27":{"start":{"line":141,"column":2},"end":{"line":141,"column":65}},"28":{"start":{"line":143,"column":2},"end":{"line":146,"column":4}},"29":{"start":{"line":147,"column":2},"end":{"line":147,"column":67}},"30":{"start":{"line":150,"column":29},"end":{"line":151,"column":null}},"31":{"start":{"line":155,"column":4},"end":{"line":155,"column":60}},"32":{"start":{"line":157,"column":32},"end":{"line":158,"column":null}},"33":{"start":{"line":160,"column":2},"end":{"line":160,"column":47}},"34":{"start":{"line":162,"column":2},"end":{"line":165,"column":4}},"35":{"start":{"line":167,"column":22},"end":{"line":168,"column":null}},"36":{"start":{"line":171,"column":28},"end":{"line":173,"column":null}},"37":{"start":{"line":176,"column":2},"end":{"line":187,"column":5}},"38":{"start":{"line":190,"column":26},"end":{"line":217,"column":1}},"39":{"start":{"line":197,"column":2},"end":{"line":197,"column":21}},"40":{"start":{"line":199,"column":19},"end":{"line":201,"column":null}},"41":{"start":{"line":203,"column":28},"end":{"line":203,"column":48}},"42":{"start":{"line":205,"column":2},"end":{"line":216,"column":5}},"43":{"start":{"line":224,"column":35},"end":{"line":274,"column":2}},"44":{"start":{"line":239,"column":8},"end":{"line":246,"column":10}},"45":{"start":{"line":258,"column":8},"end":{"line":258,"column":43}},"46":{"start":{"line":270,"column":8},"end":{"line":270,"column":44}}},"fnMap":{"0":{"name":"prefixToField","decl":{"start":{"line":15,"column":9},"end":{"line":15,"column":22}},"loc":{"start":{"line":15,"column":37},"end":{"line":28,"column":1}}},"1":{"name":"(anonymous_1)","decl":{"start":{"line":18,"column":9},"end":{"line":18,"column":10}},"loc":{"start":{"line":18,"column":18},"end":{"line":25,"column":5}}},"2":{"name":"initialState","decl":{"start":{"line":31,"column":9},"end":{"line":31,"column":21}},"loc":{"start":{"line":31,"column":21},"end":{"line":33,"column":1}}},"3":{"name":"salt","decl":{"start":{"line":34,"column":9},"end":{"line":34,"column":13}},"loc":{"start":{"line":34,"column":28},"end":{"line":36,"column":1}}},"4":{"name":"hashWithPrefix","decl":{"start":{"line":37,"column":9},"end":{"line":37,"column":23}},"loc":{"start":{"line":37,"column":54},"end":{"line":40,"column":1}}},"5":{"name":"emptyHashWithPrefix","decl":{"start":{"line":41,"column":9},"end":{"line":41,"column":28}},"loc":{"start":{"line":41,"column":43},"end":{"line":43,"column":1}}},"6":{"name":"(anonymous_6)","decl":{"start":{"line":50,"column":29},"end":{"line":50,"column":30}},"loc":{"start":{"line":50,"column":75},"end":{"line":58,"column":1}}},"7":{"name":"(anonymous_7)","decl":{"start":{"line":66,"column":32},"end":{"line":66,"column":33}},"loc":{"start":{"line":66,"column":75},"end":{"line":68,"column":1}}},"8":{"name":"(anonymous_8)","decl":{"start":{"line":72,"column":2},"end":{"line":72,"column":3}},"loc":{"start":{"line":72,"column":15},"end":{"line":72,"column":45}}},"9":{"name":"(anonymous_9)","decl":{"start":{"line":97,"column":20},"end":{"line":97,"column":25}},"loc":{"start":{"line":104,"column":44},"end":{"line":117,"column":1}}},"10":{"name":"(anonymous_10)","decl":{"start":{"line":119,"column":25},"end":{"line":119,"column":30}},"loc":{"start":{"line":125,"column":44},"end":{"line":188,"column":1}}},"11":{"name":"(anonymous_11)","decl":{"start":{"line":190,"column":26},"end":{"line":190,"column":31}},"loc":{"start":{"line":196,"column":44},"end":{"line":217,"column":1}}},"12":{"name":"(anonymous_12)","decl":{"start":{"line":231,"column":6},"end":{"line":231,"column":11}},"loc":{"start":{"line":237,"column":30},"end":{"line":247,"column":7}}},"13":{"name":"(anonymous_13)","decl":{"start":{"line":251,"column":6},"end":{"line":251,"column":11}},"loc":{"start":{"line":256,"column":9},"end":{"line":259,"column":7}}},"14":{"name":"(anonymous_14)","decl":{"start":{"line":263,"column":6},"end":{"line":263,"column":11}},"loc":{"start":{"line":268,"column":9},"end":{"line":271,"column":7}}}},"branchMap":{"0":{"loc":{"start":{"line":16,"column":2},"end":{"line":16,"column":63}},"type":"if","locations":[{"start":{"line":16,"column":2},"end":{"line":16,"column":63}}]}},"s":{"0":2,"1":0,"2":2,"3":49,"4":49,"5":49,"6":49,"7":392,"8":49,"9":2,"10":2,"11":2,"12":0,"13":0,"14":2,"15":1,"16":60,"17":1,"18":60,"19":0,"20":1,"21":7,"22":1,"23":60,"24":60,"25":60,"26":60,"27":60,"28":60,"29":60,"30":60,"31":60,"32":60,"33":60,"34":60,"35":60,"36":60,"37":60,"38":1,"39":60,"40":60,"41":60,"42":60,"43":1,"44":0,"45":0,"46":0},"f":{"0":2,"1":49,"2":2,"3":2,"4":0,"5":2,"6":60,"7":60,"8":0,"9":7,"10":60,"11":60,"12":0,"13":0,"14":0},"b":{"0":[0]}}
,"/home/alex/ZkNoid/l1-lottery/src/Random/RandomManager.ts": {"path":"/home/alex/ZkNoid/l1-lottery/src/Random/RandomManager.ts","statementMap":{"0":{"start":{"line":24,"column":21},"end":{"line":24,"column":46}},"1":{"start":{"line":26,"column":24},"end":{"line":26,"column":54}},"2":{"start":{"line":34,"column":4},"end":{"line":34,"column":50}},"3":{"start":{"line":38,"column":25},"end":{"line":38,"column":33}},"4":{"start":{"line":39,"column":25},"end":{"line":39,"column":33}},"5":{"start":{"line":45,"column":18},"end":{"line":45,"column":46}},"6":{"start":{"line":46,"column":18},"end":{"line":46,"column":46}},"7":{"start":{"line":48,"column":18},"end":{"line":48,"column":50}},"8":{"start":{"line":49,"column":19},"end":{"line":49,"column":47}},"9":{"start":{"line":51,"column":22},"end":{"line":51,"column":55}},"10":{"start":{"line":53,"column":4},"end":{"line":55,"column":6}},"11":{"start":{"line":58,"column":6},"end":{"line":58,"column":19}},"12":{"start":{"line":60,"column":6},"end":{"line":60,"column":40}},"13":{"start":{"line":61,"column":6},"end":{"line":61,"column":40}},"14":{"start":{"line":72,"column":6},"end":{"line":72,"column":29}},"15":{"start":{"line":74,"column":6},"end":{"line":74,"column":72}},"16":{"start":{"line":75,"column":6},"end":{"line":75,"column":36}},"17":{"start":{"line":90,"column":6},"end":{"line":90,"column":29}},"18":{"start":{"line":92,"column":38},"end":{"line":92,"column":79}},"19":{"start":{"line":94,"column":6},"end":{"line":94,"column":54}},"20":{"start":{"line":96,"column":6},"end":{"line":98,"column":70}},"21":{"start":{"line":100,"column":30},"end":{"line":101,"column":null}},"22":{"start":{"line":103,"column":6},"end":{"line":103,"column":41}},"23":{"start":{"line":120,"column":6},"end":{"line":120,"column":29}},"24":{"start":{"line":123,"column":29},"end":{"line":123,"column":70}},"25":{"start":{"line":124,"column":6},"end":{"line":127,"column":8}},"26":{"start":{"line":130,"column":38},"end":{"line":131,"column":null}},"27":{"start":{"line":134,"column":6},"end":{"line":136,"column":70}},"28":{"start":{"line":139,"column":44},"end":{"line":140,"column":null}},"29":{"start":{"line":143,"column":6},"end":{"line":145,"column":70}},"30":{"start":{"line":147,"column":6},"end":{"line":150,"column":8}},"31":{"start":{"line":153,"column":6},"end":{"line":153,"column":50}},"32":{"start":{"line":156,"column":26},"end":{"line":156,"column":76}},"33":{"start":{"line":159,"column":30},"end":{"line":159,"column":74}},"34":{"start":{"line":160,"column":6},"end":{"line":160,"column":41}},"35":{"start":{"line":163,"column":6},"end":{"line":163,"column":40}},"36":{"start":{"line":172,"column":27},"end":{"line":172,"column":68}},"37":{"start":{"line":173,"column":6},"end":{"line":176,"column":8}},"38":{"start":{"line":178,"column":33},"end":{"line":178,"column":71}},"39":{"start":{"line":179,"column":26},"end":{"line":179,"column":72}},"40":{"start":{"line":181,"column":24},"end":{"line":184,"column":null}},"41":{"start":{"line":187,"column":20},"end":{"line":191,"column":8}},"42":{"start":{"line":193,"column":6},"end":{"line":193,"column":41}},"43":{"start":{"line":202,"column":27},"end":{"line":202,"column":68}},"44":{"start":{"line":203,"column":6},"end":{"line":206,"column":8}},"45":{"start":{"line":208,"column":33},"end":{"line":208,"column":71}},"46":{"start":{"line":209,"column":26},"end":{"line":209,"column":72}},"47":{"start":{"line":210,"column":6},"end":{"line":210,"column":68}},"48":{"start":{"line":211,"column":6},"end":{"line":211,"column":59}},"49":{"start":{"line":219,"column":6},"end":{"line":219,"column":63}},"50":{"start":{"line":228,"column":25},"end":{"line":228,"column":61}},"51":{"start":{"line":229,"column":6},"end":{"line":232,"column":8}},"52":{"start":{"line":241,"column":25},"end":{"line":241,"column":61}},"53":{"start":{"line":242,"column":6},"end":{"line":245,"column":8}},"54":{"start":{"line":45,"column":18},"end":{"line":45,"column":null}},"55":{"start":{"line":46,"column":18},"end":{"line":46,"column":null}},"56":{"start":{"line":48,"column":18},"end":{"line":48,"column":null}},"57":{"start":{"line":49,"column":19},"end":{"line":49,"column":null}},"58":{"start":{"line":51,"column":22},"end":{"line":51,"column":null}},"59":{"start":{"line":71,"column":18},"end":{"line":76,"column":null}},"60":{"start":{"line":86,"column":18},"end":{"line":104,"column":null}},"61":{"start":{"line":115,"column":18},"end":{"line":164,"column":null}},"62":{"start":{"line":171,"column":18},"end":{"line":194,"column":null}},"63":{"start":{"line":201,"column":10},"end":{"line":212,"column":null}},"64":{"start":{"line":249,"column":2},"end":{"line":249,"column":23}},"65":{"start":{"line":255,"column":6},"end":{"line":255,"column":40}},"66":{"start":{"line":254,"column":18},"end":{"line":256,"column":null}},"67":{"start":{"line":259,"column":2},"end":{"line":259,"column":29}}},"fnMap":{"0":{"name":"(anonymous_2)","decl":{"start":{"line":33,"column":2},"end":{"line":33,"column":6}},"loc":{"start":{"line":33,"column":6},"end":{"line":35,"column":3}}},"1":{"name":"getRandomManager","decl":{"start":{"line":43,"column":16},"end":{"line":43,"column":32}},"loc":{"start":{"line":43,"column":49},"end":{"line":250,"column":1}}},"2":{"name":"(anonymous_4)","decl":{"start":{"line":44,"column":2},"end":{"line":44,"column":8}},"loc":{"start":{"line":44,"column":2},"end":{"line":247,"column":3}}},"3":{"name":"(anonymous_5)","decl":{"start":{"line":57,"column":4},"end":{"line":57,"column":8}},"loc":{"start":{"line":57,"column":8},"end":{"line":62,"column":5}}},"4":{"name":"(anonymous_6)","decl":{"start":{"line":71,"column":12},"end":{"line":71,"column":17}},"loc":{"start":{"line":71,"column":48},"end":{"line":76,"column":5}}},"5":{"name":"(anonymous_7)","decl":{"start":{"line":86,"column":12},"end":{"line":86,"column":17}},"loc":{"start":{"line":88,"column":37},"end":{"line":104,"column":5}}},"6":{"name":"(anonymous_8)","decl":{"start":{"line":115,"column":12},"end":{"line":115,"column":17}},"loc":{"start":{"line":118,"column":37},"end":{"line":164,"column":5}}},"7":{"name":"(anonymous_9)","decl":{"start":{"line":171,"column":12},"end":{"line":171,"column":17}},"loc":{"start":{"line":171,"column":26},"end":{"line":194,"column":5}}},"8":{"name":"(anonymous_10)","decl":{"start":{"line":201,"column":4},"end":{"line":201,"column":9}},"loc":{"start":{"line":201,"column":64},"end":{"line":212,"column":5}}},"9":{"name":"(anonymous_11)","decl":{"start":{"line":218,"column":11},"end":{"line":218,"column":26}},"loc":{"start":{"line":218,"column":26},"end":{"line":220,"column":5}}},"10":{"name":"(anonymous_12)","decl":{"start":{"line":227,"column":11},"end":{"line":227,"column":25}},"loc":{"start":{"line":227,"column":39},"end":{"line":233,"column":5}}},"11":{"name":"(anonymous_13)","decl":{"start":{"line":240,"column":11},"end":{"line":240,"column":29}},"loc":{"start":{"line":240,"column":43},"end":{"line":246,"column":5}}},"12":{"name":"getMockedRandomManager","decl":{"start":{"line":252,"column":16},"end":{"line":252,"column":38}},"loc":{"start":{"line":252,"column":55},"end":{"line":260,"column":1}}},"13":{"name":"(anonymous_15)","decl":{"start":{"line":254,"column":12},"end":{"line":254,"column":17}},"loc":{"start":{"line":254,"column":57},"end":{"line":256,"column":5}}}},"branchMap":{},"s":{"0":1,"1":1,"2":35,"3":1,"4":1,"5":17,"6":17,"7":17,"8":17,"9":17,"10":17,"11":6,"12":6,"13":6,"14":0,"15":0,"16":0,"17":14,"18":14,"19":14,"20":14,"21":14,"22":14,"23":14,"24":14,"25":14,"26":14,"27":14,"28":14,"29":14,"30":14,"31":14,"32":14,"33":14,"34":14,"35":14,"36":0,"37":0,"38":0,"39":0,"40":0,"41":0,"42":0,"43":0,"44":0,"45":0,"46":0,"47":0,"48":0,"49":28,"50":14,"51":14,"52":14,"53":14,"54":6,"55":6,"56":6,"57":6,"58":6,"59":6,"60":6,"61":6,"62":6,"63":6,"64":6,"65":14,"66":3,"67":3},"f":{"0":35,"1":6,"2":17,"3":6,"4":0,"5":14,"6":14,"7":0,"8":0,"9":28,"10":14,"11":14,"12":3,"13":14},"b":{}}
,"/home/alex/ZkNoid/l1-lottery/src/StateManager/BaseStateManager.ts": {"path":"/home/alex/ZkNoid/l1-lottery/src/StateManager/BaseStateManager.ts","statementMap":{"0":{"start":{"line":38,"column":2},"end":{"line":43,"column":5}},"1":{"start":{"line":64,"column":4},"end":{"line":64,"column":45}},"2":{"start":{"line":65,"column":4},"end":{"line":65,"column":46}},"3":{"start":{"line":66,"column":4},"end":{"line":66,"column":33}},"4":{"start":{"line":67,"column":4},"end":{"line":67,"column":29}},"5":{"start":{"line":68,"column":4},"end":{"line":68,"column":46}},"6":{"start":{"line":69,"column":4},"end":{"line":69,"column":37}},"7":{"start":{"line":70,"column":4},"end":{"line":70,"column":44}},"8":{"start":{"line":71,"column":4},"end":{"line":71,"column":23}},"9":{"start":{"line":72,"column":4},"end":{"line":72,"column":33}},"10":{"start":{"line":73,"column":4},"end":{"line":73,"column":25}},"11":{"start":{"line":74,"column":4},"end":{"line":74,"column":47}},"12":{"start":{"line":78,"column":21},"end":{"line":78,"column":51}},"13":{"start":{"line":79,"column":19},"end":{"line":79,"column":77}},"14":{"start":{"line":81,"column":4},"end":{"line":81,"column":47}},"15":{"start":{"line":85,"column":4},"end":{"line":89,"column":5}},"16":{"start":{"line":85,"column":17},"end":{"line":85,"column":18}},"17":{"start":{"line":86,"column":6},"end":{"line":86,"column":50}},"18":{"start":{"line":87,"column":6},"end":{"line":87,"column":37}},"19":{"start":{"line":88,"column":6},"end":{"line":88,"column":33}},"20":{"start":{"line":95,"column":25},"end":{"line":95,"column":69}},"21":{"start":{"line":96,"column":31},"end":{"line":97,"column":null}},"22":{"start":{"line":100,"column":4},"end":{"line":100,"column":46}},"23":{"start":{"line":107,"column":4},"end":{"line":107,"column":49}},"24":{"start":{"line":112,"column":24},"end":{"line":112,"column":66}},"25":{"start":{"line":113,"column":18},"end":{"line":113,"column":53}},"26":{"start":{"line":115,"column":4},"end":{"line":115,"column":32}},"27":{"start":{"line":126,"column":4},"end":{"line":126,"column":25}},"28":{"start":{"line":127,"column":26},"end":{"line":127,"column":63}},"29":{"start":{"line":129,"column":22},"end":{"line":129,"column":45}},"30":{"start":{"line":130,"column":24},"end":{"line":130,"column":54}},"31":{"start":{"line":132,"column":4},"end":{"line":138,"column":5}},"32":{"start":{"line":133,"column":6},"end":{"line":133,"column":45}},"33":{"start":{"line":134,"column":6},"end":{"line":137,"column":8}},"34":{"start":{"line":140,"column":4},"end":{"line":144,"column":6}},"35":{"start":{"line":148,"column":4},"end":{"line":150,"column":5}},"36":{"start":{"line":149,"column":6},"end":{"line":149,"column":34}},"37":{"start":{"line":152,"column":31},"end":{"line":152,"column":73}},"38":{"start":{"line":153,"column":25},"end":{"line":153,"column":54}},"39":{"start":{"line":154,"column":17},"end":{"line":154,"column":34}},"40":{"start":{"line":156,"column":16},"end":{"line":160,"column":6}},"41":{"start":{"line":162,"column":19},"end":{"line":164,"column":44}},"42":{"start":{"line":166,"column":4},"end":{"line":190,"column":5}},"43":{"start":{"line":166,"column":17},"end":{"line":166,"column":18}},"44":{"start":{"line":167,"column":21},"end":{"line":167,"column":48}},"45":{"start":{"line":168,"column":6},"end":{"line":171,"column":7}},"46":{"start":{"line":170,"column":8},"end":{"line":170,"column":17}},"47":{"start":{"line":173,"column":20},"end":{"line":177,"column":8}},"48":{"start":{"line":178,"column":6},"end":{"line":178,"column":42}},"49":{"start":{"line":180,"column":6},"end":{"line":188,"column":7}},"50":{"start":{"line":181,"column":8},"end":{"line":185,"column":10}},"51":{"start":{"line":187,"column":8},"end":{"line":187,"column":71}},"52":{"start":{"line":192,"column":4},"end":{"line":192,"column":36}},"53":{"start":{"line":193,"column":4},"end":{"line":193,"column":20}},"54":{"start":{"line":212,"column":25},"end":{"line":212,"column":69}},"55":{"start":{"line":214,"column":23},"end":{"line":214,"column":36}},"56":{"start":{"line":217,"column":19},"end":{"line":217,"column":20}},"57":{"start":{"line":218,"column":4},"end":{"line":233,"column":5}},"58":{"start":{"line":219,"column":6},"end":{"line":232,"column":7}},"59":{"start":{"line":225,"column":8},"end":{"line":225,"column":22}},"60":{"start":{"line":226,"column":8},"end":{"line":231,"column":9}},"61":{"start":{"line":227,"column":10},"end":{"line":229,"column":12}},"62":{"start":{"line":230,"column":10},"end":{"line":230,"column":16}},"63":{"start":{"line":234,"column":4},"end":{"line":236,"column":5}},"64":{"start":{"line":235,"column":6},"end":{"line":235,"column":54}},"65":{"start":{"line":238,"column":15},"end":{"line":240,"column":49}},"66":{"start":{"line":241,"column":27},"end":{"line":241,"column":69}},"67":{"start":{"line":242,"column":4},"end":{"line":244,"column":5}},"68":{"start":{"line":243,"column":6},"end":{"line":243,"column":57}},"69":{"start":{"line":245,"column":26},"end":{"line":245,"column":75}},"70":{"start":{"line":247,"column":22},"end":{"line":247,"column":57}},"71":{"start":{"line":248,"column":24},"end":{"line":248,"column":66}},"72":{"start":{"line":250,"column":29},"end":{"line":251,"column":null}},"73":{"start":{"line":254,"column":4},"end":{"line":259,"column":5}},"74":{"start":{"line":255,"column":6},"end":{"line":258,"column":8}},"75":{"start":{"line":261,"column":4},"end":{"line":270,"column":6}},"76":{"start":{"line":284,"column":25},"end":{"line":284,"column":69}},"77":{"start":{"line":286,"column":23},"end":{"line":286,"column":36}},"78":{"start":{"line":289,"column":19},"end":{"line":289,"column":20}},"79":{"start":{"line":290,"column":4},"end":{"line":302,"column":5}},"80":{"start":{"line":291,"column":6},"end":{"line":301,"column":7}},"81":{"start":{"line":297,"column":8},"end":{"line":299,"column":10}},"82":{"start":{"line":300,"column":8},"end":{"line":300,"column":14}},"83":{"start":{"line":303,"column":4},"end":{"line":305,"column":5}},"84":{"start":{"line":304,"column":6},"end":{"line":304,"column":54}},"85":{"start":{"line":307,"column":26},"end":{"line":307,"column":75}},"86":{"start":{"line":309,"column":22},"end":{"line":309,"column":57}},"87":{"start":{"line":310,"column":24},"end":{"line":310,"column":66}},"88":{"start":{"line":316,"column":4},"end":{"line":329,"column":5}},"89":{"start":{"line":317,"column":6},"end":{"line":317,"column":64}},"90":{"start":{"line":318,"column":6},"end":{"line":318,"