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

Analysis Run

019b3836-2576-7241-8fef-6f2289bc28f2

complete
Chain ID
1
Address
Block Number
Created
Fri, Dec 19, 2025 8:03 PM
Review Summary

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
779 artifact.fetch complete 1 / 3 4 months ago
780 tool.cast_disasm complete 1 / 3 4 months ago
78635 analysis.bundle complete 1 / 3 2 weeks ago
78636 capability.graph complete 1 / 3 2 weeks ago
78637 detector.run complete 1 / 3 2 weeks ago
78638 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
0
Total opcodes
4626
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x007f
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: DUP1
0000002f: PUSH4 0x6053a6f9
00000034: EQ
00000035: PUSH2 0x0081
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x820b7faf
0000003f: EQ
00000040: PUSH2 0x0168
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x93423e9c
0000004a: EQ
0000004b: PUSH2 0x024f
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0xa6461016
00000055: EQ
00000056: PUSH2 0x027b
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0xa9059cbb
00000060: EQ
00000061: PUSH2 0x0362
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xd3a3f889
0000006b: EQ
0000006c: PUSH2 0x0397
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xfbf35f96
00000076: EQ
00000077: PUSH2 0x049b
0000007a: JUMPI
0000007b: PUSH2 0x007f
0000007e: JUMP
0000007f: JUMPDEST
00000080: STOP
00000081: JUMPDEST
00000082: PUSH2 0x0166
00000085: PUSH1 0x04
00000087: DUP1
00000088: DUP1
00000089: CALLDATALOAD
0000008a: SWAP1
0000008b: PUSH1 0x20
0000008d: ADD
0000008e: SWAP1
0000008f: SWAP2
00000090: SWAP1
00000091: DUP1
00000092: CALLDATALOAD
00000093: SWAP1
00000094: PUSH1 0x20
00000096: ADD
00000097: SWAP1
00000098: DUP3
00000099: ADD
0000009a: DUP1
0000009b: CALLDATALOAD
0000009c: SWAP1
0000009d: PUSH1 0x20
0000009f: ADD
000000a0: SWAP2
000000a1: SWAP2
000000a2: SWAP1
000000a3: DUP1
000000a4: DUP1
000000a5: PUSH1 0x20
000000a7: MUL
000000a8: PUSH1 0x20
000000aa: ADD
000000ab: PUSH1 0x40
000000ad: MLOAD
000000ae: SWAP1
000000af: DUP2
000000b0: ADD
000000b1: PUSH1 0x40
000000b3: MSTORE
000000b4: DUP1
000000b5: SWAP4
000000b6: SWAP3
000000b7: SWAP2
000000b8: SWAP1
000000b9: DUP2
000000ba: DUP2
000000bb: MSTORE
000000bc: PUSH1 0x20
000000be: ADD
000000bf: PUSH1 0x00
000000c1: SWAP1
000000c2: JUMPDEST
000000c3: DUP3
000000c4: DUP3
000000c5: LT
000000c6: ISZERO
000000c7: PUSH2 0x0109
000000ca: JUMPI
000000cb: DUP5
000000cc: DUP5
000000cd: DUP4
000000ce: SWAP1
000000cf: POP
000000d0: SWAP1
000000d1: SWAP1
000000d2: PUSH1 0x40
000000d4: MUL
000000d5: ADD
000000d6: PUSH1 0x02
000000d8: DUP1
000000d9: PUSH1 0x20
000000db: MUL
000000dc: PUSH1 0x40
000000de: MLOAD
000000df: SWAP1
000000e0: DUP2
000000e1: ADD
000000e2: PUSH1 0x40
000000e4: MSTORE
000000e5: DUP1
000000e6: SWAP3
000000e7: SWAP2
000000e8: SWAP1
000000e9: DUP3
000000ea: PUSH1 0x02
000000ec: PUSH1 0x20
000000ee: MUL
000000ef: DUP1
000000f0: DUP3
000000f1: DUP5
000000f2: CALLDATACOPY
000000f3: DUP3
000000f4: ADD
000000f5: SWAP2
000000f6: POP
000000f7: POP
000000f8: POP
000000f9: POP
000000fa: POP
000000fb: DUP2
000000fc: MSTORE
000000fd: PUSH1 0x20
000000ff: ADD
00000100: SWAP1
00000101: PUSH1 0x01
00000103: ADD
00000104: SWAP1
00000105: PUSH2 0x00c2
00000108: JUMP
00000109: JUMPDEST
0000010a: POP
0000010b: POP
0000010c: POP
0000010d: POP
0000010e: POP
0000010f: SWAP1
00000110: SWAP1
00000111: SWAP2
00000112: SWAP1
00000113: DUP1
00000114: CALLDATALOAD
00000115: SWAP1
00000116: PUSH1 0x20
00000118: ADD
00000119: SWAP1
0000011a: DUP3
0000011b: ADD
0000011c: DUP1
0000011d: CALLDATALOAD
0000011e: SWAP1
0000011f: PUSH1 0x20
00000121: ADD
00000122: SWAP2
00000123: SWAP2
00000124: SWAP1
00000125: DUP1
00000126: DUP1
00000127: PUSH1 0x20
00000129: MUL
0000012a: PUSH1 0x20
0000012c: ADD
0000012d: PUSH1 0x40
0000012f: MLOAD
00000130: SWAP1
00000131: DUP2
00000132: ADD
00000133: PUSH1 0x40
00000135: MSTORE
00000136: DUP1
00000137: SWAP4
00000138: SWAP3
00000139: SWAP2
0000013a: SWAP1
0000013b: DUP2
0000013c: DUP2
0000013d: MSTORE
0000013e: PUSH1 0x20
00000140: ADD
00000141: DUP4
00000142: DUP4
00000143: PUSH1 0x20
00000145: MUL
00000146: DUP1
00000147: DUP3
00000148: DUP5
00000149: CALLDATACOPY
0000014a: DUP3
0000014b: ADD
0000014c: SWAP2
0000014d: POP
0000014e: POP
0000014f: POP
00000150: POP
00000151: POP
00000152: POP
00000153: SWAP1
00000154: SWAP1
00000155: SWAP2
00000156: SWAP1
00000157: DUP1
00000158: CALLDATALOAD
00000159: SWAP1
0000015a: PUSH1 0x20
0000015c: ADD
0000015d: SWAP1
0000015e: SWAP2
0000015f: SWAP1
00000160: POP
00000161: POP
00000162: PUSH2 0x0ae4
00000165: JUMP
00000166: JUMPDEST
00000167: STOP
00000168: JUMPDEST
00000169: PUSH2 0x024d
0000016c: PUSH1 0x04
0000016e: DUP1
0000016f: DUP1
00000170: CALLDATALOAD
00000171: SWAP1
00000172: PUSH1 0x20
00000174: ADD
00000175: SWAP1
00000176: SWAP2
00000177: SWAP1
00000178: DUP1
00000179: CALLDATALOAD
0000017a: SWAP1
0000017b: PUSH1 0x20
0000017d: ADD
0000017e: SWAP1
0000017f: DUP3
00000180: ADD
00000181: DUP1
00000182: CALLDATALOAD
00000183: SWAP1
00000184: PUSH1 0x20
00000186: ADD
00000187: SWAP2
00000188: SWAP2
00000189: SWAP1
0000018a: DUP1
0000018b: DUP1
0000018c: PUSH1 0x20
0000018e: MUL
0000018f: PUSH1 0x20
00000191: ADD
00000192: PUSH1 0x40
00000194: MLOAD
00000195: SWAP1
00000196: DUP2
00000197: ADD
00000198: PUSH1 0x40
0000019a: MSTORE
0000019b: DUP1
0000019c: SWAP4
0000019d: SWAP3
0000019e: SWAP2
0000019f: SWAP1
000001a0: DUP2
000001a1: DUP2
000001a2: MSTORE
000001a3: PUSH1 0x20
000001a5: ADD
000001a6: PUSH1 0x00
000001a8: SWAP1
000001a9: JUMPDEST
000001aa: DUP3
000001ab: DUP3
000001ac: LT
000001ad: ISZERO
000001ae: PUSH2 0x01f0
000001b1: JUMPI
000001b2: DUP5
000001b3: DUP5
000001b4: DUP4
000001b5: SWAP1
000001b6: POP
000001b7: SWAP1
000001b8: SWAP1
000001b9: PUSH1 0x40
000001bb: MUL
000001bc: ADD
000001bd: PUSH1 0x02
000001bf: DUP1
000001c0: PUSH1 0x20
000001c2: MUL
000001c3: PUSH1 0x40
000001c5: MLOAD
000001c6: SWAP1
000001c7: DUP2
000001c8: ADD
000001c9: PUSH1 0x40
000001cb: MSTORE
000001cc: DUP1
000001cd: SWAP3
000001ce: SWAP2
000001cf: SWAP1
000001d0: DUP3
000001d1: PUSH1 0x02
000001d3: PUSH1 0x20
000001d5: MUL
000001d6: DUP1
000001d7: DUP3
000001d8: DUP5
000001d9: CALLDATACOPY
000001da: DUP3
000001db: ADD
000001dc: SWAP2
000001dd: POP
000001de: POP
000001df: POP
000001e0: POP
000001e1: POP
000001e2: DUP2
000001e3: MSTORE
000001e4: PUSH1 0x20
000001e6: ADD
000001e7: SWAP1
000001e8: PUSH1 0x01
000001ea: ADD
000001eb: SWAP1
000001ec: PUSH2 0x01a9
000001ef: JUMP
000001f0: JUMPDEST
000001f1: POP
000001f2: POP
000001f3: POP
000001f4: POP
000001f5: POP
000001f6: SWAP1
000001f7: SWAP1
000001f8: SWAP2
000001f9: SWAP1
000001fa: DUP1
000001fb: CALLDATALOAD
000001fc: SWAP1
000001fd: PUSH1 0x20
000001ff: ADD
00000200: SWAP1
00000201: DUP3
00000202: ADD
00000203: DUP1
00000204: CALLDATALOAD
00000205: SWAP1
00000206: PUSH1 0x20
00000208: ADD
00000209: SWAP2
0000020a: SWAP2
0000020b: SWAP1
0000020c: DUP1
0000020d: DUP1
0000020e: PUSH1 0x20
00000210: MUL
00000211: PUSH1 0x20
00000213: ADD
00000214: PUSH1 0x40
00000216: MLOAD
00000217: SWAP1
00000218: DUP2
00000219: ADD
0000021a: PUSH1 0x40
0000021c: MSTORE
0000021d: DUP1
0000021e: SWAP4
0000021f: SWAP3
00000220: SWAP2
00000221: SWAP1
00000222: DUP2
00000223: DUP2
00000224: MSTORE
00000225: PUSH1 0x20
00000227: ADD
00000228: DUP4
00000229: DUP4
0000022a: PUSH1 0x20
0000022c: MUL
0000022d: DUP1
0000022e: DUP3
0000022f: DUP5
00000230: CALLDATACOPY
00000231: DUP3
00000232: ADD
00000233: SWAP2
00000234: POP
00000235: POP
00000236: POP
00000237: POP
00000238: POP
00000239: POP
0000023a: SWAP1
0000023b: SWAP1
0000023c: SWAP2
0000023d: SWAP1
0000023e: DUP1
0000023f: CALLDATALOAD
00000240: SWAP1
00000241: PUSH1 0x20
00000243: ADD
00000244: SWAP1
00000245: SWAP2
00000246: SWAP1
00000247: POP
00000248: POP
00000249: PUSH2 0x0833
0000024c: JUMP
0000024d: JUMPDEST
0000024e: STOP
0000024f: JUMPDEST
00000250: PUSH2 0x0265
00000253: PUSH1 0x04
00000255: DUP1
00000256: DUP1
00000257: CALLDATALOAD
00000258: SWAP1
00000259: PUSH1 0x20
0000025b: ADD
0000025c: SWAP1
0000025d: SWAP2
0000025e: SWAP1
0000025f: POP
00000260: POP
00000261: PUSH2 0x156d
00000264: JUMP
00000265: JUMPDEST
00000266: PUSH1 0x40
00000268: MLOAD
00000269: DUP1
0000026a: DUP3
0000026b: DUP2
0000026c: MSTORE
0000026d: PUSH1 0x20
0000026f: ADD
00000270: SWAP2
00000271: POP
00000272: POP
00000273: PUSH1 0x40
00000275: MLOAD
00000276: DUP1
00000277: SWAP2
00000278: SUB
00000279: SWAP1
0000027a: RETURN
0000027b: JUMPDEST
0000027c: PUSH2 0x0360
0000027f: PUSH1 0x04
00000281: DUP1
00000282: DUP1
00000283: CALLDATALOAD
00000284: SWAP1
00000285: PUSH1 0x20
00000287: ADD
00000288: SWAP1
00000289: SWAP2
0000028a: SWAP1
0000028b: DUP1
0000028c: CALLDATALOAD
0000028d: SWAP1
0000028e: PUSH1 0x20
00000290: ADD
00000291: SWAP1
00000292: DUP3
00000293: ADD
00000294: DUP1
00000295: CALLDATALOAD
00000296: SWAP1
00000297: PUSH1 0x20
00000299: ADD
0000029a: SWAP2
0000029b: SWAP2
0000029c: SWAP1
0000029d: DUP1
0000029e: DUP1
0000029f: PUSH1 0x20
000002a1: MUL
000002a2: PUSH1 0x20
000002a4: ADD
000002a5: PUSH1 0x40
000002a7: MLOAD
000002a8: SWAP1
000002a9: DUP2
000002aa: ADD
000002ab: PUSH1 0x40
000002ad: MSTORE
000002ae: DUP1
000002af: SWAP4
000002b0: SWAP3
000002b1: SWAP2
000002b2: SWAP1
000002b3: DUP2
000002b4: DUP2
000002b5: MSTORE
000002b6: PUSH1 0x20
000002b8: ADD
000002b9: PUSH1 0x00
000002bb: SWAP1
000002bc: JUMPDEST
000002bd: DUP3
000002be: DUP3
000002bf: LT
000002c0: ISZERO
000002c1: PUSH2 0x0303
000002c4: JUMPI
000002c5: DUP5
000002c6: DUP5
000002c7: DUP4
000002c8: SWAP1
000002c9: POP
000002ca: SWAP1
000002cb: SWAP1
000002cc: PUSH1 0x40
000002ce: MUL
000002cf: ADD
000002d0: PUSH1 0x02
000002d2: DUP1
000002d3: PUSH1 0x20
000002d5: MUL
000002d6: PUSH1 0x40
000002d8: MLOAD
000002d9: SWAP1
000002da: DUP2
000002db: ADD
000002dc: PUSH1 0x40
000002de: MSTORE
000002df: DUP1
000002e0: SWAP3
000002e1: SWAP2
000002e2: SWAP1
000002e3: DUP3
000002e4: PUSH1 0x02
000002e6: PUSH1 0x20
000002e8: MUL
000002e9: DUP1
000002ea: DUP3
000002eb: DUP5
000002ec: CALLDATACOPY
000002ed: DUP3
000002ee: ADD
000002ef: SWAP2
000002f0: POP
000002f1: POP
000002f2: POP
000002f3: POP
000002f4: POP
000002f5: DUP2
000002f6: MSTORE
000002f7: PUSH1 0x20
000002f9: ADD
000002fa: SWAP1
000002fb: PUSH1 0x01
000002fd: ADD
000002fe: SWAP1
000002ff: PUSH2 0x02bc
00000302: JUMP
00000303: JUMPDEST
00000304: POP
00000305: POP
00000306: POP
00000307: POP
00000308: POP
00000309: SWAP1
0000030a: SWAP1
0000030b: SWAP2
0000030c: SWAP1
0000030d: DUP1
0000030e: CALLDATALOAD
0000030f: SWAP1
00000310: PUSH1 0x20
00000312: ADD
00000313: SWAP1
00000314: DUP3
00000315: ADD
00000316: DUP1
00000317: CALLDATALOAD
00000318: SWAP1
00000319: PUSH1 0x20
0000031b: ADD
0000031c: SWAP2
0000031d: SWAP2
0000031e: SWAP1
0000031f: DUP1
00000320: DUP1
00000321: PUSH1 0x20
00000323: MUL
00000324: PUSH1 0x20
00000326: ADD
00000327: PUSH1 0x40
00000329: MLOAD
0000032a: SWAP1
0000032b: DUP2
0000032c: ADD
0000032d: PUSH1 0x40
0000032f: MSTORE
00000330: DUP1
00000331: SWAP4
00000332: SWAP3
00000333: SWAP2
00000334: SWAP1
00000335: DUP2
00000336: DUP2
00000337: MSTORE
00000338: PUSH1 0x20
0000033a: ADD
0000033b: DUP4
0000033c: DUP4
0000033d: PUSH1 0x20
0000033f: MUL
00000340: DUP1
00000341: DUP3
00000342: DUP5
00000343: CALLDATACOPY
00000344: DUP3
00000345: ADD
00000346: SWAP2
00000347: POP
00000348: POP
00000349: POP
0000034a: POP
0000034b: POP
0000034c: POP
0000034d: SWAP1
0000034e: SWAP1
0000034f: SWAP2
00000350: SWAP1
00000351: DUP1
00000352: CALLDATALOAD
00000353: SWAP1
00000354: PUSH1 0x20
00000356: ADD
00000357: SWAP1
00000358: SWAP2
00000359: SWAP1
0000035a: POP
0000035b: POP
0000035c: PUSH2 0x0d82
0000035f: JUMP
00000360: JUMPDEST
00000361: STOP
00000362: JUMPDEST
00000363: PUSH2 0x0381
00000366: PUSH1 0x04
00000368: DUP1
00000369: DUP1
0000036a: CALLDATALOAD
0000036b: SWAP1
0000036c: PUSH1 0x20
0000036e: ADD
0000036f: SWAP1
00000370: SWAP2
00000371: SWAP1
00000372: DUP1
00000373: CALLDATALOAD
00000374: SWAP1
00000375: PUSH1 0x20
00000377: ADD
00000378: SWAP1
00000379: SWAP2
0000037a: SWAP1
0000037b: POP
0000037c: POP
0000037d: PUSH2 0x15b1
00000380: JUMP
00000381: JUMPDEST
00000382: PUSH1 0x40
00000384: MLOAD
00000385: DUP1
00000386: DUP3
00000387: DUP2
00000388: MSTORE
00000389: PUSH1 0x20
0000038b: ADD
0000038c: SWAP2
0000038d: POP
0000038e: POP
0000038f: PUSH1 0x40
00000391: MLOAD
00000392: DUP1
00000393: SWAP2
00000394: SUB
00000395: SWAP1
00000396: RETURN
00000397: JUMPDEST
00000398: PUSH2 0x0485
0000039b: PUSH1 0x04
0000039d: DUP1
0000039e: DUP1
0000039f: CALLDATALOAD
000003a0: SWAP1
000003a1: PUSH1 0x20
000003a3: ADD
000003a4: SWAP1
000003a5: SWAP2
000003a6: SWAP1
000003a7: DUP1
000003a8: CALLDATALOAD
000003a9: SWAP1
000003aa: PUSH1 0x20
000003ac: ADD
000003ad: SWAP1
000003ae: DUP3
000003af: ADD
000003b0: DUP1
000003b1: CALLDATALOAD
000003b2: SWAP1
000003b3: PUSH1 0x20
000003b5: ADD
000003b6: SWAP2
000003b7: SWAP2
000003b8: SWAP1
000003b9: DUP1
000003ba: DUP1
000003bb: PUSH1 0x20
000003bd: MUL
000003be: PUSH1 0x20
000003c0: ADD
000003c1: PUSH1 0x40
000003c3: MLOAD
000003c4: SWAP1
000003c5: DUP2
000003c6: ADD
000003c7: PUSH1 0x40
000003c9: MSTORE
000003ca: DUP1
000003cb: SWAP4
000003cc: SWAP3
000003cd: SWAP2
000003ce: SWAP1
000003cf: DUP2
000003d0: DUP2
000003d1: MSTORE
000003d2: PUSH1 0x20
000003d4: ADD
000003d5: PUSH1 0x00
000003d7: SWAP1
000003d8: JUMPDEST
000003d9: DUP3
000003da: DUP3
000003db: LT
000003dc: ISZERO
000003dd: PUSH2 0x041f
000003e0: JUMPI
000003e1: DUP5
000003e2: DUP5
000003e3: DUP4
000003e4: SWAP1
000003e5: POP
000003e6: SWAP1
000003e7: SWAP1
000003e8: PUSH1 0x40
000003ea: MUL
000003eb: ADD
000003ec: PUSH1 0x02
000003ee: DUP1
000003ef: PUSH1 0x20
000003f1: MUL
000003f2: PUSH1 0x40
000003f4: MLOAD
000003f5: SWAP1
000003f6: DUP2
000003f7: ADD
000003f8: PUSH1 0x40
000003fa: MSTORE
000003fb: DUP1
000003fc: SWAP3
000003fd: SWAP2
000003fe: SWAP1
000003ff: DUP3
00000400: PUSH1 0x02
00000402: PUSH1 0x20
00000404: MUL
00000405: DUP1
00000406: DUP3
00000407: DUP5
00000408: CALLDATACOPY
00000409: DUP3
0000040a: ADD
0000040b: SWAP2
0000040c: POP
0000040d: POP
0000040e: POP
0000040f: POP
00000410: POP
00000411: DUP2
00000412: MSTORE
00000413: PUSH1 0x20
00000415: ADD
00000416: SWAP1
00000417: PUSH1 0x01
00000419: ADD
0000041a: SWAP1
0000041b: PUSH2 0x03d8
0000041e: JUMP
0000041f: JUMPDEST
00000420: POP
00000421: POP
00000422: POP
00000423: POP
00000424: POP
00000425: SWAP1
00000426: SWAP1
00000427: SWAP2
00000428: SWAP1
00000429: DUP1
0000042a: CALLDATALOAD
0000042b: SWAP1
0000042c: PUSH1 0x20
0000042e: ADD
0000042f: SWAP1
00000430: DUP3
00000431: ADD
00000432: DUP1
00000433: CALLDATALOAD
00000434: SWAP1
00000435: PUSH1 0x20
00000437: ADD
00000438: SWAP2
00000439: SWAP2
0000043a: SWAP1
0000043b: DUP1
0000043c: DUP1
0000043d: PUSH1 0x20
0000043f: MUL
00000440: PUSH1 0x20
00000442: ADD
00000443: PUSH1 0x40
00000445: MLOAD
00000446: SWAP1
00000447: DUP2
00000448: ADD
00000449: PUSH1 0x40
0000044b: MSTORE
0000044c: DUP1
0000044d: SWAP4
0000044e: SWAP3
0000044f: SWAP2
00000450: SWAP1
00000451: DUP2
00000452: DUP2
00000453: MSTORE
00000454: PUSH1 0x20
00000456: ADD
00000457: DUP4
00000458: DUP4
00000459: PUSH1 0x20
0000045b: MUL
0000045c: DUP1
0000045d: DUP3
0000045e: DUP5
0000045f: CALLDATACOPY
00000460: DUP3
00000461: ADD
00000462: SWAP2
00000463: POP
00000464: POP
00000465: POP
00000466: POP
00000467: POP
00000468: POP
00000469: SWAP1
0000046a: SWAP1
0000046b: SWAP2
0000046c: SWAP1
0000046d: DUP1
0000046e: CALLDATALOAD
0000046f: SWAP1
00000470: PUSH1 0x20
00000472: ADD
00000473: SWAP1
00000474: SWAP2
00000475: SWAP1
00000476: DUP1
00000477: CALLDATALOAD
00000478: SWAP1
00000479: PUSH1 0x20
0000047b: ADD
0000047c: SWAP1
0000047d: SWAP2
0000047e: SWAP1
0000047f: POP
00000480: POP
00000481: PUSH2 0x109c
00000484: JUMP
00000485: JUMPDEST
00000486: PUSH1 0x40
00000488: MLOAD
00000489: DUP1
0000048a: DUP3
0000048b: DUP2
0000048c: MSTORE
0000048d: PUSH1 0x20
0000048f: ADD
00000490: SWAP2
00000491: POP
00000492: POP
00000493: PUSH1 0x40
00000495: MLOAD
00000496: DUP1
00000497: SWAP2
00000498: SUB
00000499: SWAP1
0000049a: RETURN
0000049b: JUMPDEST
0000049c: PUSH2 0x0580
0000049f: PUSH1 0x04
000004a1: DUP1
000004a2: DUP1
000004a3: CALLDATALOAD
000004a4: SWAP1
000004a5: PUSH1 0x20
000004a7: ADD
000004a8: SWAP1
000004a9: SWAP2
000004aa: SWAP1
000004ab: DUP1
000004ac: CALLDATALOAD
000004ad: SWAP1
000004ae: PUSH1 0x20
000004b0: ADD
000004b1: SWAP1
000004b2: DUP3
000004b3: ADD
000004b4: DUP1
000004b5: CALLDATALOAD
000004b6: SWAP1
000004b7: PUSH1 0x20
000004b9: ADD
000004ba: SWAP2
000004bb: SWAP2
000004bc: SWAP1
000004bd: DUP1
000004be: DUP1
000004bf: PUSH1 0x20
000004c1: MUL
000004c2: PUSH1 0x20
000004c4: ADD
000004c5: PUSH1 0x40
000004c7: MLOAD
000004c8: SWAP1
000004c9: DUP2
000004ca: ADD
000004cb: PUSH1 0x40
000004cd: MSTORE
000004ce: DUP1
000004cf: SWAP4
000004d0: SWAP3
000004d1: SWAP2
000004d2: SWAP1
000004d3: DUP2
000004d4: DUP2
000004d5: MSTORE
000004d6: PUSH1 0x20
000004d8: ADD
000004d9: PUSH1 0x00
000004db: SWAP1
000004dc: JUMPDEST
000004dd: DUP3
000004de: DUP3
000004df: LT
000004e0: ISZERO
000004e1: PUSH2 0x0523
000004e4: JUMPI
000004e5: DUP5
000004e6: DUP5
000004e7: DUP4
000004e8: SWAP1
000004e9: POP
000004ea: SWAP1
000004eb: SWAP1
000004ec: PUSH1 0x40
000004ee: MUL
000004ef: ADD
000004f0: PUSH1 0x02
000004f2: DUP1
000004f3: PUSH1 0x20
000004f5: MUL
000004f6: PUSH1 0x40
000004f8: MLOAD
000004f9: SWAP1
000004fa: DUP2
000004fb: ADD
000004fc: PUSH1 0x40
000004fe: MSTORE
000004ff: DUP1
00000500: SWAP3
00000501: SWAP2
00000502: SWAP1
00000503: DUP3
00000504: PUSH1 0x02
00000506: PUSH1 0x20
00000508: MUL
00000509: DUP1
0000050a: DUP3
0000050b: DUP5
0000050c: CALLDATACOPY
0000050d: DUP3
0000050e: ADD
0000050f: SWAP2
00000510: POP
00000511: POP
00000512: POP
00000513: POP
00000514: POP
00000515: DUP2
00000516: MSTORE
00000517: PUSH1 0x20
00000519: ADD
0000051a: SWAP1
0000051b: PUSH1 0x01
0000051d: ADD
0000051e: SWAP1
0000051f: PUSH2 0x04dc
00000522: JUMP
00000523: JUMPDEST
00000524: POP
00000525: POP
00000526: POP
00000527: POP
00000528: POP
00000529: SWAP1
0000052a: SWAP1
0000052b: SWAP2
0000052c: SWAP1
0000052d: DUP1
0000052e: CALLDATALOAD
0000052f: SWAP1
00000530: PUSH1 0x20
00000532: ADD
00000533: SWAP1
00000534: DUP3
00000535: ADD
00000536: DUP1
00000537: CALLDATALOAD
00000538: SWAP1
00000539: PUSH1 0x20
0000053b: ADD
0000053c: SWAP2
0000053d: SWAP2
0000053e: SWAP1
0000053f: DUP1
00000540: DUP1
00000541: PUSH1 0x20
00000543: MUL
00000544: PUSH1 0x20
00000546: ADD
00000547: PUSH1 0x40
00000549: MLOAD
0000054a: SWAP1
0000054b: DUP2
0000054c: ADD
0000054d: PUSH1 0x40
0000054f: MSTORE
00000550: DUP1
00000551: SWAP4
00000552: SWAP3
00000553: SWAP2
00000554: SWAP1
00000555: DUP2
00000556: DUP2
00000557: MSTORE
00000558: PUSH1 0x20
0000055a: ADD
0000055b: DUP4
0000055c: DUP4
0000055d: PUSH1 0x20
0000055f: MUL
00000560: DUP1
00000561: DUP3
00000562: DUP5
00000563: CALLDATACOPY
00000564: DUP3
00000565: ADD
00000566: SWAP2
00000567: POP
00000568: POP
00000569: POP
0000056a: POP
0000056b: POP
0000056c: POP
0000056d: SWAP1
0000056e: SWAP1
0000056f: SWAP2
00000570: SWAP1
00000571: DUP1
00000572: CALLDATALOAD
00000573: SWAP1
00000574: PUSH1 0x20
00000576: ADD
00000577: SWAP1
00000578: SWAP2
00000579: SWAP1
0000057a: POP
0000057b: POP
0000057c: PUSH2 0x0582
0000057f: JUMP
00000580: JUMPDEST
00000581: STOP
00000582: JUMPDEST
00000583: DUP4
00000584: DUP2
00000585: PUSH1 0x40
00000587: MLOAD
00000588: DUP1
00000589: DUP1
0000058a: PUSH32 0x6164644163636f756e74486f6c64657200000000000000000000000000000000
000005ab: DUP2
000005ac: MSTORE
000005ad: PUSH1 0x20
000005af: ADD
000005b0: POP
000005b1: PUSH1 0x10
000005b3: ADD
000005b4: DUP4
000005b5: PUSH4 0xffffffff
000005ba: AND
000005bb: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000005d9: MUL
000005da: DUP2
000005db: MSTORE
000005dc: PUSH1 0x04
000005de: ADD
000005df: DUP3
000005e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005f5: AND
000005f6: PUSH13 0x01000000000000000000000000
00000604: MUL
00000605: DUP2
00000606: MSTORE
00000607: PUSH1 0x14
00000609: ADD
0000060a: SWAP3
0000060b: POP
0000060c: POP
0000060d: POP
0000060e: PUSH1 0x40
00000610: MLOAD
00000611: DUP1
00000612: SWAP2
00000613: SUB
00000614: SWAP1
00000615: KECCAK256
00000616: DUP5
00000617: PUSH4 0xffffffff
0000061c: AND
0000061d: DUP5
0000061e: DUP5
0000061f: PUSH2 0x0659
00000622: DUP5
00000623: DUP5
00000624: PUSH1 0x02
00000626: PUSH1 0x00
00000628: POP
00000629: PUSH1 0x00
0000062b: ORIGIN
0000062c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000641: AND
00000642: DUP2
00000643: MSTORE
00000644: PUSH1 0x20
00000646: ADD
00000647: SWAP1
00000648: DUP2
00000649: MSTORE
0000064a: PUSH1 0x20
0000064c: ADD
0000064d: PUSH1 0x00
0000064f: KECCAK256
00000650: PUSH1 0x00
00000652: POP
00000653: DUP6
00000654: DUP6
00000655: PUSH2 0x1cc2
00000658: JUMP
00000659: JUMPDEST
0000065a: ISZERO
0000065b: PUSH2 0x07d2
0000065e: JUMPI
0000065f: ORIGIN
00000660: PUSH1 0x00
00000662: PUSH1 0x02
00000664: PUSH1 0x00
00000666: POP
00000667: PUSH1 0x00
00000669: DUP4
0000066a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000067f: AND
00000680: DUP2
00000681: MSTORE
00000682: PUSH1 0x20
00000684: ADD
00000685: SWAP1
00000686: DUP2
00000687: MSTORE
00000688: PUSH1 0x20
0000068a: ADD
0000068b: PUSH1 0x00
0000068d: KECCAK256
0000068e: PUSH1 0x00
00000690: POP
00000691: PUSH1 0x00
00000693: ADD
00000694: PUSH1 0x00
00000696: SWAP1
00000697: SLOAD
00000698: SWAP1
00000699: PUSH2 0x0100
0000069c: EXP
0000069d: SWAP1
0000069e: DIV
0000069f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006b4: AND
000006b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006ca: AND
000006cb: EQ
000006cc: ISZERO
000006cd: ISZERO
000006ce: PUSH2 0x0728
000006d1: JUMPI
000006d2: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab
000006f3: DUP2
000006f4: PUSH1 0x40
000006f6: MLOAD
000006f7: DUP1
000006f8: DUP3
000006f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000070e: AND
0000070f: DUP2
00000710: MSTORE
00000711: PUSH1 0x20
00000713: ADD
00000714: SWAP2
00000715: POP
00000716: POP
00000717: PUSH1 0x40
00000719: MLOAD
0000071a: DUP1
0000071b: SWAP2
0000071c: SUB
0000071d: SWAP1
0000071e: LOG1
0000071f: POP
00000720: POP
00000721: POP
00000722: POP
00000723: POP
00000724: PUSH2 0x082d
00000727: JUMP
00000728: JUMPDEST
00000729: PUSH2 0x0760
0000072c: PUSH1 0x02
0000072e: PUSH1 0x00
00000730: POP
00000731: PUSH1 0x00
00000733: ORIGIN
00000734: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000749: AND
0000074a: DUP2
0000074b: MSTORE
0000074c: PUSH1 0x20
0000074e: ADD
0000074f: SWAP1
00000750: DUP2
00000751: MSTORE
00000752: PUSH1 0x20
00000754: ADD
00000755: PUSH1 0x00
00000757: KECCAK256
00000758: PUSH1 0x00
0000075a: POP
0000075b: DUP8
0000075c: PUSH2 0x23a8
0000075f: JUMP
00000760: JUMPDEST
00000761: POP
00000762: PUSH32 0xbff239368e8b4bf45ee6cce5e1b0e2741ebe4948db7d7c3d54bfe5dbe803fe09
00000783: ORIGIN
00000784: DUP8
00000785: PUSH1 0x40
00000787: MLOAD
00000788: DUP1
00000789: DUP4
0000078a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000079f: AND
000007a0: DUP2
000007a1: MSTORE
000007a2: PUSH1 0x20
000007a4: ADD
000007a5: DUP3
000007a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007bb: AND
000007bc: DUP2
000007bd: MSTORE
000007be: PUSH1 0x20
000007c0: ADD
000007c1: SWAP3
000007c2: POP
000007c3: POP
000007c4: POP
000007c5: PUSH1 0x40
000007c7: MLOAD
000007c8: DUP1
000007c9: SWAP2
000007ca: SUB
000007cb: SWAP1
000007cc: LOG1
000007cd: POP
000007ce: PUSH2 0x0828
000007d1: JUMP
000007d2: JUMPDEST
000007d3: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
000007f4: ORIGIN
000007f5: PUSH1 0x40
000007f7: MLOAD
000007f8: DUP1
000007f9: DUP3
000007fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000080f: AND
00000810: DUP2
00000811: MSTORE
00000812: PUSH1 0x20
00000814: ADD
00000815: SWAP2
00000816: POP
00000817: POP
00000818: PUSH1 0x40
0000081a: MLOAD
0000081b: DUP1
0000081c: SWAP2
0000081d: SUB
0000081e: SWAP1
0000081f: LOG1
00000820: POP
00000821: POP
00000822: POP
00000823: POP
00000824: PUSH2 0x082d
00000827: JUMP
00000828: JUMPDEST
00000829: POP
0000082a: POP
0000082b: POP
0000082c: POP
0000082d: JUMPDEST
0000082e: POP
0000082f: POP
00000830: POP
00000831: POP
00000832: JUMP
00000833: JUMPDEST
00000834: DUP4
00000835: DUP2
00000836: PUSH1 0x40
00000838: MLOAD
00000839: DUP1
0000083a: DUP1
0000083b: PUSH32 0x72656d6f76654163636f756e74486f6c64657200000000000000000000000000
0000085c: DUP2
0000085d: MSTORE
0000085e: PUSH1 0x20
00000860: ADD
00000861: POP
00000862: PUSH1 0x13
00000864: ADD
00000865: DUP4
00000866: PUSH4 0xffffffff
0000086b: AND
0000086c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000088a: MUL
0000088b: DUP2
0000088c: MSTORE
0000088d: PUSH1 0x04
0000088f: ADD
00000890: DUP3
00000891: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008a6: AND
000008a7: PUSH13 0x01000000000000000000000000
000008b5: MUL
000008b6: DUP2
000008b7: MSTORE
000008b8: PUSH1 0x14
000008ba: ADD
000008bb: SWAP3
000008bc: POP
000008bd: POP
000008be: POP
000008bf: PUSH1 0x40
000008c1: MLOAD
000008c2: DUP1
000008c3: SWAP2
000008c4: SUB
000008c5: SWAP1
000008c6: KECCAK256
000008c7: DUP5
000008c8: PUSH4 0xffffffff
000008cd: AND
000008ce: DUP5
000008cf: DUP5
000008d0: PUSH2 0x090a
000008d3: DUP5
000008d4: DUP5
000008d5: PUSH1 0x02
000008d7: PUSH1 0x00
000008d9: POP
000008da: PUSH1 0x00
000008dc: ORIGIN
000008dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008f2: AND
000008f3: DUP2
000008f4: MSTORE
000008f5: PUSH1 0x20
000008f7: ADD
000008f8: SWAP1
000008f9: DUP2
000008fa: MSTORE
000008fb: PUSH1 0x20
000008fd: ADD
000008fe: PUSH1 0x00
00000900: KECCAK256
00000901: PUSH1 0x00
00000903: POP
00000904: DUP6
00000905: DUP6
00000906: PUSH2 0x1cc2
00000909: JUMP
0000090a: JUMPDEST
0000090b: ISZERO
0000090c: PUSH2 0x0a83
0000090f: JUMPI
00000910: ORIGIN
00000911: PUSH1 0x00
00000913: PUSH1 0x02
00000915: PUSH1 0x00
00000917: POP
00000918: PUSH1 0x00
0000091a: DUP4
0000091b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000930: AND
00000931: DUP2
00000932: MSTORE
00000933: PUSH1 0x20
00000935: ADD
00000936: SWAP1
00000937: DUP2
00000938: MSTORE
00000939: PUSH1 0x20
0000093b: ADD
0000093c: PUSH1 0x00
0000093e: KECCAK256
0000093f: PUSH1 0x00
00000941: POP
00000942: PUSH1 0x00
00000944: ADD
00000945: PUSH1 0x00
00000947: SWAP1
00000948: SLOAD
00000949: SWAP1
0000094a: PUSH2 0x0100
0000094d: EXP
0000094e: SWAP1
0000094f: DIV
00000950: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000965: AND
00000966: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000097b: AND
0000097c: EQ
0000097d: ISZERO
0000097e: ISZERO
0000097f: PUSH2 0x09d9
00000982: JUMPI
00000983: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab
000009a4: DUP2
000009a5: PUSH1 0x40
000009a7: MLOAD
000009a8: DUP1
000009a9: DUP3
000009aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009bf: AND
000009c0: DUP2
000009c1: MSTORE
000009c2: PUSH1 0x20
000009c4: ADD
000009c5: SWAP2
000009c6: POP
000009c7: POP
000009c8: PUSH1 0x40
000009ca: MLOAD
000009cb: DUP1
000009cc: SWAP2
000009cd: SUB
000009ce: SWAP1
000009cf: LOG1
000009d0: POP
000009d1: POP
000009d2: POP
000009d3: POP
000009d4: POP
000009d5: PUSH2 0x0ade
000009d8: JUMP
000009d9: JUMPDEST
000009da: PUSH2 0x0a11
000009dd: PUSH1 0x02
000009df: PUSH1 0x00
000009e1: POP
000009e2: PUSH1 0x00
000009e4: ORIGIN
000009e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009fa: AND
000009fb: DUP2
000009fc: MSTORE
000009fd: PUSH1 0x20
000009ff: ADD
00000a00: SWAP1
00000a01: DUP2
00000a02: MSTORE
00000a03: PUSH1 0x20
00000a05: ADD
00000a06: PUSH1 0x00
00000a08: KECCAK256
00000a09: PUSH1 0x00
00000a0b: POP
00000a0c: DUP8
00000a0d: PUSH2 0x22a8
00000a10: JUMP
00000a11: JUMPDEST
00000a12: POP
00000a13: PUSH32 0x22af60524ce682cbad24163f2031a80ec2bd0d1a76e9d56d47c36857b791cabe
00000a34: ORIGIN
00000a35: DUP8
00000a36: PUSH1 0x40
00000a38: MLOAD
00000a39: DUP1
00000a3a: DUP4
00000a3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a50: AND
00000a51: DUP2
00000a52: MSTORE
00000a53: PUSH1 0x20
00000a55: ADD
00000a56: DUP3
00000a57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a6c: AND
00000a6d: DUP2
00000a6e: MSTORE
00000a6f: PUSH1 0x20
00000a71: ADD
00000a72: SWAP3
00000a73: POP
00000a74: POP
00000a75: POP
00000a76: PUSH1 0x40
00000a78: MLOAD
00000a79: DUP1
00000a7a: SWAP2
00000a7b: SUB
00000a7c: SWAP1
00000a7d: LOG1
00000a7e: POP
00000a7f: PUSH2 0x0ad9
00000a82: JUMP
00000a83: JUMPDEST
00000a84: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
00000aa5: ORIGIN
00000aa6: PUSH1 0x40
00000aa8: MLOAD
00000aa9: DUP1
00000aaa: DUP3
00000aab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac0: AND
00000ac1: DUP2
00000ac2: MSTORE
00000ac3: PUSH1 0x20
00000ac5: ADD
00000ac6: SWAP2
00000ac7: POP
00000ac8: POP
00000ac9: PUSH1 0x40
00000acb: MLOAD
00000acc: DUP1
00000acd: SWAP2
00000ace: SUB
00000acf: SWAP1
00000ad0: LOG1
00000ad1: POP
00000ad2: POP
00000ad3: POP
00000ad4: POP
00000ad5: PUSH2 0x0ade
00000ad8: JUMP
00000ad9: JUMPDEST
00000ada: POP
00000adb: POP
00000adc: POP
00000add: POP
00000ade: JUMPDEST
00000adf: POP
00000ae0: POP
00000ae1: POP
00000ae2: POP
00000ae3: JUMP
00000ae4: JUMPDEST
00000ae5: DUP4
00000ae6: DUP2
00000ae7: PUSH1 0x40
00000ae9: MLOAD
00000aea: DUP1
00000aeb: DUP1
00000aec: PUSH32 0x6368616e67654163636f756e745369676e735265717569726564000000000000
00000b0d: DUP2
00000b0e: MSTORE
00000b0f: PUSH1 0x20
00000b11: ADD
00000b12: POP
00000b13: PUSH1 0x1a
00000b15: ADD
00000b16: DUP4
00000b17: PUSH4 0xffffffff
00000b1c: AND
00000b1d: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000b3b: MUL
00000b3c: DUP2
00000b3d: MSTORE
00000b3e: PUSH1 0x04
00000b40: ADD
00000b41: DUP3
00000b42: PUSH1 0xff
00000b44: AND
00000b45: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
00000b66: MUL
00000b67: DUP2
00000b68: MSTORE
00000b69: PUSH1 0x01
00000b6b: ADD
00000b6c: SWAP3
00000b6d: POP
00000b6e: POP
00000b6f: POP
00000b70: PUSH1 0x40
00000b72: MLOAD
00000b73: DUP1
00000b74: SWAP2
00000b75: SUB
00000b76: SWAP1
00000b77: KECCAK256
00000b78: DUP5
00000b79: PUSH4 0xffffffff
00000b7e: AND
00000b7f: DUP5
00000b80: DUP5
00000b81: PUSH2 0x0bbb
00000b84: DUP5
00000b85: DUP5
00000b86: PUSH1 0x02
00000b88: PUSH1 0x00
00000b8a: POP
00000b8b: PUSH1 0x00
00000b8d: ORIGIN
00000b8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba3: AND
00000ba4: DUP2
00000ba5: MSTORE
00000ba6: PUSH1 0x20
00000ba8: ADD
00000ba9: SWAP1
00000baa: DUP2
00000bab: MSTORE
00000bac: PUSH1 0x20
00000bae: ADD
00000baf: PUSH1 0x00
00000bb1: KECCAK256
00000bb2: PUSH1 0x00
00000bb4: POP
00000bb5: DUP6
00000bb6: DUP6
00000bb7: PUSH2 0x1cc2
00000bba: JUMP
00000bbb: JUMPDEST
00000bbc: ISZERO
00000bbd: PUSH2 0x0d21
00000bc0: JUMPI
00000bc1: ORIGIN
00000bc2: PUSH1 0x00
00000bc4: PUSH1 0x02
00000bc6: PUSH1 0x00
00000bc8: POP
00000bc9: PUSH1 0x00
00000bcb: DUP4
00000bcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000be1: AND
00000be2: DUP2
00000be3: MSTORE
00000be4: PUSH1 0x20
00000be6: ADD
00000be7: SWAP1
00000be8: DUP2
00000be9: MSTORE
00000bea: PUSH1 0x20
00000bec: ADD
00000bed: PUSH1 0x00
00000bef: KECCAK256
00000bf0: PUSH1 0x00
00000bf2: POP
00000bf3: PUSH1 0x00
00000bf5: ADD
00000bf6: PUSH1 0x00
00000bf8: SWAP1
00000bf9: SLOAD
00000bfa: SWAP1
00000bfb: PUSH2 0x0100
00000bfe: EXP
00000bff: SWAP1
00000c00: DIV
00000c01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c16: AND
00000c17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c2c: AND
00000c2d: EQ
00000c2e: ISZERO
00000c2f: ISZERO
00000c30: PUSH2 0x0c8a
00000c33: JUMPI
00000c34: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab
00000c55: DUP2
00000c56: PUSH1 0x40
00000c58: MLOAD
00000c59: DUP1
00000c5a: DUP3
00000c5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c70: AND
00000c71: DUP2
00000c72: MSTORE
00000c73: PUSH1 0x20
00000c75: ADD
00000c76: SWAP2
00000c77: POP
00000c78: POP
00000c79: PUSH1 0x40
00000c7b: MLOAD
00000c7c: DUP1
00000c7d: SWAP2
00000c7e: SUB
00000c7f: SWAP1
00000c80: LOG1
00000c81: POP
00000c82: POP
00000c83: POP
00000c84: POP
00000c85: POP
00000c86: PUSH2 0x0d7c
00000c89: JUMP
00000c8a: JUMPDEST
00000c8b: PUSH2 0x0cc2
00000c8e: PUSH1 0x02
00000c90: PUSH1 0x00
00000c92: POP
00000c93: PUSH1 0x00
00000c95: ORIGIN
00000c96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cab: AND
00000cac: DUP2
00000cad: MSTORE
00000cae: PUSH1 0x20
00000cb0: ADD
00000cb1: SWAP1
00000cb2: DUP2
00000cb3: MSTORE
00000cb4: PUSH1 0x20
00000cb6: ADD
00000cb7: PUSH1 0x00
00000cb9: KECCAK256
00000cba: PUSH1 0x00
00000cbc: POP
00000cbd: DUP8
00000cbe: PUSH2 0x2474
00000cc1: JUMP
00000cc2: JUMPDEST
00000cc3: POP
00000cc4: PUSH32 0x6e4df7e2970df77ef3a702610e1fb0bd668283a8c0e3c91f90938b5a7efc0acc
00000ce5: ORIGIN
00000ce6: DUP8
00000ce7: PUSH1 0x40
00000ce9: MLOAD
00000cea: DUP1
00000ceb: DUP4
00000cec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d01: AND
00000d02: DUP2
00000d03: MSTORE
00000d04: PUSH1 0x20
00000d06: ADD
00000d07: DUP3
00000d08: PUSH1 0xff
00000d0a: AND
00000d0b: DUP2
00000d0c: MSTORE
00000d0d: PUSH1 0x20
00000d0f: ADD
00000d10: SWAP3
00000d11: POP
00000d12: POP
00000d13: POP
00000d14: PUSH1 0x40
00000d16: MLOAD
00000d17: DUP1
00000d18: SWAP2
00000d19: SUB
00000d1a: SWAP1
00000d1b: LOG1
00000d1c: POP
00000d1d: PUSH2 0x0d77
00000d20: JUMP
00000d21: JUMPDEST
00000d22: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
00000d43: ORIGIN
00000d44: PUSH1 0x40
00000d46: MLOAD
00000d47: DUP1
00000d48: DUP3
00000d49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d5e: AND
00000d5f: DUP2
00000d60: MSTORE
00000d61: PUSH1 0x20
00000d63: ADD
00000d64: SWAP2
00000d65: POP
00000d66: POP
00000d67: PUSH1 0x40
00000d69: MLOAD
00000d6a: DUP1
00000d6b: SWAP2
00000d6c: SUB
00000d6d: SWAP1
00000d6e: LOG1
00000d6f: POP
00000d70: POP
00000d71: POP
00000d72: POP
00000d73: PUSH2 0x0d7c
00000d76: JUMP
00000d77: JUMPDEST
00000d78: POP
00000d79: POP
00000d7a: POP
00000d7b: POP
00000d7c: JUMPDEST
00000d7d: POP
00000d7e: POP
00000d7f: POP
00000d80: POP
00000d81: JUMP
00000d82: JUMPDEST
00000d83: PUSH1 0x00
00000d85: DUP5
00000d86: DUP3
00000d87: PUSH1 0x40
00000d89: MLOAD
00000d8a: DUP1
00000d8b: DUP1
00000d8c: PUSH32 0x7265636f7665724163636f756e74000000000000000000000000000000000000
00000dad: DUP2
00000dae: MSTORE
00000daf: PUSH1 0x20
00000db1: ADD
00000db2: POP
00000db3: PUSH1 0x0e
00000db5: ADD
00000db6: DUP4
00000db7: PUSH4 0xffffffff
00000dbc: AND
00000dbd: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000ddb: MUL
00000ddc: DUP2
00000ddd: MSTORE
00000dde: PUSH1 0x04
00000de0: ADD
00000de1: DUP3
00000de2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df7: AND
00000df8: PUSH13 0x01000000000000000000000000
00000e06: MUL
00000e07: DUP2
00000e08: MSTORE
00000e09: PUSH1 0x14
00000e0b: ADD
00000e0c: SWAP3
00000e0d: POP
00000e0e: POP
00000e0f: POP
00000e10: PUSH1 0x40
00000e12: MLOAD
00000e13: DUP1
00000e14: SWAP2
00000e15: SUB
00000e16: SWAP1
00000e17: KECCAK256
00000e18: DUP6
00000e19: PUSH4 0xffffffff
00000e1e: AND
00000e1f: DUP6
00000e20: DUP6
00000e21: PUSH2 0x0e5b
00000e24: DUP5
00000e25: DUP5
00000e26: PUSH1 0x02
00000e28: PUSH1 0x00
00000e2a: POP
00000e2b: PUSH1 0x00
00000e2d: ORIGIN
00000e2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e43: AND
00000e44: DUP2
00000e45: MSTORE
00000e46: PUSH1 0x20
00000e48: ADD
00000e49: SWAP1
00000e4a: DUP2
00000e4b: MSTORE
00000e4c: PUSH1 0x20
00000e4e: ADD
00000e4f: PUSH1 0x00
00000e51: KECCAK256
00000e52: PUSH1 0x00
00000e54: POP
00000e55: DUP6
00000e56: DUP6
00000e57: PUSH2 0x1cc2
00000e5a: JUMP
00000e5b: JUMPDEST
00000e5c: ISZERO
00000e5d: PUSH2 0x103a
00000e60: JUMPI
00000e61: ORIGIN
00000e62: PUSH1 0x00
00000e64: PUSH1 0x02
00000e66: PUSH1 0x00
00000e68: POP
00000e69: PUSH1 0x00
00000e6b: DUP4
00000e6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e81: AND
00000e82: DUP2
00000e83: MSTORE
00000e84: PUSH1 0x20
00000e86: ADD
00000e87: SWAP1
00000e88: DUP2
00000e89: MSTORE
00000e8a: PUSH1 0x20
00000e8c: ADD
00000e8d: PUSH1 0x00
00000e8f: KECCAK256
00000e90: PUSH1 0x00
00000e92: POP
00000e93: PUSH1 0x00
00000e95: ADD
00000e96: PUSH1 0x00
00000e98: SWAP1
00000e99: SLOAD
00000e9a: SWAP1
00000e9b: PUSH2 0x0100
00000e9e: EXP
00000e9f: SWAP1
00000ea0: DIV
00000ea1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eb6: AND
00000eb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ecc: AND
00000ecd: EQ
00000ece: ISZERO
00000ecf: ISZERO
00000ed0: PUSH2 0x0f2a
00000ed3: JUMPI
00000ed4: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab
00000ef5: DUP2
00000ef6: PUSH1 0x40
00000ef8: MLOAD
00000ef9: DUP1
00000efa: DUP3
00000efb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f10: AND
00000f11: DUP2
00000f12: MSTORE
00000f13: PUSH1 0x20
00000f15: ADD
00000f16: SWAP2
00000f17: POP
00000f18: POP
00000f19: PUSH1 0x40
00000f1b: MLOAD
00000f1c: DUP1
00000f1d: SWAP2
00000f1e: SUB
00000f1f: SWAP1
00000f20: LOG1
00000f21: POP
00000f22: POP
00000f23: POP
00000f24: POP
00000f25: POP
00000f26: PUSH2 0x1095
00000f29: JUMP
00000f2a: JUMPDEST
00000f2b: PUSH1 0x02
00000f2d: PUSH1 0x00
00000f2f: POP
00000f30: PUSH1 0x00
00000f32: ORIGIN
00000f33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f48: AND
00000f49: DUP2
00000f4a: MSTORE
00000f4b: PUSH1 0x20
00000f4d: ADD
00000f4e: SWAP1
00000f4f: DUP2
00000f50: MSTORE
00000f51: PUSH1 0x20
00000f53: ADD
00000f54: PUSH1 0x00
00000f56: KECCAK256
00000f57: PUSH1 0x00
00000f59: POP
00000f5a: PUSH1 0x03
00000f5c: ADD
00000f5d: PUSH1 0x00
00000f5f: POP
00000f60: SLOAD
00000f61: SWAP6
00000f62: POP
00000f63: DUP6
00000f64: PUSH1 0x02
00000f66: PUSH1 0x00
00000f68: POP
00000f69: PUSH1 0x00
00000f6b: DUP10
00000f6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f81: AND
00000f82: DUP2
00000f83: MSTORE
00000f84: PUSH1 0x20
00000f86: ADD
00000f87: SWAP1
00000f88: DUP2
00000f89: MSTORE
00000f8a: PUSH1 0x20
00000f8c: ADD
00000f8d: PUSH1 0x00
00000f8f: KECCAK256
00000f90: PUSH1 0x00
00000f92: POP
00000f93: PUSH1 0x03
00000f95: ADD
00000f96: PUSH1 0x00
00000f98: DUP3
00000f99: DUP3
00000f9a: DUP3
00000f9b: POP
00000f9c: SLOAD
00000f9d: ADD
00000f9e: SWAP3
00000f9f: POP
00000fa0: POP
00000fa1: DUP2
00000fa2: SWAP1
00000fa3: SSTORE
00000fa4: POP
00000fa5: PUSH1 0x00
00000fa7: PUSH1 0x02
00000fa9: PUSH1 0x00
00000fab: POP
00000fac: PUSH1 0x00
00000fae: ORIGIN
00000faf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fc4: AND
00000fc5: DUP2
00000fc6: MSTORE
00000fc7: PUSH1 0x20
00000fc9: ADD
00000fca: SWAP1
00000fcb: DUP2
00000fcc: MSTORE
00000fcd: PUSH1 0x20
00000fcf: ADD
00000fd0: PUSH1 0x00
00000fd2: KECCAK256
00000fd3: PUSH1 0x00
00000fd5: POP
00000fd6: PUSH1 0x03
00000fd8: ADD
00000fd9: PUSH1 0x00
00000fdb: POP
00000fdc: DUP2
00000fdd: SWAP1
00000fde: SSTORE
00000fdf: POP
00000fe0: PUSH32 0x17c6e25ab465631dc2ebb2a44b74d34c9e88f03c9ba4fab16b922679985f7998
00001001: DUP8
00001002: DUP8
00001003: PUSH1 0x40
00001005: MLOAD
00001006: DUP1
00001007: DUP4
00001008: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000101d: AND
0000101e: DUP2
0000101f: MSTORE
00001020: PUSH1 0x20
00001022: ADD
00001023: DUP3
00001024: DUP2
00001025: MSTORE
00001026: PUSH1 0x20
00001028: ADD
00001029: SWAP3
0000102a: POP
0000102b: POP
0000102c: POP
0000102d: PUSH1 0x40
0000102f: MLOAD
00001030: DUP1
00001031: SWAP2
00001032: SUB
00001033: SWAP1
00001034: LOG1
00001035: POP
00001036: PUSH2 0x1090
00001039: JUMP
0000103a: JUMPDEST
0000103b: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
0000105c: ORIGIN
0000105d: PUSH1 0x40
0000105f: MLOAD
00001060: DUP1
00001061: DUP3
00001062: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001077: AND
00001078: DUP2
00001079: MSTORE
0000107a: PUSH1 0x20
0000107c: ADD
0000107d: SWAP2
0000107e: POP
0000107f: POP
00001080: PUSH1 0x40
00001082: MLOAD
00001083: DUP1
00001084: SWAP2
00001085: SUB
00001086: SWAP1
00001087: LOG1
00001088: POP
00001089: POP
0000108a: POP
0000108b: POP
0000108c: PUSH2 0x1095
0000108f: JUMP
00001090: JUMPDEST
00001091: POP
00001092: POP
00001093: POP
00001094: POP
00001095: JUMPDEST
00001096: POP
00001097: POP
00001098: POP
00001099: POP
0000109a: POP
0000109b: JUMP
0000109c: JUMPDEST
0000109d: PUSH1 0x00
0000109f: DUP6
000010a0: ORIGIN
000010a1: DUP5
000010a2: DUP5
000010a3: PUSH1 0x40
000010a5: MLOAD
000010a6: DUP1
000010a7: DUP1
000010a8: PUSH32 0x7472616e73666572000000000000000000000000000000000000000000000000
000010c9: DUP2
000010ca: MSTORE
000010cb: PUSH1 0x20
000010cd: ADD
000010ce: POP
000010cf: PUSH1 0x08
000010d1: ADD
000010d2: DUP6
000010d3: PUSH4 0xffffffff
000010d8: AND
000010d9: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000010f7: MUL
000010f8: DUP2
000010f9: MSTORE
000010fa: PUSH1 0x04
000010fc: ADD
000010fd: DUP5
000010fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001113: AND
00001114: PUSH13 0x01000000000000000000000000
00001122: MUL
00001123: DUP2
00001124: MSTORE
00001125: PUSH1 0x14
00001127: ADD
00001128: DUP4
00001129: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000113e: AND
0000113f: PUSH13 0x01000000000000000000000000
0000114d: MUL
0000114e: DUP2
0000114f: MSTORE
00001150: PUSH1 0x14
00001152: ADD
00001153: DUP3
00001154: DUP2
00001155: MSTORE
00001156: PUSH1 0x20
00001158: ADD
00001159: SWAP5
0000115a: POP
0000115b: POP
0000115c: POP
0000115d: POP
0000115e: POP
0000115f: PUSH1 0x40
00001161: MLOAD
00001162: DUP1
00001163: SWAP2
00001164: SUB
00001165: SWAP1
00001166: KECCAK256
00001167: DUP7
00001168: PUSH4 0xffffffff
0000116d: AND
0000116e: DUP7
0000116f: DUP7
00001170: PUSH2 0x11aa
00001173: DUP5
00001174: DUP5
00001175: PUSH1 0x02
00001177: PUSH1 0x00
00001179: POP
0000117a: PUSH1 0x00
0000117c: ORIGIN
0000117d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001192: AND
00001193: DUP2
00001194: MSTORE
00001195: PUSH1 0x20
00001197: ADD
00001198: SWAP1
00001199: DUP2
0000119a: MSTORE
0000119b: PUSH1 0x20
0000119d: ADD
0000119e: PUSH1 0x00
000011a0: KECCAK256
000011a1: PUSH1 0x00
000011a3: POP
000011a4: DUP6
000011a5: DUP6
000011a6: PUSH2 0x1cc2
000011a9: JUMP
000011aa: JUMPDEST
000011ab: ISZERO
000011ac: PUSH2 0x1509
000011af: JUMPI
000011b0: ORIGIN
000011b1: PUSH1 0x00
000011b3: PUSH1 0x02
000011b5: PUSH1 0x00
000011b7: POP
000011b8: PUSH1 0x00
000011ba: DUP4
000011bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d0: AND
000011d1: DUP2
000011d2: MSTORE
000011d3: PUSH1 0x20
000011d5: ADD
000011d6: SWAP1
000011d7: DUP2
000011d8: MSTORE
000011d9: PUSH1 0x20
000011db: ADD
000011dc: PUSH1 0x00
000011de: KECCAK256
000011df: PUSH1 0x00
000011e1: POP
000011e2: PUSH1 0x00
000011e4: ADD
000011e5: PUSH1 0x00
000011e7: SWAP1
000011e8: SLOAD
000011e9: SWAP1
000011ea: PUSH2 0x0100
000011ed: EXP
000011ee: SWAP1
000011ef: DIV
000011f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001205: AND
00001206: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000121b: AND
0000121c: EQ
0000121d: ISZERO
0000121e: ISZERO
0000121f: PUSH2 0x1279
00001222: JUMPI
00001223: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab
00001244: DUP2
00001245: PUSH1 0x40
00001247: MLOAD
00001248: DUP1
00001249: DUP3
0000124a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000125f: AND
00001260: DUP2
00001261: MSTORE
00001262: PUSH1 0x20
00001264: ADD
00001265: SWAP2
00001266: POP
00001267: POP
00001268: PUSH1 0x40
0000126a: MLOAD
0000126b: DUP1
0000126c: SWAP2
0000126d: SUB
0000126e: SWAP1
0000126f: LOG1
00001270: POP
00001271: POP
00001272: POP
00001273: POP
00001274: POP
00001275: PUSH2 0x1564
00001278: JUMP
00001279: JUMPDEST
0000127a: DUP8
0000127b: PUSH1 0x00
0000127d: PUSH1 0x02
0000127f: PUSH1 0x00
00001281: POP
00001282: PUSH1 0x00
00001284: DUP4
00001285: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000129a: AND
0000129b: DUP2
0000129c: MSTORE
0000129d: PUSH1 0x20
0000129f: ADD
000012a0: SWAP1
000012a1: DUP2
000012a2: MSTORE
000012a3: PUSH1 0x20
000012a5: ADD
000012a6: PUSH1 0x00
000012a8: KECCAK256
000012a9: PUSH1 0x00
000012ab: POP
000012ac: PUSH1 0x00
000012ae: ADD
000012af: PUSH1 0x00
000012b1: SWAP1
000012b2: SLOAD
000012b3: SWAP1
000012b4: PUSH2 0x0100
000012b7: EXP
000012b8: SWAP1
000012b9: DIV
000012ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012cf: AND
000012d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e5: AND
000012e6: EQ
000012e7: ISZERO
000012e8: ISZERO
000012e9: PUSH2 0x1344
000012ec: JUMPI
000012ed: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab
0000130e: DUP2
0000130f: PUSH1 0x40
00001311: MLOAD
00001312: DUP1
00001313: DUP3
00001314: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001329: AND
0000132a: DUP2
0000132b: MSTORE
0000132c: PUSH1 0x20
0000132e: ADD
0000132f: SWAP2
00001330: POP
00001331: POP
00001332: PUSH1 0x40
00001334: MLOAD
00001335: DUP1
00001336: SWAP2
00001337: SUB
00001338: SWAP1
00001339: LOG1
0000133a: POP
0000133b: POP
0000133c: POP
0000133d: POP
0000133e: POP
0000133f: POP
00001340: PUSH2 0x1564
00001343: JUMP
00001344: JUMPDEST
00001345: DUP8
00001346: PUSH1 0x02
00001348: PUSH1 0x00
0000134a: POP
0000134b: PUSH1 0x00
0000134d: ORIGIN
0000134e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001363: AND
00001364: DUP2
00001365: MSTORE
00001366: PUSH1 0x20
00001368: ADD
00001369: SWAP1
0000136a: DUP2
0000136b: MSTORE
0000136c: PUSH1 0x20
0000136e: ADD
0000136f: PUSH1 0x00
00001371: KECCAK256
00001372: PUSH1 0x00
00001374: POP
00001375: PUSH1 0x03
00001377: ADD
00001378: PUSH1 0x00
0000137a: POP
0000137b: SLOAD
0000137c: LT
0000137d: ISZERO
0000137e: ISZERO
0000137f: PUSH2 0x14f4
00001382: JUMPI
00001383: DUP8
00001384: PUSH1 0x02
00001386: PUSH1 0x00
00001388: POP
00001389: PUSH1 0x00
0000138b: ORIGIN
0000138c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a1: AND
000013a2: DUP2
000013a3: MSTORE
000013a4: PUSH1 0x20
000013a6: ADD
000013a7: SWAP1
000013a8: DUP2
000013a9: MSTORE
000013aa: PUSH1 0x20
000013ac: ADD
000013ad: PUSH1 0x00
000013af: KECCAK256
000013b0: PUSH1 0x00
000013b2: POP
000013b3: PUSH1 0x03
000013b5: ADD
000013b6: PUSH1 0x00
000013b8: POP
000013b9: SLOAD
000013ba: SUB
000013bb: PUSH1 0x02
000013bd: PUSH1 0x00
000013bf: POP
000013c0: PUSH1 0x00
000013c2: ORIGIN
000013c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013d8: AND
000013d9: DUP2
000013da: MSTORE
000013db: PUSH1 0x20
000013dd: ADD
000013de: SWAP1
000013df: DUP2
000013e0: MSTORE
000013e1: PUSH1 0x20
000013e3: ADD
000013e4: PUSH1 0x00
000013e6: KECCAK256
000013e7: PUSH1 0x00
000013e9: POP
000013ea: PUSH1 0x03
000013ec: ADD
000013ed: PUSH1 0x00
000013ef: POP
000013f0: DUP2
000013f1: SWAP1
000013f2: SSTORE
000013f3: POP
000013f4: DUP8
000013f5: PUSH1 0x02
000013f7: PUSH1 0x00
000013f9: POP
000013fa: PUSH1 0x00
000013fc: DUP12
000013fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001412: AND
00001413: DUP2
00001414: MSTORE
00001415: PUSH1 0x20
00001417: ADD
00001418: SWAP1
00001419: DUP2
0000141a: MSTORE
0000141b: PUSH1 0x20
0000141d: ADD
0000141e: PUSH1 0x00
00001420: KECCAK256
00001421: PUSH1 0x00
00001423: POP
00001424: PUSH1 0x03
00001426: ADD
00001427: PUSH1 0x00
00001429: POP
0000142a: SLOAD
0000142b: ADD
0000142c: PUSH1 0x02
0000142e: PUSH1 0x00
00001430: POP
00001431: PUSH1 0x00
00001433: DUP12
00001434: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001449: AND
0000144a: DUP2
0000144b: MSTORE
0000144c: PUSH1 0x20
0000144e: ADD
0000144f: SWAP1
00001450: DUP2
00001451: MSTORE
00001452: PUSH1 0x20
00001454: ADD
00001455: PUSH1 0x00
00001457: KECCAK256
00001458: PUSH1 0x00
0000145a: POP
0000145b: PUSH1 0x03
0000145d: ADD
0000145e: PUSH1 0x00
00001460: POP
00001461: DUP2
00001462: SWAP1
00001463: SSTORE
00001464: POP
00001465: PUSH32 0xf4b6b12773a7000ee84e1736044fa4864d44afcd8ffdc5ed7ffa63c2e1658191
00001486: ORIGIN
00001487: DUP11
00001488: DUP15
00001489: DUP12
0000148a: PUSH1 0x40
0000148c: MLOAD
0000148d: DUP1
0000148e: DUP6
0000148f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014a4: AND
000014a5: DUP2
000014a6: MSTORE
000014a7: PUSH1 0x20
000014a9: ADD
000014aa: DUP5
000014ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014c0: AND
000014c1: DUP2
000014c2: MSTORE
000014c3: PUSH1 0x20
000014c5: ADD
000014c6: DUP4
000014c7: PUSH4 0xffffffff
000014cc: AND
000014cd: DUP2
000014ce: MSTORE
000014cf: PUSH1 0x20
000014d1: ADD
000014d2: DUP3
000014d3: DUP2
000014d4: MSTORE
000014d5: PUSH1 0x20
000014d7: ADD
000014d8: SWAP5
000014d9: POP
000014da: POP
000014db: POP
000014dc: POP
000014dd: POP
000014de: PUSH1 0x40
000014e0: MLOAD
000014e1: DUP1
000014e2: SWAP2
000014e3: SUB
000014e4: SWAP1
000014e5: LOG1
000014e6: PUSH1 0x01
000014e8: SWAP7
000014e9: POP
000014ea: POP
000014eb: POP
000014ec: POP
000014ed: POP
000014ee: POP
000014ef: POP
000014f0: PUSH2 0x1564
000014f3: JUMP
000014f4: JUMPDEST
000014f5: PUSH1 0x00
000014f7: SWAP7
000014f8: POP
000014f9: POP
000014fa: POP
000014fb: POP
000014fc: POP
000014fd: POP
000014fe: POP
000014ff: PUSH2 0x1564
00001502: JUMP
00001503: POP
00001504: POP
00001505: PUSH2 0x155f
00001508: JUMP
00001509: JUMPDEST
0000150a: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
0000152b: ORIGIN
0000152c: PUSH1 0x40
0000152e: MLOAD
0000152f: DUP1
00001530: DUP3
00001531: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001546: AND
00001547: DUP2
00001548: MSTORE
00001549: PUSH1 0x20
0000154b: ADD
0000154c: SWAP2
0000154d: POP
0000154e: POP
0000154f: PUSH1 0x40
00001551: MLOAD
00001552: DUP1
00001553: SWAP2
00001554: SUB
00001555: SWAP1
00001556: LOG1
00001557: POP
00001558: POP
00001559: POP
0000155a: POP
0000155b: PUSH2 0x1564
0000155e: JUMP
0000155f: JUMPDEST
00001560: POP
00001561: POP
00001562: POP
00001563: POP
00001564: JUMPDEST
00001565: SWAP6
00001566: SWAP5
00001567: POP
00001568: POP
00001569: POP
0000156a: POP
0000156b: POP
0000156c: JUMP
0000156d: JUMPDEST
0000156e: PUSH1 0x00
00001570: PUSH1 0x02
00001572: PUSH1 0x00
00001574: POP
00001575: PUSH1 0x00
00001577: DUP4
00001578: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000158d: AND
0000158e: DUP2
0000158f: MSTORE
00001590: PUSH1 0x20
00001592: ADD
00001593: SWAP1
00001594: DUP2
00001595: MSTORE
00001596: PUSH1 0x20
00001598: ADD
00001599: PUSH1 0x00
0000159b: KECCAK256
0000159c: PUSH1 0x00
0000159e: POP
0000159f: PUSH1 0x03
000015a1: ADD
000015a2: PUSH1 0x00
000015a4: POP
000015a5: SLOAD
000015a6: SWAP1
000015a7: POP
000015a8: PUSH2 0x15ac
000015ab: JUMP
000015ac: JUMPDEST
000015ad: SWAP2
000015ae: SWAP1
000015af: POP
000015b0: JUMP
000015b1: JUMPDEST
000015b2: PUSH1 0x00
000015b4: ORIGIN
000015b5: PUSH1 0x00
000015b7: PUSH1 0x02
000015b9: PUSH1 0x00
000015bb: POP
000015bc: PUSH1 0x00
000015be: DUP4
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: PUSH1 0x00
000015e5: POP
000015e6: PUSH1 0x00
000015e8: ADD
000015e9: PUSH1 0x00
000015eb: SWAP1
000015ec: SLOAD
000015ed: SWAP1
000015ee: PUSH2 0x0100
000015f1: EXP
000015f2: SWAP1
000015f3: DIV
000015f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001609: AND
0000160a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000161f: AND
00001620: EQ
00001621: ISZERO
00001622: ISZERO
00001623: PUSH2 0x1679
00001626: JUMPI
00001627: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab
00001648: DUP2
00001649: PUSH1 0x40
0000164b: MLOAD
0000164c: DUP1
0000164d: DUP3
0000164e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001663: AND
00001664: DUP2
00001665: MSTORE
00001666: PUSH1 0x20
00001668: ADD
00001669: SWAP2
0000166a: POP
0000166b: POP
0000166c: PUSH1 0x40
0000166e: MLOAD
0000166f: DUP1
00001670: SWAP2
00001671: SUB
00001672: SWAP1
00001673: LOG1
00001674: POP
00001675: PUSH2 0x1cbc
00001678: JUMP
00001679: JUMPDEST
0000167a: DUP4
0000167b: PUSH1 0x00
0000167d: PUSH1 0x02
0000167f: PUSH1 0x00
00001681: POP
00001682: PUSH1 0x00
00001684: DUP4
00001685: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000169a: AND
0000169b: DUP2
0000169c: MSTORE
0000169d: PUSH1 0x20
0000169f: ADD
000016a0: SWAP1
000016a1: DUP2
000016a2: MSTORE
000016a3: PUSH1 0x20
000016a5: ADD
000016a6: PUSH1 0x00
000016a8: KECCAK256
000016a9: PUSH1 0x00
000016ab: POP
000016ac: PUSH1 0x00
000016ae: ADD
000016af: PUSH1 0x00
000016b1: SWAP1
000016b2: SLOAD
000016b3: SWAP1
000016b4: PUSH2 0x0100
000016b7: EXP
000016b8: SWAP1
000016b9: DIV
000016ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016cf: AND
000016d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016e5: AND
000016e6: EQ
000016e7: ISZERO
000016e8: ISZERO
000016e9: PUSH2 0x1740
000016ec: JUMPI
000016ed: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab
0000170e: DUP2
0000170f: PUSH1 0x40
00001711: MLOAD
00001712: DUP1
00001713: DUP3
00001714: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001729: AND
0000172a: DUP2
0000172b: MSTORE
0000172c: PUSH1 0x20
0000172e: ADD
0000172f: SWAP2
00001730: POP
00001731: POP
00001732: PUSH1 0x40
00001734: MLOAD
00001735: DUP1
00001736: SWAP2
00001737: SUB
00001738: SWAP1
00001739: LOG1
0000173a: POP
0000173b: POP
0000173c: PUSH2 0x1cbc
0000173f: JUMP
00001740: JUMPDEST
00001741: ORIGIN
00001742: PUSH1 0x00
00001744: PUSH1 0x02
00001746: PUSH1 0x00
00001748: POP
00001749: PUSH1 0x00
0000174b: DUP4
0000174c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001761: AND
00001762: DUP2
00001763: MSTORE
00001764: PUSH1 0x20
00001766: ADD
00001767: SWAP1
00001768: DUP2
00001769: MSTORE
0000176a: PUSH1 0x20
0000176c: ADD
0000176d: PUSH1 0x00
0000176f: KECCAK256
00001770: PUSH1 0x00
00001772: POP
00001773: PUSH1 0x02
00001775: ADD
00001776: PUSH1 0x00
00001778: SWAP1
00001779: SLOAD
0000177a: SWAP1
0000177b: PUSH2 0x0100
0000177e: EXP
0000177f: SWAP1
00001780: DIV
00001781: PUSH1 0xff
00001783: AND
00001784: PUSH1 0xff
00001786: AND
00001787: EQ
00001788: ISZERO
00001789: PUSH2 0x18d0
0000178c: JUMPI
0000178d: PUSH1 0x01
0000178f: PUSH1 0x02
00001791: PUSH1 0x00
00001793: POP
00001794: PUSH1 0x00
00001796: DUP4
00001797: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ac: AND
000017ad: DUP2
000017ae: MSTORE
000017af: PUSH1 0x20
000017b1: ADD
000017b2: SWAP1
000017b3: DUP2
000017b4: MSTORE
000017b5: PUSH1 0x20
000017b7: ADD
000017b8: PUSH1 0x00
000017ba: KECCAK256
000017bb: PUSH1 0x00
000017bd: POP
000017be: PUSH1 0x01
000017c0: ADD
000017c1: PUSH1 0x00
000017c3: POP
000017c4: PUSH1 0x00
000017c6: DUP4
000017c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017dc: AND
000017dd: DUP2
000017de: MSTORE
000017df: PUSH1 0x20
000017e1: ADD
000017e2: SWAP1
000017e3: DUP2
000017e4: MSTORE
000017e5: PUSH1 0x20
000017e7: ADD
000017e8: PUSH1 0x00
000017ea: KECCAK256
000017eb: PUSH1 0x00
000017ed: PUSH2 0x0100
000017f0: EXP
000017f1: DUP2
000017f2: SLOAD
000017f3: DUP2
000017f4: PUSH1 0xff
000017f6: MUL
000017f7: NOT
000017f8: AND
000017f9: SWAP1
000017fa: DUP4
000017fb: MUL
000017fc: OR
000017fd: SWAP1
000017fe: SSTORE
000017ff: POP
00001800: PUSH1 0x01
00001802: PUSH1 0x02
00001804: PUSH1 0x00
00001806: POP
00001807: PUSH1 0x00
00001809: DUP4
0000180a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000181f: AND
00001820: DUP2
00001821: MSTORE
00001822: PUSH1 0x20
00001824: ADD
00001825: SWAP1
00001826: DUP2
00001827: MSTORE
00001828: PUSH1 0x20
0000182a: ADD
0000182b: PUSH1 0x00
0000182d: KECCAK256
0000182e: PUSH1 0x00
00001830: POP
00001831: PUSH1 0x02
00001833: ADD
00001834: PUSH1 0x00
00001836: PUSH2 0x0100
00001839: EXP
0000183a: DUP2
0000183b: SLOAD
0000183c: DUP2
0000183d: PUSH1 0xff
0000183f: MUL
00001840: NOT
00001841: AND
00001842: SWAP1
00001843: DUP4
00001844: MUL
00001845: OR
00001846: SWAP1
00001847: SSTORE
00001848: POP
00001849: PUSH1 0x01
0000184b: PUSH1 0x02
0000184d: PUSH1 0x00
0000184f: POP
00001850: PUSH1 0x00
00001852: DUP4
00001853: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001868: AND
00001869: DUP2
0000186a: MSTORE
0000186b: PUSH1 0x20
0000186d: ADD
0000186e: SWAP1
0000186f: DUP2
00001870: MSTORE
00001871: PUSH1 0x20
00001873: ADD
00001874: PUSH1 0x00
00001876: KECCAK256
00001877: PUSH1 0x00
00001879: POP
0000187a: PUSH1 0x02
0000187c: ADD
0000187d: PUSH1 0x01
0000187f: PUSH2 0x0100
00001882: EXP
00001883: DUP2
00001884: SLOAD
00001885: DUP2
00001886: PUSH1 0xff
00001888: MUL
00001889: NOT
0000188a: AND
0000188b: SWAP1
0000188c: DUP4
0000188d: MUL
0000188e: OR
0000188f: SWAP1
00001890: SSTORE
00001891: POP
00001892: TIMESTAMP
00001893: PUSH1 0x02
00001895: PUSH1 0x00
00001897: POP
00001898: PUSH1 0x00
0000189a: DUP4
0000189b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018b0: AND
000018b1: DUP2
000018b2: MSTORE
000018b3: PUSH1 0x20
000018b5: ADD
000018b6: SWAP1
000018b7: DUP2
000018b8: MSTORE
000018b9: PUSH1 0x20
000018bb: ADD
000018bc: PUSH1 0x00
000018be: KECCAK256
000018bf: PUSH1 0x00
000018c1: POP
000018c2: PUSH1 0x04
000018c4: ADD
000018c5: PUSH1 0x00
000018c7: POP
000018c8: DUP2
000018c9: SWAP1
000018ca: SSTORE
000018cb: POP
000018cc: PUSH2 0x1a3c
000018cf: JUMP
000018d0: JUMPDEST
000018d1: PUSH1 0x01
000018d3: PUSH1 0x02
000018d5: PUSH1 0x00
000018d7: POP
000018d8: PUSH1 0x00
000018da: DUP4
000018db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018f0: AND
000018f1: DUP2
000018f2: MSTORE
000018f3: PUSH1 0x20
000018f5: ADD
000018f6: SWAP1
000018f7: DUP2
000018f8: MSTORE
000018f9: PUSH1 0x20
000018fb: ADD
000018fc: PUSH1 0x00
000018fe: KECCAK256
000018ff: PUSH1 0x00
00001901: POP
00001902: PUSH1 0x02
00001904: ADD
00001905: PUSH1 0x00
00001907: SWAP1
00001908: SLOAD
00001909: SWAP1
0000190a: PUSH2 0x0100
0000190d: EXP
0000190e: SWAP1
0000190f: DIV
00001910: PUSH1 0xff
00001912: AND
00001913: PUSH1 0xff
00001915: AND
00001916: EQ
00001917: ISZERO
00001918: ISZERO
00001919: PUSH2 0x1975
0000191c: JUMPI
0000191d: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
0000193e: ORIGIN
0000193f: PUSH1 0x40
00001941: MLOAD
00001942: DUP1
00001943: DUP3
00001944: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001959: AND
0000195a: DUP2
0000195b: MSTORE
0000195c: PUSH1 0x20
0000195e: ADD
0000195f: SWAP2
00001960: POP
00001961: POP
00001962: PUSH1 0x40
00001964: MLOAD
00001965: DUP1
00001966: SWAP2
00001967: SUB
00001968: SWAP1
00001969: LOG1
0000196a: POP
0000196b: POP
0000196c: POP
0000196d: PUSH2 0x1cbc
00001970: JUMP
00001971: PUSH2 0x1a3b
00001974: JUMP
00001975: JUMPDEST
00001976: PUSH1 0x02
00001978: PUSH1 0x00
0000197a: POP
0000197b: PUSH1 0x00
0000197d: DUP3
0000197e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001993: AND
00001994: DUP2
00001995: MSTORE
00001996: PUSH1 0x20
00001998: ADD
00001999: SWAP1
0000199a: DUP2
0000199b: MSTORE
0000199c: PUSH1 0x20
0000199e: ADD
0000199f: PUSH1 0x00
000019a1: KECCAK256
000019a2: PUSH1 0x00
000019a4: POP
000019a5: PUSH1 0x01
000019a7: ADD
000019a8: PUSH1 0x00
000019aa: POP
000019ab: PUSH1 0x00
000019ad: DUP3
000019ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019c3: AND
000019c4: DUP2
000019c5: MSTORE
000019c6: PUSH1 0x20
000019c8: ADD
000019c9: SWAP1
000019ca: DUP2
000019cb: MSTORE
000019cc: PUSH1 0x20
000019ce: ADD
000019cf: PUSH1 0x00
000019d1: KECCAK256
000019d2: PUSH1 0x00
000019d4: SWAP1
000019d5: SLOAD
000019d6: SWAP1
000019d7: PUSH2 0x0100
000019da: EXP
000019db: SWAP1
000019dc: DIV
000019dd: PUSH1 0xff
000019df: AND
000019e0: ISZERO
000019e1: ISZERO
000019e2: PUSH2 0x1a3a
000019e5: JUMPI
000019e6: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
00001a07: ORIGIN
00001a08: PUSH1 0x40
00001a0a: MLOAD
00001a0b: DUP1
00001a0c: DUP3
00001a0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a22: AND
00001a23: DUP2
00001a24: MSTORE
00001a25: PUSH1 0x20
00001a27: ADD
00001a28: SWAP2
00001a29: POP
00001a2a: POP
00001a2b: PUSH1 0x40
00001a2d: MLOAD
00001a2e: DUP1
00001a2f: SWAP2
00001a30: SUB
00001a31: SWAP1
00001a32: LOG1
00001a33: POP
00001a34: POP
00001a35: POP
00001a36: PUSH2 0x1cbc
00001a39: JUMP
00001a3a: JUMPDEST
00001a3b: JUMPDEST
00001a3c: JUMPDEST
00001a3d: PUSH1 0x01
00001a3f: PUSH1 0x02
00001a41: PUSH1 0x00
00001a43: POP
00001a44: PUSH1 0x00
00001a46: ORIGIN
00001a47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a5c: AND
00001a5d: DUP2
00001a5e: MSTORE
00001a5f: PUSH1 0x20
00001a61: ADD
00001a62: SWAP1
00001a63: DUP2
00001a64: MSTORE
00001a65: PUSH1 0x20
00001a67: ADD
00001a68: PUSH1 0x00
00001a6a: KECCAK256
00001a6b: PUSH1 0x00
00001a6d: POP
00001a6e: PUSH1 0x02
00001a70: ADD
00001a71: PUSH1 0x00
00001a73: SWAP1
00001a74: SLOAD
00001a75: SWAP1
00001a76: PUSH2 0x0100
00001a79: EXP
00001a7a: SWAP1
00001a7b: DIV
00001a7c: PUSH1 0xff
00001a7e: AND
00001a7f: PUSH1 0xff
00001a81: AND
00001a82: GT
00001a83: ISZERO
00001a84: PUSH2 0x1b06
00001a87: JUMPI
00001a88: PUSH32 0xe48db3e4f7cb981dfd57d43223d6a1cb2bba2f1ada71002381dc371bfa0d3d60
00001aa9: ORIGIN
00001aaa: DUP8
00001aab: DUP8
00001aac: PUSH1 0x40
00001aae: MLOAD
00001aaf: DUP1
00001ab0: DUP5
00001ab1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ac6: AND
00001ac7: DUP2
00001ac8: MSTORE
00001ac9: PUSH1 0x20
00001acb: ADD
00001acc: DUP4
00001acd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ae2: AND
00001ae3: DUP2
00001ae4: MSTORE
00001ae5: PUSH1 0x20
00001ae7: ADD
00001ae8: DUP3
00001ae9: DUP2
00001aea: MSTORE
00001aeb: PUSH1 0x20
00001aed: ADD
00001aee: SWAP4
00001aef: POP
00001af0: POP
00001af1: POP
00001af2: POP
00001af3: PUSH1 0x40
00001af5: MLOAD
00001af6: DUP1
00001af7: SWAP2
00001af8: SUB
00001af9: SWAP1
00001afa: LOG1
00001afb: PUSH1 0x00
00001afd: SWAP4
00001afe: POP
00001aff: POP
00001b00: POP
00001b01: POP
00001b02: PUSH2 0x1cbc
00001b05: JUMP
00001b06: JUMPDEST
00001b07: DUP5
00001b08: PUSH1 0x02
00001b0a: PUSH1 0x00
00001b0c: POP
00001b0d: PUSH1 0x00
00001b0f: ORIGIN
00001b10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b25: AND
00001b26: DUP2
00001b27: MSTORE
00001b28: PUSH1 0x20
00001b2a: ADD
00001b2b: SWAP1
00001b2c: DUP2
00001b2d: MSTORE
00001b2e: PUSH1 0x20
00001b30: ADD
00001b31: PUSH1 0x00
00001b33: KECCAK256
00001b34: PUSH1 0x00
00001b36: POP
00001b37: PUSH1 0x03
00001b39: ADD
00001b3a: PUSH1 0x00
00001b3c: POP
00001b3d: SLOAD
00001b3e: LT
00001b3f: ISZERO
00001b40: ISZERO
00001b41: PUSH2 0x1cad
00001b44: JUMPI
00001b45: DUP5
00001b46: PUSH1 0x02
00001b48: PUSH1 0x00
00001b4a: POP
00001b4b: PUSH1 0x00
00001b4d: ORIGIN
00001b4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b63: AND
00001b64: DUP2
00001b65: MSTORE
00001b66: PUSH1 0x20
00001b68: ADD
00001b69: SWAP1
00001b6a: DUP2
00001b6b: MSTORE
00001b6c: PUSH1 0x20
00001b6e: ADD
00001b6f: PUSH1 0x00
00001b71: KECCAK256
00001b72: PUSH1 0x00
00001b74: POP
00001b75: PUSH1 0x03
00001b77: ADD
00001b78: PUSH1 0x00
00001b7a: POP
00001b7b: SLOAD
00001b7c: SUB
00001b7d: PUSH1 0x02
00001b7f: PUSH1 0x00
00001b81: POP
00001b82: PUSH1 0x00
00001b84: ORIGIN
00001b85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b9a: AND
00001b9b: DUP2
00001b9c: MSTORE
00001b9d: PUSH1 0x20
00001b9f: ADD
00001ba0: SWAP1
00001ba1: DUP2
00001ba2: MSTORE
00001ba3: PUSH1 0x20
00001ba5: ADD
00001ba6: PUSH1 0x00
00001ba8: KECCAK256
00001ba9: PUSH1 0x00
00001bab: POP
00001bac: PUSH1 0x03
00001bae: ADD
00001baf: PUSH1 0x00
00001bb1: POP
00001bb2: DUP2
00001bb3: SWAP1
00001bb4: SSTORE
00001bb5: POP
00001bb6: DUP5
00001bb7: PUSH1 0x02
00001bb9: PUSH1 0x00
00001bbb: POP
00001bbc: PUSH1 0x00
00001bbe: DUP9
00001bbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd4: AND
00001bd5: DUP2
00001bd6: MSTORE
00001bd7: PUSH1 0x20
00001bd9: ADD
00001bda: SWAP1
00001bdb: DUP2
00001bdc: MSTORE
00001bdd: PUSH1 0x20
00001bdf: ADD
00001be0: PUSH1 0x00
00001be2: KECCAK256
00001be3: PUSH1 0x00
00001be5: POP
00001be6: PUSH1 0x03
00001be8: ADD
00001be9: PUSH1 0x00
00001beb: POP
00001bec: SLOAD
00001bed: ADD
00001bee: PUSH1 0x02
00001bf0: PUSH1 0x00
00001bf2: POP
00001bf3: PUSH1 0x00
00001bf5: DUP9
00001bf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c0b: AND
00001c0c: DUP2
00001c0d: MSTORE
00001c0e: PUSH1 0x20
00001c10: ADD
00001c11: SWAP1
00001c12: DUP2
00001c13: MSTORE
00001c14: PUSH1 0x20
00001c16: ADD
00001c17: PUSH1 0x00
00001c19: KECCAK256
00001c1a: PUSH1 0x00
00001c1c: POP
00001c1d: PUSH1 0x03
00001c1f: ADD
00001c20: PUSH1 0x00
00001c22: POP
00001c23: DUP2
00001c24: SWAP1
00001c25: SSTORE
00001c26: POP
00001c27: PUSH32 0xf4b6b12773a7000ee84e1736044fa4864d44afcd8ffdc5ed7ffa63c2e1658191
00001c48: ORIGIN
00001c49: DUP8
00001c4a: TIMESTAMP
00001c4b: DUP9
00001c4c: PUSH1 0x40
00001c4e: MLOAD
00001c4f: DUP1
00001c50: DUP6
00001c51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c66: AND
00001c67: DUP2
00001c68: MSTORE
00001c69: PUSH1 0x20
00001c6b: ADD
00001c6c: DUP5
00001c6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c82: AND
00001c83: DUP2
00001c84: MSTORE
00001c85: PUSH1 0x20
00001c87: ADD
00001c88: DUP4
00001c89: DUP2
00001c8a: MSTORE
00001c8b: PUSH1 0x20
00001c8d: ADD
00001c8e: DUP3
00001c8f: DUP2
00001c90: MSTORE
00001c91: PUSH1 0x20
00001c93: ADD
00001c94: SWAP5
00001c95: POP
00001c96: POP
00001c97: POP
00001c98: POP
00001c99: POP
00001c9a: PUSH1 0x40
00001c9c: MLOAD
00001c9d: DUP1
00001c9e: SWAP2
00001c9f: SUB
00001ca0: SWAP1
00001ca1: LOG1
00001ca2: PUSH1 0x01
00001ca4: SWAP4
00001ca5: POP
00001ca6: POP
00001ca7: POP
00001ca8: POP
00001ca9: PUSH2 0x1cbc
00001cac: JUMP
00001cad: JUMPDEST
00001cae: PUSH1 0x00
00001cb0: SWAP4
00001cb1: POP
00001cb2: POP
00001cb3: POP
00001cb4: POP
00001cb5: PUSH2 0x1cbc
00001cb8: JUMP
00001cb9: POP
00001cba: POP
00001cbb: POP
00001cbc: JUMPDEST
00001cbd: SWAP3
00001cbe: SWAP2
00001cbf: POP
00001cc0: POP
00001cc1: JUMP
00001cc2: JUMPDEST
00001cc3: PUSH1 0x00
00001cc5: PUSH1 0x00
00001cc7: PUSH1 0x00
00001cc9: PUSH1 0x00
00001ccb: PUSH1 0x00
00001ccd: PUSH1 0x40
00001ccf: PUSH1 0x40
00001cd1: MLOAD
00001cd2: SWAP1
00001cd3: DUP2
00001cd4: ADD
00001cd5: PUSH1 0x40
00001cd7: MSTORE
00001cd8: DUP1
00001cd9: PUSH1 0x02
00001cdb: SWAP1
00001cdc: JUMPDEST
00001cdd: PUSH1 0x00
00001cdf: DUP2
00001ce0: MSTORE
00001ce1: PUSH1 0x20
00001ce3: ADD
00001ce4: SWAP1
00001ce5: PUSH1 0x01
00001ce7: SWAP1
00001ce8: SUB
00001ce9: SWAP1
00001cea: DUP2
00001ceb: PUSH2 0x1cdc
00001cee: JUMPI
00001cef: SWAP1
00001cf0: POP
00001cf1: POP
00001cf2: PUSH1 0x00
00001cf4: PUSH1 0x00
00001cf6: DUP12
00001cf7: DUP12
00001cf8: PUSH1 0x04
00001cfa: ADD
00001cfb: PUSH1 0x00
00001cfd: POP
00001cfe: SLOAD
00001cff: LT
00001d00: ISZERO
00001d01: ISZERO
00001d02: PUSH2 0x1d5b
00001d05: JUMPI
00001d06: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
00001d27: ORIGIN
00001d28: PUSH1 0x40
00001d2a: MLOAD
00001d2b: DUP1
00001d2c: DUP3
00001d2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d42: AND
00001d43: DUP2
00001d44: MSTORE
00001d45: PUSH1 0x20
00001d47: ADD
00001d48: SWAP2
00001d49: POP
00001d4a: POP
00001d4b: PUSH1 0x40
00001d4d: MLOAD
00001d4e: DUP1
00001d4f: SWAP2
00001d50: SUB
00001d51: SWAP1
00001d52: LOG1
00001d53: PUSH1 0x00
00001d55: SWAP8
00001d56: POP
00001d57: PUSH2 0x2298
00001d5a: JUMP
00001d5b: JUMPDEST
00001d5c: DUP12
00001d5d: TIMESTAMP
00001d5e: SUB
00001d5f: SWAP7
00001d60: POP
00001d61: PUSH1 0x00
00001d63: PUSH1 0x00
00001d65: POP
00001d66: SLOAD
00001d67: DUP8
00001d68: GT
00001d69: DUP1
00001d6a: PUSH2 0x1d77
00001d6d: JUMPI
00001d6e: POP
00001d6f: PUSH1 0x01
00001d71: PUSH1 0x00
00001d73: POP
00001d74: SLOAD
00001d75: DUP8
00001d76: LT
00001d77: JUMPDEST
00001d78: ISZERO
00001d79: PUSH2 0x1dd2
00001d7c: JUMPI
00001d7d: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
00001d9e: ORIGIN
00001d9f: PUSH1 0x40
00001da1: MLOAD
00001da2: DUP1
00001da3: DUP3
00001da4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001db9: AND
00001dba: DUP2
00001dbb: MSTORE
00001dbc: PUSH1 0x20
00001dbe: ADD
00001dbf: SWAP2
00001dc0: POP
00001dc1: POP
00001dc2: PUSH1 0x40
00001dc4: MLOAD
00001dc5: DUP1
00001dc6: SWAP2
00001dc7: SUB
00001dc8: SWAP1
00001dc9: LOG1
00001dca: PUSH1 0x00
00001dcc: SWAP8
00001dcd: POP
00001dce: PUSH2 0x2298
00001dd1: JUMP
00001dd2: JUMPDEST
00001dd3: PUSH1 0x01
00001dd5: DUP12
00001dd6: PUSH1 0x02
00001dd8: ADD
00001dd9: PUSH1 0x00
00001ddb: SWAP1
00001ddc: SLOAD
00001ddd: SWAP1
00001dde: PUSH2 0x0100
00001de1: EXP
00001de2: SWAP1
00001de3: DIV
00001de4: PUSH1 0xff
00001de6: AND
00001de7: PUSH1 0xff
00001de9: AND
00001dea: GT
00001deb: ISZERO
00001dec: ISZERO
00001ded: PUSH2 0x1e46
00001df0: JUMPI
00001df1: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
00001e12: ORIGIN
00001e13: PUSH1 0x40
00001e15: MLOAD
00001e16: DUP1
00001e17: DUP3
00001e18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e2d: AND
00001e2e: DUP2
00001e2f: MSTORE
00001e30: PUSH1 0x20
00001e32: ADD
00001e33: SWAP2
00001e34: POP
00001e35: POP
00001e36: PUSH1 0x40
00001e38: MLOAD
00001e39: DUP1
00001e3a: SWAP2
00001e3b: SUB
00001e3c: SWAP1
00001e3d: LOG1
00001e3e: PUSH1 0x00
00001e40: SWAP8
00001e41: POP
00001e42: PUSH2 0x2298
00001e45: JUMP
00001e46: JUMPDEST
00001e47: PUSH1 0x00
00001e49: DUP12
00001e4a: PUSH1 0x00
00001e4c: ADD
00001e4d: PUSH1 0x00
00001e4f: SWAP1
00001e50: SLOAD
00001e51: SWAP1
00001e52: PUSH2 0x0100
00001e55: EXP
00001e56: SWAP1
00001e57: DIV
00001e58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e6d: AND
00001e6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e83: AND
00001e84: EQ
00001e85: ISZERO
00001e86: ISZERO
00001e87: PUSH2 0x1ee0
00001e8a: JUMPI
00001e8b: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
00001eac: ORIGIN
00001ead: PUSH1 0x40
00001eaf: MLOAD
00001eb0: DUP1
00001eb1: DUP3
00001eb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ec7: AND
00001ec8: DUP2
00001ec9: MSTORE
00001eca: PUSH1 0x20
00001ecc: ADD
00001ecd: SWAP2
00001ece: POP
00001ecf: POP
00001ed0: PUSH1 0x40
00001ed2: MLOAD
00001ed3: DUP1
00001ed4: SWAP2
00001ed5: SUB
00001ed6: SWAP1
00001ed7: LOG1
00001ed8: PUSH1 0x00
00001eda: SWAP8
00001edb: POP
00001edc: PUSH2 0x2298
00001edf: JUMP
00001ee0: JUMPDEST
00001ee1: DUP11
00001ee2: PUSH1 0x02
00001ee4: ADD
00001ee5: PUSH1 0x01
00001ee7: SWAP1
00001ee8: SLOAD
00001ee9: SWAP1
00001eea: PUSH2 0x0100
00001eed: EXP
00001eee: SWAP1
00001eef: DIV
00001ef0: PUSH1 0xff
00001ef2: AND
00001ef3: PUSH1 0xff
00001ef5: AND
00001ef6: DUP11
00001ef7: MLOAD
00001ef8: LT
00001ef9: DUP1
00001efa: PUSH2 0x1f25
00001efd: JUMPI
00001efe: POP
00001eff: DUP11
00001f00: PUSH1 0x02
00001f02: ADD
00001f03: PUSH1 0x01
00001f05: SWAP1
00001f06: SLOAD
00001f07: SWAP1
00001f08: PUSH2 0x0100
00001f0b: EXP
00001f0c: SWAP1
00001f0d: DIV
00001f0e: PUSH1 0xff
00001f10: AND
00001f11: PUSH1 0xff
00001f13: AND
00001f14: DUP10
00001f15: MLOAD
00001f16: LT
00001f17: DUP1
00001f18: ISZERO
00001f19: PUSH2 0x1f24
00001f1c: JUMPI
00001f1d: POP
00001f1e: DUP9
00001f1f: MLOAD
00001f20: DUP11
00001f21: MLOAD
00001f22: EQ
00001f23: ISZERO
00001f24: JUMPDEST
00001f25: JUMPDEST
00001f26: ISZERO
00001f27: PUSH2 0x1f80
00001f2a: JUMPI
00001f2b: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
00001f4c: ORIGIN
00001f4d: PUSH1 0x40
00001f4f: MLOAD
00001f50: DUP1
00001f51: DUP3
00001f52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f67: AND
00001f68: DUP2
00001f69: MSTORE
00001f6a: PUSH1 0x20
00001f6c: ADD
00001f6d: SWAP2
00001f6e: POP
00001f6f: POP
00001f70: PUSH1 0x40
00001f72: MLOAD
00001f73: DUP1
00001f74: SWAP2
00001f75: SUB
00001f76: SWAP1
00001f77: LOG1
00001f78: PUSH1 0x00
00001f7a: SWAP8
00001f7b: POP
00001f7c: PUSH2 0x2298
00001f7f: JUMP
00001f80: JUMPDEST
00001f81: PUSH1 0xff
00001f83: DUP11
00001f84: MLOAD
00001f85: GT
00001f86: ISZERO
00001f87: PUSH2 0x1fe0
00001f8a: JUMPI
00001f8b: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
00001fac: ORIGIN
00001fad: PUSH1 0x40
00001faf: MLOAD
00001fb0: DUP1
00001fb1: DUP3
00001fb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fc7: AND
00001fc8: DUP2
00001fc9: MSTORE
00001fca: PUSH1 0x20
00001fcc: ADD
00001fcd: SWAP2
00001fce: POP
00001fcf: POP
00001fd0: PUSH1 0x40
00001fd2: MLOAD
00001fd3: DUP1
00001fd4: SWAP2
00001fd5: SUB
00001fd6: SWAP1
00001fd7: LOG1
00001fd8: PUSH1 0x00
00001fda: SWAP8
00001fdb: POP
00001fdc: PUSH2 0x2298
00001fdf: JUMP
00001fe0: JUMPDEST
00001fe1: PUSH1 0x00
00001fe3: SWAP5
00001fe4: POP
00001fe5: PUSH1 0x00
00001fe7: SWAP4
00001fe8: POP
00001fe9: JUMPDEST
00001fea: DUP10
00001feb: MLOAD
00001fec: DUP5
00001fed: PUSH1 0xff
00001fef: AND
00001ff0: LT
00001ff1: ISZERO
00001ff2: PUSH2 0x2219
00001ff5: JUMPI
00001ff6: DUP10
00001ff7: DUP5
00001ff8: DUP2
00001ff9: MLOAD
00001ffa: DUP2
00001ffb: LT
00001ffc: ISZERO
00001ffd: PUSH2 0x0002
00002000: JUMPI
00002001: SWAP1
00002002: PUSH1 0x20
00002004: ADD
00002005: SWAP1
00002006: PUSH1 0x20
00002008: MUL
00002009: ADD
0000200a: MLOAD
0000200b: SWAP3
0000200c: POP
0000200d: DUP9
0000200e: DUP5
0000200f: DUP2
00002010: MLOAD
00002011: DUP2
00002012: LT
00002013: ISZERO
00002014: PUSH2 0x0002
00002017: JUMPI
00002018: SWAP1
00002019: PUSH1 0x20
0000201b: ADD
0000201c: SWAP1
0000201d: PUSH1 0x20
0000201f: MUL
00002020: ADD
00002021: MLOAD
00002022: SWAP2
00002023: POP
00002024: PUSH1 0x01
00002026: DUP14
00002027: DUP4
00002028: DUP6
00002029: PUSH1 0x00
0000202b: PUSH1 0x02
0000202d: DUP2
0000202e: LT
0000202f: ISZERO
00002030: PUSH2 0x0002
00002033: JUMPI
00002034: SWAP1
00002035: SWAP1
00002036: PUSH1 0x20
00002038: MUL
00002039: ADD
0000203a: MLOAD
0000203b: DUP7
0000203c: PUSH1 0x01
0000203e: PUSH1 0x02
00002040: DUP2
00002041: LT
00002042: ISZERO
00002043: PUSH2 0x0002
00002046: JUMPI
00002047: SWAP1
00002048: SWAP1
00002049: PUSH1 0x20
0000204b: MUL
0000204c: ADD
0000204d: MLOAD
0000204e: PUSH1 0x40
00002050: MLOAD
00002051: DUP1
00002052: DUP6
00002053: DUP2
00002054: MSTORE
00002055: PUSH1 0x20
00002057: ADD
00002058: DUP5
00002059: PUSH1 0xff
0000205b: AND
0000205c: DUP2
0000205d: MSTORE
0000205e: PUSH1 0x20
00002060: ADD
00002061: DUP4
00002062: DUP2
00002063: MSTORE
00002064: PUSH1 0x20
00002066: ADD
00002067: DUP3
00002068: DUP2
00002069: MSTORE
0000206a: PUSH1 0x20
0000206c: ADD
0000206d: SWAP5
0000206e: POP
0000206f: POP
00002070: POP
00002071: POP
00002072: POP
00002073: PUSH1 0x20
00002075: PUSH1 0x40
00002077: MLOAD
00002078: DUP1
00002079: DUP4
0000207a: SUB
0000207b: DUP2
0000207c: PUSH1 0x00
0000207e: DUP7
0000207f: PUSH2 0x61da
00002082: GAS
00002083: SUB
00002084: CALL
00002085: ISZERO
00002086: PUSH2 0x0002
00002089: JUMPI
0000208a: POP
0000208b: POP
0000208c: PUSH1 0x40
0000208e: MLOAD
0000208f: DUP1
00002090: MLOAD
00002091: SWAP1
00002092: PUSH1 0x20
00002094: ADD
00002095: POP
00002096: SWAP1
00002097: POP
00002098: DUP6
00002099: PUSH1 0x00
0000209b: DUP3
0000209c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020b1: AND
000020b2: DUP2
000020b3: MSTORE
000020b4: PUSH1 0x20
000020b6: ADD
000020b7: SWAP1
000020b8: DUP2
000020b9: MSTORE
000020ba: PUSH1 0x20
000020bc: ADD
000020bd: PUSH1 0x00
000020bf: KECCAK256
000020c0: PUSH1 0x00
000020c2: SWAP1
000020c3: SLOAD
000020c4: SWAP1
000020c5: PUSH2 0x0100
000020c8: EXP
000020c9: SWAP1
000020ca: DIV
000020cb: PUSH1 0xff
000020cd: AND
000020ce: ISZERO
000020cf: PUSH2 0x2128
000020d2: JUMPI
000020d3: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
000020f4: ORIGIN
000020f5: PUSH1 0x40
000020f7: MLOAD
000020f8: DUP1
000020f9: DUP3
000020fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000210f: AND
00002110: DUP2
00002111: MSTORE
00002112: PUSH1 0x20
00002114: ADD
00002115: SWAP2
00002116: POP
00002117: POP
00002118: PUSH1 0x40
0000211a: MLOAD
0000211b: DUP1
0000211c: SWAP2
0000211d: SUB
0000211e: SWAP1
0000211f: LOG1
00002120: PUSH1 0x00
00002122: SWAP8
00002123: POP
00002124: PUSH2 0x2298
00002127: JUMP
00002128: JUMPDEST
00002129: DUP11
0000212a: PUSH1 0x01
0000212c: ADD
0000212d: PUSH1 0x00
0000212f: POP
00002130: PUSH1 0x00
00002132: DUP3
00002133: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002148: AND
00002149: DUP2
0000214a: MSTORE
0000214b: PUSH1 0x20
0000214d: ADD
0000214e: SWAP1
0000214f: DUP2
00002150: MSTORE
00002151: PUSH1 0x20
00002153: ADD
00002154: PUSH1 0x00
00002156: KECCAK256
00002157: PUSH1 0x00
00002159: SWAP1
0000215a: SLOAD
0000215b: SWAP1
0000215c: PUSH2 0x0100
0000215f: EXP
00002160: SWAP1
00002161: DIV
00002162: PUSH1 0xff
00002164: AND
00002165: ISZERO
00002166: PUSH2 0x21b5
00002169: JUMPI
0000216a: PUSH1 0x01
0000216c: DUP7
0000216d: PUSH1 0x00
0000216f: DUP4
00002170: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002185: AND
00002186: DUP2
00002187: MSTORE
00002188: PUSH1 0x20
0000218a: ADD
0000218b: SWAP1
0000218c: DUP2
0000218d: MSTORE
0000218e: PUSH1 0x20
00002190: ADD
00002191: PUSH1 0x00
00002193: KECCAK256
00002194: PUSH1 0x00
00002196: PUSH2 0x0100
00002199: EXP
0000219a: DUP2
0000219b: SLOAD
0000219c: DUP2
0000219d: PUSH1 0xff
0000219f: MUL
000021a0: NOT
000021a1: AND
000021a2: SWAP1
000021a3: DUP4
000021a4: MUL
000021a5: OR
000021a6: SWAP1
000021a7: SSTORE
000021a8: POP
000021a9: DUP5
000021aa: PUSH1 0x01
000021ac: ADD
000021ad: SWAP5
000021ae: POP
000021af: DUP5
000021b0: POP
000021b1: PUSH2 0x220b
000021b4: JUMP
000021b5: JUMPDEST
000021b6: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
000021d7: ORIGIN
000021d8: PUSH1 0x40
000021da: MLOAD
000021db: DUP1
000021dc: DUP3
000021dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021f2: AND
000021f3: DUP2
000021f4: MSTORE
000021f5: PUSH1 0x20
000021f7: ADD
000021f8: SWAP2
000021f9: POP
000021fa: POP
000021fb: PUSH1 0x40
000021fd: MLOAD
000021fe: DUP1
000021ff: SWAP2
00002200: SUB
00002201: SWAP1
00002202: LOG1
00002203: PUSH1 0x00
00002205: SWAP8
00002206: POP
00002207: PUSH2 0x2298
0000220a: JUMP
0000220b: JUMPDEST
0000220c: JUMPDEST
0000220d: DUP4
0000220e: DUP1
0000220f: PUSH1 0x01
00002211: ADD
00002212: SWAP5
00002213: POP
00002214: POP
00002215: PUSH2 0x1fe9
00002218: JUMP
00002219: JUMPDEST
0000221a: DUP11
0000221b: PUSH1 0x02
0000221d: ADD
0000221e: PUSH1 0x01
00002220: SWAP1
00002221: SLOAD
00002222: SWAP1
00002223: PUSH2 0x0100
00002226: EXP
00002227: SWAP1
00002228: DIV
00002229: PUSH1 0xff
0000222b: AND
0000222c: PUSH1 0xff
0000222e: AND
0000222f: DUP6
00002230: PUSH1 0xff
00002232: AND
00002233: LT
00002234: ISZERO
00002235: ISZERO
00002236: PUSH2 0x2242
00002239: JUMPI
0000223a: PUSH1 0x01
0000223c: SWAP8
0000223d: POP
0000223e: PUSH2 0x2298
00002241: JUMP
00002242: JUMPDEST
00002243: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
00002264: ORIGIN
00002265: PUSH1 0x40
00002267: MLOAD
00002268: DUP1
00002269: DUP3
0000226a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000227f: AND
00002280: DUP2
00002281: MSTORE
00002282: PUSH1 0x20
00002284: ADD
00002285: SWAP2
00002286: POP
00002287: POP
00002288: PUSH1 0x40
0000228a: MLOAD
0000228b: DUP1
0000228c: SWAP2
0000228d: SUB
0000228e: SWAP1
0000228f: LOG1
00002290: PUSH1 0x00
00002292: SWAP8
00002293: POP
00002294: PUSH2 0x2298
00002297: JUMP
00002298: JUMPDEST
00002299: POP
0000229a: POP
0000229b: POP
0000229c: POP
0000229d: POP
0000229e: POP
0000229f: POP
000022a0: SWAP6
000022a1: SWAP5
000022a2: POP
000022a3: POP
000022a4: POP
000022a5: POP
000022a6: POP
000022a7: JUMP
000022a8: JUMPDEST
000022a9: PUSH1 0x00
000022ab: DUP3
000022ac: PUSH1 0x01
000022ae: ADD
000022af: PUSH1 0x00
000022b1: POP
000022b2: PUSH1 0x00
000022b4: DUP4
000022b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022ca: AND
000022cb: DUP2
000022cc: MSTORE
000022cd: PUSH1 0x20
000022cf: ADD
000022d0: SWAP1
000022d1: DUP2
000022d2: MSTORE
000022d3: PUSH1 0x20
000022d5: ADD
000022d6: PUSH1 0x00
000022d8: KECCAK256
000022d9: PUSH1 0x00
000022db: SWAP1
000022dc: SLOAD
000022dd: SWAP1
000022de: PUSH2 0x0100
000022e1: EXP
000022e2: SWAP1
000022e3: DIV
000022e4: PUSH1 0xff
000022e6: AND
000022e7: ISZERO
000022e8: ISZERO
000022e9: PUSH2 0x22f5
000022ec: JUMPI
000022ed: PUSH1 0x00
000022ef: SWAP1
000022f0: POP
000022f1: PUSH2 0x23a2
000022f4: JUMP
000022f5: JUMPDEST
000022f6: DUP3
000022f7: PUSH1 0x02
000022f9: ADD
000022fa: PUSH1 0x01
000022fc: SWAP1
000022fd: SLOAD
000022fe: SWAP1
000022ff: PUSH2 0x0100
00002302: EXP
00002303: SWAP1
00002304: DIV
00002305: PUSH1 0xff
00002307: AND
00002308: PUSH1 0xff
0000230a: AND
0000230b: DUP4
0000230c: PUSH1 0x02
0000230e: ADD
0000230f: PUSH1 0x00
00002311: SWAP1
00002312: SLOAD
00002313: SWAP1
00002314: PUSH2 0x0100
00002317: EXP
00002318: SWAP1
00002319: DIV
0000231a: PUSH1 0xff
0000231c: AND
0000231d: PUSH1 0xff
0000231f: AND
00002320: EQ
00002321: ISZERO
00002322: PUSH2 0x232e
00002325: JUMPI
00002326: PUSH1 0x00
00002328: SWAP1
00002329: POP
0000232a: PUSH2 0x23a2
0000232d: JUMP
0000232e: JUMPDEST
0000232f: DUP3
00002330: PUSH1 0x01
00002332: ADD
00002333: PUSH1 0x00
00002335: POP
00002336: PUSH1 0x00
00002338: DUP4
00002339: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000234e: AND
0000234f: DUP2
00002350: MSTORE
00002351: PUSH1 0x20
00002353: ADD
00002354: SWAP1
00002355: DUP2
00002356: MSTORE
00002357: PUSH1 0x20
00002359: ADD
0000235a: PUSH1 0x00
0000235c: KECCAK256
0000235d: PUSH1 0x00
0000235f: PUSH2 0x0100
00002362: EXP
00002363: DUP2
00002364: SLOAD
00002365: SWAP1
00002366: PUSH1 0xff
00002368: MUL
00002369: NOT
0000236a: AND
0000236b: SWAP1
0000236c: SSTORE
0000236d: DUP3
0000236e: PUSH1 0x02
00002370: ADD
00002371: PUSH1 0x00
00002373: DUP2
00002374: DUP2
00002375: SWAP1
00002376: SLOAD
00002377: SWAP1
00002378: PUSH2 0x0100
0000237b: EXP
0000237c: SWAP1
0000237d: DIV
0000237e: PUSH1 0xff
00002380: AND
00002381: PUSH1 0x01
00002383: SWAP1
00002384: SUB
00002385: SWAP2
00002386: SWAP1
00002387: PUSH2 0x0100
0000238a: EXP
0000238b: DUP2
0000238c: SLOAD
0000238d: DUP2
0000238e: PUSH1 0xff
00002390: MUL
00002391: NOT
00002392: AND
00002393: SWAP1
00002394: DUP4
00002395: MUL
00002396: OR
00002397: SWAP1
00002398: SSTORE
00002399: POP
0000239a: PUSH1 0x01
0000239c: SWAP1
0000239d: POP
0000239e: PUSH2 0x23a2
000023a1: JUMP
000023a2: JUMPDEST
000023a3: SWAP3
000023a4: SWAP2
000023a5: POP
000023a6: POP
000023a7: JUMP
000023a8: JUMPDEST
000023a9: PUSH1 0x00
000023ab: DUP3
000023ac: PUSH1 0x01
000023ae: ADD
000023af: PUSH1 0x00
000023b1: POP
000023b2: PUSH1 0x00
000023b4: DUP4
000023b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023ca: AND
000023cb: DUP2
000023cc: MSTORE
000023cd: PUSH1 0x20
000023cf: ADD
000023d0: SWAP1
000023d1: DUP2
000023d2: MSTORE
000023d3: PUSH1 0x20
000023d5: ADD
000023d6: PUSH1 0x00
000023d8: KECCAK256
000023d9: PUSH1 0x00
000023db: SWAP1
000023dc: SLOAD
000023dd: SWAP1
000023de: PUSH2 0x0100
000023e1: EXP
000023e2: SWAP1
000023e3: DIV
000023e4: PUSH1 0xff
000023e6: AND
000023e7: ISZERO
000023e8: PUSH2 0x23f4
000023eb: JUMPI
000023ec: PUSH1 0x00
000023ee: SWAP1
000023ef: POP
000023f0: PUSH2 0x246e
000023f3: JUMP
000023f4: JUMPDEST
000023f5: PUSH1 0x01
000023f7: DUP4
000023f8: PUSH1 0x01
000023fa: ADD
000023fb: PUSH1 0x00
000023fd: POP
000023fe: PUSH1 0x00
00002400: DUP5
00002401: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002416: AND
00002417: DUP2
00002418: MSTORE
00002419: PUSH1 0x20
0000241b: ADD
0000241c: SWAP1
0000241d: DUP2
0000241e: MSTORE
0000241f: PUSH1 0x20
00002421: ADD
00002422: PUSH1 0x00
00002424: KECCAK256
00002425: PUSH1 0x00
00002427: PUSH2 0x0100
0000242a: EXP
0000242b: DUP2
0000242c: SLOAD
0000242d: DUP2
0000242e: PUSH1 0xff
00002430: MUL
00002431: NOT
00002432: AND
00002433: SWAP1
00002434: DUP4
00002435: MUL
00002436: OR
00002437: SWAP1
00002438: SSTORE
00002439: POP
0000243a: DUP3
0000243b: PUSH1 0x02
0000243d: ADD
0000243e: PUSH1 0x00
00002440: DUP2
00002441: DUP2
00002442: SWAP1
00002443: SLOAD
00002444: SWAP1
00002445: PUSH2 0x0100
00002448: EXP
00002449: SWAP1
0000244a: DIV
0000244b: PUSH1 0xff
0000244d: AND
0000244e: PUSH1 0x01
00002450: ADD
00002451: SWAP2
00002452: SWAP1
00002453: PUSH2 0x0100
00002456: EXP
00002457: DUP2
00002458: SLOAD
00002459: DUP2
0000245a: PUSH1 0xff
0000245c: MUL
0000245d: NOT
0000245e: AND
0000245f: SWAP1
00002460: DUP4
00002461: MUL
00002462: OR
00002463: SWAP1
00002464: SSTORE
00002465: POP
00002466: PUSH1 0x01
00002468: SWAP1
00002469: POP
0000246a: PUSH2 0x246e
0000246d: JUMP
0000246e: JUMPDEST
0000246f: SWAP3
00002470: SWAP2
00002471: POP
00002472: POP
00002473: JUMP
00002474: JUMPDEST
00002475: PUSH1 0x00
00002477: DUP2
00002478: PUSH1 0xff
0000247a: AND
0000247b: DUP4
0000247c: PUSH1 0x02
0000247e: ADD
0000247f: PUSH1 0x00
00002481: SWAP1
00002482: SLOAD
00002483: SWAP1
00002484: PUSH2 0x0100
00002487: EXP
00002488: SWAP1
00002489: DIV
0000248a: PUSH1 0xff
0000248c: AND
0000248d: PUSH1 0xff
0000248f: AND
00002490: LT
00002491: DUP1
00002492: PUSH2 0x249e
00002495: JUMPI
00002496: POP
00002497: PUSH1 0x00
00002499: DUP3
0000249a: PUSH1 0xff
0000249c: AND
0000249d: EQ
0000249e: JUMPDEST
0000249f: ISZERO
000024a0: PUSH2 0x24ac
000024a3: JUMPI
000024a4: PUSH1 0x00
000024a6: SWAP1
000024a7: POP
000024a8: PUSH2 0x24cf
000024ab: JUMP
000024ac: JUMPDEST
000024ad: DUP2
000024ae: DUP4
000024af: PUSH1 0x02
000024b1: ADD
000024b2: PUSH1 0x01
000024b4: PUSH2 0x0100
000024b7: EXP
000024b8: DUP2
000024b9: SLOAD
000024ba: DUP2
000024bb: PUSH1 0xff
000024bd: MUL
000024be: NOT
000024bf: AND
000024c0: SWAP1
000024c1: DUP4
000024c2: MUL
000024c3: OR
000024c4: SWAP1
000024c5: SSTORE
000024c6: POP
000024c7: PUSH1 0x01
000024c9: SWAP1
000024ca: POP
000024cb: PUSH2 0x24cf
000024ce: JUMP
000024cf: JUMPDEST
000024d0: SWAP3
000024d1: SWAP2
000024d2: POP
000024d3: POP
000024d4: JUMP
View stderr
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x6053a6f9",
            "selector": "0x6053a6f9",
            "calldata_variants": [
                "0x6053a6f9",
                "0x6053a6f90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x820b7faf",
            "selector": "0x820b7faf",
            "calldata_variants": [
                "0x820b7faf",
                "0x820b7faf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x93423e9c",
            "selector": "0x93423e9c",
            "calldata_variants": [
                "0x93423e9c",
                "0x93423e9c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa6461016",
            "selector": "0xa6461016",
            "calldata_variants": [
                "0xa6461016",
                "0xa64610160000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd3a3f889",
            "selector": "0xd3a3f889",
            "calldata_variants": [
                "0xd3a3f889",
                "0xd3a3f8890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfbf35f96",
            "selector": "0xfbf35f96",
            "calldata_variants": [
                "0xfbf35f96",
                "0xfbf35f960000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 1739,
            "type": "tx_origin_used"
        },
        {
            "pc": 2428,
            "type": "tx_origin_used"
        },
        {
            "pc": 3117,
            "type": "tx_origin_used"
        },
        {
            "pc": 3789,
            "type": "tx_origin_used"
        },
        {
            "pc": 4636,
            "type": "tx_origin_used"
        },
        {
            "pc": 5664,
            "type": "tx_origin_used"
        },
        {
            "pc": 6023,
            "type": "tx_origin_used"
        },
        {
            "pc": 1579,
            "type": "tx_origin_used"
        },
        {
            "pc": 1631,
            "type": "tx_origin_used"
        },
        {
            "pc": 1843,
            "type": "tx_origin_used"
        },
        {
            "pc": 1923,
            "type": "tx_origin_used"
        },
        {
            "pc": 2036,
            "type": "tx_origin_used"
        },
        {
            "pc": 2268,
            "type": "tx_origin_used"
        },
        {
            "pc": 2320,
            "type": "tx_origin_used"
        },
        {
            "pc": 2532,
            "type": "tx_origin_used"
        },
        {
            "pc": 2612,
            "type": "tx_origin_used"
        },
        {
            "pc": 2725,
            "type": "tx_origin_used"
        },
        {
            "pc": 2957,
            "type": "tx_origin_used"
        },
        {
            "pc": 3009,
            "type": "tx_origin_used"
        },
        {
            "pc": 3221,
            "type": "tx_origin_used"
        },
        {
            "pc": 3301,
            "type": "tx_origin_used"
        },
        {
            "pc": 3395,
            "type": "tx_origin_used"
        },
        {
            "pc": 3629,
            "type": "tx_origin_used"
        },
        {
            "pc": 3681,
            "type": "tx_origin_used"
        },
        {
            "pc": 3890,
            "type": "tx_origin_used"
        },
        {
            "pc": 4014,
            "type": "tx_origin_used"
        },
        {
            "pc": 4188,
            "type": "tx_origin_used"
        },
        {
            "pc": 4256,
            "type": "tx_origin_used"
        },
        {
            "pc": 4476,
            "type": "tx_origin_used"
        },
        {
            "pc": 4528,
            "type": "tx_origin_used"
        },
        {
            "pc": 4941,
            "type": "tx_origin_used"
        },
        {
            "pc": 5003,
            "type": "tx_origin_used"
        },
        {
            "pc": 5058,
            "type": "tx_origin_used"
        },
        {
            "pc": 5254,
            "type": "tx_origin_used"
        },
        {
            "pc": 5419,
            "type": "tx_origin_used"
        },
        {
            "pc": 5556,
            "type": "tx_origin_used"
        },
        {
            "pc": 5953,
            "type": "tx_origin_used"
        },
        {
            "pc": 6462,
            "type": "tx_origin_used"
        },
        {
            "pc": 6663,
            "type": "tx_origin_used"
        },
        {
            "pc": 6726,
            "type": "tx_origin_used"
        },
        {
            "pc": 6825,
            "type": "tx_origin_used"
        },
        {
            "pc": 6927,
            "type": "tx_origin_used"
        },
        {
            "pc": 6989,
            "type": "tx_origin_used"
        },
        {
            "pc": 7044,
            "type": "tx_origin_used"
        },
        {
            "pc": 7240,
            "type": "tx_origin_used"
        },
        {
            "pc": 7463,
            "type": "tx_origin_used"
        },
        {
            "pc": 7582,
            "type": "tx_origin_used"
        },
        {
            "pc": 7698,
            "type": "tx_origin_used"
        },
        {
            "pc": 7852,
            "type": "tx_origin_used"
        },
        {
            "pc": 8012,
            "type": "tx_origin_used"
        },
        {
            "pc": 8108,
            "type": "tx_origin_used"
        },
        {
            "pc": 8436,
            "type": "tx_origin_used"
        },
        {
            "pc": 8663,
            "type": "tx_origin_used"
        },
        {
            "pc": 8804,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x0ac0f64d2957427e03bd39f0a72b01836d5dd22e723a5a71a61dd5c0b567ab73
call_targets: 0x5105aa16c53b5afe7fdce178bc3d5c869d470a5b
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x0ac0f64d2957427e03bd39f0a72b01836d5dd22e723a5a71a61dd5c0b567ab73",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x5105aa16c53b5afe7fdce178bc3d5c869d470a5b"
    ],
    "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": "0x6053a6f9",
            "selector": "0x6053a6f9",
            "calldata_variants": [
                "0x6053a6f9",
                "0x6053a6f90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x820b7faf",
            "selector": "0x820b7faf",
            "calldata_variants": [
                "0x820b7faf",
                "0x820b7faf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x93423e9c",
            "selector": "0x93423e9c",
            "calldata_variants": [
                "0x93423e9c",
                "0x93423e9c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa6461016",
            "selector": "0xa6461016",
            "calldata_variants": [
                "0xa6461016",
                "0xa64610160000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd3a3f889",
            "selector": "0xd3a3f889",
            "calldata_variants": [
                "0xd3a3f889",
                "0xd3a3f8890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfbf35f96",
            "selector": "0xfbf35f96",
            "calldata_variants": [
                "0xfbf35f96",
                "0xfbf35f960000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 8324,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [
        {
            "pc": 1739,
            "type": "tx_origin_used"
        },
        {
            "pc": 2428,
            "type": "tx_origin_used"
        },
        {
            "pc": 3117,
            "type": "tx_origin_used"
        },
        {
            "pc": 3789,
            "type": "tx_origin_used"
        },
        {
            "pc": 4636,
            "type": "tx_origin_used"
        },
        {
            "pc": 5664,
            "type": "tx_origin_used"
        },
        {
            "pc": 6023,
            "type": "tx_origin_used"
        },
        {
            "pc": 1579,
            "type": "tx_origin_used"
        },
        {
            "pc": 1631,
            "type": "tx_origin_used"
        },
        {
            "pc": 1843,
            "type": "tx_origin_used"
        },
        {
            "pc": 1923,
            "type": "tx_origin_used"
        },
        {
            "pc": 2036,
            "type": "tx_origin_used"
        },
        {
            "pc": 2268,
            "type": "tx_origin_used"
        },
        {
            "pc": 2320,
            "type": "tx_origin_used"
        },
        {
            "pc": 2532,
            "type": "tx_origin_used"
        },
        {
            "pc": 2612,
            "type": "tx_origin_used"
        },
        {
            "pc": 2725,
            "type": "tx_origin_used"
        },
        {
            "pc": 2957,
            "type": "tx_origin_used"
        },
        {
            "pc": 3009,
            "type": "tx_origin_used"
        },
        {
            "pc": 3221,
            "type": "tx_origin_used"
        },
        {
            "pc": 3301,
            "type": "tx_origin_used"
        },
        {
            "pc": 3395,
            "type": "tx_origin_used"
        },
        {
            "pc": 3629,
            "type": "tx_origin_used"
        },
        {
            "pc": 3681,
            "type": "tx_origin_used"
        },
        {
            "pc": 3890,
            "type": "tx_origin_used"
        },
        {
            "pc": 4014,
            "type": "tx_origin_used"
        },
        {
            "pc": 4188,
            "type": "tx_origin_used"
        },
        {
            "pc": 4256,
            "type": "tx_origin_used"
        },
        {
            "pc": 4476,
            "type": "tx_origin_used"
        },
        {
            "pc": 4528,
            "type": "tx_origin_used"
        },
        {
            "pc": 4941,
            "type": "tx_origin_used"
        },
        {
            "pc": 5003,
            "type": "tx_origin_used"
        },
        {
            "pc": 5058,
            "type": "tx_origin_used"
        },
        {
            "pc": 5254,
            "type": "tx_origin_used"
        },
        {
            "pc": 5419,
            "type": "tx_origin_used"
        },
        {
            "pc": 5556,
            "type": "tx_origin_used"
        },
        {
            "pc": 5953,
            "type": "tx_origin_used"
        },
        {
            "pc": 6462,
            "type": "tx_origin_used"
        },
        {
            "pc": 6663,
            "type": "tx_origin_used"
        },
        {
            "pc": 6726,
            "type": "tx_origin_used"
        },
        {
            "pc": 6825,
            "type": "tx_origin_used"
        },
        {
            "pc": 6927,
            "type": "tx_origin_used"
        },
        {
            "pc": 6989,
            "type": "tx_origin_used"
        },
        {
            "pc": 7044,
            "type": "tx_origin_used"
        },
        {
            "pc": 7240,
            "type": "tx_origin_used"
        },
        {
            "pc": 7463,
            "type": "tx_origin_used"
        },
        {
            "pc": 7582,
            "type": "tx_origin_used"
        },
        {
            "pc": 7698,
            "type": "tx_origin_used"
        },
        {
            "pc": 7852,
            "type": "tx_origin_used"
        },
        {
            "pc": 8012,
            "type": "tx_origin_used"
        },
        {
            "pc": 8108,
            "type": "tx_origin_used"
        },
        {
            "pc": 8436,
            "type": "tx_origin_used"
        },
        {
            "pc": 8663,
            "type": "tx_origin_used"
        },
        {
            "pc": 8804,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 1
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x0ac0f64d2957427e03bd39f0a72b01836d5dd22e723a5a71a61dd5c0b567ab73
call_targets: 0x5105aa16c53b5afe7fdce178bc3d5c869d470a5b
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x0ac0f64d2957427e03bd39f0a72b01836d5dd22e723a5a71a61dd5c0b567ab73",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x5105aa16c53b5afe7fdce178bc3d5c869d470a5b"
    ],
    "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": "0x6053a6f9",
            "selector": "0x6053a6f9",
            "calldata_variants": [
                "0x6053a6f9",
                "0x6053a6f90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x820b7faf",
            "selector": "0x820b7faf",
            "calldata_variants": [
                "0x820b7faf",
                "0x820b7faf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x93423e9c",
            "selector": "0x93423e9c",
            "calldata_variants": [
                "0x93423e9c",
                "0x93423e9c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa6461016",
            "selector": "0xa6461016",
            "calldata_variants": [
                "0xa6461016",
                "0xa64610160000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd3a3f889",
            "selector": "0xd3a3f889",
            "calldata_variants": [
                "0xd3a3f889",
                "0xd3a3f8890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfbf35f96",
            "selector": "0xfbf35f96",
            "calldata_variants": [
                "0xfbf35f96",
                "0xfbf35f960000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 8324,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": [
        {
            "pc": 1739,
            "type": "tx_origin_used"
        },
        {
            "pc": 2428,
            "type": "tx_origin_used"
        },
        {
            "pc": 3117,
            "type": "tx_origin_used"
        },
        {
            "pc": 3789,
            "type": "tx_origin_used"
        },
        {
            "pc": 4636,
            "type": "tx_origin_used"
        },
        {
            "pc": 5664,
            "type": "tx_origin_used"
        },
        {
            "pc": 6023,
            "type": "tx_origin_used"
        },
        {
            "pc": 1579,
            "type": "tx_origin_used"
        },
        {
            "pc": 1631,
            "type": "tx_origin_used"
        },
        {
            "pc": 1843,
            "type": "tx_origin_used"
        },
        {
            "pc": 1923,
            "type": "tx_origin_used"
        },
        {
            "pc": 2036,
            "type": "tx_origin_used"
        },
        {
            "pc": 2268,
            "type": "tx_origin_used"
        },
        {
            "pc": 2320,
            "type": "tx_origin_used"
        },
        {
            "pc": 2532,
            "type": "tx_origin_used"
        },
        {
            "pc": 2612,
            "type": "tx_origin_used"
        },
        {
            "pc": 2725,
            "type": "tx_origin_used"
        },
        {
            "pc": 2957,
            "type": "tx_origin_used"
        },
        {
            "pc": 3009,
            "type": "tx_origin_used"
        },
        {
            "pc": 3221,
            "type": "tx_origin_used"
        },
        {
            "pc": 3301,
            "type": "tx_origin_used"
        },
        {
            "pc": 3395,
            "type": "tx_origin_used"
        },
        {
            "pc": 3629,
            "type": "tx_origin_used"
        },
        {
            "pc": 3681,
            "type": "tx_origin_used"
        },
        {
            "pc": 3890,
            "type": "tx_origin_used"
        },
        {
            "pc": 4014,
            "type": "tx_origin_used"
        },
        {
            "pc": 4188,
            "type": "tx_origin_used"
        },
        {
            "pc": 4256,
            "type": "tx_origin_used"
        },
        {
            "pc": 4476,
            "type": "tx_origin_used"
        },
        {
            "pc": 4528,
            "type": "tx_origin_used"
        },
        {
            "pc": 4941,
            "type": "tx_origin_used"
        },
        {
            "pc": 5003,
            "type": "tx_origin_used"
        },
        {
            "pc": 5058,
            "type": "tx_origin_used"
        },
        {
            "pc": 5254,
            "type": "tx_origin_used"
        },
        {
            "pc": 5419,
            "type": "tx_origin_used"
        },
        {
            "pc": 5556,
            "type": "tx_origin_used"
        },
        {
            "pc": 5953,
            "type": "tx_origin_used"
        },
        {
            "pc": 6462,
            "type": "tx_origin_used"
        },
        {
            "pc": 6663,
            "type": "tx_origin_used"
        },
        {
            "pc": 6726,
            "type": "tx_origin_used"
        },
        {
            "pc": 6825,
            "type": "tx_origin_used"
        },
        {
            "pc": 6927,
            "type": "tx_origin_used"
        },
        {
            "pc": 6989,
            "type": "tx_origin_used"
        },
        {
            "pc": 7044,
            "type": "tx_origin_used"
        },
        {
            "pc": 7240,
            "type": "tx_origin_used"
        },
        {
            "pc": 7463,
            "type": "tx_origin_used"
        },
        {
            "pc": 7582,
            "type": "tx_origin_used"
        },
        {
            "pc": 7698,
            "type": "tx_origin_used"
        },
        {
            "pc": 7852,
            "type": "tx_origin_used"
        },
        {
            "pc": 8012,
            "type": "tx_origin_used"
        },
        {
            "pc": 8108,
            "type": "tx_origin_used"
        },
        {
            "pc": 8436,
            "type": "tx_origin_used"
        },
        {
            "pc": 8663,
            "type": "tx_origin_used"
        },
        {
            "pc": 8804,
            "type": "tx_origin_used"
        }
    ]
}