{
  "normal_section": {
    "coordinates": [
      "a",
      "b"
    ],
    "other_normal_coordinates": 0,
    "R": "2",
    "L": "1",
    "cone": "a<=0 and abs(b)<=-a",
    "point_e": [
      "4/5",
      "0"
    ]
  },
  "paths": [
    {
      "start": [
        "-6/5",
        "13/10"
      ],
      "sampled_points": [
        {
          "s": "0",
          "normal": [
            "-6/5",
            "13/10"
          ]
        },
        {
          "s": "1/16",
          "normal": [
            "-43/40",
            "39/32"
          ]
        },
        {
          "s": "1/8",
          "normal": [
            "-19/20",
            "91/80"
          ]
        },
        {
          "s": "3/16",
          "normal": [
            "-33/40",
            "169/160"
          ]
        },
        {
          "s": "1/4",
          "normal": [
            "-7/10",
            "39/40"
          ]
        },
        {
          "s": "5/16",
          "normal": [
            "-23/40",
            "143/160"
          ]
        },
        {
          "s": "3/8",
          "normal": [
            "-9/20",
            "13/16"
          ]
        },
        {
          "s": "7/16",
          "normal": [
            "-13/40",
            "117/160"
          ]
        },
        {
          "s": "1/2",
          "normal": [
            "-1/5",
            "13/20"
          ]
        },
        {
          "s": "9/16",
          "normal": [
            "-3/40",
            "91/160"
          ]
        },
        {
          "s": "5/8",
          "normal": [
            "1/20",
            "39/80"
          ]
        },
        {
          "s": "11/16",
          "normal": [
            "7/40",
            "13/32"
          ]
        },
        {
          "s": "3/4",
          "normal": [
            "3/10",
            "13/40"
          ]
        },
        {
          "s": "13/16",
          "normal": [
            "17/40",
            "39/160"
          ]
        },
        {
          "s": "7/8",
          "normal": [
            "11/20",
            "13/80"
          ]
        },
        {
          "s": "15/16",
          "normal": [
            "27/40",
            "13/160"
          ]
        },
        {
          "s": "1",
          "normal": [
            "4/5",
            "0"
          ]
        }
      ]
    },
    {
      "start": [
        "1/2",
        "6/5"
      ],
      "sampled_points": [
        {
          "s": "0",
          "normal": [
            "1/2",
            "6/5"
          ]
        },
        {
          "s": "1/16",
          "normal": [
            "83/160",
            "9/8"
          ]
        },
        {
          "s": "1/8",
          "normal": [
            "43/80",
            "21/20"
          ]
        },
        {
          "s": "3/16",
          "normal": [
            "89/160",
            "39/40"
          ]
        },
        {
          "s": "1/4",
          "normal": [
            "23/40",
            "9/10"
          ]
        },
        {
          "s": "5/16",
          "normal": [
            "19/32",
            "33/40"
          ]
        },
        {
          "s": "3/8",
          "normal": [
            "49/80",
            "3/4"
          ]
        },
        {
          "s": "7/16",
          "normal": [
            "101/160",
            "27/40"
          ]
        },
        {
          "s": "1/2",
          "normal": [
            "13/20",
            "3/5"
          ]
        },
        {
          "s": "9/16",
          "normal": [
            "107/160",
            "21/40"
          ]
        },
        {
          "s": "5/8",
          "normal": [
            "11/16",
            "9/20"
          ]
        },
        {
          "s": "11/16",
          "normal": [
            "113/160",
            "3/8"
          ]
        },
        {
          "s": "3/4",
          "normal": [
            "29/40",
            "3/10"
          ]
        },
        {
          "s": "13/16",
          "normal": [
            "119/160",
            "9/40"
          ]
        },
        {
          "s": "7/8",
          "normal": [
            "61/80",
            "3/20"
          ]
        },
        {
          "s": "15/16",
          "normal": [
            "25/32",
            "3/40"
          ]
        },
        {
          "s": "1",
          "normal": [
            "4/5",
            "0"
          ]
        }
      ]
    },
    {
      "start": [
        "-4/5",
        "-11/10"
      ],
      "sampled_points": [
        {
          "s": "0",
          "normal": [
            "-4/5",
            "-11/10"
          ]
        },
        {
          "s": "1/16",
          "normal": [
            "-7/10",
            "-33/32"
          ]
        },
        {
          "s": "1/8",
          "normal": [
            "-3/5",
            "-77/80"
          ]
        },
        {
          "s": "3/16",
          "normal": [
            "-1/2",
            "-143/160"
          ]
        },
        {
          "s": "1/4",
          "normal": [
            "-2/5",
            "-33/40"
          ]
        },
        {
          "s": "5/16",
          "normal": [
            "-3/10",
            "-121/160"
          ]
        },
        {
          "s": "3/8",
          "normal": [
            "-1/5",
            "-11/16"
          ]
        },
        {
          "s": "7/16",
          "normal": [
            "-1/10",
            "-99/160"
          ]
        },
        {
          "s": "1/2",
          "normal": [
            "0",
            "-11/20"
          ]
        },
        {
          "s": "9/16",
          "normal": [
            "1/10",
            "-77/160"
          ]
        },
        {
          "s": "5/8",
          "normal": [
            "1/5",
            "-33/80"
          ]
        },
        {
          "s": "11/16",
          "normal": [
            "3/10",
            "-11/32"
          ]
        },
        {
          "s": "3/4",
          "normal": [
            "2/5",
            "-11/40"
          ]
        },
        {
          "s": "13/16",
          "normal": [
            "1/2",
            "-33/160"
          ]
        },
        {
          "s": "7/8",
          "normal": [
            "3/5",
            "-11/80"
          ]
        },
        {
          "s": "15/16",
          "normal": [
            "7/10",
            "-11/160"
          ]
        },
        {
          "s": "1",
          "normal": [
            "4/5",
            "0"
          ]
        }
      ]
    },
    {
      "start": [
        "7/5",
        "-7/10"
      ],
      "sampled_points": [
        {
          "s": "0",
          "normal": [
            "7/5",
            "-7/10"
          ]
        },
        {
          "s": "1/16",
          "normal": [
            "109/80",
            "-21/32"
          ]
        },
        {
          "s": "1/8",
          "normal": [
            "53/40",
            "-49/80"
          ]
        },
        {
          "s": "3/16",
          "normal": [
            "103/80",
            "-91/160"
          ]
        },
        {
          "s": "1/4",
          "normal": [
            "5/4",
            "-21/40"
          ]
        },
        {
          "s": "5/16",
          "normal": [
            "97/80",
            "-77/160"
          ]
        },
        {
          "s": "3/8",
          "normal": [
            "47/40",
            "-7/16"
          ]
        },
        {
          "s": "7/16",
          "normal": [
            "91/80",
            "-63/160"
          ]
        },
        {
          "s": "1/2",
          "normal": [
            "11/10",
            "-7/20"
          ]
        },
        {
          "s": "9/16",
          "normal": [
            "17/16",
            "-49/160"
          ]
        },
        {
          "s": "5/8",
          "normal": [
            "41/40",
            "-21/80"
          ]
        },
        {
          "s": "11/16",
          "normal": [
            "79/80",
            "-7/32"
          ]
        },
        {
          "s": "3/4",
          "normal": [
            "19/20",
            "-7/40"
          ]
        },
        {
          "s": "13/16",
          "normal": [
            "73/80",
            "-21/160"
          ]
        },
        {
          "s": "7/8",
          "normal": [
            "7/8",
            "-7/80"
          ]
        },
        {
          "s": "15/16",
          "normal": [
            "67/80",
            "-7/160"
          ]
        },
        {
          "s": "1",
          "normal": [
            "4/5",
            "0"
          ]
        }
      ]
    }
  ],
  "general_proof": [
    "OCM.5–OCM.7",
    "OCM.9–OCM.13",
    "OCM.20–OCM.22"
  ],
  "finite_path_samples_are_not_the_general_cone_proof": true
}