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

Analysis Run

019b477e-cc7f-7148-9e17-6525d10d1235

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
ETH value transfer possible
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
26881 artifact.fetch complete 1 / 3 4 months ago
26882 tool.cast_disasm complete 1 / 3 4 months ago
91809 analysis.bundle complete 1 / 3 2 weeks ago
91810 capability.graph complete 1 / 3 2 weeks ago
91811 detector.run complete 1 / 3 2 weeks ago
91812 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)
5
EXT*/BALANCE
3
Total opcodes
7041
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 0x031a
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x715018a6
00000019: GT
0000001a: PUSH2 0x01ab
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb88d4fde
00000024: GT
00000025: PUSH2 0x00f7
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe4b7fb73
0000002f: GT
00000030: PUSH2 0x0095
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf4a0a528
0000003a: GT
0000003b: PUSH2 0x006f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf4a0a528
00000045: EQ
00000046: PUSH2 0x0914
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf95df414
00000050: EQ
00000051: PUSH2 0x0934
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf9e23799
0000005b: EQ
0000005c: PUSH2 0x0954
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfc6f9468
00000066: EQ
00000067: PUSH2 0x0973
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xe4b7fb73
00000076: EQ
00000077: PUSH2 0x0896
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xe985e9c5
00000081: EQ
00000082: PUSH2 0x08ab
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xf2fde38b
0000008c: EQ
0000008d: PUSH2 0x08f4
00000090: JUMPI
00000091: PUSH1 0x00
00000093: DUP1
00000094: REVERT
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0xc87b56dd
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xc87b56dd
000000a7: EQ
000000a8: PUSH2 0x082b
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xd111515d
000000b2: EQ
000000b3: PUSH2 0x084b
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xd5abeb01
000000bd: EQ
000000be: PUSH2 0x0860
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xe2e784d5
000000c8: EQ
000000c9: PUSH2 0x0876
000000cc: JUMPI
000000cd: PUSH1 0x00
000000cf: DUP1
000000d0: REVERT
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0xb88d4fde
000000d8: EQ
000000d9: PUSH2 0x07d8
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0xba41b0c6
000000e3: EQ
000000e4: PUSH2 0x07f8
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0xc132c310
000000ee: EQ
000000ef: PUSH2 0x080b
000000f2: JUMPI
000000f3: PUSH1 0x00
000000f5: DUP1
000000f6: REVERT
000000f7: JUMPDEST
000000f8: DUP1
000000f9: PUSH4 0xa1db9782
000000fe: GT
000000ff: PUSH2 0x0164
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0xacf080d1
00000109: GT
0000010a: PUSH2 0x013e
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0xacf080d1
00000114: EQ
00000115: PUSH2 0x0770
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0xae23d613
0000011f: EQ
00000120: PUSH2 0x0790
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0xb585209b
0000012a: EQ
0000012b: PUSH2 0x07b0
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0xb735ca7c
00000135: EQ
00000136: PUSH2 0x07c5
00000139: JUMPI
0000013a: PUSH1 0x00
0000013c: DUP1
0000013d: REVERT
0000013e: JUMPDEST
0000013f: DUP1
00000140: PUSH4 0xa1db9782
00000145: EQ
00000146: PUSH2 0x0716
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0xa22cb465
00000150: EQ
00000151: PUSH2 0x0736
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0xa809f7a5
0000015b: EQ
0000015c: PUSH2 0x0756
0000015f: JUMPI
00000160: PUSH1 0x00
00000162: DUP1
00000163: REVERT
00000164: JUMPDEST
00000165: DUP1
00000166: PUSH4 0x715018a6
0000016b: EQ
0000016c: PUSH2 0x0679
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x729ad39e
00000176: EQ
00000177: PUSH2 0x068e
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x80ae5091
00000181: EQ
00000182: PUSH2 0x06ae
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x8bad0c0a
0000018c: EQ
0000018d: PUSH2 0x06ce
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x8da5cb5b
00000197: EQ
00000198: PUSH2 0x06e3
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x95d89b41
000001a2: EQ
000001a3: PUSH2 0x0701
000001a6: JUMPI
000001a7: PUSH1 0x00
000001a9: DUP1
000001aa: REVERT
000001ab: JUMPDEST
000001ac: DUP1
000001ad: PUSH4 0x396876bd
000001b2: GT
000001b3: PUSH2 0x026a
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0x5b8d02d7
000001bd: GT
000001be: PUSH2 0x0223
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x6817c76c
000001c8: GT
000001c9: PUSH2 0x01fd
000001cc: JUMPI
000001cd: DUP1
000001ce: PUSH4 0x6817c76c
000001d3: EQ
000001d4: PUSH2 0x060d
000001d7: JUMPI
000001d8: DUP1
000001d9: PUSH4 0x6e4123dc
000001de: EQ
000001df: PUSH2 0x0623
000001e2: JUMPI
000001e3: DUP1
000001e4: PUSH4 0x6fa61b61
000001e9: EQ
000001ea: PUSH2 0x0639
000001ed: JUMPI
000001ee: DUP1
000001ef: PUSH4 0x70a08231
000001f4: EQ
000001f5: PUSH2 0x0659
000001f8: JUMPI
000001f9: PUSH1 0x00
000001fb: DUP1
000001fc: REVERT
000001fd: JUMPDEST
000001fe: DUP1
000001ff: PUSH4 0x5b8d02d7
00000204: EQ
00000205: PUSH2 0x05b8
00000208: JUMPI
00000209: DUP1
0000020a: PUSH4 0x6352211e
0000020f: EQ
00000210: PUSH2 0x05d8
00000213: JUMPI
00000214: DUP1
00000215: PUSH4 0x65135438
0000021a: EQ
0000021b: PUSH2 0x05f8
0000021e: JUMPI
0000021f: PUSH1 0x00
00000221: DUP1
00000222: REVERT
00000223: JUMPDEST
00000224: DUP1
00000225: PUSH4 0x396876bd
0000022a: EQ
0000022b: PUSH2 0x0502
0000022e: JUMPI
0000022f: DUP1
00000230: PUSH4 0x3bed33ce
00000235: EQ
00000236: PUSH2 0x0518
00000239: JUMPI
0000023a: DUP1
0000023b: PUSH4 0x3d6dc6cf
00000240: EQ
00000241: PUSH2 0x0538
00000244: JUMPI
00000245: DUP1
00000246: PUSH4 0x3ee791f9
0000024b: EQ
0000024c: PUSH2 0x0558
0000024f: JUMPI
00000250: DUP1
00000251: PUSH4 0x42842e0e
00000256: EQ
00000257: PUSH2 0x0578
0000025a: JUMPI
0000025b: DUP1
0000025c: PUSH4 0x55f804b3
00000261: EQ
00000262: PUSH2 0x0598
00000265: JUMPI
00000266: PUSH1 0x00
00000268: DUP1
00000269: REVERT
0000026a: JUMPDEST
0000026b: DUP1
0000026c: PUSH4 0x15a8f073
00000271: GT
00000272: PUSH2 0x02d7
00000275: JUMPI
00000276: DUP1
00000277: PUSH4 0x293108e0
0000027c: GT
0000027d: PUSH2 0x02b1
00000280: JUMPI
00000281: DUP1
00000282: PUSH4 0x293108e0
00000287: EQ
00000288: PUSH2 0x046d
0000028b: JUMPI
0000028c: DUP1
0000028d: PUSH4 0x2a55205a
00000292: EQ
00000293: PUSH2 0x0483
00000296: JUMPI
00000297: DUP1
00000298: PUSH4 0x2c1e816d
0000029d: EQ
0000029e: PUSH2 0x04c2
000002a1: JUMPI
000002a2: DUP1
000002a3: PUSH4 0x33ea51a8
000002a8: EQ
000002a9: PUSH2 0x04e2
000002ac: JUMPI
000002ad: PUSH1 0x00
000002af: DUP1
000002b0: REVERT
000002b1: JUMPDEST
000002b2: DUP1
000002b3: PUSH4 0x15a8f073
000002b8: EQ
000002b9: PUSH2 0x0411
000002bc: JUMPI
000002bd: DUP1
000002be: PUSH4 0x18160ddd
000002c3: EQ
000002c4: PUSH2 0x0426
000002c7: JUMPI
000002c8: DUP1
000002c9: PUSH4 0x23b872dd
000002ce: EQ
000002cf: PUSH2 0x044d
000002d2: JUMPI
000002d3: PUSH1 0x00
000002d5: DUP1
000002d6: REVERT
000002d7: JUMPDEST
000002d8: DUP1
000002d9: PUSH4 0x01ffc9a7
000002de: EQ
000002df: PUSH2 0x031f
000002e2: JUMPI
000002e3: DUP1
000002e4: PUSH4 0x040cd6f5
000002e9: EQ
000002ea: PUSH2 0x0354
000002ed: JUMPI
000002ee: DUP1
000002ef: PUSH4 0x054f7d9c
000002f4: EQ
000002f5: PUSH2 0x0376
000002f8: JUMPI
000002f9: DUP1
000002fa: PUSH4 0x06fdde03
000002ff: EQ
00000300: PUSH2 0x0397
00000303: JUMPI
00000304: DUP1
00000305: PUSH4 0x081812fc
0000030a: EQ
0000030b: PUSH2 0x03b9
0000030e: JUMPI
0000030f: DUP1
00000310: PUSH4 0x095ea7b3
00000315: EQ
00000316: PUSH2 0x03f1
00000319: JUMPI
0000031a: JUMPDEST
0000031b: PUSH1 0x00
0000031d: DUP1
0000031e: REVERT
0000031f: JUMPDEST
00000320: CALLVALUE
00000321: DUP1
00000322: ISZERO
00000323: PUSH2 0x032b
00000326: JUMPI
00000327: PUSH1 0x00
00000329: DUP1
0000032a: REVERT
0000032b: JUMPDEST
0000032c: POP
0000032d: PUSH2 0x033f
00000330: PUSH2 0x033a
00000333: CALLDATASIZE
00000334: PUSH1 0x04
00000336: PUSH2 0x24ed
00000339: JUMP
0000033a: JUMPDEST
0000033b: PUSH2 0x0993
0000033e: JUMP
0000033f: JUMPDEST
00000340: PUSH1 0x40
00000342: MLOAD
00000343: SWAP1
00000344: ISZERO
00000345: ISZERO
00000346: DUP2
00000347: MSTORE
00000348: PUSH1 0x20
0000034a: ADD
0000034b: JUMPDEST
0000034c: PUSH1 0x40
0000034e: MLOAD
0000034f: DUP1
00000350: SWAP2
00000351: SUB
00000352: SWAP1
00000353: RETURN
00000354: JUMPDEST
00000355: CALLVALUE
00000356: DUP1
00000357: ISZERO
00000358: PUSH2 0x0360
0000035b: JUMPI
0000035c: PUSH1 0x00
0000035e: DUP1
0000035f: REVERT
00000360: JUMPDEST
00000361: POP
00000362: PUSH2 0x0374
00000365: PUSH2 0x036f
00000368: CALLDATASIZE
00000369: PUSH1 0x04
0000036b: PUSH2 0x2526
0000036e: JUMP
0000036f: JUMPDEST
00000370: PUSH2 0x09b3
00000373: JUMP
00000374: JUMPDEST
00000375: STOP
00000376: JUMPDEST
00000377: CALLVALUE
00000378: DUP1
00000379: ISZERO
0000037a: PUSH2 0x0382
0000037d: JUMPI
0000037e: PUSH1 0x00
00000380: DUP1
00000381: REVERT
00000382: JUMPDEST
00000383: POP
00000384: PUSH1 0x0a
00000386: SLOAD
00000387: PUSH2 0x033f
0000038a: SWAP1
0000038b: PUSH1 0x01
0000038d: PUSH1 0xa0
0000038f: SHL
00000390: SWAP1
00000391: DIV
00000392: PUSH1 0xff
00000394: AND
00000395: DUP2
00000396: JUMP
00000397: JUMPDEST
00000398: CALLVALUE
00000399: DUP1
0000039a: ISZERO
0000039b: PUSH2 0x03a3
0000039e: JUMPI
0000039f: PUSH1 0x00
000003a1: DUP1
000003a2: REVERT
000003a3: JUMPDEST
000003a4: POP
000003a5: PUSH2 0x03ac
000003a8: PUSH2 0x0a1d
000003ab: JUMP
000003ac: JUMPDEST
000003ad: PUSH1 0x40
000003af: MLOAD
000003b0: PUSH2 0x034b
000003b3: SWAP2
000003b4: SWAP1
000003b5: PUSH2 0x2599
000003b8: JUMP
000003b9: JUMPDEST
000003ba: CALLVALUE
000003bb: DUP1
000003bc: ISZERO
000003bd: PUSH2 0x03c5
000003c0: JUMPI
000003c1: PUSH1 0x00
000003c3: DUP1
000003c4: REVERT
000003c5: JUMPDEST
000003c6: POP
000003c7: PUSH2 0x03d9
000003ca: PUSH2 0x03d4
000003cd: CALLDATASIZE
000003ce: PUSH1 0x04
000003d0: PUSH2 0x25ac
000003d3: JUMP
000003d4: JUMPDEST
000003d5: PUSH2 0x0aaf
000003d8: JUMP
000003d9: JUMPDEST
000003da: PUSH1 0x40
000003dc: MLOAD
000003dd: PUSH1 0x01
000003df: PUSH1 0x01
000003e1: PUSH1 0xa0
000003e3: SHL
000003e4: SUB
000003e5: SWAP1
000003e6: SWAP2
000003e7: AND
000003e8: DUP2
000003e9: MSTORE
000003ea: PUSH1 0x20
000003ec: ADD
000003ed: PUSH2 0x034b
000003f0: JUMP
000003f1: JUMPDEST
000003f2: CALLVALUE
000003f3: DUP1
000003f4: ISZERO
000003f5: PUSH2 0x03fd
000003f8: JUMPI
000003f9: PUSH1 0x00
000003fb: DUP1
000003fc: REVERT
000003fd: JUMPDEST
000003fe: POP
000003ff: PUSH2 0x0374
00000402: PUSH2 0x040c
00000405: CALLDATASIZE
00000406: PUSH1 0x04
00000408: PUSH2 0x25c5
0000040b: JUMP
0000040c: JUMPDEST
0000040d: PUSH2 0x0af3
00000410: JUMP
00000411: JUMPDEST
00000412: CALLVALUE
00000413: DUP1
00000414: ISZERO
00000415: PUSH2 0x041d
00000418: JUMPI
00000419: PUSH1 0x00
0000041b: DUP1
0000041c: REVERT
0000041d: JUMPDEST
0000041e: POP
0000041f: PUSH2 0x0374
00000422: PUSH2 0x0b93
00000425: JUMP
00000426: JUMPDEST
00000427: CALLVALUE
00000428: DUP1
00000429: ISZERO
0000042a: PUSH2 0x0432
0000042d: JUMPI
0000042e: PUSH1 0x00
00000430: DUP1
00000431: REVERT
00000432: JUMPDEST
00000433: POP
00000434: PUSH1 0x01
00000436: SLOAD
00000437: PUSH1 0x00
00000439: SLOAD
0000043a: SUB
0000043b: PUSH1 0x00
0000043d: NOT
0000043e: ADD
0000043f: JUMPDEST
00000440: PUSH1 0x40
00000442: MLOAD
00000443: SWAP1
00000444: DUP2
00000445: MSTORE
00000446: PUSH1 0x20
00000448: ADD
00000449: PUSH2 0x034b
0000044c: JUMP
0000044d: JUMPDEST
0000044e: CALLVALUE
0000044f: DUP1
00000450: ISZERO
00000451: PUSH2 0x0459
00000454: JUMPI
00000455: PUSH1 0x00
00000457: DUP1
00000458: REVERT
00000459: JUMPDEST
0000045a: POP
0000045b: PUSH2 0x0374
0000045e: PUSH2 0x0468
00000461: CALLDATASIZE
00000462: PUSH1 0x04
00000464: PUSH2 0x25ef
00000467: JUMP
00000468: JUMPDEST
00000469: PUSH2 0x0bdf
0000046c: JUMP
0000046d: JUMPDEST
0000046e: CALLVALUE
0000046f: DUP1
00000470: ISZERO
00000471: PUSH2 0x0479
00000474: JUMPI
00000475: PUSH1 0x00
00000477: DUP1
00000478: REVERT
00000479: JUMPDEST
0000047a: POP
0000047b: PUSH2 0x043f
0000047e: PUSH1 0x13
00000480: SLOAD
00000481: DUP2
00000482: JUMP
00000483: JUMPDEST
00000484: CALLVALUE
00000485: DUP1
00000486: ISZERO
00000487: PUSH2 0x048f
0000048a: JUMPI
0000048b: PUSH1 0x00
0000048d: DUP1
0000048e: REVERT
0000048f: JUMPDEST
00000490: POP
00000491: PUSH2 0x04a3
00000494: PUSH2 0x049e
00000497: CALLDATASIZE
00000498: PUSH1 0x04
0000049a: PUSH2 0x262b
0000049d: JUMP
0000049e: JUMPDEST
0000049f: PUSH2 0x0d77
000004a2: JUMP
000004a3: JUMPDEST
000004a4: PUSH1 0x40
000004a6: DUP1
000004a7: MLOAD
000004a8: PUSH1 0x01
000004aa: PUSH1 0x01
000004ac: PUSH1 0xa0
000004ae: SHL
000004af: SUB
000004b0: SWAP1
000004b1: SWAP4
000004b2: AND
000004b3: DUP4
000004b4: MSTORE
000004b5: PUSH1 0x20
000004b7: DUP4
000004b8: ADD
000004b9: SWAP2
000004ba: SWAP1
000004bb: SWAP2
000004bc: MSTORE
000004bd: ADD
000004be: PUSH2 0x034b
000004c1: JUMP
000004c2: JUMPDEST
000004c3: CALLVALUE
000004c4: DUP1
000004c5: ISZERO
000004c6: PUSH2 0x04ce
000004c9: JUMPI
000004ca: PUSH1 0x00
000004cc: DUP1
000004cd: REVERT
000004ce: JUMPDEST
000004cf: POP
000004d0: PUSH2 0x0374
000004d3: PUSH2 0x04dd
000004d6: CALLDATASIZE
000004d7: PUSH1 0x04
000004d9: PUSH2 0x2526
000004dc: JUMP
000004dd: JUMPDEST
000004de: PUSH2 0x0db3
000004e1: JUMP
000004e2: JUMPDEST
000004e3: CALLVALUE
000004e4: DUP1
000004e5: ISZERO
000004e6: PUSH2 0x04ee
000004e9: JUMPI
000004ea: PUSH1 0x00
000004ec: DUP1
000004ed: REVERT
000004ee: JUMPDEST
000004ef: POP
000004f0: PUSH2 0x0374
000004f3: PUSH2 0x04fd
000004f6: CALLDATASIZE
000004f7: PUSH1 0x04
000004f9: PUSH2 0x2526
000004fc: JUMP
000004fd: JUMPDEST
000004fe: PUSH2 0x0e4f
00000501: JUMP
00000502: JUMPDEST
00000503: CALLVALUE
00000504: DUP1
00000505: ISZERO
00000506: PUSH2 0x050e
00000509: JUMPI
0000050a: PUSH1 0x00
0000050c: DUP1
0000050d: REVERT
0000050e: JUMPDEST
0000050f: POP
00000510: PUSH2 0x043f
00000513: PUSH1 0x11
00000515: SLOAD
00000516: DUP2
00000517: JUMP
00000518: JUMPDEST
00000519: CALLVALUE
0000051a: DUP1
0000051b: ISZERO
0000051c: PUSH2 0x0524
0000051f: JUMPI
00000520: PUSH1 0x00
00000522: DUP1
00000523: REVERT
00000524: JUMPDEST
00000525: POP
00000526: PUSH2 0x0374
00000529: PUSH2 0x0533
0000052c: CALLDATASIZE
0000052d: PUSH1 0x04
0000052f: PUSH2 0x25ac
00000532: JUMP
00000533: JUMPDEST
00000534: PUSH2 0x0ef5
00000537: JUMP
00000538: JUMPDEST
00000539: CALLVALUE
0000053a: DUP1
0000053b: ISZERO
0000053c: PUSH2 0x0544
0000053f: JUMPI
00000540: PUSH1 0x00
00000542: DUP1
00000543: REVERT
00000544: JUMPDEST
00000545: POP
00000546: PUSH2 0x043f
00000549: PUSH2 0x0553
0000054c: CALLDATASIZE
0000054d: PUSH1 0x04
0000054f: PUSH2 0x2526
00000552: JUMP
00000553: JUMPDEST
00000554: PUSH2 0x0f92
00000557: JUMP
00000558: JUMPDEST
00000559: CALLVALUE
0000055a: DUP1
0000055b: ISZERO
0000055c: PUSH2 0x0564
0000055f: JUMPI
00000560: PUSH1 0x00
00000562: DUP1
00000563: REVERT
00000564: JUMPDEST
00000565: POP
00000566: PUSH2 0x043f
00000569: PUSH2 0x0573
0000056c: CALLDATASIZE
0000056d: PUSH1 0x04
0000056f: PUSH2 0x25ac
00000572: JUMP
00000573: JUMPDEST
00000574: PUSH2 0x0fbd
00000577: JUMP
00000578: JUMPDEST
00000579: CALLVALUE
0000057a: DUP1
0000057b: ISZERO
0000057c: PUSH2 0x0584
0000057f: JUMPI
00000580: PUSH1 0x00
00000582: DUP1
00000583: REVERT
00000584: JUMPDEST
00000585: POP
00000586: PUSH2 0x0374
00000589: PUSH2 0x0593
0000058c: CALLDATASIZE
0000058d: PUSH1 0x04
0000058f: PUSH2 0x25ef
00000592: JUMP
00000593: JUMPDEST
00000594: PUSH2 0x103a
00000597: JUMP
00000598: JUMPDEST
00000599: CALLVALUE
0000059a: DUP1
0000059b: ISZERO
0000059c: PUSH2 0x05a4
0000059f: JUMPI
000005a0: PUSH1 0x00
000005a2: DUP1
000005a3: REVERT
000005a4: JUMPDEST
000005a5: POP
000005a6: PUSH2 0x0374
000005a9: PUSH2 0x05b3
000005ac: CALLDATASIZE
000005ad: PUSH1 0x04
000005af: PUSH2 0x26d9
000005b2: JUMP
000005b3: JUMPDEST
000005b4: PUSH2 0x105a
000005b7: JUMP
000005b8: JUMPDEST
000005b9: CALLVALUE
000005ba: DUP1
000005bb: ISZERO
000005bc: PUSH2 0x05c4
000005bf: JUMPI
000005c0: PUSH1 0x00
000005c2: DUP1
000005c3: REVERT
000005c4: JUMPDEST
000005c5: POP
000005c6: PUSH1 0x0c
000005c8: SLOAD
000005c9: PUSH2 0x03d9
000005cc: SWAP1
000005cd: PUSH1 0x01
000005cf: PUSH1 0x01
000005d1: PUSH1 0xa0
000005d3: SHL
000005d4: SUB
000005d5: AND
000005d6: DUP2
000005d7: JUMP
000005d8: JUMPDEST
000005d9: CALLVALUE
000005da: DUP1
000005db: ISZERO
000005dc: PUSH2 0x05e4
000005df: JUMPI
000005e0: PUSH1 0x00
000005e2: DUP1
000005e3: REVERT
000005e4: JUMPDEST
000005e5: POP
000005e6: PUSH2 0x03d9
000005e9: PUSH2 0x05f3
000005ec: CALLDATASIZE
000005ed: PUSH1 0x04
000005ef: PUSH2 0x25ac
000005f2: JUMP
000005f3: JUMPDEST
000005f4: PUSH2 0x1110
000005f7: JUMP
000005f8: JUMPDEST
000005f9: CALLVALUE
000005fa: DUP1
000005fb: ISZERO
000005fc: PUSH2 0x0604
000005ff: JUMPI
00000600: PUSH1 0x00
00000602: DUP1
00000603: REVERT
00000604: JUMPDEST
00000605: POP
00000606: PUSH2 0x0374
00000609: PUSH2 0x111b
0000060c: JUMP
0000060d: JUMPDEST
0000060e: CALLVALUE
0000060f: DUP1
00000610: ISZERO
00000611: PUSH2 0x0619
00000614: JUMPI
00000615: PUSH1 0x00
00000617: DUP1
00000618: REVERT
00000619: JUMPDEST
0000061a: POP
0000061b: PUSH2 0x043f
0000061e: PUSH1 0x12
00000620: SLOAD
00000621: DUP2
00000622: JUMP
00000623: JUMPDEST
00000624: CALLVALUE
00000625: DUP1
00000626: ISZERO
00000627: PUSH2 0x062f
0000062a: JUMPI
0000062b: PUSH1 0x00
0000062d: DUP1
0000062e: REVERT
0000062f: JUMPDEST
00000630: POP
00000631: PUSH2 0x043f
00000634: PUSH1 0x15
00000636: SLOAD
00000637: DUP2
00000638: JUMP
00000639: JUMPDEST
0000063a: CALLVALUE
0000063b: DUP1
0000063c: ISZERO
0000063d: PUSH2 0x0645
00000640: JUMPI
00000641: PUSH1 0x00
00000643: DUP1
00000644: REVERT
00000645: JUMPDEST
00000646: POP
00000647: PUSH2 0x0374
0000064a: PUSH2 0x0654
0000064d: CALLDATASIZE
0000064e: PUSH1 0x04
00000650: PUSH2 0x262b
00000653: JUMP
00000654: JUMPDEST
00000655: PUSH2 0x116a
00000658: JUMP
00000659: JUMPDEST
0000065a: CALLVALUE
0000065b: DUP1
0000065c: ISZERO
0000065d: PUSH2 0x0665
00000660: JUMPI
00000661: PUSH1 0x00
00000663: DUP1
00000664: REVERT
00000665: JUMPDEST
00000666: POP
00000667: PUSH2 0x043f
0000066a: PUSH2 0x0674
0000066d: CALLDATASIZE
0000066e: PUSH1 0x04
00000670: PUSH2 0x2526
00000673: JUMP
00000674: JUMPDEST
00000675: PUSH2 0x128c
00000678: JUMP
00000679: JUMPDEST
0000067a: CALLVALUE
0000067b: DUP1
0000067c: ISZERO
0000067d: PUSH2 0x0685
00000680: JUMPI
00000681: PUSH1 0x00
00000683: DUP1
00000684: REVERT
00000685: JUMPDEST
00000686: POP
00000687: PUSH2 0x0374
0000068a: PUSH2 0x12db
0000068d: JUMP
0000068e: JUMPDEST
0000068f: CALLVALUE
00000690: DUP1
00000691: ISZERO
00000692: PUSH2 0x069a
00000695: JUMPI
00000696: PUSH1 0x00
00000698: DUP1
00000699: REVERT
0000069a: JUMPDEST
0000069b: POP
0000069c: PUSH2 0x0374
0000069f: PUSH2 0x06a9
000006a2: CALLDATASIZE
000006a3: PUSH1 0x04
000006a5: PUSH2 0x2767
000006a8: JUMP
000006a9: JUMPDEST
000006aa: PUSH2 0x12ef
000006ad: JUMP
000006ae: JUMPDEST
000006af: CALLVALUE
000006b0: DUP1
000006b1: ISZERO
000006b2: PUSH2 0x06ba
000006b5: JUMPI
000006b6: PUSH1 0x00
000006b8: DUP1
000006b9: REVERT
000006ba: JUMPDEST
000006bb: POP
000006bc: PUSH1 0x14
000006be: SLOAD
000006bf: PUSH2 0x03d9
000006c2: SWAP1
000006c3: PUSH1 0x01
000006c5: PUSH1 0x01
000006c7: PUSH1 0xa0
000006c9: SHL
000006ca: SUB
000006cb: AND
000006cc: DUP2
000006cd: JUMP
000006ce: JUMPDEST
000006cf: CALLVALUE
000006d0: DUP1
000006d1: ISZERO
000006d2: PUSH2 0x06da
000006d5: JUMPI
000006d6: PUSH1 0x00
000006d8: DUP1
000006d9: REVERT
000006da: JUMPDEST
000006db: POP
000006dc: PUSH2 0x0374
000006df: PUSH2 0x13b5
000006e2: JUMP
000006e3: JUMPDEST
000006e4: CALLVALUE
000006e5: DUP1
000006e6: ISZERO
000006e7: PUSH2 0x06ef
000006ea: JUMPI
000006eb: PUSH1 0x00
000006ed: DUP1
000006ee: REVERT
000006ef: JUMPDEST
000006f0: POP
000006f1: PUSH1 0x0a
000006f3: SLOAD
000006f4: PUSH1 0x01
000006f6: PUSH1 0x01
000006f8: PUSH1 0xa0
000006fa: SHL
000006fb: SUB
000006fc: AND
000006fd: PUSH2 0x03d9
00000700: JUMP
00000701: JUMPDEST
00000702: CALLVALUE
00000703: DUP1
00000704: ISZERO
00000705: PUSH2 0x070d
00000708: JUMPI
00000709: PUSH1 0x00
0000070b: DUP1
0000070c: REVERT
0000070d: JUMPDEST
0000070e: POP
0000070f: PUSH2 0x03ac
00000712: PUSH2 0x1421
00000715: JUMP
00000716: JUMPDEST
00000717: CALLVALUE
00000718: DUP1
00000719: ISZERO
0000071a: PUSH2 0x0722
0000071d: JUMPI
0000071e: PUSH1 0x00
00000720: DUP1
00000721: REVERT
00000722: JUMPDEST
00000723: POP
00000724: PUSH2 0x0374
00000727: PUSH2 0x0731
0000072a: CALLDATASIZE
0000072b: PUSH1 0x04
0000072d: PUSH2 0x25c5
00000730: JUMP
00000731: JUMPDEST
00000732: PUSH2 0x1430
00000735: JUMP
00000736: JUMPDEST
00000737: CALLVALUE
00000738: DUP1
00000739: ISZERO
0000073a: PUSH2 0x0742
0000073d: JUMPI
0000073e: PUSH1 0x00
00000740: DUP1
00000741: REVERT
00000742: JUMPDEST
00000743: POP
00000744: PUSH2 0x0374
00000747: PUSH2 0x0751
0000074a: CALLDATASIZE
0000074b: PUSH1 0x04
0000074d: PUSH2 0x27b7
00000750: JUMP
00000751: JUMPDEST
00000752: PUSH2 0x1578
00000755: JUMP
00000756: JUMPDEST
00000757: CALLVALUE
00000758: DUP1
00000759: ISZERO
0000075a: PUSH2 0x0762
0000075d: JUMPI
0000075e: PUSH1 0x00
00000760: DUP1
00000761: REVERT
00000762: JUMPDEST
00000763: POP
00000764: PUSH1 0x10
00000766: SLOAD
00000767: PUSH2 0x033f
0000076a: SWAP1
0000076b: PUSH1 0xff
0000076d: AND
0000076e: DUP2
0000076f: JUMP
00000770: JUMPDEST
00000771: CALLVALUE
00000772: DUP1
00000773: ISZERO
00000774: PUSH2 0x077c
00000777: JUMPI
00000778: PUSH1 0x00
0000077a: DUP1
0000077b: REVERT
0000077c: JUMPDEST
0000077d: POP
0000077e: PUSH2 0x0374
00000781: PUSH2 0x078b
00000784: CALLDATASIZE
00000785: PUSH1 0x04
00000787: PUSH2 0x25ac
0000078a: JUMP
0000078b: JUMPDEST
0000078c: PUSH2 0x160d
0000078f: JUMP
00000790: JUMPDEST
00000791: CALLVALUE
00000792: DUP1
00000793: ISZERO
00000794: PUSH2 0x079c
00000797: JUMPI
00000798: PUSH1 0x00
0000079a: DUP1
0000079b: REVERT
0000079c: JUMPDEST
0000079d: POP
0000079e: PUSH2 0x0374
000007a1: PUSH2 0x07ab
000007a4: CALLDATASIZE
000007a5: PUSH1 0x04
000007a7: PUSH2 0x27ee
000007aa: JUMP
000007ab: JUMPDEST
000007ac: PUSH2 0x1651
000007af: JUMP
000007b0: JUMPDEST
000007b1: CALLVALUE
000007b2: DUP1
000007b3: ISZERO
000007b4: PUSH2 0x07bc
000007b7: JUMPI
000007b8: PUSH1 0x00
000007ba: DUP1
000007bb: REVERT
000007bc: JUMPDEST
000007bd: POP
000007be: PUSH2 0x0374
000007c1: PUSH2 0x16f9
000007c4: JUMP
000007c5: JUMPDEST
000007c6: PUSH2 0x0374
000007c9: PUSH2 0x07d3
000007cc: CALLDATASIZE
000007cd: PUSH1 0x04
000007cf: PUSH2 0x2817
000007d2: JUMP
000007d3: JUMPDEST
000007d4: PUSH2 0x1749
000007d7: JUMP
000007d8: JUMPDEST
000007d9: CALLVALUE
000007da: DUP1
000007db: ISZERO
000007dc: PUSH2 0x07e4
000007df: JUMPI
000007e0: PUSH1 0x00
000007e2: DUP1
000007e3: REVERT
000007e4: JUMPDEST
000007e5: POP
000007e6: PUSH2 0x0374
000007e9: PUSH2 0x07f3
000007ec: CALLDATASIZE
000007ed: PUSH1 0x04
000007ef: PUSH2 0x286a
000007f2: JUMP
000007f3: JUMPDEST
000007f4: PUSH2 0x1ac1
000007f7: JUMP
000007f8: JUMPDEST
000007f9: PUSH2 0x0374
000007fc: PUSH2 0x0806
000007ff: CALLDATASIZE
00000800: PUSH1 0x04
00000802: PUSH2 0x28e6
00000805: JUMP
00000806: JUMPDEST
00000807: PUSH2 0x1b0b
0000080a: JUMP
0000080b: JUMPDEST
0000080c: CALLVALUE
0000080d: DUP1
0000080e: ISZERO
0000080f: PUSH2 0x0817
00000812: JUMPI
00000813: PUSH1 0x00
00000815: DUP1
00000816: REVERT
00000817: JUMPDEST
00000818: POP
00000819: PUSH2 0x0374
0000081c: PUSH2 0x0826
0000081f: CALLDATASIZE
00000820: PUSH1 0x04
00000822: PUSH2 0x25ac
00000825: JUMP
00000826: JUMPDEST
00000827: PUSH2 0x1b95
0000082a: JUMP
0000082b: JUMPDEST
0000082c: CALLVALUE
0000082d: DUP1
0000082e: ISZERO
0000082f: PUSH2 0x0837
00000832: JUMPI
00000833: PUSH1 0x00
00000835: DUP1
00000836: REVERT
00000837: JUMPDEST
00000838: POP
00000839: PUSH2 0x03ac
0000083c: PUSH2 0x0846
0000083f: CALLDATASIZE
00000840: PUSH1 0x04
00000842: PUSH2 0x25ac
00000845: JUMP
00000846: JUMPDEST
00000847: PUSH2 0x1bd9
0000084a: JUMP
0000084b: JUMPDEST
0000084c: CALLVALUE
0000084d: DUP1
0000084e: ISZERO
0000084f: PUSH2 0x0857
00000852: JUMPI
00000853: PUSH1 0x00
00000855: DUP1
00000856: REVERT
00000857: JUMPDEST
00000858: POP
00000859: PUSH2 0x0374
0000085c: PUSH2 0x1c83
0000085f: JUMP
00000860: JUMPDEST
00000861: CALLVALUE
00000862: DUP1
00000863: ISZERO
00000864: PUSH2 0x086c
00000867: JUMPI
00000868: PUSH1 0x00
0000086a: DUP1
0000086b: REVERT
0000086c: JUMPDEST
0000086d: POP
0000086e: PUSH2 0x043f
00000871: PUSH1 0x0b
00000873: SLOAD
00000874: DUP2
00000875: JUMP
00000876: JUMPDEST
00000877: CALLVALUE
00000878: DUP1
00000879: ISZERO
0000087a: PUSH2 0x0882
0000087d: JUMPI
0000087e: PUSH1 0x00
00000880: DUP1
00000881: REVERT
00000882: JUMPDEST
00000883: POP
00000884: PUSH2 0x0374
00000887: PUSH2 0x0891
0000088a: CALLDATASIZE
0000088b: PUSH1 0x04
0000088d: PUSH2 0x25c5
00000890: JUMP
00000891: JUMPDEST
00000892: PUSH2 0x1cd7
00000895: JUMP
00000896: JUMPDEST
00000897: CALLVALUE
00000898: DUP1
00000899: ISZERO
0000089a: PUSH2 0x08a2
0000089d: JUMPI
0000089e: PUSH1 0x00
000008a0: DUP1
000008a1: REVERT
000008a2: JUMPDEST
000008a3: POP
000008a4: PUSH2 0x043f
000008a7: PUSH2 0x1ce9
000008aa: JUMP
000008ab: JUMPDEST
000008ac: CALLVALUE
000008ad: DUP1
000008ae: ISZERO
000008af: PUSH2 0x08b7
000008b2: JUMPI
000008b3: PUSH1 0x00
000008b5: DUP1
000008b6: REVERT
000008b7: JUMPDEST
000008b8: POP
000008b9: PUSH2 0x033f
000008bc: PUSH2 0x08c6
000008bf: CALLDATASIZE
000008c0: PUSH1 0x04
000008c2: PUSH2 0x2932
000008c5: JUMP
000008c6: JUMPDEST
000008c7: PUSH1 0x01
000008c9: PUSH1 0x01
000008cb: PUSH1 0xa0
000008cd: SHL
000008ce: SUB
000008cf: SWAP2
000008d0: DUP3
000008d1: AND
000008d2: PUSH1 0x00
000008d4: SWAP1
000008d5: DUP2
000008d6: MSTORE
000008d7: PUSH1 0x07
000008d9: PUSH1 0x20
000008db: SWAP1
000008dc: DUP2
000008dd: MSTORE
000008de: PUSH1 0x40
000008e0: DUP1
000008e1: DUP4
000008e2: KECCAK256
000008e3: SWAP4
000008e4: SWAP1
000008e5: SWAP5
000008e6: AND
000008e7: DUP3
000008e8: MSTORE
000008e9: SWAP2
000008ea: SWAP1
000008eb: SWAP2
000008ec: MSTORE
000008ed: KECCAK256
000008ee: SLOAD
000008ef: PUSH1 0xff
000008f1: AND
000008f2: SWAP1
000008f3: JUMP
000008f4: JUMPDEST
000008f5: CALLVALUE
000008f6: DUP1
000008f7: ISZERO
000008f8: PUSH2 0x0900
000008fb: JUMPI
000008fc: PUSH1 0x00
000008fe: DUP1
000008ff: REVERT
00000900: JUMPDEST
00000901: POP
00000902: PUSH2 0x0374
00000905: PUSH2 0x090f
00000908: CALLDATASIZE
00000909: PUSH1 0x04
0000090b: PUSH2 0x2526
0000090e: JUMP
0000090f: JUMPDEST
00000910: PUSH2 0x1d03
00000913: JUMP
00000914: JUMPDEST
00000915: CALLVALUE
00000916: DUP1
00000917: ISZERO
00000918: PUSH2 0x0920
0000091b: JUMPI
0000091c: PUSH1 0x00
0000091e: DUP1
0000091f: REVERT
00000920: JUMPDEST
00000921: POP
00000922: PUSH2 0x0374
00000925: PUSH2 0x092f
00000928: CALLDATASIZE
00000929: PUSH1 0x04
0000092b: PUSH2 0x25ac
0000092e: JUMP
0000092f: JUMPDEST
00000930: PUSH2 0x1d79
00000933: JUMP
00000934: JUMPDEST
00000935: CALLVALUE
00000936: DUP1
00000937: ISZERO
00000938: PUSH2 0x0940
0000093b: JUMPI
0000093c: PUSH1 0x00
0000093e: DUP1
0000093f: REVERT
00000940: JUMPDEST
00000941: POP
00000942: PUSH2 0x0374
00000945: PUSH2 0x094f
00000948: CALLDATASIZE
00000949: PUSH1 0x04
0000094b: PUSH2 0x25ac
0000094e: JUMP
0000094f: JUMPDEST
00000950: PUSH2 0x1dbd
00000953: JUMP
00000954: JUMPDEST
00000955: CALLVALUE
00000956: DUP1
00000957: ISZERO
00000958: PUSH2 0x0960
0000095b: JUMPI
0000095c: PUSH1 0x00
0000095e: DUP1
0000095f: REVERT
00000960: JUMPDEST
00000961: POP
00000962: PUSH1 0x10
00000964: SLOAD
00000965: PUSH2 0x033f
00000968: SWAP1
00000969: PUSH2 0x0100
0000096c: SWAP1
0000096d: DIV
0000096e: PUSH1 0xff
00000970: AND
00000971: DUP2
00000972: JUMP
00000973: JUMPDEST
00000974: CALLVALUE
00000975: DUP1
00000976: ISZERO
00000977: PUSH2 0x097f
0000097a: JUMPI
0000097b: PUSH1 0x00
0000097d: DUP1
0000097e: REVERT
0000097f: JUMPDEST
00000980: POP
00000981: PUSH1 0x0d
00000983: SLOAD
00000984: PUSH2 0x03d9
00000987: SWAP1
00000988: PUSH1 0x01
0000098a: PUSH1 0x01
0000098c: PUSH1 0xa0
0000098e: SHL
0000098f: SUB
00000990: AND
00000991: DUP2
00000992: JUMP
00000993: JUMPDEST
00000994: PUSH1 0x00
00000996: PUSH2 0x099e
00000999: DUP3
0000099a: PUSH2 0x1e01
0000099d: JUMP
0000099e: JUMPDEST
0000099f: DUP1
000009a0: PUSH2 0x09ad
000009a3: JUMPI
000009a4: POP
000009a5: PUSH2 0x09ad
000009a8: DUP3
000009a9: PUSH2 0x1e4f
000009ac: JUMP
000009ad: JUMPDEST
000009ae: SWAP3
000009af: SWAP2
000009b0: POP
000009b1: POP
000009b2: JUMP
000009b3: JUMPDEST
000009b4: PUSH1 0x0d
000009b6: SLOAD
000009b7: PUSH1 0x01
000009b9: PUSH1 0x01
000009bb: PUSH1 0xa0
000009bd: SHL
000009be: SUB
000009bf: AND
000009c0: CALLER
000009c1: EQ
000009c2: DUP1
000009c3: PUSH2 0x09d6
000009c6: JUMPI
000009c7: POP
000009c8: PUSH1 0x0a
000009ca: SLOAD
000009cb: PUSH1 0x01
000009cd: PUSH1 0x01
000009cf: PUSH1 0xa0
000009d1: SHL
000009d2: SUB
000009d3: AND
000009d4: CALLER
000009d5: EQ
000009d6: JUMPDEST
000009d7: PUSH2 0x09fb
000009da: JUMPI
000009db: PUSH1 0x40
000009dd: MLOAD
000009de: PUSH3 0x461bcd
000009e2: PUSH1 0xe5
000009e4: SHL
000009e5: DUP2
000009e6: MSTORE
000009e7: PUSH1 0x04
000009e9: ADD
000009ea: PUSH2 0x09f2
000009ed: SWAP1
000009ee: PUSH2 0x2965
000009f1: JUMP
000009f2: JUMPDEST
000009f3: PUSH1 0x40
000009f5: MLOAD
000009f6: DUP1
000009f7: SWAP2
000009f8: SUB
000009f9: SWAP1
000009fa: REVERT
000009fb: JUMPDEST
000009fc: PUSH1 0x14
000009fe: DUP1
000009ff: SLOAD
00000a00: PUSH1 0x01
00000a02: PUSH1 0x01
00000a04: PUSH1 0xa0
00000a06: SHL
00000a07: SUB
00000a08: NOT
00000a09: AND
00000a0a: PUSH1 0x01
00000a0c: PUSH1 0x01
00000a0e: PUSH1 0xa0
00000a10: SHL
00000a11: SUB
00000a12: SWAP3
00000a13: SWAP1
00000a14: SWAP3
00000a15: AND
00000a16: SWAP2
00000a17: SWAP1
00000a18: SWAP2
00000a19: OR
00000a1a: SWAP1
00000a1b: SSTORE
00000a1c: JUMP
00000a1d: JUMPDEST
00000a1e: PUSH1 0x60
00000a20: PUSH1 0x02
00000a22: DUP1
00000a23: SLOAD
00000a24: PUSH2 0x0a2c
00000a27: SWAP1
00000a28: PUSH2 0x29ae
00000a2b: JUMP
00000a2c: JUMPDEST
00000a2d: DUP1
00000a2e: PUSH1 0x1f
00000a30: ADD
00000a31: PUSH1 0x20
00000a33: DUP1
00000a34: SWAP2
00000a35: DIV
00000a36: MUL
00000a37: PUSH1 0x20
00000a39: ADD
00000a3a: PUSH1 0x40
00000a3c: MLOAD
00000a3d: SWAP1
00000a3e: DUP2
00000a3f: ADD
00000a40: PUSH1 0x40
00000a42: MSTORE
00000a43: DUP1
00000a44: SWAP3
00000a45: SWAP2
00000a46: SWAP1
00000a47: DUP2
00000a48: DUP2
00000a49: MSTORE
00000a4a: PUSH1 0x20
00000a4c: ADD
00000a4d: DUP3
00000a4e: DUP1
00000a4f: SLOAD
00000a50: PUSH2 0x0a58
00000a53: SWAP1
00000a54: PUSH2 0x29ae
00000a57: JUMP
00000a58: JUMPDEST
00000a59: DUP1
00000a5a: ISZERO
00000a5b: PUSH2 0x0aa5
00000a5e: JUMPI
00000a5f: DUP1
00000a60: PUSH1 0x1f
00000a62: LT
00000a63: PUSH2 0x0a7a
00000a66: JUMPI
00000a67: PUSH2 0x0100
00000a6a: DUP1
00000a6b: DUP4
00000a6c: SLOAD
00000a6d: DIV
00000a6e: MUL
00000a6f: DUP4
00000a70: MSTORE
00000a71: SWAP2
00000a72: PUSH1 0x20
00000a74: ADD
00000a75: SWAP2
00000a76: PUSH2 0x0aa5
00000a79: JUMP
00000a7a: JUMPDEST
00000a7b: DUP3
00000a7c: ADD
00000a7d: SWAP2
00000a7e: SWAP1
00000a7f: PUSH1 0x00
00000a81: MSTORE
00000a82: PUSH1 0x20
00000a84: PUSH1 0x00
00000a86: KECCAK256
00000a87: SWAP1
00000a88: JUMPDEST
00000a89: DUP2
00000a8a: SLOAD
00000a8b: DUP2
00000a8c: MSTORE
00000a8d: SWAP1
00000a8e: PUSH1 0x01
00000a90: ADD
00000a91: SWAP1
00000a92: PUSH1 0x20
00000a94: ADD
00000a95: DUP1
00000a96: DUP4
00000a97: GT
00000a98: PUSH2 0x0a88
00000a9b: JUMPI
00000a9c: DUP3
00000a9d: SWAP1
00000a9e: SUB
00000a9f: PUSH1 0x1f
00000aa1: AND
00000aa2: DUP3
00000aa3: ADD
00000aa4: SWAP2
00000aa5: JUMPDEST
00000aa6: POP
00000aa7: POP
00000aa8: POP
00000aa9: POP
00000aaa: POP
00000aab: SWAP1
00000aac: POP
00000aad: SWAP1
00000aae: JUMP
00000aaf: JUMPDEST
00000ab0: PUSH1 0x00
00000ab2: PUSH2 0x0aba
00000ab5: DUP3
00000ab6: PUSH2 0x1e84
00000ab9: JUMP
00000aba: JUMPDEST
00000abb: PUSH2 0x0ad7
00000abe: JUMPI
00000abf: PUSH1 0x40
00000ac1: MLOAD
00000ac2: PUSH4 0x33d1c039
00000ac7: PUSH1 0xe2
00000ac9: SHL
00000aca: DUP2
00000acb: MSTORE
00000acc: PUSH1 0x04
00000ace: ADD
00000acf: PUSH1 0x40
00000ad1: MLOAD
00000ad2: DUP1
00000ad3: SWAP2
00000ad4: SUB
00000ad5: SWAP1
00000ad6: REVERT
00000ad7: JUMPDEST
00000ad8: POP
00000ad9: PUSH1 0x00
00000adb: SWAP1
00000adc: DUP2
00000add: MSTORE
00000ade: PUSH1 0x06
00000ae0: PUSH1 0x20
00000ae2: MSTORE
00000ae3: PUSH1 0x40
00000ae5: SWAP1
00000ae6: KECCAK256
00000ae7: SLOAD
00000ae8: PUSH1 0x01
00000aea: PUSH1 0x01
00000aec: PUSH1 0xa0
00000aee: SHL
00000aef: SUB
00000af0: AND
00000af1: SWAP1
00000af2: JUMP
00000af3: JUMPDEST
00000af4: PUSH1 0x00
00000af6: PUSH2 0x0afe
00000af9: DUP3
00000afa: PUSH2 0x1110
00000afd: JUMP
00000afe: JUMPDEST
00000aff: SWAP1
00000b00: POP
00000b01: CALLER
00000b02: PUSH1 0x01
00000b04: PUSH1 0x01
00000b06: PUSH1 0xa0
00000b08: SHL
00000b09: SUB
00000b0a: DUP3
00000b0b: AND
00000b0c: EQ
00000b0d: PUSH2 0x0b37
00000b10: JUMPI
00000b11: PUSH2 0x0b1a
00000b14: DUP2
00000b15: CALLER
00000b16: PUSH2 0x08c6
00000b19: JUMP
00000b1a: JUMPDEST
00000b1b: PUSH2 0x0b37
00000b1e: JUMPI
00000b1f: PUSH1 0x40
00000b21: MLOAD
00000b22: PUSH4 0x67d9dca1
00000b27: PUSH1 0xe1
00000b29: SHL
00000b2a: DUP2
00000b2b: MSTORE
00000b2c: PUSH1 0x04
00000b2e: ADD
00000b2f: PUSH1 0x40
00000b31: MLOAD
00000b32: DUP1
00000b33: SWAP2
00000b34: SUB
00000b35: SWAP1
00000b36: REVERT
00000b37: JUMPDEST
00000b38: PUSH1 0x00
00000b3a: DUP3
00000b3b: DUP2
00000b3c: MSTORE
00000b3d: PUSH1 0x06
00000b3f: PUSH1 0x20
00000b41: MSTORE
00000b42: PUSH1 0x40
00000b44: DUP1
00000b45: DUP3
00000b46: KECCAK256
00000b47: DUP1
00000b48: SLOAD
00000b49: PUSH1 0x01
00000b4b: PUSH1 0x01
00000b4d: PUSH1 0xa0
00000b4f: SHL
00000b50: SUB
00000b51: NOT
00000b52: AND
00000b53: PUSH1 0x01
00000b55: PUSH1 0x01
00000b57: PUSH1 0xa0
00000b59: SHL
00000b5a: SUB
00000b5b: DUP8
00000b5c: DUP2
00000b5d: AND
00000b5e: SWAP2
00000b5f: DUP3
00000b60: OR
00000b61: SWAP1
00000b62: SWAP3
00000b63: SSTORE
00000b64: SWAP2
00000b65: MLOAD
00000b66: DUP6
00000b67: SWAP4
00000b68: SWAP2
00000b69: DUP6
00000b6a: AND
00000b6b: SWAP2
00000b6c: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000b8d: SWAP2
00000b8e: LOG4
00000b8f: POP
00000b90: POP
00000b91: POP
00000b92: JUMP
00000b93: JUMPDEST
00000b94: PUSH1 0x0d
00000b96: SLOAD
00000b97: PUSH1 0x01
00000b99: PUSH1 0x01
00000b9b: PUSH1 0xa0
00000b9d: SHL
00000b9e: SUB
00000b9f: AND
00000ba0: CALLER
00000ba1: EQ
00000ba2: DUP1
00000ba3: PUSH2 0x0bb6
00000ba6: JUMPI
00000ba7: POP
00000ba8: PUSH1 0x0a
00000baa: SLOAD
00000bab: PUSH1 0x01
00000bad: PUSH1 0x01
00000baf: PUSH1 0xa0
00000bb1: SHL
00000bb2: SUB
00000bb3: AND
00000bb4: CALLER
00000bb5: EQ
00000bb6: JUMPDEST
00000bb7: PUSH2 0x0bd2
00000bba: JUMPI
00000bbb: PUSH1 0x40
00000bbd: MLOAD
00000bbe: PUSH3 0x461bcd
00000bc2: PUSH1 0xe5
00000bc4: SHL
00000bc5: DUP2
00000bc6: MSTORE
00000bc7: PUSH1 0x04
00000bc9: ADD
00000bca: PUSH2 0x09f2
00000bcd: SWAP1
00000bce: PUSH2 0x2965
00000bd1: JUMP
00000bd2: JUMPDEST
00000bd3: PUSH1 0x10
00000bd5: DUP1
00000bd6: SLOAD
00000bd7: PUSH2 0xffff
00000bda: NOT
00000bdb: AND
00000bdc: SWAP1
00000bdd: SSTORE
00000bde: JUMP
00000bdf: JUMPDEST
00000be0: PUSH1 0x00
00000be2: PUSH2 0x0bea
00000be5: DUP3
00000be6: PUSH2 0x1eb9
00000be9: JUMP
00000bea: JUMPDEST
00000beb: SWAP1
00000bec: POP
00000bed: DUP4
00000bee: PUSH1 0x01
00000bf0: PUSH1 0x01
00000bf2: PUSH1 0xa0
00000bf4: SHL
00000bf5: SUB
00000bf6: AND
00000bf7: DUP2
00000bf8: PUSH1 0x01
00000bfa: PUSH1 0x01
00000bfc: PUSH1 0xa0
00000bfe: SHL
00000bff: SUB
00000c00: AND
00000c01: EQ
00000c02: PUSH2 0x0c1d
00000c05: JUMPI
00000c06: PUSH1 0x40
00000c08: MLOAD
00000c09: PUSH3 0xa11481
00000c0d: PUSH1 0xe8
00000c0f: SHL
00000c10: DUP2
00000c11: MSTORE
00000c12: PUSH1 0x04
00000c14: ADD
00000c15: PUSH1 0x40
00000c17: MLOAD
00000c18: DUP1
00000c19: SWAP2
00000c1a: SUB
00000c1b: SWAP1
00000c1c: REVERT
00000c1d: JUMPDEST
00000c1e: PUSH1 0x00
00000c20: DUP3
00000c21: DUP2
00000c22: MSTORE
00000c23: PUSH1 0x06
00000c25: PUSH1 0x20
00000c27: MSTORE
00000c28: PUSH1 0x40
00000c2a: SWAP1
00000c2b: KECCAK256
00000c2c: DUP1
00000c2d: SLOAD
00000c2e: CALLER
00000c2f: DUP1
00000c30: DUP3
00000c31: EQ
00000c32: PUSH1 0x01
00000c34: PUSH1 0x01
00000c36: PUSH1 0xa0
00000c38: SHL
00000c39: SUB
00000c3a: DUP9
00000c3b: AND
00000c3c: SWAP1
00000c3d: SWAP2
00000c3e: EQ
00000c3f: OR
00000c40: PUSH2 0x0c6a
00000c43: JUMPI
00000c44: PUSH2 0x0c4d
00000c47: DUP7
00000c48: CALLER
00000c49: PUSH2 0x08c6
00000c4c: JUMP
00000c4d: JUMPDEST
00000c4e: PUSH2 0x0c6a
00000c51: JUMPI
00000c52: PUSH1 0x40
00000c54: MLOAD
00000c55: PUSH4 0x2ce44b5f
00000c5a: PUSH1 0xe1
00000c5c: SHL
00000c5d: DUP2
00000c5e: MSTORE
00000c5f: PUSH1 0x04
00000c61: ADD
00000c62: PUSH1 0x40
00000c64: MLOAD
00000c65: DUP1
00000c66: SWAP2
00000c67: SUB
00000c68: SWAP1
00000c69: REVERT
00000c6a: JUMPDEST
00000c6b: PUSH1 0x01
00000c6d: PUSH1 0x01
00000c6f: PUSH1 0xa0
00000c71: SHL
00000c72: SUB
00000c73: DUP6
00000c74: AND
00000c75: PUSH2 0x0c91
00000c78: JUMPI
00000c79: PUSH1 0x40
00000c7b: MLOAD
00000c7c: PUSH4 0x3a954ecd
00000c81: PUSH1 0xe2
00000c83: SHL
00000c84: DUP2
00000c85: MSTORE
00000c86: PUSH1 0x04
00000c88: ADD
00000c89: PUSH1 0x40
00000c8b: MLOAD
00000c8c: DUP1
00000c8d: SWAP2
00000c8e: SUB
00000c8f: SWAP1
00000c90: REVERT
00000c91: JUMPDEST
00000c92: DUP1
00000c93: ISZERO
00000c94: PUSH2 0x0c9c
00000c97: JUMPI
00000c98: PUSH1 0x00
00000c9a: DUP3
00000c9b: SSTORE
00000c9c: JUMPDEST
00000c9d: PUSH1 0x01
00000c9f: PUSH1 0x01
00000ca1: PUSH1 0xa0
00000ca3: SHL
00000ca4: SUB
00000ca5: DUP7
00000ca6: DUP2
00000ca7: AND
00000ca8: PUSH1 0x00
00000caa: SWAP1
00000cab: DUP2
00000cac: MSTORE
00000cad: PUSH1 0x05
00000caf: PUSH1 0x20
00000cb1: MSTORE
00000cb2: PUSH1 0x40
00000cb4: DUP1
00000cb5: DUP3
00000cb6: KECCAK256
00000cb7: DUP1
00000cb8: SLOAD
00000cb9: PUSH1 0x00
00000cbb: NOT
00000cbc: ADD
00000cbd: SWAP1
00000cbe: SSTORE
00000cbf: SWAP2
00000cc0: DUP8
00000cc1: AND
00000cc2: DUP1
00000cc3: DUP3
00000cc4: MSTORE
00000cc5: SWAP2
00000cc6: SWAP1
00000cc7: KECCAK256
00000cc8: DUP1
00000cc9: SLOAD
00000cca: PUSH1 0x01
00000ccc: ADD
00000ccd: SWAP1
00000cce: SSTORE
00000ccf: TIMESTAMP
00000cd0: PUSH1 0xa0
00000cd2: SHL
00000cd3: OR
00000cd4: PUSH1 0x01
00000cd6: PUSH1 0xe1
00000cd8: SHL
00000cd9: OR
00000cda: PUSH1 0x00
00000cdc: DUP6
00000cdd: DUP2
00000cde: MSTORE
00000cdf: PUSH1 0x04
00000ce1: PUSH1 0x20
00000ce3: MSTORE
00000ce4: PUSH1 0x40
00000ce6: DUP2
00000ce7: KECCAK256
00000ce8: SWAP2
00000ce9: SWAP1
00000cea: SWAP2
00000ceb: SSTORE
00000cec: PUSH1 0x01
00000cee: PUSH1 0xe1
00000cf0: SHL
00000cf1: DUP5
00000cf2: AND
00000cf3: SWAP1
00000cf4: SUB
00000cf5: PUSH2 0x0d2e
00000cf8: JUMPI
00000cf9: PUSH1 0x01
00000cfb: DUP5
00000cfc: ADD
00000cfd: PUSH1 0x00
00000cff: DUP2
00000d00: DUP2
00000d01: MSTORE
00000d02: PUSH1 0x04
00000d04: PUSH1 0x20
00000d06: MSTORE
00000d07: PUSH1 0x40
00000d09: DUP2
00000d0a: KECCAK256
00000d0b: SLOAD
00000d0c: SWAP1
00000d0d: SUB
00000d0e: PUSH2 0x0d2c
00000d11: JUMPI
00000d12: PUSH1 0x00
00000d14: SLOAD
00000d15: DUP2
00000d16: EQ
00000d17: PUSH2 0x0d2c
00000d1a: JUMPI
00000d1b: PUSH1 0x00
00000d1d: DUP2
00000d1e: DUP2
00000d1f: MSTORE
00000d20: PUSH1 0x04
00000d22: PUSH1 0x20
00000d24: MSTORE
00000d25: PUSH1 0x40
00000d27: SWAP1
00000d28: KECCAK256
00000d29: DUP5
00000d2a: SWAP1
00000d2b: SSTORE
00000d2c: JUMPDEST
00000d2d: POP
00000d2e: JUMPDEST
00000d2f: DUP4
00000d30: DUP6
00000d31: PUSH1 0x01
00000d33: PUSH1 0x01
00000d35: PUSH1 0xa0
00000d37: SHL
00000d38: SUB
00000d39: AND
00000d3a: DUP8
00000d3b: PUSH1 0x01
00000d3d: PUSH1 0x01
00000d3f: PUSH1 0xa0
00000d41: SHL
00000d42: SUB
00000d43: AND
00000d44: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000d65: PUSH1 0x40
00000d67: MLOAD
00000d68: PUSH1 0x40
00000d6a: MLOAD
00000d6b: DUP1
00000d6c: SWAP2
00000d6d: SUB
00000d6e: SWAP1
00000d6f: LOG4
00000d70: POP
00000d71: POP
00000d72: POP
00000d73: POP
00000d74: POP
00000d75: POP
00000d76: JUMP
00000d77: JUMPDEST
00000d78: PUSH1 0x08
00000d7a: SLOAD
00000d7b: PUSH1 0x09
00000d7d: SLOAD
00000d7e: PUSH1 0x00
00000d80: SWAP2
00000d81: DUP3
00000d82: SWAP2
00000d83: PUSH1 0x01
00000d85: PUSH1 0x01
00000d87: PUSH1 0xa0
00000d89: SHL
00000d8a: SUB
00000d8b: SWAP1
00000d8c: SWAP2
00000d8d: AND
00000d8e: SWAP1
00000d8f: PUSH2 0x2710
00000d92: SWAP1
00000d93: PUSH2 0x0d9d
00000d96: SWAP1
00000d97: DUP7
00000d98: SWAP1
00000d99: PUSH2 0x29f8
00000d9c: JUMP
00000d9d: JUMPDEST
00000d9e: PUSH2 0x0da7
00000da1: SWAP2
00000da2: SWAP1
00000da3: PUSH2 0x2a17
00000da6: JUMP
00000da7: JUMPDEST
00000da8: SWAP2
00000da9: POP
00000daa: SWAP2
00000dab: POP
00000dac: JUMPDEST
00000dad: SWAP3
00000dae: POP
00000daf: SWAP3
00000db0: SWAP1
00000db1: POP
00000db2: JUMP
00000db3: JUMPDEST
00000db4: PUSH2 0x0dbb
00000db7: PUSH2 0x1f2f
00000dba: JUMP
00000dbb: JUMPDEST
00000dbc: PUSH1 0x01
00000dbe: PUSH1 0x01
00000dc0: PUSH1 0xa0
00000dc2: SHL
00000dc3: SUB
00000dc4: DUP2
00000dc5: AND
00000dc6: PUSH2 0x0e2d
00000dc9: JUMPI
00000dca: PUSH1 0x40
00000dcc: MLOAD
00000dcd: PUSH3 0x461bcd
00000dd1: PUSH1 0xe5
00000dd3: SHL
00000dd4: DUP2
00000dd5: MSTORE
00000dd6: PUSH1 0x20
00000dd8: PUSH1 0x04
00000dda: DUP3
00000ddb: ADD
00000ddc: MSTORE
00000ddd: PUSH1 0x33
00000ddf: PUSH1 0x24
00000de1: DUP3
00000de2: ADD
00000de3: MSTORE
00000de4: PUSH32 0x45524337323141544c436f72653a204e65772061646d696e2063616e6e6f7420
00000e05: PUSH1 0x44
00000e07: DUP3
00000e08: ADD
00000e09: MSTORE
00000e0a: PUSH19 0x626520746865207a65726f2061646472657373
00000e1e: PUSH1 0x68
00000e20: SHL
00000e21: PUSH1 0x64
00000e23: DUP3
00000e24: ADD
00000e25: MSTORE
00000e26: PUSH1 0x84
00000e28: ADD
00000e29: PUSH2 0x09f2
00000e2c: JUMP
00000e2d: JUMPDEST
00000e2e: PUSH1 0x0d
00000e30: DUP1
00000e31: SLOAD
00000e32: PUSH1 0x01
00000e34: PUSH1 0x01
00000e36: PUSH1 0xa0
00000e38: SHL
00000e39: SUB
00000e3a: NOT
00000e3b: AND
00000e3c: PUSH1 0x01
00000e3e: PUSH1 0x01
00000e40: PUSH1 0xa0
00000e42: SHL
00000e43: SUB
00000e44: SWAP3
00000e45: SWAP1
00000e46: SWAP3
00000e47: AND
00000e48: SWAP2
00000e49: SWAP1
00000e4a: SWAP2
00000e4b: OR
00000e4c: SWAP1
00000e4d: SSTORE
00000e4e: JUMP
00000e4f: JUMPDEST
00000e50: PUSH2 0x0e57
00000e53: PUSH2 0x1f2f
00000e56: JUMP
00000e57: JUMPDEST
00000e58: PUSH1 0x01
00000e5a: PUSH1 0x01
00000e5c: PUSH1 0xa0
00000e5e: SHL
00000e5f: SUB
00000e60: DUP2
00000e61: AND
00000e62: PUSH2 0x0ed3
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 0x38
00000e7b: PUSH1 0x24
00000e7d: DUP3
00000e7e: ADD
00000e7f: MSTORE
00000e80: PUSH32 0x45524337323141544c436f72653a205061796f75742061646472657373206361
00000ea1: PUSH1 0x44
00000ea3: DUP3
00000ea4: ADD
00000ea5: MSTORE
00000ea6: PUSH32 0x6e6e6f7420626520746865207a65726f20616464726573730000000000000000
00000ec7: PUSH1 0x64
00000ec9: DUP3
00000eca: ADD
00000ecb: MSTORE
00000ecc: PUSH1 0x84
00000ece: ADD
00000ecf: PUSH2 0x09f2
00000ed2: JUMP
00000ed3: JUMPDEST
00000ed4: PUSH1 0x0c
00000ed6: DUP1
00000ed7: SLOAD
00000ed8: PUSH1 0x01
00000eda: PUSH1 0x01
00000edc: PUSH1 0xa0
00000ede: SHL
00000edf: SUB
00000ee0: NOT
00000ee1: AND
00000ee2: PUSH1 0x01
00000ee4: PUSH1 0x01
00000ee6: PUSH1 0xa0
00000ee8: SHL
00000ee9: SUB
00000eea: SWAP3
00000eeb: SWAP1
00000eec: SWAP3
00000eed: AND
00000eee: SWAP2
00000eef: SWAP1
00000ef0: SWAP2
00000ef1: OR
00000ef2: SWAP1
00000ef3: SSTORE
00000ef4: JUMP
00000ef5: JUMPDEST
00000ef6: PUSH1 0x0d
00000ef8: SLOAD
00000ef9: PUSH1 0x01
00000efb: PUSH1 0x01
00000efd: PUSH1 0xa0
00000eff: SHL
00000f00: SUB
00000f01: AND
00000f02: CALLER
00000f03: EQ
00000f04: DUP1
00000f05: PUSH2 0x0f18
00000f08: JUMPI
00000f09: POP
00000f0a: PUSH1 0x0a
00000f0c: SLOAD
00000f0d: PUSH1 0x01
00000f0f: PUSH1 0x01
00000f11: PUSH1 0xa0
00000f13: SHL
00000f14: SUB
00000f15: AND
00000f16: CALLER
00000f17: EQ
00000f18: JUMPDEST
00000f19: PUSH2 0x0f34
00000f1c: JUMPI
00000f1d: PUSH1 0x40
00000f1f: MLOAD
00000f20: PUSH3 0x461bcd
00000f24: PUSH1 0xe5
00000f26: SHL
00000f27: DUP2
00000f28: MSTORE
00000f29: PUSH1 0x04
00000f2b: ADD
00000f2c: PUSH2 0x09f2
00000f2f: SWAP1
00000f30: PUSH2 0x2965
00000f33: JUMP
00000f34: JUMPDEST
00000f35: SELFBALANCE
00000f36: DUP2
00000f37: GT
00000f38: ISZERO
00000f39: PUSH2 0x0f54
00000f3c: JUMPI
00000f3d: PUSH1 0x40
00000f3f: MLOAD
00000f40: PUSH3 0x461bcd
00000f44: PUSH1 0xe5
00000f46: SHL
00000f47: DUP2
00000f48: MSTORE
00000f49: PUSH1 0x04
00000f4b: ADD
00000f4c: PUSH2 0x09f2
00000f4f: SWAP1
00000f50: PUSH2 0x2a39
00000f53: JUMP
00000f54: JUMPDEST
00000f55: PUSH1 0x0c
00000f57: SLOAD
00000f58: PUSH1 0x40
00000f5a: MLOAD
00000f5b: PUSH1 0x01
00000f5d: PUSH1 0x01
00000f5f: PUSH1 0xa0
00000f61: SHL
00000f62: SUB
00000f63: SWAP1
00000f64: SWAP2
00000f65: AND
00000f66: SWAP1
00000f67: DUP3
00000f68: ISZERO
00000f69: PUSH2 0x08fc
00000f6c: MUL
00000f6d: SWAP1
00000f6e: DUP4
00000f6f: SWAP1
00000f70: PUSH1 0x00
00000f72: DUP2
00000f73: DUP2
00000f74: DUP2
00000f75: DUP6
00000f76: DUP9
00000f77: DUP9
00000f78: CALL
00000f79: SWAP4
00000f7a: POP
00000f7b: POP
00000f7c: POP
00000f7d: POP
00000f7e: ISZERO
00000f7f: DUP1
00000f80: ISZERO
00000f81: PUSH2 0x0f8e
00000f84: JUMPI
00000f85: RETURNDATASIZE
00000f86: PUSH1 0x00
00000f88: DUP1
00000f89: RETURNDATACOPY
00000f8a: RETURNDATASIZE
00000f8b: PUSH1 0x00
00000f8d: REVERT
00000f8e: JUMPDEST
00000f8f: POP
00000f90: POP
00000f91: JUMP
00000f92: JUMPDEST
00000f93: PUSH1 0x01
00000f95: PUSH1 0x01
00000f97: PUSH1 0xa0
00000f99: SHL
00000f9a: SUB
00000f9b: DUP2
00000f9c: AND
00000f9d: PUSH1 0x00
00000f9f: SWAP1
00000fa0: DUP2
00000fa1: MSTORE
00000fa2: PUSH1 0x05
00000fa4: PUSH1 0x20
00000fa6: MSTORE
00000fa7: PUSH1 0x40
00000fa9: DUP1
00000faa: DUP3
00000fab: KECCAK256
00000fac: SLOAD
00000fad: PUSH8 0xffffffffffffffff
00000fb6: SWAP2
00000fb7: SHR
00000fb8: AND
00000fb9: PUSH2 0x09ad
00000fbc: JUMP
00000fbd: JUMPDEST
00000fbe: PUSH1 0x00
00000fc0: PUSH2 0x0fc8
00000fc3: DUP3
00000fc4: PUSH2 0x1e84
00000fc7: JUMP
00000fc8: JUMPDEST
00000fc9: PUSH2 0x1014
00000fcc: JUMPI
00000fcd: PUSH1 0x40
00000fcf: MLOAD
00000fd0: PUSH3 0x461bcd
00000fd4: PUSH1 0xe5
00000fd6: SHL
00000fd7: DUP2
00000fd8: MSTORE
00000fd9: PUSH1 0x20
00000fdb: PUSH1 0x04
00000fdd: DUP3
00000fde: ADD
00000fdf: MSTORE
00000fe0: PUSH1 0x1c
00000fe2: PUSH1 0x24
00000fe4: DUP3
00000fe5: ADD
00000fe6: MSTORE
00000fe7: PUSH32 0x517565727920666f72206e6f6e206578697374656e7420746f6b656e00000000
00001008: PUSH1 0x44
0000100a: DUP3
0000100b: ADD
0000100c: MSTORE
0000100d: PUSH1 0x64
0000100f: ADD
00001010: PUSH2 0x09f2
00001013: JUMP
00001014: JUMPDEST
00001015: PUSH1 0x00
00001017: DUP3
00001018: DUP2
00001019: MSTORE
0000101a: PUSH1 0x16
0000101c: PUSH1 0x20
0000101e: MSTORE
0000101f: PUSH1 0x40
00001021: DUP2
00001022: KECCAK256
00001023: SLOAD
00001024: SWAP1
00001025: DUP2
00001026: SWAP1
00001027: SUB
00001028: PUSH2 0x09ad
0000102b: JUMPI
0000102c: POP
0000102d: PUSH1 0x01
0000102f: SWAP3
00001030: SWAP2
00001031: POP
00001032: POP
00001033: JUMP
00001034: JUMPDEST
00001035: POP
00001036: SWAP2
00001037: SWAP1
00001038: POP
00001039: JUMP
0000103a: JUMPDEST
0000103b: PUSH2 0x1055
0000103e: DUP4
0000103f: DUP4
00001040: DUP4
00001041: PUSH1 0x40
00001043: MLOAD
00001044: DUP1
00001045: PUSH1 0x20
00001047: ADD
00001048: PUSH1 0x40
0000104a: MSTORE
0000104b: DUP1
0000104c: PUSH1 0x00
0000104e: DUP2
0000104f: MSTORE
00001050: POP
00001051: PUSH2 0x1ac1
00001054: JUMP
00001055: JUMPDEST
00001056: POP
00001057: POP
00001058: POP
00001059: JUMP
0000105a: JUMPDEST
0000105b: PUSH1 0x0d
0000105d: SLOAD
0000105e: PUSH1 0x01
00001060: PUSH1 0x01
00001062: PUSH1 0xa0
00001064: SHL
00001065: SUB
00001066: AND
00001067: CALLER
00001068: EQ
00001069: DUP1
0000106a: PUSH2 0x107d
0000106d: JUMPI
0000106e: POP
0000106f: PUSH1 0x0a
00001071: SLOAD
00001072: PUSH1 0x01
00001074: PUSH1 0x01
00001076: PUSH1 0xa0
00001078: SHL
00001079: SUB
0000107a: AND
0000107b: CALLER
0000107c: EQ
0000107d: JUMPDEST
0000107e: PUSH2 0x1099
00001081: JUMPI
00001082: PUSH1 0x40
00001084: MLOAD
00001085: PUSH3 0x461bcd
00001089: PUSH1 0xe5
0000108b: SHL
0000108c: DUP2
0000108d: MSTORE
0000108e: PUSH1 0x04
00001090: ADD
00001091: PUSH2 0x09f2
00001094: SWAP1
00001095: PUSH2 0x2965
00001098: JUMP
00001099: JUMPDEST
0000109a: PUSH1 0x0a
0000109c: SLOAD
0000109d: PUSH1 0x01
0000109f: PUSH1 0xa0
000010a1: SHL
000010a2: SWAP1
000010a3: DIV
000010a4: PUSH1 0xff
000010a6: AND
000010a7: ISZERO
000010a8: PUSH2 0x10fd
000010ab: JUMPI
000010ac: PUSH1 0x40
000010ae: MLOAD
000010af: PUSH3 0x461bcd
000010b3: PUSH1 0xe5
000010b5: SHL
000010b6: DUP2
000010b7: MSTORE
000010b8: PUSH1 0x20
000010ba: PUSH1 0x04
000010bc: DUP3
000010bd: ADD
000010be: MSTORE
000010bf: PUSH1 0x21
000010c1: PUSH1 0x24
000010c3: DUP3
000010c4: ADD
000010c5: MSTORE
000010c6: PUSH32 0x45524337323141544c436f72653a204d657461646174612069732066726f7a65
000010e7: PUSH1 0x44
000010e9: DUP3
000010ea: ADD
000010eb: MSTORE
000010ec: PUSH1 0x37
000010ee: PUSH1 0xf9
000010f0: SHL
000010f1: PUSH1 0x64
000010f3: DUP3
000010f4: ADD
000010f5: MSTORE
000010f6: PUSH1 0x84
000010f8: ADD
000010f9: PUSH2 0x09f2
000010fc: JUMP
000010fd: JUMPDEST
000010fe: DUP1
000010ff: MLOAD
00001100: PUSH2 0x0f8e
00001103: SWAP1
00001104: PUSH1 0x0e
00001106: SWAP1
00001107: PUSH1 0x20
00001109: DUP5
0000110a: ADD
0000110b: SWAP1
0000110c: PUSH2 0x243e
0000110f: JUMP
00001110: JUMPDEST
00001111: PUSH1 0x00
00001113: PUSH2 0x09ad
00001116: DUP3
00001117: PUSH2 0x1eb9
0000111a: JUMP
0000111b: JUMPDEST
0000111c: PUSH1 0x0d
0000111e: SLOAD
0000111f: PUSH1 0x01
00001121: PUSH1 0x01
00001123: PUSH1 0xa0
00001125: SHL
00001126: SUB
00001127: AND
00001128: CALLER
00001129: EQ
0000112a: DUP1
0000112b: PUSH2 0x113e
0000112e: JUMPI
0000112f: POP
00001130: PUSH1 0x0a
00001132: SLOAD
00001133: PUSH1 0x01
00001135: PUSH1 0x01
00001137: PUSH1 0xa0
00001139: SHL
0000113a: SUB
0000113b: AND
0000113c: CALLER
0000113d: EQ
0000113e: JUMPDEST
0000113f: PUSH2 0x115a
00001142: JUMPI
00001143: PUSH1 0x40
00001145: MLOAD
00001146: PUSH3 0x461bcd
0000114a: PUSH1 0xe5
0000114c: SHL
0000114d: DUP2
0000114e: MSTORE
0000114f: PUSH1 0x04
00001151: ADD
00001152: PUSH2 0x09f2
00001155: SWAP1
00001156: PUSH2 0x2965
00001159: JUMP
0000115a: JUMPDEST
0000115b: PUSH1 0x10
0000115d: DUP1
0000115e: SLOAD
0000115f: PUSH2 0xffff
00001162: NOT
00001163: AND
00001164: PUSH1 0x01
00001166: OR
00001167: SWAP1
00001168: SSTORE
00001169: JUMP
0000116a: JUMPDEST
0000116b: PUSH2 0x1173
0000116e: DUP3
0000116f: PUSH2 0x1e84
00001172: JUMP
00001173: JUMPDEST
00001174: PUSH2 0x11b2
00001177: JUMPI
00001178: PUSH1 0x40
0000117a: MLOAD
0000117b: PUSH3 0x461bcd
0000117f: PUSH1 0xe5
00001181: SHL
00001182: DUP2
00001183: MSTORE
00001184: PUSH1 0x20
00001186: PUSH1 0x04
00001188: DUP3
00001189: ADD
0000118a: MSTORE
0000118b: PUSH1 0x10
0000118d: PUSH1 0x24
0000118f: DUP3
00001190: ADD
00001191: MSTORE
00001192: PUSH16 0x125b9d985b1a59081d1bdad95b881a59
000011a3: PUSH1 0x82
000011a5: SHL
000011a6: PUSH1 0x44
000011a8: DUP3
000011a9: ADD
000011aa: MSTORE
000011ab: PUSH1 0x64
000011ad: ADD
000011ae: PUSH2 0x09f2
000011b1: JUMP
000011b2: JUMPDEST
000011b3: PUSH2 0x11bb
000011b6: DUP3
000011b7: PUSH2 0x1110
000011ba: JUMP
000011bb: JUMPDEST
000011bc: PUSH1 0x01
000011be: PUSH1 0x01
000011c0: PUSH1 0xa0
000011c2: SHL
000011c3: SUB
000011c4: AND
000011c5: CALLER
000011c6: PUSH1 0x01
000011c8: PUSH1 0x01
000011ca: PUSH1 0xa0
000011cc: SHL
000011cd: SUB
000011ce: AND
000011cf: EQ
000011d0: PUSH2 0x121b
000011d3: JUMPI
000011d4: PUSH1 0x40
000011d6: MLOAD
000011d7: PUSH3 0x461bcd
000011db: PUSH1 0xe5
000011dd: SHL
000011de: DUP2
000011df: MSTORE
000011e0: PUSH1 0x20
000011e2: PUSH1 0x04
000011e4: DUP3
000011e5: ADD
000011e6: MSTORE
000011e7: PUSH1 0x1a
000011e9: PUSH1 0x24
000011eb: DUP3
000011ec: ADD
000011ed: MSTORE
000011ee: PUSH32 0x53656e646572206d75737420626520746f6b656e206f776e6572000000000000
0000120f: PUSH1 0x44
00001211: DUP3
00001212: ADD
00001213: MSTORE
00001214: PUSH1 0x64
00001216: ADD
00001217: PUSH2 0x09f2
0000121a: JUMP
0000121b: JUMPDEST
0000121c: PUSH1 0x01
0000121e: DUP2
0000121f: LT
00001220: ISZERO
00001221: DUP1
00001222: ISZERO
00001223: PUSH2 0x122e
00001226: JUMPI
00001227: POP
00001228: PUSH1 0x15
0000122a: SLOAD
0000122b: DUP2
0000122c: GT
0000122d: ISZERO
0000122e: JUMPDEST
0000122f: PUSH2 0x127a
00001232: JUMPI
00001233: PUSH1 0x40
00001235: MLOAD
00001236: PUSH3 0x461bcd
0000123a: PUSH1 0xe5
0000123c: SHL
0000123d: DUP2
0000123e: MSTORE
0000123f: PUSH1 0x20
00001241: PUSH1 0x04
00001243: DUP3
00001244: ADD
00001245: MSTORE
00001246: PUSH1 0x1b
00001248: PUSH1 0x24
0000124a: DUP3
0000124b: ADD
0000124c: MSTORE
0000124d: PUSH32 0x496e76616c696420636f7374756d65206e756d6265722073656e740000000000
0000126e: PUSH1 0x44
00001270: DUP3
00001271: ADD
00001272: MSTORE
00001273: PUSH1 0x64
00001275: ADD
00001276: PUSH2 0x09f2
00001279: JUMP
0000127a: JUMPDEST
0000127b: PUSH1 0x00
0000127d: SWAP2
0000127e: DUP3
0000127f: MSTORE
00001280: PUSH1 0x16
00001282: PUSH1 0x20
00001284: MSTORE
00001285: PUSH1 0x40
00001287: SWAP1
00001288: SWAP2
00001289: KECCAK256
0000128a: SSTORE
0000128b: JUMP
0000128c: JUMPDEST
0000128d: PUSH1 0x00
0000128f: PUSH1 0x01
00001291: PUSH1 0x01
00001293: PUSH1 0xa0
00001295: SHL
00001296: SUB
00001297: DUP3
00001298: AND
00001299: PUSH2 0x12b5
0000129c: JUMPI
0000129d: PUSH1 0x40
0000129f: MLOAD
000012a0: PUSH4 0x23d3ad81
000012a5: PUSH1 0xe2
000012a7: SHL
000012a8: DUP2
000012a9: MSTORE
000012aa: PUSH1 0x04
000012ac: ADD
000012ad: PUSH1 0x40
000012af: MLOAD
000012b0: DUP1
000012b1: SWAP2
000012b2: SUB
000012b3: SWAP1
000012b4: REVERT
000012b5: JUMPDEST
000012b6: POP
000012b7: PUSH1 0x01
000012b9: PUSH1 0x01
000012bb: PUSH1 0xa0
000012bd: SHL
000012be: SUB
000012bf: AND
000012c0: PUSH1 0x00
000012c2: SWAP1
000012c3: DUP2
000012c4: MSTORE
000012c5: PUSH1 0x05
000012c7: PUSH1 0x20
000012c9: MSTORE
000012ca: PUSH1 0x40
000012cc: SWAP1
000012cd: KECCAK256
000012ce: SLOAD
000012cf: PUSH8 0xffffffffffffffff
000012d8: AND
000012d9: SWAP1
000012da: JUMP
000012db: JUMPDEST
000012dc: PUSH2 0x12e3
000012df: PUSH2 0x1f2f
000012e2: JUMP
000012e3: JUMPDEST
000012e4: PUSH2 0x12ed
000012e7: PUSH1 0x00
000012e9: PUSH2 0x1f89
000012ec: JUMP
000012ed: JUMPDEST
000012ee: JUMP
000012ef: JUMPDEST
000012f0: PUSH1 0x0d
000012f2: SLOAD
000012f3: PUSH1 0x01
000012f5: PUSH1 0x01
000012f7: PUSH1 0xa0
000012f9: SHL
000012fa: SUB
000012fb: AND
000012fc: CALLER
000012fd: EQ
000012fe: DUP1
000012ff: PUSH2 0x1312
00001302: JUMPI
00001303: POP
00001304: PUSH1 0x0a
00001306: SLOAD
00001307: PUSH1 0x01
00001309: PUSH1 0x01
0000130b: PUSH1 0xa0
0000130d: SHL
0000130e: SUB
0000130f: AND
00001310: CALLER
00001311: EQ
00001312: JUMPDEST
00001313: PUSH2 0x132e
00001316: JUMPI
00001317: PUSH1 0x40
00001319: MLOAD
0000131a: PUSH3 0x461bcd
0000131e: PUSH1 0xe5
00001320: SHL
00001321: DUP2
00001322: MSTORE
00001323: PUSH1 0x04
00001325: ADD
00001326: PUSH2 0x09f2
00001329: SWAP1
0000132a: PUSH2 0x2965
0000132d: JUMP
0000132e: JUMPDEST
0000132f: PUSH1 0x0b
00001331: SLOAD
00001332: DUP2
00001333: PUSH2 0x133f
00001336: PUSH1 0x00
00001338: SLOAD
00001339: PUSH1 0x00
0000133b: NOT
0000133c: ADD
0000133d: SWAP1
0000133e: JUMP
0000133f: JUMPDEST
00001340: PUSH2 0x1349
00001343: SWAP2
00001344: SWAP1
00001345: PUSH2 0x2a89
00001348: JUMP
00001349: JUMPDEST
0000134a: GT
0000134b: ISZERO
0000134c: PUSH2 0x1367
0000134f: JUMPI
00001350: PUSH1 0x40
00001352: MLOAD
00001353: PUSH3 0x461bcd
00001357: PUSH1 0xe5
00001359: SHL
0000135a: DUP2
0000135b: MSTORE
0000135c: PUSH1 0x04
0000135e: ADD
0000135f: PUSH2 0x09f2
00001362: SWAP1
00001363: PUSH2 0x2aa1
00001366: JUMP
00001367: JUMPDEST
00001368: PUSH1 0x00
0000136a: JUMPDEST
0000136b: DUP2
0000136c: DUP2
0000136d: LT
0000136e: ISZERO
0000136f: PUSH2 0x1055
00001372: JUMPI
00001373: PUSH2 0x13a3
00001376: DUP4
00001377: DUP4
00001378: DUP4
00001379: DUP2
0000137a: DUP2
0000137b: LT
0000137c: PUSH2 0x1387
0000137f: JUMPI
00001380: PUSH2 0x1387
00001383: PUSH2 0x2ae6
00001386: JUMP
00001387: JUMPDEST
00001388: SWAP1
00001389: POP
0000138a: PUSH1 0x20
0000138c: MUL
0000138d: ADD
0000138e: PUSH1 0x20
00001390: DUP2
00001391: ADD
00001392: SWAP1
00001393: PUSH2 0x139c
00001396: SWAP2
00001397: SWAP1
00001398: PUSH2 0x2526
0000139b: JUMP
0000139c: JUMPDEST
0000139d: PUSH1 0x01
0000139f: PUSH2 0x1fdb
000013a2: JUMP
000013a3: JUMPDEST
000013a4: DUP1
000013a5: PUSH2 0x13ad
000013a8: DUP2
000013a9: PUSH2 0x2afc
000013ac: JUMP
000013ad: JUMPDEST
000013ae: SWAP2
000013af: POP
000013b0: POP
000013b1: PUSH2 0x136a
000013b4: JUMP
000013b5: JUMPDEST
000013b6: PUSH1 0x0d
000013b8: SLOAD
000013b9: PUSH1 0x01
000013bb: PUSH1 0x01
000013bd: PUSH1 0xa0
000013bf: SHL
000013c0: SUB
000013c1: AND
000013c2: CALLER
000013c3: EQ
000013c4: PUSH2 0x140f
000013c7: JUMPI
000013c8: PUSH1 0x40
000013ca: MLOAD
000013cb: PUSH3 0x461bcd
000013cf: PUSH1 0xe5
000013d1: SHL
000013d2: DUP2
000013d3: MSTORE
000013d4: PUSH1 0x20
000013d6: PUSH1 0x04
000013d8: DUP3
000013d9: ADD
000013da: DUP2
000013db: SWAP1
000013dc: MSTORE
000013dd: PUSH1 0x24
000013df: DUP3
000013e0: ADD
000013e1: MSTORE
000013e2: PUSH32 0x45524337323141544c436f72653a2041646472657373206e6f742061646d696e
00001403: PUSH1 0x44
00001405: DUP3
00001406: ADD
00001407: MSTORE
00001408: PUSH1 0x64
0000140a: ADD
0000140b: PUSH2 0x09f2
0000140e: JUMP
0000140f: JUMPDEST
00001410: PUSH1 0x0d
00001412: DUP1
00001413: SLOAD
00001414: PUSH1 0x01
00001416: PUSH1 0x01
00001418: PUSH1 0xa0
0000141a: SHL
0000141b: SUB
0000141c: NOT
0000141d: AND
0000141e: SWAP1
0000141f: SSTORE
00001420: JUMP
00001421: JUMPDEST
00001422: PUSH1 0x60
00001424: PUSH1 0x03
00001426: DUP1
00001427: SLOAD
00001428: PUSH2 0x0a2c
0000142b: SWAP1
0000142c: PUSH2 0x29ae
0000142f: JUMP
00001430: JUMPDEST
00001431: PUSH1 0x0d
00001433: SLOAD
00001434: PUSH1 0x01
00001436: PUSH1 0x01
00001438: PUSH1 0xa0
0000143a: SHL
0000143b: SUB
0000143c: AND
0000143d: CALLER
0000143e: EQ
0000143f: DUP1
00001440: PUSH2 0x1453
00001443: JUMPI
00001444: POP
00001445: PUSH1 0x0a
00001447: SLOAD
00001448: PUSH1 0x01
0000144a: PUSH1 0x01
0000144c: PUSH1 0xa0
0000144e: SHL
0000144f: SUB
00001450: AND
00001451: CALLER
00001452: EQ
00001453: JUMPDEST
00001454: PUSH2 0x146f
00001457: JUMPI
00001458: PUSH1 0x40
0000145a: MLOAD
0000145b: PUSH3 0x461bcd
0000145f: PUSH1 0xe5
00001461: SHL
00001462: DUP2
00001463: MSTORE
00001464: PUSH1 0x04
00001466: ADD
00001467: PUSH2 0x09f2
0000146a: SWAP1
0000146b: PUSH2 0x2965
0000146e: JUMP
0000146f: JUMPDEST
00001470: PUSH1 0x40
00001472: MLOAD
00001473: PUSH4 0x70a08231
00001478: PUSH1 0xe0
0000147a: SHL
0000147b: DUP2
0000147c: MSTORE
0000147d: ADDRESS
0000147e: PUSH1 0x04
00001480: DUP3
00001481: ADD
00001482: MSTORE
00001483: DUP3
00001484: SWAP1
00001485: PUSH1 0x01
00001487: PUSH1 0x01
00001489: PUSH1 0xa0
0000148b: SHL
0000148c: SUB
0000148d: DUP3
0000148e: AND
0000148f: SWAP1
00001490: PUSH4 0x70a08231
00001495: SWAP1
00001496: PUSH1 0x24
00001498: ADD
00001499: PUSH1 0x20
0000149b: PUSH1 0x40
0000149d: MLOAD
0000149e: DUP1
0000149f: DUP4
000014a0: SUB
000014a1: DUP2
000014a2: DUP7
000014a3: GAS
000014a4: STATICCALL
000014a5: ISZERO
000014a6: DUP1
000014a7: ISZERO
000014a8: PUSH2 0x14b5
000014ab: JUMPI
000014ac: RETURNDATASIZE
000014ad: PUSH1 0x00
000014af: DUP1
000014b0: RETURNDATACOPY
000014b1: RETURNDATASIZE
000014b2: PUSH1 0x00
000014b4: REVERT
000014b5: JUMPDEST
000014b6: POP
000014b7: POP
000014b8: POP
000014b9: POP
000014ba: PUSH1 0x40
000014bc: MLOAD
000014bd: RETURNDATASIZE
000014be: PUSH1 0x1f
000014c0: NOT
000014c1: PUSH1 0x1f
000014c3: DUP3
000014c4: ADD
000014c5: AND
000014c6: DUP3
000014c7: ADD
000014c8: DUP1
000014c9: PUSH1 0x40
000014cb: MSTORE
000014cc: POP
000014cd: DUP2
000014ce: ADD
000014cf: SWAP1
000014d0: PUSH2 0x14d9
000014d3: SWAP2
000014d4: SWAP1
000014d5: PUSH2 0x2b15
000014d8: JUMP
000014d9: JUMPDEST
000014da: DUP3
000014db: GT
000014dc: ISZERO
000014dd: PUSH2 0x14f8
000014e0: JUMPI
000014e1: PUSH1 0x40
000014e3: MLOAD
000014e4: PUSH3 0x461bcd
000014e8: PUSH1 0xe5
000014ea: SHL
000014eb: DUP2
000014ec: MSTORE
000014ed: PUSH1 0x04
000014ef: ADD
000014f0: PUSH2 0x09f2
000014f3: SWAP1
000014f4: PUSH2 0x2a39
000014f7: JUMP
000014f8: JUMPDEST
000014f9: PUSH1 0x0c
000014fb: SLOAD
000014fc: PUSH1 0x40
000014fe: MLOAD
000014ff: PUSH4 0xa9059cbb
00001504: PUSH1 0xe0
00001506: SHL
00001507: DUP2
00001508: MSTORE
00001509: PUSH1 0x01
0000150b: PUSH1 0x01
0000150d: PUSH1 0xa0
0000150f: SHL
00001510: SUB
00001511: SWAP2
00001512: DUP3
00001513: AND
00001514: PUSH1 0x04
00001516: DUP3
00001517: ADD
00001518: MSTORE
00001519: PUSH1 0x24
0000151b: DUP2
0000151c: ADD
0000151d: DUP5
0000151e: SWAP1
0000151f: MSTORE
00001520: SWAP1
00001521: DUP3
00001522: AND
00001523: SWAP1
00001524: PUSH4 0xa9059cbb
00001529: SWAP1
0000152a: PUSH1 0x44
0000152c: ADD
0000152d: PUSH1 0x20
0000152f: PUSH1 0x40
00001531: MLOAD
00001532: DUP1
00001533: DUP4
00001534: SUB
00001535: DUP2
00001536: PUSH1 0x00
00001538: DUP8
00001539: GAS
0000153a: CALL
0000153b: ISZERO
0000153c: DUP1
0000153d: ISZERO
0000153e: PUSH2 0x154b
00001541: JUMPI
00001542: RETURNDATASIZE
00001543: PUSH1 0x00
00001545: DUP1
00001546: RETURNDATACOPY
00001547: RETURNDATASIZE
00001548: PUSH1 0x00
0000154a: REVERT
0000154b: JUMPDEST
0000154c: POP
0000154d: POP
0000154e: POP
0000154f: POP
00001550: PUSH1 0x40
00001552: MLOAD
00001553: RETURNDATASIZE
00001554: PUSH1 0x1f
00001556: NOT
00001557: PUSH1 0x1f
00001559: DUP3
0000155a: ADD
0000155b: AND
0000155c: DUP3
0000155d: ADD
0000155e: DUP1
0000155f: PUSH1 0x40
00001561: MSTORE
00001562: POP
00001563: DUP2
00001564: ADD
00001565: SWAP1
00001566: PUSH2 0x156f
00001569: SWAP2
0000156a: SWAP1
0000156b: PUSH2 0x2b2e
0000156e: JUMP
0000156f: JUMPDEST
00001570: PUSH2 0x1055
00001573: JUMPI
00001574: PUSH1 0x00
00001576: DUP1
00001577: REVERT
00001578: JUMPDEST
00001579: CALLER
0000157a: PUSH1 0x01
0000157c: PUSH1 0x01
0000157e: PUSH1 0xa0
00001580: SHL
00001581: SUB
00001582: DUP4
00001583: AND
00001584: SUB
00001585: PUSH2 0x15a1
00001588: JUMPI
00001589: PUSH1 0x40
0000158b: MLOAD
0000158c: PUSH4 0xb06307db
00001591: PUSH1 0xe0
00001593: SHL
00001594: DUP2
00001595: MSTORE
00001596: PUSH1 0x04
00001598: ADD
00001599: PUSH1 0x40
0000159b: MLOAD
0000159c: DUP1
0000159d: SWAP2
0000159e: SUB
0000159f: SWAP1
000015a0: REVERT
000015a1: JUMPDEST
000015a2: CALLER
000015a3: PUSH1 0x00
000015a5: DUP2
000015a6: DUP2
000015a7: MSTORE
000015a8: PUSH1 0x07
000015aa: PUSH1 0x20
000015ac: SWAP1
000015ad: DUP2
000015ae: MSTORE
000015af: PUSH1 0x40
000015b1: DUP1
000015b2: DUP4
000015b3: KECCAK256
000015b4: PUSH1 0x01
000015b6: PUSH1 0x01
000015b8: PUSH1 0xa0
000015ba: SHL
000015bb: SUB
000015bc: DUP8
000015bd: AND
000015be: DUP1
000015bf: DUP6
000015c0: MSTORE
000015c1: SWAP1
000015c2: DUP4
000015c3: MSTORE
000015c4: SWAP3
000015c5: DUP2
000015c6: SWAP1
000015c7: KECCAK256
000015c8: DUP1
000015c9: SLOAD
000015ca: PUSH1 0xff
000015cc: NOT
000015cd: AND
000015ce: DUP7
000015cf: ISZERO
000015d0: ISZERO
000015d1: SWAP1
000015d2: DUP2
000015d3: OR
000015d4: SWAP1
000015d5: SWAP2
000015d6: SSTORE
000015d7: SWAP1
000015d8: MLOAD
000015d9: SWAP1
000015da: DUP2
000015db: MSTORE
000015dc: SWAP2
000015dd: SWAP3
000015de: SWAP2
000015df: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00001600: SWAP2
00001601: ADD
00001602: PUSH1 0x40
00001604: MLOAD
00001605: DUP1
00001606: SWAP2
00001607: SUB
00001608: SWAP1
00001609: LOG3
0000160a: POP
0000160b: POP
0000160c: JUMP
0000160d: JUMPDEST
0000160e: PUSH1 0x0d
00001610: SLOAD
00001611: PUSH1 0x01
00001613: PUSH1 0x01
00001615: PUSH1 0xa0
00001617: SHL
00001618: SUB
00001619: AND
0000161a: CALLER
0000161b: EQ
0000161c: DUP1
0000161d: PUSH2 0x1630
00001620: JUMPI
00001621: POP
00001622: PUSH1 0x0a
00001624: SLOAD
00001625: PUSH1 0x01
00001627: PUSH1 0x01
00001629: PUSH1 0xa0
0000162b: SHL
0000162c: SUB
0000162d: AND
0000162e: CALLER
0000162f: EQ
00001630: JUMPDEST
00001631: PUSH2 0x164c
00001634: JUMPI
00001635: PUSH1 0x40
00001637: MLOAD
00001638: PUSH3 0x461bcd
0000163c: PUSH1 0xe5
0000163e: SHL
0000163f: DUP2
00001640: MSTORE
00001641: PUSH1 0x04
00001643: ADD
00001644: PUSH2 0x09f2
00001647: SWAP1
00001648: PUSH2 0x2965
0000164b: JUMP
0000164c: JUMPDEST
0000164d: PUSH1 0x11
0000164f: SSTORE
00001650: JUMP
00001651: JUMPDEST
00001652: PUSH1 0x0d
00001654: SLOAD
00001655: PUSH1 0x01
00001657: PUSH1 0x01
00001659: PUSH1 0xa0
0000165b: SHL
0000165c: SUB
0000165d: AND
0000165e: CALLER
0000165f: EQ
00001660: DUP1
00001661: PUSH2 0x1674
00001664: JUMPI
00001665: POP
00001666: PUSH1 0x0a
00001668: SLOAD
00001669: PUSH1 0x01
0000166b: PUSH1 0x01
0000166d: PUSH1 0xa0
0000166f: SHL
00001670: SUB
00001671: AND
00001672: CALLER
00001673: EQ
00001674: JUMPDEST
00001675: PUSH2 0x1690
00001678: JUMPI
00001679: PUSH1 0x40
0000167b: MLOAD
0000167c: PUSH3 0x461bcd
00001680: PUSH1 0xe5
00001682: SHL
00001683: DUP2
00001684: MSTORE
00001685: PUSH1 0x04
00001687: ADD
00001688: PUSH2 0x09f2
0000168b: SWAP1
0000168c: PUSH2 0x2965
0000168f: JUMP
00001690: JUMPDEST
00001691: PUSH1 0x0b
00001693: SLOAD
00001694: DUP2
00001695: PUSH1 0x01
00001697: PUSH1 0x01
00001699: PUSH1 0x80
0000169b: SHL
0000169c: SUB
0000169d: AND
0000169e: PUSH2 0x16aa
000016a1: PUSH1 0x00
000016a3: SLOAD
000016a4: PUSH1 0x00
000016a6: NOT
000016a7: ADD
000016a8: SWAP1
000016a9: JUMP
000016aa: JUMPDEST
000016ab: PUSH2 0x16b4
000016ae: SWAP2
000016af: SWAP1
000016b0: PUSH2 0x2a89
000016b3: JUMP
000016b4: JUMPDEST
000016b5: GT
000016b6: ISZERO
000016b7: PUSH2 0x16d2
000016ba: JUMPI
000016bb: PUSH1 0x40
000016bd: MLOAD
000016be: PUSH3 0x461bcd
000016c2: PUSH1 0xe5
000016c4: SHL
000016c5: DUP2
000016c6: MSTORE
000016c7: PUSH1 0x04
000016c9: ADD
000016ca: PUSH2 0x09f2
000016cd: SWAP1
000016ce: PUSH2 0x2aa1
000016d1: JUMP
000016d2: JUMPDEST
000016d3: PUSH2 0x16f6
000016d6: PUSH2 0x16e7
000016d9: PUSH1 0x0a
000016db: SLOAD
000016dc: PUSH1 0x01
000016de: PUSH1 0x01
000016e0: PUSH1 0xa0
000016e2: SHL
000016e3: SUB
000016e4: AND
000016e5: SWAP1
000016e6: JUMP
000016e7: JUMPDEST
000016e8: DUP3
000016e9: PUSH1 0x01
000016eb: PUSH1 0x01
000016ed: PUSH1 0x80
000016ef: SHL
000016f0: SUB
000016f1: AND
000016f2: PUSH2 0x1fdb
000016f5: JUMP
000016f6: JUMPDEST
000016f7: POP
000016f8: JUMP
000016f9: JUMPDEST
000016fa: PUSH1 0x0d
000016fc: SLOAD
000016fd: PUSH1 0x01
000016ff: PUSH1 0x01
00001701: PUSH1 0xa0
00001703: SHL
00001704: SUB
00001705: AND
00001706: CALLER
00001707: EQ
00001708: DUP1
00001709: PUSH2 0x171c
0000170c: JUMPI
0000170d: POP
0000170e: PUSH1 0x0a
00001710: SLOAD
00001711: PUSH1 0x01
00001713: PUSH1 0x01
00001715: PUSH1 0xa0
00001717: SHL
00001718: SUB
00001719: AND
0000171a: CALLER
0000171b: EQ
0000171c: JUMPDEST
0000171d: PUSH2 0x1738
00001720: JUMPI
00001721: PUSH1 0x40
00001723: MLOAD
00001724: PUSH3 0x461bcd
00001728: PUSH1 0xe5
0000172a: SHL
0000172b: DUP2
0000172c: MSTORE
0000172d: PUSH1 0x04
0000172f: ADD
00001730: PUSH2 0x09f2
00001733: SWAP1
00001734: PUSH2 0x2965
00001737: JUMP
00001738: JUMPDEST
00001739: PUSH1 0x10
0000173b: DUP1
0000173c: SLOAD
0000173d: PUSH2 0xffff
00001740: NOT
00001741: AND
00001742: PUSH2 0x0100
00001745: OR
00001746: SWAP1
00001747: SSTORE
00001748: JUMP
00001749: JUMPDEST
0000174a: PUSH1 0x02
0000174c: PUSH1 0x0f
0000174e: SLOAD
0000174f: SUB
00001750: PUSH2 0x179b
00001753: JUMPI
00001754: PUSH1 0x40
00001756: MLOAD
00001757: PUSH3 0x461bcd
0000175b: PUSH1 0xe5
0000175d: SHL
0000175e: DUP2
0000175f: MSTORE
00001760: PUSH1 0x20
00001762: PUSH1 0x04
00001764: DUP3
00001765: ADD
00001766: MSTORE
00001767: PUSH1 0x1f
00001769: PUSH1 0x24
0000176b: DUP3
0000176c: ADD
0000176d: MSTORE
0000176e: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
0000178f: PUSH1 0x44
00001791: DUP3
00001792: ADD
00001793: MSTORE
00001794: PUSH1 0x64
00001796: ADD
00001797: PUSH2 0x09f2
0000179a: JUMP
0000179b: JUMPDEST
0000179c: PUSH1 0x02
0000179e: PUSH1 0x0f
000017a0: SSTORE
000017a1: PUSH1 0x0b
000017a3: SLOAD
000017a4: DUP5
000017a5: PUSH2 0x17b1
000017a8: PUSH1 0x00
000017aa: SLOAD
000017ab: PUSH1 0x00
000017ad: NOT
000017ae: ADD
000017af: SWAP1
000017b0: JUMP
000017b1: JUMPDEST
000017b2: PUSH2 0x17bb
000017b5: SWAP2
000017b6: SWAP1
000017b7: PUSH2 0x2a89
000017ba: JUMP
000017bb: JUMPDEST
000017bc: GT
000017bd: ISZERO
000017be: PUSH2 0x1800
000017c1: JUMPI
000017c2: PUSH1 0x40
000017c4: MLOAD
000017c5: PUSH3 0x461bcd
000017c9: PUSH1 0xe5
000017cb: SHL
000017cc: DUP2
000017cd: MSTORE
000017ce: PUSH1 0x20
000017d0: PUSH1 0x04
000017d2: DUP3
000017d3: ADD
000017d4: MSTORE
000017d5: PUSH1 0x14
000017d7: PUSH1 0x24
000017d9: DUP3
000017da: ADD
000017db: MSTORE
000017dc: PUSH20 0x139bc81d1bdad95b881cdd5c1c1b1e481b19599d
000017f1: PUSH1 0x62
000017f3: SHL
000017f4: PUSH1 0x44
000017f6: DUP3
000017f7: ADD
000017f8: MSTORE
000017f9: PUSH1 0x64
000017fb: ADD
000017fc: PUSH2 0x09f2
000017ff: JUMP
00001800: JUMPDEST
00001801: DUP4
00001802: PUSH1 0x12
00001804: SLOAD
00001805: PUSH2 0x180e
00001808: SWAP2
00001809: SWAP1
0000180a: PUSH2 0x29f8
0000180d: JUMP
0000180e: JUMPDEST
0000180f: CALLVALUE
00001810: LT
00001811: ISZERO
00001812: PUSH2 0x1872
00001815: JUMPI
00001816: PUSH1 0x40
00001818: MLOAD
00001819: PUSH3 0x461bcd
0000181d: PUSH1 0xe5
0000181f: SHL
00001820: DUP2
00001821: MSTORE
00001822: PUSH1 0x20
00001824: PUSH1 0x04
00001826: DUP3
00001827: ADD
00001828: MSTORE
00001829: PUSH1 0x2c
0000182b: PUSH1 0x24
0000182d: DUP3
0000182e: ADD
0000182f: MSTORE
00001830: PUSH32 0x4e6f7420656e6f75676820657468657220617474616368656420746f20746865
00001851: PUSH1 0x44
00001853: DUP3
00001854: ADD
00001855: MSTORE
00001856: PUSH12 0x103a3930b739b0b1ba34b7b7
00001863: PUSH1 0xa1
00001865: SHL
00001866: PUSH1 0x64
00001868: DUP3
00001869: ADD
0000186a: MSTORE
0000186b: PUSH1 0x84
0000186d: ADD
0000186e: PUSH2 0x09f2
00001871: JUMP
00001872: JUMPDEST
00001873: PUSH1 0x11
00001875: SLOAD
00001876: CALLER
00001877: PUSH1 0x00
00001879: SWAP1
0000187a: DUP2
0000187b: MSTORE
0000187c: PUSH1 0x05
0000187e: PUSH1 0x20
00001880: MSTORE
00001881: PUSH1 0x40
00001883: SWAP1
00001884: DUP2
00001885: SWAP1
00001886: KECCAK256
00001887: SLOAD
00001888: DUP7
00001889: SWAP2
0000188a: SHR
0000188b: PUSH8 0xffffffffffffffff
00001894: AND
00001895: PUSH2 0x189e
00001898: SWAP2
00001899: SWAP1
0000189a: PUSH2 0x2a89
0000189d: JUMP
0000189e: JUMPDEST
0000189f: GT
000018a0: ISZERO
000018a1: PUSH2 0x18e5
000018a4: JUMPI
000018a5: PUSH1 0x40
000018a7: MLOAD
000018a8: PUSH3 0x461bcd
000018ac: PUSH1 0xe5
000018ae: SHL
000018af: DUP2
000018b0: MSTORE
000018b1: PUSH1 0x20
000018b3: PUSH1 0x04
000018b5: DUP3
000018b6: ADD
000018b7: MSTORE
000018b8: PUSH1 0x16
000018ba: PUSH1 0x24
000018bc: DUP3
000018bd: ADD
000018be: MSTORE
000018bf: PUSH22 0x135a5b9d08185b1b1bddd85b98d9481c995858da1959
000018d6: PUSH1 0x52
000018d8: SHL
000018d9: PUSH1 0x44
000018db: DUP3
000018dc: ADD
000018dd: MSTORE
000018de: PUSH1 0x64
000018e0: ADD
000018e1: PUSH2 0x09f2
000018e4: JUMP
000018e5: JUMPDEST
000018e6: PUSH1 0x10
000018e8: SLOAD
000018e9: PUSH1 0xff
000018eb: AND
000018ec: ISZERO
000018ed: PUSH2 0x19af
000018f0: JUMPI
000018f1: PUSH1 0x40
000018f3: MLOAD
000018f4: PUSH12 0xffffffffffffffffffffffff
00001901: NOT
00001902: CALLER
00001903: PUSH1 0x60
00001905: SHL
00001906: AND
00001907: PUSH1 0x20
00001909: DUP3
0000190a: ADD
0000190b: MSTORE
0000190c: PUSH1 0x00
0000190e: SWAP1
0000190f: PUSH1 0x34
00001911: ADD
00001912: PUSH1 0x40
00001914: MLOAD
00001915: PUSH1 0x20
00001917: DUP2
00001918: DUP4
00001919: SUB
0000191a: SUB
0000191b: DUP2
0000191c: MSTORE
0000191d: SWAP1
0000191e: PUSH1 0x40
00001920: MSTORE
00001921: DUP1
00001922: MLOAD
00001923: SWAP1
00001924: PUSH1 0x20
00001926: ADD
00001927: KECCAK256
00001928: SWAP1
00001929: POP
0000192a: PUSH2 0x196a
0000192d: DUP5
0000192e: DUP5
0000192f: DUP1
00001930: DUP1
00001931: PUSH1 0x20
00001933: MUL
00001934: PUSH1 0x20
00001936: ADD
00001937: PUSH1 0x40
00001939: MLOAD
0000193a: SWAP1
0000193b: DUP2
0000193c: ADD
0000193d: PUSH1 0x40
0000193f: MSTORE
00001940: DUP1
00001941: SWAP4
00001942: SWAP3
00001943: SWAP2
00001944: SWAP1
00001945: DUP2
00001946: DUP2
00001947: MSTORE
00001948: PUSH1 0x20
0000194a: ADD
0000194b: DUP4
0000194c: DUP4
0000194d: PUSH1 0x20
0000194f: MUL
00001950: DUP1
00001951: DUP3
00001952: DUP5
00001953: CALLDATACOPY
00001954: PUSH1 0x00
00001956: SWAP3
00001957: ADD
00001958: SWAP2
00001959: SWAP1
0000195a: SWAP2
0000195b: MSTORE
0000195c: POP
0000195d: POP
0000195e: PUSH1 0x13
00001960: SLOAD
00001961: SWAP2
00001962: POP
00001963: DUP5
00001964: SWAP1
00001965: POP
00001966: PUSH2 0x20bb
00001969: JUMP
0000196a: JUMPDEST
0000196b: PUSH2 0x19a9
0000196e: JUMPI
0000196f: PUSH1 0x40
00001971: MLOAD
00001972: PUSH3 0x461bcd
00001976: PUSH1 0xe5
00001978: SHL
00001979: DUP2
0000197a: MSTORE
0000197b: PUSH1 0x20
0000197d: PUSH1 0x04
0000197f: DUP3
00001980: ADD
00001981: MSTORE
00001982: PUSH1 0x10
00001984: PUSH1 0x24
00001986: DUP3
00001987: ADD
00001988: MSTORE
00001989: PUSH16 0x139bdd081bdb88185b1b1bdddb1a5cdd
0000199a: PUSH1 0x82
0000199c: SHL
0000199d: PUSH1 0x44
0000199f: DUP3
000019a0: ADD
000019a1: MSTORE
000019a2: PUSH1 0x64
000019a4: ADD
000019a5: PUSH2 0x09f2
000019a8: JUMP
000019a9: JUMPDEST
000019aa: POP
000019ab: PUSH2 0x19f6
000019ae: JUMP
000019af: JUMPDEST
000019b0: PUSH1 0x10
000019b2: SLOAD
000019b3: PUSH2 0x0100
000019b6: SWAP1
000019b7: DIV
000019b8: PUSH1 0xff
000019ba: AND
000019bb: PUSH2 0x19f6
000019be: JUMPI
000019bf: PUSH1 0x40
000019c1: MLOAD
000019c2: PUSH3 0x461bcd
000019c6: PUSH1 0xe5
000019c8: SHL
000019c9: DUP2
000019ca: MSTORE
000019cb: PUSH1 0x20
000019cd: PUSH1 0x04
000019cf: DUP3
000019d0: ADD
000019d1: MSTORE
000019d2: PUSH1 0x0d
000019d4: PUSH1 0x24
000019d6: DUP3
000019d7: ADD
000019d8: MSTORE
000019d9: PUSH13 0x26b4b73a103737ba1037b832b7
000019e7: PUSH1 0x99
000019e9: SHL
000019ea: PUSH1 0x44
000019ec: DUP3
000019ed: ADD
000019ee: MSTORE
000019ef: PUSH1 0x64
000019f1: ADD
000019f2: PUSH2 0x09f2
000019f5: JUMP
000019f6: JUMPDEST
000019f7: PUSH1 0x00
000019f9: DUP1
000019fa: SLOAD
000019fb: SWAP1
000019fc: JUMPDEST
000019fd: DUP6
000019fe: DUP2
000019ff: LT
00001a00: ISZERO
00001a01: PUSH2 0x1a3f
00001a04: JUMPI
00001a05: PUSH2 0x1a0e
00001a08: DUP2
00001a09: DUP4
00001a0a: PUSH2 0x2a89
00001a0d: JUMP
00001a0e: JUMPDEST
00001a0f: PUSH1 0x16
00001a11: PUSH1 0x00
00001a13: PUSH2 0x1a1c
00001a16: DUP5
00001a17: DUP7
00001a18: PUSH2 0x2a89
00001a1b: JUMP
00001a1c: JUMPDEST
00001a1d: DUP2
00001a1e: MSTORE
00001a1f: PUSH1 0x20
00001a21: DUP2
00001a22: ADD
00001a23: SWAP2
00001a24: SWAP1
00001a25: SWAP2
00001a26: MSTORE
00001a27: PUSH1 0x40
00001a29: ADD
00001a2a: PUSH1 0x00
00001a2c: KECCAK256
00001a2d: SSTORE
00001a2e: DUP1
00001a2f: PUSH2 0x1a37
00001a32: DUP2
00001a33: PUSH2 0x2afc
00001a36: JUMP
00001a37: JUMPDEST
00001a38: SWAP2
00001a39: POP
00001a3a: POP
00001a3b: PUSH2 0x19fc
00001a3e: JUMP
00001a3f: JUMPDEST
00001a40: POP
00001a41: PUSH1 0x14
00001a43: SLOAD
00001a44: PUSH1 0x40
00001a46: MLOAD
00001a47: PUSH4 0xfc09bf17
00001a4c: PUSH1 0xe0
00001a4e: SHL
00001a4f: DUP2
00001a50: MSTORE
00001a51: PUSH1 0x04
00001a53: DUP2
00001a54: ADD
00001a55: DUP5
00001a56: SWAP1
00001a57: MSTORE
00001a58: PUSH1 0x24
00001a5a: DUP2
00001a5b: ADD
00001a5c: DUP8
00001a5d: SWAP1
00001a5e: MSTORE
00001a5f: CALLER
00001a60: PUSH1 0x44
00001a62: DUP3
00001a63: ADD
00001a64: MSTORE
00001a65: PUSH1 0x01
00001a67: PUSH1 0x01
00001a69: PUSH1 0xa0
00001a6b: SHL
00001a6c: SUB
00001a6d: SWAP1
00001a6e: SWAP2
00001a6f: AND
00001a70: SWAP1
00001a71: PUSH4 0xfc09bf17
00001a76: SWAP1
00001a77: PUSH1 0x64
00001a79: ADD
00001a7a: PUSH1 0x00
00001a7c: PUSH1 0x40
00001a7e: MLOAD
00001a7f: DUP1
00001a80: DUP4
00001a81: SUB
00001a82: DUP2
00001a83: PUSH1 0x00
00001a85: DUP8
00001a86: DUP1
00001a87: EXTCODESIZE
00001a88: ISZERO
00001a89: DUP1
00001a8a: ISZERO
00001a8b: PUSH2 0x1a93
00001a8e: JUMPI
00001a8f: PUSH1 0x00
00001a91: DUP1
00001a92: REVERT
00001a93: JUMPDEST
00001a94: POP
00001a95: GAS
00001a96: CALL
00001a97: ISZERO
00001a98: DUP1
00001a99: ISZERO
00001a9a: PUSH2 0x1aa7
00001a9d: JUMPI
00001a9e: RETURNDATASIZE
00001a9f: PUSH1 0x00
00001aa1: DUP1
00001aa2: RETURNDATACOPY
00001aa3: RETURNDATASIZE
00001aa4: PUSH1 0x00
00001aa6: REVERT
00001aa7: JUMPDEST
00001aa8: POP
00001aa9: POP
00001aaa: POP
00001aab: POP
00001aac: PUSH2 0x1ab5
00001aaf: CALLER
00001ab0: DUP7
00001ab1: PUSH2 0x20d1
00001ab4: JUMP
00001ab5: JUMPDEST
00001ab6: POP
00001ab7: POP
00001ab8: PUSH1 0x01
00001aba: PUSH1 0x0f
00001abc: SSTORE
00001abd: POP
00001abe: POP
00001abf: POP
00001ac0: JUMP
00001ac1: JUMPDEST
00001ac2: PUSH2 0x1acc
00001ac5: DUP5
00001ac6: DUP5
00001ac7: DUP5
00001ac8: PUSH2 0x0bdf
00001acb: JUMP
00001acc: JUMPDEST
00001acd: PUSH1 0x01
00001acf: PUSH1 0x01
00001ad1: PUSH1 0xa0
00001ad3: SHL
00001ad4: SUB
00001ad5: DUP4
00001ad6: AND
00001ad7: EXTCODESIZE
00001ad8: ISZERO
00001ad9: PUSH2 0x1b05
00001adc: JUMPI
00001add: PUSH2 0x1ae8
00001ae0: DUP5
00001ae1: DUP5
00001ae2: DUP5
00001ae3: DUP5
00001ae4: PUSH2 0x20eb
00001ae7: JUMP
00001ae8: JUMPDEST
00001ae9: PUSH2 0x1b05
00001aec: JUMPI
00001aed: PUSH1 0x40
00001aef: MLOAD
00001af0: PUSH4 0x68d2bf6b
00001af5: PUSH1 0xe1
00001af7: SHL
00001af8: DUP2
00001af9: MSTORE
00001afa: PUSH1 0x04
00001afc: ADD
00001afd: PUSH1 0x40
00001aff: MLOAD
00001b00: DUP1
00001b01: SWAP2
00001b02: SUB
00001b03: SWAP1
00001b04: REVERT
00001b05: JUMPDEST
00001b06: POP
00001b07: POP
00001b08: POP
00001b09: POP
00001b0a: JUMP
00001b0b: JUMPDEST
00001b0c: PUSH1 0x02
00001b0e: PUSH1 0x0f
00001b10: SLOAD
00001b11: SUB
00001b12: PUSH2 0x1b5d
00001b15: JUMPI
00001b16: PUSH1 0x40
00001b18: MLOAD
00001b19: PUSH3 0x461bcd
00001b1d: PUSH1 0xe5
00001b1f: SHL
00001b20: DUP2
00001b21: MSTORE
00001b22: PUSH1 0x20
00001b24: PUSH1 0x04
00001b26: DUP3
00001b27: ADD
00001b28: MSTORE
00001b29: PUSH1 0x1f
00001b2b: PUSH1 0x24
00001b2d: DUP3
00001b2e: ADD
00001b2f: MSTORE
00001b30: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00001b51: PUSH1 0x44
00001b53: DUP3
00001b54: ADD
00001b55: MSTORE
00001b56: PUSH1 0x64
00001b58: ADD
00001b59: PUSH2 0x09f2
00001b5c: JUMP
00001b5d: JUMPDEST
00001b5e: PUSH1 0x02
00001b60: PUSH1 0x0f
00001b62: SSTORE
00001b63: PUSH1 0x40
00001b65: MLOAD
00001b66: PUSH3 0x461bcd
00001b6a: PUSH1 0xe5
00001b6c: SHL
00001b6d: DUP2
00001b6e: MSTORE
00001b6f: PUSH1 0x20
00001b71: PUSH1 0x04
00001b73: DUP3
00001b74: ADD
00001b75: MSTORE
00001b76: PUSH1 0x08
00001b78: PUSH1 0x24
00001b7a: DUP3
00001b7b: ADD
00001b7c: MSTORE
00001b7d: PUSH8 0x191a5cd8589b1959
00001b86: PUSH1 0xc2
00001b88: SHL
00001b89: PUSH1 0x44
00001b8b: DUP3
00001b8c: ADD
00001b8d: MSTORE
00001b8e: PUSH1 0x64
00001b90: ADD
00001b91: PUSH2 0x09f2
00001b94: JUMP
00001b95: JUMPDEST
00001b96: PUSH1 0x0d
00001b98: SLOAD
00001b99: PUSH1 0x01
00001b9b: PUSH1 0x01
00001b9d: PUSH1 0xa0
00001b9f: SHL
00001ba0: SUB
00001ba1: AND
00001ba2: CALLER
00001ba3: EQ
00001ba4: DUP1
00001ba5: PUSH2 0x1bb8
00001ba8: JUMPI
00001ba9: POP
00001baa: PUSH1 0x0a
00001bac: SLOAD
00001bad: PUSH1 0x01
00001baf: PUSH1 0x01
00001bb1: PUSH1 0xa0
00001bb3: SHL
00001bb4: SUB
00001bb5: AND
00001bb6: CALLER
00001bb7: EQ
00001bb8: JUMPDEST
00001bb9: PUSH2 0x1bd4
00001bbc: JUMPI
00001bbd: PUSH1 0x40
00001bbf: MLOAD
00001bc0: PUSH3 0x461bcd
00001bc4: PUSH1 0xe5
00001bc6: SHL
00001bc7: DUP2
00001bc8: MSTORE
00001bc9: PUSH1 0x04
00001bcb: ADD
00001bcc: PUSH2 0x09f2
00001bcf: SWAP1
00001bd0: PUSH2 0x2965
00001bd3: JUMP
00001bd4: JUMPDEST
00001bd5: PUSH1 0x15
00001bd7: SSTORE
00001bd8: JUMP
00001bd9: JUMPDEST
00001bda: PUSH1 0x60
00001bdc: PUSH2 0x1be4
00001bdf: DUP3
00001be0: PUSH2 0x1e84
00001be3: JUMP
00001be4: JUMPDEST
00001be5: PUSH2 0x1c01
00001be8: JUMPI
00001be9: PUSH1 0x40
00001beb: MLOAD
00001bec: PUSH4 0x0a14c4b5
00001bf1: PUSH1 0xe4
00001bf3: SHL
00001bf4: DUP2
00001bf5: MSTORE
00001bf6: PUSH1 0x04
00001bf8: ADD
00001bf9: PUSH1 0x40
00001bfb: MLOAD
00001bfc: DUP1
00001bfd: SWAP2
00001bfe: SUB
00001bff: SWAP1
00001c00: REVERT
00001c01: JUMPDEST
00001c02: PUSH1 0x00
00001c04: PUSH2 0x1c0b
00001c07: PUSH2 0x21d6
00001c0a: JUMP
00001c0b: JUMPDEST
00001c0c: PUSH1 0x00
00001c0e: DUP5
00001c0f: DUP2
00001c10: MSTORE
00001c11: PUSH1 0x16
00001c13: PUSH1 0x20
00001c15: MSTORE
00001c16: PUSH1 0x40
00001c18: DUP2
00001c19: KECCAK256
00001c1a: SLOAD
00001c1b: SWAP2
00001c1c: SWAP3
00001c1d: POP
00001c1e: DUP2
00001c1f: SWAP1
00001c20: SUB
00001c21: PUSH2 0x1c28
00001c24: JUMPI
00001c25: POP
00001c26: PUSH1 0x01
00001c28: JUMPDEST
00001c29: DUP2
00001c2a: MLOAD
00001c2b: PUSH1 0x00
00001c2d: SUB
00001c2e: PUSH2 0x1c46
00001c31: JUMPI
00001c32: PUSH1 0x40
00001c34: MLOAD
00001c35: DUP1
00001c36: PUSH1 0x20
00001c38: ADD
00001c39: PUSH1 0x40
00001c3b: MSTORE
00001c3c: DUP1
00001c3d: PUSH1 0x00
00001c3f: DUP2
00001c40: MSTORE
00001c41: POP
00001c42: PUSH2 0x1c7b
00001c45: JUMP
00001c46: JUMPDEST
00001c47: DUP2
00001c48: PUSH2 0x1c50
00001c4b: DUP6
00001c4c: PUSH2 0x21e5
00001c4f: JUMP
00001c50: JUMPDEST
00001c51: PUSH2 0x1c59
00001c54: DUP4
00001c55: PUSH2 0x21e5
00001c58: JUMP
00001c59: JUMPDEST
00001c5a: PUSH1 0x40
00001c5c: MLOAD
00001c5d: PUSH1 0x20
00001c5f: ADD
00001c60: PUSH2 0x1c6b
00001c63: SWAP4
00001c64: SWAP3
00001c65: SWAP2
00001c66: SWAP1
00001c67: PUSH2 0x2b4b
00001c6a: JUMP
00001c6b: JUMPDEST
00001c6c: PUSH1 0x40
00001c6e: MLOAD
00001c6f: PUSH1 0x20
00001c71: DUP2
00001c72: DUP4
00001c73: SUB
00001c74: SUB
00001c75: DUP2
00001c76: MSTORE
00001c77: SWAP1
00001c78: PUSH1 0x40
00001c7a: MSTORE
00001c7b: JUMPDEST
00001c7c: SWAP5
00001c7d: SWAP4
00001c7e: POP
00001c7f: POP
00001c80: POP
00001c81: POP
00001c82: JUMP
00001c83: JUMPDEST
00001c84: PUSH1 0x0d
00001c86: SLOAD
00001c87: PUSH1 0x01
00001c89: PUSH1 0x01
00001c8b: PUSH1 0xa0
00001c8d: SHL
00001c8e: SUB
00001c8f: AND
00001c90: CALLER
00001c91: EQ
00001c92: DUP1
00001c93: PUSH2 0x1ca6
00001c96: JUMPI
00001c97: POP
00001c98: PUSH1 0x0a
00001c9a: SLOAD
00001c9b: PUSH1 0x01
00001c9d: PUSH1 0x01
00001c9f: PUSH1 0xa0
00001ca1: SHL
00001ca2: SUB
00001ca3: AND
00001ca4: CALLER
00001ca5: EQ
00001ca6: JUMPDEST
00001ca7: PUSH2 0x1cc2
00001caa: JUMPI
00001cab: PUSH1 0x40
00001cad: MLOAD
00001cae: PUSH3 0x461bcd
00001cb2: PUSH1 0xe5
00001cb4: SHL
00001cb5: DUP2
00001cb6: MSTORE
00001cb7: PUSH1 0x04
00001cb9: ADD
00001cba: PUSH2 0x09f2
00001cbd: SWAP1
00001cbe: PUSH2 0x2965
00001cc1: JUMP
00001cc2: JUMPDEST
00001cc3: PUSH1 0x0a
00001cc5: DUP1
00001cc6: SLOAD
00001cc7: PUSH1 0xff
00001cc9: PUSH1 0xa0
00001ccb: SHL
00001ccc: NOT
00001ccd: AND
00001cce: PUSH1 0x01
00001cd0: PUSH1 0xa0
00001cd2: SHL
00001cd3: OR
00001cd4: SWAP1
00001cd5: SSTORE
00001cd6: JUMP
00001cd7: JUMPDEST
00001cd8: PUSH2 0x1cdf
00001cdb: PUSH2 0x1f2f
00001cde: JUMP
00001cdf: JUMPDEST
00001ce0: PUSH2 0x0f8e
00001ce3: DUP3
00001ce4: DUP3
00001ce5: PUSH2 0x2234
00001ce8: JUMP
00001ce9: JUMPDEST
00001cea: PUSH1 0x00
00001cec: DUP1
00001ced: SLOAD
00001cee: PUSH1 0x00
00001cf0: NOT
00001cf1: ADD
00001cf2: PUSH1 0x0b
00001cf4: SLOAD
00001cf5: PUSH2 0x1cfe
00001cf8: SWAP2
00001cf9: SWAP1
00001cfa: PUSH2 0x2ba5
00001cfd: JUMP
00001cfe: JUMPDEST
00001cff: SWAP1
00001d00: POP
00001d01: SWAP1
00001d02: JUMP
00001d03: JUMPDEST
00001d04: PUSH2 0x1d0b
00001d07: PUSH2 0x1f2f
00001d0a: JUMP
00001d0b: JUMPDEST
00001d0c: PUSH1 0x01
00001d0e: PUSH1 0x01
00001d10: PUSH1 0xa0
00001d12: SHL
00001d13: SUB
00001d14: DUP2
00001d15: AND
00001d16: PUSH2 0x1d70
00001d19: JUMPI
00001d1a: PUSH1 0x40
00001d1c: MLOAD
00001d1d: PUSH3 0x461bcd
00001d21: PUSH1 0xe5
00001d23: SHL
00001d24: DUP2
00001d25: MSTORE
00001d26: PUSH1 0x20
00001d28: PUSH1 0x04
00001d2a: DUP3
00001d2b: ADD
00001d2c: MSTORE
00001d2d: PUSH1 0x26
00001d2f: PUSH1 0x24
00001d31: DUP3
00001d32: ADD
00001d33: MSTORE
00001d34: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001d55: PUSH1 0x44
00001d57: DUP3
00001d58: ADD
00001d59: MSTORE
00001d5a: PUSH6 0x646472657373
00001d61: PUSH1 0xd0
00001d63: SHL
00001d64: PUSH1 0x64
00001d66: DUP3
00001d67: ADD
00001d68: MSTORE
00001d69: PUSH1 0x84
00001d6b: ADD
00001d6c: PUSH2 0x09f2
00001d6f: JUMP
00001d70: JUMPDEST
00001d71: PUSH2 0x16f6
00001d74: DUP2
00001d75: PUSH2 0x1f89
00001d78: JUMP
00001d79: JUMPDEST
00001d7a: PUSH1 0x0d
00001d7c: SLOAD
00001d7d: PUSH1 0x01
00001d7f: PUSH1 0x01
00001d81: PUSH1 0xa0
00001d83: SHL
00001d84: SUB
00001d85: AND
00001d86: CALLER
00001d87: EQ
00001d88: DUP1
00001d89: PUSH2 0x1d9c
00001d8c: JUMPI
00001d8d: POP
00001d8e: PUSH1 0x0a
00001d90: SLOAD
00001d91: PUSH1 0x01
00001d93: PUSH1 0x01
00001d95: PUSH1 0xa0
00001d97: SHL
00001d98: SUB
00001d99: AND
00001d9a: CALLER
00001d9b: EQ
00001d9c: JUMPDEST
00001d9d: PUSH2 0x1db8
00001da0: JUMPI
00001da1: PUSH1 0x40
00001da3: MLOAD
00001da4: PUSH3 0x461bcd
00001da8: PUSH1 0xe5
00001daa: SHL
00001dab: DUP2
00001dac: MSTORE
00001dad: PUSH1 0x04
00001daf: ADD
00001db0: PUSH2 0x09f2
00001db3: SWAP1
00001db4: PUSH2 0x2965
00001db7: JUMP
00001db8: JUMPDEST
00001db9: PUSH1 0x12
00001dbb: SSTORE
00001dbc: JUMP
00001dbd: JUMPDEST
00001dbe: PUSH1 0x0d
00001dc0: SLOAD
00001dc1: PUSH1 0x01
00001dc3: PUSH1 0x01
00001dc5: PUSH1 0xa0
00001dc7: SHL
00001dc8: SUB
00001dc9: AND
00001dca: CALLER
00001dcb: EQ
00001dcc: DUP1
00001dcd: PUSH2 0x1de0
00001dd0: JUMPI
00001dd1: POP
00001dd2: PUSH1 0x0a
00001dd4: SLOAD
00001dd5: PUSH1 0x01
00001dd7: PUSH1 0x01
00001dd9: PUSH1 0xa0
00001ddb: SHL
00001ddc: SUB
00001ddd: AND
00001dde: CALLER
00001ddf: EQ
00001de0: JUMPDEST
00001de1: PUSH2 0x1dfc
00001de4: JUMPI
00001de5: PUSH1 0x40
00001de7: MLOAD
00001de8: PUSH3 0x461bcd
00001dec: PUSH1 0xe5
00001dee: SHL
00001def: DUP2
00001df0: MSTORE
00001df1: PUSH1 0x04
00001df3: ADD
00001df4: PUSH2 0x09f2
00001df7: SWAP1
00001df8: PUSH2 0x2965
00001dfb: JUMP
00001dfc: JUMPDEST
00001dfd: PUSH1 0x13
00001dff: SSTORE
00001e00: JUMP
00001e01: JUMPDEST
00001e02: PUSH1 0x00
00001e04: PUSH4 0x01ffc9a7
00001e09: PUSH1 0xe0
00001e0b: SHL
00001e0c: PUSH1 0x01
00001e0e: PUSH1 0x01
00001e10: PUSH1 0xe0
00001e12: SHL
00001e13: SUB
00001e14: NOT
00001e15: DUP4
00001e16: AND
00001e17: EQ
00001e18: DUP1
00001e19: PUSH2 0x1e32
00001e1c: JUMPI
00001e1d: POP
00001e1e: PUSH4 0x80ac58cd
00001e23: PUSH1 0xe0
00001e25: SHL
00001e26: PUSH1 0x01
00001e28: PUSH1 0x01
00001e2a: PUSH1 0xe0
00001e2c: SHL
00001e2d: SUB
00001e2e: NOT
00001e2f: DUP4
00001e30: AND
00001e31: EQ
00001e32: JUMPDEST
00001e33: DUP1
00001e34: PUSH2 0x09ad
00001e37: JUMPI
00001e38: POP
00001e39: POP
00001e3a: PUSH1 0x01
00001e3c: PUSH1 0x01
00001e3e: PUSH1 0xe0
00001e40: SHL
00001e41: SUB
00001e42: NOT
00001e43: AND
00001e44: PUSH4 0x5b5e139f
00001e49: PUSH1 0xe0
00001e4b: SHL
00001e4c: EQ
00001e4d: SWAP1
00001e4e: JUMP
00001e4f: JUMPDEST
00001e50: PUSH1 0x00
00001e52: PUSH1 0x01
00001e54: PUSH1 0x01
00001e56: PUSH1 0xe0
00001e58: SHL
00001e59: SUB
00001e5a: NOT
00001e5b: DUP3
00001e5c: AND
00001e5d: PUSH4 0x152a902d
00001e62: PUSH1 0xe1
00001e64: SHL
00001e65: EQ
00001e66: DUP1
00001e67: PUSH2 0x09ad
00001e6a: JUMPI
00001e6b: POP
00001e6c: PUSH4 0x01ffc9a7
00001e71: PUSH1 0xe0
00001e73: SHL
00001e74: PUSH1 0x01
00001e76: PUSH1 0x01
00001e78: PUSH1 0xe0
00001e7a: SHL
00001e7b: SUB
00001e7c: NOT
00001e7d: DUP4
00001e7e: AND
00001e7f: EQ
00001e80: PUSH2 0x09ad
00001e83: JUMP
00001e84: JUMPDEST
00001e85: PUSH1 0x00
00001e87: DUP2
00001e88: PUSH1 0x01
00001e8a: GT
00001e8b: ISZERO
00001e8c: DUP1
00001e8d: ISZERO
00001e8e: PUSH2 0x1e98
00001e91: JUMPI
00001e92: POP
00001e93: PUSH1 0x00
00001e95: SLOAD
00001e96: DUP3
00001e97: LT
00001e98: JUMPDEST
00001e99: DUP1
00001e9a: ISZERO
00001e9b: PUSH2 0x09ad
00001e9e: JUMPI
00001e9f: POP
00001ea0: POP
00001ea1: PUSH1 0x00
00001ea3: SWAP1
00001ea4: DUP2
00001ea5: MSTORE
00001ea6: PUSH1 0x04
00001ea8: PUSH1 0x20
00001eaa: MSTORE
00001eab: PUSH1 0x40
00001ead: SWAP1
00001eae: KECCAK256
00001eaf: SLOAD
00001eb0: PUSH1 0x01
00001eb2: PUSH1 0xe0
00001eb4: SHL
00001eb5: AND
00001eb6: ISZERO
00001eb7: SWAP1
00001eb8: JUMP
00001eb9: JUMPDEST
00001eba: PUSH1 0x00
00001ebc: DUP2
00001ebd: DUP1
00001ebe: PUSH1 0x01
00001ec0: GT
00001ec1: PUSH2 0x1f16
00001ec4: JUMPI
00001ec5: PUSH1 0x00
00001ec7: SLOAD
00001ec8: DUP2
00001ec9: LT
00001eca: ISZERO
00001ecb: PUSH2 0x1f16
00001ece: JUMPI
00001ecf: PUSH1 0x00
00001ed1: DUP2
00001ed2: DUP2
00001ed3: MSTORE
00001ed4: PUSH1 0x04
00001ed6: PUSH1 0x20
00001ed8: MSTORE
00001ed9: PUSH1 0x40
00001edb: DUP2
00001edc: KECCAK256
00001edd: SLOAD
00001ede: SWAP1
00001edf: PUSH1 0x01
00001ee1: PUSH1 0xe0
00001ee3: SHL
00001ee4: DUP3
00001ee5: AND
00001ee6: SWAP1
00001ee7: SUB
00001ee8: PUSH2 0x1f14
00001eeb: JUMPI
00001eec: JUMPDEST
00001eed: DUP1
00001eee: PUSH1 0x00
00001ef0: SUB
00001ef1: PUSH2 0x1f0d
00001ef4: JUMPI
00001ef5: POP
00001ef6: PUSH1 0x00
00001ef8: NOT
00001ef9: ADD
00001efa: PUSH1 0x00
00001efc: DUP2
00001efd: DUP2
00001efe: MSTORE
00001eff: PUSH1 0x04
00001f01: PUSH1 0x20
00001f03: MSTORE
00001f04: PUSH1 0x40
00001f06: SWAP1
00001f07: KECCAK256
00001f08: SLOAD
00001f09: PUSH2 0x1eec
00001f0c: JUMP
00001f0d: JUMPDEST
00001f0e: SWAP4
00001f0f: SWAP3
00001f10: POP
00001f11: POP
00001f12: POP
00001f13: JUMP
00001f14: JUMPDEST
00001f15: POP
00001f16: JUMPDEST
00001f17: PUSH1 0x40
00001f19: MLOAD
00001f1a: PUSH4 0x6f96cda1
00001f1f: PUSH1 0xe1
00001f21: SHL
00001f22: DUP2
00001f23: MSTORE
00001f24: PUSH1 0x04
00001f26: ADD
00001f27: PUSH1 0x40
00001f29: MLOAD
00001f2a: DUP1
00001f2b: SWAP2
00001f2c: SUB
00001f2d: SWAP1
00001f2e: REVERT
00001f2f: JUMPDEST
00001f30: PUSH1 0x0a
00001f32: SLOAD
00001f33: PUSH1 0x01
00001f35: PUSH1 0x01
00001f37: PUSH1 0xa0
00001f39: SHL
00001f3a: SUB
00001f3b: AND
00001f3c: CALLER
00001f3d: EQ
00001f3e: PUSH2 0x12ed
00001f41: JUMPI
00001f42: PUSH1 0x40
00001f44: MLOAD
00001f45: PUSH3 0x461bcd
00001f49: PUSH1 0xe5
00001f4b: SHL
00001f4c: DUP2
00001f4d: MSTORE
00001f4e: PUSH1 0x20
00001f50: PUSH1 0x04
00001f52: DUP3
00001f53: ADD
00001f54: DUP2
00001f55: SWAP1
00001f56: MSTORE
00001f57: PUSH1 0x24
00001f59: DUP3
00001f5a: ADD
00001f5b: MSTORE
00001f5c: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001f7d: PUSH1 0x44
00001f7f: DUP3
00001f80: ADD
00001f81: MSTORE
00001f82: PUSH1 0x64
00001f84: ADD
00001f85: PUSH2 0x09f2
00001f88: JUMP
00001f89: JUMPDEST
00001f8a: PUSH1 0x0a
00001f8c: DUP1
00001f8d: SLOAD
00001f8e: PUSH1 0x01
00001f90: PUSH1 0x01
00001f92: PUSH1 0xa0
00001f94: SHL
00001f95: SUB
00001f96: DUP4
00001f97: DUP2
00001f98: AND
00001f99: PUSH1 0x01
00001f9b: PUSH1 0x01
00001f9d: PUSH1 0xa0
00001f9f: SHL
00001fa0: SUB
00001fa1: NOT
00001fa2: DUP4
00001fa3: AND
00001fa4: DUP2
00001fa5: OR
00001fa6: SWAP1
00001fa7: SWAP4
00001fa8: SSTORE
00001fa9: PUSH1 0x40
00001fab: MLOAD
00001fac: SWAP2
00001fad: AND
00001fae: SWAP2
00001faf: SWAP1
00001fb0: DUP3
00001fb1: SWAP1
00001fb2: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001fd3: SWAP1
00001fd4: PUSH1 0x00
00001fd6: SWAP1
00001fd7: LOG3
00001fd8: POP
00001fd9: POP
00001fda: JUMP
00001fdb: JUMPDEST
00001fdc: PUSH1 0x00
00001fde: SLOAD
00001fdf: PUSH1 0x01
00001fe1: PUSH1 0x01
00001fe3: PUSH1 0xa0
00001fe5: SHL
00001fe6: SUB
00001fe7: DUP4
00001fe8: AND
00001fe9: PUSH2 0x2004
00001fec: JUMPI
00001fed: PUSH1 0x40
00001fef: MLOAD
00001ff0: PUSH3 0x2e0763
00001ff4: PUSH1 0xe8
00001ff6: SHL
00001ff7: DUP2
00001ff8: MSTORE
00001ff9: PUSH1 0x04
00001ffb: ADD
00001ffc: PUSH1 0x40
00001ffe: MLOAD
00001fff: DUP1
00002000: SWAP2
00002001: SUB
00002002: SWAP1
00002003: REVERT
00002004: JUMPDEST
00002005: DUP2
00002006: PUSH1 0x00
00002008: SUB
00002009: PUSH2 0x2025
0000200c: JUMPI
0000200d: PUSH1 0x40
0000200f: MLOAD
00002010: PUSH4 0xb562e8dd
00002015: PUSH1 0xe0
00002017: SHL
00002018: DUP2
00002019: MSTORE
0000201a: PUSH1 0x04
0000201c: ADD
0000201d: PUSH1 0x40
0000201f: MLOAD
00002020: DUP1
00002021: SWAP2
00002022: SUB
00002023: SWAP1
00002024: REVERT
00002025: JUMPDEST
00002026: PUSH1 0x01
00002028: PUSH1 0x01
0000202a: PUSH1 0xa0
0000202c: SHL
0000202d: SUB
0000202e: DUP4
0000202f: AND
00002030: PUSH1 0x00
00002032: DUP2
00002033: DUP2
00002034: MSTORE
00002035: PUSH1 0x05
00002037: PUSH1 0x20
00002039: MSTORE
0000203a: PUSH1 0x40
0000203c: SWAP1
0000203d: KECCAK256
0000203e: DUP1
0000203f: SLOAD
00002040: PUSH9 0x010000000000000001
0000204a: DUP6
0000204b: MUL
0000204c: ADD
0000204d: SWAP1
0000204e: SSTORE
0000204f: TIMESTAMP
00002050: PUSH1 0xa0
00002052: SHL
00002053: PUSH1 0x01
00002055: DUP5
00002056: EQ
00002057: PUSH1 0xe1
00002059: SHL
0000205a: OR
0000205b: OR
0000205c: PUSH1 0x00
0000205e: DUP3
0000205f: DUP2
00002060: MSTORE
00002061: PUSH1 0x04
00002063: PUSH1 0x20
00002065: MSTORE
00002066: PUSH1 0x40
00002068: SWAP1
00002069: KECCAK256
0000206a: SSTORE
0000206b: DUP1
0000206c: DUP3
0000206d: DUP2
0000206e: ADD
0000206f: JUMPDEST
00002070: PUSH1 0x40
00002072: MLOAD
00002073: PUSH1 0x01
00002075: DUP4
00002076: ADD
00002077: SWAP3
00002078: SWAP1
00002079: PUSH1 0x01
0000207b: PUSH1 0x01
0000207d: PUSH1 0xa0
0000207f: SHL
00002080: SUB
00002081: DUP8
00002082: AND
00002083: SWAP1
00002084: PUSH1 0x00
00002086: SWAP1
00002087: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000020a8: SWAP1
000020a9: DUP3
000020aa: SWAP1
000020ab: LOG4
000020ac: DUP1
000020ad: DUP3
000020ae: LT
000020af: PUSH2 0x206f
000020b2: JUMPI
000020b3: PUSH1 0x00
000020b5: SSTORE
000020b6: POP
000020b7: POP
000020b8: POP
000020b9: POP
000020ba: JUMP
000020bb: JUMPDEST
000020bc: PUSH1 0x00
000020be: DUP3
000020bf: PUSH2 0x20c8
000020c2: DUP6
000020c3: DUP5
000020c4: PUSH2 0x2358
000020c7: JUMP
000020c8: JUMPDEST
000020c9: EQ
000020ca: SWAP5
000020cb: SWAP4
000020cc: POP
000020cd: POP
000020ce: POP
000020cf: POP
000020d0: JUMP
000020d1: JUMPDEST
000020d2: PUSH2 0x0f8e
000020d5: DUP3
000020d6: DUP3
000020d7: PUSH1 0x40
000020d9: MLOAD
000020da: DUP1
000020db: PUSH1 0x20
000020dd: ADD
000020de: PUSH1 0x40
000020e0: MSTORE
000020e1: DUP1
000020e2: PUSH1 0x00
000020e4: DUP2
000020e5: MSTORE
000020e6: POP
000020e7: PUSH2 0x23a5
000020ea: JUMP
000020eb: JUMPDEST
000020ec: PUSH1 0x40
000020ee: MLOAD
000020ef: PUSH4 0x0a85bd01
000020f4: PUSH1 0xe1
000020f6: SHL
000020f7: DUP2
000020f8: MSTORE
000020f9: PUSH1 0x00
000020fb: SWAP1
000020fc: PUSH1 0x01
000020fe: PUSH1 0x01
00002100: PUSH1 0xa0
00002102: SHL
00002103: SUB
00002104: DUP6
00002105: AND
00002106: SWAP1
00002107: PUSH4 0x150b7a02
0000210c: SWAP1
0000210d: PUSH2 0x2120
00002110: SWAP1
00002111: CALLER
00002112: SWAP1
00002113: DUP10
00002114: SWAP1
00002115: DUP9
00002116: SWAP1
00002117: DUP9
00002118: SWAP1
00002119: PUSH1 0x04
0000211b: ADD
0000211c: PUSH2 0x2bbc
0000211f: JUMP
00002120: JUMPDEST
00002121: PUSH1 0x20
00002123: PUSH1 0x40
00002125: MLOAD
00002126: DUP1
00002127: DUP4
00002128: SUB
00002129: DUP2
0000212a: PUSH1 0x00
0000212c: DUP8
0000212d: GAS
0000212e: CALL
0000212f: SWAP3
00002130: POP
00002131: POP
00002132: POP
00002133: DUP1
00002134: ISZERO
00002135: PUSH2 0x215b
00002138: JUMPI
00002139: POP
0000213a: PUSH1 0x40
0000213c: DUP1
0000213d: MLOAD
0000213e: PUSH1 0x1f
00002140: RETURNDATASIZE
00002141: SWAP1
00002142: DUP2
00002143: ADD
00002144: PUSH1 0x1f
00002146: NOT
00002147: AND
00002148: DUP3
00002149: ADD
0000214a: SWAP1
0000214b: SWAP3
0000214c: MSTORE
0000214d: PUSH2 0x2158
00002150: SWAP2
00002151: DUP2
00002152: ADD
00002153: SWAP1
00002154: PUSH2 0x2bf9
00002157: JUMP
00002158: JUMPDEST
00002159: PUSH1 0x01
0000215b: JUMPDEST
0000215c: PUSH2 0x21b9
0000215f: JUMPI
00002160: RETURNDATASIZE
00002161: DUP1
00002162: DUP1
00002163: ISZERO
00002164: PUSH2 0x2189
00002167: JUMPI
00002168: PUSH1 0x40
0000216a: MLOAD
0000216b: SWAP2
0000216c: POP
0000216d: PUSH1 0x1f
0000216f: NOT
00002170: PUSH1 0x3f
00002172: RETURNDATASIZE
00002173: ADD
00002174: AND
00002175: DUP3
00002176: ADD
00002177: PUSH1 0x40
00002179: MSTORE
0000217a: RETURNDATASIZE
0000217b: DUP3
0000217c: MSTORE
0000217d: RETURNDATASIZE
0000217e: PUSH1 0x00
00002180: PUSH1 0x20
00002182: DUP5
00002183: ADD
00002184: RETURNDATACOPY
00002185: PUSH2 0x218e
00002188: JUMP
00002189: JUMPDEST
0000218a: PUSH1 0x60
0000218c: SWAP2
0000218d: POP
0000218e: JUMPDEST
0000218f: POP
00002190: DUP1
00002191: MLOAD
00002192: PUSH1 0x00
00002194: SUB
00002195: PUSH2 0x21b1
00002198: JUMPI
00002199: PUSH1 0x40
0000219b: MLOAD
0000219c: PUSH4 0x68d2bf6b
000021a1: PUSH1 0xe1
000021a3: SHL
000021a4: DUP2
000021a5: MSTORE
000021a6: PUSH1 0x04
000021a8: ADD
000021a9: PUSH1 0x40
000021ab: MLOAD
000021ac: DUP1
000021ad: SWAP2
000021ae: SUB
000021af: SWAP1
000021b0: REVERT
000021b1: JUMPDEST
000021b2: DUP1
000021b3: MLOAD
000021b4: DUP2
000021b5: PUSH1 0x20
000021b7: ADD
000021b8: REVERT
000021b9: JUMPDEST
000021ba: PUSH1 0x01
000021bc: PUSH1 0x01
000021be: PUSH1 0xe0
000021c0: SHL
000021c1: SUB
000021c2: NOT
000021c3: AND
000021c4: PUSH4 0x0a85bd01
000021c9: PUSH1 0xe1
000021cb: SHL
000021cc: EQ
000021cd: SWAP1
000021ce: POP
000021cf: SWAP5
000021d0: SWAP4
000021d1: POP
000021d2: POP
000021d3: POP
000021d4: POP
000021d5: JUMP
000021d6: JUMPDEST
000021d7: PUSH1 0x60
000021d9: PUSH1 0x0e
000021db: DUP1
000021dc: SLOAD
000021dd: PUSH2 0x0a2c
000021e0: SWAP1
000021e1: PUSH2 0x29ae
000021e4: JUMP
000021e5: JUMPDEST
000021e6: PUSH1 0x40
000021e8: DUP1
000021e9: MLOAD
000021ea: PUSH1 0x80
000021ec: DUP2
000021ed: ADD
000021ee: SWAP2
000021ef: DUP3
000021f0: SWAP1
000021f1: MSTORE
000021f2: PUSH1 0x7f
000021f4: ADD
000021f5: SWAP1
000021f6: DUP3
000021f7: PUSH1 0x30
000021f9: PUSH1 0x0a
000021fb: DUP3
000021fc: MOD
000021fd: ADD
000021fe: DUP4
000021ff: MSTORE8
00002200: PUSH1 0x0a
00002202: SWAP1
00002203: DIV
00002204: JUMPDEST
00002205: DUP1
00002206: ISZERO
00002207: PUSH2 0x2222
0000220a: JUMPI
0000220b: PUSH1 0x01
0000220d: DUP4
0000220e: SUB
0000220f: SWAP3
00002210: POP
00002211: PUSH1 0x0a
00002213: DUP2
00002214: MOD
00002215: PUSH1 0x30
00002217: ADD
00002218: DUP4
00002219: MSTORE8
0000221a: PUSH1 0x0a
0000221c: SWAP1
0000221d: DIV
0000221e: PUSH2 0x2204
00002221: JUMP
00002222: JUMPDEST
00002223: POP
00002224: DUP2
00002225: SWAP1
00002226: SUB
00002227: PUSH1 0x1f
00002229: NOT
0000222a: SWAP1
0000222b: SWAP2
0000222c: ADD
0000222d: SWAP1
0000222e: DUP2
0000222f: MSTORE
00002230: SWAP2
00002231: SWAP1
00002232: POP
00002233: JUMP
00002234: JUMPDEST
00002235: PUSH1 0x01
00002237: PUSH1 0x01
00002239: PUSH1 0xa0
0000223b: SHL
0000223c: SUB
0000223d: DUP3
0000223e: AND
0000223f: PUSH2 0x22bb
00002242: JUMPI
00002243: PUSH1 0x40
00002245: MLOAD
00002246: PUSH3 0x461bcd
0000224a: PUSH1 0xe5
0000224c: SHL
0000224d: DUP2
0000224e: MSTORE
0000224f: PUSH1 0x20
00002251: PUSH1 0x04
00002253: DUP3
00002254: ADD
00002255: MSTORE
00002256: PUSH1 0x42
00002258: PUSH1 0x24
0000225a: DUP3
0000225b: ADD
0000225c: MSTORE
0000225d: PUSH32 0x45495032393831416c6c546f6b656e3a2043616e6e6f742073657420726f7961
0000227e: PUSH1 0x44
00002280: DUP3
00002281: ADD
00002282: MSTORE
00002283: PUSH32 0x6c74792072656365697069656e7420746f20746865207a65726f206164647265
000022a4: PUSH1 0x64
000022a6: DUP3
000022a7: ADD
000022a8: MSTORE
000022a9: PUSH2 0x7373
000022ac: PUSH1 0xf0
000022ae: SHL
000022af: PUSH1 0x84
000022b1: DUP3
000022b2: ADD
000022b3: MSTORE
000022b4: PUSH1 0xa4
000022b6: ADD
000022b7: PUSH2 0x09f2
000022ba: JUMP
000022bb: JUMPDEST
000022bc: PUSH2 0x2710
000022bf: DUP2
000022c0: LT
000022c1: PUSH2 0x2332
000022c4: JUMPI
000022c5: PUSH1 0x40
000022c7: MLOAD
000022c8: PUSH3 0x461bcd
000022cc: PUSH1 0xe5
000022ce: SHL
000022cf: DUP2
000022d0: MSTORE
000022d1: PUSH1 0x20
000022d3: PUSH1 0x04
000022d5: DUP3
000022d6: ADD
000022d7: MSTORE
000022d8: PUSH1 0x3a
000022da: PUSH1 0x24
000022dc: DUP3
000022dd: ADD
000022de: MSTORE
000022df: PUSH32 0x45495032393831416c6c546f6b656e3a2043616e6e6f742073657420726f7961
00002300: PUSH1 0x44
00002302: DUP3
00002303: ADD
00002304: MSTORE
00002305: PUSH32 0x6c74792070657263656e746167652061626f7665203130303030000000000000
00002326: PUSH1 0x64
00002328: DUP3
00002329: ADD
0000232a: MSTORE
0000232b: PUSH1 0x84
0000232d: ADD
0000232e: PUSH2 0x09f2
00002331: JUMP
00002332: JUMPDEST
00002333: PUSH1 0x08
00002335: DUP1
00002336: SLOAD
00002337: PUSH1 0x01
00002339: PUSH1 0x01
0000233b: PUSH1 0xa0
0000233d: SHL
0000233e: SUB
0000233f: NOT
00002340: AND
00002341: PUSH1 0x01
00002343: PUSH1 0x01
00002345: PUSH1 0xa0
00002347: SHL
00002348: SUB
00002349: SWAP4
0000234a: SWAP1
0000234b: SWAP4
0000234c: AND
0000234d: SWAP3
0000234e: SWAP1
0000234f: SWAP3
00002350: OR
00002351: SWAP1
00002352: SWAP2
00002353: SSTORE
00002354: PUSH1 0x09
00002356: SSTORE
00002357: JUMP
00002358: JUMPDEST
00002359: PUSH1 0x00
0000235b: DUP2
0000235c: DUP2
0000235d: JUMPDEST
0000235e: DUP5
0000235f: MLOAD
00002360: DUP2
00002361: LT
00002362: ISZERO
00002363: PUSH2 0x239d
00002366: JUMPI
00002367: PUSH2 0x2389
0000236a: DUP3
0000236b: DUP7
0000236c: DUP4
0000236d: DUP2
0000236e: MLOAD
0000236f: DUP2
00002370: LT
00002371: PUSH2 0x237c
00002374: JUMPI
00002375: PUSH2 0x237c
00002378: PUSH2 0x2ae6
0000237b: JUMP
0000237c: JUMPDEST
0000237d: PUSH1 0x20
0000237f: MUL
00002380: PUSH1 0x20
00002382: ADD
00002383: ADD
00002384: MLOAD
00002385: PUSH2 0x2412
00002388: JUMP
00002389: JUMPDEST
0000238a: SWAP2
0000238b: POP
0000238c: DUP1
0000238d: PUSH2 0x2395
00002390: DUP2
00002391: PUSH2 0x2afc
00002394: JUMP
00002395: JUMPDEST
00002396: SWAP2
00002397: POP
00002398: POP
00002399: PUSH2 0x235d
0000239c: JUMP
0000239d: JUMPDEST
0000239e: POP
0000239f: SWAP4
000023a0: SWAP3
000023a1: POP
000023a2: POP
000023a3: POP
000023a4: JUMP
000023a5: JUMPDEST
000023a6: PUSH2 0x23af
000023a9: DUP4
000023aa: DUP4
000023ab: PUSH2 0x1fdb
000023ae: JUMP
000023af: JUMPDEST
000023b0: PUSH1 0x01
000023b2: PUSH1 0x01
000023b4: PUSH1 0xa0
000023b6: SHL
000023b7: SUB
000023b8: DUP4
000023b9: AND
000023ba: EXTCODESIZE
000023bb: ISZERO
000023bc: PUSH2 0x1055
000023bf: JUMPI
000023c0: PUSH1 0x00
000023c2: SLOAD
000023c3: DUP3
000023c4: DUP2
000023c5: SUB
000023c6: JUMPDEST
000023c7: PUSH2 0x23d9
000023ca: PUSH1 0x00
000023cc: DUP7
000023cd: DUP4
000023ce: DUP1
000023cf: PUSH1 0x01
000023d1: ADD
000023d2: SWAP5
000023d3: POP
000023d4: DUP7
000023d5: PUSH2 0x20eb
000023d8: JUMP
000023d9: JUMPDEST
000023da: PUSH2 0x23f6
000023dd: JUMPI
000023de: PUSH1 0x40
000023e0: MLOAD
000023e1: PUSH4 0x68d2bf6b
000023e6: PUSH1 0xe1
000023e8: SHL
000023e9: DUP2
000023ea: MSTORE
000023eb: PUSH1 0x04
000023ed: ADD
000023ee: PUSH1 0x40
000023f0: MLOAD
000023f1: DUP1
000023f2: SWAP2
000023f3: SUB
000023f4: SWAP1
000023f5: REVERT
000023f6: JUMPDEST
000023f7: DUP2
000023f8: DUP2
000023f9: LT
000023fa: PUSH2 0x23c6
000023fd: JUMPI
000023fe: DUP2
000023ff: PUSH1 0x00
00002401: SLOAD
00002402: EQ
00002403: PUSH2 0x240b
00002406: JUMPI
00002407: PUSH1 0x00
00002409: DUP1
0000240a: REVERT
0000240b: JUMPDEST
0000240c: POP
0000240d: POP
0000240e: POP
0000240f: POP
00002410: POP
00002411: JUMP
00002412: JUMPDEST
00002413: PUSH1 0x00
00002415: DUP2
00002416: DUP4
00002417: LT
00002418: PUSH2 0x242e
0000241b: JUMPI
0000241c: PUSH1 0x00
0000241e: DUP3
0000241f: DUP2
00002420: MSTORE
00002421: PUSH1 0x20
00002423: DUP5
00002424: SWAP1
00002425: MSTORE
00002426: PUSH1 0x40
00002428: SWAP1
00002429: KECCAK256
0000242a: PUSH2 0x1f0d
0000242d: JUMP
0000242e: JUMPDEST
0000242f: POP
00002430: PUSH1 0x00
00002432: SWAP2
00002433: DUP3
00002434: MSTORE
00002435: PUSH1 0x20
00002437: MSTORE
00002438: PUSH1 0x40
0000243a: SWAP1
0000243b: KECCAK256
0000243c: SWAP1
0000243d: JUMP
0000243e: JUMPDEST
0000243f: DUP3
00002440: DUP1
00002441: SLOAD
00002442: PUSH2 0x244a
00002445: SWAP1
00002446: PUSH2 0x29ae
00002449: JUMP
0000244a: JUMPDEST
0000244b: SWAP1
0000244c: PUSH1 0x00
0000244e: MSTORE
0000244f: PUSH1 0x20
00002451: PUSH1 0x00
00002453: KECCAK256
00002454: SWAP1
00002455: PUSH1 0x1f
00002457: ADD
00002458: PUSH1 0x20
0000245a: SWAP1
0000245b: DIV
0000245c: DUP2
0000245d: ADD
0000245e: SWAP3
0000245f: DUP3
00002460: PUSH2 0x246c
00002463: JUMPI
00002464: PUSH1 0x00
00002466: DUP6
00002467: SSTORE
00002468: PUSH2 0x24b2
0000246b: JUMP
0000246c: JUMPDEST
0000246d: DUP3
0000246e: PUSH1 0x1f
00002470: LT
00002471: PUSH2 0x2485
00002474: JUMPI
00002475: DUP1
00002476: MLOAD
00002477: PUSH1 0xff
00002479: NOT
0000247a: AND
0000247b: DUP4
0000247c: DUP1
0000247d: ADD
0000247e: OR
0000247f: DUP6
00002480: SSTORE
00002481: PUSH2 0x24b2
00002484: JUMP
00002485: JUMPDEST
00002486: DUP3
00002487: DUP1
00002488: ADD
00002489: PUSH1 0x01
0000248b: ADD
0000248c: DUP6
0000248d: SSTORE
0000248e: DUP3
0000248f: ISZERO
00002490: PUSH2 0x24b2
00002493: JUMPI
00002494: SWAP2
00002495: DUP3
00002496: ADD
00002497: JUMPDEST
00002498: DUP3
00002499: DUP2
0000249a: GT
0000249b: ISZERO
0000249c: PUSH2 0x24b2
0000249f: JUMPI
000024a0: DUP3
000024a1: MLOAD
000024a2: DUP3
000024a3: SSTORE
000024a4: SWAP2
000024a5: PUSH1 0x20
000024a7: ADD
000024a8: SWAP2
000024a9: SWAP1
000024aa: PUSH1 0x01
000024ac: ADD
000024ad: SWAP1
000024ae: PUSH2 0x2497
000024b1: JUMP
000024b2: JUMPDEST
000024b3: POP
000024b4: PUSH2 0x24be
000024b7: SWAP3
000024b8: SWAP2
000024b9: POP
000024ba: PUSH2 0x24c2
000024bd: JUMP
000024be: JUMPDEST
000024bf: POP
000024c0: SWAP1
000024c1: JUMP
000024c2: JUMPDEST
000024c3: JUMPDEST
000024c4: DUP1
000024c5: DUP3
000024c6: GT
000024c7: ISZERO
000024c8: PUSH2 0x24be
000024cb: JUMPI
000024cc: PUSH1 0x00
000024ce: DUP2
000024cf: SSTORE
000024d0: PUSH1 0x01
000024d2: ADD
000024d3: PUSH2 0x24c3
000024d6: JUMP
000024d7: JUMPDEST
000024d8: PUSH1 0x01
000024da: PUSH1 0x01
000024dc: PUSH1 0xe0
000024de: SHL
000024df: SUB
000024e0: NOT
000024e1: DUP2
000024e2: AND
000024e3: DUP2
000024e4: EQ
000024e5: PUSH2 0x16f6
000024e8: JUMPI
000024e9: PUSH1 0x00
000024eb: DUP1
000024ec: REVERT
000024ed: JUMPDEST
000024ee: PUSH1 0x00
000024f0: PUSH1 0x20
000024f2: DUP3
000024f3: DUP5
000024f4: SUB
000024f5: SLT
000024f6: ISZERO
000024f7: PUSH2 0x24ff
000024fa: JUMPI
000024fb: PUSH1 0x00
000024fd: DUP1
000024fe: REVERT
000024ff: JUMPDEST
00002500: DUP2
00002501: CALLDATALOAD
00002502: PUSH2 0x1f0d
00002505: DUP2
00002506: PUSH2 0x24d7
00002509: JUMP
0000250a: JUMPDEST
0000250b: DUP1
0000250c: CALLDATALOAD
0000250d: PUSH1 0x01
0000250f: PUSH1 0x01
00002511: PUSH1 0xa0
00002513: SHL
00002514: SUB
00002515: DUP2
00002516: AND
00002517: DUP2
00002518: EQ
00002519: PUSH2 0x2521
0000251c: JUMPI
0000251d: PUSH1 0x00
0000251f: DUP1
00002520: REVERT
00002521: JUMPDEST
00002522: SWAP2
00002523: SWAP1
00002524: POP
00002525: JUMP
00002526: JUMPDEST
00002527: PUSH1 0x00
00002529: PUSH1 0x20
0000252b: DUP3
0000252c: DUP5
0000252d: SUB
0000252e: SLT
0000252f: ISZERO
00002530: PUSH2 0x2538
00002533: JUMPI
00002534: PUSH1 0x00
00002536: DUP1
00002537: REVERT
00002538: JUMPDEST
00002539: PUSH2 0x1f0d
0000253c: DUP3
0000253d: PUSH2 0x250a
00002540: JUMP
00002541: JUMPDEST
00002542: PUSH1 0x00
00002544: JUMPDEST
00002545: DUP4
00002546: DUP2
00002547: LT
00002548: ISZERO
00002549: PUSH2 0x255c
0000254c: JUMPI
0000254d: DUP2
0000254e: DUP2
0000254f: ADD
00002550: MLOAD
00002551: DUP4
00002552: DUP3
00002553: ADD
00002554: MSTORE
00002555: PUSH1 0x20
00002557: ADD
00002558: PUSH2 0x2544
0000255b: JUMP
0000255c: JUMPDEST
0000255d: DUP4
0000255e: DUP2
0000255f: GT
00002560: ISZERO
00002561: PUSH2 0x1b05
00002564: JUMPI
00002565: POP
00002566: POP
00002567: PUSH1 0x00
00002569: SWAP2
0000256a: ADD
0000256b: MSTORE
0000256c: JUMP
0000256d: JUMPDEST
0000256e: PUSH1 0x00
00002570: DUP2
00002571: MLOAD
00002572: DUP1
00002573: DUP5
00002574: MSTORE
00002575: PUSH2 0x2585
00002578: DUP2
00002579: PUSH1 0x20
0000257b: DUP7
0000257c: ADD
0000257d: PUSH1 0x20
0000257f: DUP7
00002580: ADD
00002581: PUSH2 0x2541
00002584: JUMP
00002585: JUMPDEST
00002586: PUSH1 0x1f
00002588: ADD
00002589: PUSH1 0x1f
0000258b: NOT
0000258c: AND
0000258d: SWAP3
0000258e: SWAP1
0000258f: SWAP3
00002590: ADD
00002591: PUSH1 0x20
00002593: ADD
00002594: SWAP3
00002595: SWAP2
00002596: POP
00002597: POP
00002598: JUMP
00002599: JUMPDEST
0000259a: PUSH1 0x20
0000259c: DUP2
0000259d: MSTORE
0000259e: PUSH1 0x00
000025a0: PUSH2 0x1f0d
000025a3: PUSH1 0x20
000025a5: DUP4
000025a6: ADD
000025a7: DUP5
000025a8: PUSH2 0x256d
000025ab: JUMP
000025ac: JUMPDEST
000025ad: PUSH1 0x00
000025af: PUSH1 0x20
000025b1: DUP3
000025b2: DUP5
000025b3: SUB
000025b4: SLT
000025b5: ISZERO
000025b6: PUSH2 0x25be
000025b9: JUMPI
000025ba: PUSH1 0x00
000025bc: DUP1
000025bd: REVERT
000025be: JUMPDEST
000025bf: POP
000025c0: CALLDATALOAD
000025c1: SWAP2
000025c2: SWAP1
000025c3: POP
000025c4: JUMP
000025c5: JUMPDEST
000025c6: PUSH1 0x00
000025c8: DUP1
000025c9: PUSH1 0x40
000025cb: DUP4
000025cc: DUP6
000025cd: SUB
000025ce: SLT
000025cf: ISZERO
000025d0: PUSH2 0x25d8
000025d3: JUMPI
000025d4: PUSH1 0x00
000025d6: DUP1
000025d7: REVERT
000025d8: JUMPDEST
000025d9: PUSH2 0x25e1
000025dc: DUP4
000025dd: PUSH2 0x250a
000025e0: JUMP
000025e1: JUMPDEST
000025e2: SWAP5
000025e3: PUSH1 0x20
000025e5: SWAP4
000025e6: SWAP1
000025e7: SWAP4
000025e8: ADD
000025e9: CALLDATALOAD
000025ea: SWAP4
000025eb: POP
000025ec: POP
000025ed: POP
000025ee: JUMP
000025ef: JUMPDEST
000025f0: PUSH1 0x00
000025f2: DUP1
000025f3: PUSH1 0x00
000025f5: PUSH1 0x60
000025f7: DUP5
000025f8: DUP7
000025f9: SUB
000025fa: SLT
000025fb: ISZERO
000025fc: PUSH2 0x2604
000025ff: JUMPI
00002600: PUSH1 0x00
00002602: DUP1
00002603: REVERT
00002604: JUMPDEST
00002605: PUSH2 0x260d
00002608: DUP5
00002609: PUSH2 0x250a
0000260c: JUMP
0000260d: JUMPDEST
0000260e: SWAP3
0000260f: POP
00002610: PUSH2 0x261b
00002613: PUSH1 0x20
00002615: DUP6
00002616: ADD
00002617: PUSH2 0x250a
0000261a: JUMP
0000261b: JUMPDEST
0000261c: SWAP2
0000261d: POP
0000261e: PUSH1 0x40
00002620: DUP5
00002621: ADD
00002622: CALLDATALOAD
00002623: SWAP1
00002624: POP
00002625: SWAP3
00002626: POP
00002627: SWAP3
00002628: POP
00002629: SWAP3
0000262a: JUMP
0000262b: JUMPDEST
0000262c: PUSH1 0x00
0000262e: DUP1
0000262f: PUSH1 0x40
00002631: DUP4
00002632: DUP6
00002633: SUB
00002634: SLT
00002635: ISZERO
00002636: PUSH2 0x263e
00002639: JUMPI
0000263a: PUSH1 0x00
0000263c: DUP1
0000263d: REVERT
0000263e: JUMPDEST
0000263f: POP
00002640: POP
00002641: DUP1
00002642: CALLDATALOAD
00002643: SWAP3
00002644: PUSH1 0x20
00002646: SWAP1
00002647: SWAP2
00002648: ADD
00002649: CALLDATALOAD
0000264a: SWAP2
0000264b: POP
0000264c: JUMP
0000264d: JUMPDEST
0000264e: PUSH4 0x4e487b71
00002653: PUSH1 0xe0
00002655: SHL
00002656: PUSH1 0x00
00002658: MSTORE
00002659: PUSH1 0x41
0000265b: PUSH1 0x04
0000265d: MSTORE
0000265e: PUSH1 0x24
00002660: PUSH1 0x00
00002662: REVERT
00002663: JUMPDEST
00002664: PUSH1 0x00
00002666: PUSH8 0xffffffffffffffff
0000266f: DUP1
00002670: DUP5
00002671: GT
00002672: ISZERO
00002673: PUSH2 0x267e
00002676: JUMPI
00002677: PUSH2 0x267e
0000267a: PUSH2 0x264d
0000267d: JUMP
0000267e: JUMPDEST
0000267f: PUSH1 0x40
00002681: MLOAD
00002682: PUSH1 0x1f
00002684: DUP6
00002685: ADD
00002686: PUSH1 0x1f
00002688: NOT
00002689: SWAP1
0000268a: DUP2
0000268b: AND
0000268c: PUSH1 0x3f
0000268e: ADD
0000268f: AND
00002690: DUP2
00002691: ADD
00002692: SWAP1
00002693: DUP3
00002694: DUP3
00002695: GT
00002696: DUP2
00002697: DUP4
00002698: LT
00002699: OR
0000269a: ISZERO
0000269b: PUSH2 0x26a6
0000269e: JUMPI
0000269f: PUSH2 0x26a6
000026a2: PUSH2 0x264d
000026a5: JUMP
000026a6: JUMPDEST
000026a7: DUP2
000026a8: PUSH1 0x40
000026aa: MSTORE
000026ab: DUP1
000026ac: SWAP4
000026ad: POP
000026ae: DUP6
000026af: DUP2
000026b0: MSTORE
000026b1: DUP7
000026b2: DUP7
000026b3: DUP7
000026b4: ADD
000026b5: GT
000026b6: ISZERO
000026b7: PUSH2 0x26bf
000026ba: JUMPI
000026bb: PUSH1 0x00
000026bd: DUP1
000026be: REVERT
000026bf: JUMPDEST
000026c0: DUP6
000026c1: DUP6
000026c2: PUSH1 0x20
000026c4: DUP4
000026c5: ADD
000026c6: CALLDATACOPY
000026c7: PUSH1 0x00
000026c9: PUSH1 0x20
000026cb: DUP8
000026cc: DUP4
000026cd: ADD
000026ce: ADD
000026cf: MSTORE
000026d0: POP
000026d1: POP
000026d2: POP
000026d3: SWAP4
000026d4: SWAP3
000026d5: POP
000026d6: POP
000026d7: POP
000026d8: JUMP
000026d9: JUMPDEST
000026da: PUSH1 0x00
000026dc: PUSH1 0x20
000026de: DUP3
000026df: DUP5
000026e0: SUB
000026e1: SLT
000026e2: ISZERO
000026e3: PUSH2 0x26eb
000026e6: JUMPI
000026e7: PUSH1 0x00
000026e9: DUP1
000026ea: REVERT
000026eb: JUMPDEST
000026ec: DUP2
000026ed: CALLDATALOAD
000026ee: PUSH8 0xffffffffffffffff
000026f7: DUP2
000026f8: GT
000026f9: ISZERO
000026fa: PUSH2 0x2702
000026fd: JUMPI
000026fe: PUSH1 0x00
00002700: DUP1
00002701: REVERT
00002702: JUMPDEST
00002703: DUP3
00002704: ADD
00002705: PUSH1 0x1f
00002707: DUP2
00002708: ADD
00002709: DUP5
0000270a: SGT
0000270b: PUSH2 0x2713
0000270e: JUMPI
0000270f: PUSH1 0x00
00002711: DUP1
00002712: REVERT
00002713: JUMPDEST
00002714: PUSH2 0x1c7b
00002717: DUP5
00002718: DUP3
00002719: CALLDATALOAD
0000271a: PUSH1 0x20
0000271c: DUP5
0000271d: ADD
0000271e: PUSH2 0x2663
00002721: JUMP
00002722: JUMPDEST
00002723: PUSH1 0x00
00002725: DUP1
00002726: DUP4
00002727: PUSH1 0x1f
00002729: DUP5
0000272a: ADD
0000272b: SLT
0000272c: PUSH2 0x2734
0000272f: JUMPI
00002730: PUSH1 0x00
00002732: DUP1
00002733: REVERT
00002734: JUMPDEST
00002735: POP
00002736: DUP2
00002737: CALLDATALOAD
00002738: PUSH8 0xffffffffffffffff
00002741: DUP2
00002742: GT
00002743: ISZERO
00002744: PUSH2 0x274c
00002747: JUMPI
00002748: PUSH1 0x00
0000274a: DUP1
0000274b: REVERT
0000274c: JUMPDEST
0000274d: PUSH1 0x20
0000274f: DUP4
00002750: ADD
00002751: SWAP2
00002752: POP
00002753: DUP4
00002754: PUSH1 0x20
00002756: DUP3
00002757: PUSH1 0x05
00002759: SHL
0000275a: DUP6
0000275b: ADD
0000275c: ADD
0000275d: GT
0000275e: ISZERO
0000275f: PUSH2 0x0dac
00002762: JUMPI
00002763: PUSH1 0x00
00002765: DUP1
00002766: REVERT
00002767: JUMPDEST
00002768: PUSH1 0x00
0000276a: DUP1
0000276b: PUSH1 0x20
0000276d: DUP4
0000276e: DUP6
0000276f: SUB
00002770: SLT
00002771: ISZERO
00002772: PUSH2 0x277a
00002775: JUMPI
00002776: PUSH1 0x00
00002778: DUP1
00002779: REVERT
0000277a: JUMPDEST
0000277b: DUP3
0000277c: CALLDATALOAD
0000277d: PUSH8 0xffffffffffffffff
00002786: DUP2
00002787: GT
00002788: ISZERO
00002789: PUSH2 0x2791
0000278c: JUMPI
0000278d: PUSH1 0x00
0000278f: DUP1
00002790: REVERT
00002791: JUMPDEST
00002792: PUSH2 0x279d
00002795: DUP6
00002796: DUP3
00002797: DUP7
00002798: ADD
00002799: PUSH2 0x2722
0000279c: JUMP
0000279d: JUMPDEST
0000279e: SWAP1
0000279f: SWAP7
000027a0: SWAP1
000027a1: SWAP6
000027a2: POP
000027a3: SWAP4
000027a4: POP
000027a5: POP
000027a6: POP
000027a7: POP
000027a8: JUMP
000027a9: JUMPDEST
000027aa: DUP1
000027ab: ISZERO
000027ac: ISZERO
000027ad: DUP2
000027ae: EQ
000027af: PUSH2 0x16f6
000027b2: JUMPI
000027b3: PUSH1 0x00
000027b5: DUP1
000027b6: REVERT
000027b7: JUMPDEST
000027b8: PUSH1 0x00
000027ba: DUP1
000027bb: PUSH1 0x40
000027bd: DUP4
000027be: DUP6
000027bf: SUB
000027c0: SLT
000027c1: ISZERO
000027c2: PUSH2 0x27ca
000027c5: JUMPI
000027c6: PUSH1 0x00
000027c8: DUP1
000027c9: REVERT
000027ca: JUMPDEST
000027cb: PUSH2 0x27d3
000027ce: DUP4
000027cf: PUSH2 0x250a
000027d2: JUMP
000027d3: JUMPDEST
000027d4: SWAP2
000027d5: POP
000027d6: PUSH1 0x20
000027d8: DUP4
000027d9: ADD
000027da: CALLDATALOAD
000027db: PUSH2 0x27e3
000027de: DUP2
000027df: PUSH2 0x27a9
000027e2: JUMP
000027e3: JUMPDEST
000027e4: DUP1
000027e5: SWAP2
000027e6: POP
000027e7: POP
000027e8: SWAP3
000027e9: POP
000027ea: SWAP3
000027eb: SWAP1
000027ec: POP
000027ed: JUMP
000027ee: JUMPDEST
000027ef: PUSH1 0x00
000027f1: PUSH1 0x20
000027f3: DUP3
000027f4: DUP5
000027f5: SUB
000027f6: SLT
000027f7: ISZERO
000027f8: PUSH2 0x2800
000027fb: JUMPI
000027fc: PUSH1 0x00
000027fe: DUP1
000027ff: REVERT
00002800: JUMPDEST
00002801: DUP2
00002802: CALLDATALOAD
00002803: PUSH1 0x01
00002805: PUSH1 0x01
00002807: PUSH1 0x80
00002809: SHL
0000280a: SUB
0000280b: DUP2
0000280c: AND
0000280d: DUP2
0000280e: EQ
0000280f: PUSH2 0x1f0d
00002812: JUMPI
00002813: PUSH1 0x00
00002815: DUP1
00002816: REVERT
00002817: JUMPDEST
00002818: PUSH1 0x00
0000281a: DUP1
0000281b: PUSH1 0x00
0000281d: DUP1
0000281e: PUSH1 0x60
00002820: DUP6
00002821: DUP8
00002822: SUB
00002823: SLT
00002824: ISZERO
00002825: PUSH2 0x282d
00002828: JUMPI
00002829: PUSH1 0x00
0000282b: DUP1
0000282c: REVERT
0000282d: JUMPDEST
0000282e: DUP5
0000282f: CALLDATALOAD
00002830: SWAP4
00002831: POP
00002832: PUSH1 0x20
00002834: DUP6
00002835: ADD
00002836: CALLDATALOAD
00002837: PUSH8 0xffffffffffffffff
00002840: DUP2
00002841: GT
00002842: ISZERO
00002843: PUSH2 0x284b
00002846: JUMPI
00002847: PUSH1 0x00
00002849: DUP1
0000284a: REVERT
0000284b: JUMPDEST
0000284c: PUSH2 0x2857
0000284f: DUP8
00002850: DUP3
00002851: DUP9
00002852: ADD
00002853: PUSH2 0x2722
00002856: JUMP
00002857: JUMPDEST
00002858: SWAP6
00002859: SWAP9
0000285a: SWAP1
0000285b: SWAP8
0000285c: POP
0000285d: SWAP5
0000285e: SWAP6
0000285f: PUSH1 0x40
00002861: ADD
00002862: CALLDATALOAD
00002863: SWAP5
00002864: SWAP4
00002865: POP
00002866: POP
00002867: POP
00002868: POP
00002869: JUMP
0000286a: JUMPDEST
0000286b: PUSH1 0x00
0000286d: DUP1
0000286e: PUSH1 0x00
00002870: DUP1
00002871: PUSH1 0x80
00002873: DUP6
00002874: DUP8
00002875: SUB
00002876: SLT
00002877: ISZERO
00002878: PUSH2 0x2880
0000287b: JUMPI
0000287c: PUSH1 0x00
0000287e: DUP1
0000287f: REVERT
00002880: JUMPDEST
00002881: PUSH2 0x2889
00002884: DUP6
00002885: PUSH2 0x250a
00002888: JUMP
00002889: JUMPDEST
0000288a: SWAP4
0000288b: POP
0000288c: PUSH2 0x2897
0000288f: PUSH1 0x20
00002891: DUP7
00002892: ADD
00002893: PUSH2 0x250a
00002896: JUMP
00002897: JUMPDEST
00002898: SWAP3
00002899: POP
0000289a: PUSH1 0x40
0000289c: DUP6
0000289d: ADD
0000289e: CALLDATALOAD
0000289f: SWAP2
000028a0: POP
000028a1: PUSH1 0x60
000028a3: DUP6
000028a4: ADD
000028a5: CALLDATALOAD
000028a6: PUSH8 0xffffffffffffffff
000028af: DUP2
000028b0: GT
000028b1: ISZERO
000028b2: PUSH2 0x28ba
000028b5: JUMPI
000028b6: PUSH1 0x00
000028b8: DUP1
000028b9: REVERT
000028ba: JUMPDEST
000028bb: DUP6
000028bc: ADD
000028bd: PUSH1 0x1f
000028bf: DUP2
000028c0: ADD
000028c1: DUP8
000028c2: SGT
000028c3: PUSH2 0x28cb
000028c6: JUMPI
000028c7: PUSH1 0x00
000028c9: DUP1
000028ca: REVERT
000028cb: JUMPDEST
000028cc: PUSH2 0x28da
000028cf: DUP8
000028d0: DUP3
000028d1: CALLDATALOAD
000028d2: PUSH1 0x20
000028d4: DUP5
000028d5: ADD
000028d6: PUSH2 0x2663
000028d9: JUMP
000028da: JUMPDEST
000028db: SWAP2
000028dc: POP
000028dd: POP
000028de: SWAP3
000028df: SWAP6
000028e0: SWAP2
000028e1: SWAP5
000028e2: POP
000028e3: SWAP3
000028e4: POP
000028e5: JUMP
000028e6: JUMPDEST
000028e7: PUSH1 0x00
000028e9: DUP1
000028ea: PUSH1 0x00
000028ec: PUSH1 0x40
000028ee: DUP5
000028ef: DUP7
000028f0: SUB
000028f1: SLT
000028f2: ISZERO
000028f3: PUSH2 0x28fb
000028f6: JUMPI
000028f7: PUSH1 0x00
000028f9: DUP1
000028fa: REVERT
000028fb: JUMPDEST
000028fc: DUP4
000028fd: CALLDATALOAD
000028fe: SWAP3
000028ff: POP
00002900: PUSH1 0x20
00002902: DUP5
00002903: ADD
00002904: CALLDATALOAD
00002905: PUSH8 0xffffffffffffffff
0000290e: DUP2
0000290f: GT
00002910: ISZERO
00002911: PUSH2 0x2919
00002914: JUMPI
00002915: PUSH1 0x00
00002917: DUP1
00002918: REVERT
00002919: JUMPDEST
0000291a: PUSH2 0x2925
0000291d: DUP7
0000291e: DUP3
0000291f: DUP8
00002920: ADD
00002921: PUSH2 0x2722
00002924: JUMP
00002925: JUMPDEST
00002926: SWAP5
00002927: SWAP8
00002928: SWAP1
00002929: SWAP7
0000292a: POP
0000292b: SWAP4
0000292c: SWAP5
0000292d: POP
0000292e: POP
0000292f: POP
00002930: POP
00002931: JUMP
00002932: JUMPDEST
00002933: PUSH1 0x00
00002935: DUP1
00002936: PUSH1 0x40
00002938: DUP4
00002939: DUP6
0000293a: SUB
0000293b: SLT
0000293c: ISZERO
0000293d: PUSH2 0x2945
00002940: JUMPI
00002941: PUSH1 0x00
00002943: DUP1
00002944: REVERT
00002945: JUMPDEST
00002946: PUSH2 0x294e
00002949: DUP4
0000294a: PUSH2 0x250a
0000294d: JUMP
0000294e: JUMPDEST
0000294f: SWAP2
00002950: POP
00002951: PUSH2 0x295c
00002954: PUSH1 0x20
00002956: DUP5
00002957: ADD
00002958: PUSH2 0x250a
0000295b: JUMP
0000295c: JUMPDEST
0000295d: SWAP1
0000295e: POP
0000295f: SWAP3
00002960: POP
00002961: SWAP3
00002962: SWAP1
00002963: POP
00002964: JUMP
00002965: JUMPDEST
00002966: PUSH1 0x20
00002968: DUP1
00002969: DUP3
0000296a: MSTORE
0000296b: PUSH1 0x29
0000296d: SWAP1
0000296e: DUP3
0000296f: ADD
00002970: MSTORE
00002971: PUSH32 0x45524337323141544c436f72653a2041646472657373206e6f742061646d696e
00002992: PUSH1 0x40
00002994: DUP3
00002995: ADD
00002996: MSTORE
00002997: PUSH9 0x1037b91037bbb732b9
000029a1: PUSH1 0xb9
000029a3: SHL
000029a4: PUSH1 0x60
000029a6: DUP3
000029a7: ADD
000029a8: MSTORE
000029a9: PUSH1 0x80
000029ab: ADD
000029ac: SWAP1
000029ad: JUMP
000029ae: JUMPDEST
000029af: PUSH1 0x01
000029b1: DUP2
000029b2: DUP2
000029b3: SHR
000029b4: SWAP1
000029b5: DUP3
000029b6: AND
000029b7: DUP1
000029b8: PUSH2 0x29c2
000029bb: JUMPI
000029bc: PUSH1 0x7f
000029be: DUP3
000029bf: AND
000029c0: SWAP2
000029c1: POP
000029c2: JUMPDEST
000029c3: PUSH1 0x20
000029c5: DUP3
000029c6: LT
000029c7: DUP2
000029c8: SUB
000029c9: PUSH2 0x1034
000029cc: JUMPI
000029cd: PUSH4 0x4e487b71
000029d2: PUSH1 0xe0
000029d4: SHL
000029d5: PUSH1 0x00
000029d7: MSTORE
000029d8: PUSH1 0x22
000029da: PUSH1 0x04
000029dc: MSTORE
000029dd: PUSH1 0x24
000029df: PUSH1 0x00
000029e1: REVERT
000029e2: JUMPDEST
000029e3: PUSH4 0x4e487b71
000029e8: PUSH1 0xe0
000029ea: SHL
000029eb: PUSH1 0x00
000029ed: MSTORE
000029ee: PUSH1 0x11
000029f0: PUSH1 0x04
000029f2: MSTORE
000029f3: PUSH1 0x24
000029f5: PUSH1 0x00
000029f7: REVERT
000029f8: JUMPDEST
000029f9: PUSH1 0x00
000029fb: DUP2
000029fc: PUSH1 0x00
000029fe: NOT
000029ff: DIV
00002a00: DUP4
00002a01: GT
00002a02: DUP3
00002a03: ISZERO
00002a04: ISZERO
00002a05: AND
00002a06: ISZERO
00002a07: PUSH2 0x2a12
00002a0a: JUMPI
00002a0b: PUSH2 0x2a12
00002a0e: PUSH2 0x29e2
00002a11: JUMP
00002a12: JUMPDEST
00002a13: POP
00002a14: MUL
00002a15: SWAP1
00002a16: JUMP
00002a17: JUMPDEST
00002a18: PUSH1 0x00
00002a1a: DUP3
00002a1b: PUSH2 0x2a34
00002a1e: JUMPI
00002a1f: PUSH4 0x4e487b71
00002a24: PUSH1 0xe0
00002a26: SHL
00002a27: PUSH1 0x00
00002a29: MSTORE
00002a2a: PUSH1 0x12
00002a2c: PUSH1 0x04
00002a2e: MSTORE
00002a2f: PUSH1 0x24
00002a31: PUSH1 0x00
00002a33: REVERT
00002a34: JUMPDEST
00002a35: POP
00002a36: DIV
00002a37: SWAP1
00002a38: JUMP
00002a39: JUMPDEST
00002a3a: PUSH1 0x20
00002a3c: DUP1
00002a3d: DUP3
00002a3e: MSTORE
00002a3f: PUSH1 0x30
00002a41: SWAP1
00002a42: DUP3
00002a43: ADD
00002a44: MSTORE
00002a45: PUSH32 0x45524337323141544c436f72653a2063616e6e6f74207769746864726177206d
00002a66: PUSH1 0x40
00002a68: DUP3
00002a69: ADD
00002a6a: MSTORE
00002a6b: PUSH16 0x6f7265207468616e2062616c616e6365
00002a7c: PUSH1 0x80
00002a7e: SHL
00002a7f: PUSH1 0x60
00002a81: DUP3
00002a82: ADD
00002a83: MSTORE
00002a84: PUSH1 0x80
00002a86: ADD
00002a87: SWAP1
00002a88: JUMP
00002a89: JUMPDEST
00002a8a: PUSH1 0x00
00002a8c: DUP3
00002a8d: NOT
00002a8e: DUP3
00002a8f: GT
00002a90: ISZERO
00002a91: PUSH2 0x2a9c
00002a94: JUMPI
00002a95: PUSH2 0x2a9c
00002a98: PUSH2 0x29e2
00002a9b: JUMP
00002a9c: JUMPDEST
00002a9d: POP
00002a9e: ADD
00002a9f: SWAP1
00002aa0: JUMP
00002aa1: JUMPDEST
00002aa2: PUSH1 0x20
00002aa4: DUP1
00002aa5: DUP3
00002aa6: MSTORE
00002aa7: PUSH1 0x25
00002aa9: SWAP1
00002aaa: DUP3
00002aab: ADD
00002aac: MSTORE
00002aad: PUSH32 0x45524337323141544c4d65726b6c653a204e6f20746f6b656e20737570706c79
00002ace: PUSH1 0x40
00002ad0: DUP3
00002ad1: ADD
00002ad2: MSTORE
00002ad3: PUSH5 0x081b19599d
00002ad9: PUSH1 0xda
00002adb: SHL
00002adc: PUSH1 0x60
00002ade: DUP3
00002adf: ADD
00002ae0: MSTORE
00002ae1: PUSH1 0x80
00002ae3: ADD
00002ae4: SWAP1
00002ae5: JUMP
00002ae6: JUMPDEST
00002ae7: PUSH4 0x4e487b71
00002aec: PUSH1 0xe0
00002aee: SHL
00002aef: PUSH1 0x00
00002af1: MSTORE
00002af2: PUSH1 0x32
00002af4: PUSH1 0x04
00002af6: MSTORE
00002af7: PUSH1 0x24
00002af9: PUSH1 0x00
00002afb: REVERT
00002afc: JUMPDEST
00002afd: PUSH1 0x00
00002aff: PUSH1 0x01
00002b01: DUP3
00002b02: ADD
00002b03: PUSH2 0x2b0e
00002b06: JUMPI
00002b07: PUSH2 0x2b0e
00002b0a: PUSH2 0x29e2
00002b0d: JUMP
00002b0e: JUMPDEST
00002b0f: POP
00002b10: PUSH1 0x01
00002b12: ADD
00002b13: SWAP1
00002b14: JUMP
00002b15: JUMPDEST
00002b16: PUSH1 0x00
00002b18: PUSH1 0x20
00002b1a: DUP3
00002b1b: DUP5
00002b1c: SUB
00002b1d: SLT
00002b1e: ISZERO
00002b1f: PUSH2 0x2b27
00002b22: JUMPI
00002b23: PUSH1 0x00
00002b25: DUP1
00002b26: REVERT
00002b27: JUMPDEST
00002b28: POP
00002b29: MLOAD
00002b2a: SWAP2
00002b2b: SWAP1
00002b2c: POP
00002b2d: JUMP
00002b2e: JUMPDEST
00002b2f: PUSH1 0x00
00002b31: PUSH1 0x20
00002b33: DUP3
00002b34: DUP5
00002b35: SUB
00002b36: SLT
00002b37: ISZERO
00002b38: PUSH2 0x2b40
00002b3b: JUMPI
00002b3c: PUSH1 0x00
00002b3e: DUP1
00002b3f: REVERT
00002b40: JUMPDEST
00002b41: DUP2
00002b42: MLOAD
00002b43: PUSH2 0x1f0d
00002b46: DUP2
00002b47: PUSH2 0x27a9
00002b4a: JUMP
00002b4b: JUMPDEST
00002b4c: PUSH1 0x00
00002b4e: DUP5
00002b4f: MLOAD
00002b50: PUSH2 0x2b5d
00002b53: DUP2
00002b54: DUP5
00002b55: PUSH1 0x20
00002b57: DUP10
00002b58: ADD
00002b59: PUSH2 0x2541
00002b5c: JUMP
00002b5d: JUMPDEST
00002b5e: DUP1
00002b5f: DUP4
00002b60: ADD
00002b61: SWAP1
00002b62: POP
00002b63: PUSH1 0x2f
00002b65: PUSH1 0xf8
00002b67: SHL
00002b68: DUP1
00002b69: DUP3
00002b6a: MSTORE
00002b6b: DUP6
00002b6c: MLOAD
00002b6d: PUSH2 0x2b7d
00002b70: DUP2
00002b71: PUSH1 0x01
00002b73: DUP6
00002b74: ADD
00002b75: PUSH1 0x20
00002b77: DUP11
00002b78: ADD
00002b79: PUSH2 0x2541
00002b7c: JUMP
00002b7d: JUMPDEST
00002b7e: PUSH1 0x01
00002b80: SWAP3
00002b81: ADD
00002b82: SWAP2
00002b83: DUP3
00002b84: ADD
00002b85: MSTORE
00002b86: DUP4
00002b87: MLOAD
00002b88: PUSH2 0x2b98
00002b8b: DUP2
00002b8c: PUSH1 0x02
00002b8e: DUP5
00002b8f: ADD
00002b90: PUSH1 0x20
00002b92: DUP9
00002b93: ADD
00002b94: PUSH2 0x2541
00002b97: JUMP
00002b98: JUMPDEST
00002b99: ADD
00002b9a: PUSH1 0x02
00002b9c: ADD
00002b9d: SWAP6
00002b9e: SWAP5
00002b9f: POP
00002ba0: POP
00002ba1: POP
00002ba2: POP
00002ba3: POP
00002ba4: JUMP
00002ba5: JUMPDEST
00002ba6: PUSH1 0x00
00002ba8: DUP3
00002ba9: DUP3
00002baa: LT
00002bab: ISZERO
00002bac: PUSH2 0x2bb7
00002baf: JUMPI
00002bb0: PUSH2 0x2bb7
00002bb3: PUSH2 0x29e2
00002bb6: JUMP
00002bb7: JUMPDEST
00002bb8: POP
00002bb9: SUB
00002bba: SWAP1
00002bbb: JUMP
00002bbc: JUMPDEST
00002bbd: PUSH1 0x01
00002bbf: PUSH1 0x01
00002bc1: PUSH1 0xa0
00002bc3: SHL
00002bc4: SUB
00002bc5: DUP6
00002bc6: DUP2
00002bc7: AND
00002bc8: DUP3
00002bc9: MSTORE
00002bca: DUP5
00002bcb: AND
00002bcc: PUSH1 0x20
00002bce: DUP3
00002bcf: ADD
00002bd0: MSTORE
00002bd1: PUSH1 0x40
00002bd3: DUP2
00002bd4: ADD
00002bd5: DUP4
00002bd6: SWAP1
00002bd7: MSTORE
00002bd8: PUSH1 0x80
00002bda: PUSH1 0x60
00002bdc: DUP3
00002bdd: ADD
00002bde: DUP2
00002bdf: SWAP1
00002be0: MSTORE
00002be1: PUSH1 0x00
00002be3: SWAP1
00002be4: PUSH2 0x2bef
00002be7: SWAP1
00002be8: DUP4
00002be9: ADD
00002bea: DUP5
00002beb: PUSH2 0x256d
00002bee: JUMP
00002bef: JUMPDEST
00002bf0: SWAP7
00002bf1: SWAP6
00002bf2: POP
00002bf3: POP
00002bf4: POP
00002bf5: POP
00002bf6: POP
00002bf7: POP
00002bf8: JUMP
00002bf9: JUMPDEST
00002bfa: PUSH1 0x00
00002bfc: PUSH1 0x20
00002bfe: DUP3
00002bff: DUP5
00002c00: SUB
00002c01: SLT
00002c02: ISZERO
00002c03: PUSH2 0x2c0b
00002c06: JUMPI
00002c07: PUSH1 0x00
00002c09: DUP1
00002c0a: REVERT
00002c0b: JUMPDEST
00002c0c: DUP2
00002c0d: MLOAD
00002c0e: PUSH2 0x1f0d
00002c11: DUP2
00002c12: PUSH2 0x24d7
00002c15: JUMP
00002c16: INVALID
00002c17: LOG2
00002c18: PUSH5 0x6970667358
00002c1e: UNKNOWN(0x22)
00002c1f: SLT
00002c20: KECCAK256
00002c21: PUSH11 0x28d9bb7a0087df1a06a3cd
00002c2d: PUSH3 0xb1fba7
00002c31: SUB
00002c32: PUSH4 0xd843e03b
00002c37: UNKNOWN(0x28)
00002c38: UNKNOWN(0xC4)
00002c39: TSTORE
00002c3a: BYTE
00002c3b: SWAP1
00002c3c: UNKNOWN(0xE9)
00002c3d: PUSH11 0x85f77364736f6c63430008
00002c49: UNKNOWN(0x0E)
00002c4a: STOP
00002c4b: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xb0fd31ab070b23328f2cb822df2dddd29e1d06b81fc414a576efa24d695f5ee7
call_targets: 0x286d03b36595c536dbf101c641bfdc0e979440f3
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xb0fd31ab070b23328f2cb822df2dddd29e1d06b81fc414a576efa24d695f5ee7",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x286d03b36595c536dbf101c641bfdc0e979440f3"
    ],
    "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": "0xf4a0a528",
            "selector": "0xf4a0a528",
            "calldata_variants": [
                "0xf4a0a528",
                "0xf4a0a5280000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf95df414",
            "selector": "0xf95df414",
            "calldata_variants": [
                "0xf95df414",
                "0xf95df4140000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf9e23799",
            "selector": "0xf9e23799",
            "calldata_variants": [
                "0xf9e23799",
                "0xf9e237990000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc6f9468",
            "selector": "0xfc6f9468",
            "calldata_variants": [
                "0xfc6f9468",
                "0xfc6f94680000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe4b7fb73",
            "selector": "0xe4b7fb73",
            "calldata_variants": [
                "0xe4b7fb73",
                "0xe4b7fb730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3960,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5434,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6806,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": [
        {
            "pc": 3121,
            "type": "msg_sender_eq_storage"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xb0fd31ab070b23328f2cb822df2dddd29e1d06b81fc414a576efa24d695f5ee7
call_targets: 0x286d03b36595c536dbf101c641bfdc0e979440f3
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xb0fd31ab070b23328f2cb822df2dddd29e1d06b81fc414a576efa24d695f5ee7",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x286d03b36595c536dbf101c641bfdc0e979440f3"
    ],
    "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": "0xf4a0a528",
            "selector": "0xf4a0a528",
            "calldata_variants": [
                "0xf4a0a528",
                "0xf4a0a5280000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf95df414",
            "selector": "0xf95df414",
            "calldata_variants": [
                "0xf95df414",
                "0xf95df4140000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf9e23799",
            "selector": "0xf9e23799",
            "calldata_variants": [
                "0xf9e23799",
                "0xf9e237990000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc6f9468",
            "selector": "0xfc6f9468",
            "calldata_variants": [
                "0xfc6f9468",
                "0xfc6f94680000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe4b7fb73",
            "selector": "0xe4b7fb73",
            "calldata_variants": [
                "0xe4b7fb73",
                "0xe4b7fb730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3960,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5434,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6806,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [
        {
            "pc": 3121,
            "type": "msg_sender_eq_storage"
        }
    ],
    "untrusted_call_count": 4
}