mu_0 = 1
mu_2 = 3
mu_4 = 15
mu_6 = 87
mu_8 = 543
mu_10 = 3543
mu_12 = 23817
mu_14 = 163551
mu_16 = 1141119
mu_18 = 8060343
mu_20 = 57494385
mu_22 = 413383875
mu_24 = 2991896721
mu_26 = 21774730539
mu_28 = 159227948055
mu_30 = 1169137211487
mu_32 = 8615182401087
mu_34 = 63683991513351
mu_36 = 472072258519041
mu_38 = 3508080146139867
mu_40 = 26127841824131313
mu_42 = 194991952493587371
mu_44 = 1457901080870060919
mu_46 = 10918612274039599755
mu_48 = 81898043907874542705
canonical states visited: 3112227
