Tripwire
Find contracts. Test them. Review real vulns.
Analysis Run

019b477e-c813-7086-9ae3-a83c855688db
complete
Chain ID
Address
0x05745e72fb8b4a9b51118a168d956760e4a36444
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?
back to vulns open contract
Confirmed
Validated
Source
Verified
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
26069	artifact.fetch	complete	1 / 3	3 months ago
26070	tool.cast_disasm	complete	1 / 3	3 months ago
113087	analysis.bundle	complete	1 / 3	1 week ago
113088	capability.graph	complete	1 / 3	1 week ago
113089	detector.run	complete	1 / 3	1 week ago
113090	validation.fork	complete	1 / 3	1 week ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
9096
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x023b
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x85983ed8
00000019: GT
0000001a: PUSH2 0x012e
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb88d4fde
00000024: GT
00000025: PUSH2 0x00ab
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe88bca66
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe88bca66
0000003a: EQ
0000003b: PUSH2 0x081f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe985e9c5
00000045: EQ
00000046: PUSH2 0x084a
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x0887
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfd48354e
0000005b: EQ
0000005c: PUSH2 0x08b0
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfe2c7fee
00000066: EQ
00000067: PUSH2 0x08db
0000006a: JUMPI
0000006b: PUSH2 0x023b
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xb88d4fde
00000076: EQ
00000077: PUSH2 0x0747
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xc87b56dd
00000081: EQ
00000082: PUSH2 0x0770
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xc9b298f1
0000008c: EQ
0000008d: PUSH2 0x07ad
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xcc41d795
00000097: EQ
00000098: PUSH2 0x07c9
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xd12f7029
000000a2: EQ
000000a3: PUSH2 0x07f4
000000a6: JUMPI
000000a7: PUSH2 0x023b
000000aa: JUMP
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0xa22cb465
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xa22cb465
000000bd: EQ
000000be: PUSH2 0x0674
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xa6bea44a
000000c8: EQ
000000c9: PUSH2 0x069d
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xa7f93ebd
000000d3: EQ
000000d4: PUSH2 0x06c8
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xa82f518e
000000de: EQ
000000df: PUSH2 0x06f3
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xa9808cb6
000000e9: EQ
000000ea: PUSH2 0x071e
000000ed: JUMPI
000000ee: PUSH2 0x023b
000000f1: JUMP
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0x85983ed8
000000f9: EQ
000000fa: PUSH2 0x05a1
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x8da5cb5b
00000104: EQ
00000105: PUSH2 0x05cc
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x8ef79e91
0000010f: EQ
00000110: PUSH2 0x05f7
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x95d89b41
0000011a: EQ
0000011b: PUSH2 0x0620
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x991dcc69
00000125: EQ
00000126: PUSH2 0x064b
00000129: JUMPI
0000012a: PUSH2 0x023b
0000012d: JUMP
0000012e: JUMPDEST
0000012f: DUP1
00000130: PUSH4 0x3ccfd60b
00000135: GT
00000136: PUSH2 0x01bc
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x6352211e
00000140: GT
00000141: PUSH2 0x0180
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x6352211e
0000014b: EQ
0000014c: PUSH2 0x04ba
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x6bb7b1d9
00000156: EQ
00000157: PUSH2 0x04f7
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x7035bf18
00000161: EQ
00000162: PUSH2 0x0522
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x70a08231
0000016c: EQ
0000016d: PUSH2 0x054d
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0x715018a6
00000177: EQ
00000178: PUSH2 0x058a
0000017b: JUMPI
0000017c: PUSH2 0x023b
0000017f: JUMP
00000180: JUMPDEST
00000181: DUP1
00000182: PUSH4 0x3ccfd60b
00000187: EQ
00000188: PUSH2 0x03fb
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x3f8121a2
00000192: EQ
00000193: PUSH2 0x0412
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x42842e0e
0000019d: EQ
0000019e: PUSH2 0x043b
000001a1: JUMPI
000001a2: DUP1
000001a3: PUSH4 0x4e99b800
000001a8: EQ
000001a9: PUSH2 0x0464
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x53135ca0
000001b3: EQ
000001b4: PUSH2 0x048f
000001b7: JUMPI
000001b8: PUSH2 0x023b
000001bb: JUMP
000001bc: JUMPDEST
000001bd: DUP1
000001be: PUSH4 0x18160ddd
000001c3: GT
000001c4: PUSH2 0x0203
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x18160ddd
000001ce: EQ
000001cf: PUSH2 0x0337
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x23b872dd
000001d9: EQ
000001da: PUSH2 0x0362
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x25fd90f3
000001e4: EQ
000001e5: PUSH2 0x038b
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x2db11544
000001ef: EQ
000001f0: PUSH2 0x03b6
000001f3: JUMPI
000001f4: DUP1
000001f5: PUSH4 0x376c8c64
000001fa: EQ
000001fb: PUSH2 0x03d2
000001fe: JUMPI
000001ff: PUSH2 0x023b
00000202: JUMP
00000203: JUMPDEST
00000204: DUP1
00000205: PUSH4 0x01ffc9a7
0000020a: EQ
0000020b: PUSH2 0x0240
0000020e: JUMPI
0000020f: DUP1
00000210: PUSH4 0x06fdde03
00000215: EQ
00000216: PUSH2 0x027d
00000219: JUMPI
0000021a: DUP1
0000021b: PUSH4 0x081812fc
00000220: EQ
00000221: PUSH2 0x02a8
00000224: JUMPI
00000225: DUP1
00000226: PUSH4 0x095ea7b3
0000022b: EQ
0000022c: PUSH2 0x02e5
0000022f: JUMPI
00000230: DUP1
00000231: PUSH4 0x12f26140
00000236: EQ
00000237: PUSH2 0x030e
0000023a: JUMPI
0000023b: JUMPDEST
0000023c: PUSH1 0x00
0000023e: DUP1
0000023f: REVERT
00000240: JUMPDEST
00000241: CALLVALUE
00000242: DUP1
00000243: ISZERO
00000244: PUSH2 0x024c
00000247: JUMPI
00000248: PUSH1 0x00
0000024a: DUP1
0000024b: REVERT
0000024c: JUMPDEST
0000024d: POP
0000024e: PUSH2 0x0267
00000251: PUSH1 0x04
00000253: DUP1
00000254: CALLDATASIZE
00000255: SUB
00000256: DUP2
00000257: ADD
00000258: SWAP1
00000259: PUSH2 0x0262
0000025c: SWAP2
0000025d: SWAP1
0000025e: PUSH2 0x3609
00000261: JUMP
00000262: JUMPDEST
00000263: PUSH2 0x0904
00000266: JUMP
00000267: JUMPDEST
00000268: PUSH1 0x40
0000026a: MLOAD
0000026b: PUSH2 0x0274
0000026e: SWAP2
0000026f: SWAP1
00000270: PUSH2 0x3b07
00000273: JUMP
00000274: JUMPDEST
00000275: PUSH1 0x40
00000277: MLOAD
00000278: DUP1
00000279: SWAP2
0000027a: SUB
0000027b: SWAP1
0000027c: RETURN
0000027d: JUMPDEST
0000027e: CALLVALUE
0000027f: DUP1
00000280: ISZERO
00000281: PUSH2 0x0289
00000284: JUMPI
00000285: PUSH1 0x00
00000287: DUP1
00000288: REVERT
00000289: JUMPDEST
0000028a: POP
0000028b: PUSH2 0x0292
0000028e: PUSH2 0x09e6
00000291: JUMP
00000292: JUMPDEST
00000293: PUSH1 0x40
00000295: MLOAD
00000296: PUSH2 0x029f
00000299: SWAP2
0000029a: SWAP1
0000029b: PUSH2 0x3b22
0000029e: JUMP
0000029f: JUMPDEST
000002a0: PUSH1 0x40
000002a2: MLOAD
000002a3: DUP1
000002a4: SWAP2
000002a5: SUB
000002a6: SWAP1
000002a7: RETURN
000002a8: JUMPDEST
000002a9: CALLVALUE
000002aa: DUP1
000002ab: ISZERO
000002ac: PUSH2 0x02b4
000002af: JUMPI
000002b0: PUSH1 0x00
000002b2: DUP1
000002b3: REVERT
000002b4: JUMPDEST
000002b5: POP
000002b6: PUSH2 0x02cf
000002b9: PUSH1 0x04
000002bb: DUP1
000002bc: CALLDATASIZE
000002bd: SUB
000002be: DUP2
000002bf: ADD
000002c0: SWAP1
000002c1: PUSH2 0x02ca
000002c4: SWAP2
000002c5: SWAP1
000002c6: PUSH2 0x369c
000002c9: JUMP
000002ca: JUMPDEST
000002cb: PUSH2 0x0a78
000002ce: JUMP
000002cf: JUMPDEST
000002d0: PUSH1 0x40
000002d2: MLOAD
000002d3: PUSH2 0x02dc
000002d6: SWAP2
000002d7: SWAP1
000002d8: PUSH2 0x3aa0
000002db: JUMP
000002dc: JUMPDEST
000002dd: PUSH1 0x40
000002df: MLOAD
000002e0: DUP1
000002e1: SWAP2
000002e2: SUB
000002e3: SWAP1
000002e4: RETURN
000002e5: JUMPDEST
000002e6: CALLVALUE
000002e7: DUP1
000002e8: ISZERO
000002e9: PUSH2 0x02f1
000002ec: JUMPI
000002ed: PUSH1 0x00
000002ef: DUP1
000002f0: REVERT
000002f1: JUMPDEST
000002f2: POP
000002f3: PUSH2 0x030c
000002f6: PUSH1 0x04
000002f8: DUP1
000002f9: CALLDATASIZE
000002fa: SUB
000002fb: DUP2
000002fc: ADD
000002fd: SWAP1
000002fe: PUSH2 0x0307
00000301: SWAP2
00000302: SWAP1
00000303: PUSH2 0x353f
00000306: JUMP
00000307: JUMPDEST
00000308: PUSH2 0x0af4
0000030b: JUMP
0000030c: JUMPDEST
0000030d: STOP
0000030e: JUMPDEST
0000030f: CALLVALUE
00000310: DUP1
00000311: ISZERO
00000312: PUSH2 0x031a
00000315: JUMPI
00000316: PUSH1 0x00
00000318: DUP1
00000319: REVERT
0000031a: JUMPDEST
0000031b: POP
0000031c: PUSH2 0x0335
0000031f: PUSH1 0x04
00000321: DUP1
00000322: CALLDATASIZE
00000323: SUB
00000324: DUP2
00000325: ADD
00000326: SWAP1
00000327: PUSH2 0x0330
0000032a: SWAP2
0000032b: SWAP1
0000032c: PUSH2 0x33d4
0000032f: JUMP
00000330: JUMPDEST
00000331: PUSH2 0x0bff
00000334: JUMP
00000335: JUMPDEST
00000336: STOP
00000337: JUMPDEST
00000338: CALLVALUE
00000339: DUP1
0000033a: ISZERO
0000033b: PUSH2 0x0343
0000033e: JUMPI
0000033f: PUSH1 0x00
00000341: DUP1
00000342: REVERT
00000343: JUMPDEST
00000344: POP
00000345: PUSH2 0x034c
00000348: PUSH2 0x0cbf
0000034b: JUMP
0000034c: JUMPDEST
0000034d: PUSH1 0x40
0000034f: MLOAD
00000350: PUSH2 0x0359
00000353: SWAP2
00000354: SWAP1
00000355: PUSH2 0x3d44
00000358: JUMP
00000359: JUMPDEST
0000035a: PUSH1 0x40
0000035c: MLOAD
0000035d: DUP1
0000035e: SWAP2
0000035f: SUB
00000360: SWAP1
00000361: RETURN
00000362: JUMPDEST
00000363: CALLVALUE
00000364: DUP1
00000365: ISZERO
00000366: PUSH2 0x036e
00000369: JUMPI
0000036a: PUSH1 0x00
0000036c: DUP1
0000036d: REVERT
0000036e: JUMPDEST
0000036f: POP
00000370: PUSH2 0x0389
00000373: PUSH1 0x04
00000375: DUP1
00000376: CALLDATASIZE
00000377: SUB
00000378: DUP2
00000379: ADD
0000037a: SWAP1
0000037b: PUSH2 0x0384
0000037e: SWAP2
0000037f: SWAP1
00000380: PUSH2 0x3439
00000383: JUMP
00000384: JUMPDEST
00000385: PUSH2 0x0cd6
00000388: JUMP
00000389: JUMPDEST
0000038a: STOP
0000038b: JUMPDEST
0000038c: CALLVALUE
0000038d: DUP1
0000038e: ISZERO
0000038f: PUSH2 0x0397
00000392: JUMPI
00000393: PUSH1 0x00
00000395: DUP1
00000396: REVERT
00000397: JUMPDEST
00000398: POP
00000399: PUSH2 0x03a0
0000039c: PUSH2 0x0ce6
0000039f: JUMP
000003a0: JUMPDEST
000003a1: PUSH1 0x40
000003a3: MLOAD
000003a4: PUSH2 0x03ad
000003a7: SWAP2
000003a8: SWAP1
000003a9: PUSH2 0x3b07
000003ac: JUMP
000003ad: JUMPDEST
000003ae: PUSH1 0x40
000003b0: MLOAD
000003b1: DUP1
000003b2: SWAP2
000003b3: SUB
000003b4: SWAP1
000003b5: RETURN
000003b6: JUMPDEST
000003b7: PUSH2 0x03d0
000003ba: PUSH1 0x04
000003bc: DUP1
000003bd: CALLDATASIZE
000003be: SUB
000003bf: DUP2
000003c0: ADD
000003c1: SWAP1
000003c2: PUSH2 0x03cb
000003c5: SWAP2
000003c6: SWAP1
000003c7: PUSH2 0x369c
000003ca: JUMP
000003cb: JUMPDEST
000003cc: PUSH2 0x0cf9
000003cf: JUMP
000003d0: JUMPDEST
000003d1: STOP
000003d2: JUMPDEST
000003d3: CALLVALUE
000003d4: DUP1
000003d5: ISZERO
000003d6: PUSH2 0x03de
000003d9: JUMPI
000003da: PUSH1 0x00
000003dc: DUP1
000003dd: REVERT
000003de: JUMPDEST
000003df: POP
000003e0: PUSH2 0x03f9
000003e3: PUSH1 0x04
000003e5: DUP1
000003e6: CALLDATASIZE
000003e7: SUB
000003e8: DUP2
000003e9: ADD
000003ea: SWAP1
000003eb: PUSH2 0x03f4
000003ee: SWAP2
000003ef: SWAP1
000003f0: PUSH2 0x33d4
000003f3: JUMP
000003f4: JUMPDEST
000003f5: PUSH2 0x0e91
000003f8: JUMP
000003f9: JUMPDEST
000003fa: STOP
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 0x0410
0000040c: PUSH2 0x0fde
0000040f: JUMP
00000410: JUMPDEST
00000411: STOP
00000412: JUMPDEST
00000413: CALLVALUE
00000414: DUP1
00000415: ISZERO
00000416: PUSH2 0x041e
00000419: JUMPI
0000041a: PUSH1 0x00
0000041c: DUP1
0000041d: REVERT
0000041e: JUMPDEST
0000041f: POP
00000420: PUSH2 0x0439
00000423: PUSH1 0x04
00000425: DUP1
00000426: CALLDATASIZE
00000427: SUB
00000428: DUP2
00000429: ADD
0000042a: SWAP1
0000042b: PUSH2 0x0434
0000042e: SWAP2
0000042f: SWAP1
00000430: PUSH2 0x357b
00000433: JUMP
00000434: JUMPDEST
00000435: PUSH2 0x10a3
00000438: JUMP
00000439: JUMPDEST
0000043a: STOP
0000043b: JUMPDEST
0000043c: CALLVALUE
0000043d: DUP1
0000043e: ISZERO
0000043f: PUSH2 0x0447
00000442: JUMPI
00000443: PUSH1 0x00
00000445: DUP1
00000446: REVERT
00000447: JUMPDEST
00000448: POP
00000449: PUSH2 0x0462
0000044c: PUSH1 0x04
0000044e: DUP1
0000044f: CALLDATASIZE
00000450: SUB
00000451: DUP2
00000452: ADD
00000453: SWAP1
00000454: PUSH2 0x045d
00000457: SWAP2
00000458: SWAP1
00000459: PUSH2 0x3439
0000045c: JUMP
0000045d: JUMPDEST
0000045e: PUSH2 0x113c
00000461: JUMP
00000462: JUMPDEST
00000463: STOP
00000464: JUMPDEST
00000465: CALLVALUE
00000466: DUP1
00000467: ISZERO
00000468: PUSH2 0x0470
0000046b: JUMPI
0000046c: PUSH1 0x00
0000046e: DUP1
0000046f: REVERT
00000470: JUMPDEST
00000471: POP
00000472: PUSH2 0x0479
00000475: PUSH2 0x115c
00000478: JUMP
00000479: JUMPDEST
0000047a: PUSH1 0x40
0000047c: MLOAD
0000047d: PUSH2 0x0486
00000480: SWAP2
00000481: SWAP1
00000482: PUSH2 0x3b22
00000485: JUMP
00000486: JUMPDEST
00000487: PUSH1 0x40
00000489: MLOAD
0000048a: DUP1
0000048b: SWAP2
0000048c: SUB
0000048d: SWAP1
0000048e: RETURN
0000048f: JUMPDEST
00000490: CALLVALUE
00000491: DUP1
00000492: ISZERO
00000493: PUSH2 0x049b
00000496: JUMPI
00000497: PUSH1 0x00
00000499: DUP1
0000049a: REVERT
0000049b: JUMPDEST
0000049c: POP
0000049d: PUSH2 0x04a4
000004a0: PUSH2 0x11ea
000004a3: JUMP
000004a4: JUMPDEST
000004a5: PUSH1 0x40
000004a7: MLOAD
000004a8: PUSH2 0x04b1
000004ab: SWAP2
000004ac: SWAP1
000004ad: PUSH2 0x3b07
000004b0: JUMP
000004b1: JUMPDEST
000004b2: PUSH1 0x40
000004b4: MLOAD
000004b5: DUP1
000004b6: SWAP2
000004b7: SUB
000004b8: SWAP1
000004b9: RETURN
000004ba: JUMPDEST
000004bb: CALLVALUE
000004bc: DUP1
000004bd: ISZERO
000004be: PUSH2 0x04c6
000004c1: JUMPI
000004c2: PUSH1 0x00
000004c4: DUP1
000004c5: REVERT
000004c6: JUMPDEST
000004c7: POP
000004c8: PUSH2 0x04e1
000004cb: PUSH1 0x04
000004cd: DUP1
000004ce: CALLDATASIZE
000004cf: SUB
000004d0: DUP2
000004d1: ADD
000004d2: SWAP1
000004d3: PUSH2 0x04dc
000004d6: SWAP2
000004d7: SWAP1
000004d8: PUSH2 0x369c
000004db: JUMP
000004dc: JUMPDEST
000004dd: PUSH2 0x11fd
000004e0: JUMP
000004e1: JUMPDEST
000004e2: PUSH1 0x40
000004e4: MLOAD
000004e5: PUSH2 0x04ee
000004e8: SWAP2
000004e9: SWAP1
000004ea: PUSH2 0x3aa0
000004ed: JUMP
000004ee: JUMPDEST
000004ef: PUSH1 0x40
000004f1: MLOAD
000004f2: DUP1
000004f3: SWAP2
000004f4: SUB
000004f5: SWAP1
000004f6: RETURN
000004f7: JUMPDEST
000004f8: CALLVALUE
000004f9: DUP1
000004fa: ISZERO
000004fb: PUSH2 0x0503
000004fe: JUMPI
000004ff: PUSH1 0x00
00000501: DUP1
00000502: REVERT
00000503: JUMPDEST
00000504: POP
00000505: PUSH2 0x050c
00000508: PUSH2 0x1213
0000050b: JUMP
0000050c: JUMPDEST
0000050d: PUSH1 0x40
0000050f: MLOAD
00000510: PUSH2 0x0519
00000513: SWAP2
00000514: SWAP1
00000515: PUSH2 0x3d44
00000518: JUMP
00000519: JUMPDEST
0000051a: PUSH1 0x40
0000051c: MLOAD
0000051d: DUP1
0000051e: SWAP2
0000051f: SUB
00000520: SWAP1
00000521: RETURN
00000522: JUMPDEST
00000523: CALLVALUE
00000524: DUP1
00000525: ISZERO
00000526: PUSH2 0x052e
00000529: JUMPI
0000052a: PUSH1 0x00
0000052c: DUP1
0000052d: REVERT
0000052e: JUMPDEST
0000052f: POP
00000530: PUSH2 0x0537
00000533: PUSH2 0x1219
00000536: JUMP
00000537: JUMPDEST
00000538: PUSH1 0x40
0000053a: MLOAD
0000053b: PUSH2 0x0544
0000053e: SWAP2
0000053f: SWAP1
00000540: PUSH2 0x3b22
00000543: JUMP
00000544: JUMPDEST
00000545: PUSH1 0x40
00000547: MLOAD
00000548: DUP1
00000549: SWAP2
0000054a: SUB
0000054b: SWAP1
0000054c: RETURN
0000054d: JUMPDEST
0000054e: CALLVALUE
0000054f: DUP1
00000550: ISZERO
00000551: PUSH2 0x0559
00000554: JUMPI
00000555: PUSH1 0x00
00000557: DUP1
00000558: REVERT
00000559: JUMPDEST
0000055a: POP
0000055b: PUSH2 0x0574
0000055e: PUSH1 0x04
00000560: DUP1
00000561: CALLDATASIZE
00000562: SUB
00000563: DUP2
00000564: ADD
00000565: SWAP1
00000566: PUSH2 0x056f
00000569: SWAP2
0000056a: SWAP1
0000056b: PUSH2 0x33d4
0000056e: JUMP
0000056f: JUMPDEST
00000570: PUSH2 0x12a7
00000573: JUMP
00000574: JUMPDEST
00000575: PUSH1 0x40
00000577: MLOAD
00000578: PUSH2 0x0581
0000057b: SWAP2
0000057c: SWAP1
0000057d: PUSH2 0x3d44
00000580: JUMP
00000581: JUMPDEST
00000582: PUSH1 0x40
00000584: MLOAD
00000585: DUP1
00000586: SWAP2
00000587: SUB
00000588: SWAP1
00000589: RETURN
0000058a: JUMPDEST
0000058b: CALLVALUE
0000058c: DUP1
0000058d: ISZERO
0000058e: PUSH2 0x0596
00000591: JUMPI
00000592: PUSH1 0x00
00000594: DUP1
00000595: REVERT
00000596: JUMPDEST
00000597: POP
00000598: PUSH2 0x059f
0000059b: PUSH2 0x1377
0000059e: JUMP
0000059f: JUMPDEST
000005a0: STOP
000005a1: JUMPDEST
000005a2: CALLVALUE
000005a3: DUP1
000005a4: ISZERO
000005a5: PUSH2 0x05ad
000005a8: JUMPI
000005a9: PUSH1 0x00
000005ab: DUP1
000005ac: REVERT
000005ad: JUMPDEST
000005ae: POP
000005af: PUSH2 0x05b6
000005b2: PUSH2 0x13ff
000005b5: JUMP
000005b6: JUMPDEST
000005b7: PUSH1 0x40
000005b9: MLOAD
000005ba: PUSH2 0x05c3
000005bd: SWAP2
000005be: SWAP1
000005bf: PUSH2 0x3d44
000005c2: JUMP
000005c3: JUMPDEST
000005c4: PUSH1 0x40
000005c6: MLOAD
000005c7: DUP1
000005c8: SWAP2
000005c9: SUB
000005ca: SWAP1
000005cb: RETURN
000005cc: JUMPDEST
000005cd: CALLVALUE
000005ce: DUP1
000005cf: ISZERO
000005d0: PUSH2 0x05d8
000005d3: JUMPI
000005d4: PUSH1 0x00
000005d6: DUP1
000005d7: REVERT
000005d8: JUMPDEST
000005d9: POP
000005da: PUSH2 0x05e1
000005dd: PUSH2 0x140b
000005e0: JUMP
000005e1: JUMPDEST
000005e2: PUSH1 0x40
000005e4: MLOAD
000005e5: PUSH2 0x05ee
000005e8: SWAP2
000005e9: SWAP1
000005ea: PUSH2 0x3aa0
000005ed: JUMP
000005ee: JUMPDEST
000005ef: PUSH1 0x40
000005f1: MLOAD
000005f2: DUP1
000005f3: SWAP2
000005f4: SUB
000005f5: SWAP1
000005f6: RETURN
000005f7: JUMPDEST
000005f8: CALLVALUE
000005f9: DUP1
000005fa: ISZERO
000005fb: PUSH2 0x0603
000005fe: JUMPI
000005ff: PUSH1 0x00
00000601: DUP1
00000602: REVERT
00000603: JUMPDEST
00000604: POP
00000605: PUSH2 0x061e
00000608: PUSH1 0x04
0000060a: DUP1
0000060b: CALLDATASIZE
0000060c: SUB
0000060d: DUP2
0000060e: ADD
0000060f: SWAP1
00000610: PUSH2 0x0619
00000613: SWAP2
00000614: SWAP1
00000615: PUSH2 0x365b
00000618: JUMP
00000619: JUMPDEST
0000061a: PUSH2 0x1435
0000061d: JUMP
0000061e: JUMPDEST
0000061f: STOP
00000620: JUMPDEST
00000621: CALLVALUE
00000622: DUP1
00000623: ISZERO
00000624: PUSH2 0x062c
00000627: JUMPI
00000628: PUSH1 0x00
0000062a: DUP1
0000062b: REVERT
0000062c: JUMPDEST
0000062d: POP
0000062e: PUSH2 0x0635
00000631: PUSH2 0x14cb
00000634: JUMP
00000635: JUMPDEST
00000636: PUSH1 0x40
00000638: MLOAD
00000639: PUSH2 0x0642
0000063c: SWAP2
0000063d: SWAP1
0000063e: PUSH2 0x3b22
00000641: JUMP
00000642: JUMPDEST
00000643: PUSH1 0x40
00000645: MLOAD
00000646: DUP1
00000647: SWAP2
00000648: SUB
00000649: SWAP1
0000064a: RETURN
0000064b: JUMPDEST
0000064c: CALLVALUE
0000064d: DUP1
0000064e: ISZERO
0000064f: PUSH2 0x0657
00000652: JUMPI
00000653: PUSH1 0x00
00000655: DUP1
00000656: REVERT
00000657: JUMPDEST
00000658: POP
00000659: PUSH2 0x0672
0000065c: PUSH1 0x04
0000065e: DUP1
0000065f: CALLDATASIZE
00000660: SUB
00000661: DUP2
00000662: ADD
00000663: SWAP1
00000664: PUSH2 0x066d
00000667: SWAP2
00000668: SWAP1
00000669: PUSH2 0x369c
0000066c: JUMP
0000066d: JUMPDEST
0000066e: PUSH2 0x155d
00000671: JUMP
00000672: JUMPDEST
00000673: STOP
00000674: JUMPDEST
00000675: CALLVALUE
00000676: DUP1
00000677: ISZERO
00000678: PUSH2 0x0680
0000067b: JUMPI
0000067c: PUSH1 0x00
0000067e: DUP1
0000067f: REVERT
00000680: JUMPDEST
00000681: POP
00000682: PUSH2 0x069b
00000685: PUSH1 0x04
00000687: DUP1
00000688: CALLDATASIZE
00000689: SUB
0000068a: DUP2
0000068b: ADD
0000068c: SWAP1
0000068d: PUSH2 0x0696
00000690: SWAP2
00000691: SWAP1
00000692: PUSH2 0x3503
00000695: JUMP
00000696: JUMPDEST
00000697: PUSH2 0x15e3
0000069a: JUMP
0000069b: JUMPDEST
0000069c: STOP
0000069d: JUMPDEST
0000069e: CALLVALUE
0000069f: DUP1
000006a0: ISZERO
000006a1: PUSH2 0x06a9
000006a4: JUMPI
000006a5: PUSH1 0x00
000006a7: DUP1
000006a8: REVERT
000006a9: JUMPDEST
000006aa: POP
000006ab: PUSH2 0x06b2
000006ae: PUSH2 0x175b
000006b1: JUMP
000006b2: JUMPDEST
000006b3: PUSH1 0x40
000006b5: MLOAD
000006b6: PUSH2 0x06bf
000006b9: SWAP2
000006ba: SWAP1
000006bb: PUSH2 0x3d44
000006be: JUMP
000006bf: JUMPDEST
000006c0: PUSH1 0x40
000006c2: MLOAD
000006c3: DUP1
000006c4: SWAP2
000006c5: SUB
000006c6: SWAP1
000006c7: RETURN
000006c8: JUMPDEST
000006c9: CALLVALUE
000006ca: DUP1
000006cb: ISZERO
000006cc: PUSH2 0x06d4
000006cf: JUMPI
000006d0: PUSH1 0x00
000006d2: DUP1
000006d3: REVERT
000006d4: JUMPDEST
000006d5: POP
000006d6: PUSH2 0x06dd
000006d9: PUSH2 0x1761
000006dc: JUMP
000006dd: JUMPDEST
000006de: PUSH1 0x40
000006e0: MLOAD
000006e1: PUSH2 0x06ea
000006e4: SWAP2
000006e5: SWAP1
000006e6: PUSH2 0x3d44
000006e9: JUMP
000006ea: JUMPDEST
000006eb: PUSH1 0x40
000006ed: MLOAD
000006ee: DUP1
000006ef: SWAP2
000006f0: SUB
000006f1: SWAP1
000006f2: RETURN
000006f3: JUMPDEST
000006f4: CALLVALUE
000006f5: DUP1
000006f6: ISZERO
000006f7: PUSH2 0x06ff
000006fa: JUMPI
000006fb: PUSH1 0x00
000006fd: DUP1
000006fe: REVERT
000006ff: JUMPDEST
00000700: POP
00000701: PUSH2 0x0708
00000704: PUSH2 0x184a
00000707: JUMP
00000708: JUMPDEST
00000709: PUSH1 0x40
0000070b: MLOAD
0000070c: PUSH2 0x0715
0000070f: SWAP2
00000710: SWAP1
00000711: PUSH2 0x3d44
00000714: JUMP
00000715: JUMPDEST
00000716: PUSH1 0x40
00000718: MLOAD
00000719: DUP1
0000071a: SWAP2
0000071b: SUB
0000071c: SWAP1
0000071d: RETURN
0000071e: JUMPDEST
0000071f: CALLVALUE
00000720: DUP1
00000721: ISZERO
00000722: PUSH2 0x072a
00000725: JUMPI
00000726: PUSH1 0x00
00000728: DUP1
00000729: REVERT
0000072a: JUMPDEST
0000072b: POP
0000072c: PUSH2 0x0745
0000072f: PUSH1 0x04
00000731: DUP1
00000732: CALLDATASIZE
00000733: SUB
00000734: DUP2
00000735: ADD
00000736: SWAP1
00000737: PUSH2 0x0740
0000073a: SWAP2
0000073b: SWAP1
0000073c: PUSH2 0x35cd
0000073f: JUMP
00000740: JUMPDEST
00000741: PUSH2 0x184f
00000744: JUMP
00000745: JUMPDEST
00000746: STOP
00000747: JUMPDEST
00000748: CALLVALUE
00000749: DUP1
0000074a: ISZERO
0000074b: PUSH2 0x0753
0000074e: JUMPI
0000074f: PUSH1 0x00
00000751: DUP1
00000752: REVERT
00000753: JUMPDEST
00000754: POP
00000755: PUSH2 0x076e
00000758: PUSH1 0x04
0000075a: DUP1
0000075b: CALLDATASIZE
0000075c: SUB
0000075d: DUP2
0000075e: ADD
0000075f: SWAP1
00000760: PUSH2 0x0769
00000763: SWAP2
00000764: SWAP1
00000765: PUSH2 0x3488
00000768: JUMP
00000769: JUMPDEST
0000076a: PUSH2 0x191c
0000076d: JUMP
0000076e: JUMPDEST
0000076f: STOP
00000770: JUMPDEST
00000771: CALLVALUE
00000772: DUP1
00000773: ISZERO
00000774: PUSH2 0x077c
00000777: JUMPI
00000778: PUSH1 0x00
0000077a: DUP1
0000077b: REVERT
0000077c: JUMPDEST
0000077d: POP
0000077e: PUSH2 0x0797
00000781: PUSH1 0x04
00000783: DUP1
00000784: CALLDATASIZE
00000785: SUB
00000786: DUP2
00000787: ADD
00000788: SWAP1
00000789: PUSH2 0x0792
0000078c: SWAP2
0000078d: SWAP1
0000078e: PUSH2 0x369c
00000791: JUMP
00000792: JUMPDEST
00000793: PUSH2 0x1998
00000796: JUMP
00000797: JUMPDEST
00000798: PUSH1 0x40
0000079a: MLOAD
0000079b: PUSH2 0x07a4
0000079e: SWAP2
0000079f: SWAP1
000007a0: PUSH2 0x3b22
000007a3: JUMP
000007a4: JUMPDEST
000007a5: PUSH1 0x40
000007a7: MLOAD
000007a8: DUP1
000007a9: SWAP2
000007aa: SUB
000007ab: SWAP1
000007ac: RETURN
000007ad: JUMPDEST
000007ae: PUSH2 0x07c7
000007b1: PUSH1 0x04
000007b3: DUP1
000007b4: CALLDATASIZE
000007b5: SUB
000007b6: DUP2
000007b7: ADD
000007b8: SWAP1
000007b9: PUSH2 0x07c2
000007bc: SWAP2
000007bd: SWAP1
000007be: PUSH2 0x369c
000007c1: JUMP
000007c2: JUMPDEST
000007c3: PUSH2 0x1ac3
000007c6: JUMP
000007c7: JUMPDEST
000007c8: STOP
000007c9: JUMPDEST
000007ca: CALLVALUE
000007cb: DUP1
000007cc: ISZERO
000007cd: PUSH2 0x07d5
000007d0: JUMPI
000007d1: PUSH1 0x00
000007d3: DUP1
000007d4: REVERT
000007d5: JUMPDEST
000007d6: POP
000007d7: PUSH2 0x07de
000007da: PUSH2 0x1c7e
000007dd: JUMP
000007de: JUMPDEST
000007df: PUSH1 0x40
000007e1: MLOAD
000007e2: PUSH2 0x07eb
000007e5: SWAP2
000007e6: SWAP1
000007e7: PUSH2 0x3b07
000007ea: JUMP
000007eb: JUMPDEST
000007ec: PUSH1 0x40
000007ee: MLOAD
000007ef: DUP1
000007f0: SWAP2
000007f1: SUB
000007f2: SWAP1
000007f3: RETURN
000007f4: JUMPDEST
000007f5: CALLVALUE
000007f6: DUP1
000007f7: ISZERO
000007f8: PUSH2 0x0800
000007fb: JUMPI
000007fc: PUSH1 0x00
000007fe: DUP1
000007ff: REVERT
00000800: JUMPDEST
00000801: POP
00000802: PUSH2 0x0809
00000805: PUSH2 0x1c91
00000808: JUMP
00000809: JUMPDEST
0000080a: PUSH1 0x40
0000080c: MLOAD
0000080d: PUSH2 0x0816
00000810: SWAP2
00000811: SWAP1
00000812: PUSH2 0x3d44
00000815: JUMP
00000816: JUMPDEST
00000817: PUSH1 0x40
00000819: MLOAD
0000081a: DUP1
0000081b: SWAP2
0000081c: SUB
0000081d: SWAP1
0000081e: RETURN
0000081f: JUMPDEST
00000820: CALLVALUE
00000821: DUP1
00000822: ISZERO
00000823: PUSH2 0x082b
00000826: JUMPI
00000827: PUSH1 0x00
00000829: DUP1
0000082a: REVERT
0000082b: JUMPDEST
0000082c: POP
0000082d: PUSH2 0x0834
00000830: PUSH2 0x1c9d
00000833: JUMP
00000834: JUMPDEST
00000835: PUSH1 0x40
00000837: MLOAD
00000838: PUSH2 0x0841
0000083b: SWAP2
0000083c: SWAP1
0000083d: PUSH2 0x3d44
00000840: JUMP
00000841: JUMPDEST
00000842: PUSH1 0x40
00000844: MLOAD
00000845: DUP1
00000846: SWAP2
00000847: SUB
00000848: SWAP1
00000849: RETURN
0000084a: JUMPDEST
0000084b: CALLVALUE
0000084c: DUP1
0000084d: ISZERO
0000084e: PUSH2 0x0856
00000851: JUMPI
00000852: PUSH1 0x00
00000854: DUP1
00000855: REVERT
00000856: JUMPDEST
00000857: POP
00000858: PUSH2 0x0871
0000085b: PUSH1 0x04
0000085d: DUP1
0000085e: CALLDATASIZE
0000085f: SUB
00000860: DUP2
00000861: ADD
00000862: SWAP1
00000863: PUSH2 0x086c
00000866: SWAP2
00000867: SWAP1
00000868: PUSH2 0x33fd
0000086b: JUMP
0000086c: JUMPDEST
0000086d: PUSH2 0x1ca3
00000870: JUMP
00000871: JUMPDEST
00000872: PUSH1 0x40
00000874: MLOAD
00000875: PUSH2 0x087e
00000878: SWAP2
00000879: SWAP1
0000087a: PUSH2 0x3b07
0000087d: JUMP
0000087e: JUMPDEST
0000087f: PUSH1 0x40
00000881: MLOAD
00000882: DUP1
00000883: SWAP2
00000884: SUB
00000885: SWAP1
00000886: RETURN
00000887: JUMPDEST
00000888: CALLVALUE
00000889: DUP1
0000088a: ISZERO
0000088b: PUSH2 0x0893
0000088e: JUMPI
0000088f: PUSH1 0x00
00000891: DUP1
00000892: REVERT
00000893: JUMPDEST
00000894: POP
00000895: PUSH2 0x08ae
00000898: PUSH1 0x04
0000089a: DUP1
0000089b: CALLDATASIZE
0000089c: SUB
0000089d: DUP2
0000089e: ADD
0000089f: SWAP1
000008a0: PUSH2 0x08a9
000008a3: SWAP2
000008a4: SWAP1
000008a5: PUSH2 0x33d4
000008a8: JUMP
000008a9: JUMPDEST
000008aa: PUSH2 0x1d37
000008ad: JUMP
000008ae: JUMPDEST
000008af: STOP
000008b0: JUMPDEST
000008b1: CALLVALUE
000008b2: DUP1
000008b3: ISZERO
000008b4: PUSH2 0x08bc
000008b7: JUMPI
000008b8: PUSH1 0x00
000008ba: DUP1
000008bb: REVERT
000008bc: JUMPDEST
000008bd: POP
000008be: PUSH2 0x08c5
000008c1: PUSH2 0x1e2f
000008c4: JUMP
000008c5: JUMPDEST
000008c6: PUSH1 0x40
000008c8: MLOAD
000008c9: PUSH2 0x08d2
000008cc: SWAP2
000008cd: SWAP1
000008ce: PUSH2 0x3d44
000008d1: JUMP
000008d2: JUMPDEST
000008d3: PUSH1 0x40
000008d5: MLOAD
000008d6: DUP1
000008d7: SWAP2
000008d8: SUB
000008d9: SWAP1
000008da: RETURN
000008db: JUMPDEST
000008dc: CALLVALUE
000008dd: DUP1
000008de: ISZERO
000008df: PUSH2 0x08e7
000008e2: JUMPI
000008e3: PUSH1 0x00
000008e5: DUP1
000008e6: REVERT
000008e7: JUMPDEST
000008e8: POP
000008e9: PUSH2 0x0902
000008ec: PUSH1 0x04
000008ee: DUP1
000008ef: CALLDATASIZE
000008f0: SUB
000008f1: DUP2
000008f2: ADD
000008f3: SWAP1
000008f4: PUSH2 0x08fd
000008f7: SWAP2
000008f8: SWAP1
000008f9: PUSH2 0x365b
000008fc: JUMP
000008fd: JUMPDEST
000008fe: PUSH2 0x1e35
00000901: JUMP
00000902: JUMPDEST
00000903: STOP
00000904: JUMPDEST
00000905: PUSH1 0x00
00000907: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000
00000928: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000945: NOT
00000946: AND
00000947: DUP3
00000948: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000965: NOT
00000966: AND
00000967: EQ
00000968: DUP1
00000969: PUSH2 0x09cf
0000096c: JUMPI
0000096d: POP
0000096e: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000
0000098f: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000009ac: NOT
000009ad: AND
000009ae: DUP3
000009af: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000009cc: NOT
000009cd: AND
000009ce: EQ
000009cf: JUMPDEST
000009d0: DUP1
000009d1: PUSH2 0x09df
000009d4: JUMPI
000009d5: POP
000009d6: PUSH2 0x09de
000009d9: DUP3
000009da: PUSH2 0x1ecb
000009dd: JUMP
000009de: JUMPDEST
000009df: JUMPDEST
000009e0: SWAP1
000009e1: POP
000009e2: SWAP2
000009e3: SWAP1
000009e4: POP
000009e5: JUMP
000009e6: JUMPDEST
000009e7: PUSH1 0x60
000009e9: PUSH1 0x02
000009eb: DUP1
000009ec: SLOAD
000009ed: PUSH2 0x09f5
000009f0: SWAP1
000009f1: PUSH2 0x404b
000009f4: JUMP
000009f5: JUMPDEST
000009f6: DUP1
000009f7: PUSH1 0x1f
000009f9: ADD
000009fa: PUSH1 0x20
000009fc: DUP1
000009fd: SWAP2
000009fe: DIV
000009ff: MUL
00000a00: PUSH1 0x20
00000a02: ADD
00000a03: PUSH1 0x40
00000a05: MLOAD
00000a06: SWAP1
00000a07: DUP2
00000a08: ADD
00000a09: PUSH1 0x40
00000a0b: MSTORE
00000a0c: DUP1
00000a0d: SWAP3
00000a0e: SWAP2
00000a0f: SWAP1
00000a10: DUP2
00000a11: DUP2
00000a12: MSTORE
00000a13: PUSH1 0x20
00000a15: ADD
00000a16: DUP3
00000a17: DUP1
00000a18: SLOAD
00000a19: PUSH2 0x0a21
00000a1c: SWAP1
00000a1d: PUSH2 0x404b
00000a20: JUMP
00000a21: JUMPDEST
00000a22: DUP1
00000a23: ISZERO
00000a24: PUSH2 0x0a6e
00000a27: JUMPI
00000a28: DUP1
00000a29: PUSH1 0x1f
00000a2b: LT
00000a2c: PUSH2 0x0a43
00000a2f: JUMPI
00000a30: PUSH2 0x0100
00000a33: DUP1
00000a34: DUP4
00000a35: SLOAD
00000a36: DIV
00000a37: MUL
00000a38: DUP4
00000a39: MSTORE
00000a3a: SWAP2
00000a3b: PUSH1 0x20
00000a3d: ADD
00000a3e: SWAP2
00000a3f: PUSH2 0x0a6e
00000a42: JUMP
00000a43: JUMPDEST
00000a44: DUP3
00000a45: ADD
00000a46: SWAP2
00000a47: SWAP1
00000a48: PUSH1 0x00
00000a4a: MSTORE
00000a4b: PUSH1 0x20
00000a4d: PUSH1 0x00
00000a4f: KECCAK256
00000a50: SWAP1
00000a51: JUMPDEST
00000a52: DUP2
00000a53: SLOAD
00000a54: DUP2
00000a55: MSTORE
00000a56: SWAP1
00000a57: PUSH1 0x01
00000a59: ADD
00000a5a: SWAP1
00000a5b: PUSH1 0x20
00000a5d: ADD
00000a5e: DUP1
00000a5f: DUP4
00000a60: GT
00000a61: PUSH2 0x0a51
00000a64: JUMPI
00000a65: DUP3
00000a66: SWAP1
00000a67: SUB
00000a68: PUSH1 0x1f
00000a6a: AND
00000a6b: DUP3
00000a6c: ADD
00000a6d: SWAP2
00000a6e: JUMPDEST
00000a6f: POP
00000a70: POP
00000a71: POP
00000a72: POP
00000a73: POP
00000a74: SWAP1
00000a75: POP
00000a76: SWAP1
00000a77: JUMP
00000a78: JUMPDEST
00000a79: PUSH1 0x00
00000a7b: PUSH2 0x0a83
00000a7e: DUP3
00000a7f: PUSH2 0x1f35
00000a82: JUMP
00000a83: JUMPDEST
00000a84: PUSH2 0x0ab9
00000a87: JUMPI
00000a88: PUSH1 0x40
00000a8a: MLOAD
00000a8b: PUSH32 0xcf4700e400000000000000000000000000000000000000000000000000000000
00000aac: DUP2
00000aad: MSTORE
00000aae: PUSH1 0x04
00000ab0: ADD
00000ab1: PUSH1 0x40
00000ab3: MLOAD
00000ab4: DUP1
00000ab5: SWAP2
00000ab6: SUB
00000ab7: SWAP1
00000ab8: REVERT
00000ab9: JUMPDEST
00000aba: PUSH1 0x06
00000abc: PUSH1 0x00
00000abe: DUP4
00000abf: DUP2
00000ac0: MSTORE
00000ac1: PUSH1 0x20
00000ac3: ADD
00000ac4: SWAP1
00000ac5: DUP2
00000ac6: MSTORE
00000ac7: PUSH1 0x20
00000ac9: ADD
00000aca: PUSH1 0x00
00000acc: KECCAK256
00000acd: PUSH1 0x00
00000acf: SWAP1
00000ad0: SLOAD
00000ad1: SWAP1
00000ad2: PUSH2 0x0100
00000ad5: EXP
00000ad6: SWAP1
00000ad7: DIV
00000ad8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aed: AND
00000aee: SWAP1
00000aef: POP
00000af0: SWAP2
00000af1: SWAP1
00000af2: POP
00000af3: JUMP
00000af4: JUMPDEST
00000af5: PUSH1 0x00
00000af7: PUSH2 0x0aff
00000afa: DUP3
00000afb: PUSH2 0x11fd
00000afe: JUMP
00000aff: JUMPDEST
00000b00: SWAP1
00000b01: POP
00000b02: DUP1
00000b03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b18: AND
00000b19: DUP4
00000b1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b2f: AND
00000b30: EQ
00000b31: ISZERO
00000b32: PUSH2 0x0b67
00000b35: JUMPI
00000b36: PUSH1 0x40
00000b38: MLOAD
00000b39: PUSH32 0x943f7b8c00000000000000000000000000000000000000000000000000000000
00000b5a: DUP2
00000b5b: MSTORE
00000b5c: PUSH1 0x04
00000b5e: ADD
00000b5f: PUSH1 0x40
00000b61: MLOAD
00000b62: DUP1
00000b63: SWAP2
00000b64: SUB
00000b65: SWAP1
00000b66: REVERT
00000b67: JUMPDEST
00000b68: DUP1
00000b69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b7e: AND
00000b7f: PUSH2 0x0b86
00000b82: PUSH2 0x1f83
00000b85: JUMP
00000b86: JUMPDEST
00000b87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b9c: AND
00000b9d: EQ
00000b9e: ISZERO
00000b9f: DUP1
00000ba0: ISZERO
00000ba1: PUSH2 0x0bb8
00000ba4: JUMPI
00000ba5: POP
00000ba6: PUSH2 0x0bb6
00000ba9: DUP2
00000baa: PUSH2 0x0bb1
00000bad: PUSH2 0x1f83
00000bb0: JUMP
00000bb1: JUMPDEST
00000bb2: PUSH2 0x1ca3
00000bb5: JUMP
00000bb6: JUMPDEST
00000bb7: ISZERO
00000bb8: JUMPDEST
00000bb9: ISZERO
00000bba: PUSH2 0x0bef
00000bbd: JUMPI
00000bbe: PUSH1 0x40
00000bc0: MLOAD
00000bc1: PUSH32 0xcfb3b94200000000000000000000000000000000000000000000000000000000
00000be2: DUP2
00000be3: MSTORE
00000be4: PUSH1 0x04
00000be6: ADD
00000be7: PUSH1 0x40
00000be9: MLOAD
00000bea: DUP1
00000beb: SWAP2
00000bec: SUB
00000bed: SWAP1
00000bee: REVERT
00000bef: JUMPDEST
00000bf0: PUSH2 0x0bfa
00000bf3: DUP4
00000bf4: DUP4
00000bf5: DUP4
00000bf6: PUSH2 0x1f8b
00000bf9: JUMP
00000bfa: JUMPDEST
00000bfb: POP
00000bfc: POP
00000bfd: POP
00000bfe: JUMP
00000bff: JUMPDEST
00000c00: PUSH2 0x0c07
00000c03: PUSH2 0x1f83
00000c06: JUMP
00000c07: JUMPDEST
00000c08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c1d: AND
00000c1e: PUSH2 0x0c25
00000c21: PUSH2 0x140b
00000c24: JUMP
00000c25: JUMPDEST
00000c26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c3b: AND
00000c3c: EQ
00000c3d: PUSH2 0x0c7b
00000c40: JUMPI
00000c41: PUSH1 0x40
00000c43: MLOAD
00000c44: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c65: DUP2
00000c66: MSTORE
00000c67: PUSH1 0x04
00000c69: ADD
00000c6a: PUSH2 0x0c72
00000c6d: SWAP1
00000c6e: PUSH2 0x3c24
00000c71: JUMP
00000c72: JUMPDEST
00000c73: PUSH1 0x40
00000c75: MLOAD
00000c76: DUP1
00000c77: SWAP2
00000c78: SUB
00000c79: SWAP1
00000c7a: REVERT
00000c7b: JUMPDEST
00000c7c: DUP1
00000c7d: PUSH1 0x0a
00000c7f: PUSH1 0x00
00000c81: PUSH2 0x0100
00000c84: EXP
00000c85: DUP2
00000c86: SLOAD
00000c87: DUP2
00000c88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c9d: MUL
00000c9e: NOT
00000c9f: AND
00000ca0: SWAP1
00000ca1: DUP4
00000ca2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cb7: AND
00000cb8: MUL
00000cb9: OR
00000cba: SWAP1
00000cbb: SSTORE
00000cbc: POP
00000cbd: POP
00000cbe: JUMP
00000cbf: JUMPDEST
00000cc0: PUSH1 0x00
00000cc2: PUSH2 0x0cc9
00000cc5: PUSH2 0x203d
00000cc8: JUMP
00000cc9: JUMPDEST
00000cca: PUSH1 0x01
00000ccc: SLOAD
00000ccd: PUSH1 0x00
00000ccf: SLOAD
00000cd0: SUB
00000cd1: SUB
00000cd2: SWAP1
00000cd3: POP
00000cd4: SWAP1
00000cd5: JUMP
00000cd6: JUMPDEST
00000cd7: PUSH2 0x0ce1
00000cda: DUP4
00000cdb: DUP4
00000cdc: DUP4
00000cdd: PUSH2 0x2042
00000ce0: JUMP
00000ce1: JUMPDEST
00000ce2: POP
00000ce3: POP
00000ce4: POP
00000ce5: JUMP
00000ce6: JUMPDEST
00000ce7: PUSH1 0x12
00000ce9: PUSH1 0x01
00000ceb: SWAP1
00000cec: SLOAD
00000ced: SWAP1
00000cee: PUSH2 0x0100
00000cf1: EXP
00000cf2: SWAP1
00000cf3: DIV
00000cf4: PUSH1 0xff
00000cf6: AND
00000cf7: DUP2
00000cf8: JUMP
00000cf9: JUMPDEST
00000cfa: PUSH1 0x02
00000cfc: PUSH1 0x09
00000cfe: SLOAD
00000cff: EQ
00000d00: ISZERO
00000d01: PUSH2 0x0d3f
00000d04: JUMPI
00000d05: PUSH1 0x40
00000d07: MLOAD
00000d08: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d29: DUP2
00000d2a: MSTORE
00000d2b: PUSH1 0x04
00000d2d: ADD
00000d2e: PUSH2 0x0d36
00000d31: SWAP1
00000d32: PUSH2 0x3ce4
00000d35: JUMP
00000d36: JUMPDEST
00000d37: PUSH1 0x40
00000d39: MLOAD
00000d3a: DUP1
00000d3b: SWAP2
00000d3c: SUB
00000d3d: SWAP1
00000d3e: REVERT
00000d3f: JUMPDEST
00000d40: PUSH1 0x02
00000d42: PUSH1 0x09
00000d44: DUP2
00000d45: SWAP1
00000d46: SSTORE
00000d47: POP
00000d48: PUSH1 0x12
00000d4a: PUSH1 0x01
00000d4c: SWAP1
00000d4d: SLOAD
00000d4e: SWAP1
00000d4f: PUSH2 0x0100
00000d52: EXP
00000d53: SWAP1
00000d54: DIV
00000d55: PUSH1 0xff
00000d57: AND
00000d58: PUSH2 0x0d96
00000d5b: JUMPI
00000d5c: PUSH1 0x40
00000d5e: MLOAD
00000d5f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d80: DUP2
00000d81: MSTORE
00000d82: PUSH1 0x04
00000d84: ADD
00000d85: PUSH2 0x0d8d
00000d88: SWAP1
00000d89: PUSH2 0x3b84
00000d8c: JUMP
00000d8d: JUMPDEST
00000d8e: PUSH1 0x40
00000d90: MLOAD
00000d91: DUP1
00000d92: SWAP2
00000d93: SUB
00000d94: SWAP1
00000d95: REVERT
00000d96: JUMPDEST
00000d97: CALLER
00000d98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dad: AND
00000dae: ORIGIN
00000daf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dc4: AND
00000dc5: EQ
00000dc6: PUSH2 0x0e04
00000dc9: JUMPI
00000dca: PUSH1 0x40
00000dcc: MLOAD
00000dcd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000dee: DUP2
00000def: MSTORE
00000df0: PUSH1 0x04
00000df2: ADD
00000df3: PUSH2 0x0dfb
00000df6: SWAP1
00000df7: PUSH2 0x3be4
00000dfa: JUMP
00000dfb: JUMPDEST
00000dfc: PUSH1 0x40
00000dfe: MLOAD
00000dff: DUP1
00000e00: SWAP2
00000e01: SUB
00000e02: SWAP1
00000e03: REVERT
00000e04: JUMPDEST
00000e05: PUSH1 0x00
00000e07: DUP2
00000e08: PUSH2 0x0e0f
00000e0b: PUSH2 0x1761
00000e0e: JUMP
00000e0f: JUMPDEST
00000e10: PUSH2 0x0e19
00000e13: SWAP2
00000e14: SWAP1
00000e15: PUSH2 0x3f07
00000e18: JUMP
00000e19: JUMPDEST
00000e1a: SWAP1
00000e1b: POP
00000e1c: DUP1
00000e1d: CALLVALUE
00000e1e: LT
00000e1f: ISZERO
00000e20: PUSH2 0x0e5e
00000e23: JUMPI
00000e24: PUSH1 0x40
00000e26: MLOAD
00000e27: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e48: DUP2
00000e49: MSTORE
00000e4a: PUSH1 0x04
00000e4c: ADD
00000e4d: PUSH2 0x0e55
00000e50: SWAP1
00000e51: PUSH2 0x3d04
00000e54: JUMP
00000e55: JUMPDEST
00000e56: PUSH1 0x40
00000e58: MLOAD
00000e59: DUP1
00000e5a: SWAP2
00000e5b: SUB
00000e5c: SWAP1
00000e5d: REVERT
00000e5e: JUMPDEST
00000e5f: PUSH2 0x0e67
00000e62: DUP3
00000e63: PUSH2 0x24f8
00000e66: JUMP
00000e67: JUMPDEST
00000e68: DUP1
00000e69: CALLVALUE
00000e6a: GT
00000e6b: ISZERO
00000e6c: PUSH2 0x0e85
00000e6f: JUMPI
00000e70: PUSH2 0x0e84
00000e73: CALLER
00000e74: DUP3
00000e75: CALLVALUE
00000e76: PUSH2 0x0e7f
00000e79: SWAP2
00000e7a: SWAP1
00000e7b: PUSH2 0x3f61
00000e7e: JUMP
00000e7f: JUMPDEST
00000e80: PUSH2 0x25e4
00000e83: JUMP
00000e84: JUMPDEST
00000e85: JUMPDEST
00000e86: POP
00000e87: PUSH1 0x01
00000e89: PUSH1 0x09
00000e8b: DUP2
00000e8c: SWAP1
00000e8d: SSTORE
00000e8e: POP
00000e8f: POP
00000e90: JUMP
00000e91: JUMPDEST
00000e92: PUSH2 0x0e99
00000e95: PUSH2 0x1f83
00000e98: JUMP
00000e99: JUMPDEST
00000e9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eaf: AND
00000eb0: PUSH2 0x0eb7
00000eb3: PUSH2 0x140b
00000eb6: JUMP
00000eb7: JUMPDEST
00000eb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ecd: AND
00000ece: EQ
00000ecf: PUSH2 0x0f0d
00000ed2: JUMPI
00000ed3: PUSH1 0x40
00000ed5: MLOAD
00000ed6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ef7: DUP2
00000ef8: MSTORE
00000ef9: PUSH1 0x04
00000efb: ADD
00000efc: PUSH2 0x0f04
00000eff: SWAP1
00000f00: PUSH2 0x3c24
00000f03: JUMP
00000f04: JUMPDEST
00000f05: PUSH1 0x40
00000f07: MLOAD
00000f08: DUP1
00000f09: SWAP2
00000f0a: SUB
00000f0b: SWAP1
00000f0c: REVERT
00000f0d: JUMPDEST
00000f0e: PUSH1 0x12
00000f10: PUSH1 0x02
00000f12: SWAP1
00000f13: SLOAD
00000f14: SWAP1
00000f15: PUSH2 0x0100
00000f18: EXP
00000f19: SWAP1
00000f1a: DIV
00000f1b: PUSH1 0xff
00000f1d: AND
00000f1e: ISZERO
00000f1f: PUSH2 0x0f5d
00000f22: JUMPI
00000f23: PUSH1 0x40
00000f25: MLOAD
00000f26: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f47: DUP2
00000f48: MSTORE
00000f49: PUSH1 0x04
00000f4b: ADD
00000f4c: PUSH2 0x0f54
00000f4f: SWAP1
00000f50: PUSH2 0x3b64
00000f53: JUMP
00000f54: JUMPDEST
00000f55: PUSH1 0x40
00000f57: MLOAD
00000f58: DUP1
00000f59: SWAP2
00000f5a: SUB
00000f5b: SWAP1
00000f5c: REVERT
00000f5d: JUMPDEST
00000f5e: PUSH1 0x0c
00000f60: SLOAD
00000f61: PUSH1 0x64
00000f63: PUSH2 0x0f6a
00000f66: PUSH2 0x26d8
00000f69: JUMP
00000f6a: JUMPDEST
00000f6b: PUSH2 0x0f74
00000f6e: SWAP2
00000f6f: SWAP1
00000f70: PUSH2 0x3e80
00000f73: JUMP
00000f74: JUMPDEST
00000f75: GT
00000f76: ISZERO
00000f77: PUSH2 0x0fb5
00000f7a: JUMPI
00000f7b: PUSH1 0x40
00000f7d: MLOAD
00000f7e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f9f: DUP2
00000fa0: MSTORE
00000fa1: PUSH1 0x04
00000fa3: ADD
00000fa4: PUSH2 0x0fac
00000fa7: SWAP1
00000fa8: PUSH2 0x3d24
00000fab: JUMP
00000fac: JUMPDEST
00000fad: PUSH1 0x40
00000faf: MLOAD
00000fb0: DUP1
00000fb1: SWAP2
00000fb2: SUB
00000fb3: SWAP1
00000fb4: REVERT
00000fb5: JUMPDEST
00000fb6: PUSH2 0x0fc0
00000fb9: DUP2
00000fba: PUSH1 0x64
00000fbc: PUSH2 0x26eb
00000fbf: JUMP
00000fc0: JUMPDEST
00000fc1: PUSH1 0x01
00000fc3: PUSH1 0x12
00000fc5: PUSH1 0x02
00000fc7: PUSH2 0x0100
00000fca: EXP
00000fcb: DUP2
00000fcc: SLOAD
00000fcd: DUP2
00000fce: PUSH1 0xff
00000fd0: MUL
00000fd1: NOT
00000fd2: AND
00000fd3: SWAP1
00000fd4: DUP4
00000fd5: ISZERO
00000fd6: ISZERO
00000fd7: MUL
00000fd8: OR
00000fd9: SWAP1
00000fda: SSTORE
00000fdb: POP
00000fdc: POP
00000fdd: JUMP
00000fde: JUMPDEST
00000fdf: PUSH2 0x0fe6
00000fe2: PUSH2 0x1f83
00000fe5: JUMP
00000fe6: JUMPDEST
00000fe7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ffc: AND
00000ffd: PUSH2 0x1004
00001000: PUSH2 0x140b
00001003: JUMP
00001004: JUMPDEST
00001005: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000101a: AND
0000101b: EQ
0000101c: PUSH2 0x105a
0000101f: JUMPI
00001020: PUSH1 0x40
00001022: MLOAD
00001023: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001044: DUP2
00001045: MSTORE
00001046: PUSH1 0x04
00001048: ADD
00001049: PUSH2 0x1051
0000104c: SWAP1
0000104d: PUSH2 0x3c24
00001050: JUMP
00001051: JUMPDEST
00001052: PUSH1 0x40
00001054: MLOAD
00001055: DUP1
00001056: SWAP2
00001057: SUB
00001058: SWAP1
00001059: REVERT
0000105a: JUMPDEST
0000105b: CALLER
0000105c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001071: AND
00001072: PUSH2 0x08fc
00001075: SELFBALANCE
00001076: SWAP1
00001077: DUP2
00001078: ISZERO
00001079: MUL
0000107a: SWAP1
0000107b: PUSH1 0x40
0000107d: MLOAD
0000107e: PUSH1 0x00
00001080: PUSH1 0x40
00001082: MLOAD
00001083: DUP1
00001084: DUP4
00001085: SUB
00001086: DUP2
00001087: DUP6
00001088: DUP9
00001089: DUP9
0000108a: CALL
0000108b: SWAP4
0000108c: POP
0000108d: POP
0000108e: POP
0000108f: POP
00001090: ISZERO
00001091: DUP1
00001092: ISZERO
00001093: PUSH2 0x10a0
00001096: JUMPI
00001097: RETURNDATASIZE
00001098: PUSH1 0x00
0000109a: DUP1
0000109b: RETURNDATACOPY
0000109c: RETURNDATASIZE
0000109d: PUSH1 0x00
0000109f: REVERT
000010a0: JUMPDEST
000010a1: POP
000010a2: JUMP
000010a3: JUMPDEST
000010a4: PUSH2 0x10ab
000010a7: PUSH2 0x1f83
000010aa: JUMP
000010ab: JUMPDEST
000010ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c1: AND
000010c2: PUSH2 0x10c9
000010c5: PUSH2 0x140b
000010c8: JUMP
000010c9: JUMPDEST
000010ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010df: AND
000010e0: EQ
000010e1: PUSH2 0x111f
000010e4: JUMPI
000010e5: PUSH1 0x40
000010e7: MLOAD
000010e8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001109: DUP2
0000110a: MSTORE
0000110b: PUSH1 0x04
0000110d: ADD
0000110e: PUSH2 0x1116
00001111: SWAP1
00001112: PUSH2 0x3c24
00001115: JUMP
00001116: JUMPDEST
00001117: PUSH1 0x40
00001119: MLOAD
0000111a: DUP1
0000111b: SWAP2
0000111c: SUB
0000111d: SWAP1
0000111e: REVERT
0000111f: JUMPDEST
00001120: DUP1
00001121: PUSH1 0x12
00001123: PUSH1 0x00
00001125: PUSH2 0x0100
00001128: EXP
00001129: DUP2
0000112a: SLOAD
0000112b: DUP2
0000112c: PUSH1 0xff
0000112e: MUL
0000112f: NOT
00001130: AND
00001131: SWAP1
00001132: DUP4
00001133: ISZERO
00001134: ISZERO
00001135: MUL
00001136: OR
00001137: SWAP1
00001138: SSTORE
00001139: POP
0000113a: POP
0000113b: JUMP
0000113c: JUMPDEST
0000113d: PUSH2 0x1157
00001140: DUP4
00001141: DUP4
00001142: DUP4
00001143: PUSH1 0x40
00001145: MLOAD
00001146: DUP1
00001147: PUSH1 0x20
00001149: ADD
0000114a: PUSH1 0x40
0000114c: MSTORE
0000114d: DUP1
0000114e: PUSH1 0x00
00001150: DUP2
00001151: MSTORE
00001152: POP
00001153: PUSH2 0x191c
00001156: JUMP
00001157: JUMPDEST
00001158: POP
00001159: POP
0000115a: POP
0000115b: JUMP
0000115c: JUMPDEST
0000115d: PUSH1 0x10
0000115f: DUP1
00001160: SLOAD
00001161: PUSH2 0x1169
00001164: SWAP1
00001165: PUSH2 0x404b
00001168: JUMP
00001169: JUMPDEST
0000116a: DUP1
0000116b: PUSH1 0x1f
0000116d: ADD
0000116e: PUSH1 0x20
00001170: DUP1
00001171: SWAP2
00001172: DIV
00001173: MUL
00001174: PUSH1 0x20
00001176: ADD
00001177: PUSH1 0x40
00001179: MLOAD
0000117a: SWAP1
0000117b: DUP2
0000117c: ADD
0000117d: PUSH1 0x40
0000117f: MSTORE
00001180: DUP1
00001181: SWAP3
00001182: SWAP2
00001183: SWAP1
00001184: DUP2
00001185: DUP2
00001186: MSTORE
00001187: PUSH1 0x20
00001189: ADD
0000118a: DUP3
0000118b: DUP1
0000118c: SLOAD
0000118d: PUSH2 0x1195
00001190: SWAP1
00001191: PUSH2 0x404b
00001194: JUMP
00001195: JUMPDEST
00001196: DUP1
00001197: ISZERO
00001198: PUSH2 0x11e2
0000119b: JUMPI
0000119c: DUP1
0000119d: PUSH1 0x1f
0000119f: LT
000011a0: PUSH2 0x11b7
000011a3: JUMPI
000011a4: PUSH2 0x0100
000011a7: DUP1
000011a8: DUP4
000011a9: SLOAD
000011aa: DIV
000011ab: MUL
000011ac: DUP4
000011ad: MSTORE
000011ae: SWAP2
000011af: PUSH1 0x20
000011b1: ADD
000011b2: SWAP2
000011b3: PUSH2 0x11e2
000011b6: JUMP
000011b7: JUMPDEST
000011b8: DUP3
000011b9: ADD
000011ba: SWAP2
000011bb: SWAP1
000011bc: PUSH1 0x00
000011be: MSTORE
000011bf: PUSH1 0x20
000011c1: PUSH1 0x00
000011c3: KECCAK256
000011c4: SWAP1
000011c5: JUMPDEST
000011c6: DUP2
000011c7: SLOAD
000011c8: DUP2
000011c9: MSTORE
000011ca: SWAP1
000011cb: PUSH1 0x01
000011cd: ADD
000011ce: SWAP1
000011cf: PUSH1 0x20
000011d1: ADD
000011d2: DUP1
000011d3: DUP4
000011d4: GT
000011d5: PUSH2 0x11c5
000011d8: JUMPI
000011d9: DUP3
000011da: SWAP1
000011db: SUB
000011dc: PUSH1 0x1f
000011de: AND
000011df: DUP3
000011e0: ADD
000011e1: SWAP2
000011e2: JUMPDEST
000011e3: POP
000011e4: POP
000011e5: POP
000011e6: POP
000011e7: POP
000011e8: DUP2
000011e9: JUMP
000011ea: JUMPDEST
000011eb: PUSH1 0x12
000011ed: PUSH1 0x00
000011ef: SWAP1
000011f0: SLOAD
000011f1: SWAP1
000011f2: PUSH2 0x0100
000011f5: EXP
000011f6: SWAP1
000011f7: DIV
000011f8: PUSH1 0xff
000011fa: AND
000011fb: DUP2
000011fc: JUMP
000011fd: JUMPDEST
000011fe: PUSH1 0x00
00001200: PUSH2 0x1208
00001203: DUP3
00001204: PUSH2 0x2709
00001207: JUMP
00001208: JUMPDEST
00001209: PUSH1 0x00
0000120b: ADD
0000120c: MLOAD
0000120d: SWAP1
0000120e: POP
0000120f: SWAP2
00001210: SWAP1
00001211: POP
00001212: JUMP
00001213: JUMPDEST
00001214: PUSH1 0x0f
00001216: SLOAD
00001217: DUP2
00001218: JUMP
00001219: JUMPDEST
0000121a: PUSH1 0x11
0000121c: DUP1
0000121d: SLOAD
0000121e: PUSH2 0x1226
00001221: SWAP1
00001222: PUSH2 0x404b
00001225: JUMP
00001226: JUMPDEST
00001227: DUP1
00001228: PUSH1 0x1f
0000122a: ADD
0000122b: PUSH1 0x20
0000122d: DUP1
0000122e: SWAP2
0000122f: DIV
00001230: MUL
00001231: PUSH1 0x20
00001233: ADD
00001234: PUSH1 0x40
00001236: MLOAD
00001237: SWAP1
00001238: DUP2
00001239: ADD
0000123a: PUSH1 0x40
0000123c: MSTORE
0000123d: DUP1
0000123e: SWAP3
0000123f: SWAP2
00001240: SWAP1
00001241: DUP2
00001242: DUP2
00001243: MSTORE
00001244: PUSH1 0x20
00001246: ADD
00001247: DUP3
00001248: DUP1
00001249: SLOAD
0000124a: PUSH2 0x1252
0000124d: SWAP1
0000124e: PUSH2 0x404b
00001251: JUMP
00001252: JUMPDEST
00001253: DUP1
00001254: ISZERO
00001255: PUSH2 0x129f
00001258: JUMPI
00001259: DUP1
0000125a: PUSH1 0x1f
0000125c: LT
0000125d: PUSH2 0x1274
00001260: JUMPI
00001261: PUSH2 0x0100
00001264: DUP1
00001265: DUP4
00001266: SLOAD
00001267: DIV
00001268: MUL
00001269: DUP4
0000126a: MSTORE
0000126b: SWAP2
0000126c: PUSH1 0x20
0000126e: ADD
0000126f: SWAP2
00001270: PUSH2 0x129f
00001273: JUMP
00001274: JUMPDEST
00001275: DUP3
00001276: ADD
00001277: SWAP2
00001278: SWAP1
00001279: PUSH1 0x00
0000127b: MSTORE
0000127c: PUSH1 0x20
0000127e: PUSH1 0x00
00001280: KECCAK256
00001281: SWAP1
00001282: JUMPDEST
00001283: DUP2
00001284: SLOAD
00001285: DUP2
00001286: MSTORE
00001287: SWAP1
00001288: PUSH1 0x01
0000128a: ADD
0000128b: SWAP1
0000128c: PUSH1 0x20
0000128e: ADD
0000128f: DUP1
00001290: DUP4
00001291: GT
00001292: PUSH2 0x1282
00001295: JUMPI
00001296: DUP3
00001297: SWAP1
00001298: SUB
00001299: PUSH1 0x1f
0000129b: AND
0000129c: DUP3
0000129d: ADD
0000129e: SWAP2
0000129f: JUMPDEST
000012a0: POP
000012a1: POP
000012a2: POP
000012a3: POP
000012a4: POP
000012a5: DUP2
000012a6: JUMP
000012a7: JUMPDEST
000012a8: PUSH1 0x00
000012aa: DUP1
000012ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012c0: AND
000012c1: DUP3
000012c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012d7: AND
000012d8: EQ
000012d9: ISZERO
000012da: PUSH2 0x130f
000012dd: JUMPI
000012de: PUSH1 0x40
000012e0: MLOAD
000012e1: PUSH32 0x8f4eb60400000000000000000000000000000000000000000000000000000000
00001302: DUP2
00001303: MSTORE
00001304: PUSH1 0x04
00001306: ADD
00001307: PUSH1 0x40
00001309: MLOAD
0000130a: DUP1
0000130b: SWAP2
0000130c: SUB
0000130d: SWAP1
0000130e: REVERT
0000130f: JUMPDEST
00001310: PUSH1 0x05
00001312: PUSH1 0x00
00001314: DUP4
00001315: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000132a: AND
0000132b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001340: AND
00001341: DUP2
00001342: MSTORE
00001343: PUSH1 0x20
00001345: ADD
00001346: SWAP1
00001347: DUP2
00001348: MSTORE
00001349: PUSH1 0x20
0000134b: ADD
0000134c: PUSH1 0x00
0000134e: KECCAK256
0000134f: PUSH1 0x00
00001351: ADD
00001352: PUSH1 0x00
00001354: SWAP1
00001355: SLOAD
00001356: SWAP1
00001357: PUSH2 0x0100
0000135a: EXP
0000135b: SWAP1
0000135c: DIV
0000135d: PUSH8 0xffffffffffffffff
00001366: AND
00001367: PUSH8 0xffffffffffffffff
00001370: AND
00001371: SWAP1
00001372: POP
00001373: SWAP2
00001374: SWAP1
00001375: POP
00001376: JUMP
00001377: JUMPDEST
00001378: PUSH2 0x137f
0000137b: PUSH2 0x1f83
0000137e: JUMP
0000137f: JUMPDEST
00001380: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001395: AND
00001396: PUSH2 0x139d
00001399: PUSH2 0x140b
0000139c: JUMP
0000139d: JUMPDEST
0000139e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013b3: AND
000013b4: EQ
000013b5: PUSH2 0x13f3
000013b8: JUMPI
000013b9: PUSH1 0x40
000013bb: MLOAD
000013bc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013dd: DUP2
000013de: MSTORE
000013df: PUSH1 0x04
000013e1: ADD
000013e2: PUSH2 0x13ea
000013e5: SWAP1
000013e6: PUSH2 0x3c24
000013e9: JUMP
000013ea: JUMPDEST
000013eb: PUSH1 0x40
000013ed: MLOAD
000013ee: DUP1
000013ef: SWAP2
000013f0: SUB
000013f1: SWAP1
000013f2: REVERT
000013f3: JUMPDEST
000013f4: PUSH2 0x13fd
000013f7: PUSH1 0x00
000013f9: PUSH2 0x2998
000013fc: JUMP
000013fd: JUMPDEST
000013fe: JUMP
000013ff: JUMPDEST
00001400: PUSH8 0x058d15e176280000
00001409: DUP2
0000140a: JUMP
0000140b: JUMPDEST
0000140c: PUSH1 0x00
0000140e: PUSH1 0x08
00001410: PUSH1 0x00
00001412: SWAP1
00001413: SLOAD
00001414: SWAP1
00001415: PUSH2 0x0100
00001418: EXP
00001419: SWAP1
0000141a: DIV
0000141b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001430: AND
00001431: SWAP1
00001432: POP
00001433: SWAP1
00001434: JUMP
00001435: JUMPDEST
00001436: PUSH2 0x143d
00001439: PUSH2 0x1f83
0000143c: JUMP
0000143d: JUMPDEST
0000143e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001453: AND
00001454: PUSH2 0x145b
00001457: PUSH2 0x140b
0000145a: JUMP
0000145b: JUMPDEST
0000145c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001471: AND
00001472: EQ
00001473: PUSH2 0x14b1
00001476: JUMPI
00001477: PUSH1 0x40
00001479: MLOAD
0000147a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000149b: DUP2
0000149c: MSTORE
0000149d: PUSH1 0x04
0000149f: ADD
000014a0: PUSH2 0x14a8
000014a3: SWAP1
000014a4: PUSH2 0x3c24
000014a7: JUMP
000014a8: JUMPDEST
000014a9: PUSH1 0x40
000014ab: MLOAD
000014ac: DUP1
000014ad: SWAP2
000014ae: SUB
000014af: SWAP1
000014b0: REVERT
000014b1: JUMPDEST
000014b2: DUP1
000014b3: PUSH1 0x10
000014b5: SWAP1
000014b6: DUP1
000014b7: MLOAD
000014b8: SWAP1
000014b9: PUSH1 0x20
000014bb: ADD
000014bc: SWAP1
000014bd: PUSH2 0x14c7
000014c0: SWAP3
000014c1: SWAP2
000014c2: SWAP1
000014c3: PUSH2 0x31a0
000014c6: JUMP
000014c7: JUMPDEST
000014c8: POP
000014c9: POP
000014ca: JUMP
000014cb: JUMPDEST
000014cc: PUSH1 0x60
000014ce: PUSH1 0x03
000014d0: DUP1
000014d1: SLOAD
000014d2: PUSH2 0x14da
000014d5: SWAP1
000014d6: PUSH2 0x404b
000014d9: JUMP
000014da: JUMPDEST
000014db: DUP1
000014dc: PUSH1 0x1f
000014de: ADD
000014df: PUSH1 0x20
000014e1: DUP1
000014e2: SWAP2
000014e3: DIV
000014e4: MUL
000014e5: PUSH1 0x20
000014e7: ADD
000014e8: PUSH1 0x40
000014ea: MLOAD
000014eb: SWAP1
000014ec: DUP2
000014ed: ADD
000014ee: PUSH1 0x40
000014f0: MSTORE
000014f1: DUP1
000014f2: SWAP3
000014f3: SWAP2
000014f4: SWAP1
000014f5: DUP2
000014f6: DUP2
000014f7: MSTORE
000014f8: PUSH1 0x20
000014fa: ADD
000014fb: DUP3
000014fc: DUP1
000014fd: SLOAD
000014fe: PUSH2 0x1506
00001501: SWAP1
00001502: PUSH2 0x404b
00001505: JUMP
00001506: JUMPDEST
00001507: DUP1
00001508: ISZERO
00001509: PUSH2 0x1553
0000150c: JUMPI
0000150d: DUP1
0000150e: PUSH1 0x1f
00001510: LT
00001511: PUSH2 0x1528
00001514: JUMPI
00001515: PUSH2 0x0100
00001518: DUP1
00001519: DUP4
0000151a: SLOAD
0000151b: DIV
0000151c: MUL
0000151d: DUP4
0000151e: MSTORE
0000151f: SWAP2
00001520: PUSH1 0x20
00001522: ADD
00001523: SWAP2
00001524: PUSH2 0x1553
00001527: JUMP
00001528: JUMPDEST
00001529: DUP3
0000152a: ADD
0000152b: SWAP2
0000152c: SWAP1
0000152d: PUSH1 0x00
0000152f: MSTORE
00001530: PUSH1 0x20
00001532: PUSH1 0x00
00001534: KECCAK256
00001535: SWAP1
00001536: JUMPDEST
00001537: DUP2
00001538: SLOAD
00001539: DUP2
0000153a: MSTORE
0000153b: SWAP1
0000153c: PUSH1 0x01
0000153e: ADD
0000153f: SWAP1
00001540: PUSH1 0x20
00001542: ADD
00001543: DUP1
00001544: DUP4
00001545: GT
00001546: PUSH2 0x1536
00001549: JUMPI
0000154a: DUP3
0000154b: SWAP1
0000154c: SUB
0000154d: PUSH1 0x1f
0000154f: AND
00001550: DUP3
00001551: ADD
00001552: SWAP2
00001553: JUMPDEST
00001554: POP
00001555: POP
00001556: POP
00001557: POP
00001558: POP
00001559: SWAP1
0000155a: POP
0000155b: SWAP1
0000155c: JUMP
0000155d: JUMPDEST
0000155e: PUSH2 0x1565
00001561: PUSH2 0x1f83
00001564: JUMP
00001565: JUMPDEST
00001566: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000157b: AND
0000157c: PUSH2 0x1583
0000157f: PUSH2 0x140b
00001582: JUMP
00001583: JUMPDEST
00001584: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001599: AND
0000159a: EQ
0000159b: PUSH2 0x15d9
0000159e: JUMPI
0000159f: PUSH1 0x40
000015a1: MLOAD
000015a2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015c3: DUP2
000015c4: MSTORE
000015c5: PUSH1 0x04
000015c7: ADD
000015c8: PUSH2 0x15d0
000015cb: SWAP1
000015cc: PUSH2 0x3c24
000015cf: JUMP
000015d0: JUMPDEST
000015d1: PUSH1 0x40
000015d3: MLOAD
000015d4: DUP1
000015d5: SWAP2
000015d6: SUB
000015d7: SWAP1
000015d8: REVERT
000015d9: JUMPDEST
000015da: DUP1
000015db: PUSH1 0x0b
000015dd: DUP2
000015de: SWAP1
000015df: SSTORE
000015e0: POP
000015e1: POP
000015e2: JUMP
000015e3: JUMPDEST
000015e4: PUSH2 0x15eb
000015e7: PUSH2 0x1f83
000015ea: JUMP
000015eb: JUMPDEST
000015ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001601: AND
00001602: DUP3
00001603: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001618: AND
00001619: EQ
0000161a: ISZERO
0000161b: PUSH2 0x1650
0000161e: JUMPI
0000161f: PUSH1 0x40
00001621: MLOAD
00001622: PUSH32 0xb06307db00000000000000000000000000000000000000000000000000000000
00001643: DUP2
00001644: MSTORE
00001645: PUSH1 0x04
00001647: ADD
00001648: PUSH1 0x40
0000164a: MLOAD
0000164b: DUP1
0000164c: SWAP2
0000164d: SUB
0000164e: SWAP1
0000164f: REVERT
00001650: JUMPDEST
00001651: DUP1
00001652: PUSH1 0x07
00001654: PUSH1 0x00
00001656: PUSH2 0x165d
00001659: PUSH2 0x1f83
0000165c: JUMP
0000165d: JUMPDEST
0000165e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001673: AND
00001674: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001689: AND
0000168a: DUP2
0000168b: MSTORE
0000168c: PUSH1 0x20
0000168e: ADD
0000168f: SWAP1
00001690: DUP2
00001691: MSTORE
00001692: PUSH1 0x20
00001694: ADD
00001695: PUSH1 0x00
00001697: KECCAK256
00001698: PUSH1 0x00
0000169a: DUP5
0000169b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016b0: AND
000016b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016c6: AND
000016c7: DUP2
000016c8: MSTORE
000016c9: PUSH1 0x20
000016cb: ADD
000016cc: SWAP1
000016cd: DUP2
000016ce: MSTORE
000016cf: PUSH1 0x20
000016d1: ADD
000016d2: PUSH1 0x00
000016d4: KECCAK256
000016d5: PUSH1 0x00
000016d7: PUSH2 0x0100
000016da: EXP
000016db: DUP2
000016dc: SLOAD
000016dd: DUP2
000016de: PUSH1 0xff
000016e0: MUL
000016e1: NOT
000016e2: AND
000016e3: SWAP1
000016e4: DUP4
000016e5: ISZERO
000016e6: ISZERO
000016e7: MUL
000016e8: OR
000016e9: SWAP1
000016ea: SSTORE
000016eb: POP
000016ec: DUP2
000016ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001702: AND
00001703: PUSH2 0x170a
00001706: PUSH2 0x1f83
00001709: JUMP
0000170a: JUMPDEST
0000170b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001720: AND
00001721: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00001742: DUP4
00001743: PUSH1 0x40
00001745: MLOAD
00001746: PUSH2 0x174f
00001749: SWAP2
0000174a: SWAP1
0000174b: PUSH2 0x3b07
0000174e: JUMP
0000174f: JUMPDEST
00001750: PUSH1 0x40
00001752: MLOAD
00001753: DUP1
00001754: SWAP2
00001755: SUB
00001756: SWAP1
00001757: LOG3
00001758: POP
00001759: POP
0000175a: JUMP
0000175b: JUMPDEST
0000175c: PUSH1 0x0c
0000175e: SLOAD
0000175f: DUP2
00001760: JUMP
00001761: JUMPDEST
00001762: PUSH1 0x00
00001764: PUSH1 0x12
00001766: PUSH1 0x01
00001768: SWAP1
00001769: SLOAD
0000176a: SWAP1
0000176b: PUSH2 0x0100
0000176e: EXP
0000176f: SWAP1
00001770: DIV
00001771: PUSH1 0xff
00001773: AND
00001774: PUSH2 0x17b2
00001777: JUMPI
00001778: PUSH1 0x40
0000177a: MLOAD
0000177b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000179c: DUP2
0000179d: MSTORE
0000179e: PUSH1 0x04
000017a0: ADD
000017a1: PUSH2 0x17a9
000017a4: SWAP1
000017a5: PUSH2 0x3c04
000017a8: JUMP
000017a9: JUMPDEST
000017aa: PUSH1 0x40
000017ac: MLOAD
000017ad: DUP1
000017ae: SWAP2
000017af: SUB
000017b0: SWAP1
000017b1: REVERT
000017b2: JUMPDEST
000017b3: PUSH1 0x00
000017b5: PUSH2 0x17bc
000017b8: PUSH2 0x2a5e
000017bb: JUMP
000017bc: JUMPDEST
000017bd: SWAP1
000017be: POP
000017bf: PUSH1 0x0e
000017c1: SLOAD
000017c2: DUP2
000017c3: LT
000017c4: PUSH2 0x17d8
000017c7: JUMPI
000017c8: PUSH8 0x058d15e176280000
000017d1: SWAP2
000017d2: POP
000017d3: POP
000017d4: PUSH2 0x1847
000017d7: JUMP
000017d8: JUMPDEST
000017d9: PUSH1 0x00
000017db: PUSH1 0x0e
000017dd: SLOAD
000017de: DUP3
000017df: PUSH8 0x058d15e176280000
000017e8: PUSH8 0x0de0b6b3a7640000
000017f1: PUSH2 0x17fa
000017f4: SWAP2
000017f5: SWAP1
000017f6: PUSH2 0x3f61
000017f9: JUMP
000017fa: JUMPDEST
000017fb: PUSH2 0x1804
000017fe: SWAP2
000017ff: SWAP1
00001800: PUSH2 0x3f07
00001803: JUMP
00001804: JUMPDEST
00001805: PUSH2 0x180e
00001808: SWAP2
00001809: SWAP1
0000180a: PUSH2 0x3ed6
0000180d: JUMP
0000180e: JUMPDEST
0000180f: PUSH8 0x0de0b6b3a7640000
00001818: PUSH2 0x1821
0000181b: SWAP2
0000181c: SWAP1
0000181d: PUSH2 0x3f61
00001820: JUMP
00001821: JUMPDEST
00001822: SWAP1
00001823: POP
00001824: PUSH8 0x058d15e176280000
0000182d: DUP2
0000182e: GT
0000182f: PUSH2 0x1840
00001832: JUMPI
00001833: PUSH8 0x058d15e176280000
0000183c: PUSH2 0x1842
0000183f: JUMP
00001840: JUMPDEST
00001841: DUP1
00001842: JUMPDEST
00001843: SWAP3
00001844: POP
00001845: POP
00001846: POP
00001847: JUMPDEST
00001848: SWAP1
00001849: JUMP
0000184a: JUMPDEST
0000184b: PUSH1 0x64
0000184d: DUP2
0000184e: JUMP
0000184f: JUMPDEST
00001850: PUSH2 0x1857
00001853: PUSH2 0x1f83
00001856: JUMP
00001857: JUMPDEST
00001858: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000186d: AND
0000186e: PUSH2 0x1875
00001871: PUSH2 0x140b
00001874: JUMP
00001875: JUMPDEST
00001876: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000188b: AND
0000188c: EQ
0000188d: PUSH2 0x18cb
00001890: JUMPI
00001891: PUSH1 0x40
00001893: MLOAD
00001894: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018b5: DUP2
000018b6: MSTORE
000018b7: PUSH1 0x04
000018b9: ADD
000018ba: PUSH2 0x18c2
000018bd: SWAP1
000018be: PUSH2 0x3c24
000018c1: JUMP
000018c2: JUMPDEST
000018c3: PUSH1 0x40
000018c5: MLOAD
000018c6: DUP1
000018c7: SWAP2
000018c8: SUB
000018c9: SWAP1
000018ca: REVERT
000018cb: JUMPDEST
000018cc: PUSH1 0x00
000018ce: PUSH1 0x12
000018d0: PUSH1 0x00
000018d2: PUSH2 0x0100
000018d5: EXP
000018d6: DUP2
000018d7: SLOAD
000018d8: DUP2
000018d9: PUSH1 0xff
000018db: MUL
000018dc: NOT
000018dd: AND
000018de: SWAP1
000018df: DUP4
000018e0: ISZERO
000018e1: ISZERO
000018e2: MUL
000018e3: OR
000018e4: SWAP1
000018e5: SSTORE
000018e6: POP
000018e7: DUP2
000018e8: PUSH1 0x12
000018ea: PUSH1 0x01
000018ec: PUSH2 0x0100
000018ef: EXP
000018f0: DUP2
000018f1: SLOAD
000018f2: DUP2
000018f3: PUSH1 0xff
000018f5: MUL
000018f6: NOT
000018f7: AND
000018f8: SWAP1
000018f9: DUP4
000018fa: ISZERO
000018fb: ISZERO
000018fc: MUL
000018fd: OR
000018fe: SWAP1
000018ff: SSTORE
00001900: POP
00001901: PUSH1 0x00
00001903: DUP2
00001904: GT
00001905: ISZERO
00001906: PUSH2 0x1918
00001909: JUMPI
0000190a: DUP1
0000190b: PUSH1 0x0e
0000190d: DUP2
0000190e: SWAP1
0000190f: SSTORE
00001910: POP
00001911: TIMESTAMP
00001912: PUSH1 0x0f
00001914: DUP2
00001915: SWAP1
00001916: SSTORE
00001917: POP
00001918: JUMPDEST
00001919: POP
0000191a: POP
0000191b: JUMP
0000191c: JUMPDEST
0000191d: PUSH2 0x1927
00001920: DUP5
00001921: DUP5
00001922: DUP5
00001923: PUSH2 0x2042
00001926: JUMP
00001927: JUMPDEST
00001928: PUSH2 0x1946
0000192b: DUP4
0000192c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001941: AND
00001942: PUSH2 0x2a84
00001945: JUMP
00001946: JUMPDEST
00001947: DUP1
00001948: ISZERO
00001949: PUSH2 0x195b
0000194c: JUMPI
0000194d: POP
0000194e: PUSH2 0x1959
00001951: DUP5
00001952: DUP5
00001953: DUP5
00001954: DUP5
00001955: PUSH2 0x2aa7
00001958: JUMP
00001959: JUMPDEST
0000195a: ISZERO
0000195b: JUMPDEST
0000195c: ISZERO
0000195d: PUSH2 0x1992
00001960: JUMPI
00001961: PUSH1 0x40
00001963: MLOAD
00001964: PUSH32 0xd1a57ed600000000000000000000000000000000000000000000000000000000
00001985: DUP2
00001986: MSTORE
00001987: PUSH1 0x04
00001989: ADD
0000198a: PUSH1 0x40
0000198c: MLOAD
0000198d: DUP1
0000198e: SWAP2
0000198f: SUB
00001990: SWAP1
00001991: REVERT
00001992: JUMPDEST
00001993: POP
00001994: POP
00001995: POP
00001996: POP
00001997: JUMP
00001998: JUMPDEST
00001999: PUSH1 0x60
0000199b: PUSH1 0x00
0000199d: DUP1
0000199e: PUSH1 0x10
000019a0: DUP1
000019a1: SLOAD
000019a2: PUSH2 0x19aa
000019a5: SWAP1
000019a6: PUSH2 0x404b
000019a9: JUMP
000019aa: JUMPDEST
000019ab: SWAP1
000019ac: POP
000019ad: GT
000019ae: SWAP1
000019af: POP
000019b0: DUP1
000019b1: PUSH2 0x1a47
000019b4: JUMPI
000019b5: PUSH1 0x11
000019b7: DUP1
000019b8: SLOAD
000019b9: PUSH2 0x19c1
000019bc: SWAP1
000019bd: PUSH2 0x404b
000019c0: JUMP
000019c1: JUMPDEST
000019c2: DUP1
000019c3: PUSH1 0x1f
000019c5: ADD
000019c6: PUSH1 0x20
000019c8: DUP1
000019c9: SWAP2
000019ca: DIV
000019cb: MUL
000019cc: PUSH1 0x20
000019ce: ADD
000019cf: PUSH1 0x40
000019d1: MLOAD
000019d2: SWAP1
000019d3: DUP2
000019d4: ADD
000019d5: PUSH1 0x40
000019d7: MSTORE
000019d8: DUP1
000019d9: SWAP3
000019da: SWAP2
000019db: SWAP1
000019dc: DUP2
000019dd: DUP2
000019de: MSTORE
000019df: PUSH1 0x20
000019e1: ADD
000019e2: DUP3
000019e3: DUP1
000019e4: SLOAD
000019e5: PUSH2 0x19ed
000019e8: SWAP1
000019e9: PUSH2 0x404b
000019ec: JUMP
000019ed: JUMPDEST
000019ee: DUP1
000019ef: ISZERO
000019f0: PUSH2 0x1a3a
000019f3: JUMPI
000019f4: DUP1
000019f5: PUSH1 0x1f
000019f7: LT
000019f8: PUSH2 0x1a0f
000019fb: JUMPI
000019fc: PUSH2 0x0100
000019ff: DUP1
00001a00: DUP4
00001a01: SLOAD
00001a02: DIV
00001a03: MUL
00001a04: DUP4
00001a05: MSTORE
00001a06: SWAP2
00001a07: PUSH1 0x20
00001a09: ADD
00001a0a: SWAP2
00001a0b: PUSH2 0x1a3a
00001a0e: JUMP
00001a0f: JUMPDEST
00001a10: DUP3
00001a11: ADD
00001a12: SWAP2
00001a13: SWAP1
00001a14: PUSH1 0x00
00001a16: MSTORE
00001a17: PUSH1 0x20
00001a19: PUSH1 0x00
00001a1b: KECCAK256
00001a1c: SWAP1
00001a1d: JUMPDEST
00001a1e: DUP2
00001a1f: SLOAD
00001a20: DUP2
00001a21: MSTORE
00001a22: SWAP1
00001a23: PUSH1 0x01
00001a25: ADD
00001a26: SWAP1
00001a27: PUSH1 0x20
00001a29: ADD
00001a2a: DUP1
00001a2b: DUP4
00001a2c: GT
00001a2d: PUSH2 0x1a1d
00001a30: JUMPI
00001a31: DUP3
00001a32: SWAP1
00001a33: SUB
00001a34: PUSH1 0x1f
00001a36: AND
00001a37: DUP3
00001a38: ADD
00001a39: SWAP2
00001a3a: JUMPDEST
00001a3b: POP
00001a3c: POP
00001a3d: POP
00001a3e: POP
00001a3f: POP
00001a40: SWAP2
00001a41: POP
00001a42: POP
00001a43: PUSH2 0x1abe
00001a46: JUMP
00001a47: JUMPDEST
00001a48: PUSH2 0x1a50
00001a4b: DUP4
00001a4c: PUSH2 0x1f35
00001a4f: JUMP
00001a50: JUMPDEST
00001a51: PUSH2 0x1a8f
00001a54: JUMPI
00001a55: PUSH1 0x40
00001a57: MLOAD
00001a58: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a79: DUP2
00001a7a: MSTORE
00001a7b: PUSH1 0x04
00001a7d: ADD
00001a7e: PUSH2 0x1a86
00001a81: SWAP1
00001a82: PUSH2 0x3c64
00001a85: JUMP
00001a86: JUMPDEST
00001a87: PUSH1 0x40
00001a89: MLOAD
00001a8a: DUP1
00001a8b: SWAP2
00001a8c: SUB
00001a8d: SWAP1
00001a8e: REVERT
00001a8f: JUMPDEST
00001a90: PUSH1 0x10
00001a92: PUSH2 0x1a9a
00001a95: DUP5
00001a96: PUSH2 0x2c07
00001a99: JUMP
00001a9a: JUMPDEST
00001a9b: PUSH1 0x40
00001a9d: MLOAD
00001a9e: PUSH1 0x20
00001aa0: ADD
00001aa1: PUSH2 0x1aab
00001aa4: SWAP3
00001aa5: SWAP2
00001aa6: SWAP1
00001aa7: PUSH2 0x3a67
00001aaa: JUMP
00001aab: JUMPDEST
00001aac: PUSH1 0x40
00001aae: MLOAD
00001aaf: PUSH1 0x20
00001ab1: DUP2
00001ab2: DUP4
00001ab3: SUB
00001ab4: SUB
00001ab5: DUP2
00001ab6: MSTORE
00001ab7: SWAP1
00001ab8: PUSH1 0x40
00001aba: MSTORE
00001abb: SWAP2
00001abc: POP
00001abd: POP
00001abe: JUMPDEST
00001abf: SWAP2
00001ac0: SWAP1
00001ac1: POP
00001ac2: JUMP
00001ac3: JUMPDEST
00001ac4: PUSH1 0x02
00001ac6: PUSH1 0x09
00001ac8: SLOAD
00001ac9: EQ
00001aca: ISZERO
00001acb: PUSH2 0x1b09
00001ace: JUMPI
00001acf: PUSH1 0x40
00001ad1: MLOAD
00001ad2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001af3: DUP2
00001af4: MSTORE
00001af5: PUSH1 0x04
00001af7: ADD
00001af8: PUSH2 0x1b00
00001afb: SWAP1
00001afc: PUSH2 0x3ce4
00001aff: JUMP
00001b00: JUMPDEST
00001b01: PUSH1 0x40
00001b03: MLOAD
00001b04: DUP1
00001b05: SWAP2
00001b06: SUB
00001b07: SWAP1
00001b08: REVERT
00001b09: JUMPDEST
00001b0a: PUSH1 0x02
00001b0c: PUSH1 0x09
00001b0e: DUP2
00001b0f: SWAP1
00001b10: SSTORE
00001b11: POP
00001b12: PUSH1 0x12
00001b14: PUSH1 0x00
00001b16: SWAP1
00001b17: SLOAD
00001b18: SWAP1
00001b19: PUSH2 0x0100
00001b1c: EXP
00001b1d: SWAP1
00001b1e: DIV
00001b1f: PUSH1 0xff
00001b21: AND
00001b22: PUSH2 0x1b60
00001b25: JUMPI
00001b26: PUSH1 0x40
00001b28: MLOAD
00001b29: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b4a: DUP2
00001b4b: MSTORE
00001b4c: PUSH1 0x04
00001b4e: ADD
00001b4f: PUSH2 0x1b57
00001b52: SWAP1
00001b53: PUSH2 0x3cc4
00001b56: JUMP
00001b57: JUMPDEST
00001b58: PUSH1 0x40
00001b5a: MLOAD
00001b5b: DUP1
00001b5c: SWAP2
00001b5d: SUB
00001b5e: SWAP1
00001b5f: REVERT
00001b60: JUMPDEST
00001b61: DUP1
00001b62: PUSH8 0x058d15e176280000
00001b6b: PUSH2 0x1b74
00001b6e: SWAP2
00001b6f: SWAP1
00001b70: PUSH2 0x3f07
00001b73: JUMP
00001b74: JUMPDEST
00001b75: CALLVALUE
00001b76: LT
00001b77: ISZERO
00001b78: PUSH2 0x1bb6
00001b7b: JUMPI
00001b7c: PUSH1 0x40
00001b7e: MLOAD
00001b7f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ba0: DUP2
00001ba1: MSTORE
00001ba2: PUSH1 0x04
00001ba4: ADD
00001ba5: PUSH2 0x1bad
00001ba8: SWAP1
00001ba9: PUSH2 0x3d04
00001bac: JUMP
00001bad: JUMPDEST
00001bae: PUSH1 0x40
00001bb0: MLOAD
00001bb1: DUP1
00001bb2: SWAP2
00001bb3: SUB
00001bb4: SWAP1
00001bb5: REVERT
00001bb6: JUMPDEST
00001bb7: PUSH1 0x0a
00001bb9: PUSH1 0x00
00001bbb: SWAP1
00001bbc: SLOAD
00001bbd: SWAP1
00001bbe: PUSH2 0x0100
00001bc1: EXP
00001bc2: SWAP1
00001bc3: DIV
00001bc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd9: AND
00001bda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bef: AND
00001bf0: PUSH4 0x14f329af
00001bf5: PUSH1 0x0b
00001bf7: SLOAD
00001bf8: DUP4
00001bf9: CALLER
00001bfa: PUSH1 0x40
00001bfc: MLOAD
00001bfd: DUP5
00001bfe: PUSH4 0xffffffff
00001c03: AND
00001c04: PUSH1 0xe0
00001c06: SHL
00001c07: DUP2
00001c08: MSTORE
00001c09: PUSH1 0x04
00001c0b: ADD
00001c0c: PUSH2 0x1c17
00001c0f: SWAP4
00001c10: SWAP3
00001c11: SWAP2
00001c12: SWAP1
00001c13: PUSH2 0x3d5f
00001c16: JUMP
00001c17: JUMPDEST
00001c18: PUSH1 0x20
00001c1a: PUSH1 0x40
00001c1c: MLOAD
00001c1d: DUP1
00001c1e: DUP4
00001c1f: SUB
00001c20: DUP2
00001c21: PUSH1 0x00
00001c23: DUP8
00001c24: DUP1
00001c25: EXTCODESIZE
00001c26: ISZERO
00001c27: DUP1
00001c28: ISZERO
00001c29: PUSH2 0x1c31
00001c2c: JUMPI
00001c2d: PUSH1 0x00
00001c2f: DUP1
00001c30: REVERT
00001c31: JUMPDEST
00001c32: POP
00001c33: GAS
00001c34: CALL
00001c35: ISZERO
00001c36: DUP1
00001c37: ISZERO
00001c38: PUSH2 0x1c45
00001c3b: JUMPI
00001c3c: RETURNDATASIZE
00001c3d: PUSH1 0x00
00001c3f: DUP1
00001c40: RETURNDATACOPY
00001c41: RETURNDATASIZE
00001c42: PUSH1 0x00
00001c44: REVERT
00001c45: JUMPDEST
00001c46: POP
00001c47: POP
00001c48: POP
00001c49: POP
00001c4a: PUSH1 0x40
00001c4c: MLOAD
00001c4d: RETURNDATASIZE
00001c4e: PUSH1 0x1f
00001c50: NOT
00001c51: PUSH1 0x1f
00001c53: DUP3
00001c54: ADD
00001c55: AND
00001c56: DUP3
00001c57: ADD
00001c58: DUP1
00001c59: PUSH1 0x40
00001c5b: MSTORE
00001c5c: POP
00001c5d: DUP2
00001c5e: ADD
00001c5f: SWAP1
00001c60: PUSH2 0x1c69
00001c63: SWAP2
00001c64: SWAP1
00001c65: PUSH2 0x35a4
00001c68: JUMP
00001c69: JUMPDEST
00001c6a: POP
00001c6b: PUSH2 0x1c73
00001c6e: DUP2
00001c6f: PUSH2 0x24f8
00001c72: JUMP
00001c73: JUMPDEST
00001c74: PUSH1 0x01
00001c76: PUSH1 0x09
00001c78: DUP2
00001c79: SWAP1
00001c7a: SSTORE
00001c7b: POP
00001c7c: POP
00001c7d: JUMP
00001c7e: JUMPDEST
00001c7f: PUSH1 0x12
00001c81: PUSH1 0x02
00001c83: SWAP1
00001c84: SLOAD
00001c85: SWAP1
00001c86: PUSH2 0x0100
00001c89: EXP
00001c8a: SWAP1
00001c8b: DIV
00001c8c: PUSH1 0xff
00001c8e: AND
00001c8f: DUP2
00001c90: JUMP
00001c91: JUMPDEST
00001c92: PUSH8 0x0de0b6b3a7640000
00001c9b: DUP2
00001c9c: JUMP
00001c9d: JUMPDEST
00001c9e: PUSH1 0x0d
00001ca0: SLOAD
00001ca1: DUP2
00001ca2: JUMP
00001ca3: JUMPDEST
00001ca4: PUSH1 0x00
00001ca6: PUSH1 0x07
00001ca8: PUSH1 0x00
00001caa: DUP5
00001cab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cc0: AND
00001cc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cd6: AND
00001cd7: DUP2
00001cd8: MSTORE
00001cd9: PUSH1 0x20
00001cdb: ADD
00001cdc: SWAP1
00001cdd: DUP2
00001cde: MSTORE
00001cdf: PUSH1 0x20
00001ce1: ADD
00001ce2: PUSH1 0x00
00001ce4: KECCAK256
00001ce5: PUSH1 0x00
00001ce7: DUP4
00001ce8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cfd: AND
00001cfe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d13: AND
00001d14: DUP2
00001d15: MSTORE
00001d16: PUSH1 0x20
00001d18: ADD
00001d19: SWAP1
00001d1a: DUP2
00001d1b: MSTORE
00001d1c: PUSH1 0x20
00001d1e: ADD
00001d1f: PUSH1 0x00
00001d21: KECCAK256
00001d22: PUSH1 0x00
00001d24: SWAP1
00001d25: SLOAD
00001d26: SWAP1
00001d27: PUSH2 0x0100
00001d2a: EXP
00001d2b: SWAP1
00001d2c: DIV
00001d2d: PUSH1 0xff
00001d2f: AND
00001d30: SWAP1
00001d31: POP
00001d32: SWAP3
00001d33: SWAP2
00001d34: POP
00001d35: POP
00001d36: JUMP
00001d37: JUMPDEST
00001d38: PUSH2 0x1d3f
00001d3b: PUSH2 0x1f83
00001d3e: JUMP
00001d3f: JUMPDEST
00001d40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d55: AND
00001d56: PUSH2 0x1d5d
00001d59: PUSH2 0x140b
00001d5c: JUMP
00001d5d: JUMPDEST
00001d5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d73: AND
00001d74: EQ
00001d75: PUSH2 0x1db3
00001d78: JUMPI
00001d79: PUSH1 0x40
00001d7b: MLOAD
00001d7c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d9d: DUP2
00001d9e: MSTORE
00001d9f: PUSH1 0x04
00001da1: ADD
00001da2: PUSH2 0x1daa
00001da5: SWAP1
00001da6: PUSH2 0x3c24
00001da9: JUMP
00001daa: JUMPDEST
00001dab: PUSH1 0x40
00001dad: MLOAD
00001dae: DUP1
00001daf: SWAP2
00001db0: SUB
00001db1: SWAP1
00001db2: REVERT
00001db3: JUMPDEST
00001db4: PUSH1 0x00
00001db6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dcb: AND
00001dcc: DUP2
00001dcd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001de2: AND
00001de3: EQ
00001de4: ISZERO
00001de5: PUSH2 0x1e23
00001de8: JUMPI
00001de9: PUSH1 0x40
00001deb: MLOAD
00001dec: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e0d: DUP2
00001e0e: MSTORE
00001e0f: PUSH1 0x04
00001e11: ADD
00001e12: PUSH2 0x1e1a
00001e15: SWAP1
00001e16: PUSH2 0x3b44
00001e19: JUMP
00001e1a: JUMPDEST
00001e1b: PUSH1 0x40
00001e1d: MLOAD
00001e1e: DUP1
00001e1f: SWAP2
00001e20: SUB
00001e21: SWAP1
00001e22: REVERT
00001e23: JUMPDEST
00001e24: PUSH2 0x1e2c
00001e27: DUP2
00001e28: PUSH2 0x2998
00001e2b: JUMP
00001e2c: JUMPDEST
00001e2d: POP
00001e2e: JUMP
00001e2f: JUMPDEST
00001e30: PUSH1 0x0e
00001e32: SLOAD
00001e33: DUP2
00001e34: JUMP
00001e35: JUMPDEST
00001e36: PUSH2 0x1e3d
00001e39: PUSH2 0x1f83
00001e3c: JUMP
00001e3d: JUMPDEST
00001e3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e53: AND
00001e54: PUSH2 0x1e5b
00001e57: PUSH2 0x140b
00001e5a: JUMP
00001e5b: JUMPDEST
00001e5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e71: AND
00001e72: EQ
00001e73: PUSH2 0x1eb1
00001e76: JUMPI
00001e77: PUSH1 0x40
00001e79: MLOAD
00001e7a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e9b: DUP2
00001e9c: MSTORE
00001e9d: PUSH1 0x04
00001e9f: ADD
00001ea0: PUSH2 0x1ea8
00001ea3: SWAP1
00001ea4: PUSH2 0x3c24
00001ea7: JUMP
00001ea8: JUMPDEST
00001ea9: PUSH1 0x40
00001eab: MLOAD
00001eac: DUP1
00001ead: SWAP2
00001eae: SUB
00001eaf: SWAP1
00001eb0: REVERT
00001eb1: JUMPDEST
00001eb2: DUP1
00001eb3: PUSH1 0x11
00001eb5: SWAP1
00001eb6: DUP1
00001eb7: MLOAD
00001eb8: SWAP1
00001eb9: PUSH1 0x20
00001ebb: ADD
00001ebc: SWAP1
00001ebd: PUSH2 0x1ec7
00001ec0: SWAP3
00001ec1: SWAP2
00001ec2: SWAP1
00001ec3: PUSH2 0x31a0
00001ec6: JUMP
00001ec7: JUMPDEST
00001ec8: POP
00001ec9: POP
00001eca: JUMP
00001ecb: JUMPDEST
00001ecc: PUSH1 0x00
00001ece: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00001eef: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001f0c: NOT
00001f0d: AND
00001f0e: DUP3
00001f0f: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001f2c: NOT
00001f2d: AND
00001f2e: EQ
00001f2f: SWAP1
00001f30: POP
00001f31: SWAP2
00001f32: SWAP1
00001f33: POP
00001f34: JUMP
00001f35: JUMPDEST
00001f36: PUSH1 0x00
00001f38: DUP2
00001f39: PUSH2 0x1f40
00001f3c: PUSH2 0x203d
00001f3f: JUMP
00001f40: JUMPDEST
00001f41: GT
00001f42: ISZERO
00001f43: DUP1
00001f44: ISZERO
00001f45: PUSH2 0x1f4f
00001f48: JUMPI
00001f49: POP
00001f4a: PUSH1 0x00
00001f4c: SLOAD
00001f4d: DUP3
00001f4e: LT
00001f4f: JUMPDEST
00001f50: DUP1
00001f51: ISZERO
00001f52: PUSH2 0x1f7c
00001f55: JUMPI
00001f56: POP
00001f57: PUSH1 0x04
00001f59: PUSH1 0x00
00001f5b: DUP4
00001f5c: DUP2
00001f5d: MSTORE
00001f5e: PUSH1 0x20
00001f60: ADD
00001f61: SWAP1
00001f62: DUP2
00001f63: MSTORE
00001f64: PUSH1 0x20
00001f66: ADD
00001f67: PUSH1 0x00
00001f69: KECCAK256
00001f6a: PUSH1 0x00
00001f6c: ADD
00001f6d: PUSH1 0x1c
00001f6f: SWAP1
00001f70: SLOAD
00001f71: SWAP1
00001f72: PUSH2 0x0100
00001f75: EXP
00001f76: SWAP1
00001f77: DIV
00001f78: PUSH1 0xff
00001f7a: AND
00001f7b: ISZERO
00001f7c: JUMPDEST
00001f7d: SWAP1
00001f7e: POP
00001f7f: SWAP2
00001f80: SWAP1
00001f81: POP
00001f82: JUMP
00001f83: JUMPDEST
00001f84: PUSH1 0x00
00001f86: CALLER
00001f87: SWAP1
00001f88: POP
00001f89: SWAP1
00001f8a: JUMP
00001f8b: JUMPDEST
00001f8c: DUP3
00001f8d: PUSH1 0x06
00001f8f: PUSH1 0x00
00001f91: DUP5
00001f92: DUP2
00001f93: MSTORE
00001f94: PUSH1 0x20
00001f96: ADD
00001f97: SWAP1
00001f98: DUP2
00001f99: MSTORE
00001f9a: PUSH1 0x20
00001f9c: ADD
00001f9d: PUSH1 0x00
00001f9f: KECCAK256
00001fa0: PUSH1 0x00
00001fa2: PUSH2 0x0100
00001fa5: EXP
00001fa6: DUP2
00001fa7: SLOAD
00001fa8: DUP2
00001fa9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fbe: MUL
00001fbf: NOT
00001fc0: AND
00001fc1: SWAP1
00001fc2: DUP4
00001fc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd8: AND
00001fd9: MUL
00001fda: OR
00001fdb: SWAP1
00001fdc: SSTORE
00001fdd: POP
00001fde: DUP2
00001fdf: DUP4
00001fe0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ff5: AND
00001ff6: DUP3
00001ff7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000200c: AND
0000200d: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000202e: PUSH1 0x40
00002030: MLOAD
00002031: PUSH1 0x40
00002033: MLOAD
00002034: DUP1
00002035: SWAP2
00002036: SUB
00002037: SWAP1
00002038: LOG4
00002039: POP
0000203a: POP
0000203b: POP
0000203c: JUMP
0000203d: JUMPDEST
0000203e: PUSH1 0x00
00002040: SWAP1
00002041: JUMP
00002042: JUMPDEST
00002043: PUSH1 0x00
00002045: PUSH2 0x204d
00002048: DUP3
00002049: PUSH2 0x2709
0000204c: JUMP
0000204d: JUMPDEST
0000204e: SWAP1
0000204f: POP
00002050: DUP4
00002051: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002066: AND
00002067: DUP2
00002068: PUSH1 0x00
0000206a: ADD
0000206b: MLOAD
0000206c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002081: AND
00002082: EQ
00002083: PUSH2 0x20b8
00002086: JUMPI
00002087: PUSH1 0x40
00002089: MLOAD
0000208a: PUSH32 0xa114810000000000000000000000000000000000000000000000000000000000
000020ab: DUP2
000020ac: MSTORE
000020ad: PUSH1 0x04
000020af: ADD
000020b0: PUSH1 0x40
000020b2: MLOAD
000020b3: DUP1
000020b4: SWAP2
000020b5: SUB
000020b6: SWAP1
000020b7: REVERT
000020b8: JUMPDEST
000020b9: PUSH1 0x00
000020bb: DUP5
000020bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020d1: AND
000020d2: PUSH2 0x20d9
000020d5: PUSH2 0x1f83
000020d8: JUMP
000020d9: JUMPDEST
000020da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020ef: AND
000020f0: EQ
000020f1: DUP1
000020f2: PUSH2 0x2108
000020f5: JUMPI
000020f6: POP
000020f7: PUSH2 0x2107
000020fa: DUP6
000020fb: PUSH2 0x2102
000020fe: PUSH2 0x1f83
00002101: JUMP
00002102: JUMPDEST
00002103: PUSH2 0x1ca3
00002106: JUMP
00002107: JUMPDEST
00002108: JUMPDEST
00002109: DUP1
0000210a: PUSH2 0x214d
0000210d: JUMPI
0000210e: POP
0000210f: PUSH2 0x2116
00002112: PUSH2 0x1f83
00002115: JUMP
00002116: JUMPDEST
00002117: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000212c: AND
0000212d: PUSH2 0x2135
00002130: DUP5
00002131: PUSH2 0x0a78
00002134: JUMP
00002135: JUMPDEST
00002136: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000214b: AND
0000214c: EQ
0000214d: JUMPDEST
0000214e: SWAP1
0000214f: POP
00002150: DUP1
00002151: PUSH2 0x2186
00002154: JUMPI
00002155: PUSH1 0x40
00002157: MLOAD
00002158: PUSH32 0x59c896be00000000000000000000000000000000000000000000000000000000
00002179: DUP2
0000217a: MSTORE
0000217b: PUSH1 0x04
0000217d: ADD
0000217e: PUSH1 0x40
00002180: MLOAD
00002181: DUP1
00002182: SWAP2
00002183: SUB
00002184: SWAP1
00002185: REVERT
00002186: JUMPDEST
00002187: PUSH1 0x00
00002189: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000219e: AND
0000219f: DUP5
000021a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021b5: AND
000021b6: EQ
000021b7: ISZERO
000021b8: PUSH2 0x21ed
000021bb: JUMPI
000021bc: PUSH1 0x40
000021be: MLOAD
000021bf: PUSH32 0xea553b3400000000000000000000000000000000000000000000000000000000
000021e0: DUP2
000021e1: MSTORE
000021e2: PUSH1 0x04
000021e4: ADD
000021e5: PUSH1 0x40
000021e7: MLOAD
000021e8: DUP1
000021e9: SWAP2
000021ea: SUB
000021eb: SWAP1
000021ec: REVERT
000021ed: JUMPDEST
000021ee: PUSH2 0x21fa
000021f1: DUP6
000021f2: DUP6
000021f3: DUP6
000021f4: PUSH1 0x01
000021f6: PUSH2 0x2db4
000021f9: JUMP
000021fa: JUMPDEST
000021fb: PUSH2 0x2206
000021fe: PUSH1 0x00
00002200: DUP5
00002201: DUP8
00002202: PUSH2 0x1f8b
00002205: JUMP
00002206: JUMPDEST
00002207: PUSH1 0x01
00002209: PUSH1 0x05
0000220b: PUSH1 0x00
0000220d: DUP8
0000220e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002223: AND
00002224: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002239: AND
0000223a: DUP2
0000223b: MSTORE
0000223c: PUSH1 0x20
0000223e: ADD
0000223f: SWAP1
00002240: DUP2
00002241: MSTORE
00002242: PUSH1 0x20
00002244: ADD
00002245: PUSH1 0x00
00002247: KECCAK256
00002248: PUSH1 0x00
0000224a: ADD
0000224b: PUSH1 0x00
0000224d: DUP3
0000224e: DUP3
0000224f: DUP3
00002250: SWAP1
00002251: SLOAD
00002252: SWAP1
00002253: PUSH2 0x0100
00002256: EXP
00002257: SWAP1
00002258: DIV
00002259: PUSH8 0xffffffffffffffff
00002262: AND
00002263: SUB
00002264: SWAP3
00002265: POP
00002266: PUSH2 0x0100
00002269: EXP
0000226a: DUP2
0000226b: SLOAD
0000226c: DUP2
0000226d: PUSH8 0xffffffffffffffff
00002276: MUL
00002277: NOT
00002278: AND
00002279: SWAP1
0000227a: DUP4
0000227b: PUSH8 0xffffffffffffffff
00002284: AND
00002285: MUL
00002286: OR
00002287: SWAP1
00002288: SSTORE
00002289: POP
0000228a: PUSH1 0x01
0000228c: PUSH1 0x05
0000228e: PUSH1 0x00
00002290: DUP7
00002291: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022a6: AND
000022a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022bc: AND
000022bd: DUP2
000022be: MSTORE
000022bf: PUSH1 0x20
000022c1: ADD
000022c2: SWAP1
000022c3: DUP2
000022c4: MSTORE
000022c5: PUSH1 0x20
000022c7: ADD
000022c8: PUSH1 0x00
000022ca: KECCAK256
000022cb: PUSH1 0x00
000022cd: ADD
000022ce: PUSH1 0x00
000022d0: DUP3
000022d1: DUP3
000022d2: DUP3
000022d3: SWAP1
000022d4: SLOAD
000022d5: SWAP1
000022d6: PUSH2 0x0100
000022d9: EXP
000022da: SWAP1
000022db: DIV
000022dc: PUSH8 0xffffffffffffffff
000022e5: AND
000022e6: ADD
000022e7: SWAP3
000022e8: POP
000022e9: PUSH2 0x0100
000022ec: EXP
000022ed: DUP2
000022ee: SLOAD
000022ef: DUP2
000022f0: PUSH8 0xffffffffffffffff
000022f9: MUL
000022fa: NOT
000022fb: AND
000022fc: SWAP1
000022fd: DUP4
000022fe: PUSH8 0xffffffffffffffff
00002307: AND
00002308: MUL
00002309: OR
0000230a: SWAP1
0000230b: SSTORE
0000230c: POP
0000230d: PUSH1 0x00
0000230f: PUSH1 0x04
00002311: PUSH1 0x00
00002313: DUP6
00002314: DUP2
00002315: MSTORE
00002316: PUSH1 0x20
00002318: ADD
00002319: SWAP1
0000231a: DUP2
0000231b: MSTORE
0000231c: PUSH1 0x20
0000231e: ADD
0000231f: PUSH1 0x00
00002321: KECCAK256
00002322: SWAP1
00002323: POP
00002324: DUP5
00002325: DUP2
00002326: PUSH1 0x00
00002328: ADD
00002329: PUSH1 0x00
0000232b: PUSH2 0x0100
0000232e: EXP
0000232f: DUP2
00002330: SLOAD
00002331: DUP2
00002332: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002347: MUL
00002348: NOT
00002349: AND
0000234a: SWAP1
0000234b: DUP4
0000234c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002361: AND
00002362: MUL
00002363: OR
00002364: SWAP1
00002365: SSTORE
00002366: POP
00002367: TIMESTAMP
00002368: DUP2
00002369: PUSH1 0x00
0000236b: ADD
0000236c: PUSH1 0x14
0000236e: PUSH2 0x0100
00002371: EXP
00002372: DUP2
00002373: SLOAD
00002374: DUP2
00002375: PUSH8 0xffffffffffffffff
0000237e: MUL
0000237f: NOT
00002380: AND
00002381: SWAP1
00002382: DUP4
00002383: PUSH8 0xffffffffffffffff
0000238c: AND
0000238d: MUL
0000238e: OR
0000238f: SWAP1
00002390: SSTORE
00002391: POP
00002392: PUSH1 0x00
00002394: PUSH1 0x01
00002396: DUP6
00002397: ADD
00002398: SWAP1
00002399: POP
0000239a: PUSH1 0x00
0000239c: PUSH1 0x04
0000239e: PUSH1 0x00
000023a0: DUP4
000023a1: DUP2
000023a2: MSTORE
000023a3: PUSH1 0x20
000023a5: ADD
000023a6: SWAP1
000023a7: DUP2
000023a8: MSTORE
000023a9: PUSH1 0x20
000023ab: ADD
000023ac: PUSH1 0x00
000023ae: KECCAK256
000023af: SWAP1
000023b0: POP
000023b1: PUSH1 0x00
000023b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023c8: AND
000023c9: DUP2
000023ca: PUSH1 0x00
000023cc: ADD
000023cd: PUSH1 0x00
000023cf: SWAP1
000023d0: SLOAD
000023d1: SWAP1
000023d2: PUSH2 0x0100
000023d5: EXP
000023d6: SWAP1
000023d7: DIV
000023d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023ed: AND
000023ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002403: AND
00002404: EQ
00002405: ISZERO
00002406: PUSH2 0x2486
00002409: JUMPI
0000240a: PUSH1 0x00
0000240c: SLOAD
0000240d: DUP3
0000240e: EQ
0000240f: PUSH2 0x2485
00002412: JUMPI
00002413: DUP8
00002414: DUP2
00002415: PUSH1 0x00
00002417: ADD
00002418: PUSH1 0x00
0000241a: PUSH2 0x0100
0000241d: EXP
0000241e: DUP2
0000241f: SLOAD
00002420: DUP2
00002421: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002436: MUL
00002437: NOT
00002438: AND
00002439: SWAP1
0000243a: DUP4
0000243b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002450: AND
00002451: MUL
00002452: OR
00002453: SWAP1
00002454: SSTORE
00002455: POP
00002456: DUP5
00002457: PUSH1 0x20
00002459: ADD
0000245a: MLOAD
0000245b: DUP2
0000245c: PUSH1 0x00
0000245e: ADD
0000245f: PUSH1 0x14
00002461: PUSH2 0x0100
00002464: EXP
00002465: DUP2
00002466: SLOAD
00002467: DUP2
00002468: PUSH8 0xffffffffffffffff
00002471: MUL
00002472: NOT
00002473: AND
00002474: SWAP1
00002475: DUP4
00002476: PUSH8 0xffffffffffffffff
0000247f: AND
00002480: MUL
00002481: OR
00002482: SWAP1
00002483: SSTORE
00002484: POP
00002485: JUMPDEST
00002486: JUMPDEST
00002487: POP
00002488: POP
00002489: POP
0000248a: DUP3
0000248b: DUP5
0000248c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024a1: AND
000024a2: DUP7
000024a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024b8: AND
000024b9: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000024da: PUSH1 0x40
000024dc: MLOAD
000024dd: PUSH1 0x40
000024df: MLOAD
000024e0: DUP1
000024e1: SWAP2
000024e2: SUB
000024e3: SWAP1
000024e4: LOG4
000024e5: PUSH2 0x24f1
000024e8: DUP6
000024e9: DUP6
000024ea: DUP6
000024eb: PUSH1 0x01
000024ed: PUSH2 0x2dba
000024f0: JUMP
000024f1: JUMPDEST
000024f2: POP
000024f3: POP
000024f4: POP
000024f5: POP
000024f6: POP
000024f7: JUMP
000024f8: JUMPDEST
000024f9: PUSH1 0x00
000024fb: DUP2
000024fc: GT
000024fd: PUSH2 0x253b
00002500: JUMPI
00002501: PUSH1 0x40
00002503: MLOAD
00002504: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002525: DUP2
00002526: MSTORE
00002527: PUSH1 0x04
00002529: ADD
0000252a: PUSH2 0x2532
0000252d: SWAP1
0000252e: PUSH2 0x3ca4
00002531: JUMP
00002532: JUMPDEST
00002533: PUSH1 0x40
00002535: MLOAD
00002536: DUP1
00002537: SWAP2
00002538: SUB
00002539: SWAP1
0000253a: REVERT
0000253b: JUMPDEST
0000253c: PUSH1 0x0d
0000253e: SLOAD
0000253f: DUP2
00002540: GT
00002541: ISZERO
00002542: PUSH2 0x2580
00002545: JUMPI
00002546: PUSH1 0x40
00002548: MLOAD
00002549: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000256a: DUP2
0000256b: MSTORE
0000256c: PUSH1 0x04
0000256e: ADD
0000256f: PUSH2 0x2577
00002572: SWAP1
00002573: PUSH2 0x3c84
00002576: JUMP
00002577: JUMPDEST
00002578: PUSH1 0x40
0000257a: MLOAD
0000257b: DUP1
0000257c: SWAP2
0000257d: SUB
0000257e: SWAP1
0000257f: REVERT
00002580: JUMPDEST
00002581: PUSH1 0x0c
00002583: SLOAD
00002584: DUP2
00002585: PUSH2 0x258c
00002588: PUSH2 0x26d8
0000258b: JUMP
0000258c: JUMPDEST
0000258d: PUSH2 0x2596
00002590: SWAP2
00002591: SWAP1
00002592: PUSH2 0x3e80
00002595: JUMP
00002596: JUMPDEST
00002597: GT
00002598: ISZERO
00002599: PUSH2 0x25d7
0000259c: JUMPI
0000259d: PUSH1 0x40
0000259f: MLOAD
000025a0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000025c1: DUP2
000025c2: MSTORE
000025c3: PUSH1 0x04
000025c5: ADD
000025c6: PUSH2 0x25ce
000025c9: SWAP1
000025ca: PUSH2 0x3c44
000025cd: JUMP
000025ce: JUMPDEST
000025cf: PUSH1 0x40
000025d1: MLOAD
000025d2: DUP1
000025d3: SWAP2
000025d4: SUB
000025d5: SWAP1
000025d6: REVERT
000025d7: JUMPDEST
000025d8: PUSH2 0x25e1
000025db: CALLER
000025dc: DUP3
000025dd: PUSH2 0x26eb
000025e0: JUMP
000025e1: JUMPDEST
000025e2: POP
000025e3: JUMP
000025e4: JUMPDEST
000025e5: DUP1
000025e6: SELFBALANCE
000025e7: LT
000025e8: ISZERO
000025e9: PUSH2 0x2627
000025ec: JUMPI
000025ed: PUSH1 0x40
000025ef: MLOAD
000025f0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002611: DUP2
00002612: MSTORE
00002613: PUSH1 0x04
00002615: ADD
00002616: PUSH2 0x261e
00002619: SWAP1
0000261a: PUSH2 0x3bc4
0000261d: JUMP
0000261e: JUMPDEST
0000261f: PUSH1 0x40
00002621: MLOAD
00002622: DUP1
00002623: SWAP2
00002624: SUB
00002625: SWAP1
00002626: REVERT
00002627: JUMPDEST
00002628: PUSH1 0x00
0000262a: DUP3
0000262b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002640: AND
00002641: DUP3
00002642: PUSH1 0x40
00002644: MLOAD
00002645: PUSH2 0x264d
00002648: SWAP1
00002649: PUSH2 0x3a8b
0000264c: JUMP
0000264d: JUMPDEST
0000264e: PUSH1 0x00
00002650: PUSH1 0x40
00002652: MLOAD
00002653: DUP1
00002654: DUP4
00002655: SUB
00002656: DUP2
00002657: DUP6
00002658: DUP8
00002659: GAS
0000265a: CALL
0000265b: SWAP3
0000265c: POP
0000265d: POP
0000265e: POP
0000265f: RETURNDATASIZE
00002660: DUP1
00002661: PUSH1 0x00
00002663: DUP2
00002664: EQ
00002665: PUSH2 0x268a
00002668: JUMPI
00002669: PUSH1 0x40
0000266b: MLOAD
0000266c: SWAP2
0000266d: POP
0000266e: PUSH1 0x1f
00002670: NOT
00002671: PUSH1 0x3f
00002673: RETURNDATASIZE
00002674: ADD
00002675: AND
00002676: DUP3
00002677: ADD
00002678: PUSH1 0x40
0000267a: MSTORE
0000267b: RETURNDATASIZE
0000267c: DUP3
0000267d: MSTORE
0000267e: RETURNDATASIZE
0000267f: PUSH1 0x00
00002681: PUSH1 0x20
00002683: DUP5
00002684: ADD
00002685: RETURNDATACOPY
00002686: PUSH2 0x268f
00002689: JUMP
0000268a: JUMPDEST
0000268b: PUSH1 0x60
0000268d: SWAP2
0000268e: POP
0000268f: JUMPDEST
00002690: POP
00002691: POP
00002692: SWAP1
00002693: POP
00002694: DUP1
00002695: PUSH2 0x26d3
00002698: JUMPI
00002699: PUSH1 0x40
0000269b: MLOAD
0000269c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000026bd: DUP2
000026be: MSTORE
000026bf: PUSH1 0x04
000026c1: ADD
000026c2: PUSH2 0x26ca
000026c5: SWAP1
000026c6: PUSH2 0x3ba4
000026c9: JUMP
000026ca: JUMPDEST
000026cb: PUSH1 0x40
000026cd: MLOAD
000026ce: DUP1
000026cf: SWAP2
000026d0: SUB
000026d1: SWAP1
000026d2: REVERT
000026d3: JUMPDEST
000026d4: POP
000026d5: POP
000026d6: POP
000026d7: JUMP
000026d8: JUMPDEST
000026d9: PUSH1 0x00
000026db: PUSH2 0x26e2
000026de: PUSH2 0x203d
000026e1: JUMP
000026e2: JUMPDEST
000026e3: PUSH1 0x00
000026e5: SLOAD
000026e6: SUB
000026e7: SWAP1
000026e8: POP
000026e9: SWAP1
000026ea: JUMP
000026eb: JUMPDEST
000026ec: PUSH2 0x2705
000026ef: DUP3
000026f0: DUP3
000026f1: PUSH1 0x40
000026f3: MLOAD
000026f4: DUP1
000026f5: PUSH1 0x20
000026f7: ADD
000026f8: PUSH1 0x40
000026fa: MSTORE
000026fb: DUP1
000026fc: PUSH1 0x00
000026fe: DUP2
000026ff: MSTORE
00002700: POP
00002701: PUSH2 0x2dc0
00002704: JUMP
00002705: JUMPDEST
00002706: POP
00002707: POP
00002708: JUMP
00002709: JUMPDEST
0000270a: PUSH2 0x2711
0000270d: PUSH2 0x3226
00002710: JUMP
00002711: JUMPDEST
00002712: PUSH1 0x00
00002714: DUP3
00002715: SWAP1
00002716: POP
00002717: DUP1
00002718: PUSH2 0x271f
0000271b: PUSH2 0x203d
0000271e: JUMP
0000271f: JUMPDEST
00002720: GT
00002721: ISZERO
00002722: DUP1
00002723: ISZERO
00002724: PUSH2 0x272e
00002727: JUMPI
00002728: POP
00002729: PUSH1 0x00
0000272b: SLOAD
0000272c: DUP2
0000272d: LT
0000272e: JUMPDEST
0000272f: ISZERO
00002730: PUSH2 0x2961
00002733: JUMPI
00002734: PUSH1 0x00
00002736: PUSH1 0x04
00002738: PUSH1 0x00
0000273a: DUP4
0000273b: DUP2
0000273c: MSTORE
0000273d: PUSH1 0x20
0000273f: ADD
00002740: SWAP1
00002741: DUP2
00002742: MSTORE
00002743: PUSH1 0x20
00002745: ADD
00002746: PUSH1 0x00
00002748: KECCAK256
00002749: PUSH1 0x40
0000274b: MLOAD
0000274c: DUP1
0000274d: PUSH1 0x60
0000274f: ADD
00002750: PUSH1 0x40
00002752: MSTORE
00002753: SWAP1
00002754: DUP2
00002755: PUSH1 0x00
00002757: DUP3
00002758: ADD
00002759: PUSH1 0x00
0000275b: SWAP1
0000275c: SLOAD
0000275d: SWAP1
0000275e: PUSH2 0x0100
00002761: EXP
00002762: SWAP1
00002763: DIV
00002764: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002779: AND
0000277a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000278f: AND
00002790: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027a5: AND
000027a6: DUP2
000027a7: MSTORE
000027a8: PUSH1 0x20
000027aa: ADD
000027ab: PUSH1 0x00
000027ad: DUP3
000027ae: ADD
000027af: PUSH1 0x14
000027b1: SWAP1
000027b2: SLOAD
000027b3: SWAP1
000027b4: PUSH2 0x0100
000027b7: EXP
000027b8: SWAP1
000027b9: DIV
000027ba: PUSH8 0xffffffffffffffff
000027c3: AND
000027c4: PUSH8 0xffffffffffffffff
000027cd: AND
000027ce: PUSH8 0xffffffffffffffff
000027d7: AND
000027d8: DUP2
000027d9: MSTORE
000027da: PUSH1 0x20
000027dc: ADD
000027dd: PUSH1 0x00
000027df: DUP3
000027e0: ADD
000027e1: PUSH1 0x1c
000027e3: SWAP1
000027e4: SLOAD
000027e5: SWAP1
000027e6: PUSH2 0x0100
000027e9: EXP
000027ea: SWAP1
000027eb: DIV
000027ec: PUSH1 0xff
000027ee: AND
000027ef: ISZERO
000027f0: ISZERO
000027f1: ISZERO
000027f2: ISZERO
000027f3: DUP2
000027f4: MSTORE
000027f5: POP
000027f6: POP
000027f7: SWAP1
000027f8: POP
000027f9: DUP1
000027fa: PUSH1 0x40
000027fc: ADD
000027fd: MLOAD
000027fe: PUSH2 0x295f
00002801: JUMPI
00002802: PUSH1 0x00
00002804: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002819: AND
0000281a: DUP2
0000281b: PUSH1 0x00
0000281d: ADD
0000281e: MLOAD
0000281f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002834: AND
00002835: EQ
00002836: PUSH2 0x2843
00002839: JUMPI
0000283a: DUP1
0000283b: SWAP3
0000283c: POP
0000283d: POP
0000283e: POP
0000283f: PUSH2 0x2993
00002842: JUMP
00002843: JUMPDEST
00002844: JUMPDEST
00002845: PUSH1 0x01
00002847: ISZERO
00002848: PUSH2 0x295e
0000284b: JUMPI
0000284c: DUP2
0000284d: DUP1
0000284e: PUSH1 0x01
00002850: SWAP1
00002851: SUB
00002852: SWAP3
00002853: POP
00002854: POP
00002855: PUSH1 0x04
00002857: PUSH1 0x00
00002859: DUP4
0000285a: DUP2
0000285b: MSTORE
0000285c: PUSH1 0x20
0000285e: ADD
0000285f: SWAP1
00002860: DUP2
00002861: MSTORE
00002862: PUSH1 0x20
00002864: ADD
00002865: PUSH1 0x00
00002867: KECCAK256
00002868: PUSH1 0x40
0000286a: MLOAD
0000286b: DUP1
0000286c: PUSH1 0x60
0000286e: ADD
0000286f: PUSH1 0x40
00002871: MSTORE
00002872: SWAP1
00002873: DUP2
00002874: PUSH1 0x00
00002876: DUP3
00002877: ADD
00002878: PUSH1 0x00
0000287a: SWAP1
0000287b: SLOAD
0000287c: SWAP1
0000287d: PUSH2 0x0100
00002880: EXP
00002881: SWAP1
00002882: DIV
00002883: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002898: AND
00002899: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028ae: AND
000028af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028c4: AND
000028c5: DUP2
000028c6: MSTORE
000028c7: PUSH1 0x20
000028c9: ADD
000028ca: PUSH1 0x00
000028cc: DUP3
000028cd: ADD
000028ce: PUSH1 0x14
000028d0: SWAP1
000028d1: SLOAD
000028d2: SWAP1
000028d3: PUSH2 0x0100
000028d6: EXP
000028d7: SWAP1
000028d8: DIV
000028d9: PUSH8 0xffffffffffffffff
000028e2: AND
000028e3: PUSH8 0xffffffffffffffff
000028ec: AND
000028ed: PUSH8 0xffffffffffffffff
000028f6: AND
000028f7: DUP2
000028f8: MSTORE
000028f9: PUSH1 0x20
000028fb: ADD
000028fc: PUSH1 0x00
000028fe: DUP3
000028ff: ADD
00002900: PUSH1 0x1c
00002902: SWAP1
00002903: SLOAD
00002904: SWAP1
00002905: PUSH2 0x0100
00002908: EXP
00002909: SWAP1
0000290a: DIV
0000290b: PUSH1 0xff
0000290d: AND
0000290e: ISZERO
0000290f: ISZERO
00002910: ISZERO
00002911: ISZERO
00002912: DUP2
00002913: MSTORE
00002914: POP
00002915: POP
00002916: SWAP1
00002917: POP
00002918: PUSH1 0x00
0000291a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000292f: AND
00002930: DUP2
00002931: PUSH1 0x00
00002933: ADD
00002934: MLOAD
00002935: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000294a: AND
0000294b: EQ
0000294c: PUSH2 0x2959
0000294f: JUMPI
00002950: DUP1
00002951: SWAP3
00002952: POP
00002953: POP
00002954: POP
00002955: PUSH2 0x2993
00002958: JUMP
00002959: JUMPDEST
0000295a: PUSH2 0x2844
0000295d: JUMP
0000295e: JUMPDEST
0000295f: JUMPDEST
00002960: POP
00002961: JUMPDEST
00002962: PUSH1 0x40
00002964: MLOAD
00002965: PUSH32 0xdf2d9b4200000000000000000000000000000000000000000000000000000000
00002986: DUP2
00002987: MSTORE
00002988: PUSH1 0x04
0000298a: ADD
0000298b: PUSH1 0x40
0000298d: MLOAD
0000298e: DUP1
0000298f: SWAP2
00002990: SUB
00002991: SWAP1
00002992: REVERT
00002993: JUMPDEST
00002994: SWAP2
00002995: SWAP1
00002996: POP
00002997: JUMP
00002998: JUMPDEST
00002999: PUSH1 0x00
0000299b: PUSH1 0x08
0000299d: PUSH1 0x00
0000299f: SWAP1
000029a0: SLOAD
000029a1: SWAP1
000029a2: PUSH2 0x0100
000029a5: EXP
000029a6: SWAP1
000029a7: DIV
000029a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029bd: AND
000029be: SWAP1
000029bf: POP
000029c0: DUP2
000029c1: PUSH1 0x08
000029c3: PUSH1 0x00
000029c5: PUSH2 0x0100
000029c8: EXP
000029c9: DUP2
000029ca: SLOAD
000029cb: DUP2
000029cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029e1: MUL
000029e2: NOT
000029e3: AND
000029e4: SWAP1
000029e5: DUP4
000029e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029fb: AND
000029fc: MUL
000029fd: OR
000029fe: SWAP1
000029ff: SSTORE
00002a00: POP
00002a01: DUP2
00002a02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a17: AND
00002a18: DUP2
00002a19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a2e: AND
00002a2f: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002a50: PUSH1 0x40
00002a52: MLOAD
00002a53: PUSH1 0x40
00002a55: MLOAD
00002a56: DUP1
00002a57: SWAP2
00002a58: SUB
00002a59: SWAP1
00002a5a: LOG3
00002a5b: POP
00002a5c: POP
00002a5d: JUMP
00002a5e: JUMPDEST
00002a5f: PUSH1 0x00
00002a61: DUP1
00002a62: PUSH1 0x0f
00002a64: SLOAD
00002a65: GT
00002a66: PUSH2 0x2a70
00002a69: JUMPI
00002a6a: PUSH1 0x00
00002a6c: PUSH2 0x2a7f
00002a6f: JUMP
00002a70: JUMPDEST
00002a71: PUSH1 0x0f
00002a73: SLOAD
00002a74: TIMESTAMP
00002a75: PUSH2 0x2a7e
00002a78: SWAP2
00002a79: SWAP1
00002a7a: PUSH2 0x3f61
00002a7d: JUMP
00002a7e: JUMPDEST
00002a7f: JUMPDEST
00002a80: SWAP1
00002a81: POP
00002a82: SWAP1
00002a83: JUMP
00002a84: JUMPDEST
00002a85: PUSH1 0x00
00002a87: DUP1
00002a88: DUP3
00002a89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a9e: AND
00002a9f: EXTCODESIZE
00002aa0: GT
00002aa1: SWAP1
00002aa2: POP
00002aa3: SWAP2
00002aa4: SWAP1
00002aa5: POP
00002aa6: JUMP
00002aa7: JUMPDEST
00002aa8: PUSH1 0x00
00002aaa: DUP4
00002aab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ac0: AND
00002ac1: PUSH4 0x150b7a02
00002ac6: PUSH2 0x2acd
00002ac9: PUSH2 0x1f83
00002acc: JUMP
00002acd: JUMPDEST
00002ace: DUP8
00002acf: DUP7
00002ad0: DUP7
00002ad1: PUSH1 0x40
00002ad3: MLOAD
00002ad4: DUP6
00002ad5: PUSH4 0xffffffff
00002ada: AND
00002adb: PUSH1 0xe0
00002add: SHL
00002ade: DUP2
00002adf: MSTORE
00002ae0: PUSH1 0x04
00002ae2: ADD
00002ae3: PUSH2 0x2aef
00002ae6: SWAP5
00002ae7: SWAP4
00002ae8: SWAP3
00002ae9: SWAP2
00002aea: SWAP1
00002aeb: PUSH2 0x3abb
00002aee: JUMP
00002aef: JUMPDEST
00002af0: PUSH1 0x20
00002af2: PUSH1 0x40
00002af4: MLOAD
00002af5: DUP1
00002af6: DUP4
00002af7: SUB
00002af8: DUP2
00002af9: PUSH1 0x00
00002afb: DUP8
00002afc: DUP1
00002afd: EXTCODESIZE
00002afe: ISZERO
00002aff: DUP1
00002b00: ISZERO
00002b01: PUSH2 0x2b09
00002b04: JUMPI
00002b05: PUSH1 0x00
00002b07: DUP1
00002b08: REVERT
00002b09: JUMPDEST
00002b0a: POP
00002b0b: GAS
00002b0c: CALL
00002b0d: SWAP3
00002b0e: POP
00002b0f: POP
00002b10: POP
00002b11: DUP1
00002b12: ISZERO
00002b13: PUSH2 0x2b3a
00002b16: JUMPI
00002b17: POP
00002b18: PUSH1 0x40
00002b1a: MLOAD
00002b1b: RETURNDATASIZE
00002b1c: PUSH1 0x1f
00002b1e: NOT
00002b1f: PUSH1 0x1f
00002b21: DUP3
00002b22: ADD
00002b23: AND
00002b24: DUP3
00002b25: ADD
00002b26: DUP1
00002b27: PUSH1 0x40
00002b29: MSTORE
00002b2a: POP
00002b2b: DUP2
00002b2c: ADD
00002b2d: SWAP1
00002b2e: PUSH2 0x2b37
00002b31: SWAP2
00002b32: SWAP1
00002b33: PUSH2 0x3632
00002b36: JUMP
00002b37: JUMPDEST
00002b38: PUSH1 0x01
00002b3a: JUMPDEST
00002b3b: PUSH2 0x2bb4
00002b3e: JUMPI
00002b3f: RETURNDATASIZE
00002b40: DUP1
00002b41: PUSH1 0x00
00002b43: DUP2
00002b44: EQ
00002b45: PUSH2 0x2b6a
00002b48: JUMPI
00002b49: PUSH1 0x40
00002b4b: MLOAD
00002b4c: SWAP2
00002b4d: POP
00002b4e: PUSH1 0x1f
00002b50: NOT
00002b51: PUSH1 0x3f
00002b53: RETURNDATASIZE
00002b54: ADD
00002b55: AND
00002b56: DUP3
00002b57: ADD
00002b58: PUSH1 0x40
00002b5a: MSTORE
00002b5b: RETURNDATASIZE
00002b5c: DUP3
00002b5d: MSTORE
00002b5e: RETURNDATASIZE
00002b5f: PUSH1 0x00
00002b61: PUSH1 0x20
00002b63: DUP5
00002b64: ADD
00002b65: RETURNDATACOPY
00002b66: PUSH2 0x2b6f
00002b69: JUMP
00002b6a: JUMPDEST
00002b6b: PUSH1 0x60
00002b6d: SWAP2
00002b6e: POP
00002b6f: JUMPDEST
00002b70: POP
00002b71: PUSH1 0x00
00002b73: DUP2
00002b74: MLOAD
00002b75: EQ
00002b76: ISZERO
00002b77: PUSH2 0x2bac
00002b7a: JUMPI
00002b7b: PUSH1 0x40
00002b7d: MLOAD
00002b7e: PUSH32 0xd1a57ed600000000000000000000000000000000000000000000000000000000
00002b9f: DUP2
00002ba0: MSTORE
00002ba1: PUSH1 0x04
00002ba3: ADD
00002ba4: PUSH1 0x40
00002ba6: MLOAD
00002ba7: DUP1
00002ba8: SWAP2
00002ba9: SUB
00002baa: SWAP1
00002bab: REVERT
00002bac: JUMPDEST
00002bad: DUP1
00002bae: MLOAD
00002baf: DUP2
00002bb0: PUSH1 0x20
00002bb2: ADD
00002bb3: REVERT
00002bb4: JUMPDEST
00002bb5: PUSH4 0x150b7a02
00002bba: PUSH1 0xe0
00002bbc: SHL
00002bbd: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002bda: NOT
00002bdb: AND
00002bdc: DUP2
00002bdd: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002bfa: NOT
00002bfb: AND
00002bfc: EQ
00002bfd: SWAP2
00002bfe: POP
00002bff: POP
00002c00: SWAP5
00002c01: SWAP4
00002c02: POP
00002c03: POP
00002c04: POP
00002c05: POP
00002c06: JUMP
00002c07: JUMPDEST
00002c08: PUSH1 0x60
00002c0a: PUSH1 0x00
00002c0c: DUP3
00002c0d: EQ
00002c0e: ISZERO
00002c0f: PUSH2 0x2c4f
00002c12: JUMPI
00002c13: PUSH1 0x40
00002c15: MLOAD
00002c16: DUP1
00002c17: PUSH1 0x40
00002c19: ADD
00002c1a: PUSH1 0x40
00002c1c: MSTORE
00002c1d: DUP1
00002c1e: PUSH1 0x01
00002c20: DUP2
00002c21: MSTORE
00002c22: PUSH1 0x20
00002c24: ADD
00002c25: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00002c46: DUP2
00002c47: MSTORE
00002c48: POP
00002c49: SWAP1
00002c4a: POP
00002c4b: PUSH2 0x2daf
00002c4e: JUMP
00002c4f: JUMPDEST
00002c50: PUSH1 0x00
00002c52: DUP3
00002c53: SWAP1
00002c54: POP
00002c55: PUSH1 0x00
00002c57: JUMPDEST
00002c58: PUSH1 0x00
00002c5a: DUP3
00002c5b: EQ
00002c5c: PUSH2 0x2c81
00002c5f: JUMPI
00002c60: DUP1
00002c61: DUP1
00002c62: PUSH2 0x2c6a
00002c65: SWAP1
00002c66: PUSH2 0x40ae
00002c69: JUMP
00002c6a: JUMPDEST
00002c6b: SWAP2
00002c6c: POP
00002c6d: POP
00002c6e: PUSH1 0x0a
00002c70: DUP3
00002c71: PUSH2 0x2c7a
00002c74: SWAP2
00002c75: SWAP1
00002c76: PUSH2 0x3ed6
00002c79: JUMP
00002c7a: JUMPDEST
00002c7b: SWAP2
00002c7c: POP
00002c7d: PUSH2 0x2c57
00002c80: JUMP
00002c81: JUMPDEST
00002c82: PUSH1 0x00
00002c84: DUP2
00002c85: PUSH8 0xffffffffffffffff
00002c8e: DUP2
00002c8f: GT
00002c90: ISZERO
00002c91: PUSH2 0x2cc3
00002c94: JUMPI
00002c95: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002cb6: PUSH1 0x00
00002cb8: MSTORE
00002cb9: PUSH1 0x41
00002cbb: PUSH1 0x04
00002cbd: MSTORE
00002cbe: PUSH1 0x24
00002cc0: PUSH1 0x00
00002cc2: REVERT
00002cc3: JUMPDEST
00002cc4: PUSH1 0x40
00002cc6: MLOAD
00002cc7: SWAP1
00002cc8: DUP1
00002cc9: DUP3
00002cca: MSTORE
00002ccb: DUP1
00002ccc: PUSH1 0x1f
00002cce: ADD
00002ccf: PUSH1 0x1f
00002cd1: NOT
00002cd2: AND
00002cd3: PUSH1 0x20
00002cd5: ADD
00002cd6: DUP3
00002cd7: ADD
00002cd8: PUSH1 0x40
00002cda: MSTORE
00002cdb: DUP1
00002cdc: ISZERO
00002cdd: PUSH2 0x2cf5
00002ce0: JUMPI
00002ce1: DUP2
00002ce2: PUSH1 0x20
00002ce4: ADD
00002ce5: PUSH1 0x01
00002ce7: DUP3
00002ce8: MUL
00002ce9: DUP1
00002cea: CALLDATASIZE
00002ceb: DUP4
00002cec: CALLDATACOPY
00002ced: DUP1
00002cee: DUP3
00002cef: ADD
00002cf0: SWAP2
00002cf1: POP
00002cf2: POP
00002cf3: SWAP1
00002cf4: POP
00002cf5: JUMPDEST
00002cf6: POP
00002cf7: SWAP1
00002cf8: POP
00002cf9: JUMPDEST
00002cfa: PUSH1 0x00
00002cfc: DUP6
00002cfd: EQ
00002cfe: PUSH2 0x2da8
00002d01: JUMPI
00002d02: PUSH1 0x01
00002d04: DUP3
00002d05: PUSH2 0x2d0e
00002d08: SWAP2
00002d09: SWAP1
00002d0a: PUSH2 0x3f61
00002d0d: JUMP
00002d0e: JUMPDEST
00002d0f: SWAP2
00002d10: POP
00002d11: PUSH1 0x0a
00002d13: DUP6
00002d14: PUSH2 0x2d1d
00002d17: SWAP2
00002d18: SWAP1
00002d19: PUSH2 0x40f7
00002d1c: JUMP
00002d1d: JUMPDEST
00002d1e: PUSH1 0x30
00002d20: PUSH2 0x2d29
00002d23: SWAP2
00002d24: SWAP1
00002d25: PUSH2 0x3e80
00002d28: JUMP
00002d29: JUMPDEST
00002d2a: PUSH1 0xf8
00002d2c: SHL
00002d2d: DUP2
00002d2e: DUP4
00002d2f: DUP2
00002d30: MLOAD
00002d31: DUP2
00002d32: LT
00002d33: PUSH2 0x2d65
00002d36: JUMPI
00002d37: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002d58: PUSH1 0x00
00002d5a: MSTORE
00002d5b: PUSH1 0x32
00002d5d: PUSH1 0x04
00002d5f: MSTORE
00002d60: PUSH1 0x24
00002d62: PUSH1 0x00
00002d64: REVERT
00002d65: JUMPDEST
00002d66: PUSH1 0x20
00002d68: ADD
00002d69: ADD
00002d6a: SWAP1
00002d6b: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002d8b: NOT
00002d8c: AND
00002d8d: SWAP1
00002d8e: DUP2
00002d8f: PUSH1 0x00
00002d91: BYTE
00002d92: SWAP1
00002d93: MSTORE8
00002d94: POP
00002d95: PUSH1 0x0a
00002d97: DUP6
00002d98: PUSH2 0x2da1
00002d9b: SWAP2
00002d9c: SWAP1
00002d9d: PUSH2 0x3ed6
00002da0: JUMP
00002da1: JUMPDEST
00002da2: SWAP5
00002da3: POP
00002da4: PUSH2 0x2cf9
00002da7: JUMP
00002da8: JUMPDEST
00002da9: DUP1
00002daa: SWAP4
00002dab: POP
00002dac: POP
00002dad: POP
00002dae: POP
00002daf: JUMPDEST
00002db0: SWAP2
00002db1: SWAP1
00002db2: POP
00002db3: JUMP
00002db4: JUMPDEST
00002db5: POP
00002db6: POP
00002db7: POP
00002db8: POP
00002db9: JUMP
00002dba: JUMPDEST
00002dbb: POP
00002dbc: POP
00002dbd: POP
00002dbe: POP
00002dbf: JUMP
00002dc0: JUMPDEST
00002dc1: PUSH2 0x2dcd
00002dc4: DUP4
00002dc5: DUP4
00002dc6: DUP4
00002dc7: PUSH1 0x01
00002dc9: PUSH2 0x2dd2
00002dcc: JUMP
00002dcd: JUMPDEST
00002dce: POP
00002dcf: POP
00002dd0: POP
00002dd1: JUMP
00002dd2: JUMPDEST
00002dd3: PUSH1 0x00
00002dd5: DUP1
00002dd6: SLOAD
00002dd7: SWAP1
00002dd8: POP
00002dd9: PUSH1 0x00
00002ddb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002df0: AND
00002df1: DUP6
00002df2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e07: AND
00002e08: EQ
00002e09: ISZERO
00002e0a: PUSH2 0x2e3f
00002e0d: JUMPI
00002e0e: PUSH1 0x40
00002e10: MLOAD
00002e11: PUSH32 0x2e07630000000000000000000000000000000000000000000000000000000000
00002e32: DUP2
00002e33: MSTORE
00002e34: PUSH1 0x04
00002e36: ADD
00002e37: PUSH1 0x40
00002e39: MLOAD
00002e3a: DUP1
00002e3b: SWAP2
00002e3c: SUB
00002e3d: SWAP1
00002e3e: REVERT
00002e3f: JUMPDEST
00002e40: PUSH1 0x00
00002e42: DUP5
00002e43: EQ
00002e44: ISZERO
00002e45: PUSH2 0x2e7a
00002e48: JUMPI
00002e49: PUSH1 0x40
00002e4b: MLOAD
00002e4c: PUSH32 0xb562e8dd00000000000000000000000000000000000000000000000000000000
00002e6d: DUP2
00002e6e: MSTORE
00002e6f: PUSH1 0x04
00002e71: ADD
00002e72: PUSH1 0x40
00002e74: MLOAD
00002e75: DUP1
00002e76: SWAP2
00002e77: SUB
00002e78: SWAP1
00002e79: REVERT
00002e7a: JUMPDEST
00002e7b: PUSH2 0x2e87
00002e7e: PUSH1 0x00
00002e80: DUP7
00002e81: DUP4
00002e82: DUP8
00002e83: PUSH2 0x2db4
00002e86: JUMP
00002e87: JUMPDEST
00002e88: DUP4
00002e89: PUSH1 0x05
00002e8b: PUSH1 0x00
00002e8d: DUP8
00002e8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ea3: AND
00002ea4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002eb9: AND
00002eba: DUP2
00002ebb: MSTORE
00002ebc: PUSH1 0x20
00002ebe: ADD
00002ebf: SWAP1
00002ec0: DUP2
00002ec1: MSTORE
00002ec2: PUSH1 0x20
00002ec4: ADD
00002ec5: PUSH1 0x00
00002ec7: KECCAK256
00002ec8: PUSH1 0x00
00002eca: ADD
00002ecb: PUSH1 0x00
00002ecd: DUP3
00002ece: DUP3
00002ecf: DUP3
00002ed0: SWAP1
00002ed1: SLOAD
00002ed2: SWAP1
00002ed3: PUSH2 0x0100
00002ed6: EXP
00002ed7: SWAP1
00002ed8: DIV
00002ed9: PUSH8 0xffffffffffffffff
00002ee2: AND
00002ee3: ADD
00002ee4: SWAP3
00002ee5: POP
00002ee6: PUSH2 0x0100
00002ee9: EXP
00002eea: DUP2
00002eeb: SLOAD
00002eec: DUP2
00002eed: PUSH8 0xffffffffffffffff
00002ef6: MUL
00002ef7: NOT
00002ef8: AND
00002ef9: SWAP1
00002efa: DUP4
00002efb: PUSH8 0xffffffffffffffff
00002f04: AND
00002f05: MUL
00002f06: OR
00002f07: SWAP1
00002f08: SSTORE
00002f09: POP
00002f0a: DUP4
00002f0b: PUSH1 0x05
00002f0d: PUSH1 0x00
00002f0f: DUP8
00002f10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f25: AND
00002f26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f3b: AND
00002f3c: DUP2
00002f3d: MSTORE
00002f3e: PUSH1 0x20
00002f40: ADD
00002f41: SWAP1
00002f42: DUP2
00002f43: MSTORE
00002f44: PUSH1 0x20
00002f46: ADD
00002f47: PUSH1 0x00
00002f49: KECCAK256
00002f4a: PUSH1 0x00
00002f4c: ADD
00002f4d: PUSH1 0x08
00002f4f: DUP3
00002f50: DUP3
00002f51: DUP3
00002f52: SWAP1
00002f53: SLOAD
00002f54: SWAP1
00002f55: PUSH2 0x0100
00002f58: EXP
00002f59: SWAP1
00002f5a: DIV
00002f5b: PUSH8 0xffffffffffffffff
00002f64: AND
00002f65: ADD
00002f66: SWAP3
00002f67: POP
00002f68: PUSH2 0x0100
00002f6b: EXP
00002f6c: DUP2
00002f6d: SLOAD
00002f6e: DUP2
00002f6f: PUSH8 0xffffffffffffffff
00002f78: MUL
00002f79: NOT
00002f7a: AND
00002f7b: SWAP1
00002f7c: DUP4
00002f7d: PUSH8 0xffffffffffffffff
00002f86: AND
00002f87: MUL
00002f88: OR
00002f89: SWAP1
00002f8a: SSTORE
00002f8b: POP
00002f8c: DUP5
00002f8d: PUSH1 0x04
00002f8f: PUSH1 0x00
00002f91: DUP4
00002f92: DUP2
00002f93: MSTORE
00002f94: PUSH1 0x20
00002f96: ADD
00002f97: SWAP1
00002f98: DUP2
00002f99: MSTORE
00002f9a: PUSH1 0x20
00002f9c: ADD
00002f9d: PUSH1 0x00
00002f9f: KECCAK256
00002fa0: PUSH1 0x00
00002fa2: ADD
00002fa3: PUSH1 0x00
00002fa5: PUSH2 0x0100
00002fa8: EXP
00002fa9: DUP2
00002faa: SLOAD
00002fab: DUP2
00002fac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fc1: MUL
00002fc2: NOT
00002fc3: AND
00002fc4: SWAP1
00002fc5: DUP4
00002fc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fdb: AND
00002fdc: MUL
00002fdd: OR
00002fde: SWAP1
00002fdf: SSTORE
00002fe0: POP
00002fe1: TIMESTAMP
00002fe2: PUSH1 0x04
00002fe4: PUSH1 0x00
00002fe6: DUP4
00002fe7: DUP2
00002fe8: MSTORE
00002fe9: PUSH1 0x20
00002feb: ADD
00002fec: SWAP1
00002fed: DUP2
00002fee: MSTORE
00002fef: PUSH1 0x20
00002ff1: ADD
00002ff2: PUSH1 0x00
00002ff4: KECCAK256
00002ff5: PUSH1 0x00
00002ff7: ADD
00002ff8: PUSH1 0x14
00002ffa: PUSH2 0x0100
00002ffd: EXP
00002ffe: DUP2
00002fff: SLOAD
00003000: DUP2
00003001: PUSH8 0xffffffffffffffff
0000300a: MUL
0000300b: NOT
0000300c: AND
0000300d: SWAP1
0000300e: DUP4
0000300f: PUSH8 0xffffffffffffffff
00003018: AND
00003019: MUL
0000301a: OR
0000301b: SWAP1
0000301c: SSTORE
0000301d: POP
0000301e: PUSH1 0x00
00003020: DUP2
00003021: SWAP1
00003022: POP
00003023: PUSH1 0x00
00003025: DUP6
00003026: DUP3
00003027: ADD
00003028: SWAP1
00003029: POP
0000302a: DUP4
0000302b: DUP1
0000302c: ISZERO
0000302d: PUSH2 0x3051
00003030: JUMPI
00003031: POP
00003032: PUSH2 0x3050
00003035: DUP8
00003036: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000304b: AND
0000304c: PUSH2 0x2a84
0000304f: JUMP
00003050: JUMPDEST
00003051: JUMPDEST
00003052: ISZERO
00003053: PUSH2 0x3117
00003056: JUMPI
00003057: JUMPDEST
00003058: DUP2
00003059: DUP8
0000305a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000306f: AND
00003070: PUSH1 0x00
00003072: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003087: AND
00003088: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000030a9: PUSH1 0x40
000030ab: MLOAD
000030ac: PUSH1 0x40
000030ae: MLOAD
000030af: DUP1
000030b0: SWAP2
000030b1: SUB
000030b2: SWAP1
000030b3: LOG4
000030b4: PUSH2 0x30c6
000030b7: PUSH1 0x00
000030b9: DUP9
000030ba: DUP5
000030bb: DUP1
000030bc: PUSH1 0x01
000030be: ADD
000030bf: SWAP6
000030c0: POP
000030c1: DUP9
000030c2: PUSH2 0x2aa7
000030c5: JUMP
000030c6: JUMPDEST
000030c7: PUSH2 0x30fc
000030ca: JUMPI
000030cb: PUSH1 0x40
000030cd: MLOAD
000030ce: PUSH32 0xd1a57ed600000000000000000000000000000000000000000000000000000000
000030ef: DUP2
000030f0: MSTORE
000030f1: PUSH1 0x04
000030f3: ADD
000030f4: PUSH1 0x40
000030f6: MLOAD
000030f7: DUP1
000030f8: SWAP2
000030f9: SUB
000030fa: SWAP1
000030fb: REVERT
000030fc: JUMPDEST
000030fd: DUP1
000030fe: DUP3
000030ff: EQ
00003100: ISZERO
00003101: PUSH2 0x3057
00003104: JUMPI
00003105: DUP3
00003106: PUSH1 0x00
00003108: SLOAD
00003109: EQ
0000310a: PUSH2 0x3112
0000310d: JUMPI
0000310e: PUSH1 0x00
00003110: DUP1
00003111: REVERT
00003112: JUMPDEST
00003113: PUSH2 0x3183
00003116: JUMP
00003117: JUMPDEST
00003118: JUMPDEST
00003119: DUP2
0000311a: DUP1
0000311b: PUSH1 0x01
0000311d: ADD
0000311e: SWAP3
0000311f: POP
00003120: DUP8
00003121: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003136: AND
00003137: PUSH1 0x00
00003139: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000314e: AND
0000314f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003170: PUSH1 0x40
00003172: MLOAD
00003173: PUSH1 0x40
00003175: MLOAD
00003176: DUP1
00003177: SWAP2
00003178: SUB
00003179: SWAP1
0000317a: LOG4
0000317b: DUP1
0000317c: DUP3
0000317d: EQ
0000317e: ISZERO
0000317f: PUSH2 0x3118
00003182: JUMPI
00003183: JUMPDEST
00003184: DUP2
00003185: PUSH1 0x00
00003187: DUP2
00003188: SWAP1
00003189: SSTORE
0000318a: POP
0000318b: POP
0000318c: POP
0000318d: PUSH2 0x3199
00003190: PUSH1 0x00
00003192: DUP7
00003193: DUP4
00003194: DUP8
00003195: PUSH2 0x2dba
00003198: JUMP
00003199: JUMPDEST
0000319a: POP
0000319b: POP
0000319c: POP
0000319d: POP
0000319e: POP
0000319f: JUMP
000031a0: JUMPDEST
000031a1: DUP3
000031a2: DUP1
000031a3: SLOAD
000031a4: PUSH2 0x31ac
000031a7: SWAP1
000031a8: PUSH2 0x404b
000031ab: JUMP
000031ac: JUMPDEST
000031ad: SWAP1
000031ae: PUSH1 0x00
000031b0: MSTORE
000031b1: PUSH1 0x20
000031b3: PUSH1 0x00
000031b5: KECCAK256
000031b6: SWAP1
000031b7: PUSH1 0x1f
000031b9: ADD
000031ba: PUSH1 0x20
000031bc: SWAP1
000031bd: DIV
000031be: DUP2
000031bf: ADD
000031c0: SWAP3
000031c1: DUP3
000031c2: PUSH2 0x31ce
000031c5: JUMPI
000031c6: PUSH1 0x00
000031c8: DUP6
000031c9: SSTORE
000031ca: PUSH2 0x3215
000031cd: JUMP
000031ce: JUMPDEST
000031cf: DUP3
000031d0: PUSH1 0x1f
000031d2: LT
000031d3: PUSH2 0x31e7
000031d6: JUMPI
000031d7: DUP1
000031d8: MLOAD
000031d9: PUSH1 0xff
000031db: NOT
000031dc: AND
000031dd: DUP4
000031de: DUP1
000031df: ADD
000031e0: OR
000031e1: DUP6
000031e2: SSTORE
000031e3: PUSH2 0x3215
000031e6: JUMP
000031e7: JUMPDEST
000031e8: DUP3
000031e9: DUP1
000031ea: ADD
000031eb: PUSH1 0x01
000031ed: ADD
000031ee: DUP6
000031ef: SSTORE
000031f0: DUP3
000031f1: ISZERO
000031f2: PUSH2 0x3215
000031f5: JUMPI
000031f6: SWAP2
000031f7: DUP3
000031f8: ADD
000031f9: JUMPDEST
000031fa: DUP3
000031fb: DUP2
000031fc: GT
000031fd: ISZERO
000031fe: PUSH2 0x3214
00003201: JUMPI
00003202: DUP3
00003203: MLOAD
00003204: DUP3
00003205: SSTORE
00003206: SWAP2
00003207: PUSH1 0x20
00003209: ADD
0000320a: SWAP2
0000320b: SWAP1
0000320c: PUSH1 0x01
0000320e: ADD
0000320f: SWAP1
00003210: PUSH2 0x31f9
00003213: JUMP
00003214: JUMPDEST
00003215: JUMPDEST
00003216: POP
00003217: SWAP1
00003218: POP
00003219: PUSH2 0x3222
0000321c: SWAP2
0000321d: SWAP1
0000321e: PUSH2 0x3269
00003221: JUMP
00003222: JUMPDEST
00003223: POP
00003224: SWAP1
00003225: JUMP
00003226: JUMPDEST
00003227: PUSH1 0x40
00003229: MLOAD
0000322a: DUP1
0000322b: PUSH1 0x60
0000322d: ADD
0000322e: PUSH1 0x40
00003230: MSTORE
00003231: DUP1
00003232: PUSH1 0x00
00003234: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003249: AND
0000324a: DUP2
0000324b: MSTORE
0000324c: PUSH1 0x20
0000324e: ADD
0000324f: PUSH1 0x00
00003251: PUSH8 0xffffffffffffffff
0000325a: AND
0000325b: DUP2
0000325c: MSTORE
0000325d: PUSH1 0x20
0000325f: ADD
00003260: PUSH1 0x00
00003262: ISZERO
00003263: ISZERO
00003264: DUP2
00003265: MSTORE
00003266: POP
00003267: SWAP1
00003268: JUMP
00003269: JUMPDEST
0000326a: JUMPDEST
0000326b: DUP1
0000326c: DUP3
0000326d: GT
0000326e: ISZERO
0000326f: PUSH2 0x3282
00003272: JUMPI
00003273: PUSH1 0x00
00003275: DUP2
00003276: PUSH1 0x00
00003278: SWAP1
00003279: SSTORE
0000327a: POP
0000327b: PUSH1 0x01
0000327d: ADD
0000327e: PUSH2 0x326a
00003281: JUMP
00003282: JUMPDEST
00003283: POP
00003284: SWAP1
00003285: JUMP
00003286: JUMPDEST
00003287: PUSH1 0x00
00003289: PUSH2 0x3299
0000328c: PUSH2 0x3294
0000328f: DUP5
00003290: PUSH2 0x3dbb
00003293: JUMP
00003294: JUMPDEST
00003295: PUSH2 0x3d96
00003298: JUMP
00003299: JUMPDEST
0000329a: SWAP1
0000329b: POP
0000329c: DUP3
0000329d: DUP2
0000329e: MSTORE
0000329f: PUSH1 0x20
000032a1: DUP2
000032a2: ADD
000032a3: DUP5
000032a4: DUP5
000032a5: DUP5
000032a6: ADD
000032a7: GT
000032a8: ISZERO
000032a9: PUSH2 0x32b1
000032ac: JUMPI
000032ad: PUSH1 0x00
000032af: DUP1
000032b0: REVERT
000032b1: JUMPDEST
000032b2: PUSH2 0x32bc
000032b5: DUP5
000032b6: DUP3
000032b7: DUP6
000032b8: PUSH2 0x4009
000032bb: JUMP
000032bc: JUMPDEST
000032bd: POP
000032be: SWAP4
000032bf: SWAP3
000032c0: POP
000032c1: POP
000032c2: POP
000032c3: JUMP
000032c4: JUMPDEST
000032c5: PUSH1 0x00
000032c7: PUSH2 0x32d7
000032ca: PUSH2 0x32d2
000032cd: DUP5
000032ce: PUSH2 0x3dec
000032d1: JUMP
000032d2: JUMPDEST
000032d3: PUSH2 0x3d96
000032d6: JUMP
000032d7: JUMPDEST
000032d8: SWAP1
000032d9: POP
000032da: DUP3
000032db: DUP2
000032dc: MSTORE
000032dd: PUSH1 0x20
000032df: DUP2
000032e0: ADD
000032e1: DUP5
000032e2: DUP5
000032e3: DUP5
000032e4: ADD
000032e5: GT
000032e6: ISZERO
000032e7: PUSH2 0x32ef
000032ea: JUMPI
000032eb: PUSH1 0x00
000032ed: DUP1
000032ee: REVERT
000032ef: JUMPDEST
000032f0: PUSH2 0x32fa
000032f3: DUP5
000032f4: DUP3
000032f5: DUP6
000032f6: PUSH2 0x4009
000032f9: JUMP
000032fa: JUMPDEST
000032fb: POP
000032fc: SWAP4
000032fd: SWAP3
000032fe: POP
000032ff: POP
00003300: POP
00003301: JUMP
00003302: JUMPDEST
00003303: PUSH1 0x00
00003305: DUP2
00003306: CALLDATALOAD
00003307: SWAP1
00003308: POP
00003309: PUSH2 0x3311
0000330c: DUP2
0000330d: PUSH2 0x45de
00003310: JUMP
00003311: JUMPDEST
00003312: SWAP3
00003313: SWAP2
00003314: POP
00003315: POP
00003316: JUMP
00003317: JUMPDEST
00003318: PUSH1 0x00
0000331a: DUP2
0000331b: CALLDATALOAD
0000331c: SWAP1
0000331d: POP
0000331e: PUSH2 0x3326
00003321: DUP2
00003322: PUSH2 0x45f5
00003325: JUMP
00003326: JUMPDEST
00003327: SWAP3
00003328: SWAP2
00003329: POP
0000332a: POP
0000332b: JUMP
0000332c: JUMPDEST
0000332d: PUSH1 0x00
0000332f: DUP2
00003330: MLOAD
00003331: SWAP1
00003332: POP
00003333: PUSH2 0x333b
00003336: DUP2
00003337: PUSH2 0x45f5
0000333a: JUMP
0000333b: JUMPDEST
0000333c: SWAP3
0000333d: SWAP2
0000333e: POP
0000333f: POP
00003340: JUMP
00003341: JUMPDEST
00003342: PUSH1 0x00
00003344: DUP2
00003345: CALLDATALOAD
00003346: SWAP1
00003347: POP
00003348: PUSH2 0x3350
0000334b: DUP2
0000334c: PUSH2 0x460c
0000334f: JUMP
00003350: JUMPDEST
00003351: SWAP3
00003352: SWAP2
00003353: POP
00003354: POP
00003355: JUMP
00003356: JUMPDEST
00003357: PUSH1 0x00
00003359: DUP2
0000335a: MLOAD
0000335b: SWAP1
0000335c: POP
0000335d: PUSH2 0x3365
00003360: DUP2
00003361: PUSH2 0x460c
00003364: JUMP
00003365: JUMPDEST
00003366: SWAP3
00003367: SWAP2
00003368: POP
00003369: POP
0000336a: JUMP
0000336b: JUMPDEST
0000336c: PUSH1 0x00
0000336e: DUP3
0000336f: PUSH1 0x1f
00003371: DUP4
00003372: ADD
00003373: SLT
00003374: PUSH2 0x337c
00003377: JUMPI
00003378: PUSH1 0x00
0000337a: DUP1
0000337b: REVERT
0000337c: JUMPDEST
0000337d: DUP2
0000337e: CALLDATALOAD
0000337f: PUSH2 0x338c
00003382: DUP5
00003383: DUP3
00003384: PUSH1 0x20
00003386: DUP7
00003387: ADD
00003388: PUSH2 0x3286
0000338b: JUMP
0000338c: JUMPDEST
0000338d: SWAP2
0000338e: POP
0000338f: POP
00003390: SWAP3
00003391: SWAP2
00003392: POP
00003393: POP
00003394: JUMP
00003395: JUMPDEST
00003396: PUSH1 0x00
00003398: DUP3
00003399: PUSH1 0x1f
0000339b: DUP4
0000339c: ADD
0000339d: SLT
0000339e: PUSH2 0x33a6
000033a1: JUMPI
000033a2: PUSH1 0x00
000033a4: DUP1
000033a5: REVERT
000033a6: JUMPDEST
000033a7: DUP2
000033a8: CALLDATALOAD
000033a9: PUSH2 0x33b6
000033ac: DUP5
000033ad: DUP3
000033ae: PUSH1 0x20
000033b0: DUP7
000033b1: ADD
000033b2: PUSH2 0x32c4
000033b5: JUMP
000033b6: JUMPDEST
000033b7: SWAP2
000033b8: POP
000033b9: POP
000033ba: SWAP3
000033bb: SWAP2
000033bc: POP
000033bd: POP
000033be: JUMP
000033bf: JUMPDEST
000033c0: PUSH1 0x00
000033c2: DUP2
000033c3: CALLDATALOAD
000033c4: SWAP1
000033c5: POP
000033c6: PUSH2 0x33ce
000033c9: DUP2
000033ca: PUSH2 0x4623
000033cd: JUMP
000033ce: JUMPDEST
000033cf: SWAP3
000033d0: SWAP2
000033d1: POP
000033d2: POP
000033d3: JUMP
000033d4: JUMPDEST
000033d5: PUSH1 0x00
000033d7: PUSH1 0x20
000033d9: DUP3
000033da: DUP5
000033db: SUB
000033dc: SLT
000033dd: ISZERO
000033de: PUSH2 0x33e6
000033e1: JUMPI
000033e2: PUSH1 0x00
000033e4: DUP1
000033e5: REVERT
000033e6: JUMPDEST
000033e7: PUSH1 0x00
000033e9: PUSH2 0x33f4
000033ec: DUP5
000033ed: DUP3
000033ee: DUP6
000033ef: ADD
000033f0: PUSH2 0x3302
000033f3: JUMP
000033f4: JUMPDEST
000033f5: SWAP2
000033f6: POP
000033f7: POP
000033f8: SWAP3
000033f9: SWAP2
000033fa: POP
000033fb: POP
000033fc: JUMP
000033fd: JUMPDEST
000033fe: PUSH1 0x00
00003400: DUP1
00003401: PUSH1 0x40
00003403: DUP4
00003404: DUP6
00003405: SUB
00003406: SLT
00003407: ISZERO
00003408: PUSH2 0x3410
0000340b: JUMPI
0000340c: PUSH1 0x00
0000340e: DUP1
0000340f: REVERT
00003410: JUMPDEST
00003411: PUSH1 0x00
00003413: PUSH2 0x341e
00003416: DUP6
00003417: DUP3
00003418: DUP7
00003419: ADD
0000341a: PUSH2 0x3302
0000341d: JUMP
0000341e: JUMPDEST
0000341f: SWAP3
00003420: POP
00003421: POP
00003422: PUSH1 0x20
00003424: PUSH2 0x342f
00003427: DUP6
00003428: DUP3
00003429: DUP7
0000342a: ADD
0000342b: PUSH2 0x3302
0000342e: JUMP
0000342f: JUMPDEST
00003430: SWAP2
00003431: POP
00003432: POP
00003433: SWAP3
00003434: POP
00003435: SWAP3
00003436: SWAP1
00003437: POP
00003438: JUMP
00003439: JUMPDEST
0000343a: PUSH1 0x00
0000343c: DUP1
0000343d: PUSH1 0x00
0000343f: PUSH1 0x60
00003441: DUP5
00003442: DUP7
00003443: SUB
00003444: SLT
00003445: ISZERO
00003446: PUSH2 0x344e
00003449: JUMPI
0000344a: PUSH1 0x00
0000344c: DUP1
0000344d: REVERT
0000344e: JUMPDEST
0000344f: PUSH1 0x00
00003451: PUSH2 0x345c
00003454: DUP7
00003455: DUP3
00003456: DUP8
00003457: ADD
00003458: PUSH2 0x3302
0000345b: JUMP
0000345c: JUMPDEST
0000345d: SWAP4
0000345e: POP
0000345f: POP
00003460: PUSH1 0x20
00003462: PUSH2 0x346d
00003465: DUP7
00003466: DUP3
00003467: DUP8
00003468: ADD
00003469: PUSH2 0x3302
0000346c: JUMP
0000346d: JUMPDEST
0000346e: SWAP3
0000346f: POP
00003470: POP
00003471: PUSH1 0x40
00003473: PUSH2 0x347e
00003476: DUP7
00003477: DUP3
00003478: DUP8
00003479: ADD
0000347a: PUSH2 0x33bf
0000347d: JUMP
0000347e: JUMPDEST
0000347f: SWAP2
00003480: POP
00003481: POP
00003482: SWAP3
00003483: POP
00003484: SWAP3
00003485: POP
00003486: SWAP3
00003487: JUMP
00003488: JUMPDEST
00003489: PUSH1 0x00
0000348b: DUP1
0000348c: PUSH1 0x00
0000348e: DUP1
0000348f: PUSH1 0x80
00003491: DUP6
00003492: DUP8
00003493: SUB
00003494: SLT
00003495: ISZERO
00003496: PUSH2 0x349e
00003499: JUMPI
0000349a: PUSH1 0x00
0000349c: DUP1
0000349d: REVERT
0000349e: JUMPDEST
0000349f: PUSH1 0x00
000034a1: PUSH2 0x34ac
000034a4: DUP8
000034a5: DUP3
000034a6: DUP9
000034a7: ADD
000034a8: PUSH2 0x3302
000034ab: JUMP
000034ac: JUMPDEST
000034ad: SWAP5
000034ae: POP
000034af: POP
000034b0: PUSH1 0x20
000034b2: PUSH2 0x34bd
000034b5: DUP8
000034b6: DUP3
000034b7: DUP9
000034b8: ADD
000034b9: PUSH2 0x3302
000034bc: JUMP
000034bd: JUMPDEST
000034be: SWAP4
000034bf: POP
000034c0: POP
000034c1: PUSH1 0x40
000034c3: PUSH2 0x34ce
000034c6: DUP8
000034c7: DUP3
000034c8: DUP9
000034c9: ADD
000034ca: PUSH2 0x33bf
000034cd: JUMP
000034ce: JUMPDEST
000034cf: SWAP3
000034d0: POP
000034d1: POP
000034d2: PUSH1 0x60
000034d4: DUP6
000034d5: ADD
000034d6: CALLDATALOAD
000034d7: PUSH8 0xffffffffffffffff
000034e0: DUP2
000034e1: GT
000034e2: ISZERO
000034e3: PUSH2 0x34eb
000034e6: JUMPI
000034e7: PUSH1 0x00
000034e9: DUP1
000034ea: REVERT
000034eb: JUMPDEST
000034ec: PUSH2 0x34f7
000034ef: DUP8
000034f0: DUP3
000034f1: DUP9
000034f2: ADD
000034f3: PUSH2 0x336b
000034f6: JUMP
000034f7: JUMPDEST
000034f8: SWAP2
000034f9: POP
000034fa: POP
000034fb: SWAP3
000034fc: SWAP6
000034fd: SWAP2
000034fe: SWAP5
000034ff: POP
00003500: SWAP3
00003501: POP
00003502: JUMP
00003503: JUMPDEST
00003504: PUSH1 0x00
00003506: DUP1
00003507: PUSH1 0x40
00003509: DUP4
0000350a: DUP6
0000350b: SUB
0000350c: SLT
0000350d: ISZERO
0000350e: PUSH2 0x3516
00003511: JUMPI
00003512: PUSH1 0x00
00003514: DUP1
00003515: REVERT
00003516: JUMPDEST
00003517: PUSH1 0x00
00003519: PUSH2 0x3524
0000351c: DUP6
0000351d: DUP3
0000351e: DUP7
0000351f: ADD
00003520: PUSH2 0x3302
00003523: JUMP
00003524: JUMPDEST
00003525: SWAP3
00003526: POP
00003527: POP
00003528: PUSH1 0x20
0000352a: PUSH2 0x3535
0000352d: DUP6
0000352e: DUP3
0000352f: DUP7
00003530: ADD
00003531: PUSH2 0x3317
00003534: JUMP
00003535: JUMPDEST
00003536: SWAP2
00003537: POP
00003538: POP
00003539: SWAP3
0000353a: POP
0000353b: SWAP3
0000353c: SWAP1
0000353d: POP
0000353e: JUMP
0000353f: JUMPDEST
00003540: PUSH1 0x00
00003542: DUP1
00003543: PUSH1 0x40
00003545: DUP4
00003546: DUP6
00003547: SUB
00003548: SLT
00003549: ISZERO
0000354a: PUSH2 0x3552
0000354d: JUMPI
0000354e: PUSH1 0x00
00003550: DUP1
00003551: REVERT
00003552: JUMPDEST
00003553: PUSH1 0x00
00003555: PUSH2 0x3560
00003558: DUP6
00003559: DUP3
0000355a: DUP7
0000355b: ADD
0000355c: PUSH2 0x3302
0000355f: JUMP
00003560: JUMPDEST
00003561: SWAP3
00003562: POP
00003563: POP
00003564: PUSH1 0x20
00003566: PUSH2 0x3571
00003569: DUP6
0000356a: DUP3
0000356b: DUP7
0000356c: ADD
0000356d: PUSH2 0x33bf
00003570: JUMP
00003571: JUMPDEST
00003572: SWAP2
00003573: POP
00003574: POP
00003575: SWAP3
00003576: POP
00003577: SWAP3
00003578: SWAP1
00003579: POP
0000357a: JUMP
0000357b: JUMPDEST
0000357c: PUSH1 0x00
0000357e: PUSH1 0x20
00003580: DUP3
00003581: DUP5
00003582: SUB
00003583: SLT
00003584: ISZERO
00003585: PUSH2 0x358d
00003588: JUMPI
00003589: PUSH1 0x00
0000358b: DUP1
0000358c: REVERT
0000358d: JUMPDEST
0000358e: PUSH1 0x00
00003590: PUSH2 0x359b
00003593: DUP5
00003594: DUP3
00003595: DUP6
00003596: ADD
00003597: PUSH2 0x3317
0000359a: JUMP
0000359b: JUMPDEST
0000359c: SWAP2
0000359d: POP
0000359e: POP
0000359f: SWAP3
000035a0: SWAP2
000035a1: POP
000035a2: POP
000035a3: JUMP
000035a4: JUMPDEST
000035a5: PUSH1 0x00
000035a7: PUSH1 0x20
000035a9: DUP3
000035aa: DUP5
000035ab: SUB
000035ac: SLT
000035ad: ISZERO
000035ae: PUSH2 0x35b6
000035b1: JUMPI
000035b2: PUSH1 0x00
000035b4: DUP1
000035b5: REVERT
000035b6: JUMPDEST
000035b7: PUSH1 0x00
000035b9: PUSH2 0x35c4
000035bc: DUP5
000035bd: DUP3
000035be: DUP6
000035bf: ADD
000035c0: PUSH2 0x332c
000035c3: JUMP
000035c4: JUMPDEST
000035c5: SWAP2
000035c6: POP
000035c7: POP
000035c8: SWAP3
000035c9: SWAP2
000035ca: POP
000035cb: POP
000035cc: JUMP
000035cd: JUMPDEST
000035ce: PUSH1 0x00
000035d0: DUP1
000035d1: PUSH1 0x40
000035d3: DUP4
000035d4: DUP6
000035d5: SUB
000035d6: SLT
000035d7: ISZERO
000035d8: PUSH2 0x35e0
000035db: JUMPI
000035dc: PUSH1 0x00
000035de: DUP1
000035df: REVERT
000035e0: JUMPDEST
000035e1: PUSH1 0x00
000035e3: PUSH2 0x35ee
000035e6: DUP6
000035e7: DUP3
000035e8: DUP7
000035e9: ADD
000035ea: PUSH2 0x3317
000035ed: JUMP
000035ee: JUMPDEST
000035ef: SWAP3
000035f0: POP
000035f1: POP
000035f2: PUSH1 0x20
000035f4: PUSH2 0x35ff
000035f7: DUP6
000035f8: DUP3
000035f9: DUP7
000035fa: ADD
000035fb: PUSH2 0x33bf
000035fe: JUMP
000035ff: JUMPDEST
00003600: SWAP2
00003601: POP
00003602: POP
00003603: SWAP3
00003604: POP
00003605: SWAP3
00003606: SWAP1
00003607: POP
00003608: JUMP
00003609: JUMPDEST
0000360a: PUSH1 0x00
0000360c: PUSH1 0x20
0000360e: DUP3
0000360f: DUP5
00003610: SUB
00003611: SLT
00003612: ISZERO
00003613: PUSH2 0x361b
00003616: JUMPI
00003617: PUSH1 0x00
00003619: DUP1
0000361a: REVERT
0000361b: JUMPDEST
0000361c: PUSH1 0x00
0000361e: PUSH2 0x3629
00003621: DUP5
00003622: DUP3
00003623: DUP6
00003624: ADD
00003625: PUSH2 0x3341
00003628: JUMP
00003629: JUMPDEST
0000362a: SWAP2
0000362b: POP
0000362c: POP
0000362d: SWAP3
0000362e: SWAP2
0000362f: POP
00003630: POP
00003631: JUMP
00003632: JUMPDEST
00003633: PUSH1 0x00
00003635: PUSH1 0x20
00003637: DUP3
00003638: DUP5
00003639: SUB
0000363a: SLT
0000363b: ISZERO
0000363c: PUSH2 0x3644
0000363f: JUMPI
00003640: PUSH1 0x00
00003642: DUP1
00003643: REVERT
00003644: JUMPDEST
00003645: PUSH1 0x00
00003647: PUSH2 0x3652
0000364a: DUP5
0000364b: DUP3
0000364c: DUP6
0000364d: ADD
0000364e: PUSH2 0x3356
00003651: JUMP
00003652: JUMPDEST
00003653: SWAP2
00003654: POP
00003655: POP
00003656: SWAP3
00003657: SWAP2
00003658: POP
00003659: POP
0000365a: JUMP
0000365b: JUMPDEST
0000365c: PUSH1 0x00
0000365e: PUSH1 0x20
00003660: DUP3
00003661: DUP5
00003662: SUB
00003663: SLT
00003664: ISZERO
00003665: PUSH2 0x366d
00003668: JUMPI
00003669: PUSH1 0x00
0000366b: DUP1
0000366c: REVERT
0000366d: JUMPDEST
0000366e: PUSH1 0x00
00003670: DUP3
00003671: ADD
00003672: CALLDATALOAD
00003673: PUSH8 0xffffffffffffffff
0000367c: DUP2
0000367d: GT
0000367e: ISZERO
0000367f: PUSH2 0x3687
00003682: JUMPI
00003683: PUSH1 0x00
00003685: DUP1
00003686: REVERT
00003687: JUMPDEST
00003688: PUSH2 0x3693
0000368b: DUP5
0000368c: DUP3
0000368d: DUP6
0000368e: ADD
0000368f: PUSH2 0x3395
00003692: JUMP
00003693: JUMPDEST
00003694: SWAP2
00003695: POP
00003696: POP
00003697: SWAP3
00003698: SWAP2
00003699: POP
0000369a: POP
0000369b: JUMP
0000369c: JUMPDEST
0000369d: PUSH1 0x00
0000369f: PUSH1 0x20
000036a1: DUP3
000036a2: DUP5
000036a3: SUB
000036a4: SLT
000036a5: ISZERO
000036a6: PUSH2 0x36ae
000036a9: JUMPI
000036aa: PUSH1 0x00
000036ac: DUP1
000036ad: REVERT
000036ae: JUMPDEST
000036af: PUSH1 0x00
000036b1: PUSH2 0x36bc
000036b4: DUP5
000036b5: DUP3
000036b6: DUP6
000036b7: ADD
000036b8: PUSH2 0x33bf
000036bb: JUMP
000036bc: JUMPDEST
000036bd: SWAP2
000036be: POP
000036bf: POP
000036c0: SWAP3
000036c1: SWAP2
000036c2: POP
000036c3: POP
000036c4: JUMP
000036c5: JUMPDEST
000036c6: PUSH2 0x36ce
000036c9: DUP2
000036ca: PUSH2 0x3f95
000036cd: JUMP
000036ce: JUMPDEST
000036cf: DUP3
000036d0: MSTORE
000036d1: POP
000036d2: POP
000036d3: JUMP
000036d4: JUMPDEST
000036d5: PUSH2 0x36dd
000036d8: DUP2
000036d9: PUSH2 0x3fa7
000036dc: JUMP
000036dd: JUMPDEST
000036de: DUP3
000036df: MSTORE
000036e0: POP
000036e1: POP
000036e2: JUMP
000036e3: JUMPDEST
000036e4: PUSH1 0x00
000036e6: PUSH2 0x36ee
000036e9: DUP3
000036ea: PUSH2 0x3e32
000036ed: JUMP
000036ee: JUMPDEST
000036ef: PUSH2 0x36f8
000036f2: DUP2
000036f3: DUP6
000036f4: PUSH2 0x3e48
000036f7: JUMP
000036f8: JUMPDEST
000036f9: SWAP4
000036fa: POP
000036fb: PUSH2 0x3708
000036fe: DUP2
000036ff: DUP6
00003700: PUSH1 0x20
00003702: DUP7
00003703: ADD
00003704: PUSH2 0x4018
00003707: JUMP
00003708: JUMPDEST
00003709: PUSH2 0x3711
0000370c: DUP2
0000370d: PUSH2 0x41e4
00003710: JUMP
00003711: JUMPDEST
00003712: DUP5
00003713: ADD
00003714: SWAP2
00003715: POP
00003716: POP
00003717: SWAP3
00003718: SWAP2
00003719: POP
0000371a: POP
0000371b: JUMP
0000371c: JUMPDEST
0000371d: PUSH1 0x00
0000371f: PUSH2 0x3727
00003722: DUP3
00003723: PUSH2 0x3e3d
00003726: JUMP
00003727: JUMPDEST
00003728: PUSH2 0x3731
0000372b: DUP2
0000372c: DUP6
0000372d: PUSH2 0x3e64
00003730: JUMP
00003731: JUMPDEST
00003732: SWAP4
00003733: POP
00003734: PUSH2 0x3741
00003737: DUP2
00003738: DUP6
00003739: PUSH1 0x20
0000373b: DUP7
0000373c: ADD
0000373d: PUSH2 0x4018
00003740: JUMP
00003741: JUMPDEST
00003742: PUSH2 0x374a
00003745: DUP2
00003746: PUSH2 0x41e4
00003749: JUMP
0000374a: JUMPDEST
0000374b: DUP5
0000374c: ADD
0000374d: SWAP2
0000374e: POP
0000374f: POP
00003750: SWAP3
00003751: SWAP2
00003752: POP
00003753: POP
00003754: JUMP
00003755: JUMPDEST
00003756: PUSH1 0x00
00003758: PUSH2 0x3760
0000375b: DUP3
0000375c: PUSH2 0x3e3d
0000375f: JUMP
00003760: JUMPDEST
00003761: PUSH2 0x376a
00003764: DUP2
00003765: DUP6
00003766: PUSH2 0x3e75
00003769: JUMP
0000376a: JUMPDEST
0000376b: SWAP4
0000376c: POP
0000376d: PUSH2 0x377a
00003770: DUP2
00003771: DUP6
00003772: PUSH1 0x20
00003774: DUP7
00003775: ADD
00003776: PUSH2 0x4018
00003779: JUMP
0000377a: JUMPDEST
0000377b: DUP1
0000377c: DUP5
0000377d: ADD
0000377e: SWAP2
0000377f: POP
00003780: POP
00003781: SWAP3
00003782: SWAP2
00003783: POP
00003784: POP
00003785: JUMP
00003786: JUMPDEST
00003787: PUSH1 0x00
00003789: DUP2
0000378a: SLOAD
0000378b: PUSH2 0x3793
0000378e: DUP2
0000378f: PUSH2 0x404b
00003792: JUMP
00003793: JUMPDEST
00003794: PUSH2 0x379d
00003797: DUP2
00003798: DUP7
00003799: PUSH2 0x3e75
0000379c: JUMP
0000379d: JUMPDEST
0000379e: SWAP5
0000379f: POP
000037a0: PUSH1 0x01
000037a2: DUP3
000037a3: AND
000037a4: PUSH1 0x00
000037a6: DUP2
000037a7: EQ
000037a8: PUSH2 0x37b8
000037ab: JUMPI
000037ac: PUSH1 0x01
000037ae: DUP2
000037af: EQ
000037b0: PUSH2 0x37c9
000037b3: JUMPI
000037b4: PUSH2 0x37fc
000037b7: JUMP
000037b8: JUMPDEST
000037b9: PUSH1 0xff
000037bb: NOT
000037bc: DUP4
000037bd: AND
000037be: DUP7
000037bf: MSTORE
000037c0: DUP2
000037c1: DUP7
000037c2: ADD
000037c3: SWAP4
000037c4: POP
000037c5: PUSH2 0x37fc
000037c8: JUMP
000037c9: JUMPDEST
000037ca: PUSH2 0x37d2
000037cd: DUP6
000037ce: PUSH2 0x3e1d
000037d1: JUMP
000037d2: JUMPDEST
000037d3: PUSH1 0x00
000037d5: JUMPDEST
000037d6: DUP4
000037d7: DUP2
000037d8: LT
000037d9: ISZERO
000037da: PUSH2 0x37f4
000037dd: JUMPI
000037de: DUP2
000037df: SLOAD
000037e0: DUP2
000037e1: DUP10
000037e2: ADD
000037e3: MSTORE
000037e4: PUSH1 0x01
000037e6: DUP3
000037e7: ADD
000037e8: SWAP2
000037e9: POP
000037ea: PUSH1 0x20
000037ec: DUP2
000037ed: ADD
000037ee: SWAP1
000037ef: POP
000037f0: PUSH2 0x37d5
000037f3: JUMP
000037f4: JUMPDEST
000037f5: DUP4
000037f6: DUP9
000037f7: ADD
000037f8: SWAP6
000037f9: POP
000037fa: POP
000037fb: POP
000037fc: JUMPDEST
000037fd: POP
000037fe: POP
000037ff: POP
00003800: SWAP3
00003801: SWAP2
00003802: POP
00003803: POP
00003804: JUMP
00003805: JUMPDEST
00003806: PUSH1 0x00
00003808: PUSH2 0x3812
0000380b: PUSH1 0x26
0000380d: DUP4
0000380e: PUSH2 0x3e64
00003811: JUMP
00003812: JUMPDEST
00003813: SWAP2
00003814: POP
00003815: PUSH2 0x381d
00003818: DUP3
00003819: PUSH2 0x41f5
0000381c: JUMP
0000381d: JUMPDEST
0000381e: PUSH1 0x40
00003820: DUP3
00003821: ADD
00003822: SWAP1
00003823: POP
00003824: SWAP2
00003825: SWAP1
00003826: POP
00003827: JUMP
00003828: JUMPDEST
00003829: PUSH1 0x00
0000382b: PUSH2 0x3835
0000382e: PUSH1 0x22
00003830: DUP4
00003831: PUSH2 0x3e64
00003834: JUMP
00003835: JUMPDEST
00003836: SWAP2
00003837: POP
00003838: PUSH2 0x3840
0000383b: DUP3
0000383c: PUSH2 0x4244
0000383f: JUMP
00003840: JUMPDEST
00003841: PUSH1 0x40
00003843: DUP3
00003844: ADD
00003845: SWAP1
00003846: POP
00003847: SWAP2
00003848: SWAP1
00003849: POP
0000384a: JUMP
0000384b: JUMPDEST
0000384c: PUSH1 0x00
0000384e: PUSH2 0x3858
00003851: PUSH1 0x1a
00003853: DUP4
00003854: PUSH2 0x3e64
00003857: JUMP
00003858: JUMPDEST
00003859: SWAP2
0000385a: POP
0000385b: PUSH2 0x3863
0000385e: DUP3
0000385f: PUSH2 0x4293
00003862: JUMP
00003863: JUMPDEST
00003864: PUSH1 0x20
00003866: DUP3
00003867: ADD
00003868: SWAP1
00003869: POP
0000386a: SWAP2
0000386b: SWAP1
0000386c: POP
0000386d: JUMP
0000386e: JUMPDEST
0000386f: PUSH1 0x00
00003871: PUSH2 0x387b
00003874: PUSH1 0x3a
00003876: DUP4
00003877: PUSH2 0x3e64
0000387a: JUMP
0000387b: JUMPDEST
0000387c: SWAP2
0000387d: POP
0000387e: PUSH2 0x3886
00003881: DUP3
00003882: PUSH2 0x42bc
00003885: JUMP
00003886: JUMPDEST
00003887: PUSH1 0x40
00003889: DUP3
0000388a: ADD
0000388b: SWAP1
0000388c: POP
0000388d: SWAP2
0000388e: SWAP1
0000388f: POP
00003890: JUMP
00003891: JUMPDEST
00003892: PUSH1 0x00
00003894: PUSH2 0x389e
00003897: PUSH1 0x1d
00003899: DUP4
0000389a: PUSH2 0x3e64
0000389d: JUMP
0000389e: JUMPDEST
0000389f: SWAP2
000038a0: POP
000038a1: PUSH2 0x38a9
000038a4: DUP3
000038a5: PUSH2 0x430b
000038a8: JUMP
000038a9: JUMPDEST
000038aa: PUSH1 0x20
000038ac: DUP3
000038ad: ADD
000038ae: SWAP1
000038af: POP
000038b0: SWAP2
000038b1: SWAP1
000038b2: POP
000038b3: JUMP
000038b4: JUMPDEST
000038b5: PUSH1 0x00
000038b7: PUSH2 0x38c1
000038ba: PUSH1 0x1e
000038bc: DUP4
000038bd: PUSH2 0x3e64
000038c0: JUMP
000038c1: JUMPDEST
000038c2: SWAP2
000038c3: POP
000038c4: PUSH2 0x38cc
000038c7: DUP3
000038c8: PUSH2 0x4334
000038cb: JUMP
000038cc: JUMPDEST
000038cd: PUSH1 0x20
000038cf: DUP3
000038d0: ADD
000038d1: SWAP1
000038d2: POP
000038d3: SWAP2
000038d4: SWAP1
000038d5: POP
000038d6: JUMP
000038d7: JUMPDEST
000038d8: PUSH1 0x00
000038da: PUSH2 0x38e4
000038dd: PUSH1 0x19
000038df: DUP4
000038e0: PUSH2 0x3e64
000038e3: JUMP
000038e4: JUMPDEST
000038e5: SWAP2
000038e6: POP
000038e7: PUSH2 0x38ef
000038ea: DUP3
000038eb: PUSH2 0x435d
000038ee: JUMP
000038ef: JUMPDEST
000038f0: PUSH1 0x20
000038f2: DUP3
000038f3: ADD
000038f4: SWAP1
000038f5: POP
000038f6: SWAP2
000038f7: SWAP1
000038f8: POP
000038f9: JUMP
000038fa: JUMPDEST
000038fb: PUSH1 0x00
000038fd: PUSH2 0x3907
00003900: PUSH1 0x20
00003902: DUP4
00003903: PUSH2 0x3e64
00003906: JUMP
00003907: JUMPDEST
00003908: SWAP2
00003909: POP
0000390a: PUSH2 0x3912
0000390d: DUP3
0000390e: PUSH2 0x4386
00003911: JUMP
00003912: JUMPDEST
00003913: PUSH1 0x20
00003915: DUP3
00003916: ADD
00003917: SWAP1
00003918: POP
00003919: SWAP2
0000391a: SWAP1
0000391b: POP
0000391c: JUMP
0000391d: JUMPDEST
0000391e: PUSH1 0x00
00003920: PUSH2 0x392a
00003923: PUSH1 0x38
00003925: DUP4
00003926: PUSH2 0x3e64
00003929: JUMP
0000392a: JUMPDEST
0000392b: SWAP2
0000392c: POP
0000392d: PUSH2 0x3935
00003930: DUP3
00003931: PUSH2 0x43af
00003934: JUMP
00003935: JUMPDEST
00003936: PUSH1 0x40
00003938: DUP3
00003939: ADD
0000393a: SWAP1
0000393b: POP
0000393c: SWAP2
0000393d: SWAP1
0000393e: POP
0000393f: JUMP
00003940: JUMPDEST
00003941: PUSH1 0x00
00003943: PUSH2 0x394d
00003946: PUSH1 0x2f
00003948: DUP4
00003949: PUSH2 0x3e64
0000394c: JUMP
0000394d: JUMPDEST
0000394e: SWAP2
0000394f: POP
00003950: PUSH2 0x3958
00003953: DUP3
00003954: PUSH2 0x43fe
00003957: JUMP
00003958: JUMPDEST
00003959: PUSH1 0x40
0000395b: DUP3
0000395c: ADD
0000395d: SWAP1
0000395e: POP
0000395f: SWAP2
00003960: SWAP1
00003961: POP
00003962: JUMP
00003963: JUMPDEST
00003964: PUSH1 0x00
00003966: PUSH2 0x3970
00003969: PUSH1 0x2e
0000396b: DUP4
0000396c: PUSH2 0x3e64
0000396f: JUMP
00003970: JUMPDEST
00003971: SWAP2
00003972: POP
00003973: PUSH2 0x397b
00003976: DUP3
00003977: PUSH2 0x444d
0000397a: JUMP
0000397b: JUMPDEST
0000397c: PUSH1 0x40
0000397e: DUP3
0000397f: ADD
00003980: SWAP1
00003981: POP
00003982: SWAP2
00003983: SWAP1
00003984: POP
00003985: JUMP
00003986: JUMPDEST
00003987: PUSH1 0x00
00003989: PUSH2 0x3993
0000398c: PUSH1 0x00
0000398e: DUP4
0000398f: PUSH2 0x3e59
00003992: JUMP
00003993: JUMPDEST
00003994: SWAP2
00003995: POP
00003996: PUSH2 0x399e
00003999: DUP3
0000399a: PUSH2 0x449c
0000399d: JUMP
0000399e: JUMPDEST
0000399f: PUSH1 0x00
000039a1: DUP3
000039a2: ADD
000039a3: SWAP1
000039a4: POP
000039a5: SWAP2
000039a6: SWAP1
000039a7: POP
000039a8: JUMP
000039a9: JUMPDEST
000039aa: PUSH1 0x00
000039ac: PUSH2 0x39b6
000039af: PUSH1 0x27
000039b1: DUP4
000039b2: PUSH2 0x3e64
000039b5: JUMP
000039b6: JUMPDEST
000039b7: SWAP2
000039b8: POP
000039b9: PUSH2 0x39c1
000039bc: DUP3
000039bd: PUSH2 0x449f
000039c0: JUMP
000039c1: JUMPDEST
000039c2: PUSH1 0x40
000039c4: DUP3
000039c5: ADD
000039c6: SWAP1
000039c7: POP
000039c8: SWAP2
000039c9: SWAP1
000039ca: POP
000039cb: JUMP
000039cc: JUMPDEST
000039cd: PUSH1 0x00
000039cf: PUSH2 0x39d9
000039d2: PUSH1 0x15
000039d4: DUP4
000039d5: PUSH2 0x3e64
000039d8: JUMP
000039d9: JUMPDEST
000039da: SWAP2
000039db: POP
000039dc: PUSH2 0x39e4
000039df: DUP3
000039e0: PUSH2 0x44ee
000039e3: JUMP
000039e4: JUMPDEST
000039e5: PUSH1 0x20
000039e7: DUP3
000039e8: ADD
000039e9: SWAP1
000039ea: POP
000039eb: SWAP2
000039ec: SWAP1
000039ed: POP
000039ee: JUMP
000039ef: JUMPDEST
000039f0: PUSH1 0x00
000039f2: PUSH2 0x39fc
000039f5: PUSH1 0x1f
000039f7: DUP4
000039f8: PUSH2 0x3e64
000039fb: JUMP
000039fc: JUMPDEST
000039fd: SWAP2
000039fe: POP
000039ff: PUSH2 0x3a07
00003a02: DUP3
00003a03: PUSH2 0x4517
00003a06: JUMP
00003a07: JUMPDEST
00003a08: PUSH1 0x20
00003a0a: DUP3
00003a0b: ADD
00003a0c: SWAP1
00003a0d: POP
00003a0e: SWAP2
00003a0f: SWAP1
00003a10: POP
00003a11: JUMP
00003a12: JUMPDEST
00003a13: PUSH1 0x00
00003a15: PUSH2 0x3a1f
00003a18: PUSH1 0x23
00003a1a: DUP4
00003a1b: PUSH2 0x3e64
00003a1e: JUMP
00003a1f: JUMPDEST
00003a20: SWAP2
00003a21: POP
00003a22: PUSH2 0x3a2a
00003a25: DUP3
00003a26: PUSH2 0x4540
00003a29: JUMP
00003a2a: JUMPDEST
00003a2b: PUSH1 0x40
00003a2d: DUP3
00003a2e: ADD
00003a2f: SWAP1
00003a30: POP
00003a31: SWAP2
00003a32: SWAP1
00003a33: POP
00003a34: JUMP
00003a35: JUMPDEST
00003a36: PUSH1 0x00
00003a38: PUSH2 0x3a42
00003a3b: PUSH1 0x34
00003a3d: DUP4
00003a3e: PUSH2 0x3e64
00003a41: JUMP
00003a42: JUMPDEST
00003a43: SWAP2
00003a44: POP
00003a45: PUSH2 0x3a4d
00003a48: DUP3
00003a49: PUSH2 0x458f
00003a4c: JUMP
00003a4d: JUMPDEST
00003a4e: PUSH1 0x40
00003a50: DUP3
00003a51: ADD
00003a52: SWAP1
00003a53: POP
00003a54: SWAP2
00003a55: SWAP1
00003a56: POP
00003a57: JUMP
00003a58: JUMPDEST
00003a59: PUSH2 0x3a61
00003a5c: DUP2
00003a5d: PUSH2 0x3fff
00003a60: JUMP
00003a61: JUMPDEST
00003a62: DUP3
00003a63: MSTORE
00003a64: POP
00003a65: POP
00003a66: JUMP
00003a67: JUMPDEST
00003a68: PUSH1 0x00
00003a6a: PUSH2 0x3a73
00003a6d: DUP3
00003a6e: DUP6
00003a6f: PUSH2 0x3786
00003a72: JUMP
00003a73: JUMPDEST
00003a74: SWAP2
00003a75: POP
00003a76: PUSH2 0x3a7f
00003a79: DUP3
00003a7a: DUP5
00003a7b: PUSH2 0x3755
00003a7e: JUMP
00003a7f: JUMPDEST
00003a80: SWAP2
00003a81: POP
00003a82: DUP2
00003a83: SWAP1
00003a84: POP
00003a85: SWAP4
00003a86: SWAP3
00003a87: POP
00003a88: POP
00003a89: POP
00003a8a: JUMP
00003a8b: JUMPDEST
00003a8c: PUSH1 0x00
00003a8e: PUSH2 0x3a96
00003a91: DUP3
00003a92: PUSH2 0x3986
00003a95: JUMP
00003a96: JUMPDEST
00003a97: SWAP2
00003a98: POP
00003a99: DUP2
00003a9a: SWAP1
00003a9b: POP
00003a9c: SWAP2
00003a9d: SWAP1
00003a9e: POP
00003a9f: JUMP
00003aa0: JUMPDEST
00003aa1: PUSH1 0x00
00003aa3: PUSH1 0x20
00003aa5: DUP3
00003aa6: ADD
00003aa7: SWAP1
00003aa8: POP
00003aa9: PUSH2 0x3ab5
00003aac: PUSH1 0x00
00003aae: DUP4
00003aaf: ADD
00003ab0: DUP5
00003ab1: PUSH2 0x36c5
00003ab4: JUMP
00003ab5: JUMPDEST
00003ab6: SWAP3
00003ab7: SWAP2
00003ab8: POP
00003ab9: POP
00003aba: JUMP
00003abb: JUMPDEST
00003abc: PUSH1 0x00
00003abe: PUSH1 0x80
00003ac0: DUP3
00003ac1: ADD
00003ac2: SWAP1
00003ac3: POP
00003ac4: PUSH2 0x3ad0
00003ac7: PUSH1 0x00
00003ac9: DUP4
00003aca: ADD
00003acb: DUP8
00003acc: PUSH2 0x36c5
00003acf: JUMP
00003ad0: JUMPDEST
00003ad1: PUSH2 0x3add
00003ad4: PUSH1 0x20
00003ad6: DUP4
00003ad7: ADD
00003ad8: DUP7
00003ad9: PUSH2 0x36c5
00003adc: JUMP
00003add: JUMPDEST
00003ade: PUSH2 0x3aea
00003ae1: PUSH1 0x40
00003ae3: DUP4
00003ae4: ADD
00003ae5: DUP6
00003ae6: PUSH2 0x3a58
00003ae9: JUMP
00003aea: JUMPDEST
00003aeb: DUP2
00003aec: DUP2
00003aed: SUB
00003aee: PUSH1 0x60
00003af0: DUP4
00003af1: ADD
00003af2: MSTORE
00003af3: PUSH2 0x3afc
00003af6: DUP2
00003af7: DUP5
00003af8: PUSH2 0x36e3
00003afb: JUMP
00003afc: JUMPDEST
00003afd: SWAP1
00003afe: POP
00003aff: SWAP6
00003b00: SWAP5
00003b01: POP
00003b02: POP
00003b03: POP
00003b04: POP
00003b05: POP
00003b06: JUMP
00003b07: JUMPDEST
00003b08: PUSH1 0x00
00003b0a: PUSH1 0x20
00003b0c: DUP3
00003b0d: ADD
00003b0e: SWAP1
00003b0f: POP
00003b10: PUSH2 0x3b1c
00003b13: PUSH1 0x00
00003b15: DUP4
00003b16: ADD
00003b17: DUP5
00003b18: PUSH2 0x36d4
00003b1b: JUMP
00003b1c: JUMPDEST
00003b1d: SWAP3
00003b1e: SWAP2
00003b1f: POP
00003b20: POP
00003b21: JUMP
00003b22: JUMPDEST
00003b23: PUSH1 0x00
00003b25: PUSH1 0x20
00003b27: DUP3
00003b28: ADD
00003b29: SWAP1
00003b2a: POP
00003b2b: DUP2
00003b2c: DUP2
00003b2d: SUB
00003b2e: PUSH1 0x00
00003b30: DUP4
00003b31: ADD
00003b32: MSTORE
00003b33: PUSH2 0x3b3c
00003b36: DUP2
00003b37: DUP5
00003b38: PUSH2 0x371c
00003b3b: JUMP
00003b3c: JUMPDEST
00003b3d: SWAP1
00003b3e: POP
00003b3f: SWAP3
00003b40: SWAP2
00003b41: POP
00003b42: POP
00003b43: JUMP
00003b44: JUMPDEST
00003b45: PUSH1 0x00
00003b47: PUSH1 0x20
00003b49: DUP3
00003b4a: ADD
00003b4b: SWAP1
00003b4c: POP
00003b4d: DUP2
00003b4e: DUP2
00003b4f: SUB
00003b50: PUSH1 0x00
00003b52: DUP4
00003b53: ADD
00003b54: MSTORE
00003b55: PUSH2 0x3b5d
00003b58: DUP2
00003b59: PUSH2 0x3805
00003b5c: JUMP
00003b5d: JUMPDEST
00003b5e: SWAP1
00003b5f: POP
00003b60: SWAP2
00003b61: SWAP1
00003b62: POP
00003b63: JUMP
00003b64: JUMPDEST
00003b65: PUSH1 0x00
00003b67: PUSH1 0x20
00003b69: DUP3
00003b6a: ADD
00003b6b: SWAP1
00003b6c: POP
00003b6d: DUP2
00003b6e: DUP2
00003b6f: SUB
00003b70: PUSH1 0x00
00003b72: DUP4
00003b73: ADD
00003b74: MSTORE
00003b75: PUSH2 0x3b7d
00003b78: DUP2
00003b79: PUSH2 0x3828
00003b7c: JUMP
00003b7d: JUMPDEST
00003b7e: SWAP1
00003b7f: POP
00003b80: SWAP2
00003b81: SWAP1
00003b82: POP
00003b83: JUMP
00003b84: JUMPDEST
00003b85: PUSH1 0x00
00003b87: PUSH1 0x20
00003b89: DUP3
00003b8a: ADD
00003b8b: SWAP1
00003b8c: POP
00003b8d: DUP2
00003b8e: DUP2
00003b8f: SUB
00003b90: PUSH1 0x00
00003b92: DUP4
00003b93: ADD
00003b94: MSTORE
00003b95: PUSH2 0x3b9d
00003b98: DUP2
00003b99: PUSH2 0x384b
00003b9c: JUMP
00003b9d: JUMPDEST
00003b9e: SWAP1
00003b9f: POP
00003ba0: SWAP2
00003ba1: SWAP1
00003ba2: POP
00003ba3: JUMP
00003ba4: JUMPDEST
00003ba5: PUSH1 0x00
00003ba7: PUSH1 0x20
00003ba9: DUP3
00003baa: ADD
00003bab: SWAP1
00003bac: POP
00003bad: DUP2
00003bae: DUP2
00003baf: SUB
00003bb0: PUSH1 0x00
00003bb2: DUP4
00003bb3: ADD
00003bb4: MSTORE
00003bb5: PUSH2 0x3bbd
00003bb8: DUP2
00003bb9: PUSH2 0x386e
00003bbc: JUMP
00003bbd: JUMPDEST
00003bbe: SWAP1
00003bbf: POP
00003bc0: SWAP2
00003bc1: SWAP1
00003bc2: POP
00003bc3: JUMP
00003bc4: JUMPDEST
00003bc5: PUSH1 0x00
00003bc7: PUSH1 0x20
00003bc9: DUP3
00003bca: ADD
00003bcb: SWAP1
00003bcc: POP
00003bcd: DUP2
00003bce: DUP2
00003bcf: SUB
00003bd0: PUSH1 0x00
00003bd2: DUP4
00003bd3: ADD
00003bd4: MSTORE
00003bd5: PUSH2 0x3bdd
00003bd8: DUP2
00003bd9: PUSH2 0x3891
00003bdc: JUMP
00003bdd: JUMPDEST
00003bde: SWAP1
00003bdf: POP
00003be0: SWAP2
00003be1: SWAP1
00003be2: POP
00003be3: JUMP
00003be4: JUMPDEST
00003be5: PUSH1 0x00
00003be7: PUSH1 0x20
00003be9: DUP3
00003bea: ADD
00003beb: SWAP1
00003bec: POP
00003bed: DUP2
00003bee: DUP2
00003bef: SUB
00003bf0: PUSH1 0x00
00003bf2: DUP4
00003bf3: ADD
00003bf4: MSTORE
00003bf5: PUSH2 0x3bfd
00003bf8: DUP2
00003bf9: PUSH2 0x38b4
00003bfc: JUMP
00003bfd: JUMPDEST
00003bfe: SWAP1
00003bff: POP
00003c00: SWAP2
00003c01: SWAP1
00003c02: POP
00003c03: JUMP
00003c04: JUMPDEST
00003c05: PUSH1 0x00
00003c07: PUSH1 0x20
00003c09: DUP3
00003c0a: ADD
00003c0b: SWAP1
00003c0c: POP
00003c0d: DUP2
00003c0e: DUP2
00003c0f: SUB
00003c10: PUSH1 0x00
00003c12: DUP4
00003c13: ADD
00003c14: MSTORE
00003c15: PUSH2 0x3c1d
00003c18: DUP2
00003c19: PUSH2 0x38d7
00003c1c: JUMP
00003c1d: JUMPDEST
00003c1e: SWAP1
00003c1f: POP
00003c20: SWAP2
00003c21: SWAP1
00003c22: POP
00003c23: JUMP
00003c24: JUMPDEST
00003c25: PUSH1 0x00
00003c27: PUSH1 0x20
00003c29: DUP3
00003c2a: ADD
00003c2b: SWAP1
00003c2c: POP
00003c2d: DUP2
00003c2e: DUP2
00003c2f: SUB
00003c30: PUSH1 0x00
00003c32: DUP4
00003c33: ADD
00003c34: MSTORE
00003c35: PUSH2 0x3c3d
00003c38: DUP2
00003c39: PUSH2 0x38fa
00003c3c: JUMP
00003c3d: JUMPDEST
00003c3e: SWAP1
00003c3f: POP
00003c40: SWAP2
00003c41: SWAP1
00003c42: POP
00003c43: JUMP
00003c44: JUMPDEST
00003c45: PUSH1 0x00
00003c47: PUSH1 0x20
00003c49: DUP3
00003c4a: ADD
00003c4b: SWAP1
00003c4c: POP
00003c4d: DUP2
00003c4e: DUP2
00003c4f: SUB
00003c50: PUSH1 0x00
00003c52: DUP4
00003c53: ADD
00003c54: MSTORE
00003c55: PUSH2 0x3c5d
00003c58: DUP2
00003c59: PUSH2 0x391d
00003c5c: JUMP
00003c5d: JUMPDEST
00003c5e: SWAP1
00003c5f: POP
00003c60: SWAP2
00003c61: SWAP1
00003c62: POP
00003c63: JUMP
00003c64: JUMPDEST
00003c65: PUSH1 0x00
00003c67: PUSH1 0x20
00003c69: DUP3
00003c6a: ADD
00003c6b: SWAP1
00003c6c: POP
00003c6d: DUP2
00003c6e: DUP2
00003c6f: SUB
00003c70: PUSH1 0x00
00003c72: DUP4
00003c73: ADD
00003c74: MSTORE
00003c75: PUSH2 0x3c7d
00003c78: DUP2
00003c79: PUSH2 0x3940
00003c7c: JUMP
00003c7d: JUMPDEST
00003c7e: SWAP1
00003c7f: POP
00003c80: SWAP2
00003c81: SWAP1
00003c82: POP
00003c83: JUMP
00003c84: JUMPDEST
00003c85: PUSH1 0x00
00003c87: PUSH1 0x20
00003c89: DUP3
00003c8a: ADD
00003c8b: SWAP1
00003c8c: POP
00003c8d: DUP2
00003c8e: DUP2
00003c8f: SUB
00003c90: PUSH1 0x00
00003c92: DUP4
00003c93: ADD
00003c94: MSTORE
00003c95: PUSH2 0x3c9d
00003c98: DUP2
00003c99: PUSH2 0x3963
00003c9c: JUMP
00003c9d: JUMPDEST
00003c9e: SWAP1
00003c9f: POP
00003ca0: SWAP2
00003ca1: SWAP1
00003ca2: POP
00003ca3: JUMP
00003ca4: JUMPDEST
00003ca5: PUSH1 0x00
00003ca7: PUSH1 0x20
00003ca9: DUP3
00003caa: ADD
00003cab: SWAP1
00003cac: POP
00003cad: DUP2
00003cae: DUP2
00003caf: SUB
00003cb0: PUSH1 0x00
00003cb2: DUP4
00003cb3: ADD
00003cb4: MSTORE
00003cb5: PUSH2 0x3cbd
00003cb8: DUP2
00003cb9: PUSH2 0x39a9
00003cbc: JUMP
00003cbd: JUMPDEST
00003cbe: SWAP1
00003cbf: POP
00003cc0: SWAP2
00003cc1: SWAP1
00003cc2: POP
00003cc3: JUMP
00003cc4: JUMPDEST
00003cc5: PUSH1 0x00
00003cc7: PUSH1 0x20
00003cc9: DUP3
00003cca: ADD
00003ccb: SWAP1
00003ccc: POP
00003ccd: DUP2
00003cce: DUP2
00003ccf: SUB
00003cd0: PUSH1 0x00
00003cd2: DUP4
00003cd3: ADD
00003cd4: MSTORE
00003cd5: PUSH2 0x3cdd
00003cd8: DUP2
00003cd9: PUSH2 0x39cc
00003cdc: JUMP
00003cdd: JUMPDEST
00003cde: SWAP1
00003cdf: POP
00003ce0: SWAP2
00003ce1: SWAP1
00003ce2: POP
00003ce3: JUMP
00003ce4: JUMPDEST
00003ce5: PUSH1 0x00
00003ce7: PUSH1 0x20
00003ce9: DUP3
00003cea: ADD
00003ceb: SWAP1
00003cec: POP
00003ced: DUP2
00003cee: DUP2
00003cef: SUB
00003cf0: PUSH1 0x00
00003cf2: DUP4
00003cf3: ADD
00003cf4: MSTORE
00003cf5: PUSH2 0x3cfd
00003cf8: DUP2
00003cf9: PUSH2 0x39ef
00003cfc: JUMP
00003cfd: JUMPDEST
00003cfe: SWAP1
00003cff: POP
00003d00: SWAP2
00003d01: SWAP1
00003d02: POP
00003d03: JUMP
00003d04: JUMPDEST
00003d05: PUSH1 0x00
00003d07: PUSH1 0x20
00003d09: DUP3
00003d0a: ADD
00003d0b: SWAP1
00003d0c: POP
00003d0d: DUP2
00003d0e: DUP2
00003d0f: SUB
00003d10: PUSH1 0x00
00003d12: DUP4
00003d13: ADD
00003d14: MSTORE
00003d15: PUSH2 0x3d1d
00003d18: DUP2
00003d19: PUSH2 0x3a12
00003d1c: JUMP
00003d1d: JUMPDEST
00003d1e: SWAP1
00003d1f: POP
00003d20: SWAP2
00003d21: SWAP1
00003d22: POP
00003d23: JUMP
00003d24: JUMPDEST
00003d25: PUSH1 0x00
00003d27: PUSH1 0x20
00003d29: DUP3
00003d2a: ADD
00003d2b: SWAP1
00003d2c: POP
00003d2d: DUP2
00003d2e: DUP2
00003d2f: SUB
00003d30: PUSH1 0x00
00003d32: DUP4
00003d33: ADD
00003d34: MSTORE
00003d35: PUSH2 0x3d3d
00003d38: DUP2
00003d39: PUSH2 0x3a35
00003d3c: JUMP
00003d3d: JUMPDEST
00003d3e: SWAP1
00003d3f: POP
00003d40: SWAP2
00003d41: SWAP1
00003d42: POP
00003d43: JUMP
00003d44: JUMPDEST
00003d45: PUSH1 0x00
00003d47: PUSH1 0x20
00003d49: DUP3
00003d4a: ADD
00003d4b: SWAP1
00003d4c: POP
00003d4d: PUSH2 0x3d59
00003d50: PUSH1 0x00
00003d52: DUP4
00003d53: ADD
00003d54: DUP5
00003d55: PUSH2 0x3a58
00003d58: JUMP
00003d59: JUMPDEST
00003d5a: SWAP3
00003d5b: SWAP2
00003d5c: POP
00003d5d: POP
00003d5e: JUMP
00003d5f: JUMPDEST
00003d60: PUSH1 0x00
00003d62: PUSH1 0x60
00003d64: DUP3
00003d65: ADD
00003d66: SWAP1
00003d67: POP
00003d68: PUSH2 0x3d74
00003d6b: PUSH1 0x00
00003d6d: DUP4
00003d6e: ADD
00003d6f: DUP7
00003d70: PUSH2 0x3a58
00003d73: JUMP
00003d74: JUMPDEST
00003d75: PUSH2 0x3d81
00003d78: PUSH1 0x20
00003d7a: DUP4
00003d7b: ADD
00003d7c: DUP6
00003d7d: PUSH2 0x3a58
00003d80: JUMP
00003d81: JUMPDEST
00003d82: PUSH2 0x3d8e
00003d85: PUSH1 0x40
00003d87: DUP4
00003d88: ADD
00003d89: DUP5
00003d8a: PUSH2 0x36c5
00003d8d: JUMP
00003d8e: JUMPDEST
00003d8f: SWAP5
00003d90: SWAP4
00003d91: POP
00003d92: POP
00003d93: POP
00003d94: POP
00003d95: JUMP
00003d96: JUMPDEST
00003d97: PUSH1 0x00
00003d99: PUSH2 0x3da0
00003d9c: PUSH2 0x3db1
00003d9f: JUMP
00003da0: JUMPDEST
00003da1: SWAP1
00003da2: POP
00003da3: PUSH2 0x3dac
00003da6: DUP3
00003da7: DUP3
00003da8: PUSH2 0x407d
00003dab: JUMP
00003dac: JUMPDEST
00003dad: SWAP2
00003dae: SWAP1
00003daf: POP
00003db0: JUMP
00003db1: JUMPDEST
00003db2: PUSH1 0x00
00003db4: PUSH1 0x40
00003db6: MLOAD
00003db7: SWAP1
00003db8: POP
00003db9: SWAP1
00003dba: JUMP
00003dbb: JUMPDEST
00003dbc: PUSH1 0x00
00003dbe: PUSH8 0xffffffffffffffff
00003dc7: DUP3
00003dc8: GT
00003dc9: ISZERO
00003dca: PUSH2 0x3dd6
00003dcd: JUMPI
00003dce: PUSH2 0x3dd5
00003dd1: PUSH2 0x41b5
00003dd4: JUMP
00003dd5: JUMPDEST
00003dd6: JUMPDEST
00003dd7: PUSH2 0x3ddf
00003dda: DUP3
00003ddb: PUSH2 0x41e4
00003dde: JUMP
00003ddf: JUMPDEST
00003de0: SWAP1
00003de1: POP
00003de2: PUSH1 0x20
00003de4: DUP2
00003de5: ADD
00003de6: SWAP1
00003de7: POP
00003de8: SWAP2
00003de9: SWAP1
00003dea: POP
00003deb: JUMP
00003dec: JUMPDEST
00003ded: PUSH1 0x00
00003def: PUSH8 0xffffffffffffffff
00003df8: DUP3
00003df9: GT
00003dfa: ISZERO
00003dfb: PUSH2 0x3e07
00003dfe: JUMPI
00003dff: PUSH2 0x3e06
00003e02: PUSH2 0x41b5
00003e05: JUMP
00003e06: JUMPDEST
00003e07: JUMPDEST
00003e08: PUSH2 0x3e10
00003e0b: DUP3
00003e0c: PUSH2 0x41e4
00003e0f: JUMP
00003e10: JUMPDEST
00003e11: SWAP1
00003e12: POP
00003e13: PUSH1 0x20
00003e15: DUP2
00003e16: ADD
00003e17: SWAP1
00003e18: POP
00003e19: SWAP2
00003e1a: SWAP1
00003e1b: POP
00003e1c: JUMP
00003e1d: JUMPDEST
00003e1e: PUSH1 0x00
00003e20: DUP2
00003e21: SWAP1
00003e22: POP
00003e23: DUP2
00003e24: PUSH1 0x00
00003e26: MSTORE
00003e27: PUSH1 0x20
00003e29: PUSH1 0x00
00003e2b: KECCAK256
00003e2c: SWAP1
00003e2d: POP
00003e2e: SWAP2
00003e2f: SWAP1
00003e30: POP
00003e31: JUMP
00003e32: JUMPDEST
00003e33: PUSH1 0x00
00003e35: DUP2
00003e36: MLOAD
00003e37: SWAP1
00003e38: POP
00003e39: SWAP2
00003e3a: SWAP1
00003e3b: POP
00003e3c: JUMP
00003e3d: JUMPDEST
00003e3e: PUSH1 0x00
00003e40: DUP2
00003e41: MLOAD
00003e42: SWAP1
00003e43: POP
00003e44: SWAP2
00003e45: SWAP1
00003e46: POP
00003e47: JUMP
00003e48: JUMPDEST
00003e49: PUSH1 0x00
00003e4b: DUP3
00003e4c: DUP3
00003e4d: MSTORE
00003e4e: PUSH1 0x20
00003e50: DUP3
00003e51: ADD
00003e52: SWAP1
00003e53: POP
00003e54: SWAP3
00003e55: SWAP2
00003e56: POP
00003e57: POP
00003e58: JUMP
00003e59: JUMPDEST
00003e5a: PUSH1 0x00
00003e5c: DUP2
00003e5d: SWAP1
00003e5e: POP
00003e5f: SWAP3
00003e60: SWAP2
00003e61: POP
00003e62: POP
00003e63: JUMP
00003e64: JUMPDEST
00003e65: PUSH1 0x00
00003e67: DUP3
00003e68: DUP3
00003e69: MSTORE
00003e6a: PUSH1 0x20
00003e6c: DUP3
00003e6d: ADD
00003e6e: SWAP1
00003e6f: POP
00003e70: SWAP3
00003e71: SWAP2
00003e72: POP
00003e73: POP
00003e74: JUMP
00003e75: JUMPDEST
00003e76: PUSH1 0x00
00003e78: DUP2
00003e79: SWAP1
00003e7a: POP
00003e7b: SWAP3
00003e7c: SWAP2
00003e7d: POP
00003e7e: POP
00003e7f: JUMP
00003e80: JUMPDEST
00003e81: PUSH1 0x00
00003e83: PUSH2 0x3e8b
00003e86: DUP3
00003e87: PUSH2 0x3fff
00003e8a: JUMP
00003e8b: JUMPDEST
00003e8c: SWAP2
00003e8d: POP
00003e8e: PUSH2 0x3e96
00003e91: DUP4
00003e92: PUSH2 0x3fff
00003e95: JUMP
00003e96: JUMPDEST
00003e97: SWAP3
00003e98: POP
00003e99: DUP3
00003e9a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003ebb: SUB
00003ebc: DUP3
00003ebd: GT
00003ebe: ISZERO
00003ebf: PUSH2 0x3ecb
00003ec2: JUMPI
00003ec3: PUSH2 0x3eca
00003ec6: PUSH2 0x4128
00003ec9: JUMP
00003eca: JUMPDEST
00003ecb: JUMPDEST
00003ecc: DUP3
00003ecd: DUP3
00003ece: ADD
00003ecf: SWAP1
00003ed0: POP
00003ed1: SWAP3
00003ed2: SWAP2
00003ed3: POP
00003ed4: POP
00003ed5: JUMP
00003ed6: JUMPDEST
00003ed7: PUSH1 0x00
00003ed9: PUSH2 0x3ee1
00003edc: DUP3
00003edd: PUSH2 0x3fff
00003ee0: JUMP
00003ee1: JUMPDEST
00003ee2: SWAP2
00003ee3: POP
00003ee4: PUSH2 0x3eec
00003ee7: DUP4
00003ee8: PUSH2 0x3fff
00003eeb: JUMP
00003eec: JUMPDEST
00003eed: SWAP3
00003eee: POP
00003eef: DUP3
00003ef0: PUSH2 0x3efc
00003ef3: JUMPI
00003ef4: PUSH2 0x3efb
00003ef7: PUSH2 0x4157
00003efa: JUMP
00003efb: JUMPDEST
00003efc: JUMPDEST
00003efd: DUP3
00003efe: DUP3
00003eff: DIV
00003f00: SWAP1
00003f01: POP
00003f02: SWAP3
00003f03: SWAP2
00003f04: POP
00003f05: POP
00003f06: JUMP
00003f07: JUMPDEST
00003f08: PUSH1 0x00
00003f0a: PUSH2 0x3f12
00003f0d: DUP3
00003f0e: PUSH2 0x3fff
00003f11: JUMP
00003f12: JUMPDEST
00003f13: SWAP2
00003f14: POP
00003f15: PUSH2 0x3f1d
00003f18: DUP4
00003f19: PUSH2 0x3fff
00003f1c: JUMP
00003f1d: JUMPDEST
00003f1e: SWAP3
00003f1f: POP
00003f20: DUP2
00003f21: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003f42: DIV
00003f43: DUP4
00003f44: GT
00003f45: DUP3
00003f46: ISZERO
00003f47: ISZERO
00003f48: AND
00003f49: ISZERO
00003f4a: PUSH2 0x3f56
00003f4d: JUMPI
00003f4e: PUSH2 0x3f55
00003f51: PUSH2 0x4128
00003f54: JUMP
00003f55: JUMPDEST
00003f56: JUMPDEST
00003f57: DUP3
00003f58: DUP3
00003f59: MUL
00003f5a: SWAP1
00003f5b: POP
00003f5c: SWAP3
00003f5d: SWAP2
00003f5e: POP
00003f5f: POP
00003f60: JUMP
00003f61: JUMPDEST
00003f62: PUSH1 0x00
00003f64: PUSH2 0x3f6c
00003f67: DUP3
00003f68: PUSH2 0x3fff
00003f6b: JUMP
00003f6c: JUMPDEST
00003f6d: SWAP2
00003f6e: POP
00003f6f: PUSH2 0x3f77
00003f72: DUP4
00003f73: PUSH2 0x3fff
00003f76: JUMP
00003f77: JUMPDEST
00003f78: SWAP3
00003f79: POP
00003f7a: DUP3
00003f7b: DUP3
00003f7c: LT
00003f7d: ISZERO
00003f7e: PUSH2 0x3f8a
00003f81: JUMPI
00003f82: PUSH2 0x3f89
00003f85: PUSH2 0x4128
00003f88: JUMP
00003f89: JUMPDEST
00003f8a: JUMPDEST
00003f8b: DUP3
00003f8c: DUP3
00003f8d: SUB
00003f8e: SWAP1
00003f8f: POP
00003f90: SWAP3
00003f91: SWAP2
00003f92: POP
00003f93: POP
00003f94: JUMP
00003f95: JUMPDEST
00003f96: PUSH1 0x00
00003f98: PUSH2 0x3fa0
00003f9b: DUP3
00003f9c: PUSH2 0x3fdf
00003f9f: JUMP
00003fa0: JUMPDEST
00003fa1: SWAP1
00003fa2: POP
00003fa3: SWAP2
00003fa4: SWAP1
00003fa5: POP
00003fa6: JUMP
00003fa7: JUMPDEST
00003fa8: PUSH1 0x00
00003faa: DUP2
00003fab: ISZERO
00003fac: ISZERO
00003fad: SWAP1
00003fae: POP
00003faf: SWAP2
00003fb0: SWAP1
00003fb1: POP
00003fb2: JUMP
00003fb3: JUMPDEST
00003fb4: PUSH1 0x00
00003fb6: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00003fd7: DUP3
00003fd8: AND
00003fd9: SWAP1
00003fda: POP
00003fdb: SWAP2
00003fdc: SWAP1
00003fdd: POP
00003fde: JUMP
00003fdf: JUMPDEST
00003fe0: PUSH1 0x00
00003fe2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ff7: DUP3
00003ff8: AND
00003ff9: SWAP1
00003ffa: POP
00003ffb: SWAP2
00003ffc: SWAP1
00003ffd: POP
00003ffe: JUMP
00003fff: JUMPDEST
00004000: PUSH1 0x00
00004002: DUP2
00004003: SWAP1
00004004: POP
00004005: SWAP2
00004006: SWAP1
00004007: POP
00004008: JUMP
00004009: JUMPDEST
0000400a: DUP3
0000400b: DUP2
0000400c: DUP4
0000400d: CALLDATACOPY
0000400e: PUSH1 0x00
00004010: DUP4
00004011: DUP4
00004012: ADD
00004013: MSTORE
00004014: POP
00004015: POP
00004016: POP
00004017: JUMP
00004018: JUMPDEST
00004019: PUSH1 0x00
0000401b: JUMPDEST
0000401c: DUP4
0000401d: DUP2
0000401e: LT
0000401f: ISZERO
00004020: PUSH2 0x4036
00004023: JUMPI
00004024: DUP1
00004025: DUP3
00004026: ADD
00004027: MLOAD
00004028: DUP2
00004029: DUP5
0000402a: ADD
0000402b: MSTORE
0000402c: PUSH1 0x20
0000402e: DUP2
0000402f: ADD
00004030: SWAP1
00004031: POP
00004032: PUSH2 0x401b
00004035: JUMP
00004036: JUMPDEST
00004037: DUP4
00004038: DUP2
00004039: GT
0000403a: ISZERO
0000403b: PUSH2 0x4045
0000403e: JUMPI
0000403f: PUSH1 0x00
00004041: DUP5
00004042: DUP5
00004043: ADD
00004044: MSTORE
00004045: JUMPDEST
00004046: POP
00004047: POP
00004048: POP
00004049: POP
0000404a: JUMP
0000404b: JUMPDEST
0000404c: PUSH1 0x00
0000404e: PUSH1 0x02
00004050: DUP3
00004051: DIV
00004052: SWAP1
00004053: POP
00004054: PUSH1 0x01
00004056: DUP3
00004057: AND
00004058: DUP1
00004059: PUSH2 0x4063
0000405c: JUMPI
0000405d: PUSH1 0x7f
0000405f: DUP3
00004060: AND
00004061: SWAP2
00004062: POP
00004063: JUMPDEST
00004064: PUSH1 0x20
00004066: DUP3
00004067: LT
00004068: DUP2
00004069: EQ
0000406a: ISZERO
0000406b: PUSH2 0x4077
0000406e: JUMPI
0000406f: PUSH2 0x4076
00004072: PUSH2 0x4186
00004075: JUMP
00004076: JUMPDEST
00004077: JUMPDEST
00004078: POP
00004079: SWAP2
0000407a: SWAP1
0000407b: POP
0000407c: JUMP
0000407d: JUMPDEST
0000407e: PUSH2 0x4086
00004081: DUP3
00004082: PUSH2 0x41e4
00004085: JUMP
00004086: JUMPDEST
00004087: DUP2
00004088: ADD
00004089: DUP2
0000408a: DUP2
0000408b: LT
0000408c: PUSH8 0xffffffffffffffff
00004095: DUP3
00004096: GT
00004097: OR
00004098: ISZERO
00004099: PUSH2 0x40a5
0000409c: JUMPI
0000409d: PUSH2 0x40a4
000040a0: PUSH2 0x41b5
000040a3: JUMP
000040a4: JUMPDEST
000040a5: JUMPDEST
000040a6: DUP1
000040a7: PUSH1 0x40
000040a9: MSTORE
000040aa: POP
000040ab: POP
000040ac: POP
000040ad: JUMP
000040ae: JUMPDEST
000040af: PUSH1 0x00
000040b1: PUSH2 0x40b9
000040b4: DUP3
000040b5: PUSH2 0x3fff
000040b8: JUMP
000040b9: JUMPDEST
000040ba: SWAP2
000040bb: POP
000040bc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000040dd: DUP3
000040de: EQ
000040df: ISZERO
000040e0: PUSH2 0x40ec
000040e3: JUMPI
000040e4: PUSH2 0x40eb
000040e7: PUSH2 0x4128
000040ea: JUMP
000040eb: JUMPDEST
000040ec: JUMPDEST
000040ed: PUSH1 0x01
000040ef: DUP3
000040f0: ADD
000040f1: SWAP1
000040f2: POP
000040f3: SWAP2
000040f4: SWAP1
000040f5: POP
000040f6: JUMP
000040f7: JUMPDEST
000040f8: PUSH1 0x00
000040fa: PUSH2 0x4102
000040fd: DUP3
000040fe: PUSH2 0x3fff
00004101: JUMP
00004102: JUMPDEST
00004103: SWAP2
00004104: POP
00004105: PUSH2 0x410d
00004108: DUP4
00004109: PUSH2 0x3fff
0000410c: JUMP
0000410d: JUMPDEST
0000410e: SWAP3
0000410f: POP
00004110: DUP3
00004111: PUSH2 0x411d
00004114: JUMPI
00004115: PUSH2 0x411c
00004118: PUSH2 0x4157
0000411b: JUMP
0000411c: JUMPDEST
0000411d: JUMPDEST
0000411e: DUP3
0000411f: DUP3
00004120: MOD
00004121: SWAP1
00004122: POP
00004123: SWAP3
00004124: SWAP2
00004125: POP
00004126: POP
00004127: JUMP
00004128: JUMPDEST
00004129: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000414a: PUSH1 0x00
0000414c: MSTORE
0000414d: PUSH1 0x11
0000414f: PUSH1 0x04
00004151: MSTORE
00004152: PUSH1 0x24
00004154: PUSH1 0x00
00004156: REVERT
00004157: JUMPDEST
00004158: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00004179: PUSH1 0x00
0000417b: MSTORE
0000417c: PUSH1 0x12
0000417e: PUSH1 0x04
00004180: MSTORE
00004181: PUSH1 0x24
00004183: PUSH1 0x00
00004185: REVERT
00004186: JUMPDEST
00004187: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000041a8: PUSH1 0x00
000041aa: MSTORE
000041ab: PUSH1 0x22
000041ad: PUSH1 0x04
000041af: MSTORE
000041b0: PUSH1 0x24
000041b2: PUSH1 0x00
000041b4: REVERT
000041b5: JUMPDEST
000041b6: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000041d7: PUSH1 0x00
000041d9: MSTORE
000041da: PUSH1 0x41
000041dc: PUSH1 0x04
000041de: MSTORE
000041df: PUSH1 0x24
000041e1: PUSH1 0x00
000041e3: REVERT
000041e4: JUMPDEST
000041e5: PUSH1 0x00
000041e7: PUSH1 0x1f
000041e9: NOT
000041ea: PUSH1 0x1f
000041ec: DUP4
000041ed: ADD
000041ee: AND
000041ef: SWAP1
000041f0: POP
000041f1: SWAP2
000041f2: SWAP1
000041f3: POP
000041f4: JUMP
000041f5: JUMPDEST
000041f6: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00004217: PUSH1 0x00
00004219: DUP3
0000421a: ADD
0000421b: MSTORE
0000421c: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
0000423d: PUSH1 0x20
0000423f: DUP3
00004240: ADD
00004241: MSTORE
00004242: POP
00004243: JUMP
00004244: JUMPDEST
00004245: PUSH32 0x5265736572766573206861766520616c7265616479206265656e206d696e7465
00004266: PUSH1 0x00
00004268: DUP3
00004269: ADD
0000426a: MSTORE
0000426b: PUSH32 0x642e000000000000000000000000000000000000000000000000000000000000
0000428c: PUSH1 0x20
0000428e: DUP3
0000428f: ADD
00004290: MSTORE
00004291: POP
00004292: JUMP
00004293: JUMPDEST
00004294: PUSH32 0x5075626c69632073616c65206973206e6f74206163746976652e000000000000
000042b5: PUSH1 0x00
000042b7: DUP3
000042b8: ADD
000042b9: MSTORE
000042ba: POP
000042bb: JUMP
000042bc: JUMPDEST
000042bd: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
000042de: PUSH1 0x00
000042e0: DUP3
000042e1: ADD
000042e2: MSTORE
000042e3: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
00004304: PUSH1 0x20
00004306: DUP3
00004307: ADD
00004308: MSTORE
00004309: POP
0000430a: JUMP
0000430b: JUMPDEST
0000430c: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
0000432d: PUSH1 0x00
0000432f: DUP3
00004330: ADD
00004331: MSTORE
00004332: POP
00004333: JUMP
00004334: JUMPDEST
00004335: PUSH32 0x5468652063616c6c657220697320616e6f7468657220636f6e74726163740000
00004356: PUSH1 0x00
00004358: DUP3
00004359: ADD
0000435a: MSTORE
0000435b: POP
0000435c: JUMP
0000435d: JUMPDEST
0000435e: PUSH32 0x5075626c69632073616c65206973206e6f742061637469766500000000000000
0000437f: PUSH1 0x00
00004381: DUP3
00004382: ADD
00004383: MSTORE
00004384: POP
00004385: JUMP
00004386: JUMPDEST
00004387: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000043a8: PUSH1 0x00
000043aa: DUP3
000043ab: ADD
000043ac: MSTORE
000043ad: POP
000043ae: JUMP
000043af: JUMPDEST
000043b0: PUSH32 0x5468697320707572636861736520776f756c6420657863656564206d61782073
000043d1: PUSH1 0x00
000043d3: DUP3
000043d4: ADD
000043d5: MSTORE
000043d6: PUSH32 0x7570706c79206f662047656e6573697320417661746172730000000000000000
000043f7: PUSH1 0x20
000043f9: DUP3
000043fa: ADD
000043fb: MSTORE
000043fc: POP
000043fd: JUMP
000043fe: JUMPDEST
000043ff: PUSH32 0x4552433732314d657461646174613a2055524920717565727920666f72206e6f
00004420: PUSH1 0x00
00004422: DUP3
00004423: ADD
00004424: MSTORE
00004425: PUSH32 0x6e6578697374656e7420746f6b656e0000000000000000000000000000000000
00004446: PUSH1 0x20
00004448: DUP3
00004449: ADD
0000444a: MSTORE
0000444b: POP
0000444c: JUMP
0000444d: JUMPDEST
0000444e: PUSH32 0x5175616e74697479206973206d6f7265207468616e20616c6c6f776564207065
0000446f: PUSH1 0x00
00004471: DUP3
00004472: ADD
00004473: MSTORE
00004474: PUSH32 0x72207472616e73616374696f6e2e000000000000000000000000000000000000
00004495: PUSH1 0x20
00004497: DUP3
00004498: ADD
00004499: MSTORE
0000449a: POP
0000449b: JUMP
0000449c: JUMPDEST
0000449d: POP
0000449e: JUMP
0000449f: JUMPDEST
000044a0: PUSH32 0x596f75206d757374206d696e74206174206c6561737420312047656e65736973
000044c1: PUSH1 0x00
000044c3: DUP3
000044c4: ADD
000044c5: MSTORE
000044c6: PUSH32 0x2041766174617200000000000000000000000000000000000000000000000000
000044e7: PUSH1 0x20
000044e9: DUP3
000044ea: ADD
000044eb: MSTORE
000044ec: POP
000044ed: JUMP
000044ee: JUMPDEST
000044ef: PUSH32 0x50726573616c65206973206e6f74206163746976650000000000000000000000
00004510: PUSH1 0x00
00004512: DUP3
00004513: ADD
00004514: MSTORE
00004515: POP
00004516: JUMP
00004517: JUMPDEST
00004518: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00004539: PUSH1 0x00
0000453b: DUP3
0000453c: ADD
0000453d: MSTORE
0000453e: POP
0000453f: JUMP
00004540: JUMPDEST
00004541: PUSH32 0x5468652065746865722076616c75652073656e74206973206e6f7420636f7272
00004562: PUSH1 0x00
00004564: DUP3
00004565: ADD
00004566: MSTORE
00004567: PUSH32 0x6563740000000000000000000000000000000000000000000000000000000000
00004588: PUSH1 0x20
0000458a: DUP3
0000458b: ADD
0000458c: MSTORE
0000458d: POP
0000458e: JUMP
0000458f: JUMPDEST
00004590: PUSH32 0x54686973206d696e7420776f756c6420657863656564206d617820737570706c
000045b1: PUSH1 0x00
000045b3: DUP3
000045b4: ADD
000045b5: MSTORE
000045b6: PUSH32 0x79206f662047656e657369732041766174617273000000000000000000000000
000045d7: PUSH1 0x20
000045d9: DUP3
000045da: ADD
000045db: MSTORE
000045dc: POP
000045dd: JUMP
000045de: JUMPDEST
000045df: PUSH2 0x45e7
000045e2: DUP2
000045e3: PUSH2 0x3f95
000045e6: JUMP
000045e7: JUMPDEST
000045e8: DUP2
000045e9: EQ
000045ea: PUSH2 0x45f2
000045ed: JUMPI
000045ee: PUSH1 0x00
000045f0: DUP1
000045f1: REVERT
000045f2: JUMPDEST
000045f3: POP
000045f4: JUMP
000045f5: JUMPDEST
000045f6: PUSH2 0x45fe
000045f9: DUP2
000045fa: PUSH2 0x3fa7
000045fd: JUMP
000045fe: JUMPDEST
000045ff: DUP2
00004600: EQ
00004601: PUSH2 0x4609
00004604: JUMPI
00004605: PUSH1 0x00
00004607: DUP1
00004608: REVERT
00004609: JUMPDEST
0000460a: POP
0000460b: JUMP
0000460c: JUMPDEST
0000460d: PUSH2 0x4615
00004610: DUP2
00004611: PUSH2 0x3fb3
00004614: JUMP
00004615: JUMPDEST
00004616: DUP2
00004617: EQ
00004618: PUSH2 0x4620
0000461b: JUMPI
0000461c: PUSH1 0x00
0000461e: DUP1
0000461f: REVERT
00004620: JUMPDEST
00004621: POP
00004622: JUMP
00004623: JUMPDEST
00004624: PUSH2 0x462c
00004627: DUP2
00004628: PUSH2 0x3fff
0000462b: JUMP
0000462c: JUMPDEST
0000462d: DUP2
0000462e: EQ
0000462f: PUSH2 0x4637
00004632: JUMPI
00004633: PUSH1 0x00
00004635: DUP1
00004636: REVERT
00004637: JUMPDEST
00004638: POP
00004639: JUMP
0000463a: INVALID
0000463b: LOG2
0000463c: PUSH5 0x6970667358
00004642: UNKNOWN(0x22)
00004643: SLT
00004644: KECCAK256
00004645: TLOAD
00004646: SWAP7
00004647: EXTCODESIZE
00004648: UNKNOWN(0xE8)
00004649: SWAP15
0000464a: UNKNOWN(0xE3)
0000464b: PUSH13 0x357ed50141c4ecbc9d39e80e84
00004659: UNKNOWN(0xD8)
0000465a: DUP6
0000465b: SWAP10
0000465c: SWAP7
0000465d: PUSH26
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe88bca66", "selector": "0xe88bca66", "calldata_variants": [ "0xe88bca66", "0xe88bca660000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfd48354e", "selector": "0xfd48354e", "calldata_variants": [ "0xfd48354e", "0xfd48354e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfe2c7fee", "selector": "0xfe2c7fee", "calldata_variants": [ "0xfe2c7fee", "0xfe2c7fee0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb88d4fde", "selector": "0xb88d4fde", "calldata_variants": [ "0xb88d4fde", "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc9b298f1", "selector": "0xc9b298f1", "calldata_variants": [ "0xc9b298f1", "0xc9b298f10000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 3502, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xeedb37643c00d16b60bc4e93ef2f08477c6019bf7e544e5cc1c5d0562ac7a879 call_targets: 0x05745e72fb8b4a9b51118a168d956760e4a36444 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xeedb37643c00d16b60bc4e93ef2f08477c6019bf7e544e5cc1c5d0562ac7a879", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x05745e72fb8b4a9b51118a168d956760e4a36444" ], "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": "0xe88bca66", "selector": "0xe88bca66", "calldata_variants": [ "0xe88bca66", "0xe88bca660000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfd48354e", "selector": "0xfd48354e", "calldata_variants": [ "0xfd48354e", "0xfd48354e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfe2c7fee", "selector": "0xfe2c7fee", "calldata_variants": [ "0xfe2c7fee", "0xfe2c7fee0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb88d4fde", "selector": "0xb88d4fde", "calldata_variants": [ "0xb88d4fde", "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc9b298f1", "selector": "0xc9b298f1", "calldata_variants": [ "0xc9b298f1", "0xc9b298f10000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4234, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7220, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 9818, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [ { "pc": 3502, "type": "tx_origin_used" } ], "untrusted_call_count": 4 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xeedb37643c00d16b60bc4e93ef2f08477c6019bf7e544e5cc1c5d0562ac7a879 call_targets: 0x05745e72fb8b4a9b51118a168d956760e4a36444 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xeedb37643c00d16b60bc4e93ef2f08477c6019bf7e544e5cc1c5d0562ac7a879", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x05745e72fb8b4a9b51118a168d956760e4a36444" ], "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": "0xe88bca66", "selector": "0xe88bca66", "calldata_variants": [ "0xe88bca66", "0xe88bca660000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfd48354e", "selector": "0xfd48354e", "calldata_variants": [ "0xfd48354e", "0xfd48354e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfe2c7fee", "selector": "0xfe2c7fee", "calldata_variants": [ "0xfe2c7fee", "0xfe2c7fee0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb88d4fde", "selector": "0xb88d4fde", "calldata_variants": [ "0xb88d4fde", "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc9b298f1", "selector": "0xc9b298f1", "calldata_variants": [ "0xc9b298f1", "0xc9b298f10000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4234, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7220, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 9818, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [ { "pc": 3502, "type": "tx_origin_used" } ] }
Severity