{
 "variant": "triangle",
 "n": 6,
 "param": {
  "name": "y",
  "lo_label": "3/8",
  "hi_label": "1/4",
  "lo": 0.375,
  "hi": 0.25,
  "stored_at": 0.0
 },
 "moving": [
  2
 ],
 "samples": [
  [
   [
    "0.250000000000000000000000000000",
    "0.0"
   ],
   [
    "0.750000000000000000000000000000",
    "0.0"
   ],
   [
    "0.0",
    "0.375000000000000000000000000000"
   ],
   [
    "0.750000000000000000000000000000",
    "0.250000000000000000000000000000"
   ],
   [
    "0.0",
    "1.00000000000000000000000000000"
   ],
   [
    "0.250000000000000000000000000000",
    "0.500000000000000000000000000000"
   ]
  ],
  [
   [
    "0.250000000000000000000000000000",
    "0.0"
   ],
   [
    "0.750000000000000000000000000000",
    "0.0"
   ],
   [
    "0.0",
    "0.367187500000000000000000000000"
   ],
   [
    "0.750000000000000000000000000000",
    "0.250000000000000000000000000000"
   ],
   [
    "0.0",
    "1.00000000000000000000000000000"
   ],
   [
    "0.250000000000000000000000000000",
    "0.500000000000000000000000000000"
   ]
  ],
  [
   [
    "0.250000000000000000000000000000",
    "0.0"
   ],
   [
    "0.750000000000000000000000000000",
    "0.0"
   ],
   [
    "0.0",
    "0.359375000000000000000000000000"
   ],
   [
    "0.750000000000000000000000000000",
    "0.250000000000000000000000000000"
   ],
   [
    "0.0",
    "1.00000000000000000000000000000"
   ],
   [
    "0.250000000000000000000000000000",
    "0.500000000000000000000000000000"
   ]
  ],
  [
   [
    "0.250000000000000000000000000000",
    "0.0"
   ],
   [
    "0.750000000000000000000000000000",
    "0.0"
   ],
   [
    "0.0",
    "0.351562500000000000000000000000"
   ],
   [
    "0.750000000000000000000000000000",
    "0.250000000000000000000000000000"
   ],
   [
    "0.0",
    "1.00000000000000000000000000000"
   ],
   [
    "0.250000000000000000000000000000",
    "0.500000000000000000000000000000"
   ]
  ],
  [
   [
    "0.250000000000000000000000000000",
    "0.0"
   ],
   [
    "0.750000000000000000000000000000",
    "0.0"
   ],
   [
    "0.0",
    "0.343750000000000000000000000000"
   ],
   [
    "0.750000000000000000000000000000",
    "0.250000000000000000000000000000"
   ],
   [
    "0.0",
    "1.00000000000000000000000000000"
   ],
   [
    "0.250000000000000000000000000000",
    "0.500000000000000000000000000000"
   ]
  ],
  [
   [
    "0.250000000000000000000000000000",
    "0.0"
   ],
   [
    "0.750000000000000000000000000000",
    "0.0"
   ],
   [
    "0.0",
    "0.335937500000000000000000000000"
   ],
   [
    "0.750000000000000000000000000000",
    "0.250000000000000000000000000000"
   ],
   [
    "0.0",
    "1.00000000000000000000000000000"
   ],
   [
    "0.250000000000000000000000000000",
    "0.500000000000000000000000000000"
   ]
  ],
  [
   [
    "0.250000000000000000000000000000",
    "0.0"
   ],
   [
    "0.750000000000000000000000000000",
    "0.0"
   ],
   [
    "0.0",
    "0.328125000000000000000000000000"
   ],
   [
    "0.750000000000000000000000000000",
    "0.250000000000000000000000000000"
   ],
   [
    "0.0",
    "1.00000000000000000000000000000"
   ],
   [
    "0.250000000000000000000000000000",
    "0.500000000000000000000000000000"
   ]
  ],
  [
   [
    "0.250000000000000000000000000000",
    "0.0"
   ],
   [
    "0.750000000000000000000000000000",
    "0.0"
   ],
   [
    "0.0",
    "0.320312500000000000000000000000"
   ],
   [
    "0.750000000000000000000000000000",
    "0.250000000000000000000000000000"
   ],
   [
    "0.0",
    "1.00000000000000000000000000000"
   ],
   [
    "0.250000000000000000000000000000",
    "0.500000000000000000000000000000"
   ]
  ],
  [
   [
    "0.250000000000000000000000000000",
    "0.0"
   ],
   [
    "0.750000000000000000000000000000",
    "0.0"
   ],
   [
    "0.0",
    "0.312500000000000000000000000000"
   ],
   [
    "0.750000000000000000000000000000",
    "0.250000000000000000000000000000"
   ],
   [
    "0.0",
    "1.00000000000000000000000000000"
   ],
   [
    "0.250000000000000000000000000000",
    "0.500000000000000000000000000000"
   ]
  ],
  [
   [
    "0.250000000000000000000000000000",
    "0.0"
   ],
   [
    "0.750000000000000000000000000000",
    "0.0"
   ],
   [
    "0.0",
    "0.304687500000000000000000000000"
   ],
   [
    "0.750000000000000000000000000000",
    "0.250000000000000000000000000000"
   ],
   [
    "0.0",
    "1.00000000000000000000000000000"
   ],
   [
    "0.250000000000000000000000000000",
    "0.500000000000000000000000000000"
   ]
  ],
  [
   [
    "0.250000000000000000000000000000",
    "0.0"
   ],
   [
    "0.750000000000000000000000000000",
    "0.0"
   ],
   [
    "0.0",
    "0.296875000000000000000000000000"
   ],
   [
    "0.750000000000000000000000000000",
    "0.250000000000000000000000000000"
   ],
   [
    "0.0",
    "1.00000000000000000000000000000"
   ],
   [
    "0.250000000000000000000000000000",
    "0.500000000000000000000000000000"
   ]
  ],
  [
   [
    "0.250000000000000000000000000000",
    "0.0"
   ],
   [
    "0.750000000000000000000000000000",
    "0.0"
   ],
   [
    "0.0",
    "0.289062500000000000000000000000"
   ],
   [
    "0.750000000000000000000000000000",
    "0.250000000000000000000000000000"
   ],
   [
    "0.0",
    "1.00000000000000000000000000000"
   ],
   [
    "0.250000000000000000000000000000",
    "0.500000000000000000000000000000"
   ]
  ],
  [
   [
    "0.250000000000000000000000000000",
    "0.0"
   ],
   [
    "0.750000000000000000000000000000",
    "0.0"
   ],
   [
    "0.0",
    "0.281250000000000000000000000000"
   ],
   [
    "0.750000000000000000000000000000",
    "0.250000000000000000000000000000"
   ],
   [
    "0.0",
    "1.00000000000000000000000000000"
   ],
   [
    "0.250000000000000000000000000000",
    "0.500000000000000000000000000000"
   ]
  ],
  [
   [
    "0.250000000000000000000000000000",
    "0.0"
   ],
   [
    "0.750000000000000000000000000000",
    "0.0"
   ],
   [
    "0.0",
    "0.273437500000000000000000000000"
   ],
   [
    "0.750000000000000000000000000000",
    "0.250000000000000000000000000000"
   ],
   [
    "0.0",
    "1.00000000000000000000000000000"
   ],
   [
    "0.250000000000000000000000000000",
    "0.500000000000000000000000000000"
   ]
  ],
  [
   [
    "0.250000000000000000000000000000",
    "0.0"
   ],
   [
    "0.750000000000000000000000000000",
    "0.0"
   ],
   [
    "0.0",
    "0.265625000000000000000000000000"
   ],
   [
    "0.750000000000000000000000000000",
    "0.250000000000000000000000000000"
   ],
   [
    "0.0",
    "1.00000000000000000000000000000"
   ],
   [
    "0.250000000000000000000000000000",
    "0.500000000000000000000000000000"
   ]
  ],
  [
   [
    "0.250000000000000000000000000000",
    "0.0"
   ],
   [
    "0.750000000000000000000000000000",
    "0.0"
   ],
   [
    "0.0",
    "0.257812500000000000000000000000"
   ],
   [
    "0.750000000000000000000000000000",
    "0.250000000000000000000000000000"
   ],
   [
    "0.0",
    "1.00000000000000000000000000000"
   ],
   [
    "0.250000000000000000000000000000",
    "0.500000000000000000000000000000"
   ]
  ],
  [
   [
    "0.250000000000000000000000000000",
    "0.0"
   ],
   [
    "0.750000000000000000000000000000",
    "0.0"
   ],
   [
    "0.0",
    "0.250000000000000000000000000000"
   ],
   [
    "0.750000000000000000000000000000",
    "0.250000000000000000000000000000"
   ],
   [
    "0.0",
    "1.00000000000000000000000000000"
   ],
   [
    "0.250000000000000000000000000000",
    "0.500000000000000000000000000000"
   ]
  ]
 ],
 "caption": "One 1-parameter slice of the optimal set: point 2 slides down the left edge for y \u2208 [1/4, 3/8] (right-frame coordinates; the stored member is the top endpoint). Its motion is parallel to the segment through points 0 and 5, so the tied triangle (0,2,5) keeps its area; the released triangle (2,3,5) grows. Every member achieves exactly A = \u215b.",
 "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"
}