tp := function(l) return Sum(List(l,i->T^i)); end;
y4 := function(c4,c2,c1,c0) 
        return y^4*tp(c4)+y^2*tp(c2)+y*tp(c1)+tp(c0); 
      end;
yp := function(yl,tpl) 
        return Sum(List([1..Length(yl)], i-> y^yl[i]*tp(tpl[i]))); 
      end;

f8rev:=T^36*y^16+
(T^30+T^29)*y^15+
(T^31+T^29+T^28+T^25)*y^14+
(T^30+T^28+T^26+T^25+T^24+T^23+T^22+T^19)*y^13+
(T^30+T^29+T^27+T^26+T^23+T^19+T^17+T^16)*y^12+
(T^29+T^27+T^26+T^24+T^21+T^17+T^15+T^12)*y^11+
(T^31+T^30+T^28+T^27+T^26+T^21+T^18+T^17+T^15+T^13+T^12+T^10+T^9+T^8)*y^10+
(T^27+T^26+T^22+T^21+T^16+T^14+T^13+T^12+T^10+T^8+T^6+T^5+T^4+T^3)*y^9+
(T^34+T^33+T^32+T^30+T^27+T^25+T^20+T^19+T^17+T^15+T^14+T^12+T^10+T^8+T^7+T^4+T^3+T)*y^8+
(T^29+T^27+T^21+T^20+T^19+T^15+T^11+T^10+T^8+T^7+T^6+T^5+T^4+T^3+T^2+1)*y^7+
(T^29+T^25+T^24+T^22+T^21+T^20+T^18+T^17+T^15+T^14+T^9+T^5+T^2+1)*y^6+
(T^28+T^26+T^22+T^20+T^18+T^17+T^15+T^13+T^12+T^10+T^8+T^6+T^5+T^3)*y^5+
(T^32+T^29+T^27+T^25+T^24+T^23+T^20+T^19+T^16+T^15+T^14+T^12+T^11+T^7+T^3+T^2)*y^4+
(T^27+T^21+T^18+T^17+T^16+T^14+T^13+T^12+T^7+T^6)*y^3+
(T^30+T^29+T^27+T^26+T^24+T^22+T^21+T^20+T^18+T^16+T^14+T^12+T^10+T^8)*y^2+
(T^27+T^26+T^25+T^24+T^23+T^22+T^21+T^19+T^18+T^17+T^16+T^15)*y+T^35;

initffdata:=function()
ffdata:=[                        # some of the collected defining eq.s :
                                 # most of those are optimal (N(F)=N_2(g(F)))
				 # result: (g,N-1)-seqs, (g,m,N)-nets
 y^2+y^3+(T^2+T),                           # N(F) = 5, g = 1
 #(T^3+T+1)*(y^2+y)+(T^2+T),                 # 6,2  
 y^2+(T^3+T+1)*y+tp([5,4,3,1]),              # 6,2  
 y^3+(T^2+T+1)*y^2+(T^3+T^2)*y+(T^2+T),      # 7,3
# y4([1,0],[0],[1],[4,3]),                   # 8,4
 y4([0],[1,0],[3,1],[7,3]),                  # 8,4 # the same, w. integral eq.
 y4([0],[2,1,0],[2,1],[7,3]),                # 9,5   
 y4([10,8,6,4,0],[10,9,6,5,4,2,0],[9,8,5,2],[12,11,8,5]),          # 10,6
# y4([0],[20,19,18,17,14,12,11,10,8,6,5,2,0], # the same, with integral eq.
#    [29,28,24,22,20,18,16,14,13,10,9,8,5,2],
#    [42,41,40,39,38,36,35,33,32,31,27,26,24,19,17,16,14,9,8,5]),  # 10,6
 y4([8,4,0],[9,6,5,1,0],[9,8,6,5,4,1],[8,7,4,3]),                  # 11,8
 y4([12,10,8,6,4,2,0],[14,13,11,9,7,5,3,1,0],[1..14],[11,9,7,5]),  # 12,9
 yp([8,4,2,1,0],[[7,6,5,4,3,2,1,0],[10,9,6,5,1,0],[13,12,11,8,7,6,5,4,3,2],
     [13,12,11,10,9,8,6,5],[21,20,17,15,11,10,8,6]]),              # 13(14),11
 yp([8,4,2,1,0],[[7,6,5,4,3,2,1,0],[10,9,6,5,1,0],[13,12,11,8,7,6,5,4,3,2],
     [13,12,11,10,9,8,6,5],[21,20,17,15,11,10,8,6]]),              # 14,11
 yp([8,4,2,1,0],[[0],[3,2,0],[6,4,3,2],[6,4],[11,7]]),             # 15,13
 yp([0..8],[[18],[13,8,7,5],[15,9,7,5,1,0],[6,5],                  # 16(17),15
 [17,16,15,13,9,8,7,5,3,2],[14,8,7,6],[13,8],[14,13],[19]]),
 yp([0..8],[[18],[13,8,7,5],[15,9,7,5,1,0],[6,5],                  # 17,15
 [17,16,15,13,9,8,7,5,3,2],[14,8,7,6],[13,8],[14,13],[19]]),
# yp([0..8],[[1,0],[14,11,9,8,4,3,2,1],[19,17,14,8,6,4,3,1],       # 17,15
# [14,13,10,9,6,5,2,1],[17,14,11,10,9,1],[13,11,10,8,4,3,2,1],     # (integral) 
# [11,10,9,8,6,4,3,1],[6,5,2,1],[0]]),
# yp([0,1,2,4,8],[[7,15],[4,8],[2,3,4,5,6,8],[0,2,3,5,6],[0]]),    # 17,17
 yp([8,4,2,1,0],[[18,16,14,8,6,4,0],[22,19,17,16,15,13,8,7,6,5,4,2,0],
  [22,21,19,18,17,15,14,9,7,2],[21,13,9,5],[30,26,25,18,16,15,9,8,7,6]]), # 18(20),19
 yp([8,4,2,1,0],[[18,16,14,8,6,4,0],[22,19,17,16,15,13,8,7,6,5,4,2,0],
  [22,21,19,18,17,15,14,9,7,2],[21,13,9,5],[30,26,25,18,16,15,9,8,7,6]]), # 19(20),19
 yp([8,4,2,1,0],[[18,16,14,8,6,4,0],[22,19,17,16,15,13,8,7,6,5,4,2,0],
  [22,21,19,18,17,15,14,9,7,2],[21,13,9,5],[30,26,25,18,16,15,9,8,7,6]]), # 20,19
 yp([0..21],[ [10],[7,9],[6,8,9,10],[3,4,5,7,8,10],                # 21,21
 [2,3,4,5,6,8,9],[1,3,4,5,9],[0,1],[0,1,4,7,9],[3,6,8,9,10], 
 [1,6,9,10],[0,1,2,4,8,9],[0,1,2,4,5,6,8,9,10],[7,10],
 [2,6,9,10],[9],[10],[],[9,10],[8,9,10],[8,9,10],[],[10] ]),
 f8rev,                                                            # 22(33),39
 f8rev,                                                            # 23(33),39
 f8rev,                                                            # 24(33),39
 f8rev,                                                            # 25(33),39
 f8rev,                                                            # 26(33),39
 f8rev,                                                            # 27(33),39
 f8rev,                                                            # 28(33),39
 f8rev,                                                            # 29(33),39
 f8rev,                                                            # 30(33),39
 f8rev,                                                            # 31(33),39
 f8rev,                                                            # 32(33),39
 f8rev                                                             # 33,39
 ];
end;