{
 "variant": "square",
 "n": 3,
 "param": {
  "name": "x",
  "lo_label": "0",
  "hi_label": "1",
  "lo": 0.0,
  "hi": 1.0,
  "stored_at": 0.0
 },
 "moving": [
  2
 ],
 "samples": [
  [
   [
    "0.0",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.0"
   ],
   [
    "0.0",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.0",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.0"
   ],
   [
    "0.0625000000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.0",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.0"
   ],
   [
    "0.125000000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.0",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.0"
   ],
   [
    "0.187500000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.0",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.0"
   ],
   [
    "0.250000000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.0",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.0"
   ],
   [
    "0.312500000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.0",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.0"
   ],
   [
    "0.375000000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.0",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.0"
   ],
   [
    "0.437500000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.0",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.0"
   ],
   [
    "0.500000000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.0",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.0"
   ],
   [
    "0.562500000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.0",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.0"
   ],
   [
    "0.625000000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.0",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.0"
   ],
   [
    "0.687500000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.0",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.0"
   ],
   [
    "0.750000000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.0",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.0"
   ],
   [
    "0.812500000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.0",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.0"
   ],
   [
    "0.875000000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.0",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.0"
   ],
   [
    "0.937500000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.0",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ]
 ],
 "caption": "The optimum is not unique: with the two lower corners fixed, the third point may sit anywhere on the top edge \u2014 the triangle keeps base 1 and height 1, so its area is exactly \u00bd for every x \u2208 [0, 1]. One slice of the full family of area-\u00bd triangles.",
 "verification": "each sample's 30-decimal literals verified in exact arithmetic to within relative 1e-20 of the stored configuration's exact value at build time"
}