TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b477e-d698-704c-a4c6-ce74d7562ca4

complete
Chain ID
1
Address
Block Number
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
28733 artifact.fetch complete 1 / 3 4 months ago
28734 tool.cast_disasm complete 1 / 3 4 months ago
72324 analysis.bundle complete 1 / 3 2 weeks ago
72325 capability.graph complete 1 / 3 2 weeks ago
72326 detector.run complete 1 / 3 2 weeks ago
72327 validation.fork complete 1 / 3 2 weeks ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: no
Implementation:
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
9
EXT*/BALANCE
2
Total opcodes
4511
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0129
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x72333356
00000018: GT
00000019: PUSH2 0x00a8
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0x95d89b41
00000023: GT
00000024: PUSH2 0x006d
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0x95d89b41
0000002e: EQ
0000002f: PUSH2 0x0340
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xa9059cbb
00000039: EQ
0000003a: PUSH2 0x0369
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xbf474bed
00000044: EQ
00000045: PUSH2 0x0388
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xc876d0b9
0000004f: EQ
00000050: PUSH2 0x039d
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xc9567bf9
0000005a: EQ
0000005b: PUSH2 0x03b6
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0xdd62ed3e
00000065: EQ
00000066: PUSH2 0x03ca
00000069: JUMPI
0000006a: PUSH0
0000006b: DUP1
0000006c: REVERT
0000006d: JUMPDEST
0000006e: DUP1
0000006f: PUSH4 0x72333356
00000074: EQ
00000075: PUSH2 0x02bd
00000078: JUMPI
00000079: DUP1
0000007a: PUSH4 0x751039fc
0000007f: EQ
00000080: PUSH2 0x02dc
00000083: JUMPI
00000084: DUP1
00000085: PUSH4 0x7d1db4a5
0000008a: EQ
0000008b: PUSH2 0x02f0
0000008e: JUMPI
0000008f: DUP1
00000090: PUSH4 0x8da5cb5b
00000095: EQ
00000096: PUSH2 0x0305
00000099: JUMPI
0000009a: DUP1
0000009b: PUSH4 0x8f9a55c0
000000a0: EQ
000000a1: PUSH2 0x032b
000000a4: JUMPI
000000a5: PUSH0
000000a6: DUP1
000000a7: REVERT
000000a8: JUMPDEST
000000a9: DUP1
000000aa: PUSH4 0x3bbac579
000000af: GT
000000b0: PUSH2 0x00ee
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0x3bbac579
000000ba: EQ
000000bb: PUSH2 0x0209
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0x51bc3c85
000000c5: EQ
000000c6: PUSH2 0x0240
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0x6de7bcbd
000000d0: EQ
000000d1: PUSH2 0x0256
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH4 0x70a08231
000000db: EQ
000000dc: PUSH2 0x0275
000000df: JUMPI
000000e0: DUP1
000000e1: PUSH4 0x715018a6
000000e6: EQ
000000e7: PUSH2 0x02a9
000000ea: JUMPI
000000eb: PUSH0
000000ec: DUP1
000000ed: REVERT
000000ee: JUMPDEST
000000ef: DUP1
000000f0: PUSH4 0x06fdde03
000000f5: EQ
000000f6: PUSH2 0x0134
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0x095ea7b3
00000100: EQ
00000101: PUSH2 0x017e
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x18160ddd
0000010b: EQ
0000010c: PUSH2 0x01ad
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x23b872dd
00000116: EQ
00000117: PUSH2 0x01cf
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x313ce567
00000121: EQ
00000122: PUSH2 0x01ee
00000125: JUMPI
00000126: PUSH0
00000127: DUP1
00000128: REVERT
00000129: JUMPDEST
0000012a: CALLDATASIZE
0000012b: PUSH2 0x0130
0000012e: JUMPI
0000012f: STOP
00000130: JUMPDEST
00000131: PUSH0
00000132: DUP1
00000133: REVERT
00000134: JUMPDEST
00000135: CALLVALUE
00000136: DUP1
00000137: ISZERO
00000138: PUSH2 0x013f
0000013b: JUMPI
0000013c: PUSH0
0000013d: DUP1
0000013e: REVERT
0000013f: JUMPDEST
00000140: POP
00000141: PUSH1 0x40
00000143: DUP1
00000144: MLOAD
00000145: DUP1
00000146: DUP3
00000147: ADD
00000148: SWAP1
00000149: SWAP2
0000014a: MSTORE
0000014b: PUSH1 0x10
0000014d: DUP2
0000014e: MSTORE
0000014f: PUSH16 0x56656e6465747461204e6574776f726b
00000160: PUSH1 0x80
00000162: SHL
00000163: PUSH1 0x20
00000165: DUP3
00000166: ADD
00000167: MSTORE
00000168: JUMPDEST
00000169: PUSH1 0x40
0000016b: MLOAD
0000016c: PUSH2 0x0175
0000016f: SWAP2
00000170: SWAP1
00000171: PUSH2 0x164d
00000174: JUMP
00000175: JUMPDEST
00000176: PUSH1 0x40
00000178: MLOAD
00000179: DUP1
0000017a: SWAP2
0000017b: SUB
0000017c: SWAP1
0000017d: RETURN
0000017e: JUMPDEST
0000017f: CALLVALUE
00000180: DUP1
00000181: ISZERO
00000182: PUSH2 0x0189
00000185: JUMPI
00000186: PUSH0
00000187: DUP1
00000188: REVERT
00000189: JUMPDEST
0000018a: POP
0000018b: PUSH2 0x019d
0000018e: PUSH2 0x0198
00000191: CALLDATASIZE
00000192: PUSH1 0x04
00000194: PUSH2 0x16c0
00000197: JUMP
00000198: JUMPDEST
00000199: PUSH2 0x040e
0000019c: JUMP
0000019d: JUMPDEST
0000019e: PUSH1 0x40
000001a0: MLOAD
000001a1: SWAP1
000001a2: ISZERO
000001a3: ISZERO
000001a4: DUP2
000001a5: MSTORE
000001a6: PUSH1 0x20
000001a8: ADD
000001a9: PUSH2 0x0175
000001ac: JUMP
000001ad: JUMPDEST
000001ae: CALLVALUE
000001af: DUP1
000001b0: ISZERO
000001b1: PUSH2 0x01b8
000001b4: JUMPI
000001b5: PUSH0
000001b6: DUP1
000001b7: REVERT
000001b8: JUMPDEST
000001b9: POP
000001ba: PUSH2 0x01c1
000001bd: PUSH2 0x0424
000001c0: JUMP
000001c1: JUMPDEST
000001c2: PUSH1 0x40
000001c4: MLOAD
000001c5: SWAP1
000001c6: DUP2
000001c7: MSTORE
000001c8: PUSH1 0x20
000001ca: ADD
000001cb: PUSH2 0x0175
000001ce: JUMP
000001cf: JUMPDEST
000001d0: CALLVALUE
000001d1: DUP1
000001d2: ISZERO
000001d3: PUSH2 0x01da
000001d6: JUMPI
000001d7: PUSH0
000001d8: DUP1
000001d9: REVERT
000001da: JUMPDEST
000001db: POP
000001dc: PUSH2 0x019d
000001df: PUSH2 0x01e9
000001e2: CALLDATASIZE
000001e3: PUSH1 0x04
000001e5: PUSH2 0x16ea
000001e8: JUMP
000001e9: JUMPDEST
000001ea: PUSH2 0x0445
000001ed: JUMP
000001ee: JUMPDEST
000001ef: CALLVALUE
000001f0: DUP1
000001f1: ISZERO
000001f2: PUSH2 0x01f9
000001f5: JUMPI
000001f6: PUSH0
000001f7: DUP1
000001f8: REVERT
000001f9: JUMPDEST
000001fa: POP
000001fb: PUSH1 0x40
000001fd: MLOAD
000001fe: PUSH1 0x08
00000200: DUP2
00000201: MSTORE
00000202: PUSH1 0x20
00000204: ADD
00000205: PUSH2 0x0175
00000208: JUMP
00000209: JUMPDEST
0000020a: CALLVALUE
0000020b: DUP1
0000020c: ISZERO
0000020d: PUSH2 0x0214
00000210: JUMPI
00000211: PUSH0
00000212: DUP1
00000213: REVERT
00000214: JUMPDEST
00000215: POP
00000216: PUSH2 0x019d
00000219: PUSH2 0x0223
0000021c: CALLDATASIZE
0000021d: PUSH1 0x04
0000021f: PUSH2 0x1728
00000222: JUMP
00000223: JUMPDEST
00000224: PUSH1 0x01
00000226: PUSH1 0x01
00000228: PUSH1 0xa0
0000022a: SHL
0000022b: SUB
0000022c: AND
0000022d: PUSH0
0000022e: SWAP1
0000022f: DUP2
00000230: MSTORE
00000231: PUSH1 0x04
00000233: PUSH1 0x20
00000235: MSTORE
00000236: PUSH1 0x40
00000238: SWAP1
00000239: KECCAK256
0000023a: SLOAD
0000023b: PUSH1 0xff
0000023d: AND
0000023e: SWAP1
0000023f: JUMP
00000240: JUMPDEST
00000241: CALLVALUE
00000242: DUP1
00000243: ISZERO
00000244: PUSH2 0x024b
00000247: JUMPI
00000248: PUSH0
00000249: DUP1
0000024a: REVERT
0000024b: JUMPDEST
0000024c: POP
0000024d: PUSH2 0x0254
00000250: PUSH2 0x04ac
00000253: JUMP
00000254: JUMPDEST
00000255: STOP
00000256: JUMPDEST
00000257: CALLVALUE
00000258: DUP1
00000259: ISZERO
0000025a: PUSH2 0x0261
0000025d: JUMPI
0000025e: PUSH0
0000025f: DUP1
00000260: REVERT
00000261: JUMPDEST
00000262: POP
00000263: PUSH2 0x0254
00000266: PUSH2 0x0270
00000269: CALLDATASIZE
0000026a: PUSH1 0x04
0000026c: PUSH2 0x1757
0000026f: JUMP
00000270: JUMPDEST
00000271: PUSH2 0x0502
00000274: JUMP
00000275: JUMPDEST
00000276: CALLVALUE
00000277: DUP1
00000278: ISZERO
00000279: PUSH2 0x0280
0000027c: JUMPI
0000027d: PUSH0
0000027e: DUP1
0000027f: REVERT
00000280: JUMPDEST
00000281: POP
00000282: PUSH2 0x01c1
00000285: PUSH2 0x028f
00000288: CALLDATASIZE
00000289: PUSH1 0x04
0000028b: PUSH2 0x1728
0000028e: JUMP
0000028f: JUMPDEST
00000290: PUSH1 0x01
00000292: PUSH1 0x01
00000294: PUSH1 0xa0
00000296: SHL
00000297: SUB
00000298: AND
00000299: PUSH0
0000029a: SWAP1
0000029b: DUP2
0000029c: MSTORE
0000029d: PUSH1 0x01
0000029f: PUSH1 0x20
000002a1: MSTORE
000002a2: PUSH1 0x40
000002a4: SWAP1
000002a5: KECCAK256
000002a6: SLOAD
000002a7: SWAP1
000002a8: JUMP
000002a9: JUMPDEST
000002aa: CALLVALUE
000002ab: DUP1
000002ac: ISZERO
000002ad: PUSH2 0x02b4
000002b0: JUMPI
000002b1: PUSH0
000002b2: DUP1
000002b3: REVERT
000002b4: JUMPDEST
000002b5: POP
000002b6: PUSH2 0x0254
000002b9: PUSH2 0x058f
000002bc: JUMP
000002bd: JUMPDEST
000002be: CALLVALUE
000002bf: DUP1
000002c0: ISZERO
000002c1: PUSH2 0x02c8
000002c4: JUMPI
000002c5: PUSH0
000002c6: DUP1
000002c7: REVERT
000002c8: JUMPDEST
000002c9: POP
000002ca: PUSH2 0x0254
000002cd: PUSH2 0x02d7
000002d0: CALLDATASIZE
000002d1: PUSH1 0x04
000002d3: PUSH2 0x1817
000002d6: JUMP
000002d7: JUMPDEST
000002d8: PUSH2 0x0600
000002db: JUMP
000002dc: JUMPDEST
000002dd: CALLVALUE
000002de: DUP1
000002df: ISZERO
000002e0: PUSH2 0x02e7
000002e3: JUMPI
000002e4: PUSH0
000002e5: DUP1
000002e6: REVERT
000002e7: JUMPDEST
000002e8: POP
000002e9: PUSH2 0x0254
000002ec: PUSH2 0x0695
000002ef: JUMP
000002f0: JUMPDEST
000002f1: CALLVALUE
000002f2: DUP1
000002f3: ISZERO
000002f4: PUSH2 0x02fb
000002f7: JUMPI
000002f8: PUSH0
000002f9: DUP1
000002fa: REVERT
000002fb: JUMPDEST
000002fc: POP
000002fd: PUSH2 0x01c1
00000300: PUSH1 0x10
00000302: SLOAD
00000303: DUP2
00000304: JUMP
00000305: JUMPDEST
00000306: CALLVALUE
00000307: DUP1
00000308: ISZERO
00000309: PUSH2 0x0310
0000030c: JUMPI
0000030d: PUSH0
0000030e: DUP1
0000030f: REVERT
00000310: JUMPDEST
00000311: POP
00000312: PUSH0
00000313: SLOAD
00000314: PUSH1 0x40
00000316: MLOAD
00000317: PUSH1 0x01
00000319: PUSH1 0x01
0000031b: PUSH1 0xa0
0000031d: SHL
0000031e: SUB
0000031f: SWAP1
00000320: SWAP2
00000321: AND
00000322: DUP2
00000323: MSTORE
00000324: PUSH1 0x20
00000326: ADD
00000327: PUSH2 0x0175
0000032a: JUMP
0000032b: JUMPDEST
0000032c: CALLVALUE
0000032d: DUP1
0000032e: ISZERO
0000032f: PUSH2 0x0336
00000332: JUMPI
00000333: PUSH0
00000334: DUP1
00000335: REVERT
00000336: JUMPDEST
00000337: POP
00000338: PUSH2 0x01c1
0000033b: PUSH1 0x11
0000033d: SLOAD
0000033e: DUP2
0000033f: JUMP
00000340: JUMPDEST
00000341: CALLVALUE
00000342: DUP1
00000343: ISZERO
00000344: PUSH2 0x034b
00000347: JUMPI
00000348: PUSH0
00000349: DUP1
0000034a: REVERT
0000034b: JUMPDEST
0000034c: POP
0000034d: PUSH1 0x40
0000034f: DUP1
00000350: MLOAD
00000351: DUP1
00000352: DUP3
00000353: ADD
00000354: SWAP1
00000355: SWAP2
00000356: MSTORE
00000357: PUSH1 0x01
00000359: DUP2
0000035a: MSTORE
0000035b: PUSH1 0x2b
0000035d: PUSH1 0xf9
0000035f: SHL
00000360: PUSH1 0x20
00000362: DUP3
00000363: ADD
00000364: MSTORE
00000365: PUSH2 0x0168
00000368: JUMP
00000369: JUMPDEST
0000036a: CALLVALUE
0000036b: DUP1
0000036c: ISZERO
0000036d: PUSH2 0x0374
00000370: JUMPI
00000371: PUSH0
00000372: DUP1
00000373: REVERT
00000374: JUMPDEST
00000375: POP
00000376: PUSH2 0x019d
00000379: PUSH2 0x0383
0000037c: CALLDATASIZE
0000037d: PUSH1 0x04
0000037f: PUSH2 0x16c0
00000382: JUMP
00000383: JUMPDEST
00000384: PUSH2 0x0753
00000387: JUMP
00000388: JUMPDEST
00000389: CALLVALUE
0000038a: DUP1
0000038b: ISZERO
0000038c: PUSH2 0x0393
0000038f: JUMPI
00000390: PUSH0
00000391: DUP1
00000392: REVERT
00000393: JUMPDEST
00000394: POP
00000395: PUSH2 0x01c1
00000398: PUSH1 0x12
0000039a: SLOAD
0000039b: DUP2
0000039c: JUMP
0000039d: JUMPDEST
0000039e: CALLVALUE
0000039f: DUP1
000003a0: ISZERO
000003a1: PUSH2 0x03a8
000003a4: JUMPI
000003a5: PUSH0
000003a6: DUP1
000003a7: REVERT
000003a8: JUMPDEST
000003a9: POP
000003aa: PUSH1 0x07
000003ac: SLOAD
000003ad: PUSH2 0x019d
000003b0: SWAP1
000003b1: PUSH1 0xff
000003b3: AND
000003b4: DUP2
000003b5: JUMP
000003b6: JUMPDEST
000003b7: CALLVALUE
000003b8: DUP1
000003b9: ISZERO
000003ba: PUSH2 0x03c1
000003bd: JUMPI
000003be: PUSH0
000003bf: DUP1
000003c0: REVERT
000003c1: JUMPDEST
000003c2: POP
000003c3: PUSH2 0x0254
000003c6: PUSH2 0x075f
000003c9: JUMP
000003ca: JUMPDEST
000003cb: CALLVALUE
000003cc: DUP1
000003cd: ISZERO
000003ce: PUSH2 0x03d5
000003d1: JUMPI
000003d2: PUSH0
000003d3: DUP1
000003d4: REVERT
000003d5: JUMPDEST
000003d6: POP
000003d7: PUSH2 0x01c1
000003da: PUSH2 0x03e4
000003dd: CALLDATASIZE
000003de: PUSH1 0x04
000003e0: PUSH2 0x1837
000003e3: JUMP
000003e4: JUMPDEST
000003e5: PUSH1 0x01
000003e7: PUSH1 0x01
000003e9: PUSH1 0xa0
000003eb: SHL
000003ec: SUB
000003ed: SWAP2
000003ee: DUP3
000003ef: AND
000003f0: PUSH0
000003f1: SWAP1
000003f2: DUP2
000003f3: MSTORE
000003f4: PUSH1 0x02
000003f6: PUSH1 0x20
000003f8: SWAP1
000003f9: DUP2
000003fa: MSTORE
000003fb: PUSH1 0x40
000003fd: DUP1
000003fe: DUP4
000003ff: KECCAK256
00000400: SWAP4
00000401: SWAP1
00000402: SWAP5
00000403: AND
00000404: DUP3
00000405: MSTORE
00000406: SWAP2
00000407: SWAP1
00000408: SWAP2
00000409: MSTORE
0000040a: KECCAK256
0000040b: SLOAD
0000040c: SWAP1
0000040d: JUMP
0000040e: JUMPDEST
0000040f: PUSH0
00000410: PUSH2 0x041a
00000413: CALLER
00000414: DUP5
00000415: DUP5
00000416: PUSH2 0x0b09
00000419: JUMP
0000041a: JUMPDEST
0000041b: POP
0000041c: PUSH1 0x01
0000041e: JUMPDEST
0000041f: SWAP3
00000420: SWAP2
00000421: POP
00000422: POP
00000423: JUMP
00000424: JUMPDEST
00000425: PUSH0
00000426: PUSH2 0x0431
00000429: PUSH1 0x08
0000042b: PUSH1 0x0a
0000042d: PUSH2 0x1962
00000430: JUMP
00000431: JUMPDEST
00000432: PUSH2 0x0440
00000435: SWAP1
00000436: PUSH5 0x174876e800
0000043c: PUSH2 0x1970
0000043f: JUMP
00000440: JUMPDEST
00000441: SWAP1
00000442: POP
00000443: SWAP1
00000444: JUMP
00000445: JUMPDEST
00000446: PUSH0
00000447: PUSH2 0x0451
0000044a: DUP5
0000044b: DUP5
0000044c: DUP5
0000044d: PUSH2 0x0c2c
00000450: JUMP
00000451: JUMPDEST
00000452: PUSH2 0x04a2
00000455: DUP5
00000456: CALLER
00000457: PUSH2 0x049d
0000045a: DUP6
0000045b: PUSH1 0x40
0000045d: MLOAD
0000045e: DUP1
0000045f: PUSH1 0x60
00000461: ADD
00000462: PUSH1 0x40
00000464: MSTORE
00000465: DUP1
00000466: PUSH1 0x28
00000468: DUP2
00000469: MSTORE
0000046a: PUSH1 0x20
0000046c: ADD
0000046d: PUSH2 0x1b04
00000470: PUSH1 0x28
00000472: SWAP2
00000473: CODECOPY
00000474: PUSH1 0x01
00000476: PUSH1 0x01
00000478: PUSH1 0xa0
0000047a: SHL
0000047b: SUB
0000047c: DUP11
0000047d: AND
0000047e: PUSH0
0000047f: SWAP1
00000480: DUP2
00000481: MSTORE
00000482: PUSH1 0x02
00000484: PUSH1 0x20
00000486: SWAP1
00000487: DUP2
00000488: MSTORE
00000489: PUSH1 0x40
0000048b: DUP1
0000048c: DUP4
0000048d: KECCAK256
0000048e: CALLER
0000048f: DUP5
00000490: MSTORE
00000491: SWAP1
00000492: SWAP2
00000493: MSTORE
00000494: SWAP1
00000495: KECCAK256
00000496: SLOAD
00000497: SWAP2
00000498: SWAP1
00000499: PUSH2 0x12ac
0000049c: JUMP
0000049d: JUMPDEST
0000049e: PUSH2 0x0b09
000004a1: JUMP
000004a2: JUMPDEST
000004a3: POP
000004a4: PUSH1 0x01
000004a6: SWAP4
000004a7: SWAP3
000004a8: POP
000004a9: POP
000004aa: POP
000004ab: JUMP
000004ac: JUMPDEST
000004ad: PUSH1 0x07
000004af: SLOAD
000004b0: PUSH2 0x0100
000004b3: SWAP1
000004b4: DIV
000004b5: PUSH1 0x01
000004b7: PUSH1 0x01
000004b9: PUSH1 0xa0
000004bb: SHL
000004bc: SUB
000004bd: AND
000004be: CALLER
000004bf: PUSH1 0x01
000004c1: PUSH1 0x01
000004c3: PUSH1 0xa0
000004c5: SHL
000004c6: SUB
000004c7: AND
000004c8: EQ
000004c9: PUSH2 0x04d0
000004cc: JUMPI
000004cd: PUSH0
000004ce: DUP1
000004cf: REVERT
000004d0: JUMPDEST
000004d1: ADDRESS
000004d2: PUSH0
000004d3: SWAP1
000004d4: DUP2
000004d5: MSTORE
000004d6: PUSH1 0x01
000004d8: PUSH1 0x20
000004da: MSTORE
000004db: PUSH1 0x40
000004dd: SWAP1
000004de: KECCAK256
000004df: SLOAD
000004e0: DUP1
000004e1: ISZERO
000004e2: PUSH2 0x04ee
000004e5: JUMPI
000004e6: PUSH2 0x04ee
000004e9: DUP2
000004ea: PUSH2 0x12e4
000004ed: JUMP
000004ee: JUMPDEST
000004ef: SELFBALANCE
000004f0: DUP1
000004f1: ISZERO
000004f2: PUSH2 0x04fe
000004f5: JUMPI
000004f6: PUSH2 0x04fe
000004f9: DUP2
000004fa: PUSH2 0x146d
000004fd: JUMP
000004fe: JUMPDEST
000004ff: POP
00000500: POP
00000501: JUMP
00000502: JUMPDEST
00000503: PUSH0
00000504: SLOAD
00000505: PUSH1 0x01
00000507: PUSH1 0x01
00000509: PUSH1 0xa0
0000050b: SHL
0000050c: SUB
0000050d: AND
0000050e: CALLER
0000050f: EQ
00000510: PUSH2 0x0534
00000513: JUMPI
00000514: PUSH1 0x40
00000516: MLOAD
00000517: PUSH3 0x461bcd
0000051b: PUSH1 0xe5
0000051d: SHL
0000051e: DUP2
0000051f: MSTORE
00000520: PUSH1 0x04
00000522: ADD
00000523: PUSH2 0x052b
00000526: SWAP1
00000527: PUSH2 0x1987
0000052a: JUMP
0000052b: JUMPDEST
0000052c: PUSH1 0x40
0000052e: MLOAD
0000052f: DUP1
00000530: SWAP2
00000531: SUB
00000532: SWAP1
00000533: REVERT
00000534: JUMPDEST
00000535: PUSH0
00000536: JUMPDEST
00000537: DUP2
00000538: MLOAD
00000539: DUP2
0000053a: LT
0000053b: ISZERO
0000053c: PUSH2 0x04fe
0000053f: JUMPI
00000540: PUSH1 0x01
00000542: PUSH1 0x04
00000544: PUSH0
00000545: DUP5
00000546: DUP5
00000547: DUP2
00000548: MLOAD
00000549: DUP2
0000054a: LT
0000054b: PUSH2 0x0556
0000054e: JUMPI
0000054f: PUSH2 0x0556
00000552: PUSH2 0x19bc
00000555: JUMP
00000556: JUMPDEST
00000557: PUSH1 0x20
00000559: SWAP1
0000055a: DUP2
0000055b: MUL
0000055c: SWAP2
0000055d: SWAP1
0000055e: SWAP2
0000055f: ADD
00000560: DUP2
00000561: ADD
00000562: MLOAD
00000563: PUSH1 0x01
00000565: PUSH1 0x01
00000567: PUSH1 0xa0
00000569: SHL
0000056a: SUB
0000056b: AND
0000056c: DUP3
0000056d: MSTORE
0000056e: DUP2
0000056f: ADD
00000570: SWAP2
00000571: SWAP1
00000572: SWAP2
00000573: MSTORE
00000574: PUSH1 0x40
00000576: ADD
00000577: PUSH0
00000578: KECCAK256
00000579: DUP1
0000057a: SLOAD
0000057b: PUSH1 0xff
0000057d: NOT
0000057e: AND
0000057f: SWAP2
00000580: ISZERO
00000581: ISZERO
00000582: SWAP2
00000583: SWAP1
00000584: SWAP2
00000585: OR
00000586: SWAP1
00000587: SSTORE
00000588: PUSH1 0x01
0000058a: ADD
0000058b: PUSH2 0x0536
0000058e: JUMP
0000058f: JUMPDEST
00000590: PUSH0
00000591: SLOAD
00000592: PUSH1 0x01
00000594: PUSH1 0x01
00000596: PUSH1 0xa0
00000598: SHL
00000599: SUB
0000059a: AND
0000059b: CALLER
0000059c: EQ
0000059d: PUSH2 0x05b8
000005a0: JUMPI
000005a1: PUSH1 0x40
000005a3: MLOAD
000005a4: PUSH3 0x461bcd
000005a8: PUSH1 0xe5
000005aa: SHL
000005ab: DUP2
000005ac: MSTORE
000005ad: PUSH1 0x04
000005af: ADD
000005b0: PUSH2 0x052b
000005b3: SWAP1
000005b4: PUSH2 0x1987
000005b7: JUMP
000005b8: JUMPDEST
000005b9: PUSH0
000005ba: DUP1
000005bb: SLOAD
000005bc: PUSH1 0x40
000005be: MLOAD
000005bf: PUSH1 0x01
000005c1: PUSH1 0x01
000005c3: PUSH1 0xa0
000005c5: SHL
000005c6: SUB
000005c7: SWAP1
000005c8: SWAP2
000005c9: AND
000005ca: SWAP1
000005cb: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000005ec: SWAP1
000005ed: DUP4
000005ee: SWAP1
000005ef: LOG3
000005f0: PUSH0
000005f1: DUP1
000005f2: SLOAD
000005f3: PUSH1 0x01
000005f5: PUSH1 0x01
000005f7: PUSH1 0xa0
000005f9: SHL
000005fa: SUB
000005fb: NOT
000005fc: AND
000005fd: SWAP1
000005fe: SSTORE
000005ff: JUMP
00000600: JUMPDEST
00000601: PUSH0
00000602: SLOAD
00000603: PUSH1 0x01
00000605: PUSH1 0x01
00000607: PUSH1 0xa0
00000609: SHL
0000060a: SUB
0000060b: AND
0000060c: CALLER
0000060d: EQ
0000060e: PUSH2 0x0629
00000611: JUMPI
00000612: PUSH1 0x40
00000614: MLOAD
00000615: PUSH3 0x461bcd
00000619: PUSH1 0xe5
0000061b: SHL
0000061c: DUP2
0000061d: MSTORE
0000061e: PUSH1 0x04
00000620: ADD
00000621: PUSH2 0x052b
00000624: SWAP1
00000625: PUSH2 0x1987
00000628: JUMP
00000629: JUMPDEST
0000062a: PUSH1 0x1e
0000062c: DUP3
0000062d: GT
0000062e: ISZERO
0000062f: DUP1
00000630: ISZERO
00000631: PUSH2 0x063b
00000634: JUMPI
00000635: POP
00000636: PUSH1 0x1e
00000638: DUP2
00000639: GT
0000063a: ISZERO
0000063b: JUMPDEST
0000063c: DUP1
0000063d: ISZERO
0000063e: PUSH2 0x0650
00000641: JUMPI
00000642: POP
00000643: PUSH1 0x14
00000645: SLOAD
00000646: PUSH1 0x01
00000648: PUSH1 0xa0
0000064a: SHL
0000064b: SWAP1
0000064c: DIV
0000064d: PUSH1 0xff
0000064f: AND
00000650: JUMPDEST
00000651: PUSH2 0x068a
00000654: JUMPI
00000655: PUSH1 0x40
00000657: MLOAD
00000658: PUSH3 0x461bcd
0000065c: PUSH1 0xe5
0000065e: SHL
0000065f: DUP2
00000660: MSTORE
00000661: PUSH1 0x20
00000663: PUSH1 0x04
00000665: DUP3
00000666: ADD
00000667: MSTORE
00000668: PUSH1 0x0b
0000066a: PUSH1 0x24
0000066c: DUP3
0000066d: ADD
0000066e: MSTORE
0000066f: PUSH11 0x496e76616c696420666565
0000067b: PUSH1 0xa8
0000067d: SHL
0000067e: PUSH1 0x44
00000680: DUP3
00000681: ADD
00000682: MSTORE
00000683: PUSH1 0x64
00000685: ADD
00000686: PUSH2 0x052b
00000689: JUMP
0000068a: JUMPDEST
0000068b: PUSH1 0x0a
0000068d: SWAP2
0000068e: SWAP1
0000068f: SWAP2
00000690: SSTORE
00000691: PUSH1 0x0b
00000693: SSTORE
00000694: JUMP
00000695: JUMPDEST
00000696: PUSH0
00000697: SLOAD
00000698: PUSH1 0x01
0000069a: PUSH1 0x01
0000069c: PUSH1 0xa0
0000069e: SHL
0000069f: SUB
000006a0: AND
000006a1: CALLER
000006a2: EQ
000006a3: PUSH2 0x06be
000006a6: JUMPI
000006a7: PUSH1 0x40
000006a9: MLOAD
000006aa: PUSH3 0x461bcd
000006ae: PUSH1 0xe5
000006b0: SHL
000006b1: DUP2
000006b2: MSTORE
000006b3: PUSH1 0x04
000006b5: ADD
000006b6: PUSH2 0x052b
000006b9: SWAP1
000006ba: PUSH2 0x1987
000006bd: JUMP
000006be: JUMPDEST
000006bf: PUSH2 0x06ca
000006c2: PUSH1 0x08
000006c4: PUSH1 0x0a
000006c6: PUSH2 0x1962
000006c9: JUMP
000006ca: JUMPDEST
000006cb: PUSH2 0x06d9
000006ce: SWAP1
000006cf: PUSH5 0x174876e800
000006d5: PUSH2 0x1970
000006d8: JUMP
000006d9: JUMPDEST
000006da: PUSH1 0x10
000006dc: SSTORE
000006dd: PUSH2 0x06e8
000006e0: PUSH1 0x08
000006e2: PUSH1 0x0a
000006e4: PUSH2 0x1962
000006e7: JUMP
000006e8: JUMPDEST
000006e9: PUSH2 0x06f7
000006ec: SWAP1
000006ed: PUSH5 0x174876e800
000006f3: PUSH2 0x1970
000006f6: JUMP
000006f7: JUMPDEST
000006f8: PUSH1 0x11
000006fa: SSTORE
000006fb: PUSH1 0x07
000006fd: DUP1
000006fe: SLOAD
000006ff: PUSH1 0xff
00000701: NOT
00000702: AND
00000703: SWAP1
00000704: SSTORE
00000705: PUSH32 0x947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf
00000726: PUSH2 0x0731
00000729: PUSH1 0x08
0000072b: PUSH1 0x0a
0000072d: PUSH2 0x1962
00000730: JUMP
00000731: JUMPDEST
00000732: PUSH2 0x0740
00000735: SWAP1
00000736: PUSH5 0x174876e800
0000073c: PUSH2 0x1970
0000073f: JUMP
00000740: JUMPDEST
00000741: PUSH1 0x40
00000743: MLOAD
00000744: SWAP1
00000745: DUP2
00000746: MSTORE
00000747: PUSH1 0x20
00000749: ADD
0000074a: PUSH1 0x40
0000074c: MLOAD
0000074d: DUP1
0000074e: SWAP2
0000074f: SUB
00000750: SWAP1
00000751: LOG1
00000752: JUMP
00000753: JUMPDEST
00000754: PUSH0
00000755: PUSH2 0x041a
00000758: CALLER
00000759: DUP5
0000075a: DUP5
0000075b: PUSH2 0x0c2c
0000075e: JUMP
0000075f: JUMPDEST
00000760: PUSH0
00000761: SLOAD
00000762: PUSH1 0x01
00000764: PUSH1 0x01
00000766: PUSH1 0xa0
00000768: SHL
00000769: SUB
0000076a: AND
0000076b: CALLER
0000076c: EQ
0000076d: PUSH2 0x0788
00000770: JUMPI
00000771: PUSH1 0x40
00000773: MLOAD
00000774: PUSH3 0x461bcd
00000778: PUSH1 0xe5
0000077a: SHL
0000077b: DUP2
0000077c: MSTORE
0000077d: PUSH1 0x04
0000077f: ADD
00000780: PUSH2 0x052b
00000783: SWAP1
00000784: PUSH2 0x1987
00000787: JUMP
00000788: JUMPDEST
00000789: PUSH1 0x14
0000078b: SLOAD
0000078c: PUSH1 0x01
0000078e: PUSH1 0xa0
00000790: SHL
00000791: SWAP1
00000792: DIV
00000793: PUSH1 0xff
00000795: AND
00000796: ISZERO
00000797: PUSH2 0x07e2
0000079a: JUMPI
0000079b: PUSH1 0x40
0000079d: MLOAD
0000079e: PUSH3 0x461bcd
000007a2: PUSH1 0xe5
000007a4: SHL
000007a5: DUP2
000007a6: MSTORE
000007a7: PUSH1 0x20
000007a9: PUSH1 0x04
000007ab: DUP3
000007ac: ADD
000007ad: MSTORE
000007ae: PUSH1 0x17
000007b0: PUSH1 0x24
000007b2: DUP3
000007b3: ADD
000007b4: MSTORE
000007b5: PUSH32 0x74726164696e6720697320616c7265616479206f70656e000000000000000000
000007d6: PUSH1 0x44
000007d8: DUP3
000007d9: ADD
000007da: MSTORE
000007db: PUSH1 0x64
000007dd: ADD
000007de: PUSH2 0x052b
000007e1: JUMP
000007e2: JUMPDEST
000007e3: PUSH1 0x13
000007e5: DUP1
000007e6: SLOAD
000007e7: PUSH1 0x01
000007e9: PUSH1 0x01
000007eb: PUSH1 0xa0
000007ed: SHL
000007ee: SUB
000007ef: NOT
000007f0: AND
000007f1: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
00000806: SWAP1
00000807: DUP2
00000808: OR
00000809: SWAP1
0000080a: SWAP2
0000080b: SSTORE
0000080c: PUSH2 0x082c
0000080f: SWAP1
00000810: ADDRESS
00000811: SWAP1
00000812: PUSH2 0x081d
00000815: PUSH1 0x08
00000817: PUSH1 0x0a
00000819: PUSH2 0x1962
0000081c: JUMP
0000081d: JUMPDEST
0000081e: PUSH2 0x049d
00000821: SWAP1
00000822: PUSH5 0x174876e800
00000828: PUSH2 0x1970
0000082b: JUMP
0000082c: JUMPDEST
0000082d: PUSH1 0x13
0000082f: PUSH0
00000830: SWAP1
00000831: SLOAD
00000832: SWAP1
00000833: PUSH2 0x0100
00000836: EXP
00000837: SWAP1
00000838: DIV
00000839: PUSH1 0x01
0000083b: PUSH1 0x01
0000083d: PUSH1 0xa0
0000083f: SHL
00000840: SUB
00000841: AND
00000842: PUSH1 0x01
00000844: PUSH1 0x01
00000846: PUSH1 0xa0
00000848: SHL
00000849: SUB
0000084a: AND
0000084b: PUSH4 0xc45a0155
00000850: PUSH1 0x40
00000852: MLOAD
00000853: DUP2
00000854: PUSH4 0xffffffff
00000859: AND
0000085a: PUSH1 0xe0
0000085c: SHL
0000085d: DUP2
0000085e: MSTORE
0000085f: PUSH1 0x04
00000861: ADD
00000862: PUSH1 0x20
00000864: PUSH1 0x40
00000866: MLOAD
00000867: DUP1
00000868: DUP4
00000869: SUB
0000086a: DUP2
0000086b: DUP7
0000086c: GAS
0000086d: STATICCALL
0000086e: ISZERO
0000086f: DUP1
00000870: ISZERO
00000871: PUSH2 0x087c
00000874: JUMPI
00000875: RETURNDATASIZE
00000876: PUSH0
00000877: DUP1
00000878: RETURNDATACOPY
00000879: RETURNDATASIZE
0000087a: PUSH0
0000087b: REVERT
0000087c: JUMPDEST
0000087d: POP
0000087e: POP
0000087f: POP
00000880: POP
00000881: PUSH1 0x40
00000883: MLOAD
00000884: RETURNDATASIZE
00000885: PUSH1 0x1f
00000887: NOT
00000888: PUSH1 0x1f
0000088a: DUP3
0000088b: ADD
0000088c: AND
0000088d: DUP3
0000088e: ADD
0000088f: DUP1
00000890: PUSH1 0x40
00000892: MSTORE
00000893: POP
00000894: DUP2
00000895: ADD
00000896: SWAP1
00000897: PUSH2 0x08a0
0000089a: SWAP2
0000089b: SWAP1
0000089c: PUSH2 0x19d0
0000089f: JUMP
000008a0: JUMPDEST
000008a1: PUSH1 0x01
000008a3: PUSH1 0x01
000008a5: PUSH1 0xa0
000008a7: SHL
000008a8: SUB
000008a9: AND
000008aa: PUSH4 0xc9c65396
000008af: ADDRESS
000008b0: PUSH1 0x13
000008b2: PUSH0
000008b3: SWAP1
000008b4: SLOAD
000008b5: SWAP1
000008b6: PUSH2 0x0100
000008b9: EXP
000008ba: SWAP1
000008bb: DIV
000008bc: PUSH1 0x01
000008be: PUSH1 0x01
000008c0: PUSH1 0xa0
000008c2: SHL
000008c3: SUB
000008c4: AND
000008c5: PUSH1 0x01
000008c7: PUSH1 0x01
000008c9: PUSH1 0xa0
000008cb: SHL
000008cc: SUB
000008cd: AND
000008ce: PUSH4 0xad5c4648
000008d3: PUSH1 0x40
000008d5: MLOAD
000008d6: DUP2
000008d7: PUSH4 0xffffffff
000008dc: AND
000008dd: PUSH1 0xe0
000008df: SHL
000008e0: DUP2
000008e1: MSTORE
000008e2: PUSH1 0x04
000008e4: ADD
000008e5: PUSH1 0x20
000008e7: PUSH1 0x40
000008e9: MLOAD
000008ea: DUP1
000008eb: DUP4
000008ec: SUB
000008ed: DUP2
000008ee: DUP7
000008ef: GAS
000008f0: STATICCALL
000008f1: ISZERO
000008f2: DUP1
000008f3: ISZERO
000008f4: PUSH2 0x08ff
000008f7: JUMPI
000008f8: RETURNDATASIZE
000008f9: PUSH0
000008fa: DUP1
000008fb: RETURNDATACOPY
000008fc: RETURNDATASIZE
000008fd: PUSH0
000008fe: REVERT
000008ff: JUMPDEST
00000900: POP
00000901: POP
00000902: POP
00000903: POP
00000904: PUSH1 0x40
00000906: MLOAD
00000907: RETURNDATASIZE
00000908: PUSH1 0x1f
0000090a: NOT
0000090b: PUSH1 0x1f
0000090d: DUP3
0000090e: ADD
0000090f: AND
00000910: DUP3
00000911: ADD
00000912: DUP1
00000913: PUSH1 0x40
00000915: MSTORE
00000916: POP
00000917: DUP2
00000918: ADD
00000919: SWAP1
0000091a: PUSH2 0x0923
0000091d: SWAP2
0000091e: SWAP1
0000091f: PUSH2 0x19d0
00000922: JUMP
00000923: JUMPDEST
00000924: PUSH1 0x40
00000926: MLOAD
00000927: PUSH1 0x01
00000929: PUSH1 0x01
0000092b: PUSH1 0xe0
0000092d: SHL
0000092e: SUB
0000092f: NOT
00000930: PUSH1 0xe0
00000932: DUP6
00000933: SWAP1
00000934: SHL
00000935: AND
00000936: DUP2
00000937: MSTORE
00000938: PUSH1 0x01
0000093a: PUSH1 0x01
0000093c: PUSH1 0xa0
0000093e: SHL
0000093f: SUB
00000940: SWAP3
00000941: DUP4
00000942: AND
00000943: PUSH1 0x04
00000945: DUP3
00000946: ADD
00000947: MSTORE
00000948: SWAP2
00000949: AND
0000094a: PUSH1 0x24
0000094c: DUP3
0000094d: ADD
0000094e: MSTORE
0000094f: PUSH1 0x44
00000951: ADD
00000952: PUSH1 0x20
00000954: PUSH1 0x40
00000956: MLOAD
00000957: DUP1
00000958: DUP4
00000959: SUB
0000095a: DUP2
0000095b: PUSH0
0000095c: DUP8
0000095d: GAS
0000095e: CALL
0000095f: ISZERO
00000960: DUP1
00000961: ISZERO
00000962: PUSH2 0x096d
00000965: JUMPI
00000966: RETURNDATASIZE
00000967: PUSH0
00000968: DUP1
00000969: RETURNDATACOPY
0000096a: RETURNDATASIZE
0000096b: PUSH0
0000096c: REVERT
0000096d: JUMPDEST
0000096e: POP
0000096f: POP
00000970: POP
00000971: POP
00000972: PUSH1 0x40
00000974: MLOAD
00000975: RETURNDATASIZE
00000976: PUSH1 0x1f
00000978: NOT
00000979: PUSH1 0x1f
0000097b: DUP3
0000097c: ADD
0000097d: AND
0000097e: DUP3
0000097f: ADD
00000980: DUP1
00000981: PUSH1 0x40
00000983: MSTORE
00000984: POP
00000985: DUP2
00000986: ADD
00000987: SWAP1
00000988: PUSH2 0x0991
0000098b: SWAP2
0000098c: SWAP1
0000098d: PUSH2 0x19d0
00000990: JUMP
00000991: JUMPDEST
00000992: PUSH1 0x14
00000994: DUP1
00000995: SLOAD
00000996: PUSH1 0x01
00000998: PUSH1 0x01
0000099a: PUSH1 0xa0
0000099c: SHL
0000099d: SUB
0000099e: SWAP3
0000099f: DUP4
000009a0: AND
000009a1: PUSH1 0x01
000009a3: PUSH1 0x01
000009a5: PUSH1 0xa0
000009a7: SHL
000009a8: SUB
000009a9: NOT
000009aa: SWAP1
000009ab: SWAP2
000009ac: AND
000009ad: OR
000009ae: SWAP1
000009af: SSTORE
000009b0: PUSH1 0x13
000009b2: SLOAD
000009b3: AND
000009b4: PUSH4 0xf305d719
000009b9: SELFBALANCE
000009ba: ADDRESS
000009bb: PUSH2 0x09d8
000009be: DUP2
000009bf: PUSH1 0x01
000009c1: PUSH1 0x01
000009c3: PUSH1 0xa0
000009c5: SHL
000009c6: SUB
000009c7: AND
000009c8: PUSH0
000009c9: SWAP1
000009ca: DUP2
000009cb: MSTORE
000009cc: PUSH1 0x01
000009ce: PUSH1 0x20
000009d0: MSTORE
000009d1: PUSH1 0x40
000009d3: SWAP1
000009d4: KECCAK256
000009d5: SLOAD
000009d6: SWAP1
000009d7: JUMP
000009d8: JUMPDEST
000009d9: PUSH0
000009da: DUP1
000009db: PUSH2 0x09eb
000009de: PUSH0
000009df: SLOAD
000009e0: PUSH1 0x01
000009e2: PUSH1 0x01
000009e4: PUSH1 0xa0
000009e6: SHL
000009e7: SUB
000009e8: AND
000009e9: SWAP1
000009ea: JUMP
000009eb: JUMPDEST
000009ec: PUSH1 0x40
000009ee: MLOAD
000009ef: PUSH1 0xe0
000009f1: DUP9
000009f2: SWAP1
000009f3: SHL
000009f4: PUSH1 0x01
000009f6: PUSH1 0x01
000009f8: PUSH1 0xe0
000009fa: SHL
000009fb: SUB
000009fc: NOT
000009fd: AND
000009fe: DUP2
000009ff: MSTORE
00000a00: PUSH1 0x01
00000a02: PUSH1 0x01
00000a04: PUSH1 0xa0
00000a06: SHL
00000a07: SUB
00000a08: SWAP6
00000a09: DUP7
00000a0a: AND
00000a0b: PUSH1 0x04
00000a0d: DUP3
00000a0e: ADD
00000a0f: MSTORE
00000a10: PUSH1 0x24
00000a12: DUP2
00000a13: ADD
00000a14: SWAP5
00000a15: SWAP1
00000a16: SWAP5
00000a17: MSTORE
00000a18: PUSH1 0x44
00000a1a: DUP5
00000a1b: ADD
00000a1c: SWAP3
00000a1d: SWAP1
00000a1e: SWAP3
00000a1f: MSTORE
00000a20: PUSH1 0x64
00000a22: DUP4
00000a23: ADD
00000a24: MSTORE
00000a25: SWAP1
00000a26: SWAP2
00000a27: AND
00000a28: PUSH1 0x84
00000a2a: DUP3
00000a2b: ADD
00000a2c: MSTORE
00000a2d: TIMESTAMP
00000a2e: PUSH1 0xa4
00000a30: DUP3
00000a31: ADD
00000a32: MSTORE
00000a33: PUSH1 0xc4
00000a35: ADD
00000a36: PUSH1 0x60
00000a38: PUSH1 0x40
00000a3a: MLOAD
00000a3b: DUP1
00000a3c: DUP4
00000a3d: SUB
00000a3e: DUP2
00000a3f: DUP6
00000a40: DUP9
00000a41: GAS
00000a42: CALL
00000a43: ISZERO
00000a44: DUP1
00000a45: ISZERO
00000a46: PUSH2 0x0a51
00000a49: JUMPI
00000a4a: RETURNDATASIZE
00000a4b: PUSH0
00000a4c: DUP1
00000a4d: RETURNDATACOPY
00000a4e: RETURNDATASIZE
00000a4f: PUSH0
00000a50: REVERT
00000a51: JUMPDEST
00000a52: POP
00000a53: POP
00000a54: POP
00000a55: POP
00000a56: POP
00000a57: PUSH1 0x40
00000a59: MLOAD
00000a5a: RETURNDATASIZE
00000a5b: PUSH1 0x1f
00000a5d: NOT
00000a5e: PUSH1 0x1f
00000a60: DUP3
00000a61: ADD
00000a62: AND
00000a63: DUP3
00000a64: ADD
00000a65: DUP1
00000a66: PUSH1 0x40
00000a68: MSTORE
00000a69: POP
00000a6a: DUP2
00000a6b: ADD
00000a6c: SWAP1
00000a6d: PUSH2 0x0a76
00000a70: SWAP2
00000a71: SWAP1
00000a72: PUSH2 0x19eb
00000a75: JUMP
00000a76: JUMPDEST
00000a77: POP
00000a78: POP
00000a79: PUSH1 0x14
00000a7b: SLOAD
00000a7c: PUSH1 0x13
00000a7e: SLOAD
00000a7f: PUSH1 0x40
00000a81: MLOAD
00000a82: PUSH4 0x095ea7b3
00000a87: PUSH1 0xe0
00000a89: SHL
00000a8a: DUP2
00000a8b: MSTORE
00000a8c: PUSH1 0x01
00000a8e: PUSH1 0x01
00000a90: PUSH1 0xa0
00000a92: SHL
00000a93: SUB
00000a94: SWAP2
00000a95: DUP3
00000a96: AND
00000a97: PUSH1 0x04
00000a99: DUP3
00000a9a: ADD
00000a9b: MSTORE
00000a9c: PUSH0
00000a9d: NOT
00000a9e: PUSH1 0x24
00000aa0: DUP3
00000aa1: ADD
00000aa2: MSTORE
00000aa3: SWAP2
00000aa4: AND
00000aa5: SWAP2
00000aa6: POP
00000aa7: PUSH4 0x095ea7b3
00000aac: SWAP1
00000aad: PUSH1 0x44
00000aaf: ADD
00000ab0: PUSH1 0x20
00000ab2: PUSH1 0x40
00000ab4: MLOAD
00000ab5: DUP1
00000ab6: DUP4
00000ab7: SUB
00000ab8: DUP2
00000ab9: PUSH0
00000aba: DUP8
00000abb: GAS
00000abc: CALL
00000abd: ISZERO
00000abe: DUP1
00000abf: ISZERO
00000ac0: PUSH2 0x0acb
00000ac3: JUMPI
00000ac4: RETURNDATASIZE
00000ac5: PUSH0
00000ac6: DUP1
00000ac7: RETURNDATACOPY
00000ac8: RETURNDATASIZE
00000ac9: PUSH0
00000aca: REVERT
00000acb: JUMPDEST
00000acc: POP
00000acd: POP
00000ace: POP
00000acf: POP
00000ad0: PUSH1 0x40
00000ad2: MLOAD
00000ad3: RETURNDATASIZE
00000ad4: PUSH1 0x1f
00000ad6: NOT
00000ad7: PUSH1 0x1f
00000ad9: DUP3
00000ada: ADD
00000adb: AND
00000adc: DUP3
00000add: ADD
00000ade: DUP1
00000adf: PUSH1 0x40
00000ae1: MSTORE
00000ae2: POP
00000ae3: DUP2
00000ae4: ADD
00000ae5: SWAP1
00000ae6: PUSH2 0x0aef
00000ae9: SWAP2
00000aea: SWAP1
00000aeb: PUSH2 0x1a16
00000aee: JUMP
00000aef: JUMPDEST
00000af0: POP
00000af1: PUSH1 0x14
00000af3: DUP1
00000af4: SLOAD
00000af5: PUSH3 0xff00ff
00000af9: PUSH1 0xa0
00000afb: SHL
00000afc: NOT
00000afd: AND
00000afe: PUSH3 0x010001
00000b02: PUSH1 0xa0
00000b04: SHL
00000b05: OR
00000b06: SWAP1
00000b07: SSTORE
00000b08: JUMP
00000b09: JUMPDEST
00000b0a: PUSH1 0x01
00000b0c: PUSH1 0x01
00000b0e: PUSH1 0xa0
00000b10: SHL
00000b11: SUB
00000b12: DUP4
00000b13: AND
00000b14: PUSH2 0x0b6b
00000b17: JUMPI
00000b18: PUSH1 0x40
00000b1a: MLOAD
00000b1b: PUSH3 0x461bcd
00000b1f: PUSH1 0xe5
00000b21: SHL
00000b22: DUP2
00000b23: MSTORE
00000b24: PUSH1 0x20
00000b26: PUSH1 0x04
00000b28: DUP3
00000b29: ADD
00000b2a: MSTORE
00000b2b: PUSH1 0x24
00000b2d: DUP1
00000b2e: DUP3
00000b2f: ADD
00000b30: MSTORE
00000b31: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
00000b52: PUSH1 0x44
00000b54: DUP3
00000b55: ADD
00000b56: MSTORE
00000b57: PUSH4 0x72657373
00000b5c: PUSH1 0xe0
00000b5e: SHL
00000b5f: PUSH1 0x64
00000b61: DUP3
00000b62: ADD
00000b63: MSTORE
00000b64: PUSH1 0x84
00000b66: ADD
00000b67: PUSH2 0x052b
00000b6a: JUMP
00000b6b: JUMPDEST
00000b6c: PUSH1 0x01
00000b6e: PUSH1 0x01
00000b70: PUSH1 0xa0
00000b72: SHL
00000b73: SUB
00000b74: DUP3
00000b75: AND
00000b76: PUSH2 0x0bcc
00000b79: JUMPI
00000b7a: PUSH1 0x40
00000b7c: MLOAD
00000b7d: PUSH3 0x461bcd
00000b81: PUSH1 0xe5
00000b83: SHL
00000b84: DUP2
00000b85: MSTORE
00000b86: PUSH1 0x20
00000b88: PUSH1 0x04
00000b8a: DUP3
00000b8b: ADD
00000b8c: MSTORE
00000b8d: PUSH1 0x22
00000b8f: PUSH1 0x24
00000b91: DUP3
00000b92: ADD
00000b93: MSTORE
00000b94: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00000bb5: PUSH1 0x44
00000bb7: DUP3
00000bb8: ADD
00000bb9: MSTORE
00000bba: PUSH2 0x7373
00000bbd: PUSH1 0xf0
00000bbf: SHL
00000bc0: PUSH1 0x64
00000bc2: DUP3
00000bc3: ADD
00000bc4: MSTORE
00000bc5: PUSH1 0x84
00000bc7: ADD
00000bc8: PUSH2 0x052b
00000bcb: JUMP
00000bcc: JUMPDEST
00000bcd: PUSH1 0x01
00000bcf: PUSH1 0x01
00000bd1: PUSH1 0xa0
00000bd3: SHL
00000bd4: SUB
00000bd5: DUP4
00000bd6: DUP2
00000bd7: AND
00000bd8: PUSH0
00000bd9: DUP2
00000bda: DUP2
00000bdb: MSTORE
00000bdc: PUSH1 0x02
00000bde: PUSH1 0x20
00000be0: SWAP1
00000be1: DUP2
00000be2: MSTORE
00000be3: PUSH1 0x40
00000be5: DUP1
00000be6: DUP4
00000be7: KECCAK256
00000be8: SWAP5
00000be9: DUP8
00000bea: AND
00000beb: DUP1
00000bec: DUP5
00000bed: MSTORE
00000bee: SWAP5
00000bef: DUP3
00000bf0: MSTORE
00000bf1: SWAP2
00000bf2: DUP3
00000bf3: SWAP1
00000bf4: KECCAK256
00000bf5: DUP6
00000bf6: SWAP1
00000bf7: SSTORE
00000bf8: SWAP1
00000bf9: MLOAD
00000bfa: DUP5
00000bfb: DUP2
00000bfc: MSTORE
00000bfd: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000c1e: SWAP2
00000c1f: ADD
00000c20: PUSH1 0x40
00000c22: MLOAD
00000c23: DUP1
00000c24: SWAP2
00000c25: SUB
00000c26: SWAP1
00000c27: LOG3
00000c28: POP
00000c29: POP
00000c2a: POP
00000c2b: JUMP
00000c2c: JUMPDEST
00000c2d: PUSH1 0x01
00000c2f: PUSH1 0x01
00000c31: PUSH1 0xa0
00000c33: SHL
00000c34: SUB
00000c35: DUP4
00000c36: AND
00000c37: PUSH2 0x0c90
00000c3a: JUMPI
00000c3b: PUSH1 0x40
00000c3d: MLOAD
00000c3e: PUSH3 0x461bcd
00000c42: PUSH1 0xe5
00000c44: SHL
00000c45: DUP2
00000c46: MSTORE
00000c47: PUSH1 0x20
00000c49: PUSH1 0x04
00000c4b: DUP3
00000c4c: ADD
00000c4d: MSTORE
00000c4e: PUSH1 0x25
00000c50: PUSH1 0x24
00000c52: DUP3
00000c53: ADD
00000c54: MSTORE
00000c55: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00000c76: PUSH1 0x44
00000c78: DUP3
00000c79: ADD
00000c7a: MSTORE
00000c7b: PUSH5 0x6472657373
00000c81: PUSH1 0xd8
00000c83: SHL
00000c84: PUSH1 0x64
00000c86: DUP3
00000c87: ADD
00000c88: MSTORE
00000c89: PUSH1 0x84
00000c8b: ADD
00000c8c: PUSH2 0x052b
00000c8f: JUMP
00000c90: JUMPDEST
00000c91: PUSH1 0x01
00000c93: PUSH1 0x01
00000c95: PUSH1 0xa0
00000c97: SHL
00000c98: SUB
00000c99: DUP3
00000c9a: AND
00000c9b: PUSH2 0x0cf2
00000c9e: JUMPI
00000c9f: PUSH1 0x40
00000ca1: MLOAD
00000ca2: PUSH3 0x461bcd
00000ca6: PUSH1 0xe5
00000ca8: SHL
00000ca9: DUP2
00000caa: MSTORE
00000cab: PUSH1 0x20
00000cad: PUSH1 0x04
00000caf: DUP3
00000cb0: ADD
00000cb1: MSTORE
00000cb2: PUSH1 0x23
00000cb4: PUSH1 0x24
00000cb6: DUP3
00000cb7: ADD
00000cb8: MSTORE
00000cb9: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
00000cda: PUSH1 0x44
00000cdc: DUP3
00000cdd: ADD
00000cde: MSTORE
00000cdf: PUSH3 0x657373
00000ce3: PUSH1 0xe8
00000ce5: SHL
00000ce6: PUSH1 0x64
00000ce8: DUP3
00000ce9: ADD
00000cea: MSTORE
00000ceb: PUSH1 0x84
00000ced: ADD
00000cee: PUSH2 0x052b
00000cf1: JUMP
00000cf2: JUMPDEST
00000cf3: PUSH0
00000cf4: DUP2
00000cf5: GT
00000cf6: PUSH2 0x0d53
00000cf9: JUMPI
00000cfa: PUSH1 0x40
00000cfc: MLOAD
00000cfd: PUSH3 0x461bcd
00000d01: PUSH1 0xe5
00000d03: SHL
00000d04: DUP2
00000d05: MSTORE
00000d06: PUSH1 0x20
00000d08: PUSH1 0x04
00000d0a: DUP3
00000d0b: ADD
00000d0c: MSTORE
00000d0d: PUSH1 0x29
00000d0f: PUSH1 0x24
00000d11: DUP3
00000d12: ADD
00000d13: MSTORE
00000d14: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220
00000d35: PUSH1 0x44
00000d37: DUP3
00000d38: ADD
00000d39: MSTORE
00000d3a: PUSH9 0x7468616e207a65726f
00000d44: PUSH1 0xb8
00000d46: SHL
00000d47: PUSH1 0x64
00000d49: DUP3
00000d4a: ADD
00000d4b: MSTORE
00000d4c: PUSH1 0x84
00000d4e: ADD
00000d4f: PUSH2 0x052b
00000d52: JUMP
00000d53: JUMPDEST
00000d54: PUSH0
00000d55: DUP1
00000d56: SLOAD
00000d57: PUSH1 0x01
00000d59: PUSH1 0x01
00000d5b: PUSH1 0xa0
00000d5d: SHL
00000d5e: SUB
00000d5f: DUP6
00000d60: DUP2
00000d61: AND
00000d62: SWAP2
00000d63: AND
00000d64: EQ
00000d65: DUP1
00000d66: ISZERO
00000d67: SWAP1
00000d68: PUSH2 0x0d7e
00000d6b: JUMPI
00000d6c: POP
00000d6d: PUSH0
00000d6e: SLOAD
00000d6f: PUSH1 0x01
00000d71: PUSH1 0x01
00000d73: PUSH1 0xa0
00000d75: SHL
00000d76: SUB
00000d77: DUP5
00000d78: DUP2
00000d79: AND
00000d7a: SWAP2
00000d7b: AND
00000d7c: EQ
00000d7d: ISZERO
00000d7e: JUMPDEST
00000d7f: ISZERO
00000d80: PUSH2 0x116f
00000d83: JUMPI
00000d84: PUSH1 0x01
00000d86: PUSH1 0x01
00000d88: PUSH1 0xa0
00000d8a: SHL
00000d8b: SUB
00000d8c: DUP5
00000d8d: AND
00000d8e: PUSH0
00000d8f: SWAP1
00000d90: DUP2
00000d91: MSTORE
00000d92: PUSH1 0x04
00000d94: PUSH1 0x20
00000d96: MSTORE
00000d97: PUSH1 0x40
00000d99: SWAP1
00000d9a: KECCAK256
00000d9b: SLOAD
00000d9c: PUSH1 0xff
00000d9e: AND
00000d9f: ISZERO
00000da0: DUP1
00000da1: ISZERO
00000da2: PUSH2 0x0dc3
00000da5: JUMPI
00000da6: POP
00000da7: PUSH1 0x01
00000da9: PUSH1 0x01
00000dab: PUSH1 0xa0
00000dad: SHL
00000dae: SUB
00000daf: DUP4
00000db0: AND
00000db1: PUSH0
00000db2: SWAP1
00000db3: DUP2
00000db4: MSTORE
00000db5: PUSH1 0x04
00000db7: PUSH1 0x20
00000db9: MSTORE
00000dba: PUSH1 0x40
00000dbc: SWAP1
00000dbd: KECCAK256
00000dbe: SLOAD
00000dbf: PUSH1 0xff
00000dc1: AND
00000dc2: ISZERO
00000dc3: JUMPDEST
00000dc4: PUSH2 0x0dcb
00000dc7: JUMPI
00000dc8: PUSH0
00000dc9: DUP1
00000dca: REVERT
00000dcb: JUMPDEST
00000dcc: PUSH1 0x07
00000dce: SLOAD
00000dcf: PUSH1 0xff
00000dd1: AND
00000dd2: ISZERO
00000dd3: PUSH2 0x0e82
00000dd6: JUMPI
00000dd7: PUSH1 0x13
00000dd9: SLOAD
00000dda: PUSH1 0x01
00000ddc: PUSH1 0x01
00000dde: PUSH1 0xa0
00000de0: SHL
00000de1: SUB
00000de2: DUP5
00000de3: DUP2
00000de4: AND
00000de5: SWAP2
00000de6: AND
00000de7: EQ
00000de8: DUP1
00000de9: ISZERO
00000dea: SWAP1
00000deb: PUSH2 0x0e02
00000dee: JUMPI
00000def: POP
00000df0: PUSH1 0x14
00000df2: SLOAD
00000df3: PUSH1 0x01
00000df5: PUSH1 0x01
00000df7: PUSH1 0xa0
00000df9: SHL
00000dfa: SUB
00000dfb: DUP5
00000dfc: DUP2
00000dfd: AND
00000dfe: SWAP2
00000dff: AND
00000e00: EQ
00000e01: ISZERO
00000e02: JUMPDEST
00000e03: ISZERO
00000e04: PUSH2 0x0e82
00000e07: JUMPI
00000e08: ORIGIN
00000e09: PUSH0
00000e0a: SWAP1
00000e0b: DUP2
00000e0c: MSTORE
00000e0d: PUSH1 0x05
00000e0f: PUSH1 0x20
00000e11: MSTORE
00000e12: PUSH1 0x40
00000e14: SWAP1
00000e15: KECCAK256
00000e16: SLOAD
00000e17: NUMBER
00000e18: GT
00000e19: PUSH2 0x0e70
00000e1c: JUMPI
00000e1d: PUSH1 0x40
00000e1f: MLOAD
00000e20: PUSH3 0x461bcd
00000e24: PUSH1 0xe5
00000e26: SHL
00000e27: DUP2
00000e28: MSTORE
00000e29: PUSH1 0x20
00000e2b: PUSH1 0x04
00000e2d: DUP3
00000e2e: ADD
00000e2f: MSTORE
00000e30: PUSH1 0x24
00000e32: DUP1
00000e33: DUP3
00000e34: ADD
00000e35: MSTORE
00000e36: PUSH32 0x4f6e6c79206f6e65207472616e736665722070657220626c6f636b20616c6c6f
00000e57: PUSH1 0x44
00000e59: DUP3
00000e5a: ADD
00000e5b: MSTORE
00000e5c: PUSH4 0x3bb2b217
00000e61: PUSH1 0xe1
00000e63: SHL
00000e64: PUSH1 0x64
00000e66: DUP3
00000e67: ADD
00000e68: MSTORE
00000e69: PUSH1 0x84
00000e6b: ADD
00000e6c: PUSH2 0x052b
00000e6f: JUMP
00000e70: JUMPDEST
00000e71: ORIGIN
00000e72: PUSH0
00000e73: SWAP1
00000e74: DUP2
00000e75: MSTORE
00000e76: PUSH1 0x05
00000e78: PUSH1 0x20
00000e7a: MSTORE
00000e7b: PUSH1 0x40
00000e7d: SWAP1
00000e7e: KECCAK256
00000e7f: NUMBER
00000e80: SWAP1
00000e81: SSTORE
00000e82: JUMPDEST
00000e83: PUSH1 0x14
00000e85: SLOAD
00000e86: PUSH1 0x01
00000e88: PUSH1 0x01
00000e8a: PUSH1 0xa0
00000e8c: SHL
00000e8d: SUB
00000e8e: DUP6
00000e8f: DUP2
00000e90: AND
00000e91: SWAP2
00000e92: AND
00000e93: EQ
00000e94: DUP1
00000e95: ISZERO
00000e96: PUSH2 0x0ead
00000e99: JUMPI
00000e9a: POP
00000e9b: PUSH1 0x13
00000e9d: SLOAD
00000e9e: PUSH1 0x01
00000ea0: PUSH1 0x01
00000ea2: PUSH1 0xa0
00000ea4: SHL
00000ea5: SUB
00000ea6: DUP5
00000ea7: DUP2
00000ea8: AND
00000ea9: SWAP2
00000eaa: AND
00000eab: EQ
00000eac: ISZERO
00000ead: JUMPDEST
00000eae: DUP1
00000eaf: ISZERO
00000eb0: PUSH2 0x0ed1
00000eb3: JUMPI
00000eb4: POP
00000eb5: PUSH1 0x01
00000eb7: PUSH1 0x01
00000eb9: PUSH1 0xa0
00000ebb: SHL
00000ebc: SUB
00000ebd: DUP4
00000ebe: AND
00000ebf: PUSH0
00000ec0: SWAP1
00000ec1: DUP2
00000ec2: MSTORE
00000ec3: PUSH1 0x03
00000ec5: PUSH1 0x20
00000ec7: MSTORE
00000ec8: PUSH1 0x40
00000eca: SWAP1
00000ecb: KECCAK256
00000ecc: SLOAD
00000ecd: PUSH1 0xff
00000ecf: AND
00000ed0: ISZERO
00000ed1: JUMPDEST
00000ed2: ISZERO
00000ed3: PUSH2 0x0fca
00000ed6: JUMPI
00000ed7: PUSH1 0x10
00000ed9: SLOAD
00000eda: DUP3
00000edb: GT
00000edc: ISZERO
00000edd: PUSH2 0x0f24
00000ee0: JUMPI
00000ee1: PUSH1 0x40
00000ee3: MLOAD
00000ee4: PUSH3 0x461bcd
00000ee8: PUSH1 0xe5
00000eea: SHL
00000eeb: DUP2
00000eec: MSTORE
00000eed: PUSH1 0x20
00000eef: PUSH1 0x04
00000ef1: DUP3
00000ef2: ADD
00000ef3: MSTORE
00000ef4: PUSH1 0x19
00000ef6: PUSH1 0x24
00000ef8: DUP3
00000ef9: ADD
00000efa: MSTORE
00000efb: PUSH25 0x22bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a17
00000f15: PUSH1 0x39
00000f17: SHL
00000f18: PUSH1 0x44
00000f1a: DUP3
00000f1b: ADD
00000f1c: MSTORE
00000f1d: PUSH1 0x64
00000f1f: ADD
00000f20: PUSH2 0x052b
00000f23: JUMP
00000f24: JUMPDEST
00000f25: PUSH1 0x11
00000f27: SLOAD
00000f28: DUP3
00000f29: PUSH2 0x0f46
00000f2c: DUP6
00000f2d: PUSH1 0x01
00000f2f: PUSH1 0x01
00000f31: PUSH1 0xa0
00000f33: SHL
00000f34: SUB
00000f35: AND
00000f36: PUSH0
00000f37: SWAP1
00000f38: DUP2
00000f39: MSTORE
00000f3a: PUSH1 0x01
00000f3c: PUSH1 0x20
00000f3e: MSTORE
00000f3f: PUSH1 0x40
00000f41: SWAP1
00000f42: KECCAK256
00000f43: SLOAD
00000f44: SWAP1
00000f45: JUMP
00000f46: JUMPDEST
00000f47: PUSH2 0x0f50
00000f4a: SWAP2
00000f4b: SWAP1
00000f4c: PUSH2 0x1a35
00000f4f: JUMP
00000f50: JUMPDEST
00000f51: GT
00000f52: ISZERO
00000f53: PUSH2 0x0f9e
00000f56: JUMPI
00000f57: PUSH1 0x40
00000f59: MLOAD
00000f5a: PUSH3 0x461bcd
00000f5e: PUSH1 0xe5
00000f60: SHL
00000f61: DUP2
00000f62: MSTORE
00000f63: PUSH1 0x20
00000f65: PUSH1 0x04
00000f67: DUP3
00000f68: ADD
00000f69: MSTORE
00000f6a: PUSH1 0x1a
00000f6c: PUSH1 0x24
00000f6e: DUP3
00000f6f: ADD
00000f70: MSTORE
00000f71: PUSH32 0x4578636565647320746865206d617857616c6c657453697a652e000000000000
00000f92: PUSH1 0x44
00000f94: DUP3
00000f95: ADD
00000f96: MSTORE
00000f97: PUSH1 0x64
00000f99: ADD
00000f9a: PUSH2 0x052b
00000f9d: JUMP
00000f9e: JUMPDEST
00000f9f: PUSH1 0x0e
00000fa1: SLOAD
00000fa2: PUSH1 0x0f
00000fa4: SLOAD
00000fa5: LT
00000fa6: ISZERO
00000fa7: PUSH2 0x0fb5
00000faa: JUMPI
00000fab: DUP3
00000fac: EXTCODESIZE
00000fad: ISZERO
00000fae: PUSH2 0x0fb5
00000fb1: JUMPI
00000fb2: PUSH0
00000fb3: DUP1
00000fb4: REVERT
00000fb5: JUMPDEST
00000fb6: PUSH1 0x0f
00000fb8: DUP1
00000fb9: SLOAD
00000fba: SWAP1
00000fbb: PUSH0
00000fbc: PUSH2 0x0fc4
00000fbf: DUP4
00000fc0: PUSH2 0x1a48
00000fc3: JUMP
00000fc4: JUMPDEST
00000fc5: SWAP2
00000fc6: SWAP1
00000fc7: POP
00000fc8: SSTORE
00000fc9: POP
00000fca: JUMPDEST
00000fcb: PUSH2 0x0ff6
00000fce: PUSH1 0x64
00000fd0: PUSH2 0x0ff0
00000fd3: PUSH1 0x0c
00000fd5: SLOAD
00000fd6: PUSH1 0x0f
00000fd8: SLOAD
00000fd9: GT
00000fda: PUSH2 0x0fe5
00000fdd: JUMPI
00000fde: PUSH1 0x08
00000fe0: SLOAD
00000fe1: PUSH2 0x0fe9
00000fe4: JUMP
00000fe5: JUMPDEST
00000fe6: PUSH1 0x0a
00000fe8: SLOAD
00000fe9: JUMPDEST
00000fea: DUP6
00000feb: SWAP1
00000fec: PUSH2 0x14a8
00000fef: JUMP
00000ff0: JUMPDEST
00000ff1: SWAP1
00000ff2: PUSH2 0x152d
00000ff5: JUMP
00000ff6: JUMPDEST
00000ff7: PUSH1 0x14
00000ff9: SLOAD
00000ffa: SWAP1
00000ffb: SWAP2
00000ffc: POP
00000ffd: PUSH1 0x01
00000fff: PUSH1 0x01
00001001: PUSH1 0xa0
00001003: SHL
00001004: SUB
00001005: DUP5
00001006: DUP2
00001007: AND
00001008: SWAP2
00001009: AND
0000100a: EQ
0000100b: DUP1
0000100c: ISZERO
0000100d: PUSH2 0x101f
00001010: JUMPI
00001011: POP
00001012: PUSH1 0x01
00001014: PUSH1 0x01
00001016: PUSH1 0xa0
00001018: SHL
00001019: SUB
0000101a: DUP5
0000101b: AND
0000101c: ADDRESS
0000101d: EQ
0000101e: ISZERO
0000101f: JUMPDEST
00001020: ISZERO
00001021: PUSH2 0x109a
00001024: JUMPI
00001025: PUSH1 0x10
00001027: SLOAD
00001028: DUP3
00001029: GT
0000102a: ISZERO
0000102b: PUSH2 0x1072
0000102e: JUMPI
0000102f: PUSH1 0x40
00001031: MLOAD
00001032: PUSH3 0x461bcd
00001036: PUSH1 0xe5
00001038: SHL
00001039: DUP2
0000103a: MSTORE
0000103b: PUSH1 0x20
0000103d: PUSH1 0x04
0000103f: DUP3
00001040: ADD
00001041: MSTORE
00001042: PUSH1 0x19
00001044: PUSH1 0x24
00001046: DUP3
00001047: ADD
00001048: MSTORE
00001049: PUSH25 0x22bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a17
00001063: PUSH1 0x39
00001065: SHL
00001066: PUSH1 0x44
00001068: DUP3
00001069: ADD
0000106a: MSTORE
0000106b: PUSH1 0x64
0000106d: ADD
0000106e: PUSH2 0x052b
00001071: JUMP
00001072: JUMPDEST
00001073: PUSH2 0x1097
00001076: PUSH1 0x64
00001078: PUSH2 0x0ff0
0000107b: PUSH1 0x0d
0000107d: SLOAD
0000107e: PUSH1 0x0f
00001080: SLOAD
00001081: GT
00001082: PUSH2 0x108d
00001085: JUMPI
00001086: PUSH1 0x09
00001088: SLOAD
00001089: PUSH2 0x0fe9
0000108c: JUMP
0000108d: JUMPDEST
0000108e: PUSH1 0x0b
00001090: SLOAD
00001091: DUP6
00001092: SWAP1
00001093: PUSH2 0x14a8
00001096: JUMP
00001097: JUMPDEST
00001098: SWAP1
00001099: POP
0000109a: JUMPDEST
0000109b: ADDRESS
0000109c: PUSH0
0000109d: SWAP1
0000109e: DUP2
0000109f: MSTORE
000010a0: PUSH1 0x01
000010a2: PUSH1 0x20
000010a4: MSTORE
000010a5: PUSH1 0x40
000010a7: SWAP1
000010a8: KECCAK256
000010a9: SLOAD
000010aa: PUSH1 0x14
000010ac: SLOAD
000010ad: PUSH1 0x01
000010af: PUSH1 0xa8
000010b1: SHL
000010b2: SWAP1
000010b3: DIV
000010b4: PUSH1 0xff
000010b6: AND
000010b7: ISZERO
000010b8: DUP1
000010b9: ISZERO
000010ba: PUSH2 0x10d0
000010bd: JUMPI
000010be: POP
000010bf: PUSH1 0x14
000010c1: SLOAD
000010c2: PUSH1 0x01
000010c4: PUSH1 0x01
000010c6: PUSH1 0xa0
000010c8: SHL
000010c9: SUB
000010ca: DUP6
000010cb: DUP2
000010cc: AND
000010cd: SWAP2
000010ce: AND
000010cf: EQ
000010d0: JUMPDEST
000010d1: DUP1
000010d2: ISZERO
000010d3: PUSH2 0x10e5
000010d6: JUMPI
000010d7: POP
000010d8: PUSH1 0x14
000010da: SLOAD
000010db: PUSH1 0x01
000010dd: PUSH1 0xb0
000010df: SHL
000010e0: SWAP1
000010e1: DIV
000010e2: PUSH1 0xff
000010e4: AND
000010e5: JUMPDEST
000010e6: DUP1
000010e7: ISZERO
000010e8: PUSH2 0x10f2
000010eb: JUMPI
000010ec: POP
000010ed: PUSH1 0x12
000010ef: SLOAD
000010f0: DUP2
000010f1: GT
000010f2: JUMPDEST
000010f3: DUP1
000010f4: ISZERO
000010f5: PUSH2 0x1101
000010f8: JUMPI
000010f9: POP
000010fa: PUSH1 0x0e
000010fc: SLOAD
000010fd: PUSH1 0x0f
000010ff: SLOAD
00001100: GT
00001101: JUMPDEST
00001102: DUP1
00001103: ISZERO
00001104: PUSH2 0x111b
00001107: JUMPI
00001108: POP
00001109: NUMBER
0000110a: PUSH0
0000110b: SWAP1
0000110c: DUP2
0000110d: MSTORE
0000110e: PUSH1 0x06
00001110: PUSH1 0x20
00001112: MSTORE
00001113: PUSH1 0x40
00001115: SWAP1
00001116: KECCAK256
00001117: SLOAD
00001118: PUSH1 0x03
0000111a: GT
0000111b: JUMPDEST
0000111c: ISZERO
0000111d: PUSH2 0x116d
00001120: JUMPI
00001121: PUSH2 0x1132
00001124: PUSH2 0x112d
00001127: DUP5
00001128: DUP4
00001129: PUSH2 0x156e
0000112c: JUMP
0000112d: JUMPDEST
0000112e: PUSH2 0x12e4
00001131: JUMP
00001132: JUMPDEST
00001133: NUMBER
00001134: PUSH0
00001135: SWAP1
00001136: DUP2
00001137: MSTORE
00001138: PUSH1 0x06
0000113a: PUSH1 0x20
0000113c: MSTORE
0000113d: PUSH1 0x40
0000113f: SWAP1
00001140: KECCAK256
00001141: SLOAD
00001142: PUSH2 0x114c
00001145: SWAP1
00001146: PUSH1 0x01
00001148: PUSH2 0x1a35
0000114b: JUMP
0000114c: JUMPDEST
0000114d: NUMBER
0000114e: PUSH0
0000114f: SWAP1
00001150: DUP2
00001151: MSTORE
00001152: PUSH1 0x06
00001154: PUSH1 0x20
00001156: MSTORE
00001157: PUSH1 0x40
00001159: SWAP1
0000115a: KECCAK256
0000115b: SSTORE
0000115c: SELFBALANCE
0000115d: DUP1
0000115e: ISZERO
0000115f: PUSH2 0x116b
00001162: JUMPI
00001163: PUSH2 0x116b
00001166: SELFBALANCE
00001167: PUSH2 0x146d
0000116a: JUMP
0000116b: JUMPDEST
0000116c: POP
0000116d: JUMPDEST
0000116e: POP
0000116f: JUMPDEST
00001170: DUP1
00001171: ISZERO
00001172: PUSH2 0x11e7
00001175: JUMPI
00001176: ADDRESS
00001177: PUSH0
00001178: SWAP1
00001179: DUP2
0000117a: MSTORE
0000117b: PUSH1 0x01
0000117d: PUSH1 0x20
0000117f: MSTORE
00001180: PUSH1 0x40
00001182: SWAP1
00001183: KECCAK256
00001184: SLOAD
00001185: PUSH2 0x118e
00001188: SWAP1
00001189: DUP3
0000118a: PUSH2 0x1582
0000118d: JUMP
0000118e: JUMPDEST
0000118f: ADDRESS
00001190: PUSH0
00001191: DUP2
00001192: DUP2
00001193: MSTORE
00001194: PUSH1 0x01
00001196: PUSH1 0x20
00001198: MSTORE
00001199: PUSH1 0x40
0000119b: SWAP1
0000119c: DUP2
0000119d: SWAP1
0000119e: KECCAK256
0000119f: SWAP3
000011a0: SWAP1
000011a1: SWAP3
000011a2: SSTORE
000011a3: SWAP1
000011a4: MLOAD
000011a5: PUSH1 0x01
000011a7: PUSH1 0x01
000011a9: PUSH1 0xa0
000011ab: SHL
000011ac: SUB
000011ad: DUP7
000011ae: AND
000011af: SWAP1
000011b0: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000011d1: SWAP1
000011d2: PUSH2 0x11de
000011d5: SWAP1
000011d6: DUP6
000011d7: DUP2
000011d8: MSTORE
000011d9: PUSH1 0x20
000011db: ADD
000011dc: SWAP1
000011dd: JUMP
000011de: JUMPDEST
000011df: PUSH1 0x40
000011e1: MLOAD
000011e2: DUP1
000011e3: SWAP2
000011e4: SUB
000011e5: SWAP1
000011e6: LOG3
000011e7: JUMPDEST
000011e8: PUSH1 0x01
000011ea: PUSH1 0x01
000011ec: PUSH1 0xa0
000011ee: SHL
000011ef: SUB
000011f0: DUP5
000011f1: AND
000011f2: PUSH0
000011f3: SWAP1
000011f4: DUP2
000011f5: MSTORE
000011f6: PUSH1 0x01
000011f8: PUSH1 0x20
000011fa: MSTORE
000011fb: PUSH1 0x40
000011fd: SWAP1
000011fe: KECCAK256
000011ff: SLOAD
00001200: PUSH2 0x1209
00001203: SWAP1
00001204: DUP4
00001205: PUSH2 0x15e0
00001208: JUMP
00001209: JUMPDEST
0000120a: PUSH1 0x01
0000120c: PUSH1 0x01
0000120e: PUSH1 0xa0
00001210: SHL
00001211: SUB
00001212: DUP6
00001213: AND
00001214: PUSH0
00001215: SWAP1
00001216: DUP2
00001217: MSTORE
00001218: PUSH1 0x01
0000121a: PUSH1 0x20
0000121c: MSTORE
0000121d: PUSH1 0x40
0000121f: SWAP1
00001220: KECCAK256
00001221: SSTORE
00001222: PUSH2 0x124c
00001225: PUSH2 0x122e
00001228: DUP4
00001229: DUP4
0000122a: PUSH2 0x15e0
0000122d: JUMP
0000122e: JUMPDEST
0000122f: PUSH1 0x01
00001231: PUSH1 0x01
00001233: PUSH1 0xa0
00001235: SHL
00001236: SUB
00001237: DUP6
00001238: AND
00001239: PUSH0
0000123a: SWAP1
0000123b: DUP2
0000123c: MSTORE
0000123d: PUSH1 0x01
0000123f: PUSH1 0x20
00001241: MSTORE
00001242: PUSH1 0x40
00001244: SWAP1
00001245: KECCAK256
00001246: SLOAD
00001247: SWAP1
00001248: PUSH2 0x1582
0000124b: JUMP
0000124c: JUMPDEST
0000124d: PUSH1 0x01
0000124f: PUSH1 0x01
00001251: PUSH1 0xa0
00001253: SHL
00001254: SUB
00001255: DUP1
00001256: DUP6
00001257: AND
00001258: PUSH0
00001259: DUP2
0000125a: DUP2
0000125b: MSTORE
0000125c: PUSH1 0x01
0000125e: PUSH1 0x20
00001260: MSTORE
00001261: PUSH1 0x40
00001263: SWAP1
00001264: KECCAK256
00001265: SWAP3
00001266: SWAP1
00001267: SWAP3
00001268: SSTORE
00001269: DUP6
0000126a: AND
0000126b: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000128c: PUSH2 0x1295
0000128f: DUP6
00001290: DUP6
00001291: PUSH2 0x15e0
00001294: JUMP
00001295: JUMPDEST
00001296: PUSH1 0x40
00001298: MLOAD
00001299: SWAP1
0000129a: DUP2
0000129b: MSTORE
0000129c: PUSH1 0x20
0000129e: ADD
0000129f: PUSH1 0x40
000012a1: MLOAD
000012a2: DUP1
000012a3: SWAP2
000012a4: SUB
000012a5: SWAP1
000012a6: LOG3
000012a7: POP
000012a8: POP
000012a9: POP
000012aa: POP
000012ab: JUMP
000012ac: JUMPDEST
000012ad: PUSH0
000012ae: DUP2
000012af: DUP5
000012b0: DUP5
000012b1: GT
000012b2: ISZERO
000012b3: PUSH2 0x12cf
000012b6: JUMPI
000012b7: PUSH1 0x40
000012b9: MLOAD
000012ba: PUSH3 0x461bcd
000012be: PUSH1 0xe5
000012c0: SHL
000012c1: DUP2
000012c2: MSTORE
000012c3: PUSH1 0x04
000012c5: ADD
000012c6: PUSH2 0x052b
000012c9: SWAP2
000012ca: SWAP1
000012cb: PUSH2 0x164d
000012ce: JUMP
000012cf: JUMPDEST
000012d0: POP
000012d1: PUSH0
000012d2: PUSH2 0x12db
000012d5: DUP5
000012d6: DUP7
000012d7: PUSH2 0x1a60
000012da: JUMP
000012db: JUMPDEST
000012dc: SWAP6
000012dd: SWAP5
000012de: POP
000012df: POP
000012e0: POP
000012e1: POP
000012e2: POP
000012e3: JUMP
000012e4: JUMPDEST
000012e5: PUSH1 0x14
000012e7: DUP1
000012e8: SLOAD
000012e9: PUSH1 0xff
000012eb: PUSH1 0xa8
000012ed: SHL
000012ee: NOT
000012ef: AND
000012f0: PUSH1 0x01
000012f2: PUSH1 0xa8
000012f4: SHL
000012f5: OR
000012f6: SWAP1
000012f7: SSTORE
000012f8: DUP1
000012f9: ISZERO
000012fa: PUSH2 0x145d
000012fd: JUMPI
000012fe: PUSH1 0x14
00001300: SLOAD
00001301: PUSH1 0x01
00001303: PUSH1 0xa0
00001305: SHL
00001306: SWAP1
00001307: DIV
00001308: PUSH1 0xff
0000130a: AND
0000130b: ISZERO
0000130c: PUSH2 0x145d
0000130f: JUMPI
00001310: PUSH1 0x40
00001312: DUP1
00001313: MLOAD
00001314: PUSH1 0x02
00001316: DUP1
00001317: DUP3
00001318: MSTORE
00001319: PUSH1 0x60
0000131b: DUP3
0000131c: ADD
0000131d: DUP4
0000131e: MSTORE
0000131f: PUSH0
00001320: SWAP3
00001321: PUSH1 0x20
00001323: DUP4
00001324: ADD
00001325: SWAP1
00001326: DUP1
00001327: CALLDATASIZE
00001328: DUP4
00001329: CALLDATACOPY
0000132a: ADD
0000132b: SWAP1
0000132c: POP
0000132d: POP
0000132e: SWAP1
0000132f: POP
00001330: ADDRESS
00001331: DUP2
00001332: PUSH0
00001333: DUP2
00001334: MLOAD
00001335: DUP2
00001336: LT
00001337: PUSH2 0x1342
0000133a: JUMPI
0000133b: PUSH2 0x1342
0000133e: PUSH2 0x19bc
00001341: JUMP
00001342: JUMPDEST
00001343: PUSH1 0x01
00001345: PUSH1 0x01
00001347: PUSH1 0xa0
00001349: SHL
0000134a: SUB
0000134b: SWAP3
0000134c: DUP4
0000134d: AND
0000134e: PUSH1 0x20
00001350: SWAP2
00001351: DUP3
00001352: MUL
00001353: SWAP3
00001354: SWAP1
00001355: SWAP3
00001356: ADD
00001357: DUP2
00001358: ADD
00001359: SWAP2
0000135a: SWAP1
0000135b: SWAP2
0000135c: MSTORE
0000135d: PUSH1 0x13
0000135f: SLOAD
00001360: PUSH1 0x40
00001362: DUP1
00001363: MLOAD
00001364: PUSH4 0x15ab88c9
00001369: PUSH1 0xe3
0000136b: SHL
0000136c: DUP2
0000136d: MSTORE
0000136e: SWAP1
0000136f: MLOAD
00001370: SWAP2
00001371: SWAP1
00001372: SWAP4
00001373: AND
00001374: SWAP3
00001375: PUSH4 0xad5c4648
0000137a: SWAP3
0000137b: PUSH1 0x04
0000137d: DUP1
0000137e: DUP4
0000137f: ADD
00001380: SWAP4
00001381: SWAP2
00001382: SWAP3
00001383: DUP3
00001384: SWAP1
00001385: SUB
00001386: ADD
00001387: DUP2
00001388: DUP7
00001389: GAS
0000138a: STATICCALL
0000138b: ISZERO
0000138c: DUP1
0000138d: ISZERO
0000138e: PUSH2 0x1399
00001391: JUMPI
00001392: RETURNDATASIZE
00001393: PUSH0
00001394: DUP1
00001395: RETURNDATACOPY
00001396: RETURNDATASIZE
00001397: PUSH0
00001398: REVERT
00001399: JUMPDEST
0000139a: POP
0000139b: POP
0000139c: POP
0000139d: POP
0000139e: PUSH1 0x40
000013a0: MLOAD
000013a1: RETURNDATASIZE
000013a2: PUSH1 0x1f
000013a4: NOT
000013a5: PUSH1 0x1f
000013a7: DUP3
000013a8: ADD
000013a9: AND
000013aa: DUP3
000013ab: ADD
000013ac: DUP1
000013ad: PUSH1 0x40
000013af: MSTORE
000013b0: POP
000013b1: DUP2
000013b2: ADD
000013b3: SWAP1
000013b4: PUSH2 0x13bd
000013b7: SWAP2
000013b8: SWAP1
000013b9: PUSH2 0x19d0
000013bc: JUMP
000013bd: JUMPDEST
000013be: DUP2
000013bf: PUSH1 0x01
000013c1: DUP2
000013c2: MLOAD
000013c3: DUP2
000013c4: LT
000013c5: PUSH2 0x13d0
000013c8: JUMPI
000013c9: PUSH2 0x13d0
000013cc: PUSH2 0x19bc
000013cf: JUMP
000013d0: JUMPDEST
000013d1: PUSH1 0x01
000013d3: PUSH1 0x01
000013d5: PUSH1 0xa0
000013d7: SHL
000013d8: SUB
000013d9: SWAP3
000013da: DUP4
000013db: AND
000013dc: PUSH1 0x20
000013de: SWAP2
000013df: DUP3
000013e0: MUL
000013e1: SWAP3
000013e2: SWAP1
000013e3: SWAP3
000013e4: ADD
000013e5: ADD
000013e6: MSTORE
000013e7: PUSH1 0x13
000013e9: SLOAD
000013ea: PUSH2 0x13f6
000013ed: SWAP2
000013ee: ADDRESS
000013ef: SWAP2
000013f0: AND
000013f1: DUP5
000013f2: PUSH2 0x0b09
000013f5: JUMP
000013f6: JUMPDEST
000013f7: PUSH1 0x13
000013f9: SLOAD
000013fa: PUSH1 0x40
000013fc: MLOAD
000013fd: PUSH4 0x791ac947
00001402: PUSH1 0xe0
00001404: SHL
00001405: DUP2
00001406: MSTORE
00001407: PUSH1 0x01
00001409: PUSH1 0x01
0000140b: PUSH1 0xa0
0000140d: SHL
0000140e: SUB
0000140f: SWAP1
00001410: SWAP2
00001411: AND
00001412: SWAP1
00001413: PUSH4 0x791ac947
00001418: SWAP1
00001419: PUSH2 0x142e
0000141c: SWAP1
0000141d: DUP6
0000141e: SWAP1
0000141f: PUSH0
00001420: SWAP1
00001421: DUP7
00001422: SWAP1
00001423: ADDRESS
00001424: SWAP1
00001425: TIMESTAMP
00001426: SWAP1
00001427: PUSH1 0x04
00001429: ADD
0000142a: PUSH2 0x1a73
0000142d: JUMP
0000142e: JUMPDEST
0000142f: PUSH0
00001430: PUSH1 0x40
00001432: MLOAD
00001433: DUP1
00001434: DUP4
00001435: SUB
00001436: DUP2
00001437: PUSH0
00001438: DUP8
00001439: DUP1
0000143a: EXTCODESIZE
0000143b: ISZERO
0000143c: DUP1
0000143d: ISZERO
0000143e: PUSH2 0x1445
00001441: JUMPI
00001442: PUSH0
00001443: DUP1
00001444: REVERT
00001445: JUMPDEST
00001446: POP
00001447: GAS
00001448: CALL
00001449: ISZERO
0000144a: DUP1
0000144b: ISZERO
0000144c: PUSH2 0x1457
0000144f: JUMPI
00001450: RETURNDATASIZE
00001451: PUSH0
00001452: DUP1
00001453: RETURNDATACOPY
00001454: RETURNDATASIZE
00001455: PUSH0
00001456: REVERT
00001457: JUMPDEST
00001458: POP
00001459: POP
0000145a: POP
0000145b: POP
0000145c: POP
0000145d: JUMPDEST
0000145e: POP
0000145f: PUSH1 0x14
00001461: DUP1
00001462: SLOAD
00001463: PUSH1 0xff
00001465: PUSH1 0xa8
00001467: SHL
00001468: NOT
00001469: AND
0000146a: SWAP1
0000146b: SSTORE
0000146c: JUMP
0000146d: JUMPDEST
0000146e: PUSH1 0x07
00001470: SLOAD
00001471: PUSH1 0x40
00001473: MLOAD
00001474: PUSH2 0x0100
00001477: SWAP1
00001478: SWAP2
00001479: DIV
0000147a: PUSH1 0x01
0000147c: PUSH1 0x01
0000147e: PUSH1 0xa0
00001480: SHL
00001481: SUB
00001482: AND
00001483: SWAP1
00001484: PUSH2 0x08fc
00001487: DUP4
00001488: ISZERO
00001489: MUL
0000148a: SWAP1
0000148b: DUP4
0000148c: SWAP1
0000148d: PUSH0
0000148e: DUP2
0000148f: DUP2
00001490: DUP2
00001491: DUP6
00001492: DUP9
00001493: DUP9
00001494: CALL
00001495: SWAP4
00001496: POP
00001497: POP
00001498: POP
00001499: POP
0000149a: ISZERO
0000149b: DUP1
0000149c: ISZERO
0000149d: PUSH2 0x04fe
000014a0: JUMPI
000014a1: RETURNDATASIZE
000014a2: PUSH0
000014a3: DUP1
000014a4: RETURNDATACOPY
000014a5: RETURNDATASIZE
000014a6: PUSH0
000014a7: REVERT
000014a8: JUMPDEST
000014a9: PUSH0
000014aa: DUP3
000014ab: PUSH0
000014ac: SUB
000014ad: PUSH2 0x14b7
000014b0: JUMPI
000014b1: POP
000014b2: PUSH0
000014b3: PUSH2 0x041e
000014b6: JUMP
000014b7: JUMPDEST
000014b8: PUSH0
000014b9: PUSH2 0x14c2
000014bc: DUP4
000014bd: DUP6
000014be: PUSH2 0x1970
000014c1: JUMP
000014c2: JUMPDEST
000014c3: SWAP1
000014c4: POP
000014c5: DUP3
000014c6: PUSH2 0x14cf
000014c9: DUP6
000014ca: DUP4
000014cb: PUSH2 0x1ae4
000014ce: JUMP
000014cf: JUMPDEST
000014d0: EQ
000014d1: PUSH2 0x1526
000014d4: JUMPI
000014d5: PUSH1 0x40
000014d7: MLOAD
000014d8: PUSH3 0x461bcd
000014dc: PUSH1 0xe5
000014de: SHL
000014df: DUP2
000014e0: MSTORE
000014e1: PUSH1 0x20
000014e3: PUSH1 0x04
000014e5: DUP3
000014e6: ADD
000014e7: MSTORE
000014e8: PUSH1 0x21
000014ea: PUSH1 0x24
000014ec: DUP3
000014ed: ADD
000014ee: MSTORE
000014ef: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
00001510: PUSH1 0x44
00001512: DUP3
00001513: ADD
00001514: MSTORE
00001515: PUSH1 0x77
00001517: PUSH1 0xf8
00001519: SHL
0000151a: PUSH1 0x64
0000151c: DUP3
0000151d: ADD
0000151e: MSTORE
0000151f: PUSH1 0x84
00001521: ADD
00001522: PUSH2 0x052b
00001525: JUMP
00001526: JUMPDEST
00001527: SWAP4
00001528: SWAP3
00001529: POP
0000152a: POP
0000152b: POP
0000152c: JUMP
0000152d: JUMPDEST
0000152e: PUSH0
0000152f: PUSH2 0x1526
00001532: DUP4
00001533: DUP4
00001534: PUSH1 0x40
00001536: MLOAD
00001537: DUP1
00001538: PUSH1 0x40
0000153a: ADD
0000153b: PUSH1 0x40
0000153d: MSTORE
0000153e: DUP1
0000153f: PUSH1 0x1a
00001541: DUP2
00001542: MSTORE
00001543: PUSH1 0x20
00001545: ADD
00001546: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00001567: DUP2
00001568: MSTORE
00001569: POP
0000156a: PUSH2 0x1621
0000156d: JUMP
0000156e: JUMPDEST
0000156f: PUSH0
00001570: DUP2
00001571: DUP4
00001572: GT
00001573: PUSH2 0x157c
00001576: JUMPI
00001577: DUP3
00001578: PUSH2 0x1526
0000157b: JUMP
0000157c: JUMPDEST
0000157d: POP
0000157e: SWAP2
0000157f: SWAP1
00001580: POP
00001581: JUMP
00001582: JUMPDEST
00001583: PUSH0
00001584: DUP1
00001585: PUSH2 0x158e
00001588: DUP4
00001589: DUP6
0000158a: PUSH2 0x1a35
0000158d: JUMP
0000158e: JUMPDEST
0000158f: SWAP1
00001590: POP
00001591: DUP4
00001592: DUP2
00001593: LT
00001594: ISZERO
00001595: PUSH2 0x1526
00001598: JUMPI
00001599: PUSH1 0x40
0000159b: MLOAD
0000159c: PUSH3 0x461bcd
000015a0: PUSH1 0xe5
000015a2: SHL
000015a3: DUP2
000015a4: MSTORE
000015a5: PUSH1 0x20
000015a7: PUSH1 0x04
000015a9: DUP3
000015aa: ADD
000015ab: MSTORE
000015ac: PUSH1 0x1b
000015ae: PUSH1 0x24
000015b0: DUP3
000015b1: ADD
000015b2: MSTORE
000015b3: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
000015d4: PUSH1 0x44
000015d6: DUP3
000015d7: ADD
000015d8: MSTORE
000015d9: PUSH1 0x64
000015db: ADD
000015dc: PUSH2 0x052b
000015df: JUMP
000015e0: JUMPDEST
000015e1: PUSH0
000015e2: PUSH2 0x1526
000015e5: DUP4
000015e6: DUP4
000015e7: PUSH1 0x40
000015e9: MLOAD
000015ea: DUP1
000015eb: PUSH1 0x40
000015ed: ADD
000015ee: PUSH1 0x40
000015f0: MSTORE
000015f1: DUP1
000015f2: PUSH1 0x1e
000015f4: DUP2
000015f5: MSTORE
000015f6: PUSH1 0x20
000015f8: ADD
000015f9: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
0000161a: DUP2
0000161b: MSTORE
0000161c: POP
0000161d: PUSH2 0x12ac
00001620: JUMP
00001621: JUMPDEST
00001622: PUSH0
00001623: DUP2
00001624: DUP4
00001625: PUSH2 0x1641
00001628: JUMPI
00001629: PUSH1 0x40
0000162b: MLOAD
0000162c: PUSH3 0x461bcd
00001630: PUSH1 0xe5
00001632: SHL
00001633: DUP2
00001634: MSTORE
00001635: PUSH1 0x04
00001637: ADD
00001638: PUSH2 0x052b
0000163b: SWAP2
0000163c: SWAP1
0000163d: PUSH2 0x164d
00001640: JUMP
00001641: JUMPDEST
00001642: POP
00001643: PUSH0
00001644: PUSH2 0x12db
00001647: DUP5
00001648: DUP7
00001649: PUSH2 0x1ae4
0000164c: JUMP
0000164d: JUMPDEST
0000164e: PUSH0
0000164f: PUSH1 0x20
00001651: DUP1
00001652: DUP4
00001653: MSTORE
00001654: DUP4
00001655: MLOAD
00001656: DUP1
00001657: PUSH1 0x20
00001659: DUP6
0000165a: ADD
0000165b: MSTORE
0000165c: PUSH0
0000165d: JUMPDEST
0000165e: DUP2
0000165f: DUP2
00001660: LT
00001661: ISZERO
00001662: PUSH2 0x1679
00001665: JUMPI
00001666: DUP6
00001667: DUP2
00001668: ADD
00001669: DUP4
0000166a: ADD
0000166b: MLOAD
0000166c: DUP6
0000166d: DUP3
0000166e: ADD
0000166f: PUSH1 0x40
00001671: ADD
00001672: MSTORE
00001673: DUP3
00001674: ADD
00001675: PUSH2 0x165d
00001678: JUMP
00001679: JUMPDEST
0000167a: POP
0000167b: PUSH0
0000167c: PUSH1 0x40
0000167e: DUP3
0000167f: DUP7
00001680: ADD
00001681: ADD
00001682: MSTORE
00001683: PUSH1 0x40
00001685: PUSH1 0x1f
00001687: NOT
00001688: PUSH1 0x1f
0000168a: DUP4
0000168b: ADD
0000168c: AND
0000168d: DUP6
0000168e: ADD
0000168f: ADD
00001690: SWAP3
00001691: POP
00001692: POP
00001693: POP
00001694: SWAP3
00001695: SWAP2
00001696: POP
00001697: POP
00001698: JUMP
00001699: JUMPDEST
0000169a: PUSH1 0x01
0000169c: PUSH1 0x01
0000169e: PUSH1 0xa0
000016a0: SHL
000016a1: SUB
000016a2: DUP2
000016a3: AND
000016a4: DUP2
000016a5: EQ
000016a6: PUSH2 0x16ad
000016a9: JUMPI
000016aa: PUSH0
000016ab: DUP1
000016ac: REVERT
000016ad: JUMPDEST
000016ae: POP
000016af: JUMP
000016b0: JUMPDEST
000016b1: DUP1
000016b2: CALLDATALOAD
000016b3: PUSH2 0x16bb
000016b6: DUP2
000016b7: PUSH2 0x1699
000016ba: JUMP
000016bb: JUMPDEST
000016bc: SWAP2
000016bd: SWAP1
000016be: POP
000016bf: JUMP
000016c0: JUMPDEST
000016c1: PUSH0
000016c2: DUP1
000016c3: PUSH1 0x40
000016c5: DUP4
000016c6: DUP6
000016c7: SUB
000016c8: SLT
000016c9: ISZERO
000016ca: PUSH2 0x16d1
000016cd: JUMPI
000016ce: PUSH0
000016cf: DUP1
000016d0: REVERT
000016d1: JUMPDEST
000016d2: DUP3
000016d3: CALLDATALOAD
000016d4: PUSH2 0x16dc
000016d7: DUP2
000016d8: PUSH2 0x1699
000016db: JUMP
000016dc: JUMPDEST
000016dd: SWAP5
000016de: PUSH1 0x20
000016e0: SWAP4
000016e1: SWAP1
000016e2: SWAP4
000016e3: ADD
000016e4: CALLDATALOAD
000016e5: SWAP4
000016e6: POP
000016e7: POP
000016e8: POP
000016e9: JUMP
000016ea: JUMPDEST
000016eb: PUSH0
000016ec: DUP1
000016ed: PUSH0
000016ee: PUSH1 0x60
000016f0: DUP5
000016f1: DUP7
000016f2: SUB
000016f3: SLT
000016f4: ISZERO
000016f5: PUSH2 0x16fc
000016f8: JUMPI
000016f9: PUSH0
000016fa: DUP1
000016fb: REVERT
000016fc: JUMPDEST
000016fd: DUP4
000016fe: CALLDATALOAD
000016ff: PUSH2 0x1707
00001702: DUP2
00001703: PUSH2 0x1699
00001706: JUMP
00001707: JUMPDEST
00001708: SWAP3
00001709: POP
0000170a: PUSH1 0x20
0000170c: DUP5
0000170d: ADD
0000170e: CALLDATALOAD
0000170f: PUSH2 0x1717
00001712: DUP2
00001713: PUSH2 0x1699
00001716: JUMP
00001717: JUMPDEST
00001718: SWAP3
00001719: SWAP6
0000171a: SWAP3
0000171b: SWAP5
0000171c: POP
0000171d: POP
0000171e: POP
0000171f: PUSH1 0x40
00001721: SWAP2
00001722: SWAP1
00001723: SWAP2
00001724: ADD
00001725: CALLDATALOAD
00001726: SWAP1
00001727: JUMP
00001728: JUMPDEST
00001729: PUSH0
0000172a: PUSH1 0x20
0000172c: DUP3
0000172d: DUP5
0000172e: SUB
0000172f: SLT
00001730: ISZERO
00001731: PUSH2 0x1738
00001734: JUMPI
00001735: PUSH0
00001736: DUP1
00001737: REVERT
00001738: JUMPDEST
00001739: DUP2
0000173a: CALLDATALOAD
0000173b: PUSH2 0x1526
0000173e: DUP2
0000173f: PUSH2 0x1699
00001742: JUMP
00001743: JUMPDEST
00001744: PUSH4 0x4e487b71
00001749: PUSH1 0xe0
0000174b: SHL
0000174c: PUSH0
0000174d: MSTORE
0000174e: PUSH1 0x41
00001750: PUSH1 0x04
00001752: MSTORE
00001753: PUSH1 0x24
00001755: PUSH0
00001756: REVERT
00001757: JUMPDEST
00001758: PUSH0
00001759: PUSH1 0x20
0000175b: DUP1
0000175c: DUP4
0000175d: DUP6
0000175e: SUB
0000175f: SLT
00001760: ISZERO
00001761: PUSH2 0x1768
00001764: JUMPI
00001765: PUSH0
00001766: DUP1
00001767: REVERT
00001768: JUMPDEST
00001769: DUP3
0000176a: CALLDATALOAD
0000176b: PUSH8 0xffffffffffffffff
00001774: DUP1
00001775: DUP3
00001776: GT
00001777: ISZERO
00001778: PUSH2 0x177f
0000177b: JUMPI
0000177c: PUSH0
0000177d: DUP1
0000177e: REVERT
0000177f: JUMPDEST
00001780: DUP2
00001781: DUP6
00001782: ADD
00001783: SWAP2
00001784: POP
00001785: DUP6
00001786: PUSH1 0x1f
00001788: DUP4
00001789: ADD
0000178a: SLT
0000178b: PUSH2 0x1792
0000178e: JUMPI
0000178f: PUSH0
00001790: DUP1
00001791: REVERT
00001792: JUMPDEST
00001793: DUP2
00001794: CALLDATALOAD
00001795: DUP2
00001796: DUP2
00001797: GT
00001798: ISZERO
00001799: PUSH2 0x17a4
0000179c: JUMPI
0000179d: PUSH2 0x17a4
000017a0: PUSH2 0x1743
000017a3: JUMP
000017a4: JUMPDEST
000017a5: DUP1
000017a6: PUSH1 0x05
000017a8: SHL
000017a9: PUSH1 0x40
000017ab: MLOAD
000017ac: PUSH1 0x1f
000017ae: NOT
000017af: PUSH1 0x3f
000017b1: DUP4
000017b2: ADD
000017b3: AND
000017b4: DUP2
000017b5: ADD
000017b6: DUP2
000017b7: DUP2
000017b8: LT
000017b9: DUP6
000017ba: DUP3
000017bb: GT
000017bc: OR
000017bd: ISZERO
000017be: PUSH2 0x17c9
000017c1: JUMPI
000017c2: PUSH2 0x17c9
000017c5: PUSH2 0x1743
000017c8: JUMP
000017c9: JUMPDEST
000017ca: PUSH1 0x40
000017cc: MSTORE
000017cd: SWAP2
000017ce: DUP3
000017cf: MSTORE
000017d0: DUP5
000017d1: DUP3
000017d2: ADD
000017d3: SWAP3
000017d4: POP
000017d5: DUP4
000017d6: DUP2
000017d7: ADD
000017d8: DUP6
000017d9: ADD
000017da: SWAP2
000017db: DUP9
000017dc: DUP4
000017dd: GT
000017de: ISZERO
000017df: PUSH2 0x17e6
000017e2: JUMPI
000017e3: PUSH0
000017e4: DUP1
000017e5: REVERT
000017e6: JUMPDEST
000017e7: SWAP4
000017e8: DUP6
000017e9: ADD
000017ea: SWAP4
000017eb: JUMPDEST
000017ec: DUP3
000017ed: DUP6
000017ee: LT
000017ef: ISZERO
000017f0: PUSH2 0x180b
000017f3: JUMPI
000017f4: PUSH2 0x17fc
000017f7: DUP6
000017f8: PUSH2 0x16b0
000017fb: JUMP
000017fc: JUMPDEST
000017fd: DUP5
000017fe: MSTORE
000017ff: SWAP4
00001800: DUP6
00001801: ADD
00001802: SWAP4
00001803: SWAP3
00001804: DUP6
00001805: ADD
00001806: SWAP3
00001807: PUSH2 0x17eb
0000180a: JUMP
0000180b: JUMPDEST
0000180c: SWAP9
0000180d: SWAP8
0000180e: POP
0000180f: POP
00001810: POP
00001811: POP
00001812: POP
00001813: POP
00001814: POP
00001815: POP
00001816: JUMP
00001817: JUMPDEST
00001818: PUSH0
00001819: DUP1
0000181a: PUSH1 0x40
0000181c: DUP4
0000181d: DUP6
0000181e: SUB
0000181f: SLT
00001820: ISZERO
00001821: PUSH2 0x1828
00001824: JUMPI
00001825: PUSH0
00001826: DUP1
00001827: REVERT
00001828: JUMPDEST
00001829: POP
0000182a: POP
0000182b: DUP1
0000182c: CALLDATALOAD
0000182d: SWAP3
0000182e: PUSH1 0x20
00001830: SWAP1
00001831: SWAP2
00001832: ADD
00001833: CALLDATALOAD
00001834: SWAP2
00001835: POP
00001836: JUMP
00001837: JUMPDEST
00001838: PUSH0
00001839: DUP1
0000183a: PUSH1 0x40
0000183c: DUP4
0000183d: DUP6
0000183e: SUB
0000183f: SLT
00001840: ISZERO
00001841: PUSH2 0x1848
00001844: JUMPI
00001845: PUSH0
00001846: DUP1
00001847: REVERT
00001848: JUMPDEST
00001849: DUP3
0000184a: CALLDATALOAD
0000184b: PUSH2 0x1853
0000184e: DUP2
0000184f: PUSH2 0x1699
00001852: JUMP
00001853: JUMPDEST
00001854: SWAP2
00001855: POP
00001856: PUSH1 0x20
00001858: DUP4
00001859: ADD
0000185a: CALLDATALOAD
0000185b: PUSH2 0x1863
0000185e: DUP2
0000185f: PUSH2 0x1699
00001862: JUMP
00001863: JUMPDEST
00001864: DUP1
00001865: SWAP2
00001866: POP
00001867: POP
00001868: SWAP3
00001869: POP
0000186a: SWAP3
0000186b: SWAP1
0000186c: POP
0000186d: JUMP
0000186e: JUMPDEST
0000186f: PUSH4 0x4e487b71
00001874: PUSH1 0xe0
00001876: SHL
00001877: PUSH0
00001878: MSTORE
00001879: PUSH1 0x11
0000187b: PUSH1 0x04
0000187d: MSTORE
0000187e: PUSH1 0x24
00001880: PUSH0
00001881: REVERT
00001882: JUMPDEST
00001883: PUSH1 0x01
00001885: DUP2
00001886: DUP2
00001887: JUMPDEST
00001888: DUP1
00001889: DUP6
0000188a: GT
0000188b: ISZERO
0000188c: PUSH2 0x18bc
0000188f: JUMPI
00001890: DUP2
00001891: PUSH0
00001892: NOT
00001893: DIV
00001894: DUP3
00001895: GT
00001896: ISZERO
00001897: PUSH2 0x18a2
0000189a: JUMPI
0000189b: PUSH2 0x18a2
0000189e: PUSH2 0x186e
000018a1: JUMP
000018a2: JUMPDEST
000018a3: DUP1
000018a4: DUP6
000018a5: AND
000018a6: ISZERO
000018a7: PUSH2 0x18af
000018aa: JUMPI
000018ab: SWAP2
000018ac: DUP2
000018ad: MUL
000018ae: SWAP2
000018af: JUMPDEST
000018b0: SWAP4
000018b1: DUP5
000018b2: SHR
000018b3: SWAP4
000018b4: SWAP1
000018b5: DUP1
000018b6: MUL
000018b7: SWAP1
000018b8: PUSH2 0x1887
000018bb: JUMP
000018bc: JUMPDEST
000018bd: POP
000018be: SWAP3
000018bf: POP
000018c0: SWAP3
000018c1: SWAP1
000018c2: POP
000018c3: JUMP
000018c4: JUMPDEST
000018c5: PUSH0
000018c6: DUP3
000018c7: PUSH2 0x18d2
000018ca: JUMPI
000018cb: POP
000018cc: PUSH1 0x01
000018ce: PUSH2 0x041e
000018d1: JUMP
000018d2: JUMPDEST
000018d3: DUP2
000018d4: PUSH2 0x18de
000018d7: JUMPI
000018d8: POP
000018d9: PUSH0
000018da: PUSH2 0x041e
000018dd: JUMP
000018de: JUMPDEST
000018df: DUP2
000018e0: PUSH1 0x01
000018e2: DUP2
000018e3: EQ
000018e4: PUSH2 0x18f4
000018e7: JUMPI
000018e8: PUSH1 0x02
000018ea: DUP2
000018eb: EQ
000018ec: PUSH2 0x18fe
000018ef: JUMPI
000018f0: PUSH2 0x191a
000018f3: JUMP
000018f4: JUMPDEST
000018f5: PUSH1 0x01
000018f7: SWAP2
000018f8: POP
000018f9: POP
000018fa: PUSH2 0x041e
000018fd: JUMP
000018fe: JUMPDEST
000018ff: PUSH1 0xff
00001901: DUP5
00001902: GT
00001903: ISZERO
00001904: PUSH2 0x190f
00001907: JUMPI
00001908: PUSH2 0x190f
0000190b: PUSH2 0x186e
0000190e: JUMP
0000190f: JUMPDEST
00001910: POP
00001911: POP
00001912: PUSH1 0x01
00001914: DUP3
00001915: SHL
00001916: PUSH2 0x041e
00001919: JUMP
0000191a: JUMPDEST
0000191b: POP
0000191c: PUSH1 0x20
0000191e: DUP4
0000191f: LT
00001920: PUSH2 0x0133
00001923: DUP4
00001924: LT
00001925: AND
00001926: PUSH1 0x4e
00001928: DUP5
00001929: LT
0000192a: PUSH1 0x0b
0000192c: DUP5
0000192d: LT
0000192e: AND
0000192f: OR
00001930: ISZERO
00001931: PUSH2 0x193d
00001934: JUMPI
00001935: POP
00001936: DUP2
00001937: DUP2
00001938: EXP
00001939: PUSH2 0x041e
0000193c: JUMP
0000193d: JUMPDEST
0000193e: PUSH2 0x1947
00001941: DUP4
00001942: DUP4
00001943: PUSH2 0x1882
00001946: JUMP
00001947: JUMPDEST
00001948: DUP1
00001949: PUSH0
0000194a: NOT
0000194b: DIV
0000194c: DUP3
0000194d: GT
0000194e: ISZERO
0000194f: PUSH2 0x195a
00001952: JUMPI
00001953: PUSH2 0x195a
00001956: PUSH2 0x186e
00001959: JUMP
0000195a: JUMPDEST
0000195b: MUL
0000195c: SWAP4
0000195d: SWAP3
0000195e: POP
0000195f: POP
00001960: POP
00001961: JUMP
00001962: JUMPDEST
00001963: PUSH0
00001964: PUSH2 0x1526
00001967: PUSH1 0xff
00001969: DUP5
0000196a: AND
0000196b: DUP4
0000196c: PUSH2 0x18c4
0000196f: JUMP
00001970: JUMPDEST
00001971: DUP1
00001972: DUP3
00001973: MUL
00001974: DUP2
00001975: ISZERO
00001976: DUP3
00001977: DUP3
00001978: DIV
00001979: DUP5
0000197a: EQ
0000197b: OR
0000197c: PUSH2 0x041e
0000197f: JUMPI
00001980: PUSH2 0x041e
00001983: PUSH2 0x186e
00001986: JUMP
00001987: JUMPDEST
00001988: PUSH1 0x20
0000198a: DUP1
0000198b: DUP3
0000198c: MSTORE
0000198d: DUP2
0000198e: DUP2
0000198f: ADD
00001990: MSTORE
00001991: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000019b2: PUSH1 0x40
000019b4: DUP3
000019b5: ADD
000019b6: MSTORE
000019b7: PUSH1 0x60
000019b9: ADD
000019ba: SWAP1
000019bb: JUMP
000019bc: JUMPDEST
000019bd: PUSH4 0x4e487b71
000019c2: PUSH1 0xe0
000019c4: SHL
000019c5: PUSH0
000019c6: MSTORE
000019c7: PUSH1 0x32
000019c9: PUSH1 0x04
000019cb: MSTORE
000019cc: PUSH1 0x24
000019ce: PUSH0
000019cf: REVERT
000019d0: JUMPDEST
000019d1: PUSH0
000019d2: PUSH1 0x20
000019d4: DUP3
000019d5: DUP5
000019d6: SUB
000019d7: SLT
000019d8: ISZERO
000019d9: PUSH2 0x19e0
000019dc: JUMPI
000019dd: PUSH0
000019de: DUP1
000019df: REVERT
000019e0: JUMPDEST
000019e1: DUP2
000019e2: MLOAD
000019e3: PUSH2 0x1526
000019e6: DUP2
000019e7: PUSH2 0x1699
000019ea: JUMP
000019eb: JUMPDEST
000019ec: PUSH0
000019ed: DUP1
000019ee: PUSH0
000019ef: PUSH1 0x60
000019f1: DUP5
000019f2: DUP7
000019f3: SUB
000019f4: SLT
000019f5: ISZERO
000019f6: PUSH2 0x19fd
000019f9: JUMPI
000019fa: PUSH0
000019fb: DUP1
000019fc: REVERT
000019fd: JUMPDEST
000019fe: DUP4
000019ff: MLOAD
00001a00: SWAP3
00001a01: POP
00001a02: PUSH1 0x20
00001a04: DUP5
00001a05: ADD
00001a06: MLOAD
00001a07: SWAP2
00001a08: POP
00001a09: PUSH1 0x40
00001a0b: DUP5
00001a0c: ADD
00001a0d: MLOAD
00001a0e: SWAP1
00001a0f: POP
00001a10: SWAP3
00001a11: POP
00001a12: SWAP3
00001a13: POP
00001a14: SWAP3
00001a15: JUMP
00001a16: JUMPDEST
00001a17: PUSH0
00001a18: PUSH1 0x20
00001a1a: DUP3
00001a1b: DUP5
00001a1c: SUB
00001a1d: SLT
00001a1e: ISZERO
00001a1f: PUSH2 0x1a26
00001a22: JUMPI
00001a23: PUSH0
00001a24: DUP1
00001a25: REVERT
00001a26: JUMPDEST
00001a27: DUP2
00001a28: MLOAD
00001a29: DUP1
00001a2a: ISZERO
00001a2b: ISZERO
00001a2c: DUP2
00001a2d: EQ
00001a2e: PUSH2 0x1526
00001a31: JUMPI
00001a32: PUSH0
00001a33: DUP1
00001a34: REVERT
00001a35: JUMPDEST
00001a36: DUP1
00001a37: DUP3
00001a38: ADD
00001a39: DUP1
00001a3a: DUP3
00001a3b: GT
00001a3c: ISZERO
00001a3d: PUSH2 0x041e
00001a40: JUMPI
00001a41: PUSH2 0x041e
00001a44: PUSH2 0x186e
00001a47: JUMP
00001a48: JUMPDEST
00001a49: PUSH0
00001a4a: PUSH1 0x01
00001a4c: DUP3
00001a4d: ADD
00001a4e: PUSH2 0x1a59
00001a51: JUMPI
00001a52: PUSH2 0x1a59
00001a55: PUSH2 0x186e
00001a58: JUMP
00001a59: JUMPDEST
00001a5a: POP
00001a5b: PUSH1 0x01
00001a5d: ADD
00001a5e: SWAP1
00001a5f: JUMP
00001a60: JUMPDEST
00001a61: DUP2
00001a62: DUP2
00001a63: SUB
00001a64: DUP2
00001a65: DUP2
00001a66: GT
00001a67: ISZERO
00001a68: PUSH2 0x041e
00001a6b: JUMPI
00001a6c: PUSH2 0x041e
00001a6f: PUSH2 0x186e
00001a72: JUMP
00001a73: JUMPDEST
00001a74: PUSH0
00001a75: PUSH1 0xa0
00001a77: DUP3
00001a78: ADD
00001a79: DUP8
00001a7a: DUP4
00001a7b: MSTORE
00001a7c: PUSH1 0x20
00001a7e: DUP8
00001a7f: PUSH1 0x20
00001a81: DUP6
00001a82: ADD
00001a83: MSTORE
00001a84: PUSH1 0xa0
00001a86: PUSH1 0x40
00001a88: DUP6
00001a89: ADD
00001a8a: MSTORE
00001a8b: DUP2
00001a8c: DUP8
00001a8d: MLOAD
00001a8e: DUP1
00001a8f: DUP5
00001a90: MSTORE
00001a91: PUSH1 0xc0
00001a93: DUP7
00001a94: ADD
00001a95: SWAP2
00001a96: POP
00001a97: PUSH1 0x20
00001a99: DUP10
00001a9a: ADD
00001a9b: SWAP4
00001a9c: POP
00001a9d: PUSH0
00001a9e: JUMPDEST
00001a9f: DUP2
00001aa0: DUP2
00001aa1: LT
00001aa2: ISZERO
00001aa3: PUSH2 0x1ac3
00001aa6: JUMPI
00001aa7: DUP5
00001aa8: MLOAD
00001aa9: PUSH1 0x01
00001aab: PUSH1 0x01
00001aad: PUSH1 0xa0
00001aaf: SHL
00001ab0: SUB
00001ab1: AND
00001ab2: DUP4
00001ab3: MSTORE
00001ab4: SWAP4
00001ab5: DUP4
00001ab6: ADD
00001ab7: SWAP4
00001ab8: SWAP2
00001ab9: DUP4
00001aba: ADD
00001abb: SWAP2
00001abc: PUSH1 0x01
00001abe: ADD
00001abf: PUSH2 0x1a9e
00001ac2: JUMP
00001ac3: JUMPDEST
00001ac4: POP
00001ac5: POP
00001ac6: PUSH1 0x01
00001ac8: PUSH1 0x01
00001aca: PUSH1 0xa0
00001acc: SHL
00001acd: SUB
00001ace: SWAP7
00001acf: SWAP1
00001ad0: SWAP7
00001ad1: AND
00001ad2: PUSH1 0x60
00001ad4: DUP6
00001ad5: ADD
00001ad6: MSTORE
00001ad7: POP
00001ad8: POP
00001ad9: POP
00001ada: PUSH1 0x80
00001adc: ADD
00001add: MSTORE
00001ade: SWAP4
00001adf: SWAP3
00001ae0: POP
00001ae1: POP
00001ae2: POP
00001ae3: JUMP
00001ae4: JUMPDEST
00001ae5: PUSH0
00001ae6: DUP3
00001ae7: PUSH2 0x1afe
00001aea: JUMPI
00001aeb: PUSH4 0x4e487b71
00001af0: PUSH1 0xe0
00001af2: SHL
00001af3: PUSH0
00001af4: MSTORE
00001af5: PUSH1 0x12
00001af7: PUSH1 0x04
00001af9: MSTORE
00001afa: PUSH1 0x24
00001afc: PUSH0
00001afd: REVERT
00001afe: JUMPDEST
00001aff: POP
00001b00: DIV
00001b01: SWAP1
00001b02: JUMP
00001b03: INVALID
00001b04: GASLIMIT
00001b05: MSTORE
00001b06: NUMBER
00001b07: ORIGIN
00001b08: ADDRESS
00001b09: GASPRICE
00001b0a: KECCAK256
00001b0b: PUSH21 0x72616e7366657220616d6f756e7420657863656564
00001b21: PUSH20 0x20616c6c6f77616e6365a2646970667358221220
00001b36: DUP11
00001b37: UNKNOWN(0x27)
00001b38: UNKNOWN(0xC2)
00001b39: SWAP5
00001b3a: UNKNOWN(0xFB)
00001b3b: SGT
00001b3c: PUSH3 0xab3f98
00001b40: POP
00001b41: UNKNOWN(0xAE)
00001b42: CALLCODE
00001b43: SWAP7
00001b44: ADDRESS
00001b45: SHR
00001b46: REVERT
00001b47: OR
00001b48: UNKNOWN(0xDF)
00001b49: REVERT
00001b4a: CHAINID
00001b4b: UNKNOWN(0x4E)
00001b4c: DUP6
00001b4d: DUP3
00001b4e: SLOAD
00001b4f: DUP1
00001b50: EQ
00001b51: MULMOD
00001b52: PUSH27

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x95d89b41",
            "selector": "0x95d89b41",
            "calldata_variants": [
                "0x95d89b41",
                "0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbf474bed",
            "selector": "0xbf474bed",
            "calldata_variants": [
                "0xbf474bed",
                "0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc876d0b9",
            "selector": "0xc876d0b9",
            "calldata_variants": [
                "0xc876d0b9",
                "0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc9567bf9",
            "selector": "0xc9567bf9",
            "calldata_variants": [
                "0xc9567bf9",
                "0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x72333356",
            "selector": "0x72333356",
            "calldata_variants": [
                "0x72333356",
                "0x723333560000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x751039fc",
            "selector": "0x751039fc",
            "calldata_variants": [
                "0x751039fc",
                "0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 3592,
            "type": "tx_origin_used"
        },
        {
            "pc": 3697,
            "type": "tx_origin_used"
        },
        {
            "pc": 6919,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xef1e73e4b3418e62f7eb13d5693dcd0418090a661e4e1d48580c0506bbdc6a84
call_targets: 0xc8fb88b744754042bbcbb90515238661cbb0b16c
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xef1e73e4b3418e62f7eb13d5693dcd0418090a661e4e1d48580c0506bbdc6a84",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xc8fb88b744754042bbcbb90515238661cbb0b16c"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x95d89b41",
            "selector": "0x95d89b41",
            "calldata_variants": [
                "0x95d89b41",
                "0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbf474bed",
            "selector": "0xbf474bed",
            "calldata_variants": [
                "0xbf474bed",
                "0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc876d0b9",
            "selector": "0xc876d0b9",
            "calldata_variants": [
                "0xc876d0b9",
                "0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc9567bf9",
            "selector": "0xc9567bf9",
            "calldata_variants": [
                "0xc9567bf9",
                "0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x72333356",
            "selector": "0x72333356",
            "calldata_variants": [
                "0x72333356",
                "0x723333560000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x751039fc",
            "selector": "0x751039fc",
            "calldata_variants": [
                "0x751039fc",
                "0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2398,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2626,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2748,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 6,
    "guards_detected": [
        {
            "pc": 3592,
            "type": "tx_origin_used"
        },
        {
            "pc": 3697,
            "type": "tx_origin_used"
        },
        {
            "pc": 6919,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 6
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xef1e73e4b3418e62f7eb13d5693dcd0418090a661e4e1d48580c0506bbdc6a84
call_targets: 0xc8fb88b744754042bbcbb90515238661cbb0b16c
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xef1e73e4b3418e62f7eb13d5693dcd0418090a661e4e1d48580c0506bbdc6a84",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xc8fb88b744754042bbcbb90515238661cbb0b16c"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x95d89b41",
            "selector": "0x95d89b41",
            "calldata_variants": [
                "0x95d89b41",
                "0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbf474bed",
            "selector": "0xbf474bed",
            "calldata_variants": [
                "0xbf474bed",
                "0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc876d0b9",
            "selector": "0xc876d0b9",
            "calldata_variants": [
                "0xc876d0b9",
                "0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc9567bf9",
            "selector": "0xc9567bf9",
            "calldata_variants": [
                "0xc9567bf9",
                "0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x72333356",
            "selector": "0x72333356",
            "calldata_variants": [
                "0x72333356",
                "0x723333560000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x751039fc",
            "selector": "0x751039fc",
            "calldata_variants": [
                "0x751039fc",
                "0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2398,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2626,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2748,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 6,
    "guards_detected": [
        {
            "pc": 3592,
            "type": "tx_origin_used"
        },
        {
            "pc": 3697,
            "type": "tx_origin_used"
        },
        {
            "pc": 6919,
            "type": "tx_origin_used"
        }
    ]
}