N1:=(A,B,C,D)->S(A,B,C,D)-x^2*q^(4+A)*(1+q^2)*S(A+8,B+12,C+8,D+4)-S(A+4,B,C,D)+x^4*q^(18+2*A)*S(A+16,B+24,C+16,D+8): N2:=(A,B,C,D)->S(A,B,C,D)-S(A,B+2,C,D)-x^3*q^(12+B)*S(A+12,B+24,C+16,D+8): N3:=(A,B,C,D)->S(A,B,C,D)-x^2*q^(6+C)*S(A+8,B+16,C+12,D+6)-S(A,B,C+2,D)-x^2*q^(7+C)*S(A+8,B+16,C+12,D+6)+x^4*q^(25+2*C)*S(A+16,B+32,C+24,D+12): N4:=(A,B,C,D)->S(A,B,C,D)-x*q^(2+D)*S(A+4,B+8,C+6,D+4)-S(A,B,C,D+2)-x*q^(3+D)*S(A+4,B+8,C+6,D+4)+x^2*q^(9+2*D)*S(A+8,B+16,C+12,D+8): F1rel:=parse(FileTools[Text][ReadFile]("F1.txt")): collect(F1rel,S,simplify);

LC4tSSJTRzYiNiYiIiNGJyIiIiIiIUYoKiYsKiomSSJxR0YlIiImSSJ4R0YlRighIiIqJkYtIiIlRi9GKEYwKiZGLUYnRi9GKEYwRjBGKEYoLUYkNiYiIiciIilGLkYnRihGKCoqRi0iIiRGL0YoLCwqJkYtRjdGL0YoRigqJkYtRjZGL0YoRigqJEYtRidGKEYtRihGMEYoRigtRiQ2JiIjNSIjOSIiKkYyRihGKCoqRi1GN0YvRicsLEY7RihGPEYoKiRGLUY5RjBGLUYoRjBGKEYoLUYkNiZGQSIjPyIjOEY2RihGKCoqRi0iIztGL0Y5LC4qJkYtIiM2Ri9GKEYoKiZGLUZCRi9GKEYoRjtGKEZFRjBGLUYwRjBGKEYoLUYkNiYiIz0iI0UiIzxGN0YoRjAqKkYvRjlGLSIjPiwqKiZGLUZSRi9GJ0YoKiZGLUZARi9GKEYwRjtGMEYoRihGKC1GJDYmIiNBIiNLIiNARkBGKEYo

F5rel:=parse(FileTools[Text][ReadFile]("F5.txt")): collect(F5rel,S,simplify);

LC4tSSJTRzYiNiYiIiEhIiNGKCEiIiIiIiomLCoqJilJInFHRiUiIiVGKkkieEdGJUYqRikqJilGLyIiJEYqRjFGKkYpKiYpRi8iIiNGKkYxRipGKUYqRilGKi1GJDYmRjBGMEY3RipGKkYqKiosMComKUYvIiIpRipGMUYqRioqJilGLyIiKEYqRjFGKkYqKiYpRi8iIidGKkYxRipGKkYyRikqJEYzRipGKiokRjZGKkYqRipGKUYqRi9GKkYxRiotRiQ2JkY+IiM1RkRGNEYqRioqKkYuRiopRjFGN0YqLDAqJilGLyIjNkYqRjFGKkYqRjxGKUY/RilGQkYpKiQpRi8iIiZGKkYqRkVGKUYqRipGKi1GJDYmIiM3IiM7RklGUkYqRikqKiwuKiYpRi9GSUYqRjFGKkYqKiYpRi8iIipGKkYxRipGKkY8RipGRkYpRi9GKUYqRilGKkZORiopRjFGNEYqLUYkNiZGViIjQSIjOUZBRipGKSoqLCoqJilGLyIjPUYqRktGKkYqRllGKUY8RilGKkYqRipGaG5GKilGLyIjOEYqLUYkNiYiIz8iI0dGYW9GZ25GKkYq

F7rel:=parse(FileTools[Text][ReadFile]("F7.txt")): collect(F7rel,S,simplify);

LC4tSSJTRzYiNiYiIiFGJ0YnRiciIiIqJiwqKiYpSSJxR0YlIiIlRihJInhHRiVGKCEiIiomKUYtIiIkRihGL0YoRjAqJilGLSIiI0YoRi9GKEYwRihGMEYoLUYkNiZGLiIiJ0YuRjZGKEYoKiosLComKUYtIiImRihGL0YoRihGK0YoRjFGKEYvRjBGKEYoRihGLEYoRi9GKC1GJDYmIiIpIiM3RkFGLkYoRigqKilGLUY5RigpRi9GNkYoLCwqJilGLSIiKkYoRi9GKEYoKiZGREYoRi9GKEYwRjxGMEYrRjBGKEYoRigtRiQ2JkZCIiM9RkJGOUYoRjAqKilGL0YzRigpRi0iIzhGKCwuKiYpRi1GQUYoRi9GKEYoKiYpRi0iIihGKEYvRihGKEZKRigqJEY1RihGMEYtRjBGKEYwRigtRiQ2JiIjOyIjQ0ZlbkZBRihGMCoqRk9GKClGLSIjPEYoLCoqJilGLSIjOUYoRkVGKEYoRlNGMEZKRjBGKEYoRigtRiQ2JiIjPyIjSUZgbyIjNUYoRig=