Tripwire
Find contracts. Test them. Review real vulns.
Analysis Run

019b477e-d6f5-72b5-9247-c89b59791246
complete
Chain ID
Address
0xddaf27167929cd045a7d97d09a4fa1046ece3d89
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
Validated
Source
Verified
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
28799	artifact.fetch	complete	1 / 3	3 months ago
28800	tool.cast_disasm	complete	1 / 3	3 months ago
72332	analysis.bundle	complete	1 / 3	2 weeks ago
72333	capability.graph	complete	1 / 3	2 weeks ago
72334	detector.run	complete	1 / 3	2 weeks ago
72335	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
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
7579
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x03ab
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x686aaa0c
00000018: GT
00000019: PUSH2 0x01e9
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0xb9ebdf0e
00000023: GT
00000024: PUSH2 0x0108
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xd5bde46c
0000002e: GT
0000002f: PUSH2 0x009d
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xeed7eb8d
00000039: GT
0000003a: PUSH2 0x006d
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xeed7eb8d
00000044: EQ
00000045: PUSH2 0x0b53
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xf0f165af
0000004f: EQ
00000050: PUSH2 0x0b67
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xf2fde38b
0000005a: EQ
0000005b: PUSH2 0x0b86
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0xf9f92be4
00000065: EQ
00000066: PUSH2 0x0ba5
00000069: JUMPI
0000006a: PUSH0
0000006b: DUP1
0000006c: REVERT
0000006d: JUMPDEST
0000006e: DUP1
0000006f: PUSH4 0xd5bde46c
00000074: EQ
00000075: PUSH2 0x0a93
00000078: JUMPI
00000079: DUP1
0000007a: PUSH4 0xdd62ed3e
0000007f: EQ
00000080: PUSH2 0x0ac4
00000083: JUMPI
00000084: DUP1
00000085: PUSH4 0xea2f0b37
0000008a: EQ
0000008b: PUSH2 0x0b15
0000008e: JUMPI
0000008f: DUP1
00000090: PUSH4 0xebf78663
00000095: EQ
00000096: PUSH2 0x0b34
00000099: JUMPI
0000009a: PUSH0
0000009b: DUP1
0000009c: REVERT
0000009d: JUMPDEST
0000009e: DUP1
0000009f: PUSH4 0xc8607952
000000a4: GT
000000a5: PUSH2 0x00d8
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0xc8607952
000000af: EQ
000000b0: PUSH2 0x0a2b
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0xcea26958
000000ba: EQ
000000bb: PUSH2 0x0a40
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0xd0e03523
000000c5: EQ
000000c6: PUSH2 0x0a5f
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0xd12a7688
000000d0: EQ
000000d1: PUSH2 0x0a7e
000000d4: JUMPI
000000d5: PUSH0
000000d6: DUP1
000000d7: REVERT
000000d8: JUMPDEST
000000d9: DUP1
000000da: PUSH4 0xb9ebdf0e
000000df: EQ
000000e0: PUSH2 0x09c4
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0xc0ac57eb
000000ea: EQ
000000eb: PUSH2 0x09e3
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0xc0b0fda2
000000f5: EQ
000000f6: PUSH2 0x09f7
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0xc49b9a80
00000100: EQ
00000101: PUSH2 0x0a0c
00000104: JUMPI
00000105: PUSH0
00000106: DUP1
00000107: REVERT
00000108: JUMPDEST
00000109: DUP1
0000010a: PUSH4 0x8da5cb5b
0000010f: GT
00000110: PUSH2 0x017e
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x9ff77951
0000011a: GT
0000011b: PUSH2 0x014e
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x9ff77951
00000125: EQ
00000126: PUSH2 0x0952
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0xa457c2d7
00000130: EQ
00000131: PUSH2 0x0967
00000134: JUMPI
00000135: DUP1
00000136: PUSH4 0xa9059cbb
0000013b: EQ
0000013c: PUSH2 0x0986
0000013f: JUMPI
00000140: DUP1
00000141: PUSH4 0xa928681c
00000146: EQ
00000147: PUSH2 0x09a5
0000014a: JUMPI
0000014b: PUSH0
0000014c: DUP1
0000014d: REVERT
0000014e: JUMPDEST
0000014f: DUP1
00000150: PUSH4 0x8da5cb5b
00000155: EQ
00000156: PUSH2 0x08d7
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x8ee88c53
00000160: EQ
00000161: PUSH2 0x0900
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0x95d89b41
0000016b: EQ
0000016c: PUSH2 0x091f
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x9655cab5
00000176: EQ
00000177: PUSH2 0x0933
0000017a: JUMPI
0000017b: PUSH0
0000017c: DUP1
0000017d: REVERT
0000017e: JUMPDEST
0000017f: DUP1
00000180: PUSH4 0x75f0a874
00000185: GT
00000186: PUSH2 0x01b9
00000189: JUMPI
0000018a: DUP1
0000018b: PUSH4 0x75f0a874
00000190: EQ
00000191: PUSH2 0x083d
00000194: JUMPI
00000195: DUP1
00000196: PUSH4 0x7abdc1ca
0000019b: EQ
0000019c: PUSH2 0x0869
0000019f: JUMPI
000001a0: DUP1
000001a1: PUSH4 0x88790a68
000001a6: EQ
000001a7: PUSH2 0x087e
000001aa: JUMPI
000001ab: DUP1
000001ac: PUSH4 0x88f82020
000001b1: EQ
000001b2: PUSH2 0x0893
000001b5: JUMPI
000001b6: PUSH0
000001b7: DUP1
000001b8: REVERT
000001b9: JUMPDEST
000001ba: DUP1
000001bb: PUSH4 0x686aaa0c
000001c0: EQ
000001c1: PUSH2 0x07dc
000001c4: JUMPI
000001c5: DUP1
000001c6: PUSH4 0x6bc87c3a
000001cb: EQ
000001cc: PUSH2 0x07f5
000001cf: JUMPI
000001d0: DUP1
000001d1: PUSH4 0x70a08231
000001d6: EQ
000001d7: PUSH2 0x080a
000001da: JUMPI
000001db: DUP1
000001dc: PUSH4 0x715018a6
000001e1: EQ
000001e2: PUSH2 0x0829
000001e5: JUMPI
000001e6: PUSH0
000001e7: DUP1
000001e8: REVERT
000001e9: JUMPDEST
000001ea: DUP1
000001eb: PUSH4 0x3bd5d173
000001f0: GT
000001f1: PUSH2 0x02d5
000001f4: JUMPI
000001f5: DUP1
000001f6: PUSH4 0x52390c02
000001fb: GT
000001fc: PUSH2 0x026a
000001ff: JUMPI
00000200: DUP1
00000201: PUSH4 0x5876ccc5
00000206: GT
00000207: PUSH2 0x023a
0000020a: JUMPI
0000020b: DUP1
0000020c: PUSH4 0x5876ccc5
00000211: EQ
00000212: PUSH2 0x075b
00000215: JUMPI
00000216: DUP1
00000217: PUSH4 0x5d098b38
0000021c: EQ
0000021d: PUSH2 0x077a
00000220: JUMPI
00000221: DUP1
00000222: PUSH4 0x6332a99b
00000227: EQ
00000228: PUSH2 0x0799
0000022b: JUMPI
0000022c: DUP1
0000022d: PUSH4 0x64a06e80
00000232: EQ
00000233: PUSH2 0x07c7
00000236: JUMPI
00000237: PUSH0
00000238: DUP1
00000239: REVERT
0000023a: JUMPDEST
0000023b: DUP1
0000023c: PUSH4 0x52390c02
00000241: EQ
00000242: PUSH2 0x06c0
00000245: JUMPI
00000246: DUP1
00000247: PUSH4 0x5342acb4
0000024c: EQ
0000024d: PUSH2 0x06df
00000250: JUMPI
00000251: DUP1
00000252: PUSH4 0x53e7c2ac
00000257: EQ
00000258: PUSH2 0x0723
0000025b: JUMPI
0000025c: DUP1
0000025d: PUSH4 0x57d87f0d
00000262: EQ
00000263: PUSH2 0x0742
00000266: JUMPI
00000267: PUSH0
00000268: DUP1
00000269: REVERT
0000026a: JUMPDEST
0000026b: DUP1
0000026c: PUSH4 0x457c194c
00000271: GT
00000272: PUSH2 0x02a5
00000275: JUMPI
00000276: DUP1
00000277: PUSH4 0x457c194c
0000027c: EQ
0000027d: PUSH2 0x0624
00000280: JUMPI
00000281: DUP1
00000282: PUSH4 0x49bd5a5e
00000287: EQ
00000288: PUSH2 0x0643
0000028b: JUMPI
0000028c: DUP1
0000028d: PUSH4 0x4a5566bf
00000292: EQ
00000293: PUSH2 0x066f
00000296: JUMPI
00000297: DUP1
00000298: PUSH4 0x4a74bb02
0000029d: EQ
0000029e: PUSH2 0x068e
000002a1: JUMPI
000002a2: PUSH0
000002a3: DUP1
000002a4: REVERT
000002a5: JUMPDEST
000002a6: DUP1
000002a7: PUSH4 0x3bd5d173
000002ac: EQ
000002ad: PUSH2 0x05a8
000002b0: JUMPI
000002b1: DUP1
000002b2: PUSH4 0x3c9d6db1
000002b7: EQ
000002b8: PUSH2 0x05c7
000002bb: JUMPI
000002bc: DUP1
000002bd: PUSH4 0x437823ec
000002c2: EQ
000002c3: PUSH2 0x05e6
000002c6: JUMPI
000002c7: DUP1
000002c8: PUSH4 0x4549b039
000002cd: EQ
000002ce: PUSH2 0x0605
000002d1: JUMPI
000002d2: PUSH0
000002d3: DUP1
000002d4: REVERT
000002d5: JUMPDEST
000002d6: DUP1
000002d7: PUSH4 0x200a692d
000002dc: GT
000002dd: PUSH2 0x034b
000002e0: JUMPI
000002e1: DUP1
000002e2: PUSH4 0x313ce567
000002e7: GT
000002e8: PUSH2 0x031b
000002eb: JUMPI
000002ec: DUP1
000002ed: PUSH4 0x313ce567
000002f2: EQ
000002f3: PUSH2 0x0534
000002f6: JUMPI
000002f7: DUP1
000002f8: PUSH4 0x3685d419
000002fd: EQ
000002fe: PUSH2 0x0555
00000301: JUMPI
00000302: DUP1
00000303: PUSH4 0x39509351
00000308: EQ
00000309: PUSH2 0x0574
0000030c: JUMPI
0000030d: DUP1
0000030e: PUSH4 0x3b124fe7
00000313: EQ
00000314: PUSH2 0x0593
00000317: JUMPI
00000318: PUSH0
00000319: DUP1
0000031a: REVERT
0000031b: JUMPDEST
0000031c: DUP1
0000031d: PUSH4 0x200a692d
00000322: EQ
00000323: PUSH2 0x04cc
00000326: JUMPI
00000327: DUP1
00000328: PUSH4 0x22976e0d
0000032d: EQ
0000032e: PUSH2 0x04e1
00000331: JUMPI
00000332: DUP1
00000333: PUSH4 0x23b872dd
00000338: EQ
00000339: PUSH2 0x04f6
0000033c: JUMPI
0000033d: DUP1
0000033e: PUSH4 0x2d838119
00000343: EQ
00000344: PUSH2 0x0515
00000347: JUMPI
00000348: PUSH0
00000349: DUP1
0000034a: REVERT
0000034b: JUMPDEST
0000034c: DUP1
0000034d: PUSH4 0x0a7d2d87
00000352: GT
00000353: PUSH2 0x0386
00000356: JUMPI
00000357: DUP1
00000358: PUSH4 0x0a7d2d87
0000035d: EQ
0000035e: PUSH2 0x0430
00000361: JUMPI
00000362: DUP1
00000363: PUSH4 0x13114a9d
00000368: EQ
00000369: PUSH2 0x0453
0000036c: JUMPI
0000036d: DUP1
0000036e: PUSH4 0x1694505e
00000373: EQ
00000374: PUSH2 0x0467
00000377: JUMPI
00000378: DUP1
00000379: PUSH4 0x18160ddd
0000037e: EQ
0000037f: PUSH2 0x04b8
00000382: JUMPI
00000383: PUSH0
00000384: DUP1
00000385: REVERT
00000386: JUMPDEST
00000387: DUP1
00000388: PUSH4 0x061c82d0
0000038d: EQ
0000038e: PUSH2 0x03b6
00000391: JUMPI
00000392: DUP1
00000393: PUSH4 0x06fdde03
00000398: EQ
00000399: PUSH2 0x03d7
0000039c: JUMPI
0000039d: DUP1
0000039e: PUSH4 0x095ea7b3
000003a3: EQ
000003a4: PUSH2 0x0401
000003a7: JUMPI
000003a8: PUSH0
000003a9: DUP1
000003aa: REVERT
000003ab: JUMPDEST
000003ac: CALLDATASIZE
000003ad: PUSH2 0x03b2
000003b0: JUMPI
000003b1: STOP
000003b2: JUMPDEST
000003b3: PUSH0
000003b4: DUP1
000003b5: REVERT
000003b6: JUMPDEST
000003b7: CALLVALUE
000003b8: DUP1
000003b9: ISZERO
000003ba: PUSH2 0x03c1
000003bd: JUMPI
000003be: PUSH0
000003bf: DUP1
000003c0: REVERT
000003c1: JUMPDEST
000003c2: POP
000003c3: PUSH2 0x03d5
000003c6: PUSH2 0x03d0
000003c9: CALLDATASIZE
000003ca: PUSH1 0x04
000003cc: PUSH2 0x3be6
000003cf: JUMP
000003d0: JUMPDEST
000003d1: PUSH2 0x0bd3
000003d4: JUMP
000003d5: JUMPDEST
000003d6: STOP
000003d7: JUMPDEST
000003d8: CALLVALUE
000003d9: DUP1
000003da: ISZERO
000003db: PUSH2 0x03e2
000003de: JUMPI
000003df: PUSH0
000003e0: DUP1
000003e1: REVERT
000003e2: JUMPDEST
000003e3: POP
000003e4: PUSH2 0x03eb
000003e7: PUSH2 0x0cbd
000003ea: JUMP
000003eb: JUMPDEST
000003ec: PUSH1 0x40
000003ee: MLOAD
000003ef: PUSH2 0x03f8
000003f2: SWAP2
000003f3: SWAP1
000003f4: PUSH2 0x3bfd
000003f7: JUMP
000003f8: JUMPDEST
000003f9: PUSH1 0x40
000003fb: MLOAD
000003fc: DUP1
000003fd: SWAP2
000003fe: SUB
000003ff: SWAP1
00000400: RETURN
00000401: JUMPDEST
00000402: CALLVALUE
00000403: DUP1
00000404: ISZERO
00000405: PUSH2 0x040c
00000408: JUMPI
00000409: PUSH0
0000040a: DUP1
0000040b: REVERT
0000040c: JUMPDEST
0000040d: POP
0000040e: PUSH2 0x0420
00000411: PUSH2 0x041b
00000414: CALLDATASIZE
00000415: PUSH1 0x04
00000417: PUSH2 0x3c71
0000041a: JUMP
0000041b: JUMPDEST
0000041c: PUSH2 0x0d4d
0000041f: JUMP
00000420: JUMPDEST
00000421: PUSH1 0x40
00000423: MLOAD
00000424: SWAP1
00000425: ISZERO
00000426: ISZERO
00000427: DUP2
00000428: MSTORE
00000429: PUSH1 0x20
0000042b: ADD
0000042c: PUSH2 0x03f8
0000042f: JUMP
00000430: JUMPDEST
00000431: CALLVALUE
00000432: DUP1
00000433: ISZERO
00000434: PUSH2 0x043b
00000437: JUMPI
00000438: PUSH0
00000439: DUP1
0000043a: REVERT
0000043b: JUMPDEST
0000043c: POP
0000043d: PUSH2 0x0445
00000440: PUSH1 0x1a
00000442: SLOAD
00000443: DUP2
00000444: JUMP
00000445: JUMPDEST
00000446: PUSH1 0x40
00000448: MLOAD
00000449: SWAP1
0000044a: DUP2
0000044b: MSTORE
0000044c: PUSH1 0x20
0000044e: ADD
0000044f: PUSH2 0x03f8
00000452: JUMP
00000453: JUMPDEST
00000454: CALLVALUE
00000455: DUP1
00000456: ISZERO
00000457: PUSH2 0x045e
0000045a: JUMPI
0000045b: PUSH0
0000045c: DUP1
0000045d: REVERT
0000045e: JUMPDEST
0000045f: POP
00000460: PUSH1 0x09
00000462: SLOAD
00000463: PUSH2 0x0445
00000466: JUMP
00000467: JUMPDEST
00000468: CALLVALUE
00000469: DUP1
0000046a: ISZERO
0000046b: PUSH2 0x0472
0000046e: JUMPI
0000046f: PUSH0
00000470: DUP1
00000471: REVERT
00000472: JUMPDEST
00000473: POP
00000474: PUSH1 0x1c
00000476: SLOAD
00000477: PUSH2 0x0493
0000047a: SWAP1
0000047b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000490: AND
00000491: DUP2
00000492: JUMP
00000493: JUMPDEST
00000494: PUSH1 0x40
00000496: MLOAD
00000497: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ac: SWAP1
000004ad: SWAP2
000004ae: AND
000004af: DUP2
000004b0: MSTORE
000004b1: PUSH1 0x20
000004b3: ADD
000004b4: PUSH2 0x03f8
000004b7: JUMP
000004b8: JUMPDEST
000004b9: CALLVALUE
000004ba: DUP1
000004bb: ISZERO
000004bc: PUSH2 0x04c3
000004bf: JUMPI
000004c0: PUSH0
000004c1: DUP1
000004c2: REVERT
000004c3: JUMPDEST
000004c4: POP
000004c5: PUSH1 0x07
000004c7: SLOAD
000004c8: PUSH2 0x0445
000004cb: JUMP
000004cc: JUMPDEST
000004cd: CALLVALUE
000004ce: DUP1
000004cf: ISZERO
000004d0: PUSH2 0x04d7
000004d3: JUMPI
000004d4: PUSH0
000004d5: DUP1
000004d6: REVERT
000004d7: JUMPDEST
000004d8: POP
000004d9: PUSH2 0x0445
000004dc: PUSH1 0x16
000004de: SLOAD
000004df: DUP2
000004e0: JUMP
000004e1: JUMPDEST
000004e2: CALLVALUE
000004e3: DUP1
000004e4: ISZERO
000004e5: PUSH2 0x04ec
000004e8: JUMPI
000004e9: PUSH0
000004ea: DUP1
000004eb: REVERT
000004ec: JUMPDEST
000004ed: POP
000004ee: PUSH2 0x0445
000004f1: PUSH1 0x13
000004f3: SLOAD
000004f4: DUP2
000004f5: JUMP
000004f6: JUMPDEST
000004f7: CALLVALUE
000004f8: DUP1
000004f9: ISZERO
000004fa: PUSH2 0x0501
000004fd: JUMPI
000004fe: PUSH0
000004ff: DUP1
00000500: REVERT
00000501: JUMPDEST
00000502: POP
00000503: PUSH2 0x0420
00000506: PUSH2 0x0510
00000509: CALLDATASIZE
0000050a: PUSH1 0x04
0000050c: PUSH2 0x3c9b
0000050f: JUMP
00000510: JUMPDEST
00000511: PUSH2 0x0d63
00000514: JUMP
00000515: JUMPDEST
00000516: CALLVALUE
00000517: DUP1
00000518: ISZERO
00000519: PUSH2 0x0520
0000051c: JUMPI
0000051d: PUSH0
0000051e: DUP1
0000051f: REVERT
00000520: JUMPDEST
00000521: POP
00000522: PUSH2 0x0445
00000525: PUSH2 0x052f
00000528: CALLDATASIZE
00000529: PUSH1 0x04
0000052b: PUSH2 0x3be6
0000052e: JUMP
0000052f: JUMPDEST
00000530: PUSH2 0x0dd7
00000533: JUMP
00000534: JUMPDEST
00000535: CALLVALUE
00000536: DUP1
00000537: ISZERO
00000538: PUSH2 0x053f
0000053b: JUMPI
0000053c: PUSH0
0000053d: DUP1
0000053e: REVERT
0000053f: JUMPDEST
00000540: POP
00000541: PUSH1 0x0c
00000543: SLOAD
00000544: PUSH1 0x40
00000546: MLOAD
00000547: PUSH1 0xff
00000549: SWAP1
0000054a: SWAP2
0000054b: AND
0000054c: DUP2
0000054d: MSTORE
0000054e: PUSH1 0x20
00000550: ADD
00000551: PUSH2 0x03f8
00000554: JUMP
00000555: JUMPDEST
00000556: CALLVALUE
00000557: DUP1
00000558: ISZERO
00000559: PUSH2 0x0560
0000055c: JUMPI
0000055d: PUSH0
0000055e: DUP1
0000055f: REVERT
00000560: JUMPDEST
00000561: POP
00000562: PUSH2 0x03d5
00000565: PUSH2 0x056f
00000568: CALLDATASIZE
00000569: PUSH1 0x04
0000056b: PUSH2 0x3cd9
0000056e: JUMP
0000056f: JUMPDEST
00000570: PUSH2 0x0e86
00000573: JUMP
00000574: JUMPDEST
00000575: CALLVALUE
00000576: DUP1
00000577: ISZERO
00000578: PUSH2 0x057f
0000057b: JUMPI
0000057c: PUSH0
0000057d: DUP1
0000057e: REVERT
0000057f: JUMPDEST
00000580: POP
00000581: PUSH2 0x0420
00000584: PUSH2 0x058e
00000587: CALLDATASIZE
00000588: PUSH1 0x04
0000058a: PUSH2 0x3c71
0000058d: JUMP
0000058e: JUMPDEST
0000058f: PUSH2 0x10d1
00000592: JUMP
00000593: JUMPDEST
00000594: CALLVALUE
00000595: DUP1
00000596: ISZERO
00000597: PUSH2 0x059e
0000059a: JUMPI
0000059b: PUSH0
0000059c: DUP1
0000059d: REVERT
0000059e: JUMPDEST
0000059f: POP
000005a0: PUSH2 0x0445
000005a3: PUSH1 0x0d
000005a5: SLOAD
000005a6: DUP2
000005a7: JUMP
000005a8: JUMPDEST
000005a9: CALLVALUE
000005aa: DUP1
000005ab: ISZERO
000005ac: PUSH2 0x05b3
000005af: JUMPI
000005b0: PUSH0
000005b1: DUP1
000005b2: REVERT
000005b3: JUMPDEST
000005b4: POP
000005b5: PUSH2 0x03d5
000005b8: PUSH2 0x05c2
000005bb: CALLDATASIZE
000005bc: PUSH1 0x04
000005be: PUSH2 0x3be6
000005c1: JUMP
000005c2: JUMPDEST
000005c3: PUSH2 0x1113
000005c6: JUMP
000005c7: JUMPDEST
000005c8: CALLVALUE
000005c9: DUP1
000005ca: ISZERO
000005cb: PUSH2 0x05d2
000005ce: JUMPI
000005cf: PUSH0
000005d0: DUP1
000005d1: REVERT
000005d2: JUMPDEST
000005d3: POP
000005d4: PUSH2 0x03d5
000005d7: PUSH2 0x05e1
000005da: CALLDATASIZE
000005db: PUSH1 0x04
000005dd: PUSH2 0x3d3c
000005e0: JUMP
000005e1: JUMPDEST
000005e2: PUSH2 0x123e
000005e5: JUMP
000005e6: JUMPDEST
000005e7: CALLVALUE
000005e8: DUP1
000005e9: ISZERO
000005ea: PUSH2 0x05f1
000005ed: JUMPI
000005ee: PUSH0
000005ef: DUP1
000005f0: REVERT
000005f1: JUMPDEST
000005f2: POP
000005f3: PUSH2 0x03d5
000005f6: PUSH2 0x0600
000005f9: CALLDATASIZE
000005fa: PUSH1 0x04
000005fc: PUSH2 0x3cd9
000005ff: JUMP
00000600: JUMPDEST
00000601: PUSH2 0x136b
00000604: JUMP
00000605: JUMPDEST
00000606: CALLVALUE
00000607: DUP1
00000608: ISZERO
00000609: PUSH2 0x0610
0000060c: JUMPI
0000060d: PUSH0
0000060e: DUP1
0000060f: REVERT
00000610: JUMPDEST
00000611: POP
00000612: PUSH2 0x0445
00000615: PUSH2 0x061f
00000618: CALLDATASIZE
00000619: PUSH1 0x04
0000061b: PUSH2 0x3db7
0000061e: JUMP
0000061f: JUMPDEST
00000620: PUSH2 0x13c1
00000623: JUMP
00000624: JUMPDEST
00000625: CALLVALUE
00000626: DUP1
00000627: ISZERO
00000628: PUSH2 0x062f
0000062b: JUMPI
0000062c: PUSH0
0000062d: DUP1
0000062e: REVERT
0000062f: JUMPDEST
00000630: POP
00000631: PUSH2 0x03d5
00000634: PUSH2 0x063e
00000637: CALLDATASIZE
00000638: PUSH1 0x04
0000063a: PUSH2 0x3be6
0000063d: JUMP
0000063e: JUMPDEST
0000063f: PUSH2 0x1465
00000642: JUMP
00000643: JUMPDEST
00000644: CALLVALUE
00000645: DUP1
00000646: ISZERO
00000647: PUSH2 0x064e
0000064a: JUMPI
0000064b: PUSH0
0000064c: DUP1
0000064d: REVERT
0000064e: JUMPDEST
0000064f: POP
00000650: PUSH1 0x1d
00000652: SLOAD
00000653: PUSH2 0x0493
00000656: SWAP1
00000657: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000066c: AND
0000066d: DUP2
0000066e: JUMP
0000066f: JUMPDEST
00000670: CALLVALUE
00000671: DUP1
00000672: ISZERO
00000673: PUSH2 0x067a
00000676: JUMPI
00000677: PUSH0
00000678: DUP1
00000679: REVERT
0000067a: JUMPDEST
0000067b: POP
0000067c: PUSH2 0x03d5
0000067f: PUSH2 0x0689
00000682: CALLDATASIZE
00000683: PUSH1 0x04
00000685: PUSH2 0x3de1
00000688: JUMP
00000689: JUMPDEST
0000068a: PUSH2 0x156f
0000068d: JUMP
0000068e: JUMPDEST
0000068f: CALLVALUE
00000690: DUP1
00000691: ISZERO
00000692: PUSH2 0x0699
00000695: JUMPI
00000696: PUSH0
00000697: DUP1
00000698: REVERT
00000699: JUMPDEST
0000069a: POP
0000069b: PUSH1 0x1d
0000069d: SLOAD
0000069e: PUSH2 0x0420
000006a1: SWAP1
000006a2: PUSH22 0x01000000000000000000000000000000000000000000
000006b9: SWAP1
000006ba: DIV
000006bb: PUSH1 0xff
000006bd: AND
000006be: DUP2
000006bf: JUMP
000006c0: JUMPDEST
000006c1: CALLVALUE
000006c2: DUP1
000006c3: ISZERO
000006c4: PUSH2 0x06cb
000006c7: JUMPI
000006c8: PUSH0
000006c9: DUP1
000006ca: REVERT
000006cb: JUMPDEST
000006cc: POP
000006cd: PUSH2 0x03d5
000006d0: PUSH2 0x06da
000006d3: CALLDATASIZE
000006d4: PUSH1 0x04
000006d6: PUSH2 0x3cd9
000006d9: JUMP
000006da: JUMPDEST
000006db: PUSH2 0x166d
000006de: JUMP
000006df: JUMPDEST
000006e0: CALLVALUE
000006e1: DUP1
000006e2: ISZERO
000006e3: PUSH2 0x06ea
000006e6: JUMPI
000006e7: PUSH0
000006e8: DUP1
000006e9: REVERT
000006ea: JUMPDEST
000006eb: POP
000006ec: PUSH2 0x0420
000006ef: PUSH2 0x06f9
000006f2: CALLDATASIZE
000006f3: PUSH1 0x04
000006f5: PUSH2 0x3cd9
000006f8: JUMP
000006f9: JUMPDEST
000006fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000070f: AND
00000710: PUSH0
00000711: SWAP1
00000712: DUP2
00000713: MSTORE
00000714: PUSH1 0x04
00000716: PUSH1 0x20
00000718: MSTORE
00000719: PUSH1 0x40
0000071b: SWAP1
0000071c: KECCAK256
0000071d: SLOAD
0000071e: PUSH1 0xff
00000720: AND
00000721: SWAP1
00000722: JUMP
00000723: JUMPDEST
00000724: CALLVALUE
00000725: DUP1
00000726: ISZERO
00000727: PUSH2 0x072e
0000072a: JUMPI
0000072b: PUSH0
0000072c: DUP1
0000072d: REVERT
0000072e: JUMPDEST
0000072f: POP
00000730: PUSH2 0x03d5
00000733: PUSH2 0x073d
00000736: CALLDATASIZE
00000737: PUSH1 0x04
00000739: PUSH2 0x3d3c
0000073c: JUMP
0000073d: JUMPDEST
0000073e: PUSH2 0x18d5
00000741: JUMP
00000742: JUMPDEST
00000743: CALLVALUE
00000744: DUP1
00000745: ISZERO
00000746: PUSH2 0x074d
00000749: JUMPI
0000074a: PUSH0
0000074b: DUP1
0000074c: REVERT
0000074d: JUMPDEST
0000074e: POP
0000074f: PUSH1 0x1b
00000751: SLOAD
00000752: PUSH2 0x0420
00000755: SWAP1
00000756: PUSH1 0xff
00000758: AND
00000759: DUP2
0000075a: JUMP
0000075b: JUMPDEST
0000075c: CALLVALUE
0000075d: DUP1
0000075e: ISZERO
0000075f: PUSH2 0x0766
00000762: JUMPI
00000763: PUSH0
00000764: DUP1
00000765: REVERT
00000766: JUMPDEST
00000767: POP
00000768: PUSH2 0x03d5
0000076b: PUSH2 0x0775
0000076e: CALLDATASIZE
0000076f: PUSH1 0x04
00000771: PUSH2 0x3be6
00000774: JUMP
00000775: JUMPDEST
00000776: PUSH2 0x19fb
00000779: JUMP
0000077a: JUMPDEST
0000077b: CALLVALUE
0000077c: DUP1
0000077d: ISZERO
0000077e: PUSH2 0x0785
00000781: JUMPI
00000782: PUSH0
00000783: DUP1
00000784: REVERT
00000785: JUMPDEST
00000786: POP
00000787: PUSH2 0x03d5
0000078a: PUSH2 0x0794
0000078d: CALLDATASIZE
0000078e: PUSH1 0x04
00000790: PUSH2 0x3cd9
00000793: JUMP
00000794: JUMPDEST
00000795: PUSH2 0x1b06
00000798: JUMP
00000799: JUMPDEST
0000079a: CALLVALUE
0000079b: DUP1
0000079c: ISZERO
0000079d: PUSH2 0x07a4
000007a0: JUMPI
000007a1: PUSH0
000007a2: DUP1
000007a3: REVERT
000007a4: JUMPDEST
000007a5: POP
000007a6: PUSH2 0x0420
000007a9: PUSH2 0x07b3
000007ac: CALLDATASIZE
000007ad: PUSH1 0x04
000007af: PUSH2 0x3cd9
000007b2: JUMP
000007b3: JUMPDEST
000007b4: PUSH1 0x21
000007b6: PUSH1 0x20
000007b8: MSTORE
000007b9: PUSH0
000007ba: SWAP1
000007bb: DUP2
000007bc: MSTORE
000007bd: PUSH1 0x40
000007bf: SWAP1
000007c0: KECCAK256
000007c1: SLOAD
000007c2: PUSH1 0xff
000007c4: AND
000007c5: DUP2
000007c6: JUMP
000007c7: JUMPDEST
000007c8: CALLVALUE
000007c9: DUP1
000007ca: ISZERO
000007cb: PUSH2 0x07d2
000007ce: JUMPI
000007cf: PUSH0
000007d0: DUP1
000007d1: REVERT
000007d2: JUMPDEST
000007d3: POP
000007d4: PUSH2 0x0445
000007d7: PUSH2 0x2710
000007da: DUP2
000007db: JUMP
000007dc: JUMPDEST
000007dd: CALLVALUE
000007de: DUP1
000007df: ISZERO
000007e0: PUSH2 0x07e7
000007e3: JUMPI
000007e4: PUSH0
000007e5: DUP1
000007e6: REVERT
000007e7: JUMPDEST
000007e8: POP
000007e9: PUSH1 0x20
000007eb: SLOAD
000007ec: PUSH2 0x0420
000007ef: SWAP1
000007f0: PUSH1 0xff
000007f2: AND
000007f3: DUP2
000007f4: JUMP
000007f5: JUMPDEST
000007f6: CALLVALUE
000007f7: DUP1
000007f8: ISZERO
000007f9: PUSH2 0x0800
000007fc: JUMPI
000007fd: PUSH0
000007fe: DUP1
000007ff: REVERT
00000800: JUMPDEST
00000801: POP
00000802: PUSH2 0x0445
00000805: PUSH1 0x0f
00000807: SLOAD
00000808: DUP2
00000809: JUMP
0000080a: JUMPDEST
0000080b: CALLVALUE
0000080c: DUP1
0000080d: ISZERO
0000080e: PUSH2 0x0815
00000811: JUMPI
00000812: PUSH0
00000813: DUP1
00000814: REVERT
00000815: JUMPDEST
00000816: POP
00000817: PUSH2 0x0445
0000081a: PUSH2 0x0824
0000081d: CALLDATASIZE
0000081e: PUSH1 0x04
00000820: PUSH2 0x3cd9
00000823: JUMP
00000824: JUMPDEST
00000825: PUSH2 0x1b55
00000828: JUMP
00000829: JUMPDEST
0000082a: CALLVALUE
0000082b: DUP1
0000082c: ISZERO
0000082d: PUSH2 0x0834
00000830: JUMPI
00000831: PUSH0
00000832: DUP1
00000833: REVERT
00000834: JUMPDEST
00000835: POP
00000836: PUSH2 0x03d5
00000839: PUSH2 0x1bd8
0000083c: JUMP
0000083d: JUMPDEST
0000083e: CALLVALUE
0000083f: DUP1
00000840: ISZERO
00000841: PUSH2 0x0848
00000844: JUMPI
00000845: PUSH0
00000846: DUP1
00000847: REVERT
00000848: JUMPDEST
00000849: POP
0000084a: PUSH1 0x14
0000084c: SLOAD
0000084d: PUSH2 0x0493
00000850: SWAP1
00000851: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000866: AND
00000867: DUP2
00000868: JUMP
00000869: JUMPDEST
0000086a: CALLVALUE
0000086b: DUP1
0000086c: ISZERO
0000086d: PUSH2 0x0874
00000870: JUMPI
00000871: PUSH0
00000872: DUP1
00000873: REVERT
00000874: JUMPDEST
00000875: POP
00000876: PUSH2 0x0445
00000879: PUSH1 0x19
0000087b: SLOAD
0000087c: DUP2
0000087d: JUMP
0000087e: JUMPDEST
0000087f: CALLVALUE
00000880: DUP1
00000881: ISZERO
00000882: PUSH2 0x0889
00000885: JUMPI
00000886: PUSH0
00000887: DUP1
00000888: REVERT
00000889: JUMPDEST
0000088a: POP
0000088b: PUSH2 0x0445
0000088e: PUSH1 0x17
00000890: SLOAD
00000891: DUP2
00000892: JUMP
00000893: JUMPDEST
00000894: CALLVALUE
00000895: DUP1
00000896: ISZERO
00000897: PUSH2 0x089e
0000089a: JUMPI
0000089b: PUSH0
0000089c: DUP1
0000089d: REVERT
0000089e: JUMPDEST
0000089f: POP
000008a0: PUSH2 0x0420
000008a3: PUSH2 0x08ad
000008a6: CALLDATASIZE
000008a7: PUSH1 0x04
000008a9: PUSH2 0x3cd9
000008ac: JUMP
000008ad: JUMPDEST
000008ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008c3: AND
000008c4: PUSH0
000008c5: SWAP1
000008c6: DUP2
000008c7: MSTORE
000008c8: PUSH1 0x05
000008ca: PUSH1 0x20
000008cc: MSTORE
000008cd: PUSH1 0x40
000008cf: SWAP1
000008d0: KECCAK256
000008d1: SLOAD
000008d2: PUSH1 0xff
000008d4: AND
000008d5: SWAP1
000008d6: JUMP
000008d7: JUMPDEST
000008d8: CALLVALUE
000008d9: DUP1
000008da: ISZERO
000008db: PUSH2 0x08e2
000008de: JUMPI
000008df: PUSH0
000008e0: DUP1
000008e1: REVERT
000008e2: JUMPDEST
000008e3: POP
000008e4: PUSH0
000008e5: SLOAD
000008e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008fb: AND
000008fc: PUSH2 0x0493
000008ff: JUMP
00000900: JUMPDEST
00000901: CALLVALUE
00000902: DUP1
00000903: ISZERO
00000904: PUSH2 0x090b
00000907: JUMPI
00000908: PUSH0
00000909: DUP1
0000090a: REVERT
0000090b: JUMPDEST
0000090c: POP
0000090d: PUSH2 0x03d5
00000910: PUSH2 0x091a
00000913: CALLDATASIZE
00000914: PUSH1 0x04
00000916: PUSH2 0x3be6
00000919: JUMP
0000091a: JUMPDEST
0000091b: PUSH2 0x1beb
0000091e: JUMP
0000091f: JUMPDEST
00000920: CALLVALUE
00000921: DUP1
00000922: ISZERO
00000923: PUSH2 0x092a
00000926: JUMPI
00000927: PUSH0
00000928: DUP1
00000929: REVERT
0000092a: JUMPDEST
0000092b: POP
0000092c: PUSH2 0x03eb
0000092f: PUSH2 0x1cf5
00000932: JUMP
00000933: JUMPDEST
00000934: CALLVALUE
00000935: DUP1
00000936: ISZERO
00000937: PUSH2 0x093e
0000093a: JUMPI
0000093b: PUSH0
0000093c: DUP1
0000093d: REVERT
0000093e: JUMPDEST
0000093f: POP
00000940: PUSH2 0x03d5
00000943: PUSH2 0x094d
00000946: CALLDATASIZE
00000947: PUSH1 0x04
00000949: PUSH2 0x3be6
0000094c: JUMP
0000094d: JUMPDEST
0000094e: PUSH2 0x1d04
00000951: JUMP
00000952: JUMPDEST
00000953: CALLVALUE
00000954: DUP1
00000955: ISZERO
00000956: PUSH2 0x095d
00000959: JUMPI
0000095a: PUSH0
0000095b: DUP1
0000095c: REVERT
0000095d: JUMPDEST
0000095e: POP
0000095f: PUSH2 0x0445
00000962: PUSH1 0x1f
00000964: SLOAD
00000965: DUP2
00000966: JUMP
00000967: JUMPDEST
00000968: CALLVALUE
00000969: DUP1
0000096a: ISZERO
0000096b: PUSH2 0x0972
0000096e: JUMPI
0000096f: PUSH0
00000970: DUP1
00000971: REVERT
00000972: JUMPDEST
00000973: POP
00000974: PUSH2 0x0420
00000977: PUSH2 0x0981
0000097a: CALLDATASIZE
0000097b: PUSH1 0x04
0000097d: PUSH2 0x3c71
00000980: JUMP
00000981: JUMPDEST
00000982: PUSH2 0x1e34
00000985: JUMP
00000986: JUMPDEST
00000987: CALLVALUE
00000988: DUP1
00000989: ISZERO
0000098a: PUSH2 0x0991
0000098d: JUMPI
0000098e: PUSH0
0000098f: DUP1
00000990: REVERT
00000991: JUMPDEST
00000992: POP
00000993: PUSH2 0x0420
00000996: PUSH2 0x09a0
00000999: CALLDATASIZE
0000099a: PUSH1 0x04
0000099c: PUSH2 0x3c71
0000099f: JUMP
000009a0: JUMPDEST
000009a1: PUSH2 0x1e8e
000009a4: JUMP
000009a5: JUMPDEST
000009a6: CALLVALUE
000009a7: DUP1
000009a8: ISZERO
000009a9: PUSH2 0x09b0
000009ac: JUMPI
000009ad: PUSH0
000009ae: DUP1
000009af: REVERT
000009b0: JUMPDEST
000009b1: POP
000009b2: PUSH2 0x03d5
000009b5: PUSH2 0x09bf
000009b8: CALLDATASIZE
000009b9: PUSH1 0x04
000009bb: PUSH2 0x3be6
000009be: JUMP
000009bf: JUMPDEST
000009c0: PUSH2 0x1e9a
000009c3: JUMP
000009c4: JUMPDEST
000009c5: CALLVALUE
000009c6: DUP1
000009c7: ISZERO
000009c8: PUSH2 0x09cf
000009cb: JUMPI
000009cc: PUSH0
000009cd: DUP1
000009ce: REVERT
000009cf: JUMPDEST
000009d0: POP
000009d1: PUSH2 0x03d5
000009d4: PUSH2 0x09de
000009d7: CALLDATASIZE
000009d8: PUSH1 0x04
000009da: PUSH2 0x3be6
000009dd: JUMP
000009de: JUMPDEST
000009df: PUSH2 0x1fa5
000009e2: JUMP
000009e3: JUMPDEST
000009e4: CALLVALUE
000009e5: DUP1
000009e6: ISZERO
000009e7: PUSH2 0x09ee
000009ea: JUMPI
000009eb: PUSH0
000009ec: DUP1
000009ed: REVERT
000009ee: JUMPDEST
000009ef: POP
000009f0: PUSH2 0x03d5
000009f3: PUSH2 0x201b
000009f6: JUMP
000009f7: JUMPDEST
000009f8: CALLVALUE
000009f9: DUP1
000009fa: ISZERO
000009fb: PUSH2 0x0a02
000009fe: JUMPI
000009ff: PUSH0
00000a00: DUP1
00000a01: REVERT
00000a02: JUMPDEST
00000a03: POP
00000a04: PUSH2 0x0445
00000a07: PUSH1 0x11
00000a09: SLOAD
00000a0a: DUP2
00000a0b: JUMP
00000a0c: JUMPDEST
00000a0d: CALLVALUE
00000a0e: DUP1
00000a0f: ISZERO
00000a10: PUSH2 0x0a17
00000a13: JUMPI
00000a14: PUSH0
00000a15: DUP1
00000a16: REVERT
00000a17: JUMPDEST
00000a18: POP
00000a19: PUSH2 0x03d5
00000a1c: PUSH2 0x0a26
00000a1f: CALLDATASIZE
00000a20: PUSH1 0x04
00000a22: PUSH2 0x3de1
00000a25: JUMP
00000a26: JUMPDEST
00000a27: PUSH2 0x204f
00000a2a: JUMP
00000a2b: JUMPDEST
00000a2c: CALLVALUE
00000a2d: DUP1
00000a2e: ISZERO
00000a2f: PUSH2 0x0a36
00000a32: JUMPI
00000a33: PUSH0
00000a34: DUP1
00000a35: REVERT
00000a36: JUMPDEST
00000a37: POP
00000a38: PUSH2 0x0445
00000a3b: PUSH1 0x18
00000a3d: SLOAD
00000a3e: DUP2
00000a3f: JUMP
00000a40: JUMPDEST
00000a41: CALLVALUE
00000a42: DUP1
00000a43: ISZERO
00000a44: PUSH2 0x0a4b
00000a47: JUMPI
00000a48: PUSH0
00000a49: DUP1
00000a4a: REVERT
00000a4b: JUMPDEST
00000a4c: POP
00000a4d: PUSH2 0x03d5
00000a50: PUSH2 0x0a5a
00000a53: CALLDATASIZE
00000a54: PUSH1 0x04
00000a56: PUSH2 0x3be6
00000a59: JUMP
00000a5a: JUMPDEST
00000a5b: PUSH2 0x20dc
00000a5e: JUMP
00000a5f: JUMPDEST
00000a60: CALLVALUE
00000a61: DUP1
00000a62: ISZERO
00000a63: PUSH2 0x0a6a
00000a66: JUMPI
00000a67: PUSH0
00000a68: DUP1
00000a69: REVERT
00000a6a: JUMPDEST
00000a6b: POP
00000a6c: PUSH2 0x03d5
00000a6f: PUSH2 0x0a79
00000a72: CALLDATASIZE
00000a73: PUSH1 0x04
00000a75: PUSH2 0x3be6
00000a78: JUMP
00000a79: JUMPDEST
00000a7a: PUSH2 0x21c1
00000a7d: JUMP
00000a7e: JUMPDEST
00000a7f: CALLVALUE
00000a80: DUP1
00000a81: ISZERO
00000a82: PUSH2 0x0a89
00000a85: JUMPI
00000a86: PUSH0
00000a87: DUP1
00000a88: REVERT
00000a89: JUMPDEST
00000a8a: POP
00000a8b: PUSH2 0x0445
00000a8e: PUSH1 0x1e
00000a90: SLOAD
00000a91: DUP2
00000a92: JUMP
00000a93: JUMPDEST
00000a94: CALLVALUE
00000a95: DUP1
00000a96: ISZERO
00000a97: PUSH2 0x0a9e
00000a9a: JUMPI
00000a9b: PUSH0
00000a9c: DUP1
00000a9d: REVERT
00000a9e: JUMPDEST
00000a9f: POP
00000aa0: PUSH1 0x1b
00000aa2: SLOAD
00000aa3: PUSH2 0x0493
00000aa6: SWAP1
00000aa7: PUSH2 0x0100
00000aaa: SWAP1
00000aab: DIV
00000aac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac1: AND
00000ac2: DUP2
00000ac3: JUMP
00000ac4: JUMPDEST
00000ac5: CALLVALUE
00000ac6: DUP1
00000ac7: ISZERO
00000ac8: PUSH2 0x0acf
00000acb: JUMPI
00000acc: PUSH0
00000acd: DUP1
00000ace: REVERT
00000acf: JUMPDEST
00000ad0: POP
00000ad1: PUSH2 0x0445
00000ad4: PUSH2 0x0ade
00000ad7: CALLDATASIZE
00000ad8: PUSH1 0x04
00000ada: PUSH2 0x3dfa
00000add: JUMP
00000ade: JUMPDEST
00000adf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af4: SWAP2
00000af5: DUP3
00000af6: AND
00000af7: PUSH0
00000af8: SWAP1
00000af9: DUP2
00000afa: MSTORE
00000afb: PUSH1 0x03
00000afd: PUSH1 0x20
00000aff: SWAP1
00000b00: DUP2
00000b01: MSTORE
00000b02: PUSH1 0x40
00000b04: DUP1
00000b05: DUP4
00000b06: KECCAK256
00000b07: SWAP4
00000b08: SWAP1
00000b09: SWAP5
00000b0a: AND
00000b0b: DUP3
00000b0c: MSTORE
00000b0d: SWAP2
00000b0e: SWAP1
00000b0f: SWAP2
00000b10: MSTORE
00000b11: KECCAK256
00000b12: SLOAD
00000b13: SWAP1
00000b14: JUMP
00000b15: JUMPDEST
00000b16: CALLVALUE
00000b17: DUP1
00000b18: ISZERO
00000b19: PUSH2 0x0b20
00000b1c: JUMPI
00000b1d: PUSH0
00000b1e: DUP1
00000b1f: REVERT
00000b20: JUMPDEST
00000b21: POP
00000b22: PUSH2 0x03d5
00000b25: PUSH2 0x0b2f
00000b28: CALLDATASIZE
00000b29: PUSH1 0x04
00000b2b: PUSH2 0x3cd9
00000b2e: JUMP
00000b2f: JUMPDEST
00000b30: PUSH2 0x22cc
00000b33: JUMP
00000b34: JUMPDEST
00000b35: CALLVALUE
00000b36: DUP1
00000b37: ISZERO
00000b38: PUSH2 0x0b3f
00000b3b: JUMPI
00000b3c: PUSH0
00000b3d: DUP1
00000b3e: REVERT
00000b3f: JUMPDEST
00000b40: POP
00000b41: PUSH2 0x03d5
00000b44: PUSH2 0x0b4e
00000b47: CALLDATASIZE
00000b48: PUSH1 0x04
00000b4a: PUSH2 0x3be6
00000b4d: JUMP
00000b4e: JUMPDEST
00000b4f: PUSH2 0x231f
00000b52: JUMP
00000b53: JUMPDEST
00000b54: CALLVALUE
00000b55: DUP1
00000b56: ISZERO
00000b57: PUSH2 0x0b5e
00000b5a: JUMPI
00000b5b: PUSH0
00000b5c: DUP1
00000b5d: REVERT
00000b5e: JUMPDEST
00000b5f: POP
00000b60: PUSH2 0x03d5
00000b63: PUSH2 0x2429
00000b66: JUMP
00000b67: JUMPDEST
00000b68: CALLVALUE
00000b69: DUP1
00000b6a: ISZERO
00000b6b: PUSH2 0x0b72
00000b6e: JUMPI
00000b6f: PUSH0
00000b70: DUP1
00000b71: REVERT
00000b72: JUMPDEST
00000b73: POP
00000b74: PUSH2 0x03d5
00000b77: PUSH2 0x0b81
00000b7a: CALLDATASIZE
00000b7b: PUSH1 0x04
00000b7d: PUSH2 0x3be6
00000b80: JUMP
00000b81: JUMPDEST
00000b82: PUSH2 0x24cb
00000b85: JUMP
00000b86: JUMPDEST
00000b87: CALLVALUE
00000b88: DUP1
00000b89: ISZERO
00000b8a: PUSH2 0x0b91
00000b8d: JUMPI
00000b8e: PUSH0
00000b8f: DUP1
00000b90: REVERT
00000b91: JUMPDEST
00000b92: POP
00000b93: PUSH2 0x03d5
00000b96: PUSH2 0x0ba0
00000b99: CALLDATASIZE
00000b9a: PUSH1 0x04
00000b9c: PUSH2 0x3cd9
00000b9f: JUMP
00000ba0: JUMPDEST
00000ba1: PUSH2 0x2541
00000ba4: JUMP
00000ba5: JUMPDEST
00000ba6: CALLVALUE
00000ba7: DUP1
00000ba8: ISZERO
00000ba9: PUSH2 0x0bb0
00000bac: JUMPI
00000bad: PUSH0
00000bae: DUP1
00000baf: REVERT
00000bb0: JUMPDEST
00000bb1: POP
00000bb2: PUSH2 0x0420
00000bb5: PUSH2 0x0bbf
00000bb8: CALLDATASIZE
00000bb9: PUSH1 0x04
00000bbb: PUSH2 0x3cd9
00000bbe: JUMP
00000bbf: JUMPDEST
00000bc0: PUSH1 0x22
00000bc2: PUSH1 0x20
00000bc4: MSTORE
00000bc5: PUSH0
00000bc6: SWAP1
00000bc7: DUP2
00000bc8: MSTORE
00000bc9: PUSH1 0x40
00000bcb: SWAP1
00000bcc: KECCAK256
00000bcd: SLOAD
00000bce: PUSH1 0xff
00000bd0: AND
00000bd1: DUP2
00000bd2: JUMP
00000bd3: JUMPDEST
00000bd4: PUSH2 0x0bdb
00000bd7: PUSH2 0x25f5
00000bda: JUMP
00000bdb: JUMPDEST
00000bdc: PUSH1 0x20
00000bde: SLOAD
00000bdf: PUSH1 0xff
00000be1: AND
00000be2: ISZERO
00000be3: PUSH2 0x0c4d
00000be6: JUMPI
00000be7: PUSH1 0x40
00000be9: MLOAD
00000bea: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c0b: DUP2
00000c0c: MSTORE
00000c0d: PUSH1 0x20
00000c0f: PUSH1 0x04
00000c11: DUP3
00000c12: ADD
00000c13: MSTORE
00000c14: PUSH1 0x1a
00000c16: PUSH1 0x24
00000c18: DUP3
00000c19: ADD
00000c1a: MSTORE
00000c1b: PUSH32 0x4665652070657263656e746167657320617265206c6f636b6564000000000000
00000c3c: PUSH1 0x44
00000c3e: DUP3
00000c3f: ADD
00000c40: MSTORE
00000c41: PUSH1 0x64
00000c43: ADD
00000c44: JUMPDEST
00000c45: PUSH1 0x40
00000c47: MLOAD
00000c48: DUP1
00000c49: SWAP2
00000c4a: SUB
00000c4b: SWAP1
00000c4c: REVERT
00000c4d: JUMPDEST
00000c4e: PUSH1 0x01
00000c50: DUP2
00000c51: GT
00000c52: ISZERO
00000c53: PUSH2 0x0cb8
00000c56: JUMPI
00000c57: PUSH1 0x40
00000c59: MLOAD
00000c5a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c7b: DUP2
00000c7c: MSTORE
00000c7d: PUSH1 0x20
00000c7f: PUSH1 0x04
00000c81: DUP3
00000c82: ADD
00000c83: MSTORE
00000c84: PUSH1 0x1e
00000c86: PUSH1 0x24
00000c88: DUP3
00000c89: ADD
00000c8a: MSTORE
00000c8b: PUSH32 0x546178206665652063616e6e6f74206265206d6f7265207468616e2031250000
00000cac: PUSH1 0x44
00000cae: DUP3
00000caf: ADD
00000cb0: MSTORE
00000cb1: PUSH1 0x64
00000cb3: ADD
00000cb4: PUSH2 0x0c44
00000cb7: JUMP
00000cb8: JUMPDEST
00000cb9: PUSH1 0x0d
00000cbb: SSTORE
00000cbc: JUMP
00000cbd: JUMPDEST
00000cbe: PUSH1 0x60
00000cc0: PUSH1 0x0a
00000cc2: DUP1
00000cc3: SLOAD
00000cc4: PUSH2 0x0ccc
00000cc7: SWAP1
00000cc8: PUSH2 0x3e31
00000ccb: JUMP
00000ccc: JUMPDEST
00000ccd: DUP1
00000cce: PUSH1 0x1f
00000cd0: ADD
00000cd1: PUSH1 0x20
00000cd3: DUP1
00000cd4: SWAP2
00000cd5: DIV
00000cd6: MUL
00000cd7: PUSH1 0x20
00000cd9: ADD
00000cda: PUSH1 0x40
00000cdc: MLOAD
00000cdd: SWAP1
00000cde: DUP2
00000cdf: ADD
00000ce0: PUSH1 0x40
00000ce2: MSTORE
00000ce3: DUP1
00000ce4: SWAP3
00000ce5: SWAP2
00000ce6: SWAP1
00000ce7: DUP2
00000ce8: DUP2
00000ce9: MSTORE
00000cea: PUSH1 0x20
00000cec: ADD
00000ced: DUP3
00000cee: DUP1
00000cef: SLOAD
00000cf0: PUSH2 0x0cf8
00000cf3: SWAP1
00000cf4: PUSH2 0x3e31
00000cf7: JUMP
00000cf8: JUMPDEST
00000cf9: DUP1
00000cfa: ISZERO
00000cfb: PUSH2 0x0d43
00000cfe: JUMPI
00000cff: DUP1
00000d00: PUSH1 0x1f
00000d02: LT
00000d03: PUSH2 0x0d1a
00000d06: JUMPI
00000d07: PUSH2 0x0100
00000d0a: DUP1
00000d0b: DUP4
00000d0c: SLOAD
00000d0d: DIV
00000d0e: MUL
00000d0f: DUP4
00000d10: MSTORE
00000d11: SWAP2
00000d12: PUSH1 0x20
00000d14: ADD
00000d15: SWAP2
00000d16: PUSH2 0x0d43
00000d19: JUMP
00000d1a: JUMPDEST
00000d1b: DUP3
00000d1c: ADD
00000d1d: SWAP2
00000d1e: SWAP1
00000d1f: PUSH0
00000d20: MSTORE
00000d21: PUSH1 0x20
00000d23: PUSH0
00000d24: KECCAK256
00000d25: SWAP1
00000d26: JUMPDEST
00000d27: DUP2
00000d28: SLOAD
00000d29: DUP2
00000d2a: MSTORE
00000d2b: SWAP1
00000d2c: PUSH1 0x01
00000d2e: ADD
00000d2f: SWAP1
00000d30: PUSH1 0x20
00000d32: ADD
00000d33: DUP1
00000d34: DUP4
00000d35: GT
00000d36: PUSH2 0x0d26
00000d39: JUMPI
00000d3a: DUP3
00000d3b: SWAP1
00000d3c: SUB
00000d3d: PUSH1 0x1f
00000d3f: AND
00000d40: DUP3
00000d41: ADD
00000d42: SWAP2
00000d43: JUMPDEST
00000d44: POP
00000d45: POP
00000d46: POP
00000d47: POP
00000d48: POP
00000d49: SWAP1
00000d4a: POP
00000d4b: SWAP1
00000d4c: JUMP
00000d4d: JUMPDEST
00000d4e: PUSH0
00000d4f: PUSH2 0x0d59
00000d52: CALLER
00000d53: DUP5
00000d54: DUP5
00000d55: PUSH2 0x2675
00000d58: JUMP
00000d59: JUMPDEST
00000d5a: POP
00000d5b: PUSH1 0x01
00000d5d: JUMPDEST
00000d5e: SWAP3
00000d5f: SWAP2
00000d60: POP
00000d61: POP
00000d62: JUMP
00000d63: JUMPDEST
00000d64: PUSH0
00000d65: PUSH2 0x0d6f
00000d68: DUP5
00000d69: DUP5
00000d6a: DUP5
00000d6b: PUSH2 0x2827
00000d6e: JUMP
00000d6f: JUMPDEST
00000d70: PUSH2 0x0dcd
00000d73: DUP5
00000d74: CALLER
00000d75: PUSH2 0x0dc8
00000d78: DUP6
00000d79: PUSH1 0x40
00000d7b: MLOAD
00000d7c: DUP1
00000d7d: PUSH1 0x60
00000d7f: ADD
00000d80: PUSH1 0x40
00000d82: MSTORE
00000d83: DUP1
00000d84: PUSH1 0x28
00000d86: DUP2
00000d87: MSTORE
00000d88: PUSH1 0x20
00000d8a: ADD
00000d8b: PUSH2 0x4050
00000d8e: PUSH1 0x28
00000d90: SWAP2
00000d91: CODECOPY
00000d92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da7: DUP11
00000da8: AND
00000da9: PUSH0
00000daa: SWAP1
00000dab: DUP2
00000dac: MSTORE
00000dad: PUSH1 0x03
00000daf: PUSH1 0x20
00000db1: SWAP1
00000db2: DUP2
00000db3: MSTORE
00000db4: PUSH1 0x40
00000db6: DUP1
00000db7: DUP4
00000db8: KECCAK256
00000db9: CALLER
00000dba: DUP5
00000dbb: MSTORE
00000dbc: SWAP1
00000dbd: SWAP2
00000dbe: MSTORE
00000dbf: SWAP1
00000dc0: KECCAK256
00000dc1: SLOAD
00000dc2: SWAP2
00000dc3: SWAP1
00000dc4: PUSH2 0x2c76
00000dc7: JUMP
00000dc8: JUMPDEST
00000dc9: PUSH2 0x2675
00000dcc: JUMP
00000dcd: JUMPDEST
00000dce: POP
00000dcf: PUSH1 0x01
00000dd1: SWAP4
00000dd2: SWAP3
00000dd3: POP
00000dd4: POP
00000dd5: POP
00000dd6: JUMP
00000dd7: JUMPDEST
00000dd8: PUSH0
00000dd9: PUSH1 0x08
00000ddb: SLOAD
00000ddc: DUP3
00000ddd: GT
00000dde: ISZERO
00000ddf: PUSH2 0x0e6a
00000de2: JUMPI
00000de3: PUSH1 0x40
00000de5: MLOAD
00000de6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e07: DUP2
00000e08: MSTORE
00000e09: PUSH1 0x20
00000e0b: PUSH1 0x04
00000e0d: DUP3
00000e0e: ADD
00000e0f: MSTORE
00000e10: PUSH1 0x2a
00000e12: PUSH1 0x24
00000e14: DUP3
00000e15: ADD
00000e16: MSTORE
00000e17: PUSH32 0x416d6f756e74206d757374206265206c657373207468616e20746f74616c2072
00000e38: PUSH1 0x44
00000e3a: DUP3
00000e3b: ADD
00000e3c: MSTORE
00000e3d: PUSH32 0x65666c656374696f6e7300000000000000000000000000000000000000000000
00000e5e: PUSH1 0x64
00000e60: DUP3
00000e61: ADD
00000e62: MSTORE
00000e63: PUSH1 0x84
00000e65: ADD
00000e66: PUSH2 0x0c44
00000e69: JUMP
00000e6a: JUMPDEST
00000e6b: PUSH0
00000e6c: PUSH2 0x0e73
00000e6f: PUSH2 0x2cbb
00000e72: JUMP
00000e73: JUMPDEST
00000e74: SWAP1
00000e75: POP
00000e76: PUSH2 0x0e7f
00000e79: DUP4
00000e7a: DUP3
00000e7b: PUSH2 0x2cdc
00000e7e: JUMP
00000e7f: JUMPDEST
00000e80: SWAP4
00000e81: SWAP3
00000e82: POP
00000e83: POP
00000e84: POP
00000e85: JUMP
00000e86: JUMPDEST
00000e87: PUSH2 0x0e8e
00000e8a: PUSH2 0x25f5
00000e8d: JUMP
00000e8e: JUMPDEST
00000e8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ea4: DUP2
00000ea5: AND
00000ea6: PUSH0
00000ea7: SWAP1
00000ea8: DUP2
00000ea9: MSTORE
00000eaa: PUSH1 0x05
00000eac: PUSH1 0x20
00000eae: MSTORE
00000eaf: PUSH1 0x40
00000eb1: SWAP1
00000eb2: KECCAK256
00000eb3: SLOAD
00000eb4: PUSH1 0xff
00000eb6: AND
00000eb7: PUSH2 0x0f1c
00000eba: JUMPI
00000ebb: PUSH1 0x40
00000ebd: MLOAD
00000ebe: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000edf: DUP2
00000ee0: MSTORE
00000ee1: PUSH1 0x20
00000ee3: PUSH1 0x04
00000ee5: DUP3
00000ee6: ADD
00000ee7: MSTORE
00000ee8: PUSH1 0x1b
00000eea: PUSH1 0x24
00000eec: DUP3
00000eed: ADD
00000eee: MSTORE
00000eef: PUSH32 0x4163636f756e7420697320616c7265616479206578636c756465640000000000
00000f10: PUSH1 0x44
00000f12: DUP3
00000f13: ADD
00000f14: MSTORE
00000f15: PUSH1 0x64
00000f17: ADD
00000f18: PUSH2 0x0c44
00000f1b: JUMP
00000f1c: JUMPDEST
00000f1d: PUSH0
00000f1e: JUMPDEST
00000f1f: PUSH1 0x06
00000f21: SLOAD
00000f22: DUP2
00000f23: LT
00000f24: ISZERO
00000f25: PUSH2 0x10cd
00000f28: JUMPI
00000f29: DUP2
00000f2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f3f: AND
00000f40: PUSH1 0x06
00000f42: DUP3
00000f43: DUP2
00000f44: SLOAD
00000f45: DUP2
00000f46: LT
00000f47: PUSH2 0x0f52
00000f4a: JUMPI
00000f4b: PUSH2 0x0f52
00000f4e: PUSH2 0x3e82
00000f51: JUMP
00000f52: JUMPDEST
00000f53: PUSH0
00000f54: SWAP2
00000f55: DUP3
00000f56: MSTORE
00000f57: PUSH1 0x20
00000f59: SWAP1
00000f5a: SWAP2
00000f5b: KECCAK256
00000f5c: ADD
00000f5d: SLOAD
00000f5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f73: AND
00000f74: SUB
00000f75: PUSH2 0x10c5
00000f78: JUMPI
00000f79: PUSH1 0x06
00000f7b: DUP1
00000f7c: SLOAD
00000f7d: PUSH2 0x0f88
00000f80: SWAP1
00000f81: PUSH1 0x01
00000f83: SWAP1
00000f84: PUSH2 0x3edc
00000f87: JUMP
00000f88: JUMPDEST
00000f89: DUP2
00000f8a: SLOAD
00000f8b: DUP2
00000f8c: LT
00000f8d: PUSH2 0x0f98
00000f90: JUMPI
00000f91: PUSH2 0x0f98
00000f94: PUSH2 0x3e82
00000f97: JUMP
00000f98: JUMPDEST
00000f99: PUSH0
00000f9a: SWAP2
00000f9b: DUP3
00000f9c: MSTORE
00000f9d: PUSH1 0x20
00000f9f: SWAP1
00000fa0: SWAP2
00000fa1: KECCAK256
00000fa2: ADD
00000fa3: SLOAD
00000fa4: PUSH1 0x06
00000fa6: DUP1
00000fa7: SLOAD
00000fa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fbd: SWAP1
00000fbe: SWAP3
00000fbf: AND
00000fc0: SWAP2
00000fc1: DUP4
00000fc2: SWAP1
00000fc3: DUP2
00000fc4: LT
00000fc5: PUSH2 0x0fd0
00000fc8: JUMPI
00000fc9: PUSH2 0x0fd0
00000fcc: PUSH2 0x3e82
00000fcf: JUMP
00000fd0: JUMPDEST
00000fd1: PUSH0
00000fd2: SWAP2
00000fd3: DUP3
00000fd4: MSTORE
00000fd5: PUSH1 0x20
00000fd7: DUP1
00000fd8: DUP4
00000fd9: KECCAK256
00000fda: SWAP2
00000fdb: SWAP1
00000fdc: SWAP2
00000fdd: ADD
00000fde: DUP1
00000fdf: SLOAD
00000fe0: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001001: AND
00001002: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001017: SWAP5
00001018: DUP6
00001019: AND
0000101a: OR
0000101b: SWAP1
0000101c: SSTORE
0000101d: SWAP2
0000101e: DUP5
0000101f: AND
00001020: DUP2
00001021: MSTORE
00001022: PUSH1 0x02
00001024: DUP3
00001025: MSTORE
00001026: PUSH1 0x40
00001028: DUP1
00001029: DUP3
0000102a: KECCAK256
0000102b: DUP3
0000102c: SWAP1
0000102d: SSTORE
0000102e: PUSH1 0x05
00001030: SWAP1
00001031: SWAP3
00001032: MSTORE
00001033: KECCAK256
00001034: DUP1
00001035: SLOAD
00001036: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001057: AND
00001058: SWAP1
00001059: SSTORE
0000105a: PUSH1 0x06
0000105c: DUP1
0000105d: SLOAD
0000105e: DUP1
0000105f: PUSH2 0x106a
00001062: JUMPI
00001063: PUSH2 0x106a
00001066: PUSH2 0x3eef
00001069: JUMP
0000106a: JUMPDEST
0000106b: PUSH0
0000106c: DUP3
0000106d: DUP2
0000106e: MSTORE
0000106f: PUSH1 0x20
00001071: SWAP1
00001072: KECCAK256
00001073: DUP2
00001074: ADD
00001075: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001096: SWAP1
00001097: DUP2
00001098: ADD
00001099: DUP1
0000109a: SLOAD
0000109b: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000010bc: AND
000010bd: SWAP1
000010be: SSTORE
000010bf: ADD
000010c0: SWAP1
000010c1: SSTORE
000010c2: POP
000010c3: POP
000010c4: JUMP
000010c5: JUMPDEST
000010c6: PUSH1 0x01
000010c8: ADD
000010c9: PUSH2 0x0f1e
000010cc: JUMP
000010cd: JUMPDEST
000010ce: POP
000010cf: POP
000010d0: JUMP
000010d1: JUMPDEST
000010d2: CALLER
000010d3: PUSH0
000010d4: DUP2
000010d5: DUP2
000010d6: MSTORE
000010d7: PUSH1 0x03
000010d9: PUSH1 0x20
000010db: SWAP1
000010dc: DUP2
000010dd: MSTORE
000010de: PUSH1 0x40
000010e0: DUP1
000010e1: DUP4
000010e2: KECCAK256
000010e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010f8: DUP8
000010f9: AND
000010fa: DUP5
000010fb: MSTORE
000010fc: SWAP1
000010fd: SWAP2
000010fe: MSTORE
000010ff: DUP2
00001100: KECCAK256
00001101: SLOAD
00001102: SWAP1
00001103: SWAP2
00001104: PUSH2 0x0d59
00001107: SWAP2
00001108: DUP6
00001109: SWAP1
0000110a: PUSH2 0x0dc8
0000110d: SWAP1
0000110e: DUP7
0000110f: PUSH2 0x2ce7
00001112: JUMP
00001113: JUMPDEST
00001114: CALLER
00001115: PUSH0
00001116: DUP2
00001117: DUP2
00001118: MSTORE
00001119: PUSH1 0x05
0000111b: PUSH1 0x20
0000111d: MSTORE
0000111e: PUSH1 0x40
00001120: SWAP1
00001121: KECCAK256
00001122: SLOAD
00001123: PUSH1 0xff
00001125: AND
00001126: ISZERO
00001127: PUSH2 0x11b2
0000112a: JUMPI
0000112b: PUSH1 0x40
0000112d: MLOAD
0000112e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000114f: DUP2
00001150: MSTORE
00001151: PUSH1 0x20
00001153: PUSH1 0x04
00001155: DUP3
00001156: ADD
00001157: MSTORE
00001158: PUSH1 0x2c
0000115a: PUSH1 0x24
0000115c: DUP3
0000115d: ADD
0000115e: MSTORE
0000115f: PUSH32 0x4578636c75646564206164647265737365732063616e6e6f742063616c6c2074
00001180: PUSH1 0x44
00001182: DUP3
00001183: ADD
00001184: MSTORE
00001185: PUSH32 0x6869732066756e6374696f6e0000000000000000000000000000000000000000
000011a6: PUSH1 0x64
000011a8: DUP3
000011a9: ADD
000011aa: MSTORE
000011ab: PUSH1 0x84
000011ad: ADD
000011ae: PUSH2 0x0c44
000011b1: JUMP
000011b2: JUMPDEST
000011b3: PUSH0
000011b4: PUSH2 0x11bc
000011b7: DUP4
000011b8: PUSH2 0x2cf2
000011bb: JUMP
000011bc: JUMPDEST
000011bd: POP
000011be: POP
000011bf: POP
000011c0: POP
000011c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d6: DUP5
000011d7: AND
000011d8: PUSH0
000011d9: SWAP1
000011da: DUP2
000011db: MSTORE
000011dc: PUSH1 0x01
000011de: PUSH1 0x20
000011e0: MSTORE
000011e1: PUSH1 0x40
000011e3: SWAP1
000011e4: KECCAK256
000011e5: SLOAD
000011e6: SWAP2
000011e7: SWAP3
000011e8: POP
000011e9: PUSH2 0x11f4
000011ec: SWAP2
000011ed: SWAP1
000011ee: POP
000011ef: DUP3
000011f0: PUSH2 0x2d3a
000011f3: JUMP
000011f4: JUMPDEST
000011f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000120a: DUP4
0000120b: AND
0000120c: PUSH0
0000120d: SWAP1
0000120e: DUP2
0000120f: MSTORE
00001210: PUSH1 0x01
00001212: PUSH1 0x20
00001214: MSTORE
00001215: PUSH1 0x40
00001217: SWAP1
00001218: KECCAK256
00001219: SSTORE
0000121a: PUSH1 0x08
0000121c: SLOAD
0000121d: PUSH2 0x1226
00001220: SWAP1
00001221: DUP3
00001222: PUSH2 0x2d3a
00001225: JUMP
00001226: JUMPDEST
00001227: PUSH1 0x08
00001229: SSTORE
0000122a: PUSH1 0x09
0000122c: SLOAD
0000122d: PUSH2 0x1236
00001230: SWAP1
00001231: DUP5
00001232: PUSH2 0x2ce7
00001235: JUMP
00001236: JUMPDEST
00001237: PUSH1 0x09
00001239: SSTORE
0000123a: POP
0000123b: POP
0000123c: POP
0000123d: JUMP
0000123e: JUMPDEST
0000123f: PUSH2 0x1246
00001242: PUSH2 0x25f5
00001245: JUMP
00001246: JUMPDEST
00001247: DUP3
00001248: DUP2
00001249: EQ
0000124a: PUSH2 0x12af
0000124d: JUMPI
0000124e: PUSH1 0x40
00001250: MLOAD
00001251: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001272: DUP2
00001273: MSTORE
00001274: PUSH1 0x20
00001276: PUSH1 0x04
00001278: DUP3
00001279: ADD
0000127a: MSTORE
0000127b: PUSH1 0x13
0000127d: PUSH1 0x24
0000127f: DUP3
00001280: ADD
00001281: MSTORE
00001282: PUSH32 0x4e6f6e2d6d61746368696e67206c656e67746800000000000000000000000000
000012a3: PUSH1 0x44
000012a5: DUP3
000012a6: ADD
000012a7: MSTORE
000012a8: PUSH1 0x64
000012aa: ADD
000012ab: PUSH2 0x0c44
000012ae: JUMP
000012af: JUMPDEST
000012b0: PUSH0
000012b1: JUMPDEST
000012b2: DUP4
000012b3: DUP2
000012b4: LT
000012b5: ISZERO
000012b6: PUSH2 0x1364
000012b9: JUMPI
000012ba: DUP3
000012bb: DUP3
000012bc: DUP3
000012bd: DUP2
000012be: DUP2
000012bf: LT
000012c0: PUSH2 0x12cb
000012c3: JUMPI
000012c4: PUSH2 0x12cb
000012c7: PUSH2 0x3e82
000012ca: JUMP
000012cb: JUMPDEST
000012cc: SWAP1
000012cd: POP
000012ce: PUSH1 0x20
000012d0: MUL
000012d1: ADD
000012d2: PUSH1 0x20
000012d4: DUP2
000012d5: ADD
000012d6: SWAP1
000012d7: PUSH2 0x12e0
000012da: SWAP2
000012db: SWAP1
000012dc: PUSH2 0x3de1
000012df: JUMP
000012e0: JUMPDEST
000012e1: PUSH1 0x22
000012e3: PUSH0
000012e4: DUP8
000012e5: DUP8
000012e6: DUP6
000012e7: DUP2
000012e8: DUP2
000012e9: LT
000012ea: PUSH2 0x12f5
000012ed: JUMPI
000012ee: PUSH2 0x12f5
000012f1: PUSH2 0x3e82
000012f4: JUMP
000012f5: JUMPDEST
000012f6: SWAP1
000012f7: POP
000012f8: PUSH1 0x20
000012fa: MUL
000012fb: ADD
000012fc: PUSH1 0x20
000012fe: DUP2
000012ff: ADD
00001300: SWAP1
00001301: PUSH2 0x130a
00001304: SWAP2
00001305: SWAP1
00001306: PUSH2 0x3cd9
00001309: JUMP
0000130a: JUMPDEST
0000130b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001320: AND
00001321: DUP2
00001322: MSTORE
00001323: PUSH1 0x20
00001325: DUP2
00001326: ADD
00001327: SWAP2
00001328: SWAP1
00001329: SWAP2
0000132a: MSTORE
0000132b: PUSH1 0x40
0000132d: ADD
0000132e: PUSH0
0000132f: KECCAK256
00001330: DUP1
00001331: SLOAD
00001332: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001353: AND
00001354: SWAP2
00001355: ISZERO
00001356: ISZERO
00001357: SWAP2
00001358: SWAP1
00001359: SWAP2
0000135a: OR
0000135b: SWAP1
0000135c: SSTORE
0000135d: PUSH1 0x01
0000135f: ADD
00001360: PUSH2 0x12b1
00001363: JUMP
00001364: JUMPDEST
00001365: POP
00001366: POP
00001367: POP
00001368: POP
00001369: POP
0000136a: JUMP
0000136b: JUMPDEST
0000136c: PUSH2 0x1373
0000136f: PUSH2 0x25f5
00001372: JUMP
00001373: JUMPDEST
00001374: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001389: AND
0000138a: PUSH0
0000138b: SWAP1
0000138c: DUP2
0000138d: MSTORE
0000138e: PUSH1 0x04
00001390: PUSH1 0x20
00001392: MSTORE
00001393: PUSH1 0x40
00001395: SWAP1
00001396: KECCAK256
00001397: DUP1
00001398: SLOAD
00001399: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000013ba: AND
000013bb: PUSH1 0x01
000013bd: OR
000013be: SWAP1
000013bf: SSTORE
000013c0: JUMP
000013c1: JUMPDEST
000013c2: PUSH0
000013c3: PUSH1 0x07
000013c5: SLOAD
000013c6: DUP4
000013c7: GT
000013c8: ISZERO
000013c9: PUSH2 0x142e
000013cc: JUMPI
000013cd: PUSH1 0x40
000013cf: MLOAD
000013d0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013f1: DUP2
000013f2: MSTORE
000013f3: PUSH1 0x20
000013f5: PUSH1 0x04
000013f7: DUP3
000013f8: ADD
000013f9: MSTORE
000013fa: PUSH1 0x1f
000013fc: PUSH1 0x24
000013fe: DUP3
000013ff: ADD
00001400: MSTORE
00001401: PUSH32 0x416d6f756e74206d757374206265206c657373207468616e20737570706c7900
00001422: PUSH1 0x44
00001424: DUP3
00001425: ADD
00001426: MSTORE
00001427: PUSH1 0x64
00001429: ADD
0000142a: PUSH2 0x0c44
0000142d: JUMP
0000142e: JUMPDEST
0000142f: DUP2
00001430: PUSH2 0x144c
00001433: JUMPI
00001434: PUSH0
00001435: PUSH2 0x143d
00001438: DUP5
00001439: PUSH2 0x2cf2
0000143c: JUMP
0000143d: JUMPDEST
0000143e: POP
0000143f: SWAP4
00001440: SWAP6
00001441: POP
00001442: PUSH2 0x0d5d
00001445: SWAP5
00001446: POP
00001447: POP
00001448: POP
00001449: POP
0000144a: POP
0000144b: JUMP
0000144c: JUMPDEST
0000144d: PUSH0
0000144e: PUSH2 0x1456
00001451: DUP5
00001452: PUSH2 0x2cf2
00001455: JUMP
00001456: JUMPDEST
00001457: POP
00001458: SWAP3
00001459: SWAP6
0000145a: POP
0000145b: PUSH2 0x0d5d
0000145e: SWAP5
0000145f: POP
00001460: POP
00001461: POP
00001462: POP
00001463: POP
00001464: JUMP
00001465: JUMPDEST
00001466: PUSH2 0x146d
00001469: PUSH2 0x25f5
0000146c: JUMP
0000146d: JUMPDEST
0000146e: PUSH1 0x20
00001470: SLOAD
00001471: PUSH1 0xff
00001473: AND
00001474: ISZERO
00001475: PUSH2 0x14da
00001478: JUMPI
00001479: PUSH1 0x40
0000147b: MLOAD
0000147c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000149d: DUP2
0000149e: MSTORE
0000149f: PUSH1 0x20
000014a1: PUSH1 0x04
000014a3: DUP3
000014a4: ADD
000014a5: MSTORE
000014a6: PUSH1 0x1a
000014a8: PUSH1 0x24
000014aa: DUP3
000014ab: ADD
000014ac: MSTORE
000014ad: PUSH32 0x4665652070657263656e746167657320617265206c6f636b6564000000000000
000014ce: PUSH1 0x44
000014d0: DUP3
000014d1: ADD
000014d2: MSTORE
000014d3: PUSH1 0x64
000014d5: ADD
000014d6: PUSH2 0x0c44
000014d9: JUMP
000014da: JUMPDEST
000014db: PUSH1 0x02
000014dd: DUP2
000014de: GT
000014df: ISZERO
000014e0: PUSH2 0x156a
000014e3: JUMPI
000014e4: PUSH1 0x40
000014e6: MLOAD
000014e7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001508: DUP2
00001509: MSTORE
0000150a: PUSH1 0x20
0000150c: PUSH1 0x04
0000150e: DUP3
0000150f: ADD
00001510: MSTORE
00001511: PUSH1 0x24
00001513: DUP1
00001514: DUP3
00001515: ADD
00001516: MSTORE
00001517: PUSH32 0x4d61726b6574696e67206665652063616e6e6f74206265206d6f726520746861
00001538: PUSH1 0x44
0000153a: DUP3
0000153b: ADD
0000153c: MSTORE
0000153d: PUSH32 0x6e20322500000000000000000000000000000000000000000000000000000000
0000155e: PUSH1 0x64
00001560: DUP3
00001561: ADD
00001562: MSTORE
00001563: PUSH1 0x84
00001565: ADD
00001566: PUSH2 0x0c44
00001569: JUMP
0000156a: JUMPDEST
0000156b: PUSH1 0x13
0000156d: SSTORE
0000156e: JUMP
0000156f: JUMPDEST
00001570: PUSH0
00001571: SLOAD
00001572: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001587: AND
00001588: CALLER
00001589: EQ
0000158a: DUP1
0000158b: PUSH2 0x15b0
0000158e: JUMPI
0000158f: POP
00001590: PUSH1 0x1b
00001592: SLOAD
00001593: PUSH2 0x0100
00001596: SWAP1
00001597: DIV
00001598: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ad: AND
000015ae: CALLER
000015af: EQ
000015b0: JUMPDEST
000015b1: PUSH2 0x163c
000015b4: JUMPI
000015b5: PUSH1 0x40
000015b7: MLOAD
000015b8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015d9: DUP2
000015da: MSTORE
000015db: PUSH1 0x20
000015dd: PUSH1 0x04
000015df: DUP3
000015e0: ADD
000015e1: MSTORE
000015e2: PUSH1 0x22
000015e4: PUSH1 0x24
000015e6: DUP3
000015e7: ADD
000015e8: MSTORE
000015e9: PUSH32 0x4f6e6c792061646d696e206f7220616e7469206d616e6167657220616c6c6f77
0000160a: PUSH1 0x44
0000160c: DUP3
0000160d: ADD
0000160e: MSTORE
0000160f: PUSH32 0x6564000000000000000000000000000000000000000000000000000000000000
00001630: PUSH1 0x64
00001632: DUP3
00001633: ADD
00001634: MSTORE
00001635: PUSH1 0x84
00001637: ADD
00001638: PUSH2 0x0c44
0000163b: JUMP
0000163c: JUMPDEST
0000163d: PUSH1 0x1b
0000163f: DUP1
00001640: SLOAD
00001641: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001662: AND
00001663: SWAP2
00001664: ISZERO
00001665: ISZERO
00001666: SWAP2
00001667: SWAP1
00001668: SWAP2
00001669: OR
0000166a: SWAP1
0000166b: SSTORE
0000166c: JUMP
0000166d: JUMPDEST
0000166e: PUSH2 0x1675
00001671: PUSH2 0x25f5
00001674: JUMP
00001675: JUMPDEST
00001676: PUSH1 0x1c
00001678: SLOAD
00001679: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000168e: SWAP1
0000168f: DUP2
00001690: AND
00001691: SWAP1
00001692: DUP3
00001693: AND
00001694: SUB
00001695: PUSH2 0x1720
00001698: JUMPI
00001699: PUSH1 0x40
0000169b: MLOAD
0000169c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016bd: DUP2
000016be: MSTORE
000016bf: PUSH1 0x20
000016c1: PUSH1 0x04
000016c3: DUP3
000016c4: ADD
000016c5: MSTORE
000016c6: PUSH1 0x22
000016c8: PUSH1 0x24
000016ca: DUP3
000016cb: ADD
000016cc: MSTORE
000016cd: PUSH32 0x57652063616e206e6f74206578636c75646520556e697377617020726f757465
000016ee: PUSH1 0x44
000016f0: DUP3
000016f1: ADD
000016f2: MSTORE
000016f3: PUSH32 0x722e000000000000000000000000000000000000000000000000000000000000
00001714: PUSH1 0x64
00001716: DUP3
00001717: ADD
00001718: MSTORE
00001719: PUSH1 0x84
0000171b: ADD
0000171c: PUSH2 0x0c44
0000171f: JUMP
00001720: JUMPDEST
00001721: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001736: DUP2
00001737: AND
00001738: PUSH0
00001739: SWAP1
0000173a: DUP2
0000173b: MSTORE
0000173c: PUSH1 0x05
0000173e: PUSH1 0x20
00001740: MSTORE
00001741: PUSH1 0x40
00001743: SWAP1
00001744: KECCAK256
00001745: SLOAD
00001746: PUSH1 0xff
00001748: AND
00001749: ISZERO
0000174a: PUSH2 0x17af
0000174d: JUMPI
0000174e: PUSH1 0x40
00001750: MLOAD
00001751: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001772: DUP2
00001773: MSTORE
00001774: PUSH1 0x20
00001776: PUSH1 0x04
00001778: DUP3
00001779: ADD
0000177a: MSTORE
0000177b: PUSH1 0x1b
0000177d: PUSH1 0x24
0000177f: DUP3
00001780: ADD
00001781: MSTORE
00001782: PUSH32 0x4163636f756e7420697320616c7265616479206578636c756465640000000000
000017a3: PUSH1 0x44
000017a5: DUP3
000017a6: ADD
000017a7: MSTORE
000017a8: PUSH1 0x64
000017aa: ADD
000017ab: PUSH2 0x0c44
000017ae: JUMP
000017af: JUMPDEST
000017b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017c5: DUP2
000017c6: AND
000017c7: PUSH0
000017c8: SWAP1
000017c9: DUP2
000017ca: MSTORE
000017cb: PUSH1 0x01
000017cd: PUSH1 0x20
000017cf: MSTORE
000017d0: PUSH1 0x40
000017d2: SWAP1
000017d3: KECCAK256
000017d4: SLOAD
000017d5: ISZERO
000017d6: PUSH2 0x182d
000017d9: JUMPI
000017da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ef: DUP2
000017f0: AND
000017f1: PUSH0
000017f2: SWAP1
000017f3: DUP2
000017f4: MSTORE
000017f5: PUSH1 0x01
000017f7: PUSH1 0x20
000017f9: MSTORE
000017fa: PUSH1 0x40
000017fc: SWAP1
000017fd: KECCAK256
000017fe: SLOAD
000017ff: PUSH2 0x1807
00001802: SWAP1
00001803: PUSH2 0x0dd7
00001806: JUMP
00001807: JUMPDEST
00001808: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000181d: DUP3
0000181e: AND
0000181f: PUSH0
00001820: SWAP1
00001821: DUP2
00001822: MSTORE
00001823: PUSH1 0x02
00001825: PUSH1 0x20
00001827: MSTORE
00001828: PUSH1 0x40
0000182a: SWAP1
0000182b: KECCAK256
0000182c: SSTORE
0000182d: JUMPDEST
0000182e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001843: AND
00001844: PUSH0
00001845: DUP2
00001846: DUP2
00001847: MSTORE
00001848: PUSH1 0x05
0000184a: PUSH1 0x20
0000184c: MSTORE
0000184d: PUSH1 0x40
0000184f: DUP2
00001850: KECCAK256
00001851: DUP1
00001852: SLOAD
00001853: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001874: AND
00001875: PUSH1 0x01
00001877: SWAP1
00001878: DUP2
00001879: OR
0000187a: SWAP1
0000187b: SWAP2
0000187c: SSTORE
0000187d: PUSH1 0x06
0000187f: DUP1
00001880: SLOAD
00001881: SWAP2
00001882: DUP3
00001883: ADD
00001884: DUP2
00001885: SSTORE
00001886: SWAP1
00001887: SWAP2
00001888: MSTORE
00001889: PUSH32 0xf652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3f
000018aa: ADD
000018ab: DUP1
000018ac: SLOAD
000018ad: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000018ce: AND
000018cf: SWAP1
000018d0: SWAP2
000018d1: OR
000018d2: SWAP1
000018d3: SSTORE
000018d4: JUMP
000018d5: JUMPDEST
000018d6: PUSH2 0x18dd
000018d9: PUSH2 0x25f5
000018dc: JUMP
000018dd: JUMPDEST
000018de: DUP3
000018df: DUP2
000018e0: EQ
000018e1: PUSH2 0x1946
000018e4: JUMPI
000018e5: PUSH1 0x40
000018e7: MLOAD
000018e8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001909: DUP2
0000190a: MSTORE
0000190b: PUSH1 0x20
0000190d: PUSH1 0x04
0000190f: DUP3
00001910: ADD
00001911: MSTORE
00001912: PUSH1 0x13
00001914: PUSH1 0x24
00001916: DUP3
00001917: ADD
00001918: MSTORE
00001919: PUSH32 0x4e6f6e2d6d61746368696e67206c656e67746800000000000000000000000000
0000193a: PUSH1 0x44
0000193c: DUP3
0000193d: ADD
0000193e: MSTORE
0000193f: PUSH1 0x64
00001941: ADD
00001942: PUSH2 0x0c44
00001945: JUMP
00001946: JUMPDEST
00001947: PUSH0
00001948: JUMPDEST
00001949: DUP4
0000194a: DUP2
0000194b: LT
0000194c: ISZERO
0000194d: PUSH2 0x1364
00001950: JUMPI
00001951: DUP3
00001952: DUP3
00001953: DUP3
00001954: DUP2
00001955: DUP2
00001956: LT
00001957: PUSH2 0x1962
0000195a: JUMPI
0000195b: PUSH2 0x1962
0000195e: PUSH2 0x3e82
00001961: JUMP
00001962: JUMPDEST
00001963: SWAP1
00001964: POP
00001965: PUSH1 0x20
00001967: MUL
00001968: ADD
00001969: PUSH1 0x20
0000196b: DUP2
0000196c: ADD
0000196d: SWAP1
0000196e: PUSH2 0x1977
00001971: SWAP2
00001972: SWAP1
00001973: PUSH2 0x3de1
00001976: JUMP
00001977: JUMPDEST
00001978: PUSH1 0x21
0000197a: PUSH0
0000197b: DUP8
0000197c: DUP8
0000197d: DUP6
0000197e: DUP2
0000197f: DUP2
00001980: LT
00001981: PUSH2 0x198c
00001984: JUMPI
00001985: PUSH2 0x198c
00001988: PUSH2 0x3e82
0000198b: JUMP
0000198c: JUMPDEST
0000198d: SWAP1
0000198e: POP
0000198f: PUSH1 0x20
00001991: MUL
00001992: ADD
00001993: PUSH1 0x20
00001995: DUP2
00001996: ADD
00001997: SWAP1
00001998: PUSH2 0x19a1
0000199b: SWAP2
0000199c: SWAP1
0000199d: PUSH2 0x3cd9
000019a0: JUMP
000019a1: JUMPDEST
000019a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b7: AND
000019b8: DUP2
000019b9: MSTORE
000019ba: PUSH1 0x20
000019bc: DUP2
000019bd: ADD
000019be: SWAP2
000019bf: SWAP1
000019c0: SWAP2
000019c1: MSTORE
000019c2: PUSH1 0x40
000019c4: ADD
000019c5: PUSH0
000019c6: KECCAK256
000019c7: DUP1
000019c8: SLOAD
000019c9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000019ea: AND
000019eb: SWAP2
000019ec: ISZERO
000019ed: ISZERO
000019ee: SWAP2
000019ef: SWAP1
000019f0: SWAP2
000019f1: OR
000019f2: SWAP1
000019f3: SSTORE
000019f4: PUSH1 0x01
000019f6: ADD
000019f7: PUSH2 0x1948
000019fa: JUMP
000019fb: JUMPDEST
000019fc: PUSH2 0x1a03
000019ff: PUSH2 0x25f5
00001a02: JUMP
00001a03: JUMPDEST
00001a04: PUSH1 0x20
00001a06: SLOAD
00001a07: PUSH1 0xff
00001a09: AND
00001a0a: ISZERO
00001a0b: PUSH2 0x1a70
00001a0e: JUMPI
00001a0f: PUSH1 0x40
00001a11: MLOAD
00001a12: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a33: DUP2
00001a34: MSTORE
00001a35: PUSH1 0x20
00001a37: PUSH1 0x04
00001a39: DUP3
00001a3a: ADD
00001a3b: MSTORE
00001a3c: PUSH1 0x1a
00001a3e: PUSH1 0x24
00001a40: DUP3
00001a41: ADD
00001a42: MSTORE
00001a43: PUSH32 0x4665652070657263656e746167657320617265206c6f636b6564000000000000
00001a64: PUSH1 0x44
00001a66: DUP3
00001a67: ADD
00001a68: MSTORE
00001a69: PUSH1 0x64
00001a6b: ADD
00001a6c: PUSH2 0x0c44
00001a6f: JUMP
00001a70: JUMPDEST
00001a71: PUSH1 0x05
00001a73: DUP2
00001a74: GT
00001a75: ISZERO
00001a76: PUSH2 0x1b01
00001a79: JUMPI
00001a7a: PUSH1 0x40
00001a7c: MLOAD
00001a7d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a9e: DUP2
00001a9f: MSTORE
00001aa0: PUSH1 0x20
00001aa2: PUSH1 0x04
00001aa4: DUP3
00001aa5: ADD
00001aa6: MSTORE
00001aa7: PUSH1 0x29
00001aa9: PUSH1 0x24
00001aab: DUP3
00001aac: ADD
00001aad: MSTORE
00001aae: PUSH32 0x53656c6c206c6971756964697479206665652063616e6e6f74206265206d6f72
00001acf: PUSH1 0x44
00001ad1: DUP3
00001ad2: ADD
00001ad3: MSTORE
00001ad4: PUSH32 0x65207468616e2035250000000000000000000000000000000000000000000000
00001af5: PUSH1 0x64
00001af7: DUP3
00001af8: ADD
00001af9: MSTORE
00001afa: PUSH1 0x84
00001afc: ADD
00001afd: PUSH2 0x0c44
00001b00: JUMP
00001b01: JUMPDEST
00001b02: PUSH1 0x17
00001b04: SSTORE
00001b05: JUMP
00001b06: JUMPDEST
00001b07: PUSH2 0x1b0e
00001b0a: PUSH2 0x25f5
00001b0d: JUMP
00001b0e: JUMPDEST
00001b0f: PUSH1 0x14
00001b11: DUP1
00001b12: SLOAD
00001b13: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001b34: AND
00001b35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b4a: SWAP3
00001b4b: SWAP1
00001b4c: SWAP3
00001b4d: AND
00001b4e: SWAP2
00001b4f: SWAP1
00001b50: SWAP2
00001b51: OR
00001b52: SWAP1
00001b53: SSTORE
00001b54: JUMP
00001b55: JUMPDEST
00001b56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b6b: DUP2
00001b6c: AND
00001b6d: PUSH0
00001b6e: SWAP1
00001b6f: DUP2
00001b70: MSTORE
00001b71: PUSH1 0x05
00001b73: PUSH1 0x20
00001b75: MSTORE
00001b76: PUSH1 0x40
00001b78: DUP2
00001b79: KECCAK256
00001b7a: SLOAD
00001b7b: PUSH1 0xff
00001b7d: AND
00001b7e: ISZERO
00001b7f: PUSH2 0x1baa
00001b82: JUMPI
00001b83: POP
00001b84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b99: AND
00001b9a: PUSH0
00001b9b: SWAP1
00001b9c: DUP2
00001b9d: MSTORE
00001b9e: PUSH1 0x02
00001ba0: PUSH1 0x20
00001ba2: MSTORE
00001ba3: PUSH1 0x40
00001ba5: SWAP1
00001ba6: KECCAK256
00001ba7: SLOAD
00001ba8: SWAP1
00001ba9: JUMP
00001baa: JUMPDEST
00001bab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bc0: DUP3
00001bc1: AND
00001bc2: PUSH0
00001bc3: SWAP1
00001bc4: DUP2
00001bc5: MSTORE
00001bc6: PUSH1 0x01
00001bc8: PUSH1 0x20
00001bca: MSTORE
00001bcb: PUSH1 0x40
00001bcd: SWAP1
00001bce: KECCAK256
00001bcf: SLOAD
00001bd0: PUSH2 0x0d5d
00001bd3: SWAP1
00001bd4: PUSH2 0x0dd7
00001bd7: JUMP
00001bd8: JUMPDEST
00001bd9: PUSH2 0x1be0
00001bdc: PUSH2 0x25f5
00001bdf: JUMP
00001be0: JUMPDEST
00001be1: PUSH2 0x1be9
00001be4: PUSH0
00001be5: PUSH2 0x2d45
00001be8: JUMP
00001be9: JUMPDEST
00001bea: JUMP
00001beb: JUMPDEST
00001bec: PUSH2 0x1bf3
00001bef: PUSH2 0x25f5
00001bf2: JUMP
00001bf3: JUMPDEST
00001bf4: PUSH1 0x20
00001bf6: SLOAD
00001bf7: PUSH1 0xff
00001bf9: AND
00001bfa: ISZERO
00001bfb: PUSH2 0x1c60
00001bfe: JUMPI
00001bff: PUSH1 0x40
00001c01: MLOAD
00001c02: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c23: DUP2
00001c24: MSTORE
00001c25: PUSH1 0x20
00001c27: PUSH1 0x04
00001c29: DUP3
00001c2a: ADD
00001c2b: MSTORE
00001c2c: PUSH1 0x1a
00001c2e: PUSH1 0x24
00001c30: DUP3
00001c31: ADD
00001c32: MSTORE
00001c33: PUSH32 0x4665652070657263656e746167657320617265206c6f636b6564000000000000
00001c54: PUSH1 0x44
00001c56: DUP3
00001c57: ADD
00001c58: MSTORE
00001c59: PUSH1 0x64
00001c5b: ADD
00001c5c: PUSH2 0x0c44
00001c5f: JUMP
00001c60: JUMPDEST
00001c61: PUSH1 0x01
00001c63: DUP2
00001c64: GT
00001c65: ISZERO
00001c66: PUSH2 0x1cf0
00001c69: JUMPI
00001c6a: PUSH1 0x40
00001c6c: MLOAD
00001c6d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c8e: DUP2
00001c8f: MSTORE
00001c90: PUSH1 0x20
00001c92: PUSH1 0x04
00001c94: DUP3
00001c95: ADD
00001c96: MSTORE
00001c97: PUSH1 0x24
00001c99: DUP1
00001c9a: DUP3
00001c9b: ADD
00001c9c: MSTORE
00001c9d: PUSH32 0x4c6971756964697479206665652063616e6e6f74206265206d6f726520746861
00001cbe: PUSH1 0x44
00001cc0: DUP3
00001cc1: ADD
00001cc2: MSTORE
00001cc3: PUSH32 0x6e20312500000000000000000000000000000000000000000000000000000000
00001ce4: PUSH1 0x64
00001ce6: DUP3
00001ce7: ADD
00001ce8: MSTORE
00001ce9: PUSH1 0x84
00001ceb: ADD
00001cec: PUSH2 0x0c44
00001cef: JUMP
00001cf0: JUMPDEST
00001cf1: PUSH1 0x0f
00001cf3: SSTORE
00001cf4: JUMP
00001cf5: JUMPDEST
00001cf6: PUSH1 0x60
00001cf8: PUSH1 0x0b
00001cfa: DUP1
00001cfb: SLOAD
00001cfc: PUSH2 0x0ccc
00001cff: SWAP1
00001d00: PUSH2 0x3e31
00001d03: JUMP
00001d04: JUMPDEST
00001d05: PUSH2 0x1d0c
00001d08: PUSH2 0x25f5
00001d0b: JUMP
00001d0c: JUMPDEST
00001d0d: PUSH1 0x0a
00001d0f: DUP2
00001d10: LT
00001d11: ISZERO
00001d12: PUSH2 0x1d9d
00001d15: JUMPI
00001d16: PUSH1 0x40
00001d18: MLOAD
00001d19: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d3a: DUP2
00001d3b: MSTORE
00001d3c: PUSH1 0x20
00001d3e: PUSH1 0x04
00001d40: DUP3
00001d41: ADD
00001d42: MSTORE
00001d43: PUSH1 0x2d
00001d45: PUSH1 0x24
00001d47: DUP3
00001d48: ADD
00001d49: MSTORE
00001d4a: PUSH32 0x4d617820686f6c64696e672070657263656e74732063616e6e6f74206265206c
00001d6b: PUSH1 0x44
00001d6d: DUP3
00001d6e: ADD
00001d6f: MSTORE
00001d70: PUSH32 0x657373207468616e20302e312500000000000000000000000000000000000000
00001d91: PUSH1 0x64
00001d93: DUP3
00001d94: ADD
00001d95: MSTORE
00001d96: PUSH1 0x84
00001d98: ADD
00001d99: PUSH2 0x0c44
00001d9c: JUMP
00001d9d: JUMPDEST
00001d9e: PUSH2 0x012c
00001da1: DUP2
00001da2: GT
00001da3: ISZERO
00001da4: PUSH2 0x1e2f
00001da7: JUMPI
00001da8: PUSH1 0x40
00001daa: MLOAD
00001dab: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001dcc: DUP2
00001dcd: MSTORE
00001dce: PUSH1 0x20
00001dd0: PUSH1 0x04
00001dd2: DUP3
00001dd3: ADD
00001dd4: MSTORE
00001dd5: PUSH1 0x2b
00001dd7: PUSH1 0x24
00001dd9: DUP3
00001dda: ADD
00001ddb: MSTORE
00001ddc: PUSH32 0x4d617820686f6c64696e672070657263656e74732063616e6e6f74206265206d
00001dfd: PUSH1 0x44
00001dff: DUP3
00001e00: ADD
00001e01: MSTORE
00001e02: PUSH32 0x6f7265207468616e203325000000000000000000000000000000000000000000
00001e23: PUSH1 0x64
00001e25: DUP3
00001e26: ADD
00001e27: MSTORE
00001e28: PUSH1 0x84
00001e2a: ADD
00001e2b: PUSH2 0x0c44
00001e2e: JUMP
00001e2f: JUMPDEST
00001e30: PUSH1 0x1a
00001e32: SSTORE
00001e33: JUMP
00001e34: JUMPDEST
00001e35: PUSH0
00001e36: PUSH2 0x0d59
00001e39: CALLER
00001e3a: DUP5
00001e3b: PUSH2 0x0dc8
00001e3e: DUP6
00001e3f: PUSH1 0x40
00001e41: MLOAD
00001e42: DUP1
00001e43: PUSH1 0x60
00001e45: ADD
00001e46: PUSH1 0x40
00001e48: MSTORE
00001e49: DUP1
00001e4a: PUSH1 0x25
00001e4c: DUP2
00001e4d: MSTORE
00001e4e: PUSH1 0x20
00001e50: ADD
00001e51: PUSH2 0x4078
00001e54: PUSH1 0x25
00001e56: SWAP2
00001e57: CODECOPY
00001e58: CALLER
00001e59: PUSH0
00001e5a: SWAP1
00001e5b: DUP2
00001e5c: MSTORE
00001e5d: PUSH1 0x03
00001e5f: PUSH1 0x20
00001e61: SWAP1
00001e62: DUP2
00001e63: MSTORE
00001e64: PUSH1 0x40
00001e66: DUP1
00001e67: DUP4
00001e68: KECCAK256
00001e69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e7e: DUP14
00001e7f: AND
00001e80: DUP5
00001e81: MSTORE
00001e82: SWAP1
00001e83: SWAP2
00001e84: MSTORE
00001e85: SWAP1
00001e86: KECCAK256
00001e87: SLOAD
00001e88: SWAP2
00001e89: SWAP1
00001e8a: PUSH2 0x2c76
00001e8d: JUMP
00001e8e: JUMPDEST
00001e8f: PUSH0
00001e90: PUSH2 0x0d59
00001e93: CALLER
00001e94: DUP5
00001e95: DUP5
00001e96: PUSH2 0x2827
00001e99: JUMP
00001e9a: JUMPDEST
00001e9b: PUSH2 0x1ea2
00001e9e: PUSH2 0x25f5
00001ea1: JUMP
00001ea2: JUMPDEST
00001ea3: PUSH1 0x20
00001ea5: SLOAD
00001ea6: PUSH1 0xff
00001ea8: AND
00001ea9: ISZERO
00001eaa: PUSH2 0x1f0f
00001ead: JUMPI
00001eae: PUSH1 0x40
00001eb0: MLOAD
00001eb1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ed2: DUP2
00001ed3: MSTORE
00001ed4: PUSH1 0x20
00001ed6: PUSH1 0x04
00001ed8: DUP3
00001ed9: ADD
00001eda: MSTORE
00001edb: PUSH1 0x1a
00001edd: PUSH1 0x24
00001edf: DUP3
00001ee0: ADD
00001ee1: MSTORE
00001ee2: PUSH32 0x4665652070657263656e746167657320617265206c6f636b6564000000000000
00001f03: PUSH1 0x44
00001f05: DUP3
00001f06: ADD
00001f07: MSTORE
00001f08: PUSH1 0x64
00001f0a: ADD
00001f0b: PUSH2 0x0c44
00001f0e: JUMP
00001f0f: JUMPDEST
00001f10: PUSH1 0x1c
00001f12: DUP2
00001f13: GT
00001f14: ISZERO
00001f15: PUSH2 0x1fa0
00001f18: JUMPI
00001f19: PUSH1 0x40
00001f1b: MLOAD
00001f1c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f3d: DUP2
00001f3e: MSTORE
00001f3f: PUSH1 0x20
00001f41: PUSH1 0x04
00001f43: DUP3
00001f44: ADD
00001f45: MSTORE
00001f46: PUSH1 0x2a
00001f48: PUSH1 0x24
00001f4a: DUP3
00001f4b: ADD
00001f4c: MSTORE
00001f4d: PUSH32 0x53656c6c206d61726b6574696e67206665652063616e6e6f74206265206d6f72
00001f6e: PUSH1 0x44
00001f70: DUP3
00001f71: ADD
00001f72: MSTORE
00001f73: PUSH32 0x65207468616e2032382500000000000000000000000000000000000000000000
00001f94: PUSH1 0x64
00001f96: DUP3
00001f97: ADD
00001f98: MSTORE
00001f99: PUSH1 0x84
00001f9b: ADD
00001f9c: PUSH2 0x0c44
00001f9f: JUMP
00001fa0: JUMPDEST
00001fa1: PUSH1 0x18
00001fa3: SSTORE
00001fa4: JUMP
00001fa5: JUMPDEST
00001fa6: PUSH2 0x1fad
00001fa9: PUSH2 0x25f5
00001fac: JUMP
00001fad: JUMPDEST
00001fae: PUSH0
00001faf: DUP2
00001fb0: GT
00001fb1: PUSH2 0x2016
00001fb4: JUMPI
00001fb5: PUSH1 0x40
00001fb7: MLOAD
00001fb8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001fd9: DUP2
00001fda: MSTORE
00001fdb: PUSH1 0x20
00001fdd: PUSH1 0x04
00001fdf: DUP3
00001fe0: ADD
00001fe1: MSTORE
00001fe2: PUSH1 0x0f
00001fe4: PUSH1 0x24
00001fe6: DUP3
00001fe7: ADD
00001fe8: MSTORE
00001fe9: PUSH32 0x43616e6e6f7420736574207a65726f0000000000000000000000000000000000
0000200a: PUSH1 0x44
0000200c: DUP3
0000200d: ADD
0000200e: MSTORE
0000200f: PUSH1 0x64
00002011: ADD
00002012: PUSH2 0x0c44
00002015: JUMP
00002016: JUMPDEST
00002017: PUSH1 0x1f
00002019: SSTORE
0000201a: JUMP
0000201b: JUMPDEST
0000201c: PUSH2 0x2023
0000201f: PUSH2 0x25f5
00002022: JUMP
00002023: JUMPDEST
00002024: PUSH1 0x40
00002026: MLOAD
00002027: CALLER
00002028: SWAP1
00002029: SELFBALANCE
0000202a: DUP1
0000202b: ISZERO
0000202c: PUSH2 0x08fc
0000202f: MUL
00002030: SWAP2
00002031: PUSH0
00002032: DUP2
00002033: DUP2
00002034: DUP2
00002035: DUP6
00002036: DUP9
00002037: DUP9
00002038: CALL
00002039: SWAP4
0000203a: POP
0000203b: POP
0000203c: POP
0000203d: POP
0000203e: ISZERO
0000203f: DUP1
00002040: ISZERO
00002041: PUSH2 0x204c
00002044: JUMPI
00002045: RETURNDATASIZE
00002046: PUSH0
00002047: DUP1
00002048: RETURNDATACOPY
00002049: RETURNDATASIZE
0000204a: PUSH0
0000204b: REVERT
0000204c: JUMPDEST
0000204d: POP
0000204e: JUMP
0000204f: JUMPDEST
00002050: PUSH2 0x2057
00002053: PUSH2 0x25f5
00002056: JUMP
00002057: JUMPDEST
00002058: PUSH1 0x1d
0000205a: DUP1
0000205b: SLOAD
0000205c: DUP3
0000205d: ISZERO
0000205e: ISZERO
0000205f: PUSH22 0x01000000000000000000000000000000000000000000
00002076: MUL
00002077: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff
00002098: SWAP1
00002099: SWAP2
0000209a: AND
0000209b: OR
0000209c: SWAP1
0000209d: SSTORE
0000209e: PUSH1 0x40
000020a0: MLOAD
000020a1: PUSH32 0x53726dfcaf90650aa7eb35524f4d3220f07413c8d6cb404cc8c18bf5591bc159
000020c2: SWAP1
000020c3: PUSH2 0x20d1
000020c6: SWAP1
000020c7: DUP4
000020c8: ISZERO
000020c9: ISZERO
000020ca: DUP2
000020cb: MSTORE
000020cc: PUSH1 0x20
000020ce: ADD
000020cf: SWAP1
000020d0: JUMP
000020d1: JUMPDEST
000020d2: PUSH1 0x40
000020d4: MLOAD
000020d5: DUP1
000020d6: SWAP2
000020d7: SUB
000020d8: SWAP1
000020d9: LOG1
000020da: POP
000020db: JUMP
000020dc: JUMPDEST
000020dd: PUSH2 0x20e4
000020e0: PUSH2 0x25f5
000020e3: JUMP
000020e4: JUMPDEST
000020e5: PUSH1 0x20
000020e7: SLOAD
000020e8: PUSH1 0xff
000020ea: AND
000020eb: ISZERO
000020ec: PUSH2 0x2151
000020ef: JUMPI
000020f0: PUSH1 0x40
000020f2: MLOAD
000020f3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002114: DUP2
00002115: MSTORE
00002116: PUSH1 0x20
00002118: PUSH1 0x04
0000211a: DUP3
0000211b: ADD
0000211c: MSTORE
0000211d: PUSH1 0x1a
0000211f: PUSH1 0x24
00002121: DUP3
00002122: ADD
00002123: MSTORE
00002124: PUSH32 0x4665652070657263656e746167657320617265206c6f636b6564000000000000
00002145: PUSH1 0x44
00002147: DUP3
00002148: ADD
00002149: MSTORE
0000214a: PUSH1 0x64
0000214c: ADD
0000214d: PUSH2 0x0c44
00002150: JUMP
00002151: JUMPDEST
00002152: PUSH1 0x01
00002154: DUP2
00002155: GT
00002156: ISZERO
00002157: PUSH2 0x21bc
0000215a: JUMPI
0000215b: PUSH1 0x40
0000215d: MLOAD
0000215e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000217f: DUP2
00002180: MSTORE
00002181: PUSH1 0x20
00002183: PUSH1 0x04
00002185: DUP3
00002186: ADD
00002187: MSTORE
00002188: PUSH1 0x1f
0000218a: PUSH1 0x24
0000218c: DUP3
0000218d: ADD
0000218e: MSTORE
0000218f: PUSH32 0x4275726e206665652063616e6e6f74206265206d6f7265207468616e20312500
000021b0: PUSH1 0x44
000021b2: DUP3
000021b3: ADD
000021b4: MSTORE
000021b5: PUSH1 0x64
000021b7: ADD
000021b8: PUSH2 0x0c44
000021bb: JUMP
000021bc: JUMPDEST
000021bd: PUSH1 0x11
000021bf: SSTORE
000021c0: JUMP
000021c1: JUMPDEST
000021c2: PUSH2 0x21c9
000021c5: PUSH2 0x25f5
000021c8: JUMP
000021c9: JUMPDEST
000021ca: PUSH1 0x20
000021cc: SLOAD
000021cd: PUSH1 0xff
000021cf: AND
000021d0: ISZERO
000021d1: PUSH2 0x2236
000021d4: JUMPI
000021d5: PUSH1 0x40
000021d7: MLOAD
000021d8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000021f9: DUP2
000021fa: MSTORE
000021fb: PUSH1 0x20
000021fd: PUSH1 0x04
000021ff: DUP3
00002200: ADD
00002201: MSTORE
00002202: PUSH1 0x1a
00002204: PUSH1 0x24
00002206: DUP3
00002207: ADD
00002208: MSTORE
00002209: PUSH32 0x4665652070657263656e746167657320617265206c6f636b6564000000000000
0000222a: PUSH1 0x44
0000222c: DUP3
0000222d: ADD
0000222e: MSTORE
0000222f: PUSH1 0x64
00002231: ADD
00002232: PUSH2 0x0c44
00002235: JUMP
00002236: JUMPDEST
00002237: PUSH1 0x05
00002239: DUP2
0000223a: GT
0000223b: ISZERO
0000223c: PUSH2 0x22c7
0000223f: JUMPI
00002240: PUSH1 0x40
00002242: MLOAD
00002243: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002264: DUP2
00002265: MSTORE
00002266: PUSH1 0x20
00002268: PUSH1 0x04
0000226a: DUP3
0000226b: ADD
0000226c: MSTORE
0000226d: PUSH1 0x23
0000226f: PUSH1 0x24
00002271: DUP3
00002272: ADD
00002273: MSTORE
00002274: PUSH32 0x53656c6c20746178206665652063616e6e6f74206265206d6f7265207468616e
00002295: PUSH1 0x44
00002297: DUP3
00002298: ADD
00002299: MSTORE
0000229a: PUSH32 0x2035250000000000000000000000000000000000000000000000000000000000
000022bb: PUSH1 0x64
000022bd: DUP3
000022be: ADD
000022bf: MSTORE
000022c0: PUSH1 0x84
000022c2: ADD
000022c3: PUSH2 0x0c44
000022c6: JUMP
000022c7: JUMPDEST
000022c8: PUSH1 0x16
000022ca: SSTORE
000022cb: JUMP
000022cc: JUMPDEST
000022cd: PUSH2 0x22d4
000022d0: PUSH2 0x25f5
000022d3: JUMP
000022d4: JUMPDEST
000022d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022ea: AND
000022eb: PUSH0
000022ec: SWAP1
000022ed: DUP2
000022ee: MSTORE
000022ef: PUSH1 0x04
000022f1: PUSH1 0x20
000022f3: MSTORE
000022f4: PUSH1 0x40
000022f6: SWAP1
000022f7: KECCAK256
000022f8: DUP1
000022f9: SLOAD
000022fa: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
0000231b: AND
0000231c: SWAP1
0000231d: SSTORE
0000231e: JUMP
0000231f: JUMPDEST
00002320: PUSH2 0x2327
00002323: PUSH2 0x25f5
00002326: JUMP
00002327: JUMPDEST
00002328: PUSH1 0x20
0000232a: SLOAD
0000232b: PUSH1 0xff
0000232d: AND
0000232e: ISZERO
0000232f: PUSH2 0x2394
00002332: JUMPI
00002333: PUSH1 0x40
00002335: MLOAD
00002336: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002357: DUP2
00002358: MSTORE
00002359: PUSH1 0x20
0000235b: PUSH1 0x04
0000235d: DUP3
0000235e: ADD
0000235f: MSTORE
00002360: PUSH1 0x1a
00002362: PUSH1 0x24
00002364: DUP3
00002365: ADD
00002366: MSTORE
00002367: PUSH32 0x4665652070657263656e746167657320617265206c6f636b6564000000000000
00002388: PUSH1 0x44
0000238a: DUP3
0000238b: ADD
0000238c: MSTORE
0000238d: PUSH1 0x64
0000238f: ADD
00002390: PUSH2 0x0c44
00002393: JUMP
00002394: JUMPDEST
00002395: PUSH1 0x02
00002397: DUP2
00002398: GT
00002399: ISZERO
0000239a: PUSH2 0x2424
0000239d: JUMPI
0000239e: PUSH1 0x40
000023a0: MLOAD
000023a1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000023c2: DUP2
000023c3: MSTORE
000023c4: PUSH1 0x20
000023c6: PUSH1 0x04
000023c8: DUP3
000023c9: ADD
000023ca: MSTORE
000023cb: PUSH1 0x24
000023cd: DUP1
000023ce: DUP3
000023cf: ADD
000023d0: MSTORE
000023d1: PUSH32 0x53656c6c206275726e206665652063616e6e6f74206265206d6f726520746861
000023f2: PUSH1 0x44
000023f4: DUP3
000023f5: ADD
000023f6: MSTORE
000023f7: PUSH32 0x6e20322500000000000000000000000000000000000000000000000000000000
00002418: PUSH1 0x64
0000241a: DUP3
0000241b: ADD
0000241c: MSTORE
0000241d: PUSH1 0x84
0000241f: ADD
00002420: PUSH2 0x0c44
00002423: JUMP
00002424: JUMPDEST
00002425: PUSH1 0x19
00002427: SSTORE
00002428: JUMP
00002429: JUMPDEST
0000242a: PUSH2 0x2431
0000242d: PUSH2 0x25f5
00002430: JUMP
00002431: JUMPDEST
00002432: PUSH1 0x20
00002434: SLOAD
00002435: PUSH1 0xff
00002437: AND
00002438: ISZERO
00002439: PUSH2 0x249e
0000243c: JUMPI
0000243d: PUSH1 0x40
0000243f: MLOAD
00002440: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002461: DUP2
00002462: MSTORE
00002463: PUSH1 0x20
00002465: PUSH1 0x04
00002467: DUP3
00002468: ADD
00002469: MSTORE
0000246a: PUSH1 0x1a
0000246c: PUSH1 0x24
0000246e: DUP3
0000246f: ADD
00002470: MSTORE
00002471: PUSH32 0x4665652070657263656e746167657320617265206c6f636b6564000000000000
00002492: PUSH1 0x44
00002494: DUP3
00002495: ADD
00002496: MSTORE
00002497: PUSH1 0x64
00002499: ADD
0000249a: PUSH2 0x0c44
0000249d: JUMP
0000249e: JUMPDEST
0000249f: PUSH1 0x20
000024a1: DUP1
000024a2: SLOAD
000024a3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000024c4: AND
000024c5: PUSH1 0x01
000024c7: OR
000024c8: SWAP1
000024c9: SSTORE
000024ca: JUMP
000024cb: JUMPDEST
000024cc: PUSH2 0x24d3
000024cf: PUSH2 0x25f5
000024d2: JUMP
000024d3: JUMPDEST
000024d4: PUSH0
000024d5: DUP2
000024d6: GT
000024d7: PUSH2 0x253c
000024da: JUMPI
000024db: PUSH1 0x40
000024dd: MLOAD
000024de: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000024ff: DUP2
00002500: MSTORE
00002501: PUSH1 0x20
00002503: PUSH1 0x04
00002505: DUP3
00002506: ADD
00002507: MSTORE
00002508: PUSH1 0x0f
0000250a: PUSH1 0x24
0000250c: DUP3
0000250d: ADD
0000250e: MSTORE
0000250f: PUSH32 0x43616e6e6f7420736574207a65726f0000000000000000000000000000000000
00002530: PUSH1 0x44
00002532: DUP3
00002533: ADD
00002534: MSTORE
00002535: PUSH1 0x64
00002537: ADD
00002538: PUSH2 0x0c44
0000253b: JUMP
0000253c: JUMPDEST
0000253d: PUSH1 0x1e
0000253f: SSTORE
00002540: JUMP
00002541: JUMPDEST
00002542: PUSH2 0x2549
00002545: PUSH2 0x25f5
00002548: JUMP
00002549: JUMPDEST
0000254a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000255f: DUP2
00002560: AND
00002561: PUSH2 0x25ec
00002564: JUMPI
00002565: PUSH1 0x40
00002567: MLOAD
00002568: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002589: DUP2
0000258a: MSTORE
0000258b: PUSH1 0x20
0000258d: PUSH1 0x04
0000258f: DUP3
00002590: ADD
00002591: MSTORE
00002592: PUSH1 0x26
00002594: PUSH1 0x24
00002596: DUP3
00002597: ADD
00002598: MSTORE
00002599: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
000025ba: PUSH1 0x44
000025bc: DUP3
000025bd: ADD
000025be: MSTORE
000025bf: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
000025e0: PUSH1 0x64
000025e2: DUP3
000025e3: ADD
000025e4: MSTORE
000025e5: PUSH1 0x84
000025e7: ADD
000025e8: PUSH2 0x0c44
000025eb: JUMP
000025ec: JUMPDEST
000025ed: PUSH2 0x204c
000025f0: DUP2
000025f1: PUSH2 0x2d45
000025f4: JUMP
000025f5: JUMPDEST
000025f6: PUSH0
000025f7: SLOAD
000025f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000260d: AND
0000260e: CALLER
0000260f: EQ
00002610: PUSH2 0x1be9
00002613: JUMPI
00002614: PUSH1 0x40
00002616: MLOAD
00002617: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002638: DUP2
00002639: MSTORE
0000263a: PUSH1 0x20
0000263c: PUSH1 0x04
0000263e: DUP3
0000263f: ADD
00002640: DUP2
00002641: SWAP1
00002642: MSTORE
00002643: PUSH1 0x24
00002645: DUP3
00002646: ADD
00002647: MSTORE
00002648: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002669: PUSH1 0x44
0000266b: DUP3
0000266c: ADD
0000266d: MSTORE
0000266e: PUSH1 0x64
00002670: ADD
00002671: PUSH2 0x0c44
00002674: JUMP
00002675: JUMPDEST
00002676: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000268b: DUP4
0000268c: AND
0000268d: PUSH2 0x2717
00002690: JUMPI
00002691: PUSH1 0x40
00002693: MLOAD
00002694: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000026b5: DUP2
000026b6: MSTORE
000026b7: PUSH1 0x20
000026b9: PUSH1 0x04
000026bb: DUP3
000026bc: ADD
000026bd: MSTORE
000026be: PUSH1 0x24
000026c0: DUP1
000026c1: DUP3
000026c2: ADD
000026c3: MSTORE
000026c4: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
000026e5: PUSH1 0x44
000026e7: DUP3
000026e8: ADD
000026e9: MSTORE
000026ea: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
0000270b: PUSH1 0x64
0000270d: DUP3
0000270e: ADD
0000270f: MSTORE
00002710: PUSH1 0x84
00002712: ADD
00002713: PUSH2 0x0c44
00002716: JUMP
00002717: JUMPDEST
00002718: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000272d: DUP3
0000272e: AND
0000272f: PUSH2 0x27ba
00002732: JUMPI
00002733: PUSH1 0x40
00002735: MLOAD
00002736: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002757: DUP2
00002758: MSTORE
00002759: PUSH1 0x20
0000275b: PUSH1 0x04
0000275d: DUP3
0000275e: ADD
0000275f: MSTORE
00002760: PUSH1 0x22
00002762: PUSH1 0x24
00002764: DUP3
00002765: ADD
00002766: MSTORE
00002767: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00002788: PUSH1 0x44
0000278a: DUP3
0000278b: ADD
0000278c: MSTORE
0000278d: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000
000027ae: PUSH1 0x64
000027b0: DUP3
000027b1: ADD
000027b2: MSTORE
000027b3: PUSH1 0x84
000027b5: ADD
000027b6: PUSH2 0x0c44
000027b9: JUMP
000027ba: JUMPDEST
000027bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027d0: DUP4
000027d1: DUP2
000027d2: AND
000027d3: PUSH0
000027d4: DUP2
000027d5: DUP2
000027d6: MSTORE
000027d7: PUSH1 0x03
000027d9: PUSH1 0x20
000027db: SWAP1
000027dc: DUP2
000027dd: MSTORE
000027de: PUSH1 0x40
000027e0: DUP1
000027e1: DUP4
000027e2: KECCAK256
000027e3: SWAP5
000027e4: DUP8
000027e5: AND
000027e6: DUP1
000027e7: DUP5
000027e8: MSTORE
000027e9: SWAP5
000027ea: DUP3
000027eb: MSTORE
000027ec: SWAP2
000027ed: DUP3
000027ee: SWAP1
000027ef: KECCAK256
000027f0: DUP6
000027f1: SWAP1
000027f2: SSTORE
000027f3: SWAP1
000027f4: MLOAD
000027f5: DUP5
000027f6: DUP2
000027f7: MSTORE
000027f8: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00002819: SWAP2
0000281a: ADD
0000281b: PUSH1 0x40
0000281d: MLOAD
0000281e: DUP1
0000281f: SWAP2
00002820: SUB
00002821: SWAP1
00002822: LOG3
00002823: POP
00002824: POP
00002825: POP
00002826: JUMP
00002827: JUMPDEST
00002828: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000283d: DUP4
0000283e: AND
0000283f: PUSH2 0x28ca
00002842: JUMPI
00002843: PUSH1 0x40
00002845: MLOAD
00002846: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002867: DUP2
00002868: MSTORE
00002869: PUSH1 0x20
0000286b: PUSH1 0x04
0000286d: DUP3
0000286e: ADD
0000286f: MSTORE
00002870: PUSH1 0x25
00002872: PUSH1 0x24
00002874: DUP3
00002875: ADD
00002876: MSTORE
00002877: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00002898: PUSH1 0x44
0000289a: DUP3
0000289b: ADD
0000289c: MSTORE
0000289d: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000
000028be: PUSH1 0x64
000028c0: DUP3
000028c1: ADD
000028c2: MSTORE
000028c3: PUSH1 0x84
000028c5: ADD
000028c6: PUSH2 0x0c44
000028c9: JUMP
000028ca: JUMPDEST
000028cb: PUSH0
000028cc: DUP2
000028cd: GT
000028ce: PUSH2 0x2959
000028d1: JUMPI
000028d2: PUSH1 0x40
000028d4: MLOAD
000028d5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000028f6: DUP2
000028f7: MSTORE
000028f8: PUSH1 0x20
000028fa: PUSH1 0x04
000028fc: DUP3
000028fd: ADD
000028fe: MSTORE
000028ff: PUSH1 0x29
00002901: PUSH1 0x24
00002903: DUP3
00002904: ADD
00002905: MSTORE
00002906: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220
00002927: PUSH1 0x44
00002929: DUP3
0000292a: ADD
0000292b: MSTORE
0000292c: PUSH32 0x7468616e207a65726f0000000000000000000000000000000000000000000000
0000294d: PUSH1 0x64
0000294f: DUP3
00002950: ADD
00002951: MSTORE
00002952: PUSH1 0x84
00002954: ADD
00002955: PUSH2 0x0c44
00002958: JUMP
00002959: JUMPDEST
0000295a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000296f: DUP4
00002970: AND
00002971: PUSH0
00002972: SWAP1
00002973: DUP2
00002974: MSTORE
00002975: PUSH1 0x22
00002977: PUSH1 0x20
00002979: MSTORE
0000297a: PUSH1 0x40
0000297c: SWAP1
0000297d: KECCAK256
0000297e: SLOAD
0000297f: PUSH1 0xff
00002981: AND
00002982: ISZERO
00002983: PUSH2 0x29e8
00002986: JUMPI
00002987: PUSH1 0x40
00002989: MLOAD
0000298a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000029ab: DUP2
000029ac: MSTORE
000029ad: PUSH1 0x20
000029af: PUSH1 0x04
000029b1: DUP3
000029b2: ADD
000029b3: MSTORE
000029b4: PUSH1 0x0b
000029b6: PUSH1 0x24
000029b8: DUP3
000029b9: ADD
000029ba: MSTORE
000029bb: PUSH32 0x426c61636b6c6973746564000000000000000000000000000000000000000000
000029dc: PUSH1 0x44
000029de: DUP3
000029df: ADD
000029e0: MSTORE
000029e1: PUSH1 0x64
000029e3: ADD
000029e4: PUSH2 0x0c44
000029e7: JUMP
000029e8: JUMPDEST
000029e9: PUSH0
000029ea: PUSH2 0x29f2
000029ed: ADDRESS
000029ee: PUSH2 0x1b55
000029f1: JUMP
000029f2: JUMPDEST
000029f3: SWAP1
000029f4: POP
000029f5: PUSH0
000029f6: PUSH1 0x1f
000029f8: SLOAD
000029f9: PUSH1 0x1e
000029fb: SLOAD
000029fc: PUSH2 0x2a05
000029ff: SWAP2
00002a00: SWAP1
00002a01: PUSH2 0x3f1c
00002a04: JUMP
00002a05: JUMPDEST
00002a06: DUP3
00002a07: LT
00002a08: ISZERO
00002a09: SWAP1
00002a0a: POP
00002a0b: DUP1
00002a0c: DUP1
00002a0d: ISZERO
00002a0e: PUSH2 0x2a32
00002a11: JUMPI
00002a12: POP
00002a13: PUSH1 0x1d
00002a15: SLOAD
00002a16: PUSH21 0x010000000000000000000000000000000000000000
00002a2c: SWAP1
00002a2d: DIV
00002a2e: PUSH1 0xff
00002a30: AND
00002a31: ISZERO
00002a32: JUMPDEST
00002a33: DUP1
00002a34: ISZERO
00002a35: PUSH2 0x2a59
00002a38: JUMPI
00002a39: POP
00002a3a: PUSH1 0x1d
00002a3c: SLOAD
00002a3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a52: DUP7
00002a53: DUP2
00002a54: AND
00002a55: SWAP2
00002a56: AND
00002a57: EQ
00002a58: ISZERO
00002a59: JUMPDEST
00002a5a: DUP1
00002a5b: ISZERO
00002a5c: PUSH2 0x2a7f
00002a5f: JUMPI
00002a60: POP
00002a61: PUSH1 0x1d
00002a63: SLOAD
00002a64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a79: DUP6
00002a7a: DUP2
00002a7b: AND
00002a7c: SWAP2
00002a7d: AND
00002a7e: EQ
00002a7f: JUMPDEST
00002a80: DUP1
00002a81: ISZERO
00002a82: PUSH2 0x2aa6
00002a85: JUMPI
00002a86: POP
00002a87: PUSH1 0x1d
00002a89: SLOAD
00002a8a: PUSH22 0x01000000000000000000000000000000000000000000
00002aa1: SWAP1
00002aa2: DIV
00002aa3: PUSH1 0xff
00002aa5: AND
00002aa6: JUMPDEST
00002aa7: ISZERO
00002aa8: PUSH2 0x2ab9
00002aab: JUMPI
00002aac: PUSH2 0x2ab9
00002aaf: PUSH1 0x1e
00002ab1: SLOAD
00002ab2: PUSH1 0x1f
00002ab4: SLOAD
00002ab5: PUSH2 0x2db9
00002ab8: JUMP
00002ab9: JUMPDEST
00002aba: PUSH2 0x2ac4
00002abd: DUP6
00002abe: DUP6
00002abf: DUP6
00002ac0: PUSH2 0x2ef2
00002ac3: JUMP
00002ac4: JUMPDEST
00002ac5: PUSH1 0x1b
00002ac7: SLOAD
00002ac8: PUSH1 0xff
00002aca: AND
00002acb: ISZERO
00002acc: PUSH2 0x1364
00002acf: JUMPI
00002ad0: PUSH0
00002ad1: PUSH2 0x2710
00002ad4: PUSH1 0x1a
00002ad6: SLOAD
00002ad7: PUSH1 0x07
00002ad9: SLOAD
00002ada: PUSH2 0x2ae3
00002add: SWAP2
00002ade: SWAP1
00002adf: PUSH2 0x3f2f
00002ae2: JUMP
00002ae3: JUMPDEST
00002ae4: PUSH2 0x2aed
00002ae7: SWAP2
00002ae8: SWAP1
00002ae9: PUSH2 0x3f46
00002aec: JUMP
00002aed: JUMPDEST
00002aee: PUSH1 0x1d
00002af0: SLOAD
00002af1: SWAP1
00002af2: SWAP2
00002af3: POP
00002af4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b09: SWAP1
00002b0a: DUP2
00002b0b: AND
00002b0c: SWAP1
00002b0d: DUP7
00002b0e: AND
00002b0f: SUB
00002b10: PUSH2 0x2ba8
00002b13: JUMPI
00002b14: DUP1
00002b15: DUP5
00002b16: GT
00002b17: ISZERO
00002b18: PUSH2 0x2ba3
00002b1b: JUMPI
00002b1c: PUSH1 0x40
00002b1e: MLOAD
00002b1f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002b40: DUP2
00002b41: MSTORE
00002b42: PUSH1 0x20
00002b44: PUSH1 0x04
00002b46: DUP3
00002b47: ADD
00002b48: MSTORE
00002b49: PUSH1 0x2e
00002b4b: PUSH1 0x24
00002b4d: DUP3
00002b4e: ADD
00002b4f: MSTORE
00002b50: PUSH32 0x5472616e73616374656420616d6f756e742065786365656420746865206d6178
00002b71: PUSH1 0x44
00002b73: DUP3
00002b74: ADD
00002b75: MSTORE
00002b76: PUSH32 0x20616c6c6f7765642076616c7565000000000000000000000000000000000000
00002b97: PUSH1 0x64
00002b99: DUP3
00002b9a: ADD
00002b9b: MSTORE
00002b9c: PUSH1 0x84
00002b9e: ADD
00002b9f: PUSH2 0x0c44
00002ba2: JUMP
00002ba3: JUMPDEST
00002ba4: PUSH2 0x2c6e
00002ba7: JUMP
00002ba8: JUMPDEST
00002ba9: DUP1
00002baa: PUSH2 0x2bb2
00002bad: DUP7
00002bae: PUSH2 0x1b55
00002bb1: JUMP
00002bb2: JUMPDEST
00002bb3: GT
00002bb4: ISZERO
00002bb5: DUP1
00002bb6: PUSH2 0x2be3
00002bb9: JUMPI
00002bba: POP
00002bbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bd0: DUP6
00002bd1: AND
00002bd2: PUSH0
00002bd3: SWAP1
00002bd4: DUP2
00002bd5: MSTORE
00002bd6: PUSH1 0x21
00002bd8: PUSH1 0x20
00002bda: MSTORE
00002bdb: PUSH1 0x40
00002bdd: SWAP1
00002bde: KECCAK256
00002bdf: SLOAD
00002be0: PUSH1 0xff
00002be2: AND
00002be3: JUMPDEST
00002be4: PUSH2 0x2c6e
00002be7: JUMPI
00002be8: PUSH1 0x40
00002bea: MLOAD
00002beb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002c0c: DUP2
00002c0d: MSTORE
00002c0e: PUSH1 0x20
00002c10: PUSH1 0x04
00002c12: DUP3
00002c13: ADD
00002c14: MSTORE
00002c15: PUSH1 0x24
00002c17: DUP1
00002c18: DUP3
00002c19: ADD
00002c1a: MSTORE
00002c1b: PUSH32 0x57616c6c65742062616c616e6365206578636565647320746865206d6178206c
00002c3c: PUSH1 0x44
00002c3e: DUP3
00002c3f: ADD
00002c40: MSTORE
00002c41: PUSH32 0x696d697400000000000000000000000000000000000000000000000000000000
00002c62: PUSH1 0x64
00002c64: DUP3
00002c65: ADD
00002c66: MSTORE
00002c67: PUSH1 0x84
00002c69: ADD
00002c6a: PUSH2 0x0c44
00002c6d: JUMP
00002c6e: JUMPDEST
00002c6f: POP
00002c70: POP
00002c71: POP
00002c72: POP
00002c73: POP
00002c74: POP
00002c75: JUMP
00002c76: JUMPDEST
00002c77: PUSH0
00002c78: DUP2
00002c79: DUP5
00002c7a: DUP5
00002c7b: GT
00002c7c: ISZERO
00002c7d: PUSH2 0x2cb3
00002c80: JUMPI
00002c81: PUSH1 0x40
00002c83: MLOAD
00002c84: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002ca5: DUP2
00002ca6: MSTORE
00002ca7: PUSH1 0x04
00002ca9: ADD
00002caa: PUSH2 0x0c44
00002cad: SWAP2
00002cae: SWAP1
00002caf: PUSH2 0x3bfd
00002cb2: JUMP
00002cb3: JUMPDEST
00002cb4: POP
00002cb5: POP
00002cb6: POP
00002cb7: SWAP1
00002cb8: SUB
00002cb9: SWAP1
00002cba: JUMP
00002cbb: JUMPDEST
00002cbc: PUSH0
00002cbd: DUP1
00002cbe: PUSH0
00002cbf: PUSH2 0x2cc6
00002cc2: PUSH2 0x32b9
00002cc5: JUMP
00002cc6: JUMPDEST
00002cc7: SWAP1
00002cc8: SWAP3
00002cc9: POP
00002cca: SWAP1
00002ccb: POP
00002ccc: PUSH2 0x2cd5
00002ccf: DUP3
00002cd0: DUP3
00002cd1: PUSH2 0x2cdc
00002cd4: JUMP
00002cd5: JUMPDEST
00002cd6: SWAP3
00002cd7: POP
00002cd8: POP
00002cd9: POP
00002cda: SWAP1
00002cdb: JUMP
00002cdc: JUMPDEST
00002cdd: PUSH0
00002cde: PUSH2 0x0e7f
00002ce1: DUP3
00002ce2: DUP5
00002ce3: PUSH2 0x3f46
00002ce6: JUMP
00002ce7: JUMPDEST
00002ce8: PUSH0
00002ce9: PUSH2 0x0e7f
00002cec: DUP3
00002ced: DUP5
00002cee: PUSH2 0x3f1c
00002cf1: JUMP
00002cf2: JUMPDEST
00002cf3: PUSH0
00002cf4: DUP1
00002cf5: PUSH0
00002cf6: DUP1
00002cf7: PUSH0
00002cf8: DUP1
00002cf9: PUSH0
00002cfa: DUP1
00002cfb: PUSH0
00002cfc: PUSH2 0x2d04
00002cff: DUP11
00002d00: PUSH2 0x345c
00002d03: JUMP
00002d04: JUMPDEST
00002d05: SWAP3
00002d06: POP
00002d07: SWAP3
00002d08: POP
00002d09: SWAP3
00002d0a: POP
00002d0b: PUSH0
00002d0c: DUP1
00002d0d: PUSH0
00002d0e: PUSH2 0x2d20
00002d11: DUP14
00002d12: DUP7
00002d13: DUP7
00002d14: PUSH2 0x2d1b
00002d17: PUSH2 0x2cbb
00002d1a: JUMP
00002d1b: JUMPDEST
00002d1c: PUSH2 0x3494
00002d1f: JUMP
00002d20: JUMPDEST
00002d21: SWAP2
00002d22: SWAP16
00002d23: SWAP1
00002d24: SWAP15
00002d25: POP
00002d26: SWAP1
00002d27: SWAP13
00002d28: POP
00002d29: SWAP6
00002d2a: SWAP11
00002d2b: POP
00002d2c: SWAP4
00002d2d: SWAP9
00002d2e: POP
00002d2f: SWAP2
00002d30: SWAP7
00002d31: POP
00002d32: SWAP3
00002d33: SWAP5
00002d34: POP
00002d35: POP
00002d36: POP
00002d37: POP
00002d38: POP
00002d39: JUMP
00002d3a: JUMPDEST
00002d3b: PUSH0
00002d3c: PUSH2 0x0e7f
00002d3f: DUP3
00002d40: DUP5
00002d41: PUSH2 0x3edc
00002d44: JUMP
00002d45: JUMPDEST
00002d46: PUSH0
00002d47: DUP1
00002d48: SLOAD
00002d49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d5e: DUP4
00002d5f: DUP2
00002d60: AND
00002d61: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002d82: DUP4
00002d83: AND
00002d84: DUP2
00002d85: OR
00002d86: DUP5
00002d87: SSTORE
00002d88: PUSH1 0x40
00002d8a: MLOAD
00002d8b: SWAP2
00002d8c: SWAP1
00002d8d: SWAP3
00002d8e: AND
00002d8f: SWAP3
00002d90: DUP4
00002d91: SWAP2
00002d92: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002db3: SWAP2
00002db4: SWAP1
00002db5: LOG3
00002db6: POP
00002db7: POP
00002db8: JUMP
00002db9: JUMPDEST
00002dba: PUSH1 0x1d
00002dbc: DUP1
00002dbd: SLOAD
00002dbe: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
00002ddf: AND
00002de0: PUSH21 0x010000000000000000000000000000000000000000
00002df6: OR
00002df7: SWAP1
00002df8: SSTORE
00002df9: PUSH2 0x2e01
00002dfc: DUP2
00002dfd: PUSH2 0x34e0
00002e00: JUMP
00002e01: JUMPDEST
00002e02: PUSH1 0x14
00002e04: SLOAD
00002e05: PUSH1 0x40
00002e07: MLOAD
00002e08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e1d: SWAP1
00002e1e: SWAP2
00002e1f: AND
00002e20: SWAP1
00002e21: SELFBALANCE
00002e22: DUP1
00002e23: ISZERO
00002e24: PUSH2 0x08fc
00002e27: MUL
00002e28: SWAP2
00002e29: PUSH0
00002e2a: DUP2
00002e2b: DUP2
00002e2c: DUP2
00002e2d: DUP6
00002e2e: DUP9
00002e2f: DUP9
00002e30: CALL
00002e31: SWAP4
00002e32: POP
00002e33: POP
00002e34: POP
00002e35: POP
00002e36: ISZERO
00002e37: DUP1
00002e38: ISZERO
00002e39: PUSH2 0x2e44
00002e3c: JUMPI
00002e3d: RETURNDATASIZE
00002e3e: PUSH0
00002e3f: DUP1
00002e40: RETURNDATACOPY
00002e41: RETURNDATASIZE
00002e42: PUSH0
00002e43: REVERT
00002e44: JUMPDEST
00002e45: POP
00002e46: PUSH0
00002e47: PUSH2 0x2e51
00002e4a: DUP4
00002e4b: PUSH1 0x02
00002e4d: PUSH2 0x2cdc
00002e50: JUMP
00002e51: JUMPDEST
00002e52: SWAP1
00002e53: POP
00002e54: PUSH0
00002e55: PUSH2 0x2e5e
00002e58: DUP5
00002e59: DUP4
00002e5a: PUSH2 0x2d3a
00002e5d: JUMP
00002e5e: JUMPDEST
00002e5f: SWAP1
00002e60: POP
00002e61: SELFBALANCE
00002e62: PUSH2 0x2e6a
00002e65: DUP4
00002e66: PUSH2 0x34e0
00002e69: JUMP
00002e6a: JUMPDEST
00002e6b: PUSH0
00002e6c: PUSH2 0x2e75
00002e6f: SELFBALANCE
00002e70: DUP4
00002e71: PUSH2 0x2d3a
00002e74: JUMP
00002e75: JUMPDEST
00002e76: SWAP1
00002e77: POP
00002e78: PUSH2 0x2e81
00002e7b: DUP4
00002e7c: DUP3
00002e7d: PUSH2 0x3681
00002e80: JUMP
00002e81: JUMPDEST
00002e82: PUSH1 0x40
00002e84: DUP1
00002e85: MLOAD
00002e86: DUP6
00002e87: DUP2
00002e88: MSTORE
00002e89: PUSH1 0x20
00002e8b: DUP2
00002e8c: ADD
00002e8d: DUP4
00002e8e: SWAP1
00002e8f: MSTORE
00002e90: SWAP1
00002e91: DUP2
00002e92: ADD
00002e93: DUP5
00002e94: SWAP1
00002e95: MSTORE
00002e96: PUSH32 0x17bbfb9a6069321b6ded73bd96327c9e6b7212a5cd51ff219cd61370acafb561
00002eb7: SWAP1
00002eb8: PUSH1 0x60
00002eba: ADD
00002ebb: PUSH1 0x40
00002ebd: MLOAD
00002ebe: DUP1
00002ebf: SWAP2
00002ec0: SUB
00002ec1: SWAP1
00002ec2: LOG1
00002ec3: POP
00002ec4: POP
00002ec5: PUSH1 0x1d
00002ec7: DUP1
00002ec8: SLOAD
00002ec9: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
00002eea: AND
00002eeb: SWAP1
00002eec: SSTORE
00002eed: POP
00002eee: POP
00002eef: POP
00002ef0: POP
00002ef1: JUMP
00002ef2: JUMPDEST
00002ef3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f08: DUP4
00002f09: AND
00002f0a: PUSH0
00002f0b: SWAP1
00002f0c: DUP2
00002f0d: MSTORE
00002f0e: PUSH1 0x04
00002f10: PUSH1 0x20
00002f12: MSTORE
00002f13: PUSH1 0x40
00002f15: SWAP1
00002f16: KECCAK256
00002f17: SLOAD
00002f18: PUSH1 0xff
00002f1a: AND
00002f1b: DUP1
00002f1c: PUSH2 0x2f49
00002f1f: JUMPI
00002f20: POP
00002f21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f36: DUP3
00002f37: AND
00002f38: PUSH0
00002f39: SWAP1
00002f3a: DUP2
00002f3b: MSTORE
00002f3c: PUSH1 0x04
00002f3e: PUSH1 0x20
00002f40: MSTORE
00002f41: PUSH1 0x40
00002f43: SWAP1
00002f44: KECCAK256
00002f45: SLOAD
00002f46: PUSH1 0xff
00002f48: AND
00002f49: JUMPDEST
00002f4a: ISZERO
00002f4b: PUSH2 0x2f5b
00002f4e: JUMPI
00002f4f: PUSH2 0x2f56
00002f52: PUSH2 0x3797
00002f55: JUMP
00002f56: JUMPDEST
00002f57: PUSH2 0x2fb6
00002f5a: JUMP
00002f5b: JUMPDEST
00002f5c: PUSH1 0x1d
00002f5e: SLOAD
00002f5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f74: SWAP1
00002f75: DUP2
00002f76: AND
00002f77: SWAP1
00002f78: DUP4
00002f79: AND
00002f7a: SUB
00002f7b: PUSH2 0x2fb6
00002f7e: JUMPI
00002f7f: PUSH2 0x2fb6
00002f82: PUSH1 0x0d
00002f84: DUP1
00002f85: SLOAD
00002f86: PUSH1 0x0e
00002f88: SSTORE
00002f89: PUSH1 0x0f
00002f8b: DUP1
00002f8c: SLOAD
00002f8d: PUSH1 0x10
00002f8f: SSTORE
00002f90: PUSH1 0x11
00002f92: DUP1
00002f93: SLOAD
00002f94: PUSH1 0x12
00002f96: SSTORE
00002f97: PUSH1 0x13
00002f99: DUP1
00002f9a: SLOAD
00002f9b: PUSH1 0x15
00002f9d: SSTORE
00002f9e: PUSH1 0x16
00002fa0: SLOAD
00002fa1: SWAP1
00002fa2: SWAP4
00002fa3: SSTORE
00002fa4: PUSH1 0x17
00002fa6: SLOAD
00002fa7: SWAP1
00002fa8: SWAP2
00002fa9: SSTORE
00002faa: PUSH1 0x18
00002fac: SLOAD
00002fad: SWAP1
00002fae: SWAP2
00002faf: SSTORE
00002fb0: PUSH1 0x19
00002fb2: SLOAD
00002fb3: SWAP1
00002fb4: SSTORE
00002fb5: JUMP
00002fb6: JUMPDEST
00002fb7: PUSH0
00002fb8: PUSH2 0x2fd7
00002fbb: PUSH1 0x64
00002fbd: PUSH2 0x2fd1
00002fc0: PUSH1 0x11
00002fc2: SLOAD
00002fc3: DUP6
00002fc4: PUSH2 0x37f2
00002fc7: SWAP1
00002fc8: SWAP2
00002fc9: SWAP1
00002fca: PUSH4 0xffffffff
00002fcf: AND
00002fd0: JUMP
00002fd1: JUMPDEST
00002fd2: SWAP1
00002fd3: PUSH2 0x2cdc
00002fd6: JUMP
00002fd7: JUMPDEST
00002fd8: SWAP1
00002fd9: POP
00002fda: PUSH0
00002fdb: PUSH2 0x2ff4
00002fde: PUSH1 0x64
00002fe0: PUSH2 0x2fd1
00002fe3: PUSH1 0x13
00002fe5: SLOAD
00002fe6: DUP7
00002fe7: PUSH2 0x37f2
00002fea: SWAP1
00002feb: SWAP2
00002fec: SWAP1
00002fed: PUSH4 0xffffffff
00002ff2: AND
00002ff3: JUMP
00002ff4: JUMPDEST
00002ff5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000300a: DUP7
0000300b: AND
0000300c: PUSH0
0000300d: SWAP1
0000300e: DUP2
0000300f: MSTORE
00003010: PUSH1 0x05
00003012: PUSH1 0x20
00003014: MSTORE
00003015: PUSH1 0x40
00003017: SWAP1
00003018: KECCAK256
00003019: SLOAD
0000301a: SWAP1
0000301b: SWAP2
0000301c: POP
0000301d: PUSH1 0xff
0000301f: AND
00003020: DUP1
00003021: ISZERO
00003022: PUSH2 0x3050
00003025: JUMPI
00003026: POP
00003027: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000303c: DUP5
0000303d: AND
0000303e: PUSH0
0000303f: SWAP1
00003040: DUP2
00003041: MSTORE
00003042: PUSH1 0x05
00003044: PUSH1 0x20
00003046: MSTORE
00003047: PUSH1 0x40
00003049: SWAP1
0000304a: KECCAK256
0000304b: SLOAD
0000304c: PUSH1 0xff
0000304e: AND
0000304f: ISZERO
00003050: JUMPDEST
00003051: ISZERO
00003052: PUSH2 0x3078
00003055: JUMPI
00003056: PUSH2 0x3073
00003059: DUP6
0000305a: DUP6
0000305b: PUSH2 0x306e
0000305e: DUP5
0000305f: PUSH2 0x3068
00003062: DUP9
00003063: DUP9
00003064: PUSH2 0x2d3a
00003067: JUMP
00003068: JUMPDEST
00003069: SWAP1
0000306a: PUSH2 0x2d3a
0000306d: JUMP
0000306e: JUMPDEST
0000306f: PUSH2 0x37fd
00003072: JUMP
00003073: JUMPDEST
00003074: PUSH2 0x31ed
00003077: JUMP
00003078: JUMPDEST
00003079: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000308e: DUP6
0000308f: AND
00003090: PUSH0
00003091: SWAP1
00003092: DUP2
00003093: MSTORE
00003094: PUSH1 0x05
00003096: PUSH1 0x20
00003098: MSTORE
00003099: PUSH1 0x40
0000309b: SWAP1
0000309c: KECCAK256
0000309d: SLOAD
0000309e: PUSH1 0xff
000030a0: AND
000030a1: ISZERO
000030a2: DUP1
000030a3: ISZERO
000030a4: PUSH2 0x30d1
000030a7: JUMPI
000030a8: POP
000030a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000030be: DUP5
000030bf: AND
000030c0: PUSH0
000030c1: SWAP1
000030c2: DUP2
000030c3: MSTORE
000030c4: PUSH1 0x05
000030c6: PUSH1 0x20
000030c8: MSTORE
000030c9: PUSH1 0x40
000030cb: SWAP1
000030cc: KECCAK256
000030cd: SLOAD
000030ce: PUSH1 0xff
000030d0: AND
000030d1: JUMPDEST
000030d2: ISZERO
000030d3: PUSH2 0x30ee
000030d6: JUMPI
000030d7: PUSH2 0x3073
000030da: DUP6
000030db: DUP6
000030dc: PUSH2 0x30e9
000030df: DUP5
000030e0: PUSH2 0x3068
000030e3: DUP9
000030e4: DUP9
000030e5: PUSH2 0x2d3a
000030e8: JUMP
000030e9: JUMPDEST
000030ea: PUSH2 0x396a
000030ed: JUMP
000030ee: JUMPDEST
000030ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003104: DUP6
00003105: AND
00003106: PUSH0
00003107: SWAP1
00003108: DUP2
00003109: MSTORE
0000310a: PUSH1 0x05
0000310c: PUSH1 0x20
0000310e: MSTORE
0000310f: PUSH1 0x40
00003111: SWAP1
00003112: KECCAK256
00003113: SLOAD
00003114: PUSH1 0xff
00003116: AND
00003117: ISZERO
00003118: DUP1
00003119: ISZERO
0000311a: PUSH2 0x3148
0000311d: JUMPI
0000311e: POP
0000311f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003134: DUP5
00003135: AND
00003136: PUSH0
00003137: SWAP1
00003138: DUP2
00003139: MSTORE
0000313a: PUSH1 0x05
0000313c: PUSH1 0x20
0000313e: MSTORE
0000313f: PUSH1 0x40
00003141: SWAP1
00003142: KECCAK256
00003143: SLOAD
00003144: PUSH1 0xff
00003146: AND
00003147: ISZERO
00003148: JUMPDEST
00003149: ISZERO
0000314a: PUSH2 0x3165
0000314d: JUMPI
0000314e: PUSH2 0x3073
00003151: DUP6
00003152: DUP6
00003153: PUSH2 0x3160
00003156: DUP5
00003157: PUSH2 0x3068
0000315a: DUP9
0000315b: DUP9
0000315c: PUSH2 0x2d3a
0000315f: JUMP
00003160: JUMPDEST
00003161: PUSH2 0x3a34
00003164: JUMP
00003165: JUMPDEST
00003166: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000317b: DUP6
0000317c: AND
0000317d: PUSH0
0000317e: SWAP1
0000317f: DUP2
00003180: MSTORE
00003181: PUSH1 0x05
00003183: PUSH1 0x20
00003185: MSTORE
00003186: PUSH1 0x40
00003188: SWAP1
00003189: KECCAK256
0000318a: SLOAD
0000318b: PUSH1 0xff
0000318d: AND
0000318e: DUP1
0000318f: ISZERO
00003190: PUSH2 0x31bd
00003193: JUMPI
00003194: POP
00003195: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031aa: DUP5
000031ab: AND
000031ac: PUSH0
000031ad: SWAP1
000031ae: DUP2
000031af: MSTORE
000031b0: PUSH1 0x05
000031b2: PUSH1 0x20
000031b4: MSTORE
000031b5: PUSH1 0x40
000031b7: SWAP1
000031b8: KECCAK256
000031b9: SLOAD
000031ba: PUSH1 0xff
000031bc: AND
000031bd: JUMPDEST
000031be: ISZERO
000031bf: PUSH2 0x31da
000031c2: JUMPI
000031c3: PUSH2 0x3073
000031c6: DUP6
000031c7: DUP6
000031c8: PUSH2 0x31d5
000031cb: DUP5
000031cc: PUSH2 0x3068
000031cf: DUP9
000031d0: DUP9
000031d1: PUSH2 0x2d3a
000031d4: JUMP
000031d5: JUMPDEST
000031d6: PUSH2 0x3a81
000031d9: JUMP
000031da: JUMPDEST
000031db: PUSH2 0x31ed
000031de: DUP6
000031df: DUP6
000031e0: PUSH2 0x3160
000031e3: DUP5
000031e4: PUSH2 0x3068
000031e7: DUP9
000031e8: DUP9
000031e9: PUSH2 0x2d3a
000031ec: JUMP
000031ed: JUMPDEST
000031ee: PUSH0
000031ef: PUSH1 0x0d
000031f1: DUP2
000031f2: SWAP1
000031f3: SSTORE
000031f4: PUSH1 0x0f
000031f6: DUP2
000031f7: SWAP1
000031f8: SSTORE
000031f9: PUSH2 0x3204
000031fc: SWAP1
000031fd: DUP7
000031fe: SWAP1
000031ff: DUP5
00003200: PUSH2 0x3a34
00003203: JUMP
00003204: JUMPDEST
00003205: PUSH2 0x320f
00003208: DUP6
00003209: ADDRESS
0000320a: DUP4
0000320b: PUSH2 0x3a34
0000320e: JUMP
0000320f: JUMPDEST
00003210: PUSH1 0x0e
00003212: SLOAD
00003213: PUSH1 0x0d
00003215: SSTORE
00003216: PUSH1 0x10
00003218: SLOAD
00003219: PUSH1 0x0f
0000321b: SSTORE
0000321c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003231: DUP6
00003232: AND
00003233: PUSH0
00003234: SWAP1
00003235: DUP2
00003236: MSTORE
00003237: PUSH1 0x04
00003239: PUSH1 0x20
0000323b: MSTORE
0000323c: PUSH1 0x40
0000323e: SWAP1
0000323f: KECCAK256
00003240: SLOAD
00003241: PUSH1 0xff
00003243: AND
00003244: DUP1
00003245: PUSH2 0x3272
00003248: JUMPI
00003249: POP
0000324a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000325f: DUP5
00003260: AND
00003261: PUSH0
00003262: SWAP1
00003263: DUP2
00003264: MSTORE
00003265: PUSH1 0x04
00003267: PUSH1 0x20
00003269: MSTORE
0000326a: PUSH1 0x40
0000326c: SWAP1
0000326d: KECCAK256
0000326e: SLOAD
0000326f: PUSH1 0xff
00003271: AND
00003272: JUMPDEST
00003273: DUP1
00003274: PUSH2 0x3297
00003277: JUMPI
00003278: POP
00003279: PUSH1 0x1d
0000327b: SLOAD
0000327c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003291: DUP6
00003292: DUP2
00003293: AND
00003294: SWAP2
00003295: AND
00003296: EQ
00003297: JUMPDEST
00003298: ISZERO
00003299: PUSH2 0x1364
0000329c: JUMPI
0000329d: PUSH2 0x1364
000032a0: PUSH1 0x0e
000032a2: SLOAD
000032a3: PUSH1 0x0d
000032a5: SSTORE
000032a6: PUSH1 0x10
000032a8: SLOAD
000032a9: PUSH1 0x0f
000032ab: SSTORE
000032ac: PUSH1 0x12
000032ae: SLOAD
000032af: PUSH1 0x11
000032b1: SSTORE
000032b2: PUSH1 0x15
000032b4: SLOAD
000032b5: PUSH1 0x13
000032b7: SSTORE
000032b8: JUMP
000032b9: JUMPDEST
000032ba: PUSH1 0x08
000032bc: SLOAD
000032bd: PUSH1 0x07
000032bf: SLOAD
000032c0: PUSH0
000032c1: SWAP2
000032c2: DUP3
000032c3: SWAP2
000032c4: DUP3
000032c5: JUMPDEST
000032c6: PUSH1 0x06
000032c8: SLOAD
000032c9: DUP2
000032ca: LT
000032cb: ISZERO
000032cc: PUSH2 0x342c
000032cf: JUMPI
000032d0: DUP3
000032d1: PUSH1 0x01
000032d3: PUSH0
000032d4: PUSH1 0x06
000032d6: DUP5
000032d7: DUP2
000032d8: SLOAD
000032d9: DUP2
000032da: LT
000032db: PUSH2 0x32e6
000032de: JUMPI
000032df: PUSH2 0x32e6
000032e2: PUSH2 0x3e82
000032e5: JUMP
000032e6: JUMPDEST
000032e7: PUSH0
000032e8: SWAP2
000032e9: DUP3
000032ea: MSTORE
000032eb: PUSH1 0x20
000032ed: DUP1
000032ee: DUP4
000032ef: KECCAK256
000032f0: SWAP1
000032f1: SWAP2
000032f2: ADD
000032f3: SLOAD
000032f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003309: AND
0000330a: DUP4
0000330b: MSTORE
0000330c: DUP3
0000330d: ADD
0000330e: SWAP3
0000330f: SWAP1
00003310: SWAP3
00003311: MSTORE
00003312: PUSH1 0x40
00003314: ADD
00003315: SWAP1
00003316: KECCAK256
00003317: SLOAD
00003318: GT
00003319: DUP1
0000331a: PUSH2 0x3368
0000331d: JUMPI
0000331e: POP
0000331f: DUP2
00003320: PUSH1 0x02
00003322: PUSH0
00003323: PUSH1 0x06
00003325: DUP5
00003326: DUP2
00003327: SLOAD
00003328: DUP2
00003329: LT
0000332a: PUSH2 0x3335
0000332d: JUMPI
0000332e: PUSH2 0x3335
00003331: PUSH2 0x3e82
00003334: JUMP
00003335: JUMPDEST
00003336: PUSH0
00003337: SWAP2
00003338: DUP3
00003339: MSTORE
0000333a: PUSH1 0x20
0000333c: DUP1
0000333d: DUP4
0000333e: KECCAK256
0000333f: SWAP1
00003340: SWAP2
00003341: ADD
00003342: SLOAD
00003343: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003358: AND
00003359: DUP4
0000335a: MSTORE
0000335b: DUP3
0000335c: ADD
0000335d: SWAP3
0000335e: SWAP1
0000335f: SWAP3
00003360: MSTORE
00003361: PUSH1 0x40
00003363: ADD
00003364: SWAP1
00003365: KECCAK256
00003366: SLOAD
00003367: GT
00003368: JUMPDEST
00003369: ISZERO
0000336a: PUSH2 0x337e
0000336d: JUMPI
0000336e: PUSH1 0x08
00003370: SLOAD
00003371: PUSH1 0x07
00003373: SLOAD
00003374: SWAP5
00003375: POP
00003376: SWAP5
00003377: POP
00003378: POP
00003379: POP
0000337a: POP
0000337b: SWAP1
0000337c: SWAP2
0000337d: JUMP
0000337e: JUMPDEST
0000337f: PUSH2 0x33cf
00003382: PUSH1 0x01
00003384: PUSH0
00003385: PUSH1 0x06
00003387: DUP5
00003388: DUP2
00003389: SLOAD
0000338a: DUP2
0000338b: LT
0000338c: PUSH2 0x3397
0000338f: JUMPI
00003390: PUSH2 0x3397
00003393: PUSH2 0x3e82
00003396: JUMP
00003397: JUMPDEST
00003398: PUSH0
00003399: SWAP2
0000339a: DUP3
0000339b: MSTORE
0000339c: PUSH1 0x20
0000339e: DUP1
0000339f: DUP4
000033a0: KECCAK256
000033a1: SWAP1
000033a2: SWAP2
000033a3: ADD
000033a4: SLOAD
000033a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033ba: AND
000033bb: DUP4
000033bc: MSTORE
000033bd: DUP3
000033be: ADD
000033bf: SWAP3
000033c0: SWAP1
000033c1: SWAP3
000033c2: MSTORE
000033c3: PUSH1 0x40
000033c5: ADD
000033c6: SWAP1
000033c7: KECCAK256
000033c8: SLOAD
000033c9: DUP5
000033ca: SWAP1
000033cb: PUSH2 0x2d3a
000033ce: JUMP
000033cf: JUMPDEST
000033d0: SWAP3
000033d1: POP
000033d2: PUSH2 0x3422
000033d5: PUSH1 0x02
000033d7: PUSH0
000033d8: PUSH1 0x06
000033da: DUP5
000033db: DUP2
000033dc: SLOAD
000033dd: DUP2
000033de: LT
000033df: PUSH2 0x33ea
000033e2: JUMPI
000033e3: PUSH2 0x33ea
000033e6: PUSH2 0x3e82
000033e9: JUMP
000033ea: JUMPDEST
000033eb: PUSH0
000033ec: SWAP2
000033ed: DUP3
000033ee: MSTORE
000033ef: PUSH1 0x20
000033f1: DUP1
000033f2: DUP4
000033f3: KECCAK256
000033f4: SWAP1
000033f5: SWAP2
000033f6: ADD
000033f7: SLOAD
000033f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000340d: AND
0000340e: DUP4
0000340f: MSTORE
00003410: DUP3
00003411: ADD
00003412: SWAP3
00003413: SWAP1
00003414: SWAP3
00003415: MSTORE
00003416: PUSH1 0x40
00003418: ADD
00003419: SWAP1
0000341a: KECCAK256
0000341b: SLOAD
0000341c: DUP4
0000341d: SWAP1
0000341e: PUSH2 0x2d3a
00003421: JUMP
00003422: JUMPDEST
00003423: SWAP2
00003424: POP
00003425: PUSH1 0x01
00003427: ADD
00003428: PUSH2 0x32c5
0000342b: JUMP
0000342c: JUMPDEST
0000342d: POP
0000342e: PUSH1 0x07
00003430: SLOAD
00003431: PUSH1 0x08
00003433: SLOAD
00003434: PUSH2 0x343c
00003437: SWAP2
00003438: PUSH2 0x2cdc
0000343b: JUMP
0000343c: JUMPDEST
0000343d: DUP3
0000343e: LT
0000343f: ISZERO
00003440: PUSH2 0x3453
00003443: JUMPI
00003444: PUSH1 0x08
00003446: SLOAD
00003447: PUSH1 0x07
00003449: SLOAD
0000344a: SWAP4
0000344b: POP
0000344c: SWAP4
0000344d: POP
0000344e: POP
0000344f: POP
00003450: SWAP1
00003451: SWAP2
00003452: JUMP
00003453: JUMPDEST
00003454: SWAP1
00003455: SWAP4
00003456: SWAP1
00003457: SWAP3
00003458: POP
00003459: SWAP1
0000345a: POP
0000345b: JUMP
0000345c: JUMPDEST
0000345d: PUSH0
0000345e: DUP1
0000345f: PUSH0
00003460: DUP1
00003461: PUSH2 0x3469
00003464: DUP6
00003465: PUSH2 0x3b09
00003468: JUMP
00003469: JUMPDEST
0000346a: SWAP1
0000346b: POP
0000346c: PUSH0
0000346d: PUSH2 0x3475
00003470: DUP7
00003471: PUSH2 0x3b24
00003474: JUMP
00003475: JUMPDEST
00003476: SWAP1
00003477: POP
00003478: PUSH0
00003479: PUSH2 0x3486
0000347c: DUP3
0000347d: PUSH2 0x3068
00003480: DUP10
00003481: DUP7
00003482: PUSH2 0x2d3a
00003485: JUMP
00003486: JUMPDEST
00003487: SWAP8
00003488: SWAP3
00003489: SWAP7
0000348a: POP
0000348b: SWAP1
0000348c: SWAP5
0000348d: POP
0000348e: SWAP1
0000348f: SWAP3
00003490: POP
00003491: POP
00003492: POP
00003493: JUMP
00003494: JUMPDEST
00003495: PUSH0
00003496: DUP1
00003497: DUP1
00003498: DUP1
00003499: PUSH2 0x34a2
0000349c: DUP9
0000349d: DUP7
0000349e: PUSH2 0x37f2
000034a1: JUMP
000034a2: JUMPDEST
000034a3: SWAP1
000034a4: POP
000034a5: PUSH0
000034a6: PUSH2 0x34af
000034a9: DUP9
000034aa: DUP8
000034ab: PUSH2 0x37f2
000034ae: JUMP
000034af: JUMPDEST
000034b0: SWAP1
000034b1: POP
000034b2: PUSH0
000034b3: PUSH2 0x34bc
000034b6: DUP9
000034b7: DUP9
000034b8: PUSH2 0x37f2
000034bb: JUMP
000034bc: JUMPDEST
000034bd: SWAP1
000034be: POP
000034bf: PUSH0
000034c0: PUSH2 0x34cd
000034c3: DUP3
000034c4: PUSH2 0x3068
000034c7: DUP7
000034c8: DUP7
000034c9: PUSH2 0x2d3a
000034cc: JUMP
000034cd: JUMPDEST
000034ce: SWAP4
000034cf: SWAP12
000034d0: SWAP4
000034d1: SWAP11
000034d2: POP
000034d3: SWAP2
000034d4: SWAP9
000034d5: POP
000034d6: SWAP2
000034d7: SWAP7
000034d8: POP
000034d9: POP
000034da: POP
000034db: POP
000034dc: POP
000034dd: POP
000034de: POP
000034df: JUMP
000034e0: JUMPDEST
000034e1: PUSH1 0x40
000034e3: DUP1
000034e4: MLOAD
000034e5: PUSH1 0x02
000034e7: DUP1
000034e8: DUP3
000034e9: MSTORE
000034ea: PUSH1 0x60
000034ec: DUP3
000034ed: ADD
000034ee: DUP4
000034ef: MSTORE
000034f0: PUSH0
000034f1: SWAP3
000034f2: PUSH1 0x20
000034f4: DUP4
000034f5: ADD
000034f6: SWAP1
000034f7: DUP1
000034f8: CALLDATASIZE
000034f9: DUP4
000034fa: CALLDATACOPY
000034fb: ADD
000034fc: SWAP1
000034fd: POP
000034fe: POP
000034ff: SWAP1
00003500: POP
00003501: ADDRESS
00003502: DUP2
00003503: PUSH0
00003504: DUP2
00003505: MLOAD
00003506: DUP2
00003507: LT
00003508: PUSH2 0x3513
0000350b: JUMPI
0000350c: PUSH2 0x3513
0000350f: PUSH2 0x3e82
00003512: JUMP
00003513: JUMPDEST
00003514: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003529: SWAP3
0000352a: DUP4
0000352b: AND
0000352c: PUSH1 0x20
0000352e: SWAP2
0000352f: DUP3
00003530: MUL
00003531: SWAP3
00003532: SWAP1
00003533: SWAP3
00003534: ADD
00003535: DUP2
00003536: ADD
00003537: SWAP2
00003538: SWAP1
00003539: SWAP2
0000353a: MSTORE
0000353b: PUSH1 0x1c
0000353d: SLOAD
0000353e: PUSH1 0x40
00003540: DUP1
00003541: MLOAD
00003542: PUSH32 0xad5c464800000000000000000000000000000000000000000000000000000000
00003563: DUP2
00003564: MSTORE
00003565: SWAP1
00003566: MLOAD
00003567: SWAP2
00003568: SWAP1
00003569: SWAP4
0000356a: AND
0000356b: SWAP3
0000356c: PUSH4 0xad5c4648
00003571: SWAP3
00003572: PUSH1 0x04
00003574: DUP1
00003575: DUP4
00003576: ADD
00003577: SWAP4
00003578: SWAP2
00003579: SWAP3
0000357a: DUP3
0000357b: SWAP1
0000357c: SUB
0000357d: ADD
0000357e: DUP2
0000357f: DUP7
00003580: GAS
00003581: STATICCALL
00003582: ISZERO
00003583: DUP1
00003584: ISZERO
00003585: PUSH2 0x3590
00003588: JUMPI
00003589: RETURNDATASIZE
0000358a: PUSH0
0000358b: DUP1
0000358c: RETURNDATACOPY
0000358d: RETURNDATASIZE
0000358e: PUSH0
0000358f: REVERT
00003590: JUMPDEST
00003591: POP
00003592: POP
00003593: POP
00003594: POP
00003595: PUSH1 0x40
00003597: MLOAD
00003598: RETURNDATASIZE
00003599: PUSH1 0x1f
0000359b: NOT
0000359c: PUSH1 0x1f
0000359e: DUP3
0000359f: ADD
000035a0: AND
000035a1: DUP3
000035a2: ADD
000035a3: DUP1
000035a4: PUSH1 0x40
000035a6: MSTORE
000035a7: POP
000035a8: DUP2
000035a9: ADD
000035aa: SWAP1
000035ab: PUSH2 0x35b4
000035ae: SWAP2
000035af: SWAP1
000035b0: PUSH2 0x3f7e
000035b3: JUMP
000035b4: JUMPDEST
000035b5: DUP2
000035b6: PUSH1 0x01
000035b8: DUP2
000035b9: MLOAD
000035ba: DUP2
000035bb: LT
000035bc: PUSH2 0x35c7
000035bf: JUMPI
000035c0: PUSH2 0x35c7
000035c3: PUSH2 0x3e82
000035c6: JUMP
000035c7: JUMPDEST
000035c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035dd: SWAP3
000035de: DUP4
000035df: AND
000035e0: PUSH1 0x20
000035e2: SWAP2
000035e3: DUP3
000035e4: MUL
000035e5: SWAP3
000035e6: SWAP1
000035e7: SWAP3
000035e8: ADD
000035e9: ADD
000035ea: MSTORE
000035eb: PUSH1 0x1c
000035ed: SLOAD
000035ee: PUSH2 0x35fa
000035f1: SWAP2
000035f2: ADDRESS
000035f3: SWAP2
000035f4: AND
000035f5: DUP5
000035f6: PUSH2 0x2675
000035f9: JUMP
000035fa: JUMPDEST
000035fb: PUSH1 0x1c
000035fd: SLOAD
000035fe: PUSH1 0x40
00003600: MLOAD
00003601: PUSH32 0x791ac94700000000000000000000000000000000000000000000000000000000
00003622: DUP2
00003623: MSTORE
00003624: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003639: SWAP1
0000363a: SWAP2
0000363b: AND
0000363c: SWAP1
0000363d: PUSH4 0x791ac947
00003642: SWAP1
00003643: PUSH2 0x3658
00003646: SWAP1
00003647: DUP6
00003648: SWAP1
00003649: PUSH0
0000364a: SWAP1
0000364b: DUP7
0000364c: SWAP1
0000364d: ADDRESS
0000364e: SWAP1
0000364f: TIMESTAMP
00003650: SWAP1
00003651: PUSH1 0x04
00003653: ADD
00003654: PUSH2 0x3f99
00003657: JUMP
00003658: JUMPDEST
00003659: PUSH0
0000365a: PUSH1 0x40
0000365c: MLOAD
0000365d: DUP1
0000365e: DUP4
0000365f: SUB
00003660: DUP2
00003661: PUSH0
00003662: DUP8
00003663: DUP1
00003664: EXTCODESIZE
00003665: ISZERO
00003666: DUP1
00003667: ISZERO
00003668: PUSH2 0x366f
0000366b: JUMPI
0000366c: PUSH0
0000366d: DUP1
0000366e: REVERT
0000366f: JUMPDEST
00003670: POP
00003671: GAS
00003672: CALL
00003673: ISZERO
00003674: DUP1
00003675: ISZERO
00003676: PUSH2 0x2c6e
00003679: JUMPI
0000367a: RETURNDATASIZE
0000367b: PUSH0
0000367c: DUP1
0000367d: RETURNDATACOPY
0000367e: RETURNDATASIZE
0000367f: PUSH0
00003680: REVERT
00003681: JUMPDEST
00003682: PUSH1 0x1c
00003684: SLOAD
00003685: PUSH2 0x36a6
00003688: SWAP1
00003689: ADDRESS
0000368a: SWAP1
0000368b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036a0: AND
000036a1: DUP5
000036a2: PUSH2 0x2675
000036a5: JUMP
000036a6: JUMPDEST
000036a7: PUSH1 0x1c
000036a9: SLOAD
000036aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036bf: AND
000036c0: PUSH4 0xf305d719
000036c5: DUP3
000036c6: ADDRESS
000036c7: DUP6
000036c8: PUSH0
000036c9: DUP1
000036ca: PUSH2 0x36e7
000036cd: PUSH0
000036ce: SLOAD
000036cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036e4: AND
000036e5: SWAP1
000036e6: JUMP
000036e7: JUMPDEST
000036e8: PUSH1 0x40
000036ea: MLOAD
000036eb: PUSH1 0xe0
000036ed: DUP9
000036ee: SWAP1
000036ef: SHL
000036f0: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00003711: AND
00003712: DUP2
00003713: MSTORE
00003714: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003729: SWAP6
0000372a: DUP7
0000372b: AND
0000372c: PUSH1 0x04
0000372e: DUP3
0000372f: ADD
00003730: MSTORE
00003731: PUSH1 0x24
00003733: DUP2
00003734: ADD
00003735: SWAP5
00003736: SWAP1
00003737: SWAP5
00003738: MSTORE
00003739: PUSH1 0x44
0000373b: DUP5
0000373c: ADD
0000373d: SWAP3
0000373e: SWAP1
0000373f: SWAP3
00003740: MSTORE
00003741: PUSH1 0x64
00003743: DUP4
00003744: ADD
00003745: MSTORE
00003746: SWAP1
00003747: SWAP2
00003748: AND
00003749: PUSH1 0x84
0000374b: DUP3
0000374c: ADD
0000374d: MSTORE
0000374e: TIMESTAMP
0000374f: PUSH1 0xa4
00003751: DUP3
00003752: ADD
00003753: MSTORE
00003754: PUSH1 0xc4
00003756: ADD
00003757: PUSH1 0x60
00003759: PUSH1 0x40
0000375b: MLOAD
0000375c: DUP1
0000375d: DUP4
0000375e: SUB
0000375f: DUP2
00003760: DUP6
00003761: DUP9
00003762: GAS
00003763: CALL
00003764: ISZERO
00003765: DUP1
00003766: ISZERO
00003767: PUSH2 0x3772
0000376a: JUMPI
0000376b: RETURNDATASIZE
0000376c: PUSH0
0000376d: DUP1
0000376e: RETURNDATACOPY
0000376f: RETURNDATASIZE
00003770: PUSH0
00003771: REVERT
00003772: JUMPDEST
00003773: POP
00003774: POP
00003775: POP
00003776: POP
00003777: POP
00003778: PUSH1 0x40
0000377a: MLOAD
0000377b: RETURNDATASIZE
0000377c: PUSH1 0x1f
0000377e: NOT
0000377f: PUSH1 0x1f
00003781: DUP3
00003782: ADD
00003783: AND
00003784: DUP3
00003785: ADD
00003786: DUP1
00003787: PUSH1 0x40
00003789: MSTORE
0000378a: POP
0000378b: DUP2
0000378c: ADD
0000378d: SWAP1
0000378e: PUSH2 0x1364
00003791: SWAP2
00003792: SWAP1
00003793: PUSH2 0x4024
00003796: JUMP
00003797: JUMPDEST
00003798: PUSH1 0x0d
0000379a: SLOAD
0000379b: ISZERO
0000379c: DUP1
0000379d: ISZERO
0000379e: PUSH2 0x37a7
000037a1: JUMPI
000037a2: POP
000037a3: PUSH1 0x0f
000037a5: SLOAD
000037a6: ISZERO
000037a7: JUMPDEST
000037a8: DUP1
000037a9: ISZERO
000037aa: PUSH2 0x37b3
000037ad: JUMPI
000037ae: POP
000037af: PUSH1 0x13
000037b1: SLOAD
000037b2: ISZERO
000037b3: JUMPDEST
000037b4: DUP1
000037b5: ISZERO
000037b6: PUSH2 0x37bf
000037b9: JUMPI
000037ba: POP
000037bb: PUSH1 0x11
000037bd: SLOAD
000037be: ISZERO
000037bf: JUMPDEST
000037c0: ISZERO
000037c1: PUSH2 0x37c6
000037c4: JUMPI
000037c5: JUMP
000037c6: JUMPDEST
000037c7: PUSH1 0x0d
000037c9: DUP1
000037ca: SLOAD
000037cb: PUSH1 0x0e
000037cd: SSTORE
000037ce: PUSH1 0x0f
000037d0: DUP1
000037d1: SLOAD
000037d2: PUSH1 0x10
000037d4: SSTORE
000037d5: PUSH1 0x11
000037d7: DUP1
000037d8: SLOAD
000037d9: PUSH1 0x12
000037db: SSTORE
000037dc: PUSH1 0x13
000037de: DUP1
000037df: SLOAD
000037e0: PUSH1 0x15
000037e2: SSTORE
000037e3: PUSH0
000037e4: SWAP4
000037e5: DUP5
000037e6: SWAP1
000037e7: SSTORE
000037e8: SWAP2
000037e9: DUP4
000037ea: SWAP1
000037eb: SSTORE
000037ec: SWAP1
000037ed: DUP3
000037ee: SWAP1
000037ef: SSTORE
000037f0: SSTORE
000037f1: JUMP
000037f2: JUMPDEST
000037f3: PUSH0
000037f4: PUSH2 0x0e7f
000037f7: DUP3
000037f8: DUP5
000037f9: PUSH2 0x3f2f
000037fc: JUMP
000037fd: JUMPDEST
000037fe: PUSH0
000037ff: DUP1
00003800: PUSH0
00003801: DUP1
00003802: PUSH0
00003803: DUP1
00003804: PUSH2 0x380c
00003807: DUP8
00003808: PUSH2 0x2cf2
0000380b: JUMP
0000380c: JUMPDEST
0000380d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003822: DUP16
00003823: AND
00003824: PUSH0
00003825: SWAP1
00003826: DUP2
00003827: MSTORE
00003828: PUSH1 0x02
0000382a: PUSH1 0x20
0000382c: MSTORE
0000382d: PUSH1 0x40
0000382f: SWAP1
00003830: KECCAK256
00003831: SLOAD
00003832: SWAP6
00003833: SWAP12
00003834: POP
00003835: SWAP4
00003836: SWAP10
00003837: POP
00003838: SWAP2
00003839: SWAP8
0000383a: POP
0000383b: SWAP6
0000383c: POP
0000383d: SWAP4
0000383e: POP
0000383f: SWAP2
00003840: POP
00003841: PUSH2 0x384a
00003844: SWAP1
00003845: DUP9
00003846: PUSH2 0x2d3a
00003849: JUMP
0000384a: JUMPDEST
0000384b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003860: DUP11
00003861: AND
00003862: PUSH0
00003863: SWAP1
00003864: DUP2
00003865: MSTORE
00003866: PUSH1 0x02
00003868: PUSH1 0x20
0000386a: SWAP1
0000386b: DUP2
0000386c: MSTORE
0000386d: PUSH1 0x40
0000386f: DUP1
00003870: DUP4
00003871: KECCAK256
00003872: SWAP4
00003873: SWAP1
00003874: SWAP4
00003875: SSTORE
00003876: PUSH1 0x01
00003878: SWAP1
00003879: MSTORE
0000387a: KECCAK256
0000387b: SLOAD
0000387c: PUSH2 0x3885
0000387f: SWAP1
00003880: DUP8
00003881: PUSH2 0x2d3a
00003884: JUMP
00003885: JUMPDEST
00003886: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000389b: DUP1
0000389c: DUP12
0000389d: AND
0000389e: PUSH0
0000389f: SWAP1
000038a0: DUP2
000038a1: MSTORE
000038a2: PUSH1 0x01
000038a4: PUSH1 0x20
000038a6: MSTORE
000038a7: PUSH1 0x40
000038a9: DUP1
000038aa: DUP3
000038ab: KECCAK256
000038ac: SWAP4
000038ad: SWAP1
000038ae: SWAP4
000038af: SSTORE
000038b0: SWAP1
000038b1: DUP11
000038b2: AND
000038b3: DUP2
000038b4: MSTORE
000038b5: KECCAK256
000038b6: SLOAD
000038b7: PUSH2 0x38c0
000038ba: SWAP1
000038bb: DUP7
000038bc: PUSH2 0x2ce7
000038bf: JUMP
000038c0: JUMPDEST
000038c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038d6: DUP10
000038d7: AND
000038d8: PUSH0
000038d9: SWAP1
000038da: DUP2
000038db: MSTORE
000038dc: PUSH1 0x01
000038de: PUSH1 0x20
000038e0: MSTORE
000038e1: PUSH1 0x40
000038e3: SWAP1
000038e4: KECCAK256
000038e5: SSTORE
000038e6: PUSH2 0x38ee
000038e9: DUP2
000038ea: PUSH2 0x3b3f
000038ed: JUMP
000038ee: JUMPDEST
000038ef: PUSH2 0x38f8
000038f2: DUP5
000038f3: DUP4
000038f4: PUSH2 0x3bc2
000038f7: JUMP
000038f8: JUMPDEST
000038f9: DUP8
000038fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000390f: AND
00003910: DUP10
00003911: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003926: AND
00003927: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003948: DUP6
00003949: PUSH1 0x40
0000394b: MLOAD
0000394c: PUSH2 0x3957
0000394f: SWAP2
00003950: DUP2
00003951: MSTORE
00003952: PUSH1 0x20
00003954: ADD
00003955: SWAP1
00003956: JUMP
00003957: JUMPDEST
00003958: PUSH1 0x40
0000395a: MLOAD
0000395b: DUP1
0000395c: SWAP2
0000395d: SUB
0000395e: SWAP1
0000395f: LOG3
00003960: POP
00003961: POP
00003962: POP
00003963: POP
00003964: POP
00003965: POP
00003966: POP
00003967: POP
00003968: POP
00003969: JUMP
0000396a: JUMPDEST
0000396b: PUSH0
0000396c: DUP1
0000396d: PUSH0
0000396e: DUP1
0000396f: PUSH0
00003970: DUP1
00003971: PUSH2 0x3979
00003974: DUP8
00003975: PUSH2 0x2cf2
00003978: JUMP
00003979: JUMPDEST
0000397a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000398f: DUP16
00003990: AND
00003991: PUSH0
00003992: SWAP1
00003993: DUP2
00003994: MSTORE
00003995: PUSH1 0x01
00003997: PUSH1 0x20
00003999: MSTORE
0000399a: PUSH1 0x40
0000399c: SWAP1
0000399d: KECCAK256
0000399e: SLOAD
0000399f: SWAP6
000039a0: SWAP12
000039a1: POP
000039a2: SWAP4
000039a3: SWAP10
000039a4: POP
000039a5: SWAP2
000039a6: SWAP8
000039a7: POP
000039a8: SWAP6
000039a9: POP
000039aa: SWAP4
000039ab: POP
000039ac: SWAP2
000039ad: POP
000039ae: PUSH2 0x39b7
000039b1: SWAP1
000039b2: DUP8
000039b3: PUSH2 0x2d3a
000039b6: JUMP
000039b7: JUMPDEST
000039b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000039cd: DUP1
000039ce: DUP12
000039cf: AND
000039d0: PUSH0
000039d1: SWAP1
000039d2: DUP2
000039d3: MSTORE
000039d4: PUSH1 0x01
000039d6: PUSH1 0x20
000039d8: SWAP1
000039d9: DUP2
000039da: MSTORE
000039db: PUSH1 0x40
000039dd: DUP1
000039de: DUP4
000039df: KECCAK256
000039e0: SWAP5
000039e1: SWAP1
000039e2: SWAP5
000039e3: SSTORE
000039e4: SWAP2
000039e5: DUP12
000039e6: AND
000039e7: DUP2
000039e8: MSTORE
000039e9: PUSH1 0x02
000039eb: SWAP1
000039ec: SWAP2
000039ed: MSTORE
000039ee: KECCAK256
000039ef: SLOAD
000039f0: PUSH2 0x39f9
000039f3: SWAP1
000039f4: DUP5
000039f5: PUSH2 0x2ce7
000039f8: JUMP
000039f9: JUMPDEST
000039fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a0f: DUP10
00003a10: AND
00003a11: PUSH0
00003a12: SWAP1
00003a13: DUP2
00003a14: MSTORE
00003a15: PUSH1 0x02
00003a17: PUSH1 0x20
00003a19: SWAP1
00003a1a: DUP2
00003a1b: MSTORE
00003a1c: PUSH1 0x40
00003a1e: DUP1
00003a1f: DUP4
00003a20: KECCAK256
00003a21: SWAP4
00003a22: SWAP1
00003a23: SWAP4
00003a24: SSTORE
00003a25: PUSH1 0x01
00003a27: SWAP1
00003a28: MSTORE
00003a29: KECCAK256
00003a2a: SLOAD
00003a2b: PUSH2 0x38c0
00003a2e: SWAP1
00003a2f: DUP7
00003a30: PUSH2 0x2ce7
00003a33: JUMP
00003a34: JUMPDEST
00003a35: PUSH0
00003a36: DUP1
00003a37: PUSH0
00003a38: DUP1
00003a39: PUSH0
00003a3a: DUP1
00003a3b: PUSH2 0x3a43
00003a3e: DUP8
00003a3f: PUSH2 0x2cf2
00003a42: JUMP
00003a43: JUMPDEST
00003a44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a59: DUP16
00003a5a: AND
00003a5b: PUSH0
00003a5c: SWAP1
00003a5d: DUP2
00003a5e: MSTORE
00003a5f: PUSH1 0x01
00003a61: PUSH1 0x20
00003a63: MSTORE
00003a64: PUSH1 0x40
00003a66: SWAP1
00003a67: KECCAK256
00003a68: SLOAD
00003a69: SWAP6
00003a6a: SWAP12
00003a6b: POP
00003a6c: SWAP4
00003a6d: SWAP10
00003a6e: POP
00003a6f: SWAP2
00003a70: SWAP8
00003a71: POP
00003a72: SWAP6
00003a73: POP
00003a74: SWAP4
00003a75: POP
00003a76: SWAP2
00003a77: POP
00003a78: PUSH2 0x3885
00003a7b: SWAP1
00003a7c: DUP8
00003a7d: PUSH2 0x2d3a
00003a80: JUMP
00003a81: JUMPDEST
00003a82: PUSH0
00003a83: DUP1
00003a84: PUSH0
00003a85: DUP1
00003a86: PUSH0
00003a87: DUP1
00003a88: PUSH2 0x3a90
00003a8b: DUP8
00003a8c: PUSH2 0x2cf2
00003a8f: JUMP
00003a90: JUMPDEST
00003a91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003aa6: DUP16
00003aa7: AND
00003aa8: PUSH0
00003aa9: SWAP1
00003aaa: DUP2
00003aab: MSTORE
00003aac: PUSH1 0x02
00003aae: PUSH1 0x20
00003ab0: MSTORE
00003ab1: PUSH1 0x40
00003ab3: SWAP1
00003ab4: KECCAK256
00003ab5: SLOAD
00003ab6: SWAP6
00003ab7: SWAP12
00003ab8: POP
00003ab9: SWAP4
00003aba: SWAP10
00003abb: POP
00003abc: SWAP2
00003abd: SWAP8
00003abe: POP
00003abf: SWAP6
00003ac0: POP
00003ac1: SWAP4
00003ac2: POP
00003ac3: SWAP2
00003ac4: POP
00003ac5: PUSH2 0x3ace
00003ac8: SWAP1
00003ac9: DUP9
00003aca: PUSH2 0x2d3a
00003acd: JUMP
00003ace: JUMPDEST
00003acf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ae4: DUP11
00003ae5: AND
00003ae6: PUSH0
00003ae7: SWAP1
00003ae8: DUP2
00003ae9: MSTORE
00003aea: PUSH1 0x02
00003aec: PUSH1 0x20
00003aee: SWAP1
00003aef: DUP2
00003af0: MSTORE
00003af1: PUSH1 0x40
00003af3: DUP1
00003af4: DUP4
00003af5: KECCAK256
00003af6: SWAP4
00003af7: SWAP1
00003af8: SWAP4
00003af9: SSTORE
00003afa: PUSH1 0x01
00003afc: SWAP1
00003afd: MSTORE
00003afe: KECCAK256
00003aff: SLOAD
00003b00: PUSH2 0x39b7
00003b03: SWAP1
00003b04: DUP8
00003b05: PUSH2 0x2d3a
00003b08: JUMP
00003b09: JUMPDEST
00003b0a: PUSH0
00003b0b: PUSH2 0x0d5d
00003b0e: PUSH1 0x64
00003b10: PUSH2 0x2fd1
00003b13: PUSH1 0x0d
00003b15: SLOAD
00003b16: DUP6
00003b17: PUSH2 0x37f2
00003b1a: SWAP1
00003b1b: SWAP2
00003b1c: SWAP1
00003b1d: PUSH4 0xffffffff
00003b22: AND
00003b23: JUMP
00003b24: JUMPDEST
00003b25: PUSH0
00003b26: PUSH2 0x0d5d
00003b29: PUSH1 0x64
00003b2b: PUSH2 0x2fd1
00003b2e: PUSH1 0x0f
00003b30: SLOAD
00003b31: DUP6
00003b32: PUSH2 0x37f2
00003b35: SWAP1
00003b36: SWAP2
00003b37: SWAP1
00003b38: PUSH4 0xffffffff
00003b3d: AND
00003b3e: JUMP
00003b3f: JUMPDEST
00003b40: PUSH0
00003b41: PUSH2 0x3b48
00003b44: PUSH2 0x2cbb
00003b47: JUMP
00003b48: JUMPDEST
00003b49: SWAP1
00003b4a: POP
00003b4b: PUSH0
00003b4c: PUSH2 0x3b55
00003b4f: DUP4
00003b50: DUP4
00003b51: PUSH2 0x37f2
00003b54: JUMP
00003b55: JUMPDEST
00003b56: ADDRESS
00003b57: PUSH0
00003b58: SWAP1
00003b59: DUP2
00003b5a: MSTORE
00003b5b: PUSH1 0x01
00003b5d: PUSH1 0x20
00003b5f: MSTORE
00003b60: PUSH1 0x40
00003b62: SWAP1
00003b63: KECCAK256
00003b64: SLOAD
00003b65: SWAP1
00003b66: SWAP2
00003b67: POP
00003b68: PUSH2 0x3b71
00003b6b: SWAP1
00003b6c: DUP3
00003b6d: PUSH2 0x2ce7
00003b70: JUMP
00003b71: JUMPDEST
00003b72: ADDRESS
00003b73: PUSH0
00003b74: SWAP1
00003b75: DUP2
00003b76: MSTORE
00003b77: PUSH1 0x01
00003b79: PUSH1 0x20
00003b7b: SWAP1
00003b7c: DUP2
00003b7d: MSTORE
00003b7e: PUSH1 0x40
00003b80: DUP1
00003b81: DUP4
00003b82: KECCAK256
00003b83: SWAP4
00003b84: SWAP1
00003b85: SWAP4
00003b86: SSTORE
00003b87: PUSH1 0x05
00003b89: SWAP1
00003b8a: MSTORE
00003b8b: KECCAK256
00003b8c: SLOAD
00003b8d: PUSH1 0xff
00003b8f: AND
00003b90: ISZERO
00003b91: PUSH2 0x3bbd
00003b94: JUMPI
00003b95: ADDRESS
00003b96: PUSH0
00003b97: SWAP1
00003b98: DUP2
00003b99: MSTORE
00003b9a: PUSH1 0x02
00003b9c: PUSH1 0x20
00003b9e: MSTORE
00003b9f: PUSH1 0x40
00003ba1: SWAP1
00003ba2: KECCAK256
00003ba3: SLOAD
00003ba4: PUSH2 0x3bad
00003ba7: SWAP1
00003ba8: DUP5
00003ba9: PUSH2 0x2ce7
00003bac: JUMP
00003bad: JUMPDEST
00003bae: ADDRESS
00003baf: PUSH0
00003bb0: SWAP1
00003bb1: DUP2
00003bb2: MSTORE
00003bb3: PUSH1 0x02
00003bb5: PUSH1 0x20
00003bb7: MSTORE
00003bb8: PUSH1 0x40
00003bba: SWAP1
00003bbb: KECCAK256
00003bbc: SSTORE
00003bbd: JUMPDEST
00003bbe: POP
00003bbf: POP
00003bc0: POP
00003bc1: JUMP
00003bc2: JUMPDEST
00003bc3: PUSH1 0x08
00003bc5: SLOAD
00003bc6: PUSH2 0x3bcf
00003bc9: SWAP1
00003bca: DUP4
00003bcb: PUSH2 0x2d3a
00003bce: JUMP
00003bcf: JUMPDEST
00003bd0: PUSH1 0x08
00003bd2: SSTORE
00003bd3: PUSH1 0x09
00003bd5: SLOAD
00003bd6: PUSH2 0x3bdf
00003bd9: SWAP1
00003bda: DUP3
00003bdb: PUSH2 0x2ce7
00003bde: JUMP
00003bdf: JUMPDEST
00003be0: PUSH1 0x09
00003be2: SSTORE
00003be3: POP
00003be4: POP
00003be5: JUMP
00003be6: JUMPDEST
00003be7: PUSH0
00003be8: PUSH1 0x20
00003bea: DUP3
00003beb: DUP5
00003bec: SUB
00003bed: SLT
00003bee: ISZERO
00003bef: PUSH2 0x3bf6
00003bf2: JUMPI
00003bf3: PUSH0
00003bf4: DUP1
00003bf5: REVERT
00003bf6: JUMPDEST
00003bf7: POP
00003bf8: CALLDATALOAD
00003bf9: SWAP2
00003bfa: SWAP1
00003bfb: POP
00003bfc: JUMP
00003bfd: JUMPDEST
00003bfe: PUSH1 0x20
00003c00: DUP2
00003c01: MSTORE
00003c02: PUSH0
00003c03: DUP3
00003c04: MLOAD
00003c05: DUP1
00003c06: PUSH1 0x20
00003c08: DUP5
00003c09: ADD
00003c0a: MSTORE
00003c0b: DUP1
00003c0c: PUSH1 0x20
00003c0e: DUP6
00003c0f: ADD
00003c10: PUSH1 0x40
00003c12: DUP6
00003c13: ADD
00003c14: MCOPY
00003c15: PUSH0
00003c16: PUSH1 0x40
00003c18: DUP3
00003c19: DUP6
00003c1a: ADD
00003c1b: ADD
00003c1c: MSTORE
00003c1d: PUSH1 0x40
00003c1f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00003c40: PUSH1 0x1f
00003c42: DUP4
00003c43: ADD
00003c44: AND
00003c45: DUP5
00003c46: ADD
00003c47: ADD
00003c48: SWAP2
00003c49: POP
00003c4a: POP
00003c4b: SWAP3
00003c4c: SWAP2
00003c4d: POP
00003c4e: POP
00003c4f: JUMP
00003c50: JUMPDEST
00003c51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c66: DUP2
00003c67: AND
00003c68: DUP2
00003c69: EQ
00003c6a: PUSH2 0x204c
00003c6d: JUMPI
00003c6e: PUSH0
00003c6f: DUP1
00003c70: REVERT
00003c71: JUMPDEST
00003c72: PUSH0
00003c73: DUP1
00003c74: PUSH1 0x40
00003c76: DUP4
00003c77: DUP6
00003c78: SUB
00003c79: SLT
00003c7a: ISZERO
00003c7b: PUSH2 0x3c82
00003c7e: JUMPI
00003c7f: PUSH0
00003c80: DUP1
00003c81: REVERT
00003c82: JUMPDEST
00003c83: DUP3
00003c84: CALLDATALOAD
00003c85: PUSH2 0x3c8d
00003c88: DUP2
00003c89: PUSH2 0x3c50
00003c8c: JUMP
00003c8d: JUMPDEST
00003c8e: SWAP5
00003c8f: PUSH1 0x20
00003c91: SWAP4
00003c92: SWAP1
00003c93: SWAP4
00003c94: ADD
00003c95: CALLDATALOAD
00003c96: SWAP4
00003c97: POP
00003c98: POP
00003c99: POP
00003c9a: JUMP
00003c9b: JUMPDEST
00003c9c: PUSH0
00003c9d: DUP1
00003c9e: PUSH0
00003c9f: PUSH1 0x60
00003ca1: DUP5
00003ca2: DUP7
00003ca3: SUB
00003ca4: SLT
00003ca5: ISZERO
00003ca6: PUSH2 0x3cad
00003ca9: JUMPI
00003caa: PUSH0
00003cab: DUP1
00003cac: REVERT
00003cad: JUMPDEST
00003cae: DUP4
00003caf: CALLDATALOAD
00003cb0: PUSH2 0x3cb8
00003cb3: DUP2
00003cb4: PUSH2 0x3c50
00003cb7: JUMP
00003cb8: JUMPDEST
00003cb9: SWAP3
00003cba: POP
00003cbb: PUSH1 0x20
00003cbd: DUP5
00003cbe: ADD
00003cbf: CALLDATALOAD
00003cc0: PUSH2 0x3cc8
00003cc3: DUP2
00003cc4: PUSH2 0x3c50
00003cc7: JUMP
00003cc8: JUMPDEST
00003cc9: SWAP3
00003cca: SWAP6
00003ccb: SWAP3
00003ccc: SWAP5
00003ccd: POP
00003cce: POP
00003ccf: POP
00003cd0: PUSH1 0x40
00003cd2: SWAP2
00003cd3: SWAP1
00003cd4: SWAP2
00003cd5: ADD
00003cd6: CALLDATALOAD
00003cd7: SWAP1
00003cd8: JUMP
00003cd9: JUMPDEST
00003cda: PUSH0
00003cdb: PUSH1 0x20
00003cdd: DUP3
00003cde: DUP5
00003cdf: SUB
00003ce0: SLT
00003ce1: ISZERO
00003ce2: PUSH2 0x3ce9
00003ce5: JUMPI
00003ce6: PUSH0
00003ce7: DUP1
00003ce8: REVERT
00003ce9: JUMPDEST
00003cea: DUP2
00003ceb: CALLDATALOAD
00003cec: PUSH2 0x0e7f
00003cef: DUP2
00003cf0: PUSH2 0x3c50
00003cf3: JUMP
00003cf4: JUMPDEST
00003cf5: PUSH0
00003cf6: DUP1
00003cf7: DUP4
00003cf8: PUSH1 0x1f
00003cfa: DUP5
00003cfb: ADD
00003cfc: SLT
00003cfd: PUSH2 0x3d04
00003d00: JUMPI
00003d01: PUSH0
00003d02: DUP1
00003d03: REVERT
00003d04: JUMPDEST
00003d05: POP
00003d06: DUP2
00003d07: CALLDATALOAD
00003d08: PUSH8 0xffffffffffffffff
00003d11: DUP2
00003d12: GT
00003d13: ISZERO
00003d14: PUSH2 0x3d1b
00003d17: JUMPI
00003d18: PUSH0
00003d19: DUP1
00003d1a: REVERT
00003d1b: JUMPDEST
00003d1c: PUSH1 0x20
00003d1e: DUP4
00003d1f: ADD
00003d20: SWAP2
00003d21: POP
00003d22: DUP4
00003d23: PUSH1 0x20
00003d25: DUP3
00003d26: PUSH1 0x05
00003d28: SHL
00003d29: DUP6
00003d2a: ADD
00003d2b: ADD
00003d2c: GT
00003d2d: ISZERO
00003d2e: PUSH2 0x3d35
00003d31: JUMPI
00003d32: PUSH0
00003d33: DUP1
00003d34: REVERT
00003d35: JUMPDEST
00003d36: SWAP3
00003d37: POP
00003d38: SWAP3
00003d39: SWAP1
00003d3a: POP
00003d3b: JUMP
00003d3c: JUMPDEST
00003d3d: PUSH0
00003d3e: DUP1
00003d3f: PUSH0
00003d40: DUP1
00003d41: PUSH1 0x40
00003d43: DUP6
00003d44: DUP8
00003d45: SUB
00003d46: SLT
00003d47: ISZERO
00003d48: PUSH2 0x3d4f
00003d4b: JUMPI
00003d4c: PUSH0
00003d4d: DUP1
00003d4e: REVERT
00003d4f: JUMPDEST
00003d50: DUP5
00003d51: CALLDATALOAD
00003d52: PUSH8 0xffffffffffffffff
00003d5b: DUP1
00003d5c: DUP3
00003d5d: GT
00003d5e: ISZERO
00003d5f: PUSH2 0x3d66
00003d62: JUMPI
00003d63: PUSH0
00003d64: DUP1
00003d65: REVERT
00003d66: JUMPDEST
00003d67: PUSH2 0x3d72
00003d6a: DUP9
00003d6b: DUP4
00003d6c: DUP10
00003d6d: ADD
00003d6e: PUSH2 0x3cf4
00003d71: JUMP
00003d72: JUMPDEST
00003d73: SWAP1
00003d74: SWAP7
00003d75: POP
00003d76: SWAP5
00003d77: POP
00003d78: PUSH1 0x20
00003d7a: DUP8
00003d7b: ADD
00003d7c: CALLDATALOAD
00003d7d: SWAP2
00003d7e: POP
00003d7f: DUP1
00003d80: DUP3
00003d81: GT
00003d82: ISZERO
00003d83: PUSH2 0x3d8a
00003d86: JUMPI
00003d87: PUSH0
00003d88: DUP1
00003d89: REVERT
00003d8a: JUMPDEST
00003d8b: POP
00003d8c: PUSH2 0x3d97
00003d8f: DUP8
00003d90: DUP3
00003d91: DUP9
00003d92: ADD
00003d93: PUSH2 0x3cf4
00003d96: JUMP
00003d97: JUMPDEST
00003d98: SWAP6
00003d99: SWAP9
00003d9a: SWAP5
00003d9b: SWAP8
00003d9c: POP
00003d9d: SWAP6
00003d9e: POP
00003d9f: POP
00003da0: POP
00003da1: POP
00003da2: JUMP
00003da3: JUMPDEST
00003da4: DUP1
00003da5: CALLDATALOAD
00003da6: DUP1
00003da7: ISZERO
00003da8: ISZERO
00003da9: DUP2
00003daa: EQ
00003dab: PUSH2 0x3db2
00003dae: JUMPI
00003daf: PUSH0
00003db0: DUP1
00003db1: REVERT
00003db2: JUMPDEST
00003db3: SWAP2
00003db4: SWAP1
00003db5: POP
00003db6: JUMP
00003db7: JUMPDEST
00003db8: PUSH0
00003db9: DUP1
00003dba: PUSH1 0x40
00003dbc: DUP4
00003dbd: DUP6
00003dbe: SUB
00003dbf: SLT
00003dc0: ISZERO
00003dc1: PUSH2 0x3dc8
00003dc4: JUMPI
00003dc5: PUSH0
00003dc6: DUP1
00003dc7: REVERT
00003dc8: JUMPDEST
00003dc9: DUP3
00003dca: CALLDATALOAD
00003dcb: SWAP2
00003dcc: POP
00003dcd: PUSH2 0x3dd8
00003dd0: PUSH1 0x20
00003dd2: DUP5
00003dd3: ADD
00003dd4: PUSH2 0x3da3
00003dd7: JUMP
00003dd8: JUMPDEST
00003dd9: SWAP1
00003dda: POP
00003ddb: SWAP3
00003ddc: POP
00003ddd: SWAP3
00003dde: SWAP1
00003ddf: POP
00003de0: JUMP
00003de1: JUMPDEST
00003de2: PUSH0
00003de3: PUSH1 0x20
00003de5: DUP3
00003de6: DUP5
00003de7: SUB
00003de8: SLT
00003de9: ISZERO
00003dea: PUSH2 0x3df1
00003ded: JUMPI
00003dee: PUSH0
00003def: DUP1
00003df0: REVERT
00003df1: JUMPDEST
00003df2: PUSH2 0x0e7f
00003df5: DUP3
00003df6: PUSH2 0x3da3
00003df9: JUMP
00003dfa: JUMPDEST
00003dfb: PUSH0
00003dfc: DUP1
00003dfd: PUSH1 0x40
00003dff: DUP4
00003e00: DUP6
00003e01: SUB
00003e02: SLT
00003e03: ISZERO
00003e04: PUSH2 0x3e0b
00003e07: JUMPI
00003e08: PUSH0
00003e09: DUP1
00003e0a: REVERT
00003e0b: JUMPDEST
00003e0c: DUP3
00003e0d: CALLDATALOAD
00003e0e: PUSH2 0x3e16
00003e11: DUP2
00003e12: PUSH2 0x3c50
00003e15: JUMP
00003e16: JUMPDEST
00003e17: SWAP2
00003e18: POP
00003e19: PUSH1 0x20
00003e1b: DUP4
00003e1c: ADD
00003e1d: CALLDATALOAD
00003e1e: PUSH2 0x3e26
00003e21: DUP2
00003e22: PUSH2 0x3c50
00003e25: JUMP
00003e26: JUMPDEST
00003e27: DUP1
00003e28: SWAP2
00003e29: POP
00003e2a: POP
00003e2b: SWAP3
00003e2c: POP
00003e2d: SWAP3
00003e2e: SWAP1
00003e2f: POP
00003e30: JUMP
00003e31: JUMPDEST
00003e32: PUSH1 0x01
00003e34: DUP2
00003e35: DUP2
00003e36: SHR
00003e37: SWAP1
00003e38: DUP3
00003e39: AND
00003e3a: DUP1
00003e3b: PUSH2 0x3e45
00003e3e: JUMPI
00003e3f: PUSH1 0x7f
00003e41: DUP3
00003e42: AND
00003e43: SWAP2
00003e44: POP
00003e45: JUMPDEST
00003e46: PUSH1 0x20
00003e48: DUP3
00003e49: LT
00003e4a: DUP2
00003e4b: SUB
00003e4c: PUSH2 0x3e7c
00003e4f: JUMPI
00003e50: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003e71: PUSH0
00003e72: MSTORE
00003e73: PUSH1 0x22
00003e75: PUSH1 0x04
00003e77: MSTORE
00003e78: PUSH1 0x24
00003e7a: PUSH0
00003e7b: REVERT
00003e7c: JUMPDEST
00003e7d: POP
00003e7e: SWAP2
00003e7f: SWAP1
00003e80: POP
00003e81: JUMP
00003e82: JUMPDEST
00003e83: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003ea4: PUSH0
00003ea5: MSTORE
00003ea6: PUSH1 0x32
00003ea8: PUSH1 0x04
00003eaa: MSTORE
00003eab: PUSH1 0x24
00003ead: PUSH0
00003eae: REVERT
00003eaf: JUMPDEST
00003eb0: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003ed1: PUSH0
00003ed2: MSTORE
00003ed3: PUSH1 0x11
00003ed5: PUSH1 0x04
00003ed7: MSTORE
00003ed8: PUSH1 0x24
00003eda: PUSH0
00003edb: REVERT
00003edc: JUMPDEST
00003edd: DUP2
00003ede: DUP2
00003edf: SUB
00003ee0: DUP2
00003ee1: DUP2
00003ee2: GT
00003ee3: ISZERO
00003ee4: PUSH2 0x0d5d
00003ee7: JUMPI
00003ee8: PUSH2 0x0d5d
00003eeb: PUSH2 0x3eaf
00003eee: JUMP
00003eef: JUMPDEST
00003ef0: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003f11: PUSH0
00003f12: MSTORE
00003f13: PUSH1 0x31
00003f15: PUSH1 0x04
00003f17: MSTORE
00003f18: PUSH1 0x24
00003f1a: PUSH0
00003f1b: REVERT
00003f1c: JUMPDEST
00003f1d: DUP1
00003f1e: DUP3
00003f1f: ADD
00003f20: DUP1
00003f21: DUP3
00003f22: GT
00003f23: ISZERO
00003f24: PUSH2 0x0d5d
00003f27: JUMPI
00003f28: PUSH2 0x0d5d
00003f2b: PUSH2 0x3eaf
00003f2e: JUMP
00003f2f: JUMPDEST
00003f30: DUP1
00003f31: DUP3
00003f32: MUL
00003f33: DUP2
00003f34: ISZERO
00003f35: DUP3
00003f36: DUP3
00003f37: DIV
00003f38: DUP5
00003f39: EQ
00003f3a: OR
00003f3b: PUSH2 0x0d5d
00003f3e: JUMPI
00003f3f: PUSH2 0x0d5d
00003f42: PUSH2 0x3eaf
00003f45: JUMP
00003f46: JUMPDEST
00003f47: PUSH0
00003f48: DUP3
00003f49: PUSH2 0x3f79
00003f4c: JUMPI
00003f4d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003f6e: PUSH0
00003f6f: MSTORE
00003f70: PUSH1 0x12
00003f72: PUSH1 0x04
00003f74: MSTORE
00003f75: PUSH1 0x24
00003f77: PUSH0
00003f78: REVERT
00003f79: JUMPDEST
00003f7a: POP
00003f7b: DIV
00003f7c: SWAP1
00003f7d: JUMP
00003f7e: JUMPDEST
00003f7f: PUSH0
00003f80: PUSH1 0x20
00003f82: DUP3
00003f83: DUP5
00003f84: SUB
00003f85: SLT
00003f86: ISZERO
00003f87: PUSH2 0x3f8e
00003f8a: JUMPI
00003f8b: PUSH0
00003f8c: DUP1
00003f8d: REVERT
00003f8e: JUMPDEST
00003f8f: DUP2
00003f90: MLOAD
00003f91: PUSH2 0x0e7f
00003f94: DUP2
00003f95: PUSH2 0x3c50
00003f98: JUMP
00003f99: JUMPDEST
00003f9a: PUSH0
00003f9b: PUSH1 0xa0
00003f9d: DUP3
00003f9e: ADD
00003f9f: DUP8
00003fa0: DUP4
00003fa1: MSTORE
00003fa2: PUSH1 0x20
00003fa4: DUP8
00003fa5: PUSH1 0x20
00003fa7: DUP6
00003fa8: ADD
00003fa9: MSTORE
00003faa: PUSH1 0xa0
00003fac: PUSH1 0x40
00003fae: DUP6
00003faf: ADD
00003fb0: MSTORE
00003fb1: DUP2
00003fb2: DUP8
00003fb3: MLOAD
00003fb4: DUP1
00003fb5: DUP5
00003fb6: MSTORE
00003fb7: PUSH1 0xc0
00003fb9: DUP7
00003fba: ADD
00003fbb: SWAP2
00003fbc: POP
00003fbd: PUSH1 0x20
00003fbf: DUP10
00003fc0: ADD
00003fc1: SWAP4
00003fc2: POP
00003fc3: PUSH0
00003fc4: JUMPDEST
00003fc5: DUP2
00003fc6: DUP2
00003fc7: LT
00003fc8: ISZERO
00003fc9: PUSH2 0x3ff6
00003fcc: JUMPI
00003fcd: DUP5
00003fce: MLOAD
00003fcf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003fe4: AND
00003fe5: DUP4
00003fe6: MSTORE
00003fe7: SWAP4
00003fe8: DUP4
00003fe9: ADD
00003fea: SWAP4
00003feb: SWAP2
00003fec: DUP4
00003fed: ADD
00003fee: SWAP2
00003fef: PUSH1 0x01
00003ff1: ADD
00003ff2: PUSH2 0x3fc4
00003ff5: JUMP
00003ff6: JUMPDEST
00003ff7: POP
00003ff8: POP
00003ff9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000400e: SWAP7
0000400f: SWAP1
00004010: SWAP7
00004011: AND
00004012: PUSH1 0x60
00004014: DUP6
00004015: ADD
00004016: MSTORE
00004017: POP
00004018: POP
00004019: POP
0000401a: PUSH1 0x80
0000401c: ADD
0000401d: MSTORE
0000401e: SWAP4
0000401f: SWAP3
00004020: POP
00004021: POP
00004022: POP
00004023: JUMP
00004024: JUMPDEST
00004025: PUSH0
00004026: DUP1
00004027: PUSH0
00004028: PUSH1 0x60
0000402a: DUP5
0000402b: DUP7
0000402c: SUB
0000402d: SLT
0000402e: ISZERO
0000402f: PUSH2 0x4036
00004032: JUMPI
00004033: PUSH0
00004034: DUP1
00004035: REVERT
00004036: JUMPDEST
00004037: DUP4
00004038: MLOAD
00004039: SWAP3
0000403a: POP
0000403b: PUSH1 0x20
0000403d: DUP5
0000403e: ADD
0000403f: MLOAD
00004040: SWAP2
00004041: POP
00004042: PUSH1 0x40
00004044: DUP5
00004045: ADD
00004046: MLOAD
00004047: SWAP1
00004048: POP
00004049: SWAP3
0000404a: POP
0000404b: SWAP3
0000404c: POP
0000404d: SWAP3
0000404e: JUMP
0000404f: INVALID
00004050: GASLIMIT
00004051: MSTORE
00004052: NUMBER
00004053: ORIGIN
00004054: ADDRESS
00004055: GASPRICE
00004056: KECCAK256
00004057: PUSH21 0x72616e7366657220616d6f756e7420657863656564
0000406d: PUSH20 0x20616c6c6f77616e636545524332303a20646563
00004082: PUSH19 0x656173656420616c6c6f77616e63652062656c
00004096: PUSH16 0x77207a65726fa2646970667358221220
000040a7: UNKNOWN(0xE3)
000040a8: NOT
000040a9: MLOAD
000040aa: UNKNOWN(0xF9)
000040ab: PUSH24 0xa7ea12a3353689ecc0ac271277d353b8ca2814b69545539b
000040c4: PUSH13 0x5db964736f6c63430008190033
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xeed7eb8d", "selector": "0xeed7eb8d", "calldata_variants": [ "0xeed7eb8d", "0xeed7eb8d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf0f165af", "selector": "0xf0f165af", "calldata_variants": [ "0xf0f165af", "0xf0f165af0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf9f92be4", "selector": "0xf9f92be4", "calldata_variants": [ "0xf9f92be4", "0xf9f92be40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd5bde46c", "selector": "0xd5bde46c", "calldata_variants": [ "0xd5bde46c", "0xd5bde46c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea2f0b37", "selector": "0xea2f0b37", "calldata_variants": [ "0xea2f0b37", "0xea2f0b370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xebf78663", "selector": "0xebf78663", "calldata_variants": [ "0xebf78663", "0xebf786630000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 16467, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xcc3e48277e88c3b62ee45c6a3179f3a53378d9f437a80f91c5c601d84640001d call_targets: 0xddaf27167929cd045a7d97d09a4fa1046ece3d89 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xcc3e48277e88c3b62ee45c6a3179f3a53378d9f437a80f91c5c601d84640001d", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xddaf27167929cd045a7d97d09a4fa1046ece3d89" ], "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": "0xeed7eb8d", "selector": "0xeed7eb8d", "calldata_variants": [ "0xeed7eb8d", "0xeed7eb8d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf0f165af", "selector": "0xf0f165af", "calldata_variants": [ "0xf0f165af", "0xf0f165af0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf9f92be4", "selector": "0xf9f92be4", "calldata_variants": [ "0xf9f92be4", "0xf9f92be40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd5bde46c", "selector": "0xd5bde46c", "calldata_variants": [ "0xd5bde46c", "0xd5bde46c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea2f0b37", "selector": "0xea2f0b37", "calldata_variants": [ "0xea2f0b37", "0xea2f0b370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xebf78663", "selector": "0xebf78663", "calldata_variants": [ "0xebf78663", "0xebf786630000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 8248, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 11824, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 13938, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [ { "pc": 16467, "type": "tx_origin_used" } ], "untrusted_call_count": 4 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xcc3e48277e88c3b62ee45c6a3179f3a53378d9f437a80f91c5c601d84640001d call_targets: 0xddaf27167929cd045a7d97d09a4fa1046ece3d89 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xcc3e48277e88c3b62ee45c6a3179f3a53378d9f437a80f91c5c601d84640001d", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xddaf27167929cd045a7d97d09a4fa1046ece3d89" ], "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": "0xeed7eb8d", "selector": "0xeed7eb8d", "calldata_variants": [ "0xeed7eb8d", "0xeed7eb8d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf0f165af", "selector": "0xf0f165af", "calldata_variants": [ "0xf0f165af", "0xf0f165af0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf9f92be4", "selector": "0xf9f92be4", "calldata_variants": [ "0xf9f92be4", "0xf9f92be40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd5bde46c", "selector": "0xd5bde46c", "calldata_variants": [ "0xd5bde46c", "0xd5bde46c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xea2f0b37", "selector": "0xea2f0b37", "calldata_variants": [ "0xea2f0b37", "0xea2f0b370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xebf78663", "selector": "0xebf78663", "calldata_variants": [ "0xebf78663", "0xebf786630000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 8248, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 11824, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 13938, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [ { "pc": 16467, "type": "tx_origin_used" } ] }
Severity