# First three basis quadrics of I_2(X0(143)), written out.
# Full basis: X0_143_I2_quadric_basis.txt

Q1 =
  92*x1^2 + 76*x1x2 + 16*x1x3 + 42*x1x5 - 16*x1x6 - 31*x1x7 - 33*x1x8 + 11*x1x9 + 19*x1x10 - 2*x1x11 + 5*x1x12 + 39*x1x13 - 52*x2x3 - 26*x2x5 - 26*x2x7 - 26*x2x8 - 78*x2x9 + 52*x2x10 - 52*x2x11 - 26*x2x12 - 43*x3^2 + 10*x3x4 - 2*x3x5 + 59*x3x6 - 12*x3x7 + 42*x3x8 - 15*x3x9 + 18*x3x10 + 3*x3x11 + 10*x3x12 + 22*x3x13 + 3*x4^2 + 60*x4x5 - 27*x4x6 + 15*x4x7 - 11*x4x8 + 35*x4x9 - 20*x4x10 - 14*x4x11 - 15*x4x12 - 57*x4x13 + 13*x5^2 - 57*x5x6 + 8*x5x7 - 13*x5x8 + 26*x5x9 - 20*x5x10 + 21*x5x11 - 37*x5x12 - 80*x5x13 + 18*x6^2 - 22*x6x7 + 23*x6x8 - 17*x6x9 + 13*x6x10 - 10*x6x11 + 14*x6x12 + 37*x6x13 - 33*x7^2 + 9*x7x8 - 13*x7x9 + 12*x7x10 - 32*x7x11 + 9*x7x12 + 90*x7x13 - 10*x8^2 - 6*x8x9 + 31*x8x10 - 24*x8x11 - 6*x8x12 + 18*x8x13 - 18*x9^2 - 6*x9x10 + 25*x9x11 - 11*x9x12 - 3*x9x13 - 3*x10^2 - 13*x10x11 + 8*x10x12 - x10x13 + x11^2 + 7*x11x12 - 34*x11x13 - 6*x12^2 + 8*x12x13

Q2 =
  - 52*x1^2 + 8*x1x2 + 18*x1x3 - 4*x1x4 - 38*x1x5 + 66*x1x6 + 48*x1x7 + 70*x1x8 - 34*x1x9 - 14*x1x10 - 24*x1x11 - 9*x1x12 - 36*x1x13 + 26*x2x3 - 52*x2x4 + 78*x2x5 + 26*x2x6 + 52*x2x7 - 26*x2x8 + 26*x2x9 - 78*x2x10 + 52*x2x11 + 65*x2x12 + 52*x2x13 + 27*x3^2 - 46*x3x4 + 33*x3x5 + 21*x3x6 + 84*x3x7 - 5*x3x8 - 2*x3x9 - 7*x3x10 - 49*x3x11 - 46*x3x12 - 19*x3x13 + 20*x4^2 + 2*x4x5 + 15*x4x6 + x4x7 + 9*x4x8 - 16*x4x9 + 13*x4x10 - 5*x4x11 + 41*x4x12 + 35*x4x13 + 6*x5^2 + 4*x5x6 + 46*x5x7 - 67*x5x8 - 12*x5x9 - 19*x5x10 - 45*x5x11 - 15*x5x12 + 43*x5x13 - 30*x6^2 + 15*x6x7 + 20*x6x8 + 62*x6x9 - 36*x6x10 - 10*x6x11 + 15*x6x12 - 2*x6x13 - x7^2 - 22*x7x8 + 26*x7x9 + 5*x7x10 - 24*x7x11 + 13*x7x12 - 28*x7x13 + 21*x8^2 + 5*x8x9 - 54*x8x10 - 23*x8x11 + 15*x8x12 + 34*x8x13 - 6*x9^2 + 14*x9x10 - 39*x9x11 - 10*x9x12 - 30*x9x13 - 6*x10^2 + 18*x10x11 - 30*x10x12 + x10x13 + 24*x11^2 - 18*x11x12 + 24*x11x13 + 6*x12^2 - x12x13

Q3 =
  92*x1^2 - 24*x1x2 + 32*x1x3 - 2*x1x4 + 38*x1x5 - 30*x1x6 - 39*x1x7 - 33*x1x8 + 21*x1x9 + 7*x1x10 - 2*x1x11 + 5*x1x12 + 39*x1x13 - 104*x2x3 - 26*x2x4 + 26*x2x5 - 52*x2x6 - 13*x2x7 + 65*x2x8 + 117*x2x9 - 65*x2x10 - 26*x2x11 - 13*x2x12 + 13*x2x13 + 42*x3^2 - 23*x3x4 - 7*x3x5 - 49*x3x6 - 108*x3x7 + 31*x3x8 - 8*x3x9 - 47*x3x10 + 56*x3x11 + 26*x3x12 + 129*x3x13 - 25*x4^2 + 41*x4x5 - 6*x4x6 - 27*x4x7 - 29*x4x8 - 12*x4x9 + 75*x4x10 + 15*x4x11 - 3*x4x12 - 35*x4x13 + 30*x5^2 + 10*x5x6 - 23*x5x7 + 23*x5x8 - 24*x5x9 + 6*x5x10 - 18*x5x11 - x5x12 + 60*x5x13 - 57*x6x7 - 10*x6x8 + 2*x6x9 - 16*x6x10 + 24*x6x11 + 13*x6x12 - 7*x6x13 - 40*x7^2 - 7*x7x8 + 35*x7x9 + 16*x7x10 + 48*x7x11 + 6*x7x12 - 30*x7x13 + 36*x8^2 + 30*x8x9 + 7*x8x10 + 5*x8x11 + 6*x8x12 + 14*x8x13 - 10*x9^2 + 12*x9x10 - x9x11 - 5*x9x12 + 53*x9x13 + 4*x10^2 - 3*x10x11 - 55*x10x13 - 3*x11^2 + 6*x11x12 + 4*x11x13 + 2*x12^2 - 4*x12x13

