{
  "pools": [
    {
      "rolls": 1,
      "entries": [
        {
          "type": "minecraft:item",
          "name": "minecraft:diamond_pickaxe",
          "functions": [
            {
              "function": "minecraft:enchant_with_levels",
              "levels": 15,
              "options": "#minecraft:non_treasure",
              "conditions": [
                {
                  "condition": "minecraft:random_chance",
                  "chance": 0.2
                }
              ]
            }
          ]
        }
      ]
    },
    {
      "rolls": 1,
      "entries": [
        {
          "type": "minecraft:item",
          "name": "minecraft:diamond_axe",
          "functions": [
            {
              "function": "minecraft:enchant_with_levels",
              "levels": 15,
              "conditions": [
                {
                  "condition": "minecraft:random_chance",
                  "chance": 0.2
                }
              ]
            }
          ]
        }
      ]
    },
    {
      "rolls": 1,
      "entries": [
        {
          "type": "minecraft:item",
          "name": "minecraft:diamond_shovel",
          "functions": [
            {
              "function": "minecraft:enchant_with_levels",
              "levels": 15,
              "conditions": [
                {
                  "condition": "minecraft:random_chance",
                  "chance": 0.5
                }
              ]
            }
          ],
          "conditions": [
            {
              "condition": "minecraft:random_chance",
              "chance": 0.5
            }
          ]
        }
      ]
    }
  ]
}