V00000inV00030otimesV03000 = (A,B) -> { A_0*B_489-4*A_1*B_488+12*A_2*B_487-24*A_3*B_486+24*A_4*B_485+10*A_5*B_484-30*A_6*B_483+60*A_7*B_482-60*A_8*B_481+60*A_9*B_480-120*A_10*B_479+120*A_11*B_478+180*A_12*B_477-180*A_13*B_476+180*A_14*B_475-20*A_15*B_474+60*A_16*B_473-120*A_17*B_472+120*A_18*B_471-120*A_19*B_470+240*A_20*B_469-240*A_21*B_468-360*A_22*B_467+360*A_23*B_466-360*A_24*B_465+200*A_25*B_464-400*A_26*B_463+400*A_27*B_462+600*A_28*B_461-600*A_29*B_460+600*A_30*B_459-800*A_31*B_458+800*A_32*B_457-800*A_33*B_456+800*A_34*B_455+12*A_35*B_454-36*A_36*B_453+72*A_37*B_452-72*A_38*B_451-30*A_39*B_444+90*A_40*B_443-180*A_41*B_442+180*A_42*B_441-180*A_43*B_440+360*A_44*B_439-360*A_45*B_438-540*A_46*B_437+540*A_47*B_436-540*A_48*B_435+60*A_49*B_414-180*A_50*B_413+360*A_51*B_412-360*A_52*B_411+360*A_53*B_410-720*A_54*B_409+720*A_55*B_408+1080*A_56*B_407-1080*A_57*B_406+1080*A_58*B_405-600*A_59*B_404+1200*A_60*B_403-1200*A_61*B_402-1800*A_62*B_401+1800*A_63*B_400-1800*A_64*B_399+2400*A_65*B_398-2400*A_66*B_397+2400*A_67*B_396-2400*A_68*B_395+54*A_69*B_450-108*A_70*B_449+108*A_71*B_448+108*A_72*B_447-108*A_73*B_446+54*A_74*B_445-180*A_75*B_434+360*A_76*B_433-360*A_77*B_432+360*A_78*B_428-720*A_79*B_427+720*A_80*B_426+1080*A_81*B_425-1080*A_82*B_424+1080*A_83*B_423-360*A_84*B_431+360*A_85*B_430-180*A_86*B_429+960*A_87*B_422-960*A_88*B_421-1440*A_89*B_419+1440*A_90*B_418-1440*A_91*B_417+480*A_92*B_420-960*A_93*B_416+960*A_94*B_415+405*A_95*B_394-810*A_96*B_393+810*A_97*B_392-810*A_98*B_388+1620*A_99*B_387-1620*A_100*B_386-2430*A_101*B_385+2430*A_102*B_384-2430*A_103*B_383+1350*A_104*B_374-2700*A_105*B_373+2700*A_106*B_372+4050*A_107*B_371-4050*A_108*B_370+4050*A_109*B_369-5400*A_110*B_368+5400*A_111*B_367-5400*A_112*B_366+5400*A_113*B_365+810*A_114*B_391-810*A_115*B_390+405*A_116*B_389-2160*A_117*B_382+2160*A_118*B_381+3240*A_119*B_379-3240*A_120*B_378+3240*A_121*B_377-1080*A_122*B_380+2160*A_123*B_376-2160*A_124*B_375+4050*A_125*B_364-4050*A_126*B_363-6075*A_127*B_361+6075*A_128*B_360-6075*A_129*B_359+8100*A_130*B_356-8100*A_131*B_355+8100*A_132*B_354-8100*A_133*B_353+2025*A_134*B_362-4050*A_135*B_358+4050*A_136*B_357+6075*A_137*B_352-6075*A_138*B_351+6075*A_139*B_350+50*A_140*B_349-150*A_141*B_348+300*A_142*B_347-300*A_143*B_346+300*A_144*B_345-600*A_145*B_344+600*A_146*B_343+900*A_147*B_342-900*A_148*B_341+900*A_149*B_340-100*A_150*B_299+300*A_151*B_298-600*A_152*B_297+600*A_153*B_296-600*A_154*B_295+1200*A_155*B_294-1200*A_156*B_293-1800*A_157*B_292+1800*A_158*B_291-1800*A_159*B_290+1000*A_160*B_289-2000*A_161*B_288+2000*A_162*B_287+3000*A_163*B_286-3000*A_164*B_285+3000*A_165*B_284-4000*A_166*B_283+4000*A_167*B_282-4000*A_168*B_281+4000*A_169*B_280+300*A_170*B_339-600*A_171*B_338+600*A_172*B_337-600*A_173*B_333+1200*A_174*B_332-1200*A_175*B_331-1800*A_176*B_330+1800*A_177*B_329-1800*A_178*B_328+600*A_179*B_336-600*A_180*B_335+300*A_181*B_334-1600*A_182*B_327+1600*A_183*B_326+2400*A_184*B_324-2400*A_185*B_323+2400*A_186*B_322-800*A_187*B_325+1600*A_188*B_321-1600*A_189*B_320-675*A_190*B_279+1350*A_191*B_278-1350*A_192*B_277+1350*A_193*B_273-2700*A_194*B_272+2700*A_195*B_271+4050*A_196*B_270-4050*A_197*B_269+4050*A_198*B_268-2250*A_199*B_259+4500*A_200*B_258-4500*A_201*B_257-6750*A_202*B_256+6750*A_203*B_255-6750*A_204*B_254+9000*A_205*B_253-9000*A_206*B_252+9000*A_207*B_251-9000*A_208*B_250-1350*A_209*B_276+1350*A_210*B_275-675*A_211*B_274+3600*A_212*B_267-3600*A_213*B_266-5400*A_214*B_264+5400*A_215*B_263-5400*A_216*B_262+1800*A_217*B_265-3600*A_218*B_261+3600*A_219*B_260-6750*A_220*B_249+6750*A_221*B_248+10125*A_222*B_246-10125*A_223*B_245+10125*A_224*B_244-13500*A_225*B_241+13500*A_226*B_240-13500*A_227*B_239+13500*A_228*B_238-3375*A_229*B_247+6750*A_230*B_243-6750*A_231*B_242-10125*A_232*B_237+10125*A_233*B_236-10125*A_234*B_235+600*A_235*B_319-1200*A_236*B_318+1200*A_237*B_317+1800*A_238*B_316-1800*A_239*B_315+1800*A_240*B_314+1600*A_241*B_313-1600*A_242*B_312-2400*A_243*B_310+2400*A_244*B_309-2400*A_245*B_308+800*A_246*B_311-1600*A_247*B_307+1600*A_248*B_306+1800*A_249*B_305-1800*A_250*B_304+1800*A_251*B_303+1200*A_252*B_302-1200*A_253*B_301+600*A_254*B_300-1800*A_255*B_234+3600*A_256*B_233-3600*A_257*B_232-5400*A_258*B_231+5400*A_259*B_230-5400*A_260*B_229+3000*A_261*B_214-6000*A_262*B_213+6000*A_263*B_212+9000*A_264*B_211-9000*A_265*B_210+9000*A_266*B_209-12000*A_267*B_208+12000*A_268*B_207-12000*A_269*B_206+12000*A_270*B_205-4800*A_271*B_228+4800*A_272*B_227+7200*A_273*B_225-7200*A_274*B_224+7200*A_275*B_223-2400*A_276*B_226+4800*A_277*B_222-4800*A_278*B_221+9000*A_279*B_204-9000*A_280*B_203-13500*A_281*B_201+13500*A_282*B_200-13500*A_283*B_199+18000*A_284*B_196-18000*A_285*B_195+18000*A_286*B_194-18000*A_287*B_193+4500*A_288*B_202-9000*A_289*B_198+9000*A_290*B_197+13500*A_291*B_192-13500*A_292*B_191+13500*A_293*B_190-5400*A_294*B_220+5400*A_295*B_219-5400*A_296*B_218-3600*A_297*B_217+3600*A_298*B_216-1800*A_299*B_215+13500*A_300*B_189-13500*A_301*B_188+13500*A_302*B_187-18000*A_303*B_183+18000*A_304*B_182-18000*A_305*B_181+18000*A_306*B_180+9000*A_307*B_186-9000*A_308*B_185-13500*A_309*B_179+13500*A_310*B_178-13500*A_311*B_177+4500*A_312*B_184-9000*A_313*B_176+9000*A_314*B_175+100*A_315*B_174-300*A_316*B_173+600*A_317*B_172-600*A_318*B_171+600*A_319*B_170-1200*A_320*B_169+1200*A_321*B_168+1800*A_322*B_167-1800*A_323*B_166+1800*A_324*B_165-1000*A_325*B_164+2000*A_326*B_163-2000*A_327*B_162-3000*A_328*B_161+3000*A_329*B_160-3000*A_330*B_159+4000*A_331*B_158-4000*A_332*B_157+4000*A_333*B_156-4000*A_334*B_155+675*A_335*B_154-1350*A_336*B_153+1350*A_337*B_152-1350*A_338*B_148+2700*A_339*B_147-2700*A_340*B_146-4050*A_341*B_145+4050*A_342*B_144-4050*A_343*B_143+2250*A_344*B_134-4500*A_345*B_133+4500*A_346*B_132+6750*A_347*B_131-6750*A_348*B_130+6750*A_349*B_129-9000*A_350*B_128+9000*A_351*B_127-9000*A_352*B_126+9000*A_353*B_125+1350*A_354*B_151-1350*A_355*B_150+675*A_356*B_149-3600*A_357*B_142+3600*A_358*B_141+5400*A_359*B_139-5400*A_360*B_138+5400*A_361*B_137-1800*A_362*B_140+3600*A_363*B_136-3600*A_364*B_135+6750*A_365*B_124-6750*A_366*B_123-10125*A_367*B_121+10125*A_368*B_120-10125*A_369*B_119+13500*A_370*B_116-13500*A_371*B_115+13500*A_372*B_114-13500*A_373*B_113+3375*A_374*B_122-6750*A_375*B_118+6750*A_376*B_117+10125*A_377*B_112-10125*A_378*B_111+10125*A_379*B_110+1800*A_380*B_109-3600*A_381*B_108+3600*A_382*B_107+5400*A_383*B_106-5400*A_384*B_105+5400*A_385*B_104-3000*A_386*B_89+6000*A_387*B_88-6000*A_388*B_87-9000*A_389*B_86+9000*A_390*B_85-9000*A_391*B_84+12000*A_392*B_83-12000*A_393*B_82+12000*A_394*B_81-12000*A_395*B_80+4800*A_396*B_103-4800*A_397*B_102-7200*A_398*B_100+7200*A_399*B_99-7200*A_400*B_98+2400*A_401*B_101-4800*A_402*B_97+4800*A_403*B_96-9000*A_404*B_79+9000*A_405*B_78+13500*A_406*B_76-13500*A_407*B_75+13500*A_408*B_74-18000*A_409*B_71+18000*A_410*B_70-18000*A_411*B_69+18000*A_412*B_68-4500*A_413*B_77+9000*A_414*B_73-9000*A_415*B_72-13500*A_416*B_67+13500*A_417*B_66-13500*A_418*B_65+5400*A_419*B_95-5400*A_420*B_94+5400*A_421*B_93+3600*A_422*B_92-3600*A_423*B_91+1800*A_424*B_90-13500*A_425*B_64+13500*A_426*B_63-13500*A_427*B_62+18000*A_428*B_58-18000*A_429*B_57+18000*A_430*B_56-18000*A_431*B_55-9000*A_432*B_61+9000*A_433*B_60+13500*A_434*B_54-13500*A_435*B_53+13500*A_436*B_52-4500*A_437*B_59+9000*A_438*B_51-9000*A_439*B_50+2500*A_440*B_49-5000*A_441*B_48+5000*A_442*B_47+7500*A_443*B_46-7500*A_444*B_45+7500*A_445*B_44-10000*A_446*B_43+10000*A_447*B_42-10000*A_448*B_41+10000*A_449*B_40+7500*A_450*B_39-7500*A_451*B_38-11250*A_452*B_36+11250*A_453*B_35-11250*A_454*B_34+15000*A_455*B_31-15000*A_456*B_30+15000*A_457*B_29-15000*A_458*B_28+3750*A_459*B_37-7500*A_460*B_33+7500*A_461*B_32+11250*A_462*B_27-11250*A_463*B_26+11250*A_464*B_25+11250*A_465*B_24-11250*A_466*B_23+11250*A_467*B_22-15000*A_468*B_18+15000*A_469*B_17-15000*A_470*B_16+15000*A_471*B_15+7500*A_472*B_21-7500*A_473*B_20-11250*A_474*B_14+11250*A_475*B_13-11250*A_476*B_12+3750*A_477*B_19-7500*A_478*B_11+7500*A_479*B_10+10000*A_480*B_9-10000*A_481*B_8+10000*A_482*B_7-10000*A_483*B_6+7500*A_484*B_5-7500*A_485*B_4+7500*A_486*B_3+5000*A_487*B_2-5000*A_488*B_1+2500*A_489*B_0 };