diff --git a/soljson.js b/soljson.js
deleted file mode 100644
index c6f470c279..0000000000
--- a/soljson.js
+++ /dev/null
@@ -1,46 +0,0 @@
-'use strict'
-
-var Module = { // eslint-disable-line
-  cwrap: function () { return arguments[0] === 'version' ? version : compile },
-  writeStringToMemory: function () {},
-  setValue: function () {},
-  Pointer_stringify: function () {},
-  Runtime: {
-    addFunction: function () {},
-    removeFunction: function () {}
-  },
-  _compileJSONMulti: {},
-  _compileJSONCallback: {},
-  _compileJSON: {}
-}
-
-function compile (source, optimization, missingInputs) {
-  if (typeof source === 'string') {
-    source = JSON.parse(source)
-  }
-  var key = optimization.toString()
-  for (var k in source.sources) {
-    key += k + source.sources[k]
-  }
-  key = key.replace(/(\t)|(\n)|( )/g, '')
-  var data = mockData[key] // eslint-disable-line
-  if (data === undefined) {
-    return JSON.stringify({
-      errors: ['mock compiler: source not found']
-    })
-  } else {
-    data.missingInputs.map(function (item, i) {
-      if (missingInputs) {
-        missingInputs(item)
-      }
-    })
-  }
-  return JSON.stringify(data.result)
-}
-
-function version () {
-  return 'mock compiler'
-}
-
-
-var mockData = {"1Untitledpragmasolidity^0.4.0;contractBallot{structVoter{uintweight;boolvoted;uint8vote;addressdelegate;}structProposal{uintvoteCount;}addresschairperson;mapping(address=>Voter)voters;Proposal[]proposals;///Createanewballotwith$(_numProposals)differentproposals.functionBallot(uint8_numProposals){chairperson=msg.sender;voters[chairperson].weight=1;proposals.length=_numProposals;}///Give$(voter)therighttovoteonthisballot.///Mayonlybecalledby$(chairperson).functiongiveRightToVote(addressvoter){if(msg.sender!=chairperson||voters[voter].voted)return;voters[voter].weight=1;}///Delegateyourvotetothevoter$(to).functiondelegate(addressto){Votersender=voters[msg.sender];//assignsreferenceif(sender.voted)return;while(voters[to].delegate!=address(0)&&voters[to].delegate!=msg.sender)to=voters[to].delegate;if(to==msg.sender)return;sender.voted=true;sender.delegate=to;Voterdelegate=voters[to];if(delegate.voted)proposals[delegate.vote].voteCount+=sender.weight;elsedelegate.weight+=sender.weight;}///Giveasinglevotetoproposal$(proposal).functionvote(uint8proposal){Votersender=voters[msg.sender];if(sender.voted||proposal>=proposals.length)return;sender.voted=true;sender.vote=proposal;proposals[proposal].voteCount+=sender.weight;}functionwinningProposal()constantreturns(uint8winningProposal){uint256winningVoteCount=0;for(uint8proposal=0;proposal<proposals.length;proposal++)if(proposals[proposal].voteCount>winningVoteCount){winningVoteCount=proposals[proposal].voteCount;winningProposal=proposal;}}}":{"key":"1Untitledpragmasolidity^0.4.0;contractBallot{structVoter{uintweight;boolvoted;uint8vote;addressdelegate;}structProposal{uintvoteCount;}addresschairperson;mapping(address=>Voter)voters;Proposal[]proposals;///Createanewballotwith$(_numProposals)differentproposals.functionBallot(uint8_numProposals){chairperson=msg.sender;voters[chairperson].weight=1;proposals.length=_numProposals;}///Give$(voter)therighttovoteonthisballot.///Mayonlybecalledby$(chairperson).functiongiveRightToVote(addressvoter){if(msg.sender!=chairperson||voters[voter].voted)return;voters[voter].weight=1;}///Delegateyourvotetothevoter$(to).functiondelegate(addressto){Votersender=voters[msg.sender];//assignsreferenceif(sender.voted)return;while(voters[to].delegate!=address(0)&&voters[to].delegate!=msg.sender)to=voters[to].delegate;if(to==msg.sender)return;sender.voted=true;sender.delegate=to;Voterdelegate=voters[to];if(delegate.voted)proposals[delegate.vote].voteCount+=sender.weight;elsedelegate.weight+=sender.weight;}///Giveasinglevotetoproposal$(proposal).functionvote(uint8proposal){Votersender=voters[msg.sender];if(sender.voted||proposal>=proposals.length)return;sender.voted=true;sender.vote=proposal;proposals[proposal].voteCount+=sender.weight;}functionwinningProposal()constantreturns(uint8winningProposal){uint256winningVoteCount=0;for(uint8proposal=0;proposal<proposals.length;proposal++)if(proposals[proposal].voteCount>winningVoteCount){winningVoteCount=proposals[proposal].voteCount;winningProposal=proposal;}}}","source":{"sources":{"Untitled":"pragma solidity ^0.4.0;\ncontract Ballot {\n\n    struct Voter {\n        uint weight;\n        bool voted;\n        uint8 vote;\n        address delegate;\n    }\n    struct Proposal {\n        uint voteCount;\n    }\n\n    address chairperson;\n    mapping(address => Voter) voters;\n    Proposal[] proposals;\n\n    /// Create a new ballot with $(_numProposals) different proposals.\n    function Ballot(uint8 _numProposals) {\n        chairperson = msg.sender;\n        voters[chairperson].weight = 1;\n        proposals.length = _numProposals;\n    }\n\n    /// Give $(voter) the right to vote on this ballot.\n    /// May only be called by $(chairperson).\n    function giveRightToVote(address voter) {\n        if (msg.sender != chairperson || voters[voter].voted) return;\n        voters[voter].weight = 1;\n    }\n\n    /// Delegate your vote to the voter $(to).\n    function delegate(address to) {\n        Voter sender = voters[msg.sender]; // assigns reference\n        if (sender.voted) return;\n        while (voters[to].delegate != address(0) && voters[to].delegate != msg.sender)\n            to = voters[to].delegate;\n        if (to == msg.sender) return;\n        sender.voted = true;\n        sender.delegate = to;\n        Voter delegate = voters[to];\n        if (delegate.voted)\n            proposals[delegate.vote].voteCount += sender.weight;\n        else\n            delegate.weight += sender.weight;\n    }\n\n    /// Give a single vote to proposal $(proposal).\n    function vote(uint8 proposal) {\n        Voter sender = voters[msg.sender];\n        if (sender.voted || proposal >= proposals.length) return;\n        sender.voted = true;\n        sender.vote = proposal;\n        proposals[proposal].voteCount += sender.weight;\n    }\n\n    function winningProposal() constant returns (uint8 winningProposal) {\n        uint256 winningVoteCount = 0;\n        for (uint8 proposal = 0; proposal < proposals.length; proposal++)\n            if (proposals[proposal].voteCount > winningVoteCount) {\n                winningVoteCount = proposals[proposal].voteCount;\n                winningProposal = proposal;\n            }\n    }\n}"}},"optimization":1,"missingInputs":[],"result":{"contracts":{"Ballot":{"assembly":{".code":[{"begin":24,"end":2099,"name":"PUSH","value":"60"},{"begin":24,"end":2099,"name":"PUSH","value":"40"},{"begin":24,"end":2099,"name":"MSTORE"},{"begin":373,"end":533,"name":"PUSH","value":"40"},{"begin":373,"end":533,"name":"MLOAD"},{"begin":373,"end":533,"name":"PUSH","value":"20"},{"begin":373,"end":533,"name":"DUP1"},{"begin":373,"end":533,"name":"PUSHSIZE"},{"begin":373,"end":533,"name":"DUP4"},{"begin":373,"end":533,"name":"CODECOPY"},{"begin":-1,"end":-1,"name":"POP"},{"begin":373,"end":533,"name":"PUSH","value":"80"},{"begin":24,"end":2099,"name":"PUSH","value":"40"},{"begin":373,"end":533,"name":"MSTORE"},{"begin":373,"end":533,"name":"MLOAD"},{"begin":420,"end":431,"name":"PUSH","value":"0"},{"begin":420,"end":444,"name":"DUP1"},{"begin":420,"end":444,"name":"SLOAD"},{"begin":420,"end":444,"name":"PUSH","value":"1000000000000000000000000"},{"begin":434,"end":444,"name":"CALLER"},{"begin":420,"end":444,"name":"DUP2"},{"begin":420,"end":444,"name":"MUL"},{"begin":420,"end":444,"name":"DIV"},{"begin":-1,"end":-1,"name":"PUSH","value":"1"},{"begin":-1,"end":-1,"name":"PUSH","value":"A0"},{"begin":-1,"end":-1,"name":"PUSH","value":"2"},{"begin":-1,"end":-1,"name":"EXP"},{"begin":-1,"end":-1,"name":"SUB"},{"begin":-1,"end":-1,"name":"NOT"},{"begin":420,"end":444,"name":"SWAP1"},{"begin":420,"end":444,"name":"SWAP2"},{"begin":420,"end":444,"name":"AND"},{"begin":420,"end":444,"name":"OR"},{"begin":420,"end":444,"name":"DUP1"},{"begin":420,"end":444,"name":"DUP3"},{"begin":420,"end":444,"name":"SSTORE"},{"begin":-1,"end":-1,"name":"PUSH","value":"1"},{"begin":-1,"end":-1,"name":"PUSH","value":"A0"},{"begin":-1,"end":-1,"name":"PUSH","value":"2"},{"begin":-1,"end":-1,"name":"EXP"},{"begin":-1,"end":-1,"name":"SUB"},{"begin":461,"end":472,"name":"AND"},{"begin":454,"end":473,"name":"DUP2"},{"begin":454,"end":473,"name":"MSTORE"},{"begin":420,"end":444,"name":"PUSH","value":"1"},{"begin":454,"end":473,"name":"PUSH","value":"20"},{"begin":454,"end":473,"name":"DUP2"},{"begin":454,"end":473,"name":"SWAP1"},{"begin":454,"end":473,"name":"MSTORE"},{"begin":454,"end":473,"name":"PUSH","value":"40"},{"begin":454,"end":473,"name":"SWAP1"},{"begin":454,"end":473,"name":"SWAP2"},{"begin":454,"end":473,"name":"SHA3"},{"begin":454,"end":484,"name":"SSTORE"},{"begin":494,"end":503,"name":"PUSH","value":"2"},{"begin":494,"end":526,"name":"DUP1"},{"begin":494,"end":526,"name":"SLOAD"},{"begin":494,"end":526,"name":"PUSH","value":"FF"},{"begin":494,"end":526,"name":"DUP4"},{"begin":494,"end":526,"name":"AND"},{"begin":494,"end":526,"name":"DUP1"},{"begin":494,"end":526,"name":"DUP4"},{"begin":494,"end":526,"name":"SSTORE"},{"begin":494,"end":526,"name":"SWAP2"},{"begin":494,"end":503,"name":"SWAP1"},{"begin":494,"end":526,"name":"DUP3"},{"begin":494,"end":526,"name":"SWAP1"},{"begin":494,"end":526,"name":"DUP1"},{"begin":494,"end":526,"name":"ISZERO"},{"begin":494,"end":526,"name":"DUP3"},{"begin":494,"end":526,"name":"SWAP1"},{"begin":494,"end":526,"name":"GT"},{"begin":494,"end":526,"name":"PUSH [tag]","value":"4"},{"begin":494,"end":526,"name":"JUMPI"},{"begin":494,"end":526,"name":"PUSH","value":"0"},{"begin":494,"end":526,"name":"DUP4"},{"begin":494,"end":526,"name":"DUP2"},{"begin":494,"end":526,"name":"MSTORE"},{"begin":494,"end":526,"name":"PUSH","value":"20"},{"begin":494,"end":526,"name":"SWAP1"},{"begin":494,"end":526,"name":"SHA3"},{"begin":494,"end":526,"name":"PUSH [tag]","value":"4"},{"begin":494,"end":526,"name":"SWAP2"},{"begin":494,"end":526,"name":"DUP2"},{"begin":494,"end":526,"name":"ADD"},{"begin":494,"end":526,"name":"SWAP1"},{"begin":494,"end":526,"name":"DUP4"},{"begin":494,"end":526,"name":"ADD"},{"begin":494,"end":526,"name":"tag","value":"5"},{"begin":494,"end":526,"name":"JUMPDEST"},{"begin":494,"end":526,"name":"DUP1"},{"begin":494,"end":526,"name":"DUP3"},{"begin":494,"end":526,"name":"GT"},{"begin":494,"end":526,"name":"ISZERO"},{"begin":494,"end":526,"name":"PUSH [tag]","value":"6"},{"begin":494,"end":526,"name":"JUMPI"},{"begin":494,"end":526,"name":"PUSH","value":"0"},{"begin":494,"end":526,"name":"DUP2"},{"begin":494,"end":526,"name":"SSTORE"},{"begin":494,"end":526,"name":"PUSH","value":"1"},{"begin":494,"end":526,"name":"ADD"},{"begin":494,"end":526,"name":"PUSH [tag]","value":"5"},{"begin":494,"end":526,"name":"JUMP"},{"begin":494,"end":526,"name":"tag","value":"4"},{"begin":494,"end":526,"name":"JUMPDEST"},{"begin":494,"end":526,"name":"POP"},{"begin":494,"end":526,"name":"POP"},{"begin":494,"end":526,"name":"POP"},{"begin":494,"end":526,"name":"POP"},{"begin":373,"end":533,"name":"POP"},{"begin":24,"end":2099,"name":"PUSH #[$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":24,"end":2099,"name":"DUP1"},{"begin":24,"end":2099,"name":"PUSH [$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":24,"end":2099,"name":"PUSH","value":"0"},{"begin":24,"end":2099,"name":"CODECOPY"},{"begin":24,"end":2099,"name":"PUSH","value":"0"},{"begin":24,"end":2099,"name":"RETURN"},{"begin":494,"end":526,"name":"tag","value":"6"},{"begin":494,"end":526,"name":"JUMPDEST"},{"begin":494,"end":526,"name":"POP"},{"begin":494,"end":526,"name":"SWAP1"},{"begin":494,"end":526,"name":"JUMP"}],".data":{"0":{".code":[{"begin":24,"end":2099,"name":"PUSH","value":"60"},{"begin":24,"end":2099,"name":"PUSH","value":"40"},{"begin":24,"end":2099,"name":"MSTORE"},{"begin":-1,"end":-1,"name":"PUSH","value":"E0"},{"begin":-1,"end":-1,"name":"PUSH","value":"2"},{"begin":-1,"end":-1,"name":"EXP"},{"begin":24,"end":2099,"name":"PUSH","value":"0"},{"begin":24,"end":2099,"name":"CALLDATALOAD"},{"begin":24,"end":2099,"name":"DIV"},{"begin":24,"end":2099,"name":"PUSH","value":"5C19A95C"},{"begin":24,"end":2099,"name":"DUP2"},{"begin":24,"end":2099,"name":"EQ"},{"begin":24,"end":2099,"name":"PUSH [tag]","value":"2"},{"begin":24,"end":2099,"name":"JUMPI"},{"begin":24,"end":2099,"name":"DUP1"},{"begin":24,"end":2099,"name":"PUSH","value":"609FF1BD"},{"begin":24,"end":2099,"name":"EQ"},{"begin":24,"end":2099,"name":"PUSH [tag]","value":"3"},{"begin":24,"end":2099,"name":"JUMPI"},{"begin":24,"end":2099,"name":"DUP1"},{"begin":24,"end":2099,"name":"PUSH","value":"9E7B8D61"},{"begin":24,"end":2099,"name":"EQ"},{"begin":24,"end":2099,"name":"PUSH [tag]","value":"4"},{"begin":24,"end":2099,"name":"JUMPI"},{"begin":24,"end":2099,"name":"DUP1"},{"begin":24,"end":2099,"name":"PUSH","value":"B3F98ADC"},{"begin":24,"end":2099,"name":"EQ"},{"begin":24,"end":2099,"name":"PUSH [tag]","value":"5"},{"begin":24,"end":2099,"name":"JUMPI"},{"begin":24,"end":2099,"name":"tag","value":"1"},{"begin":24,"end":2099,"name":"JUMPDEST"},{"begin":24,"end":2099,"name":"PUSH [ErrorTag]"},{"begin":24,"end":2099,"name":"JUMP"},{"begin":845,"end":1391,"name":"tag","value":"2"},{"begin":845,"end":1391,"name":"JUMPDEST"},{"begin":845,"end":1391,"name":"CALLVALUE"},{"begin":845,"end":1391,"name":"PUSH [ErrorTag]"},{"begin":845,"end":1391,"name":"JUMPI"},{"begin":845,"end":1391,"name":"PUSH [tag]","value":"6"},{"begin":845,"end":1391,"name":"PUSH","value":"4"},{"begin":845,"end":1391,"name":"CALLDATALOAD"},{"begin":-1,"end":-1,"name":"PUSH","value":"1"},{"begin":-1,"end":-1,"name":"PUSH","value":"A0"},{"begin":-1,"end":-1,"name":"PUSH","value":"2"},{"begin":-1,"end":-1,"name":"EXP"},{"begin":-1,"end":-1,"name":"SUB"},{"begin":907,"end":917,"name":"CALLER"},{"begin":900,"end":918,"name":"AND"},{"begin":885,"end":897,"name":"PUSH","value":"0"},{"begin":900,"end":918,"name":"SWAP1"},{"begin":900,"end":918,"name":"DUP2"},{"begin":900,"end":918,"name":"MSTORE"},{"begin":900,"end":906,"name":"PUSH","value":"1"},{"begin":900,"end":918,"name":"PUSH","value":"20"},{"begin":900,"end":918,"name":"DUP2"},{"begin":900,"end":918,"name":"SWAP1"},{"begin":900,"end":918,"name":"MSTORE"},{"begin":900,"end":918,"name":"PUSH","value":"40"},{"begin":900,"end":918,"name":"DUP3"},{"begin":900,"end":918,"name":"SHA3"},{"begin":953,"end":965,"name":"SWAP1"},{"begin":953,"end":965,"name":"DUP2"},{"begin":953,"end":965,"name":"ADD"},{"begin":953,"end":965,"name":"SLOAD"},{"begin":900,"end":918,"name":"SWAP1"},{"begin":900,"end":918,"name":"SWAP2"},{"begin":885,"end":897,"name":"SWAP1"},{"begin":953,"end":965,"name":"PUSH","value":"FF"},{"begin":953,"end":965,"name":"AND"},{"begin":949,"end":974,"name":"ISZERO"},{"begin":949,"end":974,"name":"PUSH [tag]","value":"15"},{"begin":949,"end":974,"name":"JUMPI"},{"begin":967,"end":974,"name":"PUSH [tag]","value":"22"},{"begin":967,"end":974,"name":"JUMP"},{"begin":1718,"end":2097,"name":"tag","value":"3"},{"begin":1718,"end":2097,"name":"JUMPDEST"},{"begin":1718,"end":2097,"name":"CALLVALUE"},{"begin":1718,"end":2097,"name":"PUSH [ErrorTag]"},{"begin":1718,"end":2097,"name":"JUMPI"},{"begin":1718,"end":2097,"name":"PUSH [tag]","value":"8"},{"begin":1763,"end":1784,"name":"PUSH","value":"0"},{"begin":1763,"end":1784,"name":"DUP1"},{"begin":1763,"end":1784,"name":"DUP1"},{"begin":1834,"end":2091,"name":"tag","value":"24"},{"begin":1834,"end":2091,"name":"JUMPDEST"},{"begin":1870,"end":1879,"name":"PUSH","value":"2"},{"begin":1870,"end":1886,"name":"SLOAD"},{"begin":1859,"end":1886,"name":"PUSH","value":"FF"},{"begin":1859,"end":1886,"name":"DUP3"},{"begin":1859,"end":1886,"name":"AND"},{"begin":1859,"end":1886,"name":"LT"},{"begin":1834,"end":2091,"name":"ISZERO"},{"begin":1834,"end":2091,"name":"PUSH [tag]","value":"25"},{"begin":1834,"end":2091,"name":"JUMPI"},{"begin":1948,"end":1964,"name":"DUP2"},{"begin":1916,"end":1925,"name":"PUSH","value":"2"},{"begin":1916,"end":1925,"name":"PUSH","value":"0"},{"begin":1916,"end":1925,"name":"POP"},{"begin":1926,"end":1934,"name":"DUP3"},{"begin":1916,"end":1935,"name":"PUSH","value":"FF"},{"begin":1916,"end":1935,"name":"AND"},{"begin":1916,"end":1935,"name":"DUP2"},{"begin":1916,"end":1935,"name":"SLOAD"},{"begin":1916,"end":1935,"name":"DUP2"},{"begin":1916,"end":1935,"name":"LT"},{"begin":1916,"end":1935,"name":"ISZERO"},{"begin":1916,"end":1935,"name":"PUSH [ErrorTag]"},{"begin":1916,"end":1935,"name":"JUMPI"},{"begin":1916,"end":1935,"name":"PUSH","value":"0"},{"begin":1916,"end":1935,"name":"SWAP2"},{"begin":1916,"end":1935,"name":"DUP3"},{"begin":1916,"end":1935,"name":"MSTORE"},{"begin":1916,"end":1935,"name":"PUSH","value":"20"},{"begin":1916,"end":1935,"name":"SWAP1"},{"begin":1916,"end":1935,"name":"SWAP2"},{"begin":1916,"end":1935,"name":"SHA3"},{"begin":1916,"end":1935,"name":"ADD"},{"begin":1916,"end":1945,"name":"SLOAD"},{"begin":1916,"end":1964,"name":"GT"},{"begin":1912,"end":2091,"name":"ISZERO"},{"begin":1912,"end":2091,"name":"PUSH [tag]","value":"28"},{"begin":1912,"end":2091,"name":"JUMPI"},{"begin":2003,"end":2012,"name":"PUSH","value":"2"},{"begin":2003,"end":2022,"name":"DUP1"},{"begin":2003,"end":2022,"name":"SLOAD"},{"begin":2003,"end":2022,"name":"PUSH","value":"FF"},{"begin":2003,"end":2022,"name":"DUP4"},{"begin":2003,"end":2022,"name":"AND"},{"begin":2003,"end":2022,"name":"SWAP1"},{"begin":2003,"end":2022,"name":"DUP2"},{"begin":2003,"end":2022,"name":"LT"},{"begin":2003,"end":2022,"name":"ISZERO"},{"begin":2003,"end":2022,"name":"PUSH [ErrorTag]"},{"begin":2003,"end":2022,"name":"JUMPI"},{"begin":2003,"end":2022,"name":"PUSH","value":"0"},{"begin":2003,"end":2022,"name":"SWAP2"},{"begin":2003,"end":2022,"name":"DUP3"},{"begin":2003,"end":2022,"name":"MSTORE"},{"begin":2003,"end":2022,"name":"PUSH","value":"20"},{"begin":2003,"end":2022,"name":"SWAP1"},{"begin":2003,"end":2022,"name":"SWAP2"},{"begin":2003,"end":2022,"name":"SHA3"},{"begin":2003,"end":2022,"name":"ADD"},{"begin":2003,"end":2032,"name":"SLOAD"},{"begin":2068,"end":2076,"name":"SWAP1"},{"begin":2068,"end":2076,"name":"SWAP3"},{"begin":-1,"end":-1,"name":"POP"},{"begin":2003,"end":2032,"name":"SWAP1"},{"begin":-1,"end":-1,"name":"POP"},{"begin":2068,"end":2076,"name":"DUP2"},{"begin":1912,"end":2091,"name":"tag","value":"28"},{"begin":1912,"end":2091,"name":"JUMPDEST"},{"begin":1888,"end":1898,"name":"PUSH","value":"1"},{"begin":1888,"end":1898,"name":"ADD"},{"begin":1834,"end":2091,"name":"PUSH [tag]","value":"24"},{"begin":1834,"end":2091,"name":"JUMP"},{"begin":641,"end":792,"name":"tag","value":"4"},{"begin":641,"end":792,"name":"JUMPDEST"},{"begin":641,"end":792,"name":"CALLVALUE"},{"begin":641,"end":792,"name":"PUSH [ErrorTag]"},{"begin":641,"end":792,"name":"JUMPI"},{"begin":641,"end":792,"name":"PUSH [tag]","value":"6"},{"begin":641,"end":792,"name":"PUSH","value":"4"},{"begin":641,"end":792,"name":"CALLDATALOAD"},{"begin":709,"end":720,"name":"PUSH","value":"0"},{"begin":709,"end":720,"name":"SLOAD"},{"begin":695,"end":705,"name":"CALLER"},{"begin":-1,"end":-1,"name":"PUSH","value":"1"},{"begin":-1,"end":-1,"name":"PUSH","value":"A0"},{"begin":-1,"end":-1,"name":"PUSH","value":"2"},{"begin":-1,"end":-1,"name":"EXP"},{"begin":-1,"end":-1,"name":"SUB"},{"begin":695,"end":720,"name":"SWAP1"},{"begin":695,"end":720,"name":"DUP2"},{"begin":695,"end":720,"name":"AND"},{"begin":709,"end":720,"name":"SWAP2"},{"begin":709,"end":720,"name":"AND"},{"begin":695,"end":720,"name":"EQ"},{"begin":695,"end":720,"name":"ISZERO"},{"begin":695,"end":720,"name":"DUP1"},{"begin":695,"end":743,"name":"PUSH [tag]","value":"31"},{"begin":695,"end":743,"name":"JUMPI"},{"begin":-1,"end":-1,"name":"POP"},{"begin":-1,"end":-1,"name":"PUSH","value":"1"},{"begin":-1,"end":-1,"name":"PUSH","value":"A0"},{"begin":-1,"end":-1,"name":"PUSH","value":"2"},{"begin":-1,"end":-1,"name":"EXP"},{"begin":-1,"end":-1,"name":"SUB"},{"begin":724,"end":737,"name":"DUP2"},{"begin":724,"end":737,"name":"AND"},{"begin":724,"end":730,"name":"PUSH","value":"0"},{"begin":724,"end":737,"name":"SWAP1"},{"begin":724,"end":737,"name":"DUP2"},{"begin":724,"end":737,"name":"MSTORE"},{"begin":724,"end":730,"name":"PUSH","value":"1"},{"begin":724,"end":737,"name":"PUSH","value":"20"},{"begin":724,"end":737,"name":"DUP2"},{"begin":724,"end":737,"name":"SWAP1"},{"begin":724,"end":737,"name":"MSTORE"},{"begin":724,"end":737,"name":"PUSH","value":"40"},{"begin":724,"end":737,"name":"SWAP1"},{"begin":724,"end":737,"name":"SWAP2"},{"begin":724,"end":737,"name":"SHA3"},{"begin":724,"end":743,"name":"ADD"},{"begin":724,"end":743,"name":"SLOAD"},{"begin":724,"end":743,"name":"PUSH","value":"FF"},{"begin":724,"end":743,"name":"AND"},{"begin":695,"end":743,"name":"tag","value":"31"},{"begin":695,"end":743,"name":"JUMPDEST"},{"begin":691,"end":752,"name":"ISZERO"},{"begin":691,"end":752,"name":"PUSH [tag]","value":"32"},{"begin":691,"end":752,"name":"JUMPI"},{"begin":745,"end":752,"name":"PUSH [tag]","value":"30"},{"begin":745,"end":752,"name":"JUMP"},{"begin":1449,"end":1712,"name":"tag","value":"5"},{"begin":1449,"end":1712,"name":"JUMPDEST"},{"begin":1449,"end":1712,"name":"CALLVALUE"},{"begin":1449,"end":1712,"name":"PUSH [ErrorTag]"},{"begin":1449,"end":1712,"name":"JUMPI"},{"begin":1449,"end":1712,"name":"PUSH [tag]","value":"6"},{"begin":1449,"end":1712,"name":"PUSH","value":"4"},{"begin":1449,"end":1712,"name":"CALLDATALOAD"},{"begin":-1,"end":-1,"name":"PUSH","value":"1"},{"begin":-1,"end":-1,"name":"PUSH","value":"A0"},{"begin":-1,"end":-1,"name":"PUSH","value":"2"},{"begin":-1,"end":-1,"name":"EXP"},{"begin":-1,"end":-1,"name":"SUB"},{"begin":1511,"end":1521,"name":"CALLER"},{"begin":1504,"end":1522,"name":"AND"},{"begin":1489,"end":1501,"name":"PUSH","value":"0"},{"begin":1504,"end":1522,"name":"SWAP1"},{"begin":1504,"end":1522,"name":"DUP2"},{"begin":1504,"end":1522,"name":"MSTORE"},{"begin":1504,"end":1510,"name":"PUSH","value":"1"},{"begin":1504,"end":1522,"name":"PUSH","value":"20"},{"begin":1504,"end":1522,"name":"DUP2"},{"begin":1504,"end":1522,"name":"SWAP1"},{"begin":1504,"end":1522,"name":"MSTORE"},{"begin":1504,"end":1522,"name":"PUSH","value":"40"},{"begin":1504,"end":1522,"name":"SWAP1"},{"begin":1504,"end":1522,"name":"SWAP2"},{"begin":1504,"end":1522,"name":"SHA3"},{"begin":1536,"end":1548,"name":"SWAP1"},{"begin":1536,"end":1548,"name":"DUP2"},{"begin":1536,"end":1548,"name":"ADD"},{"begin":1536,"end":1548,"name":"SLOAD"},{"begin":1536,"end":1548,"name":"PUSH","value":"FF"},{"begin":1536,"end":1548,"name":"AND"},{"begin":1536,"end":1548,"name":"DUP1"},{"begin":1536,"end":1580,"name":"PUSH [tag]","value":"34"},{"begin":1536,"end":1580,"name":"JUMPI"},{"begin":-1,"end":-1,"name":"POP"},{"begin":1564,"end":1573,"name":"PUSH","value":"2"},{"begin":1564,"end":1580,"name":"SLOAD"},{"begin":1552,"end":1580,"name":"PUSH","value":"FF"},{"begin":1552,"end":1580,"name":"DUP4"},{"begin":1552,"end":1580,"name":"AND"},{"begin":1552,"end":1580,"name":"LT"},{"begin":1552,"end":1580,"name":"ISZERO"},{"begin":1536,"end":1580,"name":"tag","value":"34"},{"begin":1536,"end":1580,"name":"JUMPDEST"},{"begin":1532,"end":1589,"name":"ISZERO"},{"begin":1532,"end":1589,"name":"PUSH [tag]","value":"35"},{"begin":1532,"end":1589,"name":"JUMPI"},{"begin":1582,"end":1589,"name":"PUSH [tag]","value":"33"},{"begin":1582,"end":1589,"name":"JUMP"},{"begin":845,"end":1391,"name":"tag","value":"6"},{"begin":845,"end":1391,"name":"JUMPDEST"},{"begin":845,"end":1391,"name":"STOP"},{"begin":1718,"end":2097,"name":"tag","value":"8"},{"begin":1718,"end":2097,"name":"JUMPDEST"},{"begin":1718,"end":2097,"name":"PUSH","value":"40"},{"begin":1718,"end":2097,"name":"DUP1"},{"begin":1718,"end":2097,"name":"MLOAD"},{"begin":1718,"end":2097,"name":"PUSH","value":"FF"},{"begin":1718,"end":2097,"name":"SWAP1"},{"begin":1718,"end":2097,"name":"SWAP3"},{"begin":1718,"end":2097,"name":"AND"},{"begin":1718,"end":2097,"name":"DUP3"},{"begin":1718,"end":2097,"name":"MSTORE"},{"begin":1718,"end":2097,"name":"MLOAD"},{"begin":1718,"end":2097,"name":"SWAP1"},{"begin":1718,"end":2097,"name":"DUP2"},{"begin":1718,"end":2097,"name":"SWAP1"},{"begin":1718,"end":2097,"name":"SUB"},{"begin":1718,"end":2097,"name":"PUSH","value":"20"},{"begin":1718,"end":2097,"name":"ADD"},{"begin":1718,"end":2097,"name":"SWAP1"},{"begin":1718,"end":2097,"name":"RETURN"},{"begin":949,"end":974,"name":"tag","value":"15"},{"begin":949,"end":974,"name":"JUMPDEST"},{"begin":983,"end":1098,"name":"tag","value":"16"},{"begin":983,"end":1098,"name":"JUMPDEST"},{"begin":-1,"end":-1,"name":"PUSH","value":"1"},{"begin":-1,"end":-1,"name":"PUSH","value":"A0"},{"begin":-1,"end":-1,"name":"PUSH","value":"2"},{"begin":-1,"end":-1,"name":"EXP"},{"begin":-1,"end":-1,"name":"SUB"},{"begin":990,"end":1000,"name":"DUP4"},{"begin":990,"end":1000,"name":"DUP2"},{"begin":990,"end":1000,"name":"AND"},{"begin":1021,"end":1022,"name":"PUSH","value":"0"},{"begin":990,"end":1000,"name":"SWAP1"},{"begin":990,"end":1000,"name":"DUP2"},{"begin":990,"end":1000,"name":"MSTORE"},{"begin":990,"end":996,"name":"PUSH","value":"1"},{"begin":990,"end":1000,"name":"PUSH","value":"20"},{"begin":990,"end":1000,"name":"DUP2"},{"begin":990,"end":1000,"name":"SWAP1"},{"begin":990,"end":1000,"name":"MSTORE"},{"begin":990,"end":1000,"name":"PUSH","value":"40"},{"begin":990,"end":1000,"name":"SWAP1"},{"begin":990,"end":1000,"name":"SWAP2"},{"begin":990,"end":1000,"name":"SHA3"},{"begin":990,"end":1009,"name":"ADD"},{"begin":990,"end":1009,"name":"SLOAD"},{"begin":990,"end":1009,"name":"PUSH","value":"10000"},{"begin":990,"end":1009,"name":"SWAP1"},{"begin":990,"end":1009,"name":"DIV"},{"begin":990,"end":1009,"name":"AND"},{"begin":990,"end":1023,"name":"ISZERO"},{"begin":990,"end":1023,"name":"DUP1"},{"begin":990,"end":1023,"name":"ISZERO"},{"begin":990,"end":1023,"name":"SWAP1"},{"begin":990,"end":1060,"name":"PUSH [tag]","value":"18"},{"begin":990,"end":1060,"name":"JUMPI"},{"begin":-1,"end":-1,"name":"POP"},{"begin":-1,"end":-1,"name":"PUSH","value":"1"},{"begin":-1,"end":-1,"name":"PUSH","value":"A0"},{"begin":-1,"end":-1,"name":"PUSH","value":"2"},{"begin":-1,"end":-1,"name":"EXP"},{"begin":-1,"end":-1,"name":"SUB"},{"begin":1027,"end":1037,"name":"DUP4"},{"begin":1027,"end":1037,"name":"DUP2"},{"begin":1027,"end":1037,"name":"AND"},{"begin":1027,"end":1033,"name":"PUSH","value":"0"},{"begin":1027,"end":1037,"name":"SWAP1"},{"begin":1027,"end":1037,"name":"DUP2"},{"begin":1027,"end":1037,"name":"MSTORE"},{"begin":1027,"end":1033,"name":"PUSH","value":"1"},{"begin":1027,"end":1037,"name":"PUSH","value":"20"},{"begin":1027,"end":1037,"name":"DUP2"},{"begin":1027,"end":1037,"name":"SWAP1"},{"begin":1027,"end":1037,"name":"MSTORE"},{"begin":1027,"end":1037,"name":"PUSH","value":"40"},{"begin":1027,"end":1037,"name":"SWAP1"},{"begin":1027,"end":1037,"name":"SWAP2"},{"begin":1027,"end":1037,"name":"SHA3"},{"begin":1027,"end":1046,"name":"ADD"},{"begin":1027,"end":1046,"name":"SLOAD"},{"begin":1027,"end":1046,"name":"PUSH","value":"10000"},{"begin":1027,"end":1046,"name":"SWAP1"},{"begin":1027,"end":1046,"name":"DIV"},{"begin":1027,"end":1046,"name":"DUP2"},{"begin":1027,"end":1046,"name":"AND"},{"begin":1050,"end":1060,"name":"CALLER"},{"begin":1027,"end":1060,"name":"SWAP2"},{"begin":1027,"end":1060,"name":"SWAP1"},{"begin":1027,"end":1060,"name":"SWAP2"},{"begin":1027,"end":1060,"name":"AND"},{"begin":1027,"end":1060,"name":"EQ"},{"begin":1027,"end":1060,"name":"ISZERO"},{"begin":990,"end":1060,"name":"tag","value":"18"},{"begin":990,"end":1060,"name":"JUMPDEST"},{"begin":983,"end":1098,"name":"ISZERO"},{"begin":983,"end":1098,"name":"PUSH [tag]","value":"17"},{"begin":983,"end":1098,"name":"JUMPI"},{"begin":-1,"end":-1,"name":"PUSH","value":"1"},{"begin":-1,"end":-1,"name":"PUSH","value":"A0"},{"begin":-1,"end":-1,"name":"PUSH","value":"2"},{"begin":-1,"end":-1,"name":"EXP"},{"begin":-1,"end":-1,"name":"SUB"},{"begin":1079,"end":1089,"name":"SWAP3"},{"begin":1079,"end":1089,"name":"DUP4"},{"begin":1079,"end":1089,"name":"AND"},{"begin":1079,"end":1085,"name":"PUSH","value":"0"},{"begin":1079,"end":1089,"name":"SWAP1"},{"begin":1079,"end":1089,"name":"DUP2"},{"begin":1079,"end":1089,"name":"MSTORE"},{"begin":1079,"end":1085,"name":"PUSH","value":"1"},{"begin":1079,"end":1089,"name":"PUSH","value":"20"},{"begin":1079,"end":1089,"name":"DUP2"},{"begin":1079,"end":1089,"name":"SWAP1"},{"begin":1079,"end":1089,"name":"MSTORE"},{"begin":1079,"end":1089,"name":"PUSH","value":"40"},{"begin":1079,"end":1089,"name":"SWAP1"},{"begin":1079,"end":1089,"name":"SWAP2"},{"begin":1079,"end":1089,"name":"SHA3"},{"begin":1079,"end":1098,"name":"ADD"},{"begin":1079,"end":1098,"name":"SLOAD"},{"begin":1079,"end":1098,"name":"PUSH","value":"10000"},{"begin":1079,"end":1098,"name":"SWAP1"},{"begin":1079,"end":1098,"name":"DIV"},{"begin":1079,"end":1098,"name":"SWAP1"},{"begin":1079,"end":1098,"name":"SWAP3"},{"begin":1079,"end":1098,"name":"AND"},{"begin":1079,"end":1098,"name":"SWAP2"},{"begin":983,"end":1098,"name":"PUSH [tag]","value":"16"},{"begin":983,"end":1098,"name":"JUMP"},{"begin":983,"end":1098,"name":"tag","value":"17"},{"begin":983,"end":1098,"name":"JUMPDEST"},{"begin":1118,"end":1128,"name":"CALLER"},{"begin":-1,"end":-1,"name":"PUSH","value":"1"},{"begin":-1,"end":-1,"name":"PUSH","value":"A0"},{"begin":-1,"end":-1,"name":"PUSH","value":"2"},{"begin":-1,"end":-1,"name":"EXP"},{"begin":-1,"end":-1,"name":"SUB"},{"begin":1112,"end":1128,"name":"AND"},{"begin":1112,"end":1114,"name":"DUP4"},{"begin":-1,"end":-1,"name":"PUSH","value":"1"},{"begin":-1,"end":-1,"name":"PUSH","value":"A0"},{"begin":-1,"end":-1,"name":"PUSH","value":"2"},{"begin":-1,"end":-1,"name":"EXP"},{"begin":-1,"end":-1,"name":"SUB"},{"begin":1112,"end":1128,"name":"AND"},{"begin":1112,"end":1128,"name":"EQ"},{"begin":1108,"end":1137,"name":"ISZERO"},{"begin":1108,"end":1137,"name":"PUSH [tag]","value":"19"},{"begin":1108,"end":1137,"name":"JUMPI"},{"begin":1130,"end":1137,"name":"PUSH [tag]","value":"22"},{"begin":1130,"end":1137,"name":"JUMP"},{"begin":1108,"end":1137,"name":"tag","value":"19"},{"begin":1108,"end":1137,"name":"JUMPDEST"},{"begin":-1,"end":-1,"name":"POP"},{"begin":1161,"end":1165,"name":"PUSH","value":"1"},{"begin":1146,"end":1158,"name":"DUP2"},{"begin":1146,"end":1158,"name":"DUP2"},{"begin":1146,"end":1158,"name":"ADD"},{"begin":1146,"end":1165,"name":"DUP1"},{"begin":1146,"end":1165,"name":"SLOAD"},{"begin":-1,"end":-1,"name":"PUSH","value":"FF"},{"begin":-1,"end":-1,"name":"NOT"},{"begin":1146,"end":1165,"name":"AND"},{"begin":1146,"end":1165,"name":"DUP3"},{"begin":1146,"end":1165,"name":"OR"},{"begin":-1,"end":-1,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF0000"},{"begin":-1,"end":-1,"name":"NOT"},{"begin":1175,"end":1195,"name":"AND"},{"begin":1175,"end":1195,"name":"PUSH","value":"10000"},{"begin":1175,"end":1195,"name":"PUSH","value":"1000000000000000000000000"},{"begin":1175,"end":1195,"name":"DUP7"},{"begin":1175,"end":1195,"name":"DUP2"},{"begin":1175,"end":1195,"name":"MUL"},{"begin":1175,"end":1195,"name":"DIV"},{"begin":1175,"end":1195,"name":"MUL"},{"begin":1175,"end":1195,"name":"OR"},{"begin":1175,"end":1195,"name":"SWAP1"},{"begin":1175,"end":1195,"name":"SSTORE"},{"begin":-1,"end":-1,"name":"PUSH","value":"1"},{"begin":-1,"end":-1,"name":"PUSH","value":"A0"},{"begin":-1,"end":-1,"name":"PUSH","value":"2"},{"begin":-1,"end":-1,"name":"EXP"},{"begin":-1,"end":-1,"name":"SUB"},{"begin":1222,"end":1232,"name":"DUP4"},{"begin":1222,"end":1232,"name":"AND"},{"begin":-1,"end":-1,"name":"PUSH","value":"0"},{"begin":1222,"end":1232,"name":"SWAP1"},{"begin":1222,"end":1232,"name":"DUP2"},{"begin":1222,"end":1232,"name":"MSTORE"},{"begin":1222,"end":1232,"name":"PUSH","value":"20"},{"begin":1222,"end":1232,"name":"DUP3"},{"begin":1222,"end":1232,"name":"SWAP1"},{"begin":1222,"end":1232,"name":"MSTORE"},{"begin":1222,"end":1232,"name":"PUSH","value":"40"},{"begin":1222,"end":1232,"name":"SWAP1"},{"begin":1222,"end":1232,"name":"SHA3"},{"begin":1246,"end":1260,"name":"SWAP1"},{"begin":1246,"end":1260,"name":"DUP2"},{"begin":1246,"end":1260,"name":"ADD"},{"begin":1246,"end":1260,"name":"SLOAD"},{"begin":1146,"end":1165,"name":"PUSH","value":"FF"},{"begin":1246,"end":1260,"name":"AND"},{"begin":1242,"end":1384,"name":"ISZERO"},{"begin":1242,"end":1384,"name":"PUSH [tag]","value":"20"},{"begin":1242,"end":1384,"name":"JUMPI"},{"begin":1312,"end":1325,"name":"DUP2"},{"begin":1312,"end":1325,"name":"SLOAD"},{"begin":1284,"end":1297,"name":"PUSH","value":"1"},{"begin":1284,"end":1297,"name":"DUP3"},{"begin":1284,"end":1297,"name":"ADD"},{"begin":1284,"end":1297,"name":"SLOAD"},{"begin":1274,"end":1283,"name":"PUSH","value":"2"},{"begin":1274,"end":1298,"name":"DUP1"},{"begin":1274,"end":1298,"name":"SLOAD"},{"begin":1274,"end":1283,"name":"SWAP1"},{"begin":1274,"end":1283,"name":"SWAP2"},{"begin":1284,"end":1297,"name":"PUSH","value":"100"},{"begin":1284,"end":1297,"name":"SWAP1"},{"begin":1284,"end":1297,"name":"DIV"},{"begin":1284,"end":1297,"name":"PUSH","value":"FF"},{"begin":1284,"end":1297,"name":"AND"},{"begin":1284,"end":1297,"name":"SWAP1"},{"begin":1274,"end":1298,"name":"DUP2"},{"begin":1274,"end":1298,"name":"LT"},{"begin":1274,"end":1298,"name":"ISZERO"},{"begin":1274,"end":1298,"name":"PUSH [ErrorTag]"},{"begin":1274,"end":1298,"name":"JUMPI"},{"begin":1274,"end":1298,"name":"SWAP1"},{"begin":1274,"end":1298,"name":"PUSH","value":"0"},{"begin":1274,"end":1298,"name":"MSTORE"},{"begin":1274,"end":1298,"name":"PUSH","value":"20"},{"begin":1274,"end":1298,"name":"PUSH","value":"0"},{"begin":1274,"end":1298,"name":"SHA3"},{"begin":1274,"end":1298,"name":"SWAP1"},{"begin":1274,"end":1298,"name":"ADD"},{"begin":1274,"end":1298,"name":"PUSH","value":"0"},{"begin":-1,"end":-1,"name":"POP"},{"begin":1274,"end":1325,"name":"DUP1"},{"begin":1274,"end":1325,"name":"SLOAD"},{"begin":1274,"end":1325,"name":"SWAP1"},{"begin":1274,"end":1325,"name":"SWAP2"},{"begin":1274,"end":1325,"name":"ADD"},{"begin":1274,"end":1325,"name":"SWAP1"},{"begin":1274,"end":1325,"name":"SSTORE"},{"begin":1242,"end":1384,"name":"PUSH [tag]","value":"22"},{"begin":1242,"end":1384,"name":"JUMP"},{"begin":1242,"end":1384,"name":"tag","value":"20"},{"begin":1242,"end":1384,"name":"JUMPDEST"},{"begin":1371,"end":1384,"name":"DUP2"},{"begin":1371,"end":1384,"name":"SLOAD"},{"begin":1352,"end":1384,"name":"DUP2"},{"begin":1352,"end":1384,"name":"SLOAD"},{"begin":1352,"end":1384,"name":"ADD"},{"begin":1352,"end":1384,"name":"DUP2"},{"begin":1352,"end":1384,"name":"SSTORE"},{"begin":1242,"end":1384,"name":"tag","value":"22"},{"begin":1242,"end":1384,"name":"JUMPDEST"},{"begin":845,"end":1391,"name":"POP"},{"begin":845,"end":1391,"name":"POP"},{"begin":845,"end":1391,"name":"POP"},{"begin":845,"end":1391,"name":"JUMP","value":"[out]"},{"begin":1834,"end":2091,"name":"tag","value":"25"},{"begin":1834,"end":2091,"name":"JUMPDEST"},{"begin":1718,"end":2097,"name":"POP"},{"begin":1718,"end":2097,"name":"POP"},{"begin":1718,"end":2097,"name":"SWAP1"},{"begin":1718,"end":2097,"name":"JUMP","value":"[out]"},{"begin":691,"end":752,"name":"tag","value":"32"},{"begin":691,"end":752,"name":"JUMPDEST"},{"begin":-1,"end":-1,"name":"PUSH","value":"1"},{"begin":-1,"end":-1,"name":"PUSH","value":"A0"},{"begin":-1,"end":-1,"name":"PUSH","value":"2"},{"begin":-1,"end":-1,"name":"EXP"},{"begin":-1,"end":-1,"name":"SUB"},{"begin":761,"end":774,"name":"DUP2"},{"begin":761,"end":774,"name":"AND"},{"begin":761,"end":767,"name":"PUSH","value":"0"},{"begin":761,"end":774,"name":"SWAP1"},{"begin":761,"end":774,"name":"DUP2"},{"begin":761,"end":774,"name":"MSTORE"},{"begin":784,"end":785,"name":"PUSH","value":"1"},{"begin":761,"end":774,"name":"PUSH","value":"20"},{"begin":761,"end":774,"name":"DUP2"},{"begin":761,"end":774,"name":"SWAP1"},{"begin":761,"end":774,"name":"MSTORE"},{"begin":761,"end":774,"name":"PUSH","value":"40"},{"begin":761,"end":774,"name":"SWAP1"},{"begin":761,"end":774,"name":"SWAP2"},{"begin":761,"end":774,"name":"SHA3"},{"begin":761,"end":785,"name":"SSTORE"},{"begin":641,"end":792,"name":"tag","value":"30"},{"begin":641,"end":792,"name":"JUMPDEST"},{"begin":641,"end":792,"name":"POP"},{"begin":641,"end":792,"name":"JUMP","value":"[out]"},{"begin":1532,"end":1589,"name":"tag","value":"35"},{"begin":1532,"end":1589,"name":"JUMPDEST"},{"begin":1613,"end":1617,"name":"PUSH","value":"1"},{"begin":1598,"end":1610,"name":"DUP2"},{"begin":1598,"end":1610,"name":"DUP2"},{"begin":1598,"end":1610,"name":"ADD"},{"begin":1598,"end":1617,"name":"DUP1"},{"begin":1598,"end":1617,"name":"SLOAD"},{"begin":-1,"end":-1,"name":"PUSH","value":"FF"},{"begin":-1,"end":-1,"name":"NOT"},{"begin":1598,"end":1617,"name":"AND"},{"begin":1598,"end":1617,"name":"SWAP1"},{"begin":1598,"end":1617,"name":"SWAP2"},{"begin":1598,"end":1617,"name":"OR"},{"begin":-1,"end":-1,"name":"PUSH","value":"FF00"},{"begin":-1,"end":-1,"name":"NOT"},{"begin":1627,"end":1649,"name":"AND"},{"begin":1598,"end":1617,"name":"PUSH","value":"100"},{"begin":-1,"end":-1,"name":"PUSH","value":"F8"},{"begin":-1,"end":-1,"name":"PUSH","value":"2"},{"begin":-1,"end":-1,"name":"EXP"},{"begin":1627,"end":1649,"name":"DUP6"},{"begin":1627,"end":1649,"name":"DUP2"},{"begin":1627,"end":1649,"name":"MUL"},{"begin":1627,"end":1649,"name":"DIV"},{"begin":1627,"end":1649,"name":"MUL"},{"begin":1627,"end":1649,"name":"OR"},{"begin":1627,"end":1649,"name":"SWAP1"},{"begin":1627,"end":1649,"name":"SSTORE"},{"begin":1692,"end":1705,"name":"DUP1"},{"begin":1692,"end":1705,"name":"SLOAD"},{"begin":1659,"end":1668,"name":"PUSH","value":"2"},{"begin":1659,"end":1678,"name":"DUP1"},{"begin":1659,"end":1678,"name":"SLOAD"},{"begin":1598,"end":1617,"name":"PUSH","value":"FF"},{"begin":1659,"end":1678,"name":"DUP6"},{"begin":1659,"end":1678,"name":"AND"},{"begin":1659,"end":1678,"name":"SWAP1"},{"begin":1659,"end":1678,"name":"DUP2"},{"begin":1659,"end":1678,"name":"LT"},{"begin":1659,"end":1678,"name":"ISZERO"},{"begin":1659,"end":1678,"name":"PUSH [ErrorTag]"},{"begin":1659,"end":1678,"name":"JUMPI"},{"begin":1659,"end":1678,"name":"SWAP1"},{"begin":1659,"end":1678,"name":"PUSH","value":"0"},{"begin":1659,"end":1678,"name":"MSTORE"},{"begin":1659,"end":1678,"name":"PUSH","value":"20"},{"begin":1659,"end":1678,"name":"PUSH","value":"0"},{"begin":1659,"end":1678,"name":"SHA3"},{"begin":1659,"end":1678,"name":"SWAP1"},{"begin":1659,"end":1678,"name":"ADD"},{"begin":1659,"end":1678,"name":"PUSH","value":"0"},{"begin":-1,"end":-1,"name":"POP"},{"begin":1659,"end":1705,"name":"DUP1"},{"begin":1659,"end":1705,"name":"SLOAD"},{"begin":1659,"end":1705,"name":"SWAP1"},{"begin":1659,"end":1705,"name":"SWAP2"},{"begin":1659,"end":1705,"name":"ADD"},{"begin":1659,"end":1705,"name":"SWAP1"},{"begin":1659,"end":1705,"name":"SSTORE"},{"begin":1449,"end":1712,"name":"tag","value":"33"},{"begin":1449,"end":1712,"name":"JUMPDEST"},{"begin":1449,"end":1712,"name":"POP"},{"begin":1449,"end":1712,"name":"POP"},{"begin":1449,"end":1712,"name":"JUMP","value":"[out]"}]}}},"bytecode":"6060604052604051602080610401833950608060405251600080546c0100000000000000000000000033810204600160a060020a031990911617808255600160a060020a03168152600160208190526040909120556002805460ff8316808355919082908015829011608f57600083815260209020608f9181019083015b8082111560a25760008155600101607d565b505050505061035b806100a66000396000f35b509056606060405260e060020a60003504635c19a95c811461003f578063609ff1bd146100785780639e7b8d61146100e2578063b3f98adc14610131575b610002565b3461000257610178600435600160a060020a033316600090815260016020819052604082209081015490919060ff1615610190576102e2565b346100025761017a600080805b60025460ff821610156102e7578160026000508260ff1681548110156100025760009182526020909120015411156100da576002805460ff831690811015610002576000918252602090912001549092509050815b600101610085565b346100025761017860043560005433600160a060020a0390811691161415806101275750600160a060020a0381166000908152600160208190526040909120015460ff165b156102ec57610309565b3461000257610178600435600160a060020a03331660009081526001602081905260409091209081015460ff168061016e575060025460ff831610155b1561030c57610357565b005b6040805160ff9092168252519081900360200190f35b5b600160a060020a038381166000908152600160208190526040909120015462010000900416158015906101ed5750600160a060020a03838116600090815260016020819052604090912001546201000090048116339190911614155b1561021f57600160a060020a039283166000908152600160208190526040909120015462010000900490921691610191565b33600160a060020a031683600160a060020a0316141561023e576102e2565b506001818101805460ff1916821775ffffffffffffffffffffffffffffffffffffffff00001916620100006c010000000000000000000000008681020402179055600160a060020a03831660009081526020829052604090209081015460ff16156102da5781546001820154600280549091610100900460ff1690811015610002579060005260206000209001600050805490910190556102e2565b815481540181555b505050565b505090565b600160a060020a0381166000908152600160208190526040909120555b50565b6001818101805460ff191690911761ff00191661010060f860020a858102040217905580546002805460ff851690811015610002579060005260206000209001600050805490910190555b505056","functionHashes":{"delegate(address)":"5c19a95c","giveRightToVote(address)":"9e7b8d61","vote(uint8)":"b3f98adc","winningProposal()":"609ff1bd"},"gasEstimates":{"creation":[null,171800],"external":{"delegate(address)":null,"giveRightToVote(address)":20593,"vote(uint8)":40884,"winningProposal()":null},"internal":{}},"interface":"[{\"constant\":false,\"inputs\":[{\"name\":\"to\",\"type\":\"address\"}],\"name\":\"delegate\",\"outputs\":[],\"payable\":false,\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"winningProposal\",\"outputs\":[{\"name\":\"winningProposal\",\"type\":\"uint8\"}],\"payable\":false,\"type\":\"function\"},{\"constant\":false,\"inputs\":[{\"name\":\"voter\",\"type\":\"address\"}],\"name\":\"giveRightToVote\",\"outputs\":[],\"payable\":false,\"type\":\"function\"},{\"constant\":false,\"inputs\":[{\"name\":\"proposal\",\"type\":\"uint8\"}],\"name\":\"vote\",\"outputs\":[],\"payable\":false,\"type\":\"function\"},{\"inputs\":[{\"name\":\"_numProposals\",\"type\":\"uint8\"}],\"type\":\"constructor\"}]\n","opcodes":"PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0x40 MLOAD PUSH1 0x20 DUP1 PUSH2 0x401 DUP4 CODECOPY POP PUSH1 0x80 PUSH1 0x40 MSTORE MLOAD PUSH1 0x0 DUP1 SLOAD PUSH13 0x1000000000000000000000000 CALLER DUP2 MUL DIV PUSH1 0x1 PUSH1 0xA0 PUSH1 0x2 EXP SUB NOT SWAP1 SWAP2 AND OR DUP1 DUP3 SSTORE PUSH1 0x1 PUSH1 0xA0 PUSH1 0x2 EXP SUB AND DUP2 MSTORE PUSH1 0x1 PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 SWAP1 SWAP2 SHA3 SSTORE PUSH1 0x2 DUP1 SLOAD PUSH1 0xFF DUP4 AND DUP1 DUP4 SSTORE SWAP2 SWAP1 DUP3 SWAP1 DUP1 ISZERO DUP3 SWAP1 GT PUSH1 0x8F JUMPI PUSH1 0x0 DUP4 DUP2 MSTORE PUSH1 0x20 SWAP1 SHA3 PUSH1 0x8F SWAP2 DUP2 ADD SWAP1 DUP4 ADD JUMPDEST DUP1 DUP3 GT ISZERO PUSH1 0xA2 JUMPI PUSH1 0x0 DUP2 SSTORE PUSH1 0x1 ADD PUSH1 0x7D JUMP JUMPDEST POP POP POP POP POP PUSH2 0x35B DUP1 PUSH2 0xA6 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN JUMPDEST POP SWAP1 JUMP PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0xE0 PUSH1 0x2 EXP PUSH1 0x0 CALLDATALOAD DIV PUSH4 0x5C19A95C DUP2 EQ PUSH2 0x3F JUMPI DUP1 PUSH4 0x609FF1BD EQ PUSH2 0x78 JUMPI DUP1 PUSH4 0x9E7B8D61 EQ PUSH2 0xE2 JUMPI DUP1 PUSH4 0xB3F98ADC EQ PUSH2 0x131 JUMPI JUMPDEST PUSH2 0x2 JUMP JUMPDEST CALLVALUE PUSH2 0x2 JUMPI PUSH2 0x178 PUSH1 0x4 CALLDATALOAD PUSH1 0x1 PUSH1 0xA0 PUSH1 0x2 EXP SUB CALLER AND PUSH1 0x0 SWAP1 DUP2 MSTORE PUSH1 0x1 PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 DUP3 SHA3 SWAP1 DUP2 ADD SLOAD SWAP1 SWAP2 SWAP1 PUSH1 0xFF AND ISZERO PUSH2 0x190 JUMPI PUSH2 0x2E2 JUMP JUMPDEST CALLVALUE PUSH2 0x2 JUMPI PUSH2 0x17A PUSH1 0x0 DUP1 DUP1 JUMPDEST PUSH1 0x2 SLOAD PUSH1 0xFF DUP3 AND LT ISZERO PUSH2 0x2E7 JUMPI DUP2 PUSH1 0x2 PUSH1 0x0 POP DUP3 PUSH1 0xFF AND DUP2 SLOAD DUP2 LT ISZERO PUSH2 0x2 JUMPI PUSH1 0x0 SWAP2 DUP3 MSTORE PUSH1 0x20 SWAP1 SWAP2 SHA3 ADD SLOAD GT ISZERO PUSH2 0xDA JUMPI PUSH1 0x2 DUP1 SLOAD PUSH1 0xFF DUP4 AND SWAP1 DUP2 LT ISZERO PUSH2 0x2 JUMPI PUSH1 0x0 SWAP2 DUP3 MSTORE PUSH1 0x20 SWAP1 SWAP2 SHA3 ADD SLOAD SWAP1 SWAP3 POP SWAP1 POP DUP2 JUMPDEST PUSH1 0x1 ADD PUSH2 0x85 JUMP JUMPDEST CALLVALUE PUSH2 0x2 JUMPI PUSH2 0x178 PUSH1 0x4 CALLDATALOAD PUSH1 0x0 SLOAD CALLER PUSH1 0x1 PUSH1 0xA0 PUSH1 0x2 EXP SUB SWAP1 DUP2 AND SWAP2 AND EQ ISZERO DUP1 PUSH2 0x127 JUMPI POP PUSH1 0x1 PUSH1 0xA0 PUSH1 0x2 EXP SUB DUP2 AND PUSH1 0x0 SWAP1 DUP2 MSTORE PUSH1 0x1 PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 SWAP1 SWAP2 SHA3 ADD SLOAD PUSH1 0xFF AND JUMPDEST ISZERO PUSH2 0x2EC JUMPI PUSH2 0x309 JUMP JUMPDEST CALLVALUE PUSH2 0x2 JUMPI PUSH2 0x178 PUSH1 0x4 CALLDATALOAD PUSH1 0x1 PUSH1 0xA0 PUSH1 0x2 EXP SUB CALLER AND PUSH1 0x0 SWAP1 DUP2 MSTORE PUSH1 0x1 PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 SWAP1 SWAP2 SHA3 SWAP1 DUP2 ADD SLOAD PUSH1 0xFF AND DUP1 PUSH2 0x16E JUMPI POP PUSH1 0x2 SLOAD PUSH1 0xFF DUP4 AND LT ISZERO JUMPDEST ISZERO PUSH2 0x30C JUMPI PUSH2 0x357 JUMP JUMPDEST STOP JUMPDEST PUSH1 0x40 DUP1 MLOAD PUSH1 0xFF SWAP1 SWAP3 AND DUP3 MSTORE MLOAD SWAP1 DUP2 SWAP1 SUB PUSH1 0x20 ADD SWAP1 RETURN JUMPDEST JUMPDEST PUSH1 0x1 PUSH1 0xA0 PUSH1 0x2 EXP SUB DUP4 DUP2 AND PUSH1 0x0 SWAP1 DUP2 MSTORE PUSH1 0x1 PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 SWAP1 SWAP2 SHA3 ADD SLOAD PUSH3 0x10000 SWAP1 DIV AND ISZERO DUP1 ISZERO SWAP1 PUSH2 0x1ED JUMPI POP PUSH1 0x1 PUSH1 0xA0 PUSH1 0x2 EXP SUB DUP4 DUP2 AND PUSH1 0x0 SWAP1 DUP2 MSTORE PUSH1 0x1 PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 SWAP1 SWAP2 SHA3 ADD SLOAD PUSH3 0x10000 SWAP1 DIV DUP2 AND CALLER SWAP2 SWAP1 SWAP2 AND EQ ISZERO JUMPDEST ISZERO PUSH2 0x21F JUMPI PUSH1 0x1 PUSH1 0xA0 PUSH1 0x2 EXP SUB SWAP3 DUP4 AND PUSH1 0x0 SWAP1 DUP2 MSTORE PUSH1 0x1 PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 SWAP1 SWAP2 SHA3 ADD SLOAD PUSH3 0x10000 SWAP1 DIV SWAP1 SWAP3 AND SWAP2 PUSH2 0x191 JUMP JUMPDEST CALLER PUSH1 0x1 PUSH1 0xA0 PUSH1 0x2 EXP SUB AND DUP4 PUSH1 0x1 PUSH1 0xA0 PUSH1 0x2 EXP SUB AND EQ ISZERO PUSH2 0x23E JUMPI PUSH2 0x2E2 JUMP JUMPDEST POP PUSH1 0x1 DUP2 DUP2 ADD DUP1 SLOAD PUSH1 0xFF NOT AND DUP3 OR PUSH22 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF0000 NOT AND PUSH3 0x10000 PUSH13 0x1000000000000000000000000 DUP7 DUP2 MUL DIV MUL OR SWAP1 SSTORE PUSH1 0x1 PUSH1 0xA0 PUSH1 0x2 EXP SUB DUP4 AND PUSH1 0x0 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP3 SWAP1 MSTORE PUSH1 0x40 SWAP1 SHA3 SWAP1 DUP2 ADD SLOAD PUSH1 0xFF AND ISZERO PUSH2 0x2DA JUMPI DUP2 SLOAD PUSH1 0x1 DUP3 ADD SLOAD PUSH1 0x2 DUP1 SLOAD SWAP1 SWAP2 PUSH2 0x100 SWAP1 DIV PUSH1 0xFF AND SWAP1 DUP2 LT ISZERO PUSH2 0x2 JUMPI SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 SHA3 SWAP1 ADD PUSH1 0x0 POP DUP1 SLOAD SWAP1 SWAP2 ADD SWAP1 SSTORE PUSH2 0x2E2 JUMP JUMPDEST DUP2 SLOAD DUP2 SLOAD ADD DUP2 SSTORE JUMPDEST POP POP POP JUMP JUMPDEST POP POP SWAP1 JUMP JUMPDEST PUSH1 0x1 PUSH1 0xA0 PUSH1 0x2 EXP SUB DUP2 AND PUSH1 0x0 SWAP1 DUP2 MSTORE PUSH1 0x1 PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 SWAP1 SWAP2 SHA3 SSTORE JUMPDEST POP JUMP JUMPDEST PUSH1 0x1 DUP2 DUP2 ADD DUP1 SLOAD PUSH1 0xFF NOT AND SWAP1 SWAP2 OR PUSH2 0xFF00 NOT AND PUSH2 0x100 PUSH1 0xF8 PUSH1 0x2 EXP DUP6 DUP2 MUL DIV MUL OR SWAP1 SSTORE DUP1 SLOAD PUSH1 0x2 DUP1 SLOAD PUSH1 0xFF DUP6 AND SWAP1 DUP2 LT ISZERO PUSH2 0x2 JUMPI SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 SHA3 SWAP1 ADD PUSH1 0x0 POP DUP1 SLOAD SWAP1 SWAP2 ADD SWAP1 SSTORE JUMPDEST POP POP JUMP ","runtimeBytecode":"606060405260e060020a60003504635c19a95c811461003f578063609ff1bd146100785780639e7b8d61146100e2578063b3f98adc14610131575b610002565b3461000257610178600435600160a060020a033316600090815260016020819052604082209081015490919060ff1615610190576102e2565b346100025761017a600080805b60025460ff821610156102e7578160026000508260ff1681548110156100025760009182526020909120015411156100da576002805460ff831690811015610002576000918252602090912001549092509050815b600101610085565b346100025761017860043560005433600160a060020a0390811691161415806101275750600160a060020a0381166000908152600160208190526040909120015460ff165b156102ec57610309565b3461000257610178600435600160a060020a03331660009081526001602081905260409091209081015460ff168061016e575060025460ff831610155b1561030c57610357565b005b6040805160ff9092168252519081900360200190f35b5b600160a060020a038381166000908152600160208190526040909120015462010000900416158015906101ed5750600160a060020a03838116600090815260016020819052604090912001546201000090048116339190911614155b1561021f57600160a060020a039283166000908152600160208190526040909120015462010000900490921691610191565b33600160a060020a031683600160a060020a0316141561023e576102e2565b506001818101805460ff1916821775ffffffffffffffffffffffffffffffffffffffff00001916620100006c010000000000000000000000008681020402179055600160a060020a03831660009081526020829052604090209081015460ff16156102da5781546001820154600280549091610100900460ff1690811015610002579060005260206000209001600050805490910190556102e2565b815481540181555b505050565b505090565b600160a060020a0381166000908152600160208190526040909120555b50565b6001818101805460ff191690911761ff00191661010060f860020a858102040217905580546002805460ff851690811015610002579060005260206000209001600050805490910190555b505056","srcmap":"24:2075:0:-;;;373:160;;;;;;;-1:-1:-1;373:160:0;24:2075;373:160;;420:11;:24;;;434:10;420:24;;;-1:-1:-1;;;;;;420:24:0;;;;;;;-1:-1:-1;;;;;461:11:0;454:19;;420:24;454:19;;;;;;;;:30;494:9;:32;;;;;;;;;:9;:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;373:160;24:2075;;;;;;;494:32;;;","srcmapRuntime":"24:2075:0:-;;;-1:-1:-1;;;24:2075:0;;;;;;;;;;;;;;;;;;;;;;;;;;845:546;;;;;;;-1:-1:-1;;;;;907:10:0;900:18;885:12;900:18;;;:6;:18;;;;;;;953:12;;;;900:18;;885:12;953;;949:25;;;967:7;;1718:379;;;;;1763:21;;;1834:257;1870:9;:16;1859:27;;;;1834:257;;;1948:16;1916:9;;;1926:8;1916:19;;;;;;;;;;;;;;;;;;:29;:48;1912:179;;;2003:9;:19;;;;;;;;;;;;;;;;;;;;:29;2068:8;;-1:-1:-1;2003:29:0;-1:-1:-1;2068:8:0;1912:179;1888:10;;1834:257;;641:151;;;;;;;709:11;;695:10;-1:-1:-1;;;;;695:25:0;;;709:11;;695:25;;;:48;;-1:-1:-1;;;;;;724:13:0;;:6;:13;;;:6;:13;;;;;;;;:19;;;;695:48;691:61;;;745:7;;1449:263;;;;;;;-1:-1:-1;;;;;1511:10:0;1504:18;1489:12;1504:18;;;:6;:18;;;;;;;;1536:12;;;;;;;:44;;-1:-1:-1;1564:9:0;:16;1552:28;;;;;1536:44;1532:57;;;1582:7;;845:546;;1718:379;;;;;;;;;;;;;;;;;;;949:25;983:115;-1:-1:-1;;;;;990:10:0;;;1021:1;990:10;;;:6;:10;;;;;;;;:19;;;;;;:33;;;;:70;;-1:-1:-1;;;;;;1027:10:0;;;:6;:10;;;:6;:10;;;;;;;;:19;;;;;;;1050:10;1027:33;;;;;;990:70;983:115;;;-1:-1:-1;;;;;1079:10:0;;;:6;:10;;;:6;:10;;;;;;;;:19;;;;;;;;;983:115;;;1118:10;-1:-1:-1;;;;;1112:16:0;:2;-1:-1:-1;;;;;1112:16:0;;1108:29;;;1130:7;;1108:29;-1:-1:-1;1161:4:0;1146:12;;;:19;;-1:-1:-1;;1146:19:0;;;-1:-1:-1;;1175:20:0;;;;;;;;;;;-1:-1:-1;;;;;1222:10:0;;-1:-1:-1;1222:10:0;;;;;;;;;;1246:14;;;;1146:19;1246:14;1242:142;;;1312:13;;1284;;;;1274:9;:24;;:9;;1284:13;;;;;;1274:24;;;;;;;;;;;;;;-1:-1:-1;1274:51:0;;;;;;;1242:142;;;1371:13;;1352:32;;;;;1242:142;845:546;;;:::o;1834:257::-;1718:379;;;:::o;691:61::-;-1:-1:-1;;;;;761:13:0;;:6;:13;;;784:1;761:13;;;;;;;;:24;641:151;;:::o;1532:57::-;1613:4;1598:12;;;:19;;-1:-1:-1;;1598:19:0;;;;-1:-1:-1;;1627:22:0;1598:19;-1:-1:-1;;;1627:22:0;;;;;;;;1692:13;;1659:9;:19;;1598;1659;;;;;;;;;;;;;;;;;-1:-1:-1;1659:46:0;;;;;;;1449:263;;;:::o"}},"formal":{"errors":["Untitled:14:5: Error: Type \"address\" not supported for state variable.\n    address chairperson;\n    ^-----------------^\n"]},"sourceList":["Untitled"],"sources":{"Untitled":{"AST":{"children":[{"attributes":{"literals":["solidity","^","0.4",".0"]},"id":5607148,"name":"PragmaDirective","src":"0:23:0"},{"attributes":{"fullyImplemented":true,"isLibrary":false,"linearizedBaseContracts":[5632428],"name":"Ballot"},"children":[{"attributes":{"name":"Voter"},"children":[{"attributes":{"name":"weight","type":"uint256"},"children":[{"attributes":{"name":"uint"},"id":5607452,"name":"ElementaryTypeName","src":"70:4:0"}],"id":5607212,"name":"VariableDeclaration","src":"70:11:0"},{"attributes":{"name":"voted","type":"bool"},"children":[{"attributes":{"name":"bool"},"id":5607556,"name":"ElementaryTypeName","src":"91:4:0"}],"id":5607644,"name":"VariableDeclaration","src":"91:10:0"},{"attributes":{"name":"vote","type":"uint8"},"children":[{"attributes":{"name":"uint8"},"id":5607748,"name":"ElementaryTypeName","src":"111:5:0"}],"id":5607836,"name":"VariableDeclaration","src":"111:10:0"},{"attributes":{"name":"delegate","type":"address"},"children":[{"attributes":{"name":"address"},"id":5607956,"name":"ElementaryTypeName","src":"131:7:0"}],"id":5608044,"name":"VariableDeclaration","src":"131:16:0"}],"id":5608124,"name":"StructDefinition","src":"47:107:0"},{"attributes":{"name":"Proposal"},"children":[{"attributes":{"name":"voteCount","type":"uint256"},"children":[{"attributes":{"name":"uint"},"id":5608236,"name":"ElementaryTypeName","src":"185:4:0"}],"id":5608324,"name":"VariableDeclaration","src":"185:14:0"}],"id":5608444,"name":"StructDefinition","src":"159:47:0"},{"attributes":{"name":"chairperson","type":"address"},"children":[{"attributes":{"name":"address"},"id":5608532,"name":"ElementaryTypeName","src":"212:7:0"}],"id":5608684,"name":"VariableDeclaration","src":"212:19:0"},{"attributes":{"name":"voters","type":"mapping(address => struct Voter storage ref)"},"children":[{"children":[{"attributes":{"name":"address"},"id":5608804,"name":"ElementaryTypeName","src":"245:7:0"},{"attributes":{"name":"Voter"},"id":5608860,"name":"UserDefinedTypeName","src":"256:5:0"}],"id":5608916,"name":"Mapping","src":"237:25:0"}],"id":5609004,"name":"VariableDeclaration","src":"237:32:0"},{"attributes":{"name":"proposals","type":"struct Proposal storage ref[] storage ref"},"children":[{"children":[{"attributes":{"name":"Proposal"},"id":5609084,"name":"UserDefinedTypeName","src":"275:8:0"}],"id":5609156,"name":"ArrayTypeName","src":"275:10:0"}],"id":5614988,"name":"VariableDeclaration","src":"275:20:0"},{"attributes":{"constant":false,"name":"Ballot","public":true},"children":[{"children":[{"attributes":{"name":"_numProposals","type":"uint8"},"children":[{"attributes":{"name":"uint8"},"id":5615284,"name":"ElementaryTypeName","src":"389:5:0"}],"id":5615372,"name":"VariableDeclaration","src":"389:19:0"}],"id":5615452,"name":"ParameterList","src":"388:21:0"},{"children":[],"id":5615524,"name":"ParameterList","src":"410:0:0"},{"children":[{"children":[{"attributes":{"operator":"=","type":"address"},"children":[{"attributes":{"type":"address","value":"chairperson"},"id":5615636,"name":"Identifier","src":"420:11:0"},{"attributes":{"member_name":"sender","type":"address"},"children":[{"attributes":{"type":"msg","value":"msg"},"id":5615716,"name":"Identifier","src":"434:3:0"}],"id":5615796,"name":"MemberAccess","src":"434:10:0"}],"id":5615852,"name":"Assignment","src":"420:24:0"}],"id":5615916,"name":"ExpressionStatement","src":"420:24:0"},{"children":[{"attributes":{"operator":"=","type":"uint256"},"children":[{"attributes":{"member_name":"weight","type":"uint256"},"children":[{"attributes":{"type":"struct Voter storage ref"},"children":[{"attributes":{"type":"mapping(address => struct Voter storage ref)","value":"voters"},"id":5616004,"name":"Identifier","src":"454:6:0"},{"attributes":{"type":"address","value":"chairperson"},"id":5616124,"name":"Identifier","src":"461:11:0"}],"id":5616204,"name":"IndexAccess","src":"454:19:0"}],"id":5616292,"name":"MemberAccess","src":"454:26:0"},{"attributes":{"hexvalue":"31","subdenomination":null,"token":null,"type":"int_const 1","value":"1"},"id":5616380,"name":"Literal","src":"483:1:0"}],"id":5616436,"name":"Assignment","src":"454:30:0"}],"id":5616500,"name":"ExpressionStatement","src":"454:30:0"},{"children":[{"attributes":{"operator":"=","type":"uint256"},"children":[{"attributes":{"member_name":"length","type":"uint256"},"children":[{"attributes":{"type":"struct Proposal storage ref[] storage ref","value":"proposals"},"id":5616588,"name":"Identifier","src":"494:9:0"}],"id":5616772,"name":"MemberAccess","src":"494:16:0"},{"attributes":{"type":"uint8","value":"_numProposals"},"id":5616884,"name":"Identifier","src":"513:13:0"}],"id":5616932,"name":"Assignment","src":"494:32:0"}],"id":5616996,"name":"ExpressionStatement","src":"494:32:0"}],"id":5615140,"name":"Block","src":"410:123:0"}],"id":5617324,"name":"FunctionDefinition","src":"373:160:0"},{"attributes":{"constant":false,"name":"giveRightToVote","public":true},"children":[{"children":[{"attributes":{"name":"voter","type":"address"},"children":[{"attributes":{"name":"address"},"id":5617468,"name":"ElementaryTypeName","src":"666:7:0"}],"id":5617556,"name":"VariableDeclaration","src":"666:13:0"}],"id":5617636,"name":"ParameterList","src":"665:15:0"},{"children":[],"id":5617692,"name":"ParameterList","src":"681:0:0"},{"children":[{"children":[{"attributes":{"operator":"||","type":"bool"},"children":[{"attributes":{"operator":"!=","type":"bool"},"children":[{"attributes":{"member_name":"sender","type":"address"},"children":[{"attributes":{"type":"msg","value":"msg"},"id":5617780,"name":"Identifier","src":"695:3:0"}],"id":5617860,"name":"MemberAccess","src":"695:10:0"},{"attributes":{"type":"address","value":"chairperson"},"id":5617972,"name":"Identifier","src":"709:11:0"}],"id":5618020,"name":"BinaryOperation","src":"695:25:0"},{"attributes":{"member_name":"voted","type":"bool"},"children":[{"attributes":{"type":"struct Voter storage ref"},"children":[{"attributes":{"type":"mapping(address => struct Voter storage ref)","value":"voters"},"id":5618116,"name":"Identifier","src":"724:6:0"},{"attributes":{"type":"address","value":"voter"},"id":5618196,"name":"Identifier","src":"731:5:0"}],"id":5618244,"name":"IndexAccess","src":"724:13:0"}],"id":5618332,"name":"MemberAccess","src":"724:19:0"}],"id":5618388,"name":"BinaryOperation","src":"695:48:0"},{"children":[],"id":5618452,"name":"Return","src":"745:7:0"}],"id":5618508,"name":"IfStatement","src":"691:61:0"},{"children":[{"attributes":{"operator":"=","type":"uint256"},"children":[{"attributes":{"member_name":"weight","type":"uint256"},"children":[{"attributes":{"type":"struct Voter storage ref"},"children":[{"attributes":{"type":"mapping(address => struct Voter storage ref)","value":"voters"},"id":5618612,"name":"Identifier","src":"761:6:0"},{"attributes":{"type":"address","value":"voter"},"id":5618708,"name":"Identifier","src":"768:5:0"}],"id":5618788,"name":"IndexAccess","src":"761:13:0"}],"id":5618876,"name":"MemberAccess","src":"761:20:0"},{"attributes":{"hexvalue":"31","subdenomination":null,"token":null,"type":"int_const 1","value":"1"},"id":5618964,"name":"Literal","src":"784:1:0"}],"id":5619020,"name":"Assignment","src":"761:24:0"}],"id":5619084,"name":"ExpressionStatement","src":"761:24:0"}],"id":5619140,"name":"Block","src":"681:111:0"}],"id":5619228,"name":"FunctionDefinition","src":"641:151:0"},{"attributes":{"constant":false,"name":"delegate","public":true},"children":[{"children":[{"attributes":{"name":"to","type":"address"},"children":[{"attributes":{"name":"address"},"id":5619436,"name":"ElementaryTypeName","src":"863:7:0"}],"id":5619524,"name":"VariableDeclaration","src":"863:10:0"}],"id":5619604,"name":"ParameterList","src":"862:12:0"},{"children":[],"id":5619660,"name":"ParameterList","src":"875:0:0"},{"children":[{"children":[{"attributes":{"name":"sender","type":"struct Voter storage pointer"},"children":[{"attributes":{"name":"Voter"},"id":5619716,"name":"UserDefinedTypeName","src":"885:5:0"}],"id":5619820,"name":"VariableDeclaration","src":"885:12:0"},{"attributes":{"type":"struct Voter storage ref"},"children":[{"attributes":{"type":"mapping(address => struct Voter storage ref)","value":"voters"},"id":5619932,"name":"Identifier","src":"900:6:0"},{"attributes":{"member_name":"sender","type":"address"},"children":[{"attributes":{"type":"msg","value":"msg"},"id":5620012,"name":"Identifier","src":"907:3:0"}],"id":5620092,"name":"MemberAccess","src":"907:10:0"}],"id":5620148,"name":"IndexAccess","src":"900:18:0"}],"id":5620204,"name":"VariableDefinitionStatement","src":"885:33:0"},{"children":[{"attributes":{"member_name":"voted","type":"bool"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"sender"},"id":5620324,"name":"Identifier","src":"953:6:0"}],"id":5620404,"name":"MemberAccess","src":"953:12:0"},{"children":[],"id":5620460,"name":"Return","src":"967:7:0"}],"id":5620516,"name":"IfStatement","src":"949:25:0"},{"children":[{"attributes":{"operator":"&&","type":"bool"},"children":[{"attributes":{"operator":"!=","type":"bool"},"children":[{"attributes":{"member_name":"delegate","type":"address"},"children":[{"attributes":{"type":"struct Voter storage ref"},"children":[{"attributes":{"type":"mapping(address => struct Voter storage ref)","value":"voters"},"id":5620644,"name":"Identifier","src":"990:6:0"},{"attributes":{"type":"address","value":"to"},"id":5620724,"name":"Identifier","src":"997:2:0"}],"id":5620772,"name":"IndexAccess","src":"990:10:0"}],"id":5620860,"name":"MemberAccess","src":"990:19:0"},{"attributes":{"type":"address","type_conversion":true},"children":[{"attributes":{"type":"type(address)","value":"address"},"id":5620916,"name":"ElementaryTypenameExpression","src":"1013:7:0"},{"attributes":{"hexvalue":"30","subdenomination":null,"token":null,"type":"int_const 0","value":"0"},"id":5621004,"name":"Literal","src":"1021:1:0"}],"id":5621060,"name":"FunctionCall","src":"1013:10:0"}],"id":5621148,"name":"BinaryOperation","src":"990:33:0"},{"attributes":{"operator":"!=","type":"bool"},"children":[{"attributes":{"member_name":"delegate","type":"address"},"children":[{"attributes":{"type":"struct Voter storage ref"},"children":[{"attributes":{"type":"mapping(address => struct Voter storage ref)","value":"voters"},"id":5621244,"name":"Identifier","src":"1027:6:0"},{"attributes":{"type":"address","value":"to"},"id":5621324,"name":"Identifier","src":"1034:2:0"}],"id":5621372,"name":"IndexAccess","src":"1027:10:0"}],"id":5621460,"name":"MemberAccess","src":"1027:19:0"},{"attributes":{"member_name":"sender","type":"address"},"children":[{"attributes":{"type":"msg","value":"msg"},"id":5621548,"name":"Identifier","src":"1050:3:0"}],"id":5621628,"name":"MemberAccess","src":"1050:10:0"}],"id":5621684,"name":"BinaryOperation","src":"1027:33:0"}],"id":5621748,"name":"BinaryOperation","src":"990:70:0"},{"children":[{"attributes":{"operator":"=","type":"address"},"children":[{"attributes":{"type":"address","value":"to"},"id":5621844,"name":"Identifier","src":"1074:2:0"},{"attributes":{"member_name":"delegate","type":"address"},"children":[{"attributes":{"type":"struct Voter storage ref"},"children":[{"attributes":{"type":"mapping(address => struct Voter storage ref)","value":"voters"},"id":5621924,"name":"Identifier","src":"1079:6:0"},{"attributes":{"type":"address","value":"to"},"id":5622004,"name":"Identifier","src":"1086:2:0"}],"id":5622052,"name":"IndexAccess","src":"1079:10:0"}],"id":5622140,"name":"MemberAccess","src":"1079:19:0"}],"id":5622196,"name":"Assignment","src":"1074:24:0"}],"id":5622260,"name":"ExpressionStatement","src":"1074:24:0"}],"id":5622316,"name":"WhileStatement","src":"983:115:0"},{"children":[{"attributes":{"operator":"==","type":"bool"},"children":[{"attributes":{"type":"address","value":"to"},"id":5622452,"name":"Identifier","src":"1112:2:0"},{"attributes":{"member_name":"sender","type":"address"},"children":[{"attributes":{"type":"msg","value":"msg"},"id":5622532,"name":"Identifier","src":"1118:3:0"}],"id":5622612,"name":"MemberAccess","src":"1118:10:0"}],"id":5622668,"name":"BinaryOperation","src":"1112:16:0"},{"children":[],"id":5622732,"name":"Return","src":"1130:7:0"}],"id":5622788,"name":"IfStatement","src":"1108:29:0"},{"children":[{"attributes":{"operator":"=","type":"bool"},"children":[{"attributes":{"member_name":"voted","type":"bool"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"sender"},"id":5622892,"name":"Identifier","src":"1146:6:0"}],"id":5623052,"name":"MemberAccess","src":"1146:12:0"},{"attributes":{"hexvalue":"74727565","subdenomination":null,"token":"true","type":"bool","value":"true"},"id":5623140,"name":"Literal","src":"1161:4:0"}],"id":5623196,"name":"Assignment","src":"1146:19:0"}],"id":5623260,"name":"ExpressionStatement","src":"1146:19:0"},{"children":[{"attributes":{"operator":"=","type":"address"},"children":[{"attributes":{"member_name":"delegate","type":"address"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"sender"},"id":5623316,"name":"Identifier","src":"1175:6:0"}],"id":5623476,"name":"MemberAccess","src":"1175:15:0"},{"attributes":{"type":"address","value":"to"},"id":5623564,"name":"Identifier","src":"1193:2:0"}],"id":5623612,"name":"Assignment","src":"1175:20:0"}],"id":5623676,"name":"ExpressionStatement","src":"1175:20:0"},{"children":[{"attributes":{"name":"delegate","type":"struct Voter storage pointer"},"children":[{"attributes":{"name":"Voter"},"id":5623364,"name":"UserDefinedTypeName","src":"1205:5:0"}],"id":5623764,"name":"VariableDeclaration","src":"1205:14:0"},{"attributes":{"type":"struct Voter storage ref"},"children":[{"attributes":{"type":"mapping(address => struct Voter storage ref)","value":"voters"},"id":5623876,"name":"Identifier","src":"1222:6:0"},{"attributes":{"type":"address","value":"to"},"id":5623956,"name":"Identifier","src":"1229:2:0"}],"id":5624004,"name":"IndexAccess","src":"1222:10:0"}],"id":5624060,"name":"VariableDefinitionStatement","src":"1205:27:0"},{"children":[{"attributes":{"member_name":"voted","type":"bool"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"delegate"},"id":5624164,"name":"Identifier","src":"1246:8:0"}],"id":5624244,"name":"MemberAccess","src":"1246:14:0"},{"children":[{"attributes":{"operator":"+=","type":"uint256"},"children":[{"attributes":{"member_name":"voteCount","type":"uint256"},"children":[{"attributes":{"type":"struct Proposal storage ref"},"children":[{"attributes":{"type":"struct Proposal storage ref[] storage ref","value":"proposals"},"id":5624332,"name":"Identifier","src":"1274:9:0"},{"attributes":{"member_name":"vote","type":"uint8"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"delegate"},"id":5624412,"name":"Identifier","src":"1284:8:0"}],"id":5624492,"name":"MemberAccess","src":"1284:13:0"}],"id":5624580,"name":"IndexAccess","src":"1274:24:0"}],"id":5624668,"name":"MemberAccess","src":"1274:34:0"},{"attributes":{"member_name":"weight","type":"uint256"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"sender"},"id":5624756,"name":"Identifier","src":"1312:6:0"}],"id":5624836,"name":"MemberAccess","src":"1312:13:0"}],"id":5624892,"name":"Assignment","src":"1274:51:0"}],"id":5624956,"name":"ExpressionStatement","src":"1274:51:0"},{"children":[{"attributes":{"operator":"+=","type":"uint256"},"children":[{"attributes":{"member_name":"weight","type":"uint256"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"delegate"},"id":5625012,"name":"Identifier","src":"1352:8:0"}],"id":5625196,"name":"MemberAccess","src":"1352:15:0"},{"attributes":{"member_name":"weight","type":"uint256"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"sender"},"id":5625284,"name":"Identifier","src":"1371:6:0"}],"id":5625364,"name":"MemberAccess","src":"1371:13:0"}],"id":5625420,"name":"Assignment","src":"1352:32:0"}],"id":5625484,"name":"ExpressionStatement","src":"1352:32:0"}],"id":5625060,"name":"IfStatement","src":"1242:142:0"}],"id":5625540,"name":"Block","src":"875:516:0"}],"id":5625676,"name":"FunctionDefinition","src":"845:546:0"},{"attributes":{"constant":false,"name":"vote","public":true},"children":[{"children":[{"attributes":{"name":"proposal","type":"uint8"},"children":[{"attributes":{"name":"uint8"},"id":5625828,"name":"ElementaryTypeName","src":"1463:5:0"}],"id":5625916,"name":"VariableDeclaration","src":"1463:14:0"}],"id":5625996,"name":"ParameterList","src":"1462:16:0"},{"children":[],"id":5626052,"name":"ParameterList","src":"1479:0:0"},{"children":[{"children":[{"attributes":{"name":"sender","type":"struct Voter storage pointer"},"children":[{"attributes":{"name":"Voter"},"id":5626108,"name":"UserDefinedTypeName","src":"1489:5:0"}],"id":5626212,"name":"VariableDeclaration","src":"1489:12:0"},{"attributes":{"type":"struct Voter storage ref"},"children":[{"attributes":{"type":"mapping(address => struct Voter storage ref)","value":"voters"},"id":5626324,"name":"Identifier","src":"1504:6:0"},{"attributes":{"member_name":"sender","type":"address"},"children":[{"attributes":{"type":"msg","value":"msg"},"id":5626404,"name":"Identifier","src":"1511:3:0"}],"id":5626484,"name":"MemberAccess","src":"1511:10:0"}],"id":5626540,"name":"IndexAccess","src":"1504:18:0"}],"id":5626596,"name":"VariableDefinitionStatement","src":"1489:33:0"},{"children":[{"attributes":{"operator":"||","type":"bool"},"children":[{"attributes":{"member_name":"voted","type":"bool"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"sender"},"id":5626716,"name":"Identifier","src":"1536:6:0"}],"id":5626796,"name":"MemberAccess","src":"1536:12:0"},{"attributes":{"operator":">=","type":"bool"},"children":[{"attributes":{"type":"uint8","value":"proposal"},"id":5626884,"name":"Identifier","src":"1552:8:0"},{"attributes":{"member_name":"length","type":"uint256"},"children":[{"attributes":{"type":"struct Proposal storage ref[] storage ref","value":"proposals"},"id":5626964,"name":"Identifier","src":"1564:9:0"}],"id":5627044,"name":"MemberAccess","src":"1564:16:0"}],"id":5627100,"name":"BinaryOperation","src":"1552:28:0"}],"id":5627164,"name":"BinaryOperation","src":"1536:44:0"},{"children":[],"id":5627228,"name":"Return","src":"1582:7:0"}],"id":5627284,"name":"IfStatement","src":"1532:57:0"},{"children":[{"attributes":{"operator":"=","type":"bool"},"children":[{"attributes":{"member_name":"voted","type":"bool"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"sender"},"id":5627412,"name":"Identifier","src":"1598:6:0"}],"id":5627596,"name":"MemberAccess","src":"1598:12:0"},{"attributes":{"hexvalue":"74727565","subdenomination":null,"token":"true","type":"bool","value":"true"},"id":5627684,"name":"Literal","src":"1613:4:0"}],"id":5627740,"name":"Assignment","src":"1598:19:0"}],"id":5627804,"name":"ExpressionStatement","src":"1598:19:0"},{"children":[{"attributes":{"operator":"=","type":"uint8"},"children":[{"attributes":{"member_name":"vote","type":"uint8"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"sender"},"id":5627860,"name":"Identifier","src":"1627:6:0"}],"id":5627988,"name":"MemberAccess","src":"1627:11:0"},{"attributes":{"type":"uint8","value":"proposal"},"id":5628076,"name":"Identifier","src":"1641:8:0"}],"id":5628124,"name":"Assignment","src":"1627:22:0"}],"id":5628188,"name":"ExpressionStatement","src":"1627:22:0"},{"children":[{"attributes":{"operator":"+=","type":"uint256"},"children":[{"attributes":{"member_name":"voteCount","type":"uint256"},"children":[{"attributes":{"type":"struct Proposal storage ref"},"children":[{"attributes":{"type":"struct Proposal storage ref[] storage ref","value":"proposals"},"id":5627908,"name":"Identifier","src":"1659:9:0"},{"attributes":{"type":"uint8","value":"proposal"},"id":5628276,"name":"Identifier","src":"1669:8:0"}],"id":5628356,"name":"IndexAccess","src":"1659:19:0"}],"id":5628444,"name":"MemberAccess","src":"1659:29:0"},{"attributes":{"member_name":"weight","type":"uint256"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"sender"},"id":5628532,"name":"Identifier","src":"1692:6:0"}],"id":5628612,"name":"MemberAccess","src":"1692:13:0"}],"id":5628668,"name":"Assignment","src":"1659:46:0"}],"id":5628732,"name":"ExpressionStatement","src":"1659:46:0"}],"id":5628860,"name":"Block","src":"1479:233:0"}],"id":5628972,"name":"FunctionDefinition","src":"1449:263:0"},{"attributes":{"constant":true,"name":"winningProposal","public":true},"children":[{"children":[],"id":5615068,"name":"ParameterList","src":"1742:2:0"},{"children":[{"attributes":{"name":"winningProposal","type":"uint8"},"children":[{"attributes":{"name":"uint8"},"id":5628788,"name":"ElementaryTypeName","src":"1763:5:0"}],"id":5629252,"name":"VariableDeclaration","src":"1763:21:0"}],"id":5629332,"name":"ParameterList","src":"1762:23:0"},{"children":[{"children":[{"attributes":{"name":"winningVoteCount","type":"uint256"},"children":[{"attributes":{"name":"uint256"},"id":5629388,"name":"ElementaryTypeName","src":"1796:7:0"}],"id":5629516,"name":"VariableDeclaration","src":"1796:24:0"},{"attributes":{"hexvalue":"30","subdenomination":null,"token":null,"type":"int_const 0","value":"0"},"id":5629628,"name":"Literal","src":"1823:1:0"}],"id":5629684,"name":"VariableDefinitionStatement","src":"1796:28:0"},{"children":[{"children":[{"attributes":{"name":"proposal","type":"uint8"},"children":[{"attributes":{"name":"uint8"},"id":5629756,"name":"ElementaryTypeName","src":"1839:5:0"}],"id":5629844,"name":"VariableDeclaration","src":"1839:14:0"},{"attributes":{"hexvalue":"30","subdenomination":null,"token":null,"type":"int_const 0","value":"0"},"id":5629972,"name":"Literal","src":"1856:1:0"}],"id":5630028,"name":"VariableDefinitionStatement","src":"1839:18:0"},{"attributes":{"operator":"<","type":"bool"},"children":[{"attributes":{"type":"uint8","value":"proposal"},"id":5630148,"name":"Identifier","src":"1859:8:0"},{"attributes":{"member_name":"length","type":"uint256"},"children":[{"attributes":{"type":"struct Proposal storage ref[] storage ref","value":"proposals"},"id":5630228,"name":"Identifier","src":"1870:9:0"}],"id":5630308,"name":"MemberAccess","src":"1870:16:0"}],"id":5630364,"name":"BinaryOperation","src":"1859:27:0"},{"children":[{"attributes":{"operator":"++","prefix":false,"type":"uint8"},"children":[{"attributes":{"type":"uint8","value":"proposal"},"id":5630460,"name":"Identifier","src":"1888:8:0"}],"id":5630508,"name":"UnaryOperation","src":"1888:10:0"}],"id":5630564,"name":"ExpressionStatement","src":"1888:10:0"},{"children":[{"attributes":{"operator":">","type":"bool"},"children":[{"attributes":{"member_name":"voteCount","type":"uint256"},"children":[{"attributes":{"type":"struct Proposal storage ref"},"children":[{"attributes":{"type":"struct Proposal storage ref[] storage ref","value":"proposals"},"id":5630652,"name":"Identifier","src":"1916:9:0"},{"attributes":{"type":"uint8","value":"proposal"},"id":5630732,"name":"Identifier","src":"1926:8:0"}],"id":5630780,"name":"IndexAccess","src":"1916:19:0"}],"id":5630868,"name":"MemberAccess","src":"1916:29:0"},{"attributes":{"type":"uint256","value":"winningVoteCount"},"id":5630996,"name":"Identifier","src":"1948:16:0"}],"id":5631044,"name":"BinaryOperation","src":"1916:48:0"},{"children":[{"children":[{"attributes":{"operator":"=","type":"uint256"},"children":[{"attributes":{"type":"uint256","value":"winningVoteCount"},"id":5631180,"name":"Identifier","src":"1984:16:0"},{"attributes":{"member_name":"voteCount","type":"uint256"},"children":[{"attributes":{"type":"struct Proposal storage ref"},"children":[{"attributes":{"type":"struct Proposal storage ref[] storage ref","value":"proposals"},"id":5631260,"name":"Identifier","src":"2003:9:0"},{"attributes":{"type":"uint8","value":"proposal"},"id":5631340,"name":"Identifier","src":"2013:8:0"}],"id":5631388,"name":"IndexAccess","src":"2003:19:0"}],"id":5631476,"name":"MemberAccess","src":"2003:29:0"}],"id":5631532,"name":"Assignment","src":"1984:48:0"}],"id":5631596,"name":"ExpressionStatement","src":"1984:48:0"},{"children":[{"attributes":{"operator":"=","type":"uint8"},"children":[{"attributes":{"type":"uint8","value":"winningProposal"},"id":5631708,"name":"Identifier","src":"2050:15:0"},{"attributes":{"type":"uint8","value":"proposal"},"id":5631788,"name":"Identifier","src":"2068:8:0"}],"id":5631836,"name":"Assignment","src":"2050:26:0"}],"id":5631900,"name":"ExpressionStatement","src":"2050:26:0"}],"id":5631980,"name":"Block","src":"1966:125:0"}],"id":5632068,"name":"IfStatement","src":"1912:179:0"}],"id":5632140,"name":"ForStatement","src":"1834:257:0"}],"id":5632220,"name":"Block","src":"1786:311:0"}],"id":5632308,"name":"FunctionDefinition","src":"1718:379:0"}],"id":5632428,"name":"ContractDefinition","src":"24:2075:0"}],"name":"SourceUnit"}}}}},"0Untitledpragmasolidity^0.4.0;contractBallot{structVoter{uintweight;boolvoted;uint8vote;addressdelegate;}structProposal{uintvoteCount;}addresschairperson;mapping(address=>Voter)voters;Proposal[]proposals;///Createanewballotwith$(_numProposals)differentproposals.functionBallot(uint8_numProposals){chairperson=msg.sender;voters[chairperson].weight=1;proposals.length=_numProposals;}///Give$(voter)therighttovoteonthisballot.///Mayonlybecalledby$(chairperson).functiongiveRightToVote(addressvoter){if(msg.sender!=chairperson||voters[voter].voted)return;voters[voter].weight=1;}///Delegateyourvotetothevoter$(to).functiondelegate(addressto){Votersender=voters[msg.sender];//assignsreferenceif(sender.voted)return;while(voters[to].delegate!=address(0)&&voters[to].delegate!=msg.sender)to=voters[to].delegate;if(to==msg.sender)return;sender.voted=true;sender.delegate=to;Voterdelegate=voters[to];if(delegate.voted)proposals[delegate.vote].voteCount+=sender.weight;elsedelegate.weight+=sender.weight;}///Giveasinglevotetoproposal$(proposal).functionvote(uint8proposal){Votersender=voters[msg.sender];if(sender.voted||proposal>=proposals.length)return;sender.voted=true;sender.vote=proposal;proposals[proposal].voteCount+=sender.weight;}functionwinningProposal()constantreturns(uint8winningProposal){uint256winningVoteCount=0;for(uint8proposal=0;proposal<proposals.length;proposal++)if(proposals[proposal].voteCount>winningVoteCount){winningVoteCount=proposals[proposal].voteCount;winningProposal=proposal;}}}":{"key":"0Untitledpragmasolidity^0.4.0;contractBallot{structVoter{uintweight;boolvoted;uint8vote;addressdelegate;}structProposal{uintvoteCount;}addresschairperson;mapping(address=>Voter)voters;Proposal[]proposals;///Createanewballotwith$(_numProposals)differentproposals.functionBallot(uint8_numProposals){chairperson=msg.sender;voters[chairperson].weight=1;proposals.length=_numProposals;}///Give$(voter)therighttovoteonthisballot.///Mayonlybecalledby$(chairperson).functiongiveRightToVote(addressvoter){if(msg.sender!=chairperson||voters[voter].voted)return;voters[voter].weight=1;}///Delegateyourvotetothevoter$(to).functiondelegate(addressto){Votersender=voters[msg.sender];//assignsreferenceif(sender.voted)return;while(voters[to].delegate!=address(0)&&voters[to].delegate!=msg.sender)to=voters[to].delegate;if(to==msg.sender)return;sender.voted=true;sender.delegate=to;Voterdelegate=voters[to];if(delegate.voted)proposals[delegate.vote].voteCount+=sender.weight;elsedelegate.weight+=sender.weight;}///Giveasinglevotetoproposal$(proposal).functionvote(uint8proposal){Votersender=voters[msg.sender];if(sender.voted||proposal>=proposals.length)return;sender.voted=true;sender.vote=proposal;proposals[proposal].voteCount+=sender.weight;}functionwinningProposal()constantreturns(uint8winningProposal){uint256winningVoteCount=0;for(uint8proposal=0;proposal<proposals.length;proposal++)if(proposals[proposal].voteCount>winningVoteCount){winningVoteCount=proposals[proposal].voteCount;winningProposal=proposal;}}}","source":{"sources":{"Untitled":"pragma solidity ^0.4.0;\ncontract Ballot {\n\n    struct Voter {\n        uint weight;\n        bool voted;\n        uint8 vote;\n        address delegate;\n    }\n    struct Proposal {\n        uint voteCount;\n    }\n\n    address chairperson;\n    mapping(address => Voter) voters;\n    Proposal[] proposals;\n\n    /// Create a new ballot with $(_numProposals) different proposals.\n    function Ballot(uint8 _numProposals) {\n        chairperson = msg.sender;\n        voters[chairperson].weight = 1;\n        proposals.length = _numProposals;\n    }\n\n    /// Give $(voter) the right to vote on this ballot.\n    /// May only be called by $(chairperson).\n    function giveRightToVote(address voter) {\n        if (msg.sender != chairperson || voters[voter].voted) return;\n        voters[voter].weight = 1;\n    }\n\n    /// Delegate your vote to the voter $(to).\n    function delegate(address to) {\n        Voter sender = voters[msg.sender]; // assigns reference\n        if (sender.voted) return;\n        while (voters[to].delegate != address(0) && voters[to].delegate != msg.sender)\n            to = voters[to].delegate;\n        if (to == msg.sender) return;\n        sender.voted = true;\n        sender.delegate = to;\n        Voter delegate = voters[to];\n        if (delegate.voted)\n            proposals[delegate.vote].voteCount += sender.weight;\n        else\n            delegate.weight += sender.weight;\n    }\n\n    /// Give a single vote to proposal $(proposal).\n    function vote(uint8 proposal) {\n        Voter sender = voters[msg.sender];\n        if (sender.voted || proposal >= proposals.length) return;\n        sender.voted = true;\n        sender.vote = proposal;\n        proposals[proposal].voteCount += sender.weight;\n    }\n\n    function winningProposal() constant returns (uint8 winningProposal) {\n        uint256 winningVoteCount = 0;\n        for (uint8 proposal = 0; proposal < proposals.length; proposal++)\n            if (proposals[proposal].voteCount > winningVoteCount) {\n                winningVoteCount = proposals[proposal].voteCount;\n                winningProposal = proposal;\n            }\n    }\n}"}},"optimization":0,"missingInputs":[],"result":{"contracts":{"Ballot":{"assembly":{".code":[{"begin":24,"end":2099,"name":"PUSH","value":"60"},{"begin":24,"end":2099,"name":"PUSH","value":"40"},{"begin":24,"end":2099,"name":"MSTORE"},{"begin":373,"end":533,"name":"PUSH","value":"40"},{"begin":373,"end":533,"name":"MLOAD"},{"begin":373,"end":533,"name":"PUSH","value":"20"},{"begin":373,"end":533,"name":"DUP1"},{"begin":373,"end":533,"name":"PUSHSIZE"},{"begin":373,"end":533,"name":"DUP4"},{"begin":373,"end":533,"name":"CODECOPY"},{"begin":373,"end":533,"name":"DUP2"},{"begin":373,"end":533,"name":"ADD"},{"begin":373,"end":533,"name":"PUSH","value":"40"},{"begin":373,"end":533,"name":"MSTORE"},{"begin":373,"end":533,"name":"DUP1"},{"begin":373,"end":533,"name":"DUP1"},{"begin":373,"end":533,"name":"MLOAD"},{"begin":373,"end":533,"name":"SWAP1"},{"begin":373,"end":533,"name":"PUSH","value":"20"},{"begin":373,"end":533,"name":"ADD"},{"begin":373,"end":533,"name":"SWAP1"},{"begin":373,"end":533,"name":"SWAP2"},{"begin":373,"end":533,"name":"SWAP1"},{"begin":373,"end":533,"name":"POP"},{"begin":373,"end":533,"name":"POP"},{"begin":373,"end":533,"name":"tag","value":"1"},{"begin":373,"end":533,"name":"JUMPDEST"},{"begin":434,"end":444,"name":"CALLER"},{"begin":420,"end":431,"name":"PUSH","value":"0"},{"begin":420,"end":431,"name":"PUSH","value":"0"},{"begin":420,"end":444,"name":"PUSH","value":"100"},{"begin":420,"end":444,"name":"EXP"},{"begin":420,"end":444,"name":"DUP2"},{"begin":420,"end":444,"name":"SLOAD"},{"begin":420,"end":444,"name":"DUP2"},{"begin":420,"end":444,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":420,"end":444,"name":"MUL"},{"begin":420,"end":444,"name":"NOT"},{"begin":420,"end":444,"name":"AND"},{"begin":420,"end":444,"name":"SWAP1"},{"begin":420,"end":444,"name":"DUP4"},{"begin":420,"end":444,"name":"PUSH","value":"1000000000000000000000000"},{"begin":420,"end":444,"name":"SWAP1"},{"begin":420,"end":444,"name":"DUP2"},{"begin":420,"end":444,"name":"MUL"},{"begin":420,"end":444,"name":"DIV"},{"begin":420,"end":444,"name":"MUL"},{"begin":420,"end":444,"name":"OR"},{"begin":420,"end":444,"name":"SWAP1"},{"begin":420,"end":444,"name":"SSTORE"},{"begin":420,"end":444,"name":"POP"},{"begin":483,"end":484,"name":"PUSH","value":"1"},{"begin":454,"end":460,"name":"PUSH","value":"1"},{"begin":454,"end":460,"name":"PUSH","value":"0"},{"begin":454,"end":460,"name":"POP"},{"begin":454,"end":473,"name":"PUSH","value":"0"},{"begin":461,"end":472,"name":"PUSH","value":"0"},{"begin":461,"end":472,"name":"PUSH","value":"0"},{"begin":461,"end":472,"name":"SWAP1"},{"begin":461,"end":472,"name":"SLOAD"},{"begin":461,"end":472,"name":"SWAP1"},{"begin":461,"end":472,"name":"PUSH","value":"100"},{"begin":461,"end":472,"name":"EXP"},{"begin":461,"end":472,"name":"SWAP1"},{"begin":461,"end":472,"name":"DIV"},{"begin":461,"end":472,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":461,"end":472,"name":"AND"},{"begin":454,"end":473,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":454,"end":473,"name":"AND"},{"begin":454,"end":473,"name":"DUP2"},{"begin":454,"end":473,"name":"MSTORE"},{"begin":454,"end":473,"name":"PUSH","value":"20"},{"begin":454,"end":473,"name":"ADD"},{"begin":454,"end":473,"name":"SWAP1"},{"begin":454,"end":473,"name":"DUP2"},{"begin":454,"end":473,"name":"MSTORE"},{"begin":454,"end":473,"name":"PUSH","value":"20"},{"begin":454,"end":473,"name":"ADD"},{"begin":454,"end":473,"name":"PUSH","value":"0"},{"begin":454,"end":473,"name":"SHA3"},{"begin":454,"end":473,"name":"PUSH","value":"0"},{"begin":454,"end":473,"name":"POP"},{"begin":454,"end":480,"name":"PUSH","value":"0"},{"begin":454,"end":480,"name":"ADD"},{"begin":454,"end":480,"name":"PUSH","value":"0"},{"begin":454,"end":484,"name":"POP"},{"begin":454,"end":484,"name":"DUP2"},{"begin":454,"end":484,"name":"SWAP1"},{"begin":454,"end":484,"name":"SSTORE"},{"begin":454,"end":484,"name":"POP"},{"begin":513,"end":526,"name":"DUP1"},{"begin":494,"end":526,"name":"PUSH","value":"FF"},{"begin":494,"end":526,"name":"AND"},{"begin":494,"end":503,"name":"PUSH","value":"2"},{"begin":494,"end":503,"name":"PUSH","value":"0"},{"begin":494,"end":503,"name":"POP"},{"begin":494,"end":526,"name":"DUP2"},{"begin":494,"end":526,"name":"DUP2"},{"begin":494,"end":526,"name":"SLOAD"},{"begin":494,"end":526,"name":"DUP2"},{"begin":494,"end":526,"name":"DUP4"},{"begin":494,"end":526,"name":"SSTORE"},{"begin":494,"end":526,"name":"DUP2"},{"begin":494,"end":526,"name":"DUP2"},{"begin":494,"end":526,"name":"ISZERO"},{"begin":494,"end":526,"name":"GT"},{"begin":494,"end":526,"name":"PUSH [tag]","value":"3"},{"begin":494,"end":526,"name":"JUMPI"},{"begin":494,"end":526,"name":"DUP2"},{"begin":494,"end":526,"name":"DUP4"},{"begin":494,"end":526,"name":"PUSH","value":"0"},{"begin":494,"end":526,"name":"MSTORE"},{"begin":494,"end":526,"name":"PUSH","value":"20"},{"begin":494,"end":526,"name":"PUSH","value":"0"},{"begin":494,"end":526,"name":"SHA3"},{"begin":494,"end":526,"name":"SWAP2"},{"begin":494,"end":526,"name":"DUP3"},{"begin":494,"end":526,"name":"ADD"},{"begin":494,"end":526,"name":"SWAP2"},{"begin":494,"end":526,"name":"ADD"},{"begin":494,"end":526,"name":"PUSH [tag]","value":"4"},{"begin":494,"end":526,"name":"SWAP2"},{"begin":494,"end":526,"name":"SWAP1"},{"begin":494,"end":526,"name":"PUSH [tag]","value":"5"},{"begin":494,"end":526,"name":"JUMP"},{"begin":494,"end":526,"name":"tag","value":"5"},{"begin":494,"end":526,"name":"JUMPDEST"},{"begin":494,"end":526,"name":"DUP1"},{"begin":494,"end":526,"name":"DUP3"},{"begin":494,"end":526,"name":"GT"},{"begin":494,"end":526,"name":"ISZERO"},{"begin":494,"end":526,"name":"PUSH [tag]","value":"6"},{"begin":494,"end":526,"name":"JUMPI"},{"begin":494,"end":526,"name":"PUSH","value":"0"},{"begin":494,"end":526,"name":"PUSH","value":"0"},{"begin":494,"end":526,"name":"DUP3"},{"begin":494,"end":526,"name":"ADD"},{"begin":494,"end":526,"name":"PUSH","value":"0"},{"begin":494,"end":526,"name":"POP"},{"begin":494,"end":526,"name":"PUSH","value":"0"},{"begin":494,"end":526,"name":"SWAP1"},{"begin":494,"end":526,"name":"SSTORE"},{"begin":494,"end":526,"name":"POP"},{"begin":494,"end":526,"name":"PUSH","value":"1"},{"begin":494,"end":526,"name":"ADD"},{"begin":494,"end":526,"name":"PUSH [tag]","value":"5"},{"begin":494,"end":526,"name":"JUMP"},{"begin":494,"end":526,"name":"tag","value":"6"},{"begin":494,"end":526,"name":"JUMPDEST"},{"begin":494,"end":526,"name":"POP"},{"begin":494,"end":526,"name":"SWAP1"},{"begin":494,"end":526,"name":"JUMP"},{"begin":494,"end":526,"name":"tag","value":"4"},{"begin":494,"end":526,"name":"JUMPDEST"},{"begin":494,"end":526,"name":"tag","value":"3"},{"begin":494,"end":526,"name":"JUMPDEST"},{"begin":494,"end":526,"name":"POP"},{"begin":494,"end":526,"name":"POP"},{"begin":494,"end":526,"name":"POP"},{"begin":494,"end":526,"name":"POP"},{"begin":373,"end":533,"name":"tag","value":"2"},{"begin":373,"end":533,"name":"JUMPDEST"},{"begin":373,"end":533,"name":"POP"},{"begin":24,"end":2099,"name":"PUSH #[$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":24,"end":2099,"name":"DUP1"},{"begin":24,"end":2099,"name":"PUSH [$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":24,"end":2099,"name":"PUSH","value":"0"},{"begin":24,"end":2099,"name":"CODECOPY"},{"begin":24,"end":2099,"name":"PUSH","value":"0"},{"begin":24,"end":2099,"name":"RETURN"}],".data":{"0":{".code":[{"begin":24,"end":2099,"name":"PUSH","value":"60"},{"begin":24,"end":2099,"name":"PUSH","value":"40"},{"begin":24,"end":2099,"name":"MSTORE"},{"begin":24,"end":2099,"name":"PUSH","value":"0"},{"begin":24,"end":2099,"name":"CALLDATALOAD"},{"begin":24,"end":2099,"name":"PUSH","value":"100000000000000000000000000000000000000000000000000000000"},{"begin":24,"end":2099,"name":"SWAP1"},{"begin":24,"end":2099,"name":"DIV"},{"begin":24,"end":2099,"name":"DUP1"},{"begin":24,"end":2099,"name":"PUSH","value":"5C19A95C"},{"begin":24,"end":2099,"name":"EQ"},{"begin":24,"end":2099,"name":"PUSH [tag]","value":"2"},{"begin":24,"end":2099,"name":"JUMPI"},{"begin":24,"end":2099,"name":"DUP1"},{"begin":24,"end":2099,"name":"PUSH","value":"609FF1BD"},{"begin":24,"end":2099,"name":"EQ"},{"begin":24,"end":2099,"name":"PUSH [tag]","value":"3"},{"begin":24,"end":2099,"name":"JUMPI"},{"begin":24,"end":2099,"name":"DUP1"},{"begin":24,"end":2099,"name":"PUSH","value":"9E7B8D61"},{"begin":24,"end":2099,"name":"EQ"},{"begin":24,"end":2099,"name":"PUSH [tag]","value":"4"},{"begin":24,"end":2099,"name":"JUMPI"},{"begin":24,"end":2099,"name":"DUP1"},{"begin":24,"end":2099,"name":"PUSH","value":"B3F98ADC"},{"begin":24,"end":2099,"name":"EQ"},{"begin":24,"end":2099,"name":"PUSH [tag]","value":"5"},{"begin":24,"end":2099,"name":"JUMPI"},{"begin":24,"end":2099,"name":"PUSH [tag]","value":"1"},{"begin":24,"end":2099,"name":"JUMP"},{"begin":24,"end":2099,"name":"tag","value":"1"},{"begin":24,"end":2099,"name":"JUMPDEST"},{"begin":24,"end":2099,"name":"PUSH [ErrorTag]"},{"begin":24,"end":2099,"name":"JUMP"},{"begin":845,"end":1391,"name":"tag","value":"2"},{"begin":845,"end":1391,"name":"JUMPDEST"},{"begin":845,"end":1391,"name":"CALLVALUE"},{"begin":845,"end":1391,"name":"PUSH [ErrorTag]"},{"begin":845,"end":1391,"name":"JUMPI"},{"begin":845,"end":1391,"name":"PUSH [tag]","value":"6"},{"begin":845,"end":1391,"name":"PUSH","value":"4"},{"begin":845,"end":1391,"name":"DUP1"},{"begin":845,"end":1391,"name":"DUP1"},{"begin":845,"end":1391,"name":"CALLDATALOAD"},{"begin":845,"end":1391,"name":"SWAP1"},{"begin":845,"end":1391,"name":"PUSH","value":"20"},{"begin":845,"end":1391,"name":"ADD"},{"begin":845,"end":1391,"name":"SWAP1"},{"begin":845,"end":1391,"name":"SWAP2"},{"begin":845,"end":1391,"name":"SWAP1"},{"begin":845,"end":1391,"name":"POP"},{"begin":845,"end":1391,"name":"POP"},{"begin":845,"end":1391,"name":"PUSH [tag]","value":"7"},{"begin":845,"end":1391,"name":"JUMP"},{"begin":845,"end":1391,"name":"tag","value":"6"},{"begin":845,"end":1391,"name":"JUMPDEST"},{"begin":845,"end":1391,"name":"STOP"},{"begin":1718,"end":2097,"name":"tag","value":"3"},{"begin":1718,"end":2097,"name":"JUMPDEST"},{"begin":1718,"end":2097,"name":"CALLVALUE"},{"begin":1718,"end":2097,"name":"PUSH [ErrorTag]"},{"begin":1718,"end":2097,"name":"JUMPI"},{"begin":1718,"end":2097,"name":"PUSH [tag]","value":"8"},{"begin":1718,"end":2097,"name":"PUSH","value":"4"},{"begin":1718,"end":2097,"name":"DUP1"},{"begin":1718,"end":2097,"name":"POP"},{"begin":1718,"end":2097,"name":"POP"},{"begin":1718,"end":2097,"name":"PUSH [tag]","value":"9"},{"begin":1718,"end":2097,"name":"JUMP"},{"begin":1718,"end":2097,"name":"tag","value":"8"},{"begin":1718,"end":2097,"name":"JUMPDEST"},{"begin":1718,"end":2097,"name":"PUSH","value":"40"},{"begin":1718,"end":2097,"name":"MLOAD"},{"begin":1718,"end":2097,"name":"DUP1"},{"begin":1718,"end":2097,"name":"DUP3"},{"begin":1718,"end":2097,"name":"PUSH","value":"FF"},{"begin":1718,"end":2097,"name":"AND"},{"begin":1718,"end":2097,"name":"DUP2"},{"begin":1718,"end":2097,"name":"MSTORE"},{"begin":1718,"end":2097,"name":"PUSH","value":"20"},{"begin":1718,"end":2097,"name":"ADD"},{"begin":1718,"end":2097,"name":"SWAP2"},{"begin":1718,"end":2097,"name":"POP"},{"begin":1718,"end":2097,"name":"POP"},{"begin":1718,"end":2097,"name":"PUSH","value":"40"},{"begin":1718,"end":2097,"name":"MLOAD"},{"begin":1718,"end":2097,"name":"DUP1"},{"begin":1718,"end":2097,"name":"SWAP2"},{"begin":1718,"end":2097,"name":"SUB"},{"begin":1718,"end":2097,"name":"SWAP1"},{"begin":1718,"end":2097,"name":"RETURN"},{"begin":641,"end":792,"name":"tag","value":"4"},{"begin":641,"end":792,"name":"JUMPDEST"},{"begin":641,"end":792,"name":"CALLVALUE"},{"begin":641,"end":792,"name":"PUSH [ErrorTag]"},{"begin":641,"end":792,"name":"JUMPI"},{"begin":641,"end":792,"name":"PUSH [tag]","value":"10"},{"begin":641,"end":792,"name":"PUSH","value":"4"},{"begin":641,"end":792,"name":"DUP1"},{"begin":641,"end":792,"name":"DUP1"},{"begin":641,"end":792,"name":"CALLDATALOAD"},{"begin":641,"end":792,"name":"SWAP1"},{"begin":641,"end":792,"name":"PUSH","value":"20"},{"begin":641,"end":792,"name":"ADD"},{"begin":641,"end":792,"name":"SWAP1"},{"begin":641,"end":792,"name":"SWAP2"},{"begin":641,"end":792,"name":"SWAP1"},{"begin":641,"end":792,"name":"POP"},{"begin":641,"end":792,"name":"POP"},{"begin":641,"end":792,"name":"PUSH [tag]","value":"11"},{"begin":641,"end":792,"name":"JUMP"},{"begin":641,"end":792,"name":"tag","value":"10"},{"begin":641,"end":792,"name":"JUMPDEST"},{"begin":641,"end":792,"name":"STOP"},{"begin":1449,"end":1712,"name":"tag","value":"5"},{"begin":1449,"end":1712,"name":"JUMPDEST"},{"begin":1449,"end":1712,"name":"CALLVALUE"},{"begin":1449,"end":1712,"name":"PUSH [ErrorTag]"},{"begin":1449,"end":1712,"name":"JUMPI"},{"begin":1449,"end":1712,"name":"PUSH [tag]","value":"12"},{"begin":1449,"end":1712,"name":"PUSH","value":"4"},{"begin":1449,"end":1712,"name":"DUP1"},{"begin":1449,"end":1712,"name":"DUP1"},{"begin":1449,"end":1712,"name":"CALLDATALOAD"},{"begin":1449,"end":1712,"name":"SWAP1"},{"begin":1449,"end":1712,"name":"PUSH","value":"20"},{"begin":1449,"end":1712,"name":"ADD"},{"begin":1449,"end":1712,"name":"SWAP1"},{"begin":1449,"end":1712,"name":"SWAP2"},{"begin":1449,"end":1712,"name":"SWAP1"},{"begin":1449,"end":1712,"name":"POP"},{"begin":1449,"end":1712,"name":"POP"},{"begin":1449,"end":1712,"name":"PUSH [tag]","value":"13"},{"begin":1449,"end":1712,"name":"JUMP"},{"begin":1449,"end":1712,"name":"tag","value":"12"},{"begin":1449,"end":1712,"name":"JUMPDEST"},{"begin":1449,"end":1712,"name":"STOP"},{"begin":845,"end":1391,"name":"tag","value":"7"},{"begin":845,"end":1391,"name":"JUMPDEST"},{"begin":885,"end":897,"name":"PUSH","value":"0"},{"begin":1205,"end":1219,"name":"PUSH","value":"0"},{"begin":900,"end":906,"name":"PUSH","value":"1"},{"begin":900,"end":906,"name":"PUSH","value":"0"},{"begin":900,"end":906,"name":"POP"},{"begin":900,"end":918,"name":"PUSH","value":"0"},{"begin":907,"end":917,"name":"CALLER"},{"begin":900,"end":918,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":900,"end":918,"name":"AND"},{"begin":900,"end":918,"name":"DUP2"},{"begin":900,"end":918,"name":"MSTORE"},{"begin":900,"end":918,"name":"PUSH","value":"20"},{"begin":900,"end":918,"name":"ADD"},{"begin":900,"end":918,"name":"SWAP1"},{"begin":900,"end":918,"name":"DUP2"},{"begin":900,"end":918,"name":"MSTORE"},{"begin":900,"end":918,"name":"PUSH","value":"20"},{"begin":900,"end":918,"name":"ADD"},{"begin":900,"end":918,"name":"PUSH","value":"0"},{"begin":900,"end":918,"name":"SHA3"},{"begin":900,"end":918,"name":"PUSH","value":"0"},{"begin":900,"end":918,"name":"POP"},{"begin":885,"end":918,"name":"SWAP2"},{"begin":885,"end":918,"name":"POP"},{"begin":953,"end":959,"name":"DUP2"},{"begin":953,"end":965,"name":"PUSH","value":"1"},{"begin":953,"end":965,"name":"ADD"},{"begin":953,"end":965,"name":"PUSH","value":"0"},{"begin":953,"end":965,"name":"SWAP1"},{"begin":953,"end":965,"name":"SLOAD"},{"begin":953,"end":965,"name":"SWAP1"},{"begin":953,"end":965,"name":"PUSH","value":"100"},{"begin":953,"end":965,"name":"EXP"},{"begin":953,"end":965,"name":"SWAP1"},{"begin":953,"end":965,"name":"DIV"},{"begin":953,"end":965,"name":"PUSH","value":"FF"},{"begin":953,"end":965,"name":"AND"},{"begin":949,"end":974,"name":"ISZERO"},{"begin":949,"end":974,"name":"PUSH [tag]","value":"15"},{"begin":949,"end":974,"name":"JUMPI"},{"begin":967,"end":974,"name":"PUSH [tag]","value":"14"},{"begin":967,"end":974,"name":"JUMP"},{"begin":949,"end":974,"name":"tag","value":"15"},{"begin":949,"end":974,"name":"JUMPDEST"},{"begin":983,"end":1098,"name":"tag","value":"16"},{"begin":983,"end":1098,"name":"JUMPDEST"},{"begin":1021,"end":1022,"name":"PUSH","value":"0"},{"begin":990,"end":1023,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":990,"end":1023,"name":"AND"},{"begin":990,"end":996,"name":"PUSH","value":"1"},{"begin":990,"end":996,"name":"PUSH","value":"0"},{"begin":990,"end":996,"name":"POP"},{"begin":990,"end":1000,"name":"PUSH","value":"0"},{"begin":997,"end":999,"name":"DUP6"},{"begin":990,"end":1000,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":990,"end":1000,"name":"AND"},{"begin":990,"end":1000,"name":"DUP2"},{"begin":990,"end":1000,"name":"MSTORE"},{"begin":990,"end":1000,"name":"PUSH","value":"20"},{"begin":990,"end":1000,"name":"ADD"},{"begin":990,"end":1000,"name":"SWAP1"},{"begin":990,"end":1000,"name":"DUP2"},{"begin":990,"end":1000,"name":"MSTORE"},{"begin":990,"end":1000,"name":"PUSH","value":"20"},{"begin":990,"end":1000,"name":"ADD"},{"begin":990,"end":1000,"name":"PUSH","value":"0"},{"begin":990,"end":1000,"name":"SHA3"},{"begin":990,"end":1000,"name":"PUSH","value":"0"},{"begin":990,"end":1000,"name":"POP"},{"begin":990,"end":1009,"name":"PUSH","value":"1"},{"begin":990,"end":1009,"name":"ADD"},{"begin":990,"end":1009,"name":"PUSH","value":"2"},{"begin":990,"end":1009,"name":"SWAP1"},{"begin":990,"end":1009,"name":"SLOAD"},{"begin":990,"end":1009,"name":"SWAP1"},{"begin":990,"end":1009,"name":"PUSH","value":"100"},{"begin":990,"end":1009,"name":"EXP"},{"begin":990,"end":1009,"name":"SWAP1"},{"begin":990,"end":1009,"name":"DIV"},{"begin":990,"end":1009,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":990,"end":1009,"name":"AND"},{"begin":990,"end":1023,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":990,"end":1023,"name":"AND"},{"begin":990,"end":1023,"name":"EQ"},{"begin":990,"end":1023,"name":"ISZERO"},{"begin":990,"end":1060,"name":"DUP1"},{"begin":990,"end":1060,"name":"ISZERO"},{"begin":990,"end":1060,"name":"PUSH [tag]","value":"18"},{"begin":990,"end":1060,"name":"JUMPI"},{"begin":990,"end":1060,"name":"POP"},{"begin":1050,"end":1060,"name":"CALLER"},{"begin":1027,"end":1060,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":1027,"end":1060,"name":"AND"},{"begin":1027,"end":1033,"name":"PUSH","value":"1"},{"begin":1027,"end":1033,"name":"PUSH","value":"0"},{"begin":1027,"end":1033,"name":"POP"},{"begin":1027,"end":1037,"name":"PUSH","value":"0"},{"begin":1034,"end":1036,"name":"DUP6"},{"begin":1027,"end":1037,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":1027,"end":1037,"name":"AND"},{"begin":1027,"end":1037,"name":"DUP2"},{"begin":1027,"end":1037,"name":"MSTORE"},{"begin":1027,"end":1037,"name":"PUSH","value":"20"},{"begin":1027,"end":1037,"name":"ADD"},{"begin":1027,"end":1037,"name":"SWAP1"},{"begin":1027,"end":1037,"name":"DUP2"},{"begin":1027,"end":1037,"name":"MSTORE"},{"begin":1027,"end":1037,"name":"PUSH","value":"20"},{"begin":1027,"end":1037,"name":"ADD"},{"begin":1027,"end":1037,"name":"PUSH","value":"0"},{"begin":1027,"end":1037,"name":"SHA3"},{"begin":1027,"end":1037,"name":"PUSH","value":"0"},{"begin":1027,"end":1037,"name":"POP"},{"begin":1027,"end":1046,"name":"PUSH","value":"1"},{"begin":1027,"end":1046,"name":"ADD"},{"begin":1027,"end":1046,"name":"PUSH","value":"2"},{"begin":1027,"end":1046,"name":"SWAP1"},{"begin":1027,"end":1046,"name":"SLOAD"},{"begin":1027,"end":1046,"name":"SWAP1"},{"begin":1027,"end":1046,"name":"PUSH","value":"100"},{"begin":1027,"end":1046,"name":"EXP"},{"begin":1027,"end":1046,"name":"SWAP1"},{"begin":1027,"end":1046,"name":"DIV"},{"begin":1027,"end":1046,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":1027,"end":1046,"name":"AND"},{"begin":1027,"end":1060,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":1027,"end":1060,"name":"AND"},{"begin":1027,"end":1060,"name":"EQ"},{"begin":1027,"end":1060,"name":"ISZERO"},{"begin":990,"end":1060,"name":"tag","value":"18"},{"begin":990,"end":1060,"name":"JUMPDEST"},{"begin":983,"end":1098,"name":"ISZERO"},{"begin":983,"end":1098,"name":"PUSH [tag]","value":"17"},{"begin":983,"end":1098,"name":"JUMPI"},{"begin":1079,"end":1085,"name":"PUSH","value":"1"},{"begin":1079,"end":1085,"name":"PUSH","value":"0"},{"begin":1079,"end":1085,"name":"POP"},{"begin":1079,"end":1089,"name":"PUSH","value":"0"},{"begin":1086,"end":1088,"name":"DUP5"},{"begin":1079,"end":1089,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":1079,"end":1089,"name":"AND"},{"begin":1079,"end":1089,"name":"DUP2"},{"begin":1079,"end":1089,"name":"MSTORE"},{"begin":1079,"end":1089,"name":"PUSH","value":"20"},{"begin":1079,"end":1089,"name":"ADD"},{"begin":1079,"end":1089,"name":"SWAP1"},{"begin":1079,"end":1089,"name":"DUP2"},{"begin":1079,"end":1089,"name":"MSTORE"},{"begin":1079,"end":1089,"name":"PUSH","value":"20"},{"begin":1079,"end":1089,"name":"ADD"},{"begin":1079,"end":1089,"name":"PUSH","value":"0"},{"begin":1079,"end":1089,"name":"SHA3"},{"begin":1079,"end":1089,"name":"PUSH","value":"0"},{"begin":1079,"end":1089,"name":"POP"},{"begin":1079,"end":1098,"name":"PUSH","value":"1"},{"begin":1079,"end":1098,"name":"ADD"},{"begin":1079,"end":1098,"name":"PUSH","value":"2"},{"begin":1079,"end":1098,"name":"SWAP1"},{"begin":1079,"end":1098,"name":"SLOAD"},{"begin":1079,"end":1098,"name":"SWAP1"},{"begin":1079,"end":1098,"name":"PUSH","value":"100"},{"begin":1079,"end":1098,"name":"EXP"},{"begin":1079,"end":1098,"name":"SWAP1"},{"begin":1079,"end":1098,"name":"DIV"},{"begin":1079,"end":1098,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":1079,"end":1098,"name":"AND"},{"begin":1074,"end":1098,"name":"SWAP3"},{"begin":1074,"end":1098,"name":"POP"},{"begin":1074,"end":1098,"name":"DUP3"},{"begin":1074,"end":1098,"name":"POP"},{"begin":983,"end":1098,"name":"PUSH [tag]","value":"16"},{"begin":983,"end":1098,"name":"JUMP"},{"begin":983,"end":1098,"name":"tag","value":"17"},{"begin":983,"end":1098,"name":"JUMPDEST"},{"begin":1118,"end":1128,"name":"CALLER"},{"begin":1112,"end":1128,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":1112,"end":1128,"name":"AND"},{"begin":1112,"end":1114,"name":"DUP4"},{"begin":1112,"end":1128,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":1112,"end":1128,"name":"AND"},{"begin":1112,"end":1128,"name":"EQ"},{"begin":1108,"end":1137,"name":"ISZERO"},{"begin":1108,"end":1137,"name":"PUSH [tag]","value":"19"},{"begin":1108,"end":1137,"name":"JUMPI"},{"begin":1130,"end":1137,"name":"PUSH [tag]","value":"14"},{"begin":1130,"end":1137,"name":"JUMP"},{"begin":1108,"end":1137,"name":"tag","value":"19"},{"begin":1108,"end":1137,"name":"JUMPDEST"},{"begin":1161,"end":1165,"name":"PUSH","value":"1"},{"begin":1146,"end":1152,"name":"DUP3"},{"begin":1146,"end":1158,"name":"PUSH","value":"1"},{"begin":1146,"end":1158,"name":"ADD"},{"begin":1146,"end":1158,"name":"PUSH","value":"0"},{"begin":1146,"end":1165,"name":"PUSH","value":"100"},{"begin":1146,"end":1165,"name":"EXP"},{"begin":1146,"end":1165,"name":"DUP2"},{"begin":1146,"end":1165,"name":"SLOAD"},{"begin":1146,"end":1165,"name":"DUP2"},{"begin":1146,"end":1165,"name":"PUSH","value":"FF"},{"begin":1146,"end":1165,"name":"MUL"},{"begin":1146,"end":1165,"name":"NOT"},{"begin":1146,"end":1165,"name":"AND"},{"begin":1146,"end":1165,"name":"SWAP1"},{"begin":1146,"end":1165,"name":"DUP4"},{"begin":1146,"end":1165,"name":"PUSH","value":"100000000000000000000000000000000000000000000000000000000000000"},{"begin":1146,"end":1165,"name":"SWAP1"},{"begin":1146,"end":1165,"name":"DUP2"},{"begin":1146,"end":1165,"name":"MUL"},{"begin":1146,"end":1165,"name":"DIV"},{"begin":1146,"end":1165,"name":"MUL"},{"begin":1146,"end":1165,"name":"OR"},{"begin":1146,"end":1165,"name":"SWAP1"},{"begin":1146,"end":1165,"name":"SSTORE"},{"begin":1146,"end":1165,"name":"POP"},{"begin":1193,"end":1195,"name":"DUP3"},{"begin":1175,"end":1181,"name":"DUP3"},{"begin":1175,"end":1190,"name":"PUSH","value":"1"},{"begin":1175,"end":1190,"name":"ADD"},{"begin":1175,"end":1190,"name":"PUSH","value":"2"},{"begin":1175,"end":1195,"name":"PUSH","value":"100"},{"begin":1175,"end":1195,"name":"EXP"},{"begin":1175,"end":1195,"name":"DUP2"},{"begin":1175,"end":1195,"name":"SLOAD"},{"begin":1175,"end":1195,"name":"DUP2"},{"begin":1175,"end":1195,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":1175,"end":1195,"name":"MUL"},{"begin":1175,"end":1195,"name":"NOT"},{"begin":1175,"end":1195,"name":"AND"},{"begin":1175,"end":1195,"name":"SWAP1"},{"begin":1175,"end":1195,"name":"DUP4"},{"begin":1175,"end":1195,"name":"PUSH","value":"1000000000000000000000000"},{"begin":1175,"end":1195,"name":"SWAP1"},{"begin":1175,"end":1195,"name":"DUP2"},{"begin":1175,"end":1195,"name":"MUL"},{"begin":1175,"end":1195,"name":"DIV"},{"begin":1175,"end":1195,"name":"MUL"},{"begin":1175,"end":1195,"name":"OR"},{"begin":1175,"end":1195,"name":"SWAP1"},{"begin":1175,"end":1195,"name":"SSTORE"},{"begin":1175,"end":1195,"name":"POP"},{"begin":1222,"end":1228,"name":"PUSH","value":"1"},{"begin":1222,"end":1228,"name":"PUSH","value":"0"},{"begin":1222,"end":1228,"name":"POP"},{"begin":1222,"end":1232,"name":"PUSH","value":"0"},{"begin":1229,"end":1231,"name":"DUP5"},{"begin":1222,"end":1232,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":1222,"end":1232,"name":"AND"},{"begin":1222,"end":1232,"name":"DUP2"},{"begin":1222,"end":1232,"name":"MSTORE"},{"begin":1222,"end":1232,"name":"PUSH","value":"20"},{"begin":1222,"end":1232,"name":"ADD"},{"begin":1222,"end":1232,"name":"SWAP1"},{"begin":1222,"end":1232,"name":"DUP2"},{"begin":1222,"end":1232,"name":"MSTORE"},{"begin":1222,"end":1232,"name":"PUSH","value":"20"},{"begin":1222,"end":1232,"name":"ADD"},{"begin":1222,"end":1232,"name":"PUSH","value":"0"},{"begin":1222,"end":1232,"name":"SHA3"},{"begin":1222,"end":1232,"name":"PUSH","value":"0"},{"begin":1222,"end":1232,"name":"POP"},{"begin":1205,"end":1232,"name":"SWAP1"},{"begin":1205,"end":1232,"name":"POP"},{"begin":1246,"end":1254,"name":"DUP1"},{"begin":1246,"end":1260,"name":"PUSH","value":"1"},{"begin":1246,"end":1260,"name":"ADD"},{"begin":1246,"end":1260,"name":"PUSH","value":"0"},{"begin":1246,"end":1260,"name":"SWAP1"},{"begin":1246,"end":1260,"name":"SLOAD"},{"begin":1246,"end":1260,"name":"SWAP1"},{"begin":1246,"end":1260,"name":"PUSH","value":"100"},{"begin":1246,"end":1260,"name":"EXP"},{"begin":1246,"end":1260,"name":"SWAP1"},{"begin":1246,"end":1260,"name":"DIV"},{"begin":1246,"end":1260,"name":"PUSH","value":"FF"},{"begin":1246,"end":1260,"name":"AND"},{"begin":1242,"end":1384,"name":"ISZERO"},{"begin":1242,"end":1384,"name":"PUSH [tag]","value":"20"},{"begin":1242,"end":1384,"name":"JUMPI"},{"begin":1312,"end":1318,"name":"DUP2"},{"begin":1312,"end":1325,"name":"PUSH","value":"0"},{"begin":1312,"end":1325,"name":"ADD"},{"begin":1312,"end":1325,"name":"PUSH","value":"0"},{"begin":1312,"end":1325,"name":"POP"},{"begin":1312,"end":1325,"name":"SLOAD"},{"begin":1274,"end":1283,"name":"PUSH","value":"2"},{"begin":1274,"end":1283,"name":"PUSH","value":"0"},{"begin":1274,"end":1283,"name":"POP"},{"begin":1284,"end":1292,"name":"DUP3"},{"begin":1284,"end":1297,"name":"PUSH","value":"1"},{"begin":1284,"end":1297,"name":"ADD"},{"begin":1284,"end":1297,"name":"PUSH","value":"1"},{"begin":1284,"end":1297,"name":"SWAP1"},{"begin":1284,"end":1297,"name":"SLOAD"},{"begin":1284,"end":1297,"name":"SWAP1"},{"begin":1284,"end":1297,"name":"PUSH","value":"100"},{"begin":1284,"end":1297,"name":"EXP"},{"begin":1284,"end":1297,"name":"SWAP1"},{"begin":1284,"end":1297,"name":"DIV"},{"begin":1284,"end":1297,"name":"PUSH","value":"FF"},{"begin":1284,"end":1297,"name":"AND"},{"begin":1274,"end":1298,"name":"PUSH","value":"FF"},{"begin":1274,"end":1298,"name":"AND"},{"begin":1274,"end":1298,"name":"DUP2"},{"begin":1274,"end":1298,"name":"SLOAD"},{"begin":1274,"end":1298,"name":"DUP2"},{"begin":1274,"end":1298,"name":"LT"},{"begin":1274,"end":1298,"name":"ISZERO"},{"begin":1274,"end":1298,"name":"PUSH [ErrorTag]"},{"begin":1274,"end":1298,"name":"JUMPI"},{"begin":1274,"end":1298,"name":"SWAP1"},{"begin":1274,"end":1298,"name":"PUSH","value":"0"},{"begin":1274,"end":1298,"name":"MSTORE"},{"begin":1274,"end":1298,"name":"PUSH","value":"20"},{"begin":1274,"end":1298,"name":"PUSH","value":"0"},{"begin":1274,"end":1298,"name":"SHA3"},{"begin":1274,"end":1298,"name":"SWAP1"},{"begin":1274,"end":1298,"name":"ADD"},{"begin":1274,"end":1298,"name":"PUSH","value":"0"},{"begin":1274,"end":1298,"name":"tag","value":"21"},{"begin":1274,"end":1298,"name":"JUMPDEST"},{"begin":1274,"end":1298,"name":"POP"},{"begin":1274,"end":1308,"name":"PUSH","value":"0"},{"begin":1274,"end":1308,"name":"ADD"},{"begin":1274,"end":1308,"name":"PUSH","value":"0"},{"begin":1274,"end":1325,"name":"DUP3"},{"begin":1274,"end":1325,"name":"DUP3"},{"begin":1274,"end":1325,"name":"DUP3"},{"begin":1274,"end":1325,"name":"POP"},{"begin":1274,"end":1325,"name":"SLOAD"},{"begin":1274,"end":1325,"name":"ADD"},{"begin":1274,"end":1325,"name":"SWAP3"},{"begin":1274,"end":1325,"name":"POP"},{"begin":1274,"end":1325,"name":"POP"},{"begin":1274,"end":1325,"name":"DUP2"},{"begin":1274,"end":1325,"name":"SWAP1"},{"begin":1274,"end":1325,"name":"SSTORE"},{"begin":1274,"end":1325,"name":"POP"},{"begin":1242,"end":1384,"name":"PUSH [tag]","value":"22"},{"begin":1242,"end":1384,"name":"JUMP"},{"begin":1242,"end":1384,"name":"tag","value":"20"},{"begin":1242,"end":1384,"name":"JUMPDEST"},{"begin":1371,"end":1377,"name":"DUP2"},{"begin":1371,"end":1384,"name":"PUSH","value":"0"},{"begin":1371,"end":1384,"name":"ADD"},{"begin":1371,"end":1384,"name":"PUSH","value":"0"},{"begin":1371,"end":1384,"name":"POP"},{"begin":1371,"end":1384,"name":"SLOAD"},{"begin":1352,"end":1360,"name":"DUP2"},{"begin":1352,"end":1367,"name":"PUSH","value":"0"},{"begin":1352,"end":1367,"name":"ADD"},{"begin":1352,"end":1367,"name":"PUSH","value":"0"},{"begin":1352,"end":1384,"name":"DUP3"},{"begin":1352,"end":1384,"name":"DUP3"},{"begin":1352,"end":1384,"name":"DUP3"},{"begin":1352,"end":1384,"name":"POP"},{"begin":1352,"end":1384,"name":"SLOAD"},{"begin":1352,"end":1384,"name":"ADD"},{"begin":1352,"end":1384,"name":"SWAP3"},{"begin":1352,"end":1384,"name":"POP"},{"begin":1352,"end":1384,"name":"POP"},{"begin":1352,"end":1384,"name":"DUP2"},{"begin":1352,"end":1384,"name":"SWAP1"},{"begin":1352,"end":1384,"name":"SSTORE"},{"begin":1352,"end":1384,"name":"POP"},{"begin":1242,"end":1384,"name":"tag","value":"22"},{"begin":1242,"end":1384,"name":"JUMPDEST"},{"begin":845,"end":1391,"name":"tag","value":"14"},{"begin":845,"end":1391,"name":"JUMPDEST"},{"begin":845,"end":1391,"name":"POP"},{"begin":845,"end":1391,"name":"POP"},{"begin":845,"end":1391,"name":"POP"},{"begin":845,"end":1391,"name":"JUMP","value":"[out]"},{"begin":1718,"end":2097,"name":"tag","value":"9"},{"begin":1718,"end":2097,"name":"JUMPDEST"},{"begin":1763,"end":1784,"name":"PUSH","value":"0"},{"begin":1796,"end":1820,"name":"PUSH","value":"0"},{"begin":1839,"end":1853,"name":"PUSH","value":"0"},{"begin":1823,"end":1824,"name":"PUSH","value":"0"},{"begin":1796,"end":1824,"name":"SWAP2"},{"begin":1796,"end":1824,"name":"POP"},{"begin":1856,"end":1857,"name":"PUSH","value":"0"},{"begin":1839,"end":1857,"name":"SWAP1"},{"begin":1839,"end":1857,"name":"POP"},{"begin":1834,"end":2091,"name":"tag","value":"24"},{"begin":1834,"end":2091,"name":"JUMPDEST"},{"begin":1870,"end":1879,"name":"PUSH","value":"2"},{"begin":1870,"end":1879,"name":"PUSH","value":"0"},{"begin":1870,"end":1879,"name":"POP"},{"begin":1870,"end":1886,"name":"DUP1"},{"begin":1870,"end":1886,"name":"SLOAD"},{"begin":1870,"end":1886,"name":"SWAP1"},{"begin":1870,"end":1886,"name":"POP"},{"begin":1859,"end":1867,"name":"DUP2"},{"begin":1859,"end":1886,"name":"PUSH","value":"FF"},{"begin":1859,"end":1886,"name":"AND"},{"begin":1859,"end":1886,"name":"LT"},{"begin":1834,"end":2091,"name":"ISZERO"},{"begin":1834,"end":2091,"name":"PUSH [tag]","value":"25"},{"begin":1834,"end":2091,"name":"JUMPI"},{"begin":1948,"end":1964,"name":"DUP2"},{"begin":1916,"end":1925,"name":"PUSH","value":"2"},{"begin":1916,"end":1925,"name":"PUSH","value":"0"},{"begin":1916,"end":1925,"name":"POP"},{"begin":1926,"end":1934,"name":"DUP3"},{"begin":1916,"end":1935,"name":"PUSH","value":"FF"},{"begin":1916,"end":1935,"name":"AND"},{"begin":1916,"end":1935,"name":"DUP2"},{"begin":1916,"end":1935,"name":"SLOAD"},{"begin":1916,"end":1935,"name":"DUP2"},{"begin":1916,"end":1935,"name":"LT"},{"begin":1916,"end":1935,"name":"ISZERO"},{"begin":1916,"end":1935,"name":"PUSH [ErrorTag]"},{"begin":1916,"end":1935,"name":"JUMPI"},{"begin":1916,"end":1935,"name":"SWAP1"},{"begin":1916,"end":1935,"name":"PUSH","value":"0"},{"begin":1916,"end":1935,"name":"MSTORE"},{"begin":1916,"end":1935,"name":"PUSH","value":"20"},{"begin":1916,"end":1935,"name":"PUSH","value":"0"},{"begin":1916,"end":1935,"name":"SHA3"},{"begin":1916,"end":1935,"name":"SWAP1"},{"begin":1916,"end":1935,"name":"ADD"},{"begin":1916,"end":1935,"name":"PUSH","value":"0"},{"begin":1916,"end":1935,"name":"tag","value":"27"},{"begin":1916,"end":1935,"name":"JUMPDEST"},{"begin":1916,"end":1935,"name":"POP"},{"begin":1916,"end":1945,"name":"PUSH","value":"0"},{"begin":1916,"end":1945,"name":"ADD"},{"begin":1916,"end":1945,"name":"PUSH","value":"0"},{"begin":1916,"end":1945,"name":"POP"},{"begin":1916,"end":1945,"name":"SLOAD"},{"begin":1916,"end":1964,"name":"GT"},{"begin":1912,"end":2091,"name":"ISZERO"},{"begin":1912,"end":2091,"name":"PUSH [tag]","value":"28"},{"begin":1912,"end":2091,"name":"JUMPI"},{"begin":2003,"end":2012,"name":"PUSH","value":"2"},{"begin":2003,"end":2012,"name":"PUSH","value":"0"},{"begin":2003,"end":2012,"name":"POP"},{"begin":2013,"end":2021,"name":"DUP2"},{"begin":2003,"end":2022,"name":"PUSH","value":"FF"},{"begin":2003,"end":2022,"name":"AND"},{"begin":2003,"end":2022,"name":"DUP2"},{"begin":2003,"end":2022,"name":"SLOAD"},{"begin":2003,"end":2022,"name":"DUP2"},{"begin":2003,"end":2022,"name":"LT"},{"begin":2003,"end":2022,"name":"ISZERO"},{"begin":2003,"end":2022,"name":"PUSH [ErrorTag]"},{"begin":2003,"end":2022,"name":"JUMPI"},{"begin":2003,"end":2022,"name":"SWAP1"},{"begin":2003,"end":2022,"name":"PUSH","value":"0"},{"begin":2003,"end":2022,"name":"MSTORE"},{"begin":2003,"end":2022,"name":"PUSH","value":"20"},{"begin":2003,"end":2022,"name":"PUSH","value":"0"},{"begin":2003,"end":2022,"name":"SHA3"},{"begin":2003,"end":2022,"name":"SWAP1"},{"begin":2003,"end":2022,"name":"ADD"},{"begin":2003,"end":2022,"name":"PUSH","value":"0"},{"begin":2003,"end":2022,"name":"tag","value":"29"},{"begin":2003,"end":2022,"name":"JUMPDEST"},{"begin":2003,"end":2022,"name":"POP"},{"begin":2003,"end":2032,"name":"PUSH","value":"0"},{"begin":2003,"end":2032,"name":"ADD"},{"begin":2003,"end":2032,"name":"PUSH","value":"0"},{"begin":2003,"end":2032,"name":"POP"},{"begin":2003,"end":2032,"name":"SLOAD"},{"begin":1984,"end":2032,"name":"SWAP2"},{"begin":1984,"end":2032,"name":"POP"},{"begin":1984,"end":2032,"name":"DUP2"},{"begin":1984,"end":2032,"name":"POP"},{"begin":2068,"end":2076,"name":"DUP1"},{"begin":2050,"end":2076,"name":"SWAP3"},{"begin":2050,"end":2076,"name":"POP"},{"begin":2050,"end":2076,"name":"DUP3"},{"begin":2050,"end":2076,"name":"POP"},{"begin":1912,"end":2091,"name":"tag","value":"28"},{"begin":1912,"end":2091,"name":"JUMPDEST"},{"begin":1834,"end":2091,"name":"tag","value":"26"},{"begin":1834,"end":2091,"name":"JUMPDEST"},{"begin":1888,"end":1898,"name":"DUP1"},{"begin":1888,"end":1898,"name":"DUP1"},{"begin":1888,"end":1898,"name":"PUSH","value":"1"},{"begin":1888,"end":1898,"name":"ADD"},{"begin":1888,"end":1898,"name":"SWAP2"},{"begin":1888,"end":1898,"name":"POP"},{"begin":1888,"end":1898,"name":"POP"},{"begin":1834,"end":2091,"name":"PUSH [tag]","value":"24"},{"begin":1834,"end":2091,"name":"JUMP"},{"begin":1834,"end":2091,"name":"tag","value":"25"},{"begin":1834,"end":2091,"name":"JUMPDEST"},{"begin":1718,"end":2097,"name":"tag","value":"23"},{"begin":1718,"end":2097,"name":"JUMPDEST"},{"begin":1718,"end":2097,"name":"POP"},{"begin":1718,"end":2097,"name":"POP"},{"begin":1718,"end":2097,"name":"SWAP1"},{"begin":1718,"end":2097,"name":"JUMP","value":"[out]"},{"begin":641,"end":792,"name":"tag","value":"11"},{"begin":641,"end":792,"name":"JUMPDEST"},{"begin":709,"end":720,"name":"PUSH","value":"0"},{"begin":709,"end":720,"name":"PUSH","value":"0"},{"begin":709,"end":720,"name":"SWAP1"},{"begin":709,"end":720,"name":"SLOAD"},{"begin":709,"end":720,"name":"SWAP1"},{"begin":709,"end":720,"name":"PUSH","value":"100"},{"begin":709,"end":720,"name":"EXP"},{"begin":709,"end":720,"name":"SWAP1"},{"begin":709,"end":720,"name":"DIV"},{"begin":709,"end":720,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":709,"end":720,"name":"AND"},{"begin":695,"end":720,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":695,"end":720,"name":"AND"},{"begin":695,"end":705,"name":"CALLER"},{"begin":695,"end":720,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":695,"end":720,"name":"AND"},{"begin":695,"end":720,"name":"EQ"},{"begin":695,"end":720,"name":"ISZERO"},{"begin":695,"end":743,"name":"DUP1"},{"begin":695,"end":743,"name":"PUSH [tag]","value":"31"},{"begin":695,"end":743,"name":"JUMPI"},{"begin":695,"end":743,"name":"POP"},{"begin":724,"end":730,"name":"PUSH","value":"1"},{"begin":724,"end":730,"name":"PUSH","value":"0"},{"begin":724,"end":730,"name":"POP"},{"begin":724,"end":737,"name":"PUSH","value":"0"},{"begin":731,"end":736,"name":"DUP3"},{"begin":724,"end":737,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":724,"end":737,"name":"AND"},{"begin":724,"end":737,"name":"DUP2"},{"begin":724,"end":737,"name":"MSTORE"},{"begin":724,"end":737,"name":"PUSH","value":"20"},{"begin":724,"end":737,"name":"ADD"},{"begin":724,"end":737,"name":"SWAP1"},{"begin":724,"end":737,"name":"DUP2"},{"begin":724,"end":737,"name":"MSTORE"},{"begin":724,"end":737,"name":"PUSH","value":"20"},{"begin":724,"end":737,"name":"ADD"},{"begin":724,"end":737,"name":"PUSH","value":"0"},{"begin":724,"end":737,"name":"SHA3"},{"begin":724,"end":737,"name":"PUSH","value":"0"},{"begin":724,"end":737,"name":"POP"},{"begin":724,"end":743,"name":"PUSH","value":"1"},{"begin":724,"end":743,"name":"ADD"},{"begin":724,"end":743,"name":"PUSH","value":"0"},{"begin":724,"end":743,"name":"SWAP1"},{"begin":724,"end":743,"name":"SLOAD"},{"begin":724,"end":743,"name":"SWAP1"},{"begin":724,"end":743,"name":"PUSH","value":"100"},{"begin":724,"end":743,"name":"EXP"},{"begin":724,"end":743,"name":"SWAP1"},{"begin":724,"end":743,"name":"DIV"},{"begin":724,"end":743,"name":"PUSH","value":"FF"},{"begin":724,"end":743,"name":"AND"},{"begin":695,"end":743,"name":"tag","value":"31"},{"begin":695,"end":743,"name":"JUMPDEST"},{"begin":691,"end":752,"name":"ISZERO"},{"begin":691,"end":752,"name":"PUSH [tag]","value":"32"},{"begin":691,"end":752,"name":"JUMPI"},{"begin":745,"end":752,"name":"PUSH [tag]","value":"30"},{"begin":745,"end":752,"name":"JUMP"},{"begin":691,"end":752,"name":"tag","value":"32"},{"begin":691,"end":752,"name":"JUMPDEST"},{"begin":784,"end":785,"name":"PUSH","value":"1"},{"begin":761,"end":767,"name":"PUSH","value":"1"},{"begin":761,"end":767,"name":"PUSH","value":"0"},{"begin":761,"end":767,"name":"POP"},{"begin":761,"end":774,"name":"PUSH","value":"0"},{"begin":768,"end":773,"name":"DUP4"},{"begin":761,"end":774,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":761,"end":774,"name":"AND"},{"begin":761,"end":774,"name":"DUP2"},{"begin":761,"end":774,"name":"MSTORE"},{"begin":761,"end":774,"name":"PUSH","value":"20"},{"begin":761,"end":774,"name":"ADD"},{"begin":761,"end":774,"name":"SWAP1"},{"begin":761,"end":774,"name":"DUP2"},{"begin":761,"end":774,"name":"MSTORE"},{"begin":761,"end":774,"name":"PUSH","value":"20"},{"begin":761,"end":774,"name":"ADD"},{"begin":761,"end":774,"name":"PUSH","value":"0"},{"begin":761,"end":774,"name":"SHA3"},{"begin":761,"end":774,"name":"PUSH","value":"0"},{"begin":761,"end":774,"name":"POP"},{"begin":761,"end":781,"name":"PUSH","value":"0"},{"begin":761,"end":781,"name":"ADD"},{"begin":761,"end":781,"name":"PUSH","value":"0"},{"begin":761,"end":785,"name":"POP"},{"begin":761,"end":785,"name":"DUP2"},{"begin":761,"end":785,"name":"SWAP1"},{"begin":761,"end":785,"name":"SSTORE"},{"begin":761,"end":785,"name":"POP"},{"begin":641,"end":792,"name":"tag","value":"30"},{"begin":641,"end":792,"name":"JUMPDEST"},{"begin":641,"end":792,"name":"POP"},{"begin":641,"end":792,"name":"JUMP","value":"[out]"},{"begin":1449,"end":1712,"name":"tag","value":"13"},{"begin":1449,"end":1712,"name":"JUMPDEST"},{"begin":1489,"end":1501,"name":"PUSH","value":"0"},{"begin":1504,"end":1510,"name":"PUSH","value":"1"},{"begin":1504,"end":1510,"name":"PUSH","value":"0"},{"begin":1504,"end":1510,"name":"POP"},{"begin":1504,"end":1522,"name":"PUSH","value":"0"},{"begin":1511,"end":1521,"name":"CALLER"},{"begin":1504,"end":1522,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":1504,"end":1522,"name":"AND"},{"begin":1504,"end":1522,"name":"DUP2"},{"begin":1504,"end":1522,"name":"MSTORE"},{"begin":1504,"end":1522,"name":"PUSH","value":"20"},{"begin":1504,"end":1522,"name":"ADD"},{"begin":1504,"end":1522,"name":"SWAP1"},{"begin":1504,"end":1522,"name":"DUP2"},{"begin":1504,"end":1522,"name":"MSTORE"},{"begin":1504,"end":1522,"name":"PUSH","value":"20"},{"begin":1504,"end":1522,"name":"ADD"},{"begin":1504,"end":1522,"name":"PUSH","value":"0"},{"begin":1504,"end":1522,"name":"SHA3"},{"begin":1504,"end":1522,"name":"PUSH","value":"0"},{"begin":1504,"end":1522,"name":"POP"},{"begin":1489,"end":1522,"name":"SWAP1"},{"begin":1489,"end":1522,"name":"POP"},{"begin":1536,"end":1542,"name":"DUP1"},{"begin":1536,"end":1548,"name":"PUSH","value":"1"},{"begin":1536,"end":1548,"name":"ADD"},{"begin":1536,"end":1548,"name":"PUSH","value":"0"},{"begin":1536,"end":1548,"name":"SWAP1"},{"begin":1536,"end":1548,"name":"SLOAD"},{"begin":1536,"end":1548,"name":"SWAP1"},{"begin":1536,"end":1548,"name":"PUSH","value":"100"},{"begin":1536,"end":1548,"name":"EXP"},{"begin":1536,"end":1548,"name":"SWAP1"},{"begin":1536,"end":1548,"name":"DIV"},{"begin":1536,"end":1548,"name":"PUSH","value":"FF"},{"begin":1536,"end":1548,"name":"AND"},{"begin":1536,"end":1580,"name":"DUP1"},{"begin":1536,"end":1580,"name":"PUSH [tag]","value":"34"},{"begin":1536,"end":1580,"name":"JUMPI"},{"begin":1536,"end":1580,"name":"POP"},{"begin":1564,"end":1573,"name":"PUSH","value":"2"},{"begin":1564,"end":1573,"name":"PUSH","value":"0"},{"begin":1564,"end":1573,"name":"POP"},{"begin":1564,"end":1580,"name":"DUP1"},{"begin":1564,"end":1580,"name":"SLOAD"},{"begin":1564,"end":1580,"name":"SWAP1"},{"begin":1564,"end":1580,"name":"POP"},{"begin":1552,"end":1560,"name":"DUP3"},{"begin":1552,"end":1580,"name":"PUSH","value":"FF"},{"begin":1552,"end":1580,"name":"AND"},{"begin":1552,"end":1580,"name":"LT"},{"begin":1552,"end":1580,"name":"ISZERO"},{"begin":1536,"end":1580,"name":"tag","value":"34"},{"begin":1536,"end":1580,"name":"JUMPDEST"},{"begin":1532,"end":1589,"name":"ISZERO"},{"begin":1532,"end":1589,"name":"PUSH [tag]","value":"35"},{"begin":1532,"end":1589,"name":"JUMPI"},{"begin":1582,"end":1589,"name":"PUSH [tag]","value":"33"},{"begin":1582,"end":1589,"name":"JUMP"},{"begin":1532,"end":1589,"name":"tag","value":"35"},{"begin":1532,"end":1589,"name":"JUMPDEST"},{"begin":1613,"end":1617,"name":"PUSH","value":"1"},{"begin":1598,"end":1604,"name":"DUP2"},{"begin":1598,"end":1610,"name":"PUSH","value":"1"},{"begin":1598,"end":1610,"name":"ADD"},{"begin":1598,"end":1610,"name":"PUSH","value":"0"},{"begin":1598,"end":1617,"name":"PUSH","value":"100"},{"begin":1598,"end":1617,"name":"EXP"},{"begin":1598,"end":1617,"name":"DUP2"},{"begin":1598,"end":1617,"name":"SLOAD"},{"begin":1598,"end":1617,"name":"DUP2"},{"begin":1598,"end":1617,"name":"PUSH","value":"FF"},{"begin":1598,"end":1617,"name":"MUL"},{"begin":1598,"end":1617,"name":"NOT"},{"begin":1598,"end":1617,"name":"AND"},{"begin":1598,"end":1617,"name":"SWAP1"},{"begin":1598,"end":1617,"name":"DUP4"},{"begin":1598,"end":1617,"name":"PUSH","value":"100000000000000000000000000000000000000000000000000000000000000"},{"begin":1598,"end":1617,"name":"SWAP1"},{"begin":1598,"end":1617,"name":"DUP2"},{"begin":1598,"end":1617,"name":"MUL"},{"begin":1598,"end":1617,"name":"DIV"},{"begin":1598,"end":1617,"name":"MUL"},{"begin":1598,"end":1617,"name":"OR"},{"begin":1598,"end":1617,"name":"SWAP1"},{"begin":1598,"end":1617,"name":"SSTORE"},{"begin":1598,"end":1617,"name":"POP"},{"begin":1641,"end":1649,"name":"DUP2"},{"begin":1627,"end":1633,"name":"DUP2"},{"begin":1627,"end":1638,"name":"PUSH","value":"1"},{"begin":1627,"end":1638,"name":"ADD"},{"begin":1627,"end":1638,"name":"PUSH","value":"1"},{"begin":1627,"end":1649,"name":"PUSH","value":"100"},{"begin":1627,"end":1649,"name":"EXP"},{"begin":1627,"end":1649,"name":"DUP2"},{"begin":1627,"end":1649,"name":"SLOAD"},{"begin":1627,"end":1649,"name":"DUP2"},{"begin":1627,"end":1649,"name":"PUSH","value":"FF"},{"begin":1627,"end":1649,"name":"MUL"},{"begin":1627,"end":1649,"name":"NOT"},{"begin":1627,"end":1649,"name":"AND"},{"begin":1627,"end":1649,"name":"SWAP1"},{"begin":1627,"end":1649,"name":"DUP4"},{"begin":1627,"end":1649,"name":"PUSH","value":"100000000000000000000000000000000000000000000000000000000000000"},{"begin":1627,"end":1649,"name":"SWAP1"},{"begin":1627,"end":1649,"name":"DUP2"},{"begin":1627,"end":1649,"name":"MUL"},{"begin":1627,"end":1649,"name":"DIV"},{"begin":1627,"end":1649,"name":"MUL"},{"begin":1627,"end":1649,"name":"OR"},{"begin":1627,"end":1649,"name":"SWAP1"},{"begin":1627,"end":1649,"name":"SSTORE"},{"begin":1627,"end":1649,"name":"POP"},{"begin":1692,"end":1698,"name":"DUP1"},{"begin":1692,"end":1705,"name":"PUSH","value":"0"},{"begin":1692,"end":1705,"name":"ADD"},{"begin":1692,"end":1705,"name":"PUSH","value":"0"},{"begin":1692,"end":1705,"name":"POP"},{"begin":1692,"end":1705,"name":"SLOAD"},{"begin":1659,"end":1668,"name":"PUSH","value":"2"},{"begin":1659,"end":1668,"name":"PUSH","value":"0"},{"begin":1659,"end":1668,"name":"POP"},{"begin":1669,"end":1677,"name":"DUP4"},{"begin":1659,"end":1678,"name":"PUSH","value":"FF"},{"begin":1659,"end":1678,"name":"AND"},{"begin":1659,"end":1678,"name":"DUP2"},{"begin":1659,"end":1678,"name":"SLOAD"},{"begin":1659,"end":1678,"name":"DUP2"},{"begin":1659,"end":1678,"name":"LT"},{"begin":1659,"end":1678,"name":"ISZERO"},{"begin":1659,"end":1678,"name":"PUSH [ErrorTag]"},{"begin":1659,"end":1678,"name":"JUMPI"},{"begin":1659,"end":1678,"name":"SWAP1"},{"begin":1659,"end":1678,"name":"PUSH","value":"0"},{"begin":1659,"end":1678,"name":"MSTORE"},{"begin":1659,"end":1678,"name":"PUSH","value":"20"},{"begin":1659,"end":1678,"name":"PUSH","value":"0"},{"begin":1659,"end":1678,"name":"SHA3"},{"begin":1659,"end":1678,"name":"SWAP1"},{"begin":1659,"end":1678,"name":"ADD"},{"begin":1659,"end":1678,"name":"PUSH","value":"0"},{"begin":1659,"end":1678,"name":"tag","value":"36"},{"begin":1659,"end":1678,"name":"JUMPDEST"},{"begin":1659,"end":1678,"name":"POP"},{"begin":1659,"end":1688,"name":"PUSH","value":"0"},{"begin":1659,"end":1688,"name":"ADD"},{"begin":1659,"end":1688,"name":"PUSH","value":"0"},{"begin":1659,"end":1705,"name":"DUP3"},{"begin":1659,"end":1705,"name":"DUP3"},{"begin":1659,"end":1705,"name":"DUP3"},{"begin":1659,"end":1705,"name":"POP"},{"begin":1659,"end":1705,"name":"SLOAD"},{"begin":1659,"end":1705,"name":"ADD"},{"begin":1659,"end":1705,"name":"SWAP3"},{"begin":1659,"end":1705,"name":"POP"},{"begin":1659,"end":1705,"name":"POP"},{"begin":1659,"end":1705,"name":"DUP2"},{"begin":1659,"end":1705,"name":"SWAP1"},{"begin":1659,"end":1705,"name":"SSTORE"},{"begin":1659,"end":1705,"name":"POP"},{"begin":1449,"end":1712,"name":"tag","value":"33"},{"begin":1449,"end":1712,"name":"JUMPDEST"},{"begin":1449,"end":1712,"name":"POP"},{"begin":1449,"end":1712,"name":"POP"},{"begin":1449,"end":1712,"name":"JUMP","value":"[out]"}]}}},"bytecode":"60606040526040516020806107d1833981016040528080519060200190919050505b33600060006101000a81548173ffffffffffffffffffffffffffffffffffffffff02191690836c01000000000000000000000000908102040217905550600160016000506000600060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600050600001600050819055508060ff1660026000508181548183558181151161010e5781836000526020600020918201910161010d91906100eb565b808211156101095760006000820160005060009055506001016100eb565b5090565b5b505050505b506106af806101226000396000f360606040526000357c0100000000000000000000000000000000000000000000000000000000900480635c19a95c1461005d578063609ff1bd1461007a5780639e7b8d61146100a5578063b3f98adc146100c257610058565b610002565b346100025761007860048080359060200190919050506100df565b005b346100025761008c6004805050610412565b604051808260ff16815260200191505060405180910390f35b34610002576100c060048080359060200190919050506104a9565b005b34610002576100dd600480803590602001909190505061058b565b005b60006000600160005060003373ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005091508160010160009054906101000a900460ff16156101305761040d565b5b600073ffffffffffffffffffffffffffffffffffffffff16600160005060008573ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060010160029054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415801561023e57503373ffffffffffffffffffffffffffffffffffffffff16600160005060008573ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060010160029054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614155b1561029f57600160005060008473ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060010160029054906101000a900473ffffffffffffffffffffffffffffffffffffffff1692508250610131565b3373ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156102d85761040d565b60018260010160006101000a81548160ff02191690837f0100000000000000000000000000000000000000000000000000000000000000908102040217905550828260010160026101000a81548173ffffffffffffffffffffffffffffffffffffffff02191690836c01000000000000000000000000908102040217905550600160005060008473ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005090508060010160009054906101000a900460ff16156103f057816000016000505460026000508260010160019054906101000a900460ff1660ff16815481101561000257906000526020600020900160005b5060000160008282825054019250508190555061040c565b8160000160005054816000016000828282505401925050819055505b5b505050565b60006000600060009150600090505b6002600050805490508160ff1610156104a3578160026000508260ff16815481101561000257906000526020600020900160005b506000016000505411156104955760026000508160ff16815481101561000257906000526020600020900160005b50600001600050549150815080925082505b5b8080600101915050610421565b5b505090565b600060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415806105425750600160005060008273ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060010160009054906101000a900460ff165b1561054c57610588565b6001600160005060008373ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600050600001600050819055505b50565b6000600160005060003373ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005090508060010160009054906101000a900460ff16806105e657506002600050805490508260ff1610155b156105f0576106ab565b60018160010160006101000a81548160ff02191690837f0100000000000000000000000000000000000000000000000000000000000000908102040217905550818160010160016101000a81548160ff02191690837f0100000000000000000000000000000000000000000000000000000000000000908102040217905550806000016000505460026000508360ff16815481101561000257906000526020600020900160005b506000016000828282505401925050819055505b505056","functionHashes":{"delegate(address)":"5c19a95c","giveRightToVote(address)":"9e7b8d61","vote(uint8)":"b3f98adc","winningProposal()":"609ff1bd"},"gasEstimates":{"creation":[null,342200],"external":{"delegate(address)":null,"giveRightToVote(address)":20631,"vote(uint8)":61107,"winningProposal()":null},"internal":{}},"interface":"[{\"constant\":false,\"inputs\":[{\"name\":\"to\",\"type\":\"address\"}],\"name\":\"delegate\",\"outputs\":[],\"payable\":false,\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"winningProposal\",\"outputs\":[{\"name\":\"winningProposal\",\"type\":\"uint8\"}],\"payable\":false,\"type\":\"function\"},{\"constant\":false,\"inputs\":[{\"name\":\"voter\",\"type\":\"address\"}],\"name\":\"giveRightToVote\",\"outputs\":[],\"payable\":false,\"type\":\"function\"},{\"constant\":false,\"inputs\":[{\"name\":\"proposal\",\"type\":\"uint8\"}],\"name\":\"vote\",\"outputs\":[],\"payable\":false,\"type\":\"function\"},{\"inputs\":[{\"name\":\"_numProposals\",\"type\":\"uint8\"}],\"type\":\"constructor\"}]\n","opcodes":"PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0x40 MLOAD PUSH1 0x20 DUP1 PUSH2 0x7D1 DUP4 CODECOPY DUP2 ADD PUSH1 0x40 MSTORE DUP1 DUP1 MLOAD SWAP1 PUSH1 0x20 ADD SWAP1 SWAP2 SWAP1 POP POP JUMPDEST CALLER PUSH1 0x0 PUSH1 0x0 PUSH2 0x100 EXP DUP2 SLOAD DUP2 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF MUL NOT AND SWAP1 DUP4 PUSH13 0x1000000000000000000000000 SWAP1 DUP2 MUL DIV MUL OR SWAP1 SSTORE POP PUSH1 0x1 PUSH1 0x1 PUSH1 0x0 POP PUSH1 0x0 PUSH1 0x0 PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 SHA3 PUSH1 0x0 POP PUSH1 0x0 ADD PUSH1 0x0 POP DUP2 SWAP1 SSTORE POP DUP1 PUSH1 0xFF AND PUSH1 0x2 PUSH1 0x0 POP DUP2 DUP2 SLOAD DUP2 DUP4 SSTORE DUP2 DUP2 ISZERO GT PUSH2 0x10E JUMPI DUP2 DUP4 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 SHA3 SWAP2 DUP3 ADD SWAP2 ADD PUSH2 0x10D SWAP2 SWAP1 PUSH2 0xEB JUMP JUMPDEST DUP1 DUP3 GT ISZERO PUSH2 0x109 JUMPI PUSH1 0x0 PUSH1 0x0 DUP3 ADD PUSH1 0x0 POP PUSH1 0x0 SWAP1 SSTORE POP PUSH1 0x1 ADD PUSH2 0xEB JUMP JUMPDEST POP SWAP1 JUMP JUMPDEST JUMPDEST POP POP POP POP JUMPDEST POP PUSH2 0x6AF DUP1 PUSH2 0x122 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0x0 CALLDATALOAD PUSH29 0x100000000000000000000000000000000000000000000000000000000 SWAP1 DIV DUP1 PUSH4 0x5C19A95C EQ PUSH2 0x5D JUMPI DUP1 PUSH4 0x609FF1BD EQ PUSH2 0x7A JUMPI DUP1 PUSH4 0x9E7B8D61 EQ PUSH2 0xA5 JUMPI DUP1 PUSH4 0xB3F98ADC EQ PUSH2 0xC2 JUMPI PUSH2 0x58 JUMP JUMPDEST PUSH2 0x2 JUMP JUMPDEST CALLVALUE PUSH2 0x2 JUMPI PUSH2 0x78 PUSH1 0x4 DUP1 DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP1 SWAP2 SWAP1 POP POP PUSH2 0xDF JUMP JUMPDEST STOP JUMPDEST CALLVALUE PUSH2 0x2 JUMPI PUSH2 0x8C PUSH1 0x4 DUP1 POP POP PUSH2 0x412 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 DUP3 PUSH1 0xFF AND DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST CALLVALUE PUSH2 0x2 JUMPI PUSH2 0xC0 PUSH1 0x4 DUP1 DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP1 SWAP2 SWAP1 POP POP PUSH2 0x4A9 JUMP JUMPDEST STOP JUMPDEST CALLVALUE PUSH2 0x2 JUMPI PUSH2 0xDD PUSH1 0x4 DUP1 DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP1 SWAP2 SWAP1 POP POP PUSH2 0x58B JUMP JUMPDEST STOP JUMPDEST PUSH1 0x0 PUSH1 0x0 PUSH1 0x1 PUSH1 0x0 POP PUSH1 0x0 CALLER PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 SHA3 PUSH1 0x0 POP SWAP2 POP DUP2 PUSH1 0x1 ADD PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND ISZERO PUSH2 0x130 JUMPI PUSH2 0x40D JUMP JUMPDEST JUMPDEST PUSH1 0x0 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH1 0x1 PUSH1 0x0 POP PUSH1 0x0 DUP6 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 SHA3 PUSH1 0x0 POP PUSH1 0x1 ADD PUSH1 0x2 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND EQ ISZERO DUP1 ISZERO PUSH2 0x23E JUMPI POP CALLER PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH1 0x1 PUSH1 0x0 POP PUSH1 0x0 DUP6 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 SHA3 PUSH1 0x0 POP PUSH1 0x1 ADD PUSH1 0x2 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND EQ ISZERO JUMPDEST ISZERO PUSH2 0x29F JUMPI PUSH1 0x1 PUSH1 0x0 POP PUSH1 0x0 DUP5 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 SHA3 PUSH1 0x0 POP PUSH1 0x1 ADD PUSH1 0x2 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND SWAP3 POP DUP3 POP PUSH2 0x131 JUMP JUMPDEST CALLER PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP4 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND EQ ISZERO PUSH2 0x2D8 JUMPI PUSH2 0x40D JUMP JUMPDEST PUSH1 0x1 DUP3 PUSH1 0x1 ADD PUSH1 0x0 PUSH2 0x100 EXP DUP2 SLOAD DUP2 PUSH1 0xFF MUL NOT AND SWAP1 DUP4 PUSH32 0x100000000000000000000000000000000000000000000000000000000000000 SWAP1 DUP2 MUL DIV MUL OR SWAP1 SSTORE POP DUP3 DUP3 PUSH1 0x1 ADD PUSH1 0x2 PUSH2 0x100 EXP DUP2 SLOAD DUP2 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF MUL NOT AND SWAP1 DUP4 PUSH13 0x1000000000000000000000000 SWAP1 DUP2 MUL DIV MUL OR SWAP1 SSTORE POP PUSH1 0x1 PUSH1 0x0 POP PUSH1 0x0 DUP5 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 SHA3 PUSH1 0x0 POP SWAP1 POP DUP1 PUSH1 0x1 ADD PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND ISZERO PUSH2 0x3F0 JUMPI DUP2 PUSH1 0x0 ADD PUSH1 0x0 POP SLOAD PUSH1 0x2 PUSH1 0x0 POP DUP3 PUSH1 0x1 ADD PUSH1 0x1 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND PUSH1 0xFF AND DUP2 SLOAD DUP2 LT ISZERO PUSH2 0x2 JUMPI SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 SHA3 SWAP1 ADD PUSH1 0x0 JUMPDEST POP PUSH1 0x0 ADD PUSH1 0x0 DUP3 DUP3 DUP3 POP SLOAD ADD SWAP3 POP POP DUP2 SWAP1 SSTORE POP PUSH2 0x40C JUMP JUMPDEST DUP2 PUSH1 0x0 ADD PUSH1 0x0 POP SLOAD DUP2 PUSH1 0x0 ADD PUSH1 0x0 DUP3 DUP3 DUP3 POP SLOAD ADD SWAP3 POP POP DUP2 SWAP1 SSTORE POP JUMPDEST JUMPDEST POP POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x0 PUSH1 0x0 PUSH1 0x0 SWAP2 POP PUSH1 0x0 SWAP1 POP JUMPDEST PUSH1 0x2 PUSH1 0x0 POP DUP1 SLOAD SWAP1 POP DUP2 PUSH1 0xFF AND LT ISZERO PUSH2 0x4A3 JUMPI DUP2 PUSH1 0x2 PUSH1 0x0 POP DUP3 PUSH1 0xFF AND DUP2 SLOAD DUP2 LT ISZERO PUSH2 0x2 JUMPI SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 SHA3 SWAP1 ADD PUSH1 0x0 JUMPDEST POP PUSH1 0x0 ADD PUSH1 0x0 POP SLOAD GT ISZERO PUSH2 0x495 JUMPI PUSH1 0x2 PUSH1 0x0 POP DUP2 PUSH1 0xFF AND DUP2 SLOAD DUP2 LT ISZERO PUSH2 0x2 JUMPI SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 SHA3 SWAP1 ADD PUSH1 0x0 JUMPDEST POP PUSH1 0x0 ADD PUSH1 0x0 POP SLOAD SWAP2 POP DUP2 POP DUP1 SWAP3 POP DUP3 POP JUMPDEST JUMPDEST DUP1 DUP1 PUSH1 0x1 ADD SWAP2 POP POP PUSH2 0x421 JUMP JUMPDEST JUMPDEST POP POP SWAP1 JUMP JUMPDEST PUSH1 0x0 PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND CALLER PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND EQ ISZERO DUP1 PUSH2 0x542 JUMPI POP PUSH1 0x1 PUSH1 0x0 POP PUSH1 0x0 DUP3 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 SHA3 PUSH1 0x0 POP PUSH1 0x1 ADD PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND JUMPDEST ISZERO PUSH2 0x54C JUMPI PUSH2 0x588 JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0x0 POP PUSH1 0x0 DUP4 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 SHA3 PUSH1 0x0 POP PUSH1 0x0 ADD PUSH1 0x0 POP DUP2 SWAP1 SSTORE POP JUMPDEST POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x1 PUSH1 0x0 POP PUSH1 0x0 CALLER PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 SHA3 PUSH1 0x0 POP SWAP1 POP DUP1 PUSH1 0x1 ADD PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND DUP1 PUSH2 0x5E6 JUMPI POP PUSH1 0x2 PUSH1 0x0 POP DUP1 SLOAD SWAP1 POP DUP3 PUSH1 0xFF AND LT ISZERO JUMPDEST ISZERO PUSH2 0x5F0 JUMPI PUSH2 0x6AB JUMP JUMPDEST PUSH1 0x1 DUP2 PUSH1 0x1 ADD PUSH1 0x0 PUSH2 0x100 EXP DUP2 SLOAD DUP2 PUSH1 0xFF MUL NOT AND SWAP1 DUP4 PUSH32 0x100000000000000000000000000000000000000000000000000000000000000 SWAP1 DUP2 MUL DIV MUL OR SWAP1 SSTORE POP DUP2 DUP2 PUSH1 0x1 ADD PUSH1 0x1 PUSH2 0x100 EXP DUP2 SLOAD DUP2 PUSH1 0xFF MUL NOT AND SWAP1 DUP4 PUSH32 0x100000000000000000000000000000000000000000000000000000000000000 SWAP1 DUP2 MUL DIV MUL OR SWAP1 SSTORE POP DUP1 PUSH1 0x0 ADD PUSH1 0x0 POP SLOAD PUSH1 0x2 PUSH1 0x0 POP DUP4 PUSH1 0xFF AND DUP2 SLOAD DUP2 LT ISZERO PUSH2 0x2 JUMPI SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 SHA3 SWAP1 ADD PUSH1 0x0 JUMPDEST POP PUSH1 0x0 ADD PUSH1 0x0 DUP3 DUP3 DUP3 POP SLOAD ADD SWAP3 POP POP DUP2 SWAP1 SSTORE POP JUMPDEST POP POP JUMP ","runtimeBytecode":"60606040526000357c0100000000000000000000000000000000000000000000000000000000900480635c19a95c1461005d578063609ff1bd1461007a5780639e7b8d61146100a5578063b3f98adc146100c257610058565b610002565b346100025761007860048080359060200190919050506100df565b005b346100025761008c6004805050610412565b604051808260ff16815260200191505060405180910390f35b34610002576100c060048080359060200190919050506104a9565b005b34610002576100dd600480803590602001909190505061058b565b005b60006000600160005060003373ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005091508160010160009054906101000a900460ff16156101305761040d565b5b600073ffffffffffffffffffffffffffffffffffffffff16600160005060008573ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060010160029054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415801561023e57503373ffffffffffffffffffffffffffffffffffffffff16600160005060008573ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060010160029054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614155b1561029f57600160005060008473ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060010160029054906101000a900473ffffffffffffffffffffffffffffffffffffffff1692508250610131565b3373ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156102d85761040d565b60018260010160006101000a81548160ff02191690837f0100000000000000000000000000000000000000000000000000000000000000908102040217905550828260010160026101000a81548173ffffffffffffffffffffffffffffffffffffffff02191690836c01000000000000000000000000908102040217905550600160005060008473ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005090508060010160009054906101000a900460ff16156103f057816000016000505460026000508260010160019054906101000a900460ff1660ff16815481101561000257906000526020600020900160005b5060000160008282825054019250508190555061040c565b8160000160005054816000016000828282505401925050819055505b5b505050565b60006000600060009150600090505b6002600050805490508160ff1610156104a3578160026000508260ff16815481101561000257906000526020600020900160005b506000016000505411156104955760026000508160ff16815481101561000257906000526020600020900160005b50600001600050549150815080925082505b5b8080600101915050610421565b5b505090565b600060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415806105425750600160005060008273ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060010160009054906101000a900460ff165b1561054c57610588565b6001600160005060008373ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600050600001600050819055505b50565b6000600160005060003373ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005090508060010160009054906101000a900460ff16806105e657506002600050805490508260ff1610155b156105f0576106ab565b60018160010160006101000a81548160ff02191690837f0100000000000000000000000000000000000000000000000000000000000000908102040217905550818160010160016101000a81548160ff02191690837f0100000000000000000000000000000000000000000000000000000000000000908102040217905550806000016000505460026000508360ff16815481101561000257906000526020600020900160005b506000016000828282505401925050819055505b505056","srcmap":"24:2075:0:-;;;373:160;;;;;;;;;;;;;;;;;;;;;;;434:10;420:11;;:24;;;;;;;;;;;;;;;;;;;;;483:1;454:6;;;:19;461:11;;;;;;;;;;;454:19;;;;;;;;;;;;;;;:26;;;:30;;;;;513:13;494:32;;:9;;;:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;373:160;;24:2075;;;;;;","srcmapRuntime":"24:2075:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;845:546;;;;;;;;;;;;;;;;;;;;;1718:379;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;641:151;;;;;;;;;;;;;;;;;;;;;1449:263;;;;;;;;;;;;;;;;;;;;;845:546;885:12;1205:14;900:6;;;:18;907:10;900:18;;;;;;;;;;;;;;;885:33;;953:6;:12;;;;;;;;;;;;949:25;;;967:7;;949:25;983:115;1021:1;990:33;;:6;;;:10;997:2;990:10;;;;;;;;;;;;;;;:19;;;;;;;;;;;;:33;;;;:70;;;;;1050:10;1027:33;;:6;;;:10;1034:2;1027:10;;;;;;;;;;;;;;;:19;;;;;;;;;;;;:33;;;;990:70;983:115;;;1079:6;;;:10;1086:2;1079:10;;;;;;;;;;;;;;;:19;;;;;;;;;;;;1074:24;;;;983:115;;;1118:10;1112:16;;:2;:16;;;1108:29;;;1130:7;;1108:29;1161:4;1146:6;:12;;;:19;;;;;;;;;;;;;;;;;;;;;1193:2;1175:6;:15;;;:20;;;;;;;;;;;;;;;;;;;;;1222:6;;;:10;1229:2;1222:10;;;;;;;;;;;;;;;1205:27;;1246:8;:14;;;;;;;;;;;;1242:142;;;1312:6;:13;;;;;1274:9;;;1284:8;:13;;;;;;;;;;;;1274:24;;;;;;;;;;;;;;;;;;;;:34;;;:51;;;;;;;;;;;;;1242:142;;;1371:6;:13;;;;;1352:8;:15;;;:32;;;;;;;;;;;;;1242:142;845:546;;;;:::o;1718:379::-;1763:21;1796:24;1839:14;1823:1;1796:28;;1856:1;1839:18;;1834:257;1870:9;;;:16;;;;1859:8;:27;;;1834:257;;;1948:16;1916:9;;;1926:8;1916:19;;;;;;;;;;;;;;;;;;;;:29;;;;;:48;1912:179;;;2003:9;;;2013:8;2003:19;;;;;;;;;;;;;;;;;;;;:29;;;;;1984:48;;;;2068:8;2050:26;;;;1912:179;1834:257;1888:10;;;;;;;1834:257;;;1718:379;;;;:::o;641:151::-;709:11;;;;;;;;;;;695:25;;:10;:25;;;;:48;;;;724:6;;;:13;731:5;724:13;;;;;;;;;;;;;;;:19;;;;;;;;;;;;695:48;691:61;;;745:7;;691:61;784:1;761:6;;;:13;768:5;761:13;;;;;;;;;;;;;;;:20;;;:24;;;;;641:151;;:::o;1449:263::-;1489:12;1504:6;;;:18;1511:10;1504:18;;;;;;;;;;;;;;;1489:33;;1536:6;:12;;;;;;;;;;;;:44;;;;1564:9;;;:16;;;;1552:8;:28;;;;1536:44;1532:57;;;1582:7;;1532:57;1613:4;1598:6;:12;;;:19;;;;;;;;;;;;;;;;;;;;;1641:8;1627:6;:11;;;:22;;;;;;;;;;;;;;;;;;;;;1692:6;:13;;;;;1659:9;;;1669:8;1659:19;;;;;;;;;;;;;;;;;;;;:29;;;:46;;;;;;;;;;;;;1449:263;;;:::o"}},"formal":{"errors":["Untitled:14:5: Error: Type \"address\" not supported for state variable.\n    address chairperson;\n    ^-----------------^\n"]},"sourceList":["Untitled"],"sources":{"Untitled":{"AST":{"children":[{"attributes":{"literals":["solidity","^","0.4",".0"]},"id":5909980,"name":"PragmaDirective","src":"0:23:0"},{"attributes":{"fullyImplemented":true,"isLibrary":false,"linearizedBaseContracts":[5929492],"name":"Ballot"},"children":[{"attributes":{"name":"Voter"},"children":[{"attributes":{"name":"weight","type":"uint256"},"children":[{"attributes":{"name":"uint"},"id":5910284,"name":"ElementaryTypeName","src":"70:4:0"}],"id":5910044,"name":"VariableDeclaration","src":"70:11:0"},{"attributes":{"name":"voted","type":"bool"},"children":[{"attributes":{"name":"bool"},"id":5910388,"name":"ElementaryTypeName","src":"91:4:0"}],"id":5744076,"name":"VariableDeclaration","src":"91:10:0"},{"attributes":{"name":"vote","type":"uint8"},"children":[{"attributes":{"name":"uint8"},"id":5910500,"name":"ElementaryTypeName","src":"111:5:0"}],"id":5910588,"name":"VariableDeclaration","src":"111:10:0"},{"attributes":{"name":"delegate","type":"address"},"children":[{"attributes":{"name":"address"},"id":5910708,"name":"ElementaryTypeName","src":"131:7:0"}],"id":5910796,"name":"VariableDeclaration","src":"131:16:0"}],"id":5910876,"name":"StructDefinition","src":"47:107:0"},{"attributes":{"name":"Proposal"},"children":[{"attributes":{"name":"voteCount","type":"uint256"},"children":[{"attributes":{"name":"uint"},"id":5910988,"name":"ElementaryTypeName","src":"185:4:0"}],"id":5911076,"name":"VariableDeclaration","src":"185:14:0"}],"id":5911196,"name":"StructDefinition","src":"159:47:0"},{"attributes":{"name":"chairperson","type":"address"},"children":[{"attributes":{"name":"address"},"id":5911284,"name":"ElementaryTypeName","src":"212:7:0"}],"id":5911436,"name":"VariableDeclaration","src":"212:19:0"},{"attributes":{"name":"voters","type":"mapping(address => struct Voter storage ref)"},"children":[{"children":[{"attributes":{"name":"address"},"id":5911556,"name":"ElementaryTypeName","src":"245:7:0"},{"attributes":{"name":"Voter"},"id":5911612,"name":"UserDefinedTypeName","src":"256:5:0"}],"id":5911668,"name":"Mapping","src":"237:25:0"}],"id":5911756,"name":"VariableDeclaration","src":"237:32:0"},{"attributes":{"name":"proposals","type":"struct Proposal storage ref[] storage ref"},"children":[{"children":[{"attributes":{"name":"Proposal"},"id":5911836,"name":"UserDefinedTypeName","src":"275:8:0"}],"id":5911908,"name":"ArrayTypeName","src":"275:10:0"}],"id":5912108,"name":"VariableDeclaration","src":"275:20:0"},{"attributes":{"constant":false,"name":"Ballot","public":true},"children":[{"children":[{"attributes":{"name":"_numProposals","type":"uint8"},"children":[{"attributes":{"name":"uint8"},"id":5912404,"name":"ElementaryTypeName","src":"389:5:0"}],"id":5912516,"name":"VariableDeclaration","src":"389:19:0"}],"id":5912596,"name":"ParameterList","src":"388:21:0"},{"children":[],"id":5912668,"name":"ParameterList","src":"410:0:0"},{"children":[{"children":[{"attributes":{"operator":"=","type":"address"},"children":[{"attributes":{"type":"address","value":"chairperson"},"id":5912780,"name":"Identifier","src":"420:11:0"},{"attributes":{"member_name":"sender","type":"address"},"children":[{"attributes":{"type":"msg","value":"msg"},"id":5912860,"name":"Identifier","src":"434:3:0"}],"id":5912940,"name":"MemberAccess","src":"434:10:0"}],"id":5912996,"name":"Assignment","src":"420:24:0"}],"id":5913060,"name":"ExpressionStatement","src":"420:24:0"},{"children":[{"attributes":{"operator":"=","type":"uint256"},"children":[{"attributes":{"member_name":"weight","type":"uint256"},"children":[{"attributes":{"type":"struct Voter storage ref"},"children":[{"attributes":{"type":"mapping(address => struct Voter storage ref)","value":"voters"},"id":5913148,"name":"Identifier","src":"454:6:0"},{"attributes":{"type":"address","value":"chairperson"},"id":5913268,"name":"Identifier","src":"461:11:0"}],"id":5913348,"name":"IndexAccess","src":"454:19:0"}],"id":5913436,"name":"MemberAccess","src":"454:26:0"},{"attributes":{"hexvalue":"31","subdenomination":null,"token":null,"type":"int_const 1","value":"1"},"id":5913524,"name":"Literal","src":"483:1:0"}],"id":5913580,"name":"Assignment","src":"454:30:0"}],"id":5913644,"name":"ExpressionStatement","src":"454:30:0"},{"children":[{"attributes":{"operator":"=","type":"uint256"},"children":[{"attributes":{"member_name":"length","type":"uint256"},"children":[{"attributes":{"type":"struct Proposal storage ref[] storage ref","value":"proposals"},"id":5913732,"name":"Identifier","src":"494:9:0"}],"id":5913916,"name":"MemberAccess","src":"494:16:0"},{"attributes":{"type":"uint8","value":"_numProposals"},"id":5914028,"name":"Identifier","src":"513:13:0"}],"id":5914076,"name":"Assignment","src":"494:32:0"}],"id":5914140,"name":"ExpressionStatement","src":"494:32:0"}],"id":5912260,"name":"Block","src":"410:123:0"}],"id":5914196,"name":"FunctionDefinition","src":"373:160:0"},{"attributes":{"constant":false,"name":"giveRightToVote","public":true},"children":[{"children":[{"attributes":{"name":"voter","type":"address"},"children":[{"attributes":{"name":"address"},"id":5914404,"name":"ElementaryTypeName","src":"666:7:0"}],"id":5914492,"name":"VariableDeclaration","src":"666:13:0"}],"id":5914572,"name":"ParameterList","src":"665:15:0"},{"children":[],"id":5914628,"name":"ParameterList","src":"681:0:0"},{"children":[{"children":[{"attributes":{"operator":"||","type":"bool"},"children":[{"attributes":{"operator":"!=","type":"bool"},"children":[{"attributes":{"member_name":"sender","type":"address"},"children":[{"attributes":{"type":"msg","value":"msg"},"id":5914716,"name":"Identifier","src":"695:3:0"}],"id":5914796,"name":"MemberAccess","src":"695:10:0"},{"attributes":{"type":"address","value":"chairperson"},"id":5914908,"name":"Identifier","src":"709:11:0"}],"id":5912036,"name":"BinaryOperation","src":"695:25:0"},{"attributes":{"member_name":"voted","type":"bool"},"children":[{"attributes":{"type":"struct Voter storage ref"},"children":[{"attributes":{"type":"mapping(address => struct Voter storage ref)","value":"voters"},"id":5914988,"name":"Identifier","src":"724:6:0"},{"attributes":{"type":"address","value":"voter"},"id":5915068,"name":"Identifier","src":"731:5:0"}],"id":5915116,"name":"IndexAccess","src":"724:13:0"}],"id":5915204,"name":"MemberAccess","src":"724:19:0"}],"id":5915260,"name":"BinaryOperation","src":"695:48:0"},{"children":[],"id":5915324,"name":"Return","src":"745:7:0"}],"id":5915380,"name":"IfStatement","src":"691:61:0"},{"children":[{"attributes":{"operator":"=","type":"uint256"},"children":[{"attributes":{"member_name":"weight","type":"uint256"},"children":[{"attributes":{"type":"struct Voter storage ref"},"children":[{"attributes":{"type":"mapping(address => struct Voter storage ref)","value":"voters"},"id":5915484,"name":"Identifier","src":"761:6:0"},{"attributes":{"type":"address","value":"voter"},"id":5915580,"name":"Identifier","src":"768:5:0"}],"id":5915660,"name":"IndexAccess","src":"761:13:0"}],"id":5915748,"name":"MemberAccess","src":"761:20:0"},{"attributes":{"hexvalue":"31","subdenomination":null,"token":null,"type":"int_const 1","value":"1"},"id":5915836,"name":"Literal","src":"784:1:0"}],"id":5915892,"name":"Assignment","src":"761:24:0"}],"id":5915956,"name":"ExpressionStatement","src":"761:24:0"}],"id":5916012,"name":"Block","src":"681:111:0"}],"id":5916100,"name":"FunctionDefinition","src":"641:151:0"},{"attributes":{"constant":false,"name":"delegate","public":true},"children":[{"children":[{"attributes":{"name":"to","type":"address"},"children":[{"attributes":{"name":"address"},"id":5916308,"name":"ElementaryTypeName","src":"863:7:0"}],"id":5916396,"name":"VariableDeclaration","src":"863:10:0"}],"id":5916476,"name":"ParameterList","src":"862:12:0"},{"children":[],"id":5916532,"name":"ParameterList","src":"875:0:0"},{"children":[{"children":[{"attributes":{"name":"sender","type":"struct Voter storage pointer"},"children":[{"attributes":{"name":"Voter"},"id":5916588,"name":"UserDefinedTypeName","src":"885:5:0"}],"id":5916692,"name":"VariableDeclaration","src":"885:12:0"},{"attributes":{"type":"struct Voter storage ref"},"children":[{"attributes":{"type":"mapping(address => struct Voter storage ref)","value":"voters"},"id":5916804,"name":"Identifier","src":"900:6:0"},{"attributes":{"member_name":"sender","type":"address"},"children":[{"attributes":{"type":"msg","value":"msg"},"id":5916884,"name":"Identifier","src":"907:3:0"}],"id":5916964,"name":"MemberAccess","src":"907:10:0"}],"id":5917020,"name":"IndexAccess","src":"900:18:0"}],"id":5917076,"name":"VariableDefinitionStatement","src":"885:33:0"},{"children":[{"attributes":{"member_name":"voted","type":"bool"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"sender"},"id":5917196,"name":"Identifier","src":"953:6:0"}],"id":5917276,"name":"MemberAccess","src":"953:12:0"},{"children":[],"id":5917332,"name":"Return","src":"967:7:0"}],"id":5917388,"name":"IfStatement","src":"949:25:0"},{"children":[{"attributes":{"operator":"&&","type":"bool"},"children":[{"attributes":{"operator":"!=","type":"bool"},"children":[{"attributes":{"member_name":"delegate","type":"address"},"children":[{"attributes":{"type":"struct Voter storage ref"},"children":[{"attributes":{"type":"mapping(address => struct Voter storage ref)","value":"voters"},"id":5917516,"name":"Identifier","src":"990:6:0"},{"attributes":{"type":"address","value":"to"},"id":5917596,"name":"Identifier","src":"997:2:0"}],"id":5917644,"name":"IndexAccess","src":"990:10:0"}],"id":5917732,"name":"MemberAccess","src":"990:19:0"},{"attributes":{"type":"address","type_conversion":true},"children":[{"attributes":{"type":"type(address)","value":"address"},"id":5917788,"name":"ElementaryTypenameExpression","src":"1013:7:0"},{"attributes":{"hexvalue":"30","subdenomination":null,"token":null,"type":"int_const 0","value":"0"},"id":5917876,"name":"Literal","src":"1021:1:0"}],"id":5917932,"name":"FunctionCall","src":"1013:10:0"}],"id":5918020,"name":"BinaryOperation","src":"990:33:0"},{"attributes":{"operator":"!=","type":"bool"},"children":[{"attributes":{"member_name":"delegate","type":"address"},"children":[{"attributes":{"type":"struct Voter storage ref"},"children":[{"attributes":{"type":"mapping(address => struct Voter storage ref)","value":"voters"},"id":5918116,"name":"Identifier","src":"1027:6:0"},{"attributes":{"type":"address","value":"to"},"id":5918196,"name":"Identifier","src":"1034:2:0"}],"id":5918244,"name":"IndexAccess","src":"1027:10:0"}],"id":5918332,"name":"MemberAccess","src":"1027:19:0"},{"attributes":{"member_name":"sender","type":"address"},"children":[{"attributes":{"type":"msg","value":"msg"},"id":5918420,"name":"Identifier","src":"1050:3:0"}],"id":5918500,"name":"MemberAccess","src":"1050:10:0"}],"id":5918556,"name":"BinaryOperation","src":"1027:33:0"}],"id":5918620,"name":"BinaryOperation","src":"990:70:0"},{"children":[{"attributes":{"operator":"=","type":"address"},"children":[{"attributes":{"type":"address","value":"to"},"id":5918716,"name":"Identifier","src":"1074:2:0"},{"attributes":{"member_name":"delegate","type":"address"},"children":[{"attributes":{"type":"struct Voter storage ref"},"children":[{"attributes":{"type":"mapping(address => struct Voter storage ref)","value":"voters"},"id":5918796,"name":"Identifier","src":"1079:6:0"},{"attributes":{"type":"address","value":"to"},"id":5918876,"name":"Identifier","src":"1086:2:0"}],"id":5918924,"name":"IndexAccess","src":"1079:10:0"}],"id":5919012,"name":"MemberAccess","src":"1079:19:0"}],"id":5919068,"name":"Assignment","src":"1074:24:0"}],"id":5919132,"name":"ExpressionStatement","src":"1074:24:0"}],"id":5919188,"name":"WhileStatement","src":"983:115:0"},{"children":[{"attributes":{"operator":"==","type":"bool"},"children":[{"attributes":{"type":"address","value":"to"},"id":5919324,"name":"Identifier","src":"1112:2:0"},{"attributes":{"member_name":"sender","type":"address"},"children":[{"attributes":{"type":"msg","value":"msg"},"id":5919404,"name":"Identifier","src":"1118:3:0"}],"id":5919484,"name":"MemberAccess","src":"1118:10:0"}],"id":5919540,"name":"BinaryOperation","src":"1112:16:0"},{"children":[],"id":5919604,"name":"Return","src":"1130:7:0"}],"id":5919660,"name":"IfStatement","src":"1108:29:0"},{"children":[{"attributes":{"operator":"=","type":"bool"},"children":[{"attributes":{"member_name":"voted","type":"bool"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"sender"},"id":5919764,"name":"Identifier","src":"1146:6:0"}],"id":5919924,"name":"MemberAccess","src":"1146:12:0"},{"attributes":{"hexvalue":"74727565","subdenomination":null,"token":"true","type":"bool","value":"true"},"id":5920012,"name":"Literal","src":"1161:4:0"}],"id":5920068,"name":"Assignment","src":"1146:19:0"}],"id":5920132,"name":"ExpressionStatement","src":"1146:19:0"},{"children":[{"attributes":{"operator":"=","type":"address"},"children":[{"attributes":{"member_name":"delegate","type":"address"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"sender"},"id":5920188,"name":"Identifier","src":"1175:6:0"}],"id":5920348,"name":"MemberAccess","src":"1175:15:0"},{"attributes":{"type":"address","value":"to"},"id":5920436,"name":"Identifier","src":"1193:2:0"}],"id":5920484,"name":"Assignment","src":"1175:20:0"}],"id":5920548,"name":"ExpressionStatement","src":"1175:20:0"},{"children":[{"attributes":{"name":"delegate","type":"struct Voter storage pointer"},"children":[{"attributes":{"name":"Voter"},"id":5920604,"name":"UserDefinedTypeName","src":"1205:5:0"}],"id":5920236,"name":"VariableDeclaration","src":"1205:14:0"},{"attributes":{"type":"struct Voter storage ref"},"children":[{"attributes":{"type":"mapping(address => struct Voter storage ref)","value":"voters"},"id":5920724,"name":"Identifier","src":"1222:6:0"},{"attributes":{"type":"address","value":"to"},"id":5920804,"name":"Identifier","src":"1229:2:0"}],"id":5920852,"name":"IndexAccess","src":"1222:10:0"}],"id":5920908,"name":"VariableDefinitionStatement","src":"1205:27:0"},{"children":[{"attributes":{"member_name":"voted","type":"bool"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"delegate"},"id":5921028,"name":"Identifier","src":"1246:8:0"}],"id":5921108,"name":"MemberAccess","src":"1246:14:0"},{"children":[{"attributes":{"operator":"+=","type":"uint256"},"children":[{"attributes":{"member_name":"voteCount","type":"uint256"},"children":[{"attributes":{"type":"struct Proposal storage ref"},"children":[{"attributes":{"type":"struct Proposal storage ref[] storage ref","value":"proposals"},"id":5921196,"name":"Identifier","src":"1274:9:0"},{"attributes":{"member_name":"vote","type":"uint8"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"delegate"},"id":5921276,"name":"Identifier","src":"1284:8:0"}],"id":5921356,"name":"MemberAccess","src":"1284:13:0"}],"id":5921444,"name":"IndexAccess","src":"1274:24:0"}],"id":5921532,"name":"MemberAccess","src":"1274:34:0"},{"attributes":{"member_name":"weight","type":"uint256"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"sender"},"id":5921620,"name":"Identifier","src":"1312:6:0"}],"id":5921700,"name":"MemberAccess","src":"1312:13:0"}],"id":5921756,"name":"Assignment","src":"1274:51:0"}],"id":5921820,"name":"ExpressionStatement","src":"1274:51:0"},{"children":[{"attributes":{"operator":"+=","type":"uint256"},"children":[{"attributes":{"member_name":"weight","type":"uint256"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"delegate"},"id":5921876,"name":"Identifier","src":"1352:8:0"}],"id":5922060,"name":"MemberAccess","src":"1352:15:0"},{"attributes":{"member_name":"weight","type":"uint256"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"sender"},"id":5922148,"name":"Identifier","src":"1371:6:0"}],"id":5922228,"name":"MemberAccess","src":"1371:13:0"}],"id":5922284,"name":"Assignment","src":"1352:32:0"}],"id":5922348,"name":"ExpressionStatement","src":"1352:32:0"}],"id":5922404,"name":"IfStatement","src":"1242:142:0"}],"id":5922476,"name":"Block","src":"875:516:0"}],"id":5922612,"name":"FunctionDefinition","src":"845:546:0"},{"attributes":{"constant":false,"name":"vote","public":true},"children":[{"children":[{"attributes":{"name":"proposal","type":"uint8"},"children":[{"attributes":{"name":"uint8"},"id":5922852,"name":"ElementaryTypeName","src":"1463:5:0"}],"id":5919812,"name":"VariableDeclaration","src":"1463:14:0"}],"id":5922940,"name":"ParameterList","src":"1462:16:0"},{"children":[],"id":5923012,"name":"ParameterList","src":"1479:0:0"},{"children":[{"children":[{"attributes":{"name":"sender","type":"struct Voter storage pointer"},"children":[{"attributes":{"name":"Voter"},"id":5923068,"name":"UserDefinedTypeName","src":"1489:5:0"}],"id":5923172,"name":"VariableDeclaration","src":"1489:12:0"},{"attributes":{"type":"struct Voter storage ref"},"children":[{"attributes":{"type":"mapping(address => struct Voter storage ref)","value":"voters"},"id":5923284,"name":"Identifier","src":"1504:6:0"},{"attributes":{"member_name":"sender","type":"address"},"children":[{"attributes":{"type":"msg","value":"msg"},"id":5923364,"name":"Identifier","src":"1511:3:0"}],"id":5923444,"name":"MemberAccess","src":"1511:10:0"}],"id":5923500,"name":"IndexAccess","src":"1504:18:0"}],"id":5923556,"name":"VariableDefinitionStatement","src":"1489:33:0"},{"children":[{"attributes":{"operator":"||","type":"bool"},"children":[{"attributes":{"member_name":"voted","type":"bool"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"sender"},"id":5923676,"name":"Identifier","src":"1536:6:0"}],"id":5923756,"name":"MemberAccess","src":"1536:12:0"},{"attributes":{"operator":">=","type":"bool"},"children":[{"attributes":{"type":"uint8","value":"proposal"},"id":5923844,"name":"Identifier","src":"1552:8:0"},{"attributes":{"member_name":"length","type":"uint256"},"children":[{"attributes":{"type":"struct Proposal storage ref[] storage ref","value":"proposals"},"id":5923924,"name":"Identifier","src":"1564:9:0"}],"id":5924004,"name":"MemberAccess","src":"1564:16:0"}],"id":5924060,"name":"BinaryOperation","src":"1552:28:0"}],"id":5924124,"name":"BinaryOperation","src":"1536:44:0"},{"children":[],"id":5924188,"name":"Return","src":"1582:7:0"}],"id":5924244,"name":"IfStatement","src":"1532:57:0"},{"children":[{"attributes":{"operator":"=","type":"bool"},"children":[{"attributes":{"member_name":"voted","type":"bool"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"sender"},"id":5924372,"name":"Identifier","src":"1598:6:0"}],"id":5924556,"name":"MemberAccess","src":"1598:12:0"},{"attributes":{"hexvalue":"74727565","subdenomination":null,"token":"true","type":"bool","value":"true"},"id":5924644,"name":"Literal","src":"1613:4:0"}],"id":5924700,"name":"Assignment","src":"1598:19:0"}],"id":5924764,"name":"ExpressionStatement","src":"1598:19:0"},{"children":[{"attributes":{"operator":"=","type":"uint8"},"children":[{"attributes":{"member_name":"vote","type":"uint8"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"sender"},"id":5924892,"name":"Identifier","src":"1627:6:0"}],"id":5925052,"name":"MemberAccess","src":"1627:11:0"},{"attributes":{"type":"uint8","value":"proposal"},"id":5925140,"name":"Identifier","src":"1641:8:0"}],"id":5925188,"name":"Assignment","src":"1627:22:0"}],"id":5925252,"name":"ExpressionStatement","src":"1627:22:0"},{"children":[{"attributes":{"operator":"+=","type":"uint256"},"children":[{"attributes":{"member_name":"voteCount","type":"uint256"},"children":[{"attributes":{"type":"struct Proposal storage ref"},"children":[{"attributes":{"type":"struct Proposal storage ref[] storage ref","value":"proposals"},"id":5925340,"name":"Identifier","src":"1659:9:0"},{"attributes":{"type":"uint8","value":"proposal"},"id":5925420,"name":"Identifier","src":"1669:8:0"}],"id":5925500,"name":"IndexAccess","src":"1659:19:0"}],"id":5925588,"name":"MemberAccess","src":"1659:29:0"},{"attributes":{"member_name":"weight","type":"uint256"},"children":[{"attributes":{"type":"struct Voter storage pointer","value":"sender"},"id":5925676,"name":"Identifier","src":"1692:6:0"}],"id":5925756,"name":"MemberAccess","src":"1692:13:0"}],"id":5925812,"name":"Assignment","src":"1659:46:0"}],"id":5925876,"name":"ExpressionStatement","src":"1659:46:0"}],"id":5925932,"name":"Block","src":"1479:233:0"}],"id":5926044,"name":"FunctionDefinition","src":"1449:263:0"},{"attributes":{"constant":true,"name":"winningProposal","public":true},"children":[{"children":[],"id":5926300,"name":"ParameterList","src":"1742:2:0"},{"children":[{"attributes":{"name":"winningProposal","type":"uint8"},"children":[{"attributes":{"name":"uint8"},"id":5926356,"name":"ElementaryTypeName","src":"1763:5:0"}],"id":5924940,"name":"VariableDeclaration","src":"1763:21:0"}],"id":5926436,"name":"ParameterList","src":"1762:23:0"},{"children":[{"children":[{"attributes":{"name":"winningVoteCount","type":"uint256"},"children":[{"attributes":{"name":"uint256"},"id":5926508,"name":"ElementaryTypeName","src":"1796:7:0"}],"id":5926636,"name":"VariableDeclaration","src":"1796:24:0"},{"attributes":{"hexvalue":"30","subdenomination":null,"token":null,"type":"int_const 0","value":"0"},"id":5926748,"name":"Literal","src":"1823:1:0"}],"id":5912188,"name":"VariableDefinitionStatement","src":"1796:28:0"},{"children":[{"children":[{"attributes":{"name":"proposal","type":"uint8"},"children":[{"attributes":{"name":"uint8"},"id":5926820,"name":"ElementaryTypeName","src":"1839:5:0"}],"id":5926908,"name":"VariableDeclaration","src":"1839:14:0"},{"attributes":{"hexvalue":"30","subdenomination":null,"token":null,"type":"int_const 0","value":"0"},"id":5927036,"name":"Literal","src":"1856:1:0"}],"id":5927092,"name":"VariableDefinitionStatement","src":"1839:18:0"},{"attributes":{"operator":"<","type":"bool"},"children":[{"attributes":{"type":"uint8","value":"proposal"},"id":5927212,"name":"Identifier","src":"1859:8:0"},{"attributes":{"member_name":"length","type":"uint256"},"children":[{"attributes":{"type":"struct Proposal storage ref[] storage ref","value":"proposals"},"id":5927292,"name":"Identifier","src":"1870:9:0"}],"id":5927372,"name":"MemberAccess","src":"1870:16:0"}],"id":5927428,"name":"BinaryOperation","src":"1859:27:0"},{"children":[{"attributes":{"operator":"++","prefix":false,"type":"uint8"},"children":[{"attributes":{"type":"uint8","value":"proposal"},"id":5927524,"name":"Identifier","src":"1888:8:0"}],"id":5927572,"name":"UnaryOperation","src":"1888:10:0"}],"id":5927628,"name":"ExpressionStatement","src":"1888:10:0"},{"children":[{"attributes":{"operator":">","type":"bool"},"children":[{"attributes":{"member_name":"voteCount","type":"uint256"},"children":[{"attributes":{"type":"struct Proposal storage ref"},"children":[{"attributes":{"type":"struct Proposal storage ref[] storage ref","value":"proposals"},"id":5927716,"name":"Identifier","src":"1916:9:0"},{"attributes":{"type":"uint8","value":"proposal"},"id":5927796,"name":"Identifier","src":"1926:8:0"}],"id":5927844,"name":"IndexAccess","src":"1916:19:0"}],"id":5927932,"name":"MemberAccess","src":"1916:29:0"},{"attributes":{"type":"uint256","value":"winningVoteCount"},"id":5928060,"name":"Identifier","src":"1948:16:0"}],"id":5928108,"name":"BinaryOperation","src":"1916:48:0"},{"children":[{"children":[{"attributes":{"operator":"=","type":"uint256"},"children":[{"attributes":{"type":"uint256","value":"winningVoteCount"},"id":5928244,"name":"Identifier","src":"1984:16:0"},{"attributes":{"member_name":"voteCount","type":"uint256"},"children":[{"attributes":{"type":"struct Proposal storage ref"},"children":[{"attributes":{"type":"struct Proposal storage ref[] storage ref","value":"proposals"},"id":5928324,"name":"Identifier","src":"2003:9:0"},{"attributes":{"type":"uint8","value":"proposal"},"id":5928404,"name":"Identifier","src":"2013:8:0"}],"id":5928452,"name":"IndexAccess","src":"2003:19:0"}],"id":5928540,"name":"MemberAccess","src":"2003:29:0"}],"id":5928596,"name":"Assignment","src":"1984:48:0"}],"id":5928660,"name":"ExpressionStatement","src":"1984:48:0"},{"children":[{"attributes":{"operator":"=","type":"uint8"},"children":[{"attributes":{"type":"uint8","value":"winningProposal"},"id":5928772,"name":"Identifier","src":"2050:15:0"},{"attributes":{"type":"uint8","value":"proposal"},"id":5928852,"name":"Identifier","src":"2068:8:0"}],"id":5928900,"name":"Assignment","src":"2050:26:0"}],"id":5928964,"name":"ExpressionStatement","src":"2050:26:0"}],"id":5929044,"name":"Block","src":"1966:125:0"}],"id":5929132,"name":"IfStatement","src":"1912:179:0"}],"id":5929204,"name":"ForStatement","src":"1834:257:0"}],"id":5929284,"name":"Block","src":"1786:311:0"}],"id":5929372,"name":"FunctionDefinition","src":"1718:379:0"}],"id":5929492,"name":"ContractDefinition","src":"24:2075:0"}],"name":"SourceUnit"}}}}},"1Untitledpragmasolidity^0.4.0;contractTestContract{functionf()returns(uint){return8;}}":{"key":"1Untitledpragmasolidity^0.4.0;contractTestContract{functionf()returns(uint){return8;}}","source":{"sources":{"Untitled":"pragma solidity ^0.4.0;\n      contract TestContract { function f() returns (uint) { return 8; } }"}},"optimization":1,"missingInputs":[],"result":{"contracts":{"TestContract":{"assembly":{".code":[{"begin":30,"end":97,"name":"PUSH","value":"60"},{"begin":30,"end":97,"name":"PUSH","value":"40"},{"begin":30,"end":97,"name":"MSTORE"},{"begin":30,"end":97,"name":"PUSH #[$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":30,"end":97,"name":"DUP1"},{"begin":30,"end":97,"name":"PUSH [$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":30,"end":97,"name":"PUSH","value":"0"},{"begin":30,"end":97,"name":"CODECOPY"},{"begin":30,"end":97,"name":"PUSH","value":"0"},{"begin":30,"end":97,"name":"RETURN"}],".data":{"0":{".code":[{"begin":30,"end":97,"name":"PUSH","value":"60"},{"begin":30,"end":97,"name":"PUSH","value":"40"},{"begin":30,"end":97,"name":"MSTORE"},{"begin":-1,"end":-1,"name":"PUSH","value":"E0"},{"begin":-1,"end":-1,"name":"PUSH","value":"2"},{"begin":-1,"end":-1,"name":"EXP"},{"begin":30,"end":97,"name":"PUSH","value":"0"},{"begin":30,"end":97,"name":"CALLDATALOAD"},{"begin":30,"end":97,"name":"DIV"},{"begin":30,"end":97,"name":"PUSH","value":"26121FF0"},{"begin":30,"end":97,"name":"DUP2"},{"begin":30,"end":97,"name":"EQ"},{"begin":30,"end":97,"name":"PUSH [tag]","value":"2"},{"begin":30,"end":97,"name":"JUMPI"},{"begin":30,"end":97,"name":"tag","value":"1"},{"begin":30,"end":97,"name":"JUMPDEST"},{"begin":30,"end":97,"name":"PUSH [ErrorTag]"},{"begin":30,"end":97,"name":"JUMP"},{"begin":54,"end":95,"name":"tag","value":"2"},{"begin":54,"end":95,"name":"JUMPDEST"},{"begin":54,"end":95,"name":"CALLVALUE"},{"begin":54,"end":95,"name":"PUSH [ErrorTag]"},{"begin":54,"end":95,"name":"JUMPI"},{"begin":91,"end":92,"name":"PUSH","value":"8"},{"begin":54,"end":95,"name":"PUSH","value":"40"},{"begin":54,"end":95,"name":"DUP1"},{"begin":54,"end":95,"name":"MLOAD"},{"begin":54,"end":95,"name":"SWAP2"},{"begin":54,"end":95,"name":"DUP3"},{"begin":54,"end":95,"name":"MSTORE"},{"begin":54,"end":95,"name":"MLOAD"},{"begin":54,"end":95,"name":"SWAP1"},{"begin":54,"end":95,"name":"DUP2"},{"begin":54,"end":95,"name":"SWAP1"},{"begin":54,"end":95,"name":"SUB"},{"begin":54,"end":95,"name":"PUSH","value":"20"},{"begin":54,"end":95,"name":"ADD"},{"begin":54,"end":95,"name":"SWAP1"},{"begin":54,"end":95,"name":"RETURN"}]}}},"bytecode":"606060405260348060106000396000f3606060405260e060020a600035046326121ff08114601c575b6002565b34600257600860408051918252519081900360200190f3","functionHashes":{"f()":"26121ff0"},"gasEstimates":{"creation":[42,10400],"external":{"f()":141},"internal":{}},"interface":"[{\"constant\":false,\"inputs\":[],\"name\":\"f\",\"outputs\":[{\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"type\":\"function\"}]\n","opcodes":"PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0x34 DUP1 PUSH1 0x10 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0xE0 PUSH1 0x2 EXP PUSH1 0x0 CALLDATALOAD DIV PUSH4 0x26121FF0 DUP2 EQ PUSH1 0x1C JUMPI JUMPDEST PUSH1 0x2 JUMP JUMPDEST CALLVALUE PUSH1 0x2 JUMPI PUSH1 0x8 PUSH1 0x40 DUP1 MLOAD SWAP2 DUP3 MSTORE MLOAD SWAP1 DUP2 SWAP1 SUB PUSH1 0x20 ADD SWAP1 RETURN ","runtimeBytecode":"606060405260e060020a600035046326121ff08114601c575b6002565b34600257600860408051918252519081900360200190f3","srcmap":"30:67:0:-;;;;;;;;;","srcmapRuntime":"30:67:0:-;;;-1:-1:-1;;;30:67:0;;;;;;;;;;;54:41;;;;91:1;54:41;;;;;;;;;;;;;;"}},"formal":{"errors":["Untitled:2:53: Error: Unnamed return variables not yet supported.\n      contract TestContract { function f() returns (uint) { return 8; } }\n                                                    ^--^\n"]},"sourceList":["Untitled"],"sources":{"Untitled":{"AST":{"children":[{"attributes":{"literals":["solidity","^","0.4",".0"]},"id":5747396,"name":"PragmaDirective","src":"0:23:0"},{"attributes":{"fullyImplemented":true,"isLibrary":false,"linearizedBaseContracts":[5748260],"name":"TestContract"},"children":[{"attributes":{"constant":false,"name":"f","public":true},"children":[{"children":[],"id":5747804,"name":"ParameterList","src":"64:2:0"},{"children":[{"attributes":{"name":"","type":"uint256"},"children":[{"attributes":{"name":"uint"},"id":5747860,"name":"ElementaryTypeName","src":"76:4:0"}],"id":5747460,"name":"VariableDeclaration","src":"76:4:0"}],"id":5747964,"name":"ParameterList","src":"75:6:0"},{"children":[{"children":[{"attributes":{"hexvalue":"38","subdenomination":null,"token":null,"type":"int_const 8","value":"8"},"id":5748068,"name":"Literal","src":"91:1:0"}],"id":5748124,"name":"Return","src":"84:8:0"}],"id":5748180,"name":"Block","src":"82:13:0"}],"id":5746900,"name":"FunctionDefinition","src":"54:41:0"}],"id":5748260,"name":"ContractDefinition","src":"30:67:0"}],"name":"SourceUnit"}}}}},"0Untitledpragmasolidity^0.4.0;contractTestContract{functionf()returns(uint){return8;}}":{"key":"0Untitledpragmasolidity^0.4.0;contractTestContract{functionf()returns(uint){return8;}}","source":{"sources":{"Untitled":"pragma solidity ^0.4.0;\n      contract TestContract { function f() returns (uint) { return 8; } }"}},"optimization":0,"missingInputs":[],"result":{"contracts":{"TestContract":{"assembly":{".code":[{"begin":30,"end":97,"name":"PUSH","value":"60"},{"begin":30,"end":97,"name":"PUSH","value":"40"},{"begin":30,"end":97,"name":"MSTORE"},{"begin":30,"end":97,"name":"PUSH #[$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":30,"end":97,"name":"DUP1"},{"begin":30,"end":97,"name":"PUSH [$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":30,"end":97,"name":"PUSH","value":"0"},{"begin":30,"end":97,"name":"CODECOPY"},{"begin":30,"end":97,"name":"PUSH","value":"0"},{"begin":30,"end":97,"name":"RETURN"}],".data":{"0":{".code":[{"begin":30,"end":97,"name":"PUSH","value":"60"},{"begin":30,"end":97,"name":"PUSH","value":"40"},{"begin":30,"end":97,"name":"MSTORE"},{"begin":30,"end":97,"name":"PUSH","value":"0"},{"begin":30,"end":97,"name":"CALLDATALOAD"},{"begin":30,"end":97,"name":"PUSH","value":"100000000000000000000000000000000000000000000000000000000"},{"begin":30,"end":97,"name":"SWAP1"},{"begin":30,"end":97,"name":"DIV"},{"begin":30,"end":97,"name":"DUP1"},{"begin":30,"end":97,"name":"PUSH","value":"26121FF0"},{"begin":30,"end":97,"name":"EQ"},{"begin":30,"end":97,"name":"PUSH [tag]","value":"2"},{"begin":30,"end":97,"name":"JUMPI"},{"begin":30,"end":97,"name":"PUSH [tag]","value":"1"},{"begin":30,"end":97,"name":"JUMP"},{"begin":30,"end":97,"name":"tag","value":"1"},{"begin":30,"end":97,"name":"JUMPDEST"},{"begin":30,"end":97,"name":"PUSH [ErrorTag]"},{"begin":30,"end":97,"name":"JUMP"},{"begin":54,"end":95,"name":"tag","value":"2"},{"begin":54,"end":95,"name":"JUMPDEST"},{"begin":54,"end":95,"name":"CALLVALUE"},{"begin":54,"end":95,"name":"PUSH [ErrorTag]"},{"begin":54,"end":95,"name":"JUMPI"},{"begin":54,"end":95,"name":"PUSH [tag]","value":"3"},{"begin":54,"end":95,"name":"PUSH","value":"4"},{"begin":54,"end":95,"name":"DUP1"},{"begin":54,"end":95,"name":"POP"},{"begin":54,"end":95,"name":"POP"},{"begin":54,"end":95,"name":"PUSH [tag]","value":"4"},{"begin":54,"end":95,"name":"JUMP"},{"begin":54,"end":95,"name":"tag","value":"3"},{"begin":54,"end":95,"name":"JUMPDEST"},{"begin":54,"end":95,"name":"PUSH","value":"40"},{"begin":54,"end":95,"name":"MLOAD"},{"begin":54,"end":95,"name":"DUP1"},{"begin":54,"end":95,"name":"DUP3"},{"begin":54,"end":95,"name":"DUP2"},{"begin":54,"end":95,"name":"MSTORE"},{"begin":54,"end":95,"name":"PUSH","value":"20"},{"begin":54,"end":95,"name":"ADD"},{"begin":54,"end":95,"name":"SWAP2"},{"begin":54,"end":95,"name":"POP"},{"begin":54,"end":95,"name":"POP"},{"begin":54,"end":95,"name":"PUSH","value":"40"},{"begin":54,"end":95,"name":"MLOAD"},{"begin":54,"end":95,"name":"DUP1"},{"begin":54,"end":95,"name":"SWAP2"},{"begin":54,"end":95,"name":"SUB"},{"begin":54,"end":95,"name":"SWAP1"},{"begin":54,"end":95,"name":"RETURN"},{"begin":54,"end":95,"name":"tag","value":"4"},{"begin":54,"end":95,"name":"JUMPDEST"},{"begin":76,"end":80,"name":"PUSH","value":"0"},{"begin":91,"end":92,"name":"PUSH","value":"8"},{"begin":84,"end":92,"name":"SWAP1"},{"begin":84,"end":92,"name":"POP"},{"begin":84,"end":92,"name":"PUSH [tag]","value":"5"},{"begin":84,"end":92,"name":"JUMP"},{"begin":54,"end":95,"name":"tag","value":"5"},{"begin":54,"end":95,"name":"JUMPDEST"},{"begin":54,"end":95,"name":"SWAP1"},{"begin":54,"end":95,"name":"JUMP","value":"[out]"}]}}},"bytecode":"6060604052606b8060106000396000f360606040526000357c01000000000000000000000000000000000000000000000000000000009004806326121ff0146039576035565b6002565b3460025760486004805050605e565b6040518082815260200191505060405180910390f35b6000600890506068565b9056","functionHashes":{"f()":"26121ff0"},"gasEstimates":{"creation":[51,21400],"external":{"f()":185},"internal":{}},"interface":"[{\"constant\":false,\"inputs\":[],\"name\":\"f\",\"outputs\":[{\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"type\":\"function\"}]\n","opcodes":"PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0x6B DUP1 PUSH1 0x10 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0x0 CALLDATALOAD PUSH29 0x100000000000000000000000000000000000000000000000000000000 SWAP1 DIV DUP1 PUSH4 0x26121FF0 EQ PUSH1 0x39 JUMPI PUSH1 0x35 JUMP JUMPDEST PUSH1 0x2 JUMP JUMPDEST CALLVALUE PUSH1 0x2 JUMPI PUSH1 0x48 PUSH1 0x4 DUP1 POP POP PUSH1 0x5E JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 DUP3 DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH1 0x0 PUSH1 0x8 SWAP1 POP PUSH1 0x68 JUMP JUMPDEST SWAP1 JUMP ","runtimeBytecode":"60606040526000357c01000000000000000000000000000000000000000000000000000000009004806326121ff0146039576035565b6002565b3460025760486004805050605e565b6040518082815260200191505060405180910390f35b6000600890506068565b9056","srcmap":"30:67:0:-;;;;;;;;;","srcmapRuntime":"30:67:0:-;;;;;;;;;;;;;;;;;;54:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;76:4;91:1;84:8;;;;54:41;;:::o"}},"formal":{"errors":["Untitled:2:53: Error: Unnamed return variables not yet supported.\n      contract TestContract { function f() returns (uint) { return 8; } }\n                                                    ^--^\n"]},"sourceList":["Untitled"],"sources":{"Untitled":{"AST":{"children":[{"attributes":{"literals":["solidity","^","0.4",".0"]},"id":5671492,"name":"PragmaDirective","src":"0:23:0"},{"attributes":{"fullyImplemented":true,"isLibrary":false,"linearizedBaseContracts":[5672356],"name":"TestContract"},"children":[{"attributes":{"constant":false,"name":"f","public":true},"children":[{"children":[],"id":5671900,"name":"ParameterList","src":"64:2:0"},{"children":[{"attributes":{"name":"","type":"uint256"},"children":[{"attributes":{"name":"uint"},"id":5671956,"name":"ElementaryTypeName","src":"76:4:0"}],"id":5671556,"name":"VariableDeclaration","src":"76:4:0"}],"id":5672060,"name":"ParameterList","src":"75:6:0"},{"children":[{"children":[{"attributes":{"hexvalue":"38","subdenomination":null,"token":null,"type":"int_const 8","value":"8"},"id":5672164,"name":"Literal","src":"91:1:0"}],"id":5672220,"name":"Return","src":"84:8:0"}],"id":5672276,"name":"Block","src":"82:13:0"}],"id":5670996,"name":"FunctionDefinition","src":"54:41:0"}],"id":5672356,"name":"ContractDefinition","src":"30:67:0"}],"name":"SourceUnit"}}}}},"1Untitledcontracttest1{}contracttest2{}":{"key":"1Untitledcontracttest1{}contracttest2{}","source":{"sources":{"Untitled":"contract test1 {} contract test2 {}"}},"optimization":1,"missingInputs":[],"result":{"contracts":{"test1":{"assembly":{".code":[{"begin":0,"end":17,"name":"PUSH","value":"60"},{"begin":0,"end":17,"name":"PUSH","value":"40"},{"begin":0,"end":17,"name":"MSTORE"},{"begin":0,"end":17,"name":"PUSH #[$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":0,"end":17,"name":"DUP1"},{"begin":0,"end":17,"name":"PUSH [$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":0,"end":17,"name":"PUSH","value":"0"},{"begin":0,"end":17,"name":"CODECOPY"},{"begin":0,"end":17,"name":"PUSH","value":"0"},{"begin":0,"end":17,"name":"RETURN"}],".data":{"0":{".code":[{"begin":0,"end":17,"name":"PUSH","value":"60"},{"begin":0,"end":17,"name":"PUSH","value":"40"},{"begin":0,"end":17,"name":"MSTORE"},{"begin":0,"end":17,"name":"PUSH [ErrorTag]"},{"begin":0,"end":17,"name":"JUMP"}]}}},"bytecode":"606060405260088060106000396000f36060604052600256","functionHashes":{},"gasEstimates":{"creation":[39,1600],"external":{},"internal":{}},"interface":"[]\n","opcodes":"PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0x8 DUP1 PUSH1 0x10 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0x2 JUMP ","runtimeBytecode":"6060604052600256","srcmap":"0:17:0:-;;;;;;;;;","srcmapRuntime":"0:17:0:-;;;;"},"test2":{"assembly":{".code":[{"begin":18,"end":35,"name":"PUSH","value":"60"},{"begin":18,"end":35,"name":"PUSH","value":"40"},{"begin":18,"end":35,"name":"MSTORE"},{"begin":18,"end":35,"name":"PUSH #[$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":18,"end":35,"name":"DUP1"},{"begin":18,"end":35,"name":"PUSH [$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":18,"end":35,"name":"PUSH","value":"0"},{"begin":18,"end":35,"name":"CODECOPY"},{"begin":18,"end":35,"name":"PUSH","value":"0"},{"begin":18,"end":35,"name":"RETURN"}],".data":{"0":{".code":[{"begin":18,"end":35,"name":"PUSH","value":"60"},{"begin":18,"end":35,"name":"PUSH","value":"40"},{"begin":18,"end":35,"name":"MSTORE"},{"begin":18,"end":35,"name":"PUSH [ErrorTag]"},{"begin":18,"end":35,"name":"JUMP"}]}}},"bytecode":"606060405260088060106000396000f36060604052600256","functionHashes":{},"gasEstimates":{"creation":[39,1600],"external":{},"internal":{}},"interface":"[]\n","opcodes":"PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0x8 DUP1 PUSH1 0x10 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0x2 JUMP ","runtimeBytecode":"6060604052600256","srcmap":"18:17:0:-;;;;;;;;;","srcmapRuntime":"18:17:0:-;;;;"}},"errors":["Untitled:1:1: Warning: Source file does not specify required compiler version!Consider adding \"pragma solidity ^0.4.4\ncontract test1 {} contract test2 {}\n^---------------------------------^\n"],"formal":{"errors":["Untitled:1:19: Error: More than one contract not supported.\ncontract test1 {} contract test2 {}\n                  ^---------------^\n"]},"sourceList":["Untitled"],"sources":{"Untitled":{"AST":{"children":[{"attributes":{"fullyImplemented":true,"isLibrary":false,"linearizedBaseContracts":[5584588],"name":"test1"},"children":[],"id":5584588,"name":"ContractDefinition","src":"0:17:0"},{"attributes":{"fullyImplemented":true,"isLibrary":false,"linearizedBaseContracts":[5579100],"name":"test2"},"children":[],"id":5579100,"name":"ContractDefinition","src":"18:17:0"}],"name":"SourceUnit"}}}}},"0Untitledcontracttest1{}contracttest2{}":{"key":"0Untitledcontracttest1{}contracttest2{}","source":{"sources":{"Untitled":"contract test1 {} contract test2 {}"}},"optimization":0,"missingInputs":[],"result":{"contracts":{"test1":{"assembly":{".code":[{"begin":0,"end":17,"name":"PUSH","value":"60"},{"begin":0,"end":17,"name":"PUSH","value":"40"},{"begin":0,"end":17,"name":"MSTORE"},{"begin":0,"end":17,"name":"PUSH #[$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":0,"end":17,"name":"DUP1"},{"begin":0,"end":17,"name":"PUSH [$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":0,"end":17,"name":"PUSH","value":"0"},{"begin":0,"end":17,"name":"CODECOPY"},{"begin":0,"end":17,"name":"PUSH","value":"0"},{"begin":0,"end":17,"name":"RETURN"}],".data":{"0":{".code":[{"begin":0,"end":17,"name":"PUSH","value":"60"},{"begin":0,"end":17,"name":"PUSH","value":"40"},{"begin":0,"end":17,"name":"MSTORE"},{"begin":0,"end":17,"name":"PUSH [tag]","value":"1"},{"begin":0,"end":17,"name":"JUMP"},{"begin":0,"end":17,"name":"tag","value":"1"},{"begin":0,"end":17,"name":"JUMPDEST"},{"begin":0,"end":17,"name":"PUSH [ErrorTag]"},{"begin":0,"end":17,"name":"JUMP"}]}}},"bytecode":"6060604052600c8060106000396000f360606040526008565b600256","functionHashes":{},"gasEstimates":{"creation":[39,2400],"external":{},"internal":{}},"interface":"[]\n","opcodes":"PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0xC DUP1 PUSH1 0x10 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0x8 JUMP JUMPDEST PUSH1 0x2 JUMP ","runtimeBytecode":"60606040526008565b600256","srcmap":"0:17:0:-;;;;;;;;;","srcmapRuntime":"0:17:0:-;;;;;;;"},"test2":{"assembly":{".code":[{"begin":18,"end":35,"name":"PUSH","value":"60"},{"begin":18,"end":35,"name":"PUSH","value":"40"},{"begin":18,"end":35,"name":"MSTORE"},{"begin":18,"end":35,"name":"PUSH #[$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":18,"end":35,"name":"DUP1"},{"begin":18,"end":35,"name":"PUSH [$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":18,"end":35,"name":"PUSH","value":"0"},{"begin":18,"end":35,"name":"CODECOPY"},{"begin":18,"end":35,"name":"PUSH","value":"0"},{"begin":18,"end":35,"name":"RETURN"}],".data":{"0":{".code":[{"begin":18,"end":35,"name":"PUSH","value":"60"},{"begin":18,"end":35,"name":"PUSH","value":"40"},{"begin":18,"end":35,"name":"MSTORE"},{"begin":18,"end":35,"name":"PUSH [tag]","value":"1"},{"begin":18,"end":35,"name":"JUMP"},{"begin":18,"end":35,"name":"tag","value":"1"},{"begin":18,"end":35,"name":"JUMPDEST"},{"begin":18,"end":35,"name":"PUSH [ErrorTag]"},{"begin":18,"end":35,"name":"JUMP"}]}}},"bytecode":"6060604052600c8060106000396000f360606040526008565b600256","functionHashes":{},"gasEstimates":{"creation":[39,2400],"external":{},"internal":{}},"interface":"[]\n","opcodes":"PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0xC DUP1 PUSH1 0x10 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0x8 JUMP JUMPDEST PUSH1 0x2 JUMP ","runtimeBytecode":"60606040526008565b600256","srcmap":"18:17:0:-;;;;;;;;;","srcmapRuntime":"18:17:0:-;;;;;;;"}},"errors":["Untitled:1:1: Warning: Source file does not specify required compiler version!Consider adding \"pragma solidity ^0.4.4\ncontract test1 {} contract test2 {}\n^---------------------------------^\n"],"formal":{"errors":["Untitled:1:19: Error: More than one contract not supported.\ncontract test1 {} contract test2 {}\n                  ^---------------^\n"]},"sourceList":["Untitled"],"sources":{"Untitled":{"AST":{"children":[{"attributes":{"fullyImplemented":true,"isLibrary":false,"linearizedBaseContracts":[5632236],"name":"test1"},"children":[],"id":5632236,"name":"ContractDefinition","src":"0:17:0"},{"attributes":{"fullyImplemented":true,"isLibrary":false,"linearizedBaseContracts":[5632428],"name":"test2"},"children":[],"id":5632428,"name":"ContractDefinition","src":"18:17:0"}],"name":"SourceUnit"}}}}},"1Untitledcontracttest1{addresstest=tx.origin;}contracttest2{}":{"key":"1Untitledcontracttest1{addresstest=tx.origin;}contracttest2{}","source":{"sources":{"Untitled":"contract test1 { address test = tx.origin; } contract test2 {}"}},"optimization":1,"missingInputs":[],"result":{"contracts":{"test1":{"assembly":{".code":[{"begin":0,"end":44,"name":"PUSH","value":"60"},{"begin":0,"end":44,"name":"PUSH","value":"40"},{"begin":0,"end":44,"name":"MSTORE"},{"begin":17,"end":41,"name":"PUSH","value":"0"},{"begin":17,"end":41,"name":"DUP1"},{"begin":17,"end":41,"name":"SLOAD"},{"begin":-1,"end":-1,"name":"PUSH","value":"1"},{"begin":-1,"end":-1,"name":"PUSH","value":"A0"},{"begin":-1,"end":-1,"name":"PUSH","value":"2"},{"begin":-1,"end":-1,"name":"EXP"},{"begin":-1,"end":-1,"name":"SUB"},{"begin":-1,"end":-1,"name":"NOT"},{"begin":17,"end":41,"name":"AND"},{"begin":17,"end":41,"name":"PUSH","value":"1000000000000000000000000"},{"begin":32,"end":41,"name":"ORIGIN"},{"begin":17,"end":41,"name":"DUP2"},{"begin":17,"end":41,"name":"MUL"},{"begin":17,"end":41,"name":"DIV"},{"begin":17,"end":41,"name":"OR"},{"begin":17,"end":41,"name":"DUP2"},{"begin":17,"end":41,"name":"SSTORE"},{"begin":0,"end":44,"name":"PUSH #[$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":0,"end":44,"name":"SWAP1"},{"begin":0,"end":44,"name":"DUP2"},{"begin":0,"end":44,"name":"SWAP1"},{"begin":0,"end":44,"name":"PUSH [$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":0,"end":44,"name":"SWAP1"},{"begin":0,"end":44,"name":"CODECOPY"},{"begin":0,"end":44,"name":"PUSH","value":"0"},{"begin":0,"end":44,"name":"RETURN"}],".data":{"0":{".code":[{"begin":0,"end":44,"name":"PUSH","value":"60"},{"begin":0,"end":44,"name":"PUSH","value":"40"},{"begin":0,"end":44,"name":"MSTORE"},{"begin":0,"end":44,"name":"PUSH [ErrorTag]"},{"begin":0,"end":44,"name":"JUMP"}]}}},"bytecode":"606060405260008054600160a060020a0319166c01000000000000000000000000328102041781556008908190603490396000f36060604052600256","functionHashes":{},"gasEstimates":{"creation":[20163,1600],"external":{},"internal":{}},"interface":"[]\n","opcodes":"PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0x0 DUP1 SLOAD PUSH1 0x1 PUSH1 0xA0 PUSH1 0x2 EXP SUB NOT AND PUSH13 0x1000000000000000000000000 ORIGIN DUP2 MUL DIV OR DUP2 SSTORE PUSH1 0x8 SWAP1 DUP2 SWAP1 PUSH1 0x34 SWAP1 CODECOPY PUSH1 0x0 RETURN PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0x2 JUMP ","runtimeBytecode":"6060604052600256","srcmap":"0:44:0:-;;;17:24;;;-1:-1:-1;;;;;;17:24:0;;32:9;17:24;;;;;;0:44;;;;;;;;","srcmapRuntime":"0:44:0:-;;;;"},"test2":{"assembly":{".code":[{"begin":45,"end":62,"name":"PUSH","value":"60"},{"begin":45,"end":62,"name":"PUSH","value":"40"},{"begin":45,"end":62,"name":"MSTORE"},{"begin":45,"end":62,"name":"PUSH #[$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":45,"end":62,"name":"DUP1"},{"begin":45,"end":62,"name":"PUSH [$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":45,"end":62,"name":"PUSH","value":"0"},{"begin":45,"end":62,"name":"CODECOPY"},{"begin":45,"end":62,"name":"PUSH","value":"0"},{"begin":45,"end":62,"name":"RETURN"}],".data":{"0":{".code":[{"begin":45,"end":62,"name":"PUSH","value":"60"},{"begin":45,"end":62,"name":"PUSH","value":"40"},{"begin":45,"end":62,"name":"MSTORE"},{"begin":45,"end":62,"name":"PUSH [ErrorTag]"},{"begin":45,"end":62,"name":"JUMP"}]}}},"bytecode":"606060405260088060106000396000f36060604052600256","functionHashes":{},"gasEstimates":{"creation":[39,1600],"external":{},"internal":{}},"interface":"[]\n","opcodes":"PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0x8 DUP1 PUSH1 0x10 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0x2 JUMP ","runtimeBytecode":"6060604052600256","srcmap":"45:17:0:-;;;;;;;;;","srcmapRuntime":"45:17:0:-;;;;"}},"errors":["Untitled:1:1: Warning: Source file does not specify required compiler version!Consider adding \"pragma solidity ^0.4.4\ncontract test1 { address test = tx.origin; } contract test2 {}\n^------------------------------------------------------------^\n"],"formal":{"errors":["Untitled:1:18: Error: Type \"address\" not supported for state variable.\ncontract test1 { address test = tx.origin; } contract test2 {}\n                 ^----------------------^\n"]},"sourceList":["Untitled"],"sources":{"Untitled":{"AST":{"children":[{"attributes":{"fullyImplemented":true,"isLibrary":false,"linearizedBaseContracts":[5584588],"name":"test1"},"children":[{"attributes":{"name":"test","type":"address"},"children":[{"attributes":{"name":"address"},"id":5634180,"name":"ElementaryTypeName","src":"17:7:0"},{"attributes":{"member_name":"origin","type":"address"},"children":[{"attributes":{"type":"tx","value":"tx"},"id":5634300,"name":"Identifier","src":"32:2:0"}],"id":5634380,"name":"MemberAccess","src":"32:9:0"}],"id":5744076,"name":"VariableDeclaration","src":"17:24:0"}],"id":5584588,"name":"ContractDefinition","src":"0:44:0"},{"attributes":{"fullyImplemented":true,"isLibrary":false,"linearizedBaseContracts":[5579100],"name":"test2"},"children":[],"id":5579100,"name":"ContractDefinition","src":"45:17:0"}],"name":"SourceUnit"}}}}},"0Untitledcontracttest1{addresstest=tx.origin;}contracttest2{}":{"key":"0Untitledcontracttest1{addresstest=tx.origin;}contracttest2{}","source":{"sources":{"Untitled":"contract test1 { address test = tx.origin; } contract test2 {}"}},"optimization":0,"missingInputs":[],"result":{"contracts":{"test1":{"assembly":{".code":[{"begin":0,"end":44,"name":"PUSH","value":"60"},{"begin":0,"end":44,"name":"PUSH","value":"40"},{"begin":0,"end":44,"name":"MSTORE"},{"begin":32,"end":41,"name":"ORIGIN"},{"begin":17,"end":41,"name":"PUSH","value":"0"},{"begin":17,"end":41,"name":"PUSH","value":"0"},{"begin":17,"end":41,"name":"PUSH","value":"100"},{"begin":17,"end":41,"name":"EXP"},{"begin":17,"end":41,"name":"DUP2"},{"begin":17,"end":41,"name":"SLOAD"},{"begin":17,"end":41,"name":"DUP2"},{"begin":17,"end":41,"name":"PUSH","value":"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"begin":17,"end":41,"name":"MUL"},{"begin":17,"end":41,"name":"NOT"},{"begin":17,"end":41,"name":"AND"},{"begin":17,"end":41,"name":"SWAP1"},{"begin":17,"end":41,"name":"DUP4"},{"begin":17,"end":41,"name":"PUSH","value":"1000000000000000000000000"},{"begin":17,"end":41,"name":"SWAP1"},{"begin":17,"end":41,"name":"DUP2"},{"begin":17,"end":41,"name":"MUL"},{"begin":17,"end":41,"name":"DIV"},{"begin":17,"end":41,"name":"MUL"},{"begin":17,"end":41,"name":"OR"},{"begin":17,"end":41,"name":"SWAP1"},{"begin":17,"end":41,"name":"SSTORE"},{"begin":17,"end":41,"name":"POP"},{"begin":0,"end":44,"name":"PUSH #[$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":0,"end":44,"name":"DUP1"},{"begin":0,"end":44,"name":"PUSH [$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":0,"end":44,"name":"PUSH","value":"0"},{"begin":0,"end":44,"name":"CODECOPY"},{"begin":0,"end":44,"name":"PUSH","value":"0"},{"begin":0,"end":44,"name":"RETURN"}],".data":{"0":{".code":[{"begin":0,"end":44,"name":"PUSH","value":"60"},{"begin":0,"end":44,"name":"PUSH","value":"40"},{"begin":0,"end":44,"name":"MSTORE"},{"begin":0,"end":44,"name":"PUSH [tag]","value":"1"},{"begin":0,"end":44,"name":"JUMP"},{"begin":0,"end":44,"name":"tag","value":"1"},{"begin":0,"end":44,"name":"JUMPDEST"},{"begin":0,"end":44,"name":"PUSH [ErrorTag]"},{"begin":0,"end":44,"name":"JUMP"}]}}},"bytecode":"606060405232600060006101000a81548173ffffffffffffffffffffffffffffffffffffffff02191690836c01000000000000000000000000908102040217905550600c80604d6000396000f360606040526008565b600256","functionHashes":{},"gasEstimates":{"creation":[20168,2400],"external":{},"internal":{}},"interface":"[]\n","opcodes":"PUSH1 0x60 PUSH1 0x40 MSTORE ORIGIN PUSH1 0x0 PUSH1 0x0 PUSH2 0x100 EXP DUP2 SLOAD DUP2 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF MUL NOT AND SWAP1 DUP4 PUSH13 0x1000000000000000000000000 SWAP1 DUP2 MUL DIV MUL OR SWAP1 SSTORE POP PUSH1 0xC DUP1 PUSH1 0x4D PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0x8 JUMP JUMPDEST PUSH1 0x2 JUMP ","runtimeBytecode":"60606040526008565b600256","srcmap":"0:44:0:-;;;32:9;17:24;;;;;;;;;;;;;;;;;;;;;;;0:44;;;;;;","srcmapRuntime":"0:44:0:-;;;;;;;"},"test2":{"assembly":{".code":[{"begin":45,"end":62,"name":"PUSH","value":"60"},{"begin":45,"end":62,"name":"PUSH","value":"40"},{"begin":45,"end":62,"name":"MSTORE"},{"begin":45,"end":62,"name":"PUSH #[$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":45,"end":62,"name":"DUP1"},{"begin":45,"end":62,"name":"PUSH [$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":45,"end":62,"name":"PUSH","value":"0"},{"begin":45,"end":62,"name":"CODECOPY"},{"begin":45,"end":62,"name":"PUSH","value":"0"},{"begin":45,"end":62,"name":"RETURN"}],".data":{"0":{".code":[{"begin":45,"end":62,"name":"PUSH","value":"60"},{"begin":45,"end":62,"name":"PUSH","value":"40"},{"begin":45,"end":62,"name":"MSTORE"},{"begin":45,"end":62,"name":"PUSH [tag]","value":"1"},{"begin":45,"end":62,"name":"JUMP"},{"begin":45,"end":62,"name":"tag","value":"1"},{"begin":45,"end":62,"name":"JUMPDEST"},{"begin":45,"end":62,"name":"PUSH [ErrorTag]"},{"begin":45,"end":62,"name":"JUMP"}]}}},"bytecode":"6060604052600c8060106000396000f360606040526008565b600256","functionHashes":{},"gasEstimates":{"creation":[39,2400],"external":{},"internal":{}},"interface":"[]\n","opcodes":"PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0xC DUP1 PUSH1 0x10 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0x8 JUMP JUMPDEST PUSH1 0x2 JUMP ","runtimeBytecode":"60606040526008565b600256","srcmap":"45:17:0:-;;;;;;;;;","srcmapRuntime":"45:17:0:-;;;;;;;"}},"errors":["Untitled:1:1: Warning: Source file does not specify required compiler version!Consider adding \"pragma solidity ^0.4.4\ncontract test1 { address test = tx.origin; } contract test2 {}\n^------------------------------------------------------------^\n"],"formal":{"errors":["Untitled:1:18: Error: Type \"address\" not supported for state variable.\ncontract test1 { address test = tx.origin; } contract test2 {}\n                 ^----------------------^\n"]},"sourceList":["Untitled"],"sources":{"Untitled":{"AST":{"children":[{"attributes":{"fullyImplemented":true,"isLibrary":false,"linearizedBaseContracts":[5584588],"name":"test1"},"children":[{"attributes":{"name":"test","type":"address"},"children":[{"attributes":{"name":"address"},"id":5634164,"name":"ElementaryTypeName","src":"17:7:0"},{"attributes":{"member_name":"origin","type":"address"},"children":[{"attributes":{"type":"tx","value":"tx"},"id":5634284,"name":"Identifier","src":"32:2:0"}],"id":5634364,"name":"MemberAccess","src":"32:9:0"}],"id":5744076,"name":"VariableDeclaration","src":"17:24:0"}],"id":5584588,"name":"ContractDefinition","src":"0:44:0"},{"attributes":{"fullyImplemented":true,"isLibrary":false,"linearizedBaseContracts":[5579100],"name":"test2"},"children":[],"id":5579100,"name":"ContractDefinition","src":"45:17:0"}],"name":"SourceUnit"}}}}}};