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

Analysis Run

019b477e-c9af-7011-9406-4200de6f89d9

complete
Chain ID
1
Address
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?

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
26361 artifact.fetch complete 1 / 3 3 months ago
26362 tool.cast_disasm complete 1 / 3 3 months ago
69482 analysis.bundle complete 1 / 3 2 weeks ago
69483 capability.graph complete 1 / 3 2 weeks ago
69484 detector.run complete 1 / 3 2 weeks ago
69485 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
3
EXT*/BALANCE
3
Total opcodes
8306
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 0x020f
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8069876d
00000019: GT
0000001a: PUSH2 0x0118
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc87b56dd
00000024: GT
00000025: PUSH2 0x00a0
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe8a3d485
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe8a3d485
0000003a: EQ
0000003b: PUSH2 0x0744
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe985e9c5
00000045: EQ
00000046: PUSH2 0x076f
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xedbb99bf
00000050: EQ
00000051: PUSH2 0x07ac
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x07d5
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf43a22dc
00000066: EQ
00000067: PUSH2 0x07fe
0000006a: JUMPI
0000006b: PUSH2 0x020f
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xc87b56dd
00000076: EQ
00000077: PUSH2 0x069c
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xcd7c0326
00000081: EQ
00000082: PUSH2 0x06d9
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xdb4a0f61
0000008c: EQ
0000008d: PUSH2 0x0704
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xe5225381
00000097: EQ
00000098: PUSH2 0x072d
0000009b: JUMPI
0000009c: PUSH2 0x020f
0000009f: JUMP
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0xa035b1fe
000000a7: GT
000000a8: PUSH2 0x00e7
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xa035b1fe
000000b2: EQ
000000b3: PUSH2 0x05d8
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xa0712d68
000000bd: EQ
000000be: PUSH2 0x0603
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xa22cb465
000000c8: EQ
000000c9: PUSH2 0x061f
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xb88d4fde
000000d3: EQ
000000d4: PUSH2 0x0648
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xc6682862
000000de: EQ
000000df: PUSH2 0x0671
000000e2: JUMPI
000000e3: PUSH2 0x020f
000000e6: JUMP
000000e7: JUMPDEST
000000e8: DUP1
000000e9: PUSH4 0x8069876d
000000ee: EQ
000000ef: PUSH2 0x052e
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x8da5cb5b
000000f9: EQ
000000fa: PUSH2 0x0559
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x938e3d7b
00000104: EQ
00000105: PUSH2 0x0584
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x95d89b41
0000010f: EQ
00000110: PUSH2 0x05ad
00000113: JUMPI
00000114: PUSH2 0x020f
00000117: JUMP
00000118: JUMPDEST
00000119: DUP1
0000011a: PUSH4 0x3d2abb99
0000011f: GT
00000120: PUSH2 0x019b
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x5c975abb
0000012a: GT
0000012b: PUSH2 0x016a
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x5c975abb
00000135: EQ
00000136: PUSH2 0x0447
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x6352211e
00000140: EQ
00000141: PUSH2 0x0472
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x6c0360eb
0000014b: EQ
0000014c: PUSH2 0x04af
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x70a08231
00000156: EQ
00000157: PUSH2 0x04da
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x715018a6
00000161: EQ
00000162: PUSH2 0x0517
00000165: JUMPI
00000166: PUSH2 0x020f
00000169: JUMP
0000016a: JUMPDEST
0000016b: DUP1
0000016c: PUSH4 0x3d2abb99
00000171: EQ
00000172: PUSH2 0x03a1
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0x42842e0e
0000017c: EQ
0000017d: PUSH2 0x03ca
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x463fff79
00000187: EQ
00000188: PUSH2 0x03f3
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x55f804b3
00000192: EQ
00000193: PUSH2 0x041e
00000196: JUMPI
00000197: PUSH2 0x020f
0000019a: JUMP
0000019b: JUMPDEST
0000019c: DUP1
0000019d: PUSH4 0x095ea7b3
000001a2: GT
000001a3: PUSH2 0x01e2
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x095ea7b3
000001ad: EQ
000001ae: PUSH2 0x02e2
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x18160ddd
000001b8: EQ
000001b9: PUSH2 0x030b
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x23b872dd
000001c3: EQ
000001c4: PUSH2 0x0336
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x32cb6b0c
000001ce: EQ
000001cf: PUSH2 0x035f
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x3ccfd60b
000001d9: EQ
000001da: PUSH2 0x038a
000001dd: JUMPI
000001de: PUSH2 0x020f
000001e1: JUMP
000001e2: JUMPDEST
000001e3: DUP1
000001e4: PUSH4 0x01ffc9a7
000001e9: EQ
000001ea: PUSH2 0x0214
000001ed: JUMPI
000001ee: DUP1
000001ef: PUSH4 0x02329a29
000001f4: EQ
000001f5: PUSH2 0x0251
000001f8: JUMPI
000001f9: DUP1
000001fa: PUSH4 0x06fdde03
000001ff: EQ
00000200: PUSH2 0x027a
00000203: JUMPI
00000204: DUP1
00000205: PUSH4 0x081812fc
0000020a: EQ
0000020b: PUSH2 0x02a5
0000020e: JUMPI
0000020f: JUMPDEST
00000210: PUSH1 0x00
00000212: DUP1
00000213: REVERT
00000214: JUMPDEST
00000215: CALLVALUE
00000216: DUP1
00000217: ISZERO
00000218: PUSH2 0x0220
0000021b: JUMPI
0000021c: PUSH1 0x00
0000021e: DUP1
0000021f: REVERT
00000220: JUMPDEST
00000221: POP
00000222: PUSH2 0x023b
00000225: PUSH1 0x04
00000227: DUP1
00000228: CALLDATASIZE
00000229: SUB
0000022a: DUP2
0000022b: ADD
0000022c: SWAP1
0000022d: PUSH2 0x0236
00000230: SWAP2
00000231: SWAP1
00000232: PUSH2 0x341d
00000235: JUMP
00000236: JUMPDEST
00000237: PUSH2 0x0829
0000023a: JUMP
0000023b: JUMPDEST
0000023c: PUSH1 0x40
0000023e: MLOAD
0000023f: PUSH2 0x0248
00000242: SWAP2
00000243: SWAP1
00000244: PUSH2 0x38ba
00000247: JUMP
00000248: JUMPDEST
00000249: PUSH1 0x40
0000024b: MLOAD
0000024c: DUP1
0000024d: SWAP2
0000024e: SUB
0000024f: SWAP1
00000250: RETURN
00000251: JUMPDEST
00000252: CALLVALUE
00000253: DUP1
00000254: ISZERO
00000255: PUSH2 0x025d
00000258: JUMPI
00000259: PUSH1 0x00
0000025b: DUP1
0000025c: REVERT
0000025d: JUMPDEST
0000025e: POP
0000025f: PUSH2 0x0278
00000262: PUSH1 0x04
00000264: DUP1
00000265: CALLDATASIZE
00000266: SUB
00000267: DUP2
00000268: ADD
00000269: SWAP1
0000026a: PUSH2 0x0273
0000026d: SWAP2
0000026e: SWAP1
0000026f: PUSH2 0x33f0
00000272: JUMP
00000273: JUMPDEST
00000274: PUSH2 0x090b
00000277: JUMP
00000278: JUMPDEST
00000279: STOP
0000027a: JUMPDEST
0000027b: CALLVALUE
0000027c: DUP1
0000027d: ISZERO
0000027e: PUSH2 0x0286
00000281: JUMPI
00000282: PUSH1 0x00
00000284: DUP1
00000285: REVERT
00000286: JUMPDEST
00000287: POP
00000288: PUSH2 0x028f
0000028b: PUSH2 0x0a03
0000028e: JUMP
0000028f: JUMPDEST
00000290: PUSH1 0x40
00000292: MLOAD
00000293: PUSH2 0x029c
00000296: SWAP2
00000297: SWAP1
00000298: PUSH2 0x38d5
0000029b: JUMP
0000029c: JUMPDEST
0000029d: PUSH1 0x40
0000029f: MLOAD
000002a0: DUP1
000002a1: SWAP2
000002a2: SUB
000002a3: SWAP1
000002a4: RETURN
000002a5: JUMPDEST
000002a6: CALLVALUE
000002a7: DUP1
000002a8: ISZERO
000002a9: PUSH2 0x02b1
000002ac: JUMPI
000002ad: PUSH1 0x00
000002af: DUP1
000002b0: REVERT
000002b1: JUMPDEST
000002b2: POP
000002b3: PUSH2 0x02cc
000002b6: PUSH1 0x04
000002b8: DUP1
000002b9: CALLDATASIZE
000002ba: SUB
000002bb: DUP2
000002bc: ADD
000002bd: SWAP1
000002be: PUSH2 0x02c7
000002c1: SWAP2
000002c2: SWAP1
000002c3: PUSH2 0x34ed
000002c6: JUMP
000002c7: JUMPDEST
000002c8: PUSH2 0x0a95
000002cb: JUMP
000002cc: JUMPDEST
000002cd: PUSH1 0x40
000002cf: MLOAD
000002d0: PUSH2 0x02d9
000002d3: SWAP2
000002d4: SWAP1
000002d5: PUSH2 0x3853
000002d8: JUMP
000002d9: JUMPDEST
000002da: PUSH1 0x40
000002dc: MLOAD
000002dd: DUP1
000002de: SWAP2
000002df: SUB
000002e0: SWAP1
000002e1: RETURN
000002e2: JUMPDEST
000002e3: CALLVALUE
000002e4: DUP1
000002e5: ISZERO
000002e6: PUSH2 0x02ee
000002e9: JUMPI
000002ea: PUSH1 0x00
000002ec: DUP1
000002ed: REVERT
000002ee: JUMPDEST
000002ef: POP
000002f0: PUSH2 0x0309
000002f3: PUSH1 0x04
000002f5: DUP1
000002f6: CALLDATASIZE
000002f7: SUB
000002f8: DUP2
000002f9: ADD
000002fa: SWAP1
000002fb: PUSH2 0x0304
000002fe: SWAP2
000002ff: SWAP1
00000300: PUSH2 0x33b0
00000303: JUMP
00000304: JUMPDEST
00000305: PUSH2 0x0b11
00000308: JUMP
00000309: JUMPDEST
0000030a: STOP
0000030b: JUMPDEST
0000030c: CALLVALUE
0000030d: DUP1
0000030e: ISZERO
0000030f: PUSH2 0x0317
00000312: JUMPI
00000313: PUSH1 0x00
00000315: DUP1
00000316: REVERT
00000317: JUMPDEST
00000318: POP
00000319: PUSH2 0x0320
0000031c: PUSH2 0x0c1c
0000031f: JUMP
00000320: JUMPDEST
00000321: PUSH1 0x40
00000323: MLOAD
00000324: PUSH2 0x032d
00000327: SWAP2
00000328: SWAP1
00000329: PUSH2 0x3a57
0000032c: JUMP
0000032d: JUMPDEST
0000032e: PUSH1 0x40
00000330: MLOAD
00000331: DUP1
00000332: SWAP2
00000333: SUB
00000334: SWAP1
00000335: RETURN
00000336: JUMPDEST
00000337: CALLVALUE
00000338: DUP1
00000339: ISZERO
0000033a: PUSH2 0x0342
0000033d: JUMPI
0000033e: PUSH1 0x00
00000340: DUP1
00000341: REVERT
00000342: JUMPDEST
00000343: POP
00000344: PUSH2 0x035d
00000347: PUSH1 0x04
00000349: DUP1
0000034a: CALLDATASIZE
0000034b: SUB
0000034c: DUP2
0000034d: ADD
0000034e: SWAP1
0000034f: PUSH2 0x0358
00000352: SWAP2
00000353: SWAP1
00000354: PUSH2 0x329a
00000357: JUMP
00000358: JUMPDEST
00000359: PUSH2 0x0c33
0000035c: JUMP
0000035d: JUMPDEST
0000035e: STOP
0000035f: JUMPDEST
00000360: CALLVALUE
00000361: DUP1
00000362: ISZERO
00000363: PUSH2 0x036b
00000366: JUMPI
00000367: PUSH1 0x00
00000369: DUP1
0000036a: REVERT
0000036b: JUMPDEST
0000036c: POP
0000036d: PUSH2 0x0374
00000370: PUSH2 0x0c43
00000373: JUMP
00000374: JUMPDEST
00000375: PUSH1 0x40
00000377: MLOAD
00000378: PUSH2 0x0381
0000037b: SWAP2
0000037c: SWAP1
0000037d: PUSH2 0x3a57
00000380: JUMP
00000381: JUMPDEST
00000382: PUSH1 0x40
00000384: MLOAD
00000385: DUP1
00000386: SWAP2
00000387: SUB
00000388: SWAP1
00000389: RETURN
0000038a: JUMPDEST
0000038b: CALLVALUE
0000038c: DUP1
0000038d: ISZERO
0000038e: PUSH2 0x0396
00000391: JUMPI
00000392: PUSH1 0x00
00000394: DUP1
00000395: REVERT
00000396: JUMPDEST
00000397: POP
00000398: PUSH2 0x039f
0000039b: PUSH2 0x0c49
0000039e: JUMP
0000039f: JUMPDEST
000003a0: STOP
000003a1: JUMPDEST
000003a2: CALLVALUE
000003a3: DUP1
000003a4: ISZERO
000003a5: PUSH2 0x03ad
000003a8: JUMPI
000003a9: PUSH1 0x00
000003ab: DUP1
000003ac: REVERT
000003ad: JUMPDEST
000003ae: POP
000003af: PUSH2 0x03c8
000003b2: PUSH1 0x04
000003b4: DUP1
000003b5: CALLDATASIZE
000003b6: SUB
000003b7: DUP2
000003b8: ADD
000003b9: SWAP1
000003ba: PUSH2 0x03c3
000003bd: SWAP2
000003be: SWAP1
000003bf: PUSH2 0x34ed
000003c2: JUMP
000003c3: JUMPDEST
000003c4: PUSH2 0x0de0
000003c7: JUMP
000003c8: JUMPDEST
000003c9: STOP
000003ca: JUMPDEST
000003cb: CALLVALUE
000003cc: DUP1
000003cd: ISZERO
000003ce: PUSH2 0x03d6
000003d1: JUMPI
000003d2: PUSH1 0x00
000003d4: DUP1
000003d5: REVERT
000003d6: JUMPDEST
000003d7: POP
000003d8: PUSH2 0x03f1
000003db: PUSH1 0x04
000003dd: DUP1
000003de: CALLDATASIZE
000003df: SUB
000003e0: DUP2
000003e1: ADD
000003e2: SWAP1
000003e3: PUSH2 0x03ec
000003e6: SWAP2
000003e7: SWAP1
000003e8: PUSH2 0x329a
000003eb: JUMP
000003ec: JUMPDEST
000003ed: PUSH2 0x0ec5
000003f0: JUMP
000003f1: JUMPDEST
000003f2: STOP
000003f3: JUMPDEST
000003f4: CALLVALUE
000003f5: DUP1
000003f6: ISZERO
000003f7: PUSH2 0x03ff
000003fa: JUMPI
000003fb: PUSH1 0x00
000003fd: DUP1
000003fe: REVERT
000003ff: JUMPDEST
00000400: POP
00000401: PUSH2 0x0408
00000404: PUSH2 0x0ee5
00000407: JUMP
00000408: JUMPDEST
00000409: PUSH1 0x40
0000040b: MLOAD
0000040c: PUSH2 0x0415
0000040f: SWAP2
00000410: SWAP1
00000411: PUSH2 0x3a57
00000414: JUMP
00000415: JUMPDEST
00000416: PUSH1 0x40
00000418: MLOAD
00000419: DUP1
0000041a: SWAP2
0000041b: SUB
0000041c: SWAP1
0000041d: RETURN
0000041e: JUMPDEST
0000041f: CALLVALUE
00000420: DUP1
00000421: ISZERO
00000422: PUSH2 0x042a
00000425: JUMPI
00000426: PUSH1 0x00
00000428: DUP1
00000429: REVERT
0000042a: JUMPDEST
0000042b: POP
0000042c: PUSH2 0x0445
0000042f: PUSH1 0x04
00000431: DUP1
00000432: CALLDATASIZE
00000433: SUB
00000434: DUP2
00000435: ADD
00000436: SWAP1
00000437: PUSH2 0x0440
0000043a: SWAP2
0000043b: SWAP1
0000043c: PUSH2 0x34a4
0000043f: JUMP
00000440: JUMPDEST
00000441: PUSH2 0x0eea
00000444: JUMP
00000445: JUMPDEST
00000446: STOP
00000447: JUMPDEST
00000448: CALLVALUE
00000449: DUP1
0000044a: ISZERO
0000044b: PUSH2 0x0453
0000044e: JUMPI
0000044f: PUSH1 0x00
00000451: DUP1
00000452: REVERT
00000453: JUMPDEST
00000454: POP
00000455: PUSH2 0x045c
00000458: PUSH2 0x0fdf
0000045b: JUMP
0000045c: JUMPDEST
0000045d: PUSH1 0x40
0000045f: MLOAD
00000460: PUSH2 0x0469
00000463: SWAP2
00000464: SWAP1
00000465: PUSH2 0x38ba
00000468: JUMP
00000469: JUMPDEST
0000046a: PUSH1 0x40
0000046c: MLOAD
0000046d: DUP1
0000046e: SWAP2
0000046f: SUB
00000470: SWAP1
00000471: RETURN
00000472: JUMPDEST
00000473: CALLVALUE
00000474: DUP1
00000475: ISZERO
00000476: PUSH2 0x047e
00000479: JUMPI
0000047a: PUSH1 0x00
0000047c: DUP1
0000047d: REVERT
0000047e: JUMPDEST
0000047f: POP
00000480: PUSH2 0x0499
00000483: PUSH1 0x04
00000485: DUP1
00000486: CALLDATASIZE
00000487: SUB
00000488: DUP2
00000489: ADD
0000048a: SWAP1
0000048b: PUSH2 0x0494
0000048e: SWAP2
0000048f: SWAP1
00000490: PUSH2 0x34ed
00000493: JUMP
00000494: JUMPDEST
00000495: PUSH2 0x0ff2
00000498: JUMP
00000499: JUMPDEST
0000049a: PUSH1 0x40
0000049c: MLOAD
0000049d: PUSH2 0x04a6
000004a0: SWAP2
000004a1: SWAP1
000004a2: PUSH2 0x3853
000004a5: JUMP
000004a6: JUMPDEST
000004a7: PUSH1 0x40
000004a9: MLOAD
000004aa: DUP1
000004ab: SWAP2
000004ac: SUB
000004ad: SWAP1
000004ae: RETURN
000004af: JUMPDEST
000004b0: CALLVALUE
000004b1: DUP1
000004b2: ISZERO
000004b3: PUSH2 0x04bb
000004b6: JUMPI
000004b7: PUSH1 0x00
000004b9: DUP1
000004ba: REVERT
000004bb: JUMPDEST
000004bc: POP
000004bd: PUSH2 0x04c4
000004c0: PUSH2 0x1008
000004c3: JUMP
000004c4: JUMPDEST
000004c5: PUSH1 0x40
000004c7: MLOAD
000004c8: PUSH2 0x04d1
000004cb: SWAP2
000004cc: SWAP1
000004cd: PUSH2 0x38d5
000004d0: JUMP
000004d1: JUMPDEST
000004d2: PUSH1 0x40
000004d4: MLOAD
000004d5: DUP1
000004d6: SWAP2
000004d7: SUB
000004d8: SWAP1
000004d9: RETURN
000004da: JUMPDEST
000004db: CALLVALUE
000004dc: DUP1
000004dd: ISZERO
000004de: PUSH2 0x04e6
000004e1: JUMPI
000004e2: PUSH1 0x00
000004e4: DUP1
000004e5: REVERT
000004e6: JUMPDEST
000004e7: POP
000004e8: PUSH2 0x0501
000004eb: PUSH1 0x04
000004ed: DUP1
000004ee: CALLDATASIZE
000004ef: SUB
000004f0: DUP2
000004f1: ADD
000004f2: SWAP1
000004f3: PUSH2 0x04fc
000004f6: SWAP2
000004f7: SWAP1
000004f8: PUSH2 0x322d
000004fb: JUMP
000004fc: JUMPDEST
000004fd: PUSH2 0x1096
00000500: JUMP
00000501: JUMPDEST
00000502: PUSH1 0x40
00000504: MLOAD
00000505: PUSH2 0x050e
00000508: SWAP2
00000509: SWAP1
0000050a: PUSH2 0x3a57
0000050d: JUMP
0000050e: JUMPDEST
0000050f: PUSH1 0x40
00000511: MLOAD
00000512: DUP1
00000513: SWAP2
00000514: SUB
00000515: SWAP1
00000516: RETURN
00000517: JUMPDEST
00000518: CALLVALUE
00000519: DUP1
0000051a: ISZERO
0000051b: PUSH2 0x0523
0000051e: JUMPI
0000051f: PUSH1 0x00
00000521: DUP1
00000522: REVERT
00000523: JUMPDEST
00000524: POP
00000525: PUSH2 0x052c
00000528: PUSH2 0x1166
0000052b: JUMP
0000052c: JUMPDEST
0000052d: STOP
0000052e: JUMPDEST
0000052f: CALLVALUE
00000530: DUP1
00000531: ISZERO
00000532: PUSH2 0x053a
00000535: JUMPI
00000536: PUSH1 0x00
00000538: DUP1
00000539: REVERT
0000053a: JUMPDEST
0000053b: POP
0000053c: PUSH2 0x0543
0000053f: PUSH2 0x11ee
00000542: JUMP
00000543: JUMPDEST
00000544: PUSH1 0x40
00000546: MLOAD
00000547: PUSH2 0x0550
0000054a: SWAP2
0000054b: SWAP1
0000054c: PUSH2 0x3a57
0000054f: JUMP
00000550: JUMPDEST
00000551: PUSH1 0x40
00000553: MLOAD
00000554: DUP1
00000555: SWAP2
00000556: SUB
00000557: SWAP1
00000558: RETURN
00000559: JUMPDEST
0000055a: CALLVALUE
0000055b: DUP1
0000055c: ISZERO
0000055d: PUSH2 0x0565
00000560: JUMPI
00000561: PUSH1 0x00
00000563: DUP1
00000564: REVERT
00000565: JUMPDEST
00000566: POP
00000567: PUSH2 0x056e
0000056a: PUSH2 0x11f4
0000056d: JUMP
0000056e: JUMPDEST
0000056f: PUSH1 0x40
00000571: MLOAD
00000572: PUSH2 0x057b
00000575: SWAP2
00000576: SWAP1
00000577: PUSH2 0x3853
0000057a: JUMP
0000057b: JUMPDEST
0000057c: PUSH1 0x40
0000057e: MLOAD
0000057f: DUP1
00000580: SWAP2
00000581: SUB
00000582: SWAP1
00000583: RETURN
00000584: JUMPDEST
00000585: CALLVALUE
00000586: DUP1
00000587: ISZERO
00000588: PUSH2 0x0590
0000058b: JUMPI
0000058c: PUSH1 0x00
0000058e: DUP1
0000058f: REVERT
00000590: JUMPDEST
00000591: POP
00000592: PUSH2 0x05ab
00000595: PUSH1 0x04
00000597: DUP1
00000598: CALLDATASIZE
00000599: SUB
0000059a: DUP2
0000059b: ADD
0000059c: SWAP1
0000059d: PUSH2 0x05a6
000005a0: SWAP2
000005a1: SWAP1
000005a2: PUSH2 0x34a4
000005a5: JUMP
000005a6: JUMPDEST
000005a7: PUSH2 0x121e
000005aa: JUMP
000005ab: JUMPDEST
000005ac: STOP
000005ad: JUMPDEST
000005ae: CALLVALUE
000005af: DUP1
000005b0: ISZERO
000005b1: PUSH2 0x05b9
000005b4: JUMPI
000005b5: PUSH1 0x00
000005b7: DUP1
000005b8: REVERT
000005b9: JUMPDEST
000005ba: POP
000005bb: PUSH2 0x05c2
000005be: PUSH2 0x1313
000005c1: JUMP
000005c2: JUMPDEST
000005c3: PUSH1 0x40
000005c5: MLOAD
000005c6: PUSH2 0x05cf
000005c9: SWAP2
000005ca: SWAP1
000005cb: PUSH2 0x38d5
000005ce: JUMP
000005cf: JUMPDEST
000005d0: PUSH1 0x40
000005d2: MLOAD
000005d3: DUP1
000005d4: SWAP2
000005d5: SUB
000005d6: SWAP1
000005d7: RETURN
000005d8: JUMPDEST
000005d9: CALLVALUE
000005da: DUP1
000005db: ISZERO
000005dc: PUSH2 0x05e4
000005df: JUMPI
000005e0: PUSH1 0x00
000005e2: DUP1
000005e3: REVERT
000005e4: JUMPDEST
000005e5: POP
000005e6: PUSH2 0x05ed
000005e9: PUSH2 0x13a5
000005ec: JUMP
000005ed: JUMPDEST
000005ee: PUSH1 0x40
000005f0: MLOAD
000005f1: PUSH2 0x05fa
000005f4: SWAP2
000005f5: SWAP1
000005f6: PUSH2 0x3a57
000005f9: JUMP
000005fa: JUMPDEST
000005fb: PUSH1 0x40
000005fd: MLOAD
000005fe: DUP1
000005ff: SWAP2
00000600: SUB
00000601: SWAP1
00000602: RETURN
00000603: JUMPDEST
00000604: PUSH2 0x061d
00000607: PUSH1 0x04
00000609: DUP1
0000060a: CALLDATASIZE
0000060b: SUB
0000060c: DUP2
0000060d: ADD
0000060e: SWAP1
0000060f: PUSH2 0x0618
00000612: SWAP2
00000613: SWAP1
00000614: PUSH2 0x34ed
00000617: JUMP
00000618: JUMPDEST
00000619: PUSH2 0x13ab
0000061c: JUMP
0000061d: JUMPDEST
0000061e: STOP
0000061f: JUMPDEST
00000620: CALLVALUE
00000621: DUP1
00000622: ISZERO
00000623: PUSH2 0x062b
00000626: JUMPI
00000627: PUSH1 0x00
00000629: DUP1
0000062a: REVERT
0000062b: JUMPDEST
0000062c: POP
0000062d: PUSH2 0x0646
00000630: PUSH1 0x04
00000632: DUP1
00000633: CALLDATASIZE
00000634: SUB
00000635: DUP2
00000636: ADD
00000637: SWAP1
00000638: PUSH2 0x0641
0000063b: SWAP2
0000063c: SWAP1
0000063d: PUSH2 0x3370
00000640: JUMP
00000641: JUMPDEST
00000642: PUSH2 0x164e
00000645: JUMP
00000646: JUMPDEST
00000647: STOP
00000648: JUMPDEST
00000649: CALLVALUE
0000064a: DUP1
0000064b: ISZERO
0000064c: PUSH2 0x0654
0000064f: JUMPI
00000650: PUSH1 0x00
00000652: DUP1
00000653: REVERT
00000654: JUMPDEST
00000655: POP
00000656: PUSH2 0x066f
00000659: PUSH1 0x04
0000065b: DUP1
0000065c: CALLDATASIZE
0000065d: SUB
0000065e: DUP2
0000065f: ADD
00000660: SWAP1
00000661: PUSH2 0x066a
00000664: SWAP2
00000665: SWAP1
00000666: PUSH2 0x32ed
00000669: JUMP
0000066a: JUMPDEST
0000066b: PUSH2 0x17c6
0000066e: JUMP
0000066f: JUMPDEST
00000670: STOP
00000671: JUMPDEST
00000672: CALLVALUE
00000673: DUP1
00000674: ISZERO
00000675: PUSH2 0x067d
00000678: JUMPI
00000679: PUSH1 0x00
0000067b: DUP1
0000067c: REVERT
0000067d: JUMPDEST
0000067e: POP
0000067f: PUSH2 0x0686
00000682: PUSH2 0x1842
00000685: JUMP
00000686: JUMPDEST
00000687: PUSH1 0x40
00000689: MLOAD
0000068a: PUSH2 0x0693
0000068d: SWAP2
0000068e: SWAP1
0000068f: PUSH2 0x38d5
00000692: JUMP
00000693: JUMPDEST
00000694: PUSH1 0x40
00000696: MLOAD
00000697: DUP1
00000698: SWAP2
00000699: SUB
0000069a: SWAP1
0000069b: RETURN
0000069c: JUMPDEST
0000069d: CALLVALUE
0000069e: DUP1
0000069f: ISZERO
000006a0: PUSH2 0x06a8
000006a3: JUMPI
000006a4: PUSH1 0x00
000006a6: DUP1
000006a7: REVERT
000006a8: JUMPDEST
000006a9: POP
000006aa: PUSH2 0x06c3
000006ad: PUSH1 0x04
000006af: DUP1
000006b0: CALLDATASIZE
000006b1: SUB
000006b2: DUP2
000006b3: ADD
000006b4: SWAP1
000006b5: PUSH2 0x06be
000006b8: SWAP2
000006b9: SWAP1
000006ba: PUSH2 0x34ed
000006bd: JUMP
000006be: JUMPDEST
000006bf: PUSH2 0x187b
000006c2: JUMP
000006c3: JUMPDEST
000006c4: PUSH1 0x40
000006c6: MLOAD
000006c7: PUSH2 0x06d0
000006ca: SWAP2
000006cb: SWAP1
000006cc: PUSH2 0x38d5
000006cf: JUMP
000006d0: JUMPDEST
000006d1: PUSH1 0x40
000006d3: MLOAD
000006d4: DUP1
000006d5: SWAP2
000006d6: SUB
000006d7: SWAP1
000006d8: RETURN
000006d9: JUMPDEST
000006da: CALLVALUE
000006db: DUP1
000006dc: ISZERO
000006dd: PUSH2 0x06e5
000006e0: JUMPI
000006e1: PUSH1 0x00
000006e3: DUP1
000006e4: REVERT
000006e5: JUMPDEST
000006e6: POP
000006e7: PUSH2 0x06ee
000006ea: PUSH2 0x195a
000006ed: JUMP
000006ee: JUMPDEST
000006ef: PUSH1 0x40
000006f1: MLOAD
000006f2: PUSH2 0x06fb
000006f5: SWAP2
000006f6: SWAP1
000006f7: PUSH2 0x3853
000006fa: JUMP
000006fb: JUMPDEST
000006fc: PUSH1 0x40
000006fe: MLOAD
000006ff: DUP1
00000700: SWAP2
00000701: SUB
00000702: SWAP1
00000703: RETURN
00000704: JUMPDEST
00000705: CALLVALUE
00000706: DUP1
00000707: ISZERO
00000708: PUSH2 0x0710
0000070b: JUMPI
0000070c: PUSH1 0x00
0000070e: DUP1
0000070f: REVERT
00000710: JUMPDEST
00000711: POP
00000712: PUSH2 0x072b
00000715: PUSH1 0x04
00000717: DUP1
00000718: CALLDATASIZE
00000719: SUB
0000071a: DUP2
0000071b: ADD
0000071c: SWAP1
0000071d: PUSH2 0x0726
00000720: SWAP2
00000721: SWAP1
00000722: PUSH2 0x34ed
00000725: JUMP
00000726: JUMPDEST
00000727: PUSH2 0x1972
0000072a: JUMP
0000072b: JUMPDEST
0000072c: STOP
0000072d: JUMPDEST
0000072e: CALLVALUE
0000072f: DUP1
00000730: ISZERO
00000731: PUSH2 0x0739
00000734: JUMPI
00000735: PUSH1 0x00
00000737: DUP1
00000738: REVERT
00000739: JUMPDEST
0000073a: POP
0000073b: PUSH2 0x0742
0000073e: PUSH2 0x1a57
00000741: JUMP
00000742: JUMPDEST
00000743: STOP
00000744: JUMPDEST
00000745: CALLVALUE
00000746: DUP1
00000747: ISZERO
00000748: PUSH2 0x0750
0000074b: JUMPI
0000074c: PUSH1 0x00
0000074e: DUP1
0000074f: REVERT
00000750: JUMPDEST
00000751: POP
00000752: PUSH2 0x0759
00000755: PUSH2 0x1b46
00000758: JUMP
00000759: JUMPDEST
0000075a: PUSH1 0x40
0000075c: MLOAD
0000075d: PUSH2 0x0766
00000760: SWAP2
00000761: SWAP1
00000762: PUSH2 0x38d5
00000765: JUMP
00000766: JUMPDEST
00000767: PUSH1 0x40
00000769: MLOAD
0000076a: DUP1
0000076b: SWAP2
0000076c: SUB
0000076d: SWAP1
0000076e: RETURN
0000076f: JUMPDEST
00000770: CALLVALUE
00000771: DUP1
00000772: ISZERO
00000773: PUSH2 0x077b
00000776: JUMPI
00000777: PUSH1 0x00
00000779: DUP1
0000077a: REVERT
0000077b: JUMPDEST
0000077c: POP
0000077d: PUSH2 0x0796
00000780: PUSH1 0x04
00000782: DUP1
00000783: CALLDATASIZE
00000784: SUB
00000785: DUP2
00000786: ADD
00000787: SWAP1
00000788: PUSH2 0x0791
0000078b: SWAP2
0000078c: SWAP1
0000078d: PUSH2 0x325a
00000790: JUMP
00000791: JUMPDEST
00000792: PUSH2 0x1bd4
00000795: JUMP
00000796: JUMPDEST
00000797: PUSH1 0x40
00000799: MLOAD
0000079a: PUSH2 0x07a3
0000079d: SWAP2
0000079e: SWAP1
0000079f: PUSH2 0x38ba
000007a2: JUMP
000007a3: JUMPDEST
000007a4: PUSH1 0x40
000007a6: MLOAD
000007a7: DUP1
000007a8: SWAP2
000007a9: SUB
000007aa: SWAP1
000007ab: RETURN
000007ac: JUMPDEST
000007ad: CALLVALUE
000007ae: DUP1
000007af: ISZERO
000007b0: PUSH2 0x07b8
000007b3: JUMPI
000007b4: PUSH1 0x00
000007b6: DUP1
000007b7: REVERT
000007b8: JUMPDEST
000007b9: POP
000007ba: PUSH2 0x07d3
000007bd: PUSH1 0x04
000007bf: DUP1
000007c0: CALLDATASIZE
000007c1: SUB
000007c2: DUP2
000007c3: ADD
000007c4: SWAP1
000007c5: PUSH2 0x07ce
000007c8: SWAP2
000007c9: SWAP1
000007ca: PUSH2 0x34ed
000007cd: JUMP
000007ce: JUMPDEST
000007cf: PUSH2 0x1cc8
000007d2: JUMP
000007d3: JUMPDEST
000007d4: STOP
000007d5: JUMPDEST
000007d6: CALLVALUE
000007d7: DUP1
000007d8: ISZERO
000007d9: PUSH2 0x07e1
000007dc: JUMPI
000007dd: PUSH1 0x00
000007df: DUP1
000007e0: REVERT
000007e1: JUMPDEST
000007e2: POP
000007e3: PUSH2 0x07fc
000007e6: PUSH1 0x04
000007e8: DUP1
000007e9: CALLDATASIZE
000007ea: SUB
000007eb: DUP2
000007ec: ADD
000007ed: SWAP1
000007ee: PUSH2 0x07f7
000007f1: SWAP2
000007f2: SWAP1
000007f3: PUSH2 0x322d
000007f6: JUMP
000007f7: JUMPDEST
000007f8: PUSH2 0x1dad
000007fb: JUMP
000007fc: JUMPDEST
000007fd: STOP
000007fe: JUMPDEST
000007ff: CALLVALUE
00000800: DUP1
00000801: ISZERO
00000802: PUSH2 0x080a
00000805: JUMPI
00000806: PUSH1 0x00
00000808: DUP1
00000809: REVERT
0000080a: JUMPDEST
0000080b: POP
0000080c: PUSH2 0x0813
0000080f: PUSH2 0x1ea5
00000812: JUMP
00000813: JUMPDEST
00000814: PUSH1 0x40
00000816: MLOAD
00000817: PUSH2 0x0820
0000081a: SWAP2
0000081b: SWAP1
0000081c: PUSH2 0x3a57
0000081f: JUMP
00000820: JUMPDEST
00000821: PUSH1 0x40
00000823: MLOAD
00000824: DUP1
00000825: SWAP2
00000826: SUB
00000827: SWAP1
00000828: RETURN
00000829: JUMPDEST
0000082a: PUSH1 0x00
0000082c: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000
0000084d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000086a: NOT
0000086b: AND
0000086c: DUP3
0000086d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000088a: NOT
0000088b: AND
0000088c: EQ
0000088d: DUP1
0000088e: PUSH2 0x08f4
00000891: JUMPI
00000892: POP
00000893: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000
000008b4: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000008d1: NOT
000008d2: AND
000008d3: DUP3
000008d4: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000008f1: NOT
000008f2: AND
000008f3: EQ
000008f4: JUMPDEST
000008f5: DUP1
000008f6: PUSH2 0x0904
000008f9: JUMPI
000008fa: POP
000008fb: PUSH2 0x0903
000008fe: DUP3
000008ff: PUSH2 0x1eaa
00000902: JUMP
00000903: JUMPDEST
00000904: JUMPDEST
00000905: SWAP1
00000906: POP
00000907: SWAP2
00000908: SWAP1
00000909: POP
0000090a: JUMP
0000090b: JUMPDEST
0000090c: PUSH2 0x0913
0000090f: PUSH2 0x1f14
00000912: JUMP
00000913: JUMPDEST
00000914: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000929: AND
0000092a: PUSH2 0x0931
0000092d: PUSH2 0x11f4
00000930: JUMP
00000931: JUMPDEST
00000932: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000947: AND
00000948: EQ
00000949: DUP1
0000094a: PUSH2 0x09a7
0000094d: JUMPI
0000094e: POP
0000094f: PUSH2 0x0956
00000952: PUSH2 0x1f14
00000955: JUMP
00000956: JUMPDEST
00000957: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000096c: AND
0000096d: PUSH1 0x09
0000096f: PUSH1 0x00
00000971: SWAP1
00000972: SLOAD
00000973: SWAP1
00000974: PUSH2 0x0100
00000977: EXP
00000978: SWAP1
00000979: DIV
0000097a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000098f: AND
00000990: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009a5: AND
000009a6: EQ
000009a7: JUMPDEST
000009a8: PUSH2 0x09e6
000009ab: JUMPI
000009ac: PUSH1 0x40
000009ae: MLOAD
000009af: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009d0: DUP2
000009d1: MSTORE
000009d2: PUSH1 0x04
000009d4: ADD
000009d5: PUSH2 0x09dd
000009d8: SWAP1
000009d9: PUSH2 0x39d7
000009dc: JUMP
000009dd: JUMPDEST
000009de: PUSH1 0x40
000009e0: MLOAD
000009e1: DUP1
000009e2: SWAP2
000009e3: SUB
000009e4: SWAP1
000009e5: REVERT
000009e6: JUMPDEST
000009e7: DUP1
000009e8: PUSH1 0x0f
000009ea: PUSH1 0x00
000009ec: PUSH2 0x0100
000009ef: EXP
000009f0: DUP2
000009f1: SLOAD
000009f2: DUP2
000009f3: PUSH1 0xff
000009f5: MUL
000009f6: NOT
000009f7: AND
000009f8: SWAP1
000009f9: DUP4
000009fa: ISZERO
000009fb: ISZERO
000009fc: MUL
000009fd: OR
000009fe: SWAP1
000009ff: SSTORE
00000a00: POP
00000a01: POP
00000a02: JUMP
00000a03: JUMPDEST
00000a04: PUSH1 0x60
00000a06: PUSH1 0x02
00000a08: DUP1
00000a09: SLOAD
00000a0a: PUSH2 0x0a12
00000a0d: SWAP1
00000a0e: PUSH2 0x3d39
00000a11: JUMP
00000a12: JUMPDEST
00000a13: DUP1
00000a14: PUSH1 0x1f
00000a16: ADD
00000a17: PUSH1 0x20
00000a19: DUP1
00000a1a: SWAP2
00000a1b: DIV
00000a1c: MUL
00000a1d: PUSH1 0x20
00000a1f: ADD
00000a20: PUSH1 0x40
00000a22: MLOAD
00000a23: SWAP1
00000a24: DUP2
00000a25: ADD
00000a26: PUSH1 0x40
00000a28: MSTORE
00000a29: DUP1
00000a2a: SWAP3
00000a2b: SWAP2
00000a2c: SWAP1
00000a2d: DUP2
00000a2e: DUP2
00000a2f: MSTORE
00000a30: PUSH1 0x20
00000a32: ADD
00000a33: DUP3
00000a34: DUP1
00000a35: SLOAD
00000a36: PUSH2 0x0a3e
00000a39: SWAP1
00000a3a: PUSH2 0x3d39
00000a3d: JUMP
00000a3e: JUMPDEST
00000a3f: DUP1
00000a40: ISZERO
00000a41: PUSH2 0x0a8b
00000a44: JUMPI
00000a45: DUP1
00000a46: PUSH1 0x1f
00000a48: LT
00000a49: PUSH2 0x0a60
00000a4c: JUMPI
00000a4d: PUSH2 0x0100
00000a50: DUP1
00000a51: DUP4
00000a52: SLOAD
00000a53: DIV
00000a54: MUL
00000a55: DUP4
00000a56: MSTORE
00000a57: SWAP2
00000a58: PUSH1 0x20
00000a5a: ADD
00000a5b: SWAP2
00000a5c: PUSH2 0x0a8b
00000a5f: JUMP
00000a60: JUMPDEST
00000a61: DUP3
00000a62: ADD
00000a63: SWAP2
00000a64: SWAP1
00000a65: PUSH1 0x00
00000a67: MSTORE
00000a68: PUSH1 0x20
00000a6a: PUSH1 0x00
00000a6c: KECCAK256
00000a6d: SWAP1
00000a6e: JUMPDEST
00000a6f: DUP2
00000a70: SLOAD
00000a71: DUP2
00000a72: MSTORE
00000a73: SWAP1
00000a74: PUSH1 0x01
00000a76: ADD
00000a77: SWAP1
00000a78: PUSH1 0x20
00000a7a: ADD
00000a7b: DUP1
00000a7c: DUP4
00000a7d: GT
00000a7e: PUSH2 0x0a6e
00000a81: JUMPI
00000a82: DUP3
00000a83: SWAP1
00000a84: SUB
00000a85: PUSH1 0x1f
00000a87: AND
00000a88: DUP3
00000a89: ADD
00000a8a: SWAP2
00000a8b: JUMPDEST
00000a8c: POP
00000a8d: POP
00000a8e: POP
00000a8f: POP
00000a90: POP
00000a91: SWAP1
00000a92: POP
00000a93: SWAP1
00000a94: JUMP
00000a95: JUMPDEST
00000a96: PUSH1 0x00
00000a98: PUSH2 0x0aa0
00000a9b: DUP3
00000a9c: PUSH2 0x1f1c
00000a9f: JUMP
00000aa0: JUMPDEST
00000aa1: PUSH2 0x0ad6
00000aa4: JUMPI
00000aa5: PUSH1 0x40
00000aa7: MLOAD
00000aa8: PUSH32 0xcf4700e400000000000000000000000000000000000000000000000000000000
00000ac9: DUP2
00000aca: MSTORE
00000acb: PUSH1 0x04
00000acd: ADD
00000ace: PUSH1 0x40
00000ad0: MLOAD
00000ad1: DUP1
00000ad2: SWAP2
00000ad3: SUB
00000ad4: SWAP1
00000ad5: REVERT
00000ad6: JUMPDEST
00000ad7: PUSH1 0x06
00000ad9: PUSH1 0x00
00000adb: DUP4
00000adc: DUP2
00000add: MSTORE
00000ade: PUSH1 0x20
00000ae0: ADD
00000ae1: SWAP1
00000ae2: DUP2
00000ae3: MSTORE
00000ae4: PUSH1 0x20
00000ae6: ADD
00000ae7: PUSH1 0x00
00000ae9: KECCAK256
00000aea: PUSH1 0x00
00000aec: SWAP1
00000aed: SLOAD
00000aee: SWAP1
00000aef: PUSH2 0x0100
00000af2: EXP
00000af3: SWAP1
00000af4: DIV
00000af5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b0a: AND
00000b0b: SWAP1
00000b0c: POP
00000b0d: SWAP2
00000b0e: SWAP1
00000b0f: POP
00000b10: JUMP
00000b11: JUMPDEST
00000b12: PUSH1 0x00
00000b14: PUSH2 0x0b1c
00000b17: DUP3
00000b18: PUSH2 0x0ff2
00000b1b: JUMP
00000b1c: JUMPDEST
00000b1d: SWAP1
00000b1e: POP
00000b1f: DUP1
00000b20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b35: AND
00000b36: DUP4
00000b37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b4c: AND
00000b4d: EQ
00000b4e: ISZERO
00000b4f: PUSH2 0x0b84
00000b52: JUMPI
00000b53: PUSH1 0x40
00000b55: MLOAD
00000b56: PUSH32 0x943f7b8c00000000000000000000000000000000000000000000000000000000
00000b77: DUP2
00000b78: MSTORE
00000b79: PUSH1 0x04
00000b7b: ADD
00000b7c: PUSH1 0x40
00000b7e: MLOAD
00000b7f: DUP1
00000b80: SWAP2
00000b81: SUB
00000b82: SWAP1
00000b83: REVERT
00000b84: JUMPDEST
00000b85: DUP1
00000b86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b9b: AND
00000b9c: PUSH2 0x0ba3
00000b9f: PUSH2 0x1f14
00000ba2: JUMP
00000ba3: JUMPDEST
00000ba4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb9: AND
00000bba: EQ
00000bbb: ISZERO
00000bbc: DUP1
00000bbd: ISZERO
00000bbe: PUSH2 0x0bd5
00000bc1: JUMPI
00000bc2: POP
00000bc3: PUSH2 0x0bd3
00000bc6: DUP2
00000bc7: PUSH2 0x0bce
00000bca: PUSH2 0x1f14
00000bcd: JUMP
00000bce: JUMPDEST
00000bcf: PUSH2 0x1bd4
00000bd2: JUMP
00000bd3: JUMPDEST
00000bd4: ISZERO
00000bd5: JUMPDEST
00000bd6: ISZERO
00000bd7: PUSH2 0x0c0c
00000bda: JUMPI
00000bdb: PUSH1 0x40
00000bdd: MLOAD
00000bde: PUSH32 0xcfb3b94200000000000000000000000000000000000000000000000000000000
00000bff: DUP2
00000c00: MSTORE
00000c01: PUSH1 0x04
00000c03: ADD
00000c04: PUSH1 0x40
00000c06: MLOAD
00000c07: DUP1
00000c08: SWAP2
00000c09: SUB
00000c0a: SWAP1
00000c0b: REVERT
00000c0c: JUMPDEST
00000c0d: PUSH2 0x0c17
00000c10: DUP4
00000c11: DUP4
00000c12: DUP4
00000c13: PUSH2 0x1f6a
00000c16: JUMP
00000c17: JUMPDEST
00000c18: POP
00000c19: POP
00000c1a: POP
00000c1b: JUMP
00000c1c: JUMPDEST
00000c1d: PUSH1 0x00
00000c1f: PUSH2 0x0c26
00000c22: PUSH2 0x201c
00000c25: JUMP
00000c26: JUMPDEST
00000c27: PUSH1 0x01
00000c29: SLOAD
00000c2a: PUSH1 0x00
00000c2c: SLOAD
00000c2d: SUB
00000c2e: SUB
00000c2f: SWAP1
00000c30: POP
00000c31: SWAP1
00000c32: JUMP
00000c33: JUMPDEST
00000c34: PUSH2 0x0c3e
00000c37: DUP4
00000c38: DUP4
00000c39: DUP4
00000c3a: PUSH2 0x2021
00000c3d: JUMP
00000c3e: JUMPDEST
00000c3f: POP
00000c40: POP
00000c41: POP
00000c42: JUMP
00000c43: JUMPDEST
00000c44: PUSH1 0x0d
00000c46: SLOAD
00000c47: DUP2
00000c48: JUMP
00000c49: JUMPDEST
00000c4a: PUSH2 0x0c51
00000c4d: PUSH2 0x1f14
00000c50: JUMP
00000c51: JUMPDEST
00000c52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c67: AND
00000c68: PUSH2 0x0c6f
00000c6b: PUSH2 0x11f4
00000c6e: JUMP
00000c6f: JUMPDEST
00000c70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c85: AND
00000c86: EQ
00000c87: DUP1
00000c88: PUSH2 0x0ce5
00000c8b: JUMPI
00000c8c: POP
00000c8d: PUSH2 0x0c94
00000c90: PUSH2 0x1f14
00000c93: JUMP
00000c94: JUMPDEST
00000c95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000caa: AND
00000cab: PUSH1 0x09
00000cad: PUSH1 0x00
00000caf: SWAP1
00000cb0: SLOAD
00000cb1: SWAP1
00000cb2: PUSH2 0x0100
00000cb5: EXP
00000cb6: SWAP1
00000cb7: DIV
00000cb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ccd: AND
00000cce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce3: AND
00000ce4: EQ
00000ce5: JUMPDEST
00000ce6: PUSH2 0x0d24
00000ce9: JUMPI
00000cea: PUSH1 0x40
00000cec: MLOAD
00000ced: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d0e: DUP2
00000d0f: MSTORE
00000d10: PUSH1 0x04
00000d12: ADD
00000d13: PUSH2 0x0d1b
00000d16: SWAP1
00000d17: PUSH2 0x39d7
00000d1a: JUMP
00000d1b: JUMPDEST
00000d1c: PUSH1 0x40
00000d1e: MLOAD
00000d1f: DUP1
00000d20: SWAP2
00000d21: SUB
00000d22: SWAP1
00000d23: REVERT
00000d24: JUMPDEST
00000d25: PUSH1 0x00
00000d27: SELFBALANCE
00000d28: SWAP1
00000d29: POP
00000d2a: PUSH1 0x00
00000d2c: PUSH2 0x0d33
00000d2f: PUSH2 0x1f14
00000d32: JUMP
00000d33: JUMPDEST
00000d34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d49: AND
00000d4a: DUP3
00000d4b: PUSH1 0x40
00000d4d: MLOAD
00000d4e: PUSH2 0x0d56
00000d51: SWAP1
00000d52: PUSH2 0x383e
00000d55: JUMP
00000d56: JUMPDEST
00000d57: PUSH1 0x00
00000d59: PUSH1 0x40
00000d5b: MLOAD
00000d5c: DUP1
00000d5d: DUP4
00000d5e: SUB
00000d5f: DUP2
00000d60: DUP6
00000d61: DUP8
00000d62: GAS
00000d63: CALL
00000d64: SWAP3
00000d65: POP
00000d66: POP
00000d67: POP
00000d68: RETURNDATASIZE
00000d69: DUP1
00000d6a: PUSH1 0x00
00000d6c: DUP2
00000d6d: EQ
00000d6e: PUSH2 0x0d93
00000d71: JUMPI
00000d72: PUSH1 0x40
00000d74: MLOAD
00000d75: SWAP2
00000d76: POP
00000d77: PUSH1 0x1f
00000d79: NOT
00000d7a: PUSH1 0x3f
00000d7c: RETURNDATASIZE
00000d7d: ADD
00000d7e: AND
00000d7f: DUP3
00000d80: ADD
00000d81: PUSH1 0x40
00000d83: MSTORE
00000d84: RETURNDATASIZE
00000d85: DUP3
00000d86: MSTORE
00000d87: RETURNDATASIZE
00000d88: PUSH1 0x00
00000d8a: PUSH1 0x20
00000d8c: DUP5
00000d8d: ADD
00000d8e: RETURNDATACOPY
00000d8f: PUSH2 0x0d98
00000d92: JUMP
00000d93: JUMPDEST
00000d94: PUSH1 0x60
00000d96: SWAP2
00000d97: POP
00000d98: JUMPDEST
00000d99: POP
00000d9a: POP
00000d9b: SWAP1
00000d9c: POP
00000d9d: DUP1
00000d9e: PUSH2 0x0ddc
00000da1: JUMPI
00000da2: PUSH1 0x40
00000da4: MLOAD
00000da5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000dc6: DUP2
00000dc7: MSTORE
00000dc8: PUSH1 0x04
00000dca: ADD
00000dcb: PUSH2 0x0dd3
00000dce: SWAP1
00000dcf: PUSH2 0x3a17
00000dd2: JUMP
00000dd3: JUMPDEST
00000dd4: PUSH1 0x40
00000dd6: MLOAD
00000dd7: DUP1
00000dd8: SWAP2
00000dd9: SUB
00000dda: SWAP1
00000ddb: REVERT
00000ddc: JUMPDEST
00000ddd: POP
00000dde: POP
00000ddf: JUMP
00000de0: JUMPDEST
00000de1: PUSH2 0x0de8
00000de4: PUSH2 0x1f14
00000de7: JUMP
00000de8: JUMPDEST
00000de9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dfe: AND
00000dff: PUSH2 0x0e06
00000e02: PUSH2 0x11f4
00000e05: JUMP
00000e06: JUMPDEST
00000e07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e1c: AND
00000e1d: EQ
00000e1e: DUP1
00000e1f: PUSH2 0x0e7c
00000e22: JUMPI
00000e23: POP
00000e24: PUSH2 0x0e2b
00000e27: PUSH2 0x1f14
00000e2a: JUMP
00000e2b: JUMPDEST
00000e2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e41: AND
00000e42: PUSH1 0x09
00000e44: PUSH1 0x00
00000e46: SWAP1
00000e47: SLOAD
00000e48: SWAP1
00000e49: PUSH2 0x0100
00000e4c: EXP
00000e4d: SWAP1
00000e4e: DIV
00000e4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e64: AND
00000e65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e7a: AND
00000e7b: EQ
00000e7c: JUMPDEST
00000e7d: PUSH2 0x0ebb
00000e80: JUMPI
00000e81: PUSH1 0x40
00000e83: MLOAD
00000e84: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ea5: DUP2
00000ea6: MSTORE
00000ea7: PUSH1 0x04
00000ea9: ADD
00000eaa: PUSH2 0x0eb2
00000ead: SWAP1
00000eae: PUSH2 0x39d7
00000eb1: JUMP
00000eb2: JUMPDEST
00000eb3: PUSH1 0x40
00000eb5: MLOAD
00000eb6: DUP1
00000eb7: SWAP2
00000eb8: SUB
00000eb9: SWAP1
00000eba: REVERT
00000ebb: JUMPDEST
00000ebc: DUP1
00000ebd: PUSH1 0x0c
00000ebf: DUP2
00000ec0: SWAP1
00000ec1: SSTORE
00000ec2: POP
00000ec3: POP
00000ec4: JUMP
00000ec5: JUMPDEST
00000ec6: PUSH2 0x0ee0
00000ec9: DUP4
00000eca: DUP4
00000ecb: DUP4
00000ecc: PUSH1 0x40
00000ece: MLOAD
00000ecf: DUP1
00000ed0: PUSH1 0x20
00000ed2: ADD
00000ed3: PUSH1 0x40
00000ed5: MSTORE
00000ed6: DUP1
00000ed7: PUSH1 0x00
00000ed9: DUP2
00000eda: MSTORE
00000edb: POP
00000edc: PUSH2 0x17c6
00000edf: JUMP
00000ee0: JUMPDEST
00000ee1: POP
00000ee2: POP
00000ee3: POP
00000ee4: JUMP
00000ee5: JUMPDEST
00000ee6: PUSH1 0x01
00000ee8: DUP2
00000ee9: JUMP
00000eea: JUMPDEST
00000eeb: PUSH2 0x0ef2
00000eee: PUSH2 0x1f14
00000ef1: JUMP
00000ef2: JUMPDEST
00000ef3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f08: AND
00000f09: PUSH2 0x0f10
00000f0c: PUSH2 0x11f4
00000f0f: JUMP
00000f10: JUMPDEST
00000f11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f26: AND
00000f27: EQ
00000f28: DUP1
00000f29: PUSH2 0x0f86
00000f2c: JUMPI
00000f2d: POP
00000f2e: PUSH2 0x0f35
00000f31: PUSH2 0x1f14
00000f34: JUMP
00000f35: JUMPDEST
00000f36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f4b: AND
00000f4c: PUSH1 0x09
00000f4e: PUSH1 0x00
00000f50: SWAP1
00000f51: SLOAD
00000f52: SWAP1
00000f53: PUSH2 0x0100
00000f56: EXP
00000f57: SWAP1
00000f58: DIV
00000f59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f6e: AND
00000f6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f84: AND
00000f85: EQ
00000f86: JUMPDEST
00000f87: PUSH2 0x0fc5
00000f8a: JUMPI
00000f8b: PUSH1 0x40
00000f8d: MLOAD
00000f8e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000faf: DUP2
00000fb0: MSTORE
00000fb1: PUSH1 0x04
00000fb3: ADD
00000fb4: PUSH2 0x0fbc
00000fb7: SWAP1
00000fb8: PUSH2 0x39d7
00000fbb: JUMP
00000fbc: JUMPDEST
00000fbd: PUSH1 0x40
00000fbf: MLOAD
00000fc0: DUP1
00000fc1: SWAP2
00000fc2: SUB
00000fc3: SWAP1
00000fc4: REVERT
00000fc5: JUMPDEST
00000fc6: DUP1
00000fc7: PUSH1 0x0a
00000fc9: SWAP1
00000fca: DUP1
00000fcb: MLOAD
00000fcc: SWAP1
00000fcd: PUSH1 0x20
00000fcf: ADD
00000fd0: SWAP1
00000fd1: PUSH2 0x0fdb
00000fd4: SWAP3
00000fd5: SWAP2
00000fd6: SWAP1
00000fd7: PUSH2 0x2fe9
00000fda: JUMP
00000fdb: JUMPDEST
00000fdc: POP
00000fdd: POP
00000fde: JUMP
00000fdf: JUMPDEST
00000fe0: PUSH1 0x0f
00000fe2: PUSH1 0x00
00000fe4: SWAP1
00000fe5: SLOAD
00000fe6: SWAP1
00000fe7: PUSH2 0x0100
00000fea: EXP
00000feb: SWAP1
00000fec: DIV
00000fed: PUSH1 0xff
00000fef: AND
00000ff0: DUP2
00000ff1: JUMP
00000ff2: JUMPDEST
00000ff3: PUSH1 0x00
00000ff5: PUSH2 0x0ffd
00000ff8: DUP3
00000ff9: PUSH2 0x2512
00000ffc: JUMP
00000ffd: JUMPDEST
00000ffe: PUSH1 0x00
00001000: ADD
00001001: MLOAD
00001002: SWAP1
00001003: POP
00001004: SWAP2
00001005: SWAP1
00001006: POP
00001007: JUMP
00001008: JUMPDEST
00001009: PUSH1 0x0a
0000100b: DUP1
0000100c: SLOAD
0000100d: PUSH2 0x1015
00001010: SWAP1
00001011: PUSH2 0x3d39
00001014: JUMP
00001015: JUMPDEST
00001016: DUP1
00001017: PUSH1 0x1f
00001019: ADD
0000101a: PUSH1 0x20
0000101c: DUP1
0000101d: SWAP2
0000101e: DIV
0000101f: MUL
00001020: PUSH1 0x20
00001022: ADD
00001023: PUSH1 0x40
00001025: MLOAD
00001026: SWAP1
00001027: DUP2
00001028: ADD
00001029: PUSH1 0x40
0000102b: MSTORE
0000102c: DUP1
0000102d: SWAP3
0000102e: SWAP2
0000102f: SWAP1
00001030: DUP2
00001031: DUP2
00001032: MSTORE
00001033: PUSH1 0x20
00001035: ADD
00001036: DUP3
00001037: DUP1
00001038: SLOAD
00001039: PUSH2 0x1041
0000103c: SWAP1
0000103d: PUSH2 0x3d39
00001040: JUMP
00001041: JUMPDEST
00001042: DUP1
00001043: ISZERO
00001044: PUSH2 0x108e
00001047: JUMPI
00001048: DUP1
00001049: PUSH1 0x1f
0000104b: LT
0000104c: PUSH2 0x1063
0000104f: JUMPI
00001050: PUSH2 0x0100
00001053: DUP1
00001054: DUP4
00001055: SLOAD
00001056: DIV
00001057: MUL
00001058: DUP4
00001059: MSTORE
0000105a: SWAP2
0000105b: PUSH1 0x20
0000105d: ADD
0000105e: SWAP2
0000105f: PUSH2 0x108e
00001062: JUMP
00001063: JUMPDEST
00001064: DUP3
00001065: ADD
00001066: SWAP2
00001067: SWAP1
00001068: PUSH1 0x00
0000106a: MSTORE
0000106b: PUSH1 0x20
0000106d: PUSH1 0x00
0000106f: KECCAK256
00001070: SWAP1
00001071: JUMPDEST
00001072: DUP2
00001073: SLOAD
00001074: DUP2
00001075: MSTORE
00001076: SWAP1
00001077: PUSH1 0x01
00001079: ADD
0000107a: SWAP1
0000107b: PUSH1 0x20
0000107d: ADD
0000107e: DUP1
0000107f: DUP4
00001080: GT
00001081: PUSH2 0x1071
00001084: JUMPI
00001085: DUP3
00001086: SWAP1
00001087: SUB
00001088: PUSH1 0x1f
0000108a: AND
0000108b: DUP3
0000108c: ADD
0000108d: SWAP2
0000108e: JUMPDEST
0000108f: POP
00001090: POP
00001091: POP
00001092: POP
00001093: POP
00001094: DUP2
00001095: JUMP
00001096: JUMPDEST
00001097: PUSH1 0x00
00001099: DUP1
0000109a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010af: AND
000010b0: DUP3
000010b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c6: AND
000010c7: EQ
000010c8: ISZERO
000010c9: PUSH2 0x10fe
000010cc: JUMPI
000010cd: PUSH1 0x40
000010cf: MLOAD
000010d0: PUSH32 0x8f4eb60400000000000000000000000000000000000000000000000000000000
000010f1: DUP2
000010f2: MSTORE
000010f3: PUSH1 0x04
000010f5: ADD
000010f6: PUSH1 0x40
000010f8: MLOAD
000010f9: DUP1
000010fa: SWAP2
000010fb: SUB
000010fc: SWAP1
000010fd: REVERT
000010fe: JUMPDEST
000010ff: PUSH1 0x05
00001101: PUSH1 0x00
00001103: DUP4
00001104: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001119: AND
0000111a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000112f: AND
00001130: DUP2
00001131: MSTORE
00001132: PUSH1 0x20
00001134: ADD
00001135: SWAP1
00001136: DUP2
00001137: MSTORE
00001138: PUSH1 0x20
0000113a: ADD
0000113b: PUSH1 0x00
0000113d: KECCAK256
0000113e: PUSH1 0x00
00001140: ADD
00001141: PUSH1 0x00
00001143: SWAP1
00001144: SLOAD
00001145: SWAP1
00001146: PUSH2 0x0100
00001149: EXP
0000114a: SWAP1
0000114b: DIV
0000114c: PUSH8 0xffffffffffffffff
00001155: AND
00001156: PUSH8 0xffffffffffffffff
0000115f: AND
00001160: SWAP1
00001161: POP
00001162: SWAP2
00001163: SWAP1
00001164: POP
00001165: JUMP
00001166: JUMPDEST
00001167: PUSH2 0x116e
0000116a: PUSH2 0x1f14
0000116d: JUMP
0000116e: JUMPDEST
0000116f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001184: AND
00001185: PUSH2 0x118c
00001188: PUSH2 0x11f4
0000118b: JUMP
0000118c: JUMPDEST
0000118d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011a2: AND
000011a3: EQ
000011a4: PUSH2 0x11e2
000011a7: JUMPI
000011a8: PUSH1 0x40
000011aa: MLOAD
000011ab: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011cc: DUP2
000011cd: MSTORE
000011ce: PUSH1 0x04
000011d0: ADD
000011d1: PUSH2 0x11d9
000011d4: SWAP1
000011d5: PUSH2 0x39d7
000011d8: JUMP
000011d9: JUMPDEST
000011da: PUSH1 0x40
000011dc: MLOAD
000011dd: DUP1
000011de: SWAP2
000011df: SUB
000011e0: SWAP1
000011e1: REVERT
000011e2: JUMPDEST
000011e3: PUSH2 0x11ec
000011e6: PUSH1 0x00
000011e8: PUSH2 0x27a1
000011eb: JUMP
000011ec: JUMPDEST
000011ed: JUMP
000011ee: JUMPDEST
000011ef: PUSH1 0x0c
000011f1: SLOAD
000011f2: DUP2
000011f3: JUMP
000011f4: JUMPDEST
000011f5: PUSH1 0x00
000011f7: PUSH1 0x08
000011f9: PUSH1 0x00
000011fb: SWAP1
000011fc: SLOAD
000011fd: SWAP1
000011fe: PUSH2 0x0100
00001201: EXP
00001202: SWAP1
00001203: DIV
00001204: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001219: AND
0000121a: SWAP1
0000121b: POP
0000121c: SWAP1
0000121d: JUMP
0000121e: JUMPDEST
0000121f: PUSH2 0x1226
00001222: PUSH2 0x1f14
00001225: JUMP
00001226: JUMPDEST
00001227: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000123c: AND
0000123d: PUSH2 0x1244
00001240: PUSH2 0x11f4
00001243: JUMP
00001244: JUMPDEST
00001245: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000125a: AND
0000125b: EQ
0000125c: DUP1
0000125d: PUSH2 0x12ba
00001260: JUMPI
00001261: POP
00001262: PUSH2 0x1269
00001265: PUSH2 0x1f14
00001268: JUMP
00001269: JUMPDEST
0000126a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000127f: AND
00001280: PUSH1 0x09
00001282: PUSH1 0x00
00001284: SWAP1
00001285: SLOAD
00001286: SWAP1
00001287: PUSH2 0x0100
0000128a: EXP
0000128b: SWAP1
0000128c: DIV
0000128d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012a2: AND
000012a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012b8: AND
000012b9: EQ
000012ba: JUMPDEST
000012bb: PUSH2 0x12f9
000012be: JUMPI
000012bf: PUSH1 0x40
000012c1: MLOAD
000012c2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012e3: DUP2
000012e4: MSTORE
000012e5: PUSH1 0x04
000012e7: ADD
000012e8: PUSH2 0x12f0
000012eb: SWAP1
000012ec: PUSH2 0x39d7
000012ef: JUMP
000012f0: JUMPDEST
000012f1: PUSH1 0x40
000012f3: MLOAD
000012f4: DUP1
000012f5: SWAP2
000012f6: SUB
000012f7: SWAP1
000012f8: REVERT
000012f9: JUMPDEST
000012fa: DUP1
000012fb: PUSH1 0x0b
000012fd: SWAP1
000012fe: DUP1
000012ff: MLOAD
00001300: SWAP1
00001301: PUSH1 0x20
00001303: ADD
00001304: SWAP1
00001305: PUSH2 0x130f
00001308: SWAP3
00001309: SWAP2
0000130a: SWAP1
0000130b: PUSH2 0x2fe9
0000130e: JUMP
0000130f: JUMPDEST
00001310: POP
00001311: POP
00001312: JUMP
00001313: JUMPDEST
00001314: PUSH1 0x60
00001316: PUSH1 0x03
00001318: DUP1
00001319: SLOAD
0000131a: PUSH2 0x1322
0000131d: SWAP1
0000131e: PUSH2 0x3d39
00001321: JUMP
00001322: JUMPDEST
00001323: DUP1
00001324: PUSH1 0x1f
00001326: ADD
00001327: PUSH1 0x20
00001329: DUP1
0000132a: SWAP2
0000132b: DIV
0000132c: MUL
0000132d: PUSH1 0x20
0000132f: ADD
00001330: PUSH1 0x40
00001332: MLOAD
00001333: SWAP1
00001334: DUP2
00001335: ADD
00001336: PUSH1 0x40
00001338: MSTORE
00001339: DUP1
0000133a: SWAP3
0000133b: SWAP2
0000133c: SWAP1
0000133d: DUP2
0000133e: DUP2
0000133f: MSTORE
00001340: PUSH1 0x20
00001342: ADD
00001343: DUP3
00001344: DUP1
00001345: SLOAD
00001346: PUSH2 0x134e
00001349: SWAP1
0000134a: PUSH2 0x3d39
0000134d: JUMP
0000134e: JUMPDEST
0000134f: DUP1
00001350: ISZERO
00001351: PUSH2 0x139b
00001354: JUMPI
00001355: DUP1
00001356: PUSH1 0x1f
00001358: LT
00001359: PUSH2 0x1370
0000135c: JUMPI
0000135d: PUSH2 0x0100
00001360: DUP1
00001361: DUP4
00001362: SLOAD
00001363: DIV
00001364: MUL
00001365: DUP4
00001366: MSTORE
00001367: SWAP2
00001368: PUSH1 0x20
0000136a: ADD
0000136b: SWAP2
0000136c: PUSH2 0x139b
0000136f: JUMP
00001370: JUMPDEST
00001371: DUP3
00001372: ADD
00001373: SWAP2
00001374: SWAP1
00001375: PUSH1 0x00
00001377: MSTORE
00001378: PUSH1 0x20
0000137a: PUSH1 0x00
0000137c: KECCAK256
0000137d: SWAP1
0000137e: JUMPDEST
0000137f: DUP2
00001380: SLOAD
00001381: DUP2
00001382: MSTORE
00001383: SWAP1
00001384: PUSH1 0x01
00001386: ADD
00001387: SWAP1
00001388: PUSH1 0x20
0000138a: ADD
0000138b: DUP1
0000138c: DUP4
0000138d: GT
0000138e: PUSH2 0x137e
00001391: JUMPI
00001392: DUP3
00001393: SWAP1
00001394: SUB
00001395: PUSH1 0x1f
00001397: AND
00001398: DUP3
00001399: ADD
0000139a: SWAP2
0000139b: JUMPDEST
0000139c: POP
0000139d: POP
0000139e: POP
0000139f: POP
000013a0: POP
000013a1: SWAP1
000013a2: POP
000013a3: SWAP1
000013a4: JUMP
000013a5: JUMPDEST
000013a6: PUSH1 0x0e
000013a8: SLOAD
000013a9: DUP2
000013aa: JUMP
000013ab: JUMPDEST
000013ac: PUSH1 0x00
000013ae: PUSH2 0x13b5
000013b1: PUSH2 0x1f14
000013b4: JUMP
000013b5: JUMPDEST
000013b6: SWAP1
000013b7: POP
000013b8: PUSH1 0x0f
000013ba: PUSH1 0x00
000013bc: SWAP1
000013bd: SLOAD
000013be: SWAP1
000013bf: PUSH2 0x0100
000013c2: EXP
000013c3: SWAP1
000013c4: DIV
000013c5: PUSH1 0xff
000013c7: AND
000013c8: ISZERO
000013c9: PUSH2 0x1407
000013cc: JUMPI
000013cd: PUSH1 0x40
000013cf: MLOAD
000013d0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013f1: DUP2
000013f2: MSTORE
000013f3: PUSH1 0x04
000013f5: ADD
000013f6: PUSH2 0x13fe
000013f9: SWAP1
000013fa: PUSH2 0x38f7
000013fd: JUMP
000013fe: JUMPDEST
000013ff: PUSH1 0x40
00001401: MLOAD
00001402: DUP1
00001403: SWAP2
00001404: SUB
00001405: SWAP1
00001406: REVERT
00001407: JUMPDEST
00001408: DUP2
00001409: PUSH2 0x1410
0000140c: PUSH2 0x0c1c
0000140f: JUMP
00001410: JUMPDEST
00001411: PUSH2 0x141a
00001414: SWAP2
00001415: SWAP1
00001416: PUSH2 0x3b5c
00001419: JUMP
0000141a: JUMPDEST
0000141b: PUSH1 0x0d
0000141d: SLOAD
0000141e: LT
0000141f: ISZERO
00001420: PUSH2 0x145e
00001423: JUMPI
00001424: PUSH1 0x40
00001426: MLOAD
00001427: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001448: DUP2
00001449: MSTORE
0000144a: PUSH1 0x04
0000144c: ADD
0000144d: PUSH2 0x1455
00001450: SWAP1
00001451: PUSH2 0x3997
00001454: JUMP
00001455: JUMPDEST
00001456: PUSH1 0x40
00001458: MLOAD
00001459: DUP1
0000145a: SWAP2
0000145b: SUB
0000145c: SWAP1
0000145d: REVERT
0000145e: JUMPDEST
0000145f: PUSH1 0x00
00001461: DUP3
00001462: GT
00001463: PUSH2 0x14a1
00001466: JUMPI
00001467: PUSH1 0x40
00001469: MLOAD
0000146a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000148b: DUP2
0000148c: MSTORE
0000148d: PUSH1 0x04
0000148f: ADD
00001490: PUSH2 0x1498
00001493: SWAP1
00001494: PUSH2 0x3937
00001497: JUMP
00001498: JUMPDEST
00001499: PUSH1 0x40
0000149b: MLOAD
0000149c: DUP1
0000149d: SWAP2
0000149e: SUB
0000149f: SWAP1
000014a0: REVERT
000014a1: JUMPDEST
000014a2: DUP1
000014a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014b8: AND
000014b9: ORIGIN
000014ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014cf: AND
000014d0: EQ
000014d1: PUSH2 0x150f
000014d4: JUMPI
000014d5: PUSH1 0x40
000014d7: MLOAD
000014d8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014f9: DUP2
000014fa: MSTORE
000014fb: PUSH1 0x04
000014fd: ADD
000014fe: PUSH2 0x1506
00001501: SWAP1
00001502: PUSH2 0x3a37
00001505: JUMP
00001506: JUMPDEST
00001507: PUSH1 0x40
00001509: MLOAD
0000150a: DUP1
0000150b: SWAP2
0000150c: SUB
0000150d: SWAP1
0000150e: REVERT
0000150f: JUMPDEST
00001510: DUP2
00001511: PUSH1 0x14
00001513: LT
00001514: ISZERO
00001515: PUSH2 0x1553
00001518: JUMPI
00001519: PUSH1 0x40
0000151b: MLOAD
0000151c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000153d: DUP2
0000153e: MSTORE
0000153f: PUSH1 0x04
00001541: ADD
00001542: PUSH2 0x154a
00001545: SWAP1
00001546: PUSH2 0x3957
00001549: JUMP
0000154a: JUMPDEST
0000154b: PUSH1 0x40
0000154d: MLOAD
0000154e: DUP1
0000154f: SWAP2
00001550: SUB
00001551: SWAP1
00001552: REVERT
00001553: JUMPDEST
00001554: PUSH2 0x155b
00001557: PUSH2 0x0c1c
0000155a: JUMP
0000155b: JUMPDEST
0000155c: PUSH1 0x0c
0000155e: SLOAD
0000155f: LT
00001560: PUSH2 0x15ac
00001563: JUMPI
00001564: DUP2
00001565: PUSH1 0x01
00001567: LT
00001568: ISZERO
00001569: PUSH2 0x15a7
0000156c: JUMPI
0000156d: PUSH1 0x40
0000156f: MLOAD
00001570: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001591: DUP2
00001592: MSTORE
00001593: PUSH1 0x04
00001595: ADD
00001596: PUSH2 0x159e
00001599: SWAP1
0000159a: PUSH2 0x3977
0000159d: JUMP
0000159e: JUMPDEST
0000159f: PUSH1 0x40
000015a1: MLOAD
000015a2: DUP1
000015a3: SWAP2
000015a4: SUB
000015a5: SWAP1
000015a6: REVERT
000015a7: JUMPDEST
000015a8: PUSH2 0x1640
000015ab: JUMP
000015ac: JUMPDEST
000015ad: DUP2
000015ae: PUSH1 0x14
000015b0: LT
000015b1: ISZERO
000015b2: PUSH2 0x15f0
000015b5: JUMPI
000015b6: PUSH1 0x40
000015b8: MLOAD
000015b9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015da: DUP2
000015db: MSTORE
000015dc: PUSH1 0x04
000015de: ADD
000015df: PUSH2 0x15e7
000015e2: SWAP1
000015e3: PUSH2 0x3957
000015e6: JUMP
000015e7: JUMPDEST
000015e8: PUSH1 0x40
000015ea: MLOAD
000015eb: DUP1
000015ec: SWAP2
000015ed: SUB
000015ee: SWAP1
000015ef: REVERT
000015f0: JUMPDEST
000015f1: CALLVALUE
000015f2: PUSH1 0x0e
000015f4: SLOAD
000015f5: DUP4
000015f6: PUSH2 0x15ff
000015f9: SWAP2
000015fa: SWAP1
000015fb: PUSH2 0x3be3
000015fe: JUMP
000015ff: JUMPDEST
00001600: EQ
00001601: PUSH2 0x163f
00001604: JUMPI
00001605: PUSH1 0x40
00001607: MLOAD
00001608: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001629: DUP2
0000162a: MSTORE
0000162b: PUSH1 0x04
0000162d: ADD
0000162e: PUSH2 0x1636
00001631: SWAP1
00001632: PUSH2 0x39f7
00001635: JUMP
00001636: JUMPDEST
00001637: PUSH1 0x40
00001639: MLOAD
0000163a: DUP1
0000163b: SWAP2
0000163c: SUB
0000163d: SWAP1
0000163e: REVERT
0000163f: JUMPDEST
00001640: JUMPDEST
00001641: PUSH2 0x164a
00001644: DUP2
00001645: DUP4
00001646: PUSH2 0x2867
00001649: JUMP
0000164a: JUMPDEST
0000164b: POP
0000164c: POP
0000164d: JUMP
0000164e: JUMPDEST
0000164f: PUSH2 0x1656
00001652: PUSH2 0x1f14
00001655: JUMP
00001656: JUMPDEST
00001657: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000166c: AND
0000166d: DUP3
0000166e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001683: AND
00001684: EQ
00001685: ISZERO
00001686: PUSH2 0x16bb
00001689: JUMPI
0000168a: PUSH1 0x40
0000168c: MLOAD
0000168d: PUSH32 0xb06307db00000000000000000000000000000000000000000000000000000000
000016ae: DUP2
000016af: MSTORE
000016b0: PUSH1 0x04
000016b2: ADD
000016b3: PUSH1 0x40
000016b5: MLOAD
000016b6: DUP1
000016b7: SWAP2
000016b8: SUB
000016b9: SWAP1
000016ba: REVERT
000016bb: JUMPDEST
000016bc: DUP1
000016bd: PUSH1 0x07
000016bf: PUSH1 0x00
000016c1: PUSH2 0x16c8
000016c4: PUSH2 0x1f14
000016c7: JUMP
000016c8: JUMPDEST
000016c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016de: AND
000016df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f4: AND
000016f5: DUP2
000016f6: MSTORE
000016f7: PUSH1 0x20
000016f9: ADD
000016fa: SWAP1
000016fb: DUP2
000016fc: MSTORE
000016fd: PUSH1 0x20
000016ff: ADD
00001700: PUSH1 0x00
00001702: KECCAK256
00001703: PUSH1 0x00
00001705: DUP5
00001706: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000171b: AND
0000171c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001731: AND
00001732: DUP2
00001733: MSTORE
00001734: PUSH1 0x20
00001736: ADD
00001737: SWAP1
00001738: DUP2
00001739: MSTORE
0000173a: PUSH1 0x20
0000173c: ADD
0000173d: PUSH1 0x00
0000173f: KECCAK256
00001740: PUSH1 0x00
00001742: PUSH2 0x0100
00001745: EXP
00001746: DUP2
00001747: SLOAD
00001748: DUP2
00001749: PUSH1 0xff
0000174b: MUL
0000174c: NOT
0000174d: AND
0000174e: SWAP1
0000174f: DUP4
00001750: ISZERO
00001751: ISZERO
00001752: MUL
00001753: OR
00001754: SWAP1
00001755: SSTORE
00001756: POP
00001757: DUP2
00001758: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000176d: AND
0000176e: PUSH2 0x1775
00001771: PUSH2 0x1f14
00001774: JUMP
00001775: JUMPDEST
00001776: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000178b: AND
0000178c: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
000017ad: DUP4
000017ae: PUSH1 0x40
000017b0: MLOAD
000017b1: PUSH2 0x17ba
000017b4: SWAP2
000017b5: SWAP1
000017b6: PUSH2 0x38ba
000017b9: JUMP
000017ba: JUMPDEST
000017bb: PUSH1 0x40
000017bd: MLOAD
000017be: DUP1
000017bf: SWAP2
000017c0: SUB
000017c1: SWAP1
000017c2: LOG3
000017c3: POP
000017c4: POP
000017c5: JUMP
000017c6: JUMPDEST
000017c7: PUSH2 0x17d1
000017ca: DUP5
000017cb: DUP5
000017cc: DUP5
000017cd: PUSH2 0x2021
000017d0: JUMP
000017d1: JUMPDEST
000017d2: PUSH2 0x17f0
000017d5: DUP4
000017d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017eb: AND
000017ec: PUSH2 0x2885
000017ef: JUMP
000017f0: JUMPDEST
000017f1: DUP1
000017f2: ISZERO
000017f3: PUSH2 0x1805
000017f6: JUMPI
000017f7: POP
000017f8: PUSH2 0x1803
000017fb: DUP5
000017fc: DUP5
000017fd: DUP5
000017fe: DUP5
000017ff: PUSH2 0x28a8
00001802: JUMP
00001803: JUMPDEST
00001804: ISZERO
00001805: JUMPDEST
00001806: ISZERO
00001807: PUSH2 0x183c
0000180a: JUMPI
0000180b: PUSH1 0x40
0000180d: MLOAD
0000180e: PUSH32 0xd1a57ed600000000000000000000000000000000000000000000000000000000
0000182f: DUP2
00001830: MSTORE
00001831: PUSH1 0x04
00001833: ADD
00001834: PUSH1 0x40
00001836: MLOAD
00001837: DUP1
00001838: SWAP2
00001839: SUB
0000183a: SWAP1
0000183b: REVERT
0000183c: JUMPDEST
0000183d: POP
0000183e: POP
0000183f: POP
00001840: POP
00001841: JUMP
00001842: JUMPDEST
00001843: PUSH1 0x40
00001845: MLOAD
00001846: DUP1
00001847: PUSH1 0x40
00001849: ADD
0000184a: PUSH1 0x40
0000184c: MSTORE
0000184d: DUP1
0000184e: PUSH1 0x05
00001850: DUP2
00001851: MSTORE
00001852: PUSH1 0x20
00001854: ADD
00001855: PUSH32 0x2e6a736f6e000000000000000000000000000000000000000000000000000000
00001876: DUP2
00001877: MSTORE
00001878: POP
00001879: DUP2
0000187a: JUMP
0000187b: JUMPDEST
0000187c: PUSH1 0x60
0000187e: PUSH2 0x1886
00001881: DUP3
00001882: PUSH2 0x1f1c
00001885: JUMP
00001886: JUMPDEST
00001887: PUSH2 0x18c5
0000188a: JUMPI
0000188b: PUSH1 0x40
0000188d: MLOAD
0000188e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018af: DUP2
000018b0: MSTORE
000018b1: PUSH1 0x04
000018b3: ADD
000018b4: PUSH2 0x18bc
000018b7: SWAP1
000018b8: PUSH2 0x39b7
000018bb: JUMP
000018bc: JUMPDEST
000018bd: PUSH1 0x40
000018bf: MLOAD
000018c0: DUP1
000018c1: SWAP2
000018c2: SUB
000018c3: SWAP1
000018c4: REVERT
000018c5: JUMPDEST
000018c6: PUSH1 0x00
000018c8: PUSH1 0x0a
000018ca: DUP1
000018cb: SLOAD
000018cc: PUSH2 0x18d4
000018cf: SWAP1
000018d0: PUSH2 0x3d39
000018d3: JUMP
000018d4: JUMPDEST
000018d5: SWAP1
000018d6: POP
000018d7: GT
000018d8: PUSH2 0x18f0
000018db: JUMPI
000018dc: PUSH1 0x40
000018de: MLOAD
000018df: DUP1
000018e0: PUSH1 0x20
000018e2: ADD
000018e3: PUSH1 0x40
000018e5: MSTORE
000018e6: DUP1
000018e7: PUSH1 0x00
000018e9: DUP2
000018ea: MSTORE
000018eb: POP
000018ec: PUSH2 0x1953
000018ef: JUMP
000018f0: JUMPDEST
000018f1: PUSH1 0x0a
000018f3: PUSH2 0x18fb
000018f6: DUP4
000018f7: PUSH2 0x2a08
000018fa: JUMP
000018fb: JUMPDEST
000018fc: PUSH1 0x40
000018fe: MLOAD
000018ff: DUP1
00001900: PUSH1 0x40
00001902: ADD
00001903: PUSH1 0x40
00001905: MSTORE
00001906: DUP1
00001907: PUSH1 0x05
00001909: DUP2
0000190a: MSTORE
0000190b: PUSH1 0x20
0000190d: ADD
0000190e: PUSH32 0x2e6a736f6e000000000000000000000000000000000000000000000000000000
0000192f: DUP2
00001930: MSTORE
00001931: POP
00001932: PUSH1 0x40
00001934: MLOAD
00001935: PUSH1 0x20
00001937: ADD
00001938: PUSH2 0x1943
0000193b: SWAP4
0000193c: SWAP3
0000193d: SWAP2
0000193e: SWAP1
0000193f: PUSH2 0x380d
00001942: JUMP
00001943: JUMPDEST
00001944: PUSH1 0x40
00001946: MLOAD
00001947: PUSH1 0x20
00001949: DUP2
0000194a: DUP4
0000194b: SUB
0000194c: SUB
0000194d: DUP2
0000194e: MSTORE
0000194f: SWAP1
00001950: PUSH1 0x40
00001952: MSTORE
00001953: JUMPDEST
00001954: SWAP1
00001955: POP
00001956: SWAP2
00001957: SWAP1
00001958: POP
00001959: JUMP
0000195a: JUMPDEST
0000195b: PUSH20 0xa5409ec958c83c3f309868babaca7c86dcb077c1
00001970: DUP2
00001971: JUMP
00001972: JUMPDEST
00001973: PUSH2 0x197a
00001976: PUSH2 0x1f14
00001979: JUMP
0000197a: JUMPDEST
0000197b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001990: AND
00001991: PUSH2 0x1998
00001994: PUSH2 0x11f4
00001997: JUMP
00001998: JUMPDEST
00001999: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019ae: AND
000019af: EQ
000019b0: DUP1
000019b1: PUSH2 0x1a0e
000019b4: JUMPI
000019b5: POP
000019b6: PUSH2 0x19bd
000019b9: PUSH2 0x1f14
000019bc: JUMP
000019bd: JUMPDEST
000019be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d3: AND
000019d4: PUSH1 0x09
000019d6: PUSH1 0x00
000019d8: SWAP1
000019d9: SLOAD
000019da: SWAP1
000019db: PUSH2 0x0100
000019de: EXP
000019df: SWAP1
000019e0: DIV
000019e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019f6: AND
000019f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a0c: AND
00001a0d: EQ
00001a0e: JUMPDEST
00001a0f: PUSH2 0x1a4d
00001a12: JUMPI
00001a13: PUSH1 0x40
00001a15: MLOAD
00001a16: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a37: DUP2
00001a38: MSTORE
00001a39: PUSH1 0x04
00001a3b: ADD
00001a3c: PUSH2 0x1a44
00001a3f: SWAP1
00001a40: PUSH2 0x39d7
00001a43: JUMP
00001a44: JUMPDEST
00001a45: PUSH1 0x40
00001a47: MLOAD
00001a48: DUP1
00001a49: SWAP2
00001a4a: SUB
00001a4b: SWAP1
00001a4c: REVERT
00001a4d: JUMPDEST
00001a4e: DUP1
00001a4f: PUSH1 0x0e
00001a51: DUP2
00001a52: SWAP1
00001a53: SSTORE
00001a54: POP
00001a55: POP
00001a56: JUMP
00001a57: JUMPDEST
00001a58: PUSH2 0x1a5f
00001a5b: PUSH2 0x1f14
00001a5e: JUMP
00001a5f: JUMPDEST
00001a60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a75: AND
00001a76: PUSH2 0x1a7d
00001a79: PUSH2 0x11f4
00001a7c: JUMP
00001a7d: JUMPDEST
00001a7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a93: AND
00001a94: EQ
00001a95: DUP1
00001a96: PUSH2 0x1af3
00001a99: JUMPI
00001a9a: POP
00001a9b: PUSH2 0x1aa2
00001a9e: PUSH2 0x1f14
00001aa1: JUMP
00001aa2: JUMPDEST
00001aa3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ab8: AND
00001ab9: PUSH1 0x09
00001abb: PUSH1 0x00
00001abd: SWAP1
00001abe: SLOAD
00001abf: SWAP1
00001ac0: PUSH2 0x0100
00001ac3: EXP
00001ac4: SWAP1
00001ac5: DIV
00001ac6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001adb: AND
00001adc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001af1: AND
00001af2: EQ
00001af3: JUMPDEST
00001af4: PUSH2 0x1b32
00001af7: JUMPI
00001af8: PUSH1 0x40
00001afa: MLOAD
00001afb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b1c: DUP2
00001b1d: MSTORE
00001b1e: PUSH1 0x04
00001b20: ADD
00001b21: PUSH2 0x1b29
00001b24: SWAP1
00001b25: PUSH2 0x39d7
00001b28: JUMP
00001b29: JUMPDEST
00001b2a: PUSH1 0x40
00001b2c: MLOAD
00001b2d: DUP1
00001b2e: SWAP2
00001b2f: SUB
00001b30: SWAP1
00001b31: REVERT
00001b32: JUMPDEST
00001b33: PUSH2 0x1b44
00001b36: PUSH2 0x1b3d
00001b39: PUSH2 0x1f14
00001b3c: JUMP
00001b3d: JUMPDEST
00001b3e: PUSH1 0x05
00001b40: PUSH2 0x2867
00001b43: JUMP
00001b44: JUMPDEST
00001b45: JUMP
00001b46: JUMPDEST
00001b47: PUSH1 0x0b
00001b49: DUP1
00001b4a: SLOAD
00001b4b: PUSH2 0x1b53
00001b4e: SWAP1
00001b4f: PUSH2 0x3d39
00001b52: JUMP
00001b53: JUMPDEST
00001b54: DUP1
00001b55: PUSH1 0x1f
00001b57: ADD
00001b58: PUSH1 0x20
00001b5a: DUP1
00001b5b: SWAP2
00001b5c: DIV
00001b5d: MUL
00001b5e: PUSH1 0x20
00001b60: ADD
00001b61: PUSH1 0x40
00001b63: MLOAD
00001b64: SWAP1
00001b65: DUP2
00001b66: ADD
00001b67: PUSH1 0x40
00001b69: MSTORE
00001b6a: DUP1
00001b6b: SWAP3
00001b6c: SWAP2
00001b6d: SWAP1
00001b6e: DUP2
00001b6f: DUP2
00001b70: MSTORE
00001b71: PUSH1 0x20
00001b73: ADD
00001b74: DUP3
00001b75: DUP1
00001b76: SLOAD
00001b77: PUSH2 0x1b7f
00001b7a: SWAP1
00001b7b: PUSH2 0x3d39
00001b7e: JUMP
00001b7f: JUMPDEST
00001b80: DUP1
00001b81: ISZERO
00001b82: PUSH2 0x1bcc
00001b85: JUMPI
00001b86: DUP1
00001b87: PUSH1 0x1f
00001b89: LT
00001b8a: PUSH2 0x1ba1
00001b8d: JUMPI
00001b8e: PUSH2 0x0100
00001b91: DUP1
00001b92: DUP4
00001b93: SLOAD
00001b94: DIV
00001b95: MUL
00001b96: DUP4
00001b97: MSTORE
00001b98: SWAP2
00001b99: PUSH1 0x20
00001b9b: ADD
00001b9c: SWAP2
00001b9d: PUSH2 0x1bcc
00001ba0: JUMP
00001ba1: JUMPDEST
00001ba2: DUP3
00001ba3: ADD
00001ba4: SWAP2
00001ba5: SWAP1
00001ba6: PUSH1 0x00
00001ba8: MSTORE
00001ba9: PUSH1 0x20
00001bab: PUSH1 0x00
00001bad: KECCAK256
00001bae: SWAP1
00001baf: JUMPDEST
00001bb0: DUP2
00001bb1: SLOAD
00001bb2: DUP2
00001bb3: MSTORE
00001bb4: SWAP1
00001bb5: PUSH1 0x01
00001bb7: ADD
00001bb8: SWAP1
00001bb9: PUSH1 0x20
00001bbb: ADD
00001bbc: DUP1
00001bbd: DUP4
00001bbe: GT
00001bbf: PUSH2 0x1baf
00001bc2: JUMPI
00001bc3: DUP3
00001bc4: SWAP1
00001bc5: SUB
00001bc6: PUSH1 0x1f
00001bc8: AND
00001bc9: DUP3
00001bca: ADD
00001bcb: SWAP2
00001bcc: JUMPDEST
00001bcd: POP
00001bce: POP
00001bcf: POP
00001bd0: POP
00001bd1: POP
00001bd2: DUP2
00001bd3: JUMP
00001bd4: JUMPDEST
00001bd5: PUSH1 0x00
00001bd7: DUP1
00001bd8: PUSH20 0xa5409ec958c83c3f309868babaca7c86dcb077c1
00001bed: SWAP1
00001bee: POP
00001bef: DUP3
00001bf0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c05: AND
00001c06: DUP2
00001c07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c1c: AND
00001c1d: PUSH4 0xc4552791
00001c22: DUP7
00001c23: PUSH1 0x40
00001c25: MLOAD
00001c26: DUP3
00001c27: PUSH4 0xffffffff
00001c2c: AND
00001c2d: PUSH1 0xe0
00001c2f: SHL
00001c30: DUP2
00001c31: MSTORE
00001c32: PUSH1 0x04
00001c34: ADD
00001c35: PUSH2 0x1c3e
00001c38: SWAP2
00001c39: SWAP1
00001c3a: PUSH2 0x3853
00001c3d: JUMP
00001c3e: JUMPDEST
00001c3f: PUSH1 0x20
00001c41: PUSH1 0x40
00001c43: MLOAD
00001c44: DUP1
00001c45: DUP4
00001c46: SUB
00001c47: DUP2
00001c48: DUP7
00001c49: DUP1
00001c4a: EXTCODESIZE
00001c4b: ISZERO
00001c4c: DUP1
00001c4d: ISZERO
00001c4e: PUSH2 0x1c56
00001c51: JUMPI
00001c52: PUSH1 0x00
00001c54: DUP1
00001c55: REVERT
00001c56: JUMPDEST
00001c57: POP
00001c58: GAS
00001c59: STATICCALL
00001c5a: ISZERO
00001c5b: DUP1
00001c5c: ISZERO
00001c5d: PUSH2 0x1c6a
00001c60: JUMPI
00001c61: RETURNDATASIZE
00001c62: PUSH1 0x00
00001c64: DUP1
00001c65: RETURNDATACOPY
00001c66: RETURNDATASIZE
00001c67: PUSH1 0x00
00001c69: REVERT
00001c6a: JUMPDEST
00001c6b: POP
00001c6c: POP
00001c6d: POP
00001c6e: POP
00001c6f: PUSH1 0x40
00001c71: MLOAD
00001c72: RETURNDATASIZE
00001c73: PUSH1 0x1f
00001c75: NOT
00001c76: PUSH1 0x1f
00001c78: DUP3
00001c79: ADD
00001c7a: AND
00001c7b: DUP3
00001c7c: ADD
00001c7d: DUP1
00001c7e: PUSH1 0x40
00001c80: MSTORE
00001c81: POP
00001c82: DUP2
00001c83: ADD
00001c84: SWAP1
00001c85: PUSH2 0x1c8e
00001c88: SWAP2
00001c89: SWAP1
00001c8a: PUSH2 0x3477
00001c8d: JUMP
00001c8e: JUMPDEST
00001c8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ca4: AND
00001ca5: EQ
00001ca6: ISZERO
00001ca7: PUSH2 0x1cb4
00001caa: JUMPI
00001cab: PUSH1 0x01
00001cad: SWAP2
00001cae: POP
00001caf: POP
00001cb0: PUSH2 0x1cc2
00001cb3: JUMP
00001cb4: JUMPDEST
00001cb5: PUSH2 0x1cbe
00001cb8: DUP5
00001cb9: DUP5
00001cba: PUSH2 0x2b69
00001cbd: JUMP
00001cbe: JUMPDEST
00001cbf: SWAP2
00001cc0: POP
00001cc1: POP
00001cc2: JUMPDEST
00001cc3: SWAP3
00001cc4: SWAP2
00001cc5: POP
00001cc6: POP
00001cc7: JUMP
00001cc8: JUMPDEST
00001cc9: PUSH2 0x1cd0
00001ccc: PUSH2 0x1f14
00001ccf: JUMP
00001cd0: JUMPDEST
00001cd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ce6: AND
00001ce7: PUSH2 0x1cee
00001cea: PUSH2 0x11f4
00001ced: JUMP
00001cee: JUMPDEST
00001cef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d04: AND
00001d05: EQ
00001d06: DUP1
00001d07: PUSH2 0x1d64
00001d0a: JUMPI
00001d0b: POP
00001d0c: PUSH2 0x1d13
00001d0f: PUSH2 0x1f14
00001d12: JUMP
00001d13: JUMPDEST
00001d14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d29: AND
00001d2a: PUSH1 0x09
00001d2c: PUSH1 0x00
00001d2e: SWAP1
00001d2f: SLOAD
00001d30: SWAP1
00001d31: PUSH2 0x0100
00001d34: EXP
00001d35: SWAP1
00001d36: DIV
00001d37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d4c: AND
00001d4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d62: AND
00001d63: EQ
00001d64: JUMPDEST
00001d65: PUSH2 0x1da3
00001d68: JUMPI
00001d69: PUSH1 0x40
00001d6b: MLOAD
00001d6c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d8d: DUP2
00001d8e: MSTORE
00001d8f: PUSH1 0x04
00001d91: ADD
00001d92: PUSH2 0x1d9a
00001d95: SWAP1
00001d96: PUSH2 0x39d7
00001d99: JUMP
00001d9a: JUMPDEST
00001d9b: PUSH1 0x40
00001d9d: MLOAD
00001d9e: DUP1
00001d9f: SWAP2
00001da0: SUB
00001da1: SWAP1
00001da2: REVERT
00001da3: JUMPDEST
00001da4: DUP1
00001da5: PUSH1 0x0d
00001da7: DUP2
00001da8: SWAP1
00001da9: SSTORE
00001daa: POP
00001dab: POP
00001dac: JUMP
00001dad: JUMPDEST
00001dae: PUSH2 0x1db5
00001db1: PUSH2 0x1f14
00001db4: JUMP
00001db5: JUMPDEST
00001db6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dcb: AND
00001dcc: PUSH2 0x1dd3
00001dcf: PUSH2 0x11f4
00001dd2: JUMP
00001dd3: JUMPDEST
00001dd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001de9: AND
00001dea: EQ
00001deb: PUSH2 0x1e29
00001dee: JUMPI
00001def: PUSH1 0x40
00001df1: MLOAD
00001df2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e13: DUP2
00001e14: MSTORE
00001e15: PUSH1 0x04
00001e17: ADD
00001e18: PUSH2 0x1e20
00001e1b: SWAP1
00001e1c: PUSH2 0x39d7
00001e1f: JUMP
00001e20: JUMPDEST
00001e21: PUSH1 0x40
00001e23: MLOAD
00001e24: DUP1
00001e25: SWAP2
00001e26: SUB
00001e27: SWAP1
00001e28: REVERT
00001e29: JUMPDEST
00001e2a: PUSH1 0x00
00001e2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e41: AND
00001e42: DUP2
00001e43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e58: AND
00001e59: EQ
00001e5a: ISZERO
00001e5b: PUSH2 0x1e99
00001e5e: JUMPI
00001e5f: PUSH1 0x40
00001e61: MLOAD
00001e62: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e83: DUP2
00001e84: MSTORE
00001e85: PUSH1 0x04
00001e87: ADD
00001e88: PUSH2 0x1e90
00001e8b: SWAP1
00001e8c: PUSH2 0x3917
00001e8f: JUMP
00001e90: JUMPDEST
00001e91: PUSH1 0x40
00001e93: MLOAD
00001e94: DUP1
00001e95: SWAP2
00001e96: SUB
00001e97: SWAP1
00001e98: REVERT
00001e99: JUMPDEST
00001e9a: PUSH2 0x1ea2
00001e9d: DUP2
00001e9e: PUSH2 0x27a1
00001ea1: JUMP
00001ea2: JUMPDEST
00001ea3: POP
00001ea4: JUMP
00001ea5: JUMPDEST
00001ea6: PUSH1 0x14
00001ea8: DUP2
00001ea9: JUMP
00001eaa: JUMPDEST
00001eab: PUSH1 0x00
00001ead: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00001ece: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001eeb: NOT
00001eec: AND
00001eed: DUP3
00001eee: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001f0b: NOT
00001f0c: AND
00001f0d: EQ
00001f0e: SWAP1
00001f0f: POP
00001f10: SWAP2
00001f11: SWAP1
00001f12: POP
00001f13: JUMP
00001f14: JUMPDEST
00001f15: PUSH1 0x00
00001f17: CALLER
00001f18: SWAP1
00001f19: POP
00001f1a: SWAP1
00001f1b: JUMP
00001f1c: JUMPDEST
00001f1d: PUSH1 0x00
00001f1f: DUP2
00001f20: PUSH2 0x1f27
00001f23: PUSH2 0x201c
00001f26: JUMP
00001f27: JUMPDEST
00001f28: GT
00001f29: ISZERO
00001f2a: DUP1
00001f2b: ISZERO
00001f2c: PUSH2 0x1f36
00001f2f: JUMPI
00001f30: POP
00001f31: PUSH1 0x00
00001f33: SLOAD
00001f34: DUP3
00001f35: LT
00001f36: JUMPDEST
00001f37: DUP1
00001f38: ISZERO
00001f39: PUSH2 0x1f63
00001f3c: JUMPI
00001f3d: POP
00001f3e: PUSH1 0x04
00001f40: PUSH1 0x00
00001f42: DUP4
00001f43: DUP2
00001f44: MSTORE
00001f45: PUSH1 0x20
00001f47: ADD
00001f48: SWAP1
00001f49: DUP2
00001f4a: MSTORE
00001f4b: PUSH1 0x20
00001f4d: ADD
00001f4e: PUSH1 0x00
00001f50: KECCAK256
00001f51: PUSH1 0x00
00001f53: ADD
00001f54: PUSH1 0x1c
00001f56: SWAP1
00001f57: SLOAD
00001f58: SWAP1
00001f59: PUSH2 0x0100
00001f5c: EXP
00001f5d: SWAP1
00001f5e: DIV
00001f5f: PUSH1 0xff
00001f61: AND
00001f62: ISZERO
00001f63: JUMPDEST
00001f64: SWAP1
00001f65: POP
00001f66: SWAP2
00001f67: SWAP1
00001f68: POP
00001f69: JUMP
00001f6a: JUMPDEST
00001f6b: DUP3
00001f6c: PUSH1 0x06
00001f6e: PUSH1 0x00
00001f70: DUP5
00001f71: DUP2
00001f72: MSTORE
00001f73: PUSH1 0x20
00001f75: ADD
00001f76: SWAP1
00001f77: DUP2
00001f78: MSTORE
00001f79: PUSH1 0x20
00001f7b: ADD
00001f7c: PUSH1 0x00
00001f7e: KECCAK256
00001f7f: PUSH1 0x00
00001f81: PUSH2 0x0100
00001f84: EXP
00001f85: DUP2
00001f86: SLOAD
00001f87: DUP2
00001f88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f9d: MUL
00001f9e: NOT
00001f9f: AND
00001fa0: SWAP1
00001fa1: DUP4
00001fa2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fb7: AND
00001fb8: MUL
00001fb9: OR
00001fba: SWAP1
00001fbb: SSTORE
00001fbc: POP
00001fbd: DUP2
00001fbe: DUP4
00001fbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd4: AND
00001fd5: DUP3
00001fd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001feb: AND
00001fec: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000200d: PUSH1 0x40
0000200f: MLOAD
00002010: PUSH1 0x40
00002012: MLOAD
00002013: DUP1
00002014: SWAP2
00002015: SUB
00002016: SWAP1
00002017: LOG4
00002018: POP
00002019: POP
0000201a: POP
0000201b: JUMP
0000201c: JUMPDEST
0000201d: PUSH1 0x00
0000201f: SWAP1
00002020: JUMP
00002021: JUMPDEST
00002022: PUSH1 0x00
00002024: PUSH2 0x202c
00002027: DUP3
00002028: PUSH2 0x2512
0000202b: JUMP
0000202c: JUMPDEST
0000202d: SWAP1
0000202e: POP
0000202f: PUSH1 0x00
00002031: DUP2
00002032: PUSH1 0x00
00002034: ADD
00002035: MLOAD
00002036: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000204b: AND
0000204c: PUSH2 0x2053
0000204f: PUSH2 0x1f14
00002052: JUMP
00002053: JUMPDEST
00002054: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002069: AND
0000206a: EQ
0000206b: DUP1
0000206c: PUSH2 0x2086
0000206f: JUMPI
00002070: POP
00002071: PUSH2 0x2085
00002074: DUP3
00002075: PUSH1 0x00
00002077: ADD
00002078: MLOAD
00002079: PUSH2 0x2080
0000207c: PUSH2 0x1f14
0000207f: JUMP
00002080: JUMPDEST
00002081: PUSH2 0x1bd4
00002084: JUMP
00002085: JUMPDEST
00002086: JUMPDEST
00002087: DUP1
00002088: PUSH2 0x20cb
0000208b: JUMPI
0000208c: POP
0000208d: PUSH2 0x2094
00002090: PUSH2 0x1f14
00002093: JUMP
00002094: JUMPDEST
00002095: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020aa: AND
000020ab: PUSH2 0x20b3
000020ae: DUP5
000020af: PUSH2 0x0a95
000020b2: JUMP
000020b3: JUMPDEST
000020b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020c9: AND
000020ca: EQ
000020cb: JUMPDEST
000020cc: SWAP1
000020cd: POP
000020ce: DUP1
000020cf: PUSH2 0x2104
000020d2: JUMPI
000020d3: PUSH1 0x40
000020d5: MLOAD
000020d6: PUSH32 0x59c896be00000000000000000000000000000000000000000000000000000000
000020f7: DUP2
000020f8: MSTORE
000020f9: PUSH1 0x04
000020fb: ADD
000020fc: PUSH1 0x40
000020fe: MLOAD
000020ff: DUP1
00002100: SWAP2
00002101: SUB
00002102: SWAP1
00002103: REVERT
00002104: JUMPDEST
00002105: DUP5
00002106: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000211b: AND
0000211c: DUP3
0000211d: PUSH1 0x00
0000211f: ADD
00002120: MLOAD
00002121: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002136: AND
00002137: EQ
00002138: PUSH2 0x216d
0000213b: JUMPI
0000213c: PUSH1 0x40
0000213e: MLOAD
0000213f: PUSH32 0xa114810000000000000000000000000000000000000000000000000000000000
00002160: DUP2
00002161: MSTORE
00002162: PUSH1 0x04
00002164: ADD
00002165: PUSH1 0x40
00002167: MLOAD
00002168: DUP1
00002169: SWAP2
0000216a: SUB
0000216b: SWAP1
0000216c: REVERT
0000216d: JUMPDEST
0000216e: PUSH1 0x00
00002170: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002185: AND
00002186: DUP5
00002187: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000219c: AND
0000219d: EQ
0000219e: ISZERO
0000219f: PUSH2 0x21d4
000021a2: JUMPI
000021a3: PUSH1 0x40
000021a5: MLOAD
000021a6: PUSH32 0xea553b3400000000000000000000000000000000000000000000000000000000
000021c7: DUP2
000021c8: MSTORE
000021c9: PUSH1 0x04
000021cb: ADD
000021cc: PUSH1 0x40
000021ce: MLOAD
000021cf: DUP1
000021d0: SWAP2
000021d1: SUB
000021d2: SWAP1
000021d3: REVERT
000021d4: JUMPDEST
000021d5: PUSH2 0x21e1
000021d8: DUP6
000021d9: DUP6
000021da: DUP6
000021db: PUSH1 0x01
000021dd: PUSH2 0x2bfd
000021e0: JUMP
000021e1: JUMPDEST
000021e2: PUSH2 0x21f1
000021e5: PUSH1 0x00
000021e7: DUP5
000021e8: DUP5
000021e9: PUSH1 0x00
000021eb: ADD
000021ec: MLOAD
000021ed: PUSH2 0x1f6a
000021f0: JUMP
000021f1: JUMPDEST
000021f2: PUSH1 0x01
000021f4: PUSH1 0x05
000021f6: PUSH1 0x00
000021f8: DUP8
000021f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000220e: AND
0000220f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002224: AND
00002225: DUP2
00002226: MSTORE
00002227: PUSH1 0x20
00002229: ADD
0000222a: SWAP1
0000222b: DUP2
0000222c: MSTORE
0000222d: PUSH1 0x20
0000222f: ADD
00002230: PUSH1 0x00
00002232: KECCAK256
00002233: PUSH1 0x00
00002235: ADD
00002236: PUSH1 0x00
00002238: DUP3
00002239: DUP3
0000223a: DUP3
0000223b: SWAP1
0000223c: SLOAD
0000223d: SWAP1
0000223e: PUSH2 0x0100
00002241: EXP
00002242: SWAP1
00002243: DIV
00002244: PUSH8 0xffffffffffffffff
0000224d: AND
0000224e: SUB
0000224f: SWAP3
00002250: POP
00002251: PUSH2 0x0100
00002254: EXP
00002255: DUP2
00002256: SLOAD
00002257: DUP2
00002258: PUSH8 0xffffffffffffffff
00002261: MUL
00002262: NOT
00002263: AND
00002264: SWAP1
00002265: DUP4
00002266: PUSH8 0xffffffffffffffff
0000226f: AND
00002270: MUL
00002271: OR
00002272: SWAP1
00002273: SSTORE
00002274: POP
00002275: PUSH1 0x01
00002277: PUSH1 0x05
00002279: PUSH1 0x00
0000227b: DUP7
0000227c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002291: AND
00002292: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022a7: AND
000022a8: DUP2
000022a9: MSTORE
000022aa: PUSH1 0x20
000022ac: ADD
000022ad: SWAP1
000022ae: DUP2
000022af: MSTORE
000022b0: PUSH1 0x20
000022b2: ADD
000022b3: PUSH1 0x00
000022b5: KECCAK256
000022b6: PUSH1 0x00
000022b8: ADD
000022b9: PUSH1 0x00
000022bb: DUP3
000022bc: DUP3
000022bd: DUP3
000022be: SWAP1
000022bf: SLOAD
000022c0: SWAP1
000022c1: PUSH2 0x0100
000022c4: EXP
000022c5: SWAP1
000022c6: DIV
000022c7: PUSH8 0xffffffffffffffff
000022d0: AND
000022d1: ADD
000022d2: SWAP3
000022d3: POP
000022d4: PUSH2 0x0100
000022d7: EXP
000022d8: DUP2
000022d9: SLOAD
000022da: DUP2
000022db: PUSH8 0xffffffffffffffff
000022e4: MUL
000022e5: NOT
000022e6: AND
000022e7: SWAP1
000022e8: DUP4
000022e9: PUSH8 0xffffffffffffffff
000022f2: AND
000022f3: MUL
000022f4: OR
000022f5: SWAP1
000022f6: SSTORE
000022f7: POP
000022f8: DUP4
000022f9: PUSH1 0x04
000022fb: PUSH1 0x00
000022fd: DUP6
000022fe: DUP2
000022ff: MSTORE
00002300: PUSH1 0x20
00002302: ADD
00002303: SWAP1
00002304: DUP2
00002305: MSTORE
00002306: PUSH1 0x20
00002308: ADD
00002309: PUSH1 0x00
0000230b: KECCAK256
0000230c: PUSH1 0x00
0000230e: ADD
0000230f: PUSH1 0x00
00002311: PUSH2 0x0100
00002314: EXP
00002315: DUP2
00002316: SLOAD
00002317: DUP2
00002318: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000232d: MUL
0000232e: NOT
0000232f: AND
00002330: SWAP1
00002331: DUP4
00002332: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002347: AND
00002348: MUL
00002349: OR
0000234a: SWAP1
0000234b: SSTORE
0000234c: POP
0000234d: TIMESTAMP
0000234e: PUSH1 0x04
00002350: PUSH1 0x00
00002352: DUP6
00002353: DUP2
00002354: MSTORE
00002355: PUSH1 0x20
00002357: ADD
00002358: SWAP1
00002359: DUP2
0000235a: MSTORE
0000235b: PUSH1 0x20
0000235d: ADD
0000235e: PUSH1 0x00
00002360: KECCAK256
00002361: PUSH1 0x00
00002363: ADD
00002364: PUSH1 0x14
00002366: PUSH2 0x0100
00002369: EXP
0000236a: DUP2
0000236b: SLOAD
0000236c: DUP2
0000236d: PUSH8 0xffffffffffffffff
00002376: MUL
00002377: NOT
00002378: AND
00002379: SWAP1
0000237a: DUP4
0000237b: PUSH8 0xffffffffffffffff
00002384: AND
00002385: MUL
00002386: OR
00002387: SWAP1
00002388: SSTORE
00002389: POP
0000238a: PUSH1 0x00
0000238c: PUSH1 0x01
0000238e: DUP5
0000238f: ADD
00002390: SWAP1
00002391: POP
00002392: PUSH1 0x00
00002394: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023a9: AND
000023aa: PUSH1 0x04
000023ac: PUSH1 0x00
000023ae: DUP4
000023af: DUP2
000023b0: MSTORE
000023b1: PUSH1 0x20
000023b3: ADD
000023b4: SWAP1
000023b5: DUP2
000023b6: MSTORE
000023b7: PUSH1 0x20
000023b9: ADD
000023ba: PUSH1 0x00
000023bc: KECCAK256
000023bd: PUSH1 0x00
000023bf: ADD
000023c0: PUSH1 0x00
000023c2: SWAP1
000023c3: SLOAD
000023c4: SWAP1
000023c5: PUSH2 0x0100
000023c8: EXP
000023c9: SWAP1
000023ca: DIV
000023cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023e0: AND
000023e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023f6: AND
000023f7: EQ
000023f8: ISZERO
000023f9: PUSH2 0x24a2
000023fc: JUMPI
000023fd: PUSH1 0x00
000023ff: SLOAD
00002400: DUP2
00002401: LT
00002402: ISZERO
00002403: PUSH2 0x24a1
00002406: JUMPI
00002407: DUP3
00002408: PUSH1 0x00
0000240a: ADD
0000240b: MLOAD
0000240c: PUSH1 0x04
0000240e: PUSH1 0x00
00002410: DUP4
00002411: DUP2
00002412: MSTORE
00002413: PUSH1 0x20
00002415: ADD
00002416: SWAP1
00002417: DUP2
00002418: MSTORE
00002419: PUSH1 0x20
0000241b: ADD
0000241c: PUSH1 0x00
0000241e: KECCAK256
0000241f: PUSH1 0x00
00002421: ADD
00002422: PUSH1 0x00
00002424: PUSH2 0x0100
00002427: EXP
00002428: DUP2
00002429: SLOAD
0000242a: DUP2
0000242b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002440: MUL
00002441: NOT
00002442: AND
00002443: SWAP1
00002444: DUP4
00002445: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000245a: AND
0000245b: MUL
0000245c: OR
0000245d: SWAP1
0000245e: SSTORE
0000245f: POP
00002460: DUP3
00002461: PUSH1 0x20
00002463: ADD
00002464: MLOAD
00002465: PUSH1 0x04
00002467: PUSH1 0x00
00002469: DUP4
0000246a: DUP2
0000246b: MSTORE
0000246c: PUSH1 0x20
0000246e: ADD
0000246f: SWAP1
00002470: DUP2
00002471: MSTORE
00002472: PUSH1 0x20
00002474: ADD
00002475: PUSH1 0x00
00002477: KECCAK256
00002478: PUSH1 0x00
0000247a: ADD
0000247b: PUSH1 0x14
0000247d: PUSH2 0x0100
00002480: EXP
00002481: DUP2
00002482: SLOAD
00002483: DUP2
00002484: PUSH8 0xffffffffffffffff
0000248d: MUL
0000248e: NOT
0000248f: AND
00002490: SWAP1
00002491: DUP4
00002492: PUSH8 0xffffffffffffffff
0000249b: AND
0000249c: MUL
0000249d: OR
0000249e: SWAP1
0000249f: SSTORE
000024a0: POP
000024a1: JUMPDEST
000024a2: JUMPDEST
000024a3: POP
000024a4: DUP3
000024a5: DUP5
000024a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024bb: AND
000024bc: DUP7
000024bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024d2: AND
000024d3: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000024f4: PUSH1 0x40
000024f6: MLOAD
000024f7: PUSH1 0x40
000024f9: MLOAD
000024fa: DUP1
000024fb: SWAP2
000024fc: SUB
000024fd: SWAP1
000024fe: LOG4
000024ff: PUSH2 0x250b
00002502: DUP6
00002503: DUP6
00002504: DUP6
00002505: PUSH1 0x01
00002507: PUSH2 0x2c03
0000250a: JUMP
0000250b: JUMPDEST
0000250c: POP
0000250d: POP
0000250e: POP
0000250f: POP
00002510: POP
00002511: JUMP
00002512: JUMPDEST
00002513: PUSH2 0x251a
00002516: PUSH2 0x306f
00002519: JUMP
0000251a: JUMPDEST
0000251b: PUSH1 0x00
0000251d: DUP3
0000251e: SWAP1
0000251f: POP
00002520: DUP1
00002521: PUSH2 0x2528
00002524: PUSH2 0x201c
00002527: JUMP
00002528: JUMPDEST
00002529: GT
0000252a: ISZERO
0000252b: DUP1
0000252c: ISZERO
0000252d: PUSH2 0x2537
00002530: JUMPI
00002531: POP
00002532: PUSH1 0x00
00002534: SLOAD
00002535: DUP2
00002536: LT
00002537: JUMPDEST
00002538: ISZERO
00002539: PUSH2 0x276a
0000253c: JUMPI
0000253d: PUSH1 0x00
0000253f: PUSH1 0x04
00002541: PUSH1 0x00
00002543: DUP4
00002544: DUP2
00002545: MSTORE
00002546: PUSH1 0x20
00002548: ADD
00002549: SWAP1
0000254a: DUP2
0000254b: MSTORE
0000254c: PUSH1 0x20
0000254e: ADD
0000254f: PUSH1 0x00
00002551: KECCAK256
00002552: PUSH1 0x40
00002554: MLOAD
00002555: DUP1
00002556: PUSH1 0x60
00002558: ADD
00002559: PUSH1 0x40
0000255b: MSTORE
0000255c: SWAP1
0000255d: DUP2
0000255e: PUSH1 0x00
00002560: DUP3
00002561: ADD
00002562: PUSH1 0x00
00002564: SWAP1
00002565: SLOAD
00002566: SWAP1
00002567: PUSH2 0x0100
0000256a: EXP
0000256b: SWAP1
0000256c: DIV
0000256d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002582: AND
00002583: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002598: AND
00002599: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025ae: AND
000025af: DUP2
000025b0: MSTORE
000025b1: PUSH1 0x20
000025b3: ADD
000025b4: PUSH1 0x00
000025b6: DUP3
000025b7: ADD
000025b8: PUSH1 0x14
000025ba: SWAP1
000025bb: SLOAD
000025bc: SWAP1
000025bd: PUSH2 0x0100
000025c0: EXP
000025c1: SWAP1
000025c2: DIV
000025c3: PUSH8 0xffffffffffffffff
000025cc: AND
000025cd: PUSH8 0xffffffffffffffff
000025d6: AND
000025d7: PUSH8 0xffffffffffffffff
000025e0: AND
000025e1: DUP2
000025e2: MSTORE
000025e3: PUSH1 0x20
000025e5: ADD
000025e6: PUSH1 0x00
000025e8: DUP3
000025e9: ADD
000025ea: PUSH1 0x1c
000025ec: SWAP1
000025ed: SLOAD
000025ee: SWAP1
000025ef: PUSH2 0x0100
000025f2: EXP
000025f3: SWAP1
000025f4: DIV
000025f5: PUSH1 0xff
000025f7: AND
000025f8: ISZERO
000025f9: ISZERO
000025fa: ISZERO
000025fb: ISZERO
000025fc: DUP2
000025fd: MSTORE
000025fe: POP
000025ff: POP
00002600: SWAP1
00002601: POP
00002602: DUP1
00002603: PUSH1 0x40
00002605: ADD
00002606: MLOAD
00002607: PUSH2 0x2768
0000260a: JUMPI
0000260b: PUSH1 0x00
0000260d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002622: AND
00002623: DUP2
00002624: PUSH1 0x00
00002626: ADD
00002627: MLOAD
00002628: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000263d: AND
0000263e: EQ
0000263f: PUSH2 0x264c
00002642: JUMPI
00002643: DUP1
00002644: SWAP3
00002645: POP
00002646: POP
00002647: POP
00002648: PUSH2 0x279c
0000264b: JUMP
0000264c: JUMPDEST
0000264d: JUMPDEST
0000264e: PUSH1 0x01
00002650: ISZERO
00002651: PUSH2 0x2767
00002654: JUMPI
00002655: DUP2
00002656: DUP1
00002657: PUSH1 0x01
00002659: SWAP1
0000265a: SUB
0000265b: SWAP3
0000265c: POP
0000265d: POP
0000265e: PUSH1 0x04
00002660: PUSH1 0x00
00002662: DUP4
00002663: DUP2
00002664: MSTORE
00002665: PUSH1 0x20
00002667: ADD
00002668: SWAP1
00002669: DUP2
0000266a: MSTORE
0000266b: PUSH1 0x20
0000266d: ADD
0000266e: PUSH1 0x00
00002670: KECCAK256
00002671: PUSH1 0x40
00002673: MLOAD
00002674: DUP1
00002675: PUSH1 0x60
00002677: ADD
00002678: PUSH1 0x40
0000267a: MSTORE
0000267b: SWAP1
0000267c: DUP2
0000267d: PUSH1 0x00
0000267f: DUP3
00002680: ADD
00002681: PUSH1 0x00
00002683: SWAP1
00002684: SLOAD
00002685: SWAP1
00002686: PUSH2 0x0100
00002689: EXP
0000268a: SWAP1
0000268b: DIV
0000268c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026a1: AND
000026a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026b7: AND
000026b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026cd: AND
000026ce: DUP2
000026cf: MSTORE
000026d0: PUSH1 0x20
000026d2: ADD
000026d3: PUSH1 0x00
000026d5: DUP3
000026d6: ADD
000026d7: PUSH1 0x14
000026d9: SWAP1
000026da: SLOAD
000026db: SWAP1
000026dc: PUSH2 0x0100
000026df: EXP
000026e0: SWAP1
000026e1: DIV
000026e2: PUSH8 0xffffffffffffffff
000026eb: AND
000026ec: PUSH8 0xffffffffffffffff
000026f5: AND
000026f6: PUSH8 0xffffffffffffffff
000026ff: AND
00002700: DUP2
00002701: MSTORE
00002702: PUSH1 0x20
00002704: ADD
00002705: PUSH1 0x00
00002707: DUP3
00002708: ADD
00002709: PUSH1 0x1c
0000270b: SWAP1
0000270c: SLOAD
0000270d: SWAP1
0000270e: PUSH2 0x0100
00002711: EXP
00002712: SWAP1
00002713: DIV
00002714: PUSH1 0xff
00002716: AND
00002717: ISZERO
00002718: ISZERO
00002719: ISZERO
0000271a: ISZERO
0000271b: DUP2
0000271c: MSTORE
0000271d: POP
0000271e: POP
0000271f: SWAP1
00002720: POP
00002721: PUSH1 0x00
00002723: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002738: AND
00002739: DUP2
0000273a: PUSH1 0x00
0000273c: ADD
0000273d: MLOAD
0000273e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002753: AND
00002754: EQ
00002755: PUSH2 0x2762
00002758: JUMPI
00002759: DUP1
0000275a: SWAP3
0000275b: POP
0000275c: POP
0000275d: POP
0000275e: PUSH2 0x279c
00002761: JUMP
00002762: JUMPDEST
00002763: PUSH2 0x264d
00002766: JUMP
00002767: JUMPDEST
00002768: JUMPDEST
00002769: POP
0000276a: JUMPDEST
0000276b: PUSH1 0x40
0000276d: MLOAD
0000276e: PUSH32 0xdf2d9b4200000000000000000000000000000000000000000000000000000000
0000278f: DUP2
00002790: MSTORE
00002791: PUSH1 0x04
00002793: ADD
00002794: PUSH1 0x40
00002796: MLOAD
00002797: DUP1
00002798: SWAP2
00002799: SUB
0000279a: SWAP1
0000279b: REVERT
0000279c: JUMPDEST
0000279d: SWAP2
0000279e: SWAP1
0000279f: POP
000027a0: JUMP
000027a1: JUMPDEST
000027a2: PUSH1 0x00
000027a4: PUSH1 0x08
000027a6: PUSH1 0x00
000027a8: SWAP1
000027a9: SLOAD
000027aa: SWAP1
000027ab: PUSH2 0x0100
000027ae: EXP
000027af: SWAP1
000027b0: DIV
000027b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027c6: AND
000027c7: SWAP1
000027c8: POP
000027c9: DUP2
000027ca: PUSH1 0x08
000027cc: PUSH1 0x00
000027ce: PUSH2 0x0100
000027d1: EXP
000027d2: DUP2
000027d3: SLOAD
000027d4: DUP2
000027d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027ea: MUL
000027eb: NOT
000027ec: AND
000027ed: SWAP1
000027ee: DUP4
000027ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002804: AND
00002805: MUL
00002806: OR
00002807: SWAP1
00002808: SSTORE
00002809: POP
0000280a: DUP2
0000280b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002820: AND
00002821: DUP2
00002822: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002837: AND
00002838: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002859: PUSH1 0x40
0000285b: MLOAD
0000285c: PUSH1 0x40
0000285e: MLOAD
0000285f: DUP1
00002860: SWAP2
00002861: SUB
00002862: SWAP1
00002863: LOG3
00002864: POP
00002865: POP
00002866: JUMP
00002867: JUMPDEST
00002868: PUSH2 0x2881
0000286b: DUP3
0000286c: DUP3
0000286d: PUSH1 0x40
0000286f: MLOAD
00002870: DUP1
00002871: PUSH1 0x20
00002873: ADD
00002874: PUSH1 0x40
00002876: MSTORE
00002877: DUP1
00002878: PUSH1 0x00
0000287a: DUP2
0000287b: MSTORE
0000287c: POP
0000287d: PUSH2 0x2c09
00002880: JUMP
00002881: JUMPDEST
00002882: POP
00002883: POP
00002884: JUMP
00002885: JUMPDEST
00002886: PUSH1 0x00
00002888: DUP1
00002889: DUP3
0000288a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000289f: AND
000028a0: EXTCODESIZE
000028a1: GT
000028a2: SWAP1
000028a3: POP
000028a4: SWAP2
000028a5: SWAP1
000028a6: POP
000028a7: JUMP
000028a8: JUMPDEST
000028a9: PUSH1 0x00
000028ab: DUP4
000028ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028c1: AND
000028c2: PUSH4 0x150b7a02
000028c7: PUSH2 0x28ce
000028ca: PUSH2 0x1f14
000028cd: JUMP
000028ce: JUMPDEST
000028cf: DUP8
000028d0: DUP7
000028d1: DUP7
000028d2: PUSH1 0x40
000028d4: MLOAD
000028d5: DUP6
000028d6: PUSH4 0xffffffff
000028db: AND
000028dc: PUSH1 0xe0
000028de: SHL
000028df: DUP2
000028e0: MSTORE
000028e1: PUSH1 0x04
000028e3: ADD
000028e4: PUSH2 0x28f0
000028e7: SWAP5
000028e8: SWAP4
000028e9: SWAP3
000028ea: SWAP2
000028eb: SWAP1
000028ec: PUSH2 0x386e
000028ef: JUMP
000028f0: JUMPDEST
000028f1: PUSH1 0x20
000028f3: PUSH1 0x40
000028f5: MLOAD
000028f6: DUP1
000028f7: DUP4
000028f8: SUB
000028f9: DUP2
000028fa: PUSH1 0x00
000028fc: DUP8
000028fd: DUP1
000028fe: EXTCODESIZE
000028ff: ISZERO
00002900: DUP1
00002901: ISZERO
00002902: PUSH2 0x290a
00002905: JUMPI
00002906: PUSH1 0x00
00002908: DUP1
00002909: REVERT
0000290a: JUMPDEST
0000290b: POP
0000290c: GAS
0000290d: CALL
0000290e: SWAP3
0000290f: POP
00002910: POP
00002911: POP
00002912: DUP1
00002913: ISZERO
00002914: PUSH2 0x293b
00002917: JUMPI
00002918: POP
00002919: PUSH1 0x40
0000291b: MLOAD
0000291c: RETURNDATASIZE
0000291d: PUSH1 0x1f
0000291f: NOT
00002920: PUSH1 0x1f
00002922: DUP3
00002923: ADD
00002924: AND
00002925: DUP3
00002926: ADD
00002927: DUP1
00002928: PUSH1 0x40
0000292a: MSTORE
0000292b: POP
0000292c: DUP2
0000292d: ADD
0000292e: SWAP1
0000292f: PUSH2 0x2938
00002932: SWAP2
00002933: SWAP1
00002934: PUSH2 0x344a
00002937: JUMP
00002938: JUMPDEST
00002939: PUSH1 0x01
0000293b: JUMPDEST
0000293c: PUSH2 0x29b5
0000293f: JUMPI
00002940: RETURNDATASIZE
00002941: DUP1
00002942: PUSH1 0x00
00002944: DUP2
00002945: EQ
00002946: PUSH2 0x296b
00002949: JUMPI
0000294a: PUSH1 0x40
0000294c: MLOAD
0000294d: SWAP2
0000294e: POP
0000294f: PUSH1 0x1f
00002951: NOT
00002952: PUSH1 0x3f
00002954: RETURNDATASIZE
00002955: ADD
00002956: AND
00002957: DUP3
00002958: ADD
00002959: PUSH1 0x40
0000295b: MSTORE
0000295c: RETURNDATASIZE
0000295d: DUP3
0000295e: MSTORE
0000295f: RETURNDATASIZE
00002960: PUSH1 0x00
00002962: PUSH1 0x20
00002964: DUP5
00002965: ADD
00002966: RETURNDATACOPY
00002967: PUSH2 0x2970
0000296a: JUMP
0000296b: JUMPDEST
0000296c: PUSH1 0x60
0000296e: SWAP2
0000296f: POP
00002970: JUMPDEST
00002971: POP
00002972: PUSH1 0x00
00002974: DUP2
00002975: MLOAD
00002976: EQ
00002977: ISZERO
00002978: PUSH2 0x29ad
0000297b: JUMPI
0000297c: PUSH1 0x40
0000297e: MLOAD
0000297f: PUSH32 0xd1a57ed600000000000000000000000000000000000000000000000000000000
000029a0: DUP2
000029a1: MSTORE
000029a2: PUSH1 0x04
000029a4: ADD
000029a5: PUSH1 0x40
000029a7: MLOAD
000029a8: DUP1
000029a9: SWAP2
000029aa: SUB
000029ab: SWAP1
000029ac: REVERT
000029ad: JUMPDEST
000029ae: DUP1
000029af: MLOAD
000029b0: DUP2
000029b1: PUSH1 0x20
000029b3: ADD
000029b4: REVERT
000029b5: JUMPDEST
000029b6: PUSH4 0x150b7a02
000029bb: PUSH1 0xe0
000029bd: SHL
000029be: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000029db: NOT
000029dc: AND
000029dd: DUP2
000029de: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000029fb: NOT
000029fc: AND
000029fd: EQ
000029fe: SWAP2
000029ff: POP
00002a00: POP
00002a01: SWAP5
00002a02: SWAP4
00002a03: POP
00002a04: POP
00002a05: POP
00002a06: POP
00002a07: JUMP
00002a08: JUMPDEST
00002a09: PUSH1 0x60
00002a0b: PUSH1 0x00
00002a0d: DUP3
00002a0e: EQ
00002a0f: ISZERO
00002a10: PUSH2 0x2a50
00002a13: JUMPI
00002a14: PUSH1 0x40
00002a16: MLOAD
00002a17: DUP1
00002a18: PUSH1 0x40
00002a1a: ADD
00002a1b: PUSH1 0x40
00002a1d: MSTORE
00002a1e: DUP1
00002a1f: PUSH1 0x01
00002a21: DUP2
00002a22: MSTORE
00002a23: PUSH1 0x20
00002a25: ADD
00002a26: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00002a47: DUP2
00002a48: MSTORE
00002a49: POP
00002a4a: SWAP1
00002a4b: POP
00002a4c: PUSH2 0x2b64
00002a4f: JUMP
00002a50: JUMPDEST
00002a51: PUSH1 0x00
00002a53: DUP3
00002a54: SWAP1
00002a55: POP
00002a56: PUSH1 0x00
00002a58: JUMPDEST
00002a59: PUSH1 0x00
00002a5b: DUP3
00002a5c: EQ
00002a5d: PUSH2 0x2a82
00002a60: JUMPI
00002a61: DUP1
00002a62: DUP1
00002a63: PUSH2 0x2a6b
00002a66: SWAP1
00002a67: PUSH2 0x3d9c
00002a6a: JUMP
00002a6b: JUMPDEST
00002a6c: SWAP2
00002a6d: POP
00002a6e: POP
00002a6f: PUSH1 0x0a
00002a71: DUP3
00002a72: PUSH2 0x2a7b
00002a75: SWAP2
00002a76: SWAP1
00002a77: PUSH2 0x3bb2
00002a7a: JUMP
00002a7b: JUMPDEST
00002a7c: SWAP2
00002a7d: POP
00002a7e: PUSH2 0x2a58
00002a81: JUMP
00002a82: JUMPDEST
00002a83: PUSH1 0x00
00002a85: DUP2
00002a86: PUSH8 0xffffffffffffffff
00002a8f: DUP2
00002a90: GT
00002a91: ISZERO
00002a92: PUSH2 0x2a9e
00002a95: JUMPI
00002a96: PUSH2 0x2a9d
00002a99: PUSH2 0x3ed2
00002a9c: JUMP
00002a9d: JUMPDEST
00002a9e: JUMPDEST
00002a9f: PUSH1 0x40
00002aa1: MLOAD
00002aa2: SWAP1
00002aa3: DUP1
00002aa4: DUP3
00002aa5: MSTORE
00002aa6: DUP1
00002aa7: PUSH1 0x1f
00002aa9: ADD
00002aaa: PUSH1 0x1f
00002aac: NOT
00002aad: AND
00002aae: PUSH1 0x20
00002ab0: ADD
00002ab1: DUP3
00002ab2: ADD
00002ab3: PUSH1 0x40
00002ab5: MSTORE
00002ab6: DUP1
00002ab7: ISZERO
00002ab8: PUSH2 0x2ad0
00002abb: JUMPI
00002abc: DUP2
00002abd: PUSH1 0x20
00002abf: ADD
00002ac0: PUSH1 0x01
00002ac2: DUP3
00002ac3: MUL
00002ac4: DUP1
00002ac5: CALLDATASIZE
00002ac6: DUP4
00002ac7: CALLDATACOPY
00002ac8: DUP1
00002ac9: DUP3
00002aca: ADD
00002acb: SWAP2
00002acc: POP
00002acd: POP
00002ace: SWAP1
00002acf: POP
00002ad0: JUMPDEST
00002ad1: POP
00002ad2: SWAP1
00002ad3: POP
00002ad4: JUMPDEST
00002ad5: PUSH1 0x00
00002ad7: DUP6
00002ad8: EQ
00002ad9: PUSH2 0x2b5d
00002adc: JUMPI
00002add: PUSH1 0x01
00002adf: DUP3
00002ae0: PUSH2 0x2ae9
00002ae3: SWAP2
00002ae4: SWAP1
00002ae5: PUSH2 0x3c3d
00002ae8: JUMP
00002ae9: JUMPDEST
00002aea: SWAP2
00002aeb: POP
00002aec: PUSH1 0x0a
00002aee: DUP6
00002aef: PUSH2 0x2af8
00002af2: SWAP2
00002af3: SWAP1
00002af4: PUSH2 0x3de5
00002af7: JUMP
00002af8: JUMPDEST
00002af9: PUSH1 0x30
00002afb: PUSH2 0x2b04
00002afe: SWAP2
00002aff: SWAP1
00002b00: PUSH2 0x3b5c
00002b03: JUMP
00002b04: JUMPDEST
00002b05: PUSH1 0xf8
00002b07: SHL
00002b08: DUP2
00002b09: DUP4
00002b0a: DUP2
00002b0b: MLOAD
00002b0c: DUP2
00002b0d: LT
00002b0e: PUSH2 0x2b1a
00002b11: JUMPI
00002b12: PUSH2 0x2b19
00002b15: PUSH2 0x3ea3
00002b18: JUMP
00002b19: JUMPDEST
00002b1a: JUMPDEST
00002b1b: PUSH1 0x20
00002b1d: ADD
00002b1e: ADD
00002b1f: SWAP1
00002b20: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002b40: NOT
00002b41: AND
00002b42: SWAP1
00002b43: DUP2
00002b44: PUSH1 0x00
00002b46: BYTE
00002b47: SWAP1
00002b48: MSTORE8
00002b49: POP
00002b4a: PUSH1 0x0a
00002b4c: DUP6
00002b4d: PUSH2 0x2b56
00002b50: SWAP2
00002b51: SWAP1
00002b52: PUSH2 0x3bb2
00002b55: JUMP
00002b56: JUMPDEST
00002b57: SWAP5
00002b58: POP
00002b59: PUSH2 0x2ad4
00002b5c: JUMP
00002b5d: JUMPDEST
00002b5e: DUP1
00002b5f: SWAP4
00002b60: POP
00002b61: POP
00002b62: POP
00002b63: POP
00002b64: JUMPDEST
00002b65: SWAP2
00002b66: SWAP1
00002b67: POP
00002b68: JUMP
00002b69: JUMPDEST
00002b6a: PUSH1 0x00
00002b6c: PUSH1 0x07
00002b6e: PUSH1 0x00
00002b70: DUP5
00002b71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b86: AND
00002b87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b9c: AND
00002b9d: DUP2
00002b9e: MSTORE
00002b9f: PUSH1 0x20
00002ba1: ADD
00002ba2: SWAP1
00002ba3: DUP2
00002ba4: MSTORE
00002ba5: PUSH1 0x20
00002ba7: ADD
00002ba8: PUSH1 0x00
00002baa: KECCAK256
00002bab: PUSH1 0x00
00002bad: DUP4
00002bae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bc3: AND
00002bc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bd9: AND
00002bda: DUP2
00002bdb: MSTORE
00002bdc: PUSH1 0x20
00002bde: ADD
00002bdf: SWAP1
00002be0: DUP2
00002be1: MSTORE
00002be2: PUSH1 0x20
00002be4: ADD
00002be5: PUSH1 0x00
00002be7: KECCAK256
00002be8: PUSH1 0x00
00002bea: SWAP1
00002beb: SLOAD
00002bec: SWAP1
00002bed: PUSH2 0x0100
00002bf0: EXP
00002bf1: SWAP1
00002bf2: DIV
00002bf3: PUSH1 0xff
00002bf5: AND
00002bf6: SWAP1
00002bf7: POP
00002bf8: SWAP3
00002bf9: SWAP2
00002bfa: POP
00002bfb: POP
00002bfc: JUMP
00002bfd: JUMPDEST
00002bfe: POP
00002bff: POP
00002c00: POP
00002c01: POP
00002c02: JUMP
00002c03: JUMPDEST
00002c04: POP
00002c05: POP
00002c06: POP
00002c07: POP
00002c08: JUMP
00002c09: JUMPDEST
00002c0a: PUSH2 0x2c16
00002c0d: DUP4
00002c0e: DUP4
00002c0f: DUP4
00002c10: PUSH1 0x01
00002c12: PUSH2 0x2c1b
00002c15: JUMP
00002c16: JUMPDEST
00002c17: POP
00002c18: POP
00002c19: POP
00002c1a: JUMP
00002c1b: JUMPDEST
00002c1c: PUSH1 0x00
00002c1e: DUP1
00002c1f: SLOAD
00002c20: SWAP1
00002c21: POP
00002c22: PUSH1 0x00
00002c24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c39: AND
00002c3a: DUP6
00002c3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c50: AND
00002c51: EQ
00002c52: ISZERO
00002c53: PUSH2 0x2c88
00002c56: JUMPI
00002c57: PUSH1 0x40
00002c59: MLOAD
00002c5a: PUSH32 0x2e07630000000000000000000000000000000000000000000000000000000000
00002c7b: DUP2
00002c7c: MSTORE
00002c7d: PUSH1 0x04
00002c7f: ADD
00002c80: PUSH1 0x40
00002c82: MLOAD
00002c83: DUP1
00002c84: SWAP2
00002c85: SUB
00002c86: SWAP1
00002c87: REVERT
00002c88: JUMPDEST
00002c89: PUSH1 0x00
00002c8b: DUP5
00002c8c: EQ
00002c8d: ISZERO
00002c8e: PUSH2 0x2cc3
00002c91: JUMPI
00002c92: PUSH1 0x40
00002c94: MLOAD
00002c95: PUSH32 0xb562e8dd00000000000000000000000000000000000000000000000000000000
00002cb6: DUP2
00002cb7: MSTORE
00002cb8: PUSH1 0x04
00002cba: ADD
00002cbb: PUSH1 0x40
00002cbd: MLOAD
00002cbe: DUP1
00002cbf: SWAP2
00002cc0: SUB
00002cc1: SWAP1
00002cc2: REVERT
00002cc3: JUMPDEST
00002cc4: PUSH2 0x2cd0
00002cc7: PUSH1 0x00
00002cc9: DUP7
00002cca: DUP4
00002ccb: DUP8
00002ccc: PUSH2 0x2bfd
00002ccf: JUMP
00002cd0: JUMPDEST
00002cd1: DUP4
00002cd2: PUSH1 0x05
00002cd4: PUSH1 0x00
00002cd6: DUP8
00002cd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cec: AND
00002ced: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d02: AND
00002d03: DUP2
00002d04: MSTORE
00002d05: PUSH1 0x20
00002d07: ADD
00002d08: SWAP1
00002d09: DUP2
00002d0a: MSTORE
00002d0b: PUSH1 0x20
00002d0d: ADD
00002d0e: PUSH1 0x00
00002d10: KECCAK256
00002d11: PUSH1 0x00
00002d13: ADD
00002d14: PUSH1 0x00
00002d16: DUP3
00002d17: DUP3
00002d18: DUP3
00002d19: SWAP1
00002d1a: SLOAD
00002d1b: SWAP1
00002d1c: PUSH2 0x0100
00002d1f: EXP
00002d20: SWAP1
00002d21: DIV
00002d22: PUSH8 0xffffffffffffffff
00002d2b: AND
00002d2c: ADD
00002d2d: SWAP3
00002d2e: POP
00002d2f: PUSH2 0x0100
00002d32: EXP
00002d33: DUP2
00002d34: SLOAD
00002d35: DUP2
00002d36: PUSH8 0xffffffffffffffff
00002d3f: MUL
00002d40: NOT
00002d41: AND
00002d42: SWAP1
00002d43: DUP4
00002d44: PUSH8 0xffffffffffffffff
00002d4d: AND
00002d4e: MUL
00002d4f: OR
00002d50: SWAP1
00002d51: SSTORE
00002d52: POP
00002d53: DUP4
00002d54: PUSH1 0x05
00002d56: PUSH1 0x00
00002d58: DUP8
00002d59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d6e: AND
00002d6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d84: AND
00002d85: DUP2
00002d86: MSTORE
00002d87: PUSH1 0x20
00002d89: ADD
00002d8a: SWAP1
00002d8b: DUP2
00002d8c: MSTORE
00002d8d: PUSH1 0x20
00002d8f: ADD
00002d90: PUSH1 0x00
00002d92: KECCAK256
00002d93: PUSH1 0x00
00002d95: ADD
00002d96: PUSH1 0x08
00002d98: DUP3
00002d99: DUP3
00002d9a: DUP3
00002d9b: SWAP1
00002d9c: SLOAD
00002d9d: SWAP1
00002d9e: PUSH2 0x0100
00002da1: EXP
00002da2: SWAP1
00002da3: DIV
00002da4: PUSH8 0xffffffffffffffff
00002dad: AND
00002dae: ADD
00002daf: SWAP3
00002db0: POP
00002db1: PUSH2 0x0100
00002db4: EXP
00002db5: DUP2
00002db6: SLOAD
00002db7: DUP2
00002db8: PUSH8 0xffffffffffffffff
00002dc1: MUL
00002dc2: NOT
00002dc3: AND
00002dc4: SWAP1
00002dc5: DUP4
00002dc6: PUSH8 0xffffffffffffffff
00002dcf: AND
00002dd0: MUL
00002dd1: OR
00002dd2: SWAP1
00002dd3: SSTORE
00002dd4: POP
00002dd5: DUP5
00002dd6: PUSH1 0x04
00002dd8: PUSH1 0x00
00002dda: DUP4
00002ddb: DUP2
00002ddc: MSTORE
00002ddd: PUSH1 0x20
00002ddf: ADD
00002de0: SWAP1
00002de1: DUP2
00002de2: MSTORE
00002de3: PUSH1 0x20
00002de5: ADD
00002de6: PUSH1 0x00
00002de8: KECCAK256
00002de9: PUSH1 0x00
00002deb: ADD
00002dec: PUSH1 0x00
00002dee: PUSH2 0x0100
00002df1: EXP
00002df2: DUP2
00002df3: SLOAD
00002df4: DUP2
00002df5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e0a: MUL
00002e0b: NOT
00002e0c: AND
00002e0d: SWAP1
00002e0e: DUP4
00002e0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e24: AND
00002e25: MUL
00002e26: OR
00002e27: SWAP1
00002e28: SSTORE
00002e29: POP
00002e2a: TIMESTAMP
00002e2b: PUSH1 0x04
00002e2d: PUSH1 0x00
00002e2f: DUP4
00002e30: DUP2
00002e31: MSTORE
00002e32: PUSH1 0x20
00002e34: ADD
00002e35: SWAP1
00002e36: DUP2
00002e37: MSTORE
00002e38: PUSH1 0x20
00002e3a: ADD
00002e3b: PUSH1 0x00
00002e3d: KECCAK256
00002e3e: PUSH1 0x00
00002e40: ADD
00002e41: PUSH1 0x14
00002e43: PUSH2 0x0100
00002e46: EXP
00002e47: DUP2
00002e48: SLOAD
00002e49: DUP2
00002e4a: PUSH8 0xffffffffffffffff
00002e53: MUL
00002e54: NOT
00002e55: AND
00002e56: SWAP1
00002e57: DUP4
00002e58: PUSH8 0xffffffffffffffff
00002e61: AND
00002e62: MUL
00002e63: OR
00002e64: SWAP1
00002e65: SSTORE
00002e66: POP
00002e67: PUSH1 0x00
00002e69: DUP2
00002e6a: SWAP1
00002e6b: POP
00002e6c: PUSH1 0x00
00002e6e: DUP6
00002e6f: DUP3
00002e70: ADD
00002e71: SWAP1
00002e72: POP
00002e73: DUP4
00002e74: DUP1
00002e75: ISZERO
00002e76: PUSH2 0x2e9a
00002e79: JUMPI
00002e7a: POP
00002e7b: PUSH2 0x2e99
00002e7e: DUP8
00002e7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e94: AND
00002e95: PUSH2 0x2885
00002e98: JUMP
00002e99: JUMPDEST
00002e9a: JUMPDEST
00002e9b: ISZERO
00002e9c: PUSH2 0x2f60
00002e9f: JUMPI
00002ea0: JUMPDEST
00002ea1: DUP2
00002ea2: DUP8
00002ea3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002eb8: AND
00002eb9: PUSH1 0x00
00002ebb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ed0: AND
00002ed1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002ef2: PUSH1 0x40
00002ef4: MLOAD
00002ef5: PUSH1 0x40
00002ef7: MLOAD
00002ef8: DUP1
00002ef9: SWAP2
00002efa: SUB
00002efb: SWAP1
00002efc: LOG4
00002efd: PUSH2 0x2f0f
00002f00: PUSH1 0x00
00002f02: DUP9
00002f03: DUP5
00002f04: DUP1
00002f05: PUSH1 0x01
00002f07: ADD
00002f08: SWAP6
00002f09: POP
00002f0a: DUP9
00002f0b: PUSH2 0x28a8
00002f0e: JUMP
00002f0f: JUMPDEST
00002f10: PUSH2 0x2f45
00002f13: JUMPI
00002f14: PUSH1 0x40
00002f16: MLOAD
00002f17: PUSH32 0xd1a57ed600000000000000000000000000000000000000000000000000000000
00002f38: DUP2
00002f39: MSTORE
00002f3a: PUSH1 0x04
00002f3c: ADD
00002f3d: PUSH1 0x40
00002f3f: MLOAD
00002f40: DUP1
00002f41: SWAP2
00002f42: SUB
00002f43: SWAP1
00002f44: REVERT
00002f45: JUMPDEST
00002f46: DUP1
00002f47: DUP3
00002f48: EQ
00002f49: ISZERO
00002f4a: PUSH2 0x2ea0
00002f4d: JUMPI
00002f4e: DUP3
00002f4f: PUSH1 0x00
00002f51: SLOAD
00002f52: EQ
00002f53: PUSH2 0x2f5b
00002f56: JUMPI
00002f57: PUSH1 0x00
00002f59: DUP1
00002f5a: REVERT
00002f5b: JUMPDEST
00002f5c: PUSH2 0x2fcc
00002f5f: JUMP
00002f60: JUMPDEST
00002f61: JUMPDEST
00002f62: DUP2
00002f63: DUP1
00002f64: PUSH1 0x01
00002f66: ADD
00002f67: SWAP3
00002f68: POP
00002f69: DUP8
00002f6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f7f: AND
00002f80: PUSH1 0x00
00002f82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f97: AND
00002f98: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002fb9: PUSH1 0x40
00002fbb: MLOAD
00002fbc: PUSH1 0x40
00002fbe: MLOAD
00002fbf: DUP1
00002fc0: SWAP2
00002fc1: SUB
00002fc2: SWAP1
00002fc3: LOG4
00002fc4: DUP1
00002fc5: DUP3
00002fc6: EQ
00002fc7: ISZERO
00002fc8: PUSH2 0x2f61
00002fcb: JUMPI
00002fcc: JUMPDEST
00002fcd: DUP2
00002fce: PUSH1 0x00
00002fd0: DUP2
00002fd1: SWAP1
00002fd2: SSTORE
00002fd3: POP
00002fd4: POP
00002fd5: POP
00002fd6: PUSH2 0x2fe2
00002fd9: PUSH1 0x00
00002fdb: DUP7
00002fdc: DUP4
00002fdd: DUP8
00002fde: PUSH2 0x2c03
00002fe1: JUMP
00002fe2: JUMPDEST
00002fe3: POP
00002fe4: POP
00002fe5: POP
00002fe6: POP
00002fe7: POP
00002fe8: JUMP
00002fe9: JUMPDEST
00002fea: DUP3
00002feb: DUP1
00002fec: SLOAD
00002fed: PUSH2 0x2ff5
00002ff0: SWAP1
00002ff1: PUSH2 0x3d39
00002ff4: JUMP
00002ff5: JUMPDEST
00002ff6: SWAP1
00002ff7: PUSH1 0x00
00002ff9: MSTORE
00002ffa: PUSH1 0x20
00002ffc: PUSH1 0x00
00002ffe: KECCAK256
00002fff: SWAP1
00003000: PUSH1 0x1f
00003002: ADD
00003003: PUSH1 0x20
00003005: SWAP1
00003006: DIV
00003007: DUP2
00003008: ADD
00003009: SWAP3
0000300a: DUP3
0000300b: PUSH2 0x3017
0000300e: JUMPI
0000300f: PUSH1 0x00
00003011: DUP6
00003012: SSTORE
00003013: PUSH2 0x305e
00003016: JUMP
00003017: JUMPDEST
00003018: DUP3
00003019: PUSH1 0x1f
0000301b: LT
0000301c: PUSH2 0x3030
0000301f: JUMPI
00003020: DUP1
00003021: MLOAD
00003022: PUSH1 0xff
00003024: NOT
00003025: AND
00003026: DUP4
00003027: DUP1
00003028: ADD
00003029: OR
0000302a: DUP6
0000302b: SSTORE
0000302c: PUSH2 0x305e
0000302f: JUMP
00003030: JUMPDEST
00003031: DUP3
00003032: DUP1
00003033: ADD
00003034: PUSH1 0x01
00003036: ADD
00003037: DUP6
00003038: SSTORE
00003039: DUP3
0000303a: ISZERO
0000303b: PUSH2 0x305e
0000303e: JUMPI
0000303f: SWAP2
00003040: DUP3
00003041: ADD
00003042: JUMPDEST
00003043: DUP3
00003044: DUP2
00003045: GT
00003046: ISZERO
00003047: PUSH2 0x305d
0000304a: JUMPI
0000304b: DUP3
0000304c: MLOAD
0000304d: DUP3
0000304e: SSTORE
0000304f: SWAP2
00003050: PUSH1 0x20
00003052: ADD
00003053: SWAP2
00003054: SWAP1
00003055: PUSH1 0x01
00003057: ADD
00003058: SWAP1
00003059: PUSH2 0x3042
0000305c: JUMP
0000305d: JUMPDEST
0000305e: JUMPDEST
0000305f: POP
00003060: SWAP1
00003061: POP
00003062: PUSH2 0x306b
00003065: SWAP2
00003066: SWAP1
00003067: PUSH2 0x30b2
0000306a: JUMP
0000306b: JUMPDEST
0000306c: POP
0000306d: SWAP1
0000306e: JUMP
0000306f: JUMPDEST
00003070: PUSH1 0x40
00003072: MLOAD
00003073: DUP1
00003074: PUSH1 0x60
00003076: ADD
00003077: PUSH1 0x40
00003079: MSTORE
0000307a: DUP1
0000307b: PUSH1 0x00
0000307d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003092: AND
00003093: DUP2
00003094: MSTORE
00003095: PUSH1 0x20
00003097: ADD
00003098: PUSH1 0x00
0000309a: PUSH8 0xffffffffffffffff
000030a3: AND
000030a4: DUP2
000030a5: MSTORE
000030a6: PUSH1 0x20
000030a8: ADD
000030a9: PUSH1 0x00
000030ab: ISZERO
000030ac: ISZERO
000030ad: DUP2
000030ae: MSTORE
000030af: POP
000030b0: SWAP1
000030b1: JUMP
000030b2: JUMPDEST
000030b3: JUMPDEST
000030b4: DUP1
000030b5: DUP3
000030b6: GT
000030b7: ISZERO
000030b8: PUSH2 0x30cb
000030bb: JUMPI
000030bc: PUSH1 0x00
000030be: DUP2
000030bf: PUSH1 0x00
000030c1: SWAP1
000030c2: SSTORE
000030c3: POP
000030c4: PUSH1 0x01
000030c6: ADD
000030c7: PUSH2 0x30b3
000030ca: JUMP
000030cb: JUMPDEST
000030cc: POP
000030cd: SWAP1
000030ce: JUMP
000030cf: JUMPDEST
000030d0: PUSH1 0x00
000030d2: PUSH2 0x30e2
000030d5: PUSH2 0x30dd
000030d8: DUP5
000030d9: PUSH2 0x3a97
000030dc: JUMP
000030dd: JUMPDEST
000030de: PUSH2 0x3a72
000030e1: JUMP
000030e2: JUMPDEST
000030e3: SWAP1
000030e4: POP
000030e5: DUP3
000030e6: DUP2
000030e7: MSTORE
000030e8: PUSH1 0x20
000030ea: DUP2
000030eb: ADD
000030ec: DUP5
000030ed: DUP5
000030ee: DUP5
000030ef: ADD
000030f0: GT
000030f1: ISZERO
000030f2: PUSH2 0x30fe
000030f5: JUMPI
000030f6: PUSH2 0x30fd
000030f9: PUSH2 0x3f06
000030fc: JUMP
000030fd: JUMPDEST
000030fe: JUMPDEST
000030ff: PUSH2 0x3109
00003102: DUP5
00003103: DUP3
00003104: DUP6
00003105: PUSH2 0x3cf7
00003108: JUMP
00003109: JUMPDEST
0000310a: POP
0000310b: SWAP4
0000310c: SWAP3
0000310d: POP
0000310e: POP
0000310f: POP
00003110: JUMP
00003111: JUMPDEST
00003112: PUSH1 0x00
00003114: PUSH2 0x3124
00003117: PUSH2 0x311f
0000311a: DUP5
0000311b: PUSH2 0x3ac8
0000311e: JUMP
0000311f: JUMPDEST
00003120: PUSH2 0x3a72
00003123: JUMP
00003124: JUMPDEST
00003125: SWAP1
00003126: POP
00003127: DUP3
00003128: DUP2
00003129: MSTORE
0000312a: PUSH1 0x20
0000312c: DUP2
0000312d: ADD
0000312e: DUP5
0000312f: DUP5
00003130: DUP5
00003131: ADD
00003132: GT
00003133: ISZERO
00003134: PUSH2 0x3140
00003137: JUMPI
00003138: PUSH2 0x313f
0000313b: PUSH2 0x3f06
0000313e: JUMP
0000313f: JUMPDEST
00003140: JUMPDEST
00003141: PUSH2 0x314b
00003144: DUP5
00003145: DUP3
00003146: DUP6
00003147: PUSH2 0x3cf7
0000314a: JUMP
0000314b: JUMPDEST
0000314c: POP
0000314d: SWAP4
0000314e: SWAP3
0000314f: POP
00003150: POP
00003151: POP
00003152: JUMP
00003153: JUMPDEST
00003154: PUSH1 0x00
00003156: DUP2
00003157: CALLDATALOAD
00003158: SWAP1
00003159: POP
0000315a: PUSH2 0x3162
0000315d: DUP2
0000315e: PUSH2 0x4112
00003161: JUMP
00003162: JUMPDEST
00003163: SWAP3
00003164: SWAP2
00003165: POP
00003166: POP
00003167: JUMP
00003168: JUMPDEST
00003169: PUSH1 0x00
0000316b: DUP2
0000316c: CALLDATALOAD
0000316d: SWAP1
0000316e: POP
0000316f: PUSH2 0x3177
00003172: DUP2
00003173: PUSH2 0x4129
00003176: JUMP
00003177: JUMPDEST
00003178: SWAP3
00003179: SWAP2
0000317a: POP
0000317b: POP
0000317c: JUMP
0000317d: JUMPDEST
0000317e: PUSH1 0x00
00003180: DUP2
00003181: CALLDATALOAD
00003182: SWAP1
00003183: POP
00003184: PUSH2 0x318c
00003187: DUP2
00003188: PUSH2 0x4140
0000318b: JUMP
0000318c: JUMPDEST
0000318d: SWAP3
0000318e: SWAP2
0000318f: POP
00003190: POP
00003191: JUMP
00003192: JUMPDEST
00003193: PUSH1 0x00
00003195: DUP2
00003196: MLOAD
00003197: SWAP1
00003198: POP
00003199: PUSH2 0x31a1
0000319c: DUP2
0000319d: PUSH2 0x4140
000031a0: JUMP
000031a1: JUMPDEST
000031a2: SWAP3
000031a3: SWAP2
000031a4: POP
000031a5: POP
000031a6: JUMP
000031a7: JUMPDEST
000031a8: PUSH1 0x00
000031aa: DUP3
000031ab: PUSH1 0x1f
000031ad: DUP4
000031ae: ADD
000031af: SLT
000031b0: PUSH2 0x31bc
000031b3: JUMPI
000031b4: PUSH2 0x31bb
000031b7: PUSH2 0x3f01
000031ba: JUMP
000031bb: JUMPDEST
000031bc: JUMPDEST
000031bd: DUP2
000031be: CALLDATALOAD
000031bf: PUSH2 0x31cc
000031c2: DUP5
000031c3: DUP3
000031c4: PUSH1 0x20
000031c6: DUP7
000031c7: ADD
000031c8: PUSH2 0x30cf
000031cb: JUMP
000031cc: JUMPDEST
000031cd: SWAP2
000031ce: POP
000031cf: POP
000031d0: SWAP3
000031d1: SWAP2
000031d2: POP
000031d3: POP
000031d4: JUMP
000031d5: JUMPDEST
000031d6: PUSH1 0x00
000031d8: DUP2
000031d9: MLOAD
000031da: SWAP1
000031db: POP
000031dc: PUSH2 0x31e4
000031df: DUP2
000031e0: PUSH2 0x4157
000031e3: JUMP
000031e4: JUMPDEST
000031e5: SWAP3
000031e6: SWAP2
000031e7: POP
000031e8: POP
000031e9: JUMP
000031ea: JUMPDEST
000031eb: PUSH1 0x00
000031ed: DUP3
000031ee: PUSH1 0x1f
000031f0: DUP4
000031f1: ADD
000031f2: SLT
000031f3: PUSH2 0x31ff
000031f6: JUMPI
000031f7: PUSH2 0x31fe
000031fa: PUSH2 0x3f01
000031fd: JUMP
000031fe: JUMPDEST
000031ff: JUMPDEST
00003200: DUP2
00003201: CALLDATALOAD
00003202: PUSH2 0x320f
00003205: DUP5
00003206: DUP3
00003207: PUSH1 0x20
00003209: DUP7
0000320a: ADD
0000320b: PUSH2 0x3111
0000320e: JUMP
0000320f: JUMPDEST
00003210: SWAP2
00003211: POP
00003212: POP
00003213: SWAP3
00003214: SWAP2
00003215: POP
00003216: POP
00003217: JUMP
00003218: JUMPDEST
00003219: PUSH1 0x00
0000321b: DUP2
0000321c: CALLDATALOAD
0000321d: SWAP1
0000321e: POP
0000321f: PUSH2 0x3227
00003222: DUP2
00003223: PUSH2 0x416e
00003226: JUMP
00003227: JUMPDEST
00003228: SWAP3
00003229: SWAP2
0000322a: POP
0000322b: POP
0000322c: JUMP
0000322d: JUMPDEST
0000322e: PUSH1 0x00
00003230: PUSH1 0x20
00003232: DUP3
00003233: DUP5
00003234: SUB
00003235: SLT
00003236: ISZERO
00003237: PUSH2 0x3243
0000323a: JUMPI
0000323b: PUSH2 0x3242
0000323e: PUSH2 0x3f10
00003241: JUMP
00003242: JUMPDEST
00003243: JUMPDEST
00003244: PUSH1 0x00
00003246: PUSH2 0x3251
00003249: DUP5
0000324a: DUP3
0000324b: DUP6
0000324c: ADD
0000324d: PUSH2 0x3153
00003250: JUMP
00003251: JUMPDEST
00003252: SWAP2
00003253: POP
00003254: POP
00003255: SWAP3
00003256: SWAP2
00003257: POP
00003258: POP
00003259: JUMP
0000325a: JUMPDEST
0000325b: PUSH1 0x00
0000325d: DUP1
0000325e: PUSH1 0x40
00003260: DUP4
00003261: DUP6
00003262: SUB
00003263: SLT
00003264: ISZERO
00003265: PUSH2 0x3271
00003268: JUMPI
00003269: PUSH2 0x3270
0000326c: PUSH2 0x3f10
0000326f: JUMP
00003270: JUMPDEST
00003271: JUMPDEST
00003272: PUSH1 0x00
00003274: PUSH2 0x327f
00003277: DUP6
00003278: DUP3
00003279: DUP7
0000327a: ADD
0000327b: PUSH2 0x3153
0000327e: JUMP
0000327f: JUMPDEST
00003280: SWAP3
00003281: POP
00003282: POP
00003283: PUSH1 0x20
00003285: PUSH2 0x3290
00003288: DUP6
00003289: DUP3
0000328a: DUP7
0000328b: ADD
0000328c: PUSH2 0x3153
0000328f: JUMP
00003290: JUMPDEST
00003291: SWAP2
00003292: POP
00003293: POP
00003294: SWAP3
00003295: POP
00003296: SWAP3
00003297: SWAP1
00003298: POP
00003299: JUMP
0000329a: JUMPDEST
0000329b: PUSH1 0x00
0000329d: DUP1
0000329e: PUSH1 0x00
000032a0: PUSH1 0x60
000032a2: DUP5
000032a3: DUP7
000032a4: SUB
000032a5: SLT
000032a6: ISZERO
000032a7: PUSH2 0x32b3
000032aa: JUMPI
000032ab: PUSH2 0x32b2
000032ae: PUSH2 0x3f10
000032b1: JUMP
000032b2: JUMPDEST
000032b3: JUMPDEST
000032b4: PUSH1 0x00
000032b6: PUSH2 0x32c1
000032b9: DUP7
000032ba: DUP3
000032bb: DUP8
000032bc: ADD
000032bd: PUSH2 0x3153
000032c0: JUMP
000032c1: JUMPDEST
000032c2: SWAP4
000032c3: POP
000032c4: POP
000032c5: PUSH1 0x20
000032c7: PUSH2 0x32d2
000032ca: DUP7
000032cb: DUP3
000032cc: DUP8
000032cd: ADD
000032ce: PUSH2 0x3153
000032d1: JUMP
000032d2: JUMPDEST
000032d3: SWAP3
000032d4: POP
000032d5: POP
000032d6: PUSH1 0x40
000032d8: PUSH2 0x32e3
000032db: DUP7
000032dc: DUP3
000032dd: DUP8
000032de: ADD
000032df: PUSH2 0x3218
000032e2: JUMP
000032e3: JUMPDEST
000032e4: SWAP2
000032e5: POP
000032e6: POP
000032e7: SWAP3
000032e8: POP
000032e9: SWAP3
000032ea: POP
000032eb: SWAP3
000032ec: JUMP
000032ed: JUMPDEST
000032ee: PUSH1 0x00
000032f0: DUP1
000032f1: PUSH1 0x00
000032f3: DUP1
000032f4: PUSH1 0x80
000032f6: DUP6
000032f7: DUP8
000032f8: SUB
000032f9: SLT
000032fa: ISZERO
000032fb: PUSH2 0x3307
000032fe: JUMPI
000032ff: PUSH2 0x3306
00003302: PUSH2 0x3f10
00003305: JUMP
00003306: JUMPDEST
00003307: JUMPDEST
00003308: PUSH1 0x00
0000330a: PUSH2 0x3315
0000330d: DUP8
0000330e: DUP3
0000330f: DUP9
00003310: ADD
00003311: PUSH2 0x3153
00003314: JUMP
00003315: JUMPDEST
00003316: SWAP5
00003317: POP
00003318: POP
00003319: PUSH1 0x20
0000331b: PUSH2 0x3326
0000331e: DUP8
0000331f: DUP3
00003320: DUP9
00003321: ADD
00003322: PUSH2 0x3153
00003325: JUMP
00003326: JUMPDEST
00003327: SWAP4
00003328: POP
00003329: POP
0000332a: PUSH1 0x40
0000332c: PUSH2 0x3337
0000332f: DUP8
00003330: DUP3
00003331: DUP9
00003332: ADD
00003333: PUSH2 0x3218
00003336: JUMP
00003337: JUMPDEST
00003338: SWAP3
00003339: POP
0000333a: POP
0000333b: PUSH1 0x60
0000333d: DUP6
0000333e: ADD
0000333f: CALLDATALOAD
00003340: PUSH8 0xffffffffffffffff
00003349: DUP2
0000334a: GT
0000334b: ISZERO
0000334c: PUSH2 0x3358
0000334f: JUMPI
00003350: PUSH2 0x3357
00003353: PUSH2 0x3f0b
00003356: JUMP
00003357: JUMPDEST
00003358: JUMPDEST
00003359: PUSH2 0x3364
0000335c: DUP8
0000335d: DUP3
0000335e: DUP9
0000335f: ADD
00003360: PUSH2 0x31a7
00003363: JUMP
00003364: JUMPDEST
00003365: SWAP2
00003366: POP
00003367: POP
00003368: SWAP3
00003369: SWAP6
0000336a: SWAP2
0000336b: SWAP5
0000336c: POP
0000336d: SWAP3
0000336e: POP
0000336f: JUMP
00003370: JUMPDEST
00003371: PUSH1 0x00
00003373: DUP1
00003374: PUSH1 0x40
00003376: DUP4
00003377: DUP6
00003378: SUB
00003379: SLT
0000337a: ISZERO
0000337b: PUSH2 0x3387
0000337e: JUMPI
0000337f: PUSH2 0x3386
00003382: PUSH2 0x3f10
00003385: JUMP
00003386: JUMPDEST
00003387: JUMPDEST
00003388: PUSH1 0x00
0000338a: PUSH2 0x3395
0000338d: DUP6
0000338e: DUP3
0000338f: DUP7
00003390: ADD
00003391: PUSH2 0x3153
00003394: JUMP
00003395: JUMPDEST
00003396: SWAP3
00003397: POP
00003398: POP
00003399: PUSH1 0x20
0000339b: PUSH2 0x33a6
0000339e: DUP6
0000339f: DUP3
000033a0: DUP7
000033a1: ADD
000033a2: PUSH2 0x3168
000033a5: JUMP
000033a6: JUMPDEST
000033a7: SWAP2
000033a8: POP
000033a9: POP
000033aa: SWAP3
000033ab: POP
000033ac: SWAP3
000033ad: SWAP1
000033ae: POP
000033af: JUMP
000033b0: JUMPDEST
000033b1: PUSH1 0x00
000033b3: DUP1
000033b4: PUSH1 0x40
000033b6: DUP4
000033b7: DUP6
000033b8: SUB
000033b9: SLT
000033ba: ISZERO
000033bb: PUSH2 0x33c7
000033be: JUMPI
000033bf: PUSH2 0x33c6
000033c2: PUSH2 0x3f10
000033c5: JUMP
000033c6: JUMPDEST
000033c7: JUMPDEST
000033c8: PUSH1 0x00
000033ca: PUSH2 0x33d5
000033cd: DUP6
000033ce: DUP3
000033cf: DUP7
000033d0: ADD
000033d1: PUSH2 0x3153
000033d4: JUMP
000033d5: JUMPDEST
000033d6: SWAP3
000033d7: POP
000033d8: POP
000033d9: PUSH1 0x20
000033db: PUSH2 0x33e6
000033de: DUP6
000033df: DUP3
000033e0: DUP7
000033e1: ADD
000033e2: PUSH2 0x3218
000033e5: JUMP
000033e6: JUMPDEST
000033e7: SWAP2
000033e8: POP
000033e9: POP
000033ea: SWAP3
000033eb: POP
000033ec: SWAP3
000033ed: SWAP1
000033ee: POP
000033ef: JUMP
000033f0: JUMPDEST
000033f1: PUSH1 0x00
000033f3: PUSH1 0x20
000033f5: DUP3
000033f6: DUP5
000033f7: SUB
000033f8: SLT
000033f9: ISZERO
000033fa: PUSH2 0x3406
000033fd: JUMPI
000033fe: PUSH2 0x3405
00003401: PUSH2 0x3f10
00003404: JUMP
00003405: JUMPDEST
00003406: JUMPDEST
00003407: PUSH1 0x00
00003409: PUSH2 0x3414
0000340c: DUP5
0000340d: DUP3
0000340e: DUP6
0000340f: ADD
00003410: PUSH2 0x3168
00003413: JUMP
00003414: JUMPDEST
00003415: SWAP2
00003416: POP
00003417: POP
00003418: SWAP3
00003419: SWAP2
0000341a: POP
0000341b: POP
0000341c: JUMP
0000341d: JUMPDEST
0000341e: PUSH1 0x00
00003420: PUSH1 0x20
00003422: DUP3
00003423: DUP5
00003424: SUB
00003425: SLT
00003426: ISZERO
00003427: PUSH2 0x3433
0000342a: JUMPI
0000342b: PUSH2 0x3432
0000342e: PUSH2 0x3f10
00003431: JUMP
00003432: JUMPDEST
00003433: JUMPDEST
00003434: PUSH1 0x00
00003436: PUSH2 0x3441
00003439: DUP5
0000343a: DUP3
0000343b: DUP6
0000343c: ADD
0000343d: PUSH2 0x317d
00003440: JUMP
00003441: JUMPDEST
00003442: SWAP2
00003443: POP
00003444: POP
00003445: SWAP3
00003446: SWAP2
00003447: POP
00003448: POP
00003449: JUMP
0000344a: JUMPDEST
0000344b: PUSH1 0x00
0000344d: PUSH1 0x20
0000344f: DUP3
00003450: DUP5
00003451: SUB
00003452: SLT
00003453: ISZERO
00003454: PUSH2 0x3460
00003457: JUMPI
00003458: PUSH2 0x345f
0000345b: PUSH2 0x3f10
0000345e: JUMP
0000345f: JUMPDEST
00003460: JUMPDEST
00003461: PUSH1 0x00
00003463: PUSH2 0x346e
00003466: DUP5
00003467: DUP3
00003468: DUP6
00003469: ADD
0000346a: PUSH2 0x3192
0000346d: JUMP
0000346e: JUMPDEST
0000346f: SWAP2
00003470: POP
00003471: POP
00003472: SWAP3
00003473: SWAP2
00003474: POP
00003475: POP
00003476: JUMP
00003477: JUMPDEST
00003478: PUSH1 0x00
0000347a: PUSH1 0x20
0000347c: DUP3
0000347d: DUP5
0000347e: SUB
0000347f: SLT
00003480: ISZERO
00003481: PUSH2 0x348d
00003484: JUMPI
00003485: PUSH2 0x348c
00003488: PUSH2 0x3f10
0000348b: JUMP
0000348c: JUMPDEST
0000348d: JUMPDEST
0000348e: PUSH1 0x00
00003490: PUSH2 0x349b
00003493: DUP5
00003494: DUP3
00003495: DUP6
00003496: ADD
00003497: PUSH2 0x31d5
0000349a: JUMP
0000349b: JUMPDEST
0000349c: SWAP2
0000349d: POP
0000349e: POP
0000349f: SWAP3
000034a0: SWAP2
000034a1: POP
000034a2: POP
000034a3: JUMP
000034a4: JUMPDEST
000034a5: PUSH1 0x00
000034a7: PUSH1 0x20
000034a9: DUP3
000034aa: DUP5
000034ab: SUB
000034ac: SLT
000034ad: ISZERO
000034ae: PUSH2 0x34ba
000034b1: JUMPI
000034b2: PUSH2 0x34b9
000034b5: PUSH2 0x3f10
000034b8: JUMP
000034b9: JUMPDEST
000034ba: JUMPDEST
000034bb: PUSH1 0x00
000034bd: DUP3
000034be: ADD
000034bf: CALLDATALOAD
000034c0: PUSH8 0xffffffffffffffff
000034c9: DUP2
000034ca: GT
000034cb: ISZERO
000034cc: PUSH2 0x34d8
000034cf: JUMPI
000034d0: PUSH2 0x34d7
000034d3: PUSH2 0x3f0b
000034d6: JUMP
000034d7: JUMPDEST
000034d8: JUMPDEST
000034d9: PUSH2 0x34e4
000034dc: DUP5
000034dd: DUP3
000034de: DUP6
000034df: ADD
000034e0: PUSH2 0x31ea
000034e3: JUMP
000034e4: JUMPDEST
000034e5: SWAP2
000034e6: POP
000034e7: POP
000034e8: SWAP3
000034e9: SWAP2
000034ea: POP
000034eb: POP
000034ec: JUMP
000034ed: JUMPDEST
000034ee: PUSH1 0x00
000034f0: PUSH1 0x20
000034f2: DUP3
000034f3: DUP5
000034f4: SUB
000034f5: SLT
000034f6: ISZERO
000034f7: PUSH2 0x3503
000034fa: JUMPI
000034fb: PUSH2 0x3502
000034fe: PUSH2 0x3f10
00003501: JUMP
00003502: JUMPDEST
00003503: JUMPDEST
00003504: PUSH1 0x00
00003506: PUSH2 0x3511
00003509: DUP5
0000350a: DUP3
0000350b: DUP6
0000350c: ADD
0000350d: PUSH2 0x3218
00003510: JUMP
00003511: JUMPDEST
00003512: SWAP2
00003513: POP
00003514: POP
00003515: SWAP3
00003516: SWAP2
00003517: POP
00003518: POP
00003519: JUMP
0000351a: JUMPDEST
0000351b: PUSH2 0x3523
0000351e: DUP2
0000351f: PUSH2 0x3c71
00003522: JUMP
00003523: JUMPDEST
00003524: DUP3
00003525: MSTORE
00003526: POP
00003527: POP
00003528: JUMP
00003529: JUMPDEST
0000352a: PUSH2 0x3532
0000352d: DUP2
0000352e: PUSH2 0x3c83
00003531: JUMP
00003532: JUMPDEST
00003533: DUP3
00003534: MSTORE
00003535: POP
00003536: POP
00003537: JUMP
00003538: JUMPDEST
00003539: PUSH1 0x00
0000353b: PUSH2 0x3543
0000353e: DUP3
0000353f: PUSH2 0x3b0e
00003542: JUMP
00003543: JUMPDEST
00003544: PUSH2 0x354d
00003547: DUP2
00003548: DUP6
00003549: PUSH2 0x3b24
0000354c: JUMP
0000354d: JUMPDEST
0000354e: SWAP4
0000354f: POP
00003550: PUSH2 0x355d
00003553: DUP2
00003554: DUP6
00003555: PUSH1 0x20
00003557: DUP7
00003558: ADD
00003559: PUSH2 0x3d06
0000355c: JUMP
0000355d: JUMPDEST
0000355e: PUSH2 0x3566
00003561: DUP2
00003562: PUSH2 0x3f15
00003565: JUMP
00003566: JUMPDEST
00003567: DUP5
00003568: ADD
00003569: SWAP2
0000356a: POP
0000356b: POP
0000356c: SWAP3
0000356d: SWAP2
0000356e: POP
0000356f: POP
00003570: JUMP
00003571: JUMPDEST
00003572: PUSH1 0x00
00003574: PUSH2 0x357c
00003577: DUP3
00003578: PUSH2 0x3b19
0000357b: JUMP
0000357c: JUMPDEST
0000357d: PUSH2 0x3586
00003580: DUP2
00003581: DUP6
00003582: PUSH2 0x3b40
00003585: JUMP
00003586: JUMPDEST
00003587: SWAP4
00003588: POP
00003589: PUSH2 0x3596
0000358c: DUP2
0000358d: DUP6
0000358e: PUSH1 0x20
00003590: DUP7
00003591: ADD
00003592: PUSH2 0x3d06
00003595: JUMP
00003596: JUMPDEST
00003597: PUSH2 0x359f
0000359a: DUP2
0000359b: PUSH2 0x3f15
0000359e: JUMP
0000359f: JUMPDEST
000035a0: DUP5
000035a1: ADD
000035a2: SWAP2
000035a3: POP
000035a4: POP
000035a5: SWAP3
000035a6: SWAP2
000035a7: POP
000035a8: POP
000035a9: JUMP
000035aa: JUMPDEST
000035ab: PUSH1 0x00
000035ad: PUSH2 0x35b5
000035b0: DUP3
000035b1: PUSH2 0x3b19
000035b4: JUMP
000035b5: JUMPDEST
000035b6: PUSH2 0x35bf
000035b9: DUP2
000035ba: DUP6
000035bb: PUSH2 0x3b51
000035be: JUMP
000035bf: JUMPDEST
000035c0: SWAP4
000035c1: POP
000035c2: PUSH2 0x35cf
000035c5: DUP2
000035c6: DUP6
000035c7: PUSH1 0x20
000035c9: DUP7
000035ca: ADD
000035cb: PUSH2 0x3d06
000035ce: JUMP
000035cf: JUMPDEST
000035d0: DUP1
000035d1: DUP5
000035d2: ADD
000035d3: SWAP2
000035d4: POP
000035d5: POP
000035d6: SWAP3
000035d7: SWAP2
000035d8: POP
000035d9: POP
000035da: JUMP
000035db: JUMPDEST
000035dc: PUSH1 0x00
000035de: DUP2
000035df: SLOAD
000035e0: PUSH2 0x35e8
000035e3: DUP2
000035e4: PUSH2 0x3d39
000035e7: JUMP
000035e8: JUMPDEST
000035e9: PUSH2 0x35f2
000035ec: DUP2
000035ed: DUP7
000035ee: PUSH2 0x3b51
000035f1: JUMP
000035f2: JUMPDEST
000035f3: SWAP5
000035f4: POP
000035f5: PUSH1 0x01
000035f7: DUP3
000035f8: AND
000035f9: PUSH1 0x00
000035fb: DUP2
000035fc: EQ
000035fd: PUSH2 0x360d
00003600: JUMPI
00003601: PUSH1 0x01
00003603: DUP2
00003604: EQ
00003605: PUSH2 0x361e
00003608: JUMPI
00003609: PUSH2 0x3651
0000360c: JUMP
0000360d: JUMPDEST
0000360e: PUSH1 0xff
00003610: NOT
00003611: DUP4
00003612: AND
00003613: DUP7
00003614: MSTORE
00003615: DUP2
00003616: DUP7
00003617: ADD
00003618: SWAP4
00003619: POP
0000361a: PUSH2 0x3651
0000361d: JUMP
0000361e: JUMPDEST
0000361f: PUSH2 0x3627
00003622: DUP6
00003623: PUSH2 0x3af9
00003626: JUMP
00003627: JUMPDEST
00003628: PUSH1 0x00
0000362a: JUMPDEST
0000362b: DUP4
0000362c: DUP2
0000362d: LT
0000362e: ISZERO
0000362f: PUSH2 0x3649
00003632: JUMPI
00003633: DUP2
00003634: SLOAD
00003635: DUP2
00003636: DUP10
00003637: ADD
00003638: MSTORE
00003639: PUSH1 0x01
0000363b: DUP3
0000363c: ADD
0000363d: SWAP2
0000363e: POP
0000363f: PUSH1 0x20
00003641: DUP2
00003642: ADD
00003643: SWAP1
00003644: POP
00003645: PUSH2 0x362a
00003648: JUMP
00003649: JUMPDEST
0000364a: DUP4
0000364b: DUP9
0000364c: ADD
0000364d: SWAP6
0000364e: POP
0000364f: POP
00003650: POP
00003651: JUMPDEST
00003652: POP
00003653: POP
00003654: POP
00003655: SWAP3
00003656: SWAP2
00003657: POP
00003658: POP
00003659: JUMP
0000365a: JUMPDEST
0000365b: PUSH1 0x00
0000365d: PUSH2 0x3667
00003660: PUSH1 0x06
00003662: DUP4
00003663: PUSH2 0x3b40
00003666: JUMP
00003667: JUMPDEST
00003668: SWAP2
00003669: POP
0000366a: PUSH2 0x3672
0000366d: DUP3
0000366e: PUSH2 0x3f26
00003671: JUMP
00003672: JUMPDEST
00003673: PUSH1 0x20
00003675: DUP3
00003676: ADD
00003677: SWAP1
00003678: POP
00003679: SWAP2
0000367a: SWAP1
0000367b: POP
0000367c: JUMP
0000367d: JUMPDEST
0000367e: PUSH1 0x00
00003680: PUSH2 0x368a
00003683: PUSH1 0x26
00003685: DUP4
00003686: PUSH2 0x3b40
00003689: JUMP
0000368a: JUMPDEST
0000368b: SWAP2
0000368c: POP
0000368d: PUSH2 0x3695
00003690: DUP3
00003691: PUSH2 0x3f4f
00003694: JUMP
00003695: JUMPDEST
00003696: PUSH1 0x40
00003698: DUP3
00003699: ADD
0000369a: SWAP1
0000369b: POP
0000369c: SWAP2
0000369d: SWAP1
0000369e: POP
0000369f: JUMP
000036a0: JUMPDEST
000036a1: PUSH1 0x00
000036a3: PUSH2 0x36ad
000036a6: PUSH1 0x0a
000036a8: DUP4
000036a9: PUSH2 0x3b40
000036ac: JUMP
000036ad: JUMPDEST
000036ae: SWAP2
000036af: POP
000036b0: PUSH2 0x36b8
000036b3: DUP3
000036b4: PUSH2 0x3f9e
000036b7: JUMP
000036b8: JUMPDEST
000036b9: PUSH1 0x20
000036bb: DUP3
000036bc: ADD
000036bd: SWAP1
000036be: POP
000036bf: SWAP2
000036c0: SWAP1
000036c1: POP
000036c2: JUMP
000036c3: JUMPDEST
000036c4: PUSH1 0x00
000036c6: PUSH2 0x36d0
000036c9: PUSH1 0x16
000036cb: DUP4
000036cc: PUSH2 0x3b40
000036cf: JUMP
000036d0: JUMPDEST
000036d1: SWAP2
000036d2: POP
000036d3: PUSH2 0x36db
000036d6: DUP3
000036d7: PUSH2 0x3fc7
000036da: JUMP
000036db: JUMPDEST
000036dc: PUSH1 0x20
000036de: DUP3
000036df: ADD
000036e0: SWAP1
000036e1: POP
000036e2: SWAP2
000036e3: SWAP1
000036e4: POP
000036e5: JUMP
000036e6: JUMPDEST
000036e7: PUSH1 0x00
000036e9: PUSH2 0x36f3
000036ec: PUSH1 0x16
000036ee: DUP4
000036ef: PUSH2 0x3b40
000036f2: JUMP
000036f3: JUMPDEST
000036f4: SWAP2
000036f5: POP
000036f6: PUSH2 0x36fe
000036f9: DUP3
000036fa: PUSH2 0x3ff0
000036fd: JUMP
000036fe: JUMPDEST
000036ff: PUSH1 0x20
00003701: DUP3
00003702: ADD
00003703: SWAP1
00003704: POP
00003705: SWAP2
00003706: SWAP1
00003707: POP
00003708: JUMP
00003709: JUMPDEST
0000370a: PUSH1 0x00
0000370c: PUSH2 0x3716
0000370f: PUSH1 0x12
00003711: DUP4
00003712: PUSH2 0x3b40
00003715: JUMP
00003716: JUMPDEST
00003717: SWAP2
00003718: POP
00003719: PUSH2 0x3721
0000371c: DUP3
0000371d: PUSH2 0x4019
00003720: JUMP
00003721: JUMPDEST
00003722: PUSH1 0x20
00003724: DUP3
00003725: ADD
00003726: SWAP1
00003727: POP
00003728: SWAP2
00003729: SWAP1
0000372a: POP
0000372b: JUMP
0000372c: JUMPDEST
0000372d: PUSH1 0x00
0000372f: PUSH2 0x3739
00003732: PUSH1 0x15
00003734: DUP4
00003735: PUSH2 0x3b40
00003738: JUMP
00003739: JUMPDEST
0000373a: SWAP2
0000373b: POP
0000373c: PUSH2 0x3744
0000373f: DUP3
00003740: PUSH2 0x4042
00003743: JUMP
00003744: JUMPDEST
00003745: PUSH1 0x20
00003747: DUP3
00003748: ADD
00003749: SWAP1
0000374a: POP
0000374b: SWAP2
0000374c: SWAP1
0000374d: POP
0000374e: JUMP
0000374f: JUMPDEST
00003750: PUSH1 0x00
00003752: PUSH2 0x375c
00003755: PUSH1 0x20
00003757: DUP4
00003758: PUSH2 0x3b40
0000375b: JUMP
0000375c: JUMPDEST
0000375d: SWAP2
0000375e: POP
0000375f: PUSH2 0x3767
00003762: DUP3
00003763: PUSH2 0x406b
00003766: JUMP
00003767: JUMPDEST
00003768: PUSH1 0x20
0000376a: DUP3
0000376b: ADD
0000376c: SWAP1
0000376d: POP
0000376e: SWAP2
0000376f: SWAP1
00003770: POP
00003771: JUMP
00003772: JUMPDEST
00003773: PUSH1 0x00
00003775: PUSH2 0x377f
00003778: PUSH1 0x16
0000377a: DUP4
0000377b: PUSH2 0x3b40
0000377e: JUMP
0000377f: JUMPDEST
00003780: SWAP2
00003781: POP
00003782: PUSH2 0x378a
00003785: DUP3
00003786: PUSH2 0x4094
00003789: JUMP
0000378a: JUMPDEST
0000378b: PUSH1 0x20
0000378d: DUP3
0000378e: ADD
0000378f: SWAP1
00003790: POP
00003791: SWAP2
00003792: SWAP1
00003793: POP
00003794: JUMP
00003795: JUMPDEST
00003796: PUSH1 0x00
00003798: PUSH2 0x37a2
0000379b: PUSH1 0x00
0000379d: DUP4
0000379e: PUSH2 0x3b35
000037a1: JUMP
000037a2: JUMPDEST
000037a3: SWAP2
000037a4: POP
000037a5: PUSH2 0x37ad
000037a8: DUP3
000037a9: PUSH2 0x40bd
000037ac: JUMP
000037ad: JUMPDEST
000037ae: PUSH1 0x00
000037b0: DUP3
000037b1: ADD
000037b2: SWAP1
000037b3: POP
000037b4: SWAP2
000037b5: SWAP1
000037b6: POP
000037b7: JUMP
000037b8: JUMPDEST
000037b9: PUSH1 0x00
000037bb: PUSH2 0x37c5
000037be: PUSH1 0x0e
000037c0: DUP4
000037c1: PUSH2 0x3b40
000037c4: JUMP
000037c5: JUMPDEST
000037c6: SWAP2
000037c7: POP
000037c8: PUSH2 0x37d0
000037cb: DUP3
000037cc: PUSH2 0x40c0
000037cf: JUMP
000037d0: JUMPDEST
000037d1: PUSH1 0x20
000037d3: DUP3
000037d4: ADD
000037d5: SWAP1
000037d6: POP
000037d7: SWAP2
000037d8: SWAP1
000037d9: POP
000037da: JUMP
000037db: JUMPDEST
000037dc: PUSH1 0x00
000037de: PUSH2 0x37e8
000037e1: PUSH1 0x0c
000037e3: DUP4
000037e4: PUSH2 0x3b40
000037e7: JUMP
000037e8: JUMPDEST
000037e9: SWAP2
000037ea: POP
000037eb: PUSH2 0x37f3
000037ee: DUP3
000037ef: PUSH2 0x40e9
000037f2: JUMP
000037f3: JUMPDEST
000037f4: PUSH1 0x20
000037f6: DUP3
000037f7: ADD
000037f8: SWAP1
000037f9: POP
000037fa: SWAP2
000037fb: SWAP1
000037fc: POP
000037fd: JUMP
000037fe: JUMPDEST
000037ff: PUSH2 0x3807
00003802: DUP2
00003803: PUSH2 0x3ced
00003806: JUMP
00003807: JUMPDEST
00003808: DUP3
00003809: MSTORE
0000380a: POP
0000380b: POP
0000380c: JUMP
0000380d: JUMPDEST
0000380e: PUSH1 0x00
00003810: PUSH2 0x3819
00003813: DUP3
00003814: DUP7
00003815: PUSH2 0x35db
00003818: JUMP
00003819: JUMPDEST
0000381a: SWAP2
0000381b: POP
0000381c: PUSH2 0x3825
0000381f: DUP3
00003820: DUP6
00003821: PUSH2 0x35aa
00003824: JUMP
00003825: JUMPDEST
00003826: SWAP2
00003827: POP
00003828: PUSH2 0x3831
0000382b: DUP3
0000382c: DUP5
0000382d: PUSH2 0x35aa
00003830: JUMP
00003831: JUMPDEST
00003832: SWAP2
00003833: POP
00003834: DUP2
00003835: SWAP1
00003836: POP
00003837: SWAP5
00003838: SWAP4
00003839: POP
0000383a: POP
0000383b: POP
0000383c: POP
0000383d: JUMP
0000383e: JUMPDEST
0000383f: PUSH1 0x00
00003841: PUSH2 0x3849
00003844: DUP3
00003845: PUSH2 0x3795
00003848: JUMP
00003849: JUMPDEST
0000384a: SWAP2
0000384b: POP
0000384c: DUP2
0000384d: SWAP1
0000384e: POP
0000384f: SWAP2
00003850: SWAP1
00003851: POP
00003852: JUMP
00003853: JUMPDEST
00003854: PUSH1 0x00
00003856: PUSH1 0x20
00003858: DUP3
00003859: ADD
0000385a: SWAP1
0000385b: POP
0000385c: PUSH2 0x3868
0000385f: PUSH1 0x00
00003861: DUP4
00003862: ADD
00003863: DUP5
00003864: PUSH2 0x351a
00003867: JUMP
00003868: JUMPDEST
00003869: SWAP3
0000386a: SWAP2
0000386b: POP
0000386c: POP
0000386d: JUMP
0000386e: JUMPDEST
0000386f: PUSH1 0x00
00003871: PUSH1 0x80
00003873: DUP3
00003874: ADD
00003875: SWAP1
00003876: POP
00003877: PUSH2 0x3883
0000387a: PUSH1 0x00
0000387c: DUP4
0000387d: ADD
0000387e: DUP8
0000387f: PUSH2 0x351a
00003882: JUMP
00003883: JUMPDEST
00003884: PUSH2 0x3890
00003887: PUSH1 0x20
00003889: DUP4
0000388a: ADD
0000388b: DUP7
0000388c: PUSH2 0x351a
0000388f: JUMP
00003890: JUMPDEST
00003891: PUSH2 0x389d
00003894: PUSH1 0x40
00003896: DUP4
00003897: ADD
00003898: DUP6
00003899: PUSH2 0x37fe
0000389c: JUMP
0000389d: JUMPDEST
0000389e: DUP2
0000389f: DUP2
000038a0: SUB
000038a1: PUSH1 0x60
000038a3: DUP4
000038a4: ADD
000038a5: MSTORE
000038a6: PUSH2 0x38af
000038a9: DUP2
000038aa: DUP5
000038ab: PUSH2 0x3538
000038ae: JUMP
000038af: JUMPDEST
000038b0: SWAP1
000038b1: POP
000038b2: SWAP6
000038b3: SWAP5
000038b4: POP
000038b5: POP
000038b6: POP
000038b7: POP
000038b8: POP
000038b9: JUMP
000038ba: JUMPDEST
000038bb: PUSH1 0x00
000038bd: PUSH1 0x20
000038bf: DUP3
000038c0: ADD
000038c1: SWAP1
000038c2: POP
000038c3: PUSH2 0x38cf
000038c6: PUSH1 0x00
000038c8: DUP4
000038c9: ADD
000038ca: DUP5
000038cb: PUSH2 0x3529
000038ce: JUMP
000038cf: JUMPDEST
000038d0: SWAP3
000038d1: SWAP2
000038d2: POP
000038d3: POP
000038d4: JUMP
000038d5: JUMPDEST
000038d6: PUSH1 0x00
000038d8: PUSH1 0x20
000038da: DUP3
000038db: ADD
000038dc: SWAP1
000038dd: POP
000038de: DUP2
000038df: DUP2
000038e0: SUB
000038e1: PUSH1 0x00
000038e3: DUP4
000038e4: ADD
000038e5: MSTORE
000038e6: PUSH2 0x38ef
000038e9: DUP2
000038ea: DUP5
000038eb: PUSH2 0x3571
000038ee: JUMP
000038ef: JUMPDEST
000038f0: SWAP1
000038f1: POP
000038f2: SWAP3
000038f3: SWAP2
000038f4: POP
000038f5: POP
000038f6: JUMP
000038f7: JUMPDEST
000038f8: PUSH1 0x00
000038fa: PUSH1 0x20
000038fc: DUP3
000038fd: ADD
000038fe: SWAP1
000038ff: POP
00003900: DUP2
00003901: DUP2
00003902: SUB
00003903: PUSH1 0x00
00003905: DUP4
00003906: ADD
00003907: MSTORE
00003908: PUSH2 0x3910
0000390b: DUP2
0000390c: PUSH2 0x365a
0000390f: JUMP
00003910: JUMPDEST
00003911: SWAP1
00003912: POP
00003913: SWAP2
00003914: SWAP1
00003915: POP
00003916: JUMP
00003917: JUMPDEST
00003918: PUSH1 0x00
0000391a: PUSH1 0x20
0000391c: DUP3
0000391d: ADD
0000391e: SWAP1
0000391f: POP
00003920: DUP2
00003921: DUP2
00003922: SUB
00003923: PUSH1 0x00
00003925: DUP4
00003926: ADD
00003927: MSTORE
00003928: PUSH2 0x3930
0000392b: DUP2
0000392c: PUSH2 0x367d
0000392f: JUMP
00003930: JUMPDEST
00003931: SWAP1
00003932: POP
00003933: SWAP2
00003934: SWAP1
00003935: POP
00003936: JUMP
00003937: JUMPDEST
00003938: PUSH1 0x00
0000393a: PUSH1 0x20
0000393c: DUP3
0000393d: ADD
0000393e: SWAP1
0000393f: POP
00003940: DUP2
00003941: DUP2
00003942: SUB
00003943: PUSH1 0x00
00003945: DUP4
00003946: ADD
00003947: MSTORE
00003948: PUSH2 0x3950
0000394b: DUP2
0000394c: PUSH2 0x36a0
0000394f: JUMP
00003950: JUMPDEST
00003951: SWAP1
00003952: POP
00003953: SWAP2
00003954: SWAP1
00003955: POP
00003956: JUMP
00003957: JUMPDEST
00003958: PUSH1 0x00
0000395a: PUSH1 0x20
0000395c: DUP3
0000395d: ADD
0000395e: SWAP1
0000395f: POP
00003960: DUP2
00003961: DUP2
00003962: SUB
00003963: PUSH1 0x00
00003965: DUP4
00003966: ADD
00003967: MSTORE
00003968: PUSH2 0x3970
0000396b: DUP2
0000396c: PUSH2 0x36c3
0000396f: JUMP
00003970: JUMPDEST
00003971: SWAP1
00003972: POP
00003973: SWAP2
00003974: SWAP1
00003975: POP
00003976: JUMP
00003977: JUMPDEST
00003978: PUSH1 0x00
0000397a: PUSH1 0x20
0000397c: DUP3
0000397d: ADD
0000397e: SWAP1
0000397f: POP
00003980: DUP2
00003981: DUP2
00003982: SUB
00003983: PUSH1 0x00
00003985: DUP4
00003986: ADD
00003987: MSTORE
00003988: PUSH2 0x3990
0000398b: DUP2
0000398c: PUSH2 0x36e6
0000398f: JUMP
00003990: JUMPDEST
00003991: SWAP1
00003992: POP
00003993: SWAP2
00003994: SWAP1
00003995: POP
00003996: JUMP
00003997: JUMPDEST
00003998: PUSH1 0x00
0000399a: PUSH1 0x20
0000399c: DUP3
0000399d: ADD
0000399e: SWAP1
0000399f: POP
000039a0: DUP2
000039a1: DUP2
000039a2: SUB
000039a3: PUSH1 0x00
000039a5: DUP4
000039a6: ADD
000039a7: MSTORE
000039a8: PUSH2 0x39b0
000039ab: DUP2
000039ac: PUSH2 0x3709
000039af: JUMP
000039b0: JUMPDEST
000039b1: SWAP1
000039b2: POP
000039b3: SWAP2
000039b4: SWAP1
000039b5: POP
000039b6: JUMP
000039b7: JUMPDEST
000039b8: PUSH1 0x00
000039ba: PUSH1 0x20
000039bc: DUP3
000039bd: ADD
000039be: SWAP1
000039bf: POP
000039c0: DUP2
000039c1: DUP2
000039c2: SUB
000039c3: PUSH1 0x00
000039c5: DUP4
000039c6: ADD
000039c7: MSTORE
000039c8: PUSH2 0x39d0
000039cb: DUP2
000039cc: PUSH2 0x372c
000039cf: JUMP
000039d0: JUMPDEST
000039d1: SWAP1
000039d2: POP
000039d3: SWAP2
000039d4: SWAP1
000039d5: POP
000039d6: JUMP
000039d7: JUMPDEST
000039d8: PUSH1 0x00
000039da: PUSH1 0x20
000039dc: DUP3
000039dd: ADD
000039de: SWAP1
000039df: POP
000039e0: DUP2
000039e1: DUP2
000039e2: SUB
000039e3: PUSH1 0x00
000039e5: DUP4
000039e6: ADD
000039e7: MSTORE
000039e8: PUSH2 0x39f0
000039eb: DUP2
000039ec: PUSH2 0x374f
000039ef: JUMP
000039f0: JUMPDEST
000039f1: SWAP1
000039f2: POP
000039f3: SWAP2
000039f4: SWAP1
000039f5: POP
000039f6: JUMP
000039f7: JUMPDEST
000039f8: PUSH1 0x00
000039fa: PUSH1 0x20
000039fc: DUP3
000039fd: ADD
000039fe: SWAP1
000039ff: POP
00003a00: DUP2
00003a01: DUP2
00003a02: SUB
00003a03: PUSH1 0x00
00003a05: DUP4
00003a06: ADD
00003a07: MSTORE
00003a08: PUSH2 0x3a10
00003a0b: DUP2
00003a0c: PUSH2 0x3772
00003a0f: JUMP
00003a10: JUMPDEST
00003a11: SWAP1
00003a12: POP
00003a13: SWAP2
00003a14: SWAP1
00003a15: POP
00003a16: JUMP
00003a17: JUMPDEST
00003a18: PUSH1 0x00
00003a1a: PUSH1 0x20
00003a1c: DUP3
00003a1d: ADD
00003a1e: SWAP1
00003a1f: POP
00003a20: DUP2
00003a21: DUP2
00003a22: SUB
00003a23: PUSH1 0x00
00003a25: DUP4
00003a26: ADD
00003a27: MSTORE
00003a28: PUSH2 0x3a30
00003a2b: DUP2
00003a2c: PUSH2 0x37b8
00003a2f: JUMP
00003a30: JUMPDEST
00003a31: SWAP1
00003a32: POP
00003a33: SWAP2
00003a34: SWAP1
00003a35: POP
00003a36: JUMP
00003a37: JUMPDEST
00003a38: PUSH1 0x00
00003a3a: PUSH1 0x20
00003a3c: DUP3
00003a3d: ADD
00003a3e: SWAP1
00003a3f: POP
00003a40: DUP2
00003a41: DUP2
00003a42: SUB
00003a43: PUSH1 0x00
00003a45: DUP4
00003a46: ADD
00003a47: MSTORE
00003a48: PUSH2 0x3a50
00003a4b: DUP2
00003a4c: PUSH2 0x37db
00003a4f: JUMP
00003a50: JUMPDEST
00003a51: SWAP1
00003a52: POP
00003a53: SWAP2
00003a54: SWAP1
00003a55: POP
00003a56: JUMP
00003a57: JUMPDEST
00003a58: PUSH1 0x00
00003a5a: PUSH1 0x20
00003a5c: DUP3
00003a5d: ADD
00003a5e: SWAP1
00003a5f: POP
00003a60: PUSH2 0x3a6c
00003a63: PUSH1 0x00
00003a65: DUP4
00003a66: ADD
00003a67: DUP5
00003a68: PUSH2 0x37fe
00003a6b: JUMP
00003a6c: JUMPDEST
00003a6d: SWAP3
00003a6e: SWAP2
00003a6f: POP
00003a70: POP
00003a71: JUMP
00003a72: JUMPDEST
00003a73: PUSH1 0x00
00003a75: PUSH2 0x3a7c
00003a78: PUSH2 0x3a8d
00003a7b: JUMP
00003a7c: JUMPDEST
00003a7d: SWAP1
00003a7e: POP
00003a7f: PUSH2 0x3a88
00003a82: DUP3
00003a83: DUP3
00003a84: PUSH2 0x3d6b
00003a87: JUMP
00003a88: JUMPDEST
00003a89: SWAP2
00003a8a: SWAP1
00003a8b: POP
00003a8c: JUMP
00003a8d: JUMPDEST
00003a8e: PUSH1 0x00
00003a90: PUSH1 0x40
00003a92: MLOAD
00003a93: SWAP1
00003a94: POP
00003a95: SWAP1
00003a96: JUMP
00003a97: JUMPDEST
00003a98: PUSH1 0x00
00003a9a: PUSH8 0xffffffffffffffff
00003aa3: DUP3
00003aa4: GT
00003aa5: ISZERO
00003aa6: PUSH2 0x3ab2
00003aa9: JUMPI
00003aaa: PUSH2 0x3ab1
00003aad: PUSH2 0x3ed2
00003ab0: JUMP
00003ab1: JUMPDEST
00003ab2: JUMPDEST
00003ab3: PUSH2 0x3abb
00003ab6: DUP3
00003ab7: PUSH2 0x3f15
00003aba: JUMP
00003abb: JUMPDEST
00003abc: SWAP1
00003abd: POP
00003abe: PUSH1 0x20
00003ac0: DUP2
00003ac1: ADD
00003ac2: SWAP1
00003ac3: POP
00003ac4: SWAP2
00003ac5: SWAP1
00003ac6: POP
00003ac7: JUMP
00003ac8: JUMPDEST
00003ac9: PUSH1 0x00
00003acb: PUSH8 0xffffffffffffffff
00003ad4: DUP3
00003ad5: GT
00003ad6: ISZERO
00003ad7: PUSH2 0x3ae3
00003ada: JUMPI
00003adb: PUSH2 0x3ae2
00003ade: PUSH2 0x3ed2
00003ae1: JUMP
00003ae2: JUMPDEST
00003ae3: JUMPDEST
00003ae4: PUSH2 0x3aec
00003ae7: DUP3
00003ae8: PUSH2 0x3f15
00003aeb: JUMP
00003aec: JUMPDEST
00003aed: SWAP1
00003aee: POP
00003aef: PUSH1 0x20
00003af1: DUP2
00003af2: ADD
00003af3: SWAP1
00003af4: POP
00003af5: SWAP2
00003af6: SWAP1
00003af7: POP
00003af8: JUMP
00003af9: JUMPDEST
00003afa: PUSH1 0x00
00003afc: DUP2
00003afd: SWAP1
00003afe: POP
00003aff: DUP2
00003b00: PUSH1 0x00
00003b02: MSTORE
00003b03: PUSH1 0x20
00003b05: PUSH1 0x00
00003b07: KECCAK256
00003b08: SWAP1
00003b09: POP
00003b0a: SWAP2
00003b0b: SWAP1
00003b0c: POP
00003b0d: JUMP
00003b0e: JUMPDEST
00003b0f: PUSH1 0x00
00003b11: DUP2
00003b12: MLOAD
00003b13: SWAP1
00003b14: POP
00003b15: SWAP2
00003b16: SWAP1
00003b17: POP
00003b18: JUMP
00003b19: JUMPDEST
00003b1a: PUSH1 0x00
00003b1c: DUP2
00003b1d: MLOAD
00003b1e: SWAP1
00003b1f: POP
00003b20: SWAP2
00003b21: SWAP1
00003b22: POP
00003b23: JUMP
00003b24: JUMPDEST
00003b25: PUSH1 0x00
00003b27: DUP3
00003b28: DUP3
00003b29: MSTORE
00003b2a: PUSH1 0x20
00003b2c: DUP3
00003b2d: ADD
00003b2e: SWAP1
00003b2f: POP
00003b30: SWAP3
00003b31: SWAP2
00003b32: POP
00003b33: POP
00003b34: JUMP
00003b35: JUMPDEST
00003b36: PUSH1 0x00
00003b38: DUP2
00003b39: SWAP1
00003b3a: POP
00003b3b: SWAP3
00003b3c: SWAP2
00003b3d: POP
00003b3e: POP
00003b3f: JUMP
00003b40: JUMPDEST
00003b41: PUSH1 0x00
00003b43: DUP3
00003b44: DUP3
00003b45: MSTORE
00003b46: PUSH1 0x20
00003b48: DUP3
00003b49: ADD
00003b4a: SWAP1
00003b4b: POP
00003b4c: SWAP3
00003b4d: SWAP2
00003b4e: POP
00003b4f: POP
00003b50: JUMP
00003b51: JUMPDEST
00003b52: PUSH1 0x00
00003b54: DUP2
00003b55: SWAP1
00003b56: POP
00003b57: SWAP3
00003b58: SWAP2
00003b59: POP
00003b5a: POP
00003b5b: JUMP
00003b5c: JUMPDEST
00003b5d: PUSH1 0x00
00003b5f: PUSH2 0x3b67
00003b62: DUP3
00003b63: PUSH2 0x3ced
00003b66: JUMP
00003b67: JUMPDEST
00003b68: SWAP2
00003b69: POP
00003b6a: PUSH2 0x3b72
00003b6d: DUP4
00003b6e: PUSH2 0x3ced
00003b71: JUMP
00003b72: JUMPDEST
00003b73: SWAP3
00003b74: POP
00003b75: DUP3
00003b76: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003b97: SUB
00003b98: DUP3
00003b99: GT
00003b9a: ISZERO
00003b9b: PUSH2 0x3ba7
00003b9e: JUMPI
00003b9f: PUSH2 0x3ba6
00003ba2: PUSH2 0x3e16
00003ba5: JUMP
00003ba6: JUMPDEST
00003ba7: JUMPDEST
00003ba8: DUP3
00003ba9: DUP3
00003baa: ADD
00003bab: SWAP1
00003bac: POP
00003bad: SWAP3
00003bae: SWAP2
00003baf: POP
00003bb0: POP
00003bb1: JUMP
00003bb2: JUMPDEST
00003bb3: PUSH1 0x00
00003bb5: PUSH2 0x3bbd
00003bb8: DUP3
00003bb9: PUSH2 0x3ced
00003bbc: JUMP
00003bbd: JUMPDEST
00003bbe: SWAP2
00003bbf: POP
00003bc0: PUSH2 0x3bc8
00003bc3: DUP4
00003bc4: PUSH2 0x3ced
00003bc7: JUMP
00003bc8: JUMPDEST
00003bc9: SWAP3
00003bca: POP
00003bcb: DUP3
00003bcc: PUSH2 0x3bd8
00003bcf: JUMPI
00003bd0: PUSH2 0x3bd7
00003bd3: PUSH2 0x3e45
00003bd6: JUMP
00003bd7: JUMPDEST
00003bd8: JUMPDEST
00003bd9: DUP3
00003bda: DUP3
00003bdb: DIV
00003bdc: SWAP1
00003bdd: POP
00003bde: SWAP3
00003bdf: SWAP2
00003be0: POP
00003be1: POP
00003be2: JUMP
00003be3: JUMPDEST
00003be4: PUSH1 0x00
00003be6: PUSH2 0x3bee
00003be9: DUP3
00003bea: PUSH2 0x3ced
00003bed: JUMP
00003bee: JUMPDEST
00003bef: SWAP2
00003bf0: POP
00003bf1: PUSH2 0x3bf9
00003bf4: DUP4
00003bf5: PUSH2 0x3ced
00003bf8: JUMP
00003bf9: JUMPDEST
00003bfa: SWAP3
00003bfb: POP
00003bfc: DUP2
00003bfd: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003c1e: DIV
00003c1f: DUP4
00003c20: GT
00003c21: DUP3
00003c22: ISZERO
00003c23: ISZERO
00003c24: AND
00003c25: ISZERO
00003c26: PUSH2 0x3c32
00003c29: JUMPI
00003c2a: PUSH2 0x3c31
00003c2d: PUSH2 0x3e16
00003c30: JUMP
00003c31: JUMPDEST
00003c32: JUMPDEST
00003c33: DUP3
00003c34: DUP3
00003c35: MUL
00003c36: SWAP1
00003c37: POP
00003c38: SWAP3
00003c39: SWAP2
00003c3a: POP
00003c3b: POP
00003c3c: JUMP
00003c3d: JUMPDEST
00003c3e: PUSH1 0x00
00003c40: PUSH2 0x3c48
00003c43: DUP3
00003c44: PUSH2 0x3ced
00003c47: JUMP
00003c48: JUMPDEST
00003c49: SWAP2
00003c4a: POP
00003c4b: PUSH2 0x3c53
00003c4e: DUP4
00003c4f: PUSH2 0x3ced
00003c52: JUMP
00003c53: JUMPDEST
00003c54: SWAP3
00003c55: POP
00003c56: DUP3
00003c57: DUP3
00003c58: LT
00003c59: ISZERO
00003c5a: PUSH2 0x3c66
00003c5d: JUMPI
00003c5e: PUSH2 0x3c65
00003c61: PUSH2 0x3e16
00003c64: JUMP
00003c65: JUMPDEST
00003c66: JUMPDEST
00003c67: DUP3
00003c68: DUP3
00003c69: SUB
00003c6a: SWAP1
00003c6b: POP
00003c6c: SWAP3
00003c6d: SWAP2
00003c6e: POP
00003c6f: POP
00003c70: JUMP
00003c71: JUMPDEST
00003c72: PUSH1 0x00
00003c74: PUSH2 0x3c7c
00003c77: DUP3
00003c78: PUSH2 0x3ccd
00003c7b: JUMP
00003c7c: JUMPDEST
00003c7d: SWAP1
00003c7e: POP
00003c7f: SWAP2
00003c80: SWAP1
00003c81: POP
00003c82: JUMP
00003c83: JUMPDEST
00003c84: PUSH1 0x00
00003c86: DUP2
00003c87: ISZERO
00003c88: ISZERO
00003c89: SWAP1
00003c8a: POP
00003c8b: SWAP2
00003c8c: SWAP1
00003c8d: POP
00003c8e: JUMP
00003c8f: JUMPDEST
00003c90: PUSH1 0x00
00003c92: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00003cb3: DUP3
00003cb4: AND
00003cb5: SWAP1
00003cb6: POP
00003cb7: SWAP2
00003cb8: SWAP1
00003cb9: POP
00003cba: JUMP
00003cbb: JUMPDEST
00003cbc: PUSH1 0x00
00003cbe: PUSH2 0x3cc6
00003cc1: DUP3
00003cc2: PUSH2 0x3c71
00003cc5: JUMP
00003cc6: JUMPDEST
00003cc7: SWAP1
00003cc8: POP
00003cc9: SWAP2
00003cca: SWAP1
00003ccb: POP
00003ccc: JUMP
00003ccd: JUMPDEST
00003cce: PUSH1 0x00
00003cd0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ce5: DUP3
00003ce6: AND
00003ce7: SWAP1
00003ce8: POP
00003ce9: SWAP2
00003cea: SWAP1
00003ceb: POP
00003cec: JUMP
00003ced: JUMPDEST
00003cee: PUSH1 0x00
00003cf0: DUP2
00003cf1: SWAP1
00003cf2: POP
00003cf3: SWAP2
00003cf4: SWAP1
00003cf5: POP
00003cf6: JUMP
00003cf7: JUMPDEST
00003cf8: DUP3
00003cf9: DUP2
00003cfa: DUP4
00003cfb: CALLDATACOPY
00003cfc: PUSH1 0x00
00003cfe: DUP4
00003cff: DUP4
00003d00: ADD
00003d01: MSTORE
00003d02: POP
00003d03: POP
00003d04: POP
00003d05: JUMP
00003d06: JUMPDEST
00003d07: PUSH1 0x00
00003d09: JUMPDEST
00003d0a: DUP4
00003d0b: DUP2
00003d0c: LT
00003d0d: ISZERO
00003d0e: PUSH2 0x3d24
00003d11: JUMPI
00003d12: DUP1
00003d13: DUP3
00003d14: ADD
00003d15: MLOAD
00003d16: DUP2
00003d17: DUP5
00003d18: ADD
00003d19: MSTORE
00003d1a: PUSH1 0x20
00003d1c: DUP2
00003d1d: ADD
00003d1e: SWAP1
00003d1f: POP
00003d20: PUSH2 0x3d09
00003d23: JUMP
00003d24: JUMPDEST
00003d25: DUP4
00003d26: DUP2
00003d27: GT
00003d28: ISZERO
00003d29: PUSH2 0x3d33
00003d2c: JUMPI
00003d2d: PUSH1 0x00
00003d2f: DUP5
00003d30: DUP5
00003d31: ADD
00003d32: MSTORE
00003d33: JUMPDEST
00003d34: POP
00003d35: POP
00003d36: POP
00003d37: POP
00003d38: JUMP
00003d39: JUMPDEST
00003d3a: PUSH1 0x00
00003d3c: PUSH1 0x02
00003d3e: DUP3
00003d3f: DIV
00003d40: SWAP1
00003d41: POP
00003d42: PUSH1 0x01
00003d44: DUP3
00003d45: AND
00003d46: DUP1
00003d47: PUSH2 0x3d51
00003d4a: JUMPI
00003d4b: PUSH1 0x7f
00003d4d: DUP3
00003d4e: AND
00003d4f: SWAP2
00003d50: POP
00003d51: JUMPDEST
00003d52: PUSH1 0x20
00003d54: DUP3
00003d55: LT
00003d56: DUP2
00003d57: EQ
00003d58: ISZERO
00003d59: PUSH2 0x3d65
00003d5c: JUMPI
00003d5d: PUSH2 0x3d64
00003d60: PUSH2 0x3e74
00003d63: JUMP
00003d64: JUMPDEST
00003d65: JUMPDEST
00003d66: POP
00003d67: SWAP2
00003d68: SWAP1
00003d69: POP
00003d6a: JUMP
00003d6b: JUMPDEST
00003d6c: PUSH2 0x3d74
00003d6f: DUP3
00003d70: PUSH2 0x3f15
00003d73: JUMP
00003d74: JUMPDEST
00003d75: DUP2
00003d76: ADD
00003d77: DUP2
00003d78: DUP2
00003d79: LT
00003d7a: PUSH8 0xffffffffffffffff
00003d83: DUP3
00003d84: GT
00003d85: OR
00003d86: ISZERO
00003d87: PUSH2 0x3d93
00003d8a: JUMPI
00003d8b: PUSH2 0x3d92
00003d8e: PUSH2 0x3ed2
00003d91: JUMP
00003d92: JUMPDEST
00003d93: JUMPDEST
00003d94: DUP1
00003d95: PUSH1 0x40
00003d97: MSTORE
00003d98: POP
00003d99: POP
00003d9a: POP
00003d9b: JUMP
00003d9c: JUMPDEST
00003d9d: PUSH1 0x00
00003d9f: PUSH2 0x3da7
00003da2: DUP3
00003da3: PUSH2 0x3ced
00003da6: JUMP
00003da7: JUMPDEST
00003da8: SWAP2
00003da9: POP
00003daa: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003dcb: DUP3
00003dcc: EQ
00003dcd: ISZERO
00003dce: PUSH2 0x3dda
00003dd1: JUMPI
00003dd2: PUSH2 0x3dd9
00003dd5: PUSH2 0x3e16
00003dd8: JUMP
00003dd9: JUMPDEST
00003dda: JUMPDEST
00003ddb: PUSH1 0x01
00003ddd: DUP3
00003dde: ADD
00003ddf: SWAP1
00003de0: POP
00003de1: SWAP2
00003de2: SWAP1
00003de3: POP
00003de4: JUMP
00003de5: JUMPDEST
00003de6: PUSH1 0x00
00003de8: PUSH2 0x3df0
00003deb: DUP3
00003dec: PUSH2 0x3ced
00003def: JUMP
00003df0: JUMPDEST
00003df1: SWAP2
00003df2: POP
00003df3: PUSH2 0x3dfb
00003df6: DUP4
00003df7: PUSH2 0x3ced
00003dfa: JUMP
00003dfb: JUMPDEST
00003dfc: SWAP3
00003dfd: POP
00003dfe: DUP3
00003dff: PUSH2 0x3e0b
00003e02: JUMPI
00003e03: PUSH2 0x3e0a
00003e06: PUSH2 0x3e45
00003e09: JUMP
00003e0a: JUMPDEST
00003e0b: JUMPDEST
00003e0c: DUP3
00003e0d: DUP3
00003e0e: MOD
00003e0f: SWAP1
00003e10: POP
00003e11: SWAP3
00003e12: SWAP2
00003e13: POP
00003e14: POP
00003e15: JUMP
00003e16: JUMPDEST
00003e17: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003e38: PUSH1 0x00
00003e3a: MSTORE
00003e3b: PUSH1 0x11
00003e3d: PUSH1 0x04
00003e3f: MSTORE
00003e40: PUSH1 0x24
00003e42: PUSH1 0x00
00003e44: REVERT
00003e45: JUMPDEST
00003e46: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003e67: PUSH1 0x00
00003e69: MSTORE
00003e6a: PUSH1 0x12
00003e6c: PUSH1 0x04
00003e6e: MSTORE
00003e6f: PUSH1 0x24
00003e71: PUSH1 0x00
00003e73: REVERT
00003e74: JUMPDEST
00003e75: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003e96: PUSH1 0x00
00003e98: MSTORE
00003e99: PUSH1 0x22
00003e9b: PUSH1 0x04
00003e9d: MSTORE
00003e9e: PUSH1 0x24
00003ea0: PUSH1 0x00
00003ea2: REVERT
00003ea3: JUMPDEST
00003ea4: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003ec5: PUSH1 0x00
00003ec7: MSTORE
00003ec8: PUSH1 0x32
00003eca: PUSH1 0x04
00003ecc: MSTORE
00003ecd: PUSH1 0x24
00003ecf: PUSH1 0x00
00003ed1: REVERT
00003ed2: JUMPDEST
00003ed3: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003ef4: PUSH1 0x00
00003ef6: MSTORE
00003ef7: PUSH1 0x41
00003ef9: PUSH1 0x04
00003efb: MSTORE
00003efc: PUSH1 0x24
00003efe: PUSH1 0x00
00003f00: REVERT
00003f01: JUMPDEST
00003f02: PUSH1 0x00
00003f04: DUP1
00003f05: REVERT
00003f06: JUMPDEST
00003f07: PUSH1 0x00
00003f09: DUP1
00003f0a: REVERT
00003f0b: JUMPDEST
00003f0c: PUSH1 0x00
00003f0e: DUP1
00003f0f: REVERT
00003f10: JUMPDEST
00003f11: PUSH1 0x00
00003f13: DUP1
00003f14: REVERT
00003f15: JUMPDEST
00003f16: PUSH1 0x00
00003f18: PUSH1 0x1f
00003f1a: NOT
00003f1b: PUSH1 0x1f
00003f1d: DUP4
00003f1e: ADD
00003f1f: AND
00003f20: SWAP1
00003f21: POP
00003f22: SWAP2
00003f23: SWAP1
00003f24: POP
00003f25: JUMP
00003f26: JUMPDEST
00003f27: PUSH32 0x5061757365640000000000000000000000000000000000000000000000000000
00003f48: PUSH1 0x00
00003f4a: DUP3
00003f4b: ADD
00003f4c: MSTORE
00003f4d: POP
00003f4e: JUMP
00003f4f: JUMPDEST
00003f50: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00003f71: PUSH1 0x00
00003f73: DUP3
00003f74: ADD
00003f75: MSTORE
00003f76: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00003f97: PUSH1 0x20
00003f99: DUP3
00003f9a: ADD
00003f9b: MSTORE
00003f9c: POP
00003f9d: JUMP
00003f9e: JUMPDEST
00003f9f: PUSH32 0x4e6f2030206d696e747300000000000000000000000000000000000000000000
00003fc0: PUSH1 0x00
00003fc2: DUP3
00003fc3: ADD
00003fc4: MSTORE
00003fc5: POP
00003fc6: JUMP
00003fc7: JUMPDEST
00003fc8: PUSH32 0x457863657373206d617820706572207061696420747800000000000000000000
00003fe9: PUSH1 0x00
00003feb: DUP3
00003fec: ADD
00003fed: MSTORE
00003fee: POP
00003fef: JUMP
00003ff0: JUMPDEST
00003ff1: PUSH32 0x457863657373206d617820706572206672656520747800000000000000000000
00004012: PUSH1 0x00
00004014: DUP3
00004015: ADD
00004016: MSTORE
00004017: POP
00004018: JUMP
00004019: JUMPDEST
0000401a: PUSH32 0x45786365656473206d617820737570706c790000000000000000000000000000
0000403b: PUSH1 0x00
0000403d: DUP3
0000403e: ADD
0000403f: MSTORE
00004040: POP
00004041: JUMP
00004042: JUMPDEST
00004043: PUSH32 0x546f6b656e20646f6573206e6f742065786973742e0000000000000000000000
00004064: PUSH1 0x00
00004066: DUP3
00004067: ADD
00004068: MSTORE
00004069: POP
0000406a: JUMP
0000406b: JUMPDEST
0000406c: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000408d: PUSH1 0x00
0000408f: DUP3
00004090: ADD
00004091: MSTORE
00004092: POP
00004093: JUMP
00004094: JUMPDEST
00004095: PUSH32 0x496e76616c69642066756e64732070726f766964656400000000000000000000
000040b6: PUSH1 0x00
000040b8: DUP3
000040b9: ADD
000040ba: MSTORE
000040bb: POP
000040bc: JUMP
000040bd: JUMPDEST
000040be: POP
000040bf: JUMP
000040c0: JUMPDEST
000040c1: PUSH32 0x4661696c656420746f2073656e64000000000000000000000000000000000000
000040e2: PUSH1 0x00
000040e4: DUP3
000040e5: ADD
000040e6: MSTORE
000040e7: POP
000040e8: JUMP
000040e9: JUMPDEST
000040ea: PUSH32 0x4e6f20636f6e7472616374730000000000000000000000000000000000000000
0000410b: PUSH1 0x00
0000410d: DUP3
0000410e: ADD
0000410f: MSTORE
00004110: POP
00004111: JUMP
00004112: JUMPDEST
00004113: PUSH2 0x411b
00004116: DUP2
00004117: PUSH2 0x3c71
0000411a: JUMP
0000411b: JUMPDEST
0000411c: DUP2
0000411d: EQ
0000411e: PUSH2 0x4126
00004121: JUMPI
00004122: PUSH1 0x00
00004124: DUP1
00004125: REVERT
00004126: JUMPDEST
00004127: POP
00004128: JUMP
00004129: JUMPDEST
0000412a: PUSH2 0x4132
0000412d: DUP2
0000412e: PUSH2 0x3c83
00004131: JUMP
00004132: JUMPDEST
00004133: DUP2
00004134: EQ
00004135: PUSH2 0x413d
00004138: JUMPI
00004139: PUSH1 0x00
0000413b: DUP1
0000413c: REVERT
0000413d: JUMPDEST
0000413e: POP
0000413f: JUMP
00004140: JUMPDEST
00004141: PUSH2 0x4149
00004144: DUP2
00004145: PUSH2 0x3c8f
00004148: JUMP
00004149: JUMPDEST
0000414a: DUP2
0000414b: EQ
0000414c: PUSH2 0x4154
0000414f: JUMPI
00004150: PUSH1 0x00
00004152: DUP1
00004153: REVERT
00004154: JUMPDEST
00004155: POP
00004156: JUMP
00004157: JUMPDEST
00004158: PUSH2 0x4160
0000415b: DUP2
0000415c: PUSH2 0x3cbb
0000415f: JUMP
00004160: JUMPDEST
00004161: DUP2
00004162: EQ
00004163: PUSH2 0x416b
00004166: JUMPI
00004167: PUSH1 0x00
00004169: DUP1
0000416a: REVERT
0000416b: JUMPDEST
0000416c: POP
0000416d: JUMP
0000416e: JUMPDEST
0000416f: PUSH2 0x4177
00004172: DUP2
00004173: PUSH2 0x3ced
00004176: JUMP
00004177: JUMPDEST
00004178: DUP2
00004179: EQ
0000417a: PUSH2 0x4182
0000417d: JUMPI
0000417e: PUSH1 0x00
00004180: DUP1
00004181: REVERT
00004182: JUMPDEST
00004183: POP
00004184: JUMP
00004185: INVALID
00004186: LOG2
00004187: PUSH5 0x6970667358
0000418d: UNKNOWN(0x22)
0000418e: SLT
0000418f: KECCAK256
00004190: SHL
00004191: UNKNOWN(0xE2)
00004192: SWAP7
00004193: UNKNOWN(0xBF)
00004194: PC
00004195: UNKNOWN(0xE0)
00004196: LOG2
00004197: SAR
00004198: UNKNOWN(0x2E)
00004199: UNKNOWN(0x2C)
0000419a: PUSH18 0x827f0f85dbdf7002b492054d910fdc67b381
000041ad: MUL
000041ae: SLOAD
000041af: XOR
000041b0: PUSH5 0x736f6c6343
000041b6: STOP
000041b7: ADDMOD
000041b8: SMOD
000041b9: STOP
000041ba: CALLER

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": "0xe8a3d485",
            "selector": "0xe8a3d485",
            "calldata_variants": [
                "0xe8a3d485",
                "0xe8a3d4850000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xedbb99bf",
            "selector": "0xedbb99bf",
            "calldata_variants": [
                "0xedbb99bf",
                "0xedbb99bf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf43a22dc",
            "selector": "0xf43a22dc",
            "calldata_variants": [
                "0xf43a22dc",
                "0xf43a22dc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcd7c0326",
            "selector": "0xcd7c0326",
            "calldata_variants": [
                "0xcd7c0326",
                "0xcd7c03260000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdb4a0f61",
            "selector": "0xdb4a0f61",
            "calldata_variants": [
                "0xdb4a0f61",
                "0xdb4a0f610000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 5305,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x99927d18cff1de55a5528b0bae05693e9ac2d1418c4f60d2cced3c8d2f70c38c
call_targets: 0xf4415db5c20d27962c0cfb1bda42c1b151791297
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x99927d18cff1de55a5528b0bae05693e9ac2d1418c4f60d2cced3c8d2f70c38c",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xf4415db5c20d27962c0cfb1bda42c1b151791297"
    ],
    "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": "0xe8a3d485",
            "selector": "0xe8a3d485",
            "calldata_variants": [
                "0xe8a3d485",
                "0xe8a3d4850000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xedbb99bf",
            "selector": "0xedbb99bf",
            "calldata_variants": [
                "0xedbb99bf",
                "0xedbb99bf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf43a22dc",
            "selector": "0xf43a22dc",
            "calldata_variants": [
                "0xf43a22dc",
                "0xf43a22dc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcd7c0326",
            "selector": "0xcd7c0326",
            "calldata_variants": [
                "0xcd7c0326",
                "0xcd7c03260000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdb4a0f61",
            "selector": "0xdb4a0f61",
            "calldata_variants": [
                "0xdb4a0f61",
                "0xdb4a0f610000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3427,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10509,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [
        {
            "pc": 5305,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 2
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x99927d18cff1de55a5528b0bae05693e9ac2d1418c4f60d2cced3c8d2f70c38c
call_targets: 0xf4415db5c20d27962c0cfb1bda42c1b151791297
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x99927d18cff1de55a5528b0bae05693e9ac2d1418c4f60d2cced3c8d2f70c38c",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xf4415db5c20d27962c0cfb1bda42c1b151791297"
    ],
    "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": "0xe8a3d485",
            "selector": "0xe8a3d485",
            "calldata_variants": [
                "0xe8a3d485",
                "0xe8a3d4850000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xedbb99bf",
            "selector": "0xedbb99bf",
            "calldata_variants": [
                "0xedbb99bf",
                "0xedbb99bf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf43a22dc",
            "selector": "0xf43a22dc",
            "calldata_variants": [
                "0xf43a22dc",
                "0xf43a22dc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcd7c0326",
            "selector": "0xcd7c0326",
            "calldata_variants": [
                "0xcd7c0326",
                "0xcd7c03260000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdb4a0f61",
            "selector": "0xdb4a0f61",
            "calldata_variants": [
                "0xdb4a0f61",
                "0xdb4a0f610000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3427,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10509,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": [
        {
            "pc": 5305,
            "type": "tx_origin_used"
        }
    ]
}