Hilbert modular form data - 4.4.1125.1-31.1-b

Formats: - HTML - YAML - JSON - 2024-05-06T00:14:29.774765

• 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': 1, 'disc': 1125, 'field_bad_primes': [3, 5], 'field_label': '4.4.1125.1', 'is_CM': 'no', 'is_base_change': 'no', 'label': '4.4.1125.1-31.1-b', 'label_nsuffix': 1, 'label_suffix': 'b', 'level_bad_primes': [31], 'level_ideal': '[31, 31, -2*w + 1]', 'level_label': '31.1', 'level_norm': 31, 'parallel_weight': 2, 'short_label': '31.1-b', 'weight': '[2, 2, 2, 2]'}
• hmf_hecke •

  Column	Type
  AL_eigenvalues	jsonb
  hecke_eigenvalues	jsonb
  hecke_polynomial	text
  label	text

  
  {'AL_eigenvalues': [['[31, 31, -2*w + 1]', 1]], 'hecke_eigenvalues': [-2, 2, 1, 6, -10, 6, 6, -1, 0, 0, 0, -4, -4, -4, 12, -2, -2, -2, -2, -14, 2, 2, 2, -6, -6, -18, -2, -2, -18, 24, -8, -8, -8, 4, -12, 4, 20, 22, -10, -10, 22, -12, 20, -12, 20, 0, -16, 0, 16, 18, -14, -14, -14, 22, -10, -26, -10, -16, -16, 16, 16, -20, 12, -20, -20, -8, -24, -8, -8, 10, -22, 30, -18, -2, -34, -28, 36, 20, 36, 38, 38, -26, 6, -6, 10, 26, -6, -16, 0, -16, 16, 38, 6, -42, 6, 30, -2, -34, 30, -30, -46, 18, 18, -4, 28, 28, -4, 8, -40, -24, -24, 26, -38, -6, 26, -8, -8, -8, -40, 36, 4, 20, 36, -42, -10, 22, 22, 20, -12, -12, 20, -32, -16, 0, 48, -48, 48, 16, 48, 34, 50, -14, 18, -20, 44, -20, 44, 24, 24, 8, -8, 42, -6, -6, 58, -32, 0, 0, 32], 'hecke_polynomial': 'x', 'label': '4.4.1125.1-31.1-b'}
