This repository has been archived by the owner on Mar 12, 2020. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 4
/
coverage.json
1 lines (1 loc) · 123 KB
/
coverage.json
1
{"contracts/Core/ACTUSTypes.sol":{"l":{},"path":"/Users/johannes/Documents/dev/actus-protocol/actus-solidity/contracts/Core/ACTUSTypes.sol","s":{},"b":{},"f":{},"fnMap":{},"statementMap":{},"branchMap":{}},"contracts/Core/Conventions/BusinessDayConvention.sol":{"l":{"20":1750,"26":104,"29":1646,"43":2094,"44":80,"46":80,"47":80,"48":56,"50":24,"52":0,"54":132,"55":132,"56":132,"58":0,"61":1802,"69":160,"70":160,"71":24,"73":26,"76":110,"84":156,"85":156,"86":32,"88":34,"91":90},"path":"/Users/johannes/Documents/dev/actus-protocol/actus-solidity/contracts/Core/Conventions/BusinessDayConvention.sol","s":{"1":1750,"2":104,"3":1646,"4":2094,"5":80,"6":2014,"7":80,"8":80,"9":56,"10":24,"11":1934,"12":0,"13":1934,"14":132,"15":132,"16":132,"17":0,"18":1802,"19":160,"20":160,"21":24,"22":136,"23":26,"24":110,"25":156,"26":156,"27":32,"28":124,"29":34,"30":90},"b":{"1":[104,1646],"2":[80,2014],"3":[80,1934],"4":[56,24],"5":[0,1934],"6":[132,1802],"7":[132,0],"8":[160,0],"9":[24,136],"10":[26,110],"11":[156,0],"12":[32,124],"13":[34,90]},"f":{"1":1750,"2":2094,"3":160,"4":156},"fnMap":{"1":{"name":"shiftCalcTime","line":11,"loc":{"start":{"line":11,"column":4},"end":{"line":19,"column":5}}},"2":{"name":"shiftEventTime","line":34,"loc":{"start":{"line":34,"column":4},"end":{"line":42,"column":5}}},"3":{"name":"getClosestBusinessDaySameDayOrFollowing","line":64,"loc":{"start":{"line":64,"column":4},"end":{"line":68,"column":5}}},"4":{"name":"getClosestBusinessDaySameDayOrPreceeding","line":79,"loc":{"start":{"line":79,"column":4},"end":{"line":83,"column":5}}}},"statementMap":{"1":{"start":{"line":20,"column":8},"end":{"line":20,"column":419}},"2":{"start":{"line":26,"column":12},"end":{"line":26,"column":28}},"3":{"start":{"line":29,"column":8},"end":{"line":29,"column":62}},"4":{"start":{"line":43,"column":8},"end":{"line":43,"column":1093}},"5":{"start":{"line":44,"column":12},"end":{"line":44,"column":79}},"6":{"start":{"line":45,"column":15},"end":{"line":45,"column":1279}},"7":{"start":{"line":46,"column":12},"end":{"line":46,"column":109}},"8":{"start":{"line":47,"column":12},"end":{"line":47,"column":1498}},"9":{"start":{"line":48,"column":16},"end":{"line":48,"column":49}},"10":{"start":{"line":50,"column":12},"end":{"line":50,"column":80}},"11":{"start":{"line":51,"column":15},"end":{"line":51,"column":1779}},"12":{"start":{"line":52,"column":12},"end":{"line":52,"column":80}},"13":{"start":{"line":53,"column":15},"end":{"line":53,"column":1966}},"14":{"start":{"line":54,"column":12},"end":{"line":54,"column":111}},"15":{"start":{"line":55,"column":12},"end":{"line":55,"column":2187}},"16":{"start":{"line":56,"column":16},"end":{"line":56,"column":50}},"17":{"start":{"line":58,"column":12},"end":{"line":58,"column":79}},"18":{"start":{"line":61,"column":8},"end":{"line":61,"column":24}},"19":{"start":{"line":69,"column":8},"end":{"line":69,"column":2659}},"20":{"start":{"line":70,"column":12},"end":{"line":70,"column":2718}},"21":{"start":{"line":71,"column":16},"end":{"line":71,"column":72}},"22":{"start":{"line":72,"column":19},"end":{"line":72,"column":2875}},"23":{"start":{"line":73,"column":16},"end":{"line":73,"column":72}},"24":{"start":{"line":76,"column":8},"end":{"line":76,"column":24}},"25":{"start":{"line":84,"column":8},"end":{"line":84,"column":3228}},"26":{"start":{"line":85,"column":12},"end":{"line":85,"column":3287}},"27":{"start":{"line":86,"column":16},"end":{"line":86,"column":72}},"28":{"start":{"line":87,"column":19},"end":{"line":87,"column":3444}},"29":{"start":{"line":88,"column":16},"end":{"line":88,"column":72}},"30":{"start":{"line":91,"column":8},"end":{"line":91,"column":24}}},"branchMap":{"1":{"line":20,"type":"if","locations":[{"start":{"line":20,"column":8},"end":{"line":20,"column":8}},{"start":{"line":20,"column":8},"end":{"line":20,"column":8}}]},"2":{"line":43,"type":"if","locations":[{"start":{"line":43,"column":8},"end":{"line":43,"column":8}},{"start":{"line":43,"column":8},"end":{"line":43,"column":8}}]},"3":{"line":45,"type":"if","locations":[{"start":{"line":45,"column":15},"end":{"line":45,"column":15}},{"start":{"line":45,"column":15},"end":{"line":45,"column":15}}]},"4":{"line":47,"type":"if","locations":[{"start":{"line":47,"column":12},"end":{"line":47,"column":12}},{"start":{"line":47,"column":12},"end":{"line":47,"column":12}}]},"5":{"line":51,"type":"if","locations":[{"start":{"line":51,"column":15},"end":{"line":51,"column":15}},{"start":{"line":51,"column":15},"end":{"line":51,"column":15}}]},"6":{"line":53,"type":"if","locations":[{"start":{"line":53,"column":15},"end":{"line":53,"column":15}},{"start":{"line":53,"column":15},"end":{"line":53,"column":15}}]},"7":{"line":55,"type":"if","locations":[{"start":{"line":55,"column":12},"end":{"line":55,"column":12}},{"start":{"line":55,"column":12},"end":{"line":55,"column":12}}]},"8":{"line":69,"type":"if","locations":[{"start":{"line":69,"column":8},"end":{"line":69,"column":8}},{"start":{"line":69,"column":8},"end":{"line":69,"column":8}}]},"9":{"line":70,"type":"if","locations":[{"start":{"line":70,"column":12},"end":{"line":70,"column":12}},{"start":{"line":70,"column":12},"end":{"line":70,"column":12}}]},"10":{"line":72,"type":"if","locations":[{"start":{"line":72,"column":19},"end":{"line":72,"column":19}},{"start":{"line":72,"column":19},"end":{"line":72,"column":19}}]},"11":{"line":84,"type":"if","locations":[{"start":{"line":84,"column":8},"end":{"line":84,"column":8}},{"start":{"line":84,"column":8},"end":{"line":84,"column":8}}]},"12":{"line":85,"type":"if","locations":[{"start":{"line":85,"column":12},"end":{"line":85,"column":12}},{"start":{"line":85,"column":12},"end":{"line":85,"column":12}}]},"13":{"line":87,"type":"if","locations":[{"start":{"line":87,"column":19},"end":{"line":87,"column":19}},{"start":{"line":87,"column":19},"end":{"line":87,"column":19}}]}}},"contracts/Core/Conventions/ContractDefaultConvention.sol":{"l":{"13":0,"14":0},"path":"/Users/johannes/Documents/dev/actus-protocol/actus-solidity/contracts/Core/Conventions/ContractDefaultConvention.sol","s":{"1":0,"2":0,"3":0},"b":{"1":[0,0]},"f":{"1":0},"fnMap":{"1":{"name":"performanceIndicator","line":8,"loc":{"start":{"line":8,"column":4},"end":{"line":12,"column":5}}}},"statementMap":{"1":{"start":{"line":13,"column":8},"end":{"line":13,"column":67}},"2":{"start":{"line":13,"column":59},"end":{"line":13,"column":67}},"3":{"start":{"line":14,"column":8},"end":{"line":14,"column":16}}},"branchMap":{"1":{"line":13,"type":"if","locations":[{"start":{"line":13,"column":8},"end":{"line":13,"column":8}},{"start":{"line":13,"column":8},"end":{"line":13,"column":8}}]}}},"contracts/Core/Conventions/ContractRoleConvention.sol":{"l":{"13":523,"14":90,"16":0,"17":0,"19":0,"20":0,"22":0},"path":"/Users/johannes/Documents/dev/actus-protocol/actus-solidity/contracts/Core/Conventions/ContractRoleConvention.sol","s":{"1":523,"2":433,"3":90,"4":90,"5":0,"6":0,"7":0,"8":0,"9":0,"10":0,"11":0,"12":0,"13":0},"b":{"1":[433,90],"2":[90,0],"3":[0,0],"4":[0,0],"5":[0,0],"6":[0,0]},"f":{"1":523},"fnMap":{"1":{"name":"roleSign","line":8,"loc":{"start":{"line":8,"column":2},"end":{"line":12,"column":5}}}},"statementMap":{"1":{"start":{"line":13,"column":8},"end":{"line":13,"column":54}},"2":{"start":{"line":13,"column":46},"end":{"line":13,"column":54}},"3":{"start":{"line":14,"column":8},"end":{"line":14,"column":55}},"4":{"start":{"line":14,"column":46},"end":{"line":14,"column":55}},"5":{"start":{"line":16,"column":8},"end":{"line":16,"column":54}},"6":{"start":{"line":16,"column":46},"end":{"line":16,"column":54}},"7":{"start":{"line":17,"column":8},"end":{"line":17,"column":55}},"8":{"start":{"line":17,"column":46},"end":{"line":17,"column":55}},"9":{"start":{"line":19,"column":8},"end":{"line":19,"column":54}},"10":{"start":{"line":19,"column":46},"end":{"line":19,"column":54}},"11":{"start":{"line":20,"column":8},"end":{"line":20,"column":55}},"12":{"start":{"line":20,"column":46},"end":{"line":20,"column":55}},"13":{"start":{"line":22,"column":8},"end":{"line":22,"column":69}}},"branchMap":{"1":{"line":13,"type":"if","locations":[{"start":{"line":13,"column":8},"end":{"line":13,"column":8}},{"start":{"line":13,"column":8},"end":{"line":13,"column":8}}]},"2":{"line":14,"type":"if","locations":[{"start":{"line":14,"column":8},"end":{"line":14,"column":8}},{"start":{"line":14,"column":8},"end":{"line":14,"column":8}}]},"3":{"line":16,"type":"if","locations":[{"start":{"line":16,"column":8},"end":{"line":16,"column":8}},{"start":{"line":16,"column":8},"end":{"line":16,"column":8}}]},"4":{"line":17,"type":"if","locations":[{"start":{"line":17,"column":8},"end":{"line":17,"column":8}},{"start":{"line":17,"column":8},"end":{"line":17,"column":8}}]},"5":{"line":19,"type":"if","locations":[{"start":{"line":19,"column":8},"end":{"line":19,"column":8}},{"start":{"line":19,"column":8},"end":{"line":19,"column":8}}]},"6":{"line":20,"type":"if","locations":[{"start":{"line":20,"column":8},"end":{"line":20,"column":8}},{"start":{"line":20,"column":8},"end":{"line":20,"column":8}}]}}},"contracts/Core/Conventions/DayCountConvention.sol":{"l":{"27":875,"28":875,"29":28,"31":16,"33":490,"35":341,"37":0,"39":0,"48":28,"49":28,"51":28,"53":28,"54":25,"57":3,"59":3,"63":3,"68":3,"76":16,"84":490,"92":341,"93":341,"94":341,"96":341,"97":341,"98":341,"100":341,"101":341,"103":341,"104":70,"107":341,"108":62,"111":341,"112":341,"113":341,"115":341,"123":0,"124":0,"125":0,"127":0,"128":0,"129":0,"131":0,"132":0,"134":0,"135":0,"138":0,"139":0,"142":0,"143":0,"144":0,"146":0},"path":"/Users/johannes/Documents/dev/actus-protocol/actus-solidity/contracts/Core/Conventions/DayCountConvention.sol","s":{"1":875,"2":875,"3":28,"4":847,"5":16,"6":831,"7":490,"8":341,"9":341,"10":0,"11":0,"12":0,"13":28,"14":28,"15":28,"16":28,"17":25,"18":3,"19":3,"20":3,"21":3,"22":16,"23":490,"24":341,"25":341,"26":341,"27":341,"28":341,"29":341,"30":341,"31":341,"32":341,"33":70,"34":341,"35":62,"36":341,"37":341,"38":341,"39":341,"40":0,"41":0,"42":0,"43":0,"44":0,"45":0,"46":0,"47":0,"48":0,"49":0,"50":0,"51":0,"52":0,"53":0,"54":0,"55":0},"b":{"1":[875,0],"2":[28,847],"3":[16,831],"4":[490,341],"5":[341,0],"6":[0,0],"7":[25,3],"8":[70,271],"9":[62,279],"10":[0,0],"11":[0,0]},"f":{"1":875,"2":28,"3":16,"4":490,"5":341,"6":0},"fnMap":{"1":{"name":"yearFraction","line":17,"loc":{"start":{"line":17,"column":4},"end":{"line":26,"column":5}}},"2":{"name":"actualActualISDA","line":43,"loc":{"start":{"line":43,"column":4},"end":{"line":47,"column":5}}},"3":{"name":"actualThreeSixty","line":71,"loc":{"start":{"line":71,"column":4},"end":{"line":75,"column":5}}},"4":{"name":"actualThreeSixtyFive","line":79,"loc":{"start":{"line":79,"column":4},"end":{"line":83,"column":5}}},"5":{"name":"thirtyEThreeSixty","line":87,"loc":{"start":{"line":87,"column":4},"end":{"line":91,"column":5}}},"6":{"name":"thirtyEThreeSixtyISDA","line":118,"loc":{"start":{"line":118,"column":4},"end":{"line":122,"column":5}}}},"statementMap":{"1":{"start":{"line":27,"column":8},"end":{"line":27,"column":84}},"2":{"start":{"line":28,"column":8},"end":{"line":28,"column":742}},"3":{"start":{"line":29,"column":12},"end":{"line":29,"column":65}},"4":{"start":{"line":30,"column":15},"end":{"line":30,"column":866}},"5":{"start":{"line":31,"column":12},"end":{"line":31,"column":65}},"6":{"start":{"line":32,"column":15},"end":{"line":32,"column":988}},"7":{"start":{"line":33,"column":12},"end":{"line":33,"column":69}},"8":{"start":{"line":34,"column":15},"end":{"line":34,"column":1114}},"9":{"start":{"line":35,"column":12},"end":{"line":35,"column":66}},"10":{"start":{"line":36,"column":15},"end":{"line":36,"column":1240}},"11":{"start":{"line":37,"column":12},"end":{"line":37,"column":84}},"12":{"start":{"line":39,"column":12},"end":{"line":39,"column":41}},"13":{"start":{"line":48,"column":8},"end":{"line":48,"column":71}},"14":{"start":{"line":49,"column":8},"end":{"line":49,"column":69}},"15":{"start":{"line":51,"column":8},"end":{"line":51,"column":91}},"16":{"start":{"line":53,"column":8},"end":{"line":53,"column":1824}},"17":{"start":{"line":54,"column":12},"end":{"line":54,"column":104}},"18":{"start":{"line":57,"column":8},"end":{"line":57,"column":90}},"19":{"start":{"line":59,"column":8},"end":{"line":59,"column":2089}},"20":{"start":{"line":63,"column":8},"end":{"line":63,"column":2301}},"21":{"start":{"line":68,"column":8},"end":{"line":68,"column":87}},"22":{"start":{"line":76,"column":8},"end":{"line":76,"column":74}},"23":{"start":{"line":84,"column":8},"end":{"line":84,"column":74}},"24":{"start":{"line":92,"column":8},"end":{"line":92,"column":21}},"25":{"start":{"line":93,"column":8},"end":{"line":93,"column":23}},"26":{"start":{"line":94,"column":8},"end":{"line":94,"column":22}},"27":{"start":{"line":96,"column":8},"end":{"line":96,"column":21}},"28":{"start":{"line":97,"column":8},"end":{"line":97,"column":23}},"29":{"start":{"line":98,"column":8},"end":{"line":98,"column":22}},"30":{"start":{"line":100,"column":8},"end":{"line":100,"column":88}},"31":{"start":{"line":101,"column":8},"end":{"line":101,"column":86}},"32":{"start":{"line":103,"column":8},"end":{"line":103,"column":3457}},"33":{"start":{"line":104,"column":12},"end":{"line":104,"column":21}},"34":{"start":{"line":107,"column":8},"end":{"line":107,"column":3519}},"35":{"start":{"line":108,"column":12},"end":{"line":108,"column":21}},"36":{"start":{"line":111,"column":8},"end":{"line":111,"column":54}},"37":{"start":{"line":112,"column":8},"end":{"line":112,"column":58}},"38":{"start":{"line":113,"column":8},"end":{"line":113,"column":56}},"39":{"start":{"line":115,"column":8},"end":{"line":115,"column":74}},"40":{"start":{"line":123,"column":8},"end":{"line":123,"column":21}},"41":{"start":{"line":124,"column":8},"end":{"line":124,"column":23}},"42":{"start":{"line":125,"column":8},"end":{"line":125,"column":22}},"43":{"start":{"line":127,"column":8},"end":{"line":127,"column":21}},"44":{"start":{"line":128,"column":8},"end":{"line":128,"column":23}},"45":{"start":{"line":129,"column":8},"end":{"line":129,"column":22}},"46":{"start":{"line":131,"column":8},"end":{"line":131,"column":88}},"47":{"start":{"line":132,"column":8},"end":{"line":132,"column":86}},"48":{"start":{"line":134,"column":8},"end":{"line":134,"column":4320}},"49":{"start":{"line":135,"column":12},"end":{"line":135,"column":21}},"50":{"start":{"line":138,"column":8},"end":{"line":138,"column":4433}},"51":{"start":{"line":139,"column":12},"end":{"line":139,"column":21}},"52":{"start":{"line":142,"column":8},"end":{"line":142,"column":54}},"53":{"start":{"line":143,"column":8},"end":{"line":143,"column":58}},"54":{"start":{"line":144,"column":8},"end":{"line":144,"column":56}},"55":{"start":{"line":146,"column":8},"end":{"line":146,"column":74}}},"branchMap":{"1":{"line":27,"type":"if","locations":[{"start":{"line":27,"column":8},"end":{"line":27,"column":8}},{"start":{"line":27,"column":8},"end":{"line":27,"column":8}}]},"2":{"line":28,"type":"if","locations":[{"start":{"line":28,"column":8},"end":{"line":28,"column":8}},{"start":{"line":28,"column":8},"end":{"line":28,"column":8}}]},"3":{"line":30,"type":"if","locations":[{"start":{"line":30,"column":15},"end":{"line":30,"column":15}},{"start":{"line":30,"column":15},"end":{"line":30,"column":15}}]},"4":{"line":32,"type":"if","locations":[{"start":{"line":32,"column":15},"end":{"line":32,"column":15}},{"start":{"line":32,"column":15},"end":{"line":32,"column":15}}]},"5":{"line":34,"type":"if","locations":[{"start":{"line":34,"column":15},"end":{"line":34,"column":15}},{"start":{"line":34,"column":15},"end":{"line":34,"column":15}}]},"6":{"line":36,"type":"if","locations":[{"start":{"line":36,"column":15},"end":{"line":36,"column":15}},{"start":{"line":36,"column":15},"end":{"line":36,"column":15}}]},"7":{"line":53,"type":"if","locations":[{"start":{"line":53,"column":8},"end":{"line":53,"column":8}},{"start":{"line":53,"column":8},"end":{"line":53,"column":8}}]},"8":{"line":103,"type":"if","locations":[{"start":{"line":103,"column":8},"end":{"line":103,"column":8}},{"start":{"line":103,"column":8},"end":{"line":103,"column":8}}]},"9":{"line":107,"type":"if","locations":[{"start":{"line":107,"column":8},"end":{"line":107,"column":8}},{"start":{"line":107,"column":8},"end":{"line":107,"column":8}}]},"10":{"line":134,"type":"if","locations":[{"start":{"line":134,"column":8},"end":{"line":134,"column":8}},{"start":{"line":134,"column":8},"end":{"line":134,"column":8}}]},"11":{"line":138,"type":"if","locations":[{"start":{"line":138,"column":8},"end":{"line":138,"column":8}},{"start":{"line":138,"column":8},"end":{"line":138,"column":8}}]}}},"contracts/Core/Conventions/EndOfMonthConvention.sol":{"l":{"31":0,"34":0,"38":0,"40":0,"42":0,"44":0,"58":0,"59":0,"60":0,"61":0,"62":0,"64":0},"path":"/Users/johannes/Documents/dev/actus-protocol/actus-solidity/contracts/Core/Conventions/EndOfMonthConvention.sol","s":{"1":0,"2":0,"3":0,"4":0,"5":0,"6":0,"7":0,"8":0,"9":0,"10":0,"11":0,"12":0,"13":0},"b":{"1":[0,0],"2":[0,0],"3":[0,0]},"f":{"1":0,"2":0},"fnMap":{"1":{"name":"adjustEndOfMonthConvention","line":22,"loc":{"start":{"line":22,"column":4},"end":{"line":30,"column":5}}},"2":{"name":"shiftEndOfMonth","line":53,"loc":{"start":{"line":53,"column":4},"end":{"line":57,"column":5}}}},"statementMap":{"1":{"start":{"line":31,"column":8},"end":{"line":31,"column":1104}},"2":{"start":{"line":34,"column":12},"end":{"line":34,"column":1300}},"3":{"start":{"line":38,"column":16},"end":{"line":38,"column":47}},"4":{"start":{"line":40,"column":12},"end":{"line":40,"column":42}},"5":{"start":{"line":41,"column":15},"end":{"line":41,"column":1630}},"6":{"start":{"line":42,"column":12},"end":{"line":42,"column":42}},"7":{"start":{"line":44,"column":8},"end":{"line":44,"column":86}},"8":{"start":{"line":58,"column":8},"end":{"line":58,"column":20}},"9":{"start":{"line":59,"column":8},"end":{"line":59,"column":21}},"10":{"start":{"line":60,"column":8},"end":{"line":60,"column":19}},"11":{"start":{"line":61,"column":8},"end":{"line":61,"column":82}},"12":{"start":{"line":62,"column":8},"end":{"line":62,"column":89}},"13":{"start":{"line":64,"column":8},"end":{"line":64,"column":89}}},"branchMap":{"1":{"line":31,"type":"if","locations":[{"start":{"line":31,"column":8},"end":{"line":31,"column":8}},{"start":{"line":31,"column":8},"end":{"line":31,"column":8}}]},"2":{"line":34,"type":"if","locations":[{"start":{"line":34,"column":12},"end":{"line":34,"column":12}},{"start":{"line":34,"column":12},"end":{"line":34,"column":12}}]},"3":{"line":41,"type":"if","locations":[{"start":{"line":41,"column":15},"end":{"line":41,"column":15}},{"start":{"line":41,"column":15},"end":{"line":41,"column":15}}]}}},"contracts/Core/Core.sol":{"l":{},"path":"/Users/johannes/Documents/dev/actus-protocol/actus-solidity/contracts/Core/Core.sol","s":{},"b":{},"f":{},"fnMap":{},"statementMap":{},"branchMap":{}},"contracts/Core/Schedule.sol":{"l":{"17":427,"19":427,"20":22,"22":0,"24":390,"26":12,"28":0,"30":3,"32":0,"35":427,"63":41,"64":41,"69":41,"70":0,"71":0,"72":0,"74":0,"75":0,"77":0,"80":41,"81":41,"84":41,"86":427,"87":381,"88":381,"89":381,"92":427,"95":427,"100":41,"101":25,"102":23,"107":41,"108":41,"109":10,"110":10,"114":41},"path":"/Users/johannes/Documents/dev/actus-protocol/actus-solidity/contracts/Core/Schedule.sol","s":{"1":427,"2":427,"3":22,"4":405,"5":0,"6":405,"7":390,"8":15,"9":12,"10":3,"11":0,"12":3,"13":3,"14":0,"15":427,"16":41,"17":41,"18":41,"19":0,"20":0,"21":0,"22":0,"23":0,"24":0,"25":41,"26":41,"27":41,"28":427,"29":381,"30":381,"31":427,"32":41,"33":25,"34":23,"35":41,"36":41,"37":10,"38":41},"b":{"1":[22,405],"2":[0,405],"3":[390,15],"4":[12,3],"5":[0,3],"6":[3,0],"7":[0,41],"8":[0,0],"9":[0,0],"10":[0,0],"11":[381,46],"12":[381,0],"13":[25,16],"14":[23,2],"15":[41,0],"16":[10,31]},"f":{"1":427,"2":41},"fnMap":{"1":{"name":"getNextCycleDate","line":12,"loc":{"start":{"line":12,"column":4},"end":{"line":16,"column":5}}},"2":{"name":"computeDatesFromCycleSegment","line":51,"loc":{"start":{"line":51,"column":4},"end":{"line":62,"column":5}}}},"statementMap":{"1":{"start":{"line":17,"column":8},"end":{"line":17,"column":28}},"2":{"start":{"line":19,"column":8},"end":{"line":19,"column":417}},"3":{"start":{"line":20,"column":12},"end":{"line":20,"column":95}},"4":{"start":{"line":21,"column":15},"end":{"line":21,"column":552}},"5":{"start":{"line":22,"column":12},"end":{"line":22,"column":99}},"6":{"start":{"line":23,"column":15},"end":{"line":23,"column":691}},"7":{"start":{"line":24,"column":12},"end":{"line":24,"column":97}},"8":{"start":{"line":25,"column":15},"end":{"line":25,"column":828}},"9":{"start":{"line":26,"column":12},"end":{"line":26,"column":101}},"10":{"start":{"line":27,"column":15},"end":{"line":27,"column":969}},"11":{"start":{"line":28,"column":12},"end":{"line":28,"column":101}},"12":{"start":{"line":29,"column":15},"end":{"line":29,"column":1110}},"13":{"start":{"line":30,"column":12},"end":{"line":30,"column":96}},"14":{"start":{"line":32,"column":12},"end":{"line":32,"column":67}},"15":{"start":{"line":35,"column":8},"end":{"line":35,"column":27}},"16":{"start":{"line":63,"column":8},"end":{"line":63,"column":44}},"17":{"start":{"line":64,"column":8},"end":{"line":64,"column":25}},"18":{"start":{"line":69,"column":8},"end":{"line":69,"column":2829}},"19":{"start":{"line":70,"column":12},"end":{"line":70,"column":2873}},"20":{"start":{"line":71,"column":16},"end":{"line":71,"column":40}},"21":{"start":{"line":74,"column":12},"end":{"line":74,"column":3023}},"22":{"start":{"line":75,"column":16},"end":{"line":75,"column":63}},"23":{"start":{"line":75,"column":40},"end":{"line":75,"column":62}},"24":{"start":{"line":77,"column":12},"end":{"line":77,"column":24}},"25":{"start":{"line":80,"column":8},"end":{"line":80,"column":33}},"26":{"start":{"line":81,"column":8},"end":{"line":81,"column":30}},"27":{"start":{"line":84,"column":8},"end":{"line":84,"column":3341}},"28":{"start":{"line":86,"column":12},"end":{"line":86,"column":3481}},"29":{"start":{"line":87,"column":16},"end":{"line":87,"column":102}},"30":{"start":{"line":88,"column":16},"end":{"line":88,"column":34}},"31":{"start":{"line":95,"column":12},"end":{"line":95,"column":65}},"32":{"start":{"line":100,"column":8},"end":{"line":100,"column":3881}},"33":{"start":{"line":101,"column":12},"end":{"line":101,"column":3923}},"34":{"start":{"line":102,"column":16},"end":{"line":102,"column":38}},"35":{"start":{"line":107,"column":8},"end":{"line":107,"column":4152}},"36":{"start":{"line":108,"column":12},"end":{"line":108,"column":4243}},"37":{"start":{"line":109,"column":16},"end":{"line":109,"column":46}},"38":{"start":{"line":114,"column":8},"end":{"line":114,"column":20}}},"branchMap":{"1":{"line":19,"type":"if","locations":[{"start":{"line":19,"column":8},"end":{"line":19,"column":8}},{"start":{"line":19,"column":8},"end":{"line":19,"column":8}}]},"2":{"line":21,"type":"if","locations":[{"start":{"line":21,"column":15},"end":{"line":21,"column":15}},{"start":{"line":21,"column":15},"end":{"line":21,"column":15}}]},"3":{"line":23,"type":"if","locations":[{"start":{"line":23,"column":15},"end":{"line":23,"column":15}},{"start":{"line":23,"column":15},"end":{"line":23,"column":15}}]},"4":{"line":25,"type":"if","locations":[{"start":{"line":25,"column":15},"end":{"line":25,"column":15}},{"start":{"line":25,"column":15},"end":{"line":25,"column":15}}]},"5":{"line":27,"type":"if","locations":[{"start":{"line":27,"column":15},"end":{"line":27,"column":15}},{"start":{"line":27,"column":15},"end":{"line":27,"column":15}}]},"6":{"line":29,"type":"if","locations":[{"start":{"line":29,"column":15},"end":{"line":29,"column":15}},{"start":{"line":29,"column":15},"end":{"line":29,"column":15}}]},"7":{"line":69,"type":"if","locations":[{"start":{"line":69,"column":8},"end":{"line":69,"column":8}},{"start":{"line":69,"column":8},"end":{"line":69,"column":8}}]},"8":{"line":70,"type":"if","locations":[{"start":{"line":70,"column":12},"end":{"line":70,"column":12}},{"start":{"line":70,"column":12},"end":{"line":70,"column":12}}]},"9":{"line":74,"type":"if","locations":[{"start":{"line":74,"column":12},"end":{"line":74,"column":12}},{"start":{"line":74,"column":12},"end":{"line":74,"column":12}}]},"10":{"line":75,"type":"if","locations":[{"start":{"line":75,"column":16},"end":{"line":75,"column":16}},{"start":{"line":75,"column":16},"end":{"line":75,"column":16}}]},"11":{"line":86,"type":"if","locations":[{"start":{"line":86,"column":12},"end":{"line":86,"column":12}},{"start":{"line":86,"column":12},"end":{"line":86,"column":12}}]},"12":{"line":87,"type":"if","locations":[{"start":{"line":87,"column":16},"end":{"line":87,"column":16}},{"start":{"line":87,"column":16},"end":{"line":87,"column":16}}]},"13":{"line":100,"type":"if","locations":[{"start":{"line":100,"column":8},"end":{"line":100,"column":8}},{"start":{"line":100,"column":8},"end":{"line":100,"column":8}}]},"14":{"line":101,"type":"if","locations":[{"start":{"line":101,"column":12},"end":{"line":101,"column":12}},{"start":{"line":101,"column":12},"end":{"line":101,"column":12}}]},"15":{"line":107,"type":"if","locations":[{"start":{"line":107,"column":8},"end":{"line":107,"column":8}},{"start":{"line":107,"column":8},"end":{"line":107,"column":8}}]},"16":{"line":108,"type":"if","locations":[{"start":{"line":108,"column":12},"end":{"line":108,"column":12}},{"start":{"line":108,"column":12},"end":{"line":108,"column":12}}]}}},"contracts/Core/SignedMath.sol":{"l":{"26":2335,"28":1225,"29":1225,"30":1225,"33":1225,"34":1225,"36":1225,"44":878,"47":878,"48":653,"49":653,"51":653,"52":653,"53":653,"55":653,"62":178,"69":38},"path":"/Users/johannes/Documents/dev/actus-protocol/actus-solidity/contracts/Core/SignedMath.sol","s":{"1":2335,"2":1110,"3":1225,"4":1225,"5":1225,"6":1225,"7":1225,"8":1225,"9":878,"10":878,"11":225,"12":653,"13":653,"14":653,"15":653,"16":653,"17":653,"18":178,"19":38},"b":{"1":[1110,1225],"2":[1225,0],"3":[1225,0],"4":[1225,0],"5":[878,0],"6":[225,653],"7":[653,0],"8":[653,0],"9":[653,0]},"f":{"1":2335,"2":878,"3":178,"4":38},"fnMap":{"1":{"name":"floatMult","line":21,"loc":{"start":{"line":21,"column":4},"end":{"line":25,"column":5}}},"2":{"name":"floatDiv","line":39,"loc":{"start":{"line":39,"column":4},"end":{"line":43,"column":5}}},"3":{"name":"min","line":61,"loc":{"start":{"line":61,"column":4},"end":{"line":61,"column":65}}},"4":{"name":"max","line":68,"loc":{"start":{"line":68,"column":4},"end":{"line":68,"column":65}}}},"statementMap":{"1":{"start":{"line":26,"column":8},"end":{"line":26,"column":38}},"2":{"start":{"line":26,"column":30},"end":{"line":26,"column":38}},"3":{"start":{"line":28,"column":8},"end":{"line":28,"column":87}},"4":{"start":{"line":29,"column":8},"end":{"line":29,"column":24}},"5":{"start":{"line":30,"column":8},"end":{"line":30,"column":68}},"6":{"start":{"line":33,"column":8},"end":{"line":33,"column":44}},"7":{"start":{"line":34,"column":8},"end":{"line":34,"column":75}},"8":{"start":{"line":36,"column":8},"end":{"line":36,"column":16}},"9":{"start":{"line":44,"column":8},"end":{"line":44,"column":60}},"10":{"start":{"line":47,"column":8},"end":{"line":47,"column":28}},"11":{"start":{"line":47,"column":20},"end":{"line":47,"column":28}},"12":{"start":{"line":48,"column":8},"end":{"line":48,"column":44}},"13":{"start":{"line":49,"column":8},"end":{"line":49,"column":87}},"14":{"start":{"line":51,"column":8},"end":{"line":51,"column":86}},"15":{"start":{"line":52,"column":8},"end":{"line":52,"column":24}},"16":{"start":{"line":53,"column":8},"end":{"line":53,"column":74}},"17":{"start":{"line":55,"column":8},"end":{"line":55,"column":16}},"18":{"start":{"line":62,"column":12},"end":{"line":62,"column":33}},"19":{"start":{"line":69,"column":12},"end":{"line":69,"column":33}}},"branchMap":{"1":{"line":26,"type":"if","locations":[{"start":{"line":26,"column":8},"end":{"line":26,"column":8}},{"start":{"line":26,"column":8},"end":{"line":26,"column":8}}]},"2":{"line":28,"type":"if","locations":[{"start":{"line":28,"column":8},"end":{"line":28,"column":8}},{"start":{"line":28,"column":8},"end":{"line":28,"column":8}}]},"3":{"line":30,"type":"if","locations":[{"start":{"line":30,"column":8},"end":{"line":30,"column":8}},{"start":{"line":30,"column":8},"end":{"line":30,"column":8}}]},"4":{"line":34,"type":"if","locations":[{"start":{"line":34,"column":8},"end":{"line":34,"column":8}},{"start":{"line":34,"column":8},"end":{"line":34,"column":8}}]},"5":{"line":44,"type":"if","locations":[{"start":{"line":44,"column":8},"end":{"line":44,"column":8}},{"start":{"line":44,"column":8},"end":{"line":44,"column":8}}]},"6":{"line":47,"type":"if","locations":[{"start":{"line":47,"column":8},"end":{"line":47,"column":8}},{"start":{"line":47,"column":8},"end":{"line":47,"column":8}}]},"7":{"line":49,"type":"if","locations":[{"start":{"line":49,"column":8},"end":{"line":49,"column":8}},{"start":{"line":49,"column":8},"end":{"line":49,"column":8}}]},"8":{"line":51,"type":"if","locations":[{"start":{"line":51,"column":8},"end":{"line":51,"column":8}},{"start":{"line":51,"column":8},"end":{"line":51,"column":8}}]},"9":{"line":53,"type":"if","locations":[{"start":{"line":53,"column":8},"end":{"line":53,"column":8}},{"start":{"line":53,"column":8},"end":{"line":53,"column":8}}]}}},"contracts/Core/Utils.sol":{"l":{"17":573,"28":1386,"29":1386,"31":1386,"39":448,"40":448,"48":0,"49":0,"50":0,"51":0,"52":0,"53":0,"54":0,"55":0,"56":0,"57":0,"58":0,"59":0,"60":0,"61":0,"62":0,"63":0,"64":0,"72":0,"74":0,"75":0,"77":0,"79":0,"81":0,"83":0,"85":0,"87":0,"90":0,"110":966,"111":56},"path":"/Users/johannes/Documents/dev/actus-protocol/actus-solidity/contracts/Core/Utils.sol","s":{"1":573,"2":1386,"3":1386,"4":1386,"5":448,"6":448,"7":0,"8":0,"9":0,"10":0,"11":0,"12":0,"13":0,"14":0,"15":0,"16":0,"17":0,"18":0,"19":0,"20":0,"21":0,"22":0,"23":0,"24":0,"25":0,"26":0,"27":0,"28":0,"29":0,"30":0,"31":0,"32":0,"33":0,"34":0,"35":0,"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":0,"50":0,"51":0,"52":0,"53":0,"54":0,"55":966,"56":910,"57":56},"b":{"1":[0,0],"2":[0,0],"3":[0,0],"4":[0,0],"5":[0,0],"6":[0,0],"7":[0,0],"8":[0,0],"9":[0,0],"10":[0,0],"11":[0,0],"12":[0,0],"13":[0,0],"14":[0,0],"15":[0,0],"16":[0,0],"17":[0,0],"18":[0,0],"19":[0,0],"20":[0,0],"21":[0,0],"22":[0,0],"23":[910,56]},"f":{"1":573,"2":1386,"3":448,"4":0,"5":0,"6":966},"fnMap":{"1":{"name":"encodeEvent","line":12,"loc":{"start":{"line":12,"column":4},"end":{"line":16,"column":5}}},"2":{"name":"decodeEvent","line":23,"loc":{"start":{"line":23,"column":4},"end":{"line":27,"column":5}}},"3":{"name":"computeEventTimeForEvent","line":34,"loc":{"start":{"line":34,"column":4},"end":{"line":38,"column":5}}},"4":{"name":"getEpochOffset","line":43,"loc":{"start":{"line":43,"column":4},"end":{"line":47,"column":5}}},"5":{"name":"getTimestampPlusPeriod","line":67,"loc":{"start":{"line":67,"column":4},"end":{"line":71,"column":5}}},"6":{"name":"isInSegment","line":101,"loc":{"start":{"line":101,"column":4},"end":{"line":109,"column":5}}}},"statementMap":{"1":{"start":{"line":17,"column":8},"end":{"line":17,"column":406}},"2":{"start":{"line":28,"column":8},"end":{"line":28,"column":70}},"3":{"start":{"line":29,"column":8},"end":{"line":29,"column":63}},"4":{"start":{"line":31,"column":8},"end":{"line":31,"column":40}},"5":{"start":{"line":39,"column":8},"end":{"line":39,"column":54}},"6":{"start":{"line":40,"column":8},"end":{"line":40,"column":88}},"7":{"start":{"line":48,"column":8},"end":{"line":48,"column":49}},"8":{"start":{"line":48,"column":40},"end":{"line":48,"column":49}},"9":{"start":{"line":49,"column":8},"end":{"line":49,"column":48}},"10":{"start":{"line":49,"column":39},"end":{"line":49,"column":48}},"11":{"start":{"line":50,"column":8},"end":{"line":50,"column":48}},"12":{"start":{"line":50,"column":39},"end":{"line":50,"column":48}},"13":{"start":{"line":51,"column":8},"end":{"line":51,"column":50}},"14":{"start":{"line":51,"column":41},"end":{"line":51,"column":50}},"15":{"start":{"line":52,"column":8},"end":{"line":52,"column":48}},"16":{"start":{"line":52,"column":39},"end":{"line":52,"column":48}},"17":{"start":{"line":53,"column":8},"end":{"line":53,"column":48}},"18":{"start":{"line":53,"column":39},"end":{"line":53,"column":48}},"19":{"start":{"line":54,"column":8},"end":{"line":54,"column":48}},"20":{"start":{"line":54,"column":39},"end":{"line":54,"column":48}},"21":{"start":{"line":55,"column":8},"end":{"line":55,"column":49}},"22":{"start":{"line":55,"column":40},"end":{"line":55,"column":49}},"23":{"start":{"line":56,"column":8},"end":{"line":56,"column":49}},"24":{"start":{"line":56,"column":39},"end":{"line":56,"column":49}},"25":{"start":{"line":57,"column":8},"end":{"line":57,"column":49}},"26":{"start":{"line":57,"column":39},"end":{"line":57,"column":49}},"27":{"start":{"line":58,"column":8},"end":{"line":58,"column":51}},"28":{"start":{"line":58,"column":41},"end":{"line":58,"column":51}},"29":{"start":{"line":59,"column":8},"end":{"line":59,"column":50}},"30":{"start":{"line":59,"column":40},"end":{"line":59,"column":50}},"31":{"start":{"line":60,"column":8},"end":{"line":60,"column":49}},"32":{"start":{"line":60,"column":39},"end":{"line":60,"column":49}},"33":{"start":{"line":61,"column":8},"end":{"line":61,"column":50}},"34":{"start":{"line":61,"column":40},"end":{"line":61,"column":50}},"35":{"start":{"line":62,"column":8},"end":{"line":62,"column":49}},"36":{"start":{"line":62,"column":39},"end":{"line":62,"column":49}},"37":{"start":{"line":63,"column":8},"end":{"line":63,"column":49}},"38":{"start":{"line":63,"column":39},"end":{"line":63,"column":49}},"39":{"start":{"line":64,"column":8},"end":{"line":64,"column":16}},"40":{"start":{"line":72,"column":8},"end":{"line":72,"column":28}},"41":{"start":{"line":74,"column":8},"end":{"line":74,"column":2241}},"42":{"start":{"line":75,"column":12},"end":{"line":75,"column":82}},"43":{"start":{"line":76,"column":15},"end":{"line":76,"column":2364}},"44":{"start":{"line":77,"column":12},"end":{"line":77,"column":86}},"45":{"start":{"line":78,"column":15},"end":{"line":78,"column":2491}},"46":{"start":{"line":79,"column":12},"end":{"line":79,"column":84}},"47":{"start":{"line":80,"column":15},"end":{"line":80,"column":2616}},"48":{"start":{"line":81,"column":12},"end":{"line":81,"column":88}},"49":{"start":{"line":82,"column":15},"end":{"line":82,"column":2745}},"50":{"start":{"line":83,"column":12},"end":{"line":83,"column":88}},"51":{"start":{"line":84,"column":15},"end":{"line":84,"column":2874}},"52":{"start":{"line":85,"column":12},"end":{"line":85,"column":83}},"53":{"start":{"line":87,"column":12},"end":{"line":87,"column":69}},"54":{"start":{"line":90,"column":8},"end":{"line":90,"column":27}},"55":{"start":{"line":110,"column":8},"end":{"line":110,"column":80}},"56":{"start":{"line":110,"column":69},"end":{"line":110,"column":80}},"57":{"start":{"line":111,"column":8},"end":{"line":111,"column":20}}},"branchMap":{"1":{"line":48,"type":"if","locations":[{"start":{"line":48,"column":8},"end":{"line":48,"column":8}},{"start":{"line":48,"column":8},"end":{"line":48,"column":8}}]},"2":{"line":49,"type":"if","locations":[{"start":{"line":49,"column":8},"end":{"line":49,"column":8}},{"start":{"line":49,"column":8},"end":{"line":49,"column":8}}]},"3":{"line":50,"type":"if","locations":[{"start":{"line":50,"column":8},"end":{"line":50,"column":8}},{"start":{"line":50,"column":8},"end":{"line":50,"column":8}}]},"4":{"line":51,"type":"if","locations":[{"start":{"line":51,"column":8},"end":{"line":51,"column":8}},{"start":{"line":51,"column":8},"end":{"line":51,"column":8}}]},"5":{"line":52,"type":"if","locations":[{"start":{"line":52,"column":8},"end":{"line":52,"column":8}},{"start":{"line":52,"column":8},"end":{"line":52,"column":8}}]},"6":{"line":53,"type":"if","locations":[{"start":{"line":53,"column":8},"end":{"line":53,"column":8}},{"start":{"line":53,"column":8},"end":{"line":53,"column":8}}]},"7":{"line":54,"type":"if","locations":[{"start":{"line":54,"column":8},"end":{"line":54,"column":8}},{"start":{"line":54,"column":8},"end":{"line":54,"column":8}}]},"8":{"line":55,"type":"if","locations":[{"start":{"line":55,"column":8},"end":{"line":55,"column":8}},{"start":{"line":55,"column":8},"end":{"line":55,"column":8}}]},"9":{"line":56,"type":"if","locations":[{"start":{"line":56,"column":8},"end":{"line":56,"column":8}},{"start":{"line":56,"column":8},"end":{"line":56,"column":8}}]},"10":{"line":57,"type":"if","locations":[{"start":{"line":57,"column":8},"end":{"line":57,"column":8}},{"start":{"line":57,"column":8},"end":{"line":57,"column":8}}]},"11":{"line":58,"type":"if","locations":[{"start":{"line":58,"column":8},"end":{"line":58,"column":8}},{"start":{"line":58,"column":8},"end":{"line":58,"column":8}}]},"12":{"line":59,"type":"if","locations":[{"start":{"line":59,"column":8},"end":{"line":59,"column":8}},{"start":{"line":59,"column":8},"end":{"line":59,"column":8}}]},"13":{"line":60,"type":"if","locations":[{"start":{"line":60,"column":8},"end":{"line":60,"column":8}},{"start":{"line":60,"column":8},"end":{"line":60,"column":8}}]},"14":{"line":61,"type":"if","locations":[{"start":{"line":61,"column":8},"end":{"line":61,"column":8}},{"start":{"line":61,"column":8},"end":{"line":61,"column":8}}]},"15":{"line":62,"type":"if","locations":[{"start":{"line":62,"column":8},"end":{"line":62,"column":8}},{"start":{"line":62,"column":8},"end":{"line":62,"column":8}}]},"16":{"line":63,"type":"if","locations":[{"start":{"line":63,"column":8},"end":{"line":63,"column":8}},{"start":{"line":63,"column":8},"end":{"line":63,"column":8}}]},"17":{"line":74,"type":"if","locations":[{"start":{"line":74,"column":8},"end":{"line":74,"column":8}},{"start":{"line":74,"column":8},"end":{"line":74,"column":8}}]},"18":{"line":76,"type":"if","locations":[{"start":{"line":76,"column":15},"end":{"line":76,"column":15}},{"start":{"line":76,"column":15},"end":{"line":76,"column":15}}]},"19":{"line":78,"type":"if","locations":[{"start":{"line":78,"column":15},"end":{"line":78,"column":15}},{"start":{"line":78,"column":15},"end":{"line":78,"column":15}}]},"20":{"line":80,"type":"if","locations":[{"start":{"line":80,"column":15},"end":{"line":80,"column":15}},{"start":{"line":80,"column":15},"end":{"line":80,"column":15}}]},"21":{"line":82,"type":"if","locations":[{"start":{"line":82,"column":15},"end":{"line":82,"column":15}},{"start":{"line":82,"column":15},"end":{"line":82,"column":15}}]},"22":{"line":84,"type":"if","locations":[{"start":{"line":84,"column":15},"end":{"line":84,"column":15}},{"start":{"line":84,"column":15},"end":{"line":84,"column":15}}]},"23":{"line":110,"type":"if","locations":[{"start":{"line":110,"column":8},"end":{"line":110,"column":8}},{"start":{"line":110,"column":8},"end":{"line":110,"column":8}}]}}},"contracts/Engines/ANNEngine.sol":{"l":{"32":11,"34":11,"35":11,"36":11,"37":11,"38":11,"39":11,"40":11,"41":11,"42":11,"44":11,"46":11,"69":13,"70":13,"73":13,"74":11,"75":11,"79":13,"80":0,"81":0,"82":0,"87":13,"88":0,"89":0,"90":0,"95":13,"96":11,"97":11,"98":11,"99":11,"102":13,"123":36,"125":36,"126":12,"130":12,"134":0,"142":0,"143":0,"144":0,"145":0,"149":0,"150":0,"151":0,"153":0,"154":0,"159":12,"163":0,"164":0,"165":0,"170":36,"171":12,"174":12,"175":0,"183":0,"184":0,"185":0,"186":0,"187":0,"192":36,"193":12,"196":12,"204":12,"205":109,"206":97,"207":97,"208":97,"209":97,"210":97,"214":36,"228":0,"253":175,"258":175,"259":175,"260":175,"261":166,"262":166,"263":83,"265":83,"266":8,"267":0,"268":0,"269":0,"270":0,"271":0,"272":0,"274":0,"298":149,"309":149,"310":149,"311":149,"312":149,"313":149,"314":149,"315":149,"316":149,"317":142,"318":71,"320":71,"321":7,"322":0,"323":0,"325":0},"path":"/Users/johannes/Documents/dev/actus-protocol/actus-solidity/contracts/Engines/ANNEngine.sol","s":{"1":11,"2":11,"3":11,"4":11,"5":11,"6":11,"7":11,"8":11,"9":11,"10":11,"11":11,"12":11,"13":13,"14":13,"15":13,"16":11,"17":13,"18":0,"19":0,"20":13,"21":0,"22":0,"23":13,"24":11,"25":11,"26":13,"27":36,"28":36,"29":12,"30":12,"31":0,"32":0,"33":0,"34":0,"35":0,"36":0,"37":0,"38":0,"39":12,"40":0,"41":0,"42":36,"43":12,"44":12,"45":0,"46":0,"47":0,"48":0,"49":0,"50":36,"51":12,"52":12,"53":12,"54":109,"55":97,"56":97,"57":97,"58":36,"59":0,"60":175,"61":175,"62":0,"63":175,"64":0,"65":175,"66":9,"67":166,"68":0,"69":166,"70":83,"71":83,"72":0,"73":83,"74":75,"75":8,"76":8,"77":0,"78":0,"79":0,"80":0,"81":0,"82":0,"83":0,"84":0,"85":0,"86":0,"87":0,"88":0,"89":0,"90":149,"91":149,"92":0,"93":149,"94":0,"95":149,"96":0,"97":149,"98":0,"99":149,"100":0,"101":149,"102":0,"103":149,"104":0,"105":149,"106":7,"107":142,"108":71,"109":71,"110":0,"111":71,"112":64,"113":7,"114":7,"115":0,"116":0,"117":0,"118":0,"119":0},"b":{"1":[11,2],"2":[0,13],"3":[0,0],"4":[0,13],"5":[0,0],"6":[11,2],"7":[12,24],"8":[0,12],"9":[0,0],"10":[0,0],"11":[0,0],"12":[0,0],"13":[0,12],"14":[0,0],"15":[12,24],"16":[0,12],"17":[0,0],"18":[0,0],"19":[12,24],"20":[12,97],"21":[0,97],"22":[0,175],"23":[0,175],"24":[9,166],"25":[0,166],"26":[83,83],"27":[0,83],"28":[75,8],"29":[8,0],"30":[0,0],"31":[0,0],"32":[0,0],"33":[0,0],"34":[0,0],"35":[0,0],"36":[0,149],"37":[0,149],"38":[0,149],"39":[0,149],"40":[0,149],"41":[0,149],"42":[0,149],"43":[7,142],"44":[71,71],"45":[0,71],"46":[64,7],"47":[7,0],"48":[0,0],"49":[0,0]},"f":{"1":11,"2":13,"3":36,"4":0,"5":175,"6":149},"fnMap":{"1":{"name":"computeInitialState","line":27,"loc":{"start":{"line":27,"column":4},"end":{"line":31,"column":5}}},"2":{"name":"computeNonCyclicScheduleSegment","line":60,"loc":{"start":{"line":60,"column":4},"end":{"line":68,"column":5}}},"3":{"name":"computeCyclicScheduleSegment","line":113,"loc":{"start":{"line":113,"column":4},"end":{"line":122,"column":5}}},"4":{"name":"isEventScheduled","line":217,"loc":{"start":{"line":217,"column":4},"end":{"line":227,"column":5}}},"5":{"name":"stateTransitionFunction","line":243,"loc":{"start":{"line":243,"column":1},"end":{"line":252,"column":2}}},"6":{"name":"payoffFunction","line":288,"loc":{"start":{"line":288,"column":4},"end":{"line":297,"column":5}}}},"statementMap":{"1":{"start":{"line":32,"column":8},"end":{"line":32,"column":26}},"2":{"start":{"line":34,"column":8},"end":{"line":34,"column":57}},"3":{"start":{"line":35,"column":8},"end":{"line":35,"column":68}},"4":{"start":{"line":36,"column":8},"end":{"line":36,"column":68}},"5":{"start":{"line":37,"column":8},"end":{"line":37,"column":42}},"6":{"start":{"line":38,"column":8},"end":{"line":38,"column":46}},"7":{"start":{"line":39,"column":8},"end":{"line":39,"column":87}},"8":{"start":{"line":40,"column":8},"end":{"line":40,"column":60}},"9":{"start":{"line":41,"column":8},"end":{"line":41,"column":83}},"10":{"start":{"line":42,"column":8},"end":{"line":42,"column":42}},"11":{"start":{"line":44,"column":8},"end":{"line":44,"column":113}},"12":{"start":{"line":46,"column":8},"end":{"line":46,"column":20}},"13":{"start":{"line":69,"column":8},"end":{"line":69,"column":62}},"14":{"start":{"line":70,"column":8},"end":{"line":70,"column":24}},"15":{"start":{"line":73,"column":8},"end":{"line":73,"column":2515}},"16":{"start":{"line":74,"column":12},"end":{"line":74,"column":88}},"17":{"start":{"line":79,"column":8},"end":{"line":79,"column":2737}},"18":{"start":{"line":80,"column":12},"end":{"line":80,"column":2784}},"19":{"start":{"line":81,"column":16},"end":{"line":81,"column":85}},"20":{"start":{"line":87,"column":8},"end":{"line":87,"column":3013}},"21":{"start":{"line":88,"column":12},"end":{"line":88,"column":3063}},"22":{"start":{"line":89,"column":16},"end":{"line":89,"column":87}},"23":{"start":{"line":95,"column":8},"end":{"line":95,"column":3318}},"24":{"start":{"line":96,"column":12},"end":{"line":96,"column":80}},"25":{"start":{"line":98,"column":12},"end":{"line":98,"column":80}},"26":{"start":{"line":102,"column":8},"end":{"line":102,"column":29}},"27":{"start":{"line":123,"column":8},"end":{"line":123,"column":62}},"28":{"start":{"line":125,"column":8},"end":{"line":125,"column":4366}},"29":{"start":{"line":126,"column":12},"end":{"line":126,"column":29}},"30":{"start":{"line":130,"column":12},"end":{"line":130,"column":4632}},"31":{"start":{"line":134,"column":16},"end":{"line":134,"column":4885}},"32":{"start":{"line":142,"column":16},"end":{"line":142,"column":5436}},"33":{"start":{"line":143,"column":20},"end":{"line":143,"column":62}},"34":{"start":{"line":144,"column":20},"end":{"line":144,"column":107}},"35":{"start":{"line":145,"column":20},"end":{"line":145,"column":5678}},"36":{"start":{"line":149,"column":24},"end":{"line":149,"column":95}},"37":{"start":{"line":150,"column":24},"end":{"line":150,"column":102}},"38":{"start":{"line":153,"column":24},"end":{"line":153,"column":100}},"39":{"start":{"line":159,"column":12},"end":{"line":159,"column":6346}},"40":{"start":{"line":163,"column":16},"end":{"line":163,"column":6528}},"41":{"start":{"line":164,"column":20},"end":{"line":164,"column":99}},"42":{"start":{"line":170,"column":8},"end":{"line":170,"column":6775}},"43":{"start":{"line":171,"column":12},"end":{"line":171,"column":29}},"44":{"start":{"line":174,"column":12},"end":{"line":174,"column":6876}},"45":{"start":{"line":175,"column":16},"end":{"line":175,"column":6970}},"46":{"start":{"line":183,"column":16},"end":{"line":183,"column":7296}},"47":{"start":{"line":184,"column":20},"end":{"line":184,"column":50}},"48":{"start":{"line":185,"column":20},"end":{"line":185,"column":95}},"49":{"start":{"line":186,"column":20},"end":{"line":186,"column":84}},"50":{"start":{"line":192,"column":8},"end":{"line":192,"column":7649}},"51":{"start":{"line":193,"column":12},"end":{"line":193,"column":29}},"52":{"start":{"line":196,"column":12},"end":{"line":196,"column":7816}},"53":{"start":{"line":204,"column":12},"end":{"line":204,"column":8159}},"54":{"start":{"line":205,"column":16},"end":{"line":205,"column":62}},"55":{"start":{"line":206,"column":16},"end":{"line":206,"column":107}},"56":{"start":{"line":207,"column":16},"end":{"line":207,"column":96}},"57":{"start":{"line":209,"column":16},"end":{"line":209,"column":96}},"58":{"start":{"line":214,"column":8},"end":{"line":214,"column":29}},"59":{"start":{"line":228,"column":8},"end":{"line":228,"column":19}},"60":{"start":{"line":253,"column":2},"end":{"line":253,"column":67}},"61":{"start":{"line":258,"column":2},"end":{"line":258,"column":92}},"62":{"start":{"line":258,"column":33},"end":{"line":258,"column":92}},"63":{"start":{"line":259,"column":2},"end":{"line":259,"column":92}},"64":{"start":{"line":259,"column":33},"end":{"line":259,"column":92}},"65":{"start":{"line":260,"column":2},"end":{"line":260,"column":94}},"66":{"start":{"line":260,"column":34},"end":{"line":260,"column":94}},"67":{"start":{"line":261,"column":2},"end":{"line":261,"column":96}},"68":{"start":{"line":261,"column":35},"end":{"line":261,"column":96}},"69":{"start":{"line":262,"column":2},"end":{"line":262,"column":92}},"70":{"start":{"line":262,"column":33},"end":{"line":262,"column":92}},"71":{"start":{"line":263,"column":2},"end":{"line":263,"column":92}},"72":{"start":{"line":263,"column":33},"end":{"line":263,"column":92}},"73":{"start":{"line":265,"column":2},"end":{"line":265,"column":92}},"74":{"start":{"line":265,"column":33},"end":{"line":265,"column":92}},"75":{"start":{"line":266,"column":2},"end":{"line":266,"column":92}},"76":{"start":{"line":266,"column":33},"end":{"line":266,"column":92}},"77":{"start":{"line":267,"column":2},"end":{"line":267,"column":92}},"78":{"start":{"line":267,"column":33},"end":{"line":267,"column":92}},"79":{"start":{"line":268,"column":2},"end":{"line":268,"column":94}},"80":{"start":{"line":268,"column":34},"end":{"line":268,"column":94}},"81":{"start":{"line":269,"column":2},"end":{"line":269,"column":92}},"82":{"start":{"line":269,"column":33},"end":{"line":269,"column":92}},"83":{"start":{"line":270,"column":2},"end":{"line":270,"column":92}},"84":{"start":{"line":270,"column":33},"end":{"line":270,"column":92}},"85":{"start":{"line":271,"column":2},"end":{"line":271,"column":92}},"86":{"start":{"line":271,"column":33},"end":{"line":271,"column":92}},"87":{"start":{"line":272,"column":2},"end":{"line":272,"column":92}},"88":{"start":{"line":272,"column":33},"end":{"line":272,"column":92}},"89":{"start":{"line":274,"column":8},"end":{"line":274,"column":71}},"90":{"start":{"line":298,"column":8},"end":{"line":298,"column":73}},"91":{"start":{"line":309,"column":2},"end":{"line":309,"column":41}},"92":{"start":{"line":309,"column":33},"end":{"line":309,"column":41}},"93":{"start":{"line":310,"column":2},"end":{"line":310,"column":43}},"94":{"start":{"line":310,"column":35},"end":{"line":310,"column":43}},"95":{"start":{"line":311,"column":2},"end":{"line":311,"column":42}},"96":{"start":{"line":311,"column":34},"end":{"line":311,"column":42}},"97":{"start":{"line":312,"column":2},"end":{"line":312,"column":41}},"98":{"start":{"line":312,"column":33},"end":{"line":312,"column":41}},"99":{"start":{"line":313,"column":2},"end":{"line":313,"column":41}},"100":{"start":{"line":313,"column":33},"end":{"line":313,"column":41}},"101":{"start":{"line":314,"column":2},"end":{"line":314,"column":41}},"102":{"start":{"line":314,"column":33},"end":{"line":314,"column":41}},"103":{"start":{"line":315,"column":2},"end":{"line":315,"column":92}},"104":{"start":{"line":315,"column":33},"end":{"line":315,"column":92}},"105":{"start":{"line":316,"column":2},"end":{"line":316,"column":94}},"106":{"start":{"line":316,"column":34},"end":{"line":316,"column":94}},"107":{"start":{"line":317,"column":2},"end":{"line":317,"column":92}},"108":{"start":{"line":317,"column":33},"end":{"line":317,"column":92}},"109":{"start":{"line":318,"column":2},"end":{"line":318,"column":92}},"110":{"start":{"line":318,"column":33},"end":{"line":318,"column":92}},"111":{"start":{"line":320,"column":2},"end":{"line":320,"column":92}},"112":{"start":{"line":320,"column":33},"end":{"line":320,"column":92}},"113":{"start":{"line":321,"column":2},"end":{"line":321,"column":92}},"114":{"start":{"line":321,"column":33},"end":{"line":321,"column":92}},"115":{"start":{"line":322,"column":2},"end":{"line":322,"column":92}},"116":{"start":{"line":322,"column":33},"end":{"line":322,"column":92}},"117":{"start":{"line":323,"column":2},"end":{"line":323,"column":92}},"118":{"start":{"line":323,"column":33},"end":{"line":323,"column":92}},"119":{"start":{"line":325,"column":8},"end":{"line":325,"column":62}}},"branchMap":{"1":{"line":73,"type":"if","locations":[{"start":{"line":73,"column":8},"end":{"line":73,"column":8}},{"start":{"line":73,"column":8},"end":{"line":73,"column":8}}]},"2":{"line":79,"type":"if","locations":[{"start":{"line":79,"column":8},"end":{"line":79,"column":8}},{"start":{"line":79,"column":8},"end":{"line":79,"column":8}}]},"3":{"line":80,"type":"if","locations":[{"start":{"line":80,"column":12},"end":{"line":80,"column":12}},{"start":{"line":80,"column":12},"end":{"line":80,"column":12}}]},"4":{"line":87,"type":"if","locations":[{"start":{"line":87,"column":8},"end":{"line":87,"column":8}},{"start":{"line":87,"column":8},"end":{"line":87,"column":8}}]},"5":{"line":88,"type":"if","locations":[{"start":{"line":88,"column":12},"end":{"line":88,"column":12}},{"start":{"line":88,"column":12},"end":{"line":88,"column":12}}]},"6":{"line":95,"type":"if","locations":[{"start":{"line":95,"column":8},"end":{"line":95,"column":8}},{"start":{"line":95,"column":8},"end":{"line":95,"column":8}}]},"7":{"line":125,"type":"if","locations":[{"start":{"line":125,"column":8},"end":{"line":125,"column":8}},{"start":{"line":125,"column":8},"end":{"line":125,"column":8}}]},"8":{"line":130,"type":"if","locations":[{"start":{"line":130,"column":12},"end":{"line":130,"column":12}},{"start":{"line":130,"column":12},"end":{"line":130,"column":12}}]},"9":{"line":143,"type":"if","locations":[{"start":{"line":143,"column":20},"end":{"line":143,"column":20}},{"start":{"line":143,"column":20},"end":{"line":143,"column":20}}]},"10":{"line":144,"type":"if","locations":[{"start":{"line":144,"column":20},"end":{"line":144,"column":20}},{"start":{"line":144,"column":20},"end":{"line":144,"column":20}}]},"11":{"line":145,"type":"if","locations":[{"start":{"line":145,"column":20},"end":{"line":145,"column":20}},{"start":{"line":145,"column":20},"end":{"line":145,"column":20}}]},"12":{"line":149,"type":"if","locations":[{"start":{"line":149,"column":24},"end":{"line":149,"column":24}},{"start":{"line":149,"column":24},"end":{"line":149,"column":24}}]},"13":{"line":159,"type":"if","locations":[{"start":{"line":159,"column":12},"end":{"line":159,"column":12}},{"start":{"line":159,"column":12},"end":{"line":159,"column":12}}]},"14":{"line":163,"type":"if","locations":[{"start":{"line":163,"column":16},"end":{"line":163,"column":16}},{"start":{"line":163,"column":16},"end":{"line":163,"column":16}}]},"15":{"line":170,"type":"if","locations":[{"start":{"line":170,"column":8},"end":{"line":170,"column":8}},{"start":{"line":170,"column":8},"end":{"line":170,"column":8}}]},"16":{"line":174,"type":"if","locations":[{"start":{"line":174,"column":12},"end":{"line":174,"column":12}},{"start":{"line":174,"column":12},"end":{"line":174,"column":12}}]},"17":{"line":184,"type":"if","locations":[{"start":{"line":184,"column":20},"end":{"line":184,"column":20}},{"start":{"line":184,"column":20},"end":{"line":184,"column":20}}]},"18":{"line":185,"type":"if","locations":[{"start":{"line":185,"column":20},"end":{"line":185,"column":20}},{"start":{"line":185,"column":20},"end":{"line":185,"column":20}}]},"19":{"line":192,"type":"if","locations":[{"start":{"line":192,"column":8},"end":{"line":192,"column":8}},{"start":{"line":192,"column":8},"end":{"line":192,"column":8}}]},"20":{"line":205,"type":"if","locations":[{"start":{"line":205,"column":16},"end":{"line":205,"column":16}},{"start":{"line":205,"column":16},"end":{"line":205,"column":16}}]},"21":{"line":206,"type":"if","locations":[{"start":{"line":206,"column":16},"end":{"line":206,"column":16}},{"start":{"line":206,"column":16},"end":{"line":206,"column":16}}]},"22":{"line":258,"type":"if","locations":[{"start":{"line":258,"column":2},"end":{"line":258,"column":2}},{"start":{"line":258,"column":2},"end":{"line":258,"column":2}}]},"23":{"line":259,"type":"if","locations":[{"start":{"line":259,"column":2},"end":{"line":259,"column":2}},{"start":{"line":259,"column":2},"end":{"line":259,"column":2}}]},"24":{"line":260,"type":"if","locations":[{"start":{"line":260,"column":2},"end":{"line":260,"column":2}},{"start":{"line":260,"column":2},"end":{"line":260,"column":2}}]},"25":{"line":261,"type":"if","locations":[{"start":{"line":261,"column":2},"end":{"line":261,"column":2}},{"start":{"line":261,"column":2},"end":{"line":261,"column":2}}]},"26":{"line":262,"type":"if","locations":[{"start":{"line":262,"column":2},"end":{"line":262,"column":2}},{"start":{"line":262,"column":2},"end":{"line":262,"column":2}}]},"27":{"line":263,"type":"if","locations":[{"start":{"line":263,"column":2},"end":{"line":263,"column":2}},{"start":{"line":263,"column":2},"end":{"line":263,"column":2}}]},"28":{"line":265,"type":"if","locations":[{"start":{"line":265,"column":2},"end":{"line":265,"column":2}},{"start":{"line":265,"column":2},"end":{"line":265,"column":2}}]},"29":{"line":266,"type":"if","locations":[{"start":{"line":266,"column":2},"end":{"line":266,"column":2}},{"start":{"line":266,"column":2},"end":{"line":266,"column":2}}]},"30":{"line":267,"type":"if","locations":[{"start":{"line":267,"column":2},"end":{"line":267,"column":2}},{"start":{"line":267,"column":2},"end":{"line":267,"column":2}}]},"31":{"line":268,"type":"if","locations":[{"start":{"line":268,"column":2},"end":{"line":268,"column":2}},{"start":{"line":268,"column":2},"end":{"line":268,"column":2}}]},"32":{"line":269,"type":"if","locations":[{"start":{"line":269,"column":2},"end":{"line":269,"column":2}},{"start":{"line":269,"column":2},"end":{"line":269,"column":2}}]},"33":{"line":270,"type":"if","locations":[{"start":{"line":270,"column":2},"end":{"line":270,"column":2}},{"start":{"line":270,"column":2},"end":{"line":270,"column":2}}]},"34":{"line":271,"type":"if","locations":[{"start":{"line":271,"column":2},"end":{"line":271,"column":2}},{"start":{"line":271,"column":2},"end":{"line":271,"column":2}}]},"35":{"line":272,"type":"if","locations":[{"start":{"line":272,"column":2},"end":{"line":272,"column":2}},{"start":{"line":272,"column":2},"end":{"line":272,"column":2}}]},"36":{"line":309,"type":"if","locations":[{"start":{"line":309,"column":2},"end":{"line":309,"column":2}},{"start":{"line":309,"column":2},"end":{"line":309,"column":2}}]},"37":{"line":310,"type":"if","locations":[{"start":{"line":310,"column":2},"end":{"line":310,"column":2}},{"start":{"line":310,"column":2},"end":{"line":310,"column":2}}]},"38":{"line":311,"type":"if","locations":[{"start":{"line":311,"column":2},"end":{"line":311,"column":2}},{"start":{"line":311,"column":2},"end":{"line":311,"column":2}}]},"39":{"line":312,"type":"if","locations":[{"start":{"line":312,"column":2},"end":{"line":312,"column":2}},{"start":{"line":312,"column":2},"end":{"line":312,"column":2}}]},"40":{"line":313,"type":"if","locations":[{"start":{"line":313,"column":2},"end":{"line":313,"column":2}},{"start":{"line":313,"column":2},"end":{"line":313,"column":2}}]},"41":{"line":314,"type":"if","locations":[{"start":{"line":314,"column":2},"end":{"line":314,"column":2}},{"start":{"line":314,"column":2},"end":{"line":314,"column":2}}]},"42":{"line":315,"type":"if","locations":[{"start":{"line":315,"column":2},"end":{"line":315,"column":2}},{"start":{"line":315,"column":2},"end":{"line":315,"column":2}}]},"43":{"line":316,"type":"if","locations":[{"start":{"line":316,"column":2},"end":{"line":316,"column":2}},{"start":{"line":316,"column":2},"end":{"line":316,"column":2}}]},"44":{"line":317,"type":"if","locations":[{"start":{"line":317,"column":2},"end":{"line":317,"column":2}},{"start":{"line":317,"column":2},"end":{"line":317,"column":2}}]},"45":{"line":318,"type":"if","locations":[{"start":{"line":318,"column":2},"end":{"line":318,"column":2}},{"start":{"line":318,"column":2},"end":{"line":318,"column":2}}]},"46":{"line":320,"type":"if","locations":[{"start":{"line":320,"column":2},"end":{"line":320,"column":2}},{"start":{"line":320,"column":2},"end":{"line":320,"column":2}}]},"47":{"line":321,"type":"if","locations":[{"start":{"line":321,"column":2},"end":{"line":321,"column":2}},{"start":{"line":321,"column":2},"end":{"line":321,"column":2}}]},"48":{"line":322,"type":"if","locations":[{"start":{"line":322,"column":2},"end":{"line":322,"column":2}},{"start":{"line":322,"column":2},"end":{"line":322,"column":2}}]},"49":{"line":323,"type":"if","locations":[{"start":{"line":323,"column":2},"end":{"line":323,"column":2}},{"start":{"line":323,"column":2},"end":{"line":323,"column":2}}]}}},"contracts/Engines/BaseEngine.sol":{"l":{"33":490,"61":448,"62":0,"70":448},"path":"/Users/johannes/Documents/dev/actus-protocol/actus-solidity/contracts/Engines/BaseEngine.sol","s":{"1":490,"2":448,"3":0,"4":448},"b":{"1":[0,448]},"f":{"1":490,"2":448},"fnMap":{"1":{"name":"computeStateForEvent","line":23,"loc":{"start":{"line":23,"column":4},"end":{"line":32,"column":5}}},"2":{"name":"computePayoffForEvent","line":50,"loc":{"start":{"line":50,"column":4},"end":{"line":59,"column":5}}}},"statementMap":{"1":{"start":{"line":33,"column":8},"end":{"line":33,"column":875}},"2":{"start":{"line":61,"column":8},"end":{"line":61,"column":1769}},"3":{"start":{"line":62,"column":12},"end":{"line":62,"column":1910}},"4":{"start":{"line":70,"column":8},"end":{"line":70,"column":2062}}},"branchMap":{"1":{"line":61,"type":"if","locations":[{"start":{"line":61,"column":8},"end":{"line":61,"column":8}},{"start":{"line":61,"column":8},"end":{"line":61,"column":8}}]}}},"contracts/Engines/CECEngine.sol":{"l":{"32":0,"34":0,"35":0,"36":0,"37":0,"39":0,"58":0,"59":0,"62":0,"63":0,"64":0,"67":0,"88":0,"90":0,"104":0,"129":0,"131":0,"132":0,"133":0,"134":0,"136":0,"160":0,"162":0,"163":0,"164":0,"165":0,"167":0},"path":"/Users/johannes/Documents/dev/actus-protocol/actus-solidity/contracts/Engines/CECEngine.sol","s":{"1":0,"2":0,"3":0,"4":0,"5":0,"6":0,"7":0,"8":0,"9":0,"10":0,"11":0,"12":0,"13":0,"14":0,"15":0,"16":0,"17":0,"18":0,"19":0,"20":0,"21":0,"22":0,"23":0,"24":0,"25":0,"26":0,"27":0,"28":0,"29":0,"30":0,"31":0,"32":0,"33":0,"34":0},"b":{"1":[0,0],"2":[0,0],"3":[0,0],"4":[0,0],"5":[0,0],"6":[0,0],"7":[0,0],"8":[0,0],"9":[0,0]},"f":{"1":0,"2":0,"3":0,"4":0,"5":0,"6":0},"fnMap":{"1":{"name":"computeInitialState","line":27,"loc":{"start":{"line":27,"column":4},"end":{"line":31,"column":5}}},"2":{"name":"computeNonCyclicScheduleSegment","line":49,"loc":{"start":{"line":49,"column":4},"end":{"line":57,"column":5}}},"3":{"name":"computeCyclicScheduleSegment","line":78,"loc":{"start":{"line":78,"column":4},"end":{"line":87,"column":5}}},"4":{"name":"isEventScheduled","line":93,"loc":{"start":{"line":93,"column":4},"end":{"line":103,"column":5}}},"5":{"name":"stateTransitionFunction","line":119,"loc":{"start":{"line":119,"column":4},"end":{"line":128,"column":5}}},"6":{"name":"payoffFunction","line":150,"loc":{"start":{"line":150,"column":4},"end":{"line":159,"column":5}}}},"statementMap":{"1":{"start":{"line":32,"column":8},"end":{"line":32,"column":26}},"2":{"start":{"line":34,"column":8},"end":{"line":34,"column":57}},"3":{"start":{"line":35,"column":8},"end":{"line":35,"column":42}},"4":{"start":{"line":36,"column":8},"end":{"line":36,"column":46}},"5":{"start":{"line":37,"column":8},"end":{"line":37,"column":87}},"6":{"start":{"line":39,"column":8},"end":{"line":39,"column":20}},"7":{"start":{"line":58,"column":8},"end":{"line":58,"column":62}},"8":{"start":{"line":59,"column":8},"end":{"line":59,"column":24}},"9":{"start":{"line":62,"column":8},"end":{"line":62,"column":1897}},"10":{"start":{"line":63,"column":12},"end":{"line":63,"column":80}},"11":{"start":{"line":67,"column":8},"end":{"line":67,"column":29}},"12":{"start":{"line":88,"column":8},"end":{"line":88,"column":62}},"13":{"start":{"line":90,"column":8},"end":{"line":90,"column":29}},"14":{"start":{"line":104,"column":8},"end":{"line":104,"column":19}},"15":{"start":{"line":129,"column":8},"end":{"line":129,"column":73}},"16":{"start":{"line":131,"column":8},"end":{"line":131,"column":98}},"17":{"start":{"line":131,"column":39},"end":{"line":131,"column":98}},"18":{"start":{"line":132,"column":8},"end":{"line":132,"column":98}},"19":{"start":{"line":132,"column":39},"end":{"line":132,"column":98}},"20":{"start":{"line":133,"column":8},"end":{"line":133,"column":100}},"21":{"start":{"line":133,"column":40},"end":{"line":133,"column":100}},"22":{"start":{"line":134,"column":8},"end":{"line":134,"column":98}},"23":{"start":{"line":134,"column":39},"end":{"line":134,"column":98}},"24":{"start":{"line":136,"column":8},"end":{"line":136,"column":71}},"25":{"start":{"line":160,"column":8},"end":{"line":160,"column":73}},"26":{"start":{"line":162,"column":8},"end":{"line":162,"column":47}},"27":{"start":{"line":162,"column":39},"end":{"line":162,"column":47}},"28":{"start":{"line":163,"column":8},"end":{"line":163,"column":47}},"29":{"start":{"line":163,"column":39},"end":{"line":163,"column":47}},"30":{"start":{"line":164,"column":8},"end":{"line":164,"column":100}},"31":{"start":{"line":164,"column":40},"end":{"line":164,"column":100}},"32":{"start":{"line":165,"column":8},"end":{"line":165,"column":47}},"33":{"start":{"line":165,"column":39},"end":{"line":165,"column":47}},"34":{"start":{"line":167,"column":8},"end":{"line":167,"column":62}}},"branchMap":{"1":{"line":62,"type":"if","locations":[{"start":{"line":62,"column":8},"end":{"line":62,"column":8}},{"start":{"line":62,"column":8},"end":{"line":62,"column":8}}]},"2":{"line":131,"type":"if","locations":[{"start":{"line":131,"column":8},"end":{"line":131,"column":8}},{"start":{"line":131,"column":8},"end":{"line":131,"column":8}}]},"3":{"line":132,"type":"if","locations":[{"start":{"line":132,"column":8},"end":{"line":132,"column":8}},{"start":{"line":132,"column":8},"end":{"line":132,"column":8}}]},"4":{"line":133,"type":"if","locations":[{"start":{"line":133,"column":8},"end":{"line":133,"column":8}},{"start":{"line":133,"column":8},"end":{"line":133,"column":8}}]},"5":{"line":134,"type":"if","locations":[{"start":{"line":134,"column":8},"end":{"line":134,"column":8}},{"start":{"line":134,"column":8},"end":{"line":134,"column":8}}]},"6":{"line":162,"type":"if","locations":[{"start":{"line":162,"column":8},"end":{"line":162,"column":8}},{"start":{"line":162,"column":8},"end":{"line":162,"column":8}}]},"7":{"line":163,"type":"if","locations":[{"start":{"line":163,"column":8},"end":{"line":163,"column":8}},{"start":{"line":163,"column":8},"end":{"line":163,"column":8}}]},"8":{"line":164,"type":"if","locations":[{"start":{"line":164,"column":8},"end":{"line":164,"column":8}},{"start":{"line":164,"column":8},"end":{"line":164,"column":8}}]},"9":{"line":165,"type":"if","locations":[{"start":{"line":165,"column":8},"end":{"line":165,"column":8}},{"start":{"line":165,"column":8},"end":{"line":165,"column":8}}]}}},"contracts/Engines/CEGEngine.sol":{"l":{"32":3,"34":3,"35":3,"36":3,"37":3,"38":3,"40":3,"59":0,"60":0,"63":0,"64":0,"65":0,"66":0,"71":0,"72":0,"73":0,"76":0,"97":0,"99":0,"100":0,"103":0,"104":0,"112":0,"113":0,"114":0,"115":0,"116":0,"121":0,"135":0,"137":0,"139":0,"143":0,"147":0,"172":0,"175":0,"176":0,"177":0,"178":0,"179":0,"181":0,"205":0,"208":0,"210":0,"211":0,"212":0,"213":0,"215":0},"path":"/Users/johannes/Documents/dev/actus-protocol/actus-solidity/contracts/Engines/CEGEngine.sol","s":{"1":3,"2":3,"3":3,"4":3,"5":3,"6":3,"7":3,"8":0,"9":0,"10":0,"11":0,"12":0,"13":0,"14":0,"15":0,"16":0,"17":0,"18":0,"19":0,"20":0,"21":0,"22":0,"23":0,"24":0,"25":0,"26":0,"27":0,"28":0,"29":0,"30":0,"31":0,"32":0,"33":0,"34":0,"35":0,"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":0,"50":0,"51":0,"52":0,"53":0,"54":0},"b":{"1":[0,0],"2":[0,0],"3":[0,0],"4":[0,0],"5":[0,0],"6":[0,0],"7":[0,0],"8":[0,0],"9":[0,0],"10":[0,0],"11":[0,0],"12":[0,0],"13":[0,0],"14":[0,0],"15":[0,0],"16":[0,0],"17":[0,0],"18":[0,0],"19":[0,0]},"f":{"1":3,"2":0,"3":0,"4":0,"5":0,"6":0},"fnMap":{"1":{"name":"computeInitialState","line":27,"loc":{"start":{"line":27,"column":4},"end":{"line":31,"column":5}}},"2":{"name":"computeNonCyclicScheduleSegment","line":50,"loc":{"start":{"line":50,"column":4},"end":{"line":58,"column":5}}},"3":{"name":"computeCyclicScheduleSegment","line":87,"loc":{"start":{"line":87,"column":4},"end":{"line":96,"column":5}}},"4":{"name":"isEventScheduled","line":124,"loc":{"start":{"line":124,"column":4},"end":{"line":134,"column":5}}},"5":{"name":"stateTransitionFunction","line":162,"loc":{"start":{"line":162,"column":4},"end":{"line":171,"column":5}}},"6":{"name":"payoffFunction","line":195,"loc":{"start":{"line":195,"column":4},"end":{"line":204,"column":5}}}},"statementMap":{"1":{"start":{"line":32,"column":8},"end":{"line":32,"column":26}},"2":{"start":{"line":34,"column":8},"end":{"line":34,"column":57}},"3":{"start":{"line":35,"column":8},"end":{"line":35,"column":42}},"4":{"start":{"line":36,"column":8},"end":{"line":36,"column":46}},"5":{"start":{"line":37,"column":8},"end":{"line":37,"column":87}},"6":{"start":{"line":38,"column":8},"end":{"line":38,"column":42}},"7":{"start":{"line":40,"column":8},"end":{"line":40,"column":20}},"8":{"start":{"line":59,"column":8},"end":{"line":59,"column":62}},"9":{"start":{"line":60,"column":8},"end":{"line":60,"column":24}},"10":{"start":{"line":63,"column":8},"end":{"line":63,"column":1936}},"11":{"start":{"line":64,"column":12},"end":{"line":64,"column":1983}},"12":{"start":{"line":65,"column":16},"end":{"line":65,"column":85}},"13":{"start":{"line":71,"column":8},"end":{"line":71,"column":2215}},"14":{"start":{"line":72,"column":12},"end":{"line":72,"column":80}},"15":{"start":{"line":76,"column":8},"end":{"line":76,"column":29}},"16":{"start":{"line":97,"column":8},"end":{"line":97,"column":62}},"17":{"start":{"line":99,"column":8},"end":{"line":99,"column":3158}},"18":{"start":{"line":100,"column":12},"end":{"line":100,"column":29}},"19":{"start":{"line":103,"column":12},"end":{"line":103,"column":3259}},"20":{"start":{"line":104,"column":16},"end":{"line":104,"column":3353}},"21":{"start":{"line":112,"column":16},"end":{"line":112,"column":3679}},"22":{"start":{"line":113,"column":20},"end":{"line":113,"column":50}},"23":{"start":{"line":114,"column":20},"end":{"line":114,"column":95}},"24":{"start":{"line":115,"column":20},"end":{"line":115,"column":84}},"25":{"start":{"line":121,"column":8},"end":{"line":121,"column":29}},"26":{"start":{"line":135,"column":8},"end":{"line":135,"column":73}},"27":{"start":{"line":137,"column":8},"end":{"line":137,"column":4394}},"28":{"start":{"line":139,"column":12},"end":{"line":139,"column":4508}},"29":{"start":{"line":143,"column":16},"end":{"line":143,"column":28}},"30":{"start":{"line":147,"column":8},"end":{"line":147,"column":19}},"31":{"start":{"line":172,"column":8},"end":{"line":172,"column":73}},"32":{"start":{"line":175,"column":8},"end":{"line":175,"column":98}},"33":{"start":{"line":175,"column":39},"end":{"line":175,"column":98}},"34":{"start":{"line":176,"column":8},"end":{"line":176,"column":98}},"35":{"start":{"line":176,"column":39},"end":{"line":176,"column":98}},"36":{"start":{"line":177,"column":8},"end":{"line":177,"column":100}},"37":{"start":{"line":177,"column":40},"end":{"line":177,"column":100}},"38":{"start":{"line":178,"column":8},"end":{"line":178,"column":98}},"39":{"start":{"line":178,"column":39},"end":{"line":178,"column":98}},"40":{"start":{"line":179,"column":8},"end":{"line":179,"column":98}},"41":{"start":{"line":179,"column":39},"end":{"line":179,"column":98}},"42":{"start":{"line":181,"column":8},"end":{"line":181,"column":71}},"43":{"start":{"line":205,"column":8},"end":{"line":205,"column":73}},"44":{"start":{"line":208,"column":8},"end":{"line":208,"column":47}},"45":{"start":{"line":208,"column":39},"end":{"line":208,"column":47}},"46":{"start":{"line":210,"column":8},"end":{"line":210,"column":98}},"47":{"start":{"line":210,"column":39},"end":{"line":210,"column":98}},"48":{"start":{"line":211,"column":8},"end":{"line":211,"column":47}},"49":{"start":{"line":211,"column":39},"end":{"line":211,"column":47}},"50":{"start":{"line":212,"column":8},"end":{"line":212,"column":100}},"51":{"start":{"line":212,"column":40},"end":{"line":212,"column":100}},"52":{"start":{"line":213,"column":8},"end":{"line":213,"column":47}},"53":{"start":{"line":213,"column":39},"end":{"line":213,"column":47}},"54":{"start":{"line":215,"column":8},"end":{"line":215,"column":62}}},"branchMap":{"1":{"line":63,"type":"if","locations":[{"start":{"line":63,"column":8},"end":{"line":63,"column":8}},{"start":{"line":63,"column":8},"end":{"line":63,"column":8}}]},"2":{"line":64,"type":"if","locations":[{"start":{"line":64,"column":12},"end":{"line":64,"column":12}},{"start":{"line":64,"column":12},"end":{"line":64,"column":12}}]},"3":{"line":71,"type":"if","locations":[{"start":{"line":71,"column":8},"end":{"line":71,"column":8}},{"start":{"line":71,"column":8},"end":{"line":71,"column":8}}]},"4":{"line":99,"type":"if","locations":[{"start":{"line":99,"column":8},"end":{"line":99,"column":8}},{"start":{"line":99,"column":8},"end":{"line":99,"column":8}}]},"5":{"line":103,"type":"if","locations":[{"start":{"line":103,"column":12},"end":{"line":103,"column":12}},{"start":{"line":103,"column":12},"end":{"line":103,"column":12}}]},"6":{"line":113,"type":"if","locations":[{"start":{"line":113,"column":20},"end":{"line":113,"column":20}},{"start":{"line":113,"column":20},"end":{"line":113,"column":20}}]},"7":{"line":114,"type":"if","locations":[{"start":{"line":114,"column":20},"end":{"line":114,"column":20}},{"start":{"line":114,"column":20},"end":{"line":114,"column":20}}]},"8":{"line":137,"type":"if","locations":[{"start":{"line":137,"column":8},"end":{"line":137,"column":8}},{"start":{"line":137,"column":8},"end":{"line":137,"column":8}}]},"9":{"line":139,"type":"if","locations":[{"start":{"line":139,"column":12},"end":{"line":139,"column":12}},{"start":{"line":139,"column":12},"end":{"line":139,"column":12}}]},"10":{"line":175,"type":"if","locations":[{"start":{"line":175,"column":8},"end":{"line":175,"column":8}},{"start":{"line":175,"column":8},"end":{"line":175,"column":8}}]},"11":{"line":176,"type":"if","locations":[{"start":{"line":176,"column":8},"end":{"line":176,"column":8}},{"start":{"line":176,"column":8},"end":{"line":176,"column":8}}]},"12":{"line":177,"type":"if","locations":[{"start":{"line":177,"column":8},"end":{"line":177,"column":8}},{"start":{"line":177,"column":8},"end":{"line":177,"column":8}}]},"13":{"line":178,"type":"if","locations":[{"start":{"line":178,"column":8},"end":{"line":178,"column":8}},{"start":{"line":178,"column":8},"end":{"line":178,"column":8}}]},"14":{"line":179,"type":"if","locations":[{"start":{"line":179,"column":8},"end":{"line":179,"column":8}},{"start":{"line":179,"column":8},"end":{"line":179,"column":8}}]},"15":{"line":208,"type":"if","locations":[{"start":{"line":208,"column":8},"end":{"line":208,"column":8}},{"start":{"line":208,"column":8},"end":{"line":208,"column":8}}]},"16":{"line":210,"type":"if","locations":[{"start":{"line":210,"column":8},"end":{"line":210,"column":8}},{"start":{"line":210,"column":8},"end":{"line":210,"column":8}}]},"17":{"line":211,"type":"if","locations":[{"start":{"line":211,"column":8},"end":{"line":211,"column":8}},{"start":{"line":211,"column":8},"end":{"line":211,"column":8}}]},"18":{"line":212,"type":"if","locations":[{"start":{"line":212,"column":8},"end":{"line":212,"column":8}},{"start":{"line":212,"column":8},"end":{"line":212,"column":8}}]},"19":{"line":213,"type":"if","locations":[{"start":{"line":213,"column":8},"end":{"line":213,"column":8}},{"start":{"line":213,"column":8},"end":{"line":213,"column":8}}]}}},"contracts/Engines/IEngine.sol":{"l":{},"path":"/Users/johannes/Documents/dev/actus-protocol/actus-solidity/contracts/Engines/IEngine.sol","s":{},"b":{},"f":{},"fnMap":{},"statementMap":{},"branchMap":{}},"contracts/Engines/PAMEngine.sol":{"l":{"30":33,"32":33,"33":33,"34":33,"35":33,"36":33,"37":33,"38":33,"39":33,"40":33,"42":33,"61":26,"62":26,"65":26,"66":24,"67":24,"71":26,"72":0,"73":0,"74":0,"79":26,"80":0,"81":0,"82":0,"87":26,"88":24,"89":24,"92":26,"113":75,"115":75,"116":25,"119":25,"122":25,"130":25,"131":1,"132":1,"133":1,"136":25,"137":303,"138":278,"139":278,"143":5,"144":5,"145":5,"147":273,"148":273,"155":0,"156":0,"157":0,"162":75,"163":25,"166":25,"167":4,"175":4,"176":23,"177":19,"178":19,"179":19,"185":75,"186":25,"189":25,"190":0,"198":0,"199":0,"200":0,"201":0,"202":0,"207":75,"208":0,"211":0,"214":0,"222":0,"223":0,"224":0,"225":0,"226":0,"231":75,"245":0,"266":315,"271":315,"272":315,"273":315,"274":293,"275":287,"276":40,"278":40,"279":19,"280":19,"281":19,"282":0,"283":0,"284":0,"286":0,"308":299,"315":299,"316":299,"317":293,"318":293,"319":274,"320":274,"321":274,"322":274,"323":254,"324":20,"326":20,"327":0,"328":0,"330":0},"path":"/Users/johannes/Documents/dev/actus-protocol/actus-solidity/contracts/Engines/PAMEngine.sol","s":{"1":33,"2":33,"3":33,"4":33,"5":33,"6":33,"7":33,"8":33,"9":33,"10":33,"11":33,"12":26,"13":26,"14":26,"15":24,"16":26,"17":0,"18":0,"19":26,"20":0,"21":0,"22":26,"23":24,"24":26,"25":75,"26":75,"27":25,"28":25,"29":25,"30":25,"31":1,"32":1,"33":25,"34":303,"35":278,"36":278,"37":5,"38":5,"39":273,"40":0,"41":0,"42":0,"43":75,"44":25,"45":25,"46":4,"47":4,"48":23,"49":19,"50":19,"51":75,"52":25,"53":25,"54":0,"55":0,"56":0,"57":0,"58":0,"59":75,"60":0,"61":0,"62":0,"63":0,"64":0,"65":0,"66":0,"67":75,"68":0,"69":315,"70":315,"71":0,"72":315,"73":0,"74":315,"75":22,"76":293,"77":6,"78":287,"79":247,"80":40,"81":0,"82":40,"83":21,"84":19,"85":0,"86":19,"87":0,"88":19,"89":19,"90":0,"91":0,"92":0,"93":0,"94":0,"95":0,"96":0,"97":299,"98":299,"99":0,"100":299,"101":6,"102":293,"103":0,"104":293,"105":19,"106":274,"107":0,"108":274,"109":0,"110":274,"111":0,"112":274,"113":20,"114":254,"115":234,"116":20,"117":0,"118":20,"119":20,"120":0,"121":0,"122":0,"123":0,"124":0},"b":{"1":[24,2],"2":[0,26],"3":[0,0],"4":[0,26],"5":[0,0],"6":[24,2],"7":[25,50],"8":[25,0],"9":[1,24],"10":[1,0],"11":[25,278],"12":[0,278],"13":[5,273],"14":[0,5],"15":[0,0],"16":[0,0],"17":[25,50],"18":[4,21],"19":[4,19],"20":[0,19],"21":[25,50],"22":[0,25],"23":[0,0],"24":[0,0],"25":[0,75],"26":[0,0],"27":[0,0],"28":[0,0],"29":[0,315],"30":[0,315],"31":[22,293],"32":[6,287],"33":[247,40],"34":[0,40],"35":[21,19],"36":[0,19],"37":[0,19],"38":[19,0],"39":[0,0],"40":[0,0],"41":[0,0],"42":[0,299],"43":[6,293],"44":[0,293],"45":[19,274],"46":[0,274],"47":[0,274],"48":[0,274],"49":[20,254],"50":[234,20],"51":[0,20],"52":[20,0],"53":[0,0],"54":[0,0]},"f":{"1":33,"2":26,"3":75,"4":0,"5":315,"6":299},"fnMap":{"1":{"name":"computeInitialState","line":25,"loc":{"start":{"line":25,"column":4},"end":{"line":29,"column":5}}},"2":{"name":"computeNonCyclicScheduleSegment","line":52,"loc":{"start":{"line":52,"column":4},"end":{"line":60,"column":5}}},"3":{"name":"computeCyclicScheduleSegment","line":103,"loc":{"start":{"line":103,"column":4},"end":{"line":112,"column":5}}},"4":{"name":"isEventScheduled","line":234,"loc":{"start":{"line":234,"column":4},"end":{"line":244,"column":5}}},"5":{"name":"stateTransitionFunction","line":256,"loc":{"start":{"line":256,"column":4},"end":{"line":265,"column":5}}},"6":{"name":"payoffFunction","line":298,"loc":{"start":{"line":298,"column":4},"end":{"line":307,"column":5}}}},"statementMap":{"1":{"start":{"line":30,"column":8},"end":{"line":30,"column":26}},"2":{"start":{"line":32,"column":8},"end":{"line":32,"column":57}},"3":{"start":{"line":33,"column":8},"end":{"line":33,"column":68}},"4":{"start":{"line":34,"column":8},"end":{"line":34,"column":68}},"5":{"start":{"line":35,"column":8},"end":{"line":35,"column":42}},"6":{"start":{"line":36,"column":8},"end":{"line":36,"column":46}},"7":{"start":{"line":37,"column":8},"end":{"line":37,"column":56}},"8":{"start":{"line":38,"column":8},"end":{"line":38,"column":60}},"9":{"start":{"line":39,"column":8},"end":{"line":39,"column":52}},"10":{"start":{"line":40,"column":8},"end":{"line":40,"column":42}},"11":{"start":{"line":42,"column":8},"end":{"line":42,"column":20}},"12":{"start":{"line":61,"column":8},"end":{"line":61,"column":62}},"13":{"start":{"line":62,"column":8},"end":{"line":62,"column":24}},"14":{"start":{"line":65,"column":8},"end":{"line":65,"column":2122}},"15":{"start":{"line":66,"column":12},"end":{"line":66,"column":88}},"16":{"start":{"line":71,"column":8},"end":{"line":71,"column":2371}},"17":{"start":{"line":72,"column":12},"end":{"line":72,"column":2418}},"18":{"start":{"line":73,"column":16},"end":{"line":73,"column":85}},"19":{"start":{"line":79,"column":8},"end":{"line":79,"column":2647}},"20":{"start":{"line":80,"column":12},"end":{"line":80,"column":2697}},"21":{"start":{"line":81,"column":16},"end":{"line":81,"column":87}},"22":{"start":{"line":87,"column":8},"end":{"line":87,"column":2940}},"23":{"start":{"line":88,"column":12},"end":{"line":88,"column":80}},"24":{"start":{"line":92,"column":8},"end":{"line":92,"column":29}},"25":{"start":{"line":113,"column":8},"end":{"line":113,"column":62}},"26":{"start":{"line":115,"column":8},"end":{"line":115,"column":3874}},"27":{"start":{"line":116,"column":12},"end":{"line":116,"column":29}},"28":{"start":{"line":119,"column":12},"end":{"line":119,"column":4067}},"29":{"start":{"line":122,"column":16},"end":{"line":122,"column":4251}},"30":{"start":{"line":130,"column":16},"end":{"line":130,"column":4613}},"31":{"start":{"line":131,"column":20},"end":{"line":131,"column":4677}},"32":{"start":{"line":132,"column":24},"end":{"line":132,"column":103}},"33":{"start":{"line":136,"column":16},"end":{"line":136,"column":4941}},"34":{"start":{"line":137,"column":20},"end":{"line":137,"column":62}},"35":{"start":{"line":138,"column":20},"end":{"line":138,"column":107}},"36":{"start":{"line":139,"column":20},"end":{"line":139,"column":5183}},"37":{"start":{"line":143,"column":24},"end":{"line":143,"column":95}},"38":{"start":{"line":144,"column":24},"end":{"line":144,"column":102}},"39":{"start":{"line":147,"column":24},"end":{"line":147,"column":100}},"40":{"start":{"line":154,"column":17},"end":{"line":154,"column":5857}},"41":{"start":{"line":155,"column":16},"end":{"line":155,"column":5917}},"42":{"start":{"line":156,"column":20},"end":{"line":156,"column":99}},"43":{"start":{"line":162,"column":8},"end":{"line":162,"column":6164}},"44":{"start":{"line":163,"column":12},"end":{"line":163,"column":29}},"45":{"start":{"line":166,"column":12},"end":{"line":166,"column":6271}},"46":{"start":{"line":167,"column":16},"end":{"line":167,"column":6377}},"47":{"start":{"line":175,"column":16},"end":{"line":175,"column":6722}},"48":{"start":{"line":176,"column":20},"end":{"line":176,"column":56}},"49":{"start":{"line":177,"column":20},"end":{"line":177,"column":101}},"50":{"start":{"line":178,"column":20},"end":{"line":178,"column":90}},"51":{"start":{"line":185,"column":8},"end":{"line":185,"column":7126}},"52":{"start":{"line":186,"column":12},"end":{"line":186,"column":29}},"53":{"start":{"line":189,"column":12},"end":{"line":189,"column":7227}},"54":{"start":{"line":190,"column":16},"end":{"line":190,"column":7321}},"55":{"start":{"line":198,"column":16},"end":{"line":198,"column":7647}},"56":{"start":{"line":199,"column":20},"end":{"line":199,"column":50}},"57":{"start":{"line":200,"column":20},"end":{"line":200,"column":95}},"58":{"start":{"line":201,"column":20},"end":{"line":201,"column":84}},"59":{"start":{"line":207,"column":8},"end":{"line":207,"column":8000}},"60":{"start":{"line":208,"column":12},"end":{"line":208,"column":25}},"61":{"start":{"line":211,"column":12},"end":{"line":211,"column":8100}},"62":{"start":{"line":214,"column":16},"end":{"line":214,"column":8290}},"63":{"start":{"line":222,"column":16},"end":{"line":222,"column":8638}},"64":{"start":{"line":223,"column":20},"end":{"line":223,"column":54}},"65":{"start":{"line":224,"column":20},"end":{"line":224,"column":99}},"66":{"start":{"line":225,"column":20},"end":{"line":225,"column":88}},"67":{"start":{"line":231,"column":8},"end":{"line":231,"column":29}},"68":{"start":{"line":245,"column":8},"end":{"line":245,"column":19}},"69":{"start":{"line":266,"column":8},"end":{"line":266,"column":73}},"70":{"start":{"line":271,"column":2},"end":{"line":271,"column":92}},"71":{"start":{"line":271,"column":33},"end":{"line":271,"column":92}},"72":{"start":{"line":272,"column":2},"end":{"line":272,"column":92}},"73":{"start":{"line":272,"column":33},"end":{"line":272,"column":92}},"74":{"start":{"line":273,"column":2},"end":{"line":273,"column":94}},"75":{"start":{"line":273,"column":34},"end":{"line":273,"column":94}},"76":{"start":{"line":274,"column":2},"end":{"line":274,"column":96}},"77":{"start":{"line":274,"column":35},"end":{"line":274,"column":96}},"78":{"start":{"line":275,"column":2},"end":{"line":275,"column":92}},"79":{"start":{"line":275,"column":33},"end":{"line":275,"column":92}},"80":{"start":{"line":276,"column":2},"end":{"line":276,"column":92}},"81":{"start":{"line":276,"column":33},"end":{"line":276,"column":92}},"82":{"start":{"line":278,"column":2},"end":{"line":278,"column":92}},"83":{"start":{"line":278,"column":33},"end":{"line":278,"column":92}},"84":{"start":{"line":279,"column":2},"end":{"line":279,"column":92}},"85":{"start":{"line":279,"column":33},"end":{"line":279,"column":92}},"86":{"start":{"line":280,"column":2},"end":{"line":280,"column":94}},"87":{"start":{"line":280,"column":34},"end":{"line":280,"column":94}},"88":{"start":{"line":281,"column":2},"end":{"line":281,"column":92}},"89":{"start":{"line":281,"column":33},"end":{"line":281,"column":92}},"90":{"start":{"line":282,"column":2},"end":{"line":282,"column":92}},"91":{"start":{"line":282,"column":33},"end":{"line":282,"column":92}},"92":{"start":{"line":283,"column":2},"end":{"line":283,"column":92}},"93":{"start":{"line":283,"column":33},"end":{"line":283,"column":92}},"94":{"start":{"line":284,"column":2},"end":{"line":284,"column":93}},"95":{"start":{"line":284,"column":34},"end":{"line":284,"column":93}},"96":{"start":{"line":286,"column":8},"end":{"line":286,"column":71}},"97":{"start":{"line":308,"column":8},"end":{"line":308,"column":73}},"98":{"start":{"line":315,"column":2},"end":{"line":315,"column":41}},"99":{"start":{"line":315,"column":33},"end":{"line":315,"column":41}},"100":{"start":{"line":316,"column":2},"end":{"line":316,"column":43}},"101":{"start":{"line":316,"column":35},"end":{"line":316,"column":43}},"102":{"start":{"line":317,"column":2},"end":{"line":317,"column":42}},"103":{"start":{"line":317,"column":34},"end":{"line":317,"column":42}},"104":{"start":{"line":318,"column":2},"end":{"line":318,"column":41}},"105":{"start":{"line":318,"column":33},"end":{"line":318,"column":41}},"106":{"start":{"line":319,"column":2},"end":{"line":319,"column":41}},"107":{"start":{"line":319,"column":33},"end":{"line":319,"column":41}},"108":{"start":{"line":320,"column":2},"end":{"line":320,"column":41}},"109":{"start":{"line":320,"column":33},"end":{"line":320,"column":41}},"110":{"start":{"line":321,"column":2},"end":{"line":321,"column":92}},"111":{"start":{"line":321,"column":33},"end":{"line":321,"column":92}},"112":{"start":{"line":322,"column":2},"end":{"line":322,"column":94}},"113":{"start":{"line":322,"column":34},"end":{"line":322,"column":94}},"114":{"start":{"line":323,"column":2},"end":{"line":323,"column":92}},"115":{"start":{"line":323,"column":33},"end":{"line":323,"column":92}},"116":{"start":{"line":324,"column":2},"end":{"line":324,"column":92}},"117":{"start":{"line":324,"column":33},"end":{"line":324,"column":92}},"118":{"start":{"line":326,"column":2},"end":{"line":326,"column":92}},"119":{"start":{"line":326,"column":33},"end":{"line":326,"column":92}},"120":{"start":{"line":327,"column":2},"end":{"line":327,"column":92}},"121":{"start":{"line":327,"column":33},"end":{"line":327,"column":92}},"122":{"start":{"line":328,"column":2},"end":{"line":328,"column":92}},"123":{"start":{"line":328,"column":33},"end":{"line":328,"column":92}},"124":{"start":{"line":330,"column":8},"end":{"line":330,"column":62}}},"branchMap":{"1":{"line":65,"type":"if","locations":[{"start":{"line":65,"column":8},"end":{"line":65,"column":8}},{"start":{"line":65,"column":8},"end":{"line":65,"column":8}}]},"2":{"line":71,"type":"if","locations":[{"start":{"line":71,"column":8},"end":{"line":71,"column":8}},{"start":{"line":71,"column":8},"end":{"line":71,"column":8}}]},"3":{"line":72,"type":"if","locations":[{"start":{"line":72,"column":12},"end":{"line":72,"column":12}},{"start":{"line":72,"column":12},"end":{"line":72,"column":12}}]},"4":{"line":79,"type":"if","locations":[{"start":{"line":79,"column":8},"end":{"line":79,"column":8}},{"start":{"line":79,"column":8},"end":{"line":79,"column":8}}]},"5":{"line":80,"type":"if","locations":[{"start":{"line":80,"column":12},"end":{"line":80,"column":12}},{"start":{"line":80,"column":12},"end":{"line":80,"column":12}}]},"6":{"line":87,"type":"if","locations":[{"start":{"line":87,"column":8},"end":{"line":87,"column":8}},{"start":{"line":87,"column":8},"end":{"line":87,"column":8}}]},"7":{"line":115,"type":"if","locations":[{"start":{"line":115,"column":8},"end":{"line":115,"column":8}},{"start":{"line":115,"column":8},"end":{"line":115,"column":8}}]},"8":{"line":119,"type":"if","locations":[{"start":{"line":119,"column":12},"end":{"line":119,"column":12}},{"start":{"line":119,"column":12},"end":{"line":119,"column":12}}]},"9":{"line":130,"type":"if","locations":[{"start":{"line":130,"column":16},"end":{"line":130,"column":16}},{"start":{"line":130,"column":16},"end":{"line":130,"column":16}}]},"10":{"line":131,"type":"if","locations":[{"start":{"line":131,"column":20},"end":{"line":131,"column":20}},{"start":{"line":131,"column":20},"end":{"line":131,"column":20}}]},"11":{"line":137,"type":"if","locations":[{"start":{"line":137,"column":20},"end":{"line":137,"column":20}},{"start":{"line":137,"column":20},"end":{"line":137,"column":20}}]},"12":{"line":138,"type":"if","locations":[{"start":{"line":138,"column":20},"end":{"line":138,"column":20}},{"start":{"line":138,"column":20},"end":{"line":138,"column":20}}]},"13":{"line":139,"type":"if","locations":[{"start":{"line":139,"column":20},"end":{"line":139,"column":20}},{"start":{"line":139,"column":20},"end":{"line":139,"column":20}}]},"14":{"line":143,"type":"if","locations":[{"start":{"line":143,"column":24},"end":{"line":143,"column":24}},{"start":{"line":143,"column":24},"end":{"line":143,"column":24}}]},"15":{"line":154,"type":"if","locations":[{"start":{"line":154,"column":17},"end":{"line":154,"column":17}},{"start":{"line":154,"column":17},"end":{"line":154,"column":17}}]},"16":{"line":155,"type":"if","locations":[{"start":{"line":155,"column":16},"end":{"line":155,"column":16}},{"start":{"line":155,"column":16},"end":{"line":155,"column":16}}]},"17":{"line":162,"type":"if","locations":[{"start":{"line":162,"column":8},"end":{"line":162,"column":8}},{"start":{"line":162,"column":8},"end":{"line":162,"column":8}}]},"18":{"line":166,"type":"if","locations":[{"start":{"line":166,"column":12},"end":{"line":166,"column":12}},{"start":{"line":166,"column":12},"end":{"line":166,"column":12}}]},"19":{"line":176,"type":"if","locations":[{"start":{"line":176,"column":20},"end":{"line":176,"column":20}},{"start":{"line":176,"column":20},"end":{"line":176,"column":20}}]},"20":{"line":177,"type":"if","locations":[{"start":{"line":177,"column":20},"end":{"line":177,"column":20}},{"start":{"line":177,"column":20},"end":{"line":177,"column":20}}]},"21":{"line":185,"type":"if","locations":[{"start":{"line":185,"column":8},"end":{"line":185,"column":8}},{"start":{"line":185,"column":8},"end":{"line":185,"column":8}}]},"22":{"line":189,"type":"if","locations":[{"start":{"line":189,"column":12},"end":{"line":189,"column":12}},{"start":{"line":189,"column":12},"end":{"line":189,"column":12}}]},"23":{"line":199,"type":"if","locations":[{"start":{"line":199,"column":20},"end":{"line":199,"column":20}},{"start":{"line":199,"column":20},"end":{"line":199,"column":20}}]},"24":{"line":200,"type":"if","locations":[{"start":{"line":200,"column":20},"end":{"line":200,"column":20}},{"start":{"line":200,"column":20},"end":{"line":200,"column":20}}]},"25":{"line":207,"type":"if","locations":[{"start":{"line":207,"column":8},"end":{"line":207,"column":8}},{"start":{"line":207,"column":8},"end":{"line":207,"column":8}}]},"26":{"line":211,"type":"if","locations":[{"start":{"line":211,"column":12},"end":{"line":211,"column":12}},{"start":{"line":211,"column":12},"end":{"line":211,"column":12}}]},"27":{"line":223,"type":"if","locations":[{"start":{"line":223,"column":20},"end":{"line":223,"column":20}},{"start":{"line":223,"column":20},"end":{"line":223,"column":20}}]},"28":{"line":224,"type":"if","locations":[{"start":{"line":224,"column":20},"end":{"line":224,"column":20}},{"start":{"line":224,"column":20},"end":{"line":224,"column":20}}]},"29":{"line":271,"type":"if","locations":[{"start":{"line":271,"column":2},"end":{"line":271,"column":2}},{"start":{"line":271,"column":2},"end":{"line":271,"column":2}}]},"30":{"line":272,"type":"if","locations":[{"start":{"line":272,"column":2},"end":{"line":272,"column":2}},{"start":{"line":272,"column":2},"end":{"line":272,"column":2}}]},"31":{"line":273,"type":"if","locations":[{"start":{"line":273,"column":2},"end":{"line":273,"column":2}},{"start":{"line":273,"column":2},"end":{"line":273,"column":2}}]},"32":{"line":274,"type":"if","locations":[{"start":{"line":274,"column":2},"end":{"line":274,"column":2}},{"start":{"line":274,"column":2},"end":{"line":274,"column":2}}]},"33":{"line":275,"type":"if","locations":[{"start":{"line":275,"column":2},"end":{"line":275,"column":2}},{"start":{"line":275,"column":2},"end":{"line":275,"column":2}}]},"34":{"line":276,"type":"if","locations":[{"start":{"line":276,"column":2},"end":{"line":276,"column":2}},{"start":{"line":276,"column":2},"end":{"line":276,"column":2}}]},"35":{"line":278,"type":"if","locations":[{"start":{"line":278,"column":2},"end":{"line":278,"column":2}},{"start":{"line":278,"column":2},"end":{"line":278,"column":2}}]},"36":{"line":279,"type":"if","locations":[{"start":{"line":279,"column":2},"end":{"line":279,"column":2}},{"start":{"line":279,"column":2},"end":{"line":279,"column":2}}]},"37":{"line":280,"type":"if","locations":[{"start":{"line":280,"column":2},"end":{"line":280,"column":2}},{"start":{"line":280,"column":2},"end":{"line":280,"column":2}}]},"38":{"line":281,"type":"if","locations":[{"start":{"line":281,"column":2},"end":{"line":281,"column":2}},{"start":{"line":281,"column":2},"end":{"line":281,"column":2}}]},"39":{"line":282,"type":"if","locations":[{"start":{"line":282,"column":2},"end":{"line":282,"column":2}},{"start":{"line":282,"column":2},"end":{"line":282,"column":2}}]},"40":{"line":283,"type":"if","locations":[{"start":{"line":283,"column":2},"end":{"line":283,"column":2}},{"start":{"line":283,"column":2},"end":{"line":283,"column":2}}]},"41":{"line":284,"type":"if","locations":[{"start":{"line":284,"column":2},"end":{"line":284,"column":2}},{"start":{"line":284,"column":2},"end":{"line":284,"column":2}}]},"42":{"line":315,"type":"if","locations":[{"start":{"line":315,"column":2},"end":{"line":315,"column":2}},{"start":{"line":315,"column":2},"end":{"line":315,"column":2}}]},"43":{"line":316,"type":"if","locations":[{"start":{"line":316,"column":2},"end":{"line":316,"column":2}},{"start":{"line":316,"column":2},"end":{"line":316,"column":2}}]},"44":{"line":317,"type":"if","locations":[{"start":{"line":317,"column":2},"end":{"line":317,"column":2}},{"start":{"line":317,"column":2},"end":{"line":317,"column":2}}]},"45":{"line":318,"type":"if","locations":[{"start":{"line":318,"column":2},"end":{"line":318,"column":2}},{"start":{"line":318,"column":2},"end":{"line":318,"column":2}}]},"46":{"line":319,"type":"if","locations":[{"start":{"line":319,"column":2},"end":{"line":319,"column":2}},{"start":{"line":319,"column":2},"end":{"line":319,"column":2}}]},"47":{"line":320,"type":"if","locations":[{"start":{"line":320,"column":2},"end":{"line":320,"column":2}},{"start":{"line":320,"column":2},"end":{"line":320,"column":2}}]},"48":{"line":321,"type":"if","locations":[{"start":{"line":321,"column":2},"end":{"line":321,"column":2}},{"start":{"line":321,"column":2},"end":{"line":321,"column":2}}]},"49":{"line":322,"type":"if","locations":[{"start":{"line":322,"column":2},"end":{"line":322,"column":2}},{"start":{"line":322,"column":2},"end":{"line":322,"column":2}}]},"50":{"line":323,"type":"if","locations":[{"start":{"line":323,"column":2},"end":{"line":323,"column":2}},{"start":{"line":323,"column":2},"end":{"line":323,"column":2}}]},"51":{"line":324,"type":"if","locations":[{"start":{"line":324,"column":2},"end":{"line":324,"column":2}},{"start":{"line":324,"column":2},"end":{"line":324,"column":2}}]},"52":{"line":326,"type":"if","locations":[{"start":{"line":326,"column":2},"end":{"line":326,"column":2}},{"start":{"line":326,"column":2},"end":{"line":326,"column":2}}]},"53":{"line":327,"type":"if","locations":[{"start":{"line":327,"column":2},"end":{"line":327,"column":2}},{"start":{"line":327,"column":2},"end":{"line":327,"column":2}}]},"54":{"line":328,"type":"if","locations":[{"start":{"line":328,"column":2},"end":{"line":328,"column":2}},{"start":{"line":328,"column":2},"end":{"line":328,"column":2}}]}}},"contracts/Engines/POF.sol":{"l":{"27":2,"28":1,"34":1,"63":28,"85":306,"117":1,"137":28,"157":3,"158":1,"163":1,"175":1,"202":1,"234":65,"271":1,"288":2,"289":1,"295":1},"path":"/Users/johannes/Documents/dev/actus-protocol/actus-solidity/contracts/Engines/POF.sol","s":{"1":2,"2":1,"3":1,"4":28,"5":306,"6":1,"7":28,"8":3,"9":1,"10":2,"11":1,"12":1,"13":1,"14":65,"15":1,"16":2,"17":1,"18":1},"b":{"1":[1,1],"2":[1,2],"3":[1,1],"4":[1,1]},"f":{"1":2,"2":28,"3":306,"4":1,"5":28,"6":3,"7":1,"8":65,"9":1,"10":2},"fnMap":{"1":{"name":"POF_PAM_FP","line":17,"loc":{"start":{"line":17,"column":4},"end":{"line":26,"column":5}}},"2":{"name":"POF_PAM_IED","line":53,"loc":{"start":{"line":53,"column":4},"end":{"line":62,"column":5}}},"3":{"name":"POF_PAM_IP","line":75,"loc":{"start":{"line":75,"column":4},"end":{"line":84,"column":5}}},"4":{"name":"POF_PAM_PP","line":107,"loc":{"start":{"line":107,"column":4},"end":{"line":116,"column":5}}},"5":{"name":"POF_PAM_MD","line":127,"loc":{"start":{"line":127,"column":4},"end":{"line":136,"column":5}}},"6":{"name":"POF_PAM_PY","line":147,"loc":{"start":{"line":147,"column":4},"end":{"line":156,"column":5}}},"7":{"name":"POF_PAM_TD","line":192,"loc":{"start":{"line":192,"column":4},"end":{"line":201,"column":5}}},"8":{"name":"POF_ANN_PR","line":224,"loc":{"start":{"line":224,"column":4},"end":{"line":233,"column":5}}},"9":{"name":"POF_CEG_STD","line":261,"loc":{"start":{"line":261,"column":4},"end":{"line":270,"column":5}}},"10":{"name":"POF_CEG_FP","line":278,"loc":{"start":{"line":278,"column":4},"end":{"line":287,"column":5}}}},"statementMap":{"1":{"start":{"line":27,"column":8},"end":{"line":27,"column":604}},"2":{"start":{"line":28,"column":12},"end":{"line":28,"column":657}},"3":{"start":{"line":34,"column":8},"end":{"line":34,"column":773}},"4":{"start":{"line":63,"column":8},"end":{"line":63,"column":1679}},"5":{"start":{"line":85,"column":8},"end":{"line":85,"column":2198}},"6":{"start":{"line":117,"column":8},"end":{"line":117,"column":3254}},"7":{"start":{"line":137,"column":8},"end":{"line":137,"column":3701}},"8":{"start":{"line":157,"column":8},"end":{"line":157,"column":4170}},"9":{"start":{"line":158,"column":12},"end":{"line":158,"column":4229}},"10":{"start":{"line":162,"column":15},"end":{"line":162,"column":4344}},"11":{"start":{"line":163,"column":12},"end":{"line":163,"column":4403}},"12":{"start":{"line":175,"column":12},"end":{"line":175,"column":4954}},"13":{"start":{"line":202,"column":8},"end":{"line":202,"column":5807}},"14":{"start":{"line":234,"column":8},"end":{"line":234,"column":6907}},"15":{"start":{"line":271,"column":8},"end":{"line":271,"column":55}},"16":{"start":{"line":288,"column":8},"end":{"line":288,"column":8730}},"17":{"start":{"line":289,"column":12},"end":{"line":289,"column":8783}},"18":{"start":{"line":295,"column":8},"end":{"line":295,"column":8899}}},"branchMap":{"1":{"line":27,"type":"if","locations":[{"start":{"line":27,"column":8},"end":{"line":27,"column":8}},{"start":{"line":27,"column":8},"end":{"line":27,"column":8}}]},"2":{"line":157,"type":"if","locations":[{"start":{"line":157,"column":8},"end":{"line":157,"column":8}},{"start":{"line":157,"column":8},"end":{"line":157,"column":8}}]},"3":{"line":162,"type":"if","locations":[{"start":{"line":162,"column":15},"end":{"line":162,"column":15}},{"start":{"line":162,"column":15},"end":{"line":162,"column":15}}]},"4":{"line":288,"type":"if","locations":[{"start":{"line":288,"column":8},"end":{"line":288,"column":8}},{"start":{"line":288,"column":8},"end":{"line":288,"column":8}}]}}},"contracts/Engines/STF.sol":{"l":{"26":1,"32":1,"38":1,"44":1,"46":1,"64":1,"70":1,"76":1,"77":1,"79":1,"97":23,"103":23,"104":23,"105":23,"107":23,"124":23,"142":7,"148":7,"157":7,"158":7,"164":7,"166":7,"184":248,"190":248,"191":248,"197":248,"199":248,"217":1,"223":1,"229":1,"235":1,"236":1,"238":1,"256":22,"262":22,"268":22,"274":22,"275":22,"277":22,"295":1,"301":1,"307":1,"313":1,"315":1,"333":1,"339":1,"345":1,"351":1,"352":1,"354":1,"376":19,"379":19,"385":19,"386":19,"392":19,"394":19,"400":19,"406":19,"407":19,"409":19,"427":0,"433":0,"439":0,"446":0,"451":0,"453":0,"458":0,"461":0,"463":0,"481":0,"487":0,"488":0,"489":0,"490":0,"492":0,"510":0,"514":0,"516":0,"517":0,"518":0,"519":0,"520":0,"521":0,"525":0,"526":0,"527":0,"528":0,"530":0,"534":0,"535":0,"542":0,"647":9,"653":9,"654":9,"655":9,"657":9,"674":9,"687":0,"693":0,"702":0,"703":0,"709":0,"711":0,"724":83,"730":83,"731":83,"737":83,"739":83,"785":75,"791":75,"797":75,"803":75,"819":75,"821":75,"834":8,"840":8,"846":8,"852":8,"853":8,"855":8,"936":0,"937":0,"940":0,"941":0,"943":0,"945":0,"948":0,"949":0,"951":0,"954":0,"960":0,"966":0,"967":0,"968":0,"970":0,"983":0,"989":0,"995":0,"1002":0,"1007":0,"1009":0,"1014":0,"1017":0,"1018":0,"1054":0,"1055":0,"1057":0,"1070":0,"1072":0,"1073":0,"1075":0,"1076":0,"1078":0,"1091":0,"1104":0,"1105":0,"1106":0,"1108":0,"1121":0,"1122":0,"1123":0,"1125":0,"1144":0,"1145":0,"1147":0,"1166":0,"1167":0,"1168":0,"1169":0,"1171":0},"path":"/Users/johannes/Documents/dev/actus-protocol/actus-solidity/contracts/Engines/STF.sol","s":{"1":1,"2":1,"3":1,"4":1,"5":1,"6":1,"7":1,"8":1,"9":1,"10":1,"11":23,"12":23,"13":23,"14":23,"15":23,"16":23,"17":7,"18":7,"19":7,"20":7,"21":7,"22":7,"23":248,"24":248,"25":248,"26":248,"27":248,"28":1,"29":1,"30":1,"31":1,"32":1,"33":1,"34":22,"35":22,"36":22,"37":22,"38":22,"39":22,"40":1,"41":1,"42":1,"43":1,"44":1,"45":1,"46":1,"47":1,"48":1,"49":1,"50":1,"51":19,"52":19,"53":19,"54":19,"55":19,"56":19,"57":19,"58":19,"59":19,"60":19,"61":0,"62":0,"63":0,"64":0,"65":0,"66":0,"67":0,"68":0,"69":0,"70":0,"71":0,"72":0,"73":0,"74":0,"75":0,"76":0,"77":0,"78":0,"79":0,"80":0,"81":0,"82":0,"83":0,"84":0,"85":0,"86":0,"87":0,"88":0,"89":0,"90":0,"91":0,"92":9,"93":9,"94":9,"95":9,"96":9,"97":9,"98":0,"99":0,"100":0,"101":0,"102":0,"103":0,"104":83,"105":83,"106":83,"107":83,"108":83,"109":75,"110":75,"111":75,"112":75,"113":75,"114":75,"115":8,"116":8,"117":8,"118":8,"119":8,"120":8,"121":0,"122":0,"123":0,"124":0,"125":0,"126":0,"127":0,"128":0,"129":0,"130":0,"131":0,"132":0,"133":0,"134":0,"135":0,"136":0,"137":0,"138":0,"139":0,"140":0,"141":0,"142":0,"143":0,"144":0,"145":0,"146":0,"147":0,"148":0,"149":0,"150":0,"151":0,"152":0,"153":0,"154":0,"155":0,"156":0,"157":0,"158":0,"159":0,"160":0,"161":0,"162":0,"163":0,"164":0,"165":0,"166":0,"167":0,"168":0,"169":0,"170":0,"171":0,"172":0},"b":{"1":[0,0],"2":[0,0],"3":[0,0],"4":[0,0],"5":[0,0],"6":[0,0],"7":[0,0],"8":[0,0],"9":[0,0],"10":[0,0],"11":[0,0],"12":[0,0],"13":[0,0],"14":[0,0]},"f":{"1":1,"2":1,"3":23,"4":7,"5":248,"6":1,"7":22,"8":1,"9":1,"10":19,"11":0,"12":0,"13":0,"14":9,"15":0,"16":83,"17":75,"18":8,"19":0,"20":0,"21":0,"22":0,"23":0,"24":0,"25":0,"26":0},"fnMap":{"1":{"name":"STF_PAM_AD","line":16,"loc":{"start":{"line":16,"column":4},"end":{"line":25,"column":5}}},"2":{"name":"STF_PAM_FP","line":54,"loc":{"start":{"line":54,"column":4},"end":{"line":63,"column":5}}},"3":{"name":"STF_PAM_IED","line":87,"loc":{"start":{"line":87,"column":4},"end":{"line":96,"column":5}}},"4":{"name":"STF_PAM_IPCI","line":132,"loc":{"start":{"line":132,"column":4},"end":{"line":141,"column":5}}},"5":{"name":"STF_PAM_IP","line":174,"loc":{"start":{"line":174,"column":4},"end":{"line":183,"column":5}}},"6":{"name":"STF_PAM_PP","line":207,"loc":{"start":{"line":207,"column":4},"end":{"line":216,"column":5}}},"7":{"name":"STF_PAM_PR","line":246,"loc":{"start":{"line":246,"column":4},"end":{"line":255,"column":5}}},"8":{"name":"STF_PAM_PY","line":285,"loc":{"start":{"line":285,"column":4},"end":{"line":294,"column":5}}},"9":{"name":"STF_PAM_RRF","line":323,"loc":{"start":{"line":323,"column":4},"end":{"line":332,"column":5}}},"10":{"name":"STF_PAM_RR","line":362,"loc":{"start":{"line":362,"column":4},"end":{"line":371,"column":5}}},"11":{"name":"STF_PAM_SC","line":417,"loc":{"start":{"line":417,"column":4},"end":{"line":426,"column":5}}},"12":{"name":"STF_PAM_TD","line":471,"loc":{"start":{"line":471,"column":4},"end":{"line":480,"column":5}}},"13":{"name":"STF_PAM_CE","line":500,"loc":{"start":{"line":500,"column":4},"end":{"line":509,"column":5}}},"14":{"name":"STF_ANN_IED","line":637,"loc":{"start":{"line":637,"column":4},"end":{"line":646,"column":5}}},"15":{"name":"STF_ANN_IPCI","line":677,"loc":{"start":{"line":677,"column":4},"end":{"line":686,"column":5}}},"16":{"name":"STF_ANN_IP","line":714,"loc":{"start":{"line":714,"column":4},"end":{"line":723,"column":5}}},"17":{"name":"STF_ANN_PR","line":775,"loc":{"start":{"line":775,"column":4},"end":{"line":784,"column":5}}},"18":{"name":"STF_ANN_MD","line":824,"loc":{"start":{"line":824,"column":4},"end":{"line":833,"column":5}}},"19":{"name":"STF_ANN_RR","line":924,"loc":{"start":{"line":924,"column":4},"end":{"line":933,"column":5}}},"20":{"name":"STF_ANN_SC","line":973,"loc":{"start":{"line":973,"column":4},"end":{"line":982,"column":5}}},"21":{"name":"STF_CEG_MD","line":1044,"loc":{"start":{"line":1044,"column":4},"end":{"line":1053,"column":5}}},"22":{"name":"STF_CEG_XD","line":1060,"loc":{"start":{"line":1060,"column":4},"end":{"line":1069,"column":5}}},"23":{"name":"STF_CEG_STD","line":1094,"loc":{"start":{"line":1094,"column":4},"end":{"line":1103,"column":5}}},"24":{"name":"STF_CEG_PRD","line":1111,"loc":{"start":{"line":1111,"column":4},"end":{"line":1120,"column":5}}},"25":{"name":"STF_CEG_FP","line":1128,"loc":{"start":{"line":1128,"column":4},"end":{"line":1137,"column":5}}},"26":{"name":"STF_CEG_TD","line":1150,"loc":{"start":{"line":1150,"column":8},"end":{"line":1159,"column":5}}}},"statementMap":{"1":{"start":{"line":26,"column":8},"end":{"line":26,"column":530}},"2":{"start":{"line":32,"column":8},"end":{"line":32,"column":834}},"3":{"start":{"line":38,"column":8},"end":{"line":38,"column":1041}},"4":{"start":{"line":44,"column":8},"end":{"line":44,"column":38}},"5":{"start":{"line":46,"column":8},"end":{"line":46,"column":20}},"6":{"start":{"line":64,"column":8},"end":{"line":64,"column":1651}},"7":{"start":{"line":70,"column":8},"end":{"line":70,"column":1955}},"8":{"start":{"line":76,"column":8},"end":{"line":76,"column":27}},"9":{"start":{"line":77,"column":8},"end":{"line":77,"column":38}},"10":{"start":{"line":79,"column":8},"end":{"line":79,"column":20}},"11":{"start":{"line":97,"column":8},"end":{"line":97,"column":2616}},"12":{"start":{"line":103,"column":8},"end":{"line":103,"column":87}},"13":{"start":{"line":104,"column":8},"end":{"line":104,"column":60}},"14":{"start":{"line":105,"column":8},"end":{"line":105,"column":38}},"15":{"start":{"line":107,"column":8},"end":{"line":107,"column":52}},"16":{"start":{"line":124,"column":8},"end":{"line":124,"column":20}},"17":{"start":{"line":142,"column":8},"end":{"line":142,"column":4098}},"18":{"start":{"line":148,"column":8},"end":{"line":148,"column":4402}},"19":{"start":{"line":157,"column":8},"end":{"line":157,"column":32}},"20":{"start":{"line":158,"column":8},"end":{"line":158,"column":4726}},"21":{"start":{"line":164,"column":8},"end":{"line":164,"column":38}},"22":{"start":{"line":166,"column":8},"end":{"line":166,"column":20}},"23":{"start":{"line":184,"column":8},"end":{"line":184,"column":5334}},"24":{"start":{"line":190,"column":8},"end":{"line":190,"column":32}},"25":{"start":{"line":191,"column":8},"end":{"line":191,"column":5673}},"26":{"start":{"line":197,"column":8},"end":{"line":197,"column":38}},"27":{"start":{"line":199,"column":8},"end":{"line":199,"column":20}},"28":{"start":{"line":217,"column":8},"end":{"line":217,"column":6285}},"29":{"start":{"line":223,"column":8},"end":{"line":223,"column":6589}},"30":{"start":{"line":229,"column":8},"end":{"line":229,"column":6796}},"31":{"start":{"line":235,"column":8},"end":{"line":235,"column":35}},"32":{"start":{"line":236,"column":8},"end":{"line":236,"column":38}},"33":{"start":{"line":238,"column":8},"end":{"line":238,"column":20}},"34":{"start":{"line":256,"column":8},"end":{"line":256,"column":7550}},"35":{"start":{"line":262,"column":8},"end":{"line":262,"column":7854}},"36":{"start":{"line":268,"column":8},"end":{"line":268,"column":8061}},"37":{"start":{"line":274,"column":8},"end":{"line":274,"column":34}},"38":{"start":{"line":275,"column":8},"end":{"line":275,"column":38}},"39":{"start":{"line":277,"column":8},"end":{"line":277,"column":20}},"40":{"start":{"line":295,"column":8},"end":{"line":295,"column":8706}},"41":{"start":{"line":301,"column":8},"end":{"line":301,"column":9010}},"42":{"start":{"line":307,"column":8},"end":{"line":307,"column":9217}},"43":{"start":{"line":313,"column":8},"end":{"line":313,"column":38}},"44":{"start":{"line":315,"column":8},"end":{"line":315,"column":20}},"45":{"start":{"line":333,"column":8},"end":{"line":333,"column":9827}},"46":{"start":{"line":339,"column":8},"end":{"line":339,"column":10131}},"47":{"start":{"line":345,"column":8},"end":{"line":345,"column":10338}},"48":{"start":{"line":351,"column":8},"end":{"line":351,"column":54}},"49":{"start":{"line":352,"column":8},"end":{"line":352,"column":38}},"50":{"start":{"line":354,"column":8},"end":{"line":354,"column":20}},"51":{"start":{"line":376,"column":8},"end":{"line":376,"column":105}},"52":{"start":{"line":379,"column":8},"end":{"line":379,"column":62}},"53":{"start":{"line":385,"column":8},"end":{"line":385,"column":72}},"54":{"start":{"line":386,"column":8},"end":{"line":386,"column":54}},"55":{"start":{"line":392,"column":8},"end":{"line":392,"column":58}},"56":{"start":{"line":394,"column":8},"end":{"line":394,"column":12195}},"57":{"start":{"line":400,"column":8},"end":{"line":400,"column":12499}},"58":{"start":{"line":406,"column":8},"end":{"line":406,"column":39}},"59":{"start":{"line":407,"column":8},"end":{"line":407,"column":38}},"60":{"start":{"line":409,"column":8},"end":{"line":409,"column":20}},"61":{"start":{"line":427,"column":8},"end":{"line":427,"column":13184}},"62":{"start":{"line":433,"column":8},"end":{"line":433,"column":13488}},"63":{"start":{"line":439,"column":8},"end":{"line":439,"column":13695}},"64":{"start":{"line":446,"column":8},"end":{"line":446,"column":13881}},"65":{"start":{"line":451,"column":12},"end":{"line":451,"column":46}},"66":{"start":{"line":453,"column":8},"end":{"line":453,"column":14261}},"67":{"start":{"line":458,"column":12},"end":{"line":458,"column":46}},"68":{"start":{"line":461,"column":8},"end":{"line":461,"column":38}},"69":{"start":{"line":463,"column":8},"end":{"line":463,"column":20}},"70":{"start":{"line":481,"column":8},"end":{"line":481,"column":15069}},"71":{"start":{"line":487,"column":8},"end":{"line":487,"column":34}},"72":{"start":{"line":488,"column":8},"end":{"line":488,"column":32}},"73":{"start":{"line":489,"column":8},"end":{"line":489,"column":27}},"74":{"start":{"line":490,"column":8},"end":{"line":490,"column":38}},"75":{"start":{"line":492,"column":8},"end":{"line":492,"column":20}},"76":{"start":{"line":510,"column":8},"end":{"line":510,"column":15922}},"77":{"start":{"line":514,"column":8},"end":{"line":514,"column":56}},"78":{"start":{"line":516,"column":8},"end":{"line":516,"column":36}},"79":{"start":{"line":517,"column":8},"end":{"line":517,"column":16185}},"80":{"start":{"line":518,"column":12},"end":{"line":518,"column":92}},"81":{"start":{"line":519,"column":12},"end":{"line":519,"column":16326}},"82":{"start":{"line":520,"column":16},"end":{"line":520,"column":65}},"83":{"start":{"line":521,"column":16},"end":{"line":521,"column":37}},"84":{"start":{"line":525,"column":8},"end":{"line":525,"column":16500}},"85":{"start":{"line":526,"column":12},"end":{"line":526,"column":104}},"86":{"start":{"line":527,"column":12},"end":{"line":527,"column":16679}},"87":{"start":{"line":528,"column":16},"end":{"line":528,"column":65}},"88":{"start":{"line":530,"column":16},"end":{"line":530,"column":65}},"89":{"start":{"line":534,"column":8},"end":{"line":534,"column":16908}},"90":{"start":{"line":535,"column":12},"end":{"line":535,"column":16960}},"91":{"start":{"line":542,"column":8},"end":{"line":542,"column":20}},"92":{"start":{"line":647,"column":8},"end":{"line":647,"column":20230}},"93":{"start":{"line":653,"column":8},"end":{"line":653,"column":87}},"94":{"start":{"line":654,"column":8},"end":{"line":654,"column":60}},"95":{"start":{"line":655,"column":8},"end":{"line":655,"column":38}},"96":{"start":{"line":657,"column":8},"end":{"line":657,"column":52}},"97":{"start":{"line":674,"column":8},"end":{"line":674,"column":20}},"98":{"start":{"line":687,"column":8},"end":{"line":687,"column":21697}},"99":{"start":{"line":693,"column":8},"end":{"line":693,"column":22001}},"100":{"start":{"line":702,"column":8},"end":{"line":702,"column":32}},"101":{"start":{"line":703,"column":8},"end":{"line":703,"column":22321}},"102":{"start":{"line":709,"column":8},"end":{"line":709,"column":38}},"103":{"start":{"line":711,"column":8},"end":{"line":711,"column":20}},"104":{"start":{"line":724,"column":8},"end":{"line":724,"column":22801}},"105":{"start":{"line":730,"column":8},"end":{"line":730,"column":32}},"106":{"start":{"line":731,"column":8},"end":{"line":731,"column":23140}},"107":{"start":{"line":737,"column":8},"end":{"line":737,"column":38}},"108":{"start":{"line":739,"column":8},"end":{"line":739,"column":20}},"109":{"start":{"line":785,"column":8},"end":{"line":785,"column":24740}},"110":{"start":{"line":791,"column":8},"end":{"line":791,"column":25044}},"111":{"start":{"line":797,"column":8},"end":{"line":797,"column":25251}},"112":{"start":{"line":803,"column":8},"end":{"line":803,"column":25436}},"113":{"start":{"line":819,"column":8},"end":{"line":819,"column":38}},"114":{"start":{"line":821,"column":8},"end":{"line":821,"column":20}},"115":{"start":{"line":834,"column":8},"end":{"line":834,"column":26193}},"116":{"start":{"line":840,"column":8},"end":{"line":840,"column":26497}},"117":{"start":{"line":846,"column":8},"end":{"line":846,"column":26704}},"118":{"start":{"line":852,"column":8},"end":{"line":852,"column":36}},"119":{"start":{"line":853,"column":8},"end":{"line":853,"column":38}},"120":{"start":{"line":855,"column":8},"end":{"line":855,"column":20}},"121":{"start":{"line":936,"column":8},"end":{"line":936,"column":84}},"122":{"start":{"line":937,"column":8},"end":{"line":937,"column":62}},"123":{"start":{"line":940,"column":8},"end":{"line":940,"column":29598}},"124":{"start":{"line":941,"column":12},"end":{"line":941,"column":36}},"125":{"start":{"line":942,"column":15},"end":{"line":942,"column":29735}},"126":{"start":{"line":943,"column":12},"end":{"line":943,"column":49}},"127":{"start":{"line":945,"column":8},"end":{"line":945,"column":54}},"128":{"start":{"line":948,"column":8},"end":{"line":948,"column":29941}},"129":{"start":{"line":949,"column":12},"end":{"line":949,"column":31}},"130":{"start":{"line":950,"column":15},"end":{"line":950,"column":30053}},"131":{"start":{"line":951,"column":12},"end":{"line":951,"column":33}},"132":{"start":{"line":954,"column":8},"end":{"line":954,"column":30139}},"133":{"start":{"line":960,"column":8},"end":{"line":960,"column":30443}},"134":{"start":{"line":966,"column":8},"end":{"line":966,"column":39}},"135":{"start":{"line":967,"column":8},"end":{"line":967,"column":47}},"136":{"start":{"line":968,"column":8},"end":{"line":968,"column":38}},"137":{"start":{"line":970,"column":8},"end":{"line":970,"column":20}},"138":{"start":{"line":983,"column":8},"end":{"line":983,"column":31075}},"139":{"start":{"line":989,"column":8},"end":{"line":989,"column":31379}},"140":{"start":{"line":995,"column":8},"end":{"line":995,"column":31586}},"141":{"start":{"line":1002,"column":8},"end":{"line":1002,"column":31772}},"142":{"start":{"line":1007,"column":12},"end":{"line":1007,"column":46}},"143":{"start":{"line":1009,"column":8},"end":{"line":1009,"column":32152}},"144":{"start":{"line":1014,"column":12},"end":{"line":1014,"column":46}},"145":{"start":{"line":1017,"column":8},"end":{"line":1017,"column":38}},"146":{"start":{"line":1018,"column":8},"end":{"line":1018,"column":20}},"147":{"start":{"line":1054,"column":8},"end":{"line":1054,"column":34}},"148":{"start":{"line":1055,"column":8},"end":{"line":1055,"column":38}},"149":{"start":{"line":1057,"column":8},"end":{"line":1057,"column":20}},"150":{"start":{"line":1070,"column":8},"end":{"line":1070,"column":38}},"151":{"start":{"line":1072,"column":8},"end":{"line":1072,"column":96}},"152":{"start":{"line":1073,"column":8},"end":{"line":1073,"column":41}},"153":{"start":{"line":1075,"column":8},"end":{"line":1075,"column":34109}},"154":{"start":{"line":1076,"column":12},"end":{"line":1076,"column":74}},"155":{"start":{"line":1078,"column":12},"end":{"line":1078,"column":34263}},"156":{"start":{"line":1091,"column":8},"end":{"line":1091,"column":20}},"157":{"start":{"line":1104,"column":8},"end":{"line":1104,"column":38}},"158":{"start":{"line":1105,"column":8},"end":{"line":1105,"column":34}},"159":{"start":{"line":1106,"column":8},"end":{"line":1106,"column":27}},"160":{"start":{"line":1108,"column":8},"end":{"line":1108,"column":20}},"161":{"start":{"line":1121,"column":8},"end":{"line":1121,"column":87}},"162":{"start":{"line":1122,"column":8},"end":{"line":1122,"column":48}},"163":{"start":{"line":1123,"column":8},"end":{"line":1123,"column":38}},"164":{"start":{"line":1125,"column":8},"end":{"line":1125,"column":20}},"165":{"start":{"line":1144,"column":8},"end":{"line":1144,"column":27}},"166":{"start":{"line":1145,"column":8},"end":{"line":1145,"column":38}},"167":{"start":{"line":1147,"column":8},"end":{"line":1147,"column":20}},"168":{"start":{"line":1166,"column":8},"end":{"line":1166,"column":34}},"169":{"start":{"line":1167,"column":8},"end":{"line":1167,"column":32}},"170":{"start":{"line":1168,"column":8},"end":{"line":1168,"column":27}},"171":{"start":{"line":1169,"column":8},"end":{"line":1169,"column":38}},"172":{"start":{"line":1171,"column":8},"end":{"line":1171,"column":20}}},"branchMap":{"1":{"line":446,"type":"if","locations":[{"start":{"line":446,"column":8},"end":{"line":446,"column":8}},{"start":{"line":446,"column":8},"end":{"line":446,"column":8}}]},"2":{"line":453,"type":"if","locations":[{"start":{"line":453,"column":8},"end":{"line":453,"column":8}},{"start":{"line":453,"column":8},"end":{"line":453,"column":8}}]},"3":{"line":517,"type":"if","locations":[{"start":{"line":517,"column":8},"end":{"line":517,"column":8}},{"start":{"line":517,"column":8},"end":{"line":517,"column":8}}]},"4":{"line":519,"type":"if","locations":[{"start":{"line":519,"column":12},"end":{"line":519,"column":12}},{"start":{"line":519,"column":12},"end":{"line":519,"column":12}}]},"5":{"line":525,"type":"if","locations":[{"start":{"line":525,"column":8},"end":{"line":525,"column":8}},{"start":{"line":525,"column":8},"end":{"line":525,"column":8}}]},"6":{"line":527,"type":"if","locations":[{"start":{"line":527,"column":12},"end":{"line":527,"column":12}},{"start":{"line":527,"column":12},"end":{"line":527,"column":12}}]},"7":{"line":534,"type":"if","locations":[{"start":{"line":534,"column":8},"end":{"line":534,"column":8}},{"start":{"line":534,"column":8},"end":{"line":534,"column":8}}]},"8":{"line":940,"type":"if","locations":[{"start":{"line":940,"column":8},"end":{"line":940,"column":8}},{"start":{"line":940,"column":8},"end":{"line":940,"column":8}}]},"9":{"line":942,"type":"if","locations":[{"start":{"line":942,"column":15},"end":{"line":942,"column":15}},{"start":{"line":942,"column":15},"end":{"line":942,"column":15}}]},"10":{"line":948,"type":"if","locations":[{"start":{"line":948,"column":8},"end":{"line":948,"column":8}},{"start":{"line":948,"column":8},"end":{"line":948,"column":8}}]},"11":{"line":950,"type":"if","locations":[{"start":{"line":950,"column":15},"end":{"line":950,"column":15}},{"start":{"line":950,"column":15},"end":{"line":950,"column":15}}]},"12":{"line":1002,"type":"if","locations":[{"start":{"line":1002,"column":8},"end":{"line":1002,"column":8}},{"start":{"line":1002,"column":8},"end":{"line":1002,"column":8}}]},"13":{"line":1009,"type":"if","locations":[{"start":{"line":1009,"column":8},"end":{"line":1009,"column":8}},{"start":{"line":1009,"column":8},"end":{"line":1009,"column":8}}]},"14":{"line":1075,"type":"if","locations":[{"start":{"line":1075,"column":8},"end":{"line":1075,"column":8}},{"start":{"line":1075,"column":8},"end":{"line":1075,"column":8}}]}}},"contracts/helper/TestPOF.sol":{"l":{"19":2,"37":1,"55":1,"73":1,"91":1,"109":3,"127":1,"145":1,"163":1,"181":2},"path":"/Users/johannes/Documents/dev/actus-protocol/actus-solidity/contracts/helper/TestPOF.sol","s":{"1":2,"2":1,"3":1,"4":1,"5":1,"6":3,"7":1,"8":1,"9":1,"10":2},"b":{},"f":{"1":2,"2":1,"3":1,"4":1,"5":1,"6":3,"7":1,"8":1,"9":1,"10":2},"fnMap":{"1":{"name":"_POF_PAM_FP","line":10,"loc":{"start":{"line":10,"column":4},"end":{"line":18,"column":21}}},"2":{"name":"_POF_PAM_IED","line":27,"loc":{"start":{"line":27,"column":4},"end":{"line":36,"column":5}}},"3":{"name":"_POF_PAM_IP","line":45,"loc":{"start":{"line":45,"column":4},"end":{"line":54,"column":5}}},"4":{"name":"_POF_PAM_PP","line":63,"loc":{"start":{"line":63,"column":4},"end":{"line":72,"column":5}}},"5":{"name":"_POF_PAM_MD","line":81,"loc":{"start":{"line":81,"column":4},"end":{"line":90,"column":5}}},"6":{"name":"_POF_PAM_PY","line":99,"loc":{"start":{"line":99,"column":4},"end":{"line":108,"column":5}}},"7":{"name":"_POF_PAM_TD","line":117,"loc":{"start":{"line":117,"column":4},"end":{"line":126,"column":5}}},"8":{"name":"_POF_ANN_PR","line":135,"loc":{"start":{"line":135,"column":4},"end":{"line":144,"column":5}}},"9":{"name":"_POF_CEG_STD","line":153,"loc":{"start":{"line":153,"column":4},"end":{"line":162,"column":5}}},"10":{"name":"_POF_CEG_FP","line":171,"loc":{"start":{"line":171,"column":4},"end":{"line":180,"column":5}}}},"statementMap":{"1":{"start":{"line":19,"column":8},"end":{"line":19,"column":408}},"2":{"start":{"line":37,"column":8},"end":{"line":37,"column":746}},"3":{"start":{"line":55,"column":8},"end":{"line":55,"column":1084}},"4":{"start":{"line":73,"column":8},"end":{"line":73,"column":1421}},"5":{"start":{"line":91,"column":8},"end":{"line":91,"column":1758}},"6":{"start":{"line":109,"column":8},"end":{"line":109,"column":2095}},"7":{"start":{"line":127,"column":8},"end":{"line":127,"column":2432}},"8":{"start":{"line":145,"column":8},"end":{"line":145,"column":2769}},"9":{"start":{"line":163,"column":8},"end":{"line":163,"column":3107}},"10":{"start":{"line":181,"column":8},"end":{"line":181,"column":3445}}},"branchMap":{}},"contracts/helper/TestSTF.sol":{"l":{"19":1,"36":1,"53":1,"70":1,"87":1,"104":1,"121":1,"138":1,"155":1,"172":0,"189":0,"206":0,"223":0},"path":"/Users/johannes/Documents/dev/actus-protocol/actus-solidity/contracts/helper/TestSTF.sol","s":{"1":1,"2":1,"3":1,"4":1,"5":1,"6":1,"7":1,"8":1,"9":1,"10":0,"11":0,"12":0,"13":0},"b":{},"f":{"1":1,"2":1,"3":1,"4":1,"5":1,"6":1,"7":1,"8":1,"9":1,"10":0,"11":0,"12":0,"13":0},"fnMap":{"1":{"name":"_STF_PAM_AD","line":10,"loc":{"start":{"line":10,"column":4},"end":{"line":18,"column":27}}},"2":{"name":"_STF_PAM_FP","line":27,"loc":{"start":{"line":27,"column":4},"end":{"line":35,"column":27}}},"3":{"name":"_STF_PAM_IED","line":44,"loc":{"start":{"line":44,"column":4},"end":{"line":52,"column":27}}},"4":{"name":"_STF_PAM_IPCI","line":61,"loc":{"start":{"line":61,"column":4},"end":{"line":69,"column":27}}},"5":{"name":"_STF_PAM_IP","line":78,"loc":{"start":{"line":78,"column":4},"end":{"line":86,"column":27}}},"6":{"name":"_STF_PAM_PP","line":95,"loc":{"start":{"line":95,"column":4},"end":{"line":103,"column":27}}},"7":{"name":"_STF_PAM_PR","line":112,"loc":{"start":{"line":112,"column":4},"end":{"line":120,"column":27}}},"8":{"name":"_STF_PAM_PY","line":129,"loc":{"start":{"line":129,"column":4},"end":{"line":137,"column":27}}},"9":{"name":"_STF_PAM_RRF","line":146,"loc":{"start":{"line":146,"column":4},"end":{"line":154,"column":27}}},"10":{"name":"_STF_PAM_RR","line":163,"loc":{"start":{"line":163,"column":4},"end":{"line":171,"column":27}}},"11":{"name":"_STF_PAM_SC","line":180,"loc":{"start":{"line":180,"column":4},"end":{"line":188,"column":27}}},"12":{"name":"_STF_PAM_TD","line":197,"loc":{"start":{"line":197,"column":4},"end":{"line":205,"column":27}}},"13":{"name":"_STF_PAM_CE","line":214,"loc":{"start":{"line":214,"column":4},"end":{"line":222,"column":27}}}},"statementMap":{"1":{"start":{"line":19,"column":8},"end":{"line":19,"column":414}},"2":{"start":{"line":36,"column":8},"end":{"line":36,"column":753}},"3":{"start":{"line":53,"column":8},"end":{"line":53,"column":1093}},"4":{"start":{"line":70,"column":8},"end":{"line":70,"column":1435}},"5":{"start":{"line":87,"column":8},"end":{"line":87,"column":1776}},"6":{"start":{"line":104,"column":8},"end":{"line":104,"column":2115}},"7":{"start":{"line":121,"column":8},"end":{"line":121,"column":2454}},"8":{"start":{"line":138,"column":8},"end":{"line":138,"column":2793}},"9":{"start":{"line":155,"column":8},"end":{"line":155,"column":3133}},"10":{"start":{"line":172,"column":8},"end":{"line":172,"column":3473}},"11":{"start":{"line":189,"column":8},"end":{"line":189,"column":3812}},"12":{"start":{"line":206,"column":8},"end":{"line":206,"column":4151}},"13":{"start":{"line":223,"column":8},"end":{"line":223,"column":4490}}},"branchMap":{}}}