Hilbert modular form data - 4.4.725.1-121.2-b

Formats: - HTML - YAML - JSON - 2024-05-01T02:10:26.741695

• hmf_forms •

  Column	Type
  deg	smallint
  dimension	integer
  disc	bigint
  field_bad_primes	integer[]
  field_label	text
  is_CM	text
  is_base_change	text
  label	text
  label_nsuffix	smallint
  label_suffix	text
  level_bad_primes	integer[]
  level_ideal	text
  level_label	text
  level_norm	integer
  parallel_weight	smallint
  short_label	text
  weight	text

  
  {'deg': 4, 'dimension': 2, 'disc': 725, 'field_bad_primes': [5, 29], 'field_label': '4.4.725.1', 'is_CM': 'no', 'is_base_change': 'yes', 'label': '4.4.725.1-121.2-b', 'label_nsuffix': 1, 'label_suffix': 'b', 'level_bad_primes': [11], 'level_ideal': '[121, 11, -3*w^3 + 3*w^2 + 6*w - 2]', 'level_label': '121.2', 'level_norm': 121, 'parallel_weight': 2, 'short_label': '121.2-b', 'weight': '[2, 2, 2, 2]'}
• hmf_hecke •

  Column	Type
  AL_eigenvalues	jsonb
  hecke_eigenvalues	jsonb
  hecke_polynomial	text
  label	text

  
  {'AL_eigenvalues': [['[11, 11, -w^3 + 2*w^2 + w - 3]', 1], ['[11, 11, w^3 - 3*w]', 1]], 'hecke_eigenvalues': [-1, -1, 'e', '-e + 1', '-e + 1', 2, 6, 'e + 3', 'e + 3', '-e - 1', '-e - 1', 'e - 3', 'e - 3', -10, -10, '2*e - 2', '2*e - 2', 10, '-2*e + 4', '-2*e + 4', 6, 6, '-2*e', 'e - 15', 'e - 15', '-2*e', 2, -12, -12, -4, '-2*e + 6', '-2*e + 6', -4, 6, '-e - 13', 6, '-e - 13', 2, 2, 12, 'e + 7', 'e + 7', 12, 0, 0, '2*e - 14', '2*e - 14', -10, -10, -12, -12, '-2*e + 16', '-2*e + 16', '2*e - 2', '2*e - 2', '2*e - 16', '2*e - 16', '-e - 1', '-e - 1', '2*e + 14', '2*e + 14', 'e - 9', 'e - 9', 'e - 5', 'e - 5', '4*e + 6', '-2*e + 6', '-2*e + 6', '-2*e + 16', '-2*e + 16', '4*e - 18', '4*e - 18', '-e - 5', '-e - 5', '-3*e + 15', '-3*e + 15', '2*e - 10', '2*e - 10', '3*e - 21', '3*e - 21', 6, 6, '-2*e + 10', '-2*e + 10', '3*e - 3', '3*e - 3', '-4*e - 8', '-4*e - 8', '-4*e + 16', '-4*e + 16', '4*e - 14', '4*e - 14', -18, -18, '-6*e', '-2*e - 20', '-6*e', '-2*e - 20', '2*e + 16', '2*e + 16', 14, 14, '-3*e - 15', '-3*e - 15', '-e + 1', '-e + 1', -4, -4, 0, 0, '-6*e + 8', '-6*e + 8', '2*e - 38', '2*e - 38', -16, -16, '-4*e - 20', '-4*e - 20', 'e + 37', 'e + 37', 36, 36, -34, '2*e + 4', -34, '2*e + 4', 20, 20, 32, 32, '2*e - 32', '2*e - 32', -6, -6, '-3*e + 11', '2*e + 10', '2*e + 10', '-3*e + 11', -18, '3*e + 15', -18, '3*e + 15', 'e - 15', 'e - 15', 24, 24, 50, '2*e + 34', '2*e + 34', '-2*e + 4', '-2*e + 4', '5*e - 1', '5*e - 1', 18, '-4*e - 10', '-4*e - 10', 18, '6*e - 24', '6*e - 24', '4*e + 10', '4*e + 10', '-8*e + 18', '5*e - 13', '5*e - 13'], 'hecke_polynomial': 'x^2 - 2*x - 39', 'label': '4.4.725.1-121.2-b'}
