{
  "absolutePath": "a",
  "exportedSymbols":
  {
    "C":
    [
      14
    ]
  },
  "id": 15,
  "nodeType": "SourceUnit",
  "nodes":
  [
    {
      "abstract": false,
      "baseContracts": [],
      "canonicalName": "C",
      "contractDependencies": [],
      "contractKind": "contract",
      "fullyImplemented": true,
      "id": 14,
      "linearizedBaseContracts":
      [
        14
      ],
      "name": "C",
      "nameLocation": "9:1:1",
      "nodeType": "ContractDefinition",
      "nodes":
      [
        {
          "body":
          {
            "id": 5,
            "nodeType": "Block",
            "src": "32:6:1",
            "statements":
            [
              {
                "id": 4,
                "nodeType": "PlaceholderStatement",
                "src": "34:1:1"
              }
            ]
          },
          "id": 6,
          "name": "M",
          "nameLocation": "22:1:1",
          "nodeType": "ModifierDefinition",
          "parameters":
          {
            "id": 3,
            "nodeType": "ParameterList",
            "parameters":
            [
              {
                "constant": false,
                "id": 2,
                "mutability": "mutable",
                "name": "i",
                "nameLocation": "29:1:1",
                "nodeType": "VariableDeclaration",
                "scope": 6,
                "src": "24:6:1",
                "stateVariable": false,
                "storageLocation": "default",
                "typeDescriptions":
                {
                  "typeIdentifier": "t_uint256",
                  "typeString": "uint256"
                },
                "typeName":
                {
                  "id": 1,
                  "name": "uint",
                  "nodeType": "ElementaryTypeName",
                  "src": "24:4:1",
                  "typeDescriptions":
                  {
                    "typeIdentifier": "t_uint256",
                    "typeString": "uint256"
                  }
                },
                "visibility": "internal"
              }
            ],
            "src": "23:8:1"
          },
          "src": "13:25:1",
          "virtual": false,
          "visibility": "internal"
        },
        {
          "body":
          {
            "id": 12,
            "nodeType": "Block",
            "src": "64:2:1",
            "statements": []
          },
          "functionSelector": "28811f59",
          "id": 13,
          "implemented": true,
          "kind": "function",
          "modifiers":
          [
            {
              "arguments":
              [
                {
                  "hexValue": "31",
                  "id": 9,
                  "isConstant": false,
                  "isLValue": false,
                  "isPure": true,
                  "kind": "number",
                  "lValueRequested": false,
                  "nodeType": "Literal",
                  "src": "54:1:1",
                  "typeDescriptions":
                  {
                    "typeIdentifier": "t_rational_1_by_1",
                    "typeString": "int_const 1"
                  },
                  "value": "1"
                }
              ],
              "id": 10,
              "kind": "modifierInvocation",
              "modifierName":
              {
                "id": 8,
                "name": "M",
                "nameLocations":
                [
                  "52:1:1"
                ],
                "nodeType": "IdentifierPath",
                "referencedDeclaration": 6,
                "src": "52:1:1"
              },
              "nodeType": "ModifierInvocation",
              "src": "52:4:1"
            }
          ],
          "name": "F",
          "nameLocation": "48:1:1",
          "nodeType": "FunctionDefinition",
          "parameters":
          {
            "id": 7,
            "nodeType": "ParameterList",
            "parameters": [],
            "src": "49:2:1"
          },
          "returnParameters":
          {
            "id": 11,
            "nodeType": "ParameterList",
            "parameters": [],
            "src": "64:0:1"
          },
          "scope": 14,
          "src": "39:27:1",
          "stateMutability": "nonpayable",
          "virtual": false,
          "visibility": "public"
        }
      ],
      "scope": 15,
      "src": "0:68:1",
      "usedErrors": []
    }
  ],
  "src": "0:69:1"
}