• hmf_fields •

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

  
  {'degree': 4, 'discriminant': 1125, 'ideals': ['[1, 1, 1]', '[5, 5, -w^2 + 1]', '[9, 3, w^3 + w^2 - 4*w - 3]', '[16, 2, 2]', '[25, 5, -2*w^3 + 6*w - 1]', '[29, 29, -w^3 - w^2 + 2*w + 3]', '[29, 29, -w^2 + w + 3]', '[29, 29, w^3 - w^2 - 4*w + 2]', '[29, 29, 2*w^3 + w^2 - 7*w]', '[31, 31, -2*w + 1]', '[31, 31, 2*w^2 - 5]', '[31, 31, 2*w^3 + 2*w^2 - 6*w - 3]', '[31, 31, 2*w^3 - 8*w + 1]', '[45, 15, w^3 + 2*w^2 - 3*w - 4]', '[59, 59, w^3 + w^2 - 2*w - 5]', '[59, 59, -w^3 + 2*w^2 + 4*w - 5]', '[59, 59, -3*w^3 + 10*w - 4]', '[59, 59, -2*w^3 - w^2 + 7*w - 2]', '[61, 61, 4*w^3 + w^2 - 13*w - 1]', '[61, 61, 2*w^3 - w^2 - 5*w + 2]', '[61, 61, -3*w^3 - w^2 + 8*w]', '[61, 61, 3*w^3 - w^2 - 10*w + 5]', '[80, 10, 2*w^3 + 2*w^2 - 6*w - 6]', '[81, 3, -3]', '[89, 89, w^3 + w^2 - w - 4]', '[89, 89, 2*w^2 - w - 6]', '[89, 89, -3*w^3 - 2*w^2 + 10*w + 1]', '[89, 89, -2*w^3 + w^2 + 8*w - 2]', '[121, 11, -w^3 + 3*w + 3]', '[121, 11, 3*w^3 - 9*w + 1]', '[125, 5, 3*w^3 - w^2 - 11*w + 3]', '[144, 6, 2*w^3 + 2*w^2 - 8*w - 6]', '[145, 145, w^2 - 6]', '[145, 145, -w^3 + 4*w + 3]', '[145, 145, w^3 + w^2 - 3*w + 2]', '[145, 145, w - 4]', '[149, 149, 3*w^3 + 2*w^2 - 9*w - 5]', '[149, 149, w^3 + 2*w^2 - 2*w - 7]', '[149, 149, w^3 + w^2 - 5*w - 4]', '[149, 149, -3*w^3 + 11*w - 4]', '[151, 151, 3*w^3 - w^2 - 9*w + 3]', '[151, 151, 3*w^3 - 8*w + 2]', '[151, 151, 4*w^3 + w^2 - 12*w - 1]', '[151, 151, -4*w^3 + 13*w - 3]', '[155, 155, -3*w^3 - w^2 + 11*w - 1]', '[155, 155, w^3 - 2*w^2 - 4*w + 4]', '[155, 155, 2*w^3 + 2*w^2 - 5*w - 5]', '[155, 155, -w^2 + 2*w + 3]', '[179, 179, -4*w^3 - w^2 + 14*w - 1]', '[179, 179, 3*w^3 + 2*w^2 - 8*w - 4]', '[179, 179, -w^3 + w^2 + w - 3]', '[179, 179, -2*w^3 + 2*w^2 + 7*w - 5]', '[181, 181, 4*w^3 + w^2 - 12*w]', '[181, 181, -3*w^3 + 8*w - 1]', '[181, 181, 4*w^3 - 13*w + 2]', '[181, 181, -3*w^3 + w^2 + 9*w - 4]', '[211, 211, 2*w^3 + 3*w^2 - 6*w - 6]', '[211, 211, -w^3 + 6*w - 2]', '[211, 211, 2*w^3 - 9*w + 2]', '[211, 211, 2*w^3 + 3*w^2 - 6*w - 5]', '[225, 15, 5*w^3 + w^2 - 18*w + 1]', '[239, 239, w^3 + 3*w^2 - 2*w - 10]', '[239, 239, 2*w^3 + w^2 - 9*w - 4]', '[239, 239, 2*w^3 + w^2 - 9*w + 3]', '[239, 239, -w^3 - 3*w^2 + 2*w + 3]', '[241, 241, 5*w^3 + w^2 - 16*w - 1]', '[241, 241, -2*w^3 - 4*w^2 + 5*w + 9]', '[241, 241, 3*w^3 + w^2 - 13*w + 1]', '[241, 241, 5*w^3 - 16*w]', '[256, 4, 4]', '[261, 87, 2*w^3 + 3*w^2 - 7*w - 7]', '[261, 87, w^3 - w^2 - 6*w + 2]', '[261, 87, -2*w^3 - 3*w^2 + 7*w + 4]', '[261, 87, -w^3 + w^2 + 6*w - 5]', '[269, 269, -3*w^3 - 2*w^2 + 7*w + 4]', '[269, 269, -2*w^3 - 3*w^2 + 5*w + 8]', '[269, 269, -3*w^3 - 2*w^2 + 9*w + 7]', '[269, 269, 5*w^3 + 2*w^2 - 17*w - 1]', '[271, 271, 5*w^3 + w^2 - 16*w]', '[271, 271, -2*w^3 - w^2 + 6*w + 6]', '[271, 271, 4*w^3 + w^2 - 11*w]', '[271, 271, 3*w^3 - w^2 - 8*w + 3]', '[279, 93, 2*w^3 + 2*w^2 - 5*w - 6]', '[279, 93, w^2 - 2*w - 4]', '[279, 93, 3*w^3 + w^2 - 11*w + 2]', '[279, 93, w^3 - 2*w^2 - 4*w + 3]', '[295, 295, -2*w^3 - w^2 + 7*w - 4]', '[295, 295, -3*w^3 + 2*w^2 + 7*w - 3]', '[295, 295, 2*w^3 + 4*w^2 - 5*w - 7]', '[295, 295, 2*w^3 + 5*w^2 - 7*w - 5]', '[305, 305, 5*w^3 + 3*w^2 - 11*w - 4]', '[305, 305, -2*w^3 + w^2 + w + 3]', '[305, 305, -w^3 - 2*w^2 + w + 7]', '[305, 305, -4*w^3 - 2*w^2 + 11*w + 4]', '[331, 331, -w^3 + 2*w^2 + 6*w - 6]', '[331, 331, -2*w^3 - 3*w^2 + 7*w + 5]', '[331, 331, 2*w^3 + 3*w^2 - 8*w - 5]', '[331, 331, 3*w^3 + 3*w^2 - 11*w - 5]', '[359, 359, 2*w^3 + 2*w^2 - 9*w - 5]', '[359, 359, 3*w^3 + 2*w^2 - 12*w]', '[359, 359, w^3 + 3*w^2 - w - 9]', '[359, 359, 3*w^2 + 2*w - 5]', '[361, 19, -w^3 + 3*w + 4]', '[361, 19, 4*w^3 - 12*w + 1]', '[389, 389, w^3 - 3*w^2 - 3*w + 5]', '[389, 389, 2*w^3 + 2*w^2 - 5*w - 7]', '[389, 389, 4*w^3 + 3*w^2 - 12*w - 7]', '[389, 389, -4*w^3 + 15*w - 5]', '[400, 10, -4*w^3 + 12*w - 2]', '[405, 15, -3*w^3 - 3*w^2 + 9*w + 9]', '[419, 419, -3*w^3 - 3*w^2 + 8*w + 7]', '[419, 419, -4*w^3 - 2*w^2 + 13*w - 1]', '[419, 419, -4*w^3 - w^2 + 15*w - 2]', '[419, 419, w^3 - 3*w^2 - 4*w + 6]', '[421, 421, w^2 - 7]', '[421, 421, -w^3 + 4*w + 4]', '[421, 421, 4*w^3 - 11*w]', '[421, 421, 4*w^3 - w^2 - 12*w + 6]', '[445, 445, -w^3 + 7*w - 4]', '[445, 445, -4*w^3 + w^2 + 8*w - 2]', '[445, 445, 4*w^3 + 5*w^2 - 13*w - 4]', '[445, 445, -w^3 - w^2 + 2*w - 3]', '[449, 449, 3*w^3 + 2*w^2 - 11*w + 1]', '[449, 449, -w^3 - 2*w^2 + 5*w + 7]', '[449, 449, -w^3 + 2*w^2 + 5*w - 2]', '[449, 449, w^3 + 2*w^2 - w - 8]', '[464, 58, -2*w^3 - 2*w^2 + 4*w + 6]', '[464, 58, -2*w^2 + 2*w + 6]', '[464, 58, 2*w^3 - 2*w^2 - 8*w + 4]', '[464, 58, 4*w^3 + 2*w^2 - 14*w]', '[479, 479, 2*w^3 + 3*w^2 - 5*w - 9]', '[479, 479, -3*w^2 - w + 4]', '[479, 479, -3*w^3 - w^2 + 12*w - 3]', '[479, 479, w^3 + w^2 - 6*w - 4]', '[496, 62, -4*w + 2]', '[496, 62, 4*w^2 - 10]', '[496, 62, 4*w^3 + 4*w^2 - 12*w - 6]', '[496, 62, 4*w^3 - 16*w + 2]', '[509, 509, 4*w^3 + 3*w^2 - 11*w - 6]', '[509, 509, -w^3 + w^2 - 3]', '[509, 509, -2*w^3 + 3*w^2 + 7*w - 7]', '[509, 509, -5*w^3 - w^2 + 18*w - 2]', '[531, 177, -4*w^3 - 5*w^2 + 15*w + 13]', '[531, 177, 4*w^3 - 2*w^2 - 16*w + 9]', '[531, 177, 7*w^3 - w^2 - 24*w + 8]', '[531, 177, 4*w^3 - w^2 - 12*w + 5]', '[541, 541, -4*w^3 + 11*w - 2]', '[541, 541, -4*w^3 + w^2 + 12*w - 4]', '[541, 541, 5*w^3 - 16*w + 3]', '[541, 541, 5*w^3 + w^2 - 15*w]', '[549, 183, -13*w^3 - 4*w^2 + 46*w + 6]', '[549, 183, -4*w^3 - w^2 + 16*w - 3]', '[549, 183, 5*w^3 + 2*w^2 - 17*w]', '[549, 183, -8*w^3 + w^2 + 29*w - 9]', '[569, 569, -4*w^3 - w^2 + 14*w - 3]', '[569, 569, 4*w^3 + 2*w^2 - 15*w]', '[569, 569, w^3 - 3*w^2 - 5*w + 6]', '[569, 569, 2*w^3 + 3*w^2 - 4*w - 8]', '[571, 571, -4*w^3 - w^2 + 17*w + 2]', '[571, 571, 3*w^3 + 4*w^2 - 10*w - 10]', '[571, 571, w^3 + 5*w^2 - 2*w - 14]', '[571, 571, -6*w^3 + 20*w - 3]', '[599, 599, -2*w^3 + w^2 + 4*w - 5]', '[599, 599, -4*w^3 - 2*w^2 + 11*w + 5]', '[599, 599, 3*w^3 - 2*w^2 - 10*w + 4]', '[599, 599, -5*w^3 - w^2 + 17*w - 3]', '[601, 601, w^3 - 7*w + 1]', '[601, 601, 3*w^3 + 4*w^2 - 9*w - 8]', '[601, 601, 3*w^3 - 13*w + 3]', '[601, 601, w^3 + 4*w^2 - 3*w - 8]', '[605, 55, -3*w^3 - w^2 + 6*w + 4]', '[605, 55, w^3 - 3*w^2 - 2*w + 2]', '[625, 5, 5]', '[631, 631, 6*w^3 + w^2 - 19*w - 1]', '[631, 631, -3*w^3 + w^2 + 13*w - 3]', '[631, 631, 5*w^3 + w^2 - 14*w + 2]', '[631, 631, -5*w^3 + w^2 + 16*w - 7]', '[659, 659, -6*w^3 - 2*w^2 + 19*w - 2]', '[659, 659, -5*w^3 + w^2 + 17*w - 2]', '[659, 659, -4*w^3 + 15*w - 6]', '[659, 659, -4*w^3 - 3*w^2 + 12*w + 8]', '[661, 661, -5*w^3 + 2*w^2 + 16*w - 7]', '[661, 661, 6*w^3 + 2*w^2 - 17*w - 2]', '[661, 661, -7*w^3 - w^2 + 23*w - 2]', '[661, 661, -4*w^3 + w^2 + 10*w - 4]', '[691, 691, -6*w^3 + 19*w - 6]', '[691, 691, -5*w^3 + w^2 + 15*w - 2]', '[691, 691, 5*w^3 - 14*w + 5]', '[691, 691, 2*w^3 + 4*w^2 - 7*w - 10]', '[719, 719, -7*w^3 - 2*w^2 + 24*w]', '[719, 719, -2*w^3 + 2*w^2 + 3*w - 5]', '[719, 719, -5*w^3 - 3*w^2 + 13*w + 5]', '[719, 719, -4*w^3 + 3*w^2 + 14*w - 9]', '[720, 30, 2*w^3 + 4*w^2 - 6*w - 8]', '[725, 145, -w^3 + 3*w^2 + 4*w - 5]', '[725, 145, -4*w^3 - w^2 + 15*w - 3]', '[725, 145, 3*w^3 + 3*w^2 - 8*w - 8]', '[725, 145, w^2 - 3*w - 4]', '[729, 9, -3*w^3 - 3*w^2 + 12*w + 9]', '[745, 745, -4*w^3 + w^2 + 11*w - 4]', '[745, 745, w^2 + 4*w - 2]', '[745, 745, w^3 + 4*w^2 - 4*w - 7]', '[745, 745, -5*w^3 - w^2 + 14*w]', '[751, 751, 4*w^3 + 4*w^2 - 14*w - 5]', '[751, 751, 5*w^3 + 4*w^2 - 17*w - 8]', '[751, 751, -3*w^3 + 2*w^2 + 13*w - 9]', '[751, 751, 6*w^3 + w^2 - 19*w]', '[755, 755, -2*w^3 + 2*w + 5]', '[755, 755, -4*w^3 - 2*w^2 + 7*w + 5]', '[755, 755, 3*w^3 + 3*w^2 - 7*w - 7]', '[755, 755, -5*w^3 - 2*w^2 + 12*w + 4]', '[775, 155, 2*w^3 + 4*w^2 - 8*w - 5]', '[775, 155, 2*w^3 - 2*w^2 - 10*w + 9]', '[775, 155, -2*w^2 - 4*w + 3]', '[775, 155, 4*w^3 + 4*w^2 - 14*w - 9]', '[801, 267, -w^3 - 4*w^2 + 4*w + 9]', '[801, 267, -4*w^3 - 4*w^2 + 13*w + 15]', '[801, 267, 8*w^3 + 2*w^2 - 26*w - 3]', '[801, 267, 10*w^3 + w^2 - 37*w]', '[809, 809, w^3 + 3*w^2 - w - 11]', '[809, 809, -5*w^3 + 18*w - 6]', '[809, 809, -6*w^3 - w^2 + 20*w - 4]', '[809, 809, 5*w^3 + 3*w^2 - 15*w - 7]', '[811, 811, 5*w^3 + 4*w^2 - 18*w - 6]', '[811, 811, 7*w^3 + 2*w^2 - 22*w - 1]', '[811, 811, 4*w^3 - 2*w^2 - 11*w + 6]', '[811, 811, 5*w^3 + w^2 - 13*w]', '[839, 839, -4*w^3 - 4*w^2 + 11*w + 9]', '[839, 839, 5*w^3 + w^2 - 19*w + 3]', '[839, 839, -6*w^3 - 2*w^2 + 21*w]', '[839, 839, -5*w^3 - 3*w^2 + 16*w]', '[841, 29, -w^3 + 3*w + 5]', '[841, 29, -w^3 - 4*w^2 + 4*w + 8]', '[841, 29, 3*w^3 - w^2 - 13*w + 5]', '[841, 29, w^3 - 3*w + 6]', '[841, 29, -w^2 - 4*w + 3]', '[841, 29, -4*w^3 - 4*w^2 + 13*w + 7]', '[841, 841, -5*w^3 - 4*w^2 + 17*w + 7]', '[841, 841, -3*w^3 + 2*w^2 + 13*w - 8]', '[841, 841, w^3 + 2*w^2 + w - 4]', '[841, 841, -w^3 - 4*w^2 + 5*w + 7]', '[895, 895, -w^3 - w^2 + 5*w - 5]', '[895, 895, -6*w^3 - 2*w^2 + 15*w + 1]', '[895, 895, 2*w^3 - 3]', '[895, 895, 3*w^3 + 4*w^2 - 10*w - 6]', '[899, 899, w^3 - w^2 + 4]', '[899, 899, 6*w^3 + w^2 - 21*w + 3]', '[899, 899, -4*w^3 + 15*w - 7]', '[899, 899, -w^3 - 4]', '[899, 899, 4*w^3 - 2*w^2 - 14*w + 5]', '[899, 899, 2*w^3 - w^2 - 3*w + 4]', '[899, 899, 3*w^3 - 3*w^2 - 10*w + 7]', '[899, 899, -4*w^3 - 2*w^2 + 10*w + 5]', '[899, 899, -5*w^3 - 3*w^2 + 14*w + 6]', '[899, 899, 2*w^3 - 2*w^2 - 4*w + 7]', '[899, 899, -2*w^3 + 3*w^2 + 7*w - 6]', '[899, 899, 5*w^3 + w^2 - 18*w + 3]', '[899, 899, 4*w^3 + 3*w^2 - 12*w - 9]', '[899, 899, 4*w^3 + 3*w^2 - 11*w - 7]', '[899, 899, -w^3 + 3*w^2 + 3*w - 3]', '[899, 899, 6*w^3 + 2*w^2 - 20*w + 1]', '[905, 905, -5*w^3 - 3*w^2 + 12*w + 5]', '[905, 905, 4*w^3 + w^2 - 7*w - 4]', '[905, 905, 2*w^3 + w^2 - 2*w - 6]', '[905, 905, -3*w^3 - 2*w^2 + 7*w + 6]', '[929, 929, 5*w^3 + w^2 - 17*w + 4]', '[929, 929, 3*w^3 - 2*w^2 - 10*w + 3]', '[929, 929, 4*w^3 + 2*w^2 - 11*w - 6]', '[929, 929, 4*w^3 + 2*w^2 - 15*w + 1]', '[944, 118, 2*w^3 + 2*w^2 - 4*w - 10]', '[944, 118, -2*w^3 + 4*w^2 + 8*w - 10]', '[944, 118, -6*w^3 + 20*w - 8]', '[944, 118, -4*w^3 - 2*w^2 + 14*w - 4]', '[961, 31, 2*w^3 - w^2 - 10*w + 5]', '[961, 31, 5*w^3 - 15*w + 2]', '[961, 31, 5*w^3 - 15*w + 3]', '[961, 31, 2*w^3 + 4*w^2 - 7*w - 7]', '[961, 31, 3*w^3 + 4*w^2 - 10*w - 8]', '[961, 31, w^3 - w^2 - 7*w + 3]', '[961, 961, w^2 - 8]', '[961, 961, w^3 - 4*w - 5]', '[961, 961, -w^3 - w^2 + 3*w - 4]', '[961, 961, w - 6]', '[976, 122, 8*w^3 + 2*w^2 - 26*w - 2]', '[976, 122, 4*w^3 - 2*w^2 - 10*w + 4]', '[976, 122, -6*w^3 - 2*w^2 + 16*w]', '[976, 122, 6*w^3 - 2*w^2 - 20*w + 10]', '[991, 991, 3*w^3 + w^2 - 14*w + 1]', '[991, 991, 2*w^3 + 5*w^2 - 5*w - 11]', '[991, 991, 2*w^3 + 5*w^2 - 5*w - 10]', '[991, 991, 3*w^2 + 4*w - 7]', '[1019, 1019, 4*w^2 + w - 6]', '[1019, 1019, 3*w^3 + 4*w^2 - 8*w - 11]', '[1019, 1019, 4*w^3 + w^2 - 16*w + 4]', '[1019, 1019, w^3 + w^2 - 7*w - 4]', '[1021, 1021, -w^3 + w^2 + 4*w - 9]', '[1021, 1021, 5*w^3 - 14*w + 4]', '[1021, 1021, 6*w^3 + w^2 - 18*w - 1]', '[1021, 1021, -6*w^3 + 19*w - 5]', '[1049, 1049, w^2 - 3*w - 5]', '[1049, 1049, -3*w^3 - 3*w^2 + 8*w + 9]', '[1049, 1049, -4*w^3 - w^2 + 15*w - 4]', '[1049, 1049, -w^3 + 3*w^2 + 4*w - 4]', '[1051, 1051, w^3 - 2*w^2 - 7*w + 7]', '[1051, 1051, 4*w^3 + 4*w^2 - 14*w - 7]', '[1051, 1051, 3*w^3 + 4*w^2 - 11*w - 8]', '[1051, 1051, 2*w^2 + 4*w - 5]', '[1055, 1055, -2*w^3 + 2*w^2 + w - 3]', '[1055, 1055, -5*w^3 - 4*w^2 + 16*w]', '[1055, 1055, w^3 - 2*w^2 + w + 4]', '[1055, 1055, -5*w^3 - 3*w^2 + 16*w - 1]', '[1089, 33, 6*w^3 + 4*w^2 - 23*w - 10]', '[1089, 33, -8*w^3 - 2*w^2 + 29*w]', '[1109, 1109, -w^3 + 3*w^2 + w - 9]', '[1109, 1109, 3*w^3 + 2*w^2 - 6*w - 6]', '[1109, 1109, 4*w^3 - 2*w^2 - 15*w + 5]', '[1109, 1109, 6*w^3 + 3*w^2 - 20*w - 1]', '[1125, 15, w^3 - 2*w^2 - 7*w + 6]', '[1171, 1171, 5*w^2 - 3*w - 9]', '[1171, 1171, 3*w^3 + 3*w^2 - 4*w - 5]', '[1171, 1171, -2*w^3 + 8*w + 5]', '[1171, 1171, 8*w^3 + 5*w^2 - 27*w - 8]', '[1195, 1195, -5*w^3 + w^2 + 15*w - 6]', '[1195, 1195, w^2 + 5*w - 1]', '[1195, 1195, 5*w^3 + 6*w^2 - 15*w - 1]', '[1195, 1195, -6*w^2 + 5*w + 6]', '[1201, 1201, 8*w^3 - 27*w + 3]', '[1201, 1201, 5*w^3 - 2*w^2 - 20*w + 8]', '[1201, 1201, 5*w^3 - 3*w^2 - 15*w + 11]', '[1201, 1201, w^3 + 3*w^2 + 2*w - 3]', '[1205, 1205, -5*w^3 - 2*w^2 + 13*w + 5]', '[1205, 1205, -4*w^2 + 6*w + 5]', '[1205, 1205, 7*w^3 + 3*w^2 - 21*w + 3]', '[1205, 1205, -4*w^3 + 9*w + 5]', '[1229, 1229, 2*w^2 - 3*w - 6]', '[1229, 1229, 3*w^3 - 2*w^2 - 10*w + 2]', '[1229, 1229, -2*w^3 + 3*w^2 + 8*w - 6]', '[1229, 1229, 5*w^3 + 2*w^2 - 18*w + 1]', '[1231, 1231, -5*w^3 + 14*w - 3]', '[1231, 1231, 5*w^3 - w^2 - 15*w + 4]', '[1231, 1231, -6*w^3 + 19*w - 4]', '[1231, 1231, 6*w^3 + w^2 - 18*w]', '[1259, 1259, -7*w^3 + w^2 + 25*w - 10]', '[1259, 1259, 8*w^3 + 4*w^2 - 25*w - 8]', '[1259, 1259, 4*w^3 + w^2 - 8*w + 2]', '[1259, 1259, -6*w^3 + 21*w - 7]', '[1280, 20, 4*w^3 + 4*w^2 - 12*w - 12]', '[1289, 1289, w^3 + 2*w^2 - 7*w - 5]', '[1289, 1289, w^3 - 4*w^2 - 5*w + 8]', '[1289, 1289, 3*w^3 + 4*w^2 - 7*w - 10]', '[1289, 1289, -5*w^3 - 2*w^2 + 19*w - 1]', '[1291, 1291, 6*w^3 + w^2 - 18*w + 1]', '[1291, 1291, -5*w^3 + 14*w - 2]', '[1291, 1291, 6*w^3 - 19*w + 3]', '[1291, 1291, -5*w^3 + w^2 + 15*w - 5]', '[1296, 6, -6]', '[1305, 435, -4*w^3 - 2*w^2 + 15*w - 2]', '[1305, 435, 2*w^3 + 3*w^2 - 4*w - 10]', '[1305, 435, w^3 + 2*w^2 - 6*w - 7]', '[1305, 435, -w^3 + 3*w^2 + 5*w - 4]', '[1319, 1319, -7*w^3 - 2*w^2 + 22*w - 4]', '[1319, 1319, 5*w^3 + 4*w^2 - 15*w - 10]', '[1319, 1319, -5*w^3 - w^2 + 13*w + 5]', '[1319, 1319, 6*w^3 + 4*w^2 - 22*w - 3]', '[1321, 1321, -5*w^3 + 3*w^2 + 15*w - 10]', '[1321, 1321, 5*w^2 - w - 12]', '[1321, 1321, -3*w^3 - 5*w^2 + 10*w + 6]', '[1321, 1321, 5*w^3 - 12*w + 1]', '[1341, 447, -10*w^3 - 6*w^2 + 35*w + 14]', '[1341, 447, -4*w^3 - 6*w^2 + 14*w + 17]', '[1341, 447, -9*w^3 - 4*w^2 + 32*w + 13]', '[1341, 447, 9*w^3 - w^2 - 31*w + 7]', '[1345, 1345, 7*w^3 + 2*w^2 - 16*w - 1]', '[1345, 1345, 5*w^3 - w^2 - 14*w + 2]', '[1345, 1345, 6*w^3 + w^2 - 17*w + 3]', '[1345, 1345, -5*w^3 - 5*w^2 + 16*w + 6]', '[1355, 1355, -5*w^3 - 3*w^2 + 13*w + 6]', '[1355, 1355, -6*w^3 - 3*w^2 + 13*w + 5]', '[1355, 1355, 3*w^3 - 3*w^2 - 8*w + 3]', '[1355, 1355, -3*w^3 + 3*w + 5]', '[1359, 453, -8*w^3 - w^2 + 30*w - 4]', '[1359, 453, -5*w^3 - w^2 + 18*w - 4]', '[1359, 453, -11*w^3 - 4*w^2 + 39*w + 5]', '[1359, 453, 11*w^3 + w^2 - 39*w + 4]', '[1381, 1381, -5*w^2 + 2*w + 10]', '[1381, 1381, 4*w^3 + 5*w^2 - 13*w - 12]', '[1381, 1381, 3*w^3 - 11*w - 5]', '[1381, 1381, -3*w^3 + w^2 + 14*w - 8]', '[1395, 465, -5*w^3 + 13*w - 2]', '[1395, 465, 7*w^3 + 2*w^2 - 21*w - 1]', '[1395, 465, 5*w^3 - 2*w^2 - 15*w + 7]', '[1395, 465, -7*w^3 + 23*w - 4]', '[1409, 1409, -5*w^3 - 5*w^2 + 14*w + 11]', '[1409, 1409, -6*w^3 - w^2 + 23*w - 4]', '[1409, 1409, -6*w^3 - 4*w^2 + 19*w + 1]', '[1409, 1409, -w^3 + 5*w^2 + 4*w - 10]', '[1424, 178, 2*w^3 + 2*w^2 - 2*w - 8]', '[1424, 178, 4*w^2 - 2*w - 12]', '[1424, 178, -6*w^3 - 4*w^2 + 20*w + 2]', '[1424, 178, -4*w^3 + 2*w^2 + 16*w - 4]', '[1439, 1439, -5*w^3 + w^2 + 18*w - 1]', '[1439, 1439, 5*w^3 + w^2 - 19*w + 4]', '[1439, 1439, -6*w^3 - 3*w^2 + 19*w - 1]', '[1439, 1439, w^3 - 4*w^2 - 4*w + 7]', '[1471, 1471, -4*w^3 - 5*w^2 + 13*w + 6]', '[1471, 1471, 7*w^3 + w^2 - 21*w - 2]', '[1471, 1471, -7*w^3 + 22*w - 7]', '[1471, 1471, 6*w^3 - 17*w + 6]', '[1475, 295, 5*w^3 - 3*w^2 - 16*w + 7]', '[1475, 295, -w^3 - 4*w^2 + 13]', '[1475, 295, 3*w^3 - 2*w^2 - 8*w + 12]', '[1475, 295, 4*w^3 - w^2 - 9*w + 6]', '[1499, 1499, -3*w^3 + 3*w^2 + 8*w - 12]', '[1499, 1499, 4*w^3 + w^2 - 9*w - 5]', '[1499, 1499, -7*w^3 - 3*w^2 + 22*w - 1]', '[1499, 1499, 7*w^3 + 4*w^2 - 24*w - 3]', '[1525, 305, 4*w^3 + w^2 - 15*w - 7]', '[1525, 305, -w^2 + 3*w - 6]', '[1525, 305, 3*w^3 + 3*w^2 - 8*w + 2]', '[1525, 305, -w^3 + 3*w^2 + 4*w - 15]', '[1531, 1531, 7*w^3 + 2*w^2 - 20*w - 2]', '[1531, 1531, 3*w^3 - 14*w + 1]', '[1531, 1531, 8*w^3 + w^2 - 26*w + 3]', '[1531, 1531, 3*w^3 + 5*w^2 - 9*w - 8]', '[1559, 1559, -5*w^3 + 18*w - 8]', '[1559, 1559, -8*w^3 - 3*w^2 + 26*w]', '[1559, 1559, -5*w^3 - 3*w^2 + 15*w + 9]', '[1559, 1559, -6*w^3 + 2*w^2 + 21*w - 6]', '[1611, 537, 13*w^3 + 2*w^2 - 45*w - 1]', '[1611, 537, -7*w^3 - 5*w^2 + 24*w + 10]', '[1611, 537, -2*w^3 - w^2 + 6*w + 8]', '[1611, 537, 7*w^3 - w^2 - 27*w + 8]', '[1619, 1619, 5*w^3 - 2*w^2 - 16*w + 3]', '[1619, 1619, -6*w^3 + 22*w - 7]', '[1619, 1619, 6*w^3 + 4*w^2 - 18*w - 9]', '[1619, 1619, -7*w^3 - w^2 + 23*w - 6]', '[1621, 1621, -3*w^3 - 2*w^2 + 8*w - 4]', '[1621, 1621, -2*w^3 + 2*w^2 + 7*w - 13]', '[1621, 1621, 4*w^3 + w^2 - 14*w - 7]', '[1621, 1621, 5*w^3 - w^2 - 14*w + 5]', '[1629, 543, -10*w^3 - 3*w^2 + 35*w + 2]', '[1629, 543, 6*w^3 + 2*w^2 - 22*w + 1]', '[1629, 543, -12*w^3 - 2*w^2 + 43*w - 1]', '[1629, 543, 7*w^3 - 26*w + 7]', '[1655, 1655, -4*w^3 + 9*w - 5]', '[1655, 1655, -4*w^3 - 4*w^2 + 16*w + 1]', '[1655, 1655, 4*w^3 + 4*w^2 - 15*w]', '[1655, 1655, -3*w^3 - 4*w^2 + 14*w]', '[1681, 41, -6*w^3 + 18*w - 5]', '[1681, 41, 6*w^3 - 18*w + 1]', '[1709, 1709, 3*w^3 + 5*w^2 - 7*w - 13]', '[1709, 1709, 5*w^3 - 3*w^2 - 18*w + 9]', '[1709, 1709, -5*w^3 - 3*w^2 + 12*w + 6]', '[1709, 1709, 8*w^3 + 3*w^2 - 27*w - 1]', '[1711, 1711, 2*w^3 + 7*w^2 - 4*w - 18]', '[1711, 1711, -3*w^3 + 2*w^2 + 10*w - 14]', '[1711, 1711, -7*w^3 + 2*w^2 + 23*w - 8]', '[1711, 1711, -3*w^3 - 3*w^2 + 10*w - 3]', '[1711, 1711, -2*w^3 + 5*w - 8]', '[1711, 1711, 2*w^3 + 5*w^2 - 6*w - 10]', '[1711, 1711, -4*w^3 - w^2 + 18*w - 3]', '[1711, 1711, 2*w^3 + 3*w^2 - 9]', '[1711, 1711, -5*w^3 + 2*w^2 + 13*w - 7]', '[1711, 1711, -w^3 + 5*w^2 + 8*w - 14]', '[1711, 1711, -7*w^3 + 2*w^2 + 23*w - 12]', '[1711, 1711, -6*w^3 + 2*w^2 + 18*w - 11]', '[1711, 1711, 2*w^3 + 6*w^2 - 5*w - 11]', '[1711, 1711, -3*w^3 + 3*w^2 + 14*w - 13]', '[1711, 1711, w^2 + 3*w - 11]', '[1711, 1711, w^3 + 6*w^2 - 6*w - 14]', '[1741, 1741, -4*w^3 - 5*w^2 + 14*w + 12]', '[1741, 1741, -2*w^3 + 2*w^2 + 11*w - 10]', '[1741, 1741, -3*w^3 - 5*w^2 + 11*w + 6]', '[1741, 1741, w^3 - 2*w^2 - 8*w + 3]', '[1769, 1769, -3*w^2 + 2*w + 11]', '[1769, 1769, 9*w^3 + 3*w^2 - 32*w - 2]', '[1769, 1769, -9*w^3 - 5*w^2 + 29*w + 11]', '[1769, 1769, 4*w^3 - 5*w^2 - 15*w + 15]', '[1769, 1769, 3*w^3 + 2*w^2 - 15*w + 5]', '[1769, 1769, -2*w^3 - 2*w^2 + 3*w + 9]', '[1769, 1769, -4*w^3 - 2*w^2 + 7*w - 1]', '[1769, 1769, 7*w^3 - 2*w^2 - 26*w + 14]', '[1769, 1769, 3*w^3 + 6*w^2 - 7*w - 6]', '[1769, 1769, -w^3 - 6*w^2 + w + 20]', '[1769, 1769, -5*w^3 - 2*w^2 + 21*w + 7]', '[1769, 1769, 3*w^3 - 2*w^2 - 12*w + 2]', '[1769, 1769, w^3 - 3*w^2 + 2*w + 5]', '[1769, 1769, -5*w^3 - 3*w^2 + 17*w - 1]', '[1769, 1769, 2*w^3 - 5*w^2 - 4*w + 7]', '[1769, 1769, 6*w^3 + 5*w^2 - 15*w - 8]', '[1795, 1795, -5*w^3 - 4*w^2 + 14*w - 2]', '[1795, 1795, -6*w^3 + 16*w - 5]', '[1795, 1795, -w^3 - w^2 + 9*w - 1]', '[1795, 1795, -2*w^3 - 6*w^2 + 11*w + 5]', '[1801, 1801, -2*w^3 - w^2 + 7*w - 6]', '[1801, 1801, -7*w^3 - 2*w^2 + 20*w - 1]', '[1801, 1801, 6*w^3 - 2*w^2 - 19*w + 10]', '[1801, 1801, -w^3 + 2*w^2 + 8*w - 9]', '[1805, 95, w^3 - 4*w^2 - 2*w + 3]', '[1805, 95, -4*w^3 - w^2 + 8*w + 5]', '[1829, 1829, 3*w^3 + 4*w^2 - 6*w - 10]', '[1829, 1829, 3*w^3 + 6*w^2 - 8*w - 18]', '[1829, 1829, -w^3 - 6*w^2 - 2*w + 10]', '[1829, 1829, 2*w^3 - 7*w^2 - 7*w + 16]', '[1829, 1829, 4*w^3 + w^2 - 5*w - 6]', '[1829, 1829, 3*w^3 - 7*w^2 - 8*w + 21]', '[1829, 1829, 7*w^3 - 4*w^2 - 26*w + 23]', '[1829, 1829, 2*w^3 + 3*w^2 - 3*w - 10]', '[1829, 1829, -3*w^3 - 3*w^2 + 16*w - 3]', '[1829, 1829, -4*w^3 - 7*w^2 + 9*w + 8]', '[1829, 1829, -3*w^3 + 2*w^2 + 6*w - 7]', '[1829, 1829, -9*w^3 - w^2 + 34*w - 5]', '[1829, 1829, -w^3 - 3*w^2 + 6*w + 9]', '[1829, 1829, -w^3 + 4*w^2 + 2*w - 15]', '[1829, 1829, 7*w^3 + 2*w^2 - 22*w + 5]', '[1829, 1829, 5*w^3 - 8*w^2 - 20*w + 26]', '[1831, 1831, 8*w^3 + 2*w^2 - 25*w]', '[1831, 1831, 5*w^3 - 2*w^2 - 14*w + 7]', '[1831, 1831, 6*w^3 + w^2 - 16*w]', '[1831, 1831, -7*w^3 + w^2 + 23*w - 6]', '[1861, 1861, 8*w^3 + w^2 - 26*w + 2]', '[1861, 1861, 7*w^3 + 2*w^2 - 20*w - 1]', '[1861, 1861, 6*w^3 - 2*w^2 - 19*w + 8]', '[1861, 1861, 5*w^3 + 5*w^2 - 16*w - 9]', '[1889, 1889, w^3 + 3*w^2 - 13]', '[1889, 1889, -7*w^3 - w^2 + 25*w - 4]', '[1889, 1889, -3*w^3 + 4*w^2 + 10*w - 9]', '[1889, 1889, -4*w^3 - 3*w^2 + 15*w - 2]', '[1891, 1891, 5*w^3 + 7*w^2 - 16*w - 6]', '[1891, 1891, -14*w^3 - 7*w^2 + 49*w + 15]', '[1891, 1891, -w^3 - 5*w^2 + 4*w + 11]', '[1891, 1891, -4*w^3 + w^2 + 19*w + 1]', '[1891, 1891, -4*w^3 + w^2 + 17*w - 5]', '[1891, 1891, -2*w^3 - 5*w^2 + 9*w + 10]', '[1891, 1891, -6*w^3 - 5*w^2 + 21*w + 7]', '[1891, 1891, w^2 + 5*w - 4]', '[1891, 1891, -2*w^3 + w^2 + 13*w - 12]', '[1891, 1891, 5*w^3 + 5*w^2 - 16*w - 8]', '[1891, 1891, -7*w^3 - 7*w^2 + 14*w + 6]', '[1891, 1891, -w^3 - 3*w^2 - 2*w + 8]', '[1891, 1891, -3*w^3 - 7*w^2 + 10*w + 21]', '[1891, 1891, -3*w^3 + 3*w^2 + 14*w - 9]', '[1891, 1891, -7*w^2 + 7*w + 6]', '[1891, 1891, -7*w^3 + 7*w^2 + 28*w - 29]', '[1899, 633, -6*w^3 - 5*w^2 + 19*w + 14]', '[1899, 633, 7*w^3 - w^2 - 24*w + 2]', '[1899, 633, -10*w^3 + 35*w - 1]', '[1899, 633, -5*w^3 - 4*w^2 + 15*w + 11]', '[1936, 22, -2*w^3 + 6*w + 6]', '[1936, 22, 6*w^3 - 18*w + 2]', '[1945, 1945, -5*w^3 + w^2 + 13*w - 3]', '[1945, 1945, w^3 + 5*w^2 - 5*w - 9]', '[1945, 1945, 2*w^3 + 4*w^2 - 10*w + 3]', '[1945, 1945, -7*w^3 - 2*w^2 + 20*w]', '[1949, 1949, -6*w^3 - 4*w^2 + 21*w + 2]', '[1949, 1949, -7*w^3 - 2*w^2 + 23*w - 3]', '[1949, 1949, -w^3 - 4*w^2 + 6*w + 11]', '[1949, 1949, -3*w^3 + 2*w^2 + 7*w - 9]', '[1951, 1951, 6*w^3 + 5*w^2 - 20*w - 8]', '[1951, 1951, w^3 + 5*w^2 - 5*w - 10]', '[1951, 1951, w^3 + 2*w^2 + 2*w - 5]', '[1951, 1951, 4*w^3 - 2*w^2 - 17*w + 8]', '[1979, 1979, -3*w^3 - 4*w^2 + 7*w + 11]', '[1979, 1979, 5*w^3 + 2*w^2 - 19*w + 2]', '[1979, 1979, -6*w^3 - 2*w^2 + 20*w - 3]', '[1979, 1979, w^3 - 4*w^2 - 5*w + 7]', '[2000, 10, 6*w^3 - 2*w^2 - 22*w + 6]', '[2011, 2011, -w^3 + w^2 + 4*w - 10]', '[2011, 2011, 6*w^3 - 17*w + 5]', '[2011, 2011, 7*w^3 + w^2 - 21*w - 1]', '[2011, 2011, -7*w^3 + 22*w - 6]', '[2025, 15, 6*w^3 - 18*w + 3]', '[2039, 2039, 2*w^3 + 2*w^2 - 3*w - 10]', '[2039, 2039, 3*w^2 - 2*w - 12]', '[2039, 2039, -5*w^3 - 3*w^2 + 17*w - 2]', '[2039, 2039, 3*w^3 - 2*w^2 - 12*w + 1]', '[2069, 2069, -7*w^3 - w^2 + 24*w - 5]', '[2069, 2069, 6*w^3 + 3*w^2 - 17*w - 7]', '[2069, 2069, w^3 + 4*w^2 - 14]', '[2069, 2069, 4*w^3 + 3*w^2 - 16*w + 1]', '[2095, 2095, 2*w^3 + 5*w^2 - 9*w - 7]', '[2095, 2095, 3*w^3 + 3*w^2 - 11*w + 4]', '[2095, 2095, 7*w^3 + 2*w^2 - 19*w + 1]', '[2095, 2095, 5*w^3 + 7*w^2 - 15*w - 7]', '[2099, 2099, 6*w^3 + w^2 - 20*w + 7]', '[2099, 2099, -3*w^3 + w^2 + 7*w - 9]', '[2099, 2099, -4*w^3 + 2*w^2 + 13*w - 1]', '[2099, 2099, 5*w^3 + 2*w^2 - 14*w - 8]', '[2105, 2105, -3*w^3 - 3*w^2 + 4*w + 9]', '[2105, 2105, -4*w^2 - w + 3]', '[2105, 2105, -w^3 + 4*w^2 + 4*w - 6]', '[2105, 2105, -5*w^3 + 9*w + 4]', '[2129, 2129, 5*w^3 + 3*w^2 - 19*w]', '[2129, 2129, 6*w^3 + w^2 - 21*w + 5]', '[2129, 2129, w^3 - 4*w^2 - 6*w + 7]', '[2129, 2129, 2*w^3 + 4*w^2 - 3*w - 12]', '[2131, 2131, 2*w^3 + 5*w^2 - 7*w - 9]', '[2131, 2131, -w^3 + w^2 + 8*w - 3]', '[2131, 2131, 3*w^3 - w^2 - 14*w + 6]', '[2131, 2131, 4*w^3 + 5*w^2 - 13*w - 10]', '[2151, 717, -5*w^3 - 8*w^2 + 17*w + 24]', '[2151, 717, -14*w^3 - 5*w^2 + 50*w + 15]', '[2151, 717, -7*w^3 + 2*w^2 + 22*w - 6]', '[2151, 717, -2*w^3 + w^2 + 11*w - 3]', '[2161, 2161, -4*w^3 - w^2 + 18*w - 2]', '[2161, 2161, 3*w^3 + 6*w^2 - 8*w - 13]', '[2161, 2161, 2*w^3 + 6*w^2 - 5*w - 12]', '[2161, 2161, -3*w^3 - w^2 + 15*w]', '[2169, 723, -16*w^3 - 5*w^2 + 57*w + 7]', '[2169, 723, 5*w^3 + 7*w^2 - 15*w - 20]', '[2169, 723, -14*w^3 - w^2 + 48*w + 2]', '[2169, 723, -17*w^3 - 5*w^2 + 62*w + 6]', '[2221, 2221, 6*w^3 + 5*w^2 - 21*w - 8]', '[2221, 2221, -4*w^3 - 5*w^2 + 14*w + 11]', '[2221, 2221, -2*w^3 + 2*w^2 + 11*w - 9]', '[2221, 2221, -3*w^3 - 5*w^2 + 11*w + 7]', '[2225, 445, w^3 - 5*w^2 - 3*w + 8]', '[2225, 445, 6*w^3 - 23*w + 8]', '[2225, 445, w^3 + 2*w + 3]', '[2225, 445, -6*w^3 - 5*w^2 + 18*w + 12]', '[2245, 2245, w^3 - w^2 - 8*w + 4]', '[2245, 2245, -5*w^3 + 2*w^2 + 12*w - 5]', '[2245, 2245, -3*w^3 - 7*w^2 + 12*w + 6]', '[2245, 2245, -3*w^3 - 4*w^2 + 8*w - 1]', '[2251, 2251, -3*w^3 + 2*w^2 + 14*w - 9]', '[2251, 2251, 5*w^3 + 5*w^2 - 18*w - 7]', '[2251, 2251, 5*w^3 + 5*w^2 - 17*w - 10]', '[2251, 2251, -2*w^3 - 5*w^2 + 8*w + 8]', '[2281, 2281, 3*w^3 + 5*w^2 - 11*w - 11]', '[2281, 2281, -4*w^3 - 5*w^2 + 14*w + 7]', '[2281, 2281, 6*w^3 + 5*w^2 - 21*w - 9]', '[2281, 2281, w^3 - 2*w^2 - 8*w + 8]', '[2304, 12, 4*w^3 + 4*w^2 - 16*w - 12]', '[2309, 2309, 3*w^3 + 3*w^2 - 7*w - 10]', '[2309, 2309, -2*w^3 + 3*w^2 + 8*w - 4]', '[2309, 2309, -5*w^3 - 2*w^2 + 18*w - 3]', '[2309, 2309, 2*w^2 - 3*w - 8]', '[2311, 2311, -7*w^3 - w^2 + 21*w - 3]', '[2311, 2311, 6*w^3 - 17*w + 1]', '[2311, 2311, -w^3 + w^2 + 3*w - 10]', '[2311, 2311, -6*w^3 + w^2 + 18*w - 7]', '[2320, 290, 2*w^2 - 12]', '[2320, 290, -2*w^3 + 8*w + 6]', '[2320, 290, 2*w^3 + 2*w^2 - 6*w + 4]', '[2320, 290, 2*w - 8]', '[2339, 2339, -w^3 + 3*w^2 + w - 11]', '[2339, 2339, -w^3 - 2*w^2 + 8*w + 5]', '[2339, 2339, w^3 - 5*w^2 - 5*w + 10]', '[2339, 2339, 4*w^3 + 5*w^2 - 10*w - 12]', '[2341, 2341, 3*w^3 + 6*w^2 - 8*w - 12]', '[2341, 2341, 2*w^3 + 6*w^2 - 5*w - 13]', '[2341, 2341, -3*w^3 - w^2 + 15*w - 1]', '[2341, 2341, 4*w^3 + w^2 - 18*w + 1]', '[2349, 87, 3*w^3 + 3*w^2 - 6*w - 9]', '[2349, 87, 3*w^2 - 3*w - 9]', '[2349, 87, -3*w^3 + 3*w^2 + 12*w - 6]', '[2349, 87, -6*w^3 - 3*w^2 + 21*w]', '[2371, 2371, 2*w^3 - 3*w^2 - 11*w + 11]', '[2371, 2371, 5*w^3 + 5*w^2 - 18*w - 10]', '[2371, 2371, 3*w^3 + 5*w^2 - 12*w - 7]', '[2371, 2371, -5*w^3 - 5*w^2 + 17*w + 8]', '[2384, 298, 6*w^3 + 4*w^2 - 18*w - 10]', '[2384, 298, 2*w^3 + 4*w^2 - 4*w - 14]', '[2384, 298, 2*w^3 + 2*w^2 - 10*w - 8]', '[2384, 298, -6*w^3 + 22*w - 8]', '[2395, 2395, 4*w^3 + 5*w^2 - 13*w + 1]', '[2395, 2395, w^3 + w^2 + 3*w - 2]', '[2395, 2395, -6*w^3 + 17*w - 4]', '[2395, 2395, w^3 + 6*w^2 - 7*w - 7]', '[2399, 2399, -w^3 + 4*w^2 + 3*w - 4]', '[2399, 2399, -5*w^3 + 19*w - 9]', '[2399, 2399, -w^3 - w - 5]', '[2399, 2399, -5*w^3 - 4*w^2 + 15*w + 12]', '[2401, 7, -7]', '[2416, 302, 6*w^3 - 2*w^2 - 18*w + 6]', '[2416, 302, 6*w^3 - 16*w + 4]', '[2416, 302, 8*w^3 + 2*w^2 - 24*w - 2]', '[2416, 302, -8*w^3 + 26*w - 6]', '[2421, 807, 5*w^3 + 5*w^2 - 17*w - 9]', '[2421, 807, 6*w^3 + 7*w^2 - 20*w - 19]', '[2421, 807, 12*w^3 + 8*w^2 - 43*w - 20]', '[2421, 807, -16*w^3 - 4*w^2 + 55*w + 6]', '[2439, 813, -15*w^3 - 4*w^2 + 53*w + 4]', '[2439, 813, 10*w^3 + 7*w^2 - 37*w - 18]', '[2439, 813, -8*w^3 - 3*w^2 + 28*w + 1]', '[2439, 813, -6*w^3 - w^2 + 23*w - 5]', '[2459, 2459, -3*w^3 + 2*w^2 + 5*w - 6]', '[2459, 2459, 5*w^3 - 4*w^2 - 17*w + 11]', '[2459, 2459, 7*w^3 - 24*w + 9]', '[2459, 2459, -9*w^3 - 2*w^2 + 31*w - 2]', '[2480, 310, -6*w^3 - 2*w^2 + 22*w - 2]', '[2480, 310, 2*w^3 - 4*w^2 - 8*w + 8]', '[2480, 310, 4*w^3 + 4*w^2 - 10*w - 10]', '[2480, 310, -2*w^2 + 4*w + 6]', '[2511, 93, 6*w - 3]', '[2511, 93, -6*w^2 + 15]', '[2511, 93, -6*w^3 - 6*w^2 + 18*w + 9]', '[2511, 93, -6*w^3 + 24*w - 3]', '[2521, 2521, 8*w^3 + w^2 - 25*w - 1]', '[2521, 2521, -5*w^3 + w^2 + 21*w - 3]', '[2521, 2521, 7*w^3 - 20*w - 1]', '[2521, 2521, -7*w^3 + w^2 + 22*w - 9]', '[2545, 2545, 3*w^3 + 5*w^2 - 11*w - 8]', '[2545, 2545, -8*w^3 - 3*w^2 + 21*w + 1]', '[2545, 2545, -2*w^3 - 2*w^2 + 9*w - 6]', '[2545, 2545, 3*w^3 - w - 3]', '[2549, 2549, 2*w^3 + 5*w^2 - 4*w - 16]', '[2549, 2549, 7*w^3 + 4*w^2 - 22*w - 11]', '[2549, 2549, 3*w^3 + 2*w^2 - 14*w - 7]', '[2549, 2549, -6*w^3 + w^2 + 22*w - 12]', '[2551, 2551, 6*w^3 - w^2 - 18*w + 6]', '[2551, 2551, 4*w^3 + w^2 - 11*w + 8]', '[2551, 2551, -3*w^3 - w^2 + 9*w - 7]', '[2551, 2551, 5*w^3 + w^2 - 16*w - 8]', '[2579, 2579, w^3 + 4*w^2 - 15]', '[2579, 2579, 4*w^3 + 3*w^2 - 16*w + 2]', '[2579, 2579, -3*w^3 - 4*w^2 + 13*w + 11]', '[2579, 2579, w^3 + 4*w^2 + w - 14]', '[2581, 2581, -3*w^2 - 2*w - 2]', '[2581, 2581, -7*w^3 + w^2 + 22*w - 4]', '[2581, 2581, -6*w^3 + w^2 + 24*w - 5]', '[2581, 2581, 2*w^3 + 2*w^2 - 3]', '[2581, 2581, 6*w^2 - 2*w - 11]', '[2581, 2581, 2*w^3 + 2*w^2 - 9*w - 12]', '[2581, 2581, 6*w^2 - w - 15]', '[2581, 2581, -6*w^3 + w^2 + 17*w - 7]', '[2581, 2581, 8*w^3 + 6*w^2 - 26*w - 11]', '[2581, 2581, w^3 + w^2 + 3*w - 5]', '[2581, 2581, -8*w^3 - w^2 + 25*w - 4]', '[2581, 2581, -3*w^3 - 2*w^2 + 12*w - 7]', '[2581, 2581, -7*w^3 - w^2 + 20*w + 1]', '[2581, 2581, w^3 + 3*w^2 - w - 16]', '[2581, 2581, 7*w^3 + 6*w^2 - 22*w - 8]', '[2581, 2581, -6*w^3 + 2*w^2 + 24*w - 11]', '[2609, 2609, 7*w^3 + 2*w^2 - 19*w - 6]', '[2609, 2609, -5*w^3 + 2*w^2 + 13*w - 11]', '[2609, 2609, -7*w^3 + 2*w^2 + 23*w - 4]', '[2609, 2609, -9*w^3 - 2*w^2 + 29*w - 5]', '[2655, 885, 7*w^3 - w^2 - 24*w + 14]', '[2655, 885, w^3 - 5*w^2 - w + 15]', '[2655, 885, 2*w^3 - 7*w^2 - 11*w + 18]', '[2655, 885, -w^3 - 7*w^2 + w + 12]', '[2671, 2671, 4*w^3 + 5*w^2 - 15*w - 8]', '[2671, 2671, -w^3 + 3*w^2 + 8*w - 9]', '[2671, 2671, 4*w^3 + 5*w^2 - 15*w - 9]', '[2671, 2671, -w^3 + 3*w^2 + 8*w - 8]', '[2699, 2699, 7*w^3 - w^2 - 25*w + 2]', '[2699, 2699, -9*w^3 - 4*w^2 + 31*w + 3]', '[2699, 2699, -5*w^3 + 4*w^2 + 19*w - 12]', '[2699, 2699, -5*w^3 - 4*w^2 + 11*w + 8]', '[2705, 2705, 3*w^3 + w^2 - 4*w - 7]', '[2705, 2705, 5*w^3 + 2*w^2 - 9*w - 6]', '[2705, 2705, -4*w^3 - 3*w^2 + 9*w + 8]', '[2705, 2705, -6*w^3 - 3*w^2 + 14*w + 6]', '[2729, 2729, 3*w^3 - 2*w^2 - 7*w + 10]', '[2729, 2729, -7*w^3 - 5*w^2 + 24*w + 3]', '[2729, 2729, w^3 + 5*w^2 - 6*w - 14]', '[2729, 2729, -7*w^3 - 2*w^2 + 23*w - 4]', '[2731, 2731, 3*w^3 - 11*w - 6]', '[2731, 2731, -w^3 + 2*w^2 + 3*w - 13]', '[2731, 2731, 6*w^3 - 2*w^2 - 18*w + 9]', '[2731, 2731, 6*w^3 - 16*w + 1]', '[2745, 915, -4*w^3 - 5*w^2 + 6*w + 7]', '[2745, 915, -w^3 + w^2 + 9*w - 8]', '[2745, 915, -5*w^3 + 5*w^2 + 21*w - 19]', '[2745, 915, -4*w^3 + w^2 + 18*w - 2]', '[2759, 2759, -4*w^3 + 4*w^2 + 11*w - 6]', '[2759, 2759, 9*w^3 + 4*w^2 - 28*w - 9]', '[2759, 2759, 5*w^3 + w^2 - 11*w + 4]', '[2759, 2759, w^3 - 4*w^2 - 4*w + 5]', '[2759, 2759, 12*w^3 + 5*w^2 - 38*w - 2]', '[2759, 2759, -4*w^3 - 4*w^2 + 11*w + 12]', '[2759, 2759, -5*w^3 - w^2 + 19*w - 6]', '[2759, 2759, 5*w^3 - 5*w^2 - 13*w + 16]', '[2759, 2759, 8*w^3 + 5*w^2 - 30*w - 16]', '[2759, 2759, 8*w^3 - w^2 - 28*w + 12]', '[2759, 2759, 7*w^3 + 2*w^2 - 16*w - 5]', '[2759, 2759, -10*w^3 + 2*w^2 + 35*w - 8]', '[2759, 2759, 2*w^3 - 6*w^2 - 11*w + 26]', '[2759, 2759, -3*w^3 - 5*w^2 + 15*w - 2]', '[2759, 2759, w^2 - 4*w - 6]', '[2759, 2759, -3*w^3 - 6*w^2 + 4*w + 3]', '[2789, 2789, 3*w^3 + 4*w^2 - 6*w - 11]', '[2789, 2789, 6*w^3 + 3*w^2 - 22*w]', '[2789, 2789, -2*w^3 + 4*w^2 + 9*w - 8]', '[2789, 2789, -6*w^3 - w^2 + 21*w - 6]', '[2791, 2791, 6*w^3 - 2*w^2 - 18*w + 7]', '[2791, 2791, 7*w^3 + 6*w^2 - 22*w - 10]', '[2791, 2791, -6*w^3 + w^2 + 24*w - 7]', '[2791, 2791, 8*w^3 - 26*w + 5]', '[2819, 2819, -w^3 + w^2 - 3*w - 3]', '[2819, 2819, -2*w^3 + 6*w^2 + 7*w - 13]', '[2819, 2819, -8*w^3 - w^2 + 30*w - 5]', '[2819, 2819, -7*w^3 - 6*w^2 + 20*w + 12]', '[2845, 2845, 3*w^3 + 6*w^2 - 10*w - 8]', '[2845, 2845, 4*w^3 + 3*w^2 - 12*w + 4]', '[2845, 2845, -7*w^3 - w^2 + 18*w - 3]', '[2845, 2845, -3*w^3 - 6*w^2 + 13*w + 6]', '[2851, 2851, 3*w^3 + 6*w^2 - 11*w - 7]', '[2851, 2851, 6*w^2 - w - 14]', '[2851, 2851, -5*w^3 - 6*w^2 + 17*w + 15]', '[2851, 2851, 3*w^3 - 2*w^2 - 15*w + 12]', '[2855, 2855, 4*w^3 + 3*w^2 - 10*w - 9]', '[2855, 2855, w^2 - 7*w - 3]', '[2855, 2855, -6*w^3 - 2*w^2 + 21*w - 3]', '[2855, 2855, -7*w^3 - w^2 + 23*w - 8]', '[2864, 358, -8*w^3 - 2*w^2 + 28*w - 2]', '[2864, 358, 6*w^3 + 4*w^2 - 16*w - 8]', '[2864, 358, -2*w^3 + 2*w^2 + 2*w - 6]', '[2864, 358, -4*w^3 + 4*w^2 + 14*w - 10]', '[2879, 2879, 8*w^3 + 3*w^2 - 23*w - 7]', '[2879, 2879, 6*w^3 - 3*w^2 - 19*w + 6]', '[2879, 2879, 4*w^3 + 3*w^2 - 16*w + 3]', '[2879, 2879, -9*w^3 - w^2 + 30*w - 7]', '[2896, 362, 8*w^3 + 2*w^2 - 24*w]', '[2896, 362, -6*w^3 + 16*w - 2]', '[2896, 362, 8*w^3 - 26*w + 4]', '[2896, 362, -6*w^3 + 2*w^2 + 18*w - 8]', '[2909, 2909, 2*w^3 - 5*w^2 - 8*w + 11]', '[2909, 2909, -7*w^3 - 2*w^2 + 26*w - 2]', '[2909, 2909, 4*w^3 - 2*w^2 - 15*w + 2]', '[2909, 2909, -6*w^3 - 3*w^2 + 20*w - 2]', '[2939, 2939, -7*w^3 + w^2 + 25*w - 12]', '[2939, 2939, 4*w^3 + 3*w^2 - 17*w + 2]', '[2939, 2939, 4*w^3 + w^2 - 8*w + 4]', '[2939, 2939, 4*w^3 + 3*w^2 - 17*w - 9]', '[2969, 2969, 6*w^3 + 3*w^2 - 17*w - 8]', '[2969, 2969, -5*w^3 - 3*w^2 + 19*w - 1]', '[2969, 2969, -7*w^3 - w^2 + 24*w - 6]', '[2969, 2969, -4*w^3 + 3*w^2 + 13*w - 5]', '[2971, 2971, -6*w^3 + 2*w^2 + 17*w - 9]', '[2971, 2971, w^3 - 3*w^2 - 4*w + 16]', '[2971, 2971, 4*w^3 + w^2 - 15*w - 8]', '[2971, 2971, 7*w^3 + w^2 - 19*w - 1]', '[2979, 993, 7*w^3 - 3*w^2 - 26*w + 10]', '[2979, 993, 7*w^3 + 4*w^2 - 22*w - 12]', '[2979, 993, -9*w^3 - 4*w^2 + 29*w + 13]', '[2979, 993, -12*w^3 - 5*w^2 + 40*w + 14]', '[2995, 2995, 2*w^2 - 3*w + 5]', '[2995, 2995, -7*w^3 - w^2 + 17*w + 1]', '[2995, 2995, -3*w^3 - 2*w^2 + 2*w + 6]', '[2995, 2995, 4*w^3 + 6*w^2 - 12*w - 9]', '[2999, 2999, -8*w^3 + 27*w - 10]', '[2999, 2999, 5*w^3 - 12*w + 7]', '[2999, 2999, 5*w^3 - 3*w^2 - 15*w + 4]', '[2999, 2999, -8*w^3 + 29*w - 8]', '[3001, 3001, 8*w^3 + w^2 - 25*w]', '[3001, 3001, 7*w^3 - w^2 - 22*w + 8]', '[3001, 3001, -2*w^3 - 6*w^2 + 8*w + 15]', '[3001, 3001, -4*w^3 + 2*w^2 + 18*w - 5]', '[3005, 3005, -5*w^3 - 4*w^2 + 18*w - 3]', '[3005, 3005, 3*w^3 - w^2 - 2*w + 2]', '[3005, 3005, -7*w^3 - 4*w^2 + 22*w - 1]', '[3005, 3005, w^3 - 3*w^2 + 2*w + 6]', '[3025, 55, w^3 - 3*w - 7]', '[3025, 55, -7*w^3 + 21*w - 1]', '[3061, 3061, -2*w^3 + 2*w^2 + 7*w - 14]', '[3061, 3061, 6*w^3 - w^2 - 17*w + 6]', '[3061, 3061, -5*w^3 + w^2 + 21*w - 8]', '[3061, 3061, 4*w^3 + w^2 - 14*w - 8]', '[3089, 3089, -5*w^3 - 3*w^2 + 11*w + 7]', '[3089, 3089, 3*w^3 + 2*w^2 - 15*w - 6]', '[3089, 3089, 3*w^3 + 6*w^2 - 7*w - 17]', '[3089, 3089, 9*w^3 + 4*w^2 - 30*w - 2]', '[3119, 3119, -3*w^3 - 3*w^2 + 14*w + 8]', '[3119, 3119, -5*w^3 + 2*w^2 + 20*w - 3]', '[3119, 3119, 5*w^2 - 2*w - 16]', '[3119, 3119, -7*w^3 - 5*w^2 + 23*w + 2]', '[3121, 3121, 5*w^3 - 21*w + 3]', '[3121, 3121, -3*w^3 + 15*w - 5]', '[3121, 3121, 3*w^3 + 6*w^2 - 9*w - 10]', '[3121, 3121, 3*w^3 - 15*w + 1]', '[3125, 25, 5*w^3 + 5*w^2 - 15*w - 15]', '[3155, 3155, -6*w^3 - 2*w^2 + 15*w + 6]', '[3155, 3155, -2*w^3 + 2*w - 5]', '[3155, 3155, -7*w^3 - 5*w^2 + 15*w + 8]', '[3155, 3155, 3*w^3 + 4*w^2 - 5*w - 11]', '[3181, 3181, w^3 + 6*w^2 - 4*w - 15]', '[3181, 3181, 5*w^3 - w^2 - 21*w + 4]', '[3181, 3181, -w^3 + 5*w + 7]', '[3181, 3181, 6*w^3 + 6*w^2 - 19*w - 8]', '[3209, 3209, -2*w^3 - 3*w^2 + 12*w + 6]', '[3209, 3209, -w^3 + 6*w^2 + 6*w - 13]', '[3209, 3209, 7*w^3 + 3*w^2 - 27*w]', '[3209, 3209, 4*w^3 + 6*w^2 - 9*w - 14]', '[3231, 1077, -13*w^3 - 5*w^2 + 45*w + 16]', '[3231, 1077, -11*w^3 - w^2 + 36*w + 2]', '[3231, 1077, -2*w^3 - 7*w^2 + 6*w + 20]', '[3231, 1077, 5*w^3 - 2*w^2 - 21*w + 7]', '[3249, 57, -11*w^3 - 3*w^2 + 40*w + 1]', '[3249, 57, 7*w^3 + 5*w^2 - 27*w - 13]', '[3271, 3271, 3*w^3 + 6*w^2 - 12*w - 14]', '[3271, 3271, 3*w^2 + 6*w - 11]', '[3271, 3271, -3*w^3 + 10*w - 10]', '[3271, 3271, 6*w^3 + 6*w^2 - 21*w - 7]', '[3295, 3295, 7*w^3 + 8*w^2 - 19*w - 10]', '[3295, 3295, 2*w^3 - w^2 - 4*w - 6]', '[3295, 3295, 7*w^3 + w^2 - 20*w + 1]', '[3295, 3295, w^3 + 6*w^2 - 5*w - 10]', '[3299, 3299, -5*w^3 - w^2 + 19*w - 7]', '[3299, 3299, 6*w^3 - 23*w + 9]', '[3299, 3299, 4*w^3 + 4*w^2 - 11*w - 13]', '[3299, 3299, w^3 - 5*w^2 - 3*w + 7]', '[3301, 3301, -4*w^3 - 6*w^2 + 14*w + 7]', '[3301, 3301, -2*w^3 - 2*w^2 + 7*w - 5]', '[3301, 3301, -4*w^3 - 6*w^2 + 14*w + 15]', '[3301, 3301, -2*w^3 + 2*w^2 + 12*w - 11]', '[3305, 3305, 6*w^3 + 5*w^2 - 16*w - 10]', '[3305, 3305, 2*w^3 + w^2 - w - 10]', '[3305, 3305, -9*w^3 - 4*w^2 + 21*w + 6]', '[3305, 3305, 5*w^3 + w^2 - 6*w - 7]', '[3329, 3329, 8*w^3 + w^2 - 29*w + 5]', '[3329, 3329, 7*w^3 + 5*w^2 - 20*w - 10]', '[3329, 3329, 2*w^3 + 3*w^2 - 3*w - 13]', '[3329, 3329, -3*w^3 + 5*w^2 + 10*w - 11]', '[3331, 3331, -3*w^3 + 2*w^2 + 15*w - 4]', '[3331, 3331, -8*w^3 - 2*w^2 + 23*w - 2]', '[3331, 3331, 7*w^3 - 2*w^2 - 22*w + 11]', '[3331, 3331, -w^3 + 2*w^2 + 9*w - 10]', '[3359, 3359, 7*w^3 + 3*w^2 - 25*w]', '[3359, 3359, -3*w^3 + 3*w^2 + 10*w - 3]', '[3359, 3359, -3*w^3 + 4*w^2 + 12*w - 9]', '[3359, 3359, 3*w^2 - 4*w - 8]', '[3361, 3361, -8*w^3 + 25*w - 1]', '[3361, 3361, -8*w^3 - w^2 + 24*w - 5]', '[3361, 3361, 7*w^3 - 20*w]', '[3361, 3361, -7*w^3 + w^2 + 21*w - 9]', '[3376, 422, 4*w^3 + 6*w^2 - 12*w - 12]', '[3376, 422, -2*w^3 + 12*w - 4]', '[3376, 422, 4*w^3 - 18*w + 4]', '[3376, 422, 4*w^3 + 6*w^2 - 12*w - 10]', '[3389, 3389, 4*w^3 - 5*w^2 - 14*w + 13]', '[3389, 3389, -9*w^3 - 2*w^2 + 32*w - 2]', '[3389, 3389, 4*w^3 - 2*w^2 - 15*w]', '[3389, 3389, 4*w^3 - 2*w^2 - 16*w + 1]', '[3391, 3391, -w^3 + 2*w^2 + 5*w - 14]', '[3391, 3391, -9*w^3 + 29*w - 8]', '[3391, 3391, -9*w^3 - 2*w^2 + 27*w + 3]', '[3391, 3391, 7*w^3 - 19*w + 6]', '[3449, 3449, 5*w^3 - 2*w^2 - 17*w + 2]', '[3449, 3449, 5*w^3 + 2*w^2 - 13*w - 8]', '[3449, 3449, 6*w^3 + 2*w^2 - 22*w + 3]', '[3449, 3449, -7*w^3 - 2*w^2 + 23*w - 5]', '[3455, 3455, 4*w^3 - w^2 - 6*w - 6]', '[3455, 3455, -5*w^3 - 2*w^2 + 19*w - 4]', '[3455, 3455, 5*w^3 + 6*w^2 - 11*w - 12]', '[3455, 3455, -6*w^3 - 5*w^2 + 11*w + 10]', '[3481, 59, 7*w^3 - w^2 - 20*w + 9]', '[3481, 59, -9*w^3 - w^2 + 28*w - 6]', '[3481, 59, 8*w^3 + w^2 - 23*w - 2]', '[3481, 59, -8*w^3 + w^2 + 25*w - 3]', '[3481, 59, 7*w^3 - 21*w + 2]', '[3481, 59, -2*w^3 + 6*w + 7]', '[3481, 3481, -10*w^3 + 2*w^2 + 33*w - 16]', '[3481, 3481, -7*w^3 + 4*w^2 + 22*w - 16]', '[3481, 3481, 12*w^3 + 3*w^2 - 38*w - 6]', '[3481, 3481, -9*w^3 + w^2 + 30*w - 9]', '[3501, 1167, -4*w^3 + w^2 + 18*w - 8]', '[3501, 1167, -7*w^3 - 7*w^2 + 25*w + 18]', '[3501, 1167, -13*w^3 - 8*w^2 + 45*w + 19]', '[3501, 1167, 13*w^3 - w^2 - 45*w + 8]', '[3509, 319, -4*w^3 - 2*w^2 + 9*w + 8]', '[3509, 319, 2*w^3 - 4*w^2 - 7*w + 6]', '[3509, 319, 6*w^3 + 2*w^2 - 23*w + 3]', '[3509, 319, -2*w^3 - 4*w^2 + 11*w + 9]', '[3509, 319, 5*w^3 - 2*w^2 - 18*w + 3]', '[3509, 319, -5*w^3 - 4*w^2 + 14*w + 11]', '[3509, 319, 7*w^3 + 4*w^2 - 26*w - 2]', '[3509, 319, -w^3 - 2*w^2 + 8*w + 6]', '[3511, 3511, -2*w^3 + 12*w - 3]', '[3511, 3511, 4*w^3 + 6*w^2 - 12*w - 11]', '[3511, 3511, -3*w^3 + 15*w - 4]', '[3511, 3511, -4*w^3 + 18*w - 3]', '[3539, 3539, 8*w^3 + 4*w^2 - 24*w - 9]', '[3539, 3539, 5*w^3 + 4*w^2 - 19*w]', '[3539, 3539, 9*w^3 + w^2 - 31*w + 6]', '[3539, 3539, 8*w^3 - 28*w + 9]', '[3541, 3541, 9*w^3 + w^2 - 29*w + 3]', '[3541, 3541, 7*w^3 - 2*w^2 - 22*w + 8]', '[3541, 3541, 8*w^3 + 2*w^2 - 23*w - 1]', '[3541, 3541, -6*w^3 + w^2 + 16*w - 5]', '[3571, 3571, -w^3 + w^2 + 4*w - 11]', '[3571, 3571, 7*w^3 - 20*w + 6]', '[3571, 3571, 8*w^3 + w^2 - 24*w - 1]', '[3571, 3571, -8*w^3 + 25*w - 7]', '[3595, 3595, 6*w^3 + 6*w^2 - 19*w - 9]', '[3595, 3595, -w^3 + 6*w - 10]', '[3595, 3595, 10*w^3 + 4*w^2 - 24*w - 3]', '[3595, 3595, 3*w^3 - w^2 + w - 5]', '[3599, 3599, w^3 - 5*w^2 - 4*w + 8]', '[3599, 3599, -5*w^3 - 5*w^2 + 14*w + 13]', '[3599, 3599, 2*w^3 - 5*w^2 - 9*w + 11]', '[3599, 3599, w^3 + 3*w^2 - 8*w - 7]', '[3599, 3599, 7*w^3 + 4*w^2 - 21*w - 10]', '[3599, 3599, -5*w^2 - w + 6]', '[3599, 3599, -4*w^3 - 4*w^2 + 11*w + 14]', '[3599, 3599, 7*w^3 + 3*w^2 - 19*w - 7]', '[3599, 3599, -5*w^3 - w^2 + 20*w - 7]', '[3599, 3599, w^3 + w^2 - 8*w - 6]', '[3599, 3599, 6*w^3 + w^2 - 23*w + 6]', '[3599, 3599, 6*w^3 + 4*w^2 - 22*w - 1]', '[3599, 3599, 9*w^3 + 2*w^2 - 30*w + 4]', '[3599, 3599, 4*w^3 + 5*w^2 - 11*w - 15]', '[3599, 3599, -7*w^3 - 3*w^2 + 26*w]', '[3599, 3599, -4*w^3 - 5*w^2 + 9*w + 12]', '[3600, 30, 10*w^3 + 2*w^2 - 36*w + 2]', '[3625, 145, 8*w^3 - w^2 - 26*w + 8]', '[3625, 145, -9*w^3 - 2*w^2 + 28*w + 1]', '[3625, 145, -7*w^3 - w^2 + 19*w - 2]', '[3625, 145, 6*w^3 - 2*w^2 - 17*w + 6]', '[3631, 3631, -4*w^3 - 6*w^2 + 13*w + 14]', '[3631, 3631, -2*w^3 + w^2 + 12*w - 2]', '[3631, 3631, -3*w^3 - 6*w^2 + 10*w + 9]', '[3631, 3631, -3*w^3 + w^2 + 15*w - 8]', '[3645, 45, -3*w^3 - 6*w^2 + 9*w + 12]', '[3659, 3659, -5*w^2 + 3*w + 14]', '[3659, 3659, 2*w^3 + 2*w^2 - 11*w - 7]', '[3659, 3659, -5*w^3 + 3*w^2 + 20*w - 7]', '[3659, 3659, 8*w^3 + 5*w^2 - 27*w - 3]', '[3691, 3691, 4*w^3 + 6*w^2 - 15*w - 14]', '[3691, 3691, 6*w^3 - w^2 - 16*w + 3]', '[3691, 3691, -w^3 + 3*w^2 + 9*w - 12]', '[3691, 3691, 5*w^3 + 6*w^2 - 18*w - 7]', '[3719, 3719, 6*w^3 + 6*w^2 - 17*w - 14]', '[3719, 3719, 8*w^3 + 3*w^2 - 28*w]', '[3719, 3719, 7*w^3 + w^2 - 27*w + 6]', '[3719, 3719, -4*w^3 + 4*w^2 + 15*w - 10]', '[3721, 61, 3*w^3 - 9*w + 10]', '[3721, 61, 9*w^3 + 2*w^2 - 28*w]', '[3721, 61, 6*w^3 + 6*w^2 - 20*w - 13]', '[3721, 61, 8*w^3 - w^2 - 26*w + 7]', '[3721, 61, -4*w^3 + 2*w^2 + 18*w - 11]', '[3721, 61, 3*w^3 - 9*w - 7]', '[3721, 3721, w^2 + 6*w - 4]', '[3721, 3721, -5*w^3 + w^2 + 21*w - 6]', '[3721, 3721, w^3 + 6*w^2 - 4*w - 13]', '[3721, 3721, 6*w^3 + 6*w^2 - 19*w - 10]', '[3725, 745, 5*w^3 - 2*w^2 - 19*w + 3]', '[3725, 745, 5*w^3 - 4*w^2 - 18*w + 11]', '[3725, 745, 9*w^3 + 3*w^2 - 31*w]', '[3725, 745, w^3 - 4*w^2 - w + 14]', '[3751, 341, -3*w^3 - 6*w^2 + 13*w + 7]', '[3751, 341, w^3 + 2*w^2 - 11*w + 1]', '[3751, 341, w^3 + 6*w^2 - 5*w - 13]', '[3751, 341, -3*w^3 + 2*w^2 + 15*w - 11]', '[3751, 341, -w^3 + 2*w^2 + 9*w - 3]', '[3751, 341, 7*w^3 + 6*w^2 - 23*w - 9]', '[3751, 341, 9*w^3 + 2*w^2 - 35*w - 1]', '[3751, 341, -7*w^3 - 6*w^2 + 25*w + 13]', '[3755, 3755, -6*w^3 - 3*w^2 + 15*w + 7]', '[3755, 3755, -7*w^3 - 4*w^2 + 24*w + 1]', '[3755, 3755, -6*w^3 - 7*w^2 + 22*w + 3]', '[3755, 3755, -3*w^3 + 3*w^2 + 6*w - 10]', '[3771, 1257, 8*w^3 + 7*w^2 - 27*w - 17]', '[3771, 1257, 9*w^3 + w^2 - 29*w + 2]', '[3771, 1257, 14*w^3 + w^2 - 48*w + 1]', '[3771, 1257, -5*w^3 + 2*w^2 + 21*w - 10]', '[3775, 755, w^3 + w^2 - w - 11]', '[3775, 755, -3*w^3 - 2*w^2 + 10*w - 6]', '[3775, 755, 2*w^3 - w^2 - 8*w - 5]', '[3775, 755, -2*w^2 + w + 13]', '[3779, 3779, 6*w^2 + 3*w - 11]', '[3779, 3779, -3*w^3 - 3*w^2 + 15*w + 7]', '[3779, 3779, 3*w^3 + 6*w^2 - 6*w - 16]', '[3779, 3779, -6*w^3 - 3*w^2 + 24*w - 1]', '[3789, 1263, -5*w^3 - 6*w^2 + 19*w + 19]', '[3789, 1263, 9*w^3 + 5*w^2 - 34*w - 14]', '[3789, 1263, -10*w^3 - 4*w^2 + 37*w + 3]', '[3789, 1263, -8*w^3 + w^2 + 29*w - 12]', '[3824, 478, 2*w^3 + 6*w^2 - 4*w - 20]', '[3824, 478, 4*w^3 + 2*w^2 - 18*w - 8]', '[3824, 478, 4*w^3 + 2*w^2 - 18*w + 6]', '[3824, 478, -2*w^3 - 6*w^2 + 4*w + 6]', '[3856, 482, 10*w^3 + 2*w^2 - 32*w - 2]', '[3856, 482, -4*w^3 - 8*w^2 + 10*w + 18]', '[3856, 482, 6*w^3 + 2*w^2 - 26*w + 2]', '[3856, 482, 10*w^3 - 32*w]', '[3875, 155, -w^3 - 3*w^2 + 7*w + 9]', '[3875, 155, 2*w^3 - 4*w^2 - 9*w + 7]', '[3875, 155, 3*w^3 + 4*w^2 - 6*w - 12]', '[3875, 155, -6*w^3 - 3*w^2 + 22*w - 1]', '[3929, 3929, -7*w^3 - 4*w^2 + 19*w + 8]', '[3929, 3929, 9*w^3 + 2*w^2 - 31*w + 3]', '[3929, 3929, -3*w^3 + 2*w^2 + 5*w - 7]', '[3929, 3929, -5*w^3 + 4*w^2 + 17*w - 10]', '[3931, 3931, 7*w^3 + 6*w^2 - 23*w - 10]', '[3931, 3931, w^3 + 6*w^2 - 5*w - 12]', '[3931, 3931, w^3 + 2*w^2 + 3*w - 5]', '[3931, 3931, 5*w^3 - 2*w^2 - 21*w + 9]', '[3989, 3989, -7*w^3 - 2*w^2 + 23*w - 6]', '[3989, 3989, 7*w^3 + 2*w^2 - 25*w + 3]', '[3989, 3989, -3*w^3 + 4*w^2 + 11*w - 8]', '[3989, 3989, -5*w^3 + 2*w^2 + 17*w - 1]', '[4005, 1335, -w^3 - 5*w^2 + 19]', '[4005, 1335, 5*w^3 - 2*w^2 - 12*w + 10]', '[4005, 1335, -w^3 - 5*w^2 + 4]', '[4005, 1335, 10*w^3 + 2*w^2 - 33*w + 5]', '[4019, 4019, -2*w^3 + 3*w^2 + 3*w - 10]', '[4019, 4019, 5*w^3 - 3*w^2 - 18*w + 7]', '[4019, 4019, -8*w^3 - 3*w^2 + 27*w - 1]', '[4019, 4019, -5*w^3 - 3*w^2 + 12*w + 8]', '[4021, 4021, 2*w^3 + 7*w^2 - 5*w - 14]', '[4021, 4021, 5*w^3 + w^2 - 22*w + 3]', '[4021, 4021, 3*w^3 + w^2 - 16*w]', '[4021, 4021, 4*w^3 + 7*w^2 - 11*w - 15]', '[4041, 1347, -8*w^3 + 25*w - 2]', '[4041, 1347, 10*w^3 + 6*w^2 - 35*w - 20]', '[4041, 1347, 9*w^3 + w^2 - 35*w - 1]', '[4041, 1347, -3*w^3 - 7*w^2 + 11*w + 19]', '[4045, 4045, -6*w^3 + 2*w^2 + 16*w - 7]', '[4045, 4045, 2*w^3 + 6*w^2 - 7*w - 11]', '[4045, 4045, 5*w^3 + 7*w^2 - 14*w - 11]', '[4045, 4045, -8*w^3 - 2*w^2 + 22*w + 1]', '[4049, 4049, 7*w^3 + 5*w^2 - 21*w - 12]', '[4049, 4049, -7*w^3 + 26*w - 9]', '[4049, 4049, w^3 + 2*w^2 - 7*w - 9]', '[4049, 4049, 3*w^3 + 4*w^2 - 7*w - 14]', '[4051, 4051, 3*w^3 + 6*w^2 - 10*w - 14]', '[4051, 4051, 3*w^3 - w^2 - 15*w + 3]', '[4051, 4051, 4*w^3 + 6*w^2 - 13*w - 9]', '[4051, 4051, -2*w^3 + w^2 + 12*w - 7]', '[4055, 4055, -3*w^3 + w + 8]', '[4055, 4055, -8*w^3 - 3*w^2 + 16*w + 6]', '[4055, 4055, -8*w^3 - 5*w^2 + 21*w + 8]', '[4055, 4055, -6*w^3 - 6*w^2 + 23*w + 3]', '[4079, 4079, 8*w^3 + w^2 - 28*w + 6]', '[4079, 4079, 7*w^3 + 4*w^2 - 20*w - 9]', '[4079, 4079, -4*w^3 + 4*w^2 + 13*w - 8]', '[4079, 4079, -3*w^3 + w^2 + 5*w - 6]', '[4096, 8, 8]', '[4111, 4111, 7*w^3 - 28*w + 2]', '[4111, 4111, 7*w^2 - 19]', '[4111, 4111, -2*w^3 + 8*w + 7]', '[4111, 4111, -7*w^3 - 7*w^2 + 21*w + 9]', '[4139, 4139, -5*w^3 + w^2 + 13*w - 12]', '[4139, 4139, 7*w^3 + 2*w^2 - 20*w - 9]', '[4139, 4139, 6*w^3 + 3*w^2 - 23*w + 1]', '[4139, 4139, 6*w^3 - 2*w^2 - 19*w]', '[4176, 174, 4*w^3 + 6*w^2 - 14*w - 14]', '[4176, 174, 2*w^3 - 2*w^2 - 12*w + 4]', '[4176, 174, -4*w^3 - 6*w^2 + 14*w + 8]', '[4176, 174, -2*w^3 + 2*w^2 + 12*w - 10]', '[4195, 4195, 9*w^3 + 3*w^2 - 25*w + 1]', '[4195, 4195, 7*w^3 + 9*w^2 - 21*w - 8]', '[4195, 4195, 5*w^3 + 6*w^2 - 17*w - 8]', '[4195, 4195, -2*w^3 - 6*w^2 + 10*w + 9]', '[4201, 4201, w^3 + 2*w^2 + 4*w - 9]', '[4201, 4201, w^3 + w^2 + 4*w - 2]', '[4201, 4201, w^3 + 7*w^2 - 5*w - 18]', '[4201, 4201, -7*w^2 + w + 14]', '[4205, 145, 2*w^3 - 2*w^2 - 2*w + 7]', '[4205, 145, w^3 - 5*w^2 - 2*w + 4]', '[4205, 145, -4*w^3 + 4*w^2 + 14*w - 9]', '[4205, 145, -6*w^3 - 4*w^2 + 16*w + 9]', '[4205, 145, -w^3 - 6*w^2 + 2*w + 7]', '[4205, 145, -8*w^3 - 2*w^2 + 28*w - 3]', '[4205, 4205, -3*w^3 + 2*w^2 + 6*w - 9]', '[4205, 4205, -6*w^3 - 3*w^2 + 16*w + 8]', '[4205, 4205, 8*w^3 + 2*w^2 - 27*w + 4]', '[4205, 4205, -5*w^3 + 3*w^2 + 17*w - 6]', '[4229, 4229, -8*w^3 - 3*w^2 + 29*w]', '[4229, 4229, 8*w^3 - 30*w + 9]', '[4229, 4229, 8*w^3 + 6*w^2 - 24*w - 13]', '[4229, 4229, -3*w^3 + 5*w^2 + 12*w - 12]', '[4231, 4231, 5*w^3 + 7*w^2 - 14*w - 12]', '[4231, 4231, -2*w^3 + 5*w^2 + 12*w - 14]', '[4231, 4231, 11*w^3 + 3*w^2 - 35*w - 1]', '[4231, 4231, 8*w^3 + 2*w^2 - 21*w - 1]', '[4259, 4259, -3*w^3 + 5*w^2 + 8*w - 18]', '[4259, 4259, 8*w^3 - w^2 - 29*w + 2]', '[4259, 4259, 9*w^3 + 5*w^2 - 28*w - 1]', '[4259, 4259, 9*w^3 + 4*w^2 - 31*w - 2]', '[4261, 4261, -8*w^3 + 2*w^2 + 26*w - 11]', '[4261, 4261, 7*w^3 + 6*w^2 - 24*w - 12]', '[4261, 4261, 10*w^3 + 2*w^2 - 32*w - 1]', '[4261, 4261, -4*w^3 + 3*w^2 + 18*w - 13]', '[4289, 4289, -7*w^3 - 3*w^2 + 23*w - 3]', '[4289, 4289, -5*w^3 - 5*w^2 + 13*w + 12]', '[4289, 4289, w^3 + 2*w^2 - 7*w - 11]', '[4289, 4289, 7*w^3 + 2*w^2 - 26*w + 3]', '[4304, 538, -6*w^3 - 4*w^2 + 14*w + 8]', '[4304, 538, -4*w^3 - 6*w^2 + 10*w + 16]', '[4304, 538, -6*w^3 - 4*w^2 + 18*w + 14]', '[4304, 538, 10*w^3 + 4*w^2 - 34*w - 2]', '[4311, 1437, -7*w^3 - 8*w^2 + 24*w + 22]', '[4311, 1437, -4*w^3 + w^2 + 18*w - 5]', '[4311, 1437, 10*w^3 - w^2 - 33*w + 5]', '[4311, 1437, -11*w^3 - 4*w^2 + 39*w + 14]', '[4321, 4321, -w - 8]', '[4321, 4321, -4*w^3 + w^2 + 18*w - 6]', '[4321, 4321, -3*w^3 + 3*w^2 + 15*w - 13]', '[4321, 4321, -6*w^3 + w^2 + 25*w - 3]', '[4321, 4321, -2*w^3 + 2*w^2 + 8*w - 15]', '[4321, 4321, -11*w^3 - 2*w^2 + 36*w - 1]', '[4321, 4321, 2*w^3 + 7*w^2 - 6*w - 19]', '[4321, 4321, -9*w^3 + 2*w^2 + 30*w - 12]', '[4321, 4321, 4*w^3 + 2*w^2 - 14*w - 11]', '[4321, 4321, -11*w^3 - 3*w^2 + 35*w + 3]', '[4321, 4321, 6*w^3 + 6*w^2 - 21*w - 13]', '[4321, 4321, 5*w^3 + 6*w^2 - 16*w - 11]', '[4321, 4321, -8*w^3 + 3*w^2 + 26*w - 12]', '[4321, 4321, -5*w^3 + 22*w]', '[4321, 4321, w^3 + 7*w^2 - 4*w - 19]', '[4321, 4321, w^3 + w^2 - 3*w - 10]', '[4336, 542, 10*w^3 + 2*w^2 - 32*w]', '[4336, 542, -4*w^3 - 2*w^2 + 12*w + 12]', '[4336, 542, 8*w^3 + 2*w^2 - 22*w]', '[4336, 542, 6*w^3 - 2*w^2 - 16*w + 6]', '[4349, 4349, -9*w^3 - 5*w^2 + 32*w + 4]', '[4349, 4349, -4*w^3 - 5*w^2 + 7*w + 12]', '[4349, 4349, -6*w^3 + 23*w - 10]', '[4349, 4349, -6*w^3 - 5*w^2 + 18*w + 14]', '[4379, 4379, -9*w^3 - 5*w^2 + 27*w + 10]', '[4379, 4379, 4*w^3 - 7*w + 4]', '[4379, 4379, -w^3 - 7*w^2 + 2*w + 10]', '[4379, 4379, w^3 + 2*w^2 - 7*w - 10]', '[4379, 4379, -3*w^3 + 5*w^2 + 13*w - 12]', '[4379, 4379, 5*w^3 + 2*w^2 - 19*w + 6]', '[4379, 4379, -w^3 - 4*w^2 + 8*w + 9]', '[4379, 4379, -4*w^3 - 5*w^2 + 8*w + 12]', '[4379, 4379, -2*w^3 - w^2 + 13*w + 5]', '[4379, 4379, 4*w^3 - 5*w^2 - 12*w + 10]', '[4379, 4379, -9*w^3 + 32*w - 9]', '[4379, 4379, w^3 - 4*w^2 - 5*w + 3]', '[4379, 4379, 5*w^3 + 7*w^2 - 14*w - 19]', '[4379, 4379, 6*w^3 + w^2 - 25*w + 8]', '[4379, 4379, -3*w^3 - 4*w^2 + 7*w + 15]', '[4379, 4379, 8*w^3 + 4*w^2 - 29*w - 2]', '[4409, 4409, 3*w^3 + 2*w^2 - 15*w - 7]', '[4409, 4409, -5*w^3 - 2*w^2 + 11*w + 7]', '[4409, 4409, 3*w^3 + 6*w^2 - 7*w - 18]', '[4409, 4409, 5*w^3 + 2*w^2 - 21*w + 5]', '[4441, 4441, 3*w^3 + 6*w^2 - 13*w - 8]', '[4441, 4441, -7*w^3 - 6*w^2 + 25*w + 12]', '[4441, 4441, -3*w^3 + 4*w^2 + 15*w - 15]', '[4441, 4441, 2*w^3 + 3*w^2 - 6*w - 15]', '[4464, 186, 4*w^3 + 4*w^2 - 10*w - 12]', '[4464, 186, 2*w^2 - 4*w - 8]', '[4464, 186, 6*w^3 + 2*w^2 - 22*w + 4]', '[4464, 186, 2*w^3 - 4*w^2 - 8*w + 6]', '[4475, 895, -2*w^3 - 3*w^2 + 10*w + 11]', '[4475, 895, w^3 - 4*w^2 - 6*w + 4]', '[4475, 895, 5*w^3 + 3*w^2 - 19*w + 3]', '[4475, 895, -2*w^3 - 4*w^2 + 3*w + 15]', '[4495, 4495, w^2 - 2*w + 7]', '[4495, 4495, 3*w^3 + 6*w^2 - 10*w - 13]', '[4495, 4495, 3*w^3 - w^2 - 15*w + 4]', '[4495, 4495, -2*w^3 + w^2 + 12*w - 6]', '[4495, 4495, 2*w^3 + 2*w^2 - 5*w + 5]', '[4495, 4495, 3*w^3 - 2*w^2 - 15*w + 10]', '[4495, 4495, -w^3 + 2*w^2 + 4*w - 14]', '[4495, 4495, -3*w^3 - 6*w^2 + 11*w + 9]', '[4495, 4495, 7*w^3 - w^2 - 21*w + 7]', '[4495, 4495, 3*w^3 + w^2 - 11*w - 9]', '[4495, 4495, -w^3 + 2*w^2 + 9*w - 4]', '[4495, 4495, 8*w^3 - 25*w + 3]', '[4495, 4495, 5*w^3 + 6*w^2 - 17*w - 13]', '[4495, 4495, -4*w^3 - 6*w^2 + 13*w + 10]', '[4495, 4495, -8*w^3 - w^2 + 24*w - 3]', '[4495, 4495, -7*w^3 + 20*w - 2]', '[4525, 905, -w^2 - 2*w - 6]', '[4525, 905, w^3 + 2*w^2 - 4*w + 5]', '[4525, 905, 2*w^3 + 2*w^2 - 7*w - 12]', '[4525, 905, w^3 - w^2 - 5*w + 12]', '[4561, 4561, -7*w^3 - 7*w^2 + 21*w + 10]', '[4561, 4561, -3*w^3 + 12*w + 7]', '[4561, 4561, 7*w^3 - 28*w + 3]', '[4561, 4561, 7*w^3 - 18*w]', '[4581, 1527, -10*w^3 - 7*w^2 + 34*w + 15]', '[4581, 1527, -4*w^3 - w^2 + 13*w + 9]', '[4581, 1527, 7*w^3 - 2*w^2 - 28*w + 12]', '[4581, 1527, 17*w^3 + 2*w^2 - 59*w]', '[4591, 4591, 5*w^3 + w^2 - 22*w + 1]', '[4591, 4591, 4*w^3 + 7*w^2 - 11*w - 13]', '[4591, 4591, 2*w^3 + 7*w^2 - 5*w - 16]', '[4591, 4591, -3*w^3 - w^2 + 16*w - 2]', '[4619, 4619, 3*w^3 - 4*w^2 - 13*w + 8]', '[4619, 4619, -5*w^3 - 2*w^2 + 20*w - 5]', '[4619, 4619, -7*w^3 - 4*w^2 + 25*w + 1]', '[4619, 4619, -11*w^3 + 40*w - 9]', '[4619, 4619, -15*w^3 - 4*w^2 + 53*w + 3]', '[4619, 4619, -3*w^3 + 3*w^2 + 11*w - 2]', '[4619, 4619, -13*w^3 - w^2 + 47*w + 2]', '[4619, 4619, 3*w^3 + 2*w^2 - 5*w - 10]', '[4619, 4619, 5*w^3 - 8*w^2 - 16*w + 29]', '[4619, 4619, 5*w^3 + 6*w^2 - 15*w - 20]', '[4619, 4619, w^3 - 4*w^2 - w + 15]', '[4619, 4619, w^3 - 2*w^2 + 11]', '[4619, 4619, -3*w^3 - 5*w^2 + 7*w + 16]', '[4619, 4619, -w^3 + 9*w + 7]', '[4619, 4619, 7*w^3 - 8*w^2 - 25*w + 26]', '[4619, 4619, -11*w^3 - 7*w^2 + 33*w + 12]', '[4621, 4621, 9*w^3 + 3*w^2 - 25*w]', '[4621, 4621, 6*w^3 - 2*w^2 - 15*w + 4]', '[4621, 4621, -8*w^3 + 3*w^2 + 26*w - 14]', '[4621, 4621, 11*w^3 + 2*w^2 - 36*w - 1]', '[4645, 4645, -3*w^2 + 3*w - 4]', '[4645, 4645, -7*w^3 + 17*w]', '[4645, 4645, -3*w^3 - 7*w^2 + 13*w + 7]', '[4645, 4645, -4*w^3 - 7*w^2 + 12*w + 10]', '[4649, 4649, -9*w^3 - 4*w^2 + 30*w + 1]', '[4649, 4649, -6*w^3 - 2*w^2 + 25*w - 5]', '[4649, 4649, -4*w^3 - 7*w^2 + 10*w + 19]', '[4649, 4649, 9*w^3 + 5*w^2 - 29*w - 2]', '[4651, 4651, 5*w^3 + 6*w^2 - 18*w - 13]', '[4651, 4651, 7*w^3 + 6*w^2 - 24*w - 10]', '[4651, 4651, -4*w^3 - 6*w^2 + 15*w + 8]', '[4651, 4651, 2*w^3 - 3*w^2 - 12*w + 12]', '[4679, 4679, -7*w^3 - 3*w^2 + 25*w - 1]', '[4679, 4679, 7*w^3 + w^2 - 24*w + 8]', '[4679, 4679, -4*w^3 + 3*w^2 + 13*w - 3]', '[4679, 4679, -3*w^3 + 4*w^2 + 12*w - 8]', '[4681, 4681, -w^3 - 7*w^2 + 9*w + 9]', '[4681, 4681, 4*w^3 + 6*w^2 - 13*w - 11]', '[4681, 4681, 5*w^3 + 6*w^2 - 8*w - 8]', '[4681, 4681, 3*w^2 + 8*w - 1]', '[4681, 4681, -3*w^3 + w^2 + 15*w - 5]', '[4681, 4681, -3*w^3 - 6*w^2 + 10*w + 12]', '[4681, 4681, -w^3 + 4*w^2 + 10*w - 16]', '[4681, 4681, -12*w^3 - 7*w^2 + 42*w + 13]', '[4681, 4681, -2*w^3 + w^2 + 12*w - 5]', '[4681, 4681, -5*w^3 - 7*w^2 + 19*w + 17]', '[4681, 4681, 2*w^3 - 4*w^2 - 13*w + 7]', '[4681, 4681, -5*w^3 + 3*w^2 + 23*w - 19]', '[4681, 4681, 8*w^3 + 8*w^2 - 27*w - 21]', '[4681, 4681, -3*w^3 - 8*w^2 + 12*w + 8]', '[4681, 4681, 6*w^3 - 6*w^2 - 25*w + 23]', '[4681, 4681, -6*w^3 - 7*w^2 + 22*w + 7]', '[4720, 590, 10*w^3 - 4*w^2 - 34*w + 20]', '[4720, 590, -4*w^3 - 6*w^2 + 12*w + 24]', '[4720, 590, 8*w^3 - 6*w^2 - 32*w + 22]', '[4720, 590, 2*w^3 - 4*w^2 - 12*w + 14]', '[4779, 177, -3*w^3 - 3*w^2 + 6*w + 15]', '[4779, 177, 3*w^3 - 6*w^2 - 12*w + 15]', '[4779, 177, 9*w^3 - 30*w + 12]', '[4779, 177, 6*w^3 + 3*w^2 - 21*w + 6]', '[4799, 4799, 5*w^2 + w - 3]', '[4799, 4799, 6*w^2 - 3*w - 17]', '[4799, 4799, -8*w^3 - 3*w^2 + 26*w - 3]', '[4799, 4799, -9*w^3 - 6*w^2 + 30*w + 4]', '[4801, 4801, -7*w^3 + 2*w^2 + 21*w - 10]', '[4801, 4801, 5*w^3 - w^2 - 22*w + 10]', '[4801, 4801, 3*w^3 - 11*w - 7]', '[4801, 4801, -w^3 + 2*w^2 + 3*w - 14]', '[4805, 155, 3*w^3 - 3*w^2 - 13*w + 3]', '[4805, 155, -8*w^3 + 2*w^2 + 29*w - 6]', '[4805, 155, -w^3 - 4*w^2 + 6*w + 14]', '[4805, 155, -6*w^3 - 4*w^2 + 21*w - 1]', '[4805, 155, -7*w^3 + 3*w^2 + 26*w - 9]', '[4805, 155, 2*w^3 + 3*w^2 - 2*w - 13]', '[4805, 4805, w^2 - 5*w - 6]', '[4805, 4805, 6*w^3 + w^2 - 23*w + 7]', '[4805, 4805, -w^3 + 5*w^2 + 4*w - 7]', '[4805, 4805, -5*w^3 - 5*w^2 + 14*w + 14]', '[4831, 4831, w^3 + 3*w^2 - 2*w - 16]', '[4831, 4831, 7*w^3 + 6*w^2 - 25*w - 11]', '[4831, 4831, -3*w^3 + 4*w^2 + 15*w - 14]', '[4831, 4831, 2*w^3 + w^2 - 9*w - 10]', '[4861, 4861, 3*w^3 + 2*w^2 - 12*w - 12]', '[4861, 4861, 7*w^3 + 6*w^2 - 25*w - 10]', '[4861, 4861, -3*w^3 + 4*w^2 + 15*w - 13]', '[4861, 4861, -3*w^2 - 2*w + 17]', '[4869, 1623, 8*w^3 + 2*w^2 - 29*w + 3]', '[4869, 1623, 10*w^3 + w^2 - 37*w + 6]', '[4869, 1623, -14*w^3 - 2*w^2 + 50*w - 3]', '[4869, 1623, -13*w^3 - 4*w^2 + 46*w + 3]', '[4880, 610, 2*w^3 - 4*w^2 - 10*w + 6]', '[4880, 610, -6*w^3 + 4*w^2 + 20*w - 10]', '[4880, 610, -12*w^3 + 6*w^2 + 44*w - 24]', '[4880, 610, -16*w^3 - 2*w^2 + 58*w + 4]', '[4889, 4889, 2*w^3 + 4*w^2 - 3*w - 16]', '[4889, 4889, -8*w^3 - w^2 + 29*w - 6]', '[4889, 4889, 7*w^3 + 5*w^2 - 20*w - 11]', '[4889, 4889, -3*w^3 + 5*w^2 + 10*w - 10]', '[4919, 4919, -2*w^3 - 3*w^2 + 12*w + 7]', '[4919, 4919, 4*w^3 + 6*w^2 - 9*w - 15]', '[4919, 4919, -w^3 + 6*w^2 + 6*w - 12]', '[4919, 4919, -8*w^3 + 27*w - 12]', '[4941, 183, -12*w^3 - 3*w^2 + 39*w + 3]', '[4941, 183, -6*w^3 + 3*w^2 + 15*w - 6]', '[4941, 183, 9*w^3 + 3*w^2 - 24*w]', '[4941, 183, -9*w^3 + 3*w^2 + 30*w - 15]', '[4951, 4951, -8*w^3 - 7*w^2 + 25*w + 12]', '[4951, 4951, -3*w^3 - 2*w^2 + 7*w - 6]', '[4951, 4951, -3*w^3 + 2*w^2 + 11*w - 16]', '[4951, 4951, 5*w^3 + 2*w^2 - 17*w - 11]', '[4955, 4955, w^3 - 4*w^2 + 5*w + 5]', '[4955, 4955, -8*w^3 - 5*w^2 + 25*w - 3]', '[4955, 4955, -7*w^3 - 2*w^2 + 16*w - 4]', '[4955, 4955, -8*w^3 - 4*w^2 + 25*w - 4]', '[5009, 5009, 8*w^3 + w^2 - 27*w + 8]', '[5009, 5009, 7*w^3 + 3*w^2 - 20*w - 9]', '[5009, 5009, 6*w^3 + 3*w^2 - 22*w + 2]', '[5009, 5009, 3*w^3 + 4*w^2 - 6*w - 13]', '[5011, 5011, -3*w^3 - 6*w^2 + 11*w + 10]', '[5011, 5011, -3*w^3 + 2*w^2 + 15*w - 9]', '[5011, 5011, 6*w^3 + 6*w^2 - 22*w - 9]', '[5011, 5011, -2*w^3 + 4*w^2 + 12*w - 11]', '[5039, 5039, -8*w^3 - 3*w^2 + 31*w - 1]', '[5039, 5039, -6*w^3 + 4*w^2 + 21*w - 11]', '[5039, 5039, 5*w^3 + 7*w^2 - 12*w - 16]', '[5039, 5039, 10*w^3 + 3*w^2 - 34*w + 1]', '[5041, 71, -8*w^3 + 24*w - 7]', '[5041, 71, 8*w^3 - 24*w + 1]', '[5095, 5095, -5*w^3 - 6*w^2 + 17*w - 2]', '[5095, 5095, 2*w^3 + w^2 + 2*w - 2]', '[5095, 5095, -8*w^3 - w^2 + 23*w - 4]', '[5095, 5095, -w^3 - 7*w^2 + 8*w + 9]', '[5099, 5099, 5*w^3 - 2*w^2 - 18*w]', '[5099, 5099, -7*w^3 - 5*w^2 + 23*w]', '[5099, 5099, -5*w^3 + 2*w^2 + 20*w - 1]', '[5099, 5099, -9*w^3 - 2*w^2 + 32*w - 3]', '[5101, 5101, 3*w^3 - 2*w^2 - 16*w + 13]', '[5101, 5101, -5*w^3 - 7*w^2 + 17*w + 18]', '[5101, 5101, -4*w^3 - 7*w^2 + 14*w + 8]', '[5101, 5101, 7*w^2 - w - 17]', '[5105, 5105, 5*w^3 + 5*w^2 - 11*w - 11]', '[5105, 5105, -w^3 + 6*w^2 + 3*w - 9]', '[5105, 5105, -7*w^3 - 2*w^2 + 16*w + 6]', '[5105, 5105, -6*w^3 - 4*w^2 + 11*w + 9]', '[5121, 1707, 11*w^3 - 37*w + 5]', '[5121, 1707, -14*w^3 - 2*w^2 + 47*w + 3]', '[5121, 1707, -7*w^3 + 2*w^2 + 28*w - 9]', '[5121, 1707, -4*w^3 - 7*w^2 + 13*w + 18]', '[5139, 1713, 22*w^3 + 5*w^2 - 78*w - 13]', '[5139, 1713, 4*w^3 + 5*w^2 - 9*w - 13]', '[5139, 1713, -5*w^3 - 10*w^2 + 15*w + 32]', '[5139, 1713, -7*w^3 - 2*w^2 + 24*w - 5]', '[5189, 5189, -8*w^3 - 3*w^2 + 21*w + 7]', '[5189, 5189, -11*w^3 - 3*w^2 + 36*w - 3]', '[5189, 5189, -5*w^3 + 3*w^2 + 12*w - 12]', '[5189, 5189, -8*w^3 + 3*w^2 + 27*w - 8]', '[5191, 5191, 7*w^3 + 7*w^2 - 23*w - 16]', '[5191, 5191, 4*w^3 + w^2 - 15*w - 9]', '[5191, 5191, 5*w^3 + 6*w^2 - 17*w - 10]', '[5191, 5191, -5*w^3 + 2*w^2 + 22*w - 13]', '[5191, 5191, -10*w^3 - 3*w^2 + 30*w]', '[5191, 5191, -w^3 + 3*w^2 + 4*w - 17]', '[5191, 5191, 2*w^2 + 7*w - 2]', '[5191, 5191, 2*w^3 + 7*w^2 - 8*w - 10]', '[5191, 5191, 3*w^3 + 6*w^2 - 11*w - 12]', '[5191, 5191, -3*w^3 + 2*w^2 + 15*w - 7]', '[5191, 5191, -w^2 + 3*w - 8]', '[5191, 5191, -10*w^3 + 33*w - 4]', '[5191, 5191, -w^3 + 2*w^2 + 9*w - 7]', '[5191, 5191, -3*w^3 - 3*w^2 + 8*w - 4]', '[5191, 5191, -7*w^3 + 3*w^2 + 21*w - 12]', '[5191, 5191, -7*w^3 + 18*w - 1]', '[5245, 5245, 2*w^3 + 2*w^2 + w - 4]', '[5245, 5245, -3*w^3 - 5*w^2 + 11*w - 2]', '[5245, 5245, 2*w^3 + 7*w^2 - 9*w - 9]', '[5245, 5245, 7*w^3 - 19*w + 3]', '[5249, 5249, 8*w^3 + 3*w^2 - 28*w + 1]', '[5249, 5249, -w^3 + 3*w^2 - w - 9]', '[5249, 5249, -2*w^3 + w^2 - 4]', '[5249, 5249, -3*w^3 - 3*w^2 + 14*w + 10]', '[5249, 5249, -5*w^2 - 3*w + 6]', '[5249, 5249, -8*w^3 - 6*w^2 + 23*w + 12]', '[5249, 5249, -6*w^3 + 24*w - 11]', '[5249, 5249, -5*w^3 - 3*w^2 + 20*w - 3]', '[5249, 5249, 9*w^3 + w^2 - 33*w + 6]', '[5249, 5249, -3*w^3 + 6*w^2 + 10*w - 13]', '[5249, 5249, 6*w^2 - 7]', '[5249, 5249, 4*w^3 - 4*w^2 - 15*w + 9]', '[5249, 5249, 2*w^3 + 5*w^2 - 3*w - 17]', '[5249, 5249, 5*w^3 + 4*w^2 - 12*w - 10]', '[5249, 5249, -6*w^3 - 6*w^2 + 18*w + 17]', '[5249, 5249, 6*w + 5]', '[5251, 5251, -6*w^3 + 25*w - 5]', '[5251, 5251, 5*w^3 - 22*w + 1]', '[5251, 5251, 7*w^2 - w - 16]', '[5251, 5251, w^3 - 4*w^2 - 9*w + 12]', '[5251, 5251, -2*w^3 + 2*w^2 + 7*w - 15]', '[5251, 5251, -6*w^3 + w^2 + 25*w - 9]', '[5251, 5251, -2*w^3 + 3*w^2 + 8*w - 18]', '[5251, 5251, 5*w^3 + 6*w^2 - 19*w - 11]', '[5251, 5251, -7*w^3 + w^2 + 28*w - 7]', '[5251, 5251, 5*w^3 + 6*w^2 - 19*w - 9]', '[5251, 5251, 10*w^3 + w^2 - 32*w + 5]', '[5251, 5251, 7*w^3 - 3*w^2 - 21*w + 10]', '[5251, 5251, 7*w^3 - w^2 - 20*w + 7]', '[5251, 5251, -9*w^3 - w^2 + 28*w - 4]', '[5251, 5251, 8*w^3 + 7*w^2 - 25*w - 11]', '[5251, 5251, -w^3 + 4*w^2 + 9*w - 10]', '[5255, 5255, -5*w^3 - 4*w^2 + 20*w - 1]', '[5255, 5255, -5*w^3 + w^2 + 10*w - 6]', '[5255, 5255, -6*w^3 - 5*w^2 + 22*w + 1]', '[5255, 5255, -6*w^3 - w^2 + 12*w - 3]', '[5275, 1055, 2*w^3 - 3*w^2 - 12*w + 8]', '[5275, 1055, -3*w^3 - 6*w^2 + 12*w + 10]', '[5275, 1055, 4*w^3 + 6*w^2 - 15*w - 12]', '[5275, 1055, -3*w^2 - 6*w + 7]', '[5279, 5279, -8*w^3 - 2*w^2 + 26*w - 7]', '[5279, 5279, -6*w^3 + 2*w^2 + 20*w - 1]', '[5279, 5279, 3*w^3 + 4*w^2 - 15*w - 9]', '[5279, 5279, 3*w^3 + 6*w^2 - 5*w - 16]', '[5281, 5281, 3*w^2 + 6*w - 8]', '[5281, 5281, 5*w^3 + 6*w^2 - 18*w - 12]', '[5281, 5281, 3*w^3 + 6*w^2 - 12*w - 11]', '[5281, 5281, 6*w^3 + 6*w^2 - 21*w - 10]', '[5296, 662, -2*w^3 + 4*w^2 + 12*w - 12]', '[5296, 662, -4*w^3 - 6*w^2 + 14*w + 10]', '[5296, 662, 4*w^3 + 6*w^2 - 16*w - 10]', '[5296, 662, 6*w^3 + 6*w^2 - 22*w - 10]', '[5309, 5309, -3*w^3 - 2*w^2 + 5*w + 11]', '[5309, 5309, 5*w^3 - 2*w^2 - 19*w + 1]', '[5309, 5309, -9*w^3 - 2*w^2 + 33*w - 3]', '[5309, 5309, -7*w^3 - 4*w^2 + 23*w - 2]', '[5391, 1797, w^3 + 2*w^2 - 3*w - 13]', '[5391, 1797, -11*w^3 - 7*w^2 + 39*w + 14]', '[5391, 1797, -11*w^3 - w^2 + 42*w - 4]', '[5391, 1797, 14*w^3 + w^2 - 48*w + 4]', '[5399, 5399, -4*w^3 - 3*w^2 + 18*w + 9]', '[5399, 5399, -6*w^3 - 3*w^2 + 15*w + 8]', '[5399, 5399, 5*w^3 + 3*w^2 - 21*w + 3]', '[5399, 5399, -8*w^3 - 5*w^2 + 27*w + 2]', '[5409, 1803, -10*w^3 + 35*w + 2]', '[5409, 1803, -9*w^3 - 7*w^2 + 29*w + 19]', '[5409, 1803, -14*w^3 + 49*w - 2]', '[5409, 1803, -3*w^3 - 5*w^2 + 7*w + 17]', '[5429, 5429, 3*w^3 + 6*w^2 - 6*w - 17]', '[5429, 5429, -4*w^3 + 6*w^2 + 13*w - 14]', '[5429, 5429, -6*w^3 - 4*w^2 + 21*w - 2]', '[5429, 5429, 7*w^3 - 2*w^2 - 23*w + 2]', '[5429, 5429, 8*w^3 + 5*w^2 - 26*w - 1]', '[5429, 5429, -8*w^3 - 2*w^2 + 31*w - 4]', '[5429, 5429, 2*w^3 + 3*w^2 - 2*w - 14]', '[5429, 5429, -8*w^3 - 3*w^2 + 27*w - 2]', '[5429, 5429, 5*w^3 + 6*w^2 - 11*w - 13]', '[5429, 5429, -w^3 - 4*w^2 + 9*w + 8]', '[5429, 5429, -10*w^3 - w^2 + 36*w - 6]', '[5429, 5429, 6*w^3 + 3*w^2 - 24*w + 2]', '[5429, 5429, -w^3 + 7*w^2 + 5*w - 14]', '[5429, 5429, -9*w^3 - 2*w^2 + 29*w - 7]', '[5429, 5429, 5*w^3 + 3*w^2 - 12*w - 9]', '[5429, 5429, 6*w^3 + 7*w^2 - 16*w - 16]', '[5431, 5431, 9*w^3 + 7*w^2 - 29*w - 11]', '[5431, 5431, 6*w^3 + 7*w^2 - 20*w - 17]', '[5431, 5431, 7*w^2 - 2*w - 15]', '[5431, 5431, 3*w^3 + 7*w^2 - 11*w - 9]', '[5445, 165, 4*w^3 + 6*w^2 - 14*w - 11]', '[5445, 165, -2*w^3 + 2*w^2 + 12*w - 7]', '[5519, 5519, -4*w^3 + 4*w^2 + 9*w - 13]', '[5519, 5519, -8*w^3 + 3*w^2 + 28*w - 9]', '[5519, 5519, -7*w^3 - 3*w^2 + 17*w + 7]', '[5519, 5519, -11*w^3 - 4*w^2 + 36*w]', '[5521, 5521, 9*w^3 - w^2 - 29*w + 10]', '[5521, 5521, 8*w^3 + w^2 - 22*w + 4]', '[5521, 5521, -6*w^3 + 2*w^2 + 25*w - 7]', '[5521, 5521, 10*w^3 + 2*w^2 - 31*w - 2]', '[5545, 5545, -8*w^3 + 17*w - 1]', '[5545, 5545, 8*w - 7]', '[5545, 5545, w^3 + w^2 - 3*w + 7]', '[5545, 5545, -7*w^3 - 8*w^2 + 22*w + 8]', '[5549, 5549, -2*w^3 + 4*w^2 + w - 9]', '[5549, 5549, -w^3 + 7*w^2 - w - 5]', '[5549, 5549, 8*w^3 + 2*w^2 - 27*w + 5]', '[5549, 5549, -7*w^3 - 6*w^2 + 24*w + 2]', '[5549, 5549, -7*w^3 - 5*w^2 + 17*w + 9]', '[5549, 5549, 2*w^3 + 6*w^2 - 9*w - 19]', '[5549, 5549, 5*w^3 + 4*w^2 - 8*w + 2]', '[5549, 5549, -5*w^3 + 3*w^2 + 17*w - 5]', '[5549, 5549, 6*w^3 + 3*w^2 - 16*w - 9]', '[5549, 5549, -11*w^3 - 4*w^2 + 38*w + 2]', '[5549, 5549, 8*w^3 - 4*w^2 - 31*w + 25]', '[5549, 5549, -w^3 - 3*w^2 - 3*w + 15]', '[5549, 5549, 4*w^3 - 3*w^2 - 18*w + 3]', '[5549, 5549, 3*w^3 - 2*w^2 - 6*w + 10]', '[5549, 5549, 12*w^3 + 7*w^2 - 40*w - 19]', '[5549, 5549, 6*w^3 - 5*w^2 - 22*w + 15]', '[5581, 5581, -11*w^3 - 3*w^2 + 34*w - 1]', '[5581, 5581, 6*w^3 + 7*w^2 - 18*w - 11]', '[5581, 5581, -7*w^3 + 3*w^2 + 20*w - 12]', '[5581, 5581, 8*w^3 + w^2 - 21*w - 1]', '[5611, 5611, -6*w^3 + 4*w^2 + 25*w - 18]', '[5611, 5611, -3*w^3 - 4*w^2 + 2*w + 5]', '[5611, 5611, 5*w^3 - 5*w^2 - 23*w + 24]', '[5611, 5611, 3*w^3 + 8*w^2 - 14*w - 7]', '[5611, 5611, -4*w^3 + 2*w^2 + 19*w - 4]', '[5611, 5611, w^3 - 3*w^2 - 9*w + 8]', '[5611, 5611, -4*w^3 - 6*w^2 + 15*w + 10]', '[5611, 5611, w^3 + 7*w^2 - 7*w - 10]', '[5611, 5611, -10*w^3 - 7*w^2 + 34*w + 14]', '[5611, 5611, -2*w^3 + 3*w^2 + 12*w - 10]', '[5611, 5611, 5*w^3 + 6*w^2 - 18*w - 11]', '[5611, 5611, 2*w^3 + 5*w^2 + 2*w - 4]', '[5611, 5611, -10*w^3 - 8*w^2 + 35*w + 20]', '[5611, 5611, 3*w^3 + 7*w^2 - 11*w - 18]', '[5611, 5611, -6*w^3 - 7*w^2 + 20*w + 8]', '[5611, 5611, w^3 - 2*w^2 - 10*w + 11]', '[5625, 15, 5*w^3 + 5*w^2 - 20*w - 15]', '[5639, 5639, 5*w^3 - 2*w^2 - 19*w]', '[5639, 5639, 7*w^3 + 4*w^2 - 23*w + 3]', '[5639, 5639, -10*w^3 - 2*w^2 + 36*w - 3]', '[5639, 5639, -4*w^3 + 6*w^2 + 14*w - 15]', '[5641, 5641, 2*w^3 - 2*w^2 - 13*w + 12]', '[5641, 5641, -2*w^3 - 2*w^2 + 7*w - 6]', '[5641, 5641, -4*w^3 - 7*w^2 + 14*w + 18]', '[5641, 5641, -5*w^3 - 7*w^2 + 17*w + 8]', '[5669, 5669, -3*w^3 - 6*w^2 + 7*w + 19]', '[5669, 5669, 3*w^3 + 2*w^2 - 15*w - 8]', '[5669, 5669, -6*w^3 - 2*w^2 + 14*w + 7]', '[5669, 5669, -4*w^3 + 4*w^2 + 10*w - 15]', '[5679, 1893, -19*w^3 - 6*w^2 + 68*w + 8]', '[5679, 1893, 16*w^3 + w^2 - 58*w]', '[5679, 1893, -9*w^3 - 2*w^2 + 31*w - 4]', '[5679, 1893, 12*w^3 - w^2 - 43*w + 13]', '[5701, 5701, -6*w^3 + 2*w^2 + 25*w - 12]', '[5701, 5701, -5*w^3 - w^2 + 17*w + 9]', '[5701, 5701, -3*w^3 + 2*w^2 + 10*w - 16]', '[5701, 5701, -8*w^3 - 7*w^2 + 26*w + 14]', '[5744, 718, 4*w^3 + 4*w^2 - 18*w - 10]', '[5744, 718, 6*w^3 + 4*w^2 - 24*w]', '[5744, 718, 2*w^3 + 6*w^2 - 2*w - 18]', '[5744, 718, 6*w^2 + 4*w - 10]', '[5776, 38, -2*w^3 + 6*w + 8]', '[5776, 38, 8*w^3 - 24*w + 2]', '[5791, 5791, -10*w^3 + 32*w - 9]', '[5791, 5791, -10*w^3 - 2*w^2 + 30*w + 3]', '[5791, 5791, 8*w^3 - 22*w + 7]', '[5791, 5791, -5*w^3 - 7*w^2 + 16*w + 9]', '[5821, 5821, -4*w^3 + 13*w - 12]', '[5821, 5821, -4*w^3 - w^2 + 12*w + 10]', '[5821, 5821, -3*w^3 + 8*w - 11]', '[5821, 5821, 3*w^3 - w^2 - 9*w - 6]', '[5849, 5849, 5*w^3 + 6*w^2 - 14*w - 17]', '[5849, 5849, 6*w^3 + w^2 - 24*w + 8]', '[5849, 5849, -6*w^3 - 5*w^2 + 18*w + 16]', '[5849, 5849, w^3 + 2*w + 7]', '[5851, 5851, -10*w^3 - w^2 + 31*w - 7]', '[5851, 5851, -6*w^3 - 7*w^2 + 19*w + 9]', '[5851, 5851, 9*w^3 + w^2 - 26*w - 2]', '[5851, 5851, 8*w^3 - w^2 - 23*w + 10]', '[5855, 5855, -2*w^3 - 6*w^2 + 17*w - 4]', '[5855, 5855, -10*w^3 - 7*w^2 + 33*w + 5]', '[5855, 5855, -11*w^3 - 4*w^2 + 23*w + 1]', '[5855, 5855, -5*w^2 - 2*w + 3]', '[5879, 5879, -6*w^3 - 5*w^2 + 17*w + 13]', '[5879, 5879, 3*w^3 + 5*w^2 - 7*w - 18]', '[5879, 5879, 2*w^3 + 2*w^2 - 11*w - 10]', '[5879, 5879, 7*w^3 + w^2 - 26*w + 7]', '[5881, 5881, -w^3 + w^2 + 4*w - 12]', '[5881, 5881, 8*w^3 - 23*w + 7]', '[5881, 5881, 9*w^3 + w^2 - 27*w - 1]', '[5881, 5881, -9*w^3 + 28*w - 8]', '[5931, 1977, 14*w^3 + 2*w^2 - 47*w + 3]', '[5931, 1977, 19*w^3 + 4*w^2 - 70*w - 3]', '[5931, 1977, 12*w^3 - 2*w^2 - 41*w + 11]', '[5931, 1977, 14*w^3 + 9*w^2 - 49*w - 22]', '[5939, 5939, -3*w^3 - 3*w^2 + 16*w + 7]', '[5939, 5939, 7*w^3 + 3*w^2 - 28*w + 2]', '[5939, 5939, 4*w^3 + 7*w^2 - 9*w - 18]', '[5939, 5939, 11*w^3 + 4*w^2 - 37*w - 1]', '[5949, 1983, 14*w^3 - 52*w + 11]', '[5949, 1983, -14*w^3 - 6*w^2 + 49*w + 7]', '[5949, 1983, 21*w^3 + 4*w^2 - 74*w - 1]', '[5949, 1983, 6*w^3 + w^2 - 23*w + 8]', '[5975, 1195, 7*w^3 - 5*w^2 - 26*w + 16]', '[5975, 1195, 12*w^3 + 5*w^2 - 41*w - 4]', '[5975, 1195, -2*w^3 + 5*w^2 + w - 11]', '[5975, 1195, 7*w^3 + 5*w^2 - 16*w - 9]', '[6005, 6005, 2*w^3 - 2*w^2 - 3*w + 11]', '[6005, 6005, -5*w^3 - 3*w^2 + 13*w + 11]', '[6005, 6005, -9*w^3 - 6*w^2 + 19*w + 1]', '[6005, 6005, -3*w^3 + 5*w^2 + 8*w]', '[6025, 1205, 5*w^3 + w^2 - 18*w - 9]', '[6025, 1205, -2*w^3 + 6*w^2 + 13*w - 15]', '[6025, 1205, 5*w^3 + 7*w^2 - 21*w - 13]', '[6025, 1205, 7*w^3 + 2*w^2 - 22*w - 12]', '[6029, 6029, -8*w^3 - 3*w^2 + 30*w - 1]', '[6029, 6029, 5*w^3 + 6*w^2 - 12*w - 14]', '[6029, 6029, -2*w^3 + 6*w^2 + 9*w - 13]', '[6029, 6029, -7*w^3 - 3*w^2 + 24*w - 3]', '[6089, 6089, -9*w^3 - w^2 + 30*w - 9]', '[6089, 6089, -5*w^3 + w^2 + 12*w - 10]', '[6089, 6089, 6*w^3 - 3*w^2 - 19*w + 4]', '[6089, 6089, 8*w^3 + 3*w^2 - 23*w - 9]', '[6091, 6091, 8*w^3 - 2*w^2 - 25*w + 8]', '[6091, 6091, -6*w^3 + w^2 + 25*w - 8]', '[6091, 6091, 10*w^3 + w^2 - 32*w + 4]', '[6091, 6091, -7*w^3 + w^2 + 19*w - 6]', '[6119, 6119, -2*w^3 - 4*w^2 + 10*w + 13]', '[6119, 6119, -4*w^3 + w^2 + 9*w - 10]', '[6119, 6119, -5*w^3 + 4*w^2 + 15*w - 6]', '[6119, 6119, -5*w^3 + 11*w - 7]', '[6119, 6119, 6*w^3 + 2*w^2 - 15*w - 8]', '[6119, 6119, 6*w^3 + 2*w^2 - 23*w + 5]', '[6119, 6119, 3*w^2 - 4*w - 10]', '[6119, 6119, 4*w^3 + 5*w^2 - 10*w - 15]', '[6119, 6119, 4*w^3 + 4*w^2 - 9*w - 12]', '[6119, 6119, -2*w^3 + 4*w^2 + 10*w - 5]', '[6119, 6119, 5*w^2 + 3*w - 5]', '[6119, 6119, 7*w^3 - 3*w^2 - 23*w + 6]', '[6119, 6119, -5*w^3 - 3*w^2 + 20*w - 4]', '[6119, 6119, -10*w^3 - 2*w^2 + 33*w - 6]', '[6119, 6119, -7*w^3 - 3*w^2 + 20*w + 10]', '[6119, 6119, -9*w^3 - 3*w^2 + 29*w - 4]', '[6121, 6121, 11*w^3 + 3*w^2 - 34*w - 3]', '[6121, 6121, -10*w^3 + w^2 + 33*w - 10]', '[6121, 6121, 8*w^3 + w^2 - 21*w + 3]', '[6121, 6121, 7*w^3 - 3*w^2 - 20*w + 8]', '[6145, 6145, -4*w^2 + 3*w - 3]', '[6145, 6145, -4*w^3 - 7*w^2 + 15*w + 8]', '[6145, 6145, w^3 + 5*w - 4]', '[6145, 6145, -3*w^3 - 3*w^2 + 10*w - 5]', '[6151, 6151, w^3 + 7*w^2 - 4*w - 17]', '[6151, 6151, -2*w^3 + 9*w + 8]', '[6151, 6151, 7*w^3 + 7*w^2 - 22*w - 10]', '[6151, 6151, -w^3 + 6*w - 11]', '[6155, 6155, -4*w^3 - w^2 + 6*w + 8]', '[6155, 6155, -7*w^3 - 3*w^2 + 16*w + 7]', '[6155, 6155, 5*w^3 + 4*w^2 - 11*w - 10]', '[6155, 6155, 6*w^3 + 3*w^2 - 11*w - 8]', '[6211, 6211, 10*w^3 + 2*w^2 - 31*w - 1]', '[6211, 6211, -5*w^3 + 3*w^2 + 22*w - 9]', '[6211, 6211, -8*w^3 - w^2 + 22*w - 3]', '[6211, 6211, 8*w^3 + 7*w^2 - 27*w - 9]', '[6219, 2073, 14*w^3 - 49*w + 11]', '[6219, 2073, 15*w^3 + 4*w^2 - 56*w - 1]', '[6219, 2073, -8*w^3 + 28*w - 11]', '[6219, 2073, -10*w^3 - 8*w^2 + 33*w + 25]', '[6224, 778, 2*w^3 - 6*w^2 - 6*w + 10]', '[6224, 778, 4*w^3 + 4*w^2 - 10*w - 14]', '[6224, 778, 8*w^3 + 6*w^2 - 24*w - 14]', '[6224, 778, -8*w^3 + 30*w - 10]', '[6241, 79, -8*w^3 + 24*w - 5]', '[6241, 79, 8*w^3 - 24*w + 3]', '[6269, 6269, 6*w^3 - 4*w^2 - 19*w + 8]', '[6269, 6269, 9*w^3 - 32*w + 10]', '[6269, 6269, -5*w^3 + w^2 + 11*w - 8]', '[6269, 6269, -10*w^3 - w^2 + 34*w - 8]', '[6271, 6271, -w^3 + 3*w^2 + 10*w - 13]', '[6271, 6271, 4*w^3 + 7*w^2 - 15*w - 17]', '[6271, 6271, -3*w^3 - w^2 + 10*w - 9]', '[6271, 6271, 8*w^3 - 2*w^2 - 25*w + 11]', '[6295, 6295, 2*w^3 + 7*w^2 - 6*w - 16]', '[6295, 6295, -9*w^3 - 5*w^2 + 16*w + 7]', '[6295, 6295, 3*w^3 + 7*w^2 - 9*w - 13]', '[6295, 6295, -11*w^3 - 4*w^2 + 31*w + 4]', '[6299, 6299, -11*w^3 - 3*w^2 + 38*w - 1]', '[6299, 6299, 4*w^3 - 3*w^2 - 16*w + 4]', '[6299, 6299, -8*w^3 - 5*w^2 + 21*w + 9]', '[6299, 6299, 6*w^3 - 5*w^2 - 21*w + 14]', '[6301, 6301, -3*w^3 + 16*w - 5]', '[6301, 6301, 5*w^3 + 7*w^2 - 15*w - 13]', '[6301, 6301, 5*w^3 - 22*w + 4]', '[6301, 6301, 4*w^3 + 7*w^2 - 12*w - 12]', '[6329, 6329, 8*w^3 + 4*w^2 - 29*w - 1]', '[6329, 6329, 4*w^3 + 5*w^2 - 8*w - 13]', '[6329, 6329, -7*w^3 - w^2 + 25*w - 8]', '[6329, 6329, -3*w^3 + 5*w^2 + 13*w - 11]', '[6359, 6359, -2*w^3 + 5*w^2 + 4*w - 17]', '[6359, 6359, -10*w^3 - 4*w^2 + 34*w + 1]', '[6359, 6359, 9*w^3 + 5*w^2 - 29*w - 1]', '[6359, 6359, -5*w^3 - 7*w^2 + 13*w + 18]', '[6361, 6361, 3*w^3 - w^2 - 16*w + 2]', '[6361, 6361, 4*w^3 + 7*w^2 - 13*w - 10]', '[6361, 6361, 4*w^3 + 7*w^2 - 13*w - 17]', '[6361, 6361, -3*w^3 + w^2 + 16*w - 9]', '[6389, 6389, -10*w^3 - 4*w^2 + 33*w]', '[6389, 6389, 6*w^3 + 3*w^2 - 14*w - 8]', '[6389, 6389, 6*w^3 - 3*w^2 - 23*w + 7]', '[6389, 6389, 9*w^3 + 5*w^2 - 30*w - 2]', '[6400, 20, -8*w^3 + 24*w - 4]', '[6421, 6421, -7*w^3 + 3*w^2 + 20*w - 11]', '[6421, 6421, 11*w^3 + 3*w^2 - 34*w]', '[6421, 6421, 10*w^3 - w^2 - 33*w + 7]', '[6421, 6421, -8*w^3 - w^2 + 21*w]', '[6445, 6445, 3*w^3 + 7*w^2 - 14*w - 8]', '[6445, 6445, 5*w^3 + 4*w^2 - 16*w + 5]', '[6445, 6445, w^3 - w^2 + 6*w - 2]', '[6445, 6445, -9*w^3 - 2*w^2 + 24*w - 3]', '[6449, 6449, 5*w^3 + 4*w^2 - 10*w - 10]', '[6449, 6449, 6*w^3 - 4*w^2 - 23*w + 11]', '[6449, 6449, -10*w^3 - 5*w^2 + 34*w + 3]', '[6449, 6449, -w^3 + 5*w^2 - w - 13]', '[6451, 6451, 2*w^3 + 7*w^2 - 8*w - 17]', '[6451, 6451, -2*w^2 - 7*w + 9]', '[6451, 6451, 5*w^3 - 2*w^2 - 22*w + 6]', '[6451, 6451, -7*w^3 - 7*w^2 + 23*w + 9]', '[6455, 6455, -7*w^3 - 4*w^2 + 16*w + 8]', '[6455, 6455, 6*w^3 + 2*w^2 - 11*w - 7]', '[6455, 6455, -5*w^3 - 3*w^2 + 11*w + 9]', '[6455, 6455, 4*w^3 + 2*w^2 - 6*w - 9]', '[6471, 2157, 23*w^3 + 5*w^2 - 80*w - 6]', '[6471, 2157, -w^3 - w^2 + w + 12]', '[6471, 2157, 10*w^3 + 7*w^2 - 34*w - 12]', '[6471, 2157, 13*w^3 - 2*w^2 - 49*w + 15]', '[6480, 30, 6*w^2 - 6]', '[6481, 6481, -5*w^3 + 2*w^2 + 22*w - 12]', '[6481, 6481, 7*w^3 + 7*w^2 - 23*w - 15]', '[6481, 6481, 9*w^3 - w^2 - 29*w + 7]', '[6481, 6481, 10*w^3 + 2*w^2 - 31*w + 1]', '[6525, 435, 6*w^3 - w^2 - 25*w + 7]', '[6525, 435, 7*w^3 + 7*w^2 - 22*w - 12]', '[6525, 435, w^2 + 7*w - 4]', '[6525, 435, -w^3 - 7*w^2 + 4*w + 15]', '[6541, 6541, 4*w^3 - 3*w^2 - 14*w + 20]', '[6541, 6541, -8*w^3 - 4*w^2 + 27*w + 16]', '[6541, 6541, w^3 - 4*w^2 + 2*w - 4]', '[6541, 6541, 5*w^3 + 2*w^2 - 16*w - 12]', '[6541, 6541, -8*w^3 - w^2 + 20*w - 1]', '[6541, 6541, 4*w^3 + 3*w^2 - 8*w + 6]', '[6541, 6541, -10*w^3 - w^2 + 32*w - 3]', '[6541, 6541, -8*w^3 + 4*w^2 + 25*w - 14]', '[6541, 6541, 7*w^3 - 4*w^2 - 20*w + 12]', '[6541, 6541, -10*w^3 - 2*w^2 + 31*w]', '[6541, 6541, -8*w^3 - w^2 + 22*w - 2]', '[6541, 6541, 4*w^3 - w^2 - 14*w + 15]', '[6541, 6541, -12*w^3 - w^2 + 40*w - 4]', '[6541, 6541, 9*w^3 + 2*w^2 - 26*w]', '[6541, 6541, 6*w^3 + 5*w^2 - 14*w + 3]', '[6541, 6541, -2*w^3 + 2*w^2 + 3*w + 6]', '[6561, 9, 9]', '[6569, 6569, 11*w^3 + 5*w^2 - 33*w - 10]', '[6569, 6569, 11*w^3 + 5*w^2 - 34*w - 11]', '[6569, 6569, 11*w^3 + 6*w^2 - 33*w - 11]', '[6569, 6569, 10*w^3 - w^2 - 35*w + 14]', '[6571, 6571, 8*w^3 + 8*w^2 - 25*w - 17]', '[6571, 6571, w^2 + 8*w - 1]', '[6571, 6571, w^3 + 8*w^2 - 4*w - 14]', '[6571, 6571, -7*w^3 + w^2 + 29*w - 11]', '[6595, 6595, -9*w^3 - 2*w^2 + 26*w - 1]', '[6595, 6595, 8*w^3 + 10*w^2 - 21*w - 13]', '[6595, 6595, 8*w^3 - 2*w^2 - 16*w - 1]', '[6595, 6595, -6*w^3 - 9*w^2 + 24*w + 7]', '[6599, 6599, 9*w^3 + w^2 - 34*w + 7]', '[6599, 6599, -9*w^3 - 3*w^2 + 32*w - 1]', '[6599, 6599, 8*w^3 + 7*w^2 - 23*w - 15]', '[6599, 6599, -4*w^3 + 5*w^2 + 15*w - 12]', '[6605, 6605, 7*w^3 + 9*w^2 - 25*w - 2]', '[6605, 6605, -4*w^3 - 3*w^2 + 19*w - 7]', '[6605, 6605, -8*w^3 - w^2 + 13*w + 6]', '[6605, 6605, 2*w^3 + w^2 + 2*w - 12]', '[6659, 6659, -8*w^3 + 3*w^2 + 26*w - 6]', '[6659, 6659, 9*w^3 + 3*w^2 - 25*w - 8]', '[6659, 6659, 5*w^3 + 3*w^2 - 20*w + 5]', '[6659, 6659, -11*w^3 - 2*w^2 + 36*w - 7]', '[6661, 6661, -10*w^3 - 3*w^2 + 27*w + 3]', '[6661, 6661, -13*w^3 - 3*w^2 + 42*w - 1]', '[6661, 6661, -7*w^3 + 3*w^2 + 18*w - 10]', '[6661, 6661, -10*w^3 + 3*w^2 + 33*w - 12]', '[6689, 6689, 5*w^3 + 5*w^2 - 22*w - 11]', '[6689, 6689, -5*w^3 - 3*w^2 + 20*w - 6]', '[6689, 6689, 3*w^3 + 3*w^2 - 14*w - 13]', '[6689, 6689, -8*w^3 - 3*w^2 + 26*w - 5]', '[6691, 6691, 11*w^3 + 3*w^2 - 34*w - 2]', '[6691, 6691, 4*w^3 - 3*w^2 - 19*w + 15]', '[6691, 6691, 9*w^3 + 7*w^2 - 31*w - 10]', '[6691, 6691, 7*w^3 + 7*w^2 - 24*w - 16]', '[6704, 838, -6*w^3 - 6*w^2 + 16*w + 14]', '[6704, 838, -8*w^3 - 4*w^2 + 26*w - 2]', '[6704, 838, -8*w^3 - 2*w^2 + 30*w - 4]', '[6704, 838, 2*w^3 - 6*w^2 - 8*w + 12]', '[6705, 2235, 3*w^3 - 5*w^2 - 8*w + 20]', '[6705, 2235, -7*w^3 - 6*w^2 + 20*w + 14]', '[6705, 2235, 5*w^3 - 6*w^2 - 19*w + 17]', '[6705, 2235, -2*w^2 + 4*w + 11]', '[6719, 6719, 5*w^3 + 3*w^2 - 21*w + 4]', '[6719, 6719, -10*w^3 - 3*w^2 + 33*w - 3]', '[6719, 6719, -8*w^3 + w^2 + 29*w - 14]', '[6719, 6719, 2*w^3 + 6*w^2 - 3*w - 20]', '[6725, 1345, w^3 + 6*w^2 - w - 6]', '[6725, 1345, -4*w^3 + 5*w^2 + 17*w - 12]', '[6725, 1345, -9*w^3 + 2*w^2 + 31*w - 5]', '[6725, 1345, 3*w^3 + 2*w^2 - 15*w - 9]', '[6736, 842, 2*w^2 - 14]', '[6736, 842, -2*w^3 + 8*w + 8]', '[6736, 842, 8*w^3 - 22*w]', '[6736, 842, 8*w^3 - 2*w^2 - 24*w + 12]', '[6759, 2253, -13*w^3 - 5*w^2 + 42*w + 13]', '[6759, 2253, -19*w^3 - 9*w^2 + 65*w + 23]', '[6759, 2253, 12*w^3 - 4*w^2 - 43*w + 16]', '[6759, 2253, -18*w^3 - 5*w^2 + 64*w + 5]', '[6775, 1355, 3*w^3 + w^2 - 12*w - 10]', '[6775, 1355, -10*w^3 + w^2 + 32*w - 4]', '[6775, 1355, -2*w^3 - 3*w^2 + 5*w - 4]', '[6775, 1355, -w^3 - w^2 + 6*w - 9]', '[6779, 6779, -6*w^3 - 4*w^2 + 13*w + 9]', '[6779, 6779, -8*w^3 + 2*w^2 + 29*w - 5]', '[6779, 6779, 10*w^3 + 5*w^2 - 32*w - 1]', '[6779, 6779, -11*w^3 - 5*w^2 + 37*w + 3]', '[6781, 6781, -9*w^3 - 7*w^2 + 30*w + 11]', '[6781, 6781, 11*w^3 + 4*w^2 - 32*w - 1]', '[6781, 6781, 12*w^3 + w^2 - 40*w + 2]', '[6781, 6781, -8*w^3 + 4*w^2 + 25*w - 16]', '[6795, 2265, -4*w^3 + 2*w^2 + 19*w - 12]', '[6795, 2265, 2*w^3 + 5*w^2 + w - 12]', '[6795, 2265, 4*w^3 - 5*w^2 - 19*w + 15]', '[6795, 2265, -w^3 + 2*w^2 + 10*w - 3]', '[6841, 6841, -8*w^3 + w^2 + 32*w - 10]', '[6841, 6841, -8*w^2 + w + 16]', '[6841, 6841, w^3 + w^2 + 5*w - 2]', '[6841, 6841, 9*w^3 + 8*w^2 - 28*w - 15]', '[6869, 6869, 6*w^3 + 3*w^2 - 16*w - 10]', '[6869, 6869, -5*w^3 + 3*w^2 + 17*w - 4]', '[6869, 6869, 7*w^3 + 3*w^2 - 26*w + 2]', '[6869, 6869, w^3 + 3*w^2 - 8*w - 9]', '[6871, 6871, -w^3 + 3*w^2 + 5*w - 18]', '[6871, 6871, 6*w^3 + 8*w^2 - 17*w - 15]', '[6871, 6871, 10*w^3 + 2*w^2 - 29*w - 3]', '[6871, 6871, -11*w^3 - w^2 + 35*w - 7]', '[6899, 6899, 7*w^3 + 6*w^2 - 21*w - 16]', '[6899, 6899, 10*w^3 + 6*w^2 - 36*w - 5]', '[6899, 6899, -6*w^3 - 6*w^2 + 13*w + 12]', '[6899, 6899, -11*w^3 - 5*w^2 + 39*w + 4]', '[6905, 6905, -8*w^3 - 3*w^2 + 27*w - 3]', '[6905, 6905, -w^3 + 5*w^2 + 4*w - 2]', '[6905, 6905, 3*w^3 + 5*w^2 - 18*w + 5]', '[6905, 6905, -3*w^3 + 5*w^2 + 3*w - 10]', '[6931, 6931, w^3 + 9*w^2 - 3*w - 27]', '[6931, 6931, -w^3 - 7*w^2 + 5*w + 15]', '[6931, 6931, -8*w^3 - 9*w^2 + 24*w + 9]', '[6931, 6931, -3*w^3 + 4*w^2 + 11*w - 22]', '[6931, 6931, -12*w^3 + 3*w^2 + 41*w - 18]', '[6931, 6931, -w^3 - 2*w^2 - 4*w + 6]', '[6931, 6931, 10*w^3 + 3*w^2 - 25*w + 1]', '[6931, 6931, 5*w^3 + 4*w^2 - 13*w + 4]', '[6931, 6931, -15*w^3 - 5*w^2 + 48*w + 7]', '[6931, 6931, -w^3 + 2*w^2 - w + 7]', '[6931, 6931, 7*w^3 + 2*w^2 - 25*w - 11]', '[6931, 6931, -6*w^3 + 2*w^2 + 25*w - 9]', '[6931, 6931, 7*w^3 - 5*w^2 - 18*w + 10]', '[6931, 6931, 8*w^3 + 7*w^2 - 26*w - 11]', '[6931, 6931, -8*w^3 + 33*w + 1]', '[6931, 6931, w^3 - 12*w + 10]', '[6959, 6959, -6*w^2 - 5*w + 9]', '[6959, 6959, 7*w^3 + 6*w^2 - 24*w - 1]', '[6959, 6959, -9*w^3 - w^2 + 32*w - 7]', '[6959, 6959, -6*w^3 - 5*w^2 + 24*w + 1]', '[6961, 6961, -5*w^3 - 7*w^2 + 20*w + 8]', '[6961, 6961, -7*w^3 - 7*w^2 + 26*w + 15]', '[6961, 6961, 11*w^3 + w^2 - 36*w + 3]', '[6961, 6961, 8*w^3 + 7*w^2 - 26*w - 12]', '[6975, 465, 4*w^3 - 4*w^2 - 15*w + 8]', '[6975, 465, 8*w^3 + 3*w^2 - 28*w + 2]', '[6975, 465, -w^3 + 3*w^2 - w - 10]', '[6975, 465, 5*w^3 + 4*w^2 - 12*w - 11]', '[6989, 6989, 10*w^3 - 3*w^2 - 31*w + 4]', '[6989, 6989, w^3 - 6*w^2 - 9*w + 10]', '[6989, 6989, -9*w^3 - 2*w^2 + 26*w + 11]', '[6989, 6989, 11*w^3 + 4*w^2 - 40*w - 2]', '[6989, 6989, 11*w^3 + 4*w^2 - 43*w]', '[6989, 6989, -6*w^3 - 3*w^2 + 26*w + 9]', '[6989, 6989, -8*w^3 - 6*w^2 + 33*w + 12]', '[6989, 6989, 7*w^3 - w^2 - 19*w + 16]', '[6989, 6989, 6*w^3 + 3*w^2 - 26*w + 4]', '[6989, 6989, 13*w^3 + w^2 - 42*w + 13]', '[6989, 6989, -5*w^3 - 6*w^2 + 21*w + 15]', '[6989, 6989, 4*w^3 - 3*w^2 - 15*w + 3]', '[6989, 6989, 7*w^3 - 3*w^2 - 22*w + 4]', '[6989, 6989, -11*w^3 - 6*w^2 + 35*w + 14]', '[6989, 6989, -3*w^3 - 8*w^2 + 6*w + 23]', '[6989, 6989, -10*w^3 - 5*w^2 + 32*w + 16]', '[6991, 6991, 12*w^3 + 2*w^2 - 39*w - 2]', '[6991, 6991, 7*w^3 - 2*w^2 - 18*w + 3]', '[6991, 6991, -10*w^3 - 3*w^2 + 28*w - 2]', '[6991, 6991, 10*w^3 - w^2 - 31*w + 2]', '[7019, 7019, -6*w^3 + 2*w^2 + 21*w + 1]', '[7019, 7019, -4*w^3 + 3*w^2 + 17*w - 3]', '[7019, 7019, -7*w^3 - 5*w^2 + 24*w]', '[7019, 7019, -10*w^3 - 2*w^2 + 35*w - 4]', '[7045, 7045, 9*w^3 + 11*w^2 - 27*w - 9]', '[7045, 7045, 11*w^3 + 4*w^2 - 31*w + 1]', '[7045, 7045, 2*w^3 + 7*w^2 - 11*w - 11]', '[7045, 7045, -5*w^3 - 5*w^2 + 19*w - 6]', '[7079, 7079, -9*w^3 - 4*w^2 + 24*w + 8]', '[7079, 7079, -12*w^3 - 3*w^2 + 40*w - 3]', '[7079, 7079, -8*w^3 + 4*w^2 + 27*w - 11]', '[7079, 7079, -5*w^3 + 3*w^2 + 11*w - 11]', '[7109, 7109, -7*w^3 - 5*w^2 + 25*w + 1]', '[7109, 7109, 5*w^3 + 4*w^2 - 21*w + 2]', '[7109, 7109, -9*w^3 + w^2 + 32*w - 14]', '[7109, 7109, -4*w^3 + 5*w^2 + 11*w - 7]', '[7120, 890, -4*w^3 - 10*w^2 + 14*w + 30]', '[7120, 890, 2*w^3 - 2*w^2 - 8*w + 16]', '[7120, 890, 6*w^3 - 26*w]', '[7120, 890, 18*w^3 + 2*w^2 - 62*w + 4]', '[7139, 649, -6*w^3 + 2*w^2 + 24*w - 1]', '[7139, 649, 6*w^3 + 4*w^2 - 23*w + 1]', '[7139, 649, -8*w^3 - 6*w^2 + 26*w + 1]', '[7139, 649, 7*w^3 + 6*w^2 - 25*w - 2]', '[7139, 649, -10*w^3 - 5*w^2 + 28*w + 9]', '[7139, 649, 2*w^3 + 2*w^2 - 13]', '[7139, 649, -6*w^2 + 2*w + 21]', '[7139, 649, 3*w^3 + 6*w^2 - 13*w - 18]', '[7184, 898, 6*w^3 + 4*w^2 - 22*w + 2]', '[7184, 898, -2*w^3 - 4*w^2 + 10*w + 14]', '[7184, 898, -2*w^3 + 4*w^2 + 10*w - 4]', '[7184, 898, 2*w^3 + 4*w^2 - 2*w - 16]', '[7195, 7195, w^3 - 2*w^2 - 3*w - 5]', '[7195, 7195, 8*w^3 + 10*w^2 - 23*w - 10]', '[7195, 7195, 4*w^3 + 5*w^2 - 15*w + 4]', '[7195, 7195, -2*w^3 - 7*w^2 + 10*w + 10]', '[7209, 267, -3*w^3 - 3*w^2 + 3*w + 12]', '[7209, 267, -6*w^2 + 3*w + 18]', '[7209, 267, 9*w^3 + 6*w^2 - 30*w - 3]', '[7209, 267, 6*w^3 - 3*w^2 - 24*w + 6]', '[7229, 7229, 6*w^3 + 8*w^2 - 15*w - 18]', '[7229, 7229, -4*w^3 + w^2 + 9*w - 13]', '[7229, 7229, 8*w^3 + 5*w^2 - 27*w - 1]', '[7229, 7229, -9*w^3 - 3*w^2 + 35*w - 2]', '[7281, 2427, -4*w^3 - 9*w^2 + 14*w + 26]', '[7281, 2427, 15*w^3 - w^2 - 52*w + 10]', '[7281, 2427, 16*w^3 + w^2 - 55*w + 6]', '[7281, 2427, -16*w^3 - 9*w^2 + 56*w + 20]', '[7299, 2433, -19*w^3 - 7*w^2 + 64*w + 18]', '[7299, 2433, -20*w^3 - 6*w^2 + 70*w + 7]', '[7299, 2433, -8*w^3 + 31*w - 11]', '[7299, 2433, -9*w^3 - 4*w^2 + 32*w + 1]', '[7321, 7321, 9*w^3 - 28*w + 3]', '[7321, 7321, -3*w^3 + 10*w + 8]', '[7321, 7321, -8*w^3 + w^2 + 24*w - 8]', '[7321, 7321, 3*w^3 + w^2 - 9*w + 9]', '[7349, 7349, -7*w^3 + w^2 + 27*w - 15]', '[7349, 7349, -5*w^3 - 5*w^2 + 9*w + 12]', '[7349, 7349, -11*w^3 - 6*w^2 + 38*w + 5]', '[7349, 7349, 8*w^3 + 6*w^2 - 25*w - 17]', '[7351, 7351, -9*w^3 - 8*w^2 + 28*w + 10]', '[7351, 7351, -6*w^3 - 8*w^2 + 19*w + 9]', '[7351, 7351, -5*w^3 + w^2 + 23*w - 1]', '[7351, 7351, 11*w^3 + 2*w^2 - 34*w - 3]', '[7355, 7355, -8*w^3 - w^2 + 18*w + 6]', '[7355, 7355, 8*w^3 + 9*w^2 - 27*w - 3]', '[7355, 7355, 6*w^3 + 7*w^2 - 13*w - 14]', '[7355, 7355, -7*w^3 - 6*w^2 + 13*w + 12]', '[7375, 295, -14*w^3 + 3*w^2 + 48*w - 14]', '[7375, 295, -3*w^3 + 6*w^2 + 11*w - 28]', '[7375, 295, 2*w^3 + 11*w^2 - 4*w - 33]', '[7375, 295, w^3 + 8*w^2 - 2*w - 19]', '[7381, 671, -12*w^3 - 3*w^2 + 38*w]', '[7381, 671, 4*w^3 + w^2 - 16*w - 10]', '[7381, 671, 4*w^3 + 8*w^2 - 11*w - 18]', '[7381, 671, -7*w^3 - w^2 + 29*w - 1]', '[7381, 671, 9*w^3 + 2*w^2 - 24*w - 1]', '[7381, 671, 9*w^3 + w^2 - 24*w - 2]', '[7381, 671, 6*w^3 + 8*w^2 - 17*w - 13]', '[7381, 671, 11*w^3 - w^2 - 36*w + 5]', '[7409, 7409, w^3 - w^2 + 2*w + 7]', '[7409, 7409, w^3 - 3*w^2 + 16]', '[7409, 7409, -2*w^3 + 5*w^2 + 7*w - 7]', '[7409, 7409, -16*w^3 - 9*w^2 + 49*w + 14]', '[7409, 7409, 7*w^3 - 11*w^2 - 24*w + 42]', '[7409, 7409, -7*w^3 - w^2 + 26*w - 8]', '[7409, 7409, -15*w^3 - 11*w^2 + 42*w + 5]', '[7409, 7409, -15*w^3 + w^2 + 54*w - 14]', '[7409, 7409, -6*w^3 + 9*w^2 + 17*w - 21]', '[7409, 7409, -4*w^3 + 3*w^2 + w + 7]', '[7409, 7409, -6*w^3 - 5*w^2 + 17*w + 14]', '[7409, 7409, -4*w^3 - 3*w^2 + 9*w + 15]', '[7409, 7409, -4*w^3 + 3*w^2 + 15*w]', '[7409, 7409, -18*w^3 - 3*w^2 + 65*w + 8]', '[7409, 7409, -7*w^3 - 3*w^2 + 24*w - 7]', '[7409, 7409, 7*w^3 + w^2 - 12*w + 1]', '[7411, 7411, -9*w^3 - 2*w^2 + 24*w - 2]', '[7411, 7411, 12*w^3 + 3*w^2 - 38*w - 3]', '[7411, 7411, -10*w^3 + 2*w^2 + 33*w - 13]', '[7411, 7411, -8*w^3 - 7*w^2 + 28*w + 15]', '[7424, 116, -4*w^3 - 4*w^2 + 8*w + 12]', '[7424, 116, -4*w^2 + 4*w + 12]', '[7424, 116, 4*w^3 - 4*w^2 - 16*w + 8]', '[7424, 116, 8*w^3 + 4*w^2 - 28*w]', '[7471, 7471, -17*w^3 - 9*w^2 + 60*w + 19]', '[7471, 7471, -5*w^3 + w^2 + 22*w - 7]', '[7471, 7471, 10*w^3 + 2*w^2 - 29*w + 5]', '[7471, 7471, -8*w^3 - 4*w^2 + 19*w - 9]', '[7471, 7471, 14*w^3 - 47*w + 11]', '[7471, 7471, -5*w^3 - 8*w^2 + 24*w + 10]', '[7471, 7471, -5*w^3 + 3*w^2 + 9*w + 7]', '[7471, 7471, -9*w^3 - 2*w^2 + 36*w + 2]', '[7471, 7471, -8*w^3 + 6*w^2 + 27*w - 33]', '[7471, 7471, -11*w^3 - w^2 + 35*w + 1]', '[7471, 7471, -17*w^3 - 10*w^2 + 62*w + 22]', '[7471, 7471, -7*w^3 - 7*w^2 + 26*w + 9]', '[7471, 7471, -13*w^3 - 5*w^2 + 43*w + 19]', '[7471, 7471, -5*w^3 + w^2 + 24*w + 1]', '[7471, 7471, -7*w^3 + 30*w - 10]', '[7471, 7471, -9*w^3 + 5*w^2 + 27*w - 13]', '[7495, 7495, 8*w^3 - 2*w^2 - 15*w]', '[7495, 7495, 9*w^3 + 10*w^2 - 25*w - 11]', '[7495, 7495, -8*w^3 - 9*w^2 + 27*w + 8]', '[7495, 7495, w^3 + 3*w^2 + 5*w - 12]', '[7499, 7499, -5*w^3 - w^2 + 10*w + 8]', '[7499, 7499, 9*w^3 - w^2 - 32*w + 1]', '[7499, 7499, -10*w^3 - 5*w^2 + 31*w - 1]', '[7499, 7499, -4*w^3 + 5*w^2 + 11*w - 20]', '[7529, 7529, -4*w^3 + 3*w^2 + 10*w - 15]', '[7529, 7529, -9*w^3 - 3*w^2 + 29*w - 5]', '[7529, 7529, -2*w^3 + 7*w^2 + 11*w - 16]', '[7529, 7529, 4*w^3 + 7*w^2 - 7*w - 17]', '[7551, 2517, 11*w^3 + 9*w^2 - 37*w - 22]', '[7551, 2517, -18*w^3 - w^2 + 62*w - 2]', '[7551, 2517, 20*w^3 + 4*w^2 - 69*w - 5]', '[7551, 2517, 11*w^3 + 2*w^2 - 35*w]', '[7559, 7559, 9*w^3 + w^2 - 33*w + 7]', '[7559, 7559, w^3 + 3*w^2 - 7*w - 13]', '[7559, 7559, 3*w^3 + 4*w^2 - 6*w - 16]', '[7559, 7559, 8*w^3 + 6*w^2 - 23*w - 13]', '[7561, 7561, -8*w^3 - 8*w^2 + 24*w + 11]', '[7561, 7561, 8*w^2 - 21]', '[7561, 7561, -3*w^3 + 12*w + 8]', '[7561, 7561, 8*w^3 - 32*w + 3]', '[7569, 87, 9*w^3 + 4*w^2 - 29*w + 2]', '[7569, 87, 5*w^3 + 6*w^2 - 13*w - 16]', '[7569, 87, -7*w^3 - 2*w^2 + 27*w - 5]', '[7569, 87, -11*w^3 - w^2 + 39*w - 7]', '[7569, 87, w^3 - 6*w^2 - 5*w + 10]', '[7569, 87, 3*w^3 + 5*w^2 - 13*w - 17]', '[7569, 2523, -w^3 + 4*w^2 - 14]', '[7569, 2523, 4*w^3 + 3*w^2 - 8*w - 11]', '[7569, 2523, 5*w^3 - 3*w^2 - 19*w + 5]', '[7569, 2523, 8*w^3 + 4*w^2 - 27*w + 1]', '[7589, 7589, 8*w^3 + 3*w^2 - 23*w - 10]', '[7589, 7589, 6*w^3 - 3*w^2 - 19*w + 3]', '[7589, 7589, -9*w^3 - w^2 + 30*w - 10]', '[7589, 7589, -2*w^3 - 4*w^2 + 13*w + 8]', '[7591, 7591, 6*w^3 + 7*w^2 - 21*w - 16]', '[7591, 7591, -3*w^3 + 3*w^2 + 16*w - 14]', '[7591, 7591, 4*w^3 + 7*w^2 - 15*w - 9]', '[7591, 7591, 9*w^3 + 7*w^2 - 31*w - 11]', '[7621, 7621, 2*w^3 + 7*w^2 - 7*w - 15]', '[7621, 7621, -3*w^3 - 8*w^2 + 8*w + 19]', '[7621, 7621, 4*w^3 + 8*w^2 - 11*w - 14]', '[7621, 7621, 5*w^3 + w^2 - 23*w]', '[7625, 305, -18*w^3 - 9*w^2 + 61*w + 22]', '[7625, 305, -3*w^3 - 4*w^2 + 6*w + 17]', '[7625, 305, 7*w^3 + 6*w^2 - 19*w - 13]', '[7625, 305, -2*w^3 - 11*w^2 + 4*w + 38]', '[7649, 7649, -5*w^3 + 3*w^2 + 21*w - 4]', '[7649, 7649, -4*w^3 - 4*w^2 + 18*w + 11]', '[7649, 7649, -8*w^3 - 6*w^2 + 27*w + 2]', '[7649, 7649, -w^3 - 6*w^2 + 6*w + 19]', '[7655, 7655, -10*w^3 - 4*w^2 + 23*w + 7]', '[7655, 7655, 2*w^3 - w^2 + w + 4]', '[7655, 7655, -7*w^3 - 6*w^2 + 18*w + 12]', '[7655, 7655, -8*w^3 - 7*w^2 + 26*w]', '[7664, 958, 4*w^3 + 6*w^2 - 10*w - 18]', '[7664, 958, -6*w^2 - 2*w + 8]', '[7664, 958, -6*w^3 - 2*w^2 + 24*w - 6]', '[7664, 958, 2*w^3 + 2*w^2 - 12*w - 8]', '[7681, 7681, 10*w^3 + 2*w^2 - 28*w - 3]', '[7681, 7681, -12*w^3 - 2*w^2 + 38*w - 5]', '[7681, 7681, -10*w^3 + 2*w^2 + 32*w - 7]', '[7681, 7681, 5*w^3 + 8*w^2 - 14*w - 16]', '[7741, 7741, 6*w^3 + w^2 - 19*w - 10]', '[7741, 7741, 5*w^3 + w^2 - 14*w + 11]', '[7741, 7741, -4*w^3 - w^2 + 12*w - 10]', '[7741, 7741, 8*w^3 - w^2 - 24*w + 7]', '[7795, 7795, 8*w^3 - 22*w + 1]', '[7795, 7795, 9*w^3 + 9*w^2 - 26*w - 11]', '[7795, 7795, 2*w^3 + 8*w^2 - 7*w - 13]', '[7795, 7795, w^3 - w - 10]', '[7801, 7801, 9*w^3 + 2*w^2 - 36*w]', '[7801, 7801, -4*w^3 - 7*w^2 + 14*w + 10]', '[7801, 7801, -3*w^3 - 3*w^2 + w + 4]', '[7801, 7801, 4*w^3 - w^2 - 12*w + 15]', '[7801, 7801, 13*w^3 - 44*w + 5]', '[7801, 7801, 12*w^3 + 2*w^2 - 39*w - 1]', '[7801, 7801, -5*w^3 + 20*w + 8]', '[7801, 7801, 10*w^3 + 3*w^2 - 28*w + 1]', '[7801, 7801, -11*w^3 - 8*w^2 + 36*w + 15]', '[7801, 7801, -3*w^3 - 8*w^2 + 9*w + 21]', '[7801, 7801, -2*w^3 - 2*w^2 + 5*w + 14]', '[7801, 7801, 3*w^3 - 3*w^2 - 16*w + 7]', '[7801, 7801, 5*w^3 + 5*w^2 - 15*w + 3]', '[7801, 7801, 12*w^3 - 39*w + 11]', '[7801, 7801, 2*w^3 - 2*w^2 - 13*w + 4]', '[7801, 7801, -6*w^3 - 8*w^2 + 23*w + 19]', '[7829, 7829, -11*w^3 - 3*w^2 + 36*w - 4]', '[7829, 7829, 8*w^3 + 5*w^2 - 24*w - 13]', '[7829, 7829, 8*w^3 - 3*w^2 - 27*w + 7]', '[7829, 7829, 8*w^3 + 3*w^2 - 21*w - 8]', '[7859, 7859, -4*w^3 - 3*w^2 + 9*w + 14]', '[7859, 7859, -4*w^3 - 7*w^2 + 18*w + 17]', '[7859, 7859, -10*w^3 - 7*w^2 + 31*w + 16]', '[7859, 7859, -4*w^3 - 2*w^2 + 19*w + 9]', '[7859, 7859, -3*w^3 - 4*w^2 + 5*w + 14]', '[7859, 7859, 2*w^3 - 3*w^2 + 7]', '[7859, 7859, -8*w^3 - 6*w^2 + 21*w + 11]', '[7859, 7859, 3*w^3 + w^2 - 2*w + 3]', '[7859, 7859, 3*w^3 - 4*w^2 - 13*w + 6]', '[7859, 7859, 2*w^3 - 7*w^2 - 5*w + 11]', '[7859, 7859, 11*w^3 + 3*w^2 - 39*w + 1]', '[7859, 7859, -2*w^3 - 7*w^2 + 4*w + 7]', '[7859, 7859, 5*w^3 + 2*w^2 - 22*w + 8]', '[7859, 7859, 10*w^3 - 2*w^2 - 35*w + 6]', '[7859, 7859, 7*w^3 + 4*w^2 - 25*w + 1]', '[7859, 7859, 10*w^3 + 4*w^2 - 38*w - 1]', '[7919, 7919, 2*w^3 + 4*w^2 - 2*w - 17]', '[7919, 7919, -10*w^3 - w^2 + 36*w - 7]', '[7919, 7919, -4*w^3 + 6*w^2 + 13*w - 13]', '[7919, 7919, -9*w^3 - 6*w^2 + 26*w + 12]', '[7921, 89, -9*w^3 + 27*w - 8]', '[7921, 89, 9*w^3 + 2*w^2 - 24*w]', '[7921, 89, 8*w^3 + 7*w^2 - 29*w - 10]', '[7921, 89, -12*w^3 - 3*w^2 + 38*w + 1]', '[7921, 89, 7*w^3 - 3*w^2 - 19*w + 9]', '[7921, 89, 9*w^3 - 27*w + 1]', '[7921, 7921, 7*w^3 + 7*w^2 - 24*w - 15]', '[7921, 7921, -9*w^3 - 2*w^2 + 24*w - 1]', '[7921, 7921, 12*w^3 + 3*w^2 - 38*w - 2]', '[7921, 7921, 10*w^3 - 2*w^2 - 33*w + 12]', '[7936, 124, -8*w + 4]', '[7936, 124, 8*w^2 - 20]', '[7936, 124, 8*w^3 + 8*w^2 - 24*w - 12]', '[7936, 124, 8*w^3 - 32*w + 4]', '[7949, 7949, -5*w^3 + 5*w^2 + 19*w - 13]', '[7949, 7949, 6*w^3 + 5*w^2 - 14*w - 11]', '[7949, 7949, -7*w^3 - w^2 + 25*w - 10]', '[7949, 7949, -10*w^3 - 4*w^2 + 35*w + 1]', '[7951, 7951, -5*w^3 + 4*w^2 + 22*w - 15]', '[7951, 7951, 9*w^3 + 7*w^2 - 31*w - 12]', '[7951, 7951, -5*w^3 - 7*w^2 + 18*w + 9]', '[7951, 7951, 2*w^3 - 3*w^2 - 13*w + 13]', '[8009, 8009, 10*w^3 + 5*w^2 - 30*w - 11]', '[8009, 8009, 6*w^3 + 5*w^2 - 23*w]', '[8009, 8009, 11*w^3 + w^2 - 38*w + 8]', '[8009, 8009, 4*w^3 + 5*w^2 - 17*w - 15]', '[8011, 8011, -13*w^3 - 3*w^2 + 42*w]', '[8011, 8011, w^3 - 6*w^2 - 10*w + 15]', '[8011, 8011, 5*w^3 + 8*w^2 - 14*w - 14]', '[8011, 8011, -10*w^3 - 3*w^2 + 27*w + 2]', '[8039, 8039, 8*w^3 + 3*w^2 - 29*w + 2]', '[8039, 8039, -3*w^3 + 5*w^2 + 12*w - 10]', '[8039, 8039, 3*w^2 - 5*w - 9]', '[8039, 8039, 5*w^3 - 3*w^2 - 17*w + 3]', '[8055, 2685, 8*w^3 - w^2 - 29*w + 15]', '[8055, 2685, 4*w^3 + w^2 - 7*w + 6]', '[8055, 2685, -4*w^3 - 4*w^2 + 7*w + 12]', '[8055, 2685, 5*w^3 - 4*w^2 - 20*w + 9]', '[8069, 8069, 6*w^3 - 2*w^2 - 22*w - 1]', '[8069, 8069, -4*w^3 + 3*w^2 + 17*w - 2]', '[8069, 8069, -5*w^3 + 6*w^2 + 17*w - 15]', '[8069, 8069, -11*w^3 - 2*w^2 + 39*w - 4]', '[8091, 2697, -10*w^3 + 32*w - 7]', '[8091, 2697, -w^3 + w^2 + 3*w + 7]', '[8091, 2697, -3*w^3 + w^2 + 16*w - 4]', '[8091, 2697, 3*w^3 - w^2 - 16*w + 7]', '[8091, 2697, w^3 - 2*w^2 - 10*w + 9]', '[8091, 2697, 2*w^3 + w^2 - 6*w - 11]', '[8091, 2697, w^3 - 2*w + 10]', '[8091, 2697, -4*w^3 + 2*w^2 + 19*w - 6]', '[8091, 2697, -2*w^3 + 7*w - 11]', '[8091, 2697, -6*w^3 - 7*w^2 + 20*w + 10]', '[8091, 2697, -10*w^3 - 2*w^2 + 30*w + 1]', '[8091, 2697, 8*w^3 - 22*w + 5]', '[8091, 2697, 4*w^3 + 7*w^2 - 13*w - 12]', '[8091, 2697, 8*w^3 - 2*w^2 - 24*w + 7]', '[8091, 2697, -4*w^3 - 7*w^2 + 13*w + 15]', '[8091, 2697, 3*w^3 + 7*w^2 - 11*w - 16]', '[8095, 8095, 2*w^3 + 7*w^2 - 8*w - 13]', '[8095, 8095, 6*w^3 + 9*w^2 - 16*w - 14]', '[8095, 8095, -10*w^3 - 3*w^2 + 28*w + 1]', '[8095, 8095, 2*w^3 - 3*w^2 - w - 6]', '[8101, 8101, 2*w^3 - 10*w - 9]', '[8101, 8101, 3*w^3 - 5*w^2 - 16*w + 18]', '[8101, 8101, 8*w^3 + 7*w^2 - 29*w - 14]', '[8101, 8101, 2*w^3 + 4*w^2 - 6*w - 19]', '[8105, 8105, -5*w^3 - 2*w^2 + 7*w + 9]', '[8105, 8105, -3*w^3 + 4*w^2 + 10*w - 2]', '[8105, 8105, 6*w^3 + 10*w^2 - 15*w - 9]', '[8105, 8105, -w^3 + 7*w^2 + 5*w - 13]', '[8144, 1018, 8*w^3 + 6*w^2 - 22*w - 12]', '[8144, 1018, -2*w^3 + 2*w^2 - 6]', '[8144, 1018, -4*w^3 + 6*w^2 + 14*w - 14]', '[8144, 1018, -10*w^3 - 2*w^2 + 36*w - 4]', '[8145, 2715, 4*w^2 + 7*w - 7]', '[8145, 2715, -w^3 - 3*w^2 - 4*w + 8]', '[8145, 2715, 3*w^3 - 4*w^2 - 16*w + 16]', '[8145, 2715, -5*w^3 + 3*w^2 + 22*w - 11]', '[8161, 8161, 3*w^3 + 8*w^2 - 8*w - 16]', '[8161, 8161, 4*w^3 + 8*w^2 - 11*w - 17]', '[8161, 8161, -4*w^3 - w^2 + 20*w - 1]', '[8161, 8161, 5*w^3 + w^2 - 23*w + 3]', '[8191, 8191, 7*w^3 - 2*w^2 - 18*w + 5]', '[8191, 8191, -9*w^3 + 3*w^2 + 29*w - 14]', '[8191, 8191, 12*w^3 + 2*w^2 - 39*w]', '[8191, 8191, -5*w^3 - 7*w^2 + 19*w + 15]', '[8219, 8219, 11*w^3 + 3*w^2 - 40*w + 1]', '[8219, 8219, -7*w^3 - 4*w^2 + 24*w - 3]', '[8219, 8219, -11*w^3 - w^2 + 40*w - 7]', '[8219, 8219, -4*w^3 + 7*w^2 + 15*w - 18]', '[8221, 8221, -4*w^3 + 5*w^2 + 19*w - 17]', '[8221, 8221, 9*w^3 + 7*w^2 - 32*w - 12]', '[8221, 8221, -3*w^2 - 2*w + 18]', '[8221, 8221, 3*w^3 + 2*w^2 - 12*w - 13]', '[8275, 1655, -3*w^3 - 8*w^2 + 8*w + 18]', '[8275, 1655, -2*w^3 + w^2 + 13*w - 5]', '[8275, 1655, 4*w^3 + w^2 - 20*w + 3]', '[8275, 1655, 5*w^3 + w^2 - 23*w + 1]', '[8311, 8311, -7*w^3 - 7*w^2 + 26*w + 14]', '[8311, 8311, 2*w^3 - 5*w^2 - 13*w + 17]', '[8311, 8311, 3*w^3 + 2*w^2 - 7*w - 15]', '[8311, 8311, 5*w^3 + 2*w^2 - 17*w + 10]', '[8339, 8339, 9*w^3 + 4*w^2 - 31*w]', '[8339, 8339, -6*w^3 + 7*w^2 + 19*w - 30]', '[8339, 8339, 19*w^3 + 4*w^2 - 69*w - 1]', '[8339, 8339, -4*w^3 - w^2 + 7*w - 10]', '[8339, 8339, 8*w^3 + 3*w^2 - 27*w + 4]', '[8339, 8339, 14*w^3 + w^2 - 49*w + 8]', '[8339, 8339, -5*w^3 + 4*w^2 + 19*w - 9]', '[8339, 8339, -3*w^3 + 4*w^2 + 17*w - 1]', '[8339, 8339, -9*w^3 - 4*w^2 + 25*w + 9]', '[8339, 8339, -5*w^3 + 2*w^2 + 11*w - 10]', '[8339, 8339, -9*w^3 - 6*w^2 + 19*w]', '[8339, 8339, -w^3 + 8*w^2 + w - 25]', '[8339, 8339, 7*w^3 + 8*w^2 - 25*w - 2]', '[8339, 8339, 5*w^3 + 4*w^2 - 21*w - 13]', '[8339, 8339, 7*w^3 + 4*w^2 - 29*w + 1]', '[8339, 8339, -17*w^3 - 8*w^2 + 57*w + 19]', '[8361, 2787, -13*w^3 + 44*w - 7]', '[8361, 2787, 12*w^3 + 2*w^2 - 46*w + 1]', '[8361, 2787, -12*w^3 - 8*w^2 + 43*w + 17]', '[8361, 2787, -13*w^3 - w^2 + 43*w]', '[8369, 8369, -8*w^3 - 2*w^2 + 21*w + 8]', '[8369, 8369, 8*w^3 + 6*w^2 - 24*w - 15]', '[8369, 8369, -11*w^3 - 3*w^2 + 35*w - 6]', '[8369, 8369, 9*w^3 + 6*w^2 - 33*w - 4]', '[8401, 8401, 8*w^3 + 7*w^2 - 28*w - 14]', '[8401, 8401, -15*w^3 - 9*w^2 + 52*w + 20]', '[8401, 8401, -8*w^3 - 7*w^2 + 27*w + 12]', '[8401, 8401, -w^3 - 9*w^2 + 10*w + 9]', '[8401, 8401, 9*w^2 - 2*w - 24]', '[8401, 8401, 4*w^3 + 3*w^2 - 22*w + 2]', '[8401, 8401, -3*w^3 - 7*w^2 + 12*w + 15]', '[8401, 8401, -3*w^3 + 3*w^2 + 18*w - 2]', '[8401, 8401, 6*w^3 + 7*w^2 - 9*w - 6]', '[8401, 8401, -5*w^3 + 3*w^2 + 22*w - 12]', '[8401, 8401, 3*w^2 + 7*w - 10]', '[8401, 8401, 16*w^3 + 3*w^2 - 60*w]', '[8401, 8401, -7*w^3 - 7*w^2 + 24*w + 10]', '[8401, 8401, -6*w^3 - 9*w^2 + 21*w + 8]', '[8401, 8401, w^3 + 3*w^2 + 4*w - 7]', '[8401, 8401, -3*w^3 + 3*w^2 + 18*w - 19]', '[8405, 205, -6*w^3 - w^2 + 12*w + 7]', '[8405, 205, 6*w^3 + 5*w^2 - 12*w - 11]', '[8429, 8429, 4*w^3 + 7*w^2 - 9*w - 19]', '[8429, 8429, 3*w^3 + 3*w^2 - 16*w - 8]', '[8429, 8429, -7*w^3 - 3*w^2 + 28*w - 3]', '[8429, 8429, 5*w^3 + 3*w^2 - 11*w - 10]', '[8431, 8431, 12*w^3 + 3*w^2 - 37*w - 4]', '[8431, 8431, -5*w^3 - 8*w^2 + 16*w + 10]', '[8431, 8431, 11*w^3 - w^2 - 36*w + 12]', '[8431, 8431, 8*w^2 - 2*w - 19]', '[8461, 8461, -4*w^3 - w^2 + 20*w - 2]', '[8461, 8461, -5*w^3 - w^2 + 23*w - 2]', '[8461, 8461, 4*w^3 + 8*w^2 - 11*w - 16]', '[8461, 8461, 3*w^3 + 8*w^2 - 8*w - 17]', '[8496, 354, -8*w^3 - 10*w^2 + 30*w + 26]', '[8496, 354, 8*w^3 - 4*w^2 - 32*w + 18]', '[8496, 354, 14*w^3 - 2*w^2 - 48*w + 16]', '[8496, 354, 8*w^3 - 2*w^2 - 24*w + 10]', '[8521, 8521, 11*w^3 + w^2 - 35*w + 6]', '[8521, 8521, -2*w^3 + 3*w^2 + 8*w - 19]', '[8521, 8521, 6*w^3 - 26*w + 1]', '[8521, 8521, -7*w^3 + 29*w - 6]', '[8545, 8545, -10*w^3 - 2*w^2 + 28*w - 5]', '[8545, 8545, -8*w^3 - 8*w^2 + 25*w + 10]', '[8545, 8545, w^3 - 5*w + 11]', '[8545, 8545, 11*w^3 + 3*w^2 - 25*w - 2]', '[8555, 8555, 8*w^2 + 3*w - 15]', '[8555, 8555, 5*w^3 - 8*w^2 - 17*w + 21]', '[8555, 8555, -9*w^3 - 7*w^2 + 29*w - 3]', '[8555, 8555, -11*w^3 - 3*w^2 + 34*w - 9]', '[8555, 8555, 3*w^3 + 2*w^2 - 4*w - 13]', '[8555, 8555, 5*w^3 + 3*w^2 - 22*w + 10]', '[8555, 8555, 9*w^3 - 2*w^2 - 32*w + 19]', '[8555, 8555, -2*w^3 - 2*w^2 - w + 19]', '[8555, 8555, 7*w^3 - 9*w^2 - 27*w + 29]', '[8555, 8555, 8*w^3 - 28*w + 15]', '[8555, 8555, 13*w^3 - 4*w^2 - 45*w + 27]', '[8555, 8555, -3*w^3 + 5*w^2 + 13*w - 10]', '[8555, 8555, -2*w^3 - 7*w^2 + 3*w + 28]', '[8555, 8555, -8*w^3 - 5*w^2 + 26*w - 2]', '[8555, 8555, -12*w^3 - 3*w^2 + 39*w - 5]', '[8555, 8555, 8*w^3 + 4*w^2 - 24*w - 15]', '[8581, 8581, 8*w^3 - 21*w + 1]', '[8581, 8581, -w^3 + 3*w^2 + 3*w - 18]', '[8581, 8581, 8*w^3 - 3*w^2 - 24*w + 13]', '[8581, 8581, 4*w^3 - 15*w - 8]', '[8609, 8609, w^3 + w^2 - 9*w - 8]', '[8609, 8609, 5*w^3 + 6*w^2 - 14*w - 19]', '[8609, 8609, -6*w^3 - w^2 + 24*w - 10]', '[8609, 8609, -7*w^3 + 27*w - 12]', '[8641, 8641, -10*w^3 + w^2 + 31*w - 13]', '[8641, 8641, -10*w^3 - w^2 + 30*w - 7]', '[8641, 8641, 9*w^3 - 26*w]', '[8641, 8641, -9*w^3 + w^2 + 27*w - 11]', '[8649, 93, 7*w^3 + 5*w^2 - 24*w + 2]', '[8649, 93, -12*w^3 - 2*w^2 + 43*w - 4]', '[8649, 93, -2*w^3 + 5*w^2 + 6*w - 4]', '[8649, 93, 2*w^3 - w + 8]', '[8649, 93, -7*w^3 - 5*w^2 + 21*w + 16]', '[8649, 93, -7*w^3 + 26*w - 13]', '[8649, 2883, -6*w^3 - 4*w^2 + 23*w - 2]', '[8649, 2883, -2*w^3 - 5*w^2 + 2*w + 18]', '[8649, 2883, -3*w^3 - 4*w^2 + 14*w + 13]', '[8649, 2883, -w^3 + 5*w^2 + 7*w - 6]', '[8656, 1082, -8*w^3 + 22*w - 4]', '[8656, 1082, -8*w^3 + 2*w^2 + 24*w - 8]', '[8656, 1082, 10*w^3 - 32*w + 6]', '[8656, 1082, 10*w^3 + 2*w^2 - 30*w]', '[8669, 8669, -7*w^3 + 3*w^2 + 27*w - 7]', '[8669, 8669, -6*w^3 - 3*w^2 + 14*w + 9]', '[8669, 8669, 10*w^3 + 6*w^2 - 33*w - 3]', '[8669, 8669, -4*w^3 - 3*w^2 + 6*w + 11]', '[8699, 8699, 3*w^3 + 7*w^2 - 4*w - 19]', '[8699, 8699, 4*w^3 + 5*w^2 - 19*w - 11]', '[8699, 8699, -9*w^3 - 3*w^2 + 29*w - 6]', '[8699, 8699, -7*w^3 + 2*w^2 + 24*w - 1]', '[8705, 8705, -5*w^3 + 4*w^2 + 9*w - 10]', '[8705, 8705, 6*w^3 + 3*w^2 - 11*w + 2]', '[8705, 8705, 7*w^3 + 3*w^2 - 26*w + 3]', '[8705, 8705, 6*w^3 + 9*w^2 - 24*w - 2]', '[8731, 8731, 7*w^3 + 7*w^2 - 26*w - 10]', '[8731, 8731, 2*w^3 - 5*w^2 - 13*w + 13]', '[8731, 8731, 10*w^3 + 3*w^2 - 27*w - 1]', '[8731, 8731, 13*w^3 + 3*w^2 - 42*w - 1]', '[8761, 8761, 9*w^3 + 8*w^2 - 28*w - 13]', '[8761, 8761, -8*w^3 + w^2 + 32*w - 8]', '[8761, 8761, 8*w^3 - 3*w^2 - 24*w + 10]', '[8761, 8761, 11*w^3 - 36*w + 7]', '[8784, 366, -26*w^3 - 8*w^2 + 92*w + 12]', '[8784, 366, -8*w^3 - 2*w^2 + 32*w - 6]', '[8784, 366, 10*w^3 + 4*w^2 - 34*w]', '[8784, 366, -16*w^3 + 2*w^2 + 58*w - 18]', '[8791, 8791, -5*w^3 + 17*w + 8]', '[8791, 8791, 6*w^3 + 7*w^2 - 21*w - 15]', '[8791, 8791, -4*w^3 - 7*w^2 + 15*w + 10]', '[8791, 8791, 8*w^3 + 7*w^2 - 28*w - 11]', '[8791, 8791, -3*w^3 + 2*w^2 + 9*w - 17]', '[8791, 8791, 8*w^3 + 7*w^2 - 29*w - 11]', '[8791, 8791, 10*w^3 - w^2 - 32*w + 11]', '[8791, 8791, 4*w^3 + 7*w^2 - 17*w - 12]', '[8791, 8791, -3*w^3 + 3*w^2 + 16*w - 13]', '[8791, 8791, w^3 + 5*w^2 + 4*w - 12]', '[8791, 8791, -3*w^3 + 5*w^2 + 16*w - 15]', '[8791, 8791, 3*w^3 - 7*w - 10]', '[8791, 8791, -7*w^3 + 2*w^2 + 29*w - 7]', '[8791, 8791, -5*w^3 - 2*w^2 + 15*w - 9]', '[8791, 8791, 9*w^3 + w^2 - 25*w + 5]', '[8791, 8791, 11*w^3 + 2*w^2 - 34*w - 2]', '[8819, 8819, -9*w^3 - w^2 + 30*w - 11]', '[8819, 8819, -3*w^3 - 4*w^2 + 16*w + 9]', '[8819, 8819, -w^3 + 7*w^2 + 7*w - 14]', '[8819, 8819, -8*w^3 - 3*w^2 + 23*w + 11]', '[8821, 8821, 8*w^3 - 4*w^2 - 24*w + 15]', '[8821, 8821, 12*w^3 - 40*w + 5]', '[8821, 8821, 8*w^3 - 20*w + 1]', '[8821, 8821, 4*w^3 + 8*w^2 - 13*w - 11]', '[8845, 8845, 8*w^3 - 20*w + 3]', '[8845, 8845, -8*w^3 + 4*w^2 + 24*w - 13]', '[8845, 8845, 12*w^3 + 4*w^2 - 36*w - 3]', '[8845, 8845, 8*w^3 - w^2 - 22*w + 2]', '[8845, 8845, -7*w^3 + 7*w^2 + 14*w - 10]', '[8845, 8845, -14*w^3 - 7*w^2 + 35*w + 3]', '[8845, 8845, -14*w^3 + 7*w^2 + 49*w - 32]', '[8845, 8845, 12*w^3 - 40*w + 7]', '[8845, 8845, -10*w^3 + 6*w^2 + 33*w - 23]', '[8845, 8845, 7*w^3 - 3*w^2 - 15*w + 5]', '[8845, 8845, -16*w^3 - 3*w^2 + 54*w + 1]', '[8845, 8845, 21*w^3 + 7*w^2 - 70*w - 11]', '[8845, 8845, 10*w^3 + 2*w^2 - 29*w + 4]', '[8845, 8845, 9*w^3 - 2*w^2 - 28*w + 13]', '[8845, 8845, -11*w^3 - w^2 + 35*w]', '[8845, 8845, -13*w^3 - 6*w^2 + 36*w + 4]', '[8849, 8849, -7*w^3 - w^2 + 26*w - 9]', '[8849, 8849, -5*w^3 - 6*w^2 + 10*w + 14]', '[8849, 8849, -4*w^3 + 6*w^2 + 17*w - 15]', '[8849, 8849, -10*w^3 - 5*w^2 + 36*w + 3]', '[8909, 8909, -9*w^3 - 5*w^2 + 25*w + 10]', '[8909, 8909, -5*w^3 + 3*w^2 + 17*w - 2]', '[8909, 8909, 11*w^3 + 2*w^2 - 38*w + 5]', '[8909, 8909, -12*w^3 - 5*w^2 + 41*w + 3]', '[8909, 8909, -4*w^3 + 2*w^2 + 7*w - 8]', '[8909, 8909, 10*w^3 + 5*w^2 - 32*w]', '[8909, 8909, -4*w^3 + 6*w^2 + 16*w - 15]', '[8909, 8909, -4*w^3 + 5*w^2 + 15*w - 11]', '[8909, 8909, 9*w^3 + 7*w^2 - 27*w - 16]', '[8909, 8909, -10*w^3 - 4*w^2 + 36*w + 1]', '[8909, 8909, -7*w^3 - 5*w^2 + 16*w + 10]', '[8909, 8909, 6*w^3 + 6*w^2 - 14*w - 13]', '[8909, 8909, -7*w^3 - 5*w^2 + 25*w]', '[8909, 8909, -8*w^3 - 2*w^2 + 27*w - 8]', '[8909, 8909, -8*w^3 + 2*w^2 + 29*w - 4]', '[8909, 8909, 9*w^3 + 3*w^2 - 32*w + 2]', '[8919, 2973, -16*w^3 - w^2 + 55*w + 3]', '[8919, 2973, -5*w^3 - 8*w^2 + 14*w + 24]', '[8919, 2973, -4*w^3 - 7*w^2 + 10*w + 21]', '[8919, 2973, 7*w^3 - 4*w^2 - 27*w + 11]', '[8941, 8941, -9*w^3 - w^2 + 26*w - 4]', '[8941, 8941, 9*w^3 - w^2 - 28*w + 9]', '[8941, 8941, 10*w^3 + w^2 - 31*w + 1]', '[8941, 8941, 8*w^3 - w^2 - 23*w + 4]', '[8969, 8969, -4*w^3 + 3*w^2 + 8*w - 11]', '[8969, 8969, -7*w^3 + 4*w^2 + 24*w - 10]', '[8969, 8969, -9*w^3 + w^2 + 32*w - 15]', '[8969, 8969, -11*w^3 - 3*w^2 + 37*w - 3]', '[8971, 8971, -6*w^3 - 8*w^2 + 20*w + 9]', '[8971, 8971, -4*w^3 - 8*w^2 + 14*w + 21]', '[8971, 8971, 2*w^3 - 2*w^2 - 14*w + 13]', '[8971, 8971, 4*w^3 - 2*w^2 - 20*w + 3]', '[8975, 1795, 10*w^3 + 4*w^2 - 37*w - 1]', '[8975, 1795, w^3 + 4*w^2 - 10*w - 8]', '[8975, 1795, 3*w^3 - 7*w^2 - 13*w + 17]', '[8975, 1795, -6*w^3 - 7*w^2 + 14*w + 15]', '[8999, 8999, w^3 + 2*w^2 - 8*w - 11]', '[8999, 8999, 4*w^3 + 5*w^2 - 10*w - 18]', '[8999, 8999, 7*w^3 + 6*w^2 - 20*w - 15]', '[8999, 8999, 8*w^3 + w^2 - 30*w + 8]', '[9001, 9001, -w^3 + 3*w^2 + 10*w - 11]', '[9001, 9001, 8*w^3 + 7*w^2 - 28*w - 13]', '[9001, 9001, -6*w^3 - 7*w^2 + 21*w + 10]', '[9001, 9001, 4*w^3 + 7*w^2 - 15*w - 15]', '[9005, 9005, 2*w^3 + 9*w^2 - 7*w - 9]', '[9005, 9005, 10*w^3 + 7*w^2 - 23*w - 10]', '[9005, 9005, -6*w^3 + 3*w^2 + 11*w - 8]', '[9005, 9005, -3*w^3 - 4*w^2 + 3*w + 14]', '[9025, 95, -9*w^3 + 27*w - 2]', '[9025, 95, 2*w^3 - 6*w - 9]', '[9029, 9029, 5*w^3 - 3*w^2 - 17*w]', '[9029, 9029, 6*w^3 - 5*w^2 - 21*w + 13]', '[9029, 9029, -11*w^3 - 3*w^2 + 38*w - 2]', '[9029, 9029, 8*w^3 + 2*w^2 - 27*w + 10]', '[9059, 9059, 8*w^3 + 2*w^2 - 30*w + 5]', '[9059, 9059, w^3 + 2*w^2 - 8*w - 12]', '[9059, 9059, -9*w^3 - 4*w^2 + 29*w - 3]', '[9059, 9059, 7*w^3 - 2*w^2 - 25*w + 2]', '[9089, 9089, 9*w^3 + 5*w^2 - 26*w - 11]', '[9089, 9089, 5*w^3 - 4*w^2 - 16*w + 6]', '[9089, 9089, -9*w^3 - w^2 + 31*w - 9]', '[9089, 9089, 5*w^3 + 4*w^2 - 10*w - 11]', '[9089, 9089, 8*w^3 + 4*w^2 - 23*w - 11]', '[9089, 9089, -4*w^3 + 5*w^2 + 9*w - 16]', '[9089, 9089, -w^3 - 6*w^2 - 2*w + 21]', '[9089, 9089, 7*w^3 + 4*w^2 - 26*w + 1]', '[9089, 9089, 7*w^3 + 3*w^2 - 16*w - 8]', '[9089, 9089, 7*w^3 + 3*w^2 - 27*w + 3]', '[9089, 9089, w^3 - 6*w^2 - 6*w + 10]', '[9089, 9089, 2*w^3 + 3*w^2 - 12*w - 9]', '[9089, 9089, 6*w^3 + 5*w^2 - 24*w]', '[9089, 9089, -10*w^3 - 5*w^2 + 34*w + 2]', '[9089, 9089, -5*w^3 - 5*w^2 + 21*w + 14]', '[9089, 9089, -4*w^3 - 6*w^2 + 9*w + 17]', '[9091, 9091, -3*w^3 + 5*w^2 + 16*w - 16]', '[9091, 9091, w^3 + 5*w^2 + 4*w - 11]', '[9091, 9091, 4*w^3 + 7*w^2 - 17*w - 11]', '[9091, 9091, 8*w^3 + 7*w^2 - 29*w - 12]', '[9104, 1138, -8*w^3 - 2*w^2 + 28*w - 6]', '[9104, 1138, 8*w^3 + 4*w^2 - 30*w]', '[9104, 1138, 2*w^3 - 6*w^2 - 10*w + 12]', '[9104, 1138, 4*w^3 + 6*w^2 - 8*w - 16]', '[9136, 1142, -8*w^3 - 2*w^2 + 34*w + 4]', '[9136, 1142, 6*w^3 + 8*w^2 - 20*w - 20]', '[9136, 1142, 2*w^3 + 10*w^2 - 4*w - 28]', '[9136, 1142, -12*w^3 + 40*w - 6]', '[9145, 9145, -3*w^3 - 6*w^2 + w + 14]', '[9145, 9145, 10*w^3 - 2*w^2 - 31*w + 16]', '[9145, 9145, 8*w^3 + w^2 - 34*w + 8]', '[9145, 9145, 2*w^3 + 10*w^2 - 5*w - 18]', '[9145, 9145, -6*w^3 + 3*w^2 + 21*w - 23]', '[9145, 9145, -8*w^3 + w^2 + 19*w - 5]', '[9145, 9145, -2*w^3 + 3*w^2 + 13*w - 12]', '[9145, 9145, 2*w^3 - 8*w^2 - 14*w + 21]', '[9145, 9145, w^3 + 11*w^2 + w - 29]', '[9145, 9145, 3*w^3 + 2*w^2 - 12*w + 9]', '[9145, 9145, -w^3 - 8*w^2 + 3*w + 20]', '[9145, 9145, -10*w^3 + 31*w - 9]', '[9145, 9145, -w^3 - 3*w^2 + w + 18]', '[9145, 9145, -9*w^3 + 5*w^2 + 28*w - 16]', '[9145, 9145, 2*w^3 - 3*w^2 - 6*w + 19]', '[9145, 9145, 3*w^3 + 8*w^2 - 15*w - 15]', '[9151, 9151, -7*w^3 + 2*w^2 + 29*w - 13]', '[9151, 9151, -3*w^3 + 2*w^2 + 10*w - 17]', '[9151, 9151, -9*w^3 - 8*w^2 + 29*w + 16]', '[9151, 9151, 5*w^3 + w^2 - 17*w - 10]', '[9155, 9155, 4*w^3 + 3*w^2 - 8*w - 12]', '[9155, 9155, -9*w^3 - 6*w^2 + 23*w + 10]', '[9155, 9155, -9*w^3 - 3*w^2 + 18*w + 7]', '[9155, 9155, -4*w^3 - w^2 + 3*w + 10]', '[9171, 3057, 4*w^3 - 2*w^2 - 19*w + 9]', '[9171, 3057, -10*w^3 - 10*w^2 + 34*w + 27]', '[9171, 3057, -14*w^3 + w^2 + 47*w - 6]', '[9171, 3057, -13*w^3 - 4*w^2 + 46*w + 15]', '[9181, 9181, -3*w^3 + 4*w^2 + 16*w - 15]', '[9181, 9181, 7*w^3 + 7*w^2 - 25*w - 14]', '[9181, 9181, 7*w^3 + 7*w^2 - 24*w - 11]', '[9181, 9181, 4*w^3 + 7*w^2 - 16*w - 10]', '[9189, 3063, -2*w^3 - 7*w^2 + 9*w + 23]', '[9189, 3063, -9*w^3 - w^2 + 32*w - 8]', '[9189, 3063, -17*w^3 - 6*w^2 + 61*w + 7]', '[9189, 3063, 15*w^3 + w^2 - 53*w + 8]', '[9209, 9209, -10*w^3 - 3*w^2 + 32*w - 6]', '[9209, 9209, -5*w^3 + 3*w^2 + 13*w - 16]', '[9209, 9209, 5*w^3 + 7*w^2 - 10*w - 16]', '[9209, 9209, -3*w^3 + 7*w^2 + 14*w - 17]', '[9211, 9211, -5*w^3 + w^2 + 23*w - 2]', '[9211, 9211, -7*w^3 - 8*w^2 + 22*w + 10]', '[9211, 9211, -8*w^3 + 3*w^2 + 24*w - 11]', '[9211, 9211, 8*w^2 - 2*w - 17]', '[9211, 9211, 10*w^3 + 8*w^2 - 32*w - 13]', '[9211, 9211, -8*w^3 + 2*w^2 + 32*w - 11]', '[9211, 9211, 10*w^3 + w^2 - 29*w - 2]', '[9211, 9211, 7*w^3 + 7*w^2 - 26*w - 13]', '[9211, 9211, -11*w^3 - w^2 + 34*w - 8]', '[9211, 9211, -11*w^3 + 35*w - 10]', '[9211, 9211, -2*w^3 + 5*w^2 + 13*w - 16]', '[9211, 9211, -6*w^3 - 8*w^2 + 19*w + 10]', '[9211, 9211, -11*w^3 - 2*w^2 + 33*w + 3]', '[9211, 9211, 5*w^2 + 7*w - 11]', '[9211, 9211, 5*w^3 + 7*w^2 - 20*w - 10]', '[9211, 9211, -6*w^3 + w^2 + 26*w - 3]', '[9239, 9239, -8*w^3 + w^2 + 30*w - 15]', '[9239, 9239, -11*w^3 - 4*w^2 + 35*w - 3]', '[9239, 9239, -9*w^3 + 2*w^2 + 31*w - 4]', '[9239, 9239, -9*w^3 - 6*w^2 + 28*w + 16]', '[9241, 9241, 5*w^3 + 8*w^2 - 15*w - 12]', '[9241, 9241, 12*w^3 + w^2 - 39*w + 6]', '[9241, 9241, 11*w^3 + 3*w^2 - 32*w - 3]', '[9241, 9241, 5*w^3 - 23*w + 1]', '[9305, 9305, -3*w^3 - 2*w^2 + 3*w + 12]', '[9305, 9305, -7*w^3 - 5*w^2 + 18*w + 11]', '[9305, 9305, -10*w^3 - 5*w^2 + 23*w + 8]', '[9305, 9305, -9*w^3 - 6*w^2 + 29*w + 1]', '[9391, 9391, -4*w^3 + 3*w^2 + 19*w - 12]', '[9391, 9391, -4*w^3 - w^2 + 15*w - 12]', '[9391, 9391, w^3 - 4*w^2 - 10*w + 13]', '[9391, 9391, 3*w^3 + 3*w^2 - 8*w - 17]', '[9419, 9419, 6*w^3 - 4*w^2 - 18*w + 5]', '[9419, 9419, 6*w^3 - 14*w + 9]', '[9419, 9419, -10*w^3 + 34*w - 13]', '[9419, 9419, 10*w^3 + 4*w^2 - 30*w - 11]', '[9421, 9421, -9*w^3 + w^2 + 28*w - 8]', '[9421, 9421, -4*w^3 + 13*w - 13]', '[9421, 9421, -3*w^3 + w^2 + 9*w + 7]', '[9421, 9421, 10*w^3 + w^2 - 31*w + 2]', '[9441, 3147, -9*w^3 - 4*w^2 + 32*w + 16]', '[9441, 3147, 10*w^3 + 9*w^2 - 35*w - 23]', '[9441, 3147, 12*w^3 - w^2 - 40*w + 7]', '[9441, 3147, 7*w^3 - 29*w + 4]', '[9445, 9445, 4*w^3 + 7*w^2 - 14*w - 12]', '[9445, 9445, 4*w^3 + 11*w^2 - 17*w - 9]', '[9445, 9445, -7*w^3 + 4*w^2 + 17*w - 9]', '[9445, 9445, -2*w^3 - 3*w^2 + 11*w - 8]', '[9455, 9455, 4*w^3 + 5*w^2 - 21*w + 3]', '[9455, 9455, -5*w^3 - 9*w^2 + 10*w + 9]', '[9455, 9455, -3*w^3 + 6*w^2 + 9*w - 10]', '[9455, 9455, 8*w^3 + 7*w^2 - 18*w - 12]', '[9455, 9455, 9*w^3 - 33*w + 11]', '[9455, 9455, 3*w^3 - 3*w + 5]', '[9455, 9455, 14*w^3 + 6*w^2 - 49*w - 6]', '[9455, 9455, -2*w^3 - 2*w^2 - w + 14]', '[9455, 9455, -w^3 + 6*w^2 - 4*w - 11]', '[9455, 9455, -7*w^3 + 7*w^2 + 27*w - 22]', '[9455, 9455, -7*w^3 + 2*w^2 + 28*w - 1]', '[9455, 9455, w^3 - 9*w^2 - 8*w + 32]', '[9455, 9455, 7*w^2 - 2*w - 24]', '[9455, 9455, -9*w^3 - 6*w^2 + 27*w + 14]', '[9455, 9455, 10*w^3 + 5*w^2 - 39*w - 14]', '[9455, 9455, -9*w^3 - 7*w^2 + 29*w + 2]', '[9459, 3153, 8*w^3 - 4*w^2 - 29*w + 12]', '[9459, 3153, -15*w^3 - 7*w^2 + 50*w + 19]', '[9459, 3153, -13*w^3 - 7*w^2 + 43*w + 21]', '[9459, 3153, 7*w^3 - 3*w^2 - 26*w + 7]', '[9479, 9479, -8*w^3 + 29*w - 12]', '[9479, 9479, -12*w^3 - 4*w^2 + 39*w - 2]', '[9479, 9479, -9*w^3 + 3*w^2 + 31*w - 8]', '[9479, 9479, -5*w^3 + 4*w^2 + 12*w - 15]', '[9495, 3165, 8*w^3 - w^2 - 23*w + 6]', '[9495, 3165, 5*w^3 + 2*w^2 - 14*w + 9]', '[9495, 3165, -9*w^3 + w^2 + 28*w - 7]', '[9495, 3165, 4*w^3 - 11*w + 13]', '[9511, 9511, 6*w^3 + 7*w^2 - 22*w - 14]', '[9511, 9511, 2*w^3 - 4*w^2 - 13*w + 14]', '[9511, 9511, 5*w^3 + 7*w^2 - 19*w - 10]', '[9511, 9511, -w^3 + 4*w^2 + 10*w - 9]', '[9539, 9539, 6*w^3 + 5*w^2 - 23*w + 1]', '[9539, 9539, w^3 + 5*w^2 + 2*w - 20]', '[9539, 9539, 4*w^3 + 5*w^2 - 17*w - 16]', '[9539, 9539, -w^3 + 5*w^2 + 8*w - 5]', '[9584, 1198, -4*w^3 + 2*w^2 + 8*w - 10]', '[9584, 1198, -8*w^3 - 4*w^2 + 22*w + 10]', '[9584, 1198, 6*w^3 - 4*w^2 - 20*w + 8]', '[9584, 1198, -10*w^3 - 2*w^2 + 34*w - 6]', '[9599, 9599, 3*w^3 - 4*w^2 - 11*w + 3]', '[9599, 9599, 3*w^3 - 2*w^2 - 4*w + 8]', '[9599, 9599, 8*w^3 + 3*w^2 - 23*w - 12]', '[9599, 9599, 6*w^3 + 2*w^2 - 15*w - 12]', '[9599, 9599, -5*w^3 + 6*w^2 + 19*w - 16]', '[9599, 9599, 9*w^3 + 3*w^2 - 31*w + 3]', '[9599, 9599, -7*w^3 + 2*w^2 + 24*w + 1]', '[9599, 9599, -6*w^3 + 3*w^2 + 19*w - 1]', '[9599, 9599, 3*w^2 - 6*w - 8]', '[9599, 9599, 6*w^3 + 6*w^2 - 15*w - 14]', '[9599, 9599, -w^3 + 4*w^2 - 3*w - 9]', '[9599, 9599, -9*w^3 - w^2 + 30*w - 12]', '[9599, 9599, -11*w^3 - 4*w^2 + 39*w + 1]', '[9599, 9599, -5*w^3 - 3*w^2 + 12*w + 12]', '[9599, 9599, -9*w^3 - 3*w^2 + 33*w - 2]', '[9599, 9599, -4*w^3 + 3*w^2 + 10*w - 18]', '[9601, 9601, -2*w^3 + 5*w^2 + 13*w - 15]', '[9601, 9601, 3*w^3 + 9*w^2 - 7*w - 19]', '[9601, 9601, 5*w^2 + 7*w - 12]', '[9601, 9601, 4*w^3 + 9*w^2 - 10*w - 19]', '[9616, 1202, 2*w^3 - 14*w + 2]', '[9616, 1202, 6*w^3 + 8*w^2 - 18*w - 16]', '[9616, 1202, 6*w^3 - 26*w + 6]', '[9616, 1202, 2*w^3 + 8*w^2 - 6*w - 16]', '[9629, 9629, -2*w^3 + 5*w^2 + 2*w - 14]', '[9629, 9629, 11*w^3 + 5*w^2 - 37*w - 2]', '[9629, 9629, 6*w^3 + 4*w^2 - 13*w - 10]', '[9629, 9629, 7*w^3 - 4*w^2 - 26*w + 11]', '[9631, 9631, -2*w^3 + 3*w^2 + 7*w - 19]', '[9631, 9631, 8*w^3 - 2*w^2 - 23*w + 10]', '[9631, 9631, 9*w^3 + w^2 - 25*w]', '[9631, 9631, 5*w^3 + w^2 - 18*w - 10]', '[9661, 9661, -4*w^3 - 7*w^2 + 15*w + 11]', '[9661, 9661, 6*w^3 + 7*w^2 - 21*w - 14]', '[9661, 9661, 4*w^3 + 7*w^2 - 16*w - 13]', '[9661, 9661, 7*w^3 + 7*w^2 - 25*w - 11]', '[9680, 110, -10*w^3 + 2*w^2 + 36*w - 6]', '[9680, 110, 10*w^3 + 6*w^2 - 32*w - 18]', '[9689, 9689, w^3 - 6*w^2 - 5*w + 9]', '[9689, 9689, -8*w^3 + 2*w^2 + 28*w - 3]', '[9689, 9689, -10*w^3 - 4*w^2 + 32*w - 3]', '[9689, 9689, -4*w^3 + 4*w^2 + 10*w - 17]', '[9719, 9719, -5*w^3 - 3*w^2 + 9*w + 10]', '[9719, 9719, 11*w^3 + 6*w^2 - 36*w - 3]', '[9719, 9719, -8*w^3 + 3*w^2 + 30*w - 8]', '[9719, 9719, -2*w^3 + 6*w^2 + 3*w - 18]', '[9721, 9721, 5*w^3 + 2*w^2 - 24*w + 1]', '[9721, 9721, 4*w^3 + 9*w^2 - 10*w - 18]', '[9721, 9721, 6*w^3 + 2*w^2 - 27*w]', '[9721, 9721, 3*w^3 + 9*w^2 - 7*w - 20]', '[9725, 1945, 3*w^3 + 3*w^2 - 3*w - 13]', '[9725, 1945, 6*w^3 - 4*w^2 - 21*w + 9]', '[9725, 1945, 6*w^3 - 3*w^2 - 24*w + 5]', '[9725, 1945, -6*w^2 + 3*w + 19]', '[9745, 9745, 7*w^3 + 9*w^2 - 20*w - 12]', '[9745, 9745, 3*w^3 + 3*w^2 - 10]', '[9745, 9745, 7*w^3 + 10*w^2 - 25*w - 8]', '[9745, 9745, 2*w^3 + w^2 - 15*w + 6]', '[9749, 9749, -7*w^3 - 7*w^2 + 19*w + 16]', '[9749, 9749, 6*w^3 - 6*w^2 - 22*w + 17]', '[9749, 9749, -8*w^3 - 6*w^2 + 20*w + 11]', '[9749, 9749, -12*w^3 - 4*w^2 + 42*w + 1]', '[9755, 9755, -9*w^3 - 7*w^2 + 30*w + 3]', '[9755, 9755, -8*w^3 - w^2 + 15*w - 2]', '[9755, 9755, 3*w^3 - 2*w^2 - 5*w + 10]', '[9755, 9755, -4*w^3 - 5*w^2 + 20*w - 4]', '[9781, 9781, w^3 + 8*w^2 - 4*w - 20]', '[9781, 9781, -w^3 + 6*w - 12]', '[9781, 9781, -2*w^3 + 9*w + 9]', '[9781, 9781, 8*w^3 + 8*w^2 - 25*w - 11]', '[9801, 33, 3*w^3 - 9*w - 9]', '[9801, 33, -9*w^3 + 27*w - 3]', '[9811, 9811, -w^3 + 3*w^2 + 10*w - 10]', '[9811, 9811, 7*w^3 + 7*w^2 - 25*w - 13]', '[9811, 9811, 4*w^2 + 7*w - 9]', '[9811, 9811, 4*w^3 + 7*w^2 - 15*w - 14]', '[9839, 9839, -4*w^3 + 5*w^2 + 16*w - 11]', '[9839, 9839, 9*w^3 + 4*w^2 - 32*w]', '[9839, 9839, 4*w^3 - 4*w^2 - 13*w + 4]', '[9839, 9839, 4*w^2 - 5*w - 11]', '[9871, 9871, 9*w^3 + 8*w^2 - 30*w - 10]', '[9871, 9871, -6*w^3 + 3*w^2 + 26*w - 9]', '[9871, 9871, 11*w^3 + 2*w^2 - 34*w - 1]', '[9871, 9871, -9*w^3 - w^2 + 25*w - 4]', '[9895, 9895, 5*w^3 + 5*w^2 - 16*w + 4]', '[9895, 9895, -6*w^3 - 9*w^2 + 18*w + 11]', '[9895, 9895, 9*w^3 + w^2 - 24*w + 4]', '[9895, 9895, -3*w^3 - 8*w^2 + 14*w + 9]', '[9901, 9901, -w^3 + w^2 + 2*w - 13]', '[9901, 9901, 9*w^3 - 2*w^2 - 28*w + 12]', '[9901, 9901, -10*w^3 - 2*w^2 + 29*w - 3]', '[9901, 9901, -3*w^3 - w^2 + 10*w - 10]', '[9929, 9929, -10*w^3 + 36*w - 11]', '[9929, 9929, 10*w^3 + 6*w^2 - 30*w - 13]', '[9929, 9929, 2*w^3 + 5*w^2 - 2*w - 19]', '[9929, 9929, -11*w^3 - w^2 + 37*w - 10]', '[9931, 9931, w^3 + 3*w^2 - 4*w - 17]', '[9931, 9931, -3*w^3 - 3*w^2 + 10*w - 6]', '[9931, 9931, 2*w^3 - w^2 - 9*w - 7]', '[9931, 9931, w^2 + 3*w - 14]', '[9981, 3327, -4*w^3 - 5*w^2 + 12*w + 22]', '[9981, 3327, -5*w^3 - 7*w^2 + 18*w + 14]', '[9981, 3327, -17*w^3 - w^2 + 63*w - 4]', '[9981, 3327, -17*w^3 - 4*w^2 + 57*w + 5]', '[10000, 10, 10]'], 'label': '4.4.1125.1', 'narrow_class_no': 2, 'primes': ['[5, 5, -w^2 + 1]', '[9, 3, w^3 + w^2 - 4*w - 3]', '[16, 2, 2]', '[29, 29, -w^3 - w^2 + 2*w + 3]', '[29, 29, -w^2 + w + 3]', '[29, 29, w^3 - w^2 - 4*w + 2]', '[29, 29, 2*w^3 + w^2 - 7*w]', '[31, 31, -2*w + 1]', '[31, 31, 2*w^2 - 5]', '[31, 31, 2*w^3 + 2*w^2 - 6*w - 3]', '[31, 31, 2*w^3 - 8*w + 1]', '[59, 59, w^3 + w^2 - 2*w - 5]', '[59, 59, -w^3 + 2*w^2 + 4*w - 5]', '[59, 59, -3*w^3 + 10*w - 4]', '[59, 59, -2*w^3 - w^2 + 7*w - 2]', '[61, 61, 4*w^3 + w^2 - 13*w - 1]', '[61, 61, 2*w^3 - w^2 - 5*w + 2]', '[61, 61, -3*w^3 - w^2 + 8*w]', '[61, 61, 3*w^3 - w^2 - 10*w + 5]', '[89, 89, w^3 + w^2 - w - 4]', '[89, 89, 2*w^2 - w - 6]', '[89, 89, -3*w^3 - 2*w^2 + 10*w + 1]', '[89, 89, -2*w^3 + w^2 + 8*w - 2]', '[121, 11, -w^3 + 3*w + 3]', '[121, 11, 3*w^3 - 9*w + 1]', '[149, 149, 3*w^3 + 2*w^2 - 9*w - 5]', '[149, 149, w^3 + 2*w^2 - 2*w - 7]', '[149, 149, w^3 + w^2 - 5*w - 4]', '[149, 149, -3*w^3 + 11*w - 4]', '[151, 151, 3*w^3 - w^2 - 9*w + 3]', '[151, 151, 3*w^3 - 8*w + 2]', '[151, 151, 4*w^3 + w^2 - 12*w - 1]', '[151, 151, -4*w^3 + 13*w - 3]', '[179, 179, -4*w^3 - w^2 + 14*w - 1]', '[179, 179, 3*w^3 + 2*w^2 - 8*w - 4]', '[179, 179, -w^3 + w^2 + w - 3]', '[179, 179, -2*w^3 + 2*w^2 + 7*w - 5]', '[181, 181, 4*w^3 + w^2 - 12*w]', '[181, 181, -3*w^3 + 8*w - 1]', '[181, 181, 4*w^3 - 13*w + 2]', '[181, 181, -3*w^3 + w^2 + 9*w - 4]', '[211, 211, 2*w^3 + 3*w^2 - 6*w - 6]', '[211, 211, -w^3 + 6*w - 2]', '[211, 211, 2*w^3 - 9*w + 2]', '[211, 211, 2*w^3 + 3*w^2 - 6*w - 5]', '[239, 239, w^3 + 3*w^2 - 2*w - 10]', '[239, 239, 2*w^3 + w^2 - 9*w - 4]', '[239, 239, 2*w^3 + w^2 - 9*w + 3]', '[239, 239, -w^3 - 3*w^2 + 2*w + 3]', '[241, 241, 5*w^3 + w^2 - 16*w - 1]', '[241, 241, -2*w^3 - 4*w^2 + 5*w + 9]', '[241, 241, 3*w^3 + w^2 - 13*w + 1]', '[241, 241, 5*w^3 - 16*w]', '[269, 269, -3*w^3 - 2*w^2 + 7*w + 4]', '[269, 269, -2*w^3 - 3*w^2 + 5*w + 8]', '[269, 269, -3*w^3 - 2*w^2 + 9*w + 7]', '[269, 269, 5*w^3 + 2*w^2 - 17*w - 1]', '[271, 271, 5*w^3 + w^2 - 16*w]', '[271, 271, -2*w^3 - w^2 + 6*w + 6]', '[271, 271, 4*w^3 + w^2 - 11*w]', '[271, 271, 3*w^3 - w^2 - 8*w + 3]', '[331, 331, -w^3 + 2*w^2 + 6*w - 6]', '[331, 331, -2*w^3 - 3*w^2 + 7*w + 5]', '[331, 331, 2*w^3 + 3*w^2 - 8*w - 5]', '[331, 331, 3*w^3 + 3*w^2 - 11*w - 5]', '[359, 359, 2*w^3 + 2*w^2 - 9*w - 5]', '[359, 359, 3*w^3 + 2*w^2 - 12*w]', '[359, 359, w^3 + 3*w^2 - w - 9]', '[359, 359, 3*w^2 + 2*w - 5]', '[361, 19, -w^3 + 3*w + 4]', '[361, 19, 4*w^3 - 12*w + 1]', '[389, 389, w^3 - 3*w^2 - 3*w + 5]', '[389, 389, 2*w^3 + 2*w^2 - 5*w - 7]', '[389, 389, 4*w^3 + 3*w^2 - 12*w - 7]', '[389, 389, -4*w^3 + 15*w - 5]', '[419, 419, -3*w^3 - 3*w^2 + 8*w + 7]', '[419, 419, -4*w^3 - 2*w^2 + 13*w - 1]', '[419, 419, -4*w^3 - w^2 + 15*w - 2]', '[419, 419, w^3 - 3*w^2 - 4*w + 6]', '[421, 421, w^2 - 7]', '[421, 421, -w^3 + 4*w + 4]', '[421, 421, 4*w^3 - 11*w]', '[421, 421, 4*w^3 - w^2 - 12*w + 6]', '[449, 449, 3*w^3 + 2*w^2 - 11*w + 1]', '[449, 449, -w^3 - 2*w^2 + 5*w + 7]', '[449, 449, -w^3 + 2*w^2 + 5*w - 2]', '[449, 449, w^3 + 2*w^2 - w - 8]', '[479, 479, 2*w^3 + 3*w^2 - 5*w - 9]', '[479, 479, -3*w^2 - w + 4]', '[479, 479, -3*w^3 - w^2 + 12*w - 3]', '[479, 479, w^3 + w^2 - 6*w - 4]', '[509, 509, 4*w^3 + 3*w^2 - 11*w - 6]', '[509, 509, -w^3 + w^2 - 3]', '[509, 509, -2*w^3 + 3*w^2 + 7*w - 7]', '[509, 509, -5*w^3 - w^2 + 18*w - 2]', '[541, 541, -4*w^3 + 11*w - 2]', '[541, 541, -4*w^3 + w^2 + 12*w - 4]', '[541, 541, 5*w^3 - 16*w + 3]', '[541, 541, 5*w^3 + w^2 - 15*w]', '[569, 569, -4*w^3 - w^2 + 14*w - 3]', '[569, 569, 4*w^3 + 2*w^2 - 15*w]', '[569, 569, w^3 - 3*w^2 - 5*w + 6]', '[569, 569, 2*w^3 + 3*w^2 - 4*w - 8]', '[571, 571, -4*w^3 - w^2 + 17*w + 2]', '[571, 571, 3*w^3 + 4*w^2 - 10*w - 10]', '[571, 571, w^3 + 5*w^2 - 2*w - 14]', '[571, 571, -6*w^3 + 20*w - 3]', '[599, 599, -2*w^3 + w^2 + 4*w - 5]', '[599, 599, -4*w^3 - 2*w^2 + 11*w + 5]', '[599, 599, 3*w^3 - 2*w^2 - 10*w + 4]', '[599, 599, -5*w^3 - w^2 + 17*w - 3]', '[601, 601, w^3 - 7*w + 1]', '[601, 601, 3*w^3 + 4*w^2 - 9*w - 8]', '[601, 601, 3*w^3 - 13*w + 3]', '[601, 601, w^3 + 4*w^2 - 3*w - 8]', '[631, 631, 6*w^3 + w^2 - 19*w - 1]', '[631, 631, -3*w^3 + w^2 + 13*w - 3]', '[631, 631, 5*w^3 + w^2 - 14*w + 2]', '[631, 631, -5*w^3 + w^2 + 16*w - 7]', '[659, 659, -6*w^3 - 2*w^2 + 19*w - 2]', '[659, 659, -5*w^3 + w^2 + 17*w - 2]', '[659, 659, -4*w^3 + 15*w - 6]', '[659, 659, -4*w^3 - 3*w^2 + 12*w + 8]', '[661, 661, -5*w^3 + 2*w^2 + 16*w - 7]', '[661, 661, 6*w^3 + 2*w^2 - 17*w - 2]', '[661, 661, -7*w^3 - w^2 + 23*w - 2]', '[661, 661, -4*w^3 + w^2 + 10*w - 4]', '[691, 691, -6*w^3 + 19*w - 6]', '[691, 691, -5*w^3 + w^2 + 15*w - 2]', '[691, 691, 5*w^3 - 14*w + 5]', '[691, 691, 2*w^3 + 4*w^2 - 7*w - 10]', '[719, 719, -7*w^3 - 2*w^2 + 24*w]', '[719, 719, -2*w^3 + 2*w^2 + 3*w - 5]', '[719, 719, -5*w^3 - 3*w^2 + 13*w + 5]', '[719, 719, -4*w^3 + 3*w^2 + 14*w - 9]', '[751, 751, 4*w^3 + 4*w^2 - 14*w - 5]', '[751, 751, 5*w^3 + 4*w^2 - 17*w - 8]', '[751, 751, -3*w^3 + 2*w^2 + 13*w - 9]', '[751, 751, 6*w^3 + w^2 - 19*w]', '[809, 809, w^3 + 3*w^2 - w - 11]', '[809, 809, -5*w^3 + 18*w - 6]', '[809, 809, -6*w^3 - w^2 + 20*w - 4]', '[809, 809, 5*w^3 + 3*w^2 - 15*w - 7]', '[811, 811, 5*w^3 + 4*w^2 - 18*w - 6]', '[811, 811, 7*w^3 + 2*w^2 - 22*w - 1]', '[811, 811, 4*w^3 - 2*w^2 - 11*w + 6]', '[811, 811, 5*w^3 + w^2 - 13*w]', '[839, 839, -4*w^3 - 4*w^2 + 11*w + 9]', '[839, 839, 5*w^3 + w^2 - 19*w + 3]', '[839, 839, -6*w^3 - 2*w^2 + 21*w]', '[839, 839, -5*w^3 - 3*w^2 + 16*w]', '[929, 929, 5*w^3 + w^2 - 17*w + 4]', '[929, 929, 3*w^3 - 2*w^2 - 10*w + 3]', '[929, 929, 4*w^3 + 2*w^2 - 11*w - 6]', '[929, 929, 4*w^3 + 2*w^2 - 15*w + 1]', '[991, 991, 3*w^3 + w^2 - 14*w + 1]', '[991, 991, 2*w^3 + 5*w^2 - 5*w - 11]', '[991, 991, 2*w^3 + 5*w^2 - 5*w - 10]', '[991, 991, 3*w^2 + 4*w - 7]']}