• hmf_fields •

  Column	Type
  degree	smallint
  discriminant	bigint
  ideals	jsonb
  label	text
  narrow_class_no	smallint
  primes	jsonb

  
  {'degree': 4, 'discriminant': 725, 'ideals': ['[1, 1, 1]', '[11, 11, -w^3 + 2*w^2 + w - 3]', '[11, 11, w^3 - 3*w]', '[16, 2, 2]', '[19, 19, -w^3 + 2*w + 2]', '[19, 19, 2*w^3 - 3*w^2 - 4*w + 2]', '[25, 5, 2*w^3 - 2*w^2 - 4*w + 1]', '[29, 29, w^3 - w^2 - 4*w + 1]', '[31, 31, w^3 - 4*w + 1]', '[31, 31, -w^2 + 2*w + 3]', '[41, 41, 2*w^2 - w - 3]', '[41, 41, -w^3 + 3*w^2 + w - 4]', '[49, 7, 2*w^3 - 3*w^2 - 5*w + 2]', '[49, 7, w^2 + w - 3]', '[61, 61, 2*w^3 - 3*w^2 - 4*w]', '[61, 61, -3*w^3 + 4*w^2 + 7*w - 3]', '[79, 79, 2*w^3 - 4*w^2 - 3*w + 2]', '[79, 79, w^3 + w^2 - 3*w - 5]', '[81, 3, -3]', '[89, 89, -3*w^3 + 4*w^2 + 5*w - 3]', '[89, 89, 3*w^3 - 2*w^2 - 7*w]', '[101, 101, -3*w^3 + 5*w^2 + 7*w - 5]', '[101, 101, -2*w^2 - w + 4]', '[109, 109, 3*w^3 - 5*w^2 - 5*w + 3]', '[109, 109, -2*w^3 + 7*w + 1]', '[109, 109, 4*w^3 - 5*w^2 - 9*w + 3]', '[109, 109, -2*w^3 + 5*w + 4]', '[121, 11, 3*w^3 - 3*w^2 - 6*w + 1]', '[121, 11, -3*w^3 + 3*w^2 + 6*w - 2]', '[121, 121, 2*w^3 - 2*w^2 - 7*w + 1]', '[121, 121, w^3 - w^2 - 5*w + 2]', '[131, 131, -3*w^3 + 2*w^2 + 8*w - 2]', '[131, 131, w^3 + w^2 - 5*w]', '[139, 139, -w^3 + 2*w^2 + 2*w - 6]', '[139, 139, 2*w^3 - 5*w^2 - 2*w + 6]', '[139, 139, 3*w^3 - 5*w^2 - 6*w + 4]', '[139, 139, -2*w^3 + 2*w^2 + 7*w - 2]', '[149, 149, -3*w^3 + 4*w^2 + 7*w - 2]', '[149, 149, w^3 - w^2 - 3*w - 3]', '[149, 149, 3*w^3 - 2*w^2 - 9*w + 2]', '[149, 149, w - 4]', '[169, 13, -4*w^3 + 5*w^2 + 8*w - 4]', '[169, 13, 3*w^3 - 2*w^2 - 6*w]', '[176, 22, -2*w^3 + 4*w^2 + 2*w - 6]', '[176, 22, 2*w^3 - 6*w]', '[179, 179, -4*w^3 + 3*w^2 + 10*w - 3]', '[179, 179, -4*w^3 + 4*w^2 + 9*w - 3]', '[179, 179, -2*w^3 + w^2 + 8*w - 1]', '[179, 179, 4*w^3 - 3*w^2 - 8*w - 2]', '[191, 191, -w^3 + 4*w^2 - 6]', '[191, 191, -4*w^3 + 4*w^2 + 9*w - 2]', '[209, 209, w^2 + 2*w - 4]', '[209, 209, 3*w^2 - 2*w - 5]', '[209, 209, w^3 - 4*w^2 + 5]', '[209, 209, 3*w^3 - 4*w^2 - 8*w + 2]', '[211, 211, 2*w^3 - w^2 - 8*w]', '[211, 211, -w^3 + 4*w^2 + w - 5]', '[229, 229, w^3 - 3*w^2 + w + 5]', '[229, 229, 2*w^3 - 7*w]', '[251, 251, 3*w^3 - 4*w^2 - 7*w + 1]', '[251, 251, w^3 - w - 4]', '[256, 4, 4]', '[269, 269, 3*w^3 - 6*w^2 - 3*w + 7]', '[269, 269, 3*w^3 - 9*w - 2]', '[271, 271, -3*w^3 + w^2 + 10*w]', '[271, 271, 4*w^3 - 5*w^2 - 9*w + 2]', '[275, 55, -3*w^3 + 2*w^2 + 9*w - 3]', '[275, 55, w^3 - 2*w^2 + w + 4]', '[281, 281, -3*w^3 + w^2 + 11*w - 1]', '[281, 281, -2*w^2 + 5*w + 4]', '[281, 281, -3*w^3 + 3*w^2 + 10*w - 1]', '[281, 281, 3*w^3 - 4*w^2 - 7*w - 1]', '[304, 38, -2*w^3 + 4*w + 4]', '[304, 38, 4*w^3 - 6*w^2 - 8*w + 4]', '[311, 311, -w^3 + 7*w + 2]', '[311, 311, 3*w^2 - 7]', '[319, 319, -4*w^3 + 6*w^2 + 9*w - 5]', '[319, 319, -w^3 - w^2 + w + 4]', '[331, 331, w^3 + 2*w^2 - 3*w - 7]', '[331, 331, w^3 - w^2 - w + 5]', '[341, 341, w^2 - w - 6]', '[341, 341, -2*w^2 + 4*w + 5]', '[341, 341, -2*w^3 + 8*w - 1]', '[341, 341, w^2 - w + 3]', '[359, 359, -4*w^3 + 5*w^2 + 6*w - 4]', '[359, 359, -5*w^3 + 4*w^2 + 12*w - 2]', '[361, 19, 4*w^3 - 4*w^2 - 8*w + 1]', '[361, 19, -4*w^3 + 4*w^2 + 8*w - 3]', '[361, 361, -w^3 + 3*w^2 - w - 6]', '[361, 361, -2*w^3 + 7*w - 1]', '[379, 379, -3*w^3 + 10*w + 2]', '[379, 379, 2*w^3 - 5*w^2 + 6]', '[389, 389, -5*w^3 + 6*w^2 + 10*w - 3]', '[389, 389, w^3 + 3*w^2 - 6*w - 7]', '[400, 10, 4*w^3 - 4*w^2 - 8*w + 2]', '[409, 409, -4*w^3 + 4*w^2 + 7*w]', '[409, 409, -4*w^2 + 4*w + 5]', '[421, 421, -2*w^3 + 2*w^2 + 8*w - 3]', '[421, 421, w^3 + 3*w^2 - 6*w - 6]', '[431, 431, 4*w^3 - 6*w^2 - 10*w + 5]', '[431, 431, 3*w^3 - 5*w^2 - 6*w + 2]', '[431, 431, -4*w^3 + 3*w^2 + 8*w - 2]', '[431, 431, -5*w^3 + 6*w^2 + 10*w - 6]', '[449, 449, 4*w^3 - 5*w^2 - 6*w + 2]', '[449, 449, -w^3 + 2*w^2 + w - 7]', '[451, 451, -2*w^3 + 4*w^2 + 6*w - 1]', '[451, 451, -2*w^2 - w + 6]', '[451, 451, -3*w^3 + 5*w^2 + 7*w - 3]', '[451, 451, 2*w^3 - 4*w^2 - 6*w + 9]', '[461, 461, 5*w^3 - 4*w^2 - 12*w + 1]', '[461, 461, w^3 + 2*w^2 - 2*w - 6]', '[464, 58, 2*w^3 - 2*w^2 - 8*w + 2]', '[475, 95, 3*w^3 - 4*w^2 - 8*w]', '[475, 95, -w^2 - 2*w + 6]', '[479, 479, w^3 + 3*w^2 - 5*w - 7]', '[479, 479, 2*w^3 - 6*w^2 - w + 6]', '[491, 491, 3*w^2 - 5*w - 6]', '[491, 491, -2*w^3 - w^2 + 9*w + 1]', '[496, 62, 2*w^3 - 8*w + 2]', '[496, 62, -2*w^2 + 4*w + 6]', '[499, 499, 4*w^3 - 3*w^2 - 12*w + 4]', '[499, 499, 4*w^3 - 5*w^2 - 10*w + 2]', '[499, 499, -5*w^3 + 5*w^2 + 11*w - 4]', '[499, 499, -4*w^3 + 4*w^2 + 7*w - 3]', '[509, 509, -5*w^3 + 6*w^2 + 10*w - 4]', '[509, 509, -4*w^2 + 3*w + 8]', '[509, 509, -3*w^3 + w^2 + 10*w - 1]', '[509, 509, 5*w^3 - 6*w^2 - 12*w + 3]', '[521, 521, -5*w^3 + 6*w^2 + 10*w - 5]', '[521, 521, 2*w^3 - 6*w^2 - w + 7]', '[521, 521, w^3 - 5*w^2 + 9]', '[521, 521, w^3 + 3*w^2 - 5*w - 6]', '[529, 23, 3*w^3 - 5*w^2 - 6*w + 1]', '[529, 23, -2*w^3 - w^2 + 8*w + 1]', '[539, 77, 3*w^3 - 7*w^2 - 5*w + 9]', '[539, 77, -4*w^3 + 5*w^2 + 12*w - 6]', '[539, 77, -4*w^2 + w + 6]', '[539, 77, -w^3 + 2*w^2 + 6*w - 2]', '[541, 541, 3*w^3 - 5*w^2 - 8*w + 3]', '[541, 541, -w^3 + 3*w^2 + 4*w - 7]', '[551, 551, 3*w^3 - 9*w - 1]', '[551, 551, 3*w^3 - 6*w^2 - 3*w + 8]', '[569, 569, -w^3 + 7*w - 1]', '[569, 569, -3*w^3 + 2*w^2 + 11*w]', '[571, 571, w^3 - 4*w - 6]', '[571, 571, 4*w^3 - 5*w^2 - 11*w + 2]', '[571, 571, -5*w^3 + 5*w^2 + 11*w - 3]', '[571, 571, -2*w^3 + 6*w^2 + 2*w - 9]', '[589, 589, w^3 + w^2 - w - 5]', '[589, 589, 3*w^3 - 2*w^2 - 11*w + 1]', '[589, 589, w^3 - 7*w]', '[589, 589, -4*w^3 + 6*w^2 + 9*w - 4]', '[599, 599, 3*w^3 - 6*w^2 - 6*w + 4]', '[599, 599, 3*w^2 - 8]', '[601, 601, -4*w^3 + 2*w^2 + 12*w - 1]', '[601, 601, -5*w^3 + 7*w^2 + 11*w - 5]', '[619, 619, -w^3 + 5*w^2 - w - 6]', '[619, 619, 4*w^2 - 3*w - 7]', '[625, 5, 5]', '[631, 631, 2*w^3 - 3*w^2 - 5*w - 3]', '[631, 631, 5*w^3 - 3*w^2 - 13*w + 2]', '[631, 631, 2*w^3 + w^2 - 11*w - 2]', '[631, 631, 6*w^3 - 6*w^2 - 14*w + 3]', '[641, 641, 2*w^2 - w - 9]', '[641, 641, -w^3 + 3*w^2 + 2*w - 10]', '[656, 82, 4*w^2 - 2*w - 6]', '[656, 82, -2*w^3 + 6*w^2 + 2*w - 8]', '[659, 659, -4*w^3 + w^2 + 14*w + 1]', '[659, 659, 5*w^3 - 6*w^2 - 11*w + 1]', '[671, 671, -w^3 - 4*w^2 + 6*w + 5]', '[671, 671, 6*w^3 - 7*w^2 - 17*w + 9]', '[671, 671, -w^3 - w^2 + 8*w + 1]', '[671, 671, -w^3 + 5*w^2 - 8]', '[709, 709, 6*w^3 - 7*w^2 - 14*w + 3]', '[709, 709, 6*w^3 - 8*w^2 - 15*w + 7]', '[709, 709, 2*w^3 - 5*w^2 - 5*w + 2]', '[709, 709, -4*w^3 + 3*w^2 + 11*w - 5]', '[725, 145, w^3 - 5*w^2 + 7]', '[739, 739, 5*w^3 - 7*w^2 - 7*w + 5]', '[739, 739, -w^3 - 3*w^2 + 6*w + 1]', '[751, 751, 5*w^3 - 3*w^2 - 11*w + 1]', '[751, 751, 5*w^3 - 6*w^2 - 13*w + 3]', '[769, 769, -w^2 + 2*w + 7]', '[769, 769, -4*w^3 + 6*w^2 + 11*w - 4]', '[775, 155, 3*w^3 - 6*w^2 - 2*w + 7]', '[775, 155, 4*w^3 - w^2 - 12*w - 1]', '[779, 779, -4*w^3 + 3*w^2 + 13*w - 6]', '[779, 779, -3*w^3 + w^2 + 10*w - 2]', '[779, 779, -w^3 + 3*w^2 - 2*w - 6]', '[779, 779, w^2 - 5*w - 5]', '[784, 14, 4*w^3 - 6*w^2 - 10*w + 4]', '[784, 14, 2*w^2 + 2*w - 6]', '[809, 809, -5*w^3 + 4*w^2 + 13*w - 5]', '[809, 809, 2*w^3 + w^2 - 8*w]', '[811, 811, -w^3 - 4*w^2 + 7*w + 6]', '[811, 811, 3*w^3 - 5*w^2 - 7*w]', '[811, 811, -2*w^3 - w^2 + 9*w]', '[811, 811, -5*w^3 + 5*w^2 + 9*w - 5]', '[821, 821, -w^3 + 3*w^2 + 4*w - 8]', '[821, 821, -3*w^3 + 7*w + 6]', '[821, 821, -3*w^3 + w^2 + 6*w + 5]', '[821, 821, 5*w^3 - 8*w^2 - 9*w + 5]', '[829, 829, -w^3 + w^2 + w - 6]', '[829, 829, 5*w^3 - 6*w^2 - 9*w + 3]', '[839, 839, -4*w^3 + 2*w^2 + 14*w - 3]', '[839, 839, 5*w^3 - 7*w^2 - 7*w + 4]', '[841, 29, w^3 - w^2 - 2*w + 6]', '[841, 29, -w^2 + 6*w + 1]', '[859, 859, -4*w^3 + 2*w^2 + 13*w - 2]', '[859, 859, 5*w^3 - 6*w^2 - 12*w + 2]', '[869, 869, w^3 - 6*w^2 + w + 5]', '[869, 869, -w^3 + 8*w - 3]', '[869, 869, -4*w^3 + 3*w^2 + 14*w + 1]', '[869, 869, w^3 - 6*w^2 + w + 12]', '[881, 881, -2*w^3 + 4*w^2 + w - 9]', '[881, 881, -6*w^3 + 9*w^2 + 12*w - 7]', '[891, 33, 3*w^3 - 6*w^2 - 3*w + 9]', '[891, 33, -3*w^3 + 9*w]', '[899, 899, 4*w^3 - 5*w^2 - 11*w + 1]', '[899, 899, -w^2 - 3*w + 6]', '[911, 911, 5*w^3 - 6*w^2 - 11*w]', '[911, 911, -w^3 + 4*w^2 + 4*w - 8]', '[929, 929, 5*w^3 - 8*w^2 - 11*w + 7]', '[929, 929, -4*w^3 + 13*w + 3]', '[929, 929, 3*w^3 - 7*w^2 - w + 8]', '[929, 929, -6*w^3 + 5*w^2 + 16*w - 5]', '[931, 133, -w^2 - w - 4]', '[931, 133, 5*w^3 - 3*w^2 - 11*w]', '[931, 133, 2*w^3 - 3*w^2 - 5*w + 9]', '[931, 133, -6*w^3 + 8*w^2 + 11*w - 7]', '[941, 941, -4*w^3 + w^2 + 11*w]', '[941, 941, -2*w^3 - w^2 + 10*w - 1]', '[941, 941, -5*w^3 + 5*w^2 + 9*w]', '[941, 941, -5*w^2 + 5*w + 6]', '[961, 31, -5*w^3 + 5*w^2 + 10*w - 3]', '[961, 31, 5*w^3 - 5*w^2 - 10*w + 2]', '[961, 961, -5*w^3 + 7*w^2 + 12*w - 5]', '[961, 961, w^3 + w^2 - 5]', '[971, 971, -2*w^3 - 3*w^2 + 8*w + 7]', '[971, 971, 3*w^3 - 8*w^2 - 2*w + 9]', '[976, 122, 4*w^3 - 6*w^2 - 8*w]', '[976, 122, -6*w^3 + 8*w^2 + 14*w - 6]', '[979, 979, -3*w^3 + 5*w^2 + 2*w - 6]', '[979, 979, -5*w^3 + 3*w^2 + 14*w - 2]', '[979, 979, 4*w^3 - 3*w^2 - 13*w + 7]', '[979, 979, -w^2 + 5*w + 6]', '[1021, 1021, -2*w^3 + 4*w^2 - w - 5]', '[1021, 1021, 3*w^3 - 6*w^2 - 8*w + 4]', '[1021, 1021, 3*w^3 - w^2 - 10*w + 3]', '[1021, 1021, -w^3 + 3*w^2 - 2*w - 7]', '[1025, 205, -2*w^3 + 2*w^2 + 9*w - 1]', '[1025, 205, -3*w^3 + 3*w^2 + 11*w - 4]', '[1049, 1049, 5*w^3 - 6*w^2 - 8*w + 2]', '[1049, 1049, -w^3 - 4*w^2 + 6*w + 6]', '[1049, 1049, -w^3 + 3*w^2 + 4*w - 9]', '[1049, 1049, -3*w^3 + 5*w^2 + 8*w - 1]', '[1061, 1061, w^3 + 4*w^2 - 7*w - 8]', '[1061, 1061, -2*w^3 + 2*w^2 + 9*w - 3]', '[1091, 1091, 5*w^3 - 7*w^2 - 13*w + 5]', '[1091, 1091, 3*w^3 - 7*w^2 - 2*w + 10]', '[1109, 1109, -3*w^2 + 10]', '[1109, 1109, -6*w^3 + 6*w^2 + 13*w - 5]', '[1109, 1109, 4*w^3 - 3*w^2 - 14*w + 3]', '[1109, 1109, -5*w^3 + 4*w^2 + 13*w - 6]', '[1111, 1111, 7*w^3 - 10*w^2 - 19*w + 14]', '[1111, 1111, w^3 - 4*w^2 - 7*w + 3]', '[1111, 1111, -3*w^3 + 8*w^2 + 6*w - 11]', '[1111, 1111, -2*w^3 + 7*w^2 + 4*w - 9]', '[1129, 1129, w^3 + 4*w^2 - 5*w - 9]', '[1129, 1129, 5*w^3 - 3*w^2 - 13*w + 3]', '[1151, 1151, -3*w^3 + w^2 + 10*w - 4]', '[1151, 1151, -w^3 + 8*w - 2]', '[1151, 1151, -3*w^3 + 11*w]', '[1151, 1151, -4*w^3 + 2*w^2 + 11*w - 3]', '[1159, 1159, -3*w^3 + 5*w^2 + 8*w - 13]', '[1159, 1159, 6*w^3 - 4*w^2 - 12*w - 3]', '[1159, 1159, -6*w^3 + 5*w^2 + 14*w - 1]', '[1159, 1159, -3*w^3 + 5*w^2 + 3*w + 3]', '[1171, 1171, 5*w^2 - 4*w - 10]', '[1171, 1171, 6*w^3 - 7*w^2 - 12*w + 4]', '[1181, 1181, -4*w^3 + 5*w^2 + 11*w]', '[1181, 1181, w^2 + 3*w - 7]', '[1189, 1189, -6*w^3 + 7*w^2 + 12*w - 6]', '[1189, 1189, -5*w^3 + 4*w^2 + 10*w - 2]', '[1199, 1199, w^3 + 4*w^2 - 6*w - 9]', '[1199, 1199, -6*w^3 + 6*w^2 + 13*w - 2]', '[1199, 1199, 2*w^3 - 7*w^2 + 7]', '[1199, 1199, w^3 - 6*w^2 + 2*w + 10]', '[1199, 1199, -3*w^3 + 2*w^2 + 13*w - 6]', '[1199, 1199, -7*w^3 + 7*w^2 + 21*w - 9]', '[1199, 1199, 3*w^3 - 2*w^2 - 13*w - 3]', '[1199, 1199, -2*w^3 + 2*w^2 + 6*w + 5]', '[1201, 1201, w^3 + w - 5]', '[1201, 1201, 5*w^3 - 6*w^2 - 13*w + 2]', '[1225, 35, -4*w^3 + 7*w^2 + 9*w - 5]', '[1225, 35, -3*w^2 - w + 8]', '[1229, 1229, 6*w^3 - 7*w^2 - 14*w + 2]', '[1229, 1229, -4*w^3 + w^2 + 14*w]', '[1231, 1231, 5*w^3 - 8*w^2 - 12*w + 7]', '[1231, 1231, -3*w^3 + 2*w^2 + 12*w - 3]', '[1231, 1231, 2*w^3 - 6*w^2 + 11]', '[1231, 1231, -2*w^3 + w^2 + 10*w + 1]', '[1249, 1249, w^3 - 4*w - 7]', '[1249, 1249, -w^2 + 2*w - 5]', '[1259, 1259, w^3 - 6*w^2 + w + 11]', '[1259, 1259, 6*w^3 - 7*w^2 - 12*w + 5]', '[1264, 158, 4*w^3 - 8*w^2 - 6*w + 4]', '[1264, 158, 2*w^3 + 2*w^2 - 6*w - 10]', '[1271, 1271, w^3 + 2*w^2 - 2*w - 8]', '[1271, 1271, 3*w^3 + w^2 - 7*w - 7]', '[1271, 1271, -6*w^3 + 10*w^2 + 11*w - 8]', '[1271, 1271, -4*w^3 + 7*w^2 + 8*w - 4]', '[1279, 1279, 3*w^3 - 6*w^2 - 2*w + 8]', '[1279, 1279, -4*w^3 + w^2 + 12*w]', '[1289, 1289, 4*w^3 - 3*w^2 - 14*w + 2]', '[1289, 1289, -6*w^3 + 6*w^2 + 13*w - 4]', '[1289, 1289, 2*w^3 - 3*w^2 - 3*w - 4]', '[1289, 1289, w^2 - 8]', '[1291, 1291, 5*w^3 - 8*w^2 - 9*w + 4]', '[1291, 1291, 4*w^3 - 6*w^2 - 11*w + 3]', '[1296, 6, -6]', '[1301, 1301, 2*w^3 - 7*w^2 - 3*w + 8]', '[1301, 1301, -5*w^3 + 2*w^2 + 13*w - 1]', '[1301, 1301, -2*w^3 + 7*w^2 + 3*w - 11]', '[1301, 1301, 3*w^3 - 3*w^2 - 8*w - 5]', '[1319, 1319, 8*w^3 - 7*w^2 - 20*w + 2]', '[1319, 1319, 8*w^3 - 10*w^2 - 17*w + 8]', '[1321, 1321, 5*w^3 - 6*w^2 - 6*w + 3]', '[1321, 1321, -4*w^3 + w^2 + 16*w + 1]', '[1321, 1321, -3*w^3 + 4*w^2 + 6*w - 10]', '[1321, 1321, 8*w^3 - 7*w^2 - 20*w + 3]', '[1331, 11, w^3 - 3*w^2 + 3*w + 6]', '[1331, 11, -4*w^3 + 2*w^2 + 13*w - 3]', '[1331, 121, 5*w^3 - 4*w^2 - 14*w + 6]', '[1331, 121, -2*w^3 + 3*w^2 - 6]', '[1331, 1331, -3*w^3 + 8*w^2 + 3*w - 10]', '[1331, 1331, -w^3 - 4*w^2 + 5*w + 7]', '[1361, 1361, 5*w^3 - 7*w^2 - 7*w + 9]', '[1361, 1361, -6*w^3 + 4*w^2 + 15*w - 4]', '[1381, 1381, 7*w^3 - 9*w^2 - 17*w + 7]', '[1381, 1381, 8*w^3 - 9*w^2 - 19*w + 4]', '[1399, 1399, -w^3 - 5*w^2 + 7*w + 6]', '[1399, 1399, -2*w^3 + 8*w^2 - w - 13]', '[1399, 1399, 3*w^2 - 2*w - 12]', '[1399, 1399, -2*w^3 + 4*w^2 + 5*w - 12]', '[1409, 1409, -4*w^3 + 5*w^2 + 13*w - 5]', '[1409, 1409, 6*w^3 - 2*w^2 - 17*w - 2]', '[1421, 203, -4*w^3 + 2*w^2 + 11*w - 4]', '[1421, 203, 3*w^3 - 5*w^2 - 3*w + 9]', '[1424, 178, -6*w^3 + 8*w^2 + 10*w - 6]', '[1424, 178, 6*w^3 - 4*w^2 - 14*w]', '[1429, 1429, -w^3 + 6*w^2 - 2*w - 9]', '[1429, 1429, 7*w^3 - 7*w^2 - 16*w + 3]', '[1439, 1439, 3*w^3 - 7*w^2 - 6*w + 4]', '[1439, 1439, 7*w^3 - 10*w^2 - 12*w + 8]', '[1441, 1441, -6*w^3 + 8*w^2 + 10*w - 5]', '[1441, 1441, -w^3 + w^2 - 7]', '[1441, 1441, 8*w^3 - 9*w^2 - 18*w + 9]', '[1441, 1441, -w^3 + 3*w^2 + w + 3]', '[1471, 1471, 6*w^3 - 9*w^2 - 14*w + 8]', '[1471, 1471, -6*w^3 + 5*w^2 + 16*w - 6]', '[1481, 1481, -5*w^3 + 2*w^2 + 16*w]', '[1481, 1481, 2*w^3 - 5*w^2 + 2*w + 6]', '[1489, 1489, -7*w^3 + 7*w^2 + 16*w - 5]', '[1489, 1489, -3*w^3 + 8*w^2 + 4*w - 11]', '[1499, 1499, -w^3 + 3*w^2 + 2*w - 11]', '[1499, 1499, 6*w^3 - 4*w^2 - 18*w + 3]', '[1499, 1499, -2*w^3 + 7*w^2 + 3*w - 10]', '[1499, 1499, -3*w^3 + 8*w^2 + 2*w - 14]', '[1501, 1501, -w^3 + 4*w^2 - 4*w + 4]', '[1501, 1501, -8*w^3 + 8*w^2 + 19*w - 4]', '[1501, 1501, 5*w^3 - 5*w^2 - 7*w + 1]', '[1501, 1501, 4*w^3 - w^2 - 14*w - 10]', '[1511, 1511, w^3 - 2*w - 8]', '[1511, 1511, -2*w^3 + 7*w^2 + 2*w - 11]', '[1519, 217, 3*w^3 - 8*w^2 - 4*w + 10]', '[1519, 217, -2*w^3 + 2*w^2 + 10*w - 5]', '[1519, 217, 5*w^2 - 2*w - 8]', '[1519, 217, 4*w^3 - 4*w^2 - 14*w + 1]', '[1525, 305, -4*w^3 + 3*w^2 + 6*w + 4]', '[1525, 305, -w^3 + 4*w^2 + 3*w - 11]', '[1529, 1529, 5*w^3 - 8*w^2 - 10*w + 5]', '[1529, 1529, 7*w^3 - 10*w^2 - 16*w + 9]', '[1529, 1529, 6*w^3 - 11*w^2 - 10*w + 17]', '[1529, 1529, -5*w^3 + 6*w^2 + 16*w - 10]', '[1529, 1529, w^3 + 2*w^2 - w - 7]', '[1529, 1529, -5*w^3 + 3*w^2 + 14*w - 3]', '[1529, 1529, 2*w^3 - 7*w^2 - 2*w + 8]', '[1529, 1529, -3*w^3 + 5*w^2 + 10*w - 13]', '[1539, 57, 3*w^3 - 6*w - 6]', '[1539, 57, -6*w^3 + 9*w^2 + 12*w - 6]', '[1549, 1549, -6*w^3 + 3*w^2 + 16*w - 1]', '[1549, 1549, 3*w^3 - 4*w^2 - 7*w - 4]', '[1559, 1559, -7*w^3 + 8*w^2 + 15*w - 6]', '[1559, 1559, -7*w^3 + 7*w^2 + 16*w - 4]', '[1559, 1559, -5*w^3 + 7*w^2 + 15*w - 9]', '[1559, 1559, -4*w^3 + w^2 + 16*w + 2]', '[1609, 1609, -4*w^3 + 13*w + 2]', '[1609, 1609, 6*w^3 - 5*w^2 - 19*w + 1]', '[1616, 202, -6*w^3 + 10*w^2 + 14*w - 10]', '[1616, 202, -4*w^2 - 2*w + 8]', '[1619, 1619, 2*w^3 + 3*w^2 - 11*w - 3]', '[1619, 1619, 5*w^3 - 7*w^2 - 10*w]', '[1619, 1619, 6*w^3 - 6*w^2 - 17*w]', '[1619, 1619, 6*w^3 - 5*w^2 - 13*w + 3]', '[1621, 1621, -5*w^3 + 4*w^2 + 15*w - 7]', '[1621, 1621, 6*w^3 - 7*w^2 - 16*w + 3]', '[1639, 1639, w^3 - 4*w^2 + 3*w + 8]', '[1639, 1639, 5*w^3 - 10*w^2 - 6*w + 13]', '[1639, 1639, -w^2 + w + 8]', '[1639, 1639, 5*w^2 - 3*w - 8]', '[1639, 1639, -4*w^3 - w^2 + 12*w + 3]', '[1639, 1639, -9*w^3 + 11*w^2 + 20*w - 10]', '[1639, 1639, -3*w^3 + 11*w - 1]', '[1639, 1639, 5*w^3 - 5*w^2 - 16*w + 6]', '[1669, 1669, -7*w^3 + 5*w^2 + 17*w - 1]', '[1669, 1669, 5*w^3 - 6*w^2 - 12*w - 1]', '[1669, 1669, -6*w^3 + 9*w^2 + 13*w - 7]', '[1669, 1669, 4*w^2 + w - 9]', '[1681, 41, -w^3 + 7*w^2 - 3*w - 13]', '[1681, 41, 6*w^3 - 5*w^2 - 19*w + 4]', '[1681, 1681, -3*w^3 + 4*w^2 + 8*w - 11]', '[1681, 1681, -4*w^3 + 8*w^2 + 3*w - 9]', '[1691, 1691, -4*w^3 + 7*w^2 + 8*w - 3]', '[1691, 1691, -w^3 + w^2 + 8*w - 9]', '[1691, 1691, 5*w^3 - 5*w^2 - 16*w - 3]', '[1691, 1691, -w^3 - 2*w^2 + 2*w + 9]', '[1699, 1699, 2*w^3 - 4*w^2 - 4*w - 3]', '[1699, 1699, -2*w^3 + 11*w]', '[1709, 1709, -w^3 + w^2 + w - 7]', '[1709, 1709, 6*w^3 - 7*w^2 - 11*w + 3]', '[1721, 1721, -4*w^3 + 6*w^2 + 13*w - 7]', '[1721, 1721, 8*w^3 - 9*w^2 - 18*w + 7]', '[1744, 218, 6*w^3 - 10*w^2 - 10*w + 6]', '[1744, 218, -4*w^3 + 14*w + 2]', '[1744, 218, 8*w^3 - 10*w^2 - 18*w + 6]', '[1744, 218, -4*w^3 + 10*w + 8]', '[1759, 1759, -3*w^3 - 2*w^2 + 11*w + 3]', '[1759, 1759, 3*w^3 - 8*w^2 - w + 12]', '[1769, 1769, w^3 - 4*w^2 + 5*w + 6]', '[1769, 1769, -4*w^3 + 8*w^2 + 5*w - 13]', '[1801, 1801, -2*w^3 + 7*w^2 - 3*w - 9]', '[1801, 1801, 7*w^3 - 8*w^2 - 18*w + 4]', '[1831, 1831, 5*w^3 - 10*w^2 - 9*w + 8]', '[1831, 1831, w^3 + 4*w^2 - 3*w - 11]', '[1831, 1831, 6*w^3 - 9*w^2 - 11*w + 4]', '[1831, 1831, -4*w^3 + w^2 + 9*w + 7]', '[1859, 143, -4*w^3 + w^2 + 12*w - 1]', '[1859, 143, 7*w^3 - 7*w^2 - 20*w + 11]', '[1859, 143, -3*w^3 + 6*w^2 + 2*w - 9]', '[1859, 143, w^3 - w^2 + 4*w + 5]', '[1861, 1861, -6*w^3 + 6*w^2 + 11*w]', '[1861, 1861, 6*w^3 - 7*w^2 - 11*w + 4]', '[1861, 1861, -2*w^3 + 2*w^2 + 3*w - 8]', '[1861, 1861, -6*w^2 + 6*w + 7]', '[1871, 1871, -7*w^3 + 5*w^2 + 17*w + 1]', '[1871, 1871, -6*w^3 + 8*w^2 + 9*w - 4]', '[1879, 1879, -6*w^3 + 5*w^2 + 12*w + 1]', '[1879, 1879, -2*w^3 + 5*w^2 + 6*w - 12]', '[1879, 1879, w^3 - 7*w^2 + 4*w + 7]', '[1879, 1879, -5*w^3 + w^2 + 17*w + 2]', '[1891, 1891, 3*w^3 - 15*w - 5]', '[1891, 1891, 2*w^3 - 9*w^2 + 4*w + 7]', '[1891, 1891, -6*w^3 + 5*w^2 + 19*w - 2]', '[1891, 1891, -5*w^3 + 11*w^2 + 7*w - 14]', '[1919, 1919, w^3 + w^2 + w + 5]', '[1919, 1919, -6*w^3 + 8*w^2 + 15*w - 16]', '[1919, 1919, -6*w^3 + 5*w^2 + 12*w - 4]', '[1919, 1919, 7*w^3 - 8*w^2 - 14*w + 8]', '[1931, 1931, 3*w^3 - 7*w^2 - 7*w + 4]', '[1931, 1931, 7*w^3 - 8*w^2 - 17*w + 3]', '[1936, 22, 6*w^3 - 6*w^2 - 12*w + 2]', '[1936, 22, -6*w^3 + 6*w^2 + 12*w - 4]', '[1936, 242, 4*w^3 - 4*w^2 - 14*w + 2]', '[1936, 242, 2*w^3 - 2*w^2 - 10*w + 4]', '[1951, 1951, -4*w^3 + 6*w^2 + 10*w - 1]', '[1951, 1951, 2*w^2 + 2*w - 9]', '[1969, 1969, 10*w^3 - 11*w^2 - 23*w + 12]', '[1969, 1969, -2*w^3 + 2*w^2 + w - 9]', '[1969, 1969, -3*w^3 - 3*w^2 + 14*w + 5]', '[1969, 1969, 8*w^3 - 11*w^2 - 17*w + 8]', '[1969, 1969, -w^3 - 2*w^2 + 12*w + 7]', '[1969, 1969, 2*w^3 - 3*w - 7]', '[1969, 1969, 8*w^3 - 8*w^2 - 21*w + 10]', '[1969, 1969, -2*w^3 + 4*w^2 - 9]', '[1975, 395, -2*w^3 + 2*w^2 - w + 4]', '[1975, 395, -7*w^3 + 7*w^2 + 19*w - 1]', '[1999, 1999, 4*w^3 - 8*w^2 - 7*w + 4]', '[1999, 1999, w^3 + 3*w^2 - 3*w - 11]', '[2009, 287, 7*w^3 - 10*w^2 - 17*w + 9]', '[2009, 287, -5*w^3 + 2*w^2 + 13*w - 2]', '[2009, 287, -6*w^3 + 5*w^2 + 16*w - 7]', '[2009, 287, 3*w^3 - 12*w + 2]', '[2011, 2011, -6*w^3 + 7*w^2 + 18*w - 6]', '[2011, 2011, -w^3 + 2*w^2 + 8*w - 4]', '[2025, 15, -6*w^3 + 6*w^2 + 12*w - 3]', '[2069, 2069, -4*w^3 + w^2 + 8*w + 6]', '[2069, 2069, -7*w^3 + 10*w^2 + 14*w - 6]', '[2071, 2071, 6*w^3 - 7*w^2 - 10*w + 2]', '[2071, 2071, 7*w^3 - 6*w^2 - 16*w]', '[2071, 2071, 2*w^3 - 4*w^2 - 7*w + 15]', '[2071, 2071, -5*w^3 + 3*w^2 + 17*w + 9]', '[2071, 2071, w^3 - 7*w^2 + 4*w + 10]', '[2071, 2071, 8*w^3 - 7*w^2 - 19*w]', '[2071, 2071, 4*w^3 - w^2 - 17*w - 5]', '[2071, 2071, 2*w^2 - 7*w + 8]', '[2096, 262, -6*w^3 + 4*w^2 + 16*w - 4]', '[2096, 262, 2*w^3 + 2*w^2 - 10*w]', '[2099, 2099, -2*w^3 - 4*w^2 + 9*w + 8]', '[2099, 2099, -3*w^3 + 9*w^2 + w - 11]', '[2101, 2101, 7*w^3 - 6*w^2 - 20*w + 7]', '[2101, 2101, -5*w^3 + 7*w^2 + 12*w - 3]', '[2101, 2101, 2*w^3 - 5*w^2 - 6*w + 13]', '[2101, 2101, -w^3 + 4*w^2 - 3*w - 9]', '[2111, 2111, 4*w^3 - 7*w^2 - 8*w + 1]', '[2111, 2111, -7*w^3 + 9*w^2 + 13*w - 7]', '[2111, 2111, -3*w^3 - w^2 + 12*w + 1]', '[2111, 2111, -6*w^3 + 4*w^2 + 13*w]', '[2129, 2129, 6*w^3 - 5*w^2 - 17*w + 7]', '[2129, 2129, -3*w^3 - 2*w^2 + 12*w + 3]', '[2131, 2131, -4*w^3 + 11*w]', '[2131, 2131, 4*w^3 - w^2 - 15*w + 2]', '[2141, 2141, 5*w^3 - 8*w^2 - 13*w + 6]', '[2141, 2141, -7*w^3 + 7*w^2 + 15*w - 6]', '[2141, 2141, 5*w^3 - 4*w^2 - 17*w + 4]', '[2141, 2141, -w^3 + 4*w^2 + 5*w - 9]', '[2161, 2161, 2*w^3 - 5*w^2 + 3*w + 6]', '[2161, 2161, -6*w^3 + 3*w^2 + 19*w - 1]', '[2179, 2179, -w^3 + 3*w^2 - 3*w - 8]', '[2179, 2179, w^3 + 5*w^2 - 8*w - 10]', '[2179, 2179, 4*w^3 - 2*w^2 - 13*w + 5]', '[2179, 2179, -8*w^3 + 9*w^2 + 17*w - 4]', '[2221, 2221, 4*w^3 - 5*w^2 - 14*w + 3]', '[2221, 2221, 3*w^3 - 9*w^2 - w + 9]', '[2224, 278, -2*w^3 + 4*w^2 + 4*w - 12]', '[2224, 278, 4*w^3 - 10*w^2 - 4*w + 12]', '[2224, 278, 6*w^3 - 10*w^2 - 12*w + 8]', '[2224, 278, -4*w^3 + 4*w^2 + 14*w - 4]', '[2225, 445, -w^3 + 5*w - 7]', '[2225, 445, -w^3 + 5*w + 8]', '[2239, 2239, -5*w^3 + 8*w^2 + 11*w - 5]', '[2239, 2239, -7*w^3 + 6*w^2 + 16*w - 3]', '[2239, 2239, -6*w^3 + 7*w^2 + 10*w - 5]', '[2239, 2239, 6*w^3 - 7*w^2 - 14*w]', '[2251, 2251, w^3 + 5*w^2 - 8*w - 9]', '[2251, 2251, -3*w^3 + 3*w^2 + 12*w - 4]', '[2281, 2281, -3*w^3 - 2*w^2 + 13*w + 3]', '[2281, 2281, -5*w^3 + 3*w^2 + 15*w - 4]', '[2291, 2291, -7*w^3 + 4*w^2 + 20*w - 1]', '[2291, 2291, 4*w^3 - 7*w^2 - 2*w + 7]', '[2299, 209, -4*w^3 + 6*w^2 + 11*w - 1]', '[2299, 209, 5*w^3 - 6*w^2 - 13*w - 1]', '[2299, 209, -w^3 + 3*w^2 + 5*w - 10]', '[2299, 209, -w^3 - w + 8]', '[2299, 2299, -3*w^2 - w + 10]', '[2299, 2299, -7*w^3 + 8*w^2 + 14*w - 4]', '[2299, 2299, -6*w^3 + 5*w^2 + 12*w]', '[2299, 2299, 4*w^3 - 7*w^2 - 9*w + 3]', '[2309, 2309, 6*w^3 - 6*w^2 - 11*w + 1]', '[2309, 2309, -6*w^2 + 5*w + 7]', '[2311, 2311, -5*w^3 + 2*w^2 + 15*w - 1]', '[2311, 2311, -3*w^3 + 6*w^2 + w - 8]', '[2311, 2311, -7*w^3 + 8*w^2 + 14*w - 7]', '[2311, 2311, -6*w^3 + 5*w^2 + 12*w - 3]', '[2321, 2321, 2*w^3 - 5*w^2 - 7*w + 11]', '[2321, 2321, -3*w^3 + 6*w + 7]', '[2321, 2321, -7*w^3 + 9*w^2 + 16*w - 5]', '[2321, 2321, -3*w^3 + 7*w^2 + 8*w - 4]', '[2339, 2339, 6*w^3 - 7*w^2 - 10*w + 3]', '[2339, 2339, 2*w^3 - 3*w^2 - 3*w + 10]', '[2341, 2341, 5*w^3 - 7*w^2 - 11*w + 1]', '[2341, 2341, -2*w^3 - 3*w^2 + 10*w + 2]', '[2349, 87, -3*w^3 + 3*w^2 + 12*w - 3]', '[2351, 2351, -w^3 + 9*w - 2]', '[2351, 2351, -4*w^3 + 2*w^2 + 13*w - 6]', '[2381, 2381, -w^2 + 2*w - 6]', '[2381, 2381, w^3 - 4*w - 8]', '[2384, 298, -6*w^3 + 8*w^2 + 14*w - 4]', '[2384, 298, 2*w^3 - 2*w^2 - 6*w - 6]', '[2384, 298, 6*w^3 - 4*w^2 - 18*w + 4]', '[2384, 298, 2*w - 8]', '[2389, 2389, -3*w^3 + 2*w^2 + 13*w + 1]', '[2389, 2389, 3*w^3 - 2*w^2 - 13*w + 4]', '[2399, 2399, 4*w^3 - 3*w^2 - 15*w + 4]', '[2399, 2399, w^3 + w^2 - 4*w - 10]', '[2401, 7, 7]', '[2401, 49, -4*w^3 + w^2 + 17*w - 1]', '[2401, 49, -2*w^3 - w^2 + 13*w + 4]', '[2411, 2411, -w^3 + 6*w^2 + 3*w - 12]', '[2411, 2411, -8*w^3 + 7*w^2 + 19*w - 4]', '[2411, 2411, 6*w^3 - 7*w^2 - 9*w + 5]', '[2411, 2411, 7*w^3 - 5*w^2 - 16*w + 2]', '[2441, 2441, -3*w^3 + 6*w^2 + 9*w - 14]', '[2441, 2441, -3*w^3 - 2*w^2 + 15*w + 2]', '[2441, 2441, -7*w^3 + 5*w^2 + 17*w - 6]', '[2441, 2441, 8*w^3 - 11*w^2 - 20*w + 10]', '[2449, 2449, -5*w^3 + 4*w^2 + 17*w - 3]', '[2449, 2449, 5*w^3 - 13*w^2 - 2*w + 9]', '[2449, 2449, 5*w^3 + 3*w^2 - 18*w - 15]', '[2449, 2449, w^3 - 9*w]', '[2459, 2459, 3*w^3 + 2*w^2 - 9*w - 12]', '[2459, 2459, -5*w^3 + 6*w^2 + 16*w - 5]', '[2459, 2459, 5*w^3 - 10*w^2 - 7*w + 5]', '[2459, 2459, 2*w^3 - 8*w^2 + w + 8]', '[2489, 2489, 4*w^3 - 11*w^2 - w + 10]', '[2489, 2489, -4*w^3 + 4*w^2 + 15*w]', '[2489, 2489, w^3 + w^2 - 10*w - 2]', '[2489, 2489, -4*w^3 + 10*w^2 + 6*w - 15]', '[2501, 2501, 3*w^3 - 9*w^2 + 14]', '[2501, 2501, -3*w^3 - 3*w^2 + 12*w + 4]', '[2501, 2501, 5*w^3 - 7*w^2 - 11*w]', '[2501, 2501, -2*w^3 - 3*w^2 + 11*w + 2]', '[2511, 93, -3*w^3 + 12*w - 3]', '[2511, 93, 3*w^2 - 6*w - 9]', '[2519, 2519, w^3 - 2*w^2 - 3*w - 5]', '[2519, 2519, -w^3 + 2*w^2 + 3*w - 10]', '[2519, 2519, 6*w^3 - 5*w^2 - 12*w + 1]', '[2519, 2519, 7*w^3 - 8*w^2 - 14*w + 5]', '[2521, 2521, -6*w^3 + 3*w^2 + 21*w + 1]', '[2521, 2521, 7*w^3 - 8*w^2 - 14*w + 6]', '[2525, 505, -3*w^3 + 7*w^2 + 9*w - 13]', '[2525, 505, 4*w^3 - 8*w^2 - 11*w + 6]', '[2531, 2531, -5*w^3 + 6*w^2 + 16*w - 8]', '[2531, 2531, -2*w^3 + 4*w^2 + 3*w - 12]', '[2539, 2539, -5*w^3 + w^2 + 11*w + 7]', '[2539, 2539, 9*w^3 - 12*w^2 - 18*w + 11]', '[2539, 2539, 8*w^3 - 12*w^2 - 15*w + 8]', '[2539, 2539, 4*w^3 - 4*w^2 - 11*w - 6]', '[2549, 2549, 8*w^3 - 7*w^2 - 18*w + 6]', '[2549, 2549, 5*w^3 - 5*w^2 - 17*w + 8]', '[2579, 2579, -3*w^3 + 4*w^2 + 6*w - 11]', '[2579, 2579, -2*w^3 + 8*w^2 - 13]', '[2581, 2581, -4*w^3 + 10*w^2 + 5*w - 11]', '[2581, 2581, -w^3 - 5*w^2 + 5*w + 10]', '[2591, 2591, -w^3 - 6*w^2 + 8*w + 7]', '[2591, 2591, -2*w^3 + 9*w^2 - 2*w - 15]', '[2621, 2621, -6*w^3 + 4*w^2 + 19*w - 5]', '[2621, 2621, 7*w^3 - 10*w^2 - 10*w + 7]', '[2641, 2641, -5*w^3 + 10*w^2 + 6*w - 14]', '[2641, 2641, -10*w^3 + 14*w^2 + 22*w - 13]', '[2641, 2641, -5*w^3 + w^2 + 15*w + 1]', '[2641, 2641, 2*w^3 + 2*w^2 - 5*w - 10]', '[2641, 2641, 5*w^3 - 3*w^2 - 19*w + 9]', '[2641, 2641, 2*w^3 - 6*w^2 + 2*w + 9]', '[2641, 2641, 3*w^3 - 3*w^2 - 11*w + 12]', '[2641, 2641, 6*w^3 - 6*w^2 - 11*w + 3]', '[2671, 2671, -6*w^3 + 2*w^2 + 15*w - 1]', '[2671, 2671, -w^3 + 7*w^2 - w - 13]', '[2689, 2689, 7*w^3 - 9*w^2 - 14*w + 1]', '[2689, 2689, 2*w^3 - 7*w^2 + w + 14]', '[2699, 2699, 7*w^3 - 9*w^2 - 18*w + 6]', '[2699, 2699, -6*w^3 + 5*w^2 + 17*w - 8]', '[2704, 26, -8*w^3 + 10*w^2 + 16*w - 8]', '[2704, 26, 6*w^3 - 4*w^2 - 12*w]', '[2711, 2711, 8*w^3 - 9*w^2 - 20*w + 4]', '[2711, 2711, -4*w^3 + w^2 + 14*w - 2]', '[2719, 2719, -5*w^3 + 19*w + 3]', '[2719, 2719, 9*w^3 - 11*w^2 - 19*w + 8]', '[2719, 2719, 8*w^3 - 9*w^2 - 18*w + 1]', '[2719, 2719, -4*w^3 + 5*w^2 + 14*w - 4]', '[2725, 545, -w^3 + w^2 - 3*w + 7]', '[2725, 545, -4*w^2 + 7*w + 9]', '[2725, 545, -3*w^2 - w + 13]', '[2725, 545, 6*w^3 - 6*w^2 - 17*w - 2]', '[2729, 2729, 3*w^2 + 3*w - 8]', '[2729, 2729, 2*w^3 + w^2 - 4*w - 9]', '[2741, 2741, 6*w^2 - 5*w - 11]', '[2741, 2741, 8*w^3 - 9*w^2 - 17*w + 5]', '[2749, 2749, 2*w^3 - 7*w^2 - 5*w + 14]', '[2749, 2749, 4*w^3 + w^2 - 9*w - 8]', '[2749, 2749, 9*w^3 - 8*w^2 - 22*w + 2]', '[2749, 2749, -2*w^3 + 8*w^2 - 4*w - 11]', '[2759, 2759, 2*w^3 - 5*w^2 + w + 9]', '[2759, 2759, 8*w^3 - 2*w^2 - 23*w - 5]', '[2759, 2759, -7*w^3 + 13*w^2 + 7*w - 12]', '[2759, 2759, -4*w^3 + w^2 + 13*w - 2]', '[2761, 2761, 3*w^3 - 9*w^2 - 2*w + 12]', '[2761, 2761, -4*w^3 + 3*w^2 + 15*w - 3]', '[2761, 2761, -2*w^3 + w^2 + 11*w]', '[2761, 2761, -w^3 - 5*w^2 + 6*w + 8]', '[2791, 2791, 7*w^3 - 10*w^2 - 10*w + 6]', '[2791, 2791, -5*w^3 + 7*w^2 + 5*w - 8]', '[2791, 2791, -5*w^3 + 2*w^2 + 18*w - 3]', '[2791, 2791, -2*w^3 - w^2 + 13*w - 1]', '[2801, 2801, 3*w^2 - 2*w - 13]', '[2801, 2801, 4*w^2 - 6*w - 13]', '[2809, 53, -5*w^3 + 2*w^2 + 17*w - 2]', '[2809, 53, 7*w^3 - 8*w^2 - 17*w + 2]', '[2816, 44, -4*w^3 + 8*w^2 + 4*w - 12]', '[2816, 44, 4*w^3 - 12*w]', '[2819, 2819, -6*w^3 + 2*w^2 + 20*w + 1]', '[2819, 2819, 5*w^2 - 12]', '[2819, 2819, -w^3 + 4*w^2 + 4*w - 11]', '[2819, 2819, 5*w^3 - 10*w^2 - 10*w + 8]', '[2831, 2831, -9*w^3 + 14*w^2 + 16*w - 10]', '[2831, 2831, 6*w^3 - w^2 - 14*w - 8]', '[2831, 2831, 5*w^3 - 3*w^2 - 18*w - 1]', '[2831, 2831, -7*w^3 + 5*w^2 + 16*w + 1]', '[2831, 2831, -6*w^3 + 8*w^2 + 13*w - 2]', '[2831, 2831, 5*w^3 - 12*w^2 - 6*w + 17]', '[2831, 2831, -w^3 + 2*w^2 + 4*w - 11]', '[2831, 2831, 3*w^3 - w^2 - 5*w - 7]', '[2861, 2861, 3*w^3 - 9*w^2 - 2*w + 10]', '[2861, 2861, 4*w^3 - 6*w^2 - 14*w + 5]', '[2864, 358, -8*w^3 + 6*w^2 + 20*w - 6]', '[2864, 358, -8*w^3 + 8*w^2 + 18*w - 6]', '[2864, 358, -4*w^3 + 2*w^2 + 16*w - 2]', '[2864, 358, 8*w^3 - 6*w^2 - 16*w - 4]', '[2879, 2879, -3*w^3 + 9*w^2 + 4*w - 14]', '[2879, 2879, -8*w^3 + 9*w^2 + 17*w - 8]', '[2909, 2909, -3*w^3 + 9*w^2 + 5*w - 13]', '[2909, 2909, -3*w^3 - w^2 + 12*w]', '[2909, 2909, 4*w^3 - 7*w^2 - 9*w + 1]', '[2909, 2909, -w^3 + 3*w^2 + 2*w - 12]', '[2929, 2929, 6*w^3 - 3*w^2 - 14*w + 5]', '[2929, 2929, -7*w^3 + 10*w^2 + 12*w - 15]', '[2939, 2939, -8*w^3 + 13*w^2 + 16*w - 12]', '[2939, 2939, -5*w^3 + 7*w^2 + 16*w - 10]', '[2959, 2959, -2*w^3 + 3*w^2 + 9*w + 6]', '[2959, 2959, -4*w^3 + 5*w^2 + 13*w - 15]', '[2959, 2959, 7*w^3 - 9*w^2 - 12*w + 6]', '[2959, 2959, -7*w^3 + 5*w^2 + 16*w]', '[2969, 2969, -8*w^3 + 8*w^2 + 17*w - 8]', '[2969, 2969, -w^3 + 8*w^2 - 5*w - 13]', '[2981, 2981, 9*w^3 - 10*w^2 - 20*w + 6]', '[2981, 2981, -6*w^3 + 5*w^2 + 20*w - 6]', '[2981, 2981, 2*w^3 - w^2 - 6*w - 8]', '[2981, 2981, -6*w^2 + 5*w + 10]', '[2989, 427, 6*w^3 - 6*w^2 - 9*w + 1]', '[2989, 427, -2*w^3 + 8*w^2 + 2*w - 13]', '[2989, 427, 6*w^2 - 5*w - 9]', '[2989, 427, -9*w^3 + 11*w^2 + 19*w - 11]', '[2999, 2999, -6*w^3 + 2*w^2 + 21*w]', '[2999, 2999, w^3 - 5*w^2 + 7*w + 7]', '[3001, 3001, -9*w^3 + 9*w^2 + 21*w - 7]', '[3001, 3001, 6*w^3 - 6*w^2 - 9*w + 4]', '[3011, 3011, 8*w^3 - 11*w^2 - 14*w + 8]', '[3011, 3011, -5*w^3 + 3*w^2 + 14*w - 6]', '[3011, 3011, -3*w^3 + 5*w^2 + 2*w - 10]', '[3011, 3011, 7*w^3 - 4*w^2 - 16*w - 2]', '[3019, 3019, -w^3 + 4*w^2 + w - 14]', '[3019, 3019, -3*w^3 + 9*w^2 + 5*w - 12]', '[3025, 55, -w^3 + w^2 + 2*w - 8]', '[3025, 55, -w^3 + w^2 + 2*w + 7]', '[3025, 605, -6*w^2 + 3*w + 11]', '[3025, 605, 3*w^3 - 9*w^2 - 3*w + 10]', '[3041, 3041, 4*w^3 + w^2 - 11*w - 11]', '[3041, 3041, -5*w^3 - w^2 + 17*w + 5]', '[3041, 3041, -2*w^3 - 5*w^2 + 10*w + 8]', '[3041, 3041, -6*w^3 + 5*w^2 + 18*w - 9]', '[3049, 3049, -6*w^3 + 8*w^2 + 18*w - 9]', '[3049, 3049, 4*w^3 - 9*w^2 - 8*w + 6]', '[3049, 3049, 3*w^3 - 2*w^2 - 6*w - 9]', '[3049, 3049, -5*w^3 + w^2 + 13*w - 1]', '[3056, 382, -2*w^3 + 8*w^2 - 12]', '[3056, 382, -8*w^3 + 8*w^2 + 18*w - 4]', '[3061, 3061, -3*w^3 - 4*w^2 + 12*w + 9]', '[3061, 3061, 2*w^3 - 8*w^2 + 3*w + 13]', '[3061, 3061, -3*w^3 - 3*w^2 + 13*w + 4]', '[3061, 3061, 4*w^3 - 11*w^2 - 2*w + 13]', '[3089, 3089, -3*w^3 + 5*w^2 + 2*w - 11]', '[3089, 3089, -5*w^3 + 5*w^2 + 17*w - 2]', '[3091, 3091, 11*w^3 - 14*w^2 - 23*w + 10]', '[3091, 3091, 2*w^3 + w^2 - 13*w - 3]', '[3091, 3091, 10*w^3 - 12*w^2 - 28*w + 17]', '[3091, 3091, 7*w^3 - 4*w^2 - 13*w - 3]', '[3091, 3091, 2*w^3 - w^2 - 4*w - 9]', '[3091, 3091, 3*w^3 + 5*w^2 - 12*w - 8]', '[3091, 3091, 3*w^3 - 4*w^2 - 6*w - 5]', '[3091, 3091, -3*w^3 + 9*w^2 + 3*w - 13]', '[3121, 3121, w^3 + 6*w^2 - 7*w - 7]', '[3121, 3121, -3*w^3 + 10*w^2 + w - 16]', '[3131, 3131, -w^3 - 6*w^2 + 3*w + 10]', '[3131, 3131, 3*w^3 - 5*w^2 - 12*w + 7]', '[3131, 3131, -5*w^3 + 7*w^2 + 16*w - 7]', '[3131, 3131, -7*w^3 + 14*w^2 + 13*w - 17]', '[3161, 3161, 4*w^3 - 10*w^2 - 3*w + 16]', '[3161, 3161, 6*w^3 - w^2 - 18*w - 3]', '[3161, 3161, 5*w^3 - 10*w^2 - 4*w + 11]', '[3161, 3161, -3*w^3 + 6*w + 8]', '[3169, 3169, -8*w^3 + 7*w^2 + 21*w - 8]', '[3169, 3169, 7*w^3 - 11*w^2 - 16*w + 10]', '[3191, 3191, 7*w^3 - 6*w^2 - 19*w + 8]', '[3191, 3191, 6*w^3 - 7*w^2 - 15*w]', '[3191, 3191, -6*w^3 + 10*w^2 + 13*w - 8]', '[3191, 3191, 7*w^3 - 10*w^2 - 17*w + 8]', '[3209, 3209, 9*w^3 - 12*w^2 - 21*w + 10]', '[3209, 3209, 5*w^3 - 8*w^2 - 10*w]', '[3211, 247, 4*w^3 - 6*w^2 - 13*w - 2]', '[3211, 247, -6*w^3 + 8*w^2 + 14*w - 3]', '[3211, 247, -2*w^3 + 2*w + 7]', '[3211, 247, -3*w^3 + 5*w^2 + 11*w - 15]', '[3221, 3221, 5*w^2 + w - 11]', '[3221, 3221, -8*w^3 + 6*w^2 + 19*w - 2]', '[3229, 3229, 5*w^3 - 7*w^2 - 15*w + 2]', '[3229, 3229, -2*w^3 - 5*w^2 + 11*w + 9]', '[3239, 3239, -7*w^3 + 9*w^2 + 10*w - 7]', '[3239, 3239, 2*w^3 - 12*w + 1]', '[3239, 3239, -w^3 + 7*w^2 - 11]', '[3239, 3239, 7*w^3 - 10*w^2 - 13*w + 3]', '[3251, 3251, -6*w^3 + 5*w^2 + 10*w - 3]', '[3251, 3251, -9*w^3 + 10*w^2 + 20*w - 9]', '[3259, 3259, -3*w^3 + 6*w^2 + 2*w - 13]', '[3259, 3259, 4*w^3 - w^2 - 12*w + 5]', '[3275, 655, -3*w^3 + 6*w^2 + 2*w - 12]', '[3275, 655, 3*w^3 - 7*w^2 + w + 8]', '[3299, 3299, -6*w^3 + 10*w^2 + 12*w - 7]', '[3299, 3299, 5*w^3 - 2*w^2 - 13*w + 4]', '[3299, 3299, 5*w^3 - 8*w^2 - 7*w + 13]', '[3299, 3299, 7*w^3 - 7*w^2 - 18*w - 2]', '[3301, 3301, 5*w^3 - 7*w^2 - 12*w - 1]', '[3301, 3301, 5*w^3 - 6*w^2 - 17*w + 3]', '[3301, 3301, -6*w^3 + 9*w^2 + 7*w - 10]', '[3301, 3301, -8*w^3 + 5*w^2 + 21*w - 3]', '[3319, 3319, -5*w^3 + 7*w^2 + 16*w - 9]', '[3319, 3319, -7*w^3 + 7*w^2 + 13*w]', '[3319, 3319, -9*w^3 + 9*w^2 + 21*w - 5]', '[3319, 3319, -7*w^2 + 7*w + 8]', '[3321, 123, -9*w^3 + 9*w^2 + 21*w - 6]', '[3321, 123, -3*w^3 + 15*w]', '[3344, 418, 2*w^2 + 4*w - 8]', '[3344, 418, 6*w^2 - 4*w - 10]', '[3344, 418, 2*w^3 - 8*w^2 + 10]', '[3344, 418, 6*w^3 - 8*w^2 - 16*w + 4]', '[3361, 3361, 4*w^3 - 11*w + 2]', '[3361, 3361, -6*w^3 + 3*w^2 + 19*w - 2]', '[3371, 3371, 8*w^3 - 10*w^2 - 17*w + 3]', '[3371, 3371, 4*w^2 - 13]', '[3371, 3371, -4*w^3 - w^2 + 17*w + 2]', '[3371, 3371, -5*w^3 + 3*w^2 + 9*w + 6]', '[3376, 422, 4*w^3 - 2*w^2 - 16*w]', '[3376, 422, -2*w^3 + 8*w^2 + 2*w - 10]', '[3379, 3379, 6*w^3 - 14*w^2 - 6*w + 17]', '[3379, 3379, 3*w^3 - w^2 - 14*w + 1]', '[3379, 3379, 3*w^3 - w^2 - 14*w - 1]', '[3379, 3379, -2*w^3 + 3*w^2 + 2*w + 6]', '[3379, 3379, 8*w^3 - 5*w^2 - 26*w]', '[3379, 3379, -7*w^3 - 2*w^2 + 23*w + 14]', '[3379, 3379, 7*w^3 - 16*w^2 - 5*w + 13]', '[3379, 3379, 9*w^3 - 5*w^2 - 23*w - 5]', '[3389, 3389, -2*w^3 - 4*w^2 + 11*w + 3]', '[3389, 3389, w^3 - 8*w^2 + 5*w + 8]', '[3389, 3389, -7*w^3 + 6*w^2 + 14*w + 1]', '[3389, 3389, 8*w^3 - 7*w^2 - 22*w + 8]', '[3391, 3391, 9*w^3 - 10*w^2 - 20*w + 7]', '[3391, 3391, -5*w^3 + 7*w^2 + 16*w - 8]', '[3401, 3401, -3*w^3 + 7*w^2 + 8*w - 16]', '[3401, 3401, -5*w^3 + 6*w^2 + 18*w - 1]', '[3401, 3401, -5*w^3 + 12*w^2 + 3*w - 15]', '[3401, 3401, -6*w^3 + 7*w^2 + 17*w - 1]', '[3401, 3401, -7*w^3 + 7*w^2 + 11*w + 5]', '[3401, 3401, -5*w^3 + 18*w + 3]', '[3401, 3401, -5*w^3 + 12*w^2 + 9*w - 19]', '[3401, 3401, 8*w^3 - 8*w^2 - 22*w - 7]', '[3421, 3421, 5*w^3 - 7*w^2 - 12*w]', '[3421, 3421, 6*w^3 - w^2 - 11*w - 6]', '[3421, 3421, 4*w^3 - 11*w^2 - 7*w + 18]', '[3421, 3421, -4*w^3 + 6*w^2 + 15*w - 3]', '[3449, 3449, 7*w^3 - 8*w^2 - 13*w + 4]', '[3449, 3449, -2*w^3 + 2*w^2 + 3*w - 9]', '[3461, 3461, -5*w^3 + 17*w + 3]', '[3461, 3461, -3*w^3 + 8*w^2 - w - 10]', '[3469, 3469, 8*w^3 - 9*w^2 - 21*w + 4]', '[3469, 3469, -5*w^3 + 3*w^2 + 16*w - 6]', '[3475, 695, -9*w^3 + 10*w^2 + 20*w - 8]', '[3475, 695, 4*w^3 - 3*w^2 - 16*w + 6]', '[3475, 695, w^3 - 3*w^2 - 6*w + 10]', '[3475, 695, -2*w^3 + 8*w^2 + w - 12]', '[3481, 59, 2*w^3 - 2*w^2 - 4*w - 7]', '[3481, 59, 7*w^3 - 7*w^2 - 14*w + 2]', '[3491, 3491, 6*w^3 - 3*w^2 - 15*w + 4]', '[3491, 3491, 4*w^3 - w^2 - 14*w + 3]', '[3499, 3499, -3*w^3 + 5*w^2 - w - 6]', '[3499, 3499, 7*w^3 - 8*w^2 - 16*w - 1]', '[3509, 319, -3*w^3 + w^2 + 14*w]', '[3509, 319, w^3 - 7*w^2 + 2*w + 10]', '[3509, 3509, 8*w^3 - 6*w^2 - 19*w - 1]', '[3509, 3509, 7*w^3 - 9*w^2 - 11*w + 4]', '[3511, 3511, -3*w^3 - 4*w^2 + 12*w + 10]', '[3511, 3511, 4*w^3 - 11*w^2 - 2*w + 12]', '[3539, 3539, -4*w^3 + 4*w^2 + 9*w - 11]', '[3539, 3539, 9*w^3 - 10*w^2 - 22*w + 4]', '[3539, 3539, -4*w^3 + 15*w]', '[3539, 3539, -4*w^3 + 3*w^2 + 10*w + 8]', '[3541, 3541, 3*w^3 - 5*w^2 - 6*w - 4]', '[3541, 3541, w^3 + w^2 - 2*w - 12]', '[3559, 3559, 6*w^3 - 7*w^2 - 15*w - 1]', '[3559, 3559, -7*w^3 + 11*w^2 + 15*w - 9]', '[3581, 3581, 6*w^3 - 7*w^2 - 15*w - 2]', '[3581, 3581, 4*w^3 - 5*w^2 - 15*w + 2]', '[3629, 3629, -7*w^3 + 7*w^2 + 19*w + 1]', '[3629, 3629, -w^3 + 4*w^2 + 4*w - 14]', '[3629, 3629, 4*w^2 - 7*w - 10]', '[3629, 3629, -6*w^3 + 4*w^2 + 20*w - 7]', '[3631, 3631, -5*w^3 + w^2 + 18*w]', '[3631, 3631, -3*w^3 + 15*w + 1]', '[3631, 3631, 3*w^3 - 15*w - 2]', '[3631, 3631, 8*w^3 - 9*w^2 - 19*w + 2]', '[3641, 3641, -5*w^3 + 5*w^2 + 18*w]', '[3641, 3641, -5*w^3 + 8*w^2 + 7*w - 14]', '[3641, 3641, 6*w^3 - w^2 - 14*w + 1]', '[3641, 3641, 2*w^3 - 9*w^2 - w + 17]', '[3649, 3649, -9*w^3 + 11*w^2 + 18*w - 6]', '[3649, 3649, -3*w^3 + 7*w^2 + 9*w - 14]', '[3649, 3649, 4*w^3 - 8*w^2 - 11*w + 5]', '[3649, 3649, 2*w^3 + 5*w^2 - 11*w - 12]', '[3664, 458, 2*w^3 - 6*w^2 + 2*w + 10]', '[3664, 458, 4*w^3 - 14*w]', '[3671, 3671, 7*w^3 - 8*w^2 - 12*w + 2]', '[3671, 3671, -w^3 - 6*w^2 + 8*w + 8]', '[3691, 3691, 3*w^3 + w^2 - 12*w + 1]', '[3691, 3691, -7*w^3 + 5*w^2 + 18*w - 6]', '[3701, 3701, 7*w^3 - 8*w^2 - 17*w + 1]', '[3701, 3701, -6*w^3 + 3*w^2 + 20*w - 3]', '[3709, 3709, 6*w^3 - 8*w^2 - 13*w]', '[3709, 3709, -7*w^3 + 10*w^2 + 16*w - 7]', '[3719, 3719, 4*w^3 - 4*w^2 - 15*w + 6]', '[3719, 3719, -2*w^3 + 3*w^2 + 2*w - 11]', '[3719, 3719, -w^3 + 4*w^2 - 14]', '[3719, 3719, 2*w^3 + 3*w^2 - 5*w - 11]', '[3721, 61, 3*w^3 - 3*w^2 - 6*w - 7]', '[3721, 61, 3*w^3 - 3*w^2 - 6*w + 10]', '[3721, 3721, 5*w^3 - 5*w^2 - 17*w + 6]', '[3721, 3721, -w^3 - 6*w^2 + 9*w + 9]', '[3725, 745, w^3 + 2*w^2 - w - 10]', '[3725, 745, -7*w^3 + 5*w^2 + 15*w + 1]', '[3725, 745, 3*w^3 - 8*w^2 - w + 14]', '[3725, 745, -8*w^3 + 10*w^2 + 15*w - 6]', '[3739, 3739, -5*w^3 + w^2 + 19*w - 1]', '[3739, 3739, -4*w^2 + 9*w + 8]', '[3751, 341, 4*w^3 - 9*w^2 - w + 10]', '[3751, 341, -5*w^3 + 9*w^2 + 5*w - 11]', '[3751, 341, -6*w^3 + 2*w^2 + 17*w]', '[3751, 341, 6*w^3 - w^2 - 19*w - 3]', '[3751, 3751, 5*w^3 - 8*w^2 - 12*w + 4]', '[3751, 3751, -3*w^2 - 2*w + 10]', '[3751, 3751, w^3 - 3*w - 9]', '[3751, 3751, w^3 - 2*w^2 - w - 6]', '[3769, 3769, 5*w^3 - 10*w^2 - 8*w + 5]', '[3769, 3769, 2*w^3 + 3*w^2 - 6*w - 13]', '[3769, 3769, -5*w^3 + w^2 + 15*w]', '[3769, 3769, 4*w^3 - 9*w^2 - 7*w + 4]', '[3799, 3799, -2*w^3 + w^2 + 6]', '[3799, 3799, -w^3 + 6*w^2 + 3*w - 13]', '[3851, 3851, -2*w^3 + 5*w^2 + 7*w - 13]', '[3851, 3851, -3*w^3 + 3*w^2 + 13*w - 5]', '[3851, 3851, 2*w^3 + 5*w^2 - 11*w - 11]', '[3851, 3851, -5*w^3 + 2*w^2 + 10*w + 7]', '[3871, 553, w^3 - 6*w^2 + 4*w + 14]', '[3871, 553, 4*w^3 + w^2 - 10*w - 10]', '[3871, 553, 2*w^2 + 3*w - 10]', '[3871, 553, -w^3 + 3*w^2 - 12]', '[3889, 3889, -6*w^3 + w^2 + 20*w + 3]', '[3889, 3889, -3*w^3 + 8*w^2 - 2*w - 9]', '[3929, 3929, 3*w^2 - 7*w - 9]', '[3929, 3929, 4*w^3 - w^2 - 15*w + 4]', '[3949, 3949, -5*w^3 + 6*w^2 + 4*w - 7]', '[3949, 3949, 10*w^3 - 9*w^2 - 26*w + 9]', '[3949, 3949, -w^3 + 3*w^2 - 4*w - 11]', '[3949, 3949, 5*w^3 - 3*w^2 - 16*w + 9]', '[3969, 21, -3*w^3 - 3*w^2 + 12*w + 3]', '[3969, 21, -3*w^3 + 9*w^2 - 15]', '[3971, 209, -5*w^3 + 2*w^2 + 17*w - 3]', '[3971, 209, 7*w^3 - 6*w^2 - 19*w + 9]', '[3971, 209, -3*w^3 + 4*w^2 + w - 8]', '[3971, 209, w^3 - 4*w^2 + 5*w + 8]', '[3971, 3971, 8*w^3 - 10*w^2 - 15*w + 8]', '[3971, 3971, 2*w^3 - 2*w^2 - 11*w + 2]', '[3971, 3971, -5*w^3 + 5*w^2 + 17*w - 5]', '[3971, 3971, -7*w^3 + 5*w^2 + 15*w - 1]', '[4001, 4001, -8*w^3 + 10*w^2 + 15*w - 7]', '[4001, 4001, 7*w^3 - 5*w^2 - 15*w]', '[4001, 4001, -2*w^2 - 5*w + 8]', '[4001, 4001, 7*w^3 - 9*w^2 - 19*w + 5]', '[4009, 4009, 3*w^3 - 9*w^2 + w + 13]', '[4009, 4009, -5*w^3 + 3*w^2 + 16*w - 7]', '[4009, 4009, 6*w^3 - 20*w - 5]', '[4009, 4009, -2*w^3 + 3*w^2 - 2*w - 7]', '[4016, 502, 6*w^3 - 8*w^2 - 14*w + 2]', '[4016, 502, 2*w^3 - 2*w - 8]', '[4019, 4019, 5*w^3 - 3*w^2 - 19*w + 4]', '[4019, 4019, -8*w^3 + 7*w^2 + 18*w - 4]', '[4021, 4021, -3*w^3 - w^2 + 11*w - 3]', '[4021, 4021, 3*w^3 - 2*w^2 - 14*w + 5]', '[4031, 4031, 6*w^3 - 10*w^2 - 8*w + 13]', '[4031, 4031, -7*w^3 + 8*w^2 + 21*w - 9]', '[4031, 4031, -2*w^3 + 3*w^2 + 4*w - 11]', '[4031, 4031, 9*w^3 - 12*w^2 - 17*w + 10]', '[4049, 4049, -8*w^3 + 9*w^2 + 16*w - 8]', '[4049, 4049, 7*w^3 - 6*w^2 - 14*w + 4]', '[4061, 4061, -2*w^3 + 6*w^2 - 3*w + 4]', '[4061, 4061, 7*w^3 - 6*w^2 - 14*w]', '[4061, 4061, -3*w^3 + 4*w^2 + 7*w - 12]', '[4061, 4061, -9*w^3 + 6*w^2 + 22*w - 1]', '[4079, 4079, -w^3 - w^2 + 6*w + 11]', '[4079, 4079, 6*w^3 - 9*w^2 - 16*w + 6]', '[4091, 4091, -4*w^3 + w^2 + 13*w - 5]', '[4091, 4091, -2*w^3 + w^2 + 12*w - 4]', '[4096, 8, 8]', '[4099, 4099, -8*w^3 + 9*w^2 + 24*w - 6]', '[4099, 4099, 9*w^3 - 9*w^2 - 23*w + 1]', '[4129, 4129, 2*w^3 - 10*w^2 + 4*w + 15]', '[4129, 4129, -2*w^3 - 6*w^2 + 12*w + 9]', '[4139, 4139, -10*w^3 + 9*w^2 + 24*w - 1]', '[4139, 4139, -11*w^3 + 12*w^2 + 25*w - 6]', '[4141, 4141, 5*w^3 - 9*w^2 - 9*w + 1]', '[4141, 4141, -8*w^3 + 11*w^2 + 13*w - 7]', '[4141, 4141, w^3 - w^2 + w + 9]', '[4141, 4141, 3*w^3 - 8*w^2 - 7*w + 3]', '[4159, 4159, -5*w^3 + 5*w^2 + 13*w - 13]', '[4159, 4159, -2*w^3 + 2*w^2 + w - 10]', '[4169, 4169, 7*w^3 - 8*w^2 - 12*w + 3]', '[4169, 4169, 3*w^3 - 3*w^2 - 10*w - 7]', '[4169, 4169, -w^3 + w^2 + 6*w - 11]', '[4169, 4169, 8*w^3 - 7*w^2 - 18*w + 1]', '[4211, 4211, -7*w^3 + 7*w^2 + 12*w - 6]', '[4211, 4211, -7*w^3 + 6*w^2 + 12*w + 1]', '[4211, 4211, -9*w^3 + 9*w^2 + 20*w - 8]', '[4211, 4211, -10*w^3 + 11*w^2 + 22*w - 5]', '[4219, 4219, 3*w^3 - 10*w^2 - 4*w + 17]', '[4219, 4219, -9*w^3 + 11*w^2 + 18*w - 11]', '[4225, 65, -2*w^3 + 3*w^2 + 6*w - 12]', '[4225, 65, -w^3 + 2*w^2 + 4*w + 6]', '[4231, 4231, w^3 + 7*w^2 - 11*w - 14]', '[4231, 4231, -9*w^3 + 10*w^2 + 19*w - 10]', '[4241, 4241, -3*w^3 - 3*w^2 + 16*w + 3]', '[4241, 4241, -w^3 - 5*w^2 + 12*w + 11]', '[4241, 4241, 3*w^3 + 2*w^2 - 7*w - 10]', '[4241, 4241, 9*w^3 - 7*w^2 - 22*w]', '[4259, 4259, -4*w^3 + 9*w^2 + 4*w - 17]', '[4259, 4259, 9*w^3 - 11*w^2 - 21*w + 6]', '[4259, 4259, -4*w^3 + 3*w^2 + 17*w + 3]', '[4259, 4259, -5*w^3 + w^2 + 17*w]', '[4261, 4261, 6*w^3 - 7*w^2 - 16*w - 3]', '[4261, 4261, 5*w^3 - 6*w^2 - 17*w + 4]', '[4271, 4271, 9*w^3 - 14*w^2 - 20*w + 14]', '[4271, 4271, -8*w^3 + 6*w^2 + 21*w - 6]', '[4279, 4279, -2*w^3 - 2*w^2 + 5*w + 13]', '[4279, 4279, -2*w^3 + 7*w^2 - 3*w - 11]', '[4279, 4279, 7*w^3 - 5*w^2 - 23*w + 8]', '[4279, 4279, -7*w^3 + 7*w^2 + 19*w + 2]', '[4289, 4289, 5*w^3 - 7*w^2 - 17*w + 5]', '[4289, 4289, 4*w^3 - 11*w^2 - 3*w + 11]', '[4304, 538, 6*w^3 - 12*w^2 - 6*w + 14]', '[4304, 538, 6*w^3 - 18*w - 4]', '[4309, 4309, -7*w^3 + 6*w^2 + 21*w - 10]', '[4309, 4309, 10*w^3 - 17*w^2 - 16*w + 13]', '[4309, 4309, -7*w^3 + 8*w^2 + 19*w - 2]', '[4309, 4309, 4*w^3 - 4*w^2 - 15*w + 4]', '[4309, 4309, -w^3 + 6*w^2 - 4*w - 15]', '[4309, 4309, -w^3 + 3*w^2 + 6*w - 11]', '[4309, 4309, -w^3 - 2*w^2 + w + 11]', '[4309, 4309, 7*w^3 - 15*w^2 - 9*w + 15]', '[4321, 4321, w^3 - 5*w^2 - 3*w + 14]', '[4321, 4321, -3*w^3 + 7*w^2 + w - 12]', '[4321, 4321, -4*w^3 + 3*w^2 + 16*w - 5]', '[4321, 4321, -3*w^3 + 2*w^2 + 14*w + 1]', '[4336, 542, -6*w^3 + 2*w^2 + 20*w]', '[4336, 542, 8*w^3 - 10*w^2 - 18*w + 4]', '[4339, 4339, 5*w^3 - 12*w^2 - 8*w + 18]', '[4339, 4339, -7*w^2 + 2*w + 8]', '[4349, 4349, -8*w^3 + 6*w^2 + 20*w - 7]', '[4349, 4349, w^3 + 6*w^2 - 5*w - 12]', '[4349, 4349, w^3 - 7*w^2 + 7*w + 11]', '[4349, 4349, 9*w^3 - 11*w^2 - 22*w + 7]', '[4351, 4351, -2*w^3 - 5*w^2 + 10*w + 10]', '[4351, 4351, 4*w^3 - 2*w^2 - 17*w + 4]', '[4351, 4351, -3*w^3 + w^2 + 15*w + 3]', '[4351, 4351, -3*w^3 + 10*w^2 - 12]', '[4361, 623, -7*w^3 + 13*w^2 + 13*w - 11]', '[4361, 623, 7*w^3 - 11*w^2 - 13*w + 6]', '[4361, 623, -5*w^3 + 2*w^2 + 20*w - 2]', '[4361, 623, 5*w^3 - 5*w^2 - 18*w + 9]', '[4391, 4391, -4*w^3 + 11*w^2 + 7*w - 17]', '[4391, 4391, 2*w^3 - 9*w^2 - 3*w + 10]', '[4400, 110, -6*w^3 + 4*w^2 + 18*w - 6]', '[4400, 110, 2*w^3 - 4*w^2 + 2*w + 8]', '[4409, 4409, -w^3 - 7*w^2 + 9*w + 8]', '[4409, 4409, -2*w^3 + 10*w^2 - 3*w - 17]', '[4409, 4409, -5*w^3 + w^2 + 21*w]', '[4409, 4409, -2*w^3 - 2*w^2 + 15*w + 5]', '[4451, 4451, 2*w^3 - 9*w^2 + 2*w + 9]', '[4451, 4451, -6*w^3 + 7*w^2 + 19*w - 6]', '[4469, 4469, 7*w^3 - 9*w^2 - 9*w + 5]', '[4469, 4469, -7*w^3 + 4*w^2 + 22*w - 3]', '[4469, 4469, 4*w^3 + w^2 - 11*w + 1]', '[4469, 4469, w^3 - 8*w^2 + w + 8]', '[4469, 4469, 4*w^3 - 4*w^2 - 12*w - 7]', '[4469, 4469, 10*w^3 - 8*w^2 - 25*w + 2]', '[4469, 4469, -7*w^3 + 4*w^2 + 18*w - 4]', '[4469, 4469, -7*w^3 + 4*w^2 + 24*w]', '[4475, 895, -4*w^3 + 7*w^2 + 4*w - 15]', '[4475, 895, -2*w^3 + 4*w^2 + 3*w - 13]', '[4475, 895, -2*w^3 + 9*w^2 - 2*w - 13]', '[4475, 895, -6*w^3 + 7*w^2 + 14*w + 6]', '[4481, 4481, -8*w^3 + 10*w^2 + 23*w - 11]', '[4481, 4481, w^3 - 3*w^2 - 9*w + 4]', '[4489, 67, 6*w^3 - 8*w^2 - 17*w + 3]', '[4489, 67, -9*w^3 + 8*w^2 + 20*w - 7]', '[4496, 562, -6*w^3 + 2*w^2 + 22*w - 2]', '[4496, 562, -4*w^2 + 10*w + 8]', '[4496, 562, -6*w^3 + 6*w^2 + 20*w - 2]', '[4496, 562, 6*w^3 - 8*w^2 - 14*w - 2]', '[4499, 4499, 3*w^3 - 2*w^2 - 3*w - 7]', '[4499, 4499, -w^3 + 4*w^2 - 7*w - 7]', '[4499, 4499, 3*w^3 + 2*w^2 - 14*w - 1]', '[4499, 4499, 5*w^3 - 8*w^2 - 11*w]', '[4519, 4519, 8*w^3 - 9*w^2 - 18*w - 1]', '[4519, 4519, -w^3 + 3*w^2 + 9*w - 3]', '[4519, 4519, -8*w^3 + 10*w^2 + 23*w - 12]', '[4519, 4519, -4*w^3 + 10*w^2 + 3*w - 17]', '[4549, 4549, 8*w^3 - 7*w^2 - 25*w + 2]', '[4549, 4549, 9*w^3 - 12*w^2 - 23*w + 10]', '[4549, 4549, 5*w^3 - w^2 - 12*w - 10]', '[4549, 4549, -9*w^3 + 7*w^2 + 21*w - 4]', '[4561, 4561, w^3 - 8*w^2 + 6*w + 16]', '[4561, 4561, -2*w^3 - 5*w^2 + 12*w + 4]', '[4619, 4619, -3*w^3 - w^2 + 16*w - 5]', '[4619, 4619, -4*w^3 + 11*w^2 + 3*w - 13]', '[4619, 4619, -w^3 + 6*w^2 - 5*w - 12]', '[4619, 4619, -6*w^3 + 4*w^2 + 21*w + 1]', '[4619, 4619, 2*w^3 - 3*w^2 - 7*w + 13]', '[4619, 4619, -3*w^3 - 2*w^2 + 13*w + 1]', '[4619, 4619, 10*w^3 - 8*w^2 - 25*w + 1]', '[4619, 4619, 3*w^3 + w^2 - 16*w - 11]', '[4621, 4621, -3*w^3 - 4*w^2 + 15*w + 5]', '[4621, 4621, -w^3 + 8*w^2 - 7*w - 14]', '[4631, 4631, 9*w^3 - 14*w^2 - 19*w + 13]', '[4631, 4631, w^3 + 2*w^2 + w - 8]', '[4631, 4631, -3*w^3 + 6*w + 10]', '[4631, 4631, -6*w^3 + 7*w^2 + 16*w + 2]', '[4639, 4639, -2*w^3 + 7*w^2 - 6*w - 8]', '[4639, 4639, -7*w^3 + 2*w^2 + 24*w + 2]', '[4639, 4639, 9*w^3 - 9*w^2 - 22*w - 1]', '[4639, 4639, -5*w^3 + 20*w + 1]', '[4651, 4651, -10*w^3 + 13*w^2 + 20*w - 13]', '[4651, 4651, -3*w^3 + 3*w^2 + 9*w + 7]', '[4679, 4679, 6*w^3 - 3*w^2 - 22*w + 1]', '[4679, 4679, -w^3 - 2*w^2 + 12*w + 3]', '[4691, 4691, -10*w^3 + 12*w^2 + 20*w - 5]', '[4691, 4691, -9*w^3 + 8*w^2 + 24*w - 9]', '[4691, 4691, -2*w^3 - 4*w^2 + 11*w + 2]', '[4691, 4691, -2*w^3 + 9*w^2 + 3*w - 14]', '[4729, 4729, -4*w^3 + 15*w - 1]', '[4729, 4729, 4*w^3 - 8*w^2 - 9*w + 1]', '[4741, 4741, -3*w^3 + 2*w^2 + 14*w - 4]', '[4741, 4741, w^3 - 8*w^2 - w + 12]', '[4741, 4741, -5*w^3 + 7*w^2 + 6*w - 11]', '[4741, 4741, -3*w^3 + 2*w^2 - 7]', '[4741, 4741, -9*w^3 + 12*w^2 + 25*w - 15]', '[4741, 4741, 10*w^3 - 11*w^2 - 26*w + 17]', '[4741, 4741, -7*w^2 + 4*w + 8]', '[4741, 4741, 7*w^3 - 5*w^2 - 18*w + 7]', '[4751, 4751, 9*w^3 - 13*w^2 - 17*w + 7]', '[4751, 4751, 3*w^3 + 4*w^2 - 16*w - 5]', '[4751, 4751, 4*w^3 - 9*w^2 - 10*w + 6]', '[4751, 4751, -6*w^3 + 2*w^2 + 13*w + 8]', '[4759, 4759, 5*w^3 - 2*w^2 - 14*w + 5]', '[4759, 4759, -4*w^3 + 7*w^2 + 4*w - 13]', '[4769, 4769, 3*w^3 - 3*w^2 - 8*w - 7]', '[4769, 4769, -9*w^3 + 12*w^2 + 16*w - 7]', '[4769, 4769, 8*w^3 - 5*w^2 - 18*w - 3]', '[4769, 4769, -w^3 + w^2 + 9]', '[4775, 955, -5*w^3 + 4*w^2 + 18*w - 4]', '[4775, 955, 2*w^2 - w - 12]', '[4799, 4799, -5*w^3 + 4*w^2 + 19*w + 2]', '[4799, 4799, -7*w^3 + 3*w^2 + 22*w]', '[4801, 4801, 7*w^2 - 6*w - 13]', '[4801, 4801, -3*w^3 + 5*w^2 + 6*w - 14]', '[4801, 4801, 9*w^3 - 10*w^2 - 19*w + 5]', '[4801, 4801, -6*w^3 + 7*w^2 + 19*w - 8]', '[4819, 4819, 6*w^3 - 8*w^2 - 19*w + 7]', '[4819, 4819, -7*w^3 + 6*w^2 + 20*w - 10]', '[4819, 4819, 8*w^3 - 10*w^2 - 21*w + 6]', '[4819, 4819, -10*w^3 + 13*w^2 + 20*w - 11]', '[4831, 4831, -6*w^3 + 2*w^2 + 21*w - 1]', '[4831, 4831, 8*w^3 - 9*w^2 - 19*w + 1]', '[4861, 4861, 5*w^2 + w - 12]', '[4861, 4861, 6*w^3 - 11*w^2 - 13*w + 9]', '[4864, 76, -4*w^3 + 8*w + 8]', '[4864, 76, 8*w^3 - 12*w^2 - 16*w + 8]', '[4889, 4889, 5*w^3 - 2*w^2 - 14*w + 6]', '[4889, 4889, -4*w^3 + 7*w^2 + 4*w - 14]', '[4901, 377, -w^3 - 6*w^2 + 5*w + 9]', '[4901, 377, -5*w^3 + 12*w^2 + 7*w - 16]', '[4909, 4909, -9*w^3 + 11*w^2 + 18*w - 8]', '[4909, 4909, -7*w^3 + 9*w^2 + 21*w - 9]', '[4919, 4919, 6*w^3 - 8*w^2 - 7*w + 10]', '[4919, 4919, -2*w^3 - w^2 + 14*w - 2]', '[4931, 4931, -9*w^3 + 6*w^2 + 26*w - 3]', '[4931, 4931, 8*w^3 - 3*w^2 - 23*w - 2]', '[4931, 4931, 7*w^3 - 5*w^2 - 13*w - 1]', '[4931, 4931, -3*w^3 + 7*w^2 + 10*w - 14]', '[4939, 4939, -3*w^3 - w^2 + 14*w - 3]', '[4939, 4939, 6*w^3 - 11*w^2 - 9*w + 19]', '[4939, 4939, 3*w^3 - 6*w^2 + 2*w + 7]', '[4939, 4939, -7*w^3 + 3*w^2 + 18*w - 2]', '[4941, 183, 6*w^3 - 9*w^2 - 12*w]', '[4941, 183, -9*w^3 + 12*w^2 + 21*w - 9]', '[4949, 707, w^3 - 8*w^2 + 9]', '[4949, 707, 3*w^3 + 3*w^2 - 9*w - 14]', '[4949, 707, 6*w^3 - 12*w^2 - 9*w + 7]', '[4949, 707, -4*w^3 + 11*w^2 + 6*w - 17]', '[4951, 4951, -7*w^3 + 9*w^2 + 21*w - 12]', '[4951, 4951, -2*w^3 + 4*w^2 + 11*w - 3]', '[4961, 451, -2*w^3 - 6*w^2 + 13*w + 11]', '[4961, 451, 3*w^3 - 4*w^2 - 13*w + 3]', '[4961, 451, 5*w^3 - 6*w^2 - 17*w + 8]', '[4961, 451, -w^3 + 9*w^2 - 7*w - 12]', '[4961, 4961, -7*w^3 + 7*w^2 + 12*w - 5]', '[4961, 4961, -8*w^3 + 5*w^2 + 18*w - 1]', '[4961, 4961, -9*w^3 + 12*w^2 + 16*w - 11]', '[4961, 4961, -9*w^3 + 9*w^2 + 20*w - 7]', '[4969, 4969, -9*w^3 + 9*w^2 + 19*w - 9]', '[4969, 4969, -w^3 + 9*w^2 - 6*w - 15]', '[4976, 622, -2*w^3 + 14*w + 4]', '[4976, 622, 6*w^2 - 14]', '[4999, 4999, -4*w^3 - w^2 + 17*w + 1]', '[4999, 4999, -w^3 + 6*w^2 + 2*w - 16]', '[5009, 5009, -3*w^3 - 3*w^2 + 14*w + 3]', '[5009, 5009, 6*w^3 - 9*w^2 - 12*w + 1]', '[5011, 5011, 10*w^3 - 12*w^2 - 23*w + 6]', '[5011, 5011, -9*w^3 + 11*w^2 + 18*w - 9]', '[5011, 5011, -5*w^3 + 18*w + 2]', '[5011, 5011, 7*w^3 - 5*w^2 - 14*w + 1]', '[5021, 5021, -6*w^3 + 4*w^2 + 17*w - 7]', '[5021, 5021, -10*w^3 + 11*w^2 + 21*w - 3]', '[5021, 5021, -5*w^3 + 17*w + 2]', '[5021, 5021, -8*w^3 + 7*w^2 + 15*w + 2]', '[5039, 5039, -2*w^3 + 8*w^2 - 2*w - 17]', '[5039, 5039, 10*w^3 - 7*w^2 - 25*w + 1]', '[5039, 5039, -8*w^3 + 7*w^2 + 17*w - 5]', '[5039, 5039, 8*w^3 - 8*w^2 - 23*w]', '[5041, 71, -w^3 + 9*w^2 - 5*w - 17]', '[5041, 71, 8*w^3 - 7*w^2 - 25*w + 6]', '[5051, 5051, -2*w^3 + 9*w + 11]', '[5051, 5051, 7*w^3 - 10*w^2 - 18*w + 7]', '[5051, 5051, -10*w^3 + 10*w^2 + 22*w - 1]', '[5051, 5051, -8*w^3 + 8*w^2 + 14*w + 1]', '[5071, 5071, -9*w^3 + 7*w^2 + 25*w - 6]', '[5071, 5071, -3*w^3 + 5*w^2 + 14*w - 1]', '[5071, 5071, 2*w^3 - 9*w^2 - 2*w + 15]', '[5071, 5071, -3*w^2 + 7*w + 11]', '[5099, 5099, 6*w^3 - 7*w^2 - 17*w - 1]', '[5099, 5099, -10*w^3 + 9*w^2 + 24*w - 5]', '[5099, 5099, 6*w^3 - 8*w^2 - 14*w - 1]', '[5099, 5099, 5*w^3 - 6*w^2 - 18*w + 2]', '[5101, 5101, -4*w^3 + 19*w]', '[5101, 5101, -4*w^3 + 6*w^2 + 7*w - 15]', '[5104, 638, -8*w^3 + 12*w^2 + 18*w - 10]', '[5104, 638, -2*w^3 - 2*w^2 + 2*w + 8]', '[5111, 5111, -w^3 - 6*w^2 + 8*w + 11]', '[5111, 5111, 5*w^3 - 3*w^2 - 22*w + 11]', '[5111, 5111, 5*w^3 - 3*w^2 - 22*w - 7]', '[5111, 5111, 2*w^3 - 9*w^2 + 2*w + 11]', '[5119, 5119, -8*w^3 + 5*w^2 + 20*w - 5]', '[5119, 5119, 7*w^3 - 10*w^2 - 10*w + 13]', '[5149, 5149, -3*w^3 + 11*w^2 - w - 16]', '[5149, 5149, 9*w^3 - 7*w^2 - 21*w - 2]', '[5149, 5149, -w^2 - 3*w + 13]', '[5149, 5149, -6*w^3 + 2*w^2 + 23*w + 5]', '[5171, 5171, -w^3 - 3*w^2 + 12*w + 9]', '[5171, 5171, 7*w^3 - 11*w^2 - 11*w + 16]', '[5171, 5171, w^3 - 2*w^2 + w + 11]', '[5171, 5171, 9*w^3 - 10*w^2 - 23*w + 4]', '[5179, 5179, 9*w^3 - 10*w^2 - 22*w + 3]', '[5179, 5179, -5*w^3 + w^2 + 18*w - 1]', '[5189, 5189, -6*w^3 + w^2 + 21*w + 2]', '[5189, 5189, 9*w^3 - 11*w^2 - 20*w + 4]', '[5191, 5191, -3*w^3 + 10*w^2 + 4*w - 16]', '[5191, 5191, -3*w^3 - 6*w^2 + 15*w + 10]', '[5191, 5191, -2*w^3 + 9*w^2 + 5*w - 17]', '[5191, 5191, w^2 + w - 11]', '[5209, 5209, 5*w^2 - 7*w - 15]', '[5209, 5209, -2*w^3 + 4*w^2 + 9*w - 13]', '[5225, 1045, -6*w^3 + 11*w^2 + 12*w - 8]', '[5225, 1045, -4*w^3 + 3*w^2 + 16*w - 1]', '[5225, 1045, 3*w^3 - 2*w^2 - 14*w + 3]', '[5225, 1045, -w^3 - 4*w^2 + 2*w + 12]', '[5231, 5231, -2*w^3 + 3*w^2 + 12*w - 7]', '[5231, 5231, 7*w^3 - 8*w^2 - 22*w + 5]', '[5239, 403, 3*w^3 - 6*w^2 + w + 8]', '[5239, 403, -8*w^3 + 15*w^2 + 10*w - 17]', '[5239, 403, -7*w^3 + 4*w^2 + 21*w - 3]', '[5239, 403, 7*w^3 - 20*w - 5]', '[5261, 5261, 7*w^3 - 8*w^2 - 17*w - 2]', '[5261, 5261, -8*w^3 + 12*w^2 + 17*w - 9]', '[5269, 5269, -w^3 - 4*w^2 + 3*w + 14]', '[5269, 5269, -w^3 + 2*w^2 + 8*w - 11]', '[5269, 5269, -6*w^3 + 7*w^2 + 18*w + 1]', '[5269, 5269, 5*w^3 - 10*w^2 - 9*w + 5]', '[5275, 1055, -7*w^2 + 6*w + 12]', '[5275, 1055, -3*w^3 + 4*w^2 + 13*w - 5]', '[5281, 5281, 10*w^3 - 10*w^2 - 23*w + 4]', '[5281, 5281, 7*w^3 - 7*w^2 - 11*w + 1]', '[5296, 662, 2*w^3 + 4*w^2 - 6*w - 14]', '[5296, 662, 2*w^3 - 2*w^2 - 2*w + 10]', '[5309, 5309, 6*w^3 - 12*w^2 - 11*w + 9]', '[5309, 5309, -w^3 - 2*w^2 + 11*w + 9]', '[5339, 5339, 5*w^3 - 7*w^2 - 8*w - 5]', '[5339, 5339, -5*w^3 - 5*w^2 + 19*w + 11]', '[5339, 5339, -6*w^3 + 16*w^2 + 3*w - 20]', '[5339, 5339, -6*w^3 + 9*w^2 + 17*w - 22]', '[5339, 5339, -10*w^3 + 5*w^2 + 22*w + 7]', '[5339, 5339, -6*w^3 + w^2 + 24*w + 4]', '[5339, 5339, -9*w^3 + 9*w^2 + 20*w - 4]', '[5339, 5339, w^3 + 4*w^2 - 14*w - 4]', '[5341, 763, -6*w^3 + 19*w + 4]', '[5341, 763, 8*w^3 - 9*w^2 - 20*w + 2]', '[5341, 763, -w^3 + 4*w^2 + w - 15]', '[5341, 763, 5*w^3 - 7*w^2 - 17*w + 6]', '[5341, 763, 3*w^3 - 10*w^2 - w + 11]', '[5341, 763, -4*w^3 + 11*w^2 + 7*w - 15]', '[5341, 763, 6*w^3 - 3*w^2 - 20*w + 4]', '[5341, 763, 5*w^3 - 11*w^2 - 3*w + 13]', '[5351, 5351, -3*w^3 - 4*w^2 + 13*w + 4]', '[5351, 5351, 3*w^3 - 10*w^2 + w + 17]', '[5371, 5371, 7*w^3 - 12*w^2 - 12*w + 7]', '[5371, 5371, 9*w^3 - 13*w^2 - 22*w + 12]', '[5371, 5371, -8*w^3 + 7*w^2 + 21*w - 10]', '[5371, 5371, -6*w^3 + 9*w^2 + 17*w - 5]', '[5381, 5381, 10*w^3 - 12*w^2 - 25*w + 8]', '[5381, 5381, 2*w^3 - 8*w^2 + 5*w + 11]', '[5381, 5381, -9*w^3 + 8*w^2 + 23*w - 10]', '[5381, 5381, 9*w^3 - 11*w^2 - 19*w + 2]', '[5401, 5401, -8*w^3 + 6*w^2 + 17*w + 2]', '[5401, 5401, 3*w^3 - 4*w^2 - 6*w - 6]', '[5401, 5401, -2*w^3 + w^2 + 4*w + 10]', '[5401, 5401, 9*w^3 - 11*w^2 - 17*w + 5]', '[5419, 5419, 10*w^3 - 9*w^2 - 24*w + 3]', '[5419, 5419, -9*w^3 + 9*w^2 + 20*w - 6]', '[5419, 5419, -5*w^3 + 2*w^2 + 20*w - 1]', '[5419, 5419, -6*w^3 + 8*w^2 + 19*w - 11]', '[5429, 5429, -8*w^3 + 9*w^2 + 24*w - 7]', '[5429, 5429, 9*w^3 - 12*w^2 - 16*w + 8]', '[5429, 5429, 4*w^3 - 11*w^2 - 6*w + 13]', '[5429, 5429, -w^3 + 8*w^2 - 13]', '[5431, 5431, -2*w^3 + 5*w^2 + 4*w - 16]', '[5431, 5431, -3*w^3 + 10*w^2 + 5*w - 14]', '[5441, 5441, 11*w^3 - 11*w^2 - 26*w + 5]', '[5441, 5441, -w^3 + 8*w^2 - 4*w - 11]', '[5449, 5449, 8*w^3 - 13*w^2 - 14*w + 8]', '[5449, 5449, -5*w^3 + 12*w + 10]', '[5456, 682, 2*w^2 - 2*w - 12]', '[5456, 682, -4*w^2 + 8*w + 10]', '[5456, 682, -4*w^3 + 16*w - 2]', '[5456, 682, 2*w^2 - 2*w + 6]', '[5471, 5471, -10*w^3 + 9*w^2 + 24*w - 4]', '[5471, 5471, -3*w^3 - w^2 + 17*w]', '[5479, 5479, 3*w^3 - 10*w^2 + 2*w + 15]', '[5479, 5479, -2*w^3 + 3*w^2 - 3*w - 7]', '[5489, 5489, -7*w^3 + 7*w^2 + 22*w - 7]', '[5489, 5489, -4*w^3 + 4*w^2 + 2*w - 7]', '[5489, 5489, 6*w^3 - 4*w^2 - 17*w + 8]', '[5489, 5489, -3*w^3 + 5*w^2 + w - 11]', '[5489, 5489, w^3 - 2*w^2 - 2*w + 11]', '[5489, 5489, 10*w^3 - 10*w^2 - 26*w + 13]', '[5489, 5489, -13*w^3 + 17*w^2 + 28*w - 17]', '[5489, 5489, -w^3 - 6*w^2 + 6*w + 11]', '[5521, 5521, -8*w^3 + 5*w^2 + 17*w + 3]', '[5521, 5521, -3*w^3 + 5*w^2 + w - 12]', '[5531, 5531, -9*w^3 + 12*w^2 + 16*w - 10]', '[5531, 5531, 5*w^3 - 11*w^2 - 10*w + 8]', '[5539, 5539, -9*w^3 + 10*w^2 + 19*w - 7]', '[5539, 5539, -2*w^3 + 9*w^2 - 15]', '[5549, 5549, -9*w^3 + 9*w^2 + 23*w]', '[5549, 5549, w^3 - w^2 + 4*w - 10]', '[5549, 5549, -9*w^3 + 5*w^2 + 25*w - 1]', '[5549, 5549, -6*w^3 + 11*w^2 + 8*w - 16]', '[5549, 5549, -11*w^3 + 7*w^2 + 27*w - 2]', '[5549, 5549, -5*w^3 + 7*w^2 + 10*w - 16]', '[5549, 5549, 9*w^3 + 2*w^2 - 31*w - 13]', '[5549, 5549, 2*w^3 - 9*w^2 + 10*w + 9]', '[5591, 5591, -10*w^3 + 11*w^2 + 22*w - 10]', '[5591, 5591, -4*w^3 + 11*w^2 + 6*w - 16]', '[5591, 5591, 3*w^3 - 4*w^2 - 8*w - 6]', '[5591, 5591, 3*w^3 - 10*w^2 - 3*w + 11]', '[5599, 5599, -7*w^2 + 5*w + 13]', '[5599, 5599, 8*w^3 - 7*w^2 - 24*w + 11]', '[5599, 5599, -w^3 + 6*w^2 + 2*w - 17]', '[5599, 5599, -3*w^3 + 7*w^2 - 11]', '[5599, 5599, 7*w^3 - 8*w^2 - 19*w + 1]', '[5599, 5599, 10*w^3 - 12*w^2 - 21*w + 9]', '[5599, 5599, w^3 - w^2 - 3*w - 8]', '[5599, 5599, -9*w^3 + 9*w^2 + 27*w - 10]', '[5641, 5641, w^3 + 7*w^2 - 10*w - 15]', '[5641, 5641, w^3 - 9*w^2 + 6*w + 9]', '[5669, 5669, -5*w^3 + w^2 + 11*w + 9]', '[5669, 5669, 8*w^3 - 12*w^2 - 15*w + 6]', '[5689, 5689, 6*w^3 - 9*w^2 - 16*w + 5]', '[5689, 5689, -2*w^3 - w^2 + 9*w + 13]', '[5689, 5689, 5*w^3 - 11*w^2 - 9*w + 7]', '[5689, 5689, -6*w^3 + w^2 + 16*w]', '[5699, 5699, 7*w^3 - 5*w^2 - 24*w + 5]', '[5699, 5699, -10*w^3 + 12*w^2 + 21*w - 11]', '[5699, 5699, -6*w^3 + 3*w^2 + 22*w + 1]', '[5699, 5699, -w^3 - w^2 + 12*w + 3]', '[5699, 5699, 5*w^3 - 2*w^2 - 8*w - 6]', '[5699, 5699, -w^3 + w^2 + 4*w - 10]', '[5699, 5699, 8*w^3 - 7*w^2 - 25*w + 4]', '[5699, 5699, 10*w^3 - 13*w^2 - 22*w + 8]', '[5701, 5701, -8*w^3 + 4*w^2 + 21*w - 2]', '[5701, 5701, 4*w^3 - 5*w^2 - 10*w - 6]', '[5711, 5711, -8*w^3 + 9*w^2 + 14*w - 8]', '[5711, 5711, -9*w^3 + 8*w^2 + 20*w - 6]', '[5725, 1145, 5*w^3 - w^2 - 17*w + 1]', '[5725, 1145, -2*w^3 + 6*w^2 - 3*w - 10]', '[5731, 5731, -2*w^3 + 4*w^2 + 9*w - 14]', '[5731, 5731, -2*w^3 - 2*w^2 + 4*w + 11]', '[5731, 5731, 7*w^3 - 9*w^2 - 19*w + 4]', '[5731, 5731, -4*w^3 + 10*w^2 + 9*w - 21]', '[5731, 5731, -4*w^3 + 7*w^2 + 3*w - 11]', '[5731, 5731, 6*w^3 - 10*w^2 - 12*w + 5]', '[5731, 5731, -5*w^3 + 7*w^2 + 15*w + 1]', '[5731, 5731, 9*w^3 - 9*w^2 - 25*w + 14]', '[5744, 718, -8*w^3 + 10*w^2 + 12*w - 8]', '[5744, 718, -10*w^3 + 8*w^2 + 24*w - 4]', '[5776, 38, 8*w^3 - 8*w^2 - 16*w + 2]', '[5776, 38, -8*w^3 + 8*w^2 + 16*w - 6]', '[5776, 722, -2*w^3 + 6*w^2 - 2*w - 12]', '[5776, 722, -4*w^3 + 14*w - 2]', '[5779, 5779, -7*w^3 + 12*w^2 + 17*w - 11]', '[5779, 5779, 5*w^3 - 3*w^2 - 9*w - 8]', '[5791, 5791, -4*w^3 - w^2 + 15*w + 1]', '[5791, 5791, 5*w^3 - 9*w^2 - 10*w + 2]', '[5791, 5791, 8*w^3 - 10*w^2 - 18*w + 3]', '[5791, 5791, -7*w^3 + 3*w^2 + 23*w - 1]', '[5819, 253, -2*w^3 + 13*w - 1]', '[5819, 253, 8*w^3 - 9*w^2 - 15*w + 4]', '[5819, 253, -w^3 - 7*w^2 + 7*w + 8]', '[5819, 253, 2*w^3 - 4*w^2 - 5*w - 5]', '[5821, 5821, w^3 + 4*w^2 - w - 11]', '[5821, 5821, 10*w^3 - 7*w^2 - 25*w]', '[5839, 5839, 3*w^3 + 2*w^2 - 13*w]', '[5839, 5839, -8*w^3 + 6*w^2 + 21*w - 7]', '[5849, 5849, -6*w^3 + 2*w^2 + 23*w + 3]', '[5849, 5849, -7*w^3 + 2*w^2 + 23*w + 2]', '[5849, 5849, -10*w^3 + 12*w^2 + 21*w - 10]', '[5849, 5849, -3*w^3 + 7*w^2 + 9*w - 16]', '[5851, 5851, 8*w^3 - 11*w^2 - 20*w + 8]', '[5851, 5851, 5*w^3 - 8*w^2 - 12*w]', '[5851, 5851, -3*w^3 - 2*w^2 + 14*w]', '[5851, 5851, 8*w^3 - 7*w^2 - 22*w + 10]', '[5861, 5861, -4*w^3 + 11*w^2 + 6*w - 14]', '[5861, 5861, -w^3 + 8*w^2 - 12]', '[5869, 5869, -10*w^3 + 10*w^2 + 23*w - 7]', '[5869, 5869, -4*w^3 + 11*w^2 + 5*w - 15]', '[5879, 5879, -3*w^3 + 10*w^2 + 4*w - 15]', '[5879, 5879, 2*w^2 - 13]', '[5881, 5881, -10*w^3 + 10*w^2 + 23*w - 5]', '[5881, 5881, 6*w^3 - 8*w^2 - 15*w + 1]', '[5881, 5881, -6*w^3 + 8*w^2 + 19*w - 10]', '[5881, 5881, 8*w^3 - 13*w^2 - 18*w + 12]', '[5909, 5909, w^3 - 8*w - 11]', '[5909, 5909, -w^3 + 6*w^2 - 8*w - 9]', '[5909, 5909, -11*w^3 + 12*w^2 + 25*w - 11]', '[5909, 5909, -7*w^3 - 3*w^2 + 22*w + 9]', '[5921, 5921, 3*w^3 + 2*w^2 - 8*w - 13]', '[5921, 5921, -9*w^3 + 4*w^2 + 27*w + 2]', '[5921, 5921, -9*w^3 + 14*w^2 + 17*w - 10]', '[5921, 5921, -5*w^3 + 11*w^2 + 4*w - 15]', '[5929, 77, -7*w^3 + 3*w^2 + 24*w - 2]', '[5929, 77, 6*w^3 - 11*w^2 - 14*w + 9]', '[5929, 77, -w^3 + 6*w^2 + 4*w - 13]', '[5929, 77, 8*w^3 - 9*w^2 - 19*w]', '[5929, 847, -7*w^3 + 4*w^2 + 18*w - 5]', '[5929, 847, 3*w^3 - 6*w^2 - w + 14]', '[5929, 847, 6*w^3 - 9*w^2 - 8*w + 13]', '[5929, 847, -5*w^3 + 2*w^2 + 15*w - 7]', '[5939, 5939, -2*w^3 - 6*w^2 + 10*w + 9]', '[5939, 5939, 4*w^3 + 2*w^2 - 11*w - 13]', '[5939, 5939, -5*w^3 + 13*w^2 + 4*w - 16]', '[5939, 5939, -3*w^3 - 5*w^2 + 12*w + 10]', '[5951, 5951, -6*w^3 + 8*w^2 + 19*w - 9]', '[5951, 5951, -3*w^3 + 5*w^2 + 13*w - 6]', '[5951, 5951, 8*w^3 - 16*w^2 - 15*w + 21]', '[5951, 5951, -w^3 - 7*w^2 + 3*w + 10]', '[5981, 5981, -6*w^3 + 4*w^2 + 19*w - 8]', '[5981, 5981, 9*w^3 - 10*w^2 - 24*w + 4]', '[5981, 5981, 7*w^3 - 7*w^2 - 10*w + 4]', '[5981, 5981, -11*w^3 + 11*w^2 + 26*w - 8]', '[6011, 6011, -5*w^3 + 7*w^2 + 17*w - 7]', '[6011, 6011, 11*w^3 - 13*w^2 - 24*w + 10]', '[6029, 6029, 8*w^3 - 9*w^2 - 14*w + 2]', '[6029, 6029, -w^3 - 7*w^2 + 9*w + 9]', '[6061, 6061, -8*w^3 + 7*w^2 + 17*w - 3]', '[6061, 6061, 8*w^3 - 9*w^2 - 15*w + 6]', '[6061, 6061, -4*w^3 + 9*w^2 - 10]', '[6061, 6061, 7*w^3 - 2*w^2 - 22*w - 2]', '[6064, 758, -6*w^3 + 20*w + 4]', '[6064, 758, 4*w^3 - 10*w^2 + 12]', '[6079, 6079, -4*w^3 + 19*w + 1]', '[6079, 6079, -10*w^3 + 10*w^2 + 23*w - 6]', '[6091, 6091, 6*w^3 - 7*w^2 - 20*w + 4]', '[6091, 6091, -5*w^3 + 2*w^2 + 20*w]', '[6091, 6091, -3*w^3 + 4*w^2 + 14*w - 8]', '[6091, 6091, -10*w^3 + 11*w^2 + 22*w - 9]', '[6101, 6101, 4*w^3 - 4*w^2 - 9*w + 12]', '[6101, 6101, 3*w^3 - 3*w^2 - 5*w + 11]', '[6109, 6109, -2*w^3 + 9*w^2 - 5*w - 14]', '[6109, 6109, -4*w^3 - 3*w^2 + 17*w + 5]', '[6109, 6109, 8*w^3 - 8*w^2 - 21*w - 2]', '[6109, 6109, -5*w^3 + 7*w^2 + 6*w - 13]', '[6109, 6109, 11*w^3 - 11*w^2 - 26*w + 6]', '[6109, 6109, 3*w^3 + 3*w^2 - 16*w - 2]', '[6109, 6109, 7*w^3 - 7*w^2 - 10*w + 2]', '[6109, 6109, 7*w^3 - 12*w^2 - 14*w + 9]', '[6119, 6119, -w^3 + 3*w + 10]', '[6119, 6119, -8*w^3 + 8*w^2 + 15*w - 7]', '[6121, 6121, -9*w^3 + 11*w^2 + 17*w - 10]', '[6121, 6121, 8*w^3 - 6*w^2 - 17*w + 3]', '[6131, 6131, 9*w^3 - 11*w^2 - 21*w + 5]', '[6131, 6131, 4*w^3 - 9*w^2 - 10*w + 5]', '[6151, 6151, -9*w^3 + 13*w^2 + 18*w - 8]', '[6151, 6151, -5*w^3 + w^2 + 10*w + 8]', '[6161, 6161, -w^3 - 7*w^2 + 10*w + 10]', '[6161, 6161, -8*w^3 + 9*w^2 + 13*w - 1]', '[6161, 6161, 5*w^3 - w^2 - 21*w - 4]', '[6161, 6161, -3*w^3 + 10*w^2 + 2*w - 12]', '[6211, 6211, 3*w^3 - w^2 - 15*w + 1]', '[6211, 6211, -2*w^3 + 9*w^2 + 2*w - 13]', '[6211, 6211, -4*w^3 + 5*w^2 + 3*w - 10]', '[6211, 6211, -8*w^3 + 7*w^2 + 21*w - 11]', '[6221, 6221, -5*w^3 + w^2 + 21*w + 2]', '[6221, 6221, -10*w^3 + 11*w^2 + 22*w - 8]', '[6224, 778, -10*w^3 + 12*w^2 + 20*w - 6]', '[6224, 778, 2*w^3 + 6*w^2 - 12*w - 14]', '[6229, 6229, -3*w^3 + 10*w^2 + 4*w - 14]', '[6229, 6229, 3*w^2 - w - 15]', '[6229, 6229, -w^3 + 8*w^2 - w - 13]', '[6229, 6229, 3*w^3 - 10*w^2 - 3*w + 12]', '[6241, 79, 8*w^3 - 8*w^2 - 16*w + 3]', '[6241, 79, -8*w^3 + 8*w^2 + 16*w - 5]', '[6241, 6241, 10*w^3 - 11*w^2 - 24*w + 3]', '[6241, 6241, -5*w^3 + 19*w + 1]', '[6259, 6259, 3*w^3 - w^2 - 2*w - 6]', '[6259, 6259, 8*w^3 - 13*w^2 - 15*w + 9]', '[6259, 6259, 4*w^3 + w^2 - 9*w - 10]', '[6259, 6259, 9*w^3 - 11*w^2 - 22*w + 6]', '[6269, 6269, 7*w^3 - 6*w^2 - 11*w + 1]', '[6269, 6269, w^3 + 5*w^2 - 2*w - 13]', '[6269, 6269, 11*w^3 - 12*w^2 - 25*w + 8]', '[6269, 6269, 7*w^3 - 13*w^2 - 14*w + 11]', '[6275, 1255, -3*w^3 + 5*w + 9]', '[6275, 1255, -7*w^3 + 10*w^2 + 15*w - 4]', '[6281, 6281, -7*w^3 + 10*w^2 + 17*w - 6]', '[6281, 6281, 9*w^3 - 8*w^2 - 25*w + 10]', '[6281, 6281, -2*w^3 - 6*w^2 + 7*w + 12]', '[6281, 6281, 5*w^3 - 10*w^2 - 13*w + 21]', '[6281, 6281, -7*w^3 + w^2 + 20*w + 3]', '[6281, 6281, -8*w^3 + 9*w^2 + 24*w - 8]', '[6281, 6281, 2*w^3 - 7*w^2 + 2*w + 15]', '[6281, 6281, -2*w^3 + 5*w^2 - 2*w - 11]', '[6289, 6289, 8*w^3 - 12*w^2 - 19*w + 10]', '[6289, 6289, 4*w^3 - w^2 - 16*w - 13]', '[6289, 6289, -4*w^3 - 3*w^2 + 8*w + 10]', '[6289, 6289, -11*w^3 + 11*w^2 + 26*w - 7]', '[6301, 6301, 3*w^3 - 2*w^2 - 5]', '[6301, 6301, 10*w^3 - 11*w^2 - 26*w + 5]', '[6311, 6311, 6*w^3 - 3*w^2 - 18*w + 4]', '[6311, 6311, 10*w^3 - 13*w^2 - 24*w + 10]', '[6329, 6329, 6*w^3 - 10*w^2 - 11*w + 2]', '[6329, 6329, 5*w^3 - 5*w^2 - 18*w + 7]', '[6329, 6329, 9*w^3 - 12*w^2 - 22*w + 9]', '[6329, 6329, -2*w^3 - 6*w^2 + 12*w + 11]', '[6359, 6359, -2*w^3 + 9*w^2 + w - 14]', '[6359, 6359, w^3 + w^2 - 2*w - 13]', '[6361, 6361, 8*w^3 - 10*w^2 - 19*w + 4]', '[6361, 6361, -7*w^3 + 4*w^2 + 22*w - 4]', '[6399, 237, 6*w^3 - 12*w^2 - 6*w + 15]', '[6399, 237, 6*w^3 - 18*w - 3]', '[6400, 20, 8*w^3 - 8*w^2 - 16*w + 4]', '[6419, 917, -5*w^3 + w^2 + 21*w + 3]', '[6419, 917, -5*w^3 + 11*w^2 + 2*w - 12]', '[6419, 917, -7*w^3 + w^2 + 22*w + 4]', '[6419, 917, 11*w^3 - 13*w^2 - 24*w + 11]', '[6421, 6421, 2*w^3 - 3*w^2 - 2*w + 12]', '[6421, 6421, 3*w^3 + 3*w^2 - 8*w - 13]', '[6449, 6449, -9*w^3 + 7*w^2 + 24*w - 7]', '[6449, 6449, 9*w^3 - 14*w^2 - 20*w + 13]', '[6469, 6469, 3*w^3 - 7*w^2 + 3*w + 8]', '[6469, 6469, -8*w^3 + 4*w^2 + 25*w - 1]', '[6479, 6479, 3*w^3 - 10*w^2 - 3*w + 14]', '[6479, 6479, -7*w^3 + 11*w^2 + 14*w - 6]', '[6479, 6479, -3*w^3 + 7*w^2 - w - 10]', '[6479, 6479, w^3 + w^2 - 4*w + 7]', '[6479, 6479, -w^3 + 3*w^2 - 13]', '[6479, 6479, 6*w^3 - 2*w^2 - 19*w + 1]', '[6479, 6479, -3*w^3 - w^2 + 6*w + 10]', '[6479, 6479, -w^3 + 8*w^2 - w - 11]', '[6481, 6481, 7*w^3 - 9*w^2 - 16*w + 1]', '[6481, 6481, -7*w^3 + 11*w^2 + 16*w - 8]', '[6529, 6529, 10*w^3 - 13*w^2 - 19*w + 9]', '[6529, 6529, -3*w^3 + 16*w]', '[6529, 6529, -w^3 + 8*w^2 - w - 12]', '[6529, 6529, 8*w^3 - 5*w^2 - 17*w - 2]', '[6541, 6541, -7*w^3 + 13*w^2 + 13*w - 10]', '[6541, 6541, -2*w^3 + w^2 + 9]', '[6541, 6541, 2*w^3 + 3*w^2 - 3*w - 10]', '[6541, 6541, 9*w^3 - 8*w^2 - 25*w - 3]', '[6544, 818, -8*w^3 + 8*w^2 + 14*w]', '[6544, 818, -8*w^2 + 8*w + 10]', '[6551, 6551, -8*w^2 + 7*w + 9]', '[6551, 6551, -8*w^3 + 9*w^2 + 24*w - 10]', '[6561, 9, -9]', '[6569, 6569, -3*w^3 + 5*w^2 + 7*w - 15]', '[6569, 6569, -8*w^3 + 7*w^2 + 15*w + 1]', '[6571, 6571, 3*w^3 - 11*w^2 + 4*w + 15]', '[6571, 6571, -5*w^3 - 3*w^2 + 20*w + 7]', '[6581, 6581, 5*w^3 - 13*w^2 - 4*w + 13]', '[6581, 6581, 5*w^3 - 7*w^2 - 18*w + 4]', '[6589, 6589, 5*w^3 - 13*w^2 - 8*w + 21]', '[6589, 6589, -4*w^3 + 5*w^2 + 16*w - 9]', '[6589, 6589, -5*w^3 + 6*w^2 + 18*w - 3]', '[6589, 6589, w^3 - 9*w^2 + 9]', '[6611, 6611, 9*w^3 - 10*w^2 - 27*w + 14]', '[6611, 6611, w^3 - 5*w - 10]', '[6611, 6611, -2*w^3 + 9*w^2 - 13]', '[6611, 6611, 11*w^3 - 12*w^2 - 25*w + 9]', '[6641, 6641, 7*w^3 - 10*w^2 - 16*w + 5]', '[6641, 6641, 2*w^3 + w^2 - 2*w - 9]', '[6649, 6649, -3*w^3 + 7*w^2 + 9*w - 17]', '[6649, 6649, -7*w^3 + 15*w^2 + 12*w - 21]', '[6649, 6649, 8*w^3 - 15*w^2 - 16*w + 14]', '[6649, 6649, w^3 - 9*w^2 + 5*w + 9]', '[6649, 6649, -9*w^3 + 7*w^2 + 22*w - 9]', '[6649, 6649, -11*w^3 + 8*w^2 + 28*w + 1]', '[6649, 6649, 8*w^3 - 11*w^2 - 10*w + 5]', '[6649, 6649, -8*w^3 + 9*w^2 + 24*w - 9]', '[6659, 6659, -5*w^3 + w^2 + 14*w - 6]', '[6659, 6659, 4*w^3 - 12*w^2 - w + 13]', '[6661, 6661, -9*w^3 + 5*w^2 + 21*w + 4]', '[6661, 6661, -w^2 + 4*w + 11]', '[6661, 6661, 9*w^3 - 13*w^2 - 13*w + 7]', '[6661, 6661, 10*w^3 - 14*w^2 - 17*w + 9]', '[6679, 6679, 2*w^3 - 11*w^2 + 5*w + 17]', '[6679, 6679, -2*w^3 - 7*w^2 + 13*w + 10]', '[6679, 6679, 2*w^3 + w^2 - 5*w - 15]', '[6679, 6679, -8*w^3 + 13*w^2 + 9*w - 13]', '[6689, 6689, -6*w^3 + 12*w^2 + 3*w - 11]', '[6689, 6689, -11*w^3 + 13*w^2 + 23*w - 7]', '[6691, 6691, 4*w^3 + w^2 - 12*w + 3]', '[6691, 6691, -5*w^3 + 10*w^2 + 6*w - 19]', '[6701, 6701, -12*w^3 + 14*w^2 + 27*w - 13]', '[6701, 6701, -7*w^3 + 5*w^2 + 11*w - 2]', '[6709, 6709, 3*w^3 - 11*w^2 - 4*w + 11]', '[6709, 6709, 5*w^3 - 12*w^2 - w + 13]', '[6719, 6719, 2*w^3 + 6*w^2 - 10*w - 15]', '[6719, 6719, -5*w^3 + 4*w^2 + 14*w - 13]', '[6719, 6719, -7*w^3 + 4*w^2 + 23*w - 5]', '[6719, 6719, 4*w^3 - 12*w^2 - 2*w + 11]', '[6725, 1345, 5*w^3 - 2*w^2 - 19*w + 7]', '[6725, 1345, -w^3 - 2*w^2 + 11*w + 10]', '[6736, 842, -4*w^3 + 4*w^2 + 16*w - 6]', '[6736, 842, 2*w^3 + 6*w^2 - 12*w - 12]', '[6775, 1355, -w^3 + 7*w^2 - 6*w - 14]', '[6775, 1355, -2*w^3 - w^2 + 3*w + 12]', '[6779, 6779, -7*w^3 + 3*w^2 + 18*w - 3]', '[6779, 6779, 5*w^3 - 4*w^2 - 15*w - 9]', '[6779, 6779, 6*w^3 - 7*w^2 - 21*w + 2]', '[6779, 6779, 6*w^3 - 9*w^2 - 13*w]', '[6781, 6781, -10*w^3 + 10*w^2 + 27*w - 2]', '[6781, 6781, -8*w^3 + 4*w^2 + 27*w - 3]', '[6781, 6781, 4*w^3 - 3*w^2 - 12*w - 9]', '[6781, 6781, w^3 - 5*w^2 + 9*w + 8]', '[6791, 6791, 3*w^3 - 8*w^2 + 5*w + 8]', '[6791, 6791, -3*w^3 - 5*w^2 + 14*w + 5]', '[6791, 6791, 4*w^3 - w^2 - 19*w - 5]', '[6791, 6791, -7*w^3 + 15*w^2 + 11*w - 19]', '[6809, 6809, -4*w^2 - w + 14]', '[6809, 6809, -6*w^3 + 8*w^2 + 16*w - 1]', '[6809, 6809, -2*w^2 - 4*w + 11]', '[6809, 6809, -5*w^3 + 9*w^2 + 11*w - 3]', '[6811, 973, 5*w^3 - w^2 - 14*w + 4]', '[6811, 973, w^3 + 4*w^2 - 3*w - 16]', '[6811, 973, 9*w^3 - 6*w^2 - 20*w + 3]', '[6811, 973, -9*w^3 + 11*w^2 + 26*w - 11]', '[6811, 973, 8*w^3 - 10*w^2 - 21*w + 5]', '[6811, 973, -w^3 + 3*w^2 + 10*w - 5]', '[6811, 973, -4*w^3 - 3*w^2 + 20*w + 4]', '[6811, 973, -5*w^3 + 9*w^2 + 6*w - 16]', '[6821, 6821, -8*w^3 + 8*w^2 + 25*w + 2]', '[6821, 6821, -4*w^3 + 10*w^2 + 8*w - 5]', '[6821, 6821, -2*w^3 + 8*w^2 + 4*w - 19]', '[6821, 6821, -w^3 + w^2 + 11*w - 11]', '[6829, 6829, -10*w^3 + 14*w^2 + 22*w - 11]', '[6829, 6829, -5*w^3 + 8*w^2 + 6*w - 15]', '[6841, 6841, 8*w^3 - 9*w^2 - 14*w + 3]', '[6841, 6841, -w^3 - 7*w^2 + 8*w + 9]', '[6859, 19, -2*w^3 + 5*w^2 + 8*w - 14]', '[6859, 19, -5*w^3 + 8*w^2 + 14*w - 2]', '[6859, 361, -3*w^3 - 2*w^2 + 5*w + 9]', '[6859, 361, 9*w^3 - 14*w^2 - 19*w + 12]', '[6859, 6859, w^3 + w^2 - 4*w - 12]', '[6859, 6859, w^3 - 3*w^2 - 6]', '[6871, 6871, 10*w^3 - 11*w^2 - 25*w + 4]', '[6871, 6871, 4*w^3 - 10*w^2 - 9*w + 6]', '[6875, 55, -5*w^3 + 10*w^2 + 5*w - 15]', '[6875, 55, 5*w^3 - 15*w]', '[6889, 83, -5*w^3 + 18*w + 1]', '[6889, 83, 5*w^3 - 10*w^2 - 9*w + 2]', '[6896, 862, 8*w^3 - 12*w^2 - 20*w + 10]', '[6896, 862, 6*w^3 - 10*w^2 - 12*w + 4]', '[6896, 862, -8*w^3 + 6*w^2 + 16*w - 4]', '[6896, 862, -10*w^3 + 12*w^2 + 20*w - 12]', '[6899, 6899, 7*w^3 - 10*w^2 - 14*w + 1]', '[6899, 6899, -3*w^3 - 4*w^2 + 15*w + 4]', '[6911, 6911, 9*w^3 - 12*w^2 - 23*w + 9]', '[6911, 6911, -7*w^3 + w^2 + 23*w + 4]', '[6911, 6911, -8*w^3 + 7*w^2 + 22*w - 11]', '[6911, 6911, -11*w^3 + 15*w^2 + 23*w - 10]', '[6929, 533, 10*w^3 - 8*w^2 - 22*w + 7]', '[6929, 533, -8*w^3 + 9*w^2 + 12*w - 1]', '[6929, 533, -11*w^3 + 10*w^2 + 26*w - 1]', '[6929, 533, -10*w^3 + 12*w^2 + 18*w - 13]', '[6941, 6941, w^3 - 5*w^2 + 7*w + 9]', '[6941, 6941, -11*w^3 + 10*w^2 + 31*w - 11]', '[6941, 6941, w^3 - w^2 + 3*w + 11]', '[6941, 6941, -12*w^3 + 12*w^2 + 28*w - 11]', '[6941, 6941, -6*w^3 + 4*w^2 + 11*w + 8]', '[6941, 6941, -5*w^3 - 4*w^2 + 16*w + 6]', '[6941, 6941, w^3 - 6*w^2 + 5*w + 14]', '[6941, 6941, -10*w^3 + 13*w^2 + 20*w - 4]', '[6949, 6949, -6*w^3 + 2*w^2 + 22*w - 3]', '[6949, 6949, 9*w^3 - 13*w^2 - 13*w + 8]', '[6961, 6961, -10*w^3 + 13*w^2 + 17*w - 13]', '[6961, 6961, -2*w^3 - 2*w^2 + 14*w + 11]', '[6961, 6961, -4*w^3 + 18*w - 5]', '[6961, 6961, 4*w^3 - 11*w^2 - w + 17]', '[6971, 6971, -3*w^3 + 11*w^2 + 5*w - 12]', '[6971, 6971, -4*w^3 + 12*w^2 + 7*w - 19]', '[6991, 6991, 7*w^3 - 14*w^2 - 7*w + 16]', '[6991, 6991, -4*w^3 + 13*w^2 + w - 20]', '[7001, 7001, 11*w^3 - 12*w^2 - 26*w + 3]', '[7001, 7001, -6*w^3 + 5*w^2 + 8*w + 5]', '[7025, 1405, -3*w^3 + 11*w^2 - 3*w - 17]', '[7025, 1405, 4*w^3 + 4*w^2 - 17*w - 6]', '[7025, 1405, -3*w^3 + 7*w^2 + 9*w - 18]', '[7025, 1405, 7*w^3 - 4*w^2 - 13*w - 7]', '[7031, 7031, 3*w^3 + 4*w^2 - 16*w - 4]', '[7031, 7031, -8*w^2 + 2*w + 9]', '[7031, 7031, -6*w^3 + 14*w^2 + 10*w - 21]', '[7031, 7031, 7*w^3 - 10*w^2 - 14*w]', '[7039, 7039, -w^3 - 8*w^2 + 10*w + 9]', '[7039, 7039, -2*w^3 + 11*w^2 - 4*w - 19]', '[7051, 7051, 9*w^3 - 18*w^2 - 14*w + 28]', '[7051, 7051, -8*w^3 + 5*w^2 + 24*w - 4]', '[7051, 7051, 6*w^3 - 14*w^2 - 7*w + 24]', '[7051, 7051, -8*w^3 + 4*w^2 + 24*w - 1]', '[7069, 7069, 9*w^3 - 11*w^2 - 20*w + 3]', '[7069, 7069, -6*w^3 + w^2 + 15*w - 2]', '[7069, 7069, -7*w^3 + 2*w^2 + 24*w + 1]', '[7069, 7069, -2*w^3 + 10*w^2 - 7*w - 14]', '[7079, 7079, -10*w^3 + 13*w^2 + 19*w - 10]', '[7079, 7079, -3*w^3 - 2*w^2 + 16*w - 2]', '[7099, 7099, -3*w^3 + w^2 + 10*w + 11]', '[7099, 7099, 9*w^3 - 12*w^2 - 15*w + 7]', '[7099, 7099, -9*w^3 + 6*w^2 + 21*w + 2]', '[7099, 7099, w^3 - 3*w^2 + 2*w - 7]', '[7109, 7109, 2*w^3 - 10*w^2 - 3*w + 11]', '[7109, 7109, -2*w^3 + 10*w^2 + 3*w - 16]', '[7109, 7109, -8*w^3 + 2*w^2 + 25*w + 4]', '[7109, 7109, -5*w^3 + 13*w^2 + 9*w - 20]', '[7121, 7121, -11*w^3 + 12*w^2 + 24*w - 5]', '[7121, 7121, -7*w^2 + 9*w + 16]', '[7121, 7121, -4*w^3 + 12*w^2 + 8*w - 17]', '[7121, 7121, -2*w^3 - 5*w^2 + 13*w + 3]', '[7151, 7151, -8*w^3 + 5*w^2 + 21*w - 5]', '[7151, 7151, 2*w^3 + 6*w^2 - 9*w - 14]', '[7159, 7159, 5*w^3 - 12*w^2 - 9*w + 8]', '[7159, 7159, -10*w^3 + 13*w^2 + 19*w - 11]', '[7159, 7159, -8*w^3 + 8*w^2 + 13*w - 7]', '[7159, 7159, -11*w^3 + 11*w^2 + 25*w - 10]', '[7184, 898, 8*w^3 - 10*w^2 - 12*w + 4]', '[7184, 898, -2*w^3 + 4*w^2 + 2*w - 14]', '[7201, 7201, -8*w^2 + 8*w + 11]', '[7201, 7201, 8*w^2 - 8*w - 13]', '[7201, 7201, -6*w^3 + 2*w^2 + 25*w + 8]', '[7201, 7201, 3*w^3 + w^2 - 19*w + 5]', '[7209, 267, -9*w^3 + 12*w^2 + 15*w - 9]', '[7209, 267, 9*w^3 - 6*w^2 - 21*w]', '[7211, 7211, -10*w^3 + 9*w^2 + 23*w - 6]', '[7211, 7211, -7*w^3 + 15*w^2 + 12*w - 20]', '[7216, 902, -4*w^3 + 8*w^2 + 12*w - 2]', '[7216, 902, -4*w^2 - 2*w + 12]', '[7216, 902, -6*w^3 + 10*w^2 + 14*w - 6]', '[7216, 902, 4*w^3 - 8*w^2 - 12*w + 18]', '[7219, 7219, 8*w^3 - 9*w^2 - 19*w - 2]', '[7219, 7219, -4*w^3 + 9*w^2 + 12*w - 17]', '[7229, 7229, 4*w^3 - 12*w^2 - 5*w + 12]', '[7229, 7229, 4*w^3 - 11*w^2 + 2*w + 12]', '[7249, 7249, 12*w^3 - 13*w^2 - 27*w + 6]', '[7249, 7249, -6*w^3 + 3*w^2 + 23*w - 3]', '[7249, 7249, 4*w^3 - 2*w^2 - 11*w - 11]', '[7249, 7249, -w^3 - 7*w^2 + 10*w + 12]', '[7279, 7279, -5*w^3 + w^2 + 17*w - 2]', '[7279, 7279, 2*w^3 - 6*w^2 + 3*w + 11]', '[7301, 1043, w^3 - 9*w^2 + w + 9]', '[7301, 1043, -w^3 - 7*w^2 + 9*w + 10]', '[7301, 1043, -w^3 - 6*w^2 + 12*w + 15]', '[7301, 1043, -8*w^3 + 9*w^2 + 12*w - 7]', '[7301, 1043, 4*w^3 - 12*w^2 - 5*w + 20]', '[7301, 1043, -7*w^3 + 8*w^2 + 22*w - 10]', '[7301, 1043, -2*w^3 - 5*w^2 + 14*w + 3]', '[7301, 1043, -11*w^3 + 10*w^2 + 26*w - 7]', '[7309, 7309, 7*w^3 - 9*w^2 - 20*w + 3]', '[7309, 7309, 10*w^3 - 15*w^2 - 19*w + 10]', '[7309, 7309, -6*w^3 + w^2 + 13*w + 9]', '[7309, 7309, 10*w^3 - 9*w^2 - 22*w + 8]', '[7339, 7339, 4*w^3 + 3*w^2 - 11*w - 14]', '[7339, 7339, 9*w^3 - 5*w^2 - 21*w - 3]', '[7339, 7339, -4*w^3 + 6*w^2 + 3*w - 14]', '[7339, 7339, -7*w^3 + 5*w^2 + 19*w - 11]', '[7339, 7339, 10*w^3 - 14*w^2 - 17*w + 10]', '[7339, 7339, -8*w^3 + 15*w^2 + 13*w - 11]', '[7339, 7339, -9*w^3 + 11*w^2 + 26*w - 13]', '[7339, 7339, -8*w^2 + 6*w + 9]', '[7349, 7349, w^3 - 3*w^2 - 10*w + 4]', '[7349, 7349, -9*w^3 + 11*w^2 + 26*w - 12]', '[7351, 7351, 11*w^3 - 10*w^2 - 25*w + 9]', '[7351, 7351, 6*w^3 - 6*w^2 - 21*w + 10]', '[7369, 7369, -2*w^3 + 5*w^2 + 2*w - 16]', '[7369, 7369, 5*w^3 + w^2 - 12*w - 11]', '[7376, 922, 10*w^3 - 8*w^2 - 24*w + 2]', '[7376, 922, 2*w^3 + 4*w^2 - 4*w - 12]', '[7381, 671, 5*w^3 - 3*w^2 - 7*w - 6]', '[7381, 671, -8*w^3 + 6*w^2 + 21*w - 8]', '[7381, 671, -4*w^3 - w^2 + 15*w]', '[7381, 671, 3*w^3 - 8*w^2 - 8*w + 18]', '[7381, 7381, 4*w^3 - 9*w^2 + 3*w + 8]', '[7381, 7381, -4*w^3 + 10*w^2 + 3*w - 20]', '[7381, 7381, -w^3 - 3*w^2 + 12*w + 10]', '[7381, 7381, -8*w^3 + 14*w^2 + 12*w - 19]', '[7391, 7391, -9*w^3 + 10*w^2 + 21*w]', '[7391, 7391, -7*w^3 + 2*w^2 + 25*w]', '[7391, 7391, 5*w^3 + 2*w^2 - 23*w - 15]', '[7391, 7391, w^2 + 6*w - 15]', '[7424, 116, 4*w^3 - 4*w^2 - 16*w + 4]', '[7451, 7451, -4*w^3 - w^2 + 16*w]', '[7451, 7451, 5*w^3 - 9*w^2 - 11*w + 1]', '[7481, 7481, -6*w^3 + 2*w^2 + 24*w - 1]', '[7481, 7481, 5*w^3 - 11*w^2 - 10*w + 7]', '[7481, 7481, -4*w^3 + 5*w^2 + 7*w - 14]', '[7481, 7481, -6*w^3 + w^2 + 16*w - 1]', '[7499, 7499, -3*w^3 + 5*w^2 + 4*w - 15]', '[7499, 7499, 3*w^3 + 3*w^2 - 7*w - 12]', '[7529, 7529, -7*w^3 + 5*w^2 + 19*w - 9]', '[7529, 7529, w^3 + 5*w^2 - 4*w - 18]', '[7549, 7549, 7*w^3 - 10*w^2 - 15*w + 3]', '[7549, 7549, -7*w^3 + 5*w^2 + 20*w - 8]', '[7549, 7549, -10*w^3 + 7*w^2 + 30*w - 5]', '[7549, 7549, 10*w^3 - 13*w^2 - 25*w + 10]', '[7559, 7559, 6*w^3 - w^2 - 15*w - 12]', '[7559, 7559, -10*w^3 + 8*w^2 + 23*w - 5]', '[7561, 7561, 9*w^3 - 11*w^2 - 23*w + 6]', '[7561, 7561, -7*w^3 + 5*w^2 + 21*w - 8]', '[7600, 190, 6*w^3 - 8*w^2 - 16*w]', '[7600, 190, -2*w^2 - 4*w + 12]', '[7639, 7639, -w^3 - 2*w^2 + 13*w + 3]', '[7639, 7639, 7*w^3 - 4*w^2 - 25*w + 2]', '[7649, 7649, -8*w^3 + 7*w^2 + 22*w - 12]', '[7649, 7649, 12*w^3 - 14*w^2 - 28*w + 7]', '[7649, 7649, -10*w^3 + 13*w^2 + 26*w - 10]', '[7649, 7649, 11*w^3 - 14*w^2 - 27*w + 11]', '[7664, 958, 2*w^3 + 6*w^2 - 10*w - 14]', '[7664, 958, 4*w^3 - 12*w^2 - 2*w + 12]', '[7681, 7681, -8*w^3 + 4*w^2 + 28*w + 1]', '[7681, 7681, -w^3 - 8*w^2 + 12*w + 11]', '[7681, 7681, -w^3 + 9*w^2 - 2*w - 9]', '[7681, 7681, -8*w^3 + 7*w^2 + 14*w - 6]', '[7699, 7699, -w^3 + 9*w^2 - 3*w - 9]', '[7699, 7699, 2*w^3 - 10*w^2 + w + 18]', '[7741, 7741, 2*w^3 + 4*w^2 - 3*w - 11]', '[7741, 7741, 11*w^3 - 9*w^2 - 27*w + 3]', '[7759, 7759, -2*w^3 + 10*w^2 + w - 18]', '[7759, 7759, -3*w^3 + 5*w^2 + 6*w - 15]', '[7759, 7759, -11*w^3 + 14*w^2 + 22*w - 14]', '[7759, 7759, -7*w^3 + 8*w^2 + 22*w - 9]', '[7771, 7771, 5*w^3 - 6*w^2 - 4*w - 6]', '[7771, 7771, -w^3 - 4*w^2 + 14*w + 10]', '[7771, 7771, 2*w^3 + 5*w^2 - 16*w - 2]', '[7771, 7771, -7*w^3 + 9*w^2 + 17*w + 3]', '[7775, 1555, 3*w^3 + 6*w^2 - 13*w - 10]', '[7775, 1555, -8*w^3 + 11*w^2 + 22*w - 7]', '[7781, 7781, 6*w^3 - 3*w^2 - 23*w - 4]', '[7781, 7781, 2*w^3 + 6*w^2 - 11*w - 13]', '[7781, 7781, 3*w^3 - 11*w^2 + w + 12]', '[7781, 7781, -2*w^3 - w^2 + 15*w - 3]', '[7789, 7789, -8*w^3 + 12*w^2 + 13*w - 18]', '[7789, 7789, 10*w^3 - 12*w^2 - 25*w + 7]', '[7799, 7799, -3*w^3 + 2*w^2 + 6*w - 10]', '[7799, 7799, -8*w^2 + 7*w + 15]', '[7799, 7799, -14*w^3 + 18*w^2 + 37*w - 22]', '[7799, 7799, -2*w^3 + 3*w^2 + 12*w - 4]', '[7799, 7799, 13*w^3 - 17*w^2 - 27*w + 19]', '[7799, 7799, -10*w^3 + 9*w^2 + 31*w - 10]', '[7799, 7799, 2*w^3 - 10*w^2 - 2*w + 17]', '[7799, 7799, -2*w^3 - 8*w^2 + 5*w + 8]', '[7801, 7801, -5*w^3 - w^2 + 11*w + 10]', '[7801, 7801, 10*w^3 - 16*w^2 - 19*w + 13]', '[7831, 7831, -w^3 - 8*w^2 + 11*w + 10]', '[7831, 7831, -11*w^3 + 13*w^2 + 22*w - 5]', '[7831, 7831, -3*w^3 + 11*w^2 + 5*w - 17]', '[7831, 7831, -w^3 + 10*w^2 - 7*w - 17]', '[7841, 7841, 11*w^3 - 14*w^2 - 25*w + 9]', '[7841, 7841, 4*w^3 - 7*w^2 - 3*w + 13]', '[7856, 982, 6*w^2 - 10*w - 12]', '[7856, 982, -4*w^3 - 2*w^2 + 18*w + 2]', '[7859, 7859, 3*w^3 - 9*w^2 + w + 15]', '[7859, 7859, 2*w^3 + 2*w^2 - 4*w - 13]', '[7879, 7879, 8*w^2 - 3*w - 15]', '[7879, 7879, -9*w^3 + 6*w^2 + 22*w - 7]', '[7879, 7879, -4*w^3 + 5*w^2 + 11*w - 15]', '[7879, 7879, -6*w^3 + 12*w^2 + 5*w - 14]', '[7901, 7901, -8*w^3 + 7*w^2 + 23*w - 12]', '[7901, 7901, -w^3 - 3*w^2 + 14*w + 4]', '[7901, 7901, 11*w^3 - 14*w^2 - 21*w + 15]', '[7901, 7901, 7*w^3 - 3*w^2 - 26*w]', '[7919, 7919, w^3 - 9*w^2 + 10]', '[7919, 7919, -5*w^3 + 13*w^2 + 8*w - 20]', '[7921, 89, -w^3 + 10*w^2 - 6*w - 19]', '[7921, 89, 9*w^3 - 8*w^2 - 28*w + 7]', '[7921, 7921, -10*w^3 + 9*w^2 + 26*w - 11]', '[7921, 7921, 9*w^3 - 14*w^2 - 21*w + 13]', '[7936, 124, 4*w^3 - 16*w + 4]', '[7936, 124, -4*w^2 + 8*w + 12]', '[7949, 7949, -9*w^3 + 6*w^2 + 24*w - 5]', '[7949, 7949, 2*w^3 + 6*w^2 - 9*w - 13]', '[7975, 1595, -2*w^3 + 6*w^2 + 7*w - 15]', '[7975, 1595, 5*w^3 - 9*w^2 - 13*w + 4]', '[7979, 7979, 8*w^3 - 9*w^2 - 20*w]', '[7979, 7979, 4*w^3 - 3*w^2 - 17*w + 5]', '[7979, 7979, 4*w^2 - 3*w - 17]', '[7979, 7979, -8*w^3 + 5*w^2 + 26*w - 6]', '[7984, 998, 8*w^3 - 6*w^2 - 24*w + 8]', '[7984, 998, 8*w^3 - 10*w^2 - 20*w + 4]', '[7984, 998, -10*w^3 + 10*w^2 + 22*w - 8]', '[7984, 998, -8*w^3 + 8*w^2 + 14*w - 6]', '[7991, 7991, -9*w^3 + 8*w^2 + 19*w - 6]', '[7991, 7991, 4*w^3 + 2*w^2 - 9*w - 11]', '[7991, 7991, 11*w^3 - 9*w^2 - 27*w + 1]', '[7991, 7991, 9*w^3 - 9*w^2 - 26*w]', '[7999, 7999, -5*w^3 + 16*w]', '[7999, 7999, -5*w^3 - w^2 + 21*w + 2]', '[7999, 7999, 4*w^3 + 2*w^2 - 21*w - 13]', '[7999, 7999, -8*w^3 + 15*w^2 + 10*w - 18]', '[8039, 8039, -8*w^3 + 5*w^2 + 25*w - 5]', '[8039, 8039, 8*w^3 - 10*w^2 - 19*w + 3]', '[8039, 8039, -4*w^3 - 3*w^2 + 16*w + 4]', '[8039, 8039, 9*w^3 - 8*w^2 - 25*w + 11]', '[8059, 8059, -2*w^3 - w^2 + 10*w + 14]', '[8059, 8059, 7*w^3 - 11*w^2 - 18*w + 8]', '[8069, 8069, 9*w^3 - 13*w^2 - 23*w + 11]', '[8069, 8069, -5*w^3 - w^2 + 22*w + 1]', '[8069, 8069, 2*w^3 - 10*w^2 + 5*w + 18]', '[8069, 8069, -3*w^3 - 5*w^2 + 15*w + 5]', '[8081, 8081, -9*w^3 + 16*w^2 + 18*w - 15]', '[8081, 8081, -6*w^3 + 14*w^2 + 9*w - 19]', '[8089, 8089, -2*w^3 - 7*w^2 + 14*w + 12]', '[8089, 8089, -w^3 + 10*w^2 - 8*w - 14]', '[8101, 8101, 8*w^3 - 4*w^2 - 21*w + 3]', '[8101, 8101, -3*w^3 - 2*w^2 + 15*w - 2]', '[8111, 8111, -3*w^3 + 5*w^2 + 5*w - 15]', '[8111, 8111, -8*w^3 + 10*w^2 + 24*w - 13]', '[8111, 8111, 7*w^3 - 14*w^2 - 14*w + 12]', '[8111, 8111, 7*w^2 - 16]', '[8129, 8129, -5*w^3 + 2*w^2 + 19*w - 10]', '[8129, 8129, w^3 - 7*w^2 - w - 2]', '[8129, 8129, 8*w^3 - 10*w^2 - 11*w + 5]', '[8129, 8129, 6*w^3 - 9*w^2 - 4*w + 9]', '[8144, 1018, -10*w^3 + 12*w^2 + 20*w - 8]', '[8144, 1018, -8*w^2 + 6*w + 16]', '[8144, 1018, -6*w^3 + 2*w^2 + 20*w - 2]', '[8144, 1018, 10*w^3 - 12*w^2 - 24*w + 6]', '[8149, 8149, w^3 + 2*w^2 - 15]', '[8149, 8149, 6*w^3 - 9*w^2 - 14*w - 1]', '[8149, 8149, -8*w^3 + 15*w^2 + 12*w - 22]', '[8149, 8149, 4*w^2 - 11*w - 9]', '[8161, 8161, -3*w^3 + 12*w^2 - 2*w - 18]', '[8161, 8161, -2*w^3 - 7*w^2 + 12*w + 10]', '[8171, 8171, -3*w^3 + 6*w^2 + 5*w - 17]', '[8171, 8171, -7*w^3 + w^2 + 25*w + 3]', '[8171, 8171, 10*w^3 - 12*w^2 - 22*w + 3]', '[8171, 8171, 8*w^3 - 9*w^2 - 12*w + 2]', '[8179, 8179, w^3 - 10*w^2 + 8*w + 11]', '[8179, 8179, -9*w^3 + 8*w^2 + 17*w + 2]', '[8179, 8179, -7*w^3 + 3*w^2 + 23*w - 2]', '[8179, 8179, 9*w^3 - 11*w^2 - 21*w + 4]', '[8181, 303, -9*w^3 + 15*w^2 + 21*w - 15]', '[8181, 303, -6*w^2 - 3*w + 12]', '[8189, 8189, -4*w^3 + 8*w^2 + 14*w - 1]', '[8189, 8189, -w^3 + 5*w^2 + 5*w - 13]', '[8189, 8189, 8*w^3 - 6*w^2 - 15*w - 1]', '[8189, 8189, -6*w^3 + 10*w^2 + 15*w - 6]', '[8189, 8189, -w^3 + 3*w^2 - 3*w + 8]', '[8189, 8189, -6*w^3 + 10*w^2 + 18*w - 21]', '[8189, 8189, 9*w^3 - 6*w^2 - 20*w + 2]', '[8189, 8189, 6*w^3 - 9*w^2 - 14*w + 20]', '[8191, 8191, 6*w^2 + w - 14]', '[8191, 8191, -3*w^3 + 6*w^2 + 11*w - 16]', '[8191, 8191, -3*w^3 + w^2 + 16*w - 4]', '[8191, 8191, 7*w^3 - 13*w^2 - 15*w + 11]', '[8209, 8209, -10*w^3 + 8*w^2 + 29*w - 8]', '[8209, 8209, 6*w^3 - 4*w^2 - 11*w - 9]', '[8219, 8219, 4*w^3 - 12*w^2 - 2*w + 13]', '[8219, 8219, 5*w^3 - 7*w^2 - 18*w + 5]', '[8221, 8221, -11*w^3 + 14*w^2 + 22*w - 11]', '[8221, 8221, -7*w^3 + 9*w^2 + 22*w - 8]', '[8261, 8261, -9*w^3 + 6*w^2 + 23*w - 6]', '[8261, 8261, 2*w^3 - w^2 + 4*w + 9]', '[8261, 8261, -10*w^3 + 11*w^2 + 29*w - 11]', '[8261, 8261, -w^3 - 7*w^2 + 6*w + 14]', '[8275, 1655, -9*w^3 + 10*w^2 + 25*w - 3]', '[8275, 1655, 9*w^3 - 7*w^2 - 19*w + 5]', '[8281, 91, 5*w^3 - 2*w^2 - 8*w - 7]', '[8281, 91, 12*w^3 - 10*w^2 - 30*w + 3]', '[8281, 91, 8*w^3 - 10*w^2 - 10*w + 5]', '[8281, 91, -4*w^3 + 9*w^2 + 11*w - 19]', '[8291, 8291, 3*w^3 - 11*w^2 - 4*w + 12]', '[8291, 8291, -3*w^3 + 11*w^2 + 4*w - 18]', '[8311, 8311, 7*w^3 - 9*w^2 - 17*w + 1]', '[8311, 8311, -2*w^3 - 5*w^2 + 12*w + 2]', '[8329, 8329, -w^3 + 9*w^2 - 15]', '[8329, 8329, -5*w^3 + 11*w + 10]', '[8329, 8329, 5*w^3 - 13*w^2 - 8*w + 15]', '[8329, 8329, 9*w^3 - 14*w^2 - 17*w + 9]', '[8336, 1042, -10*w^3 + 12*w^2 + 20*w - 10]', '[8336, 1042, 4*w^3 - 12*w^2 - 2*w + 14]', '[8336, 1042, 2*w^3 - 10*w^2 + 18]', '[8336, 1042, 2*w^3 + 6*w^2 - 10*w - 12]', '[8339, 8339, 12*w^3 - 4*w^2 - 31*w - 9]', '[8339, 8339, -w^2 - w + 12]', '[8339, 8339, -2*w^3 + 3*w^2 + 5*w + 7]', '[8339, 8339, 13*w^3 - 21*w^2 - 19*w + 16]', '[8369, 8369, -11*w^3 + 14*w^2 + 26*w - 10]', '[8369, 8369, -7*w^2 + 11*w + 13]', '[8389, 8389, -3*w^3 + 17*w - 3]', '[8389, 8389, 12*w^3 - 11*w^2 - 29*w + 7]', '[8401, 8401, w^3 - w^2 + w - 11]', '[8401, 8401, 5*w^3 - 14*w^2 - 2*w + 16]', '[8401, 8401, -12*w^3 + 8*w^2 + 31*w + 4]', '[8401, 8401, 8*w^3 - 4*w^2 - 28*w - 3]', '[8419, 8419, 4*w^3 - 10*w^2 - 9*w + 5]', '[8419, 8419, 5*w^3 - 12*w^2 - 3*w + 17]', '[8419, 8419, 11*w^3 - 12*w^2 - 27*w + 4]', '[8419, 8419, 8*w^3 - 11*w^2 - 21*w + 7]', '[8429, 8429, 3*w^3 - 9*w^2 - 8*w + 18]', '[8429, 8429, -w^3 + 9*w^2 - 9*w - 15]', '[8431, 8431, -11*w^3 + 15*w^2 + 24*w - 11]', '[8431, 8431, -4*w^3 + 7*w^2 + 3*w - 14]', '[8459, 8459, 8*w^3 - 2*w^2 - 21*w - 1]', '[8459, 8459, 9*w^3 - 12*w^2 - 26*w + 13]', '[8459, 8459, -4*w^3 + 9*w^2 + 3*w - 18]', '[8459, 8459, w^3 + 8*w^2 - 3*w - 13]', '[8464, 46, 6*w^3 - 10*w^2 - 12*w + 2]', '[8464, 46, -4*w^3 - 2*w^2 + 16*w + 2]', '[8479, 8479, 2*w^3 - 6*w^2 + 7*w + 8]', '[8479, 8479, -6*w^3 + w^2 + 22*w]', '[8479, 8479, -11*w^3 + 16*w^2 + 23*w - 13]', '[8479, 8479, -11*w^3 + 10*w^2 + 26*w - 6]', '[8479, 8479, 10*w^3 - 11*w^2 - 24*w + 2]', '[8479, 8479, -9*w^3 + 5*w^2 + 29*w - 3]', '[8479, 8479, -4*w^3 + w^2 + 19*w - 3]', '[8479, 8479, -4*w^3 + 7*w^2 + 3*w - 15]', '[8525, 1705, -10*w^3 + 9*w^2 + 23*w - 4]', '[8525, 1705, 6*w^3 - 20*w - 3]', '[8525, 1705, -4*w^3 + 10*w^2 - 13]', '[8525, 1705, 8*w^3 - 9*w^2 - 13*w + 5]', '[8531, 8531, 4*w^3 + 3*w^2 - 10*w - 13]', '[8531, 8531, 6*w^3 - 10*w^2 - 12*w + 1]', '[8531, 8531, -11*w^3 + 15*w^2 + 26*w - 13]', '[8531, 8531, -3*w^3 + 5*w^2 - 3*w + 7]', '[8539, 8539, -8*w^3 + 8*w^2 + 13*w - 6]', '[8539, 8539, -9*w^3 + 12*w^2 + 13*w - 9]', '[8539, 8539, 8*w^3 - 14*w^2 - 18*w + 13]', '[8539, 8539, -11*w^3 + 11*w^2 + 25*w - 9]', '[8569, 8569, -w^2 - 8]', '[8569, 8569, 8*w^3 - 13*w^2 - 11*w + 16]', '[8569, 8569, 5*w^3 - 7*w^2 - 4*w + 10]', '[8569, 8569, -9*w^3 + 7*w^2 + 24*w - 8]', '[8569, 8569, -8*w^3 + 3*w^2 + 21*w - 1]', '[8569, 8569, w^3 - 2*w^2 - 2*w + 12]', '[8569, 8569, -2*w^3 + 2*w^2 + 7*w - 12]', '[8569, 8569, -w^3 + w^2 + 5*w + 9]', '[8581, 8581, 9*w^3 - 12*w^2 - 14*w + 6]', '[8581, 8581, w^3 - 2*w^2 + w + 12]', '[8599, 8599, -w^3 + 9*w^2 - 5*w - 14]', '[8599, 8599, 11*w^3 - 11*w^2 - 25*w + 4]', '[8609, 8609, 8*w^3 - 9*w^2 - 11*w + 2]', '[8609, 8609, -2*w^3 + 10*w^2 - 3*w - 12]', '[8609, 8609, 12*w^3 - 11*w^2 - 29*w + 3]', '[8609, 8609, 8*w^3 - 6*w^2 - 14*w - 1]', '[8611, 8611, 8*w^2 - 7*w - 14]', '[8611, 8611, 5*w^3 - w^2 - 18*w + 3]', '[8611, 8611, 11*w^3 - 12*w^2 - 28*w + 5]', '[8611, 8611, -6*w^3 + 13*w^2 + 7*w - 21]', '[8611, 8611, 9*w^3 - 10*w^2 - 21*w - 1]', '[8611, 8611, -9*w^3 + 7*w^2 + 19*w + 2]', '[8611, 8611, -3*w^3 + 4*w^2 + 8*w - 14]', '[8611, 8611, 11*w^3 - 12*w^2 - 24*w + 6]', '[8624, 154, 6*w^3 - 14*w^2 - 10*w + 18]', '[8624, 154, -8*w^3 + 10*w^2 + 24*w - 12]', '[8624, 154, -8*w^2 + 2*w + 12]', '[8624, 154, -2*w^3 + 4*w^2 + 12*w - 4]', '[8629, 8629, 10*w^3 - 9*w^2 - 27*w + 11]', '[8629, 8629, -2*w^3 - 7*w^2 + 13*w + 11]', '[8629, 8629, -3*w^3 - 4*w^2 + 14*w + 3]', '[8629, 8629, -9*w^3 + 9*w^2 + 16*w - 9]', '[8651, 8651, -w^3 + 9*w^2 - 4*w - 16]', '[8651, 8651, -5*w^3 + 7*w^2 + 11*w - 17]', '[8651, 8651, 3*w^3 + 4*w^2 - 9*w - 16]', '[8651, 8651, 2*w^3 - 2*w^2 - 2*w + 11]', '[8656, 1082, 6*w^3 - 10*w^2 - 16*w + 6]', '[8656, 1082, -2*w^3 + 6*w^2 + 8*w - 14]', '[8669, 8669, -7*w^3 + 10*w^2 + 20*w - 5]', '[8669, 8669, -3*w^3 - 6*w^2 + 14*w + 11]', '[8681, 8681, -w^3 + 4*w^2 + w - 16]', '[8681, 8681, 9*w^2 - 10*w - 14]', '[8689, 8689, 5*w^3 - w^2 - 15*w + 6]', '[8689, 8689, -4*w^3 + 8*w^2 + 3*w - 17]', '[8699, 8699, -6*w^3 + w^2 + 23*w - 1]', '[8699, 8699, -7*w^3 + 4*w^2 + 25*w - 1]', '[8699, 8699, -10*w^3 + 11*w^2 + 21*w - 9]', '[8699, 8699, 10*w^3 - 10*w^2 - 25*w - 1]', '[8711, 8711, -10*w^3 + 20*w^2 + 15*w - 24]', '[8711, 8711, -13*w^3 + 11*w^2 + 32*w + 1]', '[8711, 8711, -7*w^3 + 6*w^2 + 21*w + 10]', '[8711, 8711, -6*w^3 + w^2 + 27*w + 10]', '[8711, 8711, w^3 - 2*w^2 + 5*w - 13]', '[8711, 8711, 9*w^3 - 11*w^2 - 12*w + 1]', '[8711, 8711, -9*w^3 + 8*w^2 + 28*w - 6]', '[8711, 8711, -w^3 + 11*w^2 - 9*w - 10]', '[8719, 8719, 7*w^3 - 14*w^2 - 13*w + 11]', '[8719, 8719, w^3 + 6*w^2 - 3*w - 16]', '[8731, 8731, -3*w^3 + 6*w^2 + 7*w - 18]', '[8731, 8731, -3*w^3 + 11*w^2 + 5*w - 16]', '[8741, 8741, 4*w^3 + w^2 - 17*w + 1]', '[8741, 8741, -7*w^3 + 3*w^2 + 19*w - 3]', '[8759, 8759, -5*w^2 + 17]', '[8759, 8759, 2*w^3 - 2*w^2 - 11*w - 10]', '[8759, 8759, -10*w^3 + 10*w^2 + 22*w - 7]', '[8759, 8759, 9*w^3 - 8*w^2 - 27*w - 4]', '[8761, 8761, -4*w^3 - 3*w^2 + 17*w + 4]', '[8761, 8761, 7*w^3 - 11*w^2 - 13*w + 2]', '[8771, 1253, 4*w^3 + 2*w^2 - 19*w - 1]', '[8771, 1253, -w^3 + 9*w^2 - w - 16]', '[8771, 1253, 10*w^3 - 11*w^2 - 26*w + 4]', '[8771, 1253, 10*w^3 - 11*w^2 - 23*w]', '[8771, 1253, 9*w^3 - 5*w^2 - 20*w]', '[8771, 1253, 4*w^3 - 10*w^2 - 2*w + 17]', '[8771, 1253, 4*w^3 - 12*w^2 - 5*w + 13]', '[8771, 1253, 6*w^2 - w - 18]', '[8779, 8779, -4*w^3 + 8*w^2 + 3*w - 16]', '[8779, 8779, 5*w^3 - w^2 - 15*w + 5]', '[8816, 1102, 6*w^3 - 18*w - 2]', '[8816, 1102, 6*w^3 - 12*w^2 - 6*w + 16]', '[8819, 8819, 6*w^3 + w^2 - 23*w - 5]', '[8819, 8819, -5*w^3 + w^2 + 17*w - 3]', '[8829, 327, 9*w^3 - 15*w^2 - 15*w + 9]', '[8829, 327, -6*w^3 + 21*w + 3]', '[8829, 327, 12*w^3 - 15*w^2 - 27*w + 9]', '[8829, 327, -6*w^3 + 15*w + 12]', '[8831, 8831, -3*w^3 + 4*w^2 + 3*w - 14]', '[8831, 8831, w^3 + 5*w^2 - 2*w - 14]', '[8839, 8839, -7*w^3 + 5*w^2 + 21*w - 9]', '[8839, 8839, 10*w^3 - 12*w^2 - 26*w + 7]', '[8839, 8839, w^3 - 10*w^2 + 7*w + 10]', '[8839, 8839, w^3 + 8*w^2 - 11*w - 17]', '[8899, 8899, 14*w^3 - 17*w^2 - 31*w + 19]', '[8899, 8899, -w^3 + 4*w^2 + 2*w + 5]', '[8899, 8899, -3*w^3 + 3*w^2 + 4*w - 12]', '[8899, 8899, -9*w^3 + 11*w^2 + 16*w - 7]', '[8921, 8921, 2*w^3 - 4*w^2 - 3*w - 6]', '[8921, 8921, 10*w^3 - 13*w^2 - 18*w + 8]', '[8921, 8921, -6*w^3 + 5*w^2 + 6*w - 9]', '[8921, 8921, 6*w^3 - 9*w^2 - 15*w - 2]', '[8921, 8921, 9*w^3 - 8*w^2 - 23*w + 14]', '[8921, 8921, 5*w^3 - 3*w^2 - 8*w - 8]', '[8921, 8921, -3*w^3 - 7*w^2 + 11*w + 9]', '[8921, 8921, -2*w^3 + 14*w + 1]', '[8929, 8929, -11*w^3 + 13*w^2 + 22*w - 14]', '[8929, 8929, 9*w^3 - 8*w^2 - 28*w + 5]', '[8941, 8941, 6*w^3 - 8*w^2 - 7*w + 12]', '[8941, 8941, -4*w^3 - 3*w^2 + 18*w + 4]', '[8941, 8941, -9*w^3 + 7*w^2 + 23*w - 9]', '[8941, 8941, 7*w^3 - 11*w^2 - 13*w + 1]', '[8951, 8951, -2*w^3 + 3*w^2 + w - 13]', '[8951, 8951, 2*w^3 + 4*w^2 - 5*w - 14]', '[8969, 8969, 12*w^3 - 14*w^2 - 29*w + 8]', '[8969, 8969, -5*w^3 + 18*w]', '[8971, 8971, -8*w^3 + 13*w^2 + 17*w - 10]', '[8971, 8971, 8*w^3 - 9*w^2 - 20*w - 1]', '[8975, 1795, -2*w^3 - w^2 + 8*w - 8]', '[8975, 1795, -w^3 + 4*w^2 - 2*w - 16]', '[8989, 8989, -10*w^3 + 13*w^2 + 17*w - 12]', '[8989, 8989, -7*w^3 + 9*w^2 + 22*w - 12]', '[8989, 8989, -3*w^3 + 5*w^2 + 14*w - 4]', '[8989, 8989, 10*w^3 - 7*w^2 - 23*w + 3]', '[8999, 8999, -10*w^3 + 9*w^2 + 22*w - 7]', '[8999, 8999, 9*w^3 - 6*w^2 - 27*w + 5]', '[8999, 8999, -2*w^3 + 7*w^2 + 7*w - 15]', '[8999, 8999, -9*w^3 + 10*w^2 + 16*w - 9]', '[9001, 9001, -w^3 - w^2 + 13*w + 3]', '[9001, 9001, 8*w^3 - 6*w^2 - 27*w + 6]', '[9011, 9011, -3*w^3 - 5*w^2 + 16*w + 5]', '[9011, 9011, -9*w^3 + 7*w^2 + 26*w - 8]', '[9019, 9019, 3*w^3 - 5*w^2 - 9*w - 6]', '[9019, 9019, -10*w^3 + 7*w^2 + 25*w - 7]', '[9025, 95, -2*w^3 + 2*w^2 + 4*w + 9]', '[9025, 95, -2*w^3 + 2*w^2 + 4*w - 11]', '[9025, 1805, -7*w^3 + 3*w^2 + 21*w - 2]', '[9025, 1805, -4*w^3 + 8*w^2 + w - 11]', '[9029, 9029, 12*w^3 - 12*w^2 - 28*w + 5]', '[9029, 9029, 8*w^3 - 8*w^2 - 12*w + 1]', '[9031, 9031, 4*w^3 - 3*w^2 - 19*w - 4]', '[9031, 9031, 3*w^3 - 11*w^2 + 12]', '[9031, 9031, 8*w^2 - 7*w - 13]', '[9031, 9031, 9*w^3 - 18*w^2 - 16*w + 24]', '[9031, 9031, 3*w^3 - w^2 - 17*w - 4]', '[9031, 9031, -4*w^3 + 5*w^2 + 16*w - 6]', '[9031, 9031, w^3 + 7*w^2 - 8*w - 14]', '[9031, 9031, -6*w^3 + 5*w^2 + 23*w - 11]', '[9041, 9041, 7*w^3 - 10*w^2 - 8*w + 12]', '[9041, 9041, -6*w^3 + 2*w^2 + 13*w + 10]', '[9041, 9041, -w^3 + 4*w^2 + 6*w - 13]', '[9041, 9041, -2*w^3 - 2*w^2 + 16*w - 1]', '[9049, 9049, 6*w^3 - 7*w^2 - 21*w + 3]', '[9049, 9049, -8*w^3 + 2*w^2 + 24*w + 3]', '[9049, 9049, -6*w^3 + 12*w^2 + 4*w - 13]', '[9049, 9049, 7*w^3 - 9*w^2 - 17*w - 2]', '[9059, 9059, -9*w^3 + 5*w^2 + 24*w - 3]', '[9059, 9059, 7*w^3 - 11*w^2 - 8*w + 13]', '[9089, 9089, 4*w^3 - 3*w^2 - 8*w - 11]', '[9089, 9089, -2*w^3 + 6*w^2 + 3*w - 19]', '[9089, 9089, -5*w^3 + 11*w^2 + 2*w - 13]', '[9089, 9089, 10*w^3 - 6*w^2 - 24*w - 1]', '[9089, 9089, -10*w^3 + 14*w^2 + 16*w - 11]', '[9089, 9089, -4*w^3 + 12*w^2 + 7*w - 16]', '[9089, 9089, -7*w^3 + w^2 + 22*w + 3]', '[9089, 9089, 2*w^3 - 10*w^2 + w + 17]', '[9091, 9091, -3*w^3 + 11*w^2 + w - 17]', '[9091, 9091, -5*w^3 + 7*w^2 + 10*w - 17]', '[9101, 9101, 4*w^3 + w^2 - 20*w - 14]', '[9101, 9101, 3*w^3 + 2*w^2 - 18*w + 6]', '[9101, 9101, -8*w^3 + 4*w^2 + 25*w - 2]', '[9101, 9101, 3*w^3 - 7*w^2 + 3*w + 9]', '[9104, 1138, -2*w^3 + 14*w - 2]', '[9104, 1138, -6*w^3 + 4*w^2 + 22*w]', '[9109, 9109, -2*w^3 - 5*w^2 + 13*w + 2]', '[9109, 9109, -7*w^2 + 9*w + 17]', '[9119, 9119, 6*w^3 - 10*w^2 - 8*w + 17]', '[9119, 9119, 3*w^3 - 7*w^2 + 2*w + 10]', '[9119, 9119, -6*w^3 + 3*w^2 + 21*w - 7]', '[9119, 9119, -7*w^3 + w^2 + 17*w - 1]', '[9136, 1142, 2*w^3 - 8*w - 12]', '[9136, 1142, 8*w^3 - 10*w^2 - 22*w + 4]', '[9136, 1142, -10*w^3 + 10*w^2 + 22*w - 6]', '[9136, 1142, -4*w^3 + 12*w^2 + 4*w - 18]', '[9161, 9161, -4*w^3 + 20*w - 1]', '[9161, 9161, -11*w^3 + 10*w^2 + 26*w - 5]', '[9181, 9181, -2*w^3 + 2*w^2 + 3*w - 11]', '[9181, 9181, 9*w^3 - 10*w^2 - 17*w + 4]', '[9199, 9199, -11*w^3 + 13*w^2 + 23*w - 9]', '[9199, 9199, 5*w^3 - 9*w^2 - 12*w + 1]', '[9199, 9199, 4*w^3 + w^2 - 16*w + 1]', '[9199, 9199, -7*w^3 + 9*w^2 + 22*w - 9]', '[9221, 9221, 3*w^3 - 10*w^2 + 4*w + 13]', '[9221, 9221, -9*w^3 + 5*w^2 + 23*w - 4]', '[9221, 9221, 11*w^3 - 13*w^2 - 28*w + 8]', '[9221, 9221, 4*w^3 - 5*w^2 - 11*w - 7]', '[9229, 9229, -4*w^3 + 18*w - 7]', '[9229, 9229, 5*w^3 - 9*w^2 - w + 9]', '[9229, 9229, 15*w^3 - 20*w^2 - 31*w + 17]', '[9229, 9229, w^3 - w - 12]', '[9239, 9239, -w^3 + 9*w^2 - 14]', '[9239, 9239, 5*w^2 - 8*w - 16]', '[9241, 9241, -2*w^3 + 10*w^2 + w - 17]', '[9241, 9241, 3*w^3 - 11*w^2 - 3*w + 12]', '[9251, 319, -6*w^3 + 2*w^2 + 21*w - 3]', '[9251, 319, -6*w^3 + 11*w^2 + 11*w - 4]', '[9251, 319, -6*w^3 + 2*w^2 + 7*w + 5]', '[9251, 319, w^3 - 5*w^2 + 7*w + 10]', '[9311, 9311, 7*w^3 - 10*w^2 - 19*w + 5]', '[9311, 9311, 8*w^3 - 13*w^2 - 14*w + 6]', '[9319, 9319, -2*w^3 + 6*w^2 + 7*w - 16]', '[9319, 9319, -8*w^3 + 2*w^2 + 27*w + 3]', '[9329, 9329, -4*w^3 + 14*w^2 - 3*w - 15]', '[9329, 9329, 5*w^3 + 5*w^2 - 21*w - 14]', '[9329, 9329, -4*w^3 - w^2 + 21*w + 1]', '[9329, 9329, -4*w^3 - w^2 + 21*w + 6]', '[9341, 9341, -5*w^3 + 13*w^2 + 6*w - 16]', '[9341, 9341, -12*w^3 + 11*w^2 + 29*w - 6]', '[9349, 9349, 9*w^3 - 10*w^2 - 16*w + 2]', '[9349, 9349, -w^3 - 8*w^2 + 10*w + 10]', '[9359, 1337, 5*w^3 - 20*w + 1]', '[9359, 1337, -9*w^3 + 7*w^2 + 25*w - 8]', '[9359, 1337, -w^3 + 7*w^2 + 2*w - 18]', '[9359, 1337, -3*w^3 - 4*w^2 + 15*w + 3]', '[9371, 9371, -2*w^3 - 7*w^2 + 11*w + 10]', '[9371, 9371, -9*w^3 + 11*w^2 + 14*w - 9]', '[9371, 9371, 9*w^3 - 11*w^2 - 15*w + 4]', '[9371, 9371, -11*w^3 + 9*w^2 + 26*w - 5]', '[9389, 9389, -4*w^3 + 7*w^2 - w - 8]', '[9389, 9389, 3*w^2 + 3*w - 13]', '[9389, 9389, -6*w^3 + 9*w^2 + 15*w - 2]', '[9389, 9389, 6*w^3 - 11*w^2 - 16*w + 8]', '[9421, 9421, -w^3 - 6*w^2 + 12*w + 16]', '[9421, 9421, 8*w^3 - 13*w^2 - 12*w + 18]', '[9421, 9421, -7*w^3 + 2*w^2 + 18*w - 2]', '[9421, 9421, 10*w^3 - 15*w^2 - 22*w + 13]', '[9424, 1178, 2*w^3 + 2*w^2 - 2*w - 10]', '[9424, 1178, 6*w^3 - 4*w^2 - 22*w + 2]', '[9424, 1178, 2*w^3 - 14*w]', '[9424, 1178, -8*w^3 + 12*w^2 + 18*w - 8]', '[9431, 9431, 8*w^3 - 11*w^2 - 16*w]', '[9431, 9431, -10*w^3 + 15*w^2 + 21*w - 12]', '[9431, 9431, -5*w^3 + 6*w^2 + 19*w - 11]', '[9431, 9431, 5*w^3 - 2*w^2 - 10*w - 12]', '[9439, 9439, -12*w^3 + 11*w^2 + 29*w - 4]', '[9439, 9439, 8*w^3 - 9*w^2 - 11*w + 3]', '[9449, 9449, -w^3 - 7*w^2 + 8*w + 13]', '[9449, 9449, 13*w^3 - 16*w^2 - 28*w + 13]', '[9449, 9449, w^3 - 3*w - 11]', '[9449, 9449, -8*w^3 + 7*w^2 + 26*w - 7]', '[9475, 1895, w^3 + 4*w^2 - 12*w - 12]', '[9475, 1895, 4*w^3 + w^2 - 18*w + 2]', '[9481, 9481, -4*w^3 + 9*w^2 + 11*w - 20]', '[9481, 9481, 10*w^3 - 6*w^2 - 24*w - 3]', '[9481, 9481, -4*w^3 + 9*w^2 + 11*w - 3]', '[9481, 9481, w^3 - 3*w^2 - 3*w + 15]', '[9481, 9481, -w^3 + 3*w^2 + 8*w - 12]', '[9481, 9481, 6*w^3 - 4*w^2 - 22*w + 1]', '[9481, 9481, 9*w^3 - 19*w^2 - 13*w + 25]', '[9481, 9481, -7*w^3 + 9*w^2 + 20*w - 2]', '[9491, 9491, 9*w^3 - 6*w^2 - 20*w - 1]', '[9491, 9491, -7*w^3 + w^2 + 19*w + 1]', '[9511, 9511, -12*w^3 + 13*w^2 + 27*w - 12]', '[9511, 9511, -8*w^3 + 7*w^2 + 13*w - 5]', '[9511, 9511, -5*w^3 + 2*w^2 + 21*w - 2]', '[9511, 9511, -11*w^3 + 11*w^2 + 25*w - 8]', '[9521, 9521, -4*w^3 + 9*w^2 + 12*w - 18]', '[9521, 9521, -5*w^3 + 10*w^2 + 14*w - 6]', '[9521, 9521, -9*w^3 + 14*w^2 + 19*w - 11]', '[9521, 9521, 8*w^3 - 9*w^2 - 20*w - 2]', '[9539, 9539, 9*w^3 - 12*w^2 - 24*w + 8]', '[9539, 9539, 3*w^2 + 6*w - 10]', '[9551, 9551, 4*w^2 + 4*w - 11]', '[9551, 9551, 3*w^3 + w^2 - 6*w - 12]', '[9559, 869, 6*w^3 - 13*w^2 - 11*w + 9]', '[9559, 869, 2*w^3 - w^2 + 3*w - 7]', '[9559, 869, 10*w^3 - 11*w^2 - 27*w + 4]', '[9559, 869, -10*w^3 + 13*w^2 + 18*w - 10]', '[9559, 9559, -13*w^3 + 7*w^2 + 37*w + 2]', '[9559, 9559, 8*w^3 - 14*w^2 - 5*w + 11]', '[9559, 9559, 4*w^3 - 7*w^2 - w + 10]', '[9559, 9559, -8*w^3 + 5*w^2 + 23*w - 5]', '[9584, 1198, 6*w^3 - 12*w^2 - 12*w + 8]', '[9584, 1198, 6*w^2 - 16]', '[9599, 9599, 5*w^3 - 8*w^2 - 18*w + 7]', '[9599, 9599, -10*w^3 + 6*w^2 + 27*w - 3]', '[9601, 9601, -9*w^3 + 10*w^2 + 15*w - 1]', '[9601, 9601, -w^3 - 8*w^2 + 11*w + 11]', '[9616, 1202, -8*w^3 + 4*w^2 + 24*w - 2]', '[9616, 1202, -10*w^3 + 14*w^2 + 22*w - 10]', '[9629, 9629, -w^3 - w^2 + 7*w + 13]', '[9629, 9629, -5*w^3 + 13*w^2 + 8*w - 17]', '[9629, 9629, w^3 + 3*w^2 - 5*w - 17]', '[9629, 9629, 8*w^3 - 12*w^2 - 21*w + 9]', '[9631, 9631, 9*w^3 - 7*w^2 - 19*w + 4]', '[9631, 9631, -10*w^3 + 12*w^2 + 19*w - 11]', '[9641, 9641, -7*w^3 + 9*w^2 + 22*w - 10]', '[9641, 9641, 3*w^3 + 7*w^2 - 11*w - 18]', '[9641, 9641, 6*w^3 - 5*w^2 - 7*w - 5]', '[9641, 9641, -8*w^3 + 8*w^2 + 25*w + 7]', '[9649, 9649, -9*w^3 + 10*w^2 + 17*w - 7]', '[9649, 9649, 4*w^3 - 3*w^2 - 10*w - 10]', '[9671, 9671, -5*w^3 + 14*w^2 + 3*w - 18]', '[9671, 9671, 9*w^3 - 6*w^2 - 28*w + 6]', '[9671, 9671, -2*w^3 + 4*w^2 + 10*w - 17]', '[9671, 9671, -5*w^3 + 2*w^2 + 21*w + 3]', '[9671, 9671, 2*w^3 - 5*w^2 - 6*w + 19]', '[9671, 9671, -3*w^3 - 3*w^2 + 17*w + 15]', '[9671, 9671, -8*w^3 + 10*w^2 + 19*w - 2]', '[9671, 9671, 11*w^3 - 8*w^2 - 27*w - 2]', '[9689, 9689, 11*w^3 - 8*w^2 - 27*w + 1]', '[9689, 9689, w^3 + 5*w^2 - w - 13]', '[9691, 9691, 6*w^3 - 10*w^2 - 11*w + 22]', '[9691, 9691, -4*w^3 + 12*w^2 + 3*w - 15]', '[9691, 9691, -10*w^3 + 6*w^2 + 22*w - 3]', '[9691, 9691, 10*w^3 - 11*w^2 - 31*w + 18]', '[9701, 9701, 5*w^3 - 6*w^2 - 11*w - 7]', '[9701, 9701, -7*w^3 + 3*w^2 + 26*w + 2]', '[9701, 9701, -11*w^3 + 13*w^2 + 23*w - 11]', '[9701, 9701, -4*w^3 + 10*w^2 - w - 12]', '[9701, 9701, -7*w^3 + w^2 + 23*w + 3]', '[9701, 9701, -3*w^3 - 4*w^2 + 13*w + 2]', '[9701, 9701, 3*w^3 - 10*w^2 + w + 19]', '[9701, 9701, -11*w^3 + 13*w^2 + 23*w - 10]', '[9725, 1945, w^3 - 13]', '[9725, 1945, -7*w^3 + 3*w^2 + 26*w + 3]', '[9739, 9739, -3*w^3 + 3*w^2 + 5*w - 12]', '[9739, 9739, 9*w^3 - 10*w^2 - 17*w + 5]', '[9739, 9739, 3*w^3 + 6*w^2 - 15*w - 13]', '[9739, 9739, 5*w^3 - 5*w^2 - 19*w + 8]', '[9781, 9781, 5*w^3 - 12*w^2 - w + 14]', '[9781, 9781, -7*w^3 + 23*w + 5]', '[9791, 9791, -6*w^3 + 3*w^2 + 23*w - 1]', '[9791, 9791, -11*w^3 + 12*w^2 + 24*w - 10]', '[9801, 33, 9*w^3 - 9*w^2 - 18*w + 3]', '[9801, 33, 9*w^3 - 9*w^2 - 18*w + 6]', '[9801, 363, -6*w^3 + 6*w^2 + 21*w - 3]', '[9801, 363, -3*w^3 + 3*w^2 + 15*w - 6]', '[9811, 9811, -8*w^3 + 6*w^2 + 21*w - 10]', '[9811, 9811, 11*w^3 - 12*w^2 - 26*w + 2]', '[9811, 9811, 5*w^3 - 7*w^2 - 5*w + 13]', '[9811, 9811, -6*w^3 + 23*w + 2]', '[9829, 9829, 8*w^3 - 8*w^2 - 12*w + 5]', '[9829, 9829, -12*w^3 + 12*w^2 + 28*w - 9]', '[9839, 9839, 4*w^3 - w^2 - 7*w - 10]', '[9839, 9839, 4*w^2 + 3*w - 12]', '[9871, 9871, -9*w^3 + 13*w^2 + 20*w - 9]', '[9871, 9871, 8*w^3 - 10*w^2 - 18*w - 1]', '[9889, 9889, 2*w^3 - 2*w^2 - 13*w + 4]', '[9889, 9889, 7*w^3 - 9*w^2 - 18*w + 1]', '[9889, 9889, w^3 + w^2 + 2*w - 11]', '[9889, 9889, -7*w^3 + 7*w^2 + 23*w - 5]', '[9899, 9899, 3*w^3 + w^2 - 18*w - 12]', '[9899, 9899, 11*w^3 - 10*w^2 - 31*w + 12]', '[9899, 9899, -4*w^3 + 7*w^2 + 14*w - 19]', '[9899, 9899, 2*w^3 - 7*w^2 + 5*w + 11]', '[9899, 9899, -w^3 - 4*w^2 + 11*w + 15]', '[9899, 9899, -7*w^3 + 10*w^2 + 17*w - 4]', '[9899, 9899, -6*w^3 + w^2 + 21*w]', '[9899, 9899, 5*w^3 - w^2 - 22*w + 8]', '[9901, 9901, w^3 + 8*w^2 - 10*w - 18]', '[9901, 9901, w^3 - 2*w^2 - 11*w + 4]', '[9904, 1238, -2*w^3 + 10*w^2 - 2*w - 12]', '[9904, 1238, 8*w^2 - 6*w - 14]', '[9929, 9929, -8*w^3 + 10*w^2 + 20*w - 3]', '[9929, 9929, -9*w^3 + 7*w^2 + 27*w - 9]', '[9931, 9931, 3*w^3 - w^2 - 16*w + 2]', '[9931, 9931, -2*w^3 + 10*w^2 + 2*w - 15]', '[9931, 9931, w^3 + 4*w^2 + 2*w - 10]', '[9931, 9931, 10*w^3 - 15*w^2 - 24*w + 14]', '[9949, 9949, -7*w^3 + 2*w^2 + 24*w]', '[9949, 9949, 10*w^3 - 12*w^2 - 23*w + 4]', '[10000, 10, 10]'], 'label': '4.4.725.1', 'narrow_class_no': 1, 'primes': ['[11, 11, -w^3 + 2*w^2 + w - 3]', '[11, 11, w^3 - 3*w]', '[16, 2, 2]', '[19, 19, -w^3 + 2*w + 2]', '[19, 19, 2*w^3 - 3*w^2 - 4*w + 2]', '[25, 5, 2*w^3 - 2*w^2 - 4*w + 1]', '[29, 29, w^3 - w^2 - 4*w + 1]', '[31, 31, w^3 - 4*w + 1]', '[31, 31, -w^2 + 2*w + 3]', '[41, 41, 2*w^2 - w - 3]', '[41, 41, -w^3 + 3*w^2 + w - 4]', '[49, 7, 2*w^3 - 3*w^2 - 5*w + 2]', '[49, 7, w^2 + w - 3]', '[61, 61, 2*w^3 - 3*w^2 - 4*w]', '[61, 61, -3*w^3 + 4*w^2 + 7*w - 3]', '[79, 79, 2*w^3 - 4*w^2 - 3*w + 2]', '[79, 79, w^3 + w^2 - 3*w - 5]', '[81, 3, -3]', '[89, 89, -3*w^3 + 4*w^2 + 5*w - 3]', '[89, 89, 3*w^3 - 2*w^2 - 7*w]', '[101, 101, -3*w^3 + 5*w^2 + 7*w - 5]', '[101, 101, -2*w^2 - w + 4]', '[109, 109, 3*w^3 - 5*w^2 - 5*w + 3]', '[109, 109, -2*w^3 + 7*w + 1]', '[109, 109, 4*w^3 - 5*w^2 - 9*w + 3]', '[109, 109, -2*w^3 + 5*w + 4]', '[121, 11, 3*w^3 - 3*w^2 - 6*w + 1]', '[131, 131, -3*w^3 + 2*w^2 + 8*w - 2]', '[131, 131, w^3 + w^2 - 5*w]', '[139, 139, -w^3 + 2*w^2 + 2*w - 6]', '[139, 139, 2*w^3 - 5*w^2 - 2*w + 6]', '[139, 139, 3*w^3 - 5*w^2 - 6*w + 4]', '[139, 139, -2*w^3 + 2*w^2 + 7*w - 2]', '[149, 149, -3*w^3 + 4*w^2 + 7*w - 2]', '[149, 149, w^3 - w^2 - 3*w - 3]', '[149, 149, 3*w^3 - 2*w^2 - 9*w + 2]', '[149, 149, w - 4]', '[169, 13, -4*w^3 + 5*w^2 + 8*w - 4]', '[169, 13, 3*w^3 - 2*w^2 - 6*w]', '[179, 179, -4*w^3 + 3*w^2 + 10*w - 3]', '[179, 179, -4*w^3 + 4*w^2 + 9*w - 3]', '[179, 179, -2*w^3 + w^2 + 8*w - 1]', '[179, 179, 4*w^3 - 3*w^2 - 8*w - 2]', '[191, 191, -w^3 + 4*w^2 - 6]', '[191, 191, -4*w^3 + 4*w^2 + 9*w - 2]', '[211, 211, 2*w^3 - w^2 - 8*w]', '[211, 211, -w^3 + 4*w^2 + w - 5]', '[229, 229, w^3 - 3*w^2 + w + 5]', '[229, 229, 2*w^3 - 7*w]', '[251, 251, 3*w^3 - 4*w^2 - 7*w + 1]', '[251, 251, w^3 - w - 4]', '[269, 269, 3*w^3 - 6*w^2 - 3*w + 7]', '[269, 269, 3*w^3 - 9*w - 2]', '[271, 271, -3*w^3 + w^2 + 10*w]', '[271, 271, 4*w^3 - 5*w^2 - 9*w + 2]', '[281, 281, -3*w^3 + w^2 + 11*w - 1]', '[281, 281, -2*w^2 + 5*w + 4]', '[281, 281, -3*w^3 + 3*w^2 + 10*w - 1]', '[281, 281, 3*w^3 - 4*w^2 - 7*w - 1]', '[311, 311, -w^3 + 7*w + 2]', '[311, 311, 3*w^2 - 7]', '[331, 331, w^3 + 2*w^2 - 3*w - 7]', '[331, 331, w^3 - w^2 - w + 5]', '[359, 359, -4*w^3 + 5*w^2 + 6*w - 4]', '[359, 359, -5*w^3 + 4*w^2 + 12*w - 2]', '[361, 19, -4*w^3 + 4*w^2 + 8*w - 3]', '[379, 379, -3*w^3 + 10*w + 2]', '[379, 379, 2*w^3 - 5*w^2 + 6]', '[389, 389, -5*w^3 + 6*w^2 + 10*w - 3]', '[389, 389, w^3 + 3*w^2 - 6*w - 7]', '[409, 409, -4*w^3 + 4*w^2 + 7*w]', '[409, 409, -4*w^2 + 4*w + 5]', '[421, 421, -2*w^3 + 2*w^2 + 8*w - 3]', '[421, 421, w^3 + 3*w^2 - 6*w - 6]', '[431, 431, 4*w^3 - 6*w^2 - 10*w + 5]', '[431, 431, 3*w^3 - 5*w^2 - 6*w + 2]', '[431, 431, -4*w^3 + 3*w^2 + 8*w - 2]', '[431, 431, -5*w^3 + 6*w^2 + 10*w - 6]', '[449, 449, 4*w^3 - 5*w^2 - 6*w + 2]', '[449, 449, -w^3 + 2*w^2 + w - 7]', '[461, 461, 5*w^3 - 4*w^2 - 12*w + 1]', '[461, 461, w^3 + 2*w^2 - 2*w - 6]', '[479, 479, w^3 + 3*w^2 - 5*w - 7]', '[479, 479, 2*w^3 - 6*w^2 - w + 6]', '[491, 491, 3*w^2 - 5*w - 6]', '[491, 491, -2*w^3 - w^2 + 9*w + 1]', '[499, 499, 4*w^3 - 3*w^2 - 12*w + 4]', '[499, 499, 4*w^3 - 5*w^2 - 10*w + 2]', '[499, 499, -5*w^3 + 5*w^2 + 11*w - 4]', '[499, 499, -4*w^3 + 4*w^2 + 7*w - 3]', '[509, 509, -5*w^3 + 6*w^2 + 10*w - 4]', '[509, 509, -4*w^2 + 3*w + 8]', '[509, 509, -3*w^3 + w^2 + 10*w - 1]', '[509, 509, 5*w^3 - 6*w^2 - 12*w + 3]', '[521, 521, -5*w^3 + 6*w^2 + 10*w - 5]', '[521, 521, 2*w^3 - 6*w^2 - w + 7]', '[521, 521, w^3 - 5*w^2 + 9]', '[521, 521, w^3 + 3*w^2 - 5*w - 6]', '[529, 23, 3*w^3 - 5*w^2 - 6*w + 1]', '[529, 23, -2*w^3 - w^2 + 8*w + 1]', '[541, 541, 3*w^3 - 5*w^2 - 8*w + 3]', '[541, 541, -w^3 + 3*w^2 + 4*w - 7]', '[569, 569, -w^3 + 7*w - 1]', '[569, 569, -3*w^3 + 2*w^2 + 11*w]', '[571, 571, w^3 - 4*w - 6]', '[571, 571, 4*w^3 - 5*w^2 - 11*w + 2]', '[571, 571, -5*w^3 + 5*w^2 + 11*w - 3]', '[571, 571, -2*w^3 + 6*w^2 + 2*w - 9]', '[599, 599, 3*w^3 - 6*w^2 - 6*w + 4]', '[599, 599, 3*w^2 - 8]', '[601, 601, -4*w^3 + 2*w^2 + 12*w - 1]', '[601, 601, -5*w^3 + 7*w^2 + 11*w - 5]', '[619, 619, -w^3 + 5*w^2 - w - 6]', '[619, 619, 4*w^2 - 3*w - 7]', '[631, 631, 2*w^3 - 3*w^2 - 5*w - 3]', '[631, 631, 5*w^3 - 3*w^2 - 13*w + 2]', '[631, 631, 2*w^3 + w^2 - 11*w - 2]', '[631, 631, 6*w^3 - 6*w^2 - 14*w + 3]', '[641, 641, 2*w^2 - w - 9]', '[641, 641, -w^3 + 3*w^2 + 2*w - 10]', '[659, 659, -4*w^3 + w^2 + 14*w + 1]', '[659, 659, 5*w^3 - 6*w^2 - 11*w + 1]', '[709, 709, 6*w^3 - 7*w^2 - 14*w + 3]', '[709, 709, 6*w^3 - 8*w^2 - 15*w + 7]', '[709, 709, 2*w^3 - 5*w^2 - 5*w + 2]', '[709, 709, -4*w^3 + 3*w^2 + 11*w - 5]', '[739, 739, 5*w^3 - 7*w^2 - 7*w + 5]', '[739, 739, -w^3 - 3*w^2 + 6*w + 1]', '[751, 751, 5*w^3 - 3*w^2 - 11*w + 1]', '[751, 751, 5*w^3 - 6*w^2 - 13*w + 3]', '[769, 769, -w^2 + 2*w + 7]', '[769, 769, -4*w^3 + 6*w^2 + 11*w - 4]', '[809, 809, -5*w^3 + 4*w^2 + 13*w - 5]', '[809, 809, 2*w^3 + w^2 - 8*w]', '[811, 811, -w^3 - 4*w^2 + 7*w + 6]', '[811, 811, 3*w^3 - 5*w^2 - 7*w]', '[811, 811, -2*w^3 - w^2 + 9*w]', '[811, 811, -5*w^3 + 5*w^2 + 9*w - 5]', '[821, 821, -w^3 + 3*w^2 + 4*w - 8]', '[821, 821, -3*w^3 + 7*w + 6]', '[821, 821, -3*w^3 + w^2 + 6*w + 5]', '[821, 821, 5*w^3 - 8*w^2 - 9*w + 5]', '[829, 829, -w^3 + w^2 + w - 6]', '[829, 829, 5*w^3 - 6*w^2 - 9*w + 3]', '[839, 839, -4*w^3 + 2*w^2 + 14*w - 3]', '[839, 839, 5*w^3 - 7*w^2 - 7*w + 4]', '[841, 29, -w^2 + 6*w + 1]', '[859, 859, -4*w^3 + 2*w^2 + 13*w - 2]', '[859, 859, 5*w^3 - 6*w^2 - 12*w + 2]', '[881, 881, -2*w^3 + 4*w^2 + w - 9]', '[881, 881, -6*w^3 + 9*w^2 + 12*w - 7]', '[911, 911, 5*w^3 - 6*w^2 - 11*w]', '[911, 911, -w^3 + 4*w^2 + 4*w - 8]', '[929, 929, 5*w^3 - 8*w^2 - 11*w + 7]', '[929, 929, -4*w^3 + 13*w + 3]', '[929, 929, 3*w^3 - 7*w^2 - w + 8]', '[929, 929, -6*w^3 + 5*w^2 + 16*w - 5]', '[941, 941, -4*w^3 + w^2 + 11*w]', '[941, 941, -2*w^3 - w^2 + 10*w - 1]', '[941, 941, -5*w^3 + 5*w^2 + 9*w]', '[941, 941, -5*w^2 + 5*w + 6]', '[961, 31, -5*w^3 + 5*w^2 + 10*w - 3]', '[971, 971, -2*w^3 - 3*w^2 + 8*w + 7]', '[971, 971, 3*w^3 - 8*w^2 - 2*w + 9]']}
