V01inW10V01star = P -> {
18*P_250+9*P_262+3*P_269-9*P_400+9*P_485-3*P_494-3*P_529+3*P_599+3*P_660+2*P_665-2*P_724+3*P_786+3*P_788-3*P_812+9*P_873,
-9*P_250-9*P_261-3*P_268+9*P_399-9*P_485+3*P_493+3*P_528-3*P_598-2*P_660-2*P_664+2*P_723-P_786-3*P_787+3*P_811-P_930,
-18*P_248+9*P_249+9*P_260+3*P_267-9*P_398-9*P_483+9*P_484-3*P_527+3*P_597-3*P_658+2*P_659-2*P_722-3*P_784+P_785-3*P_810-9*P_871,
18*P_246-9*P_247-3*P_266+9*P_397+9*P_481-9*P_482-3*P_490+3*P_526-3*P_596+3*P_656-2*P_657+2*P_661+2*P_721+3*P_782-P_783+3*P_809+P_928,
-18*P_243+9*P_244-9*P_256-9*P_396-9*P_478+9*P_479+3*P_487-3*P_525+3*P_595-3*P_653+2*P_654-2*P_720+3*P_781+9*P_866-P_925,
18*P_239-9*P_240+9*P_252+9*P_395+9*P_474-9*P_475+3*P_524-3*P_594-2*P_652-3*P_773+P_774-3*P_775-3*P_804-9*P_860+P_919,
-18*P_234+9*P_235+3*P_251-9*P_394-3*P_473-3*P_523+3*P_639-2*P_640+2*P_642+2*P_714+3*P_763-P_764+3*P_765+3*P_799+9*P_850-P_909,
-9*P_232-3*P_236-9*P_454+9*P_455+3*P_458+3*P_587-3*P_624+2*P_625-2*P_627-2*P_708-3*P_748+P_749-3*P_750-3*P_793-9*P_835+P_894,
18*P_207-9*P_208+9*P_211+3*P_215+9*P_386+9*P_433-9*P_434-3*P_437+3*P_515+3*P_603-2*P_604+2*P_606+3*P_727-P_728+3*P_729+9*P_814,
-18*P_179+9*P_180-9*P_183-3*P_187-9*P_405+9*P_406+3*P_409-3*P_507-3*P_552-3*P_575+2*P_576-2*P_578+2*P_673-3*P_699+P_700-3*P_701-P_817,
18*P_143-9*P_144+9*P_147+3*P_151-9*P_342+9*P_369-9*P_370-3*P_373+3*P_516+3*P_539-2*P_540+2*P_542+3*P_674-9*P_702+P_733,
-18*P_98+9*P_99-9*P_102-3*P_106+9*P_297-9*P_324+9*P_325+3*P_328-2*P_517+3*P_543-P_544+3*P_545-3*P_554+9*P_582-P_613,
18*P_43-9*P_44+9*P_47+3*P_51+3*P_288-3*P_306-3*P_329+2*P_330-2*P_332+2*P_352-3*P_378+P_379-3*P_380+3*P_389-9*P_417+P_448,
-9*P_22+9*P_49-9*P_50-3*P_53-3*P_68+3*P_86+3*P_109-2*P_110+2*P_112-2*P_132+3*P_158-P_159+3*P_160-3*P_169+9*P_197-P_228
};