Hilbert modular form data - 2.2.5.1-2025.1-d

Formats: - HTML - YAML - JSON - 2023-02-01T07:05:15.947581

• 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': 2, 'dimension': 1, 'disc': 5, 'field_bad_primes': [5], 'field_label': '2.2.5.1', 'is_CM': 'yes', 'is_base_change': 'yes', 'label': '2.2.5.1-2025.1-d', 'label_nsuffix': 3, 'label_suffix': 'd', 'level_bad_primes': [3, 5], 'level_ideal': '[2025, 45, 45]', 'level_label': '2025.1', 'level_norm': 2025, 'parallel_weight': 2, 'short_label': '2025.1-d', 'weight': '[2, 2]'}
• hmf_hecke •

  Column	Type
  AL_eigenvalues	jsonb
  hecke_eigenvalues	jsonb
  hecke_polynomial	text
  label	text

  
  {'AL_eigenvalues': [['[5, 5, -2*w + 1]', -1], ['[9, 3, 3]', 1]], 'hecke_eigenvalues': [-4, 0, 0, 0, 0, -1, -1, 0, 0, -7, -7, 0, 0, 11, 0, 0, -13, -13, 0, 0, -4, -4, 0, 0, 0, 0, -19, -19, 0, 0, -16, -16, 0, 0, 23, 23, -1, 0, 0, -7, -7, 0, 0, 11, 11, -13, -13, 29, 29, 0, 0, 17, 17, 0, 0, 0, 0, -28, -28, 0, 0, -34, 0, 0, 32, 32, 14, 14, 0, 0, 29, 29, 0, 0, 0, 0, -31, -31, 0, 0, -22, -22, 0, 0, 41, 41, 0, 0, 0, 0, 0, 0, 0, 0, 11, 11, 0, 0, 0, 0, -46, 17, 17, 0, 0, 47, 47, 0, 0, 23, 23, -49, -49, -43, -43, 0, 0, 0, 0, 38, 38, 8, 8, 0, 0, -31, -31, 0, 0, -16, -16, -52, -52, 0, 0, -49, -49, 0, 0, -37, -37, 0, 0, -46, -46, 0, 0, 56, 56, 0, 0, 0, 0, -1, -1, 0, 0, 0, 0, 0, 0, 17, 17, -19, -19, 0, 0, 47, 47, 0, 0, 59, 59, 0, 0, 23, 23, 0, 0, -49, -49, 0, 0, 0, 0, 29, 29, 0, 0, 53, 53, 0, 0, 2, 2, 0, 0, 68, 68, 14, 14, 0, 0, 71, 71, 0, 0, -67, -67, 0, 0, 0, 0, -22, -22, 0, 0, 26, -43, -43, -61, -61, 0, 0, 71, 71, 0, 0, 0, 0, 56, 56, 47, 47, 0, 0, -34, -34, 0, 0, 0, 0, -7, -7, 11, 11, 0, 0, 0, 0, -79, -79, 0, 0, -19, -19, 0, 0, 53, 53, 74, 74, -64, -64, 0, 0, 0, 0, 83, 83, -31, -31, 59, 59, -73, -73, 0, 0, 68, 68, -61, -37, -37, 0, 0, -4, -4, 0, 0, 0, 0, 0, 0, 0, 0, 77, 77, 0, 0, 89, 89, -88, -88, -79, -79, 0, 0, 0, 0, 0, 0, -91, -91, 0, 0, 0, 0, 0, 0, 32, 32, 0, 0, 62, 62, 71, 71, -94, 53, 53, -91, -91, -73, -73, -1, -1, -7, -7, 0, 0, -13, -13, 0, 0, 17, 17, 0, 0, -97, -97, 0, 0, 59, 59, 0, 0, 0, 0, 0, 0, 0, 0, -97, -97, 0, 0, -91, -91, 0, 0, -52, -52, 0, 0, 0, 0, 0, 0, 0, 0, 56, 56, -103, -103, 41, 41, 0, 0, 0, 0, 101, 101, 0, 0, -43, -43, 0, 0, 14, 14, 0, 0, 92, 92, 0, 0, -106, 0, 0, -73, -73, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 53, 53, 0, 0, 77, 77, 0, 0, 101, 101, 0, 0, 86, 86, 38, 38, -79, -79, 0, 0, -106, -106, 0, 0, -103, -103, -1, -1, -7, -7, 0, 0, 0, 0, 0, 0, -46, -46, 0, 0, -19, -19, -97, -97, 0, 0, 23, 23, -76, -76, 0, 0, 107, 107, 0, 0, 113, 113, 0, 0, 0, 0, -67, -67, 0, 0, 0, 0, 101, 101, 0, 0, 89, 89, -37, -37, 71, 71, 0, 0, -58, -58, 119, 119, -103, -103, 0, 0, -43, -43, 0, 0, 0, 0, 8, 8, 0, 0, 119, 119, 0, 0, -16, -16, 0, 0, -49, -49, 0, 0, 0, 0, 0, 0, 0, 0, -109, -109, 0, 0, -124, -124, 0, 0, 32, 32, 0, 0, 0, 0, 0, 0, 122, 122, 0, 0, -127, -127, 0, 0, 0, 0, -61, -61, 113, 113, -121, -121, 0, 0, 44, 44, -127, -127, 0, 0, -1, -1, 0, 0, -7, -7, 0, 0, 0, 0, -13, -13, 0, 0, 0, 0, -91, -91, 0, 0, 0, 0, 0, 0, 0, 0, -133, -133, 0, 0, 0, 0, -109, -124, -124, 86, 86, -37, -37, -133, -133, -97, -97, 41, 41, 0, 0, 77, 77, 0, 0, 0, 0, 0, 0, -79, -79, 0, 0, 131, 131, 134, 134, 0, 0, 2, 2, 68, 68, 137, 137, 0, 0, 0, 0, -94, -94, 0, 0, 0, 0, -127, -127, 26, 26, -139, -139, 0, 0, -112, -112, 0, 0, 0, 0, 0, 0, 119, 119, 0, 0, 0, 0, 98, 98, -76, -76, 0, 0, -121, -121, 0, 0, 131, 131, 0, 0, 0, 0, 0, 0, 143, 143, 0, 0, -46, 0, 0, 0, 0, 0, 0, -1, -1, -7, -7, 0, 0, 11, 11, 0, 0, 71, 71, 0, 0, 0, 0, -97, -97, 0, 0, 149, 149, 143, 143, 0, 0, 0, 0, -58, -58, 0, 0, -31, -31, 0, 0, 134, 134, 77, 77, 0, 0, 0, 0, -139, -139, -79, -79, 92, 92, 0, 0, -103, -103, 41, 41, 0, 0, 152, 152, 0, 0, -151, -151, 0, 0, -43, -43, 0, 0, 0, 0, 0, 0, 0, 0, -4, -4, 0, 0, 8, 8, 0, 0, 53, 53, 0, 0, -148, -148, 89, 89, 137, 137, 0, 0, -154, -154, 0, 0, -28, -28, 0, 0, -127, -127, 0, 0, 0, 0, 0, 0, 113, 113, 104, 104, 0, 0, 122, 122, 0, 0, 152, 152, 149, 149, -82, -82, 0, 0, 0, 0, 146, 146, 0, 0, 0, 0, -97, -97, 0, 0, 0, 0, -151, -151, 0, 0, -163, -163, 71, 71, 0, 0, -133, -133, 0, 0, 119, 119, 0, 0, 0, 0, 0, 0, -7, -7, 0, 0, -121, -121, 17, 17, 0, 0, -103, -103, -166, 0, 0, 0, 0, 161, 161, 0, 0, 137, 137, 0, 0, 167, 167, 0, 0, 0, 0, 116, 116, 149, 149, 0, 0, 0, 0, 0, 0, -154, -154, 0, 0, -169, -169, 0, 0, -151, -151, 0, 0, -169, -169, 47, 47, 0, 0, 0, 0, -148, -148, -49, -49, 113, 113, 0, 0, 131, 131, 0, 0, -91, -91, 0, 0, 0, 0, 0, 0, 14, 14, 0, 0, -163, -163, 0, 0, -133, -133, -22, -22, 59, 59, 0, 0, 26, 26, -157, -157, 0, 0, -61, -61, -142, -142, 119, 119, -34, -34, 0, 0, 0, 0, -121, -121, 0, 0, 0, 0, 0, 0, 173, 173, 0, 0, -88, -88, 0, 0, -169, -169, 0, 0, 0, 0, -166, -166, -73, -73, 0, 0, -163, -163, 0, 0, 179, 179, 92, 92, -181, -181, 0, 0, -178, -178, 0, 0, -1, -1, 0, 0, -13, -13, -79, -79, 0, 0, -109, -109, 176, 176, 0, 0, -157, -157, 62, 62, 0, 0, 122, 122, -184, -184, 182, 182, 164, 164, 0, 0, -154, -154, -133, -133, 0, 0, 0, 0, 41, 41, 0, 0, 149, 149, -43, -43, 0, 0, -187, -187, 104, 104, 0, 0, 47, 47, 0, 0, -91, -91, 0, 0, 0, 0, 179, 179, 158, 158, 0, 0, 0, 0, 53, 53, 0, 0, 173, 173, 0, 0, 0, 0, 0, 0, -139, -139, 0, 0, 8, 8, -181, -181, -148, -148, 0, 0, -82, -82, -61, -61, 0, 0, 0, 0, 0, 0, 167, 167, 0, 0, 0, 0, 101, 101, 0, 0, 86, 86, 0, 0, -67, -67, -169, 0, 0, -103, -103, 0, 0, 116, 116, 0, 0, 0, 0, 0, 0, 188, 188, 0, 0, 0, 0, 0, 0, -73, -73, 176, 176, 0, 0, 107, 107, 161, 161, -187, -187, -196, -196, 0, 0, 0, 0, 197, 197, -109, -109, 0, 0, 149, 149, -193, -193, 0, 0, -163, -163, -79, -79, 0, 0, 0, 0, 56, 56, 197, 197, 98, 98, 0, 0, -7, -7, 0, 0, 11, 11], 'hecke_polynomial': 'x', 'label': '2.2.5.1-2025.1-d'}