• nf_fields •

  Column	Type
  class_group	jsonb
  class_number	numeric
  cm	boolean
  coeffs	numeric[]
  conductor	numeric
  degree	smallint
  disc_abs	numeric
  disc_rad	numeric
  disc_sign	smallint
  embeddings_gen_imag	double precision[]
  embeddings_gen_real	double precision[]
  gal_is_abelian	boolean
  gal_is_cyclic	boolean
  gal_is_solvable	boolean
  galois_disc_exponents	numeric[]
  galois_label	text
  galt	integer
  grd	double precision
  index	integer
  inessentialp	integer[]
  is_galois	boolean
  is_minimal_sibling	boolean
  iso_number	smallint
  label	text
  local_algs	text[]
  minimal_sibling	numeric[]
  monogenic	smallint
  num_ram	smallint
  r2	smallint
  ramps	numeric[]
  rd	double precision
  regulator	numeric
  subfield_mults	integer[]
  subfields	text[]
  torsion_order	smallint
  used_grh	boolean
  dirichlet_group	bigint[]
  frobs	jsonb
  res	jsonb
  source	text
  subfield_inclusions	smallint[]
  torsion_gen	text
  units	jsonb
  unitsGmodule	jsonb
  unitsType	text
  zk	jsonb

  
  {'class_group': [], 'class_number': 1, 'cm': False, 'coeffs': [1, 1, -3, -1, 1], 'conductor': 0, 'degree': 4, 'dirichlet_group': [], 'disc_abs': 725, 'disc_rad': 145, 'disc_sign': 1, 'frobs': [[2, [[4, 1]]], [3, [[4, 1]]], [5, [0]], [7, [[2, 2]]], [11, [[2, 1], [1, 2]]], [13, [[2, 2]]], [17, [[4, 1]]], [19, [[2, 1], [1, 2]]], [23, [[2, 2]]], [29, [0]], [31, [[2, 1], [1, 2]]], [37, [[4, 1]]], [41, [[2, 1], [1, 2]]], [43, [[4, 1]]], [47, [[4, 1]]], [53, [[2, 2]]], [59, [[2, 2]]]], 'gal_is_abelian': False, 'gal_is_cyclic': False, 'gal_is_solvable': True, 'galois_disc_exponents': [4, 4], 'galois_label': '4T3', 'galt': 3, 'grd': 12.041594578792296, 'index': 1, 'inessentialp': [], 'is_galois': False, 'is_minimal_sibling': True, 'iso_number': 1, 'label': '4.4.725.1', 'local_algs': ['5.4.2.1', '29.2.1.2', '29.2.0.1'], 'monogenic': 1, 'num_ram': 2, 'r2': 0, 'ramps': [5, 29], 'rd': 5.18900992827, 'regulator': {'__RealLiteral__': 0, 'data': '0.825068847935', 'prec': 47}, 'res': {'gal': ['-1,11,-5,-36,17,26,-12,-2,1'], 'sib': ['1,-1,-5,-1,1', '-1,11,-5,-36,17,26,-12,-2,1']}, 'subfield_mults': [1], 'subfields': ['-1.-1.1'], 'torsion_gen': '\\( -1 \\)', 'torsion_order': 2, 'units': ['\\( a^{3} - a^{2} - 2 a + 1 \\)', '\\( a \\)', '\\( a - 1 \\)'], 'used_grh': False, 'zk': ['1', 'a', 'a^2', 'a^3']}