V000InW10V001star = P -> {
2*P_65-P_119+P_162+2*P_195+2*P_214+P_240+P_338-P_381-2*P_414-2*P_433-P_459+(1/2)*P_545+P_578+P_597+(1/2)*P_623-P_697-P_716-(1/2)*P_742-2*P_799-P_825+P_875
};