01: M & (M & (M & (M & M)))
02: M & (M & (M & M))
03: M & (M & (M & (M | M)))
04: M & (M & M)
05: M & (M & (M | (M & M)))
06: M & (M & (M | M))
07: M & (M & (M | (M | M)))
08: M & M
09: M & (M | (M & (M & M)))
10: M & (M | (M & M))
11: M & (M | (M & (M | M)))
12: M & (M | M)
13: M & (M | (M | (M & M)))
14: M & (M | (M | M))
15: M & (M | (M | (M | M)))
16: M
17: M | (M & (M & (M & M)))
18: M | (M & (M & M))
19: M | (M & (M & (M | M)))
20: M | (M & M)
21: M | (M & (M | (M & M)))
22: M | (M & (M | M))
23: M | (M & (M | (M | M)))
24: M | M
25: M | (M | (M & (M & M)))
26: M | (M | (M & M))
27: M | (M | (M & (M | M)))
28: M | (M | M)
29: M | (M | (M | (M & M)))
30: M | (M | (M | M))
31: M | (M | (M | (M | M)))