/* Data is in the following format
   Note, if the class group has not been computed, it, the class number, the fundamental units, regulator and whether grh was assumed are all 0.
[polynomial,
degree,
t-number of Galois group,
signature [r,s],
discriminant,
list of ramifying primes,
integral basis as polynomials in a,
1 if it is a cm field otherwise 0,
class number,
class group structure,
1 if grh was assumed and 0 if not,
fundamental units,
regulator,
list of subfields each as a pair [polynomial, number of subfields isomorphic to one defined by this polynomial]
]
*/

[x^31 + 4*x - 3, 31, 12, [1, 15], -19449380546628051604251457953600887142088240597897609060431831, [3, 59, 10709, 149508953636113788369933546329314530107849], [1, a, a^2, a^3, a^4, a^5, a^6, a^7, a^8, a^9, a^10, a^11, a^12, a^13, a^14, a^15, a^16, a^17, a^18, a^19, a^20, a^21, a^22, a^23, a^24, a^25, a^26, a^27, a^28, a^29, 1/7*a^30 + 2/7*a^29 - 3/7*a^28 + 1/7*a^27 + 2/7*a^26 - 3/7*a^25 + 1/7*a^24 + 2/7*a^23 - 3/7*a^22 + 1/7*a^21 + 2/7*a^20 - 3/7*a^19 + 1/7*a^18 + 2/7*a^17 - 3/7*a^16 + 1/7*a^15 + 2/7*a^14 - 3/7*a^13 + 1/7*a^12 + 2/7*a^11 - 3/7*a^10 + 1/7*a^9 + 2/7*a^8 - 3/7*a^7 + 1/7*a^6 + 2/7*a^5 - 3/7*a^4 + 1/7*a^3 + 2/7*a^2 - 3/7*a - 2/7], 0, 1, [], 1, [ a^(20) - a^(19) + a^(18) - a^(17) + a^(16) - a^(15) + a^(14) - a^(13) + a^(12) - a^(11) + 2*a^(10) - 2*a^(9) + 2*a^(8) - 2*a^(7) + 2*a^(6) - 2*a^(5) + 2*a^(4) - 2*a^(3) + 2*a^(2) - 2*a + 1 , a^(28) - a^(27) + 2*a^(26) - 2*a^(25) + 2*a^(24) - 2*a^(23) + a^(22) - a^(21) + a^(16) - a^(15) + 2*a^(14) - 2*a^(13) + 2*a^(12) - 2*a^(11) + a^(10) - a^(9) + a^(4) - a^(3) + 2*a^(2) - 2*a + 1 , 2*a^(22) - a^(21) - 3*a^(12) + 2*a^(11) + 5*a^(2) - 5*a + 1 , (12)/(7)*a^(30) + (10)/(7)*a^(29) - (1)/(7)*a^(28) + (5)/(7)*a^(27) + (3)/(7)*a^(26) - (1)/(7)*a^(25) + (12)/(7)*a^(24) + (3)/(7)*a^(23) - (8)/(7)*a^(22) + (5)/(7)*a^(21) - (4)/(7)*a^(20) - (1)/(7)*a^(19) + (12)/(7)*a^(18) - (11)/(7)*a^(17) - (15)/(7)*a^(16) + (12)/(7)*a^(15) - (18)/(7)*a^(14) + (6)/(7)*a^(13) + (12)/(7)*a^(12) - (46)/(7)*a^(11) + (13)/(7)*a^(10) + (5)/(7)*a^(9) - (32)/(7)*a^(8) + (27)/(7)*a^(7) - (16)/(7)*a^(6) - (46)/(7)*a^(5) + (41)/(7)*a^(4) - (23)/(7)*a^(3) - (18)/(7)*a^(2) + (41)/(7)*a - (10)/(7) , (79)/(7)*a^(30) + (74)/(7)*a^(29) + (1)/(7)*a^(28) - (82)/(7)*a^(27) - (94)/(7)*a^(26) - (20)/(7)*a^(25) + (79)/(7)*a^(24) + (116)/(7)*a^(23) + (57)/(7)*a^(22) - (61)/(7)*a^(21) - (129)/(7)*a^(20) - (83)/(7)*a^(19) + (44)/(7)*a^(18) + (144)/(7)*a^(17) + (127)/(7)*a^(16) - (5)/(7)*a^(15) - (143)/(7)*a^(14) - (160)/(7)*a^(13) - (40)/(7)*a^(12) + (130)/(7)*a^(11) + (197)/(7)*a^(10) + (86)/(7)*a^(9) - (115)/(7)*a^(8) - (223)/(7)*a^(7) - (145)/(7)*a^(6) + (60)/(7)*a^(5) + (239)/(7)*a^(4) + (205)/(7)*a^(3) - (24)/(7)*a^(2) - (244)/(7)*a + (59)/(7) , (129)/(7)*a^(30) + (111)/(7)*a^(29) + (103)/(7)*a^(28) + (80)/(7)*a^(27) + (48)/(7)*a^(26) + (40)/(7)*a^(25) + (52)/(7)*a^(24) + (62)/(7)*a^(23) + (26)/(7)*a^(22) + (3)/(7)*a^(21) + (27)/(7)*a^(20) + (54)/(7)*a^(19) + (24)/(7)*a^(18) - (8)/(7)*a^(17) + (5)/(7)*a^(16) + (24)/(7)*a^(15) + (34)/(7)*a^(14) - (2)/(7)*a^(13) - (25)/(7)*a^(12) - (15)/(7)*a^(11) + (26)/(7)*a^(10) + (17)/(7)*a^(9) - (43)/(7)*a^(8) - (65)/(7)*a^(7) + (3)/(7)*a^(6) + (41)/(7)*a^(5) - (51)/(7)*a^(4) - (81)/(7)*a^(3) - (29)/(7)*a^(2) + (26)/(7)*a + (505)/(7) , (15)/(7)*a^(30) - (12)/(7)*a^(29) + (4)/(7)*a^(28) + (22)/(7)*a^(27) - (12)/(7)*a^(26) - (31)/(7)*a^(25) + (15)/(7)*a^(24) + (51)/(7)*a^(23) - (3)/(7)*a^(22) - (55)/(7)*a^(21) - (12)/(7)*a^(20) + (32)/(7)*a^(19) + (1)/(7)*a^(18) - (26)/(7)*a^(17) + (32)/(7)*a^(16) + (50)/(7)*a^(15) - (40)/(7)*a^(14) - (80)/(7)*a^(13) + (22)/(7)*a^(12) + (86)/(7)*a^(11) - (3)/(7)*a^(10) - (69)/(7)*a^(9) + (2)/(7)*a^(8) + (39)/(7)*a^(7) - (62)/(7)*a^(6) - (61)/(7)*a^(5) + (95)/(7)*a^(4) + (127)/(7)*a^(3) - (61)/(7)*a^(2) - (143)/(7)*a + (82)/(7) , (138)/(7)*a^(30) + (45)/(7)*a^(29) + (83)/(7)*a^(28) + (68)/(7)*a^(27) - (18)/(7)*a^(26) + (69)/(7)*a^(25) + (33)/(7)*a^(24) - (46)/(7)*a^(23) + (69)/(7)*a^(22) + (5)/(7)*a^(21) - (46)/(7)*a^(20) + (76)/(7)*a^(19) - (37)/(7)*a^(18) - (25)/(7)*a^(17) + (90)/(7)*a^(16) - (86)/(7)*a^(15) + (3)/(7)*a^(14) + (97)/(7)*a^(13) - (121)/(7)*a^(12) + (38)/(7)*a^(11) + (83)/(7)*a^(10) - (142)/(7)*a^(9) + (94)/(7)*a^(8) + (41)/(7)*a^(7) - (156)/(7)*a^(6) + (157)/(7)*a^(5) - (15)/(7)*a^(4) - (149)/(7)*a^(3) + (199)/(7)*a^(2) - (85)/(7)*a + (445)/(7) , 3*a^(30) - 3*a^(28) - 5*a^(27) + a^(26) + 6*a^(25) + 4*a^(24) + 2*a^(23) - 2*a^(22) - 8*a^(21) - 3*a^(20) + 5*a^(19) + 5*a^(18) + 5*a^(17) - 9*a^(15) - 7*a^(14) + 3*a^(13) + 7*a^(12) + 8*a^(11) + 4*a^(10) - 7*a^(9) - 12*a^(8) - 4*a^(7) + 7*a^(6) + 9*a^(5) + 9*a^(4) - 16*a^(2) - 12*a + 19 , (68)/(7)*a^(30) - (102)/(7)*a^(29) - (183)/(7)*a^(28) - (100)/(7)*a^(27) + (87)/(7)*a^(26) + (223)/(7)*a^(25) + (173)/(7)*a^(24) - (32)/(7)*a^(23) - (211)/(7)*a^(22) - (212)/(7)*a^(21) - (18)/(7)*a^(20) + (216)/(7)*a^(19) + (292)/(7)*a^(18) + (108)/(7)*a^(17) - (183)/(7)*a^(16) - (324)/(7)*a^(15) - (179)/(7)*a^(14) + (146)/(7)*a^(13) + (369)/(7)*a^(12) + (297)/(7)*a^(11) - (64)/(7)*a^(10) - (394)/(7)*a^(9) - (382)/(7)*a^(8) - (15)/(7)*a^(7) + (383)/(7)*a^(6) + (472)/(7)*a^(5) + (153)/(7)*a^(4) - (352)/(7)*a^(3) - (571)/(7)*a^(2) - (288)/(7)*a + (550)/(7) , (39)/(7)*a^(30) - (13)/(7)*a^(29) + (37)/(7)*a^(28) - (3)/(7)*a^(27) + (15)/(7)*a^(26) + (23)/(7)*a^(25) + (4)/(7)*a^(24) + (29)/(7)*a^(23) + (9)/(7)*a^(22) + (11)/(7)*a^(21) + (1)/(7)*a^(20) + (30)/(7)*a^(19) - (24)/(7)*a^(18) + (64)/(7)*a^(17) - (47)/(7)*a^(16) + (46)/(7)*a^(15) - (13)/(7)*a^(14) - (26)/(7)*a^(13) + (53)/(7)*a^(12) - (62)/(7)*a^(11) + (65)/(7)*a^(10) - (52)/(7)*a^(9) + (15)/(7)*a^(8) - (33)/(7)*a^(7) + (18)/(7)*a^(6) - (55)/(7)*a^(5) + (51)/(7)*a^(4) - (52)/(7)*a^(3) - (13)/(7)*a^(2) + (37)/(7)*a - (1)/(7) , (155)/(7)*a^(30) + (142)/(7)*a^(29) + (137)/(7)*a^(28) + (127)/(7)*a^(27) + (114)/(7)*a^(26) + (109)/(7)*a^(25) + (78)/(7)*a^(24) + (72)/(7)*a^(23) + (67)/(7)*a^(22) + (50)/(7)*a^(21) + (37)/(7)*a^(20) - (3)/(7)*a^(19) - (20)/(7)*a^(18) - (26)/(7)*a^(17) - (59)/(7)*a^(16) - (69)/(7)*a^(15) - (82)/(7)*a^(14) - (94)/(7)*a^(13) - (76)/(7)*a^(12) - (124)/(7)*a^(11) - (143)/(7)*a^(10) - (153)/(7)*a^(9) - (173)/(7)*a^(8) - (143)/(7)*a^(7) - (181)/(7)*a^(6) - (173)/(7)*a^(5) - (136)/(7)*a^(4) - (146)/(7)*a^(3) - (138)/(7)*a^(2) - (164)/(7)*a + (446)/(7) , (19)/(7)*a^(30) + (24)/(7)*a^(29) + (6)/(7)*a^(28) - (2)/(7)*a^(27) + (10)/(7)*a^(26) + (13)/(7)*a^(25) + (5)/(7)*a^(24) + (3)/(7)*a^(23) - (1)/(7)*a^(22) - (2)/(7)*a^(21) + (10)/(7)*a^(20) - (8)/(7)*a^(19) - (16)/(7)*a^(18) + (10)/(7)*a^(17) + (20)/(7)*a^(16) - (9)/(7)*a^(15) - (4)/(7)*a^(14) + (13)/(7)*a^(13) - (2)/(7)*a^(12) + (3)/(7)*a^(11) - (1)/(7)*a^(10) - (16)/(7)*a^(9) - (4)/(7)*a^(8) + (27)/(7)*a^(7) - (9)/(7)*a^(6) - (18)/(7)*a^(5) + (6)/(7)*a^(4) - (9)/(7)*a^(3) + (3)/(7)*a^(2) + (27)/(7)*a + (67)/(7) , (122)/(7)*a^(30) - (29)/(7)*a^(29) - (79)/(7)*a^(28) + (129)/(7)*a^(27) - (162)/(7)*a^(26) + (96)/(7)*a^(25) + (59)/(7)*a^(24) - (155)/(7)*a^(23) + (208)/(7)*a^(22) - (165)/(7)*a^(21) - (8)/(7)*a^(20) + (159)/(7)*a^(19) - (263)/(7)*a^(18) + (265)/(7)*a^(17) - (65)/(7)*a^(16) - (151)/(7)*a^(15) + (293)/(7)*a^(14) - (373)/(7)*a^(13) + (206)/(7)*a^(12) + (118)/(7)*a^(11) - (338)/(7)*a^(10) + (465)/(7)*a^(9) - (379)/(7)*a^(8) + (5)/(7)*a^(7) + (360)/(7)*a^(6) - (582)/(7)*a^(5) + (579)/(7)*a^(4) - (186)/(7)*a^(3) - (323)/(7)*a^(2) + (670)/(7)*a - (335)/(7) , (51)/(7)*a^(30) + (4)/(7)*a^(29) + (64)/(7)*a^(28) - (40)/(7)*a^(27) + (11)/(7)*a^(26) - (48)/(7)*a^(25) + (72)/(7)*a^(24) - (10)/(7)*a^(23) + (50)/(7)*a^(22) - (82)/(7)*a^(21) + (18)/(7)*a^(20) - (27)/(7)*a^(19) + (79)/(7)*a^(18) - (10)/(7)*a^(17) - (6)/(7)*a^(16) - (75)/(7)*a^(15) + (32)/(7)*a^(14) + (29)/(7)*a^(13) + (44)/(7)*a^(12) - (3)/(7)*a^(11) - (104)/(7)*a^(10) + (16)/(7)*a^(9) + (4)/(7)*a^(8) + (127)/(7)*a^(7) - (75)/(7)*a^(6) + (32)/(7)*a^(5) - (188)/(7)*a^(4) + (170)/(7)*a^(3) - (66)/(7)*a^(2) + (218)/(7)*a - (74)/(7) ], 4933387750736738000, []]