[
  [
    [ 0.08863399052163201, 0, 7.945353434488354 ],
    [ 3.378206896539192, 5, 8.002351198650098 ]
  ],
  [
    [ 3.378206896539192, 2.630353912168487, 7.945353434488354 ],
    [ 5.571255500550899, 5, 8.002351198650098 ]
  ],
  [
    [ 5.571255500550899, 0, 7.945353434488354 ],
    [ 8.86082840656846, 5, 8.002351198650098 ]
  ],
  [
    [ 8.711206594412396, 0, 7.973378476531268 ],
    [ 8.860828406568459, 2.5848529603361188, 10.1657374762623 ]
  ],
  [
    [ 8.711206594412396, 0, 11.627310142749657 ],
    [ 8.860828406568459, 2.5848529603361188, 13.819669142480691 ]
  ],
  [
    [ 8.711206594412396, 2.5848529603361188, 7.973378476531268 ],
    [ 8.860828406568459, 5, 13.819669142480691 ]
  ],
  [
    [ 8.707571908219412, 0, 13.473379704364012 ],
    [ 8.86082840656846, 2.5864595207641274, 15.893229126840174 ]
  ],
  [
    [ 8.707571908219412, 0, 17.506462075157614 ],
    [ 8.86082840656846, 2.5864595207641274, 19.926311497633776 ]
  ],
  [
    [ 8.707571908219412, 2.5864595207641274, 13.473379704364012 ],
    [ 8.86082840656846, 5, 19.926311497633776 ]
  ],
  [
    [ 11.589091855233097, 0, 0 ],
    [ 11.848771444096588, 2.646406220198294, 2.9431825005354924 ]
  ],
  [
    [ 11.589091855233097, 0, 4.962769836160426 ],
    [ 11.848771444096588, 2.646406220198294, 7.9921508395978265 ]
  ],
  [
    [ 11.589091855233097, 2.646406220198294, 0 ],
    [ 11.848771444096588, 5, 7.9921508395978265 ]
  ],
  [
    [ 8.711206594412396, 0, 7.973378476531268 ],
    [ 9.887793413043969, 5, 8.002351198650098 ]
  ],
  [
    [ 9.887793413043969, 2.5848529603361188, 7.973378476531268 ],
    [ 10.672184625465018, 5, 8.002351198650098 ]
  ],
  [
    [ 10.672184625465018, 0, 7.973378476531268 ],
    [ 11.84877144409659, 5, 8.002351198650098 ]
  ],
  [
    [ 11.589091855233097, 0, 7.973378476531268 ],
    [ 14.659167615413185, 5, 7.9921508395978265 ]
  ],
  [
    [ 14.659167615413185, 2.5848529603361188, 7.973378476531268 ],
    [ 16.70588478886658, 5, 7.9921508395978265 ]
  ],
  [
    [ 16.70588478886658, 0, 7.973378476531268 ],
    [ 19.77596054904667, 5, 7.9921508395978265 ]
  ],
  [
    [ 8.711206594412396, 0, 13.473379704364012 ],
    [ 12.860489327400249, 5, 13.819669142480691 ]
  ],
  [
    [ 12.860489327400249, 2.5848529603361188, 13.473379704364012 ],
    [ 15.626677816058816, 5, 13.819669142480691 ]
  ],
  [
    [ 15.626677816058816, 0, 13.473379704364012 ],
    [ 19.77596054904667, 5, 13.819669142480691 ]
  ],
  [ [ 0, 0, 0 ], [ 0.25, 0.45, 20 ] ],
  [ [ 0, 0.45, 0 ], [ 0.25, 4.55, 0.45 ] ],
  [ [ 0, 0.45, 2.496428571428572 ], [ 0.25, 4.55, 3.178571428571429 ] ],
  [
    [ 0, 0.45, 5.2250000000000005 ],
    [ 0.25, 4.55, 5.9071428571428575 ]
  ],
  [ [ 0, 0.45, 7.953571428571429 ], [ 0.25, 4.55, 8.635714285714286 ] ],
  [
    [ 0, 0.45, 10.682142857142857 ],
    [ 0.25, 4.55, 11.364285714285714 ]
  ],
  [
    [ 0, 0.45, 13.410714285714286 ],
    [ 0.25, 4.55, 14.092857142857142 ]
  ],
  [
    [ 0, 0.45, 16.139285714285716 ],
    [ 0.25, 4.55, 16.821428571428573 ]
  ],
  [ [ 0, 0.45, 18.867857142857144 ], [ 0.25, 4.55, 20 ] ],
  [ [ 0, 4.55, 0 ], [ 0.25, 5, 20 ] ],
  [ [ 0.25, 0, 0 ], [ 19.75, 0.25, 20 ] ],
  [ [ 0.25, 0.25, 0 ], [ 0.45, 4.75, 0.25 ] ],
  [ [ 0.45, 0.25, 0 ], [ 3.3150000000000004, 0.45, 0.25 ] ],
  [ [ 0.45, 4.55, 0 ], [ 3.3150000000000004, 4.75, 0.25 ] ],
  [
    [ 3.3150000000000004, 0.25, 0 ],
    [ 4.2700000000000005, 4.75, 0.25 ]
  ],
  [
    [ 4.2700000000000005, 0.25, 0 ],
    [ 7.135000000000001, 0.45, 0.25 ]
  ],
  [
    [ 4.2700000000000005, 4.55, 0 ],
    [ 7.135000000000001, 4.75, 0.25 ]
  ],
  [ [ 7.135000000000001, 0.25, 0 ], [ 8.09, 4.75, 0.25 ] ],
  [ [ 8.09, 0.25, 0 ], [ 10.955, 0.45, 0.25 ] ],
  [ [ 8.09, 4.55, 0 ], [ 10.955, 4.75, 0.25 ] ],
  [ [ 10.955, 0.25, 0 ], [ 11.91, 4.75, 0.25 ] ],
  [ [ 11.91, 0.25, 0 ], [ 14.774999999999999, 0.45, 0.25 ] ],
  [ [ 11.91, 4.55, 0 ], [ 14.774999999999999, 4.75, 0.25 ] ],
  [ [ 14.774999999999999, 0.25, 0 ], [ 15.73, 4.75, 0.25 ] ],
  [ [ 15.73, 0.25, 0 ], [ 18.595000000000002, 0.45, 0.25 ] ],
  [ [ 15.73, 4.55, 0 ], [ 18.595000000000002, 4.75, 0.25 ] ],
  [ [ 18.595000000000002, 0.25, 0 ], [ 19.75, 4.75, 0.25 ] ],
  [ [ 0.25, 0.25, 19.75 ], [ 0.45, 4.75, 20 ] ],
  [ [ 0.45, 0.25, 19.75 ], [ 3.3150000000000004, 0.45, 20 ] ],
  [ [ 0.45, 4.55, 19.75 ], [ 3.3150000000000004, 4.75, 20 ] ],
  [
    [ 3.3150000000000004, 0.25, 19.75 ],
    [ 4.2700000000000005, 4.75, 20 ]
  ],
  [
    [ 4.2700000000000005, 0.25, 19.75 ],
    [ 7.135000000000001, 0.45, 20 ]
  ],
  [
    [ 4.2700000000000005, 4.55, 19.75 ],
    [ 7.135000000000001, 4.75, 20 ]
  ],
  [ [ 7.135000000000001, 0.25, 19.75 ], [ 8.09, 4.75, 20 ] ],
  [ [ 8.09, 0.25, 19.75 ], [ 10.955, 0.45, 20 ] ],
  [ [ 8.09, 4.55, 19.75 ], [ 10.955, 4.75, 20 ] ],
  [ [ 10.955, 0.25, 19.75 ], [ 11.91, 4.75, 20 ] ],
  [ [ 11.91, 0.25, 19.75 ], [ 14.774999999999999, 0.45, 20 ] ],
  [ [ 11.91, 4.55, 19.75 ], [ 14.774999999999999, 4.75, 20 ] ],
  [ [ 14.774999999999999, 0.25, 19.75 ], [ 15.73, 4.75, 20 ] ],
  [ [ 15.73, 0.25, 19.75 ], [ 18.595000000000002, 0.45, 20 ] ],
  [ [ 15.73, 4.55, 19.75 ], [ 18.595000000000002, 4.75, 20 ] ],
  [ [ 18.595000000000002, 0.25, 19.75 ], [ 19.75, 4.75, 20 ] ],
  [ [ 0.25, 4.75, 0 ], [ 19.75, 5, 20 ] ],
  [ [ 19.75, 0, 0 ], [ 20, 0.45, 20 ] ],
  [ [ 19.75, 0.45, 0 ], [ 20, 4.55, 0.45 ] ],
  [
    [ 19.75, 0.45, 2.496428571428572 ],
    [ 20, 4.55, 3.178571428571429 ]
  ],
  [
    [ 19.75, 0.45, 5.2250000000000005 ],
    [ 20, 4.55, 5.9071428571428575 ]
  ],
  [
    [ 19.75, 0.45, 7.953571428571429 ],
    [ 20, 4.55, 8.635714285714286 ]
  ],
  [
    [ 19.75, 0.45, 10.682142857142857 ],
    [ 20, 4.55, 11.364285714285714 ]
  ],
  [
    [ 19.75, 0.45, 13.410714285714286 ],
    [ 20, 4.55, 14.092857142857142 ]
  ],
  [
    [ 19.75, 0.45, 16.139285714285716 ],
    [ 20, 4.55, 16.821428571428573 ]
  ],
  [ [ 19.75, 0.45, 18.867857142857144 ], [ 20, 4.55, 20 ] ],
  [ [ 19.75, 4.55, 0 ], [ 20, 5, 20 ] ]
]