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

019b477e-dc14-720e-8a51-a79b21dac770
complete
Chain ID
Address
0x44e36ee7d13b3a69fd8a1a3737afc6e35dfa6fad
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
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
29737	artifact.fetch	complete	1 / 3	3 months ago
29738	tool.cast_disasm	complete	1 / 3	3 months ago
92977	analysis.bundle	complete	1 / 3	2 weeks ago
92978	capability.graph	complete	1 / 3	2 weeks ago
92979	detector.run	complete	1 / 3	2 weeks ago
92980	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
8070
Flags
call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x026b
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7cf1d304
00000019: GT
0000001a: PUSH2 0x0144
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xba1c3b92
00000024: GT
00000025: PUSH2 0x00b6
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe30c3978
0000002f: GT
00000030: PUSH2 0x007a
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe30c3978
0000003a: EQ
0000003b: PUSH2 0x08f2
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe6513725
00000045: EQ
00000046: PUSH2 0x091d
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe9276d66
00000050: EQ
00000051: PUSH2 0x0946
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xed338ff1
0000005b: EQ
0000005c: PUSH2 0x0983
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf2fde38b
00000066: EQ
00000067: PUSH2 0x09ae
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0xfc6e33ee
00000071: EQ
00000072: PUSH2 0x09d7
00000075: JUMPI
00000076: PUSH2 0x0272
00000079: JUMP
0000007a: JUMPDEST
0000007b: DUP1
0000007c: PUSH4 0xba1c3b92
00000081: EQ
00000082: PUSH2 0x080d
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xc3da0cf3
0000008c: EQ
0000008d: PUSH2 0x0836
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xc457fb37
00000097: EQ
00000098: PUSH2 0x0861
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xc54e44eb
000000a2: EQ
000000a3: PUSH2 0x089e
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xd897833e
000000ad: EQ
000000ae: PUSH2 0x08c9
000000b1: JUMPI
000000b2: PUSH2 0x0272
000000b5: JUMP
000000b6: JUMPDEST
000000b7: DUP1
000000b8: PUSH4 0x8d8f2adb
000000bd: GT
000000be: PUSH2 0x0108
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x8d8f2adb
000000c8: EQ
000000c9: PUSH2 0x070a
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x8da5cb5b
000000d3: EQ
000000d4: PUSH2 0x0721
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x94dc9cf3
000000de: EQ
000000df: PUSH2 0x074c
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x99f0b728
000000e9: EQ
000000ea: PUSH2 0x0768
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0xa4a06f5f
000000f4: EQ
000000f5: PUSH2 0x0793
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0xa72ef26f
000000ff: EQ
00000100: PUSH2 0x07d0
00000103: JUMPI
00000104: PUSH2 0x0272
00000107: JUMP
00000108: JUMPDEST
00000109: DUP1
0000010a: PUSH4 0x7cf1d304
0000010f: EQ
00000110: PUSH2 0x060d
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x7d7f1e6c
0000011a: EQ
0000011b: PUSH2 0x064b
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x82b2e257
00000125: EQ
00000126: PUSH2 0x0689
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x84f956a6
00000130: EQ
00000131: PUSH2 0x06b4
00000134: JUMPI
00000135: DUP1
00000136: PUSH4 0x89a30271
0000013b: EQ
0000013c: PUSH2 0x06df
0000013f: JUMPI
00000140: PUSH2 0x0272
00000143: JUMP
00000144: JUMPDEST
00000145: DUP1
00000146: PUSH4 0x54545bfb
0000014b: GT
0000014c: PUSH2 0x01dd
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x67c9b017
00000156: GT
00000157: PUSH2 0x01a1
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x67c9b017
00000161: EQ
00000162: PUSH2 0x0521
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x68428a1b
0000016c: EQ
0000016d: PUSH2 0x054c
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0x69c889ed
00000177: EQ
00000178: PUSH2 0x0577
0000017b: JUMPI
0000017c: DUP1
0000017d: PUSH4 0x715018a6
00000182: EQ
00000183: PUSH2 0x05b4
00000186: JUMPI
00000187: DUP1
00000188: PUSH4 0x79ba5097
0000018d: EQ
0000018e: PUSH2 0x05cb
00000191: JUMPI
00000192: DUP1
00000193: PUSH4 0x7c5e2795
00000198: EQ
00000199: PUSH2 0x05e2
0000019c: JUMPI
0000019d: PUSH2 0x0272
000001a0: JUMP
000001a1: JUMPDEST
000001a2: DUP1
000001a3: PUSH4 0x54545bfb
000001a8: EQ
000001a9: PUSH2 0x044a
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x5a7e4a6d
000001b3: EQ
000001b4: PUSH2 0x0475
000001b7: JUMPI
000001b8: DUP1
000001b9: PUSH4 0x5e6f6045
000001be: EQ
000001bf: PUSH2 0x04a0
000001c2: JUMPI
000001c3: DUP1
000001c4: PUSH4 0x60a09a0d
000001c9: EQ
000001ca: PUSH2 0x04cb
000001cd: JUMPI
000001ce: DUP1
000001cf: PUSH4 0x63b20117
000001d4: EQ
000001d5: PUSH2 0x04f6
000001d8: JUMPI
000001d9: PUSH2 0x0272
000001dc: JUMP
000001dd: JUMPDEST
000001de: DUP1
000001df: PUSH4 0x24600fc3
000001e4: GT
000001e5: PUSH2 0x022f
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x24600fc3
000001ef: EQ
000001f0: PUSH2 0x035e
000001f3: JUMPI
000001f4: DUP1
000001f5: PUSH4 0x25737061
000001fa: EQ
000001fb: PUSH2 0x0375
000001fe: JUMPI
000001ff: DUP1
00000200: PUSH4 0x2b0fe166
00000205: EQ
00000206: PUSH2 0x03a0
00000209: JUMPI
0000020a: DUP1
0000020b: PUSH4 0x39f65c09
00000210: EQ
00000211: PUSH2 0x03cb
00000214: JUMPI
00000215: DUP1
00000216: PUSH4 0x427c0c7f
0000021b: EQ
0000021c: PUSH2 0x0408
0000021f: JUMPI
00000220: DUP1
00000221: PUSH4 0x51858e27
00000226: EQ
00000227: PUSH2 0x0433
0000022a: JUMPI
0000022b: PUSH2 0x0272
0000022e: JUMP
0000022f: JUMPDEST
00000230: DUP1
00000231: PUSH4 0x0199c7b2
00000236: EQ
00000237: PUSH2 0x0277
0000023a: JUMPI
0000023b: DUP1
0000023c: PUSH4 0x166e11b7
00000241: EQ
00000242: PUSH2 0x02a2
00000245: JUMPI
00000246: DUP1
00000247: PUSH4 0x19123729
0000024c: EQ
0000024d: PUSH2 0x02cb
00000250: JUMPI
00000251: DUP1
00000252: PUSH4 0x1c283d10
00000257: EQ
00000258: PUSH2 0x0308
0000025b: JUMPI
0000025c: DUP1
0000025d: PUSH4 0x1cbaee2d
00000262: EQ
00000263: PUSH2 0x0333
00000266: JUMPI
00000267: PUSH2 0x0272
0000026a: JUMP
0000026b: JUMPDEST
0000026c: CALLDATASIZE
0000026d: PUSH2 0x0272
00000270: JUMPI
00000271: STOP
00000272: JUMPDEST
00000273: PUSH1 0x00
00000275: DUP1
00000276: REVERT
00000277: JUMPDEST
00000278: CALLVALUE
00000279: DUP1
0000027a: ISZERO
0000027b: PUSH2 0x0283
0000027e: JUMPI
0000027f: PUSH1 0x00
00000281: DUP1
00000282: REVERT
00000283: JUMPDEST
00000284: POP
00000285: PUSH2 0x028c
00000288: PUSH2 0x0a02
0000028b: JUMP
0000028c: JUMPDEST
0000028d: PUSH1 0x40
0000028f: MLOAD
00000290: PUSH2 0x0299
00000293: SWAP2
00000294: SWAP1
00000295: PUSH2 0x31b1
00000298: JUMP
00000299: JUMPDEST
0000029a: PUSH1 0x40
0000029c: MLOAD
0000029d: DUP1
0000029e: SWAP2
0000029f: SUB
000002a0: SWAP1
000002a1: RETURN
000002a2: JUMPDEST
000002a3: CALLVALUE
000002a4: DUP1
000002a5: ISZERO
000002a6: PUSH2 0x02ae
000002a9: JUMPI
000002aa: PUSH1 0x00
000002ac: DUP1
000002ad: REVERT
000002ae: JUMPDEST
000002af: POP
000002b0: PUSH2 0x02c9
000002b3: PUSH1 0x04
000002b5: DUP1
000002b6: CALLDATASIZE
000002b7: SUB
000002b8: DUP2
000002b9: ADD
000002ba: SWAP1
000002bb: PUSH2 0x02c4
000002be: SWAP2
000002bf: SWAP1
000002c0: PUSH2 0x31fd
000002c3: JUMP
000002c4: JUMPDEST
000002c5: PUSH2 0x0a08
000002c8: JUMP
000002c9: JUMPDEST
000002ca: STOP
000002cb: JUMPDEST
000002cc: CALLVALUE
000002cd: DUP1
000002ce: ISZERO
000002cf: PUSH2 0x02d7
000002d2: JUMPI
000002d3: PUSH1 0x00
000002d5: DUP1
000002d6: REVERT
000002d7: JUMPDEST
000002d8: POP
000002d9: PUSH2 0x02f2
000002dc: PUSH1 0x04
000002de: DUP1
000002df: CALLDATASIZE
000002e0: SUB
000002e1: DUP2
000002e2: ADD
000002e3: SWAP1
000002e4: PUSH2 0x02ed
000002e7: SWAP2
000002e8: SWAP1
000002e9: PUSH2 0x323d
000002ec: JUMP
000002ed: JUMPDEST
000002ee: PUSH2 0x0d49
000002f1: JUMP
000002f2: JUMPDEST
000002f3: PUSH1 0x40
000002f5: MLOAD
000002f6: PUSH2 0x02ff
000002f9: SWAP2
000002fa: SWAP1
000002fb: PUSH2 0x31b1
000002fe: JUMP
000002ff: JUMPDEST
00000300: PUSH1 0x40
00000302: MLOAD
00000303: DUP1
00000304: SWAP2
00000305: SUB
00000306: SWAP1
00000307: RETURN
00000308: JUMPDEST
00000309: CALLVALUE
0000030a: DUP1
0000030b: ISZERO
0000030c: PUSH2 0x0314
0000030f: JUMPI
00000310: PUSH1 0x00
00000312: DUP1
00000313: REVERT
00000314: JUMPDEST
00000315: POP
00000316: PUSH2 0x031d
00000319: PUSH2 0x0d7a
0000031c: JUMP
0000031d: JUMPDEST
0000031e: PUSH1 0x40
00000320: MLOAD
00000321: PUSH2 0x032a
00000324: SWAP2
00000325: SWAP1
00000326: PUSH2 0x32e9
00000329: JUMP
0000032a: JUMPDEST
0000032b: PUSH1 0x40
0000032d: MLOAD
0000032e: DUP1
0000032f: SWAP2
00000330: SUB
00000331: SWAP1
00000332: RETURN
00000333: JUMPDEST
00000334: CALLVALUE
00000335: DUP1
00000336: ISZERO
00000337: PUSH2 0x033f
0000033a: JUMPI
0000033b: PUSH1 0x00
0000033d: DUP1
0000033e: REVERT
0000033f: JUMPDEST
00000340: POP
00000341: PUSH2 0x0348
00000344: PUSH2 0x0d9e
00000347: JUMP
00000348: JUMPDEST
00000349: PUSH1 0x40
0000034b: MLOAD
0000034c: PUSH2 0x0355
0000034f: SWAP2
00000350: SWAP1
00000351: PUSH2 0x31b1
00000354: JUMP
00000355: JUMPDEST
00000356: PUSH1 0x40
00000358: MLOAD
00000359: DUP1
0000035a: SWAP2
0000035b: SUB
0000035c: SWAP1
0000035d: RETURN
0000035e: JUMPDEST
0000035f: CALLVALUE
00000360: DUP1
00000361: ISZERO
00000362: PUSH2 0x036a
00000365: JUMPI
00000366: PUSH1 0x00
00000368: DUP1
00000369: REVERT
0000036a: JUMPDEST
0000036b: POP
0000036c: PUSH2 0x0373
0000036f: PUSH2 0x0da4
00000372: JUMP
00000373: JUMPDEST
00000374: STOP
00000375: JUMPDEST
00000376: CALLVALUE
00000377: DUP1
00000378: ISZERO
00000379: PUSH2 0x0381
0000037c: JUMPI
0000037d: PUSH1 0x00
0000037f: DUP1
00000380: REVERT
00000381: JUMPDEST
00000382: POP
00000383: PUSH2 0x038a
00000386: PUSH2 0x115e
00000389: JUMP
0000038a: JUMPDEST
0000038b: PUSH1 0x40
0000038d: MLOAD
0000038e: PUSH2 0x0397
00000391: SWAP2
00000392: SWAP1
00000393: PUSH2 0x3325
00000396: JUMP
00000397: JUMPDEST
00000398: PUSH1 0x40
0000039a: MLOAD
0000039b: DUP1
0000039c: SWAP2
0000039d: SUB
0000039e: SWAP1
0000039f: RETURN
000003a0: JUMPDEST
000003a1: CALLVALUE
000003a2: DUP1
000003a3: ISZERO
000003a4: PUSH2 0x03ac
000003a7: JUMPI
000003a8: PUSH1 0x00
000003aa: DUP1
000003ab: REVERT
000003ac: JUMPDEST
000003ad: POP
000003ae: PUSH2 0x03b5
000003b1: PUSH2 0x1182
000003b4: JUMP
000003b5: JUMPDEST
000003b6: PUSH1 0x40
000003b8: MLOAD
000003b9: PUSH2 0x03c2
000003bc: SWAP2
000003bd: SWAP1
000003be: PUSH2 0x31b1
000003c1: JUMP
000003c2: JUMPDEST
000003c3: PUSH1 0x40
000003c5: MLOAD
000003c6: DUP1
000003c7: SWAP2
000003c8: SUB
000003c9: SWAP1
000003ca: RETURN
000003cb: JUMPDEST
000003cc: CALLVALUE
000003cd: DUP1
000003ce: ISZERO
000003cf: PUSH2 0x03d7
000003d2: JUMPI
000003d3: PUSH1 0x00
000003d5: DUP1
000003d6: REVERT
000003d7: JUMPDEST
000003d8: POP
000003d9: PUSH2 0x03f2
000003dc: PUSH1 0x04
000003de: DUP1
000003df: CALLDATASIZE
000003e0: SUB
000003e1: DUP2
000003e2: ADD
000003e3: SWAP1
000003e4: PUSH2 0x03ed
000003e7: SWAP2
000003e8: SWAP1
000003e9: PUSH2 0x337e
000003ec: JUMP
000003ed: JUMPDEST
000003ee: PUSH2 0x1243
000003f1: JUMP
000003f2: JUMPDEST
000003f3: PUSH1 0x40
000003f5: MLOAD
000003f6: PUSH2 0x03ff
000003f9: SWAP2
000003fa: SWAP1
000003fb: PUSH2 0x31b1
000003fe: JUMP
000003ff: JUMPDEST
00000400: PUSH1 0x40
00000402: MLOAD
00000403: DUP1
00000404: SWAP2
00000405: SUB
00000406: SWAP1
00000407: RETURN
00000408: JUMPDEST
00000409: CALLVALUE
0000040a: DUP1
0000040b: ISZERO
0000040c: PUSH2 0x0414
0000040f: JUMPI
00000410: PUSH1 0x00
00000412: DUP1
00000413: REVERT
00000414: JUMPDEST
00000415: POP
00000416: PUSH2 0x041d
00000419: PUSH2 0x125b
0000041c: JUMP
0000041d: JUMPDEST
0000041e: PUSH1 0x40
00000420: MLOAD
00000421: PUSH2 0x042a
00000424: SWAP2
00000425: SWAP1
00000426: PUSH2 0x31b1
00000429: JUMP
0000042a: JUMPDEST
0000042b: PUSH1 0x40
0000042d: MLOAD
0000042e: DUP1
0000042f: SWAP2
00000430: SUB
00000431: SWAP1
00000432: RETURN
00000433: JUMPDEST
00000434: CALLVALUE
00000435: DUP1
00000436: ISZERO
00000437: PUSH2 0x043f
0000043a: JUMPI
0000043b: PUSH1 0x00
0000043d: DUP1
0000043e: REVERT
0000043f: JUMPDEST
00000440: POP
00000441: PUSH2 0x0448
00000444: PUSH2 0x1261
00000447: JUMP
00000448: JUMPDEST
00000449: STOP
0000044a: JUMPDEST
0000044b: CALLVALUE
0000044c: DUP1
0000044d: ISZERO
0000044e: PUSH2 0x0456
00000451: JUMPI
00000452: PUSH1 0x00
00000454: DUP1
00000455: REVERT
00000456: JUMPDEST
00000457: POP
00000458: PUSH2 0x045f
0000045b: PUSH2 0x132f
0000045e: JUMP
0000045f: JUMPDEST
00000460: PUSH1 0x40
00000462: MLOAD
00000463: PUSH2 0x046c
00000466: SWAP2
00000467: SWAP1
00000468: PUSH2 0x31b1
0000046b: JUMP
0000046c: JUMPDEST
0000046d: PUSH1 0x40
0000046f: MLOAD
00000470: DUP1
00000471: SWAP2
00000472: SUB
00000473: SWAP1
00000474: RETURN
00000475: JUMPDEST
00000476: CALLVALUE
00000477: DUP1
00000478: ISZERO
00000479: PUSH2 0x0481
0000047c: JUMPI
0000047d: PUSH1 0x00
0000047f: DUP1
00000480: REVERT
00000481: JUMPDEST
00000482: POP
00000483: PUSH2 0x048a
00000486: PUSH2 0x133c
00000489: JUMP
0000048a: JUMPDEST
0000048b: PUSH1 0x40
0000048d: MLOAD
0000048e: PUSH2 0x0497
00000491: SWAP2
00000492: SWAP1
00000493: PUSH2 0x31b1
00000496: JUMP
00000497: JUMPDEST
00000498: PUSH1 0x40
0000049a: MLOAD
0000049b: DUP1
0000049c: SWAP2
0000049d: SUB
0000049e: SWAP1
0000049f: RETURN
000004a0: JUMPDEST
000004a1: CALLVALUE
000004a2: DUP1
000004a3: ISZERO
000004a4: PUSH2 0x04ac
000004a7: JUMPI
000004a8: PUSH1 0x00
000004aa: DUP1
000004ab: REVERT
000004ac: JUMPDEST
000004ad: POP
000004ae: PUSH2 0x04b5
000004b1: PUSH2 0x1343
000004b4: JUMP
000004b5: JUMPDEST
000004b6: PUSH1 0x40
000004b8: MLOAD
000004b9: PUSH2 0x04c2
000004bc: SWAP2
000004bd: SWAP1
000004be: PUSH2 0x33cc
000004c1: JUMP
000004c2: JUMPDEST
000004c3: PUSH1 0x40
000004c5: MLOAD
000004c6: DUP1
000004c7: SWAP2
000004c8: SUB
000004c9: SWAP1
000004ca: RETURN
000004cb: JUMPDEST
000004cc: CALLVALUE
000004cd: DUP1
000004ce: ISZERO
000004cf: PUSH2 0x04d7
000004d2: JUMPI
000004d3: PUSH1 0x00
000004d5: DUP1
000004d6: REVERT
000004d7: JUMPDEST
000004d8: POP
000004d9: PUSH2 0x04e0
000004dc: PUSH2 0x1367
000004df: JUMP
000004e0: JUMPDEST
000004e1: PUSH1 0x40
000004e3: MLOAD
000004e4: PUSH2 0x04ed
000004e7: SWAP2
000004e8: SWAP1
000004e9: PUSH2 0x31b1
000004ec: JUMP
000004ed: JUMPDEST
000004ee: PUSH1 0x40
000004f0: MLOAD
000004f1: DUP1
000004f2: SWAP2
000004f3: SUB
000004f4: SWAP1
000004f5: RETURN
000004f6: JUMPDEST
000004f7: CALLVALUE
000004f8: DUP1
000004f9: ISZERO
000004fa: PUSH2 0x0502
000004fd: JUMPI
000004fe: PUSH1 0x00
00000500: DUP1
00000501: REVERT
00000502: JUMPDEST
00000503: POP
00000504: PUSH2 0x050b
00000507: PUSH2 0x1375
0000050a: JUMP
0000050b: JUMPDEST
0000050c: PUSH1 0x40
0000050e: MLOAD
0000050f: PUSH2 0x0518
00000512: SWAP2
00000513: SWAP1
00000514: PUSH2 0x31b1
00000517: JUMP
00000518: JUMPDEST
00000519: PUSH1 0x40
0000051b: MLOAD
0000051c: DUP1
0000051d: SWAP2
0000051e: SUB
0000051f: SWAP1
00000520: RETURN
00000521: JUMPDEST
00000522: CALLVALUE
00000523: DUP1
00000524: ISZERO
00000525: PUSH2 0x052d
00000528: JUMPI
00000529: PUSH1 0x00
0000052b: DUP1
0000052c: REVERT
0000052d: JUMPDEST
0000052e: POP
0000052f: PUSH2 0x0536
00000532: PUSH2 0x137b
00000535: JUMP
00000536: JUMPDEST
00000537: PUSH1 0x40
00000539: MLOAD
0000053a: PUSH2 0x0543
0000053d: SWAP2
0000053e: SWAP1
0000053f: PUSH2 0x31b1
00000542: JUMP
00000543: JUMPDEST
00000544: PUSH1 0x40
00000546: MLOAD
00000547: DUP1
00000548: SWAP2
00000549: SUB
0000054a: SWAP1
0000054b: RETURN
0000054c: JUMPDEST
0000054d: CALLVALUE
0000054e: DUP1
0000054f: ISZERO
00000550: PUSH2 0x0558
00000553: JUMPI
00000554: PUSH1 0x00
00000556: DUP1
00000557: REVERT
00000558: JUMPDEST
00000559: POP
0000055a: PUSH2 0x0561
0000055d: PUSH2 0x172b
00000560: JUMP
00000561: JUMPDEST
00000562: PUSH1 0x40
00000564: MLOAD
00000565: PUSH2 0x056e
00000568: SWAP2
00000569: SWAP1
0000056a: PUSH2 0x3402
0000056d: JUMP
0000056e: JUMPDEST
0000056f: PUSH1 0x40
00000571: MLOAD
00000572: DUP1
00000573: SWAP2
00000574: SUB
00000575: SWAP1
00000576: RETURN
00000577: JUMPDEST
00000578: CALLVALUE
00000579: DUP1
0000057a: ISZERO
0000057b: PUSH2 0x0583
0000057e: JUMPI
0000057f: PUSH1 0x00
00000581: DUP1
00000582: REVERT
00000583: JUMPDEST
00000584: POP
00000585: PUSH2 0x059e
00000588: PUSH1 0x04
0000058a: DUP1
0000058b: CALLDATASIZE
0000058c: SUB
0000058d: DUP2
0000058e: ADD
0000058f: SWAP1
00000590: PUSH2 0x0599
00000593: SWAP2
00000594: SWAP1
00000595: PUSH2 0x323d
00000598: JUMP
00000599: JUMPDEST
0000059a: PUSH2 0x173e
0000059d: JUMP
0000059e: JUMPDEST
0000059f: PUSH1 0x40
000005a1: MLOAD
000005a2: PUSH2 0x05ab
000005a5: SWAP2
000005a6: SWAP1
000005a7: PUSH2 0x31b1
000005aa: JUMP
000005ab: JUMPDEST
000005ac: PUSH1 0x40
000005ae: MLOAD
000005af: DUP1
000005b0: SWAP2
000005b1: SUB
000005b2: SWAP1
000005b3: RETURN
000005b4: JUMPDEST
000005b5: CALLVALUE
000005b6: DUP1
000005b7: ISZERO
000005b8: PUSH2 0x05c0
000005bb: JUMPI
000005bc: PUSH1 0x00
000005be: DUP1
000005bf: REVERT
000005c0: JUMPDEST
000005c1: POP
000005c2: PUSH2 0x05c9
000005c5: PUSH2 0x178a
000005c8: JUMP
000005c9: JUMPDEST
000005ca: STOP
000005cb: JUMPDEST
000005cc: CALLVALUE
000005cd: DUP1
000005ce: ISZERO
000005cf: PUSH2 0x05d7
000005d2: JUMPI
000005d3: PUSH1 0x00
000005d5: DUP1
000005d6: REVERT
000005d7: JUMPDEST
000005d8: POP
000005d9: PUSH2 0x05e0
000005dc: PUSH2 0x179e
000005df: JUMP
000005e0: JUMPDEST
000005e1: STOP
000005e2: JUMPDEST
000005e3: CALLVALUE
000005e4: DUP1
000005e5: ISZERO
000005e6: PUSH2 0x05ee
000005e9: JUMPI
000005ea: PUSH1 0x00
000005ec: DUP1
000005ed: REVERT
000005ee: JUMPDEST
000005ef: POP
000005f0: PUSH2 0x05f7
000005f3: PUSH2 0x182d
000005f6: JUMP
000005f7: JUMPDEST
000005f8: PUSH1 0x40
000005fa: MLOAD
000005fb: PUSH2 0x0604
000005fe: SWAP2
000005ff: SWAP1
00000600: PUSH2 0x31b1
00000603: JUMP
00000604: JUMPDEST
00000605: PUSH1 0x40
00000607: MLOAD
00000608: DUP1
00000609: SWAP2
0000060a: SUB
0000060b: SWAP1
0000060c: RETURN
0000060d: JUMPDEST
0000060e: CALLVALUE
0000060f: DUP1
00000610: ISZERO
00000611: PUSH2 0x0619
00000614: JUMPI
00000615: PUSH1 0x00
00000617: DUP1
00000618: REVERT
00000619: JUMPDEST
0000061a: POP
0000061b: PUSH2 0x0634
0000061e: PUSH1 0x04
00000620: DUP1
00000621: CALLDATASIZE
00000622: SUB
00000623: DUP2
00000624: ADD
00000625: SWAP1
00000626: PUSH2 0x062f
00000629: SWAP2
0000062a: SWAP1
0000062b: PUSH2 0x31fd
0000062e: JUMP
0000062f: JUMPDEST
00000630: PUSH2 0x1833
00000633: JUMP
00000634: JUMPDEST
00000635: PUSH1 0x40
00000637: MLOAD
00000638: PUSH2 0x0642
0000063b: SWAP3
0000063c: SWAP2
0000063d: SWAP1
0000063e: PUSH2 0x341d
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 0x31fd
0000066c: JUMP
0000066d: JUMPDEST
0000066e: PUSH2 0x186e
00000671: JUMP
00000672: JUMPDEST
00000673: PUSH1 0x40
00000675: MLOAD
00000676: PUSH2 0x0680
00000679: SWAP3
0000067a: SWAP2
0000067b: SWAP1
0000067c: PUSH2 0x341d
0000067f: JUMP
00000680: JUMPDEST
00000681: PUSH1 0x40
00000683: MLOAD
00000684: DUP1
00000685: SWAP2
00000686: SUB
00000687: SWAP1
00000688: RETURN
00000689: JUMPDEST
0000068a: CALLVALUE
0000068b: DUP1
0000068c: ISZERO
0000068d: PUSH2 0x0695
00000690: JUMPI
00000691: PUSH1 0x00
00000693: DUP1
00000694: REVERT
00000695: JUMPDEST
00000696: POP
00000697: PUSH2 0x069e
0000069a: PUSH2 0x18a9
0000069d: JUMP
0000069e: JUMPDEST
0000069f: PUSH1 0x40
000006a1: MLOAD
000006a2: PUSH2 0x06ab
000006a5: SWAP2
000006a6: SWAP1
000006a7: PUSH2 0x31b1
000006aa: JUMP
000006ab: JUMPDEST
000006ac: PUSH1 0x40
000006ae: MLOAD
000006af: DUP1
000006b0: SWAP2
000006b1: SUB
000006b2: SWAP1
000006b3: RETURN
000006b4: JUMPDEST
000006b5: CALLVALUE
000006b6: DUP1
000006b7: ISZERO
000006b8: PUSH2 0x06c0
000006bb: JUMPI
000006bc: PUSH1 0x00
000006be: DUP1
000006bf: REVERT
000006c0: JUMPDEST
000006c1: POP
000006c2: PUSH2 0x06c9
000006c5: PUSH2 0x194a
000006c8: JUMP
000006c9: JUMPDEST
000006ca: PUSH1 0x40
000006cc: MLOAD
000006cd: PUSH2 0x06d6
000006d0: SWAP2
000006d1: SWAP1
000006d2: PUSH2 0x31b1
000006d5: JUMP
000006d6: JUMPDEST
000006d7: PUSH1 0x40
000006d9: MLOAD
000006da: DUP1
000006db: SWAP2
000006dc: SUB
000006dd: SWAP1
000006de: RETURN
000006df: JUMPDEST
000006e0: CALLVALUE
000006e1: DUP1
000006e2: ISZERO
000006e3: PUSH2 0x06eb
000006e6: JUMPI
000006e7: PUSH1 0x00
000006e9: DUP1
000006ea: REVERT
000006eb: JUMPDEST
000006ec: POP
000006ed: PUSH2 0x06f4
000006f0: PUSH2 0x1951
000006f3: JUMP
000006f4: JUMPDEST
000006f5: PUSH1 0x40
000006f7: MLOAD
000006f8: PUSH2 0x0701
000006fb: SWAP2
000006fc: SWAP1
000006fd: PUSH2 0x32e9
00000700: JUMP
00000701: JUMPDEST
00000702: PUSH1 0x40
00000704: MLOAD
00000705: DUP1
00000706: SWAP2
00000707: SUB
00000708: SWAP1
00000709: RETURN
0000070a: JUMPDEST
0000070b: CALLVALUE
0000070c: DUP1
0000070d: ISZERO
0000070e: PUSH2 0x0716
00000711: JUMPI
00000712: PUSH1 0x00
00000714: DUP1
00000715: REVERT
00000716: JUMPDEST
00000717: POP
00000718: PUSH2 0x071f
0000071b: PUSH2 0x1975
0000071e: JUMP
0000071f: JUMPDEST
00000720: STOP
00000721: JUMPDEST
00000722: CALLVALUE
00000723: DUP1
00000724: ISZERO
00000725: PUSH2 0x072d
00000728: JUMPI
00000729: PUSH1 0x00
0000072b: DUP1
0000072c: REVERT
0000072d: JUMPDEST
0000072e: POP
0000072f: PUSH2 0x0736
00000732: PUSH2 0x1b62
00000735: JUMP
00000736: JUMPDEST
00000737: PUSH1 0x40
00000739: MLOAD
0000073a: PUSH2 0x0743
0000073d: SWAP2
0000073e: SWAP1
0000073f: PUSH2 0x3455
00000742: JUMP
00000743: JUMPDEST
00000744: PUSH1 0x40
00000746: MLOAD
00000747: DUP1
00000748: SWAP2
00000749: SUB
0000074a: SWAP1
0000074b: RETURN
0000074c: JUMPDEST
0000074d: PUSH2 0x0766
00000750: PUSH1 0x04
00000752: DUP1
00000753: CALLDATASIZE
00000754: SUB
00000755: DUP2
00000756: ADD
00000757: SWAP1
00000758: PUSH2 0x0761
0000075b: SWAP2
0000075c: SWAP1
0000075d: PUSH2 0x323d
00000760: JUMP
00000761: JUMPDEST
00000762: PUSH2 0x1b8b
00000765: JUMP
00000766: JUMPDEST
00000767: STOP
00000768: JUMPDEST
00000769: CALLVALUE
0000076a: DUP1
0000076b: ISZERO
0000076c: PUSH2 0x0774
0000076f: JUMPI
00000770: PUSH1 0x00
00000772: DUP1
00000773: REVERT
00000774: JUMPDEST
00000775: POP
00000776: PUSH2 0x077d
00000779: PUSH2 0x1fc1
0000077c: JUMP
0000077d: JUMPDEST
0000077e: PUSH1 0x40
00000780: MLOAD
00000781: PUSH2 0x078a
00000784: SWAP2
00000785: SWAP1
00000786: PUSH2 0x31b1
00000789: JUMP
0000078a: JUMPDEST
0000078b: PUSH1 0x40
0000078d: MLOAD
0000078e: DUP1
0000078f: SWAP2
00000790: SUB
00000791: SWAP1
00000792: RETURN
00000793: JUMPDEST
00000794: CALLVALUE
00000795: DUP1
00000796: ISZERO
00000797: PUSH2 0x079f
0000079a: JUMPI
0000079b: PUSH1 0x00
0000079d: DUP1
0000079e: REVERT
0000079f: JUMPDEST
000007a0: POP
000007a1: PUSH2 0x07ba
000007a4: PUSH1 0x04
000007a6: DUP1
000007a7: CALLDATASIZE
000007a8: SUB
000007a9: DUP2
000007aa: ADD
000007ab: SWAP1
000007ac: PUSH2 0x07b5
000007af: SWAP2
000007b0: SWAP1
000007b1: PUSH2 0x323d
000007b4: JUMP
000007b5: JUMPDEST
000007b6: PUSH2 0x1fc8
000007b9: JUMP
000007ba: JUMPDEST
000007bb: PUSH1 0x40
000007bd: MLOAD
000007be: PUSH2 0x07c7
000007c1: SWAP2
000007c2: SWAP1
000007c3: PUSH2 0x31b1
000007c6: JUMP
000007c7: JUMPDEST
000007c8: PUSH1 0x40
000007ca: MLOAD
000007cb: DUP1
000007cc: SWAP2
000007cd: SUB
000007ce: SWAP1
000007cf: RETURN
000007d0: JUMPDEST
000007d1: CALLVALUE
000007d2: DUP1
000007d3: ISZERO
000007d4: PUSH2 0x07dc
000007d7: JUMPI
000007d8: PUSH1 0x00
000007da: DUP1
000007db: REVERT
000007dc: JUMPDEST
000007dd: POP
000007de: PUSH2 0x07f7
000007e1: PUSH1 0x04
000007e3: DUP1
000007e4: CALLDATASIZE
000007e5: SUB
000007e6: DUP2
000007e7: ADD
000007e8: SWAP1
000007e9: PUSH2 0x07f2
000007ec: SWAP2
000007ed: SWAP1
000007ee: PUSH2 0x323d
000007f1: JUMP
000007f2: JUMPDEST
000007f3: PUSH2 0x1ff4
000007f6: JUMP
000007f7: JUMPDEST
000007f8: PUSH1 0x40
000007fa: MLOAD
000007fb: PUSH2 0x0804
000007fe: SWAP2
000007ff: SWAP1
00000800: PUSH2 0x31b1
00000803: JUMP
00000804: JUMPDEST
00000805: PUSH1 0x40
00000807: MLOAD
00000808: DUP1
00000809: SWAP2
0000080a: SUB
0000080b: SWAP1
0000080c: RETURN
0000080d: JUMPDEST
0000080e: CALLVALUE
0000080f: DUP1
00000810: ISZERO
00000811: PUSH2 0x0819
00000814: JUMPI
00000815: PUSH1 0x00
00000817: DUP1
00000818: REVERT
00000819: JUMPDEST
0000081a: POP
0000081b: PUSH2 0x0834
0000081e: PUSH1 0x04
00000820: DUP1
00000821: CALLDATASIZE
00000822: SUB
00000823: DUP2
00000824: ADD
00000825: SWAP1
00000826: PUSH2 0x082f
00000829: SWAP2
0000082a: SWAP1
0000082b: PUSH2 0x31fd
0000082e: JUMP
0000082f: JUMPDEST
00000830: PUSH2 0x2036
00000833: JUMP
00000834: JUMPDEST
00000835: STOP
00000836: JUMPDEST
00000837: CALLVALUE
00000838: DUP1
00000839: ISZERO
0000083a: PUSH2 0x0842
0000083d: JUMPI
0000083e: PUSH1 0x00
00000840: DUP1
00000841: REVERT
00000842: JUMPDEST
00000843: POP
00000844: PUSH2 0x084b
00000847: PUSH2 0x2204
0000084a: JUMP
0000084b: JUMPDEST
0000084c: PUSH1 0x40
0000084e: MLOAD
0000084f: PUSH2 0x0858
00000852: SWAP2
00000853: SWAP1
00000854: PUSH2 0x31b1
00000857: JUMP
00000858: JUMPDEST
00000859: PUSH1 0x40
0000085b: MLOAD
0000085c: DUP1
0000085d: SWAP2
0000085e: SUB
0000085f: SWAP1
00000860: RETURN
00000861: JUMPDEST
00000862: CALLVALUE
00000863: DUP1
00000864: ISZERO
00000865: PUSH2 0x086d
00000868: JUMPI
00000869: PUSH1 0x00
0000086b: DUP1
0000086c: REVERT
0000086d: JUMPDEST
0000086e: POP
0000086f: PUSH2 0x0888
00000872: PUSH1 0x04
00000874: DUP1
00000875: CALLDATASIZE
00000876: SUB
00000877: DUP2
00000878: ADD
00000879: SWAP1
0000087a: PUSH2 0x0883
0000087d: SWAP2
0000087e: SWAP1
0000087f: PUSH2 0x323d
00000882: JUMP
00000883: JUMPDEST
00000884: PUSH2 0x220a
00000887: JUMP
00000888: JUMPDEST
00000889: PUSH1 0x40
0000088b: MLOAD
0000088c: PUSH2 0x0895
0000088f: SWAP2
00000890: SWAP1
00000891: PUSH2 0x31b1
00000894: JUMP
00000895: JUMPDEST
00000896: PUSH1 0x40
00000898: MLOAD
00000899: DUP1
0000089a: SWAP2
0000089b: SUB
0000089c: SWAP1
0000089d: RETURN
0000089e: JUMPDEST
0000089f: CALLVALUE
000008a0: DUP1
000008a1: ISZERO
000008a2: PUSH2 0x08aa
000008a5: JUMPI
000008a6: PUSH1 0x00
000008a8: DUP1
000008a9: REVERT
000008aa: JUMPDEST
000008ab: POP
000008ac: PUSH2 0x08b3
000008af: PUSH2 0x22da
000008b2: JUMP
000008b3: JUMPDEST
000008b4: PUSH1 0x40
000008b6: MLOAD
000008b7: PUSH2 0x08c0
000008ba: SWAP2
000008bb: SWAP1
000008bc: PUSH2 0x32e9
000008bf: JUMP
000008c0: JUMPDEST
000008c1: PUSH1 0x40
000008c3: MLOAD
000008c4: DUP1
000008c5: SWAP2
000008c6: SUB
000008c7: SWAP1
000008c8: RETURN
000008c9: JUMPDEST
000008ca: CALLVALUE
000008cb: DUP1
000008cc: ISZERO
000008cd: PUSH2 0x08d5
000008d0: JUMPI
000008d1: PUSH1 0x00
000008d3: DUP1
000008d4: REVERT
000008d5: JUMPDEST
000008d6: POP
000008d7: PUSH2 0x08f0
000008da: PUSH1 0x04
000008dc: DUP1
000008dd: CALLDATASIZE
000008de: SUB
000008df: DUP2
000008e0: ADD
000008e1: SWAP1
000008e2: PUSH2 0x08eb
000008e5: SWAP2
000008e6: SWAP1
000008e7: PUSH2 0x349c
000008ea: JUMP
000008eb: JUMPDEST
000008ec: PUSH2 0x22fe
000008ef: JUMP
000008f0: JUMPDEST
000008f1: STOP
000008f2: JUMPDEST
000008f3: CALLVALUE
000008f4: DUP1
000008f5: ISZERO
000008f6: PUSH2 0x08fe
000008f9: JUMPI
000008fa: PUSH1 0x00
000008fc: DUP1
000008fd: REVERT
000008fe: JUMPDEST
000008ff: POP
00000900: PUSH2 0x0907
00000903: PUSH2 0x2423
00000906: JUMP
00000907: JUMPDEST
00000908: PUSH1 0x40
0000090a: MLOAD
0000090b: PUSH2 0x0914
0000090e: SWAP2
0000090f: SWAP1
00000910: PUSH2 0x3455
00000913: JUMP
00000914: JUMPDEST
00000915: PUSH1 0x40
00000917: MLOAD
00000918: DUP1
00000919: SWAP2
0000091a: SUB
0000091b: SWAP1
0000091c: RETURN
0000091d: JUMPDEST
0000091e: CALLVALUE
0000091f: DUP1
00000920: ISZERO
00000921: PUSH2 0x0929
00000924: JUMPI
00000925: PUSH1 0x00
00000927: DUP1
00000928: REVERT
00000929: JUMPDEST
0000092a: POP
0000092b: PUSH2 0x0944
0000092e: PUSH1 0x04
00000930: DUP1
00000931: CALLDATASIZE
00000932: SUB
00000933: DUP2
00000934: ADD
00000935: SWAP1
00000936: PUSH2 0x093f
00000939: SWAP2
0000093a: SWAP1
0000093b: PUSH2 0x31fd
0000093e: JUMP
0000093f: JUMPDEST
00000940: PUSH2 0x244d
00000943: JUMP
00000944: JUMPDEST
00000945: STOP
00000946: JUMPDEST
00000947: CALLVALUE
00000948: DUP1
00000949: ISZERO
0000094a: PUSH2 0x0952
0000094d: JUMPI
0000094e: PUSH1 0x00
00000950: DUP1
00000951: REVERT
00000952: JUMPDEST
00000953: POP
00000954: PUSH2 0x096d
00000957: PUSH1 0x04
00000959: DUP1
0000095a: CALLDATASIZE
0000095b: SUB
0000095c: DUP2
0000095d: ADD
0000095e: SWAP1
0000095f: PUSH2 0x0968
00000962: SWAP2
00000963: SWAP1
00000964: PUSH2 0x337e
00000967: JUMP
00000968: JUMPDEST
00000969: PUSH2 0x278e
0000096c: JUMP
0000096d: JUMPDEST
0000096e: PUSH1 0x40
00000970: MLOAD
00000971: PUSH2 0x097a
00000974: SWAP2
00000975: SWAP1
00000976: PUSH2 0x31b1
00000979: JUMP
0000097a: JUMPDEST
0000097b: PUSH1 0x40
0000097d: MLOAD
0000097e: DUP1
0000097f: SWAP2
00000980: SUB
00000981: SWAP1
00000982: RETURN
00000983: JUMPDEST
00000984: CALLVALUE
00000985: DUP1
00000986: ISZERO
00000987: PUSH2 0x098f
0000098a: JUMPI
0000098b: PUSH1 0x00
0000098d: DUP1
0000098e: REVERT
0000098f: JUMPDEST
00000990: POP
00000991: PUSH2 0x0998
00000994: PUSH2 0x27a6
00000997: JUMP
00000998: JUMPDEST
00000999: PUSH1 0x40
0000099b: MLOAD
0000099c: PUSH2 0x09a5
0000099f: SWAP2
000009a0: SWAP1
000009a1: PUSH2 0x31b1
000009a4: JUMP
000009a5: JUMPDEST
000009a6: PUSH1 0x40
000009a8: MLOAD
000009a9: DUP1
000009aa: SWAP2
000009ab: SUB
000009ac: SWAP1
000009ad: RETURN
000009ae: JUMPDEST
000009af: CALLVALUE
000009b0: DUP1
000009b1: ISZERO
000009b2: PUSH2 0x09ba
000009b5: JUMPI
000009b6: PUSH1 0x00
000009b8: DUP1
000009b9: REVERT
000009ba: JUMPDEST
000009bb: POP
000009bc: PUSH2 0x09d5
000009bf: PUSH1 0x04
000009c1: DUP1
000009c2: CALLDATASIZE
000009c3: SUB
000009c4: DUP2
000009c5: ADD
000009c6: SWAP1
000009c7: PUSH2 0x09d0
000009ca: SWAP2
000009cb: SWAP1
000009cc: PUSH2 0x337e
000009cf: JUMP
000009d0: JUMPDEST
000009d1: PUSH2 0x27ac
000009d4: JUMP
000009d5: JUMPDEST
000009d6: STOP
000009d7: JUMPDEST
000009d8: CALLVALUE
000009d9: DUP1
000009da: ISZERO
000009db: PUSH2 0x09e3
000009de: JUMPI
000009df: PUSH1 0x00
000009e1: DUP1
000009e2: REVERT
000009e3: JUMPDEST
000009e4: POP
000009e5: PUSH2 0x09ec
000009e8: PUSH2 0x2859
000009eb: JUMP
000009ec: JUMPDEST
000009ed: PUSH1 0x40
000009ef: MLOAD
000009f0: PUSH2 0x09f9
000009f3: SWAP2
000009f4: SWAP1
000009f5: PUSH2 0x31b1
000009f8: JUMP
000009f9: JUMPDEST
000009fa: PUSH1 0x40
000009fc: MLOAD
000009fd: DUP1
000009fe: SWAP2
000009ff: SUB
00000a00: SWAP1
00000a01: RETURN
00000a02: JUMPDEST
00000a03: PUSH1 0x09
00000a05: SLOAD
00000a06: DUP2
00000a07: JUMP
00000a08: JUMPDEST
00000a09: PUSH2 0x0a10
00000a0c: PUSH2 0x2860
00000a0f: JUMP
00000a10: JUMPDEST
00000a11: PUSH1 0x07
00000a13: PUSH1 0x00
00000a15: SWAP1
00000a16: SLOAD
00000a17: SWAP1
00000a18: PUSH2 0x0100
00000a1b: EXP
00000a1c: SWAP1
00000a1d: DIV
00000a1e: PUSH1 0xff
00000a20: AND
00000a21: PUSH2 0x0a56
00000a24: JUMPI
00000a25: PUSH1 0x40
00000a27: MLOAD
00000a28: PUSH32 0xb7b2409700000000000000000000000000000000000000000000000000000000
00000a49: DUP2
00000a4a: MSTORE
00000a4b: PUSH1 0x04
00000a4d: ADD
00000a4e: PUSH1 0x40
00000a50: MLOAD
00000a51: DUP1
00000a52: SWAP2
00000a53: SUB
00000a54: SWAP1
00000a55: REVERT
00000a56: JUMPDEST
00000a57: PUSH1 0x05
00000a59: SLOAD
00000a5a: TIMESTAMP
00000a5b: LT
00000a5c: ISZERO
00000a5d: PUSH2 0x0a92
00000a60: JUMPI
00000a61: PUSH1 0x40
00000a63: MLOAD
00000a64: PUSH32 0x2d0a346e00000000000000000000000000000000000000000000000000000000
00000a85: DUP2
00000a86: MSTORE
00000a87: PUSH1 0x04
00000a89: ADD
00000a8a: PUSH1 0x40
00000a8c: MLOAD
00000a8d: DUP1
00000a8e: SWAP2
00000a8f: SUB
00000a90: SWAP1
00000a91: REVERT
00000a92: JUMPDEST
00000a93: PUSH1 0x06
00000a95: SLOAD
00000a96: TIMESTAMP
00000a97: LT
00000a98: PUSH2 0x0acd
00000a9b: JUMPI
00000a9c: PUSH1 0x40
00000a9e: MLOAD
00000a9f: PUSH32 0x0bd8a3eb00000000000000000000000000000000000000000000000000000000
00000ac0: DUP2
00000ac1: MSTORE
00000ac2: PUSH1 0x04
00000ac4: ADD
00000ac5: PUSH1 0x40
00000ac7: MLOAD
00000ac8: DUP1
00000ac9: SWAP2
00000aca: SUB
00000acb: SWAP1
00000acc: REVERT
00000acd: JUMPDEST
00000ace: PUSH1 0x00
00000ad0: PUSH32 0x00000000000000000000000024763f4d35db3a693612e290d02a250d4a960945
00000af1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b06: AND
00000b07: PUSH4 0x70a08231
00000b0c: ADDRESS
00000b0d: PUSH1 0x40
00000b0f: MLOAD
00000b10: DUP3
00000b11: PUSH4 0xffffffff
00000b16: AND
00000b17: PUSH1 0xe0
00000b19: SHL
00000b1a: DUP2
00000b1b: MSTORE
00000b1c: PUSH1 0x04
00000b1e: ADD
00000b1f: PUSH2 0x0b28
00000b22: SWAP2
00000b23: SWAP1
00000b24: PUSH2 0x3455
00000b27: JUMP
00000b28: JUMPDEST
00000b29: PUSH1 0x20
00000b2b: PUSH1 0x40
00000b2d: MLOAD
00000b2e: DUP1
00000b2f: DUP4
00000b30: SUB
00000b31: DUP2
00000b32: DUP7
00000b33: GAS
00000b34: STATICCALL
00000b35: ISZERO
00000b36: DUP1
00000b37: ISZERO
00000b38: PUSH2 0x0b45
00000b3b: JUMPI
00000b3c: RETURNDATASIZE
00000b3d: PUSH1 0x00
00000b3f: DUP1
00000b40: RETURNDATACOPY
00000b41: RETURNDATASIZE
00000b42: PUSH1 0x00
00000b44: REVERT
00000b45: JUMPDEST
00000b46: POP
00000b47: POP
00000b48: POP
00000b49: POP
00000b4a: PUSH1 0x40
00000b4c: MLOAD
00000b4d: RETURNDATASIZE
00000b4e: PUSH1 0x1f
00000b50: NOT
00000b51: PUSH1 0x1f
00000b53: DUP3
00000b54: ADD
00000b55: AND
00000b56: DUP3
00000b57: ADD
00000b58: DUP1
00000b59: PUSH1 0x40
00000b5b: MSTORE
00000b5c: POP
00000b5d: DUP2
00000b5e: ADD
00000b5f: SWAP1
00000b60: PUSH2 0x0b69
00000b63: SWAP2
00000b64: SWAP1
00000b65: PUSH2 0x34de
00000b68: JUMP
00000b69: JUMPDEST
00000b6a: SUB
00000b6b: PUSH2 0x0ba0
00000b6e: JUMPI
00000b6f: PUSH1 0x40
00000b71: MLOAD
00000b72: PUSH32 0x2d400a1b00000000000000000000000000000000000000000000000000000000
00000b93: DUP2
00000b94: MSTORE
00000b95: PUSH1 0x04
00000b97: ADD
00000b98: PUSH1 0x40
00000b9a: MLOAD
00000b9b: DUP1
00000b9c: SWAP2
00000b9d: SUB
00000b9e: SWAP1
00000b9f: REVERT
00000ba0: JUMPDEST
00000ba1: PUSH1 0x00
00000ba3: DUP3
00000ba4: SUB
00000ba5: PUSH2 0x0bda
00000ba8: JUMPI
00000ba9: PUSH1 0x40
00000bab: MLOAD
00000bac: PUSH32 0x2c5211c600000000000000000000000000000000000000000000000000000000
00000bcd: DUP2
00000bce: MSTORE
00000bcf: PUSH1 0x04
00000bd1: ADD
00000bd2: PUSH1 0x40
00000bd4: MLOAD
00000bd5: DUP1
00000bd6: SWAP2
00000bd7: SUB
00000bd8: SWAP1
00000bd9: REVERT
00000bda: JUMPDEST
00000bdb: PUSH1 0x00
00000bdd: DUP2
00000bde: SUB
00000bdf: PUSH2 0x0c14
00000be2: JUMPI
00000be3: PUSH1 0x40
00000be5: MLOAD
00000be6: PUSH32 0x2c5211c600000000000000000000000000000000000000000000000000000000
00000c07: DUP2
00000c08: MSTORE
00000c09: PUSH1 0x04
00000c0b: ADD
00000c0c: PUSH1 0x40
00000c0e: MLOAD
00000c0f: DUP1
00000c10: SWAP2
00000c11: SUB
00000c12: SWAP1
00000c13: REVERT
00000c14: JUMPDEST
00000c15: PUSH1 0x00
00000c17: PUSH2 0x0c1f
00000c1a: DUP4
00000c1b: PUSH2 0x0d49
00000c1e: JUMP
00000c1f: JUMPDEST
00000c20: SWAP1
00000c21: POP
00000c22: DUP2
00000c23: DUP2
00000c24: LT
00000c25: ISZERO
00000c26: PUSH2 0x0c5b
00000c29: JUMPI
00000c2a: PUSH1 0x40
00000c2c: MLOAD
00000c2d: PUSH32 0x850c6f7600000000000000000000000000000000000000000000000000000000
00000c4e: DUP2
00000c4f: MSTORE
00000c50: PUSH1 0x04
00000c52: ADD
00000c53: PUSH1 0x40
00000c55: MLOAD
00000c56: DUP1
00000c57: SWAP2
00000c58: SUB
00000c59: SWAP1
00000c5a: REVERT
00000c5b: JUMPDEST
00000c5c: PUSH2 0x0ca8
00000c5f: CALLER
00000c60: ADDRESS
00000c61: DUP6
00000c62: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000c83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c98: AND
00000c99: PUSH2 0x28a4
00000c9c: SWAP1
00000c9d: SWAP4
00000c9e: SWAP3
00000c9f: SWAP2
00000ca0: SWAP1
00000ca1: PUSH4 0xffffffff
00000ca6: AND
00000ca7: JUMP
00000ca8: JUMPDEST
00000ca9: PUSH2 0x0cb2
00000cac: CALLER
00000cad: DUP3
00000cae: PUSH2 0x2926
00000cb1: JUMP
00000cb2: JUMPDEST
00000cb3: DUP1
00000cb4: PUSH1 0x03
00000cb6: PUSH1 0x00
00000cb8: DUP3
00000cb9: DUP3
00000cba: SLOAD
00000cbb: PUSH2 0x0cc4
00000cbe: SWAP2
00000cbf: SWAP1
00000cc0: PUSH2 0x353a
00000cc3: JUMP
00000cc4: JUMPDEST
00000cc5: SWAP3
00000cc6: POP
00000cc7: POP
00000cc8: DUP2
00000cc9: SWAP1
00000cca: SSTORE
00000ccb: POP
00000ccc: DUP3
00000ccd: PUSH1 0x04
00000ccf: PUSH1 0x00
00000cd1: DUP3
00000cd2: DUP3
00000cd3: SLOAD
00000cd4: PUSH2 0x0cdd
00000cd7: SWAP2
00000cd8: SWAP1
00000cd9: PUSH2 0x353a
00000cdc: JUMP
00000cdd: JUMPDEST
00000cde: SWAP3
00000cdf: POP
00000ce0: POP
00000ce1: DUP2
00000ce2: SWAP1
00000ce3: SSTORE
00000ce4: POP
00000ce5: CALLER
00000ce6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cfb: AND
00000cfc: PUSH32 0xe8e3aa9086f33aa1d89447fc3a792fafabd987374e660b040e31787d68b5fe06
00000d1d: DUP3
00000d1e: DUP6
00000d1f: PUSH1 0x40
00000d21: MLOAD
00000d22: PUSH2 0x0d2c
00000d25: SWAP3
00000d26: SWAP2
00000d27: SWAP1
00000d28: PUSH2 0x35cb
00000d2b: JUMP
00000d2c: JUMPDEST
00000d2d: PUSH1 0x40
00000d2f: MLOAD
00000d30: DUP1
00000d31: SWAP2
00000d32: SUB
00000d33: SWAP1
00000d34: LOG2
00000d35: PUSH2 0x0d3c
00000d38: PUSH2 0x2d1f
00000d3b: JUMP
00000d3c: JUMPDEST
00000d3d: POP
00000d3e: PUSH2 0x0d45
00000d41: PUSH2 0x2ee9
00000d44: JUMP
00000d45: JUMPDEST
00000d46: POP
00000d47: POP
00000d48: JUMP
00000d49: JUMPDEST
00000d4a: PUSH1 0x00
00000d4c: PUSH2 0x0d55
00000d4f: PUSH1 0x00
00000d51: PUSH2 0x220a
00000d54: JUMP
00000d55: JUMPDEST
00000d56: PUSH8 0x0de0b6b3a7640000
00000d5f: DUP4
00000d60: PUSH2 0x0d69
00000d63: SWAP2
00000d64: SWAP1
00000d65: PUSH2 0x3607
00000d68: JUMP
00000d69: JUMPDEST
00000d6a: PUSH2 0x0d73
00000d6d: SWAP2
00000d6e: SWAP1
00000d6f: PUSH2 0x3678
00000d72: JUMP
00000d73: JUMPDEST
00000d74: SWAP1
00000d75: POP
00000d76: SWAP2
00000d77: SWAP1
00000d78: POP
00000d79: JUMP
00000d7a: JUMPDEST
00000d7b: PUSH32 0x00000000000000000000000024763f4d35db3a693612e290d02a250d4a960945
00000d9c: DUP2
00000d9d: JUMP
00000d9e: JUMPDEST
00000d9f: PUSH1 0x05
00000da1: SLOAD
00000da2: DUP2
00000da3: JUMP
00000da4: JUMPDEST
00000da5: PUSH2 0x0dac
00000da8: PUSH2 0x2ef3
00000dab: JUMP
00000dac: JUMPDEST
00000dad: PUSH1 0x00
00000daf: SELFBALANCE
00000db0: SWAP1
00000db1: POP
00000db2: PUSH1 0x00
00000db4: DUP2
00000db5: GT
00000db6: ISZERO
00000db7: PUSH2 0x0ebb
00000dba: JUMPI
00000dbb: PUSH1 0x00
00000dbd: PUSH2 0x0dc4
00000dc0: PUSH2 0x1b62
00000dc3: JUMP
00000dc4: JUMPDEST
00000dc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dda: AND
00000ddb: DUP3
00000ddc: PUSH1 0x40
00000dde: MLOAD
00000ddf: PUSH2 0x0de7
00000de2: SWAP1
00000de3: PUSH2 0x36da
00000de6: JUMP
00000de7: JUMPDEST
00000de8: PUSH1 0x00
00000dea: PUSH1 0x40
00000dec: MLOAD
00000ded: DUP1
00000dee: DUP4
00000def: SUB
00000df0: DUP2
00000df1: DUP6
00000df2: DUP8
00000df3: GAS
00000df4: CALL
00000df5: SWAP3
00000df6: POP
00000df7: POP
00000df8: POP
00000df9: RETURNDATASIZE
00000dfa: DUP1
00000dfb: PUSH1 0x00
00000dfd: DUP2
00000dfe: EQ
00000dff: PUSH2 0x0e24
00000e02: JUMPI
00000e03: PUSH1 0x40
00000e05: MLOAD
00000e06: SWAP2
00000e07: POP
00000e08: PUSH1 0x1f
00000e0a: NOT
00000e0b: PUSH1 0x3f
00000e0d: RETURNDATASIZE
00000e0e: ADD
00000e0f: AND
00000e10: DUP3
00000e11: ADD
00000e12: PUSH1 0x40
00000e14: MSTORE
00000e15: RETURNDATASIZE
00000e16: DUP3
00000e17: MSTORE
00000e18: RETURNDATASIZE
00000e19: PUSH1 0x00
00000e1b: PUSH1 0x20
00000e1d: DUP5
00000e1e: ADD
00000e1f: RETURNDATACOPY
00000e20: PUSH2 0x0e29
00000e23: JUMP
00000e24: JUMPDEST
00000e25: PUSH1 0x60
00000e27: SWAP2
00000e28: POP
00000e29: JUMPDEST
00000e2a: POP
00000e2b: POP
00000e2c: SWAP1
00000e2d: POP
00000e2e: DUP1
00000e2f: PUSH2 0x0e64
00000e32: JUMPI
00000e33: PUSH1 0x40
00000e35: MLOAD
00000e36: PUSH32 0x3c5a808400000000000000000000000000000000000000000000000000000000
00000e57: DUP2
00000e58: MSTORE
00000e59: PUSH1 0x04
00000e5b: ADD
00000e5c: PUSH1 0x40
00000e5e: MLOAD
00000e5f: DUP1
00000e60: SWAP2
00000e61: SUB
00000e62: SWAP1
00000e63: REVERT
00000e64: JUMPDEST
00000e65: PUSH2 0x0e6c
00000e68: PUSH2 0x1b62
00000e6b: JUMP
00000e6c: JUMPDEST
00000e6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e82: AND
00000e83: PUSH32 0xd30b68ba794ba733ec10c7ddce3e044482efdaa4c2e6b3d233800535afe5139b
00000ea4: DUP4
00000ea5: PUSH1 0x40
00000ea7: MLOAD
00000ea8: PUSH2 0x0eb1
00000eab: SWAP2
00000eac: SWAP1
00000ead: PUSH2 0x373b
00000eb0: JUMP
00000eb1: JUMPDEST
00000eb2: PUSH1 0x40
00000eb4: MLOAD
00000eb5: DUP1
00000eb6: SWAP2
00000eb7: SUB
00000eb8: SWAP1
00000eb9: LOG2
00000eba: POP
00000ebb: JUMPDEST
00000ebc: PUSH1 0x00
00000ebe: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7
00000edf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef4: AND
00000ef5: PUSH4 0x70a08231
00000efa: ADDRESS
00000efb: PUSH1 0x40
00000efd: MLOAD
00000efe: DUP3
00000eff: PUSH4 0xffffffff
00000f04: AND
00000f05: PUSH1 0xe0
00000f07: SHL
00000f08: DUP2
00000f09: MSTORE
00000f0a: PUSH1 0x04
00000f0c: ADD
00000f0d: PUSH2 0x0f16
00000f10: SWAP2
00000f11: SWAP1
00000f12: PUSH2 0x3455
00000f15: JUMP
00000f16: JUMPDEST
00000f17: PUSH1 0x20
00000f19: PUSH1 0x40
00000f1b: MLOAD
00000f1c: DUP1
00000f1d: DUP4
00000f1e: SUB
00000f1f: DUP2
00000f20: DUP7
00000f21: GAS
00000f22: STATICCALL
00000f23: ISZERO
00000f24: DUP1
00000f25: ISZERO
00000f26: PUSH2 0x0f33
00000f29: JUMPI
00000f2a: RETURNDATASIZE
00000f2b: PUSH1 0x00
00000f2d: DUP1
00000f2e: RETURNDATACOPY
00000f2f: RETURNDATASIZE
00000f30: PUSH1 0x00
00000f32: REVERT
00000f33: JUMPDEST
00000f34: POP
00000f35: POP
00000f36: POP
00000f37: POP
00000f38: PUSH1 0x40
00000f3a: MLOAD
00000f3b: RETURNDATASIZE
00000f3c: PUSH1 0x1f
00000f3e: NOT
00000f3f: PUSH1 0x1f
00000f41: DUP3
00000f42: ADD
00000f43: AND
00000f44: DUP3
00000f45: ADD
00000f46: DUP1
00000f47: PUSH1 0x40
00000f49: MSTORE
00000f4a: POP
00000f4b: DUP2
00000f4c: ADD
00000f4d: SWAP1
00000f4e: PUSH2 0x0f57
00000f51: SWAP2
00000f52: SWAP1
00000f53: PUSH2 0x34de
00000f56: JUMP
00000f57: JUMPDEST
00000f58: SWAP1
00000f59: POP
00000f5a: PUSH1 0x00
00000f5c: DUP2
00000f5d: GT
00000f5e: ISZERO
00000f5f: PUSH2 0x100a
00000f62: JUMPI
00000f63: PUSH2 0x0fb4
00000f66: PUSH2 0x0f6d
00000f69: PUSH2 0x1b62
00000f6c: JUMP
00000f6d: JUMPDEST
00000f6e: DUP3
00000f6f: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7
00000f90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fa5: AND
00000fa6: PUSH2 0x2f7a
00000fa9: SWAP1
00000faa: SWAP3
00000fab: SWAP2
00000fac: SWAP1
00000fad: PUSH4 0xffffffff
00000fb2: AND
00000fb3: JUMP
00000fb4: JUMPDEST
00000fb5: PUSH2 0x0fbc
00000fb8: PUSH2 0x1b62
00000fbb: JUMP
00000fbc: JUMPDEST
00000fbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fd2: AND
00000fd3: PUSH32 0xd30b68ba794ba733ec10c7ddce3e044482efdaa4c2e6b3d233800535afe5139b
00000ff4: DUP3
00000ff5: PUSH1 0x40
00000ff7: MLOAD
00000ff8: PUSH2 0x1001
00000ffb: SWAP2
00000ffc: SWAP1
00000ffd: PUSH2 0x37b5
00001000: JUMP
00001001: JUMPDEST
00001002: PUSH1 0x40
00001004: MLOAD
00001005: DUP1
00001006: SWAP2
00001007: SUB
00001008: SWAP1
00001009: LOG2
0000100a: JUMPDEST
0000100b: PUSH1 0x00
0000100d: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000102e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001043: AND
00001044: PUSH4 0x70a08231
00001049: ADDRESS
0000104a: PUSH1 0x40
0000104c: MLOAD
0000104d: DUP3
0000104e: PUSH4 0xffffffff
00001053: AND
00001054: PUSH1 0xe0
00001056: SHL
00001057: DUP2
00001058: MSTORE
00001059: PUSH1 0x04
0000105b: ADD
0000105c: PUSH2 0x1065
0000105f: SWAP2
00001060: SWAP1
00001061: PUSH2 0x3455
00001064: JUMP
00001065: JUMPDEST
00001066: PUSH1 0x20
00001068: PUSH1 0x40
0000106a: MLOAD
0000106b: DUP1
0000106c: DUP4
0000106d: SUB
0000106e: DUP2
0000106f: DUP7
00001070: GAS
00001071: STATICCALL
00001072: ISZERO
00001073: DUP1
00001074: ISZERO
00001075: PUSH2 0x1082
00001078: JUMPI
00001079: RETURNDATASIZE
0000107a: PUSH1 0x00
0000107c: DUP1
0000107d: RETURNDATACOPY
0000107e: RETURNDATASIZE
0000107f: PUSH1 0x00
00001081: REVERT
00001082: JUMPDEST
00001083: POP
00001084: POP
00001085: POP
00001086: POP
00001087: PUSH1 0x40
00001089: MLOAD
0000108a: RETURNDATASIZE
0000108b: PUSH1 0x1f
0000108d: NOT
0000108e: PUSH1 0x1f
00001090: DUP3
00001091: ADD
00001092: AND
00001093: DUP3
00001094: ADD
00001095: DUP1
00001096: PUSH1 0x40
00001098: MSTORE
00001099: POP
0000109a: DUP2
0000109b: ADD
0000109c: SWAP1
0000109d: PUSH2 0x10a6
000010a0: SWAP2
000010a1: SWAP1
000010a2: PUSH2 0x34de
000010a5: JUMP
000010a6: JUMPDEST
000010a7: SWAP1
000010a8: POP
000010a9: PUSH1 0x00
000010ab: DUP2
000010ac: GT
000010ad: ISZERO
000010ae: PUSH2 0x1159
000010b1: JUMPI
000010b2: PUSH2 0x1103
000010b5: PUSH2 0x10bc
000010b8: PUSH2 0x1b62
000010bb: JUMP
000010bc: JUMPDEST
000010bd: DUP3
000010be: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
000010df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010f4: AND
000010f5: PUSH2 0x2f7a
000010f8: SWAP1
000010f9: SWAP3
000010fa: SWAP2
000010fb: SWAP1
000010fc: PUSH4 0xffffffff
00001101: AND
00001102: JUMP
00001103: JUMPDEST
00001104: PUSH2 0x110b
00001107: PUSH2 0x1b62
0000110a: JUMP
0000110b: JUMPDEST
0000110c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001121: AND
00001122: PUSH32 0xd30b68ba794ba733ec10c7ddce3e044482efdaa4c2e6b3d233800535afe5139b
00001143: DUP3
00001144: PUSH1 0x40
00001146: MLOAD
00001147: PUSH2 0x1150
0000114a: SWAP2
0000114b: SWAP1
0000114c: PUSH2 0x37e3
0000114f: JUMP
00001150: JUMPDEST
00001151: PUSH1 0x40
00001153: MLOAD
00001154: DUP1
00001155: SWAP2
00001156: SUB
00001157: SWAP1
00001158: LOG2
00001159: JUMPDEST
0000115a: POP
0000115b: POP
0000115c: POP
0000115d: JUMP
0000115e: JUMPDEST
0000115f: PUSH32 0x0000000000000000000000005f4ec3df9cbd43714fe2740f5e3616155c5b8419
00001180: DUP2
00001181: JUMP
00001182: JUMPDEST
00001183: PUSH1 0x00
00001185: PUSH8 0x0de0b6b3a7640000
0000118e: PUSH1 0x03
00001190: SLOAD
00001191: PUSH32 0x00000000000000000000000024763f4d35db3a693612e290d02a250d4a960945
000011b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011c7: AND
000011c8: PUSH4 0x70a08231
000011cd: ADDRESS
000011ce: PUSH1 0x40
000011d0: MLOAD
000011d1: DUP3
000011d2: PUSH4 0xffffffff
000011d7: AND
000011d8: PUSH1 0xe0
000011da: SHL
000011db: DUP2
000011dc: MSTORE
000011dd: PUSH1 0x04
000011df: ADD
000011e0: PUSH2 0x11e9
000011e3: SWAP2
000011e4: SWAP1
000011e5: PUSH2 0x3455
000011e8: JUMP
000011e9: JUMPDEST
000011ea: PUSH1 0x20
000011ec: PUSH1 0x40
000011ee: MLOAD
000011ef: DUP1
000011f0: DUP4
000011f1: SUB
000011f2: DUP2
000011f3: DUP7
000011f4: GAS
000011f5: STATICCALL
000011f6: ISZERO
000011f7: DUP1
000011f8: ISZERO
000011f9: PUSH2 0x1206
000011fc: JUMPI
000011fd: RETURNDATASIZE
000011fe: PUSH1 0x00
00001200: DUP1
00001201: RETURNDATACOPY
00001202: RETURNDATASIZE
00001203: PUSH1 0x00
00001205: REVERT
00001206: JUMPDEST
00001207: POP
00001208: POP
00001209: POP
0000120a: POP
0000120b: PUSH1 0x40
0000120d: MLOAD
0000120e: RETURNDATASIZE
0000120f: PUSH1 0x1f
00001211: NOT
00001212: PUSH1 0x1f
00001214: DUP3
00001215: ADD
00001216: AND
00001217: DUP3
00001218: ADD
00001219: DUP1
0000121a: PUSH1 0x40
0000121c: MSTORE
0000121d: POP
0000121e: DUP2
0000121f: ADD
00001220: SWAP1
00001221: PUSH2 0x122a
00001224: SWAP2
00001225: SWAP1
00001226: PUSH2 0x34de
00001229: JUMP
0000122a: JUMPDEST
0000122b: PUSH2 0x1234
0000122e: SWAP2
0000122f: SWAP1
00001230: PUSH2 0x353a
00001233: JUMP
00001234: JUMPDEST
00001235: PUSH2 0x123e
00001238: SWAP2
00001239: SWAP1
0000123a: PUSH2 0x3678
0000123d: JUMP
0000123e: JUMPDEST
0000123f: SWAP1
00001240: POP
00001241: SWAP1
00001242: JUMP
00001243: JUMPDEST
00001244: PUSH1 0x08
00001246: PUSH1 0x20
00001248: MSTORE
00001249: DUP1
0000124a: PUSH1 0x00
0000124c: MSTORE
0000124d: PUSH1 0x40
0000124f: PUSH1 0x00
00001251: KECCAK256
00001252: PUSH1 0x00
00001254: SWAP2
00001255: POP
00001256: SWAP1
00001257: POP
00001258: SLOAD
00001259: DUP2
0000125a: JUMP
0000125b: JUMPDEST
0000125c: PUSH1 0x04
0000125e: SLOAD
0000125f: DUP2
00001260: JUMP
00001261: JUMPDEST
00001262: PUSH2 0x1269
00001265: PUSH2 0x2ef3
00001268: JUMP
00001269: JUMPDEST
0000126a: PUSH1 0x05
0000126c: SLOAD
0000126d: TIMESTAMP
0000126e: LT
0000126f: ISZERO
00001270: PUSH2 0x12a5
00001273: JUMPI
00001274: PUSH1 0x40
00001276: MLOAD
00001277: PUSH32 0xf1bc5d3700000000000000000000000000000000000000000000000000000000
00001298: DUP2
00001299: MSTORE
0000129a: PUSH1 0x04
0000129c: ADD
0000129d: PUSH1 0x40
0000129f: MLOAD
000012a0: DUP1
000012a1: SWAP2
000012a2: SUB
000012a3: SWAP1
000012a4: REVERT
000012a5: JUMPDEST
000012a6: PUSH1 0x00
000012a8: PUSH1 0x07
000012aa: PUSH1 0x00
000012ac: PUSH2 0x0100
000012af: EXP
000012b0: DUP2
000012b1: SLOAD
000012b2: DUP2
000012b3: PUSH1 0xff
000012b5: MUL
000012b6: NOT
000012b7: AND
000012b8: SWAP1
000012b9: DUP4
000012ba: ISZERO
000012bb: ISZERO
000012bc: MUL
000012bd: OR
000012be: SWAP1
000012bf: SSTORE
000012c0: POP
000012c1: PUSH32 0xc75413bb803e9f5f8572b10a8262838386a1bc5db1743ff399db4f5c32f4691e
000012e2: PUSH1 0x00
000012e4: PUSH1 0x40
000012e6: MLOAD
000012e7: PUSH2 0x12f0
000012ea: SWAP2
000012eb: SWAP1
000012ec: PUSH2 0x3402
000012ef: JUMP
000012f0: JUMPDEST
000012f1: PUSH1 0x40
000012f3: MLOAD
000012f4: DUP1
000012f5: SWAP2
000012f6: SUB
000012f7: SWAP1
000012f8: LOG1
000012f9: PUSH32 0xfdf3d54325455610d7cdbcff32d70b1eb1243fa1a9be6b95f817b1b8b2b2a65d
0000131a: PUSH1 0x40
0000131c: MLOAD
0000131d: PUSH2 0x1325
00001320: SWAP1
00001321: PUSH2 0x385d
00001324: JUMP
00001325: JUMPDEST
00001326: PUSH1 0x40
00001328: MLOAD
00001329: DUP1
0000132a: SWAP2
0000132b: SUB
0000132c: SWAP1
0000132d: LOG1
0000132e: JUMP
0000132f: JUMPDEST
00001330: PUSH9 0x056bc75e2d63100000
0000133a: DUP2
0000133b: JUMP
0000133c: JUMPDEST
0000133d: PUSH3 0x03a980
00001341: DUP2
00001342: JUMP
00001343: JUMPDEST
00001344: PUSH32 0x00000000000000000000000079db02c8e89559b26ae96c6fd4eba040c72869c0
00001365: DUP2
00001366: JUMP
00001367: JUMPDEST
00001368: PUSH10 0xd3c21bcecceda1000000
00001373: DUP2
00001374: JUMP
00001375: JUMPDEST
00001376: PUSH1 0x03
00001378: SLOAD
00001379: DUP2
0000137a: JUMP
0000137b: JUMPDEST
0000137c: PUSH1 0x00
0000137e: DUP1
0000137f: PUSH1 0x00
00001381: DUP1
00001382: PUSH1 0x00
00001384: PUSH32 0x0000000000000000000000005f4ec3df9cbd43714fe2740f5e3616155c5b8419
000013a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013ba: AND
000013bb: PUSH4 0xfeaf968c
000013c0: PUSH1 0x40
000013c2: MLOAD
000013c3: DUP2
000013c4: PUSH4 0xffffffff
000013c9: AND
000013ca: PUSH1 0xe0
000013cc: SHL
000013cd: DUP2
000013ce: MSTORE
000013cf: PUSH1 0x04
000013d1: ADD
000013d2: PUSH1 0xa0
000013d4: PUSH1 0x40
000013d6: MLOAD
000013d7: DUP1
000013d8: DUP4
000013d9: SUB
000013da: DUP2
000013db: DUP7
000013dc: GAS
000013dd: STATICCALL
000013de: ISZERO
000013df: DUP1
000013e0: ISZERO
000013e1: PUSH2 0x13ee
000013e4: JUMPI
000013e5: RETURNDATASIZE
000013e6: PUSH1 0x00
000013e8: DUP1
000013e9: RETURNDATACOPY
000013ea: RETURNDATASIZE
000013eb: PUSH1 0x00
000013ed: REVERT
000013ee: JUMPDEST
000013ef: POP
000013f0: POP
000013f1: POP
000013f2: POP
000013f3: PUSH1 0x40
000013f5: MLOAD
000013f6: RETURNDATASIZE
000013f7: PUSH1 0x1f
000013f9: NOT
000013fa: PUSH1 0x1f
000013fc: DUP3
000013fd: ADD
000013fe: AND
000013ff: DUP3
00001400: ADD
00001401: DUP1
00001402: PUSH1 0x40
00001404: MSTORE
00001405: POP
00001406: DUP2
00001407: ADD
00001408: SWAP1
00001409: PUSH2 0x1412
0000140c: SWAP2
0000140d: SWAP1
0000140e: PUSH2 0x38f5
00001411: JUMP
00001412: JUMPDEST
00001413: SWAP5
00001414: POP
00001415: SWAP5
00001416: POP
00001417: POP
00001418: SWAP4
00001419: POP
0000141a: SWAP4
0000141b: POP
0000141c: PUSH3 0xaa36a7
00001420: CHAINID
00001421: SUB
00001422: PUSH2 0x151c
00001425: JUMPI
00001426: PUSH1 0x00
00001428: DUP4
00001429: SGT
0000142a: PUSH2 0x145f
0000142d: JUMPI
0000142e: PUSH1 0x40
00001430: MLOAD
00001431: PUSH32 0xb49a5d3a00000000000000000000000000000000000000000000000000000000
00001452: DUP2
00001453: MSTORE
00001454: PUSH1 0x04
00001456: ADD
00001457: PUSH1 0x40
00001459: MLOAD
0000145a: DUP1
0000145b: SWAP2
0000145c: SUB
0000145d: SWAP1
0000145e: REVERT
0000145f: JUMPDEST
00001460: PUSH32 0x0000000000000000000000005f4ec3df9cbd43714fe2740f5e3616155c5b8419
00001481: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001496: AND
00001497: PUSH4 0x313ce567
0000149c: PUSH1 0x40
0000149e: MLOAD
0000149f: DUP2
000014a0: PUSH4 0xffffffff
000014a5: AND
000014a6: PUSH1 0xe0
000014a8: SHL
000014a9: DUP2
000014aa: MSTORE
000014ab: PUSH1 0x04
000014ad: ADD
000014ae: PUSH1 0x20
000014b0: PUSH1 0x40
000014b2: MLOAD
000014b3: DUP1
000014b4: DUP4
000014b5: SUB
000014b6: DUP2
000014b7: DUP7
000014b8: GAS
000014b9: STATICCALL
000014ba: ISZERO
000014bb: DUP1
000014bc: ISZERO
000014bd: PUSH2 0x14ca
000014c0: JUMPI
000014c1: RETURNDATASIZE
000014c2: PUSH1 0x00
000014c4: DUP1
000014c5: RETURNDATACOPY
000014c6: RETURNDATASIZE
000014c7: PUSH1 0x00
000014c9: REVERT
000014ca: JUMPDEST
000014cb: POP
000014cc: POP
000014cd: POP
000014ce: POP
000014cf: PUSH1 0x40
000014d1: MLOAD
000014d2: RETURNDATASIZE
000014d3: PUSH1 0x1f
000014d5: NOT
000014d6: PUSH1 0x1f
000014d8: DUP3
000014d9: ADD
000014da: AND
000014db: DUP3
000014dc: ADD
000014dd: DUP1
000014de: PUSH1 0x40
000014e0: MSTORE
000014e1: POP
000014e2: DUP2
000014e3: ADD
000014e4: SWAP1
000014e5: PUSH2 0x14ee
000014e8: SWAP2
000014e9: SWAP1
000014ea: PUSH2 0x39a9
000014ed: JUMP
000014ee: JUMPDEST
000014ef: PUSH1 0x12
000014f1: PUSH2 0x14fa
000014f4: SWAP2
000014f5: SWAP1
000014f6: PUSH2 0x39d6
000014f9: JUMP
000014fa: JUMPDEST
000014fb: PUSH1 0x0a
000014fd: PUSH2 0x1506
00001500: SWAP2
00001501: SWAP1
00001502: PUSH2 0x3b3e
00001505: JUMP
00001506: JUMPDEST
00001507: DUP4
00001508: PUSH2 0x1511
0000150b: SWAP2
0000150c: SWAP1
0000150d: PUSH2 0x3607
00001510: JUMP
00001511: JUMPDEST
00001512: SWAP5
00001513: POP
00001514: POP
00001515: POP
00001516: POP
00001517: POP
00001518: PUSH2 0x1728
0000151b: JUMP
0000151c: JUMPDEST
0000151d: PUSH1 0x00
0000151f: DUP4
00001520: SGT
00001521: PUSH2 0x1556
00001524: JUMPI
00001525: PUSH1 0x40
00001527: MLOAD
00001528: PUSH32 0xb49a5d3a00000000000000000000000000000000000000000000000000000000
00001549: DUP2
0000154a: MSTORE
0000154b: PUSH1 0x04
0000154d: ADD
0000154e: PUSH1 0x40
00001550: MLOAD
00001551: DUP1
00001552: SWAP2
00001553: SUB
00001554: SWAP1
00001555: REVERT
00001556: JUMPDEST
00001557: PUSH1 0x00
00001559: DUP5
0000155a: PUSH10 0xffffffffffffffffffff
00001565: AND
00001566: SUB
00001567: PUSH2 0x159c
0000156a: JUMPI
0000156b: PUSH1 0x40
0000156d: MLOAD
0000156e: PUSH32 0xb49a5d3a00000000000000000000000000000000000000000000000000000000
0000158f: DUP2
00001590: MSTORE
00001591: PUSH1 0x04
00001593: ADD
00001594: PUSH1 0x40
00001596: MLOAD
00001597: DUP1
00001598: SWAP2
00001599: SUB
0000159a: SWAP1
0000159b: REVERT
0000159c: JUMPDEST
0000159d: DUP4
0000159e: PUSH10 0xffffffffffffffffffff
000015a9: AND
000015aa: DUP2
000015ab: PUSH10 0xffffffffffffffffffff
000015b6: AND
000015b7: LT
000015b8: ISZERO
000015b9: PUSH2 0x15ee
000015bc: JUMPI
000015bd: PUSH1 0x40
000015bf: MLOAD
000015c0: PUSH32 0xb49a5d3a00000000000000000000000000000000000000000000000000000000
000015e1: DUP2
000015e2: MSTORE
000015e3: PUSH1 0x04
000015e5: ADD
000015e6: PUSH1 0x40
000015e8: MLOAD
000015e9: DUP1
000015ea: SWAP2
000015eb: SUB
000015ec: SWAP1
000015ed: REVERT
000015ee: JUMPDEST
000015ef: PUSH1 0x00
000015f1: DUP3
000015f2: SUB
000015f3: PUSH2 0x1628
000015f6: JUMPI
000015f7: PUSH1 0x40
000015f9: MLOAD
000015fa: PUSH32 0xb49a5d3a00000000000000000000000000000000000000000000000000000000
0000161b: DUP2
0000161c: MSTORE
0000161d: PUSH1 0x04
0000161f: ADD
00001620: PUSH1 0x40
00001622: MLOAD
00001623: DUP1
00001624: SWAP2
00001625: SUB
00001626: SWAP1
00001627: REVERT
00001628: JUMPDEST
00001629: PUSH2 0x0e10
0000162c: DUP3
0000162d: TIMESTAMP
0000162e: PUSH2 0x1637
00001631: SWAP2
00001632: SWAP1
00001633: PUSH2 0x3b89
00001636: JUMP
00001637: JUMPDEST
00001638: GT
00001639: ISZERO
0000163a: PUSH2 0x166f
0000163d: JUMPI
0000163e: PUSH1 0x40
00001640: MLOAD
00001641: PUSH32 0xb49a5d3a00000000000000000000000000000000000000000000000000000000
00001662: DUP2
00001663: MSTORE
00001664: PUSH1 0x04
00001666: ADD
00001667: PUSH1 0x40
00001669: MLOAD
0000166a: DUP1
0000166b: SWAP2
0000166c: SUB
0000166d: SWAP1
0000166e: REVERT
0000166f: JUMPDEST
00001670: PUSH32 0x0000000000000000000000005f4ec3df9cbd43714fe2740f5e3616155c5b8419
00001691: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016a6: AND
000016a7: PUSH4 0x313ce567
000016ac: PUSH1 0x40
000016ae: MLOAD
000016af: DUP2
000016b0: PUSH4 0xffffffff
000016b5: AND
000016b6: PUSH1 0xe0
000016b8: SHL
000016b9: DUP2
000016ba: MSTORE
000016bb: PUSH1 0x04
000016bd: ADD
000016be: PUSH1 0x20
000016c0: PUSH1 0x40
000016c2: MLOAD
000016c3: DUP1
000016c4: DUP4
000016c5: SUB
000016c6: DUP2
000016c7: DUP7
000016c8: GAS
000016c9: STATICCALL
000016ca: ISZERO
000016cb: DUP1
000016cc: ISZERO
000016cd: PUSH2 0x16da
000016d0: JUMPI
000016d1: RETURNDATASIZE
000016d2: PUSH1 0x00
000016d4: DUP1
000016d5: RETURNDATACOPY
000016d6: RETURNDATASIZE
000016d7: PUSH1 0x00
000016d9: REVERT
000016da: JUMPDEST
000016db: POP
000016dc: POP
000016dd: POP
000016de: POP
000016df: PUSH1 0x40
000016e1: MLOAD
000016e2: RETURNDATASIZE
000016e3: PUSH1 0x1f
000016e5: NOT
000016e6: PUSH1 0x1f
000016e8: DUP3
000016e9: ADD
000016ea: AND
000016eb: DUP3
000016ec: ADD
000016ed: DUP1
000016ee: PUSH1 0x40
000016f0: MSTORE
000016f1: POP
000016f2: DUP2
000016f3: ADD
000016f4: SWAP1
000016f5: PUSH2 0x16fe
000016f8: SWAP2
000016f9: SWAP1
000016fa: PUSH2 0x39a9
000016fd: JUMP
000016fe: JUMPDEST
000016ff: PUSH1 0x12
00001701: PUSH2 0x170a
00001704: SWAP2
00001705: SWAP1
00001706: PUSH2 0x39d6
00001709: JUMP
0000170a: JUMPDEST
0000170b: PUSH1 0x0a
0000170d: PUSH2 0x1716
00001710: SWAP2
00001711: SWAP1
00001712: PUSH2 0x3b3e
00001715: JUMP
00001716: JUMPDEST
00001717: DUP4
00001718: PUSH2 0x1721
0000171b: SWAP2
0000171c: SWAP1
0000171d: PUSH2 0x3607
00001720: JUMP
00001721: JUMPDEST
00001722: SWAP5
00001723: POP
00001724: POP
00001725: POP
00001726: POP
00001727: POP
00001728: JUMPDEST
00001729: SWAP1
0000172a: JUMP
0000172b: JUMPDEST
0000172c: PUSH1 0x07
0000172e: PUSH1 0x00
00001730: SWAP1
00001731: SLOAD
00001732: SWAP1
00001733: PUSH2 0x0100
00001736: EXP
00001737: SWAP1
00001738: DIV
00001739: PUSH1 0xff
0000173b: AND
0000173c: DUP2
0000173d: JUMP
0000173e: JUMPDEST
0000173f: PUSH1 0x00
00001741: DUP1
00001742: PUSH8 0x0de0b6b3a7640000
0000174b: PUSH2 0x1752
0000174e: PUSH2 0x137b
00001751: JUMP
00001752: JUMPDEST
00001753: DUP5
00001754: PUSH2 0x175d
00001757: SWAP2
00001758: SWAP1
00001759: PUSH2 0x3607
0000175c: JUMP
0000175d: JUMPDEST
0000175e: PUSH2 0x1767
00001761: SWAP2
00001762: SWAP1
00001763: PUSH2 0x3678
00001766: JUMP
00001767: JUMPDEST
00001768: SWAP1
00001769: POP
0000176a: PUSH2 0x1782
0000176d: PUSH5 0xe8d4a51000
00001773: DUP3
00001774: PUSH2 0x177d
00001777: SWAP2
00001778: SWAP1
00001779: PUSH2 0x3678
0000177c: JUMP
0000177d: JUMPDEST
0000177e: PUSH2 0x0d49
00001781: JUMP
00001782: JUMPDEST
00001783: SWAP2
00001784: POP
00001785: POP
00001786: SWAP2
00001787: SWAP1
00001788: POP
00001789: JUMP
0000178a: JUMPDEST
0000178b: PUSH2 0x1792
0000178e: PUSH2 0x2ef3
00001791: JUMP
00001792: JUMPDEST
00001793: PUSH2 0x179c
00001796: PUSH1 0x00
00001798: PUSH2 0x2ff9
0000179b: JUMP
0000179c: JUMPDEST
0000179d: JUMP
0000179e: JUMPDEST
0000179f: PUSH1 0x00
000017a1: PUSH2 0x17a8
000017a4: PUSH2 0x302a
000017a7: JUMP
000017a8: JUMPDEST
000017a9: SWAP1
000017aa: POP
000017ab: DUP1
000017ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017c1: AND
000017c2: PUSH2 0x17c9
000017c5: PUSH2 0x2423
000017c8: JUMP
000017c9: JUMPDEST
000017ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017df: AND
000017e0: EQ
000017e1: PUSH2 0x1821
000017e4: JUMPI
000017e5: DUP1
000017e6: PUSH1 0x40
000017e8: MLOAD
000017e9: PUSH32 0x118cdaa700000000000000000000000000000000000000000000000000000000
0000180a: DUP2
0000180b: MSTORE
0000180c: PUSH1 0x04
0000180e: ADD
0000180f: PUSH2 0x1818
00001812: SWAP2
00001813: SWAP1
00001814: PUSH2 0x3455
00001817: JUMP
00001818: JUMPDEST
00001819: PUSH1 0x40
0000181b: MLOAD
0000181c: DUP1
0000181d: SWAP2
0000181e: SUB
0000181f: SWAP1
00001820: REVERT
00001821: JUMPDEST
00001822: PUSH2 0x182a
00001825: DUP2
00001826: PUSH2 0x2ff9
00001829: JUMP
0000182a: JUMPDEST
0000182b: POP
0000182c: JUMP
0000182d: JUMPDEST
0000182e: PUSH2 0xea60
00001831: DUP2
00001832: JUMP
00001833: JUMPDEST
00001834: PUSH1 0x00
00001836: DUP1
00001837: PUSH2 0x183f
0000183a: DUP5
0000183b: PUSH2 0x173e
0000183e: JUMP
0000183f: JUMPDEST
00001840: SWAP2
00001841: POP
00001842: PUSH2 0x2710
00001845: DUP4
00001846: DUP4
00001847: PUSH2 0x1850
0000184a: SWAP2
0000184b: SWAP1
0000184c: PUSH2 0x3607
0000184f: JUMP
00001850: JUMPDEST
00001851: PUSH2 0x185a
00001854: SWAP2
00001855: SWAP1
00001856: PUSH2 0x3678
00001859: JUMP
0000185a: JUMPDEST
0000185b: DUP3
0000185c: PUSH2 0x1865
0000185f: SWAP2
00001860: SWAP1
00001861: PUSH2 0x3b89
00001864: JUMP
00001865: JUMPDEST
00001866: SWAP1
00001867: POP
00001868: SWAP3
00001869: POP
0000186a: SWAP3
0000186b: SWAP1
0000186c: POP
0000186d: JUMP
0000186e: JUMPDEST
0000186f: PUSH1 0x00
00001871: DUP1
00001872: PUSH2 0x187a
00001875: DUP5
00001876: PUSH2 0x0d49
00001879: JUMP
0000187a: JUMPDEST
0000187b: SWAP2
0000187c: POP
0000187d: PUSH2 0x2710
00001880: DUP4
00001881: DUP4
00001882: PUSH2 0x188b
00001885: SWAP2
00001886: SWAP1
00001887: PUSH2 0x3607
0000188a: JUMP
0000188b: JUMPDEST
0000188c: PUSH2 0x1895
0000188f: SWAP2
00001890: SWAP1
00001891: PUSH2 0x3678
00001894: JUMP
00001895: JUMPDEST
00001896: DUP3
00001897: PUSH2 0x18a0
0000189a: SWAP2
0000189b: SWAP1
0000189c: PUSH2 0x3b89
0000189f: JUMP
000018a0: JUMPDEST
000018a1: SWAP1
000018a2: POP
000018a3: SWAP3
000018a4: POP
000018a5: SWAP3
000018a6: SWAP1
000018a7: POP
000018a8: JUMP
000018a9: JUMPDEST
000018aa: PUSH1 0x00
000018ac: PUSH32 0x00000000000000000000000024763f4d35db3a693612e290d02a250d4a960945
000018cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018e2: AND
000018e3: PUSH4 0x70a08231
000018e8: ADDRESS
000018e9: PUSH1 0x40
000018eb: MLOAD
000018ec: DUP3
000018ed: PUSH4 0xffffffff
000018f2: AND
000018f3: PUSH1 0xe0
000018f5: SHL
000018f6: DUP2
000018f7: MSTORE
000018f8: PUSH1 0x04
000018fa: ADD
000018fb: PUSH2 0x1904
000018fe: SWAP2
000018ff: SWAP1
00001900: PUSH2 0x3455
00001903: JUMP
00001904: JUMPDEST
00001905: PUSH1 0x20
00001907: PUSH1 0x40
00001909: MLOAD
0000190a: DUP1
0000190b: DUP4
0000190c: SUB
0000190d: DUP2
0000190e: DUP7
0000190f: GAS
00001910: STATICCALL
00001911: ISZERO
00001912: DUP1
00001913: ISZERO
00001914: PUSH2 0x1921
00001917: JUMPI
00001918: RETURNDATASIZE
00001919: PUSH1 0x00
0000191b: DUP1
0000191c: RETURNDATACOPY
0000191d: RETURNDATASIZE
0000191e: PUSH1 0x00
00001920: REVERT
00001921: JUMPDEST
00001922: POP
00001923: POP
00001924: POP
00001925: POP
00001926: PUSH1 0x40
00001928: MLOAD
00001929: RETURNDATASIZE
0000192a: PUSH1 0x1f
0000192c: NOT
0000192d: PUSH1 0x1f
0000192f: DUP3
00001930: ADD
00001931: AND
00001932: DUP3
00001933: ADD
00001934: DUP1
00001935: PUSH1 0x40
00001937: MSTORE
00001938: POP
00001939: DUP2
0000193a: ADD
0000193b: SWAP1
0000193c: PUSH2 0x1945
0000193f: SWAP2
00001940: SWAP1
00001941: PUSH2 0x34de
00001944: JUMP
00001945: JUMPDEST
00001946: SWAP1
00001947: POP
00001948: SWAP1
00001949: JUMP
0000194a: JUMPDEST
0000194b: PUSH3 0x093a80
0000194f: DUP2
00001950: JUMP
00001951: JUMPDEST
00001952: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001973: DUP2
00001974: JUMP
00001975: JUMPDEST
00001976: PUSH2 0x197d
00001979: PUSH2 0x2ef3
0000197c: JUMP
0000197d: JUMPDEST
0000197e: PUSH1 0x07
00001980: PUSH1 0x00
00001982: SWAP1
00001983: SLOAD
00001984: SWAP1
00001985: PUSH2 0x0100
00001988: EXP
00001989: SWAP1
0000198a: DIV
0000198b: PUSH1 0xff
0000198d: AND
0000198e: DUP1
0000198f: ISZERO
00001990: PUSH2 0x199b
00001993: JUMPI
00001994: POP
00001995: PUSH1 0x05
00001997: SLOAD
00001998: TIMESTAMP
00001999: LT
0000199a: ISZERO
0000199b: JUMPDEST
0000199c: DUP1
0000199d: ISZERO
0000199e: PUSH2 0x19a9
000019a1: JUMPI
000019a2: POP
000019a3: PUSH1 0x06
000019a5: SLOAD
000019a6: TIMESTAMP
000019a7: GT
000019a8: ISZERO
000019a9: JUMPDEST
000019aa: ISZERO
000019ab: PUSH2 0x19e0
000019ae: JUMPI
000019af: PUSH1 0x40
000019b1: MLOAD
000019b2: PUSH32 0xb7b2409700000000000000000000000000000000000000000000000000000000
000019d3: DUP2
000019d4: MSTORE
000019d5: PUSH1 0x04
000019d7: ADD
000019d8: PUSH1 0x40
000019da: MLOAD
000019db: DUP1
000019dc: SWAP2
000019dd: SUB
000019de: SWAP1
000019df: REVERT
000019e0: JUMPDEST
000019e1: PUSH1 0x00
000019e3: PUSH32 0x00000000000000000000000024763f4d35db3a693612e290d02a250d4a960945
00001a04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a19: AND
00001a1a: PUSH4 0x70a08231
00001a1f: ADDRESS
00001a20: PUSH1 0x40
00001a22: MLOAD
00001a23: DUP3
00001a24: PUSH4 0xffffffff
00001a29: AND
00001a2a: PUSH1 0xe0
00001a2c: SHL
00001a2d: DUP2
00001a2e: MSTORE
00001a2f: PUSH1 0x04
00001a31: ADD
00001a32: PUSH2 0x1a3b
00001a35: SWAP2
00001a36: SWAP1
00001a37: PUSH2 0x3455
00001a3a: JUMP
00001a3b: JUMPDEST
00001a3c: PUSH1 0x20
00001a3e: PUSH1 0x40
00001a40: MLOAD
00001a41: DUP1
00001a42: DUP4
00001a43: SUB
00001a44: DUP2
00001a45: DUP7
00001a46: GAS
00001a47: STATICCALL
00001a48: ISZERO
00001a49: DUP1
00001a4a: ISZERO
00001a4b: PUSH2 0x1a58
00001a4e: JUMPI
00001a4f: RETURNDATASIZE
00001a50: PUSH1 0x00
00001a52: DUP1
00001a53: RETURNDATACOPY
00001a54: RETURNDATASIZE
00001a55: PUSH1 0x00
00001a57: REVERT
00001a58: JUMPDEST
00001a59: POP
00001a5a: POP
00001a5b: POP
00001a5c: POP
00001a5d: PUSH1 0x40
00001a5f: MLOAD
00001a60: RETURNDATASIZE
00001a61: PUSH1 0x1f
00001a63: NOT
00001a64: PUSH1 0x1f
00001a66: DUP3
00001a67: ADD
00001a68: AND
00001a69: DUP3
00001a6a: ADD
00001a6b: DUP1
00001a6c: PUSH1 0x40
00001a6e: MSTORE
00001a6f: POP
00001a70: DUP2
00001a71: ADD
00001a72: SWAP1
00001a73: PUSH2 0x1a7c
00001a76: SWAP2
00001a77: SWAP1
00001a78: PUSH2 0x34de
00001a7b: JUMP
00001a7c: JUMPDEST
00001a7d: SWAP1
00001a7e: POP
00001a7f: PUSH1 0x00
00001a81: DUP2
00001a82: SUB
00001a83: PUSH2 0x1ab8
00001a86: JUMPI
00001a87: PUSH1 0x40
00001a89: MLOAD
00001a8a: PUSH32 0x6f4c16bc00000000000000000000000000000000000000000000000000000000
00001aab: DUP2
00001aac: MSTORE
00001aad: PUSH1 0x04
00001aaf: ADD
00001ab0: PUSH1 0x40
00001ab2: MLOAD
00001ab3: DUP1
00001ab4: SWAP2
00001ab5: SUB
00001ab6: SWAP1
00001ab7: REVERT
00001ab8: JUMPDEST
00001ab9: PUSH2 0x1b0a
00001abc: PUSH2 0x1ac3
00001abf: PUSH2 0x1b62
00001ac2: JUMP
00001ac3: JUMPDEST
00001ac4: DUP3
00001ac5: PUSH32 0x00000000000000000000000024763f4d35db3a693612e290d02a250d4a960945
00001ae6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001afb: AND
00001afc: PUSH2 0x2f7a
00001aff: SWAP1
00001b00: SWAP3
00001b01: SWAP2
00001b02: SWAP1
00001b03: PUSH4 0xffffffff
00001b08: AND
00001b09: JUMP
00001b0a: JUMPDEST
00001b0b: PUSH2 0x1b12
00001b0e: PUSH2 0x1b62
00001b11: JUMP
00001b12: JUMPDEST
00001b13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b28: AND
00001b29: PUSH32 0xd30b68ba794ba733ec10c7ddce3e044482efdaa4c2e6b3d233800535afe5139b
00001b4a: DUP3
00001b4b: PUSH1 0x40
00001b4d: MLOAD
00001b4e: PUSH2 0x1b57
00001b51: SWAP2
00001b52: SWAP1
00001b53: PUSH2 0x3c09
00001b56: JUMP
00001b57: JUMPDEST
00001b58: PUSH1 0x40
00001b5a: MLOAD
00001b5b: DUP1
00001b5c: SWAP2
00001b5d: SUB
00001b5e: SWAP1
00001b5f: LOG2
00001b60: POP
00001b61: JUMP
00001b62: JUMPDEST
00001b63: PUSH1 0x00
00001b65: DUP1
00001b66: PUSH1 0x00
00001b68: SWAP1
00001b69: SLOAD
00001b6a: SWAP1
00001b6b: PUSH2 0x0100
00001b6e: EXP
00001b6f: SWAP1
00001b70: DIV
00001b71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b86: AND
00001b87: SWAP1
00001b88: POP
00001b89: SWAP1
00001b8a: JUMP
00001b8b: JUMPDEST
00001b8c: PUSH2 0x1b93
00001b8f: PUSH2 0x2860
00001b92: JUMP
00001b93: JUMPDEST
00001b94: PUSH1 0x07
00001b96: PUSH1 0x00
00001b98: SWAP1
00001b99: SLOAD
00001b9a: SWAP1
00001b9b: PUSH2 0x0100
00001b9e: EXP
00001b9f: SWAP1
00001ba0: DIV
00001ba1: PUSH1 0xff
00001ba3: AND
00001ba4: PUSH2 0x1bd9
00001ba7: JUMPI
00001ba8: PUSH1 0x40
00001baa: MLOAD
00001bab: PUSH32 0xb7b2409700000000000000000000000000000000000000000000000000000000
00001bcc: DUP2
00001bcd: MSTORE
00001bce: PUSH1 0x04
00001bd0: ADD
00001bd1: PUSH1 0x40
00001bd3: MLOAD
00001bd4: DUP1
00001bd5: SWAP2
00001bd6: SUB
00001bd7: SWAP1
00001bd8: REVERT
00001bd9: JUMPDEST
00001bda: PUSH1 0x05
00001bdc: SLOAD
00001bdd: TIMESTAMP
00001bde: LT
00001bdf: ISZERO
00001be0: PUSH2 0x1c15
00001be3: JUMPI
00001be4: PUSH1 0x40
00001be6: MLOAD
00001be7: PUSH32 0x2d0a346e00000000000000000000000000000000000000000000000000000000
00001c08: DUP2
00001c09: MSTORE
00001c0a: PUSH1 0x04
00001c0c: ADD
00001c0d: PUSH1 0x40
00001c0f: MLOAD
00001c10: DUP1
00001c11: SWAP2
00001c12: SUB
00001c13: SWAP1
00001c14: REVERT
00001c15: JUMPDEST
00001c16: PUSH1 0x06
00001c18: SLOAD
00001c19: TIMESTAMP
00001c1a: LT
00001c1b: PUSH2 0x1c50
00001c1e: JUMPI
00001c1f: PUSH1 0x40
00001c21: MLOAD
00001c22: PUSH32 0x0bd8a3eb00000000000000000000000000000000000000000000000000000000
00001c43: DUP2
00001c44: MSTORE
00001c45: PUSH1 0x04
00001c47: ADD
00001c48: PUSH1 0x40
00001c4a: MLOAD
00001c4b: DUP1
00001c4c: SWAP2
00001c4d: SUB
00001c4e: SWAP1
00001c4f: REVERT
00001c50: JUMPDEST
00001c51: PUSH1 0x00
00001c53: PUSH32 0x00000000000000000000000024763f4d35db3a693612e290d02a250d4a960945
00001c74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c89: AND
00001c8a: PUSH4 0x70a08231
00001c8f: ADDRESS
00001c90: PUSH1 0x40
00001c92: MLOAD
00001c93: DUP3
00001c94: PUSH4 0xffffffff
00001c99: AND
00001c9a: PUSH1 0xe0
00001c9c: SHL
00001c9d: DUP2
00001c9e: MSTORE
00001c9f: PUSH1 0x04
00001ca1: ADD
00001ca2: PUSH2 0x1cab
00001ca5: SWAP2
00001ca6: SWAP1
00001ca7: PUSH2 0x3455
00001caa: JUMP
00001cab: JUMPDEST
00001cac: PUSH1 0x20
00001cae: PUSH1 0x40
00001cb0: MLOAD
00001cb1: DUP1
00001cb2: DUP4
00001cb3: SUB
00001cb4: DUP2
00001cb5: DUP7
00001cb6: GAS
00001cb7: STATICCALL
00001cb8: ISZERO
00001cb9: DUP1
00001cba: ISZERO
00001cbb: PUSH2 0x1cc8
00001cbe: JUMPI
00001cbf: RETURNDATASIZE
00001cc0: PUSH1 0x00
00001cc2: DUP1
00001cc3: RETURNDATACOPY
00001cc4: RETURNDATASIZE
00001cc5: PUSH1 0x00
00001cc7: REVERT
00001cc8: JUMPDEST
00001cc9: POP
00001cca: POP
00001ccb: POP
00001ccc: POP
00001ccd: PUSH1 0x40
00001ccf: MLOAD
00001cd0: RETURNDATASIZE
00001cd1: PUSH1 0x1f
00001cd3: NOT
00001cd4: PUSH1 0x1f
00001cd6: DUP3
00001cd7: ADD
00001cd8: AND
00001cd9: DUP3
00001cda: ADD
00001cdb: DUP1
00001cdc: PUSH1 0x40
00001cde: MSTORE
00001cdf: POP
00001ce0: DUP2
00001ce1: ADD
00001ce2: SWAP1
00001ce3: PUSH2 0x1cec
00001ce6: SWAP2
00001ce7: SWAP1
00001ce8: PUSH2 0x34de
00001ceb: JUMP
00001cec: JUMPDEST
00001ced: SUB
00001cee: PUSH2 0x1d23
00001cf1: JUMPI
00001cf2: PUSH1 0x40
00001cf4: MLOAD
00001cf5: PUSH32 0x2d400a1b00000000000000000000000000000000000000000000000000000000
00001d16: DUP2
00001d17: MSTORE
00001d18: PUSH1 0x04
00001d1a: ADD
00001d1b: PUSH1 0x40
00001d1d: MLOAD
00001d1e: DUP1
00001d1f: SWAP2
00001d20: SUB
00001d21: SWAP1
00001d22: REVERT
00001d23: JUMPDEST
00001d24: PUSH1 0x00
00001d26: CALLVALUE
00001d27: SUB
00001d28: PUSH2 0x1d5d
00001d2b: JUMPI
00001d2c: PUSH1 0x40
00001d2e: MLOAD
00001d2f: PUSH32 0x6a12f10400000000000000000000000000000000000000000000000000000000
00001d50: DUP2
00001d51: MSTORE
00001d52: PUSH1 0x04
00001d54: ADD
00001d55: PUSH1 0x40
00001d57: MLOAD
00001d58: DUP1
00001d59: SWAP2
00001d5a: SUB
00001d5b: SWAP1
00001d5c: REVERT
00001d5d: JUMPDEST
00001d5e: PUSH1 0x00
00001d60: DUP2
00001d61: SUB
00001d62: PUSH2 0x1d97
00001d65: JUMPI
00001d66: PUSH1 0x40
00001d68: MLOAD
00001d69: PUSH32 0x2c5211c600000000000000000000000000000000000000000000000000000000
00001d8a: DUP2
00001d8b: MSTORE
00001d8c: PUSH1 0x04
00001d8e: ADD
00001d8f: PUSH1 0x40
00001d91: MLOAD
00001d92: DUP1
00001d93: SWAP2
00001d94: SUB
00001d95: SWAP1
00001d96: REVERT
00001d97: JUMPDEST
00001d98: PUSH1 0x00
00001d9a: CALLVALUE
00001d9b: SWAP1
00001d9c: POP
00001d9d: PUSH1 0x00
00001d9f: PUSH2 0x1da7
00001da2: DUP3
00001da3: PUSH2 0x173e
00001da6: JUMP
00001da7: JUMPDEST
00001da8: SWAP1
00001da9: POP
00001daa: DUP3
00001dab: DUP2
00001dac: LT
00001dad: ISZERO
00001dae: PUSH2 0x1de3
00001db1: JUMPI
00001db2: PUSH1 0x40
00001db4: MLOAD
00001db5: PUSH32 0x850c6f7600000000000000000000000000000000000000000000000000000000
00001dd6: DUP2
00001dd7: MSTORE
00001dd8: PUSH1 0x04
00001dda: ADD
00001ddb: PUSH1 0x40
00001ddd: MLOAD
00001dde: DUP1
00001ddf: SWAP2
00001de0: SUB
00001de1: SWAP1
00001de2: REVERT
00001de3: JUMPDEST
00001de4: PUSH2 0x1ded
00001de7: CALLER
00001de8: DUP3
00001de9: PUSH2 0x2926
00001dec: JUMP
00001ded: JUMPDEST
00001dee: PUSH1 0x00
00001df0: PUSH2 0x1df8
00001df3: DUP3
00001df4: PUSH2 0x1ff4
00001df7: JUMP
00001df8: JUMPDEST
00001df9: SWAP1
00001dfa: POP
00001dfb: DUP2
00001dfc: PUSH1 0x03
00001dfe: PUSH1 0x00
00001e00: DUP3
00001e01: DUP3
00001e02: SLOAD
00001e03: PUSH2 0x1e0c
00001e06: SWAP2
00001e07: SWAP1
00001e08: PUSH2 0x353a
00001e0b: JUMP
00001e0c: JUMPDEST
00001e0d: SWAP3
00001e0e: POP
00001e0f: POP
00001e10: DUP2
00001e11: SWAP1
00001e12: SSTORE
00001e13: POP
00001e14: PUSH13 0x0c9f2c9cd04674edea40000000
00001e22: PUSH2 0x1e29
00001e25: PUSH2 0x137b
00001e28: JUMP
00001e29: JUMPDEST
00001e2a: DUP3
00001e2b: PUSH2 0x1e34
00001e2e: SWAP2
00001e2f: SWAP1
00001e30: PUSH2 0x3607
00001e33: JUMP
00001e34: JUMPDEST
00001e35: PUSH2 0x1e3e
00001e38: SWAP2
00001e39: SWAP1
00001e3a: PUSH2 0x3678
00001e3d: JUMP
00001e3e: JUMPDEST
00001e3f: PUSH1 0x04
00001e41: PUSH1 0x00
00001e43: DUP3
00001e44: DUP3
00001e45: SLOAD
00001e46: PUSH2 0x1e4f
00001e49: SWAP2
00001e4a: SWAP1
00001e4b: PUSH2 0x353a
00001e4e: JUMP
00001e4f: JUMPDEST
00001e50: SWAP3
00001e51: POP
00001e52: POP
00001e53: DUP2
00001e54: SWAP1
00001e55: SSTORE
00001e56: POP
00001e57: CALLER
00001e58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e6d: AND
00001e6e: PUSH32 0xe8e3aa9086f33aa1d89447fc3a792fafabd987374e660b040e31787d68b5fe06
00001e8f: DUP4
00001e90: DUP6
00001e91: PUSH1 0x40
00001e93: MLOAD
00001e94: PUSH2 0x1e9e
00001e97: SWAP3
00001e98: SWAP2
00001e99: SWAP1
00001e9a: PUSH2 0x3c37
00001e9d: JUMP
00001e9e: JUMPDEST
00001e9f: PUSH1 0x40
00001ea1: MLOAD
00001ea2: DUP1
00001ea3: SWAP2
00001ea4: SUB
00001ea5: SWAP1
00001ea6: LOG2
00001ea7: DUP1
00001ea8: DUP4
00001ea9: LT
00001eaa: ISZERO
00001eab: PUSH2 0x1eed
00001eae: JUMPI
00001eaf: DUP3
00001eb0: DUP2
00001eb1: PUSH1 0x40
00001eb3: MLOAD
00001eb4: PUSH32 0x9c58506200000000000000000000000000000000000000000000000000000000
00001ed5: DUP2
00001ed6: MSTORE
00001ed7: PUSH1 0x04
00001ed9: ADD
00001eda: PUSH2 0x1ee4
00001edd: SWAP3
00001ede: SWAP2
00001edf: SWAP1
00001ee0: PUSH2 0x341d
00001ee3: JUMP
00001ee4: JUMPDEST
00001ee5: PUSH1 0x40
00001ee7: MLOAD
00001ee8: DUP1
00001ee9: SWAP2
00001eea: SUB
00001eeb: SWAP1
00001eec: REVERT
00001eed: JUMPDEST
00001eee: DUP1
00001eef: DUP4
00001ef0: GT
00001ef1: ISZERO
00001ef2: PUSH2 0x1fab
00001ef5: JUMPI
00001ef6: PUSH1 0x00
00001ef8: DUP2
00001ef9: DUP5
00001efa: PUSH2 0x1f03
00001efd: SWAP2
00001efe: SWAP1
00001eff: PUSH2 0x3b89
00001f02: JUMP
00001f03: JUMPDEST
00001f04: SWAP1
00001f05: POP
00001f06: PUSH1 0x00
00001f08: CALLER
00001f09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f1e: AND
00001f1f: DUP3
00001f20: PUSH1 0x40
00001f22: MLOAD
00001f23: PUSH2 0x1f2b
00001f26: SWAP1
00001f27: PUSH2 0x36da
00001f2a: JUMP
00001f2b: JUMPDEST
00001f2c: PUSH1 0x00
00001f2e: PUSH1 0x40
00001f30: MLOAD
00001f31: DUP1
00001f32: DUP4
00001f33: SUB
00001f34: DUP2
00001f35: DUP6
00001f36: DUP8
00001f37: GAS
00001f38: CALL
00001f39: SWAP3
00001f3a: POP
00001f3b: POP
00001f3c: POP
00001f3d: RETURNDATASIZE
00001f3e: DUP1
00001f3f: PUSH1 0x00
00001f41: DUP2
00001f42: EQ
00001f43: PUSH2 0x1f68
00001f46: JUMPI
00001f47: PUSH1 0x40
00001f49: MLOAD
00001f4a: SWAP2
00001f4b: POP
00001f4c: PUSH1 0x1f
00001f4e: NOT
00001f4f: PUSH1 0x3f
00001f51: RETURNDATASIZE
00001f52: ADD
00001f53: AND
00001f54: DUP3
00001f55: ADD
00001f56: PUSH1 0x40
00001f58: MSTORE
00001f59: RETURNDATASIZE
00001f5a: DUP3
00001f5b: MSTORE
00001f5c: RETURNDATASIZE
00001f5d: PUSH1 0x00
00001f5f: PUSH1 0x20
00001f61: DUP5
00001f62: ADD
00001f63: RETURNDATACOPY
00001f64: PUSH2 0x1f6d
00001f67: JUMP
00001f68: JUMPDEST
00001f69: PUSH1 0x60
00001f6b: SWAP2
00001f6c: POP
00001f6d: JUMPDEST
00001f6e: POP
00001f6f: POP
00001f70: SWAP1
00001f71: POP
00001f72: DUP1
00001f73: PUSH2 0x1fa8
00001f76: JUMPI
00001f77: PUSH1 0x40
00001f79: MLOAD
00001f7a: PUSH32 0x3c5a808400000000000000000000000000000000000000000000000000000000
00001f9b: DUP2
00001f9c: MSTORE
00001f9d: PUSH1 0x04
00001f9f: ADD
00001fa0: PUSH1 0x40
00001fa2: MLOAD
00001fa3: DUP1
00001fa4: SWAP2
00001fa5: SUB
00001fa6: SWAP1
00001fa7: REVERT
00001fa8: JUMPDEST
00001fa9: POP
00001faa: POP
00001fab: JUMPDEST
00001fac: PUSH2 0x1fb3
00001faf: PUSH2 0x2d1f
00001fb2: JUMP
00001fb3: JUMPDEST
00001fb4: POP
00001fb5: POP
00001fb6: POP
00001fb7: PUSH2 0x1fbe
00001fba: PUSH2 0x2ee9
00001fbd: JUMP
00001fbe: JUMPDEST
00001fbf: POP
00001fc0: JUMP
00001fc1: JUMPDEST
00001fc2: PUSH3 0x015180
00001fc6: DUP2
00001fc7: JUMP
00001fc8: JUMPDEST
00001fc9: PUSH1 0x00
00001fcb: PUSH3 0x0f4240
00001fcf: DUP3
00001fd0: PUSH2 0x1fd9
00001fd3: PUSH1 0x00
00001fd5: PUSH2 0x220a
00001fd8: JUMP
00001fd9: JUMPDEST
00001fda: PUSH2 0x1fe3
00001fdd: SWAP2
00001fde: SWAP1
00001fdf: PUSH2 0x3607
00001fe2: JUMP
00001fe3: JUMPDEST
00001fe4: PUSH2 0x1fed
00001fe7: SWAP2
00001fe8: SWAP1
00001fe9: PUSH2 0x3678
00001fec: JUMP
00001fed: JUMPDEST
00001fee: SWAP1
00001fef: POP
00001ff0: SWAP2
00001ff1: SWAP1
00001ff2: POP
00001ff3: JUMP
00001ff4: JUMPDEST
00001ff5: PUSH1 0x00
00001ff7: DUP1
00001ff8: PUSH2 0x2000
00001ffb: DUP4
00001ffc: PUSH2 0x1fc8
00001fff: JUMP
00002000: JUMPDEST
00002001: SWAP1
00002002: POP
00002003: PUSH1 0x00
00002005: PUSH2 0x200c
00002008: PUSH2 0x137b
0000200b: JUMP
0000200c: JUMPDEST
0000200d: SWAP1
0000200e: POP
0000200f: DUP1
00002010: PUSH8 0x0de0b6b3a7640000
00002019: DUP4
0000201a: PUSH2 0x2023
0000201d: SWAP2
0000201e: SWAP1
0000201f: PUSH2 0x3607
00002022: JUMP
00002023: JUMPDEST
00002024: PUSH2 0x202d
00002027: SWAP2
00002028: SWAP1
00002029: PUSH2 0x3678
0000202c: JUMP
0000202d: JUMPDEST
0000202e: SWAP3
0000202f: POP
00002030: POP
00002031: POP
00002032: SWAP2
00002033: SWAP1
00002034: POP
00002035: JUMP
00002036: JUMPDEST
00002037: PUSH2 0x203e
0000203a: PUSH2 0x2ef3
0000203d: JUMP
0000203e: JUMPDEST
0000203f: DUP2
00002040: DUP2
00002041: GT
00002042: PUSH2 0x2077
00002045: JUMPI
00002046: PUSH1 0x40
00002048: MLOAD
00002049: PUSH32 0x3a31561600000000000000000000000000000000000000000000000000000000
0000206a: DUP2
0000206b: MSTORE
0000206c: PUSH1 0x04
0000206e: ADD
0000206f: PUSH1 0x40
00002071: MLOAD
00002072: DUP1
00002073: SWAP2
00002074: SUB
00002075: SWAP1
00002076: REVERT
00002077: JUMPDEST
00002078: PUSH1 0x00
0000207a: DUP3
0000207b: DUP3
0000207c: PUSH2 0x2085
0000207f: SWAP2
00002080: SWAP1
00002081: PUSH2 0x3b89
00002084: JUMP
00002085: JUMPDEST
00002086: SWAP1
00002087: POP
00002088: PUSH3 0x093a80
0000208c: DUP2
0000208d: LT
0000208e: DUP1
0000208f: PUSH2 0x209a
00002092: JUMPI
00002093: POP
00002094: PUSH3 0x76a700
00002098: DUP2
00002099: GT
0000209a: JUMPDEST
0000209b: ISZERO
0000209c: PUSH2 0x20d1
0000209f: JUMPI
000020a0: PUSH1 0x40
000020a2: MLOAD
000020a3: PUSH32 0x918bb4e500000000000000000000000000000000000000000000000000000000
000020c4: DUP2
000020c5: MSTORE
000020c6: PUSH1 0x04
000020c8: ADD
000020c9: PUSH1 0x40
000020cb: MLOAD
000020cc: DUP1
000020cd: SWAP2
000020ce: SUB
000020cf: SWAP1
000020d0: REVERT
000020d1: JUMPDEST
000020d2: PUSH3 0x015180
000020d6: TIMESTAMP
000020d7: PUSH2 0x20e0
000020da: SWAP2
000020db: SWAP1
000020dc: PUSH2 0x353a
000020df: JUMP
000020e0: JUMPDEST
000020e1: DUP4
000020e2: LT
000020e3: ISZERO
000020e4: PUSH2 0x2119
000020e7: JUMPI
000020e8: PUSH1 0x40
000020ea: MLOAD
000020eb: PUSH32 0x9e8812ab00000000000000000000000000000000000000000000000000000000
0000210c: DUP2
0000210d: MSTORE
0000210e: PUSH1 0x04
00002110: ADD
00002111: PUSH1 0x40
00002113: MLOAD
00002114: DUP1
00002115: SWAP2
00002116: SUB
00002117: SWAP1
00002118: REVERT
00002119: JUMPDEST
0000211a: PUSH1 0x00
0000211c: PUSH1 0x05
0000211e: SLOAD
0000211f: EQ
00002120: ISZERO
00002121: DUP1
00002122: ISZERO
00002123: PUSH2 0x212e
00002126: JUMPI
00002127: POP
00002128: PUSH1 0x05
0000212a: SLOAD
0000212b: TIMESTAMP
0000212c: LT
0000212d: ISZERO
0000212e: JUMPDEST
0000212f: ISZERO
00002130: PUSH2 0x2165
00002133: JUMPI
00002134: PUSH1 0x40
00002136: MLOAD
00002137: PUSH32 0xf1bc5d3700000000000000000000000000000000000000000000000000000000
00002158: DUP2
00002159: MSTORE
0000215a: PUSH1 0x04
0000215c: ADD
0000215d: PUSH1 0x40
0000215f: MLOAD
00002160: DUP1
00002161: SWAP2
00002162: SUB
00002163: SWAP1
00002164: REVERT
00002165: JUMPDEST
00002166: DUP3
00002167: PUSH1 0x05
00002169: DUP2
0000216a: SWAP1
0000216b: SSTORE
0000216c: POP
0000216d: DUP2
0000216e: PUSH1 0x06
00002170: DUP2
00002171: SWAP1
00002172: SSTORE
00002173: POP
00002174: PUSH1 0x01
00002176: PUSH1 0x07
00002178: PUSH1 0x00
0000217a: PUSH2 0x0100
0000217d: EXP
0000217e: DUP2
0000217f: SLOAD
00002180: DUP2
00002181: PUSH1 0xff
00002183: MUL
00002184: NOT
00002185: AND
00002186: SWAP1
00002187: DUP4
00002188: ISZERO
00002189: ISZERO
0000218a: MUL
0000218b: OR
0000218c: SWAP1
0000218d: SSTORE
0000218e: POP
0000218f: PUSH32 0x82e460696e42382231fd97e334a400cbdb121154c4ff22d4fc1dc683f84e3c2e
000021b0: DUP4
000021b1: DUP4
000021b2: PUSH1 0x40
000021b4: MLOAD
000021b5: PUSH2 0x21bf
000021b8: SWAP3
000021b9: SWAP2
000021ba: SWAP1
000021bb: PUSH2 0x341d
000021be: JUMP
000021bf: JUMPDEST
000021c0: PUSH1 0x40
000021c2: MLOAD
000021c3: DUP1
000021c4: SWAP2
000021c5: SUB
000021c6: SWAP1
000021c7: LOG1
000021c8: PUSH32 0xc75413bb803e9f5f8572b10a8262838386a1bc5db1743ff399db4f5c32f4691e
000021e9: PUSH1 0x01
000021eb: PUSH1 0x40
000021ed: MLOAD
000021ee: PUSH2 0x21f7
000021f1: SWAP2
000021f2: SWAP1
000021f3: PUSH2 0x3402
000021f6: JUMP
000021f7: JUMPDEST
000021f8: PUSH1 0x40
000021fa: MLOAD
000021fb: DUP1
000021fc: SWAP2
000021fd: SUB
000021fe: SWAP1
000021ff: LOG1
00002200: POP
00002201: POP
00002202: POP
00002203: JUMP
00002204: JUMPDEST
00002205: PUSH2 0x0e10
00002208: DUP2
00002209: JUMP
0000220a: JUMPDEST
0000220b: PUSH1 0x00
0000220d: DUP1
0000220e: PUSH8 0x0de0b6b3a7640000
00002217: DUP4
00002218: PUSH1 0x03
0000221a: SLOAD
0000221b: PUSH2 0x2224
0000221e: SWAP2
0000221f: SWAP1
00002220: PUSH2 0x353a
00002223: JUMP
00002224: JUMPDEST
00002225: PUSH2 0x222e
00002228: SWAP2
00002229: SWAP1
0000222a: PUSH2 0x3678
0000222d: JUMP
0000222e: JUMPDEST
0000222f: SWAP1
00002230: POP
00002231: PUSH4 0x05f5e100
00002236: DUP2
00002237: LT
00002238: PUSH2 0x2254
0000223b: JUMPI
0000223c: PUSH3 0x03a980
00002240: PUSH2 0xea60
00002243: PUSH2 0x224c
00002246: SWAP2
00002247: SWAP1
00002248: PUSH2 0x353a
0000224b: JUMP
0000224c: JUMPDEST
0000224d: SWAP2
0000224e: POP
0000224f: POP
00002250: PUSH2 0x22d5
00002253: JUMP
00002254: JUMPDEST
00002255: PUSH1 0x00
00002257: DUP2
00002258: PUSH4 0x05f5e100
0000225d: PUSH2 0x2266
00002260: SWAP2
00002261: SWAP1
00002262: PUSH2 0x3b89
00002265: JUMP
00002266: JUMPDEST
00002267: SWAP1
00002268: POP
00002269: PUSH1 0x00
0000226b: PUSH7 0x2386f26fc10000
00002273: DUP3
00002274: DUP4
00002275: DUP5
00002276: PUSH2 0x227f
00002279: SWAP2
0000227a: SWAP1
0000227b: PUSH2 0x3607
0000227e: JUMP
0000227f: JUMPDEST
00002280: PUSH2 0x2289
00002283: SWAP2
00002284: SWAP1
00002285: PUSH2 0x3607
00002288: JUMP
00002289: JUMPDEST
0000228a: PUSH2 0x2293
0000228d: SWAP2
0000228e: SWAP1
0000228f: PUSH2 0x3678
00002292: JUMP
00002293: JUMPDEST
00002294: SWAP1
00002295: POP
00002296: PUSH4 0x05f5e100
0000229b: DUP2
0000229c: PUSH4 0x05f5e100
000022a1: PUSH2 0x22aa
000022a4: SWAP2
000022a5: SWAP1
000022a6: PUSH2 0x3b89
000022a9: JUMP
000022aa: JUMPDEST
000022ab: PUSH3 0x03a980
000022af: PUSH2 0x22b8
000022b2: SWAP2
000022b3: SWAP1
000022b4: PUSH2 0x3607
000022b7: JUMP
000022b8: JUMPDEST
000022b9: PUSH2 0x22c2
000022bc: SWAP2
000022bd: SWAP1
000022be: PUSH2 0x3678
000022c1: JUMP
000022c2: JUMPDEST
000022c3: PUSH2 0xea60
000022c6: PUSH2 0x22cf
000022c9: SWAP2
000022ca: SWAP1
000022cb: PUSH2 0x353a
000022ce: JUMP
000022cf: JUMPDEST
000022d0: SWAP4
000022d1: POP
000022d2: POP
000022d3: POP
000022d4: POP
000022d5: JUMPDEST
000022d6: SWAP2
000022d7: SWAP1
000022d8: POP
000022d9: JUMP
000022da: JUMPDEST
000022db: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7
000022fc: DUP2
000022fd: JUMP
000022fe: JUMPDEST
000022ff: PUSH2 0x2306
00002302: PUSH2 0x2ef3
00002305: JUMP
00002306: JUMPDEST
00002307: PUSH1 0x00
00002309: PUSH1 0x05
0000230b: SLOAD
0000230c: SUB
0000230d: PUSH2 0x2342
00002310: JUMPI
00002311: PUSH1 0x40
00002313: MLOAD
00002314: PUSH32 0x633a209900000000000000000000000000000000000000000000000000000000
00002335: DUP2
00002336: MSTORE
00002337: PUSH1 0x04
00002339: ADD
0000233a: PUSH1 0x40
0000233c: MLOAD
0000233d: DUP1
0000233e: SWAP2
0000233f: SUB
00002340: SWAP1
00002341: REVERT
00002342: JUMPDEST
00002343: DUP1
00002344: ISZERO
00002345: DUP1
00002346: ISZERO
00002347: PUSH2 0x2352
0000234a: JUMPI
0000234b: POP
0000234c: PUSH1 0x06
0000234e: SLOAD
0000234f: TIMESTAMP
00002350: LT
00002351: ISZERO
00002352: JUMPDEST
00002353: ISZERO
00002354: PUSH2 0x2389
00002357: JUMPI
00002358: PUSH1 0x40
0000235a: MLOAD
0000235b: PUSH32 0xf9ca9fd600000000000000000000000000000000000000000000000000000000
0000237c: DUP2
0000237d: MSTORE
0000237e: PUSH1 0x04
00002380: ADD
00002381: PUSH1 0x40
00002383: MLOAD
00002384: DUP1
00002385: SWAP2
00002386: SUB
00002387: SWAP1
00002388: REVERT
00002389: JUMPDEST
0000238a: DUP1
0000238b: ISZERO
0000238c: DUP1
0000238d: ISZERO
0000238e: PUSH2 0x2398
00002391: JUMPI
00002392: POP
00002393: PUSH1 0x05
00002395: SLOAD
00002396: TIMESTAMP
00002397: LT
00002398: JUMPDEST
00002399: ISZERO
0000239a: PUSH2 0x23cf
0000239d: JUMPI
0000239e: PUSH1 0x40
000023a0: MLOAD
000023a1: PUSH32 0xf1bc5d3700000000000000000000000000000000000000000000000000000000
000023c2: DUP2
000023c3: MSTORE
000023c4: PUSH1 0x04
000023c6: ADD
000023c7: PUSH1 0x40
000023c9: MLOAD
000023ca: DUP1
000023cb: SWAP2
000023cc: SUB
000023cd: SWAP1
000023ce: REVERT
000023cf: JUMPDEST
000023d0: DUP1
000023d1: PUSH1 0x07
000023d3: PUSH1 0x00
000023d5: PUSH2 0x0100
000023d8: EXP
000023d9: DUP2
000023da: SLOAD
000023db: DUP2
000023dc: PUSH1 0xff
000023de: MUL
000023df: NOT
000023e0: AND
000023e1: SWAP1
000023e2: DUP4
000023e3: ISZERO
000023e4: ISZERO
000023e5: MUL
000023e6: OR
000023e7: SWAP1
000023e8: SSTORE
000023e9: POP
000023ea: PUSH32 0xc75413bb803e9f5f8572b10a8262838386a1bc5db1743ff399db4f5c32f4691e
0000240b: DUP2
0000240c: PUSH1 0x40
0000240e: MLOAD
0000240f: PUSH2 0x2418
00002412: SWAP2
00002413: SWAP1
00002414: PUSH2 0x3402
00002417: JUMP
00002418: JUMPDEST
00002419: PUSH1 0x40
0000241b: MLOAD
0000241c: DUP1
0000241d: SWAP2
0000241e: SUB
0000241f: SWAP1
00002420: LOG1
00002421: POP
00002422: JUMP
00002423: JUMPDEST
00002424: PUSH1 0x00
00002426: PUSH1 0x01
00002428: PUSH1 0x00
0000242a: SWAP1
0000242b: SLOAD
0000242c: SWAP1
0000242d: PUSH2 0x0100
00002430: EXP
00002431: SWAP1
00002432: DIV
00002433: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002448: AND
00002449: SWAP1
0000244a: POP
0000244b: SWAP1
0000244c: JUMP
0000244d: JUMPDEST
0000244e: PUSH2 0x2455
00002451: PUSH2 0x2860
00002454: JUMP
00002455: JUMPDEST
00002456: PUSH1 0x07
00002458: PUSH1 0x00
0000245a: SWAP1
0000245b: SLOAD
0000245c: SWAP1
0000245d: PUSH2 0x0100
00002460: EXP
00002461: SWAP1
00002462: DIV
00002463: PUSH1 0xff
00002465: AND
00002466: PUSH2 0x249b
00002469: JUMPI
0000246a: PUSH1 0x40
0000246c: MLOAD
0000246d: PUSH32 0xb7b2409700000000000000000000000000000000000000000000000000000000
0000248e: DUP2
0000248f: MSTORE
00002490: PUSH1 0x04
00002492: ADD
00002493: PUSH1 0x40
00002495: MLOAD
00002496: DUP1
00002497: SWAP2
00002498: SUB
00002499: SWAP1
0000249a: REVERT
0000249b: JUMPDEST
0000249c: PUSH1 0x05
0000249e: SLOAD
0000249f: TIMESTAMP
000024a0: LT
000024a1: ISZERO
000024a2: PUSH2 0x24d7
000024a5: JUMPI
000024a6: PUSH1 0x40
000024a8: MLOAD
000024a9: PUSH32 0x2d0a346e00000000000000000000000000000000000000000000000000000000
000024ca: DUP2
000024cb: MSTORE
000024cc: PUSH1 0x04
000024ce: ADD
000024cf: PUSH1 0x40
000024d1: MLOAD
000024d2: DUP1
000024d3: SWAP2
000024d4: SUB
000024d5: SWAP1
000024d6: REVERT
000024d7: JUMPDEST
000024d8: PUSH1 0x06
000024da: SLOAD
000024db: TIMESTAMP
000024dc: LT
000024dd: PUSH2 0x2512
000024e0: JUMPI
000024e1: PUSH1 0x40
000024e3: MLOAD
000024e4: PUSH32 0x0bd8a3eb00000000000000000000000000000000000000000000000000000000
00002505: DUP2
00002506: MSTORE
00002507: PUSH1 0x04
00002509: ADD
0000250a: PUSH1 0x40
0000250c: MLOAD
0000250d: DUP1
0000250e: SWAP2
0000250f: SUB
00002510: SWAP1
00002511: REVERT
00002512: JUMPDEST
00002513: PUSH1 0x00
00002515: PUSH32 0x00000000000000000000000024763f4d35db3a693612e290d02a250d4a960945
00002536: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000254b: AND
0000254c: PUSH4 0x70a08231
00002551: ADDRESS
00002552: PUSH1 0x40
00002554: MLOAD
00002555: DUP3
00002556: PUSH4 0xffffffff
0000255b: AND
0000255c: PUSH1 0xe0
0000255e: SHL
0000255f: DUP2
00002560: MSTORE
00002561: PUSH1 0x04
00002563: ADD
00002564: PUSH2 0x256d
00002567: SWAP2
00002568: SWAP1
00002569: PUSH2 0x3455
0000256c: JUMP
0000256d: JUMPDEST
0000256e: PUSH1 0x20
00002570: PUSH1 0x40
00002572: MLOAD
00002573: DUP1
00002574: DUP4
00002575: SUB
00002576: DUP2
00002577: DUP7
00002578: GAS
00002579: STATICCALL
0000257a: ISZERO
0000257b: DUP1
0000257c: ISZERO
0000257d: PUSH2 0x258a
00002580: JUMPI
00002581: RETURNDATASIZE
00002582: PUSH1 0x00
00002584: DUP1
00002585: RETURNDATACOPY
00002586: RETURNDATASIZE
00002587: PUSH1 0x00
00002589: REVERT
0000258a: JUMPDEST
0000258b: POP
0000258c: POP
0000258d: POP
0000258e: POP
0000258f: PUSH1 0x40
00002591: MLOAD
00002592: RETURNDATASIZE
00002593: PUSH1 0x1f
00002595: NOT
00002596: PUSH1 0x1f
00002598: DUP3
00002599: ADD
0000259a: AND
0000259b: DUP3
0000259c: ADD
0000259d: DUP1
0000259e: PUSH1 0x40
000025a0: MSTORE
000025a1: POP
000025a2: DUP2
000025a3: ADD
000025a4: SWAP1
000025a5: PUSH2 0x25ae
000025a8: SWAP2
000025a9: SWAP1
000025aa: PUSH2 0x34de
000025ad: JUMP
000025ae: JUMPDEST
000025af: SUB
000025b0: PUSH2 0x25e5
000025b3: JUMPI
000025b4: PUSH1 0x40
000025b6: MLOAD
000025b7: PUSH32 0x2d400a1b00000000000000000000000000000000000000000000000000000000
000025d8: DUP2
000025d9: MSTORE
000025da: PUSH1 0x04
000025dc: ADD
000025dd: PUSH1 0x40
000025df: MLOAD
000025e0: DUP1
000025e1: SWAP2
000025e2: SUB
000025e3: SWAP1
000025e4: REVERT
000025e5: JUMPDEST
000025e6: PUSH1 0x00
000025e8: DUP3
000025e9: SUB
000025ea: PUSH2 0x261f
000025ed: JUMPI
000025ee: PUSH1 0x40
000025f0: MLOAD
000025f1: PUSH32 0x2c5211c600000000000000000000000000000000000000000000000000000000
00002612: DUP2
00002613: MSTORE
00002614: PUSH1 0x04
00002616: ADD
00002617: PUSH1 0x40
00002619: MLOAD
0000261a: DUP1
0000261b: SWAP2
0000261c: SUB
0000261d: SWAP1
0000261e: REVERT
0000261f: JUMPDEST
00002620: PUSH1 0x00
00002622: DUP2
00002623: SUB
00002624: PUSH2 0x2659
00002627: JUMPI
00002628: PUSH1 0x40
0000262a: MLOAD
0000262b: PUSH32 0x2c5211c600000000000000000000000000000000000000000000000000000000
0000264c: DUP2
0000264d: MSTORE
0000264e: PUSH1 0x04
00002650: ADD
00002651: PUSH1 0x40
00002653: MLOAD
00002654: DUP1
00002655: SWAP2
00002656: SUB
00002657: SWAP1
00002658: REVERT
00002659: JUMPDEST
0000265a: PUSH1 0x00
0000265c: PUSH2 0x2664
0000265f: DUP4
00002660: PUSH2 0x0d49
00002663: JUMP
00002664: JUMPDEST
00002665: SWAP1
00002666: POP
00002667: DUP2
00002668: DUP2
00002669: LT
0000266a: ISZERO
0000266b: PUSH2 0x26a0
0000266e: JUMPI
0000266f: PUSH1 0x40
00002671: MLOAD
00002672: PUSH32 0x850c6f7600000000000000000000000000000000000000000000000000000000
00002693: DUP2
00002694: MSTORE
00002695: PUSH1 0x04
00002697: ADD
00002698: PUSH1 0x40
0000269a: MLOAD
0000269b: DUP1
0000269c: SWAP2
0000269d: SUB
0000269e: SWAP1
0000269f: REVERT
000026a0: JUMPDEST
000026a1: PUSH2 0x26ed
000026a4: CALLER
000026a5: ADDRESS
000026a6: DUP6
000026a7: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7
000026c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026dd: AND
000026de: PUSH2 0x28a4
000026e1: SWAP1
000026e2: SWAP4
000026e3: SWAP3
000026e4: SWAP2
000026e5: SWAP1
000026e6: PUSH4 0xffffffff
000026eb: AND
000026ec: JUMP
000026ed: JUMPDEST
000026ee: PUSH2 0x26f7
000026f1: CALLER
000026f2: DUP3
000026f3: PUSH2 0x2926
000026f6: JUMP
000026f7: JUMPDEST
000026f8: DUP1
000026f9: PUSH1 0x03
000026fb: PUSH1 0x00
000026fd: DUP3
000026fe: DUP3
000026ff: SLOAD
00002700: PUSH2 0x2709
00002703: SWAP2
00002704: SWAP1
00002705: PUSH2 0x353a
00002708: JUMP
00002709: JUMPDEST
0000270a: SWAP3
0000270b: POP
0000270c: POP
0000270d: DUP2
0000270e: SWAP1
0000270f: SSTORE
00002710: POP
00002711: DUP3
00002712: PUSH1 0x04
00002714: PUSH1 0x00
00002716: DUP3
00002717: DUP3
00002718: SLOAD
00002719: PUSH2 0x2722
0000271c: SWAP2
0000271d: SWAP1
0000271e: PUSH2 0x353a
00002721: JUMP
00002722: JUMPDEST
00002723: SWAP3
00002724: POP
00002725: POP
00002726: DUP2
00002727: SWAP1
00002728: SSTORE
00002729: POP
0000272a: CALLER
0000272b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002740: AND
00002741: PUSH32 0xe8e3aa9086f33aa1d89447fc3a792fafabd987374e660b040e31787d68b5fe06
00002762: DUP3
00002763: DUP6
00002764: PUSH1 0x40
00002766: MLOAD
00002767: PUSH2 0x2771
0000276a: SWAP3
0000276b: SWAP2
0000276c: SWAP1
0000276d: PUSH2 0x3c73
00002770: JUMP
00002771: JUMPDEST
00002772: PUSH1 0x40
00002774: MLOAD
00002775: DUP1
00002776: SWAP2
00002777: SUB
00002778: SWAP1
00002779: LOG2
0000277a: PUSH2 0x2781
0000277d: PUSH2 0x2d1f
00002780: JUMP
00002781: JUMPDEST
00002782: POP
00002783: PUSH2 0x278a
00002786: PUSH2 0x2ee9
00002789: JUMP
0000278a: JUMPDEST
0000278b: POP
0000278c: POP
0000278d: JUMP
0000278e: JUMPDEST
0000278f: PUSH1 0x0a
00002791: PUSH1 0x20
00002793: MSTORE
00002794: DUP1
00002795: PUSH1 0x00
00002797: MSTORE
00002798: PUSH1 0x40
0000279a: PUSH1 0x00
0000279c: KECCAK256
0000279d: PUSH1 0x00
0000279f: SWAP2
000027a0: POP
000027a1: SWAP1
000027a2: POP
000027a3: SLOAD
000027a4: DUP2
000027a5: JUMP
000027a6: JUMPDEST
000027a7: PUSH1 0x06
000027a9: SLOAD
000027aa: DUP2
000027ab: JUMP
000027ac: JUMPDEST
000027ad: PUSH2 0x27b4
000027b0: PUSH2 0x2ef3
000027b3: JUMP
000027b4: JUMPDEST
000027b5: DUP1
000027b6: PUSH1 0x01
000027b8: PUSH1 0x00
000027ba: PUSH2 0x0100
000027bd: EXP
000027be: DUP2
000027bf: SLOAD
000027c0: DUP2
000027c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027d6: MUL
000027d7: NOT
000027d8: AND
000027d9: SWAP1
000027da: DUP4
000027db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027f0: AND
000027f1: MUL
000027f2: OR
000027f3: SWAP1
000027f4: SSTORE
000027f5: POP
000027f6: DUP1
000027f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000280c: AND
0000280d: PUSH2 0x2814
00002810: PUSH2 0x1b62
00002813: JUMP
00002814: JUMPDEST
00002815: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000282a: AND
0000282b: PUSH32 0x38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e22700
0000284c: PUSH1 0x40
0000284e: MLOAD
0000284f: PUSH1 0x40
00002851: MLOAD
00002852: DUP1
00002853: SWAP2
00002854: SUB
00002855: SWAP1
00002856: LOG3
00002857: POP
00002858: JUMP
00002859: JUMPDEST
0000285a: PUSH3 0x76a700
0000285e: DUP2
0000285f: JUMP
00002860: JUMPDEST
00002861: PUSH1 0x02
00002863: DUP1
00002864: SLOAD
00002865: SUB
00002866: PUSH2 0x289b
00002869: JUMPI
0000286a: PUSH1 0x40
0000286c: MLOAD
0000286d: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000
0000288e: DUP2
0000288f: MSTORE
00002890: PUSH1 0x04
00002892: ADD
00002893: PUSH1 0x40
00002895: MLOAD
00002896: DUP1
00002897: SWAP2
00002898: SUB
00002899: SWAP1
0000289a: REVERT
0000289b: JUMPDEST
0000289c: PUSH1 0x02
0000289e: DUP1
0000289f: DUP2
000028a0: SWAP1
000028a1: SSTORE
000028a2: POP
000028a3: JUMP
000028a4: JUMPDEST
000028a5: PUSH2 0x2920
000028a8: DUP5
000028a9: DUP6
000028aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028bf: AND
000028c0: PUSH4 0x23b872dd
000028c5: DUP7
000028c6: DUP7
000028c7: DUP7
000028c8: PUSH1 0x40
000028ca: MLOAD
000028cb: PUSH1 0x24
000028cd: ADD
000028ce: PUSH2 0x28d9
000028d1: SWAP4
000028d2: SWAP3
000028d3: SWAP2
000028d4: SWAP1
000028d5: PUSH2 0x3caf
000028d8: JUMP
000028d9: JUMPDEST
000028da: PUSH1 0x40
000028dc: MLOAD
000028dd: PUSH1 0x20
000028df: DUP2
000028e0: DUP4
000028e1: SUB
000028e2: SUB
000028e3: DUP2
000028e4: MSTORE
000028e5: SWAP1
000028e6: PUSH1 0x40
000028e8: MSTORE
000028e9: SWAP2
000028ea: POP
000028eb: PUSH1 0xe0
000028ed: SHL
000028ee: PUSH1 0x20
000028f0: DUP3
000028f1: ADD
000028f2: DUP1
000028f3: MLOAD
000028f4: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002911: DUP4
00002912: DUP2
00002913: DUP4
00002914: AND
00002915: OR
00002916: DUP4
00002917: MSTORE
00002918: POP
00002919: POP
0000291a: POP
0000291b: POP
0000291c: PUSH2 0x3032
0000291f: JUMP
00002920: JUMPDEST
00002921: POP
00002922: POP
00002923: POP
00002924: POP
00002925: JUMP
00002926: JUMPDEST
00002927: PUSH2 0x0e10
0000292a: PUSH1 0x0a
0000292c: PUSH1 0x00
0000292e: DUP5
0000292f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002944: AND
00002945: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000295a: AND
0000295b: DUP2
0000295c: MSTORE
0000295d: PUSH1 0x20
0000295f: ADD
00002960: SWAP1
00002961: DUP2
00002962: MSTORE
00002963: PUSH1 0x20
00002965: ADD
00002966: PUSH1 0x00
00002968: KECCAK256
00002969: SLOAD
0000296a: PUSH2 0x2973
0000296d: SWAP2
0000296e: SWAP1
0000296f: PUSH2 0x353a
00002972: JUMP
00002973: JUMPDEST
00002974: TIMESTAMP
00002975: LT
00002976: ISZERO
00002977: PUSH2 0x29ac
0000297a: JUMPI
0000297b: PUSH1 0x40
0000297d: MLOAD
0000297e: PUSH32 0x52c459f900000000000000000000000000000000000000000000000000000000
0000299f: DUP2
000029a0: MSTORE
000029a1: PUSH1 0x04
000029a3: ADD
000029a4: PUSH1 0x40
000029a6: MLOAD
000029a7: DUP1
000029a8: SWAP2
000029a9: SUB
000029aa: SWAP1
000029ab: REVERT
000029ac: JUMPDEST
000029ad: PUSH9 0x056bc75e2d63100000
000029b7: DUP2
000029b8: LT
000029b9: ISZERO
000029ba: PUSH2 0x29ef
000029bd: JUMPI
000029be: PUSH1 0x40
000029c0: MLOAD
000029c1: PUSH32 0x954fd55000000000000000000000000000000000000000000000000000000000
000029e2: DUP2
000029e3: MSTORE
000029e4: PUSH1 0x04
000029e6: ADD
000029e7: PUSH1 0x40
000029e9: MLOAD
000029ea: DUP1
000029eb: SWAP2
000029ec: SUB
000029ed: SWAP1
000029ee: REVERT
000029ef: JUMPDEST
000029f0: PUSH10 0xd3c21bcecceda1000000
000029fb: DUP2
000029fc: GT
000029fd: ISZERO
000029fe: PUSH2 0x2a33
00002a01: JUMPI
00002a02: PUSH1 0x40
00002a04: MLOAD
00002a05: PUSH32 0xa58fb48a00000000000000000000000000000000000000000000000000000000
00002a26: DUP2
00002a27: MSTORE
00002a28: PUSH1 0x04
00002a2a: ADD
00002a2b: PUSH1 0x40
00002a2d: MLOAD
00002a2e: DUP1
00002a2f: SWAP2
00002a30: SUB
00002a31: SWAP1
00002a32: REVERT
00002a33: JUMPDEST
00002a34: PUSH32 0x00000000000000000000000024763f4d35db3a693612e290d02a250d4a960945
00002a55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a6a: AND
00002a6b: PUSH4 0x70a08231
00002a70: ADDRESS
00002a71: PUSH1 0x40
00002a73: MLOAD
00002a74: DUP3
00002a75: PUSH4 0xffffffff
00002a7a: AND
00002a7b: PUSH1 0xe0
00002a7d: SHL
00002a7e: DUP2
00002a7f: MSTORE
00002a80: PUSH1 0x04
00002a82: ADD
00002a83: PUSH2 0x2a8c
00002a86: SWAP2
00002a87: SWAP1
00002a88: PUSH2 0x3455
00002a8b: JUMP
00002a8c: JUMPDEST
00002a8d: PUSH1 0x20
00002a8f: PUSH1 0x40
00002a91: MLOAD
00002a92: DUP1
00002a93: DUP4
00002a94: SUB
00002a95: DUP2
00002a96: DUP7
00002a97: GAS
00002a98: STATICCALL
00002a99: ISZERO
00002a9a: DUP1
00002a9b: ISZERO
00002a9c: PUSH2 0x2aa9
00002a9f: JUMPI
00002aa0: RETURNDATASIZE
00002aa1: PUSH1 0x00
00002aa3: DUP1
00002aa4: RETURNDATACOPY
00002aa5: RETURNDATASIZE
00002aa6: PUSH1 0x00
00002aa8: REVERT
00002aa9: JUMPDEST
00002aaa: POP
00002aab: POP
00002aac: POP
00002aad: POP
00002aae: PUSH1 0x40
00002ab0: MLOAD
00002ab1: RETURNDATASIZE
00002ab2: PUSH1 0x1f
00002ab4: NOT
00002ab5: PUSH1 0x1f
00002ab7: DUP3
00002ab8: ADD
00002ab9: AND
00002aba: DUP3
00002abb: ADD
00002abc: DUP1
00002abd: PUSH1 0x40
00002abf: MSTORE
00002ac0: POP
00002ac1: DUP2
00002ac2: ADD
00002ac3: SWAP1
00002ac4: PUSH2 0x2acd
00002ac7: SWAP2
00002ac8: SWAP1
00002ac9: PUSH2 0x34de
00002acc: JUMP
00002acd: JUMPDEST
00002ace: DUP2
00002acf: GT
00002ad0: ISZERO
00002ad1: PUSH2 0x2b06
00002ad4: JUMPI
00002ad5: PUSH1 0x40
00002ad7: MLOAD
00002ad8: PUSH32 0x2d400a1b00000000000000000000000000000000000000000000000000000000
00002af9: DUP2
00002afa: MSTORE
00002afb: PUSH1 0x04
00002afd: ADD
00002afe: PUSH1 0x40
00002b00: MLOAD
00002b01: DUP1
00002b02: SWAP2
00002b03: SUB
00002b04: SWAP1
00002b05: REVERT
00002b06: JUMPDEST
00002b07: PUSH1 0x00
00002b09: TIMESTAMP
00002b0a: SWAP1
00002b0b: POP
00002b0c: PUSH1 0x00
00002b0e: PUSH3 0xed4e00
00002b12: DUP3
00002b13: PUSH2 0x2b1c
00002b16: SWAP2
00002b17: SWAP1
00002b18: PUSH2 0x353a
00002b1b: JUMP
00002b1c: JUMPDEST
00002b1d: SWAP1
00002b1e: POP
00002b1f: PUSH1 0x00
00002b21: PUSH2 0x2b8b
00002b24: PUSH32 0x00000000000000000000000079db02c8e89559b26ae96c6fd4eba040c72869c0
00002b45: DUP6
00002b46: PUSH32 0x00000000000000000000000024763f4d35db3a693612e290d02a250d4a960945
00002b67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b7c: AND
00002b7d: PUSH2 0x2f7a
00002b80: SWAP1
00002b81: SWAP3
00002b82: SWAP2
00002b83: SWAP1
00002b84: PUSH4 0xffffffff
00002b89: AND
00002b8a: JUMP
00002b8b: JUMPDEST
00002b8c: PUSH32 0x00000000000000000000000079db02c8e89559b26ae96c6fd4eba040c72869c0
00002bad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bc2: AND
00002bc3: PUSH4 0xdc9ffc50
00002bc8: DUP7
00002bc9: DUP7
00002bca: DUP7
00002bcb: DUP7
00002bcc: DUP7
00002bcd: PUSH1 0x40
00002bcf: MLOAD
00002bd0: DUP7
00002bd1: PUSH4 0xffffffff
00002bd6: AND
00002bd7: PUSH1 0xe0
00002bd9: SHL
00002bda: DUP2
00002bdb: MSTORE
00002bdc: PUSH1 0x04
00002bde: ADD
00002bdf: PUSH2 0x2bec
00002be2: SWAP6
00002be3: SWAP5
00002be4: SWAP4
00002be5: SWAP3
00002be6: SWAP2
00002be7: SWAP1
00002be8: PUSH2 0x3ce6
00002beb: JUMP
00002bec: JUMPDEST
00002bed: PUSH1 0x00
00002bef: PUSH1 0x40
00002bf1: MLOAD
00002bf2: DUP1
00002bf3: DUP4
00002bf4: SUB
00002bf5: DUP2
00002bf6: PUSH1 0x00
00002bf8: DUP8
00002bf9: DUP1
00002bfa: EXTCODESIZE
00002bfb: ISZERO
00002bfc: DUP1
00002bfd: ISZERO
00002bfe: PUSH2 0x2c06
00002c01: JUMPI
00002c02: PUSH1 0x00
00002c04: DUP1
00002c05: REVERT
00002c06: JUMPDEST
00002c07: POP
00002c08: GAS
00002c09: CALL
00002c0a: ISZERO
00002c0b: DUP1
00002c0c: ISZERO
00002c0d: PUSH2 0x2c1a
00002c10: JUMPI
00002c11: RETURNDATASIZE
00002c12: PUSH1 0x00
00002c14: DUP1
00002c15: RETURNDATACOPY
00002c16: RETURNDATASIZE
00002c17: PUSH1 0x00
00002c19: REVERT
00002c1a: JUMPDEST
00002c1b: POP
00002c1c: POP
00002c1d: POP
00002c1e: POP
00002c1f: PUSH1 0x00
00002c21: PUSH1 0x08
00002c23: PUSH1 0x00
00002c25: DUP8
00002c26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c3b: AND
00002c3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c51: AND
00002c52: DUP2
00002c53: MSTORE
00002c54: PUSH1 0x20
00002c56: ADD
00002c57: SWAP1
00002c58: DUP2
00002c59: MSTORE
00002c5a: PUSH1 0x20
00002c5c: ADD
00002c5d: PUSH1 0x00
00002c5f: KECCAK256
00002c60: SLOAD
00002c61: SUB
00002c62: PUSH2 0x2c7e
00002c65: JUMPI
00002c66: PUSH1 0x09
00002c68: PUSH1 0x00
00002c6a: DUP2
00002c6b: SLOAD
00002c6c: DUP1
00002c6d: SWAP3
00002c6e: SWAP2
00002c6f: SWAP1
00002c70: PUSH2 0x2c78
00002c73: SWAP1
00002c74: PUSH2 0x3d39
00002c77: JUMP
00002c78: JUMPDEST
00002c79: SWAP2
00002c7a: SWAP1
00002c7b: POP
00002c7c: SSTORE
00002c7d: POP
00002c7e: JUMPDEST
00002c7f: DUP4
00002c80: PUSH1 0x08
00002c82: PUSH1 0x00
00002c84: DUP8
00002c85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c9a: AND
00002c9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cb0: AND
00002cb1: DUP2
00002cb2: MSTORE
00002cb3: PUSH1 0x20
00002cb5: ADD
00002cb6: SWAP1
00002cb7: DUP2
00002cb8: MSTORE
00002cb9: PUSH1 0x20
00002cbb: ADD
00002cbc: PUSH1 0x00
00002cbe: KECCAK256
00002cbf: PUSH1 0x00
00002cc1: DUP3
00002cc2: DUP3
00002cc3: SLOAD
00002cc4: PUSH2 0x2ccd
00002cc7: SWAP2
00002cc8: SWAP1
00002cc9: PUSH2 0x353a
00002ccc: JUMP
00002ccd: JUMPDEST
00002cce: SWAP3
00002ccf: POP
00002cd0: POP
00002cd1: DUP2
00002cd2: SWAP1
00002cd3: SSTORE
00002cd4: POP
00002cd5: TIMESTAMP
00002cd6: PUSH1 0x0a
00002cd8: PUSH1 0x00
00002cda: DUP8
00002cdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cf0: AND
00002cf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d06: AND
00002d07: DUP2
00002d08: MSTORE
00002d09: PUSH1 0x20
00002d0b: ADD
00002d0c: SWAP1
00002d0d: DUP2
00002d0e: MSTORE
00002d0f: PUSH1 0x20
00002d11: ADD
00002d12: PUSH1 0x00
00002d14: KECCAK256
00002d15: DUP2
00002d16: SWAP1
00002d17: SSTORE
00002d18: POP
00002d19: POP
00002d1a: POP
00002d1b: POP
00002d1c: POP
00002d1d: POP
00002d1e: JUMP
00002d1f: JUMPDEST
00002d20: PUSH1 0x06
00002d22: SLOAD
00002d23: TIMESTAMP
00002d24: LT
00002d25: PUSH2 0x2db5
00002d28: JUMPI
00002d29: PUSH1 0x00
00002d2b: PUSH1 0x07
00002d2d: PUSH1 0x00
00002d2f: PUSH2 0x0100
00002d32: EXP
00002d33: DUP2
00002d34: SLOAD
00002d35: DUP2
00002d36: PUSH1 0xff
00002d38: MUL
00002d39: NOT
00002d3a: AND
00002d3b: SWAP1
00002d3c: DUP4
00002d3d: ISZERO
00002d3e: ISZERO
00002d3f: MUL
00002d40: OR
00002d41: SWAP1
00002d42: SSTORE
00002d43: POP
00002d44: PUSH32 0xfdf3d54325455610d7cdbcff32d70b1eb1243fa1a9be6b95f817b1b8b2b2a65d
00002d65: PUSH1 0x40
00002d67: MLOAD
00002d68: PUSH2 0x2d70
00002d6b: SWAP1
00002d6c: PUSH2 0x3dcd
00002d6f: JUMP
00002d70: JUMPDEST
00002d71: PUSH1 0x40
00002d73: MLOAD
00002d74: DUP1
00002d75: SWAP2
00002d76: SUB
00002d77: SWAP1
00002d78: LOG1
00002d79: PUSH32 0xc75413bb803e9f5f8572b10a8262838386a1bc5db1743ff399db4f5c32f4691e
00002d9a: PUSH1 0x00
00002d9c: PUSH1 0x40
00002d9e: MLOAD
00002d9f: PUSH2 0x2da8
00002da2: SWAP2
00002da3: SWAP1
00002da4: PUSH2 0x3402
00002da7: JUMP
00002da8: JUMPDEST
00002da9: PUSH1 0x40
00002dab: MLOAD
00002dac: DUP1
00002dad: SWAP2
00002dae: SUB
00002daf: SWAP1
00002db0: LOG1
00002db1: PUSH2 0x2ee7
00002db4: JUMP
00002db5: JUMPDEST
00002db6: PUSH8 0x8ac7230489e80000
00002dbf: PUSH32 0x00000000000000000000000024763f4d35db3a693612e290d02a250d4a960945
00002de0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002df5: AND
00002df6: PUSH4 0x70a08231
00002dfb: ADDRESS
00002dfc: PUSH1 0x40
00002dfe: MLOAD
00002dff: DUP3
00002e00: PUSH4 0xffffffff
00002e05: AND
00002e06: PUSH1 0xe0
00002e08: SHL
00002e09: DUP2
00002e0a: MSTORE
00002e0b: PUSH1 0x04
00002e0d: ADD
00002e0e: PUSH2 0x2e17
00002e11: SWAP2
00002e12: SWAP1
00002e13: PUSH2 0x3455
00002e16: JUMP
00002e17: JUMPDEST
00002e18: PUSH1 0x20
00002e1a: PUSH1 0x40
00002e1c: MLOAD
00002e1d: DUP1
00002e1e: DUP4
00002e1f: SUB
00002e20: DUP2
00002e21: DUP7
00002e22: GAS
00002e23: STATICCALL
00002e24: ISZERO
00002e25: DUP1
00002e26: ISZERO
00002e27: PUSH2 0x2e34
00002e2a: JUMPI
00002e2b: RETURNDATASIZE
00002e2c: PUSH1 0x00
00002e2e: DUP1
00002e2f: RETURNDATACOPY
00002e30: RETURNDATASIZE
00002e31: PUSH1 0x00
00002e33: REVERT
00002e34: JUMPDEST
00002e35: POP
00002e36: POP
00002e37: POP
00002e38: POP
00002e39: PUSH1 0x40
00002e3b: MLOAD
00002e3c: RETURNDATASIZE
00002e3d: PUSH1 0x1f
00002e3f: NOT
00002e40: PUSH1 0x1f
00002e42: DUP3
00002e43: ADD
00002e44: AND
00002e45: DUP3
00002e46: ADD
00002e47: DUP1
00002e48: PUSH1 0x40
00002e4a: MSTORE
00002e4b: POP
00002e4c: DUP2
00002e4d: ADD
00002e4e: SWAP1
00002e4f: PUSH2 0x2e58
00002e52: SWAP2
00002e53: SWAP1
00002e54: PUSH2 0x34de
00002e57: JUMP
00002e58: JUMPDEST
00002e59: GT
00002e5a: PUSH2 0x2ee6
00002e5d: JUMPI
00002e5e: PUSH1 0x00
00002e60: PUSH1 0x07
00002e62: PUSH1 0x00
00002e64: PUSH2 0x0100
00002e67: EXP
00002e68: DUP2
00002e69: SLOAD
00002e6a: DUP2
00002e6b: PUSH1 0xff
00002e6d: MUL
00002e6e: NOT
00002e6f: AND
00002e70: SWAP1
00002e71: DUP4
00002e72: ISZERO
00002e73: ISZERO
00002e74: MUL
00002e75: OR
00002e76: SWAP1
00002e77: SSTORE
00002e78: POP
00002e79: PUSH32 0xfdf3d54325455610d7cdbcff32d70b1eb1243fa1a9be6b95f817b1b8b2b2a65d
00002e9a: PUSH1 0x40
00002e9c: MLOAD
00002e9d: PUSH2 0x2ea5
00002ea0: SWAP1
00002ea1: PUSH2 0x3e39
00002ea4: JUMP
00002ea5: JUMPDEST
00002ea6: PUSH1 0x40
00002ea8: MLOAD
00002ea9: DUP1
00002eaa: SWAP2
00002eab: SUB
00002eac: SWAP1
00002ead: LOG1
00002eae: PUSH32 0xc75413bb803e9f5f8572b10a8262838386a1bc5db1743ff399db4f5c32f4691e
00002ecf: PUSH1 0x00
00002ed1: PUSH1 0x40
00002ed3: MLOAD
00002ed4: PUSH2 0x2edd
00002ed7: SWAP2
00002ed8: SWAP1
00002ed9: PUSH2 0x3402
00002edc: JUMP
00002edd: JUMPDEST
00002ede: PUSH1 0x40
00002ee0: MLOAD
00002ee1: DUP1
00002ee2: SWAP2
00002ee3: SUB
00002ee4: SWAP1
00002ee5: LOG1
00002ee6: JUMPDEST
00002ee7: JUMPDEST
00002ee8: JUMP
00002ee9: JUMPDEST
00002eea: PUSH1 0x01
00002eec: PUSH1 0x02
00002eee: DUP2
00002eef: SWAP1
00002ef0: SSTORE
00002ef1: POP
00002ef2: JUMP
00002ef3: JUMPDEST
00002ef4: PUSH2 0x2efb
00002ef7: PUSH2 0x302a
00002efa: JUMP
00002efb: JUMPDEST
00002efc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f11: AND
00002f12: PUSH2 0x2f19
00002f15: PUSH2 0x1b62
00002f18: JUMP
00002f19: JUMPDEST
00002f1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f2f: AND
00002f30: EQ
00002f31: PUSH2 0x2f78
00002f34: JUMPI
00002f35: PUSH2 0x2f3c
00002f38: PUSH2 0x302a
00002f3b: JUMP
00002f3c: JUMPDEST
00002f3d: PUSH1 0x40
00002f3f: MLOAD
00002f40: PUSH32 0x118cdaa700000000000000000000000000000000000000000000000000000000
00002f61: DUP2
00002f62: MSTORE
00002f63: PUSH1 0x04
00002f65: ADD
00002f66: PUSH2 0x2f6f
00002f69: SWAP2
00002f6a: SWAP1
00002f6b: PUSH2 0x3455
00002f6e: JUMP
00002f6f: JUMPDEST
00002f70: PUSH1 0x40
00002f72: MLOAD
00002f73: DUP1
00002f74: SWAP2
00002f75: SUB
00002f76: SWAP1
00002f77: REVERT
00002f78: JUMPDEST
00002f79: JUMP
00002f7a: JUMPDEST
00002f7b: PUSH2 0x2ff4
00002f7e: DUP4
00002f7f: DUP5
00002f80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f95: AND
00002f96: PUSH4 0xa9059cbb
00002f9b: DUP6
00002f9c: DUP6
00002f9d: PUSH1 0x40
00002f9f: MLOAD
00002fa0: PUSH1 0x24
00002fa2: ADD
00002fa3: PUSH2 0x2fad
00002fa6: SWAP3
00002fa7: SWAP2
00002fa8: SWAP1
00002fa9: PUSH2 0x3e59
00002fac: JUMP
00002fad: JUMPDEST
00002fae: PUSH1 0x40
00002fb0: MLOAD
00002fb1: PUSH1 0x20
00002fb3: DUP2
00002fb4: DUP4
00002fb5: SUB
00002fb6: SUB
00002fb7: DUP2
00002fb8: MSTORE
00002fb9: SWAP1
00002fba: PUSH1 0x40
00002fbc: MSTORE
00002fbd: SWAP2
00002fbe: POP
00002fbf: PUSH1 0xe0
00002fc1: SHL
00002fc2: PUSH1 0x20
00002fc4: DUP3
00002fc5: ADD
00002fc6: DUP1
00002fc7: MLOAD
00002fc8: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002fe5: DUP4
00002fe6: DUP2
00002fe7: DUP4
00002fe8: AND
00002fe9: OR
00002fea: DUP4
00002feb: MSTORE
00002fec: POP
00002fed: POP
00002fee: POP
00002fef: POP
00002ff0: PUSH2 0x3032
00002ff3: JUMP
00002ff4: JUMPDEST
00002ff5: POP
00002ff6: POP
00002ff7: POP
00002ff8: JUMP
00002ff9: JUMPDEST
00002ffa: PUSH1 0x01
00002ffc: PUSH1 0x00
00002ffe: PUSH2 0x0100
00003001: EXP
00003002: DUP2
00003003: SLOAD
00003004: SWAP1
00003005: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000301a: MUL
0000301b: NOT
0000301c: AND
0000301d: SWAP1
0000301e: SSTORE
0000301f: PUSH2 0x3027
00003022: DUP2
00003023: PUSH2 0x30d4
00003026: JUMP
00003027: JUMPDEST
00003028: POP
00003029: JUMP
0000302a: JUMPDEST
0000302b: PUSH1 0x00
0000302d: CALLER
0000302e: SWAP1
0000302f: POP
00003030: SWAP1
00003031: JUMP
00003032: JUMPDEST
00003033: PUSH1 0x00
00003035: DUP1
00003036: PUSH1 0x20
00003038: PUSH1 0x00
0000303a: DUP5
0000303b: MLOAD
0000303c: PUSH1 0x20
0000303e: DUP7
0000303f: ADD
00003040: PUSH1 0x00
00003042: DUP9
00003043: GAS
00003044: CALL
00003045: DUP1
00003046: PUSH2 0x3055
00003049: JUMPI
0000304a: PUSH1 0x40
0000304c: MLOAD
0000304d: RETURNDATASIZE
0000304e: PUSH1 0x00
00003050: DUP3
00003051: RETURNDATACOPY
00003052: RETURNDATASIZE
00003053: DUP2
00003054: REVERT
00003055: JUMPDEST
00003056: RETURNDATASIZE
00003057: SWAP3
00003058: POP
00003059: PUSH1 0x00
0000305b: MLOAD
0000305c: SWAP2
0000305d: POP
0000305e: POP
0000305f: PUSH1 0x00
00003061: DUP3
00003062: EQ
00003063: PUSH2 0x3070
00003066: JUMPI
00003067: PUSH1 0x01
00003069: DUP2
0000306a: EQ
0000306b: ISZERO
0000306c: PUSH2 0x308c
0000306f: JUMP
00003070: JUMPDEST
00003071: PUSH1 0x00
00003073: DUP5
00003074: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003089: AND
0000308a: EXTCODESIZE
0000308b: EQ
0000308c: JUMPDEST
0000308d: ISZERO
0000308e: PUSH2 0x30ce
00003091: JUMPI
00003092: DUP4
00003093: PUSH1 0x40
00003095: MLOAD
00003096: PUSH32 0x5274afe700000000000000000000000000000000000000000000000000000000
000030b7: DUP2
000030b8: MSTORE
000030b9: PUSH1 0x04
000030bb: ADD
000030bc: PUSH2 0x30c5
000030bf: SWAP2
000030c0: SWAP1
000030c1: PUSH2 0x3455
000030c4: JUMP
000030c5: JUMPDEST
000030c6: PUSH1 0x40
000030c8: MLOAD
000030c9: DUP1
000030ca: SWAP2
000030cb: SUB
000030cc: SWAP1
000030cd: REVERT
000030ce: JUMPDEST
000030cf: POP
000030d0: POP
000030d1: POP
000030d2: POP
000030d3: JUMP
000030d4: JUMPDEST
000030d5: PUSH1 0x00
000030d7: DUP1
000030d8: PUSH1 0x00
000030da: SWAP1
000030db: SLOAD
000030dc: SWAP1
000030dd: PUSH2 0x0100
000030e0: EXP
000030e1: SWAP1
000030e2: DIV
000030e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000030f8: AND
000030f9: SWAP1
000030fa: POP
000030fb: DUP2
000030fc: PUSH1 0x00
000030fe: DUP1
000030ff: PUSH2 0x0100
00003102: EXP
00003103: DUP2
00003104: SLOAD
00003105: DUP2
00003106: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000311b: MUL
0000311c: NOT
0000311d: AND
0000311e: SWAP1
0000311f: DUP4
00003120: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003135: AND
00003136: MUL
00003137: OR
00003138: SWAP1
00003139: SSTORE
0000313a: POP
0000313b: DUP2
0000313c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003151: AND
00003152: DUP2
00003153: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003168: AND
00003169: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000318a: PUSH1 0x40
0000318c: MLOAD
0000318d: PUSH1 0x40
0000318f: MLOAD
00003190: DUP1
00003191: SWAP2
00003192: SUB
00003193: SWAP1
00003194: LOG3
00003195: POP
00003196: POP
00003197: JUMP
00003198: JUMPDEST
00003199: PUSH1 0x00
0000319b: DUP2
0000319c: SWAP1
0000319d: POP
0000319e: SWAP2
0000319f: SWAP1
000031a0: POP
000031a1: JUMP
000031a2: JUMPDEST
000031a3: PUSH2 0x31ab
000031a6: DUP2
000031a7: PUSH2 0x3198
000031aa: JUMP
000031ab: JUMPDEST
000031ac: DUP3
000031ad: MSTORE
000031ae: POP
000031af: POP
000031b0: JUMP
000031b1: JUMPDEST
000031b2: PUSH1 0x00
000031b4: PUSH1 0x20
000031b6: DUP3
000031b7: ADD
000031b8: SWAP1
000031b9: POP
000031ba: PUSH2 0x31c6
000031bd: PUSH1 0x00
000031bf: DUP4
000031c0: ADD
000031c1: DUP5
000031c2: PUSH2 0x31a2
000031c5: JUMP
000031c6: JUMPDEST
000031c7: SWAP3
000031c8: SWAP2
000031c9: POP
000031ca: POP
000031cb: JUMP
000031cc: JUMPDEST
000031cd: PUSH1 0x00
000031cf: DUP1
000031d0: REVERT
000031d1: JUMPDEST
000031d2: PUSH2 0x31da
000031d5: DUP2
000031d6: PUSH2 0x3198
000031d9: JUMP
000031da: JUMPDEST
000031db: DUP2
000031dc: EQ
000031dd: PUSH2 0x31e5
000031e0: JUMPI
000031e1: PUSH1 0x00
000031e3: DUP1
000031e4: REVERT
000031e5: JUMPDEST
000031e6: POP
000031e7: JUMP
000031e8: JUMPDEST
000031e9: PUSH1 0x00
000031eb: DUP2
000031ec: CALLDATALOAD
000031ed: SWAP1
000031ee: POP
000031ef: PUSH2 0x31f7
000031f2: DUP2
000031f3: PUSH2 0x31d1
000031f6: JUMP
000031f7: JUMPDEST
000031f8: SWAP3
000031f9: SWAP2
000031fa: POP
000031fb: POP
000031fc: JUMP
000031fd: JUMPDEST
000031fe: PUSH1 0x00
00003200: DUP1
00003201: PUSH1 0x40
00003203: DUP4
00003204: DUP6
00003205: SUB
00003206: SLT
00003207: ISZERO
00003208: PUSH2 0x3214
0000320b: JUMPI
0000320c: PUSH2 0x3213
0000320f: PUSH2 0x31cc
00003212: JUMP
00003213: JUMPDEST
00003214: JUMPDEST
00003215: PUSH1 0x00
00003217: PUSH2 0x3222
0000321a: DUP6
0000321b: DUP3
0000321c: DUP7
0000321d: ADD
0000321e: PUSH2 0x31e8
00003221: JUMP
00003222: JUMPDEST
00003223: SWAP3
00003224: POP
00003225: POP
00003226: PUSH1 0x20
00003228: PUSH2 0x3233
0000322b: DUP6
0000322c: DUP3
0000322d: DUP7
0000322e: ADD
0000322f: PUSH2 0x31e8
00003232: JUMP
00003233: JUMPDEST
00003234: SWAP2
00003235: POP
00003236: POP
00003237: SWAP3
00003238: POP
00003239: SWAP3
0000323a: SWAP1
0000323b: POP
0000323c: JUMP
0000323d: JUMPDEST
0000323e: PUSH1 0x00
00003240: PUSH1 0x20
00003242: DUP3
00003243: DUP5
00003244: SUB
00003245: SLT
00003246: ISZERO
00003247: PUSH2 0x3253
0000324a: JUMPI
0000324b: PUSH2 0x3252
0000324e: PUSH2 0x31cc
00003251: JUMP
00003252: JUMPDEST
00003253: JUMPDEST
00003254: PUSH1 0x00
00003256: PUSH2 0x3261
00003259: DUP5
0000325a: DUP3
0000325b: DUP6
0000325c: ADD
0000325d: PUSH2 0x31e8
00003260: JUMP
00003261: JUMPDEST
00003262: SWAP2
00003263: POP
00003264: POP
00003265: SWAP3
00003266: SWAP2
00003267: POP
00003268: POP
00003269: JUMP
0000326a: JUMPDEST
0000326b: PUSH1 0x00
0000326d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003282: DUP3
00003283: AND
00003284: SWAP1
00003285: POP
00003286: SWAP2
00003287: SWAP1
00003288: POP
00003289: JUMP
0000328a: JUMPDEST
0000328b: PUSH1 0x00
0000328d: DUP2
0000328e: SWAP1
0000328f: POP
00003290: SWAP2
00003291: SWAP1
00003292: POP
00003293: JUMP
00003294: JUMPDEST
00003295: PUSH1 0x00
00003297: PUSH2 0x32af
0000329a: PUSH2 0x32aa
0000329d: PUSH2 0x32a5
000032a0: DUP5
000032a1: PUSH2 0x326a
000032a4: JUMP
000032a5: JUMPDEST
000032a6: PUSH2 0x328a
000032a9: JUMP
000032aa: JUMPDEST
000032ab: PUSH2 0x326a
000032ae: JUMP
000032af: JUMPDEST
000032b0: SWAP1
000032b1: POP
000032b2: SWAP2
000032b3: SWAP1
000032b4: POP
000032b5: JUMP
000032b6: JUMPDEST
000032b7: PUSH1 0x00
000032b9: PUSH2 0x32c1
000032bc: DUP3
000032bd: PUSH2 0x3294
000032c0: JUMP
000032c1: JUMPDEST
000032c2: SWAP1
000032c3: POP
000032c4: SWAP2
000032c5: SWAP1
000032c6: POP
000032c7: JUMP
000032c8: JUMPDEST
000032c9: PUSH1 0x00
000032cb: PUSH2 0x32d3
000032ce: DUP3
000032cf: PUSH2 0x32b6
000032d2: JUMP
000032d3: JUMPDEST
000032d4: SWAP1
000032d5: POP
000032d6: SWAP2
000032d7: SWAP1
000032d8: POP
000032d9: JUMP
000032da: JUMPDEST
000032db: PUSH2 0x32e3
000032de: DUP2
000032df: PUSH2 0x32c8
000032e2: JUMP
000032e3: JUMPDEST
000032e4: DUP3
000032e5: MSTORE
000032e6: POP
000032e7: POP
000032e8: JUMP
000032e9: JUMPDEST
000032ea: PUSH1 0x00
000032ec: PUSH1 0x20
000032ee: DUP3
000032ef: ADD
000032f0: SWAP1
000032f1: POP
000032f2: PUSH2 0x32fe
000032f5: PUSH1 0x00
000032f7: DUP4
000032f8: ADD
000032f9: DUP5
000032fa: PUSH2 0x32da
000032fd: JUMP
000032fe: JUMPDEST
000032ff: SWAP3
00003300: SWAP2
00003301: POP
00003302: POP
00003303: JUMP
00003304: JUMPDEST
00003305: PUSH1 0x00
00003307: PUSH2 0x330f
0000330a: DUP3
0000330b: PUSH2 0x32b6
0000330e: JUMP
0000330f: JUMPDEST
00003310: SWAP1
00003311: POP
00003312: SWAP2
00003313: SWAP1
00003314: POP
00003315: JUMP
00003316: JUMPDEST
00003317: PUSH2 0x331f
0000331a: DUP2
0000331b: PUSH2 0x3304
0000331e: JUMP
0000331f: JUMPDEST
00003320: DUP3
00003321: MSTORE
00003322: POP
00003323: POP
00003324: JUMP
00003325: JUMPDEST
00003326: PUSH1 0x00
00003328: PUSH1 0x20
0000332a: DUP3
0000332b: ADD
0000332c: SWAP1
0000332d: POP
0000332e: PUSH2 0x333a
00003331: PUSH1 0x00
00003333: DUP4
00003334: ADD
00003335: DUP5
00003336: PUSH2 0x3316
00003339: JUMP
0000333a: JUMPDEST
0000333b: SWAP3
0000333c: SWAP2
0000333d: POP
0000333e: POP
0000333f: JUMP
00003340: JUMPDEST
00003341: PUSH1 0x00
00003343: PUSH2 0x334b
00003346: DUP3
00003347: PUSH2 0x326a
0000334a: JUMP
0000334b: JUMPDEST
0000334c: SWAP1
0000334d: POP
0000334e: SWAP2
0000334f: SWAP1
00003350: POP
00003351: JUMP
00003352: JUMPDEST
00003353: PUSH2 0x335b
00003356: DUP2
00003357: PUSH2 0x3340
0000335a: JUMP
0000335b: JUMPDEST
0000335c: DUP2
0000335d: EQ
0000335e: PUSH2 0x3366
00003361: JUMPI
00003362: PUSH1 0x00
00003364: DUP1
00003365: REVERT
00003366: JUMPDEST
00003367: POP
00003368: JUMP
00003369: JUMPDEST
0000336a: PUSH1 0x00
0000336c: DUP2
0000336d: CALLDATALOAD
0000336e: SWAP1
0000336f: POP
00003370: PUSH2 0x3378
00003373: DUP2
00003374: PUSH2 0x3352
00003377: JUMP
00003378: JUMPDEST
00003379: SWAP3
0000337a: SWAP2
0000337b: POP
0000337c: POP
0000337d: JUMP
0000337e: JUMPDEST
0000337f: PUSH1 0x00
00003381: PUSH1 0x20
00003383: DUP3
00003384: DUP5
00003385: SUB
00003386: SLT
00003387: ISZERO
00003388: PUSH2 0x3394
0000338b: JUMPI
0000338c: PUSH2 0x3393
0000338f: PUSH2 0x31cc
00003392: JUMP
00003393: JUMPDEST
00003394: JUMPDEST
00003395: PUSH1 0x00
00003397: PUSH2 0x33a2
0000339a: DUP5
0000339b: DUP3
0000339c: DUP6
0000339d: ADD
0000339e: PUSH2 0x3369
000033a1: JUMP
000033a2: JUMPDEST
000033a3: SWAP2
000033a4: POP
000033a5: POP
000033a6: SWAP3
000033a7: SWAP2
000033a8: POP
000033a9: POP
000033aa: JUMP
000033ab: JUMPDEST
000033ac: PUSH1 0x00
000033ae: PUSH2 0x33b6
000033b1: DUP3
000033b2: PUSH2 0x32b6
000033b5: JUMP
000033b6: JUMPDEST
000033b7: SWAP1
000033b8: POP
000033b9: SWAP2
000033ba: SWAP1
000033bb: POP
000033bc: JUMP
000033bd: JUMPDEST
000033be: PUSH2 0x33c6
000033c1: DUP2
000033c2: PUSH2 0x33ab
000033c5: JUMP
000033c6: JUMPDEST
000033c7: DUP3
000033c8: MSTORE
000033c9: POP
000033ca: POP
000033cb: JUMP
000033cc: JUMPDEST
000033cd: PUSH1 0x00
000033cf: PUSH1 0x20
000033d1: DUP3
000033d2: ADD
000033d3: SWAP1
000033d4: POP
000033d5: PUSH2 0x33e1
000033d8: PUSH1 0x00
000033da: DUP4
000033db: ADD
000033dc: DUP5
000033dd: PUSH2 0x33bd
000033e0: JUMP
000033e1: JUMPDEST
000033e2: SWAP3
000033e3: SWAP2
000033e4: POP
000033e5: POP
000033e6: JUMP
000033e7: JUMPDEST
000033e8: PUSH1 0x00
000033ea: DUP2
000033eb: ISZERO
000033ec: ISZERO
000033ed: SWAP1
000033ee: POP
000033ef: SWAP2
000033f0: SWAP1
000033f1: POP
000033f2: JUMP
000033f3: JUMPDEST
000033f4: PUSH2 0x33fc
000033f7: DUP2
000033f8: PUSH2 0x33e7
000033fb: JUMP
000033fc: JUMPDEST
000033fd: DUP3
000033fe: MSTORE
000033ff: POP
00003400: POP
00003401: JUMP
00003402: JUMPDEST
00003403: PUSH1 0x00
00003405: PUSH1 0x20
00003407: DUP3
00003408: ADD
00003409: SWAP1
0000340a: POP
0000340b: PUSH2 0x3417
0000340e: PUSH1 0x00
00003410: DUP4
00003411: ADD
00003412: DUP5
00003413: PUSH2 0x33f3
00003416: JUMP
00003417: JUMPDEST
00003418: SWAP3
00003419: SWAP2
0000341a: POP
0000341b: POP
0000341c: JUMP
0000341d: JUMPDEST
0000341e: PUSH1 0x00
00003420: PUSH1 0x40
00003422: DUP3
00003423: ADD
00003424: SWAP1
00003425: POP
00003426: PUSH2 0x3432
00003429: PUSH1 0x00
0000342b: DUP4
0000342c: ADD
0000342d: DUP6
0000342e: PUSH2 0x31a2
00003431: JUMP
00003432: JUMPDEST
00003433: PUSH2 0x343f
00003436: PUSH1 0x20
00003438: DUP4
00003439: ADD
0000343a: DUP5
0000343b: PUSH2 0x31a2
0000343e: JUMP
0000343f: JUMPDEST
00003440: SWAP4
00003441: SWAP3
00003442: POP
00003443: POP
00003444: POP
00003445: JUMP
00003446: JUMPDEST
00003447: PUSH2 0x344f
0000344a: DUP2
0000344b: PUSH2 0x3340
0000344e: JUMP
0000344f: JUMPDEST
00003450: DUP3
00003451: MSTORE
00003452: POP
00003453: POP
00003454: JUMP
00003455: JUMPDEST
00003456: PUSH1 0x00
00003458: PUSH1 0x20
0000345a: DUP3
0000345b: ADD
0000345c: SWAP1
0000345d: POP
0000345e: PUSH2 0x346a
00003461: PUSH1 0x00
00003463: DUP4
00003464: ADD
00003465: DUP5
00003466: PUSH2 0x3446
00003469: JUMP
0000346a: JUMPDEST
0000346b: SWAP3
0000346c: SWAP2
0000346d: POP
0000346e: POP
0000346f: JUMP
00003470: JUMPDEST
00003471: PUSH2 0x3479
00003474: DUP2
00003475: PUSH2 0x33e7
00003478: JUMP
00003479: JUMPDEST
0000347a: DUP2
0000347b: EQ
0000347c: PUSH2 0x3484
0000347f: JUMPI
00003480: PUSH1 0x00
00003482: DUP1
00003483: REVERT
00003484: JUMPDEST
00003485: POP
00003486: JUMP
00003487: JUMPDEST
00003488: PUSH1 0x00
0000348a: DUP2
0000348b: CALLDATALOAD
0000348c: SWAP1
0000348d: POP
0000348e: PUSH2 0x3496
00003491: DUP2
00003492: PUSH2 0x3470
00003495: JUMP
00003496: JUMPDEST
00003497: SWAP3
00003498: SWAP2
00003499: POP
0000349a: POP
0000349b: JUMP
0000349c: JUMPDEST
0000349d: PUSH1 0x00
0000349f: PUSH1 0x20
000034a1: DUP3
000034a2: DUP5
000034a3: SUB
000034a4: SLT
000034a5: ISZERO
000034a6: PUSH2 0x34b2
000034a9: JUMPI
000034aa: PUSH2 0x34b1
000034ad: PUSH2 0x31cc
000034b0: JUMP
000034b1: JUMPDEST
000034b2: JUMPDEST
000034b3: PUSH1 0x00
000034b5: PUSH2 0x34c0
000034b8: DUP5
000034b9: DUP3
000034ba: DUP6
000034bb: ADD
000034bc: PUSH2 0x3487
000034bf: JUMP
000034c0: JUMPDEST
000034c1: SWAP2
000034c2: POP
000034c3: POP
000034c4: SWAP3
000034c5: SWAP2
000034c6: POP
000034c7: POP
000034c8: JUMP
000034c9: JUMPDEST
000034ca: PUSH1 0x00
000034cc: DUP2
000034cd: MLOAD
000034ce: SWAP1
000034cf: POP
000034d0: PUSH2 0x34d8
000034d3: DUP2
000034d4: PUSH2 0x31d1
000034d7: JUMP
000034d8: JUMPDEST
000034d9: SWAP3
000034da: SWAP2
000034db: POP
000034dc: POP
000034dd: JUMP
000034de: JUMPDEST
000034df: PUSH1 0x00
000034e1: PUSH1 0x20
000034e3: DUP3
000034e4: DUP5
000034e5: SUB
000034e6: SLT
000034e7: ISZERO
000034e8: PUSH2 0x34f4
000034eb: JUMPI
000034ec: PUSH2 0x34f3
000034ef: PUSH2 0x31cc
000034f2: JUMP
000034f3: JUMPDEST
000034f4: JUMPDEST
000034f5: PUSH1 0x00
000034f7: PUSH2 0x3502
000034fa: DUP5
000034fb: DUP3
000034fc: DUP6
000034fd: ADD
000034fe: PUSH2 0x34c9
00003501: JUMP
00003502: JUMPDEST
00003503: SWAP2
00003504: POP
00003505: POP
00003506: SWAP3
00003507: SWAP2
00003508: POP
00003509: POP
0000350a: JUMP
0000350b: JUMPDEST
0000350c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000352d: PUSH1 0x00
0000352f: MSTORE
00003530: PUSH1 0x11
00003532: PUSH1 0x04
00003534: MSTORE
00003535: PUSH1 0x24
00003537: PUSH1 0x00
00003539: REVERT
0000353a: JUMPDEST
0000353b: PUSH1 0x00
0000353d: PUSH2 0x3545
00003540: DUP3
00003541: PUSH2 0x3198
00003544: JUMP
00003545: JUMPDEST
00003546: SWAP2
00003547: POP
00003548: PUSH2 0x3550
0000354b: DUP4
0000354c: PUSH2 0x3198
0000354f: JUMP
00003550: JUMPDEST
00003551: SWAP3
00003552: POP
00003553: DUP3
00003554: DUP3
00003555: ADD
00003556: SWAP1
00003557: POP
00003558: DUP1
00003559: DUP3
0000355a: GT
0000355b: ISZERO
0000355c: PUSH2 0x3568
0000355f: JUMPI
00003560: PUSH2 0x3567
00003563: PUSH2 0x350b
00003566: JUMP
00003567: JUMPDEST
00003568: JUMPDEST
00003569: SWAP3
0000356a: SWAP2
0000356b: POP
0000356c: POP
0000356d: JUMP
0000356e: JUMPDEST
0000356f: PUSH1 0x00
00003571: DUP3
00003572: DUP3
00003573: MSTORE
00003574: PUSH1 0x20
00003576: DUP3
00003577: ADD
00003578: SWAP1
00003579: POP
0000357a: SWAP3
0000357b: SWAP2
0000357c: POP
0000357d: POP
0000357e: JUMP
0000357f: JUMPDEST
00003580: PUSH32 0x5553444300000000000000000000000000000000000000000000000000000000
000035a1: PUSH1 0x00
000035a3: DUP3
000035a4: ADD
000035a5: MSTORE
000035a6: POP
000035a7: JUMP
000035a8: JUMPDEST
000035a9: PUSH1 0x00
000035ab: PUSH2 0x35b5
000035ae: PUSH1 0x04
000035b0: DUP4
000035b1: PUSH2 0x356e
000035b4: JUMP
000035b5: JUMPDEST
000035b6: SWAP2
000035b7: POP
000035b8: PUSH2 0x35c0
000035bb: DUP3
000035bc: PUSH2 0x357f
000035bf: JUMP
000035c0: JUMPDEST
000035c1: PUSH1 0x20
000035c3: DUP3
000035c4: ADD
000035c5: SWAP1
000035c6: POP
000035c7: SWAP2
000035c8: SWAP1
000035c9: POP
000035ca: JUMP
000035cb: JUMPDEST
000035cc: PUSH1 0x00
000035ce: PUSH1 0x60
000035d0: DUP3
000035d1: ADD
000035d2: SWAP1
000035d3: POP
000035d4: PUSH2 0x35e0
000035d7: PUSH1 0x00
000035d9: DUP4
000035da: ADD
000035db: DUP6
000035dc: PUSH2 0x31a2
000035df: JUMP
000035e0: JUMPDEST
000035e1: PUSH2 0x35ed
000035e4: PUSH1 0x20
000035e6: DUP4
000035e7: ADD
000035e8: DUP5
000035e9: PUSH2 0x31a2
000035ec: JUMP
000035ed: JUMPDEST
000035ee: DUP2
000035ef: DUP2
000035f0: SUB
000035f1: PUSH1 0x40
000035f3: DUP4
000035f4: ADD
000035f5: MSTORE
000035f6: PUSH2 0x35fe
000035f9: DUP2
000035fa: PUSH2 0x35a8
000035fd: JUMP
000035fe: JUMPDEST
000035ff: SWAP1
00003600: POP
00003601: SWAP4
00003602: SWAP3
00003603: POP
00003604: POP
00003605: POP
00003606: JUMP
00003607: JUMPDEST
00003608: PUSH1 0x00
0000360a: PUSH2 0x3612
0000360d: DUP3
0000360e: PUSH2 0x3198
00003611: JUMP
00003612: JUMPDEST
00003613: SWAP2
00003614: POP
00003615: PUSH2 0x361d
00003618: DUP4
00003619: PUSH2 0x3198
0000361c: JUMP
0000361d: JUMPDEST
0000361e: SWAP3
0000361f: POP
00003620: DUP3
00003621: DUP3
00003622: MUL
00003623: PUSH2 0x362b
00003626: DUP2
00003627: PUSH2 0x3198
0000362a: JUMP
0000362b: JUMPDEST
0000362c: SWAP2
0000362d: POP
0000362e: DUP3
0000362f: DUP3
00003630: DIV
00003631: DUP5
00003632: EQ
00003633: DUP4
00003634: ISZERO
00003635: OR
00003636: PUSH2 0x3642
00003639: JUMPI
0000363a: PUSH2 0x3641
0000363d: PUSH2 0x350b
00003640: JUMP
00003641: JUMPDEST
00003642: JUMPDEST
00003643: POP
00003644: SWAP3
00003645: SWAP2
00003646: POP
00003647: POP
00003648: JUMP
00003649: JUMPDEST
0000364a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000366b: PUSH1 0x00
0000366d: MSTORE
0000366e: PUSH1 0x12
00003670: PUSH1 0x04
00003672: MSTORE
00003673: PUSH1 0x24
00003675: PUSH1 0x00
00003677: REVERT
00003678: JUMPDEST
00003679: PUSH1 0x00
0000367b: PUSH2 0x3683
0000367e: DUP3
0000367f: PUSH2 0x3198
00003682: JUMP
00003683: JUMPDEST
00003684: SWAP2
00003685: POP
00003686: PUSH2 0x368e
00003689: DUP4
0000368a: PUSH2 0x3198
0000368d: JUMP
0000368e: JUMPDEST
0000368f: SWAP3
00003690: POP
00003691: DUP3
00003692: PUSH2 0x369e
00003695: JUMPI
00003696: PUSH2 0x369d
00003699: PUSH2 0x3649
0000369c: JUMP
0000369d: JUMPDEST
0000369e: JUMPDEST
0000369f: DUP3
000036a0: DUP3
000036a1: DIV
000036a2: SWAP1
000036a3: POP
000036a4: SWAP3
000036a5: SWAP2
000036a6: POP
000036a7: POP
000036a8: JUMP
000036a9: JUMPDEST
000036aa: PUSH1 0x00
000036ac: DUP2
000036ad: SWAP1
000036ae: POP
000036af: SWAP3
000036b0: SWAP2
000036b1: POP
000036b2: POP
000036b3: JUMP
000036b4: JUMPDEST
000036b5: POP
000036b6: JUMP
000036b7: JUMPDEST
000036b8: PUSH1 0x00
000036ba: PUSH2 0x36c4
000036bd: PUSH1 0x00
000036bf: DUP4
000036c0: PUSH2 0x36a9
000036c3: JUMP
000036c4: JUMPDEST
000036c5: SWAP2
000036c6: POP
000036c7: PUSH2 0x36cf
000036ca: DUP3
000036cb: PUSH2 0x36b4
000036ce: JUMP
000036cf: JUMPDEST
000036d0: PUSH1 0x00
000036d2: DUP3
000036d3: ADD
000036d4: SWAP1
000036d5: POP
000036d6: SWAP2
000036d7: SWAP1
000036d8: POP
000036d9: JUMP
000036da: JUMPDEST
000036db: PUSH1 0x00
000036dd: PUSH2 0x36e5
000036e0: DUP3
000036e1: PUSH2 0x36b7
000036e4: JUMP
000036e5: JUMPDEST
000036e6: SWAP2
000036e7: POP
000036e8: DUP2
000036e9: SWAP1
000036ea: POP
000036eb: SWAP2
000036ec: SWAP1
000036ed: POP
000036ee: JUMP
000036ef: JUMPDEST
000036f0: PUSH32 0x4554480000000000000000000000000000000000000000000000000000000000
00003711: PUSH1 0x00
00003713: DUP3
00003714: ADD
00003715: MSTORE
00003716: POP
00003717: JUMP
00003718: JUMPDEST
00003719: PUSH1 0x00
0000371b: PUSH2 0x3725
0000371e: PUSH1 0x03
00003720: DUP4
00003721: PUSH2 0x356e
00003724: JUMP
00003725: JUMPDEST
00003726: SWAP2
00003727: POP
00003728: PUSH2 0x3730
0000372b: DUP3
0000372c: PUSH2 0x36ef
0000372f: JUMP
00003730: JUMPDEST
00003731: PUSH1 0x20
00003733: DUP3
00003734: ADD
00003735: SWAP1
00003736: POP
00003737: SWAP2
00003738: SWAP1
00003739: POP
0000373a: JUMP
0000373b: JUMPDEST
0000373c: PUSH1 0x00
0000373e: PUSH1 0x40
00003740: DUP3
00003741: ADD
00003742: SWAP1
00003743: POP
00003744: PUSH2 0x3750
00003747: PUSH1 0x00
00003749: DUP4
0000374a: ADD
0000374b: DUP5
0000374c: PUSH2 0x31a2
0000374f: JUMP
00003750: JUMPDEST
00003751: DUP2
00003752: DUP2
00003753: SUB
00003754: PUSH1 0x20
00003756: DUP4
00003757: ADD
00003758: MSTORE
00003759: PUSH2 0x3761
0000375c: DUP2
0000375d: PUSH2 0x3718
00003760: JUMP
00003761: JUMPDEST
00003762: SWAP1
00003763: POP
00003764: SWAP3
00003765: SWAP2
00003766: POP
00003767: POP
00003768: JUMP
00003769: JUMPDEST
0000376a: PUSH32 0x5553445400000000000000000000000000000000000000000000000000000000
0000378b: PUSH1 0x00
0000378d: DUP3
0000378e: ADD
0000378f: MSTORE
00003790: POP
00003791: JUMP
00003792: JUMPDEST
00003793: PUSH1 0x00
00003795: PUSH2 0x379f
00003798: PUSH1 0x04
0000379a: DUP4
0000379b: PUSH2 0x356e
0000379e: JUMP
0000379f: JUMPDEST
000037a0: SWAP2
000037a1: POP
000037a2: PUSH2 0x37aa
000037a5: DUP3
000037a6: PUSH2 0x3769
000037a9: JUMP
000037aa: JUMPDEST
000037ab: PUSH1 0x20
000037ad: DUP3
000037ae: ADD
000037af: SWAP1
000037b0: POP
000037b1: SWAP2
000037b2: SWAP1
000037b3: POP
000037b4: JUMP
000037b5: JUMPDEST
000037b6: PUSH1 0x00
000037b8: PUSH1 0x40
000037ba: DUP3
000037bb: ADD
000037bc: SWAP1
000037bd: POP
000037be: PUSH2 0x37ca
000037c1: PUSH1 0x00
000037c3: DUP4
000037c4: ADD
000037c5: DUP5
000037c6: PUSH2 0x31a2
000037c9: JUMP
000037ca: JUMPDEST
000037cb: DUP2
000037cc: DUP2
000037cd: SUB
000037ce: PUSH1 0x20
000037d0: DUP4
000037d1: ADD
000037d2: MSTORE
000037d3: PUSH2 0x37db
000037d6: DUP2
000037d7: PUSH2 0x3792
000037da: JUMP
000037db: JUMPDEST
000037dc: SWAP1
000037dd: POP
000037de: SWAP3
000037df: SWAP2
000037e0: POP
000037e1: POP
000037e2: JUMP
000037e3: JUMPDEST
000037e4: PUSH1 0x00
000037e6: PUSH1 0x40
000037e8: DUP3
000037e9: ADD
000037ea: SWAP1
000037eb: POP
000037ec: PUSH2 0x37f8
000037ef: PUSH1 0x00
000037f1: DUP4
000037f2: ADD
000037f3: DUP5
000037f4: PUSH2 0x31a2
000037f7: JUMP
000037f8: JUMPDEST
000037f9: DUP2
000037fa: DUP2
000037fb: SUB
000037fc: PUSH1 0x20
000037fe: DUP4
000037ff: ADD
00003800: MSTORE
00003801: PUSH2 0x3809
00003804: DUP2
00003805: PUSH2 0x35a8
00003808: JUMP
00003809: JUMPDEST
0000380a: SWAP1
0000380b: POP
0000380c: SWAP3
0000380d: SWAP2
0000380e: POP
0000380f: POP
00003810: JUMP
00003811: JUMPDEST
00003812: PUSH32 0x456d657267656e63792070617573650000000000000000000000000000000000
00003833: PUSH1 0x00
00003835: DUP3
00003836: ADD
00003837: MSTORE
00003838: POP
00003839: JUMP
0000383a: JUMPDEST
0000383b: PUSH1 0x00
0000383d: PUSH2 0x3847
00003840: PUSH1 0x0f
00003842: DUP4
00003843: PUSH2 0x356e
00003846: JUMP
00003847: JUMPDEST
00003848: SWAP2
00003849: POP
0000384a: PUSH2 0x3852
0000384d: DUP3
0000384e: PUSH2 0x3811
00003851: JUMP
00003852: JUMPDEST
00003853: PUSH1 0x20
00003855: DUP3
00003856: ADD
00003857: SWAP1
00003858: POP
00003859: SWAP2
0000385a: SWAP1
0000385b: POP
0000385c: JUMP
0000385d: JUMPDEST
0000385e: PUSH1 0x00
00003860: PUSH1 0x20
00003862: DUP3
00003863: ADD
00003864: SWAP1
00003865: POP
00003866: DUP2
00003867: DUP2
00003868: SUB
00003869: PUSH1 0x00
0000386b: DUP4
0000386c: ADD
0000386d: MSTORE
0000386e: PUSH2 0x3876
00003871: DUP2
00003872: PUSH2 0x383a
00003875: JUMP
00003876: JUMPDEST
00003877: SWAP1
00003878: POP
00003879: SWAP2
0000387a: SWAP1
0000387b: POP
0000387c: JUMP
0000387d: JUMPDEST
0000387e: PUSH1 0x00
00003880: PUSH10 0xffffffffffffffffffff
0000388b: DUP3
0000388c: AND
0000388d: SWAP1
0000388e: POP
0000388f: SWAP2
00003890: SWAP1
00003891: POP
00003892: JUMP
00003893: JUMPDEST
00003894: PUSH2 0x389c
00003897: DUP2
00003898: PUSH2 0x387d
0000389b: JUMP
0000389c: JUMPDEST
0000389d: DUP2
0000389e: EQ
0000389f: PUSH2 0x38a7
000038a2: JUMPI
000038a3: PUSH1 0x00
000038a5: DUP1
000038a6: REVERT
000038a7: JUMPDEST
000038a8: POP
000038a9: JUMP
000038aa: JUMPDEST
000038ab: PUSH1 0x00
000038ad: DUP2
000038ae: MLOAD
000038af: SWAP1
000038b0: POP
000038b1: PUSH2 0x38b9
000038b4: DUP2
000038b5: PUSH2 0x3893
000038b8: JUMP
000038b9: JUMPDEST
000038ba: SWAP3
000038bb: SWAP2
000038bc: POP
000038bd: POP
000038be: JUMP
000038bf: JUMPDEST
000038c0: PUSH1 0x00
000038c2: DUP2
000038c3: SWAP1
000038c4: POP
000038c5: SWAP2
000038c6: SWAP1
000038c7: POP
000038c8: JUMP
000038c9: JUMPDEST
000038ca: PUSH2 0x38d2
000038cd: DUP2
000038ce: PUSH2 0x38bf
000038d1: JUMP
000038d2: JUMPDEST
000038d3: DUP2
000038d4: EQ
000038d5: PUSH2 0x38dd
000038d8: JUMPI
000038d9: PUSH1 0x00
000038db: DUP1
000038dc: REVERT
000038dd: JUMPDEST
000038de: POP
000038df: JUMP
000038e0: JUMPDEST
000038e1: PUSH1 0x00
000038e3: DUP2
000038e4: MLOAD
000038e5: SWAP1
000038e6: POP
000038e7: PUSH2 0x38ef
000038ea: DUP2
000038eb: PUSH2 0x38c9
000038ee: JUMP
000038ef: JUMPDEST
000038f0: SWAP3
000038f1: SWAP2
000038f2: POP
000038f3: POP
000038f4: JUMP
000038f5: JUMPDEST
000038f6: PUSH1 0x00
000038f8: DUP1
000038f9: PUSH1 0x00
000038fb: DUP1
000038fc: PUSH1 0x00
000038fe: PUSH1 0xa0
00003900: DUP7
00003901: DUP9
00003902: SUB
00003903: SLT
00003904: ISZERO
00003905: PUSH2 0x3911
00003908: JUMPI
00003909: PUSH2 0x3910
0000390c: PUSH2 0x31cc
0000390f: JUMP
00003910: JUMPDEST
00003911: JUMPDEST
00003912: PUSH1 0x00
00003914: PUSH2 0x391f
00003917: DUP9
00003918: DUP3
00003919: DUP10
0000391a: ADD
0000391b: PUSH2 0x38aa
0000391e: JUMP
0000391f: JUMPDEST
00003920: SWAP6
00003921: POP
00003922: POP
00003923: PUSH1 0x20
00003925: PUSH2 0x3930
00003928: DUP9
00003929: DUP3
0000392a: DUP10
0000392b: ADD
0000392c: PUSH2 0x38e0
0000392f: JUMP
00003930: JUMPDEST
00003931: SWAP5
00003932: POP
00003933: POP
00003934: PUSH1 0x40
00003936: PUSH2 0x3941
00003939: DUP9
0000393a: DUP3
0000393b: DUP10
0000393c: ADD
0000393d: PUSH2 0x34c9
00003940: JUMP
00003941: JUMPDEST
00003942: SWAP4
00003943: POP
00003944: POP
00003945: PUSH1 0x60
00003947: PUSH2 0x3952
0000394a: DUP9
0000394b: DUP3
0000394c: DUP10
0000394d: ADD
0000394e: PUSH2 0x34c9
00003951: JUMP
00003952: JUMPDEST
00003953: SWAP3
00003954: POP
00003955: POP
00003956: PUSH1 0x80
00003958: PUSH2 0x3963
0000395b: DUP9
0000395c: DUP3
0000395d: DUP10
0000395e: ADD
0000395f: PUSH2 0x38aa
00003962: JUMP
00003963: JUMPDEST
00003964: SWAP2
00003965: POP
00003966: POP
00003967: SWAP3
00003968: SWAP6
00003969: POP
0000396a: SWAP3
0000396b: SWAP6
0000396c: SWAP1
0000396d: SWAP4
0000396e: POP
0000396f: JUMP
00003970: JUMPDEST
00003971: PUSH1 0x00
00003973: PUSH1 0xff
00003975: DUP3
00003976: AND
00003977: SWAP1
00003978: POP
00003979: SWAP2
0000397a: SWAP1
0000397b: POP
0000397c: JUMP
0000397d: JUMPDEST
0000397e: PUSH2 0x3986
00003981: DUP2
00003982: PUSH2 0x3970
00003985: JUMP
00003986: JUMPDEST
00003987: DUP2
00003988: EQ
00003989: PUSH2 0x3991
0000398c: JUMPI
0000398d: PUSH1 0x00
0000398f: DUP1
00003990: REVERT
00003991: JUMPDEST
00003992: POP
00003993: JUMP
00003994: JUMPDEST
00003995: PUSH1 0x00
00003997: DUP2
00003998: MLOAD
00003999: SWAP1
0000399a: POP
0000399b: PUSH2 0x39a3
0000399e: DUP2
0000399f: PUSH2 0x397d
000039a2: JUMP
000039a3: JUMPDEST
000039a4: SWAP3
000039a5: SWAP2
000039a6: POP
000039a7: POP
000039a8: JUMP
000039a9: JUMPDEST
000039aa: PUSH1 0x00
000039ac: PUSH1 0x20
000039ae: DUP3
000039af: DUP5
000039b0: SUB
000039b1: SLT
000039b2: ISZERO
000039b3: PUSH2 0x39bf
000039b6: JUMPI
000039b7: PUSH2 0x39be
000039ba: PUSH2 0x31cc
000039bd: JUMP
000039be: JUMPDEST
000039bf: JUMPDEST
000039c0: PUSH1 0x00
000039c2: PUSH2 0x39cd
000039c5: DUP5
000039c6: DUP3
000039c7: DUP6
000039c8: ADD
000039c9: PUSH2 0x3994
000039cc: JUMP
000039cd: JUMPDEST
000039ce: SWAP2
000039cf: POP
000039d0: POP
000039d1: SWAP3
000039d2: SWAP2
000039d3: POP
000039d4: POP
000039d5: JUMP
000039d6: JUMPDEST
000039d7: PUSH1 0x00
000039d9: PUSH2 0x39e1
000039dc: DUP3
000039dd: PUSH2 0x3970
000039e0: JUMP
000039e1: JUMPDEST
000039e2: SWAP2
000039e3: POP
000039e4: PUSH2 0x39ec
000039e7: DUP4
000039e8: PUSH2 0x3970
000039eb: JUMP
000039ec: JUMPDEST
000039ed: SWAP3
000039ee: POP
000039ef: DUP3
000039f0: DUP3
000039f1: SUB
000039f2: SWAP1
000039f3: POP
000039f4: PUSH1 0xff
000039f6: DUP2
000039f7: GT
000039f8: ISZERO
000039f9: PUSH2 0x3a05
000039fc: JUMPI
000039fd: PUSH2 0x3a04
00003a00: PUSH2 0x350b
00003a03: JUMP
00003a04: JUMPDEST
00003a05: JUMPDEST
00003a06: SWAP3
00003a07: SWAP2
00003a08: POP
00003a09: POP
00003a0a: JUMP
00003a0b: JUMPDEST
00003a0c: PUSH1 0x00
00003a0e: DUP2
00003a0f: PUSH1 0x01
00003a11: SHR
00003a12: SWAP1
00003a13: POP
00003a14: SWAP2
00003a15: SWAP1
00003a16: POP
00003a17: JUMP
00003a18: JUMPDEST
00003a19: PUSH1 0x00
00003a1b: DUP1
00003a1c: DUP3
00003a1d: SWAP2
00003a1e: POP
00003a1f: DUP4
00003a20: SWAP1
00003a21: POP
00003a22: JUMPDEST
00003a23: PUSH1 0x01
00003a25: DUP6
00003a26: GT
00003a27: ISZERO
00003a28: PUSH2 0x3a62
00003a2b: JUMPI
00003a2c: DUP1
00003a2d: DUP7
00003a2e: DIV
00003a2f: DUP2
00003a30: GT
00003a31: ISZERO
00003a32: PUSH2 0x3a3e
00003a35: JUMPI
00003a36: PUSH2 0x3a3d
00003a39: PUSH2 0x350b
00003a3c: JUMP
00003a3d: JUMPDEST
00003a3e: JUMPDEST
00003a3f: PUSH1 0x01
00003a41: DUP6
00003a42: AND
00003a43: ISZERO
00003a44: PUSH2 0x3a4d
00003a47: JUMPI
00003a48: DUP1
00003a49: DUP3
00003a4a: MUL
00003a4b: SWAP2
00003a4c: POP
00003a4d: JUMPDEST
00003a4e: DUP1
00003a4f: DUP2
00003a50: MUL
00003a51: SWAP1
00003a52: POP
00003a53: PUSH2 0x3a5b
00003a56: DUP6
00003a57: PUSH2 0x3a0b
00003a5a: JUMP
00003a5b: JUMPDEST
00003a5c: SWAP5
00003a5d: POP
00003a5e: PUSH2 0x3a22
00003a61: JUMP
00003a62: JUMPDEST
00003a63: SWAP5
00003a64: POP
00003a65: SWAP5
00003a66: SWAP3
00003a67: POP
00003a68: POP
00003a69: POP
00003a6a: JUMP
00003a6b: JUMPDEST
00003a6c: PUSH1 0x00
00003a6e: DUP3
00003a6f: PUSH2 0x3a7b
00003a72: JUMPI
00003a73: PUSH1 0x01
00003a75: SWAP1
00003a76: POP
00003a77: PUSH2 0x3b37
00003a7a: JUMP
00003a7b: JUMPDEST
00003a7c: DUP2
00003a7d: PUSH2 0x3a89
00003a80: JUMPI
00003a81: PUSH1 0x00
00003a83: SWAP1
00003a84: POP
00003a85: PUSH2 0x3b37
00003a88: JUMP
00003a89: JUMPDEST
00003a8a: DUP2
00003a8b: PUSH1 0x01
00003a8d: DUP2
00003a8e: EQ
00003a8f: PUSH2 0x3a9f
00003a92: JUMPI
00003a93: PUSH1 0x02
00003a95: DUP2
00003a96: EQ
00003a97: PUSH2 0x3aa9
00003a9a: JUMPI
00003a9b: PUSH2 0x3ad8
00003a9e: JUMP
00003a9f: JUMPDEST
00003aa0: PUSH1 0x01
00003aa2: SWAP2
00003aa3: POP
00003aa4: POP
00003aa5: PUSH2 0x3b37
00003aa8: JUMP
00003aa9: JUMPDEST
00003aaa: PUSH1 0xff
00003aac: DUP5
00003aad: GT
00003aae: ISZERO
00003aaf: PUSH2 0x3abb
00003ab2: JUMPI
00003ab3: PUSH2 0x3aba
00003ab6: PUSH2 0x350b
00003ab9: JUMP
00003aba: JUMPDEST
00003abb: JUMPDEST
00003abc: DUP4
00003abd: PUSH1 0x02
00003abf: EXP
00003ac0: SWAP2
00003ac1: POP
00003ac2: DUP5
00003ac3: DUP3
00003ac4: GT
00003ac5: ISZERO
00003ac6: PUSH2 0x3ad2
00003ac9: JUMPI
00003aca: PUSH2 0x3ad1
00003acd: PUSH2 0x350b
00003ad0: JUMP
00003ad1: JUMPDEST
00003ad2: JUMPDEST
00003ad3: POP
00003ad4: PUSH2 0x3b37
00003ad7: JUMP
00003ad8: JUMPDEST
00003ad9: POP
00003ada: PUSH1 0x20
00003adc: DUP4
00003add: LT
00003ade: PUSH2 0x0133
00003ae1: DUP4
00003ae2: LT
00003ae3: AND
00003ae4: PUSH1 0x4e
00003ae6: DUP5
00003ae7: LT
00003ae8: PUSH1 0x0b
00003aea: DUP5
00003aeb: LT
00003aec: AND
00003aed: OR
00003aee: ISZERO
00003aef: PUSH2 0x3b0d
00003af2: JUMPI
00003af3: DUP3
00003af4: DUP3
00003af5: EXP
00003af6: SWAP1
00003af7: POP
00003af8: DUP4
00003af9: DUP2
00003afa: GT
00003afb: ISZERO
00003afc: PUSH2 0x3b08
00003aff: JUMPI
00003b00: PUSH2 0x3b07
00003b03: PUSH2 0x350b
00003b06: JUMP
00003b07: JUMPDEST
00003b08: JUMPDEST
00003b09: PUSH2 0x3b37
00003b0c: JUMP
00003b0d: JUMPDEST
00003b0e: PUSH2 0x3b1a
00003b11: DUP5
00003b12: DUP5
00003b13: DUP5
00003b14: PUSH1 0x01
00003b16: PUSH2 0x3a18
00003b19: JUMP
00003b1a: JUMPDEST
00003b1b: SWAP3
00003b1c: POP
00003b1d: SWAP1
00003b1e: POP
00003b1f: DUP2
00003b20: DUP5
00003b21: DIV
00003b22: DUP2
00003b23: GT
00003b24: ISZERO
00003b25: PUSH2 0x3b31
00003b28: JUMPI
00003b29: PUSH2 0x3b30
00003b2c: PUSH2 0x350b
00003b2f: JUMP
00003b30: JUMPDEST
00003b31: JUMPDEST
00003b32: DUP2
00003b33: DUP2
00003b34: MUL
00003b35: SWAP1
00003b36: POP
00003b37: JUMPDEST
00003b38: SWAP4
00003b39: SWAP3
00003b3a: POP
00003b3b: POP
00003b3c: POP
00003b3d: JUMP
00003b3e: JUMPDEST
00003b3f: PUSH1 0x00
00003b41: PUSH2 0x3b49
00003b44: DUP3
00003b45: PUSH2 0x3198
00003b48: JUMP
00003b49: JUMPDEST
00003b4a: SWAP2
00003b4b: POP
00003b4c: PUSH2 0x3b54
00003b4f: DUP4
00003b50: PUSH2 0x3970
00003b53: JUMP
00003b54: JUMPDEST
00003b55: SWAP3
00003b56: POP
00003b57: PUSH2 0x3b81
00003b5a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003b7b: DUP5
00003b7c: DUP5
00003b7d: PUSH2 0x3a6b
00003b80: JUMP
00003b81: JUMPDEST
00003b82: SWAP1
00003b83: POP
00003b84: SWAP3
00003b85: SWAP2
00003b86: POP
00003b87: POP
00003b88: JUMP
00003b89: JUMPDEST
00003b8a: PUSH1 0x00
00003b8c: PUSH2 0x3b94
00003b8f: DUP3
00003b90: PUSH2 0x3198
00003b93: JUMP
00003b94: JUMPDEST
00003b95: SWAP2
00003b96: POP
00003b97: PUSH2 0x3b9f
00003b9a: DUP4
00003b9b: PUSH2 0x3198
00003b9e: JUMP
00003b9f: JUMPDEST
00003ba0: SWAP3
00003ba1: POP
00003ba2: DUP3
00003ba3: DUP3
00003ba4: SUB
00003ba5: SWAP1
00003ba6: POP
00003ba7: DUP2
00003ba8: DUP2
00003ba9: GT
00003baa: ISZERO
00003bab: PUSH2 0x3bb7
00003bae: JUMPI
00003baf: PUSH2 0x3bb6
00003bb2: PUSH2 0x350b
00003bb5: JUMP
00003bb6: JUMPDEST
00003bb7: JUMPDEST
00003bb8: SWAP3
00003bb9: SWAP2
00003bba: POP
00003bbb: POP
00003bbc: JUMP
00003bbd: JUMPDEST
00003bbe: PUSH32 0x5348450000000000000000000000000000000000000000000000000000000000
00003bdf: PUSH1 0x00
00003be1: DUP3
00003be2: ADD
00003be3: MSTORE
00003be4: POP
00003be5: JUMP
00003be6: JUMPDEST
00003be7: PUSH1 0x00
00003be9: PUSH2 0x3bf3
00003bec: PUSH1 0x03
00003bee: DUP4
00003bef: PUSH2 0x356e
00003bf2: JUMP
00003bf3: JUMPDEST
00003bf4: SWAP2
00003bf5: POP
00003bf6: PUSH2 0x3bfe
00003bf9: DUP3
00003bfa: PUSH2 0x3bbd
00003bfd: JUMP
00003bfe: JUMPDEST
00003bff: PUSH1 0x20
00003c01: DUP3
00003c02: ADD
00003c03: SWAP1
00003c04: POP
00003c05: SWAP2
00003c06: SWAP1
00003c07: POP
00003c08: JUMP
00003c09: JUMPDEST
00003c0a: PUSH1 0x00
00003c0c: PUSH1 0x40
00003c0e: DUP3
00003c0f: ADD
00003c10: SWAP1
00003c11: POP
00003c12: PUSH2 0x3c1e
00003c15: PUSH1 0x00
00003c17: DUP4
00003c18: ADD
00003c19: DUP5
00003c1a: PUSH2 0x31a2
00003c1d: JUMP
00003c1e: JUMPDEST
00003c1f: DUP2
00003c20: DUP2
00003c21: SUB
00003c22: PUSH1 0x20
00003c24: DUP4
00003c25: ADD
00003c26: MSTORE
00003c27: PUSH2 0x3c2f
00003c2a: DUP2
00003c2b: PUSH2 0x3be6
00003c2e: JUMP
00003c2f: JUMPDEST
00003c30: SWAP1
00003c31: POP
00003c32: SWAP3
00003c33: SWAP2
00003c34: POP
00003c35: POP
00003c36: JUMP
00003c37: JUMPDEST
00003c38: PUSH1 0x00
00003c3a: PUSH1 0x60
00003c3c: DUP3
00003c3d: ADD
00003c3e: SWAP1
00003c3f: POP
00003c40: PUSH2 0x3c4c
00003c43: PUSH1 0x00
00003c45: DUP4
00003c46: ADD
00003c47: DUP6
00003c48: PUSH2 0x31a2
00003c4b: JUMP
00003c4c: JUMPDEST
00003c4d: PUSH2 0x3c59
00003c50: PUSH1 0x20
00003c52: DUP4
00003c53: ADD
00003c54: DUP5
00003c55: PUSH2 0x31a2
00003c58: JUMP
00003c59: JUMPDEST
00003c5a: DUP2
00003c5b: DUP2
00003c5c: SUB
00003c5d: PUSH1 0x40
00003c5f: DUP4
00003c60: ADD
00003c61: MSTORE
00003c62: PUSH2 0x3c6a
00003c65: DUP2
00003c66: PUSH2 0x3718
00003c69: JUMP
00003c6a: JUMPDEST
00003c6b: SWAP1
00003c6c: POP
00003c6d: SWAP4
00003c6e: SWAP3
00003c6f: POP
00003c70: POP
00003c71: POP
00003c72: JUMP
00003c73: JUMPDEST
00003c74: PUSH1 0x00
00003c76: PUSH1 0x60
00003c78: DUP3
00003c79: ADD
00003c7a: SWAP1
00003c7b: POP
00003c7c: PUSH2 0x3c88
00003c7f: PUSH1 0x00
00003c81: DUP4
00003c82: ADD
00003c83: DUP6
00003c84: PUSH2 0x31a2
00003c87: JUMP
00003c88: JUMPDEST
00003c89: PUSH2 0x3c95
00003c8c: PUSH1 0x20
00003c8e: DUP4
00003c8f: ADD
00003c90: DUP5
00003c91: PUSH2 0x31a2
00003c94: JUMP
00003c95: JUMPDEST
00003c96: DUP2
00003c97: DUP2
00003c98: SUB
00003c99: PUSH1 0x40
00003c9b: DUP4
00003c9c: ADD
00003c9d: MSTORE
00003c9e: PUSH2 0x3ca6
00003ca1: DUP2
00003ca2: PUSH2 0x3792
00003ca5: JUMP
00003ca6: JUMPDEST
00003ca7: SWAP1
00003ca8: POP
00003ca9: SWAP4
00003caa: SWAP3
00003cab: POP
00003cac: POP
00003cad: POP
00003cae: JUMP
00003caf: JUMPDEST
00003cb0: PUSH1 0x00
00003cb2: PUSH1 0x60
00003cb4: DUP3
00003cb5: ADD
00003cb6: SWAP1
00003cb7: POP
00003cb8: PUSH2 0x3cc4
00003cbb: PUSH1 0x00
00003cbd: DUP4
00003cbe: ADD
00003cbf: DUP7
00003cc0: PUSH2 0x3446
00003cc3: JUMP
00003cc4: JUMPDEST
00003cc5: PUSH2 0x3cd1
00003cc8: PUSH1 0x20
00003cca: DUP4
00003ccb: ADD
00003ccc: DUP6
00003ccd: PUSH2 0x3446
00003cd0: JUMP
00003cd1: JUMPDEST
00003cd2: PUSH2 0x3cde
00003cd5: PUSH1 0x40
00003cd7: DUP4
00003cd8: ADD
00003cd9: DUP5
00003cda: PUSH2 0x31a2
00003cdd: JUMP
00003cde: JUMPDEST
00003cdf: SWAP5
00003ce0: SWAP4
00003ce1: POP
00003ce2: POP
00003ce3: POP
00003ce4: POP
00003ce5: JUMP
00003ce6: JUMPDEST
00003ce7: PUSH1 0x00
00003ce9: PUSH1 0xa0
00003ceb: DUP3
00003cec: ADD
00003ced: SWAP1
00003cee: POP
00003cef: PUSH2 0x3cfb
00003cf2: PUSH1 0x00
00003cf4: DUP4
00003cf5: ADD
00003cf6: DUP9
00003cf7: PUSH2 0x3446
00003cfa: JUMP
00003cfb: JUMPDEST
00003cfc: PUSH2 0x3d08
00003cff: PUSH1 0x20
00003d01: DUP4
00003d02: ADD
00003d03: DUP8
00003d04: PUSH2 0x31a2
00003d07: JUMP
00003d08: JUMPDEST
00003d09: PUSH2 0x3d15
00003d0c: PUSH1 0x40
00003d0e: DUP4
00003d0f: ADD
00003d10: DUP7
00003d11: PUSH2 0x31a2
00003d14: JUMP
00003d15: JUMPDEST
00003d16: PUSH2 0x3d22
00003d19: PUSH1 0x60
00003d1b: DUP4
00003d1c: ADD
00003d1d: DUP6
00003d1e: PUSH2 0x31a2
00003d21: JUMP
00003d22: JUMPDEST
00003d23: PUSH2 0x3d2f
00003d26: PUSH1 0x80
00003d28: DUP4
00003d29: ADD
00003d2a: DUP5
00003d2b: PUSH2 0x31a2
00003d2e: JUMP
00003d2f: JUMPDEST
00003d30: SWAP7
00003d31: SWAP6
00003d32: POP
00003d33: POP
00003d34: POP
00003d35: POP
00003d36: POP
00003d37: POP
00003d38: JUMP
00003d39: JUMPDEST
00003d3a: PUSH1 0x00
00003d3c: PUSH2 0x3d44
00003d3f: DUP3
00003d40: PUSH2 0x3198
00003d43: JUMP
00003d44: JUMPDEST
00003d45: SWAP2
00003d46: POP
00003d47: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003d68: DUP3
00003d69: SUB
00003d6a: PUSH2 0x3d76
00003d6d: JUMPI
00003d6e: PUSH2 0x3d75
00003d71: PUSH2 0x350b
00003d74: JUMP
00003d75: JUMPDEST
00003d76: JUMPDEST
00003d77: PUSH1 0x01
00003d79: DUP3
00003d7a: ADD
00003d7b: SWAP1
00003d7c: POP
00003d7d: SWAP2
00003d7e: SWAP1
00003d7f: POP
00003d80: JUMP
00003d81: JUMPDEST
00003d82: PUSH32 0x54696d6520706572696f6420656e646564000000000000000000000000000000
00003da3: PUSH1 0x00
00003da5: DUP3
00003da6: ADD
00003da7: MSTORE
00003da8: POP
00003da9: JUMP
00003daa: JUMPDEST
00003dab: PUSH1 0x00
00003dad: PUSH2 0x3db7
00003db0: PUSH1 0x11
00003db2: DUP4
00003db3: PUSH2 0x356e
00003db6: JUMP
00003db7: JUMPDEST
00003db8: SWAP2
00003db9: POP
00003dba: PUSH2 0x3dc2
00003dbd: DUP3
00003dbe: PUSH2 0x3d81
00003dc1: JUMP
00003dc2: JUMPDEST
00003dc3: PUSH1 0x20
00003dc5: DUP3
00003dc6: ADD
00003dc7: SWAP1
00003dc8: POP
00003dc9: SWAP2
00003dca: SWAP1
00003dcb: POP
00003dcc: JUMP
00003dcd: JUMPDEST
00003dce: PUSH1 0x00
00003dd0: PUSH1 0x20
00003dd2: DUP3
00003dd3: ADD
00003dd4: SWAP1
00003dd5: POP
00003dd6: DUP2
00003dd7: DUP2
00003dd8: SUB
00003dd9: PUSH1 0x00
00003ddb: DUP4
00003ddc: ADD
00003ddd: MSTORE
00003dde: PUSH2 0x3de6
00003de1: DUP2
00003de2: PUSH2 0x3daa
00003de5: JUMP
00003de6: JUMPDEST
00003de7: SWAP1
00003de8: POP
00003de9: SWAP2
00003dea: SWAP1
00003deb: POP
00003dec: JUMP
00003ded: JUMPDEST
00003dee: PUSH32 0x416c6c20746f6b656e7320736f6c64206f757400000000000000000000000000
00003e0f: PUSH1 0x00
00003e11: DUP3
00003e12: ADD
00003e13: MSTORE
00003e14: POP
00003e15: JUMP
00003e16: JUMPDEST
00003e17: PUSH1 0x00
00003e19: PUSH2 0x3e23
00003e1c: PUSH1 0x13
00003e1e: DUP4
00003e1f: PUSH2 0x356e
00003e22: JUMP
00003e23: JUMPDEST
00003e24: SWAP2
00003e25: POP
00003e26: PUSH2 0x3e2e
00003e29: DUP3
00003e2a: PUSH2 0x3ded
00003e2d: JUMP
00003e2e: JUMPDEST
00003e2f: PUSH1 0x20
00003e31: DUP3
00003e32: ADD
00003e33: SWAP1
00003e34: POP
00003e35: SWAP2
00003e36: SWAP1
00003e37: POP
00003e38: JUMP
00003e39: JUMPDEST
00003e3a: PUSH1 0x00
00003e3c: PUSH1 0x20
00003e3e: DUP3
00003e3f: ADD
00003e40: SWAP1
00003e41: POP
00003e42: DUP2
00003e43: DUP2
00003e44: SUB
00003e45: PUSH1 0x00
00003e47: DUP4
00003e48: ADD
00003e49: MSTORE
00003e4a: PUSH2 0x3e52
00003e4d: DUP2
00003e4e: PUSH2 0x3e16
00003e51: JUMP
00003e52: JUMPDEST
00003e53: SWAP1
00003e54: POP
00003e55: SWAP2
00003e56: SWAP1
00003e57: POP
00003e58: JUMP
00003e59: JUMPDEST
00003e5a: PUSH1 0x00
00003e5c: PUSH1 0x40
00003e5e: DUP3
00003e5f: ADD
00003e60: SWAP1
00003e61: POP
00003e62: PUSH2 0x3e6e
00003e65: PUSH1 0x00
00003e67: DUP4
00003e68: ADD
00003e69: DUP6
00003e6a: PUSH2 0x3446
00003e6d: JUMP
00003e6e: JUMPDEST
00003e6f: PUSH2 0x3e7b
00003e72: PUSH1 0x20
00003e74: DUP4
00003e75: ADD
00003e76: DUP5
00003e77: PUSH2 0x31a2
00003e7a: JUMP
00003e7b: JUMPDEST
00003e7c: SWAP4
00003e7d: SWAP3
00003e7e: POP
00003e7f: POP
00003e80: POP
00003e81: JUMP
00003e82: INVALID
00003e83: LOG2
00003e84: PUSH5 0x6970667358
00003e8a: UNKNOWN(0x22)
00003e8b: SLT
00003e8c: KECCAK256
00003e8d: UNKNOWN(0xB2)
00003e8e: PUSH1 0x1e
00003e90: DUP14
00003e91: MLOAD
00003e92: UNKNOWN(0x21)
00003e93: UNKNOWN(0xDE)
00003e94: STATICCALL
00003e95: SWAP5
00003e96: UNKNOWN(0xC2)
00003e97: UNKNOWN(0x4C)
00003e98: CALLDATASIZE
00003e99: UNKNOWN(0xE8)
00003e9a: UNKNOWN(0xD4)
00003e9b: UNKNOWN(0xB5)
00003e9c: UNKNOWN(0xA6)
00003e9d: DUP8
00003e9e: BYTE
00003e9f: PUSH30
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x54a2d84e7287577d20a703875e384043e388adbe642c366718fe9da7fc3d8960 call_targets: 0x44e36ee7d13b3a69fd8a1a3737afc6e35dfa6fad target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x54a2d84e7287577d20a703875e384043e388adbe642c366718fe9da7fc3d8960", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x44e36ee7d13b3a69fd8a1a3737afc6e35dfa6fad" ], "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": "0xe30c3978", "selector": "0xe30c3978", "calldata_variants": [ "0xe30c3978", "0xe30c39780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe6513725", "selector": "0xe6513725", "calldata_variants": [ "0xe6513725", "0xe65137250000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe9276d66", "selector": "0xe9276d66", "calldata_variants": [ "0xe9276d66", "0xe9276d660000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xed338ff1", "selector": "0xed338ff1", "calldata_variants": [ "0xed338ff1", "0xed338ff10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc6e33ee", "selector": "0xfc6e33ee", "calldata_variants": [ "0xfc6e33ee", "0xfc6e33ee0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xba1c3b92", "selector": "0xba1c3b92", "calldata_variants": [ "0xba1c3b92", "0xba1c3b920000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc3da0cf3", "selector": "0xc3da0cf3", "calldata_variants": [ "0xc3da0cf3", "0xc3da0cf30000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3572, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7992, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 11273, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [], "untrusted_call_count": 4 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x54a2d84e7287577d20a703875e384043e388adbe642c366718fe9da7fc3d8960 call_targets: 0x44e36ee7d13b3a69fd8a1a3737afc6e35dfa6fad target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x54a2d84e7287577d20a703875e384043e388adbe642c366718fe9da7fc3d8960", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x44e36ee7d13b3a69fd8a1a3737afc6e35dfa6fad" ], "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": "0xe30c3978", "selector": "0xe30c3978", "calldata_variants": [ "0xe30c3978", "0xe30c39780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe6513725", "selector": "0xe6513725", "calldata_variants": [ "0xe6513725", "0xe65137250000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe9276d66", "selector": "0xe9276d66", "calldata_variants": [ "0xe9276d66", "0xe9276d660000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xed338ff1", "selector": "0xed338ff1", "calldata_variants": [ "0xed338ff1", "0xed338ff10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc6e33ee", "selector": "0xfc6e33ee", "calldata_variants": [ "0xfc6e33ee", "0xfc6e33ee0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xba1c3b92", "selector": "0xba1c3b92", "calldata_variants": [ "0xba1c3b92", "0xba1c3b920000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc3da0cf3", "selector": "0xc3da0cf3", "calldata_variants": [ "0xc3da0cf3", "0xc3da0cf30000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3572, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7992, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 11273, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [] }
Severity