From e1399553d646e333c2f201cc3fba1ccfee6cf6e9 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 29 Oct 2022 20:11:56 +0100
Subject: [PATCH] wip

---
 src/bin/every-corner.rs | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/bin/every-corner.rs b/src/bin/every-corner.rs
index a11a6dd..76fe4b7 100644
--- a/src/bin/every-corner.rs
+++ b/src/bin/every-corner.rs
@@ -11,7 +11,18 @@ fn main() -> io::Result<()> {
       .all(|need| shape.iter().any(|got| &got[..]==need));
 
     if !has_all_corners { continue }
+
+    if !has_all_corners { continue }
     
+    let middle_vertices =
+      iter::repeat([1,2].into_iter())
+      .take(DIM)
+      .multi_cartesian_product()
+      .filter(|need| shape.iter().any(|got| &got[..]==need))
+      .count();
+
+    print!("{} ", middle_vertices);
+     
     print_shape(&shape)?;
   }
 
-- 
2.30.2