• hmf_fields •

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

  
  {'degree': 2, 'discriminant': 5, 'ideals': ['[1, 1, 1]', '[4, 2, 2]', '[5, 5, -2*w + 1]', '[9, 3, 3]', '[11, 11, -3*w + 2]', '[11, 11, -3*w + 1]', '[16, 4, 4]', '[19, 19, -4*w + 3]', '[19, 19, -4*w + 1]', '[20, 10, -4*w + 2]', '[25, 5, 5]', '[29, 29, w + 5]', '[29, 29, -w + 6]', '[31, 31, -5*w + 2]', '[31, 31, -5*w + 3]', '[36, 6, 6]', '[41, 41, -6*w + 5]', '[41, 41, w - 7]', '[44, 22, -6*w + 4]', '[44, 22, -6*w + 2]', '[45, 15, -6*w + 3]', '[49, 7, -7]', '[55, 55, w + 7]', '[55, 55, -w + 8]', '[59, 59, 2*w - 9]', '[59, 59, 7*w - 5]', '[61, 61, 3*w - 10]', '[61, 61, -3*w - 7]', '[64, 8, 8]', '[71, 71, -8*w + 7]', '[71, 71, w - 9]', '[76, 38, -8*w + 6]', '[76, 38, -8*w + 2]', '[79, 79, 8*w - 5]', '[79, 79, 3*w - 11]', '[80, 20, -8*w + 4]', '[81, 9, 9]', '[89, 89, -10*w - 1]', '[89, 89, 10*w - 11]', '[95, 95, -2*w + 11]', '[95, 95, 2*w + 9]', '[99, 33, -9*w + 6]', '[99, 33, -9*w + 3]', '[100, 10, 10]', '[101, 101, 4*w - 13]', '[101, 101, 5*w - 14]', '[109, 109, -11*w - 1]', '[109, 109, 11*w - 12]', '[116, 58, 2*w + 10]', '[116, 58, -2*w + 12]', '[121, 11, 11]', '[121, 121, -10*w + 3]', '[121, 121, -10*w + 7]', '[124, 62, -10*w + 4]', '[124, 62, -10*w + 6]', '[125, 25, -10*w + 5]', '[131, 131, -12*w - 1]', '[131, 131, 12*w - 13]', '[139, 139, 2*w - 13]', '[139, 139, -11*w + 9]', '[144, 12, 12]', '[145, 145, -11*w + 8]', '[145, 145, -11*w + 3]', '[149, 149, 7*w - 18]', '[149, 149, 4*w - 15]', '[151, 151, 5*w - 16]', '[151, 151, 6*w - 17]', '[155, 155, w + 12]', '[155, 155, -w + 13]', '[164, 82, -12*w + 10]', '[164, 82, 2*w - 14]', '[169, 13, -13]', '[171, 57, -12*w + 9]', '[171, 57, -12*w + 3]', '[176, 44, -12*w + 8]', '[176, 44, -12*w + 4]', '[179, 179, 7*w - 19]', '[179, 179, 5*w - 17]', '[180, 30, -12*w + 6]', '[181, 181, -14*w - 1]', '[181, 181, 14*w - 15]', '[191, 191, 2*w - 15]', '[191, 191, -13*w + 11]', '[196, 14, -14]', '[199, 199, 3*w - 16]', '[199, 199, -13*w + 10]', '[205, 205, -4*w + 17]', '[205, 205, 13*w - 9]', '[209, 209, w + 14]', '[209, 209, -13*w + 5]', '[209, 209, -13*w + 8]', '[209, 209, -w + 15]', '[211, 211, 6*w - 19]', '[211, 211, 7*w - 20]', '[220, 110, 2*w + 14]', '[220, 110, -2*w + 16]', '[225, 15, 15]', '[229, 229, -14*w + 11]', '[229, 229, 3*w - 17]', '[236, 118, 4*w - 18]', '[236, 118, 14*w - 10]', '[239, 239, -16*w - 1]', '[239, 239, 16*w - 17]', '[241, 241, 9*w - 23]', '[241, 241, 5*w - 19]', '[244, 122, 6*w - 20]', '[244, 122, -6*w - 14]', '[245, 35, 14*w - 7]', '[251, 251, 2*w - 17]', '[251, 251, -15*w + 13]', '[256, 16, 16]', '[261, 87, 3*w + 15]', '[261, 87, -3*w + 18]', '[269, 269, 15*w - 11]', '[269, 269, 4*w - 19]', '[271, 271, -17*w - 1]', '[271, 271, 17*w - 18]', '[275, 55, -15*w + 10]', '[275, 55, -15*w + 5]', '[279, 93, -15*w + 6]', '[279, 93, -15*w + 9]', '[281, 281, 7*w - 22]', '[281, 281, 8*w - 23]', '[284, 142, -16*w + 14]', '[284, 142, 2*w - 18]', '[289, 17, -17]', '[295, 295, 3*w - 19]', '[295, 295, 16*w - 13]', '[304, 76, -16*w + 12]', '[304, 76, -16*w + 4]', '[305, 305, 17*w - 16]', '[305, 305, 17*w - 1]', '[311, 311, 5*w - 21]', '[311, 311, 16*w - 11]', '[316, 158, 16*w - 10]', '[316, 158, 6*w - 22]', '[319, 319, -16*w + 9]', '[319, 319, -2*w + 19]', '[319, 319, 2*w + 17]', '[319, 319, -16*w + 7]', '[320, 40, -16*w + 8]', '[324, 18, 18]', '[331, 331, -17*w + 14]', '[331, 331, 3*w - 20]', '[341, 341, w + 18]', '[341, 341, -4*w + 21]', '[341, 341, 4*w + 17]', '[341, 341, -w + 19]', '[349, 349, 17*w - 12]', '[349, 349, 5*w - 22]', '[355, 355, 17*w - 11]', '[355, 355, -6*w + 23]', '[356, 178, -20*w - 2]', '[356, 178, 20*w - 22]', '[359, 359, 10*w - 27]', '[359, 359, 7*w - 24]', '[361, 19, 19]', '[361, 361, -17*w + 8]', '[361, 361, -17*w + 9]', '[369, 123, -18*w + 15]', '[369, 123, 3*w - 21]', '[379, 379, -20*w - 1]', '[379, 379, 20*w - 21]', '[380, 190, -4*w + 22]', '[380, 190, 4*w + 18]', '[389, 389, 5*w - 23]', '[389, 389, 18*w - 13]', '[395, 395, 2*w - 21]', '[395, 395, 19*w - 17]', '[396, 66, -18*w + 12]', '[396, 66, -18*w + 6]', '[400, 20, 20]', '[401, 401, 7*w - 25]', '[401, 401, 11*w - 29]', '[404, 202, 8*w - 26]', '[404, 202, 10*w - 28]', '[405, 45, -18*w + 9]', '[409, 409, 3*w - 22]', '[409, 409, -19*w + 16]', '[419, 419, -21*w - 1]', '[419, 419, 21*w - 22]', '[421, 421, -19*w + 15]', '[421, 421, 4*w - 23]', '[431, 431, 19*w - 14]', '[431, 431, 5*w - 24]', '[436, 218, -22*w - 2]', '[436, 218, 22*w - 24]', '[439, 439, 6*w - 25]', '[439, 439, 19*w - 13]', '[441, 21, -21]', '[445, 445, 12*w + 19]', '[445, 445, 12*w - 31]', '[449, 449, 8*w - 27]', '[449, 449, 11*w - 30]', '[451, 451, -9*w + 28]', '[451, 451, 20*w - 17]', '[451, 451, -3*w + 23]', '[451, 451, 19*w - 10]', '[461, 461, -22*w - 1]', '[461, 461, 22*w - 23]', '[464, 116, 4*w + 20]', '[464, 116, -4*w + 24]', '[475, 95, -20*w + 15]', '[475, 95, -20*w + 5]', '[479, 479, 23*w - 25]', '[479, 479, -23*w - 2]', '[484, 22, 22]', '[484, 242, -20*w + 6]', '[484, 242, -20*w + 14]', '[491, 491, 13*w - 33]', '[491, 491, 7*w - 27]', '[495, 165, 3*w + 21]', '[495, 165, -3*w + 24]', '[496, 124, -20*w + 8]', '[496, 124, -20*w + 12]', '[499, 499, 11*w - 31]', '[499, 499, 9*w - 29]', '[500, 50, -20*w + 10]', '[505, 505, 22*w - 21]', '[505, 505, 23*w - 24]', '[509, 509, 4*w - 25]', '[509, 509, -21*w + 17]', '[521, 521, 5*w - 26]', '[521, 521, 21*w - 16]', '[524, 262, -24*w - 2]', '[524, 262, 24*w - 26]', '[529, 23, -23]', '[531, 177, 6*w - 27]', '[531, 177, 21*w - 15]', '[539, 77, 21*w - 14]', '[539, 77, 21*w - 7]', '[541, 541, 25*w - 28]', '[541, 541, -25*w - 3]', '[545, 545, 13*w - 34]', '[545, 545, 13*w + 21]', '[549, 183, 9*w - 30]', '[549, 183, -9*w - 21]', '[551, 551, w + 23]', '[551, 551, -21*w + 10]', '[551, 551, -21*w + 11]', '[551, 551, -w + 24]', '[556, 278, 4*w - 26]', '[556, 278, -22*w + 18]', '[569, 569, -22*w + 17]', '[569, 569, 5*w - 27]', '[571, 571, 25*w - 27]', '[571, 571, -25*w - 2]', '[576, 24, 24]', '[580, 290, -22*w + 16]', '[580, 290, -22*w + 6]', '[589, 589, -22*w + 7]', '[589, 589, 3*w + 23]', '[589, 589, -3*w + 26]', '[589, 589, -22*w + 15]', '[596, 298, 14*w - 36]', '[596, 298, 8*w - 30]', '[599, 599, -25*w - 1]', '[599, 599, 25*w - 26]', '[601, 601, 13*w - 35]', '[601, 601, 9*w - 31]', '[604, 302, 10*w - 32]', '[604, 302, 12*w - 34]', '[605, 55, -22*w + 11]', '[605, 605, 4*w + 23]', '[605, 605, -4*w + 27]', '[619, 619, 5*w - 28]', '[619, 619, -23*w + 18]', '[620, 310, 2*w + 24]', '[620, 310, -2*w + 26]', '[625, 25, 25]', '[631, 631, 23*w - 17]', '[631, 631, 6*w - 29]', '[639, 213, -24*w + 21]', '[639, 213, 3*w - 27]', '[641, 641, 23*w - 16]', '[641, 641, 7*w - 30]', '[649, 649, 25*w - 24]', '[649, 649, 23*w - 15]', '[649, 649, 8*w - 31]', '[649, 649, w - 26]', '[655, 655, 14*w + 23]', '[655, 655, 14*w - 37]', '[656, 164, -24*w + 20]', '[656, 164, 4*w - 28]', '[659, 659, 13*w - 36]', '[659, 659, 10*w - 33]', '[661, 661, 11*w - 34]', '[661, 661, 12*w - 35]', '[671, 671, 24*w - 19]', '[671, 671, 27*w - 29]', '[671, 671, 27*w + 2]', '[671, 671, 24*w - 5]', '[676, 26, -26]', '[684, 114, -24*w + 18]', '[684, 114, -24*w + 6]', '[691, 691, 28*w - 31]', '[691, 691, -28*w - 3]', '[695, 695, 24*w - 17]', '[695, 695, -7*w + 31]', '[701, 701, -27*w - 1]', '[701, 701, 27*w - 28]', '[704, 88, -24*w + 16]', '[704, 88, -24*w + 8]', '[709, 709, 4*w - 29]', '[709, 709, -25*w + 21]', '[711, 237, 24*w - 15]', '[711, 237, 9*w - 33]', '[716, 358, 14*w - 38]', '[716, 358, 10*w - 34]', '[719, 719, 13*w - 37]', '[719, 719, 11*w - 35]', '[720, 60, -24*w + 12]', '[724, 362, -28*w - 2]', '[724, 362, 28*w - 30]', '[725, 145, 5*w + 25]', '[725, 145, -5*w + 30]', '[729, 27, 27]', '[739, 739, 6*w - 31]', '[739, 739, 25*w - 19]', '[745, 745, 26*w - 23]', '[745, 745, 29*w - 32]', '[751, 751, 7*w - 32]', '[751, 751, 25*w - 18]', '[755, 755, 27*w - 26]', '[755, 755, 28*w - 29]', '[761, 761, 8*w - 33]', '[761, 761, 25*w - 17]', '[764, 382, 4*w - 30]', '[764, 382, -26*w + 22]', '[769, 769, 9*w - 34]', '[769, 769, 16*w - 41]', '[775, 155, -25*w + 10]', '[775, 155, -25*w + 15]', '[779, 779, 25*w - 11]', '[779, 779, -2*w + 29]', '[779, 779, 27*w - 25]', '[779, 779, -14*w + 39]', '[781, 781, 25*w - 12]', '[781, 781, -5*w + 31]', '[781, 781, 26*w - 21]', '[781, 781, -13*w + 38]', '[784, 28, -28]', '[796, 398, 6*w - 32]', '[796, 398, -26*w + 20]', '[801, 267, -30*w - 3]', '[801, 267, 30*w - 33]', '[809, 809, 7*w - 33]', '[809, 809, 26*w - 19]', '[811, 811, -29*w - 1]', '[811, 811, 29*w - 30]', '[820, 410, -8*w + 34]', '[820, 410, 26*w - 18]', '[821, 821, -27*w + 23]', '[821, 821, 4*w - 31]', '[829, 829, 17*w - 43]', '[829, 829, 9*w - 35]', '[836, 418, 2*w + 28]', '[836, 418, -26*w + 10]', '[836, 418, -26*w + 16]', '[836, 418, -2*w + 30]', '[839, 839, -27*w + 22]', '[839, 839, 5*w - 32]', '[841, 29, 29]', '[841, 841, -26*w + 11]', '[841, 841, -26*w + 15]', '[844, 422, 12*w - 38]', '[844, 422, 14*w - 40]', '[845, 65, 26*w - 13]', '[855, 285, -6*w + 33]', '[855, 285, 6*w + 27]', '[859, 859, 31*w - 34]', '[859, 859, -31*w - 3]', '[869, 869, -w - 29]', '[869, 869, 27*w - 20]', '[869, 869, 7*w - 34]', '[869, 869, 30*w - 31]', '[880, 220, 4*w + 28]', '[880, 220, -4*w + 32]', '[881, 881, 8*w - 35]', '[881, 881, 27*w - 19]', '[891, 99, -27*w + 18]', '[891, 99, -27*w + 9]', '[895, 895, 31*w - 33]', '[895, 895, 29*w - 27]', '[899, 899, -27*w + 10]', '[899, 899, -5*w + 33]', '[899, 899, 5*w + 28]', '[899, 899, -27*w + 17]', '[900, 30, 30]', '[905, 905, 16*w - 43]', '[905, 905, 16*w + 27]', '[909, 303, 12*w - 39]', '[909, 303, 15*w - 42]', '[911, 911, 13*w - 40]', '[911, 911, 14*w - 41]', '[916, 458, -28*w + 22]', '[916, 458, 6*w - 34]', '[919, 919, -32*w - 3]', '[919, 919, 32*w - 35]', '[929, 929, -31*w - 1]', '[929, 929, 31*w - 32]', '[931, 133, 28*w - 21]', '[931, 133, 28*w - 7]', '[941, 941, 33*w - 37]', '[941, 941, -33*w - 4]', '[944, 236, 8*w - 36]', '[944, 236, 28*w - 20]', '[955, 955, -9*w + 37]', '[955, 955, 28*w - 19]', '[956, 478, -32*w - 2]', '[956, 478, 32*w - 34]', '[961, 31, 31]', '[961, 961, 5*w + 29]', '[961, 961, -5*w + 34]', '[964, 482, 18*w - 46]', '[964, 482, 10*w - 38]', '[971, 971, 11*w - 39]', '[971, 971, 17*w - 45]', '[976, 244, 12*w - 40]', '[976, 244, -12*w - 28]', '[979, 979, 23*w - 52]', '[979, 979, 13*w + 28]', '[979, 979, 13*w - 41]', '[979, 979, 23*w + 29]', '[980, 70, 28*w - 14]', '[981, 327, -33*w - 3]', '[981, 327, 33*w - 36]', '[991, 991, -32*w - 1]', '[991, 991, 32*w - 33]', '[995, 995, -7*w + 36]', '[995, 995, 29*w - 22]', '[1004, 502, 4*w - 34]', '[1004, 502, -30*w + 26]', '[1009, 1009, 29*w - 21]', '[1009, 1009, 8*w - 37]', '[1019, 1019, 33*w - 35]', '[1019, 1019, -33*w - 2]', '[1021, 1021, 29*w - 20]', '[1021, 1021, 9*w - 38]', '[1024, 32, 32]', '[1025, 205, -30*w + 25]', '[1025, 205, 5*w - 35]', '[1031, 1031, 19*w - 48]', '[1031, 1031, 10*w - 39]', '[1039, 1039, 18*w - 47]', '[1039, 1039, 11*w - 40]', '[1044, 174, 6*w + 30]', '[1044, 174, -6*w + 36]', '[1045, 1045, -3*w + 34]', '[1045, 1045, -29*w + 12]', '[1045, 1045, -29*w + 17]', '[1045, 1045, 3*w + 31]', '[1049, 1049, 16*w - 45]', '[1049, 1049, 13*w - 42]', '[1051, 1051, 14*w - 43]', '[1051, 1051, 15*w - 44]', '[1055, 1055, 32*w - 31]', '[1055, 1055, 33*w - 34]', '[1061, 1061, -30*w + 23]', '[1061, 1061, 7*w - 37]', '[1069, 1069, -35*w - 4]', '[1069, 1069, 35*w - 39]', '[1076, 538, 30*w - 22]', '[1076, 538, 8*w - 38]', '[1084, 542, -34*w - 2]', '[1084, 542, 34*w - 36]', '[1089, 33, 33]', '[1089, 363, -30*w + 9]', '[1089, 363, -30*w + 21]', '[1091, 1091, 36*w - 41]', '[1091, 1091, -36*w - 5]', '[1100, 110, -30*w + 20]', '[1100, 110, -30*w + 10]', '[1109, 1109, 19*w - 49]', '[1109, 1109, 11*w - 41]', '[1111, 1111, 37*w - 43]', '[1111, 1111, 32*w - 29]', '[1111, 1111, 35*w - 38]', '[1111, 1111, 31*w - 25]', '[1116, 186, -30*w + 12]', '[1116, 186, -30*w + 18]', '[1121, 1121, -w - 33]', '[1121, 1121, 30*w - 17]', '[1121, 1121, 13*w - 43]', '[1121, 1121, 34*w - 35]', '[1124, 562, 14*w - 44]', '[1124, 562, 16*w - 46]', '[1125, 75, -30*w + 15]', '[1129, 1129, -31*w + 24]', '[1129, 1129, 7*w - 38]', '[1136, 284, -32*w + 28]', '[1136, 284, 4*w - 36]', '[1145, 1145, 31*w - 23]', '[1145, 1145, -8*w + 39]', '[1151, 1151, 35*w - 37]', '[1151, 1151, -35*w - 2]', '[1156, 34, -34]', '[1159, 1159, 31*w - 22]', '[1159, 1159, 37*w + 5]', '[1159, 1159, 37*w - 42]', '[1159, 1159, 31*w - 9]', '[1171, 1171, 10*w - 41]', '[1171, 1171, 21*w - 52]', '[1179, 393, -36*w - 3]', '[1179, 393, 36*w - 39]', '[1180, 590, 6*w - 38]', '[1180, 590, 32*w - 26]', '[1181, 1181, 11*w - 42]', '[1181, 1181, 20*w - 51]', '[1189, 1189, -w - 34]', '[1189, 1189, -31*w + 19]', '[1189, 1189, 12*w - 43]', '[1189, 1189, -35*w + 36]', '[1195, 1195, 18*w - 49]', '[1195, 1195, 18*w + 31]', '[1199, 1199, 25*w + 32]', '[1199, 1199, 14*w - 45]', '[1199, 1199, 14*w + 31]', '[1199, 1199, 25*w - 57]', '[1201, 1201, 15*w - 46]', '[1201, 1201, 16*w - 47]', '[1205, 1205, 37*w - 41]', '[1205, 1205, 33*w - 29]', '[1216, 152, -32*w + 24]', '[1216, 152, -32*w + 8]', '[1220, 610, 34*w - 32]', '[1220, 610, 34*w - 2]', '[1225, 35, -35]', '[1229, 1229, 38*w - 43]', '[1229, 1229, -38*w - 5]', '[1231, 1231, 9*w - 41]', '[1231, 1231, 32*w - 23]', '[1244, 622, 10*w - 42]', '[1244, 622, 32*w - 22]', '[1249, 1249, 37*w - 40]', '[1249, 1249, -37*w - 3]', '[1251, 417, 6*w - 39]', '[1251, 417, -33*w + 27]', '[1255, 1255, 32*w - 21]', '[1255, 1255, -11*w + 43]', '[1259, 1259, -36*w - 1]', '[1259, 1259, 36*w - 37]', '[1264, 316, 32*w - 20]', '[1264, 316, 12*w - 44]', '[1271, 1271, 32*w - 19]', '[1271, 1271, -7*w + 40]', '[1271, 1271, 33*w - 26]', '[1271, 1271, -13*w + 45]', '[1276, 638, -32*w + 18]', '[1276, 638, -4*w + 38]', '[1276, 638, 4*w + 34]', '[1276, 638, -32*w + 14]', '[1279, 1279, 17*w - 49]', '[1279, 1279, 15*w - 47]', '[1280, 80, -32*w + 16]', '[1289, 1289, 8*w - 41]', '[1289, 1289, 33*w - 25]', '[1291, 1291, 37*w - 39]', '[1291, 1291, -37*w - 2]', '[1296, 36, 36]', '[1301, 1301, -39*w - 5]', '[1301, 1301, 39*w - 44]', '[1305, 435, -33*w + 24]', '[1305, 435, -33*w + 9]', '[1319, 1319, 33*w - 23]', '[1319, 1319, 10*w - 43]', '[1321, 1321, -38*w - 3]', '[1321, 1321, 38*w - 41]', '[1324, 662, -34*w + 28]', '[1324, 662, 6*w - 40]', '[1331, 121, -33*w + 22]', '[1331, 121, -33*w + 11]', '[1331, 1331, w + 36]', '[1331, 1331, -w + 37]', '[1341, 447, 21*w - 54]', '[1341, 447, 12*w - 45]', '[1345, 1345, 34*w - 27]', '[1345, 1345, 7*w - 41]', '[1349, 1349, 33*w - 13]', '[1349, 1349, 35*w - 31]', '[1349, 1349, -4*w + 39]', '[1349, 1349, -20*w + 53]', '[1355, 1355, 19*w + 33]', '[1355, 1355, 19*w - 52]', '[1359, 453, 15*w - 48]', '[1359, 453, 18*w - 51]', '[1361, 1361, 16*w - 49]', '[1361, 1361, 17*w - 50]', '[1364, 682, 2*w + 36]', '[1364, 682, -8*w + 42]', '[1364, 682, 8*w + 34]', '[1364, 682, -2*w + 38]', '[1369, 37, -37]', '[1375, 275, 5*w + 35]', '[1375, 275, -5*w + 40]', '[1381, 1381, 9*w - 43]', '[1381, 1381, 34*w - 25]', '[1395, 465, 3*w + 36]', '[1395, 465, -3*w + 39]', '[1396, 698, 34*w - 24]', '[1396, 698, 10*w - 44]', '[1399, 1399, -35*w + 29]', '[1399, 1399, 6*w - 41]', '[1405, 1405, 37*w - 36]', '[1405, 1405, 38*w - 39]', '[1409, 1409, 11*w - 45]', '[1409, 1409, 23*w - 57]', '[1420, 710, 34*w - 22]', '[1420, 710, -12*w + 46]', '[1421, 203, -7*w - 35]', '[1421, 203, 7*w - 42]', '[1424, 356, -40*w - 4]', '[1424, 356, 40*w - 44]', '[1429, 1429, 13*w - 47]', '[1429, 1429, 21*w - 55]', '[1436, 718, 20*w - 54]', '[1436, 718, 14*w - 48]', '[1439, 1439, 39*w - 41]', '[1439, 1439, -39*w - 2]', '[1441, 1441, 15*w - 49]', '[1441, 1441, 27*w + 35]', '[1441, 1441, 27*w - 62]', '[1441, 1441, 15*w + 34]', '[1444, 38, 38]', '[1444, 722, -34*w + 16]', '[1444, 722, -34*w + 18]', '[1445, 85, 34*w - 17]', '[1451, 1451, 41*w - 46]', '[1451, 1451, -41*w - 5]', '[1459, 1459, 35*w - 26]', '[1459, 1459, 9*w - 44]', '[1471, 1471, 40*w - 43]', '[1471, 1471, -40*w - 3]', '[1475, 295, 10*w - 45]', '[1475, 295, 35*w - 25]', '[1476, 246, -36*w + 30]', '[1476, 246, 6*w - 42]', '[1481, 1481, -39*w - 1]', '[1481, 1481, 39*w - 40]', '[1489, 1489, 35*w - 24]', '[1489, 1489, 11*w - 46]', '[1499, 1499, 7*w - 43]', '[1499, 1499, -36*w + 29]', '[1501, 1501, 35*w - 23]', '[1501, 1501, 41*w - 45]', '[1501, 1501, -4*w - 37]', '[1501, 1501, 12*w - 47]', '[1511, 1511, 13*w - 48]', '[1511, 1511, 22*w - 57]', '[1516, 758, -40*w - 2]', '[1516, 758, 40*w - 42]', '[1519, 217, 35*w - 14]', '[1519, 217, 35*w - 21]', '[1520, 380, -8*w + 44]', '[1520, 380, 8*w + 36]', '[1521, 39, -39]', '[1525, 305, 15*w - 50]', '[1525, 305, -15*w - 35]', '[1529, 1529, 35*w - 19]', '[1529, 1529, 37*w - 32]', '[1529, 1529, -5*w + 42]', '[1529, 1529, -16*w + 51]', '[1531, 1531, 17*w - 52]', '[1531, 1531, 18*w - 53]', '[1539, 171, -36*w + 27]', '[1539, 171, -36*w + 9]', '[1549, 1549, -41*w - 3]', '[1549, 1549, 41*w - 44]', '[1555, 1555, 6*w - 43]', '[1555, 1555, 37*w - 31]', '[1556, 778, 10*w - 46]', '[1556, 778, 36*w - 26]', '[1559, 1559, -40*w - 1]', '[1559, 1559, 40*w - 41]', '[1571, 1571, 11*w - 47]', '[1571, 1571, 36*w - 25]', '[1579, 1579, -37*w + 30]', '[1579, 1579, 7*w - 44]', '[1580, 790, 4*w - 42]', '[1580, 790, 38*w - 34]', '[1584, 132, -36*w + 24]', '[1584, 132, -36*w + 12]', '[1595, 1595, -36*w + 13]', '[1595, 1595, -2*w + 41]', '[1595, 1595, 2*w + 39]', '[1595, 1595, -36*w + 23]', '[1600, 40, 40]', '[1601, 1601, -37*w + 29]', '[1601, 1601, 8*w - 45]', '[1604, 802, 14*w - 50]', '[1604, 802, 22*w - 58]', '[1609, 1609, 43*w - 48]', '[1609, 1609, -43*w - 5]', '[1611, 537, 21*w - 57]', '[1611, 537, 15*w - 51]', '[1616, 404, 16*w - 52]', '[1616, 404, 20*w - 56]', '[1619, 1619, 19*w - 55]', '[1619, 1619, 17*w - 53]', '[1620, 90, -36*w + 18]', '[1621, 1621, 9*w - 46]', '[1621, 1621, 37*w - 28]', '[1629, 543, -42*w - 3]', '[1629, 543, 42*w - 45]', '[1636, 818, 6*w - 44]', '[1636, 818, -38*w + 32]', '[1639, 1639, 40*w - 39]', '[1639, 1639, 47*w - 57]', '[1639, 1639, 37*w - 27]', '[1639, 1639, 41*w - 42]', '[1655, 1655, -11*w + 48]', '[1655, 1655, 37*w - 26]', '[1661, 1661, 39*w - 35]', '[1661, 1661, 38*w - 31]', '[1661, 1661, 45*w - 52]', '[1661, 1661, 43*w - 47]', '[1669, 1669, 12*w - 49]', '[1669, 1669, 37*w - 25]', '[1676, 838, -42*w - 2]', '[1676, 838, 42*w - 44]', '[1681, 41, 41]', '[1681, 1681, 13*w - 50]', '[1681, 1681, 24*w - 61]', '[1684, 842, -38*w + 30]', '[1684, 842, 8*w - 46]', '[1691, 1691, 34*w - 73]', '[1691, 1691, 14*w + 37]', '[1691, 1691, 14*w - 51]', '[1691, 1691, 34*w + 39]', '[1699, 1699, 22*w - 59]', '[1699, 1699, 15*w - 52]', '[1705, 1705, -37*w + 21]', '[1705, 1705, -38*w + 29]', '[1705, 1705, -38*w + 9]', '[1705, 1705, -37*w + 16]', '[1709, 1709, 17*w - 54]', '[1709, 1709, 20*w - 57]', '[1711, 1711, 37*w - 18]', '[1711, 1711, 3*w - 43]', '[1711, 1711, 40*w - 37]', '[1711, 1711, 19*w - 56]', '[1719, 573, 6*w - 45]', '[1719, 573, -39*w + 33]', '[1721, 1721, -42*w - 1]', '[1721, 1721, 42*w - 43]', '[1724, 862, 38*w - 28]', '[1724, 862, 10*w - 48]', '[1741, 1741, 38*w - 27]', '[1741, 1741, 11*w - 49]', '[1744, 436, -44*w - 4]', '[1744, 436, 44*w - 48]', '[1745, 1745, 7*w - 46]', '[1745, 1745, 39*w - 32]', '[1756, 878, 12*w - 50]', '[1756, 878, 38*w - 26]', '[1759, 1759, 43*w - 45]', '[1759, 1759, -43*w - 2]', '[1764, 42, -42]', '[1769, 1769, 25*w - 63]', '[1769, 1769, -8*w - 39]', '[1769, 1769, 8*w - 47]', '[1769, 1769, -25*w - 38]', '[1775, 355, -40*w + 35]', '[1775, 355, 5*w - 45]', '[1780, 890, 24*w + 38]', '[1780, 890, 24*w - 62]', '[1789, 1789, 15*w - 53]', '[1789, 1789, 23*w - 61]', '[1791, 597, 9*w - 48]', '[1791, 597, -39*w + 30]', '[1795, 1795, 41*w - 38]', '[1795, 1795, 44*w - 47]', '[1796, 898, 16*w - 54]', '[1796, 898, 22*w - 60]', '[1801, 1801, 21*w - 59]', '[1801, 1801, 17*w - 55]', '[1804, 902, -18*w + 56]', '[1804, 902, 40*w - 34]', '[1804, 902, -6*w + 46]', '[1804, 902, 38*w - 20]', '[1805, 95, -38*w + 19]', '[1805, 1805, w + 42]', '[1805, 1805, -w + 43]', '[1811, 1811, 39*w - 29]', '[1811, 1811, 10*w - 49]', '[1829, 1829, 11*w - 50]', '[1829, 1829, 4*w - 45]', '[1829, 1829, 41*w - 37]', '[1829, 1829, 39*w - 28]', '[1831, 1831, 7*w - 47]', '[1831, 1831, -40*w + 33]', '[1844, 922, -44*w - 2]', '[1844, 922, 44*w - 46]', '[1845, 615, -12*w + 51]', '[1845, 615, 39*w - 27]', '[1849, 43, -43]', '[1856, 232, 8*w + 40]', '[1856, 232, -8*w + 48]', '[1859, 143, 39*w - 26]', '[1859, 143, 39*w - 13]', '[1861, 1861, 46*w - 51]', '[1861, 1861, -46*w - 5]', '[1871, 1871, 25*w - 64]', '[1871, 1871, 14*w - 53]', '[1879, 1879, -40*w + 31]', '[1879, 1879, 9*w - 49]', '[1881, 627, 3*w + 42]', '[1881, 627, -39*w + 15]', '[1881, 627, -39*w + 24]', '[1881, 627, -3*w + 45]', '[1889, 1889, 16*w - 55]', '[1889, 1889, 23*w - 62]', '[1891, 1891, 44*w + 1]', '[1891, 1891, 41*w - 35]', '[1891, 1891, 41*w - 6]', '[1891, 1891, 44*w - 45]', '[1895, 1895, 22*w + 39]', '[1895, 1895, 22*w - 61]', '[1899, 633, 18*w - 57]', '[1899, 633, 21*w - 60]', '[1900, 190, -40*w + 30]', '[1900, 190, -40*w + 10]', '[1901, 1901, 19*w - 58]', '[1901, 1901, 20*w - 59]', '[1916, 958, 46*w - 50]', '[1916, 958, -46*w - 4]', '[1919, 1919, 41*w - 34]', '[1919, 1919, 40*w - 29]', '[1919, 1919, 51*w - 62]', '[1919, 1919, 48*w - 55]', '[1931, 1931, 45*w - 47]', '[1931, 1931, -45*w - 2]', '[1936, 44, 44]', '[1936, 484, -40*w + 12]', '[1936, 484, -40*w + 28]', '[1945, 1945, 8*w - 49]', '[1945, 1945, 41*w - 33]', '[1949, 1949, -47*w - 5]', '[1949, 1949, 47*w - 52]', '[1951, 1951, 13*w - 53]', '[1951, 1951, 27*w - 67]', '[1964, 982, 26*w - 66]', '[1964, 982, 14*w - 54]', '[1969, 1969, 50*w - 59]', '[1969, 1969, 46*w - 49]', '[1969, 1969, 43*w - 40]', '[1969, 1969, 41*w - 32]', '[1975, 395, 40*w - 25]', '[1975, 395, 15*w - 55]', '[1979, 1979, -45*w - 1]', '[1979, 1979, 45*w - 46]', '[1980, 330, 6*w + 42]', '[1980, 330, -6*w + 48]', '[1984, 248, -40*w + 16]', '[1984, 248, -40*w + 24]', '[1991, 1991, 31*w + 41]', '[1991, 1991, 17*w - 57]', '[1991, 1991, 17*w + 40]', '[1991, 1991, 31*w - 72]', '[1996, 998, 22*w - 62]', '[1996, 998, 18*w - 58]', '[1999, 1999, 21*w - 61]', '[1999, 1999, 19*w - 59]', '[2000, 100, -40*w + 20]', '[2005, 2005, 43*w - 39]', '[2005, 2005, 47*w - 51]', '[2009, 287, -42*w + 35]', '[2009, 287, 7*w - 49]', '[2011, 2011, 41*w - 30]', '[2011, 2011, 11*w - 52]', '[2020, 1010, 44*w - 42]', '[2020, 1010, 46*w - 48]', '[2025, 45, 45]', '[2029, 2029, 12*w - 53]', '[2029, 2029, 41*w - 29]', '[2036, 1018, 8*w - 50]', '[2036, 1018, -42*w + 34]', '[2039, 2039, 48*w - 53]', '[2039, 2039, -48*w - 5]', '[2045, 2045, 41*w - 28]', '[2045, 2045, -13*w + 54]', '[2059, 2059, -41*w + 27]', '[2059, 2059, -3*w - 44]', '[2059, 2059, -47*w + 50]', '[2059, 2059, 14*w - 55]', '[2061, 687, -42*w + 33]', '[2061, 687, 9*w - 51]', '[2069, 2069, -46*w - 1]', '[2069, 2069, 46*w - 47]', '[2071, 2071, 37*w + 43]', '[2071, 2071, 15*w + 41]', '[2071, 2071, 15*w - 56]', '[2071, 2071, 37*w - 80]', '[2081, 2081, 25*w - 66]', '[2081, 2081, 16*w - 57]', '[2084, 1042, 10*w - 52]', '[2084, 1042, 42*w - 32]', '[2089, 2089, 17*w - 58]', '[2089, 2089, 24*w - 65]', '[2095, 2095, 23*w - 64]', '[2095, 2095, 23*w + 41]', '[2096, 524, -48*w - 4]', '[2096, 524, 48*w - 52]', '[2099, 2099, 22*w - 63]', '[2099, 2099, 19*w - 60]', '[2101, 2101, -20*w + 61]', '[2101, 2101, -7*w + 50]', '[2101, 2101, 43*w - 36]', '[2101, 2101, 41*w - 21]', '[2105, 2105, -11*w + 53]', '[2105, 2105, 42*w - 31]', '[2111, 2111, 47*w - 49]', '[2111, 2111, -47*w - 2]', '[2116, 46, -46]', '[2124, 354, 12*w - 54]', '[2124, 354, 42*w - 30]', '[2129, 2129, 8*w - 51]', '[2129, 2129, -43*w + 35]', '[2131, 2131, -49*w - 5]', '[2131, 2131, 49*w - 54]', '[2141, 2141, 42*w - 29]', '[2141, 2141, 13*w - 55]', '[2151, 717, -48*w - 3]', '[2151, 717, 48*w - 51]', '[2155, 2155, 9*w - 52]', '[2155, 2155, 43*w - 34]', '[2156, 154, 42*w - 28]', '[2156, 154, 42*w - 14]', '[2161, 2161, -47*w - 1]', '[2161, 2161, 47*w - 48]', '[2164, 1082, 50*w - 56]', '[2164, 1082, -50*w - 6]', '[2169, 723, 27*w - 69]', '[2169, 723, 15*w - 57]', '[2179, 2179, -43*w + 33]', '[2179, 2179, 10*w - 53]', '[2180, 1090, 26*w - 68]', '[2180, 1090, 26*w + 42]', '[2189, 2189, 42*w - 25]', '[2189, 2189, -4*w + 49]', '[2189, 2189, 45*w - 41]', '[2189, 2189, -17*w + 59]', '[2195, 2195, 44*w - 37]', '[2195, 2195, 7*w - 51]', '[2196, 366, 18*w - 60]', '[2196, 366, -18*w - 42]', '[2201, 2201, 43*w - 32]', '[2201, 2201, -19*w + 61]', '[2201, 2201, 42*w - 23]', '[2201, 2201, -11*w + 54]', '[2204, 1102, 2*w + 46]', '[2204, 1102, -42*w + 20]', '[2204, 1102, -42*w + 22]', '[2204, 1102, -2*w + 48]', '[2205, 105, 42*w - 21]', '[2209, 47, -47]', '[2221, 2221, 43*w - 31]', '[2221, 2221, 12*w - 55]', '[2224, 556, 8*w - 52]', '[2224, 556, -44*w + 36]', '[2225, 445, -50*w - 5]', '[2225, 445, 50*w - 55]', '[2239, 2239, 43*w - 30]', '[2239, 2239, 13*w - 56]', '[2245, 2245, 49*w - 52]', '[2245, 2245, 46*w - 43]', '[2251, 2251, -44*w + 35]', '[2251, 2251, 9*w - 53]', '[2255, 2255, -47*w + 46]', '[2255, 2255, 14*w - 57]', '[2255, 2255, -43*w + 29]', '[2255, 2255, w - 48]', '[2259, 753, 6*w - 51]', '[2259, 753, -45*w + 39]', '[2269, 2269, 15*w - 58]', '[2269, 2269, 28*w - 71]', '[2276, 1138, -44*w + 34]', '[2276, 1138, 10*w - 54]', '[2281, 2281, 16*w - 59]', '[2281, 2281, 27*w - 70]', '[2284, 1142, 50*w - 54]', '[2284, 1142, -50*w - 4]', '[2291, 2291, 43*w - 17]', '[2291, 2291, 45*w - 38]', '[2291, 2291, 7*w - 52]', '[2291, 2291, 26*w - 69]', '[2299, 209, -44*w + 33]', '[2299, 209, -44*w + 11]', '[2299, 2299, -43*w + 25]', '[2299, 2299, -2*w + 49]', '[2299, 2299, 2*w + 47]', '[2299, 2299, -43*w + 18]', '[2304, 48, 48]', '[2305, 2305, 24*w + 43]', '[2305, 2305, 24*w - 67]', '[2309, 2309, 20*w - 63]', '[2309, 2309, 23*w - 66]', '[2311, 2311, 21*w - 64]', '[2311, 2311, 22*w - 65]', '[2320, 580, -44*w + 32]', '[2320, 580, -44*w + 12]', '[2321, 2321, 51*w - 56]', '[2321, 2321, 45*w - 37]', '[2321, 2321, 53*w - 61]', '[2321, 2321, 46*w - 41]', '[2339, 2339, 44*w - 31]', '[2339, 2339, 13*w - 57]', '[2341, 2341, -50*w - 3]', '[2341, 2341, 50*w - 53]', '[2349, 261, 9*w + 45]', '[2349, 261, -9*w + 54]', '[2351, 2351, -49*w - 1]', '[2351, 2351, 49*w - 50]', '[2356, 1178, -44*w + 14]', '[2356, 1178, 6*w + 46]', '[2356, 1178, -6*w + 52]', '[2356, 1178, -44*w + 30]', '[2371, 2371, 29*w - 73]', '[2371, 2371, 15*w - 59]', '[2375, 475, -10*w + 55]', '[2375, 475, 10*w + 45]', '[2381, 2381, -51*w - 4]', '[2381, 2381, 51*w - 55]', '[2384, 596, 28*w - 72]', '[2384, 596, 16*w - 60]', '[2389, 2389, 7*w - 53]', '[2389, 2389, -46*w + 39]', '[2395, 2395, 27*w - 71]', '[2395, 2395, 27*w + 44]', '[2396, 1198, -50*w - 2]', '[2396, 1198, 50*w - 52]', '[2399, 2399, 11*w - 56]', '[2399, 2399, 45*w - 34]', '[2401, 49, -49]', '[2404, 1202, 26*w - 70]', '[2404, 1202, 18*w - 62]', '[2411, 2411, 25*w - 69]', '[2411, 2411, 19*w - 63]', '[2416, 604, 20*w - 64]', '[2416, 604, 24*w - 68]', '[2419, 2419, -52*w - 5]', '[2419, 2419, 23*w - 67]', '[2419, 2419, 21*w - 65]', '[2419, 2419, 52*w - 57]', '[2420, 110, -44*w + 22]', '[2420, 1210, 8*w + 46]', '[2420, 1210, -8*w + 54]', '[2421, 807, 45*w - 33]', '[2421, 807, 12*w - 57]', '[2439, 813, -51*w - 3]', '[2439, 813, 51*w - 54]', '[2441, 2441, 45*w - 32]', '[2441, 2441, 13*w - 58]', '[2449, 2449, 49*w - 48]', '[2449, 2449, 9*w - 55]', '[2449, 2449, 46*w - 37]', '[2449, 2449, w - 50]', '[2455, 2455, 47*w - 41]', '[2455, 2455, 53*w - 59]', '[2459, 2459, 14*w - 59]', '[2459, 2459, 45*w - 31]', '[2475, 165, -45*w + 30]', '[2475, 165, -45*w + 15]', '[2476, 1238, 10*w - 56]', '[2476, 1238, -46*w + 36]', '[2480, 620, 4*w + 48]', '[2480, 620, -4*w + 52]', '[2489, 2489, 16*w - 61]', '[2489, 2489, 40*w + 47]', '[2489, 2489, 40*w - 87]', '[2489, 2489, 16*w + 45]', '[2495, 2495, 51*w - 53]', '[2495, 2495, 49*w - 47]', '[2500, 50, 50]', '[2501, 2501, 28*w - 73]', '[2501, 2501, 46*w - 35]', '[2501, 2501, 11*w - 57]', '[2501, 2501, 17*w - 62]', '[2511, 279, -45*w + 18]', '[2511, 279, -45*w + 27]', '[2519, 2519, -5*w + 53]', '[2519, 2519, 45*w - 26]', '[2519, 2519, -19*w + 64]', '[2519, 2519, 48*w - 43]', '[2521, 2521, -47*w + 39]', '[2521, 2521, 8*w - 55]', '[2524, 1262, 46*w - 34]', '[2524, 1262, 12*w - 58]', '[2525, 505, 20*w - 65]', '[2525, 505, 25*w - 70]', '[2529, 843, 21*w - 66]', '[2529, 843, 24*w - 69]', '[2531, 2531, 22*w - 67]', '[2531, 2531, 23*w - 68]', '[2539, 2539, 52*w - 55]', '[2539, 2539, -52*w - 3]', '[2545, 2545, -13*w + 59]', '[2545, 2545, 46*w - 33]', '[2549, 2549, -51*w - 1]', '[2549, 2549, 51*w - 52]', '[2551, 2551, -47*w + 38]', '[2551, 2551, 9*w - 56]', '[2556, 426, -48*w + 42]', '[2556, 426, 6*w - 54]', '[2564, 1282, 46*w - 32]', '[2564, 1282, 14*w - 60]', '[2579, 2579, 10*w - 57]', '[2579, 2579, -47*w + 37]', '[2581, 2581, 61*w - 76]', '[2581, 2581, -49*w + 4]', '[2581, 2581, 49*w - 45]', '[2581, 2581, -61*w - 15]', '[2591, 2591, -55*w - 7]', '[2591, 2591, 55*w - 62]', '[2596, 1298, 50*w - 48]', '[2596, 1298, 46*w - 30]', '[2596, 1298, 16*w - 62]', '[2596, 1298, 2*w - 52]', '[2601, 51, -51]', '[2605, 2605, 11*w - 58]', '[2605, 2605, 47*w - 36]', '[2609, 2609, 29*w - 75]', '[2609, 2609, 17*w - 63]', '[2620, 1310, 28*w + 46]', '[2620, 1310, 28*w - 74]', '[2621, 2621, -54*w - 5]', '[2621, 2621, 54*w - 59]', '[2624, 328, -48*w + 40]', '[2624, 328, 8*w - 56]', '[2629, 2629, 35*w - 82]', '[2629, 2629, 19*w + 46]', '[2629, 2629, 19*w - 65]', '[2629, 2629, 35*w + 47]', '[2636, 1318, 26*w - 72]', '[2636, 1318, 20*w - 66]', '[2641, 2641, -25*w + 71]', '[2641, 2641, 50*w - 47]', '[2641, 2641, -3*w + 53]', '[2641, 2641, 46*w - 21]', '[2644, 1322, 22*w - 68]', '[2644, 1322, 24*w - 70]', '[2645, 115, 46*w - 23]', '[2651, 2651, 51*w - 50]', '[2651, 2651, 60*w - 73]', '[2651, 2651, 47*w - 34]', '[2651, 2651, 52*w - 53]', '[2655, 885, 9*w - 57]', '[2655, 885, 48*w - 39]', '[2659, 2659, 55*w - 61]', '[2659, 2659, -55*w - 6]', '[2671, 2671, 14*w - 61]', '[2671, 2671, 47*w - 33]', '[2684, 1342, 48*w - 38]', '[2684, 1342, 54*w - 58]', '[2684, 1342, 54*w + 4]', '[2684, 1342, 48*w - 10]', '[2689, 2689, 47*w - 32]', '[2689, 2689, 15*w - 62]', '[2695, 385, -7*w - 49]', '[2695, 385, 7*w - 56]', '[2699, 2699, 53*w - 55]', '[2699, 2699, -53*w - 2]', '[2704, 52, -52]', '[2705, 2705, 31*w - 78]', '[2705, 2705, 31*w + 47]', '[2711, 2711, 11*w - 59]', '[2711, 2711, -48*w + 37]', '[2719, 2719, 17*w - 64]', '[2719, 2719, 30*w - 77]', '[2725, 545, -55*w - 5]', '[2725, 545, 55*w - 60]', '[2729, 2729, 57*w - 65]', '[2729, 2729, -57*w - 8]', '[2731, 2731, 18*w - 65]', '[2731, 2731, 29*w - 76]', '[2736, 228, -48*w + 36]', '[2736, 228, -48*w + 12]', '[2741, 2741, 28*w - 75]', '[2741, 2741, 19*w - 66]', '[2745, 915, 51*w - 48]', '[2745, 915, 51*w - 3]', '[2749, 2749, 20*w - 67]', '[2749, 2749, 27*w - 74]', '[2755, 2755, w + 52]', '[2755, 2755, -47*w + 26]', '[2755, 2755, -47*w + 21]', '[2755, 2755, -w + 53]', '[2759, 2759, 35*w + 48]', '[2759, 2759, 25*w - 72]', '[2759, 2759, 25*w + 47]', '[2759, 2759, 35*w - 83]', '[2761, 2761, 47*w - 23]', '[2761, 2761, 49*w - 40]', '[2761, 2761, -9*w + 58]', '[2761, 2761, -24*w + 71]', '[2764, 1382, 56*w - 62]', '[2764, 1382, -56*w - 6]', '[2780, 1390, 48*w - 34]', '[2780, 1390, -14*w + 62]', '[2789, 2789, -55*w - 4]', '[2789, 2789, 55*w - 59]', '[2791, 2791, -49*w + 39]', '[2791, 2791, 10*w - 59]', '[2799, 933, 15*w - 63]', '[2799, 933, 48*w - 33]', '[2801, 2801, 57*w - 64]', '[2801, 2801, -57*w - 7]', '[2804, 1402, -54*w - 2]', '[2804, 1402, 54*w - 56]', '[2809, 53, -53]', '[2816, 176, -48*w + 32]', '[2816, 176, -48*w + 16]', '[2819, 2819, -49*w + 38]', '[2819, 2819, 11*w - 60]', '[2831, 2831, 56*w - 61]', '[2831, 2831, 48*w - 31]', '[2831, 2831, 65*w - 82]', '[2831, 2831, 51*w - 46]', '[2836, 1418, 8*w - 58]', '[2836, 1418, -50*w + 42]', '[2844, 474, 48*w - 30]', '[2844, 474, 18*w - 66]', '[2845, 2845, -12*w + 61]', '[2845, 2845, 49*w - 37]', '[2851, 2851, 55*w - 58]', '[2851, 2851, -55*w - 3]', '[2855, 2855, 29*w + 48]', '[2855, 2855, 29*w - 77]', '[2861, 2861, -54*w - 1]', '[2861, 2861, 54*w - 55]', '[2864, 716, 28*w - 76]', '[2864, 716, 20*w - 68]', '[2869, 2869, 59*w - 68]', '[2869, 2869, 62*w - 75]', '[2869, 2869, 49*w - 36]', '[2869, 2869, 50*w - 41]', '[2871, 957, -48*w + 27]', '[2871, 957, -6*w + 57]', '[2871, 957, 6*w + 51]', '[2871, 957, -48*w + 21]', '[2876, 1438, 26*w - 74]', '[2876, 1438, 22*w - 70]', '[2879, 2879, 25*w - 73]', '[2879, 2879, 23*w - 71]', '[2880, 120, -48*w + 24]', '[2891, 413, 14*w - 63]', '[2891, 413, 49*w - 35]', '[2896, 724, -56*w - 4]', '[2896, 724, 56*w - 60]', '[2900, 290, 10*w + 50]', '[2900, 290, -10*w + 60]', '[2909, 2909, -58*w - 7]', '[2909, 2909, 58*w - 65]', '[2911, 2911, 15*w - 64]', '[2911, 2911, 55*w - 57]', '[2911, 2911, -55*w - 2]', '[2911, 2911, 49*w - 34]', '[2916, 54, 54]', '[2929, 2929, 16*w - 65]', '[2929, 2929, 11*w - 61]', '[2929, 2929, 39*w - 89]', '[2929, 2929, 33*w - 82]', '[2939, 2939, -57*w - 5]', '[2939, 2939, 57*w - 62]', '[2945, 2945, -8*w + 59]', '[2945, 2945, -49*w + 17]', '[2945, 2945, -49*w + 32]', '[2945, 2945, 8*w + 51]', '[2956, 1478, 12*w - 62]', '[2956, 1478, 50*w - 38]', '[2959, 2959, 53*w - 50]', '[2959, 2959, 18*w - 67]', '[2959, 2959, 49*w - 31]', '[2959, 2959, 3*w - 56]', '[2969, 2969, -55*w - 1]', '[2969, 2969, 55*w - 56]', '[2971, 2971, 19*w - 68]', '[2971, 2971, 30*w - 79]', '[2979, 993, -51*w + 42]', '[2979, 993, 9*w - 60]', '[2980, 1490, 52*w - 46]', '[2980, 1490, 58*w - 64]', '[2981, 2981, 20*w - 69]', '[2981, 2981, 37*w + 50]', '[2981, 2981, 37*w - 87]', '[2981, 2981, 20*w + 49]', '[2989, 427, 21*w - 70]', '[2989, 427, 28*w - 77]', '[2995, 2995, 27*w + 49]', '[2995, 2995, 27*w - 76]', '[2999, 2999, 23*w - 72]', '[2999, 2999, 26*w - 75]', '[3001, 3001, 24*w - 73]', '[3001, 3001, 25*w - 74]', '[3004, 1502, 14*w - 64]', '[3004, 1502, 50*w - 36]', '[3005, 3005, 57*w - 61]', '[3005, 3005, 53*w - 49]', '[3011, 3011, 10*w - 61]', '[3011, 3011, -51*w + 41]', '[3019, 3019, -59*w - 7]', '[3019, 3019, 59*w - 66]', '[3020, 1510, 54*w - 52]', '[3020, 1510, 56*w - 58]', '[3025, 55, 55]', '[3025, 605, -50*w + 15]', '[3025, 605, -50*w + 35]', '[3041, 3041, -51*w + 40]', '[3041, 3041, 11*w - 62]', '[3044, 1522, 16*w - 66]', '[3044, 1522, 50*w - 34]', '[3049, 3049, 58*w - 63]', '[3049, 3049, -58*w - 5]', '[3056, 764, 8*w - 60]', '[3056, 764, -52*w + 44]', '[3061, 3061, 33*w - 83]', '[3061, 3061, 17*w - 67]', '[3069, 1023, 3*w + 54]', '[3069, 1023, -12*w + 63]', '[3069, 1023, 12*w + 51]', '[3069, 1023, -3*w + 57]', '[3076, 1538, 18*w - 68]', '[3076, 1538, 32*w - 82]', '[3079, 3079, -56*w - 1]', '[3079, 3079, 56*w - 57]', '[3089, 3089, 19*w - 69]', '[3089, 3089, 31*w - 81]', '[3091, 3091, 53*w - 47]', '[3091, 3091, 61*w - 70]', '[3091, 3091, 52*w - 43]', '[3091, 3091, 59*w - 65]', '[3095, 3095, 51*w - 38]', '[3095, 3095, -13*w + 64]', '[3100, 310, -50*w + 20]', '[3100, 310, -50*w + 30]', '[3109, 3109, 21*w - 71]', '[3109, 3109, 29*w - 79]', '[3116, 1558, 50*w - 22]', '[3116, 1558, -4*w + 58]', '[3116, 1558, 54*w - 50]', '[3116, 1558, -28*w + 78]', '[3119, 3119, 51*w - 37]', '[3119, 3119, 14*w - 65]', '[3121, 3121, 23*w - 73]', '[3121, 3121, 27*w - 77]', '[3124, 1562, 50*w - 24]', '[3124, 1562, -10*w + 62]', '[3124, 1562, 52*w - 42]', '[3124, 1562, -26*w + 76]', '[3125, 125, -50*w + 25]', '[3131, 3131, 60*w - 67]', '[3131, 3131, 57*w - 59]', '[3131, 3131, 55*w - 53]', '[3131, 3131, 53*w - 46]', '[3136, 56, -56]', '[3141, 1047, 51*w - 36]', '[3141, 1047, 15*w - 66]', '[3155, 3155, 52*w - 41]', '[3155, 3155, 11*w - 63]', '[3161, 3161, 54*w - 49]', '[3161, 3161, -67*w - 16]', '[3161, 3161, 67*w - 83]', '[3161, 3161, -54*w + 5]', '[3169, 3169, -61*w - 8]', '[3169, 3169, 61*w - 69]', '[3179, 187, 51*w - 34]', '[3179, 187, 51*w - 17]', '[3181, 3181, 58*w - 61]', '[3181, 3181, -58*w - 3]', '[3184, 796, 12*w - 64]', '[3184, 796, -52*w + 40]', '[3191, 3191, -57*w - 1]', '[3191, 3191, 57*w - 58]', '[3195, 1065, 51*w - 33]', '[3195, 1065, -18*w + 69]', '[3204, 534, -60*w - 6]', '[3204, 534, 60*w - 66]', '[3205, 3205, 53*w - 44]', '[3205, 3205, 9*w - 62]', '[3209, 3209, 19*w - 70]', '[3209, 3209, 32*w - 83]', '[3211, 247, 52*w - 39]', '[3211, 247, 52*w - 13]', '[3221, 3221, 31*w - 82]', '[3221, 3221, 20*w - 71]', '[3229, 3229, -59*w - 4]', '[3229, 3229, 59*w - 63]', '[3231, 1077, 30*w - 81]', '[3231, 1077, 21*w - 72]', '[3236, 1618, 14*w - 66]', '[3236, 1618, 52*w - 38]', '[3239, 3239, 29*w - 80]', '[3239, 3239, -53*w + 43]', '[3239, 3239, 10*w - 63]', '[3239, 3239, 22*w - 73]', '[3244, 1622, -58*w - 2]', '[3244, 1622, 58*w - 60]', '[3245, 3245, 51*w - 28]', '[3245, 3245, 7*w - 61]', '[3245, 3245, 54*w - 47]', '[3245, 3245, 23*w - 74]', '[3249, 57, 57]', '[3249, 1083, -51*w + 24]', '[3249, 1083, -51*w + 27]', '[3251, 3251, 25*w - 76]', '[3251, 3251, 26*w - 77]', '[3259, 3259, 52*w - 37]', '[3259, 3259, 15*w - 67]', '[3271, 3271, 11*w - 64]', '[3271, 3271, -53*w + 42]', '[3275, 655, -60*w - 5]', '[3275, 655, 60*w - 65]', '[3280, 820, -16*w + 68]', '[3280, 820, 52*w - 36]', '[3284, 1642, -54*w + 46]', '[3284, 1642, 8*w - 62]', '[3295, 3295, 56*w - 53]', '[3295, 3295, 59*w - 62]', '[3299, 3299, 17*w - 69]', '[3299, 3299, 35*w - 87]', '[3301, 3301, 12*w - 65]', '[3301, 3301, -53*w + 41]', '[3305, 3305, 57*w - 56]', '[3305, 3305, 58*w - 59]', '[3316, 1658, 34*w - 86]', '[3316, 1658, 18*w - 70]', '[3319, 3319, 61*w - 67]', '[3319, 3319, -61*w - 6]', '[3321, 369, -54*w + 45]', '[3321, 369, 9*w - 63]', '[3329, 3329, 13*w - 66]', '[3329, 3329, 53*w - 40]', '[3331, 3331, 33*w - 85]', '[3331, 3331, 19*w - 71]', '[3344, 836, 4*w + 56]', '[3344, 836, -52*w + 20]', '[3344, 836, -52*w + 32]', '[3344, 836, -4*w + 60]', '[3355, 3355, 31*w - 83]', '[3355, 3355, -14*w - 53]', '[3355, 3355, 14*w - 67]', '[3355, 3355, -31*w - 52]', '[3356, 1678, -54*w + 44]', '[3356, 1678, 10*w - 64]', '[3359, 3359, 59*w - 61]', '[3359, 3359, -59*w - 2]', '[3361, 3361, -62*w - 7]', '[3361, 3361, 62*w - 69]', '[3364, 58, 58]', '[3364, 1682, -52*w + 22]', '[3364, 1682, -52*w + 30]', '[3371, 3371, 23*w - 75]', '[3371, 3371, 29*w - 81]', '[3376, 844, 24*w - 76]', '[3376, 844, 28*w - 80]', '[3379, 3379, 38*w + 53]', '[3379, 3379, 27*w - 79]', '[3379, 3379, 27*w + 52]', '[3379, 3379, 38*w - 91]', '[3380, 130, 52*w - 26]', '[3389, 3389, -54*w + 43]', '[3389, 3389, 11*w - 65]', '[3391, 3391, 61*w - 66]', '[3391, 3391, -61*w - 5]', '[3401, 3401, 55*w - 47]', '[3401, 3401, 53*w - 37]', '[3401, 3401, 69*w - 85]', '[3401, 3401, 63*w - 71]', '[3411, 1137, -60*w - 3]', '[3411, 1137, 60*w - 63]', '[3420, 570, -12*w + 66]', '[3420, 570, 12*w + 54]', '[3421, 3421, 58*w - 57]', '[3421, 3421, 53*w - 36]', '[3421, 3421, 17*w - 70]', '[3421, 3421, w - 59]', '[3436, 1718, 62*w - 68]', '[3436, 1718, -62*w - 6]', '[3439, 3439, 18*w + 53]', '[3439, 3439, 46*w + 55]', '[3439, 3439, 46*w - 101]', '[3439, 3439, 18*w - 71]', '[3449, 3449, 54*w - 41]', '[3449, 3449, 13*w - 67]', '[3455, 3455, 34*w - 87]', '[3455, 3455, 34*w + 53]', '[3461, 3461, 61*w - 65]', '[3461, 3461, -61*w - 4]', '[3469, 3469, 33*w - 86]', '[3469, 3469, 20*w - 73]', '[3475, 695, 10*w - 65]', '[3475, 695, -55*w + 45]', '[3476, 1738, -2*w - 58]', '[3476, 1738, 54*w - 40]', '[3476, 1738, 14*w - 68]', '[3476, 1738, 60*w - 62]', '[3479, 497, -63*w - 7]', '[3479, 497, 63*w - 70]', '[3481, 59, 59]', '[3481, 3481, 21*w - 74]', '[3481, 3481, 32*w - 85]', '[3491, 3491, 22*w - 75]', '[3491, 3491, 31*w - 84]', '[3499, 3499, 23*w - 76]', '[3499, 3499, 30*w - 83]', '[3501, 1167, 15*w - 69]', '[3501, 1167, 54*w - 39]', '[3505, 3505, 29*w + 53]', '[3505, 3505, 29*w - 82]', '[3509, 319, 11*w + 55]', '[3509, 319, -11*w + 66]', '[3509, 3509, -53*w + 28]', '[3509, 3509, 5*w + 57]', '[3509, 3509, -5*w + 62]', '[3509, 3509, -53*w + 25]', '[3511, 3511, 26*w - 79]', '[3511, 3511, 27*w - 80]', '[3520, 440, 8*w + 56]', '[3520, 440, -8*w + 64]', '[3524, 1762, 16*w - 70]', '[3524, 1762, 54*w - 38]', '[3529, 3529, 61*w - 64]', '[3529, 3529, -61*w - 3]', '[3539, 3539, -60*w - 1]', '[3539, 3539, 60*w - 61]', '[3541, 3541, -55*w + 43]', '[3541, 3541, 12*w - 67]', '[3545, 3545, -17*w + 71]', '[3545, 3545, 54*w - 37]', '[3555, 1185, 6*w - 63]', '[3555, 1185, 57*w - 51]', '[3559, 3559, -56*w + 47]', '[3559, 3559, 9*w - 65]', '[3564, 198, -54*w + 36]', '[3564, 198, -54*w + 18]', '[3571, 3571, 55*w - 42]', '[3571, 3571, 13*w - 68]', '[3580, 1790, 62*w - 66]', '[3580, 1790, 58*w - 54]', '[3581, 3581, 19*w - 73]', '[3581, 3581, 35*w - 89]', '[3595, 3595, 61*w - 63]', '[3595, 3595, 59*w - 57]', '[3596, 1798, -54*w + 20]', '[3596, 1798, -10*w + 66]', '[3596, 1798, 10*w + 56]', '[3596, 1798, -54*w + 34]', '[3599, 3599, 55*w - 41]', '[3599, 3599, 64*w - 71]', '[3599, 3599, -64*w - 7]', '[3599, 3599, 14*w - 69]', '[3600, 60, 60]', '[3609, 1203, 21*w - 75]', '[3609, 1203, 33*w - 87]', '[3620, 1810, 32*w - 86]', '[3620, 1810, 32*w + 54]', '[3625, 725, -55*w + 40]', '[3625, 725, -55*w + 15]', '[3629, 3629, 54*w - 23]', '[3629, 3629, -5*w + 63]', '[3629, 3629, 58*w - 53]', '[3629, 3629, -31*w + 85]', '[3631, 3631, 11*w - 67]', '[3631, 3631, -56*w + 45]', '[3636, 606, 24*w - 78]', '[3636, 606, 30*w - 84]', '[3641, 3641, -8*w + 65]', '[3641, 3641, 54*w - 29]', '[3641, 3641, -25*w + 79]', '[3641, 3641, 57*w - 49]', '[3644, 1822, 26*w - 80]', '[3644, 1822, 28*w - 82]', '[3645, 135, -54*w + 27]', '[3649, 3649, -62*w - 3]', '[3649, 3649, 16*w - 71]', '[3649, 3649, 55*w - 39]', '[3649, 3649, 62*w - 65]', '[3659, 3659, -61*w - 1]', '[3659, 3659, 61*w - 62]', '[3664, 916, -56*w + 44]', '[3664, 916, 12*w - 68]', '[3671, 3671, 55*w - 38]', '[3671, 3671, 17*w - 72]', '[3676, 1838, -64*w - 6]', '[3676, 1838, 64*w - 70]', '[3681, 1227, 9*w - 66]', '[3681, 1227, -57*w + 48]', '[3691, 3691, 18*w - 73]', '[3691, 3691, 37*w - 92]', '[3695, 3695, 56*w - 43]', '[3695, 3695, 13*w - 69]', '[3701, 3701, -63*w - 4]', '[3701, 3701, 63*w - 67]', '[3709, 3709, 19*w - 74]', '[3709, 3709, 36*w - 91]', '[3716, 1858, -62*w - 2]', '[3716, 1858, 62*w - 64]', '[3719, 3719, 10*w - 67]', '[3719, 3719, -57*w + 47]', '[3721, 61, 61]', '[3721, 3721, -65*w - 7]', '[3721, 3721, 65*w - 72]', '[3724, 266, 56*w - 42]', '[3724, 266, 56*w - 14]', '[3725, 745, 35*w - 90]', '[3725, 745, 20*w - 75]', '[3739, 3739, 34*w - 89]', '[3739, 3739, 21*w - 76]', '[3751, 341, -55*w + 22]', '[3751, 341, -55*w + 33]', '[3751, 3751, 5*w + 59]', '[3751, 3751, -56*w + 41]', '[3751, 3751, -56*w + 15]', '[3751, 3751, -5*w + 64]', '[3755, 3755, 57*w - 46]', '[3755, 3755, 11*w - 68]', '[3761, 3761, 32*w - 87]', '[3761, 3761, 23*w - 78]', '[3764, 1882, 66*w - 74]', '[3764, 1882, -66*w - 8]', '[3769, 3769, 24*w - 79]', '[3769, 3769, 31*w - 86]', '[3771, 1257, -63*w - 3]', '[3771, 1257, 63*w - 66]', '[3775, 755, 25*w - 80]', '[3775, 755, 30*w - 85]', '[3776, 472, 16*w - 72]', '[3776, 472, 56*w - 40]', '[3779, 3779, 26*w - 81]', '[3779, 3779, 29*w - 84]', '[3781, 3781, 61*w - 60]', '[3781, 3781, -27*w + 82]', '[3781, 3781, 55*w - 28]', '[3781, 3781, -w + 62]', '[3789, 1263, -57*w + 45]', '[3789, 1263, 12*w - 69]', '[3799, 3799, 59*w - 53]', '[3799, 3799, 73*w - 90]', '[3799, 3799, -73*w - 17]', '[3799, 3799, -59*w + 6]', '[3805, 3805, 58*w - 49]', '[3805, 3805, 9*w - 67]', '[3820, 1910, -18*w + 74]', '[3820, 1910, 56*w - 38]', '[3821, 3821, -57*w + 44]', '[3821, 3821, 13*w - 70]', '[3824, 956, -64*w - 4]', '[3824, 956, 64*w - 68]', '[3839, 3839, 56*w - 37]', '[3839, 3839, 2*w - 63]', '[3839, 3839, 61*w - 59]', '[3839, 3839, 19*w - 75]', '[3844, 62, 62]', '[3844, 1922, 10*w + 58]', '[3844, 1922, -10*w + 68]', '[3845, 3845, 59*w - 52]', '[3845, 3845, 66*w - 73]', '[3851, 3851, 14*w - 71]', '[3851, 3851, 57*w - 43]', '[3856, 964, 36*w - 92]', '[3856, 964, 20*w - 76]', '[3871, 553, 35*w - 91]', '[3871, 553, 21*w - 77]', '[3875, 775, 5*w + 60]', '[3875, 775, -5*w + 65]', '[3879, 1293, 57*w - 42]', '[3879, 1293, 15*w - 72]', '[3881, 3881, 11*w - 69]', '[3881, 3881, -58*w + 47]', '[3884, 1942, 22*w - 78]', '[3884, 1942, 34*w - 90]', '[3889, 3889, 67*w - 75]', '[3889, 3889, -67*w - 8]', '[3895, 3895, 23*w - 79]', '[3895, 3895, -64*w + 67]', '[3895, 3895, -3*w - 61]', '[3895, 3895, -56*w + 33]', '[3904, 488, 24*w - 80]', '[3904, 488, -24*w - 56]', '[3905, 3905, -w - 62]', '[3905, 3905, -57*w + 41]', '[3905, 3905, 16*w - 73]', '[3905, 3905, -63*w + 64]', '[3911, 3911, 31*w - 87]', '[3911, 3911, 25*w - 81]', '[3916, 1958, 46*w - 104]', '[3916, 1958, 26*w + 56]', '[3916, 1958, 26*w - 82]', '[3916, 1958, 46*w + 58]', '[3919, 3919, 29*w - 85]', '[3919, 3919, 27*w - 83]', '[3920, 140, 56*w - 28]', '[3924, 654, -66*w - 6]', '[3924, 654, 66*w - 72]', '[3929, 3929, 17*w - 74]', '[3929, 3929, 57*w - 40]', '[3931, 3931, 68*w - 77]', '[3931, 3931, -68*w - 9]', '[3949, 3949, 58*w - 45]', '[3949, 3949, 65*w - 69]', '[3949, 3949, 61*w - 57]', '[3949, 3949, 71*w - 84]', '[3951, 1317, 18*w - 75]', '[3951, 1317, 57*w - 39]', '[3964, 1982, -64*w - 2]', '[3964, 1982, 64*w - 66]', '[3969, 63, -63]', '[3971, 209, -57*w + 38]', '[3971, 209, -57*w + 19]', '[3971, 3971, 10*w + 59]', '[3971, 3971, -7*w + 67]', '[3971, 3971, 7*w + 60]', '[3971, 3971, -10*w + 69]', '[3980, 1990, -14*w + 72]', '[3980, 1990, 58*w - 44]', '[3989, 3989, 37*w - 94]', '[3989, 3989, 20*w - 77]', '[4001, 4001, 66*w - 71]', '[4001, 4001, -66*w - 5]', '[4005, 1335, 36*w + 57]', '[4005, 1335, 36*w - 93]', '[4009, 4009, 70*w - 81]', '[4009, 4009, 73*w - 88]', '[4009, 4009, 58*w - 43]', '[4009, 4009, 59*w - 48]', '[4016, 1004, 8*w - 68]', '[4016, 1004, -60*w + 52]', '[4019, 4019, 35*w - 92]', '[4019, 4019, 22*w - 79]', '[4021, 4021, -65*w - 3]', '[4021, 4021, 65*w - 68]', '[4031, 4031, -w - 63]', '[4031, 4031, -57*w + 34]', '[4031, 4031, 23*w - 80]', '[4031, 4031, -64*w + 65]', '[4036, 2018, 58*w - 42]', '[4036, 2018, 16*w - 74]', '[4041, 1347, 24*w - 81]', '[4041, 1347, 33*w - 90]', '[4045, 4045, 59*w - 47]', '[4045, 4045, 12*w - 71]', '[4049, 4049, 32*w - 89]', '[4049, 4049, 25*w - 82]', '[4051, 4051, 67*w - 73]', '[4051, 4051, -67*w - 6]', '[4055, 4055, 31*w - 88]', '[4055, 4055, 31*w + 57]', '[4059, 1353, -27*w + 84]', '[4059, 1353, 60*w - 51]', '[4059, 1353, -9*w + 69]', '[4059, 1353, 57*w - 30]', '[4061, 4061, 29*w + 57]', '[4061, 4061, 41*w + 58]', '[4061, 4061, 41*w - 99]', '[4061, 4061, 29*w - 86]', '[4076, 2038, 66*w - 70]', '[4076, 2038, -66*w - 4]', '[4079, 4079, 13*w - 72]', '[4079, 4079, -59*w + 46]', '[4084, 2042, 58*w - 40]', '[4084, 2042, 18*w - 76]', '[4091, 4091, 65*w - 67]', '[4091, 4091, -65*w - 2]', '[4096, 64, 64]', '[4099, 4099, 68*w - 75]', '[4099, 4099, -68*w - 7]', '[4100, 410, -60*w + 50]', '[4100, 410, 10*w - 70]', '[4105, 4105, -19*w + 77]', '[4105, 4105, 58*w - 39]', '[4111, 4111, 14*w - 73]', '[4111, 4111, 59*w - 45]', '[4124, 2062, 38*w - 96]', '[4124, 2062, 20*w - 78]', '[4129, 4129, -67*w - 5]', '[4129, 4129, 67*w - 72]', '[4139, 4139, -60*w + 49]', '[4139, 4139, 11*w - 71]', '[4141, 4141, 59*w - 44]', '[4141, 4141, 21*w - 79]', '[4141, 4141, 37*w - 95]', '[4141, 4141, 15*w - 74]', '[4145, 4145, 61*w - 53]', '[4145, 4145, 69*w - 77]', '[4149, 1383, -66*w - 3]', '[4149, 1383, 66*w - 69]', '[4156, 2078, 36*w - 94]', '[4156, 2078, 22*w - 80]', '[4159, 4159, -65*w - 1]', '[4159, 4159, 65*w - 66]', '[4169, 4169, 23*w - 81]', '[4169, 4169, 43*w + 59]', '[4169, 4169, 43*w - 102]', '[4169, 4169, 23*w + 58]', '[4176, 348, 12*w + 60]', '[4176, 348, -12*w + 72]', '[4180, 2090, -6*w + 68]', '[4180, 2090, -58*w + 24]', '[4180, 2090, -58*w + 34]', '[4180, 2090, 6*w + 62]', '[4189, 4189, 33*w - 91]', '[4189, 4189, 70*w - 79]', '[4189, 4189, -70*w - 9]', '[4189, 4189, 25*w - 83]', '[4195, 4195, 59*w - 42]', '[4195, 4195, -17*w + 76]', '[4196, 2098, 32*w - 90]', '[4196, 2098, 26*w - 84]', '[4201, 4201, 27*w - 85]', '[4201, 4201, 31*w - 89]', '[4204, 2102, 28*w - 86]', '[4204, 2102, 30*w - 88]', '[4205, 145, -58*w + 29]', '[4205, 4205, 4*w + 63]', '[4205, 4205, -4*w + 67]', '[4211, 4211, 13*w - 73]', '[4211, 4211, -60*w + 47]', '[4219, 4219, 59*w - 41]', '[4219, 4219, 18*w - 77]', '[4220, 2110, 64*w - 62]', '[4220, 2110, 66*w - 68]', '[4225, 65, -65]', '[4229, 4229, -69*w - 7]', '[4229, 4229, 69*w - 76]', '[4231, 4231, 71*w - 81]', '[4231, 4231, -71*w - 10]', '[4241, 4241, 40*w - 99]', '[4241, 4241, 19*w - 78]', '[4244, 2122, -60*w + 46]', '[4244, 2122, 14*w - 74]', '[4259, 4259, 68*w - 73]', '[4259, 4259, -68*w - 5]', '[4261, 4261, 39*w - 98]', '[4261, 4261, 20*w - 79]', '[4271, 4271, 11*w - 72]', '[4271, 4271, -61*w + 50]', '[4275, 285, -60*w + 45]', '[4275, 285, -60*w + 15]', '[4276, 2138, -70*w - 8]', '[4276, 2138, 70*w - 78]', '[4279, 4279, 21*w - 80]', '[4279, 4279, 3*w - 67]', '[4279, 4279, 64*w - 61]', '[4279, 4279, 59*w - 38]', '[4289, 4289, -66*w - 1]', '[4289, 4289, 66*w - 67]', '[4295, 4295, 37*w + 59]', '[4295, 4295, 37*w - 96]', '[4304, 1076, 60*w - 44]', '[4304, 1076, 16*w - 76]', '[4309, 4309, -12*w + 73]', '[4309, 4309, 59*w - 36]', '[4309, 4309, -23*w + 82]', '[4309, 4309, 61*w - 49]', '[4311, 1437, 69*w - 75]', '[4311, 1437, -69*w - 6]', '[4321, 4321, 53*w - 115]', '[4321, 4321, 24*w - 83]', '[4321, 4321, 35*w - 94]', '[4321, 4321, 9*w - 71]', '[4331, 4331, 17*w - 77]', '[4331, 4331, 34*w - 93]', '[4331, 4331, 25*w - 84]', '[4331, 4331, 60*w - 43]', '[4336, 1084, -68*w - 4]', '[4336, 1084, 68*w - 72]', '[4339, 4339, 33*w - 92]', '[4339, 4339, 26*w - 85]', '[4345, 4345, 13*w - 74]', '[4345, 4345, 59*w - 27]', '[4345, 4345, 32*w - 91]', '[4345, 4345, 61*w - 48]', '[4349, 4349, 31*w - 90]', '[4349, 4349, 28*w - 87]', '[4351, 4351, 59*w - 29]', '[4351, 4351, -2*w + 67]', '[4351, 4351, 65*w - 63]', '[4351, 4351, -30*w + 89]', '[4356, 66, 66]', '[4356, 726, -60*w + 18]', '[4356, 726, -60*w + 42]', '[4361, 623, -70*w - 7]', '[4361, 623, 70*w - 77]', '[4364, 2182, 72*w - 82]', '[4364, 2182, -72*w - 10]', '[4379, 4379, 14*w - 75]', '[4379, 4379, 41*w - 101]', '[4379, 4379, 19*w - 79]', '[4379, 4379, 47*w - 108]', '[4391, 4391, -69*w - 5]', '[4391, 4391, 69*w - 74]', '[4400, 220, -60*w + 40]', '[4400, 220, -60*w + 20]', '[4405, 4405, 62*w - 51]', '[4405, 4405, 11*w - 73]', '[4409, 4409, -71*w - 8]', '[4409, 4409, 71*w - 79]', '[4411, 4411, 76*w - 91]', '[4411, 4411, 65*w - 62]', '[4411, 4411, 68*w - 71]', '[4411, 4411, 61*w - 46]', '[4419, 1473, 39*w - 99]', '[4419, 1473, 21*w - 81]', '[4421, 4421, -67*w - 1]', '[4421, 4421, 67*w - 68]', '[4436, 2218, 38*w - 98]', '[4436, 2218, 22*w - 82]', '[4441, 4441, 16*w - 77]', '[4441, 4441, 61*w - 45]', '[4444, 2222, 74*w - 86]', '[4444, 2222, 64*w - 58]', '[4444, 2222, 70*w - 76]', '[4444, 2222, 62*w - 50]', '[4451, 4451, 23*w - 83]', '[4451, 4451, 37*w - 97]', '[4455, 495, 9*w + 63]', '[4455, 495, -9*w + 72]', '[4464, 372, -60*w + 24]', '[4464, 372, -60*w + 36]', '[4469, 4469, 69*w - 73]', '[4469, 4469, 61*w - 44]', '[4469, 4469, 17*w - 78]', '[4469, 4469, -69*w - 4]', '[4475, 895, 35*w - 95]', '[4475, 895, 25*w - 85]', '[4481, 4481, 13*w - 75]', '[4481, 4481, -62*w + 49]', '[4484, 2242, -2*w - 66]', '[4484, 2242, 60*w - 34]', '[4484, 2242, 26*w - 86]', '[4484, 2242, 68*w - 70]', '[4489, 67, -67]', '[4491, 1497, 33*w - 93]', '[4491, 1497, 27*w - 87]', '[4495, 4495, -7*w + 71]', '[4495, 4495, -61*w + 43]', '[4495, 4495, -61*w + 18]', '[4495, 4495, 7*w + 64]', '[4496, 1124, 28*w - 88]', '[4496, 1124, 32*w - 92]', '[4499, 4499, 63*w - 53]', '[4499, 4499, 60*w - 31]', '[4499, 4499, -29*w + 89]', '[4499, 4499, -10*w + 73]', '[4500, 150, -60*w + 30]', '[4516, 2258, -62*w + 48]', '[4516, 2258, 14*w - 76]', '[4519, 4519, 19*w - 80]', '[4519, 4519, 42*w - 103]', '[4525, 905, -70*w - 5]', '[4525, 905, 70*w - 75]', '[4541, 4541, 20*w - 81]', '[4541, 4541, 52*w - 115]', '[4541, 4541, 52*w + 63]', '[4541, 4541, 20*w + 61]', '[4544, 568, -64*w + 56]', '[4544, 568, 8*w - 72]', '[4545, 1515, 66*w - 63]', '[4545, 1515, 69*w - 72]', '[4549, 4549, 62*w - 47]', '[4549, 4549, 15*w - 77]', '[4555, 4555, 67*w - 66]', '[4555, 4555, 68*w - 69]', '[4561, 4561, 21*w - 82]', '[4561, 4561, 40*w - 101]', '[4579, 4579, 65*w - 59]', '[4579, 4579, 61*w - 39]', '[4579, 4579, 83*w - 105]', '[4579, 4579, 71*w - 77]', '[4580, 2290, 62*w - 46]', '[4580, 2290, -16*w + 78]', '[4581, 1527, 12*w - 75]', '[4581, 1527, -63*w + 51]', '[4591, 4591, 73*w - 82]', '[4591, 4591, -73*w - 9]', '[4595, 4595, 38*w - 99]', '[4595, 4595, 38*w + 61]', '[4604, 2302, 70*w - 74]', '[4604, 2302, -70*w - 4]', '[4609, 4609, 45*w - 107]', '[4609, 4609, 24*w + 61]', '[4609, 4609, 24*w - 85]', '[4609, 4609, 45*w + 62]', '[4619, 4619, 76*w - 89]', '[4619, 4619, 69*w - 71]', '[4619, 4619, 67*w - 65]', '[4619, 4619, 63*w - 50]', '[4621, 4621, 36*w - 97]', '[4621, 4621, 25*w - 86]', '[4624, 68, -68]', '[4631, 4631, -26*w + 87]', '[4631, 4631, 65*w - 58]', '[4631, 4631, -7*w + 72]', '[4631, 4631, 61*w - 35]', '[4636, 2318, 62*w - 44]', '[4636, 2318, 74*w + 10]', '[4636, 2318, 74*w - 84]', '[4636, 2318, 62*w - 18]', '[4639, 4639, 27*w - 88]', '[4639, 4639, 34*w - 95]', '[4645, 4645, 33*w - 94]', '[4645, 4645, 33*w + 61]', '[4649, 4649, 29*w - 90]', '[4649, 4649, 32*w - 93]', '[4651, 4651, 30*w - 91]', '[4651, 4651, 31*w - 92]', '[4655, 665, 14*w - 77]', '[4655, 665, -14*w - 63]', '[4661, 4661, 71*w - 76]', '[4661, 4661, 19*w - 81]', '[4661, 4661, 62*w - 43]', '[4661, 4661, -71*w - 5]', '[4679, 4679, 11*w - 75]', '[4679, 4679, -64*w + 53]', '[4681, 4681, 73*w - 81]', '[4681, 4681, 70*w - 73]', '[4681, 4681, 67*w - 64]', '[4681, 4681, 65*w - 57]', '[4684, 2342, 20*w - 82]', '[4684, 2342, 42*w - 104]', '[4689, 1563, 15*w - 78]', '[4689, 1563, 63*w - 48]', '[4691, 4691, -69*w - 1]', '[4691, 4691, 69*w - 70]', '[4705, 4705, 41*w - 103]', '[4705, 4705, 41*w + 62]', '[4716, 786, -72*w - 6]', '[4716, 786, 72*w - 78]', '[4720, 1180, 12*w - 76]', '[4720, 1180, 64*w - 52]', '[4721, 4721, 63*w - 47]', '[4721, 4721, 16*w - 79]', '[4724, 2362, 22*w - 84]', '[4724, 2362, 40*w - 102]', '[4729, 4729, -74*w - 9]', '[4729, 4729, 74*w - 83]', '[4741, 4741, 67*w - 63]', '[4741, 4741, 62*w - 39]', '[4741, 4741, 23*w - 85]', '[4741, 4741, 4*w - 71]', '[4751, 4751, 63*w - 46]', '[4751, 4751, 17*w - 80]', '[4756, 2378, -2*w - 68]', '[4756, 2378, -62*w + 38]', '[4756, 2378, 24*w - 86]', '[4756, 2378, -70*w + 72]', '[4759, 4759, -64*w + 51]', '[4759, 4759, 13*w - 77]', '[4761, 69, -69]', '[4769, 4769, -37*w + 99]', '[4769, 4769, 66*w - 59]', '[4769, 4769, -7*w + 73]', '[4769, 4769, 62*w - 25]', '[4775, 955, 10*w - 75]', '[4775, 955, -65*w + 55]', '[4779, 531, 18*w - 81]', '[4779, 531, 63*w - 45]', '[4780, 2390, 36*w - 98]', '[4780, 2390, 36*w + 62]', '[4789, 4789, 35*w - 97]', '[4789, 4789, 27*w - 89]', '[4796, 2398, 50*w + 64]', '[4796, 2398, 28*w - 90]', '[4796, 2398, 28*w + 62]', '[4796, 2398, 50*w - 114]', '[4799, 4799, -72*w - 5]', '[4799, 4799, 72*w - 77]', '[4801, 4801, 33*w - 95]', '[4801, 4801, 29*w - 91]', '[4804, 2402, 30*w - 92]', '[4804, 2402, 32*w - 94]', '[4805, 155, -62*w + 31]', '[4805, 4805, -63*w + 44]', '[4805, 4805, -63*w + 19]', '[4819, 4819, -65*w + 54]', '[4819, 4819, -71*w - 3]', '[4819, 4819, 71*w - 74]', '[4819, 4819, 11*w - 76]', '[4820, 2410, 74*w - 82]', '[4820, 2410, 66*w - 58]', '[4829, 4829, 69*w - 68]', '[4829, 4829, 20*w - 83]', '[4829, 4829, 63*w - 43]', '[4829, 4829, w - 70]', '[4831, 4831, 15*w - 79]', '[4831, 4831, -64*w + 49]', '[4851, 231, 63*w - 42]', '[4851, 231, 63*w - 21]', '[4855, 4855, 73*w - 79]', '[4855, 4855, 67*w - 61]', '[4861, 4861, 12*w - 77]', '[4861, 4861, -65*w + 53]', '[4864, 304, -64*w + 48]', '[4864, 304, -64*w + 16]', '[4869, 1623, 75*w - 84]', '[4869, 1623, -75*w - 9]', '[4871, 4871, 22*w - 85]', '[4871, 4871, 41*w - 104]', '[4880, 1220, 68*w - 64]', '[4880, 1220, 68*w - 4]', '[4889, 4889, 40*w - 103]', '[4889, 4889, 23*w - 86]', '[4895, 4895, 81*w - 98]', '[4895, 4895, -69*w + 2]', '[4895, 4895, 69*w - 67]', '[4895, 4895, -81*w - 17]', '[4900, 70, -70]', '[4901, 377, -13*w - 65]', '[4901, 377, 13*w - 78]', '[4905, 1635, 39*w - 102]', '[4905, 1635, 39*w + 63]', '[4909, 4909, 74*w - 81]', '[4909, 4909, -74*w - 7]', '[4916, 2458, 76*w - 86]', '[4916, 2458, -76*w - 10]', '[4919, 4919, 25*w - 88]', '[4919, 4919, 38*w - 101]', '[4924, 2462, 18*w - 82]', '[4924, 2462, 64*w - 46]', '[4931, 4931, 37*w - 100]', '[4931, 4931, 26*w - 89]', '[4939, 4939, 65*w - 51]', '[4939, 4939, 73*w - 78]', '[4939, 4939, 68*w - 63]', '[4939, 4939, 79*w - 93]', '[4941, 549, 27*w - 90]', '[4941, 549, -27*w - 63]', '[4949, 707, 28*w - 91]', '[4949, 707, 35*w - 98]', '[4951, 4951, 64*w - 45]', '[4951, 4951, 19*w - 83]', '[4955, 4955, 34*w + 63]', '[4955, 4955, 34*w - 97]', '[4959, 1653, 3*w + 69]', '[4959, 1653, -63*w + 30]', '[4959, 1653, -63*w + 33]', '[4959, 1653, -3*w + 72]', '[4961, 451, -66*w + 55]', '[4961, 451, 11*w - 77]', '[4961, 4961, 63*w - 31]', '[4961, 4961, -8*w + 75]', '[4961, 4961, 67*w - 59]', '[4961, 4961, -32*w + 95]', '[4969, 4969, -71*w - 1]', '[4969, 4969, 71*w - 72]', '[4975, 995, 15*w - 80]', '[4975, 995, -65*w + 50]', '[4976, 1244, 20*w - 84]', '[4976, 1244, 64*w - 44]', '[4996, 2498, 74*w - 80]', '[4996, 2498, -74*w - 6]', '[4999, 4999, 21*w - 85]', '[4999, 4999, 43*w - 107]', '[5004, 834, 12*w - 78]', '[5004, 834, -66*w + 54]', '[5009, 5009, 16*w - 81]', '[5009, 5009, 65*w - 49]', '[5011, 5011, -76*w - 9]', '[5011, 5011, 76*w - 85]', '[5020, 2510, 64*w - 42]', '[5020, 2510, -22*w + 86]', '[5021, 5021, 73*w - 77]', '[5021, 5021, -73*w - 4]', '[5036, 2518, -72*w - 2]', '[5036, 2518, 72*w - 74]', '[5039, 5039, 23*w - 87]', '[5039, 5039, 41*w - 105]', '[5041, 71, 71]', '[5041, 5041, 65*w - 48]', '[5041, 5041, 17*w - 82]', '[5045, 5045, 13*w - 79]', '[5045, 5045, 66*w - 53]', '[5051, 5051, 75*w - 82]', '[5051, 5051, -75*w - 7]', '[5056, 632, 64*w - 40]', '[5056, 632, 24*w - 88]', '[5059, 5059, 77*w - 87]', '[5059, 5059, -77*w - 10]', '[5071, 5071, 47*w + 65]', '[5071, 5071, 25*w - 89]', '[5071, 5071, 25*w + 64]', '[5071, 5071, 47*w - 112]', '[5081, 5081, -74*w - 5]', '[5081, 5081, 74*w - 79]', '[5084, 2542, 64*w - 38]', '[5084, 2542, -14*w + 80]', '[5084, 2542, 66*w - 52]', '[5084, 2542, -26*w + 90]', '[5095, 5095, 37*w - 101]', '[5095, 5095, 37*w + 64]', '[5099, 5099, 65*w - 46]', '[5099, 5099, 19*w - 84]', '[5101, 5101, 73*w - 76]', '[5101, 5101, -73*w - 3]', '[5104, 1276, -64*w + 36]', '[5104, 1276, -8*w + 76]', '[5104, 1276, 8*w + 68]', '[5104, 1276, -64*w + 28]', '[5105, 5105, 11*w - 78]', '[5105, 5105, 67*w - 56]', '[5111, 5111, -w - 71]', '[5111, 5111, 29*w - 93]', '[5111, 5111, 64*w - 35]', '[5111, 5111, 72*w - 73]', '[5116, 2558, 34*w - 98]', '[5116, 2558, 30*w - 94]', '[5119, 5119, 33*w - 97]', '[5119, 5119, 31*w - 95]', '[5120, 160, -64*w + 32]', '[5121, 1707, -66*w + 51]', '[5121, 1707, 15*w - 81]', '[5125, 1025, -20*w + 85]', '[5125, 1025, 65*w - 45]', '[5139, 1713, 75*w - 81]', '[5139, 1713, -75*w - 6]', '[5149, 5149, 55*w - 122]', '[5149, 5149, 21*w + 65]', '[5149, 5149, 21*w - 86]', '[5149, 5149, 55*w + 67]', '[5155, 5155, 77*w - 86]', '[5155, 5155, 68*w - 59]', '[5156, 2578, 16*w - 82]', '[5156, 2578, 66*w - 50]', '[5164, 2582, 74*w - 78]', '[5164, 2582, -74*w - 4]', '[5171, 5171, 43*w - 108]', '[5171, 5171, 22*w - 87]', '[5179, 5179, 73*w - 75]', '[5179, 5179, -73*w - 2]', '[5184, 72, 72]', '[5189, 5189, 17*w - 83]', '[5189, 5189, 66*w - 49]', '[5191, 5191, 42*w - 107]', '[5191, 5191, 54*w - 121]', '[5191, 5191, 13*w - 80]', '[5191, 5191, 23*w - 88]', '[5195, 5195, 69*w - 62]', '[5195, 5195, 76*w - 83]', '[5204, 2602, -78*w - 10]', '[5204, 2602, 78*w - 88]', '[5209, 5209, 41*w - 106]', '[5209, 5209, 24*w - 89]', '[5220, 870, -66*w + 48]', '[5220, 870, -66*w + 18]', '[5225, 1045, 5*w + 70]', '[5225, 1045, -65*w + 25]', '[5225, 1045, -65*w + 40]', '[5225, 1045, -5*w + 75]', '[5231, 5231, -67*w + 53]', '[5231, 5231, 14*w - 81]', '[5239, 403, 65*w - 26]', '[5239, 403, 65*w - 39]', '[5245, 5245, 71*w - 68]', '[5245, 5245, 74*w - 77]', '[5249, 5249, -85*w - 19]', '[5249, 5249, 69*w - 61]', '[5249, 5249, -69*w + 8]', '[5249, 5249, 85*w - 104]', '[5251, 5251, 27*w - 92]', '[5251, 5251, -79*w - 11]', '[5251, 5251, 79*w - 90]', '[5251, 5251, 38*w - 103]', '[5255, 5255, 72*w - 71]', '[5255, 5255, 73*w - 74]', '[5261, 5261, 37*w - 102]', '[5261, 5261, 28*w - 93]', '[5269, 5269, 52*w - 119]', '[5269, 5269, 29*w + 65]', '[5269, 5269, 29*w - 94]', '[5269, 5269, 52*w + 67]', '[5275, 1055, 30*w - 95]', '[5275, 1055, 35*w - 100]', '[5276, 2638, 66*w - 46]', '[5276, 2638, 20*w - 86]', '[5279, 5279, 34*w - 99]', '[5279, 5279, 31*w - 96]', '[5281, 5281, 32*w - 97]', '[5281, 5281, 33*w - 98]', '[5284, 2642, -76*w - 6]', '[5284, 2642, 76*w - 82]', '[5296, 1324, -68*w + 56]', '[5296, 1324, 12*w - 80]', '[5301, 1767, -66*w + 21]', '[5301, 1767, 9*w + 69]', '[5301, 1767, -9*w + 78]', '[5301, 1767, -66*w + 45]', '[5305, 5305, 67*w - 51]', '[5305, 5305, -16*w + 83]', '[5309, 5309, -75*w - 4]', '[5309, 5309, 75*w - 79]', '[5324, 242, -66*w + 44]', '[5324, 242, -66*w + 22]', '[5324, 2662, 2*w + 72]', '[5324, 2662, -2*w + 74]', '[5329, 73, -73]', '[5339, 5339, 67*w - 50]', '[5339, 5339, 68*w - 55]', '[5339, 5339, 81*w - 94]', '[5339, 5339, 84*w - 101]', '[5341, 763, -77*w - 7]', '[5341, 763, 77*w - 84]', '[5345, 5345, 43*w - 109]', '[5345, 5345, 43*w + 66]', '[5351, 5351, -79*w - 10]', '[5351, 5351, 79*w - 89]', '[5364, 894, 42*w - 108]', '[5364, 894, 24*w - 90]', '[5371, 5371, 76*w - 81]', '[5371, 5371, 18*w - 85]', '[5371, 5371, 67*w - 49]', '[5371, 5371, -76*w - 5]', '[5380, 2690, 68*w - 54]', '[5380, 2690, 14*w - 82]', '[5381, 5381, 25*w - 91]', '[5381, 5381, 41*w - 107]', '[5391, 1797, -75*w - 3]', '[5391, 1797, 75*w - 78]', '[5396, 2698, 66*w - 26]', '[5396, 2698, 70*w - 62]', '[5396, 2698, -8*w + 78]', '[5396, 2698, -40*w + 106]', '[5399, 5399, 80*w - 91]', '[5399, 5399, -80*w - 11]', '[5401, 5401, 73*w - 72]', '[5401, 5401, 86*w - 105]', '[5401, 5401, 67*w - 48]', '[5401, 5401, 74*w - 75]', '[5409, 1803, 39*w - 105]', '[5409, 1803, 27*w - 93]', '[5419, 5419, 15*w - 83]', '[5419, 5419, -68*w + 53]', '[5420, 2710, 38*w + 66]', '[5420, 2710, 38*w - 104]', '[5429, 5429, 20*w - 87]', '[5429, 5429, 29*w - 95]', '[5429, 5429, 37*w - 103]', '[5429, 5429, 67*w - 47]', '[5431, 5431, -77*w - 6]', '[5431, 5431, 77*w - 83]', '[5436, 906, 30*w - 96]', '[5436, 906, 36*w - 102]', '[5441, 5441, 31*w - 97]', '[5441, 5441, 35*w - 101]', '[5444, 2722, 32*w - 98]', '[5444, 2722, 34*w - 100]', '[5445, 165, -66*w + 33]', '[5445, 1815, 12*w + 69]', '[5445, 1815, -12*w + 81]', '[5449, 5449, 79*w - 88]', '[5449, 5449, -79*w - 9]', '[5455, 5455, 46*w - 113]', '[5455, 5455, 46*w + 67]', '[5456, 1364, 4*w + 72]', '[5456, 1364, -16*w + 84]', '[5456, 1364, 16*w + 68]', '[5456, 1364, -4*w + 76]', '[5471, 5471, 75*w - 77]', '[5471, 5471, -75*w - 2]', '[5476, 74, -74]', '[5479, 5479, 22*w - 89]', '[5479, 5479, 45*w - 112]', '[5489, 5489, 78*w - 85]', '[5489, 5489, 69*w - 56]', '[5489, 5489, 82*w - 95]', '[5489, 5489, 71*w - 64]', '[5491, 323, 68*w - 51]', '[5491, 323, 68*w - 17]', '[5500, 550, 10*w + 70]', '[5500, 550, -10*w + 80]', '[5501, 5501, 23*w - 90]', '[5501, 5501, 44*w - 111]', '[5519, 5519, -77*w - 5]', '[5519, 5519, 77*w - 82]', '[5521, 5521, 43*w - 110]', '[5521, 5521, 24*w - 91]', '[5524, 2762, 18*w - 86]', '[5524, 2762, 68*w - 50]', '[5531, 5531, -69*w + 55]', '[5531, 5531, 14*w - 83]', '[5539, 5539, 25*w - 92]', '[5539, 5539, -76*w + 79]', '[5539, 5539, -3*w - 73]', '[5539, 5539, -67*w + 42]', '[5545, 5545, 71*w - 63]', '[5545, 5545, 79*w - 87]', '[5549, 5549, 74*w - 73]', '[5549, 5549, 81*w - 92]', '[5549, 5549, 70*w - 59]', '[5549, 5549, 75*w - 76]', '[5555, 5555, 26*w - 93]', '[5555, 5555, 19*w - 87]', '[5555, 5555, 49*w - 117]', '[5555, 5555, 41*w - 108]', '[5569, 5569, 40*w - 107]', '[5569, 5569, 27*w - 94]', '[5571, 1857, 15*w - 84]', '[5571, 1857, -69*w + 54]', '[5580, 930, 6*w + 72]', '[5580, 930, -6*w + 78]', '[5581, 5581, 39*w - 106]', '[5581, 5581, 28*w - 95]', '[5584, 1396, 68*w - 48]', '[5584, 1396, 20*w - 88]', '[5591, 5591, 29*w - 96]', '[5591, 5591, 38*w - 105]', '[5596, 2798, -70*w + 58]', '[5596, 2798, 12*w - 82]', '[5599, 5599, 71*w - 62]', '[5599, 5599, -30*w + 97]', '[5599, 5599, 67*w - 37]', '[5599, 5599, -9*w + 80]', '[5605, 5605, 36*w - 103]', '[5605, 5605, 4*w - 77]', '[5605, 5605, 73*w - 69]', '[5605, 5605, 67*w - 31]', '[5609, 5609, -69*w + 53]', '[5609, 5609, 32*w - 99]', '[5609, 5609, 35*w - 102]', '[5609, 5609, 16*w - 85]', '[5611, 5611, 33*w - 100]', '[5611, 5611, 47*w - 115]', '[5611, 5611, 47*w + 68]', '[5611, 5611, 33*w + 67]', '[5620, 2810, 74*w - 72]', '[5620, 2810, 76*w - 78]', '[5625, 75, 75]', '[5636, 2818, 22*w - 90]', '[5636, 2818, 46*w - 114]', '[5639, 5639, -79*w - 7]', '[5639, 5639, 79*w - 86]', '[5641, 5641, -70*w + 57]', '[5641, 5641, 13*w - 83]', '[5645, 5645, -17*w + 86]', '[5645, 5645, 69*w - 52]', '[5651, 5651, 81*w - 91]', '[5651, 5651, -81*w - 10]', '[5659, 5659, 45*w - 113]', '[5659, 5659, 23*w - 91]', '[5669, 5669, 78*w - 83]', '[5669, 5669, -78*w - 5]', '[5679, 1893, 69*w - 51]', '[5679, 1893, 18*w - 87]', '[5680, 1420, 68*w - 44]', '[5680, 1420, -24*w + 92]', '[5684, 406, -14*w - 70]', '[5684, 406, 14*w - 84]', '[5689, 5689, -77*w - 3]', '[5689, 5689, 77*w - 80]', '[5696, 712, -80*w - 8]', '[5696, 712, 80*w - 88]', '[5699, 5699, -76*w - 1]', '[5699, 5699, 25*w - 93]', '[5699, 5699, 43*w - 111]', '[5699, 5699, 76*w - 77]', '[5701, 5701, -82*w - 11]', '[5701, 5701, 82*w - 93]', '[5711, 5711, 19*w - 88]', '[5711, 5711, 69*w - 50]', '[5716, 2858, 26*w - 94]', '[5716, 2858, 42*w - 110]', '[5725, 1145, -70*w + 55]', '[5725, 1145, 15*w - 85]', '[5731, 5731, 27*w - 95]', '[5731, 5731, 6*w - 79]', '[5731, 5731, 73*w - 67]', '[5731, 5731, 68*w - 41]', '[5741, 5741, 20*w - 89]', '[5741, 5741, 69*w - 49]', '[5744, 1436, 40*w - 108]', '[5744, 1436, 28*w - 96]', '[5749, 5749, -71*w + 59]', '[5749, 5749, 12*w - 83]', '[5751, 639, -72*w + 63]', '[5751, 639, 9*w - 81]', '[5755, 5755, 39*w + 68]', '[5755, 5755, 39*w - 107]', '[5756, 2878, 78*w - 82]', '[5756, 2878, -78*w - 4]', '[5764, 2882, 30*w - 98]', '[5764, 2882, 54*w + 70]', '[5764, 2882, 54*w - 124]', '[5764, 2882, 30*w + 68]', '[5769, 1923, 69*w - 48]', '[5769, 1923, 21*w - 90]', '[5771, 5771, -68*w + 37]', '[5771, 5771, 2*w - 77]', '[5771, 5771, -75*w + 73]', '[5771, 5771, 31*w - 99]', '[5776, 76, 76]', '[5776, 1444, -68*w + 32]', '[5776, 1444, -68*w + 36]', '[5779, 5779, 35*w - 103]', '[5779, 5779, 33*w - 101]', '[5780, 170, 68*w - 34]', '[5791, 5791, -80*w - 7]', '[5791, 5791, 80*w - 87]', '[5795, 5795, -13*w - 71]', '[5795, 5795, 47*w - 116]', '[5795, 5795, -47*w - 69]', '[5795, 5795, 13*w - 84]', '[5801, 5801, 70*w - 53]', '[5801, 5801, 17*w - 87]', '[5804, 2902, 82*w - 92]', '[5804, 2902, -82*w - 10]', '[5819, 253, 69*w - 46]', '[5819, 253, 69*w - 23]', '[5821, 5821, -79*w - 5]', '[5821, 5821, 79*w - 84]', '[5836, 2918, 70*w - 52]', '[5836, 2918, 18*w - 88]', '[5839, 5839, 14*w - 85]', '[5839, 5839, -71*w + 57]', '[5841, 1947, 75*w - 72]', '[5841, 1947, 69*w - 45]', '[5841, 1947, 24*w - 93]', '[5841, 1947, 3*w - 78]', '[5849, 5849, 81*w - 89]', '[5849, 5849, -81*w - 8]', '[5851, 5851, -77*w - 1]', '[5851, 5851, 77*w - 78]', '[5855, 5855, 83*w - 94]', '[5855, 5855, 72*w - 61]', '[5861, 5861, 25*w - 94]', '[5861, 5861, 44*w - 113]', '[5869, 5869, 19*w - 89]', '[5869, 5869, 70*w - 51]', '[5879, 5879, 43*w - 112]', '[5879, 5879, 26*w - 95]', '[5881, 5881, -71*w + 56]', '[5881, 5881, 15*w - 86]', '[5884, 2942, 80*w - 86]', '[5884, 2942, -80*w - 6]', '[5895, 1965, 42*w + 69]', '[5895, 1965, 42*w - 111]', '[5900, 590, 20*w - 90]', '[5900, 590, 70*w - 50]', '[5904, 492, -72*w + 60]', '[5904, 492, 12*w - 84]', '[5905, 5905, 82*w - 91]', '[5905, 5905, 73*w - 64]', '[5909, 5909, -4*w - 75]', '[5909, 5909, 28*w - 97]', '[5909, 5909, 69*w - 41]', '[5909, 5909, 79*w - 83]', '[5921, 5921, -29*w + 98]', '[5921, 5921, -16*w + 87]', '[5921, 5921, 71*w - 55]', '[5921, 5921, 69*w - 40]', '[5924, 2962, -78*w - 2]', '[5924, 2962, 78*w - 80]', '[5929, 77, 77]', '[5929, 847, 70*w - 21]', '[5929, 847, 70*w - 49]', '[5931, 1977, 39*w - 108]', '[5931, 1977, 30*w - 99]', '[5939, 5939, 31*w - 100]', '[5939, 5939, 38*w - 107]', '[5945, 5945, -7*w + 81]', '[5945, 5945, 69*w - 32]', '[5945, 5945, -37*w + 106]', '[5945, 5945, 74*w - 67]', '[5949, 1983, 33*w - 102]', '[5949, 1983, 36*w - 105]', '[5951, 5951, 34*w - 103]', '[5951, 5951, 59*w + 72]', '[5951, 5951, 59*w - 131]', '[5951, 5951, 34*w + 69]', '[5956, 2978, 70*w - 48]', '[5956, 2978, 22*w - 92]', '[5959, 5959, -83*w - 10]', '[5959, 5959, 17*w - 88]', '[5959, 5959, 71*w - 54]', '[5959, 5959, 83*w - 93]', '[5975, 1195, -80*w - 5]', '[5975, 1195, 80*w - 85]', '[5981, 5981, 23*w - 93]', '[5981, 5981, 47*w - 117]', '[5995, 5995, -89*w - 18]', '[5995, 5995, -76*w + 3]', '[5995, 5995, 76*w - 73]', '[5995, 5995, 89*w - 107]', '[5996, 2998, 14*w - 86]', '[5996, 2998, -72*w + 58]', '[6004, 3002, 70*w - 46]', '[6004, 3002, 82*w - 90]', '[6004, 3002, -8*w - 74]', '[6004, 3002, 24*w - 94]', '[6005, 6005, 77*w - 76]', '[6005, 6005, 78*w - 79]', '[6011, 6011, -84*w - 11]', '[6011, 6011, 84*w - 95]', '[6025, 1205, 45*w - 115]', '[6025, 1205, 25*w - 95]', '[6029, 6029, 71*w - 52]', '[6029, 6029, 19*w - 90]', '[6039, 2013, 72*w - 57]', '[6039, 2013, 81*w - 87]', '[6039, 2013, 81*w + 6]', '[6039, 2013, 72*w - 15]', '[6044, 3022, 26*w - 96]', '[6044, 3022, 44*w - 114]', '[6061, 6061, -12*w + 85]', '[6061, 6061, -70*w + 43]', '[6061, 6061, 9*w + 74]', '[6061, 6061, -71*w + 51]', '[6061, 6061, -71*w + 20]', '[6061, 6061, -9*w + 83]', '[6061, 6061, -70*w + 27]', '[6061, 6061, 12*w + 73]', '[6064, 1516, -80*w - 4]', '[6064, 1516, 80*w - 84]', '[6076, 434, 70*w - 28]', '[6076, 434, 70*w - 42]', '[6079, 6079, 79*w - 81]', '[6079, 6079, -79*w - 2]', '[6080, 760, -16*w + 88]', '[6080, 760, 16*w + 72]', '[6084, 78, -78]', '[6089, 6089, 41*w - 111]', '[6089, 6089, 29*w - 99]', '[6091, 6091, 21*w - 92]', '[6091, 6091, 71*w - 50]', '[6100, 610, 30*w - 100]', '[6100, 610, -30*w - 70]', '[6101, 6101, 82*w - 89]', '[6101, 6101, -82*w - 7]', '[6109, 6109, 31*w - 101]', '[6109, 6109, 13*w - 86]', '[6109, 6109, -73*w + 60]', '[6109, 6109, 39*w - 109]', '[6116, 3058, 70*w - 38]', '[6116, 3058, 74*w - 64]', '[6116, 3058, -10*w + 84]', '[6116, 3058, -32*w + 102]', '[6119, 6119, 55*w - 127]', '[6119, 6119, 22*w - 93]', '[6119, 6119, 49*w - 120]', '[6119, 6119, 17*w - 89]', '[6121, 6121, 37*w - 107]', '[6121, 6121, 33*w - 103]', '[6124, 3062, 34*w - 104]', '[6124, 3062, 36*w - 106]', '[6125, 175, 70*w - 35]', '[6131, 6131, 81*w - 86]', '[6131, 6131, -81*w - 5]', '[6145, 6145, 48*w - 119]', '[6145, 6145, 48*w + 71]', '[6151, 6151, -80*w - 3]', '[6151, 6151, 80*w - 83]', '[6155, 6155, 14*w - 87]', '[6155, 6155, 73*w - 59]', '[6156, 342, -72*w + 54]', '[6156, 342, -72*w + 18]', '[6161, 6161, -79*w - 1]', '[6161, 6161, 83*w - 91]', '[6161, 6161, -83*w - 8]', '[6161, 6161, 79*w - 80]', '[6169, 6169, 71*w - 47]', '[6169, 6169, 74*w - 63]', '[6169, 6169, -11*w + 85]', '[6169, 6169, -24*w + 95]', '[6191, 6191, 25*w - 96]', '[6191, 6191, 72*w - 53]', '[6191, 6191, 19*w - 91]', '[6191, 6191, 46*w - 117]', '[6196, 3098, -82*w - 6]', '[6196, 3098, 82*w - 88]', '[6199, 6199, 15*w - 88]', '[6199, 6199, -73*w + 58]', '[6211, 6211, 26*w - 97]', '[6211, 6211, 45*w - 116]', '[6219, 2073, 84*w - 93]', '[6219, 2073, -84*w - 9]', '[6220, 3110, 12*w - 86]', '[6220, 3110, 74*w - 62]', '[6221, 6221, 81*w - 85]', '[6221, 6221, -81*w - 4]', '[6224, 1556, 20*w - 92]', '[6224, 1556, 72*w - 52]', '[6229, 6229, 27*w - 98]', '[6229, 6229, 44*w - 115]', '[6236, 3118, -80*w - 2]', '[6236, 3118, 80*w - 82]', '[6241, 79, 79]', '[6241, 6241, -73*w + 57]', '[6241, 6241, 16*w - 89]', '[6245, 6245, 43*w - 114]', '[6245, 6245, 43*w + 71]', '[6255, 2085, 72*w - 51]', '[6255, 2085, -21*w + 93]', '[6259, 6259, 76*w - 69]', '[6259, 6259, -29*w + 100]', '[6259, 6259, 71*w - 42]', '[6259, 6259, -7*w + 83]', '[6269, 6269, 13*w - 87]', '[6269, 6269, -74*w + 61]', '[6271, 6271, 30*w - 101]', '[6271, 6271, 41*w - 112]', '[6275, 1255, 10*w - 85]', '[6275, 1255, -75*w + 65]', '[6281, 6281, 31*w - 102]', '[6281, 6281, 56*w + 73]', '[6281, 6281, 56*w - 129]', '[6281, 6281, 31*w + 71]', '[6284, 3142, 22*w - 94]', '[6284, 3142, 72*w - 50]', '[6289, 6289, -39*w + 110]', '[6289, 6289, 77*w - 72]', '[6289, 6289, -5*w + 82]', '[6289, 6289, 71*w - 32]', '[6295, 6295, 38*w - 109]', '[6295, 6295, 38*w + 71]', '[6299, 6299, 37*w - 108]', '[6299, 6299, 34*w - 105]', '[6301, 6301, 35*w - 106]', '[6301, 6301, 36*w - 107]', '[6309, 2103, -81*w - 3]', '[6309, 2103, 81*w - 84]', '[6311, 6311, 23*w - 95]', '[6311, 6311, 49*w - 121]', '[6316, 3158, -74*w + 60]', '[6316, 3158, 14*w - 88]', '[6319, 6319, -80*w - 1]', '[6319, 6319, 18*w - 91]', '[6319, 6319, 73*w - 55]', '[6319, 6319, 80*w - 81]', '[6320, 1580, 8*w - 84]', '[6320, 1580, 76*w - 68]', '[6329, 6329, 86*w - 97]', '[6329, 6329, -86*w - 11]', '[6336, 264, -72*w + 48]', '[6336, 264, -72*w + 24]', '[6355, 6355, -77*w + 71]', '[6355, 6355, 19*w - 92]', '[6355, 6355, -73*w + 54]', '[6355, 6355, 6*w - 83]', '[6359, 6359, 25*w - 97]', '[6359, 6359, 47*w - 119]', '[6361, 6361, -74*w + 59]', '[6361, 6361, 15*w - 89]', '[6379, 6379, -85*w - 9]', '[6379, 6379, 85*w - 94]', '[6380, 3190, -72*w + 26]', '[6380, 3190, -4*w + 82]', '[6380, 3190, 4*w + 78]', '[6380, 3190, -72*w + 46]', '[6381, 2127, 12*w - 87]', '[6381, 2127, -75*w + 63]', '[6389, 6389, 73*w - 53]', '[6389, 6389, 20*w - 93]', '[6395, 6395, 81*w - 83]', '[6395, 6395, 79*w - 77]', '[6399, 711, 72*w - 45]', '[6399, 711, 27*w - 99]', '[6400, 80, 80]', '[6404, 3202, -74*w + 58]', '[6404, 3202, 16*w - 90]', '[6416, 1604, 28*w - 100]', '[6416, 1604, 44*w - 116]', '[6419, 917, -84*w - 7]', '[6419, 917, 84*w - 91]', '[6421, 6421, 73*w - 52]', '[6421, 6421, 21*w - 94]', '[6431, 6431, 43*w - 115]', '[6431, 6431, 13*w - 88]', '[6431, 6431, -75*w + 62]', '[6431, 6431, 29*w - 101]', '[6436, 3218, 86*w - 96]', '[6436, 3218, -86*w - 10]', '[6444, 1074, 42*w - 114]', '[6444, 1074, 30*w - 102]', '[6445, 6445, 17*w - 91]', '[6445, 6445, 74*w - 57]', '[6449, 6449, 83*w - 88]', '[6449, 6449, -83*w - 5]', '[6451, 6451, 73*w - 51]', '[6451, 6451, 22*w - 95]', '[6455, 6455, 41*w - 113]', '[6455, 6455, 41*w + 72]', '[6464, 808, 32*w - 104]', '[6464, 808, 40*w - 112]', '[6469, 6469, 82*w - 85]', '[6469, 6469, -82*w - 3]', '[6471, 2157, 39*w - 111]', '[6471, 2157, 33*w - 105]', '[6476, 3238, 38*w - 110]', '[6476, 3238, 34*w - 106]', '[6479, 6479, w + 80]', '[6479, 6479, -14*w + 89]', '[6479, 6479, -73*w + 23]', '[6479, 6479, -72*w + 37]', '[6479, 6479, -72*w + 35]', '[6479, 6479, -73*w + 50]', '[6479, 6479, 14*w + 75]', '[6479, 6479, -w + 81]', '[6480, 180, -72*w + 36]', '[6481, 6481, -85*w - 8]', '[6481, 6481, 85*w - 93]', '[6484, 3242, 18*w - 92]', '[6484, 3242, 74*w - 56]', '[6491, 6491, -87*w - 11]', '[6491, 6491, 87*w - 98]', '[6505, 6505, 49*w + 73]', '[6505, 6505, 49*w - 122]', '[6516, 1086, -84*w - 6]', '[6516, 1086, 84*w - 90]', '[6521, 6521, 19*w - 93]', '[6521, 6521, 74*w - 55]', '[6525, 435, 15*w + 75]', '[6525, 435, -15*w + 90]', '[6529, 6529, 25*w - 98]', '[6529, 6529, 48*w - 121]', '[6541, 6541, 86*w - 95]', '[6541, 6541, 79*w - 75]', '[6541, 6541, 83*w - 87]', '[6541, 6541, 77*w - 68]', '[6544, 1636, 12*w - 88]', '[6544, 1636, -76*w + 64]', '[6551, 6551, 26*w - 99]', '[6551, 6551, 47*w - 120]', '[6556, 3278, 80*w - 78]', '[6556, 3278, 94*w - 114]', '[6556, 3278, 74*w - 54]', '[6556, 3278, 82*w - 84]', '[6561, 81, 81]', '[6569, 6569, 16*w - 91]', '[6569, 6569, -75*w + 59]', '[6571, 6571, 27*w - 100]', '[6571, 6571, 46*w - 119]', '[6581, 6581, 85*w - 92]', '[6581, 6581, -85*w - 7]', '[6589, 6589, 53*w + 74]', '[6589, 6589, 28*w - 101]', '[6589, 6589, 28*w + 73]', '[6589, 6589, 53*w - 127]', '[6595, 6595, 13*w - 89]', '[6595, 6595, 76*w - 63]', '[6599, 6599, 87*w - 97]', '[6599, 6599, -87*w - 10]', '[6605, 6605, 44*w + 73]', '[6605, 6605, 44*w - 117]', '[6611, 6611, 79*w - 74]', '[6611, 6611, 92*w - 109]', '[6611, 6611, 75*w - 58]', '[6611, 6611, 84*w - 89]', '[6619, 6619, 30*w - 103]', '[6619, 6619, 43*w - 116]', '[6620, 3310, -22*w + 96]', '[6620, 3310, 74*w - 52]', '[6631, 6631, -3*w - 80]', '[6631, 6631, 73*w - 42]', '[6631, 6631, 31*w - 104]', '[6631, 6631, 83*w - 86]', '[6641, 6641, -81*w + 80]', '[6641, 6641, -73*w + 41]', '[6641, 6641, 32*w - 105]', '[6641, 6641, w - 82]', '[6644, 3322, 78*w - 70]', '[6644, 3322, 76*w - 62]', '[6644, 3322, 90*w - 104]', '[6644, 3322, 86*w - 94]', '[6649, 6649, 74*w - 51]', '[6649, 6649, 40*w - 113]', '[6649, 6649, 33*w - 106]', '[6649, 6649, 23*w - 97]', '[6651, 2217, 18*w - 93]', '[6651, 2217, 75*w - 57]', '[6655, 605, 11*w + 77]', '[6655, 605, -11*w + 88]', '[6655, 6655, -73*w + 34]', '[6655, 6655, -73*w + 39]', '[6659, 6659, 35*w - 108]', '[6659, 6659, 38*w - 111]', '[6661, 6661, 36*w - 109]', '[6661, 6661, 37*w - 110]', '[6676, 3338, 24*w - 98]', '[6676, 3338, 74*w - 50]', '[6679, 6679, 85*w - 91]', '[6679, 6679, -85*w - 6]', '[6689, 6689, 75*w - 56]', '[6689, 6689, 19*w - 94]', '[6691, 6691, 15*w - 91]', '[6691, 6691, -76*w + 61]', '[6701, 6701, 49*w - 123]', '[6701, 6701, 25*w - 99]', '[6704, 1676, -84*w - 4]', '[6704, 1676, 84*w - 88]', '[6705, 2235, 78*w - 69]', '[6705, 2235, 87*w - 96]', '[6709, 6709, 89*w - 101]', '[6709, 6709, -89*w - 12]', '[6719, 6719, 83*w - 85]', '[6719, 6719, -83*w - 2]', '[6724, 82, 82]', '[6724, 3362, 26*w - 100]', '[6724, 3362, 48*w - 122]', '[6725, 1345, 75*w - 55]', '[6725, 1345, 20*w - 95]', '[6736, 1684, -76*w + 60]', '[6736, 1684, 16*w - 92]', '[6745, 6745, -74*w + 47]', '[6745, 6745, -7*w - 79]', '[6745, 6745, -86*w + 93]', '[6745, 6745, 27*w - 101]', '[6759, 2253, 21*w - 96]', '[6759, 2253, 75*w - 54]', '[6761, 6761, -77*w + 64]', '[6761, 6761, 13*w - 90]', '[6764, 3382, 68*w - 146]', '[6764, 3382, 28*w + 74]', '[6764, 3382, 28*w - 102]', '[6764, 3382, 68*w + 78]', '[6775, 1355, -85*w - 5]', '[6775, 1355, 85*w - 90]', '[6779, 6779, -76*w + 59]', '[6779, 6779, 17*w - 93]', '[6781, 6781, 45*w - 119]', '[6781, 6781, 29*w - 103]', '[6791, 6791, 22*w - 97]', '[6791, 6791, 75*w - 53]', '[6795, 2265, 81*w - 78]', '[6795, 2265, 84*w - 87]', '[6796, 3398, 44*w - 118]', '[6796, 3398, 30*w - 104]', '[6805, 6805, 82*w - 81]', '[6805, 6805, 83*w - 84]', '[6809, 6809, 79*w - 71]', '[6809, 6809, -31*w + 105]', '[6809, 6809, 74*w - 43]', '[6809, 6809, -8*w + 87]', '[6811, 973, 14*w - 91]', '[6811, 973, -77*w + 63]', '[6820, 3410, -74*w + 42]', '[6820, 3410, -76*w + 58]', '[6820, 3410, -76*w + 18]', '[6820, 3410, -74*w + 32]', '[6821, 6821, 89*w - 100]', '[6821, 6821, 98*w - 121]', '[6821, 6821, 75*w - 52]', '[6821, 6821, 78*w - 67]', '[6829, 6829, 41*w - 115]', '[6829, 6829, 33*w - 107]', '[6836, 3418, 34*w - 108]', '[6836, 3418, 40*w - 114]', '[6841, 6841, 35*w - 109]', '[6841, 6841, 39*w - 113]', '[6844, 3422, 74*w - 36]', '[6844, 3422, 6*w - 86]', '[6844, 3422, 80*w - 74]', '[6844, 3422, 38*w - 112]', '[6845, 185, 74*w - 37]', '[6849, 2283, 24*w - 99]', '[6849, 2283, 75*w - 51]', '[6859, 361, -76*w + 57]', '[6859, 361, -76*w + 19]', '[6859, 6859, 15*w + 77]', '[6859, 6859, -15*w + 92]', '[6869, 6869, 85*w - 89]', '[6869, 6869, -85*w - 4]', '[6871, 6871, 88*w - 97]', '[6871, 6871, -88*w - 9]', '[6875, 275, -75*w + 50]', '[6875, 275, -75*w + 25]', '[6876, 1146, 12*w - 90]', '[6876, 1146, -78*w + 66]', '[6884, 3442, -84*w - 2]', '[6884, 3442, 84*w - 86]', '[6889, 83, -83]', '[6896, 1724, 76*w - 56]', '[6896, 1724, 20*w - 96]', '[6899, 6899, 49*w - 124]', '[6899, 6899, 26*w - 101]', '[6905, 6905, 16*w - 93]', '[6905, 6905, 77*w - 61]', '[6911, 6911, -87*w - 7]', '[6911, 6911, 87*w - 94]', '[6921, 2307, 27*w - 102]', '[6921, 2307, 48*w - 123]', '[6929, 533, -91*w - 13]', '[6929, 533, 91*w - 104]', '[6931, 6931, 79*w - 69]', '[6931, 6931, -97*w - 21]', '[6931, 6931, 97*w - 118]', '[6931, 6931, -79*w + 10]', '[6941, 6941, 28*w - 103]', '[6941, 6941, 5*w - 86]', '[6941, 6941, 81*w - 76]', '[6941, 6941, 75*w - 47]', '[6949, 6949, 17*w - 94]', '[6949, 6949, -77*w + 60]', '[6959, 6959, 29*w - 104]', '[6959, 6959, 46*w - 121]', '[6961, 6961, 85*w - 88]', '[6961, 6961, -85*w - 3]', '[6964, 3482, 76*w - 54]', '[6964, 3482, 22*w - 98]', '[6971, 6971, -84*w - 1]', '[6971, 6971, 84*w - 85]', '[6975, 465, -75*w + 30]', '[6975, 465, -75*w + 45]', '[6976, 872, -88*w - 8]', '[6976, 872, 88*w - 96]', '[6980, 3490, 14*w - 92]', '[6980, 3490, 78*w - 64]', '[6989, 6989, 31*w - 106]', '[6989, 6989, 68*w - 147]', '[6989, 6989, 11*w - 90]', '[6989, 6989, 44*w - 119]', '[6991, 6991, -77*w + 59]', '[6991, 6991, 18*w - 95]', '[6995, 6995, -23*w + 99]', '[6995, 6995, 76*w - 53]', '[7001, 7001, 32*w - 107]', '[7001, 7001, 43*w - 118]', '[7011, 2337, 75*w - 33]', '[7011, 2337, -6*w + 87]', '[7011, 2337, 81*w - 75]', '[7011, 2337, -42*w + 117]', '[7019, 7019, 34*w - 109]', '[7019, 7019, 41*w - 116]', '[7024, 1756, 24*w - 100]', '[7024, 1756, 76*w - 52]', '[7025, 1405, 35*w - 110]', '[7025, 1405, 40*w - 115]', '[7029, 2343, 75*w - 36]', '[7029, 2343, -15*w + 93]', '[7029, 2343, 78*w - 63]', '[7029, 2343, -39*w + 114]', '[7031, 7031, 37*w - 112]', '[7031, 7031, 19*w - 96]', '[7031, 7031, 77*w - 58]', '[7031, 7031, 38*w - 113]', '[7036, 3518, 86*w - 90]', '[7036, 3518, -86*w - 4]', '[7039, 7039, -89*w - 9]', '[7039, 7039, 89*w - 98]', '[7045, 7045, 79*w - 67]', '[7045, 7045, 91*w - 103]', '[7051, 7051, 25*w - 101]', '[7051, 7051, 2*w - 85]', '[7051, 7051, 83*w - 81]', '[7051, 7051, 76*w - 51]', '[7056, 84, -84]', '[7069, 7069, 77*w - 57]', '[7069, 7069, 20*w - 97]', '[7076, 3538, 50*w - 126]', '[7076, 3538, -16*w - 78]', '[7076, 3538, 16*w - 94]', '[7076, 3538, -50*w - 76]', '[7079, 7079, 88*w - 95]', '[7079, 7079, -88*w - 7]', '[7099, 7099, -13*w + 92]', '[7099, 7099, 76*w - 49]', '[7099, 7099, -27*w + 103]', '[7099, 7099, 79*w - 66]', '[7100, 710, -80*w + 70]', '[7100, 710, 10*w - 90]', '[7105, 1015, 77*w - 56]', '[7105, 1015, 77*w - 21]', '[7109, 7109, -87*w - 5]', '[7109, 7109, 87*w - 92]', '[7120, 1780, 48*w + 76]', '[7120, 1780, 48*w - 124]', '[7121, 7121, -78*w + 61]', '[7121, 7121, 17*w - 95]', '[7129, 7129, -86*w - 3]', '[7129, 7129, 86*w - 89]', '[7139, 649, 22*w - 99]', '[7139, 649, 77*w - 55]', '[7139, 7139, 84*w - 83]', '[7139, 7139, 76*w - 47]', '[7139, 7139, 29*w - 105]', '[7139, 7139, w - 85]', '[7145, 7145, 89*w - 97]', '[7145, 7145, 81*w - 73]', '[7151, 7151, -79*w + 65]', '[7151, 7151, 14*w - 93]', '[7156, 3578, 30*w - 106]', '[7156, 3578, 46*w - 122]', '[7159, 7159, 91*w - 102]', '[7159, 7159, -91*w - 11]', '[7164, 1194, 18*w - 96]', '[7164, 1194, -78*w + 60]', '[7171, 7171, 23*w - 100]', '[7171, 7171, 45*w - 121]', '[7171, 7171, 31*w - 107]', '[7171, 7171, 77*w - 54]', '[7180, 3590, 82*w - 76]', '[7180, 3590, 88*w - 94]', '[7184, 1796, 32*w - 108]', '[7184, 1796, 44*w - 120]', '[7195, 7195, 43*w + 76]', '[7195, 7195, 43*w - 119]', '[7201, 7201, 24*w - 101]', '[7201, 7201, 64*w + 79]', '[7201, 7201, 64*w - 143]', '[7201, 7201, 24*w + 77]', '[7204, 3602, 42*w - 118]', '[7204, 3602, 34*w - 110]', '[7205, 7205, 83*w - 79]', '[7205, 7205, -97*w - 19]', '[7205, 7205, 97*w - 116]', '[7205, 7205, -83*w + 4]', '[7209, 801, -90*w - 9]', '[7209, 801, 90*w - 99]', '[7211, 7211, 35*w - 111]', '[7211, 7211, 41*w - 117]', '[7216, 1804, -36*w + 112]', '[7216, 1804, 80*w - 68]', '[7216, 1804, -12*w + 92]', '[7216, 1804, 76*w - 40]', '[7219, 7219, 39*w - 115]', '[7219, 7219, 37*w - 113]', '[7220, 190, -76*w + 38]', '[7220, 3610, 2*w + 84]', '[7220, 3610, -2*w + 86]', '[7225, 85, -85]', '[7229, 7229, 52*w - 129]', '[7229, 7229, 25*w - 102]', '[7244, 3622, 78*w - 58]', '[7244, 3622, 20*w - 98]', '[7249, 7249, 79*w - 63]', '[7249, 7249, 89*w - 96]', '[7249, 7249, 82*w - 75]', '[7249, 7249, 95*w - 111]', '[7255, 7255, 51*w - 128]', '[7255, 7255, 51*w + 77]', '[7271, 7271, 91*w - 101]', '[7271, 7271, 80*w - 67]', '[7271, 7271, 93*w - 106]', '[7271, 7271, 81*w - 71]', '[7279, 7279, -77*w + 50]', '[7279, 7279, -88*w + 93]', '[7279, 7279, -5*w - 83]', '[7279, 7279, 27*w - 104]', '[7281, 2427, 21*w - 99]', '[7281, 2427, 78*w - 57]', '[7295, 7295, 79*w - 62]', '[7295, 7295, 17*w - 96]', '[7299, 2433, -87*w - 3]', '[7299, 2433, 87*w - 90]', '[7301, 1043, 49*w - 126]', '[7301, 1043, 28*w - 105]', '[7309, 7309, -86*w - 1]', '[7309, 7309, 86*w - 87]', '[7316, 3658, 22*w - 100]', '[7316, 3658, 8*w - 90]', '[7316, 3658, 82*w - 74]', '[7316, 3658, 78*w - 56]', '[7321, 7321, 48*w - 125]', '[7321, 7321, 29*w - 106]', '[7324, 3662, 14*w - 94]', '[7324, 3662, -80*w + 66]', '[7331, 7331, 92*w - 103]', '[7331, 7331, -92*w - 11]', '[7339, 7339, 47*w - 124]', '[7339, 7339, -79*w + 61]', '[7339, 7339, 18*w - 97]', '[7339, 7339, 30*w - 107]', '[7349, 7349, 78*w - 55]', '[7349, 7349, 23*w - 101]', '[7351, 7351, -89*w - 6]', '[7351, 7351, 89*w - 95]', '[7355, 7355, 46*w - 123]', '[7355, 7355, 46*w + 77]', '[7369, 7369, 32*w - 109]', '[7369, 7369, 45*w - 122]', '[7375, 1475, 15*w - 95]', '[7375, 1475, 80*w - 65]', '[7376, 1844, -88*w - 4]', '[7376, 1844, 88*w - 92]', '[7380, 1230, -24*w + 102]', '[7380, 1230, 78*w - 54]', '[7381, 671, 33*w - 110]', '[7381, 671, -33*w - 77]', '[7381, 7381, 91*w - 100]', '[7381, 7381, 79*w - 60]', '[7381, 7381, 79*w - 19]', '[7381, 7381, 91*w + 9]', '[7389, 2463, -81*w + 69]', '[7389, 2463, 12*w - 93]', '[7391, 7391, 77*w - 43]', '[7391, 7391, 87*w - 89]', '[7391, 7391, -2*w - 85]', '[7391, 7391, 34*w - 111]', '[7396, 86, -86]', '[7399, 1057, 35*w - 112]', '[7399, 1057, 42*w - 119]', '[7405, 7405, 41*w - 118]', '[7405, 7405, 41*w + 77]', '[7409, 7409, 53*w - 131]', '[7409, 7409, 37*w + 77]', '[7409, 7409, 37*w - 114]', '[7409, 7409, 53*w + 78]', '[7411, 7411, 38*w - 115]', '[7411, 7411, 39*w - 116]', '[7421, 7421, 79*w - 59]', '[7421, 7421, -90*w - 7]', '[7421, 7421, 90*w - 97]', '[7421, 7421, 20*w - 99]', '[7424, 464, 16*w + 80]', '[7424, 464, -16*w + 96]', '[7436, 286, 78*w - 52]', '[7436, 286, 78*w - 26]', '[7444, 3722, 92*w - 102]', '[7444, 3722, -92*w - 10]', '[7445, 7445, 81*w - 68]', '[7445, 7445, 13*w - 94]', '[7451, 7451, -89*w - 5]', '[7451, 7451, 89*w - 94]', '[7459, 7459, 21*w - 100]', '[7459, 7459, 79*w - 58]', '[7461, 2487, 51*w - 129]', '[7461, 2487, 27*w - 105]', '[7471, 7471, 88*w - 91]', '[7471, 7471, 80*w - 63]', '[7471, 7471, 97*w - 114]', '[7471, 7471, 85*w - 82]', '[7481, 7481, -87*w - 1]', '[7481, 7481, 87*w - 88]', '[7484, 3742, 50*w - 128]', '[7484, 3742, 28*w - 106]', '[7489, 7489, 91*w - 99]', '[7489, 7489, -91*w - 8]', '[7495, 7495, 79*w - 57]', '[7495, 7495, -22*w + 101]', '[7499, 7499, -81*w + 67]', '[7499, 7499, 14*w - 95]', '[7505, 7505, 82*w - 71]', '[7505, 7505, 49*w - 127]', '[7505, 7505, 78*w - 29]', '[7505, 7505, 11*w - 93]', '[7516, 3758, -80*w + 62]', '[7516, 3758, 18*w - 98]', '[7524, 1254, 6*w + 84]', '[7524, 1254, -78*w + 30]', '[7524, 1254, -78*w + 48]', '[7524, 1254, -6*w + 90]', '[7529, 7529, 23*w - 102]', '[7529, 7529, 79*w - 56]', '[7541, 7541, 31*w - 109]', '[7541, 7541, 47*w - 125]', '[7549, 7549, 89*w - 93]', '[7549, 7549, -89*w - 4]', '[7551, 2517, -81*w + 66]', '[7551, 2517, 15*w - 96]', '[7555, 7555, 83*w - 74]', '[7555, 7555, 92*w - 101]', '[7556, 3778, 32*w - 110]', '[7556, 3778, 46*w - 124]', '[7559, 7559, 19*w - 99]', '[7559, 7559, 80*w - 61]', '[7561, 7561, 24*w - 103]', '[7561, 7561, 79*w - 55]', '[7564, 3782, 88*w + 2]', '[7564, 3782, 82*w - 70]', '[7564, 3782, 82*w - 12]', '[7564, 3782, 88*w - 90]', '[7569, 87, 87]', '[7569, 2523, -78*w + 33]', '[7569, 2523, -78*w + 45]', '[7580, 3790, 44*w + 78]', '[7580, 3790, 44*w - 122]', '[7589, 7589, 43*w - 121]', '[7589, 7589, 35*w - 113]', '[7591, 7591, 54*w - 133]', '[7591, 7591, 25*w - 104]', '[7595, 1085, -7*w - 84]', '[7595, 1085, 7*w - 91]', '[7596, 1266, 36*w - 114]', '[7596, 1266, 42*w - 120]', '[7600, 380, -80*w + 60]', '[7600, 380, -80*w + 20]', '[7601, 7601, 65*w + 81]', '[7601, 7601, 37*w + 78]', '[7601, 7601, 37*w - 115]', '[7601, 7601, 65*w - 146]', '[7604, 3802, 38*w - 116]', '[7604, 3802, 40*w - 118]', '[7605, 195, 78*w - 39]', '[7619, 7619, 105*w - 131]', '[7619, 7619, 83*w - 73]', '[7619, 7619, 93*w - 103]', '[7619, 7619, 79*w - 53]', '[7621, 7621, -95*w - 13]', '[7621, 7621, 95*w - 108]', '[7625, 1525, 85*w - 80]', '[7625, 1525, 85*w - 5]', '[7639, 7639, 21*w - 101]', '[7639, 7639, 80*w - 59]', '[7645, 7645, -86*w + 83]', '[7645, 7645, 27*w - 106]', '[7645, 7645, -79*w + 52]', '[7645, 7645, 3*w - 89]', '[7649, 7649, 17*w - 98]', '[7649, 7649, -81*w + 64]', '[7655, 7655, 87*w - 86]', '[7655, 7655, 88*w - 89]', '[7664, 1916, 92*w - 100]', '[7664, 1916, -92*w - 8]', '[7669, 7669, 28*w - 107]', '[7669, 7669, 51*w - 130]', '[7676, 3838, 82*w - 68]', '[7676, 3838, 80*w - 58]', '[7676, 3838, 102*w - 124]', '[7676, 3838, 96*w - 110]', '[7681, 7681, 94*w - 105]', '[7681, 7681, -94*w - 11]', '[7691, 7691, 50*w - 129]', '[7691, 7691, 29*w - 108]', '[7695, 855, -18*w + 99]', '[7695, 855, 18*w + 81]', '[7699, 7699, 91*w - 97]', '[7699, 7699, -91*w - 6]', '[7711, 7711, 57*w - 137]', '[7711, 7711, 30*w + 79]', '[7711, 7711, 30*w - 109]', '[7711, 7711, 57*w + 80]', '[7724, 3862, 90*w - 94]', '[7724, 3862, -90*w - 4]', '[7729, 7729, -82*w + 67]', '[7729, 7729, 31*w - 110]', '[7729, 7729, 48*w - 127]', '[7729, 7729, 15*w - 97]', '[7731, 2577, 93*w - 102]', '[7731, 2577, -93*w - 9]', '[7739, 7739, 19*w - 100]', '[7739, 7739, 89*w - 91]', '[7739, 7739, -89*w - 2]', '[7739, 7739, -81*w + 62]', '[7741, 7741, -95*w - 12]', '[7741, 7741, 95*w - 107]', '[7744, 88, 88]', '[7744, 968, -80*w + 24]', '[7744, 968, -80*w + 56]', '[7745, 7745, 47*w + 79]', '[7745, 7745, 47*w - 126]', '[7759, 7759, 46*w - 125]', '[7759, 7759, 33*w - 112]', '[7771, 7771, -45*w + 124]', '[7771, 7771, -7*w + 92]', '[7771, 7771, 85*w - 78]', '[7771, 7771, 79*w - 34]', '[7775, 1555, 25*w - 105]', '[7775, 1555, 80*w - 55]', '[7780, 3890, 16*w - 98]', '[7780, 3890, 82*w - 66]', '[7781, 7781, -20*w + 101]', '[7781, 7781, -35*w + 114]', '[7781, 7781, 79*w - 44]', '[7781, 7781, 81*w - 61]', '[7789, 7789, 43*w - 122]', '[7789, 7789, 36*w - 115]', '[7795, 7795, 42*w + 79]', '[7795, 7795, 42*w - 121]', '[7796, 3898, -94*w - 10]', '[7796, 3898, 94*w - 104]', '[7799, 7799, -38*w + 117]', '[7799, 7799, 83*w - 70]', '[7799, 7799, -13*w + 96]', '[7799, 7799, 79*w - 41]', '[7801, 7801, 39*w - 118]', '[7801, 7801, 5*w - 91]', '[7801, 7801, 86*w - 81]', '[7801, 7801, 79*w - 40]', '[7804, 3902, 26*w - 106]', '[7804, 3902, 54*w - 134]', '[7821, 2607, -3*w - 87]', '[7821, 2607, 81*w - 60]', '[7821, 2607, 21*w - 102]', '[7821, 2607, 90*w - 93]', '[7829, 7829, -82*w + 65]', '[7829, 7829, 17*w - 99]', '[7831, 7831, -89*w - 1]', '[7831, 7831, 53*w - 133]', '[7831, 7831, 27*w - 107]', '[7831, 7831, 89*w - 90]', '[7841, 7841, -93*w - 8]', '[7841, 7841, 93*w - 101]', '[7855, 7855, 83*w - 69]', '[7855, 7855, 14*w - 97]', '[7856, 1964, 52*w - 132]', '[7856, 1964, 28*w - 108]', '[7859, 7859, 103*w - 125]', '[7859, 7859, 84*w - 73]', '[7859, 7859, -84*w + 11]', '[7859, 7859, -103*w - 22]', '[7876, 3938, 100*w - 118]', '[7876, 3938, 92*w - 98]', '[7876, 3938, 86*w - 80]', '[7876, 3938, 82*w - 64]', '[7879, 7879, 29*w - 109]', '[7879, 7879, 51*w - 131]', '[7895, 7895, -23*w + 104]', '[7895, 7895, 81*w - 58]', '[7900, 790, 80*w - 50]', '[7900, 790, 30*w - 110]', '[7901, 7901, -91*w - 4]', '[7901, 7901, 91*w - 95]', '[7909, 7909, 98*w - 113]', '[7909, 7909, 85*w - 76]', '[7909, 7909, 94*w - 103]', '[7909, 7909, 83*w - 68]', '[7916, 3958, -90*w - 2]', '[7916, 3958, 90*w - 92]', '[7919, 7919, 49*w - 129]', '[7919, 7919, 31*w - 111]', '[7920, 660, 12*w + 84]', '[7920, 660, -12*w + 96]', '[7921, 89, 89]', '[7921, 7921, -82*w + 63]', '[7921, 7921, 19*w - 101]', '[7929, 2643, 24*w - 105]', '[7929, 2643, 81*w - 57]', '[7936, 496, -80*w + 32]', '[7936, 496, -80*w + 48]', '[7949, 7949, -93*w - 7]', '[7949, 7949, 93*w - 100]', '[7951, 7951, 47*w - 127]', '[7951, 7951, 33*w - 113]', '[7961, 7961, 25*w + 81]', '[7961, 7961, 67*w - 150]', '[7961, 7961, 67*w + 83]', '[7961, 7961, 25*w - 106]', '[7964, 3982, 62*w + 82]', '[7964, 3982, 34*w - 114]', '[7964, 3982, 34*w + 80]', '[7964, 3982, 62*w - 144]', '[7975, 1595, -80*w + 45]', '[7975, 1595, -10*w + 95]', '[7975, 1595, 10*w + 85]', '[7975, 1595, -80*w + 35]', '[7979, 7979, -97*w - 13]', '[7979, 7979, -92*w - 5]', '[7979, 7979, 92*w - 97]', '[7979, 7979, 97*w - 110]', '[7984, 1996, 44*w - 124]', '[7984, 1996, 36*w - 116]', '[7991, 7991, 43*w - 123]', '[7991, 7991, 26*w - 107]', '[7991, 7991, 55*w - 136]', '[7991, 7991, 37*w - 117]', '[7996, 3998, 42*w - 122]', '[7996, 3998, 38*w - 118]', '[7999, 7999, -3*w + 91]', '[7999, 7999, -41*w + 121]', '[7999, 7999, 80*w - 39]', '[7999, 7999, 88*w - 85]', '[8000, 200, -80*w + 40]', '[8005, 8005, -21*w + 103]', '[8005, 8005, 82*w - 61]', '[8009, 8009, -90*w - 1]', '[8009, 8009, 90*w - 91]', '[8011, 8011, 17*w - 100]', '[8011, 8011, -83*w + 66]', '[8019, 297, -81*w + 54]', '[8019, 297, -81*w + 27]', '[8020, 4010, 86*w - 78]', '[8020, 4010, 94*w - 102]', '[8036, 574, -84*w + 70]', '[8036, 574, 14*w - 98]', '[8039, 8039, -96*w - 11]', '[8039, 8039, 96*w - 107]', '[8044, 4022, 82*w - 60]', '[8044, 4022, 22*w - 104]', '[8045, 8045, 53*w + 81]', '[8045, 8045, 53*w - 134]', '[8055, 2685, 93*w - 99]', '[8055, 2685, 87*w - 81]', '[8059, 8059, 18*w - 101]', '[8059, 8059, -83*w + 65]', '[8069, 8069, 52*w - 133]', '[8069, 8069, 29*w - 110]', '[8080, 2020, 88*w - 84]', '[8080, 2020, 92*w - 96]', '[8081, 8081, 82*w - 59]', '[8081, 8081, 23*w - 105]', '[8089, 8089, 95*w - 104]', '[8089, 8089, -95*w - 9]', '[8091, 2697, -81*w + 30]', '[8091, 2697, -15*w + 99]', '[8091, 2697, 15*w + 84]', '[8091, 2697, -81*w + 51]', '[8095, 8095, 91*w - 93]', '[8095, 8095, 89*w - 87]', '[8100, 90, 90]', '[8101, 8101, 97*w - 109]', '[8101, 8101, -97*w - 12]', '[8105, 8105, 83*w - 64]', '[8105, 8105, 19*w - 102]', '[8111, 8111, 50*w - 131]', '[8111, 8111, 31*w - 112]', '[8116, 4058, 24*w - 106]', '[8116, 4058, 82*w - 58]', '[8129, 8129, 87*w - 80]', '[8129, 8129, 81*w - 49]', '[8129, 8129, 32*w - 113]', '[8129, 8129, 7*w - 94]', '[8144, 2036, 16*w - 100]', '[8144, 2036, -84*w + 68]', '[8145, 2715, 48*w - 129]', '[8145, 2715, 48*w + 81]', '[8149, 8149, 57*w - 139]', '[8149, 8149, 20*w - 103]', '[8149, 8149, 63*w - 146]', '[8149, 8149, 25*w - 107]', '[8156, 4078, 96*w - 106]', '[8156, 4078, -96*w - 10]', '[8159, 8159, 47*w - 128]', '[8159, 8159, 93*w - 98]', '[8159, 8159, -93*w - 5]', '[8159, 8159, 34*w - 115]', '[8161, 8161, 98*w - 111]', '[8161, 8161, -98*w - 13]', '[8171, 8171, 35*w - 116]', '[8171, 8171, 46*w - 127]', '[8179, 8179, -92*w - 3]', '[8179, 8179, 92*w - 95]', '[8180, 4090, 82*w - 56]', '[8180, 4090, -26*w + 108]', '[8181, 909, 36*w - 117]', '[8181, 909, 45*w - 126]', '[8189, 8189, -w - 90]', '[8189, 8189, 37*w - 118]', '[8189, 8189, 81*w - 44]', '[8189, 8189, 91*w - 92]', '[8191, 8191, 83*w - 62]', '[8191, 8191, 21*w - 104]', '[8195, 8195, 67*w - 151]', '[8195, 8195, 43*w - 124]', '[8195, 8195, 38*w - 119]', '[8195, 8195, 17*w - 101]', '[8199, 2733, 39*w - 120]', '[8199, 2733, 42*w - 123]', '[8201, 8201, 40*w - 121]', '[8201, 8201, -95*w - 8]', '[8201, 8201, 95*w - 103]', '[8201, 8201, 41*w - 122]', '[8209, 8209, 27*w - 109]', '[8209, 8209, 55*w - 137]', '[8219, 8219, 14*w - 99]', '[8219, 8219, -85*w + 71]', '[8221, 8221, 97*w - 108]', '[8221, 8221, -97*w - 11]', '[8231, 8231, 83*w - 61]', '[8231, 8231, 22*w - 105]', '[8236, 4118, -82*w + 54]', '[8236, 4118, -6*w - 88]', '[8236, 4118, -94*w + 100]', '[8236, 4118, 28*w - 110]', '[8244, 1374, -84*w + 66]', '[8244, 1374, 18*w - 102]', '[8261, 8261, 82*w - 53]', '[8261, 8261, 4*w - 93]', '[8261, 8261, 89*w - 85]', '[8261, 8261, 29*w - 111]', '[8269, 8269, 23*w - 106]', '[8269, 8269, 83*w - 60]', '[8271, 2757, -96*w - 9]', '[8271, 2757, 96*w - 105]', '[8275, 1655, -85*w + 70]', '[8275, 1655, 15*w - 100]', '[8276, 4138, -92*w - 2]', '[8276, 4138, 92*w - 94]', '[8281, 91, -91]', '[8284, 4142, 74*w + 86]', '[8284, 4142, 30*w + 82]', '[8284, 4142, 30*w - 112]', '[8284, 4142, 74*w - 160]', '[8291, 8291, -84*w + 65]', '[8291, 8291, 19*w - 103]', '[8305, 8305, 31*w - 113]', '[8305, 8305, 24*w - 107]', '[8305, 8305, 59*w - 142]', '[8305, 8305, 51*w - 133]', '[8311, 8311, 95*w - 102]', '[8311, 8311, -95*w - 7]', '[8324, 4162, 50*w - 132]', '[8324, 4162, 32*w - 114]', '[8329, 8329, -85*w + 69]', '[8329, 8329, 16*w - 101]', '[8336, 2084, 20*w - 104]', '[8336, 2084, 84*w - 64]', '[8339, 8339, 83*w - 58]', '[8339, 8339, 10*w - 97]', '[8339, 8339, 87*w - 77]', '[8339, 8339, 25*w - 108]', '[8341, 8341, 82*w - 49]', '[8341, 8341, -5*w - 89]', '[8341, 8341, 94*w - 99]', '[8341, 8341, 33*w - 115]', '[8345, 8345, 13*w - 99]', '[8345, 8345, 86*w - 73]', '[8356, 4178, 34*w - 116]', '[8356, 4178, 48*w - 130]', '[8361, 2787, -93*w - 3]', '[8361, 2787, 93*w - 96]', '[8369, 8369, 35*w - 117]', '[8369, 8369, 47*w - 129]', '[8371, 8371, 91*w - 90]', '[8371, 8371, 83*w - 57]', '[8371, 8371, 26*w - 109]', '[8371, 8371, w - 92]', '[8379, 399, 84*w - 63]', '[8379, 399, 84*w - 21]', '[8380, 4190, 46*w - 128]', '[8380, 4190, 46*w + 82]', '[8381, 493, -17*w - 85]', '[8381, 493, 17*w - 102]', '[8384, 1048, -96*w - 8]', '[8384, 1048, 96*w - 104]', '[8389, 8389, 37*w - 119]', '[8389, 8389, 45*w - 127]', '[8396, 4198, 44*w - 126]', '[8396, 4198, 38*w - 120]', '[8401, 8401, 39*w - 121]', '[8401, 8401, 56*w - 139]', '[8401, 8401, 56*w + 83]', '[8401, 8401, 39*w + 82]', '[8404, 4202, -40*w + 122]', '[8404, 4202, -14*w + 100]', '[8404, 4202, 86*w - 72]', '[8404, 4202, 82*w - 42]', '[8405, 205, 82*w - 41]', '[8405, 8405, 87*w - 76]', '[8405, 8405, 98*w - 109]', '[8419, 8419, -95*w - 6]', '[8419, 8419, 95*w - 101]', '[8420, 4210, -22*w + 106]', '[8420, 4210, 84*w - 62]', '[8429, 8429, 55*w - 138]', '[8429, 8429, 28*w - 111]', '[8431, 8431, 18*w - 103]', '[8431, 8431, -85*w + 67]', '[8444, 4222, 94*w - 98]', '[8444, 4222, -94*w - 4]', '[8455, 8455, 112*w - 141]', '[8455, 8455, -88*w + 9]', '[8455, 8455, 88*w - 79]', '[8455, 8455, -112*w - 29]', '[8459, 8459, 84*w - 61]', '[8459, 8459, 93*w - 95]', '[8459, 8459, 91*w - 89]', '[8459, 8459, 107*w - 130]', '[8461, 8461, -86*w + 71]', '[8461, 8461, 15*w - 101]', '[8464, 92, -92]', '[8469, 2823, 99*w - 111]', '[8469, 2823, -99*w - 12]', '[8479, 8479, -85*w + 66]', '[8479, 8479, 53*w - 136]', '[8479, 8479, 30*w - 113]', '[8479, 8479, 19*w - 104]', '[8495, 8495, 96*w - 103]', '[8495, 8495, 89*w - 82]', '[8496, 708, 24*w - 108]', '[8496, 708, 84*w - 60]', '[8501, 8501, 31*w - 114]', '[8501, 8501, 52*w - 135]', '[8516, 4258, 16*w - 102]', '[8516, 4258, -86*w + 70]', '[8521, 8521, 51*w - 134]', '[8521, 8521, 32*w - 115]', '[8524, 4262, -98*w - 10]', '[8524, 4262, 98*w - 108]', '[8525, 1705, 5*w + 90]', '[8525, 1705, -20*w + 105]', '[8525, 1705, 20*w + 85]', '[8525, 1705, -5*w + 95]', '[8531, 8531, 100*w - 113]', '[8531, 8531, 84*w - 59]', '[8531, 8531, 109*w - 134]', '[8531, 8531, 87*w - 74]', '[8539, 8539, 33*w - 116]', '[8539, 8539, 50*w - 133]', '[8545, 8545, 94*w - 97]', '[8545, 8545, 91*w - 88]', '[8555, 8555, -w - 92]', '[8555, 8555, 83*w - 49]', '[8555, 8555, 34*w - 117]', '[8555, 8555, 93*w - 94]', '[8564, 4282, 84*w - 58]', '[8564, 4282, 26*w - 110]', '[8569, 8569, 21*w - 106]', '[8569, 8569, -17*w + 103]', '[8569, 8569, 8*w - 97]', '[8569, 8569, 83*w - 48]', '[8569, 8569, -35*w + 118]', '[8569, 8569, -89*w + 81]', '[8569, 8569, 86*w - 69]', '[8569, 8569, -85*w + 64]', '[8581, 8581, 47*w - 130]', '[8581, 8581, 36*w - 119]', '[8591, 781, -88*w + 77]', '[8591, 781, 11*w - 99]', '[8591, 8591, -46*w + 129]', '[8591, 8591, -14*w + 101]', '[8591, 8591, 87*w - 73]', '[8591, 8591, 83*w - 37]', '[8595, 2865, -27*w + 111]', '[8595, 2865, 84*w - 57]', '[8599, 8599, 38*w - 121]', '[8599, 8599, 45*w - 128]', '[8604, 1434, -96*w - 6]', '[8604, 1434, 96*w - 102]', '[8605, 8605, 44*w + 83]', '[8605, 8605, 44*w - 127]', '[8609, 8609, 43*w - 126]', '[8609, 8609, 40*w - 123]', '[8611, 8611, 41*w - 124]', '[8611, 8611, 22*w - 107]', '[8611, 8611, 85*w - 63]', '[8611, 8611, 42*w - 125]', '[8620, 4310, 18*w - 104]', '[8620, 4310, 86*w - 68]', '[8624, 308, 84*w - 56]', '[8624, 308, 84*w - 28]', '[8629, 8629, -95*w - 4]', '[8629, 8629, 95*w - 99]', '[8641, 8641, -98*w - 9]', '[8641, 8641, 98*w - 107]', '[8644, 4322, -94*w - 2]', '[8644, 4322, 94*w - 96]', '[8649, 93, 93]', '[8649, 2883, 15*w + 87]', '[8649, 2883, -15*w + 102]', '[8651, 8651, 55*w - 139]', '[8651, 8651, 85*w - 62]', '[8651, 8651, 23*w - 108]', '[8651, 8651, 29*w - 113]', '[8656, 2164, 100*w - 112]', '[8656, 2164, -100*w - 12]', '[8669, 8669, 19*w - 105]', '[8669, 8669, -86*w + 67]', '[8676, 1446, 54*w - 138]', '[8676, 1446, 30*w - 114]', '[8681, 8681, -97*w - 7]', '[8681, 8681, 97*w - 104]', '[8689, 8689, 85*w - 61]', '[8689, 8689, 24*w - 109]', '[8699, 8699, 53*w - 137]', '[8699, 8699, 31*w - 115]', '[8705, 8705, 16*w - 103]', '[8705, 8705, 87*w - 71]', '[8711, 8711, 89*w - 79]', '[8711, 8711, 96*w - 101]', '[8711, 8711, 91*w - 86]', '[8711, 8711, 99*w - 109]', '[8716, 4358, -86*w + 66]', '[8716, 4358, 20*w - 106]', '[8719, 8719, 101*w - 114]', '[8719, 8719, -101*w - 13]', '[8720, 2180, 52*w - 136]', '[8720, 2180, 52*w + 84]', '[8725, 1745, 85*w - 60]', '[8725, 1745, 25*w - 110]', '[8731, 8731, -95*w - 3]', '[8731, 8731, 95*w - 98]', '[8739, 2913, 33*w - 117]', '[8739, 2913, 51*w - 135]', '[8741, 8741, -94*w - 1]', '[8741, 8741, 94*w - 95]', '[8756, 4378, 84*w - 50]', '[8756, 4378, -8*w + 98]', '[8756, 4378, 90*w - 82]', '[8756, 4378, -34*w + 118]', '[8759, 8759, 26*w + 85]', '[8759, 8759, 70*w - 157]', '[8759, 8759, 70*w + 87]', '[8759, 8759, 26*w - 111]', '[8761, 8761, 86*w - 65]', '[8761, 8761, 21*w - 107]', '[8771, 1253, 49*w - 133]', '[8771, 1253, 35*w - 119]', '[8779, 8779, 100*w - 111]', '[8779, 8779, -100*w - 11]', '[8780, 4390, 88*w - 74]', '[8780, 4390, 14*w - 102]', '[8784, 732, 36*w - 120]', '[8784, 732, -36*w - 84]', '[8791, 8791, 97*w - 103]', '[8791, 8791, 27*w - 112]', '[8791, 8791, 58*w - 143]', '[8791, 8791, -97*w - 6]', '[8795, 8795, 47*w - 131]', '[8795, 8795, 47*w + 84]', '[8804, 4402, 86*w - 64]', '[8804, 4402, -38*w + 122]', '[8804, 4402, 84*w - 46]', '[8804, 4402, -22*w + 108]', '[8811, 2937, 69*w - 156]', '[8811, 2937, 39*w + 84]', '[8811, 2937, 39*w - 123]', '[8811, 2937, 69*w + 87]', '[8816, 2204, 4*w + 92]', '[8816, 2204, -84*w + 40]', '[8816, 2204, -84*w + 44]', '[8816, 2204, -4*w + 96]', '[8819, 8819, 43*w - 127]', '[8819, 8819, 41*w - 125]', '[8820, 210, 84*w - 42]', '[8821, 8821, 28*w - 113]', '[8821, 8821, 57*w - 142]', '[8829, 981, -99*w - 9]', '[8829, 981, 99*w - 108]', '[8831, 8831, 95*w - 97]', '[8831, 8831, -95*w - 2]', '[8836, 94, -94]', '[8839, 8839, 15*w - 103]', '[8839, 8839, -88*w + 73]', '[8845, 8845, 86*w - 63]', '[8845, 8845, 101*w - 113]', '[8845, 8845, 101*w + 12]', '[8845, 8845, 86*w - 23]', '[8849, 8849, 29*w - 114]', '[8849, 8849, 56*w - 141]', '[8861, 8861, 19*w - 106]', '[8861, 8861, -87*w + 68]', '[8869, 1267, -98*w - 7]', '[8869, 1267, 98*w - 105]', '[8875, 1775, 85*w - 55]', '[8875, 1775, -30*w + 115]', '[8884, 4442, 86*w - 62]', '[8884, 4442, 24*w - 110]', '[8896, 1112, 16*w - 104]', '[8896, 1112, -88*w + 72]', '[8899, 8899, 85*w - 54]', '[8899, 8899, 92*w - 87]', '[8899, 8899, 5*w - 97]', '[8899, 8899, 31*w - 116]', '[8900, 890, -100*w - 10]', '[8900, 890, 100*w - 110]', '[8909, 8909, 20*w - 107]', '[8909, 8909, 102*w - 115]', '[8909, 8909, -102*w - 13]', '[8909, 8909, -87*w + 67]', '[8919, 2973, -96*w - 3]', '[8919, 2973, 96*w - 99]', '[8921, 8921, 32*w + 85]', '[8921, 8921, 61*w - 147]', '[8921, 8921, 61*w + 86]', '[8921, 8921, 32*w - 117]', '[8929, 8929, -95*w - 1]', '[8929, 8929, 95*w - 96]', '[8941, 8941, 33*w - 118]', '[8941, 8941, 52*w - 137]', '[8945, 8945, 99*w - 107]', '[8945, 8945, 91*w - 83]', '[8951, 8951, 17*w - 105]', '[8951, 8951, -88*w + 71]', '[8955, 2985, -21*w + 108]', '[8955, 2985, 87*w - 66]', '[8956, 4478, 86*w - 60]', '[8956, 4478, 26*w - 112]', '[8959, 527, 85*w - 34]', '[8959, 527, 85*w - 51]', '[8969, 8969, -101*w - 11]', '[8969, 8969, 101*w - 112]', '[8971, 8971, 103*w - 117]', '[8971, 8971, -103*w - 14]', '[8975, 1795, 50*w - 135]', '[8975, 1795, 35*w - 120]', '[8980, 4490, 98*w - 104]', '[8980, 4490, 92*w - 86]', '[8989, 8989, 49*w - 134]', '[8989, 8989, 27*w - 113]', '[8989, 8989, 86*w - 59]', '[8989, 8989, 36*w - 121]', '[8999, 8999, 87*w - 65]', '[8999, 8999, 22*w - 109]', '[9001, 9001, 48*w - 133]', '[9001, 9001, 37*w - 122]', '[9004, 4502, -88*w + 70]', '[9004, 4502, 18*w - 106]', '[9005, 9005, 97*w - 101]', '[9005, 9005, 93*w - 89]', '[9011, 9011, 38*w - 123]', '[9011, 9011, 47*w - 132]', '[9019, 9019, 9*w - 100]', '[9019, 9019, 46*w - 131]', '[9019, 9019, 85*w - 39]', '[9019, 9019, 91*w - 82]', '[9020, 4510, -94*w + 92]', '[9020, 4510, 28*w - 114]', '[9020, 4510, -86*w + 58]', '[9020, 4510, 2*w - 96]', '[9025, 95, 95]', '[9025, 1805, -85*w + 40]', '[9025, 1805, -85*w + 45]', '[9029, 9029, 41*w - 126]', '[9029, 9029, 44*w - 129]', '[9031, 9031, -42*w + 127]', '[9031, 9031, 89*w - 74]', '[9031, 9031, -15*w + 104]', '[9031, 9031, 85*w - 43]', '[9036, 1506, 12*w - 102]', '[9036, 1506, -90*w + 78]', '[9041, 9041, 23*w - 110]', '[9041, 9041, 87*w - 64]', '[9049, 9049, 57*w - 143]', '[9049, 9049, 29*w - 115]', '[9055, 9055, 19*w - 107]', '[9055, 9055, 88*w - 69]', '[9059, 9059, 99*w - 106]', '[9059, 9059, -99*w - 7]', '[9076, 4538, 30*w - 116]', '[9076, 4538, 56*w - 142]', '[9081, 3027, 87*w - 63]', '[9081, 3027, 24*w - 111]', '[9089, 9089, 98*w - 103]', '[9089, 9089, -89*w + 73]', '[9089, 9089, 16*w - 105]', '[9089, 9089, -98*w - 5]', '[9091, 9091, 101*w - 111]', '[9091, 9091, -101*w - 10]', '[9101, 9101, 77*w - 167]', '[9101, 9101, 31*w + 86]', '[9101, 9101, 31*w - 117]', '[9101, 9101, 77*w + 90]', '[9104, 2276, -88*w + 68]', '[9104, 2276, 20*w - 108]', '[9109, 9109, 97*w - 100]', '[9109, 9109, -97*w - 3]', '[9119, 9119, 95*w - 94]', '[9119, 9119, 87*w - 62]', '[9119, 9119, 112*w - 137]', '[9119, 9119, 96*w - 97]', '[9124, 4562, 32*w - 118]', '[9124, 4562, 54*w - 140]', '[9136, 2284, 100*w - 108]', '[9136, 2284, -100*w - 8]', '[9145, 9145, 33*w - 119]', '[9145, 9145, 89*w - 72]', '[9145, 9145, 17*w - 106]', '[9145, 9145, 86*w - 53]', '[9151, 9151, 88*w - 67]', '[9151, 9151, 21*w - 109]', '[9155, 9155, -26*w + 113]', '[9155, 9155, 87*w - 61]', '[9161, 9161, 102*w - 113]', '[9161, 9161, -102*w - 11]', '[9164, 4582, 86*w - 34]', '[9164, 4582, 90*w - 76]', '[9164, 4582, 14*w - 104]', '[9164, 4582, 52*w - 138]', '[9171, 3057, 99*w - 105]', '[9171, 3057, -99*w - 6]', '[9181, 9181, 35*w - 121]', '[9181, 9181, 51*w - 137]', '[9189, 3063, 87*w - 60]', '[9189, 3063, 27*w - 114]', '[9196, 418, -88*w + 66]', '[9196, 418, -88*w + 22]', '[9196, 4598, -86*w + 50]', '[9196, 4598, -4*w + 98]', '[9196, 4598, 4*w + 94]', '[9196, 4598, -86*w + 36]', '[9199, 9199, -89*w + 71]', '[9199, 9199, 18*w - 107]', '[9209, 9209, 49*w - 135]', '[9209, 9209, 37*w - 123]', '[9211, 9211, -101*w - 9]', '[9211, 9211, 97*w - 99]', '[9211, 9211, -97*w - 2]', '[9211, 9211, 101*w - 110]', '[9216, 96, 96]', '[9220, 4610, 48*w + 86]', '[9220, 4610, 48*w - 134]', '[9221, 9221, 59*w - 146]', '[9221, 9221, 28*w - 115]', '[9225, 615, -90*w + 75]', '[9225, 615, 15*w - 105]', '[9229, 9229, -39*w + 125]', '[9229, 9229, 91*w - 79]', '[9229, 9229, -12*w + 103]', '[9229, 9229, 86*w - 47]', '[9236, 4618, 40*w - 126]', '[9236, 4618, 46*w - 132]', '[9239, 9239, 88*w - 65]', '[9239, 9239, 23*w - 111]', '[9241, 9241, 45*w - 131]', '[9241, 9241, 41*w - 127]', '[9244, 4622, 42*w - 128]', '[9244, 4622, 44*w - 130]', '[9245, 215, 86*w - 43]', '[9251, 319, -87*w + 58]', '[9251, 319, -87*w + 29]', '[9251, 9251, -19*w + 108]', '[9251, 9251, 7*w + 93]', '[9251, 9251, -7*w + 100]', '[9251, 9251, 19*w + 89]', '[9279, 3093, 57*w - 144]', '[9279, 3093, 30*w - 117]', '[9280, 1160, -88*w + 64]', '[9280, 1160, -88*w + 24]', '[9281, 9281, -99*w - 5]', '[9281, 9281, 99*w - 104]', '[9284, 4642, 102*w - 112]', '[9284, 4642, 90*w - 74]', '[9284, 4642, 106*w - 122]', '[9284, 4642, 92*w - 82]', '[9295, 715, -13*w - 91]', '[9295, 715, 13*w - 104]', '[9301, 9301, -98*w - 3]', '[9301, 9301, 20*w - 109]', '[9301, 9301, -89*w + 69]', '[9301, 9301, 98*w - 101]', '[9305, 9305, 56*w + 87]', '[9305, 9305, 56*w - 143]', '[9311, 9311, -97*w - 1]', '[9311, 9311, 97*w - 98]', '[9319, 9319, 25*w - 113]', '[9319, 9319, 88*w - 63]', '[9329, 9329, 119*w - 151]', '[9329, 9329, 93*w - 85]', '[9329, 9329, 101*w - 109]', '[9329, 9329, 87*w - 55]', '[9341, 9341, 17*w - 107]', '[9341, 9341, -90*w + 73]', '[9349, 9349, -89*w + 68]', '[9349, 9349, 21*w - 110]', '[9351, 3117, 54*w - 141]', '[9351, 3117, 33*w - 120]', '[9355, 9355, 103*w - 114]', '[9355, 9355, 92*w - 81]', '[9356, 4678, 88*w - 62]', '[9356, 4678, 26*w - 114]', '[9359, 1337, 105*w - 119]', '[9359, 1337, -105*w - 14]', '[9364, 4682, -100*w - 6]', '[9364, 4682, 100*w - 106]', '[9371, 9371, 34*w - 121]', '[9371, 9371, 53*w - 140]', '[9389, 9389, 52*w - 139]', '[9389, 9389, -99*w - 4]', '[9389, 9389, 99*w - 103]', '[9389, 9389, 35*w - 122]', '[9391, 9391, 27*w - 115]', '[9391, 9391, 88*w - 61]', '[9395, 9395, -22*w + 111]', '[9395, 9395, 89*w - 67]', '[9396, 522, 18*w + 90]', '[9396, 522, -18*w + 108]', '[9404, 4702, -98*w - 2]', '[9404, 4702, 98*w - 100]', '[9405, 3135, -9*w + 102]', '[9405, 3135, -87*w + 36]', '[9405, 3135, -87*w + 51]', '[9405, 3135, 9*w + 93]', '[9409, 97, -97]', '[9419, 9419, 50*w - 137]', '[9419, 9419, 37*w - 124]', '[9421, 9421, 106*w - 121]', '[9421, 9421, -106*w - 15]', '[9424, 2356, -88*w + 28]', '[9424, 2356, 12*w + 92]', '[9424, 2356, -12*w + 104]', '[9424, 2356, -88*w + 60]', '[9431, 9431, 38*w - 125]', '[9431, 9431, 49*w - 136]', '[9439, 9439, 89*w - 66]', '[9439, 9439, 23*w - 112]', '[9441, 3147, 48*w - 135]', '[9441, 3147, 39*w - 126]', '[9445, 9445, 94*w - 87]', '[9445, 9445, 101*w - 108]', '[9449, 9449, 71*w - 161]', '[9449, 9449, 40*w + 87]', '[9449, 9449, 40*w - 127]', '[9449, 9449, 71*w + 90]', '[9455, 9455, 29*w - 117]', '[9455, 9455, 46*w - 133]', '[9455, 9455, -46*w - 87]', '[9455, 9455, -29*w - 88]', '[9459, 3153, 42*w - 129]', '[9459, 3153, 45*w - 132]', '[9461, 9461, 43*w - 130]', '[9461, 9461, 44*w - 131]', '[9475, 1895, -100*w - 5]', '[9475, 1895, 100*w - 105]', '[9479, 9479, -103*w - 10]', '[9479, 9479, 103*w - 113]', '[9481, 9481, 107*w - 123]', '[9481, 9481, 89*w - 65]', '[9481, 9481, 113*w - 137]', '[9481, 9481, 91*w - 75]', '[9484, 4742, 58*w - 146]', '[9484, 4742, 30*w - 118]', '[9491, 9491, 105*w - 118]', '[9491, 9491, -105*w - 13]', '[9495, 3165, 96*w - 93]', '[9495, 3165, 99*w - 102]', '[9500, 950, -20*w + 110]', '[9500, 950, 20*w + 90]', '[9505, 9505, 97*w - 96]', '[9505, 9505, 98*w - 99]', '[9511, 9511, 31*w - 119]', '[9511, 9511, 57*w - 145]', '[9521, 9521, 25*w - 114]', '[9521, 9521, 89*w - 64]', '[9524, 4762, -102*w - 8]', '[9524, 4762, 102*w - 110]', '[9536, 1192, 56*w - 144]', '[9536, 1192, 32*w - 120]', '[9539, 9539, 17*w - 108]', '[9539, 9539, -91*w + 74]', '[9549, 3183, -90*w + 69]', '[9549, 3183, 21*w - 111]', '[9551, 9551, -104*w - 11]', '[9551, 9551, 104*w - 115]', '[9556, 4778, 14*w - 106]', '[9556, 4778, -92*w + 78]', '[9559, 869, 88*w - 55]', '[9559, 869, 33*w - 121]', '[9559, 9559, -6*w - 95]', '[9559, 9559, 89*w - 63]', '[9559, 9559, 26*w - 115]', '[9559, 9559, 101*w - 107]', '[9580, 4790, 54*w - 142]', '[9580, 4790, 54*w + 88]', '[9584, 2396, -100*w - 4]', '[9584, 2396, 100*w - 104]', '[9595, 9595, 18*w - 109]', '[9595, 9595, 62*w - 151]', '[9595, 9595, 27*w - 116]', '[9595, 9595, 73*w - 164]', '[9596, 4798, 22*w - 112]', '[9596, 4798, 90*w - 68]', '[9599, 9599, 35*w - 123]', '[9599, 9599, -99*w + 101]', '[9599, 9599, -2*w - 97]', '[9599, 9599, -88*w + 53]', '[9601, 9601, -103*w - 9]', '[9601, 9601, 103*w - 112]', '[9604, 98, -98]', '[9616, 2404, 52*w - 140]', '[9616, 2404, 36*w - 124]', '[9619, 9619, -107*w - 15]', '[9619, 9619, 107*w - 122]', '[9621, 3207, -105*w - 12]', '[9621, 3207, 105*w - 117]', '[9629, 9629, 61*w - 150]', '[9629, 9629, 28*w - 117]', '[9631, 9631, 37*w - 125]', '[9631, 9631, 51*w - 139]', '[9641, 9641, 7*w - 102]', '[9641, 9641, 23*w - 113]', '[9641, 9641, 90*w - 67]', '[9641, 9641, 95*w - 88]', '[9644, 4822, 50*w - 138]', '[9644, 4822, 38*w - 126]', '[9649, 9649, -91*w + 72]', '[9649, 9649, 19*w - 110]', '[9655, 9655, 49*w + 88]', '[9655, 9655, 49*w - 137]', '[9661, 9661, 60*w - 149]', '[9661, 9661, 29*w - 118]', '[9664, 1208, 40*w - 128]', '[9664, 1208, 48*w - 136]', '[9671, 9671, 88*w - 41]', '[9671, 9671, -5*w + 101]', '[9671, 9671, 96*w - 91]', '[9671, 9671, -47*w + 135]', '[9676, 4838, -104*w - 10]', '[9676, 4838, 46*w - 134]', '[9676, 4838, 42*w - 130]', '[9676, 4838, 104*w - 114]', '[9679, 9679, 45*w - 133]', '[9679, 9679, 43*w - 131]', '[9680, 220, -88*w + 44]', '[9680, 2420, 16*w + 92]', '[9680, 2420, -16*w + 108]', '[9684, 1614, 90*w - 66]', '[9684, 1614, 24*w - 114]', '[9689, 9689, -106*w - 13]', '[9689, 9689, 106*w - 119]', '[9691, 9691, 89*w - 59]', '[9691, 9691, 3*w - 100]', '[9691, 9691, 97*w - 94]', '[9691, 9691, 30*w - 119]', '[9701, 9701, -99*w - 1]', '[9701, 9701, -91*w + 71]', '[9701, 9701, 20*w - 111]', '[9701, 9701, 99*w - 100]', '[9719, 9719, 58*w - 147]', '[9719, 9719, 31*w - 120]', '[9721, 9721, -103*w - 8]', '[9721, 9721, 103*w - 111]', '[9725, 1945, 25*w - 115]', '[9725, 1945, 90*w - 65]', '[9739, 9739, 17*w - 109]', '[9739, 9739, -92*w + 75]', '[9745, 9745, 57*w + 89]', '[9745, 9745, 57*w - 146]', '[9749, 9749, 105*w - 116]', '[9749, 9749, -105*w - 11]', '[9751, 1393, 21*w - 112]', '[9751, 1393, -91*w + 70]', '[9755, 9755, 93*w - 79]', '[9755, 9755, 107*w - 121]', '[9756, 1626, -102*w - 6]', '[9756, 1626, 102*w - 108]', '[9764, 4882, 90*w - 64]', '[9764, 4882, 26*w - 116]', '[9769, 9769, 56*w - 145]', '[9769, 9769, 33*w - 122]', '[9781, 9781, 101*w - 105]', '[9781, 9781, -101*w - 4]', '[9791, 9791, 34*w - 123]', '[9791, 9791, 55*w - 144]', '[9796, 4898, 98*w - 96]', '[9796, 4898, 18*w - 110]', '[9796, 4898, 92*w - 74]', '[9796, 4898, 2*w - 100]', '[9799, 9799, 104*w - 113]', '[9799, 9799, 91*w - 69]', '[9799, 9799, 22*w - 113]', '[9799, 9799, -104*w - 9]', '[9801, 99, 99]', '[9801, 1089, -90*w + 27]', '[9801, 1089, -90*w + 63]', '[9811, 9811, 54*w - 143]', '[9811, 9811, 35*w - 124]', '[9819, 3273, 108*w - 123]', '[9819, 3273, -108*w - 15]', '[9820, 4910, 94*w - 82]', '[9820, 4910, 106*w - 118]', '[9829, 9829, 36*w - 125]', '[9829, 9829, 53*w - 142]', '[9836, 4918, 28*w - 118]', '[9836, 4918, 90*w - 62]', '[9839, 9839, 103*w - 110]', '[9839, 9839, -103*w - 7]', '[9845, 9845, 68*w - 159]', '[9845, 9845, 37*w - 126]', '[9845, 9845, 52*w - 141]', '[9845, 9845, 23*w - 114]', '[9851, 9851, 19*w - 111]', '[9851, 9851, -92*w + 73]', '[9859, 9859, 38*w - 127]', '[9859, 9859, 51*w - 140]', '[9869, 9869, 29*w - 119]', '[9869, 9869, -102*w - 5]', '[9869, 9869, 102*w - 107]', '[9869, 9869, 61*w - 151]', '[9871, 9871, 50*w - 139]', '[9871, 9871, 39*w - 128]', '[9875, 1975, 10*w - 105]', '[9875, 1975, 95*w - 85]', '[9881, 9881, 40*w - 129]', '[9881, 9881, 16*w - 109]', '[9881, 9881, -93*w + 77]', '[9881, 9881, 49*w - 138]', '[9889, 9889, -89*w + 41]', '[9889, 9889, -91*w + 67]', '[9889, 9889, 13*w + 94]', '[9889, 9889, 3*w + 98]', '[9889, 9889, -3*w + 101]', '[9889, 9889, -13*w + 107]', '[9889, 9889, -91*w + 24]', '[9889, 9889, -89*w + 48]', '[9895, 9895, 47*w + 89]', '[9895, 9895, 47*w - 136]', '[9899, 9899, 99*w - 98]', '[9899, 9899, 89*w - 46]', '[9899, 9899, 43*w - 132]', '[9899, 9899, w - 100]', '[9900, 330, -90*w + 60]', '[9900, 330, -90*w + 30]', '[9901, 9901, 44*w - 133]', '[9901, 9901, 45*w - 134]', '[9904, 2476, 20*w - 112]', '[9904, 2476, -92*w + 72]', '[9920, 1240, 8*w + 96]', '[9920, 1240, -8*w + 104]', '[9929, 9929, 31*w - 121]', '[9929, 9929, 59*w - 149]', '[9931, 9931, 25*w - 116]', '[9931, 9931, 91*w - 66]', '[9941, 9941, -93*w + 76]', '[9941, 9941, 17*w - 110]', '[9949, 9949, -106*w - 11]', '[9949, 9949, 106*w - 117]', '[9955, 9955, -97*w + 6]', '[9955, 9955, 113*w - 134]', '[9955, 9955, -113*w - 21]', '[9955, 9955, 97*w - 91]', '[9956, 4978, 32*w - 122]', '[9956, 4978, 80*w + 94]', '[9956, 4978, 80*w - 174]', '[9956, 4978, 32*w + 90]', '[9971, 767, 26*w - 117]', '[9971, 767, 91*w - 65]', '[9980, 4990, 102*w - 106]', '[9980, 4990, 98*w - 94]', '[9981, 3327, 57*w - 147]', '[9981, 3327, 33*w - 123]', '[9995, 9995, 101*w - 103]', '[9995, 9995, 99*w - 97]', '[9999, 3333, 111*w - 129]', '[9999, 3333, 96*w - 87]', '[9999, 3333, 105*w - 114]', '[9999, 3333, 93*w - 75]', '[10000, 100, 100]'], 'label': '2.2.5.1', 'narrow_class_no': 1, 'primes': ['[4, 2, 2]', '[5, 5, -2*w + 1]', '[9, 3, 3]', '[11, 11, -3*w + 2]', '[11, 11, -3*w + 1]', '[19, 19, -4*w + 3]', '[19, 19, -4*w + 1]', '[29, 29, w + 5]', '[29, 29, -w + 6]', '[31, 31, -5*w + 2]', '[31, 31, -5*w + 3]', '[41, 41, -6*w + 5]', '[41, 41, w - 7]', '[49, 7, -7]', '[59, 59, 2*w - 9]', '[59, 59, 7*w - 5]', '[61, 61, 3*w - 10]', '[61, 61, -3*w - 7]', '[71, 71, -8*w + 7]', '[71, 71, w - 9]', '[79, 79, 8*w - 5]', '[79, 79, 3*w - 11]', '[89, 89, -10*w - 1]', '[89, 89, 10*w - 11]', '[101, 101, 4*w - 13]', '[101, 101, 5*w - 14]', '[109, 109, -11*w - 1]', '[109, 109, 11*w - 12]', '[131, 131, -12*w - 1]', '[131, 131, 12*w - 13]', '[139, 139, 2*w - 13]', '[139, 139, -11*w + 9]', '[149, 149, 7*w - 18]', '[149, 149, 4*w - 15]', '[151, 151, 5*w - 16]', '[151, 151, 6*w - 17]', '[169, 13, -13]', '[179, 179, 7*w - 19]', '[179, 179, 5*w - 17]', '[181, 181, -14*w - 1]', '[181, 181, 14*w - 15]', '[191, 191, 2*w - 15]', '[191, 191, -13*w + 11]', '[199, 199, 3*w - 16]', '[199, 199, -13*w + 10]', '[211, 211, 6*w - 19]', '[211, 211, 7*w - 20]', '[229, 229, -14*w + 11]', '[229, 229, 3*w - 17]', '[239, 239, -16*w - 1]', '[239, 239, 16*w - 17]', '[241, 241, 9*w - 23]', '[241, 241, 5*w - 19]', '[251, 251, 2*w - 17]', '[251, 251, -15*w + 13]', '[269, 269, 15*w - 11]', '[269, 269, 4*w - 19]', '[271, 271, -17*w - 1]', '[271, 271, 17*w - 18]', '[281, 281, 7*w - 22]', '[281, 281, 8*w - 23]', '[289, 17, -17]', '[311, 311, 5*w - 21]', '[311, 311, 16*w - 11]', '[331, 331, -17*w + 14]', '[331, 331, 3*w - 20]', '[349, 349, 17*w - 12]', '[349, 349, 5*w - 22]', '[359, 359, 10*w - 27]', '[359, 359, 7*w - 24]', '[379, 379, -20*w - 1]', '[379, 379, 20*w - 21]', '[389, 389, 5*w - 23]', '[389, 389, 18*w - 13]', '[401, 401, 7*w - 25]', '[401, 401, 11*w - 29]', '[409, 409, 3*w - 22]', '[409, 409, -19*w + 16]', '[419, 419, -21*w - 1]', '[419, 419, 21*w - 22]', '[421, 421, -19*w + 15]', '[421, 421, 4*w - 23]', '[431, 431, 19*w - 14]', '[431, 431, 5*w - 24]', '[439, 439, 6*w - 25]', '[439, 439, 19*w - 13]', '[449, 449, 8*w - 27]', '[449, 449, 11*w - 30]', '[461, 461, -22*w - 1]', '[461, 461, 22*w - 23]', '[479, 479, 23*w - 25]', '[479, 479, -23*w - 2]', '[491, 491, 13*w - 33]', '[491, 491, 7*w - 27]', '[499, 499, 11*w - 31]', '[499, 499, 9*w - 29]', '[509, 509, 4*w - 25]', '[509, 509, -21*w + 17]', '[521, 521, 5*w - 26]', '[521, 521, 21*w - 16]', '[529, 23, -23]', '[541, 541, 25*w - 28]', '[541, 541, -25*w - 3]', '[569, 569, -22*w + 17]', '[569, 569, 5*w - 27]', '[571, 571, 25*w - 27]', '[571, 571, -25*w - 2]', '[599, 599, -25*w - 1]', '[599, 599, 25*w - 26]', '[601, 601, 13*w - 35]', '[601, 601, 9*w - 31]', '[619, 619, 5*w - 28]', '[619, 619, -23*w + 18]', '[631, 631, 23*w - 17]', '[631, 631, 6*w - 29]', '[641, 641, 23*w - 16]', '[641, 641, 7*w - 30]', '[659, 659, 13*w - 36]', '[659, 659, 10*w - 33]', '[661, 661, 11*w - 34]', '[661, 661, 12*w - 35]', '[691, 691, 28*w - 31]', '[691, 691, -28*w - 3]', '[701, 701, -27*w - 1]', '[701, 701, 27*w - 28]', '[709, 709, 4*w - 29]', '[709, 709, -25*w + 21]', '[719, 719, 13*w - 37]', '[719, 719, 11*w - 35]', '[739, 739, 6*w - 31]', '[739, 739, 25*w - 19]', '[751, 751, 7*w - 32]', '[751, 751, 25*w - 18]', '[761, 761, 8*w - 33]', '[761, 761, 25*w - 17]', '[769, 769, 9*w - 34]', '[769, 769, 16*w - 41]', '[809, 809, 7*w - 33]', '[809, 809, 26*w - 19]', '[811, 811, -29*w - 1]', '[811, 811, 29*w - 30]', '[821, 821, -27*w + 23]', '[821, 821, 4*w - 31]', '[829, 829, 17*w - 43]', '[829, 829, 9*w - 35]', '[839, 839, -27*w + 22]', '[839, 839, 5*w - 32]', '[859, 859, 31*w - 34]', '[859, 859, -31*w - 3]', '[881, 881, 8*w - 35]', '[881, 881, 27*w - 19]', '[911, 911, 13*w - 40]', '[911, 911, 14*w - 41]', '[919, 919, -32*w - 3]', '[919, 919, 32*w - 35]', '[929, 929, -31*w - 1]', '[929, 929, 31*w - 32]', '[941, 941, 33*w - 37]', '[941, 941, -33*w - 4]', '[971, 971, 11*w - 39]', '[971, 971, 17*w - 45]', '[991, 991, -32*w - 1]', '[991, 991, 32*w - 33]', '[1009, 1009, 29*w - 21]', '[1009, 1009, 8*w - 37]', '[1019, 1019, 33*w - 35]', '[1019, 1019, -33*w - 2]', '[1021, 1021, 29*w - 20]', '[1021, 1021, 9*w - 38]', '[1031, 1031, 19*w - 48]', '[1031, 1031, 10*w - 39]', '[1039, 1039, 18*w - 47]', '[1039, 1039, 11*w - 40]', '[1049, 1049, 16*w - 45]', '[1049, 1049, 13*w - 42]', '[1051, 1051, 14*w - 43]', '[1051, 1051, 15*w - 44]', '[1061, 1061, -30*w + 23]', '[1061, 1061, 7*w - 37]', '[1069, 1069, -35*w - 4]', '[1069, 1069, 35*w - 39]', '[1091, 1091, 36*w - 41]', '[1091, 1091, -36*w - 5]', '[1109, 1109, 19*w - 49]', '[1109, 1109, 11*w - 41]', '[1129, 1129, -31*w + 24]', '[1129, 1129, 7*w - 38]', '[1151, 1151, 35*w - 37]', '[1151, 1151, -35*w - 2]', '[1171, 1171, 10*w - 41]', '[1171, 1171, 21*w - 52]', '[1181, 1181, 11*w - 42]', '[1181, 1181, 20*w - 51]', '[1201, 1201, 15*w - 46]', '[1201, 1201, 16*w - 47]', '[1229, 1229, 38*w - 43]', '[1229, 1229, -38*w - 5]', '[1231, 1231, 9*w - 41]', '[1231, 1231, 32*w - 23]', '[1249, 1249, 37*w - 40]', '[1249, 1249, -37*w - 3]', '[1259, 1259, -36*w - 1]', '[1259, 1259, 36*w - 37]', '[1279, 1279, 17*w - 49]', '[1279, 1279, 15*w - 47]', '[1289, 1289, 8*w - 41]', '[1289, 1289, 33*w - 25]', '[1291, 1291, 37*w - 39]', '[1291, 1291, -37*w - 2]', '[1301, 1301, -39*w - 5]', '[1301, 1301, 39*w - 44]', '[1319, 1319, 33*w - 23]', '[1319, 1319, 10*w - 43]', '[1321, 1321, -38*w - 3]', '[1321, 1321, 38*w - 41]', '[1361, 1361, 16*w - 49]', '[1361, 1361, 17*w - 50]', '[1369, 37, -37]', '[1381, 1381, 9*w - 43]', '[1381, 1381, 34*w - 25]', '[1399, 1399, -35*w + 29]', '[1399, 1399, 6*w - 41]', '[1409, 1409, 11*w - 45]', '[1409, 1409, 23*w - 57]', '[1429, 1429, 13*w - 47]', '[1429, 1429, 21*w - 55]', '[1439, 1439, 39*w - 41]', '[1439, 1439, -39*w - 2]', '[1451, 1451, 41*w - 46]', '[1451, 1451, -41*w - 5]', '[1459, 1459, 35*w - 26]', '[1459, 1459, 9*w - 44]', '[1471, 1471, 40*w - 43]', '[1471, 1471, -40*w - 3]', '[1481, 1481, -39*w - 1]', '[1481, 1481, 39*w - 40]', '[1489, 1489, 35*w - 24]', '[1489, 1489, 11*w - 46]', '[1499, 1499, 7*w - 43]', '[1499, 1499, -36*w + 29]', '[1511, 1511, 13*w - 48]', '[1511, 1511, 22*w - 57]', '[1531, 1531, 17*w - 52]', '[1531, 1531, 18*w - 53]', '[1549, 1549, -41*w - 3]', '[1549, 1549, 41*w - 44]', '[1559, 1559, -40*w - 1]', '[1559, 1559, 40*w - 41]', '[1571, 1571, 11*w - 47]', '[1571, 1571, 36*w - 25]', '[1579, 1579, -37*w + 30]', '[1579, 1579, 7*w - 44]', '[1601, 1601, -37*w + 29]', '[1601, 1601, 8*w - 45]', '[1609, 1609, 43*w - 48]', '[1609, 1609, -43*w - 5]', '[1619, 1619, 19*w - 55]', '[1619, 1619, 17*w - 53]', '[1621, 1621, 9*w - 46]', '[1621, 1621, 37*w - 28]', '[1669, 1669, 12*w - 49]', '[1669, 1669, 37*w - 25]', '[1699, 1699, 22*w - 59]', '[1699, 1699, 15*w - 52]', '[1709, 1709, 17*w - 54]', '[1709, 1709, 20*w - 57]', '[1721, 1721, -42*w - 1]', '[1721, 1721, 42*w - 43]', '[1741, 1741, 38*w - 27]', '[1741, 1741, 11*w - 49]', '[1759, 1759, 43*w - 45]', '[1759, 1759, -43*w - 2]', '[1789, 1789, 15*w - 53]', '[1789, 1789, 23*w - 61]', '[1801, 1801, 21*w - 59]', '[1801, 1801, 17*w - 55]', '[1811, 1811, 39*w - 29]', '[1811, 1811, 10*w - 49]', '[1831, 1831, 7*w - 47]', '[1831, 1831, -40*w + 33]', '[1849, 43, -43]', '[1861, 1861, 46*w - 51]', '[1861, 1861, -46*w - 5]', '[1871, 1871, 25*w - 64]', '[1871, 1871, 14*w - 53]', '[1879, 1879, -40*w + 31]', '[1879, 1879, 9*w - 49]', '[1889, 1889, 16*w - 55]', '[1889, 1889, 23*w - 62]', '[1901, 1901, 19*w - 58]', '[1901, 1901, 20*w - 59]', '[1931, 1931, 45*w - 47]', '[1931, 1931, -45*w - 2]', '[1949, 1949, -47*w - 5]', '[1949, 1949, 47*w - 52]', '[1951, 1951, 13*w - 53]', '[1951, 1951, 27*w - 67]', '[1979, 1979, -45*w - 1]', '[1979, 1979, 45*w - 46]', '[1999, 1999, 21*w - 61]', '[1999, 1999, 19*w - 59]', '[2011, 2011, 41*w - 30]', '[2011, 2011, 11*w - 52]', '[2029, 2029, 12*w - 53]', '[2029, 2029, 41*w - 29]', '[2039, 2039, 48*w - 53]', '[2039, 2039, -48*w - 5]', '[2069, 2069, -46*w - 1]', '[2069, 2069, 46*w - 47]', '[2081, 2081, 25*w - 66]', '[2081, 2081, 16*w - 57]', '[2089, 2089, 17*w - 58]', '[2089, 2089, 24*w - 65]', '[2099, 2099, 22*w - 63]', '[2099, 2099, 19*w - 60]', '[2111, 2111, 47*w - 49]', '[2111, 2111, -47*w - 2]', '[2129, 2129, 8*w - 51]', '[2129, 2129, -43*w + 35]', '[2131, 2131, -49*w - 5]', '[2131, 2131, 49*w - 54]', '[2141, 2141, 42*w - 29]', '[2141, 2141, 13*w - 55]', '[2161, 2161, -47*w - 1]', '[2161, 2161, 47*w - 48]', '[2179, 2179, -43*w + 33]', '[2179, 2179, 10*w - 53]', '[2209, 47, -47]', '[2221, 2221, 43*w - 31]', '[2221, 2221, 12*w - 55]', '[2239, 2239, 43*w - 30]', '[2239, 2239, 13*w - 56]', '[2251, 2251, -44*w + 35]', '[2251, 2251, 9*w - 53]', '[2269, 2269, 15*w - 58]', '[2269, 2269, 28*w - 71]', '[2281, 2281, 16*w - 59]', '[2281, 2281, 27*w - 70]', '[2309, 2309, 20*w - 63]', '[2309, 2309, 23*w - 66]', '[2311, 2311, 21*w - 64]', '[2311, 2311, 22*w - 65]', '[2339, 2339, 44*w - 31]', '[2339, 2339, 13*w - 57]', '[2341, 2341, -50*w - 3]', '[2341, 2341, 50*w - 53]', '[2351, 2351, -49*w - 1]', '[2351, 2351, 49*w - 50]', '[2371, 2371, 29*w - 73]', '[2371, 2371, 15*w - 59]', '[2381, 2381, -51*w - 4]', '[2381, 2381, 51*w - 55]', '[2389, 2389, 7*w - 53]', '[2389, 2389, -46*w + 39]', '[2399, 2399, 11*w - 56]', '[2399, 2399, 45*w - 34]', '[2411, 2411, 25*w - 69]', '[2411, 2411, 19*w - 63]', '[2441, 2441, 45*w - 32]', '[2441, 2441, 13*w - 58]', '[2459, 2459, 14*w - 59]', '[2459, 2459, 45*w - 31]', '[2521, 2521, -47*w + 39]', '[2521, 2521, 8*w - 55]', '[2531, 2531, 22*w - 67]', '[2531, 2531, 23*w - 68]', '[2539, 2539, 52*w - 55]', '[2539, 2539, -52*w - 3]', '[2549, 2549, -51*w - 1]', '[2549, 2549, 51*w - 52]', '[2551, 2551, -47*w + 38]', '[2551, 2551, 9*w - 56]', '[2579, 2579, 10*w - 57]', '[2579, 2579, -47*w + 37]', '[2591, 2591, -55*w - 7]', '[2591, 2591, 55*w - 62]', '[2609, 2609, 29*w - 75]', '[2609, 2609, 17*w - 63]', '[2621, 2621, -54*w - 5]', '[2621, 2621, 54*w - 59]', '[2659, 2659, 55*w - 61]', '[2659, 2659, -55*w - 6]', '[2671, 2671, 14*w - 61]', '[2671, 2671, 47*w - 33]', '[2689, 2689, 47*w - 32]', '[2689, 2689, 15*w - 62]', '[2699, 2699, 53*w - 55]', '[2699, 2699, -53*w - 2]', '[2711, 2711, 11*w - 59]', '[2711, 2711, -48*w + 37]', '[2719, 2719, 17*w - 64]', '[2719, 2719, 30*w - 77]', '[2729, 2729, 57*w - 65]', '[2729, 2729, -57*w - 8]', '[2731, 2731, 18*w - 65]', '[2731, 2731, 29*w - 76]', '[2741, 2741, 28*w - 75]', '[2741, 2741, 19*w - 66]', '[2749, 2749, 20*w - 67]', '[2749, 2749, 27*w - 74]', '[2789, 2789, -55*w - 4]', '[2789, 2789, 55*w - 59]', '[2791, 2791, -49*w + 39]', '[2791, 2791, 10*w - 59]', '[2801, 2801, 57*w - 64]', '[2801, 2801, -57*w - 7]', '[2809, 53, -53]', '[2819, 2819, -49*w + 38]', '[2819, 2819, 11*w - 60]', '[2851, 2851, 55*w - 58]', '[2851, 2851, -55*w - 3]', '[2861, 2861, -54*w - 1]', '[2861, 2861, 54*w - 55]', '[2879, 2879, 25*w - 73]', '[2879, 2879, 23*w - 71]', '[2909, 2909, -58*w - 7]', '[2909, 2909, 58*w - 65]', '[2939, 2939, -57*w - 5]', '[2939, 2939, 57*w - 62]', '[2969, 2969, -55*w - 1]', '[2969, 2969, 55*w - 56]', '[2971, 2971, 19*w - 68]', '[2971, 2971, 30*w - 79]', '[2999, 2999, 23*w - 72]', '[2999, 2999, 26*w - 75]', '[3001, 3001, 24*w - 73]', '[3001, 3001, 25*w - 74]', '[3011, 3011, 10*w - 61]', '[3011, 3011, -51*w + 41]', '[3019, 3019, -59*w - 7]', '[3019, 3019, 59*w - 66]', '[3041, 3041, -51*w + 40]', '[3041, 3041, 11*w - 62]', '[3049, 3049, 58*w - 63]', '[3049, 3049, -58*w - 5]', '[3061, 3061, 33*w - 83]', '[3061, 3061, 17*w - 67]', '[3079, 3079, -56*w - 1]', '[3079, 3079, 56*w - 57]', '[3089, 3089, 19*w - 69]', '[3089, 3089, 31*w - 81]', '[3109, 3109, 21*w - 71]', '[3109, 3109, 29*w - 79]', '[3119, 3119, 51*w - 37]', '[3119, 3119, 14*w - 65]', '[3121, 3121, 23*w - 73]', '[3121, 3121, 27*w - 77]', '[3169, 3169, -61*w - 8]', '[3169, 3169, 61*w - 69]', '[3181, 3181, 58*w - 61]', '[3181, 3181, -58*w - 3]', '[3191, 3191, -57*w - 1]', '[3191, 3191, 57*w - 58]', '[3209, 3209, 19*w - 70]', '[3209, 3209, 32*w - 83]', '[3221, 3221, 31*w - 82]', '[3221, 3221, 20*w - 71]', '[3229, 3229, -59*w - 4]', '[3229, 3229, 59*w - 63]', '[3251, 3251, 25*w - 76]', '[3251, 3251, 26*w - 77]', '[3259, 3259, 52*w - 37]', '[3259, 3259, 15*w - 67]', '[3271, 3271, 11*w - 64]', '[3271, 3271, -53*w + 42]', '[3299, 3299, 17*w - 69]', '[3299, 3299, 35*w - 87]', '[3301, 3301, 12*w - 65]', '[3301, 3301, -53*w + 41]', '[3319, 3319, 61*w - 67]', '[3319, 3319, -61*w - 6]', '[3329, 3329, 13*w - 66]', '[3329, 3329, 53*w - 40]', '[3331, 3331, 33*w - 85]', '[3331, 3331, 19*w - 71]', '[3359, 3359, 59*w - 61]', '[3359, 3359, -59*w - 2]', '[3361, 3361, -62*w - 7]', '[3361, 3361, 62*w - 69]', '[3371, 3371, 23*w - 75]', '[3371, 3371, 29*w - 81]', '[3389, 3389, -54*w + 43]', '[3389, 3389, 11*w - 65]', '[3391, 3391, 61*w - 66]', '[3391, 3391, -61*w - 5]', '[3449, 3449, 54*w - 41]', '[3449, 3449, 13*w - 67]', '[3461, 3461, 61*w - 65]', '[3461, 3461, -61*w - 4]', '[3469, 3469, 33*w - 86]', '[3469, 3469, 20*w - 73]', '[3491, 3491, 22*w - 75]', '[3491, 3491, 31*w - 84]', '[3499, 3499, 23*w - 76]', '[3499, 3499, 30*w - 83]', '[3511, 3511, 26*w - 79]', '[3511, 3511, 27*w - 80]', '[3529, 3529, 61*w - 64]', '[3529, 3529, -61*w - 3]', '[3539, 3539, -60*w - 1]', '[3539, 3539, 60*w - 61]', '[3541, 3541, -55*w + 43]', '[3541, 3541, 12*w - 67]', '[3559, 3559, -56*w + 47]', '[3559, 3559, 9*w - 65]', '[3571, 3571, 55*w - 42]', '[3571, 3571, 13*w - 68]', '[3581, 3581, 19*w - 73]', '[3581, 3581, 35*w - 89]', '[3631, 3631, 11*w - 67]', '[3631, 3631, -56*w + 45]', '[3659, 3659, -61*w - 1]', '[3659, 3659, 61*w - 62]', '[3671, 3671, 55*w - 38]', '[3671, 3671, 17*w - 72]', '[3691, 3691, 18*w - 73]', '[3691, 3691, 37*w - 92]', '[3701, 3701, -63*w - 4]', '[3701, 3701, 63*w - 67]', '[3709, 3709, 19*w - 74]', '[3709, 3709, 36*w - 91]', '[3719, 3719, 10*w - 67]', '[3719, 3719, -57*w + 47]', '[3739, 3739, 34*w - 89]', '[3739, 3739, 21*w - 76]', '[3761, 3761, 32*w - 87]', '[3761, 3761, 23*w - 78]', '[3769, 3769, 24*w - 79]', '[3769, 3769, 31*w - 86]', '[3779, 3779, 26*w - 81]', '[3779, 3779, 29*w - 84]', '[3821, 3821, -57*w + 44]', '[3821, 3821, 13*w - 70]', '[3851, 3851, 14*w - 71]', '[3851, 3851, 57*w - 43]', '[3881, 3881, 11*w - 69]', '[3881, 3881, -58*w + 47]', '[3889, 3889, 67*w - 75]', '[3889, 3889, -67*w - 8]', '[3911, 3911, 31*w - 87]', '[3911, 3911, 25*w - 81]', '[3919, 3919, 29*w - 85]', '[3919, 3919, 27*w - 83]', '[3929, 3929, 17*w - 74]', '[3929, 3929, 57*w - 40]', '[3931, 3931, 68*w - 77]', '[3931, 3931, -68*w - 9]', '[3989, 3989, 37*w - 94]', '[3989, 3989, 20*w - 77]', '[4001, 4001, 66*w - 71]', '[4001, 4001, -66*w - 5]', '[4019, 4019, 35*w - 92]', '[4019, 4019, 22*w - 79]', '[4021, 4021, -65*w - 3]', '[4021, 4021, 65*w - 68]', '[4049, 4049, 32*w - 89]', '[4049, 4049, 25*w - 82]', '[4051, 4051, 67*w - 73]', '[4051, 4051, -67*w - 6]', '[4079, 4079, 13*w - 72]', '[4079, 4079, -59*w + 46]', '[4091, 4091, 65*w - 67]', '[4091, 4091, -65*w - 2]', '[4099, 4099, 68*w - 75]', '[4099, 4099, -68*w - 7]', '[4111, 4111, 14*w - 73]', '[4111, 4111, 59*w - 45]', '[4129, 4129, -67*w - 5]', '[4129, 4129, 67*w - 72]', '[4139, 4139, -60*w + 49]', '[4139, 4139, 11*w - 71]', '[4159, 4159, -65*w - 1]', '[4159, 4159, 65*w - 66]', '[4201, 4201, 27*w - 85]', '[4201, 4201, 31*w - 89]', '[4211, 4211, 13*w - 73]', '[4211, 4211, -60*w + 47]', '[4219, 4219, 59*w - 41]', '[4219, 4219, 18*w - 77]', '[4229, 4229, -69*w - 7]', '[4229, 4229, 69*w - 76]', '[4231, 4231, 71*w - 81]', '[4231, 4231, -71*w - 10]', '[4241, 4241, 40*w - 99]', '[4241, 4241, 19*w - 78]', '[4259, 4259, 68*w - 73]', '[4259, 4259, -68*w - 5]', '[4261, 4261, 39*w - 98]', '[4261, 4261, 20*w - 79]', '[4271, 4271, 11*w - 72]', '[4271, 4271, -61*w + 50]', '[4289, 4289, -66*w - 1]', '[4289, 4289, 66*w - 67]', '[4339, 4339, 33*w - 92]', '[4339, 4339, 26*w - 85]', '[4349, 4349, 31*w - 90]', '[4349, 4349, 28*w - 87]', '[4391, 4391, -69*w - 5]', '[4391, 4391, 69*w - 74]', '[4409, 4409, -71*w - 8]', '[4409, 4409, 71*w - 79]', '[4421, 4421, -67*w - 1]', '[4421, 4421, 67*w - 68]', '[4441, 4441, 16*w - 77]', '[4441, 4441, 61*w - 45]', '[4451, 4451, 23*w - 83]', '[4451, 4451, 37*w - 97]', '[4481, 4481, 13*w - 75]', '[4481, 4481, -62*w + 49]', '[4489, 67, -67]', '[4519, 4519, 19*w - 80]', '[4519, 4519, 42*w - 103]', '[4549, 4549, 62*w - 47]', '[4549, 4549, 15*w - 77]', '[4561, 4561, 21*w - 82]', '[4561, 4561, 40*w - 101]', '[4591, 4591, 73*w - 82]', '[4591, 4591, -73*w - 9]', '[4621, 4621, 36*w - 97]', '[4621, 4621, 25*w - 86]', '[4639, 4639, 27*w - 88]', '[4639, 4639, 34*w - 95]', '[4649, 4649, 29*w - 90]', '[4649, 4649, 32*w - 93]', '[4651, 4651, 30*w - 91]', '[4651, 4651, 31*w - 92]', '[4679, 4679, 11*w - 75]', '[4679, 4679, -64*w + 53]', '[4691, 4691, -69*w - 1]', '[4691, 4691, 69*w - 70]', '[4721, 4721, 63*w - 47]', '[4721, 4721, 16*w - 79]', '[4729, 4729, -74*w - 9]', '[4729, 4729, 74*w - 83]', '[4751, 4751, 63*w - 46]', '[4751, 4751, 17*w - 80]', '[4759, 4759, -64*w + 51]', '[4759, 4759, 13*w - 77]', '[4789, 4789, 35*w - 97]', '[4789, 4789, 27*w - 89]', '[4799, 4799, -72*w - 5]', '[4799, 4799, 72*w - 77]', '[4801, 4801, 33*w - 95]', '[4801, 4801, 29*w - 91]', '[4831, 4831, 15*w - 79]', '[4831, 4831, -64*w + 49]', '[4861, 4861, 12*w - 77]', '[4861, 4861, -65*w + 53]', '[4871, 4871, 22*w - 85]', '[4871, 4871, 41*w - 104]', '[4889, 4889, 40*w - 103]', '[4889, 4889, 23*w - 86]', '[4909, 4909, 74*w - 81]', '[4909, 4909, -74*w - 7]', '[4919, 4919, 25*w - 88]', '[4919, 4919, 38*w - 101]', '[4931, 4931, 37*w - 100]', '[4931, 4931, 26*w - 89]', '[4951, 4951, 64*w - 45]', '[4951, 4951, 19*w - 83]', '[4969, 4969, -71*w - 1]', '[4969, 4969, 71*w - 72]', '[4999, 4999, 21*w - 85]', '[4999, 4999, 43*w - 107]', '[5009, 5009, 16*w - 81]', '[5009, 5009, 65*w - 49]', '[5011, 5011, -76*w - 9]', '[5011, 5011, 76*w - 85]', '[5021, 5021, 73*w - 77]', '[5021, 5021, -73*w - 4]', '[5039, 5039, 23*w - 87]', '[5039, 5039, 41*w - 105]', '[5051, 5051, 75*w - 82]', '[5051, 5051, -75*w - 7]', '[5059, 5059, 77*w - 87]', '[5059, 5059, -77*w - 10]', '[5081, 5081, -74*w - 5]', '[5081, 5081, 74*w - 79]', '[5099, 5099, 65*w - 46]', '[5099, 5099, 19*w - 84]', '[5101, 5101, 73*w - 76]', '[5101, 5101, -73*w - 3]', '[5119, 5119, 33*w - 97]', '[5119, 5119, 31*w - 95]', '[5171, 5171, 43*w - 108]', '[5171, 5171, 22*w - 87]', '[5179, 5179, 73*w - 75]', '[5179, 5179, -73*w - 2]', '[5189, 5189, 17*w - 83]', '[5189, 5189, 66*w - 49]', '[5209, 5209, 41*w - 106]', '[5209, 5209, 24*w - 89]', '[5231, 5231, -67*w + 53]', '[5231, 5231, 14*w - 81]', '[5261, 5261, 37*w - 102]', '[5261, 5261, 28*w - 93]', '[5279, 5279, 34*w - 99]', '[5279, 5279, 31*w - 96]', '[5281, 5281, 32*w - 97]', '[5281, 5281, 33*w - 98]', '[5309, 5309, -75*w - 4]', '[5309, 5309, 75*w - 79]', '[5329, 73, -73]', '[5351, 5351, -79*w - 10]', '[5351, 5351, 79*w - 89]', '[5381, 5381, 25*w - 91]', '[5381, 5381, 41*w - 107]', '[5399, 5399, 80*w - 91]', '[5399, 5399, -80*w - 11]', '[5419, 5419, 15*w - 83]', '[5419, 5419, -68*w + 53]', '[5431, 5431, -77*w - 6]', '[5431, 5431, 77*w - 83]', '[5441, 5441, 31*w - 97]', '[5441, 5441, 35*w - 101]', '[5449, 5449, 79*w - 88]', '[5449, 5449, -79*w - 9]', '[5471, 5471, 75*w - 77]', '[5471, 5471, -75*w - 2]', '[5479, 5479, 22*w - 89]', '[5479, 5479, 45*w - 112]', '[5501, 5501, 23*w - 90]', '[5501, 5501, 44*w - 111]', '[5519, 5519, -77*w - 5]', '[5519, 5519, 77*w - 82]', '[5521, 5521, 43*w - 110]', '[5521, 5521, 24*w - 91]', '[5531, 5531, -69*w + 55]', '[5531, 5531, 14*w - 83]', '[5569, 5569, 40*w - 107]', '[5569, 5569, 27*w - 94]', '[5581, 5581, 39*w - 106]', '[5581, 5581, 28*w - 95]', '[5591, 5591, 29*w - 96]', '[5591, 5591, 38*w - 105]', '[5639, 5639, -79*w - 7]', '[5639, 5639, 79*w - 86]', '[5641, 5641, -70*w + 57]', '[5641, 5641, 13*w - 83]', '[5651, 5651, 81*w - 91]', '[5651, 5651, -81*w - 10]', '[5659, 5659, 45*w - 113]', '[5659, 5659, 23*w - 91]', '[5669, 5669, 78*w - 83]', '[5669, 5669, -78*w - 5]', '[5689, 5689, -77*w - 3]', '[5689, 5689, 77*w - 80]', '[5701, 5701, -82*w - 11]', '[5701, 5701, 82*w - 93]', '[5711, 5711, 19*w - 88]', '[5711, 5711, 69*w - 50]', '[5741, 5741, 20*w - 89]', '[5741, 5741, 69*w - 49]', '[5749, 5749, -71*w + 59]', '[5749, 5749, 12*w - 83]', '[5779, 5779, 35*w - 103]', '[5779, 5779, 33*w - 101]', '[5791, 5791, -80*w - 7]', '[5791, 5791, 80*w - 87]', '[5801, 5801, 70*w - 53]', '[5801, 5801, 17*w - 87]', '[5821, 5821, -79*w - 5]', '[5821, 5821, 79*w - 84]', '[5839, 5839, 14*w - 85]', '[5839, 5839, -71*w + 57]', '[5849, 5849, 81*w - 89]', '[5849, 5849, -81*w - 8]', '[5851, 5851, -77*w - 1]', '[5851, 5851, 77*w - 78]', '[5861, 5861, 25*w - 94]', '[5861, 5861, 44*w - 113]', '[5869, 5869, 19*w - 89]', '[5869, 5869, 70*w - 51]', '[5879, 5879, 43*w - 112]', '[5879, 5879, 26*w - 95]', '[5881, 5881, -71*w + 56]', '[5881, 5881, 15*w - 86]', '[5939, 5939, 31*w - 100]', '[5939, 5939, 38*w - 107]', '[5981, 5981, 23*w - 93]', '[5981, 5981, 47*w - 117]', '[6011, 6011, -84*w - 11]', '[6011, 6011, 84*w - 95]', '[6029, 6029, 71*w - 52]', '[6029, 6029, 19*w - 90]', '[6079, 6079, 79*w - 81]', '[6079, 6079, -79*w - 2]', '[6089, 6089, 41*w - 111]', '[6089, 6089, 29*w - 99]', '[6091, 6091, 21*w - 92]', '[6091, 6091, 71*w - 50]', '[6101, 6101, 82*w - 89]', '[6101, 6101, -82*w - 7]', '[6121, 6121, 37*w - 107]', '[6121, 6121, 33*w - 103]', '[6131, 6131, 81*w - 86]', '[6131, 6131, -81*w - 5]', '[6151, 6151, -80*w - 3]', '[6151, 6151, 80*w - 83]', '[6199, 6199, 15*w - 88]', '[6199, 6199, -73*w + 58]', '[6211, 6211, 26*w - 97]', '[6211, 6211, 45*w - 116]', '[6221, 6221, 81*w - 85]', '[6221, 6221, -81*w - 4]', '[6229, 6229, 27*w - 98]', '[6229, 6229, 44*w - 115]', '[6269, 6269, 13*w - 87]', '[6269, 6269, -74*w + 61]', '[6271, 6271, 30*w - 101]', '[6271, 6271, 41*w - 112]', '[6299, 6299, 37*w - 108]', '[6299, 6299, 34*w - 105]', '[6301, 6301, 35*w - 106]', '[6301, 6301, 36*w - 107]', '[6311, 6311, 23*w - 95]', '[6311, 6311, 49*w - 121]', '[6329, 6329, 86*w - 97]', '[6329, 6329, -86*w - 11]', '[6359, 6359, 25*w - 97]', '[6359, 6359, 47*w - 119]', '[6361, 6361, -74*w + 59]', '[6361, 6361, 15*w - 89]', '[6379, 6379, -85*w - 9]', '[6379, 6379, 85*w - 94]', '[6389, 6389, 73*w - 53]', '[6389, 6389, 20*w - 93]', '[6421, 6421, 73*w - 52]', '[6421, 6421, 21*w - 94]', '[6449, 6449, 83*w - 88]', '[6449, 6449, -83*w - 5]', '[6451, 6451, 73*w - 51]', '[6451, 6451, 22*w - 95]', '[6469, 6469, 82*w - 85]', '[6469, 6469, -82*w - 3]', '[6481, 6481, -85*w - 8]', '[6481, 6481, 85*w - 93]', '[6491, 6491, -87*w - 11]', '[6491, 6491, 87*w - 98]', '[6521, 6521, 19*w - 93]', '[6521, 6521, 74*w - 55]', '[6529, 6529, 25*w - 98]', '[6529, 6529, 48*w - 121]', '[6551, 6551, 26*w - 99]', '[6551, 6551, 47*w - 120]', '[6569, 6569, 16*w - 91]', '[6569, 6569, -75*w + 59]', '[6571, 6571, 27*w - 100]', '[6571, 6571, 46*w - 119]', '[6581, 6581, 85*w - 92]', '[6581, 6581, -85*w - 7]', '[6599, 6599, 87*w - 97]', '[6599, 6599, -87*w - 10]', '[6619, 6619, 30*w - 103]', '[6619, 6619, 43*w - 116]', '[6659, 6659, 35*w - 108]', '[6659, 6659, 38*w - 111]', '[6661, 6661, 36*w - 109]', '[6661, 6661, 37*w - 110]', '[6679, 6679, 85*w - 91]', '[6679, 6679, -85*w - 6]', '[6689, 6689, 75*w - 56]', '[6689, 6689, 19*w - 94]', '[6691, 6691, 15*w - 91]', '[6691, 6691, -76*w + 61]', '[6701, 6701, 49*w - 123]', '[6701, 6701, 25*w - 99]', '[6709, 6709, 89*w - 101]', '[6709, 6709, -89*w - 12]', '[6719, 6719, 83*w - 85]', '[6719, 6719, -83*w - 2]', '[6761, 6761, -77*w + 64]', '[6761, 6761, 13*w - 90]', '[6779, 6779, -76*w + 59]', '[6779, 6779, 17*w - 93]', '[6781, 6781, 45*w - 119]', '[6781, 6781, 29*w - 103]', '[6791, 6791, 22*w - 97]', '[6791, 6791, 75*w - 53]', '[6829, 6829, 41*w - 115]', '[6829, 6829, 33*w - 107]', '[6841, 6841, 35*w - 109]', '[6841, 6841, 39*w - 113]', '[6869, 6869, 85*w - 89]', '[6869, 6869, -85*w - 4]', '[6871, 6871, 88*w - 97]', '[6871, 6871, -88*w - 9]', '[6889, 83, -83]', '[6899, 6899, 49*w - 124]', '[6899, 6899, 26*w - 101]', '[6911, 6911, -87*w - 7]', '[6911, 6911, 87*w - 94]', '[6949, 6949, 17*w - 94]', '[6949, 6949, -77*w + 60]', '[6959, 6959, 29*w - 104]', '[6959, 6959, 46*w - 121]', '[6961, 6961, 85*w - 88]', '[6961, 6961, -85*w - 3]', '[6971, 6971, -84*w - 1]', '[6971, 6971, 84*w - 85]', '[6991, 6991, -77*w + 59]', '[6991, 6991, 18*w - 95]', '[7001, 7001, 32*w - 107]', '[7001, 7001, 43*w - 118]', '[7019, 7019, 34*w - 109]', '[7019, 7019, 41*w - 116]', '[7039, 7039, -89*w - 9]', '[7039, 7039, 89*w - 98]', '[7069, 7069, 77*w - 57]', '[7069, 7069, 20*w - 97]', '[7079, 7079, 88*w - 95]', '[7079, 7079, -88*w - 7]', '[7109, 7109, -87*w - 5]', '[7109, 7109, 87*w - 92]', '[7121, 7121, -78*w + 61]', '[7121, 7121, 17*w - 95]', '[7129, 7129, -86*w - 3]', '[7129, 7129, 86*w - 89]', '[7151, 7151, -79*w + 65]', '[7151, 7151, 14*w - 93]', '[7159, 7159, 91*w - 102]', '[7159, 7159, -91*w - 11]', '[7211, 7211, 35*w - 111]', '[7211, 7211, 41*w - 117]', '[7219, 7219, 39*w - 115]', '[7219, 7219, 37*w - 113]', '[7229, 7229, 52*w - 129]', '[7229, 7229, 25*w - 102]', '[7309, 7309, -86*w - 1]', '[7309, 7309, 86*w - 87]', '[7321, 7321, 48*w - 125]', '[7321, 7321, 29*w - 106]', '[7331, 7331, 92*w - 103]', '[7331, 7331, -92*w - 11]', '[7349, 7349, 78*w - 55]', '[7349, 7349, 23*w - 101]', '[7351, 7351, -89*w - 6]', '[7351, 7351, 89*w - 95]', '[7369, 7369, 32*w - 109]', '[7369, 7369, 45*w - 122]', '[7411, 7411, 38*w - 115]', '[7411, 7411, 39*w - 116]', '[7451, 7451, -89*w - 5]', '[7451, 7451, 89*w - 94]', '[7459, 7459, 21*w - 100]', '[7459, 7459, 79*w - 58]', '[7481, 7481, -87*w - 1]', '[7481, 7481, 87*w - 88]', '[7489, 7489, 91*w - 99]', '[7489, 7489, -91*w - 8]', '[7499, 7499, -81*w + 67]', '[7499, 7499, 14*w - 95]', '[7529, 7529, 23*w - 102]', '[7529, 7529, 79*w - 56]', '[7541, 7541, 31*w - 109]', '[7541, 7541, 47*w - 125]', '[7549, 7549, 89*w - 93]', '[7549, 7549, -89*w - 4]', '[7559, 7559, 19*w - 99]', '[7559, 7559, 80*w - 61]', '[7561, 7561, 24*w - 103]', '[7561, 7561, 79*w - 55]', '[7589, 7589, 43*w - 121]', '[7589, 7589, 35*w - 113]', '[7591, 7591, 54*w - 133]', '[7591, 7591, 25*w - 104]', '[7621, 7621, -95*w - 13]', '[7621, 7621, 95*w - 108]', '[7639, 7639, 21*w - 101]', '[7639, 7639, 80*w - 59]', '[7649, 7649, 17*w - 98]', '[7649, 7649, -81*w + 64]', '[7669, 7669, 28*w - 107]', '[7669, 7669, 51*w - 130]', '[7681, 7681, 94*w - 105]', '[7681, 7681, -94*w - 11]', '[7691, 7691, 50*w - 129]', '[7691, 7691, 29*w - 108]', '[7699, 7699, 91*w - 97]', '[7699, 7699, -91*w - 6]', '[7741, 7741, -95*w - 12]', '[7741, 7741, 95*w - 107]', '[7759, 7759, 46*w - 125]', '[7759, 7759, 33*w - 112]', '[7789, 7789, 43*w - 122]', '[7789, 7789, 36*w - 115]', '[7829, 7829, -82*w + 65]', '[7829, 7829, 17*w - 99]', '[7841, 7841, -93*w - 8]', '[7841, 7841, 93*w - 101]', '[7879, 7879, 29*w - 109]', '[7879, 7879, 51*w - 131]', '[7901, 7901, -91*w - 4]', '[7901, 7901, 91*w - 95]', '[7919, 7919, 49*w - 129]', '[7919, 7919, 31*w - 111]', '[7949, 7949, -93*w - 7]', '[7949, 7949, 93*w - 100]', '[7951, 7951, 47*w - 127]', '[7951, 7951, 33*w - 113]', '[8009, 8009, -90*w - 1]', '[8009, 8009, 90*w - 91]', '[8011, 8011, 17*w - 100]', '[8011, 8011, -83*w + 66]', '[8039, 8039, -96*w - 11]', '[8039, 8039, 96*w - 107]', '[8059, 8059, 18*w - 101]', '[8059, 8059, -83*w + 65]', '[8069, 8069, 52*w - 133]', '[8069, 8069, 29*w - 110]', '[8081, 8081, 82*w - 59]', '[8081, 8081, 23*w - 105]', '[8089, 8089, 95*w - 104]', '[8089, 8089, -95*w - 9]', '[8101, 8101, 97*w - 109]', '[8101, 8101, -97*w - 12]', '[8111, 8111, 50*w - 131]', '[8111, 8111, 31*w - 112]', '[8161, 8161, 98*w - 111]', '[8161, 8161, -98*w - 13]', '[8171, 8171, 35*w - 116]', '[8171, 8171, 46*w - 127]', '[8179, 8179, -92*w - 3]', '[8179, 8179, 92*w - 95]', '[8191, 8191, 83*w - 62]', '[8191, 8191, 21*w - 104]', '[8209, 8209, 27*w - 109]', '[8209, 8209, 55*w - 137]', '[8219, 8219, 14*w - 99]', '[8219, 8219, -85*w + 71]', '[8221, 8221, 97*w - 108]', '[8221, 8221, -97*w - 11]', '[8231, 8231, 83*w - 61]', '[8231, 8231, 22*w - 105]', '[8269, 8269, 23*w - 106]', '[8269, 8269, 83*w - 60]', '[8291, 8291, -84*w + 65]', '[8291, 8291, 19*w - 103]', '[8311, 8311, 95*w - 102]', '[8311, 8311, -95*w - 7]', '[8329, 8329, -85*w + 69]', '[8329, 8329, 16*w - 101]', '[8369, 8369, 35*w - 117]', '[8369, 8369, 47*w - 129]', '[8389, 8389, 37*w - 119]', '[8389, 8389, 45*w - 127]', '[8419, 8419, -95*w - 6]', '[8419, 8419, 95*w - 101]', '[8429, 8429, 55*w - 138]', '[8429, 8429, 28*w - 111]', '[8431, 8431, 18*w - 103]', '[8431, 8431, -85*w + 67]', '[8461, 8461, -86*w + 71]', '[8461, 8461, 15*w - 101]', '[8501, 8501, 31*w - 114]', '[8501, 8501, 52*w - 135]', '[8521, 8521, 51*w - 134]', '[8521, 8521, 32*w - 115]', '[8539, 8539, 33*w - 116]', '[8539, 8539, 50*w - 133]', '[8581, 8581, 47*w - 130]', '[8581, 8581, 36*w - 119]', '[8599, 8599, 38*w - 121]', '[8599, 8599, 45*w - 128]', '[8609, 8609, 43*w - 126]', '[8609, 8609, 40*w - 123]', '[8629, 8629, -95*w - 4]', '[8629, 8629, 95*w - 99]', '[8641, 8641, -98*w - 9]', '[8641, 8641, 98*w - 107]', '[8669, 8669, 19*w - 105]', '[8669, 8669, -86*w + 67]', '[8681, 8681, -97*w - 7]', '[8681, 8681, 97*w - 104]', '[8689, 8689, 85*w - 61]', '[8689, 8689, 24*w - 109]', '[8699, 8699, 53*w - 137]', '[8699, 8699, 31*w - 115]', '[8719, 8719, 101*w - 114]', '[8719, 8719, -101*w - 13]', '[8731, 8731, -95*w - 3]', '[8731, 8731, 95*w - 98]', '[8741, 8741, -94*w - 1]', '[8741, 8741, 94*w - 95]', '[8761, 8761, 86*w - 65]', '[8761, 8761, 21*w - 107]', '[8779, 8779, 100*w - 111]', '[8779, 8779, -100*w - 11]', '[8819, 8819, 43*w - 127]', '[8819, 8819, 41*w - 125]', '[8821, 8821, 28*w - 113]', '[8821, 8821, 57*w - 142]', '[8831, 8831, 95*w - 97]', '[8831, 8831, -95*w - 2]', '[8839, 8839, 15*w - 103]', '[8839, 8839, -88*w + 73]', '[8849, 8849, 29*w - 114]', '[8849, 8849, 56*w - 141]', '[8861, 8861, 19*w - 106]', '[8861, 8861, -87*w + 68]', '[8929, 8929, -95*w - 1]', '[8929, 8929, 95*w - 96]', '[8941, 8941, 33*w - 118]', '[8941, 8941, 52*w - 137]', '[8951, 8951, 17*w - 105]', '[8951, 8951, -88*w + 71]', '[8969, 8969, -101*w - 11]', '[8969, 8969, 101*w - 112]', '[8971, 8971, 103*w - 117]', '[8971, 8971, -103*w - 14]', '[8999, 8999, 87*w - 65]', '[8999, 8999, 22*w - 109]', '[9001, 9001, 48*w - 133]', '[9001, 9001, 37*w - 122]', '[9011, 9011, 38*w - 123]', '[9011, 9011, 47*w - 132]', '[9029, 9029, 41*w - 126]', '[9029, 9029, 44*w - 129]', '[9041, 9041, 23*w - 110]', '[9041, 9041, 87*w - 64]', '[9049, 9049, 57*w - 143]', '[9049, 9049, 29*w - 115]', '[9059, 9059, 99*w - 106]', '[9059, 9059, -99*w - 7]', '[9091, 9091, 101*w - 111]', '[9091, 9091, -101*w - 10]', '[9109, 9109, 97*w - 100]', '[9109, 9109, -97*w - 3]', '[9151, 9151, 88*w - 67]', '[9151, 9151, 21*w - 109]', '[9161, 9161, 102*w - 113]', '[9161, 9161, -102*w - 11]', '[9181, 9181, 35*w - 121]', '[9181, 9181, 51*w - 137]', '[9199, 9199, -89*w + 71]', '[9199, 9199, 18*w - 107]', '[9209, 9209, 49*w - 135]', '[9209, 9209, 37*w - 123]', '[9221, 9221, 59*w - 146]', '[9221, 9221, 28*w - 115]', '[9239, 9239, 88*w - 65]', '[9239, 9239, 23*w - 111]', '[9241, 9241, 45*w - 131]', '[9241, 9241, 41*w - 127]', '[9281, 9281, -99*w - 5]', '[9281, 9281, 99*w - 104]', '[9311, 9311, -97*w - 1]', '[9311, 9311, 97*w - 98]', '[9319, 9319, 25*w - 113]', '[9319, 9319, 88*w - 63]', '[9341, 9341, 17*w - 107]', '[9341, 9341, -90*w + 73]', '[9349, 9349, -89*w + 68]', '[9349, 9349, 21*w - 110]', '[9371, 9371, 34*w - 121]', '[9371, 9371, 53*w - 140]', '[9391, 9391, 27*w - 115]', '[9391, 9391, 88*w - 61]', '[9409, 97, -97]', '[9419, 9419, 50*w - 137]', '[9419, 9419, 37*w - 124]', '[9421, 9421, 106*w - 121]', '[9421, 9421, -106*w - 15]', '[9431, 9431, 38*w - 125]', '[9431, 9431, 49*w - 136]', '[9439, 9439, 89*w - 66]', '[9439, 9439, 23*w - 112]', '[9461, 9461, 43*w - 130]', '[9461, 9461, 44*w - 131]', '[9479, 9479, -103*w - 10]', '[9479, 9479, 103*w - 113]', '[9491, 9491, 105*w - 118]', '[9491, 9491, -105*w - 13]', '[9511, 9511, 31*w - 119]', '[9511, 9511, 57*w - 145]', '[9521, 9521, 25*w - 114]', '[9521, 9521, 89*w - 64]', '[9539, 9539, 17*w - 108]', '[9539, 9539, -91*w + 74]', '[9551, 9551, -104*w - 11]', '[9551, 9551, 104*w - 115]', '[9601, 9601, -103*w - 9]', '[9601, 9601, 103*w - 112]', '[9619, 9619, -107*w - 15]', '[9619, 9619, 107*w - 122]', '[9629, 9629, 61*w - 150]', '[9629, 9629, 28*w - 117]', '[9631, 9631, 37*w - 125]', '[9631, 9631, 51*w - 139]', '[9649, 9649, -91*w + 72]', '[9649, 9649, 19*w - 110]', '[9661, 9661, 60*w - 149]', '[9661, 9661, 29*w - 118]', '[9679, 9679, 45*w - 133]', '[9679, 9679, 43*w - 131]', '[9689, 9689, -106*w - 13]', '[9689, 9689, 106*w - 119]', '[9719, 9719, 58*w - 147]', '[9719, 9719, 31*w - 120]', '[9721, 9721, -103*w - 8]', '[9721, 9721, 103*w - 111]', '[9739, 9739, 17*w - 109]', '[9739, 9739, -92*w + 75]', '[9749, 9749, 105*w - 116]', '[9749, 9749, -105*w - 11]', '[9769, 9769, 56*w - 145]', '[9769, 9769, 33*w - 122]', '[9781, 9781, 101*w - 105]', '[9781, 9781, -101*w - 4]', '[9791, 9791, 34*w - 123]', '[9791, 9791, 55*w - 144]', '[9811, 9811, 54*w - 143]', '[9811, 9811, 35*w - 124]', '[9829, 9829, 36*w - 125]', '[9829, 9829, 53*w - 142]', '[9839, 9839, 103*w - 110]', '[9839, 9839, -103*w - 7]', '[9851, 9851, 19*w - 111]', '[9851, 9851, -92*w + 73]', '[9859, 9859, 38*w - 127]', '[9859, 9859, 51*w - 140]', '[9871, 9871, 50*w - 139]', '[9871, 9871, 39*w - 128]', '[9901, 9901, 44*w - 133]', '[9901, 9901, 45*w - 134]', '[9929, 9929, 31*w - 121]', '[9929, 9929, 59*w - 149]', '[9931, 9931, 25*w - 116]', '[9931, 9931, 91*w - 66]', '[9941, 9941, -93*w + 76]', '[9941, 9941, 17*w - 110]', '[9949, 9949, -106*w - 11]', '[9949, 9949, 106*w - 117]']}
