{
 "variant": "square",
 "n": 6,
 "param": {
  "name": "t",
  "lo_label": "0",
  "hi_label": "1/2",
  "lo": 0.0,
  "hi": 0.5,
  "stored_at": 0.0
 },
 "moving": [
  0,
  1,
  3,
  5
 ],
 "samples": [
  [
   [
    "0.0",
    "0.0"
   ],
   [
    "0.500000000000000000000000000000",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.500000000000000000000000000000"
   ],
   [
    "0.500000000000000000000000000000",
    "1.00000000000000000000000000000"
   ],
   [
    "0.0",
    "0.500000000000000000000000000000"
   ],
   [
    "1.00000000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.0312500000000000000000000000000",
    "0.0"
   ],
   [
    "0.531250000000000000000000000000",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.500000000000000000000000000000"
   ],
   [
    "0.468750000000000000000000000000",
    "1.00000000000000000000000000000"
   ],
   [
    "0.0",
    "0.500000000000000000000000000000"
   ],
   [
    "0.968750000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.0625000000000000000000000000000",
    "0.0"
   ],
   [
    "0.562500000000000000000000000000",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.500000000000000000000000000000"
   ],
   [
    "0.437500000000000000000000000000",
    "1.00000000000000000000000000000"
   ],
   [
    "0.0",
    "0.500000000000000000000000000000"
   ],
   [
    "0.937500000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.0937500000000000000000000000000",
    "0.0"
   ],
   [
    "0.593750000000000000000000000000",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.500000000000000000000000000000"
   ],
   [
    "0.406250000000000000000000000000",
    "1.00000000000000000000000000000"
   ],
   [
    "0.0",
    "0.500000000000000000000000000000"
   ],
   [
    "0.906250000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.125000000000000000000000000000",
    "0.0"
   ],
   [
    "0.625000000000000000000000000000",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.500000000000000000000000000000"
   ],
   [
    "0.375000000000000000000000000000",
    "1.00000000000000000000000000000"
   ],
   [
    "0.0",
    "0.500000000000000000000000000000"
   ],
   [
    "0.875000000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.156250000000000000000000000000",
    "0.0"
   ],
   [
    "0.656250000000000000000000000000",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.500000000000000000000000000000"
   ],
   [
    "0.343750000000000000000000000000",
    "1.00000000000000000000000000000"
   ],
   [
    "0.0",
    "0.500000000000000000000000000000"
   ],
   [
    "0.843750000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.187500000000000000000000000000",
    "0.0"
   ],
   [
    "0.687500000000000000000000000000",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.500000000000000000000000000000"
   ],
   [
    "0.312500000000000000000000000000",
    "1.00000000000000000000000000000"
   ],
   [
    "0.0",
    "0.500000000000000000000000000000"
   ],
   [
    "0.812500000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.218750000000000000000000000000",
    "0.0"
   ],
   [
    "0.718750000000000000000000000000",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.500000000000000000000000000000"
   ],
   [
    "0.281250000000000000000000000000",
    "1.00000000000000000000000000000"
   ],
   [
    "0.0",
    "0.500000000000000000000000000000"
   ],
   [
    "0.781250000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.250000000000000000000000000000",
    "0.0"
   ],
   [
    "0.750000000000000000000000000000",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.500000000000000000000000000000"
   ],
   [
    "0.250000000000000000000000000000",
    "1.00000000000000000000000000000"
   ],
   [
    "0.0",
    "0.500000000000000000000000000000"
   ],
   [
    "0.750000000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.281250000000000000000000000000",
    "0.0"
   ],
   [
    "0.781250000000000000000000000000",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.500000000000000000000000000000"
   ],
   [
    "0.218750000000000000000000000000",
    "1.00000000000000000000000000000"
   ],
   [
    "0.0",
    "0.500000000000000000000000000000"
   ],
   [
    "0.718750000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.312500000000000000000000000000",
    "0.0"
   ],
   [
    "0.812500000000000000000000000000",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.500000000000000000000000000000"
   ],
   [
    "0.187500000000000000000000000000",
    "1.00000000000000000000000000000"
   ],
   [
    "0.0",
    "0.500000000000000000000000000000"
   ],
   [
    "0.687500000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.343750000000000000000000000000",
    "0.0"
   ],
   [
    "0.843750000000000000000000000000",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.500000000000000000000000000000"
   ],
   [
    "0.156250000000000000000000000000",
    "1.00000000000000000000000000000"
   ],
   [
    "0.0",
    "0.500000000000000000000000000000"
   ],
   [
    "0.656250000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.375000000000000000000000000000",
    "0.0"
   ],
   [
    "0.875000000000000000000000000000",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.500000000000000000000000000000"
   ],
   [
    "0.125000000000000000000000000000",
    "1.00000000000000000000000000000"
   ],
   [
    "0.0",
    "0.500000000000000000000000000000"
   ],
   [
    "0.625000000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.406250000000000000000000000000",
    "0.0"
   ],
   [
    "0.906250000000000000000000000000",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.500000000000000000000000000000"
   ],
   [
    "0.0937500000000000000000000000000",
    "1.00000000000000000000000000000"
   ],
   [
    "0.0",
    "0.500000000000000000000000000000"
   ],
   [
    "0.593750000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.437500000000000000000000000000",
    "0.0"
   ],
   [
    "0.937500000000000000000000000000",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.500000000000000000000000000000"
   ],
   [
    "0.0625000000000000000000000000000",
    "1.00000000000000000000000000000"
   ],
   [
    "0.0",
    "0.500000000000000000000000000000"
   ],
   [
    "0.562500000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.468750000000000000000000000000",
    "0.0"
   ],
   [
    "0.968750000000000000000000000000",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.500000000000000000000000000000"
   ],
   [
    "0.0312500000000000000000000000000",
    "1.00000000000000000000000000000"
   ],
   [
    "0.0",
    "0.500000000000000000000000000000"
   ],
   [
    "0.531250000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ],
  [
   [
    "0.500000000000000000000000000000",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.0"
   ],
   [
    "1.00000000000000000000000000000",
    "0.500000000000000000000000000000"
   ],
   [
    "0.0",
    "1.00000000000000000000000000000"
   ],
   [
    "0.0",
    "0.500000000000000000000000000000"
   ],
   [
    "0.500000000000000000000000000000",
    "1.00000000000000000000000000000"
   ]
  ]
 ],
 "caption": "The Dress\u2013Yang\u2013Zeng family: the shear x \u21a6 x + t(1\u22122y) slides the bottom pair right and the top pair left. A shear preserves every triangle's area, so all six minimal triangles stay at exactly \u215b for the whole range t \u2208 [0, \u00bd]; the container is the only constraint. t = \u00bd is the 90\u00b0-rotated image of the original.",
 "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"
}