DegreesAndMultiplicitiesF4_4mod12 := [ [1, 1], [1/2*q*Phi1^2*Phi3^2*Phi8, 1], [1/2*q*Phi4*Phi8*Phi12, 2], [1/2*q*Phi2^2*Phi6^2*Phi8, 1], [q^2*Phi3^2*Phi6^2*Phi12, 1], [Phi1*Phi3*Phi4*Phi6*Phi8*Phi12, q], [q^3*Phi4^2*Phi8*Phi12, 2], [Phi2*Phi3*Phi4*Phi6*Phi8*Phi12, q-2], [Phi2^2*Phi4^2*Phi6^2*Phi8*Phi12, 1], [1/24*q^4*Phi1^4*Phi6^2*Phi8*Phi12, 1], [1/24*q^4*Phi2^4*Phi3^2*Phi8*Phi12, 1], [1/12*q^4*Phi3^2*Phi4^2*Phi6^2*Phi8, 1], [1/8*q^4*Phi1^4*Phi3^2*Phi8*Phi12, 1], [1/8*q^4*Phi4^2*Phi6^2*Phi8*Phi12, 2], [1/8*q^4*Phi2^4*Phi6^2*Phi8*Phi12, 1], [1/8*q^4*Phi3^2*Phi4^2*Phi8*Phi12, 2], [1/4*q^4*Phi1^4*Phi3^2*Phi4^2*Phi12, 1], [1/4*q^4*Phi1^4*Phi2^4*Phi3^2*Phi6^2, 2], [1/4*q^4*Phi1^2*Phi3^2*Phi4*Phi8*Phi12, 2], [1/4*q^4*Phi1^2*Phi2^2*Phi3^2*Phi6^2*Phi8, 1], [1/4*q^4*Phi2^2*Phi4*Phi6^2*Phi8*Phi12, 2], [1/4*q^4*Phi2^4*Phi4^2*Phi6^2*Phi12, 1], [1/3*q^4*Phi1^4*Phi2^4*Phi4^2*Phi8, 2], [1/3*q^4*Phi3^2*Phi6^2*Phi8*Phi12, 1], [1/2*q*Phi1^3*Phi3^2*Phi4*Phi6*Phi8*Phi12, q], [1/2*q*Phi1*Phi3*Phi4^2*Phi6^2*Phi8*Phi12, q], [1/2*q*Phi1^2*Phi2*Phi3^2*Phi4*Phi6*Phi8*Phi12, q-2], [1/2*q*Phi1*Phi2^2*Phi3*Phi4*Phi6^2*Phi8*Phi12, q], [1/2*q*Phi1*Phi3^2*Phi4^2*Phi6*Phi8*Phi12, q], [1/2*q*Phi2*Phi3*Phi4^2*Phi6^2*Phi8*Phi12, q-2], [1/2*q*Phi2^3*Phi3*Phi4*Phi6^2*Phi8*Phi12, q-2], [1/2*q*Phi2*Phi3^2*Phi4^2*Phi6*Phi8*Phi12, q-2], [Phi1^2*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, 1/8*q*(q-2)], [Phi1^2*Phi3^2*Phi4^2*Phi6*Phi8*Phi12, q], [Phi1^2*Phi2^2*Phi3^2*Phi6^2*Phi8*Phi12, 1/4*q^2], [Phi1*Phi2*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, 1/2*q*(q-2)], [q*Phi2^3*Phi4^2*Phi6^2*Phi8*Phi12, 2], [Phi2^2*Phi3*Phi4^2*Phi6^2*Phi8*Phi12, q-4], [Phi2^2*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, 1/8*(q-2)*(q-4)], [Phi1^3*Phi3^2*Phi4^2*Phi6*Phi8*Phi12, 1/6*q*(q-4)], [Phi1^2*Phi2^3*Phi4^2*Phi6^2*Phi8*Phi12, 1/3*(q+2)*(q-1)], [q*Phi1^2*Phi3^2*Phi4^2*Phi6*Phi8*Phi12, q], [q^2*Phi1*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, q], [Phi1^2*Phi2*Phi3^2*Phi4^2*Phi6*Phi8*Phi12, 1/2*q*(q-2)], [q^9*Phi4^2*Phi8*Phi12, 2], [Phi1*Phi2^2*Phi3*Phi4^2*Phi6^2*Phi8*Phi12, 1/2*q*(q-2)], [q^3*Phi2^2*Phi4^2*Phi6^2*Phi8*Phi12, 2], [Phi1^3*Phi2^2*Phi3^2*Phi4^2*Phi8*Phi12, 1/3*q*(q-1)], [q^2*Phi2*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, q-2], [q*Phi2^2*Phi3*Phi4^2*Phi6^2*Phi8*Phi12, q-4], [Phi2^3*Phi3*Phi4^2*Phi6^2*Phi8*Phi12, 1/6*(q-4)^2], [q*Phi1^3*Phi3^2*Phi4^2*Phi6*Phi8*Phi12, q], [Phi1^2*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 1/4*q*(q-4)], [q^3*Phi1*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, q], [q^10*Phi3^2*Phi6^2*Phi12, 1], [Phi1*Phi2*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 1/2*q*(q-2)], [q^3*Phi2*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, q-2], [q^2*Phi2^4*Phi4^2*Phi6^2*Phi8*Phi12, 1], [q*Phi2^3*Phi3*Phi4^2*Phi6^2*Phi8*Phi12, q-4], [Phi2^2*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 1/4*(q-4)^2], [1/2*q*Phi1^4*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, 1/8*q*(q-2)], [1/2*q*Phi1^4*Phi2^2*Phi3^2*Phi6^2*Phi8*Phi12, 1/4*q^2], [1/2*q^4*Phi1^3*Phi3^2*Phi4*Phi6*Phi8*Phi12, q], [1/2*q*Phi1^3*Phi2*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, 1/2*q*(q-2)], [1/2*q*Phi1^2*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 1/4*q*(q-2)], [1/2*q^4*Phi1*Phi3*Phi4^2*Phi6^2*Phi8*Phi12, q], [1/2*q^13*Phi1^2*Phi3^2*Phi8, 1], [1/2*q^4*Phi1^2*Phi2*Phi3^2*Phi4*Phi6*Phi8*Phi12, q-2], [1/2*q*Phi1^2*Phi2^2*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, 3/4*q^2-q+1], [1/2*q^13*Phi4*Phi8*Phi12, 2], [1/2*q^4*Phi1*Phi2^2*Phi3*Phi4*Phi6^2*Phi8*Phi12, q], [1/2*q^13*Phi2^2*Phi6^2*Phi8, 1], [1/2*q^4*Phi1*Phi3^2*Phi4^2*Phi6*Phi8*Phi12, q], [1/2*q*Phi1*Phi2*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, q*(q-2)], [1/2*q^4*Phi2*Phi3*Phi4^2*Phi6^2*Phi8*Phi12, q-2], [1/2*q*Phi1^2*Phi2^4*Phi3^2*Phi6^2*Phi8*Phi12, 1/4*q^2], [1/2*q*Phi1*Phi2^3*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, 1/2*q*(q-2)], [1/2*q^4*Phi2^3*Phi3*Phi4*Phi6^2*Phi8*Phi12, q-2], [1/2*q^4*Phi2*Phi3^2*Phi4^2*Phi6*Phi8*Phi12, q-2], [1/2*q*Phi2^2*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 1/4*(q-2)*(q-4)], [1/2*q*Phi2^4*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, 1/8*(q-2)*(q-4)], [q*Phi1^4*Phi3^2*Phi4^2*Phi6*Phi8*Phi12, 1/6*q*(q-4)], [Phi1^3*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 1/24*q*(q-4)*(q-6)], [q^2*Phi1^3*Phi3^2*Phi4^2*Phi6*Phi8*Phi12, q], [q*Phi1^2*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 1/2*q*(q-4)], [Phi1^3*Phi2^2*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, 1/4*q^3], [q*Phi1^3*Phi2*Phi3^2*Phi4^2*Phi6*Phi8*Phi12, 1/2*q*(q-2)], [q^3*Phi1^2*Phi3^2*Phi4^2*Phi6*Phi8*Phi12, q], [Phi1^2*Phi2*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 3/8*q*(q-2)^2], [q*Phi1^4*Phi2^2*Phi3^2*Phi4^2*Phi8*Phi12, 1/3*q*(q-1)], [q*Phi1^2*Phi2^4*Phi4^2*Phi6^2*Phi8*Phi12, 1/3*(q+2)*(q-1)], [Phi1^3*Phi2^2*Phi3^2*Phi4^2*Phi6*Phi8*Phi12, 1/3*q^2*(q-1)], [Phi1^2*Phi2^3*Phi3*Phi4^2*Phi6^2*Phi8*Phi12, 1/3*(q-1)*(q^2-2)], [q*Phi1*Phi2*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, q*(q-2)], [Phi1^2*Phi2^3*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, 1/4*q^2*(q-2)], [q*Phi1*Phi2^3*Phi3*Phi4^2*Phi6^2*Phi8*Phi12, 1/2*q*(q-2)], [q^4*Phi2^3*Phi4^2*Phi6^2*Phi8*Phi12, 2], [Phi1*Phi2^2*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 3/8*q*(q-2)*(q-4)], [q^3*Phi2^2*Phi3*Phi4^2*Phi6^2*Phi8*Phi12, q-4], [q^2*Phi2^3*Phi3*Phi4^2*Phi6^2*Phi8*Phi12, q-4], [q*Phi2^2*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 1/2*(q-4)^2], [q*Phi2^4*Phi3*Phi4^2*Phi6^2*Phi8*Phi12, 1/6*(q-4)^2], [Phi2^3*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 1/24*(q-4)*(q^2-12*q+28)], [Phi1^4*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 1/1152*q*(q-10)*(q-6)*(q-4)], [q*Phi1^3*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 1/24*q*(q-4)*(q-6)], [Phi1^4*Phi2^4*Phi4^2*Phi6^2*Phi8*Phi12, 1/72*(q+2)*(q-1)*(q^2+q-4)], [Phi1^4*Phi2^2*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, 1/32*q^3*(q-2)], [q^3*Phi1^3*Phi3^2*Phi4^2*Phi6*Phi8*Phi12, 1/6*q*(q-4)], [Phi1^3*Phi2*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 1/48*q*(q-4)*(q-2)^2], [q^4*Phi1^2*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, 1/8*q*(q-2)], [q^2*Phi1^2*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 1/4*q*(q-4)], [Phi1^4*Phi2^2*Phi3^2*Phi4^2*Phi6*Phi8*Phi12, 1/18*q^2*(q-1)^2], [q*Phi1^3*Phi2^2*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, 1/4*q^3], [Phi1^3*Phi2^3*Phi3*Phi4^2*Phi6^2*Phi8*Phi12, 1/6*q^2*(q-1)*(q+1)], [q^3*Phi1^2*Phi2^3*Phi4^2*Phi6^2*Phi8*Phi12, 1/3*(q+2)*(q-1)], [q^9*Phi1*Phi3*Phi4*Phi6*Phi8*Phi12, q], [q^4*Phi1^2*Phi3^2*Phi4^2*Phi6*Phi8*Phi12, q], [q*Phi1^2*Phi2*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 3/8*q*(q-2)^2], [Phi1^4*Phi2^4*Phi3^2*Phi6^2*Phi8*Phi12, 1/96*q^2*(q-2)*(q+2)], [Phi1^4*Phi2^4*Phi3^2*Phi4^2*Phi6^2*Phi12, 1/8*q^4], [Phi1^3*Phi2^3*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, 1/8*q^3*(q-2)], [q^4*Phi1^2*Phi2^2*Phi3^2*Phi6^2*Phi8*Phi12, 1/4*q^2], [q*Phi1^3*Phi2^2*Phi3^2*Phi4^2*Phi6*Phi8*Phi12, 1/3*q^2*(q-1)], [Phi1^4*Phi2^4*Phi3^2*Phi4^2*Phi6^2*Phi8, 1/12*q^2*(q-1)*(q+1)], [q^24, 1], [q*Phi1^2*Phi2^3*Phi3*Phi4^2*Phi6^2*Phi8*Phi12, 1/3*(q-1)*(q^2-2)], [q^3*Phi1^2*Phi2*Phi3^2*Phi4^2*Phi6*Phi8*Phi12, 1/2*q*(q-2)], [Phi1^2*Phi2^2*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 1/64*q*(5*q-4)*(q-2)^2], [q^4*Phi1*Phi2*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, 1/2*q*(q-2)], [q^3*Phi1*Phi2^2*Phi3*Phi4^2*Phi6^2*Phi8*Phi12, 1/2*q*(q-2)], [q^6*Phi2^2*Phi4^2*Phi6^2*Phi8*Phi12, 1], [q^2*Phi1*Phi2*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 1/2*q*(q-2)], [q^3*Phi1^3*Phi2^2*Phi3^2*Phi4^2*Phi8*Phi12, 1/3*q*(q-1)], [Phi1^3*Phi2^3*Phi3^2*Phi4^2*Phi6*Phi8*Phi12, 1/6*q*(q-1)*(q-2)*(q+1)], [q*Phi1^2*Phi2^3*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, 1/4*q^2*(q-2)], [Phi1^2*Phi2^4*Phi3*Phi4^2*Phi6^2*Phi8*Phi12, 1/18*(q^2-2*q-4)*(q-1)^2], [q^9*Phi2*Phi3*Phi4*Phi6*Phi8*Phi12, q-2], [q*Phi1*Phi2^2*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 3/8*q*(q-2)*(q-4)], [q^4*Phi2^2*Phi3*Phi4^2*Phi6^2*Phi8*Phi12, q-4], [Phi1^4*Phi2^4*Phi3^2*Phi4^2*Phi8*Phi12, 1/72*q*(q-1)*(q-3)*(q+2)], [Phi1^2*Phi2^4*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, 1/32*q^2*(q-2)*(q-4)], [Phi1*Phi2^3*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 1/48*q*(q-6)*(q-2)*(q-4)], [q^4*Phi2^2*Phi3^2*Phi4*Phi6^2*Phi8*Phi12, 1/8*(q-2)*(q-4)], [q^3*Phi2^3*Phi3*Phi4^2*Phi6^2*Phi8*Phi12, 1/6*(q-4)^2], [q^2*Phi2^2*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 1/4*(q-4)^2], [q*Phi2^3*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 1/24*(q-4)*(q^2-12*q+28)], [Phi2^4*Phi3^2*Phi4^2*Phi6^2*Phi8*Phi12, 1/1152*(q-10)*(q-4)*(q^2-14*q+32)] ];