diff --git a/tst/standard/attributes/attr.tst b/tst/standard/attributes/attr.tst
index f64f5f474..669060462 100644
--- a/tst/standard/attributes/attr.tst
+++ b/tst/standard/attributes/attr.tst
@@ -1980,311 +1980,218 @@ gap> IsPartialOrderDigraph(DigraphReflexiveTransitiveClosure(GR));
 true
 gap> S := FullTransformationMonoid(4);;
 gap> s := NambooripadPartialOrder(S);
-[ [  ], [ 1, 86 ], [ 1, 171 ], [ 1, 256 ],
-  [ 1, 86 ], [ 1, 86 ],
-  [ 1, 3, 5, 6, 11, 86, 87, 167, 171 ],
-  [ 1, 4, 5, 6, 16, 86, 88, 248, 256 ],
-  [ 1, 171 ], [ 1, 2, 6, 9, 11, 86, 90, 170, 171 ],
-  [ 1, 171 ],
-  [ 1, 4, 9, 11, 16, 171, 172, 252, 256 ],
-  [ 1, 256 ], [ 1, 2, 6, 13, 16, 86, 94, 254, 256 ]
-    , [ 1, 3, 11, 13, 16, 171, 175, 255, 256 ],
-  [ 1, 256 ], [ 1, 86 ], [ 1, 86 ],
-  [ 1, 3, 17, 18, 35, 86, 87, 155, 171 ],
-  [ 1, 4, 17, 18, 52, 86, 88, 224, 256 ],
-  [ 1, 86 ], [ 1, 86 ],
-  [ 1, 3, 21, 22, 43, 86, 87, 151, 171 ],
-  [ 1, 4, 21, 22, 64, 86, 88, 216, 256 ],
-  [ 1, 9, 17, 21, 41, 86, 90, 155, 171 ],
-  [ 1, 9, 18, 22, 43, 86, 90, 154, 171 ],
-  [ 1, 11, 17, 22, 43, 86, 91, 155, 171 ],
-  [ 1, 4, 9, 11, 12, 16, 17, 18, 20, 21, 22, 24,
-      25, 26, 27, 32, 41, 43, 44, 52, 60, 64, 86,
-      88, 90, 91, 92, 96, 154, 155, 156, 171, 172,
-      188, 216, 220, 224, 236, 252, 256 ],
-  [ 1, 13, 17, 21, 61, 86, 94, 224, 256 ],
-  [ 1, 13, 18, 22, 64, 86, 94, 222, 256 ],
-  [ 1, 3, 11, 13, 15, 16, 17, 18, 19, 21, 22, 23,
-      27, 29, 30, 32, 35, 43, 47, 61, 63, 64, 86,
-      87, 91, 94, 95, 96, 151, 155, 159, 171, 175,
-      191, 222, 223, 224, 239, 255, 256 ],
-  [ 1, 16, 17, 22, 64, 86, 96, 224, 256 ],
-  [ 1, 171 ],
-  [ 1, 2, 18, 33, 35, 86, 102, 170, 171 ],
-  [ 1, 171 ],
-  [ 1, 4, 33, 35, 52, 171, 172, 240, 256 ],
-  [ 1, 5, 21, 33, 41, 86, 102, 167, 171 ],
-  [ 1, 6, 22, 33, 43, 86, 102, 166, 171 ],
-  [ 1, 5, 22, 35, 43, 86, 103, 167, 171 ],
-  [ 1, 4, 5, 6, 8, 16, 21, 22, 24, 33, 35, 36, 37,
-      38, 39, 41, 43, 44, 48, 52, 56, 64, 86, 88,
-      102, 103, 104, 120, 166, 167, 168, 171, 172,
-      176, 216, 232, 236, 240, 248, 256 ],
-  [ 1, 171 ],
-  [ 1, 2, 22, 41, 43, 86, 106, 170, 171 ],
-  [ 1, 171 ],
-  [ 1, 4, 41, 43, 64, 171, 172, 236, 256 ],
-  [ 1, 13, 33, 41, 61, 171, 175, 240, 256 ],
-  [ 1, 2, 6, 13, 14, 16, 18, 22, 30, 33, 34, 35,
-      38, 41, 42, 43, 45, 47, 48, 61, 62, 64, 86,
-      94, 102, 106, 110, 126, 166, 170, 171, 174,
-      175, 176, 222, 238, 239, 240, 254, 256 ],
-  [ 1, 13, 35, 43, 64, 171, 175, 239, 256 ],
-  [ 1, 16, 33, 43, 64, 171, 176, 240, 256 ],
-  [ 1, 256 ],
-  [ 1, 2, 18, 49, 52, 86, 118, 254, 256 ],
-  [ 1, 3, 35, 49, 52, 171, 187, 255, 256 ],
-  [ 1, 256 ],
-  [ 1, 5, 21, 49, 61, 86, 118, 248, 256 ],
-  [ 1, 6, 22, 49, 64, 86, 118, 246, 256 ],
-  [ 1, 3, 5, 6, 7, 11, 21, 22, 23, 35, 39, 43, 49,
-      51, 52, 53, 54, 56, 59, 61, 63, 64, 86, 87,
-      103, 118, 119, 120, 151, 167, 171, 183, 187,
-      191, 246, 247, 248, 251, 255, 256 ],
-  [ 1, 5, 22, 52, 64, 86, 120, 248, 256 ],
-  [ 1, 9, 41, 49, 61, 171, 187, 252, 256 ],
-  [ 1, 2, 6, 9, 10, 11, 18, 22, 26, 41, 42, 43,
-      49, 50, 52, 54, 57, 59, 60, 61, 62, 64, 86,
-      90, 106, 118, 122, 126, 154, 170, 171, 186,
-      187, 188, 246, 250, 251, 252, 254, 256 ],
-  [ 1, 11, 43, 49, 64, 171, 187, 251, 256 ],
-  [ 1, 9, 43, 52, 64, 171, 188, 252, 256 ],
-  [ 1, 256 ],
-  [ 1, 2, 22, 61, 64, 86, 126, 254, 256 ],
-  [ 1, 3, 43, 61, 64, 171, 191, 255, 256 ],
-  [ 1, 256 ], [ 1, 86 ], [ 1, 86 ],
-  [ 1, 3, 65, 66, 86, 87, 107, 131, 171 ],
-  [ 1, 4, 65, 66, 86, 88, 128, 196, 256 ],
-  [ 1, 86 ], [ 1, 86 ],
-  [ 1, 3, 69, 70, 86, 87, 103, 139, 171 ],
-  [ 1, 4, 69, 70, 86, 88, 120, 208, 256 ],
-  [ 1, 9, 65, 69, 86, 90, 107, 137, 171 ],
-  [ 1, 9, 66, 70, 86, 90, 106, 139, 171 ],
-  [ 1, 11, 65, 70, 86, 91, 107, 139, 171 ],
-  [ 1, 4, 9, 11, 12, 16, 65, 66, 68, 69, 70, 72,
-      73, 74, 75, 80, 86, 88, 90, 91, 92, 96, 106,
-      107, 108, 120, 124, 128, 137, 139, 140, 171,
-      172, 188, 196, 204, 208, 236, 252, 256 ],
-  [ 1, 13, 65, 69, 86, 94, 128, 205, 256 ],
-  [ 1, 13, 66, 70, 86, 94, 126, 208, 256 ],
-  [ 1, 3, 11, 13, 15, 16, 65, 66, 67, 69, 70, 71,
-      75, 77, 78, 80, 86, 87, 91, 94, 95, 96, 103,
-      107, 111, 126, 127, 128, 131, 139, 143, 171,
-      175, 191, 205, 207, 208, 239, 255, 256 ],
-  [ 1, 16, 65, 70, 86, 96, 128, 208, 256 ],
-  [ 1, 86 ], [ 1, 86 ],
-  [ 1, 3, 81, 82, 86, 87, 91, 163, 171 ],
-  [ 1, 4, 81, 82, 86, 88, 96, 244, 256 ],
-  [ 1, 86 ], [  ], [ 86, 171 ], [ 86, 256 ],
-  [ 1, 9, 81, 85, 86, 90, 91, 169, 171 ],
-  [ 86, 171 ], [ 86, 171 ],
-  [ 86, 88, 90, 91, 96, 171, 172, 252, 256 ],
-  [ 1, 13, 81, 85, 86, 94, 96, 253, 256 ],
-  [ 86, 256 ],
-  [ 86, 87, 91, 94, 96, 171, 175, 255, 256 ],
-  [ 86, 256 ],
-  [ 1, 33, 65, 81, 86, 102, 107, 161, 171 ],
-  [ 1, 33, 66, 82, 86, 102, 106, 163, 171 ],
-  [ 1, 35, 65, 82, 86, 103, 107, 163, 171 ],
-  [ 1, 4, 33, 35, 36, 52, 65, 66, 68, 81, 82, 84,
-      86, 88, 96, 97, 98, 99, 102, 103, 104, 106,
-      107, 108, 112, 116, 120, 128, 161, 163, 164,
-      171, 172, 176, 196, 228, 236, 240, 244, 256 ]
-    , [ 1, 33, 69, 85, 86, 102, 103, 169, 171 ],
-  [ 86, 171 ], [ 86, 171 ],
-  [ 86, 88, 102, 103, 120, 171, 172, 240, 256 ],
-  [ 1, 41, 65, 85, 86, 106, 107, 169, 171 ],
-  [ 86, 171 ], [ 86, 171 ],
-  [ 86, 88, 106, 107, 128, 171, 172, 236, 256 ],
-  [ 1, 13, 33, 41, 45, 61, 65, 69, 77, 81, 85, 86,
-      93, 94, 96, 97, 101, 102, 103, 105, 106,
-      107, 110, 111, 112, 125, 126, 128, 161, 169,
-      171, 173, 175, 176, 205, 237, 239, 240, 253,
-      256 ],
-  [ 86, 94, 102, 106, 126, 171, 175, 240, 256 ],
-  [ 86, 94, 103, 107, 128, 171, 175, 239, 256 ],
-  [ 86, 96, 102, 107, 128, 171, 176, 240, 256 ],
-  [ 1, 49, 65, 81, 86, 118, 128, 241, 256 ],
-  [ 1, 49, 66, 82, 86, 118, 126, 244, 256 ],
-  [ 1, 3, 35, 49, 51, 52, 65, 66, 67, 81, 82, 83,
-      86, 87, 91, 99, 103, 107, 113, 114, 116,
-      118, 119, 120, 123, 126, 127, 128, 131, 163,
-      171, 179, 187, 191, 241, 243, 244, 251, 255,
-      256 ],
-  [ 1, 52, 65, 82, 86, 120, 128, 244, 256 ],
-  [ 1, 49, 69, 85, 86, 118, 120, 253, 256 ],
-  [ 86, 256 ],
-  [ 86, 87, 103, 118, 120, 171, 187, 255, 256 ],
-  [ 86, 256 ],
-  [ 1, 9, 41, 49, 57, 61, 65, 69, 73, 81, 85, 86,
-      89, 90, 91, 105, 106, 107, 113, 117, 118,
-      120, 122, 123, 124, 125, 126, 128, 137, 169,
-      171, 185, 187, 188, 241, 249, 251, 252, 253,
-      256 ],
-  [ 86, 90, 106, 118, 126, 171, 187, 252, 256 ],
-  [ 86, 91, 107, 118, 128, 171, 187, 251, 256 ],
-  [ 86, 90, 107, 120, 128, 171, 188, 252, 256 ],
-  [ 1, 61, 65, 85, 86, 126, 128, 253, 256 ],
-  [ 86, 256 ],
-  [ 86, 87, 107, 126, 128, 171, 191, 255, 256 ],
-  [ 86, 256 ], [ 1, 171 ],
-  [ 1, 2, 66, 86, 129, 131, 150, 170, 171 ],
-  [ 1, 171 ],
-  [ 1, 4, 129, 131, 171, 172, 192, 196, 256 ],
-  [ 1, 5, 69, 86, 129, 137, 150, 167, 171 ],
-  [ 1, 6, 70, 86, 129, 139, 150, 166, 171 ],
-  [ 1, 5, 70, 86, 131, 139, 151, 167, 171 ],
-  [ 1, 4, 5, 6, 8, 16, 69, 70, 72, 86, 88, 120,
-      129, 131, 132, 133, 134, 135, 137, 139, 140,
-      144, 150, 151, 152, 166, 167, 168, 171, 172,
-      176, 184, 188, 192, 196, 200, 208, 216, 248,
-      256 ], [ 1, 171 ],
-  [ 1, 2, 70, 86, 137, 139, 154, 170, 171 ],
-  [ 1, 171 ],
-  [ 1, 4, 137, 139, 171, 172, 188, 208, 256 ],
-  [ 1, 13, 129, 137, 171, 175, 192, 205, 256 ],
-  [ 1, 2, 6, 13, 14, 16, 66, 70, 78, 86, 94, 126,
-      129, 130, 131, 134, 137, 138, 139, 141, 143,
-      144, 150, 154, 158, 166, 170, 171, 174, 175,
-      176, 190, 191, 192, 205, 206, 208, 222, 254,
-      256 ],
-  [ 1, 13, 131, 139, 171, 175, 191, 208, 256 ],
-  [ 1, 16, 129, 139, 171, 176, 192, 208, 256 ],
-  [ 1, 17, 81, 86, 129, 150, 155, 161, 171 ],
-  [ 1, 18, 82, 86, 129, 150, 154, 163, 171 ],
-  [ 1, 17, 82, 86, 131, 151, 155, 163, 171 ],
-  [ 1, 4, 17, 18, 20, 52, 81, 82, 84, 86, 88, 96,
-      129, 131, 132, 145, 146, 147, 150, 151, 152,
-      154, 155, 156, 160, 161, 163, 164, 171, 172,
-      176, 180, 188, 192, 196, 212, 216, 224, 244,
-      256 ],
-  [ 1, 21, 85, 86, 129, 150, 151, 169, 171 ],
-  [ 86, 171 ], [ 86, 171 ],
-  [ 86, 88, 150, 151, 171, 172, 192, 216, 256 ],
-  [ 1, 17, 85, 86, 137, 154, 155, 169, 171 ],
-  [ 86, 171 ], [ 86, 171 ],
-  [ 86, 88, 154, 155, 171, 172, 188, 224, 256 ],
-  [ 1, 13, 17, 21, 29, 61, 81, 85, 86, 93, 94, 96,
-      129, 137, 141, 145, 149, 150, 151, 153, 154,
-      155, 158, 159, 160, 161, 169, 171, 173, 175,
-      176, 189, 191, 192, 205, 221, 222, 224, 253,
-      256 ],
-  [ 86, 94, 150, 154, 171, 175, 192, 222, 256 ],
-  [ 86, 94, 151, 155, 171, 175, 191, 224, 256 ],
-  [ 86, 96, 150, 155, 171, 176, 192, 224, 256 ],
-  [ 1, 171 ],
-  [ 1, 2, 82, 86, 161, 163, 166, 170, 171 ],
-  [ 1, 171 ],
-  [ 1, 4, 161, 163, 171, 172, 176, 244, 256 ],
-  [ 1, 5, 85, 86, 161, 166, 167, 169, 171 ],
-  [ 86, 171 ], [ 86, 171 ],
-  [ 86, 88, 166, 167, 171, 172, 176, 248, 256 ],
-  [ 1, 171 ], [ 86, 171 ], [  ], [ 171, 256 ],
-  [ 1, 13, 161, 169, 171, 175, 176, 253, 256 ],
-  [ 86, 94, 166, 170, 171, 175, 176, 254, 256 ],
-  [ 171, 256 ], [ 171, 256 ],
-  [ 1, 49, 129, 161, 171, 187, 192, 241, 256 ],
-  [ 1, 2, 18, 49, 50, 52, 66, 82, 86, 114, 118,
-      126, 129, 130, 131, 146, 150, 154, 161, 162,
-      163, 166, 170, 171, 177, 179, 180, 182, 186,
-      187, 188, 190, 191, 192, 241, 242, 244, 246,
-      254, 256 ],
-  [ 1, 49, 131, 163, 171, 187, 191, 244, 256 ],
-  [ 1, 52, 129, 163, 171, 188, 192, 244, 256 ],
-  [ 1, 5, 21, 49, 53, 61, 69, 85, 86, 117, 118,
-      120, 129, 133, 137, 149, 150, 151, 161, 165,
-      166, 167, 169, 171, 177, 182, 183, 184, 185,
-      187, 188, 189, 191, 192, 241, 245, 246, 248,
-      253, 256 ],
-  [ 86, 118, 150, 166, 171, 187, 192, 246, 256 ],
-  [ 86, 118, 151, 167, 171, 187, 191, 248, 256 ],
-  [ 86, 120, 150, 167, 171, 188, 192, 248, 256 ],
-  [ 1, 49, 137, 169, 171, 187, 188, 253, 256 ],
-  [ 86, 118, 154, 170, 171, 187, 188, 254, 256 ],
-  [ 171, 256 ], [ 171, 256 ],
-  [ 1, 61, 129, 169, 171, 191, 192, 253, 256 ],
-  [ 86, 126, 150, 170, 171, 191, 192, 254, 256 ],
-  [ 171, 256 ], [ 171, 256 ], [ 1, 256 ],
-  [ 1, 2, 66, 86, 193, 196, 214, 254, 256 ],
-  [ 1, 3, 131, 171, 193, 196, 235, 255, 256 ],
-  [ 1, 256 ],
-  [ 1, 5, 69, 86, 193, 205, 214, 248, 256 ],
-  [ 1, 6, 70, 86, 193, 208, 214, 246, 256 ],
-  [ 1, 3, 5, 6, 7, 11, 69, 70, 71, 86, 87, 103,
-      131, 135, 139, 151, 167, 171, 193, 195, 196,
-      197, 198, 200, 203, 205, 207, 208, 214, 215,
-      216, 231, 235, 239, 246, 247, 248, 251, 255,
-      256 ],
-  [ 1, 5, 70, 86, 196, 208, 216, 248, 256 ],
-  [ 1, 9, 137, 171, 193, 205, 235, 252, 256 ],
-  [ 1, 2, 6, 9, 10, 11, 66, 70, 74, 86, 90, 106,
-      137, 138, 139, 154, 170, 171, 193, 194, 196,
-      198, 201, 203, 204, 205, 206, 208, 214, 218,
-      222, 234, 235, 236, 246, 250, 251, 252, 254,
-      256 ],
-  [ 1, 11, 139, 171, 193, 208, 235, 251, 256 ],
-  [ 1, 9, 139, 171, 196, 208, 236, 252, 256 ],
-  [ 1, 256 ],
-  [ 1, 2, 70, 86, 205, 208, 222, 254, 256 ],
-  [ 1, 3, 139, 171, 205, 208, 239, 255, 256 ],
-  [ 1, 256 ],
-  [ 1, 17, 81, 86, 193, 214, 224, 241, 256 ],
-  [ 1, 18, 82, 86, 193, 214, 222, 244, 256 ],
-  [ 1, 3, 17, 18, 19, 35, 81, 82, 83, 86, 87, 91,
-      131, 147, 151, 155, 163, 171, 193, 195, 196,
-      209, 210, 212, 214, 215, 216, 219, 222, 223,
-      224, 227, 235, 239, 241, 243, 244, 251, 255,
-      256 ],
-  [ 1, 17, 82, 86, 196, 216, 224, 244, 256 ],
-  [ 1, 21, 85, 86, 193, 214, 216, 253, 256 ],
-  [ 86, 256 ],
-  [ 86, 87, 151, 171, 214, 216, 235, 255, 256 ],
-  [ 86, 256 ],
-  [ 1, 9, 17, 21, 25, 41, 81, 85, 86, 89, 90, 91,
-      137, 153, 154, 155, 169, 171, 193, 201, 205,
-      209, 213, 214, 216, 218, 219, 220, 221, 222,
-      224, 233, 235, 236, 241, 249, 251, 252, 253,
-      256 ],
-  [ 86, 90, 154, 171, 214, 222, 235, 252, 256 ],
-  [ 86, 91, 155, 171, 214, 224, 235, 251, 256 ],
-  [ 86, 90, 155, 171, 216, 224, 236, 252, 256 ],
-  [ 1, 17, 85, 86, 205, 222, 224, 253, 256 ],
-  [ 86, 256 ],
-  [ 86, 87, 155, 171, 222, 224, 239, 255, 256 ],
-  [ 86, 256 ],
-  [ 1, 33, 161, 171, 193, 235, 240, 241, 256 ],
-  [ 1, 2, 18, 33, 34, 35, 66, 82, 86, 98, 102,
-      106, 161, 162, 163, 166, 170, 171, 193, 194,
-      196, 210, 214, 222, 225, 227, 228, 230, 234,
-      235, 236, 238, 239, 240, 241, 242, 244, 246,
-      254, 256 ],
-  [ 1, 35, 163, 171, 193, 235, 239, 244, 256 ],
-  [ 1, 33, 163, 171, 196, 236, 240, 244, 256 ],
-  [ 1, 5, 21, 33, 37, 41, 69, 85, 86, 101, 102,
-      103, 161, 165, 166, 167, 169, 171, 193, 197,
-      205, 213, 214, 216, 225, 230, 231, 232, 233,
-      235, 236, 237, 239, 240, 241, 245, 246, 248,
-      253, 256 ],
-  [ 86, 102, 166, 171, 214, 235, 240, 246, 256 ],
-  [ 86, 103, 167, 171, 214, 235, 239, 248, 256 ],
-  [ 86, 102, 167, 171, 216, 236, 240, 248, 256 ],
-  [ 1, 41, 169, 171, 193, 235, 236, 253, 256 ],
-  [ 86, 106, 170, 171, 214, 235, 236, 254, 256 ],
-  [ 171, 256 ], [ 171, 256 ],
-  [ 1, 33, 169, 171, 205, 239, 240, 253, 256 ],
-  [ 86, 102, 170, 171, 222, 239, 240, 254, 256 ],
-  [ 171, 256 ], [ 171, 256 ], [ 1, 256 ],
-  [ 1, 2, 82, 86, 241, 244, 246, 254, 256 ],
-  [ 1, 3, 163, 171, 241, 244, 251, 255, 256 ],
-  [ 1, 256 ],
-  [ 1, 5, 85, 86, 241, 246, 248, 253, 256 ],
-  [ 86, 256 ],
-  [ 86, 87, 167, 171, 246, 248, 251, 255, 256 ],
-  [ 86, 256 ],
-  [ 1, 9, 169, 171, 241, 251, 252, 253, 256 ],
-  [ 86, 90, 170, 171, 246, 251, 252, 254, 256 ],
-  [ 171, 256 ], [ 171, 256 ], [ 1, 256 ],
-  [ 86, 256 ], [ 171, 256 ], [  ] ]
+[ [  ], [ 1, 86 ], [ 1, 171 ], [ 1, 256 ], [ 1, 86 ], [ 1, 86 ], 
+  [ 1, 3, 5, 6, 11, 86, 87, 167, 171 ], [ 1, 4, 5, 6, 16, 86, 88, 248, 256 ], 
+  [ 1, 171 ], [ 1, 2, 6, 9, 11, 86, 90, 170, 171 ], [ 1, 171 ], 
+  [ 1, 4, 9, 11, 16, 171, 172, 252, 256 ], [ 1, 256 ], 
+  [ 1, 2, 6, 13, 16, 86, 94, 254, 256 ], 
+  [ 1, 3, 11, 13, 16, 171, 175, 255, 256 ], [ 1, 256 ], [ 1, 86 ], [ 1, 86 ], 
+  [ 1, 3, 17, 18, 35, 86, 87, 155, 171 ], 
+  [ 1, 4, 17, 18, 52, 86, 88, 224, 256 ], [ 1, 86 ], [ 1, 86 ], 
+  [ 1, 3, 21, 22, 43, 86, 87, 151, 171 ], 
+  [ 1, 4, 21, 22, 64, 86, 88, 216, 256 ], 
+  [ 1, 9, 17, 21, 41, 86, 90, 155, 171 ], 
+  [ 1, 9, 18, 22, 43, 86, 90, 154, 171 ], 
+  [ 1, 11, 17, 22, 43, 86, 91, 155, 171 ], 
+  [ 1, 4, 9, 11, 12, 16, 17, 18, 20, 21, 22, 24, 25, 26, 27, 32, 41, 43, 44, 
+      52, 60, 64, 86, 88, 90, 91, 92, 96, 154, 155, 156, 171, 172, 188, 216, 
+      220, 224, 236, 252, 256 ], [ 1, 13, 17, 21, 61, 86, 94, 224, 256 ], 
+  [ 1, 13, 18, 22, 64, 86, 94, 222, 256 ], 
+  [ 1, 3, 11, 13, 15, 16, 17, 18, 19, 21, 22, 23, 27, 29, 30, 32, 35, 43, 47, 
+      61, 63, 64, 86, 87, 91, 94, 95, 96, 151, 155, 159, 171, 175, 191, 222, 
+      223, 224, 239, 255, 256 ], [ 1, 16, 17, 22, 64, 86, 96, 224, 256 ], 
+  [ 1, 171 ], [ 1, 2, 18, 33, 35, 86, 102, 170, 171 ], [ 1, 171 ], 
+  [ 1, 4, 33, 35, 52, 171, 172, 240, 256 ], 
+  [ 1, 5, 21, 33, 41, 86, 102, 167, 171 ], 
+  [ 1, 6, 22, 33, 43, 86, 102, 166, 171 ], 
+  [ 1, 5, 22, 35, 43, 86, 103, 167, 171 ], 
+  [ 1, 4, 5, 6, 8, 16, 21, 22, 24, 33, 35, 36, 37, 38, 39, 41, 43, 44, 48, 
+      52, 56, 64, 86, 88, 102, 103, 104, 120, 166, 167, 168, 171, 172, 176, 
+      216, 232, 236, 240, 248, 256 ], [ 1, 171 ], 
+  [ 1, 2, 22, 41, 43, 86, 106, 170, 171 ], [ 1, 171 ], 
+  [ 1, 4, 41, 43, 64, 171, 172, 236, 256 ], 
+  [ 1, 13, 33, 41, 61, 171, 175, 240, 256 ], 
+  [ 1, 2, 6, 13, 14, 16, 18, 22, 30, 33, 34, 35, 38, 41, 42, 43, 45, 47, 48, 
+      61, 62, 64, 86, 94, 102, 106, 110, 126, 166, 170, 171, 174, 175, 176, 
+      222, 238, 239, 240, 254, 256 ], 
+  [ 1, 13, 35, 43, 64, 171, 175, 239, 256 ], 
+  [ 1, 16, 33, 43, 64, 171, 176, 240, 256 ], [ 1, 256 ], 
+  [ 1, 2, 18, 49, 52, 86, 118, 254, 256 ], 
+  [ 1, 3, 35, 49, 52, 171, 187, 255, 256 ], [ 1, 256 ], 
+  [ 1, 5, 21, 49, 61, 86, 118, 248, 256 ], 
+  [ 1, 6, 22, 49, 64, 86, 118, 246, 256 ], 
+  [ 1, 3, 5, 6, 7, 11, 21, 22, 23, 35, 39, 43, 49, 51, 52, 53, 54, 56, 59, 
+      61, 63, 64, 86, 87, 103, 118, 119, 120, 151, 167, 171, 183, 187, 191, 
+      246, 247, 248, 251, 255, 256 ], [ 1, 5, 22, 52, 64, 86, 120, 248, 256 ],
+  [ 1, 9, 41, 49, 61, 171, 187, 252, 256 ], 
+  [ 1, 2, 6, 9, 10, 11, 18, 22, 26, 41, 42, 43, 49, 50, 52, 54, 57, 59, 60, 
+      61, 62, 64, 86, 90, 106, 118, 122, 126, 154, 170, 171, 186, 187, 188, 
+      246, 250, 251, 252, 254, 256 ], 
+  [ 1, 11, 43, 49, 64, 171, 187, 251, 256 ], 
+  [ 1, 9, 43, 52, 64, 171, 188, 252, 256 ], [ 1, 256 ], 
+  [ 1, 2, 22, 61, 64, 86, 126, 254, 256 ], 
+  [ 1, 3, 43, 61, 64, 171, 191, 255, 256 ], [ 1, 256 ], [ 1, 86 ], [ 1, 86 ], 
+  [ 1, 3, 65, 66, 86, 87, 107, 131, 171 ], 
+  [ 1, 4, 65, 66, 86, 88, 128, 196, 256 ], [ 1, 86 ], [ 1, 86 ], 
+  [ 1, 3, 69, 70, 86, 87, 103, 139, 171 ], 
+  [ 1, 4, 69, 70, 86, 88, 120, 208, 256 ], 
+  [ 1, 9, 65, 69, 86, 90, 107, 137, 171 ], 
+  [ 1, 9, 66, 70, 86, 90, 106, 139, 171 ], 
+  [ 1, 11, 65, 70, 86, 91, 107, 139, 171 ], 
+  [ 1, 4, 9, 11, 12, 16, 65, 66, 68, 69, 70, 72, 73, 74, 75, 80, 86, 88, 90, 
+      91, 92, 96, 106, 107, 108, 120, 124, 128, 137, 139, 140, 171, 172, 188, 
+      196, 204, 208, 236, 252, 256 ], [ 1, 13, 65, 69, 86, 94, 128, 205, 256 ]
+    , [ 1, 13, 66, 70, 86, 94, 126, 208, 256 ], 
+  [ 1, 3, 11, 13, 15, 16, 65, 66, 67, 69, 70, 71, 75, 77, 78, 80, 86, 87, 91, 
+      94, 95, 96, 103, 107, 111, 126, 127, 128, 131, 139, 143, 171, 175, 191, 
+      205, 207, 208, 239, 255, 256 ], [ 1, 16, 65, 70, 86, 96, 128, 208, 256 ]
+    , [ 1, 86 ], [ 1, 86 ], [ 1, 3, 81, 82, 86, 87, 91, 163, 171 ], 
+  [ 1, 4, 81, 82, 86, 88, 96, 244, 256 ], [ 1, 86 ], [  ], [ 86, 171 ], 
+  [ 86, 256 ], [ 1, 9, 81, 85, 86, 90, 91, 169, 171 ], [ 86, 171 ], 
+  [ 86, 171 ], [ 86, 88, 90, 91, 96, 171, 172, 252, 256 ], 
+  [ 1, 13, 81, 85, 86, 94, 96, 253, 256 ], [ 86, 256 ], 
+  [ 86, 87, 91, 94, 96, 171, 175, 255, 256 ], [ 86, 256 ], 
+  [ 1, 33, 65, 81, 86, 102, 107, 161, 171 ], 
+  [ 1, 33, 66, 82, 86, 102, 106, 163, 171 ], 
+  [ 1, 35, 65, 82, 86, 103, 107, 163, 171 ], 
+  [ 1, 4, 33, 35, 36, 52, 65, 66, 68, 81, 82, 84, 86, 88, 96, 97, 98, 99, 
+      102, 103, 104, 106, 107, 108, 112, 116, 120, 128, 161, 163, 164, 171, 
+      172, 176, 196, 228, 236, 240, 244, 256 ], 
+  [ 1, 33, 69, 85, 86, 102, 103, 169, 171 ], [ 86, 171 ], [ 86, 171 ], 
+  [ 86, 88, 102, 103, 120, 171, 172, 240, 256 ], 
+  [ 1, 41, 65, 85, 86, 106, 107, 169, 171 ], [ 86, 171 ], [ 86, 171 ], 
+  [ 86, 88, 106, 107, 128, 171, 172, 236, 256 ], 
+  [ 1, 13, 33, 41, 45, 61, 65, 69, 77, 81, 85, 86, 93, 94, 96, 97, 101, 102, 
+      103, 105, 106, 107, 110, 111, 112, 125, 126, 128, 161, 169, 171, 173, 
+      175, 176, 205, 237, 239, 240, 253, 256 ], 
+  [ 86, 94, 102, 106, 126, 171, 175, 240, 256 ], 
+  [ 86, 94, 103, 107, 128, 171, 175, 239, 256 ], 
+  [ 86, 96, 102, 107, 128, 171, 176, 240, 256 ], 
+  [ 1, 49, 65, 81, 86, 118, 128, 241, 256 ], 
+  [ 1, 49, 66, 82, 86, 118, 126, 244, 256 ], 
+  [ 1, 3, 35, 49, 51, 52, 65, 66, 67, 81, 82, 83, 86, 87, 91, 99, 103, 107, 
+      113, 114, 116, 118, 119, 120, 123, 126, 127, 128, 131, 163, 171, 179, 
+      187, 191, 241, 243, 244, 251, 255, 256 ], 
+  [ 1, 52, 65, 82, 86, 120, 128, 244, 256 ], 
+  [ 1, 49, 69, 85, 86, 118, 120, 253, 256 ], [ 86, 256 ], 
+  [ 86, 87, 103, 118, 120, 171, 187, 255, 256 ], [ 86, 256 ], 
+  [ 1, 9, 41, 49, 57, 61, 65, 69, 73, 81, 85, 86, 89, 90, 91, 105, 106, 107, 
+      113, 117, 118, 120, 122, 123, 124, 125, 126, 128, 137, 169, 171, 185, 
+      187, 188, 241, 249, 251, 252, 253, 256 ], 
+  [ 86, 90, 106, 118, 126, 171, 187, 252, 256 ], 
+  [ 86, 91, 107, 118, 128, 171, 187, 251, 256 ], 
+  [ 86, 90, 107, 120, 128, 171, 188, 252, 256 ], 
+  [ 1, 61, 65, 85, 86, 126, 128, 253, 256 ], [ 86, 256 ], 
+  [ 86, 87, 107, 126, 128, 171, 191, 255, 256 ], [ 86, 256 ], [ 1, 171 ], 
+  [ 1, 2, 66, 86, 129, 131, 150, 170, 171 ], [ 1, 171 ], 
+  [ 1, 4, 129, 131, 171, 172, 192, 196, 256 ], 
+  [ 1, 5, 69, 86, 129, 137, 150, 167, 171 ], 
+  [ 1, 6, 70, 86, 129, 139, 150, 166, 171 ], 
+  [ 1, 5, 70, 86, 131, 139, 151, 167, 171 ], 
+  [ 1, 4, 5, 6, 8, 16, 69, 70, 72, 86, 88, 120, 129, 131, 132, 133, 134, 135, 
+      137, 139, 140, 144, 150, 151, 152, 166, 167, 168, 171, 172, 176, 184, 
+      188, 192, 196, 200, 208, 216, 248, 256 ], [ 1, 171 ], 
+  [ 1, 2, 70, 86, 137, 139, 154, 170, 171 ], [ 1, 171 ], 
+  [ 1, 4, 137, 139, 171, 172, 188, 208, 256 ], 
+  [ 1, 13, 129, 137, 171, 175, 192, 205, 256 ], 
+  [ 1, 2, 6, 13, 14, 16, 66, 70, 78, 86, 94, 126, 129, 130, 131, 134, 137, 
+      138, 139, 141, 143, 144, 150, 154, 158, 166, 170, 171, 174, 175, 176, 
+      190, 191, 192, 205, 206, 208, 222, 254, 256 ], 
+  [ 1, 13, 131, 139, 171, 175, 191, 208, 256 ], 
+  [ 1, 16, 129, 139, 171, 176, 192, 208, 256 ], 
+  [ 1, 17, 81, 86, 129, 150, 155, 161, 171 ], 
+  [ 1, 18, 82, 86, 129, 150, 154, 163, 171 ], 
+  [ 1, 17, 82, 86, 131, 151, 155, 163, 171 ], 
+  [ 1, 4, 17, 18, 20, 52, 81, 82, 84, 86, 88, 96, 129, 131, 132, 145, 146, 
+      147, 150, 151, 152, 154, 155, 156, 160, 161, 163, 164, 171, 172, 176, 
+      180, 188, 192, 196, 212, 216, 224, 244, 256 ], 
+  [ 1, 21, 85, 86, 129, 150, 151, 169, 171 ], [ 86, 171 ], [ 86, 171 ], 
+  [ 86, 88, 150, 151, 171, 172, 192, 216, 256 ], 
+  [ 1, 17, 85, 86, 137, 154, 155, 169, 171 ], [ 86, 171 ], [ 86, 171 ], 
+  [ 86, 88, 154, 155, 171, 172, 188, 224, 256 ], 
+  [ 1, 13, 17, 21, 29, 61, 81, 85, 86, 93, 94, 96, 129, 137, 141, 145, 149, 
+      150, 151, 153, 154, 155, 158, 159, 160, 161, 169, 171, 173, 175, 176, 
+      189, 191, 192, 205, 221, 222, 224, 253, 256 ], 
+  [ 86, 94, 150, 154, 171, 175, 192, 222, 256 ], 
+  [ 86, 94, 151, 155, 171, 175, 191, 224, 256 ], 
+  [ 86, 96, 150, 155, 171, 176, 192, 224, 256 ], [ 1, 171 ], 
+  [ 1, 2, 82, 86, 161, 163, 166, 170, 171 ], [ 1, 171 ], 
+  [ 1, 4, 161, 163, 171, 172, 176, 244, 256 ], 
+  [ 1, 5, 85, 86, 161, 166, 167, 169, 171 ], [ 86, 171 ], [ 86, 171 ], 
+  [ 86, 88, 166, 167, 171, 172, 176, 248, 256 ], [ 1, 171 ], [ 86, 171 ], 
+  [  ], [ 171, 256 ], [ 1, 13, 161, 169, 171, 175, 176, 253, 256 ], 
+  [ 86, 94, 166, 170, 171, 175, 176, 254, 256 ], [ 171, 256 ], [ 171, 256 ], 
+  [ 1, 49, 129, 161, 171, 187, 192, 241, 256 ], 
+  [ 1, 2, 18, 49, 50, 52, 66, 82, 86, 114, 118, 126, 129, 130, 131, 146, 150, 
+      154, 161, 162, 163, 166, 170, 171, 177, 179, 180, 182, 186, 187, 188, 
+      190, 191, 192, 241, 242, 244, 246, 254, 256 ], 
+  [ 1, 49, 131, 163, 171, 187, 191, 244, 256 ], 
+  [ 1, 52, 129, 163, 171, 188, 192, 244, 256 ], 
+  [ 1, 5, 21, 49, 53, 61, 69, 85, 86, 117, 118, 120, 129, 133, 137, 149, 150, 
+      151, 161, 165, 166, 167, 169, 171, 177, 182, 183, 184, 185, 187, 188, 
+      189, 191, 192, 241, 245, 246, 248, 253, 256 ], 
+  [ 86, 118, 150, 166, 171, 187, 192, 246, 256 ], 
+  [ 86, 118, 151, 167, 171, 187, 191, 248, 256 ], 
+  [ 86, 120, 150, 167, 171, 188, 192, 248, 256 ], 
+  [ 1, 49, 137, 169, 171, 187, 188, 253, 256 ], 
+  [ 86, 118, 154, 170, 171, 187, 188, 254, 256 ], [ 171, 256 ], [ 171, 256 ], 
+  [ 1, 61, 129, 169, 171, 191, 192, 253, 256 ], 
+  [ 86, 126, 150, 170, 171, 191, 192, 254, 256 ], [ 171, 256 ], [ 171, 256 ], 
+  [ 1, 256 ], [ 1, 2, 66, 86, 193, 196, 214, 254, 256 ], 
+  [ 1, 3, 131, 171, 193, 196, 235, 255, 256 ], [ 1, 256 ], 
+  [ 1, 5, 69, 86, 193, 205, 214, 248, 256 ], 
+  [ 1, 6, 70, 86, 193, 208, 214, 246, 256 ], 
+  [ 1, 3, 5, 6, 7, 11, 69, 70, 71, 86, 87, 103, 131, 135, 139, 151, 167, 171, 
+      193, 195, 196, 197, 198, 200, 203, 205, 207, 208, 214, 215, 216, 231, 
+      235, 239, 246, 247, 248, 251, 255, 256 ], 
+  [ 1, 5, 70, 86, 196, 208, 216, 248, 256 ], 
+  [ 1, 9, 137, 171, 193, 205, 235, 252, 256 ], 
+  [ 1, 2, 6, 9, 10, 11, 66, 70, 74, 86, 90, 106, 137, 138, 139, 154, 170, 
+      171, 193, 194, 196, 198, 201, 203, 204, 205, 206, 208, 214, 218, 222, 
+      234, 235, 236, 246, 250, 251, 252, 254, 256 ], 
+  [ 1, 11, 139, 171, 193, 208, 235, 251, 256 ], 
+  [ 1, 9, 139, 171, 196, 208, 236, 252, 256 ], [ 1, 256 ], 
+  [ 1, 2, 70, 86, 205, 208, 222, 254, 256 ], 
+  [ 1, 3, 139, 171, 205, 208, 239, 255, 256 ], [ 1, 256 ], 
+  [ 1, 17, 81, 86, 193, 214, 224, 241, 256 ], 
+  [ 1, 18, 82, 86, 193, 214, 222, 244, 256 ], 
+  [ 1, 3, 17, 18, 19, 35, 81, 82, 83, 86, 87, 91, 131, 147, 151, 155, 163, 
+      171, 193, 195, 196, 209, 210, 212, 214, 215, 216, 219, 222, 223, 224, 
+      227, 235, 239, 241, 243, 244, 251, 255, 256 ], 
+  [ 1, 17, 82, 86, 196, 216, 224, 244, 256 ], 
+  [ 1, 21, 85, 86, 193, 214, 216, 253, 256 ], [ 86, 256 ], 
+  [ 86, 87, 151, 171, 214, 216, 235, 255, 256 ], [ 86, 256 ], 
+  [ 1, 9, 17, 21, 25, 41, 81, 85, 86, 89, 90, 91, 137, 153, 154, 155, 169, 
+      171, 193, 201, 205, 209, 213, 214, 216, 218, 219, 220, 221, 222, 224, 
+      233, 235, 236, 241, 249, 251, 252, 253, 256 ], 
+  [ 86, 90, 154, 171, 214, 222, 235, 252, 256 ], 
+  [ 86, 91, 155, 171, 214, 224, 235, 251, 256 ], 
+  [ 86, 90, 155, 171, 216, 224, 236, 252, 256 ], 
+  [ 1, 17, 85, 86, 205, 222, 224, 253, 256 ], [ 86, 256 ], 
+  [ 86, 87, 155, 171, 222, 224, 239, 255, 256 ], [ 86, 256 ], 
+  [ 1, 33, 161, 171, 193, 235, 240, 241, 256 ], 
+  [ 1, 2, 18, 33, 34, 35, 66, 82, 86, 98, 102, 106, 161, 162, 163, 166, 170, 
+      171, 193, 194, 196, 210, 214, 222, 225, 227, 228, 230, 234, 235, 236, 
+      238, 239, 240, 241, 242, 244, 246, 254, 256 ], 
+  [ 1, 35, 163, 171, 193, 235, 239, 244, 256 ], 
+  [ 1, 33, 163, 171, 196, 236, 240, 244, 256 ], 
+  [ 1, 5, 21, 33, 37, 41, 69, 85, 86, 101, 102, 103, 161, 165, 166, 167, 169, 
+      171, 193, 197, 205, 213, 214, 216, 225, 230, 231, 232, 233, 235, 236, 
+      237, 239, 240, 241, 245, 246, 248, 253, 256 ], 
+  [ 86, 102, 166, 171, 214, 235, 240, 246, 256 ], 
+  [ 86, 103, 167, 171, 214, 235, 239, 248, 256 ], 
+  [ 86, 102, 167, 171, 216, 236, 240, 248, 256 ], 
+  [ 1, 41, 169, 171, 193, 235, 236, 253, 256 ], 
+  [ 86, 106, 170, 171, 214, 235, 236, 254, 256 ], [ 171, 256 ], [ 171, 256 ], 
+  [ 1, 33, 169, 171, 205, 239, 240, 253, 256 ], 
+  [ 86, 102, 170, 171, 222, 239, 240, 254, 256 ], [ 171, 256 ], [ 171, 256 ], 
+  [ 1, 256 ], [ 1, 2, 82, 86, 241, 244, 246, 254, 256 ], 
+  [ 1, 3, 163, 171, 241, 244, 251, 255, 256 ], [ 1, 256 ], 
+  [ 1, 5, 85, 86, 241, 246, 248, 253, 256 ], [ 86, 256 ], 
+  [ 86, 87, 167, 171, 246, 248, 251, 255, 256 ], [ 86, 256 ], 
+  [ 1, 9, 169, 171, 241, 251, 252, 253, 256 ], 
+  [ 86, 90, 170, 171, 246, 251, 252, 254, 256 ], [ 171, 256 ], [ 171, 256 ], 
+  [ 1, 256 ], [ 86, 256 ], [ 171, 256 ], [  ] ]
 gap> S := InverseSemigroup([Bipartition([[1, -3], [2, -1], [3, 4, -2, -4]]),
 > Bipartition([[1, -1], [2, -3], [3, -2], [4, -4]])]);
 <inverse block bijection semigroup of degree 4 with 2 generators>