% s6:=sqrt(6);

a19:=
2300547890271456000000*s6*a0^6 - 13314420500248721280000*s6*a0^5*b0 + 4022678517797149920000*s6*a0^4*a1^2 - 12185938165945599720000*s6*a0^4*a1*b1 + 9726110876669345536000*s6*a0^4*b0^2 - 2088705394978864800000*s6*a0^4*b1^2 - 8843743050002233728000*s6*a0^3*a1^2*b0 + 1552978135214377392000*s6*a0^3*a1*b0*b1 + 164926143428755609600*s6*a0^3*b0^3 + 6217786690276645176000*s6*a0^3*b0*b1^2 + 1941686573597117412480*s6*a0^2*a1^4 - 3132005383893107121120*s6*a0^2*a1^3*b1 + 1833603743893730891520*s6*a0^2*a1^2*b0^2 - 3770969989774833254520*s6*a0^2*a1^2*b1^2 + 5169734129372720175360*s6*a0^2*a1*b0^2*b1 + 2485280180118279147480*s6*a0^2*a1*b1^3 - 996896012323306403840*s6*a0^2*b0^4 - 925270976215868906880*s6*a0^2*b0^2*b1^2 + 74462461939798015680*s6*a0^2*b1^4 - 524123564091628253184*s6*a0*a1^4*b0 - 1194754357857233361024*s6*a0*a1^3*b0*b1 + 243647586737387226624*s6*a0*a1^2*b0^3 + 1629616656945795239376*s6*a0*a1^2*b0*b1^2 - 754425993869902562688*s6*a0*a1*b0^3*b1 + 867915164207913847056*s6*a0*a1*b0*b1^3 + 3618421863956788224*s6*a0*b0^5 - 772619961956143446336*s6*a0*b0^3*b1^2 - 438818680673003917224*s6*a0*b0*b1^4 + 62646023758716980352*s6*a1^6 + 9159099848800905312*s6*a1^5*b1 - 24464696304634479360*s6*a1^4*b0^2 - 254534097203995557060*s6*a1^4*b1^2 + 130801547413334926368*s6*a1^3*b0^2*b1 - 13611911835565036620*s6*a1^3*b1^3 - 37470452398406123520*s6*a1^2*b0^4 + 193420319940986808456*s6*a1^2*b0^2*b1^2 + 215791821335366287695*s6*a1^2*b1^4 - 132762007686584411328*s6*a1*b0^4*b1 - 292670009299507757976*s6*a1*b0^2*b1^3 - 74484700774007658462*s6*a1*b1^5 + 21949306985425741824*s6*b0^6 + 80314491397893109248*s6*b0^4*b1^2 + 21593660315481388512*s6*b0^2*b1^4 + 1354565584806144408*s6*b1^6 + 8281972404977241600000*a0^5*a1 - 20113465001748129600000*a0^5*b1 - 36573738838205248128000*a0^4*a1*b0 + 6003154009788539808000*a0^4*b0*b1 + 8613056866550417222400*a0^3*a1^3 - 20644245769284583027200*a0^3*a1^2*b1 + 17983242016812128755200*a0^3*a1*b0^2 - 8750813781982920292800*a0^3*a1*b1^2 + 16959446950264477420800*a0^3*b0^2*b1 + 4391629028622064497600*a0^3*b1^3 - 7711079140985454570240*a0^2*a1^3*b0 - 3850186094266425770880*a0^2*a1^2*b0*b1 + 1003252142962580728320*a0^2*a1*b0^3 + 14283635922380792436480*a0^2*a1*b0*b1^2 - 5631985753778872446720*a0^2*b0^3*b1 + 509028593643436364640*a0^2*b0*b1^3 + 1394659279178180889984*a0*a1^5 - 1147713270022925239680*a0*a1^4*b1 + 171301406132239469568*a0*a1^3*b0^2 - 4204379270818300054320*a0*a1^3*b1^2 + 3703884433039501479936*a0*a1^2*b0^2*b1 + 1901508492617094508200*a0*a1^2*b1^3 - 934730485667321783808*a0*a1*b0^4 + 275583891043476143424*a0*a1*b0^2*b1^2 + 1133922321133893855360*a0*a1*b1^4 - 847059605374837085952*a0*b0^4*b1 - 1803910228089693344928*a0*b0^2*b1^3 - 366298334949014384544*a0*b1^5 - 36281763677008879488*a1^5*b0 - 492125652475057868544*a1^4*b0*b1 + 78210055869681231360*a1^3*b0^3 + 142687368217473236496*a1^3*b0*b1^2 - 59639620977766947456*a1^2*b0^3*b1 + 885418827107691698856*a1^2*b0*b1^3 - 22042033406749441536*a1*b0^5 - 703609664530572425088*a1*b0^3*b1^2 - 462941636530607317584*a1*b0*b1^4 + 175501729462082234880*b0^5*b1 + 128567836178663505984*b0^3*b1^3 + 10836524678449155264*b0*b1^5;
end;