Analysis Run

019b477e-c99c-732b-bce8-a9ebd87f7375
complete
Chain ID
1
Address
0xd488637444ea5631a644c321bc1c4ee505f3deb1
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value 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
26347	artifact.fetch	complete	1 / 3	3 months ago
26348	tool.cast_disasm	complete	1 / 3	3 months ago
69454	analysis.bundle	complete	1 / 3	2 weeks ago
69455	capability.graph	complete	1 / 3	2 weeks ago
69456	detector.run	complete	1 / 3	2 weeks ago
69457	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
3
EXT*/BALANCE
2
Total opcodes
6741
Flags
create_opcodes_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x02c9
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7ec0912e
00000019: GT
0000001a: PUSH2 0x0175
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xaa9dc50c
00000024: GT
00000025: PUSH2 0x00dc
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd897833e
0000002f: GT
00000030: PUSH2 0x0095
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf2fde38b
0000003a: GT
0000003b: PUSH2 0x006f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x087a
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf4397335
00000050: EQ
00000051: PUSH2 0x089a
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf921d83f
0000005b: EQ
0000005c: PUSH2 0x08ba
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfe4ca847
00000066: EQ
00000067: PUSH2 0x08d0
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xd897833e
00000076: EQ
00000077: PUSH2 0x07f1
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xe985e9c5
00000081: EQ
00000082: PUSH2 0x0811
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xf176baaa
0000008c: EQ
0000008d: PUSH2 0x085a
00000090: JUMPI
00000091: PUSH1 0x00
00000093: DUP1
00000094: REVERT
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0xaa9dc50c
0000009c: EQ
0000009d: PUSH2 0x074f
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xae5cc172
000000a7: EQ
000000a8: PUSH2 0x076f
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xb88d4fde
000000b2: EQ
000000b3: PUSH2 0x0785
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xc87b56dd
000000bd: EQ
000000be: PUSH2 0x07a5
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xccfb63a4
000000c8: EQ
000000c9: PUSH2 0x07c5
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xd4bba0e9
000000d3: EQ
000000d4: PUSH2 0x07db
000000d7: JUMPI
000000d8: PUSH1 0x00
000000da: DUP1
000000db: REVERT
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0x945242c6
000000e3: GT
000000e4: PUSH2 0x012e
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x945242c6
000000ee: EQ
000000ef: PUSH2 0x0695
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x95d89b41
000000f9: EQ
000000fa: PUSH2 0x06a8
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x995b8ef6
00000104: EQ
00000105: PUSH2 0x06bd
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0xa22cb465
0000010f: EQ
00000110: PUSH2 0x06d3
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0xa87430ba
0000011a: EQ
0000011b: PUSH2 0x06f3
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0xa9526862
00000125: EQ
00000126: PUSH2 0x073c
00000129: JUMPI
0000012a: PUSH1 0x00
0000012c: DUP1
0000012d: REVERT
0000012e: JUMPDEST
0000012f: DUP1
00000130: PUSH4 0x7ec0912e
00000135: EQ
00000136: PUSH2 0x05da
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x7ec18cf6
00000140: EQ
00000141: PUSH2 0x05fa
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x7f205a74
0000014b: EQ
0000014c: PUSH2 0x0614
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x8462151c
00000156: EQ
00000157: PUSH2 0x062a
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x8da5cb5b
00000161: EQ
00000162: PUSH2 0x0657
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x941e79fc
0000016c: EQ
0000016d: PUSH2 0x0675
00000170: JUMPI
00000171: PUSH1 0x00
00000173: DUP1
00000174: REVERT
00000175: JUMPDEST
00000176: DUP1
00000177: PUSH4 0x42842e0e
0000017c: GT
0000017d: PUSH2 0x0234
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x6352211e
00000187: GT
00000188: PUSH2 0x01ed
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x711cc2ae
00000192: GT
00000193: PUSH2 0x01c7
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x711cc2ae
0000019d: EQ
0000019e: PUSH2 0x0579
000001a1: JUMPI
000001a2: DUP1
000001a3: PUSH4 0x715018a6
000001a8: EQ
000001a9: PUSH2 0x058f
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x75b61afe
000001b3: EQ
000001b4: PUSH2 0x05a4
000001b7: JUMPI
000001b8: DUP1
000001b9: PUSH4 0x7e95eac4
000001be: EQ
000001bf: PUSH2 0x05c4
000001c2: JUMPI
000001c3: PUSH1 0x00
000001c5: DUP1
000001c6: REVERT
000001c7: JUMPDEST
000001c8: DUP1
000001c9: PUSH4 0x6352211e
000001ce: EQ
000001cf: PUSH2 0x0519
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x65fccb52
000001d9: EQ
000001da: PUSH2 0x0539
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x70a08231
000001e4: EQ
000001e5: PUSH2 0x0559
000001e8: JUMPI
000001e9: PUSH1 0x00
000001eb: DUP1
000001ec: REVERT
000001ed: JUMPDEST
000001ee: DUP1
000001ef: PUSH4 0x42842e0e
000001f4: EQ
000001f5: PUSH2 0x0463
000001f8: JUMPI
000001f9: DUP1
000001fa: PUSH4 0x4783f0ef
000001ff: EQ
00000200: PUSH2 0x0483
00000203: JUMPI
00000204: DUP1
00000205: PUSH4 0x4f6ccce7
0000020a: EQ
0000020b: PUSH2 0x04a3
0000020e: JUMPI
0000020f: DUP1
00000210: PUSH4 0x55f804b3
00000215: EQ
00000216: PUSH2 0x04c3
00000219: JUMPI
0000021a: DUP1
0000021b: PUSH4 0x5e326b92
00000220: EQ
00000221: PUSH2 0x04e3
00000224: JUMPI
00000225: DUP1
00000226: PUSH4 0x62dc6e21
0000022b: EQ
0000022c: PUSH2 0x0503
0000022f: JUMPI
00000230: PUSH1 0x00
00000232: DUP1
00000233: REVERT
00000234: JUMPDEST
00000235: DUP1
00000236: PUSH4 0x23b872dd
0000023b: GT
0000023c: PUSH2 0x0286
0000023f: JUMPI
00000240: DUP1
00000241: PUSH4 0x23b872dd
00000246: EQ
00000247: PUSH2 0x03b8
0000024a: JUMPI
0000024b: DUP1
0000024c: PUSH4 0x2eb4a7ab
00000251: EQ
00000252: PUSH2 0x03d8
00000255: JUMPI
00000256: DUP1
00000257: PUSH4 0x2f745c59
0000025c: EQ
0000025d: PUSH2 0x03ee
00000260: JUMPI
00000261: DUP1
00000262: PUSH4 0x305004d9
00000267: EQ
00000268: PUSH2 0x040e
0000026b: JUMPI
0000026c: DUP1
0000026d: PUSH4 0x3ccfd60b
00000272: EQ
00000273: PUSH2 0x042e
00000276: JUMPI
00000277: DUP1
00000278: PUSH4 0x3e2e2a80
0000027d: EQ
0000027e: PUSH2 0x0443
00000281: JUMPI
00000282: PUSH1 0x00
00000284: DUP1
00000285: REVERT
00000286: JUMPDEST
00000287: DUP1
00000288: PUSH4 0x01ffc9a7
0000028d: EQ
0000028e: PUSH2 0x02ce
00000291: JUMPI
00000292: DUP1
00000293: PUSH4 0x06fdde03
00000298: EQ
00000299: PUSH2 0x0303
0000029c: JUMPI
0000029d: DUP1
0000029e: PUSH4 0x081812fc
000002a3: EQ
000002a4: PUSH2 0x0325
000002a7: JUMPI
000002a8: DUP1
000002a9: PUSH4 0x095ea7b3
000002ae: EQ
000002af: PUSH2 0x035d
000002b2: JUMPI
000002b3: DUP1
000002b4: PUSH4 0x0990e534
000002b9: EQ
000002ba: PUSH2 0x037f
000002bd: JUMPI
000002be: DUP1
000002bf: PUSH4 0x18160ddd
000002c4: EQ
000002c5: PUSH2 0x03a3
000002c8: JUMPI
000002c9: JUMPDEST
000002ca: PUSH1 0x00
000002cc: DUP1
000002cd: REVERT
000002ce: JUMPDEST
000002cf: CALLVALUE
000002d0: DUP1
000002d1: ISZERO
000002d2: PUSH2 0x02da
000002d5: JUMPI
000002d6: PUSH1 0x00
000002d8: DUP1
000002d9: REVERT
000002da: JUMPDEST
000002db: POP
000002dc: PUSH2 0x02ee
000002df: PUSH2 0x02e9
000002e2: CALLDATASIZE
000002e3: PUSH1 0x04
000002e5: PUSH2 0x263c
000002e8: JUMP
000002e9: JUMPDEST
000002ea: PUSH2 0x08ef
000002ed: JUMP
000002ee: JUMPDEST
000002ef: PUSH1 0x40
000002f1: MLOAD
000002f2: SWAP1
000002f3: ISZERO
000002f4: ISZERO
000002f5: DUP2
000002f6: MSTORE
000002f7: PUSH1 0x20
000002f9: ADD
000002fa: JUMPDEST
000002fb: PUSH1 0x40
000002fd: MLOAD
000002fe: DUP1
000002ff: SWAP2
00000300: SUB
00000301: SWAP1
00000302: RETURN
00000303: JUMPDEST
00000304: CALLVALUE
00000305: DUP1
00000306: ISZERO
00000307: PUSH2 0x030f
0000030a: JUMPI
0000030b: PUSH1 0x00
0000030d: DUP1
0000030e: REVERT
0000030f: JUMPDEST
00000310: POP
00000311: PUSH2 0x0318
00000314: PUSH2 0x091a
00000317: JUMP
00000318: JUMPDEST
00000319: PUSH1 0x40
0000031b: MLOAD
0000031c: PUSH2 0x02fa
0000031f: SWAP2
00000320: SWAP1
00000321: PUSH2 0x282a
00000324: JUMP
00000325: JUMPDEST
00000326: CALLVALUE
00000327: DUP1
00000328: ISZERO
00000329: PUSH2 0x0331
0000032c: JUMPI
0000032d: PUSH1 0x00
0000032f: DUP1
00000330: REVERT
00000331: JUMPDEST
00000332: POP
00000333: PUSH2 0x0345
00000336: PUSH2 0x0340
00000339: CALLDATASIZE
0000033a: PUSH1 0x04
0000033c: PUSH2 0x2623
0000033f: JUMP
00000340: JUMPDEST
00000341: PUSH2 0x09ac
00000344: JUMP
00000345: JUMPDEST
00000346: PUSH1 0x40
00000348: MLOAD
00000349: PUSH1 0x01
0000034b: PUSH1 0x01
0000034d: PUSH1 0xa0
0000034f: SHL
00000350: SUB
00000351: SWAP1
00000352: SWAP2
00000353: AND
00000354: DUP2
00000355: MSTORE
00000356: PUSH1 0x20
00000358: ADD
00000359: PUSH2 0x02fa
0000035c: JUMP
0000035d: JUMPDEST
0000035e: CALLVALUE
0000035f: DUP1
00000360: ISZERO
00000361: PUSH2 0x0369
00000364: JUMPI
00000365: PUSH1 0x00
00000367: DUP1
00000368: REVERT
00000369: JUMPDEST
0000036a: POP
0000036b: PUSH2 0x037d
0000036e: PUSH2 0x0378
00000371: CALLDATASIZE
00000372: PUSH1 0x04
00000374: PUSH2 0x25de
00000377: JUMP
00000378: JUMPDEST
00000379: PUSH2 0x0a39
0000037c: JUMP
0000037d: JUMPDEST
0000037e: STOP
0000037f: JUMPDEST
00000380: CALLVALUE
00000381: DUP1
00000382: ISZERO
00000383: PUSH2 0x038b
00000386: JUMPI
00000387: PUSH1 0x00
00000389: DUP1
0000038a: REVERT
0000038b: JUMPDEST
0000038c: POP
0000038d: PUSH2 0x0395
00000390: PUSH1 0x0f
00000392: SLOAD
00000393: DUP2
00000394: JUMP
00000395: JUMPDEST
00000396: PUSH1 0x40
00000398: MLOAD
00000399: SWAP1
0000039a: DUP2
0000039b: MSTORE
0000039c: PUSH1 0x20
0000039e: ADD
0000039f: PUSH2 0x02fa
000003a2: JUMP
000003a3: JUMPDEST
000003a4: CALLVALUE
000003a5: DUP1
000003a6: ISZERO
000003a7: PUSH2 0x03af
000003aa: JUMPI
000003ab: PUSH1 0x00
000003ad: DUP1
000003ae: REVERT
000003af: JUMPDEST
000003b0: POP
000003b1: PUSH1 0x02
000003b3: SLOAD
000003b4: PUSH2 0x0395
000003b7: JUMP
000003b8: JUMPDEST
000003b9: CALLVALUE
000003ba: DUP1
000003bb: ISZERO
000003bc: PUSH2 0x03c4
000003bf: JUMPI
000003c0: PUSH1 0x00
000003c2: DUP1
000003c3: REVERT
000003c4: JUMPDEST
000003c5: POP
000003c6: PUSH2 0x037d
000003c9: PUSH2 0x03d3
000003cc: CALLDATASIZE
000003cd: PUSH1 0x04
000003cf: PUSH2 0x24fc
000003d2: JUMP
000003d3: JUMPDEST
000003d4: PUSH2 0x0b4f
000003d7: JUMP
000003d8: JUMPDEST
000003d9: CALLVALUE
000003da: DUP1
000003db: ISZERO
000003dc: PUSH2 0x03e4
000003df: JUMPI
000003e0: PUSH1 0x00
000003e2: DUP1
000003e3: REVERT
000003e4: JUMPDEST
000003e5: POP
000003e6: PUSH2 0x0395
000003e9: PUSH1 0x13
000003eb: SLOAD
000003ec: DUP2
000003ed: JUMP
000003ee: JUMPDEST
000003ef: CALLVALUE
000003f0: DUP1
000003f1: ISZERO
000003f2: PUSH2 0x03fa
000003f5: JUMPI
000003f6: PUSH1 0x00
000003f8: DUP1
000003f9: REVERT
000003fa: JUMPDEST
000003fb: POP
000003fc: PUSH2 0x0395
000003ff: PUSH2 0x0409
00000402: CALLDATASIZE
00000403: PUSH1 0x04
00000405: PUSH2 0x25de
00000408: JUMP
00000409: JUMPDEST
0000040a: PUSH2 0x0b5a
0000040d: JUMP
0000040e: JUMPDEST
0000040f: CALLVALUE
00000410: DUP1
00000411: ISZERO
00000412: PUSH2 0x041a
00000415: JUMPI
00000416: PUSH1 0x00
00000418: DUP1
00000419: REVERT
0000041a: JUMPDEST
0000041b: POP
0000041c: PUSH2 0x037d
0000041f: PUSH2 0x0429
00000422: CALLDATASIZE
00000423: PUSH1 0x04
00000425: PUSH2 0x2623
00000428: JUMP
00000429: JUMPDEST
0000042a: PUSH2 0x0c09
0000042d: JUMP
0000042e: JUMPDEST
0000042f: CALLVALUE
00000430: DUP1
00000431: ISZERO
00000432: PUSH2 0x043a
00000435: JUMPI
00000436: PUSH1 0x00
00000438: DUP1
00000439: REVERT
0000043a: JUMPDEST
0000043b: POP
0000043c: PUSH2 0x037d
0000043f: PUSH2 0x0c5a
00000442: JUMP
00000443: JUMPDEST
00000444: CALLVALUE
00000445: DUP1
00000446: ISZERO
00000447: PUSH2 0x044f
0000044a: JUMPI
0000044b: PUSH1 0x00
0000044d: DUP1
0000044e: REVERT
0000044f: JUMPDEST
00000450: POP
00000451: PUSH2 0x037d
00000454: PUSH2 0x045e
00000457: CALLDATASIZE
00000458: PUSH1 0x04
0000045a: PUSH2 0x2623
0000045d: JUMP
0000045e: JUMPDEST
0000045f: PUSH2 0x0cb7
00000462: JUMP
00000463: JUMPDEST
00000464: CALLVALUE
00000465: DUP1
00000466: ISZERO
00000467: PUSH2 0x046f
0000046a: JUMPI
0000046b: PUSH1 0x00
0000046d: DUP1
0000046e: REVERT
0000046f: JUMPDEST
00000470: POP
00000471: PUSH2 0x037d
00000474: PUSH2 0x047e
00000477: CALLDATASIZE
00000478: PUSH1 0x04
0000047a: PUSH2 0x24fc
0000047d: JUMP
0000047e: JUMPDEST
0000047f: PUSH2 0x0d08
00000482: JUMP
00000483: JUMPDEST
00000484: CALLVALUE
00000485: DUP1
00000486: ISZERO
00000487: PUSH2 0x048f
0000048a: JUMPI
0000048b: PUSH1 0x00
0000048d: DUP1
0000048e: REVERT
0000048f: JUMPDEST
00000490: POP
00000491: PUSH2 0x037d
00000494: PUSH2 0x049e
00000497: CALLDATASIZE
00000498: PUSH1 0x04
0000049a: PUSH2 0x2623
0000049d: JUMP
0000049e: JUMPDEST
0000049f: PUSH2 0x0d23
000004a2: JUMP
000004a3: JUMPDEST
000004a4: CALLVALUE
000004a5: DUP1
000004a6: ISZERO
000004a7: PUSH2 0x04af
000004aa: JUMPI
000004ab: PUSH1 0x00
000004ad: DUP1
000004ae: REVERT
000004af: JUMPDEST
000004b0: POP
000004b1: PUSH2 0x0395
000004b4: PUSH2 0x04be
000004b7: CALLDATASIZE
000004b8: PUSH1 0x04
000004ba: PUSH2 0x2623
000004bd: JUMP
000004be: JUMPDEST
000004bf: PUSH2 0x0d52
000004c2: JUMP
000004c3: JUMPDEST
000004c4: CALLVALUE
000004c5: DUP1
000004c6: ISZERO
000004c7: PUSH2 0x04cf
000004ca: JUMPI
000004cb: PUSH1 0x00
000004cd: DUP1
000004ce: REVERT
000004cf: JUMPDEST
000004d0: POP
000004d1: PUSH2 0x037d
000004d4: PUSH2 0x04de
000004d7: CALLDATASIZE
000004d8: PUSH1 0x04
000004da: PUSH2 0x2676
000004dd: JUMP
000004de: JUMPDEST
000004df: PUSH2 0x0daf
000004e2: JUMP
000004e3: JUMPDEST
000004e4: CALLVALUE
000004e5: DUP1
000004e6: ISZERO
000004e7: PUSH2 0x04ef
000004ea: JUMPI
000004eb: PUSH1 0x00
000004ed: DUP1
000004ee: REVERT
000004ef: JUMPDEST
000004f0: POP
000004f1: PUSH2 0x037d
000004f4: PUSH2 0x04fe
000004f7: CALLDATASIZE
000004f8: PUSH1 0x04
000004fa: PUSH2 0x2608
000004fd: JUMP
000004fe: JUMPDEST
000004ff: PUSH2 0x0dec
00000502: JUMP
00000503: JUMPDEST
00000504: CALLVALUE
00000505: DUP1
00000506: ISZERO
00000507: PUSH2 0x050f
0000050a: JUMPI
0000050b: PUSH1 0x00
0000050d: DUP1
0000050e: REVERT
0000050f: JUMPDEST
00000510: POP
00000511: PUSH2 0x0395
00000514: PUSH1 0x0d
00000516: SLOAD
00000517: DUP2
00000518: JUMP
00000519: JUMPDEST
0000051a: CALLVALUE
0000051b: DUP1
0000051c: ISZERO
0000051d: PUSH2 0x0525
00000520: JUMPI
00000521: PUSH1 0x00
00000523: DUP1
00000524: REVERT
00000525: JUMPDEST
00000526: POP
00000527: PUSH2 0x0345
0000052a: PUSH2 0x0534
0000052d: CALLDATASIZE
0000052e: PUSH1 0x04
00000530: PUSH2 0x2623
00000533: JUMP
00000534: JUMPDEST
00000535: PUSH2 0x0e3f
00000538: JUMP
00000539: JUMPDEST
0000053a: CALLVALUE
0000053b: DUP1
0000053c: ISZERO
0000053d: PUSH2 0x0545
00000540: JUMPI
00000541: PUSH1 0x00
00000543: DUP1
00000544: REVERT
00000545: JUMPDEST
00000546: POP
00000547: PUSH2 0x037d
0000054a: PUSH2 0x0554
0000054d: CALLDATASIZE
0000054e: PUSH1 0x04
00000550: PUSH2 0x2623
00000553: JUMP
00000554: JUMPDEST
00000555: PUSH2 0x0ecb
00000558: JUMP
00000559: JUMPDEST
0000055a: CALLVALUE
0000055b: DUP1
0000055c: ISZERO
0000055d: PUSH2 0x0565
00000560: JUMPI
00000561: PUSH1 0x00
00000563: DUP1
00000564: REVERT
00000565: JUMPDEST
00000566: POP
00000567: PUSH2 0x0395
0000056a: PUSH2 0x0574
0000056d: CALLDATASIZE
0000056e: PUSH1 0x04
00000570: PUSH2 0x24ae
00000573: JUMP
00000574: JUMPDEST
00000575: PUSH2 0x0efa
00000578: JUMP
00000579: JUMPDEST
0000057a: CALLVALUE
0000057b: DUP1
0000057c: ISZERO
0000057d: PUSH2 0x0585
00000580: JUMPI
00000581: PUSH1 0x00
00000583: DUP1
00000584: REVERT
00000585: JUMPDEST
00000586: POP
00000587: PUSH2 0x0395
0000058a: PUSH1 0x0c
0000058c: SLOAD
0000058d: DUP2
0000058e: JUMP
0000058f: JUMPDEST
00000590: CALLVALUE
00000591: DUP1
00000592: ISZERO
00000593: PUSH2 0x059b
00000596: JUMPI
00000597: PUSH1 0x00
00000599: DUP1
0000059a: REVERT
0000059b: JUMPDEST
0000059c: POP
0000059d: PUSH2 0x037d
000005a0: PUSH2 0x0fcc
000005a3: JUMP
000005a4: JUMPDEST
000005a5: CALLVALUE
000005a6: DUP1
000005a7: ISZERO
000005a8: PUSH2 0x05b0
000005ab: JUMPI
000005ac: PUSH1 0x00
000005ae: DUP1
000005af: REVERT
000005b0: JUMPDEST
000005b1: POP
000005b2: PUSH2 0x037d
000005b5: PUSH2 0x05bf
000005b8: CALLDATASIZE
000005b9: PUSH1 0x04
000005bb: PUSH2 0x25de
000005be: JUMP
000005bf: JUMPDEST
000005c0: PUSH2 0x1002
000005c3: JUMP
000005c4: JUMPDEST
000005c5: CALLVALUE
000005c6: DUP1
000005c7: ISZERO
000005c8: PUSH2 0x05d0
000005cb: JUMPI
000005cc: PUSH1 0x00
000005ce: DUP1
000005cf: REVERT
000005d0: JUMPDEST
000005d1: POP
000005d2: PUSH2 0x0395
000005d5: PUSH1 0x09
000005d7: SLOAD
000005d8: DUP2
000005d9: JUMP
000005da: JUMPDEST
000005db: CALLVALUE
000005dc: DUP1
000005dd: ISZERO
000005de: PUSH2 0x05e6
000005e1: JUMPI
000005e2: PUSH1 0x00
000005e4: DUP1
000005e5: REVERT
000005e6: JUMPDEST
000005e7: POP
000005e8: PUSH2 0x037d
000005eb: PUSH2 0x05f5
000005ee: CALLDATASIZE
000005ef: PUSH1 0x04
000005f1: PUSH2 0x2623
000005f4: JUMP
000005f5: JUMPDEST
000005f6: PUSH2 0x10fd
000005f9: JUMP
000005fa: JUMPDEST
000005fb: CALLVALUE
000005fc: DUP1
000005fd: ISZERO
000005fe: PUSH2 0x0606
00000601: JUMPI
00000602: PUSH1 0x00
00000604: DUP1
00000605: REVERT
00000606: JUMPDEST
00000607: POP
00000608: PUSH1 0x11
0000060a: SLOAD
0000060b: PUSH2 0x02ee
0000060e: SWAP1
0000060f: PUSH1 0xff
00000611: AND
00000612: DUP2
00000613: JUMP
00000614: JUMPDEST
00000615: CALLVALUE
00000616: DUP1
00000617: ISZERO
00000618: PUSH2 0x0620
0000061b: JUMPI
0000061c: PUSH1 0x00
0000061e: DUP1
0000061f: REVERT
00000620: JUMPDEST
00000621: POP
00000622: PUSH2 0x0395
00000625: PUSH1 0x0e
00000627: SLOAD
00000628: DUP2
00000629: JUMP
0000062a: JUMPDEST
0000062b: CALLVALUE
0000062c: DUP1
0000062d: ISZERO
0000062e: PUSH2 0x0636
00000631: JUMPI
00000632: PUSH1 0x00
00000634: DUP1
00000635: REVERT
00000636: JUMPDEST
00000637: POP
00000638: PUSH2 0x064a
0000063b: PUSH2 0x0645
0000063e: CALLDATASIZE
0000063f: PUSH1 0x04
00000641: PUSH2 0x24ae
00000644: JUMP
00000645: JUMPDEST
00000646: PUSH2 0x112c
00000649: JUMP
0000064a: JUMPDEST
0000064b: PUSH1 0x40
0000064d: MLOAD
0000064e: PUSH2 0x02fa
00000651: SWAP2
00000652: SWAP1
00000653: PUSH2 0x27e6
00000656: JUMP
00000657: JUMPDEST
00000658: CALLVALUE
00000659: DUP1
0000065a: ISZERO
0000065b: PUSH2 0x0663
0000065e: JUMPI
0000065f: PUSH1 0x00
00000661: DUP1
00000662: REVERT
00000663: JUMPDEST
00000664: POP
00000665: PUSH1 0x05
00000667: SLOAD
00000668: PUSH1 0x01
0000066a: PUSH1 0x01
0000066c: PUSH1 0xa0
0000066e: SHL
0000066f: SUB
00000670: AND
00000671: PUSH2 0x0345
00000674: JUMP
00000675: JUMPDEST
00000676: CALLVALUE
00000677: DUP1
00000678: ISZERO
00000679: PUSH2 0x0681
0000067c: JUMPI
0000067d: PUSH1 0x00
0000067f: DUP1
00000680: REVERT
00000681: JUMPDEST
00000682: POP
00000683: PUSH2 0x037d
00000686: PUSH2 0x0690
00000689: CALLDATASIZE
0000068a: PUSH1 0x04
0000068c: PUSH2 0x2623
0000068f: JUMP
00000690: JUMPDEST
00000691: PUSH2 0x11f6
00000694: JUMP
00000695: JUMPDEST
00000696: PUSH2 0x037d
00000699: PUSH2 0x06a3
0000069c: CALLDATASIZE
0000069d: PUSH1 0x04
0000069f: PUSH2 0x26bf
000006a2: JUMP
000006a3: JUMPDEST
000006a4: PUSH2 0x1247
000006a7: JUMP
000006a8: JUMPDEST
000006a9: CALLVALUE
000006aa: DUP1
000006ab: ISZERO
000006ac: PUSH2 0x06b4
000006af: JUMPI
000006b0: PUSH1 0x00
000006b2: DUP1
000006b3: REVERT
000006b4: JUMPDEST
000006b5: POP
000006b6: PUSH2 0x0318
000006b9: PUSH2 0x1543
000006bc: JUMP
000006bd: JUMPDEST
000006be: CALLVALUE
000006bf: DUP1
000006c0: ISZERO
000006c1: PUSH2 0x06c9
000006c4: JUMPI
000006c5: PUSH1 0x00
000006c7: DUP1
000006c8: REVERT
000006c9: JUMPDEST
000006ca: POP
000006cb: PUSH2 0x0395
000006ce: PUSH1 0x07
000006d0: SLOAD
000006d1: DUP2
000006d2: JUMP
000006d3: JUMPDEST
000006d4: CALLVALUE
000006d5: DUP1
000006d6: ISZERO
000006d7: PUSH2 0x06df
000006da: JUMPI
000006db: PUSH1 0x00
000006dd: DUP1
000006de: REVERT
000006df: JUMPDEST
000006e0: POP
000006e1: PUSH2 0x037d
000006e4: PUSH2 0x06ee
000006e7: CALLDATASIZE
000006e8: PUSH1 0x04
000006ea: PUSH2 0x25b4
000006ed: JUMP
000006ee: JUMPDEST
000006ef: PUSH2 0x1552
000006f2: JUMP
000006f3: JUMPDEST
000006f4: CALLVALUE
000006f5: DUP1
000006f6: ISZERO
000006f7: PUSH2 0x06ff
000006fa: JUMPI
000006fb: PUSH1 0x00
000006fd: DUP1
000006fe: REVERT
000006ff: JUMPDEST
00000700: POP
00000701: PUSH2 0x0727
00000704: PUSH2 0x070e
00000707: CALLDATASIZE
00000708: PUSH1 0x04
0000070a: PUSH2 0x24ae
0000070d: JUMP
0000070e: JUMPDEST
0000070f: PUSH1 0x14
00000711: PUSH1 0x20
00000713: MSTORE
00000714: PUSH1 0x00
00000716: SWAP1
00000717: DUP2
00000718: MSTORE
00000719: PUSH1 0x40
0000071b: SWAP1
0000071c: KECCAK256
0000071d: DUP1
0000071e: SLOAD
0000071f: PUSH1 0x01
00000721: SWAP1
00000722: SWAP2
00000723: ADD
00000724: SLOAD
00000725: DUP3
00000726: JUMP
00000727: JUMPDEST
00000728: PUSH1 0x40
0000072a: DUP1
0000072b: MLOAD
0000072c: SWAP3
0000072d: DUP4
0000072e: MSTORE
0000072f: PUSH1 0x20
00000731: DUP4
00000732: ADD
00000733: SWAP2
00000734: SWAP1
00000735: SWAP2
00000736: MSTORE
00000737: ADD
00000738: PUSH2 0x02fa
0000073b: JUMP
0000073c: JUMPDEST
0000073d: PUSH2 0x037d
00000740: PUSH2 0x074a
00000743: CALLDATASIZE
00000744: PUSH1 0x04
00000746: PUSH2 0x2623
00000749: JUMP
0000074a: JUMPDEST
0000074b: PUSH2 0x1617
0000074e: JUMP
0000074f: JUMPDEST
00000750: CALLVALUE
00000751: DUP1
00000752: ISZERO
00000753: PUSH2 0x075b
00000756: JUMPI
00000757: PUSH1 0x00
00000759: DUP1
0000075a: REVERT
0000075b: JUMPDEST
0000075c: POP
0000075d: PUSH2 0x037d
00000760: PUSH2 0x076a
00000763: CALLDATASIZE
00000764: PUSH1 0x04
00000766: PUSH2 0x2623
00000769: JUMP
0000076a: JUMPDEST
0000076b: PUSH2 0x184d
0000076e: JUMP
0000076f: JUMPDEST
00000770: CALLVALUE
00000771: DUP1
00000772: ISZERO
00000773: PUSH2 0x077b
00000776: JUMPI
00000777: PUSH1 0x00
00000779: DUP1
0000077a: REVERT
0000077b: JUMPDEST
0000077c: POP
0000077d: PUSH2 0x0395
00000780: PUSH1 0x0a
00000782: SLOAD
00000783: DUP2
00000784: JUMP
00000785: JUMPDEST
00000786: CALLVALUE
00000787: DUP1
00000788: ISZERO
00000789: PUSH2 0x0791
0000078c: JUMPI
0000078d: PUSH1 0x00
0000078f: DUP1
00000790: REVERT
00000791: JUMPDEST
00000792: POP
00000793: PUSH2 0x037d
00000796: PUSH2 0x07a0
00000799: CALLDATASIZE
0000079a: PUSH1 0x04
0000079c: PUSH2 0x2538
0000079f: JUMP
000007a0: JUMPDEST
000007a1: PUSH2 0x189e
000007a4: JUMP
000007a5: JUMPDEST
000007a6: CALLVALUE
000007a7: DUP1
000007a8: ISZERO
000007a9: PUSH2 0x07b1
000007ac: JUMPI
000007ad: PUSH1 0x00
000007af: DUP1
000007b0: REVERT
000007b1: JUMPDEST
000007b2: POP
000007b3: PUSH2 0x0318
000007b6: PUSH2 0x07c0
000007b9: CALLDATASIZE
000007ba: PUSH1 0x04
000007bc: PUSH2 0x2623
000007bf: JUMP
000007c0: JUMPDEST
000007c1: PUSH2 0x18b0
000007c4: JUMP
000007c5: JUMPDEST
000007c6: CALLVALUE
000007c7: DUP1
000007c8: ISZERO
000007c9: PUSH2 0x07d1
000007cc: JUMPI
000007cd: PUSH1 0x00
000007cf: DUP1
000007d0: REVERT
000007d1: JUMPDEST
000007d2: POP
000007d3: PUSH2 0x0395
000007d6: PUSH1 0x0b
000007d8: SLOAD
000007d9: DUP2
000007da: JUMP
000007db: JUMPDEST
000007dc: CALLVALUE
000007dd: DUP1
000007de: ISZERO
000007df: PUSH2 0x07e7
000007e2: JUMPI
000007e3: PUSH1 0x00
000007e5: DUP1
000007e6: REVERT
000007e7: JUMPDEST
000007e8: POP
000007e9: PUSH2 0x0395
000007ec: PUSH1 0x08
000007ee: SLOAD
000007ef: DUP2
000007f0: JUMP
000007f1: JUMPDEST
000007f2: CALLVALUE
000007f3: DUP1
000007f4: ISZERO
000007f5: PUSH2 0x07fd
000007f8: JUMPI
000007f9: PUSH1 0x00
000007fb: DUP1
000007fc: REVERT
000007fd: JUMPDEST
000007fe: POP
000007ff: PUSH2 0x037d
00000802: PUSH2 0x080c
00000805: CALLDATASIZE
00000806: PUSH1 0x04
00000808: PUSH2 0x2608
0000080b: JUMP
0000080c: JUMPDEST
0000080d: PUSH2 0x196d
00000810: JUMP
00000811: JUMPDEST
00000812: CALLVALUE
00000813: DUP1
00000814: ISZERO
00000815: PUSH2 0x081d
00000818: JUMPI
00000819: PUSH1 0x00
0000081b: DUP1
0000081c: REVERT
0000081d: JUMPDEST
0000081e: POP
0000081f: PUSH2 0x02ee
00000822: PUSH2 0x082c
00000825: CALLDATASIZE
00000826: PUSH1 0x04
00000828: PUSH2 0x24c9
0000082b: JUMP
0000082c: JUMPDEST
0000082d: PUSH1 0x01
0000082f: PUSH1 0x01
00000831: PUSH1 0xa0
00000833: SHL
00000834: SUB
00000835: SWAP2
00000836: DUP3
00000837: AND
00000838: PUSH1 0x00
0000083a: SWAP1
0000083b: DUP2
0000083c: MSTORE
0000083d: PUSH1 0x04
0000083f: PUSH1 0x20
00000841: SWAP1
00000842: DUP2
00000843: MSTORE
00000844: PUSH1 0x40
00000846: DUP1
00000847: DUP4
00000848: KECCAK256
00000849: SWAP4
0000084a: SWAP1
0000084b: SWAP5
0000084c: AND
0000084d: DUP3
0000084e: MSTORE
0000084f: SWAP2
00000850: SWAP1
00000851: SWAP2
00000852: MSTORE
00000853: KECCAK256
00000854: SLOAD
00000855: PUSH1 0xff
00000857: AND
00000858: SWAP1
00000859: JUMP
0000085a: JUMPDEST
0000085b: CALLVALUE
0000085c: DUP1
0000085d: ISZERO
0000085e: PUSH2 0x0866
00000861: JUMPI
00000862: PUSH1 0x00
00000864: DUP1
00000865: REVERT
00000866: JUMPDEST
00000867: POP
00000868: PUSH2 0x037d
0000086b: PUSH2 0x0875
0000086e: CALLDATASIZE
0000086f: PUSH1 0x04
00000871: PUSH2 0x2623
00000874: JUMP
00000875: JUMPDEST
00000876: PUSH2 0x19cd
00000879: JUMP
0000087a: JUMPDEST
0000087b: CALLVALUE
0000087c: DUP1
0000087d: ISZERO
0000087e: PUSH2 0x0886
00000881: JUMPI
00000882: PUSH1 0x00
00000884: DUP1
00000885: REVERT
00000886: JUMPDEST
00000887: POP
00000888: PUSH2 0x037d
0000088b: PUSH2 0x0895
0000088e: CALLDATASIZE
0000088f: PUSH1 0x04
00000891: PUSH2 0x24ae
00000894: JUMP
00000895: JUMPDEST
00000896: PUSH2 0x1a1e
00000899: JUMP
0000089a: JUMPDEST
0000089b: CALLVALUE
0000089c: DUP1
0000089d: ISZERO
0000089e: PUSH2 0x08a6
000008a1: JUMPI
000008a2: PUSH1 0x00
000008a4: DUP1
000008a5: REVERT
000008a6: JUMPDEST
000008a7: POP
000008a8: PUSH2 0x037d
000008ab: PUSH2 0x08b5
000008ae: CALLDATASIZE
000008af: PUSH1 0x04
000008b1: PUSH2 0x2623
000008b4: JUMP
000008b5: JUMPDEST
000008b6: PUSH2 0x1ab9
000008b9: JUMP
000008ba: JUMPDEST
000008bb: CALLVALUE
000008bc: DUP1
000008bd: ISZERO
000008be: PUSH2 0x08c6
000008c1: JUMPI
000008c2: PUSH1 0x00
000008c4: DUP1
000008c5: REVERT
000008c6: JUMPDEST
000008c7: POP
000008c8: PUSH2 0x0395
000008cb: PUSH1 0x10
000008cd: SLOAD
000008ce: DUP2
000008cf: JUMP
000008d0: JUMPDEST
000008d1: CALLVALUE
000008d2: DUP1
000008d3: ISZERO
000008d4: PUSH2 0x08dc
000008d7: JUMPI
000008d8: PUSH1 0x00
000008da: DUP1
000008db: REVERT
000008dc: JUMPDEST
000008dd: POP
000008de: PUSH1 0x11
000008e0: SLOAD
000008e1: PUSH2 0x02ee
000008e4: SWAP1
000008e5: PUSH2 0x0100
000008e8: SWAP1
000008e9: DIV
000008ea: PUSH1 0xff
000008ec: AND
000008ed: DUP2
000008ee: JUMP
000008ef: JUMPDEST
000008f0: PUSH1 0x00
000008f2: PUSH1 0x01
000008f4: PUSH1 0x01
000008f6: PUSH1 0xe0
000008f8: SHL
000008f9: SUB
000008fa: NOT
000008fb: DUP3
000008fc: AND
000008fd: PUSH4 0x780e9d63
00000902: PUSH1 0xe0
00000904: SHL
00000905: EQ
00000906: DUP1
00000907: PUSH2 0x0914
0000090a: JUMPI
0000090b: POP
0000090c: PUSH2 0x0914
0000090f: DUP3
00000910: PUSH2 0x1b0a
00000913: JUMP
00000914: JUMPDEST
00000915: SWAP3
00000916: SWAP2
00000917: POP
00000918: POP
00000919: JUMP
0000091a: JUMPDEST
0000091b: PUSH1 0x60
0000091d: PUSH1 0x00
0000091f: DUP1
00000920: SLOAD
00000921: PUSH2 0x0929
00000924: SWAP1
00000925: PUSH2 0x2a74
00000928: JUMP
00000929: JUMPDEST
0000092a: DUP1
0000092b: PUSH1 0x1f
0000092d: ADD
0000092e: PUSH1 0x20
00000930: DUP1
00000931: SWAP2
00000932: DIV
00000933: MUL
00000934: PUSH1 0x20
00000936: ADD
00000937: PUSH1 0x40
00000939: MLOAD
0000093a: SWAP1
0000093b: DUP2
0000093c: ADD
0000093d: PUSH1 0x40
0000093f: MSTORE
00000940: DUP1
00000941: SWAP3
00000942: SWAP2
00000943: SWAP1
00000944: DUP2
00000945: DUP2
00000946: MSTORE
00000947: PUSH1 0x20
00000949: ADD
0000094a: DUP3
0000094b: DUP1
0000094c: SLOAD
0000094d: PUSH2 0x0955
00000950: SWAP1
00000951: PUSH2 0x2a74
00000954: JUMP
00000955: JUMPDEST
00000956: DUP1
00000957: ISZERO
00000958: PUSH2 0x09a2
0000095b: JUMPI
0000095c: DUP1
0000095d: PUSH1 0x1f
0000095f: LT
00000960: PUSH2 0x0977
00000963: JUMPI
00000964: PUSH2 0x0100
00000967: DUP1
00000968: DUP4
00000969: SLOAD
0000096a: DIV
0000096b: MUL
0000096c: DUP4
0000096d: MSTORE
0000096e: SWAP2
0000096f: PUSH1 0x20
00000971: ADD
00000972: SWAP2
00000973: PUSH2 0x09a2
00000976: JUMP
00000977: JUMPDEST
00000978: DUP3
00000979: ADD
0000097a: SWAP2
0000097b: SWAP1
0000097c: PUSH1 0x00
0000097e: MSTORE
0000097f: PUSH1 0x20
00000981: PUSH1 0x00
00000983: KECCAK256
00000984: SWAP1
00000985: JUMPDEST
00000986: DUP2
00000987: SLOAD
00000988: DUP2
00000989: MSTORE
0000098a: SWAP1
0000098b: PUSH1 0x01
0000098d: ADD
0000098e: SWAP1
0000098f: PUSH1 0x20
00000991: ADD
00000992: DUP1
00000993: DUP4
00000994: GT
00000995: PUSH2 0x0985
00000998: JUMPI
00000999: DUP3
0000099a: SWAP1
0000099b: SUB
0000099c: PUSH1 0x1f
0000099e: AND
0000099f: DUP3
000009a0: ADD
000009a1: SWAP2
000009a2: JUMPDEST
000009a3: POP
000009a4: POP
000009a5: POP
000009a6: POP
000009a7: POP
000009a8: SWAP1
000009a9: POP
000009aa: SWAP1
000009ab: JUMP
000009ac: JUMPDEST
000009ad: PUSH1 0x00
000009af: PUSH2 0x09b7
000009b2: DUP3
000009b3: PUSH2 0x1b5a
000009b6: JUMP
000009b7: JUMPDEST
000009b8: PUSH2 0x0a1d
000009bb: JUMPI
000009bc: PUSH1 0x40
000009be: MLOAD
000009bf: PUSH3 0x461bcd
000009c3: PUSH1 0xe5
000009c5: SHL
000009c6: DUP2
000009c7: MSTORE
000009c8: PUSH1 0x20
000009ca: PUSH1 0x04
000009cc: DUP3
000009cd: ADD
000009ce: MSTORE
000009cf: PUSH1 0x2c
000009d1: PUSH1 0x24
000009d3: DUP3
000009d4: ADD
000009d5: MSTORE
000009d6: PUSH32 0x4552433732313a20617070726f76656420717565727920666f72206e6f6e6578
000009f7: PUSH1 0x44
000009f9: DUP3
000009fa: ADD
000009fb: MSTORE
000009fc: PUSH12 0x34b9ba32b73a103a37b5b2b7
00000a09: PUSH1 0xa1
00000a0b: SHL
00000a0c: PUSH1 0x64
00000a0e: DUP3
00000a0f: ADD
00000a10: MSTORE
00000a11: PUSH1 0x84
00000a13: ADD
00000a14: JUMPDEST
00000a15: PUSH1 0x40
00000a17: MLOAD
00000a18: DUP1
00000a19: SWAP2
00000a1a: SUB
00000a1b: SWAP1
00000a1c: REVERT
00000a1d: JUMPDEST
00000a1e: POP
00000a1f: PUSH1 0x00
00000a21: SWAP1
00000a22: DUP2
00000a23: MSTORE
00000a24: PUSH1 0x03
00000a26: PUSH1 0x20
00000a28: MSTORE
00000a29: PUSH1 0x40
00000a2b: SWAP1
00000a2c: KECCAK256
00000a2d: SLOAD
00000a2e: PUSH1 0x01
00000a30: PUSH1 0x01
00000a32: PUSH1 0xa0
00000a34: SHL
00000a35: SUB
00000a36: AND
00000a37: SWAP1
00000a38: JUMP
00000a39: JUMPDEST
00000a3a: PUSH1 0x00
00000a3c: PUSH2 0x0a44
00000a3f: DUP3
00000a40: PUSH2 0x0e3f
00000a43: JUMP
00000a44: JUMPDEST
00000a45: SWAP1
00000a46: POP
00000a47: DUP1
00000a48: PUSH1 0x01
00000a4a: PUSH1 0x01
00000a4c: PUSH1 0xa0
00000a4e: SHL
00000a4f: SUB
00000a50: AND
00000a51: DUP4
00000a52: PUSH1 0x01
00000a54: PUSH1 0x01
00000a56: PUSH1 0xa0
00000a58: SHL
00000a59: SUB
00000a5a: AND
00000a5b: EQ
00000a5c: ISZERO
00000a5d: PUSH2 0x0ab2
00000a60: JUMPI
00000a61: PUSH1 0x40
00000a63: MLOAD
00000a64: PUSH3 0x461bcd
00000a68: PUSH1 0xe5
00000a6a: SHL
00000a6b: DUP2
00000a6c: MSTORE
00000a6d: PUSH1 0x20
00000a6f: PUSH1 0x04
00000a71: DUP3
00000a72: ADD
00000a73: MSTORE
00000a74: PUSH1 0x21
00000a76: PUSH1 0x24
00000a78: DUP3
00000a79: ADD
00000a7a: MSTORE
00000a7b: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65
00000a9c: PUSH1 0x44
00000a9e: DUP3
00000a9f: ADD
00000aa0: MSTORE
00000aa1: PUSH1 0x39
00000aa3: PUSH1 0xf9
00000aa5: SHL
00000aa6: PUSH1 0x64
00000aa8: DUP3
00000aa9: ADD
00000aaa: MSTORE
00000aab: PUSH1 0x84
00000aad: ADD
00000aae: PUSH2 0x0a14
00000ab1: JUMP
00000ab2: JUMPDEST
00000ab3: CALLER
00000ab4: PUSH1 0x01
00000ab6: PUSH1 0x01
00000ab8: PUSH1 0xa0
00000aba: SHL
00000abb: SUB
00000abc: DUP3
00000abd: AND
00000abe: EQ
00000abf: DUP1
00000ac0: PUSH2 0x0ace
00000ac3: JUMPI
00000ac4: POP
00000ac5: PUSH2 0x0ace
00000ac8: DUP2
00000ac9: CALLER
00000aca: PUSH2 0x082c
00000acd: JUMP
00000ace: JUMPDEST
00000acf: PUSH2 0x0b40
00000ad2: JUMPI
00000ad3: PUSH1 0x40
00000ad5: MLOAD
00000ad6: PUSH3 0x461bcd
00000ada: PUSH1 0xe5
00000adc: SHL
00000add: DUP2
00000ade: MSTORE
00000adf: PUSH1 0x20
00000ae1: PUSH1 0x04
00000ae3: DUP3
00000ae4: ADD
00000ae5: MSTORE
00000ae6: PUSH1 0x38
00000ae8: PUSH1 0x24
00000aea: DUP3
00000aeb: ADD
00000aec: MSTORE
00000aed: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f74206f77
00000b0e: PUSH1 0x44
00000b10: DUP3
00000b11: ADD
00000b12: MSTORE
00000b13: PUSH32 0x6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000
00000b34: PUSH1 0x64
00000b36: DUP3
00000b37: ADD
00000b38: MSTORE
00000b39: PUSH1 0x84
00000b3b: ADD
00000b3c: PUSH2 0x0a14
00000b3f: JUMP
00000b40: JUMPDEST
00000b41: PUSH2 0x0b4a
00000b44: DUP4
00000b45: DUP4
00000b46: PUSH2 0x1ba4
00000b49: JUMP
00000b4a: JUMPDEST
00000b4b: POP
00000b4c: POP
00000b4d: POP
00000b4e: JUMP
00000b4f: JUMPDEST
00000b50: PUSH2 0x0b4a
00000b53: DUP4
00000b54: DUP4
00000b55: DUP4
00000b56: PUSH2 0x1c12
00000b59: JUMP
00000b5a: JUMPDEST
00000b5b: PUSH1 0x00
00000b5d: PUSH2 0x0b65
00000b60: DUP4
00000b61: PUSH2 0x0efa
00000b64: JUMP
00000b65: JUMPDEST
00000b66: DUP3
00000b67: LT
00000b68: PUSH2 0x0b83
00000b6b: JUMPI
00000b6c: PUSH1 0x40
00000b6e: MLOAD
00000b6f: PUSH3 0x461bcd
00000b73: PUSH1 0xe5
00000b75: SHL
00000b76: DUP2
00000b77: MSTORE
00000b78: PUSH1 0x04
00000b7a: ADD
00000b7b: PUSH2 0x0a14
00000b7e: SWAP1
00000b7f: PUSH2 0x28ed
00000b82: JUMP
00000b83: JUMPDEST
00000b84: PUSH1 0x00
00000b86: DUP1
00000b87: JUMPDEST
00000b88: PUSH1 0x02
00000b8a: SLOAD
00000b8b: DUP2
00000b8c: LT
00000b8d: ISZERO
00000b8e: PUSH2 0x0bf0
00000b91: JUMPI
00000b92: PUSH1 0x02
00000b94: DUP2
00000b95: DUP2
00000b96: SLOAD
00000b97: DUP2
00000b98: LT
00000b99: PUSH2 0x0ba4
00000b9c: JUMPI
00000b9d: PUSH2 0x0ba4
00000ba0: PUSH2 0x2b0a
00000ba3: JUMP
00000ba4: JUMPDEST
00000ba5: PUSH1 0x00
00000ba7: SWAP2
00000ba8: DUP3
00000ba9: MSTORE
00000baa: PUSH1 0x20
00000bac: SWAP1
00000bad: SWAP2
00000bae: KECCAK256
00000baf: ADD
00000bb0: SLOAD
00000bb1: PUSH1 0x01
00000bb3: PUSH1 0x01
00000bb5: PUSH1 0xa0
00000bb7: SHL
00000bb8: SUB
00000bb9: DUP7
00000bba: DUP2
00000bbb: AND
00000bbc: SWAP2
00000bbd: AND
00000bbe: EQ
00000bbf: ISZERO
00000bc0: PUSH2 0x0be0
00000bc3: JUMPI
00000bc4: DUP4
00000bc5: DUP3
00000bc6: EQ
00000bc7: ISZERO
00000bc8: PUSH2 0x0bd4
00000bcb: JUMPI
00000bcc: SWAP2
00000bcd: POP
00000bce: PUSH2 0x0914
00000bd1: SWAP1
00000bd2: POP
00000bd3: JUMP
00000bd4: JUMPDEST
00000bd5: PUSH2 0x0bdd
00000bd8: DUP3
00000bd9: PUSH2 0x2aaf
00000bdc: JUMP
00000bdd: JUMPDEST
00000bde: SWAP2
00000bdf: POP
00000be0: JUMPDEST
00000be1: PUSH2 0x0be9
00000be4: DUP2
00000be5: PUSH2 0x2aaf
00000be8: JUMP
00000be9: JUMPDEST
00000bea: SWAP1
00000beb: POP
00000bec: PUSH2 0x0b87
00000bef: JUMP
00000bf0: JUMPDEST
00000bf1: POP
00000bf2: PUSH1 0x40
00000bf4: MLOAD
00000bf5: PUSH3 0x461bcd
00000bf9: PUSH1 0xe5
00000bfb: SHL
00000bfc: DUP2
00000bfd: MSTORE
00000bfe: PUSH1 0x04
00000c00: ADD
00000c01: PUSH2 0x0a14
00000c04: SWAP1
00000c05: PUSH2 0x28ed
00000c08: JUMP
00000c09: JUMPDEST
00000c0a: PUSH1 0x05
00000c0c: SLOAD
00000c0d: PUSH1 0x01
00000c0f: PUSH1 0x01
00000c11: PUSH1 0xa0
00000c13: SHL
00000c14: SUB
00000c15: AND
00000c16: CALLER
00000c17: EQ
00000c18: PUSH2 0x0c33
00000c1b: JUMPI
00000c1c: PUSH1 0x40
00000c1e: MLOAD
00000c1f: PUSH3 0x461bcd
00000c23: PUSH1 0xe5
00000c25: SHL
00000c26: DUP2
00000c27: MSTORE
00000c28: PUSH1 0x04
00000c2a: ADD
00000c2b: PUSH2 0x0a14
00000c2e: SWAP1
00000c2f: PUSH2 0x28b8
00000c32: JUMP
00000c33: JUMPDEST
00000c34: DUP1
00000c35: PUSH1 0x07
00000c37: SLOAD
00000c38: LT
00000c39: ISZERO
00000c3a: PUSH2 0x0c55
00000c3d: JUMPI
00000c3e: PUSH1 0x40
00000c40: MLOAD
00000c41: PUSH3 0x461bcd
00000c45: PUSH1 0xe5
00000c47: SHL
00000c48: DUP2
00000c49: MSTORE
00000c4a: PUSH1 0x04
00000c4c: ADD
00000c4d: PUSH2 0x0a14
00000c50: SWAP1
00000c51: PUSH2 0x288f
00000c54: JUMP
00000c55: JUMPDEST
00000c56: PUSH1 0x0b
00000c58: SSTORE
00000c59: JUMP
00000c5a: JUMPDEST
00000c5b: PUSH1 0x05
00000c5d: SLOAD
00000c5e: PUSH1 0x01
00000c60: PUSH1 0x01
00000c62: PUSH1 0xa0
00000c64: SHL
00000c65: SUB
00000c66: AND
00000c67: CALLER
00000c68: EQ
00000c69: PUSH2 0x0c84
00000c6c: JUMPI
00000c6d: PUSH1 0x40
00000c6f: MLOAD
00000c70: PUSH3 0x461bcd
00000c74: PUSH1 0xe5
00000c76: SHL
00000c77: DUP2
00000c78: MSTORE
00000c79: PUSH1 0x04
00000c7b: ADD
00000c7c: PUSH2 0x0a14
00000c7f: SWAP1
00000c80: PUSH2 0x28b8
00000c83: JUMP
00000c84: JUMPDEST
00000c85: PUSH1 0x40
00000c87: MLOAD
00000c88: SELFBALANCE
00000c89: SWAP1
00000c8a: CALLER
00000c8b: SWAP1
00000c8c: DUP3
00000c8d: ISZERO
00000c8e: PUSH2 0x08fc
00000c91: MUL
00000c92: SWAP1
00000c93: DUP4
00000c94: SWAP1
00000c95: PUSH1 0x00
00000c97: DUP2
00000c98: DUP2
00000c99: DUP2
00000c9a: DUP6
00000c9b: DUP9
00000c9c: DUP9
00000c9d: CALL
00000c9e: SWAP4
00000c9f: POP
00000ca0: POP
00000ca1: POP
00000ca2: POP
00000ca3: ISZERO
00000ca4: DUP1
00000ca5: ISZERO
00000ca6: PUSH2 0x0cb3
00000ca9: JUMPI
00000caa: RETURNDATASIZE
00000cab: PUSH1 0x00
00000cad: DUP1
00000cae: RETURNDATACOPY
00000caf: RETURNDATASIZE
00000cb0: PUSH1 0x00
00000cb2: REVERT
00000cb3: JUMPDEST
00000cb4: POP
00000cb5: POP
00000cb6: JUMP
00000cb7: JUMPDEST
00000cb8: PUSH1 0x05
00000cba: SLOAD
00000cbb: PUSH1 0x01
00000cbd: PUSH1 0x01
00000cbf: PUSH1 0xa0
00000cc1: SHL
00000cc2: SUB
00000cc3: AND
00000cc4: CALLER
00000cc5: EQ
00000cc6: PUSH2 0x0ce1
00000cc9: JUMPI
00000cca: PUSH1 0x40
00000ccc: MLOAD
00000ccd: PUSH3 0x461bcd
00000cd1: PUSH1 0xe5
00000cd3: SHL
00000cd4: DUP2
00000cd5: MSTORE
00000cd6: PUSH1 0x04
00000cd8: ADD
00000cd9: PUSH2 0x0a14
00000cdc: SWAP1
00000cdd: PUSH2 0x28b8
00000ce0: JUMP
00000ce1: JUMPDEST
00000ce2: DUP1
00000ce3: PUSH1 0x07
00000ce5: SLOAD
00000ce6: LT
00000ce7: ISZERO
00000ce8: PUSH2 0x0d03
00000ceb: JUMPI
00000cec: PUSH1 0x40
00000cee: MLOAD
00000cef: PUSH3 0x461bcd
00000cf3: PUSH1 0xe5
00000cf5: SHL
00000cf6: DUP2
00000cf7: MSTORE
00000cf8: PUSH1 0x04
00000cfa: ADD
00000cfb: PUSH2 0x0a14
00000cfe: SWAP1
00000cff: PUSH2 0x288f
00000d02: JUMP
00000d03: JUMPDEST
00000d04: PUSH1 0x0c
00000d06: SSTORE
00000d07: JUMP
00000d08: JUMPDEST
00000d09: PUSH2 0x0b4a
00000d0c: DUP4
00000d0d: DUP4
00000d0e: DUP4
00000d0f: PUSH1 0x40
00000d11: MLOAD
00000d12: DUP1
00000d13: PUSH1 0x20
00000d15: ADD
00000d16: PUSH1 0x40
00000d18: MSTORE
00000d19: DUP1
00000d1a: PUSH1 0x00
00000d1c: DUP2
00000d1d: MSTORE
00000d1e: POP
00000d1f: PUSH2 0x189e
00000d22: JUMP
00000d23: JUMPDEST
00000d24: PUSH1 0x05
00000d26: SLOAD
00000d27: PUSH1 0x01
00000d29: PUSH1 0x01
00000d2b: PUSH1 0xa0
00000d2d: SHL
00000d2e: SUB
00000d2f: AND
00000d30: CALLER
00000d31: EQ
00000d32: PUSH2 0x0d4d
00000d35: JUMPI
00000d36: PUSH1 0x40
00000d38: MLOAD
00000d39: PUSH3 0x461bcd
00000d3d: PUSH1 0xe5
00000d3f: SHL
00000d40: DUP2
00000d41: MSTORE
00000d42: PUSH1 0x04
00000d44: ADD
00000d45: PUSH2 0x0a14
00000d48: SWAP1
00000d49: PUSH2 0x28b8
00000d4c: JUMP
00000d4d: JUMPDEST
00000d4e: PUSH1 0x13
00000d50: SSTORE
00000d51: JUMP
00000d52: JUMPDEST
00000d53: PUSH1 0x00
00000d55: PUSH2 0x0d5d
00000d58: PUSH1 0x02
00000d5a: SLOAD
00000d5b: SWAP1
00000d5c: JUMP
00000d5d: JUMPDEST
00000d5e: DUP3
00000d5f: LT
00000d60: PUSH2 0x0dab
00000d63: JUMPI
00000d64: PUSH1 0x40
00000d66: MLOAD
00000d67: PUSH3 0x461bcd
00000d6b: PUSH1 0xe5
00000d6d: SHL
00000d6e: DUP2
00000d6f: MSTORE
00000d70: PUSH1 0x20
00000d72: PUSH1 0x04
00000d74: DUP3
00000d75: ADD
00000d76: MSTORE
00000d77: PUSH1 0x17
00000d79: PUSH1 0x24
00000d7b: DUP3
00000d7c: ADD
00000d7d: MSTORE
00000d7e: PUSH32 0x455243373231456e756d3a20676c6f62616c20696f6f62000000000000000000
00000d9f: PUSH1 0x44
00000da1: DUP3
00000da2: ADD
00000da3: MSTORE
00000da4: PUSH1 0x64
00000da6: ADD
00000da7: PUSH2 0x0a14
00000daa: JUMP
00000dab: JUMPDEST
00000dac: POP
00000dad: SWAP1
00000dae: JUMP
00000daf: JUMPDEST
00000db0: PUSH1 0x05
00000db2: SLOAD
00000db3: PUSH1 0x01
00000db5: PUSH1 0x01
00000db7: PUSH1 0xa0
00000db9: SHL
00000dba: SUB
00000dbb: AND
00000dbc: CALLER
00000dbd: EQ
00000dbe: PUSH2 0x0dd9
00000dc1: JUMPI
00000dc2: PUSH1 0x40
00000dc4: MLOAD
00000dc5: PUSH3 0x461bcd
00000dc9: PUSH1 0xe5
00000dcb: SHL
00000dcc: DUP2
00000dcd: MSTORE
00000dce: PUSH1 0x04
00000dd0: ADD
00000dd1: PUSH2 0x0a14
00000dd4: SWAP1
00000dd5: PUSH2 0x28b8
00000dd8: JUMP
00000dd9: JUMPDEST
00000dda: DUP1
00000ddb: MLOAD
00000ddc: PUSH2 0x0cb3
00000ddf: SWAP1
00000de0: PUSH1 0x12
00000de2: SWAP1
00000de3: PUSH1 0x20
00000de5: DUP5
00000de6: ADD
00000de7: SWAP1
00000de8: PUSH2 0x237c
00000deb: JUMP
00000dec: JUMPDEST
00000ded: PUSH1 0x05
00000def: SLOAD
00000df0: PUSH1 0x01
00000df2: PUSH1 0x01
00000df4: PUSH1 0xa0
00000df6: SHL
00000df7: SUB
00000df8: AND
00000df9: CALLER
00000dfa: EQ
00000dfb: PUSH2 0x0e16
00000dfe: JUMPI
00000dff: PUSH1 0x40
00000e01: MLOAD
00000e02: PUSH3 0x461bcd
00000e06: PUSH1 0xe5
00000e08: SHL
00000e09: DUP2
00000e0a: MSTORE
00000e0b: PUSH1 0x04
00000e0d: ADD
00000e0e: PUSH2 0x0a14
00000e11: SWAP1
00000e12: PUSH2 0x28b8
00000e15: JUMP
00000e16: JUMPDEST
00000e17: PUSH1 0x11
00000e19: SLOAD
00000e1a: PUSH1 0xff
00000e1c: AND
00000e1d: ISZERO
00000e1e: ISZERO
00000e1f: DUP2
00000e20: ISZERO
00000e21: ISZERO
00000e22: EQ
00000e23: ISZERO
00000e24: PUSH2 0x0e2c
00000e27: JUMPI
00000e28: PUSH1 0x00
00000e2a: DUP1
00000e2b: REVERT
00000e2c: JUMPDEST
00000e2d: PUSH1 0x11
00000e2f: DUP1
00000e30: SLOAD
00000e31: PUSH1 0xff
00000e33: NOT
00000e34: AND
00000e35: SWAP2
00000e36: ISZERO
00000e37: ISZERO
00000e38: SWAP2
00000e39: SWAP1
00000e3a: SWAP2
00000e3b: OR
00000e3c: SWAP1
00000e3d: SSTORE
00000e3e: JUMP
00000e3f: JUMPDEST
00000e40: PUSH1 0x00
00000e42: DUP1
00000e43: PUSH1 0x02
00000e45: DUP4
00000e46: DUP2
00000e47: SLOAD
00000e48: DUP2
00000e49: LT
00000e4a: PUSH2 0x0e55
00000e4d: JUMPI
00000e4e: PUSH2 0x0e55
00000e51: PUSH2 0x2b0a
00000e54: JUMP
00000e55: JUMPDEST
00000e56: PUSH1 0x00
00000e58: SWAP2
00000e59: DUP3
00000e5a: MSTORE
00000e5b: PUSH1 0x20
00000e5d: SWAP1
00000e5e: SWAP2
00000e5f: KECCAK256
00000e60: ADD
00000e61: SLOAD
00000e62: PUSH1 0x01
00000e64: PUSH1 0x01
00000e66: PUSH1 0xa0
00000e68: SHL
00000e69: SUB
00000e6a: AND
00000e6b: SWAP1
00000e6c: POP
00000e6d: DUP1
00000e6e: PUSH2 0x0914
00000e71: JUMPI
00000e72: PUSH1 0x40
00000e74: MLOAD
00000e75: PUSH3 0x461bcd
00000e79: PUSH1 0xe5
00000e7b: SHL
00000e7c: DUP2
00000e7d: MSTORE
00000e7e: PUSH1 0x20
00000e80: PUSH1 0x04
00000e82: DUP3
00000e83: ADD
00000e84: MSTORE
00000e85: PUSH1 0x29
00000e87: PUSH1 0x24
00000e89: DUP3
00000e8a: ADD
00000e8b: MSTORE
00000e8c: PUSH32 0x4552433732313a206f776e657220717565727920666f72206e6f6e6578697374
00000ead: PUSH1 0x44
00000eaf: DUP3
00000eb0: ADD
00000eb1: MSTORE
00000eb2: PUSH9 0x32b73a103a37b5b2b7
00000ebc: PUSH1 0xb9
00000ebe: SHL
00000ebf: PUSH1 0x64
00000ec1: DUP3
00000ec2: ADD
00000ec3: MSTORE
00000ec4: PUSH1 0x84
00000ec6: ADD
00000ec7: PUSH2 0x0a14
00000eca: JUMP
00000ecb: JUMPDEST
00000ecc: PUSH1 0x05
00000ece: SLOAD
00000ecf: PUSH1 0x01
00000ed1: PUSH1 0x01
00000ed3: PUSH1 0xa0
00000ed5: SHL
00000ed6: SUB
00000ed7: AND
00000ed8: CALLER
00000ed9: EQ
00000eda: PUSH2 0x0ef5
00000edd: JUMPI
00000ede: PUSH1 0x40
00000ee0: MLOAD
00000ee1: PUSH3 0x461bcd
00000ee5: PUSH1 0xe5
00000ee7: SHL
00000ee8: DUP2
00000ee9: MSTORE
00000eea: PUSH1 0x04
00000eec: ADD
00000eed: PUSH2 0x0a14
00000ef0: SWAP1
00000ef1: PUSH2 0x28b8
00000ef4: JUMP
00000ef5: JUMPDEST
00000ef6: PUSH1 0x0d
00000ef8: SSTORE
00000ef9: JUMP
00000efa: JUMPDEST
00000efb: PUSH1 0x00
00000efd: PUSH1 0x01
00000eff: PUSH1 0x01
00000f01: PUSH1 0xa0
00000f03: SHL
00000f04: SUB
00000f05: DUP3
00000f06: AND
00000f07: PUSH2 0x0f65
00000f0a: JUMPI
00000f0b: PUSH1 0x40
00000f0d: MLOAD
00000f0e: PUSH3 0x461bcd
00000f12: PUSH1 0xe5
00000f14: SHL
00000f15: DUP2
00000f16: MSTORE
00000f17: PUSH1 0x20
00000f19: PUSH1 0x04
00000f1b: DUP3
00000f1c: ADD
00000f1d: MSTORE
00000f1e: PUSH1 0x2a
00000f20: PUSH1 0x24
00000f22: DUP3
00000f23: ADD
00000f24: MSTORE
00000f25: PUSH32 0x4552433732313a2062616c616e636520717565727920666f7220746865207a65
00000f46: PUSH1 0x44
00000f48: DUP3
00000f49: ADD
00000f4a: MSTORE
00000f4b: PUSH10 0x726f2061646472657373
00000f56: PUSH1 0xb0
00000f58: SHL
00000f59: PUSH1 0x64
00000f5b: DUP3
00000f5c: ADD
00000f5d: MSTORE
00000f5e: PUSH1 0x84
00000f60: ADD
00000f61: PUSH2 0x0a14
00000f64: JUMP
00000f65: JUMPDEST
00000f66: PUSH1 0x02
00000f68: SLOAD
00000f69: PUSH1 0x00
00000f6b: SWAP1
00000f6c: DUP2
00000f6d: JUMPDEST
00000f6e: DUP2
00000f6f: DUP2
00000f70: LT
00000f71: ISZERO
00000f72: PUSH2 0x0fc3
00000f75: JUMPI
00000f76: PUSH1 0x02
00000f78: DUP2
00000f79: DUP2
00000f7a: SLOAD
00000f7b: DUP2
00000f7c: LT
00000f7d: PUSH2 0x0f88
00000f80: JUMPI
00000f81: PUSH2 0x0f88
00000f84: PUSH2 0x2b0a
00000f87: JUMP
00000f88: JUMPDEST
00000f89: PUSH1 0x00
00000f8b: SWAP2
00000f8c: DUP3
00000f8d: MSTORE
00000f8e: PUSH1 0x20
00000f90: SWAP1
00000f91: SWAP2
00000f92: KECCAK256
00000f93: ADD
00000f94: SLOAD
00000f95: PUSH1 0x01
00000f97: PUSH1 0x01
00000f99: PUSH1 0xa0
00000f9b: SHL
00000f9c: SUB
00000f9d: DUP7
00000f9e: DUP2
00000f9f: AND
00000fa0: SWAP2
00000fa1: AND
00000fa2: EQ
00000fa3: ISZERO
00000fa4: PUSH2 0x0fb3
00000fa7: JUMPI
00000fa8: PUSH2 0x0fb0
00000fab: DUP4
00000fac: PUSH2 0x2aaf
00000faf: JUMP
00000fb0: JUMPDEST
00000fb1: SWAP3
00000fb2: POP
00000fb3: JUMPDEST
00000fb4: PUSH2 0x0fbc
00000fb7: DUP2
00000fb8: PUSH2 0x2aaf
00000fbb: JUMP
00000fbc: JUMPDEST
00000fbd: SWAP1
00000fbe: POP
00000fbf: PUSH2 0x0f6d
00000fc2: JUMP
00000fc3: JUMPDEST
00000fc4: POP
00000fc5: SWAP1
00000fc6: SWAP4
00000fc7: SWAP3
00000fc8: POP
00000fc9: POP
00000fca: POP
00000fcb: JUMP
00000fcc: JUMPDEST
00000fcd: PUSH1 0x05
00000fcf: SLOAD
00000fd0: PUSH1 0x01
00000fd2: PUSH1 0x01
00000fd4: PUSH1 0xa0
00000fd6: SHL
00000fd7: SUB
00000fd8: AND
00000fd9: CALLER
00000fda: EQ
00000fdb: PUSH2 0x0ff6
00000fde: JUMPI
00000fdf: PUSH1 0x40
00000fe1: MLOAD
00000fe2: PUSH3 0x461bcd
00000fe6: PUSH1 0xe5
00000fe8: SHL
00000fe9: DUP2
00000fea: MSTORE
00000feb: PUSH1 0x04
00000fed: ADD
00000fee: PUSH2 0x0a14
00000ff1: SWAP1
00000ff2: PUSH2 0x28b8
00000ff5: JUMP
00000ff6: JUMPDEST
00000ff7: PUSH2 0x1000
00000ffa: PUSH1 0x00
00000ffc: PUSH2 0x1c43
00000fff: JUMP
00001000: JUMPDEST
00001001: JUMP
00001002: JUMPDEST
00001003: PUSH1 0x05
00001005: SLOAD
00001006: PUSH1 0x01
00001008: PUSH1 0x01
0000100a: PUSH1 0xa0
0000100c: SHL
0000100d: SUB
0000100e: AND
0000100f: CALLER
00001010: EQ
00001011: PUSH2 0x102c
00001014: JUMPI
00001015: PUSH1 0x40
00001017: MLOAD
00001018: PUSH3 0x461bcd
0000101c: PUSH1 0xe5
0000101e: SHL
0000101f: DUP2
00001020: MSTORE
00001021: PUSH1 0x04
00001023: ADD
00001024: PUSH2 0x0a14
00001027: SWAP1
00001028: PUSH2 0x28b8
0000102b: JUMP
0000102c: JUMPDEST
0000102d: PUSH1 0x02
0000102f: PUSH1 0x06
00001031: SLOAD
00001032: EQ
00001033: ISZERO
00001034: PUSH2 0x104f
00001037: JUMPI
00001038: PUSH1 0x40
0000103a: MLOAD
0000103b: PUSH3 0x461bcd
0000103f: PUSH1 0xe5
00001041: SHL
00001042: DUP2
00001043: MSTORE
00001044: PUSH1 0x04
00001046: ADD
00001047: PUSH2 0x0a14
0000104a: SWAP1
0000104b: PUSH2 0x29af
0000104e: JUMP
0000104f: JUMPDEST
00001050: PUSH1 0x02
00001052: PUSH1 0x06
00001054: SSTORE
00001055: PUSH1 0x00
00001057: PUSH2 0x105f
0000105a: PUSH1 0x02
0000105c: SLOAD
0000105d: SWAP1
0000105e: JUMP
0000105f: JUMPDEST
00001060: SWAP1
00001061: POP
00001062: PUSH1 0x08
00001064: SLOAD
00001065: DUP3
00001066: PUSH1 0x10
00001068: SLOAD
00001069: PUSH2 0x1072
0000106c: SWAP2
0000106d: SWAP1
0000106e: PUSH2 0x29e6
00001071: JUMP
00001072: JUMPDEST
00001073: GT
00001074: ISZERO
00001075: PUSH2 0x10ac
00001078: JUMPI
00001079: PUSH1 0x40
0000107b: MLOAD
0000107c: PUSH3 0x461bcd
00001080: PUSH1 0xe5
00001082: SHL
00001083: DUP2
00001084: MSTORE
00001085: PUSH1 0x20
00001087: PUSH1 0x04
00001089: DUP3
0000108a: ADD
0000108b: MSTORE
0000108c: PUSH1 0x09
0000108e: PUSH1 0x24
00001090: DUP3
00001091: ADD
00001092: MSTORE
00001093: PUSH9 0x13585e081b1a5b5a5d
0000109d: PUSH1 0xba
0000109f: SHL
000010a0: PUSH1 0x44
000010a2: DUP3
000010a3: ADD
000010a4: MSTORE
000010a5: PUSH1 0x64
000010a7: ADD
000010a8: PUSH2 0x0a14
000010ab: JUMP
000010ac: JUMPDEST
000010ad: PUSH1 0x00
000010af: JUMPDEST
000010b0: DUP3
000010b1: DUP2
000010b2: LT
000010b3: ISZERO
000010b4: PUSH2 0x10f2
000010b7: JUMPI
000010b8: PUSH2 0x10ca
000010bb: DUP5
000010bc: PUSH2 0x10c5
000010bf: DUP4
000010c0: DUP6
000010c1: PUSH2 0x29e6
000010c4: JUMP
000010c5: JUMPDEST
000010c6: PUSH2 0x1c95
000010c9: JUMP
000010ca: JUMPDEST
000010cb: PUSH1 0x10
000010cd: DUP1
000010ce: SLOAD
000010cf: SWAP1
000010d0: PUSH1 0x00
000010d2: PUSH2 0x10da
000010d5: DUP4
000010d6: PUSH2 0x2aaf
000010d9: JUMP
000010da: JUMPDEST
000010db: SWAP2
000010dc: SWAP1
000010dd: POP
000010de: SSTORE
000010df: POP
000010e0: DUP1
000010e1: DUP1
000010e2: PUSH2 0x10ea
000010e5: SWAP1
000010e6: PUSH2 0x2aaf
000010e9: JUMP
000010ea: JUMPDEST
000010eb: SWAP2
000010ec: POP
000010ed: POP
000010ee: PUSH2 0x10af
000010f1: JUMP
000010f2: JUMPDEST
000010f3: POP
000010f4: POP
000010f5: PUSH1 0x01
000010f7: PUSH1 0x06
000010f9: SSTORE
000010fa: POP
000010fb: POP
000010fc: JUMP
000010fd: JUMPDEST
000010fe: PUSH1 0x05
00001100: SLOAD
00001101: PUSH1 0x01
00001103: PUSH1 0x01
00001105: PUSH1 0xa0
00001107: SHL
00001108: SUB
00001109: AND
0000110a: CALLER
0000110b: EQ
0000110c: PUSH2 0x1127
0000110f: JUMPI
00001110: PUSH1 0x40
00001112: MLOAD
00001113: PUSH3 0x461bcd
00001117: PUSH1 0xe5
00001119: SHL
0000111a: DUP2
0000111b: MSTORE
0000111c: PUSH1 0x04
0000111e: ADD
0000111f: PUSH2 0x0a14
00001122: SWAP1
00001123: PUSH2 0x28b8
00001126: JUMP
00001127: JUMPDEST
00001128: PUSH1 0x0e
0000112a: SSTORE
0000112b: JUMP
0000112c: JUMPDEST
0000112d: PUSH1 0x60
0000112f: PUSH2 0x1137
00001132: DUP3
00001133: PUSH2 0x0efa
00001136: JUMP
00001137: JUMPDEST
00001138: PUSH1 0x00
0000113a: LT
0000113b: PUSH2 0x1156
0000113e: JUMPI
0000113f: PUSH1 0x40
00001141: MLOAD
00001142: PUSH3 0x461bcd
00001146: PUSH1 0xe5
00001148: SHL
00001149: DUP2
0000114a: MSTORE
0000114b: PUSH1 0x04
0000114d: ADD
0000114e: PUSH2 0x0a14
00001151: SWAP1
00001152: PUSH2 0x28ed
00001155: JUMP
00001156: JUMPDEST
00001157: PUSH1 0x00
00001159: PUSH2 0x1161
0000115c: DUP4
0000115d: PUSH2 0x0efa
00001160: JUMP
00001161: JUMPDEST
00001162: SWAP1
00001163: POP
00001164: PUSH1 0x00
00001166: DUP2
00001167: PUSH8 0xffffffffffffffff
00001170: DUP2
00001171: GT
00001172: ISZERO
00001173: PUSH2 0x117e
00001176: JUMPI
00001177: PUSH2 0x117e
0000117a: PUSH2 0x2b20
0000117d: JUMP
0000117e: JUMPDEST
0000117f: PUSH1 0x40
00001181: MLOAD
00001182: SWAP1
00001183: DUP1
00001184: DUP3
00001185: MSTORE
00001186: DUP1
00001187: PUSH1 0x20
00001189: MUL
0000118a: PUSH1 0x20
0000118c: ADD
0000118d: DUP3
0000118e: ADD
0000118f: PUSH1 0x40
00001191: MSTORE
00001192: DUP1
00001193: ISZERO
00001194: PUSH2 0x11a7
00001197: JUMPI
00001198: DUP2
00001199: PUSH1 0x20
0000119b: ADD
0000119c: PUSH1 0x20
0000119e: DUP3
0000119f: MUL
000011a0: DUP1
000011a1: CALLDATASIZE
000011a2: DUP4
000011a3: CALLDATACOPY
000011a4: ADD
000011a5: SWAP1
000011a6: POP
000011a7: JUMPDEST
000011a8: POP
000011a9: SWAP1
000011aa: POP
000011ab: PUSH1 0x00
000011ad: JUMPDEST
000011ae: DUP3
000011af: DUP2
000011b0: LT
000011b1: ISZERO
000011b2: PUSH2 0x11ee
000011b5: JUMPI
000011b6: PUSH2 0x11bf
000011b9: DUP6
000011ba: DUP3
000011bb: PUSH2 0x0b5a
000011be: JUMP
000011bf: JUMPDEST
000011c0: DUP3
000011c1: DUP3
000011c2: DUP2
000011c3: MLOAD
000011c4: DUP2
000011c5: LT
000011c6: PUSH2 0x11d1
000011c9: JUMPI
000011ca: PUSH2 0x11d1
000011cd: PUSH2 0x2b0a
000011d0: JUMP
000011d1: JUMPDEST
000011d2: PUSH1 0x20
000011d4: SWAP1
000011d5: DUP2
000011d6: MUL
000011d7: SWAP2
000011d8: SWAP1
000011d9: SWAP2
000011da: ADD
000011db: ADD
000011dc: MSTORE
000011dd: DUP1
000011de: PUSH2 0x11e6
000011e1: DUP2
000011e2: PUSH2 0x2aaf
000011e5: JUMP
000011e6: JUMPDEST
000011e7: SWAP2
000011e8: POP
000011e9: POP
000011ea: PUSH2 0x11ad
000011ed: JUMP
000011ee: JUMPDEST
000011ef: POP
000011f0: SWAP4
000011f1: SWAP3
000011f2: POP
000011f3: POP
000011f4: POP
000011f5: JUMP
000011f6: JUMPDEST
000011f7: PUSH1 0x05
000011f9: SLOAD
000011fa: PUSH1 0x01
000011fc: PUSH1 0x01
000011fe: PUSH1 0xa0
00001200: SHL
00001201: SUB
00001202: AND
00001203: CALLER
00001204: EQ
00001205: PUSH2 0x1220
00001208: JUMPI
00001209: PUSH1 0x40
0000120b: MLOAD
0000120c: PUSH3 0x461bcd
00001210: PUSH1 0xe5
00001212: SHL
00001213: DUP2
00001214: MSTORE
00001215: PUSH1 0x04
00001217: ADD
00001218: PUSH2 0x0a14
0000121b: SWAP1
0000121c: PUSH2 0x28b8
0000121f: JUMP
00001220: JUMPDEST
00001221: DUP1
00001222: PUSH1 0x07
00001224: SLOAD
00001225: LT
00001226: ISZERO
00001227: PUSH2 0x1242
0000122a: JUMPI
0000122b: PUSH1 0x40
0000122d: MLOAD
0000122e: PUSH3 0x461bcd
00001232: PUSH1 0xe5
00001234: SHL
00001235: DUP2
00001236: MSTORE
00001237: PUSH1 0x04
00001239: ADD
0000123a: PUSH2 0x0a14
0000123d: SWAP1
0000123e: PUSH2 0x288f
00001241: JUMP
00001242: JUMPDEST
00001243: PUSH1 0x09
00001245: SSTORE
00001246: JUMP
00001247: JUMPDEST
00001248: PUSH1 0x02
0000124a: PUSH1 0x06
0000124c: SLOAD
0000124d: EQ
0000124e: ISZERO
0000124f: PUSH2 0x126a
00001252: JUMPI
00001253: PUSH1 0x40
00001255: MLOAD
00001256: PUSH3 0x461bcd
0000125a: PUSH1 0xe5
0000125c: SHL
0000125d: DUP2
0000125e: MSTORE
0000125f: PUSH1 0x04
00001261: ADD
00001262: PUSH2 0x0a14
00001265: SWAP1
00001266: PUSH2 0x29af
00001269: JUMP
0000126a: JUMPDEST
0000126b: PUSH1 0x02
0000126d: PUSH1 0x06
0000126f: SSTORE
00001270: PUSH1 0x40
00001272: MLOAD
00001273: PUSH12 0xffffffffffffffffffffffff
00001280: NOT
00001281: CALLER
00001282: PUSH1 0x60
00001284: SHL
00001285: AND
00001286: PUSH1 0x20
00001288: DUP3
00001289: ADD
0000128a: MSTORE
0000128b: PUSH1 0x00
0000128d: SWAP1
0000128e: PUSH1 0x34
00001290: ADD
00001291: PUSH1 0x40
00001293: MLOAD
00001294: PUSH1 0x20
00001296: DUP2
00001297: DUP4
00001298: SUB
00001299: SUB
0000129a: DUP2
0000129b: MSTORE
0000129c: SWAP1
0000129d: PUSH1 0x40
0000129f: MSTORE
000012a0: DUP1
000012a1: MLOAD
000012a2: SWAP1
000012a3: PUSH1 0x20
000012a5: ADD
000012a6: KECCAK256
000012a7: SWAP1
000012a8: POP
000012a9: PUSH1 0x00
000012ab: PUSH2 0x12b3
000012ae: PUSH1 0x02
000012b0: SLOAD
000012b1: SWAP1
000012b2: JUMP
000012b3: JUMPDEST
000012b4: PUSH1 0x11
000012b6: SLOAD
000012b7: SWAP1
000012b8: SWAP2
000012b9: POP
000012ba: PUSH1 0xff
000012bc: AND
000012bd: PUSH2 0x1301
000012c0: JUMPI
000012c1: PUSH1 0x40
000012c3: MLOAD
000012c4: PUSH3 0x461bcd
000012c8: PUSH1 0xe5
000012ca: SHL
000012cb: DUP2
000012cc: MSTORE
000012cd: PUSH1 0x20
000012cf: PUSH1 0x04
000012d1: DUP3
000012d2: ADD
000012d3: MSTORE
000012d4: PUSH1 0x16
000012d6: PUSH1 0x24
000012d8: DUP3
000012d9: ADD
000012da: MSTORE
000012db: PUSH22 0x5072652d73616c65206973206e6f7420656e61626c65
000012f2: PUSH1 0x50
000012f4: SHL
000012f5: PUSH1 0x44
000012f7: DUP3
000012f8: ADD
000012f9: MSTORE
000012fa: PUSH1 0x64
000012fc: ADD
000012fd: PUSH2 0x0a14
00001300: JUMP
00001301: JUMPDEST
00001302: PUSH1 0x07
00001304: SLOAD
00001305: DUP6
00001306: PUSH1 0x0f
00001308: SLOAD
00001309: PUSH2 0x1312
0000130c: SWAP2
0000130d: SWAP1
0000130e: PUSH2 0x29e6
00001311: JUMP
00001312: JUMPDEST
00001313: GT
00001314: ISZERO
00001315: PUSH2 0x1354
00001318: JUMPI
00001319: PUSH1 0x40
0000131b: MLOAD
0000131c: PUSH3 0x461bcd
00001320: PUSH1 0xe5
00001322: SHL
00001323: DUP2
00001324: MSTORE
00001325: PUSH1 0x20
00001327: PUSH1 0x04
00001329: DUP3
0000132a: ADD
0000132b: MSTORE
0000132c: PUSH1 0x11
0000132e: PUSH1 0x24
00001330: DUP3
00001331: ADD
00001332: MSTORE
00001333: PUSH17 0x115e18d959591cc81b585e081b1a5b5a5d
00001345: PUSH1 0x7a
00001347: SHL
00001348: PUSH1 0x44
0000134a: DUP3
0000134b: ADD
0000134c: MSTORE
0000134d: PUSH1 0x64
0000134f: ADD
00001350: PUSH2 0x0a14
00001353: JUMP
00001354: JUMPDEST
00001355: PUSH2 0x1395
00001358: DUP5
00001359: DUP5
0000135a: DUP1
0000135b: DUP1
0000135c: PUSH1 0x20
0000135e: MUL
0000135f: PUSH1 0x20
00001361: ADD
00001362: PUSH1 0x40
00001364: MLOAD
00001365: SWAP1
00001366: DUP2
00001367: ADD
00001368: PUSH1 0x40
0000136a: MSTORE
0000136b: DUP1
0000136c: SWAP4
0000136d: SWAP3
0000136e: SWAP2
0000136f: SWAP1
00001370: DUP2
00001371: DUP2
00001372: MSTORE
00001373: PUSH1 0x20
00001375: ADD
00001376: DUP4
00001377: DUP4
00001378: PUSH1 0x20
0000137a: MUL
0000137b: DUP1
0000137c: DUP3
0000137d: DUP5
0000137e: CALLDATACOPY
0000137f: PUSH1 0x00
00001381: SWAP3
00001382: ADD
00001383: SWAP2
00001384: SWAP1
00001385: SWAP2
00001386: MSTORE
00001387: POP
00001388: POP
00001389: PUSH1 0x13
0000138b: SLOAD
0000138c: SWAP2
0000138d: POP
0000138e: DUP6
0000138f: SWAP1
00001390: POP
00001391: PUSH2 0x1caf
00001394: JUMP
00001395: JUMPDEST
00001396: PUSH2 0x13eb
00001399: JUMPI
0000139a: PUSH1 0x40
0000139c: MLOAD
0000139d: PUSH3 0x461bcd
000013a1: PUSH1 0xe5
000013a3: SHL
000013a4: DUP2
000013a5: MSTORE
000013a6: PUSH1 0x20
000013a8: PUSH1 0x04
000013aa: DUP3
000013ab: ADD
000013ac: MSTORE
000013ad: PUSH1 0x21
000013af: PUSH1 0x24
000013b1: DUP3
000013b2: ADD
000013b3: MSTORE
000013b4: PUSH32 0x4d65726b6c654469737472696275746f723a20496e76616c69642070726f6f66
000013d5: PUSH1 0x44
000013d7: DUP3
000013d8: ADD
000013d9: MSTORE
000013da: PUSH1 0x17
000013dc: PUSH1 0xf9
000013de: SHL
000013df: PUSH1 0x64
000013e1: DUP3
000013e2: ADD
000013e3: MSTORE
000013e4: PUSH1 0x84
000013e6: ADD
000013e7: PUSH2 0x0a14
000013ea: JUMP
000013eb: JUMPDEST
000013ec: PUSH1 0x09
000013ee: SLOAD
000013ef: CALLER
000013f0: PUSH1 0x00
000013f2: SWAP1
000013f3: DUP2
000013f4: MSTORE
000013f5: PUSH1 0x14
000013f7: PUSH1 0x20
000013f9: MSTORE
000013fa: PUSH1 0x40
000013fc: SWAP1
000013fd: KECCAK256
000013fe: SLOAD
000013ff: PUSH2 0x1409
00001402: SWAP1
00001403: DUP8
00001404: SWAP1
00001405: PUSH2 0x29e6
00001408: JUMP
00001409: JUMPDEST
0000140a: GT
0000140b: ISZERO
0000140c: PUSH2 0x1427
0000140f: JUMPI
00001410: PUSH1 0x40
00001412: MLOAD
00001413: PUSH3 0x461bcd
00001417: PUSH1 0xe5
00001419: SHL
0000141a: DUP2
0000141b: MSTORE
0000141c: PUSH1 0x04
0000141e: ADD
0000141f: PUSH2 0x0a14
00001422: SWAP1
00001423: PUSH2 0x296e
00001426: JUMP
00001427: JUMPDEST
00001428: PUSH1 0x0b
0000142a: SLOAD
0000142b: DUP6
0000142c: GT
0000142d: ISZERO
0000142e: PUSH2 0x1479
00001431: JUMPI
00001432: PUSH1 0x40
00001434: MLOAD
00001435: PUSH3 0x461bcd
00001439: PUSH1 0xe5
0000143b: SHL
0000143c: DUP2
0000143d: MSTORE
0000143e: PUSH1 0x20
00001440: PUSH1 0x04
00001442: DUP3
00001443: ADD
00001444: MSTORE
00001445: PUSH1 0x1e
00001447: PUSH1 0x24
00001449: DUP3
0000144a: ADD
0000144b: MSTORE
0000144c: PUSH32 0x45786365656473206d6178206d696e74206c696d69742070657220746e780000
0000146d: PUSH1 0x44
0000146f: DUP3
00001470: ADD
00001471: MSTORE
00001472: PUSH1 0x64
00001474: ADD
00001475: PUSH2 0x0a14
00001478: JUMP
00001479: JUMPDEST
0000147a: DUP5
0000147b: PUSH1 0x0d
0000147d: SLOAD
0000147e: PUSH2 0x1487
00001481: SWAP2
00001482: SWAP1
00001483: PUSH2 0x2a12
00001486: JUMP
00001487: JUMPDEST
00001488: CALLVALUE
00001489: LT
0000148a: ISZERO
0000148b: PUSH2 0x14ca
0000148e: JUMPI
0000148f: PUSH1 0x40
00001491: MLOAD
00001492: PUSH3 0x461bcd
00001496: PUSH1 0xe5
00001498: SHL
00001499: DUP2
0000149a: MSTORE
0000149b: PUSH1 0x20
0000149d: PUSH1 0x04
0000149f: DUP3
000014a0: ADD
000014a1: MSTORE
000014a2: PUSH1 0x11
000014a4: PUSH1 0x24
000014a6: DUP3
000014a7: ADD
000014a8: MSTORE
000014a9: PUSH17 0x56616c75652062656c6f77207072696365
000014bb: PUSH1 0x78
000014bd: SHL
000014be: PUSH1 0x44
000014c0: DUP3
000014c1: ADD
000014c2: MSTORE
000014c3: PUSH1 0x64
000014c5: ADD
000014c6: PUSH2 0x0a14
000014c9: JUMP
000014ca: JUMPDEST
000014cb: PUSH1 0x00
000014cd: JUMPDEST
000014ce: DUP6
000014cf: DUP2
000014d0: LT
000014d1: ISZERO
000014d2: PUSH2 0x150b
000014d5: JUMPI
000014d6: PUSH2 0x14e3
000014d9: CALLER
000014da: PUSH2 0x10c5
000014dd: DUP4
000014de: DUP6
000014df: PUSH2 0x29e6
000014e2: JUMP
000014e3: JUMPDEST
000014e4: PUSH1 0x0f
000014e6: DUP1
000014e7: SLOAD
000014e8: SWAP1
000014e9: PUSH1 0x00
000014eb: PUSH2 0x14f3
000014ee: DUP4
000014ef: PUSH2 0x2aaf
000014f2: JUMP
000014f3: JUMPDEST
000014f4: SWAP2
000014f5: SWAP1
000014f6: POP
000014f7: SSTORE
000014f8: POP
000014f9: DUP1
000014fa: DUP1
000014fb: PUSH2 0x1503
000014fe: SWAP1
000014ff: PUSH2 0x2aaf
00001502: JUMP
00001503: JUMPDEST
00001504: SWAP2
00001505: POP
00001506: POP
00001507: PUSH2 0x14cd
0000150a: JUMP
0000150b: JUMPDEST
0000150c: POP
0000150d: CALLER
0000150e: PUSH1 0x00
00001510: SWAP1
00001511: DUP2
00001512: MSTORE
00001513: PUSH1 0x14
00001515: PUSH1 0x20
00001517: MSTORE
00001518: PUSH1 0x40
0000151a: SWAP1
0000151b: KECCAK256
0000151c: SLOAD
0000151d: PUSH2 0x1527
00001520: SWAP1
00001521: DUP7
00001522: SWAP1
00001523: PUSH2 0x29e6
00001526: JUMP
00001527: JUMPDEST
00001528: CALLER
00001529: PUSH1 0x00
0000152b: SWAP1
0000152c: DUP2
0000152d: MSTORE
0000152e: PUSH1 0x14
00001530: PUSH1 0x20
00001532: MSTORE
00001533: PUSH1 0x40
00001535: SWAP1
00001536: KECCAK256
00001537: SSTORE
00001538: POP
00001539: POP
0000153a: PUSH1 0x01
0000153c: PUSH1 0x06
0000153e: SSTORE
0000153f: POP
00001540: POP
00001541: POP
00001542: JUMP
00001543: JUMPDEST
00001544: PUSH1 0x60
00001546: PUSH1 0x01
00001548: DUP1
00001549: SLOAD
0000154a: PUSH2 0x0929
0000154d: SWAP1
0000154e: PUSH2 0x2a74
00001551: JUMP
00001552: JUMPDEST
00001553: PUSH1 0x01
00001555: PUSH1 0x01
00001557: PUSH1 0xa0
00001559: SHL
0000155a: SUB
0000155b: DUP3
0000155c: AND
0000155d: CALLER
0000155e: EQ
0000155f: ISZERO
00001560: PUSH2 0x15ab
00001563: JUMPI
00001564: PUSH1 0x40
00001566: MLOAD
00001567: PUSH3 0x461bcd
0000156b: PUSH1 0xe5
0000156d: SHL
0000156e: DUP2
0000156f: MSTORE
00001570: PUSH1 0x20
00001572: PUSH1 0x04
00001574: DUP3
00001575: ADD
00001576: MSTORE
00001577: PUSH1 0x19
00001579: PUSH1 0x24
0000157b: DUP3
0000157c: ADD
0000157d: MSTORE
0000157e: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000
0000159f: PUSH1 0x44
000015a1: DUP3
000015a2: ADD
000015a3: MSTORE
000015a4: PUSH1 0x64
000015a6: ADD
000015a7: PUSH2 0x0a14
000015aa: JUMP
000015ab: JUMPDEST
000015ac: CALLER
000015ad: PUSH1 0x00
000015af: DUP2
000015b0: DUP2
000015b1: MSTORE
000015b2: PUSH1 0x04
000015b4: PUSH1 0x20
000015b6: SWAP1
000015b7: DUP2
000015b8: MSTORE
000015b9: PUSH1 0x40
000015bb: DUP1
000015bc: DUP4
000015bd: KECCAK256
000015be: PUSH1 0x01
000015c0: PUSH1 0x01
000015c2: PUSH1 0xa0
000015c4: SHL
000015c5: SUB
000015c6: DUP8
000015c7: AND
000015c8: DUP1
000015c9: DUP6
000015ca: MSTORE
000015cb: SWAP1
000015cc: DUP4
000015cd: MSTORE
000015ce: SWAP3
000015cf: DUP2
000015d0: SWAP1
000015d1: KECCAK256
000015d2: DUP1
000015d3: SLOAD
000015d4: PUSH1 0xff
000015d6: NOT
000015d7: AND
000015d8: DUP7
000015d9: ISZERO
000015da: ISZERO
000015db: SWAP1
000015dc: DUP2
000015dd: OR
000015de: SWAP1
000015df: SWAP2
000015e0: SSTORE
000015e1: SWAP1
000015e2: MLOAD
000015e3: SWAP1
000015e4: DUP2
000015e5: MSTORE
000015e6: SWAP2
000015e7: SWAP3
000015e8: SWAP2
000015e9: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
0000160a: SWAP2
0000160b: ADD
0000160c: PUSH1 0x40
0000160e: MLOAD
0000160f: DUP1
00001610: SWAP2
00001611: SUB
00001612: SWAP1
00001613: LOG3
00001614: POP
00001615: POP
00001616: JUMP
00001617: JUMPDEST
00001618: PUSH1 0x02
0000161a: PUSH1 0x06
0000161c: SLOAD
0000161d: EQ
0000161e: ISZERO
0000161f: PUSH2 0x163a
00001622: JUMPI
00001623: PUSH1 0x40
00001625: MLOAD
00001626: PUSH3 0x461bcd
0000162a: PUSH1 0xe5
0000162c: SHL
0000162d: DUP2
0000162e: MSTORE
0000162f: PUSH1 0x04
00001631: ADD
00001632: PUSH2 0x0a14
00001635: SWAP1
00001636: PUSH2 0x29af
00001639: JUMP
0000163a: JUMPDEST
0000163b: PUSH1 0x02
0000163d: PUSH1 0x06
0000163f: SSTORE
00001640: PUSH1 0x00
00001642: PUSH2 0x164a
00001645: PUSH1 0x02
00001647: SLOAD
00001648: SWAP1
00001649: JUMP
0000164a: JUMPDEST
0000164b: PUSH1 0x11
0000164d: SLOAD
0000164e: SWAP1
0000164f: SWAP2
00001650: POP
00001651: PUSH2 0x0100
00001654: SWAP1
00001655: DIV
00001656: PUSH1 0xff
00001658: AND
00001659: PUSH2 0x1699
0000165c: JUMPI
0000165d: PUSH1 0x40
0000165f: MLOAD
00001660: PUSH3 0x461bcd
00001664: PUSH1 0xe5
00001666: SHL
00001667: DUP2
00001668: MSTORE
00001669: PUSH1 0x20
0000166b: PUSH1 0x04
0000166d: DUP3
0000166e: ADD
0000166f: MSTORE
00001670: PUSH1 0x12
00001672: PUSH1 0x24
00001674: DUP3
00001675: ADD
00001676: MSTORE
00001677: PUSH18 0x53616c65206973206e6f7420656e61626c65
0000168a: PUSH1 0x70
0000168c: SHL
0000168d: PUSH1 0x44
0000168f: DUP3
00001690: ADD
00001691: MSTORE
00001692: PUSH1 0x64
00001694: ADD
00001695: PUSH2 0x0a14
00001698: JUMP
00001699: JUMPDEST
0000169a: PUSH1 0x07
0000169c: SLOAD
0000169d: DUP3
0000169e: PUSH1 0x0f
000016a0: SLOAD
000016a1: PUSH2 0x16aa
000016a4: SWAP2
000016a5: SWAP1
000016a6: PUSH2 0x29e6
000016a9: JUMP
000016aa: JUMPDEST
000016ab: GT
000016ac: ISZERO
000016ad: PUSH2 0x16ec
000016b0: JUMPI
000016b1: PUSH1 0x40
000016b3: MLOAD
000016b4: PUSH3 0x461bcd
000016b8: PUSH1 0xe5
000016ba: SHL
000016bb: DUP2
000016bc: MSTORE
000016bd: PUSH1 0x20
000016bf: PUSH1 0x04
000016c1: DUP3
000016c2: ADD
000016c3: MSTORE
000016c4: PUSH1 0x11
000016c6: PUSH1 0x24
000016c8: DUP3
000016c9: ADD
000016ca: MSTORE
000016cb: PUSH17 0x115e18d959591cc81b585e081b1a5b5a5d
000016dd: PUSH1 0x7a
000016df: SHL
000016e0: PUSH1 0x44
000016e2: DUP3
000016e3: ADD
000016e4: MSTORE
000016e5: PUSH1 0x64
000016e7: ADD
000016e8: PUSH2 0x0a14
000016eb: JUMP
000016ec: JUMPDEST
000016ed: PUSH1 0x0a
000016ef: SLOAD
000016f0: CALLER
000016f1: PUSH1 0x00
000016f3: SWAP1
000016f4: DUP2
000016f5: MSTORE
000016f6: PUSH1 0x14
000016f8: PUSH1 0x20
000016fa: MSTORE
000016fb: PUSH1 0x40
000016fd: SWAP1
000016fe: KECCAK256
000016ff: PUSH1 0x01
00001701: ADD
00001702: SLOAD
00001703: PUSH2 0x170d
00001706: SWAP1
00001707: DUP5
00001708: SWAP1
00001709: PUSH2 0x29e6
0000170c: JUMP
0000170d: JUMPDEST
0000170e: GT
0000170f: ISZERO
00001710: PUSH2 0x172b
00001713: JUMPI
00001714: PUSH1 0x40
00001716: MLOAD
00001717: PUSH3 0x461bcd
0000171b: PUSH1 0xe5
0000171d: SHL
0000171e: DUP2
0000171f: MSTORE
00001720: PUSH1 0x04
00001722: ADD
00001723: PUSH2 0x0a14
00001726: SWAP1
00001727: PUSH2 0x296e
0000172a: JUMP
0000172b: JUMPDEST
0000172c: PUSH1 0x0c
0000172e: SLOAD
0000172f: DUP3
00001730: GT
00001731: ISZERO
00001732: PUSH2 0x177d
00001735: JUMPI
00001736: PUSH1 0x40
00001738: MLOAD
00001739: PUSH3 0x461bcd
0000173d: PUSH1 0xe5
0000173f: SHL
00001740: DUP2
00001741: MSTORE
00001742: PUSH1 0x20
00001744: PUSH1 0x04
00001746: DUP3
00001747: ADD
00001748: MSTORE
00001749: PUSH1 0x1e
0000174b: PUSH1 0x24
0000174d: DUP3
0000174e: ADD
0000174f: MSTORE
00001750: PUSH32 0x45786365656473206d6178206d696e74206c696d69742070657220746e780000
00001771: PUSH1 0x44
00001773: DUP3
00001774: ADD
00001775: MSTORE
00001776: PUSH1 0x64
00001778: ADD
00001779: PUSH2 0x0a14
0000177c: JUMP
0000177d: JUMPDEST
0000177e: DUP2
0000177f: PUSH1 0x0e
00001781: SLOAD
00001782: PUSH2 0x178b
00001785: SWAP2
00001786: SWAP1
00001787: PUSH2 0x2a12
0000178a: JUMP
0000178b: JUMPDEST
0000178c: CALLVALUE
0000178d: LT
0000178e: ISZERO
0000178f: PUSH2 0x17ce
00001792: JUMPI
00001793: PUSH1 0x40
00001795: MLOAD
00001796: PUSH3 0x461bcd
0000179a: PUSH1 0xe5
0000179c: SHL
0000179d: DUP2
0000179e: MSTORE
0000179f: PUSH1 0x20
000017a1: PUSH1 0x04
000017a3: DUP3
000017a4: ADD
000017a5: MSTORE
000017a6: PUSH1 0x11
000017a8: PUSH1 0x24
000017aa: DUP3
000017ab: ADD
000017ac: MSTORE
000017ad: PUSH17 0x56616c75652062656c6f77207072696365
000017bf: PUSH1 0x78
000017c1: SHL
000017c2: PUSH1 0x44
000017c4: DUP3
000017c5: ADD
000017c6: MSTORE
000017c7: PUSH1 0x64
000017c9: ADD
000017ca: PUSH2 0x0a14
000017cd: JUMP
000017ce: JUMPDEST
000017cf: PUSH1 0x00
000017d1: JUMPDEST
000017d2: DUP3
000017d3: DUP2
000017d4: LT
000017d5: ISZERO
000017d6: PUSH2 0x180f
000017d9: JUMPI
000017da: PUSH2 0x17e7
000017dd: CALLER
000017de: PUSH2 0x10c5
000017e1: DUP4
000017e2: DUP6
000017e3: PUSH2 0x29e6
000017e6: JUMP
000017e7: JUMPDEST
000017e8: PUSH1 0x0f
000017ea: DUP1
000017eb: SLOAD
000017ec: SWAP1
000017ed: PUSH1 0x00
000017ef: PUSH2 0x17f7
000017f2: DUP4
000017f3: PUSH2 0x2aaf
000017f6: JUMP
000017f7: JUMPDEST
000017f8: SWAP2
000017f9: SWAP1
000017fa: POP
000017fb: SSTORE
000017fc: POP
000017fd: DUP1
000017fe: DUP1
000017ff: PUSH2 0x1807
00001802: SWAP1
00001803: PUSH2 0x2aaf
00001806: JUMP
00001807: JUMPDEST
00001808: SWAP2
00001809: POP
0000180a: POP
0000180b: PUSH2 0x17d1
0000180e: JUMP
0000180f: JUMPDEST
00001810: POP
00001811: CALLER
00001812: PUSH1 0x00
00001814: SWAP1
00001815: DUP2
00001816: MSTORE
00001817: PUSH1 0x14
00001819: PUSH1 0x20
0000181b: MSTORE
0000181c: PUSH1 0x40
0000181e: SWAP1
0000181f: KECCAK256
00001820: PUSH1 0x01
00001822: ADD
00001823: SLOAD
00001824: PUSH2 0x182e
00001827: SWAP1
00001828: DUP4
00001829: SWAP1
0000182a: PUSH2 0x29e6
0000182d: JUMP
0000182e: JUMPDEST
0000182f: CALLER
00001830: PUSH1 0x00
00001832: SWAP1
00001833: DUP2
00001834: MSTORE
00001835: PUSH1 0x14
00001837: PUSH1 0x20
00001839: MSTORE
0000183a: PUSH1 0x40
0000183c: SWAP1
0000183d: KECCAK256
0000183e: PUSH1 0x01
00001840: SWAP1
00001841: DUP2
00001842: ADD
00001843: SWAP2
00001844: SWAP1
00001845: SWAP2
00001846: SSTORE
00001847: PUSH1 0x06
00001849: SSTORE
0000184a: POP
0000184b: POP
0000184c: JUMP
0000184d: JUMPDEST
0000184e: PUSH1 0x05
00001850: SLOAD
00001851: PUSH1 0x01
00001853: PUSH1 0x01
00001855: PUSH1 0xa0
00001857: SHL
00001858: SUB
00001859: AND
0000185a: CALLER
0000185b: EQ
0000185c: PUSH2 0x1877
0000185f: JUMPI
00001860: PUSH1 0x40
00001862: MLOAD
00001863: PUSH3 0x461bcd
00001867: PUSH1 0xe5
00001869: SHL
0000186a: DUP2
0000186b: MSTORE
0000186c: PUSH1 0x04
0000186e: ADD
0000186f: PUSH2 0x0a14
00001872: SWAP1
00001873: PUSH2 0x28b8
00001876: JUMP
00001877: JUMPDEST
00001878: PUSH1 0x10
0000187a: SLOAD
0000187b: DUP2
0000187c: LT
0000187d: ISZERO
0000187e: PUSH2 0x1899
00001881: JUMPI
00001882: PUSH1 0x40
00001884: MLOAD
00001885: PUSH3 0x461bcd
00001889: PUSH1 0xe5
0000188b: SHL
0000188c: DUP2
0000188d: MSTORE
0000188e: PUSH1 0x04
00001890: ADD
00001891: PUSH2 0x0a14
00001894: SWAP1
00001895: PUSH2 0x288f
00001898: JUMP
00001899: JUMPDEST
0000189a: PUSH1 0x08
0000189c: SSTORE
0000189d: JUMP
0000189e: JUMPDEST
0000189f: PUSH2 0x18aa
000018a2: DUP5
000018a3: DUP5
000018a4: DUP5
000018a5: DUP5
000018a6: PUSH2 0x1d5e
000018a9: JUMP
000018aa: JUMPDEST
000018ab: POP
000018ac: POP
000018ad: POP
000018ae: POP
000018af: JUMP
000018b0: JUMPDEST
000018b1: PUSH1 0x60
000018b3: PUSH2 0x18bb
000018b6: DUP3
000018b7: PUSH2 0x1b5a
000018ba: JUMP
000018bb: JUMPDEST
000018bc: PUSH2 0x1911
000018bf: JUMPI
000018c0: PUSH1 0x40
000018c2: MLOAD
000018c3: PUSH3 0x461bcd
000018c7: PUSH1 0xe5
000018c9: SHL
000018ca: DUP2
000018cb: MSTORE
000018cc: PUSH1 0x20
000018ce: PUSH1 0x04
000018d0: DUP3
000018d1: ADD
000018d2: MSTORE
000018d3: PUSH1 0x21
000018d5: PUSH1 0x24
000018d7: DUP3
000018d8: ADD
000018d9: MSTORE
000018da: PUSH32 0x4552433732314d657461646174613a204e6f6e6578697374656e7420746f6b65
000018fb: PUSH1 0x44
000018fd: DUP3
000018fe: ADD
000018ff: MSTORE
00001900: PUSH1 0x37
00001902: PUSH1 0xf9
00001904: SHL
00001905: PUSH1 0x64
00001907: DUP3
00001908: ADD
00001909: MSTORE
0000190a: PUSH1 0x84
0000190c: ADD
0000190d: PUSH2 0x0a14
00001910: JUMP
00001911: JUMPDEST
00001912: PUSH1 0x00
00001914: PUSH2 0x191b
00001917: PUSH2 0x1d90
0000191a: JUMP
0000191b: JUMPDEST
0000191c: SWAP1
0000191d: POP
0000191e: PUSH1 0x00
00001920: DUP2
00001921: MLOAD
00001922: GT
00001923: PUSH2 0x193b
00001926: JUMPI
00001927: PUSH1 0x40
00001929: MLOAD
0000192a: DUP1
0000192b: PUSH1 0x20
0000192d: ADD
0000192e: PUSH1 0x40
00001930: MSTORE
00001931: DUP1
00001932: PUSH1 0x00
00001934: DUP2
00001935: MSTORE
00001936: POP
00001937: PUSH2 0x1966
0000193a: JUMP
0000193b: JUMPDEST
0000193c: DUP1
0000193d: PUSH2 0x1945
00001940: DUP5
00001941: PUSH2 0x1d9f
00001944: JUMP
00001945: JUMPDEST
00001946: PUSH1 0x40
00001948: MLOAD
00001949: PUSH1 0x20
0000194b: ADD
0000194c: PUSH2 0x1956
0000194f: SWAP3
00001950: SWAP2
00001951: SWAP1
00001952: PUSH2 0x276a
00001955: JUMP
00001956: JUMPDEST
00001957: PUSH1 0x40
00001959: MLOAD
0000195a: PUSH1 0x20
0000195c: DUP2
0000195d: DUP4
0000195e: SUB
0000195f: SUB
00001960: DUP2
00001961: MSTORE
00001962: SWAP1
00001963: PUSH1 0x40
00001965: MSTORE
00001966: JUMPDEST
00001967: SWAP4
00001968: SWAP3
00001969: POP
0000196a: POP
0000196b: POP
0000196c: JUMP
0000196d: JUMPDEST
0000196e: PUSH1 0x05
00001970: SLOAD
00001971: PUSH1 0x01
00001973: PUSH1 0x01
00001975: PUSH1 0xa0
00001977: SHL
00001978: SUB
00001979: AND
0000197a: CALLER
0000197b: EQ
0000197c: PUSH2 0x1997
0000197f: JUMPI
00001980: PUSH1 0x40
00001982: MLOAD
00001983: PUSH3 0x461bcd
00001987: PUSH1 0xe5
00001989: SHL
0000198a: DUP2
0000198b: MSTORE
0000198c: PUSH1 0x04
0000198e: ADD
0000198f: PUSH2 0x0a14
00001992: SWAP1
00001993: PUSH2 0x28b8
00001996: JUMP
00001997: JUMPDEST
00001998: PUSH1 0x11
0000199a: SLOAD
0000199b: PUSH1 0xff
0000199d: PUSH2 0x0100
000019a0: SWAP1
000019a1: SWAP2
000019a2: DIV
000019a3: AND
000019a4: ISZERO
000019a5: ISZERO
000019a6: DUP2
000019a7: ISZERO
000019a8: ISZERO
000019a9: EQ
000019aa: ISZERO
000019ab: PUSH2 0x19b3
000019ae: JUMPI
000019af: PUSH1 0x00
000019b1: DUP1
000019b2: REVERT
000019b3: JUMPDEST
000019b4: PUSH1 0x11
000019b6: DUP1
000019b7: SLOAD
000019b8: SWAP2
000019b9: ISZERO
000019ba: ISZERO
000019bb: PUSH2 0x0100
000019be: MUL
000019bf: PUSH2 0xff00
000019c2: NOT
000019c3: SWAP1
000019c4: SWAP3
000019c5: AND
000019c6: SWAP2
000019c7: SWAP1
000019c8: SWAP2
000019c9: OR
000019ca: SWAP1
000019cb: SSTORE
000019cc: JUMP
000019cd: JUMPDEST
000019ce: PUSH1 0x05
000019d0: SLOAD
000019d1: PUSH1 0x01
000019d3: PUSH1 0x01
000019d5: PUSH1 0xa0
000019d7: SHL
000019d8: SUB
000019d9: AND
000019da: CALLER
000019db: EQ
000019dc: PUSH2 0x19f7
000019df: JUMPI
000019e0: PUSH1 0x40
000019e2: MLOAD
000019e3: PUSH3 0x461bcd
000019e7: PUSH1 0xe5
000019e9: SHL
000019ea: DUP2
000019eb: MSTORE
000019ec: PUSH1 0x04
000019ee: ADD
000019ef: PUSH2 0x0a14
000019f2: SWAP1
000019f3: PUSH2 0x28b8
000019f6: JUMP
000019f7: JUMPDEST
000019f8: DUP1
000019f9: PUSH1 0x07
000019fb: SLOAD
000019fc: LT
000019fd: ISZERO
000019fe: PUSH2 0x1a19
00001a01: JUMPI
00001a02: PUSH1 0x40
00001a04: MLOAD
00001a05: PUSH3 0x461bcd
00001a09: PUSH1 0xe5
00001a0b: SHL
00001a0c: DUP2
00001a0d: MSTORE
00001a0e: PUSH1 0x04
00001a10: ADD
00001a11: PUSH2 0x0a14
00001a14: SWAP1
00001a15: PUSH2 0x288f
00001a18: JUMP
00001a19: JUMPDEST
00001a1a: PUSH1 0x0a
00001a1c: SSTORE
00001a1d: JUMP
00001a1e: JUMPDEST
00001a1f: PUSH1 0x05
00001a21: SLOAD
00001a22: PUSH1 0x01
00001a24: PUSH1 0x01
00001a26: PUSH1 0xa0
00001a28: SHL
00001a29: SUB
00001a2a: AND
00001a2b: CALLER
00001a2c: EQ
00001a2d: PUSH2 0x1a48
00001a30: JUMPI
00001a31: PUSH1 0x40
00001a33: MLOAD
00001a34: PUSH3 0x461bcd
00001a38: PUSH1 0xe5
00001a3a: SHL
00001a3b: DUP2
00001a3c: MSTORE
00001a3d: PUSH1 0x04
00001a3f: ADD
00001a40: PUSH2 0x0a14
00001a43: SWAP1
00001a44: PUSH2 0x28b8
00001a47: JUMP
00001a48: JUMPDEST
00001a49: PUSH1 0x01
00001a4b: PUSH1 0x01
00001a4d: PUSH1 0xa0
00001a4f: SHL
00001a50: SUB
00001a51: DUP2
00001a52: AND
00001a53: PUSH2 0x1aad
00001a56: JUMPI
00001a57: PUSH1 0x40
00001a59: MLOAD
00001a5a: PUSH3 0x461bcd
00001a5e: PUSH1 0xe5
00001a60: SHL
00001a61: DUP2
00001a62: MSTORE
00001a63: PUSH1 0x20
00001a65: PUSH1 0x04
00001a67: DUP3
00001a68: ADD
00001a69: MSTORE
00001a6a: PUSH1 0x26
00001a6c: PUSH1 0x24
00001a6e: DUP3
00001a6f: ADD
00001a70: MSTORE
00001a71: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001a92: PUSH1 0x44
00001a94: DUP3
00001a95: ADD
00001a96: MSTORE
00001a97: PUSH6 0x646472657373
00001a9e: PUSH1 0xd0
00001aa0: SHL
00001aa1: PUSH1 0x64
00001aa3: DUP3
00001aa4: ADD
00001aa5: MSTORE
00001aa6: PUSH1 0x84
00001aa8: ADD
00001aa9: PUSH2 0x0a14
00001aac: JUMP
00001aad: JUMPDEST
00001aae: PUSH2 0x1ab6
00001ab1: DUP2
00001ab2: PUSH2 0x1c43
00001ab5: JUMP
00001ab6: JUMPDEST
00001ab7: POP
00001ab8: JUMP
00001ab9: JUMPDEST
00001aba: PUSH1 0x05
00001abc: SLOAD
00001abd: PUSH1 0x01
00001abf: PUSH1 0x01
00001ac1: PUSH1 0xa0
00001ac3: SHL
00001ac4: SUB
00001ac5: AND
00001ac6: CALLER
00001ac7: EQ
00001ac8: PUSH2 0x1ae3
00001acb: JUMPI
00001acc: PUSH1 0x40
00001ace: MLOAD
00001acf: PUSH3 0x461bcd
00001ad3: PUSH1 0xe5
00001ad5: SHL
00001ad6: DUP2
00001ad7: MSTORE
00001ad8: PUSH1 0x04
00001ada: ADD
00001adb: PUSH2 0x0a14
00001ade: SWAP1
00001adf: PUSH2 0x28b8
00001ae2: JUMP
00001ae3: JUMPDEST
00001ae4: PUSH1 0x0f
00001ae6: SLOAD
00001ae7: DUP2
00001ae8: LT
00001ae9: ISZERO
00001aea: PUSH2 0x1b05
00001aed: JUMPI
00001aee: PUSH1 0x40
00001af0: MLOAD
00001af1: PUSH3 0x461bcd
00001af5: PUSH1 0xe5
00001af7: SHL
00001af8: DUP2
00001af9: MSTORE
00001afa: PUSH1 0x04
00001afc: ADD
00001afd: PUSH2 0x0a14
00001b00: SWAP1
00001b01: PUSH2 0x288f
00001b04: JUMP
00001b05: JUMPDEST
00001b06: PUSH1 0x07
00001b08: SSTORE
00001b09: JUMP
00001b0a: JUMPDEST
00001b0b: PUSH1 0x00
00001b0d: PUSH1 0x01
00001b0f: PUSH1 0x01
00001b11: PUSH1 0xe0
00001b13: SHL
00001b14: SUB
00001b15: NOT
00001b16: DUP3
00001b17: AND
00001b18: PUSH4 0x80ac58cd
00001b1d: PUSH1 0xe0
00001b1f: SHL
00001b20: EQ
00001b21: DUP1
00001b22: PUSH2 0x1b3b
00001b25: JUMPI
00001b26: POP
00001b27: PUSH1 0x01
00001b29: PUSH1 0x01
00001b2b: PUSH1 0xe0
00001b2d: SHL
00001b2e: SUB
00001b2f: NOT
00001b30: DUP3
00001b31: AND
00001b32: PUSH4 0x5b5e139f
00001b37: PUSH1 0xe0
00001b39: SHL
00001b3a: EQ
00001b3b: JUMPDEST
00001b3c: DUP1
00001b3d: PUSH2 0x0914
00001b40: JUMPI
00001b41: POP
00001b42: PUSH4 0x01ffc9a7
00001b47: PUSH1 0xe0
00001b49: SHL
00001b4a: PUSH1 0x01
00001b4c: PUSH1 0x01
00001b4e: PUSH1 0xe0
00001b50: SHL
00001b51: SUB
00001b52: NOT
00001b53: DUP4
00001b54: AND
00001b55: EQ
00001b56: PUSH2 0x0914
00001b59: JUMP
00001b5a: JUMPDEST
00001b5b: PUSH1 0x02
00001b5d: SLOAD
00001b5e: PUSH1 0x00
00001b60: SWAP1
00001b61: DUP3
00001b62: LT
00001b63: DUP1
00001b64: ISZERO
00001b65: PUSH2 0x0914
00001b68: JUMPI
00001b69: POP
00001b6a: PUSH1 0x00
00001b6c: PUSH1 0x01
00001b6e: PUSH1 0x01
00001b70: PUSH1 0xa0
00001b72: SHL
00001b73: SUB
00001b74: AND
00001b75: PUSH1 0x02
00001b77: DUP4
00001b78: DUP2
00001b79: SLOAD
00001b7a: DUP2
00001b7b: LT
00001b7c: PUSH2 0x1b87
00001b7f: JUMPI
00001b80: PUSH2 0x1b87
00001b83: PUSH2 0x2b0a
00001b86: JUMP
00001b87: JUMPDEST
00001b88: PUSH1 0x00
00001b8a: SWAP2
00001b8b: DUP3
00001b8c: MSTORE
00001b8d: PUSH1 0x20
00001b8f: SWAP1
00001b90: SWAP2
00001b91: KECCAK256
00001b92: ADD
00001b93: SLOAD
00001b94: PUSH1 0x01
00001b96: PUSH1 0x01
00001b98: PUSH1 0xa0
00001b9a: SHL
00001b9b: SUB
00001b9c: AND
00001b9d: EQ
00001b9e: ISZERO
00001b9f: SWAP3
00001ba0: SWAP2
00001ba1: POP
00001ba2: POP
00001ba3: JUMP
00001ba4: JUMPDEST
00001ba5: PUSH1 0x00
00001ba7: DUP2
00001ba8: DUP2
00001ba9: MSTORE
00001baa: PUSH1 0x03
00001bac: PUSH1 0x20
00001bae: MSTORE
00001baf: PUSH1 0x40
00001bb1: SWAP1
00001bb2: KECCAK256
00001bb3: DUP1
00001bb4: SLOAD
00001bb5: PUSH1 0x01
00001bb7: PUSH1 0x01
00001bb9: PUSH1 0xa0
00001bbb: SHL
00001bbc: SUB
00001bbd: NOT
00001bbe: AND
00001bbf: PUSH1 0x01
00001bc1: PUSH1 0x01
00001bc3: PUSH1 0xa0
00001bc5: SHL
00001bc6: SUB
00001bc7: DUP5
00001bc8: AND
00001bc9: SWAP1
00001bca: DUP2
00001bcb: OR
00001bcc: SWAP1
00001bcd: SWAP2
00001bce: SSTORE
00001bcf: DUP2
00001bd0: SWAP1
00001bd1: PUSH2 0x1bd9
00001bd4: DUP3
00001bd5: PUSH2 0x0e3f
00001bd8: JUMP
00001bd9: JUMPDEST
00001bda: PUSH1 0x01
00001bdc: PUSH1 0x01
00001bde: PUSH1 0xa0
00001be0: SHL
00001be1: SUB
00001be2: AND
00001be3: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001c04: PUSH1 0x40
00001c06: MLOAD
00001c07: PUSH1 0x40
00001c09: MLOAD
00001c0a: DUP1
00001c0b: SWAP2
00001c0c: SUB
00001c0d: SWAP1
00001c0e: LOG4
00001c0f: POP
00001c10: POP
00001c11: JUMP
00001c12: JUMPDEST
00001c13: PUSH2 0x1c1c
00001c16: CALLER
00001c17: DUP3
00001c18: PUSH2 0x1ea5
00001c1b: JUMP
00001c1c: JUMPDEST
00001c1d: PUSH2 0x1c38
00001c20: JUMPI
00001c21: PUSH1 0x40
00001c23: MLOAD
00001c24: PUSH3 0x461bcd
00001c28: PUSH1 0xe5
00001c2a: SHL
00001c2b: DUP2
00001c2c: MSTORE
00001c2d: PUSH1 0x04
00001c2f: ADD
00001c30: PUSH2 0x0a14
00001c33: SWAP1
00001c34: PUSH2 0x291d
00001c37: JUMP
00001c38: JUMPDEST
00001c39: PUSH2 0x0b4a
00001c3c: DUP4
00001c3d: DUP4
00001c3e: DUP4
00001c3f: PUSH2 0x1f8b
00001c42: JUMP
00001c43: JUMPDEST
00001c44: PUSH1 0x05
00001c46: DUP1
00001c47: SLOAD
00001c48: PUSH1 0x01
00001c4a: PUSH1 0x01
00001c4c: PUSH1 0xa0
00001c4e: SHL
00001c4f: SUB
00001c50: DUP4
00001c51: DUP2
00001c52: AND
00001c53: PUSH1 0x01
00001c55: PUSH1 0x01
00001c57: PUSH1 0xa0
00001c59: SHL
00001c5a: SUB
00001c5b: NOT
00001c5c: DUP4
00001c5d: AND
00001c5e: DUP2
00001c5f: OR
00001c60: SWAP1
00001c61: SWAP4
00001c62: SSTORE
00001c63: PUSH1 0x40
00001c65: MLOAD
00001c66: SWAP2
00001c67: AND
00001c68: SWAP2
00001c69: SWAP1
00001c6a: DUP3
00001c6b: SWAP1
00001c6c: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001c8d: SWAP1
00001c8e: PUSH1 0x00
00001c90: SWAP1
00001c91: LOG3
00001c92: POP
00001c93: POP
00001c94: JUMP
00001c95: JUMPDEST
00001c96: PUSH2 0x0cb3
00001c99: DUP3
00001c9a: DUP3
00001c9b: PUSH1 0x40
00001c9d: MLOAD
00001c9e: DUP1
00001c9f: PUSH1 0x20
00001ca1: ADD
00001ca2: PUSH1 0x40
00001ca4: MSTORE
00001ca5: DUP1
00001ca6: PUSH1 0x00
00001ca8: DUP2
00001ca9: MSTORE
00001caa: POP
00001cab: PUSH2 0x20e1
00001cae: JUMP
00001caf: JUMPDEST
00001cb0: PUSH1 0x00
00001cb2: DUP2
00001cb3: DUP2
00001cb4: JUMPDEST
00001cb5: DUP6
00001cb6: MLOAD
00001cb7: DUP2
00001cb8: LT
00001cb9: ISZERO
00001cba: PUSH2 0x1d53
00001cbd: JUMPI
00001cbe: PUSH1 0x00
00001cc0: DUP7
00001cc1: DUP3
00001cc2: DUP2
00001cc3: MLOAD
00001cc4: DUP2
00001cc5: LT
00001cc6: PUSH2 0x1cd1
00001cc9: JUMPI
00001cca: PUSH2 0x1cd1
00001ccd: PUSH2 0x2b0a
00001cd0: JUMP
00001cd1: JUMPDEST
00001cd2: PUSH1 0x20
00001cd4: MUL
00001cd5: PUSH1 0x20
00001cd7: ADD
00001cd8: ADD
00001cd9: MLOAD
00001cda: SWAP1
00001cdb: POP
00001cdc: DUP1
00001cdd: DUP4
00001cde: GT
00001cdf: PUSH2 0x1d13
00001ce2: JUMPI
00001ce3: PUSH1 0x40
00001ce5: DUP1
00001ce6: MLOAD
00001ce7: PUSH1 0x20
00001ce9: DUP2
00001cea: ADD
00001ceb: DUP6
00001cec: SWAP1
00001ced: MSTORE
00001cee: SWAP1
00001cef: DUP2
00001cf0: ADD
00001cf1: DUP3
00001cf2: SWAP1
00001cf3: MSTORE
00001cf4: PUSH1 0x60
00001cf6: ADD
00001cf7: PUSH1 0x40
00001cf9: MLOAD
00001cfa: PUSH1 0x20
00001cfc: DUP2
00001cfd: DUP4
00001cfe: SUB
00001cff: SUB
00001d00: DUP2
00001d01: MSTORE
00001d02: SWAP1
00001d03: PUSH1 0x40
00001d05: MSTORE
00001d06: DUP1
00001d07: MLOAD
00001d08: SWAP1
00001d09: PUSH1 0x20
00001d0b: ADD
00001d0c: KECCAK256
00001d0d: SWAP3
00001d0e: POP
00001d0f: PUSH2 0x1d40
00001d12: JUMP
00001d13: JUMPDEST
00001d14: PUSH1 0x40
00001d16: DUP1
00001d17: MLOAD
00001d18: PUSH1 0x20
00001d1a: DUP2
00001d1b: ADD
00001d1c: DUP4
00001d1d: SWAP1
00001d1e: MSTORE
00001d1f: SWAP1
00001d20: DUP2
00001d21: ADD
00001d22: DUP5
00001d23: SWAP1
00001d24: MSTORE
00001d25: PUSH1 0x60
00001d27: ADD
00001d28: PUSH1 0x40
00001d2a: MLOAD
00001d2b: PUSH1 0x20
00001d2d: DUP2
00001d2e: DUP4
00001d2f: SUB
00001d30: SUB
00001d31: DUP2
00001d32: MSTORE
00001d33: SWAP1
00001d34: PUSH1 0x40
00001d36: MSTORE
00001d37: DUP1
00001d38: MLOAD
00001d39: SWAP1
00001d3a: PUSH1 0x20
00001d3c: ADD
00001d3d: KECCAK256
00001d3e: SWAP3
00001d3f: POP
00001d40: JUMPDEST
00001d41: POP
00001d42: DUP1
00001d43: PUSH2 0x1d4b
00001d46: DUP2
00001d47: PUSH2 0x2aaf
00001d4a: JUMP
00001d4b: JUMPDEST
00001d4c: SWAP2
00001d4d: POP
00001d4e: POP
00001d4f: PUSH2 0x1cb4
00001d52: JUMP
00001d53: JUMPDEST
00001d54: POP
00001d55: SWAP1
00001d56: SWAP3
00001d57: EQ
00001d58: SWAP4
00001d59: SWAP3
00001d5a: POP
00001d5b: POP
00001d5c: POP
00001d5d: JUMP
00001d5e: JUMPDEST
00001d5f: PUSH2 0x1d68
00001d62: CALLER
00001d63: DUP4
00001d64: PUSH2 0x1ea5
00001d67: JUMP
00001d68: JUMPDEST
00001d69: PUSH2 0x1d84
00001d6c: JUMPI
00001d6d: PUSH1 0x40
00001d6f: MLOAD
00001d70: PUSH3 0x461bcd
00001d74: PUSH1 0xe5
00001d76: SHL
00001d77: DUP2
00001d78: MSTORE
00001d79: PUSH1 0x04
00001d7b: ADD
00001d7c: PUSH2 0x0a14
00001d7f: SWAP1
00001d80: PUSH2 0x291d
00001d83: JUMP
00001d84: JUMPDEST
00001d85: PUSH2 0x18aa
00001d88: DUP5
00001d89: DUP5
00001d8a: DUP5
00001d8b: DUP5
00001d8c: PUSH2 0x2114
00001d8f: JUMP
00001d90: JUMPDEST
00001d91: PUSH1 0x60
00001d93: PUSH1 0x12
00001d95: DUP1
00001d96: SLOAD
00001d97: PUSH2 0x0929
00001d9a: SWAP1
00001d9b: PUSH2 0x2a74
00001d9e: JUMP
00001d9f: JUMPDEST
00001da0: PUSH1 0x60
00001da2: DUP2
00001da3: PUSH2 0x1dc3
00001da6: JUMPI
00001da7: POP
00001da8: POP
00001da9: PUSH1 0x40
00001dab: DUP1
00001dac: MLOAD
00001dad: DUP1
00001dae: DUP3
00001daf: ADD
00001db0: SWAP1
00001db1: SWAP2
00001db2: MSTORE
00001db3: PUSH1 0x01
00001db5: DUP2
00001db6: MSTORE
00001db7: PUSH1 0x03
00001db9: PUSH1 0xfc
00001dbb: SHL
00001dbc: PUSH1 0x20
00001dbe: DUP3
00001dbf: ADD
00001dc0: MSTORE
00001dc1: SWAP1
00001dc2: JUMP
00001dc3: JUMPDEST
00001dc4: DUP2
00001dc5: PUSH1 0x00
00001dc7: JUMPDEST
00001dc8: DUP2
00001dc9: ISZERO
00001dca: PUSH2 0x1ded
00001dcd: JUMPI
00001dce: DUP1
00001dcf: PUSH2 0x1dd7
00001dd2: DUP2
00001dd3: PUSH2 0x2aaf
00001dd6: JUMP
00001dd7: JUMPDEST
00001dd8: SWAP2
00001dd9: POP
00001dda: PUSH2 0x1de6
00001ddd: SWAP1
00001dde: POP
00001ddf: PUSH1 0x0a
00001de1: DUP4
00001de2: PUSH2 0x29fe
00001de5: JUMP
00001de6: JUMPDEST
00001de7: SWAP2
00001de8: POP
00001de9: PUSH2 0x1dc7
00001dec: JUMP
00001ded: JUMPDEST
00001dee: PUSH1 0x00
00001df0: DUP2
00001df1: PUSH8 0xffffffffffffffff
00001dfa: DUP2
00001dfb: GT
00001dfc: ISZERO
00001dfd: PUSH2 0x1e08
00001e00: JUMPI
00001e01: PUSH2 0x1e08
00001e04: PUSH2 0x2b20
00001e07: JUMP
00001e08: JUMPDEST
00001e09: PUSH1 0x40
00001e0b: MLOAD
00001e0c: SWAP1
00001e0d: DUP1
00001e0e: DUP3
00001e0f: MSTORE
00001e10: DUP1
00001e11: PUSH1 0x1f
00001e13: ADD
00001e14: PUSH1 0x1f
00001e16: NOT
00001e17: AND
00001e18: PUSH1 0x20
00001e1a: ADD
00001e1b: DUP3
00001e1c: ADD
00001e1d: PUSH1 0x40
00001e1f: MSTORE
00001e20: DUP1
00001e21: ISZERO
00001e22: PUSH2 0x1e32
00001e25: JUMPI
00001e26: PUSH1 0x20
00001e28: DUP3
00001e29: ADD
00001e2a: DUP2
00001e2b: DUP1
00001e2c: CALLDATASIZE
00001e2d: DUP4
00001e2e: CALLDATACOPY
00001e2f: ADD
00001e30: SWAP1
00001e31: POP
00001e32: JUMPDEST
00001e33: POP
00001e34: SWAP1
00001e35: POP
00001e36: JUMPDEST
00001e37: DUP5
00001e38: ISZERO
00001e39: PUSH2 0x1e9d
00001e3c: JUMPI
00001e3d: PUSH2 0x1e47
00001e40: PUSH1 0x01
00001e42: DUP4
00001e43: PUSH2 0x2a31
00001e46: JUMP
00001e47: JUMPDEST
00001e48: SWAP2
00001e49: POP
00001e4a: PUSH2 0x1e54
00001e4d: PUSH1 0x0a
00001e4f: DUP7
00001e50: PUSH2 0x2aca
00001e53: JUMP
00001e54: JUMPDEST
00001e55: PUSH2 0x1e5f
00001e58: SWAP1
00001e59: PUSH1 0x30
00001e5b: PUSH2 0x29e6
00001e5e: JUMP
00001e5f: JUMPDEST
00001e60: PUSH1 0xf8
00001e62: SHL
00001e63: DUP2
00001e64: DUP4
00001e65: DUP2
00001e66: MLOAD
00001e67: DUP2
00001e68: LT
00001e69: PUSH2 0x1e74
00001e6c: JUMPI
00001e6d: PUSH2 0x1e74
00001e70: PUSH2 0x2b0a
00001e73: JUMP
00001e74: JUMPDEST
00001e75: PUSH1 0x20
00001e77: ADD
00001e78: ADD
00001e79: SWAP1
00001e7a: PUSH1 0x01
00001e7c: PUSH1 0x01
00001e7e: PUSH1 0xf8
00001e80: SHL
00001e81: SUB
00001e82: NOT
00001e83: AND
00001e84: SWAP1
00001e85: DUP2
00001e86: PUSH1 0x00
00001e88: BYTE
00001e89: SWAP1
00001e8a: MSTORE8
00001e8b: POP
00001e8c: PUSH2 0x1e96
00001e8f: PUSH1 0x0a
00001e91: DUP7
00001e92: PUSH2 0x29fe
00001e95: JUMP
00001e96: JUMPDEST
00001e97: SWAP5
00001e98: POP
00001e99: PUSH2 0x1e36
00001e9c: JUMP
00001e9d: JUMPDEST
00001e9e: SWAP5
00001e9f: SWAP4
00001ea0: POP
00001ea1: POP
00001ea2: POP
00001ea3: POP
00001ea4: JUMP
00001ea5: JUMPDEST
00001ea6: PUSH1 0x00
00001ea8: PUSH2 0x1eb0
00001eab: DUP3
00001eac: PUSH2 0x1b5a
00001eaf: JUMP
00001eb0: JUMPDEST
00001eb1: PUSH2 0x1f11
00001eb4: JUMPI
00001eb5: PUSH1 0x40
00001eb7: MLOAD
00001eb8: PUSH3 0x461bcd
00001ebc: PUSH1 0xe5
00001ebe: SHL
00001ebf: DUP2
00001ec0: MSTORE
00001ec1: PUSH1 0x20
00001ec3: PUSH1 0x04
00001ec5: DUP3
00001ec6: ADD
00001ec7: MSTORE
00001ec8: PUSH1 0x2c
00001eca: PUSH1 0x24
00001ecc: DUP3
00001ecd: ADD
00001ece: MSTORE
00001ecf: PUSH32 0x4552433732313a206f70657261746f7220717565727920666f72206e6f6e6578
00001ef0: PUSH1 0x44
00001ef2: DUP3
00001ef3: ADD
00001ef4: MSTORE
00001ef5: PUSH12 0x34b9ba32b73a103a37b5b2b7
00001f02: PUSH1 0xa1
00001f04: SHL
00001f05: PUSH1 0x64
00001f07: DUP3
00001f08: ADD
00001f09: MSTORE
00001f0a: PUSH1 0x84
00001f0c: ADD
00001f0d: PUSH2 0x0a14
00001f10: JUMP
00001f11: JUMPDEST
00001f12: PUSH1 0x00
00001f14: PUSH2 0x1f1c
00001f17: DUP4
00001f18: PUSH2 0x0e3f
00001f1b: JUMP
00001f1c: JUMPDEST
00001f1d: SWAP1
00001f1e: POP
00001f1f: DUP1
00001f20: PUSH1 0x01
00001f22: PUSH1 0x01
00001f24: PUSH1 0xa0
00001f26: SHL
00001f27: SUB
00001f28: AND
00001f29: DUP5
00001f2a: PUSH1 0x01
00001f2c: PUSH1 0x01
00001f2e: PUSH1 0xa0
00001f30: SHL
00001f31: SUB
00001f32: AND
00001f33: EQ
00001f34: DUP1
00001f35: PUSH2 0x1f57
00001f38: JUMPI
00001f39: POP
00001f3a: DUP4
00001f3b: PUSH1 0x01
00001f3d: PUSH1 0x01
00001f3f: PUSH1 0xa0
00001f41: SHL
00001f42: SUB
00001f43: AND
00001f44: PUSH2 0x1f4c
00001f47: DUP5
00001f48: PUSH2 0x09ac
00001f4b: JUMP
00001f4c: JUMPDEST
00001f4d: PUSH1 0x01
00001f4f: PUSH1 0x01
00001f51: PUSH1 0xa0
00001f53: SHL
00001f54: SUB
00001f55: AND
00001f56: EQ
00001f57: JUMPDEST
00001f58: DUP1
00001f59: PUSH2 0x1e9d
00001f5c: JUMPI
00001f5d: POP
00001f5e: PUSH1 0x01
00001f60: PUSH1 0x01
00001f62: PUSH1 0xa0
00001f64: SHL
00001f65: SUB
00001f66: DUP1
00001f67: DUP3
00001f68: AND
00001f69: PUSH1 0x00
00001f6b: SWAP1
00001f6c: DUP2
00001f6d: MSTORE
00001f6e: PUSH1 0x04
00001f70: PUSH1 0x20
00001f72: SWAP1
00001f73: DUP2
00001f74: MSTORE
00001f75: PUSH1 0x40
00001f77: DUP1
00001f78: DUP4
00001f79: KECCAK256
00001f7a: SWAP4
00001f7b: DUP9
00001f7c: AND
00001f7d: DUP4
00001f7e: MSTORE
00001f7f: SWAP3
00001f80: SWAP1
00001f81: MSTORE
00001f82: KECCAK256
00001f83: SLOAD
00001f84: PUSH1 0xff
00001f86: AND
00001f87: PUSH2 0x1e9d
00001f8a: JUMP
00001f8b: JUMPDEST
00001f8c: DUP3
00001f8d: PUSH1 0x01
00001f8f: PUSH1 0x01
00001f91: PUSH1 0xa0
00001f93: SHL
00001f94: SUB
00001f95: AND
00001f96: PUSH2 0x1f9e
00001f99: DUP3
00001f9a: PUSH2 0x0e3f
00001f9d: JUMP
00001f9e: JUMPDEST
00001f9f: PUSH1 0x01
00001fa1: PUSH1 0x01
00001fa3: PUSH1 0xa0
00001fa5: SHL
00001fa6: SUB
00001fa7: AND
00001fa8: EQ
00001fa9: PUSH2 0x2006
00001fac: JUMPI
00001fad: PUSH1 0x40
00001faf: MLOAD
00001fb0: PUSH3 0x461bcd
00001fb4: PUSH1 0xe5
00001fb6: SHL
00001fb7: DUP2
00001fb8: MSTORE
00001fb9: PUSH1 0x20
00001fbb: PUSH1 0x04
00001fbd: DUP3
00001fbe: ADD
00001fbf: MSTORE
00001fc0: PUSH1 0x29
00001fc2: PUSH1 0x24
00001fc4: DUP3
00001fc5: ADD
00001fc6: MSTORE
00001fc7: PUSH32 0x4552433732313a207472616e73666572206f6620746f6b656e20746861742069
00001fe8: PUSH1 0x44
00001fea: DUP3
00001feb: ADD
00001fec: MSTORE
00001fed: PUSH9 0x39903737ba1037bbb7
00001ff7: PUSH1 0xb9
00001ff9: SHL
00001ffa: PUSH1 0x64
00001ffc: DUP3
00001ffd: ADD
00001ffe: MSTORE
00001fff: PUSH1 0x84
00002001: ADD
00002002: PUSH2 0x0a14
00002005: JUMP
00002006: JUMPDEST
00002007: PUSH1 0x01
00002009: PUSH1 0x01
0000200b: PUSH1 0xa0
0000200d: SHL
0000200e: SUB
0000200f: DUP3
00002010: AND
00002011: PUSH2 0x2068
00002014: JUMPI
00002015: PUSH1 0x40
00002017: MLOAD
00002018: PUSH3 0x461bcd
0000201c: PUSH1 0xe5
0000201e: SHL
0000201f: DUP2
00002020: MSTORE
00002021: PUSH1 0x20
00002023: PUSH1 0x04
00002025: DUP3
00002026: ADD
00002027: MSTORE
00002028: PUSH1 0x24
0000202a: DUP1
0000202b: DUP3
0000202c: ADD
0000202d: MSTORE
0000202e: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464
0000204f: PUSH1 0x44
00002051: DUP3
00002052: ADD
00002053: MSTORE
00002054: PUSH4 0x72657373
00002059: PUSH1 0xe0
0000205b: SHL
0000205c: PUSH1 0x64
0000205e: DUP3
0000205f: ADD
00002060: MSTORE
00002061: PUSH1 0x84
00002063: ADD
00002064: PUSH2 0x0a14
00002067: JUMP
00002068: JUMPDEST
00002069: PUSH2 0x2073
0000206c: PUSH1 0x00
0000206e: DUP3
0000206f: PUSH2 0x1ba4
00002072: JUMP
00002073: JUMPDEST
00002074: DUP2
00002075: PUSH1 0x02
00002077: DUP3
00002078: DUP2
00002079: SLOAD
0000207a: DUP2
0000207b: LT
0000207c: PUSH2 0x2087
0000207f: JUMPI
00002080: PUSH2 0x2087
00002083: PUSH2 0x2b0a
00002086: JUMP
00002087: JUMPDEST
00002088: PUSH1 0x00
0000208a: SWAP2
0000208b: DUP3
0000208c: MSTORE
0000208d: PUSH1 0x20
0000208f: DUP3
00002090: KECCAK256
00002091: ADD
00002092: DUP1
00002093: SLOAD
00002094: PUSH1 0x01
00002096: PUSH1 0x01
00002098: PUSH1 0xa0
0000209a: SHL
0000209b: SUB
0000209c: NOT
0000209d: AND
0000209e: PUSH1 0x01
000020a0: PUSH1 0x01
000020a2: PUSH1 0xa0
000020a4: SHL
000020a5: SUB
000020a6: SWAP4
000020a7: DUP5
000020a8: AND
000020a9: OR
000020aa: SWAP1
000020ab: SSTORE
000020ac: PUSH1 0x40
000020ae: MLOAD
000020af: DUP4
000020b0: SWAP3
000020b1: DUP6
000020b2: DUP2
000020b3: AND
000020b4: SWAP3
000020b5: SWAP1
000020b6: DUP8
000020b7: AND
000020b8: SWAP2
000020b9: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000020da: SWAP2
000020db: SWAP1
000020dc: LOG4
000020dd: POP
000020de: POP
000020df: POP
000020e0: JUMP
000020e1: JUMPDEST
000020e2: PUSH2 0x20eb
000020e5: DUP4
000020e6: DUP4
000020e7: PUSH2 0x2147
000020ea: JUMP
000020eb: JUMPDEST
000020ec: PUSH2 0x20f8
000020ef: PUSH1 0x00
000020f1: DUP5
000020f2: DUP5
000020f3: DUP5
000020f4: PUSH2 0x226f
000020f7: JUMP
000020f8: JUMPDEST
000020f9: PUSH2 0x0b4a
000020fc: JUMPI
000020fd: PUSH1 0x40
000020ff: MLOAD
00002100: PUSH3 0x461bcd
00002104: PUSH1 0xe5
00002106: SHL
00002107: DUP2
00002108: MSTORE
00002109: PUSH1 0x04
0000210b: ADD
0000210c: PUSH2 0x0a14
0000210f: SWAP1
00002110: PUSH2 0x283d
00002113: JUMP
00002114: JUMPDEST
00002115: PUSH2 0x211f
00002118: DUP5
00002119: DUP5
0000211a: DUP5
0000211b: PUSH2 0x1f8b
0000211e: JUMP
0000211f: JUMPDEST
00002120: PUSH2 0x212b
00002123: DUP5
00002124: DUP5
00002125: DUP5
00002126: DUP5
00002127: PUSH2 0x226f
0000212a: JUMP
0000212b: JUMPDEST
0000212c: PUSH2 0x18aa
0000212f: JUMPI
00002130: PUSH1 0x40
00002132: MLOAD
00002133: PUSH3 0x461bcd
00002137: PUSH1 0xe5
00002139: SHL
0000213a: DUP2
0000213b: MSTORE
0000213c: PUSH1 0x04
0000213e: ADD
0000213f: PUSH2 0x0a14
00002142: SWAP1
00002143: PUSH2 0x283d
00002146: JUMP
00002147: JUMPDEST
00002148: PUSH1 0x01
0000214a: PUSH1 0x01
0000214c: PUSH1 0xa0
0000214e: SHL
0000214f: SUB
00002150: DUP3
00002151: AND
00002152: PUSH2 0x219d
00002155: JUMPI
00002156: PUSH1 0x40
00002158: MLOAD
00002159: PUSH3 0x461bcd
0000215d: PUSH1 0xe5
0000215f: SHL
00002160: DUP2
00002161: MSTORE
00002162: PUSH1 0x20
00002164: PUSH1 0x04
00002166: DUP3
00002167: ADD
00002168: DUP2
00002169: SWAP1
0000216a: MSTORE
0000216b: PUSH1 0x24
0000216d: DUP3
0000216e: ADD
0000216f: MSTORE
00002170: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373
00002191: PUSH1 0x44
00002193: DUP3
00002194: ADD
00002195: MSTORE
00002196: PUSH1 0x64
00002198: ADD
00002199: PUSH2 0x0a14
0000219c: JUMP
0000219d: JUMPDEST
0000219e: PUSH2 0x21a6
000021a1: DUP2
000021a2: PUSH2 0x1b5a
000021a5: JUMP
000021a6: JUMPDEST
000021a7: ISZERO
000021a8: PUSH2 0x21f3
000021ab: JUMPI
000021ac: PUSH1 0x40
000021ae: MLOAD
000021af: PUSH3 0x461bcd
000021b3: PUSH1 0xe5
000021b5: SHL
000021b6: DUP2
000021b7: MSTORE
000021b8: PUSH1 0x20
000021ba: PUSH1 0x04
000021bc: DUP3
000021bd: ADD
000021be: MSTORE
000021bf: PUSH1 0x1c
000021c1: PUSH1 0x24
000021c3: DUP3
000021c4: ADD
000021c5: MSTORE
000021c6: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000
000021e7: PUSH1 0x44
000021e9: DUP3
000021ea: ADD
000021eb: MSTORE
000021ec: PUSH1 0x64
000021ee: ADD
000021ef: PUSH2 0x0a14
000021f2: JUMP
000021f3: JUMPDEST
000021f4: PUSH1 0x02
000021f6: DUP1
000021f7: SLOAD
000021f8: PUSH1 0x01
000021fa: DUP2
000021fb: ADD
000021fc: DUP3
000021fd: SSTORE
000021fe: PUSH1 0x00
00002200: SWAP2
00002201: DUP3
00002202: MSTORE
00002203: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace
00002224: ADD
00002225: DUP1
00002226: SLOAD
00002227: PUSH1 0x01
00002229: PUSH1 0x01
0000222b: PUSH1 0xa0
0000222d: SHL
0000222e: SUB
0000222f: NOT
00002230: AND
00002231: PUSH1 0x01
00002233: PUSH1 0x01
00002235: PUSH1 0xa0
00002237: SHL
00002238: SUB
00002239: DUP6
0000223a: AND
0000223b: SWAP1
0000223c: DUP2
0000223d: OR
0000223e: SWAP1
0000223f: SWAP2
00002240: SSTORE
00002241: PUSH1 0x40
00002243: MLOAD
00002244: DUP4
00002245: SWAP3
00002246: SWAP1
00002247: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002268: SWAP1
00002269: DUP3
0000226a: SWAP1
0000226b: LOG4
0000226c: POP
0000226d: POP
0000226e: JUMP
0000226f: JUMPDEST
00002270: PUSH1 0x00
00002272: PUSH1 0x01
00002274: PUSH1 0x01
00002276: PUSH1 0xa0
00002278: SHL
00002279: SUB
0000227a: DUP5
0000227b: AND
0000227c: EXTCODESIZE
0000227d: ISZERO
0000227e: PUSH2 0x2371
00002281: JUMPI
00002282: PUSH1 0x40
00002284: MLOAD
00002285: PUSH4 0x0a85bd01
0000228a: PUSH1 0xe1
0000228c: SHL
0000228d: DUP2
0000228e: MSTORE
0000228f: PUSH1 0x01
00002291: PUSH1 0x01
00002293: PUSH1 0xa0
00002295: SHL
00002296: SUB
00002297: DUP6
00002298: AND
00002299: SWAP1
0000229a: PUSH4 0x150b7a02
0000229f: SWAP1
000022a0: PUSH2 0x22b3
000022a3: SWAP1
000022a4: CALLER
000022a5: SWAP1
000022a6: DUP10
000022a7: SWAP1
000022a8: DUP9
000022a9: SWAP1
000022aa: DUP9
000022ab: SWAP1
000022ac: PUSH1 0x04
000022ae: ADD
000022af: PUSH2 0x27a9
000022b2: JUMP
000022b3: JUMPDEST
000022b4: PUSH1 0x20
000022b6: PUSH1 0x40
000022b8: MLOAD
000022b9: DUP1
000022ba: DUP4
000022bb: SUB
000022bc: DUP2
000022bd: PUSH1 0x00
000022bf: DUP8
000022c0: DUP1
000022c1: EXTCODESIZE
000022c2: ISZERO
000022c3: DUP1
000022c4: ISZERO
000022c5: PUSH2 0x22cd
000022c8: JUMPI
000022c9: PUSH1 0x00
000022cb: DUP1
000022cc: REVERT
000022cd: JUMPDEST
000022ce: POP
000022cf: GAS
000022d0: CALL
000022d1: SWAP3
000022d2: POP
000022d3: POP
000022d4: POP
000022d5: DUP1
000022d6: ISZERO
000022d7: PUSH2 0x22fd
000022da: JUMPI
000022db: POP
000022dc: PUSH1 0x40
000022de: DUP1
000022df: MLOAD
000022e0: PUSH1 0x1f
000022e2: RETURNDATASIZE
000022e3: SWAP1
000022e4: DUP2
000022e5: ADD
000022e6: PUSH1 0x1f
000022e8: NOT
000022e9: AND
000022ea: DUP3
000022eb: ADD
000022ec: SWAP1
000022ed: SWAP3
000022ee: MSTORE
000022ef: PUSH2 0x22fa
000022f2: SWAP2
000022f3: DUP2
000022f4: ADD
000022f5: SWAP1
000022f6: PUSH2 0x2659
000022f9: JUMP
000022fa: JUMPDEST
000022fb: PUSH1 0x01
000022fd: JUMPDEST
000022fe: PUSH2 0x2357
00002301: JUMPI
00002302: RETURNDATASIZE
00002303: DUP1
00002304: DUP1
00002305: ISZERO
00002306: PUSH2 0x232b
00002309: JUMPI
0000230a: PUSH1 0x40
0000230c: MLOAD
0000230d: SWAP2
0000230e: POP
0000230f: PUSH1 0x1f
00002311: NOT
00002312: PUSH1 0x3f
00002314: RETURNDATASIZE
00002315: ADD
00002316: AND
00002317: DUP3
00002318: ADD
00002319: PUSH1 0x40
0000231b: MSTORE
0000231c: RETURNDATASIZE
0000231d: DUP3
0000231e: MSTORE
0000231f: RETURNDATASIZE
00002320: PUSH1 0x00
00002322: PUSH1 0x20
00002324: DUP5
00002325: ADD
00002326: RETURNDATACOPY
00002327: PUSH2 0x2330
0000232a: JUMP
0000232b: JUMPDEST
0000232c: PUSH1 0x60
0000232e: SWAP2
0000232f: POP
00002330: JUMPDEST
00002331: POP
00002332: DUP1
00002333: MLOAD
00002334: PUSH2 0x234f
00002337: JUMPI
00002338: PUSH1 0x40
0000233a: MLOAD
0000233b: PUSH3 0x461bcd
0000233f: PUSH1 0xe5
00002341: SHL
00002342: DUP2
00002343: MSTORE
00002344: PUSH1 0x04
00002346: ADD
00002347: PUSH2 0x0a14
0000234a: SWAP1
0000234b: PUSH2 0x283d
0000234e: JUMP
0000234f: JUMPDEST
00002350: DUP1
00002351: MLOAD
00002352: DUP2
00002353: PUSH1 0x20
00002355: ADD
00002356: REVERT
00002357: JUMPDEST
00002358: PUSH1 0x01
0000235a: PUSH1 0x01
0000235c: PUSH1 0xe0
0000235e: SHL
0000235f: SUB
00002360: NOT
00002361: AND
00002362: PUSH4 0x0a85bd01
00002367: PUSH1 0xe1
00002369: SHL
0000236a: EQ
0000236b: SWAP1
0000236c: POP
0000236d: PUSH2 0x1e9d
00002370: JUMP
00002371: JUMPDEST
00002372: POP
00002373: PUSH1 0x01
00002375: SWAP5
00002376: SWAP4
00002377: POP
00002378: POP
00002379: POP
0000237a: POP
0000237b: JUMP
0000237c: JUMPDEST
0000237d: DUP3
0000237e: DUP1
0000237f: SLOAD
00002380: PUSH2 0x2388
00002383: SWAP1
00002384: PUSH2 0x2a74
00002387: JUMP
00002388: JUMPDEST
00002389: SWAP1
0000238a: PUSH1 0x00
0000238c: MSTORE
0000238d: PUSH1 0x20
0000238f: PUSH1 0x00
00002391: KECCAK256
00002392: SWAP1
00002393: PUSH1 0x1f
00002395: ADD
00002396: PUSH1 0x20
00002398: SWAP1
00002399: DIV
0000239a: DUP2
0000239b: ADD
0000239c: SWAP3
0000239d: DUP3
0000239e: PUSH2 0x23aa
000023a1: JUMPI
000023a2: PUSH1 0x00
000023a4: DUP6
000023a5: SSTORE
000023a6: PUSH2 0x23f0
000023a9: JUMP
000023aa: JUMPDEST
000023ab: DUP3
000023ac: PUSH1 0x1f
000023ae: LT
000023af: PUSH2 0x23c3
000023b2: JUMPI
000023b3: DUP1
000023b4: MLOAD
000023b5: PUSH1 0xff
000023b7: NOT
000023b8: AND
000023b9: DUP4
000023ba: DUP1
000023bb: ADD
000023bc: OR
000023bd: DUP6
000023be: SSTORE
000023bf: PUSH2 0x23f0
000023c2: JUMP
000023c3: JUMPDEST
000023c4: DUP3
000023c5: DUP1
000023c6: ADD
000023c7: PUSH1 0x01
000023c9: ADD
000023ca: DUP6
000023cb: SSTORE
000023cc: DUP3
000023cd: ISZERO
000023ce: PUSH2 0x23f0
000023d1: JUMPI
000023d2: SWAP2
000023d3: DUP3
000023d4: ADD
000023d5: JUMPDEST
000023d6: DUP3
000023d7: DUP2
000023d8: GT
000023d9: ISZERO
000023da: PUSH2 0x23f0
000023dd: JUMPI
000023de: DUP3
000023df: MLOAD
000023e0: DUP3
000023e1: SSTORE
000023e2: SWAP2
000023e3: PUSH1 0x20
000023e5: ADD
000023e6: SWAP2
000023e7: SWAP1
000023e8: PUSH1 0x01
000023ea: ADD
000023eb: SWAP1
000023ec: PUSH2 0x23d5
000023ef: JUMP
000023f0: JUMPDEST
000023f1: POP
000023f2: PUSH2 0x0dab
000023f5: SWAP3
000023f6: SWAP2
000023f7: POP
000023f8: JUMPDEST
000023f9: DUP1
000023fa: DUP3
000023fb: GT
000023fc: ISZERO
000023fd: PUSH2 0x0dab
00002400: JUMPI
00002401: PUSH1 0x00
00002403: DUP2
00002404: SSTORE
00002405: PUSH1 0x01
00002407: ADD
00002408: PUSH2 0x23f8
0000240b: JUMP
0000240c: JUMPDEST
0000240d: PUSH1 0x00
0000240f: PUSH8 0xffffffffffffffff
00002418: DUP1
00002419: DUP5
0000241a: GT
0000241b: ISZERO
0000241c: PUSH2 0x2427
0000241f: JUMPI
00002420: PUSH2 0x2427
00002423: PUSH2 0x2b20
00002426: JUMP
00002427: JUMPDEST
00002428: PUSH1 0x40
0000242a: MLOAD
0000242b: PUSH1 0x1f
0000242d: DUP6
0000242e: ADD
0000242f: PUSH1 0x1f
00002431: NOT
00002432: SWAP1
00002433: DUP2
00002434: AND
00002435: PUSH1 0x3f
00002437: ADD
00002438: AND
00002439: DUP2
0000243a: ADD
0000243b: SWAP1
0000243c: DUP3
0000243d: DUP3
0000243e: GT
0000243f: DUP2
00002440: DUP4
00002441: LT
00002442: OR
00002443: ISZERO
00002444: PUSH2 0x244f
00002447: JUMPI
00002448: PUSH2 0x244f
0000244b: PUSH2 0x2b20
0000244e: JUMP
0000244f: JUMPDEST
00002450: DUP2
00002451: PUSH1 0x40
00002453: MSTORE
00002454: DUP1
00002455: SWAP4
00002456: POP
00002457: DUP6
00002458: DUP2
00002459: MSTORE
0000245a: DUP7
0000245b: DUP7
0000245c: DUP7
0000245d: ADD
0000245e: GT
0000245f: ISZERO
00002460: PUSH2 0x2468
00002463: JUMPI
00002464: PUSH1 0x00
00002466: DUP1
00002467: REVERT
00002468: JUMPDEST
00002469: DUP6
0000246a: DUP6
0000246b: PUSH1 0x20
0000246d: DUP4
0000246e: ADD
0000246f: CALLDATACOPY
00002470: PUSH1 0x00
00002472: PUSH1 0x20
00002474: DUP8
00002475: DUP4
00002476: ADD
00002477: ADD
00002478: MSTORE
00002479: POP
0000247a: POP
0000247b: POP
0000247c: SWAP4
0000247d: SWAP3
0000247e: POP
0000247f: POP
00002480: POP
00002481: JUMP
00002482: JUMPDEST
00002483: DUP1
00002484: CALLDATALOAD
00002485: PUSH1 0x01
00002487: PUSH1 0x01
00002489: PUSH1 0xa0
0000248b: SHL
0000248c: SUB
0000248d: DUP2
0000248e: AND
0000248f: DUP2
00002490: EQ
00002491: PUSH2 0x2499
00002494: JUMPI
00002495: PUSH1 0x00
00002497: DUP1
00002498: REVERT
00002499: JUMPDEST
0000249a: SWAP2
0000249b: SWAP1
0000249c: POP
0000249d: JUMP
0000249e: JUMPDEST
0000249f: DUP1
000024a0: CALLDATALOAD
000024a1: DUP1
000024a2: ISZERO
000024a3: ISZERO
000024a4: DUP2
000024a5: EQ
000024a6: PUSH2 0x2499
000024a9: JUMPI
000024aa: PUSH1 0x00
000024ac: DUP1
000024ad: REVERT
000024ae: JUMPDEST
000024af: PUSH1 0x00
000024b1: PUSH1 0x20
000024b3: DUP3
000024b4: DUP5
000024b5: SUB
000024b6: SLT
000024b7: ISZERO
000024b8: PUSH2 0x24c0
000024bb: JUMPI
000024bc: PUSH1 0x00
000024be: DUP1
000024bf: REVERT
000024c0: JUMPDEST
000024c1: PUSH2 0x1966
000024c4: DUP3
000024c5: PUSH2 0x2482
000024c8: JUMP
000024c9: JUMPDEST
000024ca: PUSH1 0x00
000024cc: DUP1
000024cd: PUSH1 0x40
000024cf: DUP4
000024d0: DUP6
000024d1: SUB
000024d2: SLT
000024d3: ISZERO
000024d4: PUSH2 0x24dc
000024d7: JUMPI
000024d8: PUSH1 0x00
000024da: DUP1
000024db: REVERT
000024dc: JUMPDEST
000024dd: PUSH2 0x24e5
000024e0: DUP4
000024e1: PUSH2 0x2482
000024e4: JUMP
000024e5: JUMPDEST
000024e6: SWAP2
000024e7: POP
000024e8: PUSH2 0x24f3
000024eb: PUSH1 0x20
000024ed: DUP5
000024ee: ADD
000024ef: PUSH2 0x2482
000024f2: JUMP
000024f3: JUMPDEST
000024f4: SWAP1
000024f5: POP
000024f6: SWAP3
000024f7: POP
000024f8: SWAP3
000024f9: SWAP1
000024fa: POP
000024fb: JUMP
000024fc: JUMPDEST
000024fd: PUSH1 0x00
000024ff: DUP1
00002500: PUSH1 0x00
00002502: PUSH1 0x60
00002504: DUP5
00002505: DUP7
00002506: SUB
00002507: SLT
00002508: ISZERO
00002509: PUSH2 0x2511
0000250c: JUMPI
0000250d: PUSH1 0x00
0000250f: DUP1
00002510: REVERT
00002511: JUMPDEST
00002512: PUSH2 0x251a
00002515: DUP5
00002516: PUSH2 0x2482
00002519: JUMP
0000251a: JUMPDEST
0000251b: SWAP3
0000251c: POP
0000251d: PUSH2 0x2528
00002520: PUSH1 0x20
00002522: DUP6
00002523: ADD
00002524: PUSH2 0x2482
00002527: JUMP
00002528: JUMPDEST
00002529: SWAP2
0000252a: POP
0000252b: PUSH1 0x40
0000252d: DUP5
0000252e: ADD
0000252f: CALLDATALOAD
00002530: SWAP1
00002531: POP
00002532: SWAP3
00002533: POP
00002534: SWAP3
00002535: POP
00002536: SWAP3
00002537: JUMP
00002538: JUMPDEST
00002539: PUSH1 0x00
0000253b: DUP1
0000253c: PUSH1 0x00
0000253e: DUP1
0000253f: PUSH1 0x80
00002541: DUP6
00002542: DUP8
00002543: SUB
00002544: SLT
00002545: ISZERO
00002546: PUSH2 0x254e
00002549: JUMPI
0000254a: PUSH1 0x00
0000254c: DUP1
0000254d: REVERT
0000254e: JUMPDEST
0000254f: PUSH2 0x2557
00002552: DUP6
00002553: PUSH2 0x2482
00002556: JUMP
00002557: JUMPDEST
00002558: SWAP4
00002559: POP
0000255a: PUSH2 0x2565
0000255d: PUSH1 0x20
0000255f: DUP7
00002560: ADD
00002561: PUSH2 0x2482
00002564: JUMP
00002565: JUMPDEST
00002566: SWAP3
00002567: POP
00002568: PUSH1 0x40
0000256a: DUP6
0000256b: ADD
0000256c: CALLDATALOAD
0000256d: SWAP2
0000256e: POP
0000256f: PUSH1 0x60
00002571: DUP6
00002572: ADD
00002573: CALLDATALOAD
00002574: PUSH8 0xffffffffffffffff
0000257d: DUP2
0000257e: GT
0000257f: ISZERO
00002580: PUSH2 0x2588
00002583: JUMPI
00002584: PUSH1 0x00
00002586: DUP1
00002587: REVERT
00002588: JUMPDEST
00002589: DUP6
0000258a: ADD
0000258b: PUSH1 0x1f
0000258d: DUP2
0000258e: ADD
0000258f: DUP8
00002590: SGT
00002591: PUSH2 0x2599
00002594: JUMPI
00002595: PUSH1 0x00
00002597: DUP1
00002598: REVERT
00002599: JUMPDEST
0000259a: PUSH2 0x25a8
0000259d: DUP8
0000259e: DUP3
0000259f: CALLDATALOAD
000025a0: PUSH1 0x20
000025a2: DUP5
000025a3: ADD
000025a4: PUSH2 0x240c
000025a7: JUMP
000025a8: JUMPDEST
000025a9: SWAP2
000025aa: POP
000025ab: POP
000025ac: SWAP3
000025ad: SWAP6
000025ae: SWAP2
000025af: SWAP5
000025b0: POP
000025b1: SWAP3
000025b2: POP
000025b3: JUMP
000025b4: JUMPDEST
000025b5: PUSH1 0x00
000025b7: DUP1
000025b8: PUSH1 0x40
000025ba: DUP4
000025bb: DUP6
000025bc: SUB
000025bd: SLT
000025be: ISZERO
000025bf: PUSH2 0x25c7
000025c2: JUMPI
000025c3: PUSH1 0x00
000025c5: DUP1
000025c6: REVERT
000025c7: JUMPDEST
000025c8: PUSH2 0x25d0
000025cb: DUP4
000025cc: PUSH2 0x2482
000025cf: JUMP
000025d0: JUMPDEST
000025d1: SWAP2
000025d2: POP
000025d3: PUSH2 0x24f3
000025d6: PUSH1 0x20
000025d8: DUP5
000025d9: ADD
000025da: PUSH2 0x249e
000025dd: JUMP
000025de: JUMPDEST
000025df: PUSH1 0x00
000025e1: DUP1
000025e2: PUSH1 0x40
000025e4: DUP4
000025e5: DUP6
000025e6: SUB
000025e7: SLT
000025e8: ISZERO
000025e9: PUSH2 0x25f1
000025ec: JUMPI
000025ed: PUSH1 0x00
000025ef: DUP1
000025f0: REVERT
000025f1: JUMPDEST
000025f2: PUSH2 0x25fa
000025f5: DUP4
000025f6: PUSH2 0x2482
000025f9: JUMP
000025fa: JUMPDEST
000025fb: SWAP5
000025fc: PUSH1 0x20
000025fe: SWAP4
000025ff: SWAP1
00002600: SWAP4
00002601: ADD
00002602: CALLDATALOAD
00002603: SWAP4
00002604: POP
00002605: POP
00002606: POP
00002607: JUMP
00002608: JUMPDEST
00002609: PUSH1 0x00
0000260b: PUSH1 0x20
0000260d: DUP3
0000260e: DUP5
0000260f: SUB
00002610: SLT
00002611: ISZERO
00002612: PUSH2 0x261a
00002615: JUMPI
00002616: PUSH1 0x00
00002618: DUP1
00002619: REVERT
0000261a: JUMPDEST
0000261b: PUSH2 0x1966
0000261e: DUP3
0000261f: PUSH2 0x249e
00002622: JUMP
00002623: JUMPDEST
00002624: PUSH1 0x00
00002626: PUSH1 0x20
00002628: DUP3
00002629: DUP5
0000262a: SUB
0000262b: SLT
0000262c: ISZERO
0000262d: PUSH2 0x2635
00002630: JUMPI
00002631: PUSH1 0x00
00002633: DUP1
00002634: REVERT
00002635: JUMPDEST
00002636: POP
00002637: CALLDATALOAD
00002638: SWAP2
00002639: SWAP1
0000263a: POP
0000263b: JUMP
0000263c: JUMPDEST
0000263d: PUSH1 0x00
0000263f: PUSH1 0x20
00002641: DUP3
00002642: DUP5
00002643: SUB
00002644: SLT
00002645: ISZERO
00002646: PUSH2 0x264e
00002649: JUMPI
0000264a: PUSH1 0x00
0000264c: DUP1
0000264d: REVERT
0000264e: JUMPDEST
0000264f: DUP2
00002650: CALLDATALOAD
00002651: PUSH2 0x1966
00002654: DUP2
00002655: PUSH2 0x2b36
00002658: JUMP
00002659: JUMPDEST
0000265a: PUSH1 0x00
0000265c: PUSH1 0x20
0000265e: DUP3
0000265f: DUP5
00002660: SUB
00002661: SLT
00002662: ISZERO
00002663: PUSH2 0x266b
00002666: JUMPI
00002667: PUSH1 0x00
00002669: DUP1
0000266a: REVERT
0000266b: JUMPDEST
0000266c: DUP2
0000266d: MLOAD
0000266e: PUSH2 0x1966
00002671: DUP2
00002672: PUSH2 0x2b36
00002675: JUMP
00002676: JUMPDEST
00002677: PUSH1 0x00
00002679: PUSH1 0x20
0000267b: DUP3
0000267c: DUP5
0000267d: SUB
0000267e: SLT
0000267f: ISZERO
00002680: PUSH2 0x2688
00002683: JUMPI
00002684: PUSH1 0x00
00002686: DUP1
00002687: REVERT
00002688: JUMPDEST
00002689: DUP2
0000268a: CALLDATALOAD
0000268b: PUSH8 0xffffffffffffffff
00002694: DUP2
00002695: GT
00002696: ISZERO
00002697: PUSH2 0x269f
0000269a: JUMPI
0000269b: PUSH1 0x00
0000269d: DUP1
0000269e: REVERT
0000269f: JUMPDEST
000026a0: DUP3
000026a1: ADD
000026a2: PUSH1 0x1f
000026a4: DUP2
000026a5: ADD
000026a6: DUP5
000026a7: SGT
000026a8: PUSH2 0x26b0
000026ab: JUMPI
000026ac: PUSH1 0x00
000026ae: DUP1
000026af: REVERT
000026b0: JUMPDEST
000026b1: PUSH2 0x1e9d
000026b4: DUP5
000026b5: DUP3
000026b6: CALLDATALOAD
000026b7: PUSH1 0x20
000026b9: DUP5
000026ba: ADD
000026bb: PUSH2 0x240c
000026be: JUMP
000026bf: JUMPDEST
000026c0: PUSH1 0x00
000026c2: DUP1
000026c3: PUSH1 0x00
000026c5: PUSH1 0x40
000026c7: DUP5
000026c8: DUP7
000026c9: SUB
000026ca: SLT
000026cb: ISZERO
000026cc: PUSH2 0x26d4
000026cf: JUMPI
000026d0: PUSH1 0x00
000026d2: DUP1
000026d3: REVERT
000026d4: JUMPDEST
000026d5: DUP4
000026d6: CALLDATALOAD
000026d7: SWAP3
000026d8: POP
000026d9: PUSH1 0x20
000026db: DUP5
000026dc: ADD
000026dd: CALLDATALOAD
000026de: PUSH8 0xffffffffffffffff
000026e7: DUP1
000026e8: DUP3
000026e9: GT
000026ea: ISZERO
000026eb: PUSH2 0x26f3
000026ee: JUMPI
000026ef: PUSH1 0x00
000026f1: DUP1
000026f2: REVERT
000026f3: JUMPDEST
000026f4: DUP2
000026f5: DUP7
000026f6: ADD
000026f7: SWAP2
000026f8: POP
000026f9: DUP7
000026fa: PUSH1 0x1f
000026fc: DUP4
000026fd: ADD
000026fe: SLT
000026ff: PUSH2 0x2707
00002702: JUMPI
00002703: PUSH1 0x00
00002705: DUP1
00002706: REVERT
00002707: JUMPDEST
00002708: DUP2
00002709: CALLDATALOAD
0000270a: DUP2
0000270b: DUP2
0000270c: GT
0000270d: ISZERO
0000270e: PUSH2 0x2716
00002711: JUMPI
00002712: PUSH1 0x00
00002714: DUP1
00002715: REVERT
00002716: JUMPDEST
00002717: DUP8
00002718: PUSH1 0x20
0000271a: DUP3
0000271b: PUSH1 0x05
0000271d: SHL
0000271e: DUP6
0000271f: ADD
00002720: ADD
00002721: GT
00002722: ISZERO
00002723: PUSH2 0x272b
00002726: JUMPI
00002727: PUSH1 0x00
00002729: DUP1
0000272a: REVERT
0000272b: JUMPDEST
0000272c: PUSH1 0x20
0000272e: DUP4
0000272f: ADD
00002730: SWAP5
00002731: POP
00002732: DUP1
00002733: SWAP4
00002734: POP
00002735: POP
00002736: POP
00002737: POP
00002738: SWAP3
00002739: POP
0000273a: SWAP3
0000273b: POP
0000273c: SWAP3
0000273d: JUMP
0000273e: JUMPDEST
0000273f: PUSH1 0x00
00002741: DUP2
00002742: MLOAD
00002743: DUP1
00002744: DUP5
00002745: MSTORE
00002746: PUSH2 0x2756
00002749: DUP2
0000274a: PUSH1 0x20
0000274c: DUP7
0000274d: ADD
0000274e: PUSH1 0x20
00002750: DUP7
00002751: ADD
00002752: PUSH2 0x2a48
00002755: JUMP
00002756: JUMPDEST
00002757: PUSH1 0x1f
00002759: ADD
0000275a: PUSH1 0x1f
0000275c: NOT
0000275d: AND
0000275e: SWAP3
0000275f: SWAP1
00002760: SWAP3
00002761: ADD
00002762: PUSH1 0x20
00002764: ADD
00002765: SWAP3
00002766: SWAP2
00002767: POP
00002768: POP
00002769: JUMP
0000276a: JUMPDEST
0000276b: PUSH1 0x00
0000276d: DUP4
0000276e: MLOAD
0000276f: PUSH2 0x277c
00002772: DUP2
00002773: DUP5
00002774: PUSH1 0x20
00002776: DUP9
00002777: ADD
00002778: PUSH2 0x2a48
0000277b: JUMP
0000277c: JUMPDEST
0000277d: DUP4
0000277e: MLOAD
0000277f: SWAP1
00002780: DUP4
00002781: ADD
00002782: SWAP1
00002783: PUSH2 0x2790
00002786: DUP2
00002787: DUP4
00002788: PUSH1 0x20
0000278a: DUP9
0000278b: ADD
0000278c: PUSH2 0x2a48
0000278f: JUMP
00002790: JUMPDEST
00002791: PUSH5 0x173539b7b7
00002797: PUSH1 0xd9
00002799: SHL
0000279a: SWAP2
0000279b: ADD
0000279c: SWAP1
0000279d: DUP2
0000279e: MSTORE
0000279f: PUSH1 0x05
000027a1: ADD
000027a2: SWAP5
000027a3: SWAP4
000027a4: POP
000027a5: POP
000027a6: POP
000027a7: POP
000027a8: JUMP
000027a9: JUMPDEST
000027aa: PUSH1 0x01
000027ac: PUSH1 0x01
000027ae: PUSH1 0xa0
000027b0: SHL
000027b1: SUB
000027b2: DUP6
000027b3: DUP2
000027b4: AND
000027b5: DUP3
000027b6: MSTORE
000027b7: DUP5
000027b8: AND
000027b9: PUSH1 0x20
000027bb: DUP3
000027bc: ADD
000027bd: MSTORE
000027be: PUSH1 0x40
000027c0: DUP2
000027c1: ADD
000027c2: DUP4
000027c3: SWAP1
000027c4: MSTORE
000027c5: PUSH1 0x80
000027c7: PUSH1 0x60
000027c9: DUP3
000027ca: ADD
000027cb: DUP2
000027cc: SWAP1
000027cd: MSTORE
000027ce: PUSH1 0x00
000027d0: SWAP1
000027d1: PUSH2 0x27dc
000027d4: SWAP1
000027d5: DUP4
000027d6: ADD
000027d7: DUP5
000027d8: PUSH2 0x273e
000027db: JUMP
000027dc: JUMPDEST
000027dd: SWAP7
000027de: SWAP6
000027df: POP
000027e0: POP
000027e1: POP
000027e2: POP
000027e3: POP
000027e4: POP
000027e5: JUMP
000027e6: JUMPDEST
000027e7: PUSH1 0x20
000027e9: DUP1
000027ea: DUP3
000027eb: MSTORE
000027ec: DUP3
000027ed: MLOAD
000027ee: DUP3
000027ef: DUP3
000027f0: ADD
000027f1: DUP2
000027f2: SWAP1
000027f3: MSTORE
000027f4: PUSH1 0x00
000027f6: SWAP2
000027f7: SWAP1
000027f8: DUP5
000027f9: DUP3
000027fa: ADD
000027fb: SWAP1
000027fc: PUSH1 0x40
000027fe: DUP6
000027ff: ADD
00002800: SWAP1
00002801: DUP5
00002802: JUMPDEST
00002803: DUP2
00002804: DUP2
00002805: LT
00002806: ISZERO
00002807: PUSH2 0x281e
0000280a: JUMPI
0000280b: DUP4
0000280c: MLOAD
0000280d: DUP4
0000280e: MSTORE
0000280f: SWAP3
00002810: DUP5
00002811: ADD
00002812: SWAP3
00002813: SWAP2
00002814: DUP5
00002815: ADD
00002816: SWAP2
00002817: PUSH1 0x01
00002819: ADD
0000281a: PUSH2 0x2802
0000281d: JUMP
0000281e: JUMPDEST
0000281f: POP
00002820: SWAP1
00002821: SWAP7
00002822: SWAP6
00002823: POP
00002824: POP
00002825: POP
00002826: POP
00002827: POP
00002828: POP
00002829: JUMP
0000282a: JUMPDEST
0000282b: PUSH1 0x20
0000282d: DUP2
0000282e: MSTORE
0000282f: PUSH1 0x00
00002831: PUSH2 0x1966
00002834: PUSH1 0x20
00002836: DUP4
00002837: ADD
00002838: DUP5
00002839: PUSH2 0x273e
0000283c: JUMP
0000283d: JUMPDEST
0000283e: PUSH1 0x20
00002840: DUP1
00002841: DUP3
00002842: MSTORE
00002843: PUSH1 0x32
00002845: SWAP1
00002846: DUP3
00002847: ADD
00002848: MSTORE
00002849: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
0000286a: PUSH1 0x40
0000286c: DUP3
0000286d: ADD
0000286e: MSTORE
0000286f: PUSH18 0x31b2b4bb32b91034b6b83632b6b2b73a32b9
00002882: PUSH1 0x71
00002884: SHL
00002885: PUSH1 0x60
00002887: DUP3
00002888: ADD
00002889: MSTORE
0000288a: PUSH1 0x80
0000288c: ADD
0000288d: SWAP1
0000288e: JUMP
0000288f: JUMPDEST
00002890: PUSH1 0x20
00002892: DUP1
00002893: DUP3
00002894: MSTORE
00002895: PUSH1 0x0f
00002897: SWAP1
00002898: DUP3
00002899: ADD
0000289a: MSTORE
0000289b: PUSH15 0x496e636f72726563742076616c7565
000028ab: PUSH1 0x88
000028ad: SHL
000028ae: PUSH1 0x40
000028b0: DUP3
000028b1: ADD
000028b2: MSTORE
000028b3: PUSH1 0x60
000028b5: ADD
000028b6: SWAP1
000028b7: JUMP
000028b8: JUMPDEST
000028b9: PUSH1 0x20
000028bb: DUP1
000028bc: DUP3
000028bd: MSTORE
000028be: DUP2
000028bf: DUP2
000028c0: ADD
000028c1: MSTORE
000028c2: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000028e3: PUSH1 0x40
000028e5: DUP3
000028e6: ADD
000028e7: MSTORE
000028e8: PUSH1 0x60
000028ea: ADD
000028eb: SWAP1
000028ec: JUMP
000028ed: JUMPDEST
000028ee: PUSH1 0x20
000028f0: DUP1
000028f1: DUP3
000028f2: MSTORE
000028f3: PUSH1 0x16
000028f5: SWAP1
000028f6: DUP3
000028f7: ADD
000028f8: MSTORE
000028f9: PUSH22 0x22a9219b9918a2b73ab69d1037bbb732b91034b7b7b1
00002910: PUSH1 0x51
00002912: SHL
00002913: PUSH1 0x40
00002915: DUP3
00002916: ADD
00002917: MSTORE
00002918: PUSH1 0x60
0000291a: ADD
0000291b: SWAP1
0000291c: JUMP
0000291d: JUMPDEST
0000291e: PUSH1 0x20
00002920: DUP1
00002921: DUP3
00002922: MSTORE
00002923: PUSH1 0x31
00002925: SWAP1
00002926: DUP3
00002927: ADD
00002928: MSTORE
00002929: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f
0000294a: PUSH1 0x40
0000294c: DUP3
0000294d: ADD
0000294e: MSTORE
0000294f: PUSH17 0x1ddb995c881b9bdc88185c1c1c9bdd9959
00002961: PUSH1 0x7a
00002963: SHL
00002964: PUSH1 0x60
00002966: DUP3
00002967: ADD
00002968: MSTORE
00002969: PUSH1 0x80
0000296b: ADD
0000296c: SWAP1
0000296d: JUMP
0000296e: JUMPDEST
0000296f: PUSH1 0x20
00002971: DUP1
00002972: DUP3
00002973: MSTORE
00002974: PUSH1 0x21
00002976: SWAP1
00002977: DUP3
00002978: ADD
00002979: MSTORE
0000297a: PUSH32 0x45786365656473206d6178206d696e74206c696d6974207065722077616c6c65
0000299b: PUSH1 0x40
0000299d: DUP3
0000299e: ADD
0000299f: MSTORE
000029a0: PUSH1 0x1d
000029a2: PUSH1 0xfa
000029a4: SHL
000029a5: PUSH1 0x60
000029a7: DUP3
000029a8: ADD
000029a9: MSTORE
000029aa: PUSH1 0x80
000029ac: ADD
000029ad: SWAP1
000029ae: JUMP
000029af: JUMPDEST
000029b0: PUSH1 0x20
000029b2: DUP1
000029b3: DUP3
000029b4: MSTORE
000029b5: PUSH1 0x1f
000029b7: SWAP1
000029b8: DUP3
000029b9: ADD
000029ba: MSTORE
000029bb: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000029dc: PUSH1 0x40
000029de: DUP3
000029df: ADD
000029e0: MSTORE
000029e1: PUSH1 0x60
000029e3: ADD
000029e4: SWAP1
000029e5: JUMP
000029e6: JUMPDEST
000029e7: PUSH1 0x00
000029e9: DUP3
000029ea: NOT
000029eb: DUP3
000029ec: GT
000029ed: ISZERO
000029ee: PUSH2 0x29f9
000029f1: JUMPI
000029f2: PUSH2 0x29f9
000029f5: PUSH2 0x2ade
000029f8: JUMP
000029f9: JUMPDEST
000029fa: POP
000029fb: ADD
000029fc: SWAP1
000029fd: JUMP
000029fe: JUMPDEST
000029ff: PUSH1 0x00
00002a01: DUP3
00002a02: PUSH2 0x2a0d
00002a05: JUMPI
00002a06: PUSH2 0x2a0d
00002a09: PUSH2 0x2af4
00002a0c: JUMP
00002a0d: JUMPDEST
00002a0e: POP
00002a0f: DIV
00002a10: SWAP1
00002a11: JUMP
00002a12: JUMPDEST
00002a13: PUSH1 0x00
00002a15: DUP2
00002a16: PUSH1 0x00
00002a18: NOT
00002a19: DIV
00002a1a: DUP4
00002a1b: GT
00002a1c: DUP3
00002a1d: ISZERO
00002a1e: ISZERO
00002a1f: AND
00002a20: ISZERO
00002a21: PUSH2 0x2a2c
00002a24: JUMPI
00002a25: PUSH2 0x2a2c
00002a28: PUSH2 0x2ade
00002a2b: JUMP
00002a2c: JUMPDEST
00002a2d: POP
00002a2e: MUL
00002a2f: SWAP1
00002a30: JUMP
00002a31: JUMPDEST
00002a32: PUSH1 0x00
00002a34: DUP3
00002a35: DUP3
00002a36: LT
00002a37: ISZERO
00002a38: PUSH2 0x2a43
00002a3b: JUMPI
00002a3c: PUSH2 0x2a43
00002a3f: PUSH2 0x2ade
00002a42: JUMP
00002a43: JUMPDEST
00002a44: POP
00002a45: SUB
00002a46: SWAP1
00002a47: JUMP
00002a48: JUMPDEST
00002a49: PUSH1 0x00
00002a4b: JUMPDEST
00002a4c: DUP4
00002a4d: DUP2
00002a4e: LT
00002a4f: ISZERO
00002a50: PUSH2 0x2a63
00002a53: JUMPI
00002a54: DUP2
00002a55: DUP2
00002a56: ADD
00002a57: MLOAD
00002a58: DUP4
00002a59: DUP3
00002a5a: ADD
00002a5b: MSTORE
00002a5c: PUSH1 0x20
00002a5e: ADD
00002a5f: PUSH2 0x2a4b
00002a62: JUMP
00002a63: JUMPDEST
00002a64: DUP4
00002a65: DUP2
00002a66: GT
00002a67: ISZERO
00002a68: PUSH2 0x18aa
00002a6b: JUMPI
00002a6c: POP
00002a6d: POP
00002a6e: PUSH1 0x00
00002a70: SWAP2
00002a71: ADD
00002a72: MSTORE
00002a73: JUMP
00002a74: JUMPDEST
00002a75: PUSH1 0x01
00002a77: DUP2
00002a78: DUP2
00002a79: SHR
00002a7a: SWAP1
00002a7b: DUP3
00002a7c: AND
00002a7d: DUP1
00002a7e: PUSH2 0x2a88
00002a81: JUMPI
00002a82: PUSH1 0x7f
00002a84: DUP3
00002a85: AND
00002a86: SWAP2
00002a87: POP
00002a88: JUMPDEST
00002a89: PUSH1 0x20
00002a8b: DUP3
00002a8c: LT
00002a8d: DUP2
00002a8e: EQ
00002a8f: ISZERO
00002a90: PUSH2 0x2aa9
00002a93: JUMPI
00002a94: PUSH4 0x4e487b71
00002a99: PUSH1 0xe0
00002a9b: SHL
00002a9c: PUSH1 0x00
00002a9e: MSTORE
00002a9f: PUSH1 0x22
00002aa1: PUSH1 0x04
00002aa3: MSTORE
00002aa4: PUSH1 0x24
00002aa6: PUSH1 0x00
00002aa8: REVERT
00002aa9: JUMPDEST
00002aaa: POP
00002aab: SWAP2
00002aac: SWAP1
00002aad: POP
00002aae: JUMP
00002aaf: JUMPDEST
00002ab0: PUSH1 0x00
00002ab2: PUSH1 0x00
00002ab4: NOT
00002ab5: DUP3
00002ab6: EQ
00002ab7: ISZERO
00002ab8: PUSH2 0x2ac3
00002abb: JUMPI
00002abc: PUSH2 0x2ac3
00002abf: PUSH2 0x2ade
00002ac2: JUMP
00002ac3: JUMPDEST
00002ac4: POP
00002ac5: PUSH1 0x01
00002ac7: ADD
00002ac8: SWAP1
00002ac9: JUMP
00002aca: JUMPDEST
00002acb: PUSH1 0x00
00002acd: DUP3
00002ace: PUSH2 0x2ad9
00002ad1: JUMPI
00002ad2: PUSH2 0x2ad9
00002ad5: PUSH2 0x2af4
00002ad8: JUMP
00002ad9: JUMPDEST
00002ada: POP
00002adb: MOD
00002adc: SWAP1
00002add: JUMP
00002ade: JUMPDEST
00002adf: PUSH4 0x4e487b71
00002ae4: PUSH1 0xe0
00002ae6: SHL
00002ae7: PUSH1 0x00
00002ae9: MSTORE
00002aea: PUSH1 0x11
00002aec: PUSH1 0x04
00002aee: MSTORE
00002aef: PUSH1 0x24
00002af1: PUSH1 0x00
00002af3: REVERT
00002af4: JUMPDEST
00002af5: PUSH4 0x4e487b71
00002afa: PUSH1 0xe0
00002afc: SHL
00002afd: PUSH1 0x00
00002aff: MSTORE
00002b00: PUSH1 0x12
00002b02: PUSH1 0x04
00002b04: MSTORE
00002b05: PUSH1 0x24
00002b07: PUSH1 0x00
00002b09: REVERT
00002b0a: JUMPDEST
00002b0b: PUSH4 0x4e487b71
00002b10: PUSH1 0xe0
00002b12: SHL
00002b13: PUSH1 0x00
00002b15: MSTORE
00002b16: PUSH1 0x32
00002b18: PUSH1 0x04
00002b1a: MSTORE
00002b1b: PUSH1 0x24
00002b1d: PUSH1 0x00
00002b1f: REVERT
00002b20: JUMPDEST
00002b21: PUSH4 0x4e487b71
00002b26: PUSH1 0xe0
00002b28: SHL
00002b29: PUSH1 0x00
00002b2b: MSTORE
00002b2c: PUSH1 0x41
00002b2e: PUSH1 0x04
00002b30: MSTORE
00002b31: PUSH1 0x24
00002b33: PUSH1 0x00
00002b35: REVERT
00002b36: JUMPDEST
00002b37: PUSH1 0x01
00002b39: PUSH1 0x01
00002b3b: PUSH1 0xe0
00002b3d: SHL
00002b3e: SUB
00002b3f: NOT
00002b40: DUP2
00002b41: AND
00002b42: DUP2
00002b43: EQ
00002b44: PUSH2 0x1ab6
00002b47: JUMPI
00002b48: PUSH1 0x00
00002b4a: DUP1
00002b4b: REVERT
00002b4c: INVALID
00002b4d: LOG2
00002b4e: PUSH5 0x6970667358
00002b54: UNKNOWN(0x22)
00002b55: SLT
00002b56: KECCAK256
00002b57: UNKNOWN(0xC1)
00002b58: JUMPI
00002b59: GAS
00002b5a: CALL
00002b5b: UNKNOWN(0xCB)
00002b5c: DUP9
00002b5d: UNKNOWN(0xC9)
00002b5e: UNKNOWN(0xD7)
00002b5f: UNKNOWN(0xC4)
00002b60: UNKNOWN(0xE1)
00002b61: CHAINID
00002b62: SUB
00002b63: BLOBBASEFEE
00002b64: UNKNOWN(0xE3)
00002b65: UNKNOWN(0xC4)
00002b66: PUSH1 0xee
00002b68: LOG3
00002b69: CALLDATALOAD
00002b6a: UNKNOWN(0x4B)
00002b6b: DUP12
00002b6c: SWAP13
00002b6d: DIFFICULTY
00002b6e: BLOBHASH
00002b6f: DUP3
00002b70: DUP13
00002b71: MSTORE8
00002b72: SHR
00002b73: UNKNOWN(0xA7)
00002b74: CREATE
00002b75: UNKNOWN(0xF8)
00002b76: PUSH14
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xb5a273792e00b6f531379cc9b379158b426edb7e6b2f7e04cb8c489e84166f3d call_targets: 0xd488637444ea5631a644c321bc1c4ee505f3deb1 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xb5a273792e00b6f531379cc9b379158b426edb7e6b2f7e04cb8c489e84166f3d", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xd488637444ea5631a644c321bc1c4ee505f3deb1" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf4397335", "selector": "0xf4397335", "calldata_variants": [ "0xf4397335", "0xf43973350000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf921d83f", "selector": "0xf921d83f", "calldata_variants": [ "0xf921d83f", "0xf921d83f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfe4ca847", "selector": "0xfe4ca847", "calldata_variants": [ "0xfe4ca847", "0xfe4ca8470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd897833e", "selector": "0xd897833e", "calldata_variants": [ "0xd897833e", "0xd897833e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf176baaa", "selector": "0xf176baaa", "calldata_variants": [ "0xf176baaa", "0xf176baaa0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xaa9dc50c", "selector": "0xaa9dc50c", "calldata_variants": [ "0xaa9dc50c", "0xaa9dc50c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3229, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 8912, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 11098, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 3, "guards_detected": [], "untrusted_call_count": 3 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xb5a273792e00b6f531379cc9b379158b426edb7e6b2f7e04cb8c489e84166f3d call_targets: 0xd488637444ea5631a644c321bc1c4ee505f3deb1 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xb5a273792e00b6f531379cc9b379158b426edb7e6b2f7e04cb8c489e84166f3d", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xd488637444ea5631a644c321bc1c4ee505f3deb1" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf4397335", "selector": "0xf4397335", "calldata_variants": [ "0xf4397335", "0xf43973350000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf921d83f", "selector": "0xf921d83f", "calldata_variants": [ "0xf921d83f", "0xf921d83f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfe4ca847", "selector": "0xfe4ca847", "calldata_variants": [ "0xfe4ca847", "0xfe4ca8470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd897833e", "selector": "0xd897833e", "calldata_variants": [ "0xd897833e", "0xd897833e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf176baaa", "selector": "0xf176baaa", "calldata_variants": [ "0xf176baaa", "0xf176baaa0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xaa9dc50c", "selector": "0xaa9dc50c", "calldata_variants": [ "0xaa9dc50c", "0xaa9dc50c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3229, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 8912, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 11098, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 3, "guards_detected": [] }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0x9934f1433193c4fcaebba7595878df6d3a2dad0b6e6309c8640ff071e19c29b3 validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x9934f1433193c4fcaebba7595878df6d3a2dad0b6e6309c8640ff071e19c29b3", "confirmed": false, "trace_mode": "structLogs", "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": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf4397335", "selector": "0xf4397335", "calldata_variants": [ "0xf4397335", "0xf43973350000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf921d83f", "selector": "0xf921d83f", "calldata_variants": [ "0xf921d83f", "0xf921d83f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfe4ca847", "selector": "0xfe4ca847", "calldata_variants": [ "0xfe4ca847", "0xfe4ca8470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd897833e", "selector": "0xd897833e", "calldata_variants": [ "0xd897833e", "0xd897833e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf176baaa", "selector": "0xf176baaa", "calldata_variants": [ "0xf176baaa", "0xf176baaa0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xaa9dc50c", "selector": "0xaa9dc50c", "calldata_variants": [ "0xaa9dc50c", "0xaa9dc50c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 1, "create2_count": 0 }
Severity