Hilbert modular form data - 6.6.371293.1-79.3-a

Formats: - HTML - YAML - JSON - 2024-10-06T18:58:54.649028

• 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': 6, 'dimension': 1, 'disc': 371293, 'field_bad_primes': [13], 'field_label': '6.6.371293.1', 'is_CM': 'no', 'is_base_change': 'no', 'label': '6.6.371293.1-79.3-a', 'label_nsuffix': 0, 'label_suffix': 'a', 'level_bad_primes': [79], 'level_ideal': '[79,79,-w^3 + w^2 + 4*w - 1]', 'level_label': '79.3', 'level_norm': 79, 'parallel_weight': 2, 'short_label': '79.3-a', 'weight': '[2, 2, 2, 2, 2, 2]'}
• hmf_hecke •

  Column	Type
  AL_eigenvalues	jsonb
  hecke_eigenvalues	jsonb
  hecke_polynomial	text
  label	text

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

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

  
  {'degree': 6, 'discriminant': 371293, 'ideals': ['[1, 1, 1]', '[13, 13, w^5 - 5*w^3 + 4*w]', '[25, 5, w^5 - 5*w^3 + 6*w - 1]', '[25, 5, -w^3 + w^2 + 3*w - 1]', '[25, 5, w^5 - 4*w^3 - w^2 + 3*w + 2]', '[27, 3, w^4 - w^3 - 4*w^2 + 2*w + 2]', '[27, 3, w^4 - w^3 - 4*w^2 + 2*w + 3]', '[53, 53, -w^4 + w^3 + 3*w^2 - 2*w + 1]', '[53, 53, -w^4 + w^3 + 4*w^2 - 3*w - 4]', '[53, 53, -w^5 + w^4 + 4*w^3 - 4*w^2 - 3*w + 1]', '[53, 53, w^3 - 2*w - 2]', '[53, 53, w^5 - 5*w^3 - w^2 + 5*w]', '[53, 53, -w^4 + 4*w^2 + w - 4]', '[64, 2, -2]', '[79, 79, -2*w^5 + w^4 + 9*w^3 - 3*w^2 - 9*w + 2]', '[79, 79, -w^5 - w^4 + 5*w^3 + 4*w^2 - 6*w - 1]', '[79, 79, w^3 - w^2 - 4*w + 1]', '[79, 79, -2*w^5 + 2*w^4 + 9*w^3 - 7*w^2 - 9*w + 3]', '[79, 79, -2*w^4 + w^3 + 7*w^2 - 3*w - 3]', '[79, 79, -w^5 + 6*w^3 - w^2 - 8*w + 1]', '[103, 103, 2*w^4 - 7*w^2 - w + 3]', '[103, 103, w^5 - w^4 - 4*w^3 + 5*w^2 + 2*w - 4]', '[103, 103, -w^5 - w^4 + 4*w^3 + 4*w^2 - 2*w - 3]', '[103, 103, w^5 - 2*w^4 - 4*w^3 + 6*w^2 + 4*w - 1]', '[103, 103, -w^4 + w^3 + 5*w^2 - 3*w - 4]', '[103, 103, 2*w^5 - w^4 - 10*w^3 + 3*w^2 + 10*w - 1]', '[131, 131, w^5 - w^4 - 5*w^3 + 3*w^2 + 4*w - 1]', '[131, 131, -w^5 + 2*w^4 + 4*w^3 - 6*w^2 - 4*w + 2]', '[131, 131, w^5 - w^4 - 4*w^3 + 5*w^2 + 2*w - 5]', '[131, 131, 2*w^4 - 7*w^2 - w + 2]', '[131, 131, -2*w^5 + w^4 + 9*w^3 - 2*w^2 - 8*w]', '[131, 131, 2*w^5 - w^4 - 10*w^3 + 3*w^2 + 10*w]', '[157, 157, -w^5 - w^4 + 5*w^3 + 5*w^2 - 6*w - 3]', '[157, 157, -2*w^3 + w^2 + 5*w - 2]', '[157, 157, -w^5 - w^4 + 4*w^3 + 5*w^2 - 3*w - 3]', '[157, 157, -w^5 + 5*w^3 - 7*w]', '[157, 157, -2*w^5 + w^4 + 8*w^3 - 3*w^2 - 6*w + 2]', '[157, 157, -w^5 + w^4 + 5*w^3 - 4*w^2 - 7*w + 2]', '[169, 13, 2*w^5 - 9*w^3 - w^2 + 9*w + 1]', '[181, 181, w^2 - 2*w - 2]', '[181, 181, 2*w^5 - 9*w^3 + 7*w]', '[181, 181, -w^5 + 2*w^4 + 5*w^3 - 8*w^2 - 5*w + 4]', '[181, 181, -w^5 + w^4 + 6*w^3 - 3*w^2 - 9*w + 1]', '[181, 181, 2*w^5 - 2*w^4 - 8*w^3 + 6*w^2 + 5*w - 2]', '[181, 181, w^4 - 2*w^2 - 2]', '[233, 233, 2*w^3 - w^2 - 5*w + 1]', '[233, 233, -w^5 - w^4 + 6*w^3 + 3*w^2 - 8*w]', '[233, 233, w^5 - w^4 - 5*w^3 + 4*w^2 + 7*w - 3]', '[233, 233, w^5 + w^4 - 5*w^3 - 5*w^2 + 6*w + 4]', '[233, 233, -w^5 + 4*w^3 + 2*w^2 - 2*w - 3]', '[233, 233, 2*w^5 - w^4 - 8*w^3 + 3*w^2 + 6*w - 1]', '[311, 311, 2*w^5 - 2*w^4 - 9*w^3 + 6*w^2 + 8*w - 2]', '[311, 311, w^4 + w^3 - 3*w^2 - 4*w + 1]', '[311, 311, -w^5 + 2*w^4 + 5*w^3 - 7*w^2 - 5*w + 2]', '[311, 311, w^5 - w^4 - 4*w^3 + 4*w^2 + w - 3]', '[311, 311, w^4 - 2*w^2 - w - 2]', '[311, 311, -2*w^5 + w^4 + 9*w^3 - 4*w^2 - 7*w + 2]', '[313, 313, -w^5 + 5*w^3 + w^2 - 4*w - 3]', '[313, 313, -w^5 + 6*w^3 - 7*w + 1]', '[313, 313, -w^4 + w^3 + 5*w^2 - 3*w - 3]', '[313, 313, -w^5 + w^4 + 3*w^3 - 4*w^2 + 4]', '[313, 313, -w^5 + 2*w^4 + 4*w^3 - 7*w^2 - 4*w + 2]', '[313, 313, -2*w^4 + w^3 + 7*w^2 - 2*w - 4]', '[325, 65, w^5 - 2*w^4 - 5*w^3 + 6*w^2 + 6*w - 1]', '[325, 65, -w^5 + 4*w^3 - w^2 - w + 2]', '[325, 65, 2*w^5 - 2*w^4 - 9*w^3 + 7*w^2 + 7*w - 3]', '[337, 337, 2*w^5 - w^4 - 7*w^3 + 2*w^2 + 2*w + 2]', '[337, 337, w^5 - 2*w^4 - 3*w^3 + 7*w^2 + 2*w - 3]', '[337, 337, 2*w^5 - w^4 - 9*w^3 + 2*w^2 + 10*w - 1]', '[337, 337, -2*w^5 - w^4 + 9*w^3 + 4*w^2 - 8*w]', '[337, 337, 3*w^5 - 2*w^4 - 13*w^3 + 7*w^2 + 11*w - 5]', '[337, 337, w^4 - w^3 - 2*w^2 + 4*w]', '[351, 39, -w^4 - w^3 + 3*w^2 + 3*w + 2]', '[351, 39, w^5 - w^4 - 5*w^3 + 2*w^2 + 6*w - 1]', '[389, 389, 2*w^5 - w^4 - 9*w^3 + 4*w^2 + 7*w]', '[389, 389, -2*w^5 + 3*w^4 + 8*w^3 - 9*w^2 - 7*w + 3]', '[389, 389, -w^5 + 2*w^4 + 5*w^3 - 7*w^2 - 5*w]', '[389, 389, -2*w^5 + 3*w^4 + 9*w^3 - 10*w^2 - 8*w + 2]', '[389, 389, -3*w^5 + w^4 + 14*w^3 - 2*w^2 - 12*w]', '[389, 389, -w^5 + w^4 + 5*w^3 - 3*w^2 - 3*w + 1]', '[443, 443, -2*w^5 + w^4 + 8*w^3 - w^2 - 7*w - 3]', '[443, 443, 2*w^5 - w^4 - 9*w^3 + 4*w^2 + 8*w]', '[443, 443, w^5 - 3*w^4 - 4*w^3 + 11*w^2 + 2*w - 4]', '[443, 443, 2*w^5 - w^4 - 9*w^3 + 2*w^2 + 8*w - 2]', '[443, 443, -2*w^4 + 2*w^3 + 7*w^2 - 4*w - 3]', '[443, 443, -3*w^5 + w^4 + 15*w^3 - 3*w^2 - 17*w + 2]', '[467, 467, 2*w^5 - 2*w^4 - 9*w^3 + 6*w^2 + 10*w - 1]', '[467, 467, w^5 + w^4 - 5*w^3 - 6*w^2 + 6*w + 5]', '[467, 467, -w^5 - 2*w^4 + 5*w^3 + 7*w^2 - 5*w - 3]', '[467, 467, -2*w^5 + w^4 + 11*w^3 - 4*w^2 - 13*w + 3]', '[467, 467, 3*w^5 - 2*w^4 - 13*w^3 + 6*w^2 + 11*w - 1]', '[467, 467, -2*w^5 + w^4 + 9*w^3 - w^2 - 8*w - 3]', '[521, 521, w^5 + 2*w^4 - 6*w^3 - 7*w^2 + 7*w + 3]', '[521, 521, 2*w^5 - 2*w^4 - 8*w^3 + 6*w^2 + 7*w - 1]', '[521, 521, -w^5 + w^4 + 6*w^3 - 4*w^2 - 10*w + 3]', '[521, 521, 2*w^5 - 3*w^4 - 9*w^3 + 10*w^2 + 9*w - 3]', '[521, 521, -2*w^5 + 11*w^3 - 13*w + 1]', '[521, 521, 3*w^5 - w^4 - 13*w^3 + 3*w^2 + 11*w - 1]', '[547, 547, w^4 + w^3 - 5*w^2 - 3*w + 1]', '[547, 547, -2*w^5 + 3*w^4 + 9*w^3 - 11*w^2 - 10*w + 6]', '[547, 547, w^4 - w^3 - w^2 + 3*w - 3]', '[547, 547, 2*w^4 + w^3 - 9*w^2 - 2*w + 6]', '[547, 547, 3*w^5 - w^4 - 13*w^3 + 3*w^2 + 11*w - 2]', '[547, 547, -w^5 + w^4 + 6*w^3 - 4*w^2 - 10*w + 2]', '[571, 571, -w^5 + 4*w^3 + 3*w^2 - 3*w - 4]', '[571, 571, -w^5 - w^4 + 3*w^3 + 6*w^2 - 5]', '[571, 571, w^5 - 6*w^3 + 2*w^2 + 9*w - 4]', '[571, 571, 2*w^5 - 9*w^3 - w^2 + 10*w + 1]', '[571, 571, 2*w^5 - 11*w^3 + w^2 + 13*w - 3]', '[571, 571, -w^5 + 7*w^3 - w^2 - 12*w + 2]', '[599, 599, -2*w^5 + w^4 + 8*w^3 - 5*w^2 - 5*w + 5]', '[599, 599, w^5 - w^4 - 6*w^3 + 4*w^2 + 6*w - 2]', '[599, 599, w^4 - 2*w^3 - 5*w^2 + 7*w + 4]', '[599, 599, -2*w^5 + 10*w^3 - w^2 - 11*w + 3]', '[599, 599, w^5 - 3*w^4 - 5*w^3 + 11*w^2 + 7*w - 5]', '[599, 599, -w^5 + w^4 + 6*w^3 - 3*w^2 - 8*w + 3]', '[625, 5, w^5 - 3*w^3 - 2*w^2 + 4]', '[625, 5, 2*w^5 - 9*w^3 - w^2 + 9*w]', '[625, 5, w^5 - 6*w^3 + w^2 + 9*w - 1]', '[625, 25, 2*w^5 - 10*w^3 + 12*w - 1]', '[625, 25, -2*w^3 + 2*w^2 + 6*w - 3]', '[625, 25, 2*w^5 - 8*w^3 - 2*w^2 + 6*w + 3]', '[675, 15, w^5 - 3*w^4 - 4*w^3 + 10*w^2 + 3*w - 3]', '[675, 15, 2*w^5 - 3*w^4 - 9*w^3 + 10*w^2 + 9*w - 4]', '[675, 15, 2*w^5 - w^4 - 9*w^3 + 3*w^2 + 6*w - 1]', '[675, 15, 2*w^5 - w^4 - 10*w^3 + 4*w^2 + 9*w - 2]', '[675, 15, -w^3 - 2*w^2 + 4*w + 4]', '[675, 15, -w^5 + 3*w^3 - w^2 + w + 2]', '[677, 677, -w^5 - 2*w^4 + 6*w^3 + 8*w^2 - 9*w - 4]', '[677, 677, -3*w^5 + 2*w^4 + 13*w^3 - 7*w^2 - 12*w + 4]', '[677, 677, w^4 + w^3 - 5*w^2 - 5*w + 4]', '[677, 677, -2*w^5 + 9*w^3 - w^2 - 7*w + 1]', '[677, 677, w^5 - 5*w^3 + 2*w^2 + 5*w - 5]', '[677, 677, -w^5 - w^4 + 7*w^3 + 2*w^2 - 10*w + 1]', '[689, 689, -w^5 - w^4 + 4*w^3 + 4*w^2 - 2*w - 4]', '[689, 689, w^5 - w^4 - 4*w^3 + 2*w^2 + 4*w + 3]', '[689, 689, w^5 - w^4 - 3*w^3 + 3*w^2 - w - 3]', '[689, 689, 2*w^5 - w^4 - 10*w^3 + 3*w^2 + 11*w - 3]', '[689, 689, -w^4 + 3*w^2 - w + 2]', '[689, 689, w^5 - w^4 - 5*w^3 + 5*w^2 + 5*w - 2]', '[701, 701, w^5 - 3*w^4 - 3*w^3 + 11*w^2 + 2*w - 6]', '[701, 701, w^5 + w^4 - 6*w^3 - 5*w^2 + 6*w + 4]', '[701, 701, -w^5 - w^4 + 3*w^3 + 4*w^2 + 2*w - 2]', '[701, 701, 3*w^5 - 2*w^4 - 14*w^3 + 5*w^2 + 14*w]', '[701, 701, 3*w^5 - 2*w^4 - 14*w^3 + 8*w^2 + 13*w - 5]', '[701, 701, -w^5 + 2*w^4 + 3*w^3 - 7*w^2 + 2*w + 3]', '[727, 727, w^5 + 2*w^4 - 5*w^3 - 8*w^2 + 6*w + 3]', '[727, 727, -w^5 + 4*w^3 + 3*w^2 - 3*w - 6]', '[727, 727, -w^5 - w^4 + 5*w^3 + 2*w^2 - 4*w + 2]', '[727, 727, 3*w^5 - 2*w^4 - 13*w^3 + 6*w^2 + 12*w - 3]', '[727, 727, -2*w^5 + 11*w^3 - w^2 - 13*w + 1]', '[727, 727, w^5 - 3*w^4 - 4*w^3 + 10*w^2 + 5*w - 4]', '[729, 3, 3]', '[729, 9, w^4 - w^3 - 4*w^2 + 2*w + 6]', '[729, 9, -w^4 + w^3 + 4*w^2 - 2*w + 1]', '[832, 26, -2*w^5 + 10*w^3 - 8*w]', '[857, 857, -w^5 + 3*w^4 + 5*w^3 - 11*w^2 - 5*w + 5]', '[857, 857, -w^5 - 2*w^4 + 4*w^3 + 9*w^2 - 3*w - 7]', '[857, 857, 2*w^5 + w^4 - 9*w^3 - 4*w^2 + 6*w + 3]', '[857, 857, 2*w^5 - 3*w^4 - 7*w^3 + 10*w^2 + 2*w - 5]', '[857, 857, -w^5 + 6*w^3 - 2*w^2 - 8*w + 2]', '[857, 857, -3*w^3 + w^2 + 9*w]', '[859, 859, 2*w^4 - 2*w^3 - 5*w^2 + 5*w - 2]', '[859, 859, -2*w^5 + 9*w^3 - 6*w - 2]', '[859, 859, -w^4 - w^3 + 2*w^2 + 3*w + 4]', '[859, 859, -w^5 - 2*w^4 + 6*w^3 + 9*w^2 - 7*w - 7]', '[859, 859, -2*w^5 - w^4 + 10*w^3 + 4*w^2 - 9*w - 4]', '[859, 859, -w^5 - w^4 + 4*w^3 + 4*w^2 - 3*w + 1]', '[883, 883, 2*w^5 + w^4 - 10*w^3 - 4*w^2 + 11*w]', '[883, 883, -2*w^5 + w^4 + 9*w^3 - 3*w^2 - 10*w + 3]', '[883, 883, 3*w^5 - w^4 - 13*w^3 + 2*w^2 + 12*w + 1]', '[883, 883, 3*w^5 - 2*w^4 - 12*w^3 + 6*w^2 + 8*w - 3]', '[883, 883, w^5 - 6*w^3 + w^2 + 10*w - 3]', '[883, 883, -2*w^5 + 11*w^3 - w^2 - 14*w + 3]', '[911, 911, -3*w^5 + 15*w^3 - 15*w + 1]', '[911, 911, -2*w^5 + 2*w^4 + 8*w^3 - 8*w^2 - 6*w + 3]', '[911, 911, -2*w^5 + 11*w^3 - 13*w + 2]', '[911, 911, -2*w^5 + 10*w^3 + 2*w^2 - 10*w - 1]', '[911, 911, 2*w^4 - 2*w^3 - 8*w^2 + 6*w + 7]', '[911, 911, -3*w^4 + 12*w^2 - 7]', '[937, 937, 3*w^4 - w^3 - 10*w^2 + 2*w + 4]', '[937, 937, -w^5 + 2*w^4 + 5*w^3 - 9*w^2 - 6*w + 5]', '[937, 937, -w^5 + 2*w^4 + 2*w^3 - 6*w^2 + 3*w + 3]', '[937, 937, 2*w^5 - w^4 - 11*w^3 + 4*w^2 + 12*w - 3]', '[937, 937, -2*w^5 + 11*w^3 + w^2 - 14*w]', '[937, 937, 2*w^5 + w^4 - 9*w^3 - 5*w^2 + 7*w + 5]', '[961, 31, -3*w^5 + w^4 + 12*w^3 - 3*w^2 - 8*w + 2]', '[961, 31, -2*w^5 + 2*w^4 + 10*w^3 - 7*w^2 - 13*w + 3]', '[961, 31, -w^5 + w^4 + 7*w^3 - 5*w^2 - 10*w + 4]', '[1013, 1013, 3*w^5 - 3*w^4 - 12*w^3 + 10*w^2 + 9*w - 4]', '[1013, 1013, -w^4 + 2*w^3 + 5*w^2 - 4*w - 5]', '[1013, 1013, 2*w^5 - 10*w^3 + w^2 + 9*w]', '[1013, 1013, -w^5 + 3*w^4 + 2*w^3 - 11*w^2 + 2*w + 6]', '[1013, 1013, 3*w^5 - 3*w^4 - 13*w^3 + 10*w^2 + 11*w - 6]', '[1013, 1013, w^5 - 3*w^4 - 3*w^3 + 12*w^2 + w - 7]', '[1027, 1027, -2*w^5 + w^4 + 5*w^3 + w + 1]', '[1027, 1027, 2*w^5 + w^4 - 8*w^3 - 3*w^2 + 2*w]', '[1027, 1027, 2*w^4 - 3*w^3 - 6*w^2 + 5*w + 4]', '[1027, 1027, -w^5 + 4*w^3 + 3*w^2 - 3*w - 5]', '[1027, 1027, -w^5 - w^4 + 5*w^3 + w^2 - 2*w + 3]', '[1027, 1027, 2*w^5 + 2*w^4 - 10*w^3 - 9*w^2 + 8*w + 4]', '[1039, 1039, w^5 - 2*w^4 - 4*w^3 + 5*w^2 + 3*w + 3]', '[1039, 1039, w^5 - w^4 - 7*w^3 + 4*w^2 + 11*w - 1]', '[1039, 1039, w^3 + w^2 - 5*w - 4]', '[1039, 1039, -2*w^5 - w^4 + 10*w^3 + 3*w^2 - 10*w + 1]', '[1039, 1039, w^5 - 2*w^4 - 5*w^3 + 8*w^2 + 4*w - 2]', '[1039, 1039, -2*w^5 + 9*w^3 - w^2 - 7*w]', '[1091, 1091, -w^5 - w^4 + 4*w^3 + 3*w^2 - 2*w + 3]', '[1091, 1091, -2*w^5 + 2*w^4 + 10*w^3 - 7*w^2 - 11*w]', '[1091, 1091, -w^5 + w^4 + 3*w^3 - w^2 + w - 4]', '[1091, 1091, 3*w^5 - w^4 - 13*w^3 + 4*w^2 + 10*w - 3]', '[1091, 1091, 3*w^5 - w^4 - 12*w^3 + 2*w^2 + 8*w - 1]', '[1091, 1091, -3*w^5 + 2*w^4 + 13*w^3 - 5*w^2 - 10*w]', '[1093, 1093, 2*w^5 - 3*w^4 - 10*w^3 + 10*w^2 + 12*w - 4]', '[1093, 1093, 2*w^5 - 8*w^3 + w^2 + 4*w - 2]', '[1093, 1093, -w^3 - 2*w^2 + 5*w + 4]', '[1093, 1093, -3*w^5 + 2*w^4 + 13*w^3 - 6*w^2 - 9*w + 2]', '[1093, 1093, -w^5 + 3*w^4 + 4*w^3 - 9*w^2 - 3*w + 1]', '[1093, 1093, 2*w^5 - 2*w^4 - 10*w^3 + 8*w^2 + 9*w - 4]', '[1117, 1117, w^5 - 5*w^3 + w^2 + 4*w - 5]', '[1117, 1117, -w^5 - w^4 + 7*w^3 + 4*w^2 - 10*w - 1]', '[1117, 1117, -2*w^4 + w^3 + 9*w^2 - 2*w - 5]', '[1117, 1117, -w^5 + 2*w^4 + 3*w^3 - 7*w^2 - 2*w + 2]', '[1117, 1117, -w^5 - 2*w^4 + 6*w^3 + 8*w^2 - 7*w - 6]', '[1117, 1117, w^4 - w^3 - 5*w^2 + w + 6]', '[1171, 1171, -w^5 - w^4 + 3*w^3 + 4*w^2 + 2*w - 3]', '[1171, 1171, w^5 - 2*w^4 - 3*w^3 + 7*w^2 - 2*w - 4]', '[1171, 1171, w^4 - w^3 - w^2 + w - 4]', '[1171, 1171, -3*w^5 + 2*w^4 + 14*w^3 - 8*w^2 - 13*w + 4]', '[1171, 1171, 2*w^4 + w^3 - 7*w^2 - 2*w + 1]', '[1171, 1171, 3*w^5 - 2*w^4 - 14*w^3 + 5*w^2 + 14*w - 1]', '[1223, 1223, -w^5 + 3*w^4 + 2*w^3 - 11*w^2 + 2*w + 5]', '[1223, 1223, -w^5 - 2*w^4 + 6*w^3 + 8*w^2 - 6*w - 4]', '[1223, 1223, 2*w^5 - 2*w^4 - 8*w^3 + 5*w^2 + 5*w - 1]', '[1223, 1223, 2*w^4 - 2*w^3 - 7*w^2 + 3*w + 4]', '[1223, 1223, -w^4 + 2*w^3 + 5*w^2 - 4*w - 4]', '[1223, 1223, w^5 + w^4 - 5*w^3 - 2*w^2 + 5*w - 3]', '[1249, 1249, -3*w^5 + 2*w^4 + 13*w^3 - 6*w^2 - 9*w + 1]', '[1249, 1249, 2*w^5 - 8*w^3 + 6*w - 3]', '[1249, 1249, -2*w^5 + 2*w^4 + 10*w^3 - 8*w^2 - 12*w + 3]', '[1249, 1249, 2*w^5 - 8*w^3 - 2*w^2 + 4*w + 5]', '[1249, 1249, 2*w^5 - 10*w^3 - 2*w^2 + 12*w + 1]', '[1249, 1249, -2*w^3 + 2*w^2 + 4*w - 5]', '[1301, 1301, 2*w^5 - 2*w^4 - 9*w^3 + 8*w^2 + 8*w - 3]', '[1301, 1301, -w^5 + 2*w^4 + 3*w^3 - 7*w^2 + w + 5]', '[1301, 1301, w^4 - w^3 - 2*w^2 + w - 3]', '[1301, 1301, 2*w^5 - w^4 - 10*w^3 + 2*w^2 + 11*w - 1]', '[1301, 1301, -w^5 - w^4 + 4*w^3 + 4*w^2 - w - 4]', '[1301, 1301, w^4 + w^3 - 3*w^2 - 2*w - 2]', '[1325, 265, w^5 - 7*w^3 + w^2 + 10*w - 3]', '[1325, 265, 2*w^5 - 8*w^3 - w^2 + 4*w + 3]', '[1325, 265, w^5 - 4*w^3 + 2*w - 4]', '[1325, 265, -2*w^5 + 2*w^4 + 10*w^3 - 8*w^2 - 11*w + 3]', '[1325, 265, w^5 + 2*w^4 - 6*w^3 - 7*w^2 + 8*w + 4]', '[1325, 265, w^5 - w^4 - 5*w^3 + 4*w^2 + 5*w - 6]', '[1325, 265, 2*w^5 - 2*w^4 - 9*w^3 + 7*w^2 + 10*w - 2]', '[1325, 265, w^5 - 2*w^4 - 3*w^3 + 6*w^2 - w - 3]', '[1325, 265, -w^5 + w^4 + 4*w^3 - 3*w^2 - 2*w - 3]', '[1325, 265, 2*w^5 - w^4 - 7*w^3 + 3*w^2 + 3*w - 3]', '[1325, 265, -2*w^5 + w^4 + 10*w^3 - 2*w^2 - 12*w + 1]', '[1325, 265, -w^5 + w^4 + 5*w^3 - 3*w^2 - 6*w - 3]', '[1325, 265, -w^5 - w^4 + 4*w^3 + 3*w^2 - 3*w + 2]', '[1325, 265, w^4 - 3*w^2 + 4]', '[1325, 265, w^5 + w^4 - 5*w^3 - 6*w^2 + 6*w + 4]', '[1325, 265, -w^5 + 4*w^3 + 2*w^2 - w - 5]', '[1325, 265, -w^3 + 2*w^2 + w - 5]', '[1325, 265, w^2 - w + 2]', '[1327, 1327, 3*w^4 - w^3 - 12*w^2 + 2*w + 8]', '[1327, 1327, 2*w^5 + w^4 - 10*w^3 - 3*w^2 + 11*w]', '[1327, 1327, -3*w^5 + 2*w^4 + 13*w^3 - 8*w^2 - 10*w + 5]', '[1327, 1327, -w^5 - w^4 + 4*w^3 + 6*w^2 - 4*w - 5]', '[1327, 1327, w^5 - w^4 - 3*w^3 + w^2 - w + 3]', '[1327, 1327, -w^5 + w^4 + 7*w^3 - 5*w^2 - 11*w + 4]', '[1339, 1339, -w^5 + 3*w^3 + w^2 + w + 3]', '[1339, 1339, 3*w^5 - w^4 - 11*w^3 - w^2 + 7*w + 3]', '[1339, 1339, 2*w^5 + 2*w^4 - 7*w^3 - 9*w^2 + 2*w + 3]', '[1339, 1339, 3*w^5 + w^4 - 11*w^3 - 7*w^2 + 5*w + 4]', '[1339, 1339, -w^5 + w^4 + 5*w^3 - 3*w^2 - 8*w + 1]', '[1339, 1339, -2*w^5 + w^4 + 8*w^3 - 2*w^2 - 8*w + 2]', '[1429, 1429, -w^5 + 3*w^4 + 2*w^3 - 10*w^2 + 3*w + 5]', '[1429, 1429, 2*w^5 - 11*w^3 - 2*w^2 + 14*w + 2]', '[1429, 1429, -2*w^5 - w^4 + 9*w^3 + 5*w^2 - 6*w - 5]', '[1429, 1429, -w^5 + 3*w^3 - w^2 - w + 4]', '[1429, 1429, w^5 - w^4 - 6*w^3 + 3*w^2 + 10*w - 3]', '[1429, 1429, -w^5 + 2*w^4 + 6*w^3 - 8*w^2 - 8*w + 2]', '[1431, 159, 2*w^4 - w^3 - 9*w^2 + 3*w + 5]', '[1431, 159, -3*w^5 + w^4 + 14*w^3 - 4*w^2 - 13*w + 2]', '[1431, 159, -2*w^4 - w^3 + 8*w^2 + 2*w - 3]', '[1431, 159, -w^5 + 5*w^3 + 2*w^2 - 4*w - 5]', '[1431, 159, 3*w^5 - 2*w^4 - 13*w^3 + 5*w^2 + 11*w - 1]', '[1431, 159, -w^5 + 7*w^3 - 10*w + 1]', '[1431, 159, w^4 + 2*w^3 - 4*w^2 - 7*w + 3]', '[1431, 159, -w^5 - 2*w^4 + 6*w^3 + 7*w^2 - 7*w - 4]', '[1431, 159, w^5 - 2*w^4 - 4*w^3 + 7*w^2 + 5*w - 2]', '[1431, 159, -w^4 + w^3 + w^2 - 2*w + 4]', '[1431, 159, w^4 - w^3 - 4*w^2 + 5*w + 3]', '[1431, 159, 2*w^5 - 2*w^4 - 7*w^3 + 7*w^2 + 3*w - 5]', '[1481, 1481, w^5 + 2*w^4 - 6*w^3 - 8*w^2 + 8*w + 6]', '[1481, 1481, -2*w^5 + 2*w^4 + 8*w^3 - 7*w^2 - 7*w + 2]', '[1481, 1481, -w^5 - w^4 + 5*w^3 + 6*w^2 - 5*w - 4]', '[1481, 1481, -w^5 - w^4 + 7*w^3 + 3*w^2 - 10*w + 1]', '[1481, 1481, -w^4 + 5*w^2 + 2*w - 6]', '[1481, 1481, w^5 - w^4 - 2*w^3 + 3*w^2 - 2*w - 3]', '[1483, 1483, -2*w^5 + 3*w^4 + 9*w^3 - 9*w^2 - 8*w + 3]', '[1483, 1483, w^5 - 2*w^4 - 3*w^3 + 7*w^2 - 6]', '[1483, 1483, 2*w^5 - 2*w^4 - 9*w^3 + 8*w^2 + 6*w - 6]', '[1483, 1483, w^5 + w^4 - 4*w^3 - 2*w^2 + w - 3]', '[1483, 1483, -w^4 - w^3 + 2*w^2 + 5*w]', '[1483, 1483, 3*w^5 - 2*w^4 - 13*w^3 + 7*w^2 + 9*w - 2]', '[1559, 1559, w^5 - w^4 - w^3 + 4*w^2 - 8*w - 4]', '[1559, 1559, 3*w^5 + w^4 - 14*w^3 - 7*w^2 + 12*w + 5]', '[1559, 1559, -2*w^5 + 9*w^3 + 3*w^2 - 7*w - 9]', '[1559, 1559, -w^5 + 2*w^4 + 5*w^3 - 8*w^2 - 8*w + 1]', '[1559, 1559, -3*w^3 + w^2 + 7*w - 5]', '[1559, 1559, -w^5 + 2*w^4 + 5*w^3 - 7*w^2 - 2*w + 1]', '[1600, 10, -2*w^5 + 10*w^3 - 12*w + 2]', '[1600, 10, 2*w^3 - 2*w^2 - 6*w + 2]', '[1600, 10, -2*w^5 + 8*w^3 + 2*w^2 - 6*w - 4]', '[1613, 1613, 3*w^5 - w^4 - 13*w^3 + 3*w^2 + 9*w]', '[1613, 1613, -3*w^5 + 2*w^4 + 14*w^3 - 7*w^2 - 12*w + 3]', '[1613, 1613, 2*w^5 - 3*w^4 - 10*w^3 + 11*w^2 + 11*w - 4]', '[1613, 1613, 2*w^5 + w^4 - 10*w^3 - 5*w^2 + 12*w + 2]', '[1613, 1613, w^5 + w^4 - 7*w^3 - 2*w^2 + 11*w]', '[1613, 1613, -2*w^5 + 8*w^3 + 3*w^2 - 5*w - 6]', '[1637, 1637, -2*w^5 + 2*w^4 + 9*w^3 - 5*w^2 - 8*w + 1]', '[1637, 1637, 3*w^5 - 2*w^4 - 13*w^3 + 7*w^2 + 10*w - 2]', '[1637, 1637, w^5 - 2*w^4 - 6*w^3 + 7*w^2 + 8*w - 1]', '[1637, 1637, w^4 + w^3 - 3*w^2 - 5*w + 2]', '[1637, 1637, -w^5 + 2*w^4 + 4*w^3 - 8*w^2 - w + 6]', '[1637, 1637, -w^5 - w^4 + 5*w^3 + 2*w^2 - 4*w + 3]', '[1663, 1663, 2*w^5 - 3*w^4 - 9*w^3 + 9*w^2 + 9*w - 1]', '[1663, 1663, w^5 - 4*w^3 + 2*w^2 + w - 3]', '[1663, 1663, w^5 - 3*w^4 - 5*w^3 + 10*w^2 + 6*w - 4]', '[1663, 1663, 2*w^5 - 2*w^4 - 9*w^3 + 7*w^2 + 6*w - 2]', '[1663, 1663, w^5 - 3*w^3 + w^2 - 2*w - 3]', '[1663, 1663, 3*w^5 - 2*w^4 - 14*w^3 + 7*w^2 + 12*w - 4]', '[1703, 1703, w^5 - 4*w^3 - 2*w^2 + 2*w - 1]', '[1703, 1703, 2*w^5 + w^4 - 9*w^3 - 5*w^2 + 9*w + 1]', '[1703, 1703, 2*w^5 - w^4 - 6*w^3 - w^2 + 3*w + 3]', '[1703, 1703, -4*w^5 - w^4 + 16*w^3 + 7*w^2 - 9*w - 4]', '[1703, 1703, 2*w^3 - w^2 - 5*w - 3]', '[1703, 1703, -3*w^5 + w^4 + 13*w^3 - 2*w^2 - 12*w + 2]', '[1728, 6, -2*w^4 + 2*w^3 + 8*w^2 - 4*w - 4]', '[1728, 6, -2*w^4 + 2*w^3 + 8*w^2 - 4*w - 6]', '[1741, 1741, -2*w^5 + w^4 + 10*w^3 - 3*w^2 - 12*w + 4]', '[1741, 1741, -w^5 - w^4 + 6*w^3 + 6*w^2 - 9*w - 5]', '[1741, 1741, w^5 - 7*w^3 + w^2 + 9*w - 2]', '[1741, 1741, 3*w^4 - 2*w^3 - 10*w^2 + 5*w + 4]', '[1741, 1741, -2*w^5 + 3*w^4 + 9*w^3 - 11*w^2 - 10*w + 5]', '[1741, 1741, -2*w^5 + 9*w^3 + 2*w^2 - 6*w - 4]', '[1847, 1847, w^5 - 4*w^3 + w^2 + 3*w - 5]', '[1847, 1847, w^5 - 2*w^4 - 5*w^3 + 8*w^2 + 6*w - 2]', '[1847, 1847, -w^5 + 2*w^4 + 3*w^3 - 6*w^2 + 4]', '[1847, 1847, -w^3 + w^2 + w - 4]', '[1847, 1847, 2*w^5 - 9*w^3 - w^2 + 7*w + 4]', '[1847, 1847, w^5 - 6*w^3 - w^2 + 9*w - 1]', '[1871, 1871, 3*w^5 - 2*w^4 - 12*w^3 + 5*w^2 + 9*w]', '[1871, 1871, -3*w^5 + 15*w^3 - 16*w + 1]', '[1871, 1871, w^5 - 5*w^3 + 8*w - 1]', '[1871, 1871, -3*w^3 + w^2 + 9*w - 1]', '[1871, 1871, -w^3 + 3*w^2 + 3*w - 5]', '[1871, 1871, w^5 + 2*w^4 - 4*w^3 - 9*w^2 + 3*w + 6]', '[1873, 1873, 3*w^5 - 15*w^3 + 16*w]', '[1873, 1873, -3*w^3 + w^2 + 9*w - 2]', '[1873, 1873, 3*w^5 - 2*w^4 - 12*w^3 + 5*w^2 + 9*w - 1]', '[1873, 1873, -w^5 - 2*w^4 + 4*w^3 + 9*w^2 - 3*w - 5]', '[1873, 1873, -w^3 + 3*w^2 + 3*w - 6]', '[1873, 1873, -w^5 + 5*w^3 - 8*w]', '[1949, 1949, 2*w^4 - w^3 - 9*w^2 + 3*w + 4]', '[1949, 1949, w^5 - 2*w^4 - 4*w^3 + 7*w^2 + 5*w - 1]', '[1949, 1949, -w^5 + 7*w^3 - 10*w + 2]', '[1949, 1949, -2*w^5 + 2*w^4 + 7*w^3 - 7*w^2 - 3*w + 6]', '[1949, 1949, -w^5 - 2*w^4 + 6*w^3 + 7*w^2 - 7*w - 5]', '[1949, 1949, -w^5 + 5*w^3 + 2*w^2 - 4*w - 6]', '[1951, 1951, -2*w^5 + 9*w^3 + w^2 - 10*w]', '[1951, 1951, 2*w^5 - w^4 - 7*w^3 + w^2 + 3*w + 3]', '[1951, 1951, 3*w^5 - 14*w^3 - w^2 + 14*w]', '[1951, 1951, w^5 + w^4 - 3*w^3 - 6*w^2 + 6]', '[1951, 1951, w^5 - 7*w^3 + w^2 + 12*w - 1]', '[1951, 1951, w^5 - 6*w^3 + 2*w^2 + 9*w - 3]', '[1975, 395, -w^5 + 2*w^4 + 4*w^3 - 8*w^2 - 3*w + 9]', '[1975, 395, w^5 + w^4 - 3*w^3 - 7*w^2 + w + 7]', '[1975, 395, 2*w^5 - w^4 - 11*w^3 + 5*w^2 + 14*w - 2]', '[1975, 395, -w^5 + 2*w^4 + 3*w^3 - 7*w^2 - 1]', '[1975, 395, -3*w^5 + w^4 + 11*w^3 - w^2 - 5*w - 2]', '[1975, 395, -w^4 + 2*w^3 + 2*w^2 - 7*w - 1]', '[1975, 395, -w^5 - w^4 + 5*w^3 + 4*w^2 - 4*w + 2]', '[1975, 395, 3*w^5 + w^4 - 14*w^3 - 4*w^2 + 14*w + 1]', '[1975, 395, 2*w^5 - 7*w^3 - 2*w^2 + 2*w + 5]', '[1975, 395, w^5 - 4*w^4 - 3*w^3 + 16*w^2 - 12]', '[1975, 395, w^5 - 2*w^4 - 4*w^3 + 9*w^2 + w - 8]', '[1975, 395, -4*w^5 + 2*w^4 + 19*w^3 - 7*w^2 - 19*w + 2]', '[1975, 395, w^5 - w^4 - 5*w^3 + 2*w^2 + 9*w + 1]', '[1975, 395, 2*w^5 + w^4 - 10*w^3 - 3*w^2 + 7*w + 3]', '[1975, 395, w^5 - 2*w^4 - 3*w^3 + 5*w^2 + 2*w + 2]', '[1975, 395, w^4 - w^3 - 3*w^2 + w + 5]', '[1975, 395, 3*w^5 - w^4 - 14*w^3 + 2*w^2 + 16*w]', '[1975, 395, w^5 - 3*w^3 - 3*w^2 + w + 7]', '[2003, 2003, -w^5 + 5*w^3 + w^2 - 3*w - 3]', '[2003, 2003, -2*w^5 + 11*w^3 - 12*w + 1]', '[2003, 2003, -w^4 + w^3 + 6*w^2 - 3*w - 5]', '[2003, 2003, w^5 - w^4 - 2*w^3 + 4*w^2 - 3*w - 4]', '[2003, 2003, -3*w^4 + w^3 + 11*w^2 - 2*w - 6]', '[2003, 2003, 2*w^5 - 3*w^4 - 8*w^3 + 10*w^2 + 7*w - 3]', '[2027, 2027, -2*w^3 + 2*w^2 + 7*w - 3]', '[2027, 2027, -2*w^5 + 8*w^3 + 3*w^2 - 6*w - 5]', '[2027, 2027, w^5 - 7*w^3 + 2*w^2 + 11*w - 3]', '[2027, 2027, -2*w^5 - w^4 + 10*w^3 + 4*w^2 - 12*w - 1]', '[2027, 2027, -3*w^5 + w^4 + 14*w^3 - 3*w^2 - 15*w + 2]', '[2027, 2027, -2*w^5 + 7*w^3 + 2*w^2 - 3*w - 3]', '[2029, 2029, -2*w^5 + 7*w^3 + 2*w^2 - 2*w - 4]', '[2029, 2029, 2*w^5 + w^4 - 9*w^3 - 4*w^2 + 9*w]', '[2029, 2029, 2*w^5 - w^4 - 11*w^3 + 5*w^2 + 14*w - 3]', '[2029, 2029, -w^5 + 3*w^3 + 3*w^2 - w - 6]', '[2029, 2029, -3*w^5 + w^4 + 14*w^3 - 2*w^2 - 15*w + 1]', '[2029, 2029, w^4 - 2*w^3 - 2*w^2 + 7*w]', '[2041, 2041, -2*w^5 - w^4 + 9*w^3 + 7*w^2 - 7*w - 5]', '[2041, 2041, 3*w^4 - 2*w^3 - 9*w^2 + 3*w + 4]', '[2041, 2041, 2*w^5 + 2*w^4 - 10*w^3 - 5*w^2 + 7*w - 1]', '[2041, 2041, -w^5 + w^4 + w^3 - 2*w^2 + 4*w + 2]', '[2041, 2041, w^5 + 2*w^4 - 4*w^3 - 6*w^2 - 2*w + 1]', '[2041, 2041, -w^5 + 5*w^3 + 3*w^2 - 6*w - 3]', '[2053, 2053, 4*w^5 - w^4 - 20*w^3 + 2*w^2 + 20*w - 2]', '[2053, 2053, 2*w^4 - 3*w^3 - 8*w^2 + 8*w + 1]', '[2053, 2053, -w^5 + 5*w^3 + 3*w^2 - 3*w - 5]', '[2053, 2053, w^5 - 2*w^4 - 3*w^3 + 9*w^2 + w - 11]', '[2053, 2053, -4*w^4 + 15*w^2 + 2*w - 10]', '[2053, 2053, -3*w^4 + w^3 + 12*w^2 - w - 3]', '[2081, 2081, 3*w^4 - 2*w^3 - 11*w^2 + 5*w + 6]', '[2081, 2081, -w^5 - w^4 + 5*w^3 + 5*w^2 - 3*w - 5]', '[2081, 2081, -2*w^5 + 3*w^4 + 8*w^3 - 11*w^2 - 7*w + 5]', '[2081, 2081, -w^5 - w^4 + 6*w^3 + 6*w^2 - 8*w - 5]', '[2081, 2081, -w^5 - w^4 + 7*w^3 + 3*w^2 - 9*w]', '[2081, 2081, -w^5 + w^4 + 2*w^3 - 4*w^2 + 2*w + 4]', '[2131, 2131, -w^5 + w^4 + 4*w^3 - 3*w^2 - 3*w - 3]', '[2131, 2131, w^3 - 3*w - 4]', '[2131, 2131, -w^2 - 2]', '[2131, 2131, w^5 - 5*w^3 + 5*w - 4]', '[2131, 2131, -w^4 + 4*w^2 - 6]', '[2131, 2131, w - 4]', '[2133, 237, w^5 - 3*w^4 - 5*w^3 + 10*w^2 + 7*w - 4]', '[2133, 237, 3*w^5 - 4*w^4 - 14*w^3 + 13*w^2 + 16*w - 6]', '[2133, 237, -w^5 + 3*w^4 + 4*w^3 - 9*w^2 - 4*w + 1]', '[2133, 237, 4*w^4 - w^3 - 13*w^2 + 2*w + 2]', '[2133, 237, 3*w^5 - 2*w^4 - 13*w^3 + 5*w^2 + 8*w - 1]', '[2133, 237, 3*w^5 - 2*w^4 - 14*w^3 + 6*w^2 + 12*w - 2]', '[2133, 237, -2*w^5 + w^4 + 11*w^3 - 3*w^2 - 14*w + 3]', '[2133, 237, -4*w^5 + 3*w^4 + 20*w^3 - 10*w^2 - 23*w + 6]', '[2133, 237, w^5 - w^4 - 7*w^3 + 5*w^2 + 9*w]', '[2133, 237, -2*w^4 - w^3 + 8*w^2 + 2*w - 1]', '[2133, 237, 3*w^5 - 2*w^4 - 16*w^3 + 8*w^2 + 17*w - 3]', '[2133, 237, 2*w^5 - 2*w^4 - 10*w^3 + 7*w^2 + 9*w - 2]', '[2197, 13, 2*w^4 - 2*w^3 - 8*w^2 + 4*w + 5]', '[2209, 47, -2*w^5 + 8*w^3 + 2*w^2 - 6*w - 5]', '[2209, 47, -2*w^5 + 10*w^3 - 12*w + 3]', '[2209, 47, 2*w^3 - 2*w^2 - 6*w + 1]', '[2237, 2237, 2*w^5 + w^4 - 11*w^3 - 4*w^2 + 12*w - 1]', '[2237, 2237, w^5 - w^4 - 5*w^3 + 6*w^2 + 8*w - 4]', '[2237, 2237, w^5 - 3*w^4 - 7*w^3 + 12*w^2 + 12*w - 9]', '[2237, 2237, -w^5 + w^4 + w^3 - w^2 + 5*w - 2]', '[2237, 2237, 3*w^5 + w^4 - 14*w^3 - 6*w^2 + 14*w + 5]', '[2237, 2237, -w^4 + 3*w^3 + 4*w^2 - 8*w - 6]', '[2287, 2287, 3*w^5 - w^4 - 12*w^3 + 5*w^2 + 7*w - 4]', '[2287, 2287, 3*w^5 - w^4 - 13*w^3 + 3*w^2 + 7*w]', '[2287, 2287, w^5 + w^4 - 2*w^3 - 2*w^2 - 4*w - 3]', '[2287, 2287, 3*w^5 - w^4 - 13*w^3 + 4*w^2 + 10*w + 1]', '[2287, 2287, -2*w^4 - 2*w^3 + 7*w^2 + 4*w - 2]', '[2287, 2287, 2*w^4 - 2*w^3 - 4*w^2 + 3*w - 2]', '[2339, 2339, -w^5 + 4*w^3 + 3*w^2 - 2*w - 6]', '[2339, 2339, -w^5 - 2*w^4 + 5*w^3 + 9*w^2 - 6*w - 5]', '[2339, 2339, -3*w^3 + w^2 + 8*w - 2]', '[2339, 2339, w^5 - w^4 - 5*w^3 + 4*w^2 + 8*w - 2]', '[2339, 2339, 2*w^5 + w^4 - 11*w^3 - 3*w^2 + 13*w + 1]', '[2339, 2339, -3*w^5 + 2*w^4 + 12*w^3 - 6*w^2 - 9*w + 3]', '[2341, 2341, 3*w^5 + 2*w^4 - 15*w^3 - 9*w^2 + 15*w + 6]', '[2341, 2341, -2*w^5 + 5*w^4 + 8*w^3 - 18*w^2 - 6*w + 8]', '[2341, 2341, -w^5 - 2*w^4 + 6*w^3 + 7*w^2 - 6*w + 1]', '[2341, 2341, -w^5 + w^4 + 2*w^3 - 3*w^2 + 6*w]', '[2341, 2341, w^4 + w^3 - 5*w^2 - 2*w - 1]', '[2341, 2341, 2*w^5 + w^4 - 13*w^3 - 4*w^2 + 19*w + 2]', '[2353, 2353, -3*w^5 + w^4 + 12*w^3 + w^2 - 10*w - 1]', '[2353, 2353, -3*w^5 + w^4 + 12*w^3 - 2*w^2 - 9*w]', '[2353, 2353, -2*w^5 - w^4 + 9*w^3 + 6*w^2 - 9*w - 5]', '[2353, 2353, w^5 + 2*w^4 - 6*w^3 - 6*w^2 + 5*w - 1]', '[2353, 2353, -3*w^5 - w^4 + 11*w^3 + 6*w^2 - 5*w]', '[2353, 2353, -w^5 - 2*w^4 + 5*w^3 + 7*w^2 - 2*w - 5]', '[2393, 2393, -3*w^5 + 3*w^4 + 15*w^3 - 8*w^2 - 18*w]', '[2393, 2393, 2*w^5 - 9*w^3 - 2*w^2 + 6*w + 7]', '[2393, 2393, -w^5 - w^4 + 6*w^3 + 3*w^2 - 9*w - 5]', '[2393, 2393, 3*w^5 - w^4 - 16*w^3 + 3*w^2 + 20*w - 3]', '[2393, 2393, -2*w^5 + w^4 + 8*w^3 - w^2 - 8*w - 4]', '[2393, 2393, w^5 - 4*w^3 + 3*w^2 + 3*w - 7]', '[2417, 2417, 3*w^5 - 2*w^4 - 13*w^3 + 5*w^2 + 11*w - 2]', '[2417, 2417, -w^4 + w^3 + w^2 - 2*w + 5]', '[2417, 2417, w^4 - w^3 - 4*w^2 + 5*w + 4]', '[2417, 2417, w^4 + 2*w^3 - 4*w^2 - 7*w + 4]', '[2417, 2417, 3*w^5 - w^4 - 14*w^3 + 4*w^2 + 13*w - 1]', '[2417, 2417, 2*w^4 + w^3 - 8*w^2 - 2*w + 2]', '[2521, 2521, 2*w^5 + w^4 - 11*w^3 - 6*w^2 + 14*w + 3]', '[2521, 2521, -2*w^5 + 3*w^4 + 9*w^3 - 12*w^2 - 10*w + 5]', '[2521, 2521, 2*w^5 + w^4 - 8*w^3 - 3*w^2 + 6*w - 2]', '[2521, 2521, 2*w^5 + w^4 - 12*w^3 - 6*w^2 + 15*w + 5]', '[2521, 2521, 2*w^5 - 2*w^4 - 8*w^3 + 7*w^2 + 3*w - 7]', '[2521, 2521, w^4 - w^2 - 2*w - 7]', '[2549, 2549, 3*w^5 - 16*w^3 - 2*w^2 + 18*w + 1]', '[2549, 2549, 3*w^5 - w^4 - 12*w^3 - w^2 + 9*w + 5]', '[2549, 2549, -2*w^5 + w^4 + 7*w^3 - 5*w^2 - w + 2]', '[2549, 2549, -2*w^5 + w^4 + 9*w^3 - 7*w - 8]', '[2549, 2549, -3*w^4 + w^3 + 13*w^2 - 4*w - 5]', '[2549, 2549, w^5 - 3*w^4 - w^3 + 11*w^2 - 6*w - 8]', '[2575, 515, -w^5 + 3*w^4 + 3*w^3 - 12*w^2 - 2*w + 7]', '[2575, 515, 2*w^5 - w^4 - 10*w^3 + 3*w^2 + 8*w - 2]', '[2575, 515, -3*w^5 + 13*w^3 - w^2 - 8*w + 3]', '[2575, 515, -3*w^5 + 4*w^4 + 14*w^3 - 15*w^2 - 12*w + 8]', '[2575, 515, w^5 - 2*w^4 - 2*w^3 + 8*w^2 - w - 6]', '[2575, 515, -2*w^5 + 4*w^4 + 8*w^3 - 13*w^2 - 7*w + 6]', '[2575, 515, -w^5 + w^4 + 5*w^3 - 5*w^2 - 8*w + 4]', '[2575, 515, -w^3 - 3]', '[2575, 515, -3*w^5 - w^4 + 14*w^3 + 3*w^2 - 12*w + 1]', '[2575, 515, 3*w^5 - w^4 - 15*w^3 + 3*w^2 + 14*w + 1]', '[2575, 515, -w^5 + 4*w^3 - 2*w^2 + w + 3]', '[2575, 515, 3*w^4 - 3*w^3 - 11*w^2 + 7*w + 6]', '[2575, 515, -3*w^5 + 4*w^4 + 14*w^3 - 14*w^2 - 13*w + 5]', '[2575, 515, -w^4 + 3*w^3 + 5*w^2 - 8*w - 6]', '[2575, 515, -3*w^5 + 3*w^4 + 13*w^3 - 9*w^2 - 11*w + 3]', '[2575, 515, w^5 + 2*w^4 - 6*w^3 - 9*w^2 + 6*w + 7]', '[2575, 515, 2*w^5 - 3*w^4 - 11*w^3 + 9*w^2 + 15*w - 1]', '[2575, 515, -w^5 + w^4 + 3*w^3 - 6*w^2 + w + 8]', '[2677, 2677, -3*w^5 + 2*w^4 + 14*w^3 - 6*w^2 - 12*w + 1]', '[2677, 2677, w^5 - 3*w^4 - 4*w^3 + 9*w^2 + 4*w - 2]', '[2677, 2677, -2*w^5 + w^4 + 8*w^3 - 5*w^2 - 4*w + 5]', '[2677, 2677, 2*w^5 - 2*w^4 - 10*w^3 + 7*w^2 + 9*w - 3]', '[2677, 2677, -w^5 + 3*w^4 + 5*w^3 - 10*w^2 - 7*w + 3]', '[2677, 2677, -w^5 + w^4 + 3*w^3 - 5*w^2 + 2*w + 4]', '[2729, 2729, w^5 - 6*w^3 + 9*w - 5]', '[2729, 2729, -3*w^4 + 2*w^3 + 12*w^2 - 7*w - 10]', '[2729, 2729, w^4 + 3*w^3 - 4*w^2 - 7*w - 2]', '[2729, 2729, -3*w^5 + 2*w^4 + 11*w^3 - 6*w^2 - 4*w + 5]', '[2729, 2729, w^5 + 2*w^4 - 5*w^3 - 8*w^2 + 8*w + 4]', '[2729, 2729, -3*w^5 - 2*w^4 + 14*w^3 + 8*w^2 - 13*w - 5]', '[2731, 2731, w^5 + 2*w^4 - 5*w^3 - 9*w^2 + 6*w + 6]', '[2731, 2731, 3*w^3 - w^2 - 8*w + 1]', '[2731, 2731, -w^5 + 4*w^3 + 3*w^2 - 2*w - 5]', '[2731, 2731, -3*w^5 + 2*w^4 + 12*w^3 - 6*w^2 - 9*w + 2]', '[2731, 2731, 2*w^5 + w^4 - 11*w^3 - 3*w^2 + 13*w]', '[2731, 2731, w^5 - w^4 - 5*w^3 + 4*w^2 + 8*w - 3]', '[2781, 309, 3*w^5 + w^4 - 13*w^3 - 4*w^2 + 11*w - 1]', '[2781, 309, 3*w^5 - w^4 - 13*w^3 + 3*w^2 + 12*w - 4]', '[2781, 309, -w^4 - 2*w^3 + 7*w^2 + 4*w - 9]', '[2781, 309, -w^5 + 2*w^3 + 2*w^2 + 2*w - 5]', '[2781, 309, 3*w^5 - 11*w^3 + 5*w - 2]', '[2781, 309, 2*w^5 - w^4 - 7*w^3 + 4*w^2 + 3*w - 5]', '[2781, 309, 2*w^5 + w^4 - 10*w^3 - 5*w^2 + 12*w + 1]', '[2781, 309, 3*w^5 - w^4 - 14*w^3 + w^2 + 16*w]', '[2781, 309, -w^5 + w^4 + 3*w^3 - 2*w^2 - w - 4]', '[2781, 309, -w^5 + 4*w^3 + 3*w^2 - 4*w - 8]', '[2781, 309, 3*w^5 - 2*w^4 - 16*w^3 + 8*w^2 + 20*w - 3]', '[2781, 309, w^5 - w^4 - 6*w^3 + 5*w^2 + 10*w - 2]', '[2809, 53, w^4 + w^3 - 7*w^2 - 3*w + 8]', '[2809, 53, 3*w^5 - 16*w^3 + 19*w]', '[2809, 53, w^5 - 2*w^4 - 3*w^3 + 8*w^2 - 2*w - 6]', '[2809, 53, -w^5 + 7*w^3 - 2*w^2 - 12*w + 4]', '[2809, 53, w^5 - w^4 - w^3 + 2*w^2 - 6*w + 1]', '[2809, 53, -3*w^5 + 2*w^4 + 14*w^3 - 5*w^2 - 13*w + 1]', '[2809, 53, -3*w^5 + 2*w^4 + 12*w^3 - 5*w^2 - 10*w + 1]', '[2809, 53, 2*w^4 + w^3 - 7*w^2 - 5*w + 4]', '[2809, 53, 2*w^5 + 2*w^4 - 9*w^3 - 9*w^2 + 8*w + 5]', '[2809, 53, w^5 - 2*w^4 - 6*w^3 + 7*w^2 + 7*w - 1]', '[2809, 53, -3*w^5 + 14*w^3 + w^2 - 15*w - 1]', '[2809, 53, 2*w^5 - 7*w^3 - 3*w^2 + 3*w + 4]', '[2809, 53, 3*w^5 - 2*w^4 - 13*w^3 + 8*w^2 + 10*w - 4]', '[2809, 53, w^5 - 5*w^3 + w^2 + 8*w - 2]', '[2809, 53, 2*w^4 - w^3 - 5*w^2 + w - 2]', '[2809, 2809, -3*w^5 + w^4 + 13*w^3 - 4*w^2 - 10*w + 2]', '[2809, 2809, -w^5 + 2*w^4 + 6*w^3 - 7*w^2 - 10*w + 4]', '[2809, 2809, 3*w^5 - 2*w^4 - 13*w^3 + 5*w^2 + 10*w - 1]', '[2809, 2809, 2*w^4 - w^3 - 5*w^2 + 2*w - 2]', '[2809, 2809, w^5 - 2*w^4 - 6*w^3 + 8*w^2 + 7*w - 3]', '[2809, 2809, -w^4 + w^3 + 5*w^2 - 5*w - 5]', '[2833, 2833, 3*w^5 - 3*w^4 - 15*w^3 + 9*w^2 + 16*w + 1]', '[2833, 2833, 2*w^5 - 3*w^4 - 10*w^3 + 9*w^2 + 10*w - 4]', '[2833, 2833, w^5 + w^4 - 8*w^3 - 2*w^2 + 15*w - 2]', '[2833, 2833, -2*w^5 - w^4 + 10*w^3 + 5*w^2 - 10*w - 7]', '[2833, 2833, -w^5 + 2*w^3 - w^2 + 5*w + 2]', '[2833, 2833, 2*w^5 + w^4 - 7*w^3 - 7*w^2 + 2*w + 6]', '[2861, 2861, 2*w^5 - 4*w^4 - 11*w^3 + 14*w^2 + 15*w - 5]', '[2861, 2861, 3*w^5 - 3*w^4 - 12*w^3 + 13*w^2 + 7*w - 8]', '[2861, 2861, 4*w^5 - 2*w^4 - 20*w^3 + 5*w^2 + 20*w - 1]', '[2861, 2861, 2*w^5 - 3*w^4 - 6*w^3 + 12*w^2 - 2*w - 9]', '[2861, 2861, -3*w^5 + 3*w^4 + 14*w^3 - 9*w^2 - 16*w + 1]', '[2861, 2861, 5*w^5 - 3*w^4 - 22*w^3 + 9*w^2 + 17*w - 2]', '[2887, 2887, -3*w^5 + w^4 + 12*w^3 - w^2 - 10*w - 5]', '[2887, 2887, -3*w^5 - w^4 + 13*w^3 + 6*w^2 - 11*w - 8]', '[2887, 2887, w^5 - 3*w^4 - 2*w^3 + 9*w^2 - 5*w - 3]', '[2887, 2887, 3*w^5 - 16*w^3 + 20*w - 4]', '[2887, 2887, -4*w^5 + 3*w^4 + 20*w^3 - 12*w^2 - 22*w + 6]', '[2887, 2887, 2*w^5 + 2*w^4 - 8*w^3 - 7*w^2 + 6*w]', '[2939, 2939, w^5 - 3*w^3 - 6]', '[2939, 2939, 4*w^5 - 2*w^4 - 16*w^3 + 6*w^2 + 9*w - 1]', '[2939, 2939, -2*w^4 + w^3 + 7*w^2 - 3*w - 8]', '[2939, 2939, -w^5 - w^4 + 8*w^3 + 3*w^2 - 15*w - 3]', '[2939, 2939, -3*w^5 + 2*w^4 + 14*w^3 - 5*w^2 - 17*w + 1]', '[2939, 2939, w^5 - 6*w^3 + w^2 + 7*w - 7]', '[2963, 2963, -4*w^5 + 2*w^4 + 20*w^3 - 5*w^2 - 23*w + 1]', '[2963, 2963, -w^5 + w^4 + 3*w^3 - 3*w - 5]', '[2963, 2963, w^5 + 2*w^4 - 4*w^3 - 6*w^2 + 4*w - 1]', '[2963, 2963, -3*w^5 + 3*w^4 + 15*w^3 - 13*w^2 - 16*w + 8]', '[2963, 2963, -2*w^5 + 3*w^4 + 6*w^3 - 9*w^2 + 2*w + 3]', '[2963, 2963, -3*w^5 - w^4 + 12*w^3 + 5*w^2 - 6*w - 4]', '[3029, 3029, -2*w^4 - w^3 + 6*w^2 + 6*w - 1]', '[3029, 3029, -w^5 - 3*w^4 + 7*w^3 + 9*w^2 - 7*w - 4]', '[3029, 3029, w^5 + 3*w^4 - 5*w^3 - 11*w^2 + w + 3]', '[3029, 3029, 2*w^5 - w^4 - 6*w^3 + 2*w^2 - 2]', '[3029, 3029, -w^5 - 2*w^4 + 5*w^3 + 5*w^2 - 3*w + 1]', '[3029, 3029, w^5 + w^4 - 4*w^3 - 7*w^2 + 3*w + 5]', '[3041, 3041, -2*w^5 - w^4 + 11*w^3 + 3*w^2 - 16*w + 1]', '[3041, 3041, -3*w^5 + 3*w^4 + 14*w^3 - 12*w^2 - 16*w + 9]', '[3041, 3041, 4*w^5 - w^4 - 20*w^3 + 4*w^2 + 23*w - 4]', '[3041, 3041, -4*w^5 + 21*w^3 + w^2 - 24*w - 3]', '[3041, 3041, -w^5 + 4*w^3 - w^2 - 6*w + 1]', '[3041, 3041, w^5 - w^4 - 2*w^3 + 5]', '[3067, 3067, -2*w^5 + w^4 + 12*w^3 - 2*w^2 - 15*w + 1]', '[3067, 3067, 2*w^5 - w^4 - 11*w^3 + w^2 + 12*w + 6]', '[3067, 3067, -3*w^5 + 5*w^4 + 12*w^3 - 16*w^2 - 8*w + 4]', '[3067, 3067, 3*w^5 - 5*w^4 - 14*w^3 + 18*w^2 + 14*w - 9]', '[3067, 3067, 2*w^5 - 3*w^4 - 7*w^3 + 13*w^2 + 4*w - 10]', '[3067, 3067, -w^5 + w^4 + 7*w^3 - w^2 - 13*w - 4]', '[3119, 3119, -2*w^5 - 3*w^4 + 9*w^3 + 12*w^2 - 8*w - 4]', '[3119, 3119, 2*w^5 + w^4 - 7*w^3 - 4*w^2 + 2]', '[3119, 3119, -5*w^5 + w^4 + 24*w^3 - 3*w^2 - 24*w + 2]', '[3119, 3119, -w^5 + 6*w^3 - 4*w^2 - 8*w + 7]', '[3119, 3119, 5*w^5 - 3*w^4 - 24*w^3 + 9*w^2 + 24*w - 4]', '[3119, 3119, 2*w^5 + 2*w^4 - 10*w^3 - 8*w^2 + 13*w + 3]', '[3121, 3121, -3*w^5 + w^4 + 13*w^3 - w^2 - 10*w - 6]', '[3121, 3121, -w^5 + 2*w^4 + 6*w^3 - 8*w^2 - 10*w + 1]', '[3121, 3121, 3*w^5 - 3*w^4 - 13*w^3 + 10*w^2 + 13*w - 4]', '[3121, 3121, w^5 + w^4 - 6*w^3 - 5*w^2 + 10*w]', '[3121, 3121, -2*w^5 + 5*w^4 + 7*w^3 - 17*w^2 - 4*w + 6]', '[3121, 3121, -3*w^5 + w^4 + 13*w^3 - 4*w^2 - 11*w + 7]', '[3251, 3251, -2*w^5 + 2*w^4 + 8*w^3 - 9*w^2 - 2*w + 5]', '[3251, 3251, w^5 + 2*w^4 - 6*w^3 - 8*w^2 + 10*w + 1]', '[3251, 3251, -w^5 + 6*w^3 - 2*w^2 - 4*w + 4]', '[3251, 3251, -3*w^4 + 8*w^2 + 2*w - 1]', '[3251, 3251, 4*w^5 - 4*w^4 - 18*w^3 + 12*w^2 + 15*w - 1]', '[3251, 3251, 2*w^5 + 2*w^4 - 9*w^3 - 7*w^2 + 8*w - 1]', '[3275, 655, 3*w^4 + w^3 - 9*w^2 - 3*w + 2]', '[3275, 655, 2*w^5 - w^4 - 7*w^3 + 5*w^2 + 2*w - 4]', '[3275, 655, -2*w^4 + 2*w^3 + 8*w^2 - 3*w - 4]', '[3275, 655, -w^5 + 3*w^4 + 2*w^3 - 11*w^2 + w + 7]', '[3275, 655, -w^5 + 5*w^3 - 3*w^2 - 2*w + 4]', '[3275, 655, 2*w^5 - w^4 - 11*w^3 + 4*w^2 + 11*w - 1]', '[3275, 655, -2*w^4 + 2*w^3 + 9*w^2 - 4*w - 8]', '[3275, 655, -4*w^5 + 4*w^4 + 19*w^3 - 15*w^2 - 18*w + 9]', '[3275, 655, -2*w^5 + 4*w^4 + 9*w^3 - 14*w^2 - 10*w + 7]', '[3275, 655, -3*w^4 + 2*w^3 + 12*w^2 - 4*w - 6]', '[3275, 655, -3*w^5 + w^4 + 14*w^3 - 2*w^2 - 11*w]', '[3275, 655, 3*w^5 - 12*w^3 + 5*w - 2]', '[3275, 655, 2*w^4 - 3*w^3 - 8*w^2 + 7*w + 4]', '[3275, 655, w^5 - 4*w^4 - 3*w^3 + 13*w^2 + w - 3]', '[3275, 655, 3*w^5 - 4*w^4 - 12*w^3 + 13*w^2 + 6*w - 3]', '[3275, 655, -3*w^5 + 3*w^4 + 15*w^3 - 8*w^2 - 18*w - 1]', '[3275, 655, -w^4 + 2*w^3 + 6*w^2 - 7*w - 7]', '[3275, 655, -w^5 - 2*w^4 + 7*w^3 + 8*w^2 - 9*w - 6]', '[3301, 3301, w^5 - 6*w^3 + 2*w^2 + 5*w - 5]', '[3301, 3301, 3*w^5 - 5*w^4 - 11*w^3 + 17*w^2 + 7*w - 7]', '[3301, 3301, -3*w^5 + 13*w^3 + w^2 - 8*w - 3]', '[3301, 3301, -2*w^5 + w^4 + 11*w^3 - w^2 - 15*w - 1]', '[3301, 3301, -2*w^5 + 4*w^4 + 7*w^3 - 13*w^2 - 2*w + 6]', '[3301, 3301, 3*w^5 - 4*w^4 - 14*w^3 + 15*w^2 + 14*w - 6]', '[3329, 3329, 4*w^5 - 19*w^3 + 20*w - 1]', '[3329, 3329, -2*w^5 - w^4 + 7*w^3 + 7*w^2 - 4*w - 6]', '[3329, 3329, -w^5 + w^4 + 8*w^3 - 6*w^2 - 15*w + 6]', '[3329, 3329, -w^4 + 3*w^3 - 9*w + 5]', '[3329, 3329, -4*w^5 + w^4 + 16*w^3 - 11*w - 3]', '[3329, 3329, 3*w^5 - 15*w^3 - w^2 + 19*w + 1]', '[3392, 106, 2*w^4 - 2*w^3 - 6*w^2 + 4*w - 2]', '[3392, 106, 2*w^4 - 2*w^3 - 8*w^2 + 6*w + 8]', '[3392, 106, 2*w^5 - 2*w^4 - 8*w^3 + 8*w^2 + 6*w - 2]', '[3392, 106, -2*w^3 + 4*w + 4]', '[3392, 106, -2*w^5 + 10*w^3 + 2*w^2 - 10*w]', '[3392, 106, 2*w^4 - 8*w^2 - 2*w + 8]', '[3407, 3407, -w^5 - w^4 + 4*w^3 + 6*w^2 - 6*w - 6]', '[3407, 3407, -w^5 + 3*w^4 + 7*w^3 - 13*w^2 - 11*w + 7]', '[3407, 3407, 2*w^5 - w^4 - 12*w^3 + 3*w^2 + 19*w - 2]', '[3407, 3407, 4*w^5 - 3*w^4 - 16*w^3 + 11*w^2 + 12*w - 5]', '[3407, 3407, -3*w^5 + 14*w^3 + 4*w^2 - 12*w - 5]', '[3407, 3407, -w^5 - 3*w^4 + 8*w^3 + 9*w^2 - 12*w]', '[3433, 3433, w^5 - 6*w^3 - 4*w^2 + 10*w + 6]', '[3433, 3433, w^5 - 5*w^4 - 3*w^3 + 17*w^2 - 7]', '[3433, 3433, -4*w^5 + 5*w^4 + 18*w^3 - 17*w^2 - 18*w + 6]', '[3433, 3433, -3*w^5 + w^4 + 16*w^3 - 5*w^2 - 16*w + 5]', '[3433, 3433, 3*w^5 - w^4 - 13*w^3 + 2*w^2 + 7*w + 2]', '[3433, 3433, -2*w^5 + 6*w^3 - w^2 + w + 4]', '[3457, 3457, 3*w^5 - 2*w^4 - 15*w^3 + 4*w^2 + 15*w + 1]', '[3457, 3457, w^5 + 3*w^4 - 5*w^3 - 13*w^2 + 6*w + 5]', '[3457, 3457, -4*w^5 + 5*w^4 + 18*w^3 - 17*w^2 - 18*w + 8]', '[3457, 3457, -2*w^5 + 4*w^4 + 10*w^3 - 14*w^2 - 11*w + 5]', '[3457, 3457, -2*w^5 + 4*w^4 + 7*w^3 - 16*w^2 - w + 11]', '[3457, 3457, -2*w^5 + 2*w^4 + 9*w^3 - 8*w^2 - 5*w + 5]', '[3511, 3511, -4*w^5 + 2*w^4 + 17*w^3 - 6*w^2 - 15*w + 4]', '[3511, 3511, -w^5 + w^4 + 6*w^3 - 5*w^2 - 11*w + 3]', '[3511, 3511, -2*w^5 - w^4 + 12*w^3 + 2*w^2 - 16*w]', '[3511, 3511, 2*w^5 - 8*w^3 - 4*w^2 + 5*w + 8]', '[3511, 3511, 2*w^5 + 2*w^4 - 10*w^3 - 9*w^2 + 12*w + 4]', '[3511, 3511, -3*w^5 + 15*w^3 + 2*w^2 - 15*w - 7]', '[3537, 393, -w^4 + w^3 + w^2 - 5*w + 1]', '[3537, 393, -w^5 + 6*w^3 - 2*w^2 - 9*w + 2]', '[3537, 393, 2*w^5 - 9*w^3 - w^2 + 10*w - 1]', '[3537, 393, 3*w^5 - 2*w^4 - 13*w^3 + 5*w^2 + 14*w - 3]', '[3537, 393, -w^5 - w^4 + 3*w^3 + 6*w^2 - 7]', '[3537, 393, -2*w^4 - w^3 + 11*w^2 + 2*w - 12]', '[3537, 393, -3*w^5 - 2*w^4 + 14*w^3 + 8*w^2 - 13*w - 1]', '[3537, 393, -3*w^5 + 14*w^3 + w^2 - 14*w + 1]', '[3537, 393, 3*w^5 - 2*w^4 - 10*w^3 + 5*w^2 + 2*w + 2]', '[3537, 393, 2*w^5 - w^4 - 7*w^3 + w^2 + 3*w + 4]', '[3537, 393, -w^5 + 7*w^3 - w^2 - 12*w]', '[3537, 393, -3*w^5 + w^4 + 17*w^3 - 4*w^2 - 22*w]', '[3613, 3613, -4*w^5 + 3*w^4 + 19*w^3 - 9*w^2 - 18*w + 1]', '[3613, 3613, -2*w^5 - w^4 + 8*w^3 + 6*w^2 - 7*w - 7]', '[3613, 3613, 2*w^5 - 2*w^4 - 7*w^3 + 5*w^2 - 2]', '[3613, 3613, -4*w^5 + 3*w^4 + 19*w^3 - 9*w^2 - 21*w + 5]', '[3613, 3613, -w^5 + 4*w^3 + 4*w^2 - 5*w - 9]', '[3613, 3613, 2*w^5 + 2*w^4 - 9*w^3 - 10*w^2 + 8*w + 6]', '[3691, 3691, -4*w^5 + 3*w^4 + 17*w^3 - 9*w^2 - 14*w + 3]', '[3691, 3691, 3*w^4 - 2*w^3 - 13*w^2 + 6*w + 8]', '[3691, 3691, 2*w^5 - 2*w^4 - 11*w^3 + 8*w^2 + 16*w - 6]', '[3691, 3691, 3*w^5 - 15*w^3 + w^2 + 15*w - 2]', '[3691, 3691, w^5 - 3*w^4 - 4*w^3 + 11*w^2 + 6*w - 5]', '[3691, 3691, -w^5 + 4*w^4 + 4*w^3 - 13*w^2 - 3*w + 5]', '[3719, 3719, w^4 - 7*w^2 + 3*w + 8]', '[3719, 3719, 2*w^5 - 2*w^4 - 6*w^3 + 4*w^2 + 5]', '[3719, 3719, w^5 - 2*w^4 - 6*w^3 + 9*w^2 + 5*w - 7]', '[3719, 3719, -w^5 - 3*w^4 + 5*w^3 + 9*w^2 - 5*w]', '[3719, 3719, -3*w^5 + 3*w^4 + 16*w^3 - 12*w^2 - 18*w + 6]', '[3719, 3719, -2*w^5 + 12*w^3 - 18*w - 3]', '[3769, 3769, 2*w^5 - 2*w^4 - 11*w^3 + 7*w^2 + 11*w - 1]', '[3769, 3769, -w^5 + 4*w^4 + 5*w^3 - 14*w^2 - 8*w + 7]', '[3769, 3769, -3*w^5 + w^4 + 14*w^3 - 4*w^2 - 12*w - 1]', '[3769, 3769, 4*w^5 - 2*w^4 - 19*w^3 + 5*w^2 + 17*w - 1]', '[3769, 3769, -3*w^5 + 2*w^4 + 12*w^3 - 9*w^2 - 7*w + 6]', '[3769, 3769, -w^5 + 2*w^4 + 2*w^3 - 9*w^2 + 5*w + 8]', '[3797, 3797, -3*w^4 - 2*w^3 + 11*w^2 + 7*w - 2]', '[3797, 3797, -4*w^5 + 3*w^4 + 18*w^3 - 12*w^2 - 17*w + 6]', '[3797, 3797, 3*w^5 + w^4 - 14*w^3 - 3*w^2 + 13*w]', '[3797, 3797, -2*w^5 + 11*w^3 - 3*w^2 - 12*w + 8]', '[3797, 3797, -w^5 - 2*w^4 + 7*w^3 + 9*w^2 - 9*w - 9]', '[3797, 3797, -3*w^4 + 2*w^3 + 12*w^2 - 3*w - 5]', '[3821, 3821, 5*w^5 - 4*w^4 - 22*w^3 + 14*w^2 + 19*w - 8]', '[3821, 3821, 2*w^5 - w^4 - 9*w^3 + 3*w^2 + 7*w + 4]', '[3821, 3821, -2*w^5 + 2*w^4 + 8*w^3 - 3*w^2 - 6*w - 2]', '[3821, 3821, 3*w^5 + 2*w^4 - 15*w^3 - 9*w^2 + 16*w + 7]', '[3821, 3821, -5*w^5 + 3*w^4 + 22*w^3 - 9*w^2 - 19*w + 1]', '[3821, 3821, -2*w^5 + 2*w^4 + 5*w^3 - 5*w^2 + 2*w + 2]', '[3823, 3823, -4*w^5 + 3*w^4 + 19*w^3 - 9*w^2 - 20*w + 5]', '[3823, 3823, -3*w^5 + 3*w^4 + 14*w^3 - 12*w^2 - 14*w + 6]', '[3823, 3823, w^5 - 2*w^4 - 2*w^3 + 10*w^2 - 2*w - 8]', '[3823, 3823, -3*w^5 + 2*w^4 + 15*w^3 - 9*w^2 - 15*w + 4]', '[3823, 3823, w^5 - 5*w^4 - 3*w^3 + 18*w^2 + 2*w - 9]', '[3823, 3823, 2*w^5 - w^4 - 10*w^3 + 3*w^2 + 12*w - 6]', '[3847, 3847, -w^5 + 3*w^4 + 6*w^3 - 12*w^2 - 11*w + 9]', '[3847, 3847, 3*w^5 - 4*w^4 - 13*w^3 + 12*w^2 + 13*w - 4]', '[3847, 3847, -4*w^5 + w^4 + 19*w^3 - 5*w^2 - 19*w + 7]', '[3847, 3847, w^5 - w^4 - 7*w^3 + 2*w^2 + 12*w - 2]', '[3847, 3847, -4*w^5 + w^4 + 18*w^3 - 15*w - 2]', '[3847, 3847, -3*w^4 + 4*w^3 + 10*w^2 - 9*w - 5]', '[3925, 785, -4*w^5 + 2*w^4 + 16*w^3 - 4*w^2 - 11*w]', '[3925, 785, -2*w^5 + 3*w^4 + 9*w^3 - 11*w^2 - 8*w + 2]', '[3925, 785, -w^4 + 3*w^3 + 3*w^2 - 9*w - 4]', '[3925, 785, -w^4 + 2*w^3 - 6*w + 6]', '[3925, 785, -w^5 + 4*w^3 - 5*w + 4]', '[3925, 785, w^5 - w^4 - 6*w^3 + 2*w^2 + 9*w - 2]', '[3925, 785, 2*w^5 - 9*w^3 + 6*w + 3]', '[3925, 785, 2*w^5 - 2*w^4 - 7*w^3 + 5*w^2 + 4*w + 3]', '[3925, 785, 2*w^5 - 10*w^3 - w^2 + 14*w + 2]', '[3925, 785, -2*w^5 + 8*w^3 + w^2 - 5*w - 5]', '[3925, 785, -w^5 + w^4 + 3*w^3 - 2*w^2 - 2*w - 3]', '[3925, 785, -3*w^5 - w^4 + 15*w^3 + 3*w^2 - 17*w - 2]', '[3925, 785, -w^5 + w^4 + 5*w^3 - 6*w^2 - 6*w + 3]', '[3925, 785, -w^5 - 2*w^4 + 3*w^3 + 10*w^2 - w - 6]', '[3925, 785, 2*w^5 - 3*w^4 - 8*w^3 + 10*w^2 + 5*w - 7]', '[3925, 785, -w^5 - 2*w^4 + 4*w^3 + 9*w^2 - 2*w - 9]', '[3925, 785, -4*w^5 + 19*w^3 - 19*w]', '[3925, 785, w^5 - 5*w^3 + w^2 + 3*w - 5]', '[4003, 4003, w^5 - 2*w^4 - 3*w^3 + 8*w^2 - 3*w - 4]', '[4003, 4003, w^5 + 2*w^4 - 8*w^3 - 8*w^2 + 12*w + 4]', '[4003, 4003, 2*w^5 - 2*w^4 - 7*w^3 + 4*w^2 + w + 3]', '[4003, 4003, -2*w^5 + 2*w^4 + 12*w^3 - 9*w^2 - 16*w + 7]', '[4003, 4003, -4*w^5 + 2*w^4 + 18*w^3 - 8*w^2 - 15*w + 6]', '[4003, 4003, 4*w^5 - w^4 - 16*w^3 + 2*w^2 + 10*w - 1]', '[4043, 4043, -3*w^5 - w^4 + 12*w^3 + 7*w^2 - 9*w - 4]', '[4043, 4043, 2*w^5 - 7*w^3 - 2*w^2 + 4*w - 2]', '[4043, 4043, -3*w^5 + 13*w^3 + 3*w^2 - 11*w]', '[4043, 4043, -4*w^5 + w^4 + 16*w^3 - 12*w - 1]', '[4043, 4043, 2*w^5 + w^4 - 9*w^3 - 4*w^2 + 6*w + 4]', '[4043, 4043, -w^4 + w^3 + 2*w^2 + 3]', '[4057, 4057, 5*w^5 - 2*w^4 - 23*w^3 + 5*w^2 + 22*w]', '[4057, 4057, 2*w^5 - 3*w^4 - 7*w^3 + 9*w^2 + 6*w - 3]', '[4057, 4057, -2*w^5 - 2*w^4 + 12*w^3 + 8*w^2 - 18*w - 3]', '[4057, 4057, -2*w^5 + 13*w^3 - 19*w + 1]', '[4057, 4057, -4*w^5 + 3*w^4 + 18*w^3 - 9*w^2 - 19*w + 2]', '[4057, 4057, 3*w^5 + w^4 - 14*w^3 - 2*w^2 + 12*w - 2]', '[4069, 4069, -3*w^5 + 12*w^3 + 4*w^2 - 7*w - 4]', '[4069, 4069, -2*w^5 + w^4 + 7*w^3 - w^2 - 2*w + 2]', '[4069, 4069, w^4 + 2*w^3 - 6*w^2 - 5*w + 1]', '[4069, 4069, w^4 - 3*w^2 - 4*w + 1]', '[4069, 4069, w^5 - w^3 - 3*w^2 - 4*w + 2]', '[4069, 4069, 3*w^5 + w^4 - 15*w^3 - 3*w^2 + 14*w]', '[4096, 4, -4]', '[4133, 4133, -3*w^5 + 4*w^4 + 11*w^3 - 14*w^2 - 5*w + 9]', '[4133, 4133, -w^5 + 3*w^4 + w^3 - 12*w^2 + 6*w + 9]', '[4133, 4133, -2*w^4 + w^3 + 6*w^2 + w + 1]', '[4133, 4133, 4*w^4 - w^3 - 15*w^2 + 9]', '[4133, 4133, 2*w^5 + 2*w^4 - 10*w^3 - 7*w^2 + 8*w + 5]', '[4133, 4133, -2*w^5 + w^4 + 9*w^3 - w^2 - 10*w + 1]', '[4159, 4159, -w^4 - 2*w^3 + 7*w^2 + 6*w - 5]', '[4159, 4159, w^5 - 4*w^4 - 2*w^3 + 16*w^2 - 2*w - 11]', '[4159, 4159, 2*w^4 + w^3 - 7*w^2 - 2*w - 1]', '[4159, 4159, -3*w^5 - w^4 + 13*w^3 + 6*w^2 - 11*w - 7]', '[4159, 4159, 3*w^4 - 2*w^3 - 11*w^2 + 2*w + 7]', '[4159, 4159, -w^5 + 2*w^4 + 3*w^3 - 7*w^2 + 2*w + 6]', '[4187, 4187, w^5 + 4*w^4 - 6*w^3 - 14*w^2 + 10*w + 4]', '[4187, 4187, -2*w^5 - 2*w^4 + 14*w^3 + 5*w^2 - 17*w - 3]', '[4187, 4187, 4*w^5 - 2*w^4 - 17*w^3 + 5*w^2 + 14*w + 1]', '[4187, 4187, -w^4 + 4*w^3 - 9*w + 1]', '[4187, 4187, -w^5 - 3*w^4 + 7*w^3 + 10*w^2 - 10*w - 4]', '[4187, 4187, -w^5 - 5*w^4 + 8*w^3 + 17*w^2 - 13*w - 3]', '[4187, 4187, -4*w^5 + w^4 + 20*w^3 - 3*w^2 - 20*w - 2]', '[4187, 4187, w^4 + 3*w^3 - 4*w^2 - 9*w + 1]', '[4187, 4187, 2*w^5 + 2*w^4 - 10*w^3 - 9*w^2 + 12*w + 2]', '[4187, 4187, -2*w^5 + 7*w^3 - 3*w + 4]', '[4187, 4187, -3*w^5 + 15*w^3 - w^2 - 16*w + 4]', '[4187, 4187, w^5 - 3*w^4 - 3*w^3 + 9*w^2 - 3*w - 4]', '[4187, 4187, -2*w^4 + 2*w^3 + 9*w^2 - 4*w - 7]', '[4187, 4187, -2*w^5 + 14*w^3 - 2*w^2 - 19*w]', '[4187, 4187, -3*w^5 + 3*w^4 + 14*w^3 - 11*w^2 - 15*w + 3]', '[4187, 4187, -2*w^5 + w^4 + 6*w^3 - w^2 + 4*w - 2]', '[4187, 4187, -3*w^5 + w^4 + 17*w^3 - 7*w^2 - 20*w + 7]', '[4187, 4187, -3*w^4 + 2*w^3 + 10*w^2 - 6*w - 6]', '[4187, 4187, 2*w^5 + 3*w^4 - 8*w^3 - 11*w^2 + 5*w + 1]', '[4187, 4187, -5*w^5 + 3*w^4 + 25*w^3 - 11*w^2 - 27*w + 3]', '[4187, 4187, w^5 - 6*w^3 + 11*w - 2]', '[4187, 4187, -w^5 - 3*w^4 + 5*w^3 + 9*w^2 - 2*w]', '[4187, 4187, 3*w^5 - 13*w^3 - 4*w^2 + 7*w + 4]', '[4187, 4187, -4*w^5 + 3*w^4 + 18*w^3 - 7*w^2 - 19*w + 2]', '[4187, 4187, -4*w^5 + 5*w^4 + 18*w^3 - 18*w^2 - 20*w + 12]', '[4187, 4187, 4*w^5 - 4*w^4 - 19*w^3 + 12*w^2 + 21*w - 3]', '[4187, 4187, -w^5 - 2*w^4 + 4*w^3 + 9*w^2 - 4*w - 7]', '[4187, 4187, w^5 - w^4 - 4*w^3 + 3*w + 4]', '[4187, 4187, 6*w^5 - 6*w^4 - 27*w^3 + 22*w^2 + 26*w - 14]', '[4187, 4187, w^5 - 3*w^3 - 2*w^2 + w + 7]', '[4187, 4187, -6*w^5 + 4*w^4 + 28*w^3 - 13*w^2 - 29*w + 6]', '[4187, 4187, 3*w^5 - 15*w^3 + w^2 + 15*w - 3]', '[4187, 4187, 2*w^5 - 10*w^3 - 3*w^2 + 12*w + 2]', '[4187, 4187, 6*w^5 - 4*w^4 - 30*w^3 + 14*w^2 + 35*w - 7]', '[4187, 4187, -w^3 + 6*w - 1]', '[4187, 4187, -3*w^5 + 4*w^4 + 13*w^3 - 15*w^2 - 11*w + 6]', '[4211, 4211, w^5 + w^4 - 3*w^3 - 2*w^2 - 3*w]', '[4211, 4211, 3*w^5 - 3*w^4 - 13*w^3 + 11*w^2 + 8*w - 7]', '[4211, 4211, 2*w^5 - 4*w^4 - 10*w^3 + 13*w^2 + 11*w - 2]', '[4211, 4211, 3*w^5 - 4*w^4 - 14*w^3 + 12*w^2 + 14*w - 4]', '[4211, 4211, 3*w^5 - 12*w^3 - 2*w^2 + 8*w + 5]', '[4211, 4211, -4*w^5 + 3*w^4 + 18*w^3 - 11*w^2 - 14*w + 4]', '[4225, 65, -w^5 + 4*w^3 + w^2 - 3*w + 3]', '[4225, 65, w^5 - 5*w^3 + 6*w + 4]', '[4225, 65, w^3 - w^2 - 3*w + 6]', '[4239, 471, -w^5 + 2*w^4 + 4*w^3 - 4*w^2 - 5*w - 4]', '[4239, 471, 3*w^4 - w^3 - 9*w^2 + w - 1]', '[4239, 471, 3*w^5 - 2*w^4 - 12*w^3 + 8*w^2 + 7*w - 3]', '[4239, 471, 3*w^5 - 2*w^4 - 14*w^3 + 9*w^2 + 12*w - 5]', '[4239, 471, 2*w^5 - 2*w^4 - 11*w^3 + 7*w^2 + 12*w]', '[4239, 471, w^5 - 3*w^4 - 5*w^3 + 10*w^2 + 4*w - 1]', '[4239, 471, -3*w^5 + 3*w^4 + 14*w^3 - 8*w^2 - 14*w + 1]', '[4239, 471, -2*w^5 + 3*w^4 + 9*w^3 - 8*w^2 - 7*w + 1]', '[4239, 471, w^5 + 2*w^4 - 3*w^3 - 7*w^2 - 2*w + 4]', '[4239, 471, -w^5 + 3*w^4 + 5*w^3 - 10*w^2 - 8*w + 6]', '[4239, 471, -4*w^5 + 3*w^4 + 19*w^3 - 9*w^2 - 19*w + 4]', '[4239, 471, -3*w^5 + 2*w^4 + 14*w^3 - 5*w^2 - 12*w + 2]', '[4289, 4289, w^5 - w^4 - 8*w^3 + 4*w^2 + 13*w - 3]', '[4289, 4289, 3*w^4 - w^3 - 13*w^2 + 4*w + 7]', '[4289, 4289, 2*w^5 + 2*w^4 - 11*w^3 - 6*w^2 + 12*w + 2]', '[4289, 4289, w^5 - 2*w^4 - 5*w^3 + 7*w^2 + 9*w - 2]', '[4289, 4289, -4*w^5 + 3*w^4 + 16*w^3 - 10*w^2 - 11*w + 6]', '[4289, 4289, -2*w^5 + w^4 + 9*w^3 - 7*w - 6]', '[4381, 4381, 3*w^5 + w^4 - 14*w^3 - 2*w^2 + 10*w - 4]', '[4381, 4381, 5*w^5 + 2*w^4 - 21*w^3 - 8*w^2 + 11*w + 1]', '[4381, 4381, 2*w^5 - w^4 - 6*w^3 - 2*w^2 + w + 3]', '[4381, 4381, -2*w^4 + 2*w^3 + 2*w^2 + w + 3]', '[4381, 4381, -w^5 - 4*w^4 + 5*w^3 + 14*w^2 - 3*w - 3]', '[4381, 4381, w^5 + 2*w^4 - 7*w^3 - 8*w^2 + 7*w + 3]', '[4421, 4421, -w^5 + 2*w^4 + 3*w^3 - 10*w^2 + 2*w + 10]', '[4421, 4421, -3*w^5 + 2*w^4 + 14*w^3 - 5*w^2 - 11*w + 1]', '[4421, 4421, -2*w^5 + 4*w^4 + 9*w^3 - 13*w^2 - 11*w + 6]', '[4421, 4421, -3*w^5 + 2*w^4 + 16*w^3 - 7*w^2 - 17*w + 1]', '[4421, 4421, 4*w^4 - w^3 - 13*w^2 + w + 2]', '[4421, 4421, -3*w^5 + 2*w^4 + 11*w^3 - 8*w^2 - 4*w + 4]', '[4447, 4447, -2*w^5 + w^4 + 10*w^3 - 5*w^2 - 9*w + 8]', '[4447, 4447, w^5 - 2*w^4 - w^3 + 6*w^2 - 4*w - 5]', '[4447, 4447, -w^5 - 3*w^4 + 6*w^3 + 13*w^2 - 7*w - 6]', '[4447, 4447, -w^5 + 3*w^4 + 4*w^3 - 10*w^2 - 2*w + 7]', '[4447, 4447, 3*w^4 + w^3 - 12*w^2 - w + 5]', '[4447, 4447, -5*w^5 + 3*w^4 + 22*w^3 - 8*w^2 - 19*w + 2]', '[4523, 4523, 3*w^5 - w^4 - 12*w^3 + 4*w^2 + 5*w - 4]', '[4523, 4523, 4*w^5 - w^4 - 16*w^3 + w^2 + 11*w + 3]', '[4523, 4523, -3*w^5 + w^4 + 15*w^3 - 3*w^2 - 19*w + 3]', '[4523, 4523, -w^5 - w^4 + 7*w^3 + 4*w^2 - 8*w]', '[4523, 4523, -w^5 + w^4 + 8*w^3 - 6*w^2 - 14*w + 4]', '[4523, 4523, w^5 - 4*w^4 - 2*w^3 + 14*w^2 - w - 9]', '[4525, 905, -2*w^5 - 2*w^4 + 11*w^3 + 7*w^2 - 12*w - 5]', '[4525, 905, -w^5 + 3*w^4 + 3*w^3 - 9*w^2 - 4*w + 2]', '[4525, 905, -3*w^5 + w^4 + 14*w^3 - 4*w^2 - 12*w + 1]', '[4525, 905, 2*w^5 + 3*w^4 - 10*w^3 - 11*w^2 + 8*w + 5]', '[4525, 905, w^5 - 2*w^4 - 4*w^3 + 7*w^2 + 6*w - 1]', '[4525, 905, -w^5 + w^4 + 4*w^3 - 4*w^2 + 4]', '[4525, 905, -3*w^5 + 3*w^4 + 13*w^3 - 9*w^2 - 11*w + 4]', '[4525, 905, 3*w^5 - 3*w^4 - 11*w^3 + 10*w^2 + 6*w - 7]', '[4525, 905, 2*w^5 - 4*w^4 - 8*w^3 + 17*w^2 + 5*w - 11]', '[4525, 905, -w^5 + 5*w^3 + 3*w^2 - 4*w - 8]', '[4525, 905, -3*w^5 + w^4 + 17*w^3 - 2*w^2 - 21*w - 1]', '[4525, 905, w^4 - w^2 - w - 5]', '[4525, 905, -w^5 + 3*w^4 + 5*w^3 - 11*w^2 - 5*w + 3]', '[4525, 905, -3*w^4 + w^3 + 13*w^2 - 3*w - 6]', '[4525, 905, 3*w^5 - 4*w^4 - 10*w^3 + 14*w^2 + 2*w - 7]', '[4525, 905, w^4 + 2*w^3 - 3*w^2 - 7*w + 2]', '[4525, 905, -w^5 + w^4 + 6*w^3 - w^2 - 6*w - 4]', '[4525, 905, -w^5 + 8*w^3 - 13*w + 2]', '[4549, 4549, w^5 + 2*w^4 - 8*w^3 - 5*w^2 + 13*w - 2]', '[4549, 4549, 3*w^4 + w^3 - 11*w^2 - 3*w + 3]', '[4549, 4549, w^5 - 5*w^3 + 3*w^2 + 4*w - 7]', '[4549, 4549, -2*w^5 - w^4 + 9*w^3 + 6*w^2 - 10*w - 4]', '[4549, 4549, -2*w^5 - 2*w^4 + 11*w^3 + 9*w^2 - 15*w - 7]', '[4549, 4549, 3*w^4 + w^3 - 13*w^2 - 2*w + 9]', '[4563, 39, -w^4 + 2*w^3 + 6*w^2 - 6*w - 4]', '[4563, 39, -w^5 + 4*w^4 + 3*w^3 - 14*w^2 - w + 8]', '[4603, 4603, -4*w^5 + 4*w^4 + 16*w^3 - 12*w^2 - 11*w + 4]', '[4603, 4603, w^5 - w^4 - 7*w^3 + 5*w^2 + 12*w - 1]', '[4603, 4603, -4*w^5 + 19*w^3 - 17*w]', '[4603, 4603, -w^5 + w^4 + 8*w^3 - 3*w^2 - 15*w + 1]', '[4603, 4603, 3*w^5 - 14*w^3 + 14*w - 4]', '[4603, 4603, -3*w^5 + w^4 + 12*w^3 - w^2 - 8*w - 5]', '[4679, 4679, -2*w^5 + 2*w^4 + 11*w^3 - 8*w^2 - 11*w + 5]', '[4679, 4679, 2*w^5 + w^4 - 11*w^3 - 2*w^2 + 14*w - 3]', '[4679, 4679, w^5 - 8*w^3 - w^2 + 12*w + 1]', '[4679, 4679, -3*w^5 + w^4 + 12*w^3 - 5*w^2 - 7*w + 6]', '[4679, 4679, -3*w^5 + 4*w^4 + 11*w^3 - 15*w^2 - 6*w + 10]', '[4679, 4679, -2*w^5 - w^4 + 9*w^3 + 6*w^2 - 10*w - 6]', '[4733, 4733, w^4 - 2*w^3 + 6*w - 3]', '[4733, 4733, -w^4 + 3*w^3 + 5*w^2 - 8*w - 8]', '[4733, 4733, 2*w^5 - 10*w^3 - w^2 + 14*w - 1]', '[4733, 4733, -w^5 + w^4 + 8*w^3 - 5*w^2 - 15*w + 2]', '[4733, 4733, 4*w^5 - 2*w^4 - 16*w^3 + 4*w^2 + 11*w + 3]', '[4733, 4733, 2*w^5 + w^4 - 11*w^3 - 4*w^2 + 11*w - 1]', '[4759, 4759, -3*w^4 + w^3 + 12*w^2 - 4*w - 6]', '[4759, 4759, -2*w^5 - w^4 + 11*w^3 + 6*w^2 - 11*w - 7]', '[4759, 4759, -w^5 - w^4 + 8*w^3 + 4*w^2 - 11*w - 2]', '[4759, 4759, 2*w^5 - w^4 - 12*w^3 + 4*w^2 + 15*w - 3]', '[4759, 4759, -w^5 + 4*w^4 + 3*w^3 - 15*w^2 - 3*w + 7]', '[4759, 4759, -3*w^4 + 3*w^3 + 13*w^2 - 8*w - 8]', '[4783, 4783, 3*w^5 - w^4 - 12*w^3 + 3*w^2 + 6*w + 2]', '[4783, 4783, -3*w^5 + 3*w^4 + 15*w^3 - 10*w^2 - 17*w + 7]', '[4783, 4783, 2*w^5 - 2*w^4 - 10*w^3 + 9*w^2 + 9*w - 3]', '[4783, 4783, -3*w^5 + 2*w^4 + 12*w^3 - 6*w^2 - 6*w + 5]', '[4783, 4783, -w^5 + 3*w^4 + 4*w^3 - 9*w^2 - 2*w - 2]', '[4783, 4783, 2*w^5 + w^4 - 8*w^3 - 3*w^2 + 4*w + 3]', '[4861, 4861, 2*w^4 - 6*w^2 + w - 2]', '[4861, 4861, 2*w^5 - 2*w^4 - 7*w^3 + 6*w^2 + w - 4]', '[4861, 4861, -3*w^5 + 2*w^4 + 15*w^3 - 6*w^2 - 17*w + 4]', '[4861, 4861, 2*w^5 - 2*w^4 - 10*w^3 + 9*w^2 + 10*w - 4]', '[4861, 4861, -2*w^5 + 4*w^4 + 7*w^3 - 13*w^2 - 5*w + 4]', '[4861, 4861, -4*w^4 + w^3 + 15*w^2 - w - 8]', '[4887, 543, -2*w^5 + w^4 + 8*w^3 + w^2 - 7*w - 5]', '[4887, 543, -2*w^5 + w^4 + 8*w^3 - 5*w - 3]', '[4887, 543, -w^4 - 3*w^3 + 5*w^2 + 8*w - 2]', '[4887, 543, -2*w^5 - w^4 + 6*w^3 + 5*w^2 + w - 2]', '[4887, 543, -3*w^5 + w^4 + 16*w^3 - 6*w^2 - 18*w + 7]', '[4887, 543, -2*w^5 - w^4 + 11*w^3 + 2*w^2 - 13*w + 3]', '[4887, 543, -4*w^5 + 2*w^4 + 17*w^3 - 6*w^2 - 14*w + 1]', '[4887, 543, -5*w^5 + 3*w^4 + 23*w^3 - 9*w^2 - 23*w + 2]', '[4887, 543, -w^5 + w^4 + 6*w^3 - 4*w^2 - 11*w + 4]', '[4887, 543, w^5 - w^4 - 2*w^3 + 2*w^2 - 6*w + 2]', '[4887, 543, -w^5 - 2*w^4 + 5*w^3 + 9*w^2 - 7*w - 7]', '[4887, 543, -w^5 - 3*w^4 + 5*w^3 + 11*w^2 - 7*w - 5]', '[4889, 4889, -w^5 + w^4 + 4*w^3 - 6*w^2 - 5*w + 8]', '[4889, 4889, 2*w^5 - 3*w^4 - 5*w^3 + 9*w^2 - 2*w - 4]', '[4889, 4889, 3*w^5 + 2*w^4 - 15*w^3 - 9*w^2 + 15*w + 7]', '[4889, 4889, 2*w^5 + w^4 - 13*w^3 - 4*w^2 + 19*w + 1]', '[4889, 4889, w^5 + w^4 - 8*w^3 - 3*w^2 + 13*w - 1]', '[4889, 4889, 2*w^5 - 2*w^4 - 7*w^3 + 6*w^2 + 6*w - 1]', '[4913, 17, 4*w^5 - 4*w^4 - 17*w^3 + 13*w^2 + 12*w - 6]', '[4913, 17, -w^5 + 4*w^3 - 2*w^2 + w + 5]', '[4967, 4967, -2*w^5 - w^4 + 10*w^3 + 7*w^2 - 10*w - 6]', '[4967, 4967, 3*w^5 - 2*w^4 - 15*w^3 + 8*w^2 + 14*w - 4]', '[4967, 4967, 4*w^5 - w^4 - 18*w^3 + 3*w^2 + 14*w - 1]', '[4967, 4967, 3*w^5 - 3*w^4 - 12*w^3 + 11*w^2 + 10*w - 5]', '[4967, 4967, -3*w^5 - w^4 + 15*w^3 + 3*w^2 - 16*w + 2]', '[4967, 4967, w^5 + 2*w^4 - 8*w^3 - 6*w^2 + 12*w]', '[4993, 4993, 4*w^5 - w^4 - 18*w^3 + 4*w^2 + 17*w - 5]', '[4993, 4993, 4*w^5 - 2*w^4 - 20*w^3 + 7*w^2 + 20*w - 3]', '[4993, 4993, -4*w^5 + w^4 + 17*w^3 - 13*w - 5]', '[4993, 4993, 2*w^5 - 12*w^3 + 2*w^2 + 15*w - 6]', '[4993, 4993, w^4 - 2*w^3 - 6*w^2 + 8*w + 6]', '[4993, 4993, w^5 - w^4 - 4*w^3 + 7*w^2 + w - 8]', '[5056, 158, -4*w^5 + 2*w^4 + 18*w^3 - 6*w^2 - 18*w + 4]', '[5056, 158, -2*w^5 - 2*w^4 + 10*w^3 + 8*w^2 - 12*w - 2]', '[5056, 158, 2*w^3 - 2*w^2 - 8*w + 2]', '[5056, 158, -4*w^5 + 4*w^4 + 18*w^3 - 14*w^2 - 18*w + 6]', '[5056, 158, -4*w^4 + 2*w^3 + 14*w^2 - 6*w - 6]', '[5056, 158, -2*w^5 + 12*w^3 - 2*w^2 - 16*w + 2]', '[5057, 5057, -3*w^5 + 13*w^3 + 2*w^2 - 9*w - 5]', '[5057, 5057, -3*w^3 + 2*w^2 + 4*w + 2]', '[5057, 5057, -2*w^5 + 2*w^4 + 5*w^3 - w^2 - 2*w - 4]', '[5057, 5057, -4*w^5 - w^4 + 19*w^3 + 4*w^2 - 14*w - 4]', '[5057, 5057, 3*w^5 + 2*w^4 - 12*w^3 - 9*w^2 + 4*w - 1]', '[5057, 5057, 2*w^5 - 8*w^3 - 4*w^2 + 5*w]', '[5147, 5147, 4*w^4 - 15*w^2 - w + 9]', '[5147, 5147, 3*w^5 - w^4 - 12*w^3 + 10*w + 4]', '[5147, 5147, -3*w^5 - w^4 + 12*w^3 + 6*w^2 - 8*w - 5]', '[5147, 5147, w^5 - w^4 - 7*w^3 + 7*w^2 + 11*w - 7]', '[5147, 5147, -w^5 + w^4 + 5*w^3 - 3*w^2 - 2*w - 2]', '[5147, 5147, -4*w^5 + w^4 + 20*w^3 - 3*w^2 - 23*w + 2]', '[5227, 5227, 3*w^5 + w^4 - 13*w^3 - 7*w^2 + 10*w + 8]', '[5227, 5227, 4*w^5 - 2*w^4 - 18*w^3 + 7*w^2 + 16*w - 2]', '[5227, 5227, -w^5 + 3*w^4 + w^3 - 11*w^2 + 4*w + 4]', '[5227, 5227, 2*w^4 - 2*w^3 - 9*w^2 + 3*w + 5]', '[5227, 5227, -3*w^5 + w^4 + 13*w^3 - 4*w^2 - 13*w + 5]', '[5227, 5227, -w^5 - 3*w^4 + 7*w^3 + 12*w^2 - 9*w - 5]', '[5279, 5279, 4*w^5 - w^4 - 20*w^3 + 4*w^2 + 22*w - 3]', '[5279, 5279, 3*w^5 - w^4 - 15*w^3 + 4*w^2 + 18*w - 5]', '[5279, 5279, 2*w^4 - 6*w^2 - 3]', '[5279, 5279, 3*w^5 - 2*w^4 - 15*w^3 + 7*w^2 + 19*w - 2]', '[5279, 5279, 2*w^5 - w^4 - 7*w^3 + w + 6]', '[5279, 5279, -2*w^5 - w^4 + 9*w^3 + 7*w^2 - 10*w - 5]', '[5303, 5303, 3*w^5 - 14*w^3 - w^2 + 16*w + 1]', '[5303, 5303, -3*w^5 + 15*w^3 + 2*w^2 - 15*w]', '[5303, 5303, 3*w^4 - 12*w^2 - 2*w + 10]', '[5303, 5303, 4*w^5 - 19*w^3 - w^2 + 20*w + 1]', '[5303, 5303, -w^5 + 8*w^3 - 2*w^2 - 15*w + 4]', '[5303, 5303, 3*w^5 - 16*w^3 + w^2 + 18*w - 3]', '[5329, 73, -2*w^5 + 3*w^4 + 9*w^3 - 12*w^2 - 11*w + 6]', '[5329, 73, w^5 + 3*w^4 - 7*w^3 - 9*w^2 + 10*w + 1]', '[5329, 73, w^4 - 4*w^3 - 2*w^2 + 9*w - 2]', '[5381, 5381, 3*w^5 - w^4 - 14*w^3 + 6*w^2 + 12*w - 5]', '[5381, 5381, -w^5 - 2*w^4 + 8*w^3 + 9*w^2 - 13*w - 8]', '[5381, 5381, 2*w^5 + w^4 - 10*w^3 - w^2 + 9*w - 4]', '[5381, 5381, 2*w^5 + 2*w^4 - 11*w^3 - 9*w^2 + 11*w + 5]', '[5381, 5381, w^5 - 3*w^4 - 4*w^3 + 12*w^2 - 7]', '[5381, 5381, -5*w^5 + 3*w^4 + 22*w^3 - 10*w^2 - 18*w + 4]', '[5407, 5407, 2*w^5 - 4*w^4 - 6*w^3 + 15*w^2 + w - 8]', '[5407, 5407, -4*w^5 + 3*w^4 + 18*w^3 - 11*w^2 - 14*w + 7]', '[5407, 5407, 3*w^5 - w^4 - 14*w^3 + w^2 + 13*w - 1]', '[5407, 5407, w^5 + w^4 - 3*w^3 - 2*w^2 - 3*w - 3]', '[5407, 5407, w^5 + 3*w^4 - 7*w^3 - 11*w^2 + 8*w + 5]', '[5407, 5407, 2*w^5 - 4*w^4 - 10*w^3 + 13*w^2 + 11*w - 5]', '[5459, 5459, -w^5 + 3*w^4 + 6*w^3 - 11*w^2 - 10*w + 7]', '[5459, 5459, -2*w^5 + 2*w^4 + 9*w^3 - 7*w^2 - 8*w + 8]', '[5459, 5459, 2*w^5 - 10*w^3 - 5*w^2 + 11*w + 12]', '[5459, 5459, 3*w^5 + 3*w^4 - 11*w^3 - 11*w^2 + 3*w + 4]', '[5459, 5459, -4*w^5 + 4*w^4 + 16*w^3 - 11*w^2 - 13*w + 4]', '[5459, 5459, -6*w^5 + 3*w^4 + 31*w^3 - 9*w^2 - 35*w + 2]', '[5459, 5459, -4*w^5 + 4*w^4 + 17*w^3 - 13*w^2 - 14*w + 9]', '[5459, 5459, -w^5 + w^4 + 5*w^3 - 8*w^2 - 5*w + 12]', '[5459, 5459, 2*w^5 + 3*w^4 - 11*w^3 - 11*w^2 + 11*w + 5]', '[5459, 5459, 4*w^5 - 16*w^3 + w^2 + 11*w - 1]', '[5459, 5459, -3*w^5 - w^4 + 11*w^3 + 6*w^2 - 4*w - 5]', '[5459, 5459, 3*w^5 + 4*w^4 - 13*w^3 - 15*w^2 + 8*w + 6]', '[5459, 5459, -2*w^5 + 3*w^4 + 8*w^3 - 14*w^2 - 4*w + 12]', '[5459, 5459, -3*w^5 + 4*w^4 + 16*w^3 - 16*w^2 - 19*w + 9]', '[5459, 5459, -w^5 + 3*w^4 + 3*w^3 - 8*w^2 - w - 2]', '[5459, 5459, w^5 - 4*w^4 - 4*w^3 + 15*w^2 + 2*w - 3]', '[5459, 5459, -2*w^5 + 2*w^4 + 9*w^3 - 8*w^2 - 9*w + 2]', '[5459, 5459, 2*w^5 + 2*w^4 - 9*w^3 - 5*w^2 + 8*w - 2]', '[5459, 5459, -3*w^5 + 4*w^4 + 14*w^3 - 19*w^2 - 12*w + 15]', '[5459, 5459, -w^5 + 4*w^3 + w + 4]', '[5459, 5459, -w^5 - 4*w^4 + 4*w^3 + 16*w^2 - 2*w - 6]', '[5459, 5459, -3*w^5 + w^4 + 13*w^3 - 5*w^2 - 10*w + 3]', '[5459, 5459, w^5 - 8*w^3 - w^2 + 14*w - 1]', '[5459, 5459, w^5 - 4*w^4 - w^3 + 15*w^2 - 5*w - 7]', '[5459, 5459, -w^5 + 6*w^3 + 3*w^2 - 6*w - 6]', '[5459, 5459, 4*w^5 - 2*w^4 - 18*w^3 + 5*w^2 + 15*w - 2]', '[5459, 5459, -w^4 - 3*w^3 + 3*w^2 + 9*w - 4]', '[5459, 5459, 3*w^5 - 4*w^4 - 10*w^3 + 14*w^2 + 3*w - 7]', '[5459, 5459, w^5 + w^4 - 6*w^3 - 5*w^2 + 5*w + 5]', '[5459, 5459, -3*w^5 + 4*w^4 + 12*w^3 - 10*w^2 - 13*w]', '[5459, 5459, -w^5 + 3*w^4 + 3*w^3 - 10*w^2 - 4*w + 4]', '[5459, 5459, 2*w^5 + w^4 - 10*w^3 - 7*w^2 + 13*w + 8]', '[5459, 5459, -5*w^5 + w^4 + 25*w^3 - 3*w^2 - 26*w - 1]', '[5459, 5459, w^4 + w^3 - 7*w^2 + w + 7]', '[5459, 5459, w^5 + 3*w^4 - 5*w^3 - 12*w^2 + 5*w + 9]', '[5459, 5459, -3*w^5 + 2*w^4 + 16*w^3 - 5*w^2 - 22*w]', '[5563, 5563, -2*w^5 + 7*w^3 + 4*w^2 - 2*w - 6]', '[5563, 5563, 2*w^5 - w^4 - 11*w^3 + 5*w^2 + 16*w - 5]', '[5563, 5563, 4*w^5 - 4*w^4 - 18*w^3 + 13*w^2 + 15*w - 6]', '[5563, 5563, 3*w^5 + w^4 - 14*w^3 - 6*w^2 + 15*w + 5]', '[5563, 5563, -w^5 - 2*w^4 + 8*w^3 + 5*w^2 - 13*w + 1]', '[5563, 5563, 2*w^5 - w^4 - 8*w^3 + 5*w^2 + 2*w - 6]', '[5591, 5591, 3*w^5 - 4*w^4 - 14*w^3 + 14*w^2 + 13*w - 4]', '[5591, 5591, -3*w^5 + w^4 + 13*w^3 - 4*w^2 - 8*w + 1]', '[5591, 5591, 4*w^5 - 2*w^4 - 19*w^3 + 6*w^2 + 17*w]', '[5591, 5591, -3*w^5 - w^4 + 15*w^3 + 5*w^2 - 17*w - 2]', '[5591, 5591, w^5 + w^4 - 8*w^3 - 2*w^2 + 14*w]', '[5591, 5591, -w^5 + 2*w^4 + 6*w^3 - 5*w^2 - 10*w + 1]', '[5641, 5641, 3*w^5 - 13*w^3 + w^2 + 10*w]', '[5641, 5641, 2*w^5 + 2*w^4 - 8*w^3 - 9*w^2 + 3*w + 7]', '[5641, 5641, -w^5 + 2*w^4 + 6*w^3 - 9*w^2 - 6*w + 3]', '[5641, 5641, -2*w^5 + 2*w^4 + 8*w^3 - 5*w^2 - 3*w - 3]', '[5641, 5641, 2*w^5 - 3*w^4 - 11*w^3 + 11*w^2 + 15*w - 8]', '[5641, 5641, 4*w^5 - w^4 - 20*w^3 + w^2 + 22*w + 1]', '[5669, 5669, -4*w^5 + 2*w^4 + 17*w^3 - 5*w^2 - 15*w - 1]', '[5669, 5669, 2*w^5 + 2*w^4 - 9*w^3 - 9*w^2 + 9*w + 7]', '[5669, 5669, 3*w^5 - w^4 - 14*w^3 + 2*w^2 + 16*w - 1]', '[5669, 5669, -w^5 + 3*w^3 + 4*w^2 - 5]', '[5669, 5669, 3*w^5 - w^4 - 16*w^3 + 2*w^2 + 19*w - 1]', '[5669, 5669, 3*w^5 - 16*w^3 + w^2 + 19*w - 4]', '[5693, 5693, -w^5 - 2*w^4 + 8*w^3 + 6*w^2 - 11*w - 1]', '[5693, 5693, -w^5 + w^3 + 2*w^2 + 6*w - 4]', '[5693, 5693, -4*w^5 + 3*w^4 + 19*w^3 - 9*w^2 - 18*w + 4]', '[5693, 5693, 4*w^5 - 2*w^4 - 17*w^3 + 5*w^2 + 15*w - 2]', '[5693, 5693, 4*w^4 - 3*w^3 - 15*w^2 + 8*w + 8]', '[5693, 5693, 4*w^5 - 2*w^4 - 18*w^3 + 7*w^2 + 15*w - 3]', '[5759, 5759, 2*w^5 + w^4 - 8*w^3 - 4*w^2 + 2*w + 4]', '[5759, 5759, 3*w^5 + 4*w^4 - 12*w^3 - 15*w^2 + 4*w + 4]', '[5759, 5759, -2*w^5 + 4*w^4 + 7*w^3 - 9*w^2 - 8*w]', '[5759, 5759, w^5 - 3*w^3 + 2*w^2 - 3*w - 6]', '[5759, 5759, 2*w^5 - w^4 - 5*w^3 - w^2 - 2*w + 1]', '[5759, 5759, -2*w^5 + 8*w^3 - 2*w^2 - 3*w + 2]', '[5825, 1165, w^5 - 3*w^3 - w^2 + 2*w - 3]', '[5825, 1165, -w^5 + w^4 + 3*w^3 - 5]', '[5825, 1165, -2*w^5 + w^4 + 10*w^3 - w^2 - 12*w]', '[5825, 1165, -w^5 + 6*w^3 - 11*w]', '[5825, 1165, -2*w^5 + 8*w^3 + w^2 - 3*w - 4]', '[5825, 1165, -w^5 + 2*w^4 + 2*w^3 - 5*w^2 + 2*w - 4]', '[5825, 1165, 2*w^4 + w^3 - 9*w^2 - 4*w + 10]', '[5825, 1165, 3*w^5 - 15*w^3 + w^2 + 16*w - 2]', '[5825, 1165, -w^5 + 6*w^3 - 2*w^2 - 6*w + 6]', '[5825, 1165, 4*w^5 - 2*w^4 - 17*w^3 + 5*w^2 + 14*w - 1]', '[5825, 1165, w^5 + w^4 - 7*w^3 - 4*w^2 + 12*w + 6]', '[5825, 1165, 3*w^5 - 3*w^4 - 14*w^3 + 11*w^2 + 14*w - 3]', '[5825, 1165, w^5 + w^4 - 3*w^3 - 3*w^2 - 3]', '[5825, 1165, w^4 + 3*w^3 - 5*w^2 - 9*w + 4]', '[5825, 1165, -3*w^5 + 14*w^3 + 2*w^2 - 13*w + 1]', '[5825, 1165, -w^5 + 3*w^4 + 3*w^3 - 10*w^2 + w + 6]', '[5825, 1165, w^5 + 2*w^4 - 4*w^3 - 9*w^2 + 4*w + 5]', '[5825, 1165, 2*w^5 - w^4 - 9*w^3 + 5*w^2 + 9*w - 1]', '[5849, 5849, -2*w^5 - w^4 + 10*w^3 + 6*w^2 - 8*w - 6]', '[5849, 5849, 4*w^4 - 3*w^3 - 14*w^2 + 7*w + 6]', '[5849, 5849, 2*w^5 - 2*w^4 - 6*w^3 + 8*w^2 + w - 6]', '[5849, 5849, 3*w^5 - 16*w^3 + w^2 + 18*w - 1]', '[5849, 5849, -w^5 - w^4 + 8*w^3 + 3*w^2 - 11*w - 1]', '[5849, 5849, w^5 + 2*w^4 - 7*w^3 - 10*w^2 + 11*w + 8]', '[5851, 5851, 2*w^5 - 2*w^4 - 11*w^3 + 7*w^2 + 11*w - 4]', '[5851, 5851, -3*w^5 + 2*w^4 + 12*w^3 - 9*w^2 - 7*w + 9]', '[5851, 5851, 4*w^5 - w^4 - 17*w^3 + 2*w^2 + 14*w]', '[5851, 5851, -w^5 + 4*w^4 + 5*w^3 - 14*w^2 - 8*w + 4]', '[5851, 5851, -w^5 + 2*w^4 + 2*w^3 - 9*w^2 + 5*w + 5]', '[5851, 5851, -4*w^5 + 2*w^4 + 19*w^3 - 5*w^2 - 17*w - 2]', '[5903, 5903, 4*w^5 - 2*w^4 - 16*w^3 + 6*w^2 + 11*w - 4]', '[5903, 5903, -2*w^5 - w^4 + 9*w^3 + 3*w^2 - 5*w - 3]', '[5903, 5903, -2*w^5 + 2*w^4 + 11*w^3 - 5*w^2 - 14*w + 2]', '[5903, 5903, -w^5 + w^4 + 8*w^3 - 5*w^2 - 13*w + 5]', '[5903, 5903, 3*w^5 - 4*w^4 - 12*w^3 + 14*w^2 + 7*w - 9]', '[5903, 5903, 3*w^5 - 4*w^4 - 13*w^3 + 15*w^2 + 10*w - 5]', '[5927, 5927, -2*w^5 - w^4 + 10*w^3 + 7*w^2 - 12*w - 5]', '[5927, 5927, 3*w^5 - w^4 - 11*w^3 + 3*w^2 + 6*w - 4]', '[5927, 5927, -w^5 + 8*w^3 - 2*w^2 - 12*w + 5]', '[5927, 5927, 3*w^5 - 4*w^4 - 13*w^3 + 13*w^2 + 11*w - 7]', '[5927, 5927, w^5 + 3*w^4 - 7*w^3 - 10*w^2 + 11*w + 5]', '[5927, 5927, -2*w^5 + 8*w^3 + 3*w^2 - 3*w - 7]', '[5953, 5953, w^5 - w^3 - 3*w^2 - 5*w + 3]', '[5953, 5953, -w^4 + w^3 + 5*w^2 - 3*w - 9]', '[5953, 5953, w^5 - 2*w^4 - 4*w^3 + 7*w^2 + 4*w - 8]', '[5953, 5953, 4*w^5 - w^4 - 17*w^3 + 2*w^2 + 15*w + 1]', '[5953, 5953, 3*w^5 + w^4 - 14*w^3 - 6*w^2 + 15*w + 6]', '[5953, 5953, 2*w^5 - w^4 - 11*w^3 + 5*w^2 + 16*w - 6]', '[5981, 5981, w^5 - w^4 - 6*w^3 + 2*w^2 + 11*w - 2]', '[5981, 5981, -4*w^5 + w^4 + 20*w^3 - 4*w^2 - 20*w + 1]', '[5981, 5981, -2*w^5 + 3*w^4 + 11*w^3 - 11*w^2 - 14*w + 2]', '[5981, 5981, 4*w^4 - 15*w^2 + 5]', '[5981, 5981, -4*w^5 + 2*w^4 + 17*w^3 - 6*w^2 - 12*w - 1]', '[5981, 5981, -2*w^5 + 3*w^4 + 8*w^3 - 8*w^2 - 5*w + 3]', '[6007, 6007, 4*w^5 - 2*w^4 - 19*w^3 + 7*w^2 + 21*w - 5]', '[6007, 6007, -w^5 + 8*w^3 - 3*w^2 - 13*w + 4]', '[6007, 6007, -3*w^5 + 11*w^3 + 2*w^2 - 6*w - 3]', '[6007, 6007, -2*w^5 - 2*w^4 + 11*w^3 + 7*w^2 - 15*w - 1]', '[6007, 6007, -w^5 + 2*w^3 + 3*w^2 + 5*w - 4]', '[6007, 6007, 3*w^5 - 13*w^3 - 4*w^2 + 12*w + 7]', '[6071, 6071, -3*w^4 + 9*w^2 + 6*w - 2]', '[6071, 6071, w^5 - 2*w^4 - 2*w^3 + 6*w^2 - 2*w - 6]', '[6071, 6071, 3*w^5 - w^4 - 12*w^3 - 2*w^2 + 10*w + 5]', '[6071, 6071, -w^5 + 3*w^4 + 4*w^3 - 9*w^2 - 7*w]', '[6071, 6071, 3*w^5 + w^4 - 10*w^3 - 6*w^2 + 2*w + 2]', '[6071, 6071, -2*w^4 + 5*w^2 + 2*w + 3]', '[6163, 6163, -2*w^5 - w^4 + 8*w^3 + 4*w^2 - 5*w - 5]', '[6163, 6163, -3*w^5 + 2*w^4 + 15*w^3 - 7*w^2 - 17*w + 7]', '[6163, 6163, w^5 - w^4 - 6*w^3 + 6*w^2 + 7*w - 2]', '[6163, 6163, -3*w^5 + 16*w^3 - 17*w + 1]', '[6163, 6163, -2*w^5 + w^4 + 7*w^3 - 2*w^2 - w + 3]', '[6163, 6163, -4*w^4 + w^3 + 15*w^2 - 2*w - 8]', '[6241, 79, 2*w^5 - 9*w^3 - 2*w^2 + 11*w]', '[6241, 79, 4*w^5 - 20*w^3 - w^2 + 22*w - 1]', '[6241, 79, 2*w^5 - 11*w^3 + w^2 + 15*w + 1]', '[6241, 79, -2*w^4 - 2*w^3 + 10*w^2 + 5*w - 10]', '[6241, 79, -2*w^5 - 2*w^4 + 8*w^3 + 10*w^2 - 5*w - 9]', '[6241, 79, w^5 + w^4 - 6*w^3 - w^2 + 9*w - 1]', '[6241, 79, 5*w^5 - 2*w^4 - 23*w^3 + 6*w^2 + 21*w - 1]', '[6241, 79, 3*w^4 - 3*w^3 - 11*w^2 + 6*w + 4]', '[6241, 79, 2*w^5 - w^4 - 12*w^3 + 4*w^2 + 18*w]', '[6241, 79, 2*w^5 - 9*w^3 + 11*w - 3]', '[6241, 79, -3*w^3 + 11*w - 1]', '[6241, 79, -4*w^5 + 18*w^3 + w^2 - 16*w + 2]', '[6241, 79, -3*w^5 + 2*w^4 + 11*w^3 - 4*w^2 - 5*w - 4]', '[6241, 79, -w^5 + 2*w^3 + 3*w^2 + 3*w - 8]', '[6241, 79, 3*w^5 - 13*w^3 - 2*w^2 + 12*w - 1]', '[6241, 6241, w^5 - 3*w^4 - 2*w^3 + 12*w^2 - 5*w - 8]', '[6241, 6241, -4*w^5 + w^4 + 16*w^3 - w^2 - 11*w - 1]', '[6241, 6241, 4*w^5 - 2*w^4 - 19*w^3 + 4*w^2 + 18*w + 1]', '[6241, 6241, 4*w^5 - 3*w^4 - 17*w^3 + 12*w^2 + 13*w - 7]', '[6241, 6241, 3*w^4 + w^3 - 11*w^2 - 6*w + 6]', '[6241, 6241, -3*w^4 + 2*w^3 + 8*w^2 - 3*w + 1]', '[6291, 699, -3*w^5 + w^4 + 15*w^3 - 5*w^2 - 14*w + 2]', '[6291, 699, -3*w^5 + w^4 + 13*w^3 - 4*w^2 - 9*w + 1]', '[6291, 699, -2*w^5 + 3*w^4 + 10*w^3 - 11*w^2 - 10*w + 3]', '[6291, 699, -w^5 + 4*w^4 + 4*w^3 - 14*w^2 - 2*w + 3]', '[6291, 699, 3*w^5 - 3*w^4 - 13*w^3 + 9*w^2 + 10*w - 4]', '[6291, 699, 4*w^5 - 4*w^4 - 18*w^3 + 13*w^2 + 17*w - 7]', '[6291, 699, -2*w^4 + 5*w^2 + w + 3]', '[6291, 699, w^5 - w^4 - 5*w^3 + 7*w + 7]', '[6291, 699, w^5 - w^4 - 4*w^3 + 5*w^2 - 6]', '[6291, 699, 2*w^5 - w^4 - 8*w^3 + 3*w^2 + 2*w - 3]', '[6291, 699, w^5 - 2*w^4 - 6*w^3 + 6*w^2 + 10*w - 3]', '[6291, 699, -w^5 - w^4 + 2*w^3 + 3*w^2 + 4*w - 2]', '[6317, 6317, 3*w^5 - w^4 - 14*w^3 + 4*w^2 + 15*w - 6]', '[6317, 6317, -w^5 + 2*w^4 + 7*w^3 - 8*w^2 - 13*w + 6]', '[6317, 6317, 2*w^4 + 2*w^3 - 9*w^2 - 4*w + 4]', '[6317, 6317, -3*w^5 + 2*w^4 + 14*w^3 - 5*w^2 - 15*w + 3]', '[6317, 6317, w^3 - 3*w^2 - w + 8]', '[6317, 6317, w^4 + 2*w^3 - 6*w^2 - 7*w + 3]', '[6343, 6343, -2*w^5 + 9*w^3 + 4*w^2 - 8*w - 7]', '[6343, 6343, -4*w^5 + w^4 + 19*w^3 - 3*w^2 - 18*w - 1]', '[6343, 6343, 4*w^5 - 3*w^4 - 17*w^3 + 10*w^2 + 15*w - 5]', '[6343, 6343, -w^5 + 5*w^3 - 3*w^2 - 5*w + 8]', '[6343, 6343, 2*w^5 + w^4 - 12*w^3 - 2*w^2 + 15*w - 1]', '[6343, 6343, -3*w^5 + 3*w^4 + 12*w^3 - 8*w^2 - 9*w + 3]', '[6397, 6397, 2*w^4 - 4*w^3 - 8*w^2 + 11*w + 7]', '[6397, 6397, -4*w^4 + w^3 + 16*w^2 - w - 11]', '[6397, 6397, 3*w^5 + w^4 - 15*w^3 - 3*w^2 + 17*w + 1]', '[6397, 6397, -4*w^5 + 17*w^3 + 3*w^2 - 13*w - 5]', '[6397, 6397, -3*w^5 - w^4 + 16*w^3 + 5*w^2 - 17*w - 2]', '[6397, 6397, -2*w^5 - w^4 + 8*w^3 + 7*w^2 - 7*w - 5]', '[6421, 6421, 3*w^5 - 2*w^4 - 14*w^3 + 6*w^2 + 11*w - 3]', '[6421, 6421, w^5 - w^4 - 3*w^3 + 6*w^2 - 2*w - 8]', '[6421, 6421, 2*w^5 - 4*w^4 - 9*w^3 + 13*w^2 + 10*w - 6]', '[6421, 6421, -4*w^5 + 2*w^4 + 18*w^3 - 7*w^2 - 16*w + 1]', '[6421, 6421, 3*w^5 - 2*w^4 - 13*w^3 + 4*w^2 + 11*w - 1]', '[6421, 6421, -4*w^5 + 19*w^3 + w^2 - 19*w + 1]', '[6449, 6449, -2*w^5 + 4*w^4 + 7*w^3 - 15*w^2 - 5*w + 7]', '[6449, 6449, -4*w^4 + 3*w^3 + 15*w^2 - 7*w - 9]', '[6449, 6449, w^5 + 2*w^4 - 6*w^3 - 9*w^2 + 5*w + 8]', '[6449, 6449, w^5 + 2*w^4 - 8*w^3 - 7*w^2 + 11*w + 2]', '[6449, 6449, -w^5 - 2*w^4 + 7*w^3 + 10*w^2 - 10*w - 7]', '[6449, 6449, w^5 - 2*w^4 - w^3 + 8*w^2 - 4*w - 7]', '[6473, 6473, -2*w^5 + 2*w^4 + 8*w^3 - 7*w^2 - 8*w + 1]', '[6473, 6473, -2*w^5 - 2*w^4 + 11*w^3 + 8*w^2 - 13*w - 7]', '[6473, 6473, -w^4 + 6*w^2 + 2*w - 9]', '[6473, 6473, -w^5 - 2*w^4 + 5*w^3 + 10*w^2 - 5*w - 5]', '[6473, 6473, -2*w^5 + 3*w^4 + 9*w^3 - 11*w^2 - 9*w + 2]', '[6473, 6473, -w^5 - w^4 + 8*w^3 + 3*w^2 - 13*w + 2]', '[6551, 6551, w^5 - 2*w^3 + w^2 - 5*w]', '[6551, 6551, 4*w^5 - 2*w^4 - 19*w^3 + 7*w^2 + 17*w - 1]', '[6551, 6551, -2*w^5 + 2*w^4 + 9*w^3 - 7*w^2 - 5*w + 5]', '[6551, 6551, w^5 - 4*w^4 - 5*w^3 + 14*w^2 + 6*w - 3]', '[6551, 6551, w^5 - 4*w^3 + 3*w^2 + w - 8]', '[6551, 6551, 3*w^5 - 4*w^4 - 13*w^3 + 12*w^2 + 12*w - 5]', '[6553, 6553, 2*w^5 - 2*w^4 - 7*w^3 + 9*w^2 + w - 9]', '[6553, 6553, -2*w^5 - 2*w^4 + 10*w^3 + 9*w^2 - 12*w - 7]', '[6553, 6553, -3*w^5 + 2*w^4 + 15*w^3 - 6*w^2 - 14*w - 1]', '[6553, 6553, 3*w^5 - 2*w^4 - 15*w^3 + 6*w^2 + 14*w - 3]', '[6553, 6553, -2*w^5 - w^4 + 12*w^3 + 2*w^2 - 16*w + 3]', '[6553, 6553, -w^5 + 4*w^4 + 4*w^3 - 13*w^2 - 5*w + 2]', '[6577, 6577, -2*w^4 - 2*w^3 + 7*w^2 + 7*w - 4]', '[6577, 6577, -w^5 - 2*w^4 + 7*w^3 + 8*w^2 - 8*w - 6]', '[6577, 6577, -3*w^5 + w^4 + 14*w^3 - 5*w^2 - 12*w + 3]', '[6577, 6577, -2*w^4 + 3*w^3 + 9*w^2 - 7*w - 8]', '[6577, 6577, w^5 + 2*w^4 - 7*w^3 - 8*w^2 + 8*w + 4]', '[6577, 6577, w^5 - 4*w^4 - 2*w^3 + 15*w^2 - w - 7]', '[6592, 206, 4*w^4 - 14*w^2 - 2*w + 6]', '[6592, 206, 2*w^5 - 2*w^4 - 8*w^3 + 10*w^2 + 4*w - 8]', '[6592, 206, -2*w^5 - 2*w^4 + 8*w^3 + 8*w^2 - 4*w - 6]', '[6592, 206, 2*w^5 - 4*w^4 - 8*w^3 + 12*w^2 + 8*w - 2]', '[6592, 206, -2*w^4 + 2*w^3 + 10*w^2 - 6*w - 8]', '[6592, 206, 4*w^5 - 2*w^4 - 20*w^3 + 6*w^2 + 20*w - 2]', '[6709, 6709, -2*w^5 + w^4 + 12*w^3 - 5*w^2 - 18*w + 4]', '[6709, 6709, w^5 + w^4 - 7*w^3 - w^2 + 12*w - 3]', '[6709, 6709, 4*w^5 - 18*w^3 - w^2 + 17*w]', '[6709, 6709, w^5 + w^4 - 2*w^3 - 7*w^2 - 2*w + 7]', '[6709, 6709, -3*w^5 + 14*w^3 + 2*w^2 - 16*w - 2]', '[6709, 6709, 3*w^5 - w^4 - 11*w^3 + 5*w + 4]', '[6733, 6733, w^5 - 6*w^3 + 8*w - 5]', '[6733, 6733, w^4 - 5*w^2 - 1]', '[6733, 6733, -w^5 + w^4 + 3*w^3 - 3*w^2 + 6]', '[6733, 6733, w^5 + w^4 - 5*w^3 - 4*w^2 + 5*w + 7]', '[6733, 6733, w^2 + w - 7]', '[6733, 6733, -w^5 + w^4 + 4*w^3 - 3*w^2 - 4*w - 4]', '[6761, 6761, 2*w^5 - 2*w^4 - 12*w^3 + 7*w^2 + 18*w - 4]', '[6761, 6761, w^5 - 3*w^4 - 6*w^3 + 13*w^2 + 7*w - 7]', '[6761, 6761, 4*w^5 - 18*w^3 + 15*w]', '[6761, 6761, -w^5 + 5*w^3 + 2*w^2 - 9*w - 4]', '[6761, 6761, -4*w^5 + 3*w^4 + 16*w^3 - 8*w^2 - 10*w + 2]', '[6761, 6761, -2*w^4 + w^3 + 4*w^2 - 3*w + 4]', '[6773, 6773, -2*w^5 - 2*w^4 + 8*w^3 + 6*w^2 - 3*w + 2]', '[6773, 6773, 3*w^5 - 12*w^3 - 4*w^2 + 8*w + 6]', '[6773, 6773, -3*w^5 + 2*w^4 + 10*w^3 - 5*w^2 - 4*w + 3]', '[6773, 6773, 2*w^5 - w^4 - 6*w^3 + 2*w^2 - w - 4]', '[6773, 6773, -2*w^5 - 2*w^4 + 9*w^3 + 11*w^2 - 8*w - 7]', '[6773, 6773, w^5 + 2*w^4 - 5*w^3 - 5*w^2 + 2*w - 3]', '[6863, 6863, -w^5 + w^4 + 5*w^3 - 6*w^2 - 2*w + 6]', '[6863, 6863, -3*w^5 + 4*w^4 + 15*w^3 - 15*w^2 - 16*w + 7]', '[6863, 6863, 4*w^5 - w^4 - 17*w^3 + 3*w^2 + 11*w - 1]', '[6863, 6863, -2*w^5 + 2*w^4 + 11*w^3 - 5*w^2 - 16*w]', '[6863, 6863, 3*w^5 - 4*w^4 - 12*w^3 + 12*w^2 + 7*w - 3]', '[6863, 6863, w^5 + 2*w^4 - 4*w^3 - 5*w^2 + 2*w - 2]', '[6889, 83, -2*w^5 - w^4 + 12*w^3 + 5*w^2 - 16*w - 1]', '[6889, 83, 2*w^5 + 2*w^4 - 10*w^3 - 9*w^2 + 9*w + 9]', '[6889, 83, w^5 - 3*w^4 - w^3 + 10*w^2 - 5*w - 7]', '[6917, 6917, w^4 - 4*w^2 + 3*w + 5]', '[6917, 6917, 4*w^5 - w^4 - 19*w^3 + 3*w^2 + 18*w + 2]', '[6917, 6917, -3*w^4 - w^3 + 12*w^2 + 3*w - 3]', '[6917, 6917, -3*w^3 + 10*w - 3]', '[6917, 6917, w^5 - 5*w^3 + 3*w^2 + 5*w - 9]', '[6917, 6917, 3*w^5 - 3*w^4 - 12*w^3 + 8*w^2 + 9*w - 4]', '[6943, 6943, 3*w^5 - 14*w^3 + w^2 + 12*w]', '[6943, 6943, w^5 - 2*w^4 - 7*w^3 + 7*w^2 + 13*w - 3]', '[6943, 6943, -w^5 + 2*w^4 + 4*w^3 - 4*w^2 - 3*w - 5]', '[6943, 6943, w^5 - 3*w^4 - 6*w^3 + 12*w^2 + 7*w - 6]', '[6943, 6943, w^5 - 3*w^4 - 5*w^3 + 12*w^2 + 4*w - 4]', '[6943, 6943, 2*w^5 - w^4 - 10*w^3 + w^2 + 9*w + 5]', '[6943, 6943, -w^5 + 2*w^4 + 4*w^3 - 12*w^2 - 2*w + 16]', '[6943, 6943, -4*w^5 + 3*w^4 + 17*w^3 - 8*w^2 - 13*w + 1]', '[6943, 6943, w^5 - w^4 - 5*w^3 + 2*w^2 + w - 2]', '[6943, 6943, w^5 - 3*w^4 - 4*w^3 + 10*w^2 + 6*w - 2]', '[6943, 6943, -w^4 + w^3 + 5*w^2 - 6*w - 4]', '[6943, 6943, 4*w^5 - 3*w^4 - 17*w^3 + 9*w^2 + 13*w - 5]', '[6943, 6943, w^5 - 3*w^4 - 3*w^3 + 13*w^2 - w - 7]', '[6943, 6943, -3*w^5 + 3*w^4 + 15*w^3 - 9*w^2 - 19*w + 4]', '[6943, 6943, -2*w^4 - w^3 + 4*w^2 - w + 2]', '[6943, 6943, w^4 - 7*w^2 + 3*w + 9]', '[6943, 6943, -3*w^5 + 3*w^4 + 12*w^3 - 8*w^2 - 6*w + 2]', '[6943, 6943, -3*w^5 + 5*w^4 + 14*w^3 - 23*w^2 - 13*w + 19]', '[6943, 6943, 6*w^5 - 2*w^4 - 32*w^3 + 5*w^2 + 38*w + 2]', '[6943, 6943, -4*w^5 - 4*w^4 + 18*w^3 + 16*w^2 - 13*w - 6]', '[6943, 6943, 4*w^5 - w^4 - 16*w^3 + 3*w^2 + 9*w]', '[6943, 6943, -4*w^5 + w^4 + 18*w^3 - 4*w^2 - 15*w + 3]', '[6943, 6943, -3*w^5 + 4*w^4 + 11*w^3 - 10*w^2 - 11*w + 2]', '[6943, 6943, -4*w^5 + 5*w^4 + 16*w^3 - 15*w^2 - 14*w + 8]', '[6943, 6943, -w^5 - 3*w^4 + 5*w^3 + 9*w^2 - 5*w + 1]', '[6943, 6943, 2*w^5 - 2*w^4 - 4*w^3 + 7*w^2 - 7*w]', '[6943, 6943, w^5 + 5*w^4 - 5*w^3 - 19*w^2 + 4*w + 5]', '[6943, 6943, -4*w^5 + 5*w^4 + 12*w^3 - 16*w^2 + 2*w + 4]', '[6943, 6943, 2*w^5 - w^4 - 12*w^3 + 3*w^2 + 15*w - 2]', '[6943, 6943, 5*w^5 - w^4 - 26*w^3 + 3*w^2 + 28*w + 3]', '[6943, 6943, w^5 - 2*w^4 - 7*w^3 + 7*w^2 + 12*w - 5]', '[6943, 6943, 3*w^5 - 3*w^4 - 16*w^3 + 12*w^2 + 18*w - 5]', '[6943, 6943, 3*w^5 - 3*w^4 - 11*w^3 + 11*w^2 + 5*w - 8]', '[6943, 6943, w^5 + 3*w^4 - 6*w^3 - 10*w^2 + 6*w + 5]', '[6943, 6943, w^3 + w^2 - 6*w - 4]', '[6943, 6943, 2*w^4 - w^3 - 4*w^2 + 2*w - 3]', '[6967, 6967, -3*w^4 + w^3 + 13*w^2 - 4*w - 8]', '[6967, 6967, -3*w^5 + 4*w^4 + 14*w^3 - 14*w^2 - 13*w + 3]', '[6967, 6967, w^5 - 2*w^4 - 5*w^3 + 7*w^2 + 9*w - 3]', '[6967, 6967, w^5 - 2*w^4 - 6*w^3 + 5*w^2 + 10*w - 2]', '[6967, 6967, 3*w^5 + w^4 - 14*w^3 - 5*w^2 + 14*w + 1]', '[6967, 6967, -2*w^5 + 12*w^3 - w^2 - 17*w]', '[7019, 7019, -3*w^5 + w^4 + 16*w^3 - 3*w^2 - 17*w + 2]', '[7019, 7019, w^5 + 2*w^4 - 3*w^3 - 9*w^2 - w + 9]', '[7019, 7019, 3*w^5 + w^4 - 13*w^3 - 5*w^2 + 9*w + 5]', '[7019, 7019, 4*w^5 - w^4 - 19*w^3 + 2*w^2 + 19*w - 3]', '[7019, 7019, 2*w^5 - 2*w^4 - 6*w^3 + 8*w^2 - w - 7]', '[7019, 7019, -2*w^5 + w^4 + 10*w^3 - 6*w^2 - 11*w + 3]', '[7111, 7111, 4*w^5 + w^4 - 15*w^3 - 5*w^2 + 6*w - 2]', '[7111, 7111, -2*w^5 - w^4 + 7*w^3 + 9*w^2 - 3*w - 8]', '[7111, 7111, -2*w^5 + 3*w^4 + 6*w^3 - 9*w^2 - 4*w + 3]', '[7111, 7111, -3*w^5 - 2*w^4 + 13*w^3 + 6*w^2 - 7*w + 2]', '[7111, 7111, -w^5 - 4*w^4 + 5*w^3 + 13*w^2 - 6]', '[7111, 7111, -2*w^5 + w^4 + 9*w^3 - 5*w^2 - 4*w + 4]', '[7151, 7151, -w^5 + w^4 + 5*w^3 - 3*w^2 - 6*w - 4]', '[7151, 7151, -w^2 + w - 3]', '[7151, 7151, w^5 - w^4 - 5*w^3 + 4*w^2 + 5*w - 7]', '[7151, 7151, -w^4 + 3*w^2 - 5]', '[7151, 7151, w^5 - 4*w^3 + 2*w - 5]', '[7151, 7151, -w^5 + w^4 + 4*w^3 - 3*w^2 - 2*w - 4]', '[7177, 7177, -w^5 + 6*w^3 + 2*w^2 - 6*w - 7]', '[7177, 7177, 4*w^3 - w^2 - 11*w - 1]', '[7177, 7177, 3*w^5 + w^4 - 16*w^3 - 3*w^2 + 18*w - 2]', '[7177, 7177, 2*w^5 - 3*w^4 - 6*w^3 + 11*w^2 - 9]', '[7177, 7177, w^5 - 4*w^3 - 4*w^2 + 2*w + 5]', '[7177, 7177, 4*w^5 - 3*w^4 - 16*w^3 + 9*w^2 + 12*w - 1]', '[7229, 7229, 2*w^5 - 2*w^4 - 10*w^3 + 7*w^2 + 14*w - 5]', '[7229, 7229, -w^5 - 2*w^4 + 5*w^3 + 10*w^2 - 7*w - 9]', '[7229, 7229, -2*w^5 - 2*w^4 + 11*w^3 + 6*w^2 - 13*w + 1]', '[7229, 7229, -3*w^5 + w^4 + 16*w^3 - 4*w^2 - 18*w + 5]', '[7229, 7229, w^5 - w^4 - 8*w^3 + 5*w^2 + 13*w - 2]', '[7229, 7229, -4*w^5 + 2*w^4 + 16*w^3 - 6*w^2 - 11*w + 1]', '[7253, 7253, -w^5 + 5*w^3 + 4*w^2 - 5*w - 8]', '[7253, 7253, 3*w^5 + w^4 - 16*w^3 - 3*w^2 + 17*w + 1]', '[7253, 7253, -4*w^3 + 11*w]', '[7253, 7253, -4*w^5 + 4*w^4 + 16*w^3 - 13*w^2 - 12*w + 6]', '[7253, 7253, -w^5 + 5*w^3 + 4*w^2 - 6*w - 5]', '[7253, 7253, -4*w^5 + 4*w^4 + 17*w^3 - 13*w^2 - 15*w + 3]', '[7307, 7307, w^5 + w^4 - 8*w^3 - 3*w^2 + 12*w]', '[7307, 7307, -w^5 - w^4 + 5*w^3 + 6*w^2 - 3*w - 7]', '[7307, 7307, -w^5 - 2*w^4 + 6*w^3 + 10*w^2 - 8*w - 7]', '[7307, 7307, -2*w^5 + 3*w^4 + 8*w^3 - 11*w^2 - 8*w + 5]', '[7307, 7307, -2*w^5 + 2*w^4 + 6*w^3 - 7*w^2 - w + 5]', '[7307, 7307, w^5 + 3*w^4 - 7*w^3 - 11*w^2 + 10*w + 6]', '[7331, 7331, -3*w^4 + w^3 + 12*w^2 - 5*w - 5]', '[7331, 7331, 3*w^5 - 2*w^4 - 13*w^3 + 3*w^2 + 11*w + 5]', '[7331, 7331, -5*w^5 + 3*w^4 + 22*w^3 - 10*w^2 - 19*w + 6]', '[7331, 7331, 3*w^5 - w^4 - 17*w^3 + 3*w^2 + 21*w - 1]', '[7331, 7331, -2*w^5 - w^4 + 11*w^3 + w^2 - 12*w + 2]', '[7331, 7331, w^5 - 3*w^4 - 4*w^3 + 14*w^2 + 2*w - 10]', '[7333, 7333, -3*w^4 - 2*w^3 + 11*w^2 + 6*w - 3]', '[7333, 7333, -w^5 + 3*w^4 + 4*w^3 - 11*w^2 + 6]', '[7333, 7333, 3*w^5 - 3*w^4 - 13*w^3 + 7*w^2 + 12*w]', '[7333, 7333, -5*w^5 + 3*w^4 + 23*w^3 - 10*w^2 - 21*w + 3]', '[7333, 7333, 4*w^5 - 3*w^4 - 18*w^3 + 9*w^2 + 15*w - 4]', '[7333, 7333, 2*w^5 - 3*w^4 - 10*w^3 + 11*w^2 + 9*w - 3]', '[7411, 7411, -3*w^5 + 4*w^4 + 13*w^3 - 15*w^2 - 13*w + 8]', '[7411, 7411, -2*w^5 + w^4 + 10*w^3 - 2*w^2 - 13*w + 3]', '[7411, 7411, 2*w^5 + w^4 - 9*w^3 - 3*w^2 + 8*w - 4]', '[7411, 7411, -2*w^5 - w^4 + 9*w^3 + 6*w^2 - 5*w - 6]', '[7411, 7411, -3*w^5 + w^4 + 12*w^3 - 2*w^2 - 7*w - 4]', '[7411, 7411, 2*w^5 - 2*w^4 - 11*w^3 + 8*w^2 + 14*w - 1]', '[7423, 7423, -3*w^5 + 2*w^4 + 10*w^3 - 5*w^2 - 3*w + 5]', '[7423, 7423, 2*w^5 + 5*w^4 - 10*w^3 - 17*w^2 + 4*w + 6]', '[7423, 7423, -w^5 + 3*w^4 + 2*w^3 - 11*w^2 + 6]', '[7423, 7423, 4*w^4 - 2*w^3 - 12*w^2 - 2*w + 3]', '[7423, 7423, -2*w^4 + 3*w^2 + 4*w + 2]', '[7423, 7423, -w^5 - 3*w^4 + 7*w^3 + 12*w^2 - 9*w - 7]', '[7487, 7487, -w^4 - 2*w^3 + 4*w^2 + 9*w - 2]', '[7487, 7487, 3*w^5 - 3*w^4 - 13*w^3 + 10*w^2 + 14*w - 4]', '[7487, 7487, 5*w^5 - 3*w^4 - 22*w^3 + 9*w^2 + 19*w - 2]', '[7487, 7487, 2*w^4 + 3*w^3 - 8*w^2 - 9*w + 3]', '[7487, 7487, 5*w^5 - 3*w^4 - 22*w^3 + 10*w^2 + 19*w - 5]', '[7487, 7487, -3*w^5 + 3*w^4 + 13*w^3 - 9*w^2 - 14*w + 2]', '[7489, 7489, 2*w^4 + 3*w^3 - 9*w^2 - 8*w + 7]', '[7489, 7489, -w^5 + w^4 + 7*w^3 - 4*w^2 - 14*w + 1]', '[7489, 7489, -2*w^5 - w^4 + 11*w^3 + w^2 - 13*w + 2]', '[7489, 7489, 5*w^5 - 2*w^4 - 22*w^3 + 6*w^2 + 19*w - 4]', '[7489, 7489, w^5 - 3*w^4 - 6*w^3 + 10*w^2 + 8*w - 1]', '[7489, 7489, w^5 + 2*w^4 - 5*w^3 - 9*w^2 + 8*w + 4]', '[7541, 7541, -2*w^5 + w^4 + 7*w^3 - 3*w - 7]', '[7541, 7541, -w^5 + 7*w^3 - w^2 - 13*w - 1]', '[7541, 7541, 2*w^5 + 2*w^4 - 11*w^3 - 10*w^2 + 13*w + 6]', '[7541, 7541, 2*w^5 + w^4 - 9*w^3 - 5*w^2 + 10*w]', '[7541, 7541, 2*w^5 - 11*w^3 + 2*w^2 + 14*w - 1]', '[7541, 7541, w^5 + 3*w^4 - 8*w^3 - 11*w^2 + 13*w + 7]', '[7591, 7591, w^5 - 4*w^4 - 5*w^3 + 14*w^2 + 8*w - 6]', '[7591, 7591, -2*w^5 + w^4 + 11*w^3 - 2*w^2 - 13*w + 2]', '[7591, 7591, 2*w^5 - 12*w^3 - w^2 + 15*w]', '[7591, 7591, -2*w^5 + 3*w^4 + 8*w^3 - 12*w^2 - 5*w + 4]', '[7591, 7591, 3*w^5 - 2*w^4 - 12*w^3 + 9*w^2 + 7*w - 7]', '[7591, 7591, 2*w^5 - 3*w^4 - 7*w^3 + 11*w^2 + 2*w - 9]', '[7643, 7643, -2*w^5 + 5*w^4 + 8*w^3 - 17*w^2 - 6*w + 5]', '[7643, 7643, -3*w^5 + w^4 + 15*w^3 - 4*w^2 - 13*w + 1]', '[7643, 7643, -3*w^5 + 4*w^4 + 13*w^3 - 12*w^2 - 10*w + 3]', '[7643, 7643, 3*w^5 - w^4 - 14*w^3 + 3*w^2 + 10*w - 2]', '[7643, 7643, -3*w^5 + 4*w^4 + 15*w^3 - 14*w^2 - 16*w + 5]', '[7643, 7643, -3*w^5 + 5*w^4 + 13*w^3 - 17*w^2 - 12*w + 8]', '[7669, 7669, w^5 - 3*w^4 - w^3 + 11*w^2 - 4*w - 5]', '[7669, 7669, 3*w^5 - 2*w^4 - 13*w^3 + 4*w^2 + 10*w]', '[7669, 7669, w^5 + 2*w^4 - 6*w^3 - 5*w^2 + 7*w - 3]', '[7669, 7669, w^5 + 3*w^4 - 7*w^3 - 12*w^2 + 9*w + 6]', '[7669, 7669, -w^5 + 2*w^4 + 6*w^3 - 7*w^2 - 11*w + 5]', '[7669, 7669, -4*w^5 + 2*w^4 + 17*w^3 - 7*w^2 - 13*w + 2]', '[7723, 7723, -3*w^5 + 15*w^3 + 2*w^2 - 17*w]', '[7723, 7723, 3*w^5 - w^4 - 16*w^3 + 5*w^2 + 17*w - 6]', '[7723, 7723, -w^5 + 5*w^3 + 4*w^2 - 7*w - 5]', '[7723, 7723, 3*w^5 - w^4 - 14*w^3 + w^2 + 11*w + 4]', '[7723, 7723, -2*w^5 + w^4 + 8*w^3 - 2*w^2 - 2*w - 3]', '[7723, 7723, -4*w^5 + 4*w^4 + 18*w^3 - 13*w^2 - 18*w + 3]', '[7775, 1555, -2*w^5 + 3*w^4 + 6*w^3 - 12*w^2 + 9]', '[7775, 1555, 2*w^4 - w^3 - 10*w^2 + 3*w + 7]', '[7775, 1555, 2*w^5 - 3*w^4 - 11*w^3 + 10*w^2 + 13*w - 2]', '[7775, 1555, w^5 + 2*w^4 - 5*w^3 - 5*w^2 + 3*w - 2]', '[7775, 1555, -2*w^5 + 12*w^3 + w^2 - 14*w - 1]', '[7775, 1555, -w^5 + 5*w^3 + 2*w^2 - 3*w - 5]', '[7775, 1555, 3*w^5 - 3*w^4 - 14*w^3 + 8*w^2 + 13*w - 1]', '[7775, 1555, -w^5 + 3*w^4 + 2*w^3 - 13*w^2 + 3*w + 8]', '[7775, 1555, -2*w^5 + 2*w^4 + 6*w^3 - 7*w^2 + 5]', '[7775, 1555, -w^5 - 3*w^4 + 6*w^3 + 11*w^2 - 7*w - 6]', '[7775, 1555, -4*w^5 + 3*w^4 + 17*w^3 - 11*w^2 - 12*w + 5]', '[7775, 1555, -w^5 + 4*w^4 + 3*w^3 - 14*w^2 - 3*w + 5]', '[7775, 1555, -2*w^5 + 12*w^3 - 15*w + 1]', '[7775, 1555, 2*w^4 + w^3 - 6*w^2 - 6*w + 2]', '[7775, 1555, -2*w^5 + 11*w^3 + 2*w^2 - 11*w - 5]', '[7775, 1555, -2*w^5 + 3*w^4 + 8*w^3 - 10*w^2 - 8*w + 3]', '[7775, 1555, -4*w^4 + 2*w^3 + 14*w^2 - 3*w - 7]', '[7775, 1555, 2*w^5 - 3*w^4 - 8*w^3 + 12*w^2 + 3*w - 8]', '[7787, 7787, w^5 - w^4 - 5*w^3 + 4*w^2 + 2*w - 4]', '[7787, 7787, -w^5 + 2*w^4 + 2*w^3 - 3*w^2 + 3]', '[7787, 7787, -w^5 + 4*w^2 + 4*w - 1]', '[7787, 7787, 4*w^5 + 2*w^4 - 16*w^3 - 12*w^2 + 9*w + 8]', '[7787, 7787, 4*w^5 - 17*w^3 - w^2 + 14*w - 2]', '[7787, 7787, 3*w^5 - w^4 - 11*w^3 + 3*w^2 + 5*w - 4]', '[7825, 1565, -2*w^5 - w^4 + 12*w^3 + 3*w^2 - 14*w]', '[7825, 1565, -w^5 + w^4 + 7*w^3 - 3*w^2 - 13*w + 2]', '[7825, 1565, -w^5 + 2*w^4 + 5*w^3 - 4*w^2 - 7*w - 4]', '[7825, 1565, -2*w^4 - 2*w^3 + 6*w^2 + 7*w - 2]', '[7825, 1565, w^5 + w^4 - 5*w^3 - 5*w^2 + 2*w + 5]', '[7825, 1565, -w^5 - w^4 + 5*w^3 + w^2 - 5*w + 5]', '[7825, 1565, w^5 - w^4 - w^3 + 4*w^2 - 5*w - 4]', '[7825, 1565, -2*w^5 + 4*w^4 + 9*w^3 - 14*w^2 - 7*w + 4]', '[7825, 1565, -3*w^5 + 3*w^4 + 12*w^3 - 8*w^2 - 8*w + 2]', '[7825, 1565, 4*w^5 - 4*w^4 - 18*w^3 + 13*w^2 + 16*w - 6]', '[7825, 1565, w^5 - 3*w^4 - 6*w^3 + 12*w^2 + 8*w - 5]', '[7825, 1565, w^5 + w^4 - 6*w^3 - 7*w^2 + 8*w + 7]', '[7825, 1565, 2*w^5 - w^4 - 8*w^3 + 4*w^2 + 2*w - 4]', '[7825, 1565, -4*w^4 + 2*w^3 + 15*w^2 - 5*w - 8]', '[7825, 1565, -4*w^5 + w^4 + 18*w^3 - 3*w^2 - 15*w]', '[7825, 1565, -w^4 + 5*w^2 - 3*w - 5]', '[7825, 1565, -3*w^5 + 4*w^4 + 12*w^3 - 14*w^2 - 10*w + 6]', '[7825, 1565, -3*w^5 + w^4 + 14*w^3 - 5*w^2 - 11*w + 3]', '[7853, 7853, 2*w^5 + 2*w^4 - 10*w^3 - 7*w^2 + 12*w]', '[7853, 7853, 3*w^5 - 11*w^3 - 2*w^2 + 5*w + 4]', '[7853, 7853, 4*w^5 - 2*w^4 - 19*w^3 + 6*w^2 + 21*w - 4]', '[7853, 7853, 2*w^5 - 8*w^3 - 4*w^2 + 7*w + 8]', '[7853, 7853, -w^5 + w^4 + 2*w^3 - w^2 + 5*w - 1]', '[7853, 7853, 2*w^5 - w^4 - 12*w^3 + 6*w^2 + 16*w - 4]', '[7877, 7877, -2*w^5 + 9*w^3 - w^2 - 9*w + 6]', '[7877, 7877, -3*w^5 + 13*w^3 + 2*w^2 - 10*w - 6]', '[7877, 7877, 4*w^4 - 2*w^3 - 14*w^2 + 5*w + 6]', '[7877, 7877, -w^5 + 2*w^4 + 2*w^3 - 5*w^2 + 3*w + 3]', '[7877, 7877, 2*w^5 - 11*w^3 - w^2 + 15*w - 2]', '[7877, 7877, w^5 - 3*w^3 - 2*w^2 + 2*w + 6]', '[7879, 7879, 3*w^5 - 13*w^3 - w^2 + 12*w - 2]', '[7879, 7879, w^5 + w^4 - 7*w^3 - 2*w^2 + 12*w + 1]', '[7879, 7879, 2*w^5 - w^4 - 11*w^3 + 5*w^2 + 15*w - 2]', '[7879, 7879, -2*w^5 + 7*w^3 + 3*w^2 - 2*w - 7]', '[7879, 7879, -3*w^5 + 14*w^3 + 2*w^2 - 15*w]', '[7879, 7879, -w^5 + 2*w^3 + 3*w^2 + 2*w - 7]', '[8009, 8009, 4*w^5 - 2*w^4 - 17*w^3 + 7*w^2 + 12*w - 3]', '[8009, 8009, 2*w^5 - 3*w^4 - 11*w^3 + 11*w^2 + 13*w - 4]', '[8009, 8009, -w^5 + 2*w^4 + 6*w^3 - 6*w^2 - 11*w + 2]', '[8009, 8009, w^5 - 2*w^4 - 4*w^3 + 9*w^2 - 7]', '[8009, 8009, -w^5 - 2*w^4 + 5*w^3 + 5*w^2 - 4*w + 2]', '[8009, 8009, 3*w^5 - 3*w^4 - 13*w^3 + 8*w^2 + 10*w - 1]', '[8059, 8059, -2*w^5 + 3*w^4 + 8*w^3 - 11*w^2 - 3*w + 8]', '[8059, 8059, -2*w^5 - 2*w^4 + 9*w^3 + 8*w^2 - 7*w - 7]', '[8059, 8059, 3*w^5 - w^4 - 16*w^3 + 3*w^2 + 19*w - 4]', '[8059, 8059, 2*w^5 - 2*w^4 - 8*w^3 + 5*w^2 + 8*w + 3]', '[8059, 8059, -w^5 - w^4 + 5*w^3 + w^2 - 3*w + 6]', '[8059, 8059, -w^5 - w^4 + 3*w^3 + 3*w^2 + 3*w - 3]', '[8087, 8087, 4*w^5 - 19*w^3 - 2*w^2 + 20*w + 2]', '[8087, 8087, 2*w^5 - w^4 - 11*w^3 + 6*w^2 + 15*w - 6]', '[8087, 8087, w^5 + w^4 - 8*w^3 - 2*w^2 + 15*w - 1]', '[8087, 8087, -2*w^5 - w^4 + 7*w^3 + 7*w^2 - 2*w - 7]', '[8087, 8087, -3*w^5 + 13*w^3 + w^2 - 13*w]', '[8087, 8087, -2*w^5 + w^4 + 6*w^3 - w - 4]', '[8111, 8111, 4*w^5 - 2*w^4 - 16*w^3 + 5*w^2 + 11*w - 2]', '[8111, 8111, -w^5 + w^4 + 3*w^3 + w - 6]', '[8111, 8111, -w^5 - 2*w^4 + 4*w^3 + 10*w^2 - 4*w - 6]', '[8111, 8111, 2*w^5 - w^4 - 10*w^3 + 3*w^2 + 14*w]', '[8111, 8111, -w^4 + w^3 + 6*w^2 - 6*w - 6]', '[8111, 8111, -w^5 + w^4 + 8*w^3 - 5*w^2 - 14*w + 5]', '[8125, 65, -w^5 + 4*w^4 + 2*w^3 - 15*w^2 + w + 8]', '[8125, 65, w^5 + 2*w^4 - 7*w^3 - 8*w^2 + 8*w + 5]', '[8125, 65, 2*w^4 - 3*w^3 - 9*w^2 + 7*w + 7]', '[8125, 325, 2*w^5 - 4*w^4 - 9*w^3 + 13*w^2 + 9*w - 4]', '[8125, 325, -w^5 + 3*w^3 - 2*w^2 + 2*w + 4]', '[8125, 325, 3*w^5 - 2*w^4 - 14*w^3 + 7*w^2 + 11*w - 3]', '[8137, 8137, -2*w^5 + 3*w^4 + 8*w^3 - 10*w^2 - 4*w + 7]', '[8137, 8137, 2*w^5 + w^4 - 10*w^3 - 7*w^2 + 10*w + 5]', '[8137, 8137, -4*w^5 + 2*w^4 + 16*w^3 - 5*w^2 - 12*w - 1]', '[8137, 8137, -w^5 - 2*w^4 + 4*w^3 + 9*w^2 - 5*w - 4]', '[8137, 8137, -3*w^3 + 3*w^2 + 8*w - 2]', '[8137, 8137, -w^5 + 7*w^3 - 14*w - 1]', '[8137, 8137, w^5 - w^4 - w^3 + 3*w^2 - 4*w - 4]', '[8137, 8137, -2*w^5 - w^4 + 11*w^3 + 3*w^2 - 15*w + 3]', '[8137, 8137, -3*w^5 + 13*w^3 - w^2 - 9*w]', '[8137, 8137, -w^5 - 2*w^4 + 4*w^3 + 8*w^2 - 2*w - 8]', '[8137, 8137, -2*w^5 + 4*w^4 + 9*w^3 - 13*w^2 - 10*w + 3]', '[8137, 8137, 4*w^5 - 3*w^4 - 17*w^3 + 9*w^2 + 12*w - 5]', '[8137, 8137, w^3 + 2*w^2 - 6*w - 6]', '[8137, 8137, -w^5 + 4*w^4 + 4*w^3 - 13*w^2 - 4*w + 5]', '[8137, 8137, -3*w^5 + w^4 + 15*w^3 - 3*w^2 - 16*w + 5]', '[8137, 8137, 3*w^5 + w^4 - 16*w^3 - 3*w^2 + 19*w - 2]', '[8137, 8137, 2*w^4 + 3*w^3 - 9*w^2 - 9*w + 7]', '[8137, 8137, 3*w^5 - 3*w^4 - 14*w^3 + 11*w^2 + 13*w - 2]', '[8137, 8137, 3*w^5 - w^4 - 15*w^3 + 4*w^2 + 18*w - 6]', '[8137, 8137, 3*w^5 - 3*w^4 - 12*w^3 + 11*w^2 + 10*w - 4]', '[8137, 8137, 3*w^5 - 2*w^4 - 15*w^3 + 7*w^2 + 14*w - 4]', '[8137, 8137, 2*w^5 - 2*w^4 - 8*w^3 + 5*w^2 + 7*w + 4]', '[8137, 8137, 2*w^5 - 3*w^4 - 10*w^3 + 12*w^2 + 9*w - 4]', '[8137, 8137, w^4 - 3*w^2 + 2*w - 4]', '[8137, 8137, w^5 - w^4 - 2*w^3 + 3*w^2 - 4*w - 5]', '[8137, 8137, -w^5 + 5*w^3 - 4*w - 5]', '[8137, 8137, -w^5 + w^4 + 3*w^3 - 6*w^2 + 2*w + 5]', '[8137, 8137, w^5 - 2*w^4 - 4*w^3 + 7*w^2 + 3*w - 8]', '[8137, 8137, w^5 - w^4 - 5*w^3 + 6*w^2 + 5*w - 2]', '[8137, 8137, 5*w^5 - 2*w^4 - 22*w^3 + 5*w^2 + 19*w - 2]', '[8137, 8137, -2*w^5 + 3*w^4 + 11*w^3 - 10*w^2 - 15*w + 6]', '[8137, 8137, 2*w^5 - 2*w^4 - 10*w^3 + 5*w^2 + 12*w - 3]', '[8137, 8137, -w^5 - 2*w^4 + 8*w^3 + 6*w^2 - 12*w + 1]', '[8137, 8137, -3*w^5 + 15*w^3 - 2*w^2 - 16*w + 3]', '[8137, 8137, -2*w^5 + 2*w^4 + 7*w^3 - 3*w^2 - 3*w - 5]', '[8137, 8137, w^5 - 3*w^4 - 4*w^3 + 8*w^2 + 3*w + 3]', '[8191, 8191, -2*w^3 + 9*w]', '[8191, 8191, -3*w^5 + 17*w^3 - 21*w + 1]', '[8191, 8191, -3*w^5 + 15*w^3 - 2*w^2 - 15*w + 4]', '[8191, 8191, w^5 - w^4 - 7*w^3 + 4*w^2 + 14*w - 3]', '[8191, 8191, 3*w^4 - w^3 - 14*w^2 + 3*w + 10]', '[8191, 8191, 5*w^5 - 3*w^4 - 22*w^3 + 9*w^2 + 19*w - 3]', '[8243, 8243, -w^5 + 2*w^4 + 3*w^3 - 7*w^2 + 3*w + 4]', '[8243, 8243, -4*w^5 + 2*w^4 + 19*w^3 - 8*w^2 - 18*w + 4]', '[8243, 8243, -3*w^4 - w^3 + 11*w^2 + 2*w - 3]', '[8243, 8243, -4*w^5 + 3*w^4 + 18*w^3 - 8*w^2 - 17*w + 2]', '[8243, 8243, -w^5 - w^4 + 2*w^3 + 4*w^2 + 5*w - 3]', '[8243, 8243, w^4 - w^3 + w - 6]', '[8269, 8269, -2*w^5 - w^4 + 9*w^3 + 7*w^2 - 10*w - 6]', '[8269, 8269, -4*w^5 + w^4 + 16*w^3 - 2*w^2 - 11*w + 1]', '[8269, 8269, 3*w^5 - 2*w^4 - 15*w^3 + 7*w^2 + 19*w - 3]', '[8269, 8269, 2*w^5 - w^4 - 7*w^3 + w + 5]', '[8269, 8269, -w^5 + w^4 + 8*w^3 - 6*w^2 - 13*w + 6]', '[8269, 8269, 2*w^5 + 2*w^4 - 11*w^3 - 6*w^2 + 14*w + 1]', '[8293, 8293, -2*w^5 + 3*w^4 + 5*w^3 - 10*w^2 + 3*w + 5]', '[8293, 8293, w^3 + 2*w^2 - 5]', '[8293, 8293, -3*w^5 + 17*w^3 + w^2 - 21*w - 1]', '[8293, 8293, 2*w^5 + 3*w^4 - 10*w^3 - 12*w^2 + 9*w + 7]', '[8293, 8293, -w^5 + 3*w^4 + 4*w^3 - 14*w^2 - 3*w + 10]', '[8293, 8293, 2*w^5 - 3*w^4 - 7*w^3 + 9*w^2 + 6*w - 2]', '[8321, 8321, -w^5 - w^4 + 8*w^3 - 12*w + 2]', '[8321, 8321, -5*w^5 + 2*w^4 + 24*w^3 - 6*w^2 - 24*w - 2]', '[8321, 8321, 3*w^5 - 3*w^4 - 9*w^3 + 11*w^2 + w - 5]', '[8321, 8321, -3*w^5 + 4*w^4 + 15*w^3 - 15*w^2 - 15*w + 7]', '[8321, 8321, -2*w^4 + 3*w^3 + 5*w^2 - 10*w]', '[8321, 8321, 4*w^5 - 15*w^3 - w^2 + 8*w - 2]', '[8321, 8321, 3*w^5 - 14*w^3 - 5*w^2 + 16*w + 6]', '[8321, 8321, 2*w^5 + 2*w^4 - 11*w^3 - 8*w^2 + 15*w + 2]', '[8321, 8321, -w^5 - w^4 + 8*w^3 + w^2 - 13*w + 1]', '[8321, 8321, 4*w^5 - w^4 - 18*w^3 - w^2 + 17*w + 8]', '[8321, 8321, 2*w^5 - 3*w^4 - 11*w^3 + 9*w^2 + 16*w - 2]', '[8321, 8321, -2*w^5 + w^4 + 13*w^3 - 7*w^2 - 17*w + 9]', '[8321, 8321, -4*w^5 + w^4 + 17*w^3 - 4*w^2 - 11*w + 3]', '[8321, 8321, 2*w^4 - 7*w^2 + 3*w + 6]', '[8321, 8321, 5*w^5 - 4*w^4 - 24*w^3 + 14*w^2 + 27*w - 5]', '[8321, 8321, -3*w^4 + 8*w^2 + w + 1]', '[8321, 8321, 2*w^5 - 6*w^3 - 2*w^2 + w + 4]', '[8321, 8321, -w^5 + w^4 + 4*w^3 - 6*w^2 + w + 6]', '[8321, 8321, w^5 + 3*w^4 - 7*w^3 - 11*w^2 + 13*w + 2]', '[8321, 8321, 5*w^5 - 3*w^4 - 23*w^3 + 11*w^2 + 23*w - 9]', '[8321, 8321, -w^5 + w^4 + w^3 - 3*w^2 + 8*w - 3]', '[8321, 8321, 2*w^5 - 2*w^4 - 11*w^3 + 4*w^2 + 16*w + 1]', '[8321, 8321, w^5 + 3*w^4 - 5*w^3 - 10*w^2 + 9*w + 5]', '[8321, 8321, w^5 + 3*w^4 - 3*w^3 - 12*w^2 - w + 2]', '[8321, 8321, 5*w^5 - 3*w^4 - 23*w^3 + 9*w^2 + 24*w]', '[8321, 8321, -2*w^5 - w^4 + 10*w^3 + 7*w^2 - 7*w - 6]', '[8321, 8321, 3*w^5 - 3*w^4 - 12*w^3 + 7*w^2 + 10*w - 3]', '[8321, 8321, 2*w^5 + w^4 - 6*w^3 - 5*w^2 + w + 5]', '[8321, 8321, -w^5 - 5*w^4 + 8*w^3 + 18*w^2 - 12*w - 6]', '[8321, 8321, 4*w^5 - 2*w^4 - 18*w^3 + 7*w^2 + 18*w - 6]', '[8321, 8321, w^4 + 2*w^3 - 6*w^2 - 8*w + 4]', '[8321, 8321, 3*w^5 - w^4 - 14*w^3 + 3*w^2 + 16*w - 3]', '[8321, 8321, -w^5 + w^4 + 6*w^3 - w^2 - 5*w - 3]', '[8321, 8321, -2*w^5 - w^4 + 14*w^3 + 3*w^2 - 19*w - 3]', '[8321, 8321, -w^5 - 4*w^4 + 7*w^3 + 13*w^2 - 12*w - 5]', '[8321, 8321, 3*w^5 - 5*w^4 - 12*w^3 + 18*w^2 + 12*w - 11]', '[8384, 262, 2*w^5 - 2*w^4 - 10*w^3 + 6*w^2 + 8*w - 2]', '[8384, 262, -2*w^5 + 4*w^4 + 8*w^3 - 12*w^2 - 8*w + 4]', '[8384, 262, 2*w^5 - 2*w^4 - 8*w^3 + 10*w^2 + 4*w - 10]', '[8384, 262, 4*w^4 - 14*w^2 - 2*w + 4]', '[8384, 262, -4*w^5 + 2*w^4 + 18*w^3 - 4*w^2 - 16*w]', '[8384, 262, 4*w^5 - 2*w^4 - 20*w^3 + 6*w^2 + 20*w]', '[8397, 933, w^5 - 6*w^3 + w^2 + 11*w - 2]', '[8397, 933, 3*w^5 - 2*w^4 - 15*w^3 + 7*w^2 + 19*w - 4]', '[8397, 933, -4*w^5 + 2*w^4 + 17*w^3 - 5*w^2 - 15*w + 1]', '[8397, 933, -4*w^5 + w^4 + 16*w^3 - 2*w^2 - 11*w]', '[8397, 933, 3*w^5 - 16*w^3 + w^2 + 19*w - 2]', '[8397, 933, 2*w^5 + 2*w^4 - 11*w^3 - 6*w^2 + 14*w]', '[8397, 933, -w^5 + 3*w^3 + 4*w^2 - 7]', '[8397, 933, -2*w^5 + w^4 + 7*w^3 - w - 4]', '[8397, 933, -2*w^5 - 2*w^4 + 9*w^3 + 9*w^2 - 9*w - 5]', '[8397, 933, -2*w^5 - w^4 + 9*w^3 + 7*w^2 - 10*w - 7]', '[8397, 933, w^5 - w^3 - 2*w^2 - 6*w + 3]', '[8397, 933, -w^5 + w^4 + 8*w^3 - 6*w^2 - 13*w + 5]', '[8423, 8423, -2*w^5 + 4*w^4 + 6*w^3 - 14*w^2 + w + 8]', '[8423, 8423, 4*w^5 - 20*w^3 + 21*w - 2]', '[8423, 8423, -4*w^5 + 3*w^4 + 16*w^3 - 8*w^2 - 12*w]', '[8423, 8423, 2*w^4 - 2*w^3 - 5*w^2 + 2*w - 2]', '[8423, 8423, -4*w^3 + w^2 + 12*w]', '[8423, 8423, -3*w^5 + w^4 + 16*w^3 - w^2 - 19*w - 1]', '[8425, 1685, 2*w^5 + 3*w^4 - 11*w^3 - 11*w^2 + 14*w + 1]', '[8425, 1685, w^5 - 2*w^4 - 3*w^3 + 7*w^2 + w + 2]', '[8425, 1685, -w^5 + 3*w^4 - 8*w^2 + 11*w - 1]', '[8425, 1685, 3*w^5 - 13*w^3 + 2*w^2 + 9*w - 2]', '[8425, 1685, -w^5 + 5*w^4 + 3*w^3 - 17*w^2 - w + 8]', '[8425, 1685, -2*w^5 + w^4 + 10*w^3 - 5*w^2 - 6*w + 4]', '[8425, 1685, 2*w^5 - 13*w^3 + 2*w^2 + 18*w]', '[8425, 1685, w^4 - w^3 - 4*w^2 + w + 8]', '[8425, 1685, 2*w^5 - w^4 - 6*w^3 - 2*w^2 + 3*w + 6]', '[8425, 1685, -4*w^5 - w^4 + 15*w^3 + 7*w^2 - 6*w - 5]', '[8425, 1685, w^5 + w^4 - 6*w^3 - 4*w^2 + 7*w - 3]', '[8425, 1685, w^5 - 3*w^3 - 3*w^2 - 3*w + 2]', '[8425, 1685, 4*w^5 - 5*w^4 - 17*w^3 + 19*w^2 + 13*w - 15]', '[8425, 1685, -2*w^5 + 3*w^4 + 10*w^3 - 13*w^2 - 12*w + 7]', '[8425, 1685, -4*w^4 - w^3 + 18*w^2 + 3*w - 12]', '[8425, 1685, -w^4 + w^3 + 5*w^2 - 2*w + 1]', '[8425, 1685, 3*w^5 - w^4 - 10*w^3 + 2*w^2 + 3*w + 3]', '[8425, 1685, 3*w^5 + 2*w^4 - 13*w^3 - 7*w^2 + 13*w + 2]', '[8451, 939, w^5 - 2*w^4 - 2*w^3 + 6*w^2 - 4*w - 4]', '[8451, 939, -2*w^4 + 3*w^3 + 7*w^2 - 8*w - 7]', '[8451, 939, 2*w^5 - 2*w^4 - 10*w^3 + 9*w^2 + 11*w - 4]', '[8451, 939, w^5 - 2*w^4 - 4*w^3 + 9*w^2 + 4*w - 3]', '[8451, 939, -w^5 + w^4 + 3*w^3 - w^2 - 2*w - 5]', '[8451, 939, -w^5 + 2*w^4 + 2*w^3 - 6*w^2 + w - 2]', '[8451, 939, w^5 + 2*w^4 - 5*w^3 - 9*w^2 + 4*w + 10]', '[8451, 939, 2*w^5 + w^4 - 8*w^3 - 5*w^2 + 4*w + 6]', '[8451, 939, -2*w^5 - w^4 + 11*w^3 + 5*w^2 - 13*w]', '[8451, 939, -3*w^5 + w^4 + 15*w^3 - 2*w^2 - 17*w + 2]', '[8451, 939, w^5 + w^4 - 4*w^3 - 3*w^2 + 4*w - 3]', '[8451, 939, w^5 - w^4 - 3*w^3 + 4*w^2 + 2*w - 7]', '[8501, 8501, -4*w^5 + 4*w^4 + 18*w^3 - 14*w^2 - 18*w + 5]', '[8501, 8501, -2*w^5 + 7*w^3 + 2*w^2 - w - 6]', '[8501, 8501, -2*w^5 + 6*w^3 + 3]', '[8501, 8501, 4*w^4 - 2*w^3 - 14*w^2 + 6*w + 7]', '[8501, 8501, -2*w^5 + 8*w^3 + 2*w^2 - 2*w - 5]', '[8501, 8501, 2*w^5 - 10*w^3 - 4*w^2 + 12*w + 5]', '[8527, 8527, 3*w^4 - 2*w^3 - 13*w^2 + 6*w + 7]', '[8527, 8527, -w^5 + 8*w^3 - 12*w + 1]', '[8527, 8527, 2*w^5 - w^4 - 9*w^3 + 3*w^2 + 8*w + 4]', '[8527, 8527, 3*w^5 - 3*w^4 - 11*w^3 + 11*w^2 + 6*w - 8]', '[8527, 8527, -2*w^5 + 10*w^3 + 3*w^2 - 9*w - 7]', '[8527, 8527, -w^4 + 4*w^2 - w - 7]', '[8581, 8581, -2*w^5 - 2*w^4 + 10*w^3 + 8*w^2 - 8*w - 7]', '[8581, 8581, -w^5 + w^4 + 7*w^3 - 6*w^2 - 12*w + 5]', '[8581, 8581, 2*w^5 - 4*w^4 - 8*w^3 + 16*w^2 + 6*w - 7]', '[8581, 8581, 2*w^5 - 12*w^3 - 2*w^2 + 16*w + 1]', '[8581, 8581, -2*w^5 + 4*w^4 + 6*w^3 - 14*w^2 + 9]', '[8581, 8581, -3*w^5 + 12*w^3 + 3*w^2 - 8*w - 5]', '[8737, 8737, 3*w^5 - 4*w^4 - 12*w^3 + 11*w^2 + 9*w - 2]', '[8737, 8737, -w^5 + 4*w^4 + 6*w^3 - 15*w^2 - 9*w + 6]', '[8737, 8737, 3*w^5 - 4*w^4 - 11*w^3 + 14*w^2 + 7*w - 5]', '[8737, 8737, 5*w^5 - 2*w^4 - 23*w^3 + 6*w^2 + 20*w - 1]', '[8737, 8737, w^5 - 2*w^4 - 5*w^3 + 8*w^2 + 2*w - 5]', '[8737, 8737, -4*w^4 + 2*w^3 + 16*w^2 - 5*w - 11]', '[8761, 8761, -3*w^5 + w^4 + 14*w^3 - 5*w^2 - 12*w + 2]', '[8761, 8761, w^5 + 3*w^4 - 6*w^3 - 10*w^2 + 6*w + 6]', '[8761, 8761, 2*w^5 - w^4 - 10*w^3 + w^2 + 9*w + 6]', '[8761, 8761, -2*w^4 - 2*w^3 + 7*w^2 + 7*w - 5]', '[8761, 8761, 2*w^5 - w^4 - 12*w^3 + 3*w^2 + 15*w - 3]', '[8761, 8761, -w^5 + 3*w^4 + 3*w^3 - 13*w^2 + w + 6]', '[8775, 195, -w^5 + 3*w^4 + w^3 - 10*w^2 + 6*w + 6]', '[8775, 195, 2*w^5 - 3*w^4 - 9*w^3 + 13*w^2 + 9*w - 7]', '[8775, 195, 3*w^5 - 16*w^3 - 2*w^2 + 19*w + 1]', '[8775, 195, -w^5 + 3*w^3 - w^2 - 2*w + 5]', '[8775, 195, -2*w^5 - 2*w^4 + 9*w^3 + 9*w^2 - 6*w - 8]', '[8775, 195, -w^5 + 2*w^4 + 2*w^3 - 5*w^2 - 2]', '[8801, 8801, w^5 + w^4 - 5*w^3 + 3*w - 5]', '[8801, 8801, 3*w^5 - 10*w^3 - 3*w^2 + 5*w - 1]', '[8801, 8801, -3*w^5 - 3*w^4 + 13*w^3 + 15*w^2 - 8*w - 7]', '[8801, 8801, w^5 + w^4 - 2*w^3 - 3*w^2 - 6*w]', '[8801, 8801, 2*w^5 - 3*w^4 - 4*w^3 + 7*w^2 - 2*w - 4]', '[8801, 8801, -4*w^5 + 2*w^4 + 16*w^3 - 5*w^2 - 12*w + 3]', '[8839, 8839, -2*w^5 + w^4 + 10*w^3 - 2*w^2 - 11*w + 3]', '[8839, 8839, w^5 + w^4 - 4*w^3 - 4*w^2 + w + 6]', '[8839, 8839, w^5 - 2*w^4 - 3*w^3 + 7*w^2 - w - 7]', '[8839, 8839, w^4 - w^3 - 2*w^2 + w - 5]', '[8839, 8839, w^4 + w^3 - 3*w^2 - 2*w - 4]', '[8839, 8839, 2*w^5 - 2*w^4 - 9*w^3 + 8*w^2 + 8*w - 1]', '[8867, 8867, -w^5 + w^4 + 4*w^3 + w^2 - 5*w - 8]', '[8867, 8867, -w^5 + 2*w^4 + 6*w^3 - 11*w^2 - 10*w + 7]', '[8867, 8867, -3*w^5 + 11*w^3 + 6*w^2 - 6*w - 9]', '[8867, 8867, -4*w^5 + 2*w^4 + 18*w^3 - 4*w^2 - 21*w - 1]', '[8867, 8867, -3*w^5 + w^4 + 14*w^3 - 6*w^2 - 14*w + 11]', '[8867, 8867, 2*w^5 - 10*w^3 + 3*w^2 + 11*w - 9]', '[8893, 8893, 2*w^5 - 4*w^4 - 12*w^3 + 12*w^2 + 17*w - 1]', '[8893, 8893, 4*w^5 - 3*w^4 - 17*w^3 + 14*w^2 + 12*w - 10]', '[8893, 8893, -w^5 + 6*w^4 - 20*w^2 + 7*w + 6]', '[8893, 8893, 6*w^5 - 6*w^4 - 26*w^3 + 21*w^2 + 20*w - 9]', '[8893, 8893, w^5 - 7*w^3 - 4*w^2 + 14*w + 5]', '[8893, 8893, -5*w^5 + 2*w^4 + 22*w^3 - 5*w^2 - 15*w - 2]', '[8957, 689, -2*w^5 - w^4 + 8*w^3 + 7*w^2 - 5*w - 9]', '[8957, 689, -w^5 + w^4 + 6*w^3 - 6*w^2 - 10*w + 4]', '[8957, 689, -w^5 - w^4 + 8*w^3 + 2*w^2 - 14*w - 1]', '[8957, 689, -3*w^5 - w^4 + 15*w^3 + 5*w^2 - 17*w - 1]', '[8957, 689, 3*w^5 - w^4 - 13*w^3 + 3*w^2 + 13*w - 4]', '[8957, 689, 2*w^5 - w^4 - 6*w^3 + w^2 + w + 4]', '[8969, 8969, 2*w^5 - 3*w^4 - 9*w^3 + 10*w^2 + 11*w - 2]', '[8969, 8969, -3*w^5 + 2*w^4 + 11*w^3 - 7*w^2 - 5*w + 6]', '[8969, 8969, -2*w^4 + w^3 + 10*w^2 - 4*w - 6]', '[8969, 8969, -2*w^5 + w^4 + 9*w^3 - w^2 - 6*w - 5]', '[8969, 8969, -2*w^5 + w^4 + 12*w^3 - 4*w^2 - 15*w + 4]', '[8969, 8969, -w^5 - 3*w^4 + 6*w^3 + 10*w^2 - 7*w - 5]', '[8971, 8971, w^5 + 3*w^4 - 6*w^3 - 12*w^2 + 8*w + 9]', '[8971, 8971, -w^5 - w^4 + 5*w^3 + 7*w^2 - 5*w - 5]', '[8971, 8971, w^5 - w^4 - w^3 + 3*w^2 - 5*w - 4]', '[8971, 8971, 2*w^5 + w^4 - 12*w^3 - 3*w^2 + 15*w - 2]', '[8971, 8971, 3*w^5 - 3*w^4 - 12*w^3 + 10*w^2 + 10*w - 2]', '[8971, 8971, -w^4 + 5*w^2 + 3*w - 7]', '[9049, 9049, -2*w^5 + 9*w^3 + 3*w^2 - 6*w - 7]', '[9049, 9049, w^5 + 2*w^4 - 6*w^3 - 10*w^2 + 9*w + 6]', '[9049, 9049, w^5 - 8*w^3 + w^2 + 12*w - 3]', '[9049, 9049, 3*w^5 - 2*w^4 - 11*w^3 + 7*w^2 + 6*w - 6]', '[9049, 9049, 2*w^5 - 3*w^4 - 9*w^3 + 11*w^2 + 11*w - 4]', '[9049, 9049, w^5 + 3*w^4 - 7*w^3 - 10*w^2 + 10*w + 5]', '[9099, 1011, -4*w^5 + 3*w^4 + 13*w^3 - 10*w^2 + 3]', '[9099, 1011, -2*w^5 + 2*w^4 + 6*w^3 - 8*w^2 + 2*w + 5]', '[9099, 1011, w^5 - 6*w^3 - 2*w^2 + 8*w - 2]', '[9099, 1011, 2*w^5 - 2*w^4 - 9*w^3 + 5*w^2 + 10*w - 5]', '[9099, 1011, 4*w^5 - 5*w^4 - 17*w^3 + 14*w^2 + 18*w - 4]', '[9099, 1011, 2*w^5 - 4*w^4 - 8*w^3 + 12*w^2 + 8*w - 3]', '[9099, 1011, 2*w^5 + 5*w^4 - 9*w^3 - 18*w^2 + 6*w + 5]', '[9099, 1011, 4*w^4 - 14*w^2 - 2*w + 5]', '[9099, 1011, 3*w^4 + 2*w^3 - 12*w^2 - 8*w + 8]', '[9099, 1011, -3*w^5 + 5*w^4 + 15*w^3 - 19*w^2 - 19*w + 13]', '[9099, 1011, 2*w^5 - 2*w^4 - 10*w^3 + 6*w^2 + 8*w - 1]', '[9099, 1011, 2*w^5 - 3*w^4 - 9*w^3 + 8*w^2 + 4*w - 1]', '[9113, 9113, -2*w^5 + w^4 + 7*w^3 - 3*w^2 - 4*w + 6]', '[9113, 9113, 2*w^5 + w^4 - 10*w^3 - 6*w^2 + 11*w + 1]', '[9113, 9113, 2*w^5 - 5*w^3 - 6*w^2 - 2*w + 5]', '[9113, 9113, -2*w^5 - w^4 + 6*w^3 + 8*w^2 + 2*w - 2]', '[9113, 9113, 5*w^5 + 3*w^4 - 21*w^3 - 15*w^2 + 14*w + 6]', '[9113, 9113, w^5 - 2*w^4 - 4*w^3 + 4*w^2 + 7*w + 4]', '[9127, 9127, 3*w^5 - w^4 - 15*w^3 + w^2 + 16*w]', '[9127, 9127, -2*w^4 + w^3 + 10*w^2 - 2*w - 5]', '[9127, 9127, 2*w^5 - 3*w^4 - 7*w^3 + 10*w^2 + 5*w - 1]', '[9127, 9127, -2*w^5 - w^4 + 12*w^3 + 4*w^2 - 15*w + 1]', '[9127, 9127, -w^4 + w^3 + 5*w^2 - 8]', '[9127, 9127, 3*w^5 - 3*w^4 - 13*w^3 + 12*w^2 + 11*w - 5]', '[9151, 9151, 2*w^5 + w^4 - 12*w^3 - 4*w^2 + 15*w]', '[9151, 9151, w^5 - 2*w^4 - w^3 + 7*w^2 - 5*w - 6]', '[9151, 9151, -2*w^4 + w^3 + 10*w^2 - 2*w - 6]', '[9151, 9151, -w^4 + w^3 + 5*w^2 - 7]', '[9151, 9151, -w^5 - 3*w^4 + 6*w^3 + 12*w^2 - 7*w - 9]', '[9151, 9151, 2*w^5 - 3*w^4 - 7*w^3 + 10*w^2 + 5*w - 2]', '[9203, 9203, -w^4 + w^3 + 6*w^2 - 7]', '[9203, 9203, -2*w^5 - 3*w^4 + 11*w^3 + 12*w^2 - 12*w - 7]', '[9203, 9203, -2*w^5 + 3*w^4 + 5*w^3 - 10*w^2 + 2*w + 5]', '[9203, 9203, 2*w^5 - 3*w^4 - 7*w^3 + 10*w^2 + 6*w - 4]', '[9203, 9203, -2*w^5 - w^4 + 13*w^3 + 4*w^2 - 18*w - 2]', '[9203, 9203, -3*w^4 + w^3 + 14*w^2 - 2*w - 10]', '[9257, 9257, -2*w^5 + w^4 + 6*w^3 - w^2 - 5]', '[9257, 9257, -w^5 + 6*w^3 - 2*w^2 - 10*w + 1]', '[9257, 9257, 3*w^5 + w^4 - 14*w^3 - 5*w^2 + 14*w]', '[9257, 9257, -3*w^5 + w^4 + 13*w^3 - 2*w^2 - 13*w + 3]', '[9257, 9257, -2*w^5 + 12*w^3 - w^2 - 17*w - 1]', '[9257, 9257, w^5 + w^4 - 3*w^3 - 7*w^2 + 10]', '[9281, 9281, -4*w^5 + w^4 + 17*w^3 - 3*w^2 - 12*w]', '[9281, 9281, w^4 - 6*w^2 + 3*w + 7]', '[9281, 9281, -w^5 - 2*w^4 + 5*w^3 + 5*w^2 - 5*w + 3]', '[9281, 9281, 2*w^5 - 3*w^4 - 11*w^3 + 12*w^2 + 13*w - 5]', '[9281, 9281, 2*w^5 - 2*w^4 - 11*w^3 + 6*w^2 + 16*w - 3]', '[9281, 9281, 3*w^5 - 3*w^4 - 12*w^3 + 8*w^2 + 7*w - 2]', '[9283, 9283, -w^5 + w^4 + 7*w^3 - 3*w^2 - 11*w + 6]', '[9283, 9283, w^5 - 3*w^4 - 4*w^3 + 12*w^2 + 2*w - 1]', '[9283, 9283, 4*w^5 - 17*w^3 - w^2 + 9*w + 3]', '[9283, 9283, -w^5 - w^4 + 6*w^3 + w^2 - 7*w - 3]', '[9283, 9283, 2*w^5 - 4*w^4 - 6*w^3 + 16*w^2 + 2*w - 15]', '[9283, 9283, -2*w^4 - 2*w^3 + 8*w^2 + 5*w - 10]', '[9413, 9413, 2*w^5 - 2*w^4 - 7*w^3 + 7*w^2 + w - 7]', '[9413, 9413, -3*w^5 + 2*w^4 + 15*w^3 - 6*w^2 - 16*w + 5]', '[9413, 9413, -w^5 - 2*w^4 + 4*w^3 + 7*w^2 - w - 6]', '[9413, 9413, -w^5 + 2*w^4 + 4*w^3 - 5*w^2 - 5*w - 4]', '[9413, 9413, -w^5 + 2*w^4 + 5*w^3 - 6*w^2 - 4*w - 3]', '[9413, 9413, 2*w^5 - 2*w^4 - 9*w^3 + 9*w^2 + 7*w - 3]', '[9437, 9437, -2*w^5 + 3*w^4 + 11*w^3 - 11*w^2 - 16*w + 7]', '[9437, 9437, 3*w^5 - w^4 - 14*w^3 + w^2 + 14*w - 1]', '[9437, 9437, 2*w^4 - 2*w^3 - 7*w^2 + 7*w + 6]', '[9437, 9437, -4*w^5 + w^4 + 17*w^3 - 4*w^2 - 13*w + 2]', '[9437, 9437, w^5 + w^4 - 6*w^3 - 6*w^2 + 11*w + 7]', '[9437, 9437, 4*w^5 - 2*w^4 - 17*w^3 + 4*w^2 + 12*w]', '[9439, 9439, -w^5 + w^4 + 7*w^3 - 2*w^2 - 13*w]', '[9439, 9439, w^5 - 4*w^3 + 3*w^2 - 6]', '[9439, 9439, -4*w^5 + w^4 + 18*w^3 - 3*w^2 - 14*w]', '[9439, 9439, 2*w^5 - 4*w^4 - 10*w^3 + 15*w^2 + 11*w - 6]', '[9439, 9439, -w^5 + 4*w^4 + 5*w^3 - 13*w^2 - 6*w + 3]', '[9439, 9439, -4*w^5 + 3*w^4 + 19*w^3 - 11*w^2 - 17*w + 5]', '[9451, 9451, w^5 - 2*w^4 - 3*w^3 + 5*w^2 + 4*w + 2]', '[9451, 9451, w^5 - 2*w^4 + 5*w^2 - 5*w - 5]', '[9451, 9451, -2*w^5 + 4*w^4 + 8*w^3 - 12*w^2 - 10*w + 3]', '[9451, 9451, -3*w^5 - 2*w^4 + 12*w^3 + 7*w^2 - 3*w - 2]', '[9451, 9451, 5*w^5 - w^4 - 19*w^3 - w^2 + 12*w]', '[9451, 9451, w^5 + 2*w^4 - 6*w^3 - 3*w^2 + 3*w - 4]', '[9463, 9463, -w^5 + 2*w^3 + 4*w^2 + 2*w - 8]', '[9463, 9463, 4*w^5 - w^4 - 18*w^3 + w^2 + 18*w]', '[9463, 9463, 3*w^5 + w^4 - 13*w^3 - 5*w^2 + 12*w + 1]', '[9463, 9463, w^5 + w^4 - 7*w^3 - 2*w^2 + 13*w]', '[9463, 9463, 2*w^5 - 6*w^3 - 3*w^2 - w + 6]', '[9463, 9463, 3*w^5 - w^4 - 16*w^3 + 5*w^2 + 20*w - 3]', '[9477, 39, 3*w^5 - 15*w^3 + 12*w]', '[9477, 117, w^5 + 2*w^4 - 9*w^3 - 7*w^2 + 16*w + 1]', '[9477, 117, -w^5 + 2*w^4 + 4*w^3 - 10*w^2 - 5*w + 11]', '[9491, 9491, -2*w^4 + 9*w^2 - 3*w - 7]', '[9491, 9491, -3*w^4 + 2*w^3 + 12*w^2 - 3*w - 8]', '[9491, 9491, 3*w^5 - 3*w^4 - 12*w^3 + 7*w^2 + 8*w]', '[9491, 9491, -w^5 + w^4 + 7*w^3 - 3*w^2 - 14*w + 2]', '[9491, 9491, -w^5 + 3*w^4 + 7*w^3 - 12*w^2 - 11*w + 5]', '[9491, 9491, 2*w^4 - 3*w^3 - 8*w^2 + 6*w + 6]', '[9593, 9593, 2*w^5 - 3*w^4 - 6*w^3 + 7*w^2 - 2*w + 3]', '[9593, 9593, -2*w^5 + 6*w^4 + 7*w^3 - 21*w^2 - 4*w + 8]', '[9593, 9593, -3*w^5 + 16*w^3 - 15*w - 1]', '[9593, 9593, -4*w^5 - 2*w^4 + 16*w^3 + 7*w^2 - 7*w]', '[9593, 9593, 5*w^5 - w^4 - 20*w^3 + w^2 + 12*w]', '[9593, 9593, w^3 - 4*w^2 - 3*w + 8]', '[9593, 9593, 2*w^5 - w^4 - 9*w^3 + 11*w + 7]', '[9593, 9593, 5*w^5 - 5*w^4 - 24*w^3 + 21*w^2 + 22*w - 15]', '[9593, 9593, w^5 - 2*w^4 - 4*w^3 + 2*w^2 + 8*w + 4]', '[9593, 9593, w^5 - 5*w^4 - 5*w^3 + 15*w^2 + 4*w - 3]', '[9593, 9593, 6*w^5 - 5*w^4 - 30*w^3 + 15*w^2 + 34*w - 2]', '[9593, 9593, -w^5 - w^4 + 5*w^3 + 2*w^2 - 7*w + 5]', '[9593, 9593, -3*w^5 + 15*w^3 + w^2 - 12*w - 1]', '[9593, 9593, -w^5 + 2*w^4 + 6*w^3 - 10*w^2 - 8*w + 5]', '[9593, 9593, 4*w^5 - 2*w^4 - 20*w^3 + 5*w^2 + 25*w + 1]', '[9593, 9593, 2*w^5 - 2*w^4 - 6*w^3 + 5*w^2 - w - 3]', '[9593, 9593, 3*w^5 - w^4 - 16*w^3 + 3*w^2 + 20*w - 4]', '[9593, 9593, -3*w^5 - w^4 + 13*w^3 + 5*w^2 - 10*w - 6]', '[9593, 9593, -3*w^5 - w^4 + 12*w^3 + 4*w^2 - 7*w - 4]', '[9593, 9593, 4*w^3 - w^2 - 12*w + 2]', '[9593, 9593, 4*w^5 - 3*w^4 - 16*w^3 + 8*w^2 + 12*w - 2]', '[9593, 9593, 3*w^5 - 2*w^4 - 11*w^3 + 5*w^2 + 3*w - 3]', '[9593, 9593, w^5 + w^4 - 3*w^3 - 8*w^2 + 3*w + 7]', '[9593, 9593, -5*w^5 + 5*w^4 + 19*w^3 - 16*w^2 - 7*w + 4]', '[9593, 9593, w^5 - 5*w^3 + 9*w]', '[9593, 9593, 4*w^5 - 3*w^4 - 20*w^3 + 10*w^2 + 23*w - 7]', '[9593, 9593, w^4 - 3*w^3 - 7*w^2 + 9*w + 9]', '[9593, 9593, 3*w^5 - 3*w^4 - 17*w^3 + 13*w^2 + 22*w - 10]', '[9593, 9593, 2*w^5 - w^4 - 8*w^3 + w^2 + 8*w + 5]', '[9593, 9593, -w^5 + w^4 + w^3 - 6*w^2 + 6*w + 6]', '[9593, 9593, 2*w^5 - 2*w^4 - 11*w^3 + 10*w^2 + 12*w - 5]', '[9593, 9593, 3*w^5 - 6*w^4 - 12*w^3 + 21*w^2 + 10*w - 10]', '[9593, 9593, -3*w^5 - 2*w^4 + 14*w^3 + 6*w^2 - 14*w - 1]', '[9593, 9593, -w^5 - 3*w^4 + 4*w^3 + 13*w^2 - 3*w - 7]', '[9593, 9593, -4*w^5 + 20*w^3 - 21*w]', '[9593, 9593, 3*w^4 - w^3 - 9*w^2 + 4*w - 2]', '[9619, 9619, -2*w^4 + 2*w^3 + 8*w^2 - 8*w - 7]', '[9619, 9619, 2*w^4 + 2*w^3 - 8*w^2 - 4*w + 1]', '[9619, 9619, 2*w^4 + 2*w^3 - 8*w^2 - 8*w + 7]', '[9619, 9619, 2*w^4 - 2*w^3 - 4*w^2 + 4*w - 5]', '[9619, 9619, -4*w^5 + 2*w^4 + 18*w^3 - 4*w^2 - 16*w + 1]', '[9619, 9619, -4*w^5 + 2*w^4 + 18*w^3 - 8*w^2 - 16*w + 3]', '[9697, 9697, w^5 - 7*w^3 - w^2 + 11*w - 2]', '[9697, 9697, -w^4 - 2*w^3 + 2*w^2 + 8*w]', '[9697, 9697, 3*w^5 - 4*w^4 - 13*w^3 + 12*w^2 + 11*w - 4]', '[9697, 9697, 4*w^5 - 2*w^4 - 18*w^3 + 7*w^2 + 14*w - 2]', '[9697, 9697, -2*w^5 - w^4 + 10*w^3 + 4*w^2 - 9*w - 6]', '[9697, 9697, -2*w^5 + 4*w^4 + 10*w^3 - 14*w^2 - 11*w + 4]', '[9725, 1945, 3*w^4 - 2*w^3 - 12*w^2 + 9*w + 6]', '[9725, 1945, 4*w^4 - 4*w^3 - 12*w^2 + 9*w + 5]', '[9725, 1945, 4*w^5 - 3*w^4 - 16*w^3 + 8*w^2 + 14*w + 1]', '[9725, 1945, w^5 - w^4 - 5*w^3 + 8*w^2 + w - 7]', '[9725, 1945, -3*w^5 + 2*w^4 + 16*w^3 - 8*w^2 - 16*w + 2]', '[9725, 1945, 2*w^5 - 5*w^4 - 5*w^3 + 18*w^2 - w - 11]', '[9725, 1945, -5*w^5 + 3*w^4 + 22*w^3 - 6*w^2 - 19*w - 3]', '[9725, 1945, -w^5 - 3*w^4 + 8*w^3 + 13*w^2 - 15*w - 6]', '[9725, 1945, 2*w^5 - 2*w^4 - 4*w^3 + 5*w^2 - 6*w - 3]', '[9725, 1945, w^5 - 5*w^4 + 20*w^2 - 9*w - 11]', '[9725, 1945, -5*w^5 + 4*w^4 + 23*w^3 - 11*w^2 - 21*w]', '[9725, 1945, 2*w^5 - 3*w^4 - 5*w^3 + 11*w^2 - 4*w - 7]', '[9725, 1945, 2*w^5 - w^4 - 6*w^3 + 5*w^2 - 2*w - 7]', '[9725, 1945, -3*w^5 - 3*w^4 + 15*w^3 + 14*w^2 - 13*w - 8]', '[9725, 1945, -w^5 + 4*w^4 + 7*w^3 - 13*w^2 - 13*w + 1]', '[9725, 1945, w^5 + 4*w^4 - 4*w^3 - 12*w^2 + 2*w + 3]', '[9725, 1945, -3*w^4 + 3*w^3 + 11*w^2 - 4*w - 4]', '[9725, 1945, 3*w^5 - w^4 - 11*w^3 + 5*w^2 + 4*w - 3]', '[9749, 9749, 2*w^5 - 9*w^3 - w^2 + 11*w - 2]', '[9749, 9749, -4*w^5 + 4*w^4 + 17*w^3 - 12*w^2 - 13*w + 3]', '[9749, 9749, w^5 - 8*w^3 + w^2 + 15*w + 1]', '[9749, 9749, -w^5 - 2*w^4 + 3*w^3 + 10*w^2 - 10]', '[9749, 9749, 4*w^5 - 19*w^3 - w^2 + 19*w - 2]', '[9749, 9749, 3*w^5 - 2*w^4 - 11*w^3 + 4*w^2 + 6*w + 4]', '[9803, 9803, -w^5 + w^4 + 6*w^3 - 2*w^2 - 5*w - 5]', '[9803, 9803, -w^5 - 5*w^4 + 7*w^3 + 19*w^2 - 7*w - 11]', '[9803, 9803, -w^5 - 4*w^4 + 6*w^3 + 19*w^2 - 8*w - 15]', '[9803, 9803, 3*w^5 + 4*w^4 - 17*w^3 - 15*w^2 + 20*w + 6]', '[9803, 9803, -2*w^5 + 3*w^4 + 5*w^3 - 11*w^2 + 4*w + 9]', '[9803, 9803, -2*w^4 - 4*w^3 + 7*w^2 + 9*w - 3]', '[9829, 9829, -w^5 - 2*w^4 + 5*w^3 + 9*w^2 - 8*w - 5]', '[9829, 9829, 5*w^5 - 2*w^4 - 22*w^3 + 6*w^2 + 19*w - 3]', '[9829, 9829, -3*w^5 + w^4 + 15*w^3 - 3*w^2 - 13*w - 1]', '[9829, 9829, -w^5 + w^4 + 7*w^3 - 4*w^2 - 14*w + 2]', '[9829, 9829, -2*w^4 - 3*w^3 + 9*w^2 + 8*w - 6]', '[9829, 9829, 3*w^5 - 2*w^4 - 12*w^3 + 3*w^2 + 8*w + 4]', '[9907, 9907, -3*w^5 + 3*w^4 + 13*w^3 - 10*w^2 - 8*w + 2]', '[9907, 9907, -4*w^5 + 3*w^4 + 19*w^3 - 11*w^2 - 17*w + 7]', '[9907, 9907, -3*w^5 + 4*w^4 + 14*w^3 - 12*w^2 - 15*w + 1]', '[9907, 9907, -2*w^5 + 7*w^3 - w^2 + 4]', '[9907, 9907, w^5 - 4*w^3 + 3*w^2 - 4]', '[9907, 9907, w^5 - 4*w^4 - 5*w^3 + 13*w^2 + 6*w - 5]', '[9931, 9931, -4*w^5 + 2*w^4 + 17*w^3 - 8*w^2 - 12*w + 5]', '[9931, 9931, -w^5 + w^4 + 8*w^3 - 5*w^2 - 14*w + 4]', '[9931, 9931, w^5 - w^4 - 3*w^3 - w + 5]', '[9931, 9931, 4*w^5 - 3*w^4 - 18*w^3 + 8*w^2 + 15*w - 1]', '[9931, 9931, 3*w^5 + w^4 - 15*w^3 - 3*w^2 + 16*w]', '[9931, 9931, -4*w^5 + 2*w^4 + 16*w^3 - 5*w^2 - 11*w + 1]'], 'label': '6.6.371293.1', 'narrow_class_no': 1, 'primes': ['[13, 13, w^5 - 5*w^3 + 4*w]', '[25, 5, w^5 - 5*w^3 + 6*w - 1]', '[25, 5, -w^3 + w^2 + 3*w - 1]', '[25, 5, w^5 - 4*w^3 - w^2 + 3*w + 2]', '[27, 3, w^4 - w^3 - 4*w^2 + 2*w + 2]', '[27, 3, w^4 - w^3 - 4*w^2 + 2*w + 3]', '[53, 53, -w^4 + w^3 + 3*w^2 - 2*w + 1]', '[53, 53, -w^4 + w^3 + 4*w^2 - 3*w - 4]', '[53, 53, -w^5 + w^4 + 4*w^3 - 4*w^2 - 3*w + 1]', '[53, 53, w^3 - 2*w - 2]', '[53, 53, w^5 - 5*w^3 - w^2 + 5*w]', '[53, 53, -w^4 + 4*w^2 + w - 4]', '[64, 2, -2]', '[79, 79, -2*w^5 + w^4 + 9*w^3 - 3*w^2 - 9*w + 2]', '[79, 79, -w^5 - w^4 + 5*w^3 + 4*w^2 - 6*w - 1]', '[79, 79, w^3 - w^2 - 4*w + 1]', '[79, 79, -2*w^5 + 2*w^4 + 9*w^3 - 7*w^2 - 9*w + 3]', '[79, 79, -2*w^4 + w^3 + 7*w^2 - 3*w - 3]', '[79, 79, -w^5 + 6*w^3 - w^2 - 8*w + 1]', '[103, 103, 2*w^4 - 7*w^2 - w + 3]', '[103, 103, w^5 - w^4 - 4*w^3 + 5*w^2 + 2*w - 4]', '[103, 103, -w^5 - w^4 + 4*w^3 + 4*w^2 - 2*w - 3]', '[103, 103, w^5 - 2*w^4 - 4*w^3 + 6*w^2 + 4*w - 1]', '[103, 103, -w^4 + w^3 + 5*w^2 - 3*w - 4]', '[103, 103, 2*w^5 - w^4 - 10*w^3 + 3*w^2 + 10*w - 1]', '[131, 131, w^5 - w^4 - 5*w^3 + 3*w^2 + 4*w - 1]', '[131, 131, -w^5 + 2*w^4 + 4*w^3 - 6*w^2 - 4*w + 2]', '[131, 131, w^5 - w^4 - 4*w^3 + 5*w^2 + 2*w - 5]', '[131, 131, 2*w^4 - 7*w^2 - w + 2]', '[131, 131, -2*w^5 + w^4 + 9*w^3 - 2*w^2 - 8*w]', '[131, 131, 2*w^5 - w^4 - 10*w^3 + 3*w^2 + 10*w]', '[157, 157, -w^5 - w^4 + 5*w^3 + 5*w^2 - 6*w - 3]', '[157, 157, -2*w^3 + w^2 + 5*w - 2]', '[157, 157, -w^5 - w^4 + 4*w^3 + 5*w^2 - 3*w - 3]', '[157, 157, -w^5 + 5*w^3 - 7*w]', '[157, 157, -2*w^5 + w^4 + 8*w^3 - 3*w^2 - 6*w + 2]', '[157, 157, -w^5 + w^4 + 5*w^3 - 4*w^2 - 7*w + 2]', '[181, 181, w^2 - 2*w - 2]', '[181, 181, 2*w^5 - 9*w^3 + 7*w]', '[181, 181, -w^5 + 2*w^4 + 5*w^3 - 8*w^2 - 5*w + 4]', '[181, 181, -w^5 + w^4 + 6*w^3 - 3*w^2 - 9*w + 1]', '[181, 181, 2*w^5 - 2*w^4 - 8*w^3 + 6*w^2 + 5*w - 2]', '[181, 181, w^4 - 2*w^2 - 2]', '[233, 233, 2*w^3 - w^2 - 5*w + 1]', '[233, 233, -w^5 - w^4 + 6*w^3 + 3*w^2 - 8*w]', '[233, 233, w^5 - w^4 - 5*w^3 + 4*w^2 + 7*w - 3]', '[233, 233, w^5 + w^4 - 5*w^3 - 5*w^2 + 6*w + 4]', '[233, 233, -w^5 + 4*w^3 + 2*w^2 - 2*w - 3]', '[233, 233, 2*w^5 - w^4 - 8*w^3 + 3*w^2 + 6*w - 1]', '[311, 311, 2*w^5 - 2*w^4 - 9*w^3 + 6*w^2 + 8*w - 2]', '[311, 311, w^4 + w^3 - 3*w^2 - 4*w + 1]', '[311, 311, -w^5 + 2*w^4 + 5*w^3 - 7*w^2 - 5*w + 2]', '[311, 311, w^5 - w^4 - 4*w^3 + 4*w^2 + w - 3]', '[311, 311, w^4 - 2*w^2 - w - 2]', '[311, 311, -2*w^5 + w^4 + 9*w^3 - 4*w^2 - 7*w + 2]', '[313, 313, -w^5 + 5*w^3 + w^2 - 4*w - 3]', '[313, 313, -w^5 + 6*w^3 - 7*w + 1]', '[313, 313, -w^4 + w^3 + 5*w^2 - 3*w - 3]', '[313, 313, -w^5 + w^4 + 3*w^3 - 4*w^2 + 4]', '[313, 313, -w^5 + 2*w^4 + 4*w^3 - 7*w^2 - 4*w + 2]', '[313, 313, -2*w^4 + w^3 + 7*w^2 - 2*w - 4]', '[337, 337, 2*w^5 - w^4 - 7*w^3 + 2*w^2 + 2*w + 2]', '[337, 337, w^5 - 2*w^4 - 3*w^3 + 7*w^2 + 2*w - 3]', '[337, 337, 2*w^5 - w^4 - 9*w^3 + 2*w^2 + 10*w - 1]', '[337, 337, -2*w^5 - w^4 + 9*w^3 + 4*w^2 - 8*w]', '[337, 337, 3*w^5 - 2*w^4 - 13*w^3 + 7*w^2 + 11*w - 5]', '[337, 337, w^4 - w^3 - 2*w^2 + 4*w]', '[389, 389, 2*w^5 - w^4 - 9*w^3 + 4*w^2 + 7*w]', '[389, 389, -2*w^5 + 3*w^4 + 8*w^3 - 9*w^2 - 7*w + 3]', '[389, 389, -w^5 + 2*w^4 + 5*w^3 - 7*w^2 - 5*w]', '[389, 389, -2*w^5 + 3*w^4 + 9*w^3 - 10*w^2 - 8*w + 2]', '[389, 389, -3*w^5 + w^4 + 14*w^3 - 2*w^2 - 12*w]', '[389, 389, -w^5 + w^4 + 5*w^3 - 3*w^2 - 3*w + 1]', '[443, 443, -2*w^5 + w^4 + 8*w^3 - w^2 - 7*w - 3]', '[443, 443, 2*w^5 - w^4 - 9*w^3 + 4*w^2 + 8*w]', '[443, 443, w^5 - 3*w^4 - 4*w^3 + 11*w^2 + 2*w - 4]', '[443, 443, 2*w^5 - w^4 - 9*w^3 + 2*w^2 + 8*w - 2]', '[443, 443, -2*w^4 + 2*w^3 + 7*w^2 - 4*w - 3]', '[443, 443, -3*w^5 + w^4 + 15*w^3 - 3*w^2 - 17*w + 2]', '[467, 467, 2*w^5 - 2*w^4 - 9*w^3 + 6*w^2 + 10*w - 1]', '[467, 467, w^5 + w^4 - 5*w^3 - 6*w^2 + 6*w + 5]', '[467, 467, -w^5 - 2*w^4 + 5*w^3 + 7*w^2 - 5*w - 3]', '[467, 467, -2*w^5 + w^4 + 11*w^3 - 4*w^2 - 13*w + 3]', '[467, 467, 3*w^5 - 2*w^4 - 13*w^3 + 6*w^2 + 11*w - 1]', '[467, 467, -2*w^5 + w^4 + 9*w^3 - w^2 - 8*w - 3]', '[521, 521, w^5 + 2*w^4 - 6*w^3 - 7*w^2 + 7*w + 3]', '[521, 521, 2*w^5 - 2*w^4 - 8*w^3 + 6*w^2 + 7*w - 1]', '[521, 521, -w^5 + w^4 + 6*w^3 - 4*w^2 - 10*w + 3]', '[521, 521, 2*w^5 - 3*w^4 - 9*w^3 + 10*w^2 + 9*w - 3]', '[521, 521, -2*w^5 + 11*w^3 - 13*w + 1]', '[521, 521, 3*w^5 - w^4 - 13*w^3 + 3*w^2 + 11*w - 1]', '[547, 547, w^4 + w^3 - 5*w^2 - 3*w + 1]', '[547, 547, -2*w^5 + 3*w^4 + 9*w^3 - 11*w^2 - 10*w + 6]', '[547, 547, w^4 - w^3 - w^2 + 3*w - 3]', '[547, 547, 2*w^4 + w^3 - 9*w^2 - 2*w + 6]', '[547, 547, 3*w^5 - w^4 - 13*w^3 + 3*w^2 + 11*w - 2]', '[547, 547, -w^5 + w^4 + 6*w^3 - 4*w^2 - 10*w + 2]', '[571, 571, -w^5 + 4*w^3 + 3*w^2 - 3*w - 4]', '[571, 571, -w^5 - w^4 + 3*w^3 + 6*w^2 - 5]', '[571, 571, w^5 - 6*w^3 + 2*w^2 + 9*w - 4]', '[571, 571, 2*w^5 - 9*w^3 - w^2 + 10*w + 1]', '[571, 571, 2*w^5 - 11*w^3 + w^2 + 13*w - 3]', '[571, 571, -w^5 + 7*w^3 - w^2 - 12*w + 2]', '[599, 599, -2*w^5 + w^4 + 8*w^3 - 5*w^2 - 5*w + 5]', '[599, 599, w^5 - w^4 - 6*w^3 + 4*w^2 + 6*w - 2]', '[599, 599, w^4 - 2*w^3 - 5*w^2 + 7*w + 4]', '[599, 599, -2*w^5 + 10*w^3 - w^2 - 11*w + 3]', '[599, 599, w^5 - 3*w^4 - 5*w^3 + 11*w^2 + 7*w - 5]', '[599, 599, -w^5 + w^4 + 6*w^3 - 3*w^2 - 8*w + 3]', '[677, 677, -w^5 - 2*w^4 + 6*w^3 + 8*w^2 - 9*w - 4]', '[677, 677, -3*w^5 + 2*w^4 + 13*w^3 - 7*w^2 - 12*w + 4]', '[677, 677, w^4 + w^3 - 5*w^2 - 5*w + 4]', '[677, 677, -2*w^5 + 9*w^3 - w^2 - 7*w + 1]', '[677, 677, w^5 - 5*w^3 + 2*w^2 + 5*w - 5]', '[677, 677, -w^5 - w^4 + 7*w^3 + 2*w^2 - 10*w + 1]', '[701, 701, w^5 - 3*w^4 - 3*w^3 + 11*w^2 + 2*w - 6]', '[701, 701, w^5 + w^4 - 6*w^3 - 5*w^2 + 6*w + 4]', '[701, 701, -w^5 - w^4 + 3*w^3 + 4*w^2 + 2*w - 2]', '[701, 701, 3*w^5 - 2*w^4 - 14*w^3 + 5*w^2 + 14*w]', '[701, 701, 3*w^5 - 2*w^4 - 14*w^3 + 8*w^2 + 13*w - 5]', '[701, 701, -w^5 + 2*w^4 + 3*w^3 - 7*w^2 + 2*w + 3]', '[727, 727, w^5 + 2*w^4 - 5*w^3 - 8*w^2 + 6*w + 3]', '[727, 727, -w^5 + 4*w^3 + 3*w^2 - 3*w - 6]', '[727, 727, -w^5 - w^4 + 5*w^3 + 2*w^2 - 4*w + 2]', '[727, 727, 3*w^5 - 2*w^4 - 13*w^3 + 6*w^2 + 12*w - 3]', '[727, 727, -2*w^5 + 11*w^3 - w^2 - 13*w + 1]', '[727, 727, w^5 - 3*w^4 - 4*w^3 + 10*w^2 + 5*w - 4]', '[857, 857, -w^5 + 3*w^4 + 5*w^3 - 11*w^2 - 5*w + 5]', '[857, 857, -w^5 - 2*w^4 + 4*w^3 + 9*w^2 - 3*w - 7]', '[857, 857, 2*w^5 + w^4 - 9*w^3 - 4*w^2 + 6*w + 3]', '[857, 857, 2*w^5 - 3*w^4 - 7*w^3 + 10*w^2 + 2*w - 5]', '[857, 857, -w^5 + 6*w^3 - 2*w^2 - 8*w + 2]', '[857, 857, -3*w^3 + w^2 + 9*w]', '[859, 859, 2*w^4 - 2*w^3 - 5*w^2 + 5*w - 2]', '[859, 859, -2*w^5 + 9*w^3 - 6*w - 2]', '[859, 859, -w^4 - w^3 + 2*w^2 + 3*w + 4]', '[859, 859, -w^5 - 2*w^4 + 6*w^3 + 9*w^2 - 7*w - 7]', '[859, 859, -2*w^5 - w^4 + 10*w^3 + 4*w^2 - 9*w - 4]', '[859, 859, -w^5 - w^4 + 4*w^3 + 4*w^2 - 3*w + 1]', '[883, 883, 2*w^5 + w^4 - 10*w^3 - 4*w^2 + 11*w]', '[883, 883, -2*w^5 + w^4 + 9*w^3 - 3*w^2 - 10*w + 3]', '[883, 883, 3*w^5 - w^4 - 13*w^3 + 2*w^2 + 12*w + 1]', '[883, 883, 3*w^5 - 2*w^4 - 12*w^3 + 6*w^2 + 8*w - 3]', '[883, 883, w^5 - 6*w^3 + w^2 + 10*w - 3]', '[883, 883, -2*w^5 + 11*w^3 - w^2 - 14*w + 3]', '[911, 911, -3*w^5 + 15*w^3 - 15*w + 1]', '[911, 911, -2*w^5 + 2*w^4 + 8*w^3 - 8*w^2 - 6*w + 3]', '[911, 911, -2*w^5 + 11*w^3 - 13*w + 2]', '[911, 911, -2*w^5 + 10*w^3 + 2*w^2 - 10*w - 1]', '[911, 911, 2*w^4 - 2*w^3 - 8*w^2 + 6*w + 7]', '[911, 911, -3*w^4 + 12*w^2 - 7]', '[937, 937, 3*w^4 - w^3 - 10*w^2 + 2*w + 4]', '[937, 937, -w^5 + 2*w^4 + 5*w^3 - 9*w^2 - 6*w + 5]', '[937, 937, -w^5 + 2*w^4 + 2*w^3 - 6*w^2 + 3*w + 3]', '[937, 937, 2*w^5 - w^4 - 11*w^3 + 4*w^2 + 12*w - 3]', '[937, 937, -2*w^5 + 11*w^3 + w^2 - 14*w]', '[937, 937, 2*w^5 + w^4 - 9*w^3 - 5*w^2 + 7*w + 5]', '[961, 31, -3*w^5 + w^4 + 12*w^3 - 3*w^2 - 8*w + 2]', '[961, 31, -2*w^5 + 2*w^4 + 10*w^3 - 7*w^2 - 13*w + 3]', '[961, 31, -w^5 + w^4 + 7*w^3 - 5*w^2 - 10*w + 4]']}
