Contract Source Code (Solidity)

IDE

• Blockscan IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-07-11
*/

// SPDX-License-Identifier: UNLICENSED
pragma solidity ^0.8.10;

// Taken from:
// https://github.com/crytic/slither/blob/master/tests/tools/read-storage/test_data/StorageLayout.sol

// overwrite abi and bin:
// solc StorageLayout.sol --abi --bin --overwrite
contract StorageLayout {
    uint248 packedUint = 1;
    bool packedBool = true;

    struct PackedStruct {
        bool b;
        uint248 a;
    }
    PackedStruct _packedStruct = PackedStruct(packedBool, packedUint);

    mapping(uint => PackedStruct) mappingPackedStruct;
    mapping(address => mapping(uint => PackedStruct)) deepMappingPackedStruct;
    mapping(address => mapping(uint => bool)) deepMappingElementaryTypes;
    mapping(address => PackedStruct[]) mappingDynamicArrayOfStructs;

    address _address;
    string _string = "slither-read-storage";
    uint8 packedUint8 = 8;
    bytes8 packedBytes = "aaaaaaaa";

    enum Enum {
        a,
        b,
        c
    }
    Enum _enumA = Enum.a;
    Enum _enumB = Enum.b;
    Enum _enumC = Enum.c;

    uint256[3] fixedArray;
    uint256[3][] dynamicArrayOfFixedArrays;
    uint[][3] fixedArrayofDynamicArrays;
    uint[][] multidimensionalArray;
    PackedStruct[] dynamicArrayOfStructs;
    PackedStruct[3] fixedArrayOfStructs;

    function store() external {
        // Removed to allow for calling multiple times
        // require(_address == address(0));
        _address = msg.sender;

        mappingPackedStruct[packedUint] = _packedStruct;

        deepMappingPackedStruct[_address][packedUint] = _packedStruct;

        deepMappingElementaryTypes[_address][1] = true;
        deepMappingElementaryTypes[_address][2] = true;

        fixedArray = [1, 2, 3];

        dynamicArrayOfFixedArrays.push(fixedArray);
        dynamicArrayOfFixedArrays.push([4, 5, 6]);

        fixedArrayofDynamicArrays[0].push(7);
        fixedArrayofDynamicArrays[1].push(8);
        fixedArrayofDynamicArrays[1].push(9);
        fixedArrayofDynamicArrays[2].push(10);
        fixedArrayofDynamicArrays[2].push(11);
        fixedArrayofDynamicArrays[2].push(12);

        multidimensionalArray.push([13]);
        multidimensionalArray.push([14, 15]);
        multidimensionalArray.push([16, 17, 18]);

        dynamicArrayOfStructs.push(_packedStruct);
        dynamicArrayOfStructs.push(PackedStruct(false, 10));
        fixedArrayOfStructs[0] = _packedStruct;
        fixedArrayOfStructs[1] = PackedStruct(false, 10);

        mappingDynamicArrayOfStructs[_address].push(dynamicArrayOfStructs[0]);
        mappingDynamicArrayOfStructs[_address].push(dynamicArrayOfStructs[1]);
    }
}

