V00inW11V01star = P -> {
-18*P_55+9*P_56-9*P_59-3*P_63+9*P_100-9*P_127+9*P_128+3*P_131+3*P_146-3*P_164-3*P_187+2*P_188-2*P_190+2*P_210-3*P_236+P_237-3*P_238+3*P_247-9*P_275+P_306
};