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

Analysis Run

019b477e-b491-72ca-b0d6-744e279fbc8a

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

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
22759 artifact.fetch complete 1 / 3 3 months ago
22760 tool.cast_disasm complete 1 / 3 3 months ago
89453 analysis.bundle complete 1 / 3 2 weeks ago
89454 capability.graph complete 1 / 3 2 weeks ago
89455 detector.run complete 1 / 3 2 weeks ago
89456 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
2
Total opcodes
5010
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0152
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: PUSH4 0xffffffff
00000033: AND
00000034: DUP1
00000035: PUSH4 0x025e7c27
0000003a: EQ
0000003b: PUSH2 0x01b3
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x173825d9
00000045: EQ
00000046: PUSH2 0x0213
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x20ea8d86
00000050: EQ
00000051: PUSH2 0x0249
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x2f54bf6e
0000005b: EQ
0000005c: PUSH2 0x0269
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x3411c81c
00000066: EQ
00000067: PUSH2 0x02b7
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x4bc9fdc2
00000071: EQ
00000072: PUSH2 0x030e
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0x54741525
0000007c: EQ
0000007d: PUSH2 0x0334
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0x67eeba0c
00000087: EQ
00000088: PUSH2 0x0375
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0x6b0c932d
00000092: EQ
00000093: PUSH2 0x039b
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0x7065cb48
0000009d: EQ
0000009e: PUSH2 0x03c1
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0x784547a7
000000a8: EQ
000000a9: PUSH2 0x03f7
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0x8b51d13f
000000b3: EQ
000000b4: PUSH2 0x042f
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0x9ace38c2
000000be: EQ
000000bf: PUSH2 0x0463
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0xa0e67e2b
000000c9: EQ
000000ca: PUSH2 0x055e
000000cd: JUMPI
000000ce: DUP1
000000cf: PUSH4 0xa8abe69a
000000d4: EQ
000000d5: PUSH2 0x05d3
000000d8: JUMPI
000000d9: DUP1
000000da: PUSH4 0xb5dc40c3
000000df: EQ
000000e0: PUSH2 0x0675
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0xb77bf600
000000ea: EQ
000000eb: PUSH2 0x06f8
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0xba51a6df
000000f5: EQ
000000f6: PUSH2 0x071e
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0xc01a8c84
00000100: EQ
00000101: PUSH2 0x073e
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0xc6427474
0000010b: EQ
0000010c: PUSH2 0x075e
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0xcea08621
00000116: EQ
00000117: PUSH2 0x07f4
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0xd74f8edd
00000121: EQ
00000122: PUSH2 0x0814
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0xdc8452cd
0000012c: EQ
0000012d: PUSH2 0x083a
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0xe20056e6
00000137: EQ
00000138: PUSH2 0x0860
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0xee22610b
00000142: EQ
00000143: PUSH2 0x08b5
00000146: JUMPI
00000147: DUP1
00000148: PUSH4 0xf059cf2b
0000014d: EQ
0000014e: PUSH2 0x08d5
00000151: JUMPI
00000152: JUMPDEST
00000153: PUSH2 0x01b1
00000156: JUMPDEST
00000157: PUSH1 0x00
00000159: CALLVALUE
0000015a: GT
0000015b: ISZERO
0000015c: PUSH2 0x01ae
0000015f: JUMPI
00000160: CALLER
00000161: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000176: AND
00000177: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
00000198: CALLVALUE
00000199: PUSH1 0x40
0000019b: MLOAD
0000019c: DUP1
0000019d: DUP3
0000019e: DUP2
0000019f: MSTORE
000001a0: PUSH1 0x20
000001a2: ADD
000001a3: SWAP2
000001a4: POP
000001a5: POP
000001a6: PUSH1 0x40
000001a8: MLOAD
000001a9: DUP1
000001aa: SWAP2
000001ab: SUB
000001ac: SWAP1
000001ad: LOG2
000001ae: JUMPDEST
000001af: JUMPDEST
000001b0: JUMP
000001b1: JUMPDEST
000001b2: STOP
000001b3: JUMPDEST
000001b4: CALLVALUE
000001b5: ISZERO
000001b6: PUSH2 0x01bb
000001b9: JUMPI
000001ba: INVALID
000001bb: JUMPDEST
000001bc: PUSH2 0x01d1
000001bf: PUSH1 0x04
000001c1: DUP1
000001c2: DUP1
000001c3: CALLDATALOAD
000001c4: SWAP1
000001c5: PUSH1 0x20
000001c7: ADD
000001c8: SWAP1
000001c9: SWAP2
000001ca: SWAP1
000001cb: POP
000001cc: POP
000001cd: PUSH2 0x08fb
000001d0: JUMP
000001d1: JUMPDEST
000001d2: PUSH1 0x40
000001d4: MLOAD
000001d5: DUP1
000001d6: DUP3
000001d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001ec: AND
000001ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000202: AND
00000203: DUP2
00000204: MSTORE
00000205: PUSH1 0x20
00000207: ADD
00000208: SWAP2
00000209: POP
0000020a: POP
0000020b: PUSH1 0x40
0000020d: MLOAD
0000020e: DUP1
0000020f: SWAP2
00000210: SUB
00000211: SWAP1
00000212: RETURN
00000213: JUMPDEST
00000214: CALLVALUE
00000215: ISZERO
00000216: PUSH2 0x021b
00000219: JUMPI
0000021a: INVALID
0000021b: JUMPDEST
0000021c: PUSH2 0x0247
0000021f: PUSH1 0x04
00000221: DUP1
00000222: DUP1
00000223: CALLDATALOAD
00000224: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000239: AND
0000023a: SWAP1
0000023b: PUSH1 0x20
0000023d: ADD
0000023e: SWAP1
0000023f: SWAP2
00000240: SWAP1
00000241: POP
00000242: POP
00000243: PUSH2 0x093b
00000246: JUMP
00000247: JUMPDEST
00000248: STOP
00000249: JUMPDEST
0000024a: CALLVALUE
0000024b: ISZERO
0000024c: PUSH2 0x0251
0000024f: JUMPI
00000250: INVALID
00000251: JUMPDEST
00000252: PUSH2 0x0267
00000255: PUSH1 0x04
00000257: DUP1
00000258: DUP1
00000259: CALLDATALOAD
0000025a: SWAP1
0000025b: PUSH1 0x20
0000025d: ADD
0000025e: SWAP1
0000025f: SWAP2
00000260: SWAP1
00000261: POP
00000262: POP
00000263: PUSH2 0x0be3
00000266: JUMP
00000267: JUMPDEST
00000268: STOP
00000269: JUMPDEST
0000026a: CALLVALUE
0000026b: ISZERO
0000026c: PUSH2 0x0271
0000026f: JUMPI
00000270: INVALID
00000271: JUMPDEST
00000272: PUSH2 0x029d
00000275: PUSH1 0x04
00000277: DUP1
00000278: DUP1
00000279: CALLDATALOAD
0000027a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000028f: AND
00000290: SWAP1
00000291: PUSH1 0x20
00000293: ADD
00000294: SWAP1
00000295: SWAP2
00000296: SWAP1
00000297: POP
00000298: POP
00000299: PUSH2 0x0d94
0000029c: JUMP
0000029d: JUMPDEST
0000029e: PUSH1 0x40
000002a0: MLOAD
000002a1: DUP1
000002a2: DUP3
000002a3: ISZERO
000002a4: ISZERO
000002a5: ISZERO
000002a6: ISZERO
000002a7: DUP2
000002a8: MSTORE
000002a9: PUSH1 0x20
000002ab: ADD
000002ac: SWAP2
000002ad: POP
000002ae: POP
000002af: PUSH1 0x40
000002b1: MLOAD
000002b2: DUP1
000002b3: SWAP2
000002b4: SUB
000002b5: SWAP1
000002b6: RETURN
000002b7: JUMPDEST
000002b8: CALLVALUE
000002b9: ISZERO
000002ba: PUSH2 0x02bf
000002bd: JUMPI
000002be: INVALID
000002bf: JUMPDEST
000002c0: PUSH2 0x02f4
000002c3: PUSH1 0x04
000002c5: DUP1
000002c6: DUP1
000002c7: CALLDATALOAD
000002c8: SWAP1
000002c9: PUSH1 0x20
000002cb: ADD
000002cc: SWAP1
000002cd: SWAP2
000002ce: SWAP1
000002cf: DUP1
000002d0: CALLDATALOAD
000002d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002e6: AND
000002e7: SWAP1
000002e8: PUSH1 0x20
000002ea: ADD
000002eb: SWAP1
000002ec: SWAP2
000002ed: SWAP1
000002ee: POP
000002ef: POP
000002f0: PUSH2 0x0db4
000002f3: JUMP
000002f4: JUMPDEST
000002f5: PUSH1 0x40
000002f7: MLOAD
000002f8: DUP1
000002f9: DUP3
000002fa: ISZERO
000002fb: ISZERO
000002fc: ISZERO
000002fd: ISZERO
000002fe: DUP2
000002ff: MSTORE
00000300: PUSH1 0x20
00000302: ADD
00000303: SWAP2
00000304: POP
00000305: POP
00000306: PUSH1 0x40
00000308: MLOAD
00000309: DUP1
0000030a: SWAP2
0000030b: SUB
0000030c: SWAP1
0000030d: RETURN
0000030e: JUMPDEST
0000030f: CALLVALUE
00000310: ISZERO
00000311: PUSH2 0x0316
00000314: JUMPI
00000315: INVALID
00000316: JUMPDEST
00000317: PUSH2 0x031e
0000031a: PUSH2 0x0de3
0000031d: JUMP
0000031e: JUMPDEST
0000031f: PUSH1 0x40
00000321: MLOAD
00000322: DUP1
00000323: DUP3
00000324: DUP2
00000325: MSTORE
00000326: PUSH1 0x20
00000328: ADD
00000329: SWAP2
0000032a: POP
0000032b: POP
0000032c: PUSH1 0x40
0000032e: MLOAD
0000032f: DUP1
00000330: SWAP2
00000331: SUB
00000332: SWAP1
00000333: RETURN
00000334: JUMPDEST
00000335: CALLVALUE
00000336: ISZERO
00000337: PUSH2 0x033c
0000033a: JUMPI
0000033b: INVALID
0000033c: JUMPDEST
0000033d: PUSH2 0x035f
00000340: PUSH1 0x04
00000342: DUP1
00000343: DUP1
00000344: CALLDATALOAD
00000345: ISZERO
00000346: ISZERO
00000347: SWAP1
00000348: PUSH1 0x20
0000034a: ADD
0000034b: SWAP1
0000034c: SWAP2
0000034d: SWAP1
0000034e: DUP1
0000034f: CALLDATALOAD
00000350: ISZERO
00000351: ISZERO
00000352: SWAP1
00000353: PUSH1 0x20
00000355: ADD
00000356: SWAP1
00000357: SWAP2
00000358: SWAP1
00000359: POP
0000035a: POP
0000035b: PUSH2 0x0e20
0000035e: JUMP
0000035f: JUMPDEST
00000360: PUSH1 0x40
00000362: MLOAD
00000363: DUP1
00000364: DUP3
00000365: DUP2
00000366: MSTORE
00000367: PUSH1 0x20
00000369: ADD
0000036a: SWAP2
0000036b: POP
0000036c: POP
0000036d: PUSH1 0x40
0000036f: MLOAD
00000370: DUP1
00000371: SWAP2
00000372: SUB
00000373: SWAP1
00000374: RETURN
00000375: JUMPDEST
00000376: CALLVALUE
00000377: ISZERO
00000378: PUSH2 0x037d
0000037b: JUMPI
0000037c: INVALID
0000037d: JUMPDEST
0000037e: PUSH2 0x0385
00000381: PUSH2 0x0eb7
00000384: JUMP
00000385: JUMPDEST
00000386: PUSH1 0x40
00000388: MLOAD
00000389: DUP1
0000038a: DUP3
0000038b: DUP2
0000038c: MSTORE
0000038d: PUSH1 0x20
0000038f: ADD
00000390: SWAP2
00000391: POP
00000392: POP
00000393: PUSH1 0x40
00000395: MLOAD
00000396: DUP1
00000397: SWAP2
00000398: SUB
00000399: SWAP1
0000039a: RETURN
0000039b: JUMPDEST
0000039c: CALLVALUE
0000039d: ISZERO
0000039e: PUSH2 0x03a3
000003a1: JUMPI
000003a2: INVALID
000003a3: JUMPDEST
000003a4: PUSH2 0x03ab
000003a7: PUSH2 0x0ebd
000003aa: JUMP
000003ab: JUMPDEST
000003ac: PUSH1 0x40
000003ae: MLOAD
000003af: DUP1
000003b0: DUP3
000003b1: DUP2
000003b2: MSTORE
000003b3: PUSH1 0x20
000003b5: ADD
000003b6: SWAP2
000003b7: POP
000003b8: POP
000003b9: PUSH1 0x40
000003bb: MLOAD
000003bc: DUP1
000003bd: SWAP2
000003be: SUB
000003bf: SWAP1
000003c0: RETURN
000003c1: JUMPDEST
000003c2: CALLVALUE
000003c3: ISZERO
000003c4: PUSH2 0x03c9
000003c7: JUMPI
000003c8: INVALID
000003c9: JUMPDEST
000003ca: PUSH2 0x03f5
000003cd: PUSH1 0x04
000003cf: DUP1
000003d0: DUP1
000003d1: CALLDATALOAD
000003d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003e7: AND
000003e8: SWAP1
000003e9: PUSH1 0x20
000003eb: ADD
000003ec: SWAP1
000003ed: SWAP2
000003ee: SWAP1
000003ef: POP
000003f0: POP
000003f1: PUSH2 0x0ec3
000003f4: JUMP
000003f5: JUMPDEST
000003f6: STOP
000003f7: JUMPDEST
000003f8: CALLVALUE
000003f9: ISZERO
000003fa: PUSH2 0x03ff
000003fd: JUMPI
000003fe: INVALID
000003ff: JUMPDEST
00000400: PUSH2 0x0415
00000403: PUSH1 0x04
00000405: DUP1
00000406: DUP1
00000407: CALLDATALOAD
00000408: SWAP1
00000409: PUSH1 0x20
0000040b: ADD
0000040c: SWAP1
0000040d: SWAP2
0000040e: SWAP1
0000040f: POP
00000410: POP
00000411: PUSH2 0x10c6
00000414: JUMP
00000415: JUMPDEST
00000416: PUSH1 0x40
00000418: MLOAD
00000419: DUP1
0000041a: DUP3
0000041b: ISZERO
0000041c: ISZERO
0000041d: ISZERO
0000041e: ISZERO
0000041f: DUP2
00000420: MSTORE
00000421: PUSH1 0x20
00000423: ADD
00000424: SWAP2
00000425: POP
00000426: POP
00000427: PUSH1 0x40
00000429: MLOAD
0000042a: DUP1
0000042b: SWAP2
0000042c: SUB
0000042d: SWAP1
0000042e: RETURN
0000042f: JUMPDEST
00000430: CALLVALUE
00000431: ISZERO
00000432: PUSH2 0x0437
00000435: JUMPI
00000436: INVALID
00000437: JUMPDEST
00000438: PUSH2 0x044d
0000043b: PUSH1 0x04
0000043d: DUP1
0000043e: DUP1
0000043f: CALLDATALOAD
00000440: SWAP1
00000441: PUSH1 0x20
00000443: ADD
00000444: SWAP1
00000445: SWAP2
00000446: SWAP1
00000447: POP
00000448: POP
00000449: PUSH2 0x11b0
0000044c: JUMP
0000044d: JUMPDEST
0000044e: PUSH1 0x40
00000450: MLOAD
00000451: DUP1
00000452: DUP3
00000453: DUP2
00000454: MSTORE
00000455: PUSH1 0x20
00000457: ADD
00000458: SWAP2
00000459: POP
0000045a: POP
0000045b: PUSH1 0x40
0000045d: MLOAD
0000045e: DUP1
0000045f: SWAP2
00000460: SUB
00000461: SWAP1
00000462: RETURN
00000463: JUMPDEST
00000464: CALLVALUE
00000465: ISZERO
00000466: PUSH2 0x046b
00000469: JUMPI
0000046a: INVALID
0000046b: JUMPDEST
0000046c: PUSH2 0x0481
0000046f: PUSH1 0x04
00000471: DUP1
00000472: DUP1
00000473: CALLDATALOAD
00000474: SWAP1
00000475: PUSH1 0x20
00000477: ADD
00000478: SWAP1
00000479: SWAP2
0000047a: SWAP1
0000047b: POP
0000047c: POP
0000047d: PUSH2 0x1280
00000480: JUMP
00000481: JUMPDEST
00000482: PUSH1 0x40
00000484: MLOAD
00000485: DUP1
00000486: DUP6
00000487: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000049c: AND
0000049d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004b2: AND
000004b3: DUP2
000004b4: MSTORE
000004b5: PUSH1 0x20
000004b7: ADD
000004b8: DUP5
000004b9: DUP2
000004ba: MSTORE
000004bb: PUSH1 0x20
000004bd: ADD
000004be: DUP1
000004bf: PUSH1 0x20
000004c1: ADD
000004c2: DUP4
000004c3: ISZERO
000004c4: ISZERO
000004c5: ISZERO
000004c6: ISZERO
000004c7: DUP2
000004c8: MSTORE
000004c9: PUSH1 0x20
000004cb: ADD
000004cc: DUP3
000004cd: DUP2
000004ce: SUB
000004cf: DUP3
000004d0: MSTORE
000004d1: DUP5
000004d2: DUP2
000004d3: DUP2
000004d4: SLOAD
000004d5: PUSH1 0x01
000004d7: DUP2
000004d8: PUSH1 0x01
000004da: AND
000004db: ISZERO
000004dc: PUSH2 0x0100
000004df: MUL
000004e0: SUB
000004e1: AND
000004e2: PUSH1 0x02
000004e4: SWAP1
000004e5: DIV
000004e6: DUP2
000004e7: MSTORE
000004e8: PUSH1 0x20
000004ea: ADD
000004eb: SWAP2
000004ec: POP
000004ed: DUP1
000004ee: SLOAD
000004ef: PUSH1 0x01
000004f1: DUP2
000004f2: PUSH1 0x01
000004f4: AND
000004f5: ISZERO
000004f6: PUSH2 0x0100
000004f9: MUL
000004fa: SUB
000004fb: AND
000004fc: PUSH1 0x02
000004fe: SWAP1
000004ff: DIV
00000500: DUP1
00000501: ISZERO
00000502: PUSH2 0x054c
00000505: JUMPI
00000506: DUP1
00000507: PUSH1 0x1f
00000509: LT
0000050a: PUSH2 0x0521
0000050d: JUMPI
0000050e: PUSH2 0x0100
00000511: DUP1
00000512: DUP4
00000513: SLOAD
00000514: DIV
00000515: MUL
00000516: DUP4
00000517: MSTORE
00000518: SWAP2
00000519: PUSH1 0x20
0000051b: ADD
0000051c: SWAP2
0000051d: PUSH2 0x054c
00000520: JUMP
00000521: JUMPDEST
00000522: DUP3
00000523: ADD
00000524: SWAP2
00000525: SWAP1
00000526: PUSH1 0x00
00000528: MSTORE
00000529: PUSH1 0x20
0000052b: PUSH1 0x00
0000052d: KECCAK256
0000052e: SWAP1
0000052f: JUMPDEST
00000530: DUP2
00000531: SLOAD
00000532: DUP2
00000533: MSTORE
00000534: SWAP1
00000535: PUSH1 0x01
00000537: ADD
00000538: SWAP1
00000539: PUSH1 0x20
0000053b: ADD
0000053c: DUP1
0000053d: DUP4
0000053e: GT
0000053f: PUSH2 0x052f
00000542: JUMPI
00000543: DUP3
00000544: SWAP1
00000545: SUB
00000546: PUSH1 0x1f
00000548: AND
00000549: DUP3
0000054a: ADD
0000054b: SWAP2
0000054c: JUMPDEST
0000054d: POP
0000054e: POP
0000054f: SWAP6
00000550: POP
00000551: POP
00000552: POP
00000553: POP
00000554: POP
00000555: POP
00000556: PUSH1 0x40
00000558: MLOAD
00000559: DUP1
0000055a: SWAP2
0000055b: SUB
0000055c: SWAP1
0000055d: RETURN
0000055e: JUMPDEST
0000055f: CALLVALUE
00000560: ISZERO
00000561: PUSH2 0x0566
00000564: JUMPI
00000565: INVALID
00000566: JUMPDEST
00000567: PUSH2 0x056e
0000056a: PUSH2 0x12dc
0000056d: JUMP
0000056e: JUMPDEST
0000056f: PUSH1 0x40
00000571: MLOAD
00000572: DUP1
00000573: DUP1
00000574: PUSH1 0x20
00000576: ADD
00000577: DUP3
00000578: DUP2
00000579: SUB
0000057a: DUP3
0000057b: MSTORE
0000057c: DUP4
0000057d: DUP2
0000057e: DUP2
0000057f: MLOAD
00000580: DUP2
00000581: MSTORE
00000582: PUSH1 0x20
00000584: ADD
00000585: SWAP2
00000586: POP
00000587: DUP1
00000588: MLOAD
00000589: SWAP1
0000058a: PUSH1 0x20
0000058c: ADD
0000058d: SWAP1
0000058e: PUSH1 0x20
00000590: MUL
00000591: DUP1
00000592: DUP4
00000593: DUP4
00000594: PUSH1 0x00
00000596: DUP4
00000597: EQ
00000598: PUSH2 0x05c0
0000059b: JUMPI
0000059c: JUMPDEST
0000059d: DUP1
0000059e: MLOAD
0000059f: DUP3
000005a0: MSTORE
000005a1: PUSH1 0x20
000005a3: DUP4
000005a4: GT
000005a5: ISZERO
000005a6: PUSH2 0x05c0
000005a9: JUMPI
000005aa: PUSH1 0x20
000005ac: DUP3
000005ad: ADD
000005ae: SWAP2
000005af: POP
000005b0: PUSH1 0x20
000005b2: DUP2
000005b3: ADD
000005b4: SWAP1
000005b5: POP
000005b6: PUSH1 0x20
000005b8: DUP4
000005b9: SUB
000005ba: SWAP3
000005bb: POP
000005bc: PUSH2 0x059c
000005bf: JUMP
000005c0: JUMPDEST
000005c1: POP
000005c2: POP
000005c3: POP
000005c4: SWAP1
000005c5: POP
000005c6: ADD
000005c7: SWAP3
000005c8: POP
000005c9: POP
000005ca: POP
000005cb: PUSH1 0x40
000005cd: MLOAD
000005ce: DUP1
000005cf: SWAP2
000005d0: SUB
000005d1: SWAP1
000005d2: RETURN
000005d3: JUMPDEST
000005d4: CALLVALUE
000005d5: ISZERO
000005d6: PUSH2 0x05db
000005d9: JUMPI
000005da: INVALID
000005db: JUMPDEST
000005dc: PUSH2 0x0610
000005df: PUSH1 0x04
000005e1: DUP1
000005e2: DUP1
000005e3: CALLDATALOAD
000005e4: SWAP1
000005e5: PUSH1 0x20
000005e7: ADD
000005e8: SWAP1
000005e9: SWAP2
000005ea: SWAP1
000005eb: DUP1
000005ec: CALLDATALOAD
000005ed: SWAP1
000005ee: PUSH1 0x20
000005f0: ADD
000005f1: SWAP1
000005f2: SWAP2
000005f3: SWAP1
000005f4: DUP1
000005f5: CALLDATALOAD
000005f6: ISZERO
000005f7: ISZERO
000005f8: SWAP1
000005f9: PUSH1 0x20
000005fb: ADD
000005fc: SWAP1
000005fd: SWAP2
000005fe: SWAP1
000005ff: DUP1
00000600: CALLDATALOAD
00000601: ISZERO
00000602: ISZERO
00000603: SWAP1
00000604: PUSH1 0x20
00000606: ADD
00000607: SWAP1
00000608: SWAP2
00000609: SWAP1
0000060a: POP
0000060b: POP
0000060c: PUSH2 0x1371
0000060f: JUMP
00000610: JUMPDEST
00000611: PUSH1 0x40
00000613: MLOAD
00000614: DUP1
00000615: DUP1
00000616: PUSH1 0x20
00000618: ADD
00000619: DUP3
0000061a: DUP2
0000061b: SUB
0000061c: DUP3
0000061d: MSTORE
0000061e: DUP4
0000061f: DUP2
00000620: DUP2
00000621: MLOAD
00000622: DUP2
00000623: MSTORE
00000624: PUSH1 0x20
00000626: ADD
00000627: SWAP2
00000628: POP
00000629: DUP1
0000062a: MLOAD
0000062b: SWAP1
0000062c: PUSH1 0x20
0000062e: ADD
0000062f: SWAP1
00000630: PUSH1 0x20
00000632: MUL
00000633: DUP1
00000634: DUP4
00000635: DUP4
00000636: PUSH1 0x00
00000638: DUP4
00000639: EQ
0000063a: PUSH2 0x0662
0000063d: JUMPI
0000063e: JUMPDEST
0000063f: DUP1
00000640: MLOAD
00000641: DUP3
00000642: MSTORE
00000643: PUSH1 0x20
00000645: DUP4
00000646: GT
00000647: ISZERO
00000648: PUSH2 0x0662
0000064b: JUMPI
0000064c: PUSH1 0x20
0000064e: DUP3
0000064f: ADD
00000650: SWAP2
00000651: POP
00000652: PUSH1 0x20
00000654: DUP2
00000655: ADD
00000656: SWAP1
00000657: POP
00000658: PUSH1 0x20
0000065a: DUP4
0000065b: SUB
0000065c: SWAP3
0000065d: POP
0000065e: PUSH2 0x063e
00000661: JUMP
00000662: JUMPDEST
00000663: POP
00000664: POP
00000665: POP
00000666: SWAP1
00000667: POP
00000668: ADD
00000669: SWAP3
0000066a: POP
0000066b: POP
0000066c: POP
0000066d: PUSH1 0x40
0000066f: MLOAD
00000670: DUP1
00000671: SWAP2
00000672: SUB
00000673: SWAP1
00000674: RETURN
00000675: JUMPDEST
00000676: CALLVALUE
00000677: ISZERO
00000678: PUSH2 0x067d
0000067b: JUMPI
0000067c: INVALID
0000067d: JUMPDEST
0000067e: PUSH2 0x0693
00000681: PUSH1 0x04
00000683: DUP1
00000684: DUP1
00000685: CALLDATALOAD
00000686: SWAP1
00000687: PUSH1 0x20
00000689: ADD
0000068a: SWAP1
0000068b: SWAP2
0000068c: SWAP1
0000068d: POP
0000068e: POP
0000068f: PUSH2 0x14d5
00000692: JUMP
00000693: JUMPDEST
00000694: PUSH1 0x40
00000696: MLOAD
00000697: DUP1
00000698: DUP1
00000699: PUSH1 0x20
0000069b: ADD
0000069c: DUP3
0000069d: DUP2
0000069e: SUB
0000069f: DUP3
000006a0: MSTORE
000006a1: DUP4
000006a2: DUP2
000006a3: DUP2
000006a4: MLOAD
000006a5: DUP2
000006a6: MSTORE
000006a7: PUSH1 0x20
000006a9: ADD
000006aa: SWAP2
000006ab: POP
000006ac: DUP1
000006ad: MLOAD
000006ae: SWAP1
000006af: PUSH1 0x20
000006b1: ADD
000006b2: SWAP1
000006b3: PUSH1 0x20
000006b5: MUL
000006b6: DUP1
000006b7: DUP4
000006b8: DUP4
000006b9: PUSH1 0x00
000006bb: DUP4
000006bc: EQ
000006bd: PUSH2 0x06e5
000006c0: JUMPI
000006c1: JUMPDEST
000006c2: DUP1
000006c3: MLOAD
000006c4: DUP3
000006c5: MSTORE
000006c6: PUSH1 0x20
000006c8: DUP4
000006c9: GT
000006ca: ISZERO
000006cb: PUSH2 0x06e5
000006ce: JUMPI
000006cf: PUSH1 0x20
000006d1: DUP3
000006d2: ADD
000006d3: SWAP2
000006d4: POP
000006d5: PUSH1 0x20
000006d7: DUP2
000006d8: ADD
000006d9: SWAP1
000006da: POP
000006db: PUSH1 0x20
000006dd: DUP4
000006de: SUB
000006df: SWAP3
000006e0: POP
000006e1: PUSH2 0x06c1
000006e4: JUMP
000006e5: JUMPDEST
000006e6: POP
000006e7: POP
000006e8: POP
000006e9: SWAP1
000006ea: POP
000006eb: ADD
000006ec: SWAP3
000006ed: POP
000006ee: POP
000006ef: POP
000006f0: PUSH1 0x40
000006f2: MLOAD
000006f3: DUP1
000006f4: SWAP2
000006f5: SUB
000006f6: SWAP1
000006f7: RETURN
000006f8: JUMPDEST
000006f9: CALLVALUE
000006fa: ISZERO
000006fb: PUSH2 0x0700
000006fe: JUMPI
000006ff: INVALID
00000700: JUMPDEST
00000701: PUSH2 0x0708
00000704: PUSH2 0x1707
00000707: JUMP
00000708: JUMPDEST
00000709: PUSH1 0x40
0000070b: MLOAD
0000070c: DUP1
0000070d: DUP3
0000070e: DUP2
0000070f: MSTORE
00000710: PUSH1 0x20
00000712: ADD
00000713: SWAP2
00000714: POP
00000715: POP
00000716: PUSH1 0x40
00000718: MLOAD
00000719: DUP1
0000071a: SWAP2
0000071b: SUB
0000071c: SWAP1
0000071d: RETURN
0000071e: JUMPDEST
0000071f: CALLVALUE
00000720: ISZERO
00000721: PUSH2 0x0726
00000724: JUMPI
00000725: INVALID
00000726: JUMPDEST
00000727: PUSH2 0x073c
0000072a: PUSH1 0x04
0000072c: DUP1
0000072d: DUP1
0000072e: CALLDATALOAD
0000072f: SWAP1
00000730: PUSH1 0x20
00000732: ADD
00000733: SWAP1
00000734: SWAP2
00000735: SWAP1
00000736: POP
00000737: POP
00000738: PUSH2 0x170d
0000073b: JUMP
0000073c: JUMPDEST
0000073d: STOP
0000073e: JUMPDEST
0000073f: CALLVALUE
00000740: ISZERO
00000741: PUSH2 0x0746
00000744: JUMPI
00000745: INVALID
00000746: JUMPDEST
00000747: PUSH2 0x075c
0000074a: PUSH1 0x04
0000074c: DUP1
0000074d: DUP1
0000074e: CALLDATALOAD
0000074f: SWAP1
00000750: PUSH1 0x20
00000752: ADD
00000753: SWAP1
00000754: SWAP2
00000755: SWAP1
00000756: POP
00000757: POP
00000758: PUSH2 0x17c4
0000075b: JUMP
0000075c: JUMPDEST
0000075d: STOP
0000075e: JUMPDEST
0000075f: CALLVALUE
00000760: ISZERO
00000761: PUSH2 0x0766
00000764: JUMPI
00000765: INVALID
00000766: JUMPDEST
00000767: PUSH2 0x07de
0000076a: PUSH1 0x04
0000076c: DUP1
0000076d: DUP1
0000076e: CALLDATALOAD
0000076f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000784: AND
00000785: SWAP1
00000786: PUSH1 0x20
00000788: ADD
00000789: SWAP1
0000078a: SWAP2
0000078b: SWAP1
0000078c: DUP1
0000078d: CALLDATALOAD
0000078e: SWAP1
0000078f: PUSH1 0x20
00000791: ADD
00000792: SWAP1
00000793: SWAP2
00000794: SWAP1
00000795: DUP1
00000796: CALLDATALOAD
00000797: SWAP1
00000798: PUSH1 0x20
0000079a: ADD
0000079b: SWAP1
0000079c: DUP3
0000079d: ADD
0000079e: DUP1
0000079f: CALLDATALOAD
000007a0: SWAP1
000007a1: PUSH1 0x20
000007a3: ADD
000007a4: SWAP1
000007a5: DUP1
000007a6: DUP1
000007a7: PUSH1 0x1f
000007a9: ADD
000007aa: PUSH1 0x20
000007ac: DUP1
000007ad: SWAP2
000007ae: DIV
000007af: MUL
000007b0: PUSH1 0x20
000007b2: ADD
000007b3: PUSH1 0x40
000007b5: MLOAD
000007b6: SWAP1
000007b7: DUP2
000007b8: ADD
000007b9: PUSH1 0x40
000007bb: MSTORE
000007bc: DUP1
000007bd: SWAP4
000007be: SWAP3
000007bf: SWAP2
000007c0: SWAP1
000007c1: DUP2
000007c2: DUP2
000007c3: MSTORE
000007c4: PUSH1 0x20
000007c6: ADD
000007c7: DUP4
000007c8: DUP4
000007c9: DUP1
000007ca: DUP3
000007cb: DUP5
000007cc: CALLDATACOPY
000007cd: DUP3
000007ce: ADD
000007cf: SWAP2
000007d0: POP
000007d1: POP
000007d2: POP
000007d3: POP
000007d4: POP
000007d5: POP
000007d6: SWAP2
000007d7: SWAP1
000007d8: POP
000007d9: POP
000007da: PUSH2 0x19a9
000007dd: JUMP
000007de: JUMPDEST
000007df: PUSH1 0x40
000007e1: MLOAD
000007e2: DUP1
000007e3: DUP3
000007e4: DUP2
000007e5: MSTORE
000007e6: PUSH1 0x20
000007e8: ADD
000007e9: SWAP2
000007ea: POP
000007eb: POP
000007ec: PUSH1 0x40
000007ee: MLOAD
000007ef: DUP1
000007f0: SWAP2
000007f1: SUB
000007f2: SWAP1
000007f3: RETURN
000007f4: JUMPDEST
000007f5: CALLVALUE
000007f6: ISZERO
000007f7: PUSH2 0x07fc
000007fa: JUMPI
000007fb: INVALID
000007fc: JUMPDEST
000007fd: PUSH2 0x0812
00000800: PUSH1 0x04
00000802: DUP1
00000803: DUP1
00000804: CALLDATALOAD
00000805: SWAP1
00000806: PUSH1 0x20
00000808: ADD
00000809: SWAP1
0000080a: SWAP2
0000080b: SWAP1
0000080c: POP
0000080d: POP
0000080e: PUSH2 0x19c9
00000811: JUMP
00000812: JUMPDEST
00000813: STOP
00000814: JUMPDEST
00000815: CALLVALUE
00000816: ISZERO
00000817: PUSH2 0x081c
0000081a: JUMPI
0000081b: INVALID
0000081c: JUMPDEST
0000081d: PUSH2 0x0824
00000820: PUSH2 0x1a47
00000823: JUMP
00000824: JUMPDEST
00000825: PUSH1 0x40
00000827: MLOAD
00000828: DUP1
00000829: DUP3
0000082a: DUP2
0000082b: MSTORE
0000082c: PUSH1 0x20
0000082e: ADD
0000082f: SWAP2
00000830: POP
00000831: POP
00000832: PUSH1 0x40
00000834: MLOAD
00000835: DUP1
00000836: SWAP2
00000837: SUB
00000838: SWAP1
00000839: RETURN
0000083a: JUMPDEST
0000083b: CALLVALUE
0000083c: ISZERO
0000083d: PUSH2 0x0842
00000840: JUMPI
00000841: INVALID
00000842: JUMPDEST
00000843: PUSH2 0x084a
00000846: PUSH2 0x1a4c
00000849: JUMP
0000084a: JUMPDEST
0000084b: PUSH1 0x40
0000084d: MLOAD
0000084e: DUP1
0000084f: DUP3
00000850: DUP2
00000851: MSTORE
00000852: PUSH1 0x20
00000854: ADD
00000855: SWAP2
00000856: POP
00000857: POP
00000858: PUSH1 0x40
0000085a: MLOAD
0000085b: DUP1
0000085c: SWAP2
0000085d: SUB
0000085e: SWAP1
0000085f: RETURN
00000860: JUMPDEST
00000861: CALLVALUE
00000862: ISZERO
00000863: PUSH2 0x0868
00000866: JUMPI
00000867: INVALID
00000868: JUMPDEST
00000869: PUSH2 0x08b3
0000086c: PUSH1 0x04
0000086e: DUP1
0000086f: DUP1
00000870: CALLDATALOAD
00000871: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000886: AND
00000887: SWAP1
00000888: PUSH1 0x20
0000088a: ADD
0000088b: SWAP1
0000088c: SWAP2
0000088d: SWAP1
0000088e: DUP1
0000088f: CALLDATALOAD
00000890: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008a5: AND
000008a6: SWAP1
000008a7: PUSH1 0x20
000008a9: ADD
000008aa: SWAP1
000008ab: SWAP2
000008ac: SWAP1
000008ad: POP
000008ae: POP
000008af: PUSH2 0x1a52
000008b2: JUMP
000008b3: JUMPDEST
000008b4: STOP
000008b5: JUMPDEST
000008b6: CALLVALUE
000008b7: ISZERO
000008b8: PUSH2 0x08bd
000008bb: JUMPI
000008bc: INVALID
000008bd: JUMPDEST
000008be: PUSH2 0x08d3
000008c1: PUSH1 0x04
000008c3: DUP1
000008c4: DUP1
000008c5: CALLDATALOAD
000008c6: SWAP1
000008c7: PUSH1 0x20
000008c9: ADD
000008ca: SWAP1
000008cb: SWAP2
000008cc: SWAP1
000008cd: POP
000008ce: POP
000008cf: PUSH2 0x1d77
000008d2: JUMP
000008d3: JUMPDEST
000008d4: STOP
000008d5: JUMPDEST
000008d6: CALLVALUE
000008d7: ISZERO
000008d8: PUSH2 0x08dd
000008db: JUMPI
000008dc: INVALID
000008dd: JUMPDEST
000008de: PUSH2 0x08e5
000008e1: PUSH2 0x1fb2
000008e4: JUMP
000008e5: JUMPDEST
000008e6: PUSH1 0x40
000008e8: MLOAD
000008e9: DUP1
000008ea: DUP3
000008eb: DUP2
000008ec: MSTORE
000008ed: PUSH1 0x20
000008ef: ADD
000008f0: SWAP2
000008f1: POP
000008f2: POP
000008f3: PUSH1 0x40
000008f5: MLOAD
000008f6: DUP1
000008f7: SWAP2
000008f8: SUB
000008f9: SWAP1
000008fa: RETURN
000008fb: JUMPDEST
000008fc: PUSH1 0x03
000008fe: DUP2
000008ff: DUP2
00000900: SLOAD
00000901: DUP2
00000902: LT
00000903: ISZERO
00000904: ISZERO
00000905: PUSH2 0x090a
00000908: JUMPI
00000909: INVALID
0000090a: JUMPDEST
0000090b: SWAP1
0000090c: PUSH1 0x00
0000090e: MSTORE
0000090f: PUSH1 0x20
00000911: PUSH1 0x00
00000913: KECCAK256
00000914: SWAP1
00000915: ADD
00000916: PUSH1 0x00
00000918: JUMPDEST
00000919: SWAP2
0000091a: POP
0000091b: SLOAD
0000091c: SWAP1
0000091d: PUSH2 0x0100
00000920: EXP
00000921: SWAP1
00000922: DIV
00000923: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000938: AND
00000939: DUP2
0000093a: JUMP
0000093b: JUMPDEST
0000093c: PUSH1 0x00
0000093e: ADDRESS
0000093f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000954: AND
00000955: CALLER
00000956: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000096b: AND
0000096c: EQ
0000096d: ISZERO
0000096e: ISZERO
0000096f: PUSH2 0x0978
00000972: JUMPI
00000973: PUSH1 0x00
00000975: PUSH1 0x00
00000977: REVERT
00000978: JUMPDEST
00000979: DUP2
0000097a: PUSH1 0x02
0000097c: PUSH1 0x00
0000097e: DUP3
0000097f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000994: AND
00000995: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009aa: AND
000009ab: DUP2
000009ac: MSTORE
000009ad: PUSH1 0x20
000009af: ADD
000009b0: SWAP1
000009b1: DUP2
000009b2: MSTORE
000009b3: PUSH1 0x20
000009b5: ADD
000009b6: PUSH1 0x00
000009b8: KECCAK256
000009b9: PUSH1 0x00
000009bb: SWAP1
000009bc: SLOAD
000009bd: SWAP1
000009be: PUSH2 0x0100
000009c1: EXP
000009c2: SWAP1
000009c3: DIV
000009c4: PUSH1 0xff
000009c6: AND
000009c7: ISZERO
000009c8: ISZERO
000009c9: PUSH2 0x09d2
000009cc: JUMPI
000009cd: PUSH1 0x00
000009cf: PUSH1 0x00
000009d1: REVERT
000009d2: JUMPDEST
000009d3: PUSH1 0x00
000009d5: PUSH1 0x02
000009d7: PUSH1 0x00
000009d9: DUP6
000009da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ef: AND
000009f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a05: AND
00000a06: DUP2
00000a07: MSTORE
00000a08: PUSH1 0x20
00000a0a: ADD
00000a0b: SWAP1
00000a0c: DUP2
00000a0d: MSTORE
00000a0e: PUSH1 0x20
00000a10: ADD
00000a11: PUSH1 0x00
00000a13: KECCAK256
00000a14: PUSH1 0x00
00000a16: PUSH2 0x0100
00000a19: EXP
00000a1a: DUP2
00000a1b: SLOAD
00000a1c: DUP2
00000a1d: PUSH1 0xff
00000a1f: MUL
00000a20: NOT
00000a21: AND
00000a22: SWAP1
00000a23: DUP4
00000a24: ISZERO
00000a25: ISZERO
00000a26: MUL
00000a27: OR
00000a28: SWAP1
00000a29: SSTORE
00000a2a: POP
00000a2b: PUSH1 0x00
00000a2d: SWAP2
00000a2e: POP
00000a2f: JUMPDEST
00000a30: PUSH1 0x01
00000a32: PUSH1 0x03
00000a34: DUP1
00000a35: SLOAD
00000a36: SWAP1
00000a37: POP
00000a38: SUB
00000a39: DUP3
00000a3a: LT
00000a3b: ISZERO
00000a3c: PUSH2 0x0b5e
00000a3f: JUMPI
00000a40: DUP3
00000a41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a56: AND
00000a57: PUSH1 0x03
00000a59: DUP4
00000a5a: DUP2
00000a5b: SLOAD
00000a5c: DUP2
00000a5d: LT
00000a5e: ISZERO
00000a5f: ISZERO
00000a60: PUSH2 0x0a65
00000a63: JUMPI
00000a64: INVALID
00000a65: JUMPDEST
00000a66: SWAP1
00000a67: PUSH1 0x00
00000a69: MSTORE
00000a6a: PUSH1 0x20
00000a6c: PUSH1 0x00
00000a6e: KECCAK256
00000a6f: SWAP1
00000a70: ADD
00000a71: PUSH1 0x00
00000a73: JUMPDEST
00000a74: SWAP1
00000a75: SLOAD
00000a76: SWAP1
00000a77: PUSH2 0x0100
00000a7a: EXP
00000a7b: SWAP1
00000a7c: DIV
00000a7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a92: AND
00000a93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aa8: AND
00000aa9: EQ
00000aaa: ISZERO
00000aab: PUSH2 0x0b50
00000aae: JUMPI
00000aaf: PUSH1 0x03
00000ab1: PUSH1 0x01
00000ab3: PUSH1 0x03
00000ab5: DUP1
00000ab6: SLOAD
00000ab7: SWAP1
00000ab8: POP
00000ab9: SUB
00000aba: DUP2
00000abb: SLOAD
00000abc: DUP2
00000abd: LT
00000abe: ISZERO
00000abf: ISZERO
00000ac0: PUSH2 0x0ac5
00000ac3: JUMPI
00000ac4: INVALID
00000ac5: JUMPDEST
00000ac6: SWAP1
00000ac7: PUSH1 0x00
00000ac9: MSTORE
00000aca: PUSH1 0x20
00000acc: PUSH1 0x00
00000ace: KECCAK256
00000acf: SWAP1
00000ad0: ADD
00000ad1: PUSH1 0x00
00000ad3: JUMPDEST
00000ad4: SWAP1
00000ad5: SLOAD
00000ad6: SWAP1
00000ad7: PUSH2 0x0100
00000ada: EXP
00000adb: SWAP1
00000adc: DIV
00000add: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af2: AND
00000af3: PUSH1 0x03
00000af5: DUP4
00000af6: DUP2
00000af7: SLOAD
00000af8: DUP2
00000af9: LT
00000afa: ISZERO
00000afb: ISZERO
00000afc: PUSH2 0x0b01
00000aff: JUMPI
00000b00: INVALID
00000b01: JUMPDEST
00000b02: SWAP1
00000b03: PUSH1 0x00
00000b05: MSTORE
00000b06: PUSH1 0x20
00000b08: PUSH1 0x00
00000b0a: KECCAK256
00000b0b: SWAP1
00000b0c: ADD
00000b0d: PUSH1 0x00
00000b0f: JUMPDEST
00000b10: PUSH2 0x0100
00000b13: EXP
00000b14: DUP2
00000b15: SLOAD
00000b16: DUP2
00000b17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b2c: MUL
00000b2d: NOT
00000b2e: AND
00000b2f: SWAP1
00000b30: DUP4
00000b31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b46: AND
00000b47: MUL
00000b48: OR
00000b49: SWAP1
00000b4a: SSTORE
00000b4b: POP
00000b4c: PUSH2 0x0b5e
00000b4f: JUMP
00000b50: JUMPDEST
00000b51: JUMPDEST
00000b52: DUP2
00000b53: DUP1
00000b54: PUSH1 0x01
00000b56: ADD
00000b57: SWAP3
00000b58: POP
00000b59: POP
00000b5a: PUSH2 0x0a2f
00000b5d: JUMP
00000b5e: JUMPDEST
00000b5f: PUSH1 0x01
00000b61: PUSH1 0x03
00000b63: DUP2
00000b64: DUP2
00000b65: DUP1
00000b66: SLOAD
00000b67: SWAP1
00000b68: POP
00000b69: SUB
00000b6a: SWAP2
00000b6b: POP
00000b6c: DUP2
00000b6d: PUSH2 0x0b76
00000b70: SWAP2
00000b71: SWAP1
00000b72: PUSH2 0x2161
00000b75: JUMP
00000b76: JUMPDEST
00000b77: POP
00000b78: PUSH1 0x03
00000b7a: DUP1
00000b7b: SLOAD
00000b7c: SWAP1
00000b7d: POP
00000b7e: PUSH1 0x04
00000b80: SLOAD
00000b81: GT
00000b82: ISZERO
00000b83: PUSH2 0x0b95
00000b86: JUMPI
00000b87: PUSH2 0x0b94
00000b8a: PUSH1 0x03
00000b8c: DUP1
00000b8d: SLOAD
00000b8e: SWAP1
00000b8f: POP
00000b90: PUSH2 0x170d
00000b93: JUMP
00000b94: JUMPDEST
00000b95: JUMPDEST
00000b96: DUP3
00000b97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bac: AND
00000bad: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
00000bce: PUSH1 0x40
00000bd0: MLOAD
00000bd1: DUP1
00000bd2: SWAP1
00000bd3: POP
00000bd4: PUSH1 0x40
00000bd6: MLOAD
00000bd7: DUP1
00000bd8: SWAP2
00000bd9: SUB
00000bda: SWAP1
00000bdb: LOG2
00000bdc: JUMPDEST
00000bdd: JUMPDEST
00000bde: POP
00000bdf: JUMPDEST
00000be0: POP
00000be1: POP
00000be2: JUMP
00000be3: JUMPDEST
00000be4: CALLER
00000be5: PUSH1 0x02
00000be7: PUSH1 0x00
00000be9: DUP3
00000bea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bff: AND
00000c00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c15: AND
00000c16: DUP2
00000c17: MSTORE
00000c18: PUSH1 0x20
00000c1a: ADD
00000c1b: SWAP1
00000c1c: DUP2
00000c1d: MSTORE
00000c1e: PUSH1 0x20
00000c20: ADD
00000c21: PUSH1 0x00
00000c23: KECCAK256
00000c24: PUSH1 0x00
00000c26: SWAP1
00000c27: SLOAD
00000c28: SWAP1
00000c29: PUSH2 0x0100
00000c2c: EXP
00000c2d: SWAP1
00000c2e: DIV
00000c2f: PUSH1 0xff
00000c31: AND
00000c32: ISZERO
00000c33: ISZERO
00000c34: PUSH2 0x0c3d
00000c37: JUMPI
00000c38: PUSH1 0x00
00000c3a: PUSH1 0x00
00000c3c: REVERT
00000c3d: JUMPDEST
00000c3e: DUP2
00000c3f: CALLER
00000c40: PUSH1 0x01
00000c42: PUSH1 0x00
00000c44: DUP4
00000c45: DUP2
00000c46: MSTORE
00000c47: PUSH1 0x20
00000c49: ADD
00000c4a: SWAP1
00000c4b: DUP2
00000c4c: MSTORE
00000c4d: PUSH1 0x20
00000c4f: ADD
00000c50: PUSH1 0x00
00000c52: KECCAK256
00000c53: PUSH1 0x00
00000c55: DUP3
00000c56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c6b: AND
00000c6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c81: AND
00000c82: DUP2
00000c83: MSTORE
00000c84: PUSH1 0x20
00000c86: ADD
00000c87: SWAP1
00000c88: DUP2
00000c89: MSTORE
00000c8a: PUSH1 0x20
00000c8c: ADD
00000c8d: PUSH1 0x00
00000c8f: KECCAK256
00000c90: PUSH1 0x00
00000c92: SWAP1
00000c93: SLOAD
00000c94: SWAP1
00000c95: PUSH2 0x0100
00000c98: EXP
00000c99: SWAP1
00000c9a: DIV
00000c9b: PUSH1 0xff
00000c9d: AND
00000c9e: ISZERO
00000c9f: ISZERO
00000ca0: PUSH2 0x0ca9
00000ca3: JUMPI
00000ca4: PUSH1 0x00
00000ca6: PUSH1 0x00
00000ca8: REVERT
00000ca9: JUMPDEST
00000caa: DUP4
00000cab: PUSH1 0x00
00000cad: PUSH1 0x00
00000caf: DUP3
00000cb0: DUP2
00000cb1: MSTORE
00000cb2: PUSH1 0x20
00000cb4: ADD
00000cb5: SWAP1
00000cb6: DUP2
00000cb7: MSTORE
00000cb8: PUSH1 0x20
00000cba: ADD
00000cbb: PUSH1 0x00
00000cbd: KECCAK256
00000cbe: PUSH1 0x03
00000cc0: ADD
00000cc1: PUSH1 0x00
00000cc3: SWAP1
00000cc4: SLOAD
00000cc5: SWAP1
00000cc6: PUSH2 0x0100
00000cc9: EXP
00000cca: SWAP1
00000ccb: DIV
00000ccc: PUSH1 0xff
00000cce: AND
00000ccf: ISZERO
00000cd0: PUSH2 0x0cd9
00000cd3: JUMPI
00000cd4: PUSH1 0x00
00000cd6: PUSH1 0x00
00000cd8: REVERT
00000cd9: JUMPDEST
00000cda: PUSH1 0x00
00000cdc: PUSH1 0x01
00000cde: PUSH1 0x00
00000ce0: DUP8
00000ce1: DUP2
00000ce2: MSTORE
00000ce3: PUSH1 0x20
00000ce5: ADD
00000ce6: SWAP1
00000ce7: DUP2
00000ce8: MSTORE
00000ce9: PUSH1 0x20
00000ceb: ADD
00000cec: PUSH1 0x00
00000cee: KECCAK256
00000cef: PUSH1 0x00
00000cf1: CALLER
00000cf2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d07: AND
00000d08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d1d: AND
00000d1e: DUP2
00000d1f: MSTORE
00000d20: PUSH1 0x20
00000d22: ADD
00000d23: SWAP1
00000d24: DUP2
00000d25: MSTORE
00000d26: PUSH1 0x20
00000d28: ADD
00000d29: PUSH1 0x00
00000d2b: KECCAK256
00000d2c: PUSH1 0x00
00000d2e: PUSH2 0x0100
00000d31: EXP
00000d32: DUP2
00000d33: SLOAD
00000d34: DUP2
00000d35: PUSH1 0xff
00000d37: MUL
00000d38: NOT
00000d39: AND
00000d3a: SWAP1
00000d3b: DUP4
00000d3c: ISZERO
00000d3d: ISZERO
00000d3e: MUL
00000d3f: OR
00000d40: SWAP1
00000d41: SSTORE
00000d42: POP
00000d43: DUP5
00000d44: CALLER
00000d45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d5a: AND
00000d5b: PUSH32 0xf6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e9
00000d7c: PUSH1 0x40
00000d7e: MLOAD
00000d7f: DUP1
00000d80: SWAP1
00000d81: POP
00000d82: PUSH1 0x40
00000d84: MLOAD
00000d85: DUP1
00000d86: SWAP2
00000d87: SUB
00000d88: SWAP1
00000d89: LOG3
00000d8a: JUMPDEST
00000d8b: JUMPDEST
00000d8c: POP
00000d8d: JUMPDEST
00000d8e: POP
00000d8f: POP
00000d90: JUMPDEST
00000d91: POP
00000d92: POP
00000d93: JUMP
00000d94: JUMPDEST
00000d95: PUSH1 0x02
00000d97: PUSH1 0x20
00000d99: MSTORE
00000d9a: DUP1
00000d9b: PUSH1 0x00
00000d9d: MSTORE
00000d9e: PUSH1 0x40
00000da0: PUSH1 0x00
00000da2: KECCAK256
00000da3: PUSH1 0x00
00000da5: SWAP2
00000da6: POP
00000da7: SLOAD
00000da8: SWAP1
00000da9: PUSH2 0x0100
00000dac: EXP
00000dad: SWAP1
00000dae: DIV
00000daf: PUSH1 0xff
00000db1: AND
00000db2: DUP2
00000db3: JUMP
00000db4: JUMPDEST
00000db5: PUSH1 0x01
00000db7: PUSH1 0x20
00000db9: MSTORE
00000dba: DUP2
00000dbb: PUSH1 0x00
00000dbd: MSTORE
00000dbe: PUSH1 0x40
00000dc0: PUSH1 0x00
00000dc2: KECCAK256
00000dc3: PUSH1 0x20
00000dc5: MSTORE
00000dc6: DUP1
00000dc7: PUSH1 0x00
00000dc9: MSTORE
00000dca: PUSH1 0x40
00000dcc: PUSH1 0x00
00000dce: KECCAK256
00000dcf: PUSH1 0x00
00000dd1: SWAP2
00000dd2: POP
00000dd3: SWAP2
00000dd4: POP
00000dd5: SWAP1
00000dd6: SLOAD
00000dd7: SWAP1
00000dd8: PUSH2 0x0100
00000ddb: EXP
00000ddc: SWAP1
00000ddd: DIV
00000dde: PUSH1 0xff
00000de0: AND
00000de1: DUP2
00000de2: JUMP
00000de3: JUMPDEST
00000de4: PUSH1 0x00
00000de6: PUSH3 0x015180
00000dea: PUSH1 0x07
00000dec: SLOAD
00000ded: ADD
00000dee: TIMESTAMP
00000def: GT
00000df0: ISZERO
00000df1: PUSH2 0x0dfe
00000df4: JUMPI
00000df5: PUSH1 0x06
00000df7: SLOAD
00000df8: SWAP1
00000df9: POP
00000dfa: PUSH2 0x0e1d
00000dfd: JUMP
00000dfe: JUMPDEST
00000dff: PUSH1 0x08
00000e01: SLOAD
00000e02: PUSH1 0x06
00000e04: SLOAD
00000e05: LT
00000e06: ISZERO
00000e07: PUSH2 0x0e13
00000e0a: JUMPI
00000e0b: PUSH1 0x00
00000e0d: SWAP1
00000e0e: POP
00000e0f: PUSH2 0x0e1d
00000e12: JUMP
00000e13: JUMPDEST
00000e14: PUSH1 0x08
00000e16: SLOAD
00000e17: PUSH1 0x06
00000e19: SLOAD
00000e1a: SUB
00000e1b: SWAP1
00000e1c: POP
00000e1d: JUMPDEST
00000e1e: SWAP1
00000e1f: JUMP
00000e20: JUMPDEST
00000e21: PUSH1 0x00
00000e23: PUSH1 0x00
00000e25: PUSH1 0x00
00000e27: SWAP1
00000e28: POP
00000e29: JUMPDEST
00000e2a: PUSH1 0x05
00000e2c: SLOAD
00000e2d: DUP2
00000e2e: LT
00000e2f: ISZERO
00000e30: PUSH2 0x0eaf
00000e33: JUMPI
00000e34: DUP4
00000e35: DUP1
00000e36: ISZERO
00000e37: PUSH2 0x0e61
00000e3a: JUMPI
00000e3b: POP
00000e3c: PUSH1 0x00
00000e3e: PUSH1 0x00
00000e40: DUP3
00000e41: DUP2
00000e42: MSTORE
00000e43: PUSH1 0x20
00000e45: ADD
00000e46: SWAP1
00000e47: DUP2
00000e48: MSTORE
00000e49: PUSH1 0x20
00000e4b: ADD
00000e4c: PUSH1 0x00
00000e4e: KECCAK256
00000e4f: PUSH1 0x03
00000e51: ADD
00000e52: PUSH1 0x00
00000e54: SWAP1
00000e55: SLOAD
00000e56: SWAP1
00000e57: PUSH2 0x0100
00000e5a: EXP
00000e5b: SWAP1
00000e5c: DIV
00000e5d: PUSH1 0xff
00000e5f: AND
00000e60: ISZERO
00000e61: JUMPDEST
00000e62: DUP1
00000e63: PUSH2 0x0e95
00000e66: JUMPI
00000e67: POP
00000e68: DUP3
00000e69: DUP1
00000e6a: ISZERO
00000e6b: PUSH2 0x0e94
00000e6e: JUMPI
00000e6f: POP
00000e70: PUSH1 0x00
00000e72: PUSH1 0x00
00000e74: DUP3
00000e75: DUP2
00000e76: MSTORE
00000e77: PUSH1 0x20
00000e79: ADD
00000e7a: SWAP1
00000e7b: DUP2
00000e7c: MSTORE
00000e7d: PUSH1 0x20
00000e7f: ADD
00000e80: PUSH1 0x00
00000e82: KECCAK256
00000e83: PUSH1 0x03
00000e85: ADD
00000e86: PUSH1 0x00
00000e88: SWAP1
00000e89: SLOAD
00000e8a: SWAP1
00000e8b: PUSH2 0x0100
00000e8e: EXP
00000e8f: SWAP1
00000e90: DIV
00000e91: PUSH1 0xff
00000e93: AND
00000e94: JUMPDEST
00000e95: JUMPDEST
00000e96: ISZERO
00000e97: PUSH2 0x0ea1
00000e9a: JUMPI
00000e9b: PUSH1 0x01
00000e9d: DUP3
00000e9e: ADD
00000e9f: SWAP2
00000ea0: POP
00000ea1: JUMPDEST
00000ea2: JUMPDEST
00000ea3: DUP1
00000ea4: DUP1
00000ea5: PUSH1 0x01
00000ea7: ADD
00000ea8: SWAP2
00000ea9: POP
00000eaa: POP
00000eab: PUSH2 0x0e29
00000eae: JUMP
00000eaf: JUMPDEST
00000eb0: JUMPDEST
00000eb1: POP
00000eb2: SWAP3
00000eb3: SWAP2
00000eb4: POP
00000eb5: POP
00000eb6: JUMP
00000eb7: JUMPDEST
00000eb8: PUSH1 0x06
00000eba: SLOAD
00000ebb: DUP2
00000ebc: JUMP
00000ebd: JUMPDEST
00000ebe: PUSH1 0x07
00000ec0: SLOAD
00000ec1: DUP2
00000ec2: JUMP
00000ec3: JUMPDEST
00000ec4: ADDRESS
00000ec5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eda: AND
00000edb: CALLER
00000edc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef1: AND
00000ef2: EQ
00000ef3: ISZERO
00000ef4: ISZERO
00000ef5: PUSH2 0x0efe
00000ef8: JUMPI
00000ef9: PUSH1 0x00
00000efb: PUSH1 0x00
00000efd: REVERT
00000efe: JUMPDEST
00000eff: DUP1
00000f00: PUSH1 0x02
00000f02: PUSH1 0x00
00000f04: DUP3
00000f05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f1a: AND
00000f1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f30: AND
00000f31: DUP2
00000f32: MSTORE
00000f33: PUSH1 0x20
00000f35: ADD
00000f36: SWAP1
00000f37: DUP2
00000f38: MSTORE
00000f39: PUSH1 0x20
00000f3b: ADD
00000f3c: PUSH1 0x00
00000f3e: KECCAK256
00000f3f: PUSH1 0x00
00000f41: SWAP1
00000f42: SLOAD
00000f43: SWAP1
00000f44: PUSH2 0x0100
00000f47: EXP
00000f48: SWAP1
00000f49: DIV
00000f4a: PUSH1 0xff
00000f4c: AND
00000f4d: ISZERO
00000f4e: PUSH2 0x0f57
00000f51: JUMPI
00000f52: PUSH1 0x00
00000f54: PUSH1 0x00
00000f56: REVERT
00000f57: JUMPDEST
00000f58: DUP2
00000f59: PUSH1 0x00
00000f5b: DUP2
00000f5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f71: AND
00000f72: EQ
00000f73: ISZERO
00000f74: PUSH2 0x0f7d
00000f77: JUMPI
00000f78: PUSH1 0x00
00000f7a: PUSH1 0x00
00000f7c: REVERT
00000f7d: JUMPDEST
00000f7e: PUSH1 0x01
00000f80: PUSH1 0x03
00000f82: DUP1
00000f83: SLOAD
00000f84: SWAP1
00000f85: POP
00000f86: ADD
00000f87: PUSH1 0x04
00000f89: SLOAD
00000f8a: PUSH1 0x32
00000f8c: DUP3
00000f8d: GT
00000f8e: DUP1
00000f8f: PUSH2 0x0f97
00000f92: JUMPI
00000f93: POP
00000f94: DUP2
00000f95: DUP2
00000f96: GT
00000f97: JUMPDEST
00000f98: DUP1
00000f99: PUSH2 0x0fa2
00000f9c: JUMPI
00000f9d: POP
00000f9e: PUSH1 0x00
00000fa0: DUP2
00000fa1: EQ
00000fa2: JUMPDEST
00000fa3: DUP1
00000fa4: PUSH2 0x0fad
00000fa7: JUMPI
00000fa8: POP
00000fa9: PUSH1 0x00
00000fab: DUP3
00000fac: EQ
00000fad: JUMPDEST
00000fae: ISZERO
00000faf: PUSH2 0x0fb8
00000fb2: JUMPI
00000fb3: PUSH1 0x00
00000fb5: PUSH1 0x00
00000fb7: REVERT
00000fb8: JUMPDEST
00000fb9: PUSH1 0x01
00000fbb: PUSH1 0x02
00000fbd: PUSH1 0x00
00000fbf: DUP8
00000fc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fd5: AND
00000fd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000feb: AND
00000fec: DUP2
00000fed: MSTORE
00000fee: PUSH1 0x20
00000ff0: ADD
00000ff1: SWAP1
00000ff2: DUP2
00000ff3: MSTORE
00000ff4: PUSH1 0x20
00000ff6: ADD
00000ff7: PUSH1 0x00
00000ff9: KECCAK256
00000ffa: PUSH1 0x00
00000ffc: PUSH2 0x0100
00000fff: EXP
00001000: DUP2
00001001: SLOAD
00001002: DUP2
00001003: PUSH1 0xff
00001005: MUL
00001006: NOT
00001007: AND
00001008: SWAP1
00001009: DUP4
0000100a: ISZERO
0000100b: ISZERO
0000100c: MUL
0000100d: OR
0000100e: SWAP1
0000100f: SSTORE
00001010: POP
00001011: PUSH1 0x03
00001013: DUP1
00001014: SLOAD
00001015: DUP1
00001016: PUSH1 0x01
00001018: ADD
00001019: DUP3
0000101a: DUP2
0000101b: PUSH2 0x1024
0000101e: SWAP2
0000101f: SWAP1
00001020: PUSH2 0x218d
00001023: JUMP
00001024: JUMPDEST
00001025: SWAP2
00001026: PUSH1 0x00
00001028: MSTORE
00001029: PUSH1 0x20
0000102b: PUSH1 0x00
0000102d: KECCAK256
0000102e: SWAP1
0000102f: ADD
00001030: PUSH1 0x00
00001032: JUMPDEST
00001033: DUP8
00001034: SWAP1
00001035: SWAP2
00001036: SWAP1
00001037: SWAP2
00001038: PUSH2 0x0100
0000103b: EXP
0000103c: DUP2
0000103d: SLOAD
0000103e: DUP2
0000103f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001054: MUL
00001055: NOT
00001056: AND
00001057: SWAP1
00001058: DUP4
00001059: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000106e: AND
0000106f: MUL
00001070: OR
00001071: SWAP1
00001072: SSTORE
00001073: POP
00001074: POP
00001075: DUP5
00001076: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000108b: AND
0000108c: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
000010ad: PUSH1 0x40
000010af: MLOAD
000010b0: DUP1
000010b1: SWAP1
000010b2: POP
000010b3: PUSH1 0x40
000010b5: MLOAD
000010b6: DUP1
000010b7: SWAP2
000010b8: SUB
000010b9: SWAP1
000010ba: LOG2
000010bb: JUMPDEST
000010bc: JUMPDEST
000010bd: POP
000010be: POP
000010bf: JUMPDEST
000010c0: POP
000010c1: JUMPDEST
000010c2: POP
000010c3: JUMPDEST
000010c4: POP
000010c5: JUMP
000010c6: JUMPDEST
000010c7: PUSH1 0x00
000010c9: PUSH1 0x00
000010cb: PUSH1 0x00
000010cd: PUSH1 0x00
000010cf: SWAP2
000010d0: POP
000010d1: PUSH1 0x00
000010d3: SWAP1
000010d4: POP
000010d5: JUMPDEST
000010d6: PUSH1 0x03
000010d8: DUP1
000010d9: SLOAD
000010da: SWAP1
000010db: POP
000010dc: DUP2
000010dd: LT
000010de: ISZERO
000010df: PUSH2 0x11a8
000010e2: JUMPI
000010e3: PUSH1 0x01
000010e5: PUSH1 0x00
000010e7: DUP6
000010e8: DUP2
000010e9: MSTORE
000010ea: PUSH1 0x20
000010ec: ADD
000010ed: SWAP1
000010ee: DUP2
000010ef: MSTORE
000010f0: PUSH1 0x20
000010f2: ADD
000010f3: PUSH1 0x00
000010f5: KECCAK256
000010f6: PUSH1 0x00
000010f8: PUSH1 0x03
000010fa: DUP4
000010fb: DUP2
000010fc: SLOAD
000010fd: DUP2
000010fe: LT
000010ff: ISZERO
00001100: ISZERO
00001101: PUSH2 0x1106
00001104: JUMPI
00001105: INVALID
00001106: JUMPDEST
00001107: SWAP1
00001108: PUSH1 0x00
0000110a: MSTORE
0000110b: PUSH1 0x20
0000110d: PUSH1 0x00
0000110f: KECCAK256
00001110: SWAP1
00001111: ADD
00001112: PUSH1 0x00
00001114: JUMPDEST
00001115: SWAP1
00001116: SLOAD
00001117: SWAP1
00001118: PUSH2 0x0100
0000111b: EXP
0000111c: SWAP1
0000111d: DIV
0000111e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001133: AND
00001134: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001149: AND
0000114a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000115f: AND
00001160: DUP2
00001161: MSTORE
00001162: PUSH1 0x20
00001164: ADD
00001165: SWAP1
00001166: DUP2
00001167: MSTORE
00001168: PUSH1 0x20
0000116a: ADD
0000116b: PUSH1 0x00
0000116d: KECCAK256
0000116e: PUSH1 0x00
00001170: SWAP1
00001171: SLOAD
00001172: SWAP1
00001173: PUSH2 0x0100
00001176: EXP
00001177: SWAP1
00001178: DIV
00001179: PUSH1 0xff
0000117b: AND
0000117c: ISZERO
0000117d: PUSH2 0x1187
00001180: JUMPI
00001181: PUSH1 0x01
00001183: DUP3
00001184: ADD
00001185: SWAP2
00001186: POP
00001187: JUMPDEST
00001188: PUSH1 0x04
0000118a: SLOAD
0000118b: DUP3
0000118c: EQ
0000118d: ISZERO
0000118e: PUSH2 0x119a
00001191: JUMPI
00001192: PUSH1 0x01
00001194: SWAP3
00001195: POP
00001196: PUSH2 0x11a9
00001199: JUMP
0000119a: JUMPDEST
0000119b: JUMPDEST
0000119c: DUP1
0000119d: DUP1
0000119e: PUSH1 0x01
000011a0: ADD
000011a1: SWAP2
000011a2: POP
000011a3: POP
000011a4: PUSH2 0x10d5
000011a7: JUMP
000011a8: JUMPDEST
000011a9: JUMPDEST
000011aa: POP
000011ab: POP
000011ac: SWAP2
000011ad: SWAP1
000011ae: POP
000011af: JUMP
000011b0: JUMPDEST
000011b1: PUSH1 0x00
000011b3: PUSH1 0x00
000011b5: PUSH1 0x00
000011b7: SWAP1
000011b8: POP
000011b9: JUMPDEST
000011ba: PUSH1 0x03
000011bc: DUP1
000011bd: SLOAD
000011be: SWAP1
000011bf: POP
000011c0: DUP2
000011c1: LT
000011c2: ISZERO
000011c3: PUSH2 0x1279
000011c6: JUMPI
000011c7: PUSH1 0x01
000011c9: PUSH1 0x00
000011cb: DUP5
000011cc: DUP2
000011cd: MSTORE
000011ce: PUSH1 0x20
000011d0: ADD
000011d1: SWAP1
000011d2: DUP2
000011d3: MSTORE
000011d4: PUSH1 0x20
000011d6: ADD
000011d7: PUSH1 0x00
000011d9: KECCAK256
000011da: PUSH1 0x00
000011dc: PUSH1 0x03
000011de: DUP4
000011df: DUP2
000011e0: SLOAD
000011e1: DUP2
000011e2: LT
000011e3: ISZERO
000011e4: ISZERO
000011e5: PUSH2 0x11ea
000011e8: JUMPI
000011e9: INVALID
000011ea: JUMPDEST
000011eb: SWAP1
000011ec: PUSH1 0x00
000011ee: MSTORE
000011ef: PUSH1 0x20
000011f1: PUSH1 0x00
000011f3: KECCAK256
000011f4: SWAP1
000011f5: ADD
000011f6: PUSH1 0x00
000011f8: JUMPDEST
000011f9: SWAP1
000011fa: SLOAD
000011fb: SWAP1
000011fc: PUSH2 0x0100
000011ff: EXP
00001200: SWAP1
00001201: DIV
00001202: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001217: AND
00001218: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000122d: AND
0000122e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001243: AND
00001244: DUP2
00001245: MSTORE
00001246: PUSH1 0x20
00001248: ADD
00001249: SWAP1
0000124a: DUP2
0000124b: MSTORE
0000124c: PUSH1 0x20
0000124e: ADD
0000124f: PUSH1 0x00
00001251: KECCAK256
00001252: PUSH1 0x00
00001254: SWAP1
00001255: SLOAD
00001256: SWAP1
00001257: PUSH2 0x0100
0000125a: EXP
0000125b: SWAP1
0000125c: DIV
0000125d: PUSH1 0xff
0000125f: AND
00001260: ISZERO
00001261: PUSH2 0x126b
00001264: JUMPI
00001265: PUSH1 0x01
00001267: DUP3
00001268: ADD
00001269: SWAP2
0000126a: POP
0000126b: JUMPDEST
0000126c: JUMPDEST
0000126d: DUP1
0000126e: DUP1
0000126f: PUSH1 0x01
00001271: ADD
00001272: SWAP2
00001273: POP
00001274: POP
00001275: PUSH2 0x11b9
00001278: JUMP
00001279: JUMPDEST
0000127a: JUMPDEST
0000127b: POP
0000127c: SWAP2
0000127d: SWAP1
0000127e: POP
0000127f: JUMP
00001280: JUMPDEST
00001281: PUSH1 0x00
00001283: PUSH1 0x20
00001285: MSTORE
00001286: DUP1
00001287: PUSH1 0x00
00001289: MSTORE
0000128a: PUSH1 0x40
0000128c: PUSH1 0x00
0000128e: KECCAK256
0000128f: PUSH1 0x00
00001291: SWAP2
00001292: POP
00001293: SWAP1
00001294: POP
00001295: DUP1
00001296: PUSH1 0x00
00001298: ADD
00001299: PUSH1 0x00
0000129b: SWAP1
0000129c: SLOAD
0000129d: SWAP1
0000129e: PUSH2 0x0100
000012a1: EXP
000012a2: SWAP1
000012a3: DIV
000012a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012b9: AND
000012ba: SWAP1
000012bb: DUP1
000012bc: PUSH1 0x01
000012be: ADD
000012bf: SLOAD
000012c0: SWAP1
000012c1: DUP1
000012c2: PUSH1 0x02
000012c4: ADD
000012c5: SWAP1
000012c6: DUP1
000012c7: PUSH1 0x03
000012c9: ADD
000012ca: PUSH1 0x00
000012cc: SWAP1
000012cd: SLOAD
000012ce: SWAP1
000012cf: PUSH2 0x0100
000012d2: EXP
000012d3: SWAP1
000012d4: DIV
000012d5: PUSH1 0xff
000012d7: AND
000012d8: SWAP1
000012d9: POP
000012da: DUP5
000012db: JUMP
000012dc: JUMPDEST
000012dd: PUSH2 0x12e4
000012e0: PUSH2 0x21b9
000012e3: JUMP
000012e4: JUMPDEST
000012e5: PUSH1 0x03
000012e7: DUP1
000012e8: SLOAD
000012e9: DUP1
000012ea: PUSH1 0x20
000012ec: MUL
000012ed: PUSH1 0x20
000012ef: ADD
000012f0: PUSH1 0x40
000012f2: MLOAD
000012f3: SWAP1
000012f4: DUP2
000012f5: ADD
000012f6: PUSH1 0x40
000012f8: MSTORE
000012f9: DUP1
000012fa: SWAP3
000012fb: SWAP2
000012fc: SWAP1
000012fd: DUP2
000012fe: DUP2
000012ff: MSTORE
00001300: PUSH1 0x20
00001302: ADD
00001303: DUP3
00001304: DUP1
00001305: SLOAD
00001306: DUP1
00001307: ISZERO
00001308: PUSH2 0x1366
0000130b: JUMPI
0000130c: PUSH1 0x20
0000130e: MUL
0000130f: DUP3
00001310: ADD
00001311: SWAP2
00001312: SWAP1
00001313: PUSH1 0x00
00001315: MSTORE
00001316: PUSH1 0x20
00001318: PUSH1 0x00
0000131a: KECCAK256
0000131b: SWAP1
0000131c: JUMPDEST
0000131d: DUP2
0000131e: PUSH1 0x00
00001320: SWAP1
00001321: SLOAD
00001322: SWAP1
00001323: PUSH2 0x0100
00001326: EXP
00001327: SWAP1
00001328: DIV
00001329: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000133e: AND
0000133f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001354: AND
00001355: DUP2
00001356: MSTORE
00001357: PUSH1 0x20
00001359: ADD
0000135a: SWAP1
0000135b: PUSH1 0x01
0000135d: ADD
0000135e: SWAP1
0000135f: DUP1
00001360: DUP4
00001361: GT
00001362: PUSH2 0x131c
00001365: JUMPI
00001366: JUMPDEST
00001367: POP
00001368: POP
00001369: POP
0000136a: POP
0000136b: POP
0000136c: SWAP1
0000136d: POP
0000136e: JUMPDEST
0000136f: SWAP1
00001370: JUMP
00001371: JUMPDEST
00001372: PUSH2 0x1379
00001375: PUSH2 0x21cd
00001378: JUMP
00001379: JUMPDEST
0000137a: PUSH2 0x1381
0000137d: PUSH2 0x21cd
00001380: JUMP
00001381: JUMPDEST
00001382: PUSH1 0x00
00001384: PUSH1 0x00
00001386: PUSH1 0x05
00001388: SLOAD
00001389: PUSH1 0x40
0000138b: MLOAD
0000138c: DUP1
0000138d: MSIZE
0000138e: LT
0000138f: PUSH2 0x1395
00001392: JUMPI
00001393: POP
00001394: MSIZE
00001395: JUMPDEST
00001396: SWAP1
00001397: DUP1
00001398: DUP3
00001399: MSTORE
0000139a: DUP1
0000139b: PUSH1 0x20
0000139d: MUL
0000139e: PUSH1 0x20
000013a0: ADD
000013a1: DUP3
000013a2: ADD
000013a3: PUSH1 0x40
000013a5: MSTORE
000013a6: JUMPDEST
000013a7: POP
000013a8: SWAP3
000013a9: POP
000013aa: PUSH1 0x00
000013ac: SWAP2
000013ad: POP
000013ae: PUSH1 0x00
000013b0: SWAP1
000013b1: POP
000013b2: JUMPDEST
000013b3: PUSH1 0x05
000013b5: SLOAD
000013b6: DUP2
000013b7: LT
000013b8: ISZERO
000013b9: PUSH2 0x1455
000013bc: JUMPI
000013bd: DUP6
000013be: DUP1
000013bf: ISZERO
000013c0: PUSH2 0x13ea
000013c3: JUMPI
000013c4: POP
000013c5: PUSH1 0x00
000013c7: PUSH1 0x00
000013c9: DUP3
000013ca: DUP2
000013cb: MSTORE
000013cc: PUSH1 0x20
000013ce: ADD
000013cf: SWAP1
000013d0: DUP2
000013d1: MSTORE
000013d2: PUSH1 0x20
000013d4: ADD
000013d5: PUSH1 0x00
000013d7: KECCAK256
000013d8: PUSH1 0x03
000013da: ADD
000013db: PUSH1 0x00
000013dd: SWAP1
000013de: SLOAD
000013df: SWAP1
000013e0: PUSH2 0x0100
000013e3: EXP
000013e4: SWAP1
000013e5: DIV
000013e6: PUSH1 0xff
000013e8: AND
000013e9: ISZERO
000013ea: JUMPDEST
000013eb: DUP1
000013ec: PUSH2 0x141e
000013ef: JUMPI
000013f0: POP
000013f1: DUP5
000013f2: DUP1
000013f3: ISZERO
000013f4: PUSH2 0x141d
000013f7: JUMPI
000013f8: POP
000013f9: PUSH1 0x00
000013fb: PUSH1 0x00
000013fd: DUP3
000013fe: DUP2
000013ff: MSTORE
00001400: PUSH1 0x20
00001402: ADD
00001403: SWAP1
00001404: DUP2
00001405: MSTORE
00001406: PUSH1 0x20
00001408: ADD
00001409: PUSH1 0x00
0000140b: KECCAK256
0000140c: PUSH1 0x03
0000140e: ADD
0000140f: PUSH1 0x00
00001411: SWAP1
00001412: SLOAD
00001413: SWAP1
00001414: PUSH2 0x0100
00001417: EXP
00001418: SWAP1
00001419: DIV
0000141a: PUSH1 0xff
0000141c: AND
0000141d: JUMPDEST
0000141e: JUMPDEST
0000141f: ISZERO
00001420: PUSH2 0x1447
00001423: JUMPI
00001424: DUP1
00001425: DUP4
00001426: DUP4
00001427: DUP2
00001428: MLOAD
00001429: DUP2
0000142a: LT
0000142b: ISZERO
0000142c: ISZERO
0000142d: PUSH2 0x1432
00001430: JUMPI
00001431: INVALID
00001432: JUMPDEST
00001433: SWAP1
00001434: PUSH1 0x20
00001436: ADD
00001437: SWAP1
00001438: PUSH1 0x20
0000143a: MUL
0000143b: ADD
0000143c: DUP2
0000143d: DUP2
0000143e: MSTORE
0000143f: POP
00001440: POP
00001441: PUSH1 0x01
00001443: DUP3
00001444: ADD
00001445: SWAP2
00001446: POP
00001447: JUMPDEST
00001448: JUMPDEST
00001449: DUP1
0000144a: DUP1
0000144b: PUSH1 0x01
0000144d: ADD
0000144e: SWAP2
0000144f: POP
00001450: POP
00001451: PUSH2 0x13b2
00001454: JUMP
00001455: JUMPDEST
00001456: DUP8
00001457: DUP8
00001458: SUB
00001459: PUSH1 0x40
0000145b: MLOAD
0000145c: DUP1
0000145d: MSIZE
0000145e: LT
0000145f: PUSH2 0x1465
00001462: JUMPI
00001463: POP
00001464: MSIZE
00001465: JUMPDEST
00001466: SWAP1
00001467: DUP1
00001468: DUP3
00001469: MSTORE
0000146a: DUP1
0000146b: PUSH1 0x20
0000146d: MUL
0000146e: PUSH1 0x20
00001470: ADD
00001471: DUP3
00001472: ADD
00001473: PUSH1 0x40
00001475: MSTORE
00001476: JUMPDEST
00001477: POP
00001478: SWAP4
00001479: POP
0000147a: DUP8
0000147b: SWAP1
0000147c: POP
0000147d: JUMPDEST
0000147e: DUP7
0000147f: DUP2
00001480: LT
00001481: ISZERO
00001482: PUSH2 0x14c9
00001485: JUMPI
00001486: DUP3
00001487: DUP2
00001488: DUP2
00001489: MLOAD
0000148a: DUP2
0000148b: LT
0000148c: ISZERO
0000148d: ISZERO
0000148e: PUSH2 0x1493
00001491: JUMPI
00001492: INVALID
00001493: JUMPDEST
00001494: SWAP1
00001495: PUSH1 0x20
00001497: ADD
00001498: SWAP1
00001499: PUSH1 0x20
0000149b: MUL
0000149c: ADD
0000149d: MLOAD
0000149e: DUP5
0000149f: DUP10
000014a0: DUP4
000014a1: SUB
000014a2: DUP2
000014a3: MLOAD
000014a4: DUP2
000014a5: LT
000014a6: ISZERO
000014a7: ISZERO
000014a8: PUSH2 0x14ad
000014ab: JUMPI
000014ac: INVALID
000014ad: JUMPDEST
000014ae: SWAP1
000014af: PUSH1 0x20
000014b1: ADD
000014b2: SWAP1
000014b3: PUSH1 0x20
000014b5: MUL
000014b6: ADD
000014b7: DUP2
000014b8: DUP2
000014b9: MSTORE
000014ba: POP
000014bb: POP
000014bc: JUMPDEST
000014bd: DUP1
000014be: DUP1
000014bf: PUSH1 0x01
000014c1: ADD
000014c2: SWAP2
000014c3: POP
000014c4: POP
000014c5: PUSH2 0x147d
000014c8: JUMP
000014c9: JUMPDEST
000014ca: JUMPDEST
000014cb: POP
000014cc: POP
000014cd: POP
000014ce: SWAP5
000014cf: SWAP4
000014d0: POP
000014d1: POP
000014d2: POP
000014d3: POP
000014d4: JUMP
000014d5: JUMPDEST
000014d6: PUSH2 0x14dd
000014d9: PUSH2 0x21b9
000014dc: JUMP
000014dd: JUMPDEST
000014de: PUSH2 0x14e5
000014e1: PUSH2 0x21b9
000014e4: JUMP
000014e5: JUMPDEST
000014e6: PUSH1 0x00
000014e8: PUSH1 0x00
000014ea: PUSH1 0x03
000014ec: DUP1
000014ed: SLOAD
000014ee: SWAP1
000014ef: POP
000014f0: PUSH1 0x40
000014f2: MLOAD
000014f3: DUP1
000014f4: MSIZE
000014f5: LT
000014f6: PUSH2 0x14fc
000014f9: JUMPI
000014fa: POP
000014fb: MSIZE
000014fc: JUMPDEST
000014fd: SWAP1
000014fe: DUP1
000014ff: DUP3
00001500: MSTORE
00001501: DUP1
00001502: PUSH1 0x20
00001504: MUL
00001505: PUSH1 0x20
00001507: ADD
00001508: DUP3
00001509: ADD
0000150a: PUSH1 0x40
0000150c: MSTORE
0000150d: JUMPDEST
0000150e: POP
0000150f: SWAP3
00001510: POP
00001511: PUSH1 0x00
00001513: SWAP2
00001514: POP
00001515: PUSH1 0x00
00001517: SWAP1
00001518: POP
00001519: JUMPDEST
0000151a: PUSH1 0x03
0000151c: DUP1
0000151d: SLOAD
0000151e: SWAP1
0000151f: POP
00001520: DUP2
00001521: LT
00001522: ISZERO
00001523: PUSH2 0x165f
00001526: JUMPI
00001527: PUSH1 0x01
00001529: PUSH1 0x00
0000152b: DUP7
0000152c: DUP2
0000152d: MSTORE
0000152e: PUSH1 0x20
00001530: ADD
00001531: SWAP1
00001532: DUP2
00001533: MSTORE
00001534: PUSH1 0x20
00001536: ADD
00001537: PUSH1 0x00
00001539: KECCAK256
0000153a: PUSH1 0x00
0000153c: PUSH1 0x03
0000153e: DUP4
0000153f: DUP2
00001540: SLOAD
00001541: DUP2
00001542: LT
00001543: ISZERO
00001544: ISZERO
00001545: PUSH2 0x154a
00001548: JUMPI
00001549: INVALID
0000154a: JUMPDEST
0000154b: SWAP1
0000154c: PUSH1 0x00
0000154e: MSTORE
0000154f: PUSH1 0x20
00001551: PUSH1 0x00
00001553: KECCAK256
00001554: SWAP1
00001555: ADD
00001556: PUSH1 0x00
00001558: JUMPDEST
00001559: SWAP1
0000155a: SLOAD
0000155b: SWAP1
0000155c: PUSH2 0x0100
0000155f: EXP
00001560: SWAP1
00001561: DIV
00001562: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001577: AND
00001578: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000158d: AND
0000158e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015a3: AND
000015a4: DUP2
000015a5: MSTORE
000015a6: PUSH1 0x20
000015a8: ADD
000015a9: SWAP1
000015aa: DUP2
000015ab: MSTORE
000015ac: PUSH1 0x20
000015ae: ADD
000015af: PUSH1 0x00
000015b1: KECCAK256
000015b2: PUSH1 0x00
000015b4: SWAP1
000015b5: SLOAD
000015b6: SWAP1
000015b7: PUSH2 0x0100
000015ba: EXP
000015bb: SWAP1
000015bc: DIV
000015bd: PUSH1 0xff
000015bf: AND
000015c0: ISZERO
000015c1: PUSH2 0x1651
000015c4: JUMPI
000015c5: PUSH1 0x03
000015c7: DUP2
000015c8: DUP2
000015c9: SLOAD
000015ca: DUP2
000015cb: LT
000015cc: ISZERO
000015cd: ISZERO
000015ce: PUSH2 0x15d3
000015d1: JUMPI
000015d2: INVALID
000015d3: JUMPDEST
000015d4: SWAP1
000015d5: PUSH1 0x00
000015d7: MSTORE
000015d8: PUSH1 0x20
000015da: PUSH1 0x00
000015dc: KECCAK256
000015dd: SWAP1
000015de: ADD
000015df: PUSH1 0x00
000015e1: JUMPDEST
000015e2: SWAP1
000015e3: SLOAD
000015e4: SWAP1
000015e5: PUSH2 0x0100
000015e8: EXP
000015e9: SWAP1
000015ea: DIV
000015eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001600: AND
00001601: DUP4
00001602: DUP4
00001603: DUP2
00001604: MLOAD
00001605: DUP2
00001606: LT
00001607: ISZERO
00001608: ISZERO
00001609: PUSH2 0x160e
0000160c: JUMPI
0000160d: INVALID
0000160e: JUMPDEST
0000160f: SWAP1
00001610: PUSH1 0x20
00001612: ADD
00001613: SWAP1
00001614: PUSH1 0x20
00001616: MUL
00001617: ADD
00001618: SWAP1
00001619: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000162e: AND
0000162f: SWAP1
00001630: DUP2
00001631: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001646: AND
00001647: DUP2
00001648: MSTORE
00001649: POP
0000164a: POP
0000164b: PUSH1 0x01
0000164d: DUP3
0000164e: ADD
0000164f: SWAP2
00001650: POP
00001651: JUMPDEST
00001652: JUMPDEST
00001653: DUP1
00001654: DUP1
00001655: PUSH1 0x01
00001657: ADD
00001658: SWAP2
00001659: POP
0000165a: POP
0000165b: PUSH2 0x1519
0000165e: JUMP
0000165f: JUMPDEST
00001660: DUP2
00001661: PUSH1 0x40
00001663: MLOAD
00001664: DUP1
00001665: MSIZE
00001666: LT
00001667: PUSH2 0x166d
0000166a: JUMPI
0000166b: POP
0000166c: MSIZE
0000166d: JUMPDEST
0000166e: SWAP1
0000166f: DUP1
00001670: DUP3
00001671: MSTORE
00001672: DUP1
00001673: PUSH1 0x20
00001675: MUL
00001676: PUSH1 0x20
00001678: ADD
00001679: DUP3
0000167a: ADD
0000167b: PUSH1 0x40
0000167d: MSTORE
0000167e: JUMPDEST
0000167f: POP
00001680: SWAP4
00001681: POP
00001682: PUSH1 0x00
00001684: SWAP1
00001685: POP
00001686: JUMPDEST
00001687: DUP2
00001688: DUP2
00001689: LT
0000168a: ISZERO
0000168b: PUSH2 0x16fe
0000168e: JUMPI
0000168f: DUP3
00001690: DUP2
00001691: DUP2
00001692: MLOAD
00001693: DUP2
00001694: LT
00001695: ISZERO
00001696: ISZERO
00001697: PUSH2 0x169c
0000169a: JUMPI
0000169b: INVALID
0000169c: JUMPDEST
0000169d: SWAP1
0000169e: PUSH1 0x20
000016a0: ADD
000016a1: SWAP1
000016a2: PUSH1 0x20
000016a4: MUL
000016a5: ADD
000016a6: MLOAD
000016a7: DUP5
000016a8: DUP3
000016a9: DUP2
000016aa: MLOAD
000016ab: DUP2
000016ac: LT
000016ad: ISZERO
000016ae: ISZERO
000016af: PUSH2 0x16b4
000016b2: JUMPI
000016b3: INVALID
000016b4: JUMPDEST
000016b5: SWAP1
000016b6: PUSH1 0x20
000016b8: ADD
000016b9: SWAP1
000016ba: PUSH1 0x20
000016bc: MUL
000016bd: ADD
000016be: SWAP1
000016bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016d4: AND
000016d5: SWAP1
000016d6: DUP2
000016d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016ec: AND
000016ed: DUP2
000016ee: MSTORE
000016ef: POP
000016f0: POP
000016f1: JUMPDEST
000016f2: DUP1
000016f3: DUP1
000016f4: PUSH1 0x01
000016f6: ADD
000016f7: SWAP2
000016f8: POP
000016f9: POP
000016fa: PUSH2 0x1686
000016fd: JUMP
000016fe: JUMPDEST
000016ff: JUMPDEST
00001700: POP
00001701: POP
00001702: POP
00001703: SWAP2
00001704: SWAP1
00001705: POP
00001706: JUMP
00001707: JUMPDEST
00001708: PUSH1 0x05
0000170a: SLOAD
0000170b: DUP2
0000170c: JUMP
0000170d: JUMPDEST
0000170e: ADDRESS
0000170f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001724: AND
00001725: CALLER
00001726: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000173b: AND
0000173c: EQ
0000173d: ISZERO
0000173e: ISZERO
0000173f: PUSH2 0x1748
00001742: JUMPI
00001743: PUSH1 0x00
00001745: PUSH1 0x00
00001747: REVERT
00001748: JUMPDEST
00001749: PUSH1 0x03
0000174b: DUP1
0000174c: SLOAD
0000174d: SWAP1
0000174e: POP
0000174f: DUP2
00001750: PUSH1 0x32
00001752: DUP3
00001753: GT
00001754: DUP1
00001755: PUSH2 0x175d
00001758: JUMPI
00001759: POP
0000175a: DUP2
0000175b: DUP2
0000175c: GT
0000175d: JUMPDEST
0000175e: DUP1
0000175f: PUSH2 0x1768
00001762: JUMPI
00001763: POP
00001764: PUSH1 0x00
00001766: DUP2
00001767: EQ
00001768: JUMPDEST
00001769: DUP1
0000176a: PUSH2 0x1773
0000176d: JUMPI
0000176e: POP
0000176f: PUSH1 0x00
00001771: DUP3
00001772: EQ
00001773: JUMPDEST
00001774: ISZERO
00001775: PUSH2 0x177e
00001778: JUMPI
00001779: PUSH1 0x00
0000177b: PUSH1 0x00
0000177d: REVERT
0000177e: JUMPDEST
0000177f: DUP3
00001780: PUSH1 0x04
00001782: DUP2
00001783: SWAP1
00001784: SSTORE
00001785: POP
00001786: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a
000017a7: DUP4
000017a8: PUSH1 0x40
000017aa: MLOAD
000017ab: DUP1
000017ac: DUP3
000017ad: DUP2
000017ae: MSTORE
000017af: PUSH1 0x20
000017b1: ADD
000017b2: SWAP2
000017b3: POP
000017b4: POP
000017b5: PUSH1 0x40
000017b7: MLOAD
000017b8: DUP1
000017b9: SWAP2
000017ba: SUB
000017bb: SWAP1
000017bc: LOG1
000017bd: JUMPDEST
000017be: JUMPDEST
000017bf: POP
000017c0: POP
000017c1: JUMPDEST
000017c2: POP
000017c3: JUMP
000017c4: JUMPDEST
000017c5: CALLER
000017c6: PUSH1 0x02
000017c8: PUSH1 0x00
000017ca: DUP3
000017cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017e0: AND
000017e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f6: AND
000017f7: DUP2
000017f8: MSTORE
000017f9: PUSH1 0x20
000017fb: ADD
000017fc: SWAP1
000017fd: DUP2
000017fe: MSTORE
000017ff: PUSH1 0x20
00001801: ADD
00001802: PUSH1 0x00
00001804: KECCAK256
00001805: PUSH1 0x00
00001807: SWAP1
00001808: SLOAD
00001809: SWAP1
0000180a: PUSH2 0x0100
0000180d: EXP
0000180e: SWAP1
0000180f: DIV
00001810: PUSH1 0xff
00001812: AND
00001813: ISZERO
00001814: ISZERO
00001815: PUSH2 0x181e
00001818: JUMPI
00001819: PUSH1 0x00
0000181b: PUSH1 0x00
0000181d: REVERT
0000181e: JUMPDEST
0000181f: DUP2
00001820: PUSH1 0x00
00001822: PUSH1 0x00
00001824: PUSH1 0x00
00001826: DUP4
00001827: DUP2
00001828: MSTORE
00001829: PUSH1 0x20
0000182b: ADD
0000182c: SWAP1
0000182d: DUP2
0000182e: MSTORE
0000182f: PUSH1 0x20
00001831: ADD
00001832: PUSH1 0x00
00001834: KECCAK256
00001835: PUSH1 0x00
00001837: ADD
00001838: PUSH1 0x00
0000183a: SWAP1
0000183b: SLOAD
0000183c: SWAP1
0000183d: PUSH2 0x0100
00001840: EXP
00001841: SWAP1
00001842: DIV
00001843: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001858: AND
00001859: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000186e: AND
0000186f: EQ
00001870: ISZERO
00001871: PUSH2 0x187a
00001874: JUMPI
00001875: PUSH1 0x00
00001877: PUSH1 0x00
00001879: REVERT
0000187a: JUMPDEST
0000187b: DUP3
0000187c: CALLER
0000187d: PUSH1 0x01
0000187f: PUSH1 0x00
00001881: DUP4
00001882: DUP2
00001883: MSTORE
00001884: PUSH1 0x20
00001886: ADD
00001887: SWAP1
00001888: DUP2
00001889: MSTORE
0000188a: PUSH1 0x20
0000188c: ADD
0000188d: PUSH1 0x00
0000188f: KECCAK256
00001890: PUSH1 0x00
00001892: DUP3
00001893: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018a8: AND
000018a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018be: AND
000018bf: DUP2
000018c0: MSTORE
000018c1: PUSH1 0x20
000018c3: ADD
000018c4: SWAP1
000018c5: DUP2
000018c6: MSTORE
000018c7: PUSH1 0x20
000018c9: ADD
000018ca: PUSH1 0x00
000018cc: KECCAK256
000018cd: PUSH1 0x00
000018cf: SWAP1
000018d0: SLOAD
000018d1: SWAP1
000018d2: PUSH2 0x0100
000018d5: EXP
000018d6: SWAP1
000018d7: DIV
000018d8: PUSH1 0xff
000018da: AND
000018db: ISZERO
000018dc: PUSH2 0x18e5
000018df: JUMPI
000018e0: PUSH1 0x00
000018e2: PUSH1 0x00
000018e4: REVERT
000018e5: JUMPDEST
000018e6: PUSH1 0x01
000018e8: PUSH1 0x01
000018ea: PUSH1 0x00
000018ec: DUP8
000018ed: DUP2
000018ee: MSTORE
000018ef: PUSH1 0x20
000018f1: ADD
000018f2: SWAP1
000018f3: DUP2
000018f4: MSTORE
000018f5: PUSH1 0x20
000018f7: ADD
000018f8: PUSH1 0x00
000018fa: KECCAK256
000018fb: PUSH1 0x00
000018fd: CALLER
000018fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001913: AND
00001914: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001929: AND
0000192a: DUP2
0000192b: MSTORE
0000192c: PUSH1 0x20
0000192e: ADD
0000192f: SWAP1
00001930: DUP2
00001931: MSTORE
00001932: PUSH1 0x20
00001934: ADD
00001935: PUSH1 0x00
00001937: KECCAK256
00001938: PUSH1 0x00
0000193a: PUSH2 0x0100
0000193d: EXP
0000193e: DUP2
0000193f: SLOAD
00001940: DUP2
00001941: PUSH1 0xff
00001943: MUL
00001944: NOT
00001945: AND
00001946: SWAP1
00001947: DUP4
00001948: ISZERO
00001949: ISZERO
0000194a: MUL
0000194b: OR
0000194c: SWAP1
0000194d: SSTORE
0000194e: POP
0000194f: DUP5
00001950: CALLER
00001951: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001966: AND
00001967: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef
00001988: PUSH1 0x40
0000198a: MLOAD
0000198b: DUP1
0000198c: SWAP1
0000198d: POP
0000198e: PUSH1 0x40
00001990: MLOAD
00001991: DUP1
00001992: SWAP2
00001993: SUB
00001994: SWAP1
00001995: LOG3
00001996: PUSH2 0x199e
00001999: DUP6
0000199a: PUSH2 0x1d77
0000199d: JUMP
0000199e: JUMPDEST
0000199f: JUMPDEST
000019a0: JUMPDEST
000019a1: POP
000019a2: POP
000019a3: JUMPDEST
000019a4: POP
000019a5: JUMPDEST
000019a6: POP
000019a7: POP
000019a8: JUMP
000019a9: JUMPDEST
000019aa: PUSH1 0x00
000019ac: PUSH2 0x19b6
000019af: DUP5
000019b0: DUP5
000019b1: DUP5
000019b2: PUSH2 0x1fb8
000019b5: JUMP
000019b6: JUMPDEST
000019b7: SWAP1
000019b8: POP
000019b9: PUSH2 0x19c1
000019bc: DUP2
000019bd: PUSH2 0x17c4
000019c0: JUMP
000019c1: JUMPDEST
000019c2: JUMPDEST
000019c3: SWAP4
000019c4: SWAP3
000019c5: POP
000019c6: POP
000019c7: POP
000019c8: JUMP
000019c9: JUMPDEST
000019ca: ADDRESS
000019cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019e0: AND
000019e1: CALLER
000019e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019f7: AND
000019f8: EQ
000019f9: ISZERO
000019fa: ISZERO
000019fb: PUSH2 0x1a04
000019fe: JUMPI
000019ff: PUSH1 0x00
00001a01: PUSH1 0x00
00001a03: REVERT
00001a04: JUMPDEST
00001a05: DUP1
00001a06: PUSH1 0x06
00001a08: DUP2
00001a09: SWAP1
00001a0a: SSTORE
00001a0b: POP
00001a0c: PUSH32 0xc71bdc6afaf9b1aa90a7078191d4fc1adf3bf680fca3183697df6b0dc226bca2
00001a2d: DUP2
00001a2e: PUSH1 0x40
00001a30: MLOAD
00001a31: DUP1
00001a32: DUP3
00001a33: DUP2
00001a34: MSTORE
00001a35: PUSH1 0x20
00001a37: ADD
00001a38: SWAP2
00001a39: POP
00001a3a: POP
00001a3b: PUSH1 0x40
00001a3d: MLOAD
00001a3e: DUP1
00001a3f: SWAP2
00001a40: SUB
00001a41: SWAP1
00001a42: LOG1
00001a43: JUMPDEST
00001a44: JUMPDEST
00001a45: POP
00001a46: JUMP
00001a47: JUMPDEST
00001a48: PUSH1 0x32
00001a4a: DUP2
00001a4b: JUMP
00001a4c: JUMPDEST
00001a4d: PUSH1 0x04
00001a4f: SLOAD
00001a50: DUP2
00001a51: JUMP
00001a52: JUMPDEST
00001a53: PUSH1 0x00
00001a55: ADDRESS
00001a56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a6b: AND
00001a6c: CALLER
00001a6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a82: AND
00001a83: EQ
00001a84: ISZERO
00001a85: ISZERO
00001a86: PUSH2 0x1a8f
00001a89: JUMPI
00001a8a: PUSH1 0x00
00001a8c: PUSH1 0x00
00001a8e: REVERT
00001a8f: JUMPDEST
00001a90: DUP3
00001a91: PUSH1 0x02
00001a93: PUSH1 0x00
00001a95: DUP3
00001a96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aab: AND
00001aac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ac1: AND
00001ac2: DUP2
00001ac3: MSTORE
00001ac4: PUSH1 0x20
00001ac6: ADD
00001ac7: SWAP1
00001ac8: DUP2
00001ac9: MSTORE
00001aca: PUSH1 0x20
00001acc: ADD
00001acd: PUSH1 0x00
00001acf: KECCAK256
00001ad0: PUSH1 0x00
00001ad2: SWAP1
00001ad3: SLOAD
00001ad4: SWAP1
00001ad5: PUSH2 0x0100
00001ad8: EXP
00001ad9: SWAP1
00001ada: DIV
00001adb: PUSH1 0xff
00001add: AND
00001ade: ISZERO
00001adf: ISZERO
00001ae0: PUSH2 0x1ae9
00001ae3: JUMPI
00001ae4: PUSH1 0x00
00001ae6: PUSH1 0x00
00001ae8: REVERT
00001ae9: JUMPDEST
00001aea: DUP3
00001aeb: PUSH1 0x02
00001aed: PUSH1 0x00
00001aef: DUP3
00001af0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b05: AND
00001b06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b1b: AND
00001b1c: DUP2
00001b1d: MSTORE
00001b1e: PUSH1 0x20
00001b20: ADD
00001b21: SWAP1
00001b22: DUP2
00001b23: MSTORE
00001b24: PUSH1 0x20
00001b26: ADD
00001b27: PUSH1 0x00
00001b29: KECCAK256
00001b2a: PUSH1 0x00
00001b2c: SWAP1
00001b2d: SLOAD
00001b2e: SWAP1
00001b2f: PUSH2 0x0100
00001b32: EXP
00001b33: SWAP1
00001b34: DIV
00001b35: PUSH1 0xff
00001b37: AND
00001b38: ISZERO
00001b39: PUSH2 0x1b42
00001b3c: JUMPI
00001b3d: PUSH1 0x00
00001b3f: PUSH1 0x00
00001b41: REVERT
00001b42: JUMPDEST
00001b43: PUSH1 0x00
00001b45: SWAP3
00001b46: POP
00001b47: JUMPDEST
00001b48: PUSH1 0x03
00001b4a: DUP1
00001b4b: SLOAD
00001b4c: SWAP1
00001b4d: POP
00001b4e: DUP4
00001b4f: LT
00001b50: ISZERO
00001b51: PUSH2 0x1c30
00001b54: JUMPI
00001b55: DUP5
00001b56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b6b: AND
00001b6c: PUSH1 0x03
00001b6e: DUP5
00001b6f: DUP2
00001b70: SLOAD
00001b71: DUP2
00001b72: LT
00001b73: ISZERO
00001b74: ISZERO
00001b75: PUSH2 0x1b7a
00001b78: JUMPI
00001b79: INVALID
00001b7a: JUMPDEST
00001b7b: SWAP1
00001b7c: PUSH1 0x00
00001b7e: MSTORE
00001b7f: PUSH1 0x20
00001b81: PUSH1 0x00
00001b83: KECCAK256
00001b84: SWAP1
00001b85: ADD
00001b86: PUSH1 0x00
00001b88: JUMPDEST
00001b89: SWAP1
00001b8a: SLOAD
00001b8b: SWAP1
00001b8c: PUSH2 0x0100
00001b8f: EXP
00001b90: SWAP1
00001b91: DIV
00001b92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ba7: AND
00001ba8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bbd: AND
00001bbe: EQ
00001bbf: ISZERO
00001bc0: PUSH2 0x1c22
00001bc3: JUMPI
00001bc4: DUP4
00001bc5: PUSH1 0x03
00001bc7: DUP5
00001bc8: DUP2
00001bc9: SLOAD
00001bca: DUP2
00001bcb: LT
00001bcc: ISZERO
00001bcd: ISZERO
00001bce: PUSH2 0x1bd3
00001bd1: JUMPI
00001bd2: INVALID
00001bd3: JUMPDEST
00001bd4: SWAP1
00001bd5: PUSH1 0x00
00001bd7: MSTORE
00001bd8: PUSH1 0x20
00001bda: PUSH1 0x00
00001bdc: KECCAK256
00001bdd: SWAP1
00001bde: ADD
00001bdf: PUSH1 0x00
00001be1: JUMPDEST
00001be2: PUSH2 0x0100
00001be5: EXP
00001be6: DUP2
00001be7: SLOAD
00001be8: DUP2
00001be9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bfe: MUL
00001bff: NOT
00001c00: AND
00001c01: SWAP1
00001c02: DUP4
00001c03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c18: AND
00001c19: MUL
00001c1a: OR
00001c1b: SWAP1
00001c1c: SSTORE
00001c1d: POP
00001c1e: PUSH2 0x1c30
00001c21: JUMP
00001c22: JUMPDEST
00001c23: JUMPDEST
00001c24: DUP3
00001c25: DUP1
00001c26: PUSH1 0x01
00001c28: ADD
00001c29: SWAP4
00001c2a: POP
00001c2b: POP
00001c2c: PUSH2 0x1b47
00001c2f: JUMP
00001c30: JUMPDEST
00001c31: PUSH1 0x00
00001c33: PUSH1 0x02
00001c35: PUSH1 0x00
00001c37: DUP8
00001c38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c4d: AND
00001c4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c63: AND
00001c64: DUP2
00001c65: MSTORE
00001c66: PUSH1 0x20
00001c68: ADD
00001c69: SWAP1
00001c6a: DUP2
00001c6b: MSTORE
00001c6c: PUSH1 0x20
00001c6e: ADD
00001c6f: PUSH1 0x00
00001c71: KECCAK256
00001c72: PUSH1 0x00
00001c74: PUSH2 0x0100
00001c77: EXP
00001c78: DUP2
00001c79: SLOAD
00001c7a: DUP2
00001c7b: PUSH1 0xff
00001c7d: MUL
00001c7e: NOT
00001c7f: AND
00001c80: SWAP1
00001c81: DUP4
00001c82: ISZERO
00001c83: ISZERO
00001c84: MUL
00001c85: OR
00001c86: SWAP1
00001c87: SSTORE
00001c88: POP
00001c89: PUSH1 0x01
00001c8b: PUSH1 0x02
00001c8d: PUSH1 0x00
00001c8f: DUP7
00001c90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ca5: AND
00001ca6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cbb: AND
00001cbc: DUP2
00001cbd: MSTORE
00001cbe: PUSH1 0x20
00001cc0: ADD
00001cc1: SWAP1
00001cc2: DUP2
00001cc3: MSTORE
00001cc4: PUSH1 0x20
00001cc6: ADD
00001cc7: PUSH1 0x00
00001cc9: KECCAK256
00001cca: PUSH1 0x00
00001ccc: PUSH2 0x0100
00001ccf: EXP
00001cd0: DUP2
00001cd1: SLOAD
00001cd2: DUP2
00001cd3: PUSH1 0xff
00001cd5: MUL
00001cd6: NOT
00001cd7: AND
00001cd8: SWAP1
00001cd9: DUP4
00001cda: ISZERO
00001cdb: ISZERO
00001cdc: MUL
00001cdd: OR
00001cde: SWAP1
00001cdf: SSTORE
00001ce0: POP
00001ce1: DUP5
00001ce2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cf7: AND
00001cf8: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
00001d19: PUSH1 0x40
00001d1b: MLOAD
00001d1c: DUP1
00001d1d: SWAP1
00001d1e: POP
00001d1f: PUSH1 0x40
00001d21: MLOAD
00001d22: DUP1
00001d23: SWAP2
00001d24: SUB
00001d25: SWAP1
00001d26: LOG2
00001d27: DUP4
00001d28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d3d: AND
00001d3e: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00001d5f: PUSH1 0x40
00001d61: MLOAD
00001d62: DUP1
00001d63: SWAP1
00001d64: POP
00001d65: PUSH1 0x40
00001d67: MLOAD
00001d68: DUP1
00001d69: SWAP2
00001d6a: SUB
00001d6b: SWAP1
00001d6c: LOG2
00001d6d: JUMPDEST
00001d6e: JUMPDEST
00001d6f: POP
00001d70: JUMPDEST
00001d71: POP
00001d72: JUMPDEST
00001d73: POP
00001d74: POP
00001d75: POP
00001d76: JUMP
00001d77: JUMPDEST
00001d78: PUSH1 0x00
00001d7a: PUSH1 0x00
00001d7c: DUP3
00001d7d: PUSH1 0x00
00001d7f: PUSH1 0x00
00001d81: DUP3
00001d82: DUP2
00001d83: MSTORE
00001d84: PUSH1 0x20
00001d86: ADD
00001d87: SWAP1
00001d88: DUP2
00001d89: MSTORE
00001d8a: PUSH1 0x20
00001d8c: ADD
00001d8d: PUSH1 0x00
00001d8f: KECCAK256
00001d90: PUSH1 0x03
00001d92: ADD
00001d93: PUSH1 0x00
00001d95: SWAP1
00001d96: SLOAD
00001d97: SWAP1
00001d98: PUSH2 0x0100
00001d9b: EXP
00001d9c: SWAP1
00001d9d: DIV
00001d9e: PUSH1 0xff
00001da0: AND
00001da1: ISZERO
00001da2: PUSH2 0x1dab
00001da5: JUMPI
00001da6: PUSH1 0x00
00001da8: PUSH1 0x00
00001daa: REVERT
00001dab: JUMPDEST
00001dac: PUSH1 0x00
00001dae: PUSH1 0x00
00001db0: DUP6
00001db1: DUP2
00001db2: MSTORE
00001db3: PUSH1 0x20
00001db5: ADD
00001db6: SWAP1
00001db7: DUP2
00001db8: MSTORE
00001db9: PUSH1 0x20
00001dbb: ADD
00001dbc: PUSH1 0x00
00001dbe: KECCAK256
00001dbf: SWAP3
00001dc0: POP
00001dc1: PUSH2 0x1dc9
00001dc4: DUP5
00001dc5: PUSH2 0x10c6
00001dc8: JUMP
00001dc9: JUMPDEST
00001dca: SWAP2
00001dcb: POP
00001dcc: DUP2
00001dcd: DUP1
00001dce: PUSH2 0x1e04
00001dd1: JUMPI
00001dd2: POP
00001dd3: PUSH1 0x00
00001dd5: DUP4
00001dd6: PUSH1 0x02
00001dd8: ADD
00001dd9: DUP1
00001dda: SLOAD
00001ddb: PUSH1 0x01
00001ddd: DUP2
00001dde: PUSH1 0x01
00001de0: AND
00001de1: ISZERO
00001de2: PUSH2 0x0100
00001de5: MUL
00001de6: SUB
00001de7: AND
00001de8: PUSH1 0x02
00001dea: SWAP1
00001deb: DIV
00001dec: SWAP1
00001ded: POP
00001dee: EQ
00001def: DUP1
00001df0: ISZERO
00001df1: PUSH2 0x1e03
00001df4: JUMPI
00001df5: POP
00001df6: PUSH2 0x1e02
00001df9: DUP4
00001dfa: PUSH1 0x01
00001dfc: ADD
00001dfd: SLOAD
00001dfe: PUSH2 0x210f
00001e01: JUMP
00001e02: JUMPDEST
00001e03: JUMPDEST
00001e04: JUMPDEST
00001e05: ISZERO
00001e06: PUSH2 0x1faa
00001e09: JUMPI
00001e0a: PUSH1 0x01
00001e0c: DUP4
00001e0d: PUSH1 0x03
00001e0f: ADD
00001e10: PUSH1 0x00
00001e12: PUSH2 0x0100
00001e15: EXP
00001e16: DUP2
00001e17: SLOAD
00001e18: DUP2
00001e19: PUSH1 0xff
00001e1b: MUL
00001e1c: NOT
00001e1d: AND
00001e1e: SWAP1
00001e1f: DUP4
00001e20: ISZERO
00001e21: ISZERO
00001e22: MUL
00001e23: OR
00001e24: SWAP1
00001e25: SSTORE
00001e26: POP
00001e27: DUP2
00001e28: ISZERO
00001e29: ISZERO
00001e2a: PUSH2 0x1e42
00001e2d: JUMPI
00001e2e: DUP3
00001e2f: PUSH1 0x01
00001e31: ADD
00001e32: SLOAD
00001e33: PUSH1 0x08
00001e35: PUSH1 0x00
00001e37: DUP3
00001e38: DUP3
00001e39: SLOAD
00001e3a: ADD
00001e3b: SWAP3
00001e3c: POP
00001e3d: POP
00001e3e: DUP2
00001e3f: SWAP1
00001e40: SSTORE
00001e41: POP
00001e42: JUMPDEST
00001e43: DUP3
00001e44: PUSH1 0x00
00001e46: ADD
00001e47: PUSH1 0x00
00001e49: SWAP1
00001e4a: SLOAD
00001e4b: SWAP1
00001e4c: PUSH2 0x0100
00001e4f: EXP
00001e50: SWAP1
00001e51: DIV
00001e52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e67: AND
00001e68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e7d: AND
00001e7e: DUP4
00001e7f: PUSH1 0x01
00001e81: ADD
00001e82: SLOAD
00001e83: DUP5
00001e84: PUSH1 0x02
00001e86: ADD
00001e87: PUSH1 0x40
00001e89: MLOAD
00001e8a: DUP1
00001e8b: DUP3
00001e8c: DUP1
00001e8d: SLOAD
00001e8e: PUSH1 0x01
00001e90: DUP2
00001e91: PUSH1 0x01
00001e93: AND
00001e94: ISZERO
00001e95: PUSH2 0x0100
00001e98: MUL
00001e99: SUB
00001e9a: AND
00001e9b: PUSH1 0x02
00001e9d: SWAP1
00001e9e: DIV
00001e9f: DUP1
00001ea0: ISZERO
00001ea1: PUSH2 0x1eeb
00001ea4: JUMPI
00001ea5: DUP1
00001ea6: PUSH1 0x1f
00001ea8: LT
00001ea9: PUSH2 0x1ec0
00001eac: JUMPI
00001ead: PUSH2 0x0100
00001eb0: DUP1
00001eb1: DUP4
00001eb2: SLOAD
00001eb3: DIV
00001eb4: MUL
00001eb5: DUP4
00001eb6: MSTORE
00001eb7: SWAP2
00001eb8: PUSH1 0x20
00001eba: ADD
00001ebb: SWAP2
00001ebc: PUSH2 0x1eeb
00001ebf: JUMP
00001ec0: JUMPDEST
00001ec1: DUP3
00001ec2: ADD
00001ec3: SWAP2
00001ec4: SWAP1
00001ec5: PUSH1 0x00
00001ec7: MSTORE
00001ec8: PUSH1 0x20
00001eca: PUSH1 0x00
00001ecc: KECCAK256
00001ecd: SWAP1
00001ece: JUMPDEST
00001ecf: DUP2
00001ed0: SLOAD
00001ed1: DUP2
00001ed2: MSTORE
00001ed3: SWAP1
00001ed4: PUSH1 0x01
00001ed6: ADD
00001ed7: SWAP1
00001ed8: PUSH1 0x20
00001eda: ADD
00001edb: DUP1
00001edc: DUP4
00001edd: GT
00001ede: PUSH2 0x1ece
00001ee1: JUMPI
00001ee2: DUP3
00001ee3: SWAP1
00001ee4: SUB
00001ee5: PUSH1 0x1f
00001ee7: AND
00001ee8: DUP3
00001ee9: ADD
00001eea: SWAP2
00001eeb: JUMPDEST
00001eec: POP
00001eed: POP
00001eee: SWAP2
00001eef: POP
00001ef0: POP
00001ef1: PUSH1 0x00
00001ef3: PUSH1 0x40
00001ef5: MLOAD
00001ef6: DUP1
00001ef7: DUP4
00001ef8: SUB
00001ef9: DUP2
00001efa: DUP6
00001efb: DUP8
00001efc: PUSH2 0x8796
00001eff: GAS
00001f00: SUB
00001f01: CALL
00001f02: SWAP3
00001f03: POP
00001f04: POP
00001f05: POP
00001f06: ISZERO
00001f07: PUSH2 0x1f3f
00001f0a: JUMPI
00001f0b: DUP4
00001f0c: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75
00001f2d: PUSH1 0x40
00001f2f: MLOAD
00001f30: DUP1
00001f31: SWAP1
00001f32: POP
00001f33: PUSH1 0x40
00001f35: MLOAD
00001f36: DUP1
00001f37: SWAP2
00001f38: SUB
00001f39: SWAP1
00001f3a: LOG2
00001f3b: PUSH2 0x1fa9
00001f3e: JUMP
00001f3f: JUMPDEST
00001f40: DUP4
00001f41: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236
00001f62: PUSH1 0x40
00001f64: MLOAD
00001f65: DUP1
00001f66: SWAP1
00001f67: POP
00001f68: PUSH1 0x40
00001f6a: MLOAD
00001f6b: DUP1
00001f6c: SWAP2
00001f6d: SUB
00001f6e: SWAP1
00001f6f: LOG2
00001f70: PUSH1 0x00
00001f72: DUP4
00001f73: PUSH1 0x03
00001f75: ADD
00001f76: PUSH1 0x00
00001f78: PUSH2 0x0100
00001f7b: EXP
00001f7c: DUP2
00001f7d: SLOAD
00001f7e: DUP2
00001f7f: PUSH1 0xff
00001f81: MUL
00001f82: NOT
00001f83: AND
00001f84: SWAP1
00001f85: DUP4
00001f86: ISZERO
00001f87: ISZERO
00001f88: MUL
00001f89: OR
00001f8a: SWAP1
00001f8b: SSTORE
00001f8c: POP
00001f8d: DUP2
00001f8e: ISZERO
00001f8f: ISZERO
00001f90: PUSH2 0x1fa8
00001f93: JUMPI
00001f94: DUP3
00001f95: PUSH1 0x01
00001f97: ADD
00001f98: SLOAD
00001f99: PUSH1 0x08
00001f9b: PUSH1 0x00
00001f9d: DUP3
00001f9e: DUP3
00001f9f: SLOAD
00001fa0: SUB
00001fa1: SWAP3
00001fa2: POP
00001fa3: POP
00001fa4: DUP2
00001fa5: SWAP1
00001fa6: SSTORE
00001fa7: POP
00001fa8: JUMPDEST
00001fa9: JUMPDEST
00001faa: JUMPDEST
00001fab: JUMPDEST
00001fac: JUMPDEST
00001fad: POP
00001fae: POP
00001faf: POP
00001fb0: POP
00001fb1: JUMP
00001fb2: JUMPDEST
00001fb3: PUSH1 0x08
00001fb5: SLOAD
00001fb6: DUP2
00001fb7: JUMP
00001fb8: JUMPDEST
00001fb9: PUSH1 0x00
00001fbb: DUP4
00001fbc: PUSH1 0x00
00001fbe: DUP2
00001fbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd4: AND
00001fd5: EQ
00001fd6: ISZERO
00001fd7: PUSH2 0x1fe0
00001fda: JUMPI
00001fdb: PUSH1 0x00
00001fdd: PUSH1 0x00
00001fdf: REVERT
00001fe0: JUMPDEST
00001fe1: PUSH1 0x05
00001fe3: SLOAD
00001fe4: SWAP2
00001fe5: POP
00001fe6: PUSH1 0x80
00001fe8: PUSH1 0x40
00001fea: MLOAD
00001feb: SWAP1
00001fec: DUP2
00001fed: ADD
00001fee: PUSH1 0x40
00001ff0: MSTORE
00001ff1: DUP1
00001ff2: DUP7
00001ff3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002008: AND
00002009: DUP2
0000200a: MSTORE
0000200b: PUSH1 0x20
0000200d: ADD
0000200e: DUP6
0000200f: DUP2
00002010: MSTORE
00002011: PUSH1 0x20
00002013: ADD
00002014: DUP5
00002015: DUP2
00002016: MSTORE
00002017: PUSH1 0x20
00002019: ADD
0000201a: PUSH1 0x00
0000201c: ISZERO
0000201d: ISZERO
0000201e: DUP2
0000201f: MSTORE
00002020: POP
00002021: PUSH1 0x00
00002023: PUSH1 0x00
00002025: DUP5
00002026: DUP2
00002027: MSTORE
00002028: PUSH1 0x20
0000202a: ADD
0000202b: SWAP1
0000202c: DUP2
0000202d: MSTORE
0000202e: PUSH1 0x20
00002030: ADD
00002031: PUSH1 0x00
00002033: KECCAK256
00002034: PUSH1 0x00
00002036: DUP3
00002037: ADD
00002038: MLOAD
00002039: DUP2
0000203a: PUSH1 0x00
0000203c: ADD
0000203d: PUSH1 0x00
0000203f: PUSH2 0x0100
00002042: EXP
00002043: DUP2
00002044: SLOAD
00002045: DUP2
00002046: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000205b: MUL
0000205c: NOT
0000205d: AND
0000205e: SWAP1
0000205f: DUP4
00002060: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002075: AND
00002076: MUL
00002077: OR
00002078: SWAP1
00002079: SSTORE
0000207a: POP
0000207b: PUSH1 0x20
0000207d: DUP3
0000207e: ADD
0000207f: MLOAD
00002080: DUP2
00002081: PUSH1 0x01
00002083: ADD
00002084: SSTORE
00002085: PUSH1 0x40
00002087: DUP3
00002088: ADD
00002089: MLOAD
0000208a: DUP2
0000208b: PUSH1 0x02
0000208d: ADD
0000208e: SWAP1
0000208f: DUP1
00002090: MLOAD
00002091: SWAP1
00002092: PUSH1 0x20
00002094: ADD
00002095: SWAP1
00002096: PUSH2 0x20a0
00002099: SWAP3
0000209a: SWAP2
0000209b: SWAP1
0000209c: PUSH2 0x21e1
0000209f: JUMP
000020a0: JUMPDEST
000020a1: POP
000020a2: PUSH1 0x60
000020a4: DUP3
000020a5: ADD
000020a6: MLOAD
000020a7: DUP2
000020a8: PUSH1 0x03
000020aa: ADD
000020ab: PUSH1 0x00
000020ad: PUSH2 0x0100
000020b0: EXP
000020b1: DUP2
000020b2: SLOAD
000020b3: DUP2
000020b4: PUSH1 0xff
000020b6: MUL
000020b7: NOT
000020b8: AND
000020b9: SWAP1
000020ba: DUP4
000020bb: ISZERO
000020bc: ISZERO
000020bd: MUL
000020be: OR
000020bf: SWAP1
000020c0: SSTORE
000020c1: POP
000020c2: SWAP1
000020c3: POP
000020c4: POP
000020c5: PUSH1 0x01
000020c7: PUSH1 0x05
000020c9: PUSH1 0x00
000020cb: DUP3
000020cc: DUP3
000020cd: SLOAD
000020ce: ADD
000020cf: SWAP3
000020d0: POP
000020d1: POP
000020d2: DUP2
000020d3: SWAP1
000020d4: SSTORE
000020d5: POP
000020d6: DUP2
000020d7: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51
000020f8: PUSH1 0x40
000020fa: MLOAD
000020fb: DUP1
000020fc: SWAP1
000020fd: POP
000020fe: PUSH1 0x40
00002100: MLOAD
00002101: DUP1
00002102: SWAP2
00002103: SUB
00002104: SWAP1
00002105: LOG2
00002106: JUMPDEST
00002107: JUMPDEST
00002108: POP
00002109: SWAP4
0000210a: SWAP3
0000210b: POP
0000210c: POP
0000210d: POP
0000210e: JUMP
0000210f: JUMPDEST
00002110: PUSH1 0x00
00002112: PUSH3 0x015180
00002116: PUSH1 0x07
00002118: SLOAD
00002119: ADD
0000211a: TIMESTAMP
0000211b: GT
0000211c: ISZERO
0000211d: PUSH2 0x2130
00002120: JUMPI
00002121: TIMESTAMP
00002122: PUSH1 0x07
00002124: DUP2
00002125: SWAP1
00002126: SSTORE
00002127: POP
00002128: PUSH1 0x00
0000212a: PUSH1 0x08
0000212c: DUP2
0000212d: SWAP1
0000212e: SSTORE
0000212f: POP
00002130: JUMPDEST
00002131: PUSH1 0x06
00002133: SLOAD
00002134: DUP3
00002135: PUSH1 0x08
00002137: SLOAD
00002138: ADD
00002139: GT
0000213a: DUP1
0000213b: PUSH2 0x2149
0000213e: JUMPI
0000213f: POP
00002140: PUSH1 0x08
00002142: SLOAD
00002143: DUP3
00002144: PUSH1 0x08
00002146: SLOAD
00002147: ADD
00002148: LT
00002149: JUMPDEST
0000214a: ISZERO
0000214b: PUSH2 0x2157
0000214e: JUMPI
0000214f: PUSH1 0x00
00002151: SWAP1
00002152: POP
00002153: PUSH2 0x215c
00002156: JUMP
00002157: JUMPDEST
00002158: PUSH1 0x01
0000215a: SWAP1
0000215b: POP
0000215c: JUMPDEST
0000215d: SWAP2
0000215e: SWAP1
0000215f: POP
00002160: JUMP
00002161: JUMPDEST
00002162: DUP2
00002163: SLOAD
00002164: DUP2
00002165: DUP4
00002166: SSTORE
00002167: DUP2
00002168: DUP2
00002169: ISZERO
0000216a: GT
0000216b: PUSH2 0x2188
0000216e: JUMPI
0000216f: DUP2
00002170: DUP4
00002171: PUSH1 0x00
00002173: MSTORE
00002174: PUSH1 0x20
00002176: PUSH1 0x00
00002178: KECCAK256
00002179: SWAP2
0000217a: DUP3
0000217b: ADD
0000217c: SWAP2
0000217d: ADD
0000217e: PUSH2 0x2187
00002181: SWAP2
00002182: SWAP1
00002183: PUSH2 0x2261
00002186: JUMP
00002187: JUMPDEST
00002188: JUMPDEST
00002189: POP
0000218a: POP
0000218b: POP
0000218c: JUMP
0000218d: JUMPDEST
0000218e: DUP2
0000218f: SLOAD
00002190: DUP2
00002191: DUP4
00002192: SSTORE
00002193: DUP2
00002194: DUP2
00002195: ISZERO
00002196: GT
00002197: PUSH2 0x21b4
0000219a: JUMPI
0000219b: DUP2
0000219c: DUP4
0000219d: PUSH1 0x00
0000219f: MSTORE
000021a0: PUSH1 0x20
000021a2: PUSH1 0x00
000021a4: KECCAK256
000021a5: SWAP2
000021a6: DUP3
000021a7: ADD
000021a8: SWAP2
000021a9: ADD
000021aa: PUSH2 0x21b3
000021ad: SWAP2
000021ae: SWAP1
000021af: PUSH2 0x2261
000021b2: JUMP
000021b3: JUMPDEST
000021b4: JUMPDEST
000021b5: POP
000021b6: POP
000021b7: POP
000021b8: JUMP
000021b9: JUMPDEST
000021ba: PUSH1 0x20
000021bc: PUSH1 0x40
000021be: MLOAD
000021bf: SWAP1
000021c0: DUP2
000021c1: ADD
000021c2: PUSH1 0x40
000021c4: MSTORE
000021c5: DUP1
000021c6: PUSH1 0x00
000021c8: DUP2
000021c9: MSTORE
000021ca: POP
000021cb: SWAP1
000021cc: JUMP
000021cd: JUMPDEST
000021ce: PUSH1 0x20
000021d0: PUSH1 0x40
000021d2: MLOAD
000021d3: SWAP1
000021d4: DUP2
000021d5: ADD
000021d6: PUSH1 0x40
000021d8: MSTORE
000021d9: DUP1
000021da: PUSH1 0x00
000021dc: DUP2
000021dd: MSTORE
000021de: POP
000021df: SWAP1
000021e0: JUMP
000021e1: JUMPDEST
000021e2: DUP3
000021e3: DUP1
000021e4: SLOAD
000021e5: PUSH1 0x01
000021e7: DUP2
000021e8: PUSH1 0x01
000021ea: AND
000021eb: ISZERO
000021ec: PUSH2 0x0100
000021ef: MUL
000021f0: SUB
000021f1: AND
000021f2: PUSH1 0x02
000021f4: SWAP1
000021f5: DIV
000021f6: SWAP1
000021f7: PUSH1 0x00
000021f9: MSTORE
000021fa: PUSH1 0x20
000021fc: PUSH1 0x00
000021fe: KECCAK256
000021ff: SWAP1
00002200: PUSH1 0x1f
00002202: ADD
00002203: PUSH1 0x20
00002205: SWAP1
00002206: DIV
00002207: DUP2
00002208: ADD
00002209: SWAP3
0000220a: DUP3
0000220b: PUSH1 0x1f
0000220d: LT
0000220e: PUSH2 0x2222
00002211: JUMPI
00002212: DUP1
00002213: MLOAD
00002214: PUSH1 0xff
00002216: NOT
00002217: AND
00002218: DUP4
00002219: DUP1
0000221a: ADD
0000221b: OR
0000221c: DUP6
0000221d: SSTORE
0000221e: PUSH2 0x2250
00002221: JUMP
00002222: JUMPDEST
00002223: DUP3
00002224: DUP1
00002225: ADD
00002226: PUSH1 0x01
00002228: ADD
00002229: DUP6
0000222a: SSTORE
0000222b: DUP3
0000222c: ISZERO
0000222d: PUSH2 0x2250
00002230: JUMPI
00002231: SWAP2
00002232: DUP3
00002233: ADD
00002234: JUMPDEST
00002235: DUP3
00002236: DUP2
00002237: GT
00002238: ISZERO
00002239: PUSH2 0x224f
0000223c: JUMPI
0000223d: DUP3
0000223e: MLOAD
0000223f: DUP3
00002240: SSTORE
00002241: SWAP2
00002242: PUSH1 0x20
00002244: ADD
00002245: SWAP2
00002246: SWAP1
00002247: PUSH1 0x01
00002249: ADD
0000224a: SWAP1
0000224b: PUSH2 0x2234
0000224e: JUMP
0000224f: JUMPDEST
00002250: JUMPDEST
00002251: POP
00002252: SWAP1
00002253: POP
00002254: PUSH2 0x225d
00002257: SWAP2
00002258: SWAP1
00002259: PUSH2 0x2261
0000225c: JUMP
0000225d: JUMPDEST
0000225e: POP
0000225f: SWAP1
00002260: JUMP
00002261: JUMPDEST
00002262: PUSH2 0x2283
00002265: SWAP2
00002266: SWAP1
00002267: JUMPDEST
00002268: DUP1
00002269: DUP3
0000226a: GT
0000226b: ISZERO
0000226c: PUSH2 0x227f
0000226f: JUMPI
00002270: PUSH1 0x00
00002272: DUP2
00002273: PUSH1 0x00
00002275: SWAP1
00002276: SSTORE
00002277: POP
00002278: PUSH1 0x01
0000227a: ADD
0000227b: PUSH2 0x2267
0000227e: JUMP
0000227f: JUMPDEST
00002280: POP
00002281: SWAP1
00002282: JUMP
00002283: JUMPDEST
00002284: SWAP1
00002285: JUMP
00002286: STOP
00002287: LOG1
00002288: PUSH6 0x627a7a723058
0000228f: KECCAK256
00002290: SLT
00002291: BASEFEE
00002292: PUSH19 0xbac8d05e517c2a0aa18d513680959dc02373a8
000022a6: UNKNOWN(0xAA)
000022a7: ORIGIN
000022a8: UNKNOWN(0xD4)
000022a9: EXTCODEHASH
000022aa: UNKNOWN(0xA7)
000022ab: JUMPDEST
000022ac: EXTCODEHASH
000022ad: PUSH12

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": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x025e7c27",
            "selector": "0x025e7c27",
            "calldata_variants": [
                "0x025e7c27",
                "0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x173825d9",
            "selector": "0x173825d9",
            "calldata_variants": [
                "0x173825d9",
                "0x173825d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x20ea8d86",
            "selector": "0x20ea8d86",
            "calldata_variants": [
                "0x20ea8d86",
                "0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f54bf6e",
            "selector": "0x2f54bf6e",
            "calldata_variants": [
                "0x2f54bf6e",
                "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3411c81c",
            "selector": "0x3411c81c",
            "calldata_variants": [
                "0x3411c81c",
                "0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4bc9fdc2",
            "selector": "0x4bc9fdc2",
            "calldata_variants": [
                "0x4bc9fdc2",
                "0x4bc9fdc20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54741525",
            "selector": "0x54741525",
            "calldata_variants": [
                "0x54741525",
                "0x547415250000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 2389,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3803,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5925,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6625,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6764,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8871,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xb80248d9a910abc90db597a198a4ac51a7c31fdd2634e537e9a2c41cd6e9743e
call_targets: 0xff0d2c340713462fa84899482c1504c17a40283c
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xb80248d9a910abc90db597a198a4ac51a7c31fdd2634e537e9a2c41cd6e9743e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xff0d2c340713462fa84899482c1504c17a40283c"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x025e7c27",
            "selector": "0x025e7c27",
            "calldata_variants": [
                "0x025e7c27",
                "0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x173825d9",
            "selector": "0x173825d9",
            "calldata_variants": [
                "0x173825d9",
                "0x173825d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x20ea8d86",
            "selector": "0x20ea8d86",
            "calldata_variants": [
                "0x20ea8d86",
                "0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f54bf6e",
            "selector": "0x2f54bf6e",
            "calldata_variants": [
                "0x2f54bf6e",
                "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3411c81c",
            "selector": "0x3411c81c",
            "calldata_variants": [
                "0x3411c81c",
                "0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4bc9fdc2",
            "selector": "0x4bc9fdc2",
            "calldata_variants": [
                "0x4bc9fdc2",
                "0x4bc9fdc20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54741525",
            "selector": "0x54741525",
            "calldata_variants": [
                "0x54741525",
                "0x547415250000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 7937,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [
        {
            "pc": 2389,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3803,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5925,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6625,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6764,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8871,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 1
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xb80248d9a910abc90db597a198a4ac51a7c31fdd2634e537e9a2c41cd6e9743e
call_targets: 0xff0d2c340713462fa84899482c1504c17a40283c
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xb80248d9a910abc90db597a198a4ac51a7c31fdd2634e537e9a2c41cd6e9743e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xff0d2c340713462fa84899482c1504c17a40283c"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x025e7c27",
            "selector": "0x025e7c27",
            "calldata_variants": [
                "0x025e7c27",
                "0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x173825d9",
            "selector": "0x173825d9",
            "calldata_variants": [
                "0x173825d9",
                "0x173825d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x20ea8d86",
            "selector": "0x20ea8d86",
            "calldata_variants": [
                "0x20ea8d86",
                "0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f54bf6e",
            "selector": "0x2f54bf6e",
            "calldata_variants": [
                "0x2f54bf6e",
                "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3411c81c",
            "selector": "0x3411c81c",
            "calldata_variants": [
                "0x3411c81c",
                "0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4bc9fdc2",
            "selector": "0x4bc9fdc2",
            "calldata_variants": [
                "0x4bc9fdc2",
                "0x4bc9fdc20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54741525",
            "selector": "0x54741525",
            "calldata_variants": [
                "0x54741525",
                "0x547415250000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 7937,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": [
        {
            "pc": 2389,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3803,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5925,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6625,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6764,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8871,
            "type": "tx_origin_used"
        }
    ]
}