(C4xC2xC2):C2{2} SmallGroup(32, 30) [32 10 4 2]: [f2, f1*f3, f2*f5, f1*f2*f5, f2*f3*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [3, 8, 13, 19, 24, 27, 29, 30, 31, 32] [32 10 4 2]: [f4, f5, f2*f4, f1*f2*f5, f2*f3*f5, f2*f4*f5, f1*f2*f3*f4, f1*f2*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [5, 6, 12, 19, 24, 25, 27, 29, 31, 32] [32 10 4 2]: [f4, f5, f1*f4, f3*f5, f1*f2*f5, f1*f4*f5, f3*f4*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f2*f3*f4*f5] [5, 6, 9, 15, 19, 22, 26, 27, 29, 32] [32 10 4 2]: [f1, f2, f1*f2*f5, f1*f4*f5, f2*f3*f5, f2*f4*f5, f1*f2*f3*f4, f1*f2*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [2, 3, 19, 22, 24, 25, 27, 29, 31, 32] [32 10 4 2]: [f1, f2*f4, f3*f5, f1*f2*f5, f1*f4*f5, f2*f4*f5, f3*f4*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f2*f3*f4*f5] [2, 12, 15, 19, 22, 25, 26, 27, 29, 32] [32 10 4 2]: [f1*f3, f1*f4, f1*f2*f5, f1*f4*f5, f2*f3*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [8, 9, 19, 22, 24, 27, 29, 30, 31, 32] [32 10 4 2]: [f2, f1*f3, f1*f2*f5, f2*f3*f5, f2*f4*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [3, 8, 19, 24, 25, 27, 29, 30, 31, 32] [32 10 4 2]: [f2, f1*f4, f3*f5, f1*f2*f5, f1*f4*f5, f2*f4*f5, f3*f4*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f2*f3*f4*f5] [3, 9, 15, 19, 22, 25, 26, 27, 29, 32] [32 10 4 2]: [f1, f1*f3, f1*f2*f5, f1*f4*f5, f2*f3*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [2, 8, 19, 22, 24, 27, 29, 30, 31, 32] [32 10 4 2]: [f1, f2*f4, f1*f2*f5, f1*f4*f5, f2*f3*f5, f2*f4*f5, f1*f2*f3*f4, f1*f2*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [2, 12, 19, 22, 24, 25, 27, 29, 31, 32] [32 10 4 2]: [f2, f1*f3, f1*f4, f1*f4*f5, f2*f3*f5, f2*f4*f5, f1*f2*f3*f4, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [3, 8, 9, 22, 24, 25, 27, 30, 31, 32] [32 10 6 2]: [f4, f5, f2*f5, f3*f5, f2*f3*f5, f2*f4*f5, f3*f4*f5, f1*f2*f3*f4, f2*f3*f4*f5, f1*f2*f3*f4*f5] [5, 6, 13, 15, 24, 25, 26, 27, 31, 32] [32 10 6 2]: [f2, f4, f5, f2*f4, f3*f5, f2*f3*f5, f3*f4*f5, f1*f2*f3*f4, f2*f3*f4*f5, f1*f2*f3*f4*f5] [3, 5, 6, 12, 15, 24, 26, 27, 31, 32] [32 10 6 2]: [f2, f5, f3*f5, f4*f5, f2*f3*f5, f2*f4*f5, f3*f4*f5, f1*f2*f3*f4, f2*f3*f4*f5, f1*f2*f3*f4*f5] [3, 6, 15, 16, 24, 25, 26, 27, 31, 32] [32 12 6 4]: [f1, f1*f3, f2*f4, f1*f2*f5, f1*f4*f5, f2*f3*f5, f2*f4*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [2, 8, 12, 19, 22, 24, 25, 27, 29, 30, 31, 32] [32 12 6 4]: [f1, f2, f1*f3, f2*f5, f1*f2*f5, f1*f4*f5, f2*f3*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [2, 3, 8, 13, 19, 22, 24, 27, 29, 30, 31, 32] [32 12 6 4]: [f2, f1*f3, f1*f4, f1*f2*f5, f1*f4*f5, f2*f3*f5, f2*f4*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [3, 8, 9, 19, 22, 24, 25, 27, 29, 30, 31, 32] [32 12 8 4]: [f1*f3, f2*f4, f1*f2*f5, f1*f3*f4, f1*f3*f5, f2*f3*f5, f2*f4*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [8, 12, 19, 20, 21, 24, 25, 27, 29, 30, 31, 32] [32 12 8 4]: [f3, f2*f4, f3*f4, f3*f5, f1*f2*f5, f2*f3*f5, f2*f4*f5, f3*f4*f5, f1*f2*f3*f4, f1*f2*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [4, 12, 14, 15, 19, 24, 25, 26, 27, 29, 31, 32] [32 12 8 4]: [f2, f4, f5, f1*f3, f2*f5, f1*f2*f5, f2*f3*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [3, 5, 6, 8, 13, 19, 24, 27, 29, 30, 31, 32] [32 12 8 4]: [f1, f4, f5, f2*f4, f1*f2*f5, f1*f4*f5, f2*f3*f5, f2*f4*f5, f1*f2*f3*f4, f1*f2*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [2, 5, 6, 12, 19, 22, 24, 25, 27, 29, 31, 32] [32 13 6 4]: [f1, f4, f1*f3, f2*f4, f1*f2*f5, f1*f4*f5, f2*f3*f5, f2*f4*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [2, 5, 8, 12, 19, 22, 24, 25, 27, 29, 30, 31, 32] [32 13 6 4]: [f1, f1*f3, f2*f4, f4*f5, f1*f2*f5, f1*f4*f5, f2*f3*f5, f2*f4*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [2, 8, 12, 16, 19, 22, 24, 25, 27, 29, 30, 31, 32] [32 13 6 4]: [f1, f2, f4, f1*f3, f2*f5, f1*f2*f5, f1*f4*f5, f2*f3*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [2, 3, 5, 8, 13, 19, 22, 24, 27, 29, 30, 31, 32] [32 13 6 4]: [f1, f2, f1*f3, f2*f5, f4*f5, f1*f2*f5, f1*f4*f5, f2*f3*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [2, 3, 8, 13, 16, 19, 22, 24, 27, 29, 30, 31, 32] [32 13 6 4]: [f2, f4, f1*f3, f1*f4, f1*f2*f5, f1*f4*f5, f2*f3*f5, f2*f4*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [3, 5, 8, 9, 19, 22, 24, 25, 27, 29, 30, 31, 32] [32 13 6 4]: [f2, f5, f1*f3, f1*f4, f1*f2*f5, f1*f4*f5, f2*f3*f5, f2*f4*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [3, 6, 8, 9, 19, 22, 24, 25, 27, 29, 30, 31, 32] [32 13 6 4]: [f2, f1*f3, f1*f4, f4*f5, f1*f2*f5, f1*f4*f5, f2*f3*f5, f2*f4*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [3, 8, 9, 16, 19, 22, 24, 25, 27, 29, 30, 31, 32] [32 15 8 6]: [f1, f4, f5, f1*f3, f2*f4, f4*f5, f1*f2*f5, f1*f4*f5, f2*f3*f5, f2*f4*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [2, 5, 6, 8, 12, 16, 19, 22, 24, 25, 27, 29, 30, 31, 32] [32 15 8 6]: [f1, f2, f4, f5, f1*f3, f2*f5, f4*f5, f1*f2*f5, f1*f4*f5, f2*f3*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [2, 3, 5, 6, 8, 13, 16, 19, 22, 24, 27, 29, 30, 31, 32] [32 15 8 6]: [f2, f4, f5, f1*f3, f1*f4, f4*f5, f1*f2*f5, f1*f4*f5, f2*f3*f5, f2*f4*f5, f1*f2*f3*f4, f1*f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [3, 5, 6, 8, 9, 16, 19, 22, 24, 25, 27, 29, 30, 31, 32] [32 16 8 4]: [f1, f2, f4, f5, f1*f2, f1*f4, f1*f5, f2*f3, f2*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f1*f4*f5, f2*f3*f4, f1*f2*f3*f5] [2, 3, 5, 6, 7, 9, 10, 11, 13, 17, 18, 20, 21, 22, 23, 28] [32 16 8 4]: [f1, f3, f4, f1*f2, f1*f4, f1*f5, f2*f4, f2*f5, f3*f4, f4*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f1*f4*f5, f1*f2*f3*f5] [2, 4, 5, 7, 9, 10, 12, 13, 14, 16, 17, 18, 20, 21, 22, 28] [32 16 8 4]: [f2, f4, f5, f1*f2, f1*f3, f1*f4, f1*f5, f2*f3, f2*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f2*f3*f4, f1*f2*f3*f5, f1*f3*f4*f5] [3, 5, 6, 7, 8, 9, 10, 11, 13, 17, 18, 20, 21, 23, 28, 30] [32 16 8 4]: [f2, f3, f4, f5, f1*f2, f1*f4, f1*f5, f2*f3, f2*f5, f3*f4, f3*f5, f1*f2*f3, f1*f2*f4, f2*f3*f4, f3*f4*f5, f1*f2*f3*f5] [3, 4, 5, 6, 7, 9, 10, 11, 13, 14, 15, 17, 18, 23, 26, 28] [32 16 8 6]: [f2, f3, f1*f2, f1*f4, f1*f5, f2*f3, f2*f5, f3*f4, f3*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f2*f3*f4, f3*f4*f5, f1*f2*f3*f5] [3, 4, 7, 9, 10, 11, 13, 14, 15, 17, 18, 20, 21, 23, 26, 28] [32 16 8 6]: [f3, f1*f2, f1*f4, f1*f5, f2*f3, f2*f4, f3*f4, f3*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f2*f3*f4, f2*f4*f5, f3*f4*f5, f1*f2*f3*f5] [4, 7, 9, 10, 11, 12, 14, 15, 17, 18, 20, 21, 23, 25, 26, 28] [32 16 8 6]: [f1, f3, f1*f2, f1*f5, f2*f3, f2*f4, f2*f5, f3*f4, f3*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f2*f3*f4, f3*f4*f5, f1*f2*f3*f5] [2, 4, 7, 10, 11, 12, 13, 14, 15, 17, 18, 20, 21, 23, 26, 28] [32 17 10 8]: [f2, f3, f1*f2, f1*f4, f1*f5, f2*f3, f2*f5, f3*f4, f3*f5, f4*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f2*f3*f4, f3*f4*f5, f1*f2*f3*f5] [3, 4, 7, 9, 10, 11, 13, 14, 15, 16, 17, 18, 20, 21, 23, 26, 28] [32 17 10 8]: [f2, f3, f5, f1*f2, f1*f4, f1*f5, f2*f3, f2*f5, f3*f4, f3*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f2*f3*f4, f3*f4*f5, f1*f2*f3*f5] [3, 4, 6, 7, 9, 10, 11, 13, 14, 15, 17, 18, 20, 21, 23, 26, 28] [32 17 10 8]: [f3, f1*f2, f1*f4, f1*f5, f2*f3, f2*f4, f3*f4, f3*f5, f4*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f2*f3*f4, f2*f4*f5, f3*f4*f5, f1*f2*f3*f5] [4, 7, 9, 10, 11, 12, 14, 15, 16, 17, 18, 20, 21, 23, 25, 26, 28] [32 17 10 8]: [f3, f5, f1*f2, f1*f4, f1*f5, f2*f3, f2*f4, f3*f4, f3*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f2*f3*f4, f2*f4*f5, f3*f4*f5, f1*f2*f3*f5] [4, 6, 7, 9, 10, 11, 12, 14, 15, 17, 18, 20, 21, 23, 25, 26, 28] [32 17 10 8]: [f1, f3, f1*f2, f1*f5, f2*f3, f2*f4, f2*f5, f3*f4, f3*f5, f4*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f2*f3*f4, f3*f4*f5, f1*f2*f3*f5] [2, 4, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 23, 26, 28] [32 17 10 8]: [f1, f3, f5, f1*f2, f1*f5, f2*f3, f2*f4, f2*f5, f3*f4, f3*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f2*f3*f4, f3*f4*f5, f1*f2*f3*f5] [2, 4, 6, 7, 10, 11, 12, 13, 14, 15, 17, 18, 20, 21, 23, 26, 28] [32 17 10 8]: [f1, f3, f4, f1*f2, f1*f5, f2*f3, f2*f4, f2*f5, f3*f4, f3*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f2*f3*f4, f3*f4*f5, f1*f2*f3*f5] [2, 4, 5, 7, 10, 11, 12, 13, 14, 15, 17, 18, 20, 21, 23, 26, 28] [32 17 16 2]: [f1, f2, f1*f3, f1*f4, f1*f5, f2*f3, f2*f4, f2*f5, f4*f5, f1*f3*f4, f1*f3*f5, f1*f4*f5, f2*f3*f4, f2*f3*f5, f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5] [2, 3, 8, 9, 10, 11, 12, 13, 16, 20, 21, 22, 23, 24, 25, 30, 31] [32 19 12 10]: [f2, f3, f4, f5, f1*f2, f1*f4, f1*f5, f2*f3, f2*f5, f3*f4, f3*f5, f4*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f2*f3*f4, f3*f4*f5, f1*f2*f3*f5] [3, 4, 5, 6, 7, 9, 10, 11, 13, 14, 15, 16, 17, 18, 20, 21, 23, 26, 28] [32 19 12 10]: [f3, f4, f5, f1*f2, f1*f4, f1*f5, f2*f3, f2*f4, f3*f4, f3*f5, f4*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f2*f3*f4, f2*f4*f5, f3*f4*f5, f1*f2*f3*f5] [4, 5, 6, 7, 9, 10, 11, 12, 14, 15, 16, 17, 18, 20, 21, 23, 25, 26, 28] [32 19 12 10]: [f1, f3, f4, f5, f1*f2, f1*f5, f2*f3, f2*f4, f2*f5, f3*f4, f3*f5, f4*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f2*f3*f4, f3*f4*f5, f1*f2*f3*f5] [2, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 23, 26, 28] [32 20 16 12]: [f1, f3, f4, f5, f1*f2, f1*f4, f1*f5, f2*f3, f2*f4, f3*f4, f3*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f1*f4*f5, f2*f3*f4, f2*f4*f5, f3*f4*f5, f1*f2*f3*f5] [2, 4, 5, 6, 7, 9, 10, 11, 12, 14, 15, 17, 18, 20, 21, 22, 23, 25, 26, 28] [32 20 16 12]: [f1, f2, f3, f1*f2, f1*f3, f1*f4, f1*f5, f2*f3, f2*f5, f3*f4, f3*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f1*f4*f5, f2*f3*f4, f3*f4*f5, f1*f2*f3*f5, f1*f3*f4*f5] [2, 3, 4, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 20, 21, 22, 23, 26, 28, 30] [32 20 16 12]: [f2, f3, f4, f5, f1*f2, f1*f3, f1*f4, f1*f5, f2*f3, f2*f5, f3*f4, f3*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f2*f3*f4, f3*f4*f5, f1*f2*f3*f5, f1*f3*f4*f5] [3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 20, 21, 23, 26, 28, 30] [32 22 16 14]: [f1, f2, f3, f4, f5, f1*f2, f1*f3, f1*f4, f1*f5, f2*f3, f2*f5, f3*f4, f3*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f1*f4*f5, f2*f3*f4, f3*f4*f5, f1*f2*f3*f5, f1*f3*f4*f5] [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 20, 21, 22, 23, 26, 28, 30] [32 22 16 14]: [f1, f2, f3, f4, f5, f1*f2, f1*f3, f1*f5, f2*f3, f2*f4, f2*f5, f3*f4, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f2*f3*f4, f2*f3*f5, f2*f4*f5, f1*f2*f3*f5, f1*f3*f4*f5, f2*f3*f4*f5] [2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 17, 18, 20, 21, 23, 24, 25, 28, 30, 31] [32 22 18 12]: [f1, f2, f4, f5, f1*f2, f1*f3, f1*f4, f1*f5, f2*f3, f2*f4, f2*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f1*f4*f5, f2*f3*f4, f2*f3*f5, f2*f4*f5, f1*f2*f3*f5, f1*f3*f4*f5, f2*f3*f4*f5] [2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 17, 18, 20, 21, 22, 23, 24, 25, 28, 30, 31] [32 22 18 12]: [f2, f3, f1*f2, f1*f3, f1*f4, f1*f5, f2*f3, f2*f5, f3*f4, f3*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f2*f3*f4, f2*f3*f5, f3*f4*f5, f1*f2*f3*f4, f1*f2*f3*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [3, 4, 7, 8, 9, 10, 11, 13, 14, 15, 17, 18, 20, 21, 23, 24, 26, 27, 28, 30, 31, 32] [32 22 18 14]: [f1, f3, f4, f5, f1*f2, f1*f3, f1*f4, f1*f5, f2*f3, f2*f5, f3*f4, f1*f2*f3, f1*f2*f4, f1*f2*f5, f1*f3*f4, f1*f3*f5, f1*f4*f5, f2*f3*f4, f2*f4*f5, f1*f2*f3*f5, f1*f2*f4*f5, f1*f3*f4*f5] [2, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 17, 18, 19, 20, 21, 22, 23, 25, 28, 29, 30] [32 22 18 14]: [f1, f2, f3, f4, f5, f1*f2, f1*f3, f1*f4, f1*f5, f2*f3, f2*f4, f3*f4, f1*f2*f3, f1*f2*f4, f1*f2*f5, f1*f3*f4, f1*f3*f5, f1*f4*f5, f2*f3*f4, f1*f2*f3*f5, f1*f2*f4*f5, f1*f3*f4*f5] [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 17, 18, 19, 20, 21, 22, 23, 28, 29, 30] [32 22 18 14]: [f1, f3, f5, f1*f2, f1*f3, f1*f4, f1*f5, f2*f3, f2*f4, f2*f5, f3*f4, f4*f5, f1*f2*f3, f1*f2*f4, f1*f2*f5, f1*f3*f4, f1*f3*f5, f1*f4*f5, f2*f3*f4, f1*f2*f3*f5, f1*f2*f4*f5, f1*f3*f4*f5] [2, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 28, 29, 30] [32 25 20 18]: [f1, f2, f3, f4, f5, f1*f2, f1*f4, f1*f5, f2*f3, f2*f4, f2*f5, f3*f4, f3*f5, f4*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f1*f4*f5, f2*f3*f4, f2*f3*f5, f2*f4*f5, f3*f4*f5, f1*f2*f3*f5, f2*f3*f4*f5] [2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 28, 31] [32 25 24 18]: [f1, f2, f3, f5, f1*f3, f1*f4, f1*f5, f2*f3, f2*f4, f2*f5, f3*f4, f3*f5, f1*f2*f3, f1*f3*f4, f1*f3*f5, f1*f4*f5, f2*f3*f4, f2*f3*f5, f2*f4*f5, f3*f4*f5, f1*f2*f3*f4, f1*f2*f3*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [2, 3, 4, 6, 8, 9, 10, 11, 12, 13, 14, 15, 17, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32] [32 26 22 20]: [f1, f2, f3, f4, f5, f1*f2, f1*f3, f1*f4, f1*f5, f2*f3, f2*f4, f2*f5, f3*f4, f1*f2*f3, f1*f2*f4, f1*f2*f5, f1*f3*f4, f1*f3*f5, f1*f4*f5, f2*f3*f4, f2*f3*f5, f2*f4*f5, f1*f2*f3*f5, f1*f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5] [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 17, 18, 19, 20, 21, 22, 23, 24, 25, 28, 29, 30, 31] [32 27 24 22]: [f1, f2, f3, f4, f5, f1*f2, f1*f3, f1*f4, f1*f5, f2*f3, f2*f4, f2*f5, f3*f4, f4*f5, f1*f2*f3, f1*f2*f4, f1*f2*f5, f1*f3*f4, f1*f3*f5, f1*f4*f5, f2*f3*f4, f2*f3*f5, f2*f4*f5, f1*f2*f3*f5, f1*f2*f4*f5, f1*f3*f4*f5, f2*f3*f4*f5] [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 28, 29, 30, 31] [32 28 26 24]: [f1, f2, f3, f4, f5, f1*f2, f1*f3, f1*f4, f1*f5, f2*f3, f2*f4, f2*f5, f3*f4, f3*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f1*f4*f5, f2*f3*f4, f2*f3*f5, f2*f4*f5, f3*f4*f5, f1*f2*f3*f4, f1*f2*f3*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32] [32 29 28 26]: [f1, f2, f3, f4, f5, f1*f2, f1*f3, f1*f4, f1*f5, f2*f3, f2*f4, f2*f5, f3*f4, f3*f5, f4*f5, f1*f2*f3, f1*f2*f4, f1*f3*f4, f1*f3*f5, f1*f4*f5, f2*f3*f4, f2*f3*f5, f2*f4*f5, f3*f4*f5, f1*f2*f3*f4, f1*f2*f3*f5, f1*f3*f4*f5, f2*f3*f4*f5, f1*f2*f3*f4*f5] [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32]