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

Analysis Run

019b477e-c821-7044-a307-7dc2a65d3fa1

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
26077 artifact.fetch complete 1 / 3 3 months ago
26078 tool.cast_disasm complete 1 / 3 3 months ago
113075 analysis.bundle complete 1 / 3 1 week ago
113076 capability.graph complete 1 / 3 1 week ago
113077 detector.run complete 1 / 3 1 week ago
113078 validation.fork complete 1 / 3 1 week 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)
6
EXT*/BALANCE
6
Total opcodes
5639
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01ee
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x70a08231
00000019: GT
0000001a: PUSH2 0x010d
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb88d4fde
00000024: GT
00000025: PUSH2 0x00a0
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd1281ec4
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd1281ec4
0000003a: EQ
0000003b: PUSH2 0x0544
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdbe2193f
00000045: EQ
00000046: PUSH2 0x0564
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe985e9c5
00000050: EQ
00000051: PUSH2 0x0584
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xeb8d2444
0000005b: EQ
0000005c: PUSH2 0x05cd
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf2fde38b
00000066: EQ
00000067: PUSH2 0x05ec
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xb88d4fde
00000076: EQ
00000077: PUSH2 0x04c6
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xc58be312
00000081: EQ
00000082: PUSH2 0x04e6
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xc87b56dd
0000008c: EQ
0000008d: PUSH2 0x050e
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xca0dcf16
00000097: EQ
00000098: PUSH2 0x052e
0000009b: JUMPI
0000009c: PUSH1 0x00
0000009e: DUP1
0000009f: REVERT
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0x95d89b41
000000a7: GT
000000a8: PUSH2 0x00dc
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x95d89b41
000000b2: EQ
000000b3: PUSH2 0x046b
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xa0712d68
000000bd: EQ
000000be: PUSH2 0x0480
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xa22cb465
000000c8: EQ
000000c9: PUSH2 0x0493
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xa74af87a
000000d3: EQ
000000d4: PUSH2 0x04b3
000000d7: JUMPI
000000d8: PUSH1 0x00
000000da: DUP1
000000db: REVERT
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0x70a08231
000000e3: EQ
000000e4: PUSH2 0x03e8
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x715018a6
000000ee: EQ
000000ef: PUSH2 0x0408
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x737d6460
000000f9: EQ
000000fa: PUSH2 0x041d
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x8da5cb5b
00000104: EQ
00000105: PUSH2 0x044d
00000108: JUMPI
00000109: PUSH1 0x00
0000010b: DUP1
0000010c: REVERT
0000010d: JUMPDEST
0000010e: DUP1
0000010f: PUSH4 0x3ccfd60b
00000114: GT
00000115: PUSH2 0x0185
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x55f804b3
0000011f: GT
00000120: PUSH2 0x0154
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x55f804b3
0000012a: EQ
0000012b: PUSH2 0x037e
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x6352211e
00000135: EQ
00000136: PUSH2 0x039e
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x6c0360eb
00000140: EQ
00000141: PUSH2 0x03be
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x6d60e6c1
0000014b: EQ
0000014c: PUSH2 0x03d3
0000014f: JUMPI
00000150: PUSH1 0x00
00000152: DUP1
00000153: REVERT
00000154: JUMPDEST
00000155: DUP1
00000156: PUSH4 0x3ccfd60b
0000015b: EQ
0000015c: PUSH2 0x031c
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x42842e0e
00000166: EQ
00000167: PUSH2 0x0324
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0x4f6ccce7
00000171: EQ
00000172: PUSH2 0x0344
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0x5303f68c
0000017c: EQ
0000017d: PUSH2 0x0364
00000180: JUMPI
00000181: PUSH1 0x00
00000183: DUP1
00000184: REVERT
00000185: JUMPDEST
00000186: DUP1
00000187: PUSH4 0x18160ddd
0000018c: GT
0000018d: PUSH2 0x01c1
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x18160ddd
00000197: EQ
00000198: PUSH2 0x02a4
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x23b872dd
000001a2: EQ
000001a3: PUSH2 0x02c7
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x2f745c59
000001ad: EQ
000001ae: PUSH2 0x02e7
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x34918dfd
000001b8: EQ
000001b9: PUSH2 0x0307
000001bc: JUMPI
000001bd: PUSH1 0x00
000001bf: DUP1
000001c0: REVERT
000001c1: JUMPDEST
000001c2: DUP1
000001c3: PUSH4 0x01ffc9a7
000001c8: EQ
000001c9: PUSH2 0x01f3
000001cc: JUMPI
000001cd: DUP1
000001ce: PUSH4 0x06fdde03
000001d3: EQ
000001d4: PUSH2 0x0228
000001d7: JUMPI
000001d8: DUP1
000001d9: PUSH4 0x081812fc
000001de: EQ
000001df: PUSH2 0x024a
000001e2: JUMPI
000001e3: DUP1
000001e4: PUSH4 0x095ea7b3
000001e9: EQ
000001ea: PUSH2 0x0282
000001ed: JUMPI
000001ee: JUMPDEST
000001ef: PUSH1 0x00
000001f1: DUP1
000001f2: REVERT
000001f3: JUMPDEST
000001f4: CALLVALUE
000001f5: DUP1
000001f6: ISZERO
000001f7: PUSH2 0x01ff
000001fa: JUMPI
000001fb: PUSH1 0x00
000001fd: DUP1
000001fe: REVERT
000001ff: JUMPDEST
00000200: POP
00000201: PUSH2 0x0213
00000204: PUSH2 0x020e
00000207: CALLDATASIZE
00000208: PUSH1 0x04
0000020a: PUSH2 0x1f03
0000020d: JUMP
0000020e: JUMPDEST
0000020f: PUSH2 0x060c
00000212: JUMP
00000213: JUMPDEST
00000214: PUSH1 0x40
00000216: MLOAD
00000217: SWAP1
00000218: ISZERO
00000219: ISZERO
0000021a: DUP2
0000021b: MSTORE
0000021c: PUSH1 0x20
0000021e: ADD
0000021f: JUMPDEST
00000220: PUSH1 0x40
00000222: MLOAD
00000223: DUP1
00000224: SWAP2
00000225: SUB
00000226: SWAP1
00000227: RETURN
00000228: JUMPDEST
00000229: CALLVALUE
0000022a: DUP1
0000022b: ISZERO
0000022c: PUSH2 0x0234
0000022f: JUMPI
00000230: PUSH1 0x00
00000232: DUP1
00000233: REVERT
00000234: JUMPDEST
00000235: POP
00000236: PUSH2 0x023d
00000239: PUSH2 0x0679
0000023c: JUMP
0000023d: JUMPDEST
0000023e: PUSH1 0x40
00000240: MLOAD
00000241: PUSH2 0x021f
00000244: SWAP2
00000245: SWAP1
00000246: PUSH2 0x2049
00000249: JUMP
0000024a: JUMPDEST
0000024b: CALLVALUE
0000024c: DUP1
0000024d: ISZERO
0000024e: PUSH2 0x0256
00000251: JUMPI
00000252: PUSH1 0x00
00000254: DUP1
00000255: REVERT
00000256: JUMPDEST
00000257: POP
00000258: PUSH2 0x026a
0000025b: PUSH2 0x0265
0000025e: CALLDATASIZE
0000025f: PUSH1 0x04
00000261: PUSH2 0x1f81
00000264: JUMP
00000265: JUMPDEST
00000266: PUSH2 0x070b
00000269: JUMP
0000026a: JUMPDEST
0000026b: PUSH1 0x40
0000026d: MLOAD
0000026e: PUSH1 0x01
00000270: PUSH1 0x01
00000272: PUSH1 0xa0
00000274: SHL
00000275: SUB
00000276: SWAP1
00000277: SWAP2
00000278: AND
00000279: DUP2
0000027a: MSTORE
0000027b: PUSH1 0x20
0000027d: ADD
0000027e: PUSH2 0x021f
00000281: JUMP
00000282: JUMPDEST
00000283: CALLVALUE
00000284: DUP1
00000285: ISZERO
00000286: PUSH2 0x028e
00000289: JUMPI
0000028a: PUSH1 0x00
0000028c: DUP1
0000028d: REVERT
0000028e: JUMPDEST
0000028f: POP
00000290: PUSH2 0x02a2
00000293: PUSH2 0x029d
00000296: CALLDATASIZE
00000297: PUSH1 0x04
00000299: PUSH2 0x1eda
0000029c: JUMP
0000029d: JUMPDEST
0000029e: PUSH2 0x074f
000002a1: JUMP
000002a2: JUMPDEST
000002a3: STOP
000002a4: JUMPDEST
000002a5: CALLVALUE
000002a6: DUP1
000002a7: ISZERO
000002a8: PUSH2 0x02b0
000002ab: JUMPI
000002ac: PUSH1 0x00
000002ae: DUP1
000002af: REVERT
000002b0: JUMPDEST
000002b1: POP
000002b2: PUSH2 0x02b9
000002b5: PUSH2 0x07dd
000002b8: JUMP
000002b9: JUMPDEST
000002ba: PUSH1 0x40
000002bc: MLOAD
000002bd: SWAP1
000002be: DUP2
000002bf: MSTORE
000002c0: PUSH1 0x20
000002c2: ADD
000002c3: PUSH2 0x021f
000002c6: JUMP
000002c7: JUMPDEST
000002c8: CALLVALUE
000002c9: DUP1
000002ca: ISZERO
000002cb: PUSH2 0x02d3
000002ce: JUMPI
000002cf: PUSH1 0x00
000002d1: DUP1
000002d2: REVERT
000002d3: JUMPDEST
000002d4: POP
000002d5: PUSH2 0x02a2
000002d8: PUSH2 0x02e2
000002db: CALLDATASIZE
000002dc: PUSH1 0x04
000002de: PUSH2 0x1dec
000002e1: JUMP
000002e2: JUMPDEST
000002e3: PUSH2 0x07fc
000002e6: JUMP
000002e7: JUMPDEST
000002e8: CALLVALUE
000002e9: DUP1
000002ea: ISZERO
000002eb: PUSH2 0x02f3
000002ee: JUMPI
000002ef: PUSH1 0x00
000002f1: DUP1
000002f2: REVERT
000002f3: JUMPDEST
000002f4: POP
000002f5: PUSH2 0x02b9
000002f8: PUSH2 0x0302
000002fb: CALLDATASIZE
000002fc: PUSH1 0x04
000002fe: PUSH2 0x1eda
00000301: JUMP
00000302: JUMPDEST
00000303: PUSH2 0x0807
00000306: JUMP
00000307: JUMPDEST
00000308: CALLVALUE
00000309: DUP1
0000030a: ISZERO
0000030b: PUSH2 0x0313
0000030e: JUMPI
0000030f: PUSH1 0x00
00000311: DUP1
00000312: REVERT
00000313: JUMPDEST
00000314: POP
00000315: PUSH2 0x02a2
00000318: PUSH2 0x0904
0000031b: JUMP
0000031c: JUMPDEST
0000031d: PUSH2 0x02a2
00000320: PUSH2 0x0954
00000323: JUMP
00000324: JUMPDEST
00000325: CALLVALUE
00000326: DUP1
00000327: ISZERO
00000328: PUSH2 0x0330
0000032b: JUMPI
0000032c: PUSH1 0x00
0000032e: DUP1
0000032f: REVERT
00000330: JUMPDEST
00000331: POP
00000332: PUSH2 0x02a2
00000335: PUSH2 0x033f
00000338: CALLDATASIZE
00000339: PUSH1 0x04
0000033b: PUSH2 0x1dec
0000033e: JUMP
0000033f: JUMPDEST
00000340: PUSH2 0x09ba
00000343: JUMP
00000344: JUMPDEST
00000345: CALLVALUE
00000346: DUP1
00000347: ISZERO
00000348: PUSH2 0x0350
0000034b: JUMPI
0000034c: PUSH1 0x00
0000034e: DUP1
0000034f: REVERT
00000350: JUMPDEST
00000351: POP
00000352: PUSH2 0x02b9
00000355: PUSH2 0x035f
00000358: CALLDATASIZE
00000359: PUSH1 0x04
0000035b: PUSH2 0x1f81
0000035e: JUMP
0000035f: JUMPDEST
00000360: PUSH2 0x09d5
00000363: JUMP
00000364: JUMPDEST
00000365: CALLVALUE
00000366: DUP1
00000367: ISZERO
00000368: PUSH2 0x0370
0000036b: JUMPI
0000036c: PUSH1 0x00
0000036e: DUP1
0000036f: REVERT
00000370: JUMPDEST
00000371: POP
00000372: PUSH1 0x0b
00000374: SLOAD
00000375: PUSH2 0x0213
00000378: SWAP1
00000379: PUSH1 0xff
0000037b: AND
0000037c: DUP2
0000037d: JUMP
0000037e: JUMPDEST
0000037f: CALLVALUE
00000380: DUP1
00000381: ISZERO
00000382: PUSH2 0x038a
00000385: JUMPI
00000386: PUSH1 0x00
00000388: DUP1
00000389: REVERT
0000038a: JUMPDEST
0000038b: POP
0000038c: PUSH2 0x02a2
0000038f: PUSH2 0x0399
00000392: CALLDATASIZE
00000393: PUSH1 0x04
00000395: PUSH2 0x1f3b
00000398: JUMP
00000399: JUMPDEST
0000039a: PUSH2 0x0a80
0000039d: JUMP
0000039e: JUMPDEST
0000039f: CALLVALUE
000003a0: DUP1
000003a1: ISZERO
000003a2: PUSH2 0x03aa
000003a5: JUMPI
000003a6: PUSH1 0x00
000003a8: DUP1
000003a9: REVERT
000003aa: JUMPDEST
000003ab: POP
000003ac: PUSH2 0x026a
000003af: PUSH2 0x03b9
000003b2: CALLDATASIZE
000003b3: PUSH1 0x04
000003b5: PUSH2 0x1f81
000003b8: JUMP
000003b9: JUMPDEST
000003ba: PUSH2 0x0ac1
000003bd: JUMP
000003be: JUMPDEST
000003bf: CALLVALUE
000003c0: DUP1
000003c1: ISZERO
000003c2: PUSH2 0x03ca
000003c5: JUMPI
000003c6: PUSH1 0x00
000003c8: DUP1
000003c9: REVERT
000003ca: JUMPDEST
000003cb: POP
000003cc: PUSH2 0x023d
000003cf: PUSH2 0x0ad3
000003d2: JUMP
000003d3: JUMPDEST
000003d4: CALLVALUE
000003d5: DUP1
000003d6: ISZERO
000003d7: PUSH2 0x03df
000003da: JUMPI
000003db: PUSH1 0x00
000003dd: DUP1
000003de: REVERT
000003df: JUMPDEST
000003e0: POP
000003e1: PUSH2 0x02a2
000003e4: PUSH2 0x0b61
000003e7: JUMP
000003e8: JUMPDEST
000003e9: CALLVALUE
000003ea: DUP1
000003eb: ISZERO
000003ec: PUSH2 0x03f4
000003ef: JUMPI
000003f0: PUSH1 0x00
000003f2: DUP1
000003f3: REVERT
000003f4: JUMPDEST
000003f5: POP
000003f6: PUSH2 0x02b9
000003f9: PUSH2 0x0403
000003fc: CALLDATASIZE
000003fd: PUSH1 0x04
000003ff: PUSH2 0x1da0
00000402: JUMP
00000403: JUMPDEST
00000404: PUSH2 0x0b9f
00000407: JUMP
00000408: JUMPDEST
00000409: CALLVALUE
0000040a: DUP1
0000040b: ISZERO
0000040c: PUSH2 0x0414
0000040f: JUMPI
00000410: PUSH1 0x00
00000412: DUP1
00000413: REVERT
00000414: JUMPDEST
00000415: POP
00000416: PUSH2 0x02a2
00000419: PUSH2 0x0bee
0000041c: JUMP
0000041d: JUMPDEST
0000041e: CALLVALUE
0000041f: DUP1
00000420: ISZERO
00000421: PUSH2 0x0429
00000424: JUMPI
00000425: PUSH1 0x00
00000427: DUP1
00000428: REVERT
00000429: JUMPDEST
0000042a: POP
0000042b: PUSH2 0x0213
0000042e: PUSH2 0x0438
00000431: CALLDATASIZE
00000432: PUSH1 0x04
00000434: PUSH2 0x1f81
00000437: JUMP
00000438: JUMPDEST
00000439: PUSH1 0x0c
0000043b: PUSH1 0x20
0000043d: MSTORE
0000043e: PUSH1 0x00
00000440: SWAP1
00000441: DUP2
00000442: MSTORE
00000443: PUSH1 0x40
00000445: SWAP1
00000446: KECCAK256
00000447: SLOAD
00000448: PUSH1 0xff
0000044a: AND
0000044b: DUP2
0000044c: JUMP
0000044d: JUMPDEST
0000044e: CALLVALUE
0000044f: DUP1
00000450: ISZERO
00000451: PUSH2 0x0459
00000454: JUMPI
00000455: PUSH1 0x00
00000457: DUP1
00000458: REVERT
00000459: JUMPDEST
0000045a: POP
0000045b: PUSH1 0x07
0000045d: SLOAD
0000045e: PUSH1 0x01
00000460: PUSH1 0x01
00000462: PUSH1 0xa0
00000464: SHL
00000465: SUB
00000466: AND
00000467: PUSH2 0x026a
0000046a: JUMP
0000046b: JUMPDEST
0000046c: CALLVALUE
0000046d: DUP1
0000046e: ISZERO
0000046f: PUSH2 0x0477
00000472: JUMPI
00000473: PUSH1 0x00
00000475: DUP1
00000476: REVERT
00000477: JUMPDEST
00000478: POP
00000479: PUSH2 0x023d
0000047c: PUSH2 0x0c24
0000047f: JUMP
00000480: JUMPDEST
00000481: PUSH2 0x02a2
00000484: PUSH2 0x048e
00000487: CALLDATASIZE
00000488: PUSH1 0x04
0000048a: PUSH2 0x1f81
0000048d: JUMP
0000048e: JUMPDEST
0000048f: PUSH2 0x0c33
00000492: JUMP
00000493: JUMPDEST
00000494: CALLVALUE
00000495: DUP1
00000496: ISZERO
00000497: PUSH2 0x049f
0000049a: JUMPI
0000049b: PUSH1 0x00
0000049d: DUP1
0000049e: REVERT
0000049f: JUMPDEST
000004a0: POP
000004a1: PUSH2 0x02a2
000004a4: PUSH2 0x04ae
000004a7: CALLDATASIZE
000004a8: PUSH1 0x04
000004aa: PUSH2 0x1ea0
000004ad: JUMP
000004ae: JUMPDEST
000004af: PUSH2 0x0daf
000004b2: JUMP
000004b3: JUMPDEST
000004b4: PUSH2 0x02a2
000004b7: PUSH2 0x04c1
000004ba: CALLDATASIZE
000004bb: PUSH1 0x04
000004bd: PUSH2 0x1f81
000004c0: JUMP
000004c1: JUMPDEST
000004c2: PUSH2 0x0e45
000004c5: JUMP
000004c6: JUMPDEST
000004c7: CALLVALUE
000004c8: DUP1
000004c9: ISZERO
000004ca: PUSH2 0x04d2
000004cd: JUMPI
000004ce: PUSH1 0x00
000004d0: DUP1
000004d1: REVERT
000004d2: JUMPDEST
000004d3: POP
000004d4: PUSH2 0x02a2
000004d7: PUSH2 0x04e1
000004da: CALLDATASIZE
000004db: PUSH1 0x04
000004dd: PUSH2 0x1e27
000004e0: JUMP
000004e1: JUMPDEST
000004e2: PUSH2 0x117a
000004e5: JUMP
000004e6: JUMPDEST
000004e7: CALLVALUE
000004e8: DUP1
000004e9: ISZERO
000004ea: PUSH2 0x04f2
000004ed: JUMPI
000004ee: PUSH1 0x00
000004f0: DUP1
000004f1: REVERT
000004f2: JUMPDEST
000004f3: POP
000004f4: PUSH2 0x026a
000004f7: PUSH20 0x2a281305a50627a22ec3e7d82ae656adfee6d964
0000050c: DUP2
0000050d: JUMP
0000050e: JUMPDEST
0000050f: CALLVALUE
00000510: DUP1
00000511: ISZERO
00000512: PUSH2 0x051a
00000515: JUMPI
00000516: PUSH1 0x00
00000518: DUP1
00000519: REVERT
0000051a: JUMPDEST
0000051b: POP
0000051c: PUSH2 0x023d
0000051f: PUSH2 0x0529
00000522: CALLDATASIZE
00000523: PUSH1 0x04
00000525: PUSH2 0x1f81
00000528: JUMP
00000529: JUMPDEST
0000052a: PUSH2 0x11ae
0000052d: JUMP
0000052e: JUMPDEST
0000052f: CALLVALUE
00000530: DUP1
00000531: ISZERO
00000532: PUSH2 0x053a
00000535: JUMPI
00000536: PUSH1 0x00
00000538: DUP1
00000539: REVERT
0000053a: JUMPDEST
0000053b: POP
0000053c: PUSH2 0x02b9
0000053f: PUSH1 0x0a
00000541: SLOAD
00000542: DUP2
00000543: JUMP
00000544: JUMPDEST
00000545: CALLVALUE
00000546: DUP1
00000547: ISZERO
00000548: PUSH2 0x0550
0000054b: JUMPI
0000054c: PUSH1 0x00
0000054e: DUP1
0000054f: REVERT
00000550: JUMPDEST
00000551: POP
00000552: PUSH2 0x0213
00000555: PUSH2 0x055f
00000558: CALLDATASIZE
00000559: PUSH1 0x04
0000055b: PUSH2 0x1da0
0000055e: JUMP
0000055f: JUMPDEST
00000560: PUSH2 0x1233
00000563: JUMP
00000564: JUMPDEST
00000565: CALLVALUE
00000566: DUP1
00000567: ISZERO
00000568: PUSH2 0x0570
0000056b: JUMPI
0000056c: PUSH1 0x00
0000056e: DUP1
0000056f: REVERT
00000570: JUMPDEST
00000571: POP
00000572: PUSH2 0x02a2
00000575: PUSH2 0x057f
00000578: CALLDATASIZE
00000579: PUSH1 0x04
0000057b: PUSH2 0x1f81
0000057e: JUMP
0000057f: JUMPDEST
00000580: PUSH2 0x13a6
00000583: JUMP
00000584: JUMPDEST
00000585: CALLVALUE
00000586: DUP1
00000587: ISZERO
00000588: PUSH2 0x0590
0000058b: JUMPI
0000058c: PUSH1 0x00
0000058e: DUP1
0000058f: REVERT
00000590: JUMPDEST
00000591: POP
00000592: PUSH2 0x0213
00000595: PUSH2 0x059f
00000598: CALLDATASIZE
00000599: PUSH1 0x04
0000059b: PUSH2 0x1dba
0000059e: JUMP
0000059f: JUMPDEST
000005a0: PUSH1 0x01
000005a2: PUSH1 0x01
000005a4: PUSH1 0xa0
000005a6: SHL
000005a7: SUB
000005a8: SWAP2
000005a9: DUP3
000005aa: AND
000005ab: PUSH1 0x00
000005ad: SWAP1
000005ae: DUP2
000005af: MSTORE
000005b0: PUSH1 0x06
000005b2: PUSH1 0x20
000005b4: SWAP1
000005b5: DUP2
000005b6: MSTORE
000005b7: PUSH1 0x40
000005b9: DUP1
000005ba: DUP4
000005bb: KECCAK256
000005bc: SWAP4
000005bd: SWAP1
000005be: SWAP5
000005bf: AND
000005c0: DUP3
000005c1: MSTORE
000005c2: SWAP2
000005c3: SWAP1
000005c4: SWAP2
000005c5: MSTORE
000005c6: KECCAK256
000005c7: SLOAD
000005c8: PUSH1 0xff
000005ca: AND
000005cb: SWAP1
000005cc: JUMP
000005cd: JUMPDEST
000005ce: CALLVALUE
000005cf: DUP1
000005d0: ISZERO
000005d1: PUSH2 0x05d9
000005d4: JUMPI
000005d5: PUSH1 0x00
000005d7: DUP1
000005d8: REVERT
000005d9: JUMPDEST
000005da: POP
000005db: PUSH1 0x0b
000005dd: SLOAD
000005de: PUSH2 0x0213
000005e1: SWAP1
000005e2: PUSH2 0x0100
000005e5: SWAP1
000005e6: DIV
000005e7: PUSH1 0xff
000005e9: AND
000005ea: DUP2
000005eb: JUMP
000005ec: JUMPDEST
000005ed: CALLVALUE
000005ee: DUP1
000005ef: ISZERO
000005f0: PUSH2 0x05f8
000005f3: JUMPI
000005f4: PUSH1 0x00
000005f6: DUP1
000005f7: REVERT
000005f8: JUMPDEST
000005f9: POP
000005fa: PUSH2 0x02a2
000005fd: PUSH2 0x0607
00000600: CALLDATASIZE
00000601: PUSH1 0x04
00000603: PUSH2 0x1da0
00000606: JUMP
00000607: JUMPDEST
00000608: PUSH2 0x13d5
0000060b: JUMP
0000060c: JUMPDEST
0000060d: PUSH1 0x00
0000060f: PUSH1 0x01
00000611: PUSH1 0x01
00000613: PUSH1 0xe0
00000615: SHL
00000616: SUB
00000617: NOT
00000618: DUP3
00000619: AND
0000061a: PUSH4 0x80ac58cd
0000061f: PUSH1 0xe0
00000621: SHL
00000622: EQ
00000623: DUP1
00000624: PUSH2 0x063d
00000627: JUMPI
00000628: POP
00000629: PUSH1 0x01
0000062b: PUSH1 0x01
0000062d: PUSH1 0xe0
0000062f: SHL
00000630: SUB
00000631: NOT
00000632: DUP3
00000633: AND
00000634: PUSH4 0x5b5e139f
00000639: PUSH1 0xe0
0000063b: SHL
0000063c: EQ
0000063d: JUMPDEST
0000063e: DUP1
0000063f: PUSH2 0x0658
00000642: JUMPI
00000643: POP
00000644: PUSH1 0x01
00000646: PUSH1 0x01
00000648: PUSH1 0xe0
0000064a: SHL
0000064b: SUB
0000064c: NOT
0000064d: DUP3
0000064e: AND
0000064f: PUSH4 0x780e9d63
00000654: PUSH1 0xe0
00000656: SHL
00000657: EQ
00000658: JUMPDEST
00000659: DUP1
0000065a: PUSH2 0x0673
0000065d: JUMPI
0000065e: POP
0000065f: PUSH4 0x01ffc9a7
00000664: PUSH1 0xe0
00000666: SHL
00000667: PUSH1 0x01
00000669: PUSH1 0x01
0000066b: PUSH1 0xe0
0000066d: SHL
0000066e: SUB
0000066f: NOT
00000670: DUP4
00000671: AND
00000672: EQ
00000673: JUMPDEST
00000674: SWAP3
00000675: SWAP2
00000676: POP
00000677: POP
00000678: JUMP
00000679: JUMPDEST
0000067a: PUSH1 0x60
0000067c: PUSH1 0x01
0000067e: DUP1
0000067f: SLOAD
00000680: PUSH2 0x0688
00000683: SWAP1
00000684: PUSH2 0x211f
00000687: JUMP
00000688: JUMPDEST
00000689: DUP1
0000068a: PUSH1 0x1f
0000068c: ADD
0000068d: PUSH1 0x20
0000068f: DUP1
00000690: SWAP2
00000691: DIV
00000692: MUL
00000693: PUSH1 0x20
00000695: ADD
00000696: PUSH1 0x40
00000698: MLOAD
00000699: SWAP1
0000069a: DUP2
0000069b: ADD
0000069c: PUSH1 0x40
0000069e: MSTORE
0000069f: DUP1
000006a0: SWAP3
000006a1: SWAP2
000006a2: SWAP1
000006a3: DUP2
000006a4: DUP2
000006a5: MSTORE
000006a6: PUSH1 0x20
000006a8: ADD
000006a9: DUP3
000006aa: DUP1
000006ab: SLOAD
000006ac: PUSH2 0x06b4
000006af: SWAP1
000006b0: PUSH2 0x211f
000006b3: JUMP
000006b4: JUMPDEST
000006b5: DUP1
000006b6: ISZERO
000006b7: PUSH2 0x0701
000006ba: JUMPI
000006bb: DUP1
000006bc: PUSH1 0x1f
000006be: LT
000006bf: PUSH2 0x06d6
000006c2: JUMPI
000006c3: PUSH2 0x0100
000006c6: DUP1
000006c7: DUP4
000006c8: SLOAD
000006c9: DIV
000006ca: MUL
000006cb: DUP4
000006cc: MSTORE
000006cd: SWAP2
000006ce: PUSH1 0x20
000006d0: ADD
000006d1: SWAP2
000006d2: PUSH2 0x0701
000006d5: JUMP
000006d6: JUMPDEST
000006d7: DUP3
000006d8: ADD
000006d9: SWAP2
000006da: SWAP1
000006db: PUSH1 0x00
000006dd: MSTORE
000006de: PUSH1 0x20
000006e0: PUSH1 0x00
000006e2: KECCAK256
000006e3: SWAP1
000006e4: JUMPDEST
000006e5: DUP2
000006e6: SLOAD
000006e7: DUP2
000006e8: MSTORE
000006e9: SWAP1
000006ea: PUSH1 0x01
000006ec: ADD
000006ed: SWAP1
000006ee: PUSH1 0x20
000006f0: ADD
000006f1: DUP1
000006f2: DUP4
000006f3: GT
000006f4: PUSH2 0x06e4
000006f7: JUMPI
000006f8: DUP3
000006f9: SWAP1
000006fa: SUB
000006fb: PUSH1 0x1f
000006fd: AND
000006fe: DUP3
000006ff: ADD
00000700: SWAP2
00000701: JUMPDEST
00000702: POP
00000703: POP
00000704: POP
00000705: POP
00000706: POP
00000707: SWAP1
00000708: POP
00000709: SWAP1
0000070a: JUMP
0000070b: JUMPDEST
0000070c: PUSH1 0x00
0000070e: PUSH2 0x0716
00000711: DUP3
00000712: PUSH2 0x146d
00000715: JUMP
00000716: JUMPDEST
00000717: PUSH2 0x0733
0000071a: JUMPI
0000071b: PUSH1 0x40
0000071d: MLOAD
0000071e: PUSH4 0x33d1c039
00000723: PUSH1 0xe2
00000725: SHL
00000726: DUP2
00000727: MSTORE
00000728: PUSH1 0x04
0000072a: ADD
0000072b: PUSH1 0x40
0000072d: MLOAD
0000072e: DUP1
0000072f: SWAP2
00000730: SUB
00000731: SWAP1
00000732: REVERT
00000733: JUMPDEST
00000734: POP
00000735: PUSH1 0x00
00000737: SWAP1
00000738: DUP2
00000739: MSTORE
0000073a: PUSH1 0x05
0000073c: PUSH1 0x20
0000073e: MSTORE
0000073f: PUSH1 0x40
00000741: SWAP1
00000742: KECCAK256
00000743: SLOAD
00000744: PUSH1 0x01
00000746: PUSH1 0x01
00000748: PUSH1 0xa0
0000074a: SHL
0000074b: SUB
0000074c: AND
0000074d: SWAP1
0000074e: JUMP
0000074f: JUMPDEST
00000750: PUSH1 0x00
00000752: PUSH2 0x075a
00000755: DUP3
00000756: PUSH2 0x0ac1
00000759: JUMP
0000075a: JUMPDEST
0000075b: SWAP1
0000075c: POP
0000075d: DUP1
0000075e: PUSH1 0x01
00000760: PUSH1 0x01
00000762: PUSH1 0xa0
00000764: SHL
00000765: SUB
00000766: AND
00000767: DUP4
00000768: PUSH1 0x01
0000076a: PUSH1 0x01
0000076c: PUSH1 0xa0
0000076e: SHL
0000076f: SUB
00000770: AND
00000771: EQ
00000772: ISZERO
00000773: PUSH2 0x078f
00000776: JUMPI
00000777: PUSH1 0x40
00000779: MLOAD
0000077a: PUSH4 0x250fdee3
0000077f: PUSH1 0xe2
00000781: SHL
00000782: DUP2
00000783: MSTORE
00000784: PUSH1 0x04
00000786: ADD
00000787: PUSH1 0x40
00000789: MLOAD
0000078a: DUP1
0000078b: SWAP2
0000078c: SUB
0000078d: SWAP1
0000078e: REVERT
0000078f: JUMPDEST
00000790: CALLER
00000791: PUSH1 0x01
00000793: PUSH1 0x01
00000795: PUSH1 0xa0
00000797: SHL
00000798: SUB
00000799: DUP3
0000079a: AND
0000079b: EQ
0000079c: DUP1
0000079d: ISZERO
0000079e: SWAP1
0000079f: PUSH2 0x07af
000007a2: JUMPI
000007a3: POP
000007a4: PUSH2 0x07ad
000007a7: DUP2
000007a8: CALLER
000007a9: PUSH2 0x059f
000007ac: JUMP
000007ad: JUMPDEST
000007ae: ISZERO
000007af: JUMPDEST
000007b0: ISZERO
000007b1: PUSH2 0x07cd
000007b4: JUMPI
000007b5: PUSH1 0x40
000007b7: MLOAD
000007b8: PUSH4 0x67d9dca1
000007bd: PUSH1 0xe1
000007bf: SHL
000007c0: DUP2
000007c1: MSTORE
000007c2: PUSH1 0x04
000007c4: ADD
000007c5: PUSH1 0x40
000007c7: MLOAD
000007c8: DUP1
000007c9: SWAP2
000007ca: SUB
000007cb: SWAP1
000007cc: REVERT
000007cd: JUMPDEST
000007ce: PUSH2 0x07d8
000007d1: DUP4
000007d2: DUP4
000007d3: DUP4
000007d4: PUSH2 0x14a1
000007d7: JUMP
000007d8: JUMPDEST
000007d9: POP
000007da: POP
000007db: POP
000007dc: JUMP
000007dd: JUMPDEST
000007de: PUSH1 0x00
000007e0: SLOAD
000007e1: PUSH1 0x01
000007e3: PUSH1 0x01
000007e5: PUSH1 0x80
000007e7: SHL
000007e8: SUB
000007e9: PUSH1 0x01
000007eb: PUSH1 0x80
000007ed: SHL
000007ee: DUP3
000007ef: DIV
000007f0: DUP2
000007f1: AND
000007f2: SWAP2
000007f3: DUP2
000007f4: AND
000007f5: SWAP2
000007f6: SWAP1
000007f7: SWAP2
000007f8: SUB
000007f9: AND
000007fa: SWAP1
000007fb: JUMP
000007fc: JUMPDEST
000007fd: PUSH2 0x07d8
00000800: DUP4
00000801: DUP4
00000802: DUP4
00000803: PUSH2 0x14fd
00000806: JUMP
00000807: JUMPDEST
00000808: PUSH1 0x00
0000080a: PUSH2 0x0812
0000080d: DUP4
0000080e: PUSH2 0x0b9f
00000811: JUMP
00000812: JUMPDEST
00000813: DUP3
00000814: LT
00000815: PUSH2 0x0831
00000818: JUMPI
00000819: PUSH1 0x40
0000081b: MLOAD
0000081c: PUSH4 0x06ed6187
00000821: PUSH1 0xe1
00000823: SHL
00000824: DUP2
00000825: MSTORE
00000826: PUSH1 0x04
00000828: ADD
00000829: PUSH1 0x40
0000082b: MLOAD
0000082c: DUP1
0000082d: SWAP2
0000082e: SUB
0000082f: SWAP1
00000830: REVERT
00000831: JUMPDEST
00000832: PUSH1 0x00
00000834: DUP1
00000835: SLOAD
00000836: PUSH1 0x01
00000838: PUSH1 0x01
0000083a: PUSH1 0x80
0000083c: SHL
0000083d: SUB
0000083e: AND
0000083f: SWAP1
00000840: DUP1
00000841: DUP1
00000842: JUMPDEST
00000843: DUP4
00000844: DUP2
00000845: LT
00000846: ISZERO
00000847: PUSH2 0x08fe
0000084a: JUMPI
0000084b: PUSH1 0x00
0000084d: DUP2
0000084e: DUP2
0000084f: MSTORE
00000850: PUSH1 0x03
00000852: PUSH1 0x20
00000854: SWAP1
00000855: DUP2
00000856: MSTORE
00000857: PUSH1 0x40
00000859: SWAP2
0000085a: DUP3
0000085b: SWAP1
0000085c: KECCAK256
0000085d: DUP3
0000085e: MLOAD
0000085f: PUSH1 0x60
00000861: DUP2
00000862: ADD
00000863: DUP5
00000864: MSTORE
00000865: SWAP1
00000866: SLOAD
00000867: PUSH1 0x01
00000869: PUSH1 0x01
0000086b: PUSH1 0xa0
0000086d: SHL
0000086e: SUB
0000086f: DUP2
00000870: AND
00000871: DUP3
00000872: MSTORE
00000873: PUSH1 0x01
00000875: PUSH1 0xa0
00000877: SHL
00000878: DUP2
00000879: DIV
0000087a: PUSH8 0xffffffffffffffff
00000883: AND
00000884: SWAP3
00000885: DUP3
00000886: ADD
00000887: SWAP3
00000888: SWAP1
00000889: SWAP3
0000088a: MSTORE
0000088b: PUSH1 0x01
0000088d: PUSH1 0xe0
0000088f: SHL
00000890: SWAP1
00000891: SWAP2
00000892: DIV
00000893: PUSH1 0xff
00000895: AND
00000896: ISZERO
00000897: DUP1
00000898: ISZERO
00000899: SWAP3
0000089a: DUP3
0000089b: ADD
0000089c: SWAP3
0000089d: SWAP1
0000089e: SWAP3
0000089f: MSTORE
000008a0: SWAP1
000008a1: PUSH2 0x08aa
000008a4: JUMPI
000008a5: POP
000008a6: PUSH2 0x08f6
000008a9: JUMP
000008aa: JUMPDEST
000008ab: DUP1
000008ac: MLOAD
000008ad: PUSH1 0x01
000008af: PUSH1 0x01
000008b1: PUSH1 0xa0
000008b3: SHL
000008b4: SUB
000008b5: AND
000008b6: ISZERO
000008b7: PUSH2 0x08bf
000008ba: JUMPI
000008bb: DUP1
000008bc: MLOAD
000008bd: SWAP3
000008be: POP
000008bf: JUMPDEST
000008c0: DUP8
000008c1: PUSH1 0x01
000008c3: PUSH1 0x01
000008c5: PUSH1 0xa0
000008c7: SHL
000008c8: SUB
000008c9: AND
000008ca: DUP4
000008cb: PUSH1 0x01
000008cd: PUSH1 0x01
000008cf: PUSH1 0xa0
000008d1: SHL
000008d2: SUB
000008d3: AND
000008d4: EQ
000008d5: ISZERO
000008d6: PUSH2 0x08f4
000008d9: JUMPI
000008da: DUP7
000008db: DUP5
000008dc: EQ
000008dd: ISZERO
000008de: PUSH2 0x08ed
000008e1: JUMPI
000008e2: POP
000008e3: SWAP4
000008e4: POP
000008e5: PUSH2 0x0673
000008e8: SWAP3
000008e9: POP
000008ea: POP
000008eb: POP
000008ec: JUMP
000008ed: JUMPDEST
000008ee: PUSH1 0x01
000008f0: SWAP1
000008f1: SWAP4
000008f2: ADD
000008f3: SWAP3
000008f4: JUMPDEST
000008f5: POP
000008f6: JUMPDEST
000008f7: PUSH1 0x01
000008f9: ADD
000008fa: PUSH2 0x0842
000008fd: JUMP
000008fe: JUMPDEST
000008ff: POP
00000900: PUSH1 0x00
00000902: DUP1
00000903: REVERT
00000904: JUMPDEST
00000905: PUSH1 0x07
00000907: SLOAD
00000908: PUSH1 0x01
0000090a: PUSH1 0x01
0000090c: PUSH1 0xa0
0000090e: SHL
0000090f: SUB
00000910: AND
00000911: CALLER
00000912: EQ
00000913: PUSH2 0x0937
00000916: JUMPI
00000917: PUSH1 0x40
00000919: MLOAD
0000091a: PUSH3 0x461bcd
0000091e: PUSH1 0xe5
00000920: SHL
00000921: DUP2
00000922: MSTORE
00000923: PUSH1 0x04
00000925: ADD
00000926: PUSH2 0x092e
00000929: SWAP1
0000092a: PUSH2 0x205c
0000092d: JUMP
0000092e: JUMPDEST
0000092f: PUSH1 0x40
00000931: MLOAD
00000932: DUP1
00000933: SWAP2
00000934: SUB
00000935: SWAP1
00000936: REVERT
00000937: JUMPDEST
00000938: PUSH1 0x0b
0000093a: DUP1
0000093b: SLOAD
0000093c: PUSH2 0xff00
0000093f: NOT
00000940: DUP2
00000941: AND
00000942: PUSH2 0x0100
00000945: SWAP2
00000946: DUP3
00000947: SWAP1
00000948: DIV
00000949: PUSH1 0xff
0000094b: AND
0000094c: ISZERO
0000094d: SWAP1
0000094e: SWAP2
0000094f: MUL
00000950: OR
00000951: SWAP1
00000952: SSTORE
00000953: JUMP
00000954: JUMPDEST
00000955: PUSH1 0x07
00000957: SLOAD
00000958: PUSH1 0x01
0000095a: PUSH1 0x01
0000095c: PUSH1 0xa0
0000095e: SHL
0000095f: SUB
00000960: AND
00000961: CALLER
00000962: EQ
00000963: PUSH2 0x097e
00000966: JUMPI
00000967: PUSH1 0x40
00000969: MLOAD
0000096a: PUSH3 0x461bcd
0000096e: PUSH1 0xe5
00000970: SHL
00000971: DUP2
00000972: MSTORE
00000973: PUSH1 0x04
00000975: ADD
00000976: PUSH2 0x092e
00000979: SWAP1
0000097a: PUSH2 0x205c
0000097d: JUMP
0000097e: JUMPDEST
0000097f: PUSH1 0x07
00000981: SLOAD
00000982: PUSH1 0x40
00000984: MLOAD
00000985: PUSH1 0x01
00000987: PUSH1 0x01
00000989: PUSH1 0xa0
0000098b: SHL
0000098c: SUB
0000098d: SWAP1
0000098e: SWAP2
0000098f: AND
00000990: SWAP1
00000991: SELFBALANCE
00000992: DUP1
00000993: ISZERO
00000994: PUSH2 0x08fc
00000997: MUL
00000998: SWAP2
00000999: PUSH1 0x00
0000099b: DUP2
0000099c: DUP2
0000099d: DUP2
0000099e: DUP6
0000099f: DUP9
000009a0: DUP9
000009a1: CALL
000009a2: SWAP4
000009a3: POP
000009a4: POP
000009a5: POP
000009a6: POP
000009a7: ISZERO
000009a8: DUP1
000009a9: ISZERO
000009aa: PUSH2 0x09b7
000009ad: JUMPI
000009ae: RETURNDATASIZE
000009af: PUSH1 0x00
000009b1: DUP1
000009b2: RETURNDATACOPY
000009b3: RETURNDATASIZE
000009b4: PUSH1 0x00
000009b6: REVERT
000009b7: JUMPDEST
000009b8: POP
000009b9: JUMP
000009ba: JUMPDEST
000009bb: PUSH2 0x07d8
000009be: DUP4
000009bf: DUP4
000009c0: DUP4
000009c1: PUSH1 0x40
000009c3: MLOAD
000009c4: DUP1
000009c5: PUSH1 0x20
000009c7: ADD
000009c8: PUSH1 0x40
000009ca: MSTORE
000009cb: DUP1
000009cc: PUSH1 0x00
000009ce: DUP2
000009cf: MSTORE
000009d0: POP
000009d1: PUSH2 0x117a
000009d4: JUMP
000009d5: JUMPDEST
000009d6: PUSH1 0x00
000009d8: DUP1
000009d9: SLOAD
000009da: PUSH1 0x01
000009dc: PUSH1 0x01
000009de: PUSH1 0x80
000009e0: SHL
000009e1: SUB
000009e2: AND
000009e3: DUP2
000009e4: DUP1
000009e5: JUMPDEST
000009e6: DUP3
000009e7: DUP2
000009e8: LT
000009e9: ISZERO
000009ea: PUSH2 0x0a66
000009ed: JUMPI
000009ee: PUSH1 0x00
000009f0: DUP2
000009f1: DUP2
000009f2: MSTORE
000009f3: PUSH1 0x03
000009f5: PUSH1 0x20
000009f7: SWAP1
000009f8: DUP2
000009f9: MSTORE
000009fa: PUSH1 0x40
000009fc: SWAP2
000009fd: DUP3
000009fe: SWAP1
000009ff: KECCAK256
00000a00: DUP3
00000a01: MLOAD
00000a02: PUSH1 0x60
00000a04: DUP2
00000a05: ADD
00000a06: DUP5
00000a07: MSTORE
00000a08: SWAP1
00000a09: SLOAD
00000a0a: PUSH1 0x01
00000a0c: PUSH1 0x01
00000a0e: PUSH1 0xa0
00000a10: SHL
00000a11: SUB
00000a12: DUP2
00000a13: AND
00000a14: DUP3
00000a15: MSTORE
00000a16: PUSH1 0x01
00000a18: PUSH1 0xa0
00000a1a: SHL
00000a1b: DUP2
00000a1c: DIV
00000a1d: PUSH8 0xffffffffffffffff
00000a26: AND
00000a27: SWAP3
00000a28: DUP3
00000a29: ADD
00000a2a: SWAP3
00000a2b: SWAP1
00000a2c: SWAP3
00000a2d: MSTORE
00000a2e: PUSH1 0x01
00000a30: PUSH1 0xe0
00000a32: SHL
00000a33: SWAP1
00000a34: SWAP2
00000a35: DIV
00000a36: PUSH1 0xff
00000a38: AND
00000a39: ISZERO
00000a3a: ISZERO
00000a3b: SWAP2
00000a3c: DUP2
00000a3d: ADD
00000a3e: DUP3
00000a3f: SWAP1
00000a40: MSTORE
00000a41: SWAP1
00000a42: PUSH2 0x0a5d
00000a45: JUMPI
00000a46: DUP6
00000a47: DUP4
00000a48: EQ
00000a49: ISZERO
00000a4a: PUSH2 0x0a56
00000a4d: JUMPI
00000a4e: POP
00000a4f: SWAP5
00000a50: SWAP4
00000a51: POP
00000a52: POP
00000a53: POP
00000a54: POP
00000a55: JUMP
00000a56: JUMPDEST
00000a57: PUSH1 0x01
00000a59: SWAP1
00000a5a: SWAP3
00000a5b: ADD
00000a5c: SWAP2
00000a5d: JUMPDEST
00000a5e: POP
00000a5f: PUSH1 0x01
00000a61: ADD
00000a62: PUSH2 0x09e5
00000a65: JUMP
00000a66: JUMPDEST
00000a67: POP
00000a68: PUSH1 0x40
00000a6a: MLOAD
00000a6b: PUSH4 0x29c8c007
00000a70: PUSH1 0xe2
00000a72: SHL
00000a73: DUP2
00000a74: MSTORE
00000a75: PUSH1 0x04
00000a77: ADD
00000a78: PUSH1 0x40
00000a7a: MLOAD
00000a7b: DUP1
00000a7c: SWAP2
00000a7d: SUB
00000a7e: SWAP1
00000a7f: REVERT
00000a80: JUMPDEST
00000a81: PUSH1 0x07
00000a83: SLOAD
00000a84: PUSH1 0x01
00000a86: PUSH1 0x01
00000a88: PUSH1 0xa0
00000a8a: SHL
00000a8b: SUB
00000a8c: AND
00000a8d: CALLER
00000a8e: EQ
00000a8f: PUSH2 0x0aaa
00000a92: JUMPI
00000a93: PUSH1 0x40
00000a95: MLOAD
00000a96: PUSH3 0x461bcd
00000a9a: PUSH1 0xe5
00000a9c: SHL
00000a9d: DUP2
00000a9e: MSTORE
00000a9f: PUSH1 0x04
00000aa1: ADD
00000aa2: PUSH2 0x092e
00000aa5: SWAP1
00000aa6: PUSH2 0x205c
00000aa9: JUMP
00000aaa: JUMPDEST
00000aab: DUP1
00000aac: MLOAD
00000aad: PUSH2 0x0abd
00000ab0: SWAP1
00000ab1: PUSH1 0x0d
00000ab3: SWAP1
00000ab4: PUSH1 0x20
00000ab6: DUP5
00000ab7: ADD
00000ab8: SWAP1
00000ab9: PUSH2 0x1c75
00000abc: JUMP
00000abd: JUMPDEST
00000abe: POP
00000abf: POP
00000ac0: JUMP
00000ac1: JUMPDEST
00000ac2: PUSH1 0x00
00000ac4: PUSH2 0x0acc
00000ac7: DUP3
00000ac8: PUSH2 0x171c
00000acb: JUMP
00000acc: JUMPDEST
00000acd: MLOAD
00000ace: SWAP3
00000acf: SWAP2
00000ad0: POP
00000ad1: POP
00000ad2: JUMP
00000ad3: JUMPDEST
00000ad4: PUSH1 0x0d
00000ad6: DUP1
00000ad7: SLOAD
00000ad8: PUSH2 0x0ae0
00000adb: SWAP1
00000adc: PUSH2 0x211f
00000adf: JUMP
00000ae0: JUMPDEST
00000ae1: DUP1
00000ae2: PUSH1 0x1f
00000ae4: ADD
00000ae5: PUSH1 0x20
00000ae7: DUP1
00000ae8: SWAP2
00000ae9: DIV
00000aea: MUL
00000aeb: PUSH1 0x20
00000aed: ADD
00000aee: PUSH1 0x40
00000af0: MLOAD
00000af1: SWAP1
00000af2: DUP2
00000af3: ADD
00000af4: PUSH1 0x40
00000af6: MSTORE
00000af7: DUP1
00000af8: SWAP3
00000af9: SWAP2
00000afa: SWAP1
00000afb: DUP2
00000afc: DUP2
00000afd: MSTORE
00000afe: PUSH1 0x20
00000b00: ADD
00000b01: DUP3
00000b02: DUP1
00000b03: SLOAD
00000b04: PUSH2 0x0b0c
00000b07: SWAP1
00000b08: PUSH2 0x211f
00000b0b: JUMP
00000b0c: JUMPDEST
00000b0d: DUP1
00000b0e: ISZERO
00000b0f: PUSH2 0x0b59
00000b12: JUMPI
00000b13: DUP1
00000b14: PUSH1 0x1f
00000b16: LT
00000b17: PUSH2 0x0b2e
00000b1a: JUMPI
00000b1b: PUSH2 0x0100
00000b1e: DUP1
00000b1f: DUP4
00000b20: SLOAD
00000b21: DIV
00000b22: MUL
00000b23: DUP4
00000b24: MSTORE
00000b25: SWAP2
00000b26: PUSH1 0x20
00000b28: ADD
00000b29: SWAP2
00000b2a: PUSH2 0x0b59
00000b2d: JUMP
00000b2e: JUMPDEST
00000b2f: DUP3
00000b30: ADD
00000b31: SWAP2
00000b32: SWAP1
00000b33: PUSH1 0x00
00000b35: MSTORE
00000b36: PUSH1 0x20
00000b38: PUSH1 0x00
00000b3a: KECCAK256
00000b3b: SWAP1
00000b3c: JUMPDEST
00000b3d: DUP2
00000b3e: SLOAD
00000b3f: DUP2
00000b40: MSTORE
00000b41: SWAP1
00000b42: PUSH1 0x01
00000b44: ADD
00000b45: SWAP1
00000b46: PUSH1 0x20
00000b48: ADD
00000b49: DUP1
00000b4a: DUP4
00000b4b: GT
00000b4c: PUSH2 0x0b3c
00000b4f: JUMPI
00000b50: DUP3
00000b51: SWAP1
00000b52: SUB
00000b53: PUSH1 0x1f
00000b55: AND
00000b56: DUP3
00000b57: ADD
00000b58: SWAP2
00000b59: JUMPDEST
00000b5a: POP
00000b5b: POP
00000b5c: POP
00000b5d: POP
00000b5e: POP
00000b5f: DUP2
00000b60: JUMP
00000b61: JUMPDEST
00000b62: PUSH1 0x07
00000b64: SLOAD
00000b65: PUSH1 0x01
00000b67: PUSH1 0x01
00000b69: PUSH1 0xa0
00000b6b: SHL
00000b6c: SUB
00000b6d: AND
00000b6e: CALLER
00000b6f: EQ
00000b70: PUSH2 0x0b8b
00000b73: JUMPI
00000b74: PUSH1 0x40
00000b76: MLOAD
00000b77: PUSH3 0x461bcd
00000b7b: PUSH1 0xe5
00000b7d: SHL
00000b7e: DUP2
00000b7f: MSTORE
00000b80: PUSH1 0x04
00000b82: ADD
00000b83: PUSH2 0x092e
00000b86: SWAP1
00000b87: PUSH2 0x205c
00000b8a: JUMP
00000b8b: JUMPDEST
00000b8c: PUSH1 0x0b
00000b8e: DUP1
00000b8f: SLOAD
00000b90: PUSH1 0xff
00000b92: NOT
00000b93: DUP2
00000b94: AND
00000b95: PUSH1 0xff
00000b97: SWAP1
00000b98: SWAP2
00000b99: AND
00000b9a: ISZERO
00000b9b: OR
00000b9c: SWAP1
00000b9d: SSTORE
00000b9e: JUMP
00000b9f: JUMPDEST
00000ba0: PUSH1 0x00
00000ba2: PUSH1 0x01
00000ba4: PUSH1 0x01
00000ba6: PUSH1 0xa0
00000ba8: SHL
00000ba9: SUB
00000baa: DUP3
00000bab: AND
00000bac: PUSH2 0x0bc8
00000baf: JUMPI
00000bb0: PUSH1 0x40
00000bb2: MLOAD
00000bb3: PUSH4 0x23d3ad81
00000bb8: PUSH1 0xe2
00000bba: SHL
00000bbb: DUP2
00000bbc: MSTORE
00000bbd: PUSH1 0x04
00000bbf: ADD
00000bc0: PUSH1 0x40
00000bc2: MLOAD
00000bc3: DUP1
00000bc4: SWAP2
00000bc5: SUB
00000bc6: SWAP1
00000bc7: REVERT
00000bc8: JUMPDEST
00000bc9: POP
00000bca: PUSH1 0x01
00000bcc: PUSH1 0x01
00000bce: PUSH1 0xa0
00000bd0: SHL
00000bd1: SUB
00000bd2: AND
00000bd3: PUSH1 0x00
00000bd5: SWAP1
00000bd6: DUP2
00000bd7: MSTORE
00000bd8: PUSH1 0x04
00000bda: PUSH1 0x20
00000bdc: MSTORE
00000bdd: PUSH1 0x40
00000bdf: SWAP1
00000be0: KECCAK256
00000be1: SLOAD
00000be2: PUSH8 0xffffffffffffffff
00000beb: AND
00000bec: SWAP1
00000bed: JUMP
00000bee: JUMPDEST
00000bef: PUSH1 0x07
00000bf1: SLOAD
00000bf2: PUSH1 0x01
00000bf4: PUSH1 0x01
00000bf6: PUSH1 0xa0
00000bf8: SHL
00000bf9: SUB
00000bfa: AND
00000bfb: CALLER
00000bfc: EQ
00000bfd: PUSH2 0x0c18
00000c00: JUMPI
00000c01: PUSH1 0x40
00000c03: MLOAD
00000c04: PUSH3 0x461bcd
00000c08: PUSH1 0xe5
00000c0a: SHL
00000c0b: DUP2
00000c0c: MSTORE
00000c0d: PUSH1 0x04
00000c0f: ADD
00000c10: PUSH2 0x092e
00000c13: SWAP1
00000c14: PUSH2 0x205c
00000c17: JUMP
00000c18: JUMPDEST
00000c19: PUSH2 0x0c22
00000c1c: PUSH1 0x00
00000c1e: PUSH2 0x1840
00000c21: JUMP
00000c22: JUMPDEST
00000c23: JUMP
00000c24: JUMPDEST
00000c25: PUSH1 0x60
00000c27: PUSH1 0x02
00000c29: DUP1
00000c2a: SLOAD
00000c2b: PUSH2 0x0688
00000c2e: SWAP1
00000c2f: PUSH2 0x211f
00000c32: JUMP
00000c33: JUMPDEST
00000c34: PUSH1 0x09
00000c36: SLOAD
00000c37: DUP2
00000c38: PUSH2 0x0c3f
00000c3b: PUSH2 0x07dd
00000c3e: JUMP
00000c3f: JUMPDEST
00000c40: PUSH2 0x0c49
00000c43: SWAP2
00000c44: SWAP1
00000c45: PUSH2 0x2091
00000c48: JUMP
00000c49: JUMPDEST
00000c4a: GT
00000c4b: ISZERO
00000c4c: PUSH2 0x0c90
00000c4f: JUMPI
00000c50: PUSH1 0x40
00000c52: MLOAD
00000c53: PUSH3 0x461bcd
00000c57: PUSH1 0xe5
00000c59: SHL
00000c5a: DUP2
00000c5b: MSTORE
00000c5c: PUSH1 0x20
00000c5e: PUSH1 0x04
00000c60: DUP3
00000c61: ADD
00000c62: MSTORE
00000c63: PUSH1 0x16
00000c65: PUSH1 0x24
00000c67: DUP3
00000c68: ADD
00000c69: MSTORE
00000c6a: PUSH22 0x139bdd08195b9bdd59da081d1bdad95b9cc81b19599d
00000c81: PUSH1 0x52
00000c83: SHL
00000c84: PUSH1 0x44
00000c86: DUP3
00000c87: ADD
00000c88: MSTORE
00000c89: PUSH1 0x64
00000c8b: ADD
00000c8c: PUSH2 0x092e
00000c8f: JUMP
00000c90: JUMPDEST
00000c91: PUSH1 0x08
00000c93: SLOAD
00000c94: DUP2
00000c95: GT
00000c96: ISZERO
00000c97: PUSH2 0x0cf9
00000c9a: JUMPI
00000c9b: PUSH1 0x40
00000c9d: MLOAD
00000c9e: PUSH3 0x461bcd
00000ca2: PUSH1 0xe5
00000ca4: SHL
00000ca5: DUP2
00000ca6: MSTORE
00000ca7: PUSH1 0x20
00000ca9: PUSH1 0x04
00000cab: DUP3
00000cac: ADD
00000cad: MSTORE
00000cae: PUSH1 0x2e
00000cb0: PUSH1 0x24
00000cb2: DUP3
00000cb3: ADD
00000cb4: MSTORE
00000cb5: PUSH32 0x596f752063616e2774206d696e74206d6f7265207468616e20323020696e206f
00000cd6: PUSH1 0x44
00000cd8: DUP3
00000cd9: ADD
00000cda: MSTORE
00000cdb: PUSH14 0x3732903a3930b739b0b1ba34b7b7
00000cea: PUSH1 0x91
00000cec: SHL
00000ced: PUSH1 0x64
00000cef: DUP3
00000cf0: ADD
00000cf1: MSTORE
00000cf2: PUSH1 0x84
00000cf4: ADD
00000cf5: PUSH2 0x092e
00000cf8: JUMP
00000cf9: JUMPDEST
00000cfa: DUP1
00000cfb: PUSH1 0x0a
00000cfd: SLOAD
00000cfe: PUSH2 0x0d07
00000d01: SWAP2
00000d02: SWAP1
00000d03: PUSH2 0x20bd
00000d06: JUMP
00000d07: JUMPDEST
00000d08: CALLVALUE
00000d09: LT
00000d0a: ISZERO
00000d0b: PUSH2 0x0d4e
00000d0e: JUMPI
00000d0f: PUSH1 0x40
00000d11: MLOAD
00000d12: PUSH3 0x461bcd
00000d16: PUSH1 0xe5
00000d18: SHL
00000d19: DUP2
00000d1a: MSTORE
00000d1b: PUSH1 0x20
00000d1d: PUSH1 0x04
00000d1f: DUP3
00000d20: ADD
00000d21: MSTORE
00000d22: PUSH1 0x15
00000d24: PUSH1 0x24
00000d26: DUP3
00000d27: ADD
00000d28: MSTORE
00000d29: PUSH21 0x139bdd08195b9bdd59da08195d1a195c881cd95b9d
00000d3f: PUSH1 0x5a
00000d41: SHL
00000d42: PUSH1 0x44
00000d44: DUP3
00000d45: ADD
00000d46: MSTORE
00000d47: PUSH1 0x64
00000d49: ADD
00000d4a: PUSH2 0x092e
00000d4d: JUMP
00000d4e: JUMPDEST
00000d4f: PUSH1 0x0b
00000d51: SLOAD
00000d52: PUSH2 0x0100
00000d55: SWAP1
00000d56: DIV
00000d57: PUSH1 0xff
00000d59: AND
00000d5a: PUSH2 0x0da5
00000d5d: JUMPI
00000d5e: PUSH1 0x40
00000d60: MLOAD
00000d61: PUSH3 0x461bcd
00000d65: PUSH1 0xe5
00000d67: SHL
00000d68: DUP2
00000d69: MSTORE
00000d6a: PUSH1 0x20
00000d6c: PUSH1 0x04
00000d6e: DUP3
00000d6f: ADD
00000d70: MSTORE
00000d71: PUSH1 0x1d
00000d73: PUSH1 0x24
00000d75: DUP3
00000d76: ADD
00000d77: MSTORE
00000d78: PUSH32 0x5075626c6963206d696e7420706572696f64206e6f7420616374697665000000
00000d99: PUSH1 0x44
00000d9b: DUP3
00000d9c: ADD
00000d9d: MSTORE
00000d9e: PUSH1 0x64
00000da0: ADD
00000da1: PUSH2 0x092e
00000da4: JUMP
00000da5: JUMPDEST
00000da6: PUSH2 0x09b7
00000da9: CALLER
00000daa: DUP3
00000dab: PUSH2 0x1892
00000dae: JUMP
00000daf: JUMPDEST
00000db0: PUSH1 0x01
00000db2: PUSH1 0x01
00000db4: PUSH1 0xa0
00000db6: SHL
00000db7: SUB
00000db8: DUP3
00000db9: AND
00000dba: CALLER
00000dbb: EQ
00000dbc: ISZERO
00000dbd: PUSH2 0x0dd9
00000dc0: JUMPI
00000dc1: PUSH1 0x40
00000dc3: MLOAD
00000dc4: PUSH4 0xb06307db
00000dc9: PUSH1 0xe0
00000dcb: SHL
00000dcc: DUP2
00000dcd: MSTORE
00000dce: PUSH1 0x04
00000dd0: ADD
00000dd1: PUSH1 0x40
00000dd3: MLOAD
00000dd4: DUP1
00000dd5: SWAP2
00000dd6: SUB
00000dd7: SWAP1
00000dd8: REVERT
00000dd9: JUMPDEST
00000dda: CALLER
00000ddb: PUSH1 0x00
00000ddd: DUP2
00000dde: DUP2
00000ddf: MSTORE
00000de0: PUSH1 0x06
00000de2: PUSH1 0x20
00000de4: SWAP1
00000de5: DUP2
00000de6: MSTORE
00000de7: PUSH1 0x40
00000de9: DUP1
00000dea: DUP4
00000deb: KECCAK256
00000dec: PUSH1 0x01
00000dee: PUSH1 0x01
00000df0: PUSH1 0xa0
00000df2: SHL
00000df3: SUB
00000df4: DUP8
00000df5: AND
00000df6: DUP1
00000df7: DUP6
00000df8: MSTORE
00000df9: SWAP1
00000dfa: DUP4
00000dfb: MSTORE
00000dfc: SWAP3
00000dfd: DUP2
00000dfe: SWAP1
00000dff: KECCAK256
00000e00: DUP1
00000e01: SLOAD
00000e02: PUSH1 0xff
00000e04: NOT
00000e05: AND
00000e06: DUP7
00000e07: ISZERO
00000e08: ISZERO
00000e09: SWAP1
00000e0a: DUP2
00000e0b: OR
00000e0c: SWAP1
00000e0d: SWAP2
00000e0e: SSTORE
00000e0f: SWAP1
00000e10: MLOAD
00000e11: SWAP1
00000e12: DUP2
00000e13: MSTORE
00000e14: SWAP2
00000e15: SWAP3
00000e16: SWAP2
00000e17: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00000e38: SWAP2
00000e39: ADD
00000e3a: PUSH1 0x40
00000e3c: MLOAD
00000e3d: DUP1
00000e3e: SWAP2
00000e3f: SUB
00000e40: SWAP1
00000e41: LOG3
00000e42: POP
00000e43: POP
00000e44: JUMP
00000e45: JUMPDEST
00000e46: PUSH1 0x0b
00000e48: SLOAD
00000e49: PUSH1 0xff
00000e4b: AND
00000e4c: PUSH2 0x0e97
00000e4f: JUMPI
00000e50: PUSH1 0x40
00000e52: MLOAD
00000e53: PUSH3 0x461bcd
00000e57: PUSH1 0xe5
00000e59: SHL
00000e5a: DUP2
00000e5b: MSTORE
00000e5c: PUSH1 0x20
00000e5e: PUSH1 0x04
00000e60: DUP3
00000e61: ADD
00000e62: MSTORE
00000e63: PUSH1 0x19
00000e65: PUSH1 0x24
00000e67: DUP3
00000e68: ADD
00000e69: MSTORE
00000e6a: PUSH32 0x436c61696d20686173206e6f7420737461727465642079657400000000000000
00000e8b: PUSH1 0x44
00000e8d: DUP3
00000e8e: ADD
00000e8f: MSTORE
00000e90: PUSH1 0x64
00000e92: ADD
00000e93: PUSH2 0x092e
00000e96: JUMP
00000e97: JUMPDEST
00000e98: PUSH1 0x08
00000e9a: SLOAD
00000e9b: DUP2
00000e9c: GT
00000e9d: ISZERO
00000e9e: PUSH2 0x0f01
00000ea1: JUMPI
00000ea2: PUSH1 0x40
00000ea4: MLOAD
00000ea5: PUSH3 0x461bcd
00000ea9: PUSH1 0xe5
00000eab: SHL
00000eac: DUP2
00000ead: MSTORE
00000eae: PUSH1 0x20
00000eb0: PUSH1 0x04
00000eb2: DUP3
00000eb3: ADD
00000eb4: MSTORE
00000eb5: PUSH1 0x2f
00000eb7: PUSH1 0x24
00000eb9: DUP3
00000eba: ADD
00000ebb: MSTORE
00000ebc: PUSH32 0x596f752063616e277420636c61696d206d6f7265207468616e20323020696e20
00000edd: PUSH1 0x44
00000edf: DUP3
00000ee0: ADD
00000ee1: MSTORE
00000ee2: PUSH15 0x37b732903a3930b739b0b1ba34b7b7
00000ef2: PUSH1 0x89
00000ef4: SHL
00000ef5: PUSH1 0x64
00000ef7: DUP3
00000ef8: ADD
00000ef9: MSTORE
00000efa: PUSH1 0x84
00000efc: ADD
00000efd: PUSH2 0x092e
00000f00: JUMP
00000f01: JUMPDEST
00000f02: PUSH1 0x00
00000f04: DUP2
00000f05: GT
00000f06: PUSH2 0x0f51
00000f09: JUMPI
00000f0a: PUSH1 0x40
00000f0c: MLOAD
00000f0d: PUSH3 0x461bcd
00000f11: PUSH1 0xe5
00000f13: SHL
00000f14: DUP2
00000f15: MSTORE
00000f16: PUSH1 0x20
00000f18: PUSH1 0x04
00000f1a: DUP3
00000f1b: ADD
00000f1c: MSTORE
00000f1d: PUSH1 0x1b
00000f1f: PUSH1 0x24
00000f21: DUP3
00000f22: ADD
00000f23: MSTORE
00000f24: PUSH32 0x596f752063616e277420636c61696d203020737175697272656c7a0000000000
00000f45: PUSH1 0x44
00000f47: DUP3
00000f48: ADD
00000f49: MSTORE
00000f4a: PUSH1 0x64
00000f4c: ADD
00000f4d: PUSH2 0x092e
00000f50: JUMP
00000f51: JUMPDEST
00000f52: PUSH2 0x0f5a
00000f55: CALLER
00000f56: PUSH2 0x1233
00000f59: JUMP
00000f5a: JUMPDEST
00000f5b: ISZERO
00000f5c: ISZERO
00000f5d: PUSH1 0x01
00000f5f: EQ
00000f60: PUSH2 0x0fc4
00000f63: JUMPI
00000f64: PUSH1 0x40
00000f66: MLOAD
00000f67: PUSH3 0x461bcd
00000f6b: PUSH1 0xe5
00000f6d: SHL
00000f6e: DUP2
00000f6f: MSTORE
00000f70: PUSH1 0x20
00000f72: PUSH1 0x04
00000f74: DUP3
00000f75: ADD
00000f76: MSTORE
00000f77: PUSH1 0x30
00000f79: PUSH1 0x24
00000f7b: DUP3
00000f7c: ADD
00000f7d: MSTORE
00000f7e: PUSH32 0x596f7520646f6e2774206f776e20616e79206f776c7a20656c696769626c6520
00000f9f: PUSH1 0x44
00000fa1: DUP3
00000fa2: ADD
00000fa3: MSTORE
00000fa4: PUSH16 0x666f722061206672656520636c61696d
00000fb5: PUSH1 0x80
00000fb7: SHL
00000fb8: PUSH1 0x64
00000fba: DUP3
00000fbb: ADD
00000fbc: MSTORE
00000fbd: PUSH1 0x84
00000fbf: ADD
00000fc0: PUSH2 0x092e
00000fc3: JUMP
00000fc4: JUMPDEST
00000fc5: PUSH1 0x40
00000fc7: MLOAD
00000fc8: PUSH4 0x70a08231
00000fcd: PUSH1 0xe0
00000fcf: SHL
00000fd0: DUP2
00000fd1: MSTORE
00000fd2: CALLER
00000fd3: PUSH1 0x04
00000fd5: DUP3
00000fd6: ADD
00000fd7: MSTORE
00000fd8: PUSH1 0x00
00000fda: SWAP1
00000fdb: DUP2
00000fdc: SWAP1
00000fdd: PUSH20 0x2a281305a50627a22ec3e7d82ae656adfee6d964
00000ff2: SWAP1
00000ff3: PUSH4 0x70a08231
00000ff8: SWAP1
00000ff9: PUSH1 0x24
00000ffb: ADD
00000ffc: PUSH1 0x20
00000ffe: PUSH1 0x40
00001000: MLOAD
00001001: DUP1
00001002: DUP4
00001003: SUB
00001004: DUP2
00001005: DUP7
00001006: DUP1
00001007: EXTCODESIZE
00001008: ISZERO
00001009: DUP1
0000100a: ISZERO
0000100b: PUSH2 0x1013
0000100e: JUMPI
0000100f: PUSH1 0x00
00001011: DUP1
00001012: REVERT
00001013: JUMPDEST
00001014: POP
00001015: GAS
00001016: STATICCALL
00001017: ISZERO
00001018: DUP1
00001019: ISZERO
0000101a: PUSH2 0x1027
0000101d: JUMPI
0000101e: RETURNDATASIZE
0000101f: PUSH1 0x00
00001021: DUP1
00001022: RETURNDATACOPY
00001023: RETURNDATASIZE
00001024: PUSH1 0x00
00001026: REVERT
00001027: JUMPDEST
00001028: POP
00001029: POP
0000102a: POP
0000102b: POP
0000102c: PUSH1 0x40
0000102e: MLOAD
0000102f: RETURNDATASIZE
00001030: PUSH1 0x1f
00001032: NOT
00001033: PUSH1 0x1f
00001035: DUP3
00001036: ADD
00001037: AND
00001038: DUP3
00001039: ADD
0000103a: DUP1
0000103b: PUSH1 0x40
0000103d: MSTORE
0000103e: POP
0000103f: DUP2
00001040: ADD
00001041: SWAP1
00001042: PUSH2 0x104b
00001045: SWAP2
00001046: SWAP1
00001047: PUSH2 0x1f99
0000104a: JUMP
0000104b: JUMPDEST
0000104c: SWAP1
0000104d: POP
0000104e: PUSH1 0x00
00001050: JUMPDEST
00001051: DUP2
00001052: DUP2
00001053: LT
00001054: ISZERO
00001055: PUSH2 0x1174
00001058: JUMPI
00001059: PUSH1 0x40
0000105b: MLOAD
0000105c: PUSH4 0x2f745c59
00001061: PUSH1 0xe0
00001063: SHL
00001064: DUP2
00001065: MSTORE
00001066: CALLER
00001067: PUSH1 0x04
00001069: DUP3
0000106a: ADD
0000106b: MSTORE
0000106c: PUSH1 0x24
0000106e: DUP2
0000106f: ADD
00001070: DUP3
00001071: SWAP1
00001072: MSTORE
00001073: PUSH1 0x00
00001075: SWAP1
00001076: PUSH20 0x2a281305a50627a22ec3e7d82ae656adfee6d964
0000108b: SWAP1
0000108c: PUSH4 0x2f745c59
00001091: SWAP1
00001092: PUSH1 0x44
00001094: ADD
00001095: PUSH1 0x20
00001097: PUSH1 0x40
00001099: MLOAD
0000109a: DUP1
0000109b: DUP4
0000109c: SUB
0000109d: DUP2
0000109e: DUP7
0000109f: DUP1
000010a0: EXTCODESIZE
000010a1: ISZERO
000010a2: DUP1
000010a3: ISZERO
000010a4: PUSH2 0x10ac
000010a7: JUMPI
000010a8: PUSH1 0x00
000010aa: DUP1
000010ab: REVERT
000010ac: JUMPDEST
000010ad: POP
000010ae: GAS
000010af: STATICCALL
000010b0: ISZERO
000010b1: DUP1
000010b2: ISZERO
000010b3: PUSH2 0x10c0
000010b6: JUMPI
000010b7: RETURNDATASIZE
000010b8: PUSH1 0x00
000010ba: DUP1
000010bb: RETURNDATACOPY
000010bc: RETURNDATASIZE
000010bd: PUSH1 0x00
000010bf: REVERT
000010c0: JUMPDEST
000010c1: POP
000010c2: POP
000010c3: POP
000010c4: POP
000010c5: PUSH1 0x40
000010c7: MLOAD
000010c8: RETURNDATASIZE
000010c9: PUSH1 0x1f
000010cb: NOT
000010cc: PUSH1 0x1f
000010ce: DUP3
000010cf: ADD
000010d0: AND
000010d1: DUP3
000010d2: ADD
000010d3: DUP1
000010d4: PUSH1 0x40
000010d6: MSTORE
000010d7: POP
000010d8: DUP2
000010d9: ADD
000010da: SWAP1
000010db: PUSH2 0x10e4
000010de: SWAP2
000010df: SWAP1
000010e0: PUSH2 0x1f99
000010e3: JUMP
000010e4: JUMPDEST
000010e5: PUSH1 0x00
000010e7: DUP2
000010e8: DUP2
000010e9: MSTORE
000010ea: PUSH1 0x0c
000010ec: PUSH1 0x20
000010ee: MSTORE
000010ef: PUSH1 0x40
000010f1: SWAP1
000010f2: KECCAK256
000010f3: SLOAD
000010f4: SWAP1
000010f5: SWAP2
000010f6: POP
000010f7: PUSH1 0xff
000010f9: AND
000010fa: ISZERO
000010fb: ISZERO
000010fc: PUSH1 0x01
000010fe: EQ
000010ff: DUP1
00001100: ISZERO
00001101: SWAP1
00001102: PUSH2 0x1113
00001105: JUMPI
00001106: POP
00001107: PUSH1 0x09
00001109: SLOAD
0000110a: PUSH2 0x1111
0000110d: PUSH2 0x07dd
00001110: JUMP
00001111: JUMPDEST
00001112: LT
00001113: JUMPDEST
00001114: ISZERO
00001115: PUSH2 0x113f
00001118: JUMPI
00001119: PUSH1 0x00
0000111b: DUP2
0000111c: DUP2
0000111d: MSTORE
0000111e: PUSH1 0x0c
00001120: PUSH1 0x20
00001122: MSTORE
00001123: PUSH1 0x40
00001125: SWAP1
00001126: KECCAK256
00001127: DUP1
00001128: SLOAD
00001129: PUSH1 0xff
0000112b: NOT
0000112c: AND
0000112d: PUSH1 0x01
0000112f: OR
00001130: SWAP1
00001131: SSTORE
00001132: DUP4
00001133: PUSH2 0x113b
00001136: DUP2
00001137: PUSH2 0x215a
0000113a: JUMP
0000113b: JUMPDEST
0000113c: SWAP5
0000113d: POP
0000113e: POP
0000113f: JUMPDEST
00001140: DUP5
00001141: DUP5
00001142: EQ
00001143: DUP1
00001144: PUSH2 0x114c
00001147: JUMPI
00001148: POP
00001149: DUP3
0000114a: DUP5
0000114b: EQ
0000114c: JUMPDEST
0000114d: ISZERO
0000114e: PUSH2 0x1161
00001151: JUMPI
00001152: PUSH2 0x115b
00001155: CALLER
00001156: DUP6
00001157: PUSH2 0x1892
0000115a: JUMP
0000115b: JUMPDEST
0000115c: POP
0000115d: PUSH2 0x1174
00001160: JUMP
00001161: JUMPDEST
00001162: POP
00001163: DUP1
00001164: PUSH2 0x116c
00001167: DUP2
00001168: PUSH2 0x215a
0000116b: JUMP
0000116c: JUMPDEST
0000116d: SWAP2
0000116e: POP
0000116f: POP
00001170: PUSH2 0x1050
00001173: JUMP
00001174: JUMPDEST
00001175: POP
00001176: POP
00001177: POP
00001178: POP
00001179: JUMP
0000117a: JUMPDEST
0000117b: PUSH2 0x1185
0000117e: DUP5
0000117f: DUP5
00001180: DUP5
00001181: PUSH2 0x14fd
00001184: JUMP
00001185: JUMPDEST
00001186: PUSH2 0x1191
00001189: DUP5
0000118a: DUP5
0000118b: DUP5
0000118c: DUP5
0000118d: PUSH2 0x18ac
00001190: JUMP
00001191: JUMPDEST
00001192: PUSH2 0x1174
00001195: JUMPI
00001196: PUSH1 0x40
00001198: MLOAD
00001199: PUSH4 0x68d2bf6b
0000119e: PUSH1 0xe1
000011a0: SHL
000011a1: DUP2
000011a2: MSTORE
000011a3: PUSH1 0x04
000011a5: ADD
000011a6: PUSH1 0x40
000011a8: MLOAD
000011a9: DUP1
000011aa: SWAP2
000011ab: SUB
000011ac: SWAP1
000011ad: REVERT
000011ae: JUMPDEST
000011af: PUSH1 0x60
000011b1: PUSH2 0x11b9
000011b4: DUP3
000011b5: PUSH2 0x146d
000011b8: JUMP
000011b9: JUMPDEST
000011ba: PUSH2 0x11d6
000011bd: JUMPI
000011be: PUSH1 0x40
000011c0: MLOAD
000011c1: PUSH4 0x0a14c4b5
000011c6: PUSH1 0xe4
000011c8: SHL
000011c9: DUP2
000011ca: MSTORE
000011cb: PUSH1 0x04
000011cd: ADD
000011ce: PUSH1 0x40
000011d0: MLOAD
000011d1: DUP1
000011d2: SWAP2
000011d3: SUB
000011d4: SWAP1
000011d5: REVERT
000011d6: JUMPDEST
000011d7: PUSH1 0x00
000011d9: PUSH2 0x11e0
000011dc: PUSH2 0x19bb
000011df: JUMP
000011e0: JUMPDEST
000011e1: SWAP1
000011e2: POP
000011e3: DUP1
000011e4: MLOAD
000011e5: PUSH1 0x00
000011e7: EQ
000011e8: ISZERO
000011e9: PUSH2 0x1201
000011ec: JUMPI
000011ed: PUSH1 0x40
000011ef: MLOAD
000011f0: DUP1
000011f1: PUSH1 0x20
000011f3: ADD
000011f4: PUSH1 0x40
000011f6: MSTORE
000011f7: DUP1
000011f8: PUSH1 0x00
000011fa: DUP2
000011fb: MSTORE
000011fc: POP
000011fd: PUSH2 0x122c
00001200: JUMP
00001201: JUMPDEST
00001202: DUP1
00001203: PUSH2 0x120b
00001206: DUP5
00001207: PUSH2 0x19ca
0000120a: JUMP
0000120b: JUMPDEST
0000120c: PUSH1 0x40
0000120e: MLOAD
0000120f: PUSH1 0x20
00001211: ADD
00001212: PUSH2 0x121c
00001215: SWAP3
00001216: SWAP2
00001217: SWAP1
00001218: PUSH2 0x1fdd
0000121b: JUMP
0000121c: JUMPDEST
0000121d: PUSH1 0x40
0000121f: MLOAD
00001220: PUSH1 0x20
00001222: DUP2
00001223: DUP4
00001224: SUB
00001225: SUB
00001226: DUP2
00001227: MSTORE
00001228: SWAP1
00001229: PUSH1 0x40
0000122b: MSTORE
0000122c: JUMPDEST
0000122d: SWAP4
0000122e: SWAP3
0000122f: POP
00001230: POP
00001231: POP
00001232: JUMP
00001233: JUMPDEST
00001234: PUSH1 0x40
00001236: MLOAD
00001237: PUSH4 0x70a08231
0000123c: PUSH1 0xe0
0000123e: SHL
0000123f: DUP2
00001240: MSTORE
00001241: PUSH1 0x01
00001243: PUSH1 0x01
00001245: PUSH1 0xa0
00001247: SHL
00001248: SUB
00001249: DUP3
0000124a: AND
0000124b: PUSH1 0x04
0000124d: DUP3
0000124e: ADD
0000124f: MSTORE
00001250: PUSH1 0x00
00001252: SWAP1
00001253: DUP2
00001254: SWAP1
00001255: PUSH20 0x2a281305a50627a22ec3e7d82ae656adfee6d964
0000126a: SWAP1
0000126b: PUSH4 0x70a08231
00001270: SWAP1
00001271: PUSH1 0x24
00001273: ADD
00001274: PUSH1 0x20
00001276: PUSH1 0x40
00001278: MLOAD
00001279: DUP1
0000127a: DUP4
0000127b: SUB
0000127c: DUP2
0000127d: DUP7
0000127e: DUP1
0000127f: EXTCODESIZE
00001280: ISZERO
00001281: DUP1
00001282: ISZERO
00001283: PUSH2 0x128b
00001286: JUMPI
00001287: PUSH1 0x00
00001289: DUP1
0000128a: REVERT
0000128b: JUMPDEST
0000128c: POP
0000128d: GAS
0000128e: STATICCALL
0000128f: ISZERO
00001290: DUP1
00001291: ISZERO
00001292: PUSH2 0x129f
00001295: JUMPI
00001296: RETURNDATASIZE
00001297: PUSH1 0x00
00001299: DUP1
0000129a: RETURNDATACOPY
0000129b: RETURNDATASIZE
0000129c: PUSH1 0x00
0000129e: REVERT
0000129f: JUMPDEST
000012a0: POP
000012a1: POP
000012a2: POP
000012a3: POP
000012a4: PUSH1 0x40
000012a6: MLOAD
000012a7: RETURNDATASIZE
000012a8: PUSH1 0x1f
000012aa: NOT
000012ab: PUSH1 0x1f
000012ad: DUP3
000012ae: ADD
000012af: AND
000012b0: DUP3
000012b1: ADD
000012b2: DUP1
000012b3: PUSH1 0x40
000012b5: MSTORE
000012b6: POP
000012b7: DUP2
000012b8: ADD
000012b9: SWAP1
000012ba: PUSH2 0x12c3
000012bd: SWAP2
000012be: SWAP1
000012bf: PUSH2 0x1f99
000012c2: JUMP
000012c3: JUMPDEST
000012c4: SWAP1
000012c5: POP
000012c6: PUSH1 0x00
000012c8: JUMPDEST
000012c9: DUP2
000012ca: DUP2
000012cb: LT
000012cc: ISZERO
000012cd: PUSH2 0x139c
000012d0: JUMPI
000012d1: PUSH1 0x40
000012d3: MLOAD
000012d4: PUSH4 0x2f745c59
000012d9: PUSH1 0xe0
000012db: SHL
000012dc: DUP2
000012dd: MSTORE
000012de: PUSH1 0x01
000012e0: PUSH1 0x01
000012e2: PUSH1 0xa0
000012e4: SHL
000012e5: SUB
000012e6: DUP6
000012e7: AND
000012e8: PUSH1 0x04
000012ea: DUP3
000012eb: ADD
000012ec: MSTORE
000012ed: PUSH1 0x24
000012ef: DUP2
000012f0: ADD
000012f1: DUP3
000012f2: SWAP1
000012f3: MSTORE
000012f4: PUSH1 0x00
000012f6: SWAP1
000012f7: PUSH20 0x2a281305a50627a22ec3e7d82ae656adfee6d964
0000130c: SWAP1
0000130d: PUSH4 0x2f745c59
00001312: SWAP1
00001313: PUSH1 0x44
00001315: ADD
00001316: PUSH1 0x20
00001318: PUSH1 0x40
0000131a: MLOAD
0000131b: DUP1
0000131c: DUP4
0000131d: SUB
0000131e: DUP2
0000131f: DUP7
00001320: DUP1
00001321: EXTCODESIZE
00001322: ISZERO
00001323: DUP1
00001324: ISZERO
00001325: PUSH2 0x132d
00001328: JUMPI
00001329: PUSH1 0x00
0000132b: DUP1
0000132c: REVERT
0000132d: JUMPDEST
0000132e: POP
0000132f: GAS
00001330: STATICCALL
00001331: ISZERO
00001332: DUP1
00001333: ISZERO
00001334: PUSH2 0x1341
00001337: JUMPI
00001338: RETURNDATASIZE
00001339: PUSH1 0x00
0000133b: DUP1
0000133c: RETURNDATACOPY
0000133d: RETURNDATASIZE
0000133e: PUSH1 0x00
00001340: REVERT
00001341: JUMPDEST
00001342: POP
00001343: POP
00001344: POP
00001345: POP
00001346: PUSH1 0x40
00001348: MLOAD
00001349: RETURNDATASIZE
0000134a: PUSH1 0x1f
0000134c: NOT
0000134d: PUSH1 0x1f
0000134f: DUP3
00001350: ADD
00001351: AND
00001352: DUP3
00001353: ADD
00001354: DUP1
00001355: PUSH1 0x40
00001357: MSTORE
00001358: POP
00001359: DUP2
0000135a: ADD
0000135b: SWAP1
0000135c: PUSH2 0x1365
0000135f: SWAP2
00001360: SWAP1
00001361: PUSH2 0x1f99
00001364: JUMP
00001365: JUMPDEST
00001366: PUSH1 0x00
00001368: DUP2
00001369: DUP2
0000136a: MSTORE
0000136b: PUSH1 0x0c
0000136d: PUSH1 0x20
0000136f: MSTORE
00001370: PUSH1 0x40
00001372: SWAP1
00001373: KECCAK256
00001374: SLOAD
00001375: SWAP1
00001376: SWAP2
00001377: POP
00001378: PUSH1 0xff
0000137a: AND
0000137b: PUSH2 0x1389
0000137e: JUMPI
0000137f: POP
00001380: PUSH1 0x01
00001382: SWAP5
00001383: SWAP4
00001384: POP
00001385: POP
00001386: POP
00001387: POP
00001388: JUMP
00001389: JUMPDEST
0000138a: POP
0000138b: DUP1
0000138c: PUSH2 0x1394
0000138f: DUP2
00001390: PUSH2 0x215a
00001393: JUMP
00001394: JUMPDEST
00001395: SWAP2
00001396: POP
00001397: POP
00001398: PUSH2 0x12c8
0000139b: JUMP
0000139c: JUMPDEST
0000139d: POP
0000139e: PUSH1 0x00
000013a0: SWAP4
000013a1: SWAP3
000013a2: POP
000013a3: POP
000013a4: POP
000013a5: JUMP
000013a6: JUMPDEST
000013a7: PUSH1 0x07
000013a9: SLOAD
000013aa: PUSH1 0x01
000013ac: PUSH1 0x01
000013ae: PUSH1 0xa0
000013b0: SHL
000013b1: SUB
000013b2: AND
000013b3: CALLER
000013b4: EQ
000013b5: PUSH2 0x13d0
000013b8: JUMPI
000013b9: PUSH1 0x40
000013bb: MLOAD
000013bc: PUSH3 0x461bcd
000013c0: PUSH1 0xe5
000013c2: SHL
000013c3: DUP2
000013c4: MSTORE
000013c5: PUSH1 0x04
000013c7: ADD
000013c8: PUSH2 0x092e
000013cb: SWAP1
000013cc: PUSH2 0x205c
000013cf: JUMP
000013d0: JUMPDEST
000013d1: PUSH1 0x0a
000013d3: SSTORE
000013d4: JUMP
000013d5: JUMPDEST
000013d6: PUSH1 0x07
000013d8: SLOAD
000013d9: PUSH1 0x01
000013db: PUSH1 0x01
000013dd: PUSH1 0xa0
000013df: SHL
000013e0: SUB
000013e1: AND
000013e2: CALLER
000013e3: EQ
000013e4: PUSH2 0x13ff
000013e7: JUMPI
000013e8: PUSH1 0x40
000013ea: MLOAD
000013eb: PUSH3 0x461bcd
000013ef: PUSH1 0xe5
000013f1: SHL
000013f2: DUP2
000013f3: MSTORE
000013f4: PUSH1 0x04
000013f6: ADD
000013f7: PUSH2 0x092e
000013fa: SWAP1
000013fb: PUSH2 0x205c
000013fe: JUMP
000013ff: JUMPDEST
00001400: PUSH1 0x01
00001402: PUSH1 0x01
00001404: PUSH1 0xa0
00001406: SHL
00001407: SUB
00001408: DUP2
00001409: AND
0000140a: PUSH2 0x1464
0000140d: JUMPI
0000140e: PUSH1 0x40
00001410: MLOAD
00001411: PUSH3 0x461bcd
00001415: PUSH1 0xe5
00001417: SHL
00001418: DUP2
00001419: MSTORE
0000141a: PUSH1 0x20
0000141c: PUSH1 0x04
0000141e: DUP3
0000141f: ADD
00001420: MSTORE
00001421: PUSH1 0x26
00001423: PUSH1 0x24
00001425: DUP3
00001426: ADD
00001427: MSTORE
00001428: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001449: PUSH1 0x44
0000144b: DUP3
0000144c: ADD
0000144d: MSTORE
0000144e: PUSH6 0x646472657373
00001455: PUSH1 0xd0
00001457: SHL
00001458: PUSH1 0x64
0000145a: DUP3
0000145b: ADD
0000145c: MSTORE
0000145d: PUSH1 0x84
0000145f: ADD
00001460: PUSH2 0x092e
00001463: JUMP
00001464: JUMPDEST
00001465: PUSH2 0x09b7
00001468: DUP2
00001469: PUSH2 0x1840
0000146c: JUMP
0000146d: JUMPDEST
0000146e: PUSH1 0x00
00001470: DUP1
00001471: SLOAD
00001472: PUSH1 0x01
00001474: PUSH1 0x01
00001476: PUSH1 0x80
00001478: SHL
00001479: SUB
0000147a: AND
0000147b: DUP3
0000147c: LT
0000147d: DUP1
0000147e: ISZERO
0000147f: PUSH2 0x0673
00001482: JUMPI
00001483: POP
00001484: POP
00001485: PUSH1 0x00
00001487: SWAP1
00001488: DUP2
00001489: MSTORE
0000148a: PUSH1 0x03
0000148c: PUSH1 0x20
0000148e: MSTORE
0000148f: PUSH1 0x40
00001491: SWAP1
00001492: KECCAK256
00001493: SLOAD
00001494: PUSH1 0x01
00001496: PUSH1 0xe0
00001498: SHL
00001499: SWAP1
0000149a: DIV
0000149b: PUSH1 0xff
0000149d: AND
0000149e: ISZERO
0000149f: SWAP1
000014a0: JUMP
000014a1: JUMPDEST
000014a2: PUSH1 0x00
000014a4: DUP3
000014a5: DUP2
000014a6: MSTORE
000014a7: PUSH1 0x05
000014a9: PUSH1 0x20
000014ab: MSTORE
000014ac: PUSH1 0x40
000014ae: DUP1
000014af: DUP3
000014b0: KECCAK256
000014b1: DUP1
000014b2: SLOAD
000014b3: PUSH1 0x01
000014b5: PUSH1 0x01
000014b7: PUSH1 0xa0
000014b9: SHL
000014ba: SUB
000014bb: NOT
000014bc: AND
000014bd: PUSH1 0x01
000014bf: PUSH1 0x01
000014c1: PUSH1 0xa0
000014c3: SHL
000014c4: SUB
000014c5: DUP8
000014c6: DUP2
000014c7: AND
000014c8: SWAP2
000014c9: DUP3
000014ca: OR
000014cb: SWAP1
000014cc: SWAP3
000014cd: SSTORE
000014ce: SWAP2
000014cf: MLOAD
000014d0: DUP6
000014d1: SWAP4
000014d2: SWAP2
000014d3: DUP6
000014d4: AND
000014d5: SWAP2
000014d6: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000014f7: SWAP2
000014f8: LOG4
000014f9: POP
000014fa: POP
000014fb: POP
000014fc: JUMP
000014fd: JUMPDEST
000014fe: PUSH1 0x00
00001500: PUSH2 0x1508
00001503: DUP3
00001504: PUSH2 0x171c
00001507: JUMP
00001508: JUMPDEST
00001509: DUP1
0000150a: MLOAD
0000150b: SWAP1
0000150c: SWAP2
0000150d: POP
0000150e: PUSH1 0x00
00001510: SWAP1
00001511: PUSH1 0x01
00001513: PUSH1 0x01
00001515: PUSH1 0xa0
00001517: SHL
00001518: SUB
00001519: AND
0000151a: CALLER
0000151b: PUSH1 0x01
0000151d: PUSH1 0x01
0000151f: PUSH1 0xa0
00001521: SHL
00001522: SUB
00001523: AND
00001524: EQ
00001525: DUP1
00001526: PUSH2 0x1536
00001529: JUMPI
0000152a: POP
0000152b: DUP2
0000152c: MLOAD
0000152d: PUSH2 0x1536
00001530: SWAP1
00001531: CALLER
00001532: PUSH2 0x059f
00001535: JUMP
00001536: JUMPDEST
00001537: DUP1
00001538: PUSH2 0x1551
0000153b: JUMPI
0000153c: POP
0000153d: CALLER
0000153e: PUSH2 0x1546
00001541: DUP5
00001542: PUSH2 0x070b
00001545: JUMP
00001546: JUMPDEST
00001547: PUSH1 0x01
00001549: PUSH1 0x01
0000154b: PUSH1 0xa0
0000154d: SHL
0000154e: SUB
0000154f: AND
00001550: EQ
00001551: JUMPDEST
00001552: SWAP1
00001553: POP
00001554: DUP1
00001555: PUSH2 0x1571
00001558: JUMPI
00001559: PUSH1 0x40
0000155b: MLOAD
0000155c: PUSH4 0x2ce44b5f
00001561: PUSH1 0xe1
00001563: SHL
00001564: DUP2
00001565: MSTORE
00001566: PUSH1 0x04
00001568: ADD
00001569: PUSH1 0x40
0000156b: MLOAD
0000156c: DUP1
0000156d: SWAP2
0000156e: SUB
0000156f: SWAP1
00001570: REVERT
00001571: JUMPDEST
00001572: DUP5
00001573: PUSH1 0x01
00001575: PUSH1 0x01
00001577: PUSH1 0xa0
00001579: SHL
0000157a: SUB
0000157b: AND
0000157c: DUP3
0000157d: PUSH1 0x00
0000157f: ADD
00001580: MLOAD
00001581: PUSH1 0x01
00001583: PUSH1 0x01
00001585: PUSH1 0xa0
00001587: SHL
00001588: SUB
00001589: AND
0000158a: EQ
0000158b: PUSH2 0x15a6
0000158e: JUMPI
0000158f: PUSH1 0x40
00001591: MLOAD
00001592: PUSH3 0xa11481
00001596: PUSH1 0xe8
00001598: SHL
00001599: DUP2
0000159a: MSTORE
0000159b: PUSH1 0x04
0000159d: ADD
0000159e: PUSH1 0x40
000015a0: MLOAD
000015a1: DUP1
000015a2: SWAP2
000015a3: SUB
000015a4: SWAP1
000015a5: REVERT
000015a6: JUMPDEST
000015a7: PUSH1 0x01
000015a9: PUSH1 0x01
000015ab: PUSH1 0xa0
000015ad: SHL
000015ae: SUB
000015af: DUP5
000015b0: AND
000015b1: PUSH2 0x15cd
000015b4: JUMPI
000015b5: PUSH1 0x40
000015b7: MLOAD
000015b8: PUSH4 0x3a954ecd
000015bd: PUSH1 0xe2
000015bf: SHL
000015c0: DUP2
000015c1: MSTORE
000015c2: PUSH1 0x04
000015c4: ADD
000015c5: PUSH1 0x40
000015c7: MLOAD
000015c8: DUP1
000015c9: SWAP2
000015ca: SUB
000015cb: SWAP1
000015cc: REVERT
000015cd: JUMPDEST
000015ce: PUSH2 0x15dd
000015d1: PUSH1 0x00
000015d3: DUP5
000015d4: DUP5
000015d5: PUSH1 0x00
000015d7: ADD
000015d8: MLOAD
000015d9: PUSH2 0x14a1
000015dc: JUMP
000015dd: JUMPDEST
000015de: PUSH1 0x01
000015e0: PUSH1 0x01
000015e2: PUSH1 0xa0
000015e4: SHL
000015e5: SUB
000015e6: DUP6
000015e7: DUP2
000015e8: AND
000015e9: PUSH1 0x00
000015eb: SWAP1
000015ec: DUP2
000015ed: MSTORE
000015ee: PUSH1 0x04
000015f0: PUSH1 0x20
000015f2: SWAP1
000015f3: DUP2
000015f4: MSTORE
000015f5: PUSH1 0x40
000015f7: DUP1
000015f8: DUP4
000015f9: KECCAK256
000015fa: DUP1
000015fb: SLOAD
000015fc: PUSH8 0xffffffffffffffff
00001605: NOT
00001606: DUP1
00001607: DUP3
00001608: AND
00001609: PUSH8 0xffffffffffffffff
00001612: SWAP3
00001613: DUP4
00001614: AND
00001615: PUSH1 0x00
00001617: NOT
00001618: ADD
00001619: DUP4
0000161a: AND
0000161b: OR
0000161c: SWAP1
0000161d: SWAP3
0000161e: SSTORE
0000161f: DUP10
00001620: DUP7
00001621: AND
00001622: DUP1
00001623: DUP7
00001624: MSTORE
00001625: DUP4
00001626: DUP7
00001627: KECCAK256
00001628: DUP1
00001629: SLOAD
0000162a: SWAP4
0000162b: DUP5
0000162c: AND
0000162d: SWAP4
0000162e: DUP4
0000162f: AND
00001630: PUSH1 0x01
00001632: SWAP1
00001633: DUP2
00001634: ADD
00001635: DUP5
00001636: AND
00001637: SWAP5
00001638: SWAP1
00001639: SWAP5
0000163a: OR
0000163b: SWAP1
0000163c: SSTORE
0000163d: DUP10
0000163e: DUP7
0000163f: MSTORE
00001640: PUSH1 0x03
00001642: SWAP1
00001643: SWAP5
00001644: MSTORE
00001645: DUP3
00001646: DUP6
00001647: KECCAK256
00001648: DUP1
00001649: SLOAD
0000164a: PUSH1 0x01
0000164c: PUSH1 0x01
0000164e: PUSH1 0xe0
00001650: SHL
00001651: SUB
00001652: NOT
00001653: AND
00001654: SWAP1
00001655: SWAP5
00001656: OR
00001657: PUSH1 0x01
00001659: PUSH1 0xa0
0000165b: SHL
0000165c: TIMESTAMP
0000165d: SWAP1
0000165e: SWAP3
0000165f: AND
00001660: SWAP2
00001661: SWAP1
00001662: SWAP2
00001663: MUL
00001664: OR
00001665: SWAP1
00001666: SWAP3
00001667: SSTORE
00001668: SWAP1
00001669: DUP7
0000166a: ADD
0000166b: DUP1
0000166c: DUP4
0000166d: MSTORE
0000166e: SWAP2
0000166f: KECCAK256
00001670: SLOAD
00001671: SWAP1
00001672: SWAP2
00001673: AND
00001674: PUSH2 0x16d2
00001677: JUMPI
00001678: PUSH1 0x00
0000167a: SLOAD
0000167b: PUSH1 0x01
0000167d: PUSH1 0x01
0000167f: PUSH1 0x80
00001681: SHL
00001682: SUB
00001683: AND
00001684: DUP2
00001685: LT
00001686: ISZERO
00001687: PUSH2 0x16d2
0000168a: JUMPI
0000168b: DUP3
0000168c: MLOAD
0000168d: PUSH1 0x00
0000168f: DUP3
00001690: DUP2
00001691: MSTORE
00001692: PUSH1 0x03
00001694: PUSH1 0x20
00001696: SWAP1
00001697: DUP2
00001698: MSTORE
00001699: PUSH1 0x40
0000169b: SWAP1
0000169c: SWAP2
0000169d: KECCAK256
0000169e: DUP1
0000169f: SLOAD
000016a0: SWAP2
000016a1: DUP7
000016a2: ADD
000016a3: MLOAD
000016a4: PUSH8 0xffffffffffffffff
000016ad: AND
000016ae: PUSH1 0x01
000016b0: PUSH1 0xa0
000016b2: SHL
000016b3: MUL
000016b4: PUSH1 0x01
000016b6: PUSH1 0x01
000016b8: PUSH1 0xe0
000016ba: SHL
000016bb: SUB
000016bc: NOT
000016bd: SWAP1
000016be: SWAP3
000016bf: AND
000016c0: PUSH1 0x01
000016c2: PUSH1 0x01
000016c4: PUSH1 0xa0
000016c6: SHL
000016c7: SUB
000016c8: SWAP1
000016c9: SWAP4
000016ca: AND
000016cb: SWAP3
000016cc: SWAP1
000016cd: SWAP3
000016ce: OR
000016cf: OR
000016d0: SWAP1
000016d1: SSTORE
000016d2: JUMPDEST
000016d3: POP
000016d4: DUP3
000016d5: DUP5
000016d6: PUSH1 0x01
000016d8: PUSH1 0x01
000016da: PUSH1 0xa0
000016dc: SHL
000016dd: SUB
000016de: AND
000016df: DUP7
000016e0: PUSH1 0x01
000016e2: PUSH1 0x01
000016e4: PUSH1 0xa0
000016e6: SHL
000016e7: SUB
000016e8: AND
000016e9: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000170a: PUSH1 0x40
0000170c: MLOAD
0000170d: PUSH1 0x40
0000170f: MLOAD
00001710: DUP1
00001711: SWAP2
00001712: SUB
00001713: SWAP1
00001714: LOG4
00001715: JUMPDEST
00001716: POP
00001717: POP
00001718: POP
00001719: POP
0000171a: POP
0000171b: JUMP
0000171c: JUMPDEST
0000171d: PUSH1 0x40
0000171f: DUP1
00001720: MLOAD
00001721: PUSH1 0x60
00001723: DUP2
00001724: ADD
00001725: DUP3
00001726: MSTORE
00001727: PUSH1 0x00
00001729: DUP1
0000172a: DUP3
0000172b: MSTORE
0000172c: PUSH1 0x20
0000172e: DUP3
0000172f: ADD
00001730: DUP2
00001731: SWAP1
00001732: MSTORE
00001733: SWAP2
00001734: DUP2
00001735: ADD
00001736: DUP3
00001737: SWAP1
00001738: MSTORE
00001739: SWAP1
0000173a: SLOAD
0000173b: DUP3
0000173c: SWAP1
0000173d: PUSH1 0x01
0000173f: PUSH1 0x01
00001741: PUSH1 0x80
00001743: SHL
00001744: SUB
00001745: AND
00001746: DUP2
00001747: LT
00001748: ISZERO
00001749: PUSH2 0x1827
0000174c: JUMPI
0000174d: PUSH1 0x00
0000174f: DUP2
00001750: DUP2
00001751: MSTORE
00001752: PUSH1 0x03
00001754: PUSH1 0x20
00001756: SWAP1
00001757: DUP2
00001758: MSTORE
00001759: PUSH1 0x40
0000175b: SWAP2
0000175c: DUP3
0000175d: SWAP1
0000175e: KECCAK256
0000175f: DUP3
00001760: MLOAD
00001761: PUSH1 0x60
00001763: DUP2
00001764: ADD
00001765: DUP5
00001766: MSTORE
00001767: SWAP1
00001768: SLOAD
00001769: PUSH1 0x01
0000176b: PUSH1 0x01
0000176d: PUSH1 0xa0
0000176f: SHL
00001770: SUB
00001771: DUP2
00001772: AND
00001773: DUP3
00001774: MSTORE
00001775: PUSH1 0x01
00001777: PUSH1 0xa0
00001779: SHL
0000177a: DUP2
0000177b: DIV
0000177c: PUSH8 0xffffffffffffffff
00001785: AND
00001786: SWAP3
00001787: DUP3
00001788: ADD
00001789: SWAP3
0000178a: SWAP1
0000178b: SWAP3
0000178c: MSTORE
0000178d: PUSH1 0x01
0000178f: PUSH1 0xe0
00001791: SHL
00001792: SWAP1
00001793: SWAP2
00001794: DIV
00001795: PUSH1 0xff
00001797: AND
00001798: ISZERO
00001799: ISZERO
0000179a: SWAP2
0000179b: DUP2
0000179c: ADD
0000179d: DUP3
0000179e: SWAP1
0000179f: MSTORE
000017a0: SWAP1
000017a1: PUSH2 0x1825
000017a4: JUMPI
000017a5: DUP1
000017a6: MLOAD
000017a7: PUSH1 0x01
000017a9: PUSH1 0x01
000017ab: PUSH1 0xa0
000017ad: SHL
000017ae: SUB
000017af: AND
000017b0: ISZERO
000017b1: PUSH2 0x17bb
000017b4: JUMPI
000017b5: SWAP4
000017b6: SWAP3
000017b7: POP
000017b8: POP
000017b9: POP
000017ba: JUMP
000017bb: JUMPDEST
000017bc: POP
000017bd: PUSH1 0x00
000017bf: NOT
000017c0: ADD
000017c1: PUSH1 0x00
000017c3: DUP2
000017c4: DUP2
000017c5: MSTORE
000017c6: PUSH1 0x03
000017c8: PUSH1 0x20
000017ca: SWAP1
000017cb: DUP2
000017cc: MSTORE
000017cd: PUSH1 0x40
000017cf: SWAP2
000017d0: DUP3
000017d1: SWAP1
000017d2: KECCAK256
000017d3: DUP3
000017d4: MLOAD
000017d5: PUSH1 0x60
000017d7: DUP2
000017d8: ADD
000017d9: DUP5
000017da: MSTORE
000017db: SWAP1
000017dc: SLOAD
000017dd: PUSH1 0x01
000017df: PUSH1 0x01
000017e1: PUSH1 0xa0
000017e3: SHL
000017e4: SUB
000017e5: DUP2
000017e6: AND
000017e7: DUP1
000017e8: DUP4
000017e9: MSTORE
000017ea: PUSH1 0x01
000017ec: PUSH1 0xa0
000017ee: SHL
000017ef: DUP3
000017f0: DIV
000017f1: PUSH8 0xffffffffffffffff
000017fa: AND
000017fb: SWAP4
000017fc: DUP4
000017fd: ADD
000017fe: SWAP4
000017ff: SWAP1
00001800: SWAP4
00001801: MSTORE
00001802: PUSH1 0x01
00001804: PUSH1 0xe0
00001806: SHL
00001807: SWAP1
00001808: DIV
00001809: PUSH1 0xff
0000180b: AND
0000180c: ISZERO
0000180d: ISZERO
0000180e: SWAP3
0000180f: DUP2
00001810: ADD
00001811: SWAP3
00001812: SWAP1
00001813: SWAP3
00001814: MSTORE
00001815: ISZERO
00001816: PUSH2 0x1820
00001819: JUMPI
0000181a: SWAP4
0000181b: SWAP3
0000181c: POP
0000181d: POP
0000181e: POP
0000181f: JUMP
00001820: JUMPDEST
00001821: PUSH2 0x17bb
00001824: JUMP
00001825: JUMPDEST
00001826: POP
00001827: JUMPDEST
00001828: PUSH1 0x40
0000182a: MLOAD
0000182b: PUSH4 0x6f96cda1
00001830: PUSH1 0xe1
00001832: SHL
00001833: DUP2
00001834: MSTORE
00001835: PUSH1 0x04
00001837: ADD
00001838: PUSH1 0x40
0000183a: MLOAD
0000183b: DUP1
0000183c: SWAP2
0000183d: SUB
0000183e: SWAP1
0000183f: REVERT
00001840: JUMPDEST
00001841: PUSH1 0x07
00001843: DUP1
00001844: SLOAD
00001845: PUSH1 0x01
00001847: PUSH1 0x01
00001849: PUSH1 0xa0
0000184b: SHL
0000184c: SUB
0000184d: DUP4
0000184e: DUP2
0000184f: AND
00001850: PUSH1 0x01
00001852: PUSH1 0x01
00001854: PUSH1 0xa0
00001856: SHL
00001857: SUB
00001858: NOT
00001859: DUP4
0000185a: AND
0000185b: DUP2
0000185c: OR
0000185d: SWAP1
0000185e: SWAP4
0000185f: SSTORE
00001860: PUSH1 0x40
00001862: MLOAD
00001863: SWAP2
00001864: AND
00001865: SWAP2
00001866: SWAP1
00001867: DUP3
00001868: SWAP1
00001869: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000188a: SWAP1
0000188b: PUSH1 0x00
0000188d: SWAP1
0000188e: LOG3
0000188f: POP
00001890: POP
00001891: JUMP
00001892: JUMPDEST
00001893: PUSH2 0x0abd
00001896: DUP3
00001897: DUP3
00001898: PUSH1 0x40
0000189a: MLOAD
0000189b: DUP1
0000189c: PUSH1 0x20
0000189e: ADD
0000189f: PUSH1 0x40
000018a1: MSTORE
000018a2: DUP1
000018a3: PUSH1 0x00
000018a5: DUP2
000018a6: MSTORE
000018a7: POP
000018a8: PUSH2 0x1ae4
000018ab: JUMP
000018ac: JUMPDEST
000018ad: PUSH1 0x00
000018af: PUSH1 0x01
000018b1: PUSH1 0x01
000018b3: PUSH1 0xa0
000018b5: SHL
000018b6: SUB
000018b7: DUP5
000018b8: AND
000018b9: EXTCODESIZE
000018ba: ISZERO
000018bb: PUSH2 0x19af
000018be: JUMPI
000018bf: PUSH1 0x40
000018c1: MLOAD
000018c2: PUSH4 0x0a85bd01
000018c7: PUSH1 0xe1
000018c9: SHL
000018ca: DUP2
000018cb: MSTORE
000018cc: PUSH1 0x01
000018ce: PUSH1 0x01
000018d0: PUSH1 0xa0
000018d2: SHL
000018d3: SUB
000018d4: DUP6
000018d5: AND
000018d6: SWAP1
000018d7: PUSH4 0x150b7a02
000018dc: SWAP1
000018dd: PUSH2 0x18f0
000018e0: SWAP1
000018e1: CALLER
000018e2: SWAP1
000018e3: DUP10
000018e4: SWAP1
000018e5: DUP9
000018e6: SWAP1
000018e7: DUP9
000018e8: SWAP1
000018e9: PUSH1 0x04
000018eb: ADD
000018ec: PUSH2 0x200c
000018ef: JUMP
000018f0: JUMPDEST
000018f1: PUSH1 0x20
000018f3: PUSH1 0x40
000018f5: MLOAD
000018f6: DUP1
000018f7: DUP4
000018f8: SUB
000018f9: DUP2
000018fa: PUSH1 0x00
000018fc: DUP8
000018fd: DUP1
000018fe: EXTCODESIZE
000018ff: ISZERO
00001900: DUP1
00001901: ISZERO
00001902: PUSH2 0x190a
00001905: JUMPI
00001906: PUSH1 0x00
00001908: DUP1
00001909: REVERT
0000190a: JUMPDEST
0000190b: POP
0000190c: GAS
0000190d: CALL
0000190e: SWAP3
0000190f: POP
00001910: POP
00001911: POP
00001912: DUP1
00001913: ISZERO
00001914: PUSH2 0x193a
00001917: JUMPI
00001918: POP
00001919: PUSH1 0x40
0000191b: DUP1
0000191c: MLOAD
0000191d: PUSH1 0x1f
0000191f: RETURNDATASIZE
00001920: SWAP1
00001921: DUP2
00001922: ADD
00001923: PUSH1 0x1f
00001925: NOT
00001926: AND
00001927: DUP3
00001928: ADD
00001929: SWAP1
0000192a: SWAP3
0000192b: MSTORE
0000192c: PUSH2 0x1937
0000192f: SWAP2
00001930: DUP2
00001931: ADD
00001932: SWAP1
00001933: PUSH2 0x1f1f
00001936: JUMP
00001937: JUMPDEST
00001938: PUSH1 0x01
0000193a: JUMPDEST
0000193b: PUSH2 0x1995
0000193e: JUMPI
0000193f: RETURNDATASIZE
00001940: DUP1
00001941: DUP1
00001942: ISZERO
00001943: PUSH2 0x1968
00001946: JUMPI
00001947: PUSH1 0x40
00001949: MLOAD
0000194a: SWAP2
0000194b: POP
0000194c: PUSH1 0x1f
0000194e: NOT
0000194f: PUSH1 0x3f
00001951: RETURNDATASIZE
00001952: ADD
00001953: AND
00001954: DUP3
00001955: ADD
00001956: PUSH1 0x40
00001958: MSTORE
00001959: RETURNDATASIZE
0000195a: DUP3
0000195b: MSTORE
0000195c: RETURNDATASIZE
0000195d: PUSH1 0x00
0000195f: PUSH1 0x20
00001961: DUP5
00001962: ADD
00001963: RETURNDATACOPY
00001964: PUSH2 0x196d
00001967: JUMP
00001968: JUMPDEST
00001969: PUSH1 0x60
0000196b: SWAP2
0000196c: POP
0000196d: JUMPDEST
0000196e: POP
0000196f: DUP1
00001970: MLOAD
00001971: PUSH2 0x198d
00001974: JUMPI
00001975: PUSH1 0x40
00001977: MLOAD
00001978: PUSH4 0x68d2bf6b
0000197d: PUSH1 0xe1
0000197f: SHL
00001980: DUP2
00001981: MSTORE
00001982: PUSH1 0x04
00001984: ADD
00001985: PUSH1 0x40
00001987: MLOAD
00001988: DUP1
00001989: SWAP2
0000198a: SUB
0000198b: SWAP1
0000198c: REVERT
0000198d: JUMPDEST
0000198e: DUP1
0000198f: MLOAD
00001990: DUP2
00001991: PUSH1 0x20
00001993: ADD
00001994: REVERT
00001995: JUMPDEST
00001996: PUSH1 0x01
00001998: PUSH1 0x01
0000199a: PUSH1 0xe0
0000199c: SHL
0000199d: SUB
0000199e: NOT
0000199f: AND
000019a0: PUSH4 0x0a85bd01
000019a5: PUSH1 0xe1
000019a7: SHL
000019a8: EQ
000019a9: SWAP1
000019aa: POP
000019ab: PUSH2 0x19b3
000019ae: JUMP
000019af: JUMPDEST
000019b0: POP
000019b1: PUSH1 0x01
000019b3: JUMPDEST
000019b4: SWAP5
000019b5: SWAP4
000019b6: POP
000019b7: POP
000019b8: POP
000019b9: POP
000019ba: JUMP
000019bb: JUMPDEST
000019bc: PUSH1 0x60
000019be: PUSH1 0x0d
000019c0: DUP1
000019c1: SLOAD
000019c2: PUSH2 0x0688
000019c5: SWAP1
000019c6: PUSH2 0x211f
000019c9: JUMP
000019ca: JUMPDEST
000019cb: PUSH1 0x60
000019cd: DUP2
000019ce: PUSH2 0x19ee
000019d1: JUMPI
000019d2: POP
000019d3: POP
000019d4: PUSH1 0x40
000019d6: DUP1
000019d7: MLOAD
000019d8: DUP1
000019d9: DUP3
000019da: ADD
000019db: SWAP1
000019dc: SWAP2
000019dd: MSTORE
000019de: PUSH1 0x01
000019e0: DUP2
000019e1: MSTORE
000019e2: PUSH1 0x03
000019e4: PUSH1 0xfc
000019e6: SHL
000019e7: PUSH1 0x20
000019e9: DUP3
000019ea: ADD
000019eb: MSTORE
000019ec: SWAP1
000019ed: JUMP
000019ee: JUMPDEST
000019ef: DUP2
000019f0: PUSH1 0x00
000019f2: JUMPDEST
000019f3: DUP2
000019f4: ISZERO
000019f5: PUSH2 0x1a18
000019f8: JUMPI
000019f9: DUP1
000019fa: PUSH2 0x1a02
000019fd: DUP2
000019fe: PUSH2 0x215a
00001a01: JUMP
00001a02: JUMPDEST
00001a03: SWAP2
00001a04: POP
00001a05: PUSH2 0x1a11
00001a08: SWAP1
00001a09: POP
00001a0a: PUSH1 0x0a
00001a0c: DUP4
00001a0d: PUSH2 0x20a9
00001a10: JUMP
00001a11: JUMPDEST
00001a12: SWAP2
00001a13: POP
00001a14: PUSH2 0x19f2
00001a17: JUMP
00001a18: JUMPDEST
00001a19: PUSH1 0x00
00001a1b: DUP2
00001a1c: PUSH8 0xffffffffffffffff
00001a25: DUP2
00001a26: GT
00001a27: ISZERO
00001a28: PUSH2 0x1a41
00001a2b: JUMPI
00001a2c: PUSH4 0x4e487b71
00001a31: PUSH1 0xe0
00001a33: SHL
00001a34: PUSH1 0x00
00001a36: MSTORE
00001a37: PUSH1 0x41
00001a39: PUSH1 0x04
00001a3b: MSTORE
00001a3c: PUSH1 0x24
00001a3e: PUSH1 0x00
00001a40: REVERT
00001a41: JUMPDEST
00001a42: PUSH1 0x40
00001a44: MLOAD
00001a45: SWAP1
00001a46: DUP1
00001a47: DUP3
00001a48: MSTORE
00001a49: DUP1
00001a4a: PUSH1 0x1f
00001a4c: ADD
00001a4d: PUSH1 0x1f
00001a4f: NOT
00001a50: AND
00001a51: PUSH1 0x20
00001a53: ADD
00001a54: DUP3
00001a55: ADD
00001a56: PUSH1 0x40
00001a58: MSTORE
00001a59: DUP1
00001a5a: ISZERO
00001a5b: PUSH2 0x1a6b
00001a5e: JUMPI
00001a5f: PUSH1 0x20
00001a61: DUP3
00001a62: ADD
00001a63: DUP2
00001a64: DUP1
00001a65: CALLDATASIZE
00001a66: DUP4
00001a67: CALLDATACOPY
00001a68: ADD
00001a69: SWAP1
00001a6a: POP
00001a6b: JUMPDEST
00001a6c: POP
00001a6d: SWAP1
00001a6e: POP
00001a6f: JUMPDEST
00001a70: DUP5
00001a71: ISZERO
00001a72: PUSH2 0x19b3
00001a75: JUMPI
00001a76: PUSH2 0x1a80
00001a79: PUSH1 0x01
00001a7b: DUP4
00001a7c: PUSH2 0x20dc
00001a7f: JUMP
00001a80: JUMPDEST
00001a81: SWAP2
00001a82: POP
00001a83: PUSH2 0x1a8d
00001a86: PUSH1 0x0a
00001a88: DUP7
00001a89: PUSH2 0x2175
00001a8c: JUMP
00001a8d: JUMPDEST
00001a8e: PUSH2 0x1a98
00001a91: SWAP1
00001a92: PUSH1 0x30
00001a94: PUSH2 0x2091
00001a97: JUMP
00001a98: JUMPDEST
00001a99: PUSH1 0xf8
00001a9b: SHL
00001a9c: DUP2
00001a9d: DUP4
00001a9e: DUP2
00001a9f: MLOAD
00001aa0: DUP2
00001aa1: LT
00001aa2: PUSH2 0x1abb
00001aa5: JUMPI
00001aa6: PUSH4 0x4e487b71
00001aab: PUSH1 0xe0
00001aad: SHL
00001aae: PUSH1 0x00
00001ab0: MSTORE
00001ab1: PUSH1 0x32
00001ab3: PUSH1 0x04
00001ab5: MSTORE
00001ab6: PUSH1 0x24
00001ab8: PUSH1 0x00
00001aba: REVERT
00001abb: JUMPDEST
00001abc: PUSH1 0x20
00001abe: ADD
00001abf: ADD
00001ac0: SWAP1
00001ac1: PUSH1 0x01
00001ac3: PUSH1 0x01
00001ac5: PUSH1 0xf8
00001ac7: SHL
00001ac8: SUB
00001ac9: NOT
00001aca: AND
00001acb: SWAP1
00001acc: DUP2
00001acd: PUSH1 0x00
00001acf: BYTE
00001ad0: SWAP1
00001ad1: MSTORE8
00001ad2: POP
00001ad3: PUSH2 0x1add
00001ad6: PUSH1 0x0a
00001ad8: DUP7
00001ad9: PUSH2 0x20a9
00001adc: JUMP
00001add: JUMPDEST
00001ade: SWAP5
00001adf: POP
00001ae0: PUSH2 0x1a6f
00001ae3: JUMP
00001ae4: JUMPDEST
00001ae5: PUSH2 0x07d8
00001ae8: DUP4
00001ae9: DUP4
00001aea: DUP4
00001aeb: PUSH1 0x01
00001aed: PUSH1 0x00
00001aef: SLOAD
00001af0: PUSH1 0x01
00001af2: PUSH1 0x01
00001af4: PUSH1 0x80
00001af6: SHL
00001af7: SUB
00001af8: AND
00001af9: PUSH1 0x01
00001afb: PUSH1 0x01
00001afd: PUSH1 0xa0
00001aff: SHL
00001b00: SUB
00001b01: DUP6
00001b02: AND
00001b03: PUSH2 0x1b1e
00001b06: JUMPI
00001b07: PUSH1 0x40
00001b09: MLOAD
00001b0a: PUSH3 0x2e0763
00001b0e: PUSH1 0xe8
00001b10: SHL
00001b11: DUP2
00001b12: MSTORE
00001b13: PUSH1 0x04
00001b15: ADD
00001b16: PUSH1 0x40
00001b18: MLOAD
00001b19: DUP1
00001b1a: SWAP2
00001b1b: SUB
00001b1c: SWAP1
00001b1d: REVERT
00001b1e: JUMPDEST
00001b1f: DUP4
00001b20: PUSH2 0x1b3c
00001b23: JUMPI
00001b24: PUSH1 0x40
00001b26: MLOAD
00001b27: PUSH4 0xb562e8dd
00001b2c: PUSH1 0xe0
00001b2e: SHL
00001b2f: DUP2
00001b30: MSTORE
00001b31: PUSH1 0x04
00001b33: ADD
00001b34: PUSH1 0x40
00001b36: MLOAD
00001b37: DUP1
00001b38: SWAP2
00001b39: SUB
00001b3a: SWAP1
00001b3b: REVERT
00001b3c: JUMPDEST
00001b3d: PUSH1 0x01
00001b3f: PUSH1 0x01
00001b41: PUSH1 0xa0
00001b43: SHL
00001b44: SUB
00001b45: DUP6
00001b46: AND
00001b47: PUSH1 0x00
00001b49: DUP2
00001b4a: DUP2
00001b4b: MSTORE
00001b4c: PUSH1 0x04
00001b4e: PUSH1 0x20
00001b50: SWAP1
00001b51: DUP2
00001b52: MSTORE
00001b53: PUSH1 0x40
00001b55: DUP1
00001b56: DUP4
00001b57: KECCAK256
00001b58: DUP1
00001b59: SLOAD
00001b5a: PUSH1 0x01
00001b5c: PUSH1 0x01
00001b5e: PUSH1 0x80
00001b60: SHL
00001b61: SUB
00001b62: NOT
00001b63: DUP2
00001b64: AND
00001b65: PUSH8 0xffffffffffffffff
00001b6e: DUP1
00001b6f: DUP4
00001b70: AND
00001b71: DUP13
00001b72: ADD
00001b73: DUP2
00001b74: AND
00001b75: SWAP2
00001b76: DUP3
00001b77: OR
00001b78: PUSH9 0x010000000000000000
00001b82: PUSH8 0xffffffffffffffff
00001b8b: NOT
00001b8c: SWAP1
00001b8d: SWAP5
00001b8e: AND
00001b8f: SWAP1
00001b90: SWAP3
00001b91: OR
00001b92: DUP4
00001b93: SWAP1
00001b94: DIV
00001b95: DUP2
00001b96: AND
00001b97: DUP13
00001b98: ADD
00001b99: DUP2
00001b9a: AND
00001b9b: SWAP1
00001b9c: SWAP3
00001b9d: MUL
00001b9e: OR
00001b9f: SWAP1
00001ba0: SWAP2
00001ba1: SSTORE
00001ba2: DUP6
00001ba3: DUP5
00001ba4: MSTORE
00001ba5: PUSH1 0x03
00001ba7: SWAP1
00001ba8: SWAP3
00001ba9: MSTORE
00001baa: DUP3
00001bab: KECCAK256
00001bac: DUP1
00001bad: SLOAD
00001bae: PUSH1 0x01
00001bb0: PUSH1 0x01
00001bb2: PUSH1 0xe0
00001bb4: SHL
00001bb5: SUB
00001bb6: NOT
00001bb7: AND
00001bb8: SWAP1
00001bb9: SWAP4
00001bba: OR
00001bbb: PUSH1 0x01
00001bbd: PUSH1 0xa0
00001bbf: SHL
00001bc0: TIMESTAMP
00001bc1: SWAP1
00001bc2: SWAP3
00001bc3: AND
00001bc4: SWAP2
00001bc5: SWAP1
00001bc6: SWAP2
00001bc7: MUL
00001bc8: OR
00001bc9: SWAP1
00001bca: SWAP2
00001bcb: SSTORE
00001bcc: DUP2
00001bcd: SWAP1
00001bce: JUMPDEST
00001bcf: DUP6
00001bd0: DUP2
00001bd1: LT
00001bd2: ISZERO
00001bd3: PUSH2 0x1c4f
00001bd6: JUMPI
00001bd7: PUSH1 0x40
00001bd9: MLOAD
00001bda: DUP3
00001bdb: SWAP1
00001bdc: PUSH1 0x01
00001bde: PUSH1 0x01
00001be0: PUSH1 0xa0
00001be2: SHL
00001be3: SUB
00001be4: DUP10
00001be5: AND
00001be6: SWAP1
00001be7: PUSH1 0x00
00001be9: SWAP1
00001bea: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001c0b: SWAP1
00001c0c: DUP3
00001c0d: SWAP1
00001c0e: LOG4
00001c0f: DUP4
00001c10: DUP1
00001c11: ISZERO
00001c12: PUSH2 0x1c25
00001c15: JUMPI
00001c16: POP
00001c17: PUSH2 0x1c23
00001c1a: PUSH1 0x00
00001c1c: DUP9
00001c1d: DUP5
00001c1e: DUP9
00001c1f: PUSH2 0x18ac
00001c22: JUMP
00001c23: JUMPDEST
00001c24: ISZERO
00001c25: JUMPDEST
00001c26: ISZERO
00001c27: PUSH2 0x1c43
00001c2a: JUMPI
00001c2b: PUSH1 0x40
00001c2d: MLOAD
00001c2e: PUSH4 0x68d2bf6b
00001c33: PUSH1 0xe1
00001c35: SHL
00001c36: DUP2
00001c37: MSTORE
00001c38: PUSH1 0x04
00001c3a: ADD
00001c3b: PUSH1 0x40
00001c3d: MLOAD
00001c3e: DUP1
00001c3f: SWAP2
00001c40: SUB
00001c41: SWAP1
00001c42: REVERT
00001c43: JUMPDEST
00001c44: PUSH1 0x01
00001c46: SWAP2
00001c47: DUP3
00001c48: ADD
00001c49: SWAP2
00001c4a: ADD
00001c4b: PUSH2 0x1bce
00001c4e: JUMP
00001c4f: JUMPDEST
00001c50: POP
00001c51: PUSH1 0x00
00001c53: DUP1
00001c54: SLOAD
00001c55: PUSH1 0x01
00001c57: PUSH1 0x01
00001c59: PUSH1 0x80
00001c5b: SHL
00001c5c: SUB
00001c5d: NOT
00001c5e: AND
00001c5f: PUSH1 0x01
00001c61: PUSH1 0x01
00001c63: PUSH1 0x80
00001c65: SHL
00001c66: SUB
00001c67: SWAP3
00001c68: SWAP1
00001c69: SWAP3
00001c6a: AND
00001c6b: SWAP2
00001c6c: SWAP1
00001c6d: SWAP2
00001c6e: OR
00001c6f: SWAP1
00001c70: SSTORE
00001c71: PUSH2 0x1715
00001c74: JUMP
00001c75: JUMPDEST
00001c76: DUP3
00001c77: DUP1
00001c78: SLOAD
00001c79: PUSH2 0x1c81
00001c7c: SWAP1
00001c7d: PUSH2 0x211f
00001c80: JUMP
00001c81: JUMPDEST
00001c82: SWAP1
00001c83: PUSH1 0x00
00001c85: MSTORE
00001c86: PUSH1 0x20
00001c88: PUSH1 0x00
00001c8a: KECCAK256
00001c8b: SWAP1
00001c8c: PUSH1 0x1f
00001c8e: ADD
00001c8f: PUSH1 0x20
00001c91: SWAP1
00001c92: DIV
00001c93: DUP2
00001c94: ADD
00001c95: SWAP3
00001c96: DUP3
00001c97: PUSH2 0x1ca3
00001c9a: JUMPI
00001c9b: PUSH1 0x00
00001c9d: DUP6
00001c9e: SSTORE
00001c9f: PUSH2 0x1ce9
00001ca2: JUMP
00001ca3: JUMPDEST
00001ca4: DUP3
00001ca5: PUSH1 0x1f
00001ca7: LT
00001ca8: PUSH2 0x1cbc
00001cab: JUMPI
00001cac: DUP1
00001cad: MLOAD
00001cae: PUSH1 0xff
00001cb0: NOT
00001cb1: AND
00001cb2: DUP4
00001cb3: DUP1
00001cb4: ADD
00001cb5: OR
00001cb6: DUP6
00001cb7: SSTORE
00001cb8: PUSH2 0x1ce9
00001cbb: JUMP
00001cbc: JUMPDEST
00001cbd: DUP3
00001cbe: DUP1
00001cbf: ADD
00001cc0: PUSH1 0x01
00001cc2: ADD
00001cc3: DUP6
00001cc4: SSTORE
00001cc5: DUP3
00001cc6: ISZERO
00001cc7: PUSH2 0x1ce9
00001cca: JUMPI
00001ccb: SWAP2
00001ccc: DUP3
00001ccd: ADD
00001cce: JUMPDEST
00001ccf: DUP3
00001cd0: DUP2
00001cd1: GT
00001cd2: ISZERO
00001cd3: PUSH2 0x1ce9
00001cd6: JUMPI
00001cd7: DUP3
00001cd8: MLOAD
00001cd9: DUP3
00001cda: SSTORE
00001cdb: SWAP2
00001cdc: PUSH1 0x20
00001cde: ADD
00001cdf: SWAP2
00001ce0: SWAP1
00001ce1: PUSH1 0x01
00001ce3: ADD
00001ce4: SWAP1
00001ce5: PUSH2 0x1cce
00001ce8: JUMP
00001ce9: JUMPDEST
00001cea: POP
00001ceb: PUSH2 0x1cf5
00001cee: SWAP3
00001cef: SWAP2
00001cf0: POP
00001cf1: PUSH2 0x1cf9
00001cf4: JUMP
00001cf5: JUMPDEST
00001cf6: POP
00001cf7: SWAP1
00001cf8: JUMP
00001cf9: JUMPDEST
00001cfa: JUMPDEST
00001cfb: DUP1
00001cfc: DUP3
00001cfd: GT
00001cfe: ISZERO
00001cff: PUSH2 0x1cf5
00001d02: JUMPI
00001d03: PUSH1 0x00
00001d05: DUP2
00001d06: SSTORE
00001d07: PUSH1 0x01
00001d09: ADD
00001d0a: PUSH2 0x1cfa
00001d0d: JUMP
00001d0e: JUMPDEST
00001d0f: PUSH1 0x00
00001d11: PUSH8 0xffffffffffffffff
00001d1a: DUP1
00001d1b: DUP5
00001d1c: GT
00001d1d: ISZERO
00001d1e: PUSH2 0x1d29
00001d21: JUMPI
00001d22: PUSH2 0x1d29
00001d25: PUSH2 0x21b5
00001d28: JUMP
00001d29: JUMPDEST
00001d2a: PUSH1 0x40
00001d2c: MLOAD
00001d2d: PUSH1 0x1f
00001d2f: DUP6
00001d30: ADD
00001d31: PUSH1 0x1f
00001d33: NOT
00001d34: SWAP1
00001d35: DUP2
00001d36: AND
00001d37: PUSH1 0x3f
00001d39: ADD
00001d3a: AND
00001d3b: DUP2
00001d3c: ADD
00001d3d: SWAP1
00001d3e: DUP3
00001d3f: DUP3
00001d40: GT
00001d41: DUP2
00001d42: DUP4
00001d43: LT
00001d44: OR
00001d45: ISZERO
00001d46: PUSH2 0x1d51
00001d49: JUMPI
00001d4a: PUSH2 0x1d51
00001d4d: PUSH2 0x21b5
00001d50: JUMP
00001d51: JUMPDEST
00001d52: DUP2
00001d53: PUSH1 0x40
00001d55: MSTORE
00001d56: DUP1
00001d57: SWAP4
00001d58: POP
00001d59: DUP6
00001d5a: DUP2
00001d5b: MSTORE
00001d5c: DUP7
00001d5d: DUP7
00001d5e: DUP7
00001d5f: ADD
00001d60: GT
00001d61: ISZERO
00001d62: PUSH2 0x1d6a
00001d65: JUMPI
00001d66: PUSH1 0x00
00001d68: DUP1
00001d69: REVERT
00001d6a: JUMPDEST
00001d6b: DUP6
00001d6c: DUP6
00001d6d: PUSH1 0x20
00001d6f: DUP4
00001d70: ADD
00001d71: CALLDATACOPY
00001d72: PUSH1 0x00
00001d74: PUSH1 0x20
00001d76: DUP8
00001d77: DUP4
00001d78: ADD
00001d79: ADD
00001d7a: MSTORE
00001d7b: POP
00001d7c: POP
00001d7d: POP
00001d7e: SWAP4
00001d7f: SWAP3
00001d80: POP
00001d81: POP
00001d82: POP
00001d83: JUMP
00001d84: JUMPDEST
00001d85: DUP1
00001d86: CALLDATALOAD
00001d87: PUSH1 0x01
00001d89: PUSH1 0x01
00001d8b: PUSH1 0xa0
00001d8d: SHL
00001d8e: SUB
00001d8f: DUP2
00001d90: AND
00001d91: DUP2
00001d92: EQ
00001d93: PUSH2 0x1d9b
00001d96: JUMPI
00001d97: PUSH1 0x00
00001d99: DUP1
00001d9a: REVERT
00001d9b: JUMPDEST
00001d9c: SWAP2
00001d9d: SWAP1
00001d9e: POP
00001d9f: JUMP
00001da0: JUMPDEST
00001da1: PUSH1 0x00
00001da3: PUSH1 0x20
00001da5: DUP3
00001da6: DUP5
00001da7: SUB
00001da8: SLT
00001da9: ISZERO
00001daa: PUSH2 0x1db1
00001dad: JUMPI
00001dae: DUP1
00001daf: DUP2
00001db0: REVERT
00001db1: JUMPDEST
00001db2: PUSH2 0x122c
00001db5: DUP3
00001db6: PUSH2 0x1d84
00001db9: JUMP
00001dba: JUMPDEST
00001dbb: PUSH1 0x00
00001dbd: DUP1
00001dbe: PUSH1 0x40
00001dc0: DUP4
00001dc1: DUP6
00001dc2: SUB
00001dc3: SLT
00001dc4: ISZERO
00001dc5: PUSH2 0x1dcc
00001dc8: JUMPI
00001dc9: DUP1
00001dca: DUP2
00001dcb: REVERT
00001dcc: JUMPDEST
00001dcd: PUSH2 0x1dd5
00001dd0: DUP4
00001dd1: PUSH2 0x1d84
00001dd4: JUMP
00001dd5: JUMPDEST
00001dd6: SWAP2
00001dd7: POP
00001dd8: PUSH2 0x1de3
00001ddb: PUSH1 0x20
00001ddd: DUP5
00001dde: ADD
00001ddf: PUSH2 0x1d84
00001de2: JUMP
00001de3: JUMPDEST
00001de4: SWAP1
00001de5: POP
00001de6: SWAP3
00001de7: POP
00001de8: SWAP3
00001de9: SWAP1
00001dea: POP
00001deb: JUMP
00001dec: JUMPDEST
00001ded: PUSH1 0x00
00001def: DUP1
00001df0: PUSH1 0x00
00001df2: PUSH1 0x60
00001df4: DUP5
00001df5: DUP7
00001df6: SUB
00001df7: SLT
00001df8: ISZERO
00001df9: PUSH2 0x1e00
00001dfc: JUMPI
00001dfd: DUP1
00001dfe: DUP2
00001dff: REVERT
00001e00: JUMPDEST
00001e01: PUSH2 0x1e09
00001e04: DUP5
00001e05: PUSH2 0x1d84
00001e08: JUMP
00001e09: JUMPDEST
00001e0a: SWAP3
00001e0b: POP
00001e0c: PUSH2 0x1e17
00001e0f: PUSH1 0x20
00001e11: DUP6
00001e12: ADD
00001e13: PUSH2 0x1d84
00001e16: JUMP
00001e17: JUMPDEST
00001e18: SWAP2
00001e19: POP
00001e1a: PUSH1 0x40
00001e1c: DUP5
00001e1d: ADD
00001e1e: CALLDATALOAD
00001e1f: SWAP1
00001e20: POP
00001e21: SWAP3
00001e22: POP
00001e23: SWAP3
00001e24: POP
00001e25: SWAP3
00001e26: JUMP
00001e27: JUMPDEST
00001e28: PUSH1 0x00
00001e2a: DUP1
00001e2b: PUSH1 0x00
00001e2d: DUP1
00001e2e: PUSH1 0x80
00001e30: DUP6
00001e31: DUP8
00001e32: SUB
00001e33: SLT
00001e34: ISZERO
00001e35: PUSH2 0x1e3c
00001e38: JUMPI
00001e39: DUP1
00001e3a: DUP2
00001e3b: REVERT
00001e3c: JUMPDEST
00001e3d: PUSH2 0x1e45
00001e40: DUP6
00001e41: PUSH2 0x1d84
00001e44: JUMP
00001e45: JUMPDEST
00001e46: SWAP4
00001e47: POP
00001e48: PUSH2 0x1e53
00001e4b: PUSH1 0x20
00001e4d: DUP7
00001e4e: ADD
00001e4f: PUSH2 0x1d84
00001e52: JUMP
00001e53: JUMPDEST
00001e54: SWAP3
00001e55: POP
00001e56: PUSH1 0x40
00001e58: DUP6
00001e59: ADD
00001e5a: CALLDATALOAD
00001e5b: SWAP2
00001e5c: POP
00001e5d: PUSH1 0x60
00001e5f: DUP6
00001e60: ADD
00001e61: CALLDATALOAD
00001e62: PUSH8 0xffffffffffffffff
00001e6b: DUP2
00001e6c: GT
00001e6d: ISZERO
00001e6e: PUSH2 0x1e75
00001e71: JUMPI
00001e72: DUP2
00001e73: DUP3
00001e74: REVERT
00001e75: JUMPDEST
00001e76: DUP6
00001e77: ADD
00001e78: PUSH1 0x1f
00001e7a: DUP2
00001e7b: ADD
00001e7c: DUP8
00001e7d: SGT
00001e7e: PUSH2 0x1e85
00001e81: JUMPI
00001e82: DUP2
00001e83: DUP3
00001e84: REVERT
00001e85: JUMPDEST
00001e86: PUSH2 0x1e94
00001e89: DUP8
00001e8a: DUP3
00001e8b: CALLDATALOAD
00001e8c: PUSH1 0x20
00001e8e: DUP5
00001e8f: ADD
00001e90: PUSH2 0x1d0e
00001e93: JUMP
00001e94: JUMPDEST
00001e95: SWAP2
00001e96: POP
00001e97: POP
00001e98: SWAP3
00001e99: SWAP6
00001e9a: SWAP2
00001e9b: SWAP5
00001e9c: POP
00001e9d: SWAP3
00001e9e: POP
00001e9f: JUMP
00001ea0: JUMPDEST
00001ea1: PUSH1 0x00
00001ea3: DUP1
00001ea4: PUSH1 0x40
00001ea6: DUP4
00001ea7: DUP6
00001ea8: SUB
00001ea9: SLT
00001eaa: ISZERO
00001eab: PUSH2 0x1eb2
00001eae: JUMPI
00001eaf: DUP2
00001eb0: DUP3
00001eb1: REVERT
00001eb2: JUMPDEST
00001eb3: PUSH2 0x1ebb
00001eb6: DUP4
00001eb7: PUSH2 0x1d84
00001eba: JUMP
00001ebb: JUMPDEST
00001ebc: SWAP2
00001ebd: POP
00001ebe: PUSH1 0x20
00001ec0: DUP4
00001ec1: ADD
00001ec2: CALLDATALOAD
00001ec3: DUP1
00001ec4: ISZERO
00001ec5: ISZERO
00001ec6: DUP2
00001ec7: EQ
00001ec8: PUSH2 0x1ecf
00001ecb: JUMPI
00001ecc: DUP2
00001ecd: DUP3
00001ece: REVERT
00001ecf: JUMPDEST
00001ed0: DUP1
00001ed1: SWAP2
00001ed2: POP
00001ed3: POP
00001ed4: SWAP3
00001ed5: POP
00001ed6: SWAP3
00001ed7: SWAP1
00001ed8: POP
00001ed9: JUMP
00001eda: JUMPDEST
00001edb: PUSH1 0x00
00001edd: DUP1
00001ede: PUSH1 0x40
00001ee0: DUP4
00001ee1: DUP6
00001ee2: SUB
00001ee3: SLT
00001ee4: ISZERO
00001ee5: PUSH2 0x1eec
00001ee8: JUMPI
00001ee9: DUP2
00001eea: DUP3
00001eeb: REVERT
00001eec: JUMPDEST
00001eed: PUSH2 0x1ef5
00001ef0: DUP4
00001ef1: PUSH2 0x1d84
00001ef4: JUMP
00001ef5: JUMPDEST
00001ef6: SWAP5
00001ef7: PUSH1 0x20
00001ef9: SWAP4
00001efa: SWAP1
00001efb: SWAP4
00001efc: ADD
00001efd: CALLDATALOAD
00001efe: SWAP4
00001eff: POP
00001f00: POP
00001f01: POP
00001f02: JUMP
00001f03: JUMPDEST
00001f04: PUSH1 0x00
00001f06: PUSH1 0x20
00001f08: DUP3
00001f09: DUP5
00001f0a: SUB
00001f0b: SLT
00001f0c: ISZERO
00001f0d: PUSH2 0x1f14
00001f10: JUMPI
00001f11: DUP1
00001f12: DUP2
00001f13: REVERT
00001f14: JUMPDEST
00001f15: DUP2
00001f16: CALLDATALOAD
00001f17: PUSH2 0x122c
00001f1a: DUP2
00001f1b: PUSH2 0x21cb
00001f1e: JUMP
00001f1f: JUMPDEST
00001f20: PUSH1 0x00
00001f22: PUSH1 0x20
00001f24: DUP3
00001f25: DUP5
00001f26: SUB
00001f27: SLT
00001f28: ISZERO
00001f29: PUSH2 0x1f30
00001f2c: JUMPI
00001f2d: DUP1
00001f2e: DUP2
00001f2f: REVERT
00001f30: JUMPDEST
00001f31: DUP2
00001f32: MLOAD
00001f33: PUSH2 0x122c
00001f36: DUP2
00001f37: PUSH2 0x21cb
00001f3a: JUMP
00001f3b: JUMPDEST
00001f3c: PUSH1 0x00
00001f3e: PUSH1 0x20
00001f40: DUP3
00001f41: DUP5
00001f42: SUB
00001f43: SLT
00001f44: ISZERO
00001f45: PUSH2 0x1f4c
00001f48: JUMPI
00001f49: DUP1
00001f4a: DUP2
00001f4b: REVERT
00001f4c: JUMPDEST
00001f4d: DUP2
00001f4e: CALLDATALOAD
00001f4f: PUSH8 0xffffffffffffffff
00001f58: DUP2
00001f59: GT
00001f5a: ISZERO
00001f5b: PUSH2 0x1f62
00001f5e: JUMPI
00001f5f: DUP2
00001f60: DUP3
00001f61: REVERT
00001f62: JUMPDEST
00001f63: DUP3
00001f64: ADD
00001f65: PUSH1 0x1f
00001f67: DUP2
00001f68: ADD
00001f69: DUP5
00001f6a: SGT
00001f6b: PUSH2 0x1f72
00001f6e: JUMPI
00001f6f: DUP2
00001f70: DUP3
00001f71: REVERT
00001f72: JUMPDEST
00001f73: PUSH2 0x19b3
00001f76: DUP5
00001f77: DUP3
00001f78: CALLDATALOAD
00001f79: PUSH1 0x20
00001f7b: DUP5
00001f7c: ADD
00001f7d: PUSH2 0x1d0e
00001f80: JUMP
00001f81: JUMPDEST
00001f82: PUSH1 0x00
00001f84: PUSH1 0x20
00001f86: DUP3
00001f87: DUP5
00001f88: SUB
00001f89: SLT
00001f8a: ISZERO
00001f8b: PUSH2 0x1f92
00001f8e: JUMPI
00001f8f: DUP1
00001f90: DUP2
00001f91: REVERT
00001f92: JUMPDEST
00001f93: POP
00001f94: CALLDATALOAD
00001f95: SWAP2
00001f96: SWAP1
00001f97: POP
00001f98: JUMP
00001f99: JUMPDEST
00001f9a: PUSH1 0x00
00001f9c: PUSH1 0x20
00001f9e: DUP3
00001f9f: DUP5
00001fa0: SUB
00001fa1: SLT
00001fa2: ISZERO
00001fa3: PUSH2 0x1faa
00001fa6: JUMPI
00001fa7: DUP1
00001fa8: DUP2
00001fa9: REVERT
00001faa: JUMPDEST
00001fab: POP
00001fac: MLOAD
00001fad: SWAP2
00001fae: SWAP1
00001faf: POP
00001fb0: JUMP
00001fb1: JUMPDEST
00001fb2: PUSH1 0x00
00001fb4: DUP2
00001fb5: MLOAD
00001fb6: DUP1
00001fb7: DUP5
00001fb8: MSTORE
00001fb9: PUSH2 0x1fc9
00001fbc: DUP2
00001fbd: PUSH1 0x20
00001fbf: DUP7
00001fc0: ADD
00001fc1: PUSH1 0x20
00001fc3: DUP7
00001fc4: ADD
00001fc5: PUSH2 0x20f3
00001fc8: JUMP
00001fc9: JUMPDEST
00001fca: PUSH1 0x1f
00001fcc: ADD
00001fcd: PUSH1 0x1f
00001fcf: NOT
00001fd0: AND
00001fd1: SWAP3
00001fd2: SWAP1
00001fd3: SWAP3
00001fd4: ADD
00001fd5: PUSH1 0x20
00001fd7: ADD
00001fd8: SWAP3
00001fd9: SWAP2
00001fda: POP
00001fdb: POP
00001fdc: JUMP
00001fdd: JUMPDEST
00001fde: PUSH1 0x00
00001fe0: DUP4
00001fe1: MLOAD
00001fe2: PUSH2 0x1fef
00001fe5: DUP2
00001fe6: DUP5
00001fe7: PUSH1 0x20
00001fe9: DUP9
00001fea: ADD
00001feb: PUSH2 0x20f3
00001fee: JUMP
00001fef: JUMPDEST
00001ff0: DUP4
00001ff1: MLOAD
00001ff2: SWAP1
00001ff3: DUP4
00001ff4: ADD
00001ff5: SWAP1
00001ff6: PUSH2 0x2003
00001ff9: DUP2
00001ffa: DUP4
00001ffb: PUSH1 0x20
00001ffd: DUP9
00001ffe: ADD
00001fff: PUSH2 0x20f3
00002002: JUMP
00002003: JUMPDEST
00002004: ADD
00002005: SWAP5
00002006: SWAP4
00002007: POP
00002008: POP
00002009: POP
0000200a: POP
0000200b: JUMP
0000200c: JUMPDEST
0000200d: PUSH1 0x01
0000200f: PUSH1 0x01
00002011: PUSH1 0xa0
00002013: SHL
00002014: SUB
00002015: DUP6
00002016: DUP2
00002017: AND
00002018: DUP3
00002019: MSTORE
0000201a: DUP5
0000201b: AND
0000201c: PUSH1 0x20
0000201e: DUP3
0000201f: ADD
00002020: MSTORE
00002021: PUSH1 0x40
00002023: DUP2
00002024: ADD
00002025: DUP4
00002026: SWAP1
00002027: MSTORE
00002028: PUSH1 0x80
0000202a: PUSH1 0x60
0000202c: DUP3
0000202d: ADD
0000202e: DUP2
0000202f: SWAP1
00002030: MSTORE
00002031: PUSH1 0x00
00002033: SWAP1
00002034: PUSH2 0x203f
00002037: SWAP1
00002038: DUP4
00002039: ADD
0000203a: DUP5
0000203b: PUSH2 0x1fb1
0000203e: JUMP
0000203f: JUMPDEST
00002040: SWAP7
00002041: SWAP6
00002042: POP
00002043: POP
00002044: POP
00002045: POP
00002046: POP
00002047: POP
00002048: JUMP
00002049: JUMPDEST
0000204a: PUSH1 0x20
0000204c: DUP2
0000204d: MSTORE
0000204e: PUSH1 0x00
00002050: PUSH2 0x122c
00002053: PUSH1 0x20
00002055: DUP4
00002056: ADD
00002057: DUP5
00002058: PUSH2 0x1fb1
0000205b: JUMP
0000205c: JUMPDEST
0000205d: PUSH1 0x20
0000205f: DUP1
00002060: DUP3
00002061: MSTORE
00002062: DUP2
00002063: DUP2
00002064: ADD
00002065: MSTORE
00002066: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002087: PUSH1 0x40
00002089: DUP3
0000208a: ADD
0000208b: MSTORE
0000208c: PUSH1 0x60
0000208e: ADD
0000208f: SWAP1
00002090: JUMP
00002091: JUMPDEST
00002092: PUSH1 0x00
00002094: DUP3
00002095: NOT
00002096: DUP3
00002097: GT
00002098: ISZERO
00002099: PUSH2 0x20a4
0000209c: JUMPI
0000209d: PUSH2 0x20a4
000020a0: PUSH2 0x2189
000020a3: JUMP
000020a4: JUMPDEST
000020a5: POP
000020a6: ADD
000020a7: SWAP1
000020a8: JUMP
000020a9: JUMPDEST
000020aa: PUSH1 0x00
000020ac: DUP3
000020ad: PUSH2 0x20b8
000020b0: JUMPI
000020b1: PUSH2 0x20b8
000020b4: PUSH2 0x219f
000020b7: JUMP
000020b8: JUMPDEST
000020b9: POP
000020ba: DIV
000020bb: SWAP1
000020bc: JUMP
000020bd: JUMPDEST
000020be: PUSH1 0x00
000020c0: DUP2
000020c1: PUSH1 0x00
000020c3: NOT
000020c4: DIV
000020c5: DUP4
000020c6: GT
000020c7: DUP3
000020c8: ISZERO
000020c9: ISZERO
000020ca: AND
000020cb: ISZERO
000020cc: PUSH2 0x20d7
000020cf: JUMPI
000020d0: PUSH2 0x20d7
000020d3: PUSH2 0x2189
000020d6: JUMP
000020d7: JUMPDEST
000020d8: POP
000020d9: MUL
000020da: SWAP1
000020db: JUMP
000020dc: JUMPDEST
000020dd: PUSH1 0x00
000020df: DUP3
000020e0: DUP3
000020e1: LT
000020e2: ISZERO
000020e3: PUSH2 0x20ee
000020e6: JUMPI
000020e7: PUSH2 0x20ee
000020ea: PUSH2 0x2189
000020ed: JUMP
000020ee: JUMPDEST
000020ef: POP
000020f0: SUB
000020f1: SWAP1
000020f2: JUMP
000020f3: JUMPDEST
000020f4: PUSH1 0x00
000020f6: JUMPDEST
000020f7: DUP4
000020f8: DUP2
000020f9: LT
000020fa: ISZERO
000020fb: PUSH2 0x210e
000020fe: JUMPI
000020ff: DUP2
00002100: DUP2
00002101: ADD
00002102: MLOAD
00002103: DUP4
00002104: DUP3
00002105: ADD
00002106: MSTORE
00002107: PUSH1 0x20
00002109: ADD
0000210a: PUSH2 0x20f6
0000210d: JUMP
0000210e: JUMPDEST
0000210f: DUP4
00002110: DUP2
00002111: GT
00002112: ISZERO
00002113: PUSH2 0x1174
00002116: JUMPI
00002117: POP
00002118: POP
00002119: PUSH1 0x00
0000211b: SWAP2
0000211c: ADD
0000211d: MSTORE
0000211e: JUMP
0000211f: JUMPDEST
00002120: PUSH1 0x01
00002122: DUP2
00002123: DUP2
00002124: SHR
00002125: SWAP1
00002126: DUP3
00002127: AND
00002128: DUP1
00002129: PUSH2 0x2133
0000212c: JUMPI
0000212d: PUSH1 0x7f
0000212f: DUP3
00002130: AND
00002131: SWAP2
00002132: POP
00002133: JUMPDEST
00002134: PUSH1 0x20
00002136: DUP3
00002137: LT
00002138: DUP2
00002139: EQ
0000213a: ISZERO
0000213b: PUSH2 0x2154
0000213e: JUMPI
0000213f: PUSH4 0x4e487b71
00002144: PUSH1 0xe0
00002146: SHL
00002147: PUSH1 0x00
00002149: MSTORE
0000214a: PUSH1 0x22
0000214c: PUSH1 0x04
0000214e: MSTORE
0000214f: PUSH1 0x24
00002151: PUSH1 0x00
00002153: REVERT
00002154: JUMPDEST
00002155: POP
00002156: SWAP2
00002157: SWAP1
00002158: POP
00002159: JUMP
0000215a: JUMPDEST
0000215b: PUSH1 0x00
0000215d: PUSH1 0x00
0000215f: NOT
00002160: DUP3
00002161: EQ
00002162: ISZERO
00002163: PUSH2 0x216e
00002166: JUMPI
00002167: PUSH2 0x216e
0000216a: PUSH2 0x2189
0000216d: JUMP
0000216e: JUMPDEST
0000216f: POP
00002170: PUSH1 0x01
00002172: ADD
00002173: SWAP1
00002174: JUMP
00002175: JUMPDEST
00002176: PUSH1 0x00
00002178: DUP3
00002179: PUSH2 0x2184
0000217c: JUMPI
0000217d: PUSH2 0x2184
00002180: PUSH2 0x219f
00002183: JUMP
00002184: JUMPDEST
00002185: POP
00002186: MOD
00002187: SWAP1
00002188: JUMP
00002189: JUMPDEST
0000218a: PUSH4 0x4e487b71
0000218f: PUSH1 0xe0
00002191: SHL
00002192: PUSH1 0x00
00002194: MSTORE
00002195: PUSH1 0x11
00002197: PUSH1 0x04
00002199: MSTORE
0000219a: PUSH1 0x24
0000219c: PUSH1 0x00
0000219e: REVERT
0000219f: JUMPDEST
000021a0: PUSH4 0x4e487b71
000021a5: PUSH1 0xe0
000021a7: SHL
000021a8: PUSH1 0x00
000021aa: MSTORE
000021ab: PUSH1 0x12
000021ad: PUSH1 0x04
000021af: MSTORE
000021b0: PUSH1 0x24
000021b2: PUSH1 0x00
000021b4: REVERT
000021b5: JUMPDEST
000021b6: PUSH4 0x4e487b71
000021bb: PUSH1 0xe0
000021bd: SHL
000021be: PUSH1 0x00
000021c0: MSTORE
000021c1: PUSH1 0x41
000021c3: PUSH1 0x04
000021c5: MSTORE
000021c6: PUSH1 0x24
000021c8: PUSH1 0x00
000021ca: REVERT
000021cb: JUMPDEST
000021cc: PUSH1 0x01
000021ce: PUSH1 0x01
000021d0: PUSH1 0xe0
000021d2: SHL
000021d3: SUB
000021d4: NOT
000021d5: DUP2
000021d6: AND
000021d7: DUP2
000021d8: EQ
000021d9: PUSH2 0x09b7
000021dc: JUMPI
000021dd: PUSH1 0x00
000021df: DUP1
000021e0: REVERT
000021e1: INVALID
000021e2: LOG2
000021e3: PUSH5 0x6970667358
000021e9: UNKNOWN(0x22)
000021ea: SLT
000021eb: KECCAK256
000021ec: JUMPDEST
000021ed: UNKNOWN(0xC6)
000021ee: INVALID
000021ef: UNKNOWN(0x0E)
000021f0: DUP4
000021f1: UNKNOWN(0x4B)
000021f2: UNKNOWN(0xD9)
000021f3: ORIGIN
000021f4: UNKNOWN(0xC4)
000021f5: UNKNOWN(0xE5)
000021f6: PUSH23 0x86ca40380ed60d861aeee5c46e5c2582a6896be2166473
0000220e: PUSH16

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": "0xd1281ec4",
            "selector": "0xd1281ec4",
            "calldata_variants": [
                "0xd1281ec4",
                "0xd1281ec40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdbe2193f",
            "selector": "0xdbe2193f",
            "calldata_variants": [
                "0xdbe2193f",
                "0xdbe2193f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xeb8d2444",
            "selector": "0xeb8d2444",
            "calldata_variants": [
                "0xeb8d2444",
                "0xeb8d24440000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc58be312",
            "selector": "0xc58be312",
            "calldata_variants": [
                "0xc58be312",
                "0xc58be3120000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 8691,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xf27949252818c70d26ec70931b434966973a207ee1585ab37da4ee025c1e7d14
call_targets: 0x178ce8290f034ec0ba11dd9a7e81b7dd657cdc47
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf27949252818c70d26ec70931b434966973a207ee1585ab37da4ee025c1e7d14",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x178ce8290f034ec0ba11dd9a7e81b7dd657cdc47"
    ],
    "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": "0xd1281ec4",
            "selector": "0xd1281ec4",
            "calldata_variants": [
                "0xd1281ec4",
                "0xd1281ec40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdbe2193f",
            "selector": "0xdbe2193f",
            "calldata_variants": [
                "0xdbe2193f",
                "0xdbe2193f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xeb8d2444",
            "selector": "0xeb8d2444",
            "calldata_variants": [
                "0xeb8d2444",
                "0xeb8d24440000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc58be312",
            "selector": "0xc58be312",
            "calldata_variants": [
                "0xc58be312",
                "0xc58be3120000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2465,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6413,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [
        {
            "pc": 8691,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 2
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xf27949252818c70d26ec70931b434966973a207ee1585ab37da4ee025c1e7d14
call_targets: 0x178ce8290f034ec0ba11dd9a7e81b7dd657cdc47
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf27949252818c70d26ec70931b434966973a207ee1585ab37da4ee025c1e7d14",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x178ce8290f034ec0ba11dd9a7e81b7dd657cdc47"
    ],
    "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": "0xd1281ec4",
            "selector": "0xd1281ec4",
            "calldata_variants": [
                "0xd1281ec4",
                "0xd1281ec40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdbe2193f",
            "selector": "0xdbe2193f",
            "calldata_variants": [
                "0xdbe2193f",
                "0xdbe2193f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xeb8d2444",
            "selector": "0xeb8d2444",
            "calldata_variants": [
                "0xeb8d2444",
                "0xeb8d24440000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc58be312",
            "selector": "0xc58be312",
            "calldata_variants": [
                "0xc58be312",
                "0xc58be3120000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2465,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6413,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": [
        {
            "pc": 8691,
            "type": "tx_origin_used"
        }
    ]
}