{
    "pointMulAdd" : {
        "env" : {
            "currentCoinbase" : "68795C4AA09D6f4Ed3E5DeDDf8c2AD3049A601da",
            "currentDifficulty" : "0x020000",
            "currentGasLimit" : "4012015",
            "currentNumber" : "1",
            "currentTimestamp" : "1000",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "expect" : [
	    {
                "indexes" : {
                    "data" : -1,
                    "gas" : 0,
                    "value" : -1
                },
                "network" : ["Frontier", "Homestead", "EIP150", "EIP158"],
                "result" : {
		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
			"storage" : {
			    "0x00" : "0x01",
                            "0x01" : "0x01",
                            "0x02" : "0x01",
                            "0x03" : "0x01"
			}
		    }
                }
            },
            {
                "indexes" : {
                    "data" : [0],
                    "gas" : 0,
                    "value" : -1
                },
                "network" : ["Byzantium"],
                "result" : {
		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
			"storage" : {
			    "0x00" : "0x01",
                            "0x01" : "0x01",
                            "0x02" : "0x01",
			    "0x03" : "0x01",
                            "0x0a" : "0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc286",
                            "0x0b" : "0x0217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d4",
                            "0x14" : "0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc286",
                            "0x15" : "0x0217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d4"
			}
		    }
                }
            },
            {
                "indexes" : {
                    "data" : [1],
                    "gas" : 0,
                    "value" : -1
                },
                "network" : ["Byzantium"],
                "result" : {
		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
			"storage" : {
			     "0x00" : "0x01",
                             "0x01" : "0x01",
                             "0x02" : "0x01",
                             "0x03" : "0x01",
                             "0x0a" : "0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49",
                             "0x0b" : "0x018683193ae021a2f8920fed186cde5d9b1365116865281ccf884c1f28b1df8f",
                             "0x14" : "0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49",
                             "0x15" : "0x018683193ae021a2f8920fed186cde5d9b1365116865281ccf884c1f28b1df8f"
			}
		    }
                }
            },
            {
                "indexes" : {
                    "data" : [2],
                    "gas" : 0,
                    "value" : -1
                },
                "network" : ["Byzantium"],
                "result" : {
		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
			"storage" : {
			     "0x00" : "0x01",
                             "0x01" : "0x01",
                             "0x02" : "0x01",
                             "0x03" : "0x01"
			}
		    }
                }
            },
            {
                "indexes" : {
                    "data" : [3],
                    "gas" : 0,
                    "value" : -1
                },
                "network" : ["Byzantium"],
                "result" : {
		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
			"storage" : {
			     "0x00" : "0x01",
                             "0x01" : "0x01",
                             "0x02" : "0x01",
                             "0x03" : "0x01",
                             "0x0a" : "0x255e468453d7636cc1563e43f7521755f95e6c56043c7321b4ae04e772945fb0",
                             "0x0b" : "0x0225c5f1623620fd84bfbab2d861a9d1e570f7727c540f403085998ebaf407c4",
                             "0x14" : "0x255e468453d7636cc1563e43f7521755f95e6c56043c7321b4ae04e772945fb0",
                             "0x15" : "0x0225c5f1623620fd84bfbab2d861a9d1e570f7727c540f403085998ebaf407c4"
			}
		    }
                }
            },
            {
                "indexes" : {
                    "data" : [4],
                    "gas" : 0,
                    "value" : -1
                },
                "network" : ["Byzantium"],
                "result" : {
		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
			"storage" : {
			      "0x00" : "0x01",
                              "0x01" : "0x01",
                              "0x02" : "0x01",
                              "0x03" : "0x01",
                              "0x0a" : "0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49",
                              "0x0b" : "0x2eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db8",
                              "0x14" : "0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49",
                              "0x15" : "0x2eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db8"
			}
		    }
                }
            },
            {
                "indexes" : {
                    "data" : [5],
                    "gas" : 0,
                    "value" : -1
                },
                "network" : ["Byzantium"],
                "result" : {
		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
			"storage" : {
			      "0x00" : "0x01",
                              "0x01" : "0x01",
                              "0x02" : "0x01",
                              "0x03" : "0x01",
                              "0x0a" : "0x255e468453d7636cc1563e43f7521755f95e6c56043c7321b4ae04e772945fb0",
                              "0x0b" : "0x0225c5f1623620fd84bfbab2d861a9d1e570f7727c540f403085998ebaf407c4",
                              "0x14" : "0x255e468453d7636cc1563e43f7521755f95e6c56043c7321b4ae04e772945fb0",
                              "0x15" : "0x0225c5f1623620fd84bfbab2d861a9d1e570f7727c540f403085998ebaf407c4"
			}
		    }
                }
            },
            {
                "indexes" : {
                    "data" : [6],
                    "gas" : 0,
                    "value" : -1
                },
                "network" : ["Byzantium"],
                "result" : {
		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
			"storage" : {
			      "0x00" : "0x01",
                              "0x01" : "0x01",
                              "0x02" : "0x01",
                              "0x03" : "0x01",
                              "0x0a" : "0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc286",
                              "0x0b" : "0x0217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d4",
                              "0x14" : "0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc286",
                              "0x15" : "0x0217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d4"
			}
		    }
                }
            },
            {
                "indexes" : {
                    "data" : [7],
                    "gas" : 0,
                    "value" : -1
                },
                "network" : ["Byzantium"],
                "result" : {
		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
			"storage" : {
			      "0x00" : "0x01",
                              "0x01" : "0x01",
                              "0x0a" : "0x030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd3",
                              "0x0b" : "0x15ed738c0e0a7c92e7845f96b2ae9c0a68a6a449e3538fc7ff3ebf7a5a18a2c4",
                              "0x14" : "0x01",
                              "0x15" : "0x30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45"
			}
		    }
                }
            },
            {
                "indexes" : {
                    "data" : [8],
                    "gas" : 0,
                    "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" : [
		"(x,y) + (x,y) == (x,y) * 2",
		"(x,y) + (x,y) + (x,y) == (x,y) * 3",
		"(-x, -y) + (x,y) == (x,y) * 0",
		"(-x, -y) + (-x, -y) == (-x,-y) * 2",
		"(-x, -y) + (0, 0)  == (x, y) * -1",
		"(-x, -y) + (-x, -y)  == (x, y) * -2",
		"(x, y) + (0, 0)  == (x, y) * 1",
		"(1, 2) + (1, 2)  == (1, 2) * -1",
		"(1, 2) + (-1, -2)  == (1, 2) * 0",
		"30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000"
	    ],
            "data" : [
                "0x0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba0000000000000000000000000000000000000000000000000000000000000002",
		"0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc2860217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d40f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba0000000000000000000000000000000000000000000000000000000000000003",
		"0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c492eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db81f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49018683193ae021a2f8920fed186cde5d9b1365116865281ccf884c1f28b1df8f1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49018683193ae021a2f8920fed186cde5d9b1365116865281ccf884c1f28b1df8f0000000000000000000000000000000000000000000000000000000000000000",
		"0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c492eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db81f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c492eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db81f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c492eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db80000000000000000000000000000000000000000000000000000000000000002",
		"0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c492eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49018683193ae021a2f8920fed186cde5d9b1365116865281ccf884c1f28b1df8f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000",
		"0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c492eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db81f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c492eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db81f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49018683193ae021a2f8920fed186cde5d9b1365116865281ccf884c1f28b1df8f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffffff",
		"0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc2860217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc2860217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d40000000000000000000000000000000000000000000000000000000000000001",
		"0x00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000230644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000",
		"0x00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000"

            ],
            "gasLimit" : [
                "2000000", "90000", "110000", "200000"
            ],
            "gasPrice" : "1",
            "nonce" : "1",
            "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
            "to" : "b94f5374fce5edbc8e2a8697c15331677e6ebf0b",
            "value" : [
                "0"
            ]
        }
    }
}