Analysis Run

019ba8b4-4f1f-70e1-ade7-3604ee786256

complete

Chain ID

1

Address

0x2d9221a63e12aa796619cb381ec4a71b201281f5

Block Number

—

Created

Sat, Jan 10, 2026 4:19 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

Untrusted DELEGATECALL target reachable

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
32671	artifact.fetch	complete	1 / 3	3 months ago
32672	proxy.resolve	complete	1 / 3	3 months ago
32673	tool.cast_disasm	complete	1 / 3	3 months ago
32674	analysis.bundle	complete	1 / 3	3 months ago
32675	capability.graph	complete	1 / 3	3 months ago
32676	detector.run	complete	1 / 3	3 months ago
32677	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

1

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

5

EXT*/BALANCE

2

Total opcodes

8912

Flags

delegatecall_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: DUP1
00000003: PUSH1 0x40
00000005: MSTORE
00000006: PUSH1 0x04
00000008: CALLDATASIZE
00000009: LT
0000000a: ISZERO
0000000b: PUSH2 0x0012
0000000e: JUMPI
0000000f: PUSH0
00000010: DUP1
00000011: REVERT
00000012: JUMPDEST
00000013: PUSH0
00000014: CALLDATALOAD
00000015: PUSH1 0xe0
00000017: SHR
00000018: SWAP1
00000019: DUP2
0000001a: PUSH4 0x01ffc9a7
0000001f: EQ
00000020: PUSH2 0x2767
00000023: JUMPI
00000024: POP
00000025: DUP1
00000026: PUSH4 0x06fdde03
0000002b: EQ
0000002c: PUSH2 0x26ac
0000002f: JUMPI
00000030: DUP1
00000031: PUSH4 0x081812fc
00000036: EQ
00000037: PUSH2 0x268e
0000003a: JUMPI
0000003b: DUP1
0000003c: PUSH4 0x08b87923
00000041: EQ
00000042: PUSH2 0x2654
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0x095ea7b3
0000004c: EQ
0000004d: PUSH2 0x2537
00000050: JUMPI
00000051: DUP1
00000052: PUSH4 0x0c5fd195
00000057: EQ
00000058: PUSH2 0x24ed
0000005b: JUMPI
0000005c: DUP1
0000005d: PUSH4 0x0c699624
00000062: EQ
00000063: PUSH2 0x2461
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0x136439dd
0000006d: EQ
0000006e: PUSH2 0x23c9
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x1400ecec
00000078: EQ
00000079: PUSH2 0x238f
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x1e010439
00000083: EQ
00000084: PUSH2 0x2338
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x1e897afb
0000008e: EQ
0000008f: PUSH2 0x220f
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x1e99d569
00000099: EQ
0000009a: PUSH2 0x21f2
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x1f0cce58
000000a4: EQ
000000a5: PUSH2 0x20e3
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0x23b872dd
000000af: EQ
000000b0: PUSH2 0x20cc
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0x379d871a
000000ba: EQ
000000bb: PUSH2 0x202b
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0x42842e0e
000000c5: EQ
000000c6: PUSH2 0x2002
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0x42e3e23d
000000d0: EQ
000000d1: PUSH2 0x0866
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH4 0x44267570
000000db: EQ
000000dc: PUSH2 0x1fdc
000000df: JUMPI
000000e0: DUP1
000000e1: PUSH4 0x450ac908
000000e6: EQ
000000e7: PUSH2 0x1f94
000000ea: JUMPI
000000eb: DUP1
000000ec: PUSH4 0x569f4c59
000000f1: EQ
000000f2: PUSH2 0x1f44
000000f5: JUMPI
000000f6: DUP1
000000f7: PUSH4 0x597150fa
000000fc: EQ
000000fd: PUSH2 0x1efc
00000100: JUMPI
00000101: DUP1
00000102: PUSH4 0x5ea2145b
00000107: EQ
00000108: PUSH2 0x1c29
0000010b: JUMPI
0000010c: DUP1
0000010d: PUSH4 0x5f553152
00000112: EQ
00000113: PUSH2 0x1bf1
00000116: JUMPI
00000117: DUP1
00000118: PUSH4 0x6352211e
0000011d: EQ
0000011e: PUSH2 0x1bc2
00000121: JUMPI
00000122: DUP1
00000123: PUSH4 0x648bf774
00000128: EQ
00000129: PUSH2 0x1a69
0000012c: JUMPI
0000012d: DUP1
0000012e: PUSH4 0x6d0cee75
00000133: EQ
00000134: PUSH2 0x1a1b
00000137: JUMPI
00000138: DUP1
00000139: PUSH4 0x70a08231
0000013e: EQ
0000013f: PUSH2 0x19b1
00000142: JUMPI
00000143: DUP1
00000144: PUSH4 0x75829def
00000149: EQ
0000014a: PUSH2 0x192b
0000014d: JUMPI
0000014e: DUP1
0000014f: PUSH4 0x7cad6cd1
00000154: EQ
00000155: PUSH2 0x182d
00000158: JUMPI
00000159: DUP1
0000015a: PUSH4 0x7ddf9228
0000015f: EQ
00000160: PUSH2 0x17f3
00000163: JUMPI
00000164: DUP1
00000165: PUSH4 0x80448da3
0000016a: EQ
0000016b: PUSH2 0x17ab
0000016e: JUMPI
0000016f: DUP1
00000170: PUSH4 0x81632a86
00000175: EQ
00000176: PUSH2 0x171f
00000179: JUMPI
0000017a: DUP1
0000017b: PUSH4 0x894e9a0d
00000180: EQ
00000181: PUSH2 0x1572
00000184: JUMPI
00000185: DUP1
00000186: PUSH4 0x95d89b41
0000018b: EQ
0000018c: PUSH2 0x1433
0000018f: JUMPI
00000190: DUP1
00000191: PUSH4 0xa22cb465
00000196: EQ
00000197: PUSH2 0x1361
0000019a: JUMPI
0000019b: DUP1
0000019c: PUSH4 0xa7de07cd
000001a1: EQ
000001a2: PUSH2 0x1313
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0xa8a482a6
000001ac: EQ
000001ad: PUSH2 0x1208
000001b0: JUMPI
000001b1: DUP1
000001b2: PUSH4 0xad35efd4
000001b7: EQ
000001b8: PUSH2 0x1190
000001bb: JUMPI
000001bc: DUP1
000001bd: PUSH4 0xb2564569
000001c2: EQ
000001c3: PUSH2 0x1140
000001c6: JUMPI
000001c7: DUP1
000001c8: PUSH4 0xb5b3ca2c
000001cd: EQ
000001ce: PUSH2 0x0fe5
000001d1: JUMPI
000001d2: DUP1
000001d3: PUSH4 0xb61f7583
000001d8: EQ
000001d9: PUSH2 0x0f42
000001dc: JUMPI
000001dd: DUP1
000001de: PUSH4 0xb62b31e4
000001e3: EQ
000001e4: PUSH2 0x0f0a
000001e7: JUMPI
000001e8: DUP1
000001e9: PUSH4 0xb88d4fde
000001ee: EQ
000001ef: PUSH2 0x0e80
000001f2: JUMPI
000001f3: DUP1
000001f4: PUSH4 0xb8a3be66
000001f9: EQ
000001fa: PUSH2 0x0e4b
000001fd: JUMPI
000001fe: DUP1
000001ff: PUSH4 0xb971302a
00000204: EQ
00000205: PUSH2 0x0dfa
00000208: JUMPI
00000209: DUP1
0000020a: PUSH4 0xbc063e1a
0000020f: EQ
00000210: PUSH2 0x0dd8
00000213: JUMPI
00000214: DUP1
00000215: PUSH4 0xbc7a2d6c
0000021a: EQ
0000021b: PUSH2 0x0d9e
0000021e: JUMPI
0000021f: DUP1
00000220: PUSH4 0xbcbd019e
00000225: EQ
00000226: PUSH2 0x0cc8
00000229: JUMPI
0000022a: DUP1
0000022b: PUSH4 0xbdf2a43c
00000230: EQ
00000231: PUSH2 0x0c7f
00000234: JUMPI
00000235: DUP1
00000236: PUSH4 0xc2f8e750
0000023b: EQ
0000023c: PUSH2 0x0a2a
0000023f: JUMPI
00000240: DUP1
00000241: PUSH4 0xc87b56dd
00000246: EQ
00000247: PUSH2 0x0918
0000024a: JUMPI
0000024b: DUP1
0000024c: PUSH4 0xd4b80884
00000251: EQ
00000252: PUSH2 0x089e
00000255: JUMPI
00000256: DUP1
00000257: PUSH4 0xd975dfed
0000025c: EQ
0000025d: PUSH2 0x0866
00000260: JUMPI
00000261: DUP1
00000262: PUSH4 0xe4b50cb8
00000267: EQ
00000268: PUSH2 0x0815
0000026b: JUMPI
0000026c: DUP1
0000026d: PUSH4 0xe985e9c5
00000272: EQ
00000273: PUSH2 0x07bc
00000276: JUMPI
00000277: DUP1
00000278: PUSH4 0xea5ead19
0000027d: EQ
0000027e: PUSH2 0x0745
00000281: JUMPI
00000282: DUP1
00000283: PUSH4 0xeb5710d8
00000288: EQ
00000289: PUSH2 0x06c8
0000028c: JUMPI
0000028d: DUP1
0000028e: PUSH4 0xebb6f79a
00000293: EQ
00000294: PUSH2 0x0591
00000297: JUMPI
00000298: DUP1
00000299: PUSH4 0xf851a440
0000029e: EQ
0000029f: PUSH2 0x056c
000002a2: JUMPI
000002a3: DUP1
000002a4: PUSH4 0xfbf2777e
000002a9: EQ
000002aa: PUSH2 0x04ec
000002ad: JUMPI
000002ae: DUP1
000002af: PUSH4 0xfdd46d60
000002b4: EQ
000002b5: PUSH2 0x0415
000002b8: JUMPI
000002b9: PUSH4 0xffe3d9f8
000002be: EQ
000002bf: PUSH2 0x02c6
000002c2: JUMPI
000002c3: PUSH0
000002c4: DUP1
000002c5: REVERT
000002c6: JUMPDEST
000002c7: CALLVALUE
000002c8: PUSH2 0x0411
000002cb: JUMPI
000002cc: PUSH1 0x40
000002ce: PUSH1 0x03
000002d0: NOT
000002d1: CALLDATASIZE
000002d2: ADD
000002d3: SLT
000002d4: PUSH2 0x0411
000002d7: JUMPI
000002d8: PUSH2 0x02df
000002db: PUSH2 0x28cd
000002de: JUMP
000002df: JUMPDEST
000002e0: PUSH2 0x02e7
000002e3: PUSH2 0x28e3
000002e6: JUMP
000002e7: JUMPDEST
000002e8: PUSH1 0x01
000002ea: PUSH1 0x01
000002ec: PUSH1 0xa0
000002ee: SHL
000002ef: SUB
000002f0: PUSH0
000002f1: SLOAD
000002f2: AND
000002f3: CALLER
000002f4: DUP2
000002f5: SUB
000002f6: PUSH2 0x03e2
000002f9: JUMPI
000002fa: POP
000002fb: PUSH1 0x01
000002fd: PUSH1 0x01
000002ff: PUSH1 0xa0
00000301: SHL
00000302: SUB
00000303: DUP3
00000304: AND
00000305: SWAP2
00000306: DUP3
00000307: PUSH0
00000308: MSTORE
00000309: PUSH1 0x0b
0000030b: PUSH1 0x20
0000030d: MSTORE
0000030e: PUSH16 0xffffffffffffffffffffffffffffffff
0000031f: PUSH1 0x40
00000321: PUSH0
00000322: KECCAK256
00000323: SLOAD
00000324: AND
00000325: SWAP1
00000326: DUP2
00000327: ISZERO
00000328: PUSH2 0x03b6
0000032b: JUMPI
0000032c: DUP2
0000032d: DUP4
0000032e: PUSH2 0x037a
00000331: SWAP3
00000332: DUP7
00000333: PUSH0
00000334: MSTORE
00000335: PUSH1 0x0b
00000337: PUSH1 0x20
00000339: MSTORE
0000033a: PUSH1 0x40
0000033c: PUSH0
0000033d: KECCAK256
0000033e: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
0000035f: DUP2
00000360: SLOAD
00000361: AND
00000362: SWAP1
00000363: SSTORE
00000364: DUP7
00000365: PUSH0
00000366: MSTORE
00000367: PUSH1 0x07
00000369: PUSH1 0x20
0000036b: MSTORE
0000036c: PUSH1 0x40
0000036e: PUSH0
0000036f: KECCAK256
00000370: DUP4
00000371: DUP2
00000372: SLOAD
00000373: SUB
00000374: SWAP1
00000375: SSTORE
00000376: PUSH2 0x3d21
00000379: JUMP
0000037a: JUMPDEST
0000037b: PUSH1 0x01
0000037d: PUSH1 0x01
0000037f: PUSH1 0xa0
00000381: SHL
00000382: SUB
00000383: PUSH1 0x40
00000385: MLOAD
00000386: SWAP3
00000387: AND
00000388: DUP3
00000389: MSTORE
0000038a: PUSH1 0x20
0000038c: DUP3
0000038d: ADD
0000038e: MSTORE
0000038f: PUSH32 0xc9a4a66b97fd7e52e69c5be7b10bdc5341bded817201b9b7136a75068d4e4e05
000003b0: PUSH1 0x40
000003b2: CALLER
000003b3: SWAP3
000003b4: LOG3
000003b5: STOP
000003b6: JUMPDEST
000003b7: DUP4
000003b8: PUSH32 0xf717901b00000000000000000000000000000000000000000000000000000000
000003d9: PUSH0
000003da: MSTORE
000003db: PUSH1 0x04
000003dd: MSTORE
000003de: PUSH1 0x24
000003e0: PUSH0
000003e1: REVERT
000003e2: JUMPDEST
000003e3: PUSH32 0xc6cce6a400000000000000000000000000000000000000000000000000000000
00000404: PUSH0
00000405: MSTORE
00000406: PUSH1 0x04
00000408: MSTORE
00000409: CALLER
0000040a: PUSH1 0x24
0000040c: MSTORE
0000040d: PUSH1 0x44
0000040f: PUSH0
00000410: REVERT
00000411: JUMPDEST
00000412: PUSH0
00000413: DUP1
00000414: REVERT
00000415: JUMPDEST
00000416: CALLVALUE
00000417: PUSH2 0x0411
0000041a: JUMPI
0000041b: PUSH1 0x60
0000041d: PUSH1 0x03
0000041f: NOT
00000420: CALLDATASIZE
00000421: ADD
00000422: SLT
00000423: PUSH2 0x0411
00000426: JUMPI
00000427: PUSH1 0x04
00000429: CALLDATALOAD
0000042a: PUSH2 0x0431
0000042d: PUSH2 0x28e3
00000430: JUMP
00000431: JUMPDEST
00000432: PUSH2 0x0439
00000435: PUSH2 0x2944
00000438: JUMP
00000439: JUMPDEST
0000043a: SWAP1
0000043b: PUSH2 0x0442
0000043e: PUSH2 0x319f
00000441: JUMP
00000442: JUMPDEST
00000443: DUP3
00000444: PUSH0
00000445: MSTORE
00000446: PUSH1 0x0c
00000448: PUSH1 0x20
0000044a: MSTORE
0000044b: PUSH1 0xff
0000044d: PUSH1 0x01
0000044f: PUSH1 0x40
00000451: PUSH0
00000452: KECCAK256
00000453: ADD
00000454: SLOAD
00000455: PUSH1 0xc8
00000457: SHR
00000458: AND
00000459: ISZERO
0000045a: PUSH2 0x04c0
0000045d: JUMPI
0000045e: PUSH2 0x048c
00000461: DUP4
00000462: SWAP3
00000463: PUSH32 0xf8e1a15aba9398e019f0b49df1a4fde98ee17ae345cb5f6b5e2c27f5033e8ce7
00000484: SWAP3
00000485: PUSH1 0x20
00000487: SWAP6
00000488: PUSH2 0x4043
0000048b: JUMP
0000048c: JUMPDEST
0000048d: SWAP4
0000048e: SWAP1
0000048f: SWAP3
00000490: PUSH1 0x40
00000492: MLOAD
00000493: SWAP1
00000494: DUP2
00000495: MSTORE
00000496: LOG1
00000497: PUSH1 0x40
00000499: DUP1
0000049a: MLOAD
0000049b: PUSH16 0xffffffffffffffffffffffffffffffff
000004ac: SWAP3
000004ad: DUP4
000004ae: AND
000004af: DUP2
000004b0: MSTORE
000004b1: SWAP3
000004b2: SWAP1
000004b3: SWAP2
000004b4: AND
000004b5: PUSH1 0x20
000004b7: DUP4
000004b8: ADD
000004b9: MSTORE
000004ba: SWAP1
000004bb: RETURN
000004bc: JUMPDEST
000004bd: SUB
000004be: SWAP1
000004bf: RETURN
000004c0: JUMPDEST
000004c1: DUP3
000004c2: PUSH32 0xe21c143100000000000000000000000000000000000000000000000000000000
000004e3: PUSH0
000004e4: MSTORE
000004e5: PUSH1 0x04
000004e7: MSTORE
000004e8: PUSH1 0x24
000004ea: PUSH0
000004eb: REVERT
000004ec: JUMPDEST
000004ed: CALLVALUE
000004ee: PUSH2 0x0411
000004f1: JUMPI
000004f2: PUSH1 0xc0
000004f4: PUSH1 0x03
000004f6: NOT
000004f7: CALLDATASIZE
000004f8: ADD
000004f9: SLT
000004fa: PUSH2 0x0411
000004fd: JUMPI
000004fe: PUSH2 0x0505
00000501: PUSH2 0x28cd
00000504: JUMP
00000505: JUMPDEST
00000506: PUSH2 0x050d
00000509: PUSH2 0x28e3
0000050c: JUMP
0000050d: JUMPDEST
0000050e: SWAP1
0000050f: PUSH2 0x0516
00000512: PUSH2 0x2944
00000515: JUMP
00000516: JUMPDEST
00000517: SWAP2
00000518: PUSH2 0x051f
0000051b: PUSH2 0x290f
0000051e: JUMP
0000051f: JUMPDEST
00000520: SWAP2
00000521: PUSH2 0x0528
00000524: PUSH2 0x299d
00000527: JUMP
00000528: JUMPDEST
00000529: PUSH1 0xa4
0000052b: CALLDATALOAD
0000052c: SWAP4
0000052d: PUSH16 0xffffffffffffffffffffffffffffffff
0000053e: DUP6
0000053f: AND
00000540: DUP6
00000541: SUB
00000542: PUSH2 0x0411
00000545: JUMPI
00000546: PUSH1 0x20
00000548: SWAP6
00000549: PUSH2 0x0564
0000054c: SWAP5
0000054d: PUSH2 0x055d
00000550: SWAP5
00000551: PUSH2 0x0558
00000554: PUSH2 0x319f
00000557: JUMP
00000558: JUMPDEST
00000559: PUSH2 0x3741
0000055c: JUMP
0000055d: JUMPDEST
0000055e: SWAP2
0000055f: DUP3
00000560: PUSH2 0x35ef
00000563: JUMP
00000564: JUMPDEST
00000565: PUSH1 0x40
00000567: MLOAD
00000568: SWAP1
00000569: DUP2
0000056a: MSTORE
0000056b: RETURN
0000056c: JUMPDEST
0000056d: CALLVALUE
0000056e: PUSH2 0x0411
00000571: JUMPI
00000572: PUSH0
00000573: PUSH1 0x03
00000575: NOT
00000576: CALLDATASIZE
00000577: ADD
00000578: SLT
00000579: PUSH2 0x0411
0000057c: JUMPI
0000057d: PUSH1 0x20
0000057f: PUSH1 0x01
00000581: PUSH1 0x01
00000583: PUSH1 0xa0
00000585: SHL
00000586: SUB
00000587: PUSH0
00000588: SLOAD
00000589: AND
0000058a: PUSH1 0x40
0000058c: MLOAD
0000058d: SWAP1
0000058e: DUP2
0000058f: MSTORE
00000590: RETURN
00000591: JUMPDEST
00000592: CALLVALUE
00000593: PUSH2 0x0411
00000596: JUMPI
00000597: PUSH1 0x40
00000599: PUSH1 0x03
0000059b: NOT
0000059c: CALLDATASIZE
0000059d: ADD
0000059e: SLT
0000059f: PUSH2 0x0411
000005a2: JUMPI
000005a3: PUSH1 0x04
000005a5: CALLDATALOAD
000005a6: PUSH2 0x05ad
000005a9: PUSH2 0x2925
000005ac: JUMP
000005ad: JUMPDEST
000005ae: PUSH2 0x05b5
000005b1: PUSH2 0x319f
000005b4: JUMP
000005b5: JUMPDEST
000005b6: DUP2
000005b7: PUSH0
000005b8: MSTORE
000005b9: PUSH1 0x0c
000005bb: PUSH1 0x20
000005bd: MSTORE
000005be: PUSH1 0xff
000005c0: PUSH1 0x01
000005c2: PUSH1 0x40
000005c4: PUSH0
000005c5: KECCAK256
000005c6: ADD
000005c7: SLOAD
000005c8: PUSH1 0xc8
000005ca: SHR
000005cb: AND
000005cc: ISZERO
000005cd: PUSH2 0x069c
000005d0: JUMPI
000005d1: DUP2
000005d2: PUSH0
000005d3: MSTORE
000005d4: PUSH1 0x0c
000005d6: PUSH1 0x20
000005d8: MSTORE
000005d9: PUSH1 0xff
000005db: PUSH1 0x01
000005dd: PUSH1 0x40
000005df: PUSH0
000005e0: KECCAK256
000005e1: ADD
000005e2: SLOAD
000005e3: PUSH1 0xd8
000005e5: SHR
000005e6: AND
000005e7: PUSH2 0x0670
000005ea: JUMPI
000005eb: DUP2
000005ec: PUSH0
000005ed: MSTORE
000005ee: PUSH1 0x0c
000005f0: PUSH1 0x20
000005f2: MSTORE
000005f3: PUSH1 0x01
000005f5: PUSH1 0x01
000005f7: PUSH1 0xa0
000005f9: SHL
000005fa: SUB
000005fb: PUSH1 0x01
000005fd: PUSH1 0x40
000005ff: PUSH0
00000600: KECCAK256
00000601: ADD
00000602: SLOAD
00000603: AND
00000604: CALLER
00000605: SUB
00000606: PUSH2 0x0640
00000609: JUMPI
0000060a: DUP2
0000060b: PUSH2 0x0637
0000060e: PUSH1 0x20
00000610: SWAP3
00000611: PUSH32 0xf8e1a15aba9398e019f0b49df1a4fde98ee17ae345cb5f6b5e2c27f5033e8ce7
00000632: SWAP5
00000633: PUSH2 0x3566
00000636: JUMP
00000637: JUMPDEST
00000638: PUSH1 0x40
0000063a: MLOAD
0000063b: SWAP1
0000063c: DUP2
0000063d: MSTORE
0000063e: LOG1
0000063f: STOP
00000640: JUMPDEST
00000641: POP
00000642: PUSH32 0xa9ad2a2200000000000000000000000000000000000000000000000000000000
00000663: PUSH0
00000664: MSTORE
00000665: PUSH1 0x04
00000667: MSTORE
00000668: CALLER
00000669: PUSH1 0x24
0000066b: MSTORE
0000066c: PUSH1 0x44
0000066e: PUSH0
0000066f: REVERT
00000670: JUMPDEST
00000671: POP
00000672: PUSH32 0x7354d5f100000000000000000000000000000000000000000000000000000000
00000693: PUSH0
00000694: MSTORE
00000695: PUSH1 0x04
00000697: MSTORE
00000698: PUSH1 0x24
0000069a: PUSH0
0000069b: REVERT
0000069c: JUMPDEST
0000069d: POP
0000069e: PUSH32 0xe21c143100000000000000000000000000000000000000000000000000000000
000006bf: PUSH0
000006c0: MSTORE
000006c1: PUSH1 0x04
000006c3: MSTORE
000006c4: PUSH1 0x24
000006c6: PUSH0
000006c7: REVERT
000006c8: JUMPDEST
000006c9: CALLVALUE
000006ca: PUSH2 0x0411
000006cd: JUMPI
000006ce: PUSH1 0x20
000006d0: PUSH1 0x03
000006d2: NOT
000006d3: CALLDATASIZE
000006d4: ADD
000006d5: SLT
000006d6: PUSH2 0x0411
000006d9: JUMPI
000006da: PUSH1 0x04
000006dc: CALLDATALOAD
000006dd: DUP1
000006de: PUSH0
000006df: MSTORE
000006e0: PUSH1 0x0c
000006e2: PUSH1 0x20
000006e4: MSTORE
000006e5: PUSH1 0xff
000006e7: PUSH1 0x01
000006e9: PUSH1 0x40
000006eb: PUSH0
000006ec: KECCAK256
000006ed: ADD
000006ee: SLOAD
000006ef: PUSH1 0xc8
000006f1: SHR
000006f2: AND
000006f3: ISZERO
000006f4: PUSH2 0x071a
000006f7: JUMPI
000006f8: PUSH0
000006f9: MSTORE
000006fa: PUSH1 0x0c
000006fc: PUSH1 0x20
000006fe: MSTORE
000006ff: PUSH1 0x20
00000701: PUSH5 0xffffffffff
00000707: PUSH1 0x01
00000709: PUSH1 0x40
0000070b: PUSH0
0000070c: KECCAK256
0000070d: ADD
0000070e: SLOAD
0000070f: PUSH1 0xa0
00000711: SHR
00000712: AND
00000713: PUSH1 0x40
00000715: MLOAD
00000716: SWAP1
00000717: DUP2
00000718: MSTORE
00000719: RETURN
0000071a: JUMPDEST
0000071b: PUSH32 0xe21c143100000000000000000000000000000000000000000000000000000000
0000073c: PUSH0
0000073d: MSTORE
0000073e: PUSH1 0x04
00000740: MSTORE
00000741: PUSH1 0x24
00000743: PUSH0
00000744: REVERT
00000745: JUMPDEST
00000746: CALLVALUE
00000747: PUSH2 0x0411
0000074a: JUMPI
0000074b: PUSH1 0x40
0000074d: PUSH1 0x03
0000074f: NOT
00000750: CALLDATASIZE
00000751: ADD
00000752: SLT
00000753: PUSH2 0x0411
00000756: JUMPI
00000757: PUSH1 0x04
00000759: CALLDATALOAD
0000075a: PUSH2 0x0761
0000075d: PUSH2 0x28e3
00000760: JUMP
00000761: JUMPDEST
00000762: PUSH2 0x0769
00000765: PUSH2 0x319f
00000768: JUMP
00000769: JUMPDEST
0000076a: DUP2
0000076b: PUSH0
0000076c: MSTORE
0000076d: PUSH1 0x0c
0000076f: PUSH1 0x20
00000771: MSTORE
00000772: PUSH1 0xff
00000774: PUSH1 0x01
00000776: PUSH1 0x40
00000778: PUSH0
00000779: KECCAK256
0000077a: ADD
0000077b: SLOAD
0000077c: PUSH1 0xc8
0000077e: SHR
0000077f: AND
00000780: ISZERO
00000781: PUSH2 0x069c
00000784: JUMPI
00000785: SWAP1
00000786: PUSH32 0xf8e1a15aba9398e019f0b49df1a4fde98ee17ae345cb5f6b5e2c27f5033e8ce7
000007a7: PUSH2 0x048c
000007aa: PUSH1 0x20
000007ac: SWAP4
000007ad: PUSH2 0x07b5
000007b0: DUP5
000007b1: PUSH2 0x36f7
000007b4: JUMP
000007b5: JUMPDEST
000007b6: SWAP1
000007b7: DUP5
000007b8: PUSH2 0x4043
000007bb: JUMP
000007bc: JUMPDEST
000007bd: CALLVALUE
000007be: PUSH2 0x0411
000007c1: JUMPI
000007c2: PUSH1 0x40
000007c4: PUSH1 0x03
000007c6: NOT
000007c7: CALLDATASIZE
000007c8: ADD
000007c9: SLT
000007ca: PUSH2 0x0411
000007cd: JUMPI
000007ce: PUSH2 0x07d5
000007d1: PUSH2 0x28cd
000007d4: JUMP
000007d5: JUMPDEST
000007d6: PUSH1 0x01
000007d8: PUSH1 0x01
000007da: PUSH1 0xa0
000007dc: SHL
000007dd: SUB
000007de: PUSH2 0x07e5
000007e1: PUSH2 0x28e3
000007e4: JUMP
000007e5: JUMPDEST
000007e6: SWAP2
000007e7: AND
000007e8: PUSH0
000007e9: MSTORE
000007ea: PUSH1 0x06
000007ec: PUSH1 0x20
000007ee: MSTORE
000007ef: PUSH1 0x01
000007f1: PUSH1 0x01
000007f3: PUSH1 0xa0
000007f5: SHL
000007f6: SUB
000007f7: PUSH1 0x40
000007f9: PUSH0
000007fa: KECCAK256
000007fb: SWAP2
000007fc: AND
000007fd: PUSH0
000007fe: MSTORE
000007ff: PUSH1 0x20
00000801: MSTORE
00000802: PUSH1 0x20
00000804: PUSH1 0xff
00000806: PUSH1 0x40
00000808: PUSH0
00000809: KECCAK256
0000080a: SLOAD
0000080b: AND
0000080c: PUSH1 0x40
0000080e: MLOAD
0000080f: SWAP1
00000810: ISZERO
00000811: ISZERO
00000812: DUP2
00000813: MSTORE
00000814: RETURN
00000815: JUMPDEST
00000816: CALLVALUE
00000817: PUSH2 0x0411
0000081a: JUMPI
0000081b: PUSH1 0x20
0000081d: PUSH1 0x03
0000081f: NOT
00000820: CALLDATASIZE
00000821: ADD
00000822: SLT
00000823: PUSH2 0x0411
00000826: JUMPI
00000827: PUSH1 0x04
00000829: CALLDATALOAD
0000082a: DUP1
0000082b: PUSH0
0000082c: MSTORE
0000082d: PUSH1 0x0c
0000082f: PUSH1 0x20
00000831: MSTORE
00000832: PUSH1 0xff
00000834: PUSH1 0x01
00000836: PUSH1 0x40
00000838: PUSH0
00000839: KECCAK256
0000083a: ADD
0000083b: SLOAD
0000083c: PUSH1 0xc8
0000083e: SHR
0000083f: AND
00000840: ISZERO
00000841: PUSH2 0x071a
00000844: JUMPI
00000845: PUSH0
00000846: MSTORE
00000847: PUSH1 0x0c
00000849: PUSH1 0x20
0000084b: MSTORE
0000084c: PUSH1 0x20
0000084e: PUSH1 0x01
00000850: PUSH1 0x01
00000852: PUSH1 0xa0
00000854: SHL
00000855: SUB
00000856: PUSH1 0x02
00000858: PUSH1 0x40
0000085a: PUSH0
0000085b: KECCAK256
0000085c: ADD
0000085d: SLOAD
0000085e: AND
0000085f: PUSH1 0x40
00000861: MLOAD
00000862: SWAP1
00000863: DUP2
00000864: MSTORE
00000865: RETURN
00000866: JUMPDEST
00000867: CALLVALUE
00000868: PUSH2 0x0411
0000086b: JUMPI
0000086c: PUSH1 0x20
0000086e: PUSH1 0x03
00000870: NOT
00000871: CALLDATASIZE
00000872: ADD
00000873: SLT
00000874: PUSH2 0x0411
00000877: JUMPI
00000878: PUSH1 0x20
0000087a: PUSH2 0x0884
0000087d: PUSH1 0x04
0000087f: CALLDATALOAD
00000880: PUSH2 0x2d78
00000883: JUMP
00000884: JUMPDEST
00000885: PUSH16 0xffffffffffffffffffffffffffffffff
00000896: PUSH1 0x40
00000898: MLOAD
00000899: SWAP2
0000089a: AND
0000089b: DUP2
0000089c: MSTORE
0000089d: RETURN
0000089e: JUMPDEST
0000089f: CALLVALUE
000008a0: PUSH2 0x0411
000008a3: JUMPI
000008a4: PUSH1 0x20
000008a6: PUSH1 0x03
000008a8: NOT
000008a9: CALLDATASIZE
000008aa: ADD
000008ab: SLT
000008ac: PUSH2 0x0411
000008af: JUMPI
000008b0: PUSH1 0x04
000008b2: CALLDATALOAD
000008b3: DUP1
000008b4: PUSH0
000008b5: MSTORE
000008b6: PUSH1 0x0c
000008b8: PUSH1 0x20
000008ba: MSTORE
000008bb: PUSH1 0xff
000008bd: PUSH1 0x01
000008bf: PUSH1 0x40
000008c1: PUSH0
000008c2: KECCAK256
000008c3: ADD
000008c4: SLOAD
000008c5: PUSH1 0xc8
000008c7: SHR
000008c8: AND
000008c9: ISZERO
000008ca: PUSH2 0x071a
000008cd: JUMPI
000008ce: DUP1
000008cf: PUSH0
000008d0: MSTORE
000008d1: PUSH1 0x0c
000008d3: PUSH1 0x20
000008d5: MSTORE
000008d6: PUSH1 0x40
000008d8: PUSH0
000008d9: KECCAK256
000008da: SLOAD
000008db: PUSH1 0x80
000008dd: SHR
000008de: ISZERO
000008df: PUSH2 0x08ed
000008e2: JUMPI
000008e3: PUSH2 0x0564
000008e6: PUSH1 0x20
000008e8: SWAP2
000008e9: PUSH2 0x2ff3
000008ec: JUMP
000008ed: JUMPDEST
000008ee: PUSH32 0x167274c900000000000000000000000000000000000000000000000000000000
0000090f: PUSH0
00000910: MSTORE
00000911: PUSH1 0x04
00000913: MSTORE
00000914: PUSH1 0x24
00000916: PUSH0
00000917: REVERT
00000918: JUMPDEST
00000919: CALLVALUE
0000091a: PUSH2 0x0411
0000091d: JUMPI
0000091e: PUSH1 0x20
00000920: PUSH1 0x03
00000922: NOT
00000923: CALLDATASIZE
00000924: ADD
00000925: SLT
00000926: PUSH2 0x0411
00000929: JUMPI
0000092a: PUSH1 0x04
0000092c: CALLDATALOAD
0000092d: PUSH2 0x0935
00000930: DUP2
00000931: PUSH2 0x3111
00000934: JUMP
00000935: JUMPDEST
00000936: POP
00000937: PUSH0
00000938: PUSH1 0x01
0000093a: PUSH1 0x01
0000093c: PUSH1 0xa0
0000093e: SHL
0000093f: SUB
00000940: PUSH1 0x09
00000942: SLOAD
00000943: AND
00000944: SWAP2
00000945: PUSH1 0x44
00000947: PUSH1 0x40
00000949: MLOAD
0000094a: DUP1
0000094b: SWAP5
0000094c: DUP2
0000094d: SWAP4
0000094e: PUSH32 0xe9dc637500000000000000000000000000000000000000000000000000000000
0000096f: DUP4
00000970: MSTORE
00000971: ADDRESS
00000972: PUSH1 0x04
00000974: DUP5
00000975: ADD
00000976: MSTORE
00000977: PUSH1 0x24
00000979: DUP4
0000097a: ADD
0000097b: MSTORE
0000097c: GAS
0000097d: STATICCALL
0000097e: DUP1
0000097f: ISZERO
00000980: PUSH2 0x0a1f
00000983: JUMPI
00000984: PUSH0
00000985: SWAP1
00000986: PUSH2 0x09a2
00000989: JUMPI
0000098a: JUMPDEST
0000098b: PUSH2 0x04bc
0000098e: SWAP1
0000098f: PUSH1 0x40
00000991: MLOAD
00000992: SWAP2
00000993: DUP3
00000994: SWAP2
00000995: PUSH1 0x20
00000997: DUP4
00000998: MSTORE
00000999: PUSH1 0x20
0000099b: DUP4
0000099c: ADD
0000099d: SWAP1
0000099e: PUSH2 0x288a
000009a1: JUMP
000009a2: JUMPDEST
000009a3: POP
000009a4: RETURNDATASIZE
000009a5: DUP1
000009a6: PUSH0
000009a7: DUP4
000009a8: RETURNDATACOPY
000009a9: PUSH2 0x09b2
000009ac: DUP2
000009ad: DUP4
000009ae: PUSH2 0x29c9
000009b1: JUMP
000009b2: JUMPDEST
000009b3: DUP2
000009b4: ADD
000009b5: SWAP1
000009b6: PUSH1 0x20
000009b8: DUP2
000009b9: DUP4
000009ba: SUB
000009bb: SLT
000009bc: PUSH2 0x0411
000009bf: JUMPI
000009c0: DUP1
000009c1: MLOAD
000009c2: SWAP1
000009c3: PUSH8 0xffffffffffffffff
000009cc: DUP3
000009cd: GT
000009ce: PUSH2 0x0411
000009d1: JUMPI
000009d2: ADD
000009d3: SWAP1
000009d4: DUP1
000009d5: PUSH1 0x1f
000009d7: DUP4
000009d8: ADD
000009d9: SLT
000009da: ISZERO
000009db: PUSH2 0x0411
000009de: JUMPI
000009df: DUP2
000009e0: MLOAD
000009e1: SWAP2
000009e2: PUSH2 0x09ea
000009e5: DUP4
000009e6: PUSH2 0x2a0a
000009e9: JUMP
000009ea: JUMPDEST
000009eb: SWAP2
000009ec: PUSH2 0x09f8
000009ef: PUSH1 0x40
000009f1: MLOAD
000009f2: SWAP4
000009f3: DUP5
000009f4: PUSH2 0x29c9
000009f7: JUMP
000009f8: JUMPDEST
000009f9: DUP4
000009fa: DUP4
000009fb: MSTORE
000009fc: PUSH1 0x20
000009fe: DUP5
000009ff: DUP4
00000a00: ADD
00000a01: ADD
00000a02: GT
00000a03: PUSH2 0x0411
00000a06: JUMPI
00000a07: PUSH2 0x04bc
00000a0a: SWAP3
00000a0b: PUSH2 0x0a1a
00000a0e: SWAP2
00000a0f: PUSH1 0x20
00000a11: DUP1
00000a12: DUP6
00000a13: ADD
00000a14: SWAP2
00000a15: ADD
00000a16: PUSH2 0x2869
00000a19: JUMP
00000a1a: JUMPDEST
00000a1b: PUSH2 0x098a
00000a1e: JUMP
00000a1f: JUMPDEST
00000a20: PUSH1 0x40
00000a22: MLOAD
00000a23: RETURNDATASIZE
00000a24: PUSH0
00000a25: DUP3
00000a26: RETURNDATACOPY
00000a27: RETURNDATASIZE
00000a28: SWAP1
00000a29: REVERT
00000a2a: JUMPDEST
00000a2b: CALLVALUE
00000a2c: PUSH2 0x0411
00000a2f: JUMPI
00000a30: PUSH1 0xc0
00000a32: PUSH1 0x03
00000a34: NOT
00000a35: CALLDATASIZE
00000a36: ADD
00000a37: SLT
00000a38: PUSH2 0x0411
00000a3b: JUMPI
00000a3c: PUSH1 0x04
00000a3e: CALLDATALOAD
00000a3f: PUSH2 0x0a46
00000a42: PUSH2 0x2925
00000a45: JUMP
00000a46: JUMPDEST
00000a47: PUSH2 0x0a4e
00000a4a: PUSH2 0x28f9
00000a4d: JUMP
00000a4e: JUMPDEST
00000a4f: PUSH2 0x0a56
00000a52: PUSH2 0x290f
00000a55: JUMP
00000a56: JUMPDEST
00000a57: PUSH1 0x40
00000a59: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7c
00000a7a: CALLDATASIZE
00000a7b: ADD
00000a7c: SLT
00000a7d: PUSH2 0x0411
00000a80: JUMPI
00000a81: PUSH2 0x0a88
00000a84: PUSH2 0x319f
00000a87: JUMP
00000a88: JUMPDEST
00000a89: DUP4
00000a8a: PUSH0
00000a8b: MSTORE
00000a8c: PUSH1 0x0c
00000a8e: PUSH1 0x20
00000a90: MSTORE
00000a91: PUSH1 0xff
00000a93: PUSH1 0x01
00000a95: PUSH1 0x40
00000a97: PUSH0
00000a98: KECCAK256
00000a99: ADD
00000a9a: SLOAD
00000a9b: PUSH1 0xc8
00000a9d: SHR
00000a9e: AND
00000a9f: ISZERO
00000aa0: PUSH2 0x0c53
00000aa3: JUMPI
00000aa4: DUP4
00000aa5: PUSH0
00000aa6: MSTORE
00000aa7: PUSH1 0x0c
00000aa9: PUSH1 0x20
00000aab: MSTORE
00000aac: PUSH1 0xff
00000aae: PUSH1 0x01
00000ab0: PUSH1 0x40
00000ab2: PUSH0
00000ab3: KECCAK256
00000ab4: ADD
00000ab5: SLOAD
00000ab6: PUSH1 0xd8
00000ab8: SHR
00000ab9: AND
00000aba: PUSH2 0x0c27
00000abd: JUMPI
00000abe: PUSH2 0x0ac7
00000ac1: SWAP2
00000ac2: DUP5
00000ac3: PUSH2 0x3f38
00000ac6: JUMP
00000ac7: JUMPDEST
00000ac8: PUSH1 0x40
00000aca: MLOAD
00000acb: SWAP2
00000acc: PUSH1 0x40
00000ace: DUP4
00000acf: ADD
00000ad0: DUP4
00000ad1: DUP2
00000ad2: LT
00000ad3: PUSH8 0xffffffffffffffff
00000adc: DUP3
00000add: GT
00000ade: OR
00000adf: PUSH2 0x0bfa
00000ae2: JUMPI
00000ae3: PUSH1 0x40
00000ae5: MSTORE
00000ae6: PUSH1 0x84
00000ae8: CALLDATALOAD
00000ae9: PUSH1 0x01
00000aeb: PUSH1 0x01
00000aed: PUSH1 0xa0
00000aef: SHL
00000af0: SUB
00000af1: DUP2
00000af2: AND
00000af3: DUP2
00000af4: SUB
00000af5: PUSH2 0x0411
00000af8: JUMPI
00000af9: DUP4
00000afa: MSTORE
00000afb: PUSH1 0xa4
00000afd: CALLDATALOAD
00000afe: PUSH1 0x20
00000b00: DUP5
00000b01: ADD
00000b02: SWAP1
00000b03: DUP1
00000b04: DUP3
00000b05: MSTORE
00000b06: PUSH8 0x016345785d8a0000
00000b0f: DUP2
00000b10: GT
00000b11: PUSH2 0x0bc3
00000b14: JUMPI
00000b15: POP
00000b16: PUSH1 0x01
00000b18: PUSH1 0x01
00000b1a: PUSH1 0xa0
00000b1c: SHL
00000b1d: SUB
00000b1e: DUP5
00000b1f: MLOAD
00000b20: AND
00000b21: ISZERO
00000b22: PUSH2 0x0b9b
00000b25: JUMPI
00000b26: PUSH32 0xf8e1a15aba9398e019f0b49df1a4fde98ee17ae345cb5f6b5e2c27f5033e8ce7
00000b47: SWAP4
00000b48: PUSH2 0x0b64
00000b4b: PUSH2 0x0b5b
00000b4e: PUSH1 0x20
00000b50: SWAP6
00000b51: PUSH2 0x0637
00000b54: SWAP5
00000b55: MLOAD
00000b56: SWAP1
00000b57: PUSH2 0x463d
00000b5a: JUMP
00000b5b: JUMPDEST
00000b5c: DUP6
00000b5d: SWAP3
00000b5e: SWAP2
00000b5f: SWAP3
00000b60: PUSH2 0x35ef
00000b63: JUMP
00000b64: JUMPDEST
00000b65: DUP4
00000b66: PUSH0
00000b67: MSTORE
00000b68: PUSH1 0x0c
00000b6a: DUP6
00000b6b: MSTORE
00000b6c: PUSH16 0xffffffffffffffffffffffffffffffff
00000b7d: PUSH1 0x01
00000b7f: PUSH1 0x01
00000b81: PUSH1 0xa0
00000b83: SHL
00000b84: SUB
00000b85: DUP1
00000b86: PUSH1 0x02
00000b88: PUSH1 0x40
00000b8a: PUSH0
00000b8b: KECCAK256
00000b8c: ADD
00000b8d: SLOAD
00000b8e: AND
00000b8f: SWAP4
00000b90: MLOAD
00000b91: AND
00000b92: SWAP2
00000b93: AND
00000b94: SWAP2
00000b95: CALLER
00000b96: SWAP1
00000b97: PUSH2 0x4487
00000b9a: JUMP
00000b9b: JUMPDEST
00000b9c: PUSH32 0x5f946a0200000000000000000000000000000000000000000000000000000000
00000bbd: PUSH0
00000bbe: MSTORE
00000bbf: PUSH1 0x04
00000bc1: PUSH0
00000bc2: REVERT
00000bc3: JUMPDEST
00000bc4: PUSH32 0x54b392b200000000000000000000000000000000000000000000000000000000
00000be5: PUSH0
00000be6: MSTORE
00000be7: PUSH1 0x04
00000be9: MSTORE
00000bea: PUSH8 0x016345785d8a0000
00000bf3: PUSH1 0x24
00000bf5: MSTORE
00000bf6: PUSH1 0x44
00000bf8: PUSH0
00000bf9: REVERT
00000bfa: JUMPDEST
00000bfb: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000c1c: PUSH0
00000c1d: MSTORE
00000c1e: PUSH1 0x41
00000c20: PUSH1 0x04
00000c22: MSTORE
00000c23: PUSH1 0x24
00000c25: PUSH0
00000c26: REVERT
00000c27: JUMPDEST
00000c28: DUP4
00000c29: PUSH32 0x7354d5f100000000000000000000000000000000000000000000000000000000
00000c4a: PUSH0
00000c4b: MSTORE
00000c4c: PUSH1 0x04
00000c4e: MSTORE
00000c4f: PUSH1 0x24
00000c51: PUSH0
00000c52: REVERT
00000c53: JUMPDEST
00000c54: DUP4
00000c55: PUSH32 0xe21c143100000000000000000000000000000000000000000000000000000000
00000c76: PUSH0
00000c77: MSTORE
00000c78: PUSH1 0x04
00000c7a: MSTORE
00000c7b: PUSH1 0x24
00000c7d: PUSH0
00000c7e: REVERT
00000c7f: JUMPDEST
00000c80: CALLVALUE
00000c81: PUSH2 0x0411
00000c84: JUMPI
00000c85: PUSH1 0x20
00000c87: PUSH1 0x03
00000c89: NOT
00000c8a: CALLDATASIZE
00000c8b: ADD
00000c8c: SLT
00000c8d: PUSH2 0x0411
00000c90: JUMPI
00000c91: PUSH1 0x04
00000c93: CALLDATALOAD
00000c94: DUP1
00000c95: PUSH0
00000c96: MSTORE
00000c97: PUSH1 0x0c
00000c99: PUSH1 0x20
00000c9b: MSTORE
00000c9c: PUSH1 0xff
00000c9e: PUSH1 0x01
00000ca0: PUSH1 0x40
00000ca2: PUSH0
00000ca3: KECCAK256
00000ca4: ADD
00000ca5: SLOAD
00000ca6: PUSH1 0xc8
00000ca8: SHR
00000ca9: AND
00000caa: ISZERO
00000cab: PUSH2 0x071a
00000cae: JUMPI
00000caf: PUSH0
00000cb0: MSTORE
00000cb1: PUSH1 0x0c
00000cb3: PUSH1 0x20
00000cb5: MSTORE
00000cb6: PUSH1 0x20
00000cb8: PUSH1 0x40
00000cba: PUSH0
00000cbb: KECCAK256
00000cbc: SLOAD
00000cbd: PUSH1 0x80
00000cbf: SHR
00000cc0: ISZERO
00000cc1: PUSH1 0x40
00000cc3: MLOAD
00000cc4: SWAP1
00000cc5: DUP2
00000cc6: MSTORE
00000cc7: RETURN
00000cc8: JUMPDEST
00000cc9: CALLVALUE
00000cca: PUSH2 0x0411
00000ccd: JUMPI
00000cce: PUSH1 0x40
00000cd0: PUSH1 0x03
00000cd2: NOT
00000cd3: CALLDATASIZE
00000cd4: ADD
00000cd5: SLT
00000cd6: PUSH2 0x0411
00000cd9: JUMPI
00000cda: PUSH1 0x04
00000cdc: CALLDATALOAD
00000cdd: PUSH2 0x0ce4
00000ce0: PUSH2 0x2925
00000ce3: JUMP
00000ce4: JUMPDEST
00000ce5: PUSH2 0x0cec
00000ce8: PUSH2 0x319f
00000ceb: JUMP
00000cec: JUMPDEST
00000ced: DUP2
00000cee: PUSH0
00000cef: MSTORE
00000cf0: PUSH1 0x0c
00000cf2: PUSH1 0x20
00000cf4: MSTORE
00000cf5: PUSH1 0xff
00000cf7: PUSH1 0x01
00000cf9: PUSH1 0x40
00000cfb: PUSH0
00000cfc: KECCAK256
00000cfd: ADD
00000cfe: SLOAD
00000cff: PUSH1 0xc8
00000d01: SHR
00000d02: AND
00000d03: ISZERO
00000d04: PUSH2 0x069c
00000d07: JUMPI
00000d08: DUP2
00000d09: PUSH0
00000d0a: MSTORE
00000d0b: PUSH1 0x0c
00000d0d: PUSH1 0x20
00000d0f: MSTORE
00000d10: PUSH1 0x40
00000d12: PUSH0
00000d13: KECCAK256
00000d14: SLOAD
00000d15: PUSH1 0x80
00000d17: SHR
00000d18: ISZERO
00000d19: PUSH2 0x0d72
00000d1c: JUMPI
00000d1d: DUP2
00000d1e: PUSH0
00000d1f: MSTORE
00000d20: PUSH1 0x0c
00000d22: PUSH1 0x20
00000d24: MSTORE
00000d25: PUSH1 0x01
00000d27: PUSH1 0x01
00000d29: PUSH1 0xa0
00000d2b: SHL
00000d2c: SUB
00000d2d: PUSH1 0x01
00000d2f: PUSH1 0x40
00000d31: PUSH0
00000d32: KECCAK256
00000d33: ADD
00000d34: SLOAD
00000d35: AND
00000d36: CALLER
00000d37: SUB
00000d38: PUSH2 0x0640
00000d3b: JUMPI
00000d3c: DUP2
00000d3d: PUSH2 0x0d69
00000d40: PUSH1 0x20
00000d42: SWAP3
00000d43: PUSH32 0xf8e1a15aba9398e019f0b49df1a4fde98ee17ae345cb5f6b5e2c27f5033e8ce7
00000d64: SWAP5
00000d65: PUSH2 0x35ef
00000d68: JUMP
00000d69: JUMPDEST
00000d6a: PUSH2 0x0637
00000d6d: DUP2
00000d6e: PUSH2 0x3432
00000d71: JUMP
00000d72: JUMPDEST
00000d73: POP
00000d74: PUSH32 0x167274c900000000000000000000000000000000000000000000000000000000
00000d95: PUSH0
00000d96: MSTORE
00000d97: PUSH1 0x04
00000d99: MSTORE
00000d9a: PUSH1 0x24
00000d9c: PUSH0
00000d9d: REVERT
00000d9e: JUMPDEST
00000d9f: CALLVALUE
00000da0: PUSH2 0x0411
00000da3: JUMPI
00000da4: PUSH1 0x20
00000da6: PUSH1 0x03
00000da8: NOT
00000da9: CALLDATASIZE
00000daa: ADD
00000dab: SLT
00000dac: PUSH2 0x0411
00000daf: JUMPI
00000db0: PUSH1 0x04
00000db2: CALLDATALOAD
00000db3: DUP1
00000db4: PUSH0
00000db5: MSTORE
00000db6: PUSH1 0x0c
00000db8: PUSH1 0x20
00000dba: MSTORE
00000dbb: PUSH1 0xff
00000dbd: PUSH1 0x01
00000dbf: PUSH1 0x40
00000dc1: PUSH0
00000dc2: KECCAK256
00000dc3: ADD
00000dc4: SLOAD
00000dc5: PUSH1 0xc8
00000dc7: SHR
00000dc8: AND
00000dc9: ISZERO
00000dca: PUSH2 0x071a
00000dcd: JUMPI
00000dce: PUSH2 0x0564
00000dd1: PUSH1 0x20
00000dd3: SWAP2
00000dd4: PUSH2 0x3efe
00000dd7: JUMP
00000dd8: JUMPDEST
00000dd9: CALLVALUE
00000dda: PUSH2 0x0411
00000ddd: JUMPI
00000dde: PUSH0
00000ddf: PUSH1 0x03
00000de1: NOT
00000de2: CALLDATASIZE
00000de3: ADD
00000de4: SLT
00000de5: PUSH2 0x0411
00000de8: JUMPI
00000de9: PUSH1 0x20
00000deb: PUSH1 0x40
00000ded: MLOAD
00000dee: PUSH8 0x016345785d8a0000
00000df7: DUP2
00000df8: MSTORE
00000df9: RETURN
00000dfa: JUMPDEST
00000dfb: CALLVALUE
00000dfc: PUSH2 0x0411
00000dff: JUMPI
00000e00: PUSH1 0x20
00000e02: PUSH1 0x03
00000e04: NOT
00000e05: CALLDATASIZE
00000e06: ADD
00000e07: SLT
00000e08: PUSH2 0x0411
00000e0b: JUMPI
00000e0c: PUSH1 0x04
00000e0e: CALLDATALOAD
00000e0f: DUP1
00000e10: PUSH0
00000e11: MSTORE
00000e12: PUSH1 0x0c
00000e14: PUSH1 0x20
00000e16: MSTORE
00000e17: PUSH1 0xff
00000e19: PUSH1 0x01
00000e1b: PUSH1 0x40
00000e1d: PUSH0
00000e1e: KECCAK256
00000e1f: ADD
00000e20: SLOAD
00000e21: PUSH1 0xc8
00000e23: SHR
00000e24: AND
00000e25: ISZERO
00000e26: PUSH2 0x071a
00000e29: JUMPI
00000e2a: PUSH0
00000e2b: MSTORE
00000e2c: PUSH1 0x0c
00000e2e: PUSH1 0x20
00000e30: MSTORE
00000e31: PUSH1 0x20
00000e33: PUSH1 0x01
00000e35: PUSH1 0x01
00000e37: PUSH1 0xa0
00000e39: SHL
00000e3a: SUB
00000e3b: PUSH1 0x01
00000e3d: PUSH1 0x40
00000e3f: PUSH0
00000e40: KECCAK256
00000e41: ADD
00000e42: SLOAD
00000e43: AND
00000e44: PUSH1 0x40
00000e46: MLOAD
00000e47: SWAP1
00000e48: DUP2
00000e49: MSTORE
00000e4a: RETURN
00000e4b: JUMPDEST
00000e4c: CALLVALUE
00000e4d: PUSH2 0x0411
00000e50: JUMPI
00000e51: PUSH1 0x20
00000e53: PUSH1 0x03
00000e55: NOT
00000e56: CALLDATASIZE
00000e57: ADD
00000e58: SLT
00000e59: PUSH2 0x0411
00000e5c: JUMPI
00000e5d: PUSH1 0x04
00000e5f: CALLDATALOAD
00000e60: PUSH0
00000e61: MSTORE
00000e62: PUSH1 0x0c
00000e64: PUSH1 0x20
00000e66: MSTORE
00000e67: PUSH1 0x20
00000e69: PUSH1 0xff
00000e6b: PUSH1 0x01
00000e6d: PUSH1 0x40
00000e6f: PUSH0
00000e70: KECCAK256
00000e71: ADD
00000e72: SLOAD
00000e73: PUSH1 0xc8
00000e75: SHR
00000e76: AND
00000e77: PUSH1 0x40
00000e79: MLOAD
00000e7a: SWAP1
00000e7b: ISZERO
00000e7c: ISZERO
00000e7d: DUP2
00000e7e: MSTORE
00000e7f: RETURN
00000e80: JUMPDEST
00000e81: CALLVALUE
00000e82: PUSH2 0x0411
00000e85: JUMPI
00000e86: PUSH1 0x80
00000e88: PUSH1 0x03
00000e8a: NOT
00000e8b: CALLDATASIZE
00000e8c: ADD
00000e8d: SLT
00000e8e: PUSH2 0x0411
00000e91: JUMPI
00000e92: PUSH2 0x0e99
00000e95: PUSH2 0x28cd
00000e98: JUMP
00000e99: JUMPDEST
00000e9a: PUSH2 0x0ea1
00000e9d: PUSH2 0x28e3
00000ea0: JUMP
00000ea1: JUMPDEST
00000ea2: PUSH1 0x64
00000ea4: CALLDATALOAD
00000ea5: SWAP2
00000ea6: PUSH8 0xffffffffffffffff
00000eaf: DUP4
00000eb0: GT
00000eb1: PUSH2 0x0411
00000eb4: JUMPI
00000eb5: CALLDATASIZE
00000eb6: PUSH1 0x23
00000eb8: DUP5
00000eb9: ADD
00000eba: SLT
00000ebb: ISZERO
00000ebc: PUSH2 0x0411
00000ebf: JUMPI
00000ec0: DUP3
00000ec1: PUSH1 0x04
00000ec3: ADD
00000ec4: CALLDATALOAD
00000ec5: SWAP2
00000ec6: PUSH2 0x0ece
00000ec9: DUP4
00000eca: PUSH2 0x2a0a
00000ecd: JUMP
00000ece: JUMPDEST
00000ecf: SWAP3
00000ed0: PUSH2 0x0edc
00000ed3: PUSH1 0x40
00000ed5: MLOAD
00000ed6: SWAP5
00000ed7: DUP6
00000ed8: PUSH2 0x29c9
00000edb: JUMP
00000edc: JUMPDEST
00000edd: DUP1
00000ede: DUP5
00000edf: MSTORE
00000ee0: CALLDATASIZE
00000ee1: PUSH1 0x24
00000ee3: DUP3
00000ee4: DUP8
00000ee5: ADD
00000ee6: ADD
00000ee7: GT
00000ee8: PUSH2 0x0411
00000eeb: JUMPI
00000eec: PUSH1 0x20
00000eee: DUP2
00000eef: PUSH0
00000ef0: SWAP3
00000ef1: PUSH1 0x24
00000ef3: PUSH2 0x0f08
00000ef6: SWAP9
00000ef7: ADD
00000ef8: DUP4
00000ef9: DUP9
00000efa: ADD
00000efb: CALLDATACOPY
00000efc: DUP6
00000efd: ADD
00000efe: ADD
00000eff: MSTORE
00000f00: PUSH1 0x44
00000f02: CALLDATALOAD
00000f03: SWAP2
00000f04: PUSH2 0x2e07
00000f07: JUMP
00000f08: JUMPDEST
00000f09: STOP
00000f0a: JUMPDEST
00000f0b: CALLVALUE
00000f0c: PUSH2 0x0411
00000f0f: JUMPI
00000f10: PUSH1 0x20
00000f12: PUSH1 0x03
00000f14: NOT
00000f15: CALLDATASIZE
00000f16: ADD
00000f17: SLT
00000f18: PUSH2 0x0411
00000f1b: JUMPI
00000f1c: PUSH1 0x01
00000f1e: PUSH1 0x01
00000f20: PUSH1 0xa0
00000f22: SHL
00000f23: SUB
00000f24: PUSH2 0x0f2b
00000f27: PUSH2 0x28cd
00000f2a: JUMP
00000f2b: JUMPDEST
00000f2c: AND
00000f2d: PUSH0
00000f2e: MSTORE
00000f2f: PUSH1 0x0a
00000f31: PUSH1 0x20
00000f33: MSTORE
00000f34: PUSH1 0x20
00000f36: PUSH1 0x40
00000f38: PUSH0
00000f39: KECCAK256
00000f3a: SLOAD
00000f3b: PUSH1 0x40
00000f3d: MLOAD
00000f3e: SWAP1
00000f3f: DUP2
00000f40: MSTORE
00000f41: RETURN
00000f42: JUMPDEST
00000f43: CALLVALUE
00000f44: PUSH2 0x0411
00000f47: JUMPI
00000f48: PUSH1 0x80
00000f4a: PUSH1 0x03
00000f4c: NOT
00000f4d: CALLDATASIZE
00000f4e: ADD
00000f4f: SLT
00000f50: PUSH2 0x0411
00000f53: JUMPI
00000f54: PUSH1 0x04
00000f56: CALLDATALOAD
00000f57: PUSH2 0x0f5e
00000f5a: PUSH2 0x2925
00000f5d: JUMP
00000f5e: JUMPDEST
00000f5f: PUSH2 0x0f66
00000f62: PUSH2 0x28f9
00000f65: JUMP
00000f66: JUMPDEST
00000f67: PUSH2 0x0f6e
00000f6a: PUSH2 0x290f
00000f6d: JUMP
00000f6e: JUMPDEST
00000f6f: SWAP1
00000f70: PUSH2 0x0f77
00000f73: PUSH2 0x319f
00000f76: JUMP
00000f77: JUMPDEST
00000f78: DUP4
00000f79: PUSH0
00000f7a: MSTORE
00000f7b: PUSH1 0x0c
00000f7d: PUSH1 0x20
00000f7f: MSTORE
00000f80: PUSH1 0xff
00000f82: PUSH1 0x01
00000f84: PUSH1 0x40
00000f86: PUSH0
00000f87: KECCAK256
00000f88: ADD
00000f89: SLOAD
00000f8a: PUSH1 0xc8
00000f8c: SHR
00000f8d: AND
00000f8e: ISZERO
00000f8f: PUSH2 0x0c53
00000f92: JUMPI
00000f93: DUP4
00000f94: PUSH0
00000f95: MSTORE
00000f96: PUSH1 0x0c
00000f98: PUSH1 0x20
00000f9a: MSTORE
00000f9b: PUSH1 0xff
00000f9d: PUSH1 0x01
00000f9f: PUSH1 0x40
00000fa1: PUSH0
00000fa2: KECCAK256
00000fa3: ADD
00000fa4: SLOAD
00000fa5: PUSH1 0xd8
00000fa7: SHR
00000fa8: AND
00000fa9: PUSH2 0x0c27
00000fac: JUMPI
00000fad: PUSH1 0x20
00000faf: SWAP3
00000fb0: PUSH2 0x0fdf
00000fb3: DUP6
00000fb4: SWAP4
00000fb5: PUSH2 0x0637
00000fb8: SWAP4
00000fb9: PUSH32 0xf8e1a15aba9398e019f0b49df1a4fde98ee17ae345cb5f6b5e2c27f5033e8ce7
00000fda: SWAP8
00000fdb: PUSH2 0x3f38
00000fde: JUMP
00000fdf: JUMPDEST
00000fe0: DUP3
00000fe1: PUSH2 0x35ef
00000fe4: JUMP
00000fe5: JUMPDEST
00000fe6: CALLVALUE
00000fe7: PUSH2 0x0411
00000fea: JUMPI
00000feb: PUSH1 0x40
00000fed: PUSH1 0x03
00000fef: NOT
00000ff0: CALLDATASIZE
00000ff1: ADD
00000ff2: SLT
00000ff3: PUSH2 0x0411
00000ff6: JUMPI
00000ff7: PUSH2 0x0ffe
00000ffa: PUSH2 0x28cd
00000ffd: JUMP
00000ffe: JUMPDEST
00000fff: PUSH1 0x24
00001001: CALLDATALOAD
00001002: SWAP1
00001003: PUSH1 0x01
00001005: PUSH1 0x01
00001007: PUSH1 0xa0
00001009: SHL
0000100a: SUB
0000100b: PUSH0
0000100c: SLOAD
0000100d: AND
0000100e: CALLER
0000100f: DUP2
00001010: SUB
00001011: PUSH2 0x03e2
00001014: JUMPI
00001015: POP
00001016: PUSH8 0x016345785d8a0000
0000101f: DUP3
00001020: GT
00001021: PUSH2 0x1108
00001024: JUMPI
00001025: PUSH1 0x01
00001027: PUSH1 0x01
00001029: PUSH1 0xa0
0000102b: SHL
0000102c: SUB
0000102d: AND
0000102e: SWAP1
0000102f: DUP2
00001030: PUSH0
00001031: MSTORE
00001032: PUSH1 0x0a
00001034: PUSH1 0x20
00001036: MSTORE
00001037: PUSH1 0x40
00001039: PUSH0
0000103a: KECCAK256
0000103b: SLOAD
0000103c: SWAP1
0000103d: DUP3
0000103e: PUSH0
0000103f: MSTORE
00001040: PUSH1 0x0a
00001042: PUSH1 0x20
00001044: MSTORE
00001045: DUP1
00001046: PUSH1 0x40
00001048: PUSH0
00001049: KECCAK256
0000104a: SSTORE
0000104b: PUSH1 0x40
0000104d: MLOAD
0000104e: SWAP2
0000104f: DUP3
00001050: MSTORE
00001051: PUSH1 0x20
00001053: DUP3
00001054: ADD
00001055: MSTORE
00001056: PUSH32 0x371789a3d97098f3070492613273a065a7e8a19e009fd1ae92a4b4d4c71ed62d
00001077: PUSH1 0x40
00001079: CALLER
0000107a: SWAP3
0000107b: LOG3
0000107c: PUSH1 0x08
0000107e: SLOAD
0000107f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000010a0: DUP2
000010a1: ADD
000010a2: SWAP1
000010a3: DUP2
000010a4: GT
000010a5: PUSH2 0x10db
000010a8: JUMPI
000010a9: PUSH1 0x40
000010ab: PUSH32 0x6bd5c950a8d8df17f772f5af37cb3655737899cbf903264b9795592da439661c
000010cc: SWAP2
000010cd: DUP2
000010ce: MLOAD
000010cf: SWAP1
000010d0: PUSH1 0x01
000010d2: DUP3
000010d3: MSTORE
000010d4: PUSH1 0x20
000010d6: DUP3
000010d7: ADD
000010d8: MSTORE
000010d9: LOG1
000010da: STOP
000010db: JUMPDEST
000010dc: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000010fd: PUSH0
000010fe: MSTORE
000010ff: PUSH1 0x11
00001101: PUSH1 0x04
00001103: MSTORE
00001104: PUSH1 0x24
00001106: PUSH0
00001107: REVERT
00001108: JUMPDEST
00001109: POP
0000110a: PUSH32 0x3455317200000000000000000000000000000000000000000000000000000000
0000112b: PUSH0
0000112c: MSTORE
0000112d: PUSH1 0x04
0000112f: MSTORE
00001130: PUSH8 0x016345785d8a0000
00001139: PUSH1 0x24
0000113b: MSTORE
0000113c: PUSH1 0x44
0000113e: PUSH0
0000113f: REVERT
00001140: JUMPDEST
00001141: CALLVALUE
00001142: PUSH2 0x0411
00001145: JUMPI
00001146: PUSH1 0x20
00001148: PUSH1 0x03
0000114a: NOT
0000114b: CALLDATASIZE
0000114c: ADD
0000114d: SLT
0000114e: PUSH2 0x0411
00001151: JUMPI
00001152: PUSH1 0x04
00001154: CALLDATALOAD
00001155: DUP1
00001156: PUSH0
00001157: MSTORE
00001158: PUSH1 0x0c
0000115a: PUSH1 0x20
0000115c: MSTORE
0000115d: PUSH1 0xff
0000115f: PUSH1 0x01
00001161: PUSH1 0x40
00001163: PUSH0
00001164: KECCAK256
00001165: ADD
00001166: SLOAD
00001167: PUSH1 0xc8
00001169: SHR
0000116a: AND
0000116b: ISZERO
0000116c: PUSH2 0x071a
0000116f: JUMPI
00001170: PUSH0
00001171: MSTORE
00001172: PUSH1 0x0c
00001174: PUSH1 0x20
00001176: MSTORE
00001177: PUSH1 0x20
00001179: PUSH1 0xff
0000117b: PUSH1 0x01
0000117d: PUSH1 0x40
0000117f: PUSH0
00001180: KECCAK256
00001181: ADD
00001182: SLOAD
00001183: PUSH1 0xd0
00001185: SHR
00001186: AND
00001187: PUSH1 0x40
00001189: MLOAD
0000118a: SWAP1
0000118b: ISZERO
0000118c: ISZERO
0000118d: DUP2
0000118e: MSTORE
0000118f: RETURN
00001190: JUMPDEST
00001191: CALLVALUE
00001192: PUSH2 0x0411
00001195: JUMPI
00001196: PUSH1 0x20
00001198: PUSH1 0x03
0000119a: NOT
0000119b: CALLDATASIZE
0000119c: ADD
0000119d: SLT
0000119e: PUSH2 0x0411
000011a1: JUMPI
000011a2: PUSH1 0x04
000011a4: CALLDATALOAD
000011a5: DUP1
000011a6: PUSH0
000011a7: MSTORE
000011a8: PUSH1 0x0c
000011aa: PUSH1 0x20
000011ac: MSTORE
000011ad: PUSH1 0xff
000011af: PUSH1 0x01
000011b1: PUSH1 0x40
000011b3: PUSH0
000011b4: KECCAK256
000011b5: ADD
000011b6: SLOAD
000011b7: PUSH1 0xc8
000011b9: SHR
000011ba: AND
000011bb: ISZERO
000011bc: PUSH2 0x071a
000011bf: JUMPI
000011c0: PUSH2 0x11c8
000011c3: SWAP1
000011c4: PUSH2 0x2dac
000011c7: JUMP
000011c8: JUMPDEST
000011c9: PUSH1 0x40
000011cb: MLOAD
000011cc: PUSH1 0x05
000011ce: DUP3
000011cf: LT
000011d0: ISZERO
000011d1: PUSH2 0x11db
000011d4: JUMPI
000011d5: PUSH1 0x20
000011d7: SWAP2
000011d8: DUP2
000011d9: MSTORE
000011da: RETURN
000011db: JUMPDEST
000011dc: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000011fd: PUSH0
000011fe: MSTORE
000011ff: PUSH1 0x21
00001201: PUSH1 0x04
00001203: MSTORE
00001204: PUSH1 0x24
00001206: PUSH0
00001207: REVERT
00001208: JUMPDEST
00001209: CALLVALUE
0000120a: PUSH2 0x0411
0000120d: JUMPI
0000120e: PUSH1 0x40
00001210: PUSH1 0x03
00001212: NOT
00001213: CALLDATASIZE
00001214: ADD
00001215: SLT
00001216: PUSH2 0x0411
00001219: JUMPI
0000121a: PUSH1 0x04
0000121c: CALLDATALOAD
0000121d: PUSH2 0x1224
00001220: PUSH2 0x2925
00001223: JUMP
00001224: JUMPDEST
00001225: PUSH2 0x122c
00001228: PUSH2 0x319f
0000122b: JUMP
0000122c: JUMPDEST
0000122d: DUP2
0000122e: PUSH0
0000122f: MSTORE
00001230: PUSH1 0x0c
00001232: PUSH1 0x20
00001234: MSTORE
00001235: PUSH1 0xff
00001237: PUSH1 0x01
00001239: PUSH1 0x40
0000123b: PUSH0
0000123c: KECCAK256
0000123d: ADD
0000123e: SLOAD
0000123f: PUSH1 0xc8
00001241: SHR
00001242: AND
00001243: ISZERO
00001244: PUSH2 0x069c
00001247: JUMPI
00001248: DUP2
00001249: PUSH0
0000124a: MSTORE
0000124b: PUSH1 0x0c
0000124d: PUSH1 0x20
0000124f: MSTORE
00001250: PUSH1 0x40
00001252: PUSH0
00001253: KECCAK256
00001254: SLOAD
00001255: PUSH1 0x80
00001257: SHR
00001258: ISZERO
00001259: PUSH2 0x0d72
0000125c: JUMPI
0000125d: DUP2
0000125e: PUSH0
0000125f: MSTORE
00001260: PUSH1 0x0c
00001262: PUSH1 0x20
00001264: MSTORE
00001265: PUSH1 0x01
00001267: PUSH1 0x01
00001269: PUSH1 0xa0
0000126b: SHL
0000126c: SUB
0000126d: PUSH1 0x01
0000126f: PUSH1 0x40
00001271: PUSH0
00001272: KECCAK256
00001273: ADD
00001274: SLOAD
00001275: AND
00001276: CALLER
00001277: SUB
00001278: PUSH2 0x0640
0000127b: JUMPI
0000127c: DUP2
0000127d: DUP1
0000127e: PUSH32 0xfddf01d0842635e80929251f6862b3baf136a29f2b2fb148968e8b236d5785fe
0000129f: PUSH1 0x60
000012a1: PUSH1 0x20
000012a3: SWAP5
000012a4: PUSH32 0xf8e1a15aba9398e019f0b49df1a4fde98ee17ae345cb5f6b5e2c27f5033e8ce7
000012c5: SWAP7
000012c6: PUSH0
000012c7: MSTORE
000012c8: PUSH1 0x0c
000012ca: DUP7
000012cb: MSTORE
000012cc: PUSH16 0xffffffffffffffffffffffffffffffff
000012dd: PUSH1 0x40
000012df: PUSH0
000012e0: KECCAK256
000012e1: SLOAD
000012e2: PUSH1 0x80
000012e4: SHR
000012e5: SWAP2
000012e6: PUSH2 0x12ef
000012e9: DUP2
000012ea: DUP8
000012eb: PUSH2 0x3dcd
000012ee: JUMP
000012ef: JUMPDEST
000012f0: PUSH2 0x12f8
000012f3: DUP7
000012f4: PUSH2 0x315d
000012f7: JUMP
000012f8: JUMPDEST
000012f9: SWAP3
000012fa: PUSH1 0x40
000012fc: MLOAD
000012fd: SWAP4
000012fe: DUP5
000012ff: MSTORE
00001300: DUP9
00001301: DUP5
00001302: ADD
00001303: MSTORE
00001304: AND
00001305: PUSH1 0x40
00001307: DUP3
00001308: ADD
00001309: MSTORE
0000130a: LOG2
0000130b: PUSH1 0x40
0000130d: MLOAD
0000130e: SWAP1
0000130f: DUP2
00001310: MSTORE
00001311: LOG1
00001312: STOP
00001313: JUMPDEST
00001314: CALLVALUE
00001315: PUSH2 0x0411
00001318: JUMPI
00001319: PUSH1 0x20
0000131b: PUSH1 0x03
0000131d: NOT
0000131e: CALLDATASIZE
0000131f: ADD
00001320: SLT
00001321: PUSH2 0x0411
00001324: JUMPI
00001325: PUSH1 0x04
00001327: CALLDATALOAD
00001328: DUP1
00001329: PUSH0
0000132a: MSTORE
0000132b: PUSH1 0x0c
0000132d: PUSH1 0x20
0000132f: MSTORE
00001330: PUSH1 0xff
00001332: PUSH1 0x01
00001334: PUSH1 0x40
00001336: PUSH0
00001337: KECCAK256
00001338: ADD
00001339: SLOAD
0000133a: PUSH1 0xc8
0000133c: SHR
0000133d: AND
0000133e: ISZERO
0000133f: PUSH2 0x071a
00001342: JUMPI
00001343: PUSH0
00001344: MSTORE
00001345: PUSH1 0x0c
00001347: PUSH1 0x20
00001349: MSTORE
0000134a: PUSH1 0x20
0000134c: PUSH1 0xff
0000134e: PUSH1 0x02
00001350: PUSH1 0x40
00001352: PUSH0
00001353: KECCAK256
00001354: ADD
00001355: SLOAD
00001356: PUSH1 0xa0
00001358: SHR
00001359: AND
0000135a: PUSH1 0x40
0000135c: MLOAD
0000135d: SWAP1
0000135e: DUP2
0000135f: MSTORE
00001360: RETURN
00001361: JUMPDEST
00001362: CALLVALUE
00001363: PUSH2 0x0411
00001366: JUMPI
00001367: PUSH1 0x40
00001369: PUSH1 0x03
0000136b: NOT
0000136c: CALLDATASIZE
0000136d: ADD
0000136e: SLT
0000136f: PUSH2 0x0411
00001372: JUMPI
00001373: PUSH2 0x137a
00001376: PUSH2 0x28cd
00001379: JUMP
0000137a: JUMPDEST
0000137b: PUSH1 0x24
0000137d: CALLDATALOAD
0000137e: SWAP1
0000137f: DUP2
00001380: ISZERO
00001381: ISZERO
00001382: DUP1
00001383: SWAP3
00001384: SUB
00001385: PUSH2 0x0411
00001388: JUMPI
00001389: PUSH1 0x01
0000138b: PUSH1 0x01
0000138d: PUSH1 0xa0
0000138f: SHL
00001390: SUB
00001391: AND
00001392: SWAP1
00001393: DUP2
00001394: ISZERO
00001395: PUSH2 0x1407
00001398: JUMPI
00001399: CALLER
0000139a: PUSH0
0000139b: MSTORE
0000139c: PUSH1 0x06
0000139e: PUSH1 0x20
000013a0: MSTORE
000013a1: PUSH1 0x40
000013a3: PUSH0
000013a4: KECCAK256
000013a5: DUP3
000013a6: PUSH0
000013a7: MSTORE
000013a8: PUSH1 0x20
000013aa: MSTORE
000013ab: PUSH1 0x40
000013ad: PUSH0
000013ae: KECCAK256
000013af: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000013d0: DUP2
000013d1: SLOAD
000013d2: AND
000013d3: PUSH1 0xff
000013d5: DUP4
000013d6: AND
000013d7: OR
000013d8: SWAP1
000013d9: SSTORE
000013da: PUSH1 0x40
000013dc: MLOAD
000013dd: SWAP1
000013de: DUP2
000013df: MSTORE
000013e0: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00001401: PUSH1 0x20
00001403: CALLER
00001404: SWAP3
00001405: LOG3
00001406: STOP
00001407: JUMPDEST
00001408: POP
00001409: PUSH32 0x5b08ba1800000000000000000000000000000000000000000000000000000000
0000142a: PUSH0
0000142b: MSTORE
0000142c: PUSH1 0x04
0000142e: MSTORE
0000142f: PUSH1 0x24
00001431: PUSH0
00001432: REVERT
00001433: JUMPDEST
00001434: CALLVALUE
00001435: PUSH2 0x0411
00001438: JUMPI
00001439: PUSH0
0000143a: PUSH1 0x03
0000143c: NOT
0000143d: CALLDATASIZE
0000143e: ADD
0000143f: SLT
00001440: PUSH2 0x0411
00001443: JUMPI
00001444: PUSH1 0x40
00001446: MLOAD
00001447: PUSH0
00001448: PUSH1 0x02
0000144a: SLOAD
0000144b: DUP1
0000144c: PUSH1 0x01
0000144e: SHR
0000144f: SWAP1
00001450: PUSH1 0x01
00001452: DUP2
00001453: AND
00001454: DUP1
00001455: ISZERO
00001456: PUSH2 0x1568
00001459: JUMPI
0000145a: JUMPDEST
0000145b: PUSH1 0x20
0000145d: DUP4
0000145e: LT
0000145f: DUP2
00001460: EQ
00001461: PUSH2 0x153b
00001464: JUMPI
00001465: DUP3
00001466: DUP6
00001467: MSTORE
00001468: SWAP1
00001469: DUP2
0000146a: ISZERO
0000146b: PUSH2 0x14f9
0000146e: JUMPI
0000146f: POP
00001470: PUSH1 0x01
00001472: EQ
00001473: PUSH2 0x149b
00001476: JUMPI
00001477: JUMPDEST
00001478: PUSH2 0x04bc
0000147b: DUP4
0000147c: PUSH2 0x1487
0000147f: DUP2
00001480: DUP6
00001481: SUB
00001482: DUP3
00001483: PUSH2 0x29c9
00001486: JUMP
00001487: JUMPDEST
00001488: PUSH1 0x40
0000148a: MLOAD
0000148b: SWAP2
0000148c: DUP3
0000148d: SWAP2
0000148e: PUSH1 0x20
00001490: DUP4
00001491: MSTORE
00001492: PUSH1 0x20
00001494: DUP4
00001495: ADD
00001496: SWAP1
00001497: PUSH2 0x288a
0000149a: JUMP
0000149b: JUMPDEST
0000149c: SWAP2
0000149d: SWAP1
0000149e: POP
0000149f: PUSH1 0x02
000014a1: PUSH0
000014a2: MSTORE
000014a3: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace
000014c4: SWAP2
000014c5: PUSH0
000014c6: SWAP1
000014c7: JUMPDEST
000014c8: DUP1
000014c9: DUP3
000014ca: LT
000014cb: PUSH2 0x14df
000014ce: JUMPI
000014cf: POP
000014d0: SWAP1
000014d1: SWAP2
000014d2: POP
000014d3: DUP2
000014d4: ADD
000014d5: PUSH1 0x20
000014d7: ADD
000014d8: PUSH2 0x1487
000014db: PUSH2 0x1477
000014de: JUMP
000014df: JUMPDEST
000014e0: SWAP2
000014e1: SWAP3
000014e2: PUSH1 0x01
000014e4: DUP2
000014e5: PUSH1 0x20
000014e7: SWAP3
000014e8: SLOAD
000014e9: DUP4
000014ea: DUP6
000014eb: DUP9
000014ec: ADD
000014ed: ADD
000014ee: MSTORE
000014ef: ADD
000014f0: SWAP2
000014f1: ADD
000014f2: SWAP1
000014f3: SWAP3
000014f4: SWAP2
000014f5: PUSH2 0x14c7
000014f8: JUMP
000014f9: JUMPDEST
000014fa: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
0000151b: AND
0000151c: PUSH1 0x20
0000151e: DUP1
0000151f: DUP7
00001520: ADD
00001521: SWAP2
00001522: SWAP1
00001523: SWAP2
00001524: MSTORE
00001525: SWAP2
00001526: ISZERO
00001527: ISZERO
00001528: PUSH1 0x05
0000152a: SHL
0000152b: DUP5
0000152c: ADD
0000152d: SWAP1
0000152e: SWAP2
0000152f: ADD
00001530: SWAP2
00001531: POP
00001532: PUSH2 0x1487
00001535: SWAP1
00001536: POP
00001537: PUSH2 0x1477
0000153a: JUMP
0000153b: JUMPDEST
0000153c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000155d: PUSH0
0000155e: MSTORE
0000155f: PUSH1 0x22
00001561: PUSH1 0x04
00001563: MSTORE
00001564: PUSH1 0x24
00001566: PUSH0
00001567: REVERT
00001568: JUMPDEST
00001569: SWAP2
0000156a: PUSH1 0x7f
0000156c: AND
0000156d: SWAP2
0000156e: PUSH2 0x145a
00001571: JUMP
00001572: JUMPDEST
00001573: CALLVALUE
00001574: PUSH2 0x0411
00001577: JUMPI
00001578: PUSH1 0x20
0000157a: PUSH1 0x03
0000157c: NOT
0000157d: CALLDATASIZE
0000157e: ADD
0000157f: SLT
00001580: PUSH2 0x0411
00001583: JUMPI
00001584: PUSH1 0x04
00001586: CALLDATALOAD
00001587: PUSH0
00001588: PUSH2 0x0120
0000158b: PUSH1 0x40
0000158d: MLOAD
0000158e: PUSH2 0x1596
00001591: DUP2
00001592: PUSH2 0x29ac
00001595: JUMP
00001596: JUMPDEST
00001597: DUP3
00001598: DUP2
00001599: MSTORE
0000159a: DUP3
0000159b: PUSH1 0x20
0000159d: DUP3
0000159e: ADD
0000159f: MSTORE
000015a0: DUP3
000015a1: PUSH1 0x40
000015a3: DUP3
000015a4: ADD
000015a5: MSTORE
000015a6: DUP3
000015a7: PUSH1 0x60
000015a9: DUP3
000015aa: ADD
000015ab: MSTORE
000015ac: DUP3
000015ad: PUSH1 0x80
000015af: DUP3
000015b0: ADD
000015b1: MSTORE
000015b2: DUP3
000015b3: PUSH1 0xa0
000015b5: DUP3
000015b6: ADD
000015b7: MSTORE
000015b8: DUP3
000015b9: PUSH1 0xc0
000015bb: DUP3
000015bc: ADD
000015bd: MSTORE
000015be: DUP3
000015bf: PUSH1 0xe0
000015c1: DUP3
000015c2: ADD
000015c3: MSTORE
000015c4: DUP3
000015c5: PUSH2 0x0100
000015c8: DUP3
000015c9: ADD
000015ca: MSTORE
000015cb: ADD
000015cc: MSTORE
000015cd: DUP1
000015ce: PUSH0
000015cf: MSTORE
000015d0: PUSH1 0x0c
000015d2: PUSH1 0x20
000015d4: MSTORE
000015d5: PUSH1 0xff
000015d7: PUSH1 0x01
000015d9: PUSH1 0x40
000015db: PUSH0
000015dc: KECCAK256
000015dd: ADD
000015de: SLOAD
000015df: PUSH1 0xc8
000015e1: SHR
000015e2: AND
000015e3: ISZERO
000015e4: PUSH2 0x071a
000015e7: JUMPI
000015e8: PUSH0
000015e9: MSTORE
000015ea: PUSH1 0x0c
000015ec: PUSH1 0x20
000015ee: MSTORE
000015ef: PUSH1 0x40
000015f1: PUSH0
000015f2: KECCAK256
000015f3: PUSH1 0x40
000015f5: MLOAD
000015f6: PUSH2 0x15fe
000015f9: DUP2
000015fa: PUSH2 0x29ac
000015fd: JUMP
000015fe: JUMPDEST
000015ff: DUP2
00001600: SLOAD
00001601: PUSH16 0xffffffffffffffffffffffffffffffff
00001612: DUP2
00001613: AND
00001614: SWAP3
00001615: DUP4
00001616: DUP4
00001617: MSTORE
00001618: PUSH1 0x20
0000161a: DUP4
0000161b: ADD
0000161c: SWAP2
0000161d: PUSH1 0x80
0000161f: SHR
00001620: DUP3
00001621: MSTORE
00001622: PUSH1 0x01
00001624: DUP2
00001625: ADD
00001626: SLOAD
00001627: PUSH1 0x40
00001629: DUP5
0000162a: ADD
0000162b: PUSH1 0x01
0000162d: PUSH1 0x01
0000162f: PUSH1 0xa0
00001631: SHL
00001632: SUB
00001633: DUP3
00001634: AND
00001635: DUP2
00001636: MSTORE
00001637: PUSH1 0x60
00001639: DUP6
0000163a: ADD
0000163b: DUP3
0000163c: PUSH1 0xa0
0000163e: SHR
0000163f: PUSH5 0xffffffffff
00001645: AND
00001646: DUP2
00001647: MSTORE
00001648: PUSH1 0x80
0000164a: DUP7
0000164b: ADD
0000164c: SWAP1
0000164d: DUP4
0000164e: PUSH1 0xc8
00001650: SHR
00001651: PUSH1 0xff
00001653: AND
00001654: ISZERO
00001655: ISZERO
00001656: DUP3
00001657: MSTORE
00001658: PUSH1 0xa0
0000165a: DUP8
0000165b: ADD
0000165c: SWAP3
0000165d: DUP5
0000165e: PUSH1 0xd0
00001660: SHR
00001661: PUSH1 0xff
00001663: AND
00001664: ISZERO
00001665: ISZERO
00001666: DUP5
00001667: MSTORE
00001668: PUSH1 0xc0
0000166a: DUP9
0000166b: ADD
0000166c: SWAP5
0000166d: PUSH1 0xd8
0000166f: SHR
00001670: PUSH1 0xff
00001672: AND
00001673: ISZERO
00001674: ISZERO
00001675: DUP6
00001676: MSTORE
00001677: PUSH1 0x02
00001679: DUP7
0000167a: ADD
0000167b: SLOAD
0000167c: SWAP7
0000167d: PUSH1 0xe0
0000167f: DUP10
00001680: ADD
00001681: SWAP7
00001682: PUSH1 0x01
00001684: PUSH1 0x01
00001686: PUSH1 0xa0
00001688: SHL
00001689: SUB
0000168a: DUP10
0000168b: AND
0000168c: DUP9
0000168d: MSTORE
0000168e: PUSH2 0x0100
00001691: DUP11
00001692: ADD
00001693: SWAP9
00001694: PUSH1 0xa0
00001696: SHR
00001697: PUSH1 0xff
00001699: AND
0000169a: DUP10
0000169b: MSTORE
0000169c: PUSH1 0x03
0000169e: ADD
0000169f: SLOAD
000016a0: SWAP9
000016a1: PUSH2 0x0120
000016a4: ADD
000016a5: SWAP9
000016a6: DUP10
000016a7: MSTORE
000016a8: PUSH1 0x40
000016aa: MLOAD
000016ab: SWAP10
000016ac: DUP11
000016ad: MSTORE
000016ae: MLOAD
000016af: PUSH16 0xffffffffffffffffffffffffffffffff
000016c0: AND
000016c1: PUSH1 0x20
000016c3: DUP11
000016c4: ADD
000016c5: MSTORE
000016c6: MLOAD
000016c7: PUSH1 0x01
000016c9: PUSH1 0x01
000016cb: PUSH1 0xa0
000016cd: SHL
000016ce: SUB
000016cf: AND
000016d0: PUSH1 0x40
000016d2: DUP10
000016d3: ADD
000016d4: MSTORE
000016d5: MLOAD
000016d6: PUSH5 0xffffffffff
000016dc: AND
000016dd: PUSH1 0x60
000016df: DUP9
000016e0: ADD
000016e1: MSTORE
000016e2: MLOAD
000016e3: ISZERO
000016e4: ISZERO
000016e5: PUSH1 0x80
000016e7: DUP8
000016e8: ADD
000016e9: MSTORE
000016ea: MLOAD
000016eb: ISZERO
000016ec: ISZERO
000016ed: PUSH1 0xa0
000016ef: DUP7
000016f0: ADD
000016f1: MSTORE
000016f2: MLOAD
000016f3: ISZERO
000016f4: ISZERO
000016f5: PUSH1 0xc0
000016f7: DUP6
000016f8: ADD
000016f9: MSTORE
000016fa: MLOAD
000016fb: PUSH1 0x01
000016fd: PUSH1 0x01
000016ff: PUSH1 0xa0
00001701: SHL
00001702: SUB
00001703: AND
00001704: PUSH1 0xe0
00001706: DUP5
00001707: ADD
00001708: MSTORE
00001709: MLOAD
0000170a: PUSH1 0xff
0000170c: AND
0000170d: PUSH2 0x0100
00001710: DUP4
00001711: ADD
00001712: MSTORE
00001713: MLOAD
00001714: PUSH2 0x0120
00001717: DUP3
00001718: ADD
00001719: MSTORE
0000171a: PUSH2 0x0140
0000171d: SWAP1
0000171e: RETURN
0000171f: JUMPDEST
00001720: CALLVALUE
00001721: PUSH2 0x0411
00001724: JUMPI
00001725: PUSH1 0x40
00001727: PUSH1 0x03
00001729: NOT
0000172a: CALLDATASIZE
0000172b: ADD
0000172c: SLT
0000172d: PUSH2 0x0411
00001730: JUMPI
00001731: PUSH1 0x04
00001733: CALLDATALOAD
00001734: PUSH2 0x173b
00001737: PUSH2 0x2925
0000173a: JUMP
0000173b: JUMPDEST
0000173c: PUSH2 0x1743
0000173f: PUSH2 0x319f
00001742: JUMP
00001743: JUMPDEST
00001744: DUP2
00001745: PUSH0
00001746: MSTORE
00001747: PUSH1 0x0c
00001749: PUSH1 0x20
0000174b: MSTORE
0000174c: PUSH1 0xff
0000174e: PUSH1 0x01
00001750: PUSH1 0x40
00001752: PUSH0
00001753: KECCAK256
00001754: ADD
00001755: SLOAD
00001756: PUSH1 0xc8
00001758: SHR
00001759: AND
0000175a: ISZERO
0000175b: PUSH2 0x069c
0000175e: JUMPI
0000175f: DUP2
00001760: PUSH0
00001761: MSTORE
00001762: PUSH1 0x0c
00001764: PUSH1 0x20
00001766: MSTORE
00001767: PUSH1 0x01
00001769: PUSH1 0x01
0000176b: PUSH1 0xa0
0000176d: SHL
0000176e: SUB
0000176f: PUSH1 0x01
00001771: PUSH1 0x40
00001773: PUSH0
00001774: KECCAK256
00001775: ADD
00001776: SLOAD
00001777: AND
00001778: CALLER
00001779: SUB
0000177a: PUSH2 0x0640
0000177d: JUMPI
0000177e: DUP2
0000177f: PUSH2 0x0637
00001782: PUSH1 0x20
00001784: SWAP3
00001785: PUSH32 0xf8e1a15aba9398e019f0b49df1a4fde98ee17ae345cb5f6b5e2c27f5033e8ce7
000017a6: SWAP5
000017a7: PUSH2 0x325d
000017aa: JUMP
000017ab: JUMPDEST
000017ac: CALLVALUE
000017ad: PUSH2 0x0411
000017b0: JUMPI
000017b1: PUSH1 0x20
000017b3: PUSH1 0x03
000017b5: NOT
000017b6: CALLDATASIZE
000017b7: ADD
000017b8: SLT
000017b9: PUSH2 0x0411
000017bc: JUMPI
000017bd: PUSH1 0x04
000017bf: CALLDATALOAD
000017c0: DUP1
000017c1: PUSH0
000017c2: MSTORE
000017c3: PUSH1 0x0c
000017c5: PUSH1 0x20
000017c7: MSTORE
000017c8: PUSH1 0xff
000017ca: PUSH1 0x01
000017cc: PUSH1 0x40
000017ce: PUSH0
000017cf: KECCAK256
000017d0: ADD
000017d1: SLOAD
000017d2: PUSH1 0xc8
000017d4: SHR
000017d5: AND
000017d6: ISZERO
000017d7: PUSH2 0x071a
000017da: JUMPI
000017db: PUSH0
000017dc: MSTORE
000017dd: PUSH1 0x0c
000017df: PUSH1 0x20
000017e1: MSTORE
000017e2: PUSH1 0x20
000017e4: PUSH1 0x40
000017e6: PUSH0
000017e7: KECCAK256
000017e8: SLOAD
000017e9: PUSH1 0x80
000017eb: SHR
000017ec: PUSH1 0x40
000017ee: MLOAD
000017ef: SWAP1
000017f0: DUP2
000017f1: MSTORE
000017f2: RETURN
000017f3: JUMPDEST
000017f4: CALLVALUE
000017f5: PUSH2 0x0411
000017f8: JUMPI
000017f9: PUSH1 0x20
000017fb: PUSH1 0x03
000017fd: NOT
000017fe: CALLDATASIZE
000017ff: ADD
00001800: SLT
00001801: PUSH2 0x0411
00001804: JUMPI
00001805: PUSH1 0x04
00001807: CALLDATALOAD
00001808: DUP1
00001809: PUSH0
0000180a: MSTORE
0000180b: PUSH1 0x0c
0000180d: PUSH1 0x20
0000180f: MSTORE
00001810: PUSH1 0xff
00001812: PUSH1 0x01
00001814: PUSH1 0x40
00001816: PUSH0
00001817: KECCAK256
00001818: ADD
00001819: SLOAD
0000181a: PUSH1 0xc8
0000181c: SHR
0000181d: AND
0000181e: ISZERO
0000181f: PUSH2 0x071a
00001822: JUMPI
00001823: PUSH2 0x0564
00001826: PUSH1 0x20
00001828: SWAP2
00001829: PUSH2 0x3d7d
0000182c: JUMP
0000182d: JUMPDEST
0000182e: CALLVALUE
0000182f: PUSH2 0x0411
00001832: JUMPI
00001833: PUSH1 0x20
00001835: PUSH1 0x03
00001837: NOT
00001838: CALLDATASIZE
00001839: ADD
0000183a: SLT
0000183b: PUSH2 0x0411
0000183e: JUMPI
0000183f: PUSH1 0x04
00001841: CALLDATALOAD
00001842: PUSH1 0x01
00001844: PUSH1 0x01
00001846: PUSH1 0xa0
00001848: SHL
00001849: SUB
0000184a: DUP2
0000184b: AND
0000184c: DUP1
0000184d: SWAP2
0000184e: SUB
0000184f: PUSH2 0x0411
00001852: JUMPI
00001853: PUSH1 0x01
00001855: PUSH1 0x01
00001857: PUSH1 0xa0
00001859: SHL
0000185a: SUB
0000185b: PUSH0
0000185c: SLOAD
0000185d: AND
0000185e: CALLER
0000185f: DUP2
00001860: SUB
00001861: PUSH2 0x03e2
00001864: JUMPI
00001865: POP
00001866: PUSH1 0x09
00001868: SLOAD
00001869: SWAP1
0000186a: DUP1
0000186b: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000188c: DUP4
0000188d: AND
0000188e: OR
0000188f: PUSH1 0x09
00001891: SSTORE
00001892: PUSH1 0x01
00001894: PUSH1 0x01
00001896: PUSH1 0xa0
00001898: SHL
00001899: SUB
0000189a: PUSH1 0x40
0000189c: MLOAD
0000189d: SWAP3
0000189e: AND
0000189f: DUP3
000018a0: MSTORE
000018a1: PUSH1 0x20
000018a3: DUP3
000018a4: ADD
000018a5: MSTORE
000018a6: PUSH32 0xa2548bd4b805e907c1558a47b5858324fe8bb4a2e1ddfca647eecbf65610eebc
000018c7: PUSH1 0x40
000018c9: CALLER
000018ca: SWAP3
000018cb: LOG2
000018cc: PUSH1 0x08
000018ce: SLOAD
000018cf: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000018f0: DUP2
000018f1: ADD
000018f2: SWAP1
000018f3: DUP2
000018f4: GT
000018f5: PUSH2 0x10db
000018f8: JUMPI
000018f9: PUSH1 0x40
000018fb: PUSH32 0x6bd5c950a8d8df17f772f5af37cb3655737899cbf903264b9795592da439661c
0000191c: SWAP2
0000191d: DUP2
0000191e: MLOAD
0000191f: SWAP1
00001920: PUSH1 0x01
00001922: DUP3
00001923: MSTORE
00001924: PUSH1 0x20
00001926: DUP3
00001927: ADD
00001928: MSTORE
00001929: LOG1
0000192a: STOP
0000192b: JUMPDEST
0000192c: CALLVALUE
0000192d: PUSH2 0x0411
00001930: JUMPI
00001931: PUSH1 0x20
00001933: PUSH1 0x03
00001935: NOT
00001936: CALLDATASIZE
00001937: ADD
00001938: SLT
00001939: PUSH2 0x0411
0000193c: JUMPI
0000193d: PUSH2 0x1944
00001940: PUSH2 0x28cd
00001943: JUMP
00001944: JUMPDEST
00001945: PUSH0
00001946: SLOAD
00001947: PUSH1 0x01
00001949: PUSH1 0x01
0000194b: PUSH1 0xa0
0000194d: SHL
0000194e: SUB
0000194f: DUP2
00001950: AND
00001951: CALLER
00001952: DUP2
00001953: SUB
00001954: PUSH2 0x03e2
00001957: JUMPI
00001958: POP
00001959: PUSH1 0x01
0000195b: PUSH1 0x01
0000195d: PUSH1 0xa0
0000195f: SHL
00001960: SUB
00001961: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001982: SWAP3
00001983: AND
00001984: SWAP2
00001985: DUP3
00001986: SWAP2
00001987: AND
00001988: OR
00001989: PUSH0
0000198a: SSTORE
0000198b: CALLER
0000198c: PUSH32 0xbdd36143ee09de60bdefca70680e0f71189b2ed7acee364b53917ad433fdaf80
000019ad: PUSH0
000019ae: DUP1
000019af: LOG3
000019b0: STOP
000019b1: JUMPDEST
000019b2: CALLVALUE
000019b3: PUSH2 0x0411
000019b6: JUMPI
000019b7: PUSH1 0x20
000019b9: PUSH1 0x03
000019bb: NOT
000019bc: CALLDATASIZE
000019bd: ADD
000019be: SLT
000019bf: PUSH2 0x0411
000019c2: JUMPI
000019c3: PUSH1 0x01
000019c5: PUSH1 0x01
000019c7: PUSH1 0xa0
000019c9: SHL
000019ca: SUB
000019cb: PUSH2 0x19d2
000019ce: PUSH2 0x28cd
000019d1: JUMP
000019d2: JUMPDEST
000019d3: AND
000019d4: DUP1
000019d5: ISZERO
000019d6: PUSH2 0x19ef
000019d9: JUMPI
000019da: PUSH0
000019db: MSTORE
000019dc: PUSH1 0x04
000019de: PUSH1 0x20
000019e0: MSTORE
000019e1: PUSH1 0x20
000019e3: PUSH1 0x40
000019e5: PUSH0
000019e6: KECCAK256
000019e7: SLOAD
000019e8: PUSH1 0x40
000019ea: MLOAD
000019eb: SWAP1
000019ec: DUP2
000019ed: MSTORE
000019ee: RETURN
000019ef: JUMPDEST
000019f0: PUSH32 0x89c62b6400000000000000000000000000000000000000000000000000000000
00001a11: PUSH0
00001a12: MSTORE
00001a13: PUSH0
00001a14: PUSH1 0x04
00001a16: MSTORE
00001a17: PUSH1 0x24
00001a19: PUSH0
00001a1a: REVERT
00001a1b: JUMPDEST
00001a1c: CALLVALUE
00001a1d: PUSH2 0x0411
00001a20: JUMPI
00001a21: PUSH1 0x20
00001a23: PUSH1 0x03
00001a25: NOT
00001a26: CALLDATASIZE
00001a27: ADD
00001a28: SLT
00001a29: PUSH2 0x0411
00001a2c: JUMPI
00001a2d: PUSH1 0x04
00001a2f: CALLDATALOAD
00001a30: DUP1
00001a31: PUSH0
00001a32: MSTORE
00001a33: PUSH1 0x0c
00001a35: PUSH1 0x20
00001a37: MSTORE
00001a38: PUSH1 0xff
00001a3a: PUSH1 0x01
00001a3c: PUSH1 0x40
00001a3e: PUSH0
00001a3f: KECCAK256
00001a40: ADD
00001a41: SLOAD
00001a42: PUSH1 0xc8
00001a44: SHR
00001a45: AND
00001a46: ISZERO
00001a47: PUSH2 0x071a
00001a4a: JUMPI
00001a4b: PUSH0
00001a4c: MSTORE
00001a4d: PUSH1 0x03
00001a4f: PUSH1 0x20
00001a51: MSTORE
00001a52: PUSH1 0x20
00001a54: PUSH1 0x01
00001a56: PUSH1 0x01
00001a58: PUSH1 0xa0
00001a5a: SHL
00001a5b: SUB
00001a5c: PUSH1 0x40
00001a5e: PUSH0
00001a5f: KECCAK256
00001a60: SLOAD
00001a61: AND
00001a62: PUSH1 0x40
00001a64: MLOAD
00001a65: SWAP1
00001a66: DUP2
00001a67: MSTORE
00001a68: RETURN
00001a69: JUMPDEST
00001a6a: CALLVALUE
00001a6b: PUSH2 0x0411
00001a6e: JUMPI
00001a6f: PUSH1 0x40
00001a71: PUSH1 0x03
00001a73: NOT
00001a74: CALLDATASIZE
00001a75: ADD
00001a76: SLT
00001a77: PUSH2 0x0411
00001a7a: JUMPI
00001a7b: PUSH2 0x1a82
00001a7e: PUSH2 0x28cd
00001a81: JUMP
00001a82: JUMPDEST
00001a83: PUSH2 0x1a8a
00001a86: PUSH2 0x28e3
00001a89: JUMP
00001a8a: JUMPDEST
00001a8b: PUSH1 0x01
00001a8d: PUSH1 0x01
00001a8f: PUSH1 0xa0
00001a91: SHL
00001a92: SUB
00001a93: PUSH0
00001a94: SLOAD
00001a95: AND
00001a96: CALLER
00001a97: DUP2
00001a98: SUB
00001a99: PUSH2 0x03e2
00001a9c: JUMPI
00001a9d: POP
00001a9e: PUSH1 0x01
00001aa0: PUSH1 0x01
00001aa2: PUSH1 0xa0
00001aa4: SHL
00001aa5: SUB
00001aa6: DUP3
00001aa7: AND
00001aa8: SWAP2
00001aa9: PUSH1 0x40
00001aab: MLOAD
00001aac: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001acd: DUP2
00001ace: MSTORE
00001acf: ADDRESS
00001ad0: PUSH1 0x04
00001ad2: DUP3
00001ad3: ADD
00001ad4: MSTORE
00001ad5: PUSH1 0x20
00001ad7: DUP2
00001ad8: PUSH1 0x24
00001ada: DUP2
00001adb: DUP8
00001adc: GAS
00001add: STATICCALL
00001ade: DUP1
00001adf: ISZERO
00001ae0: PUSH2 0x0a1f
00001ae3: JUMPI
00001ae4: PUSH0
00001ae5: SWAP1
00001ae6: PUSH2 0x1b8e
00001ae9: JUMPI
00001aea: JUMPDEST
00001aeb: PUSH2 0x1b02
00001aee: SWAP2
00001aef: POP
00001af0: DUP5
00001af1: PUSH0
00001af2: MSTORE
00001af3: PUSH1 0x07
00001af5: PUSH1 0x20
00001af7: MSTORE
00001af8: PUSH1 0x40
00001afa: PUSH0
00001afb: KECCAK256
00001afc: SLOAD
00001afd: SWAP1
00001afe: PUSH2 0x2d9f
00001b01: JUMP
00001b02: JUMPDEST
00001b03: SWAP1
00001b04: DUP2
00001b05: ISZERO
00001b06: PUSH2 0x1b62
00001b09: JUMPI
00001b0a: DUP2
00001b0b: PUSH2 0x1b39
00001b0e: PUSH32 0x21252411d5a999da4bc6a490f7143b61ba690edceb4577a2800eab8dfbb1e92c
00001b2f: SWAP4
00001b30: DUP6
00001b31: PUSH2 0x1b5d
00001b34: SWAP5
00001b35: PUSH2 0x3d21
00001b38: JUMP
00001b39: JUMPDEST
00001b3a: PUSH1 0x40
00001b3c: MLOAD
00001b3d: SWAP2
00001b3e: DUP3
00001b3f: SWAP2
00001b40: CALLER
00001b41: SWAP6
00001b42: DUP4
00001b43: PUSH1 0x20
00001b45: SWAP1
00001b46: SWAP4
00001b47: SWAP3
00001b48: SWAP2
00001b49: SWAP4
00001b4a: PUSH1 0x01
00001b4c: PUSH1 0x01
00001b4e: PUSH1 0xa0
00001b50: SHL
00001b51: SUB
00001b52: PUSH1 0x40
00001b54: DUP3
00001b55: ADD
00001b56: SWAP6
00001b57: AND
00001b58: DUP2
00001b59: MSTORE
00001b5a: ADD
00001b5b: MSTORE
00001b5c: JUMP
00001b5d: JUMPDEST
00001b5e: SUB
00001b5f: SWAP1
00001b60: LOG3
00001b61: STOP
00001b62: JUMPDEST
00001b63: DUP4
00001b64: PUSH32 0xf4c3afcf00000000000000000000000000000000000000000000000000000000
00001b85: PUSH0
00001b86: MSTORE
00001b87: PUSH1 0x04
00001b89: MSTORE
00001b8a: PUSH1 0x24
00001b8c: PUSH0
00001b8d: REVERT
00001b8e: JUMPDEST
00001b8f: POP
00001b90: PUSH1 0x20
00001b92: DUP2
00001b93: RETURNDATASIZE
00001b94: PUSH1 0x20
00001b96: GT
00001b97: PUSH2 0x1bba
00001b9a: JUMPI
00001b9b: JUMPDEST
00001b9c: DUP2
00001b9d: PUSH2 0x1ba8
00001ba0: PUSH1 0x20
00001ba2: SWAP4
00001ba3: DUP4
00001ba4: PUSH2 0x29c9
00001ba7: JUMP
00001ba8: JUMPDEST
00001ba9: DUP2
00001baa: ADD
00001bab: SUB
00001bac: SLT
00001bad: PUSH2 0x0411
00001bb0: JUMPI
00001bb1: PUSH2 0x1b02
00001bb4: SWAP1
00001bb5: MLOAD
00001bb6: PUSH2 0x1aea
00001bb9: JUMP
00001bba: JUMPDEST
00001bbb: RETURNDATASIZE
00001bbc: SWAP2
00001bbd: POP
00001bbe: PUSH2 0x1b9b
00001bc1: JUMP
00001bc2: JUMPDEST
00001bc3: CALLVALUE
00001bc4: PUSH2 0x0411
00001bc7: JUMPI
00001bc8: PUSH1 0x20
00001bca: PUSH1 0x03
00001bcc: NOT
00001bcd: CALLDATASIZE
00001bce: ADD
00001bcf: SLT
00001bd0: PUSH2 0x0411
00001bd3: JUMPI
00001bd4: PUSH1 0x20
00001bd6: PUSH2 0x1be0
00001bd9: PUSH1 0x04
00001bdb: CALLDATALOAD
00001bdc: PUSH2 0x3111
00001bdf: JUMP
00001be0: JUMPDEST
00001be1: PUSH1 0x01
00001be3: PUSH1 0x01
00001be5: PUSH1 0xa0
00001be7: SHL
00001be8: SUB
00001be9: PUSH1 0x40
00001beb: MLOAD
00001bec: SWAP2
00001bed: AND
00001bee: DUP2
00001bef: MSTORE
00001bf0: RETURN
00001bf1: JUMPDEST
00001bf2: CALLVALUE
00001bf3: PUSH2 0x0411
00001bf6: JUMPI
00001bf7: PUSH1 0x20
00001bf9: PUSH1 0x03
00001bfb: NOT
00001bfc: CALLDATASIZE
00001bfd: ADD
00001bfe: SLT
00001bff: PUSH2 0x0411
00001c02: JUMPI
00001c03: PUSH1 0x01
00001c05: PUSH1 0x01
00001c07: PUSH1 0xa0
00001c09: SHL
00001c0a: SUB
00001c0b: PUSH2 0x1c12
00001c0e: PUSH2 0x28cd
00001c11: JUMP
00001c12: JUMPDEST
00001c13: AND
00001c14: PUSH0
00001c15: MSTORE
00001c16: PUSH1 0x07
00001c18: PUSH1 0x20
00001c1a: MSTORE
00001c1b: PUSH1 0x20
00001c1d: PUSH1 0x40
00001c1f: PUSH0
00001c20: KECCAK256
00001c21: SLOAD
00001c22: PUSH1 0x40
00001c24: MLOAD
00001c25: SWAP1
00001c26: DUP2
00001c27: MSTORE
00001c28: RETURN
00001c29: JUMPDEST
00001c2a: CALLVALUE
00001c2b: PUSH2 0x0411
00001c2e: JUMPI
00001c2f: PUSH1 0x20
00001c31: PUSH1 0x03
00001c33: NOT
00001c34: CALLDATASIZE
00001c35: ADD
00001c36: SLT
00001c37: PUSH2 0x0411
00001c3a: JUMPI
00001c3b: PUSH1 0x04
00001c3d: CALLDATALOAD
00001c3e: PUSH2 0x1c45
00001c41: PUSH2 0x319f
00001c44: JUMP
00001c45: JUMPDEST
00001c46: DUP1
00001c47: PUSH0
00001c48: MSTORE
00001c49: PUSH1 0x0c
00001c4b: PUSH1 0x20
00001c4d: MSTORE
00001c4e: PUSH1 0xff
00001c50: PUSH1 0x01
00001c52: PUSH1 0x40
00001c54: PUSH0
00001c55: KECCAK256
00001c56: ADD
00001c57: SLOAD
00001c58: PUSH1 0xc8
00001c5a: SHR
00001c5b: AND
00001c5c: ISZERO
00001c5d: PUSH2 0x071a
00001c60: JUMPI
00001c61: DUP1
00001c62: PUSH0
00001c63: MSTORE
00001c64: PUSH1 0x0c
00001c66: PUSH1 0x20
00001c68: MSTORE
00001c69: PUSH1 0xff
00001c6b: PUSH1 0x01
00001c6d: PUSH1 0x40
00001c6f: PUSH0
00001c70: KECCAK256
00001c71: ADD
00001c72: SLOAD
00001c73: PUSH1 0xd8
00001c75: SHR
00001c76: AND
00001c77: PUSH2 0x1ed1
00001c7a: JUMPI
00001c7b: DUP1
00001c7c: PUSH0
00001c7d: MSTORE
00001c7e: PUSH1 0x0c
00001c80: PUSH1 0x20
00001c82: MSTORE
00001c83: PUSH1 0x01
00001c85: PUSH1 0x01
00001c87: PUSH1 0xa0
00001c89: SHL
00001c8a: SUB
00001c8b: PUSH1 0x01
00001c8d: PUSH1 0x40
00001c8f: PUSH0
00001c90: KECCAK256
00001c91: ADD
00001c92: SLOAD
00001c93: AND
00001c94: CALLER
00001c95: EQ
00001c96: ISZERO
00001c97: DUP1
00001c98: PUSH2 0x1ec1
00001c9b: JUMPI
00001c9c: JUMPDEST
00001c9d: PUSH2 0x1e92
00001ca0: JUMPI
00001ca1: PUSH1 0x20
00001ca3: DUP2
00001ca4: PUSH2 0x1ccd
00001ca7: PUSH32 0xf8e1a15aba9398e019f0b49df1a4fde98ee17ae345cb5f6b5e2c27f5033e8ce7
00001cc8: SWAP4
00001cc9: PUSH2 0x3efe
00001ccc: JUMP
00001ccd: JUMPDEST
00001cce: DUP1
00001ccf: PUSH2 0x1e42
00001cd2: JUMPI
00001cd3: PUSH2 0x1cdb
00001cd6: DUP3
00001cd7: PUSH2 0x3d7d
00001cda: JUMP
00001cdb: JUMPDEST
00001cdc: DUP1
00001cdd: PUSH2 0x1e21
00001ce0: JUMPI
00001ce1: JUMPDEST
00001ce2: POP
00001ce3: JUMPDEST
00001ce4: PUSH0
00001ce5: DUP3
00001ce6: DUP2
00001ce7: MSTORE
00001ce8: PUSH1 0x0c
00001cea: DUP5
00001ceb: MSTORE
00001cec: PUSH1 0x40
00001cee: SWAP1
00001cef: KECCAK256
00001cf0: PUSH1 0x01
00001cf2: ADD
00001cf3: DUP1
00001cf4: SLOAD
00001cf5: PUSH32 0xffffffffffffff0000000000ffffffffffffffffffffffffffffffffffffffff
00001d16: AND
00001d17: TIMESTAMP
00001d18: PUSH1 0xa0
00001d1a: SHL
00001d1b: PUSH25 0xffffffffff0000000000000000000000000000000000000000
00001d35: AND
00001d36: OR
00001d37: SWAP1
00001d38: SSTORE
00001d39: DUP2
00001d3a: PUSH0
00001d3b: MSTORE
00001d3c: PUSH1 0x0c
00001d3e: DUP4
00001d3f: MSTORE
00001d40: PUSH1 0x40
00001d42: PUSH0
00001d43: KECCAK256
00001d44: PUSH16 0xffffffffffffffffffffffffffffffff
00001d55: DUP2
00001d56: SLOAD
00001d57: AND
00001d58: SWAP1
00001d59: SSTORE
00001d5a: DUP2
00001d5b: PUSH0
00001d5c: MSTORE
00001d5d: PUSH1 0x0c
00001d5f: DUP4
00001d60: MSTORE
00001d61: PUSH1 0x01
00001d63: PUSH1 0x40
00001d65: PUSH0
00001d66: KECCAK256
00001d67: ADD
00001d68: PUSH28 0x01000000000000000000000000000000000000000000000000000000
00001d85: PUSH32 0xffffffff00ffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001da6: DUP3
00001da7: SLOAD
00001da8: AND
00001da9: OR
00001daa: SWAP1
00001dab: SSTORE
00001dac: DUP2
00001dad: PUSH0
00001dae: MSTORE
00001daf: PUSH1 0x0c
00001db1: DUP4
00001db2: MSTORE
00001db3: PUSH1 0x01
00001db5: PUSH1 0x01
00001db7: PUSH1 0xa0
00001db9: SHL
00001dba: SUB
00001dbb: PUSH1 0x01
00001dbd: PUSH1 0x40
00001dbf: PUSH0
00001dc0: KECCAK256
00001dc1: ADD
00001dc2: SLOAD
00001dc3: AND
00001dc4: DUP3
00001dc5: PUSH0
00001dc6: MSTORE
00001dc7: PUSH1 0x03
00001dc9: DUP5
00001dca: MSTORE
00001dcb: DUP3
00001dcc: PUSH32 0xa8e3d71a6c0c719305004b430f6d17f12536f7b803db23a4d7016f5b52699a8c
00001ded: PUSH1 0x60
00001def: PUSH1 0x01
00001df1: PUSH1 0x01
00001df3: PUSH1 0xa0
00001df5: SHL
00001df6: SUB
00001df7: PUSH1 0x40
00001df9: PUSH0
00001dfa: KECCAK256
00001dfb: SLOAD
00001dfc: AND
00001dfd: SWAP5
00001dfe: PUSH2 0x1e06
00001e01: DUP5
00001e02: PUSH2 0x315d
00001e05: JUMP
00001e06: JUMPDEST
00001e07: SWAP1
00001e08: PUSH1 0x40
00001e0a: MLOAD
00001e0b: SWAP2
00001e0c: CALLER
00001e0d: DUP4
00001e0e: MSTORE
00001e0f: DUP10
00001e10: DUP4
00001e11: ADD
00001e12: MSTORE
00001e13: PUSH1 0x40
00001e15: DUP3
00001e16: ADD
00001e17: MSTORE
00001e18: LOG4
00001e19: PUSH1 0x40
00001e1b: MLOAD
00001e1c: SWAP1
00001e1d: DUP2
00001e1e: MSTORE
00001e1f: LOG1
00001e20: STOP
00001e21: JUMPDEST
00001e22: DUP3
00001e23: PUSH0
00001e24: MSTORE
00001e25: PUSH1 0x0c
00001e27: DUP5
00001e28: MSTORE
00001e29: PUSH2 0x1e3a
00001e2c: PUSH1 0x03
00001e2e: PUSH1 0x40
00001e30: PUSH0
00001e31: KECCAK256
00001e32: ADD
00001e33: SWAP2
00001e34: DUP3
00001e35: SLOAD
00001e36: PUSH2 0x2faf
00001e39: JUMP
00001e3a: JUMPDEST
00001e3b: SWAP1
00001e3c: SSTORE
00001e3d: DUP5
00001e3e: PUSH2 0x1ce1
00001e41: JUMP
00001e42: JUMPDEST
00001e43: DUP2
00001e44: PUSH0
00001e45: MSTORE
00001e46: PUSH1 0x0c
00001e48: DUP4
00001e49: MSTORE
00001e4a: PUSH2 0x1e7e
00001e4d: PUSH16 0xffffffffffffffffffffffffffffffff
00001e5e: PUSH1 0x40
00001e60: PUSH0
00001e61: KECCAK256
00001e62: SLOAD
00001e63: AND
00001e64: DUP4
00001e65: PUSH0
00001e66: MSTORE
00001e67: PUSH1 0x0c
00001e69: DUP6
00001e6a: MSTORE
00001e6b: PUSH1 0xff
00001e6d: PUSH1 0x02
00001e6f: PUSH1 0x40
00001e71: PUSH0
00001e72: KECCAK256
00001e73: ADD
00001e74: SLOAD
00001e75: PUSH1 0xa0
00001e77: SHR
00001e78: AND
00001e79: SWAP1
00001e7a: PUSH2 0x402a
00001e7d: JUMP
00001e7e: JUMPDEST
00001e7f: DUP3
00001e80: PUSH0
00001e81: MSTORE
00001e82: PUSH1 0x0c
00001e84: DUP5
00001e85: MSTORE
00001e86: PUSH1 0x03
00001e88: PUSH1 0x40
00001e8a: PUSH0
00001e8b: KECCAK256
00001e8c: ADD
00001e8d: SSTORE
00001e8e: PUSH2 0x1ce3
00001e91: JUMP
00001e92: JUMPDEST
00001e93: PUSH32 0xa9ad2a2200000000000000000000000000000000000000000000000000000000
00001eb4: PUSH0
00001eb5: MSTORE
00001eb6: PUSH1 0x04
00001eb8: MSTORE
00001eb9: CALLER
00001eba: PUSH1 0x24
00001ebc: MSTORE
00001ebd: PUSH1 0x44
00001ebf: PUSH0
00001ec0: REVERT
00001ec1: JUMPDEST
00001ec2: POP
00001ec3: PUSH2 0x1ecb
00001ec6: DUP2
00001ec7: PUSH2 0x453d
00001eca: JUMP
00001ecb: JUMPDEST
00001ecc: ISZERO
00001ecd: PUSH2 0x1c9c
00001ed0: JUMP
00001ed1: JUMPDEST
00001ed2: PUSH32 0x7354d5f100000000000000000000000000000000000000000000000000000000
00001ef3: PUSH0
00001ef4: MSTORE
00001ef5: PUSH1 0x04
00001ef7: MSTORE
00001ef8: PUSH1 0x24
00001efa: PUSH0
00001efb: REVERT
00001efc: JUMPDEST
00001efd: CALLVALUE
00001efe: PUSH2 0x0411
00001f01: JUMPI
00001f02: PUSH1 0xa0
00001f04: PUSH1 0x03
00001f06: NOT
00001f07: CALLDATASIZE
00001f08: ADD
00001f09: SLT
00001f0a: PUSH2 0x0411
00001f0d: JUMPI
00001f0e: PUSH1 0x20
00001f10: PUSH2 0x0564
00001f13: PUSH2 0x1f1a
00001f16: PUSH2 0x28cd
00001f19: JUMP
00001f1a: JUMPDEST
00001f1b: PUSH2 0x1f22
00001f1e: PUSH2 0x28e3
00001f21: JUMP
00001f22: JUMPDEST
00001f23: PUSH2 0x1f2a
00001f26: PUSH2 0x2944
00001f29: JUMP
00001f2a: JUMPDEST
00001f2b: PUSH2 0x1f32
00001f2e: PUSH2 0x290f
00001f31: JUMP
00001f32: JUMPDEST
00001f33: SWAP2
00001f34: PUSH2 0x1f3b
00001f37: PUSH2 0x299d
00001f3a: JUMP
00001f3b: JUMPDEST
00001f3c: SWAP4
00001f3d: PUSH2 0x0558
00001f40: PUSH2 0x319f
00001f43: JUMP
00001f44: JUMPDEST
00001f45: CALLVALUE
00001f46: PUSH2 0x0411
00001f49: JUMPI
00001f4a: PUSH1 0x20
00001f4c: PUSH1 0x03
00001f4e: NOT
00001f4f: CALLDATASIZE
00001f50: ADD
00001f51: SLT
00001f52: PUSH2 0x0411
00001f55: JUMPI
00001f56: PUSH1 0x04
00001f58: CALLDATALOAD
00001f59: DUP1
00001f5a: PUSH0
00001f5b: MSTORE
00001f5c: PUSH1 0x0c
00001f5e: PUSH1 0x20
00001f60: MSTORE
00001f61: PUSH1 0xff
00001f63: PUSH1 0x01
00001f65: PUSH1 0x40
00001f67: PUSH0
00001f68: KECCAK256
00001f69: ADD
00001f6a: SLOAD
00001f6b: PUSH1 0xc8
00001f6d: SHR
00001f6e: AND
00001f6f: ISZERO
00001f70: PUSH2 0x071a
00001f73: JUMPI
00001f74: PUSH0
00001f75: MSTORE
00001f76: PUSH1 0x0c
00001f78: PUSH1 0x20
00001f7a: MSTORE
00001f7b: PUSH1 0x20
00001f7d: PUSH1 0xff
00001f7f: PUSH1 0x01
00001f81: PUSH1 0x40
00001f83: PUSH0
00001f84: KECCAK256
00001f85: ADD
00001f86: SLOAD
00001f87: PUSH1 0xd8
00001f89: SHR
00001f8a: AND
00001f8b: PUSH1 0x40
00001f8d: MLOAD
00001f8e: SWAP1
00001f8f: ISZERO
00001f90: ISZERO
00001f91: DUP2
00001f92: MSTORE
00001f93: RETURN
00001f94: JUMPDEST
00001f95: CALLVALUE
00001f96: PUSH2 0x0411
00001f99: JUMPI
00001f9a: PUSH1 0x20
00001f9c: PUSH1 0x03
00001f9e: NOT
00001f9f: CALLDATASIZE
00001fa0: ADD
00001fa1: SLT
00001fa2: PUSH2 0x0411
00001fa5: JUMPI
00001fa6: PUSH1 0x04
00001fa8: CALLDATALOAD
00001fa9: DUP1
00001faa: PUSH0
00001fab: MSTORE
00001fac: PUSH1 0x0c
00001fae: PUSH1 0x20
00001fb0: MSTORE
00001fb1: PUSH1 0xff
00001fb3: PUSH1 0x01
00001fb5: PUSH1 0x40
00001fb7: PUSH0
00001fb8: KECCAK256
00001fb9: ADD
00001fba: SLOAD
00001fbb: PUSH1 0xc8
00001fbd: SHR
00001fbe: AND
00001fbf: ISZERO
00001fc0: PUSH2 0x071a
00001fc3: JUMPI
00001fc4: PUSH0
00001fc5: MSTORE
00001fc6: PUSH1 0x0c
00001fc8: PUSH1 0x20
00001fca: MSTORE
00001fcb: PUSH1 0x20
00001fcd: PUSH1 0x03
00001fcf: PUSH1 0x40
00001fd1: PUSH0
00001fd2: KECCAK256
00001fd3: ADD
00001fd4: SLOAD
00001fd5: PUSH1 0x40
00001fd7: MLOAD
00001fd8: SWAP1
00001fd9: DUP2
00001fda: MSTORE
00001fdb: RETURN
00001fdc: JUMPDEST
00001fdd: CALLVALUE
00001fde: PUSH2 0x0411
00001fe1: JUMPI
00001fe2: PUSH0
00001fe3: PUSH1 0x03
00001fe5: NOT
00001fe6: CALLDATASIZE
00001fe7: ADD
00001fe8: SLT
00001fe9: PUSH2 0x0411
00001fec: JUMPI
00001fed: PUSH1 0x20
00001fef: PUSH1 0x01
00001ff1: PUSH1 0x01
00001ff3: PUSH1 0xa0
00001ff5: SHL
00001ff6: SUB
00001ff7: PUSH1 0x09
00001ff9: SLOAD
00001ffa: AND
00001ffb: PUSH1 0x40
00001ffd: MLOAD
00001ffe: SWAP1
00001fff: DUP2
00002000: MSTORE
00002001: RETURN
00002002: JUMPDEST
00002003: CALLVALUE
00002004: PUSH2 0x0411
00002007: JUMPI
00002008: PUSH2 0x0f08
0000200b: PUSH2 0x2013
0000200e: CALLDATASIZE
0000200f: PUSH2 0x2963
00002012: JUMP
00002013: JUMPDEST
00002014: SWAP1
00002015: PUSH1 0x40
00002017: MLOAD
00002018: SWAP3
00002019: PUSH2 0x2023
0000201c: PUSH1 0x20
0000201e: DUP6
0000201f: PUSH2 0x29c9
00002022: JUMP
00002023: JUMPDEST
00002024: PUSH0
00002025: DUP5
00002026: MSTORE
00002027: PUSH2 0x2e07
0000202a: JUMP
0000202b: JUMPDEST
0000202c: CALLVALUE
0000202d: PUSH2 0x0411
00002030: JUMPI
00002031: PUSH1 0x40
00002033: PUSH1 0x03
00002035: NOT
00002036: CALLDATASIZE
00002037: ADD
00002038: SLT
00002039: PUSH2 0x0411
0000203c: JUMPI
0000203d: PUSH1 0x04
0000203f: CALLDATALOAD
00002040: PUSH2 0x2047
00002043: PUSH2 0x2925
00002046: JUMP
00002047: JUMPDEST
00002048: PUSH2 0x204f
0000204b: PUSH2 0x319f
0000204e: JUMP
0000204f: JUMPDEST
00002050: DUP2
00002051: PUSH0
00002052: MSTORE
00002053: PUSH1 0x0c
00002055: PUSH1 0x20
00002057: MSTORE
00002058: PUSH1 0xff
0000205a: PUSH1 0x01
0000205c: PUSH1 0x40
0000205e: PUSH0
0000205f: KECCAK256
00002060: ADD
00002061: SLOAD
00002062: PUSH1 0xc8
00002064: SHR
00002065: AND
00002066: ISZERO
00002067: PUSH2 0x069c
0000206a: JUMPI
0000206b: DUP2
0000206c: PUSH0
0000206d: MSTORE
0000206e: PUSH1 0x0c
00002070: PUSH1 0x20
00002072: MSTORE
00002073: PUSH1 0x40
00002075: PUSH0
00002076: KECCAK256
00002077: SLOAD
00002078: PUSH1 0x80
0000207a: SHR
0000207b: ISZERO
0000207c: PUSH2 0x0d72
0000207f: JUMPI
00002080: DUP2
00002081: PUSH0
00002082: MSTORE
00002083: PUSH1 0x0c
00002085: PUSH1 0x20
00002087: MSTORE
00002088: PUSH1 0x01
0000208a: PUSH1 0x01
0000208c: PUSH1 0xa0
0000208e: SHL
0000208f: SUB
00002090: PUSH1 0x01
00002092: PUSH1 0x40
00002094: PUSH0
00002095: KECCAK256
00002096: ADD
00002097: SLOAD
00002098: AND
00002099: CALLER
0000209a: SUB
0000209b: PUSH2 0x0640
0000209e: JUMPI
0000209f: DUP2
000020a0: PUSH2 0x0d69
000020a3: PUSH1 0x20
000020a5: SWAP3
000020a6: PUSH32 0xf8e1a15aba9398e019f0b49df1a4fde98ee17ae345cb5f6b5e2c27f5033e8ce7
000020c7: SWAP5
000020c8: PUSH2 0x325d
000020cb: JUMP
000020cc: JUMPDEST
000020cd: CALLVALUE
000020ce: PUSH2 0x0411
000020d1: JUMPI
000020d2: PUSH2 0x0f08
000020d5: PUSH2 0x20dd
000020d8: CALLDATASIZE
000020d9: PUSH2 0x2963
000020dc: JUMP
000020dd: JUMPDEST
000020de: SWAP2
000020df: PUSH2 0x2a95
000020e2: JUMP
000020e3: JUMPDEST
000020e4: CALLVALUE
000020e5: PUSH2 0x0411
000020e8: JUMPI
000020e9: PUSH1 0x60
000020eb: PUSH1 0x03
000020ed: NOT
000020ee: CALLDATASIZE
000020ef: ADD
000020f0: SLT
000020f1: PUSH2 0x0411
000020f4: JUMPI
000020f5: PUSH1 0x04
000020f7: CALLDATALOAD
000020f8: PUSH2 0x20ff
000020fb: PUSH2 0x2925
000020fe: JUMP
000020ff: JUMPDEST
00002100: PUSH2 0x2107
00002103: PUSH2 0x2944
00002106: JUMP
00002107: JUMPDEST
00002108: SWAP1
00002109: PUSH2 0x2110
0000210c: PUSH2 0x319f
0000210f: JUMP
00002110: JUMPDEST
00002111: DUP3
00002112: PUSH0
00002113: MSTORE
00002114: PUSH1 0x0c
00002116: PUSH1 0x20
00002118: MSTORE
00002119: PUSH1 0xff
0000211b: PUSH1 0x01
0000211d: PUSH1 0x40
0000211f: PUSH0
00002120: KECCAK256
00002121: ADD
00002122: SLOAD
00002123: PUSH1 0xc8
00002125: SHR
00002126: AND
00002127: ISZERO
00002128: PUSH2 0x04c0
0000212b: JUMPI
0000212c: DUP3
0000212d: PUSH0
0000212e: MSTORE
0000212f: PUSH1 0x0c
00002131: PUSH1 0x20
00002133: MSTORE
00002134: PUSH1 0xff
00002136: PUSH1 0x01
00002138: PUSH1 0x40
0000213a: PUSH0
0000213b: KECCAK256
0000213c: ADD
0000213d: SLOAD
0000213e: PUSH1 0xd8
00002140: SHR
00002141: AND
00002142: PUSH2 0x21c6
00002145: JUMPI
00002146: DUP3
00002147: PUSH0
00002148: MSTORE
00002149: PUSH1 0x0c
0000214b: PUSH1 0x20
0000214d: MSTORE
0000214e: PUSH1 0x01
00002150: PUSH1 0x01
00002152: PUSH1 0xa0
00002154: SHL
00002155: SUB
00002156: PUSH1 0x01
00002158: PUSH1 0x40
0000215a: PUSH0
0000215b: KECCAK256
0000215c: ADD
0000215d: SLOAD
0000215e: AND
0000215f: CALLER
00002160: SUB
00002161: PUSH2 0x2196
00002164: JUMPI
00002165: SWAP2
00002166: PUSH2 0x0637
00002169: PUSH1 0x20
0000216b: SWAP3
0000216c: PUSH2 0x0fdf
0000216f: PUSH32 0xf8e1a15aba9398e019f0b49df1a4fde98ee17ae345cb5f6b5e2c27f5033e8ce7
00002190: SWAP6
00002191: DUP5
00002192: PUSH2 0x3566
00002195: JUMP
00002196: JUMPDEST
00002197: DUP3
00002198: PUSH32 0xa9ad2a2200000000000000000000000000000000000000000000000000000000
000021b9: PUSH0
000021ba: MSTORE
000021bb: PUSH1 0x04
000021bd: MSTORE
000021be: CALLER
000021bf: PUSH1 0x24
000021c1: MSTORE
000021c2: PUSH1 0x44
000021c4: PUSH0
000021c5: REVERT
000021c6: JUMPDEST
000021c7: DUP3
000021c8: PUSH32 0x7354d5f100000000000000000000000000000000000000000000000000000000
000021e9: PUSH0
000021ea: MSTORE
000021eb: PUSH1 0x04
000021ed: MSTORE
000021ee: PUSH1 0x24
000021f0: PUSH0
000021f1: REVERT
000021f2: JUMPDEST
000021f3: CALLVALUE
000021f4: PUSH2 0x0411
000021f7: JUMPI
000021f8: PUSH0
000021f9: PUSH1 0x03
000021fb: NOT
000021fc: CALLDATASIZE
000021fd: ADD
000021fe: SLT
000021ff: PUSH2 0x0411
00002202: JUMPI
00002203: PUSH1 0x20
00002205: PUSH1 0x08
00002207: SLOAD
00002208: PUSH1 0x40
0000220a: MLOAD
0000220b: SWAP1
0000220c: DUP2
0000220d: MSTORE
0000220e: RETURN
0000220f: JUMPDEST
00002210: CALLVALUE
00002211: PUSH2 0x0411
00002214: JUMPI
00002215: PUSH1 0x20
00002217: PUSH1 0x03
00002219: NOT
0000221a: CALLDATASIZE
0000221b: ADD
0000221c: SLT
0000221d: PUSH2 0x0411
00002220: JUMPI
00002221: PUSH1 0x04
00002223: CALLDATALOAD
00002224: PUSH8 0xffffffffffffffff
0000222d: DUP2
0000222e: GT
0000222f: PUSH2 0x0411
00002232: JUMPI
00002233: CALLDATASIZE
00002234: PUSH1 0x23
00002236: DUP3
00002237: ADD
00002238: SLT
00002239: ISZERO
0000223a: PUSH2 0x0411
0000223d: JUMPI
0000223e: DUP1
0000223f: PUSH1 0x04
00002241: ADD
00002242: CALLDATALOAD
00002243: PUSH8 0xffffffffffffffff
0000224c: DUP2
0000224d: GT
0000224e: PUSH2 0x0411
00002251: JUMPI
00002252: CALLDATASIZE
00002253: PUSH1 0x24
00002255: DUP3
00002256: PUSH1 0x05
00002258: SHL
00002259: DUP5
0000225a: ADD
0000225b: ADD
0000225c: GT
0000225d: PUSH2 0x0411
00002260: JUMPI
00002261: SWAP1
00002262: PUSH0
00002263: SWAP1
00002264: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffbd
00002285: DUP2
00002286: CALLDATASIZE
00002287: SUB
00002288: ADD
00002289: SWAP2
0000228a: JUMPDEST
0000228b: DUP4
0000228c: DUP2
0000228d: LT
0000228e: ISZERO
0000228f: PUSH2 0x0f08
00002292: JUMPI
00002293: PUSH1 0x24
00002295: DUP2
00002296: PUSH1 0x05
00002298: SHL
00002299: DUP4
0000229a: ADD
0000229b: ADD
0000229c: CALLDATALOAD
0000229d: DUP4
0000229e: DUP2
0000229f: SLT
000022a0: ISZERO
000022a1: PUSH2 0x0411
000022a4: JUMPI
000022a5: DUP3
000022a6: ADD
000022a7: PUSH1 0x24
000022a9: DUP2
000022aa: ADD
000022ab: CALLDATALOAD
000022ac: SWAP1
000022ad: PUSH8 0xffffffffffffffff
000022b6: DUP3
000022b7: GT
000022b8: PUSH2 0x0411
000022bb: JUMPI
000022bc: PUSH1 0x44
000022be: ADD
000022bf: DUP2
000022c0: CALLDATASIZE
000022c1: SUB
000022c2: DUP2
000022c3: SGT
000022c4: PUSH2 0x0411
000022c7: JUMPI
000022c8: DUP2
000022c9: PUSH0
000022ca: SWAP3
000022cb: SWAP2
000022cc: DUP4
000022cd: SWAP3
000022ce: PUSH1 0x40
000022d0: MLOAD
000022d1: SWAP3
000022d2: DUP4
000022d3: SWAP3
000022d4: DUP4
000022d5: CALLDATACOPY
000022d6: DUP2
000022d7: ADD
000022d8: DUP4
000022d9: DUP2
000022da: MSTORE
000022db: SUB
000022dc: SWAP1
000022dd: ADDRESS
000022de: GAS
000022df: DELEGATECALL
000022e0: PUSH2 0x22e7
000022e3: PUSH2 0x2a66
000022e6: JUMP
000022e7: JUMPDEST
000022e8: SWAP1
000022e9: ISZERO
000022ea: PUSH2 0x22f6
000022ed: JUMPI
000022ee: POP
000022ef: PUSH1 0x01
000022f1: ADD
000022f2: PUSH2 0x228a
000022f5: JUMP
000022f6: JUMPDEST
000022f7: PUSH2 0x2334
000022fa: SWAP1
000022fb: PUSH1 0x40
000022fd: MLOAD
000022fe: SWAP2
000022ff: DUP3
00002300: SWAP2
00002301: PUSH32 0xd935448500000000000000000000000000000000000000000000000000000000
00002322: DUP4
00002323: MSTORE
00002324: PUSH1 0x20
00002326: PUSH1 0x04
00002328: DUP5
00002329: ADD
0000232a: MSTORE
0000232b: PUSH1 0x24
0000232d: DUP4
0000232e: ADD
0000232f: SWAP1
00002330: PUSH2 0x288a
00002333: JUMP
00002334: JUMPDEST
00002335: SUB
00002336: SWAP1
00002337: REVERT
00002338: JUMPDEST
00002339: CALLVALUE
0000233a: PUSH2 0x0411
0000233d: JUMPI
0000233e: PUSH1 0x20
00002340: PUSH1 0x03
00002342: NOT
00002343: CALLDATASIZE
00002344: ADD
00002345: SLT
00002346: PUSH2 0x0411
00002349: JUMPI
0000234a: PUSH1 0x04
0000234c: CALLDATALOAD
0000234d: DUP1
0000234e: PUSH0
0000234f: MSTORE
00002350: PUSH1 0x0c
00002352: PUSH1 0x20
00002354: MSTORE
00002355: PUSH1 0xff
00002357: PUSH1 0x01
00002359: PUSH1 0x40
0000235b: PUSH0
0000235c: KECCAK256
0000235d: ADD
0000235e: SLOAD
0000235f: PUSH1 0xc8
00002361: SHR
00002362: AND
00002363: ISZERO
00002364: PUSH2 0x071a
00002367: JUMPI
00002368: PUSH0
00002369: MSTORE
0000236a: PUSH1 0x0c
0000236c: PUSH1 0x20
0000236e: MSTORE
0000236f: PUSH1 0x20
00002371: PUSH16 0xffffffffffffffffffffffffffffffff
00002382: PUSH1 0x40
00002384: PUSH0
00002385: KECCAK256
00002386: SLOAD
00002387: AND
00002388: PUSH1 0x40
0000238a: MLOAD
0000238b: SWAP1
0000238c: DUP2
0000238d: MSTORE
0000238e: RETURN
0000238f: JUMPDEST
00002390: CALLVALUE
00002391: PUSH2 0x0411
00002394: JUMPI
00002395: PUSH1 0x20
00002397: PUSH1 0x03
00002399: NOT
0000239a: CALLDATASIZE
0000239b: ADD
0000239c: SLT
0000239d: PUSH2 0x0411
000023a0: JUMPI
000023a1: PUSH1 0x04
000023a3: CALLDATALOAD
000023a4: DUP1
000023a5: PUSH0
000023a6: MSTORE
000023a7: PUSH1 0x0c
000023a9: PUSH1 0x20
000023ab: MSTORE
000023ac: PUSH1 0xff
000023ae: PUSH1 0x01
000023b0: PUSH1 0x40
000023b2: PUSH0
000023b3: KECCAK256
000023b4: ADD
000023b5: SLOAD
000023b6: PUSH1 0xc8
000023b8: SHR
000023b9: AND
000023ba: ISZERO
000023bb: PUSH2 0x071a
000023be: JUMPI
000023bf: PUSH2 0x0884
000023c2: PUSH1 0x20
000023c4: SWAP2
000023c5: PUSH2 0x322b
000023c8: JUMP
000023c9: JUMPDEST
000023ca: CALLVALUE
000023cb: PUSH2 0x0411
000023ce: JUMPI
000023cf: PUSH1 0x20
000023d1: PUSH1 0x03
000023d3: NOT
000023d4: CALLDATASIZE
000023d5: ADD
000023d6: SLT
000023d7: PUSH2 0x0411
000023da: JUMPI
000023db: PUSH1 0x04
000023dd: CALLDATALOAD
000023de: PUSH2 0x23e5
000023e1: PUSH2 0x319f
000023e4: JUMP
000023e5: JUMPDEST
000023e6: DUP1
000023e7: PUSH0
000023e8: MSTORE
000023e9: PUSH1 0x0c
000023eb: PUSH1 0x20
000023ed: MSTORE
000023ee: PUSH1 0xff
000023f0: PUSH1 0x01
000023f2: PUSH1 0x40
000023f4: PUSH0
000023f5: KECCAK256
000023f6: ADD
000023f7: SLOAD
000023f8: PUSH1 0xc8
000023fa: SHR
000023fb: AND
000023fc: ISZERO
000023fd: PUSH2 0x071a
00002400: JUMPI
00002401: DUP1
00002402: PUSH0
00002403: MSTORE
00002404: PUSH1 0x0c
00002406: PUSH1 0x20
00002408: MSTORE
00002409: PUSH1 0x40
0000240b: PUSH0
0000240c: KECCAK256
0000240d: SLOAD
0000240e: PUSH1 0x80
00002410: SHR
00002411: ISZERO
00002412: PUSH2 0x08ed
00002415: JUMPI
00002416: DUP1
00002417: PUSH0
00002418: MSTORE
00002419: PUSH1 0x0c
0000241b: PUSH1 0x20
0000241d: MSTORE
0000241e: PUSH1 0x01
00002420: PUSH1 0x01
00002422: PUSH1 0xa0
00002424: SHL
00002425: SUB
00002426: PUSH1 0x01
00002428: PUSH1 0x40
0000242a: PUSH0
0000242b: KECCAK256
0000242c: ADD
0000242d: SLOAD
0000242e: AND
0000242f: CALLER
00002430: SUB
00002431: PUSH2 0x1e92
00002434: JUMPI
00002435: PUSH1 0x20
00002437: DUP2
00002438: PUSH2 0x0637
0000243b: PUSH32 0xf8e1a15aba9398e019f0b49df1a4fde98ee17ae345cb5f6b5e2c27f5033e8ce7
0000245c: SWAP4
0000245d: PUSH2 0x3432
00002460: JUMP
00002461: JUMPDEST
00002462: CALLVALUE
00002463: PUSH2 0x0411
00002466: JUMPI
00002467: PUSH1 0x20
00002469: PUSH1 0x03
0000246b: NOT
0000246c: CALLDATASIZE
0000246d: ADD
0000246e: SLT
0000246f: PUSH2 0x0411
00002472: JUMPI
00002473: PUSH1 0x04
00002475: CALLDATALOAD
00002476: PUSH2 0x247d
00002479: PUSH2 0x319f
0000247c: JUMP
0000247d: JUMPDEST
0000247e: DUP1
0000247f: PUSH0
00002480: MSTORE
00002481: PUSH1 0x0c
00002483: PUSH1 0x20
00002485: MSTORE
00002486: PUSH1 0xff
00002488: PUSH1 0x01
0000248a: PUSH1 0x40
0000248c: PUSH0
0000248d: KECCAK256
0000248e: ADD
0000248f: SLOAD
00002490: PUSH1 0xc8
00002492: SHR
00002493: AND
00002494: ISZERO
00002495: PUSH2 0x071a
00002498: JUMPI
00002499: DUP1
0000249a: PUSH0
0000249b: MSTORE
0000249c: PUSH1 0x0c
0000249e: PUSH1 0x20
000024a0: MSTORE
000024a1: PUSH1 0x01
000024a3: PUSH1 0x01
000024a5: PUSH1 0xa0
000024a7: SHL
000024a8: SUB
000024a9: PUSH1 0x01
000024ab: PUSH1 0x40
000024ad: PUSH0
000024ae: KECCAK256
000024af: ADD
000024b0: SLOAD
000024b1: AND
000024b2: CALLER
000024b3: SUB
000024b4: PUSH2 0x1e92
000024b7: JUMPI
000024b8: PUSH1 0x20
000024ba: DUP2
000024bb: PUSH2 0x0637
000024be: PUSH2 0x24e7
000024c1: PUSH32 0xf8e1a15aba9398e019f0b49df1a4fde98ee17ae345cb5f6b5e2c27f5033e8ce7
000024e2: SWAP5
000024e3: PUSH2 0x322b
000024e6: JUMP
000024e7: JUMPDEST
000024e8: DUP3
000024e9: PUSH2 0x325d
000024ec: JUMP
000024ed: JUMPDEST
000024ee: CALLVALUE
000024ef: PUSH2 0x0411
000024f2: JUMPI
000024f3: PUSH1 0x20
000024f5: PUSH1 0x03
000024f7: NOT
000024f8: CALLDATASIZE
000024f9: ADD
000024fa: SLT
000024fb: PUSH2 0x0411
000024fe: JUMPI
000024ff: PUSH1 0x01
00002501: PUSH1 0x01
00002503: PUSH1 0xa0
00002505: SHL
00002506: SUB
00002507: PUSH2 0x250e
0000250a: PUSH2 0x28cd
0000250d: JUMP
0000250e: JUMPDEST
0000250f: AND
00002510: PUSH0
00002511: MSTORE
00002512: PUSH1 0x0b
00002514: PUSH1 0x20
00002516: MSTORE
00002517: PUSH1 0x20
00002519: PUSH16 0xffffffffffffffffffffffffffffffff
0000252a: PUSH1 0x40
0000252c: PUSH0
0000252d: KECCAK256
0000252e: SLOAD
0000252f: AND
00002530: PUSH1 0x40
00002532: MLOAD
00002533: SWAP1
00002534: DUP2
00002535: MSTORE
00002536: RETURN
00002537: JUMPDEST
00002538: CALLVALUE
00002539: PUSH2 0x0411
0000253c: JUMPI
0000253d: PUSH1 0x40
0000253f: PUSH1 0x03
00002541: NOT
00002542: CALLDATASIZE
00002543: ADD
00002544: SLT
00002545: PUSH2 0x0411
00002548: JUMPI
00002549: PUSH2 0x2550
0000254c: PUSH2 0x28cd
0000254f: JUMP
00002550: JUMPDEST
00002551: PUSH1 0x24
00002553: CALLDATALOAD
00002554: PUSH2 0x255c
00002557: DUP2
00002558: PUSH2 0x3111
0000255b: JUMP
0000255c: JUMPDEST
0000255d: CALLER
0000255e: ISZERO
0000255f: ISZERO
00002560: DUP1
00002561: PUSH2 0x2641
00002564: JUMPI
00002565: JUMPDEST
00002566: DUP1
00002567: PUSH2 0x260e
0000256a: JUMPI
0000256b: JUMPDEST
0000256c: PUSH2 0x25e2
0000256f: JUMPI
00002570: DUP2
00002571: SWAP1
00002572: PUSH1 0x01
00002574: PUSH1 0x01
00002576: PUSH1 0xa0
00002578: SHL
00002579: SUB
0000257a: DUP1
0000257b: DUP6
0000257c: AND
0000257d: SWAP2
0000257e: AND
0000257f: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000025a0: PUSH0
000025a1: DUP1
000025a2: LOG4
000025a3: PUSH0
000025a4: MSTORE
000025a5: PUSH1 0x05
000025a7: PUSH1 0x20
000025a9: MSTORE
000025aa: PUSH1 0x01
000025ac: PUSH1 0x01
000025ae: PUSH1 0xa0
000025b0: SHL
000025b1: SUB
000025b2: PUSH1 0x40
000025b4: PUSH0
000025b5: KECCAK256
000025b6: SWAP2
000025b7: AND
000025b8: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000025d9: DUP3
000025da: SLOAD
000025db: AND
000025dc: OR
000025dd: SWAP1
000025de: SSTORE
000025df: PUSH0
000025e0: DUP1
000025e1: RETURN
000025e2: JUMPDEST
000025e3: PUSH32 0xa9fbf51f00000000000000000000000000000000000000000000000000000000
00002604: PUSH0
00002605: MSTORE
00002606: CALLER
00002607: PUSH1 0x04
00002609: MSTORE
0000260a: PUSH1 0x24
0000260c: PUSH0
0000260d: REVERT
0000260e: JUMPDEST
0000260f: POP
00002610: PUSH1 0x01
00002612: PUSH1 0x01
00002614: PUSH1 0xa0
00002616: SHL
00002617: SUB
00002618: DUP2
00002619: AND
0000261a: PUSH0
0000261b: MSTORE
0000261c: PUSH1 0x06
0000261e: PUSH1 0x20
00002620: MSTORE
00002621: PUSH1 0x40
00002623: PUSH0
00002624: KECCAK256
00002625: PUSH1 0x01
00002627: PUSH1 0x01
00002629: PUSH1 0xa0
0000262b: SHL
0000262c: SUB
0000262d: CALLER
0000262e: AND
0000262f: PUSH0
00002630: MSTORE
00002631: PUSH1 0x20
00002633: MSTORE
00002634: PUSH1 0xff
00002636: PUSH1 0x40
00002638: PUSH0
00002639: KECCAK256
0000263a: SLOAD
0000263b: AND
0000263c: ISZERO
0000263d: PUSH2 0x256b
00002640: JUMP
00002641: JUMPDEST
00002642: POP
00002643: CALLER
00002644: PUSH1 0x01
00002646: PUSH1 0x01
00002648: PUSH1 0xa0
0000264a: SHL
0000264b: SUB
0000264c: DUP3
0000264d: AND
0000264e: EQ
0000264f: ISZERO
00002650: PUSH2 0x2565
00002653: JUMP
00002654: JUMPDEST
00002655: CALLVALUE
00002656: PUSH2 0x0411
00002659: JUMPI
0000265a: PUSH1 0x20
0000265c: PUSH1 0x03
0000265e: NOT
0000265f: CALLDATASIZE
00002660: ADD
00002661: SLT
00002662: PUSH2 0x0411
00002665: JUMPI
00002666: PUSH1 0x04
00002668: CALLDATALOAD
00002669: DUP1
0000266a: PUSH0
0000266b: MSTORE
0000266c: PUSH1 0x0c
0000266e: PUSH1 0x20
00002670: MSTORE
00002671: PUSH1 0xff
00002673: PUSH1 0x01
00002675: PUSH1 0x40
00002677: PUSH0
00002678: KECCAK256
00002679: ADD
0000267a: SLOAD
0000267b: PUSH1 0xc8
0000267d: SHR
0000267e: AND
0000267f: ISZERO
00002680: PUSH2 0x071a
00002683: JUMPI
00002684: PUSH2 0x0564
00002687: PUSH1 0x20
00002689: SWAP2
0000268a: PUSH2 0x315d
0000268d: JUMP
0000268e: JUMPDEST
0000268f: CALLVALUE
00002690: PUSH2 0x0411
00002693: JUMPI
00002694: PUSH1 0x20
00002696: PUSH1 0x03
00002698: NOT
00002699: CALLDATASIZE
0000269a: ADD
0000269b: SLT
0000269c: PUSH2 0x0411
0000269f: JUMPI
000026a0: PUSH1 0x20
000026a2: PUSH2 0x1be0
000026a5: PUSH1 0x04
000026a7: CALLDATALOAD
000026a8: PUSH2 0x2a44
000026ab: JUMP
000026ac: JUMPDEST
000026ad: CALLVALUE
000026ae: PUSH2 0x0411
000026b1: JUMPI
000026b2: PUSH0
000026b3: PUSH1 0x03
000026b5: NOT
000026b6: CALLDATASIZE
000026b7: ADD
000026b8: SLT
000026b9: PUSH2 0x0411
000026bc: JUMPI
000026bd: PUSH1 0x40
000026bf: MLOAD
000026c0: PUSH0
000026c1: PUSH1 0x01
000026c3: SLOAD
000026c4: DUP1
000026c5: PUSH1 0x01
000026c7: SHR
000026c8: SWAP1
000026c9: PUSH1 0x01
000026cb: DUP2
000026cc: AND
000026cd: DUP1
000026ce: ISZERO
000026cf: PUSH2 0x275d
000026d2: JUMPI
000026d3: JUMPDEST
000026d4: PUSH1 0x20
000026d6: DUP4
000026d7: LT
000026d8: DUP2
000026d9: EQ
000026da: PUSH2 0x153b
000026dd: JUMPI
000026de: DUP3
000026df: DUP6
000026e0: MSTORE
000026e1: SWAP1
000026e2: DUP2
000026e3: ISZERO
000026e4: PUSH2 0x14f9
000026e7: JUMPI
000026e8: POP
000026e9: PUSH1 0x01
000026eb: EQ
000026ec: PUSH2 0x26ff
000026ef: JUMPI
000026f0: PUSH2 0x04bc
000026f3: DUP4
000026f4: PUSH2 0x1487
000026f7: DUP2
000026f8: DUP6
000026f9: SUB
000026fa: DUP3
000026fb: PUSH2 0x29c9
000026fe: JUMP
000026ff: JUMPDEST
00002700: SWAP2
00002701: SWAP1
00002702: POP
00002703: PUSH1 0x01
00002705: PUSH0
00002706: MSTORE
00002707: PUSH32 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6
00002728: SWAP2
00002729: PUSH0
0000272a: SWAP1
0000272b: JUMPDEST
0000272c: DUP1
0000272d: DUP3
0000272e: LT
0000272f: PUSH2 0x2743
00002732: JUMPI
00002733: POP
00002734: SWAP1
00002735: SWAP2
00002736: POP
00002737: DUP2
00002738: ADD
00002739: PUSH1 0x20
0000273b: ADD
0000273c: PUSH2 0x1487
0000273f: PUSH2 0x1477
00002742: JUMP
00002743: JUMPDEST
00002744: SWAP2
00002745: SWAP3
00002746: PUSH1 0x01
00002748: DUP2
00002749: PUSH1 0x20
0000274b: SWAP3
0000274c: SLOAD
0000274d: DUP4
0000274e: DUP6
0000274f: DUP9
00002750: ADD
00002751: ADD
00002752: MSTORE
00002753: ADD
00002754: SWAP2
00002755: ADD
00002756: SWAP1
00002757: SWAP3
00002758: SWAP2
00002759: PUSH2 0x272b
0000275c: JUMP
0000275d: JUMPDEST
0000275e: SWAP2
0000275f: PUSH1 0x7f
00002761: AND
00002762: SWAP2
00002763: PUSH2 0x26d3
00002766: JUMP
00002767: JUMPDEST
00002768: CALLVALUE
00002769: PUSH2 0x0411
0000276c: JUMPI
0000276d: PUSH1 0x20
0000276f: PUSH1 0x03
00002771: NOT
00002772: CALLDATASIZE
00002773: ADD
00002774: SLT
00002775: PUSH2 0x0411
00002778: JUMPI
00002779: PUSH1 0x04
0000277b: CALLDATALOAD
0000277c: SWAP1
0000277d: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000279e: DUP3
0000279f: AND
000027a0: DUP1
000027a1: SWAP3
000027a2: SUB
000027a3: PUSH2 0x0411
000027a6: JUMPI
000027a7: DUP2
000027a8: PUSH32 0x4906490600000000000000000000000000000000000000000000000000000000
000027c9: PUSH1 0x20
000027cb: SWAP4
000027cc: EQ
000027cd: SWAP1
000027ce: DUP2
000027cf: ISZERO
000027d0: PUSH2 0x27db
000027d3: JUMPI
000027d4: JUMPDEST
000027d5: POP
000027d6: ISZERO
000027d7: ISZERO
000027d8: DUP2
000027d9: MSTORE
000027da: RETURN
000027db: JUMPDEST
000027dc: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000
000027fd: DUP2
000027fe: EQ
000027ff: SWAP2
00002800: POP
00002801: DUP2
00002802: ISZERO
00002803: PUSH2 0x283f
00002806: JUMPI
00002807: JUMPDEST
00002808: DUP2
00002809: ISZERO
0000280a: PUSH2 0x2815
0000280d: JUMPI
0000280e: JUMPDEST
0000280f: POP
00002810: DUP4
00002811: PUSH2 0x27d4
00002814: JUMP
00002815: JUMPDEST
00002816: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00002837: SWAP2
00002838: POP
00002839: EQ
0000283a: DUP4
0000283b: PUSH2 0x280e
0000283e: JUMP
0000283f: JUMPDEST
00002840: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000
00002861: DUP2
00002862: EQ
00002863: SWAP2
00002864: POP
00002865: PUSH2 0x2807
00002868: JUMP
00002869: JUMPDEST
0000286a: PUSH0
0000286b: JUMPDEST
0000286c: DUP4
0000286d: DUP2
0000286e: LT
0000286f: PUSH2 0x287a
00002872: JUMPI
00002873: POP
00002874: POP
00002875: PUSH0
00002876: SWAP2
00002877: ADD
00002878: MSTORE
00002879: JUMP
0000287a: JUMPDEST
0000287b: DUP2
0000287c: DUP2
0000287d: ADD
0000287e: MLOAD
0000287f: DUP4
00002880: DUP3
00002881: ADD
00002882: MSTORE
00002883: PUSH1 0x20
00002885: ADD
00002886: PUSH2 0x286b
00002889: JUMP
0000288a: JUMPDEST
0000288b: SWAP1
0000288c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000028ad: PUSH1 0x1f
000028af: PUSH1 0x20
000028b1: SWAP4
000028b2: PUSH2 0x28c6
000028b5: DUP2
000028b6: MLOAD
000028b7: DUP1
000028b8: SWAP3
000028b9: DUP2
000028ba: DUP8
000028bb: MSTORE
000028bc: DUP8
000028bd: DUP1
000028be: DUP9
000028bf: ADD
000028c0: SWAP2
000028c1: ADD
000028c2: PUSH2 0x2869
000028c5: JUMP
000028c6: JUMPDEST
000028c7: ADD
000028c8: AND
000028c9: ADD
000028ca: ADD
000028cb: SWAP1
000028cc: JUMP
000028cd: JUMPDEST
000028ce: PUSH1 0x04
000028d0: CALLDATALOAD
000028d1: SWAP1
000028d2: PUSH1 0x01
000028d4: PUSH1 0x01
000028d6: PUSH1 0xa0
000028d8: SHL
000028d9: SUB
000028da: DUP3
000028db: AND
000028dc: DUP3
000028dd: SUB
000028de: PUSH2 0x0411
000028e1: JUMPI
000028e2: JUMP
000028e3: JUMPDEST
000028e4: PUSH1 0x24
000028e6: CALLDATALOAD
000028e7: SWAP1
000028e8: PUSH1 0x01
000028ea: PUSH1 0x01
000028ec: PUSH1 0xa0
000028ee: SHL
000028ef: SUB
000028f0: DUP3
000028f1: AND
000028f2: DUP3
000028f3: SUB
000028f4: PUSH2 0x0411
000028f7: JUMPI
000028f8: JUMP
000028f9: JUMPDEST
000028fa: PUSH1 0x44
000028fc: CALLDATALOAD
000028fd: SWAP1
000028fe: PUSH1 0x01
00002900: PUSH1 0x01
00002902: PUSH1 0xa0
00002904: SHL
00002905: SUB
00002906: DUP3
00002907: AND
00002908: DUP3
00002909: SUB
0000290a: PUSH2 0x0411
0000290d: JUMPI
0000290e: JUMP
0000290f: JUMPDEST
00002910: PUSH1 0x64
00002912: CALLDATALOAD
00002913: SWAP1
00002914: PUSH1 0x01
00002916: PUSH1 0x01
00002918: PUSH1 0xa0
0000291a: SHL
0000291b: SUB
0000291c: DUP3
0000291d: AND
0000291e: DUP3
0000291f: SUB
00002920: PUSH2 0x0411
00002923: JUMPI
00002924: JUMP
00002925: JUMPDEST
00002926: PUSH1 0x24
00002928: CALLDATALOAD
00002929: SWAP1
0000292a: PUSH16 0xffffffffffffffffffffffffffffffff
0000293b: DUP3
0000293c: AND
0000293d: DUP3
0000293e: SUB
0000293f: PUSH2 0x0411
00002942: JUMPI
00002943: JUMP
00002944: JUMPDEST
00002945: PUSH1 0x44
00002947: CALLDATALOAD
00002948: SWAP1
00002949: PUSH16 0xffffffffffffffffffffffffffffffff
0000295a: DUP3
0000295b: AND
0000295c: DUP3
0000295d: SUB
0000295e: PUSH2 0x0411
00002961: JUMPI
00002962: JUMP
00002963: JUMPDEST
00002964: PUSH1 0x03
00002966: NOT
00002967: PUSH1 0x60
00002969: SWAP2
0000296a: ADD
0000296b: SLT
0000296c: PUSH2 0x0411
0000296f: JUMPI
00002970: PUSH1 0x04
00002972: CALLDATALOAD
00002973: PUSH1 0x01
00002975: PUSH1 0x01
00002977: PUSH1 0xa0
00002979: SHL
0000297a: SUB
0000297b: DUP2
0000297c: AND
0000297d: DUP2
0000297e: SUB
0000297f: PUSH2 0x0411
00002982: JUMPI
00002983: SWAP1
00002984: PUSH1 0x24
00002986: CALLDATALOAD
00002987: PUSH1 0x01
00002989: PUSH1 0x01
0000298b: PUSH1 0xa0
0000298d: SHL
0000298e: SUB
0000298f: DUP2
00002990: AND
00002991: DUP2
00002992: SUB
00002993: PUSH2 0x0411
00002996: JUMPI
00002997: SWAP1
00002998: PUSH1 0x44
0000299a: CALLDATALOAD
0000299b: SWAP1
0000299c: JUMP
0000299d: JUMPDEST
0000299e: PUSH1 0x84
000029a0: CALLDATALOAD
000029a1: SWAP1
000029a2: DUP2
000029a3: ISZERO
000029a4: ISZERO
000029a5: DUP3
000029a6: SUB
000029a7: PUSH2 0x0411
000029aa: JUMPI
000029ab: JUMP
000029ac: JUMPDEST
000029ad: PUSH2 0x0140
000029b0: DUP2
000029b1: ADD
000029b2: SWAP1
000029b3: DUP2
000029b4: LT
000029b5: PUSH8 0xffffffffffffffff
000029be: DUP3
000029bf: GT
000029c0: OR
000029c1: PUSH2 0x0bfa
000029c4: JUMPI
000029c5: PUSH1 0x40
000029c7: MSTORE
000029c8: JUMP
000029c9: JUMPDEST
000029ca: SWAP1
000029cb: PUSH1 0x1f
000029cd: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000029ee: SWAP2
000029ef: ADD
000029f0: AND
000029f1: DUP2
000029f2: ADD
000029f3: SWAP1
000029f4: DUP2
000029f5: LT
000029f6: PUSH8 0xffffffffffffffff
000029ff: DUP3
00002a00: GT
00002a01: OR
00002a02: PUSH2 0x0bfa
00002a05: JUMPI
00002a06: PUSH1 0x40
00002a08: MSTORE
00002a09: JUMP
00002a0a: JUMPDEST
00002a0b: PUSH8 0xffffffffffffffff
00002a14: DUP2
00002a15: GT
00002a16: PUSH2 0x0bfa
00002a19: JUMPI
00002a1a: PUSH1 0x1f
00002a1c: ADD
00002a1d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002a3e: AND
00002a3f: PUSH1 0x20
00002a41: ADD
00002a42: SWAP1
00002a43: JUMP
00002a44: JUMPDEST
00002a45: PUSH2 0x2a4d
00002a48: DUP2
00002a49: PUSH2 0x3111
00002a4c: JUMP
00002a4d: JUMPDEST
00002a4e: POP
00002a4f: PUSH0
00002a50: MSTORE
00002a51: PUSH1 0x05
00002a53: PUSH1 0x20
00002a55: MSTORE
00002a56: PUSH1 0x01
00002a58: PUSH1 0x01
00002a5a: PUSH1 0xa0
00002a5c: SHL
00002a5d: SUB
00002a5e: PUSH1 0x40
00002a60: PUSH0
00002a61: KECCAK256
00002a62: SLOAD
00002a63: AND
00002a64: SWAP1
00002a65: JUMP
00002a66: JUMPDEST
00002a67: RETURNDATASIZE
00002a68: ISZERO
00002a69: PUSH2 0x2a90
00002a6c: JUMPI
00002a6d: RETURNDATASIZE
00002a6e: SWAP1
00002a6f: PUSH2 0x2a77
00002a72: DUP3
00002a73: PUSH2 0x2a0a
00002a76: JUMP
00002a77: JUMPDEST
00002a78: SWAP2
00002a79: PUSH2 0x2a85
00002a7c: PUSH1 0x40
00002a7e: MLOAD
00002a7f: SWAP4
00002a80: DUP5
00002a81: PUSH2 0x29c9
00002a84: JUMP
00002a85: JUMPDEST
00002a86: DUP3
00002a87: MSTORE
00002a88: RETURNDATASIZE
00002a89: PUSH0
00002a8a: PUSH1 0x20
00002a8c: DUP5
00002a8d: ADD
00002a8e: RETURNDATACOPY
00002a8f: JUMP
00002a90: JUMPDEST
00002a91: PUSH1 0x60
00002a93: SWAP1
00002a94: JUMP
00002a95: JUMPDEST
00002a96: SWAP2
00002a97: SWAP1
00002a98: PUSH1 0x01
00002a9a: PUSH1 0x01
00002a9c: PUSH1 0xa0
00002a9e: SHL
00002a9f: SUB
00002aa0: AND
00002aa1: SWAP2
00002aa2: DUP3
00002aa3: ISZERO
00002aa4: PUSH2 0x2d4c
00002aa7: JUMPI
00002aa8: DUP2
00002aa9: PUSH0
00002aaa: MSTORE
00002aab: PUSH1 0x03
00002aad: PUSH1 0x20
00002aaf: MSTORE
00002ab0: PUSH1 0x01
00002ab2: PUSH1 0x01
00002ab4: PUSH1 0xa0
00002ab6: SHL
00002ab7: SUB
00002ab8: PUSH1 0x40
00002aba: PUSH0
00002abb: KECCAK256
00002abc: SLOAD
00002abd: AND
00002abe: ISZERO
00002abf: ISZERO
00002ac0: DUP1
00002ac1: PUSH2 0x2d2f
00002ac4: JUMPI
00002ac5: JUMPDEST
00002ac6: PUSH2 0x2d03
00002ac9: JUMPI
00002aca: DUP2
00002acb: PUSH0
00002acc: MSTORE
00002acd: PUSH1 0x03
00002acf: PUSH1 0x20
00002ad1: MSTORE
00002ad2: PUSH1 0x01
00002ad4: PUSH1 0x01
00002ad6: PUSH1 0xa0
00002ad8: SHL
00002ad9: SUB
00002ada: PUSH1 0x40
00002adc: PUSH0
00002add: KECCAK256
00002ade: SLOAD
00002adf: AND
00002ae0: SWAP3
00002ae1: CALLER
00002ae2: ISZERO
00002ae3: ISZERO
00002ae4: DUP1
00002ae5: PUSH2 0x2c3b
00002ae8: JUMPI
00002ae9: JUMPDEST
00002aea: POP
00002aeb: SWAP1
00002aec: PUSH32 0xf8e1a15aba9398e019f0b49df1a4fde98ee17ae345cb5f6b5e2c27f5033e8ce7
00002b0d: PUSH1 0x20
00002b0f: PUSH1 0x01
00002b11: PUSH1 0x01
00002b13: PUSH1 0xa0
00002b15: SHL
00002b16: SUB
00002b17: SWAP4
00002b18: DUP7
00002b19: PUSH2 0x2bce
00002b1c: JUMPI
00002b1d: JUMPDEST
00002b1e: DUP1
00002b1f: PUSH0
00002b20: MSTORE
00002b21: PUSH1 0x04
00002b23: DUP3
00002b24: MSTORE
00002b25: PUSH1 0x40
00002b27: PUSH0
00002b28: KECCAK256
00002b29: PUSH1 0x01
00002b2b: DUP2
00002b2c: SLOAD
00002b2d: ADD
00002b2e: SWAP1
00002b2f: SSTORE
00002b30: DUP6
00002b31: PUSH0
00002b32: MSTORE
00002b33: PUSH1 0x03
00002b35: DUP3
00002b36: MSTORE
00002b37: PUSH1 0x40
00002b39: PUSH0
00002b3a: KECCAK256
00002b3b: DUP2
00002b3c: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002b5d: DUP3
00002b5e: SLOAD
00002b5f: AND
00002b60: OR
00002b61: SWAP1
00002b62: SSTORE
00002b63: DUP6
00002b64: PUSH1 0x40
00002b66: MLOAD
00002b67: SWAP2
00002b68: DUP9
00002b69: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002b8a: PUSH0
00002b8b: DUP1
00002b8c: LOG4
00002b8d: DUP6
00002b8e: DUP2
00002b8f: MSTORE
00002b90: LOG1
00002b91: AND
00002b92: DUP1
00002b93: DUP4
00002b94: SUB
00002b95: PUSH2 0x2b9d
00002b98: JUMPI
00002b99: POP
00002b9a: POP
00002b9b: POP
00002b9c: JUMP
00002b9d: JUMPDEST
00002b9e: PUSH32 0x64283d7b00000000000000000000000000000000000000000000000000000000
00002bbf: PUSH0
00002bc0: MSTORE
00002bc1: PUSH1 0x04
00002bc3: MSTORE
00002bc4: PUSH1 0x24
00002bc6: MSTORE
00002bc7: PUSH1 0x44
00002bc9: MSTORE
00002bca: PUSH1 0x64
00002bcc: PUSH0
00002bcd: REVERT
00002bce: JUMPDEST
00002bcf: PUSH2 0x2c05
00002bd2: DUP7
00002bd3: PUSH0
00002bd4: MSTORE
00002bd5: PUSH1 0x05
00002bd7: PUSH1 0x20
00002bd9: MSTORE
00002bda: PUSH1 0x40
00002bdc: PUSH0
00002bdd: KECCAK256
00002bde: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002bff: DUP2
00002c00: SLOAD
00002c01: AND
00002c02: SWAP1
00002c03: SSTORE
00002c04: JUMP
00002c05: JUMPDEST
00002c06: DUP7
00002c07: PUSH0
00002c08: MSTORE
00002c09: PUSH1 0x04
00002c0b: DUP3
00002c0c: MSTORE
00002c0d: PUSH1 0x40
00002c0f: PUSH0
00002c10: KECCAK256
00002c11: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002c32: DUP2
00002c33: SLOAD
00002c34: ADD
00002c35: SWAP1
00002c36: SSTORE
00002c37: PUSH2 0x2b1d
00002c3a: JUMP
00002c3b: JUMPDEST
00002c3c: DUP1
00002c3d: PUSH2 0x2cac
00002c40: JUMPI
00002c41: JUMPDEST
00002c42: ISZERO
00002c43: PUSH2 0x2c4c
00002c46: JUMPI
00002c47: PUSH0
00002c48: PUSH2 0x2ae9
00002c4b: JUMP
00002c4c: JUMPDEST
00002c4d: DUP3
00002c4e: DUP5
00002c4f: PUSH2 0x2c7d
00002c52: JUMPI
00002c53: PUSH32 0x7e27328900000000000000000000000000000000000000000000000000000000
00002c74: PUSH0
00002c75: MSTORE
00002c76: PUSH1 0x04
00002c78: MSTORE
00002c79: PUSH1 0x24
00002c7b: PUSH0
00002c7c: REVERT
00002c7d: JUMPDEST
00002c7e: PUSH32 0x177e802f00000000000000000000000000000000000000000000000000000000
00002c9f: PUSH0
00002ca0: MSTORE
00002ca1: CALLER
00002ca2: PUSH1 0x04
00002ca4: MSTORE
00002ca5: PUSH1 0x24
00002ca7: MSTORE
00002ca8: PUSH1 0x44
00002caa: PUSH0
00002cab: REVERT
00002cac: JUMPDEST
00002cad: POP
00002cae: CALLER
00002caf: DUP5
00002cb0: EQ
00002cb1: DUP1
00002cb2: ISZERO
00002cb3: PUSH2 0x2cda
00002cb6: JUMPI
00002cb7: JUMPDEST
00002cb8: DUP1
00002cb9: PUSH2 0x2c41
00002cbc: JUMPI
00002cbd: POP
00002cbe: DUP3
00002cbf: PUSH0
00002cc0: MSTORE
00002cc1: PUSH1 0x05
00002cc3: PUSH1 0x20
00002cc5: MSTORE
00002cc6: CALLER
00002cc7: PUSH1 0x01
00002cc9: PUSH1 0x01
00002ccb: PUSH1 0xa0
00002ccd: SHL
00002cce: SUB
00002ccf: PUSH1 0x40
00002cd1: PUSH0
00002cd2: KECCAK256
00002cd3: SLOAD
00002cd4: AND
00002cd5: EQ
00002cd6: PUSH2 0x2c41
00002cd9: JUMP
00002cda: JUMPDEST
00002cdb: POP
00002cdc: DUP4
00002cdd: PUSH0
00002cde: MSTORE
00002cdf: PUSH1 0x06
00002ce1: PUSH1 0x20
00002ce3: MSTORE
00002ce4: PUSH1 0x40
00002ce6: PUSH0
00002ce7: KECCAK256
00002ce8: PUSH1 0x01
00002cea: PUSH1 0x01
00002cec: PUSH1 0xa0
00002cee: SHL
00002cef: SUB
00002cf0: CALLER
00002cf1: AND
00002cf2: PUSH0
00002cf3: MSTORE
00002cf4: PUSH1 0x20
00002cf6: MSTORE
00002cf7: PUSH1 0xff
00002cf9: PUSH1 0x40
00002cfb: PUSH0
00002cfc: KECCAK256
00002cfd: SLOAD
00002cfe: AND
00002cff: PUSH2 0x2cb7
00002d02: JUMP
00002d03: JUMPDEST
00002d04: POP
00002d05: PUSH32 0x7da2ea2b00000000000000000000000000000000000000000000000000000000
00002d26: PUSH0
00002d27: MSTORE
00002d28: PUSH1 0x04
00002d2a: MSTORE
00002d2b: PUSH1 0x24
00002d2d: PUSH0
00002d2e: REVERT
00002d2f: JUMPDEST
00002d30: POP
00002d31: DUP2
00002d32: PUSH0
00002d33: MSTORE
00002d34: PUSH1 0x0c
00002d36: PUSH1 0x20
00002d38: MSTORE
00002d39: PUSH1 0xff
00002d3b: PUSH1 0x01
00002d3d: PUSH1 0x40
00002d3f: PUSH0
00002d40: KECCAK256
00002d41: ADD
00002d42: SLOAD
00002d43: PUSH1 0xd0
00002d45: SHR
00002d46: AND
00002d47: ISZERO
00002d48: PUSH2 0x2ac5
00002d4b: JUMP
00002d4c: JUMPDEST
00002d4d: PUSH32 0x64a0ae9200000000000000000000000000000000000000000000000000000000
00002d6e: PUSH0
00002d6f: MSTORE
00002d70: PUSH0
00002d71: PUSH1 0x04
00002d73: MSTORE
00002d74: PUSH1 0x24
00002d76: PUSH0
00002d77: REVERT
00002d78: JUMPDEST
00002d79: DUP1
00002d7a: PUSH0
00002d7b: MSTORE
00002d7c: PUSH1 0x0c
00002d7e: PUSH1 0x20
00002d80: MSTORE
00002d81: PUSH1 0xff
00002d83: PUSH1 0x01
00002d85: PUSH1 0x40
00002d87: PUSH0
00002d88: KECCAK256
00002d89: ADD
00002d8a: SLOAD
00002d8b: PUSH1 0xc8
00002d8d: SHR
00002d8e: AND
00002d8f: ISZERO
00002d90: PUSH2 0x071a
00002d93: JUMPI
00002d94: PUSH2 0x2d9c
00002d97: SWAP1
00002d98: PUSH2 0x36f7
00002d9b: JUMP
00002d9c: JUMPDEST
00002d9d: SWAP1
00002d9e: JUMP
00002d9f: JUMPDEST
00002da0: SWAP2
00002da1: SWAP1
00002da2: DUP3
00002da3: SUB
00002da4: SWAP2
00002da5: DUP3
00002da6: GT
00002da7: PUSH2 0x10db
00002daa: JUMPI
00002dab: JUMP
00002dac: JUMPDEST
00002dad: DUP1
00002dae: PUSH0
00002daf: MSTORE
00002db0: PUSH1 0x0c
00002db2: PUSH1 0x20
00002db4: MSTORE
00002db5: PUSH1 0xff
00002db7: PUSH1 0x01
00002db9: PUSH1 0x40
00002dbb: PUSH0
00002dbc: KECCAK256
00002dbd: ADD
00002dbe: SLOAD
00002dbf: PUSH1 0xd8
00002dc1: SHR
00002dc2: AND
00002dc3: PUSH2 0x2e01
00002dc6: JUMPI
00002dc7: PUSH2 0x2dcf
00002dca: DUP2
00002dcb: PUSH2 0x3efe
00002dce: JUMP
00002dcf: JUMPDEST
00002dd0: ISZERO
00002dd1: ISZERO
00002dd2: SWAP1
00002dd3: PUSH0
00002dd4: MSTORE
00002dd5: PUSH1 0x0c
00002dd7: PUSH1 0x20
00002dd9: MSTORE
00002dda: PUSH1 0x40
00002ddc: PUSH0
00002ddd: KECCAK256
00002dde: SLOAD
00002ddf: PUSH1 0x80
00002de1: SHR
00002de2: ISZERO
00002de3: PUSH2 0x2df3
00002de6: JUMPI
00002de7: PUSH2 0x2dee
00002dea: JUMPI
00002deb: PUSH0
00002dec: SWAP1
00002ded: JUMP
00002dee: JUMPDEST
00002def: PUSH1 0x01
00002df1: SWAP1
00002df2: JUMP
00002df3: JUMPDEST
00002df4: PUSH2 0x2dfc
00002df7: JUMPI
00002df8: PUSH1 0x02
00002dfa: SWAP1
00002dfb: JUMP
00002dfc: JUMPDEST
00002dfd: PUSH1 0x03
00002dff: SWAP1
00002e00: JUMP
00002e01: JUMPDEST
00002e02: POP
00002e03: PUSH1 0x04
00002e05: SWAP1
00002e06: JUMP
00002e07: JUMPDEST
00002e08: SWAP1
00002e09: PUSH2 0x2e13
00002e0c: DUP4
00002e0d: DUP3
00002e0e: DUP5
00002e0f: PUSH2 0x2a95
00002e12: JUMP
00002e13: JUMPDEST
00002e14: DUP1
00002e15: EXTCODESIZE
00002e16: PUSH2 0x2e20
00002e19: JUMPI
00002e1a: JUMPDEST
00002e1b: POP
00002e1c: POP
00002e1d: POP
00002e1e: POP
00002e1f: JUMP
00002e20: JUMPDEST
00002e21: PUSH1 0x20
00002e23: SWAP2
00002e24: PUSH2 0x2e7f
00002e27: PUSH1 0x01
00002e29: PUSH1 0x01
00002e2b: PUSH1 0xa0
00002e2d: SHL
00002e2e: SUB
00002e2f: DUP1
00002e30: SWAP4
00002e31: AND
00002e32: SWAP6
00002e33: PUSH1 0x40
00002e35: MLOAD
00002e36: SWAP6
00002e37: DUP7
00002e38: SWAP5
00002e39: DUP6
00002e3a: SWAP5
00002e3b: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
00002e5c: DUP7
00002e5d: MSTORE
00002e5e: CALLER
00002e5f: PUSH1 0x04
00002e61: DUP8
00002e62: ADD
00002e63: MSTORE
00002e64: AND
00002e65: PUSH1 0x24
00002e67: DUP6
00002e68: ADD
00002e69: MSTORE
00002e6a: PUSH1 0x44
00002e6c: DUP5
00002e6d: ADD
00002e6e: MSTORE
00002e6f: PUSH1 0x80
00002e71: PUSH1 0x64
00002e73: DUP5
00002e74: ADD
00002e75: MSTORE
00002e76: PUSH1 0x84
00002e78: DUP4
00002e79: ADD
00002e7a: SWAP1
00002e7b: PUSH2 0x288a
00002e7e: JUMP
00002e7f: JUMPDEST
00002e80: SUB
00002e81: DUP2
00002e82: PUSH0
00002e83: DUP7
00002e84: GAS
00002e85: CALL
00002e86: PUSH0
00002e87: SWAP2
00002e88: DUP2
00002e89: PUSH2 0x2f52
00002e8c: JUMPI
00002e8d: JUMPDEST
00002e8e: POP
00002e8f: PUSH2 0x2ed4
00002e92: JUMPI
00002e93: POP
00002e94: PUSH2 0x2e9b
00002e97: PUSH2 0x2a66
00002e9a: JUMP
00002e9b: JUMPDEST
00002e9c: DUP1
00002e9d: MLOAD
00002e9e: SWAP1
00002e9f: DUP2
00002ea0: PUSH2 0x2ecf
00002ea3: JUMPI
00002ea4: DUP3
00002ea5: PUSH32 0x64a0ae9200000000000000000000000000000000000000000000000000000000
00002ec6: PUSH0
00002ec7: MSTORE
00002ec8: PUSH1 0x04
00002eca: MSTORE
00002ecb: PUSH1 0x24
00002ecd: PUSH0
00002ece: REVERT
00002ecf: JUMPDEST
00002ed0: PUSH1 0x20
00002ed2: ADD
00002ed3: REVERT
00002ed4: JUMPDEST
00002ed5: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002ef6: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
00002f17: SWAP2
00002f18: AND
00002f19: SUB
00002f1a: PUSH2 0x2f27
00002f1d: JUMPI
00002f1e: POP
00002f1f: PUSH0
00002f20: DUP1
00002f21: DUP1
00002f22: DUP1
00002f23: PUSH2 0x2e1a
00002f26: JUMP
00002f27: JUMPDEST
00002f28: PUSH32 0x64a0ae9200000000000000000000000000000000000000000000000000000000
00002f49: PUSH0
00002f4a: MSTORE
00002f4b: PUSH1 0x04
00002f4d: MSTORE
00002f4e: PUSH1 0x24
00002f50: PUSH0
00002f51: REVERT
00002f52: JUMPDEST
00002f53: SWAP1
00002f54: SWAP2
00002f55: POP
00002f56: PUSH1 0x20
00002f58: DUP2
00002f59: RETURNDATASIZE
00002f5a: PUSH1 0x20
00002f5c: GT
00002f5d: PUSH2 0x2fa7
00002f60: JUMPI
00002f61: JUMPDEST
00002f62: DUP2
00002f63: PUSH2 0x2f6e
00002f66: PUSH1 0x20
00002f68: SWAP4
00002f69: DUP4
00002f6a: PUSH2 0x29c9
00002f6d: JUMP
00002f6e: JUMPDEST
00002f6f: DUP2
00002f70: ADD
00002f71: SUB
00002f72: SLT
00002f73: PUSH2 0x0411
00002f76: JUMPI
00002f77: MLOAD
00002f78: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002f99: DUP2
00002f9a: AND
00002f9b: DUP2
00002f9c: SUB
00002f9d: PUSH2 0x0411
00002fa0: JUMPI
00002fa1: SWAP1
00002fa2: PUSH0
00002fa3: PUSH2 0x2e8d
00002fa6: JUMP
00002fa7: JUMPDEST
00002fa8: RETURNDATASIZE
00002fa9: SWAP2
00002faa: POP
00002fab: PUSH2 0x2f61
00002fae: JUMP
00002faf: JUMPDEST
00002fb0: SWAP2
00002fb1: SWAP1
00002fb2: DUP3
00002fb3: ADD
00002fb4: DUP1
00002fb5: SWAP3
00002fb6: GT
00002fb7: PUSH2 0x10db
00002fba: JUMPI
00002fbb: JUMP
00002fbc: JUMPDEST
00002fbd: DUP2
00002fbe: ISZERO
00002fbf: PUSH2 0x2fc6
00002fc2: JUMPI
00002fc3: DIV
00002fc4: SWAP1
00002fc5: JUMP
00002fc6: JUMPDEST
00002fc7: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002fe8: PUSH0
00002fe9: MSTORE
00002fea: PUSH1 0x12
00002fec: PUSH1 0x04
00002fee: MSTORE
00002fef: PUSH1 0x24
00002ff1: PUSH0
00002ff2: REVERT
00002ff3: JUMPDEST
00002ff4: DUP1
00002ff5: PUSH0
00002ff6: MSTORE
00002ff7: PUSH1 0x0c
00002ff9: PUSH1 0x20
00002ffb: MSTORE
00002ffc: PUSH16 0xffffffffffffffffffffffffffffffff
0000300d: PUSH1 0x40
0000300f: PUSH0
00003010: KECCAK256
00003011: SLOAD
00003012: AND
00003013: SWAP1
00003014: DUP2
00003015: ISZERO
00003016: PUSH2 0x30e6
00003019: JUMPI
0000301a: DUP1
0000301b: PUSH0
0000301c: MSTORE
0000301d: PUSH1 0x0c
0000301f: PUSH1 0x20
00003021: MSTORE
00003022: PUSH2 0x3039
00003025: PUSH1 0xff
00003027: PUSH1 0x02
00003029: PUSH1 0x40
0000302b: PUSH0
0000302c: KECCAK256
0000302d: ADD
0000302e: SLOAD
0000302f: PUSH1 0xa0
00003031: SHR
00003032: AND
00003033: DUP1
00003034: SWAP4
00003035: PUSH2 0x402a
00003038: JUMP
00003039: JUMPDEST
0000303a: SWAP2
0000303b: DUP2
0000303c: PUSH0
0000303d: MSTORE
0000303e: PUSH1 0x0c
00003040: PUSH1 0x20
00003042: MSTORE
00003043: PUSH2 0x3053
00003046: PUSH1 0x03
00003048: PUSH1 0x40
0000304a: PUSH0
0000304b: KECCAK256
0000304c: ADD
0000304d: SLOAD
0000304e: SWAP2
0000304f: PUSH2 0x400d
00003052: JUMP
00003053: JUMPDEST
00003054: SWAP1
00003055: PUSH2 0x3066
00003058: PUSH2 0x3060
0000305b: DUP5
0000305c: PUSH2 0x3d7d
0000305f: JUMP
00003060: JUMPDEST
00003061: DUP3
00003062: PUSH2 0x2faf
00003065: JUMP
00003066: JUMPDEST
00003067: PUSH2 0x3070
0000306a: DUP4
0000306b: DUP7
0000306c: PUSH2 0x2faf
0000306f: JUMP
00003070: JUMPDEST
00003071: GT
00003072: ISZERO
00003073: PUSH2 0x30de
00003076: JUMPI
00003077: DUP3
00003078: PUSH0
00003079: MSTORE
0000307a: PUSH1 0x0c
0000307c: PUSH1 0x20
0000307e: MSTORE
0000307f: PUSH1 0x40
00003081: PUSH0
00003082: KECCAK256
00003083: SLOAD
00003084: PUSH1 0x80
00003086: SHR
00003087: SWAP4
00003088: SUB
00003089: ADD
0000308a: SWAP2
0000308b: PUSH2 0x3094
0000308e: DUP2
0000308f: DUP5
00003090: PUSH2 0x2fbc
00003093: JUMP
00003094: JUMPDEST
00003095: SWAP3
00003096: DUP2
00003097: ISZERO
00003098: PUSH2 0x2fc6
0000309b: JUMPI
0000309c: MOD
0000309d: PUSH2 0x30bd
000030a0: JUMPI
000030a1: PUSH0
000030a2: MSTORE
000030a3: PUSH1 0x0c
000030a5: PUSH1 0x20
000030a7: MSTORE
000030a8: PUSH5 0xffffffffff
000030ae: PUSH1 0x01
000030b0: PUSH1 0x40
000030b2: PUSH0
000030b3: KECCAK256
000030b4: ADD
000030b5: SLOAD
000030b6: PUSH1 0xa0
000030b8: SHR
000030b9: AND
000030ba: ADD
000030bb: SWAP1
000030bc: JUMP
000030bd: JUMPDEST
000030be: SWAP1
000030bf: PUSH1 0x01
000030c1: SWAP2
000030c2: PUSH0
000030c3: MSTORE
000030c4: PUSH1 0x0c
000030c6: PUSH1 0x20
000030c8: MSTORE
000030c9: PUSH5 0xffffffffff
000030cf: DUP3
000030d0: PUSH1 0x40
000030d2: PUSH0
000030d3: KECCAK256
000030d4: ADD
000030d5: SLOAD
000030d6: PUSH1 0xa0
000030d8: SHR
000030d9: AND
000030da: ADD
000030db: ADD
000030dc: SWAP1
000030dd: JUMP
000030de: JUMPDEST
000030df: POP
000030e0: POP
000030e1: POP
000030e2: POP
000030e3: PUSH0
000030e4: SWAP1
000030e5: JUMP
000030e6: JUMPDEST
000030e7: PUSH32 0x0f04b2a100000000000000000000000000000000000000000000000000000000
00003108: PUSH0
00003109: MSTORE
0000310a: PUSH1 0x04
0000310c: MSTORE
0000310d: PUSH1 0x24
0000310f: PUSH0
00003110: REVERT
00003111: JUMPDEST
00003112: DUP1
00003113: PUSH0
00003114: MSTORE
00003115: PUSH1 0x03
00003117: PUSH1 0x20
00003119: MSTORE
0000311a: PUSH1 0x01
0000311c: PUSH1 0x01
0000311e: PUSH1 0xa0
00003120: SHL
00003121: SUB
00003122: PUSH1 0x40
00003124: PUSH0
00003125: KECCAK256
00003126: SLOAD
00003127: AND
00003128: SWAP1
00003129: DUP2
0000312a: ISZERO
0000312b: PUSH2 0x3132
0000312e: JUMPI
0000312f: POP
00003130: SWAP1
00003131: JUMP
00003132: JUMPDEST
00003133: PUSH32 0x7e27328900000000000000000000000000000000000000000000000000000000
00003154: PUSH0
00003155: MSTORE
00003156: PUSH1 0x04
00003158: MSTORE
00003159: PUSH1 0x24
0000315b: PUSH0
0000315c: REVERT
0000315d: JUMPDEST
0000315e: PUSH2 0x2d9c
00003161: SWAP1
00003162: PUSH2 0x3183
00003165: PUSH2 0x316d
00003168: DUP3
00003169: PUSH2 0x3d7d
0000316c: JUMP
0000316d: JUMPDEST
0000316e: DUP3
0000316f: PUSH0
00003170: MSTORE
00003171: PUSH1 0x0c
00003173: PUSH1 0x20
00003175: MSTORE
00003176: PUSH1 0x03
00003178: PUSH1 0x40
0000317a: PUSH0
0000317b: KECCAK256
0000317c: ADD
0000317d: SLOAD
0000317e: SWAP1
0000317f: PUSH2 0x2faf
00003182: JUMP
00003183: JUMPDEST
00003184: SWAP1
00003185: PUSH0
00003186: MSTORE
00003187: PUSH1 0x0c
00003189: PUSH1 0x20
0000318b: MSTORE
0000318c: PUSH1 0xff
0000318e: PUSH1 0x02
00003190: PUSH1 0x40
00003192: PUSH0
00003193: KECCAK256
00003194: ADD
00003195: SLOAD
00003196: PUSH1 0xa0
00003198: SHR
00003199: AND
0000319a: SWAP1
0000319b: PUSH2 0x4467
0000319e: JUMP
0000319f: JUMPDEST
000031a0: PUSH1 0x01
000031a2: PUSH1 0x01
000031a4: PUSH1 0xa0
000031a6: SHL
000031a7: SUB
000031a8: PUSH32 0x0000000000000000000000002d9221a63e12aa796619cb381ec4a71b201281f5
000031c9: AND
000031ca: ADDRESS
000031cb: SUB
000031cc: PUSH2 0x31d1
000031cf: JUMPI
000031d0: JUMP
000031d1: JUMPDEST
000031d2: PUSH32 0xa1c0d6e500000000000000000000000000000000000000000000000000000000
000031f3: PUSH0
000031f4: MSTORE
000031f5: PUSH1 0x04
000031f7: PUSH0
000031f8: REVERT
000031f9: JUMPDEST
000031fa: SWAP1
000031fb: PUSH16 0xffffffffffffffffffffffffffffffff
0000320c: DUP1
0000320d: SWAP2
0000320e: AND
0000320f: SWAP2
00003210: AND
00003211: SUB
00003212: SWAP1
00003213: PUSH16 0xffffffffffffffffffffffffffffffff
00003224: DUP3
00003225: GT
00003226: PUSH2 0x10db
00003229: JUMPI
0000322a: JUMP
0000322b: JUMPDEST
0000322c: PUSH2 0x2d9c
0000322f: SWAP1
00003230: DUP1
00003231: PUSH0
00003232: MSTORE
00003233: PUSH1 0x0c
00003235: PUSH1 0x20
00003237: MSTORE
00003238: PUSH2 0x3257
0000323b: PUSH16 0xffffffffffffffffffffffffffffffff
0000324c: PUSH1 0x40
0000324e: PUSH0
0000324f: KECCAK256
00003250: SLOAD
00003251: AND
00003252: SWAP2
00003253: PUSH2 0x36f7
00003256: JUMP
00003257: JUMPDEST
00003258: SWAP1
00003259: PUSH2 0x31f9
0000325c: JUMP
0000325d: JUMPDEST
0000325e: PUSH16 0xffffffffffffffffffffffffffffffff
0000326f: DUP3
00003270: AND
00003271: DUP1
00003272: ISZERO
00003273: PUSH2 0x3406
00003276: JUMPI
00003277: PUSH16 0xffffffffffffffffffffffffffffffff
00003288: PUSH2 0x3290
0000328b: DUP4
0000328c: PUSH2 0x322b
0000328f: JUMP
00003290: JUMPDEST
00003291: AND
00003292: DUP1
00003293: DUP3
00003294: GT
00003295: PUSH2 0x33d4
00003298: JUMPI
00003299: DUP3
0000329a: PUSH0
0000329b: MSTORE
0000329c: PUSH1 0x0c
0000329e: PUSH1 0x20
000032a0: MSTORE
000032a1: PUSH16 0xffffffffffffffffffffffffffffffff
000032b2: PUSH1 0x40
000032b4: PUSH0
000032b5: KECCAK256
000032b6: SLOAD
000032b7: AND
000032b8: LT
000032b9: PUSH2 0x3382
000032bc: JUMPI
000032bd: PUSH1 0x20
000032bf: PUSH32 0xe31f2d40d5780915b1e656a67e11bdf09b0a4a925ec42bbeae220c8ca937ab49
000032e0: SWAP2
000032e1: DUP4
000032e2: PUSH0
000032e3: MSTORE
000032e4: PUSH1 0x0c
000032e6: DUP3
000032e7: MSTORE
000032e8: PUSH2 0x3379
000032eb: DUP2
000032ec: PUSH1 0x01
000032ee: PUSH1 0x01
000032f0: PUSH1 0xa0
000032f2: SHL
000032f3: SUB
000032f4: PUSH1 0x01
000032f6: PUSH1 0x40
000032f8: PUSH0
000032f9: KECCAK256
000032fa: ADD
000032fb: SLOAD
000032fc: AND
000032fd: DUP1
000032fe: SWAP8
000032ff: DUP8
00003300: PUSH0
00003301: MSTORE
00003302: PUSH1 0x0c
00003304: DUP7
00003305: MSTORE
00003306: PUSH1 0x01
00003308: PUSH1 0x01
0000330a: PUSH1 0xa0
0000330c: SHL
0000330d: SUB
0000330e: PUSH1 0x02
00003310: PUSH1 0x40
00003312: PUSH0
00003313: KECCAK256
00003314: ADD
00003315: SLOAD
00003316: AND
00003317: SWAP1
00003318: DUP9
00003319: PUSH0
0000331a: MSTORE
0000331b: PUSH1 0x0c
0000331d: DUP8
0000331e: MSTORE
0000331f: PUSH16 0xffffffffffffffffffffffffffffffff
00003330: DUP1
00003331: PUSH1 0x40
00003333: PUSH0
00003334: KECCAK256
00003335: SWAP3
00003336: DUP2
00003337: DUP5
00003338: SLOAD
00003339: AND
0000333a: SUB
0000333b: AND
0000333c: AND
0000333d: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
0000335e: DUP3
0000335f: SLOAD
00003360: AND
00003361: OR
00003362: SWAP1
00003363: SSTORE
00003364: DUP1
00003365: PUSH0
00003366: MSTORE
00003367: PUSH1 0x07
00003369: DUP7
0000336a: MSTORE
0000336b: PUSH1 0x40
0000336d: PUSH0
0000336e: KECCAK256
0000336f: DUP4
00003370: DUP2
00003371: SLOAD
00003372: SUB
00003373: SWAP1
00003374: SSTORE
00003375: PUSH2 0x3d21
00003378: JUMP
00003379: JUMPDEST
0000337a: PUSH1 0x40
0000337c: MLOAD
0000337d: SWAP1
0000337e: DUP2
0000337f: MSTORE
00003380: LOG3
00003381: JUMP
00003382: JUMPDEST
00003383: SWAP1
00003384: DUP1
00003385: PUSH0
00003386: MSTORE
00003387: PUSH1 0x0c
00003389: PUSH1 0x20
0000338b: MSTORE
0000338c: PUSH16 0xffffffffffffffffffffffffffffffff
0000339d: PUSH1 0x40
0000339f: PUSH0
000033a0: KECCAK256
000033a1: SLOAD
000033a2: AND
000033a3: SWAP1
000033a4: PUSH32 0xcb5f605f00000000000000000000000000000000000000000000000000000000
000033c5: PUSH0
000033c6: MSTORE
000033c7: PUSH1 0x04
000033c9: MSTORE
000033ca: PUSH1 0x24
000033cc: MSTORE
000033cd: PUSH1 0x44
000033cf: MSTORE
000033d0: PUSH1 0x64
000033d2: PUSH0
000033d3: REVERT
000033d4: JUMPDEST
000033d5: SWAP2
000033d6: PUSH32 0xe977140100000000000000000000000000000000000000000000000000000000
000033f7: PUSH0
000033f8: MSTORE
000033f9: PUSH1 0x04
000033fb: MSTORE
000033fc: PUSH1 0x24
000033fe: MSTORE
000033ff: PUSH1 0x44
00003401: MSTORE
00003402: PUSH1 0x64
00003404: PUSH0
00003405: REVERT
00003406: JUMPDEST
00003407: POP
00003408: PUSH32 0xea66b87100000000000000000000000000000000000000000000000000000000
00003429: PUSH0
0000342a: MSTORE
0000342b: PUSH1 0x04
0000342d: MSTORE
0000342e: PUSH1 0x24
00003430: PUSH0
00003431: REVERT
00003432: JUMPDEST
00003433: DUP1
00003434: PUSH0
00003435: MSTORE
00003436: PUSH1 0x0c
00003438: PUSH1 0x20
0000343a: MSTORE
0000343b: PUSH1 0x40
0000343d: PUSH0
0000343e: KECCAK256
0000343f: SLOAD
00003440: PUSH1 0x80
00003442: SHR
00003443: ISZERO
00003444: PUSH2 0x3537
00003447: JUMPI
00003448: PUSH2 0x3450
0000344b: DUP2
0000344c: PUSH2 0x3d7d
0000344f: JUMP
00003450: JUMPDEST
00003451: DUP1
00003452: PUSH2 0x3515
00003455: JUMPI
00003456: JUMPDEST
00003457: POP
00003458: PUSH0
00003459: DUP2
0000345a: DUP2
0000345b: MSTORE
0000345c: PUSH1 0x0c
0000345e: PUSH1 0x20
00003460: SWAP1
00003461: DUP2
00003462: MSTORE
00003463: PUSH1 0x40
00003465: DUP1
00003466: DUP4
00003467: KECCAK256
00003468: PUSH1 0x01
0000346a: DUP2
0000346b: ADD
0000346c: DUP1
0000346d: SLOAD
0000346e: PUSH25 0xffffffffff0000000000000000000000000000000000000000
00003488: TIMESTAMP
00003489: PUSH1 0xa0
0000348b: SHL
0000348c: AND
0000348d: PUSH32 0xffffffffffffff0000000000ffffffffffffffffffffffffffffffffffffffff
000034ae: DUP3
000034af: AND
000034b0: OR
000034b1: SWAP1
000034b2: SWAP2
000034b3: SSTORE
000034b4: DUP2
000034b5: SLOAD
000034b6: PUSH16 0xffffffffffffffffffffffffffffffff
000034c7: AND
000034c8: SWAP1
000034c9: SWAP2
000034ca: SSTORE
000034cb: PUSH1 0x03
000034cd: DUP4
000034ce: MSTORE
000034cf: SWAP3
000034d0: KECCAK256
000034d1: SLOAD
000034d2: PUSH1 0x01
000034d4: PUSH1 0x01
000034d6: PUSH1 0xa0
000034d8: SHL
000034d9: SUB
000034da: SWAP1
000034db: DUP2
000034dc: AND
000034dd: SWAP4
000034de: SWAP3
000034df: AND
000034e0: SWAP2
000034e1: SWAP1
000034e2: PUSH32 0xda83bf669c651406e02062769e01d14cccb5625ea685fd95e0e56d29597dac47
00003503: SWAP1
00003504: PUSH2 0x350c
00003507: DUP4
00003508: PUSH2 0x315d
0000350b: JUMP
0000350c: JUMPDEST
0000350d: PUSH1 0x40
0000350f: MLOAD
00003510: SWAP1
00003511: DUP2
00003512: MSTORE
00003513: LOG4
00003514: JUMP
00003515: JUMPDEST
00003516: DUP2
00003517: PUSH0
00003518: MSTORE
00003519: PUSH1 0x0c
0000351b: PUSH1 0x20
0000351d: MSTORE
0000351e: PUSH2 0x352f
00003521: PUSH1 0x03
00003523: PUSH1 0x40
00003525: PUSH0
00003526: KECCAK256
00003527: ADD
00003528: SWAP2
00003529: DUP3
0000352a: SLOAD
0000352b: PUSH2 0x2faf
0000352e: JUMP
0000352f: JUMPDEST
00003530: SWAP1
00003531: SSTORE
00003532: PUSH0
00003533: PUSH2 0x3456
00003536: JUMP
00003537: JUMPDEST
00003538: PUSH32 0xd2657d5a00000000000000000000000000000000000000000000000000000000
00003559: PUSH0
0000355a: MSTORE
0000355b: PUSH1 0x04
0000355d: MSTORE
0000355e: PUSH0
0000355f: PUSH1 0x24
00003561: MSTORE
00003562: PUSH1 0x44
00003564: PUSH0
00003565: REVERT
00003566: JUMPDEST
00003567: DUP1
00003568: PUSH0
00003569: MSTORE
0000356a: PUSH1 0x0c
0000356c: PUSH1 0x20
0000356e: MSTORE
0000356f: PUSH1 0x40
00003571: PUSH0
00003572: KECCAK256
00003573: SLOAD
00003574: PUSH1 0x80
00003576: SHR
00003577: PUSH2 0x35c4
0000357a: JUMPI
0000357b: PUSH2 0x3584
0000357e: DUP3
0000357f: DUP3
00003580: PUSH2 0x3dcd
00003583: JUMP
00003584: JUMPDEST
00003585: PUSH16 0xffffffffffffffffffffffffffffffff
00003596: PUSH1 0x40
00003598: MLOAD
00003599: SWAP3
0000359a: AND
0000359b: DUP3
0000359c: MSTORE
0000359d: PUSH32 0xc2a543cfadbf862642247e28711aaa30e3460384be5712be6557fee3384454fd
000035be: PUSH1 0x20
000035c0: CALLER
000035c1: SWAP4
000035c2: LOG3
000035c3: JUMP
000035c4: JUMPDEST
000035c5: PUSH32 0xdc6fbbbc00000000000000000000000000000000000000000000000000000000
000035e6: PUSH0
000035e7: MSTORE
000035e8: PUSH1 0x04
000035ea: MSTORE
000035eb: PUSH1 0x24
000035ed: PUSH0
000035ee: REVERT
000035ef: JUMPDEST
000035f0: SWAP1
000035f1: PUSH16 0xffffffffffffffffffffffffffffffff
00003602: AND
00003603: SWAP1
00003604: DUP2
00003605: ISZERO
00003606: PUSH2 0x36cc
00003609: JUMPI
0000360a: PUSH0
0000360b: DUP2
0000360c: DUP2
0000360d: MSTORE
0000360e: PUSH1 0x0c
00003610: PUSH1 0x20
00003612: MSTORE
00003613: PUSH1 0x40
00003615: SWAP1
00003616: KECCAK256
00003617: PUSH1 0x02
00003619: DUP2
0000361a: ADD
0000361b: SLOAD
0000361c: DUP2
0000361d: SLOAD
0000361e: PUSH16 0xffffffffffffffffffffffffffffffff
0000362f: SWAP1
00003630: DUP2
00003631: AND
00003632: DUP6
00003633: ADD
00003634: SWAP2
00003635: PUSH1 0x01
00003637: PUSH1 0x01
00003639: PUSH1 0xa0
0000363b: SHL
0000363c: SUB
0000363d: AND
0000363e: SWAP1
0000363f: DUP3
00003640: GT
00003641: PUSH2 0x10db
00003644: JUMPI
00003645: PUSH2 0x369e
00003648: SWAP3
00003649: PUSH16 0xffffffffffffffffffffffffffffffff
0000365a: DUP7
0000365b: SWAP4
0000365c: AND
0000365d: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
0000367e: DUP3
0000367f: SLOAD
00003680: AND
00003681: OR
00003682: SWAP1
00003683: SSTORE
00003684: DUP1
00003685: PUSH0
00003686: MSTORE
00003687: PUSH1 0x07
00003689: PUSH1 0x20
0000368b: MSTORE
0000368c: PUSH1 0x40
0000368e: PUSH0
0000368f: KECCAK256
00003690: DUP3
00003691: DUP2
00003692: SLOAD
00003693: ADD
00003694: SWAP1
00003695: SSTORE
00003696: ADDRESS
00003697: SWAP1
00003698: CALLER
00003699: SWAP1
0000369a: PUSH2 0x4487
0000369d: JUMP
0000369e: JUMPDEST
0000369f: PUSH1 0x40
000036a1: MLOAD
000036a2: SWAP2
000036a3: DUP3
000036a4: MSTORE
000036a5: PUSH32 0xa06c1466b3c9751408a5ac337a2e8808e5ee0ceed1fd70635d041b21174eb6b4
000036c6: PUSH1 0x20
000036c8: CALLER
000036c9: SWAP4
000036ca: LOG3
000036cb: JUMP
000036cc: JUMPDEST
000036cd: PUSH32 0x33f2df5a00000000000000000000000000000000000000000000000000000000
000036ee: PUSH0
000036ef: MSTORE
000036f0: PUSH1 0x04
000036f2: MSTORE
000036f3: PUSH1 0x24
000036f5: PUSH0
000036f6: REVERT
000036f7: JUMPDEST
000036f8: DUP1
000036f9: PUSH0
000036fa: MSTORE
000036fb: PUSH1 0x0c
000036fd: PUSH1 0x20
000036ff: MSTORE
00003700: PUSH16 0xffffffffffffffffffffffffffffffff
00003711: PUSH1 0x40
00003713: PUSH0
00003714: KECCAK256
00003715: SLOAD
00003716: AND
00003717: SWAP1
00003718: DUP2
00003719: ISZERO
0000371a: PUSH2 0x373b
0000371d: JUMPI
0000371e: PUSH2 0x3726
00003721: SWAP1
00003722: PUSH2 0x315d
00003725: JUMP
00003726: JUMPDEST
00003727: DUP1
00003728: DUP3
00003729: LT
0000372a: PUSH2 0x3737
0000372d: JUMPI
0000372e: PUSH2 0x2d9c
00003731: SWAP2
00003732: POP
00003733: PUSH2 0x44e1
00003736: JUMP
00003737: JUMPDEST
00003738: POP
00003739: SWAP1
0000373a: JUMP
0000373b: JUMPDEST
0000373c: POP
0000373d: POP
0000373e: PUSH0
0000373f: SWAP1
00003740: JUMP
00003741: JUMPDEST
00003742: PUSH1 0x01
00003744: PUSH1 0x01
00003746: PUSH1 0xa0
00003748: SHL
00003749: SUB
0000374a: SWAP1
0000374b: SWAP6
0000374c: SWAP5
0000374d: SWAP3
0000374e: SWAP4
0000374f: SWAP2
00003750: SWAP6
00003751: AND
00003752: SWAP1
00003753: DUP2
00003754: ISZERO
00003755: PUSH2 0x3cf9
00003758: JUMPI
00003759: PUSH1 0x01
0000375b: PUSH1 0x01
0000375d: PUSH1 0xa0
0000375f: SHL
00003760: SUB
00003761: AND
00003762: SWAP3
00003763: PUSH1 0x40
00003765: MLOAD
00003766: PUSH32 0x313ce56700000000000000000000000000000000000000000000000000000000
00003787: DUP2
00003788: MSTORE
00003789: PUSH1 0x20
0000378b: DUP2
0000378c: PUSH1 0x04
0000378e: DUP2
0000378f: DUP9
00003790: GAS
00003791: STATICCALL
00003792: DUP1
00003793: ISZERO
00003794: PUSH2 0x0a1f
00003797: JUMPI
00003798: PUSH0
00003799: SWAP1
0000379a: PUSH2 0x3cbc
0000379d: JUMPI
0000379e: JUMPDEST
0000379f: PUSH1 0xff
000037a1: SWAP2
000037a2: POP
000037a3: AND
000037a4: SWAP6
000037a5: PUSH1 0x12
000037a7: DUP8
000037a8: GT
000037a9: PUSH2 0x3c90
000037ac: JUMPI
000037ad: PUSH1 0x08
000037af: SLOAD
000037b0: SWAP7
000037b1: DUP8
000037b2: DUP7
000037b3: PUSH1 0x40
000037b5: MLOAD
000037b6: SWAP3
000037b7: PUSH2 0x37bf
000037ba: DUP5
000037bb: PUSH2 0x29ac
000037be: JUMP
000037bf: JUMPDEST
000037c0: PUSH0
000037c1: DUP5
000037c2: MSTORE
000037c3: PUSH1 0x20
000037c5: DUP5
000037c6: ADD
000037c7: SWAP6
000037c8: PUSH16 0xffffffffffffffffffffffffffffffff
000037d9: AND
000037da: SWAP6
000037db: DUP7
000037dc: DUP2
000037dd: MSTORE
000037de: PUSH1 0x40
000037e0: DUP6
000037e1: ADD
000037e2: SWAP1
000037e3: DUP9
000037e4: DUP3
000037e5: MSTORE
000037e6: PUSH1 0x60
000037e8: DUP7
000037e9: ADD
000037ea: SWAP10
000037eb: TIMESTAMP
000037ec: PUSH5 0xffffffffff
000037f2: AND
000037f3: DUP12
000037f4: MSTORE
000037f5: PUSH1 0x80
000037f7: DUP8
000037f8: ADD
000037f9: PUSH1 0x01
000037fb: DUP2
000037fc: MSTORE
000037fd: PUSH1 0xa0
000037ff: DUP9
00003800: ADD
00003801: SWAP2
00003802: ISZERO
00003803: ISZERO
00003804: SWAP12
00003805: DUP13
00003806: DUP4
00003807: MSTORE
00003808: PUSH1 0xc0
0000380a: DUP10
0000380b: ADD
0000380c: SWAP4
0000380d: PUSH0
0000380e: DUP6
0000380f: MSTORE
00003810: PUSH1 0xe0
00003812: DUP11
00003813: ADD
00003814: SWAP8
00003815: DUP9
00003816: MSTORE
00003817: PUSH2 0x0100
0000381a: DUP11
0000381b: ADD
0000381c: SWAP7
0000381d: DUP8
0000381e: MSTORE
0000381f: PUSH2 0x0120
00003822: DUP11
00003823: ADD
00003824: SWAP9
00003825: PUSH0
00003826: DUP11
00003827: MSTORE
00003828: PUSH0
00003829: MSTORE
0000382a: PUSH1 0x0c
0000382c: PUSH1 0x20
0000382e: MSTORE
0000382f: PUSH1 0x40
00003831: PUSH0
00003832: KECCAK256
00003833: SWAP10
00003834: MLOAD
00003835: PUSH16 0xffffffffffffffffffffffffffffffff
00003846: AND
00003847: PUSH16 0xffffffffffffffffffffffffffffffff
00003858: AND
00003859: DUP11
0000385a: SLOAD
0000385b: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
0000387c: AND
0000387d: OR
0000387e: DUP11
0000387f: SSTORE
00003880: MLOAD
00003881: PUSH16 0xffffffffffffffffffffffffffffffff
00003892: AND
00003893: PUSH2 0x38d8
00003896: SWAP1
00003897: DUP11
00003898: SWAP1
00003899: PUSH16 0xffffffffffffffffffffffffffffffff
000038aa: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
000038cb: DUP4
000038cc: SLOAD
000038cd: SWAP3
000038ce: PUSH1 0x80
000038d0: SHL
000038d1: AND
000038d2: SWAP2
000038d3: AND
000038d4: OR
000038d5: SWAP1
000038d6: SSTORE
000038d7: JUMP
000038d8: JUMPDEST
000038d9: SWAP4
000038da: MLOAD
000038db: PUSH1 0x01
000038dd: DUP10
000038de: ADD
000038df: DUP1
000038e0: SLOAD
000038e1: SWAP6
000038e2: MLOAD
000038e3: PUSH25 0xffffffffff0000000000000000000000000000000000000000
000038fd: PUSH1 0xa0
000038ff: SWAP2
00003900: SWAP1
00003901: SWAP2
00003902: SHL
00003903: AND
00003904: PUSH1 0x01
00003906: PUSH1 0x01
00003908: PUSH1 0xa0
0000390a: SHL
0000390b: SUB
0000390c: SWAP1
0000390d: SWAP3
0000390e: AND
0000390f: PUSH32 0xffffffffffffff00000000000000000000000000000000000000000000000000
00003930: SWAP1
00003931: SWAP7
00003932: AND
00003933: SWAP6
00003934: SWAP1
00003935: SWAP6
00003936: OR
00003937: OR
00003938: DUP5
00003939: SSTORE
0000393a: MLOAD
0000393b: ISZERO
0000393c: ISZERO
0000393d: SWAP1
0000393e: DUP4
0000393f: SLOAD
00003940: SWAP1
00003941: MLOAD
00003942: ISZERO
00003943: ISZERO
00003944: PUSH1 0xd0
00003946: SHL
00003947: PUSH27 0xff0000000000000000000000000000000000000000000000000000
00003963: AND
00003964: SWAP2
00003965: PUSH1 0xc8
00003967: SHL
00003968: PUSH26 0xff00000000000000000000000000000000000000000000000000
00003983: AND
00003984: SWAP1
00003985: PUSH32 0xffffffffff0000ffffffffffffffffffffffffffffffffffffffffffffffffff
000039a6: AND
000039a7: OR
000039a8: OR
000039a9: DUP3
000039aa: SSTORE
000039ab: MLOAD
000039ac: ISZERO
000039ad: ISZERO
000039ae: DUP2
000039af: SLOAD
000039b0: SWAP1
000039b1: PUSH1 0xd8
000039b3: SHL
000039b4: PUSH28 0xff000000000000000000000000000000000000000000000000000000
000039d1: AND
000039d2: SWAP1
000039d3: PUSH32 0xffffffff00ffffffffffffffffffffffffffffffffffffffffffffffffffffff
000039f4: AND
000039f5: OR
000039f6: SWAP1
000039f7: SSTORE
000039f8: PUSH1 0x02
000039fa: DUP5
000039fb: ADD
000039fc: SWAP2
000039fd: MLOAD
000039fe: PUSH1 0x01
00003a00: PUSH1 0x01
00003a02: PUSH1 0xa0
00003a04: SHL
00003a05: SUB
00003a06: AND
00003a07: PUSH1 0x01
00003a09: PUSH1 0x01
00003a0b: PUSH1 0xa0
00003a0d: SHL
00003a0e: SUB
00003a0f: AND
00003a10: DUP3
00003a11: SLOAD
00003a12: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00003a33: AND
00003a34: OR
00003a35: DUP3
00003a36: SSTORE
00003a37: MLOAD
00003a38: DUP2
00003a39: SLOAD
00003a3a: SWAP1
00003a3b: PUSH1 0xa0
00003a3d: SHL
00003a3e: PUSH21 0xff0000000000000000000000000000000000000000
00003a54: AND
00003a55: SWAP1
00003a56: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
00003a77: AND
00003a78: OR
00003a79: SWAP1
00003a7a: SSTORE
00003a7b: MLOAD
00003a7c: SWAP1
00003a7d: PUSH1 0x03
00003a7f: ADD
00003a80: SSTORE
00003a81: PUSH1 0x01
00003a83: DUP8
00003a84: ADD
00003a85: PUSH1 0x08
00003a87: SSTORE
00003a88: PUSH1 0x01
00003a8a: PUSH1 0x01
00003a8c: PUSH1 0xa0
00003a8e: SHL
00003a8f: SUB
00003a90: AND
00003a91: SWAP3
00003a92: DUP4
00003a93: ISZERO
00003a94: PUSH2 0x2d4c
00003a97: JUMPI
00003a98: DUP7
00003a99: PUSH0
00003a9a: MSTORE
00003a9b: PUSH1 0x03
00003a9d: PUSH1 0x20
00003a9f: MSTORE
00003aa0: PUSH1 0x01
00003aa2: PUSH1 0x01
00003aa4: PUSH1 0xa0
00003aa6: SHL
00003aa7: SUB
00003aa8: PUSH1 0x40
00003aaa: PUSH0
00003aab: KECCAK256
00003aac: SLOAD
00003aad: AND
00003aae: ISZERO
00003aaf: ISZERO
00003ab0: DUP1
00003ab1: PUSH2 0x3c73
00003ab4: JUMPI
00003ab5: JUMPDEST
00003ab6: PUSH2 0x3c47
00003ab9: JUMPI
00003aba: DUP7
00003abb: PUSH0
00003abc: MSTORE
00003abd: PUSH1 0x03
00003abf: PUSH1 0x20
00003ac1: MSTORE
00003ac2: PUSH1 0x01
00003ac4: PUSH1 0x01
00003ac6: PUSH1 0xa0
00003ac8: SHL
00003ac9: SUB
00003aca: PUSH1 0x40
00003acc: PUSH0
00003acd: KECCAK256
00003ace: SLOAD
00003acf: AND
00003ad0: PUSH32 0xf8e1a15aba9398e019f0b49df1a4fde98ee17ae345cb5f6b5e2c27f5033e8ce7
00003af1: PUSH1 0x20
00003af3: DUP3
00003af4: ISZERO
00003af5: ISZERO
00003af6: SWAP3
00003af7: DUP4
00003af8: PUSH2 0x3bda
00003afb: JUMPI
00003afc: JUMPDEST
00003afd: DUP8
00003afe: PUSH0
00003aff: MSTORE
00003b00: PUSH1 0x04
00003b02: DUP3
00003b03: MSTORE
00003b04: PUSH1 0x40
00003b06: PUSH0
00003b07: KECCAK256
00003b08: PUSH1 0x01
00003b0a: DUP2
00003b0b: SLOAD
00003b0c: ADD
00003b0d: SWAP1
00003b0e: SSTORE
00003b0f: DUP11
00003b10: PUSH0
00003b11: MSTORE
00003b12: PUSH1 0x03
00003b14: DUP3
00003b15: MSTORE
00003b16: PUSH1 0x40
00003b18: PUSH0
00003b19: KECCAK256
00003b1a: DUP9
00003b1b: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00003b3c: DUP3
00003b3d: SLOAD
00003b3e: AND
00003b3f: OR
00003b40: SWAP1
00003b41: SSTORE
00003b42: PUSH1 0x40
00003b44: MLOAD
00003b45: SWAP1
00003b46: DUP12
00003b47: DUP10
00003b48: DUP3
00003b49: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003b6a: PUSH0
00003b6b: DUP1
00003b6c: LOG4
00003b6d: POP
00003b6e: DUP11
00003b6f: DUP2
00003b70: MSTORE
00003b71: LOG1
00003b72: PUSH2 0x3bae
00003b75: JUMPI
00003b76: PUSH32 0x2262fa211f8507786a60fefb231f7898b8145fe16350f281c91f121bd2ee118d
00003b97: SWAP2
00003b98: PUSH1 0x60
00003b9a: SWAP2
00003b9b: PUSH1 0x40
00003b9d: MLOAD
00003b9e: SWAP2
00003b9f: DUP10
00003ba0: DUP4
00003ba1: MSTORE
00003ba2: PUSH1 0x20
00003ba4: DUP4
00003ba5: ADD
00003ba6: MSTORE
00003ba7: PUSH1 0x40
00003ba9: DUP3
00003baa: ADD
00003bab: MSTORE
00003bac: LOG4
00003bad: JUMP
00003bae: JUMPDEST
00003baf: PUSH32 0x73c6ac6e00000000000000000000000000000000000000000000000000000000
00003bd0: PUSH0
00003bd1: MSTORE
00003bd2: PUSH0
00003bd3: PUSH1 0x04
00003bd5: MSTORE
00003bd6: PUSH1 0x24
00003bd8: PUSH0
00003bd9: REVERT
00003bda: JUMPDEST
00003bdb: PUSH2 0x3c11
00003bde: DUP12
00003bdf: PUSH0
00003be0: MSTORE
00003be1: PUSH1 0x05
00003be3: PUSH1 0x20
00003be5: MSTORE
00003be6: PUSH1 0x40
00003be8: PUSH0
00003be9: KECCAK256
00003bea: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00003c0b: DUP2
00003c0c: SLOAD
00003c0d: AND
00003c0e: SWAP1
00003c0f: SSTORE
00003c10: JUMP
00003c11: JUMPDEST
00003c12: DUP1
00003c13: PUSH0
00003c14: MSTORE
00003c15: PUSH1 0x04
00003c17: DUP3
00003c18: MSTORE
00003c19: PUSH1 0x40
00003c1b: PUSH0
00003c1c: KECCAK256
00003c1d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003c3e: DUP2
00003c3f: SLOAD
00003c40: ADD
00003c41: SWAP1
00003c42: SSTORE
00003c43: PUSH2 0x3afc
00003c46: JUMP
00003c47: JUMPDEST
00003c48: DUP7
00003c49: PUSH32 0x7da2ea2b00000000000000000000000000000000000000000000000000000000
00003c6a: PUSH0
00003c6b: MSTORE
00003c6c: PUSH1 0x04
00003c6e: MSTORE
00003c6f: PUSH1 0x24
00003c71: PUSH0
00003c72: REVERT
00003c73: JUMPDEST
00003c74: POP
00003c75: DUP7
00003c76: PUSH0
00003c77: MSTORE
00003c78: PUSH1 0x0c
00003c7a: PUSH1 0x20
00003c7c: MSTORE
00003c7d: PUSH1 0xff
00003c7f: PUSH1 0x01
00003c81: PUSH1 0x40
00003c83: PUSH0
00003c84: KECCAK256
00003c85: ADD
00003c86: SLOAD
00003c87: PUSH1 0xd0
00003c89: SHR
00003c8a: AND
00003c8b: ISZERO
00003c8c: PUSH2 0x3ab5
00003c8f: JUMP
00003c90: JUMPDEST
00003c91: DUP5
00003c92: PUSH32 0xc9f5539200000000000000000000000000000000000000000000000000000000
00003cb3: PUSH0
00003cb4: MSTORE
00003cb5: PUSH1 0x04
00003cb7: MSTORE
00003cb8: PUSH1 0x24
00003cba: PUSH0
00003cbb: REVERT
00003cbc: JUMPDEST
00003cbd: POP
00003cbe: PUSH1 0x20
00003cc0: DUP2
00003cc1: RETURNDATASIZE
00003cc2: PUSH1 0x20
00003cc4: GT
00003cc5: PUSH2 0x3cf1
00003cc8: JUMPI
00003cc9: JUMPDEST
00003cca: DUP2
00003ccb: PUSH2 0x3cd6
00003cce: PUSH1 0x20
00003cd0: SWAP4
00003cd1: DUP4
00003cd2: PUSH2 0x29c9
00003cd5: JUMP
00003cd6: JUMPDEST
00003cd7: DUP2
00003cd8: ADD
00003cd9: SUB
00003cda: SLT
00003cdb: PUSH2 0x0411
00003cde: JUMPI
00003cdf: MLOAD
00003ce0: PUSH1 0xff
00003ce2: DUP2
00003ce3: AND
00003ce4: DUP2
00003ce5: SUB
00003ce6: PUSH2 0x0411
00003ce9: JUMPI
00003cea: PUSH1 0xff
00003cec: SWAP1
00003ced: PUSH2 0x379e
00003cf0: JUMP
00003cf1: JUMPDEST
00003cf2: RETURNDATASIZE
00003cf3: SWAP2
00003cf4: POP
00003cf5: PUSH2 0x3cc9
00003cf8: JUMP
00003cf9: JUMPDEST
00003cfa: PUSH32 0xf9bb0fb300000000000000000000000000000000000000000000000000000000
00003d1b: PUSH0
00003d1c: MSTORE
00003d1d: PUSH1 0x04
00003d1f: PUSH0
00003d20: REVERT
00003d21: JUMPDEST
00003d22: PUSH1 0x40
00003d24: MLOAD
00003d25: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00003d46: PUSH1 0x20
00003d48: DUP3
00003d49: ADD
00003d4a: MSTORE
00003d4b: PUSH1 0x01
00003d4d: PUSH1 0x01
00003d4f: PUSH1 0xa0
00003d51: SHL
00003d52: SUB
00003d53: SWAP3
00003d54: SWAP1
00003d55: SWAP3
00003d56: AND
00003d57: PUSH1 0x24
00003d59: DUP4
00003d5a: ADD
00003d5b: MSTORE
00003d5c: PUSH1 0x44
00003d5e: DUP1
00003d5f: DUP4
00003d60: ADD
00003d61: SWAP4
00003d62: SWAP1
00003d63: SWAP4
00003d64: MSTORE
00003d65: SWAP2
00003d66: DUP2
00003d67: MSTORE
00003d68: PUSH2 0x3d7b
00003d6b: SWAP2
00003d6c: PUSH2 0x3d76
00003d6f: PUSH1 0x64
00003d71: DUP4
00003d72: PUSH2 0x29c9
00003d75: JUMP
00003d76: JUMPDEST
00003d77: PUSH2 0x45af
00003d7a: JUMP
00003d7b: JUMPDEST
00003d7c: JUMP
00003d7d: JUMPDEST
00003d7e: PUSH0
00003d7f: SWAP1
00003d80: DUP2
00003d81: MSTORE
00003d82: PUSH1 0x0c
00003d84: PUSH1 0x20
00003d86: MSTORE
00003d87: PUSH1 0x40
00003d89: SWAP1
00003d8a: KECCAK256
00003d8b: PUSH1 0x01
00003d8d: DUP2
00003d8e: ADD
00003d8f: SLOAD
00003d90: SWAP1
00003d91: SLOAD
00003d92: PUSH1 0x80
00003d94: SHR
00003d95: SWAP1
00003d96: PUSH1 0xa0
00003d98: SHR
00003d99: PUSH5 0xffffffffff
00003d9f: AND
00003da0: DUP2
00003da1: ISZERO
00003da2: DUP1
00003da3: ISZERO
00003da4: PUSH2 0x3dc3
00003da7: JUMPI
00003da8: JUMPDEST
00003da9: PUSH2 0x373b
00003dac: JUMPI
00003dad: DUP1
00003dae: TIMESTAMP
00003daf: SUB
00003db0: SWAP2
00003db1: DUP1
00003db2: DUP4
00003db3: MUL
00003db4: SWAP3
00003db5: DUP4
00003db6: DIV
00003db7: EQ
00003db8: SWAP1
00003db9: TIMESTAMP
00003dba: EQ
00003dbb: OR
00003dbc: ISZERO
00003dbd: PUSH2 0x10db
00003dc0: JUMPI
00003dc1: SWAP1
00003dc2: JUMP
00003dc3: JUMPDEST
00003dc4: POP
00003dc5: DUP1
00003dc6: TIMESTAMP
00003dc7: GT
00003dc8: ISZERO
00003dc9: PUSH2 0x3da8
00003dcc: JUMP
00003dcd: JUMPDEST
00003dce: SWAP2
00003dcf: SWAP1
00003dd0: PUSH16 0xffffffffffffffffffffffffffffffff
00003de1: DUP2
00003de2: AND
00003de3: SWAP3
00003de4: DUP1
00003de5: PUSH0
00003de6: MSTORE
00003de7: PUSH1 0x0c
00003de9: PUSH1 0x20
00003deb: MSTORE
00003dec: PUSH1 0x40
00003dee: PUSH0
00003def: KECCAK256
00003df0: SLOAD
00003df1: PUSH1 0x80
00003df3: SHR
00003df4: DUP5
00003df5: EQ
00003df6: PUSH2 0x3ece
00003df9: JUMPI
00003dfa: PUSH2 0x3d7b
00003dfd: SWAP3
00003dfe: SWAP4
00003dff: POP
00003e00: PUSH2 0x3e08
00003e03: DUP2
00003e04: PUSH2 0x3d7d
00003e07: JUMP
00003e08: JUMPDEST
00003e09: DUP1
00003e0a: PUSH2 0x3eac
00003e0d: JUMPI
00003e0e: JUMPDEST
00003e0f: POP
00003e10: PUSH0
00003e11: SWAP1
00003e12: DUP2
00003e13: MSTORE
00003e14: PUSH1 0x0c
00003e16: PUSH1 0x20
00003e18: MSTORE
00003e19: PUSH1 0x40
00003e1b: SWAP1
00003e1c: KECCAK256
00003e1d: PUSH1 0x01
00003e1f: DUP2
00003e20: ADD
00003e21: DUP1
00003e22: SLOAD
00003e23: PUSH25 0xffffffffff0000000000000000000000000000000000000000
00003e3d: TIMESTAMP
00003e3e: PUSH1 0xa0
00003e40: SHL
00003e41: AND
00003e42: PUSH32 0xffffffffffffff0000000000ffffffffffffffffffffffffffffffffffffffff
00003e63: SWAP1
00003e64: SWAP2
00003e65: AND
00003e66: OR
00003e67: SWAP1
00003e68: SSTORE
00003e69: DUP1
00003e6a: SLOAD
00003e6b: PUSH16 0xffffffffffffffffffffffffffffffff
00003e7c: AND
00003e7d: PUSH1 0x80
00003e7f: SWAP3
00003e80: SWAP1
00003e81: SWAP3
00003e82: SHL
00003e83: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
00003ea4: AND
00003ea5: SWAP2
00003ea6: SWAP1
00003ea7: SWAP2
00003ea8: OR
00003ea9: SWAP1
00003eaa: SSTORE
00003eab: JUMP
00003eac: JUMPDEST
00003ead: DUP2
00003eae: PUSH0
00003eaf: MSTORE
00003eb0: PUSH1 0x0c
00003eb2: PUSH1 0x20
00003eb4: MSTORE
00003eb5: PUSH2 0x3ec6
00003eb8: PUSH1 0x03
00003eba: PUSH1 0x40
00003ebc: PUSH0
00003ebd: KECCAK256
00003ebe: ADD
00003ebf: SWAP2
00003ec0: DUP3
00003ec1: SLOAD
00003ec2: PUSH2 0x2faf
00003ec5: JUMP
00003ec6: JUMPDEST
00003ec7: SWAP1
00003ec8: SSTORE
00003ec9: PUSH0
00003eca: PUSH2 0x3e0e
00003ecd: JUMP
00003ece: JUMPDEST
00003ecf: DUP4
00003ed0: SWAP1
00003ed1: PUSH32 0xd2657d5a00000000000000000000000000000000000000000000000000000000
00003ef2: PUSH0
00003ef3: MSTORE
00003ef4: PUSH1 0x04
00003ef6: MSTORE
00003ef7: PUSH1 0x24
00003ef9: MSTORE
00003efa: PUSH1 0x44
00003efc: PUSH0
00003efd: REVERT
00003efe: JUMPDEST
00003eff: DUP1
00003f00: PUSH0
00003f01: MSTORE
00003f02: PUSH1 0x0c
00003f04: PUSH1 0x20
00003f06: MSTORE
00003f07: PUSH2 0x3f26
00003f0a: PUSH16 0xffffffffffffffffffffffffffffffff
00003f1b: PUSH1 0x40
00003f1d: PUSH0
00003f1e: KECCAK256
00003f1f: SLOAD
00003f20: AND
00003f21: SWAP2
00003f22: PUSH2 0x315d
00003f25: JUMP
00003f26: JUMPDEST
00003f27: SWAP1
00003f28: DUP2
00003f29: DUP2
00003f2a: LT
00003f2b: ISZERO
00003f2c: PUSH2 0x373b
00003f2f: JUMPI
00003f30: PUSH2 0x2d9c
00003f33: SWAP2
00003f34: PUSH2 0x2d9f
00003f37: JUMP
00003f38: JUMPDEST
00003f39: SWAP1
00003f3a: DUP2
00003f3b: PUSH0
00003f3c: MSTORE
00003f3d: PUSH1 0x0c
00003f3f: PUSH1 0x20
00003f41: MSTORE
00003f42: PUSH1 0x01
00003f44: PUSH1 0x01
00003f46: PUSH1 0xa0
00003f48: SHL
00003f49: SUB
00003f4a: DUP1
00003f4b: PUSH1 0x01
00003f4d: PUSH1 0x40
00003f4f: PUSH0
00003f50: KECCAK256
00003f51: ADD
00003f52: SLOAD
00003f53: AND
00003f54: SWAP2
00003f55: AND
00003f56: SWAP1
00003f57: DUP2
00003f58: SUB
00003f59: PUSH2 0x3fc5
00003f5c: JUMPI
00003f5d: POP
00003f5e: DUP1
00003f5f: PUSH0
00003f60: MSTORE
00003f61: PUSH1 0x03
00003f63: PUSH1 0x20
00003f65: MSTORE
00003f66: PUSH1 0x01
00003f68: PUSH1 0x01
00003f6a: PUSH1 0xa0
00003f6c: SHL
00003f6d: SUB
00003f6e: DUP1
00003f6f: PUSH1 0x40
00003f71: PUSH0
00003f72: KECCAK256
00003f73: SLOAD
00003f74: AND
00003f75: SWAP3
00003f76: AND
00003f77: SWAP2
00003f78: DUP3
00003f79: SUB
00003f7a: PUSH2 0x3f81
00003f7d: JUMPI
00003f7e: POP
00003f7f: POP
00003f80: JUMP
00003f81: JUMPDEST
00003f82: PUSH0
00003f83: MSTORE
00003f84: PUSH1 0x03
00003f86: PUSH1 0x20
00003f88: MSTORE
00003f89: PUSH1 0x01
00003f8b: PUSH1 0x01
00003f8d: PUSH1 0xa0
00003f8f: SHL
00003f90: SUB
00003f91: PUSH1 0x40
00003f93: PUSH0
00003f94: KECCAK256
00003f95: SLOAD
00003f96: AND
00003f97: SWAP1
00003f98: PUSH32 0x5bdb8ad700000000000000000000000000000000000000000000000000000000
00003fb9: PUSH0
00003fba: MSTORE
00003fbb: PUSH1 0x04
00003fbd: MSTORE
00003fbe: PUSH1 0x24
00003fc0: MSTORE
00003fc1: PUSH1 0x44
00003fc3: PUSH0
00003fc4: REVERT
00003fc5: JUMPDEST
00003fc6: SWAP1
00003fc7: PUSH0
00003fc8: MSTORE
00003fc9: PUSH1 0x0c
00003fcb: PUSH1 0x20
00003fcd: MSTORE
00003fce: PUSH1 0x01
00003fd0: PUSH1 0x01
00003fd2: PUSH1 0xa0
00003fd4: SHL
00003fd5: SUB
00003fd6: PUSH1 0x01
00003fd8: PUSH1 0x40
00003fda: PUSH0
00003fdb: KECCAK256
00003fdc: ADD
00003fdd: SLOAD
00003fde: AND
00003fdf: SWAP1
00003fe0: PUSH32 0xc8bac88d00000000000000000000000000000000000000000000000000000000
00004001: PUSH0
00004002: MSTORE
00004003: PUSH1 0x04
00004005: MSTORE
00004006: PUSH1 0x24
00004008: MSTORE
00004009: PUSH1 0x44
0000400b: PUSH0
0000400c: REVERT
0000400d: JUMPDEST
0000400e: PUSH1 0x12
00004010: PUSH1 0xff
00004012: DUP3
00004013: AND
00004014: EQ
00004015: PUSH2 0x4024
00004018: JUMPI
00004019: PUSH1 0x12
0000401b: SUB
0000401c: PUSH1 0xff
0000401e: AND
0000401f: PUSH1 0x0a
00004021: EXP
00004022: SWAP1
00004023: JUMP
00004024: JUMPDEST
00004025: POP
00004026: PUSH1 0x01
00004028: SWAP1
00004029: JUMP
0000402a: JUMPDEST
0000402b: SWAP1
0000402c: PUSH1 0x12
0000402e: PUSH1 0xff
00004030: DUP3
00004031: AND
00004032: EQ
00004033: PUSH2 0x3737
00004036: JUMPI
00004037: PUSH1 0x12
00004039: SUB
0000403a: PUSH1 0xff
0000403c: AND
0000403d: PUSH1 0x0a
0000403f: EXP
00004040: MUL
00004041: SWAP1
00004042: JUMP
00004043: JUMPDEST
00004044: PUSH0
00004045: SWAP4
00004046: SWAP3
00004047: SWAP2
00004048: PUSH16 0xffffffffffffffffffffffffffffffff
00004059: DUP4
0000405a: AND
0000405b: SWAP2
0000405c: DUP3
0000405d: ISZERO
0000405e: PUSH2 0x443c
00004061: JUMPI
00004062: PUSH1 0x01
00004064: PUSH1 0x01
00004066: PUSH1 0xa0
00004068: SHL
00004069: SUB
0000406a: DUP3
0000406b: AND
0000406c: SWAP2
0000406d: DUP3
0000406e: ISZERO
0000406f: PUSH2 0x4410
00004072: JUMPI
00004073: DUP2
00004074: PUSH0
00004075: MSTORE
00004076: PUSH1 0x03
00004078: PUSH1 0x20
0000407a: MSTORE
0000407b: PUSH1 0x01
0000407d: PUSH1 0x01
0000407f: PUSH1 0xa0
00004081: SHL
00004082: SUB
00004083: PUSH1 0x40
00004085: PUSH0
00004086: KECCAK256
00004087: SLOAD
00004088: AND
00004089: DUP4
0000408a: EQ
0000408b: ISZERO
0000408c: DUP1
0000408d: PUSH2 0x4400
00004090: JUMPI
00004091: JUMPDEST
00004092: PUSH2 0x43cd
00004095: JUMPI
00004096: DUP2
00004097: PUSH0
00004098: MSTORE
00004099: PUSH1 0x0c
0000409b: PUSH1 0x20
0000409d: MSTORE
0000409e: PUSH1 0xff
000040a0: PUSH1 0x02
000040a2: PUSH1 0x40
000040a4: PUSH0
000040a5: KECCAK256
000040a6: ADD
000040a7: SLOAD
000040a8: PUSH1 0xa0
000040aa: SHR
000040ab: AND
000040ac: SWAP4
000040ad: PUSH2 0x40ce
000040b0: PUSH2 0x40b8
000040b3: DUP5
000040b4: PUSH2 0x3d7d
000040b7: JUMP
000040b8: JUMPDEST
000040b9: DUP5
000040ba: PUSH0
000040bb: MSTORE
000040bc: PUSH1 0x0c
000040be: PUSH1 0x20
000040c0: MSTORE
000040c1: PUSH1 0x03
000040c3: PUSH1 0x40
000040c5: PUSH0
000040c6: KECCAK256
000040c7: ADD
000040c8: SLOAD
000040c9: SWAP1
000040ca: PUSH2 0x2faf
000040cd: JUMP
000040ce: JUMPDEST
000040cf: PUSH2 0x40d8
000040d2: DUP7
000040d3: DUP3
000040d4: PUSH2 0x4467
000040d7: JUMP
000040d8: JUMPDEST
000040d9: SWAP6
000040da: DUP5
000040db: PUSH0
000040dc: MSTORE
000040dd: PUSH1 0x0c
000040df: PUSH1 0x20
000040e1: MSTORE
000040e2: PUSH16 0xffffffffffffffffffffffffffffffff
000040f3: PUSH1 0x40
000040f5: PUSH0
000040f6: KECCAK256
000040f7: SLOAD
000040f8: AND
000040f9: SWAP3
000040fa: DUP8
000040fb: DUP5
000040fc: LT
000040fd: PUSH0
000040fe: EQ
000040ff: PUSH2 0x43ae
00004102: JUMPI
00004103: PUSH16 0xffffffffffffffffffffffffffffffff
00004114: DUP5
00004115: JUMPDEST
00004116: AND
00004117: DUP1
00004118: DUP3
00004119: GT
0000411a: PUSH2 0x437b
0000411d: JUMPI
0000411e: POP
0000411f: SWAP1
00004120: PUSH2 0x4128
00004123: SWAP2
00004124: PUSH2 0x402a
00004127: JUMP
00004128: JUMPDEST
00004129: SWAP1
0000412a: DUP5
0000412b: PUSH0
0000412c: MSTORE
0000412d: PUSH1 0x0c
0000412f: PUSH1 0x20
00004131: MSTORE
00004132: PUSH1 0x03
00004134: PUSH1 0x40
00004136: PUSH0
00004137: KECCAK256
00004138: ADD
00004139: SLOAD
0000413a: DUP3
0000413b: GT
0000413c: ISZERO
0000413d: PUSH0
0000413e: EQ
0000413f: PUSH2 0x4318
00004142: JUMPI
00004143: POP
00004144: DUP4
00004145: PUSH0
00004146: MSTORE
00004147: PUSH1 0x0c
00004149: PUSH1 0x20
0000414b: MSTORE
0000414c: PUSH1 0x03
0000414e: PUSH1 0x40
00004150: PUSH0
00004151: KECCAK256
00004152: ADD
00004153: SWAP1
00004154: DUP2
00004155: SLOAD
00004156: SUB
00004157: SWAP1
00004158: SSTORE
00004159: JUMPDEST
0000415a: PUSH0
0000415b: DUP4
0000415c: DUP2
0000415d: MSTORE
0000415e: PUSH1 0x0c
00004160: PUSH1 0x20
00004162: SWAP1
00004163: DUP2
00004164: MSTORE
00004165: PUSH1 0x40
00004167: DUP1
00004168: DUP4
00004169: KECCAK256
0000416a: DUP1
0000416b: SLOAD
0000416c: PUSH16 0xffffffffffffffffffffffffffffffff
0000417d: DUP1
0000417e: DUP3
0000417f: AND
00004180: DUP13
00004181: SWAP1
00004182: SUB
00004183: AND
00004184: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
000041a5: SWAP1
000041a6: SWAP2
000041a7: AND
000041a8: OR
000041a9: DUP2
000041aa: SSTORE
000041ab: PUSH1 0x02
000041ad: ADD
000041ae: SLOAD
000041af: PUSH1 0x01
000041b1: PUSH1 0x01
000041b3: PUSH1 0xa0
000041b5: SHL
000041b6: SUB
000041b7: AND
000041b8: DUP1
000041b9: DUP5
000041ba: MSTORE
000041bb: PUSH1 0x0a
000041bd: SWAP1
000041be: SWAP3
000041bf: MSTORE
000041c0: SWAP1
000041c1: SWAP2
000041c2: KECCAK256
000041c3: SLOAD
000041c4: SWAP1
000041c5: SWAP6
000041c6: SWAP1
000041c7: DUP1
000041c8: PUSH2 0x42aa
000041cb: JUMPI
000041cc: JUMPDEST
000041cd: POP
000041ce: PUSH2 0x422a
000041d1: PUSH2 0x4214
000041d4: PUSH16 0xffffffffffffffffffffffffffffffff
000041e5: SWAP3
000041e6: PUSH2 0x4205
000041e9: DUP5
000041ea: DUP12
000041eb: AND
000041ec: DUP1
000041ed: SWAP8
000041ee: DUP12
000041ef: PUSH0
000041f0: MSTORE
000041f1: PUSH1 0x07
000041f3: PUSH1 0x20
000041f5: MSTORE
000041f6: PUSH1 0x40
000041f8: PUSH0
000041f9: KECCAK256
000041fa: DUP3
000041fb: DUP2
000041fc: SLOAD
000041fd: SUB
000041fe: SWAP1
000041ff: SSTORE
00004200: DUP12
00004201: PUSH2 0x3d21
00004204: JUMP
00004205: JUMPDEST
00004206: PUSH2 0x420e
00004209: DUP8
0000420a: PUSH2 0x315d
0000420d: JUMP
0000420e: JUMPDEST
0000420f: SWAP1
00004210: PUSH2 0x2d9f
00004213: JUMP
00004214: JUMPDEST
00004215: SWAP3
00004216: DUP6
00004217: PUSH0
00004218: MSTORE
00004219: PUSH1 0x0c
0000421b: PUSH1 0x20
0000421d: MSTORE
0000421e: DUP3
0000421f: PUSH1 0x40
00004221: PUSH0
00004222: KECCAK256
00004223: SLOAD
00004224: AND
00004225: SWAP1
00004226: PUSH2 0x31f9
00004229: JUMP
0000422a: JUMPDEST
0000422b: AND
0000422c: SUB
0000422d: PUSH2 0x427d
00004230: JUMPI
00004231: PUSH1 0x60
00004233: PUSH32 0x1a7b0d6c8f96b874563b711cf97793fe3be5dc42dbd1e0720ce40f326918e817
00004254: SWAP2
00004255: PUSH1 0x40
00004257: MLOAD
00004258: SWAP1
00004259: CALLER
0000425a: DUP3
0000425b: MSTORE
0000425c: PUSH1 0x20
0000425e: DUP3
0000425f: ADD
00004260: MSTORE
00004261: PUSH16 0xffffffffffffffffffffffffffffffff
00004272: DUP10
00004273: AND
00004274: PUSH1 0x40
00004276: DUP3
00004277: ADD
00004278: MSTORE
00004279: LOG4
0000427a: SWAP2
0000427b: SWAP1
0000427c: JUMP
0000427d: JUMPDEST
0000427e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000429f: PUSH0
000042a0: MSTORE
000042a1: PUSH1 0x01
000042a3: PUSH1 0x04
000042a5: MSTORE
000042a6: PUSH1 0x24
000042a8: PUSH0
000042a9: REVERT
000042aa: JUMPDEST
000042ab: PUSH2 0x4214
000042ae: SWAP10
000042af: POP
000042b0: PUSH2 0x42ce
000042b3: PUSH2 0x422a
000042b6: SWAP2
000042b7: PUSH16 0xffffffffffffffffffffffffffffffff
000042c8: SWAP4
000042c9: SWAP10
000042ca: PUSH2 0x463d
000042cd: JUMP
000042ce: JUMPDEST
000042cf: SWAP11
000042d0: SWAP1
000042d1: SWAP11
000042d2: SWAP9
000042d3: DUP12
000042d4: DUP10
000042d5: PUSH0
000042d6: MSTORE
000042d7: PUSH1 0x0b
000042d9: PUSH1 0x20
000042db: MSTORE
000042dc: DUP5
000042dd: DUP1
000042de: PUSH1 0x40
000042e0: PUSH0
000042e1: KECCAK256
000042e2: SWAP3
000042e3: DUP2
000042e4: DUP5
000042e5: SLOAD
000042e6: AND
000042e7: ADD
000042e8: AND
000042e9: AND
000042ea: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
0000430b: DUP3
0000430c: SLOAD
0000430d: AND
0000430e: OR
0000430f: SWAP1
00004310: SSTORE
00004311: SWAP3
00004312: POP
00004313: POP
00004314: PUSH2 0x41cc
00004317: JUMP
00004318: JUMPDEST
00004319: PUSH0
0000431a: DUP6
0000431b: DUP2
0000431c: MSTORE
0000431d: PUSH1 0x0c
0000431f: PUSH1 0x20
00004321: MSTORE
00004322: PUSH1 0x40
00004324: SWAP1
00004325: KECCAK256
00004326: SWAP2
00004327: SWAP1
00004328: SUB
00004329: PUSH1 0x03
0000432b: DUP3
0000432c: ADD
0000432d: SSTORE
0000432e: PUSH1 0x01
00004330: ADD
00004331: DUP1
00004332: SLOAD
00004333: PUSH32 0xffffffffffffff0000000000ffffffffffffffffffffffffffffffffffffffff
00004354: AND
00004355: TIMESTAMP
00004356: PUSH1 0xa0
00004358: SHL
00004359: PUSH25 0xffffffffff0000000000000000000000000000000000000000
00004373: AND
00004374: OR
00004375: SWAP1
00004376: SSTORE
00004377: PUSH2 0x4159
0000437a: JUMP
0000437b: JUMPDEST
0000437c: SWAP1
0000437d: DUP7
0000437e: PUSH32 0xf9f2985900000000000000000000000000000000000000000000000000000000
0000439f: PUSH0
000043a0: MSTORE
000043a1: PUSH1 0x04
000043a3: MSTORE
000043a4: PUSH1 0x24
000043a6: MSTORE
000043a7: PUSH1 0x44
000043a9: MSTORE
000043aa: PUSH1 0x64
000043ac: PUSH0
000043ad: REVERT
000043ae: JUMPDEST
000043af: PUSH16 0xffffffffffffffffffffffffffffffff
000043c0: PUSH2 0x43c8
000043c3: DUP10
000043c4: PUSH2 0x44e1
000043c7: JUMP
000043c8: JUMPDEST
000043c9: PUSH2 0x4115
000043cc: JUMP
000043cd: JUMPDEST
000043ce: POP
000043cf: PUSH32 0x4208ab4c00000000000000000000000000000000000000000000000000000000
000043f0: PUSH0
000043f1: MSTORE
000043f2: PUSH1 0x04
000043f4: MSTORE
000043f5: CALLER
000043f6: PUSH1 0x24
000043f8: MSTORE
000043f9: PUSH1 0x44
000043fb: MSTORE
000043fc: PUSH1 0x64
000043fe: PUSH0
000043ff: REVERT
00004400: JUMPDEST
00004401: POP
00004402: PUSH2 0x440a
00004405: DUP3
00004406: PUSH2 0x453d
00004409: JUMP
0000440a: JUMPDEST
0000440b: ISZERO
0000440c: PUSH2 0x4091
0000440f: JUMP
00004410: JUMPDEST
00004411: POP
00004412: PUSH32 0x9f32c85800000000000000000000000000000000000000000000000000000000
00004433: PUSH0
00004434: MSTORE
00004435: PUSH1 0x04
00004437: MSTORE
00004438: PUSH1 0x24
0000443a: PUSH0
0000443b: REVERT
0000443c: JUMPDEST
0000443d: PUSH32 0xb485505200000000000000000000000000000000000000000000000000000000
0000445e: PUSH0
0000445f: MSTORE
00004460: PUSH1 0x04
00004462: MSTORE
00004463: PUSH1 0x24
00004465: PUSH0
00004466: REVERT
00004467: JUMPDEST
00004468: SWAP1
00004469: PUSH1 0x12
0000446b: PUSH1 0xff
0000446d: DUP3
0000446e: AND
0000446f: EQ
00004470: PUSH2 0x3737
00004473: JUMPI
00004474: SWAP1
00004475: PUSH1 0xff
00004477: PUSH2 0x2d9c
0000447a: SWAP3
0000447b: PUSH1 0x12
0000447d: SUB
0000447e: AND
0000447f: PUSH1 0x0a
00004481: EXP
00004482: SWAP1
00004483: PUSH2 0x2fbc
00004486: JUMP
00004487: JUMPDEST
00004488: SWAP1
00004489: SWAP2
0000448a: SWAP3
0000448b: PUSH1 0x01
0000448d: PUSH1 0x01
0000448f: PUSH1 0xa0
00004491: SHL
00004492: SUB
00004493: PUSH2 0x3d7b
00004496: SWAP5
00004497: DUP2
00004498: PUSH1 0x40
0000449a: MLOAD
0000449b: SWAP6
0000449c: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
000044bd: PUSH1 0x20
000044bf: DUP9
000044c0: ADD
000044c1: MSTORE
000044c2: AND
000044c3: PUSH1 0x24
000044c5: DUP7
000044c6: ADD
000044c7: MSTORE
000044c8: AND
000044c9: PUSH1 0x44
000044cb: DUP5
000044cc: ADD
000044cd: MSTORE
000044ce: PUSH1 0x64
000044d0: DUP4
000044d1: ADD
000044d2: MSTORE
000044d3: PUSH1 0x64
000044d5: DUP3
000044d6: MSTORE
000044d7: PUSH2 0x3d76
000044da: PUSH1 0x84
000044dc: DUP4
000044dd: PUSH2 0x29c9
000044e0: JUMP
000044e1: JUMPDEST
000044e2: PUSH16 0xffffffffffffffffffffffffffffffff
000044f3: DUP2
000044f4: GT
000044f5: PUSH2 0x450d
000044f8: JUMPI
000044f9: PUSH16 0xffffffffffffffffffffffffffffffff
0000450a: AND
0000450b: SWAP1
0000450c: JUMP
0000450d: JUMPDEST
0000450e: PUSH32 0x6dfcc65000000000000000000000000000000000000000000000000000000000
0000452f: PUSH0
00004530: MSTORE
00004531: PUSH1 0x80
00004533: PUSH1 0x04
00004535: MSTORE
00004536: PUSH1 0x24
00004538: MSTORE
00004539: PUSH1 0x44
0000453b: PUSH0
0000453c: REVERT
0000453d: JUMPDEST
0000453e: DUP1
0000453f: PUSH0
00004540: MSTORE
00004541: PUSH1 0x03
00004543: PUSH1 0x20
00004545: MSTORE
00004546: PUSH1 0x01
00004548: PUSH1 0x01
0000454a: PUSH1 0xa0
0000454c: SHL
0000454d: SUB
0000454e: PUSH1 0x40
00004550: PUSH0
00004551: KECCAK256
00004552: SLOAD
00004553: AND
00004554: SWAP1
00004555: DUP2
00004556: CALLER
00004557: EQ
00004558: SWAP2
00004559: DUP3
0000455a: ISZERO
0000455b: PUSH2 0x4583
0000455e: JUMPI
0000455f: JUMPDEST
00004560: POP
00004561: DUP2
00004562: ISZERO
00004563: PUSH2 0x456a
00004566: JUMPI
00004567: POP
00004568: SWAP1
00004569: JUMP
0000456a: JUMPDEST
0000456b: SWAP1
0000456c: POP
0000456d: PUSH1 0x01
0000456f: PUSH1 0x01
00004571: PUSH1 0xa0
00004573: SHL
00004574: SUB
00004575: PUSH2 0x457e
00004578: CALLER
00004579: SWAP3
0000457a: PUSH2 0x2a44
0000457d: JUMP
0000457e: JUMPDEST
0000457f: AND
00004580: EQ
00004581: SWAP1
00004582: JUMP
00004583: JUMPDEST
00004584: SWAP1
00004585: SWAP2
00004586: POP
00004587: PUSH0
00004588: MSTORE
00004589: PUSH1 0x06
0000458b: PUSH1 0x20
0000458d: MSTORE
0000458e: PUSH1 0x40
00004590: PUSH0
00004591: KECCAK256
00004592: PUSH1 0x01
00004594: PUSH1 0x01
00004596: PUSH1 0xa0
00004598: SHL
00004599: SUB
0000459a: CALLER
0000459b: AND
0000459c: PUSH0
0000459d: MSTORE
0000459e: PUSH1 0x20
000045a0: MSTORE
000045a1: PUSH1 0xff
000045a3: PUSH1 0x40
000045a5: PUSH0
000045a6: KECCAK256
000045a7: SLOAD
000045a8: AND
000045a9: SWAP1
000045aa: PUSH0
000045ab: PUSH2 0x455f
000045ae: JUMP
000045af: JUMPDEST
000045b0: PUSH0
000045b1: DUP1
000045b2: PUSH1 0x01
000045b4: PUSH1 0x01
000045b6: PUSH1 0xa0
000045b8: SHL
000045b9: SUB
000045ba: PUSH2 0x45d8
000045bd: SWAP4
000045be: AND
000045bf: SWAP4
000045c0: PUSH1 0x20
000045c2: DUP2
000045c3: MLOAD
000045c4: SWAP2
000045c5: ADD
000045c6: DUP3
000045c7: DUP7
000045c8: GAS
000045c9: CALL
000045ca: PUSH2 0x45d1
000045cd: PUSH2 0x2a66
000045d0: JUMP
000045d1: JUMPDEST
000045d2: SWAP1
000045d3: DUP4
000045d4: PUSH2 0x4787
000045d7: JUMP
000045d8: JUMPDEST
000045d9: DUP1
000045da: MLOAD
000045db: SWAP1
000045dc: DUP2
000045dd: ISZERO
000045de: ISZERO
000045df: SWAP2
000045e0: DUP3
000045e1: PUSH2 0x4619
000045e4: JUMPI
000045e5: JUMPDEST
000045e6: POP
000045e7: POP
000045e8: PUSH2 0x45ee
000045eb: JUMPI
000045ec: POP
000045ed: JUMP
000045ee: JUMPDEST
000045ef: PUSH32 0x5274afe700000000000000000000000000000000000000000000000000000000
00004610: PUSH0
00004611: MSTORE
00004612: PUSH1 0x04
00004614: MSTORE
00004615: PUSH1 0x24
00004617: PUSH0
00004618: REVERT
00004619: JUMPDEST
0000461a: DUP2
0000461b: SWAP3
0000461c: POP
0000461d: SWAP1
0000461e: PUSH1 0x20
00004620: SWAP2
00004621: DUP2
00004622: ADD
00004623: SUB
00004624: SLT
00004625: PUSH2 0x0411
00004628: JUMPI
00004629: PUSH1 0x20
0000462b: ADD
0000462c: MLOAD
0000462d: DUP1
0000462e: ISZERO
0000462f: SWAP1
00004630: DUP2
00004631: ISZERO
00004632: SUB
00004633: PUSH2 0x0411
00004636: JUMPI
00004637: PUSH0
00004638: DUP1
00004639: PUSH2 0x45e5
0000463c: JUMP
0000463d: JUMPDEST
0000463e: SWAP2
0000463f: SWAP1
00004640: PUSH2 0x465b
00004643: SWAP1
00004644: PUSH16 0xffffffffffffffffffffffffffffffff
00004655: DUP5
00004656: AND
00004657: PUSH2 0x46ba
0000465a: JUMP
0000465b: JUMPDEST
0000465c: PUSH16 0xffffffffffffffffffffffffffffffff
0000466d: DUP2
0000466e: GT
0000466f: PUSH2 0x468f
00004672: JUMPI
00004673: PUSH16 0xffffffffffffffffffffffffffffffff
00004684: PUSH2 0x2d9c
00004687: SWAP2
00004688: AND
00004689: DUP1
0000468a: SWAP4
0000468b: PUSH2 0x31f9
0000468e: JUMP
0000468f: JUMPDEST
00004690: PUSH32 0x4916adce00000000000000000000000000000000000000000000000000000000
000046b1: PUSH0
000046b2: MSTORE
000046b3: PUSH1 0x04
000046b5: MSTORE
000046b6: PUSH1 0x24
000046b8: PUSH0
000046b9: REVERT
000046ba: JUMPDEST
000046bb: SWAP2
000046bc: SWAP1
000046bd: SWAP2
000046be: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000046df: DUP4
000046e0: DUP3
000046e1: MULMOD
000046e2: DUP4
000046e3: DUP3
000046e4: MUL
000046e5: SWAP2
000046e6: DUP3
000046e7: DUP1
000046e8: DUP4
000046e9: LT
000046ea: SWAP3
000046eb: SUB
000046ec: SWAP2
000046ed: DUP1
000046ee: DUP4
000046ef: SUB
000046f0: SWAP3
000046f1: EQ
000046f2: PUSH2 0x4776
000046f5: JUMPI
000046f6: PUSH8 0x0de0b6b3a7640000
000046ff: DUP3
00004700: LT
00004701: ISZERO
00004702: PUSH2 0x4746
00004705: JUMPI
00004706: PUSH32 0xaccb18165bd6fe31ae1cf318dc5b51eee0e1ba569b88cd74c1773b91fac10669
00004727: SWAP4
00004728: SWAP5
00004729: PUSH8 0x0de0b6b3a7640000
00004732: SWAP2
00004733: MULMOD
00004734: SWAP1
00004735: DUP3
00004736: DUP3
00004737: GT
00004738: SWAP1
00004739: SUB
0000473a: PUSH1 0xee
0000473c: SHL
0000473d: SWAP2
0000473e: SUB
0000473f: PUSH1 0x12
00004741: SHR
00004742: OR
00004743: MUL
00004744: SWAP1
00004745: JUMP
00004746: JUMPDEST
00004747: DUP5
00004748: SWAP1
00004749: PUSH32 0x5173648d00000000000000000000000000000000000000000000000000000000
0000476a: PUSH0
0000476b: MSTORE
0000476c: PUSH1 0x04
0000476e: MSTORE
0000476f: PUSH1 0x24
00004771: MSTORE
00004772: PUSH1 0x44
00004774: PUSH0
00004775: REVERT
00004776: JUMPDEST
00004777: POP
00004778: POP
00004779: PUSH8 0x0de0b6b3a7640000
00004782: SWAP1
00004783: DIV
00004784: SWAP2
00004785: POP
00004786: JUMP
00004787: JUMPDEST
00004788: SWAP1
00004789: PUSH2 0x47c4
0000478c: JUMPI
0000478d: POP
0000478e: DUP1
0000478f: MLOAD
00004790: ISZERO
00004791: PUSH2 0x479c
00004794: JUMPI
00004795: DUP1
00004796: MLOAD
00004797: SWAP1
00004798: PUSH1 0x20
0000479a: ADD
0000479b: REVERT
0000479c: JUMPDEST
0000479d: PUSH32 0x1425ea4200000000000000000000000000000000000000000000000000000000
000047be: PUSH0
000047bf: MSTORE
000047c0: PUSH1 0x04
000047c2: PUSH0
000047c3: REVERT
000047c4: JUMPDEST
000047c5: DUP2
000047c6: MLOAD
000047c7: ISZERO
000047c8: DUP1
000047c9: PUSH2 0x480a
000047cc: JUMPI
000047cd: JUMPDEST
000047ce: PUSH2 0x47d5
000047d1: JUMPI
000047d2: POP
000047d3: SWAP1
000047d4: JUMP
000047d5: JUMPDEST
000047d6: PUSH1 0x01
000047d8: PUSH1 0x01
000047da: PUSH1 0xa0
000047dc: SHL
000047dd: SUB
000047de: SWAP1
000047df: PUSH32 0x9996b31500000000000000000000000000000000000000000000000000000000
00004800: PUSH0
00004801: MSTORE
00004802: AND
00004803: PUSH1 0x04
00004805: MSTORE
00004806: PUSH1 0x24
00004808: PUSH0
00004809: REVERT
0000480a: JUMPDEST
0000480b: POP
0000480c: DUP1
0000480d: EXTCODESIZE
0000480e: ISZERO
0000480f: PUSH2 0x47cd
00004812: JUMP
00004813: INVALID
00004814: LOG1
00004815: PUSH5 0x736f6c6343
0000481b: STOP
0000481c: ADDMOD
0000481d: BYTE
0000481e: STOP
0000481f: EXP

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
critical	upgradeability	detector	Untrusted DELEGATECALL target reachable	70	no	no	view trace_id: 0x7d470b815d5955bd91c739706a206d13fc72562aa9c4fd166ef1f791d0dbc4b8 validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "unknown", "attempts": 192, "trace_id": "0x7d470b815d5955bd91c739706a206d13fc72562aa9c4fd166ef1f791d0dbc4b8", "confirmed": false, "trace_mode": "callTracer", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x01ffc9a7", "selector": "0x01ffc9a7", "calldata_variants": [ "0x01ffc9a7", "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x081812fc", "selector": "0x081812fc", "calldata_variants": [ "0x081812fc", "0x081812fc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x08b87923", "selector": "0x08b87923", "calldata_variants": [ "0x08b87923", "0x08b879230000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0c5fd195", "selector": "0x0c5fd195", "calldata_variants": [ "0x0c5fd195", "0x0c5fd1950000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0c699624", "selector": "0x0c699624", "calldata_variants": [ "0x0c699624", "0x0c6996240000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x136439dd", "selector": "0x136439dd", "calldata_variants": [ "0x136439dd", "0x136439dd0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 8927, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 1, "untrusted_delegatecall_count": 1 }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x7a23cef16affe8f63b4c72ce01ee9cd2d360b9aad0ae3cce26e08adb5ee1f0da call_targets: 0x2d9221a63e12aa796619cb381ec4a71b201281f5 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x7a23cef16affe8f63b4c72ce01ee9cd2d360b9aad0ae3cce26e08adb5ee1f0da", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x2d9221a63e12aa796619cb381ec4a71b201281f5" ], "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": "0x01ffc9a7", "selector": "0x01ffc9a7", "calldata_variants": [ "0x01ffc9a7", "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x081812fc", "selector": "0x081812fc", "calldata_variants": [ "0x081812fc", "0x081812fc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x08b87923", "selector": "0x08b87923", "calldata_variants": [ "0x08b87923", "0x08b879230000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0c5fd195", "selector": "0x0c5fd195", "calldata_variants": [ "0x0c5fd195", "0x0c5fd1950000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0c699624", "selector": "0x0c699624", "calldata_variants": [ "0x0c699624", "0x0c6996240000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x136439dd", "selector": "0x136439dd", "calldata_variants": [ "0x136439dd", "0x136439dd0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 11909, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 17865, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [], "untrusted_call_count": 2 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x7a23cef16affe8f63b4c72ce01ee9cd2d360b9aad0ae3cce26e08adb5ee1f0da call_targets: 0x2d9221a63e12aa796619cb381ec4a71b201281f5 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x7a23cef16affe8f63b4c72ce01ee9cd2d360b9aad0ae3cce26e08adb5ee1f0da", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x2d9221a63e12aa796619cb381ec4a71b201281f5" ], "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": "0x01ffc9a7", "selector": "0x01ffc9a7", "calldata_variants": [ "0x01ffc9a7", "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x081812fc", "selector": "0x081812fc", "calldata_variants": [ "0x081812fc", "0x081812fc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x08b87923", "selector": "0x08b87923", "calldata_variants": [ "0x08b87923", "0x08b879230000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0c5fd195", "selector": "0x0c5fd195", "calldata_variants": [ "0x0c5fd195", "0x0c5fd1950000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0c699624", "selector": "0x0c699624", "calldata_variants": [ "0x0c699624", "0x0c6996240000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x136439dd", "selector": "0x136439dd", "calldata_variants": [ "0x136439dd", "0x136439dd0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 11909, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 17865, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }
medium	upgradeability	cast	DELEGATECALL present	80	no	—	view evidence_json { "notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns", "delegatecall_count": 1 }