{
  "status": "literal_saved_pose_mismatch",
  "interpretation": "IEEE-754 floats interpreted as exact binary rationals",
  "cells": 330,
  "mismatched_cells": 201,
  "max_support_error_approx": 5.551115123125783e-17,
  "witnesses": [
    {
      "match": 3,
      "group": 2,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 4,
      "group": 2,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 5,
      "group": 2,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 10,
      "group": 3,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 11,
      "group": 3,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-453081355903969/162259276829213363391578010288128"
    },
    {
      "match": 11,
      "group": 3,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 13,
      "group": 3,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 13,
      "group": 3,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 14,
      "group": 3,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 16,
      "group": 3,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 16,
      "group": 3,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 20,
      "group": 3,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 22,
      "group": 4,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-1/36028797018963968"
    },
    {
      "match": 22,
      "group": 4,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-357378869337399/40564819207303340847894502572032"
    },
    {
      "match": 23,
      "group": 4,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 24,
      "group": 4,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 24,
      "group": 4,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "74493062947307/20282409603651670423947251286016"
    },
    {
      "match": 25,
      "group": 4,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 25,
      "group": 4,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 25,
      "group": 4,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-1/36028797018963968"
    },
    {
      "match": 26,
      "group": 4,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 26,
      "group": 4,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-1/36028797018963968"
    },
    {
      "match": 26,
      "group": 4,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 27,
      "group": 5,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 27,
      "group": 5,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 28,
      "group": 5,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 28,
      "group": 5,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 29,
      "group": 5,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 29,
      "group": 5,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 30,
      "group": 5,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 30,
      "group": 5,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 31,
      "group": 5,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-1/36028797018963968"
    },
    {
      "match": 31,
      "group": 5,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 32,
      "group": 4,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-1/36028797018963968"
    },
    {
      "match": 33,
      "group": 4,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 34,
      "group": 4,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 34,
      "group": 4,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 35,
      "group": 5,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 35,
      "group": 5,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 36,
      "group": 5,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 36,
      "group": 5,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-1/36028797018963968"
    },
    {
      "match": 37,
      "group": 5,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 37,
      "group": 5,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 38,
      "group": 5,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 38,
      "group": 5,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 40,
      "group": 6,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 40,
      "group": 6,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 42,
      "group": 6,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 42,
      "group": 6,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 46,
      "group": 6,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1544332786180855/81129638414606681695789005144064"
    },
    {
      "match": 47,
      "group": 6,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 49,
      "group": 6,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 49,
      "group": 6,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 50,
      "group": 6,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-4862770567750103/1298074214633706907132624082305024"
    },
    {
      "match": 50,
      "group": 6,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 56,
      "group": 6,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-7595745685654311/324518553658426726783156020576256"
    },
    {
      "match": 57,
      "group": 6,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-7555839387312815/649037107316853453566312041152512"
    },
    {
      "match": 58,
      "group": 6,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 58,
      "group": 6,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 59,
      "group": 7,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/144115188075855872"
    },
    {
      "match": 60,
      "group": 7,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 62,
      "group": 7,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-5/288230376151711744"
    },
    {
      "match": 63,
      "group": 7,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 63,
      "group": 7,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-5/288230376151711744"
    },
    {
      "match": 64,
      "group": 7,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 67,
      "group": 8,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-1/36028797018963968"
    },
    {
      "match": 69,
      "group": 8,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 75,
      "group": 9,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 76,
      "group": 9,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 77,
      "group": 9,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 83,
      "group": 10,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/36028797018963968"
    },
    {
      "match": 84,
      "group": 10,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/36028797018963968"
    },
    {
      "match": 84,
      "group": 10,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 85,
      "group": 10,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 86,
      "group": 10,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 89,
      "group": 11,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-3/288230376151711744"
    },
    {
      "match": 93,
      "group": 12,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 93,
      "group": 12,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 93,
      "group": 12,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 94,
      "group": 12,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 94,
      "group": 12,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 94,
      "group": 12,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 95,
      "group": 12,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 95,
      "group": 12,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 96,
      "group": 12,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 96,
      "group": 12,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 97,
      "group": 13,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 97,
      "group": 13,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 97,
      "group": 13,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 97,
      "group": 13,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 98,
      "group": 13,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 98,
      "group": 13,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 98,
      "group": 13,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 99,
      "group": 13,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 99,
      "group": 13,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 99,
      "group": 13,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 100,
      "group": 13,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 100,
      "group": 13,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 100,
      "group": 13,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 101,
      "group": 13,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 101,
      "group": 13,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 101,
      "group": 13,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 101,
      "group": 13,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-3/72057594037927936"
    },
    {
      "match": 101,
      "group": 13,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 102,
      "group": 13,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 102,
      "group": 13,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 102,
      "group": 13,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 103,
      "group": 13,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 103,
      "group": 13,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 103,
      "group": 13,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 104,
      "group": 13,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/144115188075855872"
    },
    {
      "match": 104,
      "group": 13,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-3/72057594037927936"
    },
    {
      "match": 104,
      "group": 13,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 105,
      "group": 13,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 105,
      "group": 13,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 106,
      "group": 13,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 106,
      "group": 13,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 107,
      "group": 13,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 107,
      "group": 13,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 108,
      "group": 13,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-3/72057594037927936"
    },
    {
      "match": 108,
      "group": 13,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 109,
      "group": 12,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 109,
      "group": 12,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 109,
      "group": 12,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 110,
      "group": 12,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 112,
      "group": 12,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 112,
      "group": 12,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 112,
      "group": 12,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 113,
      "group": 12,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 113,
      "group": 12,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 113,
      "group": 12,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 114,
      "group": 12,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 114,
      "group": 12,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 115,
      "group": 12,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 115,
      "group": 12,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 115,
      "group": 12,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 116,
      "group": 12,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 116,
      "group": 12,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 117,
      "group": 12,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 117,
      "group": 12,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 117,
      "group": 12,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 117,
      "group": 12,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 118,
      "group": 12,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 118,
      "group": 12,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 118,
      "group": 12,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 119,
      "group": 12,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 119,
      "group": 12,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 120,
      "group": 12,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 120,
      "group": 12,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 121,
      "group": 12,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 121,
      "group": 12,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 122,
      "group": 14,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 126,
      "group": 14,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-1/144115188075855872"
    },
    {
      "match": 130,
      "group": 14,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 132,
      "group": 14,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 132,
      "group": 14,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-1/36028797018963968"
    },
    {
      "match": 133,
      "group": 14,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 133,
      "group": 14,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 134,
      "group": 14,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 134,
      "group": 14,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 134,
      "group": 14,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-1/144115188075855872"
    },
    {
      "match": 135,
      "group": 15,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-1/36028797018963968"
    },
    {
      "match": 135,
      "group": 15,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 142,
      "group": 15,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 143,
      "group": 15,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 143,
      "group": 15,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 144,
      "group": 15,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 144,
      "group": 15,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 145,
      "group": 15,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 147,
      "group": 15,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 157,
      "group": 16,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 159,
      "group": 16,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 166,
      "group": 17,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 167,
      "group": 17,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/144115188075855872"
    },
    {
      "match": 167,
      "group": 17,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 168,
      "group": 17,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 168,
      "group": 17,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 169,
      "group": 17,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "3/144115188075855872"
    },
    {
      "match": 169,
      "group": 17,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-399602639627671/162259276829213363391578010288128"
    },
    {
      "match": 170,
      "group": 17,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 171,
      "group": 17,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 172,
      "group": 17,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/144115188075855872"
    },
    {
      "match": 172,
      "group": 17,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 173,
      "group": 17,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "3/144115188075855872"
    },
    {
      "match": 174,
      "group": 18,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 175,
      "group": 18,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 175,
      "group": 18,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 177,
      "group": 19,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 178,
      "group": 19,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 179,
      "group": 22,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-1/144115188075855872"
    },
    {
      "match": 181,
      "group": 22,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 182,
      "group": 22,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "89/4611686018427387904"
    },
    {
      "match": 182,
      "group": 22,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/144115188075855872"
    },
    {
      "match": 182,
      "group": 22,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 183,
      "group": 22,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 183,
      "group": 22,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 193,
      "group": 45,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 193,
      "group": 45,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 193,
      "group": 45,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-15/576460752303423488"
    },
    {
      "match": 194,
      "group": 45,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 194,
      "group": 45,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 195,
      "group": 45,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 196,
      "group": 45,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 196,
      "group": 45,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 197,
      "group": 45,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-1/576460752303423488"
    },
    {
      "match": 197,
      "group": 45,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 198,
      "group": 45,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 198,
      "group": 45,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 199,
      "group": 45,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 199,
      "group": 45,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 200,
      "group": 45,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 200,
      "group": 45,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 200,
      "group": 45,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 201,
      "group": 45,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 201,
      "group": 45,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 201,
      "group": 45,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 202,
      "group": 45,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 202,
      "group": 45,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 202,
      "group": 45,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 203,
      "group": 45,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 203,
      "group": 45,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 204,
      "group": 45,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 204,
      "group": 45,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 205,
      "group": 45,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 205,
      "group": 45,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 205,
      "group": 45,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 206,
      "group": 45,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 206,
      "group": 45,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 207,
      "group": 45,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 207,
      "group": 45,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-15/576460752303423488"
    },
    {
      "match": 208,
      "group": 45,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 208,
      "group": 45,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 209,
      "group": 45,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 209,
      "group": 45,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 220,
      "group": 54,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 220,
      "group": 54,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-1/36028797018963968"
    },
    {
      "match": 221,
      "group": 54,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 226,
      "group": 54,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 227,
      "group": 54,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 227,
      "group": 54,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-1/36028797018963968"
    },
    {
      "match": 227,
      "group": 54,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 228,
      "group": 54,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 228,
      "group": 54,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 229,
      "group": 54,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 229,
      "group": 54,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-1/36028797018963968"
    },
    {
      "match": 229,
      "group": 54,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 229,
      "group": 54,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 230,
      "group": 54,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-1/36028797018963968"
    },
    {
      "match": 230,
      "group": 54,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 231,
      "group": 54,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 231,
      "group": 54,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 231,
      "group": 54,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 232,
      "group": 54,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-1/36028797018963968"
    },
    {
      "match": 232,
      "group": 54,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 233,
      "group": 54,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 233,
      "group": 54,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 234,
      "group": 54,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 235,
      "group": 54,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 237,
      "group": 54,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 237,
      "group": 54,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 238,
      "group": 54,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 239,
      "group": 54,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 239,
      "group": 54,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 240,
      "group": 54,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 240,
      "group": 54,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 240,
      "group": 54,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 241,
      "group": 55,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-1/36028797018963968"
    },
    {
      "match": 241,
      "group": 55,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-1/36028797018963968"
    },
    {
      "match": 242,
      "group": 55,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-1/36028797018963968"
    },
    {
      "match": 242,
      "group": 55,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-1/36028797018963968"
    },
    {
      "match": 243,
      "group": 56,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 243,
      "group": 56,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 243,
      "group": 56,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 243,
      "group": 56,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 244,
      "group": 56,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 244,
      "group": 56,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 244,
      "group": 56,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 244,
      "group": 56,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-3/72057594037927936"
    },
    {
      "match": 245,
      "group": 56,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 245,
      "group": 56,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 245,
      "group": 56,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 245,
      "group": 56,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-3/72057594037927936"
    },
    {
      "match": 246,
      "group": 56,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-1/576460752303423488"
    },
    {
      "match": 246,
      "group": 56,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 246,
      "group": 56,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 246,
      "group": 56,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-3/72057594037927936"
    },
    {
      "match": 247,
      "group": 56,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 247,
      "group": 56,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 247,
      "group": 56,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 247,
      "group": 56,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 248,
      "group": 56,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 248,
      "group": 56,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 248,
      "group": 56,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-3/72057594037927936"
    },
    {
      "match": 249,
      "group": 56,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 249,
      "group": 56,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 249,
      "group": 56,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 249,
      "group": 56,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-3/72057594037927936"
    },
    {
      "match": 250,
      "group": 56,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 250,
      "group": 56,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 250,
      "group": 56,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-3/72057594037927936"
    },
    {
      "match": 251,
      "group": 56,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 251,
      "group": 56,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "343422040649255/324518553658426726783156020576256"
    },
    {
      "match": 251,
      "group": 56,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 251,
      "group": 56,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-3/72057594037927936"
    },
    {
      "match": 252,
      "group": 56,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-18874692093349/81129638414606681695789005144064"
    },
    {
      "match": 252,
      "group": 56,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 252,
      "group": 56,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-3/72057594037927936"
    },
    {
      "match": 253,
      "group": 56,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 253,
      "group": 56,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 253,
      "group": 56,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 253,
      "group": 56,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 254,
      "group": 56,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 254,
      "group": 56,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 254,
      "group": 56,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 254,
      "group": 56,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 255,
      "group": 57,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-7/576460752303423488"
    },
    {
      "match": 255,
      "group": 57,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-7/576460752303423488"
    },
    {
      "match": 256,
      "group": 57,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-7/576460752303423488"
    },
    {
      "match": 256,
      "group": 57,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-7/576460752303423488"
    },
    {
      "match": 257,
      "group": 57,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-7/576460752303423488"
    },
    {
      "match": 257,
      "group": 57,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-7/576460752303423488"
    },
    {
      "match": 258,
      "group": 57,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-7/576460752303423488"
    },
    {
      "match": 258,
      "group": 57,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-7/576460752303423488"
    },
    {
      "match": 259,
      "group": 57,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 259,
      "group": 57,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-7/576460752303423488"
    },
    {
      "match": 259,
      "group": 57,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-7/576460752303423488"
    },
    {
      "match": 260,
      "group": 57,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-7/576460752303423488"
    },
    {
      "match": 260,
      "group": 57,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-7/576460752303423488"
    },
    {
      "match": 261,
      "group": 57,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 261,
      "group": 57,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-7/576460752303423488"
    },
    {
      "match": 261,
      "group": 57,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-7/576460752303423488"
    },
    {
      "match": 262,
      "group": 57,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-7/576460752303423488"
    },
    {
      "match": 262,
      "group": 57,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-7/576460752303423488"
    },
    {
      "match": 263,
      "group": 57,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-7/576460752303423488"
    },
    {
      "match": 263,
      "group": 57,
      "axis": 2,
      "extremum": "max",
      "difference_exact": "-7/576460752303423488"
    },
    {
      "match": 267,
      "group": 58,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 270,
      "group": 58,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-5/288230376151711744"
    },
    {
      "match": 272,
      "group": 59,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-11/288230376151711744"
    },
    {
      "match": 272,
      "group": 59,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 273,
      "group": 59,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 273,
      "group": 59,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 274,
      "group": 59,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 274,
      "group": 59,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-11/288230376151711744"
    },
    {
      "match": 275,
      "group": 59,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 275,
      "group": 59,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 276,
      "group": 59,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 276,
      "group": 59,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 277,
      "group": 59,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 277,
      "group": 59,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 278,
      "group": 59,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 278,
      "group": 59,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-11/288230376151711744"
    },
    {
      "match": 279,
      "group": 59,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 279,
      "group": 59,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 280,
      "group": 59,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 280,
      "group": 59,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 281,
      "group": 59,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 281,
      "group": 59,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 282,
      "group": 59,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 282,
      "group": 59,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-11/288230376151711744"
    },
    {
      "match": 283,
      "group": 59,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 283,
      "group": 59,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 284,
      "group": 59,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 284,
      "group": 59,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 285,
      "group": 59,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 285,
      "group": 59,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 285,
      "group": 59,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-1/36028797018963968"
    },
    {
      "match": 286,
      "group": 59,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 286,
      "group": 59,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 287,
      "group": 59,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 287,
      "group": 59,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 287,
      "group": 59,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 288,
      "group": 59,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 288,
      "group": 59,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 288,
      "group": 59,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 289,
      "group": 59,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 289,
      "group": 59,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "5/288230376151711744"
    },
    {
      "match": 289,
      "group": 59,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 308,
      "group": 60,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-3/144115188075855872"
    },
    {
      "match": 308,
      "group": 60,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 309,
      "group": 60,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/72057594037927936"
    },
    {
      "match": 309,
      "group": 60,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 310,
      "group": 60,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/144115188075855872"
    },
    {
      "match": 311,
      "group": 60,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "-9/576460752303423488"
    },
    {
      "match": 311,
      "group": 60,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 312,
      "group": 60,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "1/144115188075855872"
    },
    {
      "match": 312,
      "group": 60,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "1/36028797018963968"
    },
    {
      "match": 313,
      "group": 60,
      "axis": 2,
      "extremum": "min",
      "difference_exact": "-1/72057594037927936"
    },
    {
      "match": 319,
      "group": 61,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-3/576460752303423488"
    },
    {
      "match": 319,
      "group": 61,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-3/576460752303423488"
    },
    {
      "match": 320,
      "group": 61,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 320,
      "group": 61,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-3/576460752303423488"
    },
    {
      "match": 320,
      "group": 61,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-3/576460752303423488"
    },
    {
      "match": 321,
      "group": 61,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 321,
      "group": 61,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-3/576460752303423488"
    },
    {
      "match": 321,
      "group": 61,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-3/576460752303423488"
    },
    {
      "match": 322,
      "group": 61,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 322,
      "group": 61,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-3/576460752303423488"
    },
    {
      "match": 322,
      "group": 61,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-3/576460752303423488"
    },
    {
      "match": 323,
      "group": 61,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 323,
      "group": 61,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-3/576460752303423488"
    },
    {
      "match": 323,
      "group": 61,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-3/576460752303423488"
    },
    {
      "match": 324,
      "group": 61,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 324,
      "group": 61,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-3/576460752303423488"
    },
    {
      "match": 325,
      "group": 61,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "-1/18014398509481984"
    },
    {
      "match": 325,
      "group": 61,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-3/576460752303423488"
    },
    {
      "match": 326,
      "group": 61,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 326,
      "group": 61,
      "axis": 1,
      "extremum": "max",
      "difference_exact": "-3/576460752303423488"
    },
    {
      "match": 327,
      "group": 61,
      "axis": 0,
      "extremum": "min",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 327,
      "group": 61,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "1/576460752303423488"
    },
    {
      "match": 328,
      "group": 61,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-3/576460752303423488"
    },
    {
      "match": 329,
      "group": 61,
      "axis": 0,
      "extremum": "max",
      "difference_exact": "1/18014398509481984"
    },
    {
      "match": 329,
      "group": 61,
      "axis": 1,
      "extremum": "min",
      "difference_exact": "-3/576460752303423488"
    }
  ],
  "source_geometry_sha256": "61e419c842dea133d9e32d88c814cdd5f617f6ad2a6b65b14728dab8d2205696"
}