• 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
  relative_class_number	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, -3, 6, 4, -5, -1, 1], 'conductor': 13, 'degree': 6, 'dirichlet_group': [1, 3, 4, 9, 10, 12], 'disc_abs': 371293, 'disc_rad': 13, 'disc_sign': 1, 'frobs': [[2, [[6, 1]]], [3, [[3, 2]]], [5, [[2, 3]]], [7, [[6, 1]]], [11, [[6, 1]]], [13, [0]], [17, [[3, 2]]], [19, [[6, 1]]], [23, [[3, 2]]], [29, [[3, 2]]], [31, [[2, 3]]], [37, [[6, 1]]], [41, [[6, 1]]], [43, [[3, 2]]], [47, [[2, 3]]], [53, [[1, 6]]], [59, [[6, 1]]]], 'gal_is_abelian': True, 'gal_is_cyclic': True, 'gal_is_solvable': True, 'galois_disc_exponents': [5], 'galois_label': '6T1', 'galt': 1, 'grd': 8.477857782354299, 'index': 1, 'inessentialp': [], 'is_galois': True, 'is_minimal_sibling': True, 'iso_number': 1, 'label': '6.6.371293.1', 'local_algs': ['13.6.5.2'], 'monogenic': 1, 'num_ram': 1, 'r2': 0, 'ramps': [13], 'rd': 8.47785778235, 'regulator': {'__RealLiteral__': 0, 'data': '3.77450098008', 'prec': 44}, 'res': {'sex': ['-1,-4,-1,1', '-3,-1,1', '0,1']}, 'subfield_mults': [1, 1], 'subfields': ['-3.-1.1', '-1.-4.-1.1'], 'torsion_gen': '\\( -1 \\)', 'torsion_order': 2, 'units': ['\\( a^{5} - 4 a^{3} + 3 a \\)', '\\( a^{4} - 4 a^{2} + 2 \\)', '\\( a^{3} - 2 a \\)', '\\( a^{3} - 3 a \\)', '\\( a^{2} - 2 \\)'], 'used_grh': False, 'zk': ['1', 'a', 'a^2', 'a^3', 'a^4', 'a^5']}