Run 'main' for (11,5), for which the bound wasn't tight.

diff --git a/data/main.11.5 b/data/main.11.5
new file mode 100644 (file)
index 0000000..756c0f6
--- /dev/null
+++ b/data/main.11.5
@@ -0,0 +1,9 @@
+11 into 5: min fragment 13/6   [v1-66-g4e22cc3]
+  Cut up 11 sticks of length 5 like this:
+    8 x (17/6 + 13/6)
+    2 x (8/3 + 7/3)
+    1 x (5/2 + 5/2)
+  Reassemble as 5 sticks of length 11 like this:
+    2 x (17/6 + 17/6 + 17/6 + 5/2)
+    1 x (17/6 + 17/6 + 8/3 + 8/3)
+    2 x (7/3 + 13/6 + 13/6 + 13/6 + 13/6)