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

Analysis Run

019b477e-ca0b-735c-83bf-4705e114684c

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
Untrusted CALL target/value reachable
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
26435 artifact.fetch complete 1 / 3 3 months ago
26436 tool.cast_disasm complete 1 / 3 3 months ago
69622 analysis.bundle complete 1 / 3 2 weeks ago
69623 capability.graph complete 1 / 3 2 weeks ago
69624 detector.run complete 1 / 3 2 weeks ago
69625 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)
8
EXT*/BALANCE
9
Total opcodes
4455
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0144
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x94f6abfc
00000019: GT
0000001a: PUSH2 0x00b6
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb3d32010
00000024: GT
00000025: PUSH2 0x006f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xb3d32010
0000002f: EQ
00000030: PUSH2 0x037b
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xcb71299f
0000003a: EQ
0000003b: PUSH2 0x039b
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe00dcb3d
00000045: EQ
00000046: PUSH2 0x03c5
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe2df600f
00000050: EQ
00000051: PUSH2 0x03e5
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xea32afae
0000005b: EQ
0000005c: PUSH2 0x0405
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfbfa77cf
00000066: EQ
00000067: PUSH2 0x0425
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0x94f6abfc
00000076: EQ
00000077: PUSH2 0x02c1
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x968ed600
00000081: EQ
00000082: PUSH2 0x02e1
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x9934bbd7
0000008c: EQ
0000008d: PUSH2 0x030b
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x999d5c69
00000097: EQ
00000098: PUSH2 0x032b
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0x9a101dd0
000000a2: EQ
000000a3: PUSH2 0x0346
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xaced1661
000000ad: EQ
000000ae: PUSH2 0x0366
000000b1: JUMPI
000000b2: PUSH1 0x00
000000b4: DUP1
000000b5: REVERT
000000b6: JUMPDEST
000000b7: DUP1
000000b8: PUSH4 0x29d5a45c
000000bd: GT
000000be: PUSH2 0x0108
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x29d5a45c
000000c8: EQ
000000c9: PUSH2 0x0222
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x2b0949ea
000000d3: EQ
000000d4: PUSH2 0x0237
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x414de390
000000de: EQ
000000df: PUSH2 0x0257
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x4c8ac338
000000e9: EQ
000000ea: PUSH2 0x0277
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0x5aa6e675
000000f4: EQ
000000f5: PUSH2 0x0297
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0x68124f9a
000000ff: EQ
00000100: PUSH2 0x02ac
00000103: JUMPI
00000104: PUSH1 0x00
00000106: DUP1
00000107: REVERT
00000108: JUMPDEST
00000109: DUP1
0000010a: PUSH4 0x01681a62
0000010f: EQ
00000110: PUSH2 0x0150
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x0f149cce
0000011a: EQ
0000011b: PUSH2 0x0172
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x10cc4e89
00000125: EQ
00000126: PUSH2 0x01c0
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x1b206484
00000130: EQ
00000131: PUSH2 0x01ed
00000134: JUMPI
00000135: DUP1
00000136: PUSH4 0x25b00885
0000013b: EQ
0000013c: PUSH2 0x020d
0000013f: JUMPI
00000140: PUSH1 0x00
00000142: DUP1
00000143: REVERT
00000144: JUMPDEST
00000145: CALLDATASIZE
00000146: PUSH2 0x014b
00000149: JUMPI
0000014a: STOP
0000014b: JUMPDEST
0000014c: PUSH1 0x00
0000014e: DUP1
0000014f: REVERT
00000150: JUMPDEST
00000151: CALLVALUE
00000152: DUP1
00000153: ISZERO
00000154: PUSH2 0x015c
00000157: JUMPI
00000158: PUSH1 0x00
0000015a: DUP1
0000015b: REVERT
0000015c: JUMPDEST
0000015d: POP
0000015e: PUSH2 0x0170
00000161: PUSH2 0x016b
00000164: CALLDATASIZE
00000165: PUSH1 0x04
00000167: PUSH2 0x12c5
0000016a: JUMP
0000016b: JUMPDEST
0000016c: PUSH2 0x0445
0000016f: JUMP
00000170: JUMPDEST
00000171: STOP
00000172: JUMPDEST
00000173: CALLVALUE
00000174: DUP1
00000175: ISZERO
00000176: PUSH2 0x017e
00000179: JUMPI
0000017a: PUSH1 0x00
0000017c: DUP1
0000017d: REVERT
0000017e: JUMPDEST
0000017f: POP
00000180: PUSH1 0x00
00000182: SLOAD
00000183: PUSH2 0x019c
00000186: SWAP1
00000187: PUSH1 0xff
00000189: DUP2
0000018a: AND
0000018b: SWAP1
0000018c: PUSH2 0x0100
0000018f: SWAP1
00000190: DIV
00000191: PUSH1 0x01
00000193: PUSH1 0x01
00000195: PUSH1 0xa0
00000197: SHL
00000198: SUB
00000199: AND
0000019a: DUP3
0000019b: JUMP
0000019c: JUMPDEST
0000019d: PUSH1 0x40
0000019f: DUP1
000001a0: MLOAD
000001a1: SWAP3
000001a2: ISZERO
000001a3: ISZERO
000001a4: DUP4
000001a5: MSTORE
000001a6: PUSH1 0x01
000001a8: PUSH1 0x01
000001aa: PUSH1 0xa0
000001ac: SHL
000001ad: SUB
000001ae: SWAP1
000001af: SWAP2
000001b0: AND
000001b1: PUSH1 0x20
000001b3: DUP4
000001b4: ADD
000001b5: MSTORE
000001b6: ADD
000001b7: JUMPDEST
000001b8: PUSH1 0x40
000001ba: MLOAD
000001bb: DUP1
000001bc: SWAP2
000001bd: SUB
000001be: SWAP1
000001bf: RETURN
000001c0: JUMPDEST
000001c1: CALLVALUE
000001c2: DUP1
000001c3: ISZERO
000001c4: PUSH2 0x01cc
000001c7: JUMPI
000001c8: PUSH1 0x00
000001ca: DUP1
000001cb: REVERT
000001cc: JUMPDEST
000001cd: POP
000001ce: PUSH1 0x06
000001d0: SLOAD
000001d1: PUSH2 0x01e0
000001d4: SWAP1
000001d5: PUSH1 0x01
000001d7: PUSH1 0x01
000001d9: PUSH1 0xa0
000001db: SHL
000001dc: SUB
000001dd: AND
000001de: DUP2
000001df: JUMP
000001e0: JUMPDEST
000001e1: PUSH1 0x40
000001e3: MLOAD
000001e4: PUSH2 0x01b7
000001e7: SWAP2
000001e8: SWAP1
000001e9: PUSH2 0x12e2
000001ec: JUMP
000001ed: JUMPDEST
000001ee: CALLVALUE
000001ef: DUP1
000001f0: ISZERO
000001f1: PUSH2 0x01f9
000001f4: JUMPI
000001f5: PUSH1 0x00
000001f7: DUP1
000001f8: REVERT
000001f9: JUMPDEST
000001fa: POP
000001fb: PUSH1 0x03
000001fd: SLOAD
000001fe: PUSH2 0x01e0
00000201: SWAP1
00000202: PUSH1 0x01
00000204: PUSH1 0x01
00000206: PUSH1 0xa0
00000208: SHL
00000209: SUB
0000020a: AND
0000020b: DUP2
0000020c: JUMP
0000020d: JUMPDEST
0000020e: CALLVALUE
0000020f: DUP1
00000210: ISZERO
00000211: PUSH2 0x0219
00000214: JUMPI
00000215: PUSH1 0x00
00000217: DUP1
00000218: REVERT
00000219: JUMPDEST
0000021a: POP
0000021b: PUSH2 0x0170
0000021e: PUSH2 0x059b
00000221: JUMP
00000222: JUMPDEST
00000223: CALLVALUE
00000224: DUP1
00000225: ISZERO
00000226: PUSH2 0x022e
00000229: JUMPI
0000022a: PUSH1 0x00
0000022c: DUP1
0000022d: REVERT
0000022e: JUMPDEST
0000022f: POP
00000230: PUSH2 0x01e0
00000233: PUSH2 0x062b
00000236: JUMP
00000237: JUMPDEST
00000238: CALLVALUE
00000239: DUP1
0000023a: ISZERO
0000023b: PUSH2 0x0243
0000023e: JUMPI
0000023f: PUSH1 0x00
00000241: DUP1
00000242: REVERT
00000243: JUMPDEST
00000244: POP
00000245: PUSH2 0x0170
00000248: PUSH2 0x0252
0000024b: CALLDATASIZE
0000024c: PUSH1 0x04
0000024e: PUSH2 0x12f6
00000251: JUMP
00000252: JUMPDEST
00000253: PUSH2 0x06ad
00000256: JUMP
00000257: JUMPDEST
00000258: CALLVALUE
00000259: DUP1
0000025a: ISZERO
0000025b: PUSH2 0x0263
0000025e: JUMPI
0000025f: PUSH1 0x00
00000261: DUP1
00000262: REVERT
00000263: JUMPDEST
00000264: POP
00000265: PUSH2 0x0170
00000268: PUSH2 0x0272
0000026b: CALLDATASIZE
0000026c: PUSH1 0x04
0000026e: PUSH2 0x12f6
00000271: JUMP
00000272: JUMPDEST
00000273: PUSH2 0x06ef
00000276: JUMP
00000277: JUMPDEST
00000278: CALLVALUE
00000279: DUP1
0000027a: ISZERO
0000027b: PUSH2 0x0283
0000027e: JUMPI
0000027f: PUSH1 0x00
00000281: DUP1
00000282: REVERT
00000283: JUMPDEST
00000284: POP
00000285: PUSH1 0x04
00000287: SLOAD
00000288: PUSH2 0x01e0
0000028b: SWAP1
0000028c: PUSH1 0x01
0000028e: PUSH1 0x01
00000290: PUSH1 0xa0
00000292: SHL
00000293: SUB
00000294: AND
00000295: DUP2
00000296: JUMP
00000297: JUMPDEST
00000298: CALLVALUE
00000299: DUP1
0000029a: ISZERO
0000029b: PUSH2 0x02a3
0000029e: JUMPI
0000029f: PUSH1 0x00
000002a1: DUP1
000002a2: REVERT
000002a3: JUMPDEST
000002a4: POP
000002a5: PUSH2 0x01e0
000002a8: PUSH2 0x0787
000002ab: JUMP
000002ac: JUMPDEST
000002ad: CALLVALUE
000002ae: DUP1
000002af: ISZERO
000002b0: PUSH2 0x02b8
000002b3: JUMPI
000002b4: PUSH1 0x00
000002b6: DUP1
000002b7: REVERT
000002b8: JUMPDEST
000002b9: POP
000002ba: PUSH2 0x0170
000002bd: PUSH2 0x07cc
000002c0: JUMP
000002c1: JUMPDEST
000002c2: CALLVALUE
000002c3: DUP1
000002c4: ISZERO
000002c5: PUSH2 0x02cd
000002c8: JUMPI
000002c9: PUSH1 0x00
000002cb: DUP1
000002cc: REVERT
000002cd: JUMPDEST
000002ce: POP
000002cf: PUSH2 0x0170
000002d2: PUSH2 0x02dc
000002d5: CALLDATASIZE
000002d6: PUSH1 0x04
000002d8: PUSH2 0x12c5
000002db: JUMP
000002dc: JUMPDEST
000002dd: PUSH2 0x085d
000002e0: JUMP
000002e1: JUMPDEST
000002e2: CALLVALUE
000002e3: DUP1
000002e4: ISZERO
000002e5: PUSH2 0x02ed
000002e8: JUMPI
000002e9: PUSH1 0x00
000002eb: DUP1
000002ec: REVERT
000002ed: JUMPDEST
000002ee: POP
000002ef: PUSH2 0x02f6
000002f2: PUSH2 0x08f1
000002f5: JUMP
000002f6: JUMPDEST
000002f7: PUSH1 0x40
000002f9: DUP1
000002fa: MLOAD
000002fb: SWAP3
000002fc: DUP4
000002fd: MSTORE
000002fe: PUSH1 0x20
00000300: DUP4
00000301: ADD
00000302: SWAP2
00000303: SWAP1
00000304: SWAP2
00000305: MSTORE
00000306: ADD
00000307: PUSH2 0x01b7
0000030a: JUMP
0000030b: JUMPDEST
0000030c: CALLVALUE
0000030d: DUP1
0000030e: ISZERO
0000030f: PUSH2 0x0317
00000312: JUMPI
00000313: PUSH1 0x00
00000315: DUP1
00000316: REVERT
00000317: JUMPDEST
00000318: POP
00000319: PUSH2 0x0170
0000031c: PUSH2 0x0326
0000031f: CALLDATASIZE
00000320: PUSH1 0x04
00000322: PUSH2 0x12f6
00000325: JUMP
00000326: JUMPDEST
00000327: PUSH2 0x0990
0000032a: JUMP
0000032b: JUMPDEST
0000032c: CALLVALUE
0000032d: DUP1
0000032e: ISZERO
0000032f: PUSH2 0x0337
00000332: JUMPI
00000333: PUSH1 0x00
00000335: DUP1
00000336: REVERT
00000337: JUMPDEST
00000338: POP
00000339: PUSH1 0x08
0000033b: SLOAD
0000033c: PUSH1 0x09
0000033e: SLOAD
0000033f: PUSH2 0x02f6
00000342: SWAP2
00000343: SWAP1
00000344: DUP3
00000345: JUMP
00000346: JUMPDEST
00000347: CALLVALUE
00000348: DUP1
00000349: ISZERO
0000034a: PUSH2 0x0352
0000034d: JUMPI
0000034e: PUSH1 0x00
00000350: DUP1
00000351: REVERT
00000352: JUMPDEST
00000353: POP
00000354: PUSH2 0x0170
00000357: PUSH2 0x0361
0000035a: CALLDATASIZE
0000035b: PUSH1 0x04
0000035d: PUSH2 0x12c5
00000360: JUMP
00000361: JUMPDEST
00000362: PUSH2 0x0a28
00000365: JUMP
00000366: JUMPDEST
00000367: CALLVALUE
00000368: DUP1
00000369: ISZERO
0000036a: PUSH2 0x0372
0000036d: JUMPI
0000036e: PUSH1 0x00
00000370: DUP1
00000371: REVERT
00000372: JUMPDEST
00000373: POP
00000374: PUSH2 0x01e0
00000377: PUSH2 0x0a82
0000037a: JUMP
0000037b: JUMPDEST
0000037c: CALLVALUE
0000037d: DUP1
0000037e: ISZERO
0000037f: PUSH2 0x0387
00000382: JUMPI
00000383: PUSH1 0x00
00000385: DUP1
00000386: REVERT
00000387: JUMPDEST
00000388: POP
00000389: PUSH1 0x05
0000038b: SLOAD
0000038c: PUSH2 0x01e0
0000038f: SWAP1
00000390: PUSH1 0x01
00000392: PUSH1 0x01
00000394: PUSH1 0xa0
00000396: SHL
00000397: SUB
00000398: AND
00000399: DUP2
0000039a: JUMP
0000039b: JUMPDEST
0000039c: CALLVALUE
0000039d: DUP1
0000039e: ISZERO
0000039f: PUSH2 0x03a7
000003a2: JUMPI
000003a3: PUSH1 0x00
000003a5: DUP1
000003a6: REVERT
000003a7: JUMPDEST
000003a8: POP
000003a9: PUSH1 0x01
000003ab: SLOAD
000003ac: PUSH2 0x019c
000003af: SWAP1
000003b0: PUSH1 0xff
000003b2: DUP2
000003b3: AND
000003b4: SWAP1
000003b5: PUSH2 0x0100
000003b8: SWAP1
000003b9: DIV
000003ba: PUSH1 0x01
000003bc: PUSH1 0x01
000003be: PUSH1 0xa0
000003c0: SHL
000003c1: SUB
000003c2: AND
000003c3: DUP3
000003c4: JUMP
000003c5: JUMPDEST
000003c6: CALLVALUE
000003c7: DUP1
000003c8: ISZERO
000003c9: PUSH2 0x03d1
000003cc: JUMPI
000003cd: PUSH1 0x00
000003cf: DUP1
000003d0: REVERT
000003d1: JUMPDEST
000003d2: POP
000003d3: PUSH2 0x0170
000003d6: PUSH2 0x03e0
000003d9: CALLDATASIZE
000003da: PUSH1 0x04
000003dc: PUSH2 0x1367
000003df: JUMP
000003e0: JUMPDEST
000003e1: PUSH2 0x0ac7
000003e4: JUMP
000003e5: JUMPDEST
000003e6: CALLVALUE
000003e7: DUP1
000003e8: ISZERO
000003e9: PUSH2 0x03f1
000003ec: JUMPI
000003ed: PUSH1 0x00
000003ef: DUP1
000003f0: REVERT
000003f1: JUMPDEST
000003f2: POP
000003f3: PUSH2 0x0170
000003f6: PUSH2 0x0400
000003f9: CALLDATASIZE
000003fa: PUSH1 0x04
000003fc: PUSH2 0x12f6
000003ff: JUMP
00000400: JUMPDEST
00000401: PUSH2 0x0b5e
00000404: JUMP
00000405: JUMPDEST
00000406: CALLVALUE
00000407: DUP1
00000408: ISZERO
00000409: PUSH2 0x0411
0000040c: JUMPI
0000040d: PUSH1 0x00
0000040f: DUP1
00000410: REVERT
00000411: JUMPDEST
00000412: POP
00000413: PUSH1 0x07
00000415: SLOAD
00000416: PUSH2 0x01e0
00000419: SWAP1
0000041a: PUSH1 0x01
0000041c: PUSH1 0x01
0000041e: PUSH1 0xa0
00000420: SHL
00000421: SUB
00000422: AND
00000423: DUP2
00000424: JUMP
00000425: JUMPDEST
00000426: CALLVALUE
00000427: DUP1
00000428: ISZERO
00000429: PUSH2 0x0431
0000042c: JUMPI
0000042d: PUSH1 0x00
0000042f: DUP1
00000430: REVERT
00000431: JUMPDEST
00000432: POP
00000433: PUSH1 0x02
00000435: SLOAD
00000436: PUSH2 0x01e0
00000439: SWAP1
0000043a: PUSH1 0x01
0000043c: PUSH1 0x01
0000043e: PUSH1 0xa0
00000440: SHL
00000441: SUB
00000442: AND
00000443: DUP2
00000444: JUMP
00000445: JUMPDEST
00000446: PUSH2 0x044d
00000449: PUSH2 0x0787
0000044c: JUMP
0000044d: JUMPDEST
0000044e: PUSH1 0x01
00000450: PUSH1 0x01
00000452: PUSH1 0xa0
00000454: SHL
00000455: SUB
00000456: AND
00000457: CALLER
00000458: PUSH1 0x01
0000045a: PUSH1 0x01
0000045c: PUSH1 0xa0
0000045e: SHL
0000045f: SUB
00000460: AND
00000461: EQ
00000462: PUSH2 0x0486
00000465: JUMPI
00000466: PUSH1 0x40
00000468: MLOAD
00000469: PUSH3 0x461bcd
0000046d: PUSH1 0xe5
0000046f: SHL
00000470: DUP2
00000471: MSTORE
00000472: PUSH1 0x04
00000474: ADD
00000475: PUSH2 0x047d
00000478: SWAP1
00000479: PUSH2 0x1380
0000047c: JUMP
0000047d: JUMPDEST
0000047e: PUSH1 0x40
00000480: MLOAD
00000481: DUP1
00000482: SWAP2
00000483: SUB
00000484: SWAP1
00000485: REVERT
00000486: JUMPDEST
00000487: DUP1
00000488: PUSH1 0x01
0000048a: PUSH1 0x01
0000048c: PUSH1 0xa0
0000048e: SHL
0000048f: SUB
00000490: AND
00000491: PUSH4 0xa9059cbb
00000496: PUSH2 0x049d
00000499: PUSH2 0x0787
0000049c: JUMP
0000049d: JUMPDEST
0000049e: PUSH1 0x40
000004a0: MLOAD
000004a1: PUSH4 0x70a08231
000004a6: PUSH1 0xe0
000004a8: SHL
000004a9: DUP2
000004aa: MSTORE
000004ab: PUSH1 0x01
000004ad: PUSH1 0x01
000004af: PUSH1 0xa0
000004b1: SHL
000004b2: SUB
000004b3: DUP6
000004b4: AND
000004b5: SWAP1
000004b6: PUSH4 0x70a08231
000004bb: SWAP1
000004bc: PUSH2 0x04c9
000004bf: SWAP1
000004c0: ADDRESS
000004c1: SWAP1
000004c2: PUSH1 0x04
000004c4: ADD
000004c5: PUSH2 0x12e2
000004c8: JUMP
000004c9: JUMPDEST
000004ca: PUSH1 0x20
000004cc: PUSH1 0x40
000004ce: MLOAD
000004cf: DUP1
000004d0: DUP4
000004d1: SUB
000004d2: DUP2
000004d3: DUP7
000004d4: DUP1
000004d5: EXTCODESIZE
000004d6: ISZERO
000004d7: DUP1
000004d8: ISZERO
000004d9: PUSH2 0x04e1
000004dc: JUMPI
000004dd: PUSH1 0x00
000004df: DUP1
000004e0: REVERT
000004e1: JUMPDEST
000004e2: POP
000004e3: GAS
000004e4: STATICCALL
000004e5: ISZERO
000004e6: DUP1
000004e7: ISZERO
000004e8: PUSH2 0x04f5
000004eb: JUMPI
000004ec: RETURNDATASIZE
000004ed: PUSH1 0x00
000004ef: DUP1
000004f0: RETURNDATACOPY
000004f1: RETURNDATASIZE
000004f2: PUSH1 0x00
000004f4: REVERT
000004f5: JUMPDEST
000004f6: POP
000004f7: POP
000004f8: POP
000004f9: POP
000004fa: PUSH1 0x40
000004fc: MLOAD
000004fd: RETURNDATASIZE
000004fe: PUSH1 0x1f
00000500: NOT
00000501: PUSH1 0x1f
00000503: DUP3
00000504: ADD
00000505: AND
00000506: DUP3
00000507: ADD
00000508: DUP1
00000509: PUSH1 0x40
0000050b: MSTORE
0000050c: POP
0000050d: DUP2
0000050e: ADD
0000050f: SWAP1
00000510: PUSH2 0x0519
00000513: SWAP2
00000514: SWAP1
00000515: PUSH2 0x13a2
00000518: JUMP
00000519: JUMPDEST
0000051a: PUSH1 0x40
0000051c: MLOAD
0000051d: PUSH1 0x01
0000051f: PUSH1 0x01
00000521: PUSH1 0xe0
00000523: SHL
00000524: SUB
00000525: NOT
00000526: PUSH1 0xe0
00000528: DUP6
00000529: SWAP1
0000052a: SHL
0000052b: AND
0000052c: DUP2
0000052d: MSTORE
0000052e: PUSH1 0x01
00000530: PUSH1 0x01
00000532: PUSH1 0xa0
00000534: SHL
00000535: SUB
00000536: SWAP1
00000537: SWAP3
00000538: AND
00000539: PUSH1 0x04
0000053b: DUP4
0000053c: ADD
0000053d: MSTORE
0000053e: PUSH1 0x24
00000540: DUP3
00000541: ADD
00000542: MSTORE
00000543: PUSH1 0x44
00000545: ADD
00000546: PUSH1 0x20
00000548: PUSH1 0x40
0000054a: MLOAD
0000054b: DUP1
0000054c: DUP4
0000054d: SUB
0000054e: DUP2
0000054f: PUSH1 0x00
00000551: DUP8
00000552: DUP1
00000553: EXTCODESIZE
00000554: ISZERO
00000555: DUP1
00000556: ISZERO
00000557: PUSH2 0x055f
0000055a: JUMPI
0000055b: PUSH1 0x00
0000055d: DUP1
0000055e: REVERT
0000055f: JUMPDEST
00000560: POP
00000561: GAS
00000562: CALL
00000563: ISZERO
00000564: DUP1
00000565: ISZERO
00000566: PUSH2 0x0573
00000569: JUMPI
0000056a: RETURNDATASIZE
0000056b: PUSH1 0x00
0000056d: DUP1
0000056e: RETURNDATACOPY
0000056f: RETURNDATASIZE
00000570: PUSH1 0x00
00000572: REVERT
00000573: JUMPDEST
00000574: POP
00000575: POP
00000576: POP
00000577: POP
00000578: PUSH1 0x40
0000057a: MLOAD
0000057b: RETURNDATASIZE
0000057c: PUSH1 0x1f
0000057e: NOT
0000057f: PUSH1 0x1f
00000581: DUP3
00000582: ADD
00000583: AND
00000584: DUP3
00000585: ADD
00000586: DUP1
00000587: PUSH1 0x40
00000589: MSTORE
0000058a: POP
0000058b: DUP2
0000058c: ADD
0000058d: SWAP1
0000058e: PUSH2 0x0597
00000591: SWAP2
00000592: SWAP1
00000593: PUSH2 0x13c9
00000596: JUMP
00000597: JUMPDEST
00000598: POP
00000599: POP
0000059a: JUMP
0000059b: JUMPDEST
0000059c: PUSH2 0x05a3
0000059f: PUSH2 0x0a82
000005a2: JUMP
000005a3: JUMPDEST
000005a4: PUSH1 0x01
000005a6: PUSH1 0x01
000005a8: PUSH1 0xa0
000005aa: SHL
000005ab: SUB
000005ac: AND
000005ad: CALLER
000005ae: PUSH1 0x01
000005b0: PUSH1 0x01
000005b2: PUSH1 0xa0
000005b4: SHL
000005b5: SUB
000005b6: AND
000005b7: EQ
000005b8: PUSH2 0x05d3
000005bb: JUMPI
000005bc: PUSH1 0x40
000005be: MLOAD
000005bf: PUSH3 0x461bcd
000005c3: PUSH1 0xe5
000005c5: SHL
000005c6: DUP2
000005c7: MSTORE
000005c8: PUSH1 0x04
000005ca: ADD
000005cb: PUSH2 0x047d
000005ce: SWAP1
000005cf: PUSH2 0x13e6
000005d2: JUMP
000005d3: JUMPDEST
000005d4: PUSH1 0x00
000005d6: SLOAD
000005d7: PUSH1 0xff
000005d9: AND
000005da: PUSH2 0x0619
000005dd: JUMPI
000005de: PUSH1 0x40
000005e0: MLOAD
000005e1: PUSH3 0x461bcd
000005e5: PUSH1 0xe5
000005e7: SHL
000005e8: DUP2
000005e9: MSTORE
000005ea: PUSH1 0x20
000005ec: PUSH1 0x04
000005ee: DUP3
000005ef: ADD
000005f0: MSTORE
000005f1: PUSH1 0x11
000005f3: PUSH1 0x24
000005f5: DUP3
000005f6: ADD
000005f7: MSTORE
000005f8: PUSH17 0x11115413d4d25517d0d3d3541311551151
0000060a: PUSH1 0x7a
0000060c: SHL
0000060d: PUSH1 0x44
0000060f: DUP3
00000610: ADD
00000611: MSTORE
00000612: PUSH1 0x64
00000614: ADD
00000615: PUSH2 0x047d
00000618: JUMP
00000619: JUMPDEST
0000061a: PUSH1 0x00
0000061c: DUP1
0000061d: SLOAD
0000061e: PUSH1 0xff
00000620: NOT
00000621: AND
00000622: SWAP1
00000623: SSTORE
00000624: PUSH2 0x0629
00000627: DUP1
00000628: JUMP
00000629: JUMPDEST
0000062a: JUMP
0000062b: JUMPDEST
0000062c: PUSH1 0x02
0000062e: SLOAD
0000062f: PUSH1 0x40
00000631: DUP1
00000632: MLOAD
00000633: PUSH4 0x01a47c09
00000638: PUSH1 0xe7
0000063a: SHL
0000063b: DUP2
0000063c: MSTORE
0000063d: SWAP1
0000063e: MLOAD
0000063f: PUSH1 0x00
00000641: SWAP3
00000642: PUSH1 0x01
00000644: PUSH1 0x01
00000646: PUSH1 0xa0
00000648: SHL
00000649: SUB
0000064a: AND
0000064b: SWAP2
0000064c: PUSH4 0xd23e0480
00000651: SWAP2
00000652: PUSH1 0x04
00000654: DUP1
00000655: DUP4
00000656: ADD
00000657: SWAP3
00000658: PUSH1 0x20
0000065a: SWAP3
0000065b: SWAP2
0000065c: SWAP1
0000065d: DUP3
0000065e: SWAP1
0000065f: SUB
00000660: ADD
00000661: DUP2
00000662: DUP7
00000663: DUP1
00000664: EXTCODESIZE
00000665: ISZERO
00000666: DUP1
00000667: ISZERO
00000668: PUSH2 0x0670
0000066b: JUMPI
0000066c: PUSH1 0x00
0000066e: DUP1
0000066f: REVERT
00000670: JUMPDEST
00000671: POP
00000672: GAS
00000673: STATICCALL
00000674: ISZERO
00000675: DUP1
00000676: ISZERO
00000677: PUSH2 0x0684
0000067a: JUMPI
0000067b: RETURNDATASIZE
0000067c: PUSH1 0x00
0000067e: DUP1
0000067f: RETURNDATACOPY
00000680: RETURNDATASIZE
00000681: PUSH1 0x00
00000683: REVERT
00000684: JUMPDEST
00000685: POP
00000686: POP
00000687: POP
00000688: POP
00000689: PUSH1 0x40
0000068b: MLOAD
0000068c: RETURNDATASIZE
0000068d: PUSH1 0x1f
0000068f: NOT
00000690: PUSH1 0x1f
00000692: DUP3
00000693: ADD
00000694: AND
00000695: DUP3
00000696: ADD
00000697: DUP1
00000698: PUSH1 0x40
0000069a: MSTORE
0000069b: POP
0000069c: DUP2
0000069d: ADD
0000069e: SWAP1
0000069f: PUSH2 0x06a8
000006a2: SWAP2
000006a3: SWAP1
000006a4: PUSH2 0x140b
000006a7: JUMP
000006a8: JUMPDEST
000006a9: SWAP1
000006aa: POP
000006ab: SWAP1
000006ac: JUMP
000006ad: JUMPDEST
000006ae: PUSH2 0x06b5
000006b1: PUSH2 0x0a82
000006b4: JUMP
000006b5: JUMPDEST
000006b6: PUSH1 0x01
000006b8: PUSH1 0x01
000006ba: PUSH1 0xa0
000006bc: SHL
000006bd: SUB
000006be: AND
000006bf: CALLER
000006c0: PUSH1 0x01
000006c2: PUSH1 0x01
000006c4: PUSH1 0xa0
000006c6: SHL
000006c7: SUB
000006c8: AND
000006c9: EQ
000006ca: PUSH2 0x06e5
000006cd: JUMPI
000006ce: PUSH1 0x40
000006d0: MLOAD
000006d1: PUSH3 0x461bcd
000006d5: PUSH1 0xe5
000006d7: SHL
000006d8: DUP2
000006d9: MSTORE
000006da: PUSH1 0x04
000006dc: ADD
000006dd: PUSH2 0x047d
000006e0: SWAP1
000006e1: PUSH2 0x13e6
000006e4: JUMP
000006e5: JUMPDEST
000006e6: PUSH2 0x0597
000006e9: DUP3
000006ea: DUP3
000006eb: PUSH2 0x0ba0
000006ee: JUMP
000006ef: JUMPDEST
000006f0: PUSH2 0x06f7
000006f3: PUSH2 0x0a82
000006f6: JUMP
000006f7: JUMPDEST
000006f8: PUSH1 0x01
000006fa: PUSH1 0x01
000006fc: PUSH1 0xa0
000006fe: SHL
000006ff: SUB
00000700: AND
00000701: CALLER
00000702: PUSH1 0x01
00000704: PUSH1 0x01
00000706: PUSH1 0xa0
00000708: SHL
00000709: SUB
0000070a: AND
0000070b: EQ
0000070c: PUSH2 0x0727
0000070f: JUMPI
00000710: PUSH1 0x40
00000712: MLOAD
00000713: PUSH3 0x461bcd
00000717: PUSH1 0xe5
00000719: SHL
0000071a: DUP2
0000071b: MSTORE
0000071c: PUSH1 0x04
0000071e: ADD
0000071f: PUSH2 0x047d
00000722: SWAP1
00000723: PUSH2 0x13e6
00000726: JUMP
00000727: JUMPDEST
00000728: PUSH1 0x01
0000072a: SLOAD
0000072b: PUSH1 0xff
0000072d: AND
0000072e: ISZERO
0000072f: PUSH2 0x0771
00000732: JUMPI
00000733: PUSH1 0x40
00000735: MLOAD
00000736: PUSH3 0x461bcd
0000073a: PUSH1 0xe5
0000073c: SHL
0000073d: DUP2
0000073e: MSTORE
0000073f: PUSH1 0x20
00000741: PUSH1 0x04
00000743: DUP3
00000744: ADD
00000745: MSTORE
00000746: PUSH1 0x14
00000748: PUSH1 0x24
0000074a: DUP3
0000074b: ADD
0000074c: MSTORE
0000074d: PUSH20 0x57495448445241575f494e5f50524f4752455353
00000762: PUSH1 0x60
00000764: SHL
00000765: PUSH1 0x44
00000767: DUP3
00000768: ADD
00000769: MSTORE
0000076a: PUSH1 0x64
0000076c: ADD
0000076d: PUSH2 0x047d
00000770: JUMP
00000771: JUMPDEST
00000772: PUSH1 0x01
00000774: DUP1
00000775: SLOAD
00000776: PUSH1 0xff
00000778: NOT
00000779: AND
0000077a: DUP2
0000077b: OR
0000077c: SWAP1
0000077d: SSTORE
0000077e: PUSH2 0x0597
00000781: DUP3
00000782: DUP3
00000783: PUSH2 0x0c29
00000786: JUMP
00000787: JUMPDEST
00000788: PUSH1 0x02
0000078a: SLOAD
0000078b: PUSH1 0x40
0000078d: DUP1
0000078e: MLOAD
0000078f: PUSH4 0x5aa6e675
00000794: PUSH1 0xe0
00000796: SHL
00000797: DUP2
00000798: MSTORE
00000799: SWAP1
0000079a: MLOAD
0000079b: PUSH1 0x00
0000079d: SWAP3
0000079e: PUSH1 0x01
000007a0: PUSH1 0x01
000007a2: PUSH1 0xa0
000007a4: SHL
000007a5: SUB
000007a6: AND
000007a7: SWAP2
000007a8: PUSH4 0x5aa6e675
000007ad: SWAP2
000007ae: PUSH1 0x04
000007b0: DUP1
000007b1: DUP4
000007b2: ADD
000007b3: SWAP3
000007b4: PUSH1 0x20
000007b6: SWAP3
000007b7: SWAP2
000007b8: SWAP1
000007b9: DUP3
000007ba: SWAP1
000007bb: SUB
000007bc: ADD
000007bd: DUP2
000007be: DUP7
000007bf: DUP1
000007c0: EXTCODESIZE
000007c1: ISZERO
000007c2: DUP1
000007c3: ISZERO
000007c4: PUSH2 0x0670
000007c7: JUMPI
000007c8: PUSH1 0x00
000007ca: DUP1
000007cb: REVERT
000007cc: JUMPDEST
000007cd: PUSH2 0x07d4
000007d0: PUSH2 0x0a82
000007d3: JUMP
000007d4: JUMPDEST
000007d5: PUSH1 0x01
000007d7: PUSH1 0x01
000007d9: PUSH1 0xa0
000007db: SHL
000007dc: SUB
000007dd: AND
000007de: CALLER
000007df: PUSH1 0x01
000007e1: PUSH1 0x01
000007e3: PUSH1 0xa0
000007e5: SHL
000007e6: SUB
000007e7: AND
000007e8: EQ
000007e9: PUSH2 0x0804
000007ec: JUMPI
000007ed: PUSH1 0x40
000007ef: MLOAD
000007f0: PUSH3 0x461bcd
000007f4: PUSH1 0xe5
000007f6: SHL
000007f7: DUP2
000007f8: MSTORE
000007f9: PUSH1 0x04
000007fb: ADD
000007fc: PUSH2 0x047d
000007ff: SWAP1
00000800: PUSH2 0x13e6
00000803: JUMP
00000804: JUMPDEST
00000805: PUSH1 0x01
00000807: SLOAD
00000808: PUSH1 0xff
0000080a: AND
0000080b: PUSH2 0x084b
0000080e: JUMPI
0000080f: PUSH1 0x40
00000811: MLOAD
00000812: PUSH3 0x461bcd
00000816: PUSH1 0xe5
00000818: SHL
00000819: DUP2
0000081a: MSTORE
0000081b: PUSH1 0x20
0000081d: PUSH1 0x04
0000081f: DUP3
00000820: ADD
00000821: MSTORE
00000822: PUSH1 0x12
00000824: PUSH1 0x24
00000826: DUP3
00000827: ADD
00000828: MSTORE
00000829: PUSH18 0x15d2551211149055d7d0d3d3541311551151
0000083c: PUSH1 0x72
0000083e: SHL
0000083f: PUSH1 0x44
00000841: DUP3
00000842: ADD
00000843: MSTORE
00000844: PUSH1 0x64
00000846: ADD
00000847: PUSH2 0x047d
0000084a: JUMP
0000084b: JUMPDEST
0000084c: PUSH1 0x01
0000084e: DUP1
0000084f: SLOAD
00000850: PUSH1 0xff
00000852: NOT
00000853: AND
00000854: SWAP1
00000855: SSTORE
00000856: PUSH2 0x0629
00000859: PUSH2 0x0c33
0000085c: JUMP
0000085d: JUMPDEST
0000085e: PUSH2 0x0865
00000861: PUSH2 0x0787
00000864: JUMP
00000865: JUMPDEST
00000866: PUSH1 0x01
00000868: PUSH1 0x01
0000086a: PUSH1 0xa0
0000086c: SHL
0000086d: SUB
0000086e: AND
0000086f: CALLER
00000870: PUSH1 0x01
00000872: PUSH1 0x01
00000874: PUSH1 0xa0
00000876: SHL
00000877: SUB
00000878: AND
00000879: EQ
0000087a: PUSH2 0x0895
0000087d: JUMPI
0000087e: PUSH1 0x40
00000880: MLOAD
00000881: PUSH3 0x461bcd
00000885: PUSH1 0xe5
00000887: SHL
00000888: DUP2
00000889: MSTORE
0000088a: PUSH1 0x04
0000088c: ADD
0000088d: PUSH2 0x047d
00000890: SWAP1
00000891: PUSH2 0x1380
00000894: JUMP
00000895: JUMPDEST
00000896: PUSH1 0x07
00000898: SLOAD
00000899: PUSH1 0x40
0000089b: MLOAD
0000089c: PUSH1 0x01
0000089e: PUSH1 0x01
000008a0: PUSH1 0xa0
000008a2: SHL
000008a3: SUB
000008a4: DUP1
000008a5: DUP5
000008a6: AND
000008a7: SWAP3
000008a8: AND
000008a9: SWAP1
000008aa: PUSH32 0xd38cd7a28764cf6ebbaf7ee1ccf8f3b825cfbd5d1b1cd08af390afc71d309dcc
000008cb: SWAP1
000008cc: PUSH1 0x00
000008ce: SWAP1
000008cf: LOG3
000008d0: PUSH1 0x07
000008d2: DUP1
000008d3: SLOAD
000008d4: PUSH1 0x01
000008d6: PUSH1 0x01
000008d8: PUSH1 0xa0
000008da: SHL
000008db: SUB
000008dc: NOT
000008dd: AND
000008de: PUSH1 0x01
000008e0: PUSH1 0x01
000008e2: PUSH1 0xa0
000008e4: SHL
000008e5: SUB
000008e6: SWAP3
000008e7: SWAP1
000008e8: SWAP3
000008e9: AND
000008ea: SWAP2
000008eb: SWAP1
000008ec: SWAP2
000008ed: OR
000008ee: SWAP1
000008ef: SSTORE
000008f0: JUMP
000008f1: JUMPDEST
000008f2: PUSH1 0x00
000008f4: DUP1
000008f5: PUSH2 0x08fc
000008f8: PUSH2 0x062b
000008fb: JUMP
000008fc: JUMPDEST
000008fd: PUSH1 0x01
000008ff: PUSH1 0x01
00000901: PUSH1 0xa0
00000903: SHL
00000904: SUB
00000905: AND
00000906: PUSH4 0x70a08231
0000090b: ADDRESS
0000090c: PUSH1 0x40
0000090e: MLOAD
0000090f: DUP3
00000910: PUSH4 0xffffffff
00000915: AND
00000916: PUSH1 0xe0
00000918: SHL
00000919: DUP2
0000091a: MSTORE
0000091b: PUSH1 0x04
0000091d: ADD
0000091e: PUSH2 0x0927
00000921: SWAP2
00000922: SWAP1
00000923: PUSH2 0x12e2
00000926: JUMP
00000927: JUMPDEST
00000928: PUSH1 0x20
0000092a: PUSH1 0x40
0000092c: MLOAD
0000092d: DUP1
0000092e: DUP4
0000092f: SUB
00000930: DUP2
00000931: DUP7
00000932: DUP1
00000933: EXTCODESIZE
00000934: ISZERO
00000935: DUP1
00000936: ISZERO
00000937: PUSH2 0x093f
0000093a: JUMPI
0000093b: PUSH1 0x00
0000093d: DUP1
0000093e: REVERT
0000093f: JUMPDEST
00000940: POP
00000941: GAS
00000942: STATICCALL
00000943: ISZERO
00000944: DUP1
00000945: ISZERO
00000946: PUSH2 0x0953
00000949: JUMPI
0000094a: RETURNDATASIZE
0000094b: PUSH1 0x00
0000094d: DUP1
0000094e: RETURNDATACOPY
0000094f: RETURNDATASIZE
00000950: PUSH1 0x00
00000952: REVERT
00000953: JUMPDEST
00000954: POP
00000955: POP
00000956: POP
00000957: POP
00000958: PUSH1 0x40
0000095a: MLOAD
0000095b: RETURNDATASIZE
0000095c: PUSH1 0x1f
0000095e: NOT
0000095f: PUSH1 0x1f
00000961: DUP3
00000962: ADD
00000963: AND
00000964: DUP3
00000965: ADD
00000966: DUP1
00000967: PUSH1 0x40
00000969: MSTORE
0000096a: POP
0000096b: DUP2
0000096c: ADD
0000096d: SWAP1
0000096e: PUSH2 0x0977
00000971: SWAP2
00000972: SWAP1
00000973: PUSH2 0x13a2
00000976: JUMP
00000977: JUMPDEST
00000978: PUSH1 0x08
0000097a: SLOAD
0000097b: PUSH2 0x0984
0000097e: SWAP2
0000097f: SWAP1
00000980: PUSH2 0x143e
00000983: JUMP
00000984: JUMPDEST
00000985: PUSH1 0x09
00000987: SLOAD
00000988: SWAP1
00000989: SWAP4
0000098a: SWAP1
0000098b: SWAP3
0000098c: POP
0000098d: SWAP1
0000098e: POP
0000098f: JUMP
00000990: JUMPDEST
00000991: PUSH2 0x0998
00000994: PUSH2 0x0a82
00000997: JUMP
00000998: JUMPDEST
00000999: PUSH1 0x01
0000099b: PUSH1 0x01
0000099d: PUSH1 0xa0
0000099f: SHL
000009a0: SUB
000009a1: AND
000009a2: CALLER
000009a3: PUSH1 0x01
000009a5: PUSH1 0x01
000009a7: PUSH1 0xa0
000009a9: SHL
000009aa: SUB
000009ab: AND
000009ac: EQ
000009ad: PUSH2 0x09c8
000009b0: JUMPI
000009b1: PUSH1 0x40
000009b3: MLOAD
000009b4: PUSH3 0x461bcd
000009b8: PUSH1 0xe5
000009ba: SHL
000009bb: DUP2
000009bc: MSTORE
000009bd: PUSH1 0x04
000009bf: ADD
000009c0: PUSH2 0x047d
000009c3: SWAP1
000009c4: PUSH2 0x13e6
000009c7: JUMP
000009c8: JUMPDEST
000009c9: PUSH1 0x00
000009cb: SLOAD
000009cc: PUSH1 0xff
000009ce: AND
000009cf: ISZERO
000009d0: PUSH2 0x0a11
000009d3: JUMPI
000009d4: PUSH1 0x40
000009d6: MLOAD
000009d7: PUSH3 0x461bcd
000009db: PUSH1 0xe5
000009dd: SHL
000009de: DUP2
000009df: MSTORE
000009e0: PUSH1 0x20
000009e2: PUSH1 0x04
000009e4: DUP3
000009e5: ADD
000009e6: MSTORE
000009e7: PUSH1 0x13
000009e9: PUSH1 0x24
000009eb: DUP3
000009ec: ADD
000009ed: MSTORE
000009ee: PUSH19 0x4445504f5349545f494e5f50524f4752455353
00000a02: PUSH1 0x68
00000a04: SHL
00000a05: PUSH1 0x44
00000a07: DUP3
00000a08: ADD
00000a09: MSTORE
00000a0a: PUSH1 0x64
00000a0c: ADD
00000a0d: PUSH2 0x047d
00000a10: JUMP
00000a11: JUMPDEST
00000a12: PUSH1 0x00
00000a14: DUP1
00000a15: SLOAD
00000a16: PUSH1 0xff
00000a18: NOT
00000a19: AND
00000a1a: PUSH1 0x01
00000a1c: OR
00000a1d: SWAP1
00000a1e: SSTORE
00000a1f: PUSH2 0x0597
00000a22: DUP3
00000a23: DUP3
00000a24: PUSH2 0x0c99
00000a27: JUMP
00000a28: JUMPDEST
00000a29: PUSH2 0x0a30
00000a2c: PUSH2 0x0787
00000a2f: JUMP
00000a30: JUMPDEST
00000a31: PUSH1 0x01
00000a33: PUSH1 0x01
00000a35: PUSH1 0xa0
00000a37: SHL
00000a38: SUB
00000a39: AND
00000a3a: CALLER
00000a3b: PUSH1 0x01
00000a3d: PUSH1 0x01
00000a3f: PUSH1 0xa0
00000a41: SHL
00000a42: SUB
00000a43: AND
00000a44: EQ
00000a45: PUSH2 0x0a60
00000a48: JUMPI
00000a49: PUSH1 0x40
00000a4b: MLOAD
00000a4c: PUSH3 0x461bcd
00000a50: PUSH1 0xe5
00000a52: SHL
00000a53: DUP2
00000a54: MSTORE
00000a55: PUSH1 0x04
00000a57: ADD
00000a58: PUSH2 0x047d
00000a5b: SWAP1
00000a5c: PUSH2 0x1380
00000a5f: JUMP
00000a60: JUMPDEST
00000a61: PUSH1 0x06
00000a63: DUP1
00000a64: SLOAD
00000a65: PUSH1 0x01
00000a67: PUSH1 0x01
00000a69: PUSH1 0xa0
00000a6b: SHL
00000a6c: SUB
00000a6d: NOT
00000a6e: AND
00000a6f: PUSH1 0x01
00000a71: PUSH1 0x01
00000a73: PUSH1 0xa0
00000a75: SHL
00000a76: SUB
00000a77: SWAP3
00000a78: SWAP1
00000a79: SWAP3
00000a7a: AND
00000a7b: SWAP2
00000a7c: SWAP1
00000a7d: SWAP2
00000a7e: OR
00000a7f: SWAP1
00000a80: SSTORE
00000a81: JUMP
00000a82: JUMPDEST
00000a83: PUSH1 0x02
00000a85: SLOAD
00000a86: PUSH1 0x40
00000a88: DUP1
00000a89: MLOAD
00000a8a: PUSH4 0xaced1661
00000a8f: PUSH1 0xe0
00000a91: SHL
00000a92: DUP2
00000a93: MSTORE
00000a94: SWAP1
00000a95: MLOAD
00000a96: PUSH1 0x00
00000a98: SWAP3
00000a99: PUSH1 0x01
00000a9b: PUSH1 0x01
00000a9d: PUSH1 0xa0
00000a9f: SHL
00000aa0: SUB
00000aa1: AND
00000aa2: SWAP2
00000aa3: PUSH4 0xaced1661
00000aa8: SWAP2
00000aa9: PUSH1 0x04
00000aab: DUP1
00000aac: DUP4
00000aad: ADD
00000aae: SWAP3
00000aaf: PUSH1 0x20
00000ab1: SWAP3
00000ab2: SWAP2
00000ab3: SWAP1
00000ab4: DUP3
00000ab5: SWAP1
00000ab6: SUB
00000ab7: ADD
00000ab8: DUP2
00000ab9: DUP7
00000aba: DUP1
00000abb: EXTCODESIZE
00000abc: ISZERO
00000abd: DUP1
00000abe: ISZERO
00000abf: PUSH2 0x0670
00000ac2: JUMPI
00000ac3: PUSH1 0x00
00000ac5: DUP1
00000ac6: REVERT
00000ac7: JUMPDEST
00000ac8: PUSH2 0x0acf
00000acb: PUSH2 0x0a82
00000ace: JUMP
00000acf: JUMPDEST
00000ad0: PUSH1 0x01
00000ad2: PUSH1 0x01
00000ad4: PUSH1 0xa0
00000ad6: SHL
00000ad7: SUB
00000ad8: AND
00000ad9: CALLER
00000ada: PUSH1 0x01
00000adc: PUSH1 0x01
00000ade: PUSH1 0xa0
00000ae0: SHL
00000ae1: SUB
00000ae2: AND
00000ae3: EQ
00000ae4: DUP1
00000ae5: PUSH2 0x0b06
00000ae8: JUMPI
00000ae9: POP
00000aea: PUSH2 0x0af1
00000aed: PUSH2 0x0787
00000af0: JUMP
00000af1: JUMPDEST
00000af2: PUSH1 0x01
00000af4: PUSH1 0x01
00000af6: PUSH1 0xa0
00000af8: SHL
00000af9: SUB
00000afa: AND
00000afb: CALLER
00000afc: PUSH1 0x01
00000afe: PUSH1 0x01
00000b00: PUSH1 0xa0
00000b02: SHL
00000b03: SUB
00000b04: AND
00000b05: EQ
00000b06: JUMPDEST
00000b07: PUSH2 0x0b4e
00000b0a: JUMPI
00000b0b: PUSH1 0x40
00000b0d: MLOAD
00000b0e: PUSH3 0x461bcd
00000b12: PUSH1 0xe5
00000b14: SHL
00000b15: DUP2
00000b16: MSTORE
00000b17: PUSH1 0x20
00000b19: PUSH1 0x04
00000b1b: DUP3
00000b1c: ADD
00000b1d: MSTORE
00000b1e: PUSH1 0x19
00000b20: PUSH1 0x24
00000b22: DUP3
00000b23: ADD
00000b24: MSTORE
00000b25: PUSH25 0x4f4e4c595f4b45455045525f4f525f474f5645524e414e4345
00000b3f: PUSH1 0x38
00000b41: SHL
00000b42: PUSH1 0x44
00000b44: DUP3
00000b45: ADD
00000b46: MSTORE
00000b47: PUSH1 0x64
00000b49: ADD
00000b4a: PUSH2 0x047d
00000b4d: JUMP
00000b4e: JUMPDEST
00000b4f: PUSH2 0x0b5b
00000b52: DUP2
00000b53: PUSH1 0x08
00000b55: SSTORE
00000b56: NUMBER
00000b57: PUSH1 0x09
00000b59: SSTORE
00000b5a: JUMP
00000b5b: JUMPDEST
00000b5c: POP
00000b5d: JUMP
00000b5e: JUMPDEST
00000b5f: PUSH2 0x0b66
00000b62: PUSH2 0x0a82
00000b65: JUMP
00000b66: JUMPDEST
00000b67: PUSH1 0x01
00000b69: PUSH1 0x01
00000b6b: PUSH1 0xa0
00000b6d: SHL
00000b6e: SUB
00000b6f: AND
00000b70: CALLER
00000b71: PUSH1 0x01
00000b73: PUSH1 0x01
00000b75: PUSH1 0xa0
00000b77: SHL
00000b78: SUB
00000b79: AND
00000b7a: EQ
00000b7b: PUSH2 0x0b96
00000b7e: JUMPI
00000b7f: PUSH1 0x40
00000b81: MLOAD
00000b82: PUSH3 0x461bcd
00000b86: PUSH1 0xe5
00000b88: SHL
00000b89: DUP2
00000b8a: MSTORE
00000b8b: PUSH1 0x04
00000b8d: ADD
00000b8e: PUSH2 0x047d
00000b91: SWAP1
00000b92: PUSH2 0x13e6
00000b95: JUMP
00000b96: JUMPDEST
00000b97: PUSH2 0x0597
00000b9a: DUP3
00000b9b: DUP3
00000b9c: PUSH2 0x0ca3
00000b9f: JUMP
00000ba0: JUMPDEST
00000ba1: PUSH1 0x00
00000ba3: PUSH2 0x0bae
00000ba6: DUP3
00000ba7: DUP5
00000ba8: ADD
00000ba9: DUP5
00000baa: PUSH2 0x14ff
00000bad: JUMP
00000bae: JUMPDEST
00000baf: DUP1
00000bb0: MLOAD
00000bb1: PUSH1 0x20
00000bb3: DUP1
00000bb4: DUP4
00000bb5: ADD
00000bb6: MLOAD
00000bb7: PUSH1 0x40
00000bb9: DUP1
00000bba: DUP6
00000bbb: ADD
00000bbc: MLOAD
00000bbd: DUP2
00000bbe: MLOAD
00000bbf: PUSH1 0x24
00000bc1: DUP2
00000bc2: ADD
00000bc3: SWAP6
00000bc4: SWAP1
00000bc5: SWAP6
00000bc6: MSTORE
00000bc7: SWAP2
00000bc8: ISZERO
00000bc9: ISZERO
00000bca: PUSH1 0x44
00000bcc: DUP6
00000bcd: ADD
00000bce: MSTORE
00000bcf: PUSH1 0x64
00000bd1: DUP1
00000bd2: DUP6
00000bd3: ADD
00000bd4: SWAP3
00000bd5: SWAP1
00000bd6: SWAP3
00000bd7: MSTORE
00000bd8: DUP1
00000bd9: MLOAD
00000bda: DUP1
00000bdb: DUP6
00000bdc: SUB
00000bdd: SWAP1
00000bde: SWAP3
00000bdf: ADD
00000be0: DUP3
00000be1: MSTORE
00000be2: PUSH1 0x84
00000be4: SWAP1
00000be5: SWAP4
00000be6: ADD
00000be7: SWAP1
00000be8: SWAP3
00000be9: MSTORE
00000bea: DUP2
00000beb: ADD
00000bec: DUP1
00000bed: MLOAD
00000bee: PUSH1 0x01
00000bf0: PUSH1 0x01
00000bf2: PUSH1 0xe0
00000bf4: SHL
00000bf5: SUB
00000bf6: AND
00000bf7: PUSH4 0x028aa5b9
00000bfc: PUSH1 0xe4
00000bfe: SHL
00000bff: OR
00000c00: SWAP1
00000c01: MSTORE
00000c02: PUSH1 0x06
00000c04: SLOAD
00000c05: PUSH1 0x80
00000c07: DUP4
00000c08: ADD
00000c09: MLOAD
00000c0a: SWAP3
00000c0b: SWAP4
00000c0c: POP
00000c0d: SWAP1
00000c0e: SWAP2
00000c0f: PUSH2 0x0c23
00000c12: SWAP2
00000c13: PUSH1 0x01
00000c15: PUSH1 0x01
00000c17: PUSH1 0xa0
00000c19: SHL
00000c1a: SUB
00000c1b: AND
00000c1c: SWAP1
00000c1d: DUP4
00000c1e: SWAP1
00000c1f: PUSH2 0x0d0c
00000c22: JUMP
00000c23: JUMPDEST
00000c24: POP
00000c25: POP
00000c26: POP
00000c27: POP
00000c28: JUMP
00000c29: JUMPDEST
00000c2a: PUSH2 0x0597
00000c2d: DUP3
00000c2e: DUP3
00000c2f: PUSH2 0x0d7a
00000c32: JUMP
00000c33: JUMPDEST
00000c34: SELFBALANCE
00000c35: ISZERO
00000c36: PUSH2 0x0629
00000c39: JUMPI
00000c3a: PUSH1 0x04
00000c3c: DUP1
00000c3d: SLOAD
00000c3e: PUSH1 0x40
00000c40: DUP1
00000c41: MLOAD
00000c42: PUSH4 0x0d0e30db
00000c47: PUSH1 0xe4
00000c49: SHL
00000c4a: DUP2
00000c4b: MSTORE
00000c4c: SWAP1
00000c4d: MLOAD
00000c4e: PUSH1 0x01
00000c50: PUSH1 0x01
00000c52: PUSH1 0xa0
00000c54: SHL
00000c55: SUB
00000c56: SWAP1
00000c57: SWAP3
00000c58: AND
00000c59: SWAP3
00000c5a: PUSH4 0xd0e30db0
00000c5f: SWAP3
00000c60: SELFBALANCE
00000c61: SWAP3
00000c62: DUP1
00000c63: DUP4
00000c64: ADD
00000c65: SWAP3
00000c66: PUSH1 0x00
00000c68: SWAP3
00000c69: SWAP2
00000c6a: DUP3
00000c6b: SWAP1
00000c6c: SUB
00000c6d: ADD
00000c6e: DUP2
00000c6f: DUP6
00000c70: DUP9
00000c71: DUP1
00000c72: EXTCODESIZE
00000c73: ISZERO
00000c74: DUP1
00000c75: ISZERO
00000c76: PUSH2 0x0c7e
00000c79: JUMPI
00000c7a: PUSH1 0x00
00000c7c: DUP1
00000c7d: REVERT
00000c7e: JUMPDEST
00000c7f: POP
00000c80: GAS
00000c81: CALL
00000c82: ISZERO
00000c83: DUP1
00000c84: ISZERO
00000c85: PUSH2 0x0c92
00000c88: JUMPI
00000c89: RETURNDATASIZE
00000c8a: PUSH1 0x00
00000c8c: DUP1
00000c8d: RETURNDATACOPY
00000c8e: RETURNDATASIZE
00000c8f: PUSH1 0x00
00000c91: REVERT
00000c92: JUMPDEST
00000c93: POP
00000c94: POP
00000c95: POP
00000c96: POP
00000c97: POP
00000c98: JUMP
00000c99: JUMPDEST
00000c9a: PUSH2 0x0597
00000c9d: DUP3
00000c9e: DUP3
00000c9f: PUSH2 0x0e3a
00000ca2: JUMP
00000ca3: JUMPDEST
00000ca4: PUSH1 0x00
00000ca6: PUSH2 0x0cb1
00000ca9: DUP3
00000caa: DUP5
00000cab: ADD
00000cac: DUP5
00000cad: PUSH2 0x1582
00000cb0: JUMP
00000cb1: JUMPDEST
00000cb2: DUP1
00000cb3: MLOAD
00000cb4: PUSH1 0x40
00000cb6: DUP1
00000cb7: MLOAD
00000cb8: SWAP2
00000cb9: ISZERO
00000cba: ISZERO
00000cbb: PUSH1 0x24
00000cbd: DUP1
00000cbe: DUP5
00000cbf: ADD
00000cc0: SWAP2
00000cc1: SWAP1
00000cc2: SWAP2
00000cc3: MSTORE
00000cc4: DUP2
00000cc5: MLOAD
00000cc6: DUP1
00000cc7: DUP5
00000cc8: SUB
00000cc9: SWAP1
00000cca: SWAP2
00000ccb: ADD
00000ccc: DUP2
00000ccd: MSTORE
00000cce: PUSH1 0x44
00000cd0: SWAP1
00000cd1: SWAP3
00000cd2: ADD
00000cd3: SWAP1
00000cd4: MSTORE
00000cd5: PUSH1 0x20
00000cd7: DUP1
00000cd8: DUP3
00000cd9: ADD
00000cda: DUP1
00000cdb: MLOAD
00000cdc: PUSH1 0x01
00000cde: PUSH1 0x01
00000ce0: PUSH1 0xe0
00000ce2: SHL
00000ce3: SUB
00000ce4: AND
00000ce5: PUSH4 0x3338db6d
00000cea: PUSH1 0xe1
00000cec: SHL
00000ced: OR
00000cee: SWAP1
00000cef: MSTORE
00000cf0: PUSH1 0x06
00000cf2: SLOAD
00000cf3: SWAP1
00000cf4: DUP4
00000cf5: ADD
00000cf6: MLOAD
00000cf7: SWAP3
00000cf8: SWAP4
00000cf9: POP
00000cfa: SWAP1
00000cfb: SWAP2
00000cfc: PUSH2 0x0c23
00000cff: SWAP2
00000d00: PUSH1 0x01
00000d02: PUSH1 0x01
00000d04: PUSH1 0xa0
00000d06: SHL
00000d07: SUB
00000d08: AND
00000d09: SWAP1
00000d0a: DUP4
00000d0b: SWAP1
00000d0c: JUMPDEST
00000d0d: PUSH1 0x03
00000d0f: SLOAD
00000d10: PUSH1 0x40
00000d12: MLOAD
00000d13: PUSH4 0x3dbb202b
00000d18: PUSH1 0xe0
00000d1a: SHL
00000d1b: DUP2
00000d1c: MSTORE
00000d1d: PUSH1 0x01
00000d1f: PUSH1 0x01
00000d21: PUSH1 0xa0
00000d23: SHL
00000d24: SUB
00000d25: SWAP1
00000d26: SWAP2
00000d27: AND
00000d28: SWAP1
00000d29: DUP2
00000d2a: SWAP1
00000d2b: PUSH4 0x3dbb202b
00000d30: SWAP1
00000d31: PUSH2 0x0d42
00000d34: SWAP1
00000d35: DUP8
00000d36: SWAP1
00000d37: DUP8
00000d38: SWAP1
00000d39: DUP8
00000d3a: SWAP1
00000d3b: PUSH1 0x04
00000d3d: ADD
00000d3e: PUSH2 0x1636
00000d41: JUMP
00000d42: JUMPDEST
00000d43: PUSH1 0x00
00000d45: PUSH1 0x40
00000d47: MLOAD
00000d48: DUP1
00000d49: DUP4
00000d4a: SUB
00000d4b: DUP2
00000d4c: PUSH1 0x00
00000d4e: DUP8
00000d4f: DUP1
00000d50: EXTCODESIZE
00000d51: ISZERO
00000d52: DUP1
00000d53: ISZERO
00000d54: PUSH2 0x0d5c
00000d57: JUMPI
00000d58: PUSH1 0x00
00000d5a: DUP1
00000d5b: REVERT
00000d5c: JUMPDEST
00000d5d: POP
00000d5e: GAS
00000d5f: CALL
00000d60: ISZERO
00000d61: DUP1
00000d62: ISZERO
00000d63: PUSH2 0x0d70
00000d66: JUMPI
00000d67: RETURNDATASIZE
00000d68: PUSH1 0x00
00000d6a: DUP1
00000d6b: RETURNDATACOPY
00000d6c: RETURNDATASIZE
00000d6d: PUSH1 0x00
00000d6f: REVERT
00000d70: JUMPDEST
00000d71: POP
00000d72: POP
00000d73: POP
00000d74: POP
00000d75: POP
00000d76: POP
00000d77: POP
00000d78: POP
00000d79: JUMP
00000d7a: JUMPDEST
00000d7b: PUSH1 0x00
00000d7d: PUSH2 0x0d88
00000d80: DUP3
00000d81: DUP5
00000d82: ADD
00000d83: DUP5
00000d84: PUSH2 0x16ed
00000d87: JUMP
00000d88: JUMPDEST
00000d89: SWAP1
00000d8a: POP
00000d8b: PUSH1 0x00
00000d8d: PUSH4 0x62b2b5f0
00000d92: PUSH1 0xe0
00000d94: SHL
00000d95: DUP3
00000d96: PUSH1 0x00
00000d98: ADD
00000d99: MLOAD
00000d9a: DUP4
00000d9b: PUSH1 0x40
00000d9d: ADD
00000d9e: MLOAD
00000d9f: DUP5
00000da0: PUSH1 0x60
00000da2: ADD
00000da3: MLOAD
00000da4: PUSH1 0x40
00000da6: MLOAD
00000da7: PUSH1 0x24
00000da9: ADD
00000daa: PUSH2 0x0db5
00000dad: SWAP4
00000dae: SWAP3
00000daf: SWAP2
00000db0: SWAP1
00000db1: PUSH2 0x179a
00000db4: JUMP
00000db5: JUMPDEST
00000db6: PUSH1 0x40
00000db8: DUP1
00000db9: MLOAD
00000dba: PUSH1 0x1f
00000dbc: NOT
00000dbd: DUP2
00000dbe: DUP5
00000dbf: SUB
00000dc0: ADD
00000dc1: DUP2
00000dc2: MSTORE
00000dc3: SWAP2
00000dc4: SWAP1
00000dc5: MSTORE
00000dc6: PUSH1 0x20
00000dc8: DUP2
00000dc9: ADD
00000dca: DUP1
00000dcb: MLOAD
00000dcc: PUSH1 0x01
00000dce: PUSH1 0x01
00000dd0: PUSH1 0xe0
00000dd2: SHL
00000dd3: SUB
00000dd4: AND
00000dd5: PUSH1 0x01
00000dd7: PUSH1 0x01
00000dd9: PUSH1 0xe0
00000ddb: SHL
00000ddc: SUB
00000ddd: NOT
00000dde: SWAP1
00000ddf: SWAP4
00000de0: AND
00000de1: SWAP3
00000de2: SWAP1
00000de3: SWAP3
00000de4: OR
00000de5: SWAP1
00000de6: SWAP2
00000de7: MSTORE
00000de8: PUSH1 0x06
00000dea: SLOAD
00000deb: PUSH1 0x80
00000ded: DUP5
00000dee: ADD
00000def: MLOAD
00000df0: SWAP2
00000df1: SWAP3
00000df2: POP
00000df3: PUSH2 0x0e09
00000df6: SWAP2
00000df7: PUSH1 0x01
00000df9: PUSH1 0x01
00000dfb: PUSH1 0xa0
00000dfd: SHL
00000dfe: SUB
00000dff: SWAP1
00000e00: SWAP2
00000e01: AND
00000e02: SWAP1
00000e03: DUP4
00000e04: SWAP1
00000e05: PUSH2 0x0d0c
00000e08: JUMP
00000e09: JUMPDEST
00000e0a: DUP2
00000e0b: MLOAD
00000e0c: PUSH1 0x40
00000e0e: MLOAD
00000e0f: PUSH32 0x5b6b431d4476a211bb7d41c20d1aab9ae2321deee0d20be3d9fc9b1093fa6e3d
00000e30: SWAP1
00000e31: PUSH1 0x00
00000e33: SWAP1
00000e34: LOG2
00000e35: POP
00000e36: POP
00000e37: POP
00000e38: POP
00000e39: JUMP
00000e3a: JUMPDEST
00000e3b: PUSH1 0x00
00000e3d: PUSH2 0x0e48
00000e40: DUP3
00000e41: DUP5
00000e42: ADD
00000e43: DUP5
00000e44: PUSH2 0x17cd
00000e47: JUMP
00000e48: JUMPDEST
00000e49: PUSH1 0x07
00000e4b: SLOAD
00000e4c: PUSH1 0x40
00000e4e: DUP3
00000e4f: ADD
00000e50: MLOAD
00000e51: SWAP2
00000e52: SWAP3
00000e53: POP
00000e54: PUSH1 0x01
00000e56: PUSH1 0x01
00000e58: PUSH1 0xa0
00000e5a: SHL
00000e5b: SUB
00000e5c: SWAP2
00000e5d: DUP3
00000e5e: AND
00000e5f: SWAP2
00000e60: AND
00000e61: EQ
00000e62: PUSH2 0x0ea7
00000e65: JUMPI
00000e66: PUSH1 0x40
00000e68: MLOAD
00000e69: PUSH3 0x461bcd
00000e6d: PUSH1 0xe5
00000e6f: SHL
00000e70: DUP2
00000e71: MSTORE
00000e72: PUSH1 0x20
00000e74: PUSH1 0x04
00000e76: DUP3
00000e77: ADD
00000e78: MSTORE
00000e79: PUSH1 0x17
00000e7b: PUSH1 0x24
00000e7d: DUP3
00000e7e: ADD
00000e7f: MSTORE
00000e80: PUSH23 0x494e56414c49445f534f434b45545f5245474953545259
00000e98: PUSH1 0x48
00000e9a: SHL
00000e9b: PUSH1 0x44
00000e9d: DUP3
00000e9e: ADD
00000e9f: MSTORE
00000ea0: PUSH1 0x64
00000ea2: ADD
00000ea3: PUSH2 0x047d
00000ea6: JUMP
00000ea7: JUMPDEST
00000ea8: PUSH1 0x04
00000eaa: DUP1
00000eab: SLOAD
00000eac: DUP3
00000ead: MLOAD
00000eae: PUSH1 0x40
00000eb0: MLOAD
00000eb1: PUSH4 0x2e1a7d4d
00000eb6: PUSH1 0xe0
00000eb8: SHL
00000eb9: DUP2
00000eba: MSTORE
00000ebb: SWAP3
00000ebc: DUP4
00000ebd: ADD
00000ebe: MSTORE
00000ebf: PUSH1 0x01
00000ec1: PUSH1 0x01
00000ec3: PUSH1 0xa0
00000ec5: SHL
00000ec6: SUB
00000ec7: AND
00000ec8: SWAP1
00000ec9: PUSH4 0x2e1a7d4d
00000ece: SWAP1
00000ecf: PUSH1 0x24
00000ed1: ADD
00000ed2: PUSH1 0x00
00000ed4: PUSH1 0x40
00000ed6: MLOAD
00000ed7: DUP1
00000ed8: DUP4
00000ed9: SUB
00000eda: DUP2
00000edb: PUSH1 0x00
00000edd: DUP8
00000ede: DUP1
00000edf: EXTCODESIZE
00000ee0: ISZERO
00000ee1: DUP1
00000ee2: ISZERO
00000ee3: PUSH2 0x0eeb
00000ee6: JUMPI
00000ee7: PUSH1 0x00
00000ee9: DUP1
00000eea: REVERT
00000eeb: JUMPDEST
00000eec: POP
00000eed: GAS
00000eee: CALL
00000eef: ISZERO
00000ef0: DUP1
00000ef1: ISZERO
00000ef2: PUSH2 0x0eff
00000ef5: JUMPI
00000ef6: RETURNDATASIZE
00000ef7: PUSH1 0x00
00000ef9: DUP1
00000efa: RETURNDATACOPY
00000efb: RETURNDATASIZE
00000efc: PUSH1 0x00
00000efe: REVERT
00000eff: JUMPDEST
00000f00: POP
00000f01: POP
00000f02: PUSH1 0x04
00000f04: SLOAD
00000f05: PUSH1 0x40
00000f07: DUP5
00000f08: ADD
00000f09: MLOAD
00000f0a: PUSH1 0x06
00000f0c: SLOAD
00000f0d: DUP6
00000f0e: MLOAD
00000f0f: PUSH1 0x60
00000f11: DUP8
00000f12: ADD
00000f13: MLOAD
00000f14: PUSH2 0x0f33
00000f17: SWAP7
00000f18: POP
00000f19: PUSH1 0x01
00000f1b: PUSH1 0x01
00000f1d: PUSH1 0xa0
00000f1f: SHL
00000f20: SUB
00000f21: SWAP5
00000f22: DUP6
00000f23: AND
00000f24: SWAP6
00000f25: POP
00000f26: SWAP3
00000f27: SWAP4
00000f28: SWAP1
00000f29: SWAP2
00000f2a: AND
00000f2b: SWAP2
00000f2c: PUSH1 0x0a
00000f2e: SWAP1
00000f2f: PUSH2 0x0f63
00000f32: JUMP
00000f33: JUMPDEST
00000f34: DUP1
00000f35: MLOAD
00000f36: PUSH1 0x40
00000f38: MLOAD
00000f39: PUSH32 0x4d6ce1e535dbade1c23defba91e23b8f791ce5edc0cc320257a2b364e4e38426
00000f5a: SWAP1
00000f5b: PUSH1 0x00
00000f5d: SWAP1
00000f5e: LOG2
00000f5f: POP
00000f60: POP
00000f61: POP
00000f62: JUMP
00000f63: JUMPDEST
00000f64: PUSH2 0x0f6f
00000f67: DUP2
00000f68: DUP4
00000f69: DUP9
00000f6a: DUP8
00000f6b: PUSH2 0x1026
00000f6e: JUMP
00000f6f: JUMPDEST
00000f70: PUSH1 0x00
00000f72: DUP6
00000f73: PUSH1 0x01
00000f75: PUSH1 0x01
00000f77: PUSH1 0xa0
00000f79: SHL
00000f7a: SUB
00000f7b: AND
00000f7c: DUP5
00000f7d: DUP4
00000f7e: PUSH1 0x40
00000f80: MLOAD
00000f81: PUSH2 0x0f8a
00000f84: SWAP2
00000f85: SWAP1
00000f86: PUSH2 0x1869
00000f89: JUMP
00000f8a: JUMPDEST
00000f8b: PUSH1 0x00
00000f8d: PUSH1 0x40
00000f8f: MLOAD
00000f90: DUP1
00000f91: DUP4
00000f92: SUB
00000f93: DUP2
00000f94: DUP6
00000f95: DUP8
00000f96: GAS
00000f97: CALL
00000f98: SWAP3
00000f99: POP
00000f9a: POP
00000f9b: POP
00000f9c: RETURNDATASIZE
00000f9d: DUP1
00000f9e: PUSH1 0x00
00000fa0: DUP2
00000fa1: EQ
00000fa2: PUSH2 0x0fc7
00000fa5: JUMPI
00000fa6: PUSH1 0x40
00000fa8: MLOAD
00000fa9: SWAP2
00000faa: POP
00000fab: PUSH1 0x1f
00000fad: NOT
00000fae: PUSH1 0x3f
00000fb0: RETURNDATASIZE
00000fb1: ADD
00000fb2: AND
00000fb3: DUP3
00000fb4: ADD
00000fb5: PUSH1 0x40
00000fb7: MSTORE
00000fb8: RETURNDATASIZE
00000fb9: DUP3
00000fba: MSTORE
00000fbb: RETURNDATASIZE
00000fbc: PUSH1 0x00
00000fbe: PUSH1 0x20
00000fc0: DUP5
00000fc1: ADD
00000fc2: RETURNDATACOPY
00000fc3: PUSH2 0x0fcc
00000fc6: JUMP
00000fc7: JUMPDEST
00000fc8: PUSH1 0x60
00000fca: SWAP2
00000fcb: POP
00000fcc: JUMPDEST
00000fcd: POP
00000fce: POP
00000fcf: SWAP1
00000fd0: POP
00000fd1: DUP1
00000fd2: PUSH2 0x101d
00000fd5: JUMPI
00000fd6: PUSH1 0x40
00000fd8: MLOAD
00000fd9: PUSH3 0x461bcd
00000fdd: PUSH1 0xe5
00000fdf: SHL
00000fe0: DUP2
00000fe1: MSTORE
00000fe2: PUSH1 0x20
00000fe4: PUSH1 0x04
00000fe6: DUP3
00000fe7: ADD
00000fe8: MSTORE
00000fe9: PUSH1 0x1d
00000feb: PUSH1 0x24
00000fed: DUP3
00000fee: ADD
00000fef: MSTORE
00000ff0: PUSH32 0x4661696c656420746f2063616c6c20736f636b65745265676973747279000000
00001011: PUSH1 0x44
00001013: DUP3
00001014: ADD
00001015: MSTORE
00001016: PUSH1 0x64
00001018: ADD
00001019: PUSH2 0x047d
0000101c: JUMP
0000101d: JUMPDEST
0000101e: POP
0000101f: POP
00001020: POP
00001021: POP
00001022: POP
00001023: POP
00001024: POP
00001025: JUMP
00001026: JUMPDEST
00001027: PUSH2 0x102e
0000102a: PUSH2 0x122a
0000102d: JUMP
0000102e: JUMPDEST
0000102f: PUSH2 0x1037
00001032: DUP6
00001033: PUSH2 0x10de
00001036: JUMP
00001037: JUMPDEST
00001038: SWAP1
00001039: POP
0000103a: DUP4
0000103b: DUP2
0000103c: PUSH1 0x20
0000103e: ADD
0000103f: MLOAD
00001040: EQ
00001041: PUSH2 0x107e
00001044: JUMPI
00001045: PUSH1 0x40
00001047: MLOAD
00001048: PUSH3 0x461bcd
0000104c: PUSH1 0xe5
0000104e: SHL
0000104f: DUP2
00001050: MSTORE
00001051: PUSH1 0x20
00001053: PUSH1 0x04
00001055: DUP3
00001056: ADD
00001057: MSTORE
00001058: PUSH1 0x0f
0000105a: PUSH1 0x24
0000105c: DUP3
0000105d: ADD
0000105e: MSTORE
0000105f: PUSH15 0x125b9d985b1a590818da185a5b9259
0000106f: PUSH1 0x8a
00001071: SHL
00001072: PUSH1 0x44
00001074: DUP3
00001075: ADD
00001076: MSTORE
00001077: PUSH1 0x64
00001079: ADD
0000107a: PUSH2 0x047d
0000107d: JUMP
0000107e: JUMPDEST
0000107f: DUP2
00001080: PUSH1 0x01
00001082: PUSH1 0x01
00001084: PUSH1 0xa0
00001086: SHL
00001087: SUB
00001088: AND
00001089: DUP2
0000108a: PUSH1 0x00
0000108c: ADD
0000108d: MLOAD
0000108e: PUSH1 0x01
00001090: PUSH1 0x01
00001092: PUSH1 0xa0
00001094: SHL
00001095: SUB
00001096: AND
00001097: EQ
00001098: PUSH2 0x0c92
0000109b: JUMPI
0000109c: PUSH1 0x40
0000109e: MLOAD
0000109f: PUSH3 0x461bcd
000010a3: PUSH1 0xe5
000010a5: SHL
000010a6: DUP2
000010a7: MSTORE
000010a8: PUSH1 0x20
000010aa: PUSH1 0x04
000010ac: DUP3
000010ad: ADD
000010ae: MSTORE
000010af: PUSH1 0x18
000010b1: PUSH1 0x24
000010b3: DUP3
000010b4: ADD
000010b5: MSTORE
000010b6: PUSH24 0x496e76616c69642072656365697665722061646472657373
000010cf: PUSH1 0x40
000010d1: SHL
000010d2: PUSH1 0x44
000010d4: DUP3
000010d5: ADD
000010d6: MSTORE
000010d7: PUSH1 0x64
000010d9: ADD
000010da: PUSH2 0x047d
000010dd: JUMP
000010de: JUMPDEST
000010df: PUSH2 0x10e6
000010e2: PUSH2 0x122a
000010e5: JUMP
000010e6: JUMPDEST
000010e7: PUSH1 0x00
000010e9: PUSH2 0x1100
000010ec: DUP4
000010ed: PUSH1 0x04
000010ef: DUP1
000010f0: DUP7
000010f1: MLOAD
000010f2: PUSH2 0x10fb
000010f5: SWAP2
000010f6: SWAP1
000010f7: PUSH2 0x1885
000010fa: JUMP
000010fb: JUMPDEST
000010fc: PUSH2 0x111d
000010ff: JUMP
00001100: JUMPDEST
00001101: SWAP1
00001102: POP
00001103: DUP1
00001104: DUP1
00001105: PUSH1 0x20
00001107: ADD
00001108: SWAP1
00001109: MLOAD
0000110a: DUP2
0000110b: ADD
0000110c: SWAP1
0000110d: PUSH2 0x1116
00001110: SWAP2
00001111: SWAP1
00001112: PUSH2 0x1945
00001115: JUMP
00001116: JUMPDEST
00001117: SWAP4
00001118: SWAP3
00001119: POP
0000111a: POP
0000111b: POP
0000111c: JUMP
0000111d: JUMPDEST
0000111e: PUSH1 0x60
00001120: DUP2
00001121: PUSH2 0x112b
00001124: DUP2
00001125: PUSH1 0x1f
00001127: PUSH2 0x143e
0000112a: JUMP
0000112b: JUMPDEST
0000112c: LT
0000112d: ISZERO
0000112e: PUSH2 0x116a
00001131: JUMPI
00001132: PUSH1 0x40
00001134: MLOAD
00001135: PUSH3 0x461bcd
00001139: PUSH1 0xe5
0000113b: SHL
0000113c: DUP2
0000113d: MSTORE
0000113e: PUSH1 0x20
00001140: PUSH1 0x04
00001142: DUP3
00001143: ADD
00001144: MSTORE
00001145: PUSH1 0x0e
00001147: PUSH1 0x24
00001149: DUP3
0000114a: ADD
0000114b: MSTORE
0000114c: PUSH14 0x736c6963655f6f766572666c6f77
0000115b: PUSH1 0x90
0000115d: SHL
0000115e: PUSH1 0x44
00001160: DUP3
00001161: ADD
00001162: MSTORE
00001163: PUSH1 0x64
00001165: ADD
00001166: PUSH2 0x047d
00001169: JUMP
0000116a: JUMPDEST
0000116b: PUSH2 0x1174
0000116e: DUP3
0000116f: DUP5
00001170: PUSH2 0x143e
00001173: JUMP
00001174: JUMPDEST
00001175: DUP5
00001176: MLOAD
00001177: LT
00001178: ISZERO
00001179: PUSH2 0x11b8
0000117c: JUMPI
0000117d: PUSH1 0x40
0000117f: MLOAD
00001180: PUSH3 0x461bcd
00001184: PUSH1 0xe5
00001186: SHL
00001187: DUP2
00001188: MSTORE
00001189: PUSH1 0x20
0000118b: PUSH1 0x04
0000118d: DUP3
0000118e: ADD
0000118f: MSTORE
00001190: PUSH1 0x11
00001192: PUSH1 0x24
00001194: DUP3
00001195: ADD
00001196: MSTORE
00001197: PUSH17 0x736c6963655f6f75744f66426f756e6473
000011a9: PUSH1 0x78
000011ab: SHL
000011ac: PUSH1 0x44
000011ae: DUP3
000011af: ADD
000011b0: MSTORE
000011b1: PUSH1 0x64
000011b3: ADD
000011b4: PUSH2 0x047d
000011b7: JUMP
000011b8: JUMPDEST
000011b9: PUSH1 0x60
000011bb: DUP3
000011bc: ISZERO
000011bd: DUP1
000011be: ISZERO
000011bf: PUSH2 0x11d7
000011c2: JUMPI
000011c3: PUSH1 0x40
000011c5: MLOAD
000011c6: SWAP2
000011c7: POP
000011c8: PUSH1 0x00
000011ca: DUP3
000011cb: MSTORE
000011cc: PUSH1 0x20
000011ce: DUP3
000011cf: ADD
000011d0: PUSH1 0x40
000011d2: MSTORE
000011d3: PUSH2 0x1221
000011d6: JUMP
000011d7: JUMPDEST
000011d8: PUSH1 0x40
000011da: MLOAD
000011db: SWAP2
000011dc: POP
000011dd: PUSH1 0x1f
000011df: DUP5
000011e0: AND
000011e1: DUP1
000011e2: ISZERO
000011e3: PUSH1 0x20
000011e5: MUL
000011e6: DUP2
000011e7: DUP5
000011e8: ADD
000011e9: ADD
000011ea: DUP6
000011eb: DUP2
000011ec: ADD
000011ed: DUP8
000011ee: DUP4
000011ef: ISZERO
000011f0: PUSH1 0x20
000011f2: MUL
000011f3: DUP5
000011f4: DUP12
000011f5: ADD
000011f6: ADD
000011f7: ADD
000011f8: JUMPDEST
000011f9: DUP2
000011fa: DUP4
000011fb: LT
000011fc: ISZERO
000011fd: PUSH2 0x1210
00001200: JUMPI
00001201: DUP1
00001202: MLOAD
00001203: DUP4
00001204: MSTORE
00001205: PUSH1 0x20
00001207: SWAP3
00001208: DUP4
00001209: ADD
0000120a: SWAP3
0000120b: ADD
0000120c: PUSH2 0x11f8
0000120f: JUMP
00001210: JUMPDEST
00001211: POP
00001212: POP
00001213: DUP6
00001214: DUP5
00001215: MSTORE
00001216: PUSH1 0x1f
00001218: ADD
00001219: PUSH1 0x1f
0000121b: NOT
0000121c: AND
0000121d: PUSH1 0x40
0000121f: MSTORE
00001220: POP
00001221: JUMPDEST
00001222: POP
00001223: SWAP5
00001224: SWAP4
00001225: POP
00001226: POP
00001227: POP
00001228: POP
00001229: JUMP
0000122a: JUMPDEST
0000122b: PUSH1 0x40
0000122d: MLOAD
0000122e: DUP1
0000122f: PUSH1 0xa0
00001231: ADD
00001232: PUSH1 0x40
00001234: MSTORE
00001235: DUP1
00001236: PUSH1 0x00
00001238: PUSH1 0x01
0000123a: PUSH1 0x01
0000123c: PUSH1 0xa0
0000123e: SHL
0000123f: SUB
00001240: AND
00001241: DUP2
00001242: MSTORE
00001243: PUSH1 0x20
00001245: ADD
00001246: PUSH1 0x00
00001248: DUP2
00001249: MSTORE
0000124a: PUSH1 0x20
0000124c: ADD
0000124d: PUSH1 0x00
0000124f: DUP2
00001250: MSTORE
00001251: PUSH1 0x20
00001253: ADD
00001254: PUSH2 0x1287
00001257: PUSH1 0x40
00001259: MLOAD
0000125a: DUP1
0000125b: PUSH1 0x80
0000125d: ADD
0000125e: PUSH1 0x40
00001260: MSTORE
00001261: DUP1
00001262: PUSH1 0x00
00001264: DUP2
00001265: MSTORE
00001266: PUSH1 0x20
00001268: ADD
00001269: PUSH1 0x00
0000126b: DUP2
0000126c: MSTORE
0000126d: PUSH1 0x20
0000126f: ADD
00001270: PUSH1 0x00
00001272: PUSH1 0x01
00001274: PUSH1 0x01
00001276: PUSH1 0xa0
00001278: SHL
00001279: SUB
0000127a: AND
0000127b: DUP2
0000127c: MSTORE
0000127d: PUSH1 0x20
0000127f: ADD
00001280: PUSH1 0x60
00001282: DUP2
00001283: MSTORE
00001284: POP
00001285: SWAP1
00001286: JUMP
00001287: JUMPDEST
00001288: DUP2
00001289: MSTORE
0000128a: PUSH1 0x40
0000128c: DUP1
0000128d: MLOAD
0000128e: PUSH1 0x80
00001290: DUP2
00001291: ADD
00001292: DUP3
00001293: MSTORE
00001294: PUSH1 0x00
00001296: DUP1
00001297: DUP3
00001298: MSTORE
00001299: PUSH1 0x20
0000129b: DUP3
0000129c: DUP2
0000129d: ADD
0000129e: DUP3
0000129f: SWAP1
000012a0: MSTORE
000012a1: SWAP3
000012a2: DUP3
000012a3: ADD
000012a4: MSTORE
000012a5: PUSH1 0x60
000012a7: DUP1
000012a8: DUP3
000012a9: ADD
000012aa: MSTORE
000012ab: SWAP2
000012ac: ADD
000012ad: MSTORE
000012ae: SWAP1
000012af: JUMP
000012b0: JUMPDEST
000012b1: PUSH1 0x01
000012b3: PUSH1 0x01
000012b5: PUSH1 0xa0
000012b7: SHL
000012b8: SUB
000012b9: DUP2
000012ba: AND
000012bb: DUP2
000012bc: EQ
000012bd: PUSH2 0x0b5b
000012c0: JUMPI
000012c1: PUSH1 0x00
000012c3: DUP1
000012c4: REVERT
000012c5: JUMPDEST
000012c6: PUSH1 0x00
000012c8: PUSH1 0x20
000012ca: DUP3
000012cb: DUP5
000012cc: SUB
000012cd: SLT
000012ce: ISZERO
000012cf: PUSH2 0x12d7
000012d2: JUMPI
000012d3: PUSH1 0x00
000012d5: DUP1
000012d6: REVERT
000012d7: JUMPDEST
000012d8: DUP2
000012d9: CALLDATALOAD
000012da: PUSH2 0x1116
000012dd: DUP2
000012de: PUSH2 0x12b0
000012e1: JUMP
000012e2: JUMPDEST
000012e3: PUSH1 0x01
000012e5: PUSH1 0x01
000012e7: PUSH1 0xa0
000012e9: SHL
000012ea: SUB
000012eb: SWAP2
000012ec: SWAP1
000012ed: SWAP2
000012ee: AND
000012ef: DUP2
000012f0: MSTORE
000012f1: PUSH1 0x20
000012f3: ADD
000012f4: SWAP1
000012f5: JUMP
000012f6: JUMPDEST
000012f7: PUSH1 0x00
000012f9: DUP1
000012fa: PUSH1 0x20
000012fc: DUP4
000012fd: DUP6
000012fe: SUB
000012ff: SLT
00001300: ISZERO
00001301: PUSH2 0x1309
00001304: JUMPI
00001305: PUSH1 0x00
00001307: DUP1
00001308: REVERT
00001309: JUMPDEST
0000130a: DUP3
0000130b: CALLDATALOAD
0000130c: PUSH1 0x01
0000130e: PUSH1 0x01
00001310: PUSH1 0x40
00001312: SHL
00001313: SUB
00001314: DUP1
00001315: DUP3
00001316: GT
00001317: ISZERO
00001318: PUSH2 0x1320
0000131b: JUMPI
0000131c: PUSH1 0x00
0000131e: DUP1
0000131f: REVERT
00001320: JUMPDEST
00001321: DUP2
00001322: DUP6
00001323: ADD
00001324: SWAP2
00001325: POP
00001326: DUP6
00001327: PUSH1 0x1f
00001329: DUP4
0000132a: ADD
0000132b: SLT
0000132c: PUSH2 0x1334
0000132f: JUMPI
00001330: PUSH1 0x00
00001332: DUP1
00001333: REVERT
00001334: JUMPDEST
00001335: DUP2
00001336: CALLDATALOAD
00001337: DUP2
00001338: DUP2
00001339: GT
0000133a: ISZERO
0000133b: PUSH2 0x1343
0000133e: JUMPI
0000133f: PUSH1 0x00
00001341: DUP1
00001342: REVERT
00001343: JUMPDEST
00001344: DUP7
00001345: PUSH1 0x20
00001347: DUP3
00001348: DUP6
00001349: ADD
0000134a: ADD
0000134b: GT
0000134c: ISZERO
0000134d: PUSH2 0x1355
00001350: JUMPI
00001351: PUSH1 0x00
00001353: DUP1
00001354: REVERT
00001355: JUMPDEST
00001356: PUSH1 0x20
00001358: SWAP3
00001359: SWAP1
0000135a: SWAP3
0000135b: ADD
0000135c: SWAP7
0000135d: SWAP2
0000135e: SWAP6
0000135f: POP
00001360: SWAP1
00001361: SWAP4
00001362: POP
00001363: POP
00001364: POP
00001365: POP
00001366: JUMP
00001367: JUMPDEST
00001368: PUSH1 0x00
0000136a: PUSH1 0x20
0000136c: DUP3
0000136d: DUP5
0000136e: SUB
0000136f: SLT
00001370: ISZERO
00001371: PUSH2 0x1379
00001374: JUMPI
00001375: PUSH1 0x00
00001377: DUP1
00001378: REVERT
00001379: JUMPDEST
0000137a: POP
0000137b: CALLDATALOAD
0000137c: SWAP2
0000137d: SWAP1
0000137e: POP
0000137f: JUMP
00001380: JUMPDEST
00001381: PUSH1 0x20
00001383: DUP1
00001384: DUP3
00001385: MSTORE
00001386: PUSH1 0x08
00001388: SWAP1
00001389: DUP3
0000138a: ADD
0000138b: MSTORE
0000138c: PUSH8 0x27a7262cafa3a7ab
00001395: PUSH1 0xc1
00001397: SHL
00001398: PUSH1 0x40
0000139a: DUP3
0000139b: ADD
0000139c: MSTORE
0000139d: PUSH1 0x60
0000139f: ADD
000013a0: SWAP1
000013a1: JUMP
000013a2: JUMPDEST
000013a3: PUSH1 0x00
000013a5: PUSH1 0x20
000013a7: DUP3
000013a8: DUP5
000013a9: SUB
000013aa: SLT
000013ab: ISZERO
000013ac: PUSH2 0x13b4
000013af: JUMPI
000013b0: PUSH1 0x00
000013b2: DUP1
000013b3: REVERT
000013b4: JUMPDEST
000013b5: POP
000013b6: MLOAD
000013b7: SWAP2
000013b8: SWAP1
000013b9: POP
000013ba: JUMP
000013bb: JUMPDEST
000013bc: DUP1
000013bd: ISZERO
000013be: ISZERO
000013bf: DUP2
000013c0: EQ
000013c1: PUSH2 0x0b5b
000013c4: JUMPI
000013c5: PUSH1 0x00
000013c7: DUP1
000013c8: REVERT
000013c9: JUMPDEST
000013ca: PUSH1 0x00
000013cc: PUSH1 0x20
000013ce: DUP3
000013cf: DUP5
000013d0: SUB
000013d1: SLT
000013d2: ISZERO
000013d3: PUSH2 0x13db
000013d6: JUMPI
000013d7: PUSH1 0x00
000013d9: DUP1
000013da: REVERT
000013db: JUMPDEST
000013dc: DUP2
000013dd: MLOAD
000013de: PUSH2 0x1116
000013e1: DUP2
000013e2: PUSH2 0x13bb
000013e5: JUMP
000013e6: JUMPDEST
000013e7: PUSH1 0x20
000013e9: DUP1
000013ea: DUP3
000013eb: MSTORE
000013ec: PUSH1 0x0b
000013ee: SWAP1
000013ef: DUP3
000013f0: ADD
000013f1: MSTORE
000013f2: PUSH11 0x27a7262cafa5a2a2a822a9
000013fe: PUSH1 0xa9
00001400: SHL
00001401: PUSH1 0x40
00001403: DUP3
00001404: ADD
00001405: MSTORE
00001406: PUSH1 0x60
00001408: ADD
00001409: SWAP1
0000140a: JUMP
0000140b: JUMPDEST
0000140c: PUSH1 0x00
0000140e: PUSH1 0x20
00001410: DUP3
00001411: DUP5
00001412: SUB
00001413: SLT
00001414: ISZERO
00001415: PUSH2 0x141d
00001418: JUMPI
00001419: PUSH1 0x00
0000141b: DUP1
0000141c: REVERT
0000141d: JUMPDEST
0000141e: DUP2
0000141f: MLOAD
00001420: PUSH2 0x1116
00001423: DUP2
00001424: PUSH2 0x12b0
00001427: JUMP
00001428: JUMPDEST
00001429: PUSH4 0x4e487b71
0000142e: PUSH1 0xe0
00001430: SHL
00001431: PUSH1 0x00
00001433: MSTORE
00001434: PUSH1 0x11
00001436: PUSH1 0x04
00001438: MSTORE
00001439: PUSH1 0x24
0000143b: PUSH1 0x00
0000143d: REVERT
0000143e: JUMPDEST
0000143f: PUSH1 0x00
00001441: DUP3
00001442: NOT
00001443: DUP3
00001444: GT
00001445: ISZERO
00001446: PUSH2 0x1451
00001449: JUMPI
0000144a: PUSH2 0x1451
0000144d: PUSH2 0x1428
00001450: JUMP
00001451: JUMPDEST
00001452: POP
00001453: ADD
00001454: SWAP1
00001455: JUMP
00001456: JUMPDEST
00001457: PUSH4 0x4e487b71
0000145c: PUSH1 0xe0
0000145e: SHL
0000145f: PUSH1 0x00
00001461: MSTORE
00001462: PUSH1 0x41
00001464: PUSH1 0x04
00001466: MSTORE
00001467: PUSH1 0x24
00001469: PUSH1 0x00
0000146b: REVERT
0000146c: JUMPDEST
0000146d: PUSH1 0x40
0000146f: MLOAD
00001470: PUSH1 0xa0
00001472: DUP2
00001473: ADD
00001474: PUSH1 0x01
00001476: PUSH1 0x01
00001478: PUSH1 0x40
0000147a: SHL
0000147b: SUB
0000147c: DUP2
0000147d: GT
0000147e: DUP3
0000147f: DUP3
00001480: LT
00001481: OR
00001482: ISZERO
00001483: PUSH2 0x148e
00001486: JUMPI
00001487: PUSH2 0x148e
0000148a: PUSH2 0x1456
0000148d: JUMP
0000148e: JUMPDEST
0000148f: PUSH1 0x40
00001491: MSTORE
00001492: SWAP1
00001493: JUMP
00001494: JUMPDEST
00001495: PUSH1 0x40
00001497: MLOAD
00001498: PUSH1 0x80
0000149a: DUP2
0000149b: ADD
0000149c: PUSH1 0x01
0000149e: PUSH1 0x01
000014a0: PUSH1 0x40
000014a2: SHL
000014a3: SUB
000014a4: DUP2
000014a5: GT
000014a6: DUP3
000014a7: DUP3
000014a8: LT
000014a9: OR
000014aa: ISZERO
000014ab: PUSH2 0x148e
000014ae: JUMPI
000014af: PUSH2 0x148e
000014b2: PUSH2 0x1456
000014b5: JUMP
000014b6: JUMPDEST
000014b7: PUSH1 0x40
000014b9: MLOAD
000014ba: PUSH1 0x1f
000014bc: DUP3
000014bd: ADD
000014be: PUSH1 0x1f
000014c0: NOT
000014c1: AND
000014c2: DUP2
000014c3: ADD
000014c4: PUSH1 0x01
000014c6: PUSH1 0x01
000014c8: PUSH1 0x40
000014ca: SHL
000014cb: SUB
000014cc: DUP2
000014cd: GT
000014ce: DUP3
000014cf: DUP3
000014d0: LT
000014d1: OR
000014d2: ISZERO
000014d3: PUSH2 0x14de
000014d6: JUMPI
000014d7: PUSH2 0x14de
000014da: PUSH2 0x1456
000014dd: JUMP
000014de: JUMPDEST
000014df: PUSH1 0x40
000014e1: MSTORE
000014e2: SWAP2
000014e3: SWAP1
000014e4: POP
000014e5: JUMP
000014e6: JUMPDEST
000014e7: DUP1
000014e8: CALLDATALOAD
000014e9: PUSH4 0xffffffff
000014ee: DUP2
000014ef: AND
000014f0: DUP2
000014f1: EQ
000014f2: PUSH2 0x14fa
000014f5: JUMPI
000014f6: PUSH1 0x00
000014f8: DUP1
000014f9: REVERT
000014fa: JUMPDEST
000014fb: SWAP2
000014fc: SWAP1
000014fd: POP
000014fe: JUMP
000014ff: JUMPDEST
00001500: PUSH1 0x00
00001502: PUSH1 0xa0
00001504: DUP3
00001505: DUP5
00001506: SUB
00001507: SLT
00001508: ISZERO
00001509: PUSH2 0x1511
0000150c: JUMPI
0000150d: PUSH1 0x00
0000150f: DUP1
00001510: REVERT
00001511: JUMPDEST
00001512: PUSH1 0x40
00001514: MLOAD
00001515: PUSH1 0xa0
00001517: DUP2
00001518: ADD
00001519: DUP2
0000151a: DUP2
0000151b: LT
0000151c: PUSH1 0x01
0000151e: PUSH1 0x01
00001520: PUSH1 0x40
00001522: SHL
00001523: SUB
00001524: DUP3
00001525: GT
00001526: OR
00001527: ISZERO
00001528: PUSH2 0x1533
0000152b: JUMPI
0000152c: PUSH2 0x1533
0000152f: PUSH2 0x1456
00001532: JUMP
00001533: JUMPDEST
00001534: PUSH1 0x40
00001536: MSTORE
00001537: DUP3
00001538: CALLDATALOAD
00001539: DUP2
0000153a: MSTORE
0000153b: PUSH1 0x20
0000153d: DUP4
0000153e: ADD
0000153f: CALLDATALOAD
00001540: PUSH2 0x1548
00001543: DUP2
00001544: PUSH2 0x13bb
00001547: JUMP
00001548: JUMPDEST
00001549: PUSH1 0x20
0000154b: DUP3
0000154c: ADD
0000154d: MSTORE
0000154e: PUSH1 0x40
00001550: DUP4
00001551: DUP2
00001552: ADD
00001553: CALLDATALOAD
00001554: SWAP1
00001555: DUP3
00001556: ADD
00001557: MSTORE
00001558: PUSH1 0x60
0000155a: DUP4
0000155b: ADD
0000155c: CALLDATALOAD
0000155d: PUSH2 0x1565
00001560: DUP2
00001561: PUSH2 0x13bb
00001564: JUMP
00001565: JUMPDEST
00001566: PUSH1 0x60
00001568: DUP3
00001569: ADD
0000156a: MSTORE
0000156b: PUSH2 0x1576
0000156e: PUSH1 0x80
00001570: DUP5
00001571: ADD
00001572: PUSH2 0x14e6
00001575: JUMP
00001576: JUMPDEST
00001577: PUSH1 0x80
00001579: DUP3
0000157a: ADD
0000157b: MSTORE
0000157c: SWAP4
0000157d: SWAP3
0000157e: POP
0000157f: POP
00001580: POP
00001581: JUMP
00001582: JUMPDEST
00001583: PUSH1 0x00
00001585: PUSH1 0x40
00001587: DUP3
00001588: DUP5
00001589: SUB
0000158a: SLT
0000158b: ISZERO
0000158c: PUSH2 0x1594
0000158f: JUMPI
00001590: PUSH1 0x00
00001592: DUP1
00001593: REVERT
00001594: JUMPDEST
00001595: PUSH1 0x40
00001597: MLOAD
00001598: PUSH1 0x40
0000159a: DUP2
0000159b: ADD
0000159c: DUP2
0000159d: DUP2
0000159e: LT
0000159f: PUSH1 0x01
000015a1: PUSH1 0x01
000015a3: PUSH1 0x40
000015a5: SHL
000015a6: SUB
000015a7: DUP3
000015a8: GT
000015a9: OR
000015aa: ISZERO
000015ab: PUSH2 0x15b6
000015ae: JUMPI
000015af: PUSH2 0x15b6
000015b2: PUSH2 0x1456
000015b5: JUMP
000015b6: JUMPDEST
000015b7: PUSH1 0x40
000015b9: MSTORE
000015ba: DUP3
000015bb: CALLDATALOAD
000015bc: PUSH2 0x15c4
000015bf: DUP2
000015c0: PUSH2 0x13bb
000015c3: JUMP
000015c4: JUMPDEST
000015c5: DUP2
000015c6: MSTORE
000015c7: PUSH2 0x15d2
000015ca: PUSH1 0x20
000015cc: DUP5
000015cd: ADD
000015ce: PUSH2 0x14e6
000015d1: JUMP
000015d2: JUMPDEST
000015d3: PUSH1 0x20
000015d5: DUP3
000015d6: ADD
000015d7: MSTORE
000015d8: SWAP4
000015d9: SWAP3
000015da: POP
000015db: POP
000015dc: POP
000015dd: JUMP
000015de: JUMPDEST
000015df: PUSH1 0x00
000015e1: JUMPDEST
000015e2: DUP4
000015e3: DUP2
000015e4: LT
000015e5: ISZERO
000015e6: PUSH2 0x15f9
000015e9: JUMPI
000015ea: DUP2
000015eb: DUP2
000015ec: ADD
000015ed: MLOAD
000015ee: DUP4
000015ef: DUP3
000015f0: ADD
000015f1: MSTORE
000015f2: PUSH1 0x20
000015f4: ADD
000015f5: PUSH2 0x15e1
000015f8: JUMP
000015f9: JUMPDEST
000015fa: DUP4
000015fb: DUP2
000015fc: GT
000015fd: ISZERO
000015fe: PUSH2 0x0c23
00001601: JUMPI
00001602: POP
00001603: POP
00001604: PUSH1 0x00
00001606: SWAP2
00001607: ADD
00001608: MSTORE
00001609: JUMP
0000160a: JUMPDEST
0000160b: PUSH1 0x00
0000160d: DUP2
0000160e: MLOAD
0000160f: DUP1
00001610: DUP5
00001611: MSTORE
00001612: PUSH2 0x1622
00001615: DUP2
00001616: PUSH1 0x20
00001618: DUP7
00001619: ADD
0000161a: PUSH1 0x20
0000161c: DUP7
0000161d: ADD
0000161e: PUSH2 0x15de
00001621: JUMP
00001622: JUMPDEST
00001623: PUSH1 0x1f
00001625: ADD
00001626: PUSH1 0x1f
00001628: NOT
00001629: AND
0000162a: SWAP3
0000162b: SWAP1
0000162c: SWAP3
0000162d: ADD
0000162e: PUSH1 0x20
00001630: ADD
00001631: SWAP3
00001632: SWAP2
00001633: POP
00001634: POP
00001635: JUMP
00001636: JUMPDEST
00001637: PUSH1 0x01
00001639: PUSH1 0x01
0000163b: PUSH1 0xa0
0000163d: SHL
0000163e: SUB
0000163f: DUP5
00001640: AND
00001641: DUP2
00001642: MSTORE
00001643: PUSH1 0x60
00001645: PUSH1 0x20
00001647: DUP3
00001648: ADD
00001649: DUP2
0000164a: SWAP1
0000164b: MSTORE
0000164c: PUSH1 0x00
0000164e: SWAP1
0000164f: PUSH2 0x165a
00001652: SWAP1
00001653: DUP4
00001654: ADD
00001655: DUP6
00001656: PUSH2 0x160a
00001659: JUMP
0000165a: JUMPDEST
0000165b: SWAP1
0000165c: POP
0000165d: PUSH4 0xffffffff
00001662: DUP4
00001663: AND
00001664: PUSH1 0x40
00001666: DUP4
00001667: ADD
00001668: MSTORE
00001669: SWAP5
0000166a: SWAP4
0000166b: POP
0000166c: POP
0000166d: POP
0000166e: POP
0000166f: JUMP
00001670: JUMPDEST
00001671: PUSH1 0x00
00001673: PUSH1 0x01
00001675: PUSH1 0x01
00001677: PUSH1 0x40
00001679: SHL
0000167a: SUB
0000167b: DUP3
0000167c: GT
0000167d: ISZERO
0000167e: PUSH2 0x1689
00001681: JUMPI
00001682: PUSH2 0x1689
00001685: PUSH2 0x1456
00001688: JUMP
00001689: JUMPDEST
0000168a: POP
0000168b: PUSH1 0x1f
0000168d: ADD
0000168e: PUSH1 0x1f
00001690: NOT
00001691: AND
00001692: PUSH1 0x20
00001694: ADD
00001695: SWAP1
00001696: JUMP
00001697: JUMPDEST
00001698: PUSH1 0x00
0000169a: DUP3
0000169b: PUSH1 0x1f
0000169d: DUP4
0000169e: ADD
0000169f: SLT
000016a0: PUSH2 0x16a8
000016a3: JUMPI
000016a4: PUSH1 0x00
000016a6: DUP1
000016a7: REVERT
000016a8: JUMPDEST
000016a9: DUP2
000016aa: CALLDATALOAD
000016ab: PUSH2 0x16bb
000016ae: PUSH2 0x16b6
000016b1: DUP3
000016b2: PUSH2 0x1670
000016b5: JUMP
000016b6: JUMPDEST
000016b7: PUSH2 0x14b6
000016ba: JUMP
000016bb: JUMPDEST
000016bc: DUP2
000016bd: DUP2
000016be: MSTORE
000016bf: DUP5
000016c0: PUSH1 0x20
000016c2: DUP4
000016c3: DUP7
000016c4: ADD
000016c5: ADD
000016c6: GT
000016c7: ISZERO
000016c8: PUSH2 0x16d0
000016cb: JUMPI
000016cc: PUSH1 0x00
000016ce: DUP1
000016cf: REVERT
000016d0: JUMPDEST
000016d1: DUP2
000016d2: PUSH1 0x20
000016d4: DUP6
000016d5: ADD
000016d6: PUSH1 0x20
000016d8: DUP4
000016d9: ADD
000016da: CALLDATACOPY
000016db: PUSH1 0x00
000016dd: SWAP2
000016de: DUP2
000016df: ADD
000016e0: PUSH1 0x20
000016e2: ADD
000016e3: SWAP2
000016e4: SWAP1
000016e5: SWAP2
000016e6: MSTORE
000016e7: SWAP4
000016e8: SWAP3
000016e9: POP
000016ea: POP
000016eb: POP
000016ec: JUMP
000016ed: JUMPDEST
000016ee: PUSH1 0x00
000016f0: PUSH1 0x20
000016f2: DUP3
000016f3: DUP5
000016f4: SUB
000016f5: SLT
000016f6: ISZERO
000016f7: PUSH2 0x16ff
000016fa: JUMPI
000016fb: PUSH1 0x00
000016fd: DUP1
000016fe: REVERT
000016ff: JUMPDEST
00001700: DUP2
00001701: CALLDATALOAD
00001702: PUSH1 0x01
00001704: PUSH1 0x01
00001706: PUSH1 0x40
00001708: SHL
00001709: SUB
0000170a: DUP1
0000170b: DUP3
0000170c: GT
0000170d: ISZERO
0000170e: PUSH2 0x1716
00001711: JUMPI
00001712: PUSH1 0x00
00001714: DUP1
00001715: REVERT
00001716: JUMPDEST
00001717: SWAP1
00001718: DUP4
00001719: ADD
0000171a: SWAP1
0000171b: PUSH1 0xa0
0000171d: DUP3
0000171e: DUP7
0000171f: SUB
00001720: SLT
00001721: ISZERO
00001722: PUSH2 0x172a
00001725: JUMPI
00001726: PUSH1 0x00
00001728: DUP1
00001729: REVERT
0000172a: JUMPDEST
0000172b: PUSH2 0x1732
0000172e: PUSH2 0x146c
00001731: JUMP
00001732: JUMPDEST
00001733: DUP3
00001734: CALLDATALOAD
00001735: DUP2
00001736: MSTORE
00001737: PUSH1 0x20
00001739: DUP4
0000173a: ADD
0000173b: CALLDATALOAD
0000173c: PUSH2 0x1744
0000173f: DUP2
00001740: PUSH2 0x12b0
00001743: JUMP
00001744: JUMPDEST
00001745: PUSH1 0x20
00001747: DUP3
00001748: ADD
00001749: MSTORE
0000174a: PUSH1 0x40
0000174c: DUP4
0000174d: ADD
0000174e: CALLDATALOAD
0000174f: PUSH2 0x1757
00001752: DUP2
00001753: PUSH2 0x12b0
00001756: JUMP
00001757: JUMPDEST
00001758: PUSH1 0x40
0000175a: DUP3
0000175b: ADD
0000175c: MSTORE
0000175d: PUSH1 0x60
0000175f: DUP4
00001760: ADD
00001761: CALLDATALOAD
00001762: DUP3
00001763: DUP2
00001764: GT
00001765: ISZERO
00001766: PUSH2 0x176e
00001769: JUMPI
0000176a: PUSH1 0x00
0000176c: DUP1
0000176d: REVERT
0000176e: JUMPDEST
0000176f: PUSH2 0x177a
00001772: DUP8
00001773: DUP3
00001774: DUP7
00001775: ADD
00001776: PUSH2 0x1697
00001779: JUMP
0000177a: JUMPDEST
0000177b: PUSH1 0x60
0000177d: DUP4
0000177e: ADD
0000177f: MSTORE
00001780: POP
00001781: PUSH2 0x178c
00001784: PUSH1 0x80
00001786: DUP5
00001787: ADD
00001788: PUSH2 0x14e6
0000178b: JUMP
0000178c: JUMPDEST
0000178d: PUSH1 0x80
0000178f: DUP3
00001790: ADD
00001791: MSTORE
00001792: SWAP6
00001793: SWAP5
00001794: POP
00001795: POP
00001796: POP
00001797: POP
00001798: POP
00001799: JUMP
0000179a: JUMPDEST
0000179b: DUP4
0000179c: DUP2
0000179d: MSTORE
0000179e: PUSH1 0x01
000017a0: PUSH1 0x01
000017a2: PUSH1 0xa0
000017a4: SHL
000017a5: SUB
000017a6: DUP4
000017a7: AND
000017a8: PUSH1 0x20
000017aa: DUP3
000017ab: ADD
000017ac: MSTORE
000017ad: PUSH1 0x60
000017af: PUSH1 0x40
000017b1: DUP3
000017b2: ADD
000017b3: DUP2
000017b4: SWAP1
000017b5: MSTORE
000017b6: PUSH1 0x00
000017b8: SWAP1
000017b9: PUSH2 0x17c4
000017bc: SWAP1
000017bd: DUP4
000017be: ADD
000017bf: DUP5
000017c0: PUSH2 0x160a
000017c3: JUMP
000017c4: JUMPDEST
000017c5: SWAP6
000017c6: SWAP5
000017c7: POP
000017c8: POP
000017c9: POP
000017ca: POP
000017cb: POP
000017cc: JUMP
000017cd: JUMPDEST
000017ce: PUSH1 0x00
000017d0: PUSH1 0x20
000017d2: DUP3
000017d3: DUP5
000017d4: SUB
000017d5: SLT
000017d6: ISZERO
000017d7: PUSH2 0x17df
000017da: JUMPI
000017db: PUSH1 0x00
000017dd: DUP1
000017de: REVERT
000017df: JUMPDEST
000017e0: DUP2
000017e1: CALLDATALOAD
000017e2: PUSH1 0x01
000017e4: PUSH1 0x01
000017e6: PUSH1 0x40
000017e8: SHL
000017e9: SUB
000017ea: DUP1
000017eb: DUP3
000017ec: GT
000017ed: ISZERO
000017ee: PUSH2 0x17f6
000017f1: JUMPI
000017f2: PUSH1 0x00
000017f4: DUP1
000017f5: REVERT
000017f6: JUMPDEST
000017f7: SWAP1
000017f8: DUP4
000017f9: ADD
000017fa: SWAP1
000017fb: PUSH1 0x80
000017fd: DUP3
000017fe: DUP7
000017ff: SUB
00001800: SLT
00001801: ISZERO
00001802: PUSH2 0x180a
00001805: JUMPI
00001806: PUSH1 0x00
00001808: DUP1
00001809: REVERT
0000180a: JUMPDEST
0000180b: PUSH2 0x1812
0000180e: PUSH2 0x1494
00001811: JUMP
00001812: JUMPDEST
00001813: DUP3
00001814: CALLDATALOAD
00001815: DUP2
00001816: MSTORE
00001817: PUSH1 0x20
00001819: DUP4
0000181a: ADD
0000181b: CALLDATALOAD
0000181c: PUSH2 0x1824
0000181f: DUP2
00001820: PUSH2 0x12b0
00001823: JUMP
00001824: JUMPDEST
00001825: PUSH1 0x20
00001827: DUP3
00001828: ADD
00001829: MSTORE
0000182a: PUSH1 0x40
0000182c: DUP4
0000182d: ADD
0000182e: CALLDATALOAD
0000182f: PUSH2 0x1837
00001832: DUP2
00001833: PUSH2 0x12b0
00001836: JUMP
00001837: JUMPDEST
00001838: PUSH1 0x40
0000183a: DUP3
0000183b: ADD
0000183c: MSTORE
0000183d: PUSH1 0x60
0000183f: DUP4
00001840: ADD
00001841: CALLDATALOAD
00001842: DUP3
00001843: DUP2
00001844: GT
00001845: ISZERO
00001846: PUSH2 0x184e
00001849: JUMPI
0000184a: PUSH1 0x00
0000184c: DUP1
0000184d: REVERT
0000184e: JUMPDEST
0000184f: PUSH2 0x185a
00001852: DUP8
00001853: DUP3
00001854: DUP7
00001855: ADD
00001856: PUSH2 0x1697
00001859: JUMP
0000185a: JUMPDEST
0000185b: PUSH1 0x60
0000185d: DUP4
0000185e: ADD
0000185f: MSTORE
00001860: POP
00001861: SWAP6
00001862: SWAP5
00001863: POP
00001864: POP
00001865: POP
00001866: POP
00001867: POP
00001868: JUMP
00001869: JUMPDEST
0000186a: PUSH1 0x00
0000186c: DUP3
0000186d: MLOAD
0000186e: PUSH2 0x187b
00001871: DUP2
00001872: DUP5
00001873: PUSH1 0x20
00001875: DUP8
00001876: ADD
00001877: PUSH2 0x15de
0000187a: JUMP
0000187b: JUMPDEST
0000187c: SWAP2
0000187d: SWAP1
0000187e: SWAP2
0000187f: ADD
00001880: SWAP3
00001881: SWAP2
00001882: POP
00001883: POP
00001884: JUMP
00001885: JUMPDEST
00001886: PUSH1 0x00
00001888: DUP3
00001889: DUP3
0000188a: LT
0000188b: ISZERO
0000188c: PUSH2 0x1897
0000188f: JUMPI
00001890: PUSH2 0x1897
00001893: PUSH2 0x1428
00001896: JUMP
00001897: JUMPDEST
00001898: POP
00001899: SUB
0000189a: SWAP1
0000189b: JUMP
0000189c: JUMPDEST
0000189d: PUSH1 0x00
0000189f: PUSH1 0x80
000018a1: DUP3
000018a2: DUP5
000018a3: SUB
000018a4: SLT
000018a5: ISZERO
000018a6: PUSH2 0x18ae
000018a9: JUMPI
000018aa: PUSH1 0x00
000018ac: DUP1
000018ad: REVERT
000018ae: JUMPDEST
000018af: PUSH2 0x18b6
000018b2: PUSH2 0x1494
000018b5: JUMP
000018b6: JUMPDEST
000018b7: SWAP1
000018b8: POP
000018b9: DUP2
000018ba: MLOAD
000018bb: DUP2
000018bc: MSTORE
000018bd: PUSH1 0x20
000018bf: DUP3
000018c0: ADD
000018c1: MLOAD
000018c2: PUSH1 0x20
000018c4: DUP3
000018c5: ADD
000018c6: MSTORE
000018c7: PUSH1 0x40
000018c9: DUP3
000018ca: ADD
000018cb: MLOAD
000018cc: PUSH2 0x18d4
000018cf: DUP2
000018d0: PUSH2 0x12b0
000018d3: JUMP
000018d4: JUMPDEST
000018d5: PUSH1 0x40
000018d7: DUP3
000018d8: ADD
000018d9: MSTORE
000018da: PUSH1 0x60
000018dc: DUP3
000018dd: ADD
000018de: MLOAD
000018df: PUSH1 0x01
000018e1: PUSH1 0x01
000018e3: PUSH1 0x40
000018e5: SHL
000018e6: SUB
000018e7: DUP2
000018e8: GT
000018e9: ISZERO
000018ea: PUSH2 0x18f2
000018ed: JUMPI
000018ee: PUSH1 0x00
000018f0: DUP1
000018f1: REVERT
000018f2: JUMPDEST
000018f3: DUP3
000018f4: ADD
000018f5: PUSH1 0x1f
000018f7: DUP2
000018f8: ADD
000018f9: DUP5
000018fa: SGT
000018fb: PUSH2 0x1903
000018fe: JUMPI
000018ff: PUSH1 0x00
00001901: DUP1
00001902: REVERT
00001903: JUMPDEST
00001904: DUP1
00001905: MLOAD
00001906: PUSH2 0x1911
00001909: PUSH2 0x16b6
0000190c: DUP3
0000190d: PUSH2 0x1670
00001910: JUMP
00001911: JUMPDEST
00001912: DUP2
00001913: DUP2
00001914: MSTORE
00001915: DUP6
00001916: PUSH1 0x20
00001918: DUP4
00001919: DUP6
0000191a: ADD
0000191b: ADD
0000191c: GT
0000191d: ISZERO
0000191e: PUSH2 0x1926
00001921: JUMPI
00001922: PUSH1 0x00
00001924: DUP1
00001925: REVERT
00001926: JUMPDEST
00001927: PUSH2 0x1937
0000192a: DUP3
0000192b: PUSH1 0x20
0000192d: DUP4
0000192e: ADD
0000192f: PUSH1 0x20
00001931: DUP7
00001932: ADD
00001933: PUSH2 0x15de
00001936: JUMP
00001937: JUMPDEST
00001938: PUSH1 0x60
0000193a: DUP5
0000193b: ADD
0000193c: MSTORE
0000193d: POP
0000193e: SWAP1
0000193f: SWAP4
00001940: SWAP3
00001941: POP
00001942: POP
00001943: POP
00001944: JUMP
00001945: JUMPDEST
00001946: PUSH1 0x00
00001948: PUSH1 0x20
0000194a: DUP3
0000194b: DUP5
0000194c: SUB
0000194d: SLT
0000194e: ISZERO
0000194f: PUSH2 0x1957
00001952: JUMPI
00001953: PUSH1 0x00
00001955: DUP1
00001956: REVERT
00001957: JUMPDEST
00001958: DUP2
00001959: MLOAD
0000195a: PUSH1 0x01
0000195c: PUSH1 0x01
0000195e: PUSH1 0x40
00001960: SHL
00001961: SUB
00001962: DUP1
00001963: DUP3
00001964: GT
00001965: ISZERO
00001966: PUSH2 0x196e
00001969: JUMPI
0000196a: PUSH1 0x00
0000196c: DUP1
0000196d: REVERT
0000196e: JUMPDEST
0000196f: SWAP1
00001970: DUP4
00001971: ADD
00001972: SWAP1
00001973: PUSH1 0xa0
00001975: DUP3
00001976: DUP7
00001977: SUB
00001978: SLT
00001979: ISZERO
0000197a: PUSH2 0x1982
0000197d: JUMPI
0000197e: PUSH1 0x00
00001980: DUP1
00001981: REVERT
00001982: JUMPDEST
00001983: PUSH2 0x198a
00001986: PUSH2 0x146c
00001989: JUMP
0000198a: JUMPDEST
0000198b: DUP3
0000198c: MLOAD
0000198d: PUSH2 0x1995
00001990: DUP2
00001991: PUSH2 0x12b0
00001994: JUMP
00001995: JUMPDEST
00001996: DUP1
00001997: DUP3
00001998: MSTORE
00001999: POP
0000199a: PUSH1 0x20
0000199c: DUP4
0000199d: ADD
0000199e: MLOAD
0000199f: PUSH1 0x20
000019a1: DUP3
000019a2: ADD
000019a3: MSTORE
000019a4: PUSH1 0x40
000019a6: DUP4
000019a7: ADD
000019a8: MLOAD
000019a9: PUSH1 0x40
000019ab: DUP3
000019ac: ADD
000019ad: MSTORE
000019ae: PUSH1 0x60
000019b0: DUP4
000019b1: ADD
000019b2: MLOAD
000019b3: DUP3
000019b4: DUP2
000019b5: GT
000019b6: ISZERO
000019b7: PUSH2 0x19bf
000019ba: JUMPI
000019bb: PUSH1 0x00
000019bd: DUP1
000019be: REVERT
000019bf: JUMPDEST
000019c0: PUSH2 0x19cb
000019c3: DUP8
000019c4: DUP3
000019c5: DUP7
000019c6: ADD
000019c7: PUSH2 0x189c
000019ca: JUMP
000019cb: JUMPDEST
000019cc: PUSH1 0x60
000019ce: DUP4
000019cf: ADD
000019d0: MSTORE
000019d1: POP
000019d2: PUSH1 0x80
000019d4: DUP4
000019d5: ADD
000019d6: MLOAD
000019d7: DUP3
000019d8: DUP2
000019d9: GT
000019da: ISZERO
000019db: PUSH2 0x19e3
000019de: JUMPI
000019df: PUSH1 0x00
000019e1: DUP1
000019e2: REVERT
000019e3: JUMPDEST
000019e4: PUSH2 0x19ef
000019e7: DUP8
000019e8: DUP3
000019e9: DUP7
000019ea: ADD
000019eb: PUSH2 0x189c
000019ee: JUMP
000019ef: JUMPDEST
000019f0: PUSH1 0x80
000019f2: DUP4
000019f3: ADD
000019f4: MSTORE
000019f5: POP
000019f6: SWAP6
000019f7: SWAP5
000019f8: POP
000019f9: POP
000019fa: POP
000019fb: POP
000019fc: POP
000019fd: JUMP
000019fe: INVALID
000019ff: LOG2
00001a00: PUSH5 0x6970667358
00001a06: UNKNOWN(0x22)
00001a07: SLT
00001a08: KECCAK256
00001a09: SWAP9
00001a0a: UNKNOWN(0xB7)
00001a0b: PUSH27 0xcd95fa8ef98b38451033d70f950bbf167f788902f7c43410b020a9
00001a27: PUSH30

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xe547b6f00984ff6ce2c7715c003e85d4ff31ca94d368cdbde5db2417f9c9c726
call_targets: 0x3a32becc41115b4aa8bd8614301aebb9bb11258b
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xe547b6f00984ff6ce2c7715c003e85d4ff31ca94d368cdbde5db2417f9c9c726",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x3a32becc41115b4aa8bd8614301aebb9bb11258b"
    ],
    "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": "0xb3d32010",
            "selector": "0xb3d32010",
            "calldata_variants": [
                "0xb3d32010",
                "0xb3d320100000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcb71299f",
            "selector": "0xcb71299f",
            "calldata_variants": [
                "0xcb71299f",
                "0xcb71299f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe00dcb3d",
            "selector": "0xe00dcb3d",
            "calldata_variants": [
                "0xe00dcb3d",
                "0xe00dcb3d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe2df600f",
            "selector": "0xe2df600f",
            "calldata_variants": [
                "0xe2df600f",
                "0xe2df600f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xea32afae",
            "selector": "0xea32afae",
            "calldata_variants": [
                "0xea32afae",
                "0xea32afae0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfbfa77cf",
            "selector": "0xfbfa77cf",
            "calldata_variants": [
                "0xfbfa77cf",
                "0xfbfa77cf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x94f6abfc",
            "selector": "0x94f6abfc",
            "calldata_variants": [
                "0x94f6abfc",
                "0x94f6abfc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x968ed600",
            "selector": "0x968ed600",
            "calldata_variants": [
                "0x968ed600",
                "0x968ed6000000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1378,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3201,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3423,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [],
    "untrusted_call_count": 5
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xe547b6f00984ff6ce2c7715c003e85d4ff31ca94d368cdbde5db2417f9c9c726
call_targets: 0x3a32becc41115b4aa8bd8614301aebb9bb11258b
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xe547b6f00984ff6ce2c7715c003e85d4ff31ca94d368cdbde5db2417f9c9c726",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x3a32becc41115b4aa8bd8614301aebb9bb11258b"
    ],
    "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": "0xb3d32010",
            "selector": "0xb3d32010",
            "calldata_variants": [
                "0xb3d32010",
                "0xb3d320100000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcb71299f",
            "selector": "0xcb71299f",
            "calldata_variants": [
                "0xcb71299f",
                "0xcb71299f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe00dcb3d",
            "selector": "0xe00dcb3d",
            "calldata_variants": [
                "0xe00dcb3d",
                "0xe00dcb3d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe2df600f",
            "selector": "0xe2df600f",
            "calldata_variants": [
                "0xe2df600f",
                "0xe2df600f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xea32afae",
            "selector": "0xea32afae",
            "calldata_variants": [
                "0xea32afae",
                "0xea32afae0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfbfa77cf",
            "selector": "0xfbfa77cf",
            "calldata_variants": [
                "0xfbfa77cf",
                "0xfbfa77cf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x94f6abfc",
            "selector": "0x94f6abfc",
            "calldata_variants": [
                "0x94f6abfc",
                "0x94f6abfc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x968ed600",
            "selector": "0x968ed600",
            "calldata_variants": [
                "0x968ed600",
                "0x968ed6000000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1378,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3201,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3423,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": []
}