aboutsummaryrefslogblamecommitdiffstats
path: root/vmtests/vmArithmeticTest.json
blob: 7166016d85e105d5669cb1b493fc11b234ac5e38 (plain) (tree)





















                                                                                                                                                                      
                       






                                                                                                                                                                          
                                                                                               

































                                                                                                                                                                          
                       






                                                                                                            
                                 



















































































                                                                                                            









































                                                                                                            












                                                                                                            
               












                                                                                               
                                      





                                                                  
                       



                                                          
                                          

                              
                                                                                               





                                                          
                                          





                              
               












                                                                                               
                                      





                                                                  
                       



                                                          
                                          

                              
                                                                                               





                                                          
                                          





                              
               












                                                                                               
                                                                                                    





                                                                  
                       



                                                          
                                                                                                        

                              





                                                          
                                                                                                        





                              
               












                                                                                               
                                            





                                                                  
                       



                                                          
                                                

                              
                                 





                                                          
                                                





                              
               












                                                                                               
                                                                                                          





                                                                  
                       



                                                          
                                                                                                              

                              
                                                                                               





                                                          
                                                                                                              





                              
               












                                                                                               
                                            





                                                                  
                       



                                                          
                                                

                              
                                                                                               





                                                          
                                                





                              
                       












                                                                                               
                                          





                                                                  
                       



                                                          
                                              

                              
                                 





                                                          
                                              





                              
                       












                                                                                               
                                          





                                                                  
                       



                                                          
                                              

                              





                                                          
                                              





                              
                       












                                                                                               
                                          





                                                                  
                       



                                                          
                                              

                              





                                                          
                                              





                              
                       












                                                                                               
                                          





                                                                  
                       



                                                          
                                              

                              
                                 





                                                          
                                              





                              
                   












                                                                                               
                                          





                                                                  
                       



                                                          
                                              

                              





                                                          
                                              





                              
             












                                                                                               
                                                      





                                                                  
                       



                                                          
                                                          

                              





                                                          
                                                          





                              
             












                                                                                               
                                          





                                                                  
                       



                                                          
                                              

                              
                                 





                                                          
                                              





                              
             












                                                                                               
                                                                                                                                                                      





                                                                  
                       



                                                          
                                                                                                                                                                          

                              
                                 





                                                          
                                                                                                                                                                          





                              
              












                                                                                               
                                          





                                                                  
                       



                                                          
                                              

                              
                                 





                                                          
                                              





                              
              












                                                                                               
                                                                                                                                                                      





                                                                  
                       



                                                          
                                                                                                                                                                          

                              
                                 





                                                          
                                                                                                                                                                          





                              
              












                                                                                               
                                                      





                                                                  
                       



                                                          
                                                          

                              
                                                                                               





                                                          
                                                          





                              
              












                                                                                               
                                                





                                                                  
                       



                                                          
                                                    

                              





                                                          
                                                    





                              
              












                                                                                               
                                                





                                                                  
                       



                                                          
                                                    

                              
                                 





                                                          
                                                    





                              
              












                                                                                               
                                            





                                                                  
                       



                                                          
                                                

                              
                                   





                                                          
                                                





                              
              












                                                                                               
                                            





                                                                  
                       



                                                          
                                                

                              
                                 





                                                          
                                                





                              
              












                                                                                               
                                            





                                                                  
                       



                                                          
                                                

                              





                                                          
                                                





                              
             












                                                                                               
                                                





                                                                  
                       



                                                          
                                                    

                              
                                 





                                                          
                                                    





                              
             












                                                                                               
                                                





                                                                  
                       



                                                          
                                                    

                              





                                                          
                                                    





                              
             












                                                                                               
                                                                                                        





                                                                  
                       



                                                          
                                                                                                            

                              
                                 





                                                          
                                                                                                            





                              
             












                                                                                               
                                                                                                        





                                                                  
                       



                                                          
                                                                                                            

                              





                                                          
                                                                                                            





                              
             












                                                                                               
                                                





                                                                  
                       



                                                          
                                                    

                              





                                                          
                                                    





                              
             












                                                                                               
                                                





                                                                  
                       



                                                          
                                                    

                              
                                 





                                                          
                                                    





                              
             












                                                                                               
                                                                                                        





                                                                  
                       



                                                          
                                                                                                            

                              





                                                          
                                                                                                            





                              
             












                                                                                               
                                                                                                        





                                                                  
                       



                                                          
                                                                                                            

                              
                                 





                                                          
                                                                                                            





                              
              












                                                                                               
                                          





                                                                  
                       



                                                          
                                              

                              
                                 





                                                          
                                              





                              
              












                                                                                               
                                                                                                        





                                                                  
                       



                                                          
                                                                                                            

                              
                                 





                                                          
                                                                                                            





                              
              












                                                                                               
                                                                                                        





                                                                  
                       



                                                          
                                                                                                            

                              





                                                          
                                                                                                            





                              
              












                                                                                               
                                          





                                                                  
                       



                                                          
                                              

                              





                                                          
                                              





                              
              












                                                                                               
                                                





                                                                  
                       



                                                          
                                                    

                              
                                 





                                                          
                                                    





                              
              












                                                                                               
                                          





                                                                  
                       



                                                          
                                              

                              
                                 





                                                          
                                              





                              
              












                                                                                               
                                                                                                                                                                      





                                                                  
                       



                                                          
                                                                                                                                                                          

                              
                                 





                                                          
                                                                                                                                                                          





                              
              












                                                                                               
                                          





                                                                  
                       



                                                          
                                              

                              





                                                          
                                              





                              
              












                                                                                               
                                          





                                                                  
                       



                                                          
                                              

                              
                                 





                                                          
                                              





                              
              












                                                                                               
                                                                                                                                                                      





                                                                  
                       



                                                          
                                                                                                                                                                          

                              
                                                                                               





                                                          
                                                                                                                                                                          





                              
              












                                                                                               
                                                                                                                                                                      





                                                                  
                       



                                                          
                                                                                                                                                                          

                              





                                                          
                                                                                                                                                                          





                              
              












                                                                                               
                                                                                                                                                                      





                                                                  
                       



                                                          
                                                                                                                                                                          

                              
                                 





                                                          
                                                                                                                                                                          


































                                                                                                        

































                                                                                                        
                       






                                                          
                                 

































                                                                                                                                                                            
                       






                                                                                                                                                                                
                                                                                               

































                                                                                                                                                                                
                       






                                                                                                                                                                                
                                                                                               









































                                                                                                                                                                                

































                                                                                               
                       






                                                          
                                                                                               









































                                                                                               









































                                                                                                                  









































                                                                                                                  

































                                                                                               
                       






                                                          
                                 









































                                                                                                            

































                                                                                                            
                       






                                                                                                            
                                 









































                                                                                                            

































                                                                                               
                       






                                                          
                                 









































                                                                                               

































                                                                                                        
                       






                                                                                                            
                                 









































                                                                                                            

































                                                                                                            
                       






                                                          
                                 

































                                                                                               
                       






                                                          
                                                                                               

































                                                                                               
                       






                                                          
                                 

































                                                                                               
                       






                                                          
                                                                                               









































                                                                                                                  









































                                                                                                                  











































































                                                                                               
                       






                                                          
                                 

































                                                                                               
                       






                                                          
                                                                                               

































                                                                                               
                       






                                                          
                                                                                               

































                                                                                                        
                       






                                                                                                            
                                 

































                                                                                                            
                       






                                                                                                            
                                                                                               













                                                                                                            
{
    "add0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "add1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60047fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60047fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x03"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60047fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "add2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "10000",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "add3" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6000600001600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9896",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6000600001600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6000600001600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "add4" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600101600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9896",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600101600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600101600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "bnot0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600009600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9697",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600009600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600009600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "bnot1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600209600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9697",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600209600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600209600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "bnot2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9897",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "bnot3" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600260000309600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9695",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600260000309600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600260000309600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "bnot4" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000309600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9695",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000309600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000309600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "bnot5" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600060000309600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9695",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600060000309600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600060000309600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "divByNonZero0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6002600504600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6002600504600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x02"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6002600504600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "divByNonZero1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6018601704600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9896",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6018601704600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6018601704600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "divByNonZero2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6018600004600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9896",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6018600004600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6018600004600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "divByNonZero3" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6001600104600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6001600104600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6001600104600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "divByZero" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6000600204600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9896",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6000600204600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6000600204600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "eq0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600360000360056000030e600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9892",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600360000360056000030e600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600360000360056000030e600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "eq1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600060000e600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600060000e600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600060000e600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "eq2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0e600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0e600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0e600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "exp0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6002600208600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6002600208600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x04"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6002600208600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "exp1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff08600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff08600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff08600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "exp2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x637fffffff637fffffff08600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x637fffffff637fffffff08600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0xbc8cccccccc888888880000000aaaaaab00000000fffffffffffffff7fffffff"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x637fffffff637fffffff08600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "exp3" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x637fffffff600008600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9896",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x637fffffff600008600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x637fffffff600008600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "exp4" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6000637fffffff08600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6000637fffffff08600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6000637fffffff08600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "exp5" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600161010108600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600161010108600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x0101"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600161010108600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "exp6" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x610101600108600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x610101600108600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x610101600108600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "exp7" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x610101600208600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9896",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x610101600208600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x610101600208600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "gt0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600060026000030b600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9694",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600060026000030b600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600060026000030b600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "gt1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600260000360000b600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9894",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600260000360000b600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600260000360000b600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "gt2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0b600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0b600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0b600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "gt3" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000b600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9896",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000b600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000b600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "lt0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600060026000030a600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9894",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600060026000030a600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600060026000030a600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "lt1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600260000360000a600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9694",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600260000360000a600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600260000360000a600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "lt2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0a600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9896",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0a600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0a600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "lt3" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000a600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000a600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000a600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mod0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6003600206600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6003600206600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x02"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6003600206600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mod1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff06600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff06600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff06600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mod2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600006600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9896",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600006600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600006600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mod3" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6000600306600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9896",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6000600306600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6000600306600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mod4" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6003600260000306600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9694",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6003600260000306600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x02"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6003600260000306600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mul0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6003600202600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6003600202600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x06"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6003600202600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mul1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mul2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6017600002600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9896",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6017600002600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6017600002600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mul3" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6001601702600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6001601702600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x17"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6001601702600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mul4" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f800000000000000000000000000000000000000000000000000000000000000002600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f800000000000000000000000000000000000000000000000000000000000000002600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x8000000000000000000000000000000000000000000000000000000000000000"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f800000000000000000000000000000000000000000000000000000000000000002600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mul5" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7f80000000000000000000000000000000000000000000000000000000000000007f800000000000000000000000000000000000000000000000000000000000000002600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9896",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7f80000000000000000000000000000000000000000000000000000000000000007f800000000000000000000000000000000000000000000000000000000000000002600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7f80000000000000000000000000000000000000000000000000000000000000007f800000000000000000000000000000000000000000000000000000000000000002600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "mul6" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "not0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0f600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9897",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0f600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0f600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "not1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60000f600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9697",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60000f600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60000f600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "sdiv0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000305600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9694",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000305600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000305600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "sdiv1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6000037fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff05600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9694",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6000037fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff05600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6000037fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff05600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "sdiv2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6004600003600260000305600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9892",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6004600003600260000305600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6004600003600260000305600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "sdiv3" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6002600003600405600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9694",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6002600003600405600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6002600003600405600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "sdivByZero0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6000600003600360000305600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9892",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6000600003600360000305600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6000600003600360000305600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "sdivByZero1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000305600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9894",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000305600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000305600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "sgt0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600060026000030d600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9894",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600060026000030d600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600060026000030d600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "sgt1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600260000360000d600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9694",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600260000360000d600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600260000360000d600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "sgt2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0d600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9896",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0d600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0d600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "sgt3" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000d600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000d600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000d600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "sgt4" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600360000360056000030d600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9892",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600360000360056000030d600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600360000360056000030d600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "slt0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600060026000030c600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9694",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600060026000030c600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600060026000030c600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "slt1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600260000360000c600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9894",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600260000360000c600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600260000360000c600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "slt2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0c600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0c600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0c600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "slt3" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000c600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9896",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000c600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000c600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "slt4" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600360000360056000030c600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9692",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600360000360056000030c600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x600360000360056000030c600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "smod0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6003600003600560000307600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9692",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6003600003600560000307600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6003600003600560000307600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "smod1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6003600003600507600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9694",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6003600003600507600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x02"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6003600003600507600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "smod2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6003600560000307600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9694",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6003600560000307600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6003600560000307600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "smod3" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600260000307600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9894",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600260000307600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600260000307600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "smod4" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6000600260000307600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9894",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6000600260000307600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6000600260000307600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "stop" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x00",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "10000",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x00",
                "nonce" : "0",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x00",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "sub0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6001601703600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6001601703600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x16"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6001601703600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "sub1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6003600203600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6003600203600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6003600203600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "sub2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6017600003600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6017600003600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe9"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x6017600003600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "sub3" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600003600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600003600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600003600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    },
    "sub4" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "256",
            "currentGasLimit" : "1000000",
            "currentNumber" : "0",
            "currentTimestamp" : "1",
            "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03600057",
            "data" : "0x",
            "gas" : "10000",
            "gasPrice" : "100000000000000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "1000000000000000000"
        },
        "gas" : "9696",
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03600057",
                "nonce" : "0",
                "storage" : {
                    "0x" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "1000000000000000000",
                "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03600057",
                "nonce" : "0",
                "storage" : {
                }
            }
        }
    }
}