/* 0 */ PUSH 1; 			// [1]
/* 1 */ PUSH ~2; 			// [~2, 1]
/* 2 */ ADD; 				// [~1]
/* 3 */ PUSH 1;				// [1, ~1]
/* 4 */ AND;				// [0]
/* 5 */ PUSH 2;				// [2, 0]
/* 6 */ LE;					// [0]
/* 7 */ PUSH ~1; 			// [~1, 0]
/* 8 */ LE;					// [1]
/* 9 */ PUSH 336633572;		// [336633572, 1]
/* 10 */ AND;				// [1]
/* 11 */ POP; 				// []
/* 12 */ PUSH 246435;		// [246435]
/* 13 */ MLOAD;				// [0]
/* 14 */ PUSH 2; 			// [2, 0]
/* 15 */ ADD; 				// [2]
/* 16 */ PUSH 1;			// [1, 2]
/* 17 */ MSTORE;			// [] 				[[1 -> 2]]
/* 18 */ PUSH 1; 			// [1]				
/* 19 */ MLOAD; 			// [2]
/* 20 */ TIMESTAMP; 		// [T, 2]
/* 21 */ MLOAD;				// [T, 2]
/* 22 */ MSTORE; 			// []				[[_ -> T]]
/* 23 */ PUSH ~42;			// [~42]
/* 24 */ SLOAD;				// [T]
/* 25 */ SLOAD;				// [T]
/* 26 */ POP;				// []
/* 27 */ PUSH ~1337;		// [~1337]
/* 28 */ PUSH ~67;			// [~67, ~1337]
/* 29 */ SSTORE;			// []									((~67 -> ~1337))
/* 30 */ PUSH ~67;			// [~67]
/* 31 */ SLOAD;				// [~1337]
/* 32 */ BALANCE; 			// [T]
/* 33 */ SLOAD;				// [T]
/* 34 */ INPUT;				// [T, T]
/* 35 */ SSTORE;			// []									((_ -> T))
/* 36 */ ADDRESS; 			// [T]
/* 37 */ GAS;				// [T, T]
/* 38 */ JUMP 40;			// [T, T]
/* 39 */ RETURN; 			// UNREACHABLE (over-jumped)
/* 40 */ JUMPI 43; 			// [T] 
/* 41 */ BALANCE;			// [T]
/* 42 */ RETURN; 			// [T]
/* 43 */ JUMPI 45; 			// []
/* 44 */ STOP; 				// []
/* 45 */ GAS; 				// [T]
/* 46 */ JUMPI 48;			// []
/* 47 */ FAIL;				//
/* 48 */ PUSH 1;			// [1]
/* 49 */ JUMPI 51;			// []
/* 50 */ FAIL; 				// UNREACHABLE (over-jumped)
/* 51 */ STOP; 				// []
// CALL tests are missing