Analysis Run

019ba8e4-06f1-7083-ad07-ca6f91c6818b

complete

Chain ID

1

Address

0xc2d55ce14a8e04aef9b6bcfd105079b63c6a0ac8

Block Number

—

Created

Sat, Jan 10, 2026 5:11 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?

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

Authorization based on tx.origin

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
33303	artifact.fetch	complete	1 / 3	3 months ago
33304	proxy.resolve	complete	1 / 3	3 months ago
33305	tool.cast_disasm	complete	1 / 3	3 months ago
33306	analysis.bundle	complete	1 / 3	3 months ago
33307	capability.graph	complete	1 / 3	3 months ago
33308	detector.run	complete	1 / 3	3 months ago
33309	validation.fork	complete	1 / 3	3 months ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no not_proxy

Implementation:

—

Verified Source: yes

Proxy evidence

{
    "status": "not_proxy"
}

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)

17

EXT*/BALANCE

17

Total opcodes

7170

Flags

heavy_ext_balance_usage call_family_heavy

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x038c
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x7b0a47ee
00000026: GT
00000027: PUSH2 0x01de
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xc8333bb2
00000031: GT
00000032: PUSH2 0x010f
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xe9b46e6d
0000003c: GT
0000003d: PUSH2 0x00ad
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xf2fde38b
00000047: GT
00000048: PUSH2 0x007c
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xf2fde38b
00000052: EQ
00000053: PUSH2 0x07e1
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xf3fef3a3
0000005d: EQ
0000005e: PUSH2 0x0807
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xf7888aec
00000068: EQ
00000069: PUSH2 0x0833
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0xffe48902
00000073: EQ
00000074: PUSH2 0x0861
00000077: JUMPI
00000078: PUSH2 0x038c
0000007b: JUMP
0000007c: JUMPDEST
0000007d: DUP1
0000007e: PUSH4 0xe9b46e6d
00000083: EQ
00000084: PUSH2 0x0785
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xe9fad8ee
0000008e: EQ
0000008f: PUSH2 0x07ab
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xeb504614
00000099: EQ
0000009a: PUSH2 0x07b3
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0xebe2b12b
000000a4: EQ
000000a5: PUSH2 0x07d9
000000a8: JUMPI
000000a9: PUSH2 0x038c
000000ac: JUMP
000000ad: JUMPDEST
000000ae: DUP1
000000af: PUSH4 0xdc8d3683
000000b4: GT
000000b5: PUSH2 0x00e9
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xdc8d3683
000000bf: EQ
000000c0: PUSH2 0x0747
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xdf136d65
000000ca: EQ
000000cb: PUSH2 0x074f
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xe4dc2aa4
000000d5: EQ
000000d6: PUSH2 0x0757
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xe68e035b
000000e0: EQ
000000e1: PUSH2 0x077d
000000e4: JUMPI
000000e5: PUSH2 0x038c
000000e8: JUMP
000000e9: JUMPDEST
000000ea: DUP1
000000eb: PUSH4 0xc8333bb2
000000f0: EQ
000000f1: PUSH2 0x072f
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0xc8f33c91
000000fb: EQ
000000fc: PUSH2 0x0737
000000ff: JUMPI
00000100: DUP1
00000101: PUSH4 0xcd3daf9d
00000106: EQ
00000107: PUSH2 0x073f
0000010a: JUMPI
0000010b: PUSH2 0x038c
0000010e: JUMP
0000010f: JUMPDEST
00000110: DUP1
00000111: PUSH4 0x98309e3d
00000116: GT
00000117: PUSH2 0x017c
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0xaa5a0d5e
00000121: GT
00000122: PUSH2 0x0156
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0xaa5a0d5e
0000012c: EQ
0000012d: PUSH2 0x06f1
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0xb3d673d8
00000137: EQ
00000138: PUSH2 0x06f9
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0xb591d3a5
00000142: EQ
00000143: PUSH2 0x0701
00000146: JUMPI
00000147: DUP1
00000148: PUSH4 0xc3dee20b
0000014d: EQ
0000014e: PUSH2 0x0727
00000151: JUMPI
00000152: PUSH2 0x038c
00000155: JUMP
00000156: JUMPDEST
00000157: DUP1
00000158: PUSH4 0x98309e3d
0000015d: EQ
0000015e: PUSH2 0x06bb
00000161: JUMPI
00000162: DUP1
00000163: PUSH4 0x9c907b58
00000168: EQ
00000169: PUSH2 0x06e1
0000016c: JUMPI
0000016d: DUP1
0000016e: PUSH4 0xa457536c
00000173: EQ
00000174: PUSH2 0x06e9
00000177: JUMPI
00000178: PUSH2 0x038c
0000017b: JUMP
0000017c: JUMPDEST
0000017d: DUP1
0000017e: PUSH4 0x8b876347
00000183: GT
00000184: PUSH2 0x01b8
00000187: JUMPI
00000188: DUP1
00000189: PUSH4 0x8b876347
0000018e: EQ
0000018f: PUSH2 0x067d
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0x8da58897
00000199: EQ
0000019a: PUSH2 0x06a3
0000019d: JUMPI
0000019e: DUP1
0000019f: PUSH4 0x8da5cb5b
000001a4: EQ
000001a5: PUSH2 0x06ab
000001a8: JUMPI
000001a9: DUP1
000001aa: PUSH4 0x8f32d59b
000001af: EQ
000001b0: PUSH2 0x06b3
000001b3: JUMPI
000001b4: PUSH2 0x038c
000001b7: JUMP
000001b8: JUMPDEST
000001b9: DUP1
000001ba: PUSH4 0x7b0a47ee
000001bf: EQ
000001c0: PUSH2 0x0665
000001c3: JUMPI
000001c4: DUP1
000001c5: PUSH4 0x80ad3008
000001ca: EQ
000001cb: PUSH2 0x066d
000001ce: JUMPI
000001cf: DUP1
000001d0: PUSH4 0x80faa57d
000001d5: EQ
000001d6: PUSH2 0x0675
000001d9: JUMPI
000001da: PUSH2 0x038c
000001dd: JUMP
000001de: JUMPDEST
000001df: DUP1
000001e0: PUSH4 0x2f38c8a1
000001e5: GT
000001e6: PUSH2 0x02c3
000001e9: JUMPI
000001ea: DUP1
000001eb: PUSH4 0x53220a42
000001f0: GT
000001f1: PUSH2 0x0261
000001f4: JUMPI
000001f5: DUP1
000001f6: PUSH4 0x715018a6
000001fb: GT
000001fc: PUSH2 0x0230
000001ff: JUMPI
00000200: DUP1
00000201: PUSH4 0x715018a6
00000206: EQ
00000207: PUSH2 0x0645
0000020a: JUMPI
0000020b: DUP1
0000020c: PUSH4 0x7318a730
00000211: EQ
00000212: PUSH2 0x064d
00000215: JUMPI
00000216: DUP1
00000217: PUSH4 0x76671808
0000021c: EQ
0000021d: PUSH2 0x0655
00000220: JUMPI
00000221: DUP1
00000222: PUSH4 0x79a7d1be
00000227: EQ
00000228: PUSH2 0x065d
0000022b: JUMPI
0000022c: PUSH2 0x038c
0000022f: JUMP
00000230: JUMPDEST
00000231: DUP1
00000232: PUSH4 0x53220a42
00000237: EQ
00000238: PUSH2 0x05de
0000023b: JUMPI
0000023c: DUP1
0000023d: PUSH4 0x541dbe9f
00000242: EQ
00000243: PUSH2 0x05e6
00000246: JUMPI
00000247: DUP1
00000248: PUSH4 0x67b37b7a
0000024d: EQ
0000024e: PUSH2 0x05ee
00000251: JUMPI
00000252: DUP1
00000253: PUSH4 0x6a46d059
00000258: EQ
00000259: PUSH2 0x0628
0000025c: JUMPI
0000025d: PUSH2 0x038c
00000260: JUMP
00000261: JUMPDEST
00000262: DUP1
00000263: PUSH4 0x3d62bbe1
00000268: GT
00000269: PUSH2 0x029d
0000026c: JUMPI
0000026d: DUP1
0000026e: PUSH4 0x3d62bbe1
00000273: EQ
00000274: PUSH2 0x056d
00000277: JUMPI
00000278: DUP1
00000279: PUSH4 0x3f7b06d8
0000027e: EQ
0000027f: PUSH2 0x0593
00000282: JUMPI
00000283: DUP1
00000284: PUSH4 0x41c5c207
00000289: EQ
0000028a: PUSH2 0x05b9
0000028d: JUMPI
0000028e: DUP1
0000028f: PUSH4 0x4d286a3d
00000294: EQ
00000295: PUSH2 0x05d6
00000298: JUMPI
00000299: PUSH2 0x038c
0000029c: JUMP
0000029d: JUMPDEST
0000029e: DUP1
0000029f: PUSH4 0x2f38c8a1
000002a4: EQ
000002a5: PUSH2 0x0522
000002a8: JUMPI
000002a9: DUP1
000002aa: PUSH4 0x3c6b16ab
000002af: EQ
000002b0: PUSH2 0x0548
000002b3: JUMPI
000002b4: DUP1
000002b5: PUSH4 0x3d18b912
000002ba: EQ
000002bb: PUSH2 0x0565
000002be: JUMPI
000002bf: PUSH2 0x038c
000002c2: JUMP
000002c3: JUMPDEST
000002c4: DUP1
000002c5: PUSH4 0x13eb6c88
000002ca: GT
000002cb: PUSH2 0x0330
000002ce: JUMPI
000002cf: DUP1
000002d0: PUSH4 0x1d8a6d10
000002d5: GT
000002d6: PUSH2 0x030a
000002d9: JUMPI
000002da: DUP1
000002db: PUSH4 0x1d8a6d10
000002e0: EQ
000002e1: PUSH2 0x04bd
000002e4: JUMPI
000002e5: DUP1
000002e6: PUSH4 0x207e821d
000002eb: EQ
000002ec: PUSH2 0x04c5
000002ef: JUMPI
000002f0: DUP1
000002f1: PUSH4 0x294091cd
000002f6: EQ
000002f7: PUSH2 0x04cd
000002fa: JUMPI
000002fb: DUP1
000002fc: PUSH4 0x2e329bd3
00000301: EQ
00000302: PUSH2 0x0503
00000305: JUMPI
00000306: PUSH2 0x038c
00000309: JUMP
0000030a: JUMPDEST
0000030b: DUP1
0000030c: PUSH4 0x13eb6c88
00000311: EQ
00000312: PUSH2 0x0487
00000315: JUMPI
00000316: DUP1
00000317: PUSH4 0x1961eaf9
0000031c: EQ
0000031d: PUSH2 0x048f
00000320: JUMPI
00000321: DUP1
00000322: PUSH4 0x1be05289
00000327: EQ
00000328: PUSH2 0x04b5
0000032b: JUMPI
0000032c: PUSH2 0x038c
0000032f: JUMP
00000330: JUMPDEST
00000331: DUP1
00000332: PUSH4 0x0700037d
00000337: GT
00000338: PUSH2 0x036c
0000033b: JUMPI
0000033c: DUP1
0000033d: PUSH4 0x0700037d
00000342: EQ
00000343: PUSH2 0x03f9
00000346: JUMPI
00000347: DUP1
00000348: PUSH4 0x0cdb43c4
0000034d: EQ
0000034e: PUSH2 0x041f
00000351: JUMPI
00000352: DUP1
00000353: PUSH4 0x0d68b761
00000358: EQ
00000359: PUSH2 0x0443
0000035c: JUMPI
0000035d: DUP1
0000035e: PUSH4 0x0fcfc6a8
00000363: EQ
00000364: PUSH2 0x0469
00000367: JUMPI
00000368: PUSH2 0x038c
0000036b: JUMP
0000036c: JUMPDEST
0000036d: DUP1
0000036e: PUSH3 0x2dcfb9
00000372: EQ
00000373: PUSH2 0x0391
00000376: JUMPI
00000377: DUP1
00000378: PUSH3 0x8cc262
0000037c: EQ
0000037d: PUSH2 0x03b9
00000380: JUMPI
00000381: DUP1
00000382: PUSH4 0x04e01d87
00000387: EQ
00000388: PUSH2 0x03f1
0000038b: JUMPI
0000038c: JUMPDEST
0000038d: PUSH1 0x00
0000038f: DUP1
00000390: REVERT
00000391: JUMPDEST
00000392: PUSH2 0x03b7
00000395: PUSH1 0x04
00000397: DUP1
00000398: CALLDATASIZE
00000399: SUB
0000039a: PUSH1 0x20
0000039c: DUP2
0000039d: LT
0000039e: ISZERO
0000039f: PUSH2 0x03a7
000003a2: JUMPI
000003a3: PUSH1 0x00
000003a5: DUP1
000003a6: REVERT
000003a7: JUMPDEST
000003a8: POP
000003a9: CALLDATALOAD
000003aa: PUSH1 0x01
000003ac: PUSH1 0x01
000003ae: PUSH1 0xa0
000003b0: SHL
000003b1: SUB
000003b2: AND
000003b3: PUSH2 0x0887
000003b6: JUMP
000003b7: JUMPDEST
000003b8: STOP
000003b9: JUMPDEST
000003ba: PUSH2 0x03df
000003bd: PUSH1 0x04
000003bf: DUP1
000003c0: CALLDATASIZE
000003c1: SUB
000003c2: PUSH1 0x20
000003c4: DUP2
000003c5: LT
000003c6: ISZERO
000003c7: PUSH2 0x03cf
000003ca: JUMPI
000003cb: PUSH1 0x00
000003cd: DUP1
000003ce: REVERT
000003cf: JUMPDEST
000003d0: POP
000003d1: CALLDATALOAD
000003d2: PUSH1 0x01
000003d4: PUSH1 0x01
000003d6: PUSH1 0xa0
000003d8: SHL
000003d9: SUB
000003da: AND
000003db: PUSH2 0x08f0
000003de: JUMP
000003df: JUMPDEST
000003e0: PUSH1 0x40
000003e2: DUP1
000003e3: MLOAD
000003e4: SWAP2
000003e5: DUP3
000003e6: MSTORE
000003e7: MLOAD
000003e8: SWAP1
000003e9: DUP2
000003ea: SWAP1
000003eb: SUB
000003ec: PUSH1 0x20
000003ee: ADD
000003ef: SWAP1
000003f0: RETURN
000003f1: JUMPDEST
000003f2: PUSH2 0x03df
000003f5: PUSH2 0x0976
000003f8: JUMP
000003f9: JUMPDEST
000003fa: PUSH2 0x03df
000003fd: PUSH1 0x04
000003ff: DUP1
00000400: CALLDATASIZE
00000401: SUB
00000402: PUSH1 0x20
00000404: DUP2
00000405: LT
00000406: ISZERO
00000407: PUSH2 0x040f
0000040a: JUMPI
0000040b: PUSH1 0x00
0000040d: DUP1
0000040e: REVERT
0000040f: JUMPDEST
00000410: POP
00000411: CALLDATALOAD
00000412: PUSH1 0x01
00000414: PUSH1 0x01
00000416: PUSH1 0xa0
00000418: SHL
00000419: SUB
0000041a: AND
0000041b: PUSH2 0x097c
0000041e: JUMP
0000041f: JUMPDEST
00000420: PUSH2 0x0427
00000423: PUSH2 0x098e
00000426: JUMP
00000427: JUMPDEST
00000428: PUSH1 0x40
0000042a: DUP1
0000042b: MLOAD
0000042c: PUSH1 0x01
0000042e: PUSH1 0x01
00000430: PUSH1 0xa0
00000432: SHL
00000433: SUB
00000434: SWAP1
00000435: SWAP3
00000436: AND
00000437: DUP3
00000438: MSTORE
00000439: MLOAD
0000043a: SWAP1
0000043b: DUP2
0000043c: SWAP1
0000043d: SUB
0000043e: PUSH1 0x20
00000440: ADD
00000441: SWAP1
00000442: RETURN
00000443: JUMPDEST
00000444: PUSH2 0x03b7
00000447: PUSH1 0x04
00000449: DUP1
0000044a: CALLDATASIZE
0000044b: SUB
0000044c: PUSH1 0x20
0000044e: DUP2
0000044f: LT
00000450: ISZERO
00000451: PUSH2 0x0459
00000454: JUMPI
00000455: PUSH1 0x00
00000457: DUP1
00000458: REVERT
00000459: JUMPDEST
0000045a: POP
0000045b: CALLDATALOAD
0000045c: PUSH1 0x01
0000045e: PUSH1 0x01
00000460: PUSH1 0xa0
00000462: SHL
00000463: SUB
00000464: AND
00000465: PUSH2 0x099d
00000468: JUMP
00000469: JUMPDEST
0000046a: PUSH2 0x0471
0000046d: PUSH2 0x0a06
00000470: JUMP
00000471: JUMPDEST
00000472: PUSH1 0x40
00000474: DUP1
00000475: MLOAD
00000476: PUSH1 0xff
00000478: SWAP1
00000479: SWAP3
0000047a: AND
0000047b: DUP3
0000047c: MSTORE
0000047d: MLOAD
0000047e: SWAP1
0000047f: DUP2
00000480: SWAP1
00000481: SUB
00000482: PUSH1 0x20
00000484: ADD
00000485: SWAP1
00000486: RETURN
00000487: JUMPDEST
00000488: PUSH2 0x03df
0000048b: PUSH2 0x0a0b
0000048e: JUMP
0000048f: JUMPDEST
00000490: PUSH2 0x03b7
00000493: PUSH1 0x04
00000495: DUP1
00000496: CALLDATASIZE
00000497: SUB
00000498: PUSH1 0x20
0000049a: DUP2
0000049b: LT
0000049c: ISZERO
0000049d: PUSH2 0x04a5
000004a0: JUMPI
000004a1: PUSH1 0x00
000004a3: DUP1
000004a4: REVERT
000004a5: JUMPDEST
000004a6: POP
000004a7: CALLDATALOAD
000004a8: PUSH1 0x01
000004aa: PUSH1 0x01
000004ac: PUSH1 0xa0
000004ae: SHL
000004af: SUB
000004b0: AND
000004b1: PUSH2 0x0a19
000004b4: JUMP
000004b5: JUMPDEST
000004b6: PUSH2 0x03df
000004b9: PUSH2 0x0a82
000004bc: JUMP
000004bd: JUMPDEST
000004be: PUSH2 0x03b7
000004c1: PUSH2 0x0a89
000004c4: JUMP
000004c5: JUMPDEST
000004c6: PUSH2 0x03df
000004c9: PUSH2 0x0bb6
000004cc: JUMP
000004cd: JUMPDEST
000004ce: PUSH2 0x03b7
000004d1: PUSH1 0x04
000004d3: DUP1
000004d4: CALLDATASIZE
000004d5: SUB
000004d6: PUSH1 0x60
000004d8: DUP2
000004d9: LT
000004da: ISZERO
000004db: PUSH2 0x04e3
000004de: JUMPI
000004df: PUSH1 0x00
000004e1: DUP1
000004e2: REVERT
000004e3: JUMPDEST
000004e4: POP
000004e5: PUSH1 0x01
000004e7: PUSH1 0x01
000004e9: PUSH1 0xa0
000004eb: SHL
000004ec: SUB
000004ed: DUP2
000004ee: CALLDATALOAD
000004ef: DUP2
000004f0: AND
000004f1: SWAP2
000004f2: PUSH1 0x20
000004f4: DUP2
000004f5: ADD
000004f6: CALLDATALOAD
000004f7: SWAP2
000004f8: PUSH1 0x40
000004fa: SWAP1
000004fb: SWAP2
000004fc: ADD
000004fd: CALLDATALOAD
000004fe: AND
000004ff: PUSH2 0x0bbc
00000502: JUMP
00000503: JUMPDEST
00000504: PUSH2 0x050b
00000507: PUSH2 0x10ec
0000050a: JUMP
0000050b: JUMPDEST
0000050c: PUSH1 0x40
0000050e: DUP1
0000050f: MLOAD
00000510: PUSH2 0xffff
00000513: SWAP1
00000514: SWAP3
00000515: AND
00000516: DUP3
00000517: MSTORE
00000518: MLOAD
00000519: SWAP1
0000051a: DUP2
0000051b: SWAP1
0000051c: SUB
0000051d: PUSH1 0x20
0000051f: ADD
00000520: SWAP1
00000521: RETURN
00000522: JUMPDEST
00000523: PUSH2 0x03df
00000526: PUSH1 0x04
00000528: DUP1
00000529: CALLDATASIZE
0000052a: SUB
0000052b: PUSH1 0x20
0000052d: DUP2
0000052e: LT
0000052f: ISZERO
00000530: PUSH2 0x0538
00000533: JUMPI
00000534: PUSH1 0x00
00000536: DUP1
00000537: REVERT
00000538: JUMPDEST
00000539: POP
0000053a: CALLDATALOAD
0000053b: PUSH1 0x01
0000053d: PUSH1 0x01
0000053f: PUSH1 0xa0
00000541: SHL
00000542: SUB
00000543: AND
00000544: PUSH2 0x11a2
00000547: JUMP
00000548: JUMPDEST
00000549: PUSH2 0x03b7
0000054c: PUSH1 0x04
0000054e: DUP1
0000054f: CALLDATASIZE
00000550: SUB
00000551: PUSH1 0x20
00000553: DUP2
00000554: LT
00000555: ISZERO
00000556: PUSH2 0x055e
00000559: JUMPI
0000055a: PUSH1 0x00
0000055c: DUP1
0000055d: REVERT
0000055e: JUMPDEST
0000055f: POP
00000560: CALLDATALOAD
00000561: PUSH2 0x11b3
00000564: JUMP
00000565: JUMPDEST
00000566: PUSH2 0x03b7
00000569: PUSH2 0x14d7
0000056c: JUMP
0000056d: JUMPDEST
0000056e: PUSH2 0x03df
00000571: PUSH1 0x04
00000573: DUP1
00000574: CALLDATASIZE
00000575: SUB
00000576: PUSH1 0x20
00000578: DUP2
00000579: LT
0000057a: ISZERO
0000057b: PUSH2 0x0583
0000057e: JUMPI
0000057f: PUSH1 0x00
00000581: DUP1
00000582: REVERT
00000583: JUMPDEST
00000584: POP
00000585: CALLDATALOAD
00000586: PUSH1 0x01
00000588: PUSH1 0x01
0000058a: PUSH1 0xa0
0000058c: SHL
0000058d: SUB
0000058e: AND
0000058f: PUSH2 0x1abb
00000592: JUMP
00000593: JUMPDEST
00000594: PUSH2 0x03df
00000597: PUSH1 0x04
00000599: DUP1
0000059a: CALLDATASIZE
0000059b: SUB
0000059c: PUSH1 0x20
0000059e: DUP2
0000059f: LT
000005a0: ISZERO
000005a1: PUSH2 0x05a9
000005a4: JUMPI
000005a5: PUSH1 0x00
000005a7: DUP1
000005a8: REVERT
000005a9: JUMPDEST
000005aa: POP
000005ab: CALLDATALOAD
000005ac: PUSH1 0x01
000005ae: PUSH1 0x01
000005b0: PUSH1 0xa0
000005b2: SHL
000005b3: SUB
000005b4: AND
000005b5: PUSH2 0x1acc
000005b8: JUMP
000005b9: JUMPDEST
000005ba: PUSH2 0x03df
000005bd: PUSH1 0x04
000005bf: DUP1
000005c0: CALLDATASIZE
000005c1: SUB
000005c2: PUSH1 0x20
000005c4: DUP2
000005c5: LT
000005c6: ISZERO
000005c7: PUSH2 0x05cf
000005ca: JUMPI
000005cb: PUSH1 0x00
000005cd: DUP1
000005ce: REVERT
000005cf: JUMPDEST
000005d0: POP
000005d1: CALLDATALOAD
000005d2: PUSH2 0x1ade
000005d5: JUMP
000005d6: JUMPDEST
000005d7: PUSH2 0x0427
000005da: PUSH2 0x1af2
000005dd: JUMP
000005de: JUMPDEST
000005df: PUSH2 0x03df
000005e2: PUSH2 0x1b0a
000005e5: JUMP
000005e6: JUMPDEST
000005e7: PUSH2 0x03df
000005ea: PUSH2 0x1b0f
000005ed: JUMP
000005ee: JUMPDEST
000005ef: PUSH2 0x0614
000005f2: PUSH1 0x04
000005f4: DUP1
000005f5: CALLDATASIZE
000005f6: SUB
000005f7: PUSH1 0x20
000005f9: DUP2
000005fa: LT
000005fb: ISZERO
000005fc: PUSH2 0x0604
000005ff: JUMPI
00000600: PUSH1 0x00
00000602: DUP1
00000603: REVERT
00000604: JUMPDEST
00000605: POP
00000606: CALLDATALOAD
00000607: PUSH1 0x01
00000609: PUSH1 0x01
0000060b: PUSH1 0xa0
0000060d: SHL
0000060e: SUB
0000060f: AND
00000610: PUSH2 0x1b78
00000613: JUMP
00000614: JUMPDEST
00000615: PUSH1 0x40
00000617: DUP1
00000618: MLOAD
00000619: SWAP2
0000061a: ISZERO
0000061b: ISZERO
0000061c: DUP3
0000061d: MSTORE
0000061e: MLOAD
0000061f: SWAP1
00000620: DUP2
00000621: SWAP1
00000622: SUB
00000623: PUSH1 0x20
00000625: ADD
00000626: SWAP1
00000627: RETURN
00000628: JUMPDEST
00000629: PUSH2 0x0427
0000062c: PUSH1 0x04
0000062e: DUP1
0000062f: CALLDATASIZE
00000630: SUB
00000631: PUSH1 0x20
00000633: DUP2
00000634: LT
00000635: ISZERO
00000636: PUSH2 0x063e
00000639: JUMPI
0000063a: PUSH1 0x00
0000063c: DUP1
0000063d: REVERT
0000063e: JUMPDEST
0000063f: POP
00000640: CALLDATALOAD
00000641: PUSH2 0x1b8d
00000644: JUMP
00000645: JUMPDEST
00000646: PUSH2 0x03b7
00000649: PUSH2 0x1baa
0000064c: JUMP
0000064d: JUMPDEST
0000064e: PUSH2 0x0427
00000651: PUSH2 0x1c3b
00000654: JUMP
00000655: JUMPDEST
00000656: PUSH2 0x0471
00000659: PUSH2 0x1c4a
0000065c: JUMP
0000065d: JUMPDEST
0000065e: PUSH2 0x0427
00000661: PUSH2 0x1c53
00000664: JUMP
00000665: JUMPDEST
00000666: PUSH2 0x03df
00000669: PUSH2 0x1c62
0000066c: JUMP
0000066d: JUMPDEST
0000066e: PUSH2 0x0427
00000671: PUSH2 0x1c68
00000674: JUMP
00000675: JUMPDEST
00000676: PUSH2 0x03df
00000679: PUSH2 0x1c80
0000067c: JUMP
0000067d: JUMPDEST
0000067e: PUSH2 0x03df
00000681: PUSH1 0x04
00000683: DUP1
00000684: CALLDATASIZE
00000685: SUB
00000686: PUSH1 0x20
00000688: DUP2
00000689: LT
0000068a: ISZERO
0000068b: PUSH2 0x0693
0000068e: JUMPI
0000068f: PUSH1 0x00
00000691: DUP1
00000692: REVERT
00000693: JUMPDEST
00000694: POP
00000695: CALLDATALOAD
00000696: PUSH1 0x01
00000698: PUSH1 0x01
0000069a: PUSH1 0xa0
0000069c: SHL
0000069d: SUB
0000069e: AND
0000069f: PUSH2 0x1c93
000006a2: JUMP
000006a3: JUMPDEST
000006a4: PUSH2 0x03df
000006a7: PUSH2 0x1ca5
000006aa: JUMP
000006ab: JUMPDEST
000006ac: PUSH2 0x0427
000006af: PUSH2 0x1cab
000006b2: JUMP
000006b3: JUMPDEST
000006b4: PUSH2 0x0614
000006b7: PUSH2 0x1cba
000006ba: JUMP
000006bb: JUMPDEST
000006bc: PUSH2 0x03df
000006bf: PUSH1 0x04
000006c1: DUP1
000006c2: CALLDATASIZE
000006c3: SUB
000006c4: PUSH1 0x20
000006c6: DUP2
000006c7: LT
000006c8: ISZERO
000006c9: PUSH2 0x06d1
000006cc: JUMPI
000006cd: PUSH1 0x00
000006cf: DUP1
000006d0: REVERT
000006d1: JUMPDEST
000006d2: POP
000006d3: CALLDATALOAD
000006d4: PUSH1 0x01
000006d6: PUSH1 0x01
000006d8: PUSH1 0xa0
000006da: SHL
000006db: SUB
000006dc: AND
000006dd: PUSH2 0x1ce0
000006e0: JUMP
000006e1: JUMPDEST
000006e2: PUSH2 0x03df
000006e5: PUSH2 0x1d64
000006e8: JUMP
000006e9: JUMPDEST
000006ea: PUSH2 0x0427
000006ed: PUSH2 0x1d6a
000006f0: JUMP
000006f1: JUMPDEST
000006f2: PUSH2 0x0427
000006f5: PUSH2 0x1d79
000006f8: JUMP
000006f9: JUMPDEST
000006fa: PUSH2 0x0427
000006fd: PUSH2 0x1d8c
00000700: JUMP
00000701: JUMPDEST
00000702: PUSH2 0x0427
00000705: PUSH1 0x04
00000707: DUP1
00000708: CALLDATASIZE
00000709: SUB
0000070a: PUSH1 0x20
0000070c: DUP2
0000070d: LT
0000070e: ISZERO
0000070f: PUSH2 0x0717
00000712: JUMPI
00000713: PUSH1 0x00
00000715: DUP1
00000716: REVERT
00000717: JUMPDEST
00000718: POP
00000719: CALLDATALOAD
0000071a: PUSH1 0x01
0000071c: PUSH1 0x01
0000071e: PUSH1 0xa0
00000720: SHL
00000721: SUB
00000722: AND
00000723: PUSH2 0x1da4
00000726: JUMP
00000727: JUMPDEST
00000728: PUSH2 0x0427
0000072b: PUSH2 0x1dbf
0000072e: JUMP
0000072f: JUMPDEST
00000730: PUSH2 0x03df
00000733: PUSH2 0x1dce
00000736: JUMP
00000737: JUMPDEST
00000738: PUSH2 0x03df
0000073b: PUSH2 0x1ddc
0000073e: JUMP
0000073f: JUMPDEST
00000740: PUSH2 0x03df
00000743: PUSH2 0x1de2
00000746: JUMP
00000747: JUMPDEST
00000748: PUSH2 0x03df
0000074b: PUSH2 0x1e36
0000074e: JUMP
0000074f: JUMPDEST
00000750: PUSH2 0x03df
00000753: PUSH2 0x1e3c
00000756: JUMP
00000757: JUMPDEST
00000758: PUSH2 0x03df
0000075b: PUSH1 0x04
0000075d: DUP1
0000075e: CALLDATASIZE
0000075f: SUB
00000760: PUSH1 0x20
00000762: DUP2
00000763: LT
00000764: ISZERO
00000765: PUSH2 0x076d
00000768: JUMPI
00000769: PUSH1 0x00
0000076b: DUP1
0000076c: REVERT
0000076d: JUMPDEST
0000076e: POP
0000076f: CALLDATALOAD
00000770: PUSH1 0x01
00000772: PUSH1 0x01
00000774: PUSH1 0xa0
00000776: SHL
00000777: SUB
00000778: AND
00000779: PUSH2 0x1e42
0000077c: JUMP
0000077d: JUMPDEST
0000077e: PUSH2 0x03df
00000781: PUSH2 0x1e5d
00000784: JUMP
00000785: JUMPDEST
00000786: PUSH2 0x03df
00000789: PUSH1 0x04
0000078b: DUP1
0000078c: CALLDATASIZE
0000078d: SUB
0000078e: PUSH1 0x20
00000790: DUP2
00000791: LT
00000792: ISZERO
00000793: PUSH2 0x079b
00000796: JUMPI
00000797: PUSH1 0x00
00000799: DUP1
0000079a: REVERT
0000079b: JUMPDEST
0000079c: POP
0000079d: CALLDATALOAD
0000079e: PUSH1 0x01
000007a0: PUSH1 0x01
000007a2: PUSH1 0xa0
000007a4: SHL
000007a5: SUB
000007a6: AND
000007a7: PUSH2 0x1e63
000007aa: JUMP
000007ab: JUMPDEST
000007ac: PUSH2 0x03b7
000007af: PUSH2 0x1e75
000007b2: JUMP
000007b3: JUMPDEST
000007b4: PUSH2 0x03df
000007b7: PUSH1 0x04
000007b9: DUP1
000007ba: CALLDATASIZE
000007bb: SUB
000007bc: PUSH1 0x20
000007be: DUP2
000007bf: LT
000007c0: ISZERO
000007c1: PUSH2 0x07c9
000007c4: JUMPI
000007c5: PUSH1 0x00
000007c7: DUP1
000007c8: REVERT
000007c9: JUMPDEST
000007ca: POP
000007cb: CALLDATALOAD
000007cc: PUSH1 0x01
000007ce: PUSH1 0x01
000007d0: PUSH1 0xa0
000007d2: SHL
000007d3: SUB
000007d4: AND
000007d5: PUSH2 0x1eea
000007d8: JUMP
000007d9: JUMPDEST
000007da: PUSH2 0x03df
000007dd: PUSH2 0x1efb
000007e0: JUMP
000007e1: JUMPDEST
000007e2: PUSH2 0x03b7
000007e5: PUSH1 0x04
000007e7: DUP1
000007e8: CALLDATASIZE
000007e9: SUB
000007ea: PUSH1 0x20
000007ec: DUP2
000007ed: LT
000007ee: ISZERO
000007ef: PUSH2 0x07f7
000007f2: JUMPI
000007f3: PUSH1 0x00
000007f5: DUP1
000007f6: REVERT
000007f7: JUMPDEST
000007f8: POP
000007f9: CALLDATALOAD
000007fa: PUSH1 0x01
000007fc: PUSH1 0x01
000007fe: PUSH1 0xa0
00000800: SHL
00000801: SUB
00000802: AND
00000803: PUSH2 0x1f01
00000806: JUMP
00000807: JUMPDEST
00000808: PUSH2 0x03b7
0000080b: PUSH1 0x04
0000080d: DUP1
0000080e: CALLDATASIZE
0000080f: SUB
00000810: PUSH1 0x40
00000812: DUP2
00000813: LT
00000814: ISZERO
00000815: PUSH2 0x081d
00000818: JUMPI
00000819: PUSH1 0x00
0000081b: DUP1
0000081c: REVERT
0000081d: JUMPDEST
0000081e: POP
0000081f: PUSH1 0x01
00000821: PUSH1 0x01
00000823: PUSH1 0xa0
00000825: SHL
00000826: SUB
00000827: DUP2
00000828: CALLDATALOAD
00000829: AND
0000082a: SWAP1
0000082b: PUSH1 0x20
0000082d: ADD
0000082e: CALLDATALOAD
0000082f: PUSH2 0x1f51
00000832: JUMP
00000833: JUMPDEST
00000834: PUSH2 0x03df
00000837: PUSH1 0x04
00000839: DUP1
0000083a: CALLDATASIZE
0000083b: SUB
0000083c: PUSH1 0x40
0000083e: DUP2
0000083f: LT
00000840: ISZERO
00000841: PUSH2 0x0849
00000844: JUMPI
00000845: PUSH1 0x00
00000847: DUP1
00000848: REVERT
00000849: JUMPDEST
0000084a: POP
0000084b: PUSH1 0x01
0000084d: PUSH1 0x01
0000084f: PUSH1 0xa0
00000851: SHL
00000852: SUB
00000853: DUP2
00000854: CALLDATALOAD
00000855: DUP2
00000856: AND
00000857: SWAP2
00000858: PUSH1 0x20
0000085a: ADD
0000085b: CALLDATALOAD
0000085c: AND
0000085d: PUSH2 0x2391
00000860: JUMP
00000861: JUMPDEST
00000862: PUSH2 0x03df
00000865: PUSH1 0x04
00000867: DUP1
00000868: CALLDATASIZE
00000869: SUB
0000086a: PUSH1 0x20
0000086c: DUP2
0000086d: LT
0000086e: ISZERO
0000086f: PUSH2 0x0877
00000872: JUMPI
00000873: PUSH1 0x00
00000875: DUP1
00000876: REVERT
00000877: JUMPDEST
00000878: POP
00000879: CALLDATALOAD
0000087a: PUSH1 0x01
0000087c: PUSH1 0x01
0000087e: PUSH1 0xa0
00000880: SHL
00000881: SUB
00000882: AND
00000883: PUSH2 0x23bc
00000886: JUMP
00000887: JUMPDEST
00000888: PUSH2 0x088f
0000088b: PUSH2 0x1cba
0000088e: JUMP
0000088f: JUMPDEST
00000890: PUSH2 0x08ce
00000893: JUMPI
00000894: PUSH1 0x40
00000896: DUP1
00000897: MLOAD
00000898: PUSH3 0x461bcd
0000089c: PUSH1 0xe5
0000089e: SHL
0000089f: DUP2
000008a0: MSTORE
000008a1: PUSH1 0x20
000008a3: PUSH1 0x04
000008a5: DUP3
000008a6: ADD
000008a7: DUP2
000008a8: SWAP1
000008a9: MSTORE
000008aa: PUSH1 0x24
000008ac: DUP3
000008ad: ADD
000008ae: MSTORE
000008af: PUSH1 0x00
000008b1: DUP1
000008b2: MLOAD
000008b3: PUSH1 0x20
000008b5: PUSH2 0x2c27
000008b8: DUP4
000008b9: CODECOPY
000008ba: DUP2
000008bb: MLOAD
000008bc: SWAP2
000008bd: MSTORE
000008be: PUSH1 0x44
000008c0: DUP3
000008c1: ADD
000008c2: MSTORE
000008c3: SWAP1
000008c4: MLOAD
000008c5: SWAP1
000008c6: DUP2
000008c7: SWAP1
000008c8: SUB
000008c9: PUSH1 0x64
000008cb: ADD
000008cc: SWAP1
000008cd: REVERT
000008ce: JUMPDEST
000008cf: PUSH1 0x05
000008d1: DUP1
000008d2: SLOAD
000008d3: PUSH1 0x01
000008d5: PUSH1 0x01
000008d7: PUSH1 0xa0
000008d9: SHL
000008da: SUB
000008db: NOT
000008dc: AND
000008dd: PUSH1 0x01
000008df: PUSH1 0x01
000008e1: PUSH1 0xa0
000008e3: SHL
000008e4: SUB
000008e5: SWAP3
000008e6: SWAP1
000008e7: SWAP3
000008e8: AND
000008e9: SWAP2
000008ea: SWAP1
000008eb: SWAP2
000008ec: OR
000008ed: SWAP1
000008ee: SSTORE
000008ef: JUMP
000008f0: JUMPDEST
000008f1: PUSH1 0x01
000008f3: PUSH1 0x01
000008f5: PUSH1 0xa0
000008f7: SHL
000008f8: SUB
000008f9: DUP2
000008fa: AND
000008fb: PUSH1 0x00
000008fd: SWAP1
000008fe: DUP2
000008ff: MSTORE
00000900: PUSH1 0x15
00000902: PUSH1 0x20
00000904: SWAP1
00000905: DUP2
00000906: MSTORE
00000907: PUSH1 0x40
00000909: DUP1
0000090a: DUP4
0000090b: KECCAK256
0000090c: SLOAD
0000090d: PUSH1 0x14
0000090f: SWAP1
00000910: SWAP3
00000911: MSTORE
00000912: DUP3
00000913: KECCAK256
00000914: SLOAD
00000915: PUSH2 0x0970
00000918: SWAP2
00000919: SWAP1
0000091a: PUSH2 0x0964
0000091d: SWAP1
0000091e: PUSH8 0x0de0b6b3a7640000
00000927: SWAP1
00000928: PUSH2 0x0958
0000092b: SWAP1
0000092c: PUSH2 0x0943
0000092f: SWAP1
00000930: PUSH2 0x0937
00000933: PUSH2 0x1de2
00000936: JUMP
00000937: JUMPDEST
00000938: SWAP1
00000939: PUSH4 0xffffffff
0000093e: PUSH2 0x23ef
00000941: AND
00000942: JUMP
00000943: JUMPDEST
00000944: PUSH2 0x094c
00000947: DUP9
00000948: PUSH2 0x1ce0
0000094b: JUMP
0000094c: JUMPDEST
0000094d: SWAP1
0000094e: PUSH4 0xffffffff
00000953: PUSH2 0x2438
00000956: AND
00000957: JUMP
00000958: JUMPDEST
00000959: SWAP1
0000095a: PUSH4 0xffffffff
0000095f: PUSH2 0x2491
00000962: AND
00000963: JUMP
00000964: JUMPDEST
00000965: SWAP1
00000966: PUSH4 0xffffffff
0000096b: PUSH2 0x24d3
0000096e: AND
0000096f: JUMP
00000970: JUMPDEST
00000971: SWAP3
00000972: SWAP2
00000973: POP
00000974: POP
00000975: JUMP
00000976: JUMPDEST
00000977: PUSH1 0x0a
00000979: SLOAD
0000097a: DUP2
0000097b: JUMP
0000097c: JUMPDEST
0000097d: PUSH1 0x15
0000097f: PUSH1 0x20
00000981: MSTORE
00000982: PUSH1 0x00
00000984: SWAP1
00000985: DUP2
00000986: MSTORE
00000987: PUSH1 0x40
00000989: SWAP1
0000098a: KECCAK256
0000098b: SLOAD
0000098c: DUP2
0000098d: JUMP
0000098e: JUMPDEST
0000098f: PUSH1 0x05
00000991: SLOAD
00000992: PUSH1 0x01
00000994: PUSH1 0x01
00000996: PUSH1 0xa0
00000998: SHL
00000999: SUB
0000099a: AND
0000099b: DUP2
0000099c: JUMP
0000099d: JUMPDEST
0000099e: PUSH2 0x09a5
000009a1: PUSH2 0x1cba
000009a4: JUMP
000009a5: JUMPDEST
000009a6: PUSH2 0x09e4
000009a9: JUMPI
000009aa: PUSH1 0x40
000009ac: DUP1
000009ad: MLOAD
000009ae: PUSH3 0x461bcd
000009b2: PUSH1 0xe5
000009b4: SHL
000009b5: DUP2
000009b6: MSTORE
000009b7: PUSH1 0x20
000009b9: PUSH1 0x04
000009bb: DUP3
000009bc: ADD
000009bd: DUP2
000009be: SWAP1
000009bf: MSTORE
000009c0: PUSH1 0x24
000009c2: DUP3
000009c3: ADD
000009c4: MSTORE
000009c5: PUSH1 0x00
000009c7: DUP1
000009c8: MLOAD
000009c9: PUSH1 0x20
000009cb: PUSH2 0x2c27
000009ce: DUP4
000009cf: CODECOPY
000009d0: DUP2
000009d1: MLOAD
000009d2: SWAP2
000009d3: MSTORE
000009d4: PUSH1 0x44
000009d6: DUP3
000009d7: ADD
000009d8: MSTORE
000009d9: SWAP1
000009da: MLOAD
000009db: SWAP1
000009dc: DUP2
000009dd: SWAP1
000009de: SUB
000009df: PUSH1 0x64
000009e1: ADD
000009e2: SWAP1
000009e3: REVERT
000009e4: JUMPDEST
000009e5: PUSH1 0x03
000009e7: DUP1
000009e8: SLOAD
000009e9: PUSH1 0x01
000009eb: PUSH1 0x01
000009ed: PUSH1 0xa0
000009ef: SHL
000009f0: SUB
000009f1: NOT
000009f2: AND
000009f3: PUSH1 0x01
000009f5: PUSH1 0x01
000009f7: PUSH1 0xa0
000009f9: SHL
000009fa: SUB
000009fb: SWAP3
000009fc: SWAP1
000009fd: SWAP3
000009fe: AND
000009ff: SWAP2
00000a00: SWAP1
00000a01: SWAP2
00000a02: OR
00000a03: SWAP1
00000a04: SSTORE
00000a05: JUMP
00000a06: JUMPDEST
00000a07: PUSH1 0x0a
00000a09: DUP2
00000a0a: JUMP
00000a0b: JUMPDEST
00000a0c: PUSH10 0x0d573ca1c3b1c9600000
00000a17: DUP2
00000a18: JUMP
00000a19: JUMPDEST
00000a1a: PUSH2 0x0a21
00000a1d: PUSH2 0x1cba
00000a20: JUMP
00000a21: JUMPDEST
00000a22: PUSH2 0x0a60
00000a25: JUMPI
00000a26: PUSH1 0x40
00000a28: DUP1
00000a29: MLOAD
00000a2a: PUSH3 0x461bcd
00000a2e: PUSH1 0xe5
00000a30: SHL
00000a31: DUP2
00000a32: MSTORE
00000a33: PUSH1 0x20
00000a35: PUSH1 0x04
00000a37: DUP3
00000a38: ADD
00000a39: DUP2
00000a3a: SWAP1
00000a3b: MSTORE
00000a3c: PUSH1 0x24
00000a3e: DUP3
00000a3f: ADD
00000a40: MSTORE
00000a41: PUSH1 0x00
00000a43: DUP1
00000a44: MLOAD
00000a45: PUSH1 0x20
00000a47: PUSH2 0x2c27
00000a4a: DUP4
00000a4b: CODECOPY
00000a4c: DUP2
00000a4d: MLOAD
00000a4e: SWAP2
00000a4f: MSTORE
00000a50: PUSH1 0x44
00000a52: DUP3
00000a53: ADD
00000a54: MSTORE
00000a55: SWAP1
00000a56: MLOAD
00000a57: SWAP1
00000a58: DUP2
00000a59: SWAP1
00000a5a: SUB
00000a5b: PUSH1 0x64
00000a5d: ADD
00000a5e: SWAP1
00000a5f: REVERT
00000a60: JUMPDEST
00000a61: PUSH1 0x04
00000a63: DUP1
00000a64: SLOAD
00000a65: PUSH1 0x01
00000a67: PUSH1 0x01
00000a69: PUSH1 0xa0
00000a6b: SHL
00000a6c: SUB
00000a6d: NOT
00000a6e: AND
00000a6f: PUSH1 0x01
00000a71: PUSH1 0x01
00000a73: PUSH1 0xa0
00000a75: SHL
00000a76: SUB
00000a77: SWAP3
00000a78: SWAP1
00000a79: SWAP3
00000a7a: AND
00000a7b: SWAP2
00000a7c: SWAP1
00000a7d: SWAP2
00000a7e: OR
00000a7f: SWAP1
00000a80: SSTORE
00000a81: JUMP
00000a82: JUMPDEST
00000a83: PUSH3 0x093a80
00000a87: DUP2
00000a88: JUMP
00000a89: JUMPDEST
00000a8a: PUSH1 0x11
00000a8c: SLOAD
00000a8d: ISZERO
00000a8e: PUSH2 0x0ac8
00000a91: JUMPI
00000a92: PUSH1 0x40
00000a94: MLOAD
00000a95: PUSH3 0x461bcd
00000a99: PUSH1 0xe5
00000a9b: SHL
00000a9c: DUP2
00000a9d: MSTORE
00000a9e: PUSH1 0x04
00000aa0: ADD
00000aa1: DUP1
00000aa2: DUP1
00000aa3: PUSH1 0x20
00000aa5: ADD
00000aa6: DUP3
00000aa7: DUP2
00000aa8: SUB
00000aa9: DUP3
00000aaa: MSTORE
00000aab: PUSH1 0x2f
00000aad: DUP2
00000aae: MSTORE
00000aaf: PUSH1 0x20
00000ab1: ADD
00000ab2: DUP1
00000ab3: PUSH2 0x2c92
00000ab6: PUSH1 0x2f
00000ab8: SWAP2
00000ab9: CODECOPY
00000aba: PUSH1 0x40
00000abc: ADD
00000abd: SWAP2
00000abe: POP
00000abf: POP
00000ac0: PUSH1 0x40
00000ac2: MLOAD
00000ac3: DUP1
00000ac4: SWAP2
00000ac5: SUB
00000ac6: SWAP1
00000ac7: REVERT
00000ac8: JUMPDEST
00000ac9: PUSH1 0x00
00000acb: PUSH2 0x0ad3
00000ace: CALLER
00000acf: PUSH2 0x1abb
00000ad2: JUMP
00000ad3: JUMPDEST
00000ad4: SWAP1
00000ad5: POP
00000ad6: PUSH1 0x00
00000ad8: DUP2
00000ad9: GT
00000ada: PUSH2 0x0b2a
00000add: JUMPI
00000ade: PUSH1 0x40
00000ae0: DUP1
00000ae1: MLOAD
00000ae2: PUSH3 0x461bcd
00000ae6: PUSH1 0xe5
00000ae8: SHL
00000ae9: DUP2
00000aea: MSTORE
00000aeb: PUSH1 0x20
00000aed: PUSH1 0x04
00000aef: DUP3
00000af0: ADD
00000af1: MSTORE
00000af2: PUSH1 0x19
00000af4: PUSH1 0x24
00000af6: DUP3
00000af7: ADD
00000af8: MSTORE
00000af9: PUSH32 0x596f752068617665206e6f207645544820746f20636c61696d00000000000000
00000b1a: PUSH1 0x44
00000b1c: DUP3
00000b1d: ADD
00000b1e: MSTORE
00000b1f: SWAP1
00000b20: MLOAD
00000b21: SWAP1
00000b22: DUP2
00000b23: SWAP1
00000b24: SUB
00000b25: PUSH1 0x64
00000b27: ADD
00000b28: SWAP1
00000b29: REVERT
00000b2a: JUMPDEST
00000b2b: CALLER
00000b2c: PUSH1 0x00
00000b2e: SWAP1
00000b2f: DUP2
00000b30: MSTORE
00000b31: PUSH1 0x16
00000b33: PUSH1 0x20
00000b35: MSTORE
00000b36: PUSH1 0x40
00000b38: SWAP1
00000b39: KECCAK256
00000b3a: SLOAD
00000b3b: PUSH1 0xff
00000b3d: AND
00000b3e: ISZERO
00000b3f: PUSH2 0x0b79
00000b42: JUMPI
00000b43: PUSH1 0x40
00000b45: MLOAD
00000b46: PUSH3 0x461bcd
00000b4a: PUSH1 0xe5
00000b4c: SHL
00000b4d: DUP2
00000b4e: MSTORE
00000b4f: PUSH1 0x04
00000b51: ADD
00000b52: DUP1
00000b53: DUP1
00000b54: PUSH1 0x20
00000b56: ADD
00000b57: DUP3
00000b58: DUP2
00000b59: SUB
00000b5a: DUP3
00000b5b: MSTORE
00000b5c: PUSH1 0x22
00000b5e: DUP2
00000b5f: MSTORE
00000b60: PUSH1 0x20
00000b62: ADD
00000b63: DUP1
00000b64: PUSH2 0x2bc4
00000b67: PUSH1 0x22
00000b69: SWAP2
00000b6a: CODECOPY
00000b6b: PUSH1 0x40
00000b6d: ADD
00000b6e: SWAP2
00000b6f: POP
00000b70: POP
00000b71: PUSH1 0x40
00000b73: MLOAD
00000b74: DUP1
00000b75: SWAP2
00000b76: SUB
00000b77: SWAP1
00000b78: REVERT
00000b79: JUMPDEST
00000b7a: CALLER
00000b7b: PUSH1 0x00
00000b7d: DUP2
00000b7e: DUP2
00000b7f: MSTORE
00000b80: PUSH1 0x16
00000b82: PUSH1 0x20
00000b84: MSTORE
00000b85: PUSH1 0x40
00000b87: SWAP1
00000b88: KECCAK256
00000b89: DUP1
00000b8a: SLOAD
00000b8b: PUSH1 0xff
00000b8d: NOT
00000b8e: AND
00000b8f: PUSH1 0x01
00000b91: OR
00000b92: SWAP1
00000b93: SSTORE
00000b94: PUSH1 0x08
00000b96: SLOAD
00000b97: PUSH2 0x0bb3
00000b9a: SWAP2
00000b9b: PUSH1 0x01
00000b9d: PUSH1 0x01
00000b9f: PUSH1 0xa0
00000ba1: SHL
00000ba2: SUB
00000ba3: SWAP2
00000ba4: SWAP1
00000ba5: SWAP2
00000ba6: AND
00000ba7: SWAP1
00000ba8: DUP4
00000ba9: PUSH4 0xffffffff
00000bae: PUSH2 0x252d
00000bb1: AND
00000bb2: JUMP
00000bb3: JUMPDEST
00000bb4: POP
00000bb5: JUMP
00000bb6: JUMPDEST
00000bb7: PUSH1 0x0d
00000bb9: SLOAD
00000bba: DUP2
00000bbb: JUMP
00000bbc: JUMPDEST
00000bbd: CALLER
00000bbe: PUSH2 0x0bc5
00000bc1: PUSH2 0x1de2
00000bc4: JUMP
00000bc5: JUMPDEST
00000bc6: PUSH1 0x13
00000bc8: SSTORE
00000bc9: PUSH2 0x0bd0
00000bcc: PUSH2 0x1c80
00000bcf: JUMP
00000bd0: JUMPDEST
00000bd1: PUSH1 0x12
00000bd3: SSTORE
00000bd4: PUSH1 0x01
00000bd6: PUSH1 0x01
00000bd8: PUSH1 0xa0
00000bda: SHL
00000bdb: SUB
00000bdc: DUP2
00000bdd: AND
00000bde: ISZERO
00000bdf: PUSH2 0x0c17
00000be2: JUMPI
00000be3: PUSH2 0x0beb
00000be6: DUP2
00000be7: PUSH2 0x08f0
00000bea: JUMP
00000beb: JUMPDEST
00000bec: PUSH1 0x01
00000bee: PUSH1 0x01
00000bf0: PUSH1 0xa0
00000bf2: SHL
00000bf3: SUB
00000bf4: DUP3
00000bf5: AND
00000bf6: PUSH1 0x00
00000bf8: SWAP1
00000bf9: DUP2
00000bfa: MSTORE
00000bfb: PUSH1 0x15
00000bfd: PUSH1 0x20
00000bff: SWAP1
00000c00: DUP2
00000c01: MSTORE
00000c02: PUSH1 0x40
00000c04: DUP1
00000c05: DUP4
00000c06: KECCAK256
00000c07: SWAP4
00000c08: SWAP1
00000c09: SWAP4
00000c0a: SSTORE
00000c0b: PUSH1 0x13
00000c0d: SLOAD
00000c0e: PUSH1 0x14
00000c10: SWAP1
00000c11: SWAP2
00000c12: MSTORE
00000c13: SWAP2
00000c14: SWAP1
00000c15: KECCAK256
00000c16: SSTORE
00000c17: JUMPDEST
00000c18: PUSH1 0x10
00000c1a: SLOAD
00000c1b: TIMESTAMP
00000c1c: LT
00000c1d: PUSH2 0x0ec4
00000c20: JUMPI
00000c21: PUSH10 0x0d573ca1c3b1c9600000
00000c2c: PUSH1 0x0b
00000c2e: SSTORE
00000c2f: PUSH1 0x00
00000c31: PUSH2 0x0c38
00000c34: PUSH2 0x10ec
00000c37: JUMP
00000c38: JUMPDEST
00000c39: SWAP1
00000c3a: POP
00000c3b: PUSH2 0x0c58
00000c3e: PUSH1 0x64
00000c40: PUSH2 0x0958
00000c43: DUP4
00000c44: PUSH2 0xffff
00000c47: AND
00000c48: PUSH1 0x0b
00000c4a: SLOAD
00000c4b: PUSH2 0x2438
00000c4e: SWAP1
00000c4f: SWAP2
00000c50: SWAP1
00000c51: PUSH4 0xffffffff
00000c56: AND
00000c57: JUMP
00000c58: JUMPDEST
00000c59: PUSH1 0x0c
00000c5b: DUP2
00000c5c: SWAP1
00000c5d: SSTORE
00000c5e: PUSH1 0x0d
00000c60: SLOAD
00000c61: PUSH10 0x85685e51a4f1ddc00000
00000c6c: SWAP2
00000c6d: PUSH2 0x0c7c
00000c70: SWAP2
00000c71: SWAP1
00000c72: PUSH4 0xffffffff
00000c77: PUSH2 0x24d3
00000c7a: AND
00000c7b: JUMP
00000c7c: JUMPDEST
00000c7d: GT
00000c7e: ISZERO
00000c7f: PUSH2 0x0ca4
00000c82: JUMPI
00000c83: PUSH1 0x0d
00000c85: SLOAD
00000c86: PUSH2 0x0ca0
00000c89: SWAP1
00000c8a: PUSH10 0x85685e51a4f1ddc00000
00000c95: SWAP1
00000c96: PUSH4 0xffffffff
00000c9b: PUSH2 0x23ef
00000c9e: AND
00000c9f: JUMP
00000ca0: JUMPDEST
00000ca1: PUSH1 0x0c
00000ca3: SSTORE
00000ca4: JUMPDEST
00000ca5: PUSH1 0x0c
00000ca7: SLOAD
00000ca8: ISZERO
00000ca9: PUSH2 0x0e70
00000cac: JUMPI
00000cad: PUSH1 0x06
00000caf: SLOAD
00000cb0: PUSH1 0x0c
00000cb2: SLOAD
00000cb3: PUSH1 0x40
00000cb5: DUP1
00000cb6: MLOAD
00000cb7: PUSH4 0x40c10f19
00000cbc: PUSH1 0xe0
00000cbe: SHL
00000cbf: DUP2
00000cc0: MSTORE
00000cc1: ADDRESS
00000cc2: PUSH1 0x04
00000cc4: DUP3
00000cc5: ADD
00000cc6: MSTORE
00000cc7: PUSH1 0x24
00000cc9: DUP2
00000cca: ADD
00000ccb: SWAP3
00000ccc: SWAP1
00000ccd: SWAP3
00000cce: MSTORE
00000ccf: MLOAD
00000cd0: PUSH1 0x01
00000cd2: PUSH1 0x01
00000cd4: PUSH1 0xa0
00000cd6: SHL
00000cd7: SUB
00000cd8: SWAP1
00000cd9: SWAP3
00000cda: AND
00000cdb: SWAP2
00000cdc: PUSH4 0x40c10f19
00000ce1: SWAP2
00000ce2: PUSH1 0x44
00000ce4: DUP1
00000ce5: DUP3
00000ce6: ADD
00000ce7: SWAP3
00000ce8: PUSH1 0x00
00000cea: SWAP3
00000ceb: SWAP1
00000cec: SWAP2
00000ced: SWAP1
00000cee: DUP3
00000cef: SWAP1
00000cf0: SUB
00000cf1: ADD
00000cf2: DUP2
00000cf3: DUP4
00000cf4: DUP8
00000cf5: DUP1
00000cf6: EXTCODESIZE
00000cf7: ISZERO
00000cf8: DUP1
00000cf9: ISZERO
00000cfa: PUSH2 0x0d02
00000cfd: JUMPI
00000cfe: PUSH1 0x00
00000d00: DUP1
00000d01: REVERT
00000d02: JUMPDEST
00000d03: POP
00000d04: GAS
00000d05: CALL
00000d06: ISZERO
00000d07: DUP1
00000d08: ISZERO
00000d09: PUSH2 0x0d16
00000d0c: JUMPI
00000d0d: RETURNDATASIZE
00000d0e: PUSH1 0x00
00000d10: DUP1
00000d11: RETURNDATACOPY
00000d12: RETURNDATASIZE
00000d13: PUSH1 0x00
00000d15: REVERT
00000d16: JUMPDEST
00000d17: POP
00000d18: POP
00000d19: PUSH1 0x07
00000d1b: SLOAD
00000d1c: PUSH1 0x09
00000d1e: SLOAD
00000d1f: PUSH1 0x0c
00000d21: SLOAD
00000d22: PUSH1 0x01
00000d24: PUSH1 0x01
00000d26: PUSH1 0xa0
00000d28: SHL
00000d29: SUB
00000d2a: SWAP1
00000d2b: SWAP3
00000d2c: AND
00000d2d: SWAP4
00000d2e: POP
00000d2f: PUSH4 0x40c10f19
00000d34: SWAP3
00000d35: POP
00000d36: ADDRESS
00000d37: SWAP2
00000d38: PUSH2 0x0d46
00000d3b: SWAP2
00000d3c: PUSH4 0xffffffff
00000d41: PUSH2 0x2491
00000d44: AND
00000d45: JUMP
00000d46: JUMPDEST
00000d47: PUSH1 0x40
00000d49: MLOAD
00000d4a: DUP4
00000d4b: PUSH4 0xffffffff
00000d50: AND
00000d51: PUSH1 0xe0
00000d53: SHL
00000d54: DUP2
00000d55: MSTORE
00000d56: PUSH1 0x04
00000d58: ADD
00000d59: DUP1
00000d5a: DUP4
00000d5b: PUSH1 0x01
00000d5d: PUSH1 0x01
00000d5f: PUSH1 0xa0
00000d61: SHL
00000d62: SUB
00000d63: AND
00000d64: PUSH1 0x01
00000d66: PUSH1 0x01
00000d68: PUSH1 0xa0
00000d6a: SHL
00000d6b: SUB
00000d6c: AND
00000d6d: DUP2
00000d6e: MSTORE
00000d6f: PUSH1 0x20
00000d71: ADD
00000d72: DUP3
00000d73: DUP2
00000d74: MSTORE
00000d75: PUSH1 0x20
00000d77: ADD
00000d78: SWAP3
00000d79: POP
00000d7a: POP
00000d7b: POP
00000d7c: PUSH1 0x00
00000d7e: PUSH1 0x40
00000d80: MLOAD
00000d81: DUP1
00000d82: DUP4
00000d83: SUB
00000d84: DUP2
00000d85: PUSH1 0x00
00000d87: DUP8
00000d88: DUP1
00000d89: EXTCODESIZE
00000d8a: ISZERO
00000d8b: DUP1
00000d8c: ISZERO
00000d8d: PUSH2 0x0d95
00000d90: JUMPI
00000d91: PUSH1 0x00
00000d93: DUP1
00000d94: REVERT
00000d95: JUMPDEST
00000d96: POP
00000d97: GAS
00000d98: CALL
00000d99: ISZERO
00000d9a: DUP1
00000d9b: ISZERO
00000d9c: PUSH2 0x0da9
00000d9f: JUMPI
00000da0: RETURNDATASIZE
00000da1: PUSH1 0x00
00000da3: DUP1
00000da4: RETURNDATACOPY
00000da5: RETURNDATASIZE
00000da6: PUSH1 0x00
00000da8: REVERT
00000da9: JUMPDEST
00000daa: POP
00000dab: POP
00000dac: PUSH1 0x08
00000dae: SLOAD
00000daf: PUSH1 0x0a
00000db1: SLOAD
00000db2: PUSH1 0x0c
00000db4: SLOAD
00000db5: PUSH1 0x01
00000db7: PUSH1 0x01
00000db9: PUSH1 0xa0
00000dbb: SHL
00000dbc: SUB
00000dbd: SWAP1
00000dbe: SWAP3
00000dbf: AND
00000dc0: SWAP4
00000dc1: POP
00000dc2: PUSH4 0x40c10f19
00000dc7: SWAP3
00000dc8: POP
00000dc9: ADDRESS
00000dca: SWAP2
00000dcb: PUSH2 0x0dd9
00000dce: SWAP2
00000dcf: PUSH4 0xffffffff
00000dd4: PUSH2 0x2491
00000dd7: AND
00000dd8: JUMP
00000dd9: JUMPDEST
00000dda: PUSH1 0x40
00000ddc: MLOAD
00000ddd: DUP4
00000dde: PUSH4 0xffffffff
00000de3: AND
00000de4: PUSH1 0xe0
00000de6: SHL
00000de7: DUP2
00000de8: MSTORE
00000de9: PUSH1 0x04
00000deb: ADD
00000dec: DUP1
00000ded: DUP4
00000dee: PUSH1 0x01
00000df0: PUSH1 0x01
00000df2: PUSH1 0xa0
00000df4: SHL
00000df5: SUB
00000df6: AND
00000df7: PUSH1 0x01
00000df9: PUSH1 0x01
00000dfb: PUSH1 0xa0
00000dfd: SHL
00000dfe: SUB
00000dff: AND
00000e00: DUP2
00000e01: MSTORE
00000e02: PUSH1 0x20
00000e04: ADD
00000e05: DUP3
00000e06: DUP2
00000e07: MSTORE
00000e08: PUSH1 0x20
00000e0a: ADD
00000e0b: SWAP3
00000e0c: POP
00000e0d: POP
00000e0e: POP
00000e0f: PUSH1 0x00
00000e11: PUSH1 0x40
00000e13: MLOAD
00000e14: DUP1
00000e15: DUP4
00000e16: SUB
00000e17: DUP2
00000e18: PUSH1 0x00
00000e1a: DUP8
00000e1b: DUP1
00000e1c: EXTCODESIZE
00000e1d: ISZERO
00000e1e: DUP1
00000e1f: ISZERO
00000e20: PUSH2 0x0e28
00000e23: JUMPI
00000e24: PUSH1 0x00
00000e26: DUP1
00000e27: REVERT
00000e28: JUMPDEST
00000e29: POP
00000e2a: GAS
00000e2b: CALL
00000e2c: ISZERO
00000e2d: DUP1
00000e2e: ISZERO
00000e2f: PUSH2 0x0e3c
00000e32: JUMPI
00000e33: RETURNDATASIZE
00000e34: PUSH1 0x00
00000e36: DUP1
00000e37: RETURNDATACOPY
00000e38: RETURNDATASIZE
00000e39: PUSH1 0x00
00000e3b: REVERT
00000e3c: JUMPDEST
00000e3d: POP
00000e3e: POP
00000e3f: PUSH1 0x0c
00000e41: SLOAD
00000e42: PUSH1 0x0d
00000e44: SLOAD
00000e45: PUSH2 0x0e56
00000e48: SWAP4
00000e49: POP
00000e4a: SWAP2
00000e4b: POP
00000e4c: PUSH4 0xffffffff
00000e51: PUSH2 0x24d3
00000e54: AND
00000e55: JUMP
00000e56: JUMPDEST
00000e57: PUSH1 0x0d
00000e59: SSTORE
00000e5a: PUSH1 0x0e
00000e5c: DUP1
00000e5d: SLOAD
00000e5e: PUSH1 0xff
00000e60: DUP1
00000e61: DUP3
00000e62: AND
00000e63: PUSH1 0x01
00000e65: ADD
00000e66: AND
00000e67: PUSH1 0xff
00000e69: NOT
00000e6a: SWAP1
00000e6b: SWAP2
00000e6c: AND
00000e6d: OR
00000e6e: SWAP1
00000e6f: SSTORE
00000e70: JUMPDEST
00000e71: PUSH1 0x0c
00000e73: SLOAD
00000e74: PUSH2 0x0e86
00000e77: SWAP1
00000e78: PUSH3 0x093a80
00000e7c: PUSH4 0xffffffff
00000e81: PUSH2 0x2491
00000e84: AND
00000e85: JUMP
00000e86: JUMPDEST
00000e87: PUSH1 0x11
00000e89: SSTORE
00000e8a: PUSH2 0x0e9c
00000e8d: TIMESTAMP
00000e8e: PUSH3 0x093a80
00000e92: PUSH4 0xffffffff
00000e97: PUSH2 0x24d3
00000e9a: AND
00000e9b: JUMP
00000e9c: JUMPDEST
00000e9d: PUSH1 0x10
00000e9f: SSTORE
00000ea0: PUSH1 0x0c
00000ea2: SLOAD
00000ea3: PUSH1 0x40
00000ea5: DUP1
00000ea6: MLOAD
00000ea7: SWAP2
00000ea8: DUP3
00000ea9: MSTORE
00000eaa: MLOAD
00000eab: PUSH1 0x00
00000ead: DUP1
00000eae: MLOAD
00000eaf: PUSH1 0x20
00000eb1: PUSH2 0x2be6
00000eb4: DUP4
00000eb5: CODECOPY
00000eb6: DUP2
00000eb7: MLOAD
00000eb8: SWAP2
00000eb9: MSTORE
00000eba: SWAP2
00000ebb: DUP2
00000ebc: SWAP1
00000ebd: SUB
00000ebe: PUSH1 0x20
00000ec0: ADD
00000ec1: SWAP1
00000ec2: LOG1
00000ec3: POP
00000ec4: JUMPDEST
00000ec5: PUSH1 0x0f
00000ec7: SLOAD
00000ec8: TIMESTAMP
00000ec9: GT
00000eca: PUSH2 0x0f06
00000ecd: JUMPI
00000ece: PUSH1 0x40
00000ed0: DUP1
00000ed1: MLOAD
00000ed2: PUSH3 0x461bcd
00000ed6: PUSH1 0xe5
00000ed8: SHL
00000ed9: DUP2
00000eda: MSTORE
00000edb: PUSH1 0x20
00000edd: PUSH1 0x04
00000edf: DUP3
00000ee0: ADD
00000ee1: MSTORE
00000ee2: PUSH1 0x09
00000ee4: PUSH1 0x24
00000ee6: DUP3
00000ee7: ADD
00000ee8: MSTORE
00000ee9: PUSH9 0x1b9bdd081cdd185c9d
00000ef3: PUSH1 0xba
00000ef5: SHL
00000ef6: PUSH1 0x44
00000ef8: DUP3
00000ef9: ADD
00000efa: MSTORE
00000efb: SWAP1
00000efc: MLOAD
00000efd: SWAP1
00000efe: DUP2
00000eff: SWAP1
00000f00: SUB
00000f01: PUSH1 0x64
00000f03: ADD
00000f04: SWAP1
00000f05: REVERT
00000f06: JUMPDEST
00000f07: PUSH1 0x00
00000f09: DUP4
00000f0a: GT
00000f0b: PUSH2 0x0f4c
00000f0e: JUMPI
00000f0f: PUSH1 0x40
00000f11: DUP1
00000f12: MLOAD
00000f13: PUSH3 0x461bcd
00000f17: PUSH1 0xe5
00000f19: SHL
00000f1a: DUP2
00000f1b: MSTORE
00000f1c: PUSH1 0x20
00000f1e: PUSH1 0x04
00000f20: DUP3
00000f21: ADD
00000f22: MSTORE
00000f23: PUSH1 0x0e
00000f25: PUSH1 0x24
00000f27: DUP3
00000f28: ADD
00000f29: MSTORE
00000f2a: PUSH14 0x043616e6e6f74207374616b65203
00000f39: PUSH1 0x94
00000f3b: SHL
00000f3c: PUSH1 0x44
00000f3e: DUP3
00000f3f: ADD
00000f40: MSTORE
00000f41: SWAP1
00000f42: MLOAD
00000f43: SWAP1
00000f44: DUP2
00000f45: SWAP1
00000f46: SUB
00000f47: PUSH1 0x64
00000f49: ADD
00000f4a: SWAP1
00000f4b: REVERT
00000f4c: JUMPDEST
00000f4d: PUSH1 0x01
00000f4f: PUSH1 0x01
00000f51: PUSH1 0xa0
00000f53: SHL
00000f54: SUB
00000f55: DUP5
00000f56: AND
00000f57: PUSH1 0x00
00000f59: SWAP1
00000f5a: DUP2
00000f5b: MSTORE
00000f5c: PUSH1 0x20
00000f5e: DUP1
00000f5f: MSTORE
00000f60: PUSH1 0x40
00000f62: SWAP1
00000f63: KECCAK256
00000f64: SLOAD
00000f65: PUSH2 0x0faa
00000f68: JUMPI
00000f69: PUSH1 0x40
00000f6b: DUP1
00000f6c: MLOAD
00000f6d: PUSH3 0x461bcd
00000f71: PUSH1 0xe5
00000f73: SHL
00000f74: DUP2
00000f75: MSTORE
00000f76: PUSH1 0x20
00000f78: PUSH1 0x04
00000f7a: DUP3
00000f7b: ADD
00000f7c: MSTORE
00000f7d: PUSH1 0x12
00000f7f: PUSH1 0x24
00000f81: DUP3
00000f82: ADD
00000f83: MSTORE
00000f84: PUSH18 0x2737ba1039bab83837b93a32b21031b7b4b7
00000f97: PUSH1 0x71
00000f99: SHL
00000f9a: PUSH1 0x44
00000f9c: DUP3
00000f9d: ADD
00000f9e: MSTORE
00000f9f: SWAP1
00000fa0: MLOAD
00000fa1: SWAP1
00000fa2: DUP2
00000fa3: SWAP1
00000fa4: SUB
00000fa5: PUSH1 0x64
00000fa7: ADD
00000fa8: SWAP1
00000fa9: REVERT
00000faa: JUMPDEST
00000fab: PUSH1 0x01
00000fad: PUSH1 0x01
00000faf: PUSH1 0xa0
00000fb1: SHL
00000fb2: SUB
00000fb3: DUP3
00000fb4: AND
00000fb5: CALLER
00000fb6: EQ
00000fb7: ISZERO
00000fb8: PUSH2 0x1008
00000fbb: JUMPI
00000fbc: PUSH1 0x40
00000fbe: DUP1
00000fbf: MLOAD
00000fc0: PUSH3 0x461bcd
00000fc4: PUSH1 0xe5
00000fc6: SHL
00000fc7: DUP2
00000fc8: MSTORE
00000fc9: PUSH1 0x20
00000fcb: PUSH1 0x04
00000fcd: DUP3
00000fce: ADD
00000fcf: MSTORE
00000fd0: PUSH1 0x1a
00000fd2: PUSH1 0x24
00000fd4: DUP3
00000fd5: ADD
00000fd6: MSTORE
00000fd7: PUSH32 0x596f752063616e6e6f7420726566657220796f757273656c662e000000000000
00000ff8: PUSH1 0x44
00000ffa: DUP3
00000ffb: ADD
00000ffc: MSTORE
00000ffd: SWAP1
00000ffe: MLOAD
00000fff: SWAP1
00001000: DUP2
00001001: SWAP1
00001002: SUB
00001003: PUSH1 0x64
00001005: ADD
00001006: SWAP1
00001007: REVERT
00001008: JUMPDEST
00001009: PUSH2 0x1012
0000100c: DUP5
0000100d: DUP5
0000100e: PUSH2 0x2584
00001011: JUMP
00001012: JUMPDEST
00001013: PUSH1 0x40
00001015: DUP1
00001016: MLOAD
00001017: DUP5
00001018: DUP2
00001019: MSTORE
0000101a: SWAP1
0000101b: MLOAD
0000101c: PUSH1 0x01
0000101e: PUSH1 0x01
00001020: PUSH1 0xa0
00001022: SHL
00001023: SUB
00001024: DUP7
00001025: AND
00001026: SWAP2
00001027: CALLER
00001028: SWAP2
00001029: PUSH32 0x5dac0c1b1112564a045ba943c9d50270893e8e826c49be8e7073adc713ab7bd7
0000104a: SWAP2
0000104b: DUP2
0000104c: SWAP1
0000104d: SUB
0000104e: PUSH1 0x20
00001050: ADD
00001051: SWAP1
00001052: LOG3
00001053: PUSH1 0x05
00001055: SLOAD
00001056: PUSH1 0x01
00001058: PUSH1 0x01
0000105a: PUSH1 0xa0
0000105c: SHL
0000105d: SUB
0000105e: AND
0000105f: ISZERO
00001060: DUP1
00001061: ISZERO
00001062: SWAP1
00001063: PUSH2 0x1074
00001066: JUMPI
00001067: POP
00001068: PUSH1 0x01
0000106a: PUSH1 0x01
0000106c: PUSH1 0xa0
0000106e: SHL
0000106f: SUB
00001070: DUP3
00001071: AND
00001072: ISZERO
00001073: ISZERO
00001074: JUMPDEST
00001075: ISZERO
00001076: PUSH2 0x10e6
00001079: JUMPI
0000107a: PUSH1 0x05
0000107c: SLOAD
0000107d: PUSH1 0x40
0000107f: DUP1
00001080: MLOAD
00001081: PUSH4 0xbbddaca3
00001086: PUSH1 0xe0
00001088: SHL
00001089: DUP2
0000108a: MSTORE
0000108b: CALLER
0000108c: PUSH1 0x04
0000108e: DUP3
0000108f: ADD
00001090: MSTORE
00001091: PUSH1 0x01
00001093: PUSH1 0x01
00001095: PUSH1 0xa0
00001097: SHL
00001098: SUB
00001099: DUP6
0000109a: DUP2
0000109b: AND
0000109c: PUSH1 0x24
0000109e: DUP4
0000109f: ADD
000010a0: MSTORE
000010a1: SWAP2
000010a2: MLOAD
000010a3: SWAP2
000010a4: SWAP1
000010a5: SWAP3
000010a6: AND
000010a7: SWAP2
000010a8: PUSH4 0xbbddaca3
000010ad: SWAP2
000010ae: PUSH1 0x44
000010b0: DUP1
000010b1: DUP4
000010b2: ADD
000010b3: SWAP3
000010b4: PUSH1 0x00
000010b6: SWAP3
000010b7: SWAP2
000010b8: SWAP1
000010b9: DUP3
000010ba: SWAP1
000010bb: SUB
000010bc: ADD
000010bd: DUP2
000010be: DUP4
000010bf: DUP8
000010c0: DUP1
000010c1: EXTCODESIZE
000010c2: ISZERO
000010c3: DUP1
000010c4: ISZERO
000010c5: PUSH2 0x10cd
000010c8: JUMPI
000010c9: PUSH1 0x00
000010cb: DUP1
000010cc: REVERT
000010cd: JUMPDEST
000010ce: POP
000010cf: GAS
000010d0: CALL
000010d1: ISZERO
000010d2: DUP1
000010d3: ISZERO
000010d4: PUSH2 0x10e1
000010d7: JUMPI
000010d8: RETURNDATASIZE
000010d9: PUSH1 0x00
000010db: DUP1
000010dc: RETURNDATACOPY
000010dd: RETURNDATASIZE
000010de: PUSH1 0x00
000010e0: REVERT
000010e1: JUMPDEST
000010e2: POP
000010e3: POP
000010e4: POP
000010e5: POP
000010e6: JUMPDEST
000010e7: POP
000010e8: POP
000010e9: POP
000010ea: POP
000010eb: JUMP
000010ec: JUMPDEST
000010ed: PUSH1 0x04
000010ef: SLOAD
000010f0: PUSH1 0x00
000010f2: SWAP1
000010f3: PUSH1 0x01
000010f5: PUSH1 0x01
000010f7: PUSH1 0xa0
000010f9: SHL
000010fa: SUB
000010fb: AND
000010fc: ISZERO
000010fd: PUSH2 0x119b
00001100: JUMPI
00001101: PUSH1 0x04
00001103: DUP1
00001104: SLOAD
00001105: PUSH1 0x10
00001107: SLOAD
00001108: PUSH1 0x40
0000110a: DUP1
0000110b: MLOAD
0000110c: PUSH4 0x97ec0ffd
00001111: PUSH1 0xe0
00001113: SHL
00001114: DUP2
00001115: MSTORE
00001116: ADDRESS
00001117: SWAP5
00001118: DUP2
00001119: ADD
0000111a: SWAP5
0000111b: SWAP1
0000111c: SWAP5
0000111d: MSTORE
0000111e: PUSH1 0x24
00001120: DUP5
00001121: ADD
00001122: SWAP2
00001123: SWAP1
00001124: SWAP2
00001125: MSTORE
00001126: MLOAD
00001127: PUSH1 0x00
00001129: SWAP3
0000112a: PUSH1 0x01
0000112c: PUSH1 0x01
0000112e: PUSH1 0xa0
00001130: SHL
00001131: SUB
00001132: SWAP1
00001133: SWAP3
00001134: AND
00001135: SWAP2
00001136: PUSH4 0x97ec0ffd
0000113b: SWAP2
0000113c: PUSH1 0x44
0000113e: DUP1
0000113f: DUP4
00001140: ADD
00001141: SWAP3
00001142: PUSH1 0x20
00001144: SWAP3
00001145: SWAP2
00001146: SWAP1
00001147: DUP3
00001148: SWAP1
00001149: SUB
0000114a: ADD
0000114b: DUP2
0000114c: DUP7
0000114d: DUP1
0000114e: EXTCODESIZE
0000114f: ISZERO
00001150: DUP1
00001151: ISZERO
00001152: PUSH2 0x115a
00001155: JUMPI
00001156: PUSH1 0x00
00001158: DUP1
00001159: REVERT
0000115a: JUMPDEST
0000115b: POP
0000115c: GAS
0000115d: STATICCALL
0000115e: ISZERO
0000115f: DUP1
00001160: ISZERO
00001161: PUSH2 0x116e
00001164: JUMPI
00001165: RETURNDATASIZE
00001166: PUSH1 0x00
00001168: DUP1
00001169: RETURNDATACOPY
0000116a: RETURNDATASIZE
0000116b: PUSH1 0x00
0000116d: REVERT
0000116e: JUMPDEST
0000116f: POP
00001170: POP
00001171: POP
00001172: POP
00001173: PUSH1 0x40
00001175: MLOAD
00001176: RETURNDATASIZE
00001177: PUSH1 0x20
00001179: DUP2
0000117a: LT
0000117b: ISZERO
0000117c: PUSH2 0x1184
0000117f: JUMPI
00001180: PUSH1 0x00
00001182: DUP1
00001183: REVERT
00001184: JUMPDEST
00001185: POP
00001186: MLOAD
00001187: SWAP1
00001188: POP
00001189: PUSH2 0xffff
0000118c: DUP2
0000118d: AND
0000118e: ISZERO
0000118f: PUSH2 0x1199
00001192: JUMPI
00001193: SWAP1
00001194: POP
00001195: PUSH2 0x119f
00001198: JUMP
00001199: JUMPDEST
0000119a: POP
0000119b: JUMPDEST
0000119c: POP
0000119d: PUSH1 0x64
0000119f: JUMPDEST
000011a0: SWAP1
000011a1: JUMP
000011a2: JUMPDEST
000011a3: PUSH1 0x00
000011a5: PUSH2 0x0970
000011a8: PUSH1 0x09
000011aa: SLOAD
000011ab: PUSH2 0x0958
000011ae: DUP5
000011af: PUSH2 0x08f0
000011b2: JUMP
000011b3: JUMPDEST
000011b4: PUSH1 0x03
000011b6: SLOAD
000011b7: PUSH1 0x01
000011b9: PUSH1 0x01
000011bb: PUSH1 0xa0
000011bd: SHL
000011be: SUB
000011bf: AND
000011c0: PUSH2 0x11c7
000011c3: PUSH2 0x26be
000011c6: JUMP
000011c7: JUMPDEST
000011c8: PUSH1 0x01
000011ca: PUSH1 0x01
000011cc: PUSH1 0xa0
000011ce: SHL
000011cf: SUB
000011d0: AND
000011d1: EQ
000011d2: PUSH2 0x120c
000011d5: JUMPI
000011d6: PUSH1 0x40
000011d8: MLOAD
000011d9: PUSH3 0x461bcd
000011dd: PUSH1 0xe5
000011df: SHL
000011e0: DUP2
000011e1: MSTORE
000011e2: PUSH1 0x04
000011e4: ADD
000011e5: DUP1
000011e6: DUP1
000011e7: PUSH1 0x20
000011e9: ADD
000011ea: DUP3
000011eb: DUP2
000011ec: SUB
000011ed: DUP3
000011ee: MSTORE
000011ef: PUSH1 0x21
000011f1: DUP2
000011f2: MSTORE
000011f3: PUSH1 0x20
000011f5: ADD
000011f6: DUP1
000011f7: PUSH2 0x2c47
000011fa: PUSH1 0x21
000011fc: SWAP2
000011fd: CODECOPY
000011fe: PUSH1 0x40
00001200: ADD
00001201: SWAP2
00001202: POP
00001203: POP
00001204: PUSH1 0x40
00001206: MLOAD
00001207: DUP1
00001208: SWAP2
00001209: SUB
0000120a: SWAP1
0000120b: REVERT
0000120c: JUMPDEST
0000120d: PUSH1 0x00
0000120f: PUSH2 0x1216
00001212: PUSH2 0x1de2
00001215: JUMP
00001216: JUMPDEST
00001217: PUSH1 0x13
00001219: SSTORE
0000121a: PUSH2 0x1221
0000121d: PUSH2 0x1c80
00001220: JUMP
00001221: JUMPDEST
00001222: PUSH1 0x12
00001224: SSTORE
00001225: PUSH1 0x01
00001227: PUSH1 0x01
00001229: PUSH1 0xa0
0000122b: SHL
0000122c: SUB
0000122d: DUP2
0000122e: AND
0000122f: ISZERO
00001230: PUSH2 0x1268
00001233: JUMPI
00001234: PUSH2 0x123c
00001237: DUP2
00001238: PUSH2 0x08f0
0000123b: JUMP
0000123c: JUMPDEST
0000123d: PUSH1 0x01
0000123f: PUSH1 0x01
00001241: PUSH1 0xa0
00001243: SHL
00001244: SUB
00001245: DUP3
00001246: AND
00001247: PUSH1 0x00
00001249: SWAP1
0000124a: DUP2
0000124b: MSTORE
0000124c: PUSH1 0x15
0000124e: PUSH1 0x20
00001250: SWAP1
00001251: DUP2
00001252: MSTORE
00001253: PUSH1 0x40
00001255: DUP1
00001256: DUP4
00001257: KECCAK256
00001258: SWAP4
00001259: SWAP1
0000125a: SWAP4
0000125b: SSTORE
0000125c: PUSH1 0x13
0000125e: SLOAD
0000125f: PUSH1 0x14
00001261: SWAP1
00001262: SWAP2
00001263: MSTORE
00001264: SWAP2
00001265: SWAP1
00001266: KECCAK256
00001267: SSTORE
00001268: JUMPDEST
00001269: PUSH1 0x10
0000126b: SLOAD
0000126c: TIMESTAMP
0000126d: LT
0000126e: PUSH2 0x128c
00001271: JUMPI
00001272: PUSH2 0x1284
00001275: DUP3
00001276: PUSH3 0x093a80
0000127a: PUSH4 0xffffffff
0000127f: PUSH2 0x2491
00001282: AND
00001283: JUMP
00001284: JUMPDEST
00001285: PUSH1 0x11
00001287: SSTORE
00001288: PUSH2 0x12da
0000128b: JUMP
0000128c: JUMPDEST
0000128d: PUSH1 0x10
0000128f: SLOAD
00001290: PUSH1 0x00
00001292: SWAP1
00001293: PUSH2 0x12a2
00001296: SWAP1
00001297: TIMESTAMP
00001298: PUSH4 0xffffffff
0000129d: PUSH2 0x23ef
000012a0: AND
000012a1: JUMP
000012a2: JUMPDEST
000012a3: SWAP1
000012a4: POP
000012a5: PUSH1 0x00
000012a7: PUSH2 0x12bb
000012aa: PUSH1 0x11
000012ac: SLOAD
000012ad: DUP4
000012ae: PUSH2 0x2438
000012b1: SWAP1
000012b2: SWAP2
000012b3: SWAP1
000012b4: PUSH4 0xffffffff
000012b9: AND
000012ba: JUMP
000012bb: JUMPDEST
000012bc: SWAP1
000012bd: POP
000012be: PUSH2 0x12d4
000012c1: PUSH3 0x093a80
000012c5: PUSH2 0x0958
000012c8: DUP7
000012c9: DUP5
000012ca: PUSH4 0xffffffff
000012cf: PUSH2 0x24d3
000012d2: AND
000012d3: JUMP
000012d4: JUMPDEST
000012d5: PUSH1 0x11
000012d7: SSTORE
000012d8: POP
000012d9: POP
000012da: JUMPDEST
000012db: PUSH1 0x06
000012dd: SLOAD
000012de: PUSH1 0x40
000012e0: DUP1
000012e1: MLOAD
000012e2: PUSH4 0x40c10f19
000012e7: PUSH1 0xe0
000012e9: SHL
000012ea: DUP2
000012eb: MSTORE
000012ec: ADDRESS
000012ed: PUSH1 0x04
000012ef: DUP3
000012f0: ADD
000012f1: MSTORE
000012f2: PUSH1 0x24
000012f4: DUP2
000012f5: ADD
000012f6: DUP6
000012f7: SWAP1
000012f8: MSTORE
000012f9: SWAP1
000012fa: MLOAD
000012fb: PUSH1 0x01
000012fd: PUSH1 0x01
000012ff: PUSH1 0xa0
00001301: SHL
00001302: SUB
00001303: SWAP1
00001304: SWAP3
00001305: AND
00001306: SWAP2
00001307: PUSH4 0x40c10f19
0000130c: SWAP2
0000130d: PUSH1 0x44
0000130f: DUP1
00001310: DUP3
00001311: ADD
00001312: SWAP3
00001313: PUSH1 0x00
00001315: SWAP3
00001316: SWAP1
00001317: SWAP2
00001318: SWAP1
00001319: DUP3
0000131a: SWAP1
0000131b: SUB
0000131c: ADD
0000131d: DUP2
0000131e: DUP4
0000131f: DUP8
00001320: DUP1
00001321: EXTCODESIZE
00001322: ISZERO
00001323: DUP1
00001324: ISZERO
00001325: PUSH2 0x132d
00001328: JUMPI
00001329: PUSH1 0x00
0000132b: DUP1
0000132c: REVERT
0000132d: JUMPDEST
0000132e: POP
0000132f: GAS
00001330: CALL
00001331: ISZERO
00001332: DUP1
00001333: ISZERO
00001334: PUSH2 0x1341
00001337: JUMPI
00001338: RETURNDATASIZE
00001339: PUSH1 0x00
0000133b: DUP1
0000133c: RETURNDATACOPY
0000133d: RETURNDATASIZE
0000133e: PUSH1 0x00
00001340: REVERT
00001341: JUMPDEST
00001342: POP
00001343: POP
00001344: PUSH1 0x07
00001346: SLOAD
00001347: PUSH1 0x09
00001349: SLOAD
0000134a: PUSH1 0x01
0000134c: PUSH1 0x01
0000134e: PUSH1 0xa0
00001350: SHL
00001351: SUB
00001352: SWAP1
00001353: SWAP2
00001354: AND
00001355: SWAP3
00001356: POP
00001357: PUSH4 0x40c10f19
0000135c: SWAP2
0000135d: POP
0000135e: ADDRESS
0000135f: SWAP1
00001360: PUSH2 0x1370
00001363: SWAP1
00001364: DUP7
00001365: SWAP1
00001366: PUSH4 0xffffffff
0000136b: PUSH2 0x2491
0000136e: AND
0000136f: JUMP
00001370: JUMPDEST
00001371: PUSH1 0x40
00001373: MLOAD
00001374: DUP4
00001375: PUSH4 0xffffffff
0000137a: AND
0000137b: PUSH1 0xe0
0000137d: SHL
0000137e: DUP2
0000137f: MSTORE
00001380: PUSH1 0x04
00001382: ADD
00001383: DUP1
00001384: DUP4
00001385: PUSH1 0x01
00001387: PUSH1 0x01
00001389: PUSH1 0xa0
0000138b: SHL
0000138c: SUB
0000138d: AND
0000138e: PUSH1 0x01
00001390: PUSH1 0x01
00001392: PUSH1 0xa0
00001394: SHL
00001395: SUB
00001396: AND
00001397: DUP2
00001398: MSTORE
00001399: PUSH1 0x20
0000139b: ADD
0000139c: DUP3
0000139d: DUP2
0000139e: MSTORE
0000139f: PUSH1 0x20
000013a1: ADD
000013a2: SWAP3
000013a3: POP
000013a4: POP
000013a5: POP
000013a6: PUSH1 0x00
000013a8: PUSH1 0x40
000013aa: MLOAD
000013ab: DUP1
000013ac: DUP4
000013ad: SUB
000013ae: DUP2
000013af: PUSH1 0x00
000013b1: DUP8
000013b2: DUP1
000013b3: EXTCODESIZE
000013b4: ISZERO
000013b5: DUP1
000013b6: ISZERO
000013b7: PUSH2 0x13bf
000013ba: JUMPI
000013bb: PUSH1 0x00
000013bd: DUP1
000013be: REVERT
000013bf: JUMPDEST
000013c0: POP
000013c1: GAS
000013c2: CALL
000013c3: ISZERO
000013c4: DUP1
000013c5: ISZERO
000013c6: PUSH2 0x13d3
000013c9: JUMPI
000013ca: RETURNDATASIZE
000013cb: PUSH1 0x00
000013cd: DUP1
000013ce: RETURNDATACOPY
000013cf: RETURNDATASIZE
000013d0: PUSH1 0x00
000013d2: REVERT
000013d3: JUMPDEST
000013d4: POP
000013d5: POP
000013d6: PUSH1 0x08
000013d8: SLOAD
000013d9: PUSH1 0x0a
000013db: SLOAD
000013dc: PUSH1 0x01
000013de: PUSH1 0x01
000013e0: PUSH1 0xa0
000013e2: SHL
000013e3: SUB
000013e4: SWAP1
000013e5: SWAP2
000013e6: AND
000013e7: SWAP3
000013e8: POP
000013e9: PUSH4 0x40c10f19
000013ee: SWAP2
000013ef: POP
000013f0: ADDRESS
000013f1: SWAP1
000013f2: PUSH2 0x1402
000013f5: SWAP1
000013f6: DUP7
000013f7: SWAP1
000013f8: PUSH4 0xffffffff
000013fd: PUSH2 0x2491
00001400: AND
00001401: JUMP
00001402: JUMPDEST
00001403: PUSH1 0x40
00001405: MLOAD
00001406: DUP4
00001407: PUSH4 0xffffffff
0000140c: AND
0000140d: PUSH1 0xe0
0000140f: SHL
00001410: DUP2
00001411: MSTORE
00001412: PUSH1 0x04
00001414: ADD
00001415: DUP1
00001416: DUP4
00001417: PUSH1 0x01
00001419: PUSH1 0x01
0000141b: PUSH1 0xa0
0000141d: SHL
0000141e: SUB
0000141f: AND
00001420: PUSH1 0x01
00001422: PUSH1 0x01
00001424: PUSH1 0xa0
00001426: SHL
00001427: SUB
00001428: AND
00001429: DUP2
0000142a: MSTORE
0000142b: PUSH1 0x20
0000142d: ADD
0000142e: DUP3
0000142f: DUP2
00001430: MSTORE
00001431: PUSH1 0x20
00001433: ADD
00001434: SWAP3
00001435: POP
00001436: POP
00001437: POP
00001438: PUSH1 0x00
0000143a: PUSH1 0x40
0000143c: MLOAD
0000143d: DUP1
0000143e: DUP4
0000143f: SUB
00001440: DUP2
00001441: PUSH1 0x00
00001443: DUP8
00001444: DUP1
00001445: EXTCODESIZE
00001446: ISZERO
00001447: DUP1
00001448: ISZERO
00001449: PUSH2 0x1451
0000144c: JUMPI
0000144d: PUSH1 0x00
0000144f: DUP1
00001450: REVERT
00001451: JUMPDEST
00001452: POP
00001453: GAS
00001454: CALL
00001455: ISZERO
00001456: DUP1
00001457: ISZERO
00001458: PUSH2 0x1465
0000145b: JUMPI
0000145c: RETURNDATASIZE
0000145d: PUSH1 0x00
0000145f: DUP1
00001460: RETURNDATACOPY
00001461: RETURNDATASIZE
00001462: PUSH1 0x00
00001464: REVERT
00001465: JUMPDEST
00001466: POP
00001467: POP
00001468: PUSH1 0x0d
0000146a: SLOAD
0000146b: PUSH2 0x147d
0000146e: SWAP3
0000146f: POP
00001470: SWAP1
00001471: POP
00001472: DUP4
00001473: PUSH4 0xffffffff
00001478: PUSH2 0x24d3
0000147b: AND
0000147c: JUMP
0000147d: JUMPDEST
0000147e: PUSH1 0x0d
00001480: SSTORE
00001481: PUSH1 0x0e
00001483: DUP1
00001484: SLOAD
00001485: PUSH1 0xff
00001487: DUP1
00001488: DUP3
00001489: AND
0000148a: PUSH1 0x01
0000148c: ADD
0000148d: AND
0000148e: PUSH1 0xff
00001490: NOT
00001491: SWAP1
00001492: SWAP2
00001493: AND
00001494: OR
00001495: SWAP1
00001496: SSTORE
00001497: TIMESTAMP
00001498: PUSH1 0x12
0000149a: DUP2
0000149b: SWAP1
0000149c: SSTORE
0000149d: PUSH2 0x14af
000014a0: SWAP1
000014a1: PUSH3 0x093a80
000014a5: PUSH4 0xffffffff
000014aa: PUSH2 0x24d3
000014ad: AND
000014ae: JUMP
000014af: JUMPDEST
000014b0: PUSH1 0x10
000014b2: SSTORE
000014b3: PUSH1 0x40
000014b5: DUP1
000014b6: MLOAD
000014b7: DUP4
000014b8: DUP2
000014b9: MSTORE
000014ba: SWAP1
000014bb: MLOAD
000014bc: PUSH1 0x00
000014be: DUP1
000014bf: MLOAD
000014c0: PUSH1 0x20
000014c2: PUSH2 0x2be6
000014c5: DUP4
000014c6: CODECOPY
000014c7: DUP2
000014c8: MLOAD
000014c9: SWAP2
000014ca: MSTORE
000014cb: SWAP2
000014cc: DUP2
000014cd: SWAP1
000014ce: SUB
000014cf: PUSH1 0x20
000014d1: ADD
000014d2: SWAP1
000014d3: LOG1
000014d4: POP
000014d5: POP
000014d6: JUMP
000014d7: JUMPDEST
000014d8: CALLER
000014d9: PUSH2 0x14e0
000014dc: PUSH2 0x1de2
000014df: JUMP
000014e0: JUMPDEST
000014e1: PUSH1 0x13
000014e3: SSTORE
000014e4: PUSH2 0x14eb
000014e7: PUSH2 0x1c80
000014ea: JUMP
000014eb: JUMPDEST
000014ec: PUSH1 0x12
000014ee: SSTORE
000014ef: PUSH1 0x01
000014f1: PUSH1 0x01
000014f3: PUSH1 0xa0
000014f5: SHL
000014f6: SUB
000014f7: DUP2
000014f8: AND
000014f9: ISZERO
000014fa: PUSH2 0x1532
000014fd: JUMPI
000014fe: PUSH2 0x1506
00001501: DUP2
00001502: PUSH2 0x08f0
00001505: JUMP
00001506: JUMPDEST
00001507: PUSH1 0x01
00001509: PUSH1 0x01
0000150b: PUSH1 0xa0
0000150d: SHL
0000150e: SUB
0000150f: DUP3
00001510: AND
00001511: PUSH1 0x00
00001513: SWAP1
00001514: DUP2
00001515: MSTORE
00001516: PUSH1 0x15
00001518: PUSH1 0x20
0000151a: SWAP1
0000151b: DUP2
0000151c: MSTORE
0000151d: PUSH1 0x40
0000151f: DUP1
00001520: DUP4
00001521: KECCAK256
00001522: SWAP4
00001523: SWAP1
00001524: SWAP4
00001525: SSTORE
00001526: PUSH1 0x13
00001528: SLOAD
00001529: PUSH1 0x14
0000152b: SWAP1
0000152c: SWAP2
0000152d: MSTORE
0000152e: SWAP2
0000152f: SWAP1
00001530: KECCAK256
00001531: SSTORE
00001532: JUMPDEST
00001533: PUSH1 0x10
00001535: SLOAD
00001536: TIMESTAMP
00001537: LT
00001538: PUSH2 0x17df
0000153b: JUMPI
0000153c: PUSH10 0x0d573ca1c3b1c9600000
00001547: PUSH1 0x0b
00001549: SSTORE
0000154a: PUSH1 0x00
0000154c: PUSH2 0x1553
0000154f: PUSH2 0x10ec
00001552: JUMP
00001553: JUMPDEST
00001554: SWAP1
00001555: POP
00001556: PUSH2 0x1573
00001559: PUSH1 0x64
0000155b: PUSH2 0x0958
0000155e: DUP4
0000155f: PUSH2 0xffff
00001562: AND
00001563: PUSH1 0x0b
00001565: SLOAD
00001566: PUSH2 0x2438
00001569: SWAP1
0000156a: SWAP2
0000156b: SWAP1
0000156c: PUSH4 0xffffffff
00001571: AND
00001572: JUMP
00001573: JUMPDEST
00001574: PUSH1 0x0c
00001576: DUP2
00001577: SWAP1
00001578: SSTORE
00001579: PUSH1 0x0d
0000157b: SLOAD
0000157c: PUSH10 0x85685e51a4f1ddc00000
00001587: SWAP2
00001588: PUSH2 0x1597
0000158b: SWAP2
0000158c: SWAP1
0000158d: PUSH4 0xffffffff
00001592: PUSH2 0x24d3
00001595: AND
00001596: JUMP
00001597: JUMPDEST
00001598: GT
00001599: ISZERO
0000159a: PUSH2 0x15bf
0000159d: JUMPI
0000159e: PUSH1 0x0d
000015a0: SLOAD
000015a1: PUSH2 0x15bb
000015a4: SWAP1
000015a5: PUSH10 0x85685e51a4f1ddc00000
000015b0: SWAP1
000015b1: PUSH4 0xffffffff
000015b6: PUSH2 0x23ef
000015b9: AND
000015ba: JUMP
000015bb: JUMPDEST
000015bc: PUSH1 0x0c
000015be: SSTORE
000015bf: JUMPDEST
000015c0: PUSH1 0x0c
000015c2: SLOAD
000015c3: ISZERO
000015c4: PUSH2 0x178b
000015c7: JUMPI
000015c8: PUSH1 0x06
000015ca: SLOAD
000015cb: PUSH1 0x0c
000015cd: SLOAD
000015ce: PUSH1 0x40
000015d0: DUP1
000015d1: MLOAD
000015d2: PUSH4 0x40c10f19
000015d7: PUSH1 0xe0
000015d9: SHL
000015da: DUP2
000015db: MSTORE
000015dc: ADDRESS
000015dd: PUSH1 0x04
000015df: DUP3
000015e0: ADD
000015e1: MSTORE
000015e2: PUSH1 0x24
000015e4: DUP2
000015e5: ADD
000015e6: SWAP3
000015e7: SWAP1
000015e8: SWAP3
000015e9: MSTORE
000015ea: MLOAD
000015eb: PUSH1 0x01
000015ed: PUSH1 0x01
000015ef: PUSH1 0xa0
000015f1: SHL
000015f2: SUB
000015f3: SWAP1
000015f4: SWAP3
000015f5: AND
000015f6: SWAP2
000015f7: PUSH4 0x40c10f19
000015fc: SWAP2
000015fd: PUSH1 0x44
000015ff: DUP1
00001600: DUP3
00001601: ADD
00001602: SWAP3
00001603: PUSH1 0x00
00001605: SWAP3
00001606: SWAP1
00001607: SWAP2
00001608: SWAP1
00001609: DUP3
0000160a: SWAP1
0000160b: SUB
0000160c: ADD
0000160d: DUP2
0000160e: DUP4
0000160f: DUP8
00001610: DUP1
00001611: EXTCODESIZE
00001612: ISZERO
00001613: DUP1
00001614: ISZERO
00001615: PUSH2 0x161d
00001618: JUMPI
00001619: PUSH1 0x00
0000161b: DUP1
0000161c: REVERT
0000161d: JUMPDEST
0000161e: POP
0000161f: GAS
00001620: CALL
00001621: ISZERO
00001622: DUP1
00001623: ISZERO
00001624: PUSH2 0x1631
00001627: JUMPI
00001628: RETURNDATASIZE
00001629: PUSH1 0x00
0000162b: DUP1
0000162c: RETURNDATACOPY
0000162d: RETURNDATASIZE
0000162e: PUSH1 0x00
00001630: REVERT
00001631: JUMPDEST
00001632: POP
00001633: POP
00001634: PUSH1 0x07
00001636: SLOAD
00001637: PUSH1 0x09
00001639: SLOAD
0000163a: PUSH1 0x0c
0000163c: SLOAD
0000163d: PUSH1 0x01
0000163f: PUSH1 0x01
00001641: PUSH1 0xa0
00001643: SHL
00001644: SUB
00001645: SWAP1
00001646: SWAP3
00001647: AND
00001648: SWAP4
00001649: POP
0000164a: PUSH4 0x40c10f19
0000164f: SWAP3
00001650: POP
00001651: ADDRESS
00001652: SWAP2
00001653: PUSH2 0x1661
00001656: SWAP2
00001657: PUSH4 0xffffffff
0000165c: PUSH2 0x2491
0000165f: AND
00001660: JUMP
00001661: JUMPDEST
00001662: PUSH1 0x40
00001664: MLOAD
00001665: DUP4
00001666: PUSH4 0xffffffff
0000166b: AND
0000166c: PUSH1 0xe0
0000166e: SHL
0000166f: DUP2
00001670: MSTORE
00001671: PUSH1 0x04
00001673: ADD
00001674: DUP1
00001675: DUP4
00001676: PUSH1 0x01
00001678: PUSH1 0x01
0000167a: PUSH1 0xa0
0000167c: SHL
0000167d: SUB
0000167e: AND
0000167f: PUSH1 0x01
00001681: PUSH1 0x01
00001683: PUSH1 0xa0
00001685: SHL
00001686: SUB
00001687: AND
00001688: DUP2
00001689: MSTORE
0000168a: PUSH1 0x20
0000168c: ADD
0000168d: DUP3
0000168e: DUP2
0000168f: MSTORE
00001690: PUSH1 0x20
00001692: ADD
00001693: SWAP3
00001694: POP
00001695: POP
00001696: POP
00001697: PUSH1 0x00
00001699: PUSH1 0x40
0000169b: MLOAD
0000169c: DUP1
0000169d: DUP4
0000169e: SUB
0000169f: DUP2
000016a0: PUSH1 0x00
000016a2: DUP8
000016a3: DUP1
000016a4: EXTCODESIZE
000016a5: ISZERO
000016a6: DUP1
000016a7: ISZERO
000016a8: PUSH2 0x16b0
000016ab: JUMPI
000016ac: PUSH1 0x00
000016ae: DUP1
000016af: REVERT
000016b0: JUMPDEST
000016b1: POP
000016b2: GAS
000016b3: CALL
000016b4: ISZERO
000016b5: DUP1
000016b6: ISZERO
000016b7: PUSH2 0x16c4
000016ba: JUMPI
000016bb: RETURNDATASIZE
000016bc: PUSH1 0x00
000016be: DUP1
000016bf: RETURNDATACOPY
000016c0: RETURNDATASIZE
000016c1: PUSH1 0x00
000016c3: REVERT
000016c4: JUMPDEST
000016c5: POP
000016c6: POP
000016c7: PUSH1 0x08
000016c9: SLOAD
000016ca: PUSH1 0x0a
000016cc: SLOAD
000016cd: PUSH1 0x0c
000016cf: SLOAD
000016d0: PUSH1 0x01
000016d2: PUSH1 0x01
000016d4: PUSH1 0xa0
000016d6: SHL
000016d7: SUB
000016d8: SWAP1
000016d9: SWAP3
000016da: AND
000016db: SWAP4
000016dc: POP
000016dd: PUSH4 0x40c10f19
000016e2: SWAP3
000016e3: POP
000016e4: ADDRESS
000016e5: SWAP2
000016e6: PUSH2 0x16f4
000016e9: SWAP2
000016ea: PUSH4 0xffffffff
000016ef: PUSH2 0x2491
000016f2: AND
000016f3: JUMP
000016f4: JUMPDEST
000016f5: PUSH1 0x40
000016f7: MLOAD
000016f8: DUP4
000016f9: PUSH4 0xffffffff
000016fe: AND
000016ff: PUSH1 0xe0
00001701: SHL
00001702: DUP2
00001703: MSTORE
00001704: PUSH1 0x04
00001706: ADD
00001707: DUP1
00001708: DUP4
00001709: PUSH1 0x01
0000170b: PUSH1 0x01
0000170d: PUSH1 0xa0
0000170f: SHL
00001710: SUB
00001711: AND
00001712: PUSH1 0x01
00001714: PUSH1 0x01
00001716: PUSH1 0xa0
00001718: SHL
00001719: SUB
0000171a: AND
0000171b: DUP2
0000171c: MSTORE
0000171d: PUSH1 0x20
0000171f: ADD
00001720: DUP3
00001721: DUP2
00001722: MSTORE
00001723: PUSH1 0x20
00001725: ADD
00001726: SWAP3
00001727: POP
00001728: POP
00001729: POP
0000172a: PUSH1 0x00
0000172c: PUSH1 0x40
0000172e: MLOAD
0000172f: DUP1
00001730: DUP4
00001731: SUB
00001732: DUP2
00001733: PUSH1 0x00
00001735: DUP8
00001736: DUP1
00001737: EXTCODESIZE
00001738: ISZERO
00001739: DUP1
0000173a: ISZERO
0000173b: PUSH2 0x1743
0000173e: JUMPI
0000173f: PUSH1 0x00
00001741: DUP1
00001742: REVERT
00001743: JUMPDEST
00001744: POP
00001745: GAS
00001746: CALL
00001747: ISZERO
00001748: DUP1
00001749: ISZERO
0000174a: PUSH2 0x1757
0000174d: JUMPI
0000174e: RETURNDATASIZE
0000174f: PUSH1 0x00
00001751: DUP1
00001752: RETURNDATACOPY
00001753: RETURNDATASIZE
00001754: PUSH1 0x00
00001756: REVERT
00001757: JUMPDEST
00001758: POP
00001759: POP
0000175a: PUSH1 0x0c
0000175c: SLOAD
0000175d: PUSH1 0x0d
0000175f: SLOAD
00001760: PUSH2 0x1771
00001763: SWAP4
00001764: POP
00001765: SWAP2
00001766: POP
00001767: PUSH4 0xffffffff
0000176c: PUSH2 0x24d3
0000176f: AND
00001770: JUMP
00001771: JUMPDEST
00001772: PUSH1 0x0d
00001774: SSTORE
00001775: PUSH1 0x0e
00001777: DUP1
00001778: SLOAD
00001779: PUSH1 0xff
0000177b: DUP1
0000177c: DUP3
0000177d: AND
0000177e: PUSH1 0x01
00001780: ADD
00001781: AND
00001782: PUSH1 0xff
00001784: NOT
00001785: SWAP1
00001786: SWAP2
00001787: AND
00001788: OR
00001789: SWAP1
0000178a: SSTORE
0000178b: JUMPDEST
0000178c: PUSH1 0x0c
0000178e: SLOAD
0000178f: PUSH2 0x17a1
00001792: SWAP1
00001793: PUSH3 0x093a80
00001797: PUSH4 0xffffffff
0000179c: PUSH2 0x2491
0000179f: AND
000017a0: JUMP
000017a1: JUMPDEST
000017a2: PUSH1 0x11
000017a4: SSTORE
000017a5: PUSH2 0x17b7
000017a8: TIMESTAMP
000017a9: PUSH3 0x093a80
000017ad: PUSH4 0xffffffff
000017b2: PUSH2 0x24d3
000017b5: AND
000017b6: JUMP
000017b7: JUMPDEST
000017b8: PUSH1 0x10
000017ba: SSTORE
000017bb: PUSH1 0x0c
000017bd: SLOAD
000017be: PUSH1 0x40
000017c0: DUP1
000017c1: MLOAD
000017c2: SWAP2
000017c3: DUP3
000017c4: MSTORE
000017c5: MLOAD
000017c6: PUSH1 0x00
000017c8: DUP1
000017c9: MLOAD
000017ca: PUSH1 0x20
000017cc: PUSH2 0x2be6
000017cf: DUP4
000017d0: CODECOPY
000017d1: DUP2
000017d2: MLOAD
000017d3: SWAP2
000017d4: MSTORE
000017d5: SWAP2
000017d6: DUP2
000017d7: SWAP1
000017d8: SUB
000017d9: PUSH1 0x20
000017db: ADD
000017dc: SWAP1
000017dd: LOG1
000017de: POP
000017df: JUMPDEST
000017e0: PUSH1 0x0f
000017e2: SLOAD
000017e3: TIMESTAMP
000017e4: GT
000017e5: PUSH2 0x1821
000017e8: JUMPI
000017e9: PUSH1 0x40
000017eb: DUP1
000017ec: MLOAD
000017ed: PUSH3 0x461bcd
000017f1: PUSH1 0xe5
000017f3: SHL
000017f4: DUP2
000017f5: MSTORE
000017f6: PUSH1 0x20
000017f8: PUSH1 0x04
000017fa: DUP3
000017fb: ADD
000017fc: MSTORE
000017fd: PUSH1 0x09
000017ff: PUSH1 0x24
00001801: DUP3
00001802: ADD
00001803: MSTORE
00001804: PUSH9 0x1b9bdd081cdd185c9d
0000180e: PUSH1 0xba
00001810: SHL
00001811: PUSH1 0x44
00001813: DUP3
00001814: ADD
00001815: MSTORE
00001816: SWAP1
00001817: MLOAD
00001818: SWAP1
00001819: DUP2
0000181a: SWAP1
0000181b: SUB
0000181c: PUSH1 0x64
0000181e: ADD
0000181f: SWAP1
00001820: REVERT
00001821: JUMPDEST
00001822: PUSH1 0x00
00001824: PUSH2 0x182c
00001827: CALLER
00001828: PUSH2 0x08f0
0000182b: JUMP
0000182c: JUMPDEST
0000182d: SWAP1
0000182e: POP
0000182f: PUSH1 0x01
00001831: DUP2
00001832: GT
00001833: ISZERO
00001834: PUSH2 0x1ab7
00001837: JUMPI
00001838: CALLER
00001839: PUSH1 0x00
0000183b: SWAP1
0000183c: DUP2
0000183d: MSTORE
0000183e: PUSH1 0x15
00001840: PUSH1 0x20
00001842: SWAP1
00001843: DUP2
00001844: MSTORE
00001845: PUSH1 0x40
00001847: DUP1
00001848: DUP4
00001849: KECCAK256
0000184a: SLOAD
0000184b: PUSH1 0x17
0000184d: SWAP1
0000184e: SWAP3
0000184f: MSTORE
00001850: SWAP1
00001851: SWAP2
00001852: KECCAK256
00001853: SLOAD
00001854: PUSH2 0x1862
00001857: SWAP2
00001858: PUSH4 0xffffffff
0000185d: PUSH2 0x24d3
00001860: AND
00001861: JUMP
00001862: JUMPDEST
00001863: CALLER
00001864: PUSH1 0x00
00001866: SWAP1
00001867: DUP2
00001868: MSTORE
00001869: PUSH1 0x17
0000186b: PUSH1 0x20
0000186d: SWAP1
0000186e: DUP2
0000186f: MSTORE
00001870: PUSH1 0x40
00001872: DUP1
00001873: DUP4
00001874: KECCAK256
00001875: SWAP4
00001876: SWAP1
00001877: SWAP4
00001878: SSTORE
00001879: PUSH1 0x15
0000187b: SWAP1
0000187c: MSTORE
0000187d: SWAP1
0000187e: DUP2
0000187f: KECCAK256
00001880: DUP2
00001881: SWAP1
00001882: SSTORE
00001883: PUSH2 0x1898
00001886: PUSH1 0x64
00001888: PUSH2 0x0958
0000188b: DUP5
0000188c: PUSH1 0x63
0000188e: PUSH4 0xffffffff
00001893: PUSH2 0x2438
00001896: AND
00001897: JUMP
00001898: JUMPDEST
00001899: PUSH1 0x06
0000189b: SLOAD
0000189c: SWAP1
0000189d: SWAP2
0000189e: POP
0000189f: DUP2
000018a0: DUP4
000018a1: SUB
000018a2: SWAP1
000018a3: PUSH2 0x18bc
000018a6: SWAP1
000018a7: PUSH1 0x01
000018a9: PUSH1 0x01
000018ab: PUSH1 0xa0
000018ad: SHL
000018ae: SUB
000018af: AND
000018b0: CALLER
000018b1: DUP5
000018b2: PUSH4 0xffffffff
000018b7: PUSH2 0x252d
000018ba: AND
000018bb: JUMP
000018bc: JUMPDEST
000018bd: PUSH1 0x40
000018bf: DUP1
000018c0: MLOAD
000018c1: DUP4
000018c2: DUP2
000018c3: MSTORE
000018c4: SWAP1
000018c5: MLOAD
000018c6: CALLER
000018c7: SWAP2
000018c8: PUSH32 0xe2403640ba68fed3a2f88b7557551d1993f84b99bb10ff833f0cf8db0c5e0486
000018e9: SWAP2
000018ea: SWAP1
000018eb: DUP2
000018ec: SWAP1
000018ed: SUB
000018ee: PUSH1 0x20
000018f0: ADD
000018f1: SWAP1
000018f2: LOG2
000018f3: PUSH1 0x05
000018f5: SLOAD
000018f6: PUSH1 0x00
000018f8: SWAP1
000018f9: PUSH1 0x01
000018fb: PUSH1 0x01
000018fd: PUSH1 0xa0
000018ff: SHL
00001900: SUB
00001901: AND
00001902: ISZERO
00001903: PUSH2 0x1980
00001906: JUMPI
00001907: PUSH1 0x05
00001909: SLOAD
0000190a: PUSH1 0x40
0000190c: DUP1
0000190d: MLOAD
0000190e: PUSH4 0x4a9fefc7
00001913: PUSH1 0xe0
00001915: SHL
00001916: DUP2
00001917: MSTORE
00001918: CALLER
00001919: PUSH1 0x04
0000191b: DUP3
0000191c: ADD
0000191d: MSTORE
0000191e: SWAP1
0000191f: MLOAD
00001920: PUSH1 0x01
00001922: PUSH1 0x01
00001924: PUSH1 0xa0
00001926: SHL
00001927: SUB
00001928: SWAP1
00001929: SWAP3
0000192a: AND
0000192b: SWAP2
0000192c: PUSH4 0x4a9fefc7
00001931: SWAP2
00001932: PUSH1 0x24
00001934: DUP1
00001935: DUP3
00001936: ADD
00001937: SWAP3
00001938: PUSH1 0x20
0000193a: SWAP3
0000193b: SWAP1
0000193c: SWAP2
0000193d: SWAP1
0000193e: DUP3
0000193f: SWAP1
00001940: SUB
00001941: ADD
00001942: DUP2
00001943: DUP7
00001944: DUP1
00001945: EXTCODESIZE
00001946: ISZERO
00001947: DUP1
00001948: ISZERO
00001949: PUSH2 0x1951
0000194c: JUMPI
0000194d: PUSH1 0x00
0000194f: DUP1
00001950: REVERT
00001951: JUMPDEST
00001952: POP
00001953: GAS
00001954: STATICCALL
00001955: ISZERO
00001956: DUP1
00001957: ISZERO
00001958: PUSH2 0x1965
0000195b: JUMPI
0000195c: RETURNDATASIZE
0000195d: PUSH1 0x00
0000195f: DUP1
00001960: RETURNDATACOPY
00001961: RETURNDATASIZE
00001962: PUSH1 0x00
00001964: REVERT
00001965: JUMPDEST
00001966: POP
00001967: POP
00001968: POP
00001969: POP
0000196a: PUSH1 0x40
0000196c: MLOAD
0000196d: RETURNDATASIZE
0000196e: PUSH1 0x20
00001970: DUP2
00001971: LT
00001972: ISZERO
00001973: PUSH2 0x197b
00001976: JUMPI
00001977: PUSH1 0x00
00001979: DUP1
0000197a: REVERT
0000197b: JUMPDEST
0000197c: POP
0000197d: MLOAD
0000197e: SWAP1
0000197f: POP
00001980: JUMPDEST
00001981: PUSH1 0x01
00001983: PUSH1 0x01
00001985: PUSH1 0xa0
00001987: SHL
00001988: SUB
00001989: DUP2
0000198a: AND
0000198b: ISZERO
0000198c: PUSH2 0x19e7
0000198f: JUMPI
00001990: PUSH1 0x06
00001992: SLOAD
00001993: PUSH2 0x19ac
00001996: SWAP1
00001997: PUSH1 0x01
00001999: PUSH1 0x01
0000199b: PUSH1 0xa0
0000199d: SHL
0000199e: SUB
0000199f: AND
000019a0: DUP3
000019a1: DUP5
000019a2: PUSH4 0xffffffff
000019a7: PUSH2 0x252d
000019aa: AND
000019ab: JUMP
000019ac: JUMPDEST
000019ad: PUSH1 0x40
000019af: DUP1
000019b0: MLOAD
000019b1: DUP4
000019b2: DUP2
000019b3: MSTORE
000019b4: SWAP1
000019b5: MLOAD
000019b6: CALLER
000019b7: SWAP2
000019b8: PUSH32 0xe2403640ba68fed3a2f88b7557551d1993f84b99bb10ff833f0cf8db0c5e0486
000019d9: SWAP2
000019da: SWAP1
000019db: DUP2
000019dc: SWAP1
000019dd: SUB
000019de: PUSH1 0x20
000019e0: ADD
000019e1: SWAP1
000019e2: LOG2
000019e3: PUSH2 0x1a81
000019e6: JUMP
000019e7: JUMPDEST
000019e8: PUSH1 0x06
000019ea: SLOAD
000019eb: PUSH1 0x40
000019ed: DUP1
000019ee: MLOAD
000019ef: PUSH4 0x0852cd8d
000019f4: PUSH1 0xe3
000019f6: SHL
000019f7: DUP2
000019f8: MSTORE
000019f9: PUSH1 0x04
000019fb: DUP2
000019fc: ADD
000019fd: DUP6
000019fe: SWAP1
000019ff: MSTORE
00001a00: SWAP1
00001a01: MLOAD
00001a02: PUSH1 0x01
00001a04: PUSH1 0x01
00001a06: PUSH1 0xa0
00001a08: SHL
00001a09: SUB
00001a0a: SWAP1
00001a0b: SWAP3
00001a0c: AND
00001a0d: SWAP2
00001a0e: PUSH4 0x42966c68
00001a13: SWAP2
00001a14: PUSH1 0x24
00001a16: DUP1
00001a17: DUP3
00001a18: ADD
00001a19: SWAP3
00001a1a: PUSH1 0x00
00001a1c: SWAP3
00001a1d: SWAP1
00001a1e: SWAP2
00001a1f: SWAP1
00001a20: DUP3
00001a21: SWAP1
00001a22: SUB
00001a23: ADD
00001a24: DUP2
00001a25: DUP4
00001a26: DUP8
00001a27: DUP1
00001a28: EXTCODESIZE
00001a29: ISZERO
00001a2a: DUP1
00001a2b: ISZERO
00001a2c: PUSH2 0x1a34
00001a2f: JUMPI
00001a30: PUSH1 0x00
00001a32: DUP1
00001a33: REVERT
00001a34: JUMPDEST
00001a35: POP
00001a36: GAS
00001a37: CALL
00001a38: ISZERO
00001a39: DUP1
00001a3a: ISZERO
00001a3b: PUSH2 0x1a48
00001a3e: JUMPI
00001a3f: RETURNDATASIZE
00001a40: PUSH1 0x00
00001a42: DUP1
00001a43: RETURNDATACOPY
00001a44: RETURNDATASIZE
00001a45: PUSH1 0x00
00001a47: REVERT
00001a48: JUMPDEST
00001a49: POP
00001a4a: POP
00001a4b: PUSH1 0x40
00001a4d: DUP1
00001a4e: MLOAD
00001a4f: DUP6
00001a50: DUP2
00001a51: MSTORE
00001a52: SWAP1
00001a53: MLOAD
00001a54: PUSH32 0xd83c63197e8e676d80ab0122beba9a9d20f3828839e9a1d6fe81d242e9cd7e6e
00001a75: SWAP4
00001a76: POP
00001a77: SWAP1
00001a78: DUP2
00001a79: SWAP1
00001a7a: SUB
00001a7b: PUSH1 0x20
00001a7d: ADD
00001a7e: SWAP2
00001a7f: POP
00001a80: LOG1
00001a81: JUMPDEST
00001a82: PUSH2 0x1ab3
00001a85: CALLER
00001a86: PUSH2 0x1a9a
00001a89: PUSH1 0x09
00001a8b: SLOAD
00001a8c: DUP8
00001a8d: PUSH2 0x2491
00001a90: SWAP1
00001a91: SWAP2
00001a92: SWAP1
00001a93: PUSH4 0xffffffff
00001a98: AND
00001a99: JUMP
00001a9a: JUMPDEST
00001a9b: PUSH1 0x07
00001a9d: SLOAD
00001a9e: PUSH1 0x01
00001aa0: PUSH1 0x01
00001aa2: PUSH1 0xa0
00001aa4: SHL
00001aa5: SUB
00001aa6: AND
00001aa7: SWAP2
00001aa8: SWAP1
00001aa9: PUSH4 0xffffffff
00001aae: PUSH2 0x252d
00001ab1: AND
00001ab2: JUMP
00001ab3: JUMPDEST
00001ab4: POP
00001ab5: POP
00001ab6: POP
00001ab7: JUMPDEST
00001ab8: POP
00001ab9: POP
00001aba: JUMP
00001abb: JUMPDEST
00001abc: PUSH1 0x00
00001abe: PUSH2 0x0970
00001ac1: PUSH1 0x0a
00001ac3: SLOAD
00001ac4: PUSH2 0x0958
00001ac7: DUP5
00001ac8: PUSH2 0x23bc
00001acb: JUMP
00001acc: JUMPDEST
00001acd: PUSH1 0x22
00001acf: PUSH1 0x20
00001ad1: MSTORE
00001ad2: PUSH1 0x00
00001ad4: SWAP1
00001ad5: DUP2
00001ad6: MSTORE
00001ad7: PUSH1 0x40
00001ad9: SWAP1
00001ada: KECCAK256
00001adb: SLOAD
00001adc: DUP2
00001add: JUMP
00001ade: JUMPDEST
00001adf: PUSH1 0x1c
00001ae1: DUP2
00001ae2: PUSH1 0x04
00001ae4: DUP2
00001ae5: LT
00001ae6: PUSH2 0x1aeb
00001ae9: JUMPI
00001aea: INVALID
00001aeb: JUMPDEST
00001aec: ADD
00001aed: SLOAD
00001aee: SWAP1
00001aef: POP
00001af0: DUP2
00001af1: JUMP
00001af2: JUMPDEST
00001af3: PUSH20 0xdac17f958d2ee523a2206206994597c13d831ec7
00001b08: DUP2
00001b09: JUMP
00001b0a: JUMPDEST
00001b0b: PUSH1 0x01
00001b0d: DUP2
00001b0e: JUMP
00001b0f: JUMPDEST
00001b10: PUSH1 0x00
00001b12: DUP1
00001b13: DUP1
00001b14: JUMPDEST
00001b15: PUSH1 0x04
00001b17: DUP2
00001b18: PUSH1 0xff
00001b1a: AND
00001b1b: LT
00001b1c: ISZERO
00001b1d: PUSH2 0x1b72
00001b20: JUMPI
00001b21: PUSH2 0x1b68
00001b24: PUSH2 0x1b5b
00001b27: PUSH1 0x1c
00001b29: DUP4
00001b2a: PUSH1 0xff
00001b2c: AND
00001b2d: PUSH1 0x04
00001b2f: DUP2
00001b30: LT
00001b31: PUSH2 0x1b36
00001b34: JUMPI
00001b35: INVALID
00001b36: JUMPDEST
00001b37: ADD
00001b38: SLOAD
00001b39: PUSH2 0x094c
00001b3c: PUSH1 0x18
00001b3e: DUP6
00001b3f: PUSH1 0xff
00001b41: AND
00001b42: PUSH1 0x04
00001b44: DUP2
00001b45: LT
00001b46: PUSH2 0x1b4b
00001b49: JUMPI
00001b4a: INVALID
00001b4b: JUMPDEST
00001b4c: ADD
00001b4d: SLOAD
00001b4e: PUSH1 0x01
00001b50: PUSH1 0x01
00001b52: PUSH1 0xa0
00001b54: SHL
00001b55: SUB
00001b56: AND
00001b57: PUSH2 0x1e42
00001b5a: JUMP
00001b5b: JUMPDEST
00001b5c: DUP4
00001b5d: SWAP1
00001b5e: PUSH4 0xffffffff
00001b63: PUSH2 0x24d3
00001b66: AND
00001b67: JUMP
00001b68: JUMPDEST
00001b69: SWAP2
00001b6a: POP
00001b6b: PUSH1 0x01
00001b6d: ADD
00001b6e: PUSH2 0x1b14
00001b71: JUMP
00001b72: JUMPDEST
00001b73: POP
00001b74: SWAP1
00001b75: POP
00001b76: SWAP1
00001b77: JUMP
00001b78: JUMPDEST
00001b79: PUSH1 0x16
00001b7b: PUSH1 0x20
00001b7d: MSTORE
00001b7e: PUSH1 0x00
00001b80: SWAP1
00001b81: DUP2
00001b82: MSTORE
00001b83: PUSH1 0x40
00001b85: SWAP1
00001b86: KECCAK256
00001b87: SLOAD
00001b88: PUSH1 0xff
00001b8a: AND
00001b8b: DUP2
00001b8c: JUMP
00001b8d: JUMPDEST
00001b8e: PUSH1 0x18
00001b90: DUP2
00001b91: PUSH1 0x04
00001b93: DUP2
00001b94: LT
00001b95: PUSH2 0x1b9a
00001b98: JUMPI
00001b99: INVALID
00001b9a: JUMPDEST
00001b9b: ADD
00001b9c: SLOAD
00001b9d: PUSH1 0x01
00001b9f: PUSH1 0x01
00001ba1: PUSH1 0xa0
00001ba3: SHL
00001ba4: SUB
00001ba5: AND
00001ba6: SWAP1
00001ba7: POP
00001ba8: DUP2
00001ba9: JUMP
00001baa: JUMPDEST
00001bab: PUSH2 0x1bb2
00001bae: PUSH2 0x1cba
00001bb1: JUMP
00001bb2: JUMPDEST
00001bb3: PUSH2 0x1bf1
00001bb6: JUMPI
00001bb7: PUSH1 0x40
00001bb9: DUP1
00001bba: MLOAD
00001bbb: PUSH3 0x461bcd
00001bbf: PUSH1 0xe5
00001bc1: SHL
00001bc2: DUP2
00001bc3: MSTORE
00001bc4: PUSH1 0x20
00001bc6: PUSH1 0x04
00001bc8: DUP3
00001bc9: ADD
00001bca: DUP2
00001bcb: SWAP1
00001bcc: MSTORE
00001bcd: PUSH1 0x24
00001bcf: DUP3
00001bd0: ADD
00001bd1: MSTORE
00001bd2: PUSH1 0x00
00001bd4: DUP1
00001bd5: MLOAD
00001bd6: PUSH1 0x20
00001bd8: PUSH2 0x2c27
00001bdb: DUP4
00001bdc: CODECOPY
00001bdd: DUP2
00001bde: MLOAD
00001bdf: SWAP2
00001be0: MSTORE
00001be1: PUSH1 0x44
00001be3: DUP3
00001be4: ADD
00001be5: MSTORE
00001be6: SWAP1
00001be7: MLOAD
00001be8: SWAP1
00001be9: DUP2
00001bea: SWAP1
00001beb: SUB
00001bec: PUSH1 0x64
00001bee: ADD
00001bef: SWAP1
00001bf0: REVERT
00001bf1: JUMPDEST
00001bf2: PUSH1 0x02
00001bf4: SLOAD
00001bf5: PUSH1 0x40
00001bf7: MLOAD
00001bf8: PUSH1 0x00
00001bfa: SWAP2
00001bfb: PUSH1 0x01
00001bfd: PUSH1 0x01
00001bff: PUSH1 0xa0
00001c01: SHL
00001c02: SUB
00001c03: AND
00001c04: SWAP1
00001c05: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001c26: SWAP1
00001c27: DUP4
00001c28: SWAP1
00001c29: LOG3
00001c2a: PUSH1 0x02
00001c2c: DUP1
00001c2d: SLOAD
00001c2e: PUSH1 0x01
00001c30: PUSH1 0x01
00001c32: PUSH1 0xa0
00001c34: SHL
00001c35: SUB
00001c36: NOT
00001c37: AND
00001c38: SWAP1
00001c39: SSTORE
00001c3a: JUMP
00001c3b: JUMPDEST
00001c3c: PUSH1 0x06
00001c3e: SLOAD
00001c3f: PUSH1 0x01
00001c41: PUSH1 0x01
00001c43: PUSH1 0xa0
00001c45: SHL
00001c46: SUB
00001c47: AND
00001c48: DUP2
00001c49: JUMP
00001c4a: JUMPDEST
00001c4b: PUSH1 0x0e
00001c4d: SLOAD
00001c4e: PUSH1 0xff
00001c50: AND
00001c51: DUP2
00001c52: JUMP
00001c53: JUMPDEST
00001c54: PUSH1 0x08
00001c56: SLOAD
00001c57: PUSH1 0x01
00001c59: PUSH1 0x01
00001c5b: PUSH1 0xa0
00001c5d: SHL
00001c5e: SUB
00001c5f: AND
00001c60: DUP2
00001c61: JUMP
00001c62: JUMPDEST
00001c63: PUSH1 0x11
00001c65: SLOAD
00001c66: DUP2
00001c67: JUMP
00001c68: JUMPDEST
00001c69: PUSH20 0x6b175474e89094c44da98b954eedeac495271d0f
00001c7e: DUP2
00001c7f: JUMP
00001c80: JUMPDEST
00001c81: PUSH1 0x00
00001c83: PUSH2 0x1c8e
00001c86: TIMESTAMP
00001c87: PUSH1 0x10
00001c89: SLOAD
00001c8a: PUSH2 0x26c2
00001c8d: JUMP
00001c8e: JUMPDEST
00001c8f: SWAP1
00001c90: POP
00001c91: SWAP1
00001c92: JUMP
00001c93: JUMPDEST
00001c94: PUSH1 0x14
00001c96: PUSH1 0x20
00001c98: MSTORE
00001c99: PUSH1 0x00
00001c9b: SWAP1
00001c9c: DUP2
00001c9d: MSTORE
00001c9e: PUSH1 0x40
00001ca0: SWAP1
00001ca1: KECCAK256
00001ca2: SLOAD
00001ca3: DUP2
00001ca4: JUMP
00001ca5: JUMPDEST
00001ca6: PUSH1 0x0f
00001ca8: SLOAD
00001ca9: DUP2
00001caa: JUMP
00001cab: JUMPDEST
00001cac: PUSH1 0x02
00001cae: SLOAD
00001caf: PUSH1 0x01
00001cb1: PUSH1 0x01
00001cb3: PUSH1 0xa0
00001cb5: SHL
00001cb6: SUB
00001cb7: AND
00001cb8: SWAP1
00001cb9: JUMP
00001cba: JUMPDEST
00001cbb: PUSH1 0x02
00001cbd: SLOAD
00001cbe: PUSH1 0x00
00001cc0: SWAP1
00001cc1: PUSH1 0x01
00001cc3: PUSH1 0x01
00001cc5: PUSH1 0xa0
00001cc7: SHL
00001cc8: SUB
00001cc9: AND
00001cca: PUSH2 0x1cd1
00001ccd: PUSH2 0x26be
00001cd0: JUMP
00001cd1: JUMPDEST
00001cd2: PUSH1 0x01
00001cd4: PUSH1 0x01
00001cd6: PUSH1 0xa0
00001cd8: SHL
00001cd9: SUB
00001cda: AND
00001cdb: EQ
00001cdc: SWAP1
00001cdd: POP
00001cde: SWAP1
00001cdf: JUMP
00001ce0: JUMPDEST
00001ce1: PUSH1 0x00
00001ce3: DUP1
00001ce4: DUP1
00001ce5: JUMPDEST
00001ce6: PUSH1 0x04
00001ce8: DUP2
00001ce9: PUSH1 0xff
00001ceb: AND
00001cec: LT
00001ced: ISZERO
00001cee: PUSH2 0x1d5d
00001cf1: JUMPI
00001cf2: PUSH1 0x00
00001cf4: PUSH2 0x1d17
00001cf7: PUSH1 0x18
00001cf9: DUP4
00001cfa: PUSH1 0xff
00001cfc: AND
00001cfd: PUSH1 0x04
00001cff: DUP2
00001d00: LT
00001d01: PUSH2 0x1d06
00001d04: JUMPI
00001d05: INVALID
00001d06: JUMPDEST
00001d07: ADD
00001d08: SLOAD
00001d09: PUSH1 0x01
00001d0b: PUSH1 0x01
00001d0d: PUSH1 0xa0
00001d0f: SHL
00001d10: SUB
00001d11: AND
00001d12: DUP7
00001d13: PUSH2 0x2391
00001d16: JUMP
00001d17: JUMPDEST
00001d18: SWAP1
00001d19: POP
00001d1a: DUP1
00001d1b: ISZERO
00001d1c: PUSH2 0x1d54
00001d1f: JUMPI
00001d20: PUSH2 0x1d51
00001d23: PUSH2 0x1d44
00001d26: PUSH1 0x1c
00001d28: DUP5
00001d29: PUSH1 0xff
00001d2b: AND
00001d2c: PUSH1 0x04
00001d2e: DUP2
00001d2f: LT
00001d30: PUSH2 0x1d35
00001d33: JUMPI
00001d34: INVALID
00001d35: JUMPDEST
00001d36: ADD
00001d37: SLOAD
00001d38: DUP4
00001d39: SWAP1
00001d3a: PUSH4 0xffffffff
00001d3f: PUSH2 0x2438
00001d42: AND
00001d43: JUMP
00001d44: JUMPDEST
00001d45: DUP5
00001d46: SWAP1
00001d47: PUSH4 0xffffffff
00001d4c: PUSH2 0x24d3
00001d4f: AND
00001d50: JUMP
00001d51: JUMPDEST
00001d52: SWAP3
00001d53: POP
00001d54: JUMPDEST
00001d55: POP
00001d56: PUSH1 0x01
00001d58: ADD
00001d59: PUSH2 0x1ce5
00001d5c: JUMP
00001d5d: JUMPDEST
00001d5e: POP
00001d5f: SWAP3
00001d60: SWAP2
00001d61: POP
00001d62: POP
00001d63: JUMP
00001d64: JUMPDEST
00001d65: PUSH1 0x0b
00001d67: SLOAD
00001d68: DUP2
00001d69: JUMP
00001d6a: JUMPDEST
00001d6b: PUSH1 0x07
00001d6d: SLOAD
00001d6e: PUSH1 0x01
00001d70: PUSH1 0x01
00001d72: PUSH1 0xa0
00001d74: SHL
00001d75: SUB
00001d76: AND
00001d77: DUP2
00001d78: JUMP
00001d79: JUMPDEST
00001d7a: PUSH15 0x085d4780b73119b644ae5ecd22b376
00001d8a: DUP2
00001d8b: JUMP
00001d8c: JUMPDEST
00001d8d: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001da2: DUP2
00001da3: JUMP
00001da4: JUMPDEST
00001da5: PUSH1 0x21
00001da7: PUSH1 0x20
00001da9: MSTORE
00001daa: PUSH1 0x00
00001dac: SWAP1
00001dad: DUP2
00001dae: MSTORE
00001daf: PUSH1 0x40
00001db1: SWAP1
00001db2: KECCAK256
00001db3: SLOAD
00001db4: PUSH1 0x01
00001db6: PUSH1 0x01
00001db8: PUSH1 0xa0
00001dba: SHL
00001dbb: SUB
00001dbc: AND
00001dbd: DUP2
00001dbe: JUMP
00001dbf: JUMPDEST
00001dc0: PUSH1 0x04
00001dc2: SLOAD
00001dc3: PUSH1 0x01
00001dc5: PUSH1 0x01
00001dc7: PUSH1 0xa0
00001dc9: SHL
00001dca: SUB
00001dcb: AND
00001dcc: DUP2
00001dcd: JUMP
00001dce: JUMPDEST
00001dcf: PUSH10 0x85685e51a4f1ddc00000
00001dda: DUP2
00001ddb: JUMP
00001ddc: JUMPDEST
00001ddd: PUSH1 0x12
00001ddf: SLOAD
00001de0: DUP2
00001de1: JUMP
00001de2: JUMPDEST
00001de3: PUSH1 0x00
00001de5: PUSH2 0x1dec
00001de8: PUSH2 0x1b0f
00001deb: JUMP
00001dec: JUMPDEST
00001ded: PUSH2 0x1df9
00001df0: JUMPI
00001df1: POP
00001df2: PUSH1 0x13
00001df4: SLOAD
00001df5: PUSH2 0x119f
00001df8: JUMP
00001df9: JUMPDEST
00001dfa: PUSH2 0x1c8e
00001dfd: PUSH2 0x1e27
00001e00: PUSH2 0x1e07
00001e03: PUSH2 0x1b0f
00001e06: JUMP
00001e07: JUMPDEST
00001e08: PUSH2 0x0958
00001e0b: PUSH8 0x0de0b6b3a7640000
00001e14: PUSH2 0x094c
00001e17: PUSH1 0x11
00001e19: SLOAD
00001e1a: PUSH2 0x094c
00001e1d: PUSH1 0x12
00001e1f: SLOAD
00001e20: PUSH2 0x0937
00001e23: PUSH2 0x1c80
00001e26: JUMP
00001e27: JUMPDEST
00001e28: PUSH1 0x13
00001e2a: SLOAD
00001e2b: SWAP1
00001e2c: PUSH4 0xffffffff
00001e31: PUSH2 0x24d3
00001e34: AND
00001e35: JUMP
00001e36: JUMPDEST
00001e37: PUSH1 0x09
00001e39: SLOAD
00001e3a: DUP2
00001e3b: JUMP
00001e3c: JUMPDEST
00001e3d: PUSH1 0x13
00001e3f: SLOAD
00001e40: DUP2
00001e41: JUMP
00001e42: JUMPDEST
00001e43: PUSH1 0x01
00001e45: PUSH1 0x01
00001e47: PUSH1 0xa0
00001e49: SHL
00001e4a: SUB
00001e4b: AND
00001e4c: PUSH1 0x00
00001e4e: SWAP1
00001e4f: DUP2
00001e50: MSTORE
00001e51: PUSH1 0x20
00001e53: DUP2
00001e54: SWAP1
00001e55: MSTORE
00001e56: PUSH1 0x40
00001e58: SWAP1
00001e59: KECCAK256
00001e5a: SLOAD
00001e5b: SWAP1
00001e5c: JUMP
00001e5d: JUMPDEST
00001e5e: PUSH1 0x0c
00001e60: SLOAD
00001e61: DUP2
00001e62: JUMP
00001e63: JUMPDEST
00001e64: PUSH1 0x17
00001e66: PUSH1 0x20
00001e68: MSTORE
00001e69: PUSH1 0x00
00001e6b: SWAP1
00001e6c: DUP2
00001e6d: MSTORE
00001e6e: PUSH1 0x40
00001e70: SWAP1
00001e71: KECCAK256
00001e72: SLOAD
00001e73: DUP2
00001e74: JUMP
00001e75: JUMPDEST
00001e76: PUSH1 0x00
00001e78: JUMPDEST
00001e79: PUSH1 0x04
00001e7b: DUP2
00001e7c: PUSH1 0xff
00001e7e: AND
00001e7f: LT
00001e80: ISZERO
00001e81: PUSH2 0x1edf
00001e84: JUMPI
00001e85: PUSH1 0x00
00001e87: PUSH2 0x1eaa
00001e8a: PUSH1 0x18
00001e8c: DUP4
00001e8d: PUSH1 0xff
00001e8f: AND
00001e90: PUSH1 0x04
00001e92: DUP2
00001e93: LT
00001e94: PUSH2 0x1e99
00001e97: JUMPI
00001e98: INVALID
00001e99: JUMPDEST
00001e9a: ADD
00001e9b: SLOAD
00001e9c: PUSH1 0x01
00001e9e: PUSH1 0x01
00001ea0: PUSH1 0xa0
00001ea2: SHL
00001ea3: SUB
00001ea4: AND
00001ea5: CALLER
00001ea6: PUSH2 0x2391
00001ea9: JUMP
00001eaa: JUMPDEST
00001eab: SWAP1
00001eac: POP
00001ead: DUP1
00001eae: ISZERO
00001eaf: PUSH2 0x1ed6
00001eb2: JUMPI
00001eb3: PUSH2 0x1ed6
00001eb6: PUSH1 0x18
00001eb8: DUP4
00001eb9: PUSH1 0xff
00001ebb: AND
00001ebc: PUSH1 0x04
00001ebe: DUP2
00001ebf: LT
00001ec0: PUSH2 0x1ec5
00001ec3: JUMPI
00001ec4: INVALID
00001ec5: JUMPDEST
00001ec6: ADD
00001ec7: SLOAD
00001ec8: PUSH1 0x01
00001eca: PUSH1 0x01
00001ecc: PUSH1 0xa0
00001ece: SHL
00001ecf: SUB
00001ed0: AND
00001ed1: DUP3
00001ed2: PUSH2 0x1f51
00001ed5: JUMP
00001ed6: JUMPDEST
00001ed7: POP
00001ed8: PUSH1 0x01
00001eda: ADD
00001edb: PUSH2 0x1e78
00001ede: JUMP
00001edf: JUMPDEST
00001ee0: POP
00001ee1: PUSH2 0x1ee8
00001ee4: PUSH2 0x14d7
00001ee7: JUMP
00001ee8: JUMPDEST
00001ee9: JUMP
00001eea: JUMPDEST
00001eeb: PUSH1 0x20
00001eed: DUP1
00001eee: MSTORE
00001eef: PUSH1 0x00
00001ef1: SWAP1
00001ef2: DUP2
00001ef3: MSTORE
00001ef4: PUSH1 0x40
00001ef6: SWAP1
00001ef7: KECCAK256
00001ef8: SLOAD
00001ef9: DUP2
00001efa: JUMP
00001efb: JUMPDEST
00001efc: PUSH1 0x10
00001efe: SLOAD
00001eff: DUP2
00001f00: JUMP
00001f01: JUMPDEST
00001f02: PUSH2 0x1f09
00001f05: PUSH2 0x1cba
00001f08: JUMP
00001f09: JUMPDEST
00001f0a: PUSH2 0x1f48
00001f0d: JUMPI
00001f0e: PUSH1 0x40
00001f10: DUP1
00001f11: MLOAD
00001f12: PUSH3 0x461bcd
00001f16: PUSH1 0xe5
00001f18: SHL
00001f19: DUP2
00001f1a: MSTORE
00001f1b: PUSH1 0x20
00001f1d: PUSH1 0x04
00001f1f: DUP3
00001f20: ADD
00001f21: DUP2
00001f22: SWAP1
00001f23: MSTORE
00001f24: PUSH1 0x24
00001f26: DUP3
00001f27: ADD
00001f28: MSTORE
00001f29: PUSH1 0x00
00001f2b: DUP1
00001f2c: MLOAD
00001f2d: PUSH1 0x20
00001f2f: PUSH2 0x2c27
00001f32: DUP4
00001f33: CODECOPY
00001f34: DUP2
00001f35: MLOAD
00001f36: SWAP2
00001f37: MSTORE
00001f38: PUSH1 0x44
00001f3a: DUP3
00001f3b: ADD
00001f3c: MSTORE
00001f3d: SWAP1
00001f3e: MLOAD
00001f3f: SWAP1
00001f40: DUP2
00001f41: SWAP1
00001f42: SUB
00001f43: PUSH1 0x64
00001f45: ADD
00001f46: SWAP1
00001f47: REVERT
00001f48: JUMPDEST
00001f49: PUSH2 0x0bb3
00001f4c: DUP2
00001f4d: PUSH2 0x26d8
00001f50: JUMP
00001f51: JUMPDEST
00001f52: CALLER
00001f53: PUSH2 0x1f5a
00001f56: PUSH2 0x1de2
00001f59: JUMP
00001f5a: JUMPDEST
00001f5b: PUSH1 0x13
00001f5d: SSTORE
00001f5e: PUSH2 0x1f65
00001f61: PUSH2 0x1c80
00001f64: JUMP
00001f65: JUMPDEST
00001f66: PUSH1 0x12
00001f68: SSTORE
00001f69: PUSH1 0x01
00001f6b: PUSH1 0x01
00001f6d: PUSH1 0xa0
00001f6f: SHL
00001f70: SUB
00001f71: DUP2
00001f72: AND
00001f73: ISZERO
00001f74: PUSH2 0x1fac
00001f77: JUMPI
00001f78: PUSH2 0x1f80
00001f7b: DUP2
00001f7c: PUSH2 0x08f0
00001f7f: JUMP
00001f80: JUMPDEST
00001f81: PUSH1 0x01
00001f83: PUSH1 0x01
00001f85: PUSH1 0xa0
00001f87: SHL
00001f88: SUB
00001f89: DUP3
00001f8a: AND
00001f8b: PUSH1 0x00
00001f8d: SWAP1
00001f8e: DUP2
00001f8f: MSTORE
00001f90: PUSH1 0x15
00001f92: PUSH1 0x20
00001f94: SWAP1
00001f95: DUP2
00001f96: MSTORE
00001f97: PUSH1 0x40
00001f99: DUP1
00001f9a: DUP4
00001f9b: KECCAK256
00001f9c: SWAP4
00001f9d: SWAP1
00001f9e: SWAP4
00001f9f: SSTORE
00001fa0: PUSH1 0x13
00001fa2: SLOAD
00001fa3: PUSH1 0x14
00001fa5: SWAP1
00001fa6: SWAP2
00001fa7: MSTORE
00001fa8: SWAP2
00001fa9: SWAP1
00001faa: KECCAK256
00001fab: SSTORE
00001fac: JUMPDEST
00001fad: PUSH1 0x10
00001faf: SLOAD
00001fb0: TIMESTAMP
00001fb1: LT
00001fb2: PUSH2 0x2259
00001fb5: JUMPI
00001fb6: PUSH10 0x0d573ca1c3b1c9600000
00001fc1: PUSH1 0x0b
00001fc3: SSTORE
00001fc4: PUSH1 0x00
00001fc6: PUSH2 0x1fcd
00001fc9: PUSH2 0x10ec
00001fcc: JUMP
00001fcd: JUMPDEST
00001fce: SWAP1
00001fcf: POP
00001fd0: PUSH2 0x1fed
00001fd3: PUSH1 0x64
00001fd5: PUSH2 0x0958
00001fd8: DUP4
00001fd9: PUSH2 0xffff
00001fdc: AND
00001fdd: PUSH1 0x0b
00001fdf: SLOAD
00001fe0: PUSH2 0x2438
00001fe3: SWAP1
00001fe4: SWAP2
00001fe5: SWAP1
00001fe6: PUSH4 0xffffffff
00001feb: AND
00001fec: JUMP
00001fed: JUMPDEST
00001fee: PUSH1 0x0c
00001ff0: DUP2
00001ff1: SWAP1
00001ff2: SSTORE
00001ff3: PUSH1 0x0d
00001ff5: SLOAD
00001ff6: PUSH10 0x85685e51a4f1ddc00000
00002001: SWAP2
00002002: PUSH2 0x2011
00002005: SWAP2
00002006: SWAP1
00002007: PUSH4 0xffffffff
0000200c: PUSH2 0x24d3
0000200f: AND
00002010: JUMP
00002011: JUMPDEST
00002012: GT
00002013: ISZERO
00002014: PUSH2 0x2039
00002017: JUMPI
00002018: PUSH1 0x0d
0000201a: SLOAD
0000201b: PUSH2 0x2035
0000201e: SWAP1
0000201f: PUSH10 0x85685e51a4f1ddc00000
0000202a: SWAP1
0000202b: PUSH4 0xffffffff
00002030: PUSH2 0x23ef
00002033: AND
00002034: JUMP
00002035: JUMPDEST
00002036: PUSH1 0x0c
00002038: SSTORE
00002039: JUMPDEST
0000203a: PUSH1 0x0c
0000203c: SLOAD
0000203d: ISZERO
0000203e: PUSH2 0x2205
00002041: JUMPI
00002042: PUSH1 0x06
00002044: SLOAD
00002045: PUSH1 0x0c
00002047: SLOAD
00002048: PUSH1 0x40
0000204a: DUP1
0000204b: MLOAD
0000204c: PUSH4 0x40c10f19
00002051: PUSH1 0xe0
00002053: SHL
00002054: DUP2
00002055: MSTORE
00002056: ADDRESS
00002057: PUSH1 0x04
00002059: DUP3
0000205a: ADD
0000205b: MSTORE
0000205c: PUSH1 0x24
0000205e: DUP2
0000205f: ADD
00002060: SWAP3
00002061: SWAP1
00002062: SWAP3
00002063: MSTORE
00002064: MLOAD
00002065: PUSH1 0x01
00002067: PUSH1 0x01
00002069: PUSH1 0xa0
0000206b: SHL
0000206c: SUB
0000206d: SWAP1
0000206e: SWAP3
0000206f: AND
00002070: SWAP2
00002071: PUSH4 0x40c10f19
00002076: SWAP2
00002077: PUSH1 0x44
00002079: DUP1
0000207a: DUP3
0000207b: ADD
0000207c: SWAP3
0000207d: PUSH1 0x00
0000207f: SWAP3
00002080: SWAP1
00002081: SWAP2
00002082: SWAP1
00002083: DUP3
00002084: SWAP1
00002085: SUB
00002086: ADD
00002087: DUP2
00002088: DUP4
00002089: DUP8
0000208a: DUP1
0000208b: EXTCODESIZE
0000208c: ISZERO
0000208d: DUP1
0000208e: ISZERO
0000208f: PUSH2 0x2097
00002092: JUMPI
00002093: PUSH1 0x00
00002095: DUP1
00002096: REVERT
00002097: JUMPDEST
00002098: POP
00002099: GAS
0000209a: CALL
0000209b: ISZERO
0000209c: DUP1
0000209d: ISZERO
0000209e: PUSH2 0x20ab
000020a1: JUMPI
000020a2: RETURNDATASIZE
000020a3: PUSH1 0x00
000020a5: DUP1
000020a6: RETURNDATACOPY
000020a7: RETURNDATASIZE
000020a8: PUSH1 0x00
000020aa: REVERT
000020ab: JUMPDEST
000020ac: POP
000020ad: POP
000020ae: PUSH1 0x07
000020b0: SLOAD
000020b1: PUSH1 0x09
000020b3: SLOAD
000020b4: PUSH1 0x0c
000020b6: SLOAD
000020b7: PUSH1 0x01
000020b9: PUSH1 0x01
000020bb: PUSH1 0xa0
000020bd: SHL
000020be: SUB
000020bf: SWAP1
000020c0: SWAP3
000020c1: AND
000020c2: SWAP4
000020c3: POP
000020c4: PUSH4 0x40c10f19
000020c9: SWAP3
000020ca: POP
000020cb: ADDRESS
000020cc: SWAP2
000020cd: PUSH2 0x20db
000020d0: SWAP2
000020d1: PUSH4 0xffffffff
000020d6: PUSH2 0x2491
000020d9: AND
000020da: JUMP
000020db: JUMPDEST
000020dc: PUSH1 0x40
000020de: MLOAD
000020df: DUP4
000020e0: PUSH4 0xffffffff
000020e5: AND
000020e6: PUSH1 0xe0
000020e8: SHL
000020e9: DUP2
000020ea: MSTORE
000020eb: PUSH1 0x04
000020ed: ADD
000020ee: DUP1
000020ef: DUP4
000020f0: PUSH1 0x01
000020f2: PUSH1 0x01
000020f4: PUSH1 0xa0
000020f6: SHL
000020f7: SUB
000020f8: AND
000020f9: PUSH1 0x01
000020fb: PUSH1 0x01
000020fd: PUSH1 0xa0
000020ff: SHL
00002100: SUB
00002101: AND
00002102: DUP2
00002103: MSTORE
00002104: PUSH1 0x20
00002106: ADD
00002107: DUP3
00002108: DUP2
00002109: MSTORE
0000210a: PUSH1 0x20
0000210c: ADD
0000210d: SWAP3
0000210e: POP
0000210f: POP
00002110: POP
00002111: PUSH1 0x00
00002113: PUSH1 0x40
00002115: MLOAD
00002116: DUP1
00002117: DUP4
00002118: SUB
00002119: DUP2
0000211a: PUSH1 0x00
0000211c: DUP8
0000211d: DUP1
0000211e: EXTCODESIZE
0000211f: ISZERO
00002120: DUP1
00002121: ISZERO
00002122: PUSH2 0x212a
00002125: JUMPI
00002126: PUSH1 0x00
00002128: DUP1
00002129: REVERT
0000212a: JUMPDEST
0000212b: POP
0000212c: GAS
0000212d: CALL
0000212e: ISZERO
0000212f: DUP1
00002130: ISZERO
00002131: PUSH2 0x213e
00002134: JUMPI
00002135: RETURNDATASIZE
00002136: PUSH1 0x00
00002138: DUP1
00002139: RETURNDATACOPY
0000213a: RETURNDATASIZE
0000213b: PUSH1 0x00
0000213d: REVERT
0000213e: JUMPDEST
0000213f: POP
00002140: POP
00002141: PUSH1 0x08
00002143: SLOAD
00002144: PUSH1 0x0a
00002146: SLOAD
00002147: PUSH1 0x0c
00002149: SLOAD
0000214a: PUSH1 0x01
0000214c: PUSH1 0x01
0000214e: PUSH1 0xa0
00002150: SHL
00002151: SUB
00002152: SWAP1
00002153: SWAP3
00002154: AND
00002155: SWAP4
00002156: POP
00002157: PUSH4 0x40c10f19
0000215c: SWAP3
0000215d: POP
0000215e: ADDRESS
0000215f: SWAP2
00002160: PUSH2 0x216e
00002163: SWAP2
00002164: PUSH4 0xffffffff
00002169: PUSH2 0x2491
0000216c: AND
0000216d: JUMP
0000216e: JUMPDEST
0000216f: PUSH1 0x40
00002171: MLOAD
00002172: DUP4
00002173: PUSH4 0xffffffff
00002178: AND
00002179: PUSH1 0xe0
0000217b: SHL
0000217c: DUP2
0000217d: MSTORE
0000217e: PUSH1 0x04
00002180: ADD
00002181: DUP1
00002182: DUP4
00002183: PUSH1 0x01
00002185: PUSH1 0x01
00002187: PUSH1 0xa0
00002189: SHL
0000218a: SUB
0000218b: AND
0000218c: PUSH1 0x01
0000218e: PUSH1 0x01
00002190: PUSH1 0xa0
00002192: SHL
00002193: SUB
00002194: AND
00002195: DUP2
00002196: MSTORE
00002197: PUSH1 0x20
00002199: ADD
0000219a: DUP3
0000219b: DUP2
0000219c: MSTORE
0000219d: PUSH1 0x20
0000219f: ADD
000021a0: SWAP3
000021a1: POP
000021a2: POP
000021a3: POP
000021a4: PUSH1 0x00
000021a6: PUSH1 0x40
000021a8: MLOAD
000021a9: DUP1
000021aa: DUP4
000021ab: SUB
000021ac: DUP2
000021ad: PUSH1 0x00
000021af: DUP8
000021b0: DUP1
000021b1: EXTCODESIZE
000021b2: ISZERO
000021b3: DUP1
000021b4: ISZERO
000021b5: PUSH2 0x21bd
000021b8: JUMPI
000021b9: PUSH1 0x00
000021bb: DUP1
000021bc: REVERT
000021bd: JUMPDEST
000021be: POP
000021bf: GAS
000021c0: CALL
000021c1: ISZERO
000021c2: DUP1
000021c3: ISZERO
000021c4: PUSH2 0x21d1
000021c7: JUMPI
000021c8: RETURNDATASIZE
000021c9: PUSH1 0x00
000021cb: DUP1
000021cc: RETURNDATACOPY
000021cd: RETURNDATASIZE
000021ce: PUSH1 0x00
000021d0: REVERT
000021d1: JUMPDEST
000021d2: POP
000021d3: POP
000021d4: PUSH1 0x0c
000021d6: SLOAD
000021d7: PUSH1 0x0d
000021d9: SLOAD
000021da: PUSH2 0x21eb
000021dd: SWAP4
000021de: POP
000021df: SWAP2
000021e0: POP
000021e1: PUSH4 0xffffffff
000021e6: PUSH2 0x24d3
000021e9: AND
000021ea: JUMP
000021eb: JUMPDEST
000021ec: PUSH1 0x0d
000021ee: SSTORE
000021ef: PUSH1 0x0e
000021f1: DUP1
000021f2: SLOAD
000021f3: PUSH1 0xff
000021f5: DUP1
000021f6: DUP3
000021f7: AND
000021f8: PUSH1 0x01
000021fa: ADD
000021fb: AND
000021fc: PUSH1 0xff
000021fe: NOT
000021ff: SWAP1
00002200: SWAP2
00002201: AND
00002202: OR
00002203: SWAP1
00002204: SSTORE
00002205: JUMPDEST
00002206: PUSH1 0x0c
00002208: SLOAD
00002209: PUSH2 0x221b
0000220c: SWAP1
0000220d: PUSH3 0x093a80
00002211: PUSH4 0xffffffff
00002216: PUSH2 0x2491
00002219: AND
0000221a: JUMP
0000221b: JUMPDEST
0000221c: PUSH1 0x11
0000221e: SSTORE
0000221f: PUSH2 0x2231
00002222: TIMESTAMP
00002223: PUSH3 0x093a80
00002227: PUSH4 0xffffffff
0000222c: PUSH2 0x24d3
0000222f: AND
00002230: JUMP
00002231: JUMPDEST
00002232: PUSH1 0x10
00002234: SSTORE
00002235: PUSH1 0x0c
00002237: SLOAD
00002238: PUSH1 0x40
0000223a: DUP1
0000223b: MLOAD
0000223c: SWAP2
0000223d: DUP3
0000223e: MSTORE
0000223f: MLOAD
00002240: PUSH1 0x00
00002242: DUP1
00002243: MLOAD
00002244: PUSH1 0x20
00002246: PUSH2 0x2be6
00002249: DUP4
0000224a: CODECOPY
0000224b: DUP2
0000224c: MLOAD
0000224d: SWAP2
0000224e: MSTORE
0000224f: SWAP2
00002250: DUP2
00002251: SWAP1
00002252: SUB
00002253: PUSH1 0x20
00002255: ADD
00002256: SWAP1
00002257: LOG1
00002258: POP
00002259: JUMPDEST
0000225a: PUSH1 0x0f
0000225c: SLOAD
0000225d: TIMESTAMP
0000225e: GT
0000225f: PUSH2 0x229b
00002262: JUMPI
00002263: PUSH1 0x40
00002265: DUP1
00002266: MLOAD
00002267: PUSH3 0x461bcd
0000226b: PUSH1 0xe5
0000226d: SHL
0000226e: DUP2
0000226f: MSTORE
00002270: PUSH1 0x20
00002272: PUSH1 0x04
00002274: DUP3
00002275: ADD
00002276: MSTORE
00002277: PUSH1 0x09
00002279: PUSH1 0x24
0000227b: DUP3
0000227c: ADD
0000227d: MSTORE
0000227e: PUSH9 0x1b9bdd081cdd185c9d
00002288: PUSH1 0xba
0000228a: SHL
0000228b: PUSH1 0x44
0000228d: DUP3
0000228e: ADD
0000228f: MSTORE
00002290: SWAP1
00002291: MLOAD
00002292: SWAP1
00002293: DUP2
00002294: SWAP1
00002295: SUB
00002296: PUSH1 0x64
00002298: ADD
00002299: SWAP1
0000229a: REVERT
0000229b: JUMPDEST
0000229c: PUSH1 0x00
0000229e: DUP3
0000229f: GT
000022a0: PUSH2 0x22e4
000022a3: JUMPI
000022a4: PUSH1 0x40
000022a6: DUP1
000022a7: MLOAD
000022a8: PUSH3 0x461bcd
000022ac: PUSH1 0xe5
000022ae: SHL
000022af: DUP2
000022b0: MSTORE
000022b1: PUSH1 0x20
000022b3: PUSH1 0x04
000022b5: DUP3
000022b6: ADD
000022b7: MSTORE
000022b8: PUSH1 0x11
000022ba: PUSH1 0x24
000022bc: DUP3
000022bd: ADD
000022be: MSTORE
000022bf: PUSH17 0x043616e6e6f74207769746864726177203
000022d1: PUSH1 0x7c
000022d3: SHL
000022d4: PUSH1 0x44
000022d6: DUP3
000022d7: ADD
000022d8: MSTORE
000022d9: SWAP1
000022da: MLOAD
000022db: SWAP1
000022dc: DUP2
000022dd: SWAP1
000022de: SUB
000022df: PUSH1 0x64
000022e1: ADD
000022e2: SWAP1
000022e3: REVERT
000022e4: JUMPDEST
000022e5: PUSH1 0x01
000022e7: PUSH1 0x01
000022e9: PUSH1 0xa0
000022eb: SHL
000022ec: SUB
000022ed: DUP4
000022ee: AND
000022ef: PUSH1 0x00
000022f1: SWAP1
000022f2: DUP2
000022f3: MSTORE
000022f4: PUSH1 0x20
000022f6: DUP1
000022f7: MSTORE
000022f8: PUSH1 0x40
000022fa: SWAP1
000022fb: KECCAK256
000022fc: SLOAD
000022fd: PUSH2 0x2342
00002300: JUMPI
00002301: PUSH1 0x40
00002303: DUP1
00002304: MLOAD
00002305: PUSH3 0x461bcd
00002309: PUSH1 0xe5
0000230b: SHL
0000230c: DUP2
0000230d: MSTORE
0000230e: PUSH1 0x20
00002310: PUSH1 0x04
00002312: DUP3
00002313: ADD
00002314: MSTORE
00002315: PUSH1 0x12
00002317: PUSH1 0x24
00002319: DUP3
0000231a: ADD
0000231b: MSTORE
0000231c: PUSH18 0x2737ba1039bab83837b93a32b21031b7b4b7
0000232f: PUSH1 0x71
00002331: SHL
00002332: PUSH1 0x44
00002334: DUP3
00002335: ADD
00002336: MSTORE
00002337: SWAP1
00002338: MLOAD
00002339: SWAP1
0000233a: DUP2
0000233b: SWAP1
0000233c: SUB
0000233d: PUSH1 0x64
0000233f: ADD
00002340: SWAP1
00002341: REVERT
00002342: JUMPDEST
00002343: PUSH2 0x234c
00002346: DUP4
00002347: DUP4
00002348: PUSH2 0x2779
0000234b: JUMP
0000234c: JUMPDEST
0000234d: PUSH1 0x40
0000234f: DUP1
00002350: MLOAD
00002351: DUP4
00002352: DUP2
00002353: MSTORE
00002354: SWAP1
00002355: MLOAD
00002356: PUSH1 0x01
00002358: PUSH1 0x01
0000235a: PUSH1 0xa0
0000235c: SHL
0000235d: SUB
0000235e: DUP6
0000235f: AND
00002360: SWAP2
00002361: CALLER
00002362: SWAP2
00002363: PUSH32 0xd1c19fbcd4551a5edfb66d43d2e337c04837afda3482b42bdf569a8fccdae5fb
00002384: SWAP2
00002385: DUP2
00002386: SWAP1
00002387: SUB
00002388: PUSH1 0x20
0000238a: ADD
0000238b: SWAP1
0000238c: LOG3
0000238d: POP
0000238e: POP
0000238f: POP
00002390: JUMP
00002391: JUMPDEST
00002392: PUSH1 0x01
00002394: PUSH1 0x01
00002396: PUSH1 0xa0
00002398: SHL
00002399: SUB
0000239a: SWAP2
0000239b: DUP3
0000239c: AND
0000239d: PUSH1 0x00
0000239f: SWAP1
000023a0: DUP2
000023a1: MSTORE
000023a2: PUSH1 0x01
000023a4: PUSH1 0x20
000023a6: SWAP1
000023a7: DUP2
000023a8: MSTORE
000023a9: PUSH1 0x40
000023ab: DUP1
000023ac: DUP4
000023ad: KECCAK256
000023ae: SWAP4
000023af: SWAP1
000023b0: SWAP5
000023b1: AND
000023b2: DUP3
000023b3: MSTORE
000023b4: SWAP2
000023b5: SWAP1
000023b6: SWAP2
000023b7: MSTORE
000023b8: KECCAK256
000023b9: SLOAD
000023ba: SWAP1
000023bb: JUMP
000023bc: JUMPDEST
000023bd: PUSH1 0x00
000023bf: PUSH2 0x0970
000023c2: PUSH2 0x23ca
000023c5: DUP4
000023c6: PUSH2 0x08f0
000023c9: JUMP
000023ca: JUMPDEST
000023cb: PUSH1 0x01
000023cd: PUSH1 0x01
000023cf: PUSH1 0xa0
000023d1: SHL
000023d2: SUB
000023d3: DUP5
000023d4: AND
000023d5: PUSH1 0x00
000023d7: SWAP1
000023d8: DUP2
000023d9: MSTORE
000023da: PUSH1 0x17
000023dc: PUSH1 0x20
000023de: MSTORE
000023df: PUSH1 0x40
000023e1: SWAP1
000023e2: KECCAK256
000023e3: SLOAD
000023e4: SWAP1
000023e5: PUSH4 0xffffffff
000023ea: PUSH2 0x24d3
000023ed: AND
000023ee: JUMP
000023ef: JUMPDEST
000023f0: PUSH1 0x00
000023f2: PUSH2 0x2431
000023f5: DUP4
000023f6: DUP4
000023f7: PUSH1 0x40
000023f9: MLOAD
000023fa: DUP1
000023fb: PUSH1 0x40
000023fd: ADD
000023fe: PUSH1 0x40
00002400: MSTORE
00002401: DUP1
00002402: PUSH1 0x1e
00002404: DUP2
00002405: MSTORE
00002406: PUSH1 0x20
00002408: ADD
00002409: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
0000242a: DUP2
0000242b: MSTORE
0000242c: POP
0000242d: PUSH2 0x2815
00002430: JUMP
00002431: JUMPDEST
00002432: SWAP4
00002433: SWAP3
00002434: POP
00002435: POP
00002436: POP
00002437: JUMP
00002438: JUMPDEST
00002439: PUSH1 0x00
0000243b: DUP3
0000243c: PUSH2 0x2447
0000243f: JUMPI
00002440: POP
00002441: PUSH1 0x00
00002443: PUSH2 0x0970
00002446: JUMP
00002447: JUMPDEST
00002448: DUP3
00002449: DUP3
0000244a: MUL
0000244b: DUP3
0000244c: DUP5
0000244d: DUP3
0000244e: DUP2
0000244f: PUSH2 0x2454
00002452: JUMPI
00002453: INVALID
00002454: JUMPDEST
00002455: DIV
00002456: EQ
00002457: PUSH2 0x2431
0000245a: JUMPI
0000245b: PUSH1 0x40
0000245d: MLOAD
0000245e: PUSH3 0x461bcd
00002462: PUSH1 0xe5
00002464: SHL
00002465: DUP2
00002466: MSTORE
00002467: PUSH1 0x04
00002469: ADD
0000246a: DUP1
0000246b: DUP1
0000246c: PUSH1 0x20
0000246e: ADD
0000246f: DUP3
00002470: DUP2
00002471: SUB
00002472: DUP3
00002473: MSTORE
00002474: PUSH1 0x21
00002476: DUP2
00002477: MSTORE
00002478: PUSH1 0x20
0000247a: ADD
0000247b: DUP1
0000247c: PUSH2 0x2c06
0000247f: PUSH1 0x21
00002481: SWAP2
00002482: CODECOPY
00002483: PUSH1 0x40
00002485: ADD
00002486: SWAP2
00002487: POP
00002488: POP
00002489: PUSH1 0x40
0000248b: MLOAD
0000248c: DUP1
0000248d: SWAP2
0000248e: SUB
0000248f: SWAP1
00002490: REVERT
00002491: JUMPDEST
00002492: PUSH1 0x00
00002494: PUSH2 0x2431
00002497: DUP4
00002498: DUP4
00002499: PUSH1 0x40
0000249b: MLOAD
0000249c: DUP1
0000249d: PUSH1 0x40
0000249f: ADD
000024a0: PUSH1 0x40
000024a2: MSTORE
000024a3: DUP1
000024a4: PUSH1 0x1a
000024a6: DUP2
000024a7: MSTORE
000024a8: PUSH1 0x20
000024aa: ADD
000024ab: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
000024cc: DUP2
000024cd: MSTORE
000024ce: POP
000024cf: PUSH2 0x28ac
000024d2: JUMP
000024d3: JUMPDEST
000024d4: PUSH1 0x00
000024d6: DUP3
000024d7: DUP3
000024d8: ADD
000024d9: DUP4
000024da: DUP2
000024db: LT
000024dc: ISZERO
000024dd: PUSH2 0x2431
000024e0: JUMPI
000024e1: PUSH1 0x40
000024e3: DUP1
000024e4: MLOAD
000024e5: PUSH3 0x461bcd
000024e9: PUSH1 0xe5
000024eb: SHL
000024ec: DUP2
000024ed: MSTORE
000024ee: PUSH1 0x20
000024f0: PUSH1 0x04
000024f2: DUP3
000024f3: ADD
000024f4: MSTORE
000024f5: PUSH1 0x1b
000024f7: PUSH1 0x24
000024f9: DUP3
000024fa: ADD
000024fb: MSTORE
000024fc: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
0000251d: PUSH1 0x44
0000251f: DUP3
00002520: ADD
00002521: MSTORE
00002522: SWAP1
00002523: MLOAD
00002524: SWAP1
00002525: DUP2
00002526: SWAP1
00002527: SUB
00002528: PUSH1 0x64
0000252a: ADD
0000252b: SWAP1
0000252c: REVERT
0000252d: JUMPDEST
0000252e: PUSH1 0x40
00002530: DUP1
00002531: MLOAD
00002532: PUSH1 0x01
00002534: PUSH1 0x01
00002536: PUSH1 0xa0
00002538: SHL
00002539: SUB
0000253a: DUP5
0000253b: AND
0000253c: PUSH1 0x24
0000253e: DUP3
0000253f: ADD
00002540: MSTORE
00002541: PUSH1 0x44
00002543: DUP1
00002544: DUP3
00002545: ADD
00002546: DUP5
00002547: SWAP1
00002548: MSTORE
00002549: DUP3
0000254a: MLOAD
0000254b: DUP1
0000254c: DUP4
0000254d: SUB
0000254e: SWAP1
0000254f: SWAP2
00002550: ADD
00002551: DUP2
00002552: MSTORE
00002553: PUSH1 0x64
00002555: SWAP1
00002556: SWAP2
00002557: ADD
00002558: SWAP1
00002559: SWAP2
0000255a: MSTORE
0000255b: PUSH1 0x20
0000255d: DUP2
0000255e: ADD
0000255f: DUP1
00002560: MLOAD
00002561: PUSH1 0x01
00002563: PUSH1 0x01
00002565: PUSH1 0xe0
00002567: SHL
00002568: SUB
00002569: AND
0000256a: PUSH4 0xa9059cbb
0000256f: PUSH1 0xe0
00002571: SHL
00002572: OR
00002573: SWAP1
00002574: MSTORE
00002575: PUSH2 0x257f
00002578: SWAP1
00002579: DUP5
0000257a: SWAP1
0000257b: PUSH2 0x2911
0000257e: JUMP
0000257f: JUMPDEST
00002580: POP
00002581: POP
00002582: POP
00002583: JUMP
00002584: JUMPDEST
00002585: CALLER
00002586: PUSH2 0x258e
00002589: DUP2
0000258a: PUSH2 0x2ac9
0000258d: JUMP
0000258e: JUMPDEST
0000258f: ISZERO
00002590: PUSH2 0x25ca
00002593: JUMPI
00002594: PUSH1 0x40
00002596: MLOAD
00002597: PUSH3 0x461bcd
0000259b: PUSH1 0xe5
0000259d: SHL
0000259e: DUP2
0000259f: MSTORE
000025a0: PUSH1 0x04
000025a2: ADD
000025a3: DUP1
000025a4: DUP1
000025a5: PUSH1 0x20
000025a7: ADD
000025a8: DUP3
000025a9: DUP2
000025aa: SUB
000025ab: DUP3
000025ac: MSTORE
000025ad: PUSH1 0x3e
000025af: DUP2
000025b0: MSTORE
000025b1: PUSH1 0x20
000025b3: ADD
000025b4: DUP1
000025b5: PUSH2 0x2b60
000025b8: PUSH1 0x3e
000025ba: SWAP2
000025bb: CODECOPY
000025bc: PUSH1 0x40
000025be: ADD
000025bf: SWAP2
000025c0: POP
000025c1: POP
000025c2: PUSH1 0x40
000025c4: MLOAD
000025c5: DUP1
000025c6: SWAP2
000025c7: SUB
000025c8: SWAP1
000025c9: REVERT
000025ca: JUMPDEST
000025cb: ORIGIN
000025cc: PUSH1 0x01
000025ce: PUSH1 0x01
000025d0: PUSH1 0xa0
000025d2: SHL
000025d3: SUB
000025d4: DUP3
000025d5: AND
000025d6: EQ
000025d7: PUSH2 0x2617
000025da: JUMPI
000025db: PUSH1 0x40
000025dd: DUP1
000025de: MLOAD
000025df: PUSH3 0x461bcd
000025e3: PUSH1 0xe5
000025e5: SHL
000025e6: DUP2
000025e7: MSTORE
000025e8: PUSH1 0x20
000025ea: PUSH1 0x04
000025ec: DUP3
000025ed: ADD
000025ee: MSTORE
000025ef: PUSH1 0x0d
000025f1: PUSH1 0x24
000025f3: DUP3
000025f4: ADD
000025f5: MSTORE
000025f6: PUSH13 0x20b7323932961039ba30b43817
00002604: PUSH1 0x99
00002606: SHL
00002607: PUSH1 0x44
00002609: DUP3
0000260a: ADD
0000260b: MSTORE
0000260c: SWAP1
0000260d: MLOAD
0000260e: SWAP1
0000260f: DUP2
00002610: SWAP1
00002611: SUB
00002612: PUSH1 0x64
00002614: ADD
00002615: SWAP1
00002616: REVERT
00002617: JUMPDEST
00002618: PUSH1 0x01
0000261a: PUSH1 0x01
0000261c: PUSH1 0xa0
0000261e: SHL
0000261f: SUB
00002620: DUP4
00002621: AND
00002622: PUSH1 0x00
00002624: SWAP1
00002625: DUP2
00002626: MSTORE
00002627: PUSH1 0x20
00002629: DUP2
0000262a: SWAP1
0000262b: MSTORE
0000262c: PUSH1 0x40
0000262e: SWAP1
0000262f: KECCAK256
00002630: SLOAD
00002631: PUSH2 0x2640
00002634: SWAP1
00002635: DUP4
00002636: PUSH4 0xffffffff
0000263b: PUSH2 0x24d3
0000263e: AND
0000263f: JUMP
00002640: JUMPDEST
00002641: PUSH1 0x01
00002643: PUSH1 0x01
00002645: PUSH1 0xa0
00002647: SHL
00002648: SUB
00002649: DUP1
0000264a: DUP6
0000264b: AND
0000264c: PUSH1 0x00
0000264e: SWAP1
0000264f: DUP2
00002650: MSTORE
00002651: PUSH1 0x20
00002653: DUP2
00002654: DUP2
00002655: MSTORE
00002656: PUSH1 0x40
00002658: DUP1
00002659: DUP4
0000265a: KECCAK256
0000265b: SWAP5
0000265c: SWAP1
0000265d: SWAP5
0000265e: SSTORE
0000265f: PUSH1 0x01
00002661: DUP2
00002662: MSTORE
00002663: DUP4
00002664: DUP3
00002665: KECCAK256
00002666: SWAP3
00002667: DUP6
00002668: AND
00002669: DUP3
0000266a: MSTORE
0000266b: SWAP2
0000266c: SWAP1
0000266d: SWAP2
0000266e: MSTORE
0000266f: KECCAK256
00002670: SLOAD
00002671: PUSH2 0x2680
00002674: SWAP1
00002675: DUP4
00002676: PUSH4 0xffffffff
0000267b: PUSH2 0x24d3
0000267e: AND
0000267f: JUMP
00002680: JUMPDEST
00002681: PUSH1 0x01
00002683: PUSH1 0x01
00002685: PUSH1 0xa0
00002687: SHL
00002688: SUB
00002689: DUP1
0000268a: DUP6
0000268b: AND
0000268c: PUSH1 0x00
0000268e: DUP2
0000268f: DUP2
00002690: MSTORE
00002691: PUSH1 0x01
00002693: PUSH1 0x20
00002695: SWAP1
00002696: DUP2
00002697: MSTORE
00002698: PUSH1 0x40
0000269a: DUP1
0000269b: DUP4
0000269c: KECCAK256
0000269d: SWAP5
0000269e: DUP8
0000269f: AND
000026a0: DUP4
000026a1: MSTORE
000026a2: SWAP4
000026a3: SWAP1
000026a4: MSTORE
000026a5: SWAP2
000026a6: SWAP1
000026a7: SWAP2
000026a8: KECCAK256
000026a9: SWAP2
000026aa: SWAP1
000026ab: SWAP2
000026ac: SSTORE
000026ad: PUSH2 0x257f
000026b0: SWAP1
000026b1: DUP3
000026b2: ADDRESS
000026b3: DUP6
000026b4: PUSH4 0xffffffff
000026b9: PUSH2 0x2b05
000026bc: AND
000026bd: JUMP
000026be: JUMPDEST
000026bf: CALLER
000026c0: SWAP1
000026c1: JUMP
000026c2: JUMPDEST
000026c3: PUSH1 0x00
000026c5: DUP2
000026c6: DUP4
000026c7: LT
000026c8: PUSH2 0x26d1
000026cb: JUMPI
000026cc: DUP2
000026cd: PUSH2 0x2431
000026d0: JUMP
000026d1: JUMPDEST
000026d2: POP
000026d3: SWAP1
000026d4: SWAP2
000026d5: SWAP1
000026d6: POP
000026d7: JUMP
000026d8: JUMPDEST
000026d9: PUSH1 0x01
000026db: PUSH1 0x01
000026dd: PUSH1 0xa0
000026df: SHL
000026e0: SUB
000026e1: DUP2
000026e2: AND
000026e3: PUSH2 0x271d
000026e6: JUMPI
000026e7: PUSH1 0x40
000026e9: MLOAD
000026ea: PUSH3 0x461bcd
000026ee: PUSH1 0xe5
000026f0: SHL
000026f1: DUP2
000026f2: MSTORE
000026f3: PUSH1 0x04
000026f5: ADD
000026f6: DUP1
000026f7: DUP1
000026f8: PUSH1 0x20
000026fa: ADD
000026fb: DUP3
000026fc: DUP2
000026fd: SUB
000026fe: DUP3
000026ff: MSTORE
00002700: PUSH1 0x26
00002702: DUP2
00002703: MSTORE
00002704: PUSH1 0x20
00002706: ADD
00002707: DUP1
00002708: PUSH2 0x2b9e
0000270b: PUSH1 0x26
0000270d: SWAP2
0000270e: CODECOPY
0000270f: PUSH1 0x40
00002711: ADD
00002712: SWAP2
00002713: POP
00002714: POP
00002715: PUSH1 0x40
00002717: MLOAD
00002718: DUP1
00002719: SWAP2
0000271a: SUB
0000271b: SWAP1
0000271c: REVERT
0000271d: JUMPDEST
0000271e: PUSH1 0x02
00002720: SLOAD
00002721: PUSH1 0x40
00002723: MLOAD
00002724: PUSH1 0x01
00002726: PUSH1 0x01
00002728: PUSH1 0xa0
0000272a: SHL
0000272b: SUB
0000272c: DUP1
0000272d: DUP5
0000272e: AND
0000272f: SWAP3
00002730: AND
00002731: SWAP1
00002732: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002753: SWAP1
00002754: PUSH1 0x00
00002756: SWAP1
00002757: LOG3
00002758: PUSH1 0x02
0000275a: DUP1
0000275b: SLOAD
0000275c: PUSH1 0x01
0000275e: PUSH1 0x01
00002760: PUSH1 0xa0
00002762: SHL
00002763: SUB
00002764: NOT
00002765: AND
00002766: PUSH1 0x01
00002768: PUSH1 0x01
0000276a: PUSH1 0xa0
0000276c: SHL
0000276d: SUB
0000276e: SWAP3
0000276f: SWAP1
00002770: SWAP3
00002771: AND
00002772: SWAP2
00002773: SWAP1
00002774: SWAP2
00002775: OR
00002776: SWAP1
00002777: SSTORE
00002778: JUMP
00002779: JUMPDEST
0000277a: PUSH1 0x01
0000277c: PUSH1 0x01
0000277e: PUSH1 0xa0
00002780: SHL
00002781: SUB
00002782: DUP3
00002783: AND
00002784: PUSH1 0x00
00002786: SWAP1
00002787: DUP2
00002788: MSTORE
00002789: PUSH1 0x20
0000278b: DUP2
0000278c: SWAP1
0000278d: MSTORE
0000278e: PUSH1 0x40
00002790: SWAP1
00002791: KECCAK256
00002792: SLOAD
00002793: PUSH2 0x27a2
00002796: SWAP1
00002797: DUP3
00002798: PUSH4 0xffffffff
0000279d: PUSH2 0x23ef
000027a0: AND
000027a1: JUMP
000027a2: JUMPDEST
000027a3: PUSH1 0x01
000027a5: PUSH1 0x01
000027a7: PUSH1 0xa0
000027a9: SHL
000027aa: SUB
000027ab: DUP4
000027ac: AND
000027ad: PUSH1 0x00
000027af: SWAP1
000027b0: DUP2
000027b1: MSTORE
000027b2: PUSH1 0x20
000027b4: DUP2
000027b5: DUP2
000027b6: MSTORE
000027b7: PUSH1 0x40
000027b9: DUP1
000027ba: DUP4
000027bb: KECCAK256
000027bc: SWAP4
000027bd: SWAP1
000027be: SWAP4
000027bf: SSTORE
000027c0: PUSH1 0x01
000027c2: DUP2
000027c3: MSTORE
000027c4: DUP3
000027c5: DUP3
000027c6: KECCAK256
000027c7: CALLER
000027c8: DUP4
000027c9: MSTORE
000027ca: SWAP1
000027cb: MSTORE
000027cc: KECCAK256
000027cd: SLOAD
000027ce: PUSH2 0x27dd
000027d1: SWAP1
000027d2: DUP3
000027d3: PUSH4 0xffffffff
000027d8: PUSH2 0x23ef
000027db: AND
000027dc: JUMP
000027dd: JUMPDEST
000027de: PUSH1 0x01
000027e0: PUSH1 0x01
000027e2: PUSH1 0xa0
000027e4: SHL
000027e5: SUB
000027e6: DUP4
000027e7: AND
000027e8: PUSH1 0x00
000027ea: DUP2
000027eb: DUP2
000027ec: MSTORE
000027ed: PUSH1 0x01
000027ef: PUSH1 0x20
000027f1: SWAP1
000027f2: DUP2
000027f3: MSTORE
000027f4: PUSH1 0x40
000027f6: DUP1
000027f7: DUP4
000027f8: KECCAK256
000027f9: CALLER
000027fa: DUP1
000027fb: DUP6
000027fc: MSTORE
000027fd: SWAP3
000027fe: MSTORE
000027ff: SWAP1
00002800: SWAP2
00002801: KECCAK256
00002802: SWAP3
00002803: SWAP1
00002804: SWAP3
00002805: SSTORE
00002806: PUSH2 0x1ab7
00002809: SWAP2
0000280a: DUP4
0000280b: PUSH4 0xffffffff
00002810: PUSH2 0x252d
00002813: AND
00002814: JUMP
00002815: JUMPDEST
00002816: PUSH1 0x00
00002818: DUP2
00002819: DUP5
0000281a: DUP5
0000281b: GT
0000281c: ISZERO
0000281d: PUSH2 0x28a4
00002820: JUMPI
00002821: PUSH1 0x40
00002823: MLOAD
00002824: PUSH3 0x461bcd
00002828: PUSH1 0xe5
0000282a: SHL
0000282b: DUP2
0000282c: MSTORE
0000282d: PUSH1 0x04
0000282f: ADD
00002830: DUP1
00002831: DUP1
00002832: PUSH1 0x20
00002834: ADD
00002835: DUP3
00002836: DUP2
00002837: SUB
00002838: DUP3
00002839: MSTORE
0000283a: DUP4
0000283b: DUP2
0000283c: DUP2
0000283d: MLOAD
0000283e: DUP2
0000283f: MSTORE
00002840: PUSH1 0x20
00002842: ADD
00002843: SWAP2
00002844: POP
00002845: DUP1
00002846: MLOAD
00002847: SWAP1
00002848: PUSH1 0x20
0000284a: ADD
0000284b: SWAP1
0000284c: DUP1
0000284d: DUP4
0000284e: DUP4
0000284f: PUSH1 0x00
00002851: JUMPDEST
00002852: DUP4
00002853: DUP2
00002854: LT
00002855: ISZERO
00002856: PUSH2 0x2869
00002859: JUMPI
0000285a: DUP2
0000285b: DUP2
0000285c: ADD
0000285d: MLOAD
0000285e: DUP4
0000285f: DUP3
00002860: ADD
00002861: MSTORE
00002862: PUSH1 0x20
00002864: ADD
00002865: PUSH2 0x2851
00002868: JUMP
00002869: JUMPDEST
0000286a: POP
0000286b: POP
0000286c: POP
0000286d: POP
0000286e: SWAP1
0000286f: POP
00002870: SWAP1
00002871: DUP2
00002872: ADD
00002873: SWAP1
00002874: PUSH1 0x1f
00002876: AND
00002877: DUP1
00002878: ISZERO
00002879: PUSH2 0x2896
0000287c: JUMPI
0000287d: DUP1
0000287e: DUP3
0000287f: SUB
00002880: DUP1
00002881: MLOAD
00002882: PUSH1 0x01
00002884: DUP4
00002885: PUSH1 0x20
00002887: SUB
00002888: PUSH2 0x0100
0000288b: EXP
0000288c: SUB
0000288d: NOT
0000288e: AND
0000288f: DUP2
00002890: MSTORE
00002891: PUSH1 0x20
00002893: ADD
00002894: SWAP2
00002895: POP
00002896: JUMPDEST
00002897: POP
00002898: SWAP3
00002899: POP
0000289a: POP
0000289b: POP
0000289c: PUSH1 0x40
0000289e: MLOAD
0000289f: DUP1
000028a0: SWAP2
000028a1: SUB
000028a2: SWAP1
000028a3: REVERT
000028a4: JUMPDEST
000028a5: POP
000028a6: POP
000028a7: POP
000028a8: SWAP1
000028a9: SUB
000028aa: SWAP1
000028ab: JUMP
000028ac: JUMPDEST
000028ad: PUSH1 0x00
000028af: DUP2
000028b0: DUP4
000028b1: PUSH2 0x28fb
000028b4: JUMPI
000028b5: PUSH1 0x40
000028b7: MLOAD
000028b8: PUSH3 0x461bcd
000028bc: PUSH1 0xe5
000028be: SHL
000028bf: DUP2
000028c0: MSTORE
000028c1: PUSH1 0x20
000028c3: PUSH1 0x04
000028c5: DUP3
000028c6: ADD
000028c7: DUP2
000028c8: DUP2
000028c9: MSTORE
000028ca: DUP4
000028cb: MLOAD
000028cc: PUSH1 0x24
000028ce: DUP5
000028cf: ADD
000028d0: MSTORE
000028d1: DUP4
000028d2: MLOAD
000028d3: SWAP1
000028d4: SWAP3
000028d5: DUP4
000028d6: SWAP3
000028d7: PUSH1 0x44
000028d9: SWAP1
000028da: SWAP2
000028db: ADD
000028dc: SWAP2
000028dd: SWAP1
000028de: DUP6
000028df: ADD
000028e0: SWAP1
000028e1: DUP1
000028e2: DUP4
000028e3: DUP4
000028e4: PUSH1 0x00
000028e6: DUP4
000028e7: ISZERO
000028e8: PUSH2 0x2869
000028eb: JUMPI
000028ec: DUP2
000028ed: DUP2
000028ee: ADD
000028ef: MLOAD
000028f0: DUP4
000028f1: DUP3
000028f2: ADD
000028f3: MSTORE
000028f4: PUSH1 0x20
000028f6: ADD
000028f7: PUSH2 0x2851
000028fa: JUMP
000028fb: JUMPDEST
000028fc: POP
000028fd: PUSH1 0x00
000028ff: DUP4
00002900: DUP6
00002901: DUP2
00002902: PUSH2 0x2907
00002905: JUMPI
00002906: INVALID
00002907: JUMPDEST
00002908: DIV
00002909: SWAP6
0000290a: SWAP5
0000290b: POP
0000290c: POP
0000290d: POP
0000290e: POP
0000290f: POP
00002910: JUMP
00002911: JUMPDEST
00002912: PUSH2 0x2923
00002915: DUP3
00002916: PUSH1 0x01
00002918: PUSH1 0x01
0000291a: PUSH1 0xa0
0000291c: SHL
0000291d: SUB
0000291e: AND
0000291f: PUSH2 0x2ac9
00002922: JUMP
00002923: JUMPDEST
00002924: PUSH2 0x2974
00002927: JUMPI
00002928: PUSH1 0x40
0000292a: DUP1
0000292b: MLOAD
0000292c: PUSH3 0x461bcd
00002930: PUSH1 0xe5
00002932: SHL
00002933: DUP2
00002934: MSTORE
00002935: PUSH1 0x20
00002937: PUSH1 0x04
00002939: DUP3
0000293a: ADD
0000293b: MSTORE
0000293c: PUSH1 0x1f
0000293e: PUSH1 0x24
00002940: DUP3
00002941: ADD
00002942: MSTORE
00002943: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400
00002964: PUSH1 0x44
00002966: DUP3
00002967: ADD
00002968: MSTORE
00002969: SWAP1
0000296a: MLOAD
0000296b: SWAP1
0000296c: DUP2
0000296d: SWAP1
0000296e: SUB
0000296f: PUSH1 0x64
00002971: ADD
00002972: SWAP1
00002973: REVERT
00002974: JUMPDEST
00002975: PUSH1 0x00
00002977: PUSH1 0x60
00002979: DUP4
0000297a: PUSH1 0x01
0000297c: PUSH1 0x01
0000297e: PUSH1 0xa0
00002980: SHL
00002981: SUB
00002982: AND
00002983: DUP4
00002984: PUSH1 0x40
00002986: MLOAD
00002987: DUP1
00002988: DUP3
00002989: DUP1
0000298a: MLOAD
0000298b: SWAP1
0000298c: PUSH1 0x20
0000298e: ADD
0000298f: SWAP1
00002990: DUP1
00002991: DUP4
00002992: DUP4
00002993: JUMPDEST
00002994: PUSH1 0x20
00002996: DUP4
00002997: LT
00002998: PUSH2 0x29b2
0000299b: JUMPI
0000299c: DUP1
0000299d: MLOAD
0000299e: DUP3
0000299f: MSTORE
000029a0: PUSH1 0x1f
000029a2: NOT
000029a3: SWAP1
000029a4: SWAP3
000029a5: ADD
000029a6: SWAP2
000029a7: PUSH1 0x20
000029a9: SWAP2
000029aa: DUP3
000029ab: ADD
000029ac: SWAP2
000029ad: ADD
000029ae: PUSH2 0x2993
000029b1: JUMP
000029b2: JUMPDEST
000029b3: PUSH1 0x01
000029b5: DUP4
000029b6: PUSH1 0x20
000029b8: SUB
000029b9: PUSH2 0x0100
000029bc: EXP
000029bd: SUB
000029be: DUP1
000029bf: NOT
000029c0: DUP3
000029c1: MLOAD
000029c2: AND
000029c3: DUP2
000029c4: DUP5
000029c5: MLOAD
000029c6: AND
000029c7: DUP1
000029c8: DUP3
000029c9: OR
000029ca: DUP6
000029cb: MSTORE
000029cc: POP
000029cd: POP
000029ce: POP
000029cf: POP
000029d0: POP
000029d1: POP
000029d2: SWAP1
000029d3: POP
000029d4: ADD
000029d5: SWAP2
000029d6: POP
000029d7: POP
000029d8: PUSH1 0x00
000029da: PUSH1 0x40
000029dc: MLOAD
000029dd: DUP1
000029de: DUP4
000029df: SUB
000029e0: DUP2
000029e1: PUSH1 0x00
000029e3: DUP7
000029e4: GAS
000029e5: CALL
000029e6: SWAP2
000029e7: POP
000029e8: POP
000029e9: RETURNDATASIZE
000029ea: DUP1
000029eb: PUSH1 0x00
000029ed: DUP2
000029ee: EQ
000029ef: PUSH2 0x2a14
000029f2: JUMPI
000029f3: PUSH1 0x40
000029f5: MLOAD
000029f6: SWAP2
000029f7: POP
000029f8: PUSH1 0x1f
000029fa: NOT
000029fb: PUSH1 0x3f
000029fd: RETURNDATASIZE
000029fe: ADD
000029ff: AND
00002a00: DUP3
00002a01: ADD
00002a02: PUSH1 0x40
00002a04: MSTORE
00002a05: RETURNDATASIZE
00002a06: DUP3
00002a07: MSTORE
00002a08: RETURNDATASIZE
00002a09: PUSH1 0x00
00002a0b: PUSH1 0x20
00002a0d: DUP5
00002a0e: ADD
00002a0f: RETURNDATACOPY
00002a10: PUSH2 0x2a19
00002a13: JUMP
00002a14: JUMPDEST
00002a15: PUSH1 0x60
00002a17: SWAP2
00002a18: POP
00002a19: JUMPDEST
00002a1a: POP
00002a1b: SWAP2
00002a1c: POP
00002a1d: SWAP2
00002a1e: POP
00002a1f: DUP2
00002a20: PUSH2 0x2a70
00002a23: JUMPI
00002a24: PUSH1 0x40
00002a26: DUP1
00002a27: MLOAD
00002a28: PUSH3 0x461bcd
00002a2c: PUSH1 0xe5
00002a2e: SHL
00002a2f: DUP2
00002a30: MSTORE
00002a31: PUSH1 0x20
00002a33: PUSH1 0x04
00002a35: DUP3
00002a36: ADD
00002a37: DUP2
00002a38: SWAP1
00002a39: MSTORE
00002a3a: PUSH1 0x24
00002a3c: DUP3
00002a3d: ADD
00002a3e: MSTORE
00002a3f: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00002a60: PUSH1 0x44
00002a62: DUP3
00002a63: ADD
00002a64: MSTORE
00002a65: SWAP1
00002a66: MLOAD
00002a67: SWAP1
00002a68: DUP2
00002a69: SWAP1
00002a6a: SUB
00002a6b: PUSH1 0x64
00002a6d: ADD
00002a6e: SWAP1
00002a6f: REVERT
00002a70: JUMPDEST
00002a71: DUP1
00002a72: MLOAD
00002a73: ISZERO
00002a74: PUSH2 0x10e6
00002a77: JUMPI
00002a78: DUP1
00002a79: DUP1
00002a7a: PUSH1 0x20
00002a7c: ADD
00002a7d: SWAP1
00002a7e: MLOAD
00002a7f: PUSH1 0x20
00002a81: DUP2
00002a82: LT
00002a83: ISZERO
00002a84: PUSH2 0x2a8c
00002a87: JUMPI
00002a88: PUSH1 0x00
00002a8a: DUP1
00002a8b: REVERT
00002a8c: JUMPDEST
00002a8d: POP
00002a8e: MLOAD
00002a8f: PUSH2 0x10e6
00002a92: JUMPI
00002a93: PUSH1 0x40
00002a95: MLOAD
00002a96: PUSH3 0x461bcd
00002a9a: PUSH1 0xe5
00002a9c: SHL
00002a9d: DUP2
00002a9e: MSTORE
00002a9f: PUSH1 0x04
00002aa1: ADD
00002aa2: DUP1
00002aa3: DUP1
00002aa4: PUSH1 0x20
00002aa6: ADD
00002aa7: DUP3
00002aa8: DUP2
00002aa9: SUB
00002aaa: DUP3
00002aab: MSTORE
00002aac: PUSH1 0x2a
00002aae: DUP2
00002aaf: MSTORE
00002ab0: PUSH1 0x20
00002ab2: ADD
00002ab3: DUP1
00002ab4: PUSH2 0x2c68
00002ab7: PUSH1 0x2a
00002ab9: SWAP2
00002aba: CODECOPY
00002abb: PUSH1 0x40
00002abd: ADD
00002abe: SWAP2
00002abf: POP
00002ac0: POP
00002ac1: PUSH1 0x40
00002ac3: MLOAD
00002ac4: DUP1
00002ac5: SWAP2
00002ac6: SUB
00002ac7: SWAP1
00002ac8: REVERT
00002ac9: JUMPDEST
00002aca: PUSH1 0x00
00002acc: DUP2
00002acd: EXTCODEHASH
00002ace: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470
00002aef: DUP2
00002af0: ISZERO
00002af1: DUP1
00002af2: ISZERO
00002af3: SWAP1
00002af4: PUSH2 0x2afd
00002af7: JUMPI
00002af8: POP
00002af9: DUP1
00002afa: DUP3
00002afb: EQ
00002afc: ISZERO
00002afd: JUMPDEST
00002afe: SWAP5
00002aff: SWAP4
00002b00: POP
00002b01: POP
00002b02: POP
00002b03: POP
00002b04: JUMP
00002b05: JUMPDEST
00002b06: PUSH1 0x40
00002b08: DUP1
00002b09: MLOAD
00002b0a: PUSH1 0x01
00002b0c: PUSH1 0x01
00002b0e: PUSH1 0xa0
00002b10: SHL
00002b11: SUB
00002b12: DUP6
00002b13: DUP2
00002b14: AND
00002b15: PUSH1 0x24
00002b17: DUP4
00002b18: ADD
00002b19: MSTORE
00002b1a: DUP5
00002b1b: AND
00002b1c: PUSH1 0x44
00002b1e: DUP3
00002b1f: ADD
00002b20: MSTORE
00002b21: PUSH1 0x64
00002b23: DUP1
00002b24: DUP3
00002b25: ADD
00002b26: DUP5
00002b27: SWAP1
00002b28: MSTORE
00002b29: DUP3
00002b2a: MLOAD
00002b2b: DUP1
00002b2c: DUP4
00002b2d: SUB
00002b2e: SWAP1
00002b2f: SWAP2
00002b30: ADD
00002b31: DUP2
00002b32: MSTORE
00002b33: PUSH1 0x84
00002b35: SWAP1
00002b36: SWAP2
00002b37: ADD
00002b38: SWAP1
00002b39: SWAP2
00002b3a: MSTORE
00002b3b: PUSH1 0x20
00002b3d: DUP2
00002b3e: ADD
00002b3f: DUP1
00002b40: MLOAD
00002b41: PUSH1 0x01
00002b43: PUSH1 0x01
00002b45: PUSH1 0xe0
00002b47: SHL
00002b48: SUB
00002b49: AND
00002b4a: PUSH4 0x23b872dd
00002b4f: PUSH1 0xe0
00002b51: SHL
00002b52: OR
00002b53: SWAP1
00002b54: MSTORE
00002b55: PUSH2 0x10e6
00002b58: SWAP1
00002b59: DUP6
00002b5a: SWAP1
00002b5b: PUSH2 0x2911
00002b5e: JUMP
00002b5f: INVALID
00002b60: COINBASE
00002b61: PUSH15 0x6472652c2077652061726520666172
00002b71: PUSH14 0x696e6720696e2070656163652c20
00002b80: PUSH8 0x6f20686172766573
00002b89: PUSH21 0x20736f6d65776865726520656c7365207369722e4f
00002b9f: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520
00002bb8: PUSH27 0x65726f2061646472657373596f75206861766520636c61696d6564
00002bd4: KECCAK256
00002bd5: PUSH2 0x6c6c
00002bd8: KECCAK256
00002bd9: PUSH17 0x656e64696e6720764554482ede88a922e0
00002beb: UNKNOWN(0xD3)
00002bec: UNKNOWN(0xB8)
00002bed: DUP12
00002bee: UNKNOWN(0x24)
00002bef: UNKNOWN(0xE9)
00002bf0: PUSH3 0x3efeb4
00002bf4: PUSH5 0x919c6bf9f6
00002bfa: PUSH9 0x57a65e2bfcf2ce87a9
00002c04: NUMBER
00002c05: RETURNDATASIZE
00002c06: MSTORE8
00002c07: PUSH2 0x6665
00002c0a: UNKNOWN(0x4D)
00002c0b: PUSH2 0x7468
00002c0e: GASPRICE
00002c0f: KECCAK256
00002c10: PUSH14 0x756c7469706c69636174696f6e20
00002c1f: PUSH16 0x766572666c6f774f776e61626c653a20
00002c30: PUSH4 0x616c6c65
00002c35: PUSH19 0x206973206e6f7420746865206f776e65724361
00002c49: PUSH13 0x6c6572206973206e6f74207265
00002c57: PUSH24 0x61726420646973747269627574696f6e5361666545524332
00002c70: ADDRESS
00002c71: GASPRICE
00002c72: KECCAK256
00002c73: GASLIMIT
00002c74: MSTORE
00002c75: NUMBER
00002c76: ORIGIN
00002c77: ADDRESS
00002c78: KECCAK256
00002c79: PUSH16 0x7065726174696f6e20646964206e6f74
00002c8a: KECCAK256
00002c8b: PUSH20 0x7563636565647645544820636f756c6420626520
00002ca0: PUSH4 0x6c61696d
00002ca5: PUSH6 0x64206f6e6c79
00002cac: KECCAK256
00002cad: PUSH2 0x6674
00002cb0: PUSH6 0x722074686520
00002cb7: PUSH17 0x6f6f6c20656e64732ea265627a7a723158
00002cc9: KECCAK256
00002cca: SLT
00002ccb: DUP12
00002ccc: UNKNOWN(0xBB)
00002ccd: PUSH17 0x4bc2ee7675a2b9a66f40b54f795ede3f6b
00002cdf: UNKNOWN(0xC4)
00002ce0: UNKNOWN(0xDE)
00002ce1: UNKNOWN(0xC5)
00002ce2: SHR
00002ce3: PUSH25

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": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3fef3a3", "selector": "0xf3fef3a3", "calldata_variants": [ "0xf3fef3a3", "0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf7888aec", "selector": "0xf7888aec", "calldata_variants": [ "0xf7888aec", "0xf7888aec0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffe48902", "selector": "0xffe48902", "calldata_variants": [ "0xffe48902", "0xffe489020000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe9b46e6d", "selector": "0xe9b46e6d", "calldata_variants": [ "0xe9b46e6d", "0xe9b46e6d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe9fad8ee", "selector": "0xe9fad8ee", "calldata_variants": [ "0xe9fad8ee", "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeb504614", "selector": "0xeb504614", "calldata_variants": [ "0xeb504614", "0xeb5046140000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xebe2b12b", "selector": "0xebe2b12b", "calldata_variants": [ "0xebe2b12b", "0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 9675, "type": "tx_origin_used" }, { "pc": 11382, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x6adcc8b611fff23c6811bf302cc1d897946dba30c0315bdd4035052ee9fdd04a call_targets: 0xc2d55ce14a8e04aef9b6bcfd105079b63c6a0ac8 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x6adcc8b611fff23c6811bf302cc1d897946dba30c0315bdd4035052ee9fdd04a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xc2d55ce14a8e04aef9b6bcfd105079b63c6a0ac8" ], "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": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3fef3a3", "selector": "0xf3fef3a3", "calldata_variants": [ "0xf3fef3a3", "0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf7888aec", "selector": "0xf7888aec", "calldata_variants": [ "0xf7888aec", "0xf7888aec0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffe48902", "selector": "0xffe48902", "calldata_variants": [ "0xffe48902", "0xffe489020000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe9b46e6d", "selector": "0xe9b46e6d", "calldata_variants": [ "0xe9b46e6d", "0xe9b46e6d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe9fad8ee", "selector": "0xe9fad8ee", "calldata_variants": [ "0xe9fad8ee", "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeb504614", "selector": "0xeb504614", "calldata_variants": [ "0xeb504614", "0xeb5046140000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xebe2b12b", "selector": "0xebe2b12b", "calldata_variants": [ "0xebe2b12b", "0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3333, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3480, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3627, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 15, "guards_detected": [ { "pc": 9675, "type": "tx_origin_used" }, { "pc": 11382, "type": "tx_origin_used" } ], "untrusted_call_count": 15 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x6adcc8b611fff23c6811bf302cc1d897946dba30c0315bdd4035052ee9fdd04a call_targets: 0xc2d55ce14a8e04aef9b6bcfd105079b63c6a0ac8 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x6adcc8b611fff23c6811bf302cc1d897946dba30c0315bdd4035052ee9fdd04a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xc2d55ce14a8e04aef9b6bcfd105079b63c6a0ac8" ], "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": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3fef3a3", "selector": "0xf3fef3a3", "calldata_variants": [ "0xf3fef3a3", "0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf7888aec", "selector": "0xf7888aec", "calldata_variants": [ "0xf7888aec", "0xf7888aec0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffe48902", "selector": "0xffe48902", "calldata_variants": [ "0xffe48902", "0xffe489020000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe9b46e6d", "selector": "0xe9b46e6d", "calldata_variants": [ "0xe9b46e6d", "0xe9b46e6d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe9fad8ee", "selector": "0xe9fad8ee", "calldata_variants": [ "0xe9fad8ee", "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeb504614", "selector": "0xeb504614", "calldata_variants": [ "0xeb504614", "0xeb5046140000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xebe2b12b", "selector": "0xebe2b12b", "calldata_variants": [ "0xebe2b12b", "0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3333, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3480, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3627, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 15, "guards_detected": [ { "pc": 9675, "type": "tx_origin_used" }, { "pc": 11382, "type": "tx_origin_used" } ] }
info	other	cast	Heavy EXTCODE*/BALANCE usage	55	no	—	view evidence_json { "notes": "frequent external code or balance checks; may indicate introspection or validation logic", "ext_balance_count": 17 }
info	other	cast	Heavy CALL-family usage	55	no	—	view evidence_json { "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns", "call_family_count": 17 }