#C generated from Maple
#vars [f0, f1, f2, f3, f4, f5, f6, f7, f8, f9, f10, f11, f12, f13, f14, f15]

#list


[16701*f12+55067*f15^2+504*f12^2+17961*f12*f13+35922*f12*f0+47056*f12*f1+36930*f12*f2+53379*f12*f3+22772*f12*f4+42749*f12*f5+36930*f12*f6+11134*f12*f7+49072*f12*f8+12142*f12*f9+47056*f12*f10+5315*f12*f11+64513*f12*f14+6827*f12*f15+21664*f13^2+21135*f13*f0+45973*f13*f1+39096*f13*f2+22722*f13*f3+25896*f13*f4+39625*f13*f5+39096*f13*f6+24838*f13*f7+16374*f13*f8+42799*f13*f9+45973*f13*f10+24309*f13*f11+47560*f13*f14+18490*f13*f15+21135*f0^2+26425*f0*f1+12671*f0*f2+45444*f0*f3+51792*f0*f4+13729*f0*f5+12671*f0*f6+49676*f0*f7+32748*f0*f8+20077*f0*f9+26425*f0*f10+48618*f0*f11+29599*f0*f14+36980*f0*f15+63531*f1^2+7960*f1*f2+48870*f1*f3+28239*f1*f4+37282*f1*f5+7960*f1*f6+35116*f1*f7+24611*f1*f8+16651*f1*f9+61541*f1*f10+5794*f1*f11+18465*f1*f14+10857*f1*f15+57561*f2^2+33302*f2*f3+9043*f2*f4+56478*f2*f5+49601*f2*f6+60810*f2*f7+16299*f2*f8+32219*f2*f9+7960*f2*f10+53933*f2*f11+28591*f2*f14+43807*f2*f15+4358*f3^2+781*f3*f4+64740*f3*f5+33302*f3*f6+3426*f3*f7+24586*f3*f8+56805*f3*f9+48870*f3*f10+37509*f3*f11+12142*f3*f14+19296*f3*f15+47661*f4^2+35720*f4*f5+9043*f4*f6+41968*f4*f7+8262*f4*f8+64740*f4*f9+28239*f4*f10+15291*f4*f11+42749*f4*f14+49449*f4*f15+47661*f5^2+56478*f5*f6+23553*f5*f7+57259*f5*f8+781*f5*f9+37282*f5*f10+50230*f5*f11+22772*f5*f14+16072*f5*f15+57561*f6^2+60810*f6*f7+16299*f6*f8+32219*f6*f9+7960*f6*f10+53933*f6*f11+28591*f6*f14+43807*f6*f15+58241*f7^2+57384*f7*f8+62095*f7*f9+35116*f7*f10+22697*f7*f11+54387*f7*f14+39398*f7*f15+28617*f8^2+40935*f8*f9+24611*f8*f10+16424*f8*f11+16449*f8*f14+24511*f8*f15+4358*f9^2+16651*f9*f10+28012*f9*f11+53379*f9*f14+46225*f9*f15+63531*f10^2+5794*f10*f11+18465*f10*f14+10857*f10*f15+13200*f11^2+60206*f11*f14+1612*f11*f15+504*f14^2+58694*f14*f15+8993*f0+52674*f1+25694*f2+5139*f3+62952*f4+2569*f5+25694*f6+43681*f7+20555*f8+60382*f9+52674*f10+1285*f11+37257*f13+48820*f14+59097*f15, 1285*f12+504*f15^2+13200*f12^2+5315*f12*f13+1612*f12*f0+48618*f12*f1+5794*f12*f2+53933*f12*f3+37509*f12*f4+15291*f12*f5+50230*f12*f6+53933*f12*f7+22697*f12*f8+16424*f12*f9+28012*f12*f10+5794*f12*f11+24309*f12*f14+60206*f12*f15+504*f13^2+6827*f13*f0+35922*f13*f1+47056*f13*f2+36930*f13*f3+53379*f13*f4+22772*f13*f5+42749*f13*f6+36930*f13*f7+11134*f13*f8+49072*f13*f9+12142*f13*f10+47056*f13*f11+17961*f13*f14+64513*f13*f15+55067*f0^2+36980*f0*f1+10857*f0*f2+43807*f0*f3+19296*f0*f4+49449*f0*f5+16072*f0*f6+43807*f0*f7+39398*f0*f8+24511*f0*f9+46225*f0*f10+10857*f0*f11+18490*f0*f14+58694*f0*f15+21135*f1^2+26425*f1*f2+12671*f1*f3+45444*f1*f4+51792*f1*f5+13729*f1*f6+12671*f1*f7+49676*f1*f8+32748*f1*f9+20077*f1*f10+26425*f1*f11+21135*f1*f14+29599*f1*f15+63531*f2^2+7960*f2*f3+48870*f2*f4+28239*f2*f5+37282*f2*f6+7960*f2*f7+35116*f2*f8+24611*f2*f9+16651*f2*f10+61541*f2*f11+45973*f2*f14+18465*f2*f15+57561*f3^2+33302*f3*f4+9043*f3*f5+56478*f3*f6+49601*f3*f7+60810*f3*f8+16299*f3*f9+32219*f3*f10+7960*f3*f11+39096*f3*f14+28591*f3*f15+4358*f4^2+781*f4*f5+64740*f4*f6+33302*f4*f7+3426*f4*f8+24586*f4*f9+56805*f4*f10+48870*f4*f11+22722*f4*f14+12142*f4*f15+47661*f5^2+35720*f5*f6+9043*f5*f7+41968*f5*f8+8262*f5*f9+64740*f5*f10+28239*f5*f11+25896*f5*f14+42749*f5*f15+47661*f6^2+56478*f6*f7+23553*f6*f8+57259*f6*f9+781*f6*f10+37282*f6*f11+39625*f6*f14+22772*f6*f15+57561*f7^2+60810*f7*f8+16299*f7*f9+32219*f7*f10+7960*f7*f11+39096*f7*f14+28591*f7*f15+58241*f8^2+57384*f8*f9+62095*f8*f10+35116*f8*f11+24838*f8*f14+54387*f8*f15+28617*f9^2+40935*f9*f10+24611*f9*f11+16374*f9*f14+16449*f9*f15+4358*f10^2+16651*f10*f11+42799*f10*f14+53379*f10*f15+63531*f11^2+45973*f11*f14+18465*f11*f15+21664*f14^2+47560*f14*f15+59097*f0+8993*f1+52674*f2+25694*f3+5139*f4+62952*f5+2569*f6+25694*f7+43681*f8+20555*f9+60382*f10+52674*f11+16701*f13+37257*f14+48820*f15, 52674*f12+21664*f15^2+63531*f12^2+5794*f12*f13+18465*f12*f0+10857*f12*f1+26425*f12*f2+61541*f12*f3+7960*f12*f4+48870*f12*f5+28239*f12*f6+37282*f12*f7+7960*f12*f8+35116*f12*f9+24611*f12*f10+16651*f12*f11+47056*f12*f14+45973*f12*f15+13200*f13^2+60206*f13*f0+1612*f13*f1+48618*f13*f2+5794*f13*f3+53933*f13*f4+37509*f13*f5+15291*f13*f6+50230*f13*f7+53933*f13*f8+22697*f13*f9+16424*f13*f10+28012*f13*f11+5315*f13*f14+24309*f13*f15+504*f0^2+58694*f0*f1+29599*f0*f2+18465*f0*f3+28591*f0*f4+12142*f0*f5+42749*f0*f6+22772*f0*f7+28591*f0*f8+54387*f0*f9+16449*f0*f10+53379*f0*f11+64513*f0*f14+47560*f0*f15+55067*f1^2+36980*f1*f2+10857*f1*f3+43807*f1*f4+19296*f1*f5+49449*f1*f6+16072*f1*f7+43807*f1*f8+39398*f1*f9+24511*f1*f10+46225*f1*f11+6827*f1*f14+18490*f1*f15+21135*f2^2+26425*f2*f3+12671*f2*f4+45444*f2*f5+51792*f2*f6+13729*f2*f7+12671*f2*f8+49676*f2*f9+32748*f2*f10+20077*f2*f11+35922*f2*f14+21135*f2*f15+63531*f3^2+7960*f3*f4+48870*f3*f5+28239*f3*f6+37282*f3*f7+7960*f3*f8+35116*f3*f9+24611*f3*f10+16651*f3*f11+47056*f3*f14+45973*f3*f15+57561*f4^2+33302*f4*f5+9043*f4*f6+56478*f4*f7+49601*f4*f8+60810*f4*f9+16299*f4*f10+32219*f4*f11+36930*f4*f14+39096*f4*f15+4358*f5^2+781*f5*f6+64740*f5*f7+33302*f5*f8+3426*f5*f9+24586*f5*f10+56805*f5*f11+53379*f5*f14+22722*f5*f15+47661*f6^2+35720*f6*f7+9043*f6*f8+41968*f6*f9+8262*f6*f10+64740*f6*f11+22772*f6*f14+25896*f6*f15+47661*f7^2+56478*f7*f8+23553*f7*f9+57259*f7*f10+781*f7*f11+42749*f7*f14+39625*f7*f15+57561*f8^2+60810*f8*f9+16299*f8*f10+32219*f8*f11+36930*f8*f14+39096*f8*f15+58241*f9^2+57384*f9*f10+62095*f9*f11+11134*f9*f14+24838*f9*f15+28617*f10^2+40935*f10*f11+49072*f10*f14+16374*f10*f15+4358*f11^2+12142*f11*f14+42799*f11*f15+504*f14^2+17961*f14*f15+48820*f0+59097*f1+8993*f2+52674*f3+25694*f4+5139*f5+62952*f6+2569*f7+25694*f8+43681*f9+20555*f10+60382*f11+1285*f13+16701*f14+37257*f15, 60382*f12+504*f15^2+4358*f12^2+16651*f12*f13+42799*f12*f0+53379*f12*f1+46225*f12*f2+20077*f12*f3+16651*f12*f4+32219*f12*f5+56805*f12*f6+64740*f12*f7+781*f12*f8+32219*f12*f9+62095*f12*f10+40935*f12*f11+28012*f12*f14+12142*f12*f15+63531*f13^2+45973*f13*f0+18465*f13*f1+10857*f13*f2+26425*f13*f3+61541*f13*f4+7960*f13*f5+48870*f13*f6+28239*f13*f7+37282*f13*f8+7960*f13*f9+35116*f13*f10+24611*f13*f11+5794*f13*f14+47056*f13*f15+21664*f0^2+47560*f0*f1+18490*f0*f2+21135*f0*f3+45973*f0*f4+39096*f0*f5+22722*f0*f6+25896*f0*f7+39625*f0*f8+39096*f0*f9+24838*f0*f10+16374*f0*f11+24309*f0*f14+17961*f0*f15+504*f1^2+58694*f1*f2+29599*f1*f3+18465*f1*f4+28591*f1*f5+12142*f1*f6+42749*f1*f7+22772*f1*f8+28591*f1*f9+54387*f1*f10+16449*f1*f11+60206*f1*f14+64513*f1*f15+55067*f2^2+36980*f2*f3+10857*f2*f4+43807*f2*f5+19296*f2*f6+49449*f2*f7+16072*f2*f8+43807*f2*f9+39398*f2*f10+24511*f2*f11+1612*f2*f14+6827*f2*f15+21135*f3^2+26425*f3*f4+12671*f3*f5+45444*f3*f6+51792*f3*f7+13729*f3*f8+12671*f3*f9+49676*f3*f10+32748*f3*f11+48618*f3*f14+35922*f3*f15+63531*f4^2+7960*f4*f5+48870*f4*f6+28239*f4*f7+37282*f4*f8+7960*f4*f9+35116*f4*f10+24611*f4*f11+5794*f4*f14+47056*f4*f15+57561*f5^2+33302*f5*f6+9043*f5*f7+56478*f5*f8+49601*f5*f9+60810*f5*f10+16299*f5*f11+53933*f5*f14+36930*f5*f15+4358*f6^2+781*f6*f7+64740*f6*f8+33302*f6*f9+3426*f6*f10+24586*f6*f11+37509*f6*f14+53379*f6*f15+47661*f7^2+35720*f7*f8+9043*f7*f9+41968*f7*f10+8262*f7*f11+15291*f7*f14+22772*f7*f15+47661*f8^2+56478*f8*f9+23553*f8*f10+57259*f8*f11+50230*f8*f14+42749*f8*f15+57561*f9^2+60810*f9*f10+16299*f9*f11+53933*f9*f14+36930*f9*f15+58241*f10^2+57384*f10*f11+22697*f10*f14+11134*f10*f15+28617*f11^2+16424*f11*f14+49072*f11*f15+13200*f14^2+5315*f14*f15+37257*f0+48820*f1+59097*f2+8993*f3+52674*f4+25694*f5+5139*f6+62952*f7+2569*f8+25694*f9+43681*f10+20555*f11+52674*f13+1285*f14+16701*f15, 20555*f12+13200*f15^2+28617*f12^2+40935*f12*f13+49072*f12*f0+16374*f12*f1+16449*f12*f2+24511*f12*f3+32748*f12*f4+24611*f12*f5+16299*f12*f6+24586*f12*f7+8262*f12*f8+57259*f12*f9+16299*f12*f10+57384*f12*f11+24611*f12*f14+16424*f12*f15+4358*f13^2+12142*f13*f0+42799*f13*f1+53379*f13*f2+46225*f13*f3+20077*f13*f4+16651*f13*f5+32219*f13*f6+56805*f13*f7+64740*f13*f8+781*f13*f9+32219*f13*f10+62095*f13*f11+16651*f13*f14+28012*f13*f15+504*f0^2+17961*f0*f1+64513*f0*f2+6827*f0*f3+35922*f0*f4+47056*f0*f5+36930*f0*f6+53379*f0*f7+22772*f0*f8+42749*f0*f9+36930*f0*f10+11134*f0*f11+47056*f0*f14+5315*f0*f15+21664*f1^2+47560*f1*f2+18490*f1*f3+21135*f1*f4+45973*f1*f5+39096*f1*f6+22722*f1*f7+25896*f1*f8+39625*f1*f9+39096*f1*f10+24838*f1*f11+45973*f1*f14+24309*f1*f15+504*f2^2+58694*f2*f3+29599*f2*f4+18465*f2*f5+28591*f2*f6+12142*f2*f7+42749*f2*f8+22772*f2*f9+28591*f2*f10+54387*f2*f11+18465*f2*f14+60206*f2*f15+55067*f3^2+36980*f3*f4+10857*f3*f5+43807*f3*f6+19296*f3*f7+49449*f3*f8+16072*f3*f9+43807*f3*f10+39398*f3*f11+10857*f3*f14+1612*f3*f15+21135*f4^2+26425*f4*f5+12671*f4*f6+45444*f4*f7+51792*f4*f8+13729*f4*f9+12671*f4*f10+49676*f4*f11+26425*f4*f14+48618*f4*f15+63531*f5^2+7960*f5*f6+48870*f5*f7+28239*f5*f8+37282*f5*f9+7960*f5*f10+35116*f5*f11+61541*f5*f14+5794*f5*f15+57561*f6^2+33302*f6*f7+9043*f6*f8+56478*f6*f9+49601*f6*f10+60810*f6*f11+7960*f6*f14+53933*f6*f15+4358*f7^2+781*f7*f8+64740*f7*f9+33302*f7*f10+3426*f7*f11+48870*f7*f14+37509*f7*f15+47661*f8^2+35720*f8*f9+9043*f8*f10+41968*f8*f11+28239*f8*f14+15291*f8*f15+47661*f9^2+56478*f9*f10+23553*f9*f11+37282*f9*f14+50230*f9*f15+57561*f10^2+60810*f10*f11+7960*f10*f14+53933*f10*f15+58241*f11^2+35116*f11*f14+22697*f11*f15+63531*f14^2+5794*f14*f15+16701*f0+37257*f1+48820*f2+59097*f3+8993*f4+52674*f5+25694*f6+5139*f7+62952*f8+2569*f9+25694*f10+43681*f11+60382*f13+52674*f14+1285*f15, 43681*f12+63531*f15^2+58241*f12^2+57384*f12*f13+22697*f12*f0+11134*f12*f1+24838*f12*f2+54387*f12*f3+39398*f12*f4+49676*f12*f5+35116*f12*f6+60810*f12*f7+3426*f12*f8+41968*f12*f9+23553*f12*f10+60810*f12*f11+62095*f12*f14+35116*f12*f15+28617*f13^2+16424*f13*f0+49072*f13*f1+16374*f13*f2+16449*f13*f3+24511*f13*f4+32748*f13*f5+24611*f13*f6+16299*f13*f7+24586*f13*f8+8262*f13*f9+57259*f13*f10+16299*f13*f11+40935*f13*f14+24611*f13*f15+13200*f0^2+5315*f0*f1+24309*f0*f2+60206*f0*f3+1612*f0*f4+48618*f0*f5+5794*f0*f6+53933*f0*f7+37509*f0*f8+15291*f0*f9+50230*f0*f10+53933*f0*f11+28012*f0*f14+5794*f0*f15+504*f1^2+17961*f1*f2+64513*f1*f3+6827*f1*f4+35922*f1*f5+47056*f1*f6+36930*f1*f7+53379*f1*f8+22772*f1*f9+42749*f1*f10+36930*f1*f11+12142*f1*f14+47056*f1*f15+21664*f2^2+47560*f2*f3+18490*f2*f4+21135*f2*f5+45973*f2*f6+39096*f2*f7+22722*f2*f8+25896*f2*f9+39625*f2*f10+39096*f2*f11+42799*f2*f14+45973*f2*f15+504*f3^2+58694*f3*f4+29599*f3*f5+18465*f3*f6+28591*f3*f7+12142*f3*f8+42749*f3*f9+22772*f3*f10+28591*f3*f11+53379*f3*f14+18465*f3*f15+55067*f4^2+36980*f4*f5+10857*f4*f6+43807*f4*f7+19296*f4*f8+49449*f4*f9+16072*f4*f10+43807*f4*f11+46225*f4*f14+10857*f4*f15+21135*f5^2+26425*f5*f6+12671*f5*f7+45444*f5*f8+51792*f5*f9+13729*f5*f10+12671*f5*f11+20077*f5*f14+26425*f5*f15+63531*f6^2+7960*f6*f7+48870*f6*f8+28239*f6*f9+37282*f6*f10+7960*f6*f11+16651*f6*f14+61541*f6*f15+57561*f7^2+33302*f7*f8+9043*f7*f9+56478*f7*f10+49601*f7*f11+32219*f7*f14+7960*f7*f15+4358*f8^2+781*f8*f9+64740*f8*f10+33302*f8*f11+56805*f8*f14+48870*f8*f15+47661*f9^2+35720*f9*f10+9043*f9*f11+64740*f9*f14+28239*f9*f15+47661*f10^2+56478*f10*f11+781*f10*f14+37282*f10*f15+57561*f11^2+32219*f11*f14+7960*f11*f15+4358*f14^2+16651*f14*f15+1285*f0+16701*f1+37257*f2+48820*f3+59097*f4+8993*f5+52674*f6+25694*f7+5139*f8+62952*f9+2569*f10+25694*f11+20555*f13+60382*f14+52674*f15, 25694*f12+4358*f15^2+57561*f12^2+60810*f12*f13+7960*f12*f0+53933*f12*f1+36930*f12*f2+39096*f12*f3+28591*f12*f4+43807*f12*f5+12671*f12*f6+7960*f12*f7+49601*f12*f8+33302*f12*f9+9043*f12*f10+56478*f12*f11+16299*f12*f14+32219*f12*f15+58241*f13^2+35116*f13*f0+22697*f13*f1+11134*f13*f2+24838*f13*f3+54387*f13*f4+39398*f13*f5+49676*f13*f6+35116*f13*f7+60810*f13*f8+3426*f13*f9+41968*f13*f10+23553*f13*f11+57384*f13*f14+62095*f13*f15+63531*f0^2+5794*f0*f1+47056*f0*f2+45973*f0*f3+18465*f0*f4+10857*f0*f5+26425*f0*f6+61541*f0*f7+7960*f0*f8+48870*f0*f9+28239*f0*f10+37282*f0*f11+24611*f0*f14+16651*f0*f15+13200*f1^2+5315*f1*f2+24309*f1*f3+60206*f1*f4+1612*f1*f5+48618*f1*f6+5794*f1*f7+53933*f1*f8+37509*f1*f9+15291*f1*f10+50230*f1*f11+16424*f1*f14+28012*f1*f15+504*f2^2+17961*f2*f3+64513*f2*f4+6827*f2*f5+35922*f2*f6+47056*f2*f7+36930*f2*f8+53379*f2*f9+22772*f2*f10+42749*f2*f11+49072*f2*f14+12142*f2*f15+21664*f3^2+47560*f3*f4+18490*f3*f5+21135*f3*f6+45973*f3*f7+39096*f3*f8+22722*f3*f9+25896*f3*f10+39625*f3*f11+16374*f3*f14+42799*f3*f15+504*f4^2+58694*f4*f5+29599*f4*f6+18465*f4*f7+28591*f4*f8+12142*f4*f9+42749*f4*f10+22772*f4*f11+16449*f4*f14+53379*f4*f15+55067*f5^2+36980*f5*f6+10857*f5*f7+43807*f5*f8+19296*f5*f9+49449*f5*f10+16072*f5*f11+24511*f5*f14+46225*f5*f15+21135*f6^2+26425*f6*f7+12671*f6*f8+45444*f6*f9+51792*f6*f10+13729*f6*f11+32748*f6*f14+20077*f6*f15+63531*f7^2+7960*f7*f8+48870*f7*f9+28239*f7*f10+37282*f7*f11+24611*f7*f14+16651*f7*f15+57561*f8^2+33302*f8*f9+9043*f8*f10+56478*f8*f11+16299*f8*f14+32219*f8*f15+4358*f9^2+781*f9*f10+64740*f9*f11+24586*f9*f14+56805*f9*f15+47661*f10^2+35720*f10*f11+8262*f10*f14+64740*f10*f15+47661*f11^2+57259*f11*f14+781*f11*f15+28617*f14^2+40935*f14*f15+52674*f0+1285*f1+16701*f2+37257*f3+48820*f4+59097*f5+8993*f6+52674*f7+25694*f8+5139*f9+62952*f10+2569*f11+43681*f13+20555*f14+60382*f15, 2569*f12+28617*f15^2+47661*f12^2+56478*f12*f13+781*f12*f0+37282*f12*f1+50230*f12*f2+42749*f12*f3+39625*f12*f4+22772*f12*f5+16072*f12*f6+13729*f12*f7+37282*f12*f8+56478*f12*f9+64740*f12*f10+35720*f12*f11+23553*f12*f14+57259*f12*f15+57561*f13^2+32219*f13*f0+7960*f13*f1+53933*f13*f2+36930*f13*f3+39096*f13*f4+28591*f13*f5+43807*f13*f6+12671*f13*f7+7960*f13*f8+49601*f13*f9+33302*f13*f10+9043*f13*f11+60810*f13*f14+16299*f13*f15+4358*f0^2+16651*f0*f1+28012*f0*f2+12142*f0*f3+42799*f0*f4+53379*f0*f5+46225*f0*f6+20077*f0*f7+16651*f0*f8+32219*f0*f9+56805*f0*f10+64740*f0*f11+62095*f0*f14+40935*f0*f15+63531*f1^2+5794*f1*f2+47056*f1*f3+45973*f1*f4+18465*f1*f5+10857*f1*f6+26425*f1*f7+61541*f1*f8+7960*f1*f9+48870*f1*f10+28239*f1*f11+35116*f1*f14+24611*f1*f15+13200*f2^2+5315*f2*f3+24309*f2*f4+60206*f2*f5+1612*f2*f6+48618*f2*f7+5794*f2*f8+53933*f2*f9+37509*f2*f10+15291*f2*f11+22697*f2*f14+16424*f2*f15+504*f3^2+17961*f3*f4+64513*f3*f5+6827*f3*f6+35922*f3*f7+47056*f3*f8+36930*f3*f9+53379*f3*f10+22772*f3*f11+11134*f3*f14+49072*f3*f15+21664*f4^2+47560*f4*f5+18490*f4*f6+21135*f4*f7+45973*f4*f8+39096*f4*f9+22722*f4*f10+25896*f4*f11+24838*f4*f14+16374*f4*f15+504*f5^2+58694*f5*f6+29599*f5*f7+18465*f5*f8+28591*f5*f9+12142*f5*f10+42749*f5*f11+54387*f5*f14+16449*f5*f15+55067*f6^2+36980*f6*f7+10857*f6*f8+43807*f6*f9+19296*f6*f10+49449*f6*f11+39398*f6*f14+24511*f6*f15+21135*f7^2+26425*f7*f8+12671*f7*f9+45444*f7*f10+51792*f7*f11+49676*f7*f14+32748*f7*f15+63531*f8^2+7960*f8*f9+48870*f8*f10+28239*f8*f11+35116*f8*f14+24611*f8*f15+57561*f9^2+33302*f9*f10+9043*f9*f11+60810*f9*f14+16299*f9*f15+4358*f10^2+781*f10*f11+3426*f10*f14+24586*f10*f15+47661*f11^2+41968*f11*f14+8262*f11*f15+58241*f14^2+57384*f14*f15+60382*f0+52674*f1+1285*f2+16701*f3+37257*f4+48820*f5+59097*f6+8993*f7+52674*f8+25694*f9+5139*f10+62952*f11+25694*f13+43681*f14+20555*f15, 62952*f12+58241*f15^2+47661*f12^2+35720*f12*f13+8262*f12*f0+64740*f12*f1+28239*f12*f2+15291*f12*f3+22772*f12*f4+25896*f12*f5+42749*f12*f6+49449*f12*f7+51792*f12*f8+28239*f12*f9+9043*f12*f10+781*f12*f11+9043*f12*f14+41968*f12*f15+47661*f13^2+57259*f13*f0+781*f13*f1+37282*f13*f2+50230*f13*f3+42749*f13*f4+39625*f13*f5+22772*f13*f6+16072*f13*f7+13729*f13*f8+37282*f13*f9+56478*f13*f10+64740*f13*f11+56478*f13*f14+23553*f13*f15+28617*f0^2+40935*f0*f1+24611*f0*f2+16424*f0*f3+49072*f0*f4+16374*f0*f5+16449*f0*f6+24511*f0*f7+32748*f0*f8+24611*f0*f9+16299*f0*f10+24586*f0*f11+16299*f0*f14+57384*f0*f15+4358*f1^2+16651*f1*f2+28012*f1*f3+12142*f1*f4+42799*f1*f5+53379*f1*f6+46225*f1*f7+20077*f1*f8+16651*f1*f9+32219*f1*f10+56805*f1*f11+32219*f1*f14+62095*f1*f15+63531*f2^2+5794*f2*f3+47056*f2*f4+45973*f2*f5+18465*f2*f6+10857*f2*f7+26425*f2*f8+61541*f2*f9+7960*f2*f10+48870*f2*f11+7960*f2*f14+35116*f2*f15+13200*f3^2+5315*f3*f4+24309*f3*f5+60206*f3*f6+1612*f3*f7+48618*f3*f8+5794*f3*f9+53933*f3*f10+37509*f3*f11+53933*f3*f14+22697*f3*f15+504*f4^2+17961*f4*f5+64513*f4*f6+6827*f4*f7+35922*f4*f8+47056*f4*f9+36930*f4*f10+53379*f4*f11+36930*f4*f14+11134*f4*f15+21664*f5^2+47560*f5*f6+18490*f5*f7+21135*f5*f8+45973*f5*f9+39096*f5*f10+22722*f5*f11+39096*f5*f14+24838*f5*f15+504*f6^2+58694*f6*f7+29599*f6*f8+18465*f6*f9+28591*f6*f10+12142*f6*f11+28591*f6*f14+54387*f6*f15+55067*f7^2+36980*f7*f8+10857*f7*f9+43807*f7*f10+19296*f7*f11+43807*f7*f14+39398*f7*f15+21135*f8^2+26425*f8*f9+12671*f8*f10+45444*f8*f11+12671*f8*f14+49676*f8*f15+63531*f9^2+7960*f9*f10+48870*f9*f11+7960*f9*f14+35116*f9*f15+57561*f10^2+33302*f10*f11+49601*f10*f14+60810*f10*f15+4358*f11^2+33302*f11*f14+3426*f11*f15+57561*f14^2+60810*f14*f15+20555*f0+60382*f1+52674*f2+1285*f3+16701*f4+37257*f5+48820*f6+59097*f7+8993*f8+52674*f9+25694*f10+5139*f11+2569*f13+25694*f14+43681*f15, 5139*f12+57561*f15^2+4358*f12^2+781*f12*f13+3426*f12*f0+24586*f12*f1+56805*f12*f2+48870*f12*f3+37509*f12*f4+53379*f12*f5+22722*f12*f6+12142*f12*f7+19296*f12*f8+45444*f12*f9+48870*f12*f10+33302*f12*f11+64740*f12*f14+33302*f12*f15+47661*f13^2+41968*f13*f0+8262*f13*f1+64740*f13*f2+28239*f13*f3+15291*f13*f4+22772*f13*f5+25896*f13*f6+42749*f13*f7+49449*f13*f8+51792*f13*f9+28239*f13*f10+9043*f13*f11+35720*f13*f14+9043*f13*f15+58241*f0^2+57384*f0*f1+62095*f0*f2+35116*f0*f3+22697*f0*f4+11134*f0*f5+24838*f0*f6+54387*f0*f7+39398*f0*f8+49676*f0*f9+35116*f0*f10+60810*f0*f11+23553*f0*f14+60810*f0*f15+28617*f1^2+40935*f1*f2+24611*f1*f3+16424*f1*f4+49072*f1*f5+16374*f1*f6+16449*f1*f7+24511*f1*f8+32748*f1*f9+24611*f1*f10+16299*f1*f11+57259*f1*f14+16299*f1*f15+4358*f2^2+16651*f2*f3+28012*f2*f4+12142*f2*f5+42799*f2*f6+53379*f2*f7+46225*f2*f8+20077*f2*f9+16651*f2*f10+32219*f2*f11+781*f2*f14+32219*f2*f15+63531*f3^2+5794*f3*f4+47056*f3*f5+45973*f3*f6+18465*f3*f7+10857*f3*f8+26425*f3*f9+61541*f3*f10+7960*f3*f11+37282*f3*f14+7960*f3*f15+13200*f4^2+5315*f4*f5+24309*f4*f6+60206*f4*f7+1612*f4*f8+48618*f4*f9+5794*f4*f10+53933*f4*f11+50230*f4*f14+53933*f4*f15+504*f5^2+17961*f5*f6+64513*f5*f7+6827*f5*f8+35922*f5*f9+47056*f5*f10+36930*f5*f11+42749*f5*f14+36930*f5*f15+21664*f6^2+47560*f6*f7+18490*f6*f8+21135*f6*f9+45973*f6*f10+39096*f6*f11+39625*f6*f14+39096*f6*f15+504*f7^2+58694*f7*f8+29599*f7*f9+18465*f7*f10+28591*f7*f11+22772*f7*f14+28591*f7*f15+55067*f8^2+36980*f8*f9+10857*f8*f10+43807*f8*f11+16072*f8*f14+43807*f8*f15+21135*f9^2+26425*f9*f10+12671*f9*f11+13729*f9*f14+12671*f9*f15+63531*f10^2+7960*f10*f11+37282*f10*f14+7960*f10*f15+57561*f11^2+56478*f11*f14+49601*f11*f15+47661*f14^2+56478*f14*f15+43681*f0+20555*f1+60382*f2+52674*f3+1285*f4+16701*f5+37257*f6+48820*f7+59097*f8+8993*f9+52674*f10+25694*f11+62952*f13+2569*f14+25694*f15, 25694*f12+47661*f15^2+57561*f12^2+33302*f12*f13+49601*f12*f0+60810*f12*f1+16299*f12*f2+32219*f12*f3+7960*f12*f4+53933*f12*f5+36930*f12*f6+39096*f12*f7+28591*f12*f8+43807*f12*f9+12671*f12*f10+7960*f12*f11+9043*f12*f14+56478*f12*f15+4358*f13^2+33302*f13*f0+3426*f13*f1+24586*f13*f2+56805*f13*f3+48870*f13*f4+37509*f13*f5+53379*f13*f6+22722*f13*f7+12142*f13*f8+19296*f13*f9+45444*f13*f10+48870*f13*f11+781*f13*f14+64740*f13*f15+57561*f0^2+60810*f0*f1+16299*f0*f2+32219*f0*f3+7960*f0*f4+53933*f0*f5+36930*f0*f6+39096*f0*f7+28591*f0*f8+43807*f0*f9+12671*f0*f10+7960*f0*f11+9043*f0*f14+56478*f0*f15+58241*f1^2+57384*f1*f2+62095*f1*f3+35116*f1*f4+22697*f1*f5+11134*f1*f6+24838*f1*f7+54387*f1*f8+39398*f1*f9+49676*f1*f10+35116*f1*f11+41968*f1*f14+23553*f1*f15+28617*f2^2+40935*f2*f3+24611*f2*f4+16424*f2*f5+49072*f2*f6+16374*f2*f7+16449*f2*f8+24511*f2*f9+32748*f2*f10+24611*f2*f11+8262*f2*f14+57259*f2*f15+4358*f3^2+16651*f3*f4+28012*f3*f5+12142*f3*f6+42799*f3*f7+53379*f3*f8+46225*f3*f9+20077*f3*f10+16651*f3*f11+64740*f3*f14+781*f3*f15+63531*f4^2+5794*f4*f5+47056*f4*f6+45973*f4*f7+18465*f4*f8+10857*f4*f9+26425*f4*f10+61541*f4*f11+28239*f4*f14+37282*f4*f15+13200*f5^2+5315*f5*f6+24309*f5*f7+60206*f5*f8+1612*f5*f9+48618*f5*f10+5794*f5*f11+15291*f5*f14+50230*f5*f15+504*f6^2+17961*f6*f7+64513*f6*f8+6827*f6*f9+35922*f6*f10+47056*f6*f11+22772*f6*f14+42749*f6*f15+21664*f7^2+47560*f7*f8+18490*f7*f9+21135*f7*f10+45973*f7*f11+25896*f7*f14+39625*f7*f15+504*f8^2+58694*f8*f9+29599*f8*f10+18465*f8*f11+42749*f8*f14+22772*f8*f15+55067*f9^2+36980*f9*f10+10857*f9*f11+49449*f9*f14+16072*f9*f15+21135*f10^2+26425*f10*f11+51792*f10*f14+13729*f10*f15+63531*f11^2+28239*f11*f14+37282*f11*f15+47661*f14^2+35720*f14*f15+25694*f0+43681*f1+20555*f2+60382*f3+52674*f4+1285*f5+16701*f6+37257*f7+48820*f8+59097*f9+8993*f10+52674*f11+5139*f13+62952*f14+2569*f15, 52674*f12+47661*f15^2+63531*f12^2+7960*f12*f13+37282*f12*f0+7960*f12*f1+35116*f12*f2+24611*f12*f3+16651*f12*f4+61541*f12*f5+5794*f12*f6+47056*f12*f7+45973*f12*f8+18465*f12*f9+10857*f12*f10+26425*f12*f11+48870*f12*f14+28239*f12*f15+57561*f13^2+56478*f13*f0+49601*f13*f1+60810*f13*f2+16299*f13*f3+32219*f13*f4+7960*f13*f5+53933*f13*f6+36930*f13*f7+39096*f13*f8+28591*f13*f9+43807*f13*f10+12671*f13*f11+33302*f13*f14+9043*f13*f15+47661*f0^2+56478*f0*f1+23553*f0*f2+57259*f0*f3+781*f0*f4+37282*f0*f5+50230*f0*f6+42749*f0*f7+39625*f0*f8+22772*f0*f9+16072*f0*f10+13729*f0*f11+64740*f0*f14+35720*f0*f15+57561*f1^2+60810*f1*f2+16299*f1*f3+32219*f1*f4+7960*f1*f5+53933*f1*f6+36930*f1*f7+39096*f1*f8+28591*f1*f9+43807*f1*f10+12671*f1*f11+33302*f1*f14+9043*f1*f15+58241*f2^2+57384*f2*f3+62095*f2*f4+35116*f2*f5+22697*f2*f6+11134*f2*f7+24838*f2*f8+54387*f2*f9+39398*f2*f10+49676*f2*f11+3426*f2*f14+41968*f2*f15+28617*f3^2+40935*f3*f4+24611*f3*f5+16424*f3*f6+49072*f3*f7+16374*f3*f8+16449*f3*f9+24511*f3*f10+32748*f3*f11+24586*f3*f14+8262*f3*f15+4358*f4^2+16651*f4*f5+28012*f4*f6+12142*f4*f7+42799*f4*f8+53379*f4*f9+46225*f4*f10+20077*f4*f11+56805*f4*f14+64740*f4*f15+63531*f5^2+5794*f5*f6+47056*f5*f7+45973*f5*f8+18465*f5*f9+10857*f5*f10+26425*f5*f11+48870*f5*f14+28239*f5*f15+13200*f6^2+5315*f6*f7+24309*f6*f8+60206*f6*f9+1612*f6*f10+48618*f6*f11+37509*f6*f14+15291*f6*f15+504*f7^2+17961*f7*f8+64513*f7*f9+6827*f7*f10+35922*f7*f11+53379*f7*f14+22772*f7*f15+21664*f8^2+47560*f8*f9+18490*f8*f10+21135*f8*f11+22722*f8*f14+25896*f8*f15+504*f9^2+58694*f9*f10+29599*f9*f11+12142*f9*f14+42749*f9*f15+55067*f10^2+36980*f10*f11+19296*f10*f14+49449*f10*f15+21135*f11^2+45444*f11*f14+51792*f11*f15+4358*f14^2+781*f14*f15+2569*f0+25694*f1+43681*f2+20555*f3+60382*f4+52674*f5+1285*f6+16701*f7+37257*f8+48820*f9+59097*f10+8993*f11+25694*f13+5139*f14+62952*f15, 8993*f12+4358*f15^2+21135*f12^2+26425*f12*f13+51792*f12*f0+13729*f12*f1+12671*f12*f2+49676*f12*f3+32748*f12*f4+20077*f12*f5+26425*f12*f6+48618*f12*f7+35922*f12*f8+21135*f12*f9+29599*f12*f10+36980*f12*f11+12671*f12*f14+45444*f12*f15+63531*f13^2+28239*f13*f0+37282*f13*f1+7960*f13*f2+35116*f13*f3+24611*f13*f4+16651*f13*f5+61541*f13*f6+5794*f13*f7+47056*f13*f8+45973*f13*f9+18465*f13*f10+10857*f13*f11+7960*f13*f14+48870*f13*f15+47661*f0^2+35720*f0*f1+9043*f0*f2+41968*f0*f3+8262*f0*f4+64740*f0*f5+28239*f0*f6+15291*f0*f7+22772*f0*f8+25896*f0*f9+42749*f0*f10+49449*f0*f11+9043*f0*f14+781*f0*f15+47661*f1^2+56478*f1*f2+23553*f1*f3+57259*f1*f4+781*f1*f5+37282*f1*f6+50230*f1*f7+42749*f1*f8+39625*f1*f9+22772*f1*f10+16072*f1*f11+56478*f1*f14+64740*f1*f15+57561*f2^2+60810*f2*f3+16299*f2*f4+32219*f2*f5+7960*f2*f6+53933*f2*f7+36930*f2*f8+39096*f2*f9+28591*f2*f10+43807*f2*f11+49601*f2*f14+33302*f2*f15+58241*f3^2+57384*f3*f4+62095*f3*f5+35116*f3*f6+22697*f3*f7+11134*f3*f8+24838*f3*f9+54387*f3*f10+39398*f3*f11+60810*f3*f14+3426*f3*f15+28617*f4^2+40935*f4*f5+24611*f4*f6+16424*f4*f7+49072*f4*f8+16374*f4*f9+16449*f4*f10+24511*f4*f11+16299*f4*f14+24586*f4*f15+4358*f5^2+16651*f5*f6+28012*f5*f7+12142*f5*f8+42799*f5*f9+53379*f5*f10+46225*f5*f11+32219*f5*f14+56805*f5*f15+63531*f6^2+5794*f6*f7+47056*f6*f8+45973*f6*f9+18465*f6*f10+10857*f6*f11+7960*f6*f14+48870*f6*f15+13200*f7^2+5315*f7*f8+24309*f7*f9+60206*f7*f10+1612*f7*f11+53933*f7*f14+37509*f7*f15+504*f8^2+17961*f8*f9+64513*f8*f10+6827*f8*f11+36930*f8*f14+53379*f8*f15+21664*f9^2+47560*f9*f10+18490*f9*f11+39096*f9*f14+22722*f9*f15+504*f10^2+58694*f10*f11+28591*f10*f14+12142*f10*f15+55067*f11^2+43807*f11*f14+19296*f11*f15+57561*f14^2+33302*f14*f15+62952*f0+2569*f1+25694*f2+43681*f3+20555*f4+60382*f5+52674*f6+1285*f7+16701*f8+37257*f9+48820*f10+59097*f11+52674*f13+25694*f14+5139*f15, 59097*f12+57561*f15^2+55067*f12^2+36980*f12*f13+19296*f12*f0+49449*f12*f1+16072*f12*f2+43807*f12*f3+39398*f12*f4+24511*f12*f5+46225*f12*f6+10857*f12*f7+1612*f12*f8+6827*f12*f9+18490*f12*f10+58694*f12*f11+10857*f12*f14+43807*f12*f15+21135*f13^2+45444*f13*f0+51792*f13*f1+13729*f13*f2+12671*f13*f3+49676*f13*f4+32748*f13*f5+20077*f13*f6+26425*f13*f7+48618*f13*f8+35922*f13*f9+21135*f13*f10+29599*f13*f11+26425*f13*f14+12671*f13*f15+4358*f0^2+781*f0*f1+64740*f0*f2+33302*f0*f3+3426*f0*f4+24586*f0*f5+56805*f0*f6+48870*f0*f7+37509*f0*f8+53379*f0*f9+22722*f0*f10+12142*f0*f11+48870*f0*f14+33302*f0*f15+47661*f1^2+35720*f1*f2+9043*f1*f3+41968*f1*f4+8262*f1*f5+64740*f1*f6+28239*f1*f7+15291*f1*f8+22772*f1*f9+25896*f1*f10+42749*f1*f11+28239*f1*f14+9043*f1*f15+47661*f2^2+56478*f2*f3+23553*f2*f4+57259*f2*f5+781*f2*f6+37282*f2*f7+50230*f2*f8+42749*f2*f9+39625*f2*f10+22772*f2*f11+37282*f2*f14+56478*f2*f15+57561*f3^2+60810*f3*f4+16299*f3*f5+32219*f3*f6+7960*f3*f7+53933*f3*f8+36930*f3*f9+39096*f3*f10+28591*f3*f11+7960*f3*f14+49601*f3*f15+58241*f4^2+57384*f4*f5+62095*f4*f6+35116*f4*f7+22697*f4*f8+11134*f4*f9+24838*f4*f10+54387*f4*f11+35116*f4*f14+60810*f4*f15+28617*f5^2+40935*f5*f6+24611*f5*f7+16424*f5*f8+49072*f5*f9+16374*f5*f10+16449*f5*f11+24611*f5*f14+16299*f5*f15+4358*f6^2+16651*f6*f7+28012*f6*f8+12142*f6*f9+42799*f6*f10+53379*f6*f11+16651*f6*f14+32219*f6*f15+63531*f7^2+5794*f7*f8+47056*f7*f9+45973*f7*f10+18465*f7*f11+61541*f7*f14+7960*f7*f15+13200*f8^2+5315*f8*f9+24309*f8*f10+60206*f8*f11+5794*f8*f14+53933*f8*f15+504*f9^2+17961*f9*f10+64513*f9*f11+47056*f9*f14+36930*f9*f15+21664*f10^2+47560*f10*f11+45973*f10*f14+39096*f10*f15+504*f11^2+18465*f11*f14+28591*f11*f15+63531*f14^2+7960*f14*f15+5139*f0+62952*f1+2569*f2+25694*f3+43681*f4+20555*f5+60382*f6+52674*f7+1285*f8+16701*f9+37257*f10+48820*f11+8993*f13+52674*f14+25694*f15, 48820*f12+63531*f15^2+504*f12^2+58694*f12*f13+28591*f12*f0+12142*f12*f1+42749*f12*f2+22772*f12*f3+28591*f12*f4+54387*f12*f5+16449*f12*f6+53379*f12*f7+18465*f12*f8+60206*f12*f9+64513*f12*f10+47560*f12*f11+29599*f12*f14+18465*f12*f15+55067*f13^2+43807*f13*f0+19296*f13*f1+49449*f13*f2+16072*f13*f3+43807*f13*f4+39398*f13*f5+24511*f13*f6+46225*f13*f7+10857*f13*f8+1612*f13*f9+6827*f13*f10+18490*f13*f11+36980*f13*f14+10857*f13*f15+57561*f0^2+33302*f0*f1+9043*f0*f2+56478*f0*f3+49601*f0*f4+60810*f0*f5+16299*f0*f6+32219*f0*f7+7960*f0*f8+53933*f0*f9+36930*f0*f10+39096*f0*f11+12671*f0*f14+7960*f0*f15+4358*f1^2+781*f1*f2+64740*f1*f3+33302*f1*f4+3426*f1*f5+24586*f1*f6+56805*f1*f7+48870*f1*f8+37509*f1*f9+53379*f1*f10+22722*f1*f11+45444*f1*f14+48870*f1*f15+47661*f2^2+35720*f2*f3+9043*f2*f4+41968*f2*f5+8262*f2*f6+64740*f2*f7+28239*f2*f8+15291*f2*f9+22772*f2*f10+25896*f2*f11+51792*f2*f14+28239*f2*f15+47661*f3^2+56478*f3*f4+23553*f3*f5+57259*f3*f6+781*f3*f7+37282*f3*f8+50230*f3*f9+42749*f3*f10+39625*f3*f11+13729*f3*f14+37282*f3*f15+57561*f4^2+60810*f4*f5+16299*f4*f6+32219*f4*f7+7960*f4*f8+53933*f4*f9+36930*f4*f10+39096*f4*f11+12671*f4*f14+7960*f4*f15+58241*f5^2+57384*f5*f6+62095*f5*f7+35116*f5*f8+22697*f5*f9+11134*f5*f10+24838*f5*f11+49676*f5*f14+35116*f5*f15+28617*f6^2+40935*f6*f7+24611*f6*f8+16424*f6*f9+49072*f6*f10+16374*f6*f11+32748*f6*f14+24611*f6*f15+4358*f7^2+16651*f7*f8+28012*f7*f9+12142*f7*f10+42799*f7*f11+20077*f7*f14+16651*f7*f15+63531*f8^2+5794*f8*f9+47056*f8*f10+45973*f8*f11+26425*f8*f14+61541*f8*f15+13200*f9^2+5315*f9*f10+24309*f9*f11+48618*f9*f14+5794*f9*f15+504*f10^2+17961*f10*f11+35922*f10*f14+47056*f10*f15+21664*f11^2+21135*f11*f14+45973*f11*f15+21135*f14^2+26425*f14*f15+25694*f0+5139*f1+62952*f2+2569*f3+25694*f4+43681*f5+20555*f6+60382*f7+52674*f8+1285*f9+16701*f10+37257*f11+59097*f13+8993*f14+52674*f15, 37257*f12+21135*f15^2+21664*f12^2+47560*f12*f13+45973*f12*f0+39096*f12*f1+22722*f12*f2+25896*f12*f3+39625*f12*f4+39096*f12*f5+24838*f12*f6+16374*f12*f7+42799*f12*f8+45973*f12*f9+24309*f12*f10+17961*f12*f11+18490*f12*f14+21135*f12*f15+504*f13^2+18465*f13*f0+28591*f13*f1+12142*f13*f2+42749*f13*f3+22772*f13*f4+28591*f13*f5+54387*f13*f6+16449*f13*f7+53379*f13*f8+18465*f13*f9+60206*f13*f10+64513*f13*f11+58694*f13*f14+29599*f13*f15+63531*f0^2+7960*f0*f1+48870*f0*f2+28239*f0*f3+37282*f0*f4+7960*f0*f5+35116*f0*f6+24611*f0*f7+16651*f0*f8+61541*f0*f9+5794*f0*f10+47056*f0*f11+10857*f0*f14+26425*f0*f15+57561*f1^2+33302*f1*f2+9043*f1*f3+56478*f1*f4+49601*f1*f5+60810*f1*f6+16299*f1*f7+32219*f1*f8+7960*f1*f9+53933*f1*f10+36930*f1*f11+43807*f1*f14+12671*f1*f15+4358*f2^2+781*f2*f3+64740*f2*f4+33302*f2*f5+3426*f2*f6+24586*f2*f7+56805*f2*f8+48870*f2*f9+37509*f2*f10+53379*f2*f11+19296*f2*f14+45444*f2*f15+47661*f3^2+35720*f3*f4+9043*f3*f5+41968*f3*f6+8262*f3*f7+64740*f3*f8+28239*f3*f9+15291*f3*f10+22772*f3*f11+49449*f3*f14+51792*f3*f15+47661*f4^2+56478*f4*f5+23553*f4*f6+57259*f4*f7+781*f4*f8+37282*f4*f9+50230*f4*f10+42749*f4*f11+16072*f4*f14+13729*f4*f15+57561*f5^2+60810*f5*f6+16299*f5*f7+32219*f5*f8+7960*f5*f9+53933*f5*f10+36930*f5*f11+43807*f5*f14+12671*f5*f15+58241*f6^2+57384*f6*f7+62095*f6*f8+35116*f6*f9+22697*f6*f10+11134*f6*f11+39398*f6*f14+49676*f6*f15+28617*f7^2+40935*f7*f8+24611*f7*f9+16424*f7*f10+49072*f7*f11+24511*f7*f14+32748*f7*f15+4358*f8^2+16651*f8*f9+28012*f8*f10+12142*f8*f11+46225*f8*f14+20077*f8*f15+63531*f9^2+5794*f9*f10+47056*f9*f11+10857*f9*f14+26425*f9*f15+13200*f10^2+5315*f10*f11+1612*f10*f14+48618*f10*f15+504*f11^2+6827*f11*f14+35922*f11*f15+55067*f14^2+36980*f14*f15+52674*f0+25694*f1+5139*f2+62952*f3+2569*f4+25694*f5+43681*f6+20555*f7+60382*f8+52674*f9+1285*f10+16701*f11+48820*f13+59097*f14+8993*f15, f0^2-f0, f1^2-f1, f2^2-f2, f3^2-f3, f4^2-f4, f5^2-f5, f6^2-f6, f7^2-f7, f8^2-f8, f9^2-f9, f10^2-f10, f11^2-f11, f12^2-f12, f13^2-f13, f14^2-f14, f15^2-f15]