• 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
  gal_is_abelian	boolean
  gal_is_cyclic	boolean
  gal_is_solvable	boolean
  galois_label	text
  galt	integer
  index	integer
  inessentialp	integer[]
  is_galois	boolean
  iso_number	smallint
  label	text
  local_algs	text[]
  monogenic	smallint
  num_ram	smallint
  r2	smallint
  ramps	numeric[]
  rd	double precision
  regulator	numeric
  subfield_mults	integer[]
  subfields	text[]
  torsion_order	smallint
  used_grh	boolean
  dirichlet_group	bigint[]
  frobs	jsonb
  res	jsonb
  torsion_gen	text
  units	jsonb
  unitsGmodule	jsonb
  unitsType	text
  zk	jsonb

  
  {'class_group': [], 'class_number': 1, 'cm': False, 'coeffs': [-1, -1, 1], 'conductor': 5, 'degree': 2, 'dirichlet_group': [1, 4], 'disc_abs': 5, 'disc_rad': 5, 'disc_sign': 1, 'frobs': [[2, [[2, 1]]], [3, [[2, 1]]], [5, [0]], [7, [[2, 1]]], [11, [[1, 2]]], [13, [[2, 1]]], [17, [[2, 1]]], [19, [[1, 2]]], [23, [[2, 1]]], [29, [[1, 2]]], [31, [[1, 2]]], [37, [[2, 1]]], [41, [[1, 2]]], [43, [[2, 1]]], [47, [[2, 1]]], [53, [[2, 1]]], [59, [[1, 2]]]], 'gal_is_abelian': True, 'gal_is_cyclic': True, 'gal_is_solvable': True, 'galois_label': '2T1', 'galt': 1, 'index': 1, 'inessentialp': [], 'is_galois': True, 'iso_number': 1, 'label': '2.2.5.1', 'local_algs': ['5.2.1.1'], 'monogenic': 1, 'num_ram': 1, 'r2': 0, 'ramps': [5], 'rd': 2.2360679775, 'regulator': {'__RealLiteral__': 0, 'data': '0.48121182506', 'prec': 44}, 'res': {}, 'subfield_mults': [], 'subfields': [], 'torsion_gen': '\\( -1 \\)', 'torsion_order': 2, 'units': ['\\( a \\)'], 'used_grh': False, 'zk': ['1', 'a']}