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

Analysis Run

019b3836-24eb-7017-b1e3-672ec4d01c33

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

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
701 artifact.fetch complete 1 / 3 3 months ago
702 tool.cast_disasm complete 1 / 3 3 months ago
44167 analysis.bundle complete 1 / 3 1 week ago
44168 capability.graph complete 1 / 3 1 week ago
44169 detector.run complete 1 / 3 1 week ago
44170 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
0
Total opcodes
4414
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x007f
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: DUP1
0000002f: PUSH4 0x6053a6f9
00000034: EQ
00000035: PUSH2 0x0081
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x820b7faf
0000003f: EQ
00000040: PUSH2 0x0168
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x93423e9c
0000004a: EQ
0000004b: PUSH2 0x024f
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0xa6461016
00000055: EQ
00000056: PUSH2 0x027b
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0xa9059cbb
00000060: EQ
00000061: PUSH2 0x0362
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xd3a3f889
0000006b: EQ
0000006c: PUSH2 0x0397
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xfbf35f96
00000076: EQ
00000077: PUSH2 0x049b
0000007a: JUMPI
0000007b: PUSH2 0x007f
0000007e: JUMP
0000007f: JUMPDEST
00000080: STOP
00000081: JUMPDEST
00000082: PUSH2 0x0166
00000085: PUSH1 0x04
00000087: DUP1
00000088: DUP1
00000089: CALLDATALOAD
0000008a: SWAP1
0000008b: PUSH1 0x20
0000008d: ADD
0000008e: SWAP1
0000008f: SWAP2
00000090: SWAP1
00000091: DUP1
00000092: CALLDATALOAD
00000093: SWAP1
00000094: PUSH1 0x20
00000096: ADD
00000097: SWAP1
00000098: DUP3
00000099: ADD
0000009a: DUP1
0000009b: CALLDATALOAD
0000009c: SWAP1
0000009d: PUSH1 0x20
0000009f: ADD
000000a0: SWAP2
000000a1: SWAP2
000000a2: SWAP1
000000a3: DUP1
000000a4: DUP1
000000a5: PUSH1 0x20
000000a7: MUL
000000a8: PUSH1 0x20
000000aa: ADD
000000ab: PUSH1 0x40
000000ad: MLOAD
000000ae: SWAP1
000000af: DUP2
000000b0: ADD
000000b1: PUSH1 0x40
000000b3: MSTORE
000000b4: DUP1
000000b5: SWAP4
000000b6: SWAP3
000000b7: SWAP2
000000b8: SWAP1
000000b9: DUP2
000000ba: DUP2
000000bb: MSTORE
000000bc: PUSH1 0x20
000000be: ADD
000000bf: PUSH1 0x00
000000c1: SWAP1
000000c2: JUMPDEST
000000c3: DUP3
000000c4: DUP3
000000c5: LT
000000c6: ISZERO
000000c7: PUSH2 0x0109
000000ca: JUMPI
000000cb: DUP5
000000cc: DUP5
000000cd: DUP4
000000ce: SWAP1
000000cf: POP
000000d0: SWAP1
000000d1: SWAP1
000000d2: PUSH1 0x40
000000d4: MUL
000000d5: ADD
000000d6: PUSH1 0x02
000000d8: DUP1
000000d9: PUSH1 0x20
000000db: MUL
000000dc: PUSH1 0x40
000000de: MLOAD
000000df: SWAP1
000000e0: DUP2
000000e1: ADD
000000e2: PUSH1 0x40
000000e4: MSTORE
000000e5: DUP1
000000e6: SWAP3
000000e7: SWAP2
000000e8: SWAP1
000000e9: DUP3
000000ea: PUSH1 0x02
000000ec: PUSH1 0x20
000000ee: MUL
000000ef: DUP1
000000f0: DUP3
000000f1: DUP5
000000f2: CALLDATACOPY
000000f3: DUP3
000000f4: ADD
000000f5: SWAP2
000000f6: POP
000000f7: POP
000000f8: POP
000000f9: POP
000000fa: POP
000000fb: DUP2
000000fc: MSTORE
000000fd: PUSH1 0x20
000000ff: ADD
00000100: SWAP1
00000101: PUSH1 0x01
00000103: ADD
00000104: SWAP1
00000105: PUSH2 0x00c2
00000108: JUMP
00000109: JUMPDEST
0000010a: POP
0000010b: POP
0000010c: POP
0000010d: POP
0000010e: POP
0000010f: SWAP1
00000110: SWAP1
00000111: SWAP2
00000112: SWAP1
00000113: DUP1
00000114: CALLDATALOAD
00000115: SWAP1
00000116: PUSH1 0x20
00000118: ADD
00000119: SWAP1
0000011a: DUP3
0000011b: ADD
0000011c: DUP1
0000011d: CALLDATALOAD
0000011e: SWAP1
0000011f: PUSH1 0x20
00000121: ADD
00000122: SWAP2
00000123: SWAP2
00000124: SWAP1
00000125: DUP1
00000126: DUP1
00000127: PUSH1 0x20
00000129: MUL
0000012a: PUSH1 0x20
0000012c: ADD
0000012d: PUSH1 0x40
0000012f: MLOAD
00000130: SWAP1
00000131: DUP2
00000132: ADD
00000133: PUSH1 0x40
00000135: MSTORE
00000136: DUP1
00000137: SWAP4
00000138: SWAP3
00000139: SWAP2
0000013a: SWAP1
0000013b: DUP2
0000013c: DUP2
0000013d: MSTORE
0000013e: PUSH1 0x20
00000140: ADD
00000141: DUP4
00000142: DUP4
00000143: PUSH1 0x20
00000145: MUL
00000146: DUP1
00000147: DUP3
00000148: DUP5
00000149: CALLDATACOPY
0000014a: DUP3
0000014b: ADD
0000014c: SWAP2
0000014d: POP
0000014e: POP
0000014f: POP
00000150: POP
00000151: POP
00000152: POP
00000153: SWAP1
00000154: SWAP1
00000155: SWAP2
00000156: SWAP1
00000157: DUP1
00000158: CALLDATALOAD
00000159: SWAP1
0000015a: PUSH1 0x20
0000015c: ADD
0000015d: SWAP1
0000015e: SWAP2
0000015f: SWAP1
00000160: POP
00000161: POP
00000162: PUSH2 0x0ae4
00000165: JUMP
00000166: JUMPDEST
00000167: STOP
00000168: JUMPDEST
00000169: PUSH2 0x024d
0000016c: PUSH1 0x04
0000016e: DUP1
0000016f: DUP1
00000170: CALLDATALOAD
00000171: SWAP1
00000172: PUSH1 0x20
00000174: ADD
00000175: SWAP1
00000176: SWAP2
00000177: SWAP1
00000178: DUP1
00000179: CALLDATALOAD
0000017a: SWAP1
0000017b: PUSH1 0x20
0000017d: ADD
0000017e: SWAP1
0000017f: DUP3
00000180: ADD
00000181: DUP1
00000182: CALLDATALOAD
00000183: SWAP1
00000184: PUSH1 0x20
00000186: ADD
00000187: SWAP2
00000188: SWAP2
00000189: SWAP1
0000018a: DUP1
0000018b: DUP1
0000018c: PUSH1 0x20
0000018e: MUL
0000018f: PUSH1 0x20
00000191: ADD
00000192: PUSH1 0x40
00000194: MLOAD
00000195: SWAP1
00000196: DUP2
00000197: ADD
00000198: PUSH1 0x40
0000019a: MSTORE
0000019b: DUP1
0000019c: SWAP4
0000019d: SWAP3
0000019e: SWAP2
0000019f: SWAP1
000001a0: DUP2
000001a1: DUP2
000001a2: MSTORE
000001a3: PUSH1 0x20
000001a5: ADD
000001a6: PUSH1 0x00
000001a8: SWAP1
000001a9: JUMPDEST
000001aa: DUP3
000001ab: DUP3
000001ac: LT
000001ad: ISZERO
000001ae: PUSH2 0x01f0
000001b1: JUMPI
000001b2: DUP5
000001b3: DUP5
000001b4: DUP4
000001b5: SWAP1
000001b6: POP
000001b7: SWAP1
000001b8: SWAP1
000001b9: PUSH1 0x40
000001bb: MUL
000001bc: ADD
000001bd: PUSH1 0x02
000001bf: DUP1
000001c0: PUSH1 0x20
000001c2: MUL
000001c3: PUSH1 0x40
000001c5: MLOAD
000001c6: SWAP1
000001c7: DUP2
000001c8: ADD
000001c9: PUSH1 0x40
000001cb: MSTORE
000001cc: DUP1
000001cd: SWAP3
000001ce: SWAP2
000001cf: SWAP1
000001d0: DUP3
000001d1: PUSH1 0x02
000001d3: PUSH1 0x20
000001d5: MUL
000001d6: DUP1
000001d7: DUP3
000001d8: DUP5
000001d9: CALLDATACOPY
000001da: DUP3
000001db: ADD
000001dc: SWAP2
000001dd: POP
000001de: POP
000001df: POP
000001e0: POP
000001e1: POP
000001e2: DUP2
000001e3: MSTORE
000001e4: PUSH1 0x20
000001e6: ADD
000001e7: SWAP1
000001e8: PUSH1 0x01
000001ea: ADD
000001eb: SWAP1
000001ec: PUSH2 0x01a9
000001ef: JUMP
000001f0: JUMPDEST
000001f1: POP
000001f2: POP
000001f3: POP
000001f4: POP
000001f5: POP
000001f6: SWAP1
000001f7: SWAP1
000001f8: SWAP2
000001f9: SWAP1
000001fa: DUP1
000001fb: CALLDATALOAD
000001fc: SWAP1
000001fd: PUSH1 0x20
000001ff: ADD
00000200: SWAP1
00000201: DUP3
00000202: ADD
00000203: DUP1
00000204: CALLDATALOAD
00000205: SWAP1
00000206: PUSH1 0x20
00000208: ADD
00000209: SWAP2
0000020a: SWAP2
0000020b: SWAP1
0000020c: DUP1
0000020d: DUP1
0000020e: PUSH1 0x20
00000210: MUL
00000211: PUSH1 0x20
00000213: ADD
00000214: PUSH1 0x40
00000216: MLOAD
00000217: SWAP1
00000218: DUP2
00000219: ADD
0000021a: PUSH1 0x40
0000021c: MSTORE
0000021d: DUP1
0000021e: SWAP4
0000021f: SWAP3
00000220: SWAP2
00000221: SWAP1
00000222: DUP2
00000223: DUP2
00000224: MSTORE
00000225: PUSH1 0x20
00000227: ADD
00000228: DUP4
00000229: DUP4
0000022a: PUSH1 0x20
0000022c: MUL
0000022d: DUP1
0000022e: DUP3
0000022f: DUP5
00000230: CALLDATACOPY
00000231: DUP3
00000232: ADD
00000233: SWAP2
00000234: POP
00000235: POP
00000236: POP
00000237: POP
00000238: POP
00000239: POP
0000023a: SWAP1
0000023b: SWAP1
0000023c: SWAP2
0000023d: SWAP1
0000023e: DUP1
0000023f: CALLDATALOAD
00000240: SWAP1
00000241: PUSH1 0x20
00000243: ADD
00000244: SWAP1
00000245: SWAP2
00000246: SWAP1
00000247: POP
00000248: POP
00000249: PUSH2 0x0833
0000024c: JUMP
0000024d: JUMPDEST
0000024e: STOP
0000024f: JUMPDEST
00000250: PUSH2 0x0265
00000253: PUSH1 0x04
00000255: DUP1
00000256: DUP1
00000257: CALLDATALOAD
00000258: SWAP1
00000259: PUSH1 0x20
0000025b: ADD
0000025c: SWAP1
0000025d: SWAP2
0000025e: SWAP1
0000025f: POP
00000260: POP
00000261: PUSH2 0x156d
00000264: JUMP
00000265: JUMPDEST
00000266: PUSH1 0x40
00000268: MLOAD
00000269: DUP1
0000026a: DUP3
0000026b: DUP2
0000026c: MSTORE
0000026d: PUSH1 0x20
0000026f: ADD
00000270: SWAP2
00000271: POP
00000272: POP
00000273: PUSH1 0x40
00000275: MLOAD
00000276: DUP1
00000277: SWAP2
00000278: SUB
00000279: SWAP1
0000027a: RETURN
0000027b: JUMPDEST
0000027c: PUSH2 0x0360
0000027f: PUSH1 0x04
00000281: DUP1
00000282: DUP1
00000283: CALLDATALOAD
00000284: SWAP1
00000285: PUSH1 0x20
00000287: ADD
00000288: SWAP1
00000289: SWAP2
0000028a: SWAP1
0000028b: DUP1
0000028c: CALLDATALOAD
0000028d: SWAP1
0000028e: PUSH1 0x20
00000290: ADD
00000291: SWAP1
00000292: DUP3
00000293: ADD
00000294: DUP1
00000295: CALLDATALOAD
00000296: SWAP1
00000297: PUSH1 0x20
00000299: ADD
0000029a: SWAP2
0000029b: SWAP2
0000029c: SWAP1
0000029d: DUP1
0000029e: DUP1
0000029f: PUSH1 0x20
000002a1: MUL
000002a2: PUSH1 0x20
000002a4: ADD
000002a5: PUSH1 0x40
000002a7: MLOAD
000002a8: SWAP1
000002a9: DUP2
000002aa: ADD
000002ab: PUSH1 0x40
000002ad: MSTORE
000002ae: DUP1
000002af: SWAP4
000002b0: SWAP3
000002b1: SWAP2
000002b2: SWAP1
000002b3: DUP2
000002b4: DUP2
000002b5: MSTORE
000002b6: PUSH1 0x20
000002b8: ADD
000002b9: PUSH1 0x00
000002bb: SWAP1
000002bc: JUMPDEST
000002bd: DUP3
000002be: DUP3
000002bf: LT
000002c0: ISZERO
000002c1: PUSH2 0x0303
000002c4: JUMPI
000002c5: DUP5
000002c6: DUP5
000002c7: DUP4
000002c8: SWAP1
000002c9: POP
000002ca: SWAP1
000002cb: SWAP1
000002cc: PUSH1 0x40
000002ce: MUL
000002cf: ADD
000002d0: PUSH1 0x02
000002d2: DUP1
000002d3: PUSH1 0x20
000002d5: MUL
000002d6: PUSH1 0x40
000002d8: MLOAD
000002d9: SWAP1
000002da: DUP2
000002db: ADD
000002dc: PUSH1 0x40
000002de: MSTORE
000002df: DUP1
000002e0: SWAP3
000002e1: SWAP2
000002e2: SWAP1
000002e3: DUP3
000002e4: PUSH1 0x02
000002e6: PUSH1 0x20
000002e8: MUL
000002e9: DUP1
000002ea: DUP3
000002eb: DUP5
000002ec: CALLDATACOPY
000002ed: DUP3
000002ee: ADD
000002ef: SWAP2
000002f0: POP
000002f1: POP
000002f2: POP
000002f3: POP
000002f4: POP
000002f5: DUP2
000002f6: MSTORE
000002f7: PUSH1 0x20
000002f9: ADD
000002fa: SWAP1
000002fb: PUSH1 0x01
000002fd: ADD
000002fe: SWAP1
000002ff: PUSH2 0x02bc
00000302: JUMP
00000303: JUMPDEST
00000304: POP
00000305: POP
00000306: POP
00000307: POP
00000308: POP
00000309: SWAP1
0000030a: SWAP1
0000030b: SWAP2
0000030c: SWAP1
0000030d: DUP1
0000030e: CALLDATALOAD
0000030f: SWAP1
00000310: PUSH1 0x20
00000312: ADD
00000313: SWAP1
00000314: DUP3
00000315: ADD
00000316: DUP1
00000317: CALLDATALOAD
00000318: SWAP1
00000319: PUSH1 0x20
0000031b: ADD
0000031c: SWAP2
0000031d: SWAP2
0000031e: SWAP1
0000031f: DUP1
00000320: DUP1
00000321: PUSH1 0x20
00000323: MUL
00000324: PUSH1 0x20
00000326: ADD
00000327: PUSH1 0x40
00000329: MLOAD
0000032a: SWAP1
0000032b: DUP2
0000032c: ADD
0000032d: PUSH1 0x40
0000032f: MSTORE
00000330: DUP1
00000331: SWAP4
00000332: SWAP3
00000333: SWAP2
00000334: SWAP1
00000335: DUP2
00000336: DUP2
00000337: MSTORE
00000338: PUSH1 0x20
0000033a: ADD
0000033b: DUP4
0000033c: DUP4
0000033d: PUSH1 0x20
0000033f: MUL
00000340: DUP1
00000341: DUP3
00000342: DUP5
00000343: CALLDATACOPY
00000344: DUP3
00000345: ADD
00000346: SWAP2
00000347: POP
00000348: POP
00000349: POP
0000034a: POP
0000034b: POP
0000034c: POP
0000034d: SWAP1
0000034e: SWAP1
0000034f: SWAP2
00000350: SWAP1
00000351: DUP1
00000352: CALLDATALOAD
00000353: SWAP1
00000354: PUSH1 0x20
00000356: ADD
00000357: SWAP1
00000358: SWAP2
00000359: SWAP1
0000035a: POP
0000035b: POP
0000035c: PUSH2 0x0d82
0000035f: JUMP
00000360: JUMPDEST
00000361: STOP
00000362: JUMPDEST
00000363: PUSH2 0x0381
00000366: PUSH1 0x04
00000368: DUP1
00000369: DUP1
0000036a: CALLDATALOAD
0000036b: SWAP1
0000036c: PUSH1 0x20
0000036e: ADD
0000036f: SWAP1
00000370: SWAP2
00000371: SWAP1
00000372: DUP1
00000373: CALLDATALOAD
00000374: SWAP1
00000375: PUSH1 0x20
00000377: ADD
00000378: SWAP1
00000379: SWAP2
0000037a: SWAP1
0000037b: POP
0000037c: POP
0000037d: PUSH2 0x15b1
00000380: JUMP
00000381: JUMPDEST
00000382: PUSH1 0x40
00000384: MLOAD
00000385: DUP1
00000386: DUP3
00000387: DUP2
00000388: MSTORE
00000389: PUSH1 0x20
0000038b: ADD
0000038c: SWAP2
0000038d: POP
0000038e: POP
0000038f: PUSH1 0x40
00000391: MLOAD
00000392: DUP1
00000393: SWAP2
00000394: SUB
00000395: SWAP1
00000396: RETURN
00000397: JUMPDEST
00000398: PUSH2 0x0485
0000039b: PUSH1 0x04
0000039d: DUP1
0000039e: DUP1
0000039f: CALLDATALOAD
000003a0: SWAP1
000003a1: PUSH1 0x20
000003a3: ADD
000003a4: SWAP1
000003a5: SWAP2
000003a6: SWAP1
000003a7: DUP1
000003a8: CALLDATALOAD
000003a9: SWAP1
000003aa: PUSH1 0x20
000003ac: ADD
000003ad: SWAP1
000003ae: DUP3
000003af: ADD
000003b0: DUP1
000003b1: CALLDATALOAD
000003b2: SWAP1
000003b3: PUSH1 0x20
000003b5: ADD
000003b6: SWAP2
000003b7: SWAP2
000003b8: SWAP1
000003b9: DUP1
000003ba: DUP1
000003bb: PUSH1 0x20
000003bd: MUL
000003be: PUSH1 0x20
000003c0: ADD
000003c1: PUSH1 0x40
000003c3: MLOAD
000003c4: SWAP1
000003c5: DUP2
000003c6: ADD
000003c7: PUSH1 0x40
000003c9: MSTORE
000003ca: DUP1
000003cb: SWAP4
000003cc: SWAP3
000003cd: SWAP2
000003ce: SWAP1
000003cf: DUP2
000003d0: DUP2
000003d1: MSTORE
000003d2: PUSH1 0x20
000003d4: ADD
000003d5: PUSH1 0x00
000003d7: SWAP1
000003d8: JUMPDEST
000003d9: DUP3
000003da: DUP3
000003db: LT
000003dc: ISZERO
000003dd: PUSH2 0x041f
000003e0: JUMPI
000003e1: DUP5
000003e2: DUP5
000003e3: DUP4
000003e4: SWAP1
000003e5: POP
000003e6: SWAP1
000003e7: SWAP1
000003e8: PUSH1 0x40
000003ea: MUL
000003eb: ADD
000003ec: PUSH1 0x02
000003ee: DUP1
000003ef: PUSH1 0x20
000003f1: MUL
000003f2: PUSH1 0x40
000003f4: MLOAD
000003f5: SWAP1
000003f6: DUP2
000003f7: ADD
000003f8: PUSH1 0x40
000003fa: MSTORE
000003fb: DUP1
000003fc: SWAP3
000003fd: SWAP2
000003fe: SWAP1
000003ff: DUP3
00000400: PUSH1 0x02
00000402: PUSH1 0x20
00000404: MUL
00000405: DUP1
00000406: DUP3
00000407: DUP5
00000408: CALLDATACOPY
00000409: DUP3
0000040a: ADD
0000040b: SWAP2
0000040c: POP
0000040d: POP
0000040e: POP
0000040f: POP
00000410: POP
00000411: DUP2
00000412: MSTORE
00000413: PUSH1 0x20
00000415: ADD
00000416: SWAP1
00000417: PUSH1 0x01
00000419: ADD
0000041a: SWAP1
0000041b: PUSH2 0x03d8
0000041e: JUMP
0000041f: JUMPDEST
00000420: POP
00000421: POP
00000422: POP
00000423: POP
00000424: POP
00000425: SWAP1
00000426: SWAP1
00000427: SWAP2
00000428: SWAP1
00000429: DUP1
0000042a: CALLDATALOAD
0000042b: SWAP1
0000042c: PUSH1 0x20
0000042e: ADD
0000042f: SWAP1
00000430: DUP3
00000431: ADD
00000432: DUP1
00000433: CALLDATALOAD
00000434: SWAP1
00000435: PUSH1 0x20
00000437: ADD
00000438: SWAP2
00000439: SWAP2
0000043a: SWAP1
0000043b: DUP1
0000043c: DUP1
0000043d: PUSH1 0x20
0000043f: MUL
00000440: PUSH1 0x20
00000442: ADD
00000443: PUSH1 0x40
00000445: MLOAD
00000446: SWAP1
00000447: DUP2
00000448: ADD
00000449: PUSH1 0x40
0000044b: MSTORE
0000044c: DUP1
0000044d: SWAP4
0000044e: SWAP3
0000044f: SWAP2
00000450: SWAP1
00000451: DUP2
00000452: DUP2
00000453: MSTORE
00000454: PUSH1 0x20
00000456: ADD
00000457: DUP4
00000458: DUP4
00000459: PUSH1 0x20
0000045b: MUL
0000045c: DUP1
0000045d: DUP3
0000045e: DUP5
0000045f: CALLDATACOPY
00000460: DUP3
00000461: ADD
00000462: SWAP2
00000463: POP
00000464: POP
00000465: POP
00000466: POP
00000467: POP
00000468: POP
00000469: SWAP1
0000046a: SWAP1
0000046b: SWAP2
0000046c: SWAP1
0000046d: DUP1
0000046e: CALLDATALOAD
0000046f: SWAP1
00000470: PUSH1 0x20
00000472: ADD
00000473: SWAP1
00000474: SWAP2
00000475: SWAP1
00000476: DUP1
00000477: CALLDATALOAD
00000478: SWAP1
00000479: PUSH1 0x20
0000047b: ADD
0000047c: SWAP1
0000047d: SWAP2
0000047e: SWAP1
0000047f: POP
00000480: POP
00000481: PUSH2 0x109c
00000484: JUMP
00000485: JUMPDEST
00000486: PUSH1 0x40
00000488: MLOAD
00000489: DUP1
0000048a: DUP3
0000048b: DUP2
0000048c: MSTORE
0000048d: PUSH1 0x20
0000048f: ADD
00000490: SWAP2
00000491: POP
00000492: POP
00000493: PUSH1 0x40
00000495: MLOAD
00000496: DUP1
00000497: SWAP2
00000498: SUB
00000499: SWAP1
0000049a: RETURN
0000049b: JUMPDEST
0000049c: PUSH2 0x0580
0000049f: PUSH1 0x04
000004a1: DUP1
000004a2: DUP1
000004a3: CALLDATALOAD
000004a4: SWAP1
000004a5: PUSH1 0x20
000004a7: ADD
000004a8: SWAP1
000004a9: SWAP2
000004aa: SWAP1
000004ab: DUP1
000004ac: CALLDATALOAD
000004ad: SWAP1
000004ae: PUSH1 0x20
000004b0: ADD
000004b1: SWAP1
000004b2: DUP3
000004b3: ADD
000004b4: DUP1
000004b5: CALLDATALOAD
000004b6: SWAP1
000004b7: PUSH1 0x20
000004b9: ADD
000004ba: SWAP2
000004bb: SWAP2
000004bc: SWAP1
000004bd: DUP1
000004be: DUP1
000004bf: PUSH1 0x20
000004c1: MUL
000004c2: PUSH1 0x20
000004c4: ADD
000004c5: PUSH1 0x40
000004c7: MLOAD
000004c8: SWAP1
000004c9: DUP2
000004ca: ADD
000004cb: PUSH1 0x40
000004cd: MSTORE
000004ce: DUP1
000004cf: SWAP4
000004d0: SWAP3
000004d1: SWAP2
000004d2: SWAP1
000004d3: DUP2
000004d4: DUP2
000004d5: MSTORE
000004d6: PUSH1 0x20
000004d8: ADD
000004d9: PUSH1 0x00
000004db: SWAP1
000004dc: JUMPDEST
000004dd: DUP3
000004de: DUP3
000004df: LT
000004e0: ISZERO
000004e1: PUSH2 0x0523
000004e4: JUMPI
000004e5: DUP5
000004e6: DUP5
000004e7: DUP4
000004e8: SWAP1
000004e9: POP
000004ea: SWAP1
000004eb: SWAP1
000004ec: PUSH1 0x40
000004ee: MUL
000004ef: ADD
000004f0: PUSH1 0x02
000004f2: DUP1
000004f3: PUSH1 0x20
000004f5: MUL
000004f6: PUSH1 0x40
000004f8: MLOAD
000004f9: SWAP1
000004fa: DUP2
000004fb: ADD
000004fc: PUSH1 0x40
000004fe: MSTORE
000004ff: DUP1
00000500: SWAP3
00000501: SWAP2
00000502: SWAP1
00000503: DUP3
00000504: PUSH1 0x02
00000506: PUSH1 0x20
00000508: MUL
00000509: DUP1
0000050a: DUP3
0000050b: DUP5
0000050c: CALLDATACOPY
0000050d: DUP3
0000050e: ADD
0000050f: SWAP2
00000510: POP
00000511: POP
00000512: POP
00000513: POP
00000514: POP
00000515: DUP2
00000516: MSTORE
00000517: PUSH1 0x20
00000519: ADD
0000051a: SWAP1
0000051b: PUSH1 0x01
0000051d: ADD
0000051e: SWAP1
0000051f: PUSH2 0x04dc
00000522: JUMP
00000523: JUMPDEST
00000524: POP
00000525: POP
00000526: POP
00000527: POP
00000528: POP
00000529: SWAP1
0000052a: SWAP1
0000052b: SWAP2
0000052c: SWAP1
0000052d: DUP1
0000052e: CALLDATALOAD
0000052f: SWAP1
00000530: PUSH1 0x20
00000532: ADD
00000533: SWAP1
00000534: DUP3
00000535: ADD
00000536: DUP1
00000537: CALLDATALOAD
00000538: SWAP1
00000539: PUSH1 0x20
0000053b: ADD
0000053c: SWAP2
0000053d: SWAP2
0000053e: SWAP1
0000053f: DUP1
00000540: DUP1
00000541: PUSH1 0x20
00000543: MUL
00000544: PUSH1 0x20
00000546: ADD
00000547: PUSH1 0x40
00000549: MLOAD
0000054a: SWAP1
0000054b: DUP2
0000054c: ADD
0000054d: PUSH1 0x40
0000054f: MSTORE
00000550: DUP1
00000551: SWAP4
00000552: SWAP3
00000553: SWAP2
00000554: SWAP1
00000555: DUP2
00000556: DUP2
00000557: MSTORE
00000558: PUSH1 0x20
0000055a: ADD
0000055b: DUP4
0000055c: DUP4
0000055d: PUSH1 0x20
0000055f: MUL
00000560: DUP1
00000561: DUP3
00000562: DUP5
00000563: CALLDATACOPY
00000564: DUP3
00000565: ADD
00000566: SWAP2
00000567: POP
00000568: POP
00000569: POP
0000056a: POP
0000056b: POP
0000056c: POP
0000056d: SWAP1
0000056e: SWAP1
0000056f: SWAP2
00000570: SWAP1
00000571: DUP1
00000572: CALLDATALOAD
00000573: SWAP1
00000574: PUSH1 0x20
00000576: ADD
00000577: SWAP1
00000578: SWAP2
00000579: SWAP1
0000057a: POP
0000057b: POP
0000057c: PUSH2 0x0582
0000057f: JUMP
00000580: JUMPDEST
00000581: STOP
00000582: JUMPDEST
00000583: DUP4
00000584: DUP2
00000585: PUSH1 0x40
00000587: MLOAD
00000588: DUP1
00000589: DUP1
0000058a: PUSH32 0x6164644163636f756e74486f6c64657200000000000000000000000000000000
000005ab: DUP2
000005ac: MSTORE
000005ad: PUSH1 0x20
000005af: ADD
000005b0: POP
000005b1: PUSH1 0x10
000005b3: ADD
000005b4: DUP4
000005b5: PUSH4 0xffffffff
000005ba: AND
000005bb: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000005d9: MUL
000005da: DUP2
000005db: MSTORE
000005dc: PUSH1 0x04
000005de: ADD
000005df: DUP3
000005e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005f5: AND
000005f6: PUSH13 0x01000000000000000000000000
00000604: MUL
00000605: DUP2
00000606: MSTORE
00000607: PUSH1 0x14
00000609: ADD
0000060a: SWAP3
0000060b: POP
0000060c: POP
0000060d: POP
0000060e: PUSH1 0x40
00000610: MLOAD
00000611: DUP1
00000612: SWAP2
00000613: SUB
00000614: SWAP1
00000615: KECCAK256
00000616: DUP5
00000617: PUSH4 0xffffffff
0000061c: AND
0000061d: DUP5
0000061e: DUP5
0000061f: PUSH2 0x0659
00000622: DUP5
00000623: DUP5
00000624: PUSH1 0x02
00000626: PUSH1 0x00
00000628: POP
00000629: PUSH1 0x00
0000062b: ORIGIN
0000062c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000641: AND
00000642: DUP2
00000643: MSTORE
00000644: PUSH1 0x20
00000646: ADD
00000647: SWAP1
00000648: DUP2
00000649: MSTORE
0000064a: PUSH1 0x20
0000064c: ADD
0000064d: PUSH1 0x00
0000064f: KECCAK256
00000650: PUSH1 0x00
00000652: POP
00000653: DUP6
00000654: DUP6
00000655: PUSH2 0x1b2d
00000658: JUMP
00000659: JUMPDEST
0000065a: ISZERO
0000065b: PUSH2 0x07d2
0000065e: JUMPI
0000065f: ORIGIN
00000660: PUSH1 0x00
00000662: PUSH1 0x02
00000664: PUSH1 0x00
00000666: POP
00000667: PUSH1 0x00
00000669: DUP4
0000066a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000067f: AND
00000680: DUP2
00000681: MSTORE
00000682: PUSH1 0x20
00000684: ADD
00000685: SWAP1
00000686: DUP2
00000687: MSTORE
00000688: PUSH1 0x20
0000068a: ADD
0000068b: PUSH1 0x00
0000068d: KECCAK256
0000068e: PUSH1 0x00
00000690: POP
00000691: PUSH1 0x00
00000693: ADD
00000694: PUSH1 0x00
00000696: SWAP1
00000697: SLOAD
00000698: SWAP1
00000699: PUSH2 0x0100
0000069c: EXP
0000069d: SWAP1
0000069e: DIV
0000069f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006b4: AND
000006b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006ca: AND
000006cb: EQ
000006cc: ISZERO
000006cd: ISZERO
000006ce: PUSH2 0x0728
000006d1: JUMPI
000006d2: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab
000006f3: DUP2
000006f4: PUSH1 0x40
000006f6: MLOAD
000006f7: DUP1
000006f8: DUP3
000006f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000070e: AND
0000070f: DUP2
00000710: MSTORE
00000711: PUSH1 0x20
00000713: ADD
00000714: SWAP2
00000715: POP
00000716: POP
00000717: PUSH1 0x40
00000719: MLOAD
0000071a: DUP1
0000071b: SWAP2
0000071c: SUB
0000071d: SWAP1
0000071e: LOG1
0000071f: POP
00000720: POP
00000721: POP
00000722: POP
00000723: POP
00000724: PUSH2 0x082d
00000727: JUMP
00000728: JUMPDEST
00000729: PUSH2 0x0760
0000072c: PUSH1 0x02
0000072e: PUSH1 0x00
00000730: POP
00000731: PUSH1 0x00
00000733: ORIGIN
00000734: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000749: AND
0000074a: DUP2
0000074b: MSTORE
0000074c: PUSH1 0x20
0000074e: ADD
0000074f: SWAP1
00000750: DUP2
00000751: MSTORE
00000752: PUSH1 0x20
00000754: ADD
00000755: PUSH1 0x00
00000757: KECCAK256
00000758: PUSH1 0x00
0000075a: POP
0000075b: DUP8
0000075c: PUSH2 0x2113
0000075f: JUMP
00000760: JUMPDEST
00000761: POP
00000762: PUSH32 0xbff239368e8b4bf45ee6cce5e1b0e2741ebe4948db7d7c3d54bfe5dbe803fe09
00000783: ORIGIN
00000784: DUP8
00000785: PUSH1 0x40
00000787: MLOAD
00000788: DUP1
00000789: DUP4
0000078a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000079f: AND
000007a0: DUP2
000007a1: MSTORE
000007a2: PUSH1 0x20
000007a4: ADD
000007a5: DUP3
000007a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007bb: AND
000007bc: DUP2
000007bd: MSTORE
000007be: PUSH1 0x20
000007c0: ADD
000007c1: SWAP3
000007c2: POP
000007c3: POP
000007c4: POP
000007c5: PUSH1 0x40
000007c7: MLOAD
000007c8: DUP1
000007c9: SWAP2
000007ca: SUB
000007cb: SWAP1
000007cc: LOG1
000007cd: POP
000007ce: PUSH2 0x0828
000007d1: JUMP
000007d2: JUMPDEST
000007d3: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
000007f4: ORIGIN
000007f5: PUSH1 0x40
000007f7: MLOAD
000007f8: DUP1
000007f9: DUP3
000007fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000080f: AND
00000810: DUP2
00000811: MSTORE
00000812: PUSH1 0x20
00000814: ADD
00000815: SWAP2
00000816: POP
00000817: POP
00000818: PUSH1 0x40
0000081a: MLOAD
0000081b: DUP1
0000081c: SWAP2
0000081d: SUB
0000081e: SWAP1
0000081f: LOG1
00000820: POP
00000821: POP
00000822: POP
00000823: POP
00000824: PUSH2 0x082d
00000827: JUMP
00000828: JUMPDEST
00000829: POP
0000082a: POP
0000082b: POP
0000082c: POP
0000082d: JUMPDEST
0000082e: POP
0000082f: POP
00000830: POP
00000831: POP
00000832: JUMP
00000833: JUMPDEST
00000834: DUP4
00000835: DUP2
00000836: PUSH1 0x40
00000838: MLOAD
00000839: DUP1
0000083a: DUP1
0000083b: PUSH32 0x72656d6f76654163636f756e74486f6c64657200000000000000000000000000
0000085c: DUP2
0000085d: MSTORE
0000085e: PUSH1 0x20
00000860: ADD
00000861: POP
00000862: PUSH1 0x13
00000864: ADD
00000865: DUP4
00000866: PUSH4 0xffffffff
0000086b: AND
0000086c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000088a: MUL
0000088b: DUP2
0000088c: MSTORE
0000088d: PUSH1 0x04
0000088f: ADD
00000890: DUP3
00000891: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008a6: AND
000008a7: PUSH13 0x01000000000000000000000000
000008b5: MUL
000008b6: DUP2
000008b7: MSTORE
000008b8: PUSH1 0x14
000008ba: ADD
000008bb: SWAP3
000008bc: POP
000008bd: POP
000008be: POP
000008bf: PUSH1 0x40
000008c1: MLOAD
000008c2: DUP1
000008c3: SWAP2
000008c4: SUB
000008c5: SWAP1
000008c6: KECCAK256
000008c7: DUP5
000008c8: PUSH4 0xffffffff
000008cd: AND
000008ce: DUP5
000008cf: DUP5
000008d0: PUSH2 0x090a
000008d3: DUP5
000008d4: DUP5
000008d5: PUSH1 0x02
000008d7: PUSH1 0x00
000008d9: POP
000008da: PUSH1 0x00
000008dc: ORIGIN
000008dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008f2: AND
000008f3: DUP2
000008f4: MSTORE
000008f5: PUSH1 0x20
000008f7: ADD
000008f8: SWAP1
000008f9: DUP2
000008fa: MSTORE
000008fb: PUSH1 0x20
000008fd: ADD
000008fe: PUSH1 0x00
00000900: KECCAK256
00000901: PUSH1 0x00
00000903: POP
00000904: DUP6
00000905: DUP6
00000906: PUSH2 0x1b2d
00000909: JUMP
0000090a: JUMPDEST
0000090b: ISZERO
0000090c: PUSH2 0x0a83
0000090f: JUMPI
00000910: ORIGIN
00000911: PUSH1 0x00
00000913: PUSH1 0x02
00000915: PUSH1 0x00
00000917: POP
00000918: PUSH1 0x00
0000091a: DUP4
0000091b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000930: AND
00000931: DUP2
00000932: MSTORE
00000933: PUSH1 0x20
00000935: ADD
00000936: SWAP1
00000937: DUP2
00000938: MSTORE
00000939: PUSH1 0x20
0000093b: ADD
0000093c: PUSH1 0x00
0000093e: KECCAK256
0000093f: PUSH1 0x00
00000941: POP
00000942: PUSH1 0x00
00000944: ADD
00000945: PUSH1 0x00
00000947: SWAP1
00000948: SLOAD
00000949: SWAP1
0000094a: PUSH2 0x0100
0000094d: EXP
0000094e: SWAP1
0000094f: DIV
00000950: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000965: AND
00000966: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000097b: AND
0000097c: EQ
0000097d: ISZERO
0000097e: ISZERO
0000097f: PUSH2 0x09d9
00000982: JUMPI
00000983: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab
000009a4: DUP2
000009a5: PUSH1 0x40
000009a7: MLOAD
000009a8: DUP1
000009a9: DUP3
000009aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009bf: AND
000009c0: DUP2
000009c1: MSTORE
000009c2: PUSH1 0x20
000009c4: ADD
000009c5: SWAP2
000009c6: POP
000009c7: POP
000009c8: PUSH1 0x40
000009ca: MLOAD
000009cb: DUP1
000009cc: SWAP2
000009cd: SUB
000009ce: SWAP1
000009cf: LOG1
000009d0: POP
000009d1: POP
000009d2: POP
000009d3: POP
000009d4: POP
000009d5: PUSH2 0x0ade
000009d8: JUMP
000009d9: JUMPDEST
000009da: PUSH2 0x0a11
000009dd: PUSH1 0x02
000009df: PUSH1 0x00
000009e1: POP
000009e2: PUSH1 0x00
000009e4: ORIGIN
000009e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009fa: AND
000009fb: DUP2
000009fc: MSTORE
000009fd: PUSH1 0x20
000009ff: ADD
00000a00: SWAP1
00000a01: DUP2
00000a02: MSTORE
00000a03: PUSH1 0x20
00000a05: ADD
00000a06: PUSH1 0x00
00000a08: KECCAK256
00000a09: PUSH1 0x00
00000a0b: POP
00000a0c: DUP8
00000a0d: PUSH2 0x21df
00000a10: JUMP
00000a11: JUMPDEST
00000a12: POP
00000a13: PUSH32 0x22af60524ce682cbad24163f2031a80ec2bd0d1a76e9d56d47c36857b791cabe
00000a34: ORIGIN
00000a35: DUP8
00000a36: PUSH1 0x40
00000a38: MLOAD
00000a39: DUP1
00000a3a: DUP4
00000a3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a50: AND
00000a51: DUP2
00000a52: MSTORE
00000a53: PUSH1 0x20
00000a55: ADD
00000a56: DUP3
00000a57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a6c: AND
00000a6d: DUP2
00000a6e: MSTORE
00000a6f: PUSH1 0x20
00000a71: ADD
00000a72: SWAP3
00000a73: POP
00000a74: POP
00000a75: POP
00000a76: PUSH1 0x40
00000a78: MLOAD
00000a79: DUP1
00000a7a: SWAP2
00000a7b: SUB
00000a7c: SWAP1
00000a7d: LOG1
00000a7e: POP
00000a7f: PUSH2 0x0ad9
00000a82: JUMP
00000a83: JUMPDEST
00000a84: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
00000aa5: ORIGIN
00000aa6: PUSH1 0x40
00000aa8: MLOAD
00000aa9: DUP1
00000aaa: DUP3
00000aab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac0: AND
00000ac1: DUP2
00000ac2: MSTORE
00000ac3: PUSH1 0x20
00000ac5: ADD
00000ac6: SWAP2
00000ac7: POP
00000ac8: POP
00000ac9: PUSH1 0x40
00000acb: MLOAD
00000acc: DUP1
00000acd: SWAP2
00000ace: SUB
00000acf: SWAP1
00000ad0: LOG1
00000ad1: POP
00000ad2: POP
00000ad3: POP
00000ad4: POP
00000ad5: PUSH2 0x0ade
00000ad8: JUMP
00000ad9: JUMPDEST
00000ada: POP
00000adb: POP
00000adc: POP
00000add: POP
00000ade: JUMPDEST
00000adf: POP
00000ae0: POP
00000ae1: POP
00000ae2: POP
00000ae3: JUMP
00000ae4: JUMPDEST
00000ae5: DUP4
00000ae6: DUP2
00000ae7: PUSH1 0x40
00000ae9: MLOAD
00000aea: DUP1
00000aeb: DUP1
00000aec: PUSH32 0x6368616e67654163636f756e745369676e735265717569726564000000000000
00000b0d: DUP2
00000b0e: MSTORE
00000b0f: PUSH1 0x20
00000b11: ADD
00000b12: POP
00000b13: PUSH1 0x1a
00000b15: ADD
00000b16: DUP4
00000b17: PUSH4 0xffffffff
00000b1c: AND
00000b1d: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000b3b: MUL
00000b3c: DUP2
00000b3d: MSTORE
00000b3e: PUSH1 0x04
00000b40: ADD
00000b41: DUP3
00000b42: PUSH1 0xff
00000b44: AND
00000b45: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
00000b66: MUL
00000b67: DUP2
00000b68: MSTORE
00000b69: PUSH1 0x01
00000b6b: ADD
00000b6c: SWAP3
00000b6d: POP
00000b6e: POP
00000b6f: POP
00000b70: PUSH1 0x40
00000b72: MLOAD
00000b73: DUP1
00000b74: SWAP2
00000b75: SUB
00000b76: SWAP1
00000b77: KECCAK256
00000b78: DUP5
00000b79: PUSH4 0xffffffff
00000b7e: AND
00000b7f: DUP5
00000b80: DUP5
00000b81: PUSH2 0x0bbb
00000b84: DUP5
00000b85: DUP5
00000b86: PUSH1 0x02
00000b88: PUSH1 0x00
00000b8a: POP
00000b8b: PUSH1 0x00
00000b8d: ORIGIN
00000b8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba3: AND
00000ba4: DUP2
00000ba5: MSTORE
00000ba6: PUSH1 0x20
00000ba8: ADD
00000ba9: SWAP1
00000baa: DUP2
00000bab: MSTORE
00000bac: PUSH1 0x20
00000bae: ADD
00000baf: PUSH1 0x00
00000bb1: KECCAK256
00000bb2: PUSH1 0x00
00000bb4: POP
00000bb5: DUP6
00000bb6: DUP6
00000bb7: PUSH2 0x1b2d
00000bba: JUMP
00000bbb: JUMPDEST
00000bbc: ISZERO
00000bbd: PUSH2 0x0d21
00000bc0: JUMPI
00000bc1: ORIGIN
00000bc2: PUSH1 0x00
00000bc4: PUSH1 0x02
00000bc6: PUSH1 0x00
00000bc8: POP
00000bc9: PUSH1 0x00
00000bcb: DUP4
00000bcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000be1: AND
00000be2: DUP2
00000be3: MSTORE
00000be4: PUSH1 0x20
00000be6: ADD
00000be7: SWAP1
00000be8: DUP2
00000be9: MSTORE
00000bea: PUSH1 0x20
00000bec: ADD
00000bed: PUSH1 0x00
00000bef: KECCAK256
00000bf0: PUSH1 0x00
00000bf2: POP
00000bf3: PUSH1 0x00
00000bf5: ADD
00000bf6: PUSH1 0x00
00000bf8: SWAP1
00000bf9: SLOAD
00000bfa: SWAP1
00000bfb: PUSH2 0x0100
00000bfe: EXP
00000bff: SWAP1
00000c00: DIV
00000c01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c16: AND
00000c17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c2c: AND
00000c2d: EQ
00000c2e: ISZERO
00000c2f: ISZERO
00000c30: PUSH2 0x0c8a
00000c33: JUMPI
00000c34: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab
00000c55: DUP2
00000c56: PUSH1 0x40
00000c58: MLOAD
00000c59: DUP1
00000c5a: DUP3
00000c5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c70: AND
00000c71: DUP2
00000c72: MSTORE
00000c73: PUSH1 0x20
00000c75: ADD
00000c76: SWAP2
00000c77: POP
00000c78: POP
00000c79: PUSH1 0x40
00000c7b: MLOAD
00000c7c: DUP1
00000c7d: SWAP2
00000c7e: SUB
00000c7f: SWAP1
00000c80: LOG1
00000c81: POP
00000c82: POP
00000c83: POP
00000c84: POP
00000c85: POP
00000c86: PUSH2 0x0d7c
00000c89: JUMP
00000c8a: JUMPDEST
00000c8b: PUSH2 0x0cc2
00000c8e: PUSH1 0x02
00000c90: PUSH1 0x00
00000c92: POP
00000c93: PUSH1 0x00
00000c95: ORIGIN
00000c96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cab: AND
00000cac: DUP2
00000cad: MSTORE
00000cae: PUSH1 0x20
00000cb0: ADD
00000cb1: SWAP1
00000cb2: DUP2
00000cb3: MSTORE
00000cb4: PUSH1 0x20
00000cb6: ADD
00000cb7: PUSH1 0x00
00000cb9: KECCAK256
00000cba: PUSH1 0x00
00000cbc: POP
00000cbd: DUP8
00000cbe: PUSH2 0x22df
00000cc1: JUMP
00000cc2: JUMPDEST
00000cc3: POP
00000cc4: PUSH32 0x6e4df7e2970df77ef3a702610e1fb0bd668283a8c0e3c91f90938b5a7efc0acc
00000ce5: ORIGIN
00000ce6: DUP8
00000ce7: PUSH1 0x40
00000ce9: MLOAD
00000cea: DUP1
00000ceb: DUP4
00000cec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d01: AND
00000d02: DUP2
00000d03: MSTORE
00000d04: PUSH1 0x20
00000d06: ADD
00000d07: DUP3
00000d08: PUSH1 0xff
00000d0a: AND
00000d0b: DUP2
00000d0c: MSTORE
00000d0d: PUSH1 0x20
00000d0f: ADD
00000d10: SWAP3
00000d11: POP
00000d12: POP
00000d13: POP
00000d14: PUSH1 0x40
00000d16: MLOAD
00000d17: DUP1
00000d18: SWAP2
00000d19: SUB
00000d1a: SWAP1
00000d1b: LOG1
00000d1c: POP
00000d1d: PUSH2 0x0d77
00000d20: JUMP
00000d21: JUMPDEST
00000d22: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
00000d43: ORIGIN
00000d44: PUSH1 0x40
00000d46: MLOAD
00000d47: DUP1
00000d48: DUP3
00000d49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d5e: AND
00000d5f: DUP2
00000d60: MSTORE
00000d61: PUSH1 0x20
00000d63: ADD
00000d64: SWAP2
00000d65: POP
00000d66: POP
00000d67: PUSH1 0x40
00000d69: MLOAD
00000d6a: DUP1
00000d6b: SWAP2
00000d6c: SUB
00000d6d: SWAP1
00000d6e: LOG1
00000d6f: POP
00000d70: POP
00000d71: POP
00000d72: POP
00000d73: PUSH2 0x0d7c
00000d76: JUMP
00000d77: JUMPDEST
00000d78: POP
00000d79: POP
00000d7a: POP
00000d7b: POP
00000d7c: JUMPDEST
00000d7d: POP
00000d7e: POP
00000d7f: POP
00000d80: POP
00000d81: JUMP
00000d82: JUMPDEST
00000d83: PUSH1 0x00
00000d85: DUP5
00000d86: DUP3
00000d87: PUSH1 0x40
00000d89: MLOAD
00000d8a: DUP1
00000d8b: DUP1
00000d8c: PUSH32 0x7265636f7665724163636f756e74000000000000000000000000000000000000
00000dad: DUP2
00000dae: MSTORE
00000daf: PUSH1 0x20
00000db1: ADD
00000db2: POP
00000db3: PUSH1 0x0e
00000db5: ADD
00000db6: DUP4
00000db7: PUSH4 0xffffffff
00000dbc: AND
00000dbd: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000ddb: MUL
00000ddc: DUP2
00000ddd: MSTORE
00000dde: PUSH1 0x04
00000de0: ADD
00000de1: DUP3
00000de2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df7: AND
00000df8: PUSH13 0x01000000000000000000000000
00000e06: MUL
00000e07: DUP2
00000e08: MSTORE
00000e09: PUSH1 0x14
00000e0b: ADD
00000e0c: SWAP3
00000e0d: POP
00000e0e: POP
00000e0f: POP
00000e10: PUSH1 0x40
00000e12: MLOAD
00000e13: DUP1
00000e14: SWAP2
00000e15: SUB
00000e16: SWAP1
00000e17: KECCAK256
00000e18: DUP6
00000e19: PUSH4 0xffffffff
00000e1e: AND
00000e1f: DUP6
00000e20: DUP6
00000e21: PUSH2 0x0e5b
00000e24: DUP5
00000e25: DUP5
00000e26: PUSH1 0x02
00000e28: PUSH1 0x00
00000e2a: POP
00000e2b: PUSH1 0x00
00000e2d: ORIGIN
00000e2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e43: AND
00000e44: DUP2
00000e45: MSTORE
00000e46: PUSH1 0x20
00000e48: ADD
00000e49: SWAP1
00000e4a: DUP2
00000e4b: MSTORE
00000e4c: PUSH1 0x20
00000e4e: ADD
00000e4f: PUSH1 0x00
00000e51: KECCAK256
00000e52: PUSH1 0x00
00000e54: POP
00000e55: DUP6
00000e56: DUP6
00000e57: PUSH2 0x1b2d
00000e5a: JUMP
00000e5b: JUMPDEST
00000e5c: ISZERO
00000e5d: PUSH2 0x103a
00000e60: JUMPI
00000e61: ORIGIN
00000e62: PUSH1 0x00
00000e64: PUSH1 0x02
00000e66: PUSH1 0x00
00000e68: POP
00000e69: PUSH1 0x00
00000e6b: DUP4
00000e6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e81: AND
00000e82: DUP2
00000e83: MSTORE
00000e84: PUSH1 0x20
00000e86: ADD
00000e87: SWAP1
00000e88: DUP2
00000e89: MSTORE
00000e8a: PUSH1 0x20
00000e8c: ADD
00000e8d: PUSH1 0x00
00000e8f: KECCAK256
00000e90: PUSH1 0x00
00000e92: POP
00000e93: PUSH1 0x00
00000e95: ADD
00000e96: PUSH1 0x00
00000e98: SWAP1
00000e99: SLOAD
00000e9a: SWAP1
00000e9b: PUSH2 0x0100
00000e9e: EXP
00000e9f: SWAP1
00000ea0: DIV
00000ea1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eb6: AND
00000eb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ecc: AND
00000ecd: EQ
00000ece: ISZERO
00000ecf: ISZERO
00000ed0: PUSH2 0x0f2a
00000ed3: JUMPI
00000ed4: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab
00000ef5: DUP2
00000ef6: PUSH1 0x40
00000ef8: MLOAD
00000ef9: DUP1
00000efa: DUP3
00000efb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f10: AND
00000f11: DUP2
00000f12: MSTORE
00000f13: PUSH1 0x20
00000f15: ADD
00000f16: SWAP2
00000f17: POP
00000f18: POP
00000f19: PUSH1 0x40
00000f1b: MLOAD
00000f1c: DUP1
00000f1d: SWAP2
00000f1e: SUB
00000f1f: SWAP1
00000f20: LOG1
00000f21: POP
00000f22: POP
00000f23: POP
00000f24: POP
00000f25: POP
00000f26: PUSH2 0x1095
00000f29: JUMP
00000f2a: JUMPDEST
00000f2b: PUSH1 0x02
00000f2d: PUSH1 0x00
00000f2f: POP
00000f30: PUSH1 0x00
00000f32: ORIGIN
00000f33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f48: AND
00000f49: DUP2
00000f4a: MSTORE
00000f4b: PUSH1 0x20
00000f4d: ADD
00000f4e: SWAP1
00000f4f: DUP2
00000f50: MSTORE
00000f51: PUSH1 0x20
00000f53: ADD
00000f54: PUSH1 0x00
00000f56: KECCAK256
00000f57: PUSH1 0x00
00000f59: POP
00000f5a: PUSH1 0x03
00000f5c: ADD
00000f5d: PUSH1 0x00
00000f5f: POP
00000f60: SLOAD
00000f61: SWAP6
00000f62: POP
00000f63: DUP6
00000f64: PUSH1 0x02
00000f66: PUSH1 0x00
00000f68: POP
00000f69: PUSH1 0x00
00000f6b: DUP10
00000f6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f81: AND
00000f82: DUP2
00000f83: MSTORE
00000f84: PUSH1 0x20
00000f86: ADD
00000f87: SWAP1
00000f88: DUP2
00000f89: MSTORE
00000f8a: PUSH1 0x20
00000f8c: ADD
00000f8d: PUSH1 0x00
00000f8f: KECCAK256
00000f90: PUSH1 0x00
00000f92: POP
00000f93: PUSH1 0x03
00000f95: ADD
00000f96: PUSH1 0x00
00000f98: DUP3
00000f99: DUP3
00000f9a: DUP3
00000f9b: POP
00000f9c: SLOAD
00000f9d: ADD
00000f9e: SWAP3
00000f9f: POP
00000fa0: POP
00000fa1: DUP2
00000fa2: SWAP1
00000fa3: SSTORE
00000fa4: POP
00000fa5: PUSH1 0x00
00000fa7: PUSH1 0x02
00000fa9: PUSH1 0x00
00000fab: POP
00000fac: PUSH1 0x00
00000fae: ORIGIN
00000faf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fc4: AND
00000fc5: DUP2
00000fc6: MSTORE
00000fc7: PUSH1 0x20
00000fc9: ADD
00000fca: SWAP1
00000fcb: DUP2
00000fcc: MSTORE
00000fcd: PUSH1 0x20
00000fcf: ADD
00000fd0: PUSH1 0x00
00000fd2: KECCAK256
00000fd3: PUSH1 0x00
00000fd5: POP
00000fd6: PUSH1 0x03
00000fd8: ADD
00000fd9: PUSH1 0x00
00000fdb: POP
00000fdc: DUP2
00000fdd: SWAP1
00000fde: SSTORE
00000fdf: POP
00000fe0: PUSH32 0x17c6e25ab465631dc2ebb2a44b74d34c9e88f03c9ba4fab16b922679985f7998
00001001: DUP8
00001002: DUP8
00001003: PUSH1 0x40
00001005: MLOAD
00001006: DUP1
00001007: DUP4
00001008: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000101d: AND
0000101e: DUP2
0000101f: MSTORE
00001020: PUSH1 0x20
00001022: ADD
00001023: DUP3
00001024: DUP2
00001025: MSTORE
00001026: PUSH1 0x20
00001028: ADD
00001029: SWAP3
0000102a: POP
0000102b: POP
0000102c: POP
0000102d: PUSH1 0x40
0000102f: MLOAD
00001030: DUP1
00001031: SWAP2
00001032: SUB
00001033: SWAP1
00001034: LOG1
00001035: POP
00001036: PUSH2 0x1090
00001039: JUMP
0000103a: JUMPDEST
0000103b: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
0000105c: ORIGIN
0000105d: PUSH1 0x40
0000105f: MLOAD
00001060: DUP1
00001061: DUP3
00001062: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001077: AND
00001078: DUP2
00001079: MSTORE
0000107a: PUSH1 0x20
0000107c: ADD
0000107d: SWAP2
0000107e: POP
0000107f: POP
00001080: PUSH1 0x40
00001082: MLOAD
00001083: DUP1
00001084: SWAP2
00001085: SUB
00001086: SWAP1
00001087: LOG1
00001088: POP
00001089: POP
0000108a: POP
0000108b: POP
0000108c: PUSH2 0x1095
0000108f: JUMP
00001090: JUMPDEST
00001091: POP
00001092: POP
00001093: POP
00001094: POP
00001095: JUMPDEST
00001096: POP
00001097: POP
00001098: POP
00001099: POP
0000109a: POP
0000109b: JUMP
0000109c: JUMPDEST
0000109d: PUSH1 0x00
0000109f: DUP6
000010a0: ORIGIN
000010a1: DUP5
000010a2: DUP5
000010a3: PUSH1 0x40
000010a5: MLOAD
000010a6: DUP1
000010a7: DUP1
000010a8: PUSH32 0x7472616e73666572000000000000000000000000000000000000000000000000
000010c9: DUP2
000010ca: MSTORE
000010cb: PUSH1 0x20
000010cd: ADD
000010ce: POP
000010cf: PUSH1 0x08
000010d1: ADD
000010d2: DUP6
000010d3: PUSH4 0xffffffff
000010d8: AND
000010d9: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000010f7: MUL
000010f8: DUP2
000010f9: MSTORE
000010fa: PUSH1 0x04
000010fc: ADD
000010fd: DUP5
000010fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001113: AND
00001114: PUSH13 0x01000000000000000000000000
00001122: MUL
00001123: DUP2
00001124: MSTORE
00001125: PUSH1 0x14
00001127: ADD
00001128: DUP4
00001129: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000113e: AND
0000113f: PUSH13 0x01000000000000000000000000
0000114d: MUL
0000114e: DUP2
0000114f: MSTORE
00001150: PUSH1 0x14
00001152: ADD
00001153: DUP3
00001154: DUP2
00001155: MSTORE
00001156: PUSH1 0x20
00001158: ADD
00001159: SWAP5
0000115a: POP
0000115b: POP
0000115c: POP
0000115d: POP
0000115e: POP
0000115f: PUSH1 0x40
00001161: MLOAD
00001162: DUP1
00001163: SWAP2
00001164: SUB
00001165: SWAP1
00001166: KECCAK256
00001167: DUP7
00001168: PUSH4 0xffffffff
0000116d: AND
0000116e: DUP7
0000116f: DUP7
00001170: PUSH2 0x11aa
00001173: DUP5
00001174: DUP5
00001175: PUSH1 0x02
00001177: PUSH1 0x00
00001179: POP
0000117a: PUSH1 0x00
0000117c: ORIGIN
0000117d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001192: AND
00001193: DUP2
00001194: MSTORE
00001195: PUSH1 0x20
00001197: ADD
00001198: SWAP1
00001199: DUP2
0000119a: MSTORE
0000119b: PUSH1 0x20
0000119d: ADD
0000119e: PUSH1 0x00
000011a0: KECCAK256
000011a1: PUSH1 0x00
000011a3: POP
000011a4: DUP6
000011a5: DUP6
000011a6: PUSH2 0x1b2d
000011a9: JUMP
000011aa: JUMPDEST
000011ab: ISZERO
000011ac: PUSH2 0x1509
000011af: JUMPI
000011b0: ORIGIN
000011b1: PUSH1 0x00
000011b3: PUSH1 0x02
000011b5: PUSH1 0x00
000011b7: POP
000011b8: PUSH1 0x00
000011ba: DUP4
000011bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d0: AND
000011d1: DUP2
000011d2: MSTORE
000011d3: PUSH1 0x20
000011d5: ADD
000011d6: SWAP1
000011d7: DUP2
000011d8: MSTORE
000011d9: PUSH1 0x20
000011db: ADD
000011dc: PUSH1 0x00
000011de: KECCAK256
000011df: PUSH1 0x00
000011e1: POP
000011e2: PUSH1 0x00
000011e4: ADD
000011e5: PUSH1 0x00
000011e7: SWAP1
000011e8: SLOAD
000011e9: SWAP1
000011ea: PUSH2 0x0100
000011ed: EXP
000011ee: SWAP1
000011ef: DIV
000011f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001205: AND
00001206: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000121b: AND
0000121c: EQ
0000121d: ISZERO
0000121e: ISZERO
0000121f: PUSH2 0x1279
00001222: JUMPI
00001223: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab
00001244: DUP2
00001245: PUSH1 0x40
00001247: MLOAD
00001248: DUP1
00001249: DUP3
0000124a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000125f: AND
00001260: DUP2
00001261: MSTORE
00001262: PUSH1 0x20
00001264: ADD
00001265: SWAP2
00001266: POP
00001267: POP
00001268: PUSH1 0x40
0000126a: MLOAD
0000126b: DUP1
0000126c: SWAP2
0000126d: SUB
0000126e: SWAP1
0000126f: LOG1
00001270: POP
00001271: POP
00001272: POP
00001273: POP
00001274: POP
00001275: PUSH2 0x1564
00001278: JUMP
00001279: JUMPDEST
0000127a: DUP8
0000127b: PUSH1 0x00
0000127d: PUSH1 0x02
0000127f: PUSH1 0x00
00001281: POP
00001282: PUSH1 0x00
00001284: DUP4
00001285: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000129a: AND
0000129b: DUP2
0000129c: MSTORE
0000129d: PUSH1 0x20
0000129f: ADD
000012a0: SWAP1
000012a1: DUP2
000012a2: MSTORE
000012a3: PUSH1 0x20
000012a5: ADD
000012a6: PUSH1 0x00
000012a8: KECCAK256
000012a9: PUSH1 0x00
000012ab: POP
000012ac: PUSH1 0x00
000012ae: ADD
000012af: PUSH1 0x00
000012b1: SWAP1
000012b2: SLOAD
000012b3: SWAP1
000012b4: PUSH2 0x0100
000012b7: EXP
000012b8: SWAP1
000012b9: DIV
000012ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012cf: AND
000012d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e5: AND
000012e6: EQ
000012e7: ISZERO
000012e8: ISZERO
000012e9: PUSH2 0x1344
000012ec: JUMPI
000012ed: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab
0000130e: DUP2
0000130f: PUSH1 0x40
00001311: MLOAD
00001312: DUP1
00001313: DUP3
00001314: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001329: AND
0000132a: DUP2
0000132b: MSTORE
0000132c: PUSH1 0x20
0000132e: ADD
0000132f: SWAP2
00001330: POP
00001331: POP
00001332: PUSH1 0x40
00001334: MLOAD
00001335: DUP1
00001336: SWAP2
00001337: SUB
00001338: SWAP1
00001339: LOG1
0000133a: POP
0000133b: POP
0000133c: POP
0000133d: POP
0000133e: POP
0000133f: POP
00001340: PUSH2 0x1564
00001343: JUMP
00001344: JUMPDEST
00001345: DUP8
00001346: PUSH1 0x02
00001348: PUSH1 0x00
0000134a: POP
0000134b: PUSH1 0x00
0000134d: ORIGIN
0000134e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001363: AND
00001364: DUP2
00001365: MSTORE
00001366: PUSH1 0x20
00001368: ADD
00001369: SWAP1
0000136a: DUP2
0000136b: MSTORE
0000136c: PUSH1 0x20
0000136e: ADD
0000136f: PUSH1 0x00
00001371: KECCAK256
00001372: PUSH1 0x00
00001374: POP
00001375: PUSH1 0x03
00001377: ADD
00001378: PUSH1 0x00
0000137a: POP
0000137b: SLOAD
0000137c: LT
0000137d: ISZERO
0000137e: ISZERO
0000137f: PUSH2 0x14f4
00001382: JUMPI
00001383: DUP8
00001384: PUSH1 0x02
00001386: PUSH1 0x00
00001388: POP
00001389: PUSH1 0x00
0000138b: ORIGIN
0000138c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a1: AND
000013a2: DUP2
000013a3: MSTORE
000013a4: PUSH1 0x20
000013a6: ADD
000013a7: SWAP1
000013a8: DUP2
000013a9: MSTORE
000013aa: PUSH1 0x20
000013ac: ADD
000013ad: PUSH1 0x00
000013af: KECCAK256
000013b0: PUSH1 0x00
000013b2: POP
000013b3: PUSH1 0x03
000013b5: ADD
000013b6: PUSH1 0x00
000013b8: POP
000013b9: SLOAD
000013ba: SUB
000013bb: PUSH1 0x02
000013bd: PUSH1 0x00
000013bf: POP
000013c0: PUSH1 0x00
000013c2: ORIGIN
000013c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013d8: AND
000013d9: DUP2
000013da: MSTORE
000013db: PUSH1 0x20
000013dd: ADD
000013de: SWAP1
000013df: DUP2
000013e0: MSTORE
000013e1: PUSH1 0x20
000013e3: ADD
000013e4: PUSH1 0x00
000013e6: KECCAK256
000013e7: PUSH1 0x00
000013e9: POP
000013ea: PUSH1 0x03
000013ec: ADD
000013ed: PUSH1 0x00
000013ef: POP
000013f0: DUP2
000013f1: SWAP1
000013f2: SSTORE
000013f3: POP
000013f4: DUP8
000013f5: PUSH1 0x02
000013f7: PUSH1 0x00
000013f9: POP
000013fa: PUSH1 0x00
000013fc: DUP12
000013fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001412: AND
00001413: DUP2
00001414: MSTORE
00001415: PUSH1 0x20
00001417: ADD
00001418: SWAP1
00001419: DUP2
0000141a: MSTORE
0000141b: PUSH1 0x20
0000141d: ADD
0000141e: PUSH1 0x00
00001420: KECCAK256
00001421: PUSH1 0x00
00001423: POP
00001424: PUSH1 0x03
00001426: ADD
00001427: PUSH1 0x00
00001429: POP
0000142a: SLOAD
0000142b: ADD
0000142c: PUSH1 0x02
0000142e: PUSH1 0x00
00001430: POP
00001431: PUSH1 0x00
00001433: DUP12
00001434: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001449: AND
0000144a: DUP2
0000144b: MSTORE
0000144c: PUSH1 0x20
0000144e: ADD
0000144f: SWAP1
00001450: DUP2
00001451: MSTORE
00001452: PUSH1 0x20
00001454: ADD
00001455: PUSH1 0x00
00001457: KECCAK256
00001458: PUSH1 0x00
0000145a: POP
0000145b: PUSH1 0x03
0000145d: ADD
0000145e: PUSH1 0x00
00001460: POP
00001461: DUP2
00001462: SWAP1
00001463: SSTORE
00001464: POP
00001465: PUSH32 0xf4b6b12773a7000ee84e1736044fa4864d44afcd8ffdc5ed7ffa63c2e1658191
00001486: ORIGIN
00001487: DUP11
00001488: DUP15
00001489: DUP12
0000148a: PUSH1 0x40
0000148c: MLOAD
0000148d: DUP1
0000148e: DUP6
0000148f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014a4: AND
000014a5: DUP2
000014a6: MSTORE
000014a7: PUSH1 0x20
000014a9: ADD
000014aa: DUP5
000014ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014c0: AND
000014c1: DUP2
000014c2: MSTORE
000014c3: PUSH1 0x20
000014c5: ADD
000014c6: DUP4
000014c7: PUSH4 0xffffffff
000014cc: AND
000014cd: DUP2
000014ce: MSTORE
000014cf: PUSH1 0x20
000014d1: ADD
000014d2: DUP3
000014d3: DUP2
000014d4: MSTORE
000014d5: PUSH1 0x20
000014d7: ADD
000014d8: SWAP5
000014d9: POP
000014da: POP
000014db: POP
000014dc: POP
000014dd: POP
000014de: PUSH1 0x40
000014e0: MLOAD
000014e1: DUP1
000014e2: SWAP2
000014e3: SUB
000014e4: SWAP1
000014e5: LOG1
000014e6: PUSH1 0x01
000014e8: SWAP7
000014e9: POP
000014ea: POP
000014eb: POP
000014ec: POP
000014ed: POP
000014ee: POP
000014ef: POP
000014f0: PUSH2 0x1564
000014f3: JUMP
000014f4: JUMPDEST
000014f5: PUSH1 0x00
000014f7: SWAP7
000014f8: POP
000014f9: POP
000014fa: POP
000014fb: POP
000014fc: POP
000014fd: POP
000014fe: POP
000014ff: PUSH2 0x1564
00001502: JUMP
00001503: POP
00001504: POP
00001505: PUSH2 0x155f
00001508: JUMP
00001509: JUMPDEST
0000150a: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
0000152b: ORIGIN
0000152c: PUSH1 0x40
0000152e: MLOAD
0000152f: DUP1
00001530: DUP3
00001531: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001546: AND
00001547: DUP2
00001548: MSTORE
00001549: PUSH1 0x20
0000154b: ADD
0000154c: SWAP2
0000154d: POP
0000154e: POP
0000154f: PUSH1 0x40
00001551: MLOAD
00001552: DUP1
00001553: SWAP2
00001554: SUB
00001555: SWAP1
00001556: LOG1
00001557: POP
00001558: POP
00001559: POP
0000155a: POP
0000155b: PUSH2 0x1564
0000155e: JUMP
0000155f: JUMPDEST
00001560: POP
00001561: POP
00001562: POP
00001563: POP
00001564: JUMPDEST
00001565: SWAP6
00001566: SWAP5
00001567: POP
00001568: POP
00001569: POP
0000156a: POP
0000156b: POP
0000156c: JUMP
0000156d: JUMPDEST
0000156e: PUSH1 0x00
00001570: PUSH1 0x02
00001572: PUSH1 0x00
00001574: POP
00001575: PUSH1 0x00
00001577: DUP4
00001578: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000158d: AND
0000158e: DUP2
0000158f: MSTORE
00001590: PUSH1 0x20
00001592: ADD
00001593: SWAP1
00001594: DUP2
00001595: MSTORE
00001596: PUSH1 0x20
00001598: ADD
00001599: PUSH1 0x00
0000159b: KECCAK256
0000159c: PUSH1 0x00
0000159e: POP
0000159f: PUSH1 0x03
000015a1: ADD
000015a2: PUSH1 0x00
000015a4: POP
000015a5: SLOAD
000015a6: SWAP1
000015a7: POP
000015a8: PUSH2 0x15ac
000015ab: JUMP
000015ac: JUMPDEST
000015ad: SWAP2
000015ae: SWAP1
000015af: POP
000015b0: JUMP
000015b1: JUMPDEST
000015b2: PUSH1 0x00
000015b4: ORIGIN
000015b5: PUSH1 0x00
000015b7: PUSH1 0x02
000015b9: PUSH1 0x00
000015bb: POP
000015bc: PUSH1 0x00
000015be: DUP4
000015bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d4: AND
000015d5: DUP2
000015d6: MSTORE
000015d7: PUSH1 0x20
000015d9: ADD
000015da: SWAP1
000015db: DUP2
000015dc: MSTORE
000015dd: PUSH1 0x20
000015df: ADD
000015e0: PUSH1 0x00
000015e2: KECCAK256
000015e3: PUSH1 0x00
000015e5: POP
000015e6: PUSH1 0x00
000015e8: ADD
000015e9: PUSH1 0x00
000015eb: SWAP1
000015ec: SLOAD
000015ed: SWAP1
000015ee: PUSH2 0x0100
000015f1: EXP
000015f2: SWAP1
000015f3: DIV
000015f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001609: AND
0000160a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000161f: AND
00001620: EQ
00001621: ISZERO
00001622: ISZERO
00001623: PUSH2 0x1679
00001626: JUMPI
00001627: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab
00001648: DUP2
00001649: PUSH1 0x40
0000164b: MLOAD
0000164c: DUP1
0000164d: DUP3
0000164e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001663: AND
00001664: DUP2
00001665: MSTORE
00001666: PUSH1 0x20
00001668: ADD
00001669: SWAP2
0000166a: POP
0000166b: POP
0000166c: PUSH1 0x40
0000166e: MLOAD
0000166f: DUP1
00001670: SWAP2
00001671: SUB
00001672: SWAP1
00001673: LOG1
00001674: POP
00001675: PUSH2 0x1b27
00001678: JUMP
00001679: JUMPDEST
0000167a: DUP4
0000167b: PUSH1 0x00
0000167d: PUSH1 0x02
0000167f: PUSH1 0x00
00001681: POP
00001682: PUSH1 0x00
00001684: DUP4
00001685: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000169a: AND
0000169b: DUP2
0000169c: MSTORE
0000169d: PUSH1 0x20
0000169f: ADD
000016a0: SWAP1
000016a1: DUP2
000016a2: MSTORE
000016a3: PUSH1 0x20
000016a5: ADD
000016a6: PUSH1 0x00
000016a8: KECCAK256
000016a9: PUSH1 0x00
000016ab: POP
000016ac: PUSH1 0x00
000016ae: ADD
000016af: PUSH1 0x00
000016b1: SWAP1
000016b2: SLOAD
000016b3: SWAP1
000016b4: PUSH2 0x0100
000016b7: EXP
000016b8: SWAP1
000016b9: DIV
000016ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016cf: AND
000016d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016e5: AND
000016e6: EQ
000016e7: ISZERO
000016e8: ISZERO
000016e9: PUSH2 0x1740
000016ec: JUMPI
000016ed: PUSH32 0xd29821f121b99118612a24dbe9da3cc4c9b70ea04af27fe61de8a4ca9e71c0ab
0000170e: DUP2
0000170f: PUSH1 0x40
00001711: MLOAD
00001712: DUP1
00001713: DUP3
00001714: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001729: AND
0000172a: DUP2
0000172b: MSTORE
0000172c: PUSH1 0x20
0000172e: ADD
0000172f: SWAP2
00001730: POP
00001731: POP
00001732: PUSH1 0x40
00001734: MLOAD
00001735: DUP1
00001736: SWAP2
00001737: SUB
00001738: SWAP1
00001739: LOG1
0000173a: POP
0000173b: POP
0000173c: PUSH2 0x1b27
0000173f: JUMP
00001740: JUMPDEST
00001741: ORIGIN
00001742: PUSH1 0x01
00001744: PUSH1 0x02
00001746: PUSH1 0x00
00001748: POP
00001749: PUSH1 0x00
0000174b: DUP4
0000174c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001761: AND
00001762: DUP2
00001763: MSTORE
00001764: PUSH1 0x20
00001766: ADD
00001767: SWAP1
00001768: DUP2
00001769: MSTORE
0000176a: PUSH1 0x20
0000176c: ADD
0000176d: PUSH1 0x00
0000176f: KECCAK256
00001770: PUSH1 0x00
00001772: POP
00001773: PUSH1 0x02
00001775: ADD
00001776: PUSH1 0x00
00001778: SWAP1
00001779: SLOAD
0000177a: SWAP1
0000177b: PUSH2 0x0100
0000177e: EXP
0000177f: SWAP1
00001780: DIV
00001781: PUSH1 0xff
00001783: AND
00001784: PUSH1 0xff
00001786: AND
00001787: EQ
00001788: ISZERO
00001789: ISZERO
0000178a: PUSH2 0x17e2
0000178d: JUMPI
0000178e: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
000017af: ORIGIN
000017b0: PUSH1 0x40
000017b2: MLOAD
000017b3: DUP1
000017b4: DUP3
000017b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ca: AND
000017cb: DUP2
000017cc: MSTORE
000017cd: PUSH1 0x20
000017cf: ADD
000017d0: SWAP2
000017d1: POP
000017d2: POP
000017d3: PUSH1 0x40
000017d5: MLOAD
000017d6: DUP1
000017d7: SWAP2
000017d8: SUB
000017d9: SWAP1
000017da: LOG1
000017db: POP
000017dc: POP
000017dd: POP
000017de: PUSH2 0x1b27
000017e1: JUMP
000017e2: JUMPDEST
000017e3: PUSH1 0x02
000017e5: PUSH1 0x00
000017e7: POP
000017e8: PUSH1 0x00
000017ea: DUP3
000017eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001800: AND
00001801: DUP2
00001802: MSTORE
00001803: PUSH1 0x20
00001805: ADD
00001806: SWAP1
00001807: DUP2
00001808: MSTORE
00001809: PUSH1 0x20
0000180b: ADD
0000180c: PUSH1 0x00
0000180e: KECCAK256
0000180f: PUSH1 0x00
00001811: POP
00001812: PUSH1 0x01
00001814: ADD
00001815: PUSH1 0x00
00001817: POP
00001818: PUSH1 0x00
0000181a: DUP3
0000181b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001830: AND
00001831: DUP2
00001832: MSTORE
00001833: PUSH1 0x20
00001835: ADD
00001836: SWAP1
00001837: DUP2
00001838: MSTORE
00001839: PUSH1 0x20
0000183b: ADD
0000183c: PUSH1 0x00
0000183e: KECCAK256
0000183f: PUSH1 0x00
00001841: SWAP1
00001842: SLOAD
00001843: SWAP1
00001844: PUSH2 0x0100
00001847: EXP
00001848: SWAP1
00001849: DIV
0000184a: PUSH1 0xff
0000184c: AND
0000184d: ISZERO
0000184e: ISZERO
0000184f: PUSH2 0x18a7
00001852: JUMPI
00001853: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
00001874: ORIGIN
00001875: PUSH1 0x40
00001877: MLOAD
00001878: DUP1
00001879: DUP3
0000187a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000188f: AND
00001890: DUP2
00001891: MSTORE
00001892: PUSH1 0x20
00001894: ADD
00001895: SWAP2
00001896: POP
00001897: POP
00001898: PUSH1 0x40
0000189a: MLOAD
0000189b: DUP1
0000189c: SWAP2
0000189d: SUB
0000189e: SWAP1
0000189f: LOG1
000018a0: POP
000018a1: POP
000018a2: POP
000018a3: PUSH2 0x1b27
000018a6: JUMP
000018a7: JUMPDEST
000018a8: PUSH1 0x01
000018aa: PUSH1 0x02
000018ac: PUSH1 0x00
000018ae: POP
000018af: PUSH1 0x00
000018b1: ORIGIN
000018b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018c7: AND
000018c8: DUP2
000018c9: MSTORE
000018ca: PUSH1 0x20
000018cc: ADD
000018cd: SWAP1
000018ce: DUP2
000018cf: MSTORE
000018d0: PUSH1 0x20
000018d2: ADD
000018d3: PUSH1 0x00
000018d5: KECCAK256
000018d6: PUSH1 0x00
000018d8: POP
000018d9: PUSH1 0x02
000018db: ADD
000018dc: PUSH1 0x00
000018de: SWAP1
000018df: SLOAD
000018e0: SWAP1
000018e1: PUSH2 0x0100
000018e4: EXP
000018e5: SWAP1
000018e6: DIV
000018e7: PUSH1 0xff
000018e9: AND
000018ea: PUSH1 0xff
000018ec: AND
000018ed: GT
000018ee: ISZERO
000018ef: PUSH2 0x1971
000018f2: JUMPI
000018f3: PUSH32 0xe48db3e4f7cb981dfd57d43223d6a1cb2bba2f1ada71002381dc371bfa0d3d60
00001914: ORIGIN
00001915: DUP8
00001916: DUP8
00001917: PUSH1 0x40
00001919: MLOAD
0000191a: DUP1
0000191b: DUP5
0000191c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001931: AND
00001932: DUP2
00001933: MSTORE
00001934: PUSH1 0x20
00001936: ADD
00001937: DUP4
00001938: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000194d: AND
0000194e: DUP2
0000194f: MSTORE
00001950: PUSH1 0x20
00001952: ADD
00001953: DUP3
00001954: DUP2
00001955: MSTORE
00001956: PUSH1 0x20
00001958: ADD
00001959: SWAP4
0000195a: POP
0000195b: POP
0000195c: POP
0000195d: POP
0000195e: PUSH1 0x40
00001960: MLOAD
00001961: DUP1
00001962: SWAP2
00001963: SUB
00001964: SWAP1
00001965: LOG1
00001966: PUSH1 0x00
00001968: SWAP4
00001969: POP
0000196a: POP
0000196b: POP
0000196c: POP
0000196d: PUSH2 0x1b27
00001970: JUMP
00001971: JUMPDEST
00001972: DUP5
00001973: PUSH1 0x02
00001975: PUSH1 0x00
00001977: POP
00001978: PUSH1 0x00
0000197a: ORIGIN
0000197b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001990: AND
00001991: DUP2
00001992: MSTORE
00001993: PUSH1 0x20
00001995: ADD
00001996: SWAP1
00001997: DUP2
00001998: MSTORE
00001999: PUSH1 0x20
0000199b: ADD
0000199c: PUSH1 0x00
0000199e: KECCAK256
0000199f: PUSH1 0x00
000019a1: POP
000019a2: PUSH1 0x03
000019a4: ADD
000019a5: PUSH1 0x00
000019a7: POP
000019a8: SLOAD
000019a9: LT
000019aa: ISZERO
000019ab: ISZERO
000019ac: PUSH2 0x1b18
000019af: JUMPI
000019b0: DUP5
000019b1: PUSH1 0x02
000019b3: PUSH1 0x00
000019b5: POP
000019b6: PUSH1 0x00
000019b8: ORIGIN
000019b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019ce: AND
000019cf: DUP2
000019d0: MSTORE
000019d1: PUSH1 0x20
000019d3: ADD
000019d4: SWAP1
000019d5: DUP2
000019d6: MSTORE
000019d7: PUSH1 0x20
000019d9: ADD
000019da: PUSH1 0x00
000019dc: KECCAK256
000019dd: PUSH1 0x00
000019df: POP
000019e0: PUSH1 0x03
000019e2: ADD
000019e3: PUSH1 0x00
000019e5: POP
000019e6: SLOAD
000019e7: SUB
000019e8: PUSH1 0x02
000019ea: PUSH1 0x00
000019ec: POP
000019ed: PUSH1 0x00
000019ef: ORIGIN
000019f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a05: AND
00001a06: DUP2
00001a07: MSTORE
00001a08: PUSH1 0x20
00001a0a: ADD
00001a0b: SWAP1
00001a0c: DUP2
00001a0d: MSTORE
00001a0e: PUSH1 0x20
00001a10: ADD
00001a11: PUSH1 0x00
00001a13: KECCAK256
00001a14: PUSH1 0x00
00001a16: POP
00001a17: PUSH1 0x03
00001a19: ADD
00001a1a: PUSH1 0x00
00001a1c: POP
00001a1d: DUP2
00001a1e: SWAP1
00001a1f: SSTORE
00001a20: POP
00001a21: DUP5
00001a22: PUSH1 0x02
00001a24: PUSH1 0x00
00001a26: POP
00001a27: PUSH1 0x00
00001a29: DUP9
00001a2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a3f: AND
00001a40: DUP2
00001a41: MSTORE
00001a42: PUSH1 0x20
00001a44: ADD
00001a45: SWAP1
00001a46: DUP2
00001a47: MSTORE
00001a48: PUSH1 0x20
00001a4a: ADD
00001a4b: PUSH1 0x00
00001a4d: KECCAK256
00001a4e: PUSH1 0x00
00001a50: POP
00001a51: PUSH1 0x03
00001a53: ADD
00001a54: PUSH1 0x00
00001a56: POP
00001a57: SLOAD
00001a58: ADD
00001a59: PUSH1 0x02
00001a5b: PUSH1 0x00
00001a5d: POP
00001a5e: PUSH1 0x00
00001a60: DUP9
00001a61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a76: AND
00001a77: DUP2
00001a78: MSTORE
00001a79: PUSH1 0x20
00001a7b: ADD
00001a7c: SWAP1
00001a7d: DUP2
00001a7e: MSTORE
00001a7f: PUSH1 0x20
00001a81: ADD
00001a82: PUSH1 0x00
00001a84: KECCAK256
00001a85: PUSH1 0x00
00001a87: POP
00001a88: PUSH1 0x03
00001a8a: ADD
00001a8b: PUSH1 0x00
00001a8d: POP
00001a8e: DUP2
00001a8f: SWAP1
00001a90: SSTORE
00001a91: POP
00001a92: PUSH32 0xf4b6b12773a7000ee84e1736044fa4864d44afcd8ffdc5ed7ffa63c2e1658191
00001ab3: ORIGIN
00001ab4: DUP8
00001ab5: TIMESTAMP
00001ab6: DUP9
00001ab7: PUSH1 0x40
00001ab9: MLOAD
00001aba: DUP1
00001abb: DUP6
00001abc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ad1: AND
00001ad2: DUP2
00001ad3: MSTORE
00001ad4: PUSH1 0x20
00001ad6: ADD
00001ad7: DUP5
00001ad8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aed: AND
00001aee: DUP2
00001aef: MSTORE
00001af0: PUSH1 0x20
00001af2: ADD
00001af3: DUP4
00001af4: DUP2
00001af5: MSTORE
00001af6: PUSH1 0x20
00001af8: ADD
00001af9: DUP3
00001afa: DUP2
00001afb: MSTORE
00001afc: PUSH1 0x20
00001afe: ADD
00001aff: SWAP5
00001b00: POP
00001b01: POP
00001b02: POP
00001b03: POP
00001b04: POP
00001b05: PUSH1 0x40
00001b07: MLOAD
00001b08: DUP1
00001b09: SWAP2
00001b0a: SUB
00001b0b: SWAP1
00001b0c: LOG1
00001b0d: PUSH1 0x01
00001b0f: SWAP4
00001b10: POP
00001b11: POP
00001b12: POP
00001b13: POP
00001b14: PUSH2 0x1b27
00001b17: JUMP
00001b18: JUMPDEST
00001b19: PUSH1 0x00
00001b1b: SWAP4
00001b1c: POP
00001b1d: POP
00001b1e: POP
00001b1f: POP
00001b20: PUSH2 0x1b27
00001b23: JUMP
00001b24: POP
00001b25: POP
00001b26: POP
00001b27: JUMPDEST
00001b28: SWAP3
00001b29: SWAP2
00001b2a: POP
00001b2b: POP
00001b2c: JUMP
00001b2d: JUMPDEST
00001b2e: PUSH1 0x00
00001b30: PUSH1 0x00
00001b32: PUSH1 0x00
00001b34: PUSH1 0x00
00001b36: PUSH1 0x00
00001b38: PUSH1 0x40
00001b3a: PUSH1 0x40
00001b3c: MLOAD
00001b3d: SWAP1
00001b3e: DUP2
00001b3f: ADD
00001b40: PUSH1 0x40
00001b42: MSTORE
00001b43: DUP1
00001b44: PUSH1 0x02
00001b46: SWAP1
00001b47: JUMPDEST
00001b48: PUSH1 0x00
00001b4a: DUP2
00001b4b: MSTORE
00001b4c: PUSH1 0x20
00001b4e: ADD
00001b4f: SWAP1
00001b50: PUSH1 0x01
00001b52: SWAP1
00001b53: SUB
00001b54: SWAP1
00001b55: DUP2
00001b56: PUSH2 0x1b47
00001b59: JUMPI
00001b5a: SWAP1
00001b5b: POP
00001b5c: POP
00001b5d: PUSH1 0x00
00001b5f: PUSH1 0x00
00001b61: DUP12
00001b62: DUP12
00001b63: PUSH1 0x04
00001b65: ADD
00001b66: PUSH1 0x00
00001b68: POP
00001b69: SLOAD
00001b6a: LT
00001b6b: ISZERO
00001b6c: ISZERO
00001b6d: PUSH2 0x1bc6
00001b70: JUMPI
00001b71: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
00001b92: ORIGIN
00001b93: PUSH1 0x40
00001b95: MLOAD
00001b96: DUP1
00001b97: DUP3
00001b98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bad: AND
00001bae: DUP2
00001baf: MSTORE
00001bb0: PUSH1 0x20
00001bb2: ADD
00001bb3: SWAP2
00001bb4: POP
00001bb5: POP
00001bb6: PUSH1 0x40
00001bb8: MLOAD
00001bb9: DUP1
00001bba: SWAP2
00001bbb: SUB
00001bbc: SWAP1
00001bbd: LOG1
00001bbe: PUSH1 0x00
00001bc0: SWAP8
00001bc1: POP
00001bc2: PUSH2 0x2103
00001bc5: JUMP
00001bc6: JUMPDEST
00001bc7: DUP12
00001bc8: TIMESTAMP
00001bc9: SUB
00001bca: SWAP7
00001bcb: POP
00001bcc: PUSH1 0x00
00001bce: PUSH1 0x00
00001bd0: POP
00001bd1: SLOAD
00001bd2: DUP8
00001bd3: GT
00001bd4: DUP1
00001bd5: PUSH2 0x1be2
00001bd8: JUMPI
00001bd9: POP
00001bda: PUSH1 0x01
00001bdc: PUSH1 0x00
00001bde: POP
00001bdf: SLOAD
00001be0: DUP8
00001be1: LT
00001be2: JUMPDEST
00001be3: ISZERO
00001be4: PUSH2 0x1c3d
00001be7: JUMPI
00001be8: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
00001c09: ORIGIN
00001c0a: PUSH1 0x40
00001c0c: MLOAD
00001c0d: DUP1
00001c0e: DUP3
00001c0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c24: AND
00001c25: DUP2
00001c26: MSTORE
00001c27: PUSH1 0x20
00001c29: ADD
00001c2a: SWAP2
00001c2b: POP
00001c2c: POP
00001c2d: PUSH1 0x40
00001c2f: MLOAD
00001c30: DUP1
00001c31: SWAP2
00001c32: SUB
00001c33: SWAP1
00001c34: LOG1
00001c35: PUSH1 0x00
00001c37: SWAP8
00001c38: POP
00001c39: PUSH2 0x2103
00001c3c: JUMP
00001c3d: JUMPDEST
00001c3e: PUSH1 0x01
00001c40: DUP12
00001c41: PUSH1 0x02
00001c43: ADD
00001c44: PUSH1 0x00
00001c46: SWAP1
00001c47: SLOAD
00001c48: SWAP1
00001c49: PUSH2 0x0100
00001c4c: EXP
00001c4d: SWAP1
00001c4e: DIV
00001c4f: PUSH1 0xff
00001c51: AND
00001c52: PUSH1 0xff
00001c54: AND
00001c55: GT
00001c56: ISZERO
00001c57: ISZERO
00001c58: PUSH2 0x1cb1
00001c5b: JUMPI
00001c5c: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
00001c7d: ORIGIN
00001c7e: PUSH1 0x40
00001c80: MLOAD
00001c81: DUP1
00001c82: DUP3
00001c83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c98: AND
00001c99: DUP2
00001c9a: MSTORE
00001c9b: PUSH1 0x20
00001c9d: ADD
00001c9e: SWAP2
00001c9f: POP
00001ca0: POP
00001ca1: PUSH1 0x40
00001ca3: MLOAD
00001ca4: DUP1
00001ca5: SWAP2
00001ca6: SUB
00001ca7: SWAP1
00001ca8: LOG1
00001ca9: PUSH1 0x00
00001cab: SWAP8
00001cac: POP
00001cad: PUSH2 0x2103
00001cb0: JUMP
00001cb1: JUMPDEST
00001cb2: PUSH1 0x00
00001cb4: DUP12
00001cb5: PUSH1 0x00
00001cb7: ADD
00001cb8: PUSH1 0x00
00001cba: SWAP1
00001cbb: SLOAD
00001cbc: SWAP1
00001cbd: PUSH2 0x0100
00001cc0: EXP
00001cc1: SWAP1
00001cc2: DIV
00001cc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cd8: AND
00001cd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cee: AND
00001cef: EQ
00001cf0: ISZERO
00001cf1: ISZERO
00001cf2: PUSH2 0x1d4b
00001cf5: JUMPI
00001cf6: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
00001d17: ORIGIN
00001d18: PUSH1 0x40
00001d1a: MLOAD
00001d1b: DUP1
00001d1c: DUP3
00001d1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d32: AND
00001d33: DUP2
00001d34: MSTORE
00001d35: PUSH1 0x20
00001d37: ADD
00001d38: SWAP2
00001d39: POP
00001d3a: POP
00001d3b: PUSH1 0x40
00001d3d: MLOAD
00001d3e: DUP1
00001d3f: SWAP2
00001d40: SUB
00001d41: SWAP1
00001d42: LOG1
00001d43: PUSH1 0x00
00001d45: SWAP8
00001d46: POP
00001d47: PUSH2 0x2103
00001d4a: JUMP
00001d4b: JUMPDEST
00001d4c: DUP11
00001d4d: PUSH1 0x02
00001d4f: ADD
00001d50: PUSH1 0x01
00001d52: SWAP1
00001d53: SLOAD
00001d54: SWAP1
00001d55: PUSH2 0x0100
00001d58: EXP
00001d59: SWAP1
00001d5a: DIV
00001d5b: PUSH1 0xff
00001d5d: AND
00001d5e: PUSH1 0xff
00001d60: AND
00001d61: DUP11
00001d62: MLOAD
00001d63: LT
00001d64: DUP1
00001d65: PUSH2 0x1d90
00001d68: JUMPI
00001d69: POP
00001d6a: DUP11
00001d6b: PUSH1 0x02
00001d6d: ADD
00001d6e: PUSH1 0x01
00001d70: SWAP1
00001d71: SLOAD
00001d72: SWAP1
00001d73: PUSH2 0x0100
00001d76: EXP
00001d77: SWAP1
00001d78: DIV
00001d79: PUSH1 0xff
00001d7b: AND
00001d7c: PUSH1 0xff
00001d7e: AND
00001d7f: DUP10
00001d80: MLOAD
00001d81: LT
00001d82: DUP1
00001d83: ISZERO
00001d84: PUSH2 0x1d8f
00001d87: JUMPI
00001d88: POP
00001d89: DUP9
00001d8a: MLOAD
00001d8b: DUP11
00001d8c: MLOAD
00001d8d: EQ
00001d8e: ISZERO
00001d8f: JUMPDEST
00001d90: JUMPDEST
00001d91: ISZERO
00001d92: PUSH2 0x1deb
00001d95: JUMPI
00001d96: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
00001db7: ORIGIN
00001db8: PUSH1 0x40
00001dba: MLOAD
00001dbb: DUP1
00001dbc: DUP3
00001dbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dd2: AND
00001dd3: DUP2
00001dd4: MSTORE
00001dd5: PUSH1 0x20
00001dd7: ADD
00001dd8: SWAP2
00001dd9: POP
00001dda: POP
00001ddb: PUSH1 0x40
00001ddd: MLOAD
00001dde: DUP1
00001ddf: SWAP2
00001de0: SUB
00001de1: SWAP1
00001de2: LOG1
00001de3: PUSH1 0x00
00001de5: SWAP8
00001de6: POP
00001de7: PUSH2 0x2103
00001dea: JUMP
00001deb: JUMPDEST
00001dec: PUSH1 0xff
00001dee: DUP11
00001def: MLOAD
00001df0: GT
00001df1: ISZERO
00001df2: PUSH2 0x1e4b
00001df5: JUMPI
00001df6: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
00001e17: ORIGIN
00001e18: PUSH1 0x40
00001e1a: MLOAD
00001e1b: DUP1
00001e1c: DUP3
00001e1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e32: AND
00001e33: DUP2
00001e34: MSTORE
00001e35: PUSH1 0x20
00001e37: ADD
00001e38: SWAP2
00001e39: POP
00001e3a: POP
00001e3b: PUSH1 0x40
00001e3d: MLOAD
00001e3e: DUP1
00001e3f: SWAP2
00001e40: SUB
00001e41: SWAP1
00001e42: LOG1
00001e43: PUSH1 0x00
00001e45: SWAP8
00001e46: POP
00001e47: PUSH2 0x2103
00001e4a: JUMP
00001e4b: JUMPDEST
00001e4c: PUSH1 0x00
00001e4e: SWAP5
00001e4f: POP
00001e50: PUSH1 0x00
00001e52: SWAP4
00001e53: POP
00001e54: JUMPDEST
00001e55: DUP10
00001e56: MLOAD
00001e57: DUP5
00001e58: PUSH1 0xff
00001e5a: AND
00001e5b: LT
00001e5c: ISZERO
00001e5d: PUSH2 0x2084
00001e60: JUMPI
00001e61: DUP10
00001e62: DUP5
00001e63: DUP2
00001e64: MLOAD
00001e65: DUP2
00001e66: LT
00001e67: ISZERO
00001e68: PUSH2 0x0002
00001e6b: JUMPI
00001e6c: SWAP1
00001e6d: PUSH1 0x20
00001e6f: ADD
00001e70: SWAP1
00001e71: PUSH1 0x20
00001e73: MUL
00001e74: ADD
00001e75: MLOAD
00001e76: SWAP3
00001e77: POP
00001e78: DUP9
00001e79: DUP5
00001e7a: DUP2
00001e7b: MLOAD
00001e7c: DUP2
00001e7d: LT
00001e7e: ISZERO
00001e7f: PUSH2 0x0002
00001e82: JUMPI
00001e83: SWAP1
00001e84: PUSH1 0x20
00001e86: ADD
00001e87: SWAP1
00001e88: PUSH1 0x20
00001e8a: MUL
00001e8b: ADD
00001e8c: MLOAD
00001e8d: SWAP2
00001e8e: POP
00001e8f: PUSH1 0x01
00001e91: DUP14
00001e92: DUP4
00001e93: DUP6
00001e94: PUSH1 0x00
00001e96: PUSH1 0x02
00001e98: DUP2
00001e99: LT
00001e9a: ISZERO
00001e9b: PUSH2 0x0002
00001e9e: JUMPI
00001e9f: SWAP1
00001ea0: SWAP1
00001ea1: PUSH1 0x20
00001ea3: MUL
00001ea4: ADD
00001ea5: MLOAD
00001ea6: DUP7
00001ea7: PUSH1 0x01
00001ea9: PUSH1 0x02
00001eab: DUP2
00001eac: LT
00001ead: ISZERO
00001eae: PUSH2 0x0002
00001eb1: JUMPI
00001eb2: SWAP1
00001eb3: SWAP1
00001eb4: PUSH1 0x20
00001eb6: MUL
00001eb7: ADD
00001eb8: MLOAD
00001eb9: PUSH1 0x40
00001ebb: MLOAD
00001ebc: DUP1
00001ebd: DUP6
00001ebe: DUP2
00001ebf: MSTORE
00001ec0: PUSH1 0x20
00001ec2: ADD
00001ec3: DUP5
00001ec4: PUSH1 0xff
00001ec6: AND
00001ec7: DUP2
00001ec8: MSTORE
00001ec9: PUSH1 0x20
00001ecb: ADD
00001ecc: DUP4
00001ecd: DUP2
00001ece: MSTORE
00001ecf: PUSH1 0x20
00001ed1: ADD
00001ed2: DUP3
00001ed3: DUP2
00001ed4: MSTORE
00001ed5: PUSH1 0x20
00001ed7: ADD
00001ed8: SWAP5
00001ed9: POP
00001eda: POP
00001edb: POP
00001edc: POP
00001edd: POP
00001ede: PUSH1 0x20
00001ee0: PUSH1 0x40
00001ee2: MLOAD
00001ee3: DUP1
00001ee4: DUP4
00001ee5: SUB
00001ee6: DUP2
00001ee7: PUSH1 0x00
00001ee9: DUP7
00001eea: PUSH2 0x61da
00001eed: GAS
00001eee: SUB
00001eef: CALL
00001ef0: ISZERO
00001ef1: PUSH2 0x0002
00001ef4: JUMPI
00001ef5: POP
00001ef6: POP
00001ef7: PUSH1 0x40
00001ef9: MLOAD
00001efa: DUP1
00001efb: MLOAD
00001efc: SWAP1
00001efd: PUSH1 0x20
00001eff: ADD
00001f00: POP
00001f01: SWAP1
00001f02: POP
00001f03: DUP6
00001f04: PUSH1 0x00
00001f06: DUP3
00001f07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f1c: AND
00001f1d: DUP2
00001f1e: MSTORE
00001f1f: PUSH1 0x20
00001f21: ADD
00001f22: SWAP1
00001f23: DUP2
00001f24: MSTORE
00001f25: PUSH1 0x20
00001f27: ADD
00001f28: PUSH1 0x00
00001f2a: KECCAK256
00001f2b: PUSH1 0x00
00001f2d: SWAP1
00001f2e: SLOAD
00001f2f: SWAP1
00001f30: PUSH2 0x0100
00001f33: EXP
00001f34: SWAP1
00001f35: DIV
00001f36: PUSH1 0xff
00001f38: AND
00001f39: ISZERO
00001f3a: PUSH2 0x1f93
00001f3d: JUMPI
00001f3e: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
00001f5f: ORIGIN
00001f60: PUSH1 0x40
00001f62: MLOAD
00001f63: DUP1
00001f64: DUP3
00001f65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f7a: AND
00001f7b: DUP2
00001f7c: MSTORE
00001f7d: PUSH1 0x20
00001f7f: ADD
00001f80: SWAP2
00001f81: POP
00001f82: POP
00001f83: PUSH1 0x40
00001f85: MLOAD
00001f86: DUP1
00001f87: SWAP2
00001f88: SUB
00001f89: SWAP1
00001f8a: LOG1
00001f8b: PUSH1 0x00
00001f8d: SWAP8
00001f8e: POP
00001f8f: PUSH2 0x2103
00001f92: JUMP
00001f93: JUMPDEST
00001f94: DUP11
00001f95: PUSH1 0x01
00001f97: ADD
00001f98: PUSH1 0x00
00001f9a: POP
00001f9b: PUSH1 0x00
00001f9d: DUP3
00001f9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fb3: AND
00001fb4: DUP2
00001fb5: MSTORE
00001fb6: PUSH1 0x20
00001fb8: ADD
00001fb9: SWAP1
00001fba: DUP2
00001fbb: MSTORE
00001fbc: PUSH1 0x20
00001fbe: ADD
00001fbf: PUSH1 0x00
00001fc1: KECCAK256
00001fc2: PUSH1 0x00
00001fc4: SWAP1
00001fc5: SLOAD
00001fc6: SWAP1
00001fc7: PUSH2 0x0100
00001fca: EXP
00001fcb: SWAP1
00001fcc: DIV
00001fcd: PUSH1 0xff
00001fcf: AND
00001fd0: ISZERO
00001fd1: PUSH2 0x2020
00001fd4: JUMPI
00001fd5: PUSH1 0x01
00001fd7: DUP7
00001fd8: PUSH1 0x00
00001fda: DUP4
00001fdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ff0: AND
00001ff1: DUP2
00001ff2: MSTORE
00001ff3: PUSH1 0x20
00001ff5: ADD
00001ff6: SWAP1
00001ff7: DUP2
00001ff8: MSTORE
00001ff9: PUSH1 0x20
00001ffb: ADD
00001ffc: PUSH1 0x00
00001ffe: KECCAK256
00001fff: PUSH1 0x00
00002001: PUSH2 0x0100
00002004: EXP
00002005: DUP2
00002006: SLOAD
00002007: DUP2
00002008: PUSH1 0xff
0000200a: MUL
0000200b: NOT
0000200c: AND
0000200d: SWAP1
0000200e: DUP4
0000200f: MUL
00002010: OR
00002011: SWAP1
00002012: SSTORE
00002013: POP
00002014: DUP5
00002015: PUSH1 0x01
00002017: ADD
00002018: SWAP5
00002019: POP
0000201a: DUP5
0000201b: POP
0000201c: PUSH2 0x2076
0000201f: JUMP
00002020: JUMPDEST
00002021: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
00002042: ORIGIN
00002043: PUSH1 0x40
00002045: MLOAD
00002046: DUP1
00002047: DUP3
00002048: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000205d: AND
0000205e: DUP2
0000205f: MSTORE
00002060: PUSH1 0x20
00002062: ADD
00002063: SWAP2
00002064: POP
00002065: POP
00002066: PUSH1 0x40
00002068: MLOAD
00002069: DUP1
0000206a: SWAP2
0000206b: SUB
0000206c: SWAP1
0000206d: LOG1
0000206e: PUSH1 0x00
00002070: SWAP8
00002071: POP
00002072: PUSH2 0x2103
00002075: JUMP
00002076: JUMPDEST
00002077: JUMPDEST
00002078: DUP4
00002079: DUP1
0000207a: PUSH1 0x01
0000207c: ADD
0000207d: SWAP5
0000207e: POP
0000207f: POP
00002080: PUSH2 0x1e54
00002083: JUMP
00002084: JUMPDEST
00002085: DUP11
00002086: PUSH1 0x02
00002088: ADD
00002089: PUSH1 0x01
0000208b: SWAP1
0000208c: SLOAD
0000208d: SWAP1
0000208e: PUSH2 0x0100
00002091: EXP
00002092: SWAP1
00002093: DIV
00002094: PUSH1 0xff
00002096: AND
00002097: PUSH1 0xff
00002099: AND
0000209a: DUP6
0000209b: PUSH1 0xff
0000209d: AND
0000209e: LT
0000209f: ISZERO
000020a0: ISZERO
000020a1: PUSH2 0x20ad
000020a4: JUMPI
000020a5: PUSH1 0x01
000020a7: SWAP8
000020a8: POP
000020a9: PUSH2 0x2103
000020ac: JUMP
000020ad: JUMPDEST
000020ae: PUSH32 0xc17f9005cc298f06a2cd1a66eba53dbe3b6b9e2d507b311fba45ebb42dbff1d3
000020cf: ORIGIN
000020d0: PUSH1 0x40
000020d2: MLOAD
000020d3: DUP1
000020d4: DUP3
000020d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020ea: AND
000020eb: DUP2
000020ec: MSTORE
000020ed: PUSH1 0x20
000020ef: ADD
000020f0: SWAP2
000020f1: POP
000020f2: POP
000020f3: PUSH1 0x40
000020f5: MLOAD
000020f6: DUP1
000020f7: SWAP2
000020f8: SUB
000020f9: SWAP1
000020fa: LOG1
000020fb: PUSH1 0x00
000020fd: SWAP8
000020fe: POP
000020ff: PUSH2 0x2103
00002102: JUMP
00002103: JUMPDEST
00002104: POP
00002105: POP
00002106: POP
00002107: POP
00002108: POP
00002109: POP
0000210a: POP
0000210b: SWAP6
0000210c: SWAP5
0000210d: POP
0000210e: POP
0000210f: POP
00002110: POP
00002111: POP
00002112: JUMP
00002113: JUMPDEST
00002114: PUSH1 0x00
00002116: DUP3
00002117: PUSH1 0x01
00002119: ADD
0000211a: PUSH1 0x00
0000211c: POP
0000211d: PUSH1 0x00
0000211f: DUP4
00002120: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002135: AND
00002136: DUP2
00002137: MSTORE
00002138: PUSH1 0x20
0000213a: ADD
0000213b: SWAP1
0000213c: DUP2
0000213d: MSTORE
0000213e: PUSH1 0x20
00002140: ADD
00002141: PUSH1 0x00
00002143: KECCAK256
00002144: PUSH1 0x00
00002146: SWAP1
00002147: SLOAD
00002148: SWAP1
00002149: PUSH2 0x0100
0000214c: EXP
0000214d: SWAP1
0000214e: DIV
0000214f: PUSH1 0xff
00002151: AND
00002152: ISZERO
00002153: PUSH2 0x215f
00002156: JUMPI
00002157: PUSH1 0x00
00002159: SWAP1
0000215a: POP
0000215b: PUSH2 0x21d9
0000215e: JUMP
0000215f: JUMPDEST
00002160: PUSH1 0x01
00002162: DUP4
00002163: PUSH1 0x01
00002165: ADD
00002166: PUSH1 0x00
00002168: POP
00002169: PUSH1 0x00
0000216b: DUP5
0000216c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002181: AND
00002182: DUP2
00002183: MSTORE
00002184: PUSH1 0x20
00002186: ADD
00002187: SWAP1
00002188: DUP2
00002189: MSTORE
0000218a: PUSH1 0x20
0000218c: ADD
0000218d: PUSH1 0x00
0000218f: KECCAK256
00002190: PUSH1 0x00
00002192: PUSH2 0x0100
00002195: EXP
00002196: DUP2
00002197: SLOAD
00002198: DUP2
00002199: PUSH1 0xff
0000219b: MUL
0000219c: NOT
0000219d: AND
0000219e: SWAP1
0000219f: DUP4
000021a0: MUL
000021a1: OR
000021a2: SWAP1
000021a3: SSTORE
000021a4: POP
000021a5: DUP3
000021a6: PUSH1 0x02
000021a8: ADD
000021a9: PUSH1 0x00
000021ab: DUP2
000021ac: DUP2
000021ad: SWAP1
000021ae: SLOAD
000021af: SWAP1
000021b0: PUSH2 0x0100
000021b3: EXP
000021b4: SWAP1
000021b5: DIV
000021b6: PUSH1 0xff
000021b8: AND
000021b9: PUSH1 0x01
000021bb: ADD
000021bc: SWAP2
000021bd: SWAP1
000021be: PUSH2 0x0100
000021c1: EXP
000021c2: DUP2
000021c3: SLOAD
000021c4: DUP2
000021c5: PUSH1 0xff
000021c7: MUL
000021c8: NOT
000021c9: AND
000021ca: SWAP1
000021cb: DUP4
000021cc: MUL
000021cd: OR
000021ce: SWAP1
000021cf: SSTORE
000021d0: POP
000021d1: PUSH1 0x01
000021d3: SWAP1
000021d4: POP
000021d5: PUSH2 0x21d9
000021d8: JUMP
000021d9: JUMPDEST
000021da: SWAP3
000021db: SWAP2
000021dc: POP
000021dd: POP
000021de: JUMP
000021df: JUMPDEST
000021e0: PUSH1 0x00
000021e2: DUP3
000021e3: PUSH1 0x01
000021e5: ADD
000021e6: PUSH1 0x00
000021e8: POP
000021e9: PUSH1 0x00
000021eb: DUP4
000021ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002201: AND
00002202: DUP2
00002203: MSTORE
00002204: PUSH1 0x20
00002206: ADD
00002207: SWAP1
00002208: DUP2
00002209: MSTORE
0000220a: PUSH1 0x20
0000220c: ADD
0000220d: PUSH1 0x00
0000220f: KECCAK256
00002210: PUSH1 0x00
00002212: SWAP1
00002213: SLOAD
00002214: SWAP1
00002215: PUSH2 0x0100
00002218: EXP
00002219: SWAP1
0000221a: DIV
0000221b: PUSH1 0xff
0000221d: AND
0000221e: ISZERO
0000221f: ISZERO
00002220: PUSH2 0x222c
00002223: JUMPI
00002224: PUSH1 0x00
00002226: SWAP1
00002227: POP
00002228: PUSH2 0x22d9
0000222b: JUMP
0000222c: JUMPDEST
0000222d: DUP3
0000222e: PUSH1 0x02
00002230: ADD
00002231: PUSH1 0x01
00002233: SWAP1
00002234: SLOAD
00002235: SWAP1
00002236: PUSH2 0x0100
00002239: EXP
0000223a: SWAP1
0000223b: DIV
0000223c: PUSH1 0xff
0000223e: AND
0000223f: PUSH1 0xff
00002241: AND
00002242: DUP4
00002243: PUSH1 0x02
00002245: ADD
00002246: PUSH1 0x00
00002248: SWAP1
00002249: SLOAD
0000224a: SWAP1
0000224b: PUSH2 0x0100
0000224e: EXP
0000224f: SWAP1
00002250: DIV
00002251: PUSH1 0xff
00002253: AND
00002254: PUSH1 0xff
00002256: AND
00002257: EQ
00002258: ISZERO
00002259: PUSH2 0x2265
0000225c: JUMPI
0000225d: PUSH1 0x00
0000225f: SWAP1
00002260: POP
00002261: PUSH2 0x22d9
00002264: JUMP
00002265: JUMPDEST
00002266: DUP3
00002267: PUSH1 0x01
00002269: ADD
0000226a: PUSH1 0x00
0000226c: POP
0000226d: PUSH1 0x00
0000226f: DUP4
00002270: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002285: AND
00002286: DUP2
00002287: MSTORE
00002288: PUSH1 0x20
0000228a: ADD
0000228b: SWAP1
0000228c: DUP2
0000228d: MSTORE
0000228e: PUSH1 0x20
00002290: ADD
00002291: PUSH1 0x00
00002293: KECCAK256
00002294: PUSH1 0x00
00002296: PUSH2 0x0100
00002299: EXP
0000229a: DUP2
0000229b: SLOAD
0000229c: SWAP1
0000229d: PUSH1 0xff
0000229f: MUL
000022a0: NOT
000022a1: AND
000022a2: SWAP1
000022a3: SSTORE
000022a4: DUP3
000022a5: PUSH1 0x02
000022a7: ADD
000022a8: PUSH1 0x00
000022aa: DUP2
000022ab: DUP2
000022ac: SWAP1
000022ad: SLOAD
000022ae: SWAP1
000022af: PUSH2 0x0100
000022b2: EXP
000022b3: SWAP1
000022b4: DIV
000022b5: PUSH1 0xff
000022b7: AND
000022b8: PUSH1 0x01
000022ba: SWAP1
000022bb: SUB
000022bc: SWAP2
000022bd: SWAP1
000022be: PUSH2 0x0100
000022c1: EXP
000022c2: DUP2
000022c3: SLOAD
000022c4: DUP2
000022c5: PUSH1 0xff
000022c7: MUL
000022c8: NOT
000022c9: AND
000022ca: SWAP1
000022cb: DUP4
000022cc: MUL
000022cd: OR
000022ce: SWAP1
000022cf: SSTORE
000022d0: POP
000022d1: PUSH1 0x01
000022d3: SWAP1
000022d4: POP
000022d5: PUSH2 0x22d9
000022d8: JUMP
000022d9: JUMPDEST
000022da: SWAP3
000022db: SWAP2
000022dc: POP
000022dd: POP
000022de: JUMP
000022df: JUMPDEST
000022e0: PUSH1 0x00
000022e2: DUP2
000022e3: PUSH1 0xff
000022e5: AND
000022e6: DUP4
000022e7: PUSH1 0x02
000022e9: ADD
000022ea: PUSH1 0x00
000022ec: SWAP1
000022ed: SLOAD
000022ee: SWAP1
000022ef: PUSH2 0x0100
000022f2: EXP
000022f3: SWAP1
000022f4: DIV
000022f5: PUSH1 0xff
000022f7: AND
000022f8: PUSH1 0xff
000022fa: AND
000022fb: LT
000022fc: DUP1
000022fd: PUSH2 0x2309
00002300: JUMPI
00002301: POP
00002302: PUSH1 0x00
00002304: DUP3
00002305: PUSH1 0xff
00002307: AND
00002308: EQ
00002309: JUMPDEST
0000230a: ISZERO
0000230b: PUSH2 0x2317
0000230e: JUMPI
0000230f: PUSH1 0x00
00002311: SWAP1
00002312: POP
00002313: PUSH2 0x233a
00002316: JUMP
00002317: JUMPDEST
00002318: DUP2
00002319: DUP4
0000231a: PUSH1 0x02
0000231c: ADD
0000231d: PUSH1 0x01
0000231f: PUSH2 0x0100
00002322: EXP
00002323: DUP2
00002324: SLOAD
00002325: DUP2
00002326: PUSH1 0xff
00002328: MUL
00002329: NOT
0000232a: AND
0000232b: SWAP1
0000232c: DUP4
0000232d: MUL
0000232e: OR
0000232f: SWAP1
00002330: SSTORE
00002331: POP
00002332: PUSH1 0x01
00002334: SWAP1
00002335: POP
00002336: PUSH2 0x233a
00002339: JUMP
0000233a: JUMPDEST
0000233b: SWAP3
0000233c: SWAP2
0000233d: POP
0000233e: POP
0000233f: JUMP
View stderr
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x6053a6f9",
            "selector": "0x6053a6f9",
            "calldata_variants": [
                "0x6053a6f9",
                "0x6053a6f90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x820b7faf",
            "selector": "0x820b7faf",
            "calldata_variants": [
                "0x820b7faf",
                "0x820b7faf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x93423e9c",
            "selector": "0x93423e9c",
            "calldata_variants": [
                "0x93423e9c",
                "0x93423e9c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa6461016",
            "selector": "0xa6461016",
            "calldata_variants": [
                "0xa6461016",
                "0xa64610160000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd3a3f889",
            "selector": "0xd3a3f889",
            "calldata_variants": [
                "0xd3a3f889",
                "0xd3a3f8890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfbf35f96",
            "selector": "0xfbf35f96",
            "calldata_variants": [
                "0xfbf35f96",
                "0xfbf35f960000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 1739,
            "type": "tx_origin_used"
        },
        {
            "pc": 2428,
            "type": "tx_origin_used"
        },
        {
            "pc": 3117,
            "type": "tx_origin_used"
        },
        {
            "pc": 3789,
            "type": "tx_origin_used"
        },
        {
            "pc": 4636,
            "type": "tx_origin_used"
        },
        {
            "pc": 5664,
            "type": "tx_origin_used"
        },
        {
            "pc": 6023,
            "type": "tx_origin_used"
        },
        {
            "pc": 1579,
            "type": "tx_origin_used"
        },
        {
            "pc": 1631,
            "type": "tx_origin_used"
        },
        {
            "pc": 1843,
            "type": "tx_origin_used"
        },
        {
            "pc": 1923,
            "type": "tx_origin_used"
        },
        {
            "pc": 2036,
            "type": "tx_origin_used"
        },
        {
            "pc": 2268,
            "type": "tx_origin_used"
        },
        {
            "pc": 2320,
            "type": "tx_origin_used"
        },
        {
            "pc": 2532,
            "type": "tx_origin_used"
        },
        {
            "pc": 2612,
            "type": "tx_origin_used"
        },
        {
            "pc": 2725,
            "type": "tx_origin_used"
        },
        {
            "pc": 2957,
            "type": "tx_origin_used"
        },
        {
            "pc": 3009,
            "type": "tx_origin_used"
        },
        {
            "pc": 3221,
            "type": "tx_origin_used"
        },
        {
            "pc": 3301,
            "type": "tx_origin_used"
        },
        {
            "pc": 3395,
            "type": "tx_origin_used"
        },
        {
            "pc": 3629,
            "type": "tx_origin_used"
        },
        {
            "pc": 3681,
            "type": "tx_origin_used"
        },
        {
            "pc": 3890,
            "type": "tx_origin_used"
        },
        {
            "pc": 4014,
            "type": "tx_origin_used"
        },
        {
            "pc": 4188,
            "type": "tx_origin_used"
        },
        {
            "pc": 4256,
            "type": "tx_origin_used"
        },
        {
            "pc": 4476,
            "type": "tx_origin_used"
        },
        {
            "pc": 4528,
            "type": "tx_origin_used"
        },
        {
            "pc": 4941,
            "type": "tx_origin_used"
        },
        {
            "pc": 5003,
            "type": "tx_origin_used"
        },
        {
            "pc": 5058,
            "type": "tx_origin_used"
        },
        {
            "pc": 5254,
            "type": "tx_origin_used"
        },
        {
            "pc": 5419,
            "type": "tx_origin_used"
        },
        {
            "pc": 5556,
            "type": "tx_origin_used"
        },
        {
            "pc": 5953,
            "type": "tx_origin_used"
        },
        {
            "pc": 6063,
            "type": "tx_origin_used"
        },
        {
            "pc": 6260,
            "type": "tx_origin_used"
        },
        {
            "pc": 6321,
            "type": "tx_origin_used"
        },
        {
            "pc": 6420,
            "type": "tx_origin_used"
        },
        {
            "pc": 6522,
            "type": "tx_origin_used"
        },
        {
            "pc": 6584,
            "type": "tx_origin_used"
        },
        {
            "pc": 6639,
            "type": "tx_origin_used"
        },
        {
            "pc": 6835,
            "type": "tx_origin_used"
        },
        {
            "pc": 7058,
            "type": "tx_origin_used"
        },
        {
            "pc": 7177,
            "type": "tx_origin_used"
        },
        {
            "pc": 7293,
            "type": "tx_origin_used"
        },
        {
            "pc": 7447,
            "type": "tx_origin_used"
        },
        {
            "pc": 7607,
            "type": "tx_origin_used"
        },
        {
            "pc": 7703,
            "type": "tx_origin_used"
        },
        {
            "pc": 8031,
            "type": "tx_origin_used"
        },
        {
            "pc": 8258,
            "type": "tx_origin_used"
        },
        {
            "pc": 8399,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x6edef29cfb03a2c92f688251caa2c9d2d10b95699e1f546223ec075b41348130
call_targets: 0x425041e7892693217b3b0637356ee83998380262
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x6edef29cfb03a2c92f688251caa2c9d2d10b95699e1f546223ec075b41348130",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x425041e7892693217b3b0637356ee83998380262"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x6053a6f9",
            "selector": "0x6053a6f9",
            "calldata_variants": [
                "0x6053a6f9",
                "0x6053a6f90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x820b7faf",
            "selector": "0x820b7faf",
            "calldata_variants": [
                "0x820b7faf",
                "0x820b7faf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x93423e9c",
            "selector": "0x93423e9c",
            "calldata_variants": [
                "0x93423e9c",
                "0x93423e9c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa6461016",
            "selector": "0xa6461016",
            "calldata_variants": [
                "0xa6461016",
                "0xa64610160000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd3a3f889",
            "selector": "0xd3a3f889",
            "calldata_variants": [
                "0xd3a3f889",
                "0xd3a3f8890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfbf35f96",
            "selector": "0xfbf35f96",
            "calldata_variants": [
                "0xfbf35f96",
                "0xfbf35f960000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 7919,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [
        {
            "pc": 1739,
            "type": "tx_origin_used"
        },
        {
            "pc": 2428,
            "type": "tx_origin_used"
        },
        {
            "pc": 3117,
            "type": "tx_origin_used"
        },
        {
            "pc": 3789,
            "type": "tx_origin_used"
        },
        {
            "pc": 4636,
            "type": "tx_origin_used"
        },
        {
            "pc": 5664,
            "type": "tx_origin_used"
        },
        {
            "pc": 6023,
            "type": "tx_origin_used"
        },
        {
            "pc": 1579,
            "type": "tx_origin_used"
        },
        {
            "pc": 1631,
            "type": "tx_origin_used"
        },
        {
            "pc": 1843,
            "type": "tx_origin_used"
        },
        {
            "pc": 1923,
            "type": "tx_origin_used"
        },
        {
            "pc": 2036,
            "type": "tx_origin_used"
        },
        {
            "pc": 2268,
            "type": "tx_origin_used"
        },
        {
            "pc": 2320,
            "type": "tx_origin_used"
        },
        {
            "pc": 2532,
            "type": "tx_origin_used"
        },
        {
            "pc": 2612,
            "type": "tx_origin_used"
        },
        {
            "pc": 2725,
            "type": "tx_origin_used"
        },
        {
            "pc": 2957,
            "type": "tx_origin_used"
        },
        {
            "pc": 3009,
            "type": "tx_origin_used"
        },
        {
            "pc": 3221,
            "type": "tx_origin_used"
        },
        {
            "pc": 3301,
            "type": "tx_origin_used"
        },
        {
            "pc": 3395,
            "type": "tx_origin_used"
        },
        {
            "pc": 3629,
            "type": "tx_origin_used"
        },
        {
            "pc": 3681,
            "type": "tx_origin_used"
        },
        {
            "pc": 3890,
            "type": "tx_origin_used"
        },
        {
            "pc": 4014,
            "type": "tx_origin_used"
        },
        {
            "pc": 4188,
            "type": "tx_origin_used"
        },
        {
            "pc": 4256,
            "type": "tx_origin_used"
        },
        {
            "pc": 4476,
            "type": "tx_origin_used"
        },
        {
            "pc": 4528,
            "type": "tx_origin_used"
        },
        {
            "pc": 4941,
            "type": "tx_origin_used"
        },
        {
            "pc": 5003,
            "type": "tx_origin_used"
        },
        {
            "pc": 5058,
            "type": "tx_origin_used"
        },
        {
            "pc": 5254,
            "type": "tx_origin_used"
        },
        {
            "pc": 5419,
            "type": "tx_origin_used"
        },
        {
            "pc": 5556,
            "type": "tx_origin_used"
        },
        {
            "pc": 5953,
            "type": "tx_origin_used"
        },
        {
            "pc": 6063,
            "type": "tx_origin_used"
        },
        {
            "pc": 6260,
            "type": "tx_origin_used"
        },
        {
            "pc": 6321,
            "type": "tx_origin_used"
        },
        {
            "pc": 6420,
            "type": "tx_origin_used"
        },
        {
            "pc": 6522,
            "type": "tx_origin_used"
        },
        {
            "pc": 6584,
            "type": "tx_origin_used"
        },
        {
            "pc": 6639,
            "type": "tx_origin_used"
        },
        {
            "pc": 6835,
            "type": "tx_origin_used"
        },
        {
            "pc": 7058,
            "type": "tx_origin_used"
        },
        {
            "pc": 7177,
            "type": "tx_origin_used"
        },
        {
            "pc": 7293,
            "type": "tx_origin_used"
        },
        {
            "pc": 7447,
            "type": "tx_origin_used"
        },
        {
            "pc": 7607,
            "type": "tx_origin_used"
        },
        {
            "pc": 7703,
            "type": "tx_origin_used"
        },
        {
            "pc": 8031,
            "type": "tx_origin_used"
        },
        {
            "pc": 8258,
            "type": "tx_origin_used"
        },
        {
            "pc": 8399,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 1
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x6edef29cfb03a2c92f688251caa2c9d2d10b95699e1f546223ec075b41348130
call_targets: 0x425041e7892693217b3b0637356ee83998380262
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x6edef29cfb03a2c92f688251caa2c9d2d10b95699e1f546223ec075b41348130",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x425041e7892693217b3b0637356ee83998380262"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x6053a6f9",
            "selector": "0x6053a6f9",
            "calldata_variants": [
                "0x6053a6f9",
                "0x6053a6f90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x820b7faf",
            "selector": "0x820b7faf",
            "calldata_variants": [
                "0x820b7faf",
                "0x820b7faf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x93423e9c",
            "selector": "0x93423e9c",
            "calldata_variants": [
                "0x93423e9c",
                "0x93423e9c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa6461016",
            "selector": "0xa6461016",
            "calldata_variants": [
                "0xa6461016",
                "0xa64610160000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd3a3f889",
            "selector": "0xd3a3f889",
            "calldata_variants": [
                "0xd3a3f889",
                "0xd3a3f8890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfbf35f96",
            "selector": "0xfbf35f96",
            "calldata_variants": [
                "0xfbf35f96",
                "0xfbf35f960000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 7919,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": [
        {
            "pc": 1739,
            "type": "tx_origin_used"
        },
        {
            "pc": 2428,
            "type": "tx_origin_used"
        },
        {
            "pc": 3117,
            "type": "tx_origin_used"
        },
        {
            "pc": 3789,
            "type": "tx_origin_used"
        },
        {
            "pc": 4636,
            "type": "tx_origin_used"
        },
        {
            "pc": 5664,
            "type": "tx_origin_used"
        },
        {
            "pc": 6023,
            "type": "tx_origin_used"
        },
        {
            "pc": 1579,
            "type": "tx_origin_used"
        },
        {
            "pc": 1631,
            "type": "tx_origin_used"
        },
        {
            "pc": 1843,
            "type": "tx_origin_used"
        },
        {
            "pc": 1923,
            "type": "tx_origin_used"
        },
        {
            "pc": 2036,
            "type": "tx_origin_used"
        },
        {
            "pc": 2268,
            "type": "tx_origin_used"
        },
        {
            "pc": 2320,
            "type": "tx_origin_used"
        },
        {
            "pc": 2532,
            "type": "tx_origin_used"
        },
        {
            "pc": 2612,
            "type": "tx_origin_used"
        },
        {
            "pc": 2725,
            "type": "tx_origin_used"
        },
        {
            "pc": 2957,
            "type": "tx_origin_used"
        },
        {
            "pc": 3009,
            "type": "tx_origin_used"
        },
        {
            "pc": 3221,
            "type": "tx_origin_used"
        },
        {
            "pc": 3301,
            "type": "tx_origin_used"
        },
        {
            "pc": 3395,
            "type": "tx_origin_used"
        },
        {
            "pc": 3629,
            "type": "tx_origin_used"
        },
        {
            "pc": 3681,
            "type": "tx_origin_used"
        },
        {
            "pc": 3890,
            "type": "tx_origin_used"
        },
        {
            "pc": 4014,
            "type": "tx_origin_used"
        },
        {
            "pc": 4188,
            "type": "tx_origin_used"
        },
        {
            "pc": 4256,
            "type": "tx_origin_used"
        },
        {
            "pc": 4476,
            "type": "tx_origin_used"
        },
        {
            "pc": 4528,
            "type": "tx_origin_used"
        },
        {
            "pc": 4941,
            "type": "tx_origin_used"
        },
        {
            "pc": 5003,
            "type": "tx_origin_used"
        },
        {
            "pc": 5058,
            "type": "tx_origin_used"
        },
        {
            "pc": 5254,
            "type": "tx_origin_used"
        },
        {
            "pc": 5419,
            "type": "tx_origin_used"
        },
        {
            "pc": 5556,
            "type": "tx_origin_used"
        },
        {
            "pc": 5953,
            "type": "tx_origin_used"
        },
        {
            "pc": 6063,
            "type": "tx_origin_used"
        },
        {
            "pc": 6260,
            "type": "tx_origin_used"
        },
        {
            "pc": 6321,
            "type": "tx_origin_used"
        },
        {
            "pc": 6420,
            "type": "tx_origin_used"
        },
        {
            "pc": 6522,
            "type": "tx_origin_used"
        },
        {
            "pc": 6584,
            "type": "tx_origin_used"
        },
        {
            "pc": 6639,
            "type": "tx_origin_used"
        },
        {
            "pc": 6835,
            "type": "tx_origin_used"
        },
        {
            "pc": 7058,
            "type": "tx_origin_used"
        },
        {
            "pc": 7177,
            "type": "tx_origin_used"
        },
        {
            "pc": 7293,
            "type": "tx_origin_used"
        },
        {
            "pc": 7447,
            "type": "tx_origin_used"
        },
        {
            "pc": 7607,
            "type": "tx_origin_used"
        },
        {
            "pc": 7703,
            "type": "tx_origin_used"
        },
        {
            "pc": 8031,
            "type": "tx_origin_used"
        },
        {
            "pc": 8258,
            "type": "tx_origin_used"
        },
        {
            "pc": 8399,
            "type": "tx_origin_used"
        }
    ]
}