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

Analysis Run

019b477e-d69b-7119-9e35-1293049630e3

complete
Chain ID
1
Address
Block Number
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
28735 artifact.fetch complete 1 / 3 4 months ago
28736 tool.cast_disasm complete 1 / 3 4 months ago
71888 analysis.bundle complete 1 / 3 2 weeks ago
71889 capability.graph complete 1 / 3 2 weeks ago
71890 detector.run complete 1 / 3 2 weeks ago
71891 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
10
EXT*/BALANCE
2
Total opcodes
7315
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x014e
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x751039fc
00000018: GT
00000019: PUSH2 0x00b5
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0xa9059cbb
00000023: GT
00000024: PUSH2 0x006e
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xa9059cbb
0000002e: EQ
0000002f: PUSH2 0x0441
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xbf474bed
00000039: EQ
0000003a: PUSH2 0x047d
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xc9567bf9
00000044: EQ
00000045: PUSH2 0x04a7
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xd34628cc
0000004f: EQ
00000050: PUSH2 0x04bd
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xdd62ed3e
0000005a: EQ
0000005b: PUSH2 0x04e5
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0xec1f3f63
00000065: EQ
00000066: PUSH2 0x0521
00000069: JUMPI
0000006a: PUSH2 0x0155
0000006d: JUMP
0000006e: JUMPDEST
0000006f: DUP1
00000070: PUSH4 0x751039fc
00000075: EQ
00000076: PUSH2 0x035b
00000079: JUMPI
0000007a: DUP1
0000007b: PUSH4 0x7d1db4a5
00000080: EQ
00000081: PUSH2 0x0371
00000084: JUMPI
00000085: DUP1
00000086: PUSH4 0x8cd4426d
0000008b: EQ
0000008c: PUSH2 0x039b
0000008f: JUMPI
00000090: DUP1
00000091: PUSH4 0x8da5cb5b
00000096: EQ
00000097: PUSH2 0x03c3
0000009a: JUMPI
0000009b: DUP1
0000009c: PUSH4 0x8f9a55c0
000000a1: EQ
000000a2: PUSH2 0x03ed
000000a5: JUMPI
000000a6: DUP1
000000a7: PUSH4 0x95d89b41
000000ac: EQ
000000ad: PUSH2 0x0417
000000b0: JUMPI
000000b1: PUSH2 0x0155
000000b4: JUMP
000000b5: JUMPDEST
000000b6: DUP1
000000b7: PUSH4 0x313ce567
000000bc: GT
000000bd: PUSH2 0x0107
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0x313ce567
000000c7: EQ
000000c8: PUSH2 0x0265
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0x31c2d847
000000d2: EQ
000000d3: PUSH2 0x028f
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x3bbac579
000000dd: EQ
000000de: PUSH2 0x02b7
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x51bc3c85
000000e8: EQ
000000e9: PUSH2 0x02f3
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x70a08231
000000f3: EQ
000000f4: PUSH2 0x0309
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x715018a6
000000fe: EQ
000000ff: PUSH2 0x0345
00000102: JUMPI
00000103: PUSH2 0x0155
00000106: JUMP
00000107: JUMPDEST
00000108: DUP1
00000109: PUSH4 0x06fdde03
0000010e: EQ
0000010f: PUSH2 0x0159
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x095ea7b3
00000119: EQ
0000011a: PUSH2 0x0183
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0x0faee56f
00000124: EQ
00000125: PUSH2 0x01bf
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x109daa99
0000012f: EQ
00000130: PUSH2 0x01e9
00000133: JUMPI
00000134: DUP1
00000135: PUSH4 0x18160ddd
0000013a: EQ
0000013b: PUSH2 0x01ff
0000013e: JUMPI
0000013f: DUP1
00000140: PUSH4 0x23b872dd
00000145: EQ
00000146: PUSH2 0x0229
00000149: JUMPI
0000014a: PUSH2 0x0155
0000014d: JUMP
0000014e: JUMPDEST
0000014f: CALLDATASIZE
00000150: PUSH2 0x0155
00000153: JUMPI
00000154: STOP
00000155: JUMPDEST
00000156: PUSH0
00000157: DUP1
00000158: REVERT
00000159: JUMPDEST
0000015a: CALLVALUE
0000015b: DUP1
0000015c: ISZERO
0000015d: PUSH2 0x0164
00000160: JUMPI
00000161: PUSH0
00000162: DUP1
00000163: REVERT
00000164: JUMPDEST
00000165: POP
00000166: PUSH2 0x016d
00000169: PUSH2 0x0549
0000016c: JUMP
0000016d: JUMPDEST
0000016e: PUSH1 0x40
00000170: MLOAD
00000171: PUSH2 0x017a
00000174: SWAP2
00000175: SWAP1
00000176: PUSH2 0x272b
00000179: JUMP
0000017a: JUMPDEST
0000017b: PUSH1 0x40
0000017d: MLOAD
0000017e: DUP1
0000017f: SWAP2
00000180: SUB
00000181: SWAP1
00000182: RETURN
00000183: JUMPDEST
00000184: CALLVALUE
00000185: DUP1
00000186: ISZERO
00000187: PUSH2 0x018e
0000018a: JUMPI
0000018b: PUSH0
0000018c: DUP1
0000018d: REVERT
0000018e: JUMPDEST
0000018f: POP
00000190: PUSH2 0x01a9
00000193: PUSH1 0x04
00000195: DUP1
00000196: CALLDATASIZE
00000197: SUB
00000198: DUP2
00000199: ADD
0000019a: SWAP1
0000019b: PUSH2 0x01a4
0000019e: SWAP2
0000019f: SWAP1
000001a0: PUSH2 0x27e9
000001a3: JUMP
000001a4: JUMPDEST
000001a5: PUSH2 0x0586
000001a8: JUMP
000001a9: JUMPDEST
000001aa: PUSH1 0x40
000001ac: MLOAD
000001ad: PUSH2 0x01b6
000001b0: SWAP2
000001b1: SWAP1
000001b2: PUSH2 0x2841
000001b5: JUMP
000001b6: JUMPDEST
000001b7: PUSH1 0x40
000001b9: MLOAD
000001ba: DUP1
000001bb: SWAP2
000001bc: SUB
000001bd: SWAP1
000001be: RETURN
000001bf: JUMPDEST
000001c0: CALLVALUE
000001c1: DUP1
000001c2: ISZERO
000001c3: PUSH2 0x01ca
000001c6: JUMPI
000001c7: PUSH0
000001c8: DUP1
000001c9: REVERT
000001ca: JUMPDEST
000001cb: POP
000001cc: PUSH2 0x01d3
000001cf: PUSH2 0x05a3
000001d2: JUMP
000001d3: JUMPDEST
000001d4: PUSH1 0x40
000001d6: MLOAD
000001d7: PUSH2 0x01e0
000001da: SWAP2
000001db: SWAP1
000001dc: PUSH2 0x2869
000001df: JUMP
000001e0: JUMPDEST
000001e1: PUSH1 0x40
000001e3: MLOAD
000001e4: DUP1
000001e5: SWAP2
000001e6: SUB
000001e7: SWAP1
000001e8: RETURN
000001e9: JUMPDEST
000001ea: CALLVALUE
000001eb: DUP1
000001ec: ISZERO
000001ed: PUSH2 0x01f4
000001f0: JUMPI
000001f1: PUSH0
000001f2: DUP1
000001f3: REVERT
000001f4: JUMPDEST
000001f5: POP
000001f6: PUSH2 0x01fd
000001f9: PUSH2 0x05a9
000001fc: JUMP
000001fd: JUMPDEST
000001fe: STOP
000001ff: JUMPDEST
00000200: CALLVALUE
00000201: DUP1
00000202: ISZERO
00000203: PUSH2 0x020a
00000206: JUMPI
00000207: PUSH0
00000208: DUP1
00000209: REVERT
0000020a: JUMPDEST
0000020b: POP
0000020c: PUSH2 0x0213
0000020f: PUSH2 0x067d
00000212: JUMP
00000213: JUMPDEST
00000214: PUSH1 0x40
00000216: MLOAD
00000217: PUSH2 0x0220
0000021a: SWAP2
0000021b: SWAP1
0000021c: PUSH2 0x2869
0000021f: JUMP
00000220: JUMPDEST
00000221: PUSH1 0x40
00000223: MLOAD
00000224: DUP1
00000225: SWAP2
00000226: SUB
00000227: SWAP1
00000228: RETURN
00000229: JUMPDEST
0000022a: CALLVALUE
0000022b: DUP1
0000022c: ISZERO
0000022d: PUSH2 0x0234
00000230: JUMPI
00000231: PUSH0
00000232: DUP1
00000233: REVERT
00000234: JUMPDEST
00000235: POP
00000236: PUSH2 0x024f
00000239: PUSH1 0x04
0000023b: DUP1
0000023c: CALLDATASIZE
0000023d: SUB
0000023e: DUP2
0000023f: ADD
00000240: SWAP1
00000241: PUSH2 0x024a
00000244: SWAP2
00000245: SWAP1
00000246: PUSH2 0x2882
00000249: JUMP
0000024a: JUMPDEST
0000024b: PUSH2 0x06a1
0000024e: JUMP
0000024f: JUMPDEST
00000250: PUSH1 0x40
00000252: MLOAD
00000253: PUSH2 0x025c
00000256: SWAP2
00000257: SWAP1
00000258: PUSH2 0x2841
0000025b: JUMP
0000025c: JUMPDEST
0000025d: PUSH1 0x40
0000025f: MLOAD
00000260: DUP1
00000261: SWAP2
00000262: SUB
00000263: SWAP1
00000264: RETURN
00000265: JUMPDEST
00000266: CALLVALUE
00000267: DUP1
00000268: ISZERO
00000269: PUSH2 0x0270
0000026c: JUMPI
0000026d: PUSH0
0000026e: DUP1
0000026f: REVERT
00000270: JUMPDEST
00000271: POP
00000272: PUSH2 0x0279
00000275: PUSH2 0x0775
00000278: JUMP
00000279: JUMPDEST
0000027a: PUSH1 0x40
0000027c: MLOAD
0000027d: PUSH2 0x0286
00000280: SWAP2
00000281: SWAP1
00000282: PUSH2 0x28ed
00000285: JUMP
00000286: JUMPDEST
00000287: PUSH1 0x40
00000289: MLOAD
0000028a: DUP1
0000028b: SWAP2
0000028c: SUB
0000028d: SWAP1
0000028e: RETURN
0000028f: JUMPDEST
00000290: CALLVALUE
00000291: DUP1
00000292: ISZERO
00000293: PUSH2 0x029a
00000296: JUMPI
00000297: PUSH0
00000298: DUP1
00000299: REVERT
0000029a: JUMPDEST
0000029b: POP
0000029c: PUSH2 0x02b5
0000029f: PUSH1 0x04
000002a1: DUP1
000002a2: CALLDATASIZE
000002a3: SUB
000002a4: DUP2
000002a5: ADD
000002a6: SWAP1
000002a7: PUSH2 0x02b0
000002aa: SWAP2
000002ab: SWAP1
000002ac: PUSH2 0x2a46
000002af: JUMP
000002b0: JUMPDEST
000002b1: PUSH2 0x077d
000002b4: JUMP
000002b5: JUMPDEST
000002b6: STOP
000002b7: JUMPDEST
000002b8: CALLVALUE
000002b9: DUP1
000002ba: ISZERO
000002bb: PUSH2 0x02c2
000002be: JUMPI
000002bf: PUSH0
000002c0: DUP1
000002c1: REVERT
000002c2: JUMPDEST
000002c3: POP
000002c4: PUSH2 0x02dd
000002c7: PUSH1 0x04
000002c9: DUP1
000002ca: CALLDATASIZE
000002cb: SUB
000002cc: DUP2
000002cd: ADD
000002ce: SWAP1
000002cf: PUSH2 0x02d8
000002d2: SWAP2
000002d3: SWAP1
000002d4: PUSH2 0x2a8d
000002d7: JUMP
000002d8: JUMPDEST
000002d9: PUSH2 0x089b
000002dc: JUMP
000002dd: JUMPDEST
000002de: PUSH1 0x40
000002e0: MLOAD
000002e1: PUSH2 0x02ea
000002e4: SWAP2
000002e5: SWAP1
000002e6: PUSH2 0x2841
000002e9: JUMP
000002ea: JUMPDEST
000002eb: PUSH1 0x40
000002ed: MLOAD
000002ee: DUP1
000002ef: SWAP2
000002f0: SUB
000002f1: SWAP1
000002f2: RETURN
000002f3: JUMPDEST
000002f4: CALLVALUE
000002f5: DUP1
000002f6: ISZERO
000002f7: PUSH2 0x02fe
000002fa: JUMPI
000002fb: PUSH0
000002fc: DUP1
000002fd: REVERT
000002fe: JUMPDEST
000002ff: POP
00000300: PUSH2 0x0307
00000303: PUSH2 0x08ed
00000306: JUMP
00000307: JUMPDEST
00000308: STOP
00000309: JUMPDEST
0000030a: CALLVALUE
0000030b: DUP1
0000030c: ISZERO
0000030d: PUSH2 0x0314
00000310: JUMPI
00000311: PUSH0
00000312: DUP1
00000313: REVERT
00000314: JUMPDEST
00000315: POP
00000316: PUSH2 0x032f
00000319: PUSH1 0x04
0000031b: DUP1
0000031c: CALLDATASIZE
0000031d: SUB
0000031e: DUP2
0000031f: ADD
00000320: SWAP1
00000321: PUSH2 0x032a
00000324: SWAP2
00000325: SWAP1
00000326: PUSH2 0x2a8d
00000329: JUMP
0000032a: JUMPDEST
0000032b: PUSH2 0x099c
0000032e: JUMP
0000032f: JUMPDEST
00000330: PUSH1 0x40
00000332: MLOAD
00000333: PUSH2 0x033c
00000336: SWAP2
00000337: SWAP1
00000338: PUSH2 0x2869
0000033b: JUMP
0000033c: JUMPDEST
0000033d: PUSH1 0x40
0000033f: MLOAD
00000340: DUP1
00000341: SWAP2
00000342: SUB
00000343: SWAP1
00000344: RETURN
00000345: JUMPDEST
00000346: CALLVALUE
00000347: DUP1
00000348: ISZERO
00000349: PUSH2 0x0350
0000034c: JUMPI
0000034d: PUSH0
0000034e: DUP1
0000034f: REVERT
00000350: JUMPDEST
00000351: POP
00000352: PUSH2 0x0359
00000355: PUSH2 0x09e2
00000358: JUMP
00000359: JUMPDEST
0000035a: STOP
0000035b: JUMPDEST
0000035c: CALLVALUE
0000035d: DUP1
0000035e: ISZERO
0000035f: PUSH2 0x0366
00000362: JUMPI
00000363: PUSH0
00000364: DUP1
00000365: REVERT
00000366: JUMPDEST
00000367: POP
00000368: PUSH2 0x036f
0000036b: PUSH2 0x0b30
0000036e: JUMP
0000036f: JUMPDEST
00000370: STOP
00000371: JUMPDEST
00000372: CALLVALUE
00000373: DUP1
00000374: ISZERO
00000375: PUSH2 0x037c
00000378: JUMPI
00000379: PUSH0
0000037a: DUP1
0000037b: REVERT
0000037c: JUMPDEST
0000037d: POP
0000037e: PUSH2 0x0385
00000381: PUSH2 0x0c62
00000384: JUMP
00000385: JUMPDEST
00000386: PUSH1 0x40
00000388: MLOAD
00000389: PUSH2 0x0392
0000038c: SWAP2
0000038d: SWAP1
0000038e: PUSH2 0x2869
00000391: JUMP
00000392: JUMPDEST
00000393: PUSH1 0x40
00000395: MLOAD
00000396: DUP1
00000397: SWAP2
00000398: SUB
00000399: SWAP1
0000039a: RETURN
0000039b: JUMPDEST
0000039c: CALLVALUE
0000039d: DUP1
0000039e: ISZERO
0000039f: PUSH2 0x03a6
000003a2: JUMPI
000003a3: PUSH0
000003a4: DUP1
000003a5: REVERT
000003a6: JUMPDEST
000003a7: POP
000003a8: PUSH2 0x03c1
000003ab: PUSH1 0x04
000003ad: DUP1
000003ae: CALLDATASIZE
000003af: SUB
000003b0: DUP2
000003b1: ADD
000003b2: SWAP1
000003b3: PUSH2 0x03bc
000003b6: SWAP2
000003b7: SWAP1
000003b8: PUSH2 0x27e9
000003bb: JUMP
000003bc: JUMPDEST
000003bd: PUSH2 0x0c68
000003c0: JUMP
000003c1: JUMPDEST
000003c2: STOP
000003c3: JUMPDEST
000003c4: CALLVALUE
000003c5: DUP1
000003c6: ISZERO
000003c7: PUSH2 0x03ce
000003ca: JUMPI
000003cb: PUSH0
000003cc: DUP1
000003cd: REVERT
000003ce: JUMPDEST
000003cf: POP
000003d0: PUSH2 0x03d7
000003d3: PUSH2 0x0e09
000003d6: JUMP
000003d7: JUMPDEST
000003d8: PUSH1 0x40
000003da: MLOAD
000003db: PUSH2 0x03e4
000003de: SWAP2
000003df: SWAP1
000003e0: PUSH2 0x2ac7
000003e3: JUMP
000003e4: JUMPDEST
000003e5: PUSH1 0x40
000003e7: MLOAD
000003e8: DUP1
000003e9: SWAP2
000003ea: SUB
000003eb: SWAP1
000003ec: RETURN
000003ed: JUMPDEST
000003ee: CALLVALUE
000003ef: DUP1
000003f0: ISZERO
000003f1: PUSH2 0x03f8
000003f4: JUMPI
000003f5: PUSH0
000003f6: DUP1
000003f7: REVERT
000003f8: JUMPDEST
000003f9: POP
000003fa: PUSH2 0x0401
000003fd: PUSH2 0x0e30
00000400: JUMP
00000401: JUMPDEST
00000402: PUSH1 0x40
00000404: MLOAD
00000405: PUSH2 0x040e
00000408: SWAP2
00000409: SWAP1
0000040a: PUSH2 0x2869
0000040d: JUMP
0000040e: JUMPDEST
0000040f: PUSH1 0x40
00000411: MLOAD
00000412: DUP1
00000413: SWAP2
00000414: SUB
00000415: SWAP1
00000416: RETURN
00000417: JUMPDEST
00000418: CALLVALUE
00000419: DUP1
0000041a: ISZERO
0000041b: PUSH2 0x0422
0000041e: JUMPI
0000041f: PUSH0
00000420: DUP1
00000421: REVERT
00000422: JUMPDEST
00000423: POP
00000424: PUSH2 0x042b
00000427: PUSH2 0x0e36
0000042a: JUMP
0000042b: JUMPDEST
0000042c: PUSH1 0x40
0000042e: MLOAD
0000042f: PUSH2 0x0438
00000432: SWAP2
00000433: SWAP1
00000434: PUSH2 0x272b
00000437: JUMP
00000438: JUMPDEST
00000439: PUSH1 0x40
0000043b: MLOAD
0000043c: DUP1
0000043d: SWAP2
0000043e: SUB
0000043f: SWAP1
00000440: RETURN
00000441: JUMPDEST
00000442: CALLVALUE
00000443: DUP1
00000444: ISZERO
00000445: PUSH2 0x044c
00000448: JUMPI
00000449: PUSH0
0000044a: DUP1
0000044b: REVERT
0000044c: JUMPDEST
0000044d: POP
0000044e: PUSH2 0x0467
00000451: PUSH1 0x04
00000453: DUP1
00000454: CALLDATASIZE
00000455: SUB
00000456: DUP2
00000457: ADD
00000458: SWAP1
00000459: PUSH2 0x0462
0000045c: SWAP2
0000045d: SWAP1
0000045e: PUSH2 0x27e9
00000461: JUMP
00000462: JUMPDEST
00000463: PUSH2 0x0e73
00000466: JUMP
00000467: JUMPDEST
00000468: PUSH1 0x40
0000046a: MLOAD
0000046b: PUSH2 0x0474
0000046e: SWAP2
0000046f: SWAP1
00000470: PUSH2 0x2841
00000473: JUMP
00000474: JUMPDEST
00000475: PUSH1 0x40
00000477: MLOAD
00000478: DUP1
00000479: SWAP2
0000047a: SUB
0000047b: SWAP1
0000047c: RETURN
0000047d: JUMPDEST
0000047e: CALLVALUE
0000047f: DUP1
00000480: ISZERO
00000481: PUSH2 0x0488
00000484: JUMPI
00000485: PUSH0
00000486: DUP1
00000487: REVERT
00000488: JUMPDEST
00000489: POP
0000048a: PUSH2 0x0491
0000048d: PUSH2 0x0e90
00000490: JUMP
00000491: JUMPDEST
00000492: PUSH1 0x40
00000494: MLOAD
00000495: PUSH2 0x049e
00000498: SWAP2
00000499: SWAP1
0000049a: PUSH2 0x2869
0000049d: JUMP
0000049e: JUMPDEST
0000049f: PUSH1 0x40
000004a1: MLOAD
000004a2: DUP1
000004a3: SWAP2
000004a4: SUB
000004a5: SWAP1
000004a6: RETURN
000004a7: JUMPDEST
000004a8: CALLVALUE
000004a9: DUP1
000004aa: ISZERO
000004ab: PUSH2 0x04b2
000004ae: JUMPI
000004af: PUSH0
000004b0: DUP1
000004b1: REVERT
000004b2: JUMPDEST
000004b3: POP
000004b4: PUSH2 0x04bb
000004b7: PUSH2 0x0e96
000004ba: JUMP
000004bb: JUMPDEST
000004bc: STOP
000004bd: JUMPDEST
000004be: CALLVALUE
000004bf: DUP1
000004c0: ISZERO
000004c1: PUSH2 0x04c8
000004c4: JUMPI
000004c5: PUSH0
000004c6: DUP1
000004c7: REVERT
000004c8: JUMPDEST
000004c9: POP
000004ca: PUSH2 0x04e3
000004cd: PUSH1 0x04
000004cf: DUP1
000004d0: CALLDATASIZE
000004d1: SUB
000004d2: DUP2
000004d3: ADD
000004d4: SWAP1
000004d5: PUSH2 0x04de
000004d8: SWAP2
000004d9: SWAP1
000004da: PUSH2 0x2a46
000004dd: JUMP
000004de: JUMPDEST
000004df: PUSH2 0x13b6
000004e2: JUMP
000004e3: JUMPDEST
000004e4: STOP
000004e5: JUMPDEST
000004e6: CALLVALUE
000004e7: DUP1
000004e8: ISZERO
000004e9: PUSH2 0x04f0
000004ec: JUMPI
000004ed: PUSH0
000004ee: DUP1
000004ef: REVERT
000004f0: JUMPDEST
000004f1: POP
000004f2: PUSH2 0x050b
000004f5: PUSH1 0x04
000004f7: DUP1
000004f8: CALLDATASIZE
000004f9: SUB
000004fa: DUP2
000004fb: ADD
000004fc: SWAP1
000004fd: PUSH2 0x0506
00000500: SWAP2
00000501: SWAP1
00000502: PUSH2 0x2ae0
00000505: JUMP
00000506: JUMPDEST
00000507: PUSH2 0x14d5
0000050a: JUMP
0000050b: JUMPDEST
0000050c: PUSH1 0x40
0000050e: MLOAD
0000050f: PUSH2 0x0518
00000512: SWAP2
00000513: SWAP1
00000514: PUSH2 0x2869
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 0x052c
00000528: JUMPI
00000529: PUSH0
0000052a: DUP1
0000052b: REVERT
0000052c: JUMPDEST
0000052d: POP
0000052e: PUSH2 0x0547
00000531: PUSH1 0x04
00000533: DUP1
00000534: CALLDATASIZE
00000535: SUB
00000536: DUP2
00000537: ADD
00000538: SWAP1
00000539: PUSH2 0x0542
0000053c: SWAP2
0000053d: SWAP1
0000053e: PUSH2 0x2b1e
00000541: JUMP
00000542: JUMPDEST
00000543: PUSH2 0x1557
00000546: JUMP
00000547: JUMPDEST
00000548: STOP
00000549: JUMPDEST
0000054a: PUSH1 0x60
0000054c: PUSH1 0x40
0000054e: MLOAD
0000054f: DUP1
00000550: PUSH1 0x40
00000552: ADD
00000553: PUSH1 0x40
00000555: MSTORE
00000556: DUP1
00000557: PUSH1 0x08
00000559: DUP2
0000055a: MSTORE
0000055b: PUSH1 0x20
0000055d: ADD
0000055e: PUSH32 0x47616d6553746f70000000000000000000000000000000000000000000000000
0000057f: DUP2
00000580: MSTORE
00000581: POP
00000582: SWAP1
00000583: POP
00000584: SWAP1
00000585: JUMP
00000586: JUMPDEST
00000587: PUSH0
00000588: PUSH2 0x0599
0000058b: PUSH2 0x0592
0000058e: PUSH2 0x15e3
00000591: JUMP
00000592: JUMPDEST
00000593: DUP5
00000594: DUP5
00000595: PUSH2 0x15ea
00000598: JUMP
00000599: JUMPDEST
0000059a: PUSH1 0x01
0000059c: SWAP1
0000059d: POP
0000059e: SWAP3
0000059f: SWAP2
000005a0: POP
000005a1: POP
000005a2: JUMP
000005a3: JUMPDEST
000005a4: PUSH1 0x12
000005a6: SLOAD
000005a7: DUP2
000005a8: JUMP
000005a9: JUMPDEST
000005aa: PUSH2 0x05b1
000005ad: PUSH2 0x15e3
000005b0: JUMP
000005b1: JUMPDEST
000005b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005c7: AND
000005c8: PUSH0
000005c9: DUP1
000005ca: SLOAD
000005cb: SWAP1
000005cc: PUSH2 0x0100
000005cf: EXP
000005d0: SWAP1
000005d1: DIV
000005d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e7: AND
000005e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005fd: AND
000005fe: EQ
000005ff: PUSH2 0x063d
00000602: JUMPI
00000603: PUSH1 0x40
00000605: MLOAD
00000606: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000627: DUP2
00000628: MSTORE
00000629: PUSH1 0x04
0000062b: ADD
0000062c: PUSH2 0x0634
0000062f: SWAP1
00000630: PUSH2 0x2b93
00000633: JUMP
00000634: JUMPDEST
00000635: PUSH1 0x40
00000637: MLOAD
00000638: DUP1
00000639: SWAP2
0000063a: SUB
0000063b: SWAP1
0000063c: REVERT
0000063d: JUMPDEST
0000063e: PUSH0
0000063f: PUSH1 0x0d
00000641: DUP2
00000642: SWAP1
00000643: SSTORE
00000644: POP
00000645: PUSH32 0xe9b79e1a6c2dc43b4c0c6ff01ce9e3332d810e482270f464c0a21ad6c5fc6de3
00000666: PUSH0
00000667: PUSH1 0x40
00000669: MLOAD
0000066a: PUSH2 0x0673
0000066d: SWAP2
0000066e: SWAP1
0000066f: PUSH2 0x2bf3
00000672: JUMP
00000673: JUMPDEST
00000674: PUSH1 0x40
00000676: MLOAD
00000677: DUP1
00000678: SWAP2
00000679: SUB
0000067a: SWAP1
0000067b: LOG1
0000067c: JUMP
0000067d: JUMPDEST
0000067e: PUSH0
0000067f: PUSH1 0x09
00000681: PUSH1 0x0a
00000683: PUSH2 0x068c
00000686: SWAP2
00000687: SWAP1
00000688: PUSH2 0x2d68
0000068b: JUMP
0000068c: JUMPDEST
0000068d: PUSH5 0x61f313f880
00000693: PUSH2 0x069c
00000696: SWAP2
00000697: SWAP1
00000698: PUSH2 0x2db2
0000069b: JUMP
0000069c: JUMPDEST
0000069d: SWAP1
0000069e: POP
0000069f: SWAP1
000006a0: JUMP
000006a1: JUMPDEST
000006a2: PUSH0
000006a3: PUSH2 0x06ad
000006a6: DUP5
000006a7: DUP5
000006a8: DUP5
000006a9: PUSH2 0x17ad
000006ac: JUMP
000006ad: JUMPDEST
000006ae: PUSH2 0x076a
000006b1: DUP5
000006b2: PUSH2 0x06b9
000006b5: PUSH2 0x15e3
000006b8: JUMP
000006b9: JUMPDEST
000006ba: PUSH2 0x0765
000006bd: DUP6
000006be: PUSH1 0x40
000006c0: MLOAD
000006c1: DUP1
000006c2: PUSH1 0x60
000006c4: ADD
000006c5: PUSH1 0x40
000006c7: MSTORE
000006c8: DUP1
000006c9: PUSH1 0x28
000006cb: DUP2
000006cc: MSTORE
000006cd: PUSH1 0x20
000006cf: ADD
000006d0: PUSH2 0x37df
000006d3: PUSH1 0x28
000006d5: SWAP2
000006d6: CODECOPY
000006d7: PUSH1 0x02
000006d9: PUSH0
000006da: DUP12
000006db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006f0: AND
000006f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000706: AND
00000707: DUP2
00000708: MSTORE
00000709: PUSH1 0x20
0000070b: ADD
0000070c: SWAP1
0000070d: DUP2
0000070e: MSTORE
0000070f: PUSH1 0x20
00000711: ADD
00000712: PUSH0
00000713: KECCAK256
00000714: PUSH0
00000715: PUSH2 0x071c
00000718: PUSH2 0x15e3
0000071b: JUMP
0000071c: JUMPDEST
0000071d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000732: AND
00000733: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000748: AND
00000749: DUP2
0000074a: MSTORE
0000074b: PUSH1 0x20
0000074d: ADD
0000074e: SWAP1
0000074f: DUP2
00000750: MSTORE
00000751: PUSH1 0x20
00000753: ADD
00000754: PUSH0
00000755: KECCAK256
00000756: SLOAD
00000757: PUSH2 0x218d
0000075a: SWAP1
0000075b: SWAP3
0000075c: SWAP2
0000075d: SWAP1
0000075e: PUSH4 0xffffffff
00000763: AND
00000764: JUMP
00000765: JUMPDEST
00000766: PUSH2 0x15ea
00000769: JUMP
0000076a: JUMPDEST
0000076b: PUSH1 0x01
0000076d: SWAP1
0000076e: POP
0000076f: SWAP4
00000770: SWAP3
00000771: POP
00000772: POP
00000773: POP
00000774: JUMP
00000775: JUMPDEST
00000776: PUSH0
00000777: PUSH1 0x09
00000779: SWAP1
0000077a: POP
0000077b: SWAP1
0000077c: JUMP
0000077d: JUMPDEST
0000077e: PUSH2 0x0785
00000781: PUSH2 0x15e3
00000784: JUMP
00000785: JUMPDEST
00000786: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000079b: AND
0000079c: PUSH0
0000079d: DUP1
0000079e: SLOAD
0000079f: SWAP1
000007a0: PUSH2 0x0100
000007a3: EXP
000007a4: SWAP1
000007a5: DIV
000007a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007bb: AND
000007bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007d1: AND
000007d2: EQ
000007d3: PUSH2 0x0811
000007d6: JUMPI
000007d7: PUSH1 0x40
000007d9: MLOAD
000007da: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000007fb: DUP2
000007fc: MSTORE
000007fd: PUSH1 0x04
000007ff: ADD
00000800: PUSH2 0x0808
00000803: SWAP1
00000804: PUSH2 0x2b93
00000807: JUMP
00000808: JUMPDEST
00000809: PUSH1 0x40
0000080b: MLOAD
0000080c: DUP1
0000080d: SWAP2
0000080e: SUB
0000080f: SWAP1
00000810: REVERT
00000811: JUMPDEST
00000812: PUSH0
00000813: JUMPDEST
00000814: DUP2
00000815: MLOAD
00000816: DUP2
00000817: LT
00000818: ISZERO
00000819: PUSH2 0x0897
0000081c: JUMPI
0000081d: PUSH0
0000081e: PUSH1 0x04
00000820: PUSH0
00000821: DUP5
00000822: DUP5
00000823: DUP2
00000824: MLOAD
00000825: DUP2
00000826: LT
00000827: PUSH2 0x0833
0000082a: JUMPI
0000082b: PUSH2 0x0832
0000082e: PUSH2 0x2df3
00000831: JUMP
00000832: JUMPDEST
00000833: JUMPDEST
00000834: PUSH1 0x20
00000836: MUL
00000837: PUSH1 0x20
00000839: ADD
0000083a: ADD
0000083b: MLOAD
0000083c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000851: AND
00000852: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000867: AND
00000868: DUP2
00000869: MSTORE
0000086a: PUSH1 0x20
0000086c: ADD
0000086d: SWAP1
0000086e: DUP2
0000086f: MSTORE
00000870: PUSH1 0x20
00000872: ADD
00000873: PUSH0
00000874: KECCAK256
00000875: PUSH0
00000876: PUSH2 0x0100
00000879: EXP
0000087a: DUP2
0000087b: SLOAD
0000087c: DUP2
0000087d: PUSH1 0xff
0000087f: MUL
00000880: NOT
00000881: AND
00000882: SWAP1
00000883: DUP4
00000884: ISZERO
00000885: ISZERO
00000886: MUL
00000887: OR
00000888: SWAP1
00000889: SSTORE
0000088a: POP
0000088b: DUP1
0000088c: DUP1
0000088d: PUSH1 0x01
0000088f: ADD
00000890: SWAP2
00000891: POP
00000892: POP
00000893: PUSH2 0x0813
00000896: JUMP
00000897: JUMPDEST
00000898: POP
00000899: POP
0000089a: JUMP
0000089b: JUMPDEST
0000089c: PUSH0
0000089d: PUSH1 0x04
0000089f: PUSH0
000008a0: DUP4
000008a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b6: AND
000008b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008cc: AND
000008cd: DUP2
000008ce: MSTORE
000008cf: PUSH1 0x20
000008d1: ADD
000008d2: SWAP1
000008d3: DUP2
000008d4: MSTORE
000008d5: PUSH1 0x20
000008d7: ADD
000008d8: PUSH0
000008d9: KECCAK256
000008da: PUSH0
000008db: SWAP1
000008dc: SLOAD
000008dd: SWAP1
000008de: PUSH2 0x0100
000008e1: EXP
000008e2: SWAP1
000008e3: DIV
000008e4: PUSH1 0xff
000008e6: AND
000008e7: SWAP1
000008e8: POP
000008e9: SWAP2
000008ea: SWAP1
000008eb: POP
000008ec: JUMP
000008ed: JUMPDEST
000008ee: PUSH1 0x05
000008f0: PUSH0
000008f1: SWAP1
000008f2: SLOAD
000008f3: SWAP1
000008f4: PUSH2 0x0100
000008f7: EXP
000008f8: SWAP1
000008f9: DIV
000008fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000090f: AND
00000910: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000925: AND
00000926: PUSH2 0x092d
00000929: PUSH2 0x15e3
0000092c: JUMP
0000092d: JUMPDEST
0000092e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000943: AND
00000944: EQ
00000945: PUSH2 0x094c
00000948: JUMPI
00000949: PUSH0
0000094a: DUP1
0000094b: REVERT
0000094c: JUMPDEST
0000094d: PUSH0
0000094e: PUSH2 0x0956
00000951: ADDRESS
00000952: PUSH2 0x099c
00000955: JUMP
00000956: JUMPDEST
00000957: SWAP1
00000958: POP
00000959: PUSH0
0000095a: DUP2
0000095b: GT
0000095c: DUP1
0000095d: ISZERO
0000095e: PUSH2 0x0973
00000961: JUMPI
00000962: POP
00000963: PUSH1 0x14
00000965: PUSH1 0x16
00000967: SWAP1
00000968: SLOAD
00000969: SWAP1
0000096a: PUSH2 0x0100
0000096d: EXP
0000096e: SWAP1
0000096f: DIV
00000970: PUSH1 0xff
00000972: AND
00000973: JUMPDEST
00000974: ISZERO
00000975: PUSH2 0x0982
00000978: JUMPI
00000979: PUSH2 0x0981
0000097c: DUP2
0000097d: PUSH2 0x21ef
00000980: JUMP
00000981: JUMPDEST
00000982: JUMPDEST
00000983: PUSH0
00000984: SELFBALANCE
00000985: SWAP1
00000986: POP
00000987: PUSH0
00000988: DUP2
00000989: GT
0000098a: ISZERO
0000098b: PUSH2 0x0998
0000098e: JUMPI
0000098f: PUSH2 0x0997
00000992: DUP2
00000993: PUSH2 0x245a
00000996: JUMP
00000997: JUMPDEST
00000998: JUMPDEST
00000999: POP
0000099a: POP
0000099b: JUMP
0000099c: JUMPDEST
0000099d: PUSH0
0000099e: PUSH1 0x01
000009a0: PUSH0
000009a1: DUP4
000009a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b7: AND
000009b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009cd: AND
000009ce: DUP2
000009cf: MSTORE
000009d0: PUSH1 0x20
000009d2: ADD
000009d3: SWAP1
000009d4: DUP2
000009d5: MSTORE
000009d6: PUSH1 0x20
000009d8: ADD
000009d9: PUSH0
000009da: KECCAK256
000009db: SLOAD
000009dc: SWAP1
000009dd: POP
000009de: SWAP2
000009df: SWAP1
000009e0: POP
000009e1: JUMP
000009e2: JUMPDEST
000009e3: PUSH2 0x09ea
000009e6: PUSH2 0x15e3
000009e9: JUMP
000009ea: JUMPDEST
000009eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a00: AND
00000a01: PUSH0
00000a02: DUP1
00000a03: SLOAD
00000a04: SWAP1
00000a05: PUSH2 0x0100
00000a08: EXP
00000a09: SWAP1
00000a0a: DIV
00000a0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a20: AND
00000a21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a36: AND
00000a37: EQ
00000a38: PUSH2 0x0a76
00000a3b: JUMPI
00000a3c: PUSH1 0x40
00000a3e: MLOAD
00000a3f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a60: DUP2
00000a61: MSTORE
00000a62: PUSH1 0x04
00000a64: ADD
00000a65: PUSH2 0x0a6d
00000a68: SWAP1
00000a69: PUSH2 0x2b93
00000a6c: JUMP
00000a6d: JUMPDEST
00000a6e: PUSH1 0x40
00000a70: MLOAD
00000a71: DUP1
00000a72: SWAP2
00000a73: SUB
00000a74: SWAP1
00000a75: REVERT
00000a76: JUMPDEST
00000a77: PUSH0
00000a78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a8d: AND
00000a8e: PUSH0
00000a8f: DUP1
00000a90: SLOAD
00000a91: SWAP1
00000a92: PUSH2 0x0100
00000a95: EXP
00000a96: SWAP1
00000a97: DIV
00000a98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aad: AND
00000aae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac3: AND
00000ac4: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000ae5: PUSH1 0x40
00000ae7: MLOAD
00000ae8: PUSH1 0x40
00000aea: MLOAD
00000aeb: DUP1
00000aec: SWAP2
00000aed: SUB
00000aee: SWAP1
00000aef: LOG3
00000af0: PUSH0
00000af1: DUP1
00000af2: PUSH0
00000af3: PUSH2 0x0100
00000af6: EXP
00000af7: DUP2
00000af8: SLOAD
00000af9: DUP2
00000afa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b0f: MUL
00000b10: NOT
00000b11: AND
00000b12: SWAP1
00000b13: DUP4
00000b14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b29: AND
00000b2a: MUL
00000b2b: OR
00000b2c: SWAP1
00000b2d: SSTORE
00000b2e: POP
00000b2f: JUMP
00000b30: JUMPDEST
00000b31: PUSH2 0x0b38
00000b34: PUSH2 0x15e3
00000b37: JUMP
00000b38: JUMPDEST
00000b39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b4e: AND
00000b4f: PUSH0
00000b50: DUP1
00000b51: SLOAD
00000b52: SWAP1
00000b53: PUSH2 0x0100
00000b56: EXP
00000b57: SWAP1
00000b58: DIV
00000b59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b6e: AND
00000b6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b84: AND
00000b85: EQ
00000b86: PUSH2 0x0bc4
00000b89: JUMPI
00000b8a: PUSH1 0x40
00000b8c: MLOAD
00000b8d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000bae: DUP2
00000baf: MSTORE
00000bb0: PUSH1 0x04
00000bb2: ADD
00000bb3: PUSH2 0x0bbb
00000bb6: SWAP1
00000bb7: PUSH2 0x2b93
00000bba: JUMP
00000bbb: JUMPDEST
00000bbc: PUSH1 0x40
00000bbe: MLOAD
00000bbf: DUP1
00000bc0: SWAP2
00000bc1: SUB
00000bc2: SWAP1
00000bc3: REVERT
00000bc4: JUMPDEST
00000bc5: PUSH1 0x09
00000bc7: PUSH1 0x0a
00000bc9: PUSH2 0x0bd2
00000bcc: SWAP2
00000bcd: SWAP1
00000bce: PUSH2 0x2d68
00000bd1: JUMP
00000bd2: JUMPDEST
00000bd3: PUSH5 0x61f313f880
00000bd9: PUSH2 0x0be2
00000bdc: SWAP2
00000bdd: SWAP1
00000bde: PUSH2 0x2db2
00000be1: JUMP
00000be2: JUMPDEST
00000be3: PUSH1 0x0f
00000be5: DUP2
00000be6: SWAP1
00000be7: SSTORE
00000be8: POP
00000be9: PUSH1 0x09
00000beb: PUSH1 0x0a
00000bed: PUSH2 0x0bf6
00000bf0: SWAP2
00000bf1: SWAP1
00000bf2: PUSH2 0x2d68
00000bf5: JUMP
00000bf6: JUMPDEST
00000bf7: PUSH5 0x61f313f880
00000bfd: PUSH2 0x0c06
00000c00: SWAP2
00000c01: SWAP1
00000c02: PUSH2 0x2db2
00000c05: JUMP
00000c06: JUMPDEST
00000c07: PUSH1 0x10
00000c09: DUP2
00000c0a: SWAP1
00000c0b: SSTORE
00000c0c: POP
00000c0d: PUSH32 0x947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf
00000c2e: PUSH1 0x09
00000c30: PUSH1 0x0a
00000c32: PUSH2 0x0c3b
00000c35: SWAP2
00000c36: SWAP1
00000c37: PUSH2 0x2d68
00000c3a: JUMP
00000c3b: JUMPDEST
00000c3c: PUSH5 0x61f313f880
00000c42: PUSH2 0x0c4b
00000c45: SWAP2
00000c46: SWAP1
00000c47: PUSH2 0x2db2
00000c4a: JUMP
00000c4b: JUMPDEST
00000c4c: PUSH1 0x40
00000c4e: MLOAD
00000c4f: PUSH2 0x0c58
00000c52: SWAP2
00000c53: SWAP1
00000c54: PUSH2 0x2869
00000c57: JUMP
00000c58: JUMPDEST
00000c59: PUSH1 0x40
00000c5b: MLOAD
00000c5c: DUP1
00000c5d: SWAP2
00000c5e: SUB
00000c5f: SWAP1
00000c60: LOG1
00000c61: JUMP
00000c62: JUMPDEST
00000c63: PUSH1 0x0f
00000c65: SLOAD
00000c66: DUP2
00000c67: JUMP
00000c68: JUMPDEST
00000c69: PUSH1 0x05
00000c6b: PUSH0
00000c6c: SWAP1
00000c6d: SLOAD
00000c6e: SWAP1
00000c6f: PUSH2 0x0100
00000c72: EXP
00000c73: SWAP1
00000c74: DIV
00000c75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c8a: AND
00000c8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca0: AND
00000ca1: PUSH2 0x0ca8
00000ca4: PUSH2 0x15e3
00000ca7: JUMP
00000ca8: JUMPDEST
00000ca9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cbe: AND
00000cbf: EQ
00000cc0: PUSH2 0x0cc7
00000cc3: JUMPI
00000cc4: PUSH0
00000cc5: DUP1
00000cc6: REVERT
00000cc7: JUMPDEST
00000cc8: PUSH0
00000cc9: PUSH2 0x0d65
00000ccc: PUSH1 0x64
00000cce: PUSH2 0x0d57
00000cd1: DUP5
00000cd2: DUP7
00000cd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce8: AND
00000ce9: PUSH4 0x70a08231
00000cee: ADDRESS
00000cef: PUSH1 0x40
00000cf1: MLOAD
00000cf2: DUP3
00000cf3: PUSH4 0xffffffff
00000cf8: AND
00000cf9: PUSH1 0xe0
00000cfb: SHL
00000cfc: DUP2
00000cfd: MSTORE
00000cfe: PUSH1 0x04
00000d00: ADD
00000d01: PUSH2 0x0d0a
00000d04: SWAP2
00000d05: SWAP1
00000d06: PUSH2 0x2ac7
00000d09: JUMP
00000d0a: JUMPDEST
00000d0b: PUSH1 0x20
00000d0d: PUSH1 0x40
00000d0f: MLOAD
00000d10: DUP1
00000d11: DUP4
00000d12: SUB
00000d13: DUP2
00000d14: DUP7
00000d15: GAS
00000d16: STATICCALL
00000d17: ISZERO
00000d18: DUP1
00000d19: ISZERO
00000d1a: PUSH2 0x0d25
00000d1d: JUMPI
00000d1e: RETURNDATASIZE
00000d1f: PUSH0
00000d20: DUP1
00000d21: RETURNDATACOPY
00000d22: RETURNDATASIZE
00000d23: PUSH0
00000d24: REVERT
00000d25: JUMPDEST
00000d26: POP
00000d27: POP
00000d28: POP
00000d29: POP
00000d2a: PUSH1 0x40
00000d2c: MLOAD
00000d2d: RETURNDATASIZE
00000d2e: PUSH1 0x1f
00000d30: NOT
00000d31: PUSH1 0x1f
00000d33: DUP3
00000d34: ADD
00000d35: AND
00000d36: DUP3
00000d37: ADD
00000d38: DUP1
00000d39: PUSH1 0x40
00000d3b: MSTORE
00000d3c: POP
00000d3d: DUP2
00000d3e: ADD
00000d3f: SWAP1
00000d40: PUSH2 0x0d49
00000d43: SWAP2
00000d44: SWAP1
00000d45: PUSH2 0x2e34
00000d48: JUMP
00000d49: JUMPDEST
00000d4a: PUSH2 0x24c2
00000d4d: SWAP1
00000d4e: SWAP2
00000d4f: SWAP1
00000d50: PUSH4 0xffffffff
00000d55: AND
00000d56: JUMP
00000d57: JUMPDEST
00000d58: PUSH2 0x2539
00000d5b: SWAP1
00000d5c: SWAP2
00000d5d: SWAP1
00000d5e: PUSH4 0xffffffff
00000d63: AND
00000d64: JUMP
00000d65: JUMPDEST
00000d66: SWAP1
00000d67: POP
00000d68: DUP3
00000d69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d7e: AND
00000d7f: PUSH4 0xa9059cbb
00000d84: PUSH1 0x05
00000d86: PUSH0
00000d87: SWAP1
00000d88: SLOAD
00000d89: SWAP1
00000d8a: PUSH2 0x0100
00000d8d: EXP
00000d8e: SWAP1
00000d8f: DIV
00000d90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da5: AND
00000da6: DUP4
00000da7: PUSH1 0x40
00000da9: MLOAD
00000daa: DUP4
00000dab: PUSH4 0xffffffff
00000db0: AND
00000db1: PUSH1 0xe0
00000db3: SHL
00000db4: DUP2
00000db5: MSTORE
00000db6: PUSH1 0x04
00000db8: ADD
00000db9: PUSH2 0x0dc3
00000dbc: SWAP3
00000dbd: SWAP2
00000dbe: SWAP1
00000dbf: PUSH2 0x2eb1
00000dc2: JUMP
00000dc3: JUMPDEST
00000dc4: PUSH1 0x20
00000dc6: PUSH1 0x40
00000dc8: MLOAD
00000dc9: DUP1
00000dca: DUP4
00000dcb: SUB
00000dcc: DUP2
00000dcd: PUSH0
00000dce: DUP8
00000dcf: GAS
00000dd0: CALL
00000dd1: ISZERO
00000dd2: DUP1
00000dd3: ISZERO
00000dd4: PUSH2 0x0ddf
00000dd7: JUMPI
00000dd8: RETURNDATASIZE
00000dd9: PUSH0
00000dda: DUP1
00000ddb: RETURNDATACOPY
00000ddc: RETURNDATASIZE
00000ddd: PUSH0
00000dde: REVERT
00000ddf: JUMPDEST
00000de0: POP
00000de1: POP
00000de2: POP
00000de3: POP
00000de4: PUSH1 0x40
00000de6: MLOAD
00000de7: RETURNDATASIZE
00000de8: PUSH1 0x1f
00000dea: NOT
00000deb: PUSH1 0x1f
00000ded: DUP3
00000dee: ADD
00000def: AND
00000df0: DUP3
00000df1: ADD
00000df2: DUP1
00000df3: PUSH1 0x40
00000df5: MSTORE
00000df6: POP
00000df7: DUP2
00000df8: ADD
00000df9: SWAP1
00000dfa: PUSH2 0x0e03
00000dfd: SWAP2
00000dfe: SWAP1
00000dff: PUSH2 0x2f02
00000e02: JUMP
00000e03: JUMPDEST
00000e04: POP
00000e05: POP
00000e06: POP
00000e07: POP
00000e08: JUMP
00000e09: JUMPDEST
00000e0a: PUSH0
00000e0b: DUP1
00000e0c: PUSH0
00000e0d: SWAP1
00000e0e: SLOAD
00000e0f: SWAP1
00000e10: PUSH2 0x0100
00000e13: EXP
00000e14: SWAP1
00000e15: DIV
00000e16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e2b: AND
00000e2c: SWAP1
00000e2d: POP
00000e2e: SWAP1
00000e2f: JUMP
00000e30: JUMPDEST
00000e31: PUSH1 0x10
00000e33: SLOAD
00000e34: DUP2
00000e35: JUMP
00000e36: JUMPDEST
00000e37: PUSH1 0x60
00000e39: PUSH1 0x40
00000e3b: MLOAD
00000e3c: DUP1
00000e3d: PUSH1 0x40
00000e3f: ADD
00000e40: PUSH1 0x40
00000e42: MSTORE
00000e43: DUP1
00000e44: PUSH1 0x03
00000e46: DUP2
00000e47: MSTORE
00000e48: PUSH1 0x20
00000e4a: ADD
00000e4b: PUSH32 0x474d450000000000000000000000000000000000000000000000000000000000
00000e6c: DUP2
00000e6d: MSTORE
00000e6e: POP
00000e6f: SWAP1
00000e70: POP
00000e71: SWAP1
00000e72: JUMP
00000e73: JUMPDEST
00000e74: PUSH0
00000e75: PUSH2 0x0e86
00000e78: PUSH2 0x0e7f
00000e7b: PUSH2 0x15e3
00000e7e: JUMP
00000e7f: JUMPDEST
00000e80: DUP5
00000e81: DUP5
00000e82: PUSH2 0x17ad
00000e85: JUMP
00000e86: JUMPDEST
00000e87: PUSH1 0x01
00000e89: SWAP1
00000e8a: POP
00000e8b: SWAP3
00000e8c: SWAP2
00000e8d: POP
00000e8e: POP
00000e8f: JUMP
00000e90: JUMPDEST
00000e91: PUSH1 0x11
00000e93: SLOAD
00000e94: DUP2
00000e95: JUMP
00000e96: JUMPDEST
00000e97: PUSH2 0x0e9e
00000e9a: PUSH2 0x15e3
00000e9d: JUMP
00000e9e: JUMPDEST
00000e9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eb4: AND
00000eb5: PUSH0
00000eb6: DUP1
00000eb7: SLOAD
00000eb8: SWAP1
00000eb9: PUSH2 0x0100
00000ebc: EXP
00000ebd: SWAP1
00000ebe: DIV
00000ebf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ed4: AND
00000ed5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eea: AND
00000eeb: EQ
00000eec: PUSH2 0x0f2a
00000eef: JUMPI
00000ef0: PUSH1 0x40
00000ef2: MLOAD
00000ef3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f14: DUP2
00000f15: MSTORE
00000f16: PUSH1 0x04
00000f18: ADD
00000f19: PUSH2 0x0f21
00000f1c: SWAP1
00000f1d: PUSH2 0x2b93
00000f20: JUMP
00000f21: JUMPDEST
00000f22: PUSH1 0x40
00000f24: MLOAD
00000f25: DUP1
00000f26: SWAP2
00000f27: SUB
00000f28: SWAP1
00000f29: REVERT
00000f2a: JUMPDEST
00000f2b: PUSH1 0x14
00000f2d: DUP1
00000f2e: SLOAD
00000f2f: SWAP1
00000f30: PUSH2 0x0100
00000f33: EXP
00000f34: SWAP1
00000f35: DIV
00000f36: PUSH1 0xff
00000f38: AND
00000f39: ISZERO
00000f3a: PUSH2 0x0f78
00000f3d: JUMPI
00000f3e: PUSH1 0x40
00000f40: MLOAD
00000f41: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f62: DUP2
00000f63: MSTORE
00000f64: PUSH1 0x04
00000f66: ADD
00000f67: PUSH2 0x0f6f
00000f6a: SWAP1
00000f6b: PUSH2 0x2f77
00000f6e: JUMP
00000f6f: JUMPDEST
00000f70: PUSH1 0x40
00000f72: MLOAD
00000f73: DUP1
00000f74: SWAP2
00000f75: SUB
00000f76: SWAP1
00000f77: REVERT
00000f78: JUMPDEST
00000f79: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
00000f8e: PUSH1 0x13
00000f90: PUSH0
00000f91: PUSH2 0x0100
00000f94: EXP
00000f95: DUP2
00000f96: SLOAD
00000f97: DUP2
00000f98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fad: MUL
00000fae: NOT
00000faf: AND
00000fb0: SWAP1
00000fb1: DUP4
00000fb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fc7: AND
00000fc8: MUL
00000fc9: OR
00000fca: SWAP1
00000fcb: SSTORE
00000fcc: POP
00000fcd: PUSH2 0x1015
00000fd0: ADDRESS
00000fd1: PUSH1 0x13
00000fd3: PUSH0
00000fd4: SWAP1
00000fd5: SLOAD
00000fd6: SWAP1
00000fd7: PUSH2 0x0100
00000fda: EXP
00000fdb: SWAP1
00000fdc: DIV
00000fdd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ff2: AND
00000ff3: PUSH1 0x09
00000ff5: PUSH1 0x0a
00000ff7: PUSH2 0x1000
00000ffa: SWAP2
00000ffb: SWAP1
00000ffc: PUSH2 0x2d68
00000fff: JUMP
00001000: JUMPDEST
00001001: PUSH5 0x61f313f880
00001007: PUSH2 0x1010
0000100a: SWAP2
0000100b: SWAP1
0000100c: PUSH2 0x2db2
0000100f: JUMP
00001010: JUMPDEST
00001011: PUSH2 0x15ea
00001014: JUMP
00001015: JUMPDEST
00001016: PUSH1 0x13
00001018: PUSH0
00001019: SWAP1
0000101a: SLOAD
0000101b: SWAP1
0000101c: PUSH2 0x0100
0000101f: EXP
00001020: SWAP1
00001021: DIV
00001022: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001037: AND
00001038: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000104d: AND
0000104e: PUSH4 0xc45a0155
00001053: PUSH1 0x40
00001055: MLOAD
00001056: DUP2
00001057: PUSH4 0xffffffff
0000105c: AND
0000105d: PUSH1 0xe0
0000105f: SHL
00001060: DUP2
00001061: MSTORE
00001062: PUSH1 0x04
00001064: ADD
00001065: PUSH1 0x20
00001067: PUSH1 0x40
00001069: MLOAD
0000106a: DUP1
0000106b: DUP4
0000106c: SUB
0000106d: DUP2
0000106e: DUP7
0000106f: GAS
00001070: STATICCALL
00001071: ISZERO
00001072: DUP1
00001073: ISZERO
00001074: PUSH2 0x107f
00001077: JUMPI
00001078: RETURNDATASIZE
00001079: PUSH0
0000107a: DUP1
0000107b: RETURNDATACOPY
0000107c: RETURNDATASIZE
0000107d: PUSH0
0000107e: REVERT
0000107f: JUMPDEST
00001080: POP
00001081: POP
00001082: POP
00001083: POP
00001084: PUSH1 0x40
00001086: MLOAD
00001087: RETURNDATASIZE
00001088: PUSH1 0x1f
0000108a: NOT
0000108b: PUSH1 0x1f
0000108d: DUP3
0000108e: ADD
0000108f: AND
00001090: DUP3
00001091: ADD
00001092: DUP1
00001093: PUSH1 0x40
00001095: MSTORE
00001096: POP
00001097: DUP2
00001098: ADD
00001099: SWAP1
0000109a: PUSH2 0x10a3
0000109d: SWAP2
0000109e: SWAP1
0000109f: PUSH2 0x2fa9
000010a2: JUMP
000010a3: JUMPDEST
000010a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b9: AND
000010ba: PUSH4 0xc9c65396
000010bf: ADDRESS
000010c0: PUSH1 0x13
000010c2: PUSH0
000010c3: SWAP1
000010c4: SLOAD
000010c5: SWAP1
000010c6: PUSH2 0x0100
000010c9: EXP
000010ca: SWAP1
000010cb: DIV
000010cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010e1: AND
000010e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010f7: AND
000010f8: PUSH4 0xad5c4648
000010fd: PUSH1 0x40
000010ff: MLOAD
00001100: DUP2
00001101: PUSH4 0xffffffff
00001106: AND
00001107: PUSH1 0xe0
00001109: SHL
0000110a: DUP2
0000110b: MSTORE
0000110c: PUSH1 0x04
0000110e: ADD
0000110f: PUSH1 0x20
00001111: PUSH1 0x40
00001113: MLOAD
00001114: DUP1
00001115: DUP4
00001116: SUB
00001117: DUP2
00001118: DUP7
00001119: GAS
0000111a: STATICCALL
0000111b: ISZERO
0000111c: DUP1
0000111d: ISZERO
0000111e: PUSH2 0x1129
00001121: JUMPI
00001122: RETURNDATASIZE
00001123: PUSH0
00001124: DUP1
00001125: RETURNDATACOPY
00001126: RETURNDATASIZE
00001127: PUSH0
00001128: REVERT
00001129: JUMPDEST
0000112a: POP
0000112b: POP
0000112c: POP
0000112d: POP
0000112e: PUSH1 0x40
00001130: MLOAD
00001131: RETURNDATASIZE
00001132: PUSH1 0x1f
00001134: NOT
00001135: PUSH1 0x1f
00001137: DUP3
00001138: ADD
00001139: AND
0000113a: DUP3
0000113b: ADD
0000113c: DUP1
0000113d: PUSH1 0x40
0000113f: MSTORE
00001140: POP
00001141: DUP2
00001142: ADD
00001143: SWAP1
00001144: PUSH2 0x114d
00001147: SWAP2
00001148: SWAP1
00001149: PUSH2 0x2fa9
0000114c: JUMP
0000114d: JUMPDEST
0000114e: PUSH1 0x40
00001150: MLOAD
00001151: DUP4
00001152: PUSH4 0xffffffff
00001157: AND
00001158: PUSH1 0xe0
0000115a: SHL
0000115b: DUP2
0000115c: MSTORE
0000115d: PUSH1 0x04
0000115f: ADD
00001160: PUSH2 0x116a
00001163: SWAP3
00001164: SWAP2
00001165: SWAP1
00001166: PUSH2 0x2fd4
00001169: JUMP
0000116a: JUMPDEST
0000116b: PUSH1 0x20
0000116d: PUSH1 0x40
0000116f: MLOAD
00001170: DUP1
00001171: DUP4
00001172: SUB
00001173: DUP2
00001174: PUSH0
00001175: DUP8
00001176: GAS
00001177: CALL
00001178: ISZERO
00001179: DUP1
0000117a: ISZERO
0000117b: PUSH2 0x1186
0000117e: JUMPI
0000117f: RETURNDATASIZE
00001180: PUSH0
00001181: DUP1
00001182: RETURNDATACOPY
00001183: RETURNDATASIZE
00001184: PUSH0
00001185: REVERT
00001186: JUMPDEST
00001187: POP
00001188: POP
00001189: POP
0000118a: POP
0000118b: PUSH1 0x40
0000118d: MLOAD
0000118e: RETURNDATASIZE
0000118f: PUSH1 0x1f
00001191: NOT
00001192: PUSH1 0x1f
00001194: DUP3
00001195: ADD
00001196: AND
00001197: DUP3
00001198: ADD
00001199: DUP1
0000119a: PUSH1 0x40
0000119c: MSTORE
0000119d: POP
0000119e: DUP2
0000119f: ADD
000011a0: SWAP1
000011a1: PUSH2 0x11aa
000011a4: SWAP2
000011a5: SWAP1
000011a6: PUSH2 0x2fa9
000011a9: JUMP
000011aa: JUMPDEST
000011ab: PUSH1 0x14
000011ad: PUSH0
000011ae: PUSH2 0x0100
000011b1: EXP
000011b2: DUP2
000011b3: SLOAD
000011b4: DUP2
000011b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011ca: MUL
000011cb: NOT
000011cc: AND
000011cd: SWAP1
000011ce: DUP4
000011cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011e4: AND
000011e5: MUL
000011e6: OR
000011e7: SWAP1
000011e8: SSTORE
000011e9: POP
000011ea: PUSH1 0x13
000011ec: PUSH0
000011ed: SWAP1
000011ee: SLOAD
000011ef: SWAP1
000011f0: PUSH2 0x0100
000011f3: EXP
000011f4: SWAP1
000011f5: DIV
000011f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000120b: AND
0000120c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001221: AND
00001222: PUSH4 0xf305d719
00001227: SELFBALANCE
00001228: ADDRESS
00001229: PUSH2 0x1231
0000122c: ADDRESS
0000122d: PUSH2 0x099c
00001230: JUMP
00001231: JUMPDEST
00001232: PUSH0
00001233: DUP1
00001234: PUSH2 0x123b
00001237: PUSH2 0x0e09
0000123a: JUMP
0000123b: JUMPDEST
0000123c: TIMESTAMP
0000123d: PUSH1 0x40
0000123f: MLOAD
00001240: DUP9
00001241: PUSH4 0xffffffff
00001246: AND
00001247: PUSH1 0xe0
00001249: SHL
0000124a: DUP2
0000124b: MSTORE
0000124c: PUSH1 0x04
0000124e: ADD
0000124f: PUSH2 0x125d
00001252: SWAP7
00001253: SWAP6
00001254: SWAP5
00001255: SWAP4
00001256: SWAP3
00001257: SWAP2
00001258: SWAP1
00001259: PUSH2 0x2ffb
0000125c: JUMP
0000125d: JUMPDEST
0000125e: PUSH1 0x60
00001260: PUSH1 0x40
00001262: MLOAD
00001263: DUP1
00001264: DUP4
00001265: SUB
00001266: DUP2
00001267: DUP6
00001268: DUP9
00001269: GAS
0000126a: CALL
0000126b: ISZERO
0000126c: DUP1
0000126d: ISZERO
0000126e: PUSH2 0x1279
00001271: JUMPI
00001272: RETURNDATASIZE
00001273: PUSH0
00001274: DUP1
00001275: RETURNDATACOPY
00001276: RETURNDATASIZE
00001277: PUSH0
00001278: REVERT
00001279: JUMPDEST
0000127a: POP
0000127b: POP
0000127c: POP
0000127d: POP
0000127e: POP
0000127f: PUSH1 0x40
00001281: MLOAD
00001282: RETURNDATASIZE
00001283: PUSH1 0x1f
00001285: NOT
00001286: PUSH1 0x1f
00001288: DUP3
00001289: ADD
0000128a: AND
0000128b: DUP3
0000128c: ADD
0000128d: DUP1
0000128e: PUSH1 0x40
00001290: MSTORE
00001291: POP
00001292: DUP2
00001293: ADD
00001294: SWAP1
00001295: PUSH2 0x129e
00001298: SWAP2
00001299: SWAP1
0000129a: PUSH2 0x305a
0000129d: JUMP
0000129e: JUMPDEST
0000129f: POP
000012a0: POP
000012a1: POP
000012a2: PUSH1 0x14
000012a4: PUSH0
000012a5: SWAP1
000012a6: SLOAD
000012a7: SWAP1
000012a8: PUSH2 0x0100
000012ab: EXP
000012ac: SWAP1
000012ad: DIV
000012ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012c3: AND
000012c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012d9: AND
000012da: PUSH4 0x095ea7b3
000012df: PUSH1 0x13
000012e1: PUSH0
000012e2: SWAP1
000012e3: SLOAD
000012e4: SWAP1
000012e5: PUSH2 0x0100
000012e8: EXP
000012e9: SWAP1
000012ea: DIV
000012eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001300: AND
00001301: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001322: PUSH1 0x40
00001324: MLOAD
00001325: DUP4
00001326: PUSH4 0xffffffff
0000132b: AND
0000132c: PUSH1 0xe0
0000132e: SHL
0000132f: DUP2
00001330: MSTORE
00001331: PUSH1 0x04
00001333: ADD
00001334: PUSH2 0x133e
00001337: SWAP3
00001338: SWAP2
00001339: SWAP1
0000133a: PUSH2 0x30aa
0000133d: JUMP
0000133e: JUMPDEST
0000133f: PUSH1 0x20
00001341: PUSH1 0x40
00001343: MLOAD
00001344: DUP1
00001345: DUP4
00001346: SUB
00001347: DUP2
00001348: PUSH0
00001349: DUP8
0000134a: GAS
0000134b: CALL
0000134c: ISZERO
0000134d: DUP1
0000134e: ISZERO
0000134f: PUSH2 0x135a
00001352: JUMPI
00001353: RETURNDATASIZE
00001354: PUSH0
00001355: DUP1
00001356: RETURNDATACOPY
00001357: RETURNDATASIZE
00001358: PUSH0
00001359: REVERT
0000135a: JUMPDEST
0000135b: POP
0000135c: POP
0000135d: POP
0000135e: POP
0000135f: PUSH1 0x40
00001361: MLOAD
00001362: RETURNDATASIZE
00001363: PUSH1 0x1f
00001365: NOT
00001366: PUSH1 0x1f
00001368: DUP3
00001369: ADD
0000136a: AND
0000136b: DUP3
0000136c: ADD
0000136d: DUP1
0000136e: PUSH1 0x40
00001370: MSTORE
00001371: POP
00001372: DUP2
00001373: ADD
00001374: SWAP1
00001375: PUSH2 0x137e
00001378: SWAP2
00001379: SWAP1
0000137a: PUSH2 0x2f02
0000137d: JUMP
0000137e: JUMPDEST
0000137f: POP
00001380: PUSH1 0x01
00001382: PUSH1 0x14
00001384: PUSH1 0x16
00001386: PUSH2 0x0100
00001389: EXP
0000138a: DUP2
0000138b: SLOAD
0000138c: DUP2
0000138d: PUSH1 0xff
0000138f: MUL
00001390: NOT
00001391: AND
00001392: SWAP1
00001393: DUP4
00001394: ISZERO
00001395: ISZERO
00001396: MUL
00001397: OR
00001398: SWAP1
00001399: SSTORE
0000139a: POP
0000139b: PUSH1 0x01
0000139d: PUSH1 0x14
0000139f: DUP1
000013a0: PUSH2 0x0100
000013a3: EXP
000013a4: DUP2
000013a5: SLOAD
000013a6: DUP2
000013a7: PUSH1 0xff
000013a9: MUL
000013aa: NOT
000013ab: AND
000013ac: SWAP1
000013ad: DUP4
000013ae: ISZERO
000013af: ISZERO
000013b0: MUL
000013b1: OR
000013b2: SWAP1
000013b3: SSTORE
000013b4: POP
000013b5: JUMP
000013b6: JUMPDEST
000013b7: PUSH2 0x13be
000013ba: PUSH2 0x15e3
000013bd: JUMP
000013be: JUMPDEST
000013bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013d4: AND
000013d5: PUSH0
000013d6: DUP1
000013d7: SLOAD
000013d8: SWAP1
000013d9: PUSH2 0x0100
000013dc: EXP
000013dd: SWAP1
000013de: DIV
000013df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013f4: AND
000013f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000140a: AND
0000140b: EQ
0000140c: PUSH2 0x144a
0000140f: JUMPI
00001410: PUSH1 0x40
00001412: MLOAD
00001413: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001434: DUP2
00001435: MSTORE
00001436: PUSH1 0x04
00001438: ADD
00001439: PUSH2 0x1441
0000143c: SWAP1
0000143d: PUSH2 0x2b93
00001440: JUMP
00001441: JUMPDEST
00001442: PUSH1 0x40
00001444: MLOAD
00001445: DUP1
00001446: SWAP2
00001447: SUB
00001448: SWAP1
00001449: REVERT
0000144a: JUMPDEST
0000144b: PUSH0
0000144c: JUMPDEST
0000144d: DUP2
0000144e: MLOAD
0000144f: DUP2
00001450: LT
00001451: ISZERO
00001452: PUSH2 0x14d1
00001455: JUMPI
00001456: PUSH1 0x01
00001458: PUSH1 0x04
0000145a: PUSH0
0000145b: DUP5
0000145c: DUP5
0000145d: DUP2
0000145e: MLOAD
0000145f: DUP2
00001460: LT
00001461: PUSH2 0x146d
00001464: JUMPI
00001465: PUSH2 0x146c
00001468: PUSH2 0x2df3
0000146b: JUMP
0000146c: JUMPDEST
0000146d: JUMPDEST
0000146e: PUSH1 0x20
00001470: MUL
00001471: PUSH1 0x20
00001473: ADD
00001474: ADD
00001475: MLOAD
00001476: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000148b: AND
0000148c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014a1: AND
000014a2: DUP2
000014a3: MSTORE
000014a4: PUSH1 0x20
000014a6: ADD
000014a7: SWAP1
000014a8: DUP2
000014a9: MSTORE
000014aa: PUSH1 0x20
000014ac: ADD
000014ad: PUSH0
000014ae: KECCAK256
000014af: PUSH0
000014b0: PUSH2 0x0100
000014b3: EXP
000014b4: DUP2
000014b5: SLOAD
000014b6: DUP2
000014b7: PUSH1 0xff
000014b9: MUL
000014ba: NOT
000014bb: AND
000014bc: SWAP1
000014bd: DUP4
000014be: ISZERO
000014bf: ISZERO
000014c0: MUL
000014c1: OR
000014c2: SWAP1
000014c3: SSTORE
000014c4: POP
000014c5: DUP1
000014c6: DUP1
000014c7: PUSH1 0x01
000014c9: ADD
000014ca: SWAP2
000014cb: POP
000014cc: POP
000014cd: PUSH2 0x144c
000014d0: JUMP
000014d1: JUMPDEST
000014d2: POP
000014d3: POP
000014d4: JUMP
000014d5: JUMPDEST
000014d6: PUSH0
000014d7: PUSH1 0x02
000014d9: PUSH0
000014da: DUP5
000014db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014f0: AND
000014f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001506: AND
00001507: DUP2
00001508: MSTORE
00001509: PUSH1 0x20
0000150b: ADD
0000150c: SWAP1
0000150d: DUP2
0000150e: MSTORE
0000150f: PUSH1 0x20
00001511: ADD
00001512: PUSH0
00001513: KECCAK256
00001514: PUSH0
00001515: DUP4
00001516: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000152b: AND
0000152c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001541: AND
00001542: DUP2
00001543: MSTORE
00001544: PUSH1 0x20
00001546: ADD
00001547: SWAP1
00001548: DUP2
00001549: MSTORE
0000154a: PUSH1 0x20
0000154c: ADD
0000154d: PUSH0
0000154e: KECCAK256
0000154f: SLOAD
00001550: SWAP1
00001551: POP
00001552: SWAP3
00001553: SWAP2
00001554: POP
00001555: POP
00001556: JUMP
00001557: JUMPDEST
00001558: PUSH1 0x05
0000155a: PUSH0
0000155b: SWAP1
0000155c: SLOAD
0000155d: SWAP1
0000155e: PUSH2 0x0100
00001561: EXP
00001562: SWAP1
00001563: DIV
00001564: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001579: AND
0000157a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000158f: AND
00001590: PUSH2 0x1597
00001593: PUSH2 0x15e3
00001596: JUMP
00001597: JUMPDEST
00001598: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ad: AND
000015ae: EQ
000015af: PUSH2 0x15b6
000015b2: JUMPI
000015b3: PUSH0
000015b4: DUP1
000015b5: REVERT
000015b6: JUMPDEST
000015b7: PUSH1 0x08
000015b9: SLOAD
000015ba: DUP2
000015bb: GT
000015bc: ISZERO
000015bd: DUP1
000015be: ISZERO
000015bf: PUSH2 0x15ca
000015c2: JUMPI
000015c3: POP
000015c4: PUSH1 0x09
000015c6: SLOAD
000015c7: DUP2
000015c8: GT
000015c9: ISZERO
000015ca: JUMPDEST
000015cb: PUSH2 0x15d2
000015ce: JUMPI
000015cf: PUSH0
000015d0: DUP1
000015d1: REVERT
000015d2: JUMPDEST
000015d3: DUP1
000015d4: PUSH1 0x08
000015d6: DUP2
000015d7: SWAP1
000015d8: SSTORE
000015d9: POP
000015da: DUP1
000015db: PUSH1 0x09
000015dd: DUP2
000015de: SWAP1
000015df: SSTORE
000015e0: POP
000015e1: POP
000015e2: JUMP
000015e3: JUMPDEST
000015e4: PUSH0
000015e5: CALLER
000015e6: SWAP1
000015e7: POP
000015e8: SWAP1
000015e9: JUMP
000015ea: JUMPDEST
000015eb: PUSH0
000015ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001601: AND
00001602: DUP4
00001603: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001618: AND
00001619: SUB
0000161a: PUSH2 0x1658
0000161d: JUMPI
0000161e: PUSH1 0x40
00001620: MLOAD
00001621: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001642: DUP2
00001643: MSTORE
00001644: PUSH1 0x04
00001646: ADD
00001647: PUSH2 0x164f
0000164a: SWAP1
0000164b: PUSH2 0x3141
0000164e: JUMP
0000164f: JUMPDEST
00001650: PUSH1 0x40
00001652: MLOAD
00001653: DUP1
00001654: SWAP2
00001655: SUB
00001656: SWAP1
00001657: REVERT
00001658: JUMPDEST
00001659: PUSH0
0000165a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000166f: AND
00001670: DUP3
00001671: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001686: AND
00001687: SUB
00001688: PUSH2 0x16c6
0000168b: JUMPI
0000168c: PUSH1 0x40
0000168e: MLOAD
0000168f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016b0: DUP2
000016b1: MSTORE
000016b2: PUSH1 0x04
000016b4: ADD
000016b5: PUSH2 0x16bd
000016b8: SWAP1
000016b9: PUSH2 0x31cf
000016bc: JUMP
000016bd: JUMPDEST
000016be: PUSH1 0x40
000016c0: MLOAD
000016c1: DUP1
000016c2: SWAP2
000016c3: SUB
000016c4: SWAP1
000016c5: REVERT
000016c6: JUMPDEST
000016c7: DUP1
000016c8: PUSH1 0x02
000016ca: PUSH0
000016cb: DUP6
000016cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016e1: AND
000016e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f7: AND
000016f8: DUP2
000016f9: MSTORE
000016fa: PUSH1 0x20
000016fc: ADD
000016fd: SWAP1
000016fe: DUP2
000016ff: MSTORE
00001700: PUSH1 0x20
00001702: ADD
00001703: PUSH0
00001704: KECCAK256
00001705: PUSH0
00001706: DUP5
00001707: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000171c: AND
0000171d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001732: AND
00001733: DUP2
00001734: MSTORE
00001735: PUSH1 0x20
00001737: ADD
00001738: SWAP1
00001739: DUP2
0000173a: MSTORE
0000173b: PUSH1 0x20
0000173d: ADD
0000173e: PUSH0
0000173f: KECCAK256
00001740: DUP2
00001741: SWAP1
00001742: SSTORE
00001743: POP
00001744: DUP2
00001745: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000175a: AND
0000175b: DUP4
0000175c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001771: AND
00001772: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001793: DUP4
00001794: PUSH1 0x40
00001796: MLOAD
00001797: PUSH2 0x17a0
0000179a: SWAP2
0000179b: SWAP1
0000179c: PUSH2 0x2869
0000179f: JUMP
000017a0: JUMPDEST
000017a1: PUSH1 0x40
000017a3: MLOAD
000017a4: DUP1
000017a5: SWAP2
000017a6: SUB
000017a7: SWAP1
000017a8: LOG3
000017a9: POP
000017aa: POP
000017ab: POP
000017ac: JUMP
000017ad: JUMPDEST
000017ae: PUSH0
000017af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017c4: AND
000017c5: DUP4
000017c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017db: AND
000017dc: SUB
000017dd: PUSH2 0x181b
000017e0: JUMPI
000017e1: PUSH1 0x40
000017e3: MLOAD
000017e4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001805: DUP2
00001806: MSTORE
00001807: PUSH1 0x04
00001809: ADD
0000180a: PUSH2 0x1812
0000180d: SWAP1
0000180e: PUSH2 0x325d
00001811: JUMP
00001812: JUMPDEST
00001813: PUSH1 0x40
00001815: MLOAD
00001816: DUP1
00001817: SWAP2
00001818: SUB
00001819: SWAP1
0000181a: REVERT
0000181b: JUMPDEST
0000181c: PUSH0
0000181d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001832: AND
00001833: DUP3
00001834: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001849: AND
0000184a: SUB
0000184b: PUSH2 0x1889
0000184e: JUMPI
0000184f: PUSH1 0x40
00001851: MLOAD
00001852: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001873: DUP2
00001874: MSTORE
00001875: PUSH1 0x04
00001877: ADD
00001878: PUSH2 0x1880
0000187b: SWAP1
0000187c: PUSH2 0x32eb
0000187f: JUMP
00001880: JUMPDEST
00001881: PUSH1 0x40
00001883: MLOAD
00001884: DUP1
00001885: SWAP2
00001886: SUB
00001887: SWAP1
00001888: REVERT
00001889: JUMPDEST
0000188a: PUSH0
0000188b: DUP2
0000188c: GT
0000188d: PUSH2 0x18cb
00001890: JUMPI
00001891: PUSH1 0x40
00001893: MLOAD
00001894: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018b5: DUP2
000018b6: MSTORE
000018b7: PUSH1 0x04
000018b9: ADD
000018ba: PUSH2 0x18c2
000018bd: SWAP1
000018be: PUSH2 0x3379
000018c1: JUMP
000018c2: JUMPDEST
000018c3: PUSH1 0x40
000018c5: MLOAD
000018c6: DUP1
000018c7: SWAP2
000018c8: SUB
000018c9: SWAP1
000018ca: REVERT
000018cb: JUMPDEST
000018cc: PUSH0
000018cd: PUSH2 0x18d4
000018d0: PUSH2 0x0e09
000018d3: JUMP
000018d4: JUMPDEST
000018d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018ea: AND
000018eb: DUP5
000018ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001901: AND
00001902: EQ
00001903: ISZERO
00001904: DUP1
00001905: ISZERO
00001906: PUSH2 0x1942
00001909: JUMPI
0000190a: POP
0000190b: PUSH2 0x1912
0000190e: PUSH2 0x0e09
00001911: JUMP
00001912: JUMPDEST
00001913: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001928: AND
00001929: DUP4
0000192a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000193f: AND
00001940: EQ
00001941: ISZERO
00001942: JUMPDEST
00001943: DUP1
00001944: ISZERO
00001945: PUSH2 0x199b
00001948: JUMPI
00001949: POP
0000194a: PUSH1 0x05
0000194c: PUSH0
0000194d: SWAP1
0000194e: SLOAD
0000194f: SWAP1
00001950: PUSH2 0x0100
00001953: EXP
00001954: SWAP1
00001955: DIV
00001956: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000196b: AND
0000196c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001981: AND
00001982: DUP4
00001983: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001998: AND
00001999: EQ
0000199a: ISZERO
0000199b: JUMPDEST
0000199c: ISZERO
0000199d: PUSH2 0x1edd
000019a0: JUMPI
000019a1: PUSH1 0x04
000019a3: PUSH0
000019a4: DUP6
000019a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019ba: AND
000019bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d0: AND
000019d1: DUP2
000019d2: MSTORE
000019d3: PUSH1 0x20
000019d5: ADD
000019d6: SWAP1
000019d7: DUP2
000019d8: MSTORE
000019d9: PUSH1 0x20
000019db: ADD
000019dc: PUSH0
000019dd: KECCAK256
000019de: PUSH0
000019df: SWAP1
000019e0: SLOAD
000019e1: SWAP1
000019e2: PUSH2 0x0100
000019e5: EXP
000019e6: SWAP1
000019e7: DIV
000019e8: PUSH1 0xff
000019ea: AND
000019eb: ISZERO
000019ec: DUP1
000019ed: ISZERO
000019ee: PUSH2 0x1a3e
000019f1: JUMPI
000019f2: POP
000019f3: PUSH1 0x04
000019f5: PUSH0
000019f6: DUP5
000019f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a0c: AND
00001a0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a22: AND
00001a23: DUP2
00001a24: MSTORE
00001a25: PUSH1 0x20
00001a27: ADD
00001a28: SWAP1
00001a29: DUP2
00001a2a: MSTORE
00001a2b: PUSH1 0x20
00001a2d: ADD
00001a2e: PUSH0
00001a2f: KECCAK256
00001a30: PUSH0
00001a31: SWAP1
00001a32: SLOAD
00001a33: SWAP1
00001a34: PUSH2 0x0100
00001a37: EXP
00001a38: SWAP1
00001a39: DIV
00001a3a: PUSH1 0xff
00001a3c: AND
00001a3d: ISZERO
00001a3e: JUMPDEST
00001a3f: PUSH2 0x1a46
00001a42: JUMPI
00001a43: PUSH0
00001a44: DUP1
00001a45: REVERT
00001a46: JUMPDEST
00001a47: PUSH0
00001a48: PUSH1 0x0e
00001a4a: SLOAD
00001a4b: SUB
00001a4c: PUSH2 0x1a8e
00001a4f: JUMPI
00001a50: PUSH2 0x1a8b
00001a53: PUSH1 0x64
00001a55: PUSH2 0x1a7d
00001a58: PUSH1 0x0a
00001a5a: SLOAD
00001a5b: PUSH1 0x0e
00001a5d: SLOAD
00001a5e: GT
00001a5f: PUSH2 0x1a6a
00001a62: JUMPI
00001a63: PUSH1 0x06
00001a65: SLOAD
00001a66: PUSH2 0x1a6e
00001a69: JUMP
00001a6a: JUMPDEST
00001a6b: PUSH1 0x08
00001a6d: SLOAD
00001a6e: JUMPDEST
00001a6f: DUP6
00001a70: PUSH2 0x24c2
00001a73: SWAP1
00001a74: SWAP2
00001a75: SWAP1
00001a76: PUSH4 0xffffffff
00001a7b: AND
00001a7c: JUMP
00001a7d: JUMPDEST
00001a7e: PUSH2 0x2539
00001a81: SWAP1
00001a82: SWAP2
00001a83: SWAP1
00001a84: PUSH4 0xffffffff
00001a89: AND
00001a8a: JUMP
00001a8b: JUMPDEST
00001a8c: SWAP1
00001a8d: POP
00001a8e: JUMPDEST
00001a8f: PUSH0
00001a90: PUSH1 0x0e
00001a92: SLOAD
00001a93: GT
00001a94: ISZERO
00001a95: PUSH2 0x1ac3
00001a98: JUMPI
00001a99: PUSH2 0x1ac0
00001a9c: PUSH1 0x64
00001a9e: PUSH2 0x1ab2
00001aa1: PUSH1 0x0d
00001aa3: SLOAD
00001aa4: DUP6
00001aa5: PUSH2 0x24c2
00001aa8: SWAP1
00001aa9: SWAP2
00001aaa: SWAP1
00001aab: PUSH4 0xffffffff
00001ab0: AND
00001ab1: JUMP
00001ab2: JUMPDEST
00001ab3: PUSH2 0x2539
00001ab6: SWAP1
00001ab7: SWAP2
00001ab8: SWAP1
00001ab9: PUSH4 0xffffffff
00001abe: AND
00001abf: JUMP
00001ac0: JUMPDEST
00001ac1: SWAP1
00001ac2: POP
00001ac3: JUMPDEST
00001ac4: PUSH1 0x14
00001ac6: PUSH0
00001ac7: SWAP1
00001ac8: SLOAD
00001ac9: SWAP1
00001aca: PUSH2 0x0100
00001acd: EXP
00001ace: SWAP1
00001acf: DIV
00001ad0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ae5: AND
00001ae6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001afb: AND
00001afc: DUP5
00001afd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b12: AND
00001b13: EQ
00001b14: DUP1
00001b15: ISZERO
00001b16: PUSH2 0x1b6c
00001b19: JUMPI
00001b1a: POP
00001b1b: PUSH1 0x13
00001b1d: PUSH0
00001b1e: SWAP1
00001b1f: SLOAD
00001b20: SWAP1
00001b21: PUSH2 0x0100
00001b24: EXP
00001b25: SWAP1
00001b26: DIV
00001b27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b3c: AND
00001b3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b52: AND
00001b53: DUP4
00001b54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b69: AND
00001b6a: EQ
00001b6b: ISZERO
00001b6c: JUMPDEST
00001b6d: DUP1
00001b6e: ISZERO
00001b6f: PUSH2 0x1bbf
00001b72: JUMPI
00001b73: POP
00001b74: PUSH1 0x03
00001b76: PUSH0
00001b77: DUP5
00001b78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b8d: AND
00001b8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ba3: AND
00001ba4: DUP2
00001ba5: MSTORE
00001ba6: PUSH1 0x20
00001ba8: ADD
00001ba9: SWAP1
00001baa: DUP2
00001bab: MSTORE
00001bac: PUSH1 0x20
00001bae: ADD
00001baf: PUSH0
00001bb0: KECCAK256
00001bb1: PUSH0
00001bb2: SWAP1
00001bb3: SLOAD
00001bb4: SWAP1
00001bb5: PUSH2 0x0100
00001bb8: EXP
00001bb9: SWAP1
00001bba: DIV
00001bbb: PUSH1 0xff
00001bbd: AND
00001bbe: ISZERO
00001bbf: JUMPDEST
00001bc0: ISZERO
00001bc1: PUSH2 0x1cb7
00001bc4: JUMPI
00001bc5: PUSH1 0x0f
00001bc7: SLOAD
00001bc8: DUP3
00001bc9: GT
00001bca: ISZERO
00001bcb: PUSH2 0x1c09
00001bce: JUMPI
00001bcf: PUSH1 0x40
00001bd1: MLOAD
00001bd2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bf3: DUP2
00001bf4: MSTORE
00001bf5: PUSH1 0x04
00001bf7: ADD
00001bf8: PUSH2 0x1c00
00001bfb: SWAP1
00001bfc: PUSH2 0x33e1
00001bff: JUMP
00001c00: JUMPDEST
00001c01: PUSH1 0x40
00001c03: MLOAD
00001c04: DUP1
00001c05: SWAP2
00001c06: SUB
00001c07: SWAP1
00001c08: REVERT
00001c09: JUMPDEST
00001c0a: PUSH1 0x10
00001c0c: SLOAD
00001c0d: DUP3
00001c0e: PUSH2 0x1c16
00001c11: DUP6
00001c12: PUSH2 0x099c
00001c15: JUMP
00001c16: JUMPDEST
00001c17: PUSH2 0x1c20
00001c1a: SWAP2
00001c1b: SWAP1
00001c1c: PUSH2 0x33ff
00001c1f: JUMP
00001c20: JUMPDEST
00001c21: GT
00001c22: ISZERO
00001c23: PUSH2 0x1c61
00001c26: JUMPI
00001c27: PUSH1 0x40
00001c29: MLOAD
00001c2a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c4b: DUP2
00001c4c: MSTORE
00001c4d: PUSH1 0x04
00001c4f: ADD
00001c50: PUSH2 0x1c58
00001c53: SWAP1
00001c54: PUSH2 0x347c
00001c57: JUMP
00001c58: JUMPDEST
00001c59: PUSH1 0x40
00001c5b: MLOAD
00001c5c: DUP1
00001c5d: SWAP2
00001c5e: SUB
00001c5f: SWAP1
00001c60: REVERT
00001c61: JUMPDEST
00001c62: PUSH2 0x1c9d
00001c65: PUSH1 0x64
00001c67: PUSH2 0x1c8f
00001c6a: PUSH1 0x0a
00001c6c: SLOAD
00001c6d: PUSH1 0x0e
00001c6f: SLOAD
00001c70: GT
00001c71: PUSH2 0x1c7c
00001c74: JUMPI
00001c75: PUSH1 0x06
00001c77: SLOAD
00001c78: PUSH2 0x1c80
00001c7b: JUMP
00001c7c: JUMPDEST
00001c7d: PUSH1 0x08
00001c7f: SLOAD
00001c80: JUMPDEST
00001c81: DUP6
00001c82: PUSH2 0x24c2
00001c85: SWAP1
00001c86: SWAP2
00001c87: SWAP1
00001c88: PUSH4 0xffffffff
00001c8d: AND
00001c8e: JUMP
00001c8f: JUMPDEST
00001c90: PUSH2 0x2539
00001c93: SWAP1
00001c94: SWAP2
00001c95: SWAP1
00001c96: PUSH4 0xffffffff
00001c9b: AND
00001c9c: JUMP
00001c9d: JUMPDEST
00001c9e: SWAP1
00001c9f: POP
00001ca0: PUSH1 0x0e
00001ca2: PUSH0
00001ca3: DUP2
00001ca4: SLOAD
00001ca5: DUP1
00001ca6: SWAP3
00001ca7: SWAP2
00001ca8: SWAP1
00001ca9: PUSH2 0x1cb1
00001cac: SWAP1
00001cad: PUSH2 0x349a
00001cb0: JUMP
00001cb1: JUMPDEST
00001cb2: SWAP2
00001cb3: SWAP1
00001cb4: POP
00001cb5: SSTORE
00001cb6: POP
00001cb7: JUMPDEST
00001cb8: PUSH1 0x14
00001cba: PUSH0
00001cbb: SWAP1
00001cbc: SLOAD
00001cbd: SWAP1
00001cbe: PUSH2 0x0100
00001cc1: EXP
00001cc2: SWAP1
00001cc3: DIV
00001cc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cd9: AND
00001cda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cef: AND
00001cf0: DUP4
00001cf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d06: AND
00001d07: EQ
00001d08: DUP1
00001d09: ISZERO
00001d0a: PUSH2 0x1d3f
00001d0d: JUMPI
00001d0e: POP
00001d0f: ADDRESS
00001d10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d25: AND
00001d26: DUP5
00001d27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d3c: AND
00001d3d: EQ
00001d3e: ISZERO
00001d3f: JUMPDEST
00001d40: ISZERO
00001d41: PUSH2 0x1d83
00001d44: JUMPI
00001d45: PUSH2 0x1d80
00001d48: PUSH1 0x64
00001d4a: PUSH2 0x1d72
00001d4d: PUSH1 0x0b
00001d4f: SLOAD
00001d50: PUSH1 0x0e
00001d52: SLOAD
00001d53: GT
00001d54: PUSH2 0x1d5f
00001d57: JUMPI
00001d58: PUSH1 0x07
00001d5a: SLOAD
00001d5b: PUSH2 0x1d63
00001d5e: JUMP
00001d5f: JUMPDEST
00001d60: PUSH1 0x09
00001d62: SLOAD
00001d63: JUMPDEST
00001d64: DUP6
00001d65: PUSH2 0x24c2
00001d68: SWAP1
00001d69: SWAP2
00001d6a: SWAP1
00001d6b: PUSH4 0xffffffff
00001d70: AND
00001d71: JUMP
00001d72: JUMPDEST
00001d73: PUSH2 0x2539
00001d76: SWAP1
00001d77: SWAP2
00001d78: SWAP1
00001d79: PUSH4 0xffffffff
00001d7e: AND
00001d7f: JUMP
00001d80: JUMPDEST
00001d81: SWAP1
00001d82: POP
00001d83: JUMPDEST
00001d84: PUSH0
00001d85: PUSH2 0x1d8d
00001d88: ADDRESS
00001d89: PUSH2 0x099c
00001d8c: JUMP
00001d8d: JUMPDEST
00001d8e: SWAP1
00001d8f: POP
00001d90: PUSH1 0x14
00001d92: PUSH1 0x15
00001d94: SWAP1
00001d95: SLOAD
00001d96: SWAP1
00001d97: PUSH2 0x0100
00001d9a: EXP
00001d9b: SWAP1
00001d9c: DIV
00001d9d: PUSH1 0xff
00001d9f: AND
00001da0: ISZERO
00001da1: DUP1
00001da2: ISZERO
00001da3: PUSH2 0x1df8
00001da6: JUMPI
00001da7: POP
00001da8: PUSH1 0x14
00001daa: PUSH0
00001dab: SWAP1
00001dac: SLOAD
00001dad: SWAP1
00001dae: PUSH2 0x0100
00001db1: EXP
00001db2: SWAP1
00001db3: DIV
00001db4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dc9: AND
00001dca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ddf: AND
00001de0: DUP5
00001de1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001df6: AND
00001df7: EQ
00001df8: JUMPDEST
00001df9: DUP1
00001dfa: ISZERO
00001dfb: PUSH2 0x1e10
00001dfe: JUMPI
00001dff: POP
00001e00: PUSH1 0x14
00001e02: PUSH1 0x16
00001e04: SWAP1
00001e05: SLOAD
00001e06: SWAP1
00001e07: PUSH2 0x0100
00001e0a: EXP
00001e0b: SWAP1
00001e0c: DIV
00001e0d: PUSH1 0xff
00001e0f: AND
00001e10: JUMPDEST
00001e11: DUP1
00001e12: ISZERO
00001e13: PUSH2 0x1e1d
00001e16: JUMPI
00001e17: POP
00001e18: PUSH1 0x11
00001e1a: SLOAD
00001e1b: DUP2
00001e1c: GT
00001e1d: JUMPDEST
00001e1e: DUP1
00001e1f: ISZERO
00001e20: PUSH2 0x1e2c
00001e23: JUMPI
00001e24: POP
00001e25: PUSH1 0x0c
00001e27: SLOAD
00001e28: PUSH1 0x0e
00001e2a: SLOAD
00001e2b: GT
00001e2c: JUMPDEST
00001e2d: ISZERO
00001e2e: PUSH2 0x1edb
00001e31: JUMPI
00001e32: PUSH1 0x16
00001e34: SLOAD
00001e35: NUMBER
00001e36: GT
00001e37: ISZERO
00001e38: PUSH2 0x1e43
00001e3b: JUMPI
00001e3c: PUSH0
00001e3d: PUSH1 0x15
00001e3f: DUP2
00001e40: SWAP1
00001e41: SSTORE
00001e42: POP
00001e43: JUMPDEST
00001e44: PUSH1 0x03
00001e46: PUSH1 0x15
00001e48: SLOAD
00001e49: LT
00001e4a: PUSH2 0x1e88
00001e4d: JUMPI
00001e4e: PUSH1 0x40
00001e50: MLOAD
00001e51: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e72: DUP2
00001e73: MSTORE
00001e74: PUSH1 0x04
00001e76: ADD
00001e77: PUSH2 0x1e7f
00001e7a: SWAP1
00001e7b: PUSH2 0x352b
00001e7e: JUMP
00001e7f: JUMPDEST
00001e80: PUSH1 0x40
00001e82: MLOAD
00001e83: DUP1
00001e84: SWAP2
00001e85: SUB
00001e86: SWAP1
00001e87: REVERT
00001e88: JUMPDEST
00001e89: PUSH2 0x1ea5
00001e8c: PUSH2 0x1ea0
00001e8f: DUP5
00001e90: PUSH2 0x1e9b
00001e93: DUP5
00001e94: PUSH1 0x12
00001e96: SLOAD
00001e97: PUSH2 0x2582
00001e9a: JUMP
00001e9b: JUMPDEST
00001e9c: PUSH2 0x2582
00001e9f: JUMP
00001ea0: JUMPDEST
00001ea1: PUSH2 0x21ef
00001ea4: JUMP
00001ea5: JUMPDEST
00001ea6: PUSH0
00001ea7: SELFBALANCE
00001ea8: SWAP1
00001ea9: POP
00001eaa: PUSH0
00001eab: DUP2
00001eac: GT
00001ead: ISZERO
00001eae: PUSH2 0x1ebb
00001eb1: JUMPI
00001eb2: PUSH2 0x1eba
00001eb5: SELFBALANCE
00001eb6: PUSH2 0x245a
00001eb9: JUMP
00001eba: JUMPDEST
00001ebb: JUMPDEST
00001ebc: PUSH1 0x15
00001ebe: PUSH0
00001ebf: DUP2
00001ec0: SLOAD
00001ec1: DUP1
00001ec2: SWAP3
00001ec3: SWAP2
00001ec4: SWAP1
00001ec5: PUSH2 0x1ecd
00001ec8: SWAP1
00001ec9: PUSH2 0x349a
00001ecc: JUMP
00001ecd: JUMPDEST
00001ece: SWAP2
00001ecf: SWAP1
00001ed0: POP
00001ed1: SSTORE
00001ed2: POP
00001ed3: NUMBER
00001ed4: PUSH1 0x16
00001ed6: DUP2
00001ed7: SWAP1
00001ed8: SSTORE
00001ed9: POP
00001eda: POP
00001edb: JUMPDEST
00001edc: POP
00001edd: JUMPDEST
00001ede: PUSH0
00001edf: DUP2
00001ee0: GT
00001ee1: ISZERO
00001ee2: PUSH2 0x1fdc
00001ee5: JUMPI
00001ee6: PUSH2 0x1f35
00001ee9: DUP2
00001eea: PUSH1 0x01
00001eec: PUSH0
00001eed: ADDRESS
00001eee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f03: AND
00001f04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f19: AND
00001f1a: DUP2
00001f1b: MSTORE
00001f1c: PUSH1 0x20
00001f1e: ADD
00001f1f: SWAP1
00001f20: DUP2
00001f21: MSTORE
00001f22: PUSH1 0x20
00001f24: ADD
00001f25: PUSH0
00001f26: KECCAK256
00001f27: SLOAD
00001f28: PUSH2 0x259a
00001f2b: SWAP1
00001f2c: SWAP2
00001f2d: SWAP1
00001f2e: PUSH4 0xffffffff
00001f33: AND
00001f34: JUMP
00001f35: JUMPDEST
00001f36: PUSH1 0x01
00001f38: PUSH0
00001f39: ADDRESS
00001f3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f4f: AND
00001f50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f65: AND
00001f66: DUP2
00001f67: MSTORE
00001f68: PUSH1 0x20
00001f6a: ADD
00001f6b: SWAP1
00001f6c: DUP2
00001f6d: MSTORE
00001f6e: PUSH1 0x20
00001f70: ADD
00001f71: PUSH0
00001f72: KECCAK256
00001f73: DUP2
00001f74: SWAP1
00001f75: SSTORE
00001f76: POP
00001f77: ADDRESS
00001f78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f8d: AND
00001f8e: DUP5
00001f8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fa4: AND
00001fa5: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001fc6: DUP4
00001fc7: PUSH1 0x40
00001fc9: MLOAD
00001fca: PUSH2 0x1fd3
00001fcd: SWAP2
00001fce: SWAP1
00001fcf: PUSH2 0x2869
00001fd2: JUMP
00001fd3: JUMPDEST
00001fd4: PUSH1 0x40
00001fd6: MLOAD
00001fd7: DUP1
00001fd8: SWAP2
00001fd9: SUB
00001fda: SWAP1
00001fdb: LOG3
00001fdc: JUMPDEST
00001fdd: PUSH2 0x202c
00001fe0: DUP3
00001fe1: PUSH1 0x01
00001fe3: PUSH0
00001fe4: DUP8
00001fe5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ffa: AND
00001ffb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002010: AND
00002011: DUP2
00002012: MSTORE
00002013: PUSH1 0x20
00002015: ADD
00002016: SWAP1
00002017: DUP2
00002018: MSTORE
00002019: PUSH1 0x20
0000201b: ADD
0000201c: PUSH0
0000201d: KECCAK256
0000201e: SLOAD
0000201f: PUSH2 0x25f7
00002022: SWAP1
00002023: SWAP2
00002024: SWAP1
00002025: PUSH4 0xffffffff
0000202a: AND
0000202b: JUMP
0000202c: JUMPDEST
0000202d: PUSH1 0x01
0000202f: PUSH0
00002030: DUP7
00002031: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002046: AND
00002047: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000205c: AND
0000205d: DUP2
0000205e: MSTORE
0000205f: PUSH1 0x20
00002061: ADD
00002062: SWAP1
00002063: DUP2
00002064: MSTORE
00002065: PUSH1 0x20
00002067: ADD
00002068: PUSH0
00002069: KECCAK256
0000206a: DUP2
0000206b: SWAP1
0000206c: SSTORE
0000206d: POP
0000206e: PUSH2 0x20cf
00002071: PUSH2 0x2083
00002074: DUP3
00002075: DUP5
00002076: PUSH2 0x25f7
00002079: SWAP1
0000207a: SWAP2
0000207b: SWAP1
0000207c: PUSH4 0xffffffff
00002081: AND
00002082: JUMP
00002083: JUMPDEST
00002084: PUSH1 0x01
00002086: PUSH0
00002087: DUP7
00002088: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000209d: AND
0000209e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020b3: AND
000020b4: DUP2
000020b5: MSTORE
000020b6: PUSH1 0x20
000020b8: ADD
000020b9: SWAP1
000020ba: DUP2
000020bb: MSTORE
000020bc: PUSH1 0x20
000020be: ADD
000020bf: PUSH0
000020c0: KECCAK256
000020c1: SLOAD
000020c2: PUSH2 0x259a
000020c5: SWAP1
000020c6: SWAP2
000020c7: SWAP1
000020c8: PUSH4 0xffffffff
000020cd: AND
000020ce: JUMP
000020cf: JUMPDEST
000020d0: PUSH1 0x01
000020d2: PUSH0
000020d3: DUP6
000020d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020e9: AND
000020ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020ff: AND
00002100: DUP2
00002101: MSTORE
00002102: PUSH1 0x20
00002104: ADD
00002105: SWAP1
00002106: DUP2
00002107: MSTORE
00002108: PUSH1 0x20
0000210a: ADD
0000210b: PUSH0
0000210c: KECCAK256
0000210d: DUP2
0000210e: SWAP1
0000210f: SSTORE
00002110: POP
00002111: DUP3
00002112: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002127: AND
00002128: DUP5
00002129: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000213e: AND
0000213f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002160: PUSH2 0x2172
00002163: DUP5
00002164: DUP7
00002165: PUSH2 0x25f7
00002168: SWAP1
00002169: SWAP2
0000216a: SWAP1
0000216b: PUSH4 0xffffffff
00002170: AND
00002171: JUMP
00002172: JUMPDEST
00002173: PUSH1 0x40
00002175: MLOAD
00002176: PUSH2 0x217f
00002179: SWAP2
0000217a: SWAP1
0000217b: PUSH2 0x2869
0000217e: JUMP
0000217f: JUMPDEST
00002180: PUSH1 0x40
00002182: MLOAD
00002183: DUP1
00002184: SWAP2
00002185: SUB
00002186: SWAP1
00002187: LOG3
00002188: POP
00002189: POP
0000218a: POP
0000218b: POP
0000218c: JUMP
0000218d: JUMPDEST
0000218e: PUSH0
0000218f: DUP4
00002190: DUP4
00002191: GT
00002192: ISZERO
00002193: DUP3
00002194: SWAP1
00002195: PUSH2 0x21d4
00002198: JUMPI
00002199: PUSH1 0x40
0000219b: MLOAD
0000219c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000021bd: DUP2
000021be: MSTORE
000021bf: PUSH1 0x04
000021c1: ADD
000021c2: PUSH2 0x21cb
000021c5: SWAP2
000021c6: SWAP1
000021c7: PUSH2 0x272b
000021ca: JUMP
000021cb: JUMPDEST
000021cc: PUSH1 0x40
000021ce: MLOAD
000021cf: DUP1
000021d0: SWAP2
000021d1: SUB
000021d2: SWAP1
000021d3: REVERT
000021d4: JUMPDEST
000021d5: POP
000021d6: PUSH0
000021d7: DUP4
000021d8: DUP6
000021d9: PUSH2 0x21e2
000021dc: SWAP2
000021dd: SWAP1
000021de: PUSH2 0x3549
000021e1: JUMP
000021e2: JUMPDEST
000021e3: SWAP1
000021e4: POP
000021e5: DUP1
000021e6: SWAP2
000021e7: POP
000021e8: POP
000021e9: SWAP4
000021ea: SWAP3
000021eb: POP
000021ec: POP
000021ed: POP
000021ee: JUMP
000021ef: JUMPDEST
000021f0: PUSH1 0x01
000021f2: PUSH1 0x14
000021f4: PUSH1 0x15
000021f6: PUSH2 0x0100
000021f9: EXP
000021fa: DUP2
000021fb: SLOAD
000021fc: DUP2
000021fd: PUSH1 0xff
000021ff: MUL
00002200: NOT
00002201: AND
00002202: SWAP1
00002203: DUP4
00002204: ISZERO
00002205: ISZERO
00002206: MUL
00002207: OR
00002208: SWAP1
00002209: SSTORE
0000220a: POP
0000220b: PUSH0
0000220c: PUSH1 0x02
0000220e: PUSH8 0xffffffffffffffff
00002217: DUP2
00002218: GT
00002219: ISZERO
0000221a: PUSH2 0x2226
0000221d: JUMPI
0000221e: PUSH2 0x2225
00002221: PUSH2 0x290a
00002224: JUMP
00002225: JUMPDEST
00002226: JUMPDEST
00002227: PUSH1 0x40
00002229: MLOAD
0000222a: SWAP1
0000222b: DUP1
0000222c: DUP3
0000222d: MSTORE
0000222e: DUP1
0000222f: PUSH1 0x20
00002231: MUL
00002232: PUSH1 0x20
00002234: ADD
00002235: DUP3
00002236: ADD
00002237: PUSH1 0x40
00002239: MSTORE
0000223a: DUP1
0000223b: ISZERO
0000223c: PUSH2 0x2254
0000223f: JUMPI
00002240: DUP2
00002241: PUSH1 0x20
00002243: ADD
00002244: PUSH1 0x20
00002246: DUP3
00002247: MUL
00002248: DUP1
00002249: CALLDATASIZE
0000224a: DUP4
0000224b: CALLDATACOPY
0000224c: DUP1
0000224d: DUP3
0000224e: ADD
0000224f: SWAP2
00002250: POP
00002251: POP
00002252: SWAP1
00002253: POP
00002254: JUMPDEST
00002255: POP
00002256: SWAP1
00002257: POP
00002258: ADDRESS
00002259: DUP2
0000225a: PUSH0
0000225b: DUP2
0000225c: MLOAD
0000225d: DUP2
0000225e: LT
0000225f: PUSH2 0x226b
00002262: JUMPI
00002263: PUSH2 0x226a
00002266: PUSH2 0x2df3
00002269: JUMP
0000226a: JUMPDEST
0000226b: JUMPDEST
0000226c: PUSH1 0x20
0000226e: MUL
0000226f: PUSH1 0x20
00002271: ADD
00002272: ADD
00002273: SWAP1
00002274: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002289: AND
0000228a: SWAP1
0000228b: DUP2
0000228c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022a1: AND
000022a2: DUP2
000022a3: MSTORE
000022a4: POP
000022a5: POP
000022a6: PUSH1 0x13
000022a8: PUSH0
000022a9: SWAP1
000022aa: SLOAD
000022ab: SWAP1
000022ac: PUSH2 0x0100
000022af: EXP
000022b0: SWAP1
000022b1: DIV
000022b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022c7: AND
000022c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022dd: AND
000022de: PUSH4 0xad5c4648
000022e3: PUSH1 0x40
000022e5: MLOAD
000022e6: DUP2
000022e7: PUSH4 0xffffffff
000022ec: AND
000022ed: PUSH1 0xe0
000022ef: SHL
000022f0: DUP2
000022f1: MSTORE
000022f2: PUSH1 0x04
000022f4: ADD
000022f5: PUSH1 0x20
000022f7: PUSH1 0x40
000022f9: MLOAD
000022fa: DUP1
000022fb: DUP4
000022fc: SUB
000022fd: DUP2
000022fe: DUP7
000022ff: GAS
00002300: STATICCALL
00002301: ISZERO
00002302: DUP1
00002303: ISZERO
00002304: PUSH2 0x230f
00002307: JUMPI
00002308: RETURNDATASIZE
00002309: PUSH0
0000230a: DUP1
0000230b: RETURNDATACOPY
0000230c: RETURNDATASIZE
0000230d: PUSH0
0000230e: REVERT
0000230f: JUMPDEST
00002310: POP
00002311: POP
00002312: POP
00002313: POP
00002314: PUSH1 0x40
00002316: MLOAD
00002317: RETURNDATASIZE
00002318: PUSH1 0x1f
0000231a: NOT
0000231b: PUSH1 0x1f
0000231d: DUP3
0000231e: ADD
0000231f: AND
00002320: DUP3
00002321: ADD
00002322: DUP1
00002323: PUSH1 0x40
00002325: MSTORE
00002326: POP
00002327: DUP2
00002328: ADD
00002329: SWAP1
0000232a: PUSH2 0x2333
0000232d: SWAP2
0000232e: SWAP1
0000232f: PUSH2 0x2fa9
00002332: JUMP
00002333: JUMPDEST
00002334: DUP2
00002335: PUSH1 0x01
00002337: DUP2
00002338: MLOAD
00002339: DUP2
0000233a: LT
0000233b: PUSH2 0x2347
0000233e: JUMPI
0000233f: PUSH2 0x2346
00002342: PUSH2 0x2df3
00002345: JUMP
00002346: JUMPDEST
00002347: JUMPDEST
00002348: PUSH1 0x20
0000234a: MUL
0000234b: PUSH1 0x20
0000234d: ADD
0000234e: ADD
0000234f: SWAP1
00002350: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002365: AND
00002366: SWAP1
00002367: DUP2
00002368: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000237d: AND
0000237e: DUP2
0000237f: MSTORE
00002380: POP
00002381: POP
00002382: PUSH2 0x23ad
00002385: ADDRESS
00002386: PUSH1 0x13
00002388: PUSH0
00002389: SWAP1
0000238a: SLOAD
0000238b: SWAP1
0000238c: PUSH2 0x0100
0000238f: EXP
00002390: SWAP1
00002391: DIV
00002392: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023a7: AND
000023a8: DUP5
000023a9: PUSH2 0x15ea
000023ac: JUMP
000023ad: JUMPDEST
000023ae: PUSH1 0x13
000023b0: PUSH0
000023b1: SWAP1
000023b2: SLOAD
000023b3: SWAP1
000023b4: PUSH2 0x0100
000023b7: EXP
000023b8: SWAP1
000023b9: DIV
000023ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023cf: AND
000023d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023e5: AND
000023e6: PUSH4 0x791ac947
000023eb: DUP4
000023ec: PUSH0
000023ed: DUP5
000023ee: ADDRESS
000023ef: TIMESTAMP
000023f0: PUSH1 0x40
000023f2: MLOAD
000023f3: DUP7
000023f4: PUSH4 0xffffffff
000023f9: AND
000023fa: PUSH1 0xe0
000023fc: SHL
000023fd: DUP2
000023fe: MSTORE
000023ff: PUSH1 0x04
00002401: ADD
00002402: PUSH2 0x240f
00002405: SWAP6
00002406: SWAP5
00002407: SWAP4
00002408: SWAP3
00002409: SWAP2
0000240a: SWAP1
0000240b: PUSH2 0x3633
0000240e: JUMP
0000240f: JUMPDEST
00002410: PUSH0
00002411: PUSH1 0x40
00002413: MLOAD
00002414: DUP1
00002415: DUP4
00002416: SUB
00002417: DUP2
00002418: PUSH0
00002419: DUP8
0000241a: DUP1
0000241b: EXTCODESIZE
0000241c: ISZERO
0000241d: DUP1
0000241e: ISZERO
0000241f: PUSH2 0x2426
00002422: JUMPI
00002423: PUSH0
00002424: DUP1
00002425: REVERT
00002426: JUMPDEST
00002427: POP
00002428: GAS
00002429: CALL
0000242a: ISZERO
0000242b: DUP1
0000242c: ISZERO
0000242d: PUSH2 0x2438
00002430: JUMPI
00002431: RETURNDATASIZE
00002432: PUSH0
00002433: DUP1
00002434: RETURNDATACOPY
00002435: RETURNDATASIZE
00002436: PUSH0
00002437: REVERT
00002438: JUMPDEST
00002439: POP
0000243a: POP
0000243b: POP
0000243c: POP
0000243d: POP
0000243e: PUSH0
0000243f: PUSH1 0x14
00002441: PUSH1 0x15
00002443: PUSH2 0x0100
00002446: EXP
00002447: DUP2
00002448: SLOAD
00002449: DUP2
0000244a: PUSH1 0xff
0000244c: MUL
0000244d: NOT
0000244e: AND
0000244f: SWAP1
00002450: DUP4
00002451: ISZERO
00002452: ISZERO
00002453: MUL
00002454: OR
00002455: SWAP1
00002456: SSTORE
00002457: POP
00002458: POP
00002459: JUMP
0000245a: JUMPDEST
0000245b: PUSH1 0x05
0000245d: PUSH0
0000245e: SWAP1
0000245f: SLOAD
00002460: SWAP1
00002461: PUSH2 0x0100
00002464: EXP
00002465: SWAP1
00002466: DIV
00002467: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000247c: AND
0000247d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002492: AND
00002493: PUSH2 0x08fc
00002496: DUP3
00002497: SWAP1
00002498: DUP2
00002499: ISZERO
0000249a: MUL
0000249b: SWAP1
0000249c: PUSH1 0x40
0000249e: MLOAD
0000249f: PUSH0
000024a0: PUSH1 0x40
000024a2: MLOAD
000024a3: DUP1
000024a4: DUP4
000024a5: SUB
000024a6: DUP2
000024a7: DUP6
000024a8: DUP9
000024a9: DUP9
000024aa: CALL
000024ab: SWAP4
000024ac: POP
000024ad: POP
000024ae: POP
000024af: POP
000024b0: ISZERO
000024b1: DUP1
000024b2: ISZERO
000024b3: PUSH2 0x24be
000024b6: JUMPI
000024b7: RETURNDATASIZE
000024b8: PUSH0
000024b9: DUP1
000024ba: RETURNDATACOPY
000024bb: RETURNDATASIZE
000024bc: PUSH0
000024bd: REVERT
000024be: JUMPDEST
000024bf: POP
000024c0: POP
000024c1: JUMP
000024c2: JUMPDEST
000024c3: PUSH0
000024c4: DUP1
000024c5: DUP4
000024c6: SUB
000024c7: PUSH2 0x24d2
000024ca: JUMPI
000024cb: PUSH0
000024cc: SWAP1
000024cd: POP
000024ce: PUSH2 0x2533
000024d1: JUMP
000024d2: JUMPDEST
000024d3: PUSH0
000024d4: DUP3
000024d5: DUP5
000024d6: PUSH2 0x24df
000024d9: SWAP2
000024da: SWAP1
000024db: PUSH2 0x2db2
000024de: JUMP
000024df: JUMPDEST
000024e0: SWAP1
000024e1: POP
000024e2: DUP3
000024e3: DUP5
000024e4: DUP3
000024e5: PUSH2 0x24ee
000024e8: SWAP2
000024e9: SWAP1
000024ea: PUSH2 0x36b8
000024ed: JUMP
000024ee: JUMPDEST
000024ef: EQ
000024f0: PUSH2 0x252e
000024f3: JUMPI
000024f4: PUSH1 0x40
000024f6: MLOAD
000024f7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002518: DUP2
00002519: MSTORE
0000251a: PUSH1 0x04
0000251c: ADD
0000251d: PUSH2 0x2525
00002520: SWAP1
00002521: PUSH2 0x3758
00002524: JUMP
00002525: JUMPDEST
00002526: PUSH1 0x40
00002528: MLOAD
00002529: DUP1
0000252a: SWAP2
0000252b: SUB
0000252c: SWAP1
0000252d: REVERT
0000252e: JUMPDEST
0000252f: DUP1
00002530: SWAP2
00002531: POP
00002532: POP
00002533: JUMPDEST
00002534: SWAP3
00002535: SWAP2
00002536: POP
00002537: POP
00002538: JUMP
00002539: JUMPDEST
0000253a: PUSH0
0000253b: PUSH2 0x257a
0000253e: DUP4
0000253f: DUP4
00002540: PUSH1 0x40
00002542: MLOAD
00002543: DUP1
00002544: PUSH1 0x40
00002546: ADD
00002547: PUSH1 0x40
00002549: MSTORE
0000254a: DUP1
0000254b: PUSH1 0x1a
0000254d: DUP2
0000254e: MSTORE
0000254f: PUSH1 0x20
00002551: ADD
00002552: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00002573: DUP2
00002574: MSTORE
00002575: POP
00002576: PUSH2 0x2640
00002579: JUMP
0000257a: JUMPDEST
0000257b: SWAP1
0000257c: POP
0000257d: SWAP3
0000257e: SWAP2
0000257f: POP
00002580: POP
00002581: JUMP
00002582: JUMPDEST
00002583: PUSH0
00002584: DUP2
00002585: DUP4
00002586: GT
00002587: PUSH2 0x2590
0000258a: JUMPI
0000258b: DUP3
0000258c: PUSH2 0x2592
0000258f: JUMP
00002590: JUMPDEST
00002591: DUP2
00002592: JUMPDEST
00002593: SWAP1
00002594: POP
00002595: SWAP3
00002596: SWAP2
00002597: POP
00002598: POP
00002599: JUMP
0000259a: JUMPDEST
0000259b: PUSH0
0000259c: DUP1
0000259d: DUP3
0000259e: DUP5
0000259f: PUSH2 0x25a8
000025a2: SWAP2
000025a3: SWAP1
000025a4: PUSH2 0x33ff
000025a7: JUMP
000025a8: JUMPDEST
000025a9: SWAP1
000025aa: POP
000025ab: DUP4
000025ac: DUP2
000025ad: LT
000025ae: ISZERO
000025af: PUSH2 0x25ed
000025b2: JUMPI
000025b3: PUSH1 0x40
000025b5: MLOAD
000025b6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000025d7: DUP2
000025d8: MSTORE
000025d9: PUSH1 0x04
000025db: ADD
000025dc: PUSH2 0x25e4
000025df: SWAP1
000025e0: PUSH2 0x37c0
000025e3: JUMP
000025e4: JUMPDEST
000025e5: PUSH1 0x40
000025e7: MLOAD
000025e8: DUP1
000025e9: SWAP2
000025ea: SUB
000025eb: SWAP1
000025ec: REVERT
000025ed: JUMPDEST
000025ee: DUP1
000025ef: SWAP2
000025f0: POP
000025f1: POP
000025f2: SWAP3
000025f3: SWAP2
000025f4: POP
000025f5: POP
000025f6: JUMP
000025f7: JUMPDEST
000025f8: PUSH0
000025f9: PUSH2 0x2638
000025fc: DUP4
000025fd: DUP4
000025fe: PUSH1 0x40
00002600: MLOAD
00002601: DUP1
00002602: PUSH1 0x40
00002604: ADD
00002605: PUSH1 0x40
00002607: MSTORE
00002608: DUP1
00002609: PUSH1 0x1e
0000260b: DUP2
0000260c: MSTORE
0000260d: PUSH1 0x20
0000260f: ADD
00002610: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00002631: DUP2
00002632: MSTORE
00002633: POP
00002634: PUSH2 0x218d
00002637: JUMP
00002638: JUMPDEST
00002639: SWAP1
0000263a: POP
0000263b: SWAP3
0000263c: SWAP2
0000263d: POP
0000263e: POP
0000263f: JUMP
00002640: JUMPDEST
00002641: PUSH0
00002642: DUP1
00002643: DUP4
00002644: GT
00002645: DUP3
00002646: SWAP1
00002647: PUSH2 0x2686
0000264a: JUMPI
0000264b: PUSH1 0x40
0000264d: MLOAD
0000264e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000266f: DUP2
00002670: MSTORE
00002671: PUSH1 0x04
00002673: ADD
00002674: PUSH2 0x267d
00002677: SWAP2
00002678: SWAP1
00002679: PUSH2 0x272b
0000267c: JUMP
0000267d: JUMPDEST
0000267e: PUSH1 0x40
00002680: MLOAD
00002681: DUP1
00002682: SWAP2
00002683: SUB
00002684: SWAP1
00002685: REVERT
00002686: JUMPDEST
00002687: POP
00002688: PUSH0
00002689: DUP4
0000268a: DUP6
0000268b: PUSH2 0x2694
0000268e: SWAP2
0000268f: SWAP1
00002690: PUSH2 0x36b8
00002693: JUMP
00002694: JUMPDEST
00002695: SWAP1
00002696: POP
00002697: DUP1
00002698: SWAP2
00002699: POP
0000269a: POP
0000269b: SWAP4
0000269c: SWAP3
0000269d: POP
0000269e: POP
0000269f: POP
000026a0: JUMP
000026a1: JUMPDEST
000026a2: PUSH0
000026a3: DUP2
000026a4: MLOAD
000026a5: SWAP1
000026a6: POP
000026a7: SWAP2
000026a8: SWAP1
000026a9: POP
000026aa: JUMP
000026ab: JUMPDEST
000026ac: PUSH0
000026ad: DUP3
000026ae: DUP3
000026af: MSTORE
000026b0: PUSH1 0x20
000026b2: DUP3
000026b3: ADD
000026b4: SWAP1
000026b5: POP
000026b6: SWAP3
000026b7: SWAP2
000026b8: POP
000026b9: POP
000026ba: JUMP
000026bb: JUMPDEST
000026bc: PUSH0
000026bd: JUMPDEST
000026be: DUP4
000026bf: DUP2
000026c0: LT
000026c1: ISZERO
000026c2: PUSH2 0x26d8
000026c5: JUMPI
000026c6: DUP1
000026c7: DUP3
000026c8: ADD
000026c9: MLOAD
000026ca: DUP2
000026cb: DUP5
000026cc: ADD
000026cd: MSTORE
000026ce: PUSH1 0x20
000026d0: DUP2
000026d1: ADD
000026d2: SWAP1
000026d3: POP
000026d4: PUSH2 0x26bd
000026d7: JUMP
000026d8: JUMPDEST
000026d9: PUSH0
000026da: DUP5
000026db: DUP5
000026dc: ADD
000026dd: MSTORE
000026de: POP
000026df: POP
000026e0: POP
000026e1: POP
000026e2: JUMP
000026e3: JUMPDEST
000026e4: PUSH0
000026e5: PUSH1 0x1f
000026e7: NOT
000026e8: PUSH1 0x1f
000026ea: DUP4
000026eb: ADD
000026ec: AND
000026ed: SWAP1
000026ee: POP
000026ef: SWAP2
000026f0: SWAP1
000026f1: POP
000026f2: JUMP
000026f3: JUMPDEST
000026f4: PUSH0
000026f5: PUSH2 0x26fd
000026f8: DUP3
000026f9: PUSH2 0x26a1
000026fc: JUMP
000026fd: JUMPDEST
000026fe: PUSH2 0x2707
00002701: DUP2
00002702: DUP6
00002703: PUSH2 0x26ab
00002706: JUMP
00002707: JUMPDEST
00002708: SWAP4
00002709: POP
0000270a: PUSH2 0x2717
0000270d: DUP2
0000270e: DUP6
0000270f: PUSH1 0x20
00002711: DUP7
00002712: ADD
00002713: PUSH2 0x26bb
00002716: JUMP
00002717: JUMPDEST
00002718: PUSH2 0x2720
0000271b: DUP2
0000271c: PUSH2 0x26e3
0000271f: JUMP
00002720: JUMPDEST
00002721: DUP5
00002722: ADD
00002723: SWAP2
00002724: POP
00002725: POP
00002726: SWAP3
00002727: SWAP2
00002728: POP
00002729: POP
0000272a: JUMP
0000272b: JUMPDEST
0000272c: PUSH0
0000272d: PUSH1 0x20
0000272f: DUP3
00002730: ADD
00002731: SWAP1
00002732: POP
00002733: DUP2
00002734: DUP2
00002735: SUB
00002736: PUSH0
00002737: DUP4
00002738: ADD
00002739: MSTORE
0000273a: PUSH2 0x2743
0000273d: DUP2
0000273e: DUP5
0000273f: PUSH2 0x26f3
00002742: JUMP
00002743: JUMPDEST
00002744: SWAP1
00002745: POP
00002746: SWAP3
00002747: SWAP2
00002748: POP
00002749: POP
0000274a: JUMP
0000274b: JUMPDEST
0000274c: PUSH0
0000274d: PUSH1 0x40
0000274f: MLOAD
00002750: SWAP1
00002751: POP
00002752: SWAP1
00002753: JUMP
00002754: JUMPDEST
00002755: PUSH0
00002756: DUP1
00002757: REVERT
00002758: JUMPDEST
00002759: PUSH0
0000275a: DUP1
0000275b: REVERT
0000275c: JUMPDEST
0000275d: PUSH0
0000275e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002773: DUP3
00002774: AND
00002775: SWAP1
00002776: POP
00002777: SWAP2
00002778: SWAP1
00002779: POP
0000277a: JUMP
0000277b: JUMPDEST
0000277c: PUSH0
0000277d: PUSH2 0x2785
00002780: DUP3
00002781: PUSH2 0x275c
00002784: JUMP
00002785: JUMPDEST
00002786: SWAP1
00002787: POP
00002788: SWAP2
00002789: SWAP1
0000278a: POP
0000278b: JUMP
0000278c: JUMPDEST
0000278d: PUSH2 0x2795
00002790: DUP2
00002791: PUSH2 0x277b
00002794: JUMP
00002795: JUMPDEST
00002796: DUP2
00002797: EQ
00002798: PUSH2 0x279f
0000279b: JUMPI
0000279c: PUSH0
0000279d: DUP1
0000279e: REVERT
0000279f: JUMPDEST
000027a0: POP
000027a1: JUMP
000027a2: JUMPDEST
000027a3: PUSH0
000027a4: DUP2
000027a5: CALLDATALOAD
000027a6: SWAP1
000027a7: POP
000027a8: PUSH2 0x27b0
000027ab: DUP2
000027ac: PUSH2 0x278c
000027af: JUMP
000027b0: JUMPDEST
000027b1: SWAP3
000027b2: SWAP2
000027b3: POP
000027b4: POP
000027b5: JUMP
000027b6: JUMPDEST
000027b7: PUSH0
000027b8: DUP2
000027b9: SWAP1
000027ba: POP
000027bb: SWAP2
000027bc: SWAP1
000027bd: POP
000027be: JUMP
000027bf: JUMPDEST
000027c0: PUSH2 0x27c8
000027c3: DUP2
000027c4: PUSH2 0x27b6
000027c7: JUMP
000027c8: JUMPDEST
000027c9: DUP2
000027ca: EQ
000027cb: PUSH2 0x27d2
000027ce: JUMPI
000027cf: PUSH0
000027d0: DUP1
000027d1: REVERT
000027d2: JUMPDEST
000027d3: POP
000027d4: JUMP
000027d5: JUMPDEST
000027d6: PUSH0
000027d7: DUP2
000027d8: CALLDATALOAD
000027d9: SWAP1
000027da: POP
000027db: PUSH2 0x27e3
000027de: DUP2
000027df: PUSH2 0x27bf
000027e2: JUMP
000027e3: JUMPDEST
000027e4: SWAP3
000027e5: SWAP2
000027e6: POP
000027e7: POP
000027e8: JUMP
000027e9: JUMPDEST
000027ea: PUSH0
000027eb: DUP1
000027ec: PUSH1 0x40
000027ee: DUP4
000027ef: DUP6
000027f0: SUB
000027f1: SLT
000027f2: ISZERO
000027f3: PUSH2 0x27ff
000027f6: JUMPI
000027f7: PUSH2 0x27fe
000027fa: PUSH2 0x2754
000027fd: JUMP
000027fe: JUMPDEST
000027ff: JUMPDEST
00002800: PUSH0
00002801: PUSH2 0x280c
00002804: DUP6
00002805: DUP3
00002806: DUP7
00002807: ADD
00002808: PUSH2 0x27a2
0000280b: JUMP
0000280c: JUMPDEST
0000280d: SWAP3
0000280e: POP
0000280f: POP
00002810: PUSH1 0x20
00002812: PUSH2 0x281d
00002815: DUP6
00002816: DUP3
00002817: DUP7
00002818: ADD
00002819: PUSH2 0x27d5
0000281c: JUMP
0000281d: JUMPDEST
0000281e: SWAP2
0000281f: POP
00002820: POP
00002821: SWAP3
00002822: POP
00002823: SWAP3
00002824: SWAP1
00002825: POP
00002826: JUMP
00002827: JUMPDEST
00002828: PUSH0
00002829: DUP2
0000282a: ISZERO
0000282b: ISZERO
0000282c: SWAP1
0000282d: POP
0000282e: SWAP2
0000282f: SWAP1
00002830: POP
00002831: JUMP
00002832: JUMPDEST
00002833: PUSH2 0x283b
00002836: DUP2
00002837: PUSH2 0x2827
0000283a: JUMP
0000283b: JUMPDEST
0000283c: DUP3
0000283d: MSTORE
0000283e: POP
0000283f: POP
00002840: JUMP
00002841: JUMPDEST
00002842: PUSH0
00002843: PUSH1 0x20
00002845: DUP3
00002846: ADD
00002847: SWAP1
00002848: POP
00002849: PUSH2 0x2854
0000284c: PUSH0
0000284d: DUP4
0000284e: ADD
0000284f: DUP5
00002850: PUSH2 0x2832
00002853: JUMP
00002854: JUMPDEST
00002855: SWAP3
00002856: SWAP2
00002857: POP
00002858: POP
00002859: JUMP
0000285a: JUMPDEST
0000285b: PUSH2 0x2863
0000285e: DUP2
0000285f: PUSH2 0x27b6
00002862: JUMP
00002863: JUMPDEST
00002864: DUP3
00002865: MSTORE
00002866: POP
00002867: POP
00002868: JUMP
00002869: JUMPDEST
0000286a: PUSH0
0000286b: PUSH1 0x20
0000286d: DUP3
0000286e: ADD
0000286f: SWAP1
00002870: POP
00002871: PUSH2 0x287c
00002874: PUSH0
00002875: DUP4
00002876: ADD
00002877: DUP5
00002878: PUSH2 0x285a
0000287b: JUMP
0000287c: JUMPDEST
0000287d: SWAP3
0000287e: SWAP2
0000287f: POP
00002880: POP
00002881: JUMP
00002882: JUMPDEST
00002883: PUSH0
00002884: DUP1
00002885: PUSH0
00002886: PUSH1 0x60
00002888: DUP5
00002889: DUP7
0000288a: SUB
0000288b: SLT
0000288c: ISZERO
0000288d: PUSH2 0x2899
00002890: JUMPI
00002891: PUSH2 0x2898
00002894: PUSH2 0x2754
00002897: JUMP
00002898: JUMPDEST
00002899: JUMPDEST
0000289a: PUSH0
0000289b: PUSH2 0x28a6
0000289e: DUP7
0000289f: DUP3
000028a0: DUP8
000028a1: ADD
000028a2: PUSH2 0x27a2
000028a5: JUMP
000028a6: JUMPDEST
000028a7: SWAP4
000028a8: POP
000028a9: POP
000028aa: PUSH1 0x20
000028ac: PUSH2 0x28b7
000028af: DUP7
000028b0: DUP3
000028b1: DUP8
000028b2: ADD
000028b3: PUSH2 0x27a2
000028b6: JUMP
000028b7: JUMPDEST
000028b8: SWAP3
000028b9: POP
000028ba: POP
000028bb: PUSH1 0x40
000028bd: PUSH2 0x28c8
000028c0: DUP7
000028c1: DUP3
000028c2: DUP8
000028c3: ADD
000028c4: PUSH2 0x27d5
000028c7: JUMP
000028c8: JUMPDEST
000028c9: SWAP2
000028ca: POP
000028cb: POP
000028cc: SWAP3
000028cd: POP
000028ce: SWAP3
000028cf: POP
000028d0: SWAP3
000028d1: JUMP
000028d2: JUMPDEST
000028d3: PUSH0
000028d4: PUSH1 0xff
000028d6: DUP3
000028d7: AND
000028d8: SWAP1
000028d9: POP
000028da: SWAP2
000028db: SWAP1
000028dc: POP
000028dd: JUMP
000028de: JUMPDEST
000028df: PUSH2 0x28e7
000028e2: DUP2
000028e3: PUSH2 0x28d2
000028e6: JUMP
000028e7: JUMPDEST
000028e8: DUP3
000028e9: MSTORE
000028ea: POP
000028eb: POP
000028ec: JUMP
000028ed: JUMPDEST
000028ee: PUSH0
000028ef: PUSH1 0x20
000028f1: DUP3
000028f2: ADD
000028f3: SWAP1
000028f4: POP
000028f5: PUSH2 0x2900
000028f8: PUSH0
000028f9: DUP4
000028fa: ADD
000028fb: DUP5
000028fc: PUSH2 0x28de
000028ff: JUMP
00002900: JUMPDEST
00002901: SWAP3
00002902: SWAP2
00002903: POP
00002904: POP
00002905: JUMP
00002906: JUMPDEST
00002907: PUSH0
00002908: DUP1
00002909: REVERT
0000290a: JUMPDEST
0000290b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000292c: PUSH0
0000292d: MSTORE
0000292e: PUSH1 0x41
00002930: PUSH1 0x04
00002932: MSTORE
00002933: PUSH1 0x24
00002935: PUSH0
00002936: REVERT
00002937: JUMPDEST
00002938: PUSH2 0x2940
0000293b: DUP3
0000293c: PUSH2 0x26e3
0000293f: JUMP
00002940: JUMPDEST
00002941: DUP2
00002942: ADD
00002943: DUP2
00002944: DUP2
00002945: LT
00002946: PUSH8 0xffffffffffffffff
0000294f: DUP3
00002950: GT
00002951: OR
00002952: ISZERO
00002953: PUSH2 0x295f
00002956: JUMPI
00002957: PUSH2 0x295e
0000295a: PUSH2 0x290a
0000295d: JUMP
0000295e: JUMPDEST
0000295f: JUMPDEST
00002960: DUP1
00002961: PUSH1 0x40
00002963: MSTORE
00002964: POP
00002965: POP
00002966: POP
00002967: JUMP
00002968: JUMPDEST
00002969: PUSH0
0000296a: PUSH2 0x2971
0000296d: PUSH2 0x274b
00002970: JUMP
00002971: JUMPDEST
00002972: SWAP1
00002973: POP
00002974: PUSH2 0x297d
00002977: DUP3
00002978: DUP3
00002979: PUSH2 0x2937
0000297c: JUMP
0000297d: JUMPDEST
0000297e: SWAP2
0000297f: SWAP1
00002980: POP
00002981: JUMP
00002982: JUMPDEST
00002983: PUSH0
00002984: PUSH8 0xffffffffffffffff
0000298d: DUP3
0000298e: GT
0000298f: ISZERO
00002990: PUSH2 0x299c
00002993: JUMPI
00002994: PUSH2 0x299b
00002997: PUSH2 0x290a
0000299a: JUMP
0000299b: JUMPDEST
0000299c: JUMPDEST
0000299d: PUSH1 0x20
0000299f: DUP3
000029a0: MUL
000029a1: SWAP1
000029a2: POP
000029a3: PUSH1 0x20
000029a5: DUP2
000029a6: ADD
000029a7: SWAP1
000029a8: POP
000029a9: SWAP2
000029aa: SWAP1
000029ab: POP
000029ac: JUMP
000029ad: JUMPDEST
000029ae: PUSH0
000029af: DUP1
000029b0: REVERT
000029b1: JUMPDEST
000029b2: PUSH0
000029b3: PUSH2 0x29c3
000029b6: PUSH2 0x29be
000029b9: DUP5
000029ba: PUSH2 0x2982
000029bd: JUMP
000029be: JUMPDEST
000029bf: PUSH2 0x2968
000029c2: JUMP
000029c3: JUMPDEST
000029c4: SWAP1
000029c5: POP
000029c6: DUP1
000029c7: DUP4
000029c8: DUP3
000029c9: MSTORE
000029ca: PUSH1 0x20
000029cc: DUP3
000029cd: ADD
000029ce: SWAP1
000029cf: POP
000029d0: PUSH1 0x20
000029d2: DUP5
000029d3: MUL
000029d4: DUP4
000029d5: ADD
000029d6: DUP6
000029d7: DUP2
000029d8: GT
000029d9: ISZERO
000029da: PUSH2 0x29e6
000029dd: JUMPI
000029de: PUSH2 0x29e5
000029e1: PUSH2 0x29ad
000029e4: JUMP
000029e5: JUMPDEST
000029e6: JUMPDEST
000029e7: DUP4
000029e8: JUMPDEST
000029e9: DUP2
000029ea: DUP2
000029eb: LT
000029ec: ISZERO
000029ed: PUSH2 0x2a0f
000029f0: JUMPI
000029f1: DUP1
000029f2: PUSH2 0x29fb
000029f5: DUP9
000029f6: DUP3
000029f7: PUSH2 0x27a2
000029fa: JUMP
000029fb: JUMPDEST
000029fc: DUP5
000029fd: MSTORE
000029fe: PUSH1 0x20
00002a00: DUP5
00002a01: ADD
00002a02: SWAP4
00002a03: POP
00002a04: POP
00002a05: PUSH1 0x20
00002a07: DUP2
00002a08: ADD
00002a09: SWAP1
00002a0a: POP
00002a0b: PUSH2 0x29e8
00002a0e: JUMP
00002a0f: JUMPDEST
00002a10: POP
00002a11: POP
00002a12: POP
00002a13: SWAP4
00002a14: SWAP3
00002a15: POP
00002a16: POP
00002a17: POP
00002a18: JUMP
00002a19: JUMPDEST
00002a1a: PUSH0
00002a1b: DUP3
00002a1c: PUSH1 0x1f
00002a1e: DUP4
00002a1f: ADD
00002a20: SLT
00002a21: PUSH2 0x2a2d
00002a24: JUMPI
00002a25: PUSH2 0x2a2c
00002a28: PUSH2 0x2906
00002a2b: JUMP
00002a2c: JUMPDEST
00002a2d: JUMPDEST
00002a2e: DUP2
00002a2f: CALLDATALOAD
00002a30: PUSH2 0x2a3d
00002a33: DUP5
00002a34: DUP3
00002a35: PUSH1 0x20
00002a37: DUP7
00002a38: ADD
00002a39: PUSH2 0x29b1
00002a3c: JUMP
00002a3d: JUMPDEST
00002a3e: SWAP2
00002a3f: POP
00002a40: POP
00002a41: SWAP3
00002a42: SWAP2
00002a43: POP
00002a44: POP
00002a45: JUMP
00002a46: JUMPDEST
00002a47: PUSH0
00002a48: PUSH1 0x20
00002a4a: DUP3
00002a4b: DUP5
00002a4c: SUB
00002a4d: SLT
00002a4e: ISZERO
00002a4f: PUSH2 0x2a5b
00002a52: JUMPI
00002a53: PUSH2 0x2a5a
00002a56: PUSH2 0x2754
00002a59: JUMP
00002a5a: JUMPDEST
00002a5b: JUMPDEST
00002a5c: PUSH0
00002a5d: DUP3
00002a5e: ADD
00002a5f: CALLDATALOAD
00002a60: PUSH8 0xffffffffffffffff
00002a69: DUP2
00002a6a: GT
00002a6b: ISZERO
00002a6c: PUSH2 0x2a78
00002a6f: JUMPI
00002a70: PUSH2 0x2a77
00002a73: PUSH2 0x2758
00002a76: JUMP
00002a77: JUMPDEST
00002a78: JUMPDEST
00002a79: PUSH2 0x2a84
00002a7c: DUP5
00002a7d: DUP3
00002a7e: DUP6
00002a7f: ADD
00002a80: PUSH2 0x2a19
00002a83: JUMP
00002a84: JUMPDEST
00002a85: SWAP2
00002a86: POP
00002a87: POP
00002a88: SWAP3
00002a89: SWAP2
00002a8a: POP
00002a8b: POP
00002a8c: JUMP
00002a8d: JUMPDEST
00002a8e: PUSH0
00002a8f: PUSH1 0x20
00002a91: DUP3
00002a92: DUP5
00002a93: SUB
00002a94: SLT
00002a95: ISZERO
00002a96: PUSH2 0x2aa2
00002a99: JUMPI
00002a9a: PUSH2 0x2aa1
00002a9d: PUSH2 0x2754
00002aa0: JUMP
00002aa1: JUMPDEST
00002aa2: JUMPDEST
00002aa3: PUSH0
00002aa4: PUSH2 0x2aaf
00002aa7: DUP5
00002aa8: DUP3
00002aa9: DUP6
00002aaa: ADD
00002aab: PUSH2 0x27a2
00002aae: JUMP
00002aaf: JUMPDEST
00002ab0: SWAP2
00002ab1: POP
00002ab2: POP
00002ab3: SWAP3
00002ab4: SWAP2
00002ab5: POP
00002ab6: POP
00002ab7: JUMP
00002ab8: JUMPDEST
00002ab9: PUSH2 0x2ac1
00002abc: DUP2
00002abd: PUSH2 0x277b
00002ac0: JUMP
00002ac1: JUMPDEST
00002ac2: DUP3
00002ac3: MSTORE
00002ac4: POP
00002ac5: POP
00002ac6: JUMP
00002ac7: JUMPDEST
00002ac8: PUSH0
00002ac9: PUSH1 0x20
00002acb: DUP3
00002acc: ADD
00002acd: SWAP1
00002ace: POP
00002acf: PUSH2 0x2ada
00002ad2: PUSH0
00002ad3: DUP4
00002ad4: ADD
00002ad5: DUP5
00002ad6: PUSH2 0x2ab8
00002ad9: JUMP
00002ada: JUMPDEST
00002adb: SWAP3
00002adc: SWAP2
00002add: POP
00002ade: POP
00002adf: JUMP
00002ae0: JUMPDEST
00002ae1: PUSH0
00002ae2: DUP1
00002ae3: PUSH1 0x40
00002ae5: DUP4
00002ae6: DUP6
00002ae7: SUB
00002ae8: SLT
00002ae9: ISZERO
00002aea: PUSH2 0x2af6
00002aed: JUMPI
00002aee: PUSH2 0x2af5
00002af1: PUSH2 0x2754
00002af4: JUMP
00002af5: JUMPDEST
00002af6: JUMPDEST
00002af7: PUSH0
00002af8: PUSH2 0x2b03
00002afb: DUP6
00002afc: DUP3
00002afd: DUP7
00002afe: ADD
00002aff: PUSH2 0x27a2
00002b02: JUMP
00002b03: JUMPDEST
00002b04: SWAP3
00002b05: POP
00002b06: POP
00002b07: PUSH1 0x20
00002b09: PUSH2 0x2b14
00002b0c: DUP6
00002b0d: DUP3
00002b0e: DUP7
00002b0f: ADD
00002b10: PUSH2 0x27a2
00002b13: JUMP
00002b14: JUMPDEST
00002b15: SWAP2
00002b16: POP
00002b17: POP
00002b18: SWAP3
00002b19: POP
00002b1a: SWAP3
00002b1b: SWAP1
00002b1c: POP
00002b1d: JUMP
00002b1e: JUMPDEST
00002b1f: PUSH0
00002b20: PUSH1 0x20
00002b22: DUP3
00002b23: DUP5
00002b24: SUB
00002b25: SLT
00002b26: ISZERO
00002b27: PUSH2 0x2b33
00002b2a: JUMPI
00002b2b: PUSH2 0x2b32
00002b2e: PUSH2 0x2754
00002b31: JUMP
00002b32: JUMPDEST
00002b33: JUMPDEST
00002b34: PUSH0
00002b35: PUSH2 0x2b40
00002b38: DUP5
00002b39: DUP3
00002b3a: DUP6
00002b3b: ADD
00002b3c: PUSH2 0x27d5
00002b3f: JUMP
00002b40: JUMPDEST
00002b41: SWAP2
00002b42: POP
00002b43: POP
00002b44: SWAP3
00002b45: SWAP2
00002b46: POP
00002b47: POP
00002b48: JUMP
00002b49: JUMPDEST
00002b4a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002b6b: PUSH0
00002b6c: DUP3
00002b6d: ADD
00002b6e: MSTORE
00002b6f: POP
00002b70: JUMP
00002b71: JUMPDEST
00002b72: PUSH0
00002b73: PUSH2 0x2b7d
00002b76: PUSH1 0x20
00002b78: DUP4
00002b79: PUSH2 0x26ab
00002b7c: JUMP
00002b7d: JUMPDEST
00002b7e: SWAP2
00002b7f: POP
00002b80: PUSH2 0x2b88
00002b83: DUP3
00002b84: PUSH2 0x2b49
00002b87: JUMP
00002b88: JUMPDEST
00002b89: PUSH1 0x20
00002b8b: DUP3
00002b8c: ADD
00002b8d: SWAP1
00002b8e: POP
00002b8f: SWAP2
00002b90: SWAP1
00002b91: POP
00002b92: JUMP
00002b93: JUMPDEST
00002b94: PUSH0
00002b95: PUSH1 0x20
00002b97: DUP3
00002b98: ADD
00002b99: SWAP1
00002b9a: POP
00002b9b: DUP2
00002b9c: DUP2
00002b9d: SUB
00002b9e: PUSH0
00002b9f: DUP4
00002ba0: ADD
00002ba1: MSTORE
00002ba2: PUSH2 0x2baa
00002ba5: DUP2
00002ba6: PUSH2 0x2b71
00002ba9: JUMP
00002baa: JUMPDEST
00002bab: SWAP1
00002bac: POP
00002bad: SWAP2
00002bae: SWAP1
00002baf: POP
00002bb0: JUMP
00002bb1: JUMPDEST
00002bb2: PUSH0
00002bb3: DUP2
00002bb4: SWAP1
00002bb5: POP
00002bb6: SWAP2
00002bb7: SWAP1
00002bb8: POP
00002bb9: JUMP
00002bba: JUMPDEST
00002bbb: PUSH0
00002bbc: DUP2
00002bbd: SWAP1
00002bbe: POP
00002bbf: SWAP2
00002bc0: SWAP1
00002bc1: POP
00002bc2: JUMP
00002bc3: JUMPDEST
00002bc4: PUSH0
00002bc5: PUSH2 0x2bdd
00002bc8: PUSH2 0x2bd8
00002bcb: PUSH2 0x2bd3
00002bce: DUP5
00002bcf: PUSH2 0x2bb1
00002bd2: JUMP
00002bd3: JUMPDEST
00002bd4: PUSH2 0x2bba
00002bd7: JUMP
00002bd8: JUMPDEST
00002bd9: PUSH2 0x27b6
00002bdc: JUMP
00002bdd: JUMPDEST
00002bde: SWAP1
00002bdf: POP
00002be0: SWAP2
00002be1: SWAP1
00002be2: POP
00002be3: JUMP
00002be4: JUMPDEST
00002be5: PUSH2 0x2bed
00002be8: DUP2
00002be9: PUSH2 0x2bc3
00002bec: JUMP
00002bed: JUMPDEST
00002bee: DUP3
00002bef: MSTORE
00002bf0: POP
00002bf1: POP
00002bf2: JUMP
00002bf3: JUMPDEST
00002bf4: PUSH0
00002bf5: PUSH1 0x20
00002bf7: DUP3
00002bf8: ADD
00002bf9: SWAP1
00002bfa: POP
00002bfb: PUSH2 0x2c06
00002bfe: PUSH0
00002bff: DUP4
00002c00: ADD
00002c01: DUP5
00002c02: PUSH2 0x2be4
00002c05: JUMP
00002c06: JUMPDEST
00002c07: SWAP3
00002c08: SWAP2
00002c09: POP
00002c0a: POP
00002c0b: JUMP
00002c0c: JUMPDEST
00002c0d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002c2e: PUSH0
00002c2f: MSTORE
00002c30: PUSH1 0x11
00002c32: PUSH1 0x04
00002c34: MSTORE
00002c35: PUSH1 0x24
00002c37: PUSH0
00002c38: REVERT
00002c39: JUMPDEST
00002c3a: PUSH0
00002c3b: DUP2
00002c3c: PUSH1 0x01
00002c3e: SHR
00002c3f: SWAP1
00002c40: POP
00002c41: SWAP2
00002c42: SWAP1
00002c43: POP
00002c44: JUMP
00002c45: JUMPDEST
00002c46: PUSH0
00002c47: DUP1
00002c48: DUP3
00002c49: SWAP2
00002c4a: POP
00002c4b: DUP4
00002c4c: SWAP1
00002c4d: POP
00002c4e: JUMPDEST
00002c4f: PUSH1 0x01
00002c51: DUP6
00002c52: GT
00002c53: ISZERO
00002c54: PUSH2 0x2c8e
00002c57: JUMPI
00002c58: DUP1
00002c59: DUP7
00002c5a: DIV
00002c5b: DUP2
00002c5c: GT
00002c5d: ISZERO
00002c5e: PUSH2 0x2c6a
00002c61: JUMPI
00002c62: PUSH2 0x2c69
00002c65: PUSH2 0x2c0c
00002c68: JUMP
00002c69: JUMPDEST
00002c6a: JUMPDEST
00002c6b: PUSH1 0x01
00002c6d: DUP6
00002c6e: AND
00002c6f: ISZERO
00002c70: PUSH2 0x2c79
00002c73: JUMPI
00002c74: DUP1
00002c75: DUP3
00002c76: MUL
00002c77: SWAP2
00002c78: POP
00002c79: JUMPDEST
00002c7a: DUP1
00002c7b: DUP2
00002c7c: MUL
00002c7d: SWAP1
00002c7e: POP
00002c7f: PUSH2 0x2c87
00002c82: DUP6
00002c83: PUSH2 0x2c39
00002c86: JUMP
00002c87: JUMPDEST
00002c88: SWAP5
00002c89: POP
00002c8a: PUSH2 0x2c4e
00002c8d: JUMP
00002c8e: JUMPDEST
00002c8f: SWAP5
00002c90: POP
00002c91: SWAP5
00002c92: SWAP3
00002c93: POP
00002c94: POP
00002c95: POP
00002c96: JUMP
00002c97: JUMPDEST
00002c98: PUSH0
00002c99: DUP3
00002c9a: PUSH2 0x2ca6
00002c9d: JUMPI
00002c9e: PUSH1 0x01
00002ca0: SWAP1
00002ca1: POP
00002ca2: PUSH2 0x2d61
00002ca5: JUMP
00002ca6: JUMPDEST
00002ca7: DUP2
00002ca8: PUSH2 0x2cb3
00002cab: JUMPI
00002cac: PUSH0
00002cad: SWAP1
00002cae: POP
00002caf: PUSH2 0x2d61
00002cb2: JUMP
00002cb3: JUMPDEST
00002cb4: DUP2
00002cb5: PUSH1 0x01
00002cb7: DUP2
00002cb8: EQ
00002cb9: PUSH2 0x2cc9
00002cbc: JUMPI
00002cbd: PUSH1 0x02
00002cbf: DUP2
00002cc0: EQ
00002cc1: PUSH2 0x2cd3
00002cc4: JUMPI
00002cc5: PUSH2 0x2d02
00002cc8: JUMP
00002cc9: JUMPDEST
00002cca: PUSH1 0x01
00002ccc: SWAP2
00002ccd: POP
00002cce: POP
00002ccf: PUSH2 0x2d61
00002cd2: JUMP
00002cd3: JUMPDEST
00002cd4: PUSH1 0xff
00002cd6: DUP5
00002cd7: GT
00002cd8: ISZERO
00002cd9: PUSH2 0x2ce5
00002cdc: JUMPI
00002cdd: PUSH2 0x2ce4
00002ce0: PUSH2 0x2c0c
00002ce3: JUMP
00002ce4: JUMPDEST
00002ce5: JUMPDEST
00002ce6: DUP4
00002ce7: PUSH1 0x02
00002ce9: EXP
00002cea: SWAP2
00002ceb: POP
00002cec: DUP5
00002ced: DUP3
00002cee: GT
00002cef: ISZERO
00002cf0: PUSH2 0x2cfc
00002cf3: JUMPI
00002cf4: PUSH2 0x2cfb
00002cf7: PUSH2 0x2c0c
00002cfa: JUMP
00002cfb: JUMPDEST
00002cfc: JUMPDEST
00002cfd: POP
00002cfe: PUSH2 0x2d61
00002d01: JUMP
00002d02: JUMPDEST
00002d03: POP
00002d04: PUSH1 0x20
00002d06: DUP4
00002d07: LT
00002d08: PUSH2 0x0133
00002d0b: DUP4
00002d0c: LT
00002d0d: AND
00002d0e: PUSH1 0x4e
00002d10: DUP5
00002d11: LT
00002d12: PUSH1 0x0b
00002d14: DUP5
00002d15: LT
00002d16: AND
00002d17: OR
00002d18: ISZERO
00002d19: PUSH2 0x2d37
00002d1c: JUMPI
00002d1d: DUP3
00002d1e: DUP3
00002d1f: EXP
00002d20: SWAP1
00002d21: POP
00002d22: DUP4
00002d23: DUP2
00002d24: GT
00002d25: ISZERO
00002d26: PUSH2 0x2d32
00002d29: JUMPI
00002d2a: PUSH2 0x2d31
00002d2d: PUSH2 0x2c0c
00002d30: JUMP
00002d31: JUMPDEST
00002d32: JUMPDEST
00002d33: PUSH2 0x2d61
00002d36: JUMP
00002d37: JUMPDEST
00002d38: PUSH2 0x2d44
00002d3b: DUP5
00002d3c: DUP5
00002d3d: DUP5
00002d3e: PUSH1 0x01
00002d40: PUSH2 0x2c45
00002d43: JUMP
00002d44: JUMPDEST
00002d45: SWAP3
00002d46: POP
00002d47: SWAP1
00002d48: POP
00002d49: DUP2
00002d4a: DUP5
00002d4b: DIV
00002d4c: DUP2
00002d4d: GT
00002d4e: ISZERO
00002d4f: PUSH2 0x2d5b
00002d52: JUMPI
00002d53: PUSH2 0x2d5a
00002d56: PUSH2 0x2c0c
00002d59: JUMP
00002d5a: JUMPDEST
00002d5b: JUMPDEST
00002d5c: DUP2
00002d5d: DUP2
00002d5e: MUL
00002d5f: SWAP1
00002d60: POP
00002d61: JUMPDEST
00002d62: SWAP4
00002d63: SWAP3
00002d64: POP
00002d65: POP
00002d66: POP
00002d67: JUMP
00002d68: JUMPDEST
00002d69: PUSH0
00002d6a: PUSH2 0x2d72
00002d6d: DUP3
00002d6e: PUSH2 0x27b6
00002d71: JUMP
00002d72: JUMPDEST
00002d73: SWAP2
00002d74: POP
00002d75: PUSH2 0x2d7d
00002d78: DUP4
00002d79: PUSH2 0x28d2
00002d7c: JUMP
00002d7d: JUMPDEST
00002d7e: SWAP3
00002d7f: POP
00002d80: PUSH2 0x2daa
00002d83: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002da4: DUP5
00002da5: DUP5
00002da6: PUSH2 0x2c97
00002da9: JUMP
00002daa: JUMPDEST
00002dab: SWAP1
00002dac: POP
00002dad: SWAP3
00002dae: SWAP2
00002daf: POP
00002db0: POP
00002db1: JUMP
00002db2: JUMPDEST
00002db3: PUSH0
00002db4: PUSH2 0x2dbc
00002db7: DUP3
00002db8: PUSH2 0x27b6
00002dbb: JUMP
00002dbc: JUMPDEST
00002dbd: SWAP2
00002dbe: POP
00002dbf: PUSH2 0x2dc7
00002dc2: DUP4
00002dc3: PUSH2 0x27b6
00002dc6: JUMP
00002dc7: JUMPDEST
00002dc8: SWAP3
00002dc9: POP
00002dca: DUP3
00002dcb: DUP3
00002dcc: MUL
00002dcd: PUSH2 0x2dd5
00002dd0: DUP2
00002dd1: PUSH2 0x27b6
00002dd4: JUMP
00002dd5: JUMPDEST
00002dd6: SWAP2
00002dd7: POP
00002dd8: DUP3
00002dd9: DUP3
00002dda: DIV
00002ddb: DUP5
00002ddc: EQ
00002ddd: DUP4
00002dde: ISZERO
00002ddf: OR
00002de0: PUSH2 0x2dec
00002de3: JUMPI
00002de4: PUSH2 0x2deb
00002de7: PUSH2 0x2c0c
00002dea: JUMP
00002deb: JUMPDEST
00002dec: JUMPDEST
00002ded: POP
00002dee: SWAP3
00002def: SWAP2
00002df0: POP
00002df1: POP
00002df2: JUMP
00002df3: JUMPDEST
00002df4: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002e15: PUSH0
00002e16: MSTORE
00002e17: PUSH1 0x32
00002e19: PUSH1 0x04
00002e1b: MSTORE
00002e1c: PUSH1 0x24
00002e1e: PUSH0
00002e1f: REVERT
00002e20: JUMPDEST
00002e21: PUSH0
00002e22: DUP2
00002e23: MLOAD
00002e24: SWAP1
00002e25: POP
00002e26: PUSH2 0x2e2e
00002e29: DUP2
00002e2a: PUSH2 0x27bf
00002e2d: JUMP
00002e2e: JUMPDEST
00002e2f: SWAP3
00002e30: SWAP2
00002e31: POP
00002e32: POP
00002e33: JUMP
00002e34: JUMPDEST
00002e35: PUSH0
00002e36: PUSH1 0x20
00002e38: DUP3
00002e39: DUP5
00002e3a: SUB
00002e3b: SLT
00002e3c: ISZERO
00002e3d: PUSH2 0x2e49
00002e40: JUMPI
00002e41: PUSH2 0x2e48
00002e44: PUSH2 0x2754
00002e47: JUMP
00002e48: JUMPDEST
00002e49: JUMPDEST
00002e4a: PUSH0
00002e4b: PUSH2 0x2e56
00002e4e: DUP5
00002e4f: DUP3
00002e50: DUP6
00002e51: ADD
00002e52: PUSH2 0x2e20
00002e55: JUMP
00002e56: JUMPDEST
00002e57: SWAP2
00002e58: POP
00002e59: POP
00002e5a: SWAP3
00002e5b: SWAP2
00002e5c: POP
00002e5d: POP
00002e5e: JUMP
00002e5f: JUMPDEST
00002e60: PUSH0
00002e61: PUSH2 0x2e79
00002e64: PUSH2 0x2e74
00002e67: PUSH2 0x2e6f
00002e6a: DUP5
00002e6b: PUSH2 0x275c
00002e6e: JUMP
00002e6f: JUMPDEST
00002e70: PUSH2 0x2bba
00002e73: JUMP
00002e74: JUMPDEST
00002e75: PUSH2 0x275c
00002e78: JUMP
00002e79: JUMPDEST
00002e7a: SWAP1
00002e7b: POP
00002e7c: SWAP2
00002e7d: SWAP1
00002e7e: POP
00002e7f: JUMP
00002e80: JUMPDEST
00002e81: PUSH0
00002e82: PUSH2 0x2e8a
00002e85: DUP3
00002e86: PUSH2 0x2e5f
00002e89: JUMP
00002e8a: JUMPDEST
00002e8b: SWAP1
00002e8c: POP
00002e8d: SWAP2
00002e8e: SWAP1
00002e8f: POP
00002e90: JUMP
00002e91: JUMPDEST
00002e92: PUSH0
00002e93: PUSH2 0x2e9b
00002e96: DUP3
00002e97: PUSH2 0x2e80
00002e9a: JUMP
00002e9b: JUMPDEST
00002e9c: SWAP1
00002e9d: POP
00002e9e: SWAP2
00002e9f: SWAP1
00002ea0: POP
00002ea1: JUMP
00002ea2: JUMPDEST
00002ea3: PUSH2 0x2eab
00002ea6: DUP2
00002ea7: PUSH2 0x2e91
00002eaa: JUMP
00002eab: JUMPDEST
00002eac: DUP3
00002ead: MSTORE
00002eae: POP
00002eaf: POP
00002eb0: JUMP
00002eb1: JUMPDEST
00002eb2: PUSH0
00002eb3: PUSH1 0x40
00002eb5: DUP3
00002eb6: ADD
00002eb7: SWAP1
00002eb8: POP
00002eb9: PUSH2 0x2ec4
00002ebc: PUSH0
00002ebd: DUP4
00002ebe: ADD
00002ebf: DUP6
00002ec0: PUSH2 0x2ea2
00002ec3: JUMP
00002ec4: JUMPDEST
00002ec5: PUSH2 0x2ed1
00002ec8: PUSH1 0x20
00002eca: DUP4
00002ecb: ADD
00002ecc: DUP5
00002ecd: PUSH2 0x285a
00002ed0: JUMP
00002ed1: JUMPDEST
00002ed2: SWAP4
00002ed3: SWAP3
00002ed4: POP
00002ed5: POP
00002ed6: POP
00002ed7: JUMP
00002ed8: JUMPDEST
00002ed9: PUSH2 0x2ee1
00002edc: DUP2
00002edd: PUSH2 0x2827
00002ee0: JUMP
00002ee1: JUMPDEST
00002ee2: DUP2
00002ee3: EQ
00002ee4: PUSH2 0x2eeb
00002ee7: JUMPI
00002ee8: PUSH0
00002ee9: DUP1
00002eea: REVERT
00002eeb: JUMPDEST
00002eec: POP
00002eed: JUMP
00002eee: JUMPDEST
00002eef: PUSH0
00002ef0: DUP2
00002ef1: MLOAD
00002ef2: SWAP1
00002ef3: POP
00002ef4: PUSH2 0x2efc
00002ef7: DUP2
00002ef8: PUSH2 0x2ed8
00002efb: JUMP
00002efc: JUMPDEST
00002efd: SWAP3
00002efe: SWAP2
00002eff: POP
00002f00: POP
00002f01: JUMP
00002f02: JUMPDEST
00002f03: PUSH0
00002f04: PUSH1 0x20
00002f06: DUP3
00002f07: DUP5
00002f08: SUB
00002f09: SLT
00002f0a: ISZERO
00002f0b: PUSH2 0x2f17
00002f0e: JUMPI
00002f0f: PUSH2 0x2f16
00002f12: PUSH2 0x2754
00002f15: JUMP
00002f16: JUMPDEST
00002f17: JUMPDEST
00002f18: PUSH0
00002f19: PUSH2 0x2f24
00002f1c: DUP5
00002f1d: DUP3
00002f1e: DUP6
00002f1f: ADD
00002f20: PUSH2 0x2eee
00002f23: JUMP
00002f24: JUMPDEST
00002f25: SWAP2
00002f26: POP
00002f27: POP
00002f28: SWAP3
00002f29: SWAP2
00002f2a: POP
00002f2b: POP
00002f2c: JUMP
00002f2d: JUMPDEST
00002f2e: PUSH32 0x74726164696e6720697320616c7265616479206f70656e000000000000000000
00002f4f: PUSH0
00002f50: DUP3
00002f51: ADD
00002f52: MSTORE
00002f53: POP
00002f54: JUMP
00002f55: JUMPDEST
00002f56: PUSH0
00002f57: PUSH2 0x2f61
00002f5a: PUSH1 0x17
00002f5c: DUP4
00002f5d: PUSH2 0x26ab
00002f60: JUMP
00002f61: JUMPDEST
00002f62: SWAP2
00002f63: POP
00002f64: PUSH2 0x2f6c
00002f67: DUP3
00002f68: PUSH2 0x2f2d
00002f6b: JUMP
00002f6c: JUMPDEST
00002f6d: PUSH1 0x20
00002f6f: DUP3
00002f70: ADD
00002f71: SWAP1
00002f72: POP
00002f73: SWAP2
00002f74: SWAP1
00002f75: POP
00002f76: JUMP
00002f77: JUMPDEST
00002f78: PUSH0
00002f79: PUSH1 0x20
00002f7b: DUP3
00002f7c: ADD
00002f7d: SWAP1
00002f7e: POP
00002f7f: DUP2
00002f80: DUP2
00002f81: SUB
00002f82: PUSH0
00002f83: DUP4
00002f84: ADD
00002f85: MSTORE
00002f86: PUSH2 0x2f8e
00002f89: DUP2
00002f8a: PUSH2 0x2f55
00002f8d: JUMP
00002f8e: JUMPDEST
00002f8f: SWAP1
00002f90: POP
00002f91: SWAP2
00002f92: SWAP1
00002f93: POP
00002f94: JUMP
00002f95: JUMPDEST
00002f96: PUSH0
00002f97: DUP2
00002f98: MLOAD
00002f99: SWAP1
00002f9a: POP
00002f9b: PUSH2 0x2fa3
00002f9e: DUP2
00002f9f: PUSH2 0x278c
00002fa2: JUMP
00002fa3: JUMPDEST
00002fa4: SWAP3
00002fa5: SWAP2
00002fa6: POP
00002fa7: POP
00002fa8: JUMP
00002fa9: JUMPDEST
00002faa: PUSH0
00002fab: PUSH1 0x20
00002fad: DUP3
00002fae: DUP5
00002faf: SUB
00002fb0: SLT
00002fb1: ISZERO
00002fb2: PUSH2 0x2fbe
00002fb5: JUMPI
00002fb6: PUSH2 0x2fbd
00002fb9: PUSH2 0x2754
00002fbc: JUMP
00002fbd: JUMPDEST
00002fbe: JUMPDEST
00002fbf: PUSH0
00002fc0: PUSH2 0x2fcb
00002fc3: DUP5
00002fc4: DUP3
00002fc5: DUP6
00002fc6: ADD
00002fc7: PUSH2 0x2f95
00002fca: JUMP
00002fcb: JUMPDEST
00002fcc: SWAP2
00002fcd: POP
00002fce: POP
00002fcf: SWAP3
00002fd0: SWAP2
00002fd1: POP
00002fd2: POP
00002fd3: JUMP
00002fd4: JUMPDEST
00002fd5: PUSH0
00002fd6: PUSH1 0x40
00002fd8: DUP3
00002fd9: ADD
00002fda: SWAP1
00002fdb: POP
00002fdc: PUSH2 0x2fe7
00002fdf: PUSH0
00002fe0: DUP4
00002fe1: ADD
00002fe2: DUP6
00002fe3: PUSH2 0x2ab8
00002fe6: JUMP
00002fe7: JUMPDEST
00002fe8: PUSH2 0x2ff4
00002feb: PUSH1 0x20
00002fed: DUP4
00002fee: ADD
00002fef: DUP5
00002ff0: PUSH2 0x2ab8
00002ff3: JUMP
00002ff4: JUMPDEST
00002ff5: SWAP4
00002ff6: SWAP3
00002ff7: POP
00002ff8: POP
00002ff9: POP
00002ffa: JUMP
00002ffb: JUMPDEST
00002ffc: PUSH0
00002ffd: PUSH1 0xc0
00002fff: DUP3
00003000: ADD
00003001: SWAP1
00003002: POP
00003003: PUSH2 0x300e
00003006: PUSH0
00003007: DUP4
00003008: ADD
00003009: DUP10
0000300a: PUSH2 0x2ab8
0000300d: JUMP
0000300e: JUMPDEST
0000300f: PUSH2 0x301b
00003012: PUSH1 0x20
00003014: DUP4
00003015: ADD
00003016: DUP9
00003017: PUSH2 0x285a
0000301a: JUMP
0000301b: JUMPDEST
0000301c: PUSH2 0x3028
0000301f: PUSH1 0x40
00003021: DUP4
00003022: ADD
00003023: DUP8
00003024: PUSH2 0x2be4
00003027: JUMP
00003028: JUMPDEST
00003029: PUSH2 0x3035
0000302c: PUSH1 0x60
0000302e: DUP4
0000302f: ADD
00003030: DUP7
00003031: PUSH2 0x2be4
00003034: JUMP
00003035: JUMPDEST
00003036: PUSH2 0x3042
00003039: PUSH1 0x80
0000303b: DUP4
0000303c: ADD
0000303d: DUP6
0000303e: PUSH2 0x2ab8
00003041: JUMP
00003042: JUMPDEST
00003043: PUSH2 0x304f
00003046: PUSH1 0xa0
00003048: DUP4
00003049: ADD
0000304a: DUP5
0000304b: PUSH2 0x285a
0000304e: JUMP
0000304f: JUMPDEST
00003050: SWAP8
00003051: SWAP7
00003052: POP
00003053: POP
00003054: POP
00003055: POP
00003056: POP
00003057: POP
00003058: POP
00003059: JUMP
0000305a: JUMPDEST
0000305b: PUSH0
0000305c: DUP1
0000305d: PUSH0
0000305e: PUSH1 0x60
00003060: DUP5
00003061: DUP7
00003062: SUB
00003063: SLT
00003064: ISZERO
00003065: PUSH2 0x3071
00003068: JUMPI
00003069: PUSH2 0x3070
0000306c: PUSH2 0x2754
0000306f: JUMP
00003070: JUMPDEST
00003071: JUMPDEST
00003072: PUSH0
00003073: PUSH2 0x307e
00003076: DUP7
00003077: DUP3
00003078: DUP8
00003079: ADD
0000307a: PUSH2 0x2e20
0000307d: JUMP
0000307e: JUMPDEST
0000307f: SWAP4
00003080: POP
00003081: POP
00003082: PUSH1 0x20
00003084: PUSH2 0x308f
00003087: DUP7
00003088: DUP3
00003089: DUP8
0000308a: ADD
0000308b: PUSH2 0x2e20
0000308e: JUMP
0000308f: JUMPDEST
00003090: SWAP3
00003091: POP
00003092: POP
00003093: PUSH1 0x40
00003095: PUSH2 0x30a0
00003098: DUP7
00003099: DUP3
0000309a: DUP8
0000309b: ADD
0000309c: PUSH2 0x2e20
0000309f: JUMP
000030a0: JUMPDEST
000030a1: SWAP2
000030a2: POP
000030a3: POP
000030a4: SWAP3
000030a5: POP
000030a6: SWAP3
000030a7: POP
000030a8: SWAP3
000030a9: JUMP
000030aa: JUMPDEST
000030ab: PUSH0
000030ac: PUSH1 0x40
000030ae: DUP3
000030af: ADD
000030b0: SWAP1
000030b1: POP
000030b2: PUSH2 0x30bd
000030b5: PUSH0
000030b6: DUP4
000030b7: ADD
000030b8: DUP6
000030b9: PUSH2 0x2ab8
000030bc: JUMP
000030bd: JUMPDEST
000030be: PUSH2 0x30ca
000030c1: PUSH1 0x20
000030c3: DUP4
000030c4: ADD
000030c5: DUP5
000030c6: PUSH2 0x285a
000030c9: JUMP
000030ca: JUMPDEST
000030cb: SWAP4
000030cc: SWAP3
000030cd: POP
000030ce: POP
000030cf: POP
000030d0: JUMP
000030d1: JUMPDEST
000030d2: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
000030f3: PUSH0
000030f4: DUP3
000030f5: ADD
000030f6: MSTORE
000030f7: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
00003118: PUSH1 0x20
0000311a: DUP3
0000311b: ADD
0000311c: MSTORE
0000311d: POP
0000311e: JUMP
0000311f: JUMPDEST
00003120: PUSH0
00003121: PUSH2 0x312b
00003124: PUSH1 0x24
00003126: DUP4
00003127: PUSH2 0x26ab
0000312a: JUMP
0000312b: JUMPDEST
0000312c: SWAP2
0000312d: POP
0000312e: PUSH2 0x3136
00003131: DUP3
00003132: PUSH2 0x30d1
00003135: JUMP
00003136: JUMPDEST
00003137: PUSH1 0x40
00003139: DUP3
0000313a: ADD
0000313b: SWAP1
0000313c: POP
0000313d: SWAP2
0000313e: SWAP1
0000313f: POP
00003140: JUMP
00003141: JUMPDEST
00003142: PUSH0
00003143: PUSH1 0x20
00003145: DUP3
00003146: ADD
00003147: SWAP1
00003148: POP
00003149: DUP2
0000314a: DUP2
0000314b: SUB
0000314c: PUSH0
0000314d: DUP4
0000314e: ADD
0000314f: MSTORE
00003150: PUSH2 0x3158
00003153: DUP2
00003154: PUSH2 0x311f
00003157: JUMP
00003158: JUMPDEST
00003159: SWAP1
0000315a: POP
0000315b: SWAP2
0000315c: SWAP1
0000315d: POP
0000315e: JUMP
0000315f: JUMPDEST
00003160: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00003181: PUSH0
00003182: DUP3
00003183: ADD
00003184: MSTORE
00003185: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000
000031a6: PUSH1 0x20
000031a8: DUP3
000031a9: ADD
000031aa: MSTORE
000031ab: POP
000031ac: JUMP
000031ad: JUMPDEST
000031ae: PUSH0
000031af: PUSH2 0x31b9
000031b2: PUSH1 0x22
000031b4: DUP4
000031b5: PUSH2 0x26ab
000031b8: JUMP
000031b9: JUMPDEST
000031ba: SWAP2
000031bb: POP
000031bc: PUSH2 0x31c4
000031bf: DUP3
000031c0: PUSH2 0x315f
000031c3: JUMP
000031c4: JUMPDEST
000031c5: PUSH1 0x40
000031c7: DUP3
000031c8: ADD
000031c9: SWAP1
000031ca: POP
000031cb: SWAP2
000031cc: SWAP1
000031cd: POP
000031ce: JUMP
000031cf: JUMPDEST
000031d0: PUSH0
000031d1: PUSH1 0x20
000031d3: DUP3
000031d4: ADD
000031d5: SWAP1
000031d6: POP
000031d7: DUP2
000031d8: DUP2
000031d9: SUB
000031da: PUSH0
000031db: DUP4
000031dc: ADD
000031dd: MSTORE
000031de: PUSH2 0x31e6
000031e1: DUP2
000031e2: PUSH2 0x31ad
000031e5: JUMP
000031e6: JUMPDEST
000031e7: SWAP1
000031e8: POP
000031e9: SWAP2
000031ea: SWAP1
000031eb: POP
000031ec: JUMP
000031ed: JUMPDEST
000031ee: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
0000320f: PUSH0
00003210: DUP3
00003211: ADD
00003212: MSTORE
00003213: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000
00003234: PUSH1 0x20
00003236: DUP3
00003237: ADD
00003238: MSTORE
00003239: POP
0000323a: JUMP
0000323b: JUMPDEST
0000323c: PUSH0
0000323d: PUSH2 0x3247
00003240: PUSH1 0x25
00003242: DUP4
00003243: PUSH2 0x26ab
00003246: JUMP
00003247: JUMPDEST
00003248: SWAP2
00003249: POP
0000324a: PUSH2 0x3252
0000324d: DUP3
0000324e: PUSH2 0x31ed
00003251: JUMP
00003252: JUMPDEST
00003253: PUSH1 0x40
00003255: DUP3
00003256: ADD
00003257: SWAP1
00003258: POP
00003259: SWAP2
0000325a: SWAP1
0000325b: POP
0000325c: JUMP
0000325d: JUMPDEST
0000325e: PUSH0
0000325f: PUSH1 0x20
00003261: DUP3
00003262: ADD
00003263: SWAP1
00003264: POP
00003265: DUP2
00003266: DUP2
00003267: SUB
00003268: PUSH0
00003269: DUP4
0000326a: ADD
0000326b: MSTORE
0000326c: PUSH2 0x3274
0000326f: DUP2
00003270: PUSH2 0x323b
00003273: JUMP
00003274: JUMPDEST
00003275: SWAP1
00003276: POP
00003277: SWAP2
00003278: SWAP1
00003279: POP
0000327a: JUMP
0000327b: JUMPDEST
0000327c: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
0000329d: PUSH0
0000329e: DUP3
0000329f: ADD
000032a0: MSTORE
000032a1: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000
000032c2: PUSH1 0x20
000032c4: DUP3
000032c5: ADD
000032c6: MSTORE
000032c7: POP
000032c8: JUMP
000032c9: JUMPDEST
000032ca: PUSH0
000032cb: PUSH2 0x32d5
000032ce: PUSH1 0x23
000032d0: DUP4
000032d1: PUSH2 0x26ab
000032d4: JUMP
000032d5: JUMPDEST
000032d6: SWAP2
000032d7: POP
000032d8: PUSH2 0x32e0
000032db: DUP3
000032dc: PUSH2 0x327b
000032df: JUMP
000032e0: JUMPDEST
000032e1: PUSH1 0x40
000032e3: DUP3
000032e4: ADD
000032e5: SWAP1
000032e6: POP
000032e7: SWAP2
000032e8: SWAP1
000032e9: POP
000032ea: JUMP
000032eb: JUMPDEST
000032ec: PUSH0
000032ed: PUSH1 0x20
000032ef: DUP3
000032f0: ADD
000032f1: SWAP1
000032f2: POP
000032f3: DUP2
000032f4: DUP2
000032f5: SUB
000032f6: PUSH0
000032f7: DUP4
000032f8: ADD
000032f9: MSTORE
000032fa: PUSH2 0x3302
000032fd: DUP2
000032fe: PUSH2 0x32c9
00003301: JUMP
00003302: JUMPDEST
00003303: SWAP1
00003304: POP
00003305: SWAP2
00003306: SWAP1
00003307: POP
00003308: JUMP
00003309: JUMPDEST
0000330a: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220
0000332b: PUSH0
0000332c: DUP3
0000332d: ADD
0000332e: MSTORE
0000332f: PUSH32 0x7468616e207a65726f0000000000000000000000000000000000000000000000
00003350: PUSH1 0x20
00003352: DUP3
00003353: ADD
00003354: MSTORE
00003355: POP
00003356: JUMP
00003357: JUMPDEST
00003358: PUSH0
00003359: PUSH2 0x3363
0000335c: PUSH1 0x29
0000335e: DUP4
0000335f: PUSH2 0x26ab
00003362: JUMP
00003363: JUMPDEST
00003364: SWAP2
00003365: POP
00003366: PUSH2 0x336e
00003369: DUP3
0000336a: PUSH2 0x3309
0000336d: JUMP
0000336e: JUMPDEST
0000336f: PUSH1 0x40
00003371: DUP3
00003372: ADD
00003373: SWAP1
00003374: POP
00003375: SWAP2
00003376: SWAP1
00003377: POP
00003378: JUMP
00003379: JUMPDEST
0000337a: PUSH0
0000337b: PUSH1 0x20
0000337d: DUP3
0000337e: ADD
0000337f: SWAP1
00003380: POP
00003381: DUP2
00003382: DUP2
00003383: SUB
00003384: PUSH0
00003385: DUP4
00003386: ADD
00003387: MSTORE
00003388: PUSH2 0x3390
0000338b: DUP2
0000338c: PUSH2 0x3357
0000338f: JUMP
00003390: JUMPDEST
00003391: SWAP1
00003392: POP
00003393: SWAP2
00003394: SWAP1
00003395: POP
00003396: JUMP
00003397: JUMPDEST
00003398: PUSH32 0x4578636565647320746865205f6d61785478416d6f756e742e00000000000000
000033b9: PUSH0
000033ba: DUP3
000033bb: ADD
000033bc: MSTORE
000033bd: POP
000033be: JUMP
000033bf: JUMPDEST
000033c0: PUSH0
000033c1: PUSH2 0x33cb
000033c4: PUSH1 0x19
000033c6: DUP4
000033c7: PUSH2 0x26ab
000033ca: JUMP
000033cb: JUMPDEST
000033cc: SWAP2
000033cd: POP
000033ce: PUSH2 0x33d6
000033d1: DUP3
000033d2: PUSH2 0x3397
000033d5: JUMP
000033d6: JUMPDEST
000033d7: PUSH1 0x20
000033d9: DUP3
000033da: ADD
000033db: SWAP1
000033dc: POP
000033dd: SWAP2
000033de: SWAP1
000033df: POP
000033e0: JUMP
000033e1: JUMPDEST
000033e2: PUSH0
000033e3: PUSH1 0x20
000033e5: DUP3
000033e6: ADD
000033e7: SWAP1
000033e8: POP
000033e9: DUP2
000033ea: DUP2
000033eb: SUB
000033ec: PUSH0
000033ed: DUP4
000033ee: ADD
000033ef: MSTORE
000033f0: PUSH2 0x33f8
000033f3: DUP2
000033f4: PUSH2 0x33bf
000033f7: JUMP
000033f8: JUMPDEST
000033f9: SWAP1
000033fa: POP
000033fb: SWAP2
000033fc: SWAP1
000033fd: POP
000033fe: JUMP
000033ff: JUMPDEST
00003400: PUSH0
00003401: PUSH2 0x3409
00003404: DUP3
00003405: PUSH2 0x27b6
00003408: JUMP
00003409: JUMPDEST
0000340a: SWAP2
0000340b: POP
0000340c: PUSH2 0x3414
0000340f: DUP4
00003410: PUSH2 0x27b6
00003413: JUMP
00003414: JUMPDEST
00003415: SWAP3
00003416: POP
00003417: DUP3
00003418: DUP3
00003419: ADD
0000341a: SWAP1
0000341b: POP
0000341c: DUP1
0000341d: DUP3
0000341e: GT
0000341f: ISZERO
00003420: PUSH2 0x342c
00003423: JUMPI
00003424: PUSH2 0x342b
00003427: PUSH2 0x2c0c
0000342a: JUMP
0000342b: JUMPDEST
0000342c: JUMPDEST
0000342d: SWAP3
0000342e: SWAP2
0000342f: POP
00003430: POP
00003431: JUMP
00003432: JUMPDEST
00003433: PUSH32 0x4578636565647320746865206d617857616c6c657453697a652e000000000000
00003454: PUSH0
00003455: DUP3
00003456: ADD
00003457: MSTORE
00003458: POP
00003459: JUMP
0000345a: JUMPDEST
0000345b: PUSH0
0000345c: PUSH2 0x3466
0000345f: PUSH1 0x1a
00003461: DUP4
00003462: PUSH2 0x26ab
00003465: JUMP
00003466: JUMPDEST
00003467: SWAP2
00003468: POP
00003469: PUSH2 0x3471
0000346c: DUP3
0000346d: PUSH2 0x3432
00003470: JUMP
00003471: JUMPDEST
00003472: PUSH1 0x20
00003474: DUP3
00003475: ADD
00003476: SWAP1
00003477: POP
00003478: SWAP2
00003479: SWAP1
0000347a: POP
0000347b: JUMP
0000347c: JUMPDEST
0000347d: PUSH0
0000347e: PUSH1 0x20
00003480: DUP3
00003481: ADD
00003482: SWAP1
00003483: POP
00003484: DUP2
00003485: DUP2
00003486: SUB
00003487: PUSH0
00003488: DUP4
00003489: ADD
0000348a: MSTORE
0000348b: PUSH2 0x3493
0000348e: DUP2
0000348f: PUSH2 0x345a
00003492: JUMP
00003493: JUMPDEST
00003494: SWAP1
00003495: POP
00003496: SWAP2
00003497: SWAP1
00003498: POP
00003499: JUMP
0000349a: JUMPDEST
0000349b: PUSH0
0000349c: PUSH2 0x34a4
0000349f: DUP3
000034a0: PUSH2 0x27b6
000034a3: JUMP
000034a4: JUMPDEST
000034a5: SWAP2
000034a6: POP
000034a7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000034c8: DUP3
000034c9: SUB
000034ca: PUSH2 0x34d6
000034cd: JUMPI
000034ce: PUSH2 0x34d5
000034d1: PUSH2 0x2c0c
000034d4: JUMP
000034d5: JUMPDEST
000034d6: JUMPDEST
000034d7: PUSH1 0x01
000034d9: DUP3
000034da: ADD
000034db: SWAP1
000034dc: POP
000034dd: SWAP2
000034de: SWAP1
000034df: POP
000034e0: JUMP
000034e1: JUMPDEST
000034e2: PUSH32 0x4f6e6c7920332073656c6c732070657220626c6f636b21000000000000000000
00003503: PUSH0
00003504: DUP3
00003505: ADD
00003506: MSTORE
00003507: POP
00003508: JUMP
00003509: JUMPDEST
0000350a: PUSH0
0000350b: PUSH2 0x3515
0000350e: PUSH1 0x17
00003510: DUP4
00003511: PUSH2 0x26ab
00003514: JUMP
00003515: JUMPDEST
00003516: SWAP2
00003517: POP
00003518: PUSH2 0x3520
0000351b: DUP3
0000351c: PUSH2 0x34e1
0000351f: JUMP
00003520: JUMPDEST
00003521: PUSH1 0x20
00003523: DUP3
00003524: ADD
00003525: SWAP1
00003526: POP
00003527: SWAP2
00003528: SWAP1
00003529: POP
0000352a: JUMP
0000352b: JUMPDEST
0000352c: PUSH0
0000352d: PUSH1 0x20
0000352f: DUP3
00003530: ADD
00003531: SWAP1
00003532: POP
00003533: DUP2
00003534: DUP2
00003535: SUB
00003536: PUSH0
00003537: DUP4
00003538: ADD
00003539: MSTORE
0000353a: PUSH2 0x3542
0000353d: DUP2
0000353e: PUSH2 0x3509
00003541: JUMP
00003542: JUMPDEST
00003543: SWAP1
00003544: POP
00003545: SWAP2
00003546: SWAP1
00003547: POP
00003548: JUMP
00003549: JUMPDEST
0000354a: PUSH0
0000354b: PUSH2 0x3553
0000354e: DUP3
0000354f: PUSH2 0x27b6
00003552: JUMP
00003553: JUMPDEST
00003554: SWAP2
00003555: POP
00003556: PUSH2 0x355e
00003559: DUP4
0000355a: PUSH2 0x27b6
0000355d: JUMP
0000355e: JUMPDEST
0000355f: SWAP3
00003560: POP
00003561: DUP3
00003562: DUP3
00003563: SUB
00003564: SWAP1
00003565: POP
00003566: DUP2
00003567: DUP2
00003568: GT
00003569: ISZERO
0000356a: PUSH2 0x3576
0000356d: JUMPI
0000356e: PUSH2 0x3575
00003571: PUSH2 0x2c0c
00003574: JUMP
00003575: JUMPDEST
00003576: JUMPDEST
00003577: SWAP3
00003578: SWAP2
00003579: POP
0000357a: POP
0000357b: JUMP
0000357c: JUMPDEST
0000357d: PUSH0
0000357e: DUP2
0000357f: MLOAD
00003580: SWAP1
00003581: POP
00003582: SWAP2
00003583: SWAP1
00003584: POP
00003585: JUMP
00003586: JUMPDEST
00003587: PUSH0
00003588: DUP3
00003589: DUP3
0000358a: MSTORE
0000358b: PUSH1 0x20
0000358d: DUP3
0000358e: ADD
0000358f: SWAP1
00003590: POP
00003591: SWAP3
00003592: SWAP2
00003593: POP
00003594: POP
00003595: JUMP
00003596: JUMPDEST
00003597: PUSH0
00003598: DUP2
00003599: SWAP1
0000359a: POP
0000359b: PUSH1 0x20
0000359d: DUP3
0000359e: ADD
0000359f: SWAP1
000035a0: POP
000035a1: SWAP2
000035a2: SWAP1
000035a3: POP
000035a4: JUMP
000035a5: JUMPDEST
000035a6: PUSH2 0x35ae
000035a9: DUP2
000035aa: PUSH2 0x277b
000035ad: JUMP
000035ae: JUMPDEST
000035af: DUP3
000035b0: MSTORE
000035b1: POP
000035b2: POP
000035b3: JUMP
000035b4: JUMPDEST
000035b5: PUSH0
000035b6: PUSH2 0x35bf
000035b9: DUP4
000035ba: DUP4
000035bb: PUSH2 0x35a5
000035be: JUMP
000035bf: JUMPDEST
000035c0: PUSH1 0x20
000035c2: DUP4
000035c3: ADD
000035c4: SWAP1
000035c5: POP
000035c6: SWAP3
000035c7: SWAP2
000035c8: POP
000035c9: POP
000035ca: JUMP
000035cb: JUMPDEST
000035cc: PUSH0
000035cd: PUSH1 0x20
000035cf: DUP3
000035d0: ADD
000035d1: SWAP1
000035d2: POP
000035d3: SWAP2
000035d4: SWAP1
000035d5: POP
000035d6: JUMP
000035d7: JUMPDEST
000035d8: PUSH0
000035d9: PUSH2 0x35e1
000035dc: DUP3
000035dd: PUSH2 0x357c
000035e0: JUMP
000035e1: JUMPDEST
000035e2: PUSH2 0x35eb
000035e5: DUP2
000035e6: DUP6
000035e7: PUSH2 0x3586
000035ea: JUMP
000035eb: JUMPDEST
000035ec: SWAP4
000035ed: POP
000035ee: PUSH2 0x35f6
000035f1: DUP4
000035f2: PUSH2 0x3596
000035f5: JUMP
000035f6: JUMPDEST
000035f7: DUP1
000035f8: PUSH0
000035f9: JUMPDEST
000035fa: DUP4
000035fb: DUP2
000035fc: LT
000035fd: ISZERO
000035fe: PUSH2 0x3626
00003601: JUMPI
00003602: DUP2
00003603: MLOAD
00003604: PUSH2 0x360d
00003607: DUP9
00003608: DUP3
00003609: PUSH2 0x35b4
0000360c: JUMP
0000360d: JUMPDEST
0000360e: SWAP8
0000360f: POP
00003610: PUSH2 0x3618
00003613: DUP4
00003614: PUSH2 0x35cb
00003617: JUMP
00003618: JUMPDEST
00003619: SWAP3
0000361a: POP
0000361b: POP
0000361c: PUSH1 0x01
0000361e: DUP2
0000361f: ADD
00003620: SWAP1
00003621: POP
00003622: PUSH2 0x35f9
00003625: JUMP
00003626: JUMPDEST
00003627: POP
00003628: DUP6
00003629: SWAP4
0000362a: POP
0000362b: POP
0000362c: POP
0000362d: POP
0000362e: SWAP3
0000362f: SWAP2
00003630: POP
00003631: POP
00003632: JUMP
00003633: JUMPDEST
00003634: PUSH0
00003635: PUSH1 0xa0
00003637: DUP3
00003638: ADD
00003639: SWAP1
0000363a: POP
0000363b: PUSH2 0x3646
0000363e: PUSH0
0000363f: DUP4
00003640: ADD
00003641: DUP9
00003642: PUSH2 0x285a
00003645: JUMP
00003646: JUMPDEST
00003647: PUSH2 0x3653
0000364a: PUSH1 0x20
0000364c: DUP4
0000364d: ADD
0000364e: DUP8
0000364f: PUSH2 0x2be4
00003652: JUMP
00003653: JUMPDEST
00003654: DUP2
00003655: DUP2
00003656: SUB
00003657: PUSH1 0x40
00003659: DUP4
0000365a: ADD
0000365b: MSTORE
0000365c: PUSH2 0x3665
0000365f: DUP2
00003660: DUP7
00003661: PUSH2 0x35d7
00003664: JUMP
00003665: JUMPDEST
00003666: SWAP1
00003667: POP
00003668: PUSH2 0x3674
0000366b: PUSH1 0x60
0000366d: DUP4
0000366e: ADD
0000366f: DUP6
00003670: PUSH2 0x2ab8
00003673: JUMP
00003674: JUMPDEST
00003675: PUSH2 0x3681
00003678: PUSH1 0x80
0000367a: DUP4
0000367b: ADD
0000367c: DUP5
0000367d: PUSH2 0x285a
00003680: JUMP
00003681: JUMPDEST
00003682: SWAP7
00003683: SWAP6
00003684: POP
00003685: POP
00003686: POP
00003687: POP
00003688: POP
00003689: POP
0000368a: JUMP
0000368b: JUMPDEST
0000368c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000036ad: PUSH0
000036ae: MSTORE
000036af: PUSH1 0x12
000036b1: PUSH1 0x04
000036b3: MSTORE
000036b4: PUSH1 0x24
000036b6: PUSH0
000036b7: REVERT
000036b8: JUMPDEST
000036b9: PUSH0
000036ba: PUSH2 0x36c2
000036bd: DUP3
000036be: PUSH2 0x27b6
000036c1: JUMP
000036c2: JUMPDEST
000036c3: SWAP2
000036c4: POP
000036c5: PUSH2 0x36cd
000036c8: DUP4
000036c9: PUSH2 0x27b6
000036cc: JUMP
000036cd: JUMPDEST
000036ce: SWAP3
000036cf: POP
000036d0: DUP3
000036d1: PUSH2 0x36dd
000036d4: JUMPI
000036d5: PUSH2 0x36dc
000036d8: PUSH2 0x368b
000036db: JUMP
000036dc: JUMPDEST
000036dd: JUMPDEST
000036de: DUP3
000036df: DUP3
000036e0: DIV
000036e1: SWAP1
000036e2: POP
000036e3: SWAP3
000036e4: SWAP2
000036e5: POP
000036e6: POP
000036e7: JUMP
000036e8: JUMPDEST
000036e9: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
0000370a: PUSH0
0000370b: DUP3
0000370c: ADD
0000370d: MSTORE
0000370e: PUSH32 0x7700000000000000000000000000000000000000000000000000000000000000
0000372f: PUSH1 0x20
00003731: DUP3
00003732: ADD
00003733: MSTORE
00003734: POP
00003735: JUMP
00003736: JUMPDEST
00003737: PUSH0
00003738: PUSH2 0x3742
0000373b: PUSH1 0x21
0000373d: DUP4
0000373e: PUSH2 0x26ab
00003741: JUMP
00003742: JUMPDEST
00003743: SWAP2
00003744: POP
00003745: PUSH2 0x374d
00003748: DUP3
00003749: PUSH2 0x36e8
0000374c: JUMP
0000374d: JUMPDEST
0000374e: PUSH1 0x40
00003750: DUP3
00003751: ADD
00003752: SWAP1
00003753: POP
00003754: SWAP2
00003755: SWAP1
00003756: POP
00003757: JUMP
00003758: JUMPDEST
00003759: PUSH0
0000375a: PUSH1 0x20
0000375c: DUP3
0000375d: ADD
0000375e: SWAP1
0000375f: POP
00003760: DUP2
00003761: DUP2
00003762: SUB
00003763: PUSH0
00003764: DUP4
00003765: ADD
00003766: MSTORE
00003767: PUSH2 0x376f
0000376a: DUP2
0000376b: PUSH2 0x3736
0000376e: JUMP
0000376f: JUMPDEST
00003770: SWAP1
00003771: POP
00003772: SWAP2
00003773: SWAP1
00003774: POP
00003775: JUMP
00003776: JUMPDEST
00003777: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00003798: PUSH0
00003799: DUP3
0000379a: ADD
0000379b: MSTORE
0000379c: POP
0000379d: JUMP
0000379e: JUMPDEST
0000379f: PUSH0
000037a0: PUSH2 0x37aa
000037a3: PUSH1 0x1b
000037a5: DUP4
000037a6: PUSH2 0x26ab
000037a9: JUMP
000037aa: JUMPDEST
000037ab: SWAP2
000037ac: POP
000037ad: PUSH2 0x37b5
000037b0: DUP3
000037b1: PUSH2 0x3776
000037b4: JUMP
000037b5: JUMPDEST
000037b6: PUSH1 0x20
000037b8: DUP3
000037b9: ADD
000037ba: SWAP1
000037bb: POP
000037bc: SWAP2
000037bd: SWAP1
000037be: POP
000037bf: JUMP
000037c0: JUMPDEST
000037c1: PUSH0
000037c2: PUSH1 0x20
000037c4: DUP3
000037c5: ADD
000037c6: SWAP1
000037c7: POP
000037c8: DUP2
000037c9: DUP2
000037ca: SUB
000037cb: PUSH0
000037cc: DUP4
000037cd: ADD
000037ce: MSTORE
000037cf: PUSH2 0x37d7
000037d2: DUP2
000037d3: PUSH2 0x379e
000037d6: JUMP
000037d7: JUMPDEST
000037d8: SWAP1
000037d9: POP
000037da: SWAP2
000037db: SWAP1
000037dc: POP
000037dd: JUMP
000037de: INVALID
000037df: GASLIMIT
000037e0: MSTORE
000037e1: NUMBER
000037e2: ORIGIN
000037e3: ADDRESS
000037e4: GASPRICE
000037e5: KECCAK256
000037e6: PUSH21 0x72616e7366657220616d6f756e7420657863656564
000037fc: PUSH20 0x20616c6c6f77616e6365a2646970667358221220
00003811: UNKNOWN(0xAE)
00003812: SWAP7
00003813: JUMP
00003814: UNKNOWN(0x26)
00003815: STOP
00003816: GT
00003817: PUSH9 0x6b0cd68aceda2cc328
00003821: UNKNOWN(0x1F)
00003822: UNKNOWN(0xD6)
00003823: UNKNOWN(0xB9)
00003824: UNKNOWN(0xCA)
00003825: PUSH3 0x25e53a
00003829: SAR
0000382a: BALANCE
0000382b: GASPRICE
0000382c: UNKNOWN(0xC1)
0000382d: UNKNOWN(0xB8)
0000382e: UNKNOWN(0x4B)
0000382f: UNKNOWN(0xBC)
00003830: POP
00003831: PUSH5 0x736f6c6343
00003837: STOP
00003838: ADDMOD
00003839: OR
0000383a: STOP
0000383b: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbf474bed",
            "selector": "0xbf474bed",
            "calldata_variants": [
                "0xbf474bed",
                "0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc9567bf9",
            "selector": "0xc9567bf9",
            "calldata_variants": [
                "0xc9567bf9",
                "0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd34628cc",
            "selector": "0xd34628cc",
            "calldata_variants": [
                "0xd34628cc",
                "0xd34628cc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xec1f3f63",
            "selector": "0xec1f3f63",
            "calldata_variants": [
                "0xec1f3f63",
                "0xec1f3f630000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x751039fc",
            "selector": "0x751039fc",
            "calldata_variants": [
                "0x751039fc",
                "0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7d1db4a5",
            "selector": "0x7d1db4a5",
            "calldata_variants": [
                "0x7d1db4a5",
                "0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 14306,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x6ea3635ffbc8dff33f7696f710becdadf64c93a19b3dd31dca6996f6ca9dee2f
call_targets: 0xc56c7a0eaa804f854b536a5f3d5f49d2ec4b12b8
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x6ea3635ffbc8dff33f7696f710becdadf64c93a19b3dd31dca6996f6ca9dee2f",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xc56c7a0eaa804f854b536a5f3d5f49d2ec4b12b8"
    ],
    "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": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbf474bed",
            "selector": "0xbf474bed",
            "calldata_variants": [
                "0xbf474bed",
                "0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc9567bf9",
            "selector": "0xc9567bf9",
            "calldata_variants": [
                "0xc9567bf9",
                "0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd34628cc",
            "selector": "0xd34628cc",
            "calldata_variants": [
                "0xd34628cc",
                "0xd34628cc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xec1f3f63",
            "selector": "0xec1f3f63",
            "calldata_variants": [
                "0xec1f3f63",
                "0xec1f3f630000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x751039fc",
            "selector": "0x751039fc",
            "calldata_variants": [
                "0x751039fc",
                "0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7d1db4a5",
            "selector": "0x7d1db4a5",
            "calldata_variants": [
                "0x7d1db4a5",
                "0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3536,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4471,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4714,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 6,
    "guards_detected": [
        {
            "pc": 14306,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 6
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x6ea3635ffbc8dff33f7696f710becdadf64c93a19b3dd31dca6996f6ca9dee2f
call_targets: 0xc56c7a0eaa804f854b536a5f3d5f49d2ec4b12b8
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x6ea3635ffbc8dff33f7696f710becdadf64c93a19b3dd31dca6996f6ca9dee2f",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xc56c7a0eaa804f854b536a5f3d5f49d2ec4b12b8"
    ],
    "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": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbf474bed",
            "selector": "0xbf474bed",
            "calldata_variants": [
                "0xbf474bed",
                "0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc9567bf9",
            "selector": "0xc9567bf9",
            "calldata_variants": [
                "0xc9567bf9",
                "0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd34628cc",
            "selector": "0xd34628cc",
            "calldata_variants": [
                "0xd34628cc",
                "0xd34628cc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xec1f3f63",
            "selector": "0xec1f3f63",
            "calldata_variants": [
                "0xec1f3f63",
                "0xec1f3f630000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x751039fc",
            "selector": "0x751039fc",
            "calldata_variants": [
                "0x751039fc",
                "0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7d1db4a5",
            "selector": "0x7d1db4a5",
            "calldata_variants": [
                "0x7d1db4a5",
                "0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3536,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4471,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4714,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 6,
    "guards_detected": [
        {
            "pc": 14306,
            "type": "tx_origin_used"
        }
    ]
}