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

Analysis Run

019b477e-c0cc-7041-94b2-60d1c0420d4d

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
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
24751 artifact.fetch complete 1 / 3 3 months ago
24752 tool.cast_disasm complete 1 / 3 3 months ago
102340 analysis.bundle complete 1 / 3 1 week ago
102341 capability.graph complete 1 / 3 1 week ago
102342 detector.run complete 1 / 3 1 week ago
102343 validation.fork complete 1 / 3 1 week ago

Artifact

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

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)
10
EXT*/BALANCE
10
Total opcodes
8635
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01e3
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7ea5b62a
00000019: GT
0000001a: PUSH2 0x0102
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc87b56dd
00000024: GT
00000025: PUSH2 0x0095
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe985e9c5
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe985e9c5
0000003a: EQ
0000003b: PUSH2 0x0569
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe9e17a9e
00000045: EQ
00000046: PUSH2 0x05b2
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x05d2
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf9d6ea59
0000005b: EQ
0000005c: PUSH2 0x05f2
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xc87b56dd
0000006b: EQ
0000006c: PUSH2 0x04f4
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xc8841821
00000076: EQ
00000077: PUSH2 0x0514
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xd0a89d3e
00000081: EQ
00000082: PUSH2 0x0534
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xd526d661
0000008c: EQ
0000008d: PUSH2 0x0549
00000090: JUMPI
00000091: PUSH1 0x00
00000093: DUP1
00000094: REVERT
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0xa22cb465
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xa22cb465
000000a7: EQ
000000a8: PUSH2 0x0463
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xb70f41df
000000b2: EQ
000000b3: PUSH2 0x0483
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xb88d4fde
000000bd: EQ
000000be: PUSH2 0x04a3
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xc1e19ad9
000000c8: EQ
000000c9: PUSH2 0x04c3
000000cc: JUMPI
000000cd: PUSH1 0x00
000000cf: DUP1
000000d0: REVERT
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x7ea5b62a
000000d8: EQ
000000d9: PUSH2 0x03fb
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x8da5cb5b
000000e3: EQ
000000e4: PUSH2 0x041b
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x8f2a02b4
000000ee: EQ
000000ef: PUSH2 0x0439
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x95d89b41
000000f9: EQ
000000fa: PUSH2 0x044e
000000fd: JUMPI
000000fe: PUSH1 0x00
00000100: DUP1
00000101: REVERT
00000102: JUMPDEST
00000103: DUP1
00000104: PUSH4 0x3ccfd60b
00000109: GT
0000010a: PUSH2 0x017a
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x6352211e
00000114: GT
00000115: PUSH2 0x0149
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x6352211e
0000011f: EQ
00000120: PUSH2 0x0386
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x6ff73201
0000012a: EQ
0000012b: PUSH2 0x03a6
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x70a08231
00000135: EQ
00000136: PUSH2 0x03c6
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x715018a6
00000140: EQ
00000141: PUSH2 0x03e6
00000144: JUMPI
00000145: PUSH1 0x00
00000147: DUP1
00000148: REVERT
00000149: JUMPDEST
0000014a: DUP1
0000014b: PUSH4 0x3ccfd60b
00000150: EQ
00000151: PUSH2 0x031e
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x42842e0e
0000015b: EQ
0000015c: PUSH2 0x0333
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x50df8f71
00000166: EQ
00000167: PUSH2 0x0353
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0x5ca29494
00000171: EQ
00000172: PUSH2 0x0373
00000175: JUMPI
00000176: PUSH1 0x00
00000178: DUP1
00000179: REVERT
0000017a: JUMPDEST
0000017b: DUP1
0000017c: PUSH4 0x1b1daea9
00000181: GT
00000182: PUSH2 0x01b6
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x1b1daea9
0000018c: EQ
0000018d: PUSH2 0x0299
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x1d9a780f
00000197: EQ
00000198: PUSH2 0x02ae
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x2345b8ee
000001a2: EQ
000001a3: PUSH2 0x02d1
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x23b872dd
000001ad: EQ
000001ae: PUSH2 0x02fe
000001b1: JUMPI
000001b2: PUSH1 0x00
000001b4: DUP1
000001b5: REVERT
000001b6: JUMPDEST
000001b7: DUP1
000001b8: PUSH4 0x01ffc9a7
000001bd: EQ
000001be: PUSH2 0x01e8
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x06fdde03
000001c8: EQ
000001c9: PUSH2 0x021d
000001cc: JUMPI
000001cd: DUP1
000001ce: PUSH4 0x081812fc
000001d3: EQ
000001d4: PUSH2 0x023f
000001d7: JUMPI
000001d8: DUP1
000001d9: PUSH4 0x095ea7b3
000001de: EQ
000001df: PUSH2 0x0277
000001e2: JUMPI
000001e3: JUMPDEST
000001e4: PUSH1 0x00
000001e6: DUP1
000001e7: REVERT
000001e8: JUMPDEST
000001e9: CALLVALUE
000001ea: DUP1
000001eb: ISZERO
000001ec: PUSH2 0x01f4
000001ef: JUMPI
000001f0: PUSH1 0x00
000001f2: DUP1
000001f3: REVERT
000001f4: JUMPDEST
000001f5: POP
000001f6: PUSH2 0x0208
000001f9: PUSH2 0x0203
000001fc: CALLDATASIZE
000001fd: PUSH1 0x04
000001ff: PUSH2 0x319e
00000202: JUMP
00000203: JUMPDEST
00000204: PUSH2 0x060a
00000207: JUMP
00000208: JUMPDEST
00000209: PUSH1 0x40
0000020b: MLOAD
0000020c: SWAP1
0000020d: ISZERO
0000020e: ISZERO
0000020f: DUP2
00000210: MSTORE
00000211: PUSH1 0x20
00000213: ADD
00000214: JUMPDEST
00000215: PUSH1 0x40
00000217: MLOAD
00000218: DUP1
00000219: SWAP2
0000021a: SUB
0000021b: SWAP1
0000021c: RETURN
0000021d: JUMPDEST
0000021e: CALLVALUE
0000021f: DUP1
00000220: ISZERO
00000221: PUSH2 0x0229
00000224: JUMPI
00000225: PUSH1 0x00
00000227: DUP1
00000228: REVERT
00000229: JUMPDEST
0000022a: POP
0000022b: PUSH2 0x0232
0000022e: PUSH2 0x06ef
00000231: JUMP
00000232: JUMPDEST
00000233: PUSH1 0x40
00000235: MLOAD
00000236: PUSH2 0x0214
00000239: SWAP2
0000023a: SWAP1
0000023b: PUSH2 0x3615
0000023e: JUMP
0000023f: JUMPDEST
00000240: CALLVALUE
00000241: DUP1
00000242: ISZERO
00000243: PUSH2 0x024b
00000246: JUMPI
00000247: PUSH1 0x00
00000249: DUP1
0000024a: REVERT
0000024b: JUMPDEST
0000024c: POP
0000024d: PUSH2 0x025f
00000250: PUSH2 0x025a
00000253: CALLDATASIZE
00000254: PUSH1 0x04
00000256: PUSH2 0x331d
00000259: JUMP
0000025a: JUMPDEST
0000025b: PUSH2 0x0781
0000025e: JUMP
0000025f: JUMPDEST
00000260: PUSH1 0x40
00000262: MLOAD
00000263: PUSH1 0x01
00000265: PUSH1 0x01
00000267: PUSH1 0xa0
00000269: SHL
0000026a: SUB
0000026b: SWAP1
0000026c: SWAP2
0000026d: AND
0000026e: DUP2
0000026f: MSTORE
00000270: PUSH1 0x20
00000272: ADD
00000273: PUSH2 0x0214
00000276: JUMP
00000277: JUMPDEST
00000278: CALLVALUE
00000279: DUP1
0000027a: ISZERO
0000027b: PUSH2 0x0283
0000027e: JUMPI
0000027f: PUSH1 0x00
00000281: DUP1
00000282: REVERT
00000283: JUMPDEST
00000284: POP
00000285: PUSH2 0x0297
00000288: PUSH2 0x0292
0000028b: CALLDATASIZE
0000028c: PUSH1 0x04
0000028e: PUSH2 0x3174
00000291: JUMP
00000292: JUMPDEST
00000293: PUSH2 0x082c
00000296: JUMP
00000297: JUMPDEST
00000298: STOP
00000299: JUMPDEST
0000029a: CALLVALUE
0000029b: DUP1
0000029c: ISZERO
0000029d: PUSH2 0x02a5
000002a0: JUMPI
000002a1: PUSH1 0x00
000002a3: DUP1
000002a4: REVERT
000002a5: JUMPDEST
000002a6: POP
000002a7: PUSH2 0x0297
000002aa: PUSH2 0x095e
000002ad: JUMP
000002ae: JUMPDEST
000002af: CALLVALUE
000002b0: DUP1
000002b1: ISZERO
000002b2: PUSH2 0x02ba
000002b5: JUMPI
000002b6: PUSH1 0x00
000002b8: DUP1
000002b9: REVERT
000002ba: JUMPDEST
000002bb: POP
000002bc: PUSH2 0x02c3
000002bf: PUSH2 0x09c7
000002c2: JUMP
000002c3: JUMPDEST
000002c4: PUSH1 0x40
000002c6: MLOAD
000002c7: SWAP1
000002c8: DUP2
000002c9: MSTORE
000002ca: PUSH1 0x20
000002cc: ADD
000002cd: PUSH2 0x0214
000002d0: JUMP
000002d1: JUMPDEST
000002d2: CALLVALUE
000002d3: DUP1
000002d4: ISZERO
000002d5: PUSH2 0x02dd
000002d8: JUMPI
000002d9: PUSH1 0x00
000002db: DUP1
000002dc: REVERT
000002dd: JUMPDEST
000002de: POP
000002df: PUSH2 0x02f1
000002e2: PUSH2 0x02ec
000002e5: CALLDATASIZE
000002e6: PUSH1 0x04
000002e8: PUSH2 0x3032
000002eb: JUMP
000002ec: JUMPDEST
000002ed: PUSH2 0x0a2b
000002f0: JUMP
000002f1: JUMPDEST
000002f2: PUSH1 0x40
000002f4: MLOAD
000002f5: PUSH2 0x0214
000002f8: SWAP2
000002f9: SWAP1
000002fa: PUSH2 0x35d1
000002fd: JUMP
000002fe: JUMPDEST
000002ff: CALLVALUE
00000300: DUP1
00000301: ISZERO
00000302: PUSH2 0x030a
00000305: JUMPI
00000306: PUSH1 0x00
00000308: DUP1
00000309: REVERT
0000030a: JUMPDEST
0000030b: POP
0000030c: PUSH2 0x0297
0000030f: PUSH2 0x0319
00000312: CALLDATASIZE
00000313: PUSH1 0x04
00000315: PUSH2 0x3080
00000318: JUMP
00000319: JUMPDEST
0000031a: PUSH2 0x0b09
0000031d: JUMP
0000031e: JUMPDEST
0000031f: CALLVALUE
00000320: DUP1
00000321: ISZERO
00000322: PUSH2 0x032a
00000325: JUMPI
00000326: PUSH1 0x00
00000328: DUP1
00000329: REVERT
0000032a: JUMPDEST
0000032b: POP
0000032c: PUSH2 0x0297
0000032f: PUSH2 0x0b90
00000332: JUMP
00000333: JUMPDEST
00000334: CALLVALUE
00000335: DUP1
00000336: ISZERO
00000337: PUSH2 0x033f
0000033a: JUMPI
0000033b: PUSH1 0x00
0000033d: DUP1
0000033e: REVERT
0000033f: JUMPDEST
00000340: POP
00000341: PUSH2 0x0297
00000344: PUSH2 0x034e
00000347: CALLDATASIZE
00000348: PUSH1 0x04
0000034a: PUSH2 0x3080
0000034d: JUMP
0000034e: JUMPDEST
0000034f: PUSH2 0x0c19
00000352: JUMP
00000353: JUMPDEST
00000354: CALLVALUE
00000355: DUP1
00000356: ISZERO
00000357: PUSH2 0x035f
0000035a: JUMPI
0000035b: PUSH1 0x00
0000035d: DUP1
0000035e: REVERT
0000035f: JUMPDEST
00000360: POP
00000361: PUSH2 0x0208
00000364: PUSH2 0x036e
00000367: CALLDATASIZE
00000368: PUSH1 0x04
0000036a: PUSH2 0x331d
0000036d: JUMP
0000036e: JUMPDEST
0000036f: PUSH2 0x0c34
00000372: JUMP
00000373: JUMPDEST
00000374: PUSH2 0x0297
00000377: PUSH2 0x0381
0000037a: CALLDATASIZE
0000037b: PUSH1 0x04
0000037d: PUSH2 0x33df
00000380: JUMP
00000381: JUMPDEST
00000382: PUSH2 0x0dd4
00000385: JUMP
00000386: JUMPDEST
00000387: CALLVALUE
00000388: DUP1
00000389: ISZERO
0000038a: PUSH2 0x0392
0000038d: JUMPI
0000038e: PUSH1 0x00
00000390: DUP1
00000391: REVERT
00000392: JUMPDEST
00000393: POP
00000394: PUSH2 0x025f
00000397: PUSH2 0x03a1
0000039a: CALLDATASIZE
0000039b: PUSH1 0x04
0000039d: PUSH2 0x331d
000003a0: JUMP
000003a1: JUMPDEST
000003a2: PUSH2 0x1032
000003a5: JUMP
000003a6: JUMPDEST
000003a7: CALLVALUE
000003a8: DUP1
000003a9: ISZERO
000003aa: PUSH2 0x03b2
000003ad: JUMPI
000003ae: PUSH1 0x00
000003b0: DUP1
000003b1: REVERT
000003b2: JUMPDEST
000003b3: POP
000003b4: PUSH2 0x0297
000003b7: PUSH2 0x03c1
000003ba: CALLDATASIZE
000003bb: PUSH1 0x04
000003bd: PUSH2 0x331d
000003c0: JUMP
000003c1: JUMPDEST
000003c2: PUSH2 0x10bd
000003c5: JUMP
000003c6: JUMPDEST
000003c7: CALLVALUE
000003c8: DUP1
000003c9: ISZERO
000003ca: PUSH2 0x03d2
000003cd: JUMPI
000003ce: PUSH1 0x00
000003d0: DUP1
000003d1: REVERT
000003d2: JUMPDEST
000003d3: POP
000003d4: PUSH2 0x02c3
000003d7: PUSH2 0x03e1
000003da: CALLDATASIZE
000003db: PUSH1 0x04
000003dd: PUSH2 0x3032
000003e0: JUMP
000003e1: JUMPDEST
000003e2: PUSH2 0x1128
000003e5: JUMP
000003e6: JUMPDEST
000003e7: CALLVALUE
000003e8: DUP1
000003e9: ISZERO
000003ea: PUSH2 0x03f2
000003ed: JUMPI
000003ee: PUSH1 0x00
000003f0: DUP1
000003f1: REVERT
000003f2: JUMPDEST
000003f3: POP
000003f4: PUSH2 0x0297
000003f7: PUSH2 0x11c2
000003fa: JUMP
000003fb: JUMPDEST
000003fc: CALLVALUE
000003fd: DUP1
000003fe: ISZERO
000003ff: PUSH2 0x0407
00000402: JUMPI
00000403: PUSH1 0x00
00000405: DUP1
00000406: REVERT
00000407: JUMPDEST
00000408: POP
00000409: PUSH2 0x0297
0000040c: PUSH2 0x0416
0000040f: CALLDATASIZE
00000410: PUSH1 0x04
00000412: PUSH2 0x3295
00000415: JUMP
00000416: JUMPDEST
00000417: PUSH2 0x1273
0000041a: JUMP
0000041b: JUMPDEST
0000041c: CALLVALUE
0000041d: DUP1
0000041e: ISZERO
0000041f: PUSH2 0x0427
00000422: JUMPI
00000423: PUSH1 0x00
00000425: DUP1
00000426: REVERT
00000427: JUMPDEST
00000428: POP
00000429: PUSH1 0x06
0000042b: SLOAD
0000042c: PUSH1 0x01
0000042e: PUSH1 0x01
00000430: PUSH1 0xa0
00000432: SHL
00000433: SUB
00000434: AND
00000435: PUSH2 0x025f
00000438: JUMP
00000439: JUMPDEST
0000043a: CALLVALUE
0000043b: DUP1
0000043c: ISZERO
0000043d: PUSH2 0x0445
00000440: JUMPI
00000441: PUSH1 0x00
00000443: DUP1
00000444: REVERT
00000445: JUMPDEST
00000446: POP
00000447: PUSH2 0x02c3
0000044a: PUSH2 0x148c
0000044d: JUMP
0000044e: JUMPDEST
0000044f: CALLVALUE
00000450: DUP1
00000451: ISZERO
00000452: PUSH2 0x045a
00000455: JUMPI
00000456: PUSH1 0x00
00000458: DUP1
00000459: REVERT
0000045a: JUMPDEST
0000045b: POP
0000045c: PUSH2 0x0232
0000045f: PUSH2 0x14f0
00000462: JUMP
00000463: JUMPDEST
00000464: CALLVALUE
00000465: DUP1
00000466: ISZERO
00000467: PUSH2 0x046f
0000046a: JUMPI
0000046b: PUSH1 0x00
0000046d: DUP1
0000046e: REVERT
0000046f: JUMPDEST
00000470: POP
00000471: PUSH2 0x0297
00000474: PUSH2 0x047e
00000477: CALLDATASIZE
00000478: PUSH1 0x04
0000047a: PUSH2 0x3138
0000047d: JUMP
0000047e: JUMPDEST
0000047f: PUSH2 0x14ff
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 0x0297
00000494: PUSH2 0x049e
00000497: CALLDATASIZE
00000498: PUSH1 0x04
0000049a: PUSH2 0x3032
0000049d: JUMP
0000049e: JUMPDEST
0000049f: PUSH2 0x15c4
000004a2: JUMP
000004a3: JUMPDEST
000004a4: CALLVALUE
000004a5: DUP1
000004a6: ISZERO
000004a7: PUSH2 0x04af
000004aa: JUMPI
000004ab: PUSH1 0x00
000004ad: DUP1
000004ae: REVERT
000004af: JUMPDEST
000004b0: POP
000004b1: PUSH2 0x0297
000004b4: PUSH2 0x04be
000004b7: CALLDATASIZE
000004b8: PUSH1 0x04
000004ba: PUSH2 0x30bc
000004bd: JUMP
000004be: JUMPDEST
000004bf: PUSH2 0x164d
000004c2: JUMP
000004c3: JUMPDEST
000004c4: CALLVALUE
000004c5: DUP1
000004c6: ISZERO
000004c7: PUSH2 0x04cf
000004ca: JUMPI
000004cb: PUSH1 0x00
000004cd: DUP1
000004ce: REVERT
000004cf: JUMPDEST
000004d0: POP
000004d1: PUSH2 0x04e3
000004d4: PUSH2 0x04de
000004d7: CALLDATASIZE
000004d8: PUSH1 0x04
000004da: PUSH2 0x331d
000004dd: JUMP
000004de: JUMPDEST
000004df: PUSH2 0x16db
000004e2: JUMP
000004e3: JUMPDEST
000004e4: PUSH1 0x40
000004e6: MLOAD
000004e7: PUSH2 0x0214
000004ea: SWAP6
000004eb: SWAP5
000004ec: SWAP4
000004ed: SWAP3
000004ee: SWAP2
000004ef: SWAP1
000004f0: PUSH2 0x365a
000004f3: JUMP
000004f4: JUMPDEST
000004f5: CALLVALUE
000004f6: DUP1
000004f7: ISZERO
000004f8: PUSH2 0x0500
000004fb: JUMPI
000004fc: PUSH1 0x00
000004fe: DUP1
000004ff: REVERT
00000500: JUMPDEST
00000501: POP
00000502: PUSH2 0x0232
00000505: PUSH2 0x050f
00000508: CALLDATASIZE
00000509: PUSH1 0x04
0000050b: PUSH2 0x331d
0000050e: JUMP
0000050f: JUMPDEST
00000510: PUSH2 0x183d
00000513: JUMP
00000514: JUMPDEST
00000515: CALLVALUE
00000516: DUP1
00000517: ISZERO
00000518: PUSH2 0x0520
0000051b: JUMPI
0000051c: PUSH1 0x00
0000051e: DUP1
0000051f: REVERT
00000520: JUMPDEST
00000521: POP
00000522: PUSH2 0x0297
00000525: PUSH2 0x052f
00000528: CALLDATASIZE
00000529: PUSH1 0x04
0000052b: PUSH2 0x331d
0000052e: JUMP
0000052f: JUMPDEST
00000530: PUSH2 0x1926
00000533: JUMP
00000534: JUMPDEST
00000535: CALLVALUE
00000536: DUP1
00000537: ISZERO
00000538: PUSH2 0x0540
0000053b: JUMPI
0000053c: PUSH1 0x00
0000053e: DUP1
0000053f: REVERT
00000540: JUMPDEST
00000541: POP
00000542: PUSH2 0x0297
00000545: PUSH2 0x1994
00000548: JUMP
00000549: JUMPDEST
0000054a: CALLVALUE
0000054b: DUP1
0000054c: ISZERO
0000054d: PUSH2 0x0555
00000550: JUMPI
00000551: PUSH1 0x00
00000553: DUP1
00000554: REVERT
00000555: JUMPDEST
00000556: POP
00000557: PUSH2 0x0297
0000055a: PUSH2 0x0564
0000055d: CALLDATASIZE
0000055e: PUSH1 0x04
00000560: PUSH2 0x334f
00000563: JUMP
00000564: JUMPDEST
00000565: PUSH2 0x19fa
00000568: JUMP
00000569: JUMPDEST
0000056a: CALLVALUE
0000056b: DUP1
0000056c: ISZERO
0000056d: PUSH2 0x0575
00000570: JUMPI
00000571: PUSH1 0x00
00000573: DUP1
00000574: REVERT
00000575: JUMPDEST
00000576: POP
00000577: PUSH2 0x0208
0000057a: PUSH2 0x0584
0000057d: CALLDATASIZE
0000057e: PUSH1 0x04
00000580: PUSH2 0x304d
00000583: JUMP
00000584: JUMPDEST
00000585: PUSH1 0x01
00000587: PUSH1 0x01
00000589: PUSH1 0xa0
0000058b: SHL
0000058c: SUB
0000058d: SWAP2
0000058e: DUP3
0000058f: AND
00000590: PUSH1 0x00
00000592: SWAP1
00000593: DUP2
00000594: MSTORE
00000595: PUSH1 0x05
00000597: PUSH1 0x20
00000599: SWAP1
0000059a: DUP2
0000059b: MSTORE
0000059c: PUSH1 0x40
0000059e: DUP1
0000059f: DUP4
000005a0: KECCAK256
000005a1: SWAP4
000005a2: SWAP1
000005a3: SWAP5
000005a4: AND
000005a5: DUP3
000005a6: MSTORE
000005a7: SWAP2
000005a8: SWAP1
000005a9: SWAP2
000005aa: MSTORE
000005ab: KECCAK256
000005ac: SLOAD
000005ad: PUSH1 0xff
000005af: AND
000005b0: SWAP1
000005b1: JUMP
000005b2: JUMPDEST
000005b3: CALLVALUE
000005b4: DUP1
000005b5: ISZERO
000005b6: PUSH2 0x05be
000005b9: JUMPI
000005ba: PUSH1 0x00
000005bc: DUP1
000005bd: REVERT
000005be: JUMPDEST
000005bf: POP
000005c0: PUSH2 0x0297
000005c3: PUSH2 0x05cd
000005c6: CALLDATASIZE
000005c7: PUSH1 0x04
000005c9: PUSH2 0x3032
000005cc: JUMP
000005cd: JUMPDEST
000005ce: PUSH2 0x1ac8
000005d1: JUMP
000005d2: JUMPDEST
000005d3: CALLVALUE
000005d4: DUP1
000005d5: ISZERO
000005d6: PUSH2 0x05de
000005d9: JUMPI
000005da: PUSH1 0x00
000005dc: DUP1
000005dd: REVERT
000005de: JUMPDEST
000005df: POP
000005e0: PUSH2 0x0297
000005e3: PUSH2 0x05ed
000005e6: CALLDATASIZE
000005e7: PUSH1 0x04
000005e9: PUSH2 0x3032
000005ec: JUMP
000005ed: JUMPDEST
000005ee: PUSH2 0x1b8f
000005f1: JUMP
000005f2: JUMPDEST
000005f3: CALLVALUE
000005f4: DUP1
000005f5: ISZERO
000005f6: PUSH2 0x05fe
000005f9: JUMPI
000005fa: PUSH1 0x00
000005fc: DUP1
000005fd: REVERT
000005fe: JUMPDEST
000005ff: POP
00000600: PUSH1 0x0e
00000602: SLOAD
00000603: PUSH1 0xff
00000605: AND
00000606: PUSH2 0x0208
00000609: JUMP
0000060a: JUMPDEST
0000060b: PUSH1 0x00
0000060d: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000062e: DUP3
0000062f: AND
00000630: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000
00000651: EQ
00000652: DUP1
00000653: PUSH2 0x069d
00000656: JUMPI
00000657: POP
00000658: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000679: DUP3
0000067a: AND
0000067b: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000
0000069c: EQ
0000069d: JUMPDEST
0000069e: DUP1
0000069f: PUSH2 0x06e9
000006a2: JUMPI
000006a3: POP
000006a4: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
000006c5: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000006e6: DUP4
000006e7: AND
000006e8: EQ
000006e9: JUMPDEST
000006ea: SWAP3
000006eb: SWAP2
000006ec: POP
000006ed: POP
000006ee: JUMP
000006ef: JUMPDEST
000006f0: PUSH1 0x60
000006f2: PUSH1 0x00
000006f4: DUP1
000006f5: SLOAD
000006f6: PUSH2 0x06fe
000006f9: SWAP1
000006fa: PUSH2 0x396c
000006fd: JUMP
000006fe: JUMPDEST
000006ff: DUP1
00000700: PUSH1 0x1f
00000702: ADD
00000703: PUSH1 0x20
00000705: DUP1
00000706: SWAP2
00000707: DIV
00000708: MUL
00000709: PUSH1 0x20
0000070b: ADD
0000070c: PUSH1 0x40
0000070e: MLOAD
0000070f: SWAP1
00000710: DUP2
00000711: ADD
00000712: PUSH1 0x40
00000714: MSTORE
00000715: DUP1
00000716: SWAP3
00000717: SWAP2
00000718: SWAP1
00000719: DUP2
0000071a: DUP2
0000071b: MSTORE
0000071c: PUSH1 0x20
0000071e: ADD
0000071f: DUP3
00000720: DUP1
00000721: SLOAD
00000722: PUSH2 0x072a
00000725: SWAP1
00000726: PUSH2 0x396c
00000729: JUMP
0000072a: JUMPDEST
0000072b: DUP1
0000072c: ISZERO
0000072d: PUSH2 0x0777
00000730: JUMPI
00000731: DUP1
00000732: PUSH1 0x1f
00000734: LT
00000735: PUSH2 0x074c
00000738: JUMPI
00000739: PUSH2 0x0100
0000073c: DUP1
0000073d: DUP4
0000073e: SLOAD
0000073f: DIV
00000740: MUL
00000741: DUP4
00000742: MSTORE
00000743: SWAP2
00000744: PUSH1 0x20
00000746: ADD
00000747: SWAP2
00000748: PUSH2 0x0777
0000074b: JUMP
0000074c: JUMPDEST
0000074d: DUP3
0000074e: ADD
0000074f: SWAP2
00000750: SWAP1
00000751: PUSH1 0x00
00000753: MSTORE
00000754: PUSH1 0x20
00000756: PUSH1 0x00
00000758: KECCAK256
00000759: SWAP1
0000075a: JUMPDEST
0000075b: DUP2
0000075c: SLOAD
0000075d: DUP2
0000075e: MSTORE
0000075f: SWAP1
00000760: PUSH1 0x01
00000762: ADD
00000763: SWAP1
00000764: PUSH1 0x20
00000766: ADD
00000767: DUP1
00000768: DUP4
00000769: GT
0000076a: PUSH2 0x075a
0000076d: JUMPI
0000076e: DUP3
0000076f: SWAP1
00000770: SUB
00000771: PUSH1 0x1f
00000773: AND
00000774: DUP3
00000775: ADD
00000776: SWAP2
00000777: JUMPDEST
00000778: POP
00000779: POP
0000077a: POP
0000077b: POP
0000077c: POP
0000077d: SWAP1
0000077e: POP
0000077f: SWAP1
00000780: JUMP
00000781: JUMPDEST
00000782: PUSH1 0x00
00000784: DUP2
00000785: DUP2
00000786: MSTORE
00000787: PUSH1 0x02
00000789: PUSH1 0x20
0000078b: MSTORE
0000078c: PUSH1 0x40
0000078e: DUP2
0000078f: KECCAK256
00000790: SLOAD
00000791: PUSH1 0x01
00000793: PUSH1 0x01
00000795: PUSH1 0xa0
00000797: SHL
00000798: SUB
00000799: AND
0000079a: PUSH2 0x0810
0000079d: JUMPI
0000079e: PUSH1 0x40
000007a0: MLOAD
000007a1: PUSH3 0x461bcd
000007a5: PUSH1 0xe5
000007a7: SHL
000007a8: DUP2
000007a9: MSTORE
000007aa: PUSH1 0x20
000007ac: PUSH1 0x04
000007ae: DUP3
000007af: ADD
000007b0: MSTORE
000007b1: PUSH1 0x2c
000007b3: PUSH1 0x24
000007b5: DUP3
000007b6: ADD
000007b7: MSTORE
000007b8: PUSH32 0x4552433732313a20617070726f76656420717565727920666f72206e6f6e6578
000007d9: PUSH1 0x44
000007db: DUP3
000007dc: ADD
000007dd: MSTORE
000007de: PUSH32 0x697374656e7420746f6b656e0000000000000000000000000000000000000000
000007ff: PUSH1 0x64
00000801: DUP3
00000802: ADD
00000803: MSTORE
00000804: PUSH1 0x84
00000806: ADD
00000807: JUMPDEST
00000808: PUSH1 0x40
0000080a: MLOAD
0000080b: DUP1
0000080c: SWAP2
0000080d: SUB
0000080e: SWAP1
0000080f: REVERT
00000810: JUMPDEST
00000811: POP
00000812: PUSH1 0x00
00000814: SWAP1
00000815: DUP2
00000816: MSTORE
00000817: PUSH1 0x04
00000819: PUSH1 0x20
0000081b: MSTORE
0000081c: PUSH1 0x40
0000081e: SWAP1
0000081f: KECCAK256
00000820: SLOAD
00000821: PUSH1 0x01
00000823: PUSH1 0x01
00000825: PUSH1 0xa0
00000827: SHL
00000828: SUB
00000829: AND
0000082a: SWAP1
0000082b: JUMP
0000082c: JUMPDEST
0000082d: PUSH1 0x00
0000082f: PUSH2 0x0837
00000832: DUP3
00000833: PUSH2 0x1032
00000836: JUMP
00000837: JUMPDEST
00000838: SWAP1
00000839: POP
0000083a: DUP1
0000083b: PUSH1 0x01
0000083d: PUSH1 0x01
0000083f: PUSH1 0xa0
00000841: SHL
00000842: SUB
00000843: AND
00000844: DUP4
00000845: PUSH1 0x01
00000847: PUSH1 0x01
00000849: PUSH1 0xa0
0000084b: SHL
0000084c: SUB
0000084d: AND
0000084e: EQ
0000084f: ISZERO
00000850: PUSH2 0x08c1
00000853: JUMPI
00000854: PUSH1 0x40
00000856: MLOAD
00000857: PUSH3 0x461bcd
0000085b: PUSH1 0xe5
0000085d: SHL
0000085e: DUP2
0000085f: MSTORE
00000860: PUSH1 0x20
00000862: PUSH1 0x04
00000864: DUP3
00000865: ADD
00000866: MSTORE
00000867: PUSH1 0x21
00000869: PUSH1 0x24
0000086b: DUP3
0000086c: ADD
0000086d: MSTORE
0000086e: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65
0000088f: PUSH1 0x44
00000891: DUP3
00000892: ADD
00000893: MSTORE
00000894: PUSH32 0x7200000000000000000000000000000000000000000000000000000000000000
000008b5: PUSH1 0x64
000008b7: DUP3
000008b8: ADD
000008b9: MSTORE
000008ba: PUSH1 0x84
000008bc: ADD
000008bd: PUSH2 0x0807
000008c0: JUMP
000008c1: JUMPDEST
000008c2: CALLER
000008c3: PUSH1 0x01
000008c5: PUSH1 0x01
000008c7: PUSH1 0xa0
000008c9: SHL
000008ca: SUB
000008cb: DUP3
000008cc: AND
000008cd: EQ
000008ce: DUP1
000008cf: PUSH2 0x08dd
000008d2: JUMPI
000008d3: POP
000008d4: PUSH2 0x08dd
000008d7: DUP2
000008d8: CALLER
000008d9: PUSH2 0x0584
000008dc: JUMP
000008dd: JUMPDEST
000008de: PUSH2 0x094f
000008e1: JUMPI
000008e2: PUSH1 0x40
000008e4: MLOAD
000008e5: PUSH3 0x461bcd
000008e9: PUSH1 0xe5
000008eb: SHL
000008ec: DUP2
000008ed: MSTORE
000008ee: PUSH1 0x20
000008f0: PUSH1 0x04
000008f2: DUP3
000008f3: ADD
000008f4: MSTORE
000008f5: PUSH1 0x38
000008f7: PUSH1 0x24
000008f9: DUP3
000008fa: ADD
000008fb: MSTORE
000008fc: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f74206f77
0000091d: PUSH1 0x44
0000091f: DUP3
00000920: ADD
00000921: MSTORE
00000922: PUSH32 0x6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000
00000943: PUSH1 0x64
00000945: DUP3
00000946: ADD
00000947: MSTORE
00000948: PUSH1 0x84
0000094a: ADD
0000094b: PUSH2 0x0807
0000094e: JUMP
0000094f: JUMPDEST
00000950: PUSH2 0x0959
00000953: DUP4
00000954: DUP4
00000955: PUSH2 0x1cce
00000958: JUMP
00000959: JUMPDEST
0000095a: POP
0000095b: POP
0000095c: POP
0000095d: JUMP
0000095e: JUMPDEST
0000095f: PUSH1 0x06
00000961: SLOAD
00000962: PUSH1 0x01
00000964: PUSH1 0x01
00000966: PUSH1 0xa0
00000968: SHL
00000969: SUB
0000096a: AND
0000096b: CALLER
0000096c: EQ
0000096d: PUSH2 0x09b8
00000970: JUMPI
00000971: PUSH1 0x40
00000973: MLOAD
00000974: PUSH3 0x461bcd
00000978: PUSH1 0xe5
0000097a: SHL
0000097b: DUP2
0000097c: MSTORE
0000097d: PUSH1 0x20
0000097f: PUSH1 0x04
00000981: DUP3
00000982: ADD
00000983: DUP2
00000984: SWAP1
00000985: MSTORE
00000986: PUSH1 0x24
00000988: DUP3
00000989: ADD
0000098a: MSTORE
0000098b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000009ac: PUSH1 0x44
000009ae: DUP3
000009af: ADD
000009b0: MSTORE
000009b1: PUSH1 0x64
000009b3: ADD
000009b4: PUSH2 0x0807
000009b7: JUMP
000009b8: JUMPDEST
000009b9: PUSH1 0x0e
000009bb: DUP1
000009bc: SLOAD
000009bd: PUSH1 0xff
000009bf: NOT
000009c0: AND
000009c1: PUSH1 0x01
000009c3: OR
000009c4: SWAP1
000009c5: SSTORE
000009c6: JUMP
000009c7: JUMPDEST
000009c8: PUSH1 0x06
000009ca: SLOAD
000009cb: PUSH1 0x00
000009cd: SWAP1
000009ce: PUSH1 0x01
000009d0: PUSH1 0x01
000009d2: PUSH1 0xa0
000009d4: SHL
000009d5: SUB
000009d6: AND
000009d7: CALLER
000009d8: EQ
000009d9: PUSH2 0x0a24
000009dc: JUMPI
000009dd: PUSH1 0x40
000009df: MLOAD
000009e0: PUSH3 0x461bcd
000009e4: PUSH1 0xe5
000009e6: SHL
000009e7: DUP2
000009e8: MSTORE
000009e9: PUSH1 0x20
000009eb: PUSH1 0x04
000009ed: DUP3
000009ee: ADD
000009ef: DUP2
000009f0: SWAP1
000009f1: MSTORE
000009f2: PUSH1 0x24
000009f4: DUP3
000009f5: ADD
000009f6: MSTORE
000009f7: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000a18: PUSH1 0x44
00000a1a: DUP3
00000a1b: ADD
00000a1c: MSTORE
00000a1d: PUSH1 0x64
00000a1f: ADD
00000a20: PUSH2 0x0807
00000a23: JUMP
00000a24: JUMPDEST
00000a25: POP
00000a26: PUSH1 0x0d
00000a28: SLOAD
00000a29: SWAP1
00000a2a: JUMP
00000a2b: JUMPDEST
00000a2c: PUSH1 0x60
00000a2e: PUSH1 0x00
00000a30: PUSH2 0x0a38
00000a33: DUP4
00000a34: PUSH2 0x1128
00000a37: JUMP
00000a38: JUMPDEST
00000a39: SWAP1
00000a3a: POP
00000a3b: PUSH1 0x00
00000a3d: DUP2
00000a3e: PUSH8 0xffffffffffffffff
00000a47: DUP2
00000a48: GT
00000a49: ISZERO
00000a4a: PUSH2 0x0a55
00000a4d: JUMPI
00000a4e: PUSH2 0x0a55
00000a51: PUSH2 0x3a18
00000a54: JUMP
00000a55: JUMPDEST
00000a56: PUSH1 0x40
00000a58: MLOAD
00000a59: SWAP1
00000a5a: DUP1
00000a5b: DUP3
00000a5c: MSTORE
00000a5d: DUP1
00000a5e: PUSH1 0x20
00000a60: MUL
00000a61: PUSH1 0x20
00000a63: ADD
00000a64: DUP3
00000a65: ADD
00000a66: PUSH1 0x40
00000a68: MSTORE
00000a69: DUP1
00000a6a: ISZERO
00000a6b: PUSH2 0x0a7e
00000a6e: JUMPI
00000a6f: DUP2
00000a70: PUSH1 0x20
00000a72: ADD
00000a73: PUSH1 0x20
00000a75: DUP3
00000a76: MUL
00000a77: DUP1
00000a78: CALLDATASIZE
00000a79: DUP4
00000a7a: CALLDATACOPY
00000a7b: ADD
00000a7c: SWAP1
00000a7d: POP
00000a7e: JUMPDEST
00000a7f: POP
00000a80: SWAP1
00000a81: POP
00000a82: PUSH1 0x00
00000a84: DUP1
00000a85: JUMPDEST
00000a86: DUP4
00000a87: DUP3
00000a88: LT
00000a89: DUP1
00000a8a: ISZERO
00000a8b: PUSH2 0x0a95
00000a8e: JUMPI
00000a8f: POP
00000a90: PUSH1 0x0c
00000a92: SLOAD
00000a93: DUP2
00000a94: LT
00000a95: JUMPDEST
00000a96: ISZERO
00000a97: PUSH2 0x0aff
00000a9a: JUMPI
00000a9b: PUSH1 0x01
00000a9d: PUSH1 0x01
00000a9f: PUSH1 0xa0
00000aa1: SHL
00000aa2: SUB
00000aa3: DUP7
00000aa4: AND
00000aa5: PUSH2 0x0ab2
00000aa8: PUSH2 0x03a1
00000aab: DUP4
00000aac: PUSH1 0x01
00000aae: PUSH2 0x38de
00000ab1: JUMP
00000ab2: JUMPDEST
00000ab3: PUSH1 0x01
00000ab5: PUSH1 0x01
00000ab7: PUSH1 0xa0
00000ab9: SHL
00000aba: SUB
00000abb: AND
00000abc: EQ
00000abd: ISZERO
00000abe: PUSH2 0x0aed
00000ac1: JUMPI
00000ac2: DUP1
00000ac3: DUP4
00000ac4: DUP4
00000ac5: DUP2
00000ac6: MLOAD
00000ac7: DUP2
00000ac8: LT
00000ac9: PUSH2 0x0ad4
00000acc: JUMPI
00000acd: PUSH2 0x0ad4
00000ad0: PUSH2 0x3a02
00000ad3: JUMP
00000ad4: JUMPDEST
00000ad5: PUSH1 0x20
00000ad7: SWAP1
00000ad8: DUP2
00000ad9: MUL
00000ada: SWAP2
00000adb: SWAP1
00000adc: SWAP2
00000add: ADD
00000ade: ADD
00000adf: MSTORE
00000ae0: DUP2
00000ae1: PUSH2 0x0ae9
00000ae4: DUP2
00000ae5: PUSH2 0x39a7
00000ae8: JUMP
00000ae9: JUMPDEST
00000aea: SWAP3
00000aeb: POP
00000aec: POP
00000aed: JUMPDEST
00000aee: DUP1
00000aef: PUSH2 0x0af7
00000af2: DUP2
00000af3: PUSH2 0x39a7
00000af6: JUMP
00000af7: JUMPDEST
00000af8: SWAP2
00000af9: POP
00000afa: POP
00000afb: PUSH2 0x0a85
00000afe: JUMP
00000aff: JUMPDEST
00000b00: POP
00000b01: SWAP1
00000b02: SWAP5
00000b03: SWAP4
00000b04: POP
00000b05: POP
00000b06: POP
00000b07: POP
00000b08: JUMP
00000b09: JUMPDEST
00000b0a: PUSH2 0x0b13
00000b0d: CALLER
00000b0e: DUP3
00000b0f: PUSH2 0x1d49
00000b12: JUMP
00000b13: JUMPDEST
00000b14: PUSH2 0x0b85
00000b17: JUMPI
00000b18: PUSH1 0x40
00000b1a: MLOAD
00000b1b: PUSH3 0x461bcd
00000b1f: PUSH1 0xe5
00000b21: SHL
00000b22: DUP2
00000b23: MSTORE
00000b24: PUSH1 0x20
00000b26: PUSH1 0x04
00000b28: DUP3
00000b29: ADD
00000b2a: MSTORE
00000b2b: PUSH1 0x31
00000b2d: PUSH1 0x24
00000b2f: DUP3
00000b30: ADD
00000b31: MSTORE
00000b32: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f
00000b53: PUSH1 0x44
00000b55: DUP3
00000b56: ADD
00000b57: MSTORE
00000b58: PUSH32 0x776e6572206e6f7220617070726f766564000000000000000000000000000000
00000b79: PUSH1 0x64
00000b7b: DUP3
00000b7c: ADD
00000b7d: MSTORE
00000b7e: PUSH1 0x84
00000b80: ADD
00000b81: PUSH2 0x0807
00000b84: JUMP
00000b85: JUMPDEST
00000b86: PUSH2 0x0959
00000b89: DUP4
00000b8a: DUP4
00000b8b: DUP4
00000b8c: PUSH2 0x1e51
00000b8f: JUMP
00000b90: JUMPDEST
00000b91: PUSH1 0x06
00000b93: SLOAD
00000b94: PUSH1 0x01
00000b96: PUSH1 0x01
00000b98: PUSH1 0xa0
00000b9a: SHL
00000b9b: SUB
00000b9c: AND
00000b9d: CALLER
00000b9e: EQ
00000b9f: PUSH2 0x0bea
00000ba2: JUMPI
00000ba3: PUSH1 0x40
00000ba5: MLOAD
00000ba6: PUSH3 0x461bcd
00000baa: PUSH1 0xe5
00000bac: SHL
00000bad: DUP2
00000bae: MSTORE
00000baf: PUSH1 0x20
00000bb1: PUSH1 0x04
00000bb3: DUP3
00000bb4: ADD
00000bb5: DUP2
00000bb6: SWAP1
00000bb7: MSTORE
00000bb8: PUSH1 0x24
00000bba: DUP3
00000bbb: ADD
00000bbc: MSTORE
00000bbd: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000bde: PUSH1 0x44
00000be0: DUP3
00000be1: ADD
00000be2: MSTORE
00000be3: PUSH1 0x64
00000be5: ADD
00000be6: PUSH2 0x0807
00000be9: JUMP
00000bea: JUMPDEST
00000beb: PUSH1 0x40
00000bed: MLOAD
00000bee: CALLER
00000bef: SWAP1
00000bf0: SELFBALANCE
00000bf1: DUP1
00000bf2: ISZERO
00000bf3: PUSH2 0x08fc
00000bf6: MUL
00000bf7: SWAP2
00000bf8: PUSH1 0x00
00000bfa: DUP2
00000bfb: DUP2
00000bfc: DUP2
00000bfd: DUP6
00000bfe: DUP9
00000bff: DUP9
00000c00: CALL
00000c01: SWAP4
00000c02: POP
00000c03: POP
00000c04: POP
00000c05: POP
00000c06: ISZERO
00000c07: DUP1
00000c08: ISZERO
00000c09: PUSH2 0x0c16
00000c0c: JUMPI
00000c0d: RETURNDATASIZE
00000c0e: PUSH1 0x00
00000c10: DUP1
00000c11: RETURNDATACOPY
00000c12: RETURNDATASIZE
00000c13: PUSH1 0x00
00000c15: REVERT
00000c16: JUMPDEST
00000c17: POP
00000c18: JUMP
00000c19: JUMPDEST
00000c1a: PUSH2 0x0959
00000c1d: DUP4
00000c1e: DUP4
00000c1f: DUP4
00000c20: PUSH1 0x40
00000c22: MLOAD
00000c23: DUP1
00000c24: PUSH1 0x20
00000c26: ADD
00000c27: PUSH1 0x40
00000c29: MSTORE
00000c2a: DUP1
00000c2b: PUSH1 0x00
00000c2d: DUP2
00000c2e: MSTORE
00000c2f: POP
00000c30: PUSH2 0x164d
00000c33: JUMP
00000c34: JUMPDEST
00000c35: PUSH1 0x00
00000c37: DUP1
00000c38: PUSH1 0x0c
00000c3a: PUSH2 0x0c44
00000c3d: PUSH1 0x01
00000c3f: DUP6
00000c40: PUSH2 0x3929
00000c43: JUMP
00000c44: JUMPDEST
00000c45: DUP2
00000c46: SLOAD
00000c47: DUP2
00000c48: LT
00000c49: PUSH2 0x0c54
00000c4c: JUMPI
00000c4d: PUSH2 0x0c54
00000c50: PUSH2 0x3a02
00000c53: JUMP
00000c54: JUMPDEST
00000c55: SWAP1
00000c56: PUSH1 0x00
00000c58: MSTORE
00000c59: PUSH1 0x20
00000c5b: PUSH1 0x00
00000c5d: KECCAK256
00000c5e: SWAP1
00000c5f: PUSH1 0x04
00000c61: MUL
00000c62: ADD
00000c63: PUSH1 0x40
00000c65: MLOAD
00000c66: DUP1
00000c67: PUSH1 0xa0
00000c69: ADD
00000c6a: PUSH1 0x40
00000c6c: MSTORE
00000c6d: SWAP1
00000c6e: DUP2
00000c6f: PUSH1 0x00
00000c71: DUP3
00000c72: ADD
00000c73: DUP1
00000c74: SLOAD
00000c75: PUSH2 0x0c7d
00000c78: SWAP1
00000c79: PUSH2 0x396c
00000c7c: JUMP
00000c7d: JUMPDEST
00000c7e: DUP1
00000c7f: PUSH1 0x1f
00000c81: ADD
00000c82: PUSH1 0x20
00000c84: DUP1
00000c85: SWAP2
00000c86: DIV
00000c87: MUL
00000c88: PUSH1 0x20
00000c8a: ADD
00000c8b: PUSH1 0x40
00000c8d: MLOAD
00000c8e: SWAP1
00000c8f: DUP2
00000c90: ADD
00000c91: PUSH1 0x40
00000c93: MSTORE
00000c94: DUP1
00000c95: SWAP3
00000c96: SWAP2
00000c97: SWAP1
00000c98: DUP2
00000c99: DUP2
00000c9a: MSTORE
00000c9b: PUSH1 0x20
00000c9d: ADD
00000c9e: DUP3
00000c9f: DUP1
00000ca0: SLOAD
00000ca1: PUSH2 0x0ca9
00000ca4: SWAP1
00000ca5: PUSH2 0x396c
00000ca8: JUMP
00000ca9: JUMPDEST
00000caa: DUP1
00000cab: ISZERO
00000cac: PUSH2 0x0cf6
00000caf: JUMPI
00000cb0: DUP1
00000cb1: PUSH1 0x1f
00000cb3: LT
00000cb4: PUSH2 0x0ccb
00000cb7: JUMPI
00000cb8: PUSH2 0x0100
00000cbb: DUP1
00000cbc: DUP4
00000cbd: SLOAD
00000cbe: DIV
00000cbf: MUL
00000cc0: DUP4
00000cc1: MSTORE
00000cc2: SWAP2
00000cc3: PUSH1 0x20
00000cc5: ADD
00000cc6: SWAP2
00000cc7: PUSH2 0x0cf6
00000cca: JUMP
00000ccb: JUMPDEST
00000ccc: DUP3
00000ccd: ADD
00000cce: SWAP2
00000ccf: SWAP1
00000cd0: PUSH1 0x00
00000cd2: MSTORE
00000cd3: PUSH1 0x20
00000cd5: PUSH1 0x00
00000cd7: KECCAK256
00000cd8: SWAP1
00000cd9: JUMPDEST
00000cda: DUP2
00000cdb: SLOAD
00000cdc: DUP2
00000cdd: MSTORE
00000cde: SWAP1
00000cdf: PUSH1 0x01
00000ce1: ADD
00000ce2: SWAP1
00000ce3: PUSH1 0x20
00000ce5: ADD
00000ce6: DUP1
00000ce7: DUP4
00000ce8: GT
00000ce9: PUSH2 0x0cd9
00000cec: JUMPI
00000ced: DUP3
00000cee: SWAP1
00000cef: SUB
00000cf0: PUSH1 0x1f
00000cf2: AND
00000cf3: DUP3
00000cf4: ADD
00000cf5: SWAP2
00000cf6: JUMPDEST
00000cf7: POP
00000cf8: POP
00000cf9: POP
00000cfa: POP
00000cfb: POP
00000cfc: DUP2
00000cfd: MSTORE
00000cfe: PUSH1 0x20
00000d00: ADD
00000d01: PUSH1 0x01
00000d03: DUP3
00000d04: ADD
00000d05: SLOAD
00000d06: DUP2
00000d07: MSTORE
00000d08: PUSH1 0x20
00000d0a: ADD
00000d0b: PUSH1 0x02
00000d0d: DUP3
00000d0e: ADD
00000d0f: DUP1
00000d10: SLOAD
00000d11: PUSH2 0x0d19
00000d14: SWAP1
00000d15: PUSH2 0x396c
00000d18: JUMP
00000d19: JUMPDEST
00000d1a: DUP1
00000d1b: PUSH1 0x1f
00000d1d: ADD
00000d1e: PUSH1 0x20
00000d20: DUP1
00000d21: SWAP2
00000d22: DIV
00000d23: MUL
00000d24: PUSH1 0x20
00000d26: ADD
00000d27: PUSH1 0x40
00000d29: MLOAD
00000d2a: SWAP1
00000d2b: DUP2
00000d2c: ADD
00000d2d: PUSH1 0x40
00000d2f: MSTORE
00000d30: DUP1
00000d31: SWAP3
00000d32: SWAP2
00000d33: SWAP1
00000d34: DUP2
00000d35: DUP2
00000d36: MSTORE
00000d37: PUSH1 0x20
00000d39: ADD
00000d3a: DUP3
00000d3b: DUP1
00000d3c: SLOAD
00000d3d: PUSH2 0x0d45
00000d40: SWAP1
00000d41: PUSH2 0x396c
00000d44: JUMP
00000d45: JUMPDEST
00000d46: DUP1
00000d47: ISZERO
00000d48: PUSH2 0x0d92
00000d4b: JUMPI
00000d4c: DUP1
00000d4d: PUSH1 0x1f
00000d4f: LT
00000d50: PUSH2 0x0d67
00000d53: JUMPI
00000d54: PUSH2 0x0100
00000d57: DUP1
00000d58: DUP4
00000d59: SLOAD
00000d5a: DIV
00000d5b: MUL
00000d5c: DUP4
00000d5d: MSTORE
00000d5e: SWAP2
00000d5f: PUSH1 0x20
00000d61: ADD
00000d62: SWAP2
00000d63: PUSH2 0x0d92
00000d66: JUMP
00000d67: JUMPDEST
00000d68: DUP3
00000d69: ADD
00000d6a: SWAP2
00000d6b: SWAP1
00000d6c: PUSH1 0x00
00000d6e: MSTORE
00000d6f: PUSH1 0x20
00000d71: PUSH1 0x00
00000d73: KECCAK256
00000d74: SWAP1
00000d75: JUMPDEST
00000d76: DUP2
00000d77: SLOAD
00000d78: DUP2
00000d79: MSTORE
00000d7a: SWAP1
00000d7b: PUSH1 0x01
00000d7d: ADD
00000d7e: SWAP1
00000d7f: PUSH1 0x20
00000d81: ADD
00000d82: DUP1
00000d83: DUP4
00000d84: GT
00000d85: PUSH2 0x0d75
00000d88: JUMPI
00000d89: DUP3
00000d8a: SWAP1
00000d8b: SUB
00000d8c: PUSH1 0x1f
00000d8e: AND
00000d8f: DUP3
00000d90: ADD
00000d91: SWAP2
00000d92: JUMPDEST
00000d93: POP
00000d94: POP
00000d95: POP
00000d96: SWAP2
00000d97: DUP4
00000d98: MSTORE
00000d99: POP
00000d9a: POP
00000d9b: PUSH1 0x03
00000d9d: SWAP2
00000d9e: SWAP1
00000d9f: SWAP2
00000da0: ADD
00000da1: SLOAD
00000da2: PUSH4 0xffffffff
00000da7: DUP1
00000da8: DUP3
00000da9: AND
00000daa: PUSH1 0x20
00000dac: DUP5
00000dad: ADD
00000dae: MSTORE
00000daf: PUSH5 0x0100000000
00000db5: SWAP1
00000db6: SWAP2
00000db7: DIV
00000db8: DUP2
00000db9: AND
00000dba: PUSH1 0x40
00000dbc: SWAP1
00000dbd: SWAP3
00000dbe: ADD
00000dbf: SWAP2
00000dc0: SWAP1
00000dc1: SWAP2
00000dc2: MSTORE
00000dc3: PUSH1 0x80
00000dc5: SWAP1
00000dc6: SWAP2
00000dc7: ADD
00000dc8: MLOAD
00000dc9: TIMESTAMP
00000dca: SWAP2
00000dcb: AND
00000dcc: GT
00000dcd: ISZERO
00000dce: SWAP4
00000dcf: SWAP3
00000dd0: POP
00000dd1: POP
00000dd2: POP
00000dd3: JUMP
00000dd4: JUMPDEST
00000dd5: PUSH1 0x0e
00000dd7: SLOAD
00000dd8: PUSH1 0xff
00000dda: AND
00000ddb: ISZERO
00000ddc: ISZERO
00000ddd: PUSH1 0x01
00000ddf: EQ
00000de0: PUSH2 0x0e2b
00000de3: JUMPI
00000de4: PUSH1 0x40
00000de6: MLOAD
00000de7: PUSH3 0x461bcd
00000deb: PUSH1 0xe5
00000ded: SHL
00000dee: DUP2
00000def: MSTORE
00000df0: PUSH1 0x20
00000df2: PUSH1 0x04
00000df4: DUP3
00000df5: ADD
00000df6: MSTORE
00000df7: PUSH1 0x1f
00000df9: PUSH1 0x24
00000dfb: DUP3
00000dfc: ADD
00000dfd: MSTORE
00000dfe: PUSH32 0x526f6c6c696e672069732064697361626c6420617420746869732074696d6500
00000e1f: PUSH1 0x44
00000e21: DUP3
00000e22: ADD
00000e23: MSTORE
00000e24: PUSH1 0x64
00000e26: ADD
00000e27: PUSH2 0x0807
00000e2a: JUMP
00000e2b: JUMPDEST
00000e2c: PUSH2 0x0e34
00000e2f: DUP5
00000e30: PUSH2 0x1032
00000e33: JUMP
00000e34: JUMPDEST
00000e35: PUSH1 0x01
00000e37: PUSH1 0x01
00000e39: PUSH1 0xa0
00000e3b: SHL
00000e3c: SUB
00000e3d: AND
00000e3e: CALLER
00000e3f: PUSH1 0x01
00000e41: PUSH1 0x01
00000e43: PUSH1 0xa0
00000e45: SHL
00000e46: SUB
00000e47: AND
00000e48: EQ
00000e49: DUP1
00000e4a: ISZERO
00000e4b: PUSH2 0x0e6d
00000e4e: JUMPI
00000e4f: POP
00000e50: PUSH2 0x0e58
00000e53: DUP4
00000e54: PUSH2 0x1032
00000e57: JUMP
00000e58: JUMPDEST
00000e59: PUSH1 0x01
00000e5b: PUSH1 0x01
00000e5d: PUSH1 0xa0
00000e5f: SHL
00000e60: SUB
00000e61: AND
00000e62: CALLER
00000e63: PUSH1 0x01
00000e65: PUSH1 0x01
00000e67: PUSH1 0xa0
00000e69: SHL
00000e6a: SUB
00000e6b: AND
00000e6c: EQ
00000e6d: JUMPDEST
00000e6e: DUP1
00000e6f: ISZERO
00000e70: PUSH2 0x0e92
00000e73: JUMPI
00000e74: POP
00000e75: PUSH2 0x0e7d
00000e78: DUP3
00000e79: PUSH2 0x1032
00000e7c: JUMP
00000e7d: JUMPDEST
00000e7e: PUSH1 0x01
00000e80: PUSH1 0x01
00000e82: PUSH1 0xa0
00000e84: SHL
00000e85: SUB
00000e86: AND
00000e87: CALLER
00000e88: PUSH1 0x01
00000e8a: PUSH1 0x01
00000e8c: PUSH1 0xa0
00000e8e: SHL
00000e8f: SUB
00000e90: AND
00000e91: EQ
00000e92: JUMPDEST
00000e93: PUSH2 0x0f04
00000e96: JUMPI
00000e97: PUSH1 0x40
00000e99: MLOAD
00000e9a: PUSH3 0x461bcd
00000e9e: PUSH1 0xe5
00000ea0: SHL
00000ea1: DUP2
00000ea2: MSTORE
00000ea3: PUSH1 0x20
00000ea5: PUSH1 0x04
00000ea7: DUP3
00000ea8: ADD
00000ea9: MSTORE
00000eaa: PUSH1 0x25
00000eac: PUSH1 0x24
00000eae: DUP3
00000eaf: ADD
00000eb0: MSTORE
00000eb1: PUSH32 0x4d75737420626520746865206f776e6572206f6620616c6c2074687265652074
00000ed2: PUSH1 0x44
00000ed4: DUP3
00000ed5: ADD
00000ed6: MSTORE
00000ed7: PUSH32 0x6f6b656e73000000000000000000000000000000000000000000000000000000
00000ef8: PUSH1 0x64
00000efa: DUP3
00000efb: ADD
00000efc: MSTORE
00000efd: PUSH1 0x84
00000eff: ADD
00000f00: PUSH2 0x0807
00000f03: JUMP
00000f04: JUMPDEST
00000f05: PUSH2 0x0f0d
00000f08: DUP5
00000f09: PUSH2 0x0c34
00000f0c: JUMP
00000f0d: JUMPDEST
00000f0e: DUP1
00000f0f: ISZERO
00000f10: PUSH2 0x0f1d
00000f13: JUMPI
00000f14: POP
00000f15: PUSH2 0x0f1d
00000f18: DUP4
00000f19: PUSH2 0x0c34
00000f1c: JUMP
00000f1d: JUMPDEST
00000f1e: DUP1
00000f1f: ISZERO
00000f20: PUSH2 0x0f2d
00000f23: JUMPI
00000f24: POP
00000f25: PUSH2 0x0f2d
00000f28: DUP3
00000f29: PUSH2 0x0c34
00000f2c: JUMP
00000f2d: JUMPDEST
00000f2e: PUSH2 0x0f9f
00000f31: JUMPI
00000f32: PUSH1 0x40
00000f34: MLOAD
00000f35: PUSH3 0x461bcd
00000f39: PUSH1 0xe5
00000f3b: SHL
00000f3c: DUP2
00000f3d: MSTORE
00000f3e: PUSH1 0x20
00000f40: PUSH1 0x04
00000f42: DUP3
00000f43: ADD
00000f44: MSTORE
00000f45: PUSH1 0x26
00000f47: PUSH1 0x24
00000f49: DUP3
00000f4a: ADD
00000f4b: MSTORE
00000f4c: PUSH32 0x5461726765742073746174756573206d757374206e6f74206265206f6e20636f
00000f6d: PUSH1 0x44
00000f6f: DUP3
00000f70: ADD
00000f71: MSTORE
00000f72: PUSH32 0x6f6c646f776e0000000000000000000000000000000000000000000000000000
00000f93: PUSH1 0x64
00000f95: DUP3
00000f96: ADD
00000f97: MSTORE
00000f98: PUSH1 0x84
00000f9a: ADD
00000f9b: PUSH2 0x0807
00000f9e: JUMP
00000f9f: JUMPDEST
00000fa0: PUSH1 0x0d
00000fa2: SLOAD
00000fa3: CALLVALUE
00000fa4: LT
00000fa5: ISZERO
00000fa6: PUSH2 0x0ff1
00000fa9: JUMPI
00000faa: PUSH1 0x40
00000fac: MLOAD
00000fad: PUSH3 0x461bcd
00000fb1: PUSH1 0xe5
00000fb3: SHL
00000fb4: DUP2
00000fb5: MSTORE
00000fb6: PUSH1 0x20
00000fb8: PUSH1 0x04
00000fba: DUP3
00000fbb: ADD
00000fbc: MSTORE
00000fbd: PUSH1 0x13
00000fbf: PUSH1 0x24
00000fc1: DUP3
00000fc2: ADD
00000fc3: MSTORE
00000fc4: PUSH32 0x4e6f7420656e6f756768207765692073656e7400000000000000000000000000
00000fe5: PUSH1 0x44
00000fe7: DUP3
00000fe8: ADD
00000fe9: MSTORE
00000fea: PUSH1 0x64
00000fec: ADD
00000fed: PUSH2 0x0807
00000ff0: JUMP
00000ff1: JUMPDEST
00000ff2: PUSH1 0x00
00000ff4: DUP1
00000ff5: PUSH2 0x1000
00000ff8: DUP7
00000ff9: DUP7
00000ffa: DUP7
00000ffb: DUP7
00000ffc: PUSH2 0x202b
00000fff: JUMP
00001000: JUMPDEST
00001001: SWAP2
00001002: POP
00001003: SWAP2
00001004: POP
00001005: PUSH2 0x100d
00001008: DUP7
00001009: PUSH2 0x283b
0000100c: JUMP
0000100d: JUMPDEST
0000100e: PUSH2 0x1016
00001011: DUP6
00001012: PUSH2 0x283b
00001015: JUMP
00001016: JUMPDEST
00001017: PUSH2 0x101f
0000101a: DUP5
0000101b: PUSH2 0x283b
0000101e: JUMP
0000101f: JUMPDEST
00001020: PUSH2 0x102a
00001023: DUP3
00001024: DUP3
00001025: CALLER
00001026: PUSH2 0x28fb
00001029: JUMP
0000102a: JUMPDEST
0000102b: POP
0000102c: POP
0000102d: POP
0000102e: POP
0000102f: POP
00001030: POP
00001031: JUMP
00001032: JUMPDEST
00001033: PUSH1 0x00
00001035: DUP2
00001036: DUP2
00001037: MSTORE
00001038: PUSH1 0x02
0000103a: PUSH1 0x20
0000103c: MSTORE
0000103d: PUSH1 0x40
0000103f: DUP2
00001040: KECCAK256
00001041: SLOAD
00001042: PUSH1 0x01
00001044: PUSH1 0x01
00001046: PUSH1 0xa0
00001048: SHL
00001049: SUB
0000104a: AND
0000104b: DUP1
0000104c: PUSH2 0x06e9
0000104f: JUMPI
00001050: PUSH1 0x40
00001052: MLOAD
00001053: PUSH3 0x461bcd
00001057: PUSH1 0xe5
00001059: SHL
0000105a: DUP2
0000105b: MSTORE
0000105c: PUSH1 0x20
0000105e: PUSH1 0x04
00001060: DUP3
00001061: ADD
00001062: MSTORE
00001063: PUSH1 0x29
00001065: PUSH1 0x24
00001067: DUP3
00001068: ADD
00001069: MSTORE
0000106a: PUSH32 0x4552433732313a206f776e657220717565727920666f72206e6f6e6578697374
0000108b: PUSH1 0x44
0000108d: DUP3
0000108e: ADD
0000108f: MSTORE
00001090: PUSH32 0x656e7420746f6b656e0000000000000000000000000000000000000000000000
000010b1: PUSH1 0x64
000010b3: DUP3
000010b4: ADD
000010b5: MSTORE
000010b6: PUSH1 0x84
000010b8: ADD
000010b9: PUSH2 0x0807
000010bc: JUMP
000010bd: JUMPDEST
000010be: PUSH1 0x06
000010c0: SLOAD
000010c1: PUSH1 0x01
000010c3: PUSH1 0x01
000010c5: PUSH1 0xa0
000010c7: SHL
000010c8: SUB
000010c9: AND
000010ca: CALLER
000010cb: EQ
000010cc: PUSH2 0x1117
000010cf: JUMPI
000010d0: PUSH1 0x40
000010d2: MLOAD
000010d3: PUSH3 0x461bcd
000010d7: PUSH1 0xe5
000010d9: SHL
000010da: DUP2
000010db: MSTORE
000010dc: PUSH1 0x20
000010de: PUSH1 0x04
000010e0: DUP3
000010e1: ADD
000010e2: DUP2
000010e3: SWAP1
000010e4: MSTORE
000010e5: PUSH1 0x24
000010e7: DUP3
000010e8: ADD
000010e9: MSTORE
000010ea: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000110b: PUSH1 0x44
0000110d: DUP3
0000110e: ADD
0000110f: MSTORE
00001110: PUSH1 0x64
00001112: ADD
00001113: PUSH2 0x0807
00001116: JUMP
00001117: JUMPDEST
00001118: PUSH2 0x1122
0000111b: DUP2
0000111c: PUSH1 0x01
0000111e: PUSH2 0x390a
00001121: JUMP
00001122: JUMPDEST
00001123: PUSH1 0x0b
00001125: SSTORE
00001126: POP
00001127: JUMP
00001128: JUMPDEST
00001129: PUSH1 0x00
0000112b: PUSH1 0x01
0000112d: PUSH1 0x01
0000112f: PUSH1 0xa0
00001131: SHL
00001132: SUB
00001133: DUP3
00001134: AND
00001135: PUSH2 0x11a6
00001138: JUMPI
00001139: PUSH1 0x40
0000113b: MLOAD
0000113c: PUSH3 0x461bcd
00001140: PUSH1 0xe5
00001142: SHL
00001143: DUP2
00001144: MSTORE
00001145: PUSH1 0x20
00001147: PUSH1 0x04
00001149: DUP3
0000114a: ADD
0000114b: MSTORE
0000114c: PUSH1 0x2a
0000114e: PUSH1 0x24
00001150: DUP3
00001151: ADD
00001152: MSTORE
00001153: PUSH32 0x4552433732313a2062616c616e636520717565727920666f7220746865207a65
00001174: PUSH1 0x44
00001176: DUP3
00001177: ADD
00001178: MSTORE
00001179: PUSH32 0x726f206164647265737300000000000000000000000000000000000000000000
0000119a: PUSH1 0x64
0000119c: DUP3
0000119d: ADD
0000119e: MSTORE
0000119f: PUSH1 0x84
000011a1: ADD
000011a2: PUSH2 0x0807
000011a5: JUMP
000011a6: JUMPDEST
000011a7: POP
000011a8: PUSH1 0x01
000011aa: PUSH1 0x01
000011ac: PUSH1 0xa0
000011ae: SHL
000011af: SUB
000011b0: AND
000011b1: PUSH1 0x00
000011b3: SWAP1
000011b4: DUP2
000011b5: MSTORE
000011b6: PUSH1 0x03
000011b8: PUSH1 0x20
000011ba: MSTORE
000011bb: PUSH1 0x40
000011bd: SWAP1
000011be: KECCAK256
000011bf: SLOAD
000011c0: SWAP1
000011c1: JUMP
000011c2: JUMPDEST
000011c3: PUSH1 0x06
000011c5: SLOAD
000011c6: PUSH1 0x01
000011c8: PUSH1 0x01
000011ca: PUSH1 0xa0
000011cc: SHL
000011cd: SUB
000011ce: AND
000011cf: CALLER
000011d0: EQ
000011d1: PUSH2 0x121c
000011d4: JUMPI
000011d5: PUSH1 0x40
000011d7: MLOAD
000011d8: PUSH3 0x461bcd
000011dc: PUSH1 0xe5
000011de: SHL
000011df: DUP2
000011e0: MSTORE
000011e1: PUSH1 0x20
000011e3: PUSH1 0x04
000011e5: DUP3
000011e6: ADD
000011e7: DUP2
000011e8: SWAP1
000011e9: MSTORE
000011ea: PUSH1 0x24
000011ec: DUP3
000011ed: ADD
000011ee: MSTORE
000011ef: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001210: PUSH1 0x44
00001212: DUP3
00001213: ADD
00001214: MSTORE
00001215: PUSH1 0x64
00001217: ADD
00001218: PUSH2 0x0807
0000121b: JUMP
0000121c: JUMPDEST
0000121d: PUSH1 0x06
0000121f: SLOAD
00001220: PUSH1 0x40
00001222: MLOAD
00001223: PUSH1 0x00
00001225: SWAP2
00001226: PUSH1 0x01
00001228: PUSH1 0x01
0000122a: PUSH1 0xa0
0000122c: SHL
0000122d: SUB
0000122e: AND
0000122f: SWAP1
00001230: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001251: SWAP1
00001252: DUP4
00001253: SWAP1
00001254: LOG3
00001255: PUSH1 0x06
00001257: DUP1
00001258: SLOAD
00001259: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000126e: NOT
0000126f: AND
00001270: SWAP1
00001271: SSTORE
00001272: JUMP
00001273: JUMPDEST
00001274: PUSH1 0x0a
00001276: SLOAD
00001277: PUSH1 0x01
00001279: PUSH1 0x01
0000127b: PUSH1 0xa0
0000127d: SHL
0000127e: SUB
0000127f: AND
00001280: CALLER
00001281: EQ
00001282: DUP1
00001283: PUSH2 0x1296
00001286: JUMPI
00001287: POP
00001288: PUSH1 0x06
0000128a: SLOAD
0000128b: PUSH1 0x01
0000128d: PUSH1 0x01
0000128f: PUSH1 0xa0
00001291: SHL
00001292: SUB
00001293: AND
00001294: CALLER
00001295: EQ
00001296: JUMPDEST
00001297: PUSH2 0x1308
0000129a: JUMPI
0000129b: PUSH1 0x40
0000129d: MLOAD
0000129e: PUSH3 0x461bcd
000012a2: PUSH1 0xe5
000012a4: SHL
000012a5: DUP2
000012a6: MSTORE
000012a7: PUSH1 0x20
000012a9: PUSH1 0x04
000012ab: DUP3
000012ac: ADD
000012ad: MSTORE
000012ae: PUSH1 0x2d
000012b0: PUSH1 0x24
000012b2: DUP3
000012b3: ADD
000012b4: MSTORE
000012b5: PUSH32 0x596f7520617265206e6f7420617574686f72697a656420746f2063616c6c2074
000012d6: PUSH1 0x44
000012d8: DUP3
000012d9: ADD
000012da: MSTORE
000012db: PUSH32 0x6869732066756e6374696f6e2e00000000000000000000000000000000000000
000012fc: PUSH1 0x64
000012fe: DUP3
000012ff: ADD
00001300: MSTORE
00001301: PUSH1 0x84
00001303: ADD
00001304: PUSH2 0x0807
00001307: JUMP
00001308: JUMPDEST
00001309: PUSH1 0x00
0000130b: PUSH2 0x1313
0000130e: DUP3
0000130f: PUSH2 0x29dc
00001312: JUMP
00001313: JUMPDEST
00001314: SWAP1
00001315: POP
00001316: DUP1
00001317: DUP6
00001318: EQ
00001319: PUSH2 0x1358
0000131c: JUMPI
0000131d: PUSH32 0x84208be8aa7f97a9ec81b39d7b7d9321ece8fe983906377a096b6a7cdeffb644
0000133e: DUP6
0000133f: DUP3
00001340: DUP9
00001341: PUSH1 0x40
00001343: MLOAD
00001344: PUSH2 0x134f
00001347: SWAP4
00001348: SWAP3
00001349: SWAP2
0000134a: SWAP1
0000134b: PUSH2 0x37df
0000134e: JUMP
0000134f: JUMPDEST
00001350: PUSH1 0x40
00001352: MLOAD
00001353: DUP1
00001354: SWAP2
00001355: SUB
00001356: SWAP1
00001357: LOG1
00001358: JUMPDEST
00001359: PUSH1 0x40
0000135b: DUP1
0000135c: MLOAD
0000135d: PUSH1 0xa0
0000135f: DUP2
00001360: ADD
00001361: DUP3
00001362: MSTORE
00001363: DUP8
00001364: DUP2
00001365: MSTORE
00001366: PUSH1 0x20
00001368: DUP1
00001369: DUP3
0000136a: ADD
0000136b: DUP8
0000136c: SWAP1
0000136d: MSTORE
0000136e: SWAP2
0000136f: DUP2
00001370: ADD
00001371: DUP6
00001372: SWAP1
00001373: MSTORE
00001374: PUSH4 0xffffffff
00001379: TIMESTAMP
0000137a: AND
0000137b: PUSH1 0x60
0000137d: DUP3
0000137e: ADD
0000137f: DUP2
00001380: SWAP1
00001381: MSTORE
00001382: PUSH1 0x80
00001384: DUP3
00001385: ADD
00001386: MSTORE
00001387: PUSH1 0x0c
00001389: DUP1
0000138a: SLOAD
0000138b: PUSH1 0x01
0000138d: DUP2
0000138e: ADD
0000138f: DUP3
00001390: SSTORE
00001391: PUSH1 0x00
00001393: SWAP2
00001394: SWAP1
00001395: SWAP2
00001396: MSTORE
00001397: DUP2
00001398: MLOAD
00001399: DUP1
0000139a: MLOAD
0000139b: SWAP3
0000139c: SWAP4
0000139d: PUSH1 0x04
0000139f: SWAP1
000013a0: SWAP3
000013a1: MUL
000013a2: PUSH32 0xdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7
000013c3: ADD
000013c4: SWAP3
000013c5: PUSH2 0x13d1
000013c8: SWAP3
000013c9: DUP5
000013ca: SWAP3
000013cb: ADD
000013cc: SWAP1
000013cd: PUSH2 0x2eda
000013d0: JUMP
000013d1: JUMPDEST
000013d2: POP
000013d3: PUSH1 0x20
000013d5: DUP3
000013d6: DUP2
000013d7: ADD
000013d8: MLOAD
000013d9: PUSH1 0x01
000013db: DUP4
000013dc: ADD
000013dd: SSTORE
000013de: PUSH1 0x40
000013e0: DUP4
000013e1: ADD
000013e2: MLOAD
000013e3: DUP1
000013e4: MLOAD
000013e5: PUSH2 0x13f4
000013e8: SWAP3
000013e9: PUSH1 0x02
000013eb: DUP6
000013ec: ADD
000013ed: SWAP3
000013ee: ADD
000013ef: SWAP1
000013f0: PUSH2 0x2eda
000013f3: JUMP
000013f4: JUMPDEST
000013f5: POP
000013f6: PUSH1 0x60
000013f8: DUP3
000013f9: ADD
000013fa: MLOAD
000013fb: PUSH1 0x03
000013fd: SWAP1
000013fe: SWAP2
000013ff: ADD
00001400: DUP1
00001401: SLOAD
00001402: PUSH1 0x80
00001404: SWAP1
00001405: SWAP4
00001406: ADD
00001407: MLOAD
00001408: PUSH4 0xffffffff
0000140d: SWAP1
0000140e: DUP2
0000140f: AND
00001410: PUSH5 0x0100000000
00001416: MUL
00001417: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000
00001438: SWAP1
00001439: SWAP5
0000143a: AND
0000143b: SWAP3
0000143c: AND
0000143d: SWAP2
0000143e: SWAP1
0000143f: SWAP2
00001440: OR
00001441: SWAP2
00001442: SWAP1
00001443: SWAP2
00001444: OR
00001445: SWAP1
00001446: SSTORE
00001447: PUSH1 0x40
00001449: MLOAD
0000144a: PUSH32 0x144c076cfb0973b681b483df774f70f026caf27632b95c41a612c562f0eabb7a
0000146b: SWAP1
0000146c: PUSH2 0x147c
0000146f: SWAP1
00001470: DUP4
00001471: SWAP1
00001472: DUP10
00001473: SWAP1
00001474: DUP9
00001475: SWAP1
00001476: DUP9
00001477: SWAP1
00001478: PUSH2 0x37a3
0000147b: JUMP
0000147c: JUMPDEST
0000147d: PUSH1 0x40
0000147f: MLOAD
00001480: DUP1
00001481: SWAP2
00001482: SUB
00001483: SWAP1
00001484: LOG1
00001485: POP
00001486: POP
00001487: POP
00001488: POP
00001489: POP
0000148a: POP
0000148b: JUMP
0000148c: JUMPDEST
0000148d: PUSH1 0x06
0000148f: SLOAD
00001490: PUSH1 0x00
00001492: SWAP1
00001493: PUSH1 0x01
00001495: PUSH1 0x01
00001497: PUSH1 0xa0
00001499: SHL
0000149a: SUB
0000149b: AND
0000149c: CALLER
0000149d: EQ
0000149e: PUSH2 0x14e9
000014a1: JUMPI
000014a2: PUSH1 0x40
000014a4: MLOAD
000014a5: PUSH3 0x461bcd
000014a9: PUSH1 0xe5
000014ab: SHL
000014ac: DUP2
000014ad: MSTORE
000014ae: PUSH1 0x20
000014b0: PUSH1 0x04
000014b2: DUP3
000014b3: ADD
000014b4: DUP2
000014b5: SWAP1
000014b6: MSTORE
000014b7: PUSH1 0x24
000014b9: DUP3
000014ba: ADD
000014bb: MSTORE
000014bc: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000014dd: PUSH1 0x44
000014df: DUP3
000014e0: ADD
000014e1: MSTORE
000014e2: PUSH1 0x64
000014e4: ADD
000014e5: PUSH2 0x0807
000014e8: JUMP
000014e9: JUMPDEST
000014ea: POP
000014eb: PUSH1 0x0b
000014ed: SLOAD
000014ee: SWAP1
000014ef: JUMP
000014f0: JUMPDEST
000014f1: PUSH1 0x60
000014f3: PUSH1 0x01
000014f5: DUP1
000014f6: SLOAD
000014f7: PUSH2 0x06fe
000014fa: SWAP1
000014fb: PUSH2 0x396c
000014fe: JUMP
000014ff: JUMPDEST
00001500: PUSH1 0x01
00001502: PUSH1 0x01
00001504: PUSH1 0xa0
00001506: SHL
00001507: SUB
00001508: DUP3
00001509: AND
0000150a: CALLER
0000150b: EQ
0000150c: ISZERO
0000150d: PUSH2 0x1558
00001510: JUMPI
00001511: PUSH1 0x40
00001513: MLOAD
00001514: PUSH3 0x461bcd
00001518: PUSH1 0xe5
0000151a: SHL
0000151b: DUP2
0000151c: MSTORE
0000151d: PUSH1 0x20
0000151f: PUSH1 0x04
00001521: DUP3
00001522: ADD
00001523: MSTORE
00001524: PUSH1 0x19
00001526: PUSH1 0x24
00001528: DUP3
00001529: ADD
0000152a: MSTORE
0000152b: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000
0000154c: PUSH1 0x44
0000154e: DUP3
0000154f: ADD
00001550: MSTORE
00001551: PUSH1 0x64
00001553: ADD
00001554: PUSH2 0x0807
00001557: JUMP
00001558: JUMPDEST
00001559: CALLER
0000155a: PUSH1 0x00
0000155c: DUP2
0000155d: DUP2
0000155e: MSTORE
0000155f: PUSH1 0x05
00001561: PUSH1 0x20
00001563: SWAP1
00001564: DUP2
00001565: MSTORE
00001566: PUSH1 0x40
00001568: DUP1
00001569: DUP4
0000156a: KECCAK256
0000156b: PUSH1 0x01
0000156d: PUSH1 0x01
0000156f: PUSH1 0xa0
00001571: SHL
00001572: SUB
00001573: DUP8
00001574: AND
00001575: DUP1
00001576: DUP6
00001577: MSTORE
00001578: SWAP1
00001579: DUP4
0000157a: MSTORE
0000157b: SWAP3
0000157c: DUP2
0000157d: SWAP1
0000157e: KECCAK256
0000157f: DUP1
00001580: SLOAD
00001581: PUSH1 0xff
00001583: NOT
00001584: AND
00001585: DUP7
00001586: ISZERO
00001587: ISZERO
00001588: SWAP1
00001589: DUP2
0000158a: OR
0000158b: SWAP1
0000158c: SWAP2
0000158d: SSTORE
0000158e: SWAP1
0000158f: MLOAD
00001590: SWAP1
00001591: DUP2
00001592: MSTORE
00001593: SWAP2
00001594: SWAP3
00001595: SWAP2
00001596: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
000015b7: SWAP2
000015b8: ADD
000015b9: PUSH1 0x40
000015bb: MLOAD
000015bc: DUP1
000015bd: SWAP2
000015be: SUB
000015bf: SWAP1
000015c0: LOG3
000015c1: POP
000015c2: POP
000015c3: JUMP
000015c4: JUMPDEST
000015c5: PUSH1 0x06
000015c7: SLOAD
000015c8: PUSH1 0x01
000015ca: PUSH1 0x01
000015cc: PUSH1 0xa0
000015ce: SHL
000015cf: SUB
000015d0: AND
000015d1: CALLER
000015d2: EQ
000015d3: PUSH2 0x161e
000015d6: JUMPI
000015d7: PUSH1 0x40
000015d9: MLOAD
000015da: PUSH3 0x461bcd
000015de: PUSH1 0xe5
000015e0: SHL
000015e1: DUP2
000015e2: MSTORE
000015e3: PUSH1 0x20
000015e5: PUSH1 0x04
000015e7: DUP3
000015e8: ADD
000015e9: DUP2
000015ea: SWAP1
000015eb: MSTORE
000015ec: PUSH1 0x24
000015ee: DUP3
000015ef: ADD
000015f0: MSTORE
000015f1: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001612: PUSH1 0x44
00001614: DUP3
00001615: ADD
00001616: MSTORE
00001617: PUSH1 0x64
00001619: ADD
0000161a: PUSH2 0x0807
0000161d: JUMP
0000161e: JUMPDEST
0000161f: PUSH1 0x09
00001621: DUP1
00001622: SLOAD
00001623: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001638: NOT
00001639: AND
0000163a: PUSH1 0x01
0000163c: PUSH1 0x01
0000163e: PUSH1 0xa0
00001640: SHL
00001641: SUB
00001642: SWAP3
00001643: SWAP1
00001644: SWAP3
00001645: AND
00001646: SWAP2
00001647: SWAP1
00001648: SWAP2
00001649: OR
0000164a: SWAP1
0000164b: SSTORE
0000164c: JUMP
0000164d: JUMPDEST
0000164e: PUSH2 0x1657
00001651: CALLER
00001652: DUP4
00001653: PUSH2 0x1d49
00001656: JUMP
00001657: JUMPDEST
00001658: PUSH2 0x16c9
0000165b: JUMPI
0000165c: PUSH1 0x40
0000165e: MLOAD
0000165f: PUSH3 0x461bcd
00001663: PUSH1 0xe5
00001665: SHL
00001666: DUP2
00001667: MSTORE
00001668: PUSH1 0x20
0000166a: PUSH1 0x04
0000166c: DUP3
0000166d: ADD
0000166e: MSTORE
0000166f: PUSH1 0x31
00001671: PUSH1 0x24
00001673: DUP3
00001674: ADD
00001675: MSTORE
00001676: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f
00001697: PUSH1 0x44
00001699: DUP3
0000169a: ADD
0000169b: MSTORE
0000169c: PUSH32 0x776e6572206e6f7220617070726f766564000000000000000000000000000000
000016bd: PUSH1 0x64
000016bf: DUP3
000016c0: ADD
000016c1: MSTORE
000016c2: PUSH1 0x84
000016c4: ADD
000016c5: PUSH2 0x0807
000016c8: JUMP
000016c9: JUMPDEST
000016ca: PUSH2 0x16d5
000016cd: DUP5
000016ce: DUP5
000016cf: DUP5
000016d0: DUP5
000016d1: PUSH2 0x2a03
000016d4: JUMP
000016d5: JUMPDEST
000016d6: POP
000016d7: POP
000016d8: POP
000016d9: POP
000016da: JUMP
000016db: JUMPDEST
000016dc: PUSH1 0x0c
000016de: DUP2
000016df: DUP2
000016e0: SLOAD
000016e1: DUP2
000016e2: LT
000016e3: PUSH2 0x16eb
000016e6: JUMPI
000016e7: PUSH1 0x00
000016e9: DUP1
000016ea: REVERT
000016eb: JUMPDEST
000016ec: SWAP1
000016ed: PUSH1 0x00
000016ef: MSTORE
000016f0: PUSH1 0x20
000016f2: PUSH1 0x00
000016f4: KECCAK256
000016f5: SWAP1
000016f6: PUSH1 0x04
000016f8: MUL
000016f9: ADD
000016fa: PUSH1 0x00
000016fc: SWAP2
000016fd: POP
000016fe: SWAP1
000016ff: POP
00001700: DUP1
00001701: PUSH1 0x00
00001703: ADD
00001704: DUP1
00001705: SLOAD
00001706: PUSH2 0x170e
00001709: SWAP1
0000170a: PUSH2 0x396c
0000170d: JUMP
0000170e: JUMPDEST
0000170f: DUP1
00001710: PUSH1 0x1f
00001712: ADD
00001713: PUSH1 0x20
00001715: DUP1
00001716: SWAP2
00001717: DIV
00001718: MUL
00001719: PUSH1 0x20
0000171b: ADD
0000171c: PUSH1 0x40
0000171e: MLOAD
0000171f: SWAP1
00001720: DUP2
00001721: ADD
00001722: PUSH1 0x40
00001724: MSTORE
00001725: DUP1
00001726: SWAP3
00001727: SWAP2
00001728: SWAP1
00001729: DUP2
0000172a: DUP2
0000172b: MSTORE
0000172c: PUSH1 0x20
0000172e: ADD
0000172f: DUP3
00001730: DUP1
00001731: SLOAD
00001732: PUSH2 0x173a
00001735: SWAP1
00001736: PUSH2 0x396c
00001739: JUMP
0000173a: JUMPDEST
0000173b: DUP1
0000173c: ISZERO
0000173d: PUSH2 0x1787
00001740: JUMPI
00001741: DUP1
00001742: PUSH1 0x1f
00001744: LT
00001745: PUSH2 0x175c
00001748: JUMPI
00001749: PUSH2 0x0100
0000174c: DUP1
0000174d: DUP4
0000174e: SLOAD
0000174f: DIV
00001750: MUL
00001751: DUP4
00001752: MSTORE
00001753: SWAP2
00001754: PUSH1 0x20
00001756: ADD
00001757: SWAP2
00001758: PUSH2 0x1787
0000175b: JUMP
0000175c: JUMPDEST
0000175d: DUP3
0000175e: ADD
0000175f: SWAP2
00001760: SWAP1
00001761: PUSH1 0x00
00001763: MSTORE
00001764: PUSH1 0x20
00001766: PUSH1 0x00
00001768: KECCAK256
00001769: SWAP1
0000176a: JUMPDEST
0000176b: DUP2
0000176c: SLOAD
0000176d: DUP2
0000176e: MSTORE
0000176f: SWAP1
00001770: PUSH1 0x01
00001772: ADD
00001773: SWAP1
00001774: PUSH1 0x20
00001776: ADD
00001777: DUP1
00001778: DUP4
00001779: GT
0000177a: PUSH2 0x176a
0000177d: JUMPI
0000177e: DUP3
0000177f: SWAP1
00001780: SUB
00001781: PUSH1 0x1f
00001783: AND
00001784: DUP3
00001785: ADD
00001786: SWAP2
00001787: JUMPDEST
00001788: POP
00001789: POP
0000178a: POP
0000178b: POP
0000178c: POP
0000178d: SWAP1
0000178e: DUP1
0000178f: PUSH1 0x01
00001791: ADD
00001792: SLOAD
00001793: SWAP1
00001794: DUP1
00001795: PUSH1 0x02
00001797: ADD
00001798: DUP1
00001799: SLOAD
0000179a: PUSH2 0x17a2
0000179d: SWAP1
0000179e: PUSH2 0x396c
000017a1: JUMP
000017a2: JUMPDEST
000017a3: DUP1
000017a4: PUSH1 0x1f
000017a6: ADD
000017a7: PUSH1 0x20
000017a9: DUP1
000017aa: SWAP2
000017ab: DIV
000017ac: MUL
000017ad: PUSH1 0x20
000017af: ADD
000017b0: PUSH1 0x40
000017b2: MLOAD
000017b3: SWAP1
000017b4: DUP2
000017b5: ADD
000017b6: PUSH1 0x40
000017b8: MSTORE
000017b9: DUP1
000017ba: SWAP3
000017bb: SWAP2
000017bc: SWAP1
000017bd: DUP2
000017be: DUP2
000017bf: MSTORE
000017c0: PUSH1 0x20
000017c2: ADD
000017c3: DUP3
000017c4: DUP1
000017c5: SLOAD
000017c6: PUSH2 0x17ce
000017c9: SWAP1
000017ca: PUSH2 0x396c
000017cd: JUMP
000017ce: JUMPDEST
000017cf: DUP1
000017d0: ISZERO
000017d1: PUSH2 0x181b
000017d4: JUMPI
000017d5: DUP1
000017d6: PUSH1 0x1f
000017d8: LT
000017d9: PUSH2 0x17f0
000017dc: JUMPI
000017dd: PUSH2 0x0100
000017e0: DUP1
000017e1: DUP4
000017e2: SLOAD
000017e3: DIV
000017e4: MUL
000017e5: DUP4
000017e6: MSTORE
000017e7: SWAP2
000017e8: PUSH1 0x20
000017ea: ADD
000017eb: SWAP2
000017ec: PUSH2 0x181b
000017ef: JUMP
000017f0: JUMPDEST
000017f1: DUP3
000017f2: ADD
000017f3: SWAP2
000017f4: SWAP1
000017f5: PUSH1 0x00
000017f7: MSTORE
000017f8: PUSH1 0x20
000017fa: PUSH1 0x00
000017fc: KECCAK256
000017fd: SWAP1
000017fe: JUMPDEST
000017ff: DUP2
00001800: SLOAD
00001801: DUP2
00001802: MSTORE
00001803: SWAP1
00001804: PUSH1 0x01
00001806: ADD
00001807: SWAP1
00001808: PUSH1 0x20
0000180a: ADD
0000180b: DUP1
0000180c: DUP4
0000180d: GT
0000180e: PUSH2 0x17fe
00001811: JUMPI
00001812: DUP3
00001813: SWAP1
00001814: SUB
00001815: PUSH1 0x1f
00001817: AND
00001818: DUP3
00001819: ADD
0000181a: SWAP2
0000181b: JUMPDEST
0000181c: POP
0000181d: POP
0000181e: POP
0000181f: PUSH1 0x03
00001821: SWAP1
00001822: SWAP4
00001823: ADD
00001824: SLOAD
00001825: SWAP2
00001826: SWAP3
00001827: POP
00001828: POP
00001829: PUSH4 0xffffffff
0000182e: DUP1
0000182f: DUP3
00001830: AND
00001831: SWAP2
00001832: PUSH5 0x0100000000
00001838: SWAP1
00001839: DIV
0000183a: AND
0000183b: DUP6
0000183c: JUMP
0000183d: JUMPDEST
0000183e: PUSH1 0x00
00001840: DUP2
00001841: DUP2
00001842: MSTORE
00001843: PUSH1 0x02
00001845: PUSH1 0x20
00001847: MSTORE
00001848: PUSH1 0x40
0000184a: SWAP1
0000184b: KECCAK256
0000184c: SLOAD
0000184d: PUSH1 0x60
0000184f: SWAP1
00001850: PUSH1 0x01
00001852: PUSH1 0x01
00001854: PUSH1 0xa0
00001856: SHL
00001857: SUB
00001858: AND
00001859: PUSH2 0x18ca
0000185c: JUMPI
0000185d: PUSH1 0x40
0000185f: MLOAD
00001860: PUSH3 0x461bcd
00001864: PUSH1 0xe5
00001866: SHL
00001867: DUP2
00001868: MSTORE
00001869: PUSH1 0x20
0000186b: PUSH1 0x04
0000186d: DUP3
0000186e: ADD
0000186f: MSTORE
00001870: PUSH1 0x2f
00001872: PUSH1 0x24
00001874: DUP3
00001875: ADD
00001876: MSTORE
00001877: PUSH32 0x4552433732314d657461646174613a2055524920717565727920666f72206e6f
00001898: PUSH1 0x44
0000189a: DUP3
0000189b: ADD
0000189c: MSTORE
0000189d: PUSH32 0x6e6578697374656e7420746f6b656e0000000000000000000000000000000000
000018be: PUSH1 0x64
000018c0: DUP3
000018c1: ADD
000018c2: MSTORE
000018c3: PUSH1 0x84
000018c5: ADD
000018c6: PUSH2 0x0807
000018c9: JUMP
000018ca: JUMPDEST
000018cb: PUSH1 0x00
000018cd: PUSH2 0x18d4
000018d0: PUSH2 0x2a8c
000018d3: JUMP
000018d4: JUMPDEST
000018d5: SWAP1
000018d6: POP
000018d7: PUSH1 0x00
000018d9: DUP2
000018da: MLOAD
000018db: GT
000018dc: PUSH2 0x18f4
000018df: JUMPI
000018e0: PUSH1 0x40
000018e2: MLOAD
000018e3: DUP1
000018e4: PUSH1 0x20
000018e6: ADD
000018e7: PUSH1 0x40
000018e9: MSTORE
000018ea: DUP1
000018eb: PUSH1 0x00
000018ed: DUP2
000018ee: MSTORE
000018ef: POP
000018f0: PUSH2 0x191f
000018f3: JUMP
000018f4: JUMPDEST
000018f5: DUP1
000018f6: PUSH2 0x18fe
000018f9: DUP5
000018fa: PUSH2 0x2aac
000018fd: JUMP
000018fe: JUMPDEST
000018ff: PUSH1 0x40
00001901: MLOAD
00001902: PUSH1 0x20
00001904: ADD
00001905: PUSH2 0x190f
00001908: SWAP3
00001909: SWAP2
0000190a: SWAP1
0000190b: PUSH2 0x34a4
0000190e: JUMP
0000190f: JUMPDEST
00001910: PUSH1 0x40
00001912: MLOAD
00001913: PUSH1 0x20
00001915: DUP2
00001916: DUP4
00001917: SUB
00001918: SUB
00001919: DUP2
0000191a: MSTORE
0000191b: SWAP1
0000191c: PUSH1 0x40
0000191e: MSTORE
0000191f: JUMPDEST
00001920: SWAP4
00001921: SWAP3
00001922: POP
00001923: POP
00001924: POP
00001925: JUMP
00001926: JUMPDEST
00001927: PUSH1 0x06
00001929: SLOAD
0000192a: PUSH1 0x01
0000192c: PUSH1 0x01
0000192e: PUSH1 0xa0
00001930: SHL
00001931: SUB
00001932: AND
00001933: CALLER
00001934: EQ
00001935: PUSH2 0x1980
00001938: JUMPI
00001939: PUSH1 0x40
0000193b: MLOAD
0000193c: PUSH3 0x461bcd
00001940: PUSH1 0xe5
00001942: SHL
00001943: DUP2
00001944: MSTORE
00001945: PUSH1 0x20
00001947: PUSH1 0x04
00001949: DUP3
0000194a: ADD
0000194b: DUP2
0000194c: SWAP1
0000194d: MSTORE
0000194e: PUSH1 0x24
00001950: DUP3
00001951: ADD
00001952: MSTORE
00001953: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001974: PUSH1 0x44
00001976: DUP3
00001977: ADD
00001978: MSTORE
00001979: PUSH1 0x64
0000197b: ADD
0000197c: PUSH2 0x0807
0000197f: JUMP
00001980: JUMPDEST
00001981: PUSH2 0x198e
00001984: DUP2
00001985: PUSH4 0x3b9aca00
0000198a: PUSH2 0x390a
0000198d: JUMP
0000198e: JUMPDEST
0000198f: PUSH1 0x0d
00001991: SSTORE
00001992: POP
00001993: JUMP
00001994: JUMPDEST
00001995: PUSH1 0x06
00001997: SLOAD
00001998: PUSH1 0x01
0000199a: PUSH1 0x01
0000199c: PUSH1 0xa0
0000199e: SHL
0000199f: SUB
000019a0: AND
000019a1: CALLER
000019a2: EQ
000019a3: PUSH2 0x19ee
000019a6: JUMPI
000019a7: PUSH1 0x40
000019a9: MLOAD
000019aa: PUSH3 0x461bcd
000019ae: PUSH1 0xe5
000019b0: SHL
000019b1: DUP2
000019b2: MSTORE
000019b3: PUSH1 0x20
000019b5: PUSH1 0x04
000019b7: DUP3
000019b8: ADD
000019b9: DUP2
000019ba: SWAP1
000019bb: MSTORE
000019bc: PUSH1 0x24
000019be: DUP3
000019bf: ADD
000019c0: MSTORE
000019c1: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000019e2: PUSH1 0x44
000019e4: DUP3
000019e5: ADD
000019e6: MSTORE
000019e7: PUSH1 0x64
000019e9: ADD
000019ea: PUSH2 0x0807
000019ed: JUMP
000019ee: JUMPDEST
000019ef: PUSH1 0x0e
000019f1: DUP1
000019f2: SLOAD
000019f3: PUSH1 0xff
000019f5: NOT
000019f6: AND
000019f7: SWAP1
000019f8: SSTORE
000019f9: JUMP
000019fa: JUMPDEST
000019fb: PUSH1 0x0a
000019fd: SLOAD
000019fe: PUSH1 0x01
00001a00: PUSH1 0x01
00001a02: PUSH1 0xa0
00001a04: SHL
00001a05: SUB
00001a06: AND
00001a07: CALLER
00001a08: EQ
00001a09: PUSH2 0x1a7a
00001a0c: JUMPI
00001a0d: PUSH1 0x40
00001a0f: MLOAD
00001a10: PUSH3 0x461bcd
00001a14: PUSH1 0xe5
00001a16: SHL
00001a17: DUP2
00001a18: MSTORE
00001a19: PUSH1 0x20
00001a1b: PUSH1 0x04
00001a1d: DUP3
00001a1e: ADD
00001a1f: MSTORE
00001a20: PUSH1 0x2d
00001a22: PUSH1 0x24
00001a24: DUP3
00001a25: ADD
00001a26: MSTORE
00001a27: PUSH32 0x596f7520617265206e6f7420617574686f72697a656420746f2063616c6c2074
00001a48: PUSH1 0x44
00001a4a: DUP3
00001a4b: ADD
00001a4c: MSTORE
00001a4d: PUSH32 0x6869732066756e6374696f6e2e00000000000000000000000000000000000000
00001a6e: PUSH1 0x64
00001a70: DUP3
00001a71: ADD
00001a72: MSTORE
00001a73: PUSH1 0x84
00001a75: ADD
00001a76: PUSH2 0x0807
00001a79: JUMP
00001a7a: JUMPDEST
00001a7b: PUSH32 0x9ad5d23e40b1c8e12a3548a5abd79b95dc52db2467a04733b26c4024be6978f4
00001a9c: DUP7
00001a9d: DUP7
00001a9e: DUP7
00001a9f: DUP7
00001aa0: DUP7
00001aa1: DUP7
00001aa2: PUSH1 0x40
00001aa4: MLOAD
00001aa5: PUSH2 0x1ab3
00001aa8: SWAP7
00001aa9: SWAP6
00001aaa: SWAP5
00001aab: SWAP4
00001aac: SWAP3
00001aad: SWAP2
00001aae: SWAP1
00001aaf: PUSH2 0x3807
00001ab2: JUMP
00001ab3: JUMPDEST
00001ab4: PUSH1 0x40
00001ab6: MLOAD
00001ab7: DUP1
00001ab8: SWAP2
00001ab9: SUB
00001aba: SWAP1
00001abb: LOG1
00001abc: PUSH2 0x102a
00001abf: DUP5
00001ac0: DUP7
00001ac1: DUP6
00001ac2: DUP6
00001ac3: DUP6
00001ac4: PUSH2 0x1273
00001ac7: JUMP
00001ac8: JUMPDEST
00001ac9: PUSH1 0x06
00001acb: SLOAD
00001acc: PUSH1 0x01
00001ace: PUSH1 0x01
00001ad0: PUSH1 0xa0
00001ad2: SHL
00001ad3: SUB
00001ad4: AND
00001ad5: CALLER
00001ad6: EQ
00001ad7: PUSH2 0x1b22
00001ada: JUMPI
00001adb: PUSH1 0x40
00001add: MLOAD
00001ade: PUSH3 0x461bcd
00001ae2: PUSH1 0xe5
00001ae4: SHL
00001ae5: DUP2
00001ae6: MSTORE
00001ae7: PUSH1 0x20
00001ae9: PUSH1 0x04
00001aeb: DUP3
00001aec: ADD
00001aed: DUP2
00001aee: SWAP1
00001aef: MSTORE
00001af0: PUSH1 0x24
00001af2: DUP3
00001af3: ADD
00001af4: MSTORE
00001af5: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001b16: PUSH1 0x44
00001b18: DUP3
00001b19: ADD
00001b1a: MSTORE
00001b1b: PUSH1 0x64
00001b1d: ADD
00001b1e: PUSH2 0x0807
00001b21: JUMP
00001b22: JUMPDEST
00001b23: PUSH1 0x0a
00001b25: DUP1
00001b26: SLOAD
00001b27: PUSH1 0x01
00001b29: PUSH1 0x01
00001b2b: PUSH1 0xa0
00001b2d: SHL
00001b2e: SUB
00001b2f: DUP4
00001b30: AND
00001b31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b46: NOT
00001b47: SWAP2
00001b48: DUP3
00001b49: AND
00001b4a: DUP2
00001b4b: OR
00001b4c: SWAP1
00001b4d: SWAP3
00001b4e: SSTORE
00001b4f: PUSH1 0x08
00001b51: DUP1
00001b52: SLOAD
00001b53: SWAP1
00001b54: SWAP2
00001b55: AND
00001b56: DUP3
00001b57: OR
00001b58: SWAP1
00001b59: SSTORE
00001b5a: PUSH1 0x40
00001b5c: MLOAD
00001b5d: SWAP1
00001b5e: DUP2
00001b5f: MSTORE
00001b60: PUSH32 0x51de03c3383d5c428fe200dd5e9561e7018b49e1e836059d2c7e66bc37f09e01
00001b81: SWAP1
00001b82: PUSH1 0x20
00001b84: ADD
00001b85: PUSH1 0x40
00001b87: MLOAD
00001b88: DUP1
00001b89: SWAP2
00001b8a: SUB
00001b8b: SWAP1
00001b8c: LOG1
00001b8d: POP
00001b8e: JUMP
00001b8f: JUMPDEST
00001b90: PUSH1 0x06
00001b92: SLOAD
00001b93: PUSH1 0x01
00001b95: PUSH1 0x01
00001b97: PUSH1 0xa0
00001b99: SHL
00001b9a: SUB
00001b9b: AND
00001b9c: CALLER
00001b9d: EQ
00001b9e: PUSH2 0x1be9
00001ba1: JUMPI
00001ba2: PUSH1 0x40
00001ba4: MLOAD
00001ba5: PUSH3 0x461bcd
00001ba9: PUSH1 0xe5
00001bab: SHL
00001bac: DUP2
00001bad: MSTORE
00001bae: PUSH1 0x20
00001bb0: PUSH1 0x04
00001bb2: DUP3
00001bb3: ADD
00001bb4: DUP2
00001bb5: SWAP1
00001bb6: MSTORE
00001bb7: PUSH1 0x24
00001bb9: DUP3
00001bba: ADD
00001bbb: MSTORE
00001bbc: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001bdd: PUSH1 0x44
00001bdf: DUP3
00001be0: ADD
00001be1: MSTORE
00001be2: PUSH1 0x64
00001be4: ADD
00001be5: PUSH2 0x0807
00001be8: JUMP
00001be9: JUMPDEST
00001bea: PUSH1 0x01
00001bec: PUSH1 0x01
00001bee: PUSH1 0xa0
00001bf0: SHL
00001bf1: SUB
00001bf2: DUP2
00001bf3: AND
00001bf4: PUSH2 0x1c65
00001bf7: JUMPI
00001bf8: PUSH1 0x40
00001bfa: MLOAD
00001bfb: PUSH3 0x461bcd
00001bff: PUSH1 0xe5
00001c01: SHL
00001c02: DUP2
00001c03: MSTORE
00001c04: PUSH1 0x20
00001c06: PUSH1 0x04
00001c08: DUP3
00001c09: ADD
00001c0a: MSTORE
00001c0b: PUSH1 0x26
00001c0d: PUSH1 0x24
00001c0f: DUP3
00001c10: ADD
00001c11: MSTORE
00001c12: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001c33: PUSH1 0x44
00001c35: DUP3
00001c36: ADD
00001c37: MSTORE
00001c38: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00001c59: PUSH1 0x64
00001c5b: DUP3
00001c5c: ADD
00001c5d: MSTORE
00001c5e: PUSH1 0x84
00001c60: ADD
00001c61: PUSH2 0x0807
00001c64: JUMP
00001c65: JUMPDEST
00001c66: PUSH1 0x06
00001c68: SLOAD
00001c69: PUSH1 0x40
00001c6b: MLOAD
00001c6c: PUSH1 0x01
00001c6e: PUSH1 0x01
00001c70: PUSH1 0xa0
00001c72: SHL
00001c73: SUB
00001c74: DUP1
00001c75: DUP5
00001c76: AND
00001c77: SWAP3
00001c78: AND
00001c79: SWAP1
00001c7a: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001c9b: SWAP1
00001c9c: PUSH1 0x00
00001c9e: SWAP1
00001c9f: LOG3
00001ca0: PUSH1 0x06
00001ca2: DUP1
00001ca3: SLOAD
00001ca4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cb9: NOT
00001cba: AND
00001cbb: PUSH1 0x01
00001cbd: PUSH1 0x01
00001cbf: PUSH1 0xa0
00001cc1: SHL
00001cc2: SUB
00001cc3: SWAP3
00001cc4: SWAP1
00001cc5: SWAP3
00001cc6: AND
00001cc7: SWAP2
00001cc8: SWAP1
00001cc9: SWAP2
00001cca: OR
00001ccb: SWAP1
00001ccc: SSTORE
00001ccd: JUMP
00001cce: JUMPDEST
00001ccf: PUSH1 0x00
00001cd1: DUP2
00001cd2: DUP2
00001cd3: MSTORE
00001cd4: PUSH1 0x04
00001cd6: PUSH1 0x20
00001cd8: MSTORE
00001cd9: PUSH1 0x40
00001cdb: SWAP1
00001cdc: KECCAK256
00001cdd: DUP1
00001cde: SLOAD
00001cdf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cf4: NOT
00001cf5: AND
00001cf6: PUSH1 0x01
00001cf8: PUSH1 0x01
00001cfa: PUSH1 0xa0
00001cfc: SHL
00001cfd: SUB
00001cfe: DUP5
00001cff: AND
00001d00: SWAP1
00001d01: DUP2
00001d02: OR
00001d03: SWAP1
00001d04: SWAP2
00001d05: SSTORE
00001d06: DUP2
00001d07: SWAP1
00001d08: PUSH2 0x1d10
00001d0b: DUP3
00001d0c: PUSH2 0x1032
00001d0f: JUMP
00001d10: JUMPDEST
00001d11: PUSH1 0x01
00001d13: PUSH1 0x01
00001d15: PUSH1 0xa0
00001d17: SHL
00001d18: SUB
00001d19: AND
00001d1a: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001d3b: PUSH1 0x40
00001d3d: MLOAD
00001d3e: PUSH1 0x40
00001d40: MLOAD
00001d41: DUP1
00001d42: SWAP2
00001d43: SUB
00001d44: SWAP1
00001d45: LOG4
00001d46: POP
00001d47: POP
00001d48: JUMP
00001d49: JUMPDEST
00001d4a: PUSH1 0x00
00001d4c: DUP2
00001d4d: DUP2
00001d4e: MSTORE
00001d4f: PUSH1 0x02
00001d51: PUSH1 0x20
00001d53: MSTORE
00001d54: PUSH1 0x40
00001d56: DUP2
00001d57: KECCAK256
00001d58: SLOAD
00001d59: PUSH1 0x01
00001d5b: PUSH1 0x01
00001d5d: PUSH1 0xa0
00001d5f: SHL
00001d60: SUB
00001d61: AND
00001d62: PUSH2 0x1dd3
00001d65: JUMPI
00001d66: PUSH1 0x40
00001d68: MLOAD
00001d69: PUSH3 0x461bcd
00001d6d: PUSH1 0xe5
00001d6f: SHL
00001d70: DUP2
00001d71: MSTORE
00001d72: PUSH1 0x20
00001d74: PUSH1 0x04
00001d76: DUP3
00001d77: ADD
00001d78: MSTORE
00001d79: PUSH1 0x2c
00001d7b: PUSH1 0x24
00001d7d: DUP3
00001d7e: ADD
00001d7f: MSTORE
00001d80: PUSH32 0x4552433732313a206f70657261746f7220717565727920666f72206e6f6e6578
00001da1: PUSH1 0x44
00001da3: DUP3
00001da4: ADD
00001da5: MSTORE
00001da6: PUSH32 0x697374656e7420746f6b656e0000000000000000000000000000000000000000
00001dc7: PUSH1 0x64
00001dc9: DUP3
00001dca: ADD
00001dcb: MSTORE
00001dcc: PUSH1 0x84
00001dce: ADD
00001dcf: PUSH2 0x0807
00001dd2: JUMP
00001dd3: JUMPDEST
00001dd4: PUSH1 0x00
00001dd6: PUSH2 0x1dde
00001dd9: DUP4
00001dda: PUSH2 0x1032
00001ddd: JUMP
00001dde: JUMPDEST
00001ddf: SWAP1
00001de0: POP
00001de1: DUP1
00001de2: PUSH1 0x01
00001de4: PUSH1 0x01
00001de6: PUSH1 0xa0
00001de8: SHL
00001de9: SUB
00001dea: AND
00001deb: DUP5
00001dec: PUSH1 0x01
00001dee: PUSH1 0x01
00001df0: PUSH1 0xa0
00001df2: SHL
00001df3: SUB
00001df4: AND
00001df5: EQ
00001df6: DUP1
00001df7: PUSH2 0x1e19
00001dfa: JUMPI
00001dfb: POP
00001dfc: DUP4
00001dfd: PUSH1 0x01
00001dff: PUSH1 0x01
00001e01: PUSH1 0xa0
00001e03: SHL
00001e04: SUB
00001e05: AND
00001e06: PUSH2 0x1e0e
00001e09: DUP5
00001e0a: PUSH2 0x0781
00001e0d: JUMP
00001e0e: JUMPDEST
00001e0f: PUSH1 0x01
00001e11: PUSH1 0x01
00001e13: PUSH1 0xa0
00001e15: SHL
00001e16: SUB
00001e17: AND
00001e18: EQ
00001e19: JUMPDEST
00001e1a: DUP1
00001e1b: PUSH2 0x1e49
00001e1e: JUMPI
00001e1f: POP
00001e20: PUSH1 0x01
00001e22: PUSH1 0x01
00001e24: PUSH1 0xa0
00001e26: SHL
00001e27: SUB
00001e28: DUP1
00001e29: DUP3
00001e2a: AND
00001e2b: PUSH1 0x00
00001e2d: SWAP1
00001e2e: DUP2
00001e2f: MSTORE
00001e30: PUSH1 0x05
00001e32: PUSH1 0x20
00001e34: SWAP1
00001e35: DUP2
00001e36: MSTORE
00001e37: PUSH1 0x40
00001e39: DUP1
00001e3a: DUP4
00001e3b: KECCAK256
00001e3c: SWAP4
00001e3d: DUP9
00001e3e: AND
00001e3f: DUP4
00001e40: MSTORE
00001e41: SWAP3
00001e42: SWAP1
00001e43: MSTORE
00001e44: KECCAK256
00001e45: SLOAD
00001e46: PUSH1 0xff
00001e48: AND
00001e49: JUMPDEST
00001e4a: SWAP5
00001e4b: SWAP4
00001e4c: POP
00001e4d: POP
00001e4e: POP
00001e4f: POP
00001e50: JUMP
00001e51: JUMPDEST
00001e52: DUP3
00001e53: PUSH1 0x01
00001e55: PUSH1 0x01
00001e57: PUSH1 0xa0
00001e59: SHL
00001e5a: SUB
00001e5b: AND
00001e5c: PUSH2 0x1e64
00001e5f: DUP3
00001e60: PUSH2 0x1032
00001e63: JUMP
00001e64: JUMPDEST
00001e65: PUSH1 0x01
00001e67: PUSH1 0x01
00001e69: PUSH1 0xa0
00001e6b: SHL
00001e6c: SUB
00001e6d: AND
00001e6e: EQ
00001e6f: PUSH2 0x1ee0
00001e72: JUMPI
00001e73: PUSH1 0x40
00001e75: MLOAD
00001e76: PUSH3 0x461bcd
00001e7a: PUSH1 0xe5
00001e7c: SHL
00001e7d: DUP2
00001e7e: MSTORE
00001e7f: PUSH1 0x20
00001e81: PUSH1 0x04
00001e83: DUP3
00001e84: ADD
00001e85: MSTORE
00001e86: PUSH1 0x29
00001e88: PUSH1 0x24
00001e8a: DUP3
00001e8b: ADD
00001e8c: MSTORE
00001e8d: PUSH32 0x4552433732313a207472616e73666572206f6620746f6b656e20746861742069
00001eae: PUSH1 0x44
00001eb0: DUP3
00001eb1: ADD
00001eb2: MSTORE
00001eb3: PUSH32 0x73206e6f74206f776e0000000000000000000000000000000000000000000000
00001ed4: PUSH1 0x64
00001ed6: DUP3
00001ed7: ADD
00001ed8: MSTORE
00001ed9: PUSH1 0x84
00001edb: ADD
00001edc: PUSH2 0x0807
00001edf: JUMP
00001ee0: JUMPDEST
00001ee1: PUSH1 0x01
00001ee3: PUSH1 0x01
00001ee5: PUSH1 0xa0
00001ee7: SHL
00001ee8: SUB
00001ee9: DUP3
00001eea: AND
00001eeb: PUSH2 0x1f5b
00001eee: JUMPI
00001eef: PUSH1 0x40
00001ef1: MLOAD
00001ef2: PUSH3 0x461bcd
00001ef6: PUSH1 0xe5
00001ef8: SHL
00001ef9: DUP2
00001efa: MSTORE
00001efb: PUSH1 0x20
00001efd: PUSH1 0x04
00001eff: DUP3
00001f00: ADD
00001f01: MSTORE
00001f02: PUSH1 0x24
00001f04: DUP1
00001f05: DUP3
00001f06: ADD
00001f07: MSTORE
00001f08: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464
00001f29: PUSH1 0x44
00001f2b: DUP3
00001f2c: ADD
00001f2d: MSTORE
00001f2e: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
00001f4f: PUSH1 0x64
00001f51: DUP3
00001f52: ADD
00001f53: MSTORE
00001f54: PUSH1 0x84
00001f56: ADD
00001f57: PUSH2 0x0807
00001f5a: JUMP
00001f5b: JUMPDEST
00001f5c: PUSH2 0x1f66
00001f5f: PUSH1 0x00
00001f61: DUP3
00001f62: PUSH2 0x1cce
00001f65: JUMP
00001f66: JUMPDEST
00001f67: PUSH1 0x01
00001f69: PUSH1 0x01
00001f6b: PUSH1 0xa0
00001f6d: SHL
00001f6e: SUB
00001f6f: DUP4
00001f70: AND
00001f71: PUSH1 0x00
00001f73: SWAP1
00001f74: DUP2
00001f75: MSTORE
00001f76: PUSH1 0x03
00001f78: PUSH1 0x20
00001f7a: MSTORE
00001f7b: PUSH1 0x40
00001f7d: DUP2
00001f7e: KECCAK256
00001f7f: DUP1
00001f80: SLOAD
00001f81: PUSH1 0x01
00001f83: SWAP3
00001f84: SWAP1
00001f85: PUSH2 0x1f8f
00001f88: SWAP1
00001f89: DUP5
00001f8a: SWAP1
00001f8b: PUSH2 0x3929
00001f8e: JUMP
00001f8f: JUMPDEST
00001f90: SWAP1
00001f91: SWAP2
00001f92: SSTORE
00001f93: POP
00001f94: POP
00001f95: PUSH1 0x01
00001f97: PUSH1 0x01
00001f99: PUSH1 0xa0
00001f9b: SHL
00001f9c: SUB
00001f9d: DUP3
00001f9e: AND
00001f9f: PUSH1 0x00
00001fa1: SWAP1
00001fa2: DUP2
00001fa3: MSTORE
00001fa4: PUSH1 0x03
00001fa6: PUSH1 0x20
00001fa8: MSTORE
00001fa9: PUSH1 0x40
00001fab: DUP2
00001fac: KECCAK256
00001fad: DUP1
00001fae: SLOAD
00001faf: PUSH1 0x01
00001fb1: SWAP3
00001fb2: SWAP1
00001fb3: PUSH2 0x1fbd
00001fb6: SWAP1
00001fb7: DUP5
00001fb8: SWAP1
00001fb9: PUSH2 0x38de
00001fbc: JUMP
00001fbd: JUMPDEST
00001fbe: SWAP1
00001fbf: SWAP2
00001fc0: SSTORE
00001fc1: POP
00001fc2: POP
00001fc3: PUSH1 0x00
00001fc5: DUP2
00001fc6: DUP2
00001fc7: MSTORE
00001fc8: PUSH1 0x02
00001fca: PUSH1 0x20
00001fcc: MSTORE
00001fcd: PUSH1 0x40
00001fcf: DUP1
00001fd0: DUP3
00001fd1: KECCAK256
00001fd2: DUP1
00001fd3: SLOAD
00001fd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fe9: NOT
00001fea: AND
00001feb: PUSH1 0x01
00001fed: PUSH1 0x01
00001fef: PUSH1 0xa0
00001ff1: SHL
00001ff2: SUB
00001ff3: DUP7
00001ff4: DUP2
00001ff5: AND
00001ff6: SWAP2
00001ff7: DUP3
00001ff8: OR
00001ff9: SWAP1
00001ffa: SWAP3
00001ffb: SSTORE
00001ffc: SWAP2
00001ffd: MLOAD
00001ffe: DUP5
00001fff: SWAP4
00002000: SWAP2
00002001: DUP8
00002002: AND
00002003: SWAP2
00002004: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002025: SWAP2
00002026: LOG4
00002027: POP
00002028: POP
00002029: POP
0000202a: JUMP
0000202b: JUMPDEST
0000202c: PUSH1 0x60
0000202e: PUSH1 0x00
00002030: DUP1
00002031: PUSH1 0x40
00002033: MLOAD
00002034: DUP1
00002035: PUSH1 0x60
00002037: ADD
00002038: PUSH1 0x40
0000203a: MSTORE
0000203b: DUP1
0000203c: PUSH1 0x0c
0000203e: PUSH1 0x01
00002040: DUP11
00002041: PUSH2 0x204a
00002044: SWAP2
00002045: SWAP1
00002046: PUSH2 0x3929
00002049: JUMP
0000204a: JUMPDEST
0000204b: DUP2
0000204c: SLOAD
0000204d: DUP2
0000204e: LT
0000204f: PUSH2 0x205a
00002052: JUMPI
00002053: PUSH2 0x205a
00002056: PUSH2 0x3a02
00002059: JUMP
0000205a: JUMPDEST
0000205b: SWAP1
0000205c: PUSH1 0x00
0000205e: MSTORE
0000205f: PUSH1 0x20
00002061: PUSH1 0x00
00002063: KECCAK256
00002064: SWAP1
00002065: PUSH1 0x04
00002067: MUL
00002068: ADD
00002069: PUSH1 0x00
0000206b: ADD
0000206c: DUP1
0000206d: SLOAD
0000206e: PUSH2 0x2076
00002071: SWAP1
00002072: PUSH2 0x396c
00002075: JUMP
00002076: JUMPDEST
00002077: DUP1
00002078: PUSH1 0x1f
0000207a: ADD
0000207b: PUSH1 0x20
0000207d: DUP1
0000207e: SWAP2
0000207f: DIV
00002080: MUL
00002081: PUSH1 0x20
00002083: ADD
00002084: PUSH1 0x40
00002086: MLOAD
00002087: SWAP1
00002088: DUP2
00002089: ADD
0000208a: PUSH1 0x40
0000208c: MSTORE
0000208d: DUP1
0000208e: SWAP3
0000208f: SWAP2
00002090: SWAP1
00002091: DUP2
00002092: DUP2
00002093: MSTORE
00002094: PUSH1 0x20
00002096: ADD
00002097: DUP3
00002098: DUP1
00002099: SLOAD
0000209a: PUSH2 0x20a2
0000209d: SWAP1
0000209e: PUSH2 0x396c
000020a1: JUMP
000020a2: JUMPDEST
000020a3: DUP1
000020a4: ISZERO
000020a5: PUSH2 0x20ef
000020a8: JUMPI
000020a9: DUP1
000020aa: PUSH1 0x1f
000020ac: LT
000020ad: PUSH2 0x20c4
000020b0: JUMPI
000020b1: PUSH2 0x0100
000020b4: DUP1
000020b5: DUP4
000020b6: SLOAD
000020b7: DIV
000020b8: MUL
000020b9: DUP4
000020ba: MSTORE
000020bb: SWAP2
000020bc: PUSH1 0x20
000020be: ADD
000020bf: SWAP2
000020c0: PUSH2 0x20ef
000020c3: JUMP
000020c4: JUMPDEST
000020c5: DUP3
000020c6: ADD
000020c7: SWAP2
000020c8: SWAP1
000020c9: PUSH1 0x00
000020cb: MSTORE
000020cc: PUSH1 0x20
000020ce: PUSH1 0x00
000020d0: KECCAK256
000020d1: SWAP1
000020d2: JUMPDEST
000020d3: DUP2
000020d4: SLOAD
000020d5: DUP2
000020d6: MSTORE
000020d7: SWAP1
000020d8: PUSH1 0x01
000020da: ADD
000020db: SWAP1
000020dc: PUSH1 0x20
000020de: ADD
000020df: DUP1
000020e0: DUP4
000020e1: GT
000020e2: PUSH2 0x20d2
000020e5: JUMPI
000020e6: DUP3
000020e7: SWAP1
000020e8: SUB
000020e9: PUSH1 0x1f
000020eb: AND
000020ec: DUP3
000020ed: ADD
000020ee: SWAP2
000020ef: JUMPDEST
000020f0: POP
000020f1: POP
000020f2: POP
000020f3: SWAP2
000020f4: DUP4
000020f5: MSTORE
000020f6: POP
000020f7: POP
000020f8: PUSH1 0x20
000020fa: ADD
000020fb: PUSH1 0x0c
000020fd: PUSH2 0x2107
00002100: PUSH1 0x01
00002102: DUP11
00002103: PUSH2 0x3929
00002106: JUMP
00002107: JUMPDEST
00002108: DUP2
00002109: SLOAD
0000210a: DUP2
0000210b: LT
0000210c: PUSH2 0x2117
0000210f: JUMPI
00002110: PUSH2 0x2117
00002113: PUSH2 0x3a02
00002116: JUMP
00002117: JUMPDEST
00002118: SWAP1
00002119: PUSH1 0x00
0000211b: MSTORE
0000211c: PUSH1 0x20
0000211e: PUSH1 0x00
00002120: KECCAK256
00002121: SWAP1
00002122: PUSH1 0x04
00002124: MUL
00002125: ADD
00002126: PUSH1 0x00
00002128: ADD
00002129: DUP1
0000212a: SLOAD
0000212b: PUSH2 0x2133
0000212e: SWAP1
0000212f: PUSH2 0x396c
00002132: JUMP
00002133: JUMPDEST
00002134: DUP1
00002135: PUSH1 0x1f
00002137: ADD
00002138: PUSH1 0x20
0000213a: DUP1
0000213b: SWAP2
0000213c: DIV
0000213d: MUL
0000213e: PUSH1 0x20
00002140: ADD
00002141: PUSH1 0x40
00002143: MLOAD
00002144: SWAP1
00002145: DUP2
00002146: ADD
00002147: PUSH1 0x40
00002149: MSTORE
0000214a: DUP1
0000214b: SWAP3
0000214c: SWAP2
0000214d: SWAP1
0000214e: DUP2
0000214f: DUP2
00002150: MSTORE
00002151: PUSH1 0x20
00002153: ADD
00002154: DUP3
00002155: DUP1
00002156: SLOAD
00002157: PUSH2 0x215f
0000215a: SWAP1
0000215b: PUSH2 0x396c
0000215e: JUMP
0000215f: JUMPDEST
00002160: DUP1
00002161: ISZERO
00002162: PUSH2 0x21ac
00002165: JUMPI
00002166: DUP1
00002167: PUSH1 0x1f
00002169: LT
0000216a: PUSH2 0x2181
0000216d: JUMPI
0000216e: PUSH2 0x0100
00002171: DUP1
00002172: DUP4
00002173: SLOAD
00002174: DIV
00002175: MUL
00002176: DUP4
00002177: MSTORE
00002178: SWAP2
00002179: PUSH1 0x20
0000217b: ADD
0000217c: SWAP2
0000217d: PUSH2 0x21ac
00002180: JUMP
00002181: JUMPDEST
00002182: DUP3
00002183: ADD
00002184: SWAP2
00002185: SWAP1
00002186: PUSH1 0x00
00002188: MSTORE
00002189: PUSH1 0x20
0000218b: PUSH1 0x00
0000218d: KECCAK256
0000218e: SWAP1
0000218f: JUMPDEST
00002190: DUP2
00002191: SLOAD
00002192: DUP2
00002193: MSTORE
00002194: SWAP1
00002195: PUSH1 0x01
00002197: ADD
00002198: SWAP1
00002199: PUSH1 0x20
0000219b: ADD
0000219c: DUP1
0000219d: DUP4
0000219e: GT
0000219f: PUSH2 0x218f
000021a2: JUMPI
000021a3: DUP3
000021a4: SWAP1
000021a5: SUB
000021a6: PUSH1 0x1f
000021a8: AND
000021a9: DUP3
000021aa: ADD
000021ab: SWAP2
000021ac: JUMPDEST
000021ad: POP
000021ae: POP
000021af: POP
000021b0: SWAP2
000021b1: DUP4
000021b2: MSTORE
000021b3: POP
000021b4: POP
000021b5: PUSH1 0x20
000021b7: ADD
000021b8: PUSH1 0x0c
000021ba: PUSH2 0x21c4
000021bd: PUSH1 0x01
000021bf: DUP10
000021c0: PUSH2 0x3929
000021c3: JUMP
000021c4: JUMPDEST
000021c5: DUP2
000021c6: SLOAD
000021c7: DUP2
000021c8: LT
000021c9: PUSH2 0x21d4
000021cc: JUMPI
000021cd: PUSH2 0x21d4
000021d0: PUSH2 0x3a02
000021d3: JUMP
000021d4: JUMPDEST
000021d5: SWAP1
000021d6: PUSH1 0x00
000021d8: MSTORE
000021d9: PUSH1 0x20
000021db: PUSH1 0x00
000021dd: KECCAK256
000021de: SWAP1
000021df: PUSH1 0x04
000021e1: MUL
000021e2: ADD
000021e3: PUSH1 0x00
000021e5: ADD
000021e6: DUP1
000021e7: SLOAD
000021e8: PUSH2 0x21f0
000021eb: SWAP1
000021ec: PUSH2 0x396c
000021ef: JUMP
000021f0: JUMPDEST
000021f1: DUP1
000021f2: PUSH1 0x1f
000021f4: ADD
000021f5: PUSH1 0x20
000021f7: DUP1
000021f8: SWAP2
000021f9: DIV
000021fa: MUL
000021fb: PUSH1 0x20
000021fd: ADD
000021fe: PUSH1 0x40
00002200: MLOAD
00002201: SWAP1
00002202: DUP2
00002203: ADD
00002204: PUSH1 0x40
00002206: MSTORE
00002207: DUP1
00002208: SWAP3
00002209: SWAP2
0000220a: SWAP1
0000220b: DUP2
0000220c: DUP2
0000220d: MSTORE
0000220e: PUSH1 0x20
00002210: ADD
00002211: DUP3
00002212: DUP1
00002213: SLOAD
00002214: PUSH2 0x221c
00002217: SWAP1
00002218: PUSH2 0x396c
0000221b: JUMP
0000221c: JUMPDEST
0000221d: DUP1
0000221e: ISZERO
0000221f: PUSH2 0x2269
00002222: JUMPI
00002223: DUP1
00002224: PUSH1 0x1f
00002226: LT
00002227: PUSH2 0x223e
0000222a: JUMPI
0000222b: PUSH2 0x0100
0000222e: DUP1
0000222f: DUP4
00002230: SLOAD
00002231: DIV
00002232: MUL
00002233: DUP4
00002234: MSTORE
00002235: SWAP2
00002236: PUSH1 0x20
00002238: ADD
00002239: SWAP2
0000223a: PUSH2 0x2269
0000223d: JUMP
0000223e: JUMPDEST
0000223f: DUP3
00002240: ADD
00002241: SWAP2
00002242: SWAP1
00002243: PUSH1 0x00
00002245: MSTORE
00002246: PUSH1 0x20
00002248: PUSH1 0x00
0000224a: KECCAK256
0000224b: SWAP1
0000224c: JUMPDEST
0000224d: DUP2
0000224e: SLOAD
0000224f: DUP2
00002250: MSTORE
00002251: SWAP1
00002252: PUSH1 0x01
00002254: ADD
00002255: SWAP1
00002256: PUSH1 0x20
00002258: ADD
00002259: DUP1
0000225a: DUP4
0000225b: GT
0000225c: PUSH2 0x224c
0000225f: JUMPI
00002260: DUP3
00002261: SWAP1
00002262: SUB
00002263: PUSH1 0x1f
00002265: AND
00002266: DUP3
00002267: ADD
00002268: SWAP2
00002269: JUMPDEST
0000226a: POP
0000226b: POP
0000226c: POP
0000226d: SWAP2
0000226e: SWAP1
0000226f: SWAP3
00002270: MSTORE
00002271: POP
00002272: POP
00002273: PUSH1 0x09
00002275: SLOAD
00002276: SWAP1
00002277: SWAP2
00002278: POP
00002279: PUSH1 0x00
0000227b: SWAP1
0000227c: PUSH1 0x01
0000227e: PUSH1 0x01
00002280: PUSH1 0xa0
00002282: SHL
00002283: SUB
00002284: AND
00002285: PUSH4 0x32cd8191
0000228a: PUSH1 0x0c
0000228c: PUSH2 0x2296
0000228f: PUSH1 0x01
00002291: DUP13
00002292: PUSH2 0x3929
00002295: JUMP
00002296: JUMPDEST
00002297: DUP2
00002298: SLOAD
00002299: DUP2
0000229a: LT
0000229b: PUSH2 0x22a6
0000229e: JUMPI
0000229f: PUSH2 0x22a6
000022a2: PUSH2 0x3a02
000022a5: JUMP
000022a6: JUMPDEST
000022a7: SWAP1
000022a8: PUSH1 0x00
000022aa: MSTORE
000022ab: PUSH1 0x20
000022ad: PUSH1 0x00
000022af: KECCAK256
000022b0: SWAP1
000022b1: PUSH1 0x04
000022b3: MUL
000022b4: ADD
000022b5: PUSH1 0x01
000022b7: ADD
000022b8: SLOAD
000022b9: PUSH1 0x0c
000022bb: PUSH1 0x01
000022bd: DUP12
000022be: PUSH2 0x22c7
000022c1: SWAP2
000022c2: SWAP1
000022c3: PUSH2 0x3929
000022c6: JUMP
000022c7: JUMPDEST
000022c8: DUP2
000022c9: SLOAD
000022ca: DUP2
000022cb: LT
000022cc: PUSH2 0x22d7
000022cf: JUMPI
000022d0: PUSH2 0x22d7
000022d3: PUSH2 0x3a02
000022d6: JUMP
000022d7: JUMPDEST
000022d8: SWAP1
000022d9: PUSH1 0x00
000022db: MSTORE
000022dc: PUSH1 0x20
000022de: PUSH1 0x00
000022e0: KECCAK256
000022e1: SWAP1
000022e2: PUSH1 0x04
000022e4: MUL
000022e5: ADD
000022e6: PUSH1 0x01
000022e8: ADD
000022e9: SLOAD
000022ea: PUSH1 0x0c
000022ec: PUSH1 0x01
000022ee: DUP12
000022ef: PUSH2 0x22f8
000022f2: SWAP2
000022f3: SWAP1
000022f4: PUSH2 0x3929
000022f7: JUMP
000022f8: JUMPDEST
000022f9: DUP2
000022fa: SLOAD
000022fb: DUP2
000022fc: LT
000022fd: PUSH2 0x2308
00002300: JUMPI
00002301: PUSH2 0x2308
00002304: PUSH2 0x3a02
00002307: JUMP
00002308: JUMPDEST
00002309: SWAP1
0000230a: PUSH1 0x00
0000230c: MSTORE
0000230d: PUSH1 0x20
0000230f: PUSH1 0x00
00002311: KECCAK256
00002312: SWAP1
00002313: PUSH1 0x04
00002315: MUL
00002316: ADD
00002317: PUSH1 0x01
00002319: ADD
0000231a: SLOAD
0000231b: PUSH1 0x40
0000231d: MLOAD
0000231e: DUP5
0000231f: PUSH4 0xffffffff
00002324: AND
00002325: PUSH1 0xe0
00002327: SHL
00002328: DUP2
00002329: MSTORE
0000232a: PUSH1 0x04
0000232c: ADD
0000232d: PUSH2 0x2349
00002330: SWAP4
00002331: SWAP3
00002332: SWAP2
00002333: SWAP1
00002334: SWAP3
00002335: DUP4
00002336: MSTORE
00002337: PUSH1 0x20
00002339: DUP4
0000233a: ADD
0000233b: SWAP2
0000233c: SWAP1
0000233d: SWAP2
0000233e: MSTORE
0000233f: PUSH1 0x40
00002341: DUP3
00002342: ADD
00002343: MSTORE
00002344: PUSH1 0x60
00002346: ADD
00002347: SWAP1
00002348: JUMP
00002349: JUMPDEST
0000234a: PUSH1 0x20
0000234c: PUSH1 0x40
0000234e: MLOAD
0000234f: DUP1
00002350: DUP4
00002351: SUB
00002352: DUP2
00002353: DUP7
00002354: DUP1
00002355: EXTCODESIZE
00002356: ISZERO
00002357: DUP1
00002358: ISZERO
00002359: PUSH2 0x2361
0000235c: JUMPI
0000235d: PUSH1 0x00
0000235f: DUP1
00002360: REVERT
00002361: JUMPDEST
00002362: POP
00002363: GAS
00002364: STATICCALL
00002365: ISZERO
00002366: DUP1
00002367: ISZERO
00002368: PUSH2 0x2375
0000236b: JUMPI
0000236c: RETURNDATASIZE
0000236d: PUSH1 0x00
0000236f: DUP1
00002370: RETURNDATACOPY
00002371: RETURNDATASIZE
00002372: PUSH1 0x00
00002374: REVERT
00002375: JUMPDEST
00002376: POP
00002377: POP
00002378: POP
00002379: POP
0000237a: PUSH1 0x40
0000237c: MLOAD
0000237d: RETURNDATASIZE
0000237e: PUSH1 0x1f
00002380: NOT
00002381: PUSH1 0x1f
00002383: DUP3
00002384: ADD
00002385: AND
00002386: DUP3
00002387: ADD
00002388: DUP1
00002389: PUSH1 0x40
0000238b: MSTORE
0000238c: POP
0000238d: DUP2
0000238e: ADD
0000238f: SWAP1
00002390: PUSH2 0x2399
00002393: SWAP2
00002394: SWAP1
00002395: PUSH2 0x3336
00002398: JUMP
00002399: JUMPDEST
0000239a: PUSH2 0x23a4
0000239d: SWAP1
0000239e: PUSH1 0x01
000023a0: PUSH2 0x38de
000023a3: JUMP
000023a4: JUMPDEST
000023a5: PUSH1 0x09
000023a7: SLOAD
000023a8: DUP7
000023a9: MLOAD
000023aa: SWAP2
000023ab: SWAP3
000023ac: POP
000023ad: PUSH1 0x60
000023af: SWAP2
000023b0: DUP3
000023b1: SWAP2
000023b2: DUP3
000023b3: SWAP2
000023b4: DUP3
000023b5: SWAP2
000023b6: DUP3
000023b7: SWAP2
000023b8: DUP3
000023b9: SWAP2
000023ba: PUSH1 0x01
000023bc: PUSH1 0x01
000023be: PUSH1 0xa0
000023c0: SHL
000023c1: SUB
000023c2: AND
000023c3: SWAP1
000023c4: PUSH4 0x2c147725
000023c9: SWAP1
000023ca: DUP11
000023cb: SWAP1
000023cc: PUSH1 0xff
000023ce: AND
000023cf: PUSH1 0x03
000023d1: DUP2
000023d2: LT
000023d3: PUSH2 0x23de
000023d6: JUMPI
000023d7: PUSH2 0x23de
000023da: PUSH2 0x3a02
000023dd: JUMP
000023de: JUMPDEST
000023df: PUSH1 0x20
000023e1: MUL
000023e2: ADD
000023e3: MLOAD
000023e4: DUP11
000023e5: DUP15
000023e6: PUSH1 0x01
000023e8: PUSH1 0x20
000023ea: MUL
000023eb: ADD
000023ec: MLOAD
000023ed: PUSH1 0xff
000023ef: AND
000023f0: PUSH1 0x03
000023f2: DUP2
000023f3: LT
000023f4: PUSH2 0x23ff
000023f7: JUMPI
000023f8: PUSH2 0x23ff
000023fb: PUSH2 0x3a02
000023fe: JUMP
000023ff: JUMPDEST
00002400: PUSH1 0x20
00002402: MUL
00002403: ADD
00002404: MLOAD
00002405: PUSH1 0x40
00002407: DUP16
00002408: ADD
00002409: MLOAD
0000240a: DUP13
0000240b: SWAP1
0000240c: PUSH1 0xff
0000240e: AND
0000240f: PUSH1 0x03
00002411: DUP2
00002412: LT
00002413: PUSH2 0x241e
00002416: JUMPI
00002417: PUSH2 0x241e
0000241a: PUSH2 0x3a02
0000241d: JUMP
0000241e: JUMPDEST
0000241f: PUSH1 0x20
00002421: MUL
00002422: ADD
00002423: MLOAD
00002424: PUSH1 0x40
00002426: MLOAD
00002427: DUP5
00002428: PUSH4 0xffffffff
0000242d: AND
0000242e: PUSH1 0xe0
00002430: SHL
00002431: DUP2
00002432: MSTORE
00002433: PUSH1 0x04
00002435: ADD
00002436: PUSH2 0x2441
00002439: SWAP4
0000243a: SWAP3
0000243b: SWAP2
0000243c: SWAP1
0000243d: PUSH2 0x36a8
00002440: JUMP
00002441: JUMPDEST
00002442: PUSH1 0x00
00002444: PUSH1 0x40
00002446: MLOAD
00002447: DUP1
00002448: DUP4
00002449: SUB
0000244a: DUP2
0000244b: PUSH1 0x00
0000244d: DUP8
0000244e: DUP1
0000244f: EXTCODESIZE
00002450: ISZERO
00002451: DUP1
00002452: ISZERO
00002453: PUSH2 0x245b
00002456: JUMPI
00002457: PUSH1 0x00
00002459: DUP1
0000245a: REVERT
0000245b: JUMPDEST
0000245c: POP
0000245d: GAS
0000245e: CALL
0000245f: ISZERO
00002460: DUP1
00002461: ISZERO
00002462: PUSH2 0x246f
00002465: JUMPI
00002466: RETURNDATASIZE
00002467: PUSH1 0x00
00002469: DUP1
0000246a: RETURNDATACOPY
0000246b: RETURNDATASIZE
0000246c: PUSH1 0x00
0000246e: REVERT
0000246f: JUMPDEST
00002470: POP
00002471: POP
00002472: POP
00002473: POP
00002474: PUSH1 0x40
00002476: MLOAD
00002477: RETURNDATASIZE
00002478: PUSH1 0x00
0000247a: DUP3
0000247b: RETURNDATACOPY
0000247c: PUSH1 0x1f
0000247e: RETURNDATASIZE
0000247f: SWAP1
00002480: DUP2
00002481: ADD
00002482: PUSH1 0x1f
00002484: NOT
00002485: AND
00002486: DUP3
00002487: ADD
00002488: PUSH1 0x40
0000248a: MSTORE
0000248b: PUSH2 0x2497
0000248e: SWAP2
0000248f: SWAP1
00002490: DUP2
00002491: ADD
00002492: SWAP1
00002493: PUSH2 0x320d
00002496: JUMP
00002497: JUMPDEST
00002498: PUSH1 0x09
0000249a: SLOAD
0000249b: SWAP2
0000249c: SWAP9
0000249d: POP
0000249e: SWAP7
0000249f: POP
000024a0: PUSH1 0x01
000024a2: PUSH1 0x01
000024a4: PUSH1 0xa0
000024a6: SHL
000024a7: SUB
000024a8: AND
000024a9: SWAP1
000024aa: POP
000024ab: PUSH4 0x2c147725
000024b0: DUP10
000024b1: DUP14
000024b2: PUSH1 0x03
000024b4: PUSH1 0x20
000024b6: MUL
000024b7: ADD
000024b8: MLOAD
000024b9: PUSH1 0xff
000024bb: AND
000024bc: PUSH1 0x03
000024be: DUP2
000024bf: LT
000024c0: PUSH2 0x24cb
000024c3: JUMPI
000024c4: PUSH2 0x24cb
000024c7: PUSH2 0x3a02
000024ca: JUMP
000024cb: JUMPDEST
000024cc: PUSH1 0x20
000024ce: MUL
000024cf: ADD
000024d0: MLOAD
000024d1: PUSH1 0x80
000024d3: DUP15
000024d4: ADD
000024d5: MLOAD
000024d6: DUP12
000024d7: SWAP1
000024d8: PUSH1 0xff
000024da: AND
000024db: PUSH1 0x03
000024dd: DUP2
000024de: LT
000024df: PUSH2 0x24ea
000024e2: JUMPI
000024e3: PUSH2 0x24ea
000024e6: PUSH2 0x3a02
000024e9: JUMP
000024ea: JUMPDEST
000024eb: PUSH1 0x20
000024ed: MUL
000024ee: ADD
000024ef: MLOAD
000024f0: PUSH1 0xa0
000024f2: DUP16
000024f3: ADD
000024f4: MLOAD
000024f5: DUP13
000024f6: SWAP1
000024f7: PUSH1 0xff
000024f9: AND
000024fa: PUSH1 0x03
000024fc: DUP2
000024fd: LT
000024fe: PUSH2 0x2509
00002501: JUMPI
00002502: PUSH2 0x2509
00002505: PUSH2 0x3a02
00002508: JUMP
00002509: JUMPDEST
0000250a: PUSH1 0x20
0000250c: MUL
0000250d: ADD
0000250e: MLOAD
0000250f: PUSH1 0x40
00002511: MLOAD
00002512: DUP5
00002513: PUSH4 0xffffffff
00002518: AND
00002519: PUSH1 0xe0
0000251b: SHL
0000251c: DUP2
0000251d: MSTORE
0000251e: PUSH1 0x04
00002520: ADD
00002521: PUSH2 0x252c
00002524: SWAP4
00002525: SWAP3
00002526: SWAP2
00002527: SWAP1
00002528: PUSH2 0x375c
0000252b: JUMP
0000252c: JUMPDEST
0000252d: PUSH1 0x00
0000252f: PUSH1 0x40
00002531: MLOAD
00002532: DUP1
00002533: DUP4
00002534: SUB
00002535: DUP2
00002536: PUSH1 0x00
00002538: DUP8
00002539: DUP1
0000253a: EXTCODESIZE
0000253b: ISZERO
0000253c: DUP1
0000253d: ISZERO
0000253e: PUSH2 0x2546
00002541: JUMPI
00002542: PUSH1 0x00
00002544: DUP1
00002545: REVERT
00002546: JUMPDEST
00002547: POP
00002548: GAS
00002549: CALL
0000254a: ISZERO
0000254b: DUP1
0000254c: ISZERO
0000254d: PUSH2 0x255a
00002550: JUMPI
00002551: RETURNDATASIZE
00002552: PUSH1 0x00
00002554: DUP1
00002555: RETURNDATACOPY
00002556: RETURNDATASIZE
00002557: PUSH1 0x00
00002559: REVERT
0000255a: JUMPDEST
0000255b: POP
0000255c: POP
0000255d: POP
0000255e: POP
0000255f: PUSH1 0x40
00002561: MLOAD
00002562: RETURNDATASIZE
00002563: PUSH1 0x00
00002565: DUP3
00002566: RETURNDATACOPY
00002567: PUSH1 0x1f
00002569: RETURNDATASIZE
0000256a: SWAP1
0000256b: DUP2
0000256c: ADD
0000256d: PUSH1 0x1f
0000256f: NOT
00002570: AND
00002571: DUP3
00002572: ADD
00002573: PUSH1 0x40
00002575: MSTORE
00002576: PUSH2 0x2582
00002579: SWAP2
0000257a: SWAP1
0000257b: DUP2
0000257c: ADD
0000257d: SWAP1
0000257e: PUSH2 0x320d
00002581: JUMP
00002582: JUMPDEST
00002583: PUSH1 0x09
00002585: SLOAD
00002586: SWAP2
00002587: SWAP7
00002588: POP
00002589: SWAP5
0000258a: POP
0000258b: PUSH1 0x01
0000258d: PUSH1 0x01
0000258f: PUSH1 0xa0
00002591: SHL
00002592: SUB
00002593: AND
00002594: SWAP1
00002595: POP
00002596: PUSH4 0x2c147725
0000259b: DUP10
0000259c: DUP14
0000259d: PUSH1 0x06
0000259f: PUSH1 0x20
000025a1: MUL
000025a2: ADD
000025a3: MLOAD
000025a4: PUSH1 0xff
000025a6: AND
000025a7: PUSH1 0x03
000025a9: DUP2
000025aa: LT
000025ab: PUSH2 0x25b6
000025ae: JUMPI
000025af: PUSH2 0x25b6
000025b2: PUSH2 0x3a02
000025b5: JUMP
000025b6: JUMPDEST
000025b7: PUSH1 0x20
000025b9: MUL
000025ba: ADD
000025bb: MLOAD
000025bc: PUSH1 0xe0
000025be: DUP15
000025bf: ADD
000025c0: MLOAD
000025c1: DUP12
000025c2: SWAP1
000025c3: PUSH1 0xff
000025c5: AND
000025c6: PUSH1 0x03
000025c8: DUP2
000025c9: LT
000025ca: PUSH2 0x25d5
000025cd: JUMPI
000025ce: PUSH2 0x25d5
000025d1: PUSH2 0x3a02
000025d4: JUMP
000025d5: JUMPDEST
000025d6: PUSH1 0x20
000025d8: MUL
000025d9: ADD
000025da: MLOAD
000025db: PUSH2 0x0100
000025de: DUP16
000025df: ADD
000025e0: MLOAD
000025e1: DUP13
000025e2: SWAP1
000025e3: PUSH1 0xff
000025e5: AND
000025e6: PUSH1 0x03
000025e8: DUP2
000025e9: LT
000025ea: PUSH2 0x25f5
000025ed: JUMPI
000025ee: PUSH2 0x25f5
000025f1: PUSH2 0x3a02
000025f4: JUMP
000025f5: JUMPDEST
000025f6: PUSH1 0x20
000025f8: MUL
000025f9: ADD
000025fa: MLOAD
000025fb: PUSH1 0x40
000025fd: MLOAD
000025fe: DUP5
000025ff: PUSH4 0xffffffff
00002604: AND
00002605: PUSH1 0xe0
00002607: SHL
00002608: DUP2
00002609: MSTORE
0000260a: PUSH1 0x04
0000260c: ADD
0000260d: PUSH2 0x2618
00002610: SWAP4
00002611: SWAP3
00002612: SWAP2
00002613: SWAP1
00002614: PUSH2 0x3715
00002617: JUMP
00002618: JUMPDEST
00002619: PUSH1 0x00
0000261b: PUSH1 0x40
0000261d: MLOAD
0000261e: DUP1
0000261f: DUP4
00002620: SUB
00002621: DUP2
00002622: PUSH1 0x00
00002624: DUP8
00002625: DUP1
00002626: EXTCODESIZE
00002627: ISZERO
00002628: DUP1
00002629: ISZERO
0000262a: PUSH2 0x2632
0000262d: JUMPI
0000262e: PUSH1 0x00
00002630: DUP1
00002631: REVERT
00002632: JUMPDEST
00002633: POP
00002634: GAS
00002635: CALL
00002636: ISZERO
00002637: DUP1
00002638: ISZERO
00002639: PUSH2 0x2646
0000263c: JUMPI
0000263d: RETURNDATASIZE
0000263e: PUSH1 0x00
00002640: DUP1
00002641: RETURNDATACOPY
00002642: RETURNDATASIZE
00002643: PUSH1 0x00
00002645: REVERT
00002646: JUMPDEST
00002647: POP
00002648: POP
00002649: POP
0000264a: POP
0000264b: PUSH1 0x40
0000264d: MLOAD
0000264e: RETURNDATASIZE
0000264f: PUSH1 0x00
00002651: DUP3
00002652: RETURNDATACOPY
00002653: PUSH1 0x1f
00002655: RETURNDATASIZE
00002656: SWAP1
00002657: DUP2
00002658: ADD
00002659: PUSH1 0x1f
0000265b: NOT
0000265c: AND
0000265d: DUP3
0000265e: ADD
0000265f: PUSH1 0x40
00002661: MSTORE
00002662: PUSH2 0x266e
00002665: SWAP2
00002666: SWAP1
00002667: DUP2
00002668: ADD
00002669: SWAP1
0000266a: PUSH2 0x320d
0000266d: JUMP
0000266e: JUMPDEST
0000266f: PUSH1 0x09
00002671: SLOAD
00002672: PUSH1 0x40
00002674: MLOAD
00002675: PUSH4 0x0fee860f
0000267a: PUSH1 0xe1
0000267c: SHL
0000267d: DUP2
0000267e: MSTORE
0000267f: PUSH1 0x05
00002681: PUSH1 0x04
00002683: DUP3
00002684: ADD
00002685: MSTORE
00002686: SWAP3
00002687: SWAP6
00002688: POP
00002689: SWAP1
0000268a: SWAP4
0000268b: POP
0000268c: PUSH1 0x01
0000268e: PUSH1 0x01
00002690: PUSH1 0xa0
00002692: SHL
00002693: SUB
00002694: AND
00002695: SWAP2
00002696: POP
00002697: PUSH4 0x1fdd0c1e
0000269c: SWAP1
0000269d: PUSH1 0x24
0000269f: ADD
000026a0: PUSH1 0x00
000026a2: PUSH1 0x40
000026a4: MLOAD
000026a5: DUP1
000026a6: DUP4
000026a7: SUB
000026a8: DUP2
000026a9: PUSH1 0x00
000026ab: DUP8
000026ac: DUP1
000026ad: EXTCODESIZE
000026ae: ISZERO
000026af: DUP1
000026b0: ISZERO
000026b1: PUSH2 0x26b9
000026b4: JUMPI
000026b5: PUSH1 0x00
000026b7: DUP1
000026b8: REVERT
000026b9: JUMPDEST
000026ba: POP
000026bb: GAS
000026bc: CALL
000026bd: ISZERO
000026be: DUP1
000026bf: ISZERO
000026c0: PUSH2 0x26cd
000026c3: JUMPI
000026c4: RETURNDATASIZE
000026c5: PUSH1 0x00
000026c7: DUP1
000026c8: RETURNDATACOPY
000026c9: RETURNDATASIZE
000026ca: PUSH1 0x00
000026cc: REVERT
000026cd: JUMPDEST
000026ce: POP
000026cf: POP
000026d0: POP
000026d1: POP
000026d2: PUSH1 0x40
000026d4: MLOAD
000026d5: RETURNDATASIZE
000026d6: PUSH1 0x00
000026d8: DUP3
000026d9: RETURNDATACOPY
000026da: PUSH1 0x1f
000026dc: RETURNDATASIZE
000026dd: SWAP1
000026de: DUP2
000026df: ADD
000026e0: PUSH1 0x1f
000026e2: NOT
000026e3: AND
000026e4: DUP3
000026e5: ADD
000026e6: PUSH1 0x40
000026e8: MSTORE
000026e9: PUSH2 0x26f5
000026ec: SWAP2
000026ed: SWAP1
000026ee: DUP2
000026ef: ADD
000026f0: SWAP1
000026f1: PUSH2 0x31d8
000026f4: JUMP
000026f5: JUMPDEST
000026f6: PUSH1 0x09
000026f8: SLOAD
000026f9: PUSH1 0x40
000026fb: MLOAD
000026fc: PUSH4 0x0fee860f
00002701: PUSH1 0xe1
00002703: SHL
00002704: DUP2
00002705: MSTORE
00002706: PUSH1 0x11
00002708: PUSH1 0x04
0000270a: DUP3
0000270b: ADD
0000270c: MSTORE
0000270d: PUSH1 0x01
0000270f: PUSH1 0x01
00002711: PUSH1 0xa0
00002713: SHL
00002714: SUB
00002715: SWAP1
00002716: SWAP2
00002717: AND
00002718: SWAP1
00002719: PUSH4 0x1fdd0c1e
0000271e: SWAP1
0000271f: PUSH1 0x24
00002721: ADD
00002722: PUSH1 0x00
00002724: PUSH1 0x40
00002726: MLOAD
00002727: DUP1
00002728: DUP4
00002729: SUB
0000272a: DUP2
0000272b: PUSH1 0x00
0000272d: DUP8
0000272e: DUP1
0000272f: EXTCODESIZE
00002730: ISZERO
00002731: DUP1
00002732: ISZERO
00002733: PUSH2 0x273b
00002736: JUMPI
00002737: PUSH1 0x00
00002739: DUP1
0000273a: REVERT
0000273b: JUMPDEST
0000273c: POP
0000273d: GAS
0000273e: CALL
0000273f: ISZERO
00002740: DUP1
00002741: ISZERO
00002742: PUSH2 0x274f
00002745: JUMPI
00002746: RETURNDATASIZE
00002747: PUSH1 0x00
00002749: DUP1
0000274a: RETURNDATACOPY
0000274b: RETURNDATASIZE
0000274c: PUSH1 0x00
0000274e: REVERT
0000274f: JUMPDEST
00002750: POP
00002751: POP
00002752: POP
00002753: POP
00002754: PUSH1 0x40
00002756: MLOAD
00002757: RETURNDATASIZE
00002758: PUSH1 0x00
0000275a: DUP3
0000275b: RETURNDATACOPY
0000275c: PUSH1 0x1f
0000275e: RETURNDATASIZE
0000275f: SWAP1
00002760: DUP2
00002761: ADD
00002762: PUSH1 0x1f
00002764: NOT
00002765: AND
00002766: DUP3
00002767: ADD
00002768: PUSH1 0x40
0000276a: MSTORE
0000276b: PUSH2 0x2777
0000276e: SWAP2
0000276f: SWAP1
00002770: DUP2
00002771: ADD
00002772: SWAP1
00002773: PUSH2 0x31d8
00002776: JUMP
00002777: JUMPDEST
00002778: PUSH1 0x09
0000277a: SLOAD
0000277b: PUSH1 0x40
0000277d: MLOAD
0000277e: PUSH4 0x0fee860f
00002783: PUSH1 0xe1
00002785: SHL
00002786: DUP2
00002787: MSTORE
00002788: PUSH1 0x11
0000278a: PUSH1 0x04
0000278c: DUP3
0000278d: ADD
0000278e: MSTORE
0000278f: PUSH1 0x01
00002791: PUSH1 0x01
00002793: PUSH1 0xa0
00002795: SHL
00002796: SUB
00002797: SWAP1
00002798: SWAP2
00002799: AND
0000279a: SWAP1
0000279b: PUSH4 0x1fdd0c1e
000027a0: SWAP1
000027a1: PUSH1 0x24
000027a3: ADD
000027a4: PUSH1 0x00
000027a6: PUSH1 0x40
000027a8: MLOAD
000027a9: DUP1
000027aa: DUP4
000027ab: SUB
000027ac: DUP2
000027ad: PUSH1 0x00
000027af: DUP8
000027b0: DUP1
000027b1: EXTCODESIZE
000027b2: ISZERO
000027b3: DUP1
000027b4: ISZERO
000027b5: PUSH2 0x27bd
000027b8: JUMPI
000027b9: PUSH1 0x00
000027bb: DUP1
000027bc: REVERT
000027bd: JUMPDEST
000027be: POP
000027bf: GAS
000027c0: CALL
000027c1: ISZERO
000027c2: DUP1
000027c3: ISZERO
000027c4: PUSH2 0x27d1
000027c7: JUMPI
000027c8: RETURNDATASIZE
000027c9: PUSH1 0x00
000027cb: DUP1
000027cc: RETURNDATACOPY
000027cd: RETURNDATASIZE
000027ce: PUSH1 0x00
000027d0: REVERT
000027d1: JUMPDEST
000027d2: POP
000027d3: POP
000027d4: POP
000027d5: POP
000027d6: PUSH1 0x40
000027d8: MLOAD
000027d9: RETURNDATASIZE
000027da: PUSH1 0x00
000027dc: DUP3
000027dd: RETURNDATACOPY
000027de: PUSH1 0x1f
000027e0: RETURNDATASIZE
000027e1: SWAP1
000027e2: DUP2
000027e3: ADD
000027e4: PUSH1 0x1f
000027e6: NOT
000027e7: AND
000027e8: DUP3
000027e9: ADD
000027ea: PUSH1 0x40
000027ec: MSTORE
000027ed: PUSH2 0x27f9
000027f0: SWAP2
000027f1: SWAP1
000027f2: DUP2
000027f3: ADD
000027f4: SWAP1
000027f5: PUSH2 0x31d8
000027f8: JUMP
000027f9: JUMPDEST
000027fa: DUP9
000027fb: DUP8
000027fc: DUP7
000027fd: DUP11
000027fe: DUP10
000027ff: DUP9
00002800: PUSH1 0x40
00002802: MLOAD
00002803: PUSH1 0x20
00002805: ADD
00002806: PUSH2 0x2817
00002809: SWAP10
0000280a: SWAP9
0000280b: SWAP8
0000280c: SWAP7
0000280d: SWAP6
0000280e: SWAP5
0000280f: SWAP4
00002810: SWAP3
00002811: SWAP2
00002812: SWAP1
00002813: PUSH2 0x34d3
00002816: JUMP
00002817: JUMPDEST
00002818: PUSH1 0x40
0000281a: DUP1
0000281b: MLOAD
0000281c: PUSH1 0x1f
0000281e: NOT
0000281f: DUP2
00002820: DUP5
00002821: SUB
00002822: ADD
00002823: DUP2
00002824: MSTORE
00002825: SWAP2
00002826: SWAP1
00002827: MSTORE
00002828: SWAP15
00002829: SWAP7
0000282a: SWAP14
0000282b: POP
0000282c: SWAP6
0000282d: SWAP12
0000282e: POP
0000282f: POP
00002830: POP
00002831: POP
00002832: POP
00002833: POP
00002834: POP
00002835: POP
00002836: POP
00002837: POP
00002838: POP
00002839: POP
0000283a: JUMP
0000283b: JUMPDEST
0000283c: PUSH1 0x00
0000283e: PUSH1 0x0c
00002840: PUSH2 0x284a
00002843: PUSH1 0x01
00002845: DUP5
00002846: PUSH2 0x3929
00002849: JUMP
0000284a: JUMPDEST
0000284b: DUP2
0000284c: SLOAD
0000284d: DUP2
0000284e: LT
0000284f: PUSH2 0x285a
00002852: JUMPI
00002853: PUSH2 0x285a
00002856: PUSH2 0x3a02
00002859: JUMP
0000285a: JUMPDEST
0000285b: SWAP1
0000285c: PUSH1 0x00
0000285e: MSTORE
0000285f: PUSH1 0x20
00002861: PUSH1 0x00
00002863: KECCAK256
00002864: SWAP1
00002865: PUSH1 0x04
00002867: MUL
00002868: ADD
00002869: SWAP1
0000286a: POP
0000286b: PUSH1 0x00
0000286d: PUSH1 0x0b
0000286f: SLOAD
00002870: TIMESTAMP
00002871: PUSH2 0x287a
00002874: SWAP2
00002875: SWAP1
00002876: PUSH2 0x38de
00002879: JUMP
0000287a: JUMPDEST
0000287b: PUSH1 0x03
0000287d: DUP4
0000287e: ADD
0000287f: DUP1
00002880: SLOAD
00002881: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffff00000000ffffffff
000028a2: AND
000028a3: PUSH5 0x0100000000
000028a9: PUSH4 0xffffffff
000028ae: DUP5
000028af: AND
000028b0: SWAP1
000028b1: DUP2
000028b2: MUL
000028b3: SWAP2
000028b4: SWAP1
000028b5: SWAP2
000028b6: OR
000028b7: SWAP1
000028b8: SWAP2
000028b9: SSTORE
000028ba: PUSH1 0x40
000028bc: DUP1
000028bd: MLOAD
000028be: DUP7
000028bf: DUP2
000028c0: MSTORE
000028c1: PUSH1 0x20
000028c3: DUP2
000028c4: ADD
000028c5: SWAP3
000028c6: SWAP1
000028c7: SWAP3
000028c8: MSTORE
000028c9: SWAP2
000028ca: SWAP3
000028cb: POP
000028cc: PUSH32 0xf1c0a0daabcb57fcd0a92ea86b82066536326629017d6e27da38fd8f65b8f544
000028ed: SWAP2
000028ee: ADD
000028ef: PUSH1 0x40
000028f1: MLOAD
000028f2: DUP1
000028f3: SWAP2
000028f4: SUB
000028f5: SWAP1
000028f6: LOG1
000028f7: POP
000028f8: POP
000028f9: POP
000028fa: JUMP
000028fb: JUMPDEST
000028fc: PUSH1 0x08
000028fe: SLOAD
000028ff: PUSH1 0x40
00002901: MLOAD
00002902: PUSH32 0x0640c0b800000000000000000000000000000000000000000000000000000000
00002923: DUP2
00002924: MSTORE
00002925: PUSH1 0x00
00002927: SWAP2
00002928: PUSH1 0x01
0000292a: PUSH1 0x01
0000292c: PUSH1 0xa0
0000292e: SHL
0000292f: SUB
00002930: AND
00002931: SWAP1
00002932: PUSH4 0x0640c0b8
00002937: SWAP1
00002938: PUSH2 0x2949
0000293b: SWAP1
0000293c: DUP8
0000293d: SWAP1
0000293e: DUP8
0000293f: SWAP1
00002940: DUP8
00002941: SWAP1
00002942: PUSH1 0x04
00002944: ADD
00002945: PUSH2 0x3628
00002948: JUMP
00002949: JUMPDEST
0000294a: PUSH1 0x20
0000294c: PUSH1 0x40
0000294e: MLOAD
0000294f: DUP1
00002950: DUP4
00002951: SUB
00002952: DUP2
00002953: PUSH1 0x00
00002955: DUP8
00002956: DUP1
00002957: EXTCODESIZE
00002958: ISZERO
00002959: DUP1
0000295a: ISZERO
0000295b: PUSH2 0x2963
0000295e: JUMPI
0000295f: PUSH1 0x00
00002961: DUP1
00002962: REVERT
00002963: JUMPDEST
00002964: POP
00002965: GAS
00002966: CALL
00002967: ISZERO
00002968: DUP1
00002969: ISZERO
0000296a: PUSH2 0x2977
0000296d: JUMPI
0000296e: RETURNDATASIZE
0000296f: PUSH1 0x00
00002971: DUP1
00002972: RETURNDATACOPY
00002973: RETURNDATASIZE
00002974: PUSH1 0x00
00002976: REVERT
00002977: JUMPDEST
00002978: POP
00002979: POP
0000297a: POP
0000297b: POP
0000297c: PUSH1 0x40
0000297e: MLOAD
0000297f: RETURNDATASIZE
00002980: PUSH1 0x1f
00002982: NOT
00002983: PUSH1 0x1f
00002985: DUP3
00002986: ADD
00002987: AND
00002988: DUP3
00002989: ADD
0000298a: DUP1
0000298b: PUSH1 0x40
0000298d: MSTORE
0000298e: POP
0000298f: DUP2
00002990: ADD
00002991: SWAP1
00002992: PUSH2 0x299b
00002995: SWAP2
00002996: SWAP1
00002997: PUSH2 0x3336
0000299a: JUMP
0000299b: JUMPDEST
0000299c: SWAP1
0000299d: POP
0000299e: PUSH32 0x3ed150819af981e387450beb90ec379b8b322150dbb299d492b108c59a623e4b
000029bf: DUP2
000029c0: PUSH1 0x40
000029c2: MLOAD
000029c3: PUSH2 0x29ce
000029c6: SWAP2
000029c7: DUP2
000029c8: MSTORE
000029c9: PUSH1 0x20
000029cb: ADD
000029cc: SWAP1
000029cd: JUMP
000029ce: JUMPDEST
000029cf: PUSH1 0x40
000029d1: MLOAD
000029d2: DUP1
000029d3: SWAP2
000029d4: SUB
000029d5: SWAP1
000029d6: LOG1
000029d7: POP
000029d8: POP
000029d9: POP
000029da: POP
000029db: JUMP
000029dc: JUMPDEST
000029dd: PUSH1 0x00
000029df: PUSH2 0x29ec
000029e2: PUSH1 0x07
000029e4: DUP1
000029e5: SLOAD
000029e6: PUSH1 0x01
000029e8: ADD
000029e9: SWAP1
000029ea: SSTORE
000029eb: JUMP
000029ec: JUMPDEST
000029ed: PUSH1 0x00
000029ef: PUSH2 0x29f7
000029f2: PUSH1 0x07
000029f4: SLOAD
000029f5: SWAP1
000029f6: JUMP
000029f7: JUMPDEST
000029f8: SWAP1
000029f9: POP
000029fa: PUSH2 0x06e9
000029fd: DUP4
000029fe: DUP3
000029ff: PUSH2 0x2bde
00002a02: JUMP
00002a03: JUMPDEST
00002a04: PUSH2 0x2a0e
00002a07: DUP5
00002a08: DUP5
00002a09: DUP5
00002a0a: PUSH2 0x1e51
00002a0d: JUMP
00002a0e: JUMPDEST
00002a0f: PUSH2 0x2a1a
00002a12: DUP5
00002a13: DUP5
00002a14: DUP5
00002a15: DUP5
00002a16: PUSH2 0x2d2d
00002a19: JUMP
00002a1a: JUMPDEST
00002a1b: PUSH2 0x16d5
00002a1e: JUMPI
00002a1f: PUSH1 0x40
00002a21: MLOAD
00002a22: PUSH3 0x461bcd
00002a26: PUSH1 0xe5
00002a28: SHL
00002a29: DUP2
00002a2a: MSTORE
00002a2b: PUSH1 0x20
00002a2d: PUSH1 0x04
00002a2f: DUP3
00002a30: ADD
00002a31: MSTORE
00002a32: PUSH1 0x32
00002a34: PUSH1 0x24
00002a36: DUP3
00002a37: ADD
00002a38: MSTORE
00002a39: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
00002a5a: PUSH1 0x44
00002a5c: DUP3
00002a5d: ADD
00002a5e: MSTORE
00002a5f: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000
00002a80: PUSH1 0x64
00002a82: DUP3
00002a83: ADD
00002a84: MSTORE
00002a85: PUSH1 0x84
00002a87: ADD
00002a88: PUSH2 0x0807
00002a8b: JUMP
00002a8c: JUMPDEST
00002a8d: PUSH1 0x60
00002a8f: PUSH1 0x40
00002a91: MLOAD
00002a92: DUP1
00002a93: PUSH1 0x60
00002a95: ADD
00002a96: PUSH1 0x40
00002a98: MSTORE
00002a99: DUP1
00002a9a: PUSH1 0x21
00002a9c: DUP2
00002a9d: MSTORE
00002a9e: PUSH1 0x20
00002aa0: ADD
00002aa1: PUSH2 0x3a5d
00002aa4: PUSH1 0x21
00002aa6: SWAP2
00002aa7: CODECOPY
00002aa8: SWAP1
00002aa9: POP
00002aaa: SWAP1
00002aab: JUMP
00002aac: JUMPDEST
00002aad: PUSH1 0x60
00002aaf: DUP2
00002ab0: PUSH2 0x2aec
00002ab3: JUMPI
00002ab4: POP
00002ab5: POP
00002ab6: PUSH1 0x40
00002ab8: DUP1
00002ab9: MLOAD
00002aba: DUP1
00002abb: DUP3
00002abc: ADD
00002abd: SWAP1
00002abe: SWAP2
00002abf: MSTORE
00002ac0: PUSH1 0x01
00002ac2: DUP2
00002ac3: MSTORE
00002ac4: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00002ae5: PUSH1 0x20
00002ae7: DUP3
00002ae8: ADD
00002ae9: MSTORE
00002aea: SWAP1
00002aeb: JUMP
00002aec: JUMPDEST
00002aed: DUP2
00002aee: PUSH1 0x00
00002af0: JUMPDEST
00002af1: DUP2
00002af2: ISZERO
00002af3: PUSH2 0x2b16
00002af6: JUMPI
00002af7: DUP1
00002af8: PUSH2 0x2b00
00002afb: DUP2
00002afc: PUSH2 0x39a7
00002aff: JUMP
00002b00: JUMPDEST
00002b01: SWAP2
00002b02: POP
00002b03: PUSH2 0x2b0f
00002b06: SWAP1
00002b07: POP
00002b08: PUSH1 0x0a
00002b0a: DUP4
00002b0b: PUSH2 0x38f6
00002b0e: JUMP
00002b0f: JUMPDEST
00002b10: SWAP2
00002b11: POP
00002b12: PUSH2 0x2af0
00002b15: JUMP
00002b16: JUMPDEST
00002b17: PUSH1 0x00
00002b19: DUP2
00002b1a: PUSH8 0xffffffffffffffff
00002b23: DUP2
00002b24: GT
00002b25: ISZERO
00002b26: PUSH2 0x2b31
00002b29: JUMPI
00002b2a: PUSH2 0x2b31
00002b2d: PUSH2 0x3a18
00002b30: JUMP
00002b31: JUMPDEST
00002b32: PUSH1 0x40
00002b34: MLOAD
00002b35: SWAP1
00002b36: DUP1
00002b37: DUP3
00002b38: MSTORE
00002b39: DUP1
00002b3a: PUSH1 0x1f
00002b3c: ADD
00002b3d: PUSH1 0x1f
00002b3f: NOT
00002b40: AND
00002b41: PUSH1 0x20
00002b43: ADD
00002b44: DUP3
00002b45: ADD
00002b46: PUSH1 0x40
00002b48: MSTORE
00002b49: DUP1
00002b4a: ISZERO
00002b4b: PUSH2 0x2b5b
00002b4e: JUMPI
00002b4f: PUSH1 0x20
00002b51: DUP3
00002b52: ADD
00002b53: DUP2
00002b54: DUP1
00002b55: CALLDATASIZE
00002b56: DUP4
00002b57: CALLDATACOPY
00002b58: ADD
00002b59: SWAP1
00002b5a: POP
00002b5b: JUMPDEST
00002b5c: POP
00002b5d: SWAP1
00002b5e: POP
00002b5f: JUMPDEST
00002b60: DUP5
00002b61: ISZERO
00002b62: PUSH2 0x1e49
00002b65: JUMPI
00002b66: PUSH2 0x2b70
00002b69: PUSH1 0x01
00002b6b: DUP4
00002b6c: PUSH2 0x3929
00002b6f: JUMP
00002b70: JUMPDEST
00002b71: SWAP2
00002b72: POP
00002b73: PUSH2 0x2b7d
00002b76: PUSH1 0x0a
00002b78: DUP7
00002b79: PUSH2 0x39c2
00002b7c: JUMP
00002b7d: JUMPDEST
00002b7e: PUSH2 0x2b88
00002b81: SWAP1
00002b82: PUSH1 0x30
00002b84: PUSH2 0x38de
00002b87: JUMP
00002b88: JUMPDEST
00002b89: PUSH1 0xf8
00002b8b: SHL
00002b8c: DUP2
00002b8d: DUP4
00002b8e: DUP2
00002b8f: MLOAD
00002b90: DUP2
00002b91: LT
00002b92: PUSH2 0x2b9d
00002b95: JUMPI
00002b96: PUSH2 0x2b9d
00002b99: PUSH2 0x3a02
00002b9c: JUMP
00002b9d: JUMPDEST
00002b9e: PUSH1 0x20
00002ba0: ADD
00002ba1: ADD
00002ba2: SWAP1
00002ba3: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002bc3: NOT
00002bc4: AND
00002bc5: SWAP1
00002bc6: DUP2
00002bc7: PUSH1 0x00
00002bc9: BYTE
00002bca: SWAP1
00002bcb: MSTORE8
00002bcc: POP
00002bcd: PUSH2 0x2bd7
00002bd0: PUSH1 0x0a
00002bd2: DUP7
00002bd3: PUSH2 0x38f6
00002bd6: JUMP
00002bd7: JUMPDEST
00002bd8: SWAP5
00002bd9: POP
00002bda: PUSH2 0x2b5f
00002bdd: JUMP
00002bde: JUMPDEST
00002bdf: PUSH1 0x01
00002be1: PUSH1 0x01
00002be3: PUSH1 0xa0
00002be5: SHL
00002be6: SUB
00002be7: DUP3
00002be8: AND
00002be9: PUSH2 0x2c34
00002bec: JUMPI
00002bed: PUSH1 0x40
00002bef: MLOAD
00002bf0: PUSH3 0x461bcd
00002bf4: PUSH1 0xe5
00002bf6: SHL
00002bf7: DUP2
00002bf8: MSTORE
00002bf9: PUSH1 0x20
00002bfb: PUSH1 0x04
00002bfd: DUP3
00002bfe: ADD
00002bff: DUP2
00002c00: SWAP1
00002c01: MSTORE
00002c02: PUSH1 0x24
00002c04: DUP3
00002c05: ADD
00002c06: MSTORE
00002c07: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373
00002c28: PUSH1 0x44
00002c2a: DUP3
00002c2b: ADD
00002c2c: MSTORE
00002c2d: PUSH1 0x64
00002c2f: ADD
00002c30: PUSH2 0x0807
00002c33: JUMP
00002c34: JUMPDEST
00002c35: PUSH1 0x00
00002c37: DUP2
00002c38: DUP2
00002c39: MSTORE
00002c3a: PUSH1 0x02
00002c3c: PUSH1 0x20
00002c3e: MSTORE
00002c3f: PUSH1 0x40
00002c41: SWAP1
00002c42: KECCAK256
00002c43: SLOAD
00002c44: PUSH1 0x01
00002c46: PUSH1 0x01
00002c48: PUSH1 0xa0
00002c4a: SHL
00002c4b: SUB
00002c4c: AND
00002c4d: ISZERO
00002c4e: PUSH2 0x2c99
00002c51: JUMPI
00002c52: PUSH1 0x40
00002c54: MLOAD
00002c55: PUSH3 0x461bcd
00002c59: PUSH1 0xe5
00002c5b: SHL
00002c5c: DUP2
00002c5d: MSTORE
00002c5e: PUSH1 0x20
00002c60: PUSH1 0x04
00002c62: DUP3
00002c63: ADD
00002c64: MSTORE
00002c65: PUSH1 0x1c
00002c67: PUSH1 0x24
00002c69: DUP3
00002c6a: ADD
00002c6b: MSTORE
00002c6c: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000
00002c8d: PUSH1 0x44
00002c8f: DUP3
00002c90: ADD
00002c91: MSTORE
00002c92: PUSH1 0x64
00002c94: ADD
00002c95: PUSH2 0x0807
00002c98: JUMP
00002c99: JUMPDEST
00002c9a: PUSH1 0x01
00002c9c: PUSH1 0x01
00002c9e: PUSH1 0xa0
00002ca0: SHL
00002ca1: SUB
00002ca2: DUP3
00002ca3: AND
00002ca4: PUSH1 0x00
00002ca6: SWAP1
00002ca7: DUP2
00002ca8: MSTORE
00002ca9: PUSH1 0x03
00002cab: PUSH1 0x20
00002cad: MSTORE
00002cae: PUSH1 0x40
00002cb0: DUP2
00002cb1: KECCAK256
00002cb2: DUP1
00002cb3: SLOAD
00002cb4: PUSH1 0x01
00002cb6: SWAP3
00002cb7: SWAP1
00002cb8: PUSH2 0x2cc2
00002cbb: SWAP1
00002cbc: DUP5
00002cbd: SWAP1
00002cbe: PUSH2 0x38de
00002cc1: JUMP
00002cc2: JUMPDEST
00002cc3: SWAP1
00002cc4: SWAP2
00002cc5: SSTORE
00002cc6: POP
00002cc7: POP
00002cc8: PUSH1 0x00
00002cca: DUP2
00002ccb: DUP2
00002ccc: MSTORE
00002ccd: PUSH1 0x02
00002ccf: PUSH1 0x20
00002cd1: MSTORE
00002cd2: PUSH1 0x40
00002cd4: DUP1
00002cd5: DUP3
00002cd6: KECCAK256
00002cd7: DUP1
00002cd8: SLOAD
00002cd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cee: NOT
00002cef: AND
00002cf0: PUSH1 0x01
00002cf2: PUSH1 0x01
00002cf4: PUSH1 0xa0
00002cf6: SHL
00002cf7: SUB
00002cf8: DUP7
00002cf9: AND
00002cfa: SWAP1
00002cfb: DUP2
00002cfc: OR
00002cfd: SWAP1
00002cfe: SWAP2
00002cff: SSTORE
00002d00: SWAP1
00002d01: MLOAD
00002d02: DUP4
00002d03: SWAP3
00002d04: SWAP1
00002d05: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002d26: SWAP1
00002d27: DUP3
00002d28: SWAP1
00002d29: LOG4
00002d2a: POP
00002d2b: POP
00002d2c: JUMP
00002d2d: JUMPDEST
00002d2e: PUSH1 0x00
00002d30: PUSH1 0x01
00002d32: PUSH1 0x01
00002d34: PUSH1 0xa0
00002d36: SHL
00002d37: SUB
00002d38: DUP5
00002d39: AND
00002d3a: EXTCODESIZE
00002d3b: ISZERO
00002d3c: PUSH2 0x2ecf
00002d3f: JUMPI
00002d40: PUSH1 0x40
00002d42: MLOAD
00002d43: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
00002d64: DUP2
00002d65: MSTORE
00002d66: PUSH1 0x01
00002d68: PUSH1 0x01
00002d6a: PUSH1 0xa0
00002d6c: SHL
00002d6d: SUB
00002d6e: DUP6
00002d6f: AND
00002d70: SWAP1
00002d71: PUSH4 0x150b7a02
00002d76: SWAP1
00002d77: PUSH2 0x2d8a
00002d7a: SWAP1
00002d7b: CALLER
00002d7c: SWAP1
00002d7d: DUP10
00002d7e: SWAP1
00002d7f: DUP9
00002d80: SWAP1
00002d81: DUP9
00002d82: SWAP1
00002d83: PUSH1 0x04
00002d85: ADD
00002d86: PUSH2 0x3595
00002d89: JUMP
00002d8a: JUMPDEST
00002d8b: PUSH1 0x20
00002d8d: PUSH1 0x40
00002d8f: MLOAD
00002d90: DUP1
00002d91: DUP4
00002d92: SUB
00002d93: DUP2
00002d94: PUSH1 0x00
00002d96: DUP8
00002d97: DUP1
00002d98: EXTCODESIZE
00002d99: ISZERO
00002d9a: DUP1
00002d9b: ISZERO
00002d9c: PUSH2 0x2da4
00002d9f: JUMPI
00002da0: PUSH1 0x00
00002da2: DUP1
00002da3: REVERT
00002da4: JUMPDEST
00002da5: POP
00002da6: GAS
00002da7: CALL
00002da8: SWAP3
00002da9: POP
00002daa: POP
00002dab: POP
00002dac: DUP1
00002dad: ISZERO
00002dae: PUSH2 0x2dd4
00002db1: JUMPI
00002db2: POP
00002db3: PUSH1 0x40
00002db5: DUP1
00002db6: MLOAD
00002db7: PUSH1 0x1f
00002db9: RETURNDATASIZE
00002dba: SWAP1
00002dbb: DUP2
00002dbc: ADD
00002dbd: PUSH1 0x1f
00002dbf: NOT
00002dc0: AND
00002dc1: DUP3
00002dc2: ADD
00002dc3: SWAP1
00002dc4: SWAP3
00002dc5: MSTORE
00002dc6: PUSH2 0x2dd1
00002dc9: SWAP2
00002dca: DUP2
00002dcb: ADD
00002dcc: SWAP1
00002dcd: PUSH2 0x31bb
00002dd0: JUMP
00002dd1: JUMPDEST
00002dd2: PUSH1 0x01
00002dd4: JUMPDEST
00002dd5: PUSH2 0x2e84
00002dd8: JUMPI
00002dd9: RETURNDATASIZE
00002dda: DUP1
00002ddb: DUP1
00002ddc: ISZERO
00002ddd: PUSH2 0x2e02
00002de0: JUMPI
00002de1: PUSH1 0x40
00002de3: MLOAD
00002de4: SWAP2
00002de5: POP
00002de6: PUSH1 0x1f
00002de8: NOT
00002de9: PUSH1 0x3f
00002deb: RETURNDATASIZE
00002dec: ADD
00002ded: AND
00002dee: DUP3
00002def: ADD
00002df0: PUSH1 0x40
00002df2: MSTORE
00002df3: RETURNDATASIZE
00002df4: DUP3
00002df5: MSTORE
00002df6: RETURNDATASIZE
00002df7: PUSH1 0x00
00002df9: PUSH1 0x20
00002dfb: DUP5
00002dfc: ADD
00002dfd: RETURNDATACOPY
00002dfe: PUSH2 0x2e07
00002e01: JUMP
00002e02: JUMPDEST
00002e03: PUSH1 0x60
00002e05: SWAP2
00002e06: POP
00002e07: JUMPDEST
00002e08: POP
00002e09: DUP1
00002e0a: MLOAD
00002e0b: PUSH2 0x2e7c
00002e0e: JUMPI
00002e0f: PUSH1 0x40
00002e11: MLOAD
00002e12: PUSH3 0x461bcd
00002e16: PUSH1 0xe5
00002e18: SHL
00002e19: DUP2
00002e1a: MSTORE
00002e1b: PUSH1 0x20
00002e1d: PUSH1 0x04
00002e1f: DUP3
00002e20: ADD
00002e21: MSTORE
00002e22: PUSH1 0x32
00002e24: PUSH1 0x24
00002e26: DUP3
00002e27: ADD
00002e28: MSTORE
00002e29: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
00002e4a: PUSH1 0x44
00002e4c: DUP3
00002e4d: ADD
00002e4e: MSTORE
00002e4f: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000
00002e70: PUSH1 0x64
00002e72: DUP3
00002e73: ADD
00002e74: MSTORE
00002e75: PUSH1 0x84
00002e77: ADD
00002e78: PUSH2 0x0807
00002e7b: JUMP
00002e7c: JUMPDEST
00002e7d: DUP1
00002e7e: MLOAD
00002e7f: DUP2
00002e80: PUSH1 0x20
00002e82: ADD
00002e83: REVERT
00002e84: JUMPDEST
00002e85: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002ea6: AND
00002ea7: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
00002ec8: EQ
00002ec9: SWAP1
00002eca: POP
00002ecb: PUSH2 0x1e49
00002ece: JUMP
00002ecf: JUMPDEST
00002ed0: POP
00002ed1: PUSH1 0x01
00002ed3: SWAP5
00002ed4: SWAP4
00002ed5: POP
00002ed6: POP
00002ed7: POP
00002ed8: POP
00002ed9: JUMP
00002eda: JUMPDEST
00002edb: DUP3
00002edc: DUP1
00002edd: SLOAD
00002ede: PUSH2 0x2ee6
00002ee1: SWAP1
00002ee2: PUSH2 0x396c
00002ee5: JUMP
00002ee6: JUMPDEST
00002ee7: SWAP1
00002ee8: PUSH1 0x00
00002eea: MSTORE
00002eeb: PUSH1 0x20
00002eed: PUSH1 0x00
00002eef: KECCAK256
00002ef0: SWAP1
00002ef1: PUSH1 0x1f
00002ef3: ADD
00002ef4: PUSH1 0x20
00002ef6: SWAP1
00002ef7: DIV
00002ef8: DUP2
00002ef9: ADD
00002efa: SWAP3
00002efb: DUP3
00002efc: PUSH2 0x2f08
00002eff: JUMPI
00002f00: PUSH1 0x00
00002f02: DUP6
00002f03: SSTORE
00002f04: PUSH2 0x2f4e
00002f07: JUMP
00002f08: JUMPDEST
00002f09: DUP3
00002f0a: PUSH1 0x1f
00002f0c: LT
00002f0d: PUSH2 0x2f21
00002f10: JUMPI
00002f11: DUP1
00002f12: MLOAD
00002f13: PUSH1 0xff
00002f15: NOT
00002f16: AND
00002f17: DUP4
00002f18: DUP1
00002f19: ADD
00002f1a: OR
00002f1b: DUP6
00002f1c: SSTORE
00002f1d: PUSH2 0x2f4e
00002f20: JUMP
00002f21: JUMPDEST
00002f22: DUP3
00002f23: DUP1
00002f24: ADD
00002f25: PUSH1 0x01
00002f27: ADD
00002f28: DUP6
00002f29: SSTORE
00002f2a: DUP3
00002f2b: ISZERO
00002f2c: PUSH2 0x2f4e
00002f2f: JUMPI
00002f30: SWAP2
00002f31: DUP3
00002f32: ADD
00002f33: JUMPDEST
00002f34: DUP3
00002f35: DUP2
00002f36: GT
00002f37: ISZERO
00002f38: PUSH2 0x2f4e
00002f3b: JUMPI
00002f3c: DUP3
00002f3d: MLOAD
00002f3e: DUP3
00002f3f: SSTORE
00002f40: SWAP2
00002f41: PUSH1 0x20
00002f43: ADD
00002f44: SWAP2
00002f45: SWAP1
00002f46: PUSH1 0x01
00002f48: ADD
00002f49: SWAP1
00002f4a: PUSH2 0x2f33
00002f4d: JUMP
00002f4e: JUMPDEST
00002f4f: POP
00002f50: PUSH2 0x2f5a
00002f53: SWAP3
00002f54: SWAP2
00002f55: POP
00002f56: PUSH2 0x2f5e
00002f59: JUMP
00002f5a: JUMPDEST
00002f5b: POP
00002f5c: SWAP1
00002f5d: JUMP
00002f5e: JUMPDEST
00002f5f: JUMPDEST
00002f60: DUP1
00002f61: DUP3
00002f62: GT
00002f63: ISZERO
00002f64: PUSH2 0x2f5a
00002f67: JUMPI
00002f68: PUSH1 0x00
00002f6a: DUP2
00002f6b: SSTORE
00002f6c: PUSH1 0x01
00002f6e: ADD
00002f6f: PUSH2 0x2f5f
00002f72: JUMP
00002f73: JUMPDEST
00002f74: PUSH1 0x00
00002f76: PUSH2 0x2f86
00002f79: PUSH2 0x2f81
00002f7c: DUP5
00002f7d: PUSH2 0x38b6
00002f80: JUMP
00002f81: JUMPDEST
00002f82: PUSH2 0x3885
00002f85: JUMP
00002f86: JUMPDEST
00002f87: SWAP1
00002f88: POP
00002f89: DUP3
00002f8a: DUP2
00002f8b: MSTORE
00002f8c: DUP4
00002f8d: DUP4
00002f8e: DUP4
00002f8f: ADD
00002f90: GT
00002f91: ISZERO
00002f92: PUSH2 0x2f9a
00002f95: JUMPI
00002f96: PUSH1 0x00
00002f98: DUP1
00002f99: REVERT
00002f9a: JUMPDEST
00002f9b: DUP3
00002f9c: DUP3
00002f9d: PUSH1 0x20
00002f9f: DUP4
00002fa0: ADD
00002fa1: CALLDATACOPY
00002fa2: PUSH1 0x00
00002fa4: PUSH1 0x20
00002fa6: DUP5
00002fa7: DUP4
00002fa8: ADD
00002fa9: ADD
00002faa: MSTORE
00002fab: SWAP4
00002fac: SWAP3
00002fad: POP
00002fae: POP
00002faf: POP
00002fb0: JUMP
00002fb1: JUMPDEST
00002fb2: DUP1
00002fb3: CALLDATALOAD
00002fb4: PUSH1 0x01
00002fb6: PUSH1 0x01
00002fb8: PUSH1 0xa0
00002fba: SHL
00002fbb: SUB
00002fbc: DUP2
00002fbd: AND
00002fbe: DUP2
00002fbf: EQ
00002fc0: PUSH2 0x2fc8
00002fc3: JUMPI
00002fc4: PUSH1 0x00
00002fc6: DUP1
00002fc7: REVERT
00002fc8: JUMPDEST
00002fc9: SWAP2
00002fca: SWAP1
00002fcb: POP
00002fcc: JUMP
00002fcd: JUMPDEST
00002fce: PUSH1 0x00
00002fd0: DUP3
00002fd1: PUSH1 0x1f
00002fd3: DUP4
00002fd4: ADD
00002fd5: SLT
00002fd6: PUSH2 0x2fde
00002fd9: JUMPI
00002fda: PUSH1 0x00
00002fdc: DUP1
00002fdd: REVERT
00002fde: JUMPDEST
00002fdf: PUSH2 0x191f
00002fe2: DUP4
00002fe3: DUP4
00002fe4: CALLDATALOAD
00002fe5: PUSH1 0x20
00002fe7: DUP6
00002fe8: ADD
00002fe9: PUSH2 0x2f73
00002fec: JUMP
00002fed: JUMPDEST
00002fee: PUSH1 0x00
00002ff0: DUP3
00002ff1: PUSH1 0x1f
00002ff3: DUP4
00002ff4: ADD
00002ff5: SLT
00002ff6: PUSH2 0x2ffe
00002ff9: JUMPI
00002ffa: PUSH1 0x00
00002ffc: DUP1
00002ffd: REVERT
00002ffe: JUMPDEST
00002fff: DUP2
00003000: MLOAD
00003001: PUSH2 0x300c
00003004: PUSH2 0x2f81
00003007: DUP3
00003008: PUSH2 0x38b6
0000300b: JUMP
0000300c: JUMPDEST
0000300d: DUP2
0000300e: DUP2
0000300f: MSTORE
00003010: DUP5
00003011: PUSH1 0x20
00003013: DUP4
00003014: DUP7
00003015: ADD
00003016: ADD
00003017: GT
00003018: ISZERO
00003019: PUSH2 0x3021
0000301c: JUMPI
0000301d: PUSH1 0x00
0000301f: DUP1
00003020: REVERT
00003021: JUMPDEST
00003022: PUSH2 0x1e49
00003025: DUP3
00003026: PUSH1 0x20
00003028: DUP4
00003029: ADD
0000302a: PUSH1 0x20
0000302c: DUP8
0000302d: ADD
0000302e: PUSH2 0x3940
00003031: JUMP
00003032: JUMPDEST
00003033: PUSH1 0x00
00003035: PUSH1 0x20
00003037: DUP3
00003038: DUP5
00003039: SUB
0000303a: SLT
0000303b: ISZERO
0000303c: PUSH2 0x3044
0000303f: JUMPI
00003040: PUSH1 0x00
00003042: DUP1
00003043: REVERT
00003044: JUMPDEST
00003045: PUSH2 0x191f
00003048: DUP3
00003049: PUSH2 0x2fb1
0000304c: JUMP
0000304d: JUMPDEST
0000304e: PUSH1 0x00
00003050: DUP1
00003051: PUSH1 0x40
00003053: DUP4
00003054: DUP6
00003055: SUB
00003056: SLT
00003057: ISZERO
00003058: PUSH2 0x3060
0000305b: JUMPI
0000305c: PUSH1 0x00
0000305e: DUP1
0000305f: REVERT
00003060: JUMPDEST
00003061: PUSH2 0x3069
00003064: DUP4
00003065: PUSH2 0x2fb1
00003068: JUMP
00003069: JUMPDEST
0000306a: SWAP2
0000306b: POP
0000306c: PUSH2 0x3077
0000306f: PUSH1 0x20
00003071: DUP5
00003072: ADD
00003073: PUSH2 0x2fb1
00003076: JUMP
00003077: JUMPDEST
00003078: SWAP1
00003079: POP
0000307a: SWAP3
0000307b: POP
0000307c: SWAP3
0000307d: SWAP1
0000307e: POP
0000307f: JUMP
00003080: JUMPDEST
00003081: PUSH1 0x00
00003083: DUP1
00003084: PUSH1 0x00
00003086: PUSH1 0x60
00003088: DUP5
00003089: DUP7
0000308a: SUB
0000308b: SLT
0000308c: ISZERO
0000308d: PUSH2 0x3095
00003090: JUMPI
00003091: PUSH1 0x00
00003093: DUP1
00003094: REVERT
00003095: JUMPDEST
00003096: PUSH2 0x309e
00003099: DUP5
0000309a: PUSH2 0x2fb1
0000309d: JUMP
0000309e: JUMPDEST
0000309f: SWAP3
000030a0: POP
000030a1: PUSH2 0x30ac
000030a4: PUSH1 0x20
000030a6: DUP6
000030a7: ADD
000030a8: PUSH2 0x2fb1
000030ab: JUMP
000030ac: JUMPDEST
000030ad: SWAP2
000030ae: POP
000030af: PUSH1 0x40
000030b1: DUP5
000030b2: ADD
000030b3: CALLDATALOAD
000030b4: SWAP1
000030b5: POP
000030b6: SWAP3
000030b7: POP
000030b8: SWAP3
000030b9: POP
000030ba: SWAP3
000030bb: JUMP
000030bc: JUMPDEST
000030bd: PUSH1 0x00
000030bf: DUP1
000030c0: PUSH1 0x00
000030c2: DUP1
000030c3: PUSH1 0x80
000030c5: DUP6
000030c6: DUP8
000030c7: SUB
000030c8: SLT
000030c9: ISZERO
000030ca: PUSH2 0x30d2
000030cd: JUMPI
000030ce: PUSH1 0x00
000030d0: DUP1
000030d1: REVERT
000030d2: JUMPDEST
000030d3: PUSH2 0x30db
000030d6: DUP6
000030d7: PUSH2 0x2fb1
000030da: JUMP
000030db: JUMPDEST
000030dc: SWAP4
000030dd: POP
000030de: PUSH2 0x30e9
000030e1: PUSH1 0x20
000030e3: DUP7
000030e4: ADD
000030e5: PUSH2 0x2fb1
000030e8: JUMP
000030e9: JUMPDEST
000030ea: SWAP3
000030eb: POP
000030ec: PUSH1 0x40
000030ee: DUP6
000030ef: ADD
000030f0: CALLDATALOAD
000030f1: SWAP2
000030f2: POP
000030f3: PUSH1 0x60
000030f5: DUP6
000030f6: ADD
000030f7: CALLDATALOAD
000030f8: PUSH8 0xffffffffffffffff
00003101: DUP2
00003102: GT
00003103: ISZERO
00003104: PUSH2 0x310c
00003107: JUMPI
00003108: PUSH1 0x00
0000310a: DUP1
0000310b: REVERT
0000310c: JUMPDEST
0000310d: DUP6
0000310e: ADD
0000310f: PUSH1 0x1f
00003111: DUP2
00003112: ADD
00003113: DUP8
00003114: SGT
00003115: PUSH2 0x311d
00003118: JUMPI
00003119: PUSH1 0x00
0000311b: DUP1
0000311c: REVERT
0000311d: JUMPDEST
0000311e: PUSH2 0x312c
00003121: DUP8
00003122: DUP3
00003123: CALLDATALOAD
00003124: PUSH1 0x20
00003126: DUP5
00003127: ADD
00003128: PUSH2 0x2f73
0000312b: JUMP
0000312c: JUMPDEST
0000312d: SWAP2
0000312e: POP
0000312f: POP
00003130: SWAP3
00003131: SWAP6
00003132: SWAP2
00003133: SWAP5
00003134: POP
00003135: SWAP3
00003136: POP
00003137: JUMP
00003138: JUMPDEST
00003139: PUSH1 0x00
0000313b: DUP1
0000313c: PUSH1 0x40
0000313e: DUP4
0000313f: DUP6
00003140: SUB
00003141: SLT
00003142: ISZERO
00003143: PUSH2 0x314b
00003146: JUMPI
00003147: PUSH1 0x00
00003149: DUP1
0000314a: REVERT
0000314b: JUMPDEST
0000314c: PUSH2 0x3154
0000314f: DUP4
00003150: PUSH2 0x2fb1
00003153: JUMP
00003154: JUMPDEST
00003155: SWAP2
00003156: POP
00003157: PUSH1 0x20
00003159: DUP4
0000315a: ADD
0000315b: CALLDATALOAD
0000315c: DUP1
0000315d: ISZERO
0000315e: ISZERO
0000315f: DUP2
00003160: EQ
00003161: PUSH2 0x3169
00003164: JUMPI
00003165: PUSH1 0x00
00003167: DUP1
00003168: REVERT
00003169: JUMPDEST
0000316a: DUP1
0000316b: SWAP2
0000316c: POP
0000316d: POP
0000316e: SWAP3
0000316f: POP
00003170: SWAP3
00003171: SWAP1
00003172: POP
00003173: JUMP
00003174: JUMPDEST
00003175: PUSH1 0x00
00003177: DUP1
00003178: PUSH1 0x40
0000317a: DUP4
0000317b: DUP6
0000317c: SUB
0000317d: SLT
0000317e: ISZERO
0000317f: PUSH2 0x3187
00003182: JUMPI
00003183: PUSH1 0x00
00003185: DUP1
00003186: REVERT
00003187: JUMPDEST
00003188: PUSH2 0x3190
0000318b: DUP4
0000318c: PUSH2 0x2fb1
0000318f: JUMP
00003190: JUMPDEST
00003191: SWAP5
00003192: PUSH1 0x20
00003194: SWAP4
00003195: SWAP1
00003196: SWAP4
00003197: ADD
00003198: CALLDATALOAD
00003199: SWAP4
0000319a: POP
0000319b: POP
0000319c: POP
0000319d: JUMP
0000319e: JUMPDEST
0000319f: PUSH1 0x00
000031a1: PUSH1 0x20
000031a3: DUP3
000031a4: DUP5
000031a5: SUB
000031a6: SLT
000031a7: ISZERO
000031a8: PUSH2 0x31b0
000031ab: JUMPI
000031ac: PUSH1 0x00
000031ae: DUP1
000031af: REVERT
000031b0: JUMPDEST
000031b1: DUP2
000031b2: CALLDATALOAD
000031b3: PUSH2 0x191f
000031b6: DUP2
000031b7: PUSH2 0x3a2e
000031ba: JUMP
000031bb: JUMPDEST
000031bc: PUSH1 0x00
000031be: PUSH1 0x20
000031c0: DUP3
000031c1: DUP5
000031c2: SUB
000031c3: SLT
000031c4: ISZERO
000031c5: PUSH2 0x31cd
000031c8: JUMPI
000031c9: PUSH1 0x00
000031cb: DUP1
000031cc: REVERT
000031cd: JUMPDEST
000031ce: DUP2
000031cf: MLOAD
000031d0: PUSH2 0x191f
000031d3: DUP2
000031d4: PUSH2 0x3a2e
000031d7: JUMP
000031d8: JUMPDEST
000031d9: PUSH1 0x00
000031db: PUSH1 0x20
000031dd: DUP3
000031de: DUP5
000031df: SUB
000031e0: SLT
000031e1: ISZERO
000031e2: PUSH2 0x31ea
000031e5: JUMPI
000031e6: PUSH1 0x00
000031e8: DUP1
000031e9: REVERT
000031ea: JUMPDEST
000031eb: DUP2
000031ec: MLOAD
000031ed: PUSH8 0xffffffffffffffff
000031f6: DUP2
000031f7: GT
000031f8: ISZERO
000031f9: PUSH2 0x3201
000031fc: JUMPI
000031fd: PUSH1 0x00
000031ff: DUP1
00003200: REVERT
00003201: JUMPDEST
00003202: PUSH2 0x1e49
00003205: DUP5
00003206: DUP3
00003207: DUP6
00003208: ADD
00003209: PUSH2 0x2fed
0000320c: JUMP
0000320d: JUMPDEST
0000320e: PUSH1 0x00
00003210: DUP1
00003211: PUSH1 0x00
00003213: PUSH1 0x60
00003215: DUP5
00003216: DUP7
00003217: SUB
00003218: SLT
00003219: ISZERO
0000321a: PUSH2 0x3222
0000321d: JUMPI
0000321e: PUSH1 0x00
00003220: DUP1
00003221: REVERT
00003222: JUMPDEST
00003223: DUP4
00003224: MLOAD
00003225: PUSH8 0xffffffffffffffff
0000322e: DUP1
0000322f: DUP3
00003230: GT
00003231: ISZERO
00003232: PUSH2 0x323a
00003235: JUMPI
00003236: PUSH1 0x00
00003238: DUP1
00003239: REVERT
0000323a: JUMPDEST
0000323b: PUSH2 0x3246
0000323e: DUP8
0000323f: DUP4
00003240: DUP9
00003241: ADD
00003242: PUSH2 0x2fed
00003245: JUMP
00003246: JUMPDEST
00003247: SWAP5
00003248: POP
00003249: PUSH1 0x20
0000324b: DUP7
0000324c: ADD
0000324d: MLOAD
0000324e: SWAP2
0000324f: POP
00003250: DUP1
00003251: DUP3
00003252: GT
00003253: ISZERO
00003254: PUSH2 0x325c
00003257: JUMPI
00003258: PUSH1 0x00
0000325a: DUP1
0000325b: REVERT
0000325c: JUMPDEST
0000325d: PUSH2 0x3268
00003260: DUP8
00003261: DUP4
00003262: DUP9
00003263: ADD
00003264: PUSH2 0x2fed
00003267: JUMP
00003268: JUMPDEST
00003269: SWAP4
0000326a: POP
0000326b: PUSH1 0x40
0000326d: DUP7
0000326e: ADD
0000326f: MLOAD
00003270: SWAP2
00003271: POP
00003272: DUP1
00003273: DUP3
00003274: GT
00003275: ISZERO
00003276: PUSH2 0x327e
00003279: JUMPI
0000327a: PUSH1 0x00
0000327c: DUP1
0000327d: REVERT
0000327e: JUMPDEST
0000327f: POP
00003280: PUSH2 0x328b
00003283: DUP7
00003284: DUP3
00003285: DUP8
00003286: ADD
00003287: PUSH2 0x2fed
0000328a: JUMP
0000328b: JUMPDEST
0000328c: SWAP2
0000328d: POP
0000328e: POP
0000328f: SWAP3
00003290: POP
00003291: SWAP3
00003292: POP
00003293: SWAP3
00003294: JUMP
00003295: JUMPDEST
00003296: PUSH1 0x00
00003298: DUP1
00003299: PUSH1 0x00
0000329b: DUP1
0000329c: PUSH1 0x00
0000329e: PUSH1 0xa0
000032a0: DUP7
000032a1: DUP9
000032a2: SUB
000032a3: SLT
000032a4: ISZERO
000032a5: PUSH2 0x32ad
000032a8: JUMPI
000032a9: PUSH1 0x00
000032ab: DUP1
000032ac: REVERT
000032ad: JUMPDEST
000032ae: DUP6
000032af: CALLDATALOAD
000032b0: PUSH8 0xffffffffffffffff
000032b9: DUP1
000032ba: DUP3
000032bb: GT
000032bc: ISZERO
000032bd: PUSH2 0x32c5
000032c0: JUMPI
000032c1: PUSH1 0x00
000032c3: DUP1
000032c4: REVERT
000032c5: JUMPDEST
000032c6: PUSH2 0x32d1
000032c9: DUP10
000032ca: DUP4
000032cb: DUP11
000032cc: ADD
000032cd: PUSH2 0x2fcd
000032d0: JUMP
000032d1: JUMPDEST
000032d2: SWAP7
000032d3: POP
000032d4: PUSH1 0x20
000032d6: DUP9
000032d7: ADD
000032d8: CALLDATALOAD
000032d9: SWAP6
000032da: POP
000032db: PUSH1 0x40
000032dd: DUP9
000032de: ADD
000032df: CALLDATALOAD
000032e0: SWAP5
000032e1: POP
000032e2: PUSH1 0x60
000032e4: DUP9
000032e5: ADD
000032e6: CALLDATALOAD
000032e7: SWAP2
000032e8: POP
000032e9: DUP1
000032ea: DUP3
000032eb: GT
000032ec: ISZERO
000032ed: PUSH2 0x32f5
000032f0: JUMPI
000032f1: PUSH1 0x00
000032f3: DUP1
000032f4: REVERT
000032f5: JUMPDEST
000032f6: POP
000032f7: PUSH2 0x3302
000032fa: DUP9
000032fb: DUP3
000032fc: DUP10
000032fd: ADD
000032fe: PUSH2 0x2fcd
00003301: JUMP
00003302: JUMPDEST
00003303: SWAP3
00003304: POP
00003305: POP
00003306: PUSH2 0x3311
00003309: PUSH1 0x80
0000330b: DUP8
0000330c: ADD
0000330d: PUSH2 0x2fb1
00003310: JUMP
00003311: JUMPDEST
00003312: SWAP1
00003313: POP
00003314: SWAP3
00003315: SWAP6
00003316: POP
00003317: SWAP3
00003318: SWAP6
00003319: SWAP1
0000331a: SWAP4
0000331b: POP
0000331c: JUMP
0000331d: JUMPDEST
0000331e: PUSH1 0x00
00003320: PUSH1 0x20
00003322: DUP3
00003323: DUP5
00003324: SUB
00003325: SLT
00003326: ISZERO
00003327: PUSH2 0x332f
0000332a: JUMPI
0000332b: PUSH1 0x00
0000332d: DUP1
0000332e: REVERT
0000332f: JUMPDEST
00003330: POP
00003331: CALLDATALOAD
00003332: SWAP2
00003333: SWAP1
00003334: POP
00003335: JUMP
00003336: JUMPDEST
00003337: PUSH1 0x00
00003339: PUSH1 0x20
0000333b: DUP3
0000333c: DUP5
0000333d: SUB
0000333e: SLT
0000333f: ISZERO
00003340: PUSH2 0x3348
00003343: JUMPI
00003344: PUSH1 0x00
00003346: DUP1
00003347: REVERT
00003348: JUMPDEST
00003349: POP
0000334a: MLOAD
0000334b: SWAP2
0000334c: SWAP1
0000334d: POP
0000334e: JUMP
0000334f: JUMPDEST
00003350: PUSH1 0x00
00003352: DUP1
00003353: PUSH1 0x00
00003355: DUP1
00003356: PUSH1 0x00
00003358: DUP1
00003359: PUSH1 0xc0
0000335b: DUP8
0000335c: DUP10
0000335d: SUB
0000335e: SLT
0000335f: ISZERO
00003360: PUSH2 0x3368
00003363: JUMPI
00003364: PUSH1 0x00
00003366: DUP1
00003367: REVERT
00003368: JUMPDEST
00003369: DUP7
0000336a: CALLDATALOAD
0000336b: SWAP6
0000336c: POP
0000336d: PUSH1 0x20
0000336f: DUP8
00003370: ADD
00003371: CALLDATALOAD
00003372: SWAP5
00003373: POP
00003374: PUSH1 0x40
00003376: DUP8
00003377: ADD
00003378: CALLDATALOAD
00003379: PUSH8 0xffffffffffffffff
00003382: DUP1
00003383: DUP3
00003384: GT
00003385: ISZERO
00003386: PUSH2 0x338e
00003389: JUMPI
0000338a: PUSH1 0x00
0000338c: DUP1
0000338d: REVERT
0000338e: JUMPDEST
0000338f: PUSH2 0x339a
00003392: DUP11
00003393: DUP4
00003394: DUP12
00003395: ADD
00003396: PUSH2 0x2fcd
00003399: JUMP
0000339a: JUMPDEST
0000339b: SWAP6
0000339c: POP
0000339d: PUSH1 0x60
0000339f: DUP10
000033a0: ADD
000033a1: CALLDATALOAD
000033a2: SWAP5
000033a3: POP
000033a4: PUSH1 0x80
000033a6: DUP10
000033a7: ADD
000033a8: CALLDATALOAD
000033a9: SWAP2
000033aa: POP
000033ab: DUP1
000033ac: DUP3
000033ad: GT
000033ae: ISZERO
000033af: PUSH2 0x33b7
000033b2: JUMPI
000033b3: PUSH1 0x00
000033b5: DUP1
000033b6: REVERT
000033b7: JUMPDEST
000033b8: POP
000033b9: PUSH2 0x33c4
000033bc: DUP10
000033bd: DUP3
000033be: DUP11
000033bf: ADD
000033c0: PUSH2 0x2fcd
000033c3: JUMP
000033c4: JUMPDEST
000033c5: SWAP3
000033c6: POP
000033c7: POP
000033c8: PUSH2 0x33d3
000033cb: PUSH1 0xa0
000033cd: DUP9
000033ce: ADD
000033cf: PUSH2 0x2fb1
000033d2: JUMP
000033d3: JUMPDEST
000033d4: SWAP1
000033d5: POP
000033d6: SWAP3
000033d7: SWAP6
000033d8: POP
000033d9: SWAP3
000033da: SWAP6
000033db: POP
000033dc: SWAP3
000033dd: SWAP6
000033de: JUMP
000033df: JUMPDEST
000033e0: PUSH1 0x00
000033e2: DUP1
000033e3: PUSH1 0x00
000033e5: DUP1
000033e6: PUSH2 0x0180
000033e9: DUP1
000033ea: DUP7
000033eb: DUP9
000033ec: SUB
000033ed: SLT
000033ee: ISZERO
000033ef: PUSH2 0x33f7
000033f2: JUMPI
000033f3: PUSH1 0x00
000033f5: DUP1
000033f6: REVERT
000033f7: JUMPDEST
000033f8: DUP6
000033f9: CALLDATALOAD
000033fa: SWAP5
000033fb: POP
000033fc: PUSH1 0x20
000033fe: DUP1
000033ff: DUP8
00003400: ADD
00003401: CALLDATALOAD
00003402: SWAP5
00003403: POP
00003404: PUSH1 0x40
00003406: DUP8
00003407: ADD
00003408: CALLDATALOAD
00003409: SWAP4
0000340a: POP
0000340b: DUP8
0000340c: PUSH1 0x7f
0000340e: DUP9
0000340f: ADD
00003410: SLT
00003411: PUSH2 0x3419
00003414: JUMPI
00003415: PUSH1 0x00
00003417: DUP1
00003418: REVERT
00003419: JUMPDEST
0000341a: PUSH2 0x3421
0000341d: PUSH2 0x385b
00003420: JUMP
00003421: JUMPDEST
00003422: DUP1
00003423: PUSH1 0x60
00003425: DUP10
00003426: ADD
00003427: DUP11
00003428: DUP6
00003429: DUP12
0000342a: ADD
0000342b: GT
0000342c: ISZERO
0000342d: PUSH2 0x3435
00003430: JUMPI
00003431: PUSH1 0x00
00003433: DUP1
00003434: REVERT
00003435: JUMPDEST
00003436: PUSH1 0x00
00003438: SWAP5
00003439: POP
0000343a: DUP5
0000343b: JUMPDEST
0000343c: PUSH1 0x09
0000343e: DUP2
0000343f: LT
00003440: ISZERO
00003441: PUSH2 0x3466
00003444: JUMPI
00003445: DUP2
00003446: CALLDATALOAD
00003447: PUSH1 0xff
00003449: DUP2
0000344a: AND
0000344b: DUP2
0000344c: EQ
0000344d: PUSH2 0x3454
00003450: JUMPI
00003451: DUP7
00003452: DUP8
00003453: REVERT
00003454: JUMPDEST
00003455: DUP5
00003456: MSTORE
00003457: SWAP3
00003458: DUP5
00003459: ADD
0000345a: SWAP3
0000345b: SWAP1
0000345c: DUP5
0000345d: ADD
0000345e: SWAP1
0000345f: PUSH1 0x01
00003461: ADD
00003462: PUSH2 0x343b
00003465: JUMP
00003466: JUMPDEST
00003467: POP
00003468: POP
00003469: DUP1
0000346a: SWAP5
0000346b: POP
0000346c: POP
0000346d: POP
0000346e: POP
0000346f: POP
00003470: SWAP3
00003471: SWAP6
00003472: SWAP2
00003473: SWAP5
00003474: POP
00003475: SWAP3
00003476: POP
00003477: JUMP
00003478: JUMPDEST
00003479: PUSH1 0x00
0000347b: DUP2
0000347c: MLOAD
0000347d: DUP1
0000347e: DUP5
0000347f: MSTORE
00003480: PUSH2 0x3490
00003483: DUP2
00003484: PUSH1 0x20
00003486: DUP7
00003487: ADD
00003488: PUSH1 0x20
0000348a: DUP7
0000348b: ADD
0000348c: PUSH2 0x3940
0000348f: JUMP
00003490: JUMPDEST
00003491: PUSH1 0x1f
00003493: ADD
00003494: PUSH1 0x1f
00003496: NOT
00003497: AND
00003498: SWAP3
00003499: SWAP1
0000349a: SWAP3
0000349b: ADD
0000349c: PUSH1 0x20
0000349e: ADD
0000349f: SWAP3
000034a0: SWAP2
000034a1: POP
000034a2: POP
000034a3: JUMP
000034a4: JUMPDEST
000034a5: PUSH1 0x00
000034a7: DUP4
000034a8: MLOAD
000034a9: PUSH2 0x34b6
000034ac: DUP2
000034ad: DUP5
000034ae: PUSH1 0x20
000034b0: DUP9
000034b1: ADD
000034b2: PUSH2 0x3940
000034b5: JUMP
000034b6: JUMPDEST
000034b7: DUP4
000034b8: MLOAD
000034b9: SWAP1
000034ba: DUP4
000034bb: ADD
000034bc: SWAP1
000034bd: PUSH2 0x34ca
000034c0: DUP2
000034c1: DUP4
000034c2: PUSH1 0x20
000034c4: DUP9
000034c5: ADD
000034c6: PUSH2 0x3940
000034c9: JUMP
000034ca: JUMPDEST
000034cb: ADD
000034cc: SWAP5
000034cd: SWAP4
000034ce: POP
000034cf: POP
000034d0: POP
000034d1: POP
000034d2: JUMP
000034d3: JUMPDEST
000034d4: PUSH1 0x00
000034d6: DUP11
000034d7: MLOAD
000034d8: PUSH2 0x34e5
000034db: DUP2
000034dc: DUP5
000034dd: PUSH1 0x20
000034df: DUP16
000034e0: ADD
000034e1: PUSH2 0x3940
000034e4: JUMP
000034e5: JUMPDEST
000034e6: DUP11
000034e7: MLOAD
000034e8: SWAP1
000034e9: DUP4
000034ea: ADD
000034eb: SWAP1
000034ec: PUSH2 0x34f9
000034ef: DUP2
000034f0: DUP4
000034f1: PUSH1 0x20
000034f3: DUP16
000034f4: ADD
000034f5: PUSH2 0x3940
000034f8: JUMP
000034f9: JUMPDEST
000034fa: DUP11
000034fb: MLOAD
000034fc: PUSH2 0x350b
000034ff: DUP2
00003500: DUP4
00003501: DUP6
00003502: ADD
00003503: PUSH1 0x20
00003505: DUP16
00003506: ADD
00003507: PUSH2 0x3940
0000350a: JUMP
0000350b: JUMPDEST
0000350c: DUP11
0000350d: MLOAD
0000350e: SWAP3
0000350f: SWAP1
00003510: SWAP2
00003511: ADD
00003512: ADD
00003513: SWAP1
00003514: PUSH2 0x3521
00003517: DUP2
00003518: DUP4
00003519: PUSH1 0x20
0000351b: DUP14
0000351c: ADD
0000351d: PUSH2 0x3940
00003520: JUMP
00003521: JUMPDEST
00003522: DUP9
00003523: MLOAD
00003524: PUSH2 0x3533
00003527: DUP2
00003528: DUP4
00003529: DUP6
0000352a: ADD
0000352b: PUSH1 0x20
0000352d: DUP14
0000352e: ADD
0000352f: PUSH2 0x3940
00003532: JUMP
00003533: JUMPDEST
00003534: DUP9
00003535: MLOAD
00003536: SWAP3
00003537: SWAP1
00003538: SWAP2
00003539: ADD
0000353a: ADD
0000353b: SWAP1
0000353c: PUSH2 0x3549
0000353f: DUP2
00003540: DUP4
00003541: PUSH1 0x20
00003543: DUP12
00003544: ADD
00003545: PUSH2 0x3940
00003548: JUMP
00003549: JUMPDEST
0000354a: DUP7
0000354b: MLOAD
0000354c: PUSH2 0x355b
0000354f: DUP2
00003550: DUP4
00003551: DUP6
00003552: ADD
00003553: PUSH1 0x20
00003555: DUP12
00003556: ADD
00003557: PUSH2 0x3940
0000355a: JUMP
0000355b: JUMPDEST
0000355c: DUP7
0000355d: MLOAD
0000355e: SWAP3
0000355f: SWAP1
00003560: SWAP2
00003561: ADD
00003562: ADD
00003563: SWAP1
00003564: PUSH2 0x3571
00003567: DUP2
00003568: DUP4
00003569: PUSH1 0x20
0000356b: DUP10
0000356c: ADD
0000356d: PUSH2 0x3940
00003570: JUMP
00003571: JUMPDEST
00003572: DUP5
00003573: MLOAD
00003574: PUSH2 0x3583
00003577: DUP2
00003578: DUP4
00003579: DUP6
0000357a: ADD
0000357b: PUSH1 0x20
0000357d: DUP10
0000357e: ADD
0000357f: PUSH2 0x3940
00003582: JUMP
00003583: JUMPDEST
00003584: SWAP2
00003585: ADD
00003586: ADD
00003587: SWAP12
00003588: SWAP11
00003589: POP
0000358a: POP
0000358b: POP
0000358c: POP
0000358d: POP
0000358e: POP
0000358f: POP
00003590: POP
00003591: POP
00003592: POP
00003593: POP
00003594: JUMP
00003595: JUMPDEST
00003596: PUSH1 0x00
00003598: PUSH1 0x01
0000359a: PUSH1 0x01
0000359c: PUSH1 0xa0
0000359e: SHL
0000359f: SUB
000035a0: DUP1
000035a1: DUP8
000035a2: AND
000035a3: DUP4
000035a4: MSTORE
000035a5: DUP1
000035a6: DUP7
000035a7: AND
000035a8: PUSH1 0x20
000035aa: DUP5
000035ab: ADD
000035ac: MSTORE
000035ad: POP
000035ae: DUP4
000035af: PUSH1 0x40
000035b1: DUP4
000035b2: ADD
000035b3: MSTORE
000035b4: PUSH1 0x80
000035b6: PUSH1 0x60
000035b8: DUP4
000035b9: ADD
000035ba: MSTORE
000035bb: PUSH2 0x35c7
000035be: PUSH1 0x80
000035c0: DUP4
000035c1: ADD
000035c2: DUP5
000035c3: PUSH2 0x3478
000035c6: JUMP
000035c7: JUMPDEST
000035c8: SWAP7
000035c9: SWAP6
000035ca: POP
000035cb: POP
000035cc: POP
000035cd: POP
000035ce: POP
000035cf: POP
000035d0: JUMP
000035d1: JUMPDEST
000035d2: PUSH1 0x20
000035d4: DUP1
000035d5: DUP3
000035d6: MSTORE
000035d7: DUP3
000035d8: MLOAD
000035d9: DUP3
000035da: DUP3
000035db: ADD
000035dc: DUP2
000035dd: SWAP1
000035de: MSTORE
000035df: PUSH1 0x00
000035e1: SWAP2
000035e2: SWAP1
000035e3: DUP5
000035e4: DUP3
000035e5: ADD
000035e6: SWAP1
000035e7: PUSH1 0x40
000035e9: DUP6
000035ea: ADD
000035eb: SWAP1
000035ec: DUP5
000035ed: JUMPDEST
000035ee: DUP2
000035ef: DUP2
000035f0: LT
000035f1: ISZERO
000035f2: PUSH2 0x3609
000035f5: JUMPI
000035f6: DUP4
000035f7: MLOAD
000035f8: DUP4
000035f9: MSTORE
000035fa: SWAP3
000035fb: DUP5
000035fc: ADD
000035fd: SWAP3
000035fe: SWAP2
000035ff: DUP5
00003600: ADD
00003601: SWAP2
00003602: PUSH1 0x01
00003604: ADD
00003605: PUSH2 0x35ed
00003608: JUMP
00003609: JUMPDEST
0000360a: POP
0000360b: SWAP1
0000360c: SWAP7
0000360d: SWAP6
0000360e: POP
0000360f: POP
00003610: POP
00003611: POP
00003612: POP
00003613: POP
00003614: JUMP
00003615: JUMPDEST
00003616: PUSH1 0x20
00003618: DUP2
00003619: MSTORE
0000361a: PUSH1 0x00
0000361c: PUSH2 0x191f
0000361f: PUSH1 0x20
00003621: DUP4
00003622: ADD
00003623: DUP5
00003624: PUSH2 0x3478
00003627: JUMP
00003628: JUMPDEST
00003629: PUSH1 0x60
0000362b: DUP2
0000362c: MSTORE
0000362d: PUSH1 0x00
0000362f: PUSH2 0x363b
00003632: PUSH1 0x60
00003634: DUP4
00003635: ADD
00003636: DUP7
00003637: PUSH2 0x3478
0000363a: JUMP
0000363b: JUMPDEST
0000363c: SWAP1
0000363d: POP
0000363e: DUP4
0000363f: PUSH1 0x20
00003641: DUP4
00003642: ADD
00003643: MSTORE
00003644: PUSH1 0x01
00003646: PUSH1 0x01
00003648: PUSH1 0xa0
0000364a: SHL
0000364b: SUB
0000364c: DUP4
0000364d: AND
0000364e: PUSH1 0x40
00003650: DUP4
00003651: ADD
00003652: MSTORE
00003653: SWAP5
00003654: SWAP4
00003655: POP
00003656: POP
00003657: POP
00003658: POP
00003659: JUMP
0000365a: JUMPDEST
0000365b: PUSH1 0xa0
0000365d: DUP2
0000365e: MSTORE
0000365f: PUSH1 0x00
00003661: PUSH2 0x366d
00003664: PUSH1 0xa0
00003666: DUP4
00003667: ADD
00003668: DUP9
00003669: PUSH2 0x3478
0000366c: JUMP
0000366d: JUMPDEST
0000366e: DUP7
0000366f: PUSH1 0x20
00003671: DUP5
00003672: ADD
00003673: MSTORE
00003674: DUP3
00003675: DUP2
00003676: SUB
00003677: PUSH1 0x40
00003679: DUP5
0000367a: ADD
0000367b: MSTORE
0000367c: PUSH2 0x3685
0000367f: DUP2
00003680: DUP8
00003681: PUSH2 0x3478
00003684: JUMP
00003685: JUMPDEST
00003686: SWAP2
00003687: POP
00003688: POP
00003689: PUSH4 0xffffffff
0000368e: DUP1
0000368f: DUP6
00003690: AND
00003691: PUSH1 0x60
00003693: DUP5
00003694: ADD
00003695: MSTORE
00003696: DUP1
00003697: DUP5
00003698: AND
00003699: PUSH1 0x80
0000369b: DUP5
0000369c: ADD
0000369d: MSTORE
0000369e: POP
0000369f: SWAP7
000036a0: SWAP6
000036a1: POP
000036a2: POP
000036a3: POP
000036a4: POP
000036a5: POP
000036a6: POP
000036a7: JUMP
000036a8: JUMPDEST
000036a9: PUSH1 0x80
000036ab: DUP2
000036ac: MSTORE
000036ad: PUSH1 0x02
000036af: PUSH1 0x80
000036b1: DUP3
000036b2: ADD
000036b3: MSTORE
000036b4: PUSH32 0x3031000000000000000000000000000000000000000000000000000000000000
000036d5: PUSH1 0xa0
000036d7: DUP3
000036d8: ADD
000036d9: MSTORE
000036da: PUSH1 0xc0
000036dc: PUSH1 0x20
000036de: DUP3
000036df: ADD
000036e0: MSTORE
000036e1: PUSH1 0x00
000036e3: PUSH2 0x36ef
000036e6: PUSH1 0xc0
000036e8: DUP4
000036e9: ADD
000036ea: DUP7
000036eb: PUSH2 0x3478
000036ee: JUMP
000036ef: JUMPDEST
000036f0: DUP3
000036f1: DUP2
000036f2: SUB
000036f3: PUSH1 0x40
000036f5: DUP5
000036f6: ADD
000036f7: MSTORE
000036f8: PUSH2 0x3701
000036fb: DUP2
000036fc: DUP7
000036fd: PUSH2 0x3478
00003700: JUMP
00003701: JUMPDEST
00003702: SWAP1
00003703: POP
00003704: DUP3
00003705: DUP2
00003706: SUB
00003707: PUSH1 0x60
00003709: DUP5
0000370a: ADD
0000370b: MSTORE
0000370c: PUSH2 0x35c7
0000370f: DUP2
00003710: DUP6
00003711: PUSH2 0x3478
00003714: JUMP
00003715: JUMPDEST
00003716: PUSH1 0x80
00003718: DUP2
00003719: MSTORE
0000371a: PUSH1 0x02
0000371c: PUSH1 0x80
0000371e: DUP3
0000371f: ADD
00003720: MSTORE
00003721: PUSH32 0x3033000000000000000000000000000000000000000000000000000000000000
00003742: PUSH1 0xa0
00003744: DUP3
00003745: ADD
00003746: MSTORE
00003747: PUSH1 0xc0
00003749: PUSH1 0x20
0000374b: DUP3
0000374c: ADD
0000374d: MSTORE
0000374e: PUSH1 0x00
00003750: PUSH2 0x36ef
00003753: PUSH1 0xc0
00003755: DUP4
00003756: ADD
00003757: DUP7
00003758: PUSH2 0x3478
0000375b: JUMP
0000375c: JUMPDEST
0000375d: PUSH1 0x80
0000375f: DUP2
00003760: MSTORE
00003761: PUSH1 0x02
00003763: PUSH1 0x80
00003765: DUP3
00003766: ADD
00003767: MSTORE
00003768: PUSH32 0x3032000000000000000000000000000000000000000000000000000000000000
00003789: PUSH1 0xa0
0000378b: DUP3
0000378c: ADD
0000378d: MSTORE
0000378e: PUSH1 0xc0
00003790: PUSH1 0x20
00003792: DUP3
00003793: ADD
00003794: MSTORE
00003795: PUSH1 0x00
00003797: PUSH2 0x36ef
0000379a: PUSH1 0xc0
0000379c: DUP4
0000379d: ADD
0000379e: DUP7
0000379f: PUSH2 0x3478
000037a2: JUMP
000037a3: JUMPDEST
000037a4: DUP5
000037a5: DUP2
000037a6: MSTORE
000037a7: PUSH1 0x80
000037a9: PUSH1 0x20
000037ab: DUP3
000037ac: ADD
000037ad: MSTORE
000037ae: PUSH1 0x00
000037b0: PUSH2 0x37bc
000037b3: PUSH1 0x80
000037b5: DUP4
000037b6: ADD
000037b7: DUP7
000037b8: PUSH2 0x3478
000037bb: JUMP
000037bc: JUMPDEST
000037bd: DUP5
000037be: PUSH1 0x40
000037c0: DUP5
000037c1: ADD
000037c2: MSTORE
000037c3: DUP3
000037c4: DUP2
000037c5: SUB
000037c6: PUSH1 0x60
000037c8: DUP5
000037c9: ADD
000037ca: MSTORE
000037cb: PUSH2 0x37d4
000037ce: DUP2
000037cf: DUP6
000037d0: PUSH2 0x3478
000037d3: JUMP
000037d4: JUMPDEST
000037d5: SWAP8
000037d6: SWAP7
000037d7: POP
000037d8: POP
000037d9: POP
000037da: POP
000037db: POP
000037dc: POP
000037dd: POP
000037de: JUMP
000037df: JUMPDEST
000037e0: DUP4
000037e1: DUP2
000037e2: MSTORE
000037e3: DUP3
000037e4: PUSH1 0x20
000037e6: DUP3
000037e7: ADD
000037e8: MSTORE
000037e9: PUSH1 0x60
000037eb: PUSH1 0x40
000037ed: DUP3
000037ee: ADD
000037ef: MSTORE
000037f0: PUSH1 0x00
000037f2: PUSH2 0x37fe
000037f5: PUSH1 0x60
000037f7: DUP4
000037f8: ADD
000037f9: DUP5
000037fa: PUSH2 0x3478
000037fd: JUMP
000037fe: JUMPDEST
000037ff: SWAP6
00003800: SWAP5
00003801: POP
00003802: POP
00003803: POP
00003804: POP
00003805: POP
00003806: JUMP
00003807: JUMPDEST
00003808: DUP7
00003809: DUP2
0000380a: MSTORE
0000380b: DUP6
0000380c: PUSH1 0x20
0000380e: DUP3
0000380f: ADD
00003810: MSTORE
00003811: PUSH1 0xc0
00003813: PUSH1 0x40
00003815: DUP3
00003816: ADD
00003817: MSTORE
00003818: PUSH1 0x00
0000381a: PUSH2 0x3826
0000381d: PUSH1 0xc0
0000381f: DUP4
00003820: ADD
00003821: DUP8
00003822: PUSH2 0x3478
00003825: JUMP
00003826: JUMPDEST
00003827: DUP6
00003828: PUSH1 0x60
0000382a: DUP5
0000382b: ADD
0000382c: MSTORE
0000382d: DUP3
0000382e: DUP2
0000382f: SUB
00003830: PUSH1 0x80
00003832: DUP5
00003833: ADD
00003834: MSTORE
00003835: PUSH2 0x383e
00003838: DUP2
00003839: DUP7
0000383a: PUSH2 0x3478
0000383d: JUMP
0000383e: JUMPDEST
0000383f: SWAP2
00003840: POP
00003841: POP
00003842: PUSH1 0x01
00003844: PUSH1 0x01
00003846: PUSH1 0xa0
00003848: SHL
00003849: SUB
0000384a: DUP4
0000384b: AND
0000384c: PUSH1 0xa0
0000384e: DUP4
0000384f: ADD
00003850: MSTORE
00003851: SWAP8
00003852: SWAP7
00003853: POP
00003854: POP
00003855: POP
00003856: POP
00003857: POP
00003858: POP
00003859: POP
0000385a: JUMP
0000385b: JUMPDEST
0000385c: PUSH1 0x40
0000385e: MLOAD
0000385f: PUSH2 0x0120
00003862: DUP2
00003863: ADD
00003864: PUSH8 0xffffffffffffffff
0000386d: DUP2
0000386e: GT
0000386f: DUP3
00003870: DUP3
00003871: LT
00003872: OR
00003873: ISZERO
00003874: PUSH2 0x387f
00003877: JUMPI
00003878: PUSH2 0x387f
0000387b: PUSH2 0x3a18
0000387e: JUMP
0000387f: JUMPDEST
00003880: PUSH1 0x40
00003882: MSTORE
00003883: SWAP1
00003884: JUMP
00003885: JUMPDEST
00003886: PUSH1 0x40
00003888: MLOAD
00003889: PUSH1 0x1f
0000388b: DUP3
0000388c: ADD
0000388d: PUSH1 0x1f
0000388f: NOT
00003890: AND
00003891: DUP2
00003892: ADD
00003893: PUSH8 0xffffffffffffffff
0000389c: DUP2
0000389d: GT
0000389e: DUP3
0000389f: DUP3
000038a0: LT
000038a1: OR
000038a2: ISZERO
000038a3: PUSH2 0x38ae
000038a6: JUMPI
000038a7: PUSH2 0x38ae
000038aa: PUSH2 0x3a18
000038ad: JUMP
000038ae: JUMPDEST
000038af: PUSH1 0x40
000038b1: MSTORE
000038b2: SWAP2
000038b3: SWAP1
000038b4: POP
000038b5: JUMP
000038b6: JUMPDEST
000038b7: PUSH1 0x00
000038b9: PUSH8 0xffffffffffffffff
000038c2: DUP3
000038c3: GT
000038c4: ISZERO
000038c5: PUSH2 0x38d0
000038c8: JUMPI
000038c9: PUSH2 0x38d0
000038cc: PUSH2 0x3a18
000038cf: JUMP
000038d0: JUMPDEST
000038d1: POP
000038d2: PUSH1 0x1f
000038d4: ADD
000038d5: PUSH1 0x1f
000038d7: NOT
000038d8: AND
000038d9: PUSH1 0x20
000038db: ADD
000038dc: SWAP1
000038dd: JUMP
000038de: JUMPDEST
000038df: PUSH1 0x00
000038e1: DUP3
000038e2: NOT
000038e3: DUP3
000038e4: GT
000038e5: ISZERO
000038e6: PUSH2 0x38f1
000038e9: JUMPI
000038ea: PUSH2 0x38f1
000038ed: PUSH2 0x39d6
000038f0: JUMP
000038f1: JUMPDEST
000038f2: POP
000038f3: ADD
000038f4: SWAP1
000038f5: JUMP
000038f6: JUMPDEST
000038f7: PUSH1 0x00
000038f9: DUP3
000038fa: PUSH2 0x3905
000038fd: JUMPI
000038fe: PUSH2 0x3905
00003901: PUSH2 0x39ec
00003904: JUMP
00003905: JUMPDEST
00003906: POP
00003907: DIV
00003908: SWAP1
00003909: JUMP
0000390a: JUMPDEST
0000390b: PUSH1 0x00
0000390d: DUP2
0000390e: PUSH1 0x00
00003910: NOT
00003911: DIV
00003912: DUP4
00003913: GT
00003914: DUP3
00003915: ISZERO
00003916: ISZERO
00003917: AND
00003918: ISZERO
00003919: PUSH2 0x3924
0000391c: JUMPI
0000391d: PUSH2 0x3924
00003920: PUSH2 0x39d6
00003923: JUMP
00003924: JUMPDEST
00003925: POP
00003926: MUL
00003927: SWAP1
00003928: JUMP
00003929: JUMPDEST
0000392a: PUSH1 0x00
0000392c: DUP3
0000392d: DUP3
0000392e: LT
0000392f: ISZERO
00003930: PUSH2 0x393b
00003933: JUMPI
00003934: PUSH2 0x393b
00003937: PUSH2 0x39d6
0000393a: JUMP
0000393b: JUMPDEST
0000393c: POP
0000393d: SUB
0000393e: SWAP1
0000393f: JUMP
00003940: JUMPDEST
00003941: PUSH1 0x00
00003943: JUMPDEST
00003944: DUP4
00003945: DUP2
00003946: LT
00003947: ISZERO
00003948: PUSH2 0x395b
0000394b: JUMPI
0000394c: DUP2
0000394d: DUP2
0000394e: ADD
0000394f: MLOAD
00003950: DUP4
00003951: DUP3
00003952: ADD
00003953: MSTORE
00003954: PUSH1 0x20
00003956: ADD
00003957: PUSH2 0x3943
0000395a: JUMP
0000395b: JUMPDEST
0000395c: DUP4
0000395d: DUP2
0000395e: GT
0000395f: ISZERO
00003960: PUSH2 0x16d5
00003963: JUMPI
00003964: POP
00003965: POP
00003966: PUSH1 0x00
00003968: SWAP2
00003969: ADD
0000396a: MSTORE
0000396b: JUMP
0000396c: JUMPDEST
0000396d: PUSH1 0x01
0000396f: DUP2
00003970: DUP2
00003971: SHR
00003972: SWAP1
00003973: DUP3
00003974: AND
00003975: DUP1
00003976: PUSH2 0x3980
00003979: JUMPI
0000397a: PUSH1 0x7f
0000397c: DUP3
0000397d: AND
0000397e: SWAP2
0000397f: POP
00003980: JUMPDEST
00003981: PUSH1 0x20
00003983: DUP3
00003984: LT
00003985: DUP2
00003986: EQ
00003987: ISZERO
00003988: PUSH2 0x39a1
0000398b: JUMPI
0000398c: PUSH4 0x4e487b71
00003991: PUSH1 0xe0
00003993: SHL
00003994: PUSH1 0x00
00003996: MSTORE
00003997: PUSH1 0x22
00003999: PUSH1 0x04
0000399b: MSTORE
0000399c: PUSH1 0x24
0000399e: PUSH1 0x00
000039a0: REVERT
000039a1: JUMPDEST
000039a2: POP
000039a3: SWAP2
000039a4: SWAP1
000039a5: POP
000039a6: JUMP
000039a7: JUMPDEST
000039a8: PUSH1 0x00
000039aa: PUSH1 0x00
000039ac: NOT
000039ad: DUP3
000039ae: EQ
000039af: ISZERO
000039b0: PUSH2 0x39bb
000039b3: JUMPI
000039b4: PUSH2 0x39bb
000039b7: PUSH2 0x39d6
000039ba: JUMP
000039bb: JUMPDEST
000039bc: POP
000039bd: PUSH1 0x01
000039bf: ADD
000039c0: SWAP1
000039c1: JUMP
000039c2: JUMPDEST
000039c3: PUSH1 0x00
000039c5: DUP3
000039c6: PUSH2 0x39d1
000039c9: JUMPI
000039ca: PUSH2 0x39d1
000039cd: PUSH2 0x39ec
000039d0: JUMP
000039d1: JUMPDEST
000039d2: POP
000039d3: MOD
000039d4: SWAP1
000039d5: JUMP
000039d6: JUMPDEST
000039d7: PUSH4 0x4e487b71
000039dc: PUSH1 0xe0
000039de: SHL
000039df: PUSH1 0x00
000039e1: MSTORE
000039e2: PUSH1 0x11
000039e4: PUSH1 0x04
000039e6: MSTORE
000039e7: PUSH1 0x24
000039e9: PUSH1 0x00
000039eb: REVERT
000039ec: JUMPDEST
000039ed: PUSH4 0x4e487b71
000039f2: PUSH1 0xe0
000039f4: SHL
000039f5: PUSH1 0x00
000039f7: MSTORE
000039f8: PUSH1 0x12
000039fa: PUSH1 0x04
000039fc: MSTORE
000039fd: PUSH1 0x24
000039ff: PUSH1 0x00
00003a01: REVERT
00003a02: JUMPDEST
00003a03: PUSH4 0x4e487b71
00003a08: PUSH1 0xe0
00003a0a: SHL
00003a0b: PUSH1 0x00
00003a0d: MSTORE
00003a0e: PUSH1 0x32
00003a10: PUSH1 0x04
00003a12: MSTORE
00003a13: PUSH1 0x24
00003a15: PUSH1 0x00
00003a17: REVERT
00003a18: JUMPDEST
00003a19: PUSH4 0x4e487b71
00003a1e: PUSH1 0xe0
00003a20: SHL
00003a21: PUSH1 0x00
00003a23: MSTORE
00003a24: PUSH1 0x41
00003a26: PUSH1 0x04
00003a28: MSTORE
00003a29: PUSH1 0x24
00003a2b: PUSH1 0x00
00003a2d: REVERT
00003a2e: JUMPDEST
00003a2f: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00003a50: DUP2
00003a51: AND
00003a52: DUP2
00003a53: EQ
00003a54: PUSH2 0x0c16
00003a57: JUMPI
00003a58: PUSH1 0x00
00003a5a: DUP1
00003a5b: REVERT
00003a5c: INVALID
00003a5d: PUSH9 0x747470733a2f2f6170
00003a67: PUSH10 0x2e676c7565776176652e
00003a72: PUSH4 0x6f6d2f73
00003a77: PUSH21 0x61747565732fa264697066735822122096f4f03636
00003a8d: DUP7
00003a8e: SWAP5
00003a8f: DIFFICULTY
00003a90: UNKNOWN(0x2B)
00003a91: UNKNOWN(0x28)
00003a92: PUSH31 0x7bfc777b426e36f0f8c4349df5f6b48f352baa758d64736f6c634300080700
00003ab2: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x531ed4296941f3e512a710b9472df0ddc566e4464918832e14ea8c7e2396f4f2
call_targets: 0x7a7fd1034cb577bd567ddbb48ee243a059205842
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x531ed4296941f3e512a710b9472df0ddc566e4464918832e14ea8c7e2396f4f2",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7a7fd1034cb577bd567ddbb48ee243a059205842"
    ],
    "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": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe9e17a9e",
            "selector": "0xe9e17a9e",
            "calldata_variants": [
                "0xe9e17a9e",
                "0xe9e17a9e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf9d6ea59",
            "selector": "0xf9d6ea59",
            "calldata_variants": [
                "0xf9d6ea59",
                "0xf9d6ea590000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc8841821",
            "selector": "0xc8841821",
            "calldata_variants": [
                "0xc8841821",
                "0xc88418210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd0a89d3e",
            "selector": "0xd0a89d3e",
            "calldata_variants": [
                "0xd0a89d3e",
                "0xd0a89d3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd526d661",
            "selector": "0xd526d661",
            "calldata_variants": [
                "0xd526d661",
                "0xd526d6610000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3072,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9310,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9545,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 9,
    "guards_detected": [],
    "untrusted_call_count": 9
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x531ed4296941f3e512a710b9472df0ddc566e4464918832e14ea8c7e2396f4f2
call_targets: 0x7a7fd1034cb577bd567ddbb48ee243a059205842
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x531ed4296941f3e512a710b9472df0ddc566e4464918832e14ea8c7e2396f4f2",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7a7fd1034cb577bd567ddbb48ee243a059205842"
    ],
    "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": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe9e17a9e",
            "selector": "0xe9e17a9e",
            "calldata_variants": [
                "0xe9e17a9e",
                "0xe9e17a9e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf9d6ea59",
            "selector": "0xf9d6ea59",
            "calldata_variants": [
                "0xf9d6ea59",
                "0xf9d6ea590000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc8841821",
            "selector": "0xc8841821",
            "calldata_variants": [
                "0xc8841821",
                "0xc88418210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd0a89d3e",
            "selector": "0xd0a89d3e",
            "calldata_variants": [
                "0xd0a89d3e",
                "0xd0a89d3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd526d661",
            "selector": "0xd526d661",
            "calldata_variants": [
                "0xd526d661",
                "0xd526d6610000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3072,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9310,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9545,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 9,
    "guards_detected": []
}