zeroKnowledge ECDSA function tests

3 files changed, 1256 insertions, 0 deletions

diff --git a/src/GeneralStateTestsFiller/stZeroKnowledge/pointAddTruncFiller.json b/src/GeneralStateTestsFiller/stZeroKnowledge/pointAddTruncFiller.json
new file mode 100644
index 000000000..b02a5fbce
--- /dev/null
+++ b/src/GeneralStateTestsFiller/stZeroKnowledge/pointAddTruncFiller.json
@@ -0,0 +1,237 @@
+{
+    "pointAddTrunc" : {
+        "env" : {
+            "currentCoinbase" : "68795C4AA09D6f4Ed3E5DeDDf8c2AD3049A601da",
+            "currentDifficulty" : "0x020000",
+            "currentGasLimit" : "4012015",
+            "currentNumber" : "1",
+            "currentTimestamp" : "1000",
+            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+        },
+        "expect" : [
+	    {
+                "indexes" : {
+                    "data" : -1,
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Frontier", "Homestead", "EIP150", "EIP158"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			    "0x00" : "0x01",
+                            "0x01" : "0x00",
+                            "0x02" : "0x00"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [0],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			    "0x00" : "0x01",
+	                    "0x01" : "0x01",
+	                    "0x02" : "0x02"
+			}
+		    }
+                }
+            },
+	    {
+                "indexes" : {
+                    "data" : [1],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			    "0x00" : "0x01",
+                            "0x01" : "0x00",
+                            "0x02" : "0x00"
+			}
+		    }
+                }
+            },
+	    {
+                "indexes" : {
+                    "data" : [2],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			    "0x00" : "0x01",
+                            "0x01" : "0x0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd2",
+                            "0x02" : "0x16da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba"
+			}
+		    }
+                }
+            },
+	    {
+                "indexes" : {
+                    "data" : [5,6],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			    "0x00" : "0x00",
+                            "0x01" : "0x00",
+                            "0x02" : "0x00"
+			}
+		    }
+                }
+            },
+	    {
+                "indexes" : {
+                    "data" : [3],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			    "0x00" : "0x01",
+                            "0x01" : "0x0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd2",
+                            "0x02" : "0x16da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba"
+			}
+		    }
+                }
+            },
+	    {
+                "indexes" : {
+                    "data" : [4],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			    "0x00" : "0x01",
+                            "0x01" : "0x00",
+                            "0x02" : "0x00"
+			}
+		    }
+                }
+            },
+	    {
+                "indexes" : {
+                    "data" : [7],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			    "0x00" : "0x01",
+                            "0x01" : "0x0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd2",
+                            "0x02" : "0x16da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba"
+			}
+		    }
+                }
+            },
+	    {
+                "indexes" : {
+                    "data" : [8],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			    "0x00" : "0x01",
+                            "0x01" : "0x0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd2",
+                            "0x02" : "0x16da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba"
+			}
+		    }
+                }
+            },
+	    {
+                "indexes" : {
+                    "data" : [9],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			    "0x00" : "0x01",
+                            "0x01" : "0x0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd2",
+                            "0x02" : "0x16da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba"
+			}
+		    }
+                }
+            }
+        ],
+        "pre" : {
+            "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+                "balance" : "1000000000000000000",
+                "code" : "",
+                "nonce" : "1",
+                "storage" : {
+                }
+            },
+	    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+                "balance" : "",
+                "code" : "{(MSTORE 0 (CALLDATALOAD 0)) (MSTORE 32 (CALLDATALOAD 32)) (MSTORE 64 (CALLDATALOAD 64)) (MSTORE 96 (CALLDATALOAD 96)) [[0]](CALLCODE 500000 6 0 0 64 200 64)  [[1]] (MLOAD 200)  [[2]] (MLOAD 232) }",
+                "nonce" : "0",
+                "storage" : {
+                }
+            }
+        },
+        "transaction" : {
+	    "data" : [
+		"(1,2) + (1,2)",
+		"(0,0) + (0,0)",
+		"(x,x) + (invalid)",
+		"(x,x) + (0,0)",
+		"(0,0) + (x,x)",
+		"(invalid) + (x,x)",
+		"(invalid) + (invalid)",
+		"(x,x) + (x,x)",
+		"(x,x) + (y,y)",
+		"(x,x) + (1,2)"
+	    ],
+            "data" : [
+                "0x0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002",
+		"0x0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+		"0x0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba0f25919bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba",
+		"0x0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+		"0x000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba",
+		"0x0f25919bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba",
+		"0x0f25919bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba0f25919bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba",
+		"0x0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba",
+		"0x0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc2860217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d4",
+		"0x0f25929bcb43d5a57391564615c9e70a992b10eafa4db109709649cf48c50dd216da2f5cb6be7a0aa72c440c53c9bbdfec6c36c7d515536431b3a865468acbba00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002"
+
+            ],
+            "gasLimit" : [
+                "1000000"
+            ],
+            "gasPrice" : "1",
+            "nonce" : "1",
+            "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+            "to" : "b94f5374fce5edbc8e2a8697c15331677e6ebf0b",
+            "value" : [
+                "0"
+            ]
+        }
+    }
+}
diff --git a/src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAdd2Filler.json b/src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAdd2Filler.json
new file mode 100644
index 000000000..30d22e1b0
--- /dev/null
+++ b/src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAdd2Filler.json
@@ -0,0 +1,725 @@
+{
+    "pointMulAdd2" : {
+        "env" : {
+            "currentCoinbase" : "68795C4AA09D6f4Ed3E5DeDDf8c2AD3049A601da",
+            "currentDifficulty" : "0x020000",
+            "currentGasLimit" : "4012015",
+            "currentNumber" : "1",
+            "currentTimestamp" : "1000",
+            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+        },
+        "expect" : [
+	    {
+                "indexes" : {
+                    "data" : -1,
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Frontier", "Homestead", "EIP150", "EIP158"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			    "0x00" : "0x01",
+                            "0x01" : "0x01",
+                            "0x02" : "0x01",
+                            "0x03" : "0x01"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [0],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "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" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			    "0x00" : "0x01",
+                            "0x01" : "0x01",
+                            "0x02" : "0x01",
+			    "0x03" : "0x01"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [10],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			    "0x00" : "0x01",
+                            "0x01" : "0x01",
+                            "0x02" : "0x01",
+                            "0x03" : "0x01",
+                            "0x0a" : "0x030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd3",
+                            "0x0b" : "0x1a76dae6d3272396d0cbe61fced2bc532edac647851e3ac53ce1cc9c7e645a83",
+                            "0x14" : "0x030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd3",
+                            "0x15" : "0x1a76dae6d3272396d0cbe61fced2bc532edac647851e3ac53ce1cc9c7e645a83"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [11],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+                            "0x00" : "0x01",
+                            "0x01" : "0x01",
+                            "0x02" : "0x01",
+                            "0x03" : "0x01",
+                            "0x0a" : "0x0769bf9ac56bea3ff40232bcb1b6bd159315d84715b8e679f2d355961915abf0",
+                            "0x0b" : "0x05acb4b400e90c0063006a39f478f3e865e306dd5cd56f356e2e8cd8fe7edae6",
+                            "0x14" : "0x0769bf9ac56bea3ff40232bcb1b6bd159315d84715b8e679f2d355961915abf0",
+                            "0x15" : "0x05acb4b400e90c0063006a39f478f3e865e306dd5cd56f356e2e8cd8fe7edae6"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [13,15],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+                            "0x00" : "0x01",
+                            "0x01" : "0x01",
+                            "0x02" : "0x01",
+                            "0x03" : "0x01",
+                            "0x0a" : "0x030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd3",
+                            "0x0b" : "0x15ed738c0e0a7c92e7845f96b2ae9c0a68a6a449e3538fc7ff3ebf7a5a18a2c4",
+                            "0x14" : "0x030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd3",
+                            "0x15" : "0x15ed738c0e0a7c92e7845f96b2ae9c0a68a6a449e3538fc7ff3ebf7a5a18a2c4"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [14],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+                            "0x00" : "0x01",
+			    "0x01" : "0x01",
+			    "0x02" : "0x01",
+			    "0x03" : "0x01",
+			    "0x0a" : "0x01",
+			    "0x0b" : "0x02",
+			    "0x14" : "0x01",
+			    "0x15" : "0x02"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [16],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+				"0x00" : "0x01",
+                                "0x01" : "0x01",
+                                "0x02" : "0x01",
+                                "0x03" : "0x01",
+                                "0x0a" : "0x01",
+                                "0x0b" : "0x30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45",
+                                "0x14" : "0x01",
+                                "0x15" : "0x30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [17],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+				"0x00" : "0x01",
+                                "0x01" : "0x01",
+                                "0x0a" : "0x113aeccecdaf57cd8c0aace591774949dcdaf892555fa86726fa7e679b89c067",
+                                "0x0b" : "0x0bffba84127a19abde488a8251a9a3fce33b34a76f96aafb11ab4a6cef3e9979"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [18],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+				"0x00" : "0x01",
+                                "0x01" : "0x01",
+                                "0x02" : "0x01",
+                                "0x03" : "0x01",
+                                "0x0a" : "0x1fd3b816d9951dcb9aa9797d25e51a865987703ae83cd69c4658679f0350ae2b",
+                                "0x0b" : "0x29ce3d80a74ddc13784beb25ca9fbfd048a3265a32c6f38b92060c5093a0e7a7",
+                                "0x14" : "0x1fd3b816d9951dcb9aa9797d25e51a865987703ae83cd69c4658679f0350ae2b",
+                                "0x15" : "0x29ce3d80a74ddc13784beb25ca9fbfd048a3265a32c6f38b92060c5093a0e7a7"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [19],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+				"0x00" : "0x01",
+                                "0x01" : "0x01",
+                                "0x02" : "0x01",
+                                "0x03" : "0x01",
+                                "0x0a" : "0x0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628",
+                                "0x0b" : "0x069ef5e376c0a1ea82f9dfc2e0001a7f385d655eef9a6f976c7a5d2c493ea3ad",
+                                "0x14" : "0x0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628",
+                                "0x15" : "0x069ef5e376c0a1ea82f9dfc2e0001a7f385d655eef9a6f976c7a5d2c493ea3ad"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [20],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+				"0x00" : "0x01",
+                                "0x01" : "0x01",
+                                "0x0a" : "0x1fd3b816d9951dcb9aa9797d25e51a865987703ae83cd69c4658679f0350ae2b",
+                                "0x0b" : "0x29ce3d80a74ddc13784beb25ca9fbfd048a3265a32c6f38b92060c5093a0e7a7",
+                                "0x14" : "0x2c15ed1902e189486ab6b625aa982510aef6246b21a1e1bcea382da4d735e8ba",
+                                "0x15" : "0x02103e58cbd2fa8081763442ab46c26a9b8051e9b049c3948c8d7d0e139c5e3f"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [21],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+				"0x00" : "0x01",
+                                "0x01" : "0x01",
+                                "0x0a" : "0x1d78954c630b3895fbbfafac1294f2c0158879fdc70bfe18222890e7bfb66fba",
+                                "0x0b" : "0x101c3346e98b136a7078aebd427dced763722d77e3d7985342e0bffcc6ea4d56"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [22],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+				"0x00" : "0x01",
+                                "0x01" : "0x01",
+                                "0x02" : "0x01",
+                                "0x03" : "0x01",
+                                "0x0a" : "0x2fa739d4cde056d8fd75427345cbb34159856e06a4ffad64159c4773f23fbf4b",
+                                "0x0b" : "0x1eed5d5325c31fc89dd541a13d7f63b981fae8d4bf78a6b08a38a601fcfea97b",
+                                "0x14" : "0x2fa739d4cde056d8fd75427345cbb34159856e06a4ffad64159c4773f23fbf4b",
+                                "0x15" : "0x1eed5d5325c31fc89dd541a13d7f63b981fae8d4bf78a6b08a38a601fcfea97b"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [23],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+				"0x00" : "0x01",
+                                "0x01" : "0x01",
+                                "0x02" : "0x01",
+                                "0x03" : "0x01",
+                                "0x0a" : "0x2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d352",
+                                "0x0b" : "0x1d701ec9e3fca50e84777f0f68caff5bff48cf6a6bd4428462ae9366cf0582b0",
+                                "0x14" : "0x2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d352",
+                                "0x15" : "0x1d701ec9e3fca50e84777f0f68caff5bff48cf6a6bd4428462ae9366cf0582b0"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [24],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+				"0x00" : "0x01",
+                                "0x01" : "0x01",
+                                "0x0a" : "0x2fa739d4cde056d8fd75427345cbb34159856e06a4ffad64159c4773f23fbf4b",
+                                "0x0b" : "0x1eed5d5325c31fc89dd541a13d7f63b981fae8d4bf78a6b08a38a601fcfea97b",
+                                "0x14" : "0x08e2142845db159bd105879a109fe7a6f254ed3ddae0e9cd8a2aeae05e5f647b",
+                                "0x15" : "0x221108ee615499d2e0a1113ca1a858a34e055f9da2d30e6e6ab392b049944a92"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [25],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+				"0x00" : "0x01",
+                                "0x01" : "0x01",
+                                "0x02" : "0x01",
+                                "0x03" : "0x01",
+                                "0x0a" : "0x0769bf9ac56bea3ff40232bcb1b6bd159315d84715b8e679f2d355961915abf0",
+                                "0x0b" : "0x2ab799bee0489429554fdb7c8d086475319e63b40b9c5b57cdf1ff3dd9fe2261",
+                                "0x14" : "0x0769bf9ac56bea3ff40232bcb1b6bd159315d84715b8e679f2d355961915abf0",
+                                "0x15" : "0x2ab799bee0489429554fdb7c8d086475319e63b40b9c5b57cdf1ff3dd9fe2261"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [27],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+				"0x00" : "0x01",
+                                "0x01" : "0x01",
+                                "0x02" : "0x01",
+                                "0x03" : "0x01",
+                                "0x0a" : "0x01",
+                                "0x0b" : "0x30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45",
+                                "0x14" : "0x01",
+                                "0x15" : "0x30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [28],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+				"0x00" : "0x01",
+                                "0x01" : "0x01",
+                                "0x02" : "0x01",
+                                "0x03" : "0x01",
+                                "0x0a" : "0x030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd3",
+                                "0x0b" : "0x1a76dae6d3272396d0cbe61fced2bc532edac647851e3ac53ce1cc9c7e645a83",
+                                "0x14" : "0x030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd3",
+                                "0x15" : "0x1a76dae6d3272396d0cbe61fced2bc532edac647851e3ac53ce1cc9c7e645a83"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [29],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+				"0x00" : "0x01",
+                                "0x01" : "0x01",
+                                "0x02" : "0x01",
+                                "0x03" : "0x01",
+                                "0x0a" : "0x01",
+                                "0x0b" : "0x02",
+                                "0x14" : "0x01",
+                                "0x15" : "0x02"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [30],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+				"0x00" : "0x01",
+                                "0x01" : "0x01",
+                                "0x0a" : "0x113aeccecdaf57cd8c0aace591774949dcdaf892555fa86726fa7e679b89c067",
+                                "0x0b" : "0x246493eeceb7867dda07bb342fd7b460b44635e9f8db1f922a7541a9e93e63ce"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [31],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+				"0x00" : "0x01",
+                                "0x01" : "0x01",
+                                "0x02" : "0x01",
+                                "0x03" : "0x01",
+                                "0x0a" : "0x1fd3b816d9951dcb9aa9797d25e51a865987703ae83cd69c4658679f0350ae2b",
+                                "0x0b" : "0x069610f239e3c41640045a90b6e1988d4ede443735aad701aa1a7fc644dc15a0",
+                                "0x14" : "0x1fd3b816d9951dcb9aa9797d25e51a865987703ae83cd69c4658679f0350ae2b",
+                                "0x15" : "0x069610f239e3c41640045a90b6e1988d4ede443735aad701aa1a7fc644dc15a0"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [32],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+				"0x00" : "0x01",
+                                "0x01" : "0x01",
+                                "0x02" : "0x01",
+                                "0x03" : "0x01",
+                                "0x0a" : "0x0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628",
+                                "0x0b" : "0x29c5588f6a70fe3f355665f3a1813dde5f24053278d75af5cfa62eea8f3e599a",
+                                "0x14" : "0x0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628",
+                                "0x15" : "0x29c5588f6a70fe3f355665f3a1813dde5f24053278d75af5cfa62eea8f3e599a"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [33],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+				"0x00" : "0x01",
+                                "0x01" : "0x01",
+                                "0x0a" : "0x1fd3b816d9951dcb9aa9797d25e51a865987703ae83cd69c4658679f0350ae2b",
+                                "0x0b" : "0x069610f239e3c41640045a90b6e1988d4ede443735aad701aa1a7fc644dc15a0",
+                                "0x14" : "0x2c15ed1902e189486ab6b625aa982510aef6246b21a1e1bcea382da4d735e8ba",
+                                "0x15" : "0x2e54101a155ea5a936da1173d63a95f2fc0118a7b82806f8af930f08c4e09f08"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [34],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+				"0x00" : "0x01",
+                                "0x01" : "0x01",
+                                "0x0a" : "0x1d78954c630b3895fbbfafac1294f2c0158879fdc70bfe18222890e7bfb66fba",
+                                "0x0b" : "0x20481b2bf7a68cbf47d796f93f038986340f3d19849a3239f93fcc1a1192aff1"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [35],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+				"0x00" : "0x01",
+                                "0x01" : "0x01",
+                                "0x02" : "0x01",
+                                "0x03" : "0x01",
+                                "0x0a" : "0x2fa739d4cde056d8fd75427345cbb34159856e06a4ffad64159c4773f23fbf4b",
+                                "0x0b" : "0x1176f11fbb6e80611a7b04154401f4a4158681bca8f923dcb1e7e614db7e53cc",
+                                "0x14" : "0x2fa739d4cde056d8fd75427345cbb34159856e06a4ffad64159c4773f23fbf4b",
+                                "0x15" : "0x1176f11fbb6e80611a7b04154401f4a4158681bca8f923dcb1e7e614db7e53cc"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [36],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+				"0x00" : "0x01",
+                                "0x01" : "0x01",
+                                "0x02" : "0x01",
+                                "0x03" : "0x01",
+                                "0x0a" : "0x2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d352",
+                                "0x0b" : "0x12f42fa8fd34fb1b33d8c6a718b6590198389b26fc9d8808d971f8b009777a97",
+                                "0x14" : "0x2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d352",
+                                "0x15" : "0x12f42fa8fd34fb1b33d8c6a718b6590198389b26fc9d8808d971f8b009777a97"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [37],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+				"0x00" : "0x01",
+                                "0x01" : "0x01",
+                                "0x0a" : "0x2fa739d4cde056d8fd75427345cbb34159856e06a4ffad64159c4773f23fbf4b",
+                                "0x0b" : "0x1176f11fbb6e80611a7b04154401f4a4158681bca8f923dcb1e7e614db7e53cc",
+                                "0x14" : "0x08e2142845db159bd105879a109fe7a6f254ed3ddae0e9cd8a2aeae05e5f647b",
+                                "0x15" : "0x0e5345847fdd0656d7af3479dfd8ffba497c0af3c59ebc1ed16cf9668ee8b2b5"
+			}
+		    }
+                }
+            }
+        ],
+        "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" : [
+                "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002",
+		"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003",
+		"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+		"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000030644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000",
+		"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000030644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffffff",
+		"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
+		"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd46",
+		"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45",
+		"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+		"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
+		"000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd450000000000000000000000000000000000000000000000000000000000000002",
+		"030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd31a76dae6d3272396d0cbe61fced2bc532edac647851e3ac53ce1cc9c7e645a83000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd450000000000000000000000000000000000000000000000000000000000000003",
+		"00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd450000000000000000000000000000000000000000000000000000000000000000",
+		"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000002",
+		"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4530644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000",
+		"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4530644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffffff",
+		"000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd450000000000000000000000000000000000000000000000000000000000000001",
+		"0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628069ef5e376c0a1ea82f9dfc2e0001a7f385d655eef9a6f976c7a5d2c493ea3ad000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd450000000000000000000000000000000000000000000000000000000000000000",
+		"0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628069ef5e376c0a1ea82f9dfc2e0001a7f385d655eef9a6f976c7a5d2c493ea3ad0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628069ef5e376c0a1ea82f9dfc2e0001a7f385d655eef9a6f976c7a5d2c493ea3ad0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628069ef5e376c0a1ea82f9dfc2e0001a7f385d655eef9a6f976c7a5d2c493ea3ad0000000000000000000000000000000000000000000000000000000000000002",
+		"0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628069ef5e376c0a1ea82f9dfc2e0001a7f385d655eef9a6f976c7a5d2c493ea3ad00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4530644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd46",
+		"0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628069ef5e376c0a1ea82f9dfc2e0001a7f385d655eef9a6f976c7a5d2c493ea3ad0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e5628069ef5e376c0a1ea82f9dfc2e0001a7f385d655eef9a6f976c7a5d2c493ea3ad000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4530644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45",
+		"2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d3521d701ec9e3fca50e84777f0f68caff5bff48cf6a6bd4428462ae9366cf0582b0000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd450000000000000000000000000000000000000000000000000000000000000000",
+		"2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d3521d701ec9e3fca50e84777f0f68caff5bff48cf6a6bd4428462ae9366cf0582b02f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d3521d701ec9e3fca50e84777f0f68caff5bff48cf6a6bd4428462ae9366cf0582b02f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d3521d701ec9e3fca50e84777f0f68caff5bff48cf6a6bd4428462ae9366cf0582b00000000000000000000000000000000000000000000000000000000000000002",
+		"2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d3521d701ec9e3fca50e84777f0f68caff5bff48cf6a6bd4428462ae9366cf0582b000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+		"2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d3521d701ec9e3fca50e84777f0f68caff5bff48cf6a6bd4428462ae9366cf0582b02f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d3521d701ec9e3fca50e84777f0f68caff5bff48cf6a6bd4428462ae9366cf0582b0000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
+		"030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd315ed738c0e0a7c92e7845f96b2ae9c0a68a6a449e3538fc7ff3ebf7a5a18a2c400000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000003",
+		"000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4500000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000",
+		"000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000230644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000",
+		"000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45000000000000000000000000000000000000000000000000000000000000000130644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd450000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000230644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffffff",
+		"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000001",
+		"0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e562829c5588f6a70fe3f355665f3a1813dde5f24053278d75af5cfa62eea8f3e599a00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000",
+		"0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e562829c5588f6a70fe3f355665f3a1813dde5f24053278d75af5cfa62eea8f3e599a0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e562829c5588f6a70fe3f355665f3a1813dde5f24053278d75af5cfa62eea8f3e599a0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e562829c5588f6a70fe3f355665f3a1813dde5f24053278d75af5cfa62eea8f3e599a0000000000000000000000000000000000000000000000000000000000000002",
+		"0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e562829c5588f6a70fe3f355665f3a1813dde5f24053278d75af5cfa62eea8f3e599a000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000230644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd46",
+		"0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e562829c5588f6a70fe3f355665f3a1813dde5f24053278d75af5cfa62eea8f3e599a0ccbec17235f5b9cc5e42f3df6364a76ecdd0101ddda8fc5dc0ba0b59c0e562829c5588f6a70fe3f355665f3a1813dde5f24053278d75af5cfa62eea8f3e599a0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000230644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45",
+		"2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d35212f42fa8fd34fb1b33d8c6a718b6590198389b26fc9d8808d971f8b009777a9700000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000",
+		"2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d35212f42fa8fd34fb1b33d8c6a718b6590198389b26fc9d8808d971f8b009777a972f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d35212f42fa8fd34fb1b33d8c6a718b6590198389b26fc9d8808d971f8b009777a972f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d35212f42fa8fd34fb1b33d8c6a718b6590198389b26fc9d8808d971f8b009777a970000000000000000000000000000000000000000000000000000000000000002",
+		"2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d35212f42fa8fd34fb1b33d8c6a718b6590198389b26fc9d8808d971f8b009777a970000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+		"2f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d35212f42fa8fd34fb1b33d8c6a718b6590198389b26fc9d8808d971f8b009777a972f588cffe99db877a4434b598ab28f81e0522910ea52b45f0adaa772b2d5d35212f42fa8fd34fb1b33d8c6a718b6590198389b26fc9d8808d971f8b009777a9700000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe"
+
+            ],
+            "gasLimit" : [
+                "2000000"
+            ],
+            "gasPrice" : "1",
+            "nonce" : "1",
+            "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+            "to" : "b94f5374fce5edbc8e2a8697c15331677e6ebf0b",
+            "value" : [
+                "0"
+            ]
+        }
+    }
+}
diff --git a/src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAddFiller.json b/src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAddFiller.json
new file mode 100644
index 000000000..2b4477d5b
--- /dev/null
+++ b/src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAddFiller.json
@@ -0,0 +1,294 @@
+{
+    "pointMulAdd" : {
+        "env" : {
+            "currentCoinbase" : "68795C4AA09D6f4Ed3E5DeDDf8c2AD3049A601da",
+            "currentDifficulty" : "0x020000",
+            "currentGasLimit" : "4012015",
+            "currentNumber" : "1",
+            "currentTimestamp" : "1000",
+            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+        },
+        "expect" : [
+	    {
+                "indexes" : {
+                    "data" : -1,
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Frontier", "Homestead", "EIP150", "EIP158"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			    "0x00" : "0x01",
+                            "0x01" : "0x01",
+                            "0x02" : "0x01",
+                            "0x03" : "0x01"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [0],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			    "0x00" : "0x01",
+                            "0x01" : "0x01",
+                            "0x02" : "0x01",
+			    "0x03" : "0x01",
+                            "0x0a" : "0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc286",
+                            "0x0b" : "0x0217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d4",
+                            "0x14" : "0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc286",
+                            "0x15" : "0x0217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d4"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [1],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			     "0x00" : "0x01",
+                             "0x01" : "0x01",
+                             "0x02" : "0x01",
+                             "0x03" : "0x01",
+                             "0x0a" : "0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49",
+                             "0x0b" : "0x018683193ae021a2f8920fed186cde5d9b1365116865281ccf884c1f28b1df8f",
+                             "0x14" : "0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49",
+                             "0x15" : "0x018683193ae021a2f8920fed186cde5d9b1365116865281ccf884c1f28b1df8f"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [2],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			     "0x00" : "0x01",
+                             "0x01" : "0x01",
+                             "0x02" : "0x01",
+                             "0x03" : "0x01"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [3],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			     "0x00" : "0x01",
+                             "0x01" : "0x01",
+                             "0x02" : "0x01",
+                             "0x03" : "0x01",
+                             "0x0a" : "0x255e468453d7636cc1563e43f7521755f95e6c56043c7321b4ae04e772945fb0",
+                             "0x0b" : "0x0225c5f1623620fd84bfbab2d861a9d1e570f7727c540f403085998ebaf407c4",
+                             "0x14" : "0x255e468453d7636cc1563e43f7521755f95e6c56043c7321b4ae04e772945fb0",
+                             "0x15" : "0x0225c5f1623620fd84bfbab2d861a9d1e570f7727c540f403085998ebaf407c4"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [4],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			      "0x00" : "0x01",
+                              "0x01" : "0x01",
+                              "0x02" : "0x01",
+                              "0x03" : "0x01",
+                              "0x0a" : "0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49",
+                              "0x0b" : "0x2eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db8",
+                              "0x14" : "0x1f4d1d80177b1377743d1901f70d7389be7f7a35a35bfd234a8aaee615b88c49",
+                              "0x15" : "0x2eddcb59a6517e86bfbe35c9691479fffc6e0580000ca2706c983ff7afcb1db8"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [5],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			      "0x00" : "0x01",
+                              "0x01" : "0x01",
+                              "0x02" : "0x01",
+                              "0x03" : "0x01",
+                              "0x0a" : "0x255e468453d7636cc1563e43f7521755f95e6c56043c7321b4ae04e772945fb0",
+                              "0x0b" : "0x0225c5f1623620fd84bfbab2d861a9d1e570f7727c540f403085998ebaf407c4",
+                              "0x14" : "0x255e468453d7636cc1563e43f7521755f95e6c56043c7321b4ae04e772945fb0",
+                              "0x15" : "0x0225c5f1623620fd84bfbab2d861a9d1e570f7727c540f403085998ebaf407c4"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [6],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			      "0x00" : "0x01",
+                              "0x01" : "0x01",
+                              "0x02" : "0x01",
+                              "0x03" : "0x01",
+                              "0x0a" : "0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc286",
+                              "0x0b" : "0x0217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d4",
+                              "0x14" : "0x1de49a4b0233273bba8146af82042d004f2085ec982397db0d97da17204cc286",
+                              "0x15" : "0x0217327ffc463919bef80cc166d09c6172639d8589799928761bcd9f22c903d4"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [7],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "result" : {
+		    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+			"storage" : {
+			      "0x00" : "0x01",
+                              "0x01" : "0x01",
+                              "0x0a" : "0x030644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd3",
+                              "0x0b" : "0x15ed738c0e0a7c92e7845f96b2ae9c0a68a6a449e3538fc7ff3ebf7a5a18a2c4",
+                              "0x14" : "0x01",
+                              "0x15" : "0x30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45"
+			}
+		    }
+                }
+            },
+            {
+                "indexes" : {
+                    "data" : [8],
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : ["Metropolis"],
+                "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"
+            ],
+            "gasPrice" : "1",
+            "nonce" : "1",
+            "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+            "to" : "b94f5374fce5edbc8e2a8697c15331677e6ebf0b",
+            "value" : [
+                "0"
+            ]
+        }
+    }
+}