{
    "programs": [
      {
        "package_name": "a",
        "functions": [
          {
            "name": "main",
            "opcodes": 1,
            "circuit_size": 7
          }
        ],
        "unconstrained_functions": [
          {
            "name": "main",
            "opcodes": 1
          }
        ]
      },
      {
        "package_name": "b",
        "functions": [
          {
            "name": "main",
            "opcodes": 5,
            "circuit_size": 10
          }
        ],
        "unconstrained_functions": [
          {
            "name": "main",
            "opcodes": 5
          }
        ]
      },
      {
        "package_name": "c",
        "functions": [
          {
            "name": "main",
            "opcodes": 2,
            "circuit_size": 2
          }
        ],
        "unconstrained_functions": [
          {
            "name": "main",
            "opcodes": 2
          }
        ]
      },
      {
        "package_name": "d",
        "functions": [
          {
            "name": "main",
            "opcodes": 3,
            "circuit_size": 5
          }
        ],
        "unconstrained_functions": [
          {
            "name": "main",
            "opcodes": 3
          }
        ]
      }
    ],
    "contracts": [
      {
          "name": "a",
          "functions": [
              {
                  "name": "a",
                  "opcodes": 1,
                  "circuit_size": 7
              },
              {
                  "name": "b",
                  "opcodes": 5,
                  "circuit_size": 10
              },
              {
                  "name": "c",
                  "opcodes": 500,
                  "circuit_size": 1000
              },
              {
                  "name": "d",
                  "opcodes": 500,
                  "circuit_size": 1000
              },
              {
                  "name": "e",
                  "opcodes": 500,
                  "circuit_size": 1000
              },
              {
                  "name": "f",
                  "opcodes": 50,
                  "circuit_size": 100
              },
              {
                  "name": "g",
                  "opcodes": 55,
                  "circuit_size": 100
              },
              {
                  "name": "h",
                  "opcodes": 50,
                  "circuit_size": 101
              }
          ]
      },
      {
          "name": "b",
          "functions": [
              {
                  "name": "a",
                  "opcodes": 1,
                  "circuit_size": 7
              },
              {
                  "name": "b",
                  "opcodes": 1,
                  "circuit_size": 2
              }
          ]
      }
    ]
}