• 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, 4, -4, -1, 1], 'conductor': 15, 'degree': 4, 'dirichlet_group': [8, 1, 2, 4], 'disc_abs': 1125, 'disc_rad': 15, 'disc_sign': 1, 'frobs': [[2, [[4, 1]]], [3, [0]], [5, [0]], [7, [[4, 1]]], [11, [[2, 2]]], [13, [[4, 1]]], [17, [[4, 1]]], [19, [[2, 2]]], [23, [[4, 1]]], [29, [[1, 4]]], [31, [[1, 4]]], [37, [[4, 1]]], [41, [[2, 2]]], [43, [[4, 1]]], [47, [[4, 1]]], [53, [[4, 1]]], [59, [[1, 4]]]], 'gal_is_abelian': True, 'gal_is_cyclic': True, 'gal_is_solvable': True, 'galois_disc_exponents': [2, 3], 'galois_label': '4T1', 'galt': 1, 'grd': 5.791460926441346, 'index': 1, 'inessentialp': [], 'is_galois': True, 'is_minimal_sibling': True, 'iso_number': 1, 'label': '4.4.1125.1', 'local_algs': ['3.4.2.2', '5.4.3.1'], 'monogenic': 1, 'num_ram': 2, 'r2': 0, 'ramps': [3, 5], 'rd': 5.79146092644, 'regulator': {'__RealLiteral__': 0, 'data': '1.16545519432', 'prec': 44}, 'res': {}, 'subfield_mults': [1], 'subfields': ['-1.-1.1'], 'torsion_gen': '\\( -1 \\)', 'torsion_order': 2, 'units': ['\\( a^{3} - 3 a \\)', '\\( a^{2} - 3 \\)', '\\( a - 1 \\)'], 'used_grh': False, 'zk': ['1', 'a', 'a^2', 'a^3']}