{ "pointMulAdd2" : { "env" : { "currentCoinbase" : "68795C4AA09D6f4Ed3E5DeDDf8c2AD3049A601da", "currentDifficulty" : "0x020000", "currentGasLimit" : "4012015", "currentNumber" : "1", "currentTimestamp" : "1000", "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6" }, "expect" : [ { "indexes" : { "data" : -1, "gas" : 0, "value" : -1 }, "network" : ["Homestead"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x02" : "0x01", "0x03" : "0x01" } } } }, { "indexes" : { "data" : -1, "gas" : [1,2,3], "value" : -1 }, "network" : ["Homestead"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { } } } }, { "indexes" : { "data" : [0], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x02" : "0x01", "0x03" : "0x01" } } } }, { "indexes" : { "data" : [0,1,2,3,4,5,6,7,8,9,12,26], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x02" : "0x01", "0x03" : "0x01" } } } }, { "indexes" : { "data" : [10], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x02" : "0x01", "0x03" : "0x01", "0x0a" : "0x030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd3", "0x0b" : "0x1a76dae6d3272396d0cbe61fced2bc532edac647851e3ac53ce1cc9c7e645a83", "0x14" : "0x030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd3", "0x15" : "0x1a76dae6d3272396d0cbe61fced2bc532edac647851e3ac53ce1cc9c7e645a83" } } } }, { "indexes" : { "data" : [11], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x02" : "0x01", "0x03" : "0x01", "0x0a" : "0x0769bf9ac56bea3ff40232bcb1b6bd159315d84715b8e679f2d355961915abf0", "0x0b" : "0x05acb4b400e90c0063006a39f478f3e865e306dd5cd56f356e2e8cd8fe7edae6", "0x14" : "0x0769bf9ac56bea3ff40232bcb1b6bd159315d84715b8e679f2d355961915abf0", "0x15" : "0x05acb4b400e90c0063006a39f478f3e865e306dd5cd56f356e2e8cd8fe7edae6" } } } }, { "indexes" : { "data" : [13,15], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x02" : "0x01", "0x03" : "0x01", "0x0a" : "0x030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd3", "0x0b" : "0x15ed738c0e0a7c92e7845f96b2ae9c0a68a6a449e3538fc7ff3ebf7a5a18a2c4", "0x14" : "0x030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd3", "0x15" : "0x15ed738c0e0a7c92e7845f96b2ae9c0a68a6a449e3538fc7ff3ebf7a5a18a2c4" } } } }, { "indexes" : { "data" : [14], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x02" : "0x01", "0x03" : "0x01", "0x0a" : "0x01", "0x0b" : "0x02", "0x14" : "0x01", "0x15" : "0x02" } } } }, { "indexes" : { "data" : [16], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x02" : "0x01", "0x03" : "0x01", "0x0a" : "0x01", "0x0b" : "0x30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45", "0x14" : "0x01", "0x15" : "0x30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45" } } } }, { "indexes" : { "data" : [17], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x0a" : "0x113aeccecdaf57cd8c0aace591774949dcdaf892555fa86726fa7e679b89c067", "0x0b" : "0x0bffba84127a19abde488a8251a9a3fce33b34a76f96aafb11ab4a6cef3e9979" } } } }, { "indexes" : { "data" : [18], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x02" : "0x01", "0x03" : "0x01", "0x0a" : "0x1fd3b816d9951dcb9aa9797d25e51a865987703ae83cd69c4658679f0350ae2b", "0x0b" : "0x29ce3d80a74ddc13784beb25ca9fbfd048a3265a32c6f38b92060c5093a0e7a7", "0x14" : "0x1fd3b816d9951dcb9aa9797d25e51a865987703ae83cd69c4658679f0350ae2b", "0x15" : "0x29ce3d80a74ddc13784beb25ca9fbfd048a3265a32c6f38b92060c5093a0e7a7" } } } }, { "indexes" : { "data" : [19], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x02" : "0x01", "0x03" : "0x01", "0x0a" : "0x0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628", "0x0b" : "0x069ef5e376c0a1ea82f9dfc2e0001a7f385d655eef9a6f976c7a5d2c493ea3ad", "0x14" : "0x0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628", "0x15" : "0x069ef5e376c0a1ea82f9dfc2e0001a7f385d655eef9a6f976c7a5d2c493ea3ad" } } } }, { "indexes" : { "data" : [20], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x0a" : "0x1fd3b816d9951dcb9aa9797d25e51a865987703ae83cd69c4658679f0350ae2b", "0x0b" : "0x29ce3d80a74ddc13784beb25ca9fbfd048a3265a32c6f38b92060c5093a0e7a7", "0x14" : "0x2c15ed1902e189486ab6b625aa982510aef6246b21a1e1bcea382da4d735e8ba", "0x15" : "0x02103e58cbd2fa8081763442ab46c26a9b8051e9b049c3948c8d7d0e139c5e3f" } } } }, { "indexes" : { "data" : [21], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x0a" : "0x1d78954c630b3895fbbfafac1294f2c0158879fdc70bfe18222890e7bfb66fba", "0x0b" : "0x101c3346e98b136a7078aebd427dced763722d77e3d7985342e0bffcc6ea4d56" } } } }, { "indexes" : { "data" : [22], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x02" : "0x01", "0x03" : "0x01", "0x0a" : "0x2fa739d4cde056d8fd75427345cbb34159856e06a4ffad64159c4773f23fbf4b", "0x0b" : "0x1eed5d5325c31fc89dd541a13d7f63b981fae8d4bf78a6b08a38a601fcfea97b", "0x14" : "0x2fa739d4cde056d8fd75427345cbb34159856e06a4ffad64159c4773f23fbf4b", "0x15" : "0x1eed5d5325c31fc89dd541a13d7f63b981fae8d4bf78a6b08a38a601fcfea97b" } } } }, { "indexes" : { "data" : [23], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x02" : "0x01", "0x03" : "0x01", "0x0a" : "0x2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d352", "0x0b" : "0x1d701ec9e3fca50e84777f0f68caff5bff48cf6a6bd4428462ae9366cf0582b0", "0x14" : "0x2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d352", "0x15" : "0x1d701ec9e3fca50e84777f0f68caff5bff48cf6a6bd4428462ae9366cf0582b0" } } } }, { "indexes" : { "data" : [24], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x0a" : "0x2fa739d4cde056d8fd75427345cbb34159856e06a4ffad64159c4773f23fbf4b", "0x0b" : "0x1eed5d5325c31fc89dd541a13d7f63b981fae8d4bf78a6b08a38a601fcfea97b", "0x14" : "0x08e2142845db159bd105879a109fe7a6f254ed3ddae0e9cd8a2aeae05e5f647b", "0x15" : "0x221108ee615499d2e0a1113ca1a858a34e055f9da2d30e6e6ab392b049944a92" } } } }, { "indexes" : { "data" : [25], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x02" : "0x01", "0x03" : "0x01", "0x0a" : "0x0769bf9ac56bea3ff40232bcb1b6bd159315d84715b8e679f2d355961915abf0", "0x0b" : "0x2ab799bee0489429554fdb7c8d086475319e63b40b9c5b57cdf1ff3dd9fe2261", "0x14" : "0x0769bf9ac56bea3ff40232bcb1b6bd159315d84715b8e679f2d355961915abf0", "0x15" : "0x2ab799bee0489429554fdb7c8d086475319e63b40b9c5b57cdf1ff3dd9fe2261" } } } }, { "indexes" : { "data" : [27], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x02" : "0x01", "0x03" : "0x01", "0x0a" : "0x01", "0x0b" : "0x30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45", "0x14" : "0x01", "0x15" : "0x30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45" } } } }, { "indexes" : { "data" : [28], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x02" : "0x01", "0x03" : "0x01", "0x0a" : "0x030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd3", "0x0b" : "0x1a76dae6d3272396d0cbe61fced2bc532edac647851e3ac53ce1cc9c7e645a83", "0x14" : "0x030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd3", "0x15" : "0x1a76dae6d3272396d0cbe61fced2bc532edac647851e3ac53ce1cc9c7e645a83" } } } }, { "indexes" : { "data" : [29], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x02" : "0x01", "0x03" : "0x01", "0x0a" : "0x01", "0x0b" : "0x02", "0x14" : "0x01", "0x15" : "0x02" } } } }, { "indexes" : { "data" : [30], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x0a" : "0x113aeccecdaf57cd8c0aace591774949dcdaf892555fa86726fa7e679b89c067", "0x0b" : "0x246493eeceb7867dda07bb342fd7b460b44635e9f8db1f922a7541a9e93e63ce" } } } }, { "indexes" : { "data" : [31], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x02" : "0x01", "0x03" : "0x01", "0x0a" : "0x1fd3b816d9951dcb9aa9797d25e51a865987703ae83cd69c4658679f0350ae2b", "0x0b" : "0x069610f239e3c41640045a90b6e1988d4ede443735aad701aa1a7fc644dc15a0", "0x14" : "0x1fd3b816d9951dcb9aa9797d25e51a865987703ae83cd69c4658679f0350ae2b", "0x15" : "0x069610f239e3c41640045a90b6e1988d4ede443735aad701aa1a7fc644dc15a0" } } } }, { "indexes" : { "data" : [32], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x02" : "0x01", "0x03" : "0x01", "0x0a" : "0x0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628", "0x0b" : "0x29c5588f6a70fe3f355665f3a1813dde5f24053278d75af5cfa62eea8f3e599a", "0x14" : "0x0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628", "0x15" : "0x29c5588f6a70fe3f355665f3a1813dde5f24053278d75af5cfa62eea8f3e599a" } } } }, { "indexes" : { "data" : [33], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x0a" : "0x1fd3b816d9951dcb9aa9797d25e51a865987703ae83cd69c4658679f0350ae2b", "0x0b" : "0x069610f239e3c41640045a90b6e1988d4ede443735aad701aa1a7fc644dc15a0", "0x14" : "0x2c15ed1902e189486ab6b625aa982510aef6246b21a1e1bcea382da4d735e8ba", "0x15" : "0x2e54101a155ea5a936da1173d63a95f2fc0118a7b82806f8af930f08c4e09f08" } } } }, { "indexes" : { "data" : [34], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x0a" : "0x1d78954c630b3895fbbfafac1294f2c0158879fdc70bfe18222890e7bfb66fba", "0x0b" : "0x20481b2bf7a68cbf47d796f93f038986340f3d19849a3239f93fcc1a1192aff1" } } } }, { "indexes" : { "data" : [35], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x02" : "0x01", "0x03" : "0x01", "0x0a" : "0x2fa739d4cde056d8fd75427345cbb34159856e06a4ffad64159c4773f23fbf4b", "0x0b" : "0x1176f11fbb6e80611a7b04154401f4a4158681bca8f923dcb1e7e614db7e53cc", "0x14" : "0x2fa739d4cde056d8fd75427345cbb34159856e06a4ffad64159c4773f23fbf4b", "0x15" : "0x1176f11fbb6e80611a7b04154401f4a4158681bca8f923dcb1e7e614db7e53cc" } } } }, { "indexes" : { "data" : [36], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x02" : "0x01", "0x03" : "0x01", "0x0a" : "0x2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d352", "0x0b" : "0x12f42fa8fd34fb1b33d8c6a718b6590198389b26fc9d8808d971f8b009777a97", "0x14" : "0x2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d352", "0x15" : "0x12f42fa8fd34fb1b33d8c6a718b6590198389b26fc9d8808d971f8b009777a97" } } } }, { "indexes" : { "data" : [37], "gas" : 0, "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x0a" : "0x2fa739d4cde056d8fd75427345cbb34159856e06a4ffad64159c4773f23fbf4b", "0x0b" : "0x1176f11fbb6e80611a7b04154401f4a4158681bca8f923dcb1e7e614db7e53cc", "0x14" : "0x08e2142845db159bd105879a109fe7a6f254ed3ddae0e9cd8a2aeae05e5f647b", "0x15" : "0x0e5345847fdd0656d7af3479dfd8ffba497c0af3c59ebc1ed16cf9668ee8b2b5" } } } }, { "indexes" : { "data" : -1, "gas" : [1,2], "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { } } } }, { "indexes" : { "data" : [10,11,13,14,15,16,18,19,20,22,23,24,25,27,28,29,32,33,35,36,37], "gas" : [3], "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { } } } }, { "indexes" : { "data" : [0,1,2,3,4,5,6,7,8,9,12], "gas" : [3], "value" : -1 }, "network" : [">=Byzantium"], "result" : { "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "storage" : { "0x00" : "0x01", "0x01" : "0x01", "0x02" : "0x01", "0x03" : "0x01" } } } } ], "pre" : { "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "balance" : "1000000000000000000", "code" : "", "nonce" : "1", "storage" : { } }, "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { "balance" : "", "code" : " 00-32 : x", "code" : " 32-64 : y", "code" : " 64-96 : a", "code" : " 96-128 : b", "code" : "128-160 : x2", "code" : "160-192 : y2", "code" : "192-224 : z", "code" : "300-332 : x+a", "code" : "332-364 : y+b", "code" : "400-432 : x2*z", "code" : "432-464 : y2*z", "code" : " [[0]] : add(xy + ab)", "code" : " [[1]] : mul(x2y2 * z)", "code" : " [[2]] : (x + a) == (x2 * z)", "code" : " [[3]] : (y + b) == (y2 * z)", "code" : " [[0a]] : x + a", "code" : " [[0b]] : y + b", "code" : " [[14]] : x2 * z", "code" : " [[15]] : y2 * z", "code" : "{(MSTORE 0 (CALLDATALOAD 0)) (MSTORE 32 (CALLDATALOAD 32)) (MSTORE 64 (CALLDATALOAD 64)) (MSTORE 96 (CALLDATALOAD 96)) (MSTORE 128 (CALLDATALOAD 128)) (MSTORE 160 (CALLDATALOAD 160)) (MSTORE 192 (CALLDATALOAD 192)) [[0]](CALLCODE 500000 6 0 0 128 300 64) [[1]](CALLCODE 500000 7 0 128 96 400 64) [[10]] (MLOAD 300) [[11]] (MLOAD 332) [[20]] (MLOAD 400) [[21]] (MLOAD 432) [[2]] (EQ (SLOAD 10) (SLOAD 20)) [[3]] (EQ (SLOAD 11) (SLOAD 21))}", "nonce" : "0", "storage" : { } } }, "transaction" : { "data" : [ "[0] (x,y) + (x,y) == (x,y) * 2", "[1] (x,y) + (x,y) + (x,y) == (x,y) * 3", "[2] (-x, -y) + (x,y) == (x,y) * 0", "[3] (-x, -y) + (0, 0) == (x, y) * -1", "[4] (-x, -y) + (-x, -y) == (x, y) * -2", "[5] (x, y) + (0, 0) == (x, y) * 1", "[6] (-x, -y) + (0, 0) == (x, y) * -1", "[7] (-x, -y) + (-x, -y) == (x, y) * -2", "[8] (-x, -y) + (0, 0) == (x, y) * -1", "[9] (-x, -y) + (-x, -y) == (x, y) * -2", "[10] (x,y) + (x,y) == (x,y) * 2", "[11] (x,y) + (x,y) + (x,y) == (x,y) * 3", "[12] (-x, -y) + (x,y) == (x,y) * 0", "[13] (-x, -y) + (-x, -y) == (-x,-y) * 2", "[14] (-x, -y) + (0, 0) == (x, y) * -1", "[15] (-x, -y) + (-x, -y) == (x, y) * -2", "[16] (x, y) + (0, 0) == (x, y) * 1", "[17] (-x, -y) + (x,y) == (x,y) * 0", "[18] (-x, -y) + (-x, -y) == (-x,-y) * 2", "[19] (-x, -y) + (0, 0) == (x, y) * -1", "[20] (-x, -y) + (-x, -y) == (x, y) * -2", "[21] (-x, -y) + (x,y) == (x,y) * 0", "[22] (-x, -y) + (-x, -y) == (-x,-y) * 2", "[23] (-x, -y) + (0, 0) == (x, y) * -1", "[24] (-x, -y) + (-x, -y) == (x, y) * -2", "[25] (x,y) + (x,y) + (x,y) == (x,y) * 3", "[26] (-x, -y) + (x,y) == (x,y) * 0", "[27] (-x, -y) + (0, 0) == (x, y) * -1", "[28] (-x, -y) + (-x, -y) == (x, y) * -2", "[29] (x, y) + (0, 0) == (x, y) * 1", "[30] (-x, -y) + (x,y) == (x,y) * 0", "[31] (-x, -y) + (-x, -y) == (-x,-y) * 2", "[32] (-x, -y) + (0, 0) == (x, y) * -1", "[33] (-x, -y) + (-x, -y) == (x, y) * -2", "[34] (-x, -y) + (x,y) == (x,y) * 0", "[35] (-x, -y) + (-x, -y) == (-x,-y) * 2", "[36] (-x, -y) + (0, 0) == (x, y) * -1", "[37] (-x, -y) + (-x, -y) == (x, y) * -2" ], "data" : [ "0x0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003", "0x0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000030644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000", "0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000030644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffffff", "0x0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001", "0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd46", "0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45", "0x000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff", "0x000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe", "0x000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd450000000000000000000000000000000000000000000000000000000000000002", "0x030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd31a76dae6d3272396d0cbe61fced2bc532edac647851e3ac53ce1cc9c7e645a83000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd450000000000000000000000000000000000000000000000000000000000000003", "0x00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd450000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4530644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000", "0x0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4530644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffffff", "0x000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd450000000000000000000000000000000000000000000000000000000000000001", "0x0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628069ef5e376c0a1ea82f9dfc2e0001a7f385d655eef9a6f976c7a5d2c493ea3ad000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd450000000000000000000000000000000000000000000000000000000000000000", "0x0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628069ef5e376c0a1ea82f9dfc2e0001a7f385d655eef9a6f976c7a5d2c493ea3ad0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628069ef5e376c0a1ea82f9dfc2e0001a7f385d655eef9a6f976c7a5d2c493ea3ad0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628069ef5e376c0a1ea82f9dfc2e0001a7f385d655eef9a6f976c7a5d2c493ea3ad0000000000000000000000000000000000000000000000000000000000000002", "0x0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628069ef5e376c0a1ea82f9dfc2e0001a7f385d655eef9a6f976c7a5d2c493ea3ad00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4530644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd46", "0x0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628069ef5e376c0a1ea82f9dfc2e0001a7f385d655eef9a6f976c7a5d2c493ea3ad0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628069ef5e376c0a1ea82f9dfc2e0001a7f385d655eef9a6f976c7a5d2c493ea3ad000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4530644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45", "0x2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d3521d701ec9e3fca50e84777f0f68caff5bff48cf6a6bd4428462ae9366cf0582b0000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd450000000000000000000000000000000000000000000000000000000000000000", "0x2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d3521d701ec9e3fca50e84777f0f68caff5bff48cf6a6bd4428462ae9366cf0582b02f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d3521d701ec9e3fca50e84777f0f68caff5bff48cf6a6bd4428462ae9366cf0582b02f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d3521d701ec9e3fca50e84777f0f68caff5bff48cf6a6bd4428462ae9366cf0582b00000000000000000000000000000000000000000000000000000000000000002", "0x2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d3521d701ec9e3fca50e84777f0f68caff5bff48cf6a6bd4428462ae9366cf0582b000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff", "0x2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d3521d701ec9e3fca50e84777f0f68caff5bff48cf6a6bd4428462ae9366cf0582b02f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d3521d701ec9e3fca50e84777f0f68caff5bff48cf6a6bd4428462ae9366cf0582b0000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe", "0x030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd315ed738c0e0a7c92e7845f96b2ae9c0a68a6a449e3538fc7ff3ebf7a5a18a2c400000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000003", "0x000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4500000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000", "0x000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000230644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000", "0x000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd450000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000230644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffffff", "0x0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000001", "0x0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e562829c5588f6a70fe3f355665f3a1813dde5f24053278d75af5cfa62eea8f3e599a00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000", "0x0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e562829c5588f6a70fe3f355665f3a1813dde5f24053278d75af5cfa62eea8f3e599a0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e562829c5588f6a70fe3f355665f3a1813dde5f24053278d75af5cfa62eea8f3e599a0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e562829c5588f6a70fe3f355665f3a1813dde5f24053278d75af5cfa62eea8f3e599a0000000000000000000000000000000000000000000000000000000000000002", "0x0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e562829c5588f6a70fe3f355665f3a1813dde5f24053278d75af5cfa62eea8f3e599a000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000230644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd46", "0x0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e562829c5588f6a70fe3f355665f3a1813dde5f24053278d75af5cfa62eea8f3e599a0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e562829c5588f6a70fe3f355665f3a1813dde5f24053278d75af5cfa62eea8f3e599a0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000230644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45", "0x2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d35212f42fa8fd34fb1b33d8c6a718b6590198389b26fc9d8808d971f8b009777a9700000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000", "0x2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d35212f42fa8fd34fb1b33d8c6a718b6590198389b26fc9d8808d971f8b009777a972f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d35212f42fa8fd34fb1b33d8c6a718b6590198389b26fc9d8808d971f8b009777a972f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d35212f42fa8fd34fb1b33d8c6a718b6590198389b26fc9d8808d971f8b009777a970000000000000000000000000000000000000000000000000000000000000002", "0x2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d35212f42fa8fd34fb1b33d8c6a718b6590198389b26fc9d8808d971f8b009777a970000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff", "0x2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d35212f42fa8fd34fb1b33d8c6a718b6590198389b26fc9d8808d971f8b009777a972f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d35212f42fa8fd34fb1b33d8c6a718b6590198389b26fc9d8808d971f8b009777a9700000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe" ], "gasLimit" : [ "2000000", "90000", "110000", "200000" ], "gasPrice" : "1", "nonce" : "1", "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8", "to" : "b94f5374fce5edbc8e2a8697c15331677e6ebf0b", "value" : [ "0" ] } } }