[{"inputs":[],"name":"store","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405260015f806101000a8154817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555060015f601f6101000a81548160ff02191690831515021790555060405180604001604052805f601f9054906101000a900460ff16151581526020015f8054906101000a90047effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff167effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525060015f820151815f015f6101000a81548160ff0219169083151502179055506020820151815f0160016101000a8154817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555050506040518060400160405280601481526020017f736c69746865722d726561642d73746f7261676500000000000000000000000081525060079081620001a7919062000504565b506008805f6101000a81548160ff021916908360ff1602179055507f6161616161616161000000000000000000000000000000000000000000000000600860016101000a81548167ffffffffffffffff021916908360c01c02179055505f600860096101000a81548160ff021916908360028111156200022c576200022b620005e8565b5b021790555060016008600a6101000a81548160ff021916908360028111156200025a5762000259620005e8565b5b021790555060026008600b6101000a81548160ff02191690836002811115620002885762000287620005e8565b5b021790555034801562000299575f80fd5b5062000615565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806200031c57607f821691505b602082108103620003325762000331620002d7565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620003967fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8262000359565b620003a2868362000359565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f620003ec620003e6620003e084620003ba565b620003c3565b620003ba565b9050919050565b5f819050919050565b6200040783620003cc565b6200041f6200041682620003f3565b84845462000365565b825550505050565b5f90565b6200043562000427565b62000442818484620003fc565b505050565b5b8181101562000469576200045d5f826200042b565b60018101905062000448565b5050565b601f821115620004b857620004828162000338565b6200048d846200034a565b810160208510156200049d578190505b620004b5620004ac856200034a565b83018262000447565b50505b505050565b5f82821c905092915050565b5f620004da5f1984600802620004bd565b1980831691505092915050565b5f620004f48383620004c9565b9150826002028217905092915050565b6200050f82620002a0565b67ffffffffffffffff8111156200052b576200052a620002aa565b5b62000537825462000304565b620005448282856200046d565b5f60209050601f8311600181146200057a575f841562000565578287015190505b620005718582620004e7565b865550620005e0565b601f1984166200058a8662000338565b5f5b82811015620005b3578489015182556001820191506020850194506020810190506200058c565b86831015620005d35784890151620005cf601f891682620004c9565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602160045260245ffd5b610ef180620006235f395ff3fe608060405234801561000f575f80fd5b5060043610610029575f3560e01c8063975057e71461002d575b5f80fd5b610035610037565b005b3360065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600160025f805f9054906101000a90047effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff167effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82015f9054906101000a900460ff16815f015f6101000a81548160ff0219169083151502179055505f820160019054906101000a90047effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815f0160016101000a8154817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff160217905550905050600160035f60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f805f9054906101000a90047effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff167effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82015f9054906101000a900460ff16815f015f6101000a81548160ff0219169083151502179055505f820160019054906101000a90047effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815f0160016101000a8154817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff160217905550905050600160045f60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f600181526020019081526020015f205f6101000a81548160ff021916908315150217905550600160045f60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f600281526020019081526020015f205f6101000a81548160ff0219169083151502179055506040518060600160405280600160ff168152602001600260ff168152602001600360ff168152506009906003610438929190610d01565b50600c6009908060018154018082558091505060019003905f5260205f2090600302015f90919091909150906003610471929190610d46565b50600c6040518060600160405280600460ff168152602001600560ff168152602001600660ff16815250908060018154018082558091505060019003905f5260205f2090600302015f909190919091509060036104cf929190610d01565b50600d5f600381106104e4576104e3610e8e565b5b016007908060018154018082558091505060019003905f5260205f20015f9091909190915055600d60016003811061051f5761051e610e8e565b5b016008908060018154018082558091505060019003905f5260205f20015f9091909190915055600d60016003811061055a57610559610e8e565b5b016009908060018154018082558091505060019003905f5260205f20015f9091909190915055600d60026003811061059557610594610e8e565b5b01600a908060018154018082558091505060019003905f5260205f20015f9091909190915055600d6002600381106105d0576105cf610e8e565b5b01600b908060018154018082558091505060019003905f5260205f20015f9091909190915055600d60026003811061060b5761060a610e8e565b5b01600c908060018154018082558091505060019003905f5260205f20015f909190919091505560106040518060200160405280600d60ff16815250908060018154018082558091505060019003905f5260205f20015f90919091909150906001610676929190610d83565b5060106040518060400160405280600e60ff168152602001600f60ff16815250908060018154018082558091505060019003905f5260205f20015f909190919091509060026106c6929190610dd3565b5060106040518060600160405280601060ff168152602001601160ff168152602001601260ff16815250908060018154018082558091505060019003905f5260205f20015f90919091909150906003610720929190610e23565b5060116001908060018154018082558091505060019003905f5260205f20015f909190919091505f82015f9054906101000a900460ff16815f015f6101000a81548160ff0219169083151502179055505f820160019054906101000a90047effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815f0160016101000a8154817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602179055505050601160405180604001604052805f15158152602001600a7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815250908060018154018082558091505060019003905f5260205f20015f909190919091505f820151815f015f6101000a81548160ff0219169083151502179055506020820151815f0160016101000a8154817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602179055505050600160125f600381106108e6576108e5610e8e565b5b015f82015f9054906101000a900460ff16815f015f6101000a81548160ff0219169083151502179055505f820160019054906101000a90047effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815f0160016101000a8154817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555090505060405180604001604052805f15158152602001600a7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525060126001600381106109e7576109e6610e8e565b5b015f820151815f015f6101000a81548160ff0219169083151502179055506020820151815f0160016101000a8154817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555090505060055f60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2060115f81548110610ad657610ad5610e8e565b5b905f5260205f2001908060018154018082558091505060019003905f5260205f20015f909190919091505f82015f9054906101000a900460ff16815f015f6101000a81548160ff0219169083151502179055505f820160019054906101000a90047effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815f0160016101000a8154817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff160217905550505060055f60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f206011600181548110610c2457610c23610e8e565b5b905f5260205f2001908060018154018082558091505060019003905f5260205f20015f909190919091505f82015f9054906101000a900460ff16815f015f6101000a81548160ff0219169083151502179055505f820160019054906101000a90047effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815f0160016101000a8154817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602179055505050565b8260038101928215610d35579160200282015b82811115610d34578251829060ff16905591602001919060010190610d14565b5b509050610d429190610e73565b5090565b8260038101928215610d72579182015b82811115610d71578254825591600101919060010190610d56565b5b509050610d7f9190610e73565b5090565b828054828255905f5260205f20908101928215610dc2579160200282015b82811115610dc1578251829060ff16905591602001919060010190610da1565b5b509050610dcf9190610e73565b5090565b828054828255905f5260205f20908101928215610e12579160200282015b82811115610e11578251829060ff16905591602001919060010190610df1565b5b509050610e1f9190610e73565b5090565b828054828255905f5260205f20908101928215610e62579160200282015b82811115610e61578251829060ff16905591602001919060010190610e41565b5b509050610e6f9190610e73565b5090565b5b80821115610e8a575f815f905550600101610e74565b5090565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffdfea26469706673582212209bf0eebe3a5e89d183ac313f85e0c50260e838768305a4814e6e1e2672587ef664736f6c63430008140033

0x608060405234801561000f575f80fd5b5060043610610029575f3560e01c8063975057e71461002d575b5f80fd5b610035610037565b005b3360065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600160025f805f9054906101000a90047effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff167effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82015f9054906101000a900460ff16815f015f6101000a81548160ff0219169083151502179055505f820160019054906101000a90047effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815f0160016101000a8154817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff160217905550905050600160035f60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f805f9054906101000a90047effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff167effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82015f9054906101000a900460ff16815f015f6101000a81548160ff0219169083151502179055505f820160019054906101000a90047effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815f0160016101000a8154817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff160217905550905050600160045f60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f600181526020019081526020015f205f6101000a81548160ff021916908315150217905550600160045f60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f600281526020019081526020015f205f6101000a81548160ff0219169083151502179055506040518060600160405280600160ff168152602001600260ff168152602001600360ff168152506009906003610438929190610d01565b50600c6009908060018154018082558091505060019003905f5260205f2090600302015f90919091909150906003610471929190610d46565b50600c6040518060600160405280600460ff168152602001600560ff168152602001600660ff16815250908060018154018082558091505060019003905f5260205f2090600302015f909190919091509060036104cf929190610d01565b50600d5f600381106104e4576104e3610e8e565b5b016007908060018154018082558091505060019003905f5260205f20015f9091909190915055600d60016003811061051f5761051e610e8e565b5b016008908060018154018082558091505060019003905f5260205f20015f9091909190915055600d60016003811061055a57610559610e8e565b5b016009908060018154018082558091505060019003905f5260205f20015f9091909190915055600d60026003811061059557610594610e8e565b5b01600a908060018154018082558091505060019003905f5260205f20015f9091909190915055600d6002600381106105d0576105cf610e8e565b5b01600b908060018154018082558091505060019003905f5260205f20015f9091909190915055600d60026003811061060b5761060a610e8e565b5b01600c908060018154018082558091505060019003905f5260205f20015f909190919091505560106040518060200160405280600d60ff16815250908060018154018082558091505060019003905f5260205f20015f90919091909150906001610676929190610d83565b5060106040518060400160405280600e60ff168152602001600f60ff16815250908060018154018082558091505060019003905f5260205f20015f909190919091509060026106c6929190610dd3565b5060106040518060600160405280601060ff168152602001601160ff168152602001601260ff16815250908060018154018082558091505060019003905f5260205f20015f90919091909150906003610720929190610e23565b5060116001908060018154018082558091505060019003905f5260205f20015f909190919091505f82015f9054906101000a900460ff16815f015f6101000a81548160ff0219169083151502179055505f820160019054906101000a90047effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815f0160016101000a8154817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602179055505050601160405180604001604052805f15158152602001600a7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815250908060018154018082558091505060019003905f5260205f20015f909190919091505f820151815f015f6101000a81548160ff0219169083151502179055506020820151815f0160016101000a8154817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602179055505050600160125f600381106108e6576108e5610e8e565b5b015f82015f9054906101000a900460ff16815f015f6101000a81548160ff0219169083151502179055505f820160019054906101000a90047effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815f0160016101000a8154817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555090505060405180604001604052805f15158152602001600a7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1681525060126001600381106109e7576109e6610e8e565b5b015f820151815f015f6101000a81548160ff0219169083151502179055506020820151815f0160016101000a8154817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16021790555090505060055f60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2060115f81548110610ad657610ad5610e8e565b5b905f5260205f2001908060018154018082558091505060019003905f5260205f20015f909190919091505f82015f9054906101000a900460ff16815f015f6101000a81548160ff0219169083151502179055505f820160019054906101000a90047effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815f0160016101000a8154817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff160217905550505060055f60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f206011600181548110610c2457610c23610e8e565b5b905f5260205f2001908060018154018082558091505060019003905f5260205f20015f909190919091505f82015f9054906101000a900460ff16815f015f6101000a81548160ff0219169083151502179055505f820160019054906101000a90047effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16815f0160016101000a8154817effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff02191690837effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602179055505050565b8260038101928215610d35579160200282015b82811115610d34578251829060ff16905591602001919060010190610d14565b5b509050610d429190610e73565b5090565b8260038101928215610d72579182015b82811115610d71578254825591600101919060010190610d56565b5b509050610d7f9190610e73565b5090565b828054828255905f5260205f20908101928215610dc2579160200282015b82811115610dc1578251829060ff16905591602001919060010190610da1565b5b509050610dcf9190610e73565b5090565b828054828255905f5260205f20908101928215610e12579160200282015b82811115610e11578251829060ff16905591602001919060010190610df1565b5b509050610e1f9190610e73565b5090565b828054828255905f5260205f20908101928215610e62579160200282015b82811115610e61578251829060ff16905591602001919060010190610e41565b5b509050610e6f9190610e73565b5090565b5b80821115610e8a575f815f905550600101610e74565b5090565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffdfea26469706673582212209bf0eebe3a5e89d183ac313f85e0c50260e838768305a4814e6e1e2672587ef664736f6c63430008140033

267:2414:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1303:1375;;;:::i;:::-;;;1452:10;1441:8;;:21;;;;;;;;;;;;;;;;;;1509:13;1475:19;:31;1495:10;;;;;;;;;;;1475:31;;;;;;;;;;;;;:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1583:13;1535:23;:33;1559:8;;;;;;;;;;;1535:33;;;;;;;;;;;;;;;:45;1569:10;;;;;;;;;;;1535:45;;;;;;;;;;;;;:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1651:4;1609:26;:36;1636:8;;;;;;;;;;;1609:36;;;;;;;;;;;;;;;:39;1646:1;1609:39;;;;;;;;;;;;:46;;;;;;;;;;;;;;;;;;1708:4;1666:26;:36;1693:8;;;;;;;;;;;1666:36;;;;;;;;;;;;;;;:39;1703:1;1666:39;;;;;;;;;;;;:46;;;;;;;;;;;;;;;;;;1725:22;;;;;;;;1739:1;1725:22;;;;;;1742:1;1725:22;;;;;;1745:1;1725:22;;;;;:10;:22;;;;;;;:::i;:::-;;1760:25;1791:10;1760:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;1813:25;:41;;;;;;;;1845:1;1813:41;;;;;;1848:1;1813:41;;;;;;1851:1;1813:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;1867:25;1893:1;1867:28;;;;;;;:::i;:::-;;;1901:1;1867:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1914:25;1940:1;1914:28;;;;;;;:::i;:::-;;;1948:1;1914:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1961:25;1987:1;1961:28;;;;;;;:::i;:::-;;;1995:1;1961:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2008:25;2034:1;2008:28;;;;;;;:::i;:::-;;;2042:2;2008:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2056:25;2082:1;2056:28;;;;;;;:::i;:::-;;;2090:2;2056:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2104:25;2130:1;2104:28;;;;;;;:::i;:::-;;;2138:2;2104:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2154:21;:32;;;;;;;;2182:2;2154:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2197:21;:36;;;;;;;;2225:2;2197:36;;;;;;2229:2;2197:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2244:21;:40;;;;;;;;2272:2;2244:40;;;;;;2276:2;2244:40;;;;;;2280:2;2244:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2297:21;2324:13;2297:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2349:21;2376:23;;;;;;;;2389:5;2376:23;;;;;;2396:2;2376:23;;;;;2349:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2436:13;2411:19;2431:1;2411:22;;;;;;;:::i;:::-;;;:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2485:23;;;;;;;;2498:5;2485:23;;;;;;2505:2;2485:23;;;;;2460:19;2480:1;2460:22;;;;;;;:::i;:::-;;;:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2521:28;:38;2550:8;;;;;;;;;;;2521:38;;;;;;;;;;;;;;;2565:21;2587:1;2565:24;;;;;;;;:::i;:::-;;;;;;;;;2521:69;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2601:28;:38;2630:8;;;;;;;;;;;2601:38;;;;;;;;;;;;;;;2645:21;2667:1;2645:24;;;;;;;;:::i;:::-;;;;;;;;;2601:69;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1303:1375::o;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;:::o;7:180:1:-;55:77;52:1;45:88;152:4;149:1;142:15;176:4;173:1;166:15

ipfs://9bf0eebe3a5e89d183ac313f85e0c50260e838768305a4814e6e1e2672587ef6