{
    "ecmul_1-3_9935_28000_128" : {
        "_info" : {
            "comment" : "Puts the point (1, 3) and the factor 115792089237316195423570985008687907853269984665640564039457584007913129639935 into the ECMUL precompile, truncating or expanding the input data to 128 bytes. Gives the execution 28000 bytes",
            "filling-rpc-server" : "Geth-1.9.6-unstable-63b18027-20190920",
            "filling-tool-version" : "retesteth-0.0.1+commit.0ae18aef.Linux.g++",
            "lllcversion" : "Version: 0.5.12-develop.2019.9.13+commit.2d601a4f.Linux.g++",
            "source" : "src/GeneralStateTestsFiller/stZeroKnowledge/ecmul_1-3_9935_28000_128Filler.json",
            "sourceHash" : "af81074367aeb199d0c8fb051bfbad4e3f37c30d93e5d8d0fbedafebd49c0089"
        },
        "env" : {
            "currentCoinbase" : "0x3535353535353535353535353535353535353535",
            "currentDifficulty" : "0x020000",
            "currentGasLimit" : "0x05f5e100",
            "currentNumber" : "0x01",
            "currentTimestamp" : "0x03e8",
            "previousHash" : "0xc6745cf3cada515bbfb9573261c82547e0b8f9e3d5dd382e464704a84e47b5ad"
        },
        "post" : {
            "Istanbul" : [
                {
                    "indexes" : {
                        "data" : 0,
                        "gas" : 0,
                        "value" : 0
                    },
                    "hash" : "0x4ae903e879ddba13a502f9fcffb2a4e55c5ec2b285d59ce0e6338fbce76524a1",
                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
                },
                {
                    "indexes" : {
                        "data" : 0,
                        "gas" : 1,
                        "value" : 0
                    },
                    "hash" : "0x48d1de96c52acf763ddd7b9f4d212906ca129173fa2d5b474bb2a6aa3d0f38e9",
                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
                },
                {
                    "indexes" : {
                        "data" : 0,
                        "gas" : 2,
                        "value" : 0
                    },
                    "hash" : "0x3f2a4d5bec238001ebf61f194c500bc8c7bb724ffbb1f39a191152f24b7b82e7",
                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
                },
                {
                    "indexes" : {
                        "data" : 0,
                        "gas" : 3,
                        "value" : 0
                    },
                    "hash" : "0xe925871f99da12bdecc8427d11657c760c4d9b878e03997535c113f4fb521e2d",
                    "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
                }
            ]
        },
        "pre" : {
            "0x0000000000000000000000000000000000000000" : {
                "balance" : "0x01",
                "code" : "0x",
                "nonce" : "0x00",
                "storage" : {
                }
            },
            "0x0000000000000000000000000000000000000001" : {
                "balance" : "0x01",
                "code" : "0x",
                "nonce" : "0x00",
                "storage" : {
                }
            },
            "0x0000000000000000000000000000000000000002" : {
                "balance" : "0x01",
                "code" : "0x",
                "nonce" : "0x00",
                "storage" : {
                }
            },
            "0x0000000000000000000000000000000000000003" : {
                "balance" : "0x01",
                "code" : "0x",
                "nonce" : "0x00",
                "storage" : {
                }
            },
            "0x0000000000000000000000000000000000000004" : {
                "balance" : "0x01",
                "code" : "0x",
                "nonce" : "0x00",
                "storage" : {
                }
            },
            "0x0000000000000000000000000000000000000005" : {
                "balance" : "0x01",
                "code" : "0x",
                "nonce" : "0x00",
                "storage" : {
                }
            },
            "0x0000000000000000000000000000000000000006" : {
                "balance" : "0x01",
                "code" : "0x",
                "nonce" : "0x00",
                "storage" : {
                }
            },
            "0x0000000000000000000000000000000000000007" : {
                "balance" : "0x01",
                "code" : "0x",
                "nonce" : "0x00",
                "storage" : {
                }
            },
            "0x10a1c1cb95c92ec31d3f22c66eef1d9f3f258c6b" : {
                "balance" : "0x0de0b6b3a7640000",
                "code" : "0x",
                "nonce" : "0x00",
                "storage" : {
                }
            },
            "0x13cbb8d99c6c4e0f2728c7d72606e78a29c4e224" : {
                "balance" : "0x0de0b6b3a7640000",
                "code" : "0x",
                "nonce" : "0x00",
                "storage" : {
                }
            },
            "0x24143873e0e0815fdcbcffdbe09c979cbf9ad013" : {
                "balance" : "0x0de0b6b3a7640000",
                "code" : "0x",
                "nonce" : "0x00",
                "storage" : {
                }
            },
            "0x3535353535353535353535353535353535353535" : {
                "balance" : "0x7cec44",
                "code" : "0x",
                "nonce" : "0x00",
                "storage" : {
                }
            },
            "0x598443f1880ef585b21f1d7585bd0577402861e5" : {
                "balance" : "0x0de0b6b3a7640000",
                "code" : "0x",
                "nonce" : "0x00",
                "storage" : {
                }
            },
            "0x77db2bebba79db42a978f896968f4afce746ea1f" : {
                "balance" : "0x0de0b6b3a7640000",
                "code" : "0x",
                "nonce" : "0x00",
                "storage" : {
                }
            },
            "0x7d577a597b2742b498cb5cf0c26cdcd726d39e6e" : {
                "balance" : "0x0de0b6b3a7640000",
                "code" : "0x",
                "nonce" : "0x00",
                "storage" : {
                }
            },
            "0x82a978b3f5962a5b0957d9ee9eef472ee55b42f1" : {
                "balance" : "0x0de0b6b3a6e713bc",
                "code" : "0x",
                "nonce" : "0xc0",
                "storage" : {
                }
            },
            "0x90f0b1ebbba1c1936aff7aaf20a7878ff9e04b6c" : {
                "balance" : "0x0de0b6b3a7640000",
                "code" : "0x",
                "nonce" : "0x00",
                "storage" : {
                }
            },
            "0xc305c901078781c232a2a521c2af7980f8385ee9" : {
                "balance" : "0x00",
                "code" : "0x600035601c52740100000000000000000000000000000000000000006020526fffffffffffffffffffffffffffffffff6040527fffffffffffffffffffffffffffffffff000000000000000000000000000000016060527402540be3fffffffffffffffffffffffffdabf41c006080527ffffffffffffffffffffffffdabf41c00000000000000000000000002540be40060a0526330c8d1da600051141561012b5760c06004356004013511151558576004356004013560200160043560040161014037604061026061014051610160600060076305f5e0fff11558576040610240526102406060806102c0828460006004601bf15050506102c08051602082012090506000556102c060206020820352604081510160206001820306601f820103905060208203f350005b",
                "nonce" : "0x01",
                "storage" : {
                    "0x00" : "0x40c97882e95e71d48d97c8655188333e16470e807a99282b8795064ca6ca4dcf"
                }
            },
            "0xdceceaf3fc5c0a63d195d69b1a90011b7b19650d" : {
                "balance" : "0x0de0b6b3a7640000",
                "code" : "0x",
                "nonce" : "0x00",
                "storage" : {
                }
            },
            "0xe0fc04fa2d34a66b779fd5cee748268032a146c0" : {
                "balance" : "0x0de0b6b3a7640000",
                "code" : "0x",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "transaction" : {
            "data" : [
                "0x30c8d1da0000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000003ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ],
            "gasLimit" : [
                "0xcc78",
                "0x015f90",
                "0x01adb0",
                "0x030d40"
            ],
            "gasPrice" : "0x01",
            "nonce" : "0xc0",
            "secretKey" : "0x044852b2a670ade5407e78fb2863c51de9fcb96542a07186fe3aeda6bb8a116d",
            "to" : "0xc305c901078781c232a2a521c2af7980f8385ee9",
            "value" : [
                "0x"
            ]
        }
    }
}