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

Analysis Run

019b477e-a911-70d8-8410-feac1afe3a80

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
20551 artifact.fetch complete 1 / 3 4 months ago
20552 tool.cast_disasm complete 1 / 3 4 months ago
88469 analysis.bundle complete 1 / 3 2 weeks ago
88470 capability.graph complete 1 / 3 2 weeks ago
88471 detector.run complete 1 / 3 2 weeks ago
88472 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)
8
EXT*/BALANCE
4
Total opcodes
5004
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0131
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: PUSH4 0xffffffff
00000033: AND
00000034: DUP1
00000035: PUSH4 0x04efa227
0000003a: EQ
0000003b: PUSH2 0x0143
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x0674763c
00000045: EQ
00000046: PUSH2 0x0192
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x0a19b14a
00000050: EQ
00000051: PUSH2 0x01b1
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x13af4035
0000005b: EQ
0000005c: PUSH2 0x0275
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x205d0063
00000066: EQ
00000067: PUSH2 0x02a8
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x21f9caef
00000071: EQ
00000072: PUSH2 0x02f7
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0x429b62e5
0000007c: EQ
0000007d: PUSH2 0x03b2
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0x47e7ef24
00000087: EQ
00000088: PUSH2 0x03fd
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0x4b023cf8
00000092: EQ
00000093: PUSH2 0x0434
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0x4b0bddd2
0000009d: EQ
0000009e: PUSH2 0x0467
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0x508493bc
000000a8: EQ
000000a9: PUSH2 0x04a5
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0x5e5c06e2
000000b3: EQ
000000b4: PUSH2 0x050b
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0x65e17c9d
000000be: EQ
000000bf: PUSH2 0x056b
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0x6716a692
000000c9: EQ
000000ca: PUSH2 0x05ba
000000cd: JUMPI
000000ce: DUP1
000000cf: PUSH4 0x6c86888b
000000d4: EQ
000000d5: PUSH2 0x05ed
000000d8: JUMPI
000000d9: DUP1
000000da: PUSH4 0x893d20e8
000000df: EQ
000000e0: PUSH2 0x06ea
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0x9281aa0b
000000ea: EQ
000000eb: PUSH2 0x0739
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0xc91b0149
000000f5: EQ
000000f6: PUSH2 0x0777
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0xd29dd76d
00000100: EQ
00000101: PUSH2 0x07b5
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0xf318c75f
0000010b: EQ
0000010c: PUSH2 0x0800
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0xf3fef3a3
00000116: EQ
00000117: PUSH2 0x084f
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0xf7213db6
00000121: EQ
00000122: PUSH2 0x088b
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0xf7888aec
0000012c: EQ
0000012d: PUSH2 0x08c0
00000130: JUMPI
00000131: JUMPDEST
00000132: CALLVALUE
00000133: PUSH2 0x0000
00000136: JUMPI
00000137: PUSH2 0x0141
0000013a: JUMPDEST
0000013b: PUSH2 0x0000
0000013e: JUMP
0000013f: JUMPDEST
00000140: JUMP
00000141: JUMPDEST
00000142: STOP
00000143: JUMPDEST
00000144: CALLVALUE
00000145: PUSH2 0x0000
00000148: JUMPI
00000149: PUSH2 0x0150
0000014c: PUSH2 0x0926
0000014f: JUMP
00000150: JUMPDEST
00000151: PUSH1 0x40
00000153: MLOAD
00000154: DUP1
00000155: DUP3
00000156: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000016b: AND
0000016c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000181: AND
00000182: DUP2
00000183: MSTORE
00000184: PUSH1 0x20
00000186: ADD
00000187: SWAP2
00000188: POP
00000189: POP
0000018a: PUSH1 0x40
0000018c: MLOAD
0000018d: DUP1
0000018e: SWAP2
0000018f: SUB
00000190: SWAP1
00000191: RETURN
00000192: JUMPDEST
00000193: CALLVALUE
00000194: PUSH2 0x0000
00000197: JUMPI
00000198: PUSH2 0x01af
0000019b: PUSH1 0x04
0000019d: DUP1
0000019e: DUP1
0000019f: CALLDATALOAD
000001a0: ISZERO
000001a1: ISZERO
000001a2: SWAP1
000001a3: PUSH1 0x20
000001a5: ADD
000001a6: SWAP1
000001a7: SWAP2
000001a8: SWAP1
000001a9: POP
000001aa: POP
000001ab: PUSH2 0x094c
000001ae: JUMP
000001af: JUMPDEST
000001b0: STOP
000001b1: JUMPDEST
000001b2: CALLVALUE
000001b3: PUSH2 0x0000
000001b6: JUMPI
000001b7: PUSH2 0x0273
000001ba: PUSH1 0x04
000001bc: DUP1
000001bd: DUP1
000001be: CALLDATALOAD
000001bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001d4: AND
000001d5: SWAP1
000001d6: PUSH1 0x20
000001d8: ADD
000001d9: SWAP1
000001da: SWAP2
000001db: SWAP1
000001dc: DUP1
000001dd: CALLDATALOAD
000001de: SWAP1
000001df: PUSH1 0x20
000001e1: ADD
000001e2: SWAP1
000001e3: SWAP2
000001e4: SWAP1
000001e5: DUP1
000001e6: CALLDATALOAD
000001e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001fc: AND
000001fd: SWAP1
000001fe: PUSH1 0x20
00000200: ADD
00000201: SWAP1
00000202: SWAP2
00000203: SWAP1
00000204: DUP1
00000205: CALLDATALOAD
00000206: SWAP1
00000207: PUSH1 0x20
00000209: ADD
0000020a: SWAP1
0000020b: SWAP2
0000020c: SWAP1
0000020d: DUP1
0000020e: CALLDATALOAD
0000020f: SWAP1
00000210: PUSH1 0x20
00000212: ADD
00000213: SWAP1
00000214: SWAP2
00000215: SWAP1
00000216: DUP1
00000217: CALLDATALOAD
00000218: SWAP1
00000219: PUSH1 0x20
0000021b: ADD
0000021c: SWAP1
0000021d: SWAP2
0000021e: SWAP1
0000021f: DUP1
00000220: CALLDATALOAD
00000221: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000236: AND
00000237: SWAP1
00000238: PUSH1 0x20
0000023a: ADD
0000023b: SWAP1
0000023c: SWAP2
0000023d: SWAP1
0000023e: DUP1
0000023f: CALLDATALOAD
00000240: PUSH1 0xff
00000242: AND
00000243: SWAP1
00000244: PUSH1 0x20
00000246: ADD
00000247: SWAP1
00000248: SWAP2
00000249: SWAP1
0000024a: DUP1
0000024b: CALLDATALOAD
0000024c: PUSH1 0x00
0000024e: NOT
0000024f: AND
00000250: SWAP1
00000251: PUSH1 0x20
00000253: ADD
00000254: SWAP1
00000255: SWAP2
00000256: SWAP1
00000257: DUP1
00000258: CALLDATALOAD
00000259: PUSH1 0x00
0000025b: NOT
0000025c: AND
0000025d: SWAP1
0000025e: PUSH1 0x20
00000260: ADD
00000261: SWAP1
00000262: SWAP2
00000263: SWAP1
00000264: DUP1
00000265: CALLDATALOAD
00000266: SWAP1
00000267: PUSH1 0x20
00000269: ADD
0000026a: SWAP1
0000026b: SWAP2
0000026c: SWAP1
0000026d: POP
0000026e: POP
0000026f: PUSH2 0x095c
00000272: JUMP
00000273: JUMPDEST
00000274: STOP
00000275: JUMPDEST
00000276: CALLVALUE
00000277: PUSH2 0x0000
0000027a: JUMPI
0000027b: PUSH2 0x02a6
0000027e: PUSH1 0x04
00000280: DUP1
00000281: DUP1
00000282: CALLDATALOAD
00000283: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000298: AND
00000299: SWAP1
0000029a: PUSH1 0x20
0000029c: ADD
0000029d: SWAP1
0000029e: SWAP2
0000029f: SWAP1
000002a0: POP
000002a1: POP
000002a2: PUSH2 0x18e7
000002a5: JUMP
000002a6: JUMPDEST
000002a7: STOP
000002a8: JUMPDEST
000002a9: CALLVALUE
000002aa: PUSH2 0x0000
000002ad: JUMPI
000002ae: PUSH2 0x02b5
000002b1: PUSH2 0x1a05
000002b4: JUMP
000002b5: JUMPDEST
000002b6: PUSH1 0x40
000002b8: MLOAD
000002b9: DUP1
000002ba: DUP3
000002bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002d0: AND
000002d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002e6: AND
000002e7: DUP2
000002e8: MSTORE
000002e9: PUSH1 0x20
000002eb: ADD
000002ec: SWAP2
000002ed: POP
000002ee: POP
000002ef: PUSH1 0x40
000002f1: MLOAD
000002f2: DUP1
000002f3: SWAP2
000002f4: SUB
000002f5: SWAP1
000002f6: RETURN
000002f7: JUMPDEST
000002f8: CALLVALUE
000002f9: PUSH2 0x0000
000002fc: JUMPI
000002fd: PUSH2 0x03b0
00000300: PUSH1 0x04
00000302: DUP1
00000303: DUP1
00000304: CALLDATALOAD
00000305: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000031a: AND
0000031b: SWAP1
0000031c: PUSH1 0x20
0000031e: ADD
0000031f: SWAP1
00000320: SWAP2
00000321: SWAP1
00000322: DUP1
00000323: CALLDATALOAD
00000324: SWAP1
00000325: PUSH1 0x20
00000327: ADD
00000328: SWAP1
00000329: SWAP2
0000032a: SWAP1
0000032b: DUP1
0000032c: CALLDATALOAD
0000032d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000342: AND
00000343: SWAP1
00000344: PUSH1 0x20
00000346: ADD
00000347: SWAP1
00000348: SWAP2
00000349: SWAP1
0000034a: DUP1
0000034b: CALLDATALOAD
0000034c: SWAP1
0000034d: PUSH1 0x20
0000034f: ADD
00000350: SWAP1
00000351: SWAP2
00000352: SWAP1
00000353: DUP1
00000354: CALLDATALOAD
00000355: SWAP1
00000356: PUSH1 0x20
00000358: ADD
00000359: SWAP1
0000035a: SWAP2
0000035b: SWAP1
0000035c: DUP1
0000035d: CALLDATALOAD
0000035e: SWAP1
0000035f: PUSH1 0x20
00000361: ADD
00000362: SWAP1
00000363: SWAP2
00000364: SWAP1
00000365: DUP1
00000366: CALLDATALOAD
00000367: PUSH1 0xff
00000369: AND
0000036a: SWAP1
0000036b: PUSH1 0x20
0000036d: ADD
0000036e: SWAP1
0000036f: SWAP2
00000370: SWAP1
00000371: DUP1
00000372: CALLDATALOAD
00000373: PUSH1 0x00
00000375: NOT
00000376: AND
00000377: SWAP1
00000378: PUSH1 0x20
0000037a: ADD
0000037b: SWAP1
0000037c: SWAP2
0000037d: SWAP1
0000037e: DUP1
0000037f: CALLDATALOAD
00000380: PUSH1 0x00
00000382: NOT
00000383: AND
00000384: SWAP1
00000385: PUSH1 0x20
00000387: ADD
00000388: SWAP1
00000389: SWAP2
0000038a: SWAP1
0000038b: DUP1
0000038c: CALLDATALOAD
0000038d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003a2: AND
000003a3: SWAP1
000003a4: PUSH1 0x20
000003a6: ADD
000003a7: SWAP1
000003a8: SWAP2
000003a9: SWAP1
000003aa: POP
000003ab: POP
000003ac: PUSH2 0x1a2b
000003af: JUMP
000003b0: JUMPDEST
000003b1: STOP
000003b2: JUMPDEST
000003b3: CALLVALUE
000003b4: PUSH2 0x0000
000003b7: JUMPI
000003b8: PUSH2 0x03e3
000003bb: PUSH1 0x04
000003bd: DUP1
000003be: DUP1
000003bf: CALLDATALOAD
000003c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003d5: AND
000003d6: SWAP1
000003d7: PUSH1 0x20
000003d9: ADD
000003da: SWAP1
000003db: SWAP2
000003dc: SWAP1
000003dd: POP
000003de: POP
000003df: PUSH2 0x1daf
000003e2: JUMP
000003e3: JUMPDEST
000003e4: PUSH1 0x40
000003e6: MLOAD
000003e7: DUP1
000003e8: DUP3
000003e9: ISZERO
000003ea: ISZERO
000003eb: ISZERO
000003ec: ISZERO
000003ed: DUP2
000003ee: MSTORE
000003ef: PUSH1 0x20
000003f1: ADD
000003f2: SWAP2
000003f3: POP
000003f4: POP
000003f5: PUSH1 0x40
000003f7: MLOAD
000003f8: DUP1
000003f9: SWAP2
000003fa: SUB
000003fb: SWAP1
000003fc: RETURN
000003fd: JUMPDEST
000003fe: PUSH2 0x0432
00000401: PUSH1 0x04
00000403: DUP1
00000404: DUP1
00000405: CALLDATALOAD
00000406: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000041b: AND
0000041c: SWAP1
0000041d: PUSH1 0x20
0000041f: ADD
00000420: SWAP1
00000421: SWAP2
00000422: SWAP1
00000423: DUP1
00000424: CALLDATALOAD
00000425: SWAP1
00000426: PUSH1 0x20
00000428: ADD
00000429: SWAP1
0000042a: SWAP2
0000042b: SWAP1
0000042c: POP
0000042d: POP
0000042e: PUSH2 0x1dcf
00000431: JUMP
00000432: JUMPDEST
00000433: STOP
00000434: JUMPDEST
00000435: CALLVALUE
00000436: PUSH2 0x0000
00000439: JUMPI
0000043a: PUSH2 0x0465
0000043d: PUSH1 0x04
0000043f: DUP1
00000440: DUP1
00000441: CALLDATALOAD
00000442: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000457: AND
00000458: SWAP1
00000459: PUSH1 0x20
0000045b: ADD
0000045c: SWAP1
0000045d: SWAP2
0000045e: SWAP1
0000045f: POP
00000460: POP
00000461: PUSH2 0x2247
00000464: JUMP
00000465: JUMPDEST
00000466: STOP
00000467: JUMPDEST
00000468: CALLVALUE
00000469: PUSH2 0x0000
0000046c: JUMPI
0000046d: PUSH2 0x04a3
00000470: PUSH1 0x04
00000472: DUP1
00000473: DUP1
00000474: CALLDATALOAD
00000475: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000048a: AND
0000048b: SWAP1
0000048c: PUSH1 0x20
0000048e: ADD
0000048f: SWAP1
00000490: SWAP2
00000491: SWAP1
00000492: DUP1
00000493: CALLDATALOAD
00000494: ISZERO
00000495: ISZERO
00000496: SWAP1
00000497: PUSH1 0x20
00000499: ADD
0000049a: SWAP1
0000049b: SWAP2
0000049c: SWAP1
0000049d: POP
0000049e: POP
0000049f: PUSH2 0x22e6
000004a2: JUMP
000004a3: JUMPDEST
000004a4: STOP
000004a5: JUMPDEST
000004a6: CALLVALUE
000004a7: PUSH2 0x0000
000004aa: JUMPI
000004ab: PUSH2 0x04f5
000004ae: PUSH1 0x04
000004b0: DUP1
000004b1: DUP1
000004b2: CALLDATALOAD
000004b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004c8: AND
000004c9: SWAP1
000004ca: PUSH1 0x20
000004cc: ADD
000004cd: SWAP1
000004ce: SWAP2
000004cf: SWAP1
000004d0: DUP1
000004d1: CALLDATALOAD
000004d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004e7: AND
000004e8: SWAP1
000004e9: PUSH1 0x20
000004eb: ADD
000004ec: SWAP1
000004ed: SWAP2
000004ee: SWAP1
000004ef: POP
000004f0: POP
000004f1: PUSH2 0x239c
000004f4: JUMP
000004f5: JUMPDEST
000004f6: PUSH1 0x40
000004f8: MLOAD
000004f9: DUP1
000004fa: DUP3
000004fb: DUP2
000004fc: MSTORE
000004fd: PUSH1 0x20
000004ff: ADD
00000500: SWAP2
00000501: POP
00000502: POP
00000503: PUSH1 0x40
00000505: MLOAD
00000506: DUP1
00000507: SWAP2
00000508: SUB
00000509: SWAP1
0000050a: RETURN
0000050b: JUMPDEST
0000050c: CALLVALUE
0000050d: PUSH2 0x0000
00000510: JUMPI
00000511: PUSH2 0x053c
00000514: PUSH1 0x04
00000516: DUP1
00000517: DUP1
00000518: CALLDATALOAD
00000519: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000052e: AND
0000052f: SWAP1
00000530: PUSH1 0x20
00000532: ADD
00000533: SWAP1
00000534: SWAP2
00000535: SWAP1
00000536: POP
00000537: POP
00000538: PUSH2 0x23c1
0000053b: JUMP
0000053c: JUMPDEST
0000053d: PUSH1 0x40
0000053f: MLOAD
00000540: DUP1
00000541: DUP6
00000542: ISZERO
00000543: ISZERO
00000544: ISZERO
00000545: ISZERO
00000546: DUP2
00000547: MSTORE
00000548: PUSH1 0x20
0000054a: ADD
0000054b: DUP5
0000054c: DUP2
0000054d: MSTORE
0000054e: PUSH1 0x20
00000550: ADD
00000551: DUP4
00000552: DUP2
00000553: MSTORE
00000554: PUSH1 0x20
00000556: ADD
00000557: DUP3
00000558: DUP2
00000559: MSTORE
0000055a: PUSH1 0x20
0000055c: ADD
0000055d: SWAP5
0000055e: POP
0000055f: POP
00000560: POP
00000561: POP
00000562: POP
00000563: PUSH1 0x40
00000565: MLOAD
00000566: DUP1
00000567: SWAP2
00000568: SUB
00000569: SWAP1
0000056a: RETURN
0000056b: JUMPDEST
0000056c: CALLVALUE
0000056d: PUSH2 0x0000
00000570: JUMPI
00000571: PUSH2 0x0578
00000574: PUSH2 0x23fe
00000577: JUMP
00000578: JUMPDEST
00000579: PUSH1 0x40
0000057b: MLOAD
0000057c: DUP1
0000057d: DUP3
0000057e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000593: AND
00000594: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a9: AND
000005aa: DUP2
000005ab: MSTORE
000005ac: PUSH1 0x20
000005ae: ADD
000005af: SWAP2
000005b0: POP
000005b1: POP
000005b2: PUSH1 0x40
000005b4: MLOAD
000005b5: DUP1
000005b6: SWAP2
000005b7: SUB
000005b8: SWAP1
000005b9: RETURN
000005ba: JUMPDEST
000005bb: CALLVALUE
000005bc: PUSH2 0x0000
000005bf: JUMPI
000005c0: PUSH2 0x05eb
000005c3: PUSH1 0x04
000005c5: DUP1
000005c6: DUP1
000005c7: CALLDATALOAD
000005c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005dd: AND
000005de: SWAP1
000005df: PUSH1 0x20
000005e1: ADD
000005e2: SWAP1
000005e3: SWAP2
000005e4: SWAP1
000005e5: POP
000005e6: POP
000005e7: PUSH2 0x2424
000005ea: JUMP
000005eb: JUMPDEST
000005ec: STOP
000005ed: JUMPDEST
000005ee: CALLVALUE
000005ef: PUSH2 0x0000
000005f2: JUMPI
000005f3: PUSH2 0x06ce
000005f6: PUSH1 0x04
000005f8: DUP1
000005f9: DUP1
000005fa: CALLDATALOAD
000005fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000610: AND
00000611: SWAP1
00000612: PUSH1 0x20
00000614: ADD
00000615: SWAP1
00000616: SWAP2
00000617: SWAP1
00000618: DUP1
00000619: CALLDATALOAD
0000061a: SWAP1
0000061b: PUSH1 0x20
0000061d: ADD
0000061e: SWAP1
0000061f: SWAP2
00000620: SWAP1
00000621: DUP1
00000622: CALLDATALOAD
00000623: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000638: AND
00000639: SWAP1
0000063a: PUSH1 0x20
0000063c: ADD
0000063d: SWAP1
0000063e: SWAP2
0000063f: SWAP1
00000640: DUP1
00000641: CALLDATALOAD
00000642: SWAP1
00000643: PUSH1 0x20
00000645: ADD
00000646: SWAP1
00000647: SWAP2
00000648: SWAP1
00000649: DUP1
0000064a: CALLDATALOAD
0000064b: SWAP1
0000064c: PUSH1 0x20
0000064e: ADD
0000064f: SWAP1
00000650: SWAP2
00000651: SWAP1
00000652: DUP1
00000653: CALLDATALOAD
00000654: SWAP1
00000655: PUSH1 0x20
00000657: ADD
00000658: SWAP1
00000659: SWAP2
0000065a: SWAP1
0000065b: DUP1
0000065c: CALLDATALOAD
0000065d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000672: AND
00000673: SWAP1
00000674: PUSH1 0x20
00000676: ADD
00000677: SWAP1
00000678: SWAP2
00000679: SWAP1
0000067a: DUP1
0000067b: CALLDATALOAD
0000067c: PUSH1 0xff
0000067e: AND
0000067f: SWAP1
00000680: PUSH1 0x20
00000682: ADD
00000683: SWAP1
00000684: SWAP2
00000685: SWAP1
00000686: DUP1
00000687: CALLDATALOAD
00000688: PUSH1 0x00
0000068a: NOT
0000068b: AND
0000068c: SWAP1
0000068d: PUSH1 0x20
0000068f: ADD
00000690: SWAP1
00000691: SWAP2
00000692: SWAP1
00000693: DUP1
00000694: CALLDATALOAD
00000695: PUSH1 0x00
00000697: NOT
00000698: AND
00000699: SWAP1
0000069a: PUSH1 0x20
0000069c: ADD
0000069d: SWAP1
0000069e: SWAP2
0000069f: SWAP1
000006a0: DUP1
000006a1: CALLDATALOAD
000006a2: SWAP1
000006a3: PUSH1 0x20
000006a5: ADD
000006a6: SWAP1
000006a7: SWAP2
000006a8: SWAP1
000006a9: DUP1
000006aa: CALLDATALOAD
000006ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006c0: AND
000006c1: SWAP1
000006c2: PUSH1 0x20
000006c4: ADD
000006c5: SWAP1
000006c6: SWAP2
000006c7: SWAP1
000006c8: POP
000006c9: POP
000006ca: PUSH2 0x24c3
000006cd: JUMP
000006ce: JUMPDEST
000006cf: PUSH1 0x40
000006d1: MLOAD
000006d2: DUP1
000006d3: DUP3
000006d4: PUSH1 0xff
000006d6: AND
000006d7: PUSH1 0xff
000006d9: AND
000006da: DUP2
000006db: MSTORE
000006dc: PUSH1 0x20
000006de: ADD
000006df: SWAP2
000006e0: POP
000006e1: POP
000006e2: PUSH1 0x40
000006e4: MLOAD
000006e5: DUP1
000006e6: SWAP2
000006e7: SUB
000006e8: SWAP1
000006e9: RETURN
000006ea: JUMPDEST
000006eb: CALLVALUE
000006ec: PUSH2 0x0000
000006ef: JUMPI
000006f0: PUSH2 0x06f7
000006f3: PUSH2 0x295d
000006f6: JUMP
000006f7: JUMPDEST
000006f8: PUSH1 0x40
000006fa: MLOAD
000006fb: DUP1
000006fc: DUP3
000006fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000712: AND
00000713: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000728: AND
00000729: DUP2
0000072a: MSTORE
0000072b: PUSH1 0x20
0000072d: ADD
0000072e: SWAP2
0000072f: POP
00000730: POP
00000731: PUSH1 0x40
00000733: MLOAD
00000734: DUP1
00000735: SWAP2
00000736: SUB
00000737: SWAP1
00000738: RETURN
00000739: JUMPDEST
0000073a: CALLVALUE
0000073b: PUSH2 0x0000
0000073e: JUMPI
0000073f: PUSH2 0x0775
00000742: PUSH1 0x04
00000744: DUP1
00000745: DUP1
00000746: CALLDATALOAD
00000747: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000075c: AND
0000075d: SWAP1
0000075e: PUSH1 0x20
00000760: ADD
00000761: SWAP1
00000762: SWAP2
00000763: SWAP1
00000764: DUP1
00000765: CALLDATALOAD
00000766: ISZERO
00000767: ISZERO
00000768: SWAP1
00000769: PUSH1 0x20
0000076b: ADD
0000076c: SWAP1
0000076d: SWAP2
0000076e: SWAP1
0000076f: POP
00000770: POP
00000771: PUSH2 0x2988
00000774: JUMP
00000775: JUMPDEST
00000776: STOP
00000777: JUMPDEST
00000778: CALLVALUE
00000779: PUSH2 0x0000
0000077c: JUMPI
0000077d: PUSH2 0x07b3
00000780: PUSH1 0x04
00000782: DUP1
00000783: DUP1
00000784: CALLDATALOAD
00000785: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000079a: AND
0000079b: SWAP1
0000079c: PUSH1 0x20
0000079e: ADD
0000079f: SWAP1
000007a0: SWAP2
000007a1: SWAP1
000007a2: DUP1
000007a3: CALLDATALOAD
000007a4: ISZERO
000007a5: ISZERO
000007a6: SWAP1
000007a7: PUSH1 0x20
000007a9: ADD
000007aa: SWAP1
000007ab: SWAP2
000007ac: SWAP1
000007ad: POP
000007ae: POP
000007af: PUSH2 0x2a40
000007b2: JUMP
000007b3: JUMPDEST
000007b4: STOP
000007b5: JUMPDEST
000007b6: CALLVALUE
000007b7: PUSH2 0x0000
000007ba: JUMPI
000007bb: PUSH2 0x07e6
000007be: PUSH1 0x04
000007c0: DUP1
000007c1: DUP1
000007c2: CALLDATALOAD
000007c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007d8: AND
000007d9: SWAP1
000007da: PUSH1 0x20
000007dc: ADD
000007dd: SWAP1
000007de: SWAP2
000007df: SWAP1
000007e0: POP
000007e1: POP
000007e2: PUSH2 0x2af6
000007e5: JUMP
000007e6: JUMPDEST
000007e7: PUSH1 0x40
000007e9: MLOAD
000007ea: DUP1
000007eb: DUP3
000007ec: ISZERO
000007ed: ISZERO
000007ee: ISZERO
000007ef: ISZERO
000007f0: DUP2
000007f1: MSTORE
000007f2: PUSH1 0x20
000007f4: ADD
000007f5: SWAP2
000007f6: POP
000007f7: POP
000007f8: PUSH1 0x40
000007fa: MLOAD
000007fb: DUP1
000007fc: SWAP2
000007fd: SUB
000007fe: SWAP1
000007ff: RETURN
00000800: JUMPDEST
00000801: CALLVALUE
00000802: PUSH2 0x0000
00000805: JUMPI
00000806: PUSH2 0x080d
00000809: PUSH2 0x2b16
0000080c: JUMP
0000080d: JUMPDEST
0000080e: PUSH1 0x40
00000810: MLOAD
00000811: DUP1
00000812: DUP3
00000813: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000828: AND
00000829: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000083e: AND
0000083f: DUP2
00000840: MSTORE
00000841: PUSH1 0x20
00000843: ADD
00000844: SWAP2
00000845: POP
00000846: POP
00000847: PUSH1 0x40
00000849: MLOAD
0000084a: DUP1
0000084b: SWAP2
0000084c: SUB
0000084d: SWAP1
0000084e: RETURN
0000084f: JUMPDEST
00000850: CALLVALUE
00000851: PUSH2 0x0000
00000854: JUMPI
00000855: PUSH2 0x0889
00000858: PUSH1 0x04
0000085a: DUP1
0000085b: DUP1
0000085c: CALLDATALOAD
0000085d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000872: AND
00000873: SWAP1
00000874: PUSH1 0x20
00000876: ADD
00000877: SWAP1
00000878: SWAP2
00000879: SWAP1
0000087a: DUP1
0000087b: CALLDATALOAD
0000087c: SWAP1
0000087d: PUSH1 0x20
0000087f: ADD
00000880: SWAP1
00000881: SWAP2
00000882: SWAP1
00000883: POP
00000884: POP
00000885: PUSH2 0x2b3c
00000888: JUMP
00000889: JUMPDEST
0000088a: STOP
0000088b: JUMPDEST
0000088c: CALLVALUE
0000088d: PUSH2 0x0000
00000890: JUMPI
00000891: PUSH2 0x08aa
00000894: PUSH1 0x04
00000896: DUP1
00000897: DUP1
00000898: CALLDATALOAD
00000899: PUSH1 0x00
0000089b: NOT
0000089c: AND
0000089d: SWAP1
0000089e: PUSH1 0x20
000008a0: ADD
000008a1: SWAP1
000008a2: SWAP2
000008a3: SWAP1
000008a4: POP
000008a5: POP
000008a6: PUSH2 0x2f35
000008a9: JUMP
000008aa: JUMPDEST
000008ab: PUSH1 0x40
000008ad: MLOAD
000008ae: DUP1
000008af: DUP3
000008b0: DUP2
000008b1: MSTORE
000008b2: PUSH1 0x20
000008b4: ADD
000008b5: SWAP2
000008b6: POP
000008b7: POP
000008b8: PUSH1 0x40
000008ba: MLOAD
000008bb: DUP1
000008bc: SWAP2
000008bd: SUB
000008be: SWAP1
000008bf: RETURN
000008c0: JUMPDEST
000008c1: CALLVALUE
000008c2: PUSH2 0x0000
000008c5: JUMPI
000008c6: PUSH2 0x0910
000008c9: PUSH1 0x04
000008cb: DUP1
000008cc: DUP1
000008cd: CALLDATALOAD
000008ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008e3: AND
000008e4: SWAP1
000008e5: PUSH1 0x20
000008e7: ADD
000008e8: SWAP1
000008e9: SWAP2
000008ea: SWAP1
000008eb: DUP1
000008ec: CALLDATALOAD
000008ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000902: AND
00000903: SWAP1
00000904: PUSH1 0x20
00000906: ADD
00000907: SWAP1
00000908: SWAP2
00000909: SWAP1
0000090a: POP
0000090b: POP
0000090c: PUSH2 0x2f4d
0000090f: JUMP
00000910: JUMPDEST
00000911: PUSH1 0x40
00000913: MLOAD
00000914: DUP1
00000915: DUP3
00000916: DUP2
00000917: MSTORE
00000918: PUSH1 0x20
0000091a: ADD
0000091b: SWAP2
0000091c: POP
0000091d: POP
0000091e: PUSH1 0x40
00000920: MLOAD
00000921: DUP1
00000922: SWAP2
00000923: SUB
00000924: SWAP1
00000925: RETURN
00000926: JUMPDEST
00000927: PUSH1 0x08
00000929: PUSH1 0x00
0000092b: SWAP1
0000092c: SLOAD
0000092d: SWAP1
0000092e: PUSH2 0x0100
00000931: EXP
00000932: SWAP1
00000933: DIV
00000934: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000949: AND
0000094a: DUP2
0000094b: JUMP
0000094c: JUMPDEST
0000094d: DUP1
0000094e: ISZERO
0000094f: ISZERO
00000950: PUSH2 0x0958
00000953: JUMPI
00000954: PUSH2 0x0000
00000957: JUMP
00000958: JUMPDEST
00000959: JUMPDEST
0000095a: POP
0000095b: JUMP
0000095c: JUMPDEST
0000095d: PUSH1 0x02
0000095f: PUSH1 0x00
00000961: CALLER
00000962: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000977: AND
00000978: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000098d: AND
0000098e: DUP2
0000098f: MSTORE
00000990: PUSH1 0x20
00000992: ADD
00000993: SWAP1
00000994: DUP2
00000995: MSTORE
00000996: PUSH1 0x20
00000998: ADD
00000999: PUSH1 0x00
0000099b: KECCAK256
0000099c: PUSH1 0x00
0000099e: ADD
0000099f: PUSH1 0x00
000009a1: SWAP1
000009a2: SLOAD
000009a3: SWAP1
000009a4: PUSH2 0x0100
000009a7: EXP
000009a8: SWAP1
000009a9: DIV
000009aa: PUSH1 0xff
000009ac: AND
000009ad: ISZERO
000009ae: ISZERO
000009af: PUSH2 0x09b7
000009b2: JUMPI
000009b3: PUSH2 0x0000
000009b6: JUMP
000009b7: JUMPDEST
000009b8: ADDRESS
000009b9: DUP12
000009ba: DUP12
000009bb: DUP12
000009bc: DUP12
000009bd: DUP12
000009be: DUP12
000009bf: DUP12
000009c0: PUSH1 0x40
000009c2: MLOAD
000009c3: DUP1
000009c4: DUP10
000009c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009da: AND
000009db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009f0: AND
000009f1: PUSH13 0x01000000000000000000000000
000009ff: MUL
00000a00: DUP2
00000a01: MSTORE
00000a02: PUSH1 0x14
00000a04: ADD
00000a05: DUP9
00000a06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a1b: AND
00000a1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a31: AND
00000a32: PUSH13 0x01000000000000000000000000
00000a40: MUL
00000a41: DUP2
00000a42: MSTORE
00000a43: PUSH1 0x14
00000a45: ADD
00000a46: DUP8
00000a47: DUP2
00000a48: MSTORE
00000a49: PUSH1 0x20
00000a4b: ADD
00000a4c: DUP7
00000a4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a62: AND
00000a63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a78: AND
00000a79: PUSH13 0x01000000000000000000000000
00000a87: MUL
00000a88: DUP2
00000a89: MSTORE
00000a8a: PUSH1 0x14
00000a8c: ADD
00000a8d: DUP6
00000a8e: DUP2
00000a8f: MSTORE
00000a90: PUSH1 0x20
00000a92: ADD
00000a93: DUP5
00000a94: DUP2
00000a95: MSTORE
00000a96: PUSH1 0x20
00000a98: ADD
00000a99: DUP4
00000a9a: DUP2
00000a9b: MSTORE
00000a9c: PUSH1 0x20
00000a9e: ADD
00000a9f: DUP3
00000aa0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ab5: AND
00000ab6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000acb: AND
00000acc: PUSH13 0x01000000000000000000000000
00000ada: MUL
00000adb: DUP2
00000adc: MSTORE
00000add: PUSH1 0x14
00000adf: ADD
00000ae0: SWAP9
00000ae1: POP
00000ae2: POP
00000ae3: POP
00000ae4: POP
00000ae5: POP
00000ae6: POP
00000ae7: POP
00000ae8: POP
00000ae9: POP
00000aea: PUSH1 0x40
00000aec: MLOAD
00000aed: DUP1
00000aee: SWAP2
00000aef: SUB
00000af0: SWAP1
00000af1: KECCAK256
00000af2: PUSH1 0x0d
00000af4: DUP2
00000af5: PUSH1 0x00
00000af7: NOT
00000af8: AND
00000af9: SWAP1
00000afa: SSTORE
00000afb: POP
00000afc: DUP5
00000afd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b12: AND
00000b13: PUSH1 0x01
00000b15: PUSH1 0x0d
00000b17: SLOAD
00000b18: PUSH1 0x40
00000b1a: MLOAD
00000b1b: DUP1
00000b1c: DUP1
00000b1d: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
00000b3e: DUP2
00000b3f: MSTORE
00000b40: POP
00000b41: PUSH1 0x1c
00000b43: ADD
00000b44: DUP3
00000b45: PUSH1 0x00
00000b47: NOT
00000b48: AND
00000b49: PUSH1 0x00
00000b4b: NOT
00000b4c: AND
00000b4d: DUP2
00000b4e: MSTORE
00000b4f: PUSH1 0x20
00000b51: ADD
00000b52: SWAP2
00000b53: POP
00000b54: POP
00000b55: PUSH1 0x40
00000b57: MLOAD
00000b58: DUP1
00000b59: SWAP2
00000b5a: SUB
00000b5b: SWAP1
00000b5c: KECCAK256
00000b5d: DUP7
00000b5e: DUP7
00000b5f: DUP7
00000b60: PUSH1 0x40
00000b62: MLOAD
00000b63: DUP1
00000b64: PUSH1 0x00
00000b66: MSTORE
00000b67: PUSH1 0x20
00000b69: ADD
00000b6a: PUSH1 0x40
00000b6c: MSTORE
00000b6d: PUSH1 0x00
00000b6f: PUSH1 0x40
00000b71: MLOAD
00000b72: PUSH1 0x20
00000b74: ADD
00000b75: MSTORE
00000b76: PUSH1 0x40
00000b78: MLOAD
00000b79: DUP1
00000b7a: DUP6
00000b7b: PUSH1 0x00
00000b7d: NOT
00000b7e: AND
00000b7f: PUSH1 0x00
00000b81: NOT
00000b82: AND
00000b83: DUP2
00000b84: MSTORE
00000b85: PUSH1 0x20
00000b87: ADD
00000b88: DUP5
00000b89: PUSH1 0xff
00000b8b: AND
00000b8c: PUSH1 0xff
00000b8e: AND
00000b8f: DUP2
00000b90: MSTORE
00000b91: PUSH1 0x20
00000b93: ADD
00000b94: DUP4
00000b95: PUSH1 0x00
00000b97: NOT
00000b98: AND
00000b99: PUSH1 0x00
00000b9b: NOT
00000b9c: AND
00000b9d: DUP2
00000b9e: MSTORE
00000b9f: PUSH1 0x20
00000ba1: ADD
00000ba2: DUP3
00000ba3: PUSH1 0x00
00000ba5: NOT
00000ba6: AND
00000ba7: PUSH1 0x00
00000ba9: NOT
00000baa: AND
00000bab: DUP2
00000bac: MSTORE
00000bad: PUSH1 0x20
00000baf: ADD
00000bb0: SWAP5
00000bb1: POP
00000bb2: POP
00000bb3: POP
00000bb4: POP
00000bb5: POP
00000bb6: PUSH1 0x20
00000bb8: PUSH1 0x40
00000bba: MLOAD
00000bbb: PUSH1 0x20
00000bbd: DUP2
00000bbe: SUB
00000bbf: SWAP1
00000bc0: DUP1
00000bc1: DUP5
00000bc2: SUB
00000bc3: SWAP1
00000bc4: PUSH1 0x00
00000bc6: DUP7
00000bc7: PUSH2 0x61da
00000bca: GAS
00000bcb: SUB
00000bcc: CALL
00000bcd: ISZERO
00000bce: PUSH2 0x0000
00000bd1: JUMPI
00000bd2: POP
00000bd3: POP
00000bd4: PUSH1 0x20
00000bd6: PUSH1 0x40
00000bd8: MLOAD
00000bd9: SUB
00000bda: MLOAD
00000bdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bf0: AND
00000bf1: EQ
00000bf2: DUP1
00000bf3: ISZERO
00000bf4: PUSH2 0x0bfd
00000bf7: JUMPI
00000bf8: POP
00000bf9: DUP7
00000bfa: NUMBER
00000bfb: GT
00000bfc: ISZERO
00000bfd: JUMPDEST
00000bfe: DUP1
00000bff: ISZERO
00000c00: PUSH2 0x0c2f
00000c03: JUMPI
00000c04: POP
00000c05: DUP10
00000c06: PUSH2 0x0c2c
00000c09: PUSH1 0x05
00000c0b: PUSH1 0x00
00000c0d: PUSH1 0x0d
00000c0f: SLOAD
00000c10: PUSH1 0x00
00000c12: NOT
00000c13: AND
00000c14: PUSH1 0x00
00000c16: NOT
00000c17: AND
00000c18: DUP2
00000c19: MSTORE
00000c1a: PUSH1 0x20
00000c1c: ADD
00000c1d: SWAP1
00000c1e: DUP2
00000c1f: MSTORE
00000c20: PUSH1 0x20
00000c22: ADD
00000c23: PUSH1 0x00
00000c25: KECCAK256
00000c26: SLOAD
00000c27: DUP4
00000c28: PUSH2 0x2fd5
00000c2b: JUMP
00000c2c: JUMPDEST
00000c2d: GT
00000c2e: ISZERO
00000c2f: JUMPDEST
00000c30: DUP1
00000c31: ISZERO
00000c32: PUSH2 0x0cb7
00000c35: JUMPI
00000c36: POP
00000c37: DUP1
00000c38: PUSH1 0x01
00000c3a: PUSH1 0x00
00000c3c: DUP14
00000c3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c52: AND
00000c53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c68: AND
00000c69: DUP2
00000c6a: MSTORE
00000c6b: PUSH1 0x20
00000c6d: ADD
00000c6e: SWAP1
00000c6f: DUP2
00000c70: MSTORE
00000c71: PUSH1 0x20
00000c73: ADD
00000c74: PUSH1 0x00
00000c76: KECCAK256
00000c77: PUSH1 0x00
00000c79: CALLER
00000c7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c8f: AND
00000c90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca5: AND
00000ca6: DUP2
00000ca7: MSTORE
00000ca8: PUSH1 0x20
00000caa: ADD
00000cab: SWAP1
00000cac: DUP2
00000cad: MSTORE
00000cae: PUSH1 0x20
00000cb0: ADD
00000cb1: PUSH1 0x00
00000cb3: KECCAK256
00000cb4: SLOAD
00000cb5: LT
00000cb6: ISZERO
00000cb7: JUMPDEST
00000cb8: DUP1
00000cb9: ISZERO
00000cba: PUSH2 0x0d50
00000cbd: JUMPI
00000cbe: POP
00000cbf: DUP10
00000cc0: PUSH2 0x0cc9
00000cc3: DUP10
00000cc4: DUP4
00000cc5: PUSH2 0x3001
00000cc8: JUMP
00000cc9: JUMPDEST
00000cca: DUP2
00000ccb: ISZERO
00000ccc: PUSH2 0x0000
00000ccf: JUMPI
00000cd0: DIV
00000cd1: PUSH1 0x01
00000cd3: PUSH1 0x00
00000cd5: DUP12
00000cd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ceb: AND
00000cec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d01: AND
00000d02: DUP2
00000d03: MSTORE
00000d04: PUSH1 0x20
00000d06: ADD
00000d07: SWAP1
00000d08: DUP2
00000d09: MSTORE
00000d0a: PUSH1 0x20
00000d0c: ADD
00000d0d: PUSH1 0x00
00000d0f: KECCAK256
00000d10: PUSH1 0x00
00000d12: DUP8
00000d13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d28: AND
00000d29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d3e: AND
00000d3f: DUP2
00000d40: MSTORE
00000d41: PUSH1 0x20
00000d43: ADD
00000d44: SWAP1
00000d45: DUP2
00000d46: MSTORE
00000d47: PUSH1 0x20
00000d49: ADD
00000d4a: PUSH1 0x00
00000d4c: KECCAK256
00000d4d: SLOAD
00000d4e: LT
00000d4f: ISZERO
00000d50: JUMPDEST
00000d51: ISZERO
00000d52: ISZERO
00000d53: PUSH2 0x0d5b
00000d56: JUMPI
00000d57: PUSH2 0x0000
00000d5a: JUMP
00000d5b: JUMPDEST
00000d5c: PUSH1 0x07
00000d5e: PUSH1 0x00
00000d60: SWAP1
00000d61: SLOAD
00000d62: SWAP1
00000d63: PUSH2 0x0100
00000d66: EXP
00000d67: SWAP1
00000d68: DIV
00000d69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d7e: AND
00000d7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d94: AND
00000d95: PUSH4 0xc5096a69
00000d9a: PUSH1 0x08
00000d9c: PUSH1 0x00
00000d9e: SWAP1
00000d9f: SLOAD
00000da0: SWAP1
00000da1: PUSH2 0x0100
00000da4: EXP
00000da5: SWAP1
00000da6: DIV
00000da7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dbc: AND
00000dbd: CALLER
00000dbe: PUSH8 0x0de0b6b3a7640000
00000dc7: PUSH1 0x00
00000dc9: PUSH1 0x40
00000dcb: MLOAD
00000dcc: PUSH1 0x20
00000dce: ADD
00000dcf: MSTORE
00000dd0: PUSH1 0x40
00000dd2: MLOAD
00000dd3: DUP5
00000dd4: PUSH4 0xffffffff
00000dd9: AND
00000dda: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000df8: MUL
00000df9: DUP2
00000dfa: MSTORE
00000dfb: PUSH1 0x04
00000dfd: ADD
00000dfe: DUP1
00000dff: DUP5
00000e00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e15: AND
00000e16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e2b: AND
00000e2c: DUP2
00000e2d: MSTORE
00000e2e: PUSH1 0x20
00000e30: ADD
00000e31: DUP4
00000e32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e47: AND
00000e48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e5d: AND
00000e5e: DUP2
00000e5f: MSTORE
00000e60: PUSH1 0x20
00000e62: ADD
00000e63: DUP3
00000e64: DUP2
00000e65: MSTORE
00000e66: PUSH1 0x20
00000e68: ADD
00000e69: SWAP4
00000e6a: POP
00000e6b: POP
00000e6c: POP
00000e6d: POP
00000e6e: PUSH1 0x20
00000e70: PUSH1 0x40
00000e72: MLOAD
00000e73: DUP1
00000e74: DUP4
00000e75: SUB
00000e76: DUP2
00000e77: PUSH1 0x00
00000e79: DUP8
00000e7a: DUP1
00000e7b: EXTCODESIZE
00000e7c: ISZERO
00000e7d: PUSH2 0x0000
00000e80: JUMPI
00000e81: PUSH1 0x32
00000e83: GAS
00000e84: SUB
00000e85: CALL
00000e86: ISZERO
00000e87: PUSH2 0x0000
00000e8a: JUMPI
00000e8b: POP
00000e8c: POP
00000e8d: POP
00000e8e: PUSH1 0x40
00000e90: MLOAD
00000e91: DUP1
00000e92: MLOAD
00000e93: SWAP1
00000e94: POP
00000e95: PUSH1 0x0b
00000e97: DUP2
00000e98: SWAP1
00000e99: SSTORE
00000e9a: POP
00000e9b: PUSH1 0x07
00000e9d: PUSH1 0x00
00000e9f: SWAP1
00000ea0: SLOAD
00000ea1: SWAP1
00000ea2: PUSH2 0x0100
00000ea5: EXP
00000ea6: SWAP1
00000ea7: DIV
00000ea8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ebd: AND
00000ebe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ed3: AND
00000ed4: PUSH4 0xc5096a69
00000ed9: PUSH1 0x09
00000edb: PUSH1 0x00
00000edd: SWAP1
00000ede: SLOAD
00000edf: SWAP1
00000ee0: PUSH2 0x0100
00000ee3: EXP
00000ee4: SWAP1
00000ee5: DIV
00000ee6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000efb: AND
00000efc: DUP8
00000efd: PUSH8 0x0de0b6b3a7640000
00000f06: PUSH1 0x00
00000f08: PUSH1 0x40
00000f0a: MLOAD
00000f0b: PUSH1 0x20
00000f0d: ADD
00000f0e: MSTORE
00000f0f: PUSH1 0x40
00000f11: MLOAD
00000f12: DUP5
00000f13: PUSH4 0xffffffff
00000f18: AND
00000f19: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000f37: MUL
00000f38: DUP2
00000f39: MSTORE
00000f3a: PUSH1 0x04
00000f3c: ADD
00000f3d: DUP1
00000f3e: DUP5
00000f3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f54: AND
00000f55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f6a: AND
00000f6b: DUP2
00000f6c: MSTORE
00000f6d: PUSH1 0x20
00000f6f: ADD
00000f70: DUP4
00000f71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f86: AND
00000f87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f9c: AND
00000f9d: DUP2
00000f9e: MSTORE
00000f9f: PUSH1 0x20
00000fa1: ADD
00000fa2: DUP3
00000fa3: DUP2
00000fa4: MSTORE
00000fa5: PUSH1 0x20
00000fa7: ADD
00000fa8: SWAP4
00000fa9: POP
00000faa: POP
00000fab: POP
00000fac: POP
00000fad: PUSH1 0x20
00000faf: PUSH1 0x40
00000fb1: MLOAD
00000fb2: DUP1
00000fb3: DUP4
00000fb4: SUB
00000fb5: DUP2
00000fb6: PUSH1 0x00
00000fb8: DUP8
00000fb9: DUP1
00000fba: EXTCODESIZE
00000fbb: ISZERO
00000fbc: PUSH2 0x0000
00000fbf: JUMPI
00000fc0: PUSH1 0x32
00000fc2: GAS
00000fc3: SUB
00000fc4: CALL
00000fc5: ISZERO
00000fc6: PUSH2 0x0000
00000fc9: JUMPI
00000fca: POP
00000fcb: POP
00000fcc: POP
00000fcd: PUSH1 0x40
00000fcf: MLOAD
00000fd0: DUP1
00000fd1: MLOAD
00000fd2: SWAP1
00000fd3: POP
00000fd4: PUSH1 0x0a
00000fd6: DUP2
00000fd7: SWAP1
00000fd8: SSTORE
00000fd9: POP
00000fda: PUSH2 0x105f
00000fdd: PUSH1 0x01
00000fdf: PUSH1 0x00
00000fe1: DUP14
00000fe2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ff7: AND
00000ff8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000100d: AND
0000100e: DUP2
0000100f: MSTORE
00001010: PUSH1 0x20
00001012: ADD
00001013: SWAP1
00001014: DUP2
00001015: MSTORE
00001016: PUSH1 0x20
00001018: ADD
00001019: PUSH1 0x00
0000101b: KECCAK256
0000101c: PUSH1 0x00
0000101e: CALLER
0000101f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001034: AND
00001035: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000104a: AND
0000104b: DUP2
0000104c: MSTORE
0000104d: PUSH1 0x20
0000104f: ADD
00001050: SWAP1
00001051: DUP2
00001052: MSTORE
00001053: PUSH1 0x20
00001055: ADD
00001056: PUSH1 0x00
00001058: KECCAK256
00001059: SLOAD
0000105a: DUP3
0000105b: PUSH2 0x3033
0000105e: JUMP
0000105f: JUMPDEST
00001060: PUSH1 0x01
00001062: PUSH1 0x00
00001064: DUP14
00001065: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000107a: AND
0000107b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001090: AND
00001091: DUP2
00001092: MSTORE
00001093: PUSH1 0x20
00001095: ADD
00001096: SWAP1
00001097: DUP2
00001098: MSTORE
00001099: PUSH1 0x20
0000109b: ADD
0000109c: PUSH1 0x00
0000109e: KECCAK256
0000109f: PUSH1 0x00
000010a1: CALLER
000010a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b7: AND
000010b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010cd: AND
000010ce: DUP2
000010cf: MSTORE
000010d0: PUSH1 0x20
000010d2: ADD
000010d3: SWAP1
000010d4: DUP2
000010d5: MSTORE
000010d6: PUSH1 0x20
000010d8: ADD
000010d9: PUSH1 0x00
000010db: KECCAK256
000010dc: DUP2
000010dd: SWAP1
000010de: SSTORE
000010df: POP
000010e0: PUSH8 0x0de0b6b3a7640000
000010e9: PUSH2 0x10fe
000010ec: DUP3
000010ed: PUSH1 0x0b
000010ef: SLOAD
000010f0: PUSH8 0x0de0b6b3a7640000
000010f9: SUB
000010fa: PUSH2 0x3001
000010fd: JUMP
000010fe: JUMPDEST
000010ff: DUP2
00001100: ISZERO
00001101: PUSH2 0x0000
00001104: JUMPI
00001105: DIV
00001106: PUSH1 0x0c
00001108: DUP2
00001109: SWAP1
0000110a: SSTORE
0000110b: POP
0000110c: PUSH2 0x1193
0000110f: PUSH1 0x01
00001111: PUSH1 0x00
00001113: DUP14
00001114: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001129: AND
0000112a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000113f: AND
00001140: DUP2
00001141: MSTORE
00001142: PUSH1 0x20
00001144: ADD
00001145: SWAP1
00001146: DUP2
00001147: MSTORE
00001148: PUSH1 0x20
0000114a: ADD
0000114b: PUSH1 0x00
0000114d: KECCAK256
0000114e: PUSH1 0x00
00001150: DUP8
00001151: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001166: AND
00001167: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000117c: AND
0000117d: DUP2
0000117e: MSTORE
0000117f: PUSH1 0x20
00001181: ADD
00001182: SWAP1
00001183: DUP2
00001184: MSTORE
00001185: PUSH1 0x20
00001187: ADD
00001188: PUSH1 0x00
0000118a: KECCAK256
0000118b: SLOAD
0000118c: PUSH1 0x0c
0000118e: SLOAD
0000118f: PUSH2 0x2fd5
00001192: JUMP
00001193: JUMPDEST
00001194: PUSH1 0x01
00001196: PUSH1 0x00
00001198: DUP14
00001199: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011ae: AND
000011af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011c4: AND
000011c5: DUP2
000011c6: MSTORE
000011c7: PUSH1 0x20
000011c9: ADD
000011ca: SWAP1
000011cb: DUP2
000011cc: MSTORE
000011cd: PUSH1 0x20
000011cf: ADD
000011d0: PUSH1 0x00
000011d2: KECCAK256
000011d3: PUSH1 0x00
000011d5: DUP8
000011d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011eb: AND
000011ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001201: AND
00001202: DUP2
00001203: MSTORE
00001204: PUSH1 0x20
00001206: ADD
00001207: SWAP1
00001208: DUP2
00001209: MSTORE
0000120a: PUSH1 0x20
0000120c: ADD
0000120d: PUSH1 0x00
0000120f: KECCAK256
00001210: DUP2
00001211: SWAP1
00001212: SSTORE
00001213: POP
00001214: PUSH8 0x0de0b6b3a7640000
0000121d: PUSH2 0x1228
00001220: DUP3
00001221: PUSH1 0x0b
00001223: SLOAD
00001224: PUSH2 0x3001
00001227: JUMP
00001228: JUMPDEST
00001229: DUP2
0000122a: ISZERO
0000122b: PUSH2 0x0000
0000122e: JUMPI
0000122f: DIV
00001230: PUSH1 0x0c
00001232: DUP2
00001233: SWAP1
00001234: SSTORE
00001235: POP
00001236: PUSH2 0x12df
00001239: PUSH1 0x01
0000123b: PUSH1 0x00
0000123d: DUP14
0000123e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001253: AND
00001254: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001269: AND
0000126a: DUP2
0000126b: MSTORE
0000126c: PUSH1 0x20
0000126e: ADD
0000126f: SWAP1
00001270: DUP2
00001271: MSTORE
00001272: PUSH1 0x20
00001274: ADD
00001275: PUSH1 0x00
00001277: KECCAK256
00001278: PUSH1 0x00
0000127a: PUSH1 0x06
0000127c: PUSH1 0x00
0000127e: SWAP1
0000127f: SLOAD
00001280: SWAP1
00001281: PUSH2 0x0100
00001284: EXP
00001285: SWAP1
00001286: DIV
00001287: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000129c: AND
0000129d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012b2: AND
000012b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012c8: AND
000012c9: DUP2
000012ca: MSTORE
000012cb: PUSH1 0x20
000012cd: ADD
000012ce: SWAP1
000012cf: DUP2
000012d0: MSTORE
000012d1: PUSH1 0x20
000012d3: ADD
000012d4: PUSH1 0x00
000012d6: KECCAK256
000012d7: SLOAD
000012d8: PUSH1 0x0c
000012da: SLOAD
000012db: PUSH2 0x2fd5
000012de: JUMP
000012df: JUMPDEST
000012e0: PUSH1 0x01
000012e2: PUSH1 0x00
000012e4: DUP14
000012e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012fa: AND
000012fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001310: AND
00001311: DUP2
00001312: MSTORE
00001313: PUSH1 0x20
00001315: ADD
00001316: SWAP1
00001317: DUP2
00001318: MSTORE
00001319: PUSH1 0x20
0000131b: ADD
0000131c: PUSH1 0x00
0000131e: KECCAK256
0000131f: PUSH1 0x00
00001321: PUSH1 0x06
00001323: PUSH1 0x00
00001325: SWAP1
00001326: SLOAD
00001327: SWAP1
00001328: PUSH2 0x0100
0000132b: EXP
0000132c: SWAP1
0000132d: DIV
0000132e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001343: AND
00001344: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001359: AND
0000135a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000136f: AND
00001370: DUP2
00001371: MSTORE
00001372: PUSH1 0x20
00001374: ADD
00001375: SWAP1
00001376: DUP2
00001377: MSTORE
00001378: PUSH1 0x20
0000137a: ADD
0000137b: PUSH1 0x00
0000137d: KECCAK256
0000137e: DUP2
0000137f: SWAP1
00001380: SSTORE
00001381: POP
00001382: DUP10
00001383: PUSH2 0x138c
00001386: DUP10
00001387: DUP4
00001388: PUSH2 0x3001
0000138b: JUMP
0000138c: JUMPDEST
0000138d: DUP2
0000138e: ISZERO
0000138f: PUSH2 0x0000
00001392: JUMPI
00001393: DIV
00001394: PUSH1 0x0c
00001396: DUP2
00001397: SWAP1
00001398: SSTORE
00001399: POP
0000139a: PUSH2 0x1421
0000139d: PUSH1 0x01
0000139f: PUSH1 0x00
000013a1: DUP12
000013a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013b7: AND
000013b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013cd: AND
000013ce: DUP2
000013cf: MSTORE
000013d0: PUSH1 0x20
000013d2: ADD
000013d3: SWAP1
000013d4: DUP2
000013d5: MSTORE
000013d6: PUSH1 0x20
000013d8: ADD
000013d9: PUSH1 0x00
000013db: KECCAK256
000013dc: PUSH1 0x00
000013de: DUP8
000013df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013f4: AND
000013f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000140a: AND
0000140b: DUP2
0000140c: MSTORE
0000140d: PUSH1 0x20
0000140f: ADD
00001410: SWAP1
00001411: DUP2
00001412: MSTORE
00001413: PUSH1 0x20
00001415: ADD
00001416: PUSH1 0x00
00001418: KECCAK256
00001419: SLOAD
0000141a: PUSH1 0x0c
0000141c: SLOAD
0000141d: PUSH2 0x3033
00001420: JUMP
00001421: JUMPDEST
00001422: PUSH1 0x01
00001424: PUSH1 0x00
00001426: DUP12
00001427: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000143c: AND
0000143d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001452: AND
00001453: DUP2
00001454: MSTORE
00001455: PUSH1 0x20
00001457: ADD
00001458: SWAP1
00001459: DUP2
0000145a: MSTORE
0000145b: PUSH1 0x20
0000145d: ADD
0000145e: PUSH1 0x00
00001460: KECCAK256
00001461: PUSH1 0x00
00001463: DUP8
00001464: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001479: AND
0000147a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000148f: AND
00001490: DUP2
00001491: MSTORE
00001492: PUSH1 0x20
00001494: ADD
00001495: SWAP1
00001496: DUP2
00001497: MSTORE
00001498: PUSH1 0x20
0000149a: ADD
0000149b: PUSH1 0x00
0000149d: KECCAK256
0000149e: DUP2
0000149f: SWAP1
000014a0: SSTORE
000014a1: POP
000014a2: PUSH8 0x0de0b6b3a7640000
000014ab: DUP11
000014ac: PUSH2 0x14ca
000014af: PUSH2 0x14c4
000014b2: PUSH1 0x0a
000014b4: SLOAD
000014b5: PUSH8 0x0de0b6b3a7640000
000014be: SUB
000014bf: DUP13
000014c0: PUSH2 0x3001
000014c3: JUMP
000014c4: JUMPDEST
000014c5: DUP5
000014c6: PUSH2 0x3001
000014c9: JUMP
000014ca: JUMPDEST
000014cb: DUP2
000014cc: ISZERO
000014cd: PUSH2 0x0000
000014d0: JUMPI
000014d1: DIV
000014d2: DUP2
000014d3: ISZERO
000014d4: PUSH2 0x0000
000014d7: JUMPI
000014d8: DIV
000014d9: PUSH1 0x0c
000014db: DUP2
000014dc: SWAP1
000014dd: SSTORE
000014de: POP
000014df: PUSH2 0x1566
000014e2: PUSH1 0x01
000014e4: PUSH1 0x00
000014e6: DUP12
000014e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014fc: AND
000014fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001512: AND
00001513: DUP2
00001514: MSTORE
00001515: PUSH1 0x20
00001517: ADD
00001518: SWAP1
00001519: DUP2
0000151a: MSTORE
0000151b: PUSH1 0x20
0000151d: ADD
0000151e: PUSH1 0x00
00001520: KECCAK256
00001521: PUSH1 0x00
00001523: CALLER
00001524: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001539: AND
0000153a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000154f: AND
00001550: DUP2
00001551: MSTORE
00001552: PUSH1 0x20
00001554: ADD
00001555: SWAP1
00001556: DUP2
00001557: MSTORE
00001558: PUSH1 0x20
0000155a: ADD
0000155b: PUSH1 0x00
0000155d: KECCAK256
0000155e: SLOAD
0000155f: PUSH1 0x0c
00001561: SLOAD
00001562: PUSH2 0x2fd5
00001565: JUMP
00001566: JUMPDEST
00001567: PUSH1 0x01
00001569: PUSH1 0x00
0000156b: DUP12
0000156c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001581: AND
00001582: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001597: AND
00001598: DUP2
00001599: MSTORE
0000159a: PUSH1 0x20
0000159c: ADD
0000159d: SWAP1
0000159e: DUP2
0000159f: MSTORE
000015a0: PUSH1 0x20
000015a2: ADD
000015a3: PUSH1 0x00
000015a5: KECCAK256
000015a6: PUSH1 0x00
000015a8: CALLER
000015a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015be: AND
000015bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d4: AND
000015d5: DUP2
000015d6: MSTORE
000015d7: PUSH1 0x20
000015d9: ADD
000015da: SWAP1
000015db: DUP2
000015dc: MSTORE
000015dd: PUSH1 0x20
000015df: ADD
000015e0: PUSH1 0x00
000015e2: KECCAK256
000015e3: DUP2
000015e4: SWAP1
000015e5: SSTORE
000015e6: POP
000015e7: PUSH8 0x0de0b6b3a7640000
000015f0: DUP11
000015f1: PUSH2 0x1605
000015f4: PUSH2 0x15ff
000015f7: PUSH1 0x0a
000015f9: SLOAD
000015fa: DUP13
000015fb: PUSH2 0x3001
000015fe: JUMP
000015ff: JUMPDEST
00001600: DUP5
00001601: PUSH2 0x3001
00001604: JUMP
00001605: JUMPDEST
00001606: DUP2
00001607: ISZERO
00001608: PUSH2 0x0000
0000160b: JUMPI
0000160c: DIV
0000160d: DUP2
0000160e: ISZERO
0000160f: PUSH2 0x0000
00001612: JUMPI
00001613: DIV
00001614: PUSH1 0x0c
00001616: DUP2
00001617: SWAP1
00001618: SSTORE
00001619: POP
0000161a: PUSH2 0x16c3
0000161d: PUSH1 0x01
0000161f: PUSH1 0x00
00001621: DUP12
00001622: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001637: AND
00001638: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000164d: AND
0000164e: DUP2
0000164f: MSTORE
00001650: PUSH1 0x20
00001652: ADD
00001653: SWAP1
00001654: DUP2
00001655: MSTORE
00001656: PUSH1 0x20
00001658: ADD
00001659: PUSH1 0x00
0000165b: KECCAK256
0000165c: PUSH1 0x00
0000165e: PUSH1 0x06
00001660: PUSH1 0x00
00001662: SWAP1
00001663: SLOAD
00001664: SWAP1
00001665: PUSH2 0x0100
00001668: EXP
00001669: SWAP1
0000166a: DIV
0000166b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001680: AND
00001681: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001696: AND
00001697: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016ac: AND
000016ad: DUP2
000016ae: MSTORE
000016af: PUSH1 0x20
000016b1: ADD
000016b2: SWAP1
000016b3: DUP2
000016b4: MSTORE
000016b5: PUSH1 0x20
000016b7: ADD
000016b8: PUSH1 0x00
000016ba: KECCAK256
000016bb: SLOAD
000016bc: PUSH1 0x0c
000016be: SLOAD
000016bf: PUSH2 0x2fd5
000016c2: JUMP
000016c3: JUMPDEST
000016c4: PUSH1 0x01
000016c6: PUSH1 0x00
000016c8: DUP12
000016c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016de: AND
000016df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f4: AND
000016f5: DUP2
000016f6: MSTORE
000016f7: PUSH1 0x20
000016f9: ADD
000016fa: SWAP1
000016fb: DUP2
000016fc: MSTORE
000016fd: PUSH1 0x20
000016ff: ADD
00001700: PUSH1 0x00
00001702: KECCAK256
00001703: PUSH1 0x00
00001705: PUSH1 0x06
00001707: PUSH1 0x00
00001709: SWAP1
0000170a: SLOAD
0000170b: SWAP1
0000170c: PUSH2 0x0100
0000170f: EXP
00001710: SWAP1
00001711: DIV
00001712: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001727: AND
00001728: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000173d: AND
0000173e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001753: AND
00001754: DUP2
00001755: MSTORE
00001756: PUSH1 0x20
00001758: ADD
00001759: SWAP1
0000175a: DUP2
0000175b: MSTORE
0000175c: PUSH1 0x20
0000175e: ADD
0000175f: PUSH1 0x00
00001761: KECCAK256
00001762: DUP2
00001763: SWAP1
00001764: SSTORE
00001765: POP
00001766: PUSH2 0x178c
00001769: PUSH1 0x05
0000176b: PUSH1 0x00
0000176d: PUSH1 0x0d
0000176f: SLOAD
00001770: PUSH1 0x00
00001772: NOT
00001773: AND
00001774: PUSH1 0x00
00001776: NOT
00001777: AND
00001778: DUP2
00001779: MSTORE
0000177a: PUSH1 0x20
0000177c: ADD
0000177d: SWAP1
0000177e: DUP2
0000177f: MSTORE
00001780: PUSH1 0x20
00001782: ADD
00001783: PUSH1 0x00
00001785: KECCAK256
00001786: SLOAD
00001787: DUP3
00001788: PUSH2 0x2fd5
0000178b: JUMP
0000178c: JUMPDEST
0000178d: PUSH1 0x05
0000178f: PUSH1 0x00
00001791: PUSH1 0x0d
00001793: SLOAD
00001794: PUSH1 0x00
00001796: NOT
00001797: AND
00001798: PUSH1 0x00
0000179a: NOT
0000179b: AND
0000179c: DUP2
0000179d: MSTORE
0000179e: PUSH1 0x20
000017a0: ADD
000017a1: SWAP1
000017a2: DUP2
000017a3: MSTORE
000017a4: PUSH1 0x20
000017a6: ADD
000017a7: PUSH1 0x00
000017a9: KECCAK256
000017aa: DUP2
000017ab: SWAP1
000017ac: SSTORE
000017ad: POP
000017ae: PUSH32 0x68381874bf7a1a19bfeecb18abbaa22f0fc7892cfec46e7dd4ea9b3688419d18
000017cf: DUP12
000017d0: DUP3
000017d1: DUP12
000017d2: DUP14
000017d3: DUP6
000017d4: DUP14
000017d5: MUL
000017d6: DUP2
000017d7: ISZERO
000017d8: PUSH2 0x0000
000017db: JUMPI
000017dc: DIV
000017dd: DUP10
000017de: CALLER
000017df: PUSH1 0x0d
000017e1: SLOAD
000017e2: PUSH1 0x40
000017e4: MLOAD
000017e5: DUP1
000017e6: DUP9
000017e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017fc: AND
000017fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001812: AND
00001813: DUP2
00001814: MSTORE
00001815: PUSH1 0x20
00001817: ADD
00001818: DUP8
00001819: DUP2
0000181a: MSTORE
0000181b: PUSH1 0x20
0000181d: ADD
0000181e: DUP7
0000181f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001834: AND
00001835: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000184a: AND
0000184b: DUP2
0000184c: MSTORE
0000184d: PUSH1 0x20
0000184f: ADD
00001850: DUP6
00001851: DUP2
00001852: MSTORE
00001853: PUSH1 0x20
00001855: ADD
00001856: DUP5
00001857: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000186c: AND
0000186d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001882: AND
00001883: DUP2
00001884: MSTORE
00001885: PUSH1 0x20
00001887: ADD
00001888: DUP4
00001889: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000189e: AND
0000189f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018b4: AND
000018b5: DUP2
000018b6: MSTORE
000018b7: PUSH1 0x20
000018b9: ADD
000018ba: DUP3
000018bb: PUSH1 0x00
000018bd: NOT
000018be: AND
000018bf: PUSH1 0x00
000018c1: NOT
000018c2: AND
000018c3: DUP2
000018c4: MSTORE
000018c5: PUSH1 0x20
000018c7: ADD
000018c8: SWAP8
000018c9: POP
000018ca: POP
000018cb: POP
000018cc: POP
000018cd: POP
000018ce: POP
000018cf: POP
000018d0: POP
000018d1: PUSH1 0x40
000018d3: MLOAD
000018d4: DUP1
000018d5: SWAP2
000018d6: SUB
000018d7: SWAP1
000018d8: LOG1
000018d9: JUMPDEST
000018da: JUMPDEST
000018db: POP
000018dc: POP
000018dd: POP
000018de: POP
000018df: POP
000018e0: POP
000018e1: POP
000018e2: POP
000018e3: POP
000018e4: POP
000018e5: POP
000018e6: JUMP
000018e7: JUMPDEST
000018e8: PUSH2 0x1940
000018eb: PUSH1 0x00
000018ed: PUSH1 0x00
000018ef: SWAP1
000018f0: SLOAD
000018f1: SWAP1
000018f2: PUSH2 0x0100
000018f5: EXP
000018f6: SWAP1
000018f7: DIV
000018f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000190d: AND
0000190e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001923: AND
00001924: CALLER
00001925: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000193a: AND
0000193b: EQ
0000193c: PUSH2 0x094c
0000193f: JUMP
00001940: JUMPDEST
00001941: DUP1
00001942: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001957: AND
00001958: PUSH1 0x00
0000195a: PUSH1 0x00
0000195c: SWAP1
0000195d: SLOAD
0000195e: SWAP1
0000195f: PUSH2 0x0100
00001962: EXP
00001963: SWAP1
00001964: DIV
00001965: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000197a: AND
0000197b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001990: AND
00001991: PUSH32 0xcbf985117192c8f614a58aaf97226bb80a754772f5f6edf06f87c675f2e6c663
000019b2: PUSH1 0x40
000019b4: MLOAD
000019b5: DUP1
000019b6: SWAP1
000019b7: POP
000019b8: PUSH1 0x40
000019ba: MLOAD
000019bb: DUP1
000019bc: SWAP2
000019bd: SUB
000019be: SWAP1
000019bf: LOG3
000019c0: DUP1
000019c1: PUSH1 0x00
000019c3: PUSH1 0x00
000019c5: PUSH2 0x0100
000019c8: EXP
000019c9: DUP2
000019ca: SLOAD
000019cb: DUP2
000019cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019e1: MUL
000019e2: NOT
000019e3: AND
000019e4: SWAP1
000019e5: DUP4
000019e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019fb: AND
000019fc: MUL
000019fd: OR
000019fe: SWAP1
000019ff: SSTORE
00001a00: POP
00001a01: JUMPDEST
00001a02: JUMPDEST
00001a03: POP
00001a04: JUMP
00001a05: JUMPDEST
00001a06: PUSH1 0x09
00001a08: PUSH1 0x00
00001a0a: SWAP1
00001a0b: SLOAD
00001a0c: SWAP1
00001a0d: PUSH2 0x0100
00001a10: EXP
00001a11: SWAP1
00001a12: DIV
00001a13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a28: AND
00001a29: DUP2
00001a2a: JUMP
00001a2b: JUMPDEST
00001a2c: PUSH1 0x00
00001a2e: ADDRESS
00001a2f: DUP12
00001a30: DUP12
00001a31: DUP12
00001a32: DUP12
00001a33: DUP12
00001a34: DUP12
00001a35: DUP9
00001a36: PUSH1 0x40
00001a38: MLOAD
00001a39: DUP1
00001a3a: DUP10
00001a3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a50: AND
00001a51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a66: AND
00001a67: PUSH13 0x01000000000000000000000000
00001a75: MUL
00001a76: DUP2
00001a77: MSTORE
00001a78: PUSH1 0x14
00001a7a: ADD
00001a7b: DUP9
00001a7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a91: AND
00001a92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aa7: AND
00001aa8: PUSH13 0x01000000000000000000000000
00001ab6: MUL
00001ab7: DUP2
00001ab8: MSTORE
00001ab9: PUSH1 0x14
00001abb: ADD
00001abc: DUP8
00001abd: DUP2
00001abe: MSTORE
00001abf: PUSH1 0x20
00001ac1: ADD
00001ac2: DUP7
00001ac3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ad8: AND
00001ad9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aee: AND
00001aef: PUSH13 0x01000000000000000000000000
00001afd: MUL
00001afe: DUP2
00001aff: MSTORE
00001b00: PUSH1 0x14
00001b02: ADD
00001b03: DUP6
00001b04: DUP2
00001b05: MSTORE
00001b06: PUSH1 0x20
00001b08: ADD
00001b09: DUP5
00001b0a: DUP2
00001b0b: MSTORE
00001b0c: PUSH1 0x20
00001b0e: ADD
00001b0f: DUP4
00001b10: DUP2
00001b11: MSTORE
00001b12: PUSH1 0x20
00001b14: ADD
00001b15: DUP3
00001b16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b2b: AND
00001b2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b41: AND
00001b42: PUSH13 0x01000000000000000000000000
00001b50: MUL
00001b51: DUP2
00001b52: MSTORE
00001b53: PUSH1 0x14
00001b55: ADD
00001b56: SWAP9
00001b57: POP
00001b58: POP
00001b59: POP
00001b5a: POP
00001b5b: POP
00001b5c: POP
00001b5d: POP
00001b5e: POP
00001b5f: POP
00001b60: PUSH1 0x40
00001b62: MLOAD
00001b63: DUP1
00001b64: SWAP2
00001b65: SUB
00001b66: SWAP1
00001b67: KECCAK256
00001b68: SWAP1
00001b69: POP
00001b6a: CALLER
00001b6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b80: AND
00001b81: PUSH1 0x01
00001b83: DUP3
00001b84: PUSH1 0x40
00001b86: MLOAD
00001b87: DUP1
00001b88: DUP1
00001b89: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
00001baa: DUP2
00001bab: MSTORE
00001bac: POP
00001bad: PUSH1 0x1c
00001baf: ADD
00001bb0: DUP3
00001bb1: PUSH1 0x00
00001bb3: NOT
00001bb4: AND
00001bb5: PUSH1 0x00
00001bb7: NOT
00001bb8: AND
00001bb9: DUP2
00001bba: MSTORE
00001bbb: PUSH1 0x20
00001bbd: ADD
00001bbe: SWAP2
00001bbf: POP
00001bc0: POP
00001bc1: PUSH1 0x40
00001bc3: MLOAD
00001bc4: DUP1
00001bc5: SWAP2
00001bc6: SUB
00001bc7: SWAP1
00001bc8: KECCAK256
00001bc9: DUP8
00001bca: DUP8
00001bcb: DUP8
00001bcc: PUSH1 0x40
00001bce: MLOAD
00001bcf: DUP1
00001bd0: PUSH1 0x00
00001bd2: MSTORE
00001bd3: PUSH1 0x20
00001bd5: ADD
00001bd6: PUSH1 0x40
00001bd8: MSTORE
00001bd9: PUSH1 0x00
00001bdb: PUSH1 0x40
00001bdd: MLOAD
00001bde: PUSH1 0x20
00001be0: ADD
00001be1: MSTORE
00001be2: PUSH1 0x40
00001be4: MLOAD
00001be5: DUP1
00001be6: DUP6
00001be7: PUSH1 0x00
00001be9: NOT
00001bea: AND
00001beb: PUSH1 0x00
00001bed: NOT
00001bee: AND
00001bef: DUP2
00001bf0: MSTORE
00001bf1: PUSH1 0x20
00001bf3: ADD
00001bf4: DUP5
00001bf5: PUSH1 0xff
00001bf7: AND
00001bf8: PUSH1 0xff
00001bfa: AND
00001bfb: DUP2
00001bfc: MSTORE
00001bfd: PUSH1 0x20
00001bff: ADD
00001c00: DUP4
00001c01: PUSH1 0x00
00001c03: NOT
00001c04: AND
00001c05: PUSH1 0x00
00001c07: NOT
00001c08: AND
00001c09: DUP2
00001c0a: MSTORE
00001c0b: PUSH1 0x20
00001c0d: ADD
00001c0e: DUP3
00001c0f: PUSH1 0x00
00001c11: NOT
00001c12: AND
00001c13: PUSH1 0x00
00001c15: NOT
00001c16: AND
00001c17: DUP2
00001c18: MSTORE
00001c19: PUSH1 0x20
00001c1b: ADD
00001c1c: SWAP5
00001c1d: POP
00001c1e: POP
00001c1f: POP
00001c20: POP
00001c21: POP
00001c22: PUSH1 0x20
00001c24: PUSH1 0x40
00001c26: MLOAD
00001c27: PUSH1 0x20
00001c29: DUP2
00001c2a: SUB
00001c2b: SWAP1
00001c2c: DUP1
00001c2d: DUP5
00001c2e: SUB
00001c2f: SWAP1
00001c30: PUSH1 0x00
00001c32: DUP7
00001c33: PUSH2 0x61da
00001c36: GAS
00001c37: SUB
00001c38: CALL
00001c39: ISZERO
00001c3a: PUSH2 0x0000
00001c3d: JUMPI
00001c3e: POP
00001c3f: POP
00001c40: PUSH1 0x20
00001c42: PUSH1 0x40
00001c44: MLOAD
00001c45: SUB
00001c46: MLOAD
00001c47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c5c: AND
00001c5d: EQ
00001c5e: ISZERO
00001c5f: ISZERO
00001c60: PUSH2 0x1c68
00001c63: JUMPI
00001c64: PUSH2 0x0000
00001c67: JUMP
00001c68: JUMPDEST
00001c69: DUP10
00001c6a: PUSH1 0x05
00001c6c: PUSH1 0x00
00001c6e: DUP4
00001c6f: PUSH1 0x00
00001c71: NOT
00001c72: AND
00001c73: PUSH1 0x00
00001c75: NOT
00001c76: AND
00001c77: DUP2
00001c78: MSTORE
00001c79: PUSH1 0x20
00001c7b: ADD
00001c7c: SWAP1
00001c7d: DUP2
00001c7e: MSTORE
00001c7f: PUSH1 0x20
00001c81: ADD
00001c82: PUSH1 0x00
00001c84: KECCAK256
00001c85: DUP2
00001c86: SWAP1
00001c87: SSTORE
00001c88: POP
00001c89: PUSH32 0x1e0b760c386003e9cb9bcf4fcf3997886042859d9b6ed6320e804597fcdb28b0
00001caa: DUP12
00001cab: DUP12
00001cac: DUP12
00001cad: DUP12
00001cae: DUP12
00001caf: DUP12
00001cb0: CALLER
00001cb1: DUP13
00001cb2: DUP13
00001cb3: DUP13
00001cb4: PUSH1 0x40
00001cb6: MLOAD
00001cb7: DUP1
00001cb8: DUP12
00001cb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cce: AND
00001ccf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ce4: AND
00001ce5: DUP2
00001ce6: MSTORE
00001ce7: PUSH1 0x20
00001ce9: ADD
00001cea: DUP11
00001ceb: DUP2
00001cec: MSTORE
00001ced: PUSH1 0x20
00001cef: ADD
00001cf0: DUP10
00001cf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d06: AND
00001d07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d1c: AND
00001d1d: DUP2
00001d1e: MSTORE
00001d1f: PUSH1 0x20
00001d21: ADD
00001d22: DUP9
00001d23: DUP2
00001d24: MSTORE
00001d25: PUSH1 0x20
00001d27: ADD
00001d28: DUP8
00001d29: DUP2
00001d2a: MSTORE
00001d2b: PUSH1 0x20
00001d2d: ADD
00001d2e: DUP7
00001d2f: DUP2
00001d30: MSTORE
00001d31: PUSH1 0x20
00001d33: ADD
00001d34: DUP6
00001d35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d4a: AND
00001d4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d60: AND
00001d61: DUP2
00001d62: MSTORE
00001d63: PUSH1 0x20
00001d65: ADD
00001d66: DUP5
00001d67: PUSH1 0xff
00001d69: AND
00001d6a: PUSH1 0xff
00001d6c: AND
00001d6d: DUP2
00001d6e: MSTORE
00001d6f: PUSH1 0x20
00001d71: ADD
00001d72: DUP4
00001d73: PUSH1 0x00
00001d75: NOT
00001d76: AND
00001d77: PUSH1 0x00
00001d79: NOT
00001d7a: AND
00001d7b: DUP2
00001d7c: MSTORE
00001d7d: PUSH1 0x20
00001d7f: ADD
00001d80: DUP3
00001d81: PUSH1 0x00
00001d83: NOT
00001d84: AND
00001d85: PUSH1 0x00
00001d87: NOT
00001d88: AND
00001d89: DUP2
00001d8a: MSTORE
00001d8b: PUSH1 0x20
00001d8d: ADD
00001d8e: SWAP11
00001d8f: POP
00001d90: POP
00001d91: POP
00001d92: POP
00001d93: POP
00001d94: POP
00001d95: POP
00001d96: POP
00001d97: POP
00001d98: POP
00001d99: POP
00001d9a: PUSH1 0x40
00001d9c: MLOAD
00001d9d: DUP1
00001d9e: SWAP2
00001d9f: SUB
00001da0: SWAP1
00001da1: LOG1
00001da2: JUMPDEST
00001da3: POP
00001da4: POP
00001da5: POP
00001da6: POP
00001da7: POP
00001da8: POP
00001da9: POP
00001daa: POP
00001dab: POP
00001dac: POP
00001dad: POP
00001dae: JUMP
00001daf: JUMPDEST
00001db0: PUSH1 0x04
00001db2: PUSH1 0x20
00001db4: MSTORE
00001db5: DUP1
00001db6: PUSH1 0x00
00001db8: MSTORE
00001db9: PUSH1 0x40
00001dbb: PUSH1 0x00
00001dbd: KECCAK256
00001dbe: PUSH1 0x00
00001dc0: SWAP2
00001dc1: POP
00001dc2: SLOAD
00001dc3: SWAP1
00001dc4: PUSH2 0x0100
00001dc7: EXP
00001dc8: SWAP1
00001dc9: DIV
00001dca: PUSH1 0xff
00001dcc: AND
00001dcd: DUP2
00001dce: JUMP
00001dcf: JUMPDEST
00001dd0: PUSH1 0x00
00001dd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001de7: AND
00001de8: DUP3
00001de9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dfe: AND
00001dff: EQ
00001e00: ISZERO
00001e01: PUSH2 0x1f11
00001e04: JUMPI
00001e05: PUSH2 0x1e8b
00001e08: PUSH1 0x01
00001e0a: PUSH1 0x00
00001e0c: PUSH1 0x00
00001e0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e23: AND
00001e24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e39: AND
00001e3a: DUP2
00001e3b: MSTORE
00001e3c: PUSH1 0x20
00001e3e: ADD
00001e3f: SWAP1
00001e40: DUP2
00001e41: MSTORE
00001e42: PUSH1 0x20
00001e44: ADD
00001e45: PUSH1 0x00
00001e47: KECCAK256
00001e48: PUSH1 0x00
00001e4a: CALLER
00001e4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e60: AND
00001e61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e76: AND
00001e77: DUP2
00001e78: MSTORE
00001e79: PUSH1 0x20
00001e7b: ADD
00001e7c: SWAP1
00001e7d: DUP2
00001e7e: MSTORE
00001e7f: PUSH1 0x20
00001e81: ADD
00001e82: PUSH1 0x00
00001e84: KECCAK256
00001e85: SLOAD
00001e86: CALLVALUE
00001e87: PUSH2 0x2fd5
00001e8a: JUMP
00001e8b: JUMPDEST
00001e8c: PUSH1 0x01
00001e8e: PUSH1 0x00
00001e90: PUSH1 0x00
00001e92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ea7: AND
00001ea8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ebd: AND
00001ebe: DUP2
00001ebf: MSTORE
00001ec0: PUSH1 0x20
00001ec2: ADD
00001ec3: SWAP1
00001ec4: DUP2
00001ec5: MSTORE
00001ec6: PUSH1 0x20
00001ec8: ADD
00001ec9: PUSH1 0x00
00001ecb: KECCAK256
00001ecc: PUSH1 0x00
00001ece: CALLER
00001ecf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ee4: AND
00001ee5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001efa: AND
00001efb: DUP2
00001efc: MSTORE
00001efd: PUSH1 0x20
00001eff: ADD
00001f00: SWAP1
00001f01: DUP2
00001f02: MSTORE
00001f03: PUSH1 0x20
00001f05: ADD
00001f06: PUSH1 0x00
00001f08: KECCAK256
00001f09: DUP2
00001f0a: SWAP1
00001f0b: SSTORE
00001f0c: POP
00001f0d: PUSH2 0x211f
00001f10: JUMP
00001f11: JUMPDEST
00001f12: PUSH1 0x00
00001f14: CALLVALUE
00001f15: EQ
00001f16: ISZERO
00001f17: ISZERO
00001f18: PUSH2 0x1f20
00001f1b: JUMPI
00001f1c: PUSH2 0x0000
00001f1f: JUMP
00001f20: JUMPDEST
00001f21: PUSH2 0x1fa6
00001f24: PUSH1 0x01
00001f26: PUSH1 0x00
00001f28: DUP5
00001f29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f3e: AND
00001f3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f54: AND
00001f55: DUP2
00001f56: MSTORE
00001f57: PUSH1 0x20
00001f59: ADD
00001f5a: SWAP1
00001f5b: DUP2
00001f5c: MSTORE
00001f5d: PUSH1 0x20
00001f5f: ADD
00001f60: PUSH1 0x00
00001f62: KECCAK256
00001f63: PUSH1 0x00
00001f65: CALLER
00001f66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f7b: AND
00001f7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f91: AND
00001f92: DUP2
00001f93: MSTORE
00001f94: PUSH1 0x20
00001f96: ADD
00001f97: SWAP1
00001f98: DUP2
00001f99: MSTORE
00001f9a: PUSH1 0x20
00001f9c: ADD
00001f9d: PUSH1 0x00
00001f9f: KECCAK256
00001fa0: SLOAD
00001fa1: DUP3
00001fa2: PUSH2 0x2fd5
00001fa5: JUMP
00001fa6: JUMPDEST
00001fa7: PUSH1 0x01
00001fa9: PUSH1 0x00
00001fab: DUP5
00001fac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fc1: AND
00001fc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd7: AND
00001fd8: DUP2
00001fd9: MSTORE
00001fda: PUSH1 0x20
00001fdc: ADD
00001fdd: SWAP1
00001fde: DUP2
00001fdf: MSTORE
00001fe0: PUSH1 0x20
00001fe2: ADD
00001fe3: PUSH1 0x00
00001fe5: KECCAK256
00001fe6: PUSH1 0x00
00001fe8: CALLER
00001fe9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ffe: AND
00001fff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002014: AND
00002015: DUP2
00002016: MSTORE
00002017: PUSH1 0x20
00002019: ADD
0000201a: SWAP1
0000201b: DUP2
0000201c: MSTORE
0000201d: PUSH1 0x20
0000201f: ADD
00002020: PUSH1 0x00
00002022: KECCAK256
00002023: DUP2
00002024: SWAP1
00002025: SSTORE
00002026: POP
00002027: DUP2
00002028: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000203d: AND
0000203e: PUSH4 0x23b872dd
00002043: CALLER
00002044: ADDRESS
00002045: DUP5
00002046: PUSH1 0x00
00002048: PUSH1 0x40
0000204a: MLOAD
0000204b: PUSH1 0x20
0000204d: ADD
0000204e: MSTORE
0000204f: PUSH1 0x40
00002051: MLOAD
00002052: DUP5
00002053: PUSH4 0xffffffff
00002058: AND
00002059: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002077: MUL
00002078: DUP2
00002079: MSTORE
0000207a: PUSH1 0x04
0000207c: ADD
0000207d: DUP1
0000207e: DUP5
0000207f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002094: AND
00002095: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020aa: AND
000020ab: DUP2
000020ac: MSTORE
000020ad: PUSH1 0x20
000020af: ADD
000020b0: DUP4
000020b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020c6: AND
000020c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020dc: AND
000020dd: DUP2
000020de: MSTORE
000020df: PUSH1 0x20
000020e1: ADD
000020e2: DUP3
000020e3: DUP2
000020e4: MSTORE
000020e5: PUSH1 0x20
000020e7: ADD
000020e8: SWAP4
000020e9: POP
000020ea: POP
000020eb: POP
000020ec: POP
000020ed: PUSH1 0x20
000020ef: PUSH1 0x40
000020f1: MLOAD
000020f2: DUP1
000020f3: DUP4
000020f4: SUB
000020f5: DUP2
000020f6: PUSH1 0x00
000020f8: DUP8
000020f9: DUP1
000020fa: EXTCODESIZE
000020fb: ISZERO
000020fc: PUSH2 0x0000
000020ff: JUMPI
00002100: PUSH1 0x32
00002102: GAS
00002103: SUB
00002104: CALL
00002105: ISZERO
00002106: PUSH2 0x0000
00002109: JUMPI
0000210a: POP
0000210b: POP
0000210c: POP
0000210d: PUSH1 0x40
0000210f: MLOAD
00002110: DUP1
00002111: MLOAD
00002112: SWAP1
00002113: POP
00002114: ISZERO
00002115: ISZERO
00002116: PUSH2 0x211e
00002119: JUMPI
0000211a: PUSH2 0x0000
0000211d: JUMP
0000211e: JUMPDEST
0000211f: JUMPDEST
00002120: PUSH32 0xdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d7
00002141: DUP3
00002142: CALLER
00002143: DUP4
00002144: PUSH1 0x01
00002146: PUSH1 0x00
00002148: DUP8
00002149: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000215e: AND
0000215f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002174: AND
00002175: DUP2
00002176: MSTORE
00002177: PUSH1 0x20
00002179: ADD
0000217a: SWAP1
0000217b: DUP2
0000217c: MSTORE
0000217d: PUSH1 0x20
0000217f: ADD
00002180: PUSH1 0x00
00002182: KECCAK256
00002183: PUSH1 0x00
00002185: CALLER
00002186: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000219b: AND
0000219c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021b1: AND
000021b2: DUP2
000021b3: MSTORE
000021b4: PUSH1 0x20
000021b6: ADD
000021b7: SWAP1
000021b8: DUP2
000021b9: MSTORE
000021ba: PUSH1 0x20
000021bc: ADD
000021bd: PUSH1 0x00
000021bf: KECCAK256
000021c0: SLOAD
000021c1: PUSH1 0x40
000021c3: MLOAD
000021c4: DUP1
000021c5: DUP6
000021c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021db: AND
000021dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021f1: AND
000021f2: DUP2
000021f3: MSTORE
000021f4: PUSH1 0x20
000021f6: ADD
000021f7: DUP5
000021f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000220d: AND
0000220e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002223: AND
00002224: DUP2
00002225: MSTORE
00002226: PUSH1 0x20
00002228: ADD
00002229: DUP4
0000222a: DUP2
0000222b: MSTORE
0000222c: PUSH1 0x20
0000222e: ADD
0000222f: DUP3
00002230: DUP2
00002231: MSTORE
00002232: PUSH1 0x20
00002234: ADD
00002235: SWAP5
00002236: POP
00002237: POP
00002238: POP
00002239: POP
0000223a: POP
0000223b: PUSH1 0x40
0000223d: MLOAD
0000223e: DUP1
0000223f: SWAP2
00002240: SUB
00002241: SWAP1
00002242: LOG1
00002243: JUMPDEST
00002244: POP
00002245: POP
00002246: JUMP
00002247: JUMPDEST
00002248: PUSH2 0x22a0
0000224b: PUSH1 0x00
0000224d: PUSH1 0x00
0000224f: SWAP1
00002250: SLOAD
00002251: SWAP1
00002252: PUSH2 0x0100
00002255: EXP
00002256: SWAP1
00002257: DIV
00002258: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000226d: AND
0000226e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002283: AND
00002284: CALLER
00002285: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000229a: AND
0000229b: EQ
0000229c: PUSH2 0x094c
0000229f: JUMP
000022a0: JUMPDEST
000022a1: DUP1
000022a2: PUSH1 0x06
000022a4: PUSH1 0x00
000022a6: PUSH2 0x0100
000022a9: EXP
000022aa: DUP2
000022ab: SLOAD
000022ac: DUP2
000022ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022c2: MUL
000022c3: NOT
000022c4: AND
000022c5: SWAP1
000022c6: DUP4
000022c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022dc: AND
000022dd: MUL
000022de: OR
000022df: SWAP1
000022e0: SSTORE
000022e1: POP
000022e2: JUMPDEST
000022e3: JUMPDEST
000022e4: POP
000022e5: JUMP
000022e6: JUMPDEST
000022e7: PUSH2 0x233f
000022ea: PUSH1 0x00
000022ec: PUSH1 0x00
000022ee: SWAP1
000022ef: SLOAD
000022f0: SWAP1
000022f1: PUSH2 0x0100
000022f4: EXP
000022f5: SWAP1
000022f6: DIV
000022f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000230c: AND
0000230d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002322: AND
00002323: CALLER
00002324: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002339: AND
0000233a: EQ
0000233b: PUSH2 0x094c
0000233e: JUMP
0000233f: JUMPDEST
00002340: DUP1
00002341: PUSH1 0x04
00002343: PUSH1 0x00
00002345: DUP5
00002346: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000235b: AND
0000235c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002371: AND
00002372: DUP2
00002373: MSTORE
00002374: PUSH1 0x20
00002376: ADD
00002377: SWAP1
00002378: DUP2
00002379: MSTORE
0000237a: PUSH1 0x20
0000237c: ADD
0000237d: PUSH1 0x00
0000237f: KECCAK256
00002380: PUSH1 0x00
00002382: PUSH2 0x0100
00002385: EXP
00002386: DUP2
00002387: SLOAD
00002388: DUP2
00002389: PUSH1 0xff
0000238b: MUL
0000238c: NOT
0000238d: AND
0000238e: SWAP1
0000238f: DUP4
00002390: ISZERO
00002391: ISZERO
00002392: MUL
00002393: OR
00002394: SWAP1
00002395: SSTORE
00002396: POP
00002397: JUMPDEST
00002398: JUMPDEST
00002399: POP
0000239a: POP
0000239b: JUMP
0000239c: JUMPDEST
0000239d: PUSH1 0x01
0000239f: PUSH1 0x20
000023a1: MSTORE
000023a2: DUP2
000023a3: PUSH1 0x00
000023a5: MSTORE
000023a6: PUSH1 0x40
000023a8: PUSH1 0x00
000023aa: KECCAK256
000023ab: PUSH1 0x20
000023ad: MSTORE
000023ae: DUP1
000023af: PUSH1 0x00
000023b1: MSTORE
000023b2: PUSH1 0x40
000023b4: PUSH1 0x00
000023b6: KECCAK256
000023b7: PUSH1 0x00
000023b9: SWAP2
000023ba: POP
000023bb: SWAP2
000023bc: POP
000023bd: POP
000023be: SLOAD
000023bf: DUP2
000023c0: JUMP
000023c1: JUMPDEST
000023c2: PUSH1 0x02
000023c4: PUSH1 0x20
000023c6: MSTORE
000023c7: DUP1
000023c8: PUSH1 0x00
000023ca: MSTORE
000023cb: PUSH1 0x40
000023cd: PUSH1 0x00
000023cf: KECCAK256
000023d0: PUSH1 0x00
000023d2: SWAP2
000023d3: POP
000023d4: SWAP1
000023d5: POP
000023d6: DUP1
000023d7: PUSH1 0x00
000023d9: ADD
000023da: PUSH1 0x00
000023dc: SWAP1
000023dd: SLOAD
000023de: SWAP1
000023df: PUSH2 0x0100
000023e2: EXP
000023e3: SWAP1
000023e4: DIV
000023e5: PUSH1 0xff
000023e7: AND
000023e8: SWAP1
000023e9: DUP1
000023ea: PUSH1 0x01
000023ec: ADD
000023ed: SLOAD
000023ee: SWAP1
000023ef: DUP1
000023f0: PUSH1 0x02
000023f2: ADD
000023f3: SLOAD
000023f4: SWAP1
000023f5: DUP1
000023f6: PUSH1 0x03
000023f8: ADD
000023f9: SLOAD
000023fa: SWAP1
000023fb: POP
000023fc: DUP5
000023fd: JUMP
000023fe: JUMPDEST
000023ff: PUSH1 0x06
00002401: PUSH1 0x00
00002403: SWAP1
00002404: SLOAD
00002405: SWAP1
00002406: PUSH2 0x0100
00002409: EXP
0000240a: SWAP1
0000240b: DIV
0000240c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002421: AND
00002422: DUP2
00002423: JUMP
00002424: JUMPDEST
00002425: PUSH2 0x247d
00002428: PUSH1 0x00
0000242a: PUSH1 0x00
0000242c: SWAP1
0000242d: SLOAD
0000242e: SWAP1
0000242f: PUSH2 0x0100
00002432: EXP
00002433: SWAP1
00002434: DIV
00002435: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000244a: AND
0000244b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002460: AND
00002461: CALLER
00002462: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002477: AND
00002478: EQ
00002479: PUSH2 0x094c
0000247c: JUMP
0000247d: JUMPDEST
0000247e: DUP1
0000247f: PUSH1 0x07
00002481: PUSH1 0x00
00002483: PUSH2 0x0100
00002486: EXP
00002487: DUP2
00002488: SLOAD
00002489: DUP2
0000248a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000249f: MUL
000024a0: NOT
000024a1: AND
000024a2: SWAP1
000024a3: DUP4
000024a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024b9: AND
000024ba: MUL
000024bb: OR
000024bc: SWAP1
000024bd: SSTORE
000024be: POP
000024bf: JUMPDEST
000024c0: JUMPDEST
000024c1: POP
000024c2: JUMP
000024c3: JUMPDEST
000024c4: PUSH1 0x00
000024c6: ADDRESS
000024c7: DUP14
000024c8: DUP14
000024c9: DUP14
000024ca: DUP14
000024cb: DUP14
000024cc: DUP14
000024cd: DUP14
000024ce: PUSH1 0x40
000024d0: MLOAD
000024d1: DUP1
000024d2: DUP10
000024d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024e8: AND
000024e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024fe: AND
000024ff: PUSH13 0x01000000000000000000000000
0000250d: MUL
0000250e: DUP2
0000250f: MSTORE
00002510: PUSH1 0x14
00002512: ADD
00002513: DUP9
00002514: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002529: AND
0000252a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000253f: AND
00002540: PUSH13 0x01000000000000000000000000
0000254e: MUL
0000254f: DUP2
00002550: MSTORE
00002551: PUSH1 0x14
00002553: ADD
00002554: DUP8
00002555: DUP2
00002556: MSTORE
00002557: PUSH1 0x20
00002559: ADD
0000255a: DUP7
0000255b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002570: AND
00002571: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002586: AND
00002587: PUSH13 0x01000000000000000000000000
00002595: MUL
00002596: DUP2
00002597: MSTORE
00002598: PUSH1 0x14
0000259a: ADD
0000259b: DUP6
0000259c: DUP2
0000259d: MSTORE
0000259e: PUSH1 0x20
000025a0: ADD
000025a1: DUP5
000025a2: DUP2
000025a3: MSTORE
000025a4: PUSH1 0x20
000025a6: ADD
000025a7: DUP4
000025a8: DUP2
000025a9: MSTORE
000025aa: PUSH1 0x20
000025ac: ADD
000025ad: DUP3
000025ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025c3: AND
000025c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025d9: AND
000025da: PUSH13 0x01000000000000000000000000
000025e8: MUL
000025e9: DUP2
000025ea: MSTORE
000025eb: PUSH1 0x14
000025ed: ADD
000025ee: SWAP9
000025ef: POP
000025f0: POP
000025f1: POP
000025f2: POP
000025f3: POP
000025f4: POP
000025f5: POP
000025f6: POP
000025f7: POP
000025f8: PUSH1 0x40
000025fa: MLOAD
000025fb: DUP1
000025fc: SWAP2
000025fd: SUB
000025fe: SWAP1
000025ff: KECCAK256
00002600: PUSH1 0x0e
00002602: DUP2
00002603: PUSH1 0x00
00002605: NOT
00002606: AND
00002607: SWAP1
00002608: SSTORE
00002609: POP
0000260a: DUP3
0000260b: PUSH1 0x01
0000260d: PUSH1 0x00
0000260f: DUP16
00002610: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002625: AND
00002626: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000263b: AND
0000263c: DUP2
0000263d: MSTORE
0000263e: PUSH1 0x20
00002640: ADD
00002641: SWAP1
00002642: DUP2
00002643: MSTORE
00002644: PUSH1 0x20
00002646: ADD
00002647: PUSH1 0x00
00002649: KECCAK256
0000264a: PUSH1 0x00
0000264c: DUP5
0000264d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002662: AND
00002663: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002678: AND
00002679: DUP2
0000267a: MSTORE
0000267b: PUSH1 0x20
0000267d: ADD
0000267e: SWAP1
0000267f: DUP2
00002680: MSTORE
00002681: PUSH1 0x20
00002683: ADD
00002684: PUSH1 0x00
00002686: KECCAK256
00002687: SLOAD
00002688: LT
00002689: ISZERO
0000268a: PUSH2 0x2696
0000268d: JUMPI
0000268e: PUSH1 0x01
00002690: SWAP1
00002691: POP
00002692: PUSH2 0x294d
00002695: JUMP
00002696: JUMPDEST
00002697: PUSH1 0x02
00002699: PUSH1 0x00
0000269b: DUP4
0000269c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026b1: AND
000026b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026c7: AND
000026c8: DUP2
000026c9: MSTORE
000026ca: PUSH1 0x20
000026cc: ADD
000026cd: SWAP1
000026ce: DUP2
000026cf: MSTORE
000026d0: PUSH1 0x20
000026d2: ADD
000026d3: PUSH1 0x00
000026d5: KECCAK256
000026d6: PUSH1 0x00
000026d8: ADD
000026d9: PUSH1 0x00
000026db: SWAP1
000026dc: SLOAD
000026dd: SWAP1
000026de: PUSH2 0x0100
000026e1: EXP
000026e2: SWAP1
000026e3: DIV
000026e4: PUSH1 0xff
000026e6: AND
000026e7: ISZERO
000026e8: ISZERO
000026e9: PUSH2 0x26f5
000026ec: JUMPI
000026ed: PUSH1 0x02
000026ef: SWAP1
000026f0: POP
000026f1: PUSH2 0x294d
000026f4: JUMP
000026f5: JUMPDEST
000026f6: PUSH1 0x02
000026f8: PUSH1 0x00
000026fa: DUP9
000026fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002710: AND
00002711: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002726: AND
00002727: DUP2
00002728: MSTORE
00002729: PUSH1 0x20
0000272b: ADD
0000272c: SWAP1
0000272d: DUP2
0000272e: MSTORE
0000272f: PUSH1 0x20
00002731: ADD
00002732: PUSH1 0x00
00002734: KECCAK256
00002735: PUSH1 0x00
00002737: ADD
00002738: PUSH1 0x00
0000273a: SWAP1
0000273b: SLOAD
0000273c: SWAP1
0000273d: PUSH2 0x0100
00002740: EXP
00002741: SWAP1
00002742: DIV
00002743: PUSH1 0xff
00002745: AND
00002746: ISZERO
00002747: ISZERO
00002748: PUSH2 0x2754
0000274b: JUMPI
0000274c: PUSH1 0x03
0000274e: SWAP1
0000274f: POP
00002750: PUSH2 0x294d
00002753: JUMP
00002754: JUMPDEST
00002755: DUP7
00002756: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000276b: AND
0000276c: PUSH1 0x01
0000276e: PUSH1 0x0e
00002770: SLOAD
00002771: PUSH1 0x40
00002773: MLOAD
00002774: DUP1
00002775: DUP1
00002776: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
00002797: DUP2
00002798: MSTORE
00002799: POP
0000279a: PUSH1 0x1c
0000279c: ADD
0000279d: DUP3
0000279e: PUSH1 0x00
000027a0: NOT
000027a1: AND
000027a2: PUSH1 0x00
000027a4: NOT
000027a5: AND
000027a6: DUP2
000027a7: MSTORE
000027a8: PUSH1 0x20
000027aa: ADD
000027ab: SWAP2
000027ac: POP
000027ad: POP
000027ae: PUSH1 0x40
000027b0: MLOAD
000027b1: DUP1
000027b2: SWAP2
000027b3: SUB
000027b4: SWAP1
000027b5: KECCAK256
000027b6: DUP9
000027b7: DUP9
000027b8: DUP9
000027b9: PUSH1 0x40
000027bb: MLOAD
000027bc: DUP1
000027bd: PUSH1 0x00
000027bf: MSTORE
000027c0: PUSH1 0x20
000027c2: ADD
000027c3: PUSH1 0x40
000027c5: MSTORE
000027c6: PUSH1 0x00
000027c8: PUSH1 0x40
000027ca: MLOAD
000027cb: PUSH1 0x20
000027cd: ADD
000027ce: MSTORE
000027cf: PUSH1 0x40
000027d1: MLOAD
000027d2: DUP1
000027d3: DUP6
000027d4: PUSH1 0x00
000027d6: NOT
000027d7: AND
000027d8: PUSH1 0x00
000027da: NOT
000027db: AND
000027dc: DUP2
000027dd: MSTORE
000027de: PUSH1 0x20
000027e0: ADD
000027e1: DUP5
000027e2: PUSH1 0xff
000027e4: AND
000027e5: PUSH1 0xff
000027e7: AND
000027e8: DUP2
000027e9: MSTORE
000027ea: PUSH1 0x20
000027ec: ADD
000027ed: DUP4
000027ee: PUSH1 0x00
000027f0: NOT
000027f1: AND
000027f2: PUSH1 0x00
000027f4: NOT
000027f5: AND
000027f6: DUP2
000027f7: MSTORE
000027f8: PUSH1 0x20
000027fa: ADD
000027fb: DUP3
000027fc: PUSH1 0x00
000027fe: NOT
000027ff: AND
00002800: PUSH1 0x00
00002802: NOT
00002803: AND
00002804: DUP2
00002805: MSTORE
00002806: PUSH1 0x20
00002808: ADD
00002809: SWAP5
0000280a: POP
0000280b: POP
0000280c: POP
0000280d: POP
0000280e: POP
0000280f: PUSH1 0x20
00002811: PUSH1 0x40
00002813: MLOAD
00002814: PUSH1 0x20
00002816: DUP2
00002817: SUB
00002818: SWAP1
00002819: DUP1
0000281a: DUP5
0000281b: SUB
0000281c: SWAP1
0000281d: PUSH1 0x00
0000281f: DUP7
00002820: PUSH2 0x61da
00002823: GAS
00002824: SUB
00002825: CALL
00002826: ISZERO
00002827: PUSH2 0x0000
0000282a: JUMPI
0000282b: POP
0000282c: POP
0000282d: PUSH1 0x20
0000282f: PUSH1 0x40
00002831: MLOAD
00002832: SUB
00002833: MLOAD
00002834: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002849: AND
0000284a: EQ
0000284b: ISZERO
0000284c: ISZERO
0000284d: PUSH2 0x2859
00002850: JUMPI
00002851: PUSH1 0x04
00002853: SWAP1
00002854: POP
00002855: PUSH2 0x294d
00002858: JUMP
00002859: JUMPDEST
0000285a: DUP12
0000285b: PUSH2 0x2864
0000285e: DUP12
0000285f: DUP6
00002860: PUSH2 0x3001
00002863: JUMP
00002864: JUMPDEST
00002865: DUP2
00002866: ISZERO
00002867: PUSH2 0x0000
0000286a: JUMPI
0000286b: DIV
0000286c: PUSH1 0x0f
0000286e: DUP2
0000286f: SWAP1
00002870: SSTORE
00002871: POP
00002872: PUSH1 0x0f
00002874: SLOAD
00002875: PUSH1 0x01
00002877: PUSH1 0x00
00002879: DUP14
0000287a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000288f: AND
00002890: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028a5: AND
000028a6: DUP2
000028a7: MSTORE
000028a8: PUSH1 0x20
000028aa: ADD
000028ab: SWAP1
000028ac: DUP2
000028ad: MSTORE
000028ae: PUSH1 0x20
000028b0: ADD
000028b1: PUSH1 0x00
000028b3: KECCAK256
000028b4: PUSH1 0x00
000028b6: DUP10
000028b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028cc: AND
000028cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028e2: AND
000028e3: DUP2
000028e4: MSTORE
000028e5: PUSH1 0x20
000028e7: ADD
000028e8: SWAP1
000028e9: DUP2
000028ea: MSTORE
000028eb: PUSH1 0x20
000028ed: ADD
000028ee: PUSH1 0x00
000028f0: KECCAK256
000028f1: SLOAD
000028f2: LT
000028f3: ISZERO
000028f4: PUSH2 0x2900
000028f7: JUMPI
000028f8: PUSH1 0x05
000028fa: SWAP1
000028fb: POP
000028fc: PUSH2 0x294d
000028ff: JUMP
00002900: JUMPDEST
00002901: DUP9
00002902: NUMBER
00002903: GT
00002904: ISZERO
00002905: PUSH2 0x2911
00002908: JUMPI
00002909: PUSH1 0x06
0000290b: SWAP1
0000290c: POP
0000290d: PUSH2 0x294d
00002910: JUMP
00002911: JUMPDEST
00002912: DUP12
00002913: PUSH2 0x2939
00002916: PUSH1 0x05
00002918: PUSH1 0x00
0000291a: PUSH1 0x0e
0000291c: SLOAD
0000291d: PUSH1 0x00
0000291f: NOT
00002920: AND
00002921: PUSH1 0x00
00002923: NOT
00002924: AND
00002925: DUP2
00002926: MSTORE
00002927: PUSH1 0x20
00002929: ADD
0000292a: SWAP1
0000292b: DUP2
0000292c: MSTORE
0000292d: PUSH1 0x20
0000292f: ADD
00002930: PUSH1 0x00
00002932: KECCAK256
00002933: SLOAD
00002934: DUP6
00002935: PUSH2 0x2fd5
00002938: JUMP
00002939: JUMPDEST
0000293a: GT
0000293b: ISZERO
0000293c: PUSH2 0x2948
0000293f: JUMPI
00002940: PUSH1 0x07
00002942: SWAP1
00002943: POP
00002944: PUSH2 0x294d
00002947: JUMP
00002948: JUMPDEST
00002949: PUSH1 0x00
0000294b: SWAP1
0000294c: POP
0000294d: JUMPDEST
0000294e: SWAP13
0000294f: SWAP12
00002950: POP
00002951: POP
00002952: POP
00002953: POP
00002954: POP
00002955: POP
00002956: POP
00002957: POP
00002958: POP
00002959: POP
0000295a: POP
0000295b: POP
0000295c: JUMP
0000295d: JUMPDEST
0000295e: PUSH1 0x00
00002960: PUSH1 0x00
00002962: PUSH1 0x00
00002964: SWAP1
00002965: SLOAD
00002966: SWAP1
00002967: PUSH2 0x0100
0000296a: EXP
0000296b: SWAP1
0000296c: DIV
0000296d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002982: AND
00002983: SWAP1
00002984: POP
00002985: JUMPDEST
00002986: SWAP1
00002987: JUMP
00002988: JUMPDEST
00002989: PUSH1 0x03
0000298b: PUSH1 0x00
0000298d: CALLER
0000298e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029a3: AND
000029a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029b9: AND
000029ba: DUP2
000029bb: MSTORE
000029bc: PUSH1 0x20
000029be: ADD
000029bf: SWAP1
000029c0: DUP2
000029c1: MSTORE
000029c2: PUSH1 0x20
000029c4: ADD
000029c5: PUSH1 0x00
000029c7: KECCAK256
000029c8: PUSH1 0x00
000029ca: SWAP1
000029cb: SLOAD
000029cc: SWAP1
000029cd: PUSH2 0x0100
000029d0: EXP
000029d1: SWAP1
000029d2: DIV
000029d3: PUSH1 0xff
000029d5: AND
000029d6: ISZERO
000029d7: ISZERO
000029d8: PUSH2 0x29e0
000029db: JUMPI
000029dc: PUSH2 0x0000
000029df: JUMP
000029e0: JUMPDEST
000029e1: DUP1
000029e2: PUSH1 0x02
000029e4: PUSH1 0x00
000029e6: DUP5
000029e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029fc: AND
000029fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a12: AND
00002a13: DUP2
00002a14: MSTORE
00002a15: PUSH1 0x20
00002a17: ADD
00002a18: SWAP1
00002a19: DUP2
00002a1a: MSTORE
00002a1b: PUSH1 0x20
00002a1d: ADD
00002a1e: PUSH1 0x00
00002a20: KECCAK256
00002a21: PUSH1 0x00
00002a23: ADD
00002a24: PUSH1 0x00
00002a26: PUSH2 0x0100
00002a29: EXP
00002a2a: DUP2
00002a2b: SLOAD
00002a2c: DUP2
00002a2d: PUSH1 0xff
00002a2f: MUL
00002a30: NOT
00002a31: AND
00002a32: SWAP1
00002a33: DUP4
00002a34: ISZERO
00002a35: ISZERO
00002a36: MUL
00002a37: OR
00002a38: SWAP1
00002a39: SSTORE
00002a3a: POP
00002a3b: JUMPDEST
00002a3c: JUMPDEST
00002a3d: POP
00002a3e: POP
00002a3f: JUMP
00002a40: JUMPDEST
00002a41: PUSH2 0x2a99
00002a44: PUSH1 0x00
00002a46: PUSH1 0x00
00002a48: SWAP1
00002a49: SLOAD
00002a4a: SWAP1
00002a4b: PUSH2 0x0100
00002a4e: EXP
00002a4f: SWAP1
00002a50: DIV
00002a51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a66: AND
00002a67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a7c: AND
00002a7d: CALLER
00002a7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a93: AND
00002a94: EQ
00002a95: PUSH2 0x094c
00002a98: JUMP
00002a99: JUMPDEST
00002a9a: DUP1
00002a9b: PUSH1 0x03
00002a9d: PUSH1 0x00
00002a9f: DUP5
00002aa0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ab5: AND
00002ab6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002acb: AND
00002acc: DUP2
00002acd: MSTORE
00002ace: PUSH1 0x20
00002ad0: ADD
00002ad1: SWAP1
00002ad2: DUP2
00002ad3: MSTORE
00002ad4: PUSH1 0x20
00002ad6: ADD
00002ad7: PUSH1 0x00
00002ad9: KECCAK256
00002ada: PUSH1 0x00
00002adc: PUSH2 0x0100
00002adf: EXP
00002ae0: DUP2
00002ae1: SLOAD
00002ae2: DUP2
00002ae3: PUSH1 0xff
00002ae5: MUL
00002ae6: NOT
00002ae7: AND
00002ae8: SWAP1
00002ae9: DUP4
00002aea: ISZERO
00002aeb: ISZERO
00002aec: MUL
00002aed: OR
00002aee: SWAP1
00002aef: SSTORE
00002af0: POP
00002af1: JUMPDEST
00002af2: JUMPDEST
00002af3: POP
00002af4: POP
00002af5: JUMP
00002af6: JUMPDEST
00002af7: PUSH1 0x03
00002af9: PUSH1 0x20
00002afb: MSTORE
00002afc: DUP1
00002afd: PUSH1 0x00
00002aff: MSTORE
00002b00: PUSH1 0x40
00002b02: PUSH1 0x00
00002b04: KECCAK256
00002b05: PUSH1 0x00
00002b07: SWAP2
00002b08: POP
00002b09: SLOAD
00002b0a: SWAP1
00002b0b: PUSH2 0x0100
00002b0e: EXP
00002b0f: SWAP1
00002b10: DIV
00002b11: PUSH1 0xff
00002b13: AND
00002b14: DUP2
00002b15: JUMP
00002b16: JUMPDEST
00002b17: PUSH1 0x07
00002b19: PUSH1 0x00
00002b1b: SWAP1
00002b1c: SLOAD
00002b1d: SWAP1
00002b1e: PUSH2 0x0100
00002b21: EXP
00002b22: SWAP1
00002b23: DIV
00002b24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b39: AND
00002b3a: DUP2
00002b3b: JUMP
00002b3c: JUMPDEST
00002b3d: DUP1
00002b3e: PUSH1 0x01
00002b40: PUSH1 0x00
00002b42: DUP5
00002b43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b58: AND
00002b59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b6e: AND
00002b6f: DUP2
00002b70: MSTORE
00002b71: PUSH1 0x20
00002b73: ADD
00002b74: SWAP1
00002b75: DUP2
00002b76: MSTORE
00002b77: PUSH1 0x20
00002b79: ADD
00002b7a: PUSH1 0x00
00002b7c: KECCAK256
00002b7d: PUSH1 0x00
00002b7f: CALLER
00002b80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b95: AND
00002b96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bab: AND
00002bac: DUP2
00002bad: MSTORE
00002bae: PUSH1 0x20
00002bb0: ADD
00002bb1: SWAP1
00002bb2: DUP2
00002bb3: MSTORE
00002bb4: PUSH1 0x20
00002bb6: ADD
00002bb7: PUSH1 0x00
00002bb9: KECCAK256
00002bba: SLOAD
00002bbb: LT
00002bbc: ISZERO
00002bbd: PUSH2 0x2bc5
00002bc0: JUMPI
00002bc1: PUSH2 0x0000
00002bc4: JUMP
00002bc5: JUMPDEST
00002bc6: PUSH2 0x2c4b
00002bc9: PUSH1 0x01
00002bcb: PUSH1 0x00
00002bcd: DUP5
00002bce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002be3: AND
00002be4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bf9: AND
00002bfa: DUP2
00002bfb: MSTORE
00002bfc: PUSH1 0x20
00002bfe: ADD
00002bff: SWAP1
00002c00: DUP2
00002c01: MSTORE
00002c02: PUSH1 0x20
00002c04: ADD
00002c05: PUSH1 0x00
00002c07: KECCAK256
00002c08: PUSH1 0x00
00002c0a: CALLER
00002c0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c20: AND
00002c21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c36: AND
00002c37: DUP2
00002c38: MSTORE
00002c39: PUSH1 0x20
00002c3b: ADD
00002c3c: SWAP1
00002c3d: DUP2
00002c3e: MSTORE
00002c3f: PUSH1 0x20
00002c41: ADD
00002c42: PUSH1 0x00
00002c44: KECCAK256
00002c45: SLOAD
00002c46: DUP3
00002c47: PUSH2 0x3033
00002c4a: JUMP
00002c4b: JUMPDEST
00002c4c: PUSH1 0x01
00002c4e: PUSH1 0x00
00002c50: DUP5
00002c51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c66: AND
00002c67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c7c: AND
00002c7d: DUP2
00002c7e: MSTORE
00002c7f: PUSH1 0x20
00002c81: ADD
00002c82: SWAP1
00002c83: DUP2
00002c84: MSTORE
00002c85: PUSH1 0x20
00002c87: ADD
00002c88: PUSH1 0x00
00002c8a: KECCAK256
00002c8b: PUSH1 0x00
00002c8d: CALLER
00002c8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ca3: AND
00002ca4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cb9: AND
00002cba: DUP2
00002cbb: MSTORE
00002cbc: PUSH1 0x20
00002cbe: ADD
00002cbf: SWAP1
00002cc0: DUP2
00002cc1: MSTORE
00002cc2: PUSH1 0x20
00002cc4: ADD
00002cc5: PUSH1 0x00
00002cc7: KECCAK256
00002cc8: DUP2
00002cc9: SWAP1
00002cca: SSTORE
00002ccb: POP
00002ccc: PUSH1 0x00
00002cce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ce3: AND
00002ce4: DUP3
00002ce5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cfa: AND
00002cfb: EQ
00002cfc: ISZERO
00002cfd: PUSH2 0x2d48
00002d00: JUMPI
00002d01: CALLER
00002d02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d17: AND
00002d18: PUSH2 0x08fc
00002d1b: DUP3
00002d1c: SWAP1
00002d1d: DUP2
00002d1e: ISZERO
00002d1f: MUL
00002d20: SWAP1
00002d21: PUSH1 0x40
00002d23: MLOAD
00002d24: DUP1
00002d25: SWAP1
00002d26: POP
00002d27: PUSH1 0x00
00002d29: PUSH1 0x40
00002d2b: MLOAD
00002d2c: DUP1
00002d2d: DUP4
00002d2e: SUB
00002d2f: DUP2
00002d30: DUP6
00002d31: DUP9
00002d32: DUP9
00002d33: CALL
00002d34: SWAP4
00002d35: POP
00002d36: POP
00002d37: POP
00002d38: POP
00002d39: ISZERO
00002d3a: ISZERO
00002d3b: PUSH2 0x2d43
00002d3e: JUMPI
00002d3f: PUSH2 0x0000
00002d42: JUMP
00002d43: JUMPDEST
00002d44: PUSH2 0x2e0d
00002d47: JUMP
00002d48: JUMPDEST
00002d49: DUP2
00002d4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d5f: AND
00002d60: PUSH4 0xa9059cbb
00002d65: CALLER
00002d66: DUP4
00002d67: PUSH1 0x00
00002d69: PUSH1 0x40
00002d6b: MLOAD
00002d6c: PUSH1 0x20
00002d6e: ADD
00002d6f: MSTORE
00002d70: PUSH1 0x40
00002d72: MLOAD
00002d73: DUP4
00002d74: PUSH4 0xffffffff
00002d79: AND
00002d7a: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002d98: MUL
00002d99: DUP2
00002d9a: MSTORE
00002d9b: PUSH1 0x04
00002d9d: ADD
00002d9e: DUP1
00002d9f: DUP4
00002da0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002db5: AND
00002db6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002dcb: AND
00002dcc: DUP2
00002dcd: MSTORE
00002dce: PUSH1 0x20
00002dd0: ADD
00002dd1: DUP3
00002dd2: DUP2
00002dd3: MSTORE
00002dd4: PUSH1 0x20
00002dd6: ADD
00002dd7: SWAP3
00002dd8: POP
00002dd9: POP
00002dda: POP
00002ddb: PUSH1 0x20
00002ddd: PUSH1 0x40
00002ddf: MLOAD
00002de0: DUP1
00002de1: DUP4
00002de2: SUB
00002de3: DUP2
00002de4: PUSH1 0x00
00002de6: DUP8
00002de7: DUP1
00002de8: EXTCODESIZE
00002de9: ISZERO
00002dea: PUSH2 0x0000
00002ded: JUMPI
00002dee: PUSH1 0x32
00002df0: GAS
00002df1: SUB
00002df2: CALL
00002df3: ISZERO
00002df4: PUSH2 0x0000
00002df7: JUMPI
00002df8: POP
00002df9: POP
00002dfa: POP
00002dfb: PUSH1 0x40
00002dfd: MLOAD
00002dfe: DUP1
00002dff: MLOAD
00002e00: SWAP1
00002e01: POP
00002e02: ISZERO
00002e03: ISZERO
00002e04: PUSH2 0x2e0c
00002e07: JUMPI
00002e08: PUSH2 0x0000
00002e0b: JUMP
00002e0c: JUMPDEST
00002e0d: JUMPDEST
00002e0e: PUSH32 0xf341246adaac6f497bc2a656f546ab9e182111d630394f0c57c710a59a2cb567
00002e2f: DUP3
00002e30: CALLER
00002e31: DUP4
00002e32: PUSH1 0x01
00002e34: PUSH1 0x00
00002e36: DUP8
00002e37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e4c: AND
00002e4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e62: AND
00002e63: DUP2
00002e64: MSTORE
00002e65: PUSH1 0x20
00002e67: ADD
00002e68: SWAP1
00002e69: DUP2
00002e6a: MSTORE
00002e6b: PUSH1 0x20
00002e6d: ADD
00002e6e: PUSH1 0x00
00002e70: KECCAK256
00002e71: PUSH1 0x00
00002e73: CALLER
00002e74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e89: AND
00002e8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e9f: AND
00002ea0: DUP2
00002ea1: MSTORE
00002ea2: PUSH1 0x20
00002ea4: ADD
00002ea5: SWAP1
00002ea6: DUP2
00002ea7: MSTORE
00002ea8: PUSH1 0x20
00002eaa: ADD
00002eab: PUSH1 0x00
00002ead: KECCAK256
00002eae: SLOAD
00002eaf: PUSH1 0x40
00002eb1: MLOAD
00002eb2: DUP1
00002eb3: DUP6
00002eb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ec9: AND
00002eca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002edf: AND
00002ee0: DUP2
00002ee1: MSTORE
00002ee2: PUSH1 0x20
00002ee4: ADD
00002ee5: DUP5
00002ee6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002efb: AND
00002efc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f11: AND
00002f12: DUP2
00002f13: MSTORE
00002f14: PUSH1 0x20
00002f16: ADD
00002f17: DUP4
00002f18: DUP2
00002f19: MSTORE
00002f1a: PUSH1 0x20
00002f1c: ADD
00002f1d: DUP3
00002f1e: DUP2
00002f1f: MSTORE
00002f20: PUSH1 0x20
00002f22: ADD
00002f23: SWAP5
00002f24: POP
00002f25: POP
00002f26: POP
00002f27: POP
00002f28: POP
00002f29: PUSH1 0x40
00002f2b: MLOAD
00002f2c: DUP1
00002f2d: SWAP2
00002f2e: SUB
00002f2f: SWAP1
00002f30: LOG1
00002f31: JUMPDEST
00002f32: POP
00002f33: POP
00002f34: JUMP
00002f35: JUMPDEST
00002f36: PUSH1 0x05
00002f38: PUSH1 0x20
00002f3a: MSTORE
00002f3b: DUP1
00002f3c: PUSH1 0x00
00002f3e: MSTORE
00002f3f: PUSH1 0x40
00002f41: PUSH1 0x00
00002f43: KECCAK256
00002f44: PUSH1 0x00
00002f46: SWAP2
00002f47: POP
00002f48: SWAP1
00002f49: POP
00002f4a: SLOAD
00002f4b: DUP2
00002f4c: JUMP
00002f4d: JUMPDEST
00002f4e: PUSH1 0x00
00002f50: PUSH1 0x01
00002f52: PUSH1 0x00
00002f54: DUP5
00002f55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f6a: AND
00002f6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f80: AND
00002f81: DUP2
00002f82: MSTORE
00002f83: PUSH1 0x20
00002f85: ADD
00002f86: SWAP1
00002f87: DUP2
00002f88: MSTORE
00002f89: PUSH1 0x20
00002f8b: ADD
00002f8c: PUSH1 0x00
00002f8e: KECCAK256
00002f8f: PUSH1 0x00
00002f91: DUP4
00002f92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fa7: AND
00002fa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fbd: AND
00002fbe: DUP2
00002fbf: MSTORE
00002fc0: PUSH1 0x20
00002fc2: ADD
00002fc3: SWAP1
00002fc4: DUP2
00002fc5: MSTORE
00002fc6: PUSH1 0x20
00002fc8: ADD
00002fc9: PUSH1 0x00
00002fcb: KECCAK256
00002fcc: SLOAD
00002fcd: SWAP1
00002fce: POP
00002fcf: JUMPDEST
00002fd0: SWAP3
00002fd1: SWAP2
00002fd2: POP
00002fd3: POP
00002fd4: JUMP
00002fd5: JUMPDEST
00002fd6: PUSH1 0x00
00002fd8: PUSH1 0x00
00002fda: DUP3
00002fdb: DUP5
00002fdc: ADD
00002fdd: SWAP1
00002fde: POP
00002fdf: PUSH2 0x2ff6
00002fe2: DUP5
00002fe3: DUP3
00002fe4: LT
00002fe5: ISZERO
00002fe6: DUP1
00002fe7: ISZERO
00002fe8: PUSH2 0x2ff1
00002feb: JUMPI
00002fec: POP
00002fed: DUP4
00002fee: DUP3
00002fef: LT
00002ff0: ISZERO
00002ff1: JUMPDEST
00002ff2: PUSH2 0x094c
00002ff5: JUMP
00002ff6: JUMPDEST
00002ff7: DUP1
00002ff8: SWAP2
00002ff9: POP
00002ffa: JUMPDEST
00002ffb: POP
00002ffc: SWAP3
00002ffd: SWAP2
00002ffe: POP
00002fff: POP
00003000: JUMP
00003001: JUMPDEST
00003002: PUSH1 0x00
00003004: PUSH1 0x00
00003006: DUP3
00003007: DUP5
00003008: MUL
00003009: SWAP1
0000300a: POP
0000300b: PUSH2 0x3028
0000300e: PUSH1 0x00
00003010: DUP6
00003011: EQ
00003012: DUP1
00003013: PUSH2 0x3023
00003016: JUMPI
00003017: POP
00003018: DUP4
00003019: DUP6
0000301a: DUP4
0000301b: DUP2
0000301c: ISZERO
0000301d: PUSH2 0x0000
00003020: JUMPI
00003021: DIV
00003022: EQ
00003023: JUMPDEST
00003024: PUSH2 0x094c
00003027: JUMP
00003028: JUMPDEST
00003029: DUP1
0000302a: SWAP2
0000302b: POP
0000302c: JUMPDEST
0000302d: POP
0000302e: SWAP3
0000302f: SWAP2
00003030: POP
00003031: POP
00003032: JUMP
00003033: JUMPDEST
00003034: PUSH1 0x00
00003036: PUSH2 0x3041
00003039: DUP4
0000303a: DUP4
0000303b: GT
0000303c: ISZERO
0000303d: PUSH2 0x094c
00003040: JUMP
00003041: JUMPDEST
00003042: DUP2
00003043: DUP4
00003044: SUB
00003045: SWAP1
00003046: POP
00003047: JUMPDEST
00003048: SWAP3
00003049: SWAP2
0000304a: POP
0000304b: POP
0000304c: JUMP
0000304d: STOP
0000304e: LOG1
0000304f: PUSH6 0x627a7a723058
00003056: KECCAK256
00003057: MOD
00003058: UNKNOWN(0xDF)
00003059: RETURNDATACOPY
0000305a: PUSH27 0x4aef3fb5e5b4a9079f5278353aa07605983a3783bbe7eb67aac238
00003076: SGT
00003077: STOP
00003078: UNKNOWN(0x29)

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xaa55b9368bd78a092a8782d1a24a707129d75cfcb07933f46fe79fa5e29f7564
call_targets: 0xfbf8ecb34acbc2c4d2d4cdc645c9a76efcbe2cff
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xaa55b9368bd78a092a8782d1a24a707129d75cfcb07933f46fe79fa5e29f7564",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xfbf8ecb34acbc2c4d2d4cdc645c9a76efcbe2cff"
    ],
    "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": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x04efa227",
            "selector": "0x04efa227",
            "calldata_variants": [
                "0x04efa227",
                "0x04efa2270000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0674763c",
            "selector": "0x0674763c",
            "calldata_variants": [
                "0x0674763c",
                "0x0674763c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0a19b14a",
            "selector": "0x0a19b14a",
            "calldata_variants": [
                "0x0a19b14a",
                "0x0a19b14a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x13af4035",
            "selector": "0x13af4035",
            "calldata_variants": [
                "0x13af4035",
                "0x13af40350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x205d0063",
            "selector": "0x205d0063",
            "calldata_variants": [
                "0x205d0063",
                "0x205d00630000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x21f9caef",
            "selector": "0x21f9caef",
            "calldata_variants": [
                "0x21f9caef",
                "0x21f9caef0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x429b62e5",
            "selector": "0x429b62e5",
            "calldata_variants": [
                "0x429b62e5",
                "0x429b62e50000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3020,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3717,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4036,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 8,
    "guards_detected": [
        {
            "pc": 6436,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8836,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8995,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 9313,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 10877,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 8
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xaa55b9368bd78a092a8782d1a24a707129d75cfcb07933f46fe79fa5e29f7564
call_targets: 0xfbf8ecb34acbc2c4d2d4cdc645c9a76efcbe2cff
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xaa55b9368bd78a092a8782d1a24a707129d75cfcb07933f46fe79fa5e29f7564",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xfbf8ecb34acbc2c4d2d4cdc645c9a76efcbe2cff"
    ],
    "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": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x04efa227",
            "selector": "0x04efa227",
            "calldata_variants": [
                "0x04efa227",
                "0x04efa2270000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0674763c",
            "selector": "0x0674763c",
            "calldata_variants": [
                "0x0674763c",
                "0x0674763c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0a19b14a",
            "selector": "0x0a19b14a",
            "calldata_variants": [
                "0x0a19b14a",
                "0x0a19b14a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x13af4035",
            "selector": "0x13af4035",
            "calldata_variants": [
                "0x13af4035",
                "0x13af40350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x205d0063",
            "selector": "0x205d0063",
            "calldata_variants": [
                "0x205d0063",
                "0x205d00630000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x21f9caef",
            "selector": "0x21f9caef",
            "calldata_variants": [
                "0x21f9caef",
                "0x21f9caef0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x429b62e5",
            "selector": "0x429b62e5",
            "calldata_variants": [
                "0x429b62e5",
                "0x429b62e50000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3020,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3717,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4036,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 8,
    "guards_detected": [
        {
            "pc": 6436,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8836,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8995,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 9313,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 10877,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}