aboutsummaryrefslogblamecommitdiffstats
path: root/VMTests/vmIOandFlowOperationsTest.json
blob: 4f46a54106d9dc1812cd45a4a5c260d025abd3f9 (plain) (tree)
1
2
3
4
5
6
7
8
 


                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                        
                                 







                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                              
                                 







                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                            
                                 





                                           

                         

                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                        
                                 




                                   

                                                          
                                                     
                                                        
                                 





                                           

                         

                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                              
                                 




                                   

                                                          
                                                     
                                                              
                                 







                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                      
                                 







                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                      
                                 







                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                      
                                 







                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                              
                                 







                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                          
                                 





                                  

                         

                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                          
                                 




                                   

                                                          
                                                     
                                                          
                                 







                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                            
                                 





                                          

                         

                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                              
                                 




                                   

                                                          
                                                     
                                                              
                                 







                                                                           


                                           
                                       





                                                                                                                

                                          
                                                                  
                                          


                                                          
                                                     
                                                                                                                    
                                 







                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                          
                                 







                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                  
                                 




                             


                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                          
                                 
                             
                                   






                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                          
                                 







                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                                
                                 







                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                            
                                 





                                

                         

                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                          
                                 




                                   

                                                          
                                                     
                                                          
                                 





                                

                         

                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                                
                                 




                                   

                                                          
                                                     
                                                                
                                 







                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                        
                                 







                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                        
                                 





                              

                         

                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                            
                                 




                                   

                                                          
                                                     
                                                            
                                 







                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                        
                                 







                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                
                                 







                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                  
                                 





                                       

                         

                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                              
                                 




                                   

                                                          
                                                     
                                                              
                                 





                                      

                         

                                                                           


                                           
                                       





                                                                      

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                                          
                                 




                                   

                                                          
                                                     
                                                                          
                                 







                                                                           


                                           
                                       





                                                                      

                                          
                                                                  
                                          


                                                          
                                                     
                                                                          
                                 







                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                                
                                 







                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                                
                                 




                             
                                      

                         

                                                                           

                                           
                                     
                                       





                                                                      

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                                          
                                 
                             
                                   


                 

                                                          
                                                     
                                                                          
                                 




                             




























































































































































                                                                                                          


                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                            
                                 





                             

                         

                                                                           

                                           
                                     
                                       



                                                                   
                                                        
                          

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                            
                                 




                                   

                                                          
                                                     
                                                            
                                 




                             
                                

                                                                           

                                           
                                     
                                       



                                                                   
                                                          
                          

                                          
                                                                  
                                          


                                                          
                                                     
                                                              
                                 




                             
                               

                         

                                                                           

                                           
                                     
                                       



                                                                   
                                                            
                          

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                                
                                 




                                   

                                                          
                                                     
                                                                
                                 




                             
                                     

                                                                           

                                           
                                     
                                       



                                                                   
                                                                                                                  
                          

                                          
                                                                  
                                          


                                                          
                                                     
                                                                                                                      
                                 




                             
                                             

                                                                           

                                           
                                     
                                       



                                                                   
                                                        
                          

                                          
                                                                  
                                          
          
                 
                                                          
                                                     
                                                            
                                 
                             

                 




                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                    
                                 




                             
                                                 

                                                                           


                                           
                                       



                                                                   
                                                        
                          

                                          
                                                                  
                                          
          
                 
                                                          
                                                     
                                                            
                                 
                             
                                   

                 




                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                                  
                                 
                             
                                   



                 
                                                   

                                                                           


                                           
                                       



                                                                   
                                        
                          

                                          
                                                                  
                                          


                                                          
                                                     
                                            
                                 
                             
                                   



                 
                                             

                         

                                                                           


                                           
                                       



                                                                   
                                                        
                          

                                          
                                                                  
                                          
          
                           



                     
                                                          
                                                     
                                                            
                                 
                             
                                    
                                   

                 


                                                          
                                                     
                                                            
                                 
                             
                                   



                 
                                             

                         

                                                                           


                                           
                                       



                                                                   
                                                              
                          

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                                  
                                 
                             
                                    



                                   

                                                          
                                                     
                                                                  
                                 
                             
                                   



                 
                                                   

                                                                           


                                           
                                       



                                                                   
                                                      
                          

                                          
                                                                  
                                          
          

                                                          
                                                     
                                                          
                                 
                             
                                   



                 
                                   

                                                                           


                                           
                                       



                                                                   
                                                      
                          

                                          
                                                                  
                                          


                                                          
                                                     
                                                          
                                 
                             
                                   



                 
                                                        

                                                                           


                                           
                                       



                                                                   
                                                      
                          

                                          
                                                                  
                                          


                                                          
                                                     
                                                          
                                 
                             
                                   



                 


                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                  
                                 
                             
                                   






                                                                           


                                           
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                              
                                 
                             
                                   




                                    

                         

                                                                           


                                           
                                       



                                                                   
                                                          
                          

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                              
                                 
                             
                                    



                                   

                                                          
                                                     
                                                              
                                 
                             
                                   



                 
                                             

                                                                           


                                           
                                       



                                                                   
                                                            
                          

                                          
                                                                  
                                          


                                                          
                                                     
                                                                
                                 
                             
                                   



                 
                                            

                         

                                                                           


                                           
                                       



                                                                   
                                                              
                          

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                                  
                                 
                             
                                    



                                   

                                                          
                                                     
                                                                  
                                 
                             
                                   



                 
                                                  

                                                                           


                                           
                                       



                                                                   
                                                                                                                    
                          

                                          
                                                                  
                                          


                                                          
                                                     
                                                                                                                        
                                 
                             
                                   



                 
                                                          

                                                                           


                                           
                                       



                                                                   
                                                          
                          

                                          
                                                                  
                                          
          

                                                          
                                                     
                                                              
                                 
                             
                                   



                 
                                                             

                                                                           


                                           
                                       



                                                                   
                                                  
                          

                                          
                                                                  
                                          


                                                          
                                                     
                                                      
                                 
                             
                                   



                 


                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                            
                                 







                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                        
                                 




                             




                                                                           

                                           
                                     
                                       



                                                                   
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        
                          

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            
                                 





                                                          
                                                     
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            
                                 




                             


                                                                           

                                               
                                     
                                       





                                                                   

                                   
                                                                  
                                          


                                                          
                                                     
                                                            
                                 







                                                                           

                                               
                                     
                                       





                                                                   

                                   
                                                                  
                                          


                                                          
                                                     
                                                            
                                 




                             










































                                                                                     
                            

                         

                                                                           

                                           
                                     
                                       



                                                                   

                                      

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                          
                                 
                             
                                   


                 

                                                          
                                                     
                                          
                                 




                             


                                                                           

                                               
                                     
                                       





                                                                   

                                   
                                                                  
                                          


                                                          
                                                     
                                                            
                                 




                             
                   

                         

                                                                           

                                           
                                     
                                       





                                                                                                        

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                                                                            
                                 



                             

                                                          
                                                     
                                                                                                            
                                 





                             

                         

                                                                           

                                           
                                     
                                       





                                                                                                        

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                                                                            
                                 



                             

                                                          
                                                     
                                                                                                            
                                 




                             
              

                         

                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                                    
                                 
                             
                                       


                 

                                                          
                                                     
                                                                    
                                 





                             

                         

                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                      
                                 
                             
                                       


                 

                                                          
                                                     
                                      
                                 




                             


                                                                           

                                           
                                     
                                       



                                                                   
                                                                                                      
                          

                                          
                                                                  
                                          


                                                          
                                                     
                                                                                                          
                                 




                             
                        

                         

                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          
          
                           




                                                                                     
                                                     
                                                                
                                 



                             

                                                          
                                                     
                                                                
                                 





                             

                         

                                                                           

                                           
                                     
                                       





                                                                          

                                          
                                                                  
                                          
          
                           




                                                                                     
                                                     
                                                                              
                                 



                             

                                                          
                                                     
                                                                              
                                 





                             

                         

                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          
          
                           




                                                                                     
                                                     
                                                                    
                                 



                             

                                                          
                                                     
                                                                    
                                 









                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                            
                                 





                                                          
                                                     
                                                            
                                 




                             


                                                                           

                                           
                                     
                                       




                                                                   
                          

                                          
                                                                  
                                          
          
                 
                                                          
                                                     
                                                    
                                 







                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                          
                                 


                             




                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                      
                                 




                             
                         

                         

                                                                           

                                           
                                     
                                       



                                                                   
                                                
                          

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                    
                                 




                                   

                                                          
                                                     
                                                    
                                 




                             
                         

                         

                                                                           

                                           
                                     
                                       



                                                                   
                                                      
                          

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                          
                                 




                                   

                                                          
                                                     
                                                          
                                 




                             
                             

                                                                           

                                           
                                     
                                       



                                                                   
                                              
                          

                                          
                                                                  
                                          
          

                                                          
                                                     
                                                  
                                 




                             
                               

                                                                           

                                           
                                     
                                       



                                                                   
                                              
                          

                                          
                                                                  
                                          
          

                                                          
                                                     
                                                  
                                 




                             


                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                                  
                                 





                             

                         

                                                                           

                                           
                                     
                                       



                                                                   
                                                  
                          

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                      
                                 




                                   

                                                          
                                                     
                                                      
                                 




                             
                                 

                         

                                                                           

                                           
                                     
                                       



                                                                   
                                                                  
                          

                                          
                                                                  
                                          
          
                           




                                                                                     
                                                     
                                                                      
                                 



                             

                                                          
                                                     
                                                                      
                                 




                             


































                                                                           
                                    

                                                                           

                                           
                                     
                                       



                                                                   
                                              
                          

                                          
                                                                  
                                          
          

                                                          
                                                     
                                                  
                                 




                             
                                       

                                                                           

                                           
                                     
                                       



                                                                   
                                      
                          

                                          
                                                                  
                                          
          

                                                          
                                                     
                                          
                                 
                             



                 
                      

                                                                           

                                           
                                     
                                       



                                                                   
                                    
                          

                                          
                                                                  
                                          
          

                                                          
                                                     
                                        
                                 
                             



                 


                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                 
                                                
                                 







                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                 
                                                  
                                 







                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                 
                                              
                                 




                             





                                                                           
                                       

































                                                                           
                                       



























                                                                   
                         

                         

                                                                           

                                           
                                     
                                       





                                                                                                                                                                                                                    

                                          
                                                                  
                                          
          
                             




                                                          
                                                     
                                                                                                                                                                                                                        
                                 



                             

                                                          
                                                     
                                                                                                                                                                                                                        
                                 
                             



                 
                

                                                                           

                                           
                                     
                                       



                                                                   
                                                  
                          

                                          
                                                                  
                                          
          

                                                          
                                                     
                                                      
                                 




                             
                

                         

                                                                           

                                           
                                     
                                       



                                                                   
                                                  
                          

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                      
                                 




                                   

                                                          
                                                     
                                                      
                                 




                             
                         

                                                                           

                                           
                                     
                                       



                                                                   
                                                    
                          

                                          
                                                                  
                                          
          

                                                          
                                                     
                                                        
                                 




                             
                        

                         

                                                                           

                                           
                                     
                                       



                                                                   

                                                      

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                          
                                 




                                   

                                                          
                                                     
                                                          
                                 





                              

                                                                           

                                           
                                     
                                       



                                                                   
                                                                                                            
                          

                                          
                                                                  
                                          


                                                          
                                                     
                                                                                                                
                                 




                             





                                                                           
                                       

































                                                                           
                                       



























                                                                   
                          

                         

                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          
          
                         




                                                          
                                                     
                                                                      
                                 



                             

                                                          
                                                     
                                                                      
                                 




                             
                                      

                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          
          

                                                          
                                                     
                                                      
                                 







                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                              
                                 




                             
             

                         

                                                                           

                                           
                                     
                                       



                                                                   
                                                                                                                                                  
                          

                                          
                                                                  
                                          
          
                           




                                                                                                               
                                                     
                                                                                                                                                      
                                 




                                                                         

                                                          
                                                     
                                                                                                                                                      
                                 




                             


                                                                           

                                               
                                     
                                       





                                                                   

                                   
                                                                  
                                          


                                                          
                                                     
                                                  
                                 




                             













































































                                                                                    




                                                                           

                                           
                                     
                                       





                                                                            

                                          
                                                                  
                                          
          
                           




                                                                                                                                                     
                                                     
                                                                                
                                 





                                                          
                                                     
                                                                                
                                 




                             




                                                                           

                                           
                                     
                                       



                                                                   
                                      
                          

                                          
                                                                  
                                          
          
                           

                  


                                                          
                                                     
                                          
                                 





                                                          
                                                     
                                          
                                 









                                                                           

                                           
                                     
                                       



                                                                   
                                                
                          

                                          
                                                                  
                                          
          
                           

                  


                                                          
                                                     
                                                    
                                 





                                                          
                                                     
                                                    
                                 




                             


                                                                           

                                               
                                     
                                       





                                                                   

                                
                                                                  
                                          


                                                          
                                                     
                                          
                                 




                             
                             

                                                                           

                                           
                                     
                                       



                                                                   
                                          
                          

                                          
                                                                  
                                          
          

                                                          
                                                     
                                              
                                 





                             

                         

                                                                           

                                           
                                     
                                       



                                                                   
                                            
                          

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                
                                 
                             
                                   


                 

                                                          
                                                     
                                                
                                 





                             

                         

                                                                           

                                           
                                     
                                       



                                                                   
                                                    
                          

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                        
                                 
                             
                                   


                 

                                                          
                                                     
                                                        
                                 





                             

                         

                                                                           

                                           
                                     
                                       



                                                                   
                                                                
                          

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                                    
                                 
                             
                                   


                 

                                                          
                                                     
                                                                    
                                 





                             

                         

                                                                           

                                           
                                     
                                       



                                                                   
                                                                
                          

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                                    
                                 
                             
                                   


                 

                                                          
                                                     
                                                                    
                                 





                             

                         

                                                                           

                                           
                                     
                                       



                                                                   
                                                                                                              
                          

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                                                                                  
                                 




                                                                                                 

                                                          
                                                     
                                                                                                                  
                                 





                             

                         

                                                                           

                                           
                                     
                                       



                                                                   
                                                                                                                    
                          

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                                                                                        
                                 




                                   

                                                          
                                                     
                                                                                                                        
                                 




                             


                                                                           

                                               
                                     
                                       





                                                                   

                                
                                                                  
                                          


                                                          
                                                     
                                              
                                 




                             




                                                                           

                                           
                                     
                                       



                                                                   
                                                                                                              
                          

                                          
                                                                  
                                          
          
                           

                  


                                                          
                                                     
                                                                                                                  
                                 
                             
                                                                                                 




                                                          
                                                     
                                                                                                                  
                                 





                             

                         

                                                                           

                                           
                                     
                                       



                                                                   
                                                                                                              
                          

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                                                                                  
                                 




                                                                                                 

                                                          
                                                     
                                                                                                                  
                                 





                             

                         

                                                                           

                                           
                                     
                                       



                                                                   
                                                          
                          

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                              
                                 




                                                                                               

                                                          
                                                     
                                                              
                                 




                             


                                                                           

                                               
                                     
                                       





                                                                   

                                   
                                                                  
                                          


                                                          
                                                     
                                              
                                 




                             




                                                                           

                                               
                                     
                                       



                                                                   
                                                                                                              
                          

                                          
                                                                  
                                          
          
                           

                  


                                                          
                                                     
                                                                                                                  
                                 
                             
                                                                                                 




                                                          
                                                     
                                                                                                                  
                                 





                             

                         

                                                                           

                                           
                                     
                                       



                                                                   
                                                
                          

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                    
                                 




                                   

                                                          
                                                     
                                                    
                                 









                                                                           

                                           
                                     
                                       



                                                                   
                                  
                          

                                          
                                                                  
                                          
          
                           

                  


                                                          
                                                     
                                      
                                 





                                                          
                                                     
                                      
                                 





                             

                         

                                                                           

                                           
                                     
                                       



                                                                   
                                            
                          

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                
                                 
                             
                                   


                 

                                                          
                                                     
                                                
                                 





                             

                         

                                                                           

                                           
                                     
                                       



                                                                   
                                          
                          

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                              
                                 




                                   

                                                          
                                                     
                                              
                                 





                             

                                                                           

                                           
                                     
                                       



                                                                   
                                          
                          

                                          
                                                                  
                                          
          

                                                          
                                                     
                                              
                                 




                             


                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          


                                                          
                                                     
                                            
                                 





                             

                         

                                                                           

                                           
                                     
                                       





                                                                                                                  

                                          
                                                                  
                                          
          
                           




                                                                                     
                                                     
                                                                                                                      
                                 



                             

                                                          
                                                     
                                                                                                                      
                                 




                             


                                                                           

                                               
                                     
                                       





                                                                   

                                   
                                                                  
                                          


                                                          
                                                     
                                              
                                 




                             
                       

                         

                                                                           

                                           
                                     
                                       



                                                                   
                                                          
                          

                                          
                                                                  
                                          
          
                         




                                                          
                                                     
                                                              
                                 
                             
                                    




                                    

                                                          
                                                     
                                                              
                                 





                             

                         

                                                                           

                                           
                                     
                                       



                                                                   
                                                          
                          

                                          
                                                                  
                                          
          
                         




                                                          
                                                     
                                                              
                                 
                             
                                    



                                   

                                                          
                                                     
                                                              
                                 





                             

                                                                           

                                           
                                     
                                       



                                                                   
                                                                                
                          

                                          
                                                                  
                                          
          

                                                          
                                                     
                                                                                    
                                 




                             


































                                                                           




                                                                           

                                           
                                     
                                       





                                                                                                                    

                                          
                                                                  
                                          
          
                           




                                                                                     
                                                     
                                                                                                                        
                                 





                                                          
                                                     
                                                                                                                        
                                 




                             




                                                                           

                                           
                                     
                                       





                                                                                  

                                          
                                                                  
                                          
          
                           




                                                                                     
                                                     
                                                                                      
                                 





                                                          
                                                     
                                                                                      
                                 




                             
                              

                                                                           

                                           
                                     
                                       



                                                                   
                                      
                          

                                          
                                                                  
                                          
          

                                                          
                                                     
                                          
                                 



                             

              

                         

                                                                           

                                           
                                     
                                       





                                                                   

                                          
                                                                  
                                          
          
                           




                                                          
                                                     
                                                            
                                 



                             

                                                          
                                                     
                                                            
                                 



                             
     
 
{
    "BlockNumberDynamicJump0_AfterJumpdest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6023600843015660015b600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6023600843015660015b600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "BlockNumberDynamicJump0_AfterJumpdest3" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6023600b60085043015660015b600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6023600b60085043015660015b600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "BlockNumberDynamicJump0_foreverOutOfGas" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x5b600060000156",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x5b600060000156",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "BlockNumberDynamicJump0_jumpdest0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6023600743015660015b600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013869",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6023600743015660015b600255",
                "nonce" : "0x00",
                "storage" : {
                    "0x02" : "0x23"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6023600743015660015b600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "BlockNumberDynamicJump0_jumpdest2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6023600a60085043015660015b600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013864",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6023600a60085043015660015b600255",
                "nonce" : "0x00",
                "storage" : {
                    "0x02" : "0x23"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6023600a60085043015660015b600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "BlockNumberDynamicJump0_withoutJumpdest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x602360074301566001600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x602360074301566001600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "BlockNumberDynamicJump1" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x620fffff620fffff01430156",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x620fffff620fffff01430156",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "BlockNumberDynamicJumpInsidePushWithJumpDest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6004430156655b6001600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6004430156655b6001600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "BlockNumberDynamicJumpInsidePushWithoutJumpDest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600543015661eeff",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600543015661eeff",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "BlockNumberDynamicJumpi0" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6023600160094301576001600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6023600160094301576001600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "BlockNumberDynamicJumpi1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6023600060094301576001600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013862",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6023600060094301576001600255",
                "nonce" : "0x00",
                "storage" : {
                    "0x02" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6023600060094301576001600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "BlockNumberDynamicJumpi1_jumpdest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60236001600a43015760015b600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60236001600a43015760015b600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "BlockNumberDynamicJumpiAfterStop" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600160084301570060015b6002600355",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013864",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600160084301570060015b6002600355",
                "nonce" : "0x00",
                "storage" : {
                    "0x03" : "0x02"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600160084301570060015b6002600355",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "BlockNumberDynamicJumpiOutsideBoundary" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60017ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04301576002600355",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60017ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04301576002600355",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "BlockNumberDynamicJumpifInsidePushWithJumpDest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60016006430157655b6001600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60016006430157655b6001600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "BlockNumberDynamicJumpifInsidePushWithoutJumpDest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6001600743015761eeff",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6001600743015761eeff",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DyanmicJump0_outOfBoundary" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6023600760005401566001600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6023600760005401566001600255",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x04"
                }
            }
        }
    },
    "DynamicJump0_AfterJumpdest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x602360086003015660015b600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x602360086003015660015b600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJump0_AfterJumpdest3" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6023600b6008506003015660015b600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6023600b6008506003015660015b600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJump0_foreverOutOfGas" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x5b600060000156",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x5b600060000156",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJump0_jumpdest0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x602360076003015660015b600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013868",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x602360076003015660015b600255",
                "nonce" : "0x00",
                "storage" : {
                    "0x02" : "0x23"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x602360076003015660015b600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJump0_jumpdest2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6023600a6008506003015660015b600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013863",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6023600a6008506003015660015b600255",
                "nonce" : "0x00",
                "storage" : {
                    "0x02" : "0x23"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6023600a6008506003015660015b600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJump0_withoutJumpdest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60236007600301566001600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60236007600301566001600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJump1" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x620fffff620fffff0160030156",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x620fffff620fffff0160030156",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJumpAfterStop" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6008600101560060015b6002600355",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013868",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6008600101560060015b6002600355",
                "nonce" : "0x00",
                "storage" : {
                    "0x03" : "0x02"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6008600101560060015b6002600355",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJumpInsidePushWithJumpDest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600460030156655b6001600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600460030156655b6001600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJumpInsidePushWithoutJumpDest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60056003015661eeff",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60056003015661eeff",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJumpJD_DependsOnJumps0" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x01",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6009436006575b566001",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6009436006575b566001",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJumpJD_DependsOnJumps1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x01",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600a436006575b5660015b6001600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01385e",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600a436006575b5660015b6001600155",
                "nonce" : "0x00",
                "storage" : {
                    "0x01" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600a436006575b5660015b6001600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJumpPathologicalTest0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x04",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x435660615b4343025660615b60615b5b5b6001600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01385d",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x435660615b4343025660615b60615b5b5b6001600155",
                "nonce" : "0x00",
                "storage" : {
                    "0x01" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x435660615b4343025660615b60615b5b5b6001600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJumpPathologicalTest1" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x04",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x435660615b4343025660615b60615b605b6001600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x435660615b4343025660615b60615b605b6001600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJumpPathologicalTest2" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x04",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x435631615b60615b60615b606001600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x435631615b60615b60615b606001600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJumpPathologicalTest3" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x07",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x435631615b60615b60615b606001600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x435631615b60615b60615b606001600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJumpStartWithJumpDest" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x5b586000555960115758600052596000575b58600055",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x011126",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x5b586000555960115758600052596000575b58600055",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x12"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x5b586000555960115758600052596000575b58600055",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJump_value1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60016002600334565b5050600052596000f35b50600052596000f35b600052596000f3",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x08"
        },
        "gas" : "0x01867a",
        "logs" : [
        ],
        "out" : "0x0000000000000000000000000000000000000000000000000000000000000001",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60016002600334565b5050600052596000f35b50600052596000f35b600052596000f3",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60016002600334565b5050600052596000f35b50600052596000f35b600052596000f3",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJump_value2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60016002600334565b5050600052596000f35b50600052596000f35b600052596000f3",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x12"
        },
        "gas" : "0x01867c",
        "logs" : [
        ],
        "out" : "0x0000000000000000000000000000000000000000000000000000000000000002",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60016002600334565b5050600052596000f35b50600052596000f35b600052596000f3",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60016002600334565b5050600052596000f35b50600052596000f35b600052596000f3",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJump_value3" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60016002600334565b5050600052596000f35b50600052596000f35b600052596000f3",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x1b"
        },
        "gas" : "0x01867e",
        "logs" : [
        ],
        "out" : "0x0000000000000000000000000000000000000000000000000000000000000003",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60016002600334565b5050600052596000f35b50600052596000f35b600052596000f3",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60016002600334565b5050600052596000f35b50600052596000f35b600052596000f3",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJump_valueUnderflow" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60016002600334565b5050600052596000f35b50600052596000f35b505050600052596000f3",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x1b"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60016002600334565b5050600052596000f35b50600052596000f35b505050600052596000f3",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJumpi0" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x602360016009600301576001600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x602360016009600301576001600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJumpi1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x602360006009600301576001600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013861",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x602360006009600301576001600255",
                "nonce" : "0x00",
                "storage" : {
                    "0x02" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x602360006009600301576001600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJumpi1_jumpdest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60236001600a6003015760015b600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60236001600a6003015760015b600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJumpiAfterStop" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60016008600301570060015b6002600355",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013863",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60016008600301570060015b6002600355",
                "nonce" : "0x00",
                "storage" : {
                    "0x03" : "0x02"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60016008600301570060015b6002600355",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJumpiOutsideBoundary" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60017ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0600301576002600355",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60017ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0600301576002600355",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJumpifInsidePushWithJumpDest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6001600660030157655b6001600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6001600660030157655b6001600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "DynamicJumpifInsidePushWithoutJumpDest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600160076003015761eeff",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600160076003015761eeff",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "JDfromStorageDynamicJump0_AfterJumpdest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60236008600054015660015b600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60236008600054015660015b600255",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x04"
                }
            }
        }
    },
    "JDfromStorageDynamicJump0_AfterJumpdest3" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6023600b600850600054015660015b600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6023600b600850600054015660015b600255",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x04"
                }
            }
        }
    },
    "JDfromStorageDynamicJump0_foreverOutOfGas" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x5b600060000156",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x5b600060000156",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x04"
                }
            }
        }
    },
    "JDfromStorageDynamicJump0_jumpdest0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60236007600054015660015b600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013836",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60236007600054015660015b600255",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x04",
                    "0x02" : "0x23"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60236007600054015660015b600255",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x04"
                }
            }
        }
    },
    "JDfromStorageDynamicJump0_jumpdest2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6023600a600850600054015660015b600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013831",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6023600a600850600054015660015b600255",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x04",
                    "0x02" : "0x23"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6023600a600850600054015660015b600255",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x04"
                }
            }
        }
    },
    "JDfromStorageDynamicJump0_withoutJumpdest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6023600760005401566001600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6023600760005401566001600255",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x04"
                }
            }
        }
    },
    "JDfromStorageDynamicJump1" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x620fffff620fffff016000540156",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x620fffff620fffff016000540156",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x04"
                }
            }
        }
    },
    "JDfromStorageDynamicJumpInsidePushWithJumpDest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60046000540156655b6001600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60046000540156655b6001600155",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x04"
                }
            }
        }
    },
    "JDfromStorageDynamicJumpInsidePushWithoutJumpDest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6005600054015661eeff",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6005600054015661eeff",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x04"
                }
            }
        }
    },
    "JDfromStorageDynamicJumpi0" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60236001600960005401576001600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60236001600960005401576001600255",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x04"
                }
            }
        }
    },
    "JDfromStorageDynamicJumpi1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60236000600960005401576001600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01382f",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60236000600960005401576001600255",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x04",
                    "0x02" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60236000600960005401576001600255",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x04"
                }
            }
        }
    },
    "JDfromStorageDynamicJumpi1_jumpdest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60236001600a600054015760015b600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60236001600a600054015760015b600255",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x04"
                }
            }
        }
    },
    "JDfromStorageDynamicJumpiAfterStop" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6001600860005401570060015b6002600355",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013831",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6001600860005401570060015b6002600355",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x04",
                    "0x03" : "0x02"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6001600860005401570060015b6002600355",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x04"
                }
            }
        }
    },
    "JDfromStorageDynamicJumpiOutsideBoundary" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60017ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff060005401576002600355",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60017ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff060005401576002600355",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x04"
                }
            }
        }
    },
    "JDfromStorageDynamicJumpifInsidePushWithJumpDest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600160066000540157655b6001600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600160066000540157655b6001600155",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x04"
                }
            }
        }
    },
    "JDfromStorageDynamicJumpifInsidePushWithoutJumpDest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x02",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60016007600054015761eeff",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60016007600054015761eeff",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x04"
                }
            }
        }
    },
    "bad_indirect_jump1" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x601b602502565b",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x601b602502565b",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "bad_indirect_jump2" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60016003600302576000600056",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60016003600302576000600056",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "byte1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7f112233445566778899001122334455667788990011223344556677889900aabb60001a7f112233445566778899001122334455667788990011223344556677889900aabb60011a7f112233445566778899001122334455667788990011223344556677889900aabb60021a7f112233445566778899001122334455667788990011223344556677889900aabb60031a7f112233445566778899001122334455667788990011223344556677889900aabb60041a7f112233445566778899001122334455667788990011223344556677889900aabb60051a7f112233445566778899001122334455667788990011223344556677889900aabb60061a7f112233445566778899001122334455667788990011223344556677889900aabb60071a7f112233445566778899001122334455667788990011223344556677889900aabb60081a7f112233445566778899001122334455667788990011223344556677889900aabb60091a7f112233445566778899001122334455667788990011223344556677889900aabb600a1a7f112233445566778899001122334455667788990011223344556677889900aabb600b1a7f112233445566778899001122334455667788990011223344556677889900aabb600c1a7f112233445566778899001122334455667788990011223344556677889900aabb600d1a7f112233445566",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01861f",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x7f112233445566778899001122334455667788990011223344556677889900aabb60001a7f112233445566778899001122334455667788990011223344556677889900aabb60011a7f112233445566778899001122334455667788990011223344556677889900aabb60021a7f112233445566778899001122334455667788990011223344556677889900aabb60031a7f112233445566778899001122334455667788990011223344556677889900aabb60041a7f112233445566778899001122334455667788990011223344556677889900aabb60051a7f112233445566778899001122334455667788990011223344556677889900aabb60061a7f112233445566778899001122334455667788990011223344556677889900aabb60071a7f112233445566778899001122334455667788990011223344556677889900aabb60081a7f112233445566778899001122334455667788990011223344556677889900aabb60091a7f112233445566778899001122334455667788990011223344556677889900aabb600a1a7f112233445566778899001122334455667788990011223344556677889900aabb600b1a7f112233445566778899001122334455667788990011223344556677889900aabb600c1a7f112233445566778899001122334455667788990011223344556677889900aabb600d1a7f112233445566",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x7f112233445566778899001122334455667788990011223344556677889900aabb60001a7f112233445566778899001122334455667788990011223344556677889900aabb60011a7f112233445566778899001122334455667788990011223344556677889900aabb60021a7f112233445566778899001122334455667788990011223344556677889900aabb60031a7f112233445566778899001122334455667788990011223344556677889900aabb60041a7f112233445566778899001122334455667788990011223344556677889900aabb60051a7f112233445566778899001122334455667788990011223344556677889900aabb60061a7f112233445566778899001122334455667788990011223344556677889900aabb60071a7f112233445566778899001122334455667788990011223344556677889900aabb60081a7f112233445566778899001122334455667788990011223344556677889900aabb60091a7f112233445566778899001122334455667788990011223344556677889900aabb600a1a7f112233445566778899001122334455667788990011223344556677889900aabb600b1a7f112233445566778899001122334455667788990011223344556677889900aabb600c1a7f112233445566778899001122334455667788990011223344556677889900aabb600d1a7f112233445566",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "calldatacopyMemExp" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x01f4153d80",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60ff60ff630fffffff630fffffff37",
            "data" : "0x",
            "gas" : "0x01f4153d80",
            "gasPrice" : "0x01",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60ff60ff630fffffff630fffffff37",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "codecopyMemExp" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x01f4153d80",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60ff60ff630fffffff630fffffff39",
            "data" : "0x",
            "gas" : "0x01f4153d80",
            "gasPrice" : "0x01",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60ff60ff630fffffff630fffffff39",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "deadCode_1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6001600053596000f300000000000000005b00",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01868f",
        "logs" : [
        ],
        "out" : "0x0100000000000000000000000000000000000000000000000000000000000000",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6001600053596000f300000000000000005b00",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6001600053596000f300000000000000005b00",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "dupAt51becameMload" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600260035155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013871",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600260035155",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x02"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600260035155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "extcodecopyMemExp" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x01f4153d80",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60ff60ff630fffffff630fffffff3c",
            "data" : "0x",
            "gas" : "0x01f4153d80",
            "gasPrice" : "0x01",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60ff60ff630fffffff630fffffff3c",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "for_loop1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600a6080525b6000608051111560265760a0516080510160a0526001608051036080526005565b",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x018351",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600a6080525b6000608051111560265760a0516080510160a0526001608051036080526005565b",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600a6080525b6000608051111560265760a0516080510160a0526001608051036080526005565b",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "for_loop2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60006080525b600a608051101560265760a0516080510160a0526001608051016080526005565b",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x018351",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60006080525b600a608051101560265760a0516080510160a0526001608051016080526005565b",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60006080525b600a608051101560265760a0516080510160a0526001608051016080526005565b",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "gas0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x64ffffffffff60005261eeee605a525a600055",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01385d",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x64ffffffffff60005261eeee605a525a600055",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x018680"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x64ffffffffff60005261eeee605a525a600055",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "gas1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x5a600055",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01387b",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x5a600055",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x01869e"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x5a600055",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "gasOverFlow" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6060035b606001900380606002576868010000000000000016565b6363badf000d6060115500",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6060035b606001900380606002576868010000000000000016565b6363badf000d6060115500",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "indirect_jump1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600460030156005b6001600052596000f3",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01867d",
        "logs" : [
        ],
        "out" : "0x0000000000000000000000000000000000000000000000000000000000000001",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600460030156005b6001600052596000f3",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600460030156005b6001600052596000f3",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "indirect_jump2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600860060156005b6001600052005b6002600052596000f3",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01867d",
        "logs" : [
        ],
        "out" : "0x0000000000000000000000000000000000000000000000000000000000000002",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600860060156005b6001600052005b6002600052596000f3",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600860060156005b6001600052005b6002600052596000f3",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "indirect_jump3" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6001600460050157005b6001600052596000f3",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x018678",
        "logs" : [
        ],
        "out" : "0x0000000000000000000000000000000000000000000000000000000000000001",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6001600460050157005b6001600052596000f3",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6001600460050157005b6001600052596000f3",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "indirect_jump4" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60006007600501576001600052005b",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01867e",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60006007600501576001600052005b",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60006007600501576001600052005b",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jump0_AfterJumpdest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x602360085660015b600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x602360085660015b600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jump0_AfterJumpdest3" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6023600b6008505660015b600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6023600b6008505660015b600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jump0_foreverOutOfGas" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x5b600056",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x5b600056",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jump0_jumpdest0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x602360075660015b600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01386e",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x602360075660015b600255",
                "nonce" : "0x00",
                "storage" : {
                    "0x02" : "0x23"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x602360075660015b600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jump0_jumpdest2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6023600a6008505660015b600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013869",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6023600a6008505660015b600255",
                "nonce" : "0x00",
                "storage" : {
                    "0x02" : "0x23"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6023600a6008505660015b600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jump0_outOfBoundary" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60236007566001600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60236007566001600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jump0_withoutJumpdest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60236007566001600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60236007566001600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jump1" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x620fffff620fffff0156",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x620fffff620fffff0156",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpAfterStop" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6006560060015b6002600355",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01386e",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6006560060015b6002600355",
                "nonce" : "0x00",
                "storage" : {
                    "0x03" : "0x02"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6006560060015b6002600355",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpDynamicJumpSameDest" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6002600401565b600360005260206000f3600656",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01867c",
        "logs" : [
        ],
        "out" : "0x0000000000000000000000000000000000000000000000000000000000000003",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6002600401565b600360005260206000f3600656",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6002600401565b600360005260206000f3600656",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpHigh" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x630fffffff565b5b6001600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x01" : "0x00"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x630fffffff565b5b6001600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpInsidePushWithJumpDest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600456655b6001600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600456655b6001600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpInsidePushWithoutJumpDest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60055661eeff",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60055661eeff",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpOntoJump" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x565b600056",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x565b600056",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpTo1InstructionafterJump" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6003565b6001600055",
            "data" : "0x",
            "gas" : "0x2710",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x0de0b6b3a7640000",
                "code" : "0x6003565b6001600055",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpTo1InstructionafterJump_jumpdestFirstInstruction" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x5b6003565b6001600055",
            "data" : "0x",
            "gas" : "0x2710",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x0de0b6b3a7640000",
                "code" : "0x5b6003565b6001600055",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpTo1InstructionafterJump_noJumpDest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6003566001600055",
            "data" : "0x",
            "gas" : "0x2710",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x0de0b6b3a7640000",
                "code" : "0x6003566001600055",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpToUint64maxPlus1" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6801000000000000000b565b5b6001600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x01" : "0x00"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6801000000000000000b565b5b6001600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpToUintmaxPlus1" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x640100000007565b5b6001600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x01" : "0x00"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x640100000007565b5b6001600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpdestBigList" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6009565b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b",
            "data" : "0x",
            "gas" : "0x05f5e100",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x05f5e0a1",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6009565b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6009565b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpi0" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x602360016009576001600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x602360016009576001600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpi1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x602360006009576001600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013867",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x602360006009576001600255",
                "nonce" : "0x00",
                "storage" : {
                    "0x02" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x602360006009576001600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpi1_jumpdest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60236001600a5760015b600255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60236001600a5760015b600255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpiAfterStop" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60016008570060015b6002600355",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013869",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60016008570060015b6002600355",
                "nonce" : "0x00",
                "storage" : {
                    "0x03" : "0x02"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60016008570060015b6002600355",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpiOutsideBoundary" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff576002600355",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff576002600355",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpiToUint64maxPlus1" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60016801000000000000000d575b5b6001600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x01" : "0x00"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60016801000000000000000d575b5b6001600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpiToUintmaxPlus1" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6001640100000009575b5b6001600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x01" : "0x00"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6001640100000009575b5b6001600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpi_at_the_end" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x989680",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600a6000525b6000516001900380600052600557",
            "data" : "0x",
            "gas" : "0x03e8",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x0260",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600a6000525b6000516001900380600052600557",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600a6000525b6000516001900380600052600557",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpifInsidePushWithJumpDest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6001600657655b6001600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6001600657655b6001600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "jumpifInsidePushWithoutJumpDest" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600160075761eeff",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600160075761eeff",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "kv1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x33604555602d80600f6000396000f3604554331415602c575b366080511015602b576020608051013560805135556040608051016080526009565b5b",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01385d",
        "logs" : [
        ],
        "out" : "0x604554331415602c575b366080511015602b576020608051013560805135556040608051016080526009565b5b",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x33604555602d80600f6000396000f3604554331415602c575b366080511015602b576020608051013560805135556040608051016080526009565b5b",
                "nonce" : "0x00",
                "storage" : {
                    "0x45" : "0xcd1722f3947def4cf144679da39c4c32bdc35681"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x33604555602d80600f6000396000f3604554331415602c575b366080511015602b576020608051013560805135556040608051016080526009565b5b",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "log1MemExp" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x01f4153d80",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60ff60ff630fffffffa1",
            "data" : "0x",
            "gas" : "0x01f4153d80",
            "gasPrice" : "0x01",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60ff60ff630fffffffa1",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "loop_stacklimit_1020" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6000345b60019003906001018180600357600052600152600059f3",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x03fc"
        },
        "gas" : "0xef1c",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6000345b60019003906001018180600357600052600152600059f3",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6000345b60019003906001018180600357600052600152600059f3",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "loop_stacklimit_1021" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6000345b60019003906001018180600357600052600152600059f3",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x03fd"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x02" : "0x23"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6000345b60019003906001018180600357600052600152600059f3",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "memory1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600260005360036001536000516001510160025260406000f3",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01866d",
        "logs" : [
        ],
        "out" : "0x02030503000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600260005360036001536000516001510160025260406000f3",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600260005360036001536000516001510160025260406000f3",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "mloadError0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600051600055",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01730c",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600051600055",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600051600055",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "mloadError1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6017600152600051600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x017300",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6017600152600051600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6017600152600051600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "mloadMemExp" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x01f4153d80",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x630fffffff51",
            "data" : "0x",
            "gas" : "0x800570",
            "gasPrice" : "0x01",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x630fffffff51",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "mloadOutOfGasError2" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6272482551600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6272482551600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "msize0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60ff60005259600055",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01386f",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60ff60005259600055",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x20"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60ff60005259600055",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "msize1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x64ffffffffff60005259600055",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01386f",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x64ffffffffff60005259600055",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x20"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x64ffffffffff60005259600055",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "msize2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x64ffffffffff60005261eeee60205259600055",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013863",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x64ffffffffff60005261eeee60205259600055",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x40"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x64ffffffffff60005261eeee60205259600055",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "msize3" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x64ffffffffff60005261eeee605a5259600055",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01385d",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x64ffffffffff60005261eeee605a5259600055",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x80"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x64ffffffffff60005261eeee605a5259600055",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "mstore0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600152600151600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013868",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600152600151600155",
                "nonce" : "0x00",
                "storage" : {
                    "0x01" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600152600151600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "mstore1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600201600152600151600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013862",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600201600152600151600155",
                "nonce" : "0x00",
                "storage" : {
                    "0x01" : "0x01"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600201600152600151600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "mstore8MemExp" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x01f4153d80",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60f1630fffffff53",
            "data" : "0x",
            "gas" : "0x800570",
            "gasPrice" : "0x01",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60f1630fffffff53",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "mstore8WordToBigError" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600153600151600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013868",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600153600151600155",
                "nonce" : "0x00",
                "storage" : {
                    "0x01" : "0xff00000000000000000000000000000000000000000000000000000000000000"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600153600151600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "mstore8_0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600153600151600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013868",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600153600151600155",
                "nonce" : "0x00",
                "storage" : {
                    "0x01" : "0xff00000000000000000000000000000000000000000000000000000000000000"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600153600151600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "mstore8_1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60ff60015360ee600253600051600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013862",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60ff60015360ee600253600051600155",
                "nonce" : "0x00",
                "storage" : {
                    "0x01" : "0xffee0000000000000000000000000000000000000000000000000000000000"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60ff60015360ee600253600051600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "mstoreMemExp" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x01f4153d80",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60f1630fffffff52",
            "data" : "0x",
            "gas" : "0x01f4153d80",
            "gasPrice" : "0x01",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60f1630fffffff52",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "mstoreWordToBigError" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x01f4153d80",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600152600151600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013868",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600152600151600155",
                "nonce" : "0x00",
                "storage" : {
                    "0x01" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600152600151600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "mstore_mload0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6017600052600051600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01386b",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6017600052600051600155",
                "nonce" : "0x00",
                "storage" : {
                    "0x01" : "0x17"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6017600052600051600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "pc0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x58600055",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x017313",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x58600055",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x58600055",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "pc1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60ff60005558600055",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x0124ed",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60ff60005558600055",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0x05"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60ff60005558600055",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "pop0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6002600360045055",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x013875",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6002600360045055",
                "nonce" : "0x00",
                "storage" : {
                    "0x03" : "0x02"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6002600360045055",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "pop1" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x5060026003600455",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x5060026003600455",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "return1" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6001620f4240f3",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6001620f4240f3",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "return2" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6001608052600060805111601b57600160005260206000f3602b565b602760005260206000f360026080525b",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01865f",
        "logs" : [
        ],
        "out" : "0x0000000000000000000000000000000000000000000000000000000000000027",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6001608052600060805111601b57600160005260206000f3602b565b602760005260206000f360026080525b",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6001608052600060805111601b57600160005260206000f3602b565b602760005260206000f360026080525b",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "sha3MemExp" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x01f4153d80",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60ff630fffffff20",
            "data" : "0x",
            "gas" : "0x01f4153d80",
            "gasPrice" : "0x01",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60ff630fffffff20",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "sstore_load_0" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60ff60005560ee600a55600054601455",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x9bfc",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60ff60005560ee600a55600054601455",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0xff",
                    "0x0a" : "0xee",
                    "0x14" : "0xff"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60ff60005560ee600a55600054601455",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "sstore_load_1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60ff60005560ee600a55606454601455",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0xd694",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60ff60005560ee600a55606454601455",
                "nonce" : "0x00",
                "storage" : {
                    "0x00" : "0xff",
                    "0x0a" : "0xee"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60ff60005560ee600a55606454601455",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "sstore_load_2" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x60ff60005560ee60015560dd600255600154600a55600254601455",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x60ff60005560ee60015560dd600255600154600a55600254601455",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "sstore_underflow" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600155",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "expect" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "storage" : {
                    "0x01" : "0x00"
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600155",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "stack_loop" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600a5b6001810380600257600053600153600253600353600453600553600653600753600853600953596000f3",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x018555",
        "logs" : [
        ],
        "out" : "0x0001020304050607080900000000000000000000000000000000000000000000",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600a5b6001810380600257600053600153600253600353600453600553600653600753600853600953596000f3",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600a5b6001810380600257600053600153600253600353600453600553600653600753600853600953596000f3",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "stackjump1" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x6004600660096014565b600a03600052596000f35b60005201600956",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x018662",
        "logs" : [
        ],
        "out" : "0x0000000000000000000000000000000000000000000000000000000000000000",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6004600660096014565b600a03600052596000f35b60005201600956",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x6004600660096014565b600a03600052596000f35b60005201600956",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "swapAt52becameMstore" : {
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600260035255",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600260035255",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    },
    "when" : {
        "callcreates" : [
        ],
        "env" : {
            "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
            "currentDifficulty" : "0x0100",
            "currentGasLimit" : "0x0f4240",
            "currentNumber" : "0x00",
            "currentTimestamp" : "0x01"
        },
        "exec" : {
            "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
            "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "code" : "0x600060011115600e57600d6080525b",
            "data" : "0x",
            "gas" : "0x0186a0",
            "gasPrice" : "0x5af3107a4000",
            "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
            "value" : "0x0de0b6b3a7640000"
        },
        "gas" : "0x01866e",
        "logs" : [
        ],
        "out" : "0x",
        "post" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600060011115600e57600d6080525b",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        },
        "pre" : {
            "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
                "balance" : "0x152d02c7e14af6800000",
                "code" : "0x600060011115600e57600d6080525b",
                "nonce" : "0x00",
                "storage" : {
                }
            }
        }
    }
}