# label = 2.2.24.1-1.1-a
# Base field F = Number Field in a with defining polynomial x^2 - 6
# Quaternion algebra given by i^2 = -1, j^2 = -1
# Order with basis over the integers given by [1, 1/2*a + 1 + (1/2*a + 1)*i, 1/2*a + 1 + (1/2*a + 1)*j, 1/2 + 1/2*i + 1/2*j + 1/2*k]

# Nmax = 10000

[(1/12, [(a + 2)*i, 1/2*a + 3/2 + (-1/4*a - 1/2)*i + (1/4*a + 1/2)*j, 1/2 + 1/2*a*i + 1/2*k]), (-1/12, [1/2*a + 1 + (1/2*a + 1)*i, 1/2*a + 1 + (1/2*a + 1)*j, 1/2 + 1/2*i + 1/2*j + 1/2*k])]
[]

# map: (a |-> -2.45) -> -1, (a |-> 2.45) -> -1
[1, None, [(1, [(2*a - 5, 1/12, 0.2878)]), (4, [(4*a - 10, -1/4, 1.295)]), (25, [(10*a - 25, 1/2, 2.072)]), (48, [(4*a - 12, 1/2, 1.495), (-4*a - 12, 1/2, 1.495)]), (49, [(-7, 1/2, 1.480)]), (57, [(2*a - 9, -1/2, 1.372), (-2*a - 9, -1/2, 1.372)]), (73, [(-6*a - 17, 0, 0), (6*a - 17, 0, 0)]), (97, [(12*a - 31, -1/2, 1.052), (-12*a - 31, -1/2, 1.052)]), (100, [(-20*a - 50, -1/2, 1.036)]), (121, [(-11, -1/2, 0.9418)]), (129, [(4*a - 15, 1/2, 0.9121), (-4*a - 15, 1/2, 0.9121)]), (145, [(2*a - 13, 1/2, 0.8604), (-2*a - 13, 1/2, 0.8604), (8*a - 23, -1/2, 0.8604), (-8*a - 23, -1/2, 0.8604)]), (160, [(4*a - 16, -1, 3.276), (-4*a - 16, -1, 3.276), (-12*a - 32, 0, 0), (12*a - 32, 0, 0)]), (169, [(-26*a - 65, 0, 0)]), (193, [(-14*a - 37, -1, 2.983), (14*a - 37, -1, 2.983)]), (196, [(-14, 1/2, 0.7400)]), (201, [(-20*a - 51, -1/2, 0.7307), (20*a - 51, -1/2, 0.7307)]), (228, [(4*a - 18, -1/2, 0.6861), (-4*a - 18, -1/2, 0.6861)]), (241, [(-10*a - 29, 0, 0), (10*a - 29, 0, 0)]), (265, [(2*a - 17, 1/2, 0.6364), (-2*a - 17, 1/2, 0.6364), (4*a - 19, 1/2, 0.6364), (-4*a - 19, 1/2, 0.6364)]), (289, [(34*a - 85, 1, 2.438)]), (292, [(12*a - 34, 1, 2.425), (-12*a - 34, 1, 2.425)]), (304, [(4*a - 20, -1/2, 0.5942), (-4*a - 20, -1/2, 0.5942), (-20*a - 52, 1/2, 0.5942), (20*a - 52, 1/2, 0.5942)]), (313, [(-16*a - 43, 1/2, 0.5856), (16*a - 43, 1/2, 0.5856)]), (337, [(28*a - 71, 1/2, 0.5643), (-28*a - 71, 1/2, 0.5643)]), (345, [(8*a - 27, 1, 2.231), (-8*a - 27, 1, 2.231), (-22*a - 57, 0, 0), (22*a - 57, 0, 0)]), (361, [(-19, -1/2, 0.5453)]), (388, [(-24*a - 62, 1/2, 0.5259), (24*a - 62, 1/2, 0.5259)]), (409, [(-6*a - 25, 0, 0), (6*a - 25, 0, 0)]), (417, [(2*a - 21, -1/2, 0.5073), (-2*a - 21, -1/2, 0.5073)]), (433, [(4*a - 23, -1/2, 0.4979), (-4*a - 23, -1/2, 0.4979)]), (457, [(-18*a - 49, -1, 1.938), (18*a - 49, -1, 1.938)]), (480, [(4*a - 24, 1, 1.891), (-4*a - 24, 1, 1.891), (28*a - 72, -1, 1.891), (-28*a - 72, -1, 1.891)]), (484, [(-22, -1/2, 0.4709)]), (489, [(10*a - 33, 1/2, 0.4685), (-10*a - 33, 1/2, 0.4685)]), (505, [(-14*a - 41, 1/2, 0.4610), (14*a - 41, 1/2, 0.4610), (36*a - 91, 1/2, 0.4610), (-36*a - 91, 1/2, 0.4610)]), (516, [(8*a - 30, -1/2, 0.4561), (-8*a - 30, -1/2, 0.4561)]), (529, [(-23, 0, 0)]), (577, [(8*a - 31, -1/2, 0.4313), (-8*a - 31, -1/2, 0.4313)]), (580, [(4*a - 26, 1/2, 0.4302), (-4*a - 26, 1/2, 0.4302), (-16*a - 46, -1/2, 0.4302), (16*a - 46, -1/2, 0.4302)]), (601, [(-2*a - 25, 0, 0), (2*a - 25, 0, 0)]), (633, [(4*a - 27, -1/2, 0.4118), (-4*a - 27, -1/2, 0.4118)]), (673, [(-16*a - 47, 1/2, 0.3993), (16*a - 47, 1/2, 0.3993)]), (676, [(52*a - 130, -2, 6.375)]), (688, [(4*a - 28, 3/2, 3.555), (-4*a - 28, 3/2, 3.555), (36*a - 92, -1/2, 0.3950), (-36*a - 92, -1/2, 0.3950)]), (705, [(26*a - 69, 1, 1.561), (-26*a - 69, 1, 1.561), (-44*a - 111, 0, 0), (44*a - 111, 0, 0)]), (736, [(12*a - 40, 1, 1.527), (-12*a - 40, 1, 1.527), (-20*a - 56, 1, 1.527), (20*a - 56, 1, 1.527)]), (745, [(32*a - 83, -1/2, 0.3796), (-32*a - 83, -1/2, 0.3796), (-38*a - 97, 1/2, 0.3796), (38*a - 97, 1/2, 0.3796)]), (769, [(10*a - 37, -1, 1.494), (-10*a - 37, -1, 1.494)]), (772, [(-28*a - 74, 0, 0), (28*a - 74, 0, 0)]), (804, [(40*a - 102, -1/2, 0.3654), (-40*a - 102, -1/2, 0.3654)]), (817, [(2*a - 29, 1/2, 0.3624), (-2*a - 29, 1/2, 0.3624), (-22*a - 61, -1/2, 0.3624), (22*a - 61, -1/2, 0.3624)]), (841, [(58*a - 145, 3/2, 3.215)]), (849, [(-14*a - 45, 1/2, 0.3556), (14*a - 45, 1/2, 0.3556)]), (865, [(4*a - 31, -1/2, 0.3523), (-4*a - 31, -1/2, 0.3523), (-18*a - 53, -1/2, 0.3523), (18*a - 53, -1/2, 0.3523)]), (921, [(28*a - 75, -1/2, 0.3414), (-28*a - 75, -1/2, 0.3414)]), (928, [(4*a - 32, -1, 1.360), (-4*a - 32, -1, 1.360), (-44*a - 112, 0, 0), (44*a - 112, 0, 0)]), (937, [(52*a - 131, 1/2, 0.3384), (-52*a - 131, 1/2, 0.3384)]), (961, [(-31, 3/2, 3.008)]), (964, [(-20*a - 58, 1, 1.335), (20*a - 58, 1, 1.335)]), (985, [(-12*a - 43, -3/2, 2.971), (12*a - 43, -3/2, 2.971), (34*a - 89, -1/2, 0.3301), (-34*a - 89, -1/2, 0.3301)]), (993, [(-46*a - 117, -1/2, 0.3288), (46*a - 117, -1/2, 0.3288)]), (1009, [(-40*a - 103, 1/2, 0.3261), (40*a - 103, 1/2, 0.3261)]), (1033, [(-24*a - 67, -1/2, 0.3223), (24*a - 67, -1/2, 0.3223)]), (1060, [(4*a - 34, -1/2, 0.3182), (-4*a - 34, -1/2, 0.3182), (8*a - 38, -1/2, 0.3182), (-8*a - 38, -1/2, 0.3182)]), (1065, [(2*a - 33, -1, 1.270), (-2*a - 33, -1, 1.270), (-16*a - 51, 1, 1.270), (16*a - 51, 1, 1.270)]), (1072, [(12*a - 44, 1/2, 0.3164), (-12*a - 44, 1/2, 0.3164), (28*a - 76, -3/2, 2.848), (-28*a - 76, -3/2, 2.848)]), (1081, [(-10*a - 41, 0, 0), (10*a - 41, 0, 0), (-20*a - 59, 0, 0), (20*a - 59, 0, 0)]), (1129, [(4*a - 35, 1/2, 0.3083), (-4*a - 35, 1/2, 0.3083)]), (1137, [(8*a - 39, 1/2, 0.3072), (-8*a - 39, 1/2, 0.3072)]), (1153, [(6*a - 37, 1, 1.220), (-6*a - 37, 1, 1.220)]), (1156, [(-68*a - 170, -1, 1.219)]), (1200, [(-20*a - 60, -1, 1.196), (20*a - 60, -1, 1.196)]), (1201, [(60*a - 151, -1/2, 0.2989), (-60*a - 151, -1/2, 0.2989)]), (1225, [(-35, -1, 1.184)]), (1249, [(36*a - 95, 1/2, 0.2931), (-36*a - 95, 1/2, 0.2931)]), (1252, [(32*a - 86, -1/2, 0.2928), (-32*a - 86, -1/2, 0.2928)]), (1273, [(26*a - 73, -1/2, 0.2904), (-26*a - 73, -1/2, 0.2904), (54*a - 137, -1/2, 0.2904), (-54*a - 137, -1/2, 0.2904)]), (1297, [(-42*a - 109, 0, 0), (42*a - 109, 0, 0)]), (1321, [(-22*a - 65, -1, 1.140), (22*a - 65, -1, 1.140)]), (1345, [(2*a - 37, -3/2, 2.542), (-2*a - 37, -3/2, 2.542), (12*a - 47, -1/2, 0.2825), (-12*a - 47, -1/2, 0.2825)]), (1348, [(56*a - 142, 1/2, 0.2822), (-56*a - 142, 1/2, 0.2822)]), (1369, [(-74*a - 185, 1, 1.120)]), (1380, [(-16*a - 54, -1, 1.116), (16*a - 54, -1, 1.116), (-44*a - 114, 2, 4.462), (44*a - 114, 2, 4.462)]), (1425, [(10*a - 45, -1, 1.098), (-10*a - 45, -1, 1.098)]), (1444, [(-38, 3/2, 2.454)]), (1465, [(6*a - 41, 1/2, 0.2707), (-6*a - 41, 1/2, 0.2707), (8*a - 43, 3/2, 2.436), (-8*a - 43, 3/2, 2.436)]), (1489, [(-16*a - 55, -3/2, 2.416), (16*a - 55, -3/2, 2.416)]), (1497, [(-68*a - 171, 1/2, 0.2678), (68*a - 171, 1/2, 0.2678)]), (1504, [(-4*a - 40, 0, 0), (4*a - 40, 0, 0), (-60*a - 152, 0, 0), (60*a - 152, 0, 0)]), (1537, [(28*a - 79, 3/2, 2.378), (-28*a - 79, 3/2, 2.378), (-38*a - 101, -1/2, 0.2643), (38*a - 101, -1/2, 0.2643)]), (1569, [(-20*a - 63, -3/2, 2.354), (20*a - 63, -3/2, 2.354)]), (1585, [(-24*a - 71, 1/2, 0.2602), (24*a - 71, 1/2, 0.2602), (62*a - 157, -3/2, 2.342), (-62*a - 157, -3/2, 2.342)]), (1609, [(-44*a - 115, 1/2, 0.2583), (44*a - 115, 1/2, 0.2583)]), (1633, [(56*a - 143, -1, 1.025), (-56*a - 143, -1, 1.025), (-14*a - 53, 0, 0), (14*a - 53, 0, 0)]), (1636, [(-12*a - 50, 0, 0), (12*a - 50, 0, 0)]), (1641, [(50*a - 129, 1/2, 0.2557), (-50*a - 129, 1/2, 0.2557)]), (1657, [(-2*a - 41, 0, 0), (2*a - 41, 0, 0)]), (1668, [(4*a - 42, -3/2, 2.283), (-4*a - 42, -3/2, 2.283)]), (1681, [(82*a - 205, 1, 1.011)]), (1696, [(-20*a - 64, 2, 4.025), (20*a - 64, 2, 4.025), (28*a - 80, 1, 1.006), (-28*a - 80, 1, 1.006)]), (1713, [(34*a - 93, 1/2, 0.2503), (-34*a - 93, 1/2, 0.2503)]), (1732, [(8*a - 46, 1/2, 0.2489), (-8*a - 46, 1/2, 0.2489)]), (1753, [(4*a - 43, -1/2, 0.2474), (-4*a - 43, -1/2, 0.2474)]), (1777, [(18*a - 61, 1, 0.9831), (-18*a - 61, 1, 0.9831)]), (1801, [(10*a - 49, -1, 0.9765), (-10*a - 49, -1, 0.9765)]), (1825, [(30*a - 85, 1, 0.9700), (-30*a - 85, 1, 0.9700)]), (1828, [(36*a - 98, -1, 0.9692), (-36*a - 98, -1, 0.9692)]), (1840, [(12*a - 52, -1, 0.9661), (-12*a - 52, -1, 0.9661), (-44*a - 116, 1, 0.9661), (44*a - 116, 1, 0.9661), (-4*a - 44, 0, 0), (4*a - 44, 0, 0), (-68*a - 172, 0, 0), (68*a - 172, 0, 0)]), (1849, [(-43, -1/2, 0.2409)]), (1857, [(-22*a - 69, 1/2, 0.2404), (22*a - 69, 1/2, 0.2404)]), (1873, [(26*a - 77, 1, 0.9575), (-26*a - 77, 1, 0.9575)]), (1929, [(-70*a - 177, -1/2, 0.2359), (70*a - 177, -1/2, 0.2359)]), (1945, [(-16*a - 59, -1/2, 0.2349), (16*a - 59, -1/2, 0.2349), (-46*a - 121, -1/2, 0.2349), (46*a - 121, -1/2, 0.2349)]), (1956, [(-20*a - 66, 1/2, 0.2342), (20*a - 66, 1/2, 0.2342)]), (1993, [(-64*a - 163, 3/2, 2.089), (64*a - 163, 3/2, 2.089)]), (2001, [(2*a - 45, 1, 0.9264), (-2*a - 45, 1, 0.9264), (52*a - 135, -1, 0.9264), (-52*a - 135, -1, 0.9264)]), (2017, [(58*a - 149, -1, 0.9227), (-58*a - 149, -1, 0.9227)]), (2020, [(28*a - 82, 3/2, 2.075), (-28*a - 82, 3/2, 2.075), (-72*a - 182, 3/2, 2.075), (72*a - 182, 3/2, 2.075)]), (2073, [(-14*a - 57, 3/2, 2.048), (14*a - 57, 3/2, 2.048)]), (2089, [(-20*a - 67, -1/2, 0.2267), (20*a - 67, -1/2, 0.2267)]), (2113, [(4*a - 47, 1/2, 0.2254), (-4*a - 47, 1/2, 0.2254)]), (2116, [(-46, -2, 3.603)]), (2137, [(32*a - 91, -3/2, 2.017), (-32*a - 91, -3/2, 2.017)]), (2161, [(12*a - 55, 3/2, 2.006), (-12*a - 55, 3/2, 2.006)]), (2185, [(6*a - 49, -2, 3.546), (-6*a - 49, -2, 3.546), (28*a - 83, 1, 0.8865), (-28*a - 83, 1, 0.8865), (-42*a - 113, -1, 0.8865), (42*a - 113, -1, 0.8865), (84*a - 211, -2, 3.546), (-84*a - 211, -2, 3.546)]), (2208, [(-4*a - 48, 0, 0), (4*a - 48, 0, 0), (-76*a - 192, 0, 0), (76*a - 192, 0, 0)]), (2209, [(-47, -1, 0.8817)]), (2217, [(8*a - 51, 1/2, 0.2200), (-8*a - 51, 1/2, 0.2200)]), (2224, [(-20*a - 68, -1/2, 0.2197), (20*a - 68, -1/2, 0.2197), (36*a - 100, 1/2, 0.2197), (-36*a - 100, 1/2, 0.2197)]), (2272, [(12*a - 56, -1, 0.8694), (-12*a - 56, -1, 0.8694), (52*a - 136, -1, 0.8694), (-52*a - 136, -1, 0.8694)]), (2281, [(-18*a - 65, 0, 0), (18*a - 65, 0, 0)]), (2305, [(-48*a - 127, -1/2, 0.2158), (48*a - 127, -1/2, 0.2158), (78*a - 197, 1/2, 0.2158), (-78*a - 197, 1/2, 0.2158)]), (2308, [(-16*a - 62, -1/2, 0.2156), (16*a - 62, -1/2, 0.2156)]), (2352, [(-28*a - 84, 0, 0), (28*a - 84, 0, 0)]), (2361, [(-38*a - 105, 1/2, 0.2132), (38*a - 105, 1/2, 0.2132)]), (2377, [(2*a - 49, 2, 3.400), (-2*a - 49, 2, 3.400)]), (2404, [(4*a - 50, 1, 0.8452), (-4*a - 50, 1, 0.8452)]), (2425, [(-60*a - 155, 0, 0), (60*a - 155, 0, 0)]), (2433, [(-16*a - 63, -1/2, 0.2100), (16*a - 63, -1/2, 0.2100)]), (2473, [(34*a - 97, 1, 0.8333), (-34*a - 97, 1, 0.8333)]), (2505, [(4*a - 51, -1, 0.8280), (-4*a - 51, -1, 0.8280), (-26*a - 81, 0, 0), (26*a - 81, 0, 0)]), (2521, [(30*a - 89, -1, 0.8253), (-30*a - 89, -1, 0.8253)]), (2532, [(8*a - 54, 3/2, 1.853), (-8*a - 54, 3/2, 1.853)]), (2545, [(-14*a - 61, 3/2, 1.848), (14*a - 61, 3/2, 1.848), (-44*a - 119, -1/2, 0.2054), (44*a - 119, -1/2, 0.2054)]), (2577, [(-92*a - 231, 3/2, 1.837), (92*a - 231, 3/2, 1.837)]), (2593, [(-6*a - 53, 0, 0), (6*a - 53, 0, 0)]), (2608, [(4*a - 52, -1/2, 0.2029), (-4*a - 52, -1/2, 0.2029), (84*a - 212, -3/2, 1.826), (-84*a - 212, -3/2, 1.826)]), (2617, [(12*a - 59, 1/2, 0.2025), (-12*a - 59, 1/2, 0.2025)]), (2641, [(8*a - 55, -1/2, 0.2016), (-8*a - 55, -1/2, 0.2016), (-20*a - 71, 1/2, 0.2016), (20*a - 71, 1/2, 0.2016)]), (2649, [(10*a - 57, -1/2, 0.2013), (-10*a - 57, -1/2, 0.2013)]), (2689, [(50*a - 133, 1, 0.7991), (-50*a - 133, 1, 0.7991)]), (2692, [(32*a - 94, -5/2, 4.992), (-32*a - 94, -5/2, 4.992)]), (2713, [(-86*a - 217, 0, 0), (86*a - 217, 0, 0)]), (2721, [(-40*a - 111, -1/2, 0.1986), (40*a - 111, -1/2, 0.1986)]), (2784, [(-20*a - 72, -1, 0.7854), (20*a - 72, -1, 0.7854), (-44*a - 120, -1, 0.7854), (44*a - 120, -1, 0.7854)]), (2785, [(2*a - 53, 1/2, 0.1963), (-2*a - 53, 1/2, 0.1963), (-24*a - 79, 1/2, 0.1963), (24*a - 79, 1/2, 0.1963)]), (2793, [(-56*a - 147, -1, 0.7841), (56*a - 147, -1, 0.7841)]), (2809, [(106*a - 265, 3/2, 1.759)]), (2820, [(52*a - 138, 1, 0.7804), (-52*a - 138, 1, 0.7804), (-88*a - 222, -2, 3.121), (88*a - 222, -2, 3.121)]), (2833, [(36*a - 103, 3/2, 1.752), (-36*a - 103, 3/2, 1.752)]), (2857, [(62*a - 161, 1, 0.7753), (-62*a - 161, 1, 0.7753)]), (2865, [(28*a - 87, -1, 0.7742), (-28*a - 87, -1, 0.7742), (-74*a - 189, -1, 0.7742), (74*a - 189, -1, 0.7742)]), (2881, [(32*a - 95, 1/2, 0.1930), (-32*a - 95, 1/2, 0.1930), (-68*a - 175, -3/2, 1.737), (68*a - 175, -3/2, 1.737)]), (2929, [(4*a - 55, -1/2, 0.1914), (-4*a - 55, -1/2, 0.1914), (-46*a - 125, -1/2, 0.1914), (46*a - 125, -1/2, 0.1914)]), (2953, [(-16*a - 67, -3/2, 1.716), (16*a - 67, -3/2, 1.716)]), (2980, [(-64*a - 166, 1/2, 0.1898), (64*a - 166, 1/2, 0.1898), (76*a - 194, 3/2, 1.708), (-76*a - 194, 3/2, 1.708)]), (3001, [(100*a - 251, -1/2, 0.1891), (-100*a - 251, -1/2, 0.1891)]), (3025, [(-55, 1, 0.7535)]), (3040, [(4*a - 56, 1, 0.7516), (-4*a - 56, 1, 0.7516), (28*a - 88, 1, 0.7516), (-28*a - 88, 1, 0.7516), (36*a - 104, -1, 0.7516), (-36*a - 104, -1, 0.7516), (-92*a - 232, 3, 6.764), (92*a - 232, 3, 6.764)]), (3049, [(-14*a - 65, -1, 0.7505), (14*a - 65, -1, 0.7505)]), (3076, [(-20*a - 74, 0, 0), (20*a - 74, 0, 0)]), (3097, [(8*a - 59, -1/2, 0.1862), (-8*a - 59, -1/2, 0.1862), (52*a - 139, 1/2, 0.1862), (-52*a - 139, 1/2, 0.1862)]), (3121, [(-10*a - 61, 0, 0), (10*a - 61, 0, 0)]), (3153, [(-94*a - 237, 1/2, 0.1845), (94*a - 237, 1/2, 0.1845)]), (3169, [(26*a - 85, -2, 2.945), (-26*a - 85, -2, 2.945)]), (3217, [(-38*a - 109, 2, 2.922), (38*a - 109, 2, 2.922)]), (3225, [(-20*a - 75, -1, 0.7297), (20*a - 75, -1, 0.7297)]), (3232, [(12*a - 64, -2, 2.916), (-12*a - 64, -2, 2.916), (-68*a - 176, 1, 0.7289), (68*a - 176, 1, 0.7289)]), (3265, [(34*a - 101, -1/2, 0.1813), (-34*a - 101, -1/2, 0.1813), (-88*a - 223, 1/2, 0.1813), (88*a - 223, 1/2, 0.1813)]), (3268, [(4*a - 58, 3/2, 1.631), (-4*a - 58, 3/2, 1.631), (-44*a - 122, 1/2, 0.1812), (44*a - 122, 1/2, 0.1812)]), (3313, [(-64*a - 167, 1/2, 0.1800), (64*a - 167, 1/2, 0.1800)]), (3337, [(-48*a - 131, 1, 0.7174), (48*a - 131, 1, 0.7174), (-82*a - 209, 0, 0), (82*a - 209, 0, 0)]), (3361, [(-70*a - 181, 0, 0), (70*a - 181, 0, 0)]), (3364, [(-116*a - 290, -3/2, 1.608)]), (3369, [(76*a - 195, -1/2, 0.1785), (-76*a - 195, -1/2, 0.1785)]), (3376, [(-20*a - 76, -3/2, 1.605), (20*a - 76, -3/2, 1.605), (52*a - 140, -3/2, 1.605), (-52*a - 140, -3/2, 1.605)]), (3385, [(4*a - 59, 1/2, 0.1781), (-4*a - 59, 1/2, 0.1781), (-18*a - 73, 1/2, 0.1781), (18*a - 73, 1/2, 0.1781)]), (3396, [(28*a - 90, 3/2, 1.600), (-28*a - 90, 3/2, 1.600)]), (3433, [(-24*a - 83, 1/2, 0.1768), (24*a - 83, 1/2, 0.1768)]), (3457, [(108*a - 271, -3/2, 1.586), (-108*a - 271, -3/2, 1.586)]), (3460, [(8*a - 62, -1/2, 0.1761), (-8*a - 62, -1/2, 0.1761), (36*a - 106, -5/2, 4.403), (-36*a - 106, -5/2, 4.403)]), (3481, [(-59, -3/2, 1.580)]), (3504, [(100*a - 252, 2, 2.800), (-100*a - 252, 2, 2.800), (-4*a - 60, 0, 0), (4*a - 60, 0, 0)]), (3505, [(6*a - 61, 3/2, 1.575), (-6*a - 61, 3/2, 1.575), (-16*a - 71, -1/2, 0.1750), (16*a - 71, -1/2, 0.1750)]), (3513, [(-44*a - 123, 1/2, 0.1748), (44*a - 123, 1/2, 0.1748)]), (3529, [(54*a - 145, 1, 0.6976), (-54*a - 145, 1, 0.6976)]), (3577, [(28*a - 91, -1, 0.6929), (-28*a - 91, -1, 0.6929)]), (3585, [(8*a - 63, 1, 0.6921), (-8*a - 63, 1, 0.6921), (-14*a - 69, -1, 0.6921), (14*a - 69, -1, 0.6921)]), (3657, [(-22*a - 81, 1, 0.6853), (22*a - 81, 1, 0.6853), (-32*a - 99, 0, 0), (32*a - 99, 0, 0)]), (3673, [(36*a - 107, 1/2, 0.1709), (-36*a - 107, 1/2, 0.1709)]), (3684, [(56*a - 150, -1/2, 0.1707), (-56*a - 150, -1/2, 0.1707)]), (3697, [(2*a - 61, 1, 0.6815), (-2*a - 61, 1, 0.6815)]), (3721, [(-122*a - 305, 1, 0.6793)]), (3748, [(104*a - 262, -3/2, 1.523), (-104*a - 262, -3/2, 1.523)]), (3760, [(12*a - 68, 2, 2.703), (-12*a - 68, 2, 2.703), (28*a - 92, 1, 0.6758), (-28*a - 92, 1, 0.6758), (-44*a - 124, -3, 6.082), (44*a - 124, -3, 6.082), (76*a - 196, 2, 2.703), (-76*a - 196, 2, 2.703)]), (3769, [(50*a - 137, 1, 0.6750), (-50*a - 137, 1, 0.6750)]), (3793, [(-66*a - 173, 0, 0), (66*a - 173, 0, 0)]), (3841, [(-20*a - 79, 1, 0.6687), (20*a - 79, 1, 0.6687), (-90*a - 229, 0, 0), (90*a - 229, 0, 0)]), (3844, [(-62, -1/2, 0.1671)]), (3865, [(26*a - 89, -3/2, 1.500), (-26*a - 89, -3/2, 1.500), (-72*a - 187, -1/2, 0.1666), (72*a - 187, -1/2, 0.1666)]), (3873, [(4*a - 63, 1/2, 0.1665), (-4*a - 63, 1/2, 0.1665)]), (3889, [(84*a - 215, 1/2, 0.1661), (-84*a - 215, 1/2, 0.1661)]), (3940, [(-24*a - 86, -1/2, 0.1650), (24*a - 86, -1/2, 0.1650), (-68*a - 178, -3/2, 1.485), (68*a - 178, -3/2, 1.485)]), (3945, [(-46*a - 129, 2, 2.639), (46*a - 129, 2, 2.639), (-116*a - 291, -1, 0.6598), (116*a - 291, -1, 0.6598)]), (3972, [(-92*a - 234, 1/2, 0.1644), (92*a - 234, 1/2, 0.1644)]), (3985, [(-18*a - 77, -1/2, 0.1641), (18*a - 77, -1/2, 0.1641), (56*a - 151, 3/2, 1.477), (-56*a - 151, 3/2, 1.477)]), (4009, [(6*a - 65, 1/2, 0.1636), (-6*a - 65, 1/2, 0.1636), (30*a - 97, -3/2, 1.473), (-30*a - 97, -3/2, 1.473)]), (4036, [(80*a - 206, -1/2, 0.1631), (-80*a - 206, -1/2, 0.1631)]), (4057, [(-42*a - 121, -1, 0.6506), (42*a - 121, -1, 0.6506)]), (4089, [(-16*a - 75, 2, 2.592), (16*a - 75, 2, 2.592), (34*a - 105, 1, 0.6481), (-34*a - 105, 1, 0.6481)]), (4105, [(8*a - 67, -1/2, 0.1617), (-8*a - 67, -1/2, 0.1617), (-38*a - 113, 1/2, 0.1617), (38*a - 113, 1/2, 0.1617)]), (4129, [(-110*a - 277, 0, 0), (110*a - 277, 0, 0)]), (4132, [(-48*a - 134, -1/2, 0.1612), (48*a - 134, -1/2, 0.1612)]), (4153, [(-14*a - 73, 0, 0), (14*a - 73, 0, 0)]), (4161, [(10*a - 69, 1, 0.6424), (-10*a - 69, 1, 0.6424), (62*a - 165, -1, 0.6424), (-62*a - 165, -1, 0.6424)]), (4177, [(12*a - 71, 1/2, 0.1603), (-12*a - 71, 1/2, 0.1603)]), (4201, [(2*a - 65, -1, 0.6394), (-2*a - 65, -1, 0.6394)]), (4225, [(130*a - 325, 2, 2.550)]), (4260, [(4*a - 66, 1, 0.6349), (-4*a - 66, 1, 0.6349), (32*a - 102, 3, 5.714), (-32*a - 102, 3, 5.714)]), (4273, [(104*a - 263, -1/2, 0.1585), (-104*a - 263, -1/2, 0.1585)]), (4297, [(-68*a - 179, -1/2, 0.1580), (68*a - 179, -1/2, 0.1580)]), (4321, [(-22*a - 85, -3/2, 1.418), (22*a - 85, -3/2, 1.418), (28*a - 95, 1/2, 0.1576), (-28*a - 95, 1/2, 0.1576)]), (4324, [(-20*a - 82, 2, 2.521), (20*a - 82, 2, 2.521), (-40*a - 118, 2, 2.521), (40*a - 118, 2, 2.521)]), (4377, [(-98*a - 249, 1/2, 0.1566), (98*a - 249, 1/2, 0.1566)]), (4393, [(4*a - 67, 2, 2.501), (-4*a - 67, 2, 2.501), (-74*a - 193, -2, 2.501), (74*a - 193, -2, 2.501)]), (4441, [(-92*a - 235, -3/2, 1.399), (92*a - 235, -3/2, 1.399)]), (4449, [(80*a - 207, 3/2, 1.398), (-80*a - 207, 3/2, 1.398)]), (4465, [(32*a - 103, 1, 0.6202), (-32*a - 103, 1, 0.6202), (58*a - 157, -1, 0.6202), (-58*a - 157, -1, 0.6202), (-86*a - 221, 0, 0), (86*a - 221, 0, 0), (-124*a - 311, 0, 0), (124*a - 311, 0, 0)]), (4489, [(-67, -5/2, 3.866)]), (4512, [(28*a - 96, 2, 2.468), (-28*a - 96, 2, 2.468), (-52*a - 144, 0, 0), (52*a - 144, 0, 0)]), (4513, [(-44*a - 127, 1/2, 0.1542), (44*a - 127, 1/2, 0.1542)]), (4516, [(8*a - 70, -5/2, 3.854), (-8*a - 70, -5/2, 3.854)]), (4528, [(4*a - 68, -3/2, 1.386), (-4*a - 68, -3/2, 1.386), (-116*a - 292, -1/2, 0.1540), (116*a - 292, -1/2, 0.1540)]), (4548, [(-16*a - 78, 3/2, 1.383), (16*a - 78, 3/2, 1.383)]), (4561, [(-40*a - 119, 1/2, 0.1534), (40*a - 119, 1/2, 0.1534)]), (4593, [(26*a - 93, -3/2, 1.376), (-26*a - 93, -3/2, 1.376)]), (4612, [(12*a - 74, -1, 0.6102), (-12*a - 74, -1, 0.6102)]), (4656, [(-20*a - 84, -2, 2.429), (20*a - 84, -2, 2.429), (-68*a - 180, 0, 0), (68*a - 180, 0, 0)]), (4657, [(8*a - 71, 3/2, 1.366), (-8*a - 71, 3/2, 1.366)]), (4665, [(-64*a - 171, 2, 2.427), (64*a - 171, 2, 2.427), (-118*a - 297, 0, 0), (118*a - 297, 0, 0)]), (4705, [(-16*a - 79, -1/2, 0.1510), (16*a - 79, -1/2, 0.1510), (54*a - 149, 3/2, 1.359), (-54*a - 149, 3/2, 1.359)]), (4729, [(10*a - 73, 1, 0.6026), (-10*a - 73, 1, 0.6026)]), (4737, [(2*a - 69, -3/2, 1.355), (-2*a - 69, -3/2, 1.355)]), (4753, [(-14*a - 77, -1, 0.6011), (14*a - 77, -1, 0.6011)]), (4768, [(36*a - 112, -1, 0.6001), (-36*a - 112, -1, 0.6001), (-44*a - 128, 2, 2.401), (44*a - 128, 2, 2.401)]), (4801, [(30*a - 101, 1, 0.5981), (-30*a - 101, 1, 0.5981)]), (4804, [(-120*a - 302, -1/2, 0.1495), (120*a - 302, -1/2, 0.1495)]), (4825, [(-70*a - 185, 1, 0.5966), (70*a - 185, 1, 0.5966)]), (4881, [(50*a - 141, -1/2, 0.1483), (-50*a - 141, -1/2, 0.1483)]), (4900, [(-70, 1, 0.5920)]), (4912, [(12*a - 76, 5/2, 3.695), (-12*a - 76, 5/2, 3.695), (-92*a - 236, 1/2, 0.1478), (92*a - 236, 1/2, 0.1478)]), (4945, [(34*a - 109, -1, 0.5893), (-34*a - 109, -1, 0.5893), (76*a - 199, -1, 0.5893), (-76*a - 199, -1, 0.5893), (-4*a - 71, 0, 0), (4*a - 71, 0, 0), (-106*a - 269, 0, 0), (106*a - 269, 0, 0)]), (4969, [(60*a - 163, 3/2, 1.323), (-60*a - 163, 3/2, 1.323)]), (4993, [(-46*a - 133, 2, 2.346), (46*a - 133, 2, 2.346)]), (4996, [(-72*a - 190, 1/2, 0.1466), (72*a - 190, 1/2, 0.1466)]), (5017, [(-22*a - 89, 1/2, 0.1463), (22*a - 89, 1/2, 0.1463), (132*a - 331, 5/2, 3.657), (-132*a - 331, 5/2, 3.657)]), (5025, [(100*a - 255, 1, 0.5846), (-100*a - 255, 1, 0.5846)]), (5041, [(-71, 0, 0)]), (5065, [(-88*a - 227, 1/2, 0.1456), (88*a - 227, 1/2, 0.1456), (-94*a - 241, -5/2, 3.639), (94*a - 241, -5/2, 3.639)]), (5088, [(4*a - 72, 1, 0.5810), (-4*a - 72, 1, 0.5810), (-124*a - 312, -1, 0.5810), (124*a - 312, -1, 0.5810)]), (5092, [(52*a - 146, -1/2, 0.1452), (-52*a - 146, -1/2, 0.1452), (-108*a - 274, 3/2, 1.307), (108*a - 274, 3/2, 1.307)]), (5097, [(28*a - 99, -3/2, 1.306), (-28*a - 99, -3/2, 1.306)]), (5113, [(-6*a - 73, 0, 0), (6*a - 73, 0, 0)]), (5169, [(-20*a - 87, 1/2, 0.1441), (20*a - 87, 1/2, 0.1441)]), (5188, [(84*a - 218, 1, 0.5753), (-84*a - 218, 1, 0.5753)]), (5209, [(56*a - 155, -1/2, 0.1435), (-56*a - 155, -1/2, 0.1435)]), (5233, [(-126*a - 317, -1, 0.5729), (126*a - 317, -1, 0.5729)]), (5241, [(8*a - 75, 1/2, 0.1431), (-8*a - 75, 1/2, 0.1431)]), (5281, [(-18*a - 85, 0, 0), (18*a - 85, 0, 0)]), (5284, [(-44*a - 130, -1, 0.5701), (44*a - 130, -1, 0.5701)]), (5296, [(28*a - 100, 5/2, 3.559), (-28*a - 100, 5/2, 3.559), (60*a - 164, -1/2, 0.1424), (-60*a - 164, -1/2, 0.1424)]), (5305, [(2*a - 73, -3/2, 1.280), (-2*a - 73, -3/2, 1.280), (32*a - 107, -1/2, 0.1422), (-32*a - 107, -1/2, 0.1422)]), (5329, [(-146*a - 365, 2, 2.271)]), (5344, [(-20*a - 88, -1, 0.5669), (20*a - 88, -1, 0.5669), (76*a - 200, -1, 0.5669), (-76*a - 200, -1, 0.5669)]), (5353, [(-16*a - 83, -3/2, 1.274), (16*a - 83, -3/2, 1.274), (26*a - 97, 1/2, 0.1416), (-26*a - 97, 1/2, 0.1416)]), (5377, [(12*a - 79, -3/2, 1.272), (-12*a - 79, -3/2, 1.272), (-72*a - 191, -1/2, 0.1413), (72*a - 191, -1/2, 0.1413)]), (5380, [(4*a - 74, -3/2, 1.271), (-4*a - 74, -3/2, 1.271), (-24*a - 94, 3/2, 1.271), (24*a - 94, 3/2, 1.271)]), (5385, [(-14*a - 81, 0, 0), (14*a - 81, 0, 0), (-52*a - 147, 0, 0), (52*a - 147, 0, 0)]), (5449, [(36*a - 115, 1/2, 0.1403), (-36*a - 115, 1/2, 0.1403)]), (5476, [(-148*a - 370, -3, 5.040)]), (5497, [(-48*a - 139, 0, 0), (48*a - 139, 0, 0), (-62*a - 169, 0, 0), (62*a - 169, 0, 0)]), (5521, [(-78*a - 205, 0, 0), (78*a - 205, 0, 0)]), (5529, [(4*a - 75, -2, 2.229), (-4*a - 75, -2, 2.229), (40*a - 123, -1, 0.5573), (-40*a - 123, -1, 0.5573)]), (5536, [(100*a - 256, -1, 0.5570), (-100*a - 256, -1, 0.5570), (-12*a - 80, 0, 0), (12*a - 80, 0, 0)]), (5545, [(-44*a - 131, 1/2, 0.1391), (44*a - 131, 1/2, 0.1391), (-114*a - 289, -3/2, 1.252), (114*a - 289, -3/2, 1.252)]), (5569, [(-24*a - 95, 1/2, 0.1388), (24*a - 95, 1/2, 0.1388)]), (5601, [(-140*a - 351, -3/2, 1.246), (140*a - 351, -3/2, 1.246)]), (5641, [(108*a - 275, 1/2, 0.1379), (-108*a - 275, 1/2, 0.1379)]), (5680, [(36*a - 116, 2, 2.199), (-36*a - 116, 2, 2.199), (52*a - 148, 2, 2.199), (-52*a - 148, 2, 2.199), (-4*a - 76, 0, 0), (4*a - 76, 0, 0), (-132*a - 332, 0, 0), (132*a - 332, 0, 0)]), (5689, [(-90*a - 233, 0, 0), (90*a - 233, 0, 0)]), (5700, [(-20*a - 90, 1, 0.5489), (20*a - 90, 1, 0.5489)]), (5713, [(6*a - 77, -1/2, 0.1371), (-6*a - 77, -1/2, 0.1371), (-96*a - 247, -1/2, 0.1371), (96*a - 247, -1/2, 0.1371)]), (5737, [(58*a - 161, -1, 0.5471), (-58*a - 161, -1, 0.5471)]), (5745, [(-22*a - 93, 1, 0.5467), (22*a - 93, 1, 0.5467), (-68*a - 183, 2, 2.187), (68*a - 183, 2, 2.187)]), (5808, [(-44*a - 132, 1, 0.5438), (44*a - 132, 1, 0.5438)]), (5833, [(34*a - 113, 1/2, 0.1356), (-34*a - 113, 1/2, 0.1356), (134*a - 337, 5/2, 3.391), (-134*a - 337, 5/2, 3.391)]), (5857, [(8*a - 79, -3/2, 1.218), (-8*a - 79, -3/2, 1.218)]), (5860, [(12*a - 82, -5/2, 3.383), (-12*a - 82, -5/2, 3.383), (-16*a - 86, -3/2, 1.218), (16*a - 86, -3/2, 1.218)]), (5881, [(-20*a - 91, 3/2, 1.216), (20*a - 91, 3/2, 1.216)]), (5905, [(2*a - 77, 1/2, 0.1348), (-2*a - 77, 1/2, 0.1348), (28*a - 103, -5/2, 3.370), (-28*a - 103, -5/2, 3.370)]), (5929, [(154*a - 385, 3, 4.844)]), (5953, [(-74*a - 197, 0, 0), (74*a - 197, 0, 0)]), (5956, [(32*a - 110, -1/2, 0.1342), (-32*a - 110, -1/2, 0.1342)]), (5961, [(10*a - 81, 1/2, 0.1342), (-10*a - 81, 1/2, 0.1342)]), (5977, [(-18*a - 89, -1/2, 0.1340), (18*a - 89, -1/2, 0.1340), (-38*a - 121, -1/2, 0.1340), (38*a - 121, -1/2, 0.1340)]), (5988, [(136*a - 342, 1/2, 0.1339), (-136*a - 342, 1/2, 0.1339)]), (6025, [(50*a - 145, 2, 2.135), (-50*a - 145, 2, 2.135)]), (6033, [(-16*a - 87, -1/2, 0.1334), (16*a - 87, -1/2, 0.1334)]), (6049, [(-14*a - 85, -2, 2.131), (14*a - 85, -2, 2.131), (-64*a - 175, 2, 2.131), (64*a - 175, 2, 2.131)]), (6064, [(-20*a - 92, -1/2, 0.1330), (20*a - 92, -1/2, 0.1330), (84*a - 220, -5/2, 3.326), (-84*a - 220, -5/2, 3.326)]), (6073, [(-46*a - 137, -1, 0.5318), (46*a - 137, -1, 0.5318)]), (6112, [(-28*a - 104, 0, 0), (28*a - 104, 0, 0), (-68*a - 184, 0, 0), (68*a - 184, 0, 0)]), (6121, [(80*a - 211, 5/2, 3.310), (-80*a - 211, 5/2, 3.310)]), (6145, [(4*a - 79, 5/2, 3.304), (-4*a - 79, 5/2, 3.304), (26*a - 101, -3/2, 1.189), (-26*a - 101, -3/2, 1.189)]), (6148, [(56*a - 158, -1/2, 0.1321), (-56*a - 158, -1/2, 0.1321), (76*a - 202, -1/2, 0.1321), (-76*a - 202, -1/2, 0.1321)]), (6177, [(-32*a - 111, 0, 0), (32*a - 111, 0, 0), (-122*a - 309, 0, 0), (122*a - 309, 0, 0)]), (6217, [(-148*a - 371, 3/2, 1.183), (148*a - 371, 3/2, 1.183)]), (6241, [(-79, 7/2, 6.426)]), (6249, [(86*a - 225, -3/2, 1.180), (-86*a - 225, -3/2, 1.180)]), (6276, [(-40*a - 126, 3/2, 1.177), (40*a - 126, 3/2, 1.177)]), (6289, [(60*a - 167, 1/2, 0.1306), (-60*a - 167, 1/2, 0.1306), (-116*a - 295, 3/2, 1.176), (116*a - 295, 3/2, 1.176)]), (6304, [(4*a - 80, 1, 0.5219), (-4*a - 80, 1, 0.5219), (-140*a - 352, -2, 2.088), (140*a - 352, -2, 2.088)]), (6321, [(-70*a - 189, 0, 0), (70*a - 189, 0, 0)]), (6337, [(-92*a - 239, -3/2, 1.171), (92*a - 239, -3/2, 1.171)]), (6340, [(-48*a - 142, 1/2, 0.1301), (48*a - 142, 1/2, 0.1301), (-124*a - 314, -3/2, 1.171), (124*a - 314, -3/2, 1.171)]), (6361, [(110*a - 281, 1, 0.5196), (-110*a - 281, 1, 0.5196)]), (6385, [(36*a - 119, 1/2, 0.1297), (-36*a - 119, 1/2, 0.1297), (-98*a - 253, 1/2, 0.1297), (98*a - 253, 1/2, 0.1297)]), (6393, [(104*a - 267, -1/2, 0.1296), (-104*a - 267, -1/2, 0.1296)]), (6436, [(-88*a - 230, 1/2, 0.1291), (88*a - 230, 1/2, 0.1291)]), (6465, [(56*a - 159, -3, 4.639), (-56*a - 159, -3, 4.639), (-142*a - 357, -1, 0.5154), (142*a - 357, -1, 0.5154)]), (6481, [(30*a - 109, 1, 0.5147), (-30*a - 109, 1, 0.5147)]), (6505, [(-8*a - 83, -1/2, 0.1285), (8*a - 83, -1/2, 0.1285), (-22*a - 97, 5/2, 3.211), (22*a - 97, 5/2, 3.211)]), (6529, [(-40*a - 127, -1/2, 0.1282), (40*a - 127, -1/2, 0.1282)]), (6532, [(28*a - 106, -2, 2.051), (-28*a - 106, -2, 2.051), (112*a - 286, 1, 0.5127), (-112*a - 286, 1, 0.5127)]), (6537, [(2*a - 81, 1/2, 0.1281), (-2*a - 81, 1/2, 0.1281)]), (6553, [(76*a - 203, -3/2, 1.152), (-76*a - 203, -3/2, 1.152)]), (6564, [(100*a - 258, -3/2, 1.151), (-100*a - 258, -3/2, 1.151)]), (6577, [(52*a - 151, -3/2, 1.150), (-52*a - 151, -3/2, 1.150)]), (6609, [(-44*a - 135, -3/2, 1.147), (44*a - 135, -3/2, 1.147)]), (6628, [(-4*a - 82, 0, 0), (4*a - 82, 0, 0)]), (6673, [(136*a - 343, 1/2, 0.1268), (-136*a - 343, 1/2, 0.1268)]), (6724, [(-164*a - 410, -3, 4.548)]), (6745, [(-16*a - 91, 2, 2.018), (16*a - 91, 2, 2.018), (82*a - 217, -2, 2.018), (-82*a - 217, -2, 2.018), (-14*a - 89, 0, 0), (14*a - 89, 0, 0), (-28*a - 107, 0, 0), (28*a - 107, 0, 0)]), (6753, [(34*a - 117, 3/2, 1.135), (-34*a - 117, 3/2, 1.135)]), (6793, [(4*a - 83, 3/2, 1.131), (-4*a - 83, 3/2, 1.131)]), (6816, [(-20*a - 96, 0, 0), (20*a - 96, 0, 0), (-92*a - 240, 0, 0), (92*a - 240, 0, 0)]), (6841, [(130*a - 329, -1, 0.5010), (-130*a - 329, -1, 0.5010)]), (6852, [(-68*a - 186, -5/2, 3.129), (68*a - 186, -5/2, 3.129)]), (6865, [(62*a - 173, -3/2, 1.125), (-62*a - 173, -3/2, 1.125), (156*a - 391, 1/2, 0.1250), (-156*a - 391, 1/2, 0.1250)]), (6880, [(12*a - 88, 1, 0.4996), (-12*a - 88, 1, 0.4996), (-44*a - 136, -3, 4.496), (44*a - 136, -3, 4.496), (52*a - 152, 1, 0.4996), (-52*a - 152, 1, 0.4996), (-116*a - 296, 1, 0.4996), (116*a - 296, 1, 0.4996)]), (6889, [(-83, -3/2, 1.123)]), (6897, [(-88*a - 231, 0, 0), (88*a - 231, 0, 0)]), (6960, [(-4*a - 84, 1, 0.4967), (4*a - 84, 1, 0.4967), (28*a - 108, -3, 4.471), (-28*a - 108, -3, 4.471), (76*a - 204, 1, 0.4967), (-76*a - 204, 1, 0.4967), (-148*a - 372, -1, 0.4967), (148*a - 372, -1, 0.4967)]), (6961, [(-38*a - 125, -1, 0.4967), (38*a - 125, -1, 0.4967)]), (6969, [(26*a - 105, 2, 1.986), (-26*a - 105, 2, 1.986), (-124*a - 315, 2, 1.986), (124*a - 315, 2, 1.986)]), (7009, [(6*a - 85, -3/2, 1.114), (-6*a - 85, -3/2, 1.114), (-94*a - 245, 3/2, 1.114), (94*a - 245, 3/2, 1.114)]), (7012, [(8*a - 86, 3/2, 1.113), (-8*a - 86, 3/2, 1.113)]), (7041, [(58*a - 165, -3/2, 1.111), (-58*a - 165, -3/2, 1.111)]), (7057, [(-118*a - 301, 1, 0.4933), (118*a - 301, 1, 0.4933)]), (7081, [(32*a - 115, 2, 1.970), (-32*a - 115, 2, 1.970), (100*a - 259, -2, 1.970), (-100*a - 259, -2, 1.970)]), (7105, [(-42*a - 133, 0, 0), (42*a - 133, 0, 0), (-112*a - 287, 0, 0), (112*a - 287, 0, 0)]), (7108, [(36*a - 122, -1, 0.4915), (-36*a - 122, -1, 0.4915)]), (7113, [(106*a - 273, -3/2, 1.106), (-106*a - 273, -3/2, 1.106)]), (7129, [(150*a - 377, -1, 0.4908), (-150*a - 377, -1, 0.4908)]), (7153, [(-24*a - 103, -3, 4.410), (24*a - 103, -3, 4.410), (-54*a - 157, 0, 0), (54*a - 157, 0, 0)]), (7177, [(78*a - 209, 1, 0.4892), (-78*a - 209, 1, 0.4892)]), (7185, [(-8*a - 87, 0, 0), (8*a - 87, 0, 0), (-46*a - 141, 0, 0), (46*a - 141, 0, 0)]), (7201, [(2*a - 85, 1/2, 0.1221), (-2*a - 85, 1/2, 0.1221), (50*a - 149, 1/2, 0.1221), (-50*a - 149, 1/2, 0.1221)]), (7204, [(-20*a - 98, 2, 1.953), (20*a - 98, 2, 1.953)]), (7225, [(-170*a - 425, 0, 0)]), (7297, [(-22*a - 101, -1, 0.4851), (22*a - 101, -1, 0.4851)]), (7300, [(60*a - 170, -1, 0.4850), (-60*a - 170, -1, 0.4850)]), (7321, [(-10*a - 89, 0, 0), (10*a - 89, 0, 0)]), (7369, [(-30*a - 113, 0, 0), (30*a - 113, 0, 0)]), (7393, [(84*a - 223, 1/2, 0.1205), (-84*a - 223, 1/2, 0.1205)]), (7396, [(-86, 3/2, 1.084)]), (7401, [(-20*a - 99, -3/2, 1.084), (20*a - 99, -3/2, 1.084)]), (7417, [(12*a - 91, 1/2, 0.1203), (-12*a - 91, 1/2, 0.1203)]), (7428, [(-44*a - 138, -5/2, 3.005), (44*a - 138, -5/2, 3.005)]), (7465, [(-18*a - 97, -3/2, 1.079), (18*a - 97, -3/2, 1.079), (-64*a - 179, 1/2, 0.1199), (64*a - 179, 1/2, 0.1199)]), (7473, [(4*a - 87, -2, 1.917), (-4*a - 87, -2, 1.917), (-14*a - 93, 0, 0), (14*a - 93, 0, 0)]), (7489, [(-16*a - 95, -3/2, 1.077), (16*a - 95, -3/2, 1.077)]), (7492, [(52*a - 154, 2, 1.915), (-52*a - 154, 2, 1.915)]), (7537, [(-138*a - 349, -2, 1.909), (138*a - 349, -2, 1.909)]), (7545, [(-74*a - 201, 1, 0.4771), (74*a - 201, 1, 0.4771), (-164*a - 411, 0, 0), (164*a - 411, 0, 0)]), (7561, [(40*a - 131, -1/2, 0.1191), (-40*a - 131, -1/2, 0.1191)]), (7600, [(-20*a - 100, 1, 0.4753), (20*a - 100, 1, 0.4753), (100*a - 260, -1, 0.4753), (-100*a - 260, -1, 0.4753)]), (7617, [(28*a - 111, -5/2, 2.968), (-28*a - 111, -5/2, 2.968)]), (7648, [(4*a - 88, -4, 7.582), (-4*a - 88, -4, 7.582), (-156*a - 392, 0, 0), (156*a - 392, 0, 0)]), (7681, [(132*a - 335, 1/2, 0.1182), (-132*a - 335, 1/2, 0.1182)]), (7705, [(6*a - 89, -1, 0.4721), (-6*a - 89, -1, 0.4721), (34*a - 121, -2, 1.888), (-34*a - 121, -2, 1.888), (-44*a - 139, 2, 1.888), (44*a - 139, 2, 1.888), (-96*a - 251, -1, 0.4721), (96*a - 251, -1, 0.4721)]), (7716, [(-140*a - 354, 3/2, 1.061), (140*a - 354, 3/2, 1.061)]), (7753, [(56*a - 163, -3/2, 1.059), (-56*a - 163, -3/2, 1.059)]), (7780, [(32*a - 118, -3/2, 1.057), (-32*a - 118, -3/2, 1.057), (-92*a - 242, 1/2, 0.1175), (92*a - 242, 1/2, 0.1175)]), (7801, [(52*a - 155, 1/2, 0.1173), (-52*a - 155, 1/2, 0.1173), (102*a - 265, 1/2, 0.1173), (-102*a - 265, 1/2, 0.1173)]), (7825, [(-80*a - 215, 0, 0), (80*a - 215, 0, 0)]), (7840, [(28*a - 112, 2, 1.872), (-28*a - 112, 2, 1.872), (84*a - 224, -2, 1.872), (-84*a - 224, -2, 1.872)]), (7849, [(-70*a - 193, -2, 1.871), (70*a - 193, -2, 1.871), (-120*a - 307, 2, 1.871), (120*a - 307, 2, 1.871)]), (7873, [(-114*a - 293, -1, 0.4670), (114*a - 293, -1, 0.4670)]), (7897, [(2*a - 89, 1/2, 0.1166), (-2*a - 89, 1/2, 0.1166), (8*a - 91, -1/2, 0.1166), (-8*a - 91, -1/2, 0.1166)]), (7921, [(178*a - 445, 2, 1.862)]), (7972, [(128*a - 326, 1/2, 0.1160), (-128*a - 326, 1/2, 0.1160)]), (7977, [(-38*a - 129, 1/2, 0.1160), (38*a - 129, 1/2, 0.1160)]), (7984, [(-44*a - 140, -1/2, 0.1159), (44*a - 140, -1/2, 0.1159), (60*a - 172, -1/2, 0.1159), (-60*a - 172, -1/2, 0.1159)]), (7993, [(-24*a - 107, 1/2, 0.1159), (24*a - 107, 1/2, 0.1159)]), (8004, [(4*a - 90, 1, 0.4632), (-4*a - 90, 1, 0.4632), (104*a - 270, -1, 0.4632), (-104*a - 270, -1, 0.4632)]), (8017, [(32*a - 119, 3/2, 1.041), (-32*a - 119, 3/2, 1.041)]), (8049, [(10*a - 93, 3/2, 1.039), (-10*a - 93, 3/2, 1.039)]), (8065, [(86*a - 229, 5/2, 2.884), (-86*a - 229, 5/2, 2.884), (152*a - 383, -1/2, 0.1154), (-152*a - 383, -1/2, 0.1154)]), (8068, [(-116*a - 298, 2, 1.845), (116*a - 298, 2, 1.845)]), (8089, [(-66*a - 185, 0, 0), (66*a - 185, 0, 0)]), (8112, [(-52*a - 156, 0, 0), (52*a - 156, 0, 0)]), (8121, [(-22*a - 105, 3/2, 1.035), (22*a - 105, 3/2, 1.035)]), (8161, [(12*a - 95, 1/2, 0.1147), (-12*a - 95, 1/2, 0.1147)]), (8185, [(-4*a - 91, -1/2, 0.1145), (4*a - 91, -1/2, 0.1145), (-42*a - 137, 3/2, 1.031), (42*a - 137, 3/2, 1.031)]), (8193, [(76*a - 207, 1/2, 0.1145), (-76*a - 207, 1/2, 0.1145)]), (8209, [(-20*a - 103, -5/2, 2.859), (20*a - 103, -5/2, 2.859)]), (8233, [(-14*a - 97, 2, 1.827), (14*a - 97, 2, 1.827)]), (8257, [(-172*a - 431, 2, 1.824), (172*a - 431, 2, 1.824), (-18*a - 101, 0, 0), (18*a - 101, 0, 0)]), (8265, [(-16*a - 99, 1, 0.4558), (16*a - 99, 1, 0.4558), (62*a - 177, -1, 0.4558), (-62*a - 177, -1, 0.4558), (-92*a - 243, 1, 0.4558), (92*a - 243, 1, 0.4558), (-146*a - 369, 1, 0.4558), (146*a - 369, 1, 0.4558)]), (8281, [(-91, 0, 0)]), (8292, [(28*a - 114, -5/2, 2.844), (-28*a - 114, -5/2, 2.844)]), (8329, [(-46*a - 145, 1, 0.4541), (46*a - 145, 1, 0.4541)]), (8353, [(36*a - 127, 5/2, 2.834), (-36*a - 127, 5/2, 2.834)]), (8356, [(-40*a - 134, -1/2, 0.1133), (40*a - 134, -1/2, 0.1133)]), (8368, [(4*a - 92, -1/2, 0.1133), (-4*a - 92, -1/2, 0.1133), (-164*a - 412, -1/2, 0.1133), (164*a - 412, -1/2, 0.1133)]), (8377, [(58*a - 169, -2, 1.811), (-58*a - 169, -2, 1.811)]), (8409, [(50*a - 153, -1/2, 0.1130), (-50*a - 153, -1/2, 0.1130)]), (8416, [(-20*a - 104, -1, 0.4517), (20*a - 104, -1, 0.4517), (108*a - 280, 3, 4.065), (-108*a - 280, 3, 4.065)]), (8425, [(-140*a - 355, 0, 0), (140*a - 355, 0, 0)]), (8452, [(-8*a - 94, 5/2, 2.817), (8*a - 94, 5/2, 2.817)]), (8497, [(-72*a - 199, -3/2, 1.012), (72*a - 199, -3/2, 1.012), (82*a - 221, -1/2, 0.1124), (-82*a - 221, -1/2, 0.1124)]), (8521, [(28*a - 115, 5/2, 2.806), (-28*a - 115, 5/2, 2.806)]), (8545, [(104*a - 271, 7/2, 5.492), (-104*a - 271, 7/2, 5.492), (134*a - 341, -1/2, 0.1121), (-134*a - 341, -1/2, 0.1121)]), (8548, [(-64*a - 182, -1/2, 0.1121), (64*a - 182, -1/2, 0.1121)]), (8553, [(-166*a - 417, 3/2, 1.008), (166*a - 417, 3/2, 1.008)]), (8608, [(36*a - 128, -1, 0.4467), (-36*a - 128, -1, 0.4467), (-76*a - 208, 0, 0), (76*a - 208, 0, 0)]), (8641, [(8*a - 95, -1/2, 0.1114), (-8*a - 95, -1/2, 0.1114)]), (8644, [(-24*a - 110, 1/2, 0.1114), (24*a - 110, 1/2, 0.1114)]), (8665, [(-116*a - 299, -3/2, 1.002), (116*a - 299, -3/2, 1.002), (-122*a - 313, -3/2, 1.002), (122*a - 313, -3/2, 1.002)]), (8689, [(34*a - 125, -1, 0.4446), (-34*a - 125, -1, 0.4446)]), (8713, [(-26*a - 113, 0, 0), (26*a - 113, 0, 0)]), (8737, [(-68*a - 191, 1/2, 0.1108), (68*a - 191, 1/2, 0.1108)]), (8740, [(12*a - 98, -2, 1.773), (-12*a - 98, -2, 1.773), (56*a - 166, 1, 0.4433), (-56*a - 166, 1, 0.4433), (84*a - 226, 1, 0.4433), (-84*a - 226, 1, 0.4433), (-168*a - 422, 0, 0), (168*a - 422, 0, 0)]), (8752, [(28*a - 116, 1/2, 0.1107), (-28*a - 116, 1/2, 0.1107), (-92*a - 244, -1/2, 0.1107), (92*a - 244, -1/2, 0.1107)]), (8761, [(-88*a - 235, -5/2, 2.767), (88*a - 235, -5/2, 2.767)]), (8809, [(10*a - 97, 2, 1.766), (-10*a - 97, 2, 1.766), (160*a - 403, -1, 0.4415), (-160*a - 403, -1, 0.4415)]), (8833, [(-44*a - 143, 1, 0.4409), (44*a - 143, 1, 0.4409)]), (8836, [(-94, -1, 0.4408)]), (8868, [(-16*a - 102, 1/2, 0.1100), (16*a - 102, 1/2, 0.1100)]), (8913, [(-64*a - 183, 3/2, 0.9876), (64*a - 183, 3/2, 0.9876)]), (8929, [(4*a - 95, -3/2, 0.9867), (-4*a - 95, -3/2, 0.9867)]), (8977, [(-22*a - 109, -2, 1.749), (22*a - 109, -2, 1.749), (-48*a - 151, 0, 0), (48*a - 151, 0, 0)]), (8985, [(32*a - 123, 2, 1.749), (-32*a - 123, 2, 1.749), (-94*a - 249, -2, 1.749), (94*a - 249, -2, 1.749)]), (9001, [(180*a - 451, -1/2, 0.1092), (-180*a - 451, -1/2, 0.1092)]), (9025, [(-95, 1, 0.4362)]), (9049, [(-20*a - 107, 1/2, 0.1089), (20*a - 107, 1/2, 0.1089)]), (9057, [(52*a - 159, 3/2, 0.9797), (-52*a - 159, 3/2, 0.9797)]), (9073, [(-16*a - 103, 5/2, 2.719), (16*a - 103, 5/2, 2.719), (56*a - 167, -3/2, 0.9789), (-56*a - 167, -3/2, 0.9789)]), (9120, [(4*a - 96, -2, 1.736), (-4*a - 96, -2, 1.736), (-68*a - 192, 2, 1.736), (68*a - 192, 2, 1.736), (-44*a - 144, 0, 0), (44*a - 144, 0, 0), (-172*a - 432, 0, 0), (172*a - 432, 0, 0)]), (9124, [(36*a - 130, 1, 0.4338), (-36*a - 130, 1, 0.4338)]), (9136, [(12*a - 100, -5/2, 2.710), (-12*a - 100, -5/2, 2.710), (-140*a - 356, 1/2, 0.1084), (140*a - 356, 1/2, 0.1084)]), (9169, [(-74*a - 205, -5/2, 2.705), (74*a - 205, -5/2, 2.705), (100*a - 263, 3/2, 0.9737), (-100*a - 263, 3/2, 0.9737)]), (9193, [(6*a - 97, -3/2, 0.9725), (-6*a - 97, -3/2, 0.9725), (84*a - 227, -1/2, 0.1081), (-84*a - 227, -1/2, 0.1081)]), (9201, [(-148*a - 375, -3/2, 0.9720), (148*a - 375, -3/2, 0.9720)]), (9220, [(-96*a - 254, 3/2, 0.9710), (96*a - 254, 3/2, 0.9710), (156*a - 394, 5/2, 2.697), (-156*a - 394, 5/2, 2.697)]), (9241, [(30*a - 121, 1, 0.4311), (-30*a - 121, 1, 0.4311)]), (9264, [(-20*a - 108, -1, 0.4305), (20*a - 108, -1, 0.4305), (-116*a - 300, 1, 0.4305), (116*a - 300, 1, 0.4305)]), (9313, [(106*a - 277, -3/2, 0.9662), (-106*a - 277, -3/2, 0.9662), (-174*a - 437, 3/2, 0.9662), (174*a - 437, 3/2, 0.9662)]), (9337, [(-142*a - 361, 1, 0.4289), (142*a - 361, 1, 0.4289)]), (9376, [(52*a - 160, 2, 1.712), (-52*a - 160, 2, 1.712), (60*a - 176, -1, 0.4280), (-60*a - 176, -1, 0.4280)]), (9385, [(2*a - 97, 3/2, 0.9625), (-2*a - 97, 3/2, 0.9625), (36*a - 131, -1/2, 0.1069), (-36*a - 131, -1/2, 0.1069)]), (9409, [(-194*a - 485, 1, 0.4272)]), (9417, [(-8*a - 99, 1, 0.4270), (8*a - 99, 1, 0.4270), (112*a - 291, -2, 1.708), (-112*a - 291, -2, 1.708)]), (9433, [(136*a - 347, 3/2, 0.9600), (-136*a - 347, 3/2, 0.9600)]), (9444, [(76*a - 210, -3/2, 0.9595), (-76*a - 210, -3/2, 0.9595)]), (9457, [(-28*a - 119, 0, 0), (28*a - 119, 0, 0)]), (9481, [(-90*a - 241, 1/2, 0.1064), (90*a - 241, 1/2, 0.1064), (-118*a - 305, -1/2, 0.1064), (118*a - 305, -1/2, 0.1064)]), (9489, [(130*a - 333, -3/2, 0.9572), (-130*a - 333, -3/2, 0.9572)]), (9505, [(-46*a - 149, 1/2, 0.1063), (46*a - 149, 1/2, 0.1063), (-124*a - 319, 5/2, 2.657), (124*a - 319, 5/2, 2.657)]), (9508, [(-4*a - 98, 0, 0), (4*a - 98, 0, 0)]), (9561, [(80*a - 219, 1/2, 0.1060), (-80*a - 219, 1/2, 0.1060)]), (9601, [(10*a - 101, -1, 0.4229), (-10*a - 101, -1, 0.4229)]), (9633, [(26*a - 117, 1, 0.4222), (-26*a - 117, 1, 0.4222)]), (9649, [(-50*a - 157, 0, 0), (50*a - 157, 0, 0)]), (9696, [(28*a - 120, -1, 0.4208), (-28*a - 120, -1, 0.4208), (100*a - 264, 1, 0.4208), (-100*a - 264, 1, 0.4208)]), (9697, [(62*a - 181, 3, 3.787), (-62*a - 181, 3, 3.787)]), (9700, [(-120*a - 310, -2, 1.683), (120*a - 310, -2, 1.683)]), (9705, [(34*a - 129, -1, 0.4206), (-34*a - 129, -1, 0.4206), (-4*a - 99, 0, 0), (4*a - 99, 0, 0)]), (9721, [(40*a - 139, 1/2, 0.1051), (-40*a - 139, 1/2, 0.1051)]), (9732, [(32*a - 126, 1/2, 0.1050), (-32*a - 126, 1/2, 0.1050)]), (9745, [(12*a - 103, 3/2, 0.9445), (-12*a - 103, 3/2, 0.9445), (58*a - 173, 1/2, 0.1049), (-58*a - 173, 1/2, 0.1049)]), (9769, [(-24*a - 115, 1/2, 0.1048), (24*a - 115, 1/2, 0.1048)]), (9777, [(-188*a - 471, -3/2, 0.9430), (188*a - 471, -3/2, 0.9430)]), (9817, [(-162*a - 409, 0, 0), (162*a - 409, 0, 0)]), (9849, [(-14*a - 105, 0, 0), (14*a - 105, 0, 0)]), (9865, [(-22*a - 113, 3/2, 0.9388), (22*a - 113, 3/2, 0.9388), (76*a - 211, -5/2, 2.608), (-76*a - 211, -5/2, 2.608)]), (9892, [(-68*a - 194, 2, 1.667), (68*a - 194, 2, 1.667)]), (9904, [(4*a - 100, 3/2, 0.9369), (-4*a - 100, 3/2, 0.9369), (180*a - 452, 1/2, 0.1041), (-180*a - 452, 1/2, 0.1041)]), (9913, [(-16*a - 107, 0, 0), (16*a - 107, 0, 0), (-86*a - 233, 0, 0), (86*a - 233, 0, 0)]), (9921, [(-20*a - 111, -1/2, 0.1040), (20*a - 111, -1/2, 0.1040)]), (9937, [(-18*a - 109, 3/2, 0.9354), (18*a - 109, 3/2, 0.9354), (102*a - 269, -1/2, 0.1039), (-102*a - 269, -1/2, 0.1039)]), (9952, [(12*a - 104, -1, 0.4154), (-12*a - 104, -1, 0.4154), (-148*a - 376, -1, 0.4154), (148*a - 376, -1, 0.4154)]), (9985, [(6*a - 101, 3/2, 0.9331), (-6*a - 101, 3/2, 0.9331), (32*a - 127, -3/2, 0.9331), (-32*a - 127, -3/2, 0.9331)]), (9993, [(-44*a - 147, -5/2, 2.591), (44*a - 147, -5/2, 2.591)])]]

# map: (a |-> -2.45) -> 1, (a |-> 2.45) -> 1
[-2*a - 5, None, [(1, [(1, 1/12, 0.2878)]), (4, [(2, -1/4, 1.295)]), (25, [(5, 1/2, 2.072)]), (48, [(-4*a + 12, 1/2, 1.495), (-44*a + 108, 1/2, 1.495)]), (49, [(-14*a + 35, 1/2, 1.480)]), (57, [(-8*a + 21, -1/2, 1.372), (-28*a + 69, -1/2, 1.372)]), (73, [(-4*a + 13, 0, 0), (-64*a + 157, 0, 0)]), (97, [(-2*a + 11, -1/2, 1.052), (-122*a + 299, -1/2, 1.052)]), (100, [(10, -1/2, 1.036)]), (121, [(-22*a + 55, -1/2, 0.9419)]), (129, [(-10*a + 27, 1/2, 0.9122), (-50*a + 123, 1/2, 0.9122)]), (145, [(-6*a + 19, -1/2, 0.8604), (-16*a + 41, 1/2, 0.8604), (-36*a + 89, 1/2, 0.8604), (-86*a + 211, -1/2, 0.8604)]), (160, [(-12*a + 32, -1, 3.276), (-52*a + 128, -1, 3.276), (-4*a + 16, 0, 0), (-124*a + 304, 0, 0)]), (169, [(13, 0, 0)]), (193, [(-4*a + 17, -1, 2.983), (-144*a + 353, -1, 2.983)]), (196, [(-28*a + 70, 1/2, 0.7401)]), (201, [(-2*a + 15, -1/2, 0.7308), (-202*a + 495, -1/2, 0.7308)]), (228, [(-16*a + 42, -1/2, 0.6862), (-56*a + 138, -1/2, 0.6862)]), (241, [(-8*a + 25, 0, 0), (-108*a + 265, 0, 0)]), (265, [(-18*a + 47, 1/2, 0.6365), (-24*a + 61, 1/2, 0.6365), (-44*a + 109, 1/2, 0.6365), (-58*a + 143, 1/2, 0.6365)]), (289, [(17, 1, 2.438)]), (292, [(-8*a + 26, 1, 2.425), (-128*a + 314, 1, 2.425)]), (304, [(-4*a + 20, 1/2, 0.5942), (-20*a + 52, -1/2, 0.5942), (-60*a + 148, -1/2, 0.5942), (-204*a + 500, 1/2, 0.5942)]), (313, [(-6*a + 23, 1/2, 0.5856), (-166*a + 407, 1/2, 0.5856)]), (337, [(-2*a + 19, 1/2, 0.5644), (-282*a + 691, 1/2, 0.5644)]), (345, [(-14*a + 39, 1, 2.231), (-94*a + 231, 1, 2.231), (-4*a + 21, 0, 0), (-224*a + 549, 0, 0)]), (361, [(-38*a + 95, -1/2, 0.5453)]), (388, [(-4*a + 22, 1/2, 0.5260), (-244*a + 598, 1/2, 0.5260)]), (409, [(-20*a + 53, 0, 0), (-80*a + 197, 0, 0)]), (417, [(-32*a + 81, -1/2, 0.5074), (-52*a + 129, -1/2, 0.5074)]), (433, [(-26*a + 67, -1/2, 0.4979), (-66*a + 163, -1/2, 0.4979)]), (457, [(-8*a + 29, -1, 1.939), (-188*a + 461, -1, 1.939)]), (480, [(-4*a + 24, -1, 1.892), (-28*a + 72, 1, 1.892), (-68*a + 168, 1, 1.892), (-284*a + 696, -1, 1.892)]), (484, [(-44*a + 110, -1/2, 0.4709)]), (489, [(-16*a + 45, 1/2, 0.4685), (-116*a + 285, 1/2, 0.4685)]), (505, [(-2*a + 23, 1/2, 0.4611), (-12*a + 37, 1/2, 0.4611), (-152*a + 373, 1/2, 0.4611), (-362*a + 887, 1/2, 0.4611)]), (516, [(-20*a + 54, -1/2, 0.4561), (-100*a + 246, -1/2, 0.4561)]), (529, [(-46*a + 115, 0, 0)]), (577, [(-22*a + 59, -1/2, 0.4313), (-102*a + 251, -1/2, 0.4313)]), (580, [(-12*a + 38, -1/2, 0.4302), (-32*a + 82, 1/2, 0.4302), (-72*a + 178, 1/2, 0.4302), (-172*a + 422, -1/2, 0.4302)]), (601, [(-40*a + 101, 0, 0), (-60*a + 149, 0, 0)]), (633, [(-34*a + 87, -1/2, 0.4118), (-74*a + 183, -1/2, 0.4118)]), (673, [(-14*a + 43, 1/2, 0.3994), (-174*a + 427, 1/2, 0.3994)]), (676, [(26, -2, 6.376)]), (688, [(-4*a + 28, -1/2, 0.3950), (-36*a + 92, 3/2, 3.555), (-76*a + 188, 3/2, 3.555), (-364*a + 892, -1/2, 0.3950)]), (705, [(-8*a + 33, 1, 1.561), (-268*a + 657, 1, 1.561), (-2*a + 27, 0, 0), (-442*a + 1083, 0, 0)]), (736, [(-12*a + 40, 1, 1.528), (-20*a + 56, 1, 1.528), (-140*a + 344, 1, 1.528), (-212*a + 520, 1, 1.528)]), (745, [(-4*a + 29, 1/2, 0.3796), (-6*a + 31, -1/2, 0.3796), (-326*a + 799, -1/2, 0.3796), (-384*a + 941, 1/2, 0.3796)]), (769, [(-24*a + 65, -1, 1.494), (-124*a + 305, -1, 1.494)]), (772, [(-8*a + 34, 0, 0), (-288*a + 706, 0, 0)]), (804, [(-4*a + 30, -1/2, 0.3654), (-404*a + 990, -1/2, 0.3654)]), (817, [(-12*a + 41, -1/2, 0.3625), (-48*a + 121, 1/2, 0.3625), (-68*a + 169, 1/2, 0.3625), (-232*a + 569, -1/2, 0.3625)]), (841, [(29, 3/2, 3.215)]), (849, [(-20*a + 57, 1/2, 0.3556), (-160*a + 393, 1/2, 0.3556)]), (865, [(-16*a + 49, -1/2, 0.3523), (-42*a + 107, -1/2, 0.3523), (-82*a + 203, -1/2, 0.3523), (-196*a + 481, -1/2, 0.3523)]), (921, [(-10*a + 39, -1/2, 0.3414), (-290*a + 711, -1/2, 0.3414)]), (928, [(-44*a + 112, -1, 1.360), (-84*a + 208, -1, 1.360), (-4*a + 32, 0, 0), (-444*a + 1088, 0, 0)]), (937, [(-2*a + 31, 1/2, 0.3385), (-522*a + 1279, 1/2, 0.3385)]), (961, [(-62*a + 155, 3/2, 3.008)]), (964, [(-16*a + 50, 1, 1.335), (-216*a + 530, 1, 1.335)]), (985, [(-8*a + 37, -1/2, 0.3301), (-26*a + 71, -3/2, 2.971), (-146*a + 359, -3/2, 2.971), (-348*a + 853, -1/2, 0.3301)]), (993, [(-4*a + 33, -1/2, 0.3288), (-464*a + 1137, -1/2, 0.3288)]), (1009, [(-6*a + 35, 1/2, 0.3262), (-406*a + 995, 1/2, 0.3262)]), (1033, [(-14*a + 47, -1/2, 0.3224), (-254*a + 623, -1/2, 0.3224)]), (1060, [(-36*a + 94, -1/2, 0.3182), (-48*a + 122, -1/2, 0.3182), (-88*a + 218, -1/2, 0.3182), (-116*a + 286, -1/2, 0.3182)]), (1065, [(-22*a + 63, 1, 1.270), (-56*a + 141, -1, 1.270), (-76*a + 189, -1, 1.270), (-182*a + 447, 1, 1.270)]), (1072, [(-12*a + 44, -3/2, 2.848), (-28*a + 76, 1/2, 0.3164), (-148*a + 364, 1/2, 0.3164), (-292*a + 716, -3/2, 2.848)]), (1081, [(-32*a + 85, 0, 0), (-132*a + 325, 0, 0), (-18*a + 55, 0, 0), (-218*a + 535, 0, 0)]), (1129, [(-50*a + 127, 1/2, 0.3084), (-90*a + 223, 1/2, 0.3084)]), (1137, [(-38*a + 99, 1/2, 0.3073), (-118*a + 291, 1/2, 0.3073)]), (1153, [(-44*a + 113, 1, 1.221), (-104*a + 257, 1, 1.221)]), (1156, [(34, -1, 1.219)]), (1200, [(-20*a + 60, -1, 1.196), (-220*a + 540, -1, 1.196)]), (1201, [(-2*a + 35, -1/2, 0.2990), (-602*a + 1475, -1/2, 0.2990)]), (1225, [(-70*a + 175, -1, 1.184)]), (1249, [(-10*a + 43, 1/2, 0.2932), (-370*a + 907, 1/2, 0.2932)]), (1252, [(-12*a + 46, -1/2, 0.2928), (-332*a + 814, -1/2, 0.2928)]), (1273, [(-4*a + 37, -1/2, 0.2904), (-16*a + 53, -1/2, 0.2904), (-276*a + 677, -1/2, 0.2904), (-544*a + 1333, -1/2, 0.2904)]), (1297, [(-8*a + 41, 0, 0), (-428*a + 1049, 0, 0)]), (1321, [(-20*a + 61, -1, 1.140), (-240*a + 589, -1, 1.140)]), (1345, [(-34*a + 91, -1/2, 0.2825), (-64*a + 161, -3/2, 2.543), (-84*a + 209, -3/2, 2.543), (-154*a + 379, -1/2, 0.2825)]), (1348, [(-4*a + 38, 1/2, 0.2822), (-564*a + 1382, 1/2, 0.2822)]), (1369, [(37, 1, 1.120)]), (1380, [(-8*a + 42, 2, 4.462), (-28*a + 78, -1, 1.116), (-188*a + 462, -1, 1.116), (-448*a + 1098, 2, 4.462)]), (1425, [(-40*a + 105, -1, 1.098), (-140*a + 345, -1, 1.098)]), (1444, [(-76*a + 190, 3/2, 2.454)]), (1465, [(-46*a + 119, 3/2, 2.436), (-52*a + 133, 1/2, 0.2707), (-112*a + 277, 1/2, 0.2707), (-126*a + 311, 3/2, 2.436)]), (1489, [(-30*a + 83, -3/2, 2.417), (-190*a + 467, -3/2, 2.417)]), (1497, [(-2*a + 39, 1/2, 0.2678), (-682*a + 1671, 1/2, 0.2678)]), (1504, [(-60*a + 152, 0, 0), (-100*a + 248, 0, 0), (-4*a + 40, 0, 0), (-604*a + 1480, 0, 0)]), (1537, [(-12*a + 49, -1/2, 0.2643), (-18*a + 59, 3/2, 2.378), (-298*a + 731, 3/2, 2.378), (-392*a + 961, -1/2, 0.2643)]), (1569, [(-26*a + 75, -3/2, 2.354), (-226*a + 555, -3/2, 2.354)]), (1585, [(-4*a + 41, -3/2, 2.342), (-22*a + 67, 1/2, 0.2602), (-262*a + 643, 1/2, 0.2602), (-624*a + 1529, -3/2, 2.342)]), (1609, [(-10*a + 47, 1/2, 0.2583), (-450*a + 1103, 1/2, 0.2583)]), (1633, [(-6*a + 43, -1, 1.026), (-566*a + 1387, -1, 1.026), (-36*a + 97, 0, 0), (-176*a + 433, 0, 0)]), (1636, [(-40*a + 106, 0, 0), (-160*a + 394, 0, 0)]), (1641, [(-8*a + 45, 1/2, 0.2558), (-508*a + 1245, 1/2, 0.2558)]), (1657, [(-72*a + 181, 0, 0), (-92*a + 229, 0, 0)]), (1668, [(-64*a + 162, -3/2, 2.283), (-104*a + 258, -3/2, 2.283)]), (1681, [(41, 1, 1.011)]), (1696, [(-20*a + 64, 1, 1.006), (-28*a + 80, 2, 4.025), (-228*a + 560, 2, 4.025), (-300*a + 736, 1, 1.006)]), (1713, [(-16*a + 57, 1/2, 0.2503), (-356*a + 873, 1/2, 0.2503)]), (1732, [(-52*a + 134, 1/2, 0.2490), (-132*a + 326, 1/2, 0.2490)]), (1753, [(-66*a + 167, -1/2, 0.2475), (-106*a + 263, -1/2, 0.2475)]), (1777, [(-32*a + 89, 1, 0.9831), (-212*a + 521, 1, 0.9831)]), (1801, [(-48*a + 125, -1, 0.9766), (-148*a + 365, -1, 0.9766)]), (1825, [(-20*a + 65, 1, 0.9701), (-320*a + 785, 1, 0.9701)]), (1828, [(-16*a + 58, -1, 0.9693), (-376*a + 922, -1, 0.9693)]), (1840, [(-12*a + 52, 1, 0.9661), (-44*a + 116, -1, 0.9661), (-164*a + 404, -1, 0.9661), (-452*a + 1108, 1, 0.9661), (-68*a + 172, 0, 0), (-108*a + 268, 0, 0), (-4*a + 44, 0, 0), (-684*a + 1676, 0, 0)]), (1849, [(-86*a + 215, -1/2, 0.2409)]), (1857, [(-28*a + 81, 1/2, 0.2404), (-248*a + 609, 1/2, 0.2404)]), (1873, [(-24*a + 73, 1, 0.9576), (-284*a + 697, 1, 0.9576)]), (1929, [(-4*a + 45, -1/2, 0.2359), (-704*a + 1725, -1/2, 0.2359)]), (1945, [(-12*a + 53, -1/2, 0.2349), (-38*a + 103, -1/2, 0.2349), (-198*a + 487, -1/2, 0.2349), (-472*a + 1157, -1/2, 0.2349)]), (1956, [(-32*a + 90, 1/2, 0.2343), (-232*a + 570, 1/2, 0.2343)]), (1993, [(-6*a + 47, 3/2, 2.089), (-646*a + 1583, 3/2, 2.089)]), (2001, [(-10*a + 51, -1, 0.9265), (-80*a + 201, 1, 0.9265), (-100*a + 249, 1, 0.9265), (-530*a + 1299, -1, 0.9265)]), (2017, [(-8*a + 49, -1, 0.9228), (-588*a + 1441, -1, 0.9228)]), (2020, [(-4*a + 46, 3/2, 2.075), (-24*a + 74, 3/2, 2.075), (-304*a + 746, 3/2, 2.075), (-724*a + 1774, 3/2, 2.075)]), (2073, [(-44*a + 117, 3/2, 2.048), (-184*a + 453, 3/2, 2.048)]), (2089, [(-34*a + 95, -1/2, 0.2267), (-234*a + 575, -1/2, 0.2267)]), (2113, [(-74*a + 187, 1/2, 0.2254), (-114*a + 283, 1/2, 0.2254)]), (2116, [(-92*a + 230, -2, 3.604)]), (2137, [(-22*a + 71, -3/2, 2.017), (-342*a + 839, -3/2, 2.017)]), (2161, [(-50*a + 131, 3/2, 2.006), (-170*a + 419, 3/2, 2.006)]), (2185, [(-2*a + 47, -2, 3.546), (-16*a + 61, -1, 0.8866), (-26*a + 79, 1, 0.8866), (-68*a + 173, -2, 3.546), (-128*a + 317, -2, 3.546), (-306*a + 751, 1, 0.8866), (-436*a + 1069, -1, 0.8866), (-842*a + 2063, -2, 3.546)]), (2208, [(-76*a + 192, 0, 0), (-116*a + 288, 0, 0), (-4*a + 48, 0, 0), (-764*a + 1872, 0, 0)]), (2209, [(-94*a + 235, -1, 0.8818)]), (2217, [(-62*a + 159, 1/2, 0.2200), (-142*a + 351, 1/2, 0.2200)]), (2224, [(-20*a + 68, 1/2, 0.2197), (-36*a + 100, -1/2, 0.2197), (-236*a + 580, -1/2, 0.2197), (-380*a + 932, 1/2, 0.2197)]), (2272, [(-12*a + 56, -1, 0.8695), (-52*a + 136, -1, 0.8695), (-172*a + 424, -1, 0.8695), (-532*a + 1304, -1, 0.8695)]), (2281, [(-40*a + 109, 0, 0), (-220*a + 541, 0, 0)]), (2305, [(-4*a + 49, 1/2, 0.2158), (-14*a + 59, -1/2, 0.2158), (-494*a + 1211, -1/2, 0.2158), (-784*a + 1921, 1/2, 0.2158)]), (2308, [(-44*a + 118, -1/2, 0.2157), (-204*a + 502, -1/2, 0.2157)]), (2352, [(-28*a + 84, 0, 0), (-308*a + 756, 0, 0)]), (2361, [(-20*a + 69, 1/2, 0.2132), (-400*a + 981, 1/2, 0.2132)]), (2377, [(-88*a + 221, 2, 3.400), (-108*a + 269, 2, 3.400)]), (2404, [(-80*a + 202, 1, 0.8453), (-120*a + 298, 1, 0.8453)]), (2425, [(-10*a + 55, 0, 0), (-610*a + 1495, 0, 0)]), (2433, [(-46*a + 123, -1/2, 0.2101), (-206*a + 507, -1/2, 0.2101)]), (2473, [(-24*a + 77, 1, 0.8334), (-364*a + 893, 1, 0.8334)]), (2505, [(-82*a + 207, -1, 0.8280), (-122*a + 303, -1, 0.8280), (-32*a + 93, 0, 0), (-292*a + 717, 0, 0)]), (2521, [(-28*a + 85, -1, 0.8254), (-328*a + 805, -1, 0.8254)]), (2532, [(-68*a + 174, 3/2, 1.853), (-148*a + 366, 3/2, 1.853)]), (2545, [(-18*a + 67, -1/2, 0.2054), (-52*a + 137, 3/2, 1.848), (-192*a + 473, 3/2, 1.848), (-458*a + 1123, -1/2, 0.2054)]), (2577, [(-2*a + 51, 3/2, 1.837), (-922*a + 2259, 3/2, 1.837)]), (2593, [(-76*a + 193, 0, 0), (-136*a + 337, 0, 0)]), (2608, [(-4*a + 52, -3/2, 1.826), (-84*a + 212, -1/2, 0.2029), (-124*a + 308, -1/2, 0.2029), (-844*a + 2068, -3/2, 1.826)]), (2617, [(-58*a + 151, 1/2, 0.2025), (-178*a + 439, 1/2, 0.2025)]), (2641, [(-42*a + 115, 1/2, 0.2016), (-70*a + 179, -1/2, 0.2016), (-150*a + 371, -1/2, 0.2016), (-242*a + 595, 1/2, 0.2016)]), (2649, [(-64*a + 165, -1/2, 0.2013), (-164*a + 405, -1/2, 0.2013)]), (2689, [(-16*a + 65, 1, 0.7992), (-516*a + 1265, 1, 0.7992)]), (2692, [(-28*a + 86, -5/2, 4.992), (-348*a + 854, -5/2, 4.992)]), (2713, [(-4*a + 53, 0, 0), (-864*a + 2117, 0, 0)]), (2721, [(-22*a + 75, -1/2, 0.1986), (-422*a + 1035, -1/2, 0.1986)]), (2784, [(-20*a + 72, -1, 0.7854), (-44*a + 120, -1, 0.7854), (-244*a + 600, -1, 0.7854), (-460*a + 1128, -1, 0.7854)]), (2785, [(-38*a + 107, 1/2, 0.1963), (-96*a + 241, 1/2, 0.1963), (-116*a + 289, 1/2, 0.1963), (-278*a + 683, 1/2, 0.1963)]), (2793, [(-14*a + 63, -1, 0.7842), (-574*a + 1407, -1, 0.7842)]), (2809, [(53, 3/2, 1.759)]), (2820, [(-4*a + 54, -2, 3.122), (-16*a + 66, 1, 0.7804), (-536*a + 1314, 1, 0.7804), (-884*a + 2166, -2, 3.122)]), (2833, [(-26*a + 83, 3/2, 1.752), (-386*a + 947, 3/2, 1.752)]), (2857, [(-12*a + 61, 1, 0.7754), (-632*a + 1549, 1, 0.7754)]), (2865, [(-8*a + 57, -1, 0.7743), (-34*a + 99, -1, 0.7743), (-314*a + 771, -1, 0.7743), (-748*a + 1833, -1, 0.7743)]), (2881, [(-10*a + 59, -3/2, 1.737), (-30*a + 91, 1/2, 0.1930), (-350*a + 859, 1/2, 0.1930), (-690*a + 1691, -3/2, 1.737)]), (2929, [(-20*a + 73, -1/2, 0.1914), (-90*a + 227, -1/2, 0.1914), (-130*a + 323, -1/2, 0.1914), (-480*a + 1177, -1/2, 0.1914)]), (2953, [(-54*a + 143, -3/2, 1.716), (-214*a + 527, -3/2, 1.716)]), (2980, [(-8*a + 58, 3/2, 1.708), (-12*a + 62, 1/2, 0.1898), (-652*a + 1598, 1/2, 0.1898), (-768*a + 1882, 3/2, 1.708)]), (3001, [(-2*a + 55, -1/2, 0.1891), (-1002*a + 2455, -1/2, 0.1891)]), (3025, [(-110*a + 275, 1, 0.7535)]), (3040, [(-4*a + 56, 3, 6.765), (-28*a + 88, -1, 0.7517), (-36*a + 104, 1, 0.7517), (-92*a + 232, 1, 0.7517), (-132*a + 328, 1, 0.7517), (-316*a + 776, 1, 0.7517), (-388*a + 952, -1, 0.7517), (-924*a + 2264, 3, 6.765)]), (3049, [(-60*a + 157, -1, 0.7505), (-200*a + 493, -1, 0.7505)]), (3076, [(-48*a + 130, 0, 0), (-248*a + 610, 0, 0)]), (3097, [(-18*a + 71, 1/2, 0.1862), (-78*a + 199, -1/2, 0.1862), (-158*a + 391, -1/2, 0.1862), (-538*a + 1319, 1/2, 0.1862)]), (3121, [(-72*a + 185, 0, 0), (-172*a + 425, 0, 0)]), (3153, [(-4*a + 57, 1/2, 0.1845), (-944*a + 2313, 1/2, 0.1845)]), (3169, [(-40*a + 113, -2, 2.945), (-300*a + 737, -2, 2.945)]), (3217, [(-28*a + 89, 2, 2.923), (-408*a + 1001, 2, 2.923)]), (3225, [(-50*a + 135, -1, 0.7298), (-250*a + 615, -1, 0.7298)]), (3232, [(-12*a + 64, 1, 0.7290), (-68*a + 176, -2, 2.916), (-188*a + 464, -2, 2.916), (-692*a + 1696, 1, 0.7290)]), (3265, [(-6*a + 59, 1/2, 0.1813), (-32*a + 97, -1/2, 0.1813), (-372*a + 913, -1/2, 0.1813), (-886*a + 2171, 1/2, 0.1813)]), (3268, [(-24*a + 82, 1/2, 0.1812), (-96*a + 242, 3/2, 1.631), (-136*a + 338, 3/2, 1.631), (-464*a + 1138, 1/2, 0.1812)]), (3313, [(-14*a + 67, 1/2, 0.1800), (-654*a + 1603, 1/2, 0.1800)]), (3337, [(-22*a + 79, 1, 0.7174), (-502*a + 1231, 1, 0.7174), (-8*a + 61, 0, 0), (-828*a + 2029, 0, 0)]), (3361, [(-12*a + 65, 0, 0), (-712*a + 1745, 0, 0)]), (3364, [(58, -3/2, 1.608)]), (3369, [(-10*a + 63, -1/2, 0.1785), (-770*a + 1887, -1/2, 0.1785)]), (3376, [(-20*a + 76, -3/2, 1.605), (-52*a + 140, -3/2, 1.605), (-252*a + 620, -3/2, 1.605), (-540*a + 1324, -3/2, 1.605)]), (3385, [(-56*a + 149, 1/2, 0.1781), (-98*a + 247, 1/2, 0.1781), (-138*a + 343, 1/2, 0.1781), (-236*a + 581, 1/2, 0.1781)]), (3396, [(-40*a + 114, 3/2, 1.600), (-320*a + 786, 3/2, 1.600)]), (3433, [(-46*a + 127, 1/2, 0.1768), (-286*a + 703, 1/2, 0.1768)]), (3457, [(-2*a + 59, -3/2, 1.586), (-1082*a + 2651, -3/2, 1.586)]), (3460, [(-32*a + 98, -5/2, 4.404), (-84*a + 214, -1/2, 0.1761), (-164*a + 406, -1/2, 0.1761), (-392*a + 962, -5/2, 4.404)]), (3481, [(-118*a + 295, -3/2, 1.580)]), (3504, [(-4*a + 60, 2, 2.800), (-1004*a + 2460, 2, 2.800), (-100*a + 252, 0, 0), (-140*a + 348, 0, 0)]), (3505, [(-62*a + 163, -1/2, 0.1750), (-92*a + 233, 3/2, 1.575), (-152*a + 377, 3/2, 1.575), (-222*a + 547, -1/2, 0.1750)]), (3513, [(-26*a + 87, 1/2, 0.1748), (-466*a + 1143, 1/2, 0.1748)]), (3529, [(-20*a + 77, 1, 0.6976), (-560*a + 1373, 1, 0.6976)]), (3577, [(-42*a + 119, -1, 0.6929), (-322*a + 791, -1, 0.6929)]), (3585, [(-68*a + 177, -1, 0.6922), (-86*a + 219, 1, 0.6922), (-166*a + 411, 1, 0.6922), (-208*a + 513, -1, 0.6922)]), (3657, [(-52*a + 141, 1, 0.6853), (-272*a + 669, 1, 0.6853), (-38*a + 111, 0, 0), (-358*a + 879, 0, 0)]), (3673, [(-34*a + 103, 1/2, 0.1710), (-394*a + 967, 1/2, 0.1710)]), (3684, [(-20*a + 78, -1/2, 0.1707), (-580*a + 1422, -1/2, 0.1707)]), (3697, [(-112*a + 281, 1, 0.6816), (-132*a + 329, 1, 0.6816)]), (3721, [(61, 1, 0.6794)]), (3748, [(-4*a + 62, -3/2, 1.523), (-1044*a + 2558, -3/2, 1.523)]), (3760, [(-12*a + 68, 2, 2.703), (-28*a + 92, -3, 6.083), (-44*a + 124, 1, 0.6759), (-76*a + 196, 2, 2.703), (-196*a + 484, 2, 2.703), (-324*a + 796, 1, 0.6759), (-468*a + 1148, -3, 6.083), (-772*a + 1892, 2, 2.703)]), (3769, [(-24*a + 85, 1, 0.6751), (-524*a + 1285, 1, 0.6751)]), (3793, [(-16*a + 73, 0, 0), (-676*a + 1657, 0, 0)]), (3841, [(-58*a + 155, 1, 0.6687), (-258*a + 635, 1, 0.6687), (-8*a + 65, 0, 0), (-908*a + 2225, 0, 0)]), (3844, [(-124*a + 310, -1/2, 0.1671)]), (3865, [(-14*a + 71, -1/2, 0.1667), (-48*a + 133, -3/2, 1.500), (-308*a + 757, -3/2, 1.500), (-734*a + 1799, -1/2, 0.1667)]), (3873, [(-106*a + 267, 1/2, 0.1665), (-146*a + 363, 1/2, 0.1665)]), (3889, [(-10*a + 67, 1/2, 0.1661), (-850*a + 2083, 1/2, 0.1661)]), (3940, [(-16*a + 74, -3/2, 1.486), (-52*a + 142, -1/2, 0.1651), (-292*a + 718, -1/2, 0.1651), (-696*a + 1706, -3/2, 1.486)]), (3945, [(-2*a + 63, -1, 0.6598), (-28*a + 93, 2, 2.639), (-488*a + 1197, 2, 2.639), (-1162*a + 2847, -1, 0.6598)]), (3972, [(-8*a + 66, 1/2, 0.1644), (-928*a + 2274, 1/2, 0.1644)]), (3985, [(-22*a + 83, 3/2, 1.477), (-64*a + 169, -1/2, 0.1641), (-244*a + 601, -1/2, 0.1641), (-582*a + 1427, 3/2, 1.477)]), (4009, [(-44*a + 125, -3/2, 1.473), (-100*a + 253, 1/2, 0.1636), (-160*a + 397, 1/2, 0.1636), (-344*a + 845, -3/2, 1.473)]), (4036, [(-12*a + 70, -1/2, 0.1631), (-812*a + 1990, -1/2, 0.1631)]), (4057, [(-32*a + 101, -1, 0.6507), (-452*a + 1109, -1, 0.6507)]), (4089, [(-40*a + 117, 1, 0.6481), (-70*a + 183, 2, 2.592), (-230*a + 567, 2, 2.592), (-380*a + 933, 1, 0.6481)]), (4105, [(-36*a + 109, 1/2, 0.1617), (-94*a + 239, -1/2, 0.1617), (-174*a + 431, -1/2, 0.1617), (-416*a + 1021, 1/2, 0.1617)]), (4129, [(-4*a + 65, 0, 0), (-1104*a + 2705, 0, 0)]), (4132, [(-28*a + 94, -1/2, 0.1612), (-508*a + 1246, -1/2, 0.1612)]), (4153, [(-76*a + 197, 0, 0), (-216*a + 533, 0, 0)]), (4161, [(-20*a + 81, -1, 0.6425), (-88*a + 225, 1, 0.6425), (-188*a + 465, 1, 0.6425), (-640*a + 1569, -1, 0.6425)]), (4177, [(-82*a + 211, 1/2, 0.1603), (-202*a + 499, 1/2, 0.1603)]), (4201, [(-120*a + 301, -1, 0.6394), (-140*a + 349, -1, 0.6394)]), (4225, [(65, 2, 2.550)]), (4260, [(-44*a + 126, 3, 5.715), (-112*a + 282, 1, 0.6350), (-152*a + 378, 1, 0.6350), (-364*a + 894, 3, 5.715)]), (4273, [(-6*a + 67, -1/2, 0.1585), (-1046*a + 2563, -1/2, 0.1585)]), (4297, [(-18*a + 79, -1/2, 0.1581), (-698*a + 1711, -1/2, 0.1581)]), (4321, [(-50*a + 139, 1/2, 0.1576), (-60*a + 161, -3/2, 1.419), (-280*a + 689, -3/2, 1.419), (-330*a + 811, 1/2, 0.1576)]), (4324, [(-36*a + 110, 2, 2.521), (-64*a + 170, 2, 2.521), (-264*a + 650, 2, 2.521), (-436*a + 1070, 2, 2.521)]), (4377, [(-8*a + 69, 1/2, 0.1566), (-988*a + 2421, 1/2, 0.1566)]), (4393, [(-16*a + 77, -2, 2.501), (-114*a + 287, 2, 2.501), (-154*a + 383, 2, 2.501), (-756*a + 1853, -2, 2.501)]), (4441, [(-10*a + 71, -3/2, 1.399), (-930*a + 2279, -3/2, 1.399)]), (4449, [(-14*a + 75, 3/2, 1.398), (-814*a + 1995, 3/2, 1.398)]), (4465, [(-24*a + 89, -1, 0.6202), (-46*a + 131, 1, 0.6202), (-366*a + 899, 1, 0.6202), (-604*a + 1481, -1, 0.6202), (-12*a + 73, 0, 0), (-872*a + 2137, 0, 0), (-2*a + 67, 0, 0), (-1242*a + 3043, 0, 0)]), (4489, [(-134*a + 335, -5/2, 3.866)]), (4512, [(-52*a + 144, 2, 2.468), (-332*a + 816, 2, 2.468), (-28*a + 96, 0, 0), (-548*a + 1344, 0, 0)]), (4513, [(-34*a + 107, 1/2, 0.1542), (-474*a + 1163, 1/2, 0.1542)]), (4516, [(-100*a + 254, -5/2, 3.854), (-180*a + 446, -5/2, 3.854)]), (4528, [(-4*a + 68, -1/2, 0.1540), (-116*a + 292, -3/2, 1.386), (-156*a + 388, -3/2, 1.386), (-1164*a + 2852, -1/2, 0.1540)]), (4548, [(-76*a + 198, 3/2, 1.383), (-236*a + 582, 3/2, 1.383)]), (4561, [(-38*a + 115, 1/2, 0.1534), (-438*a + 1075, 1/2, 0.1534)]), (4593, [(-56*a + 153, -3/2, 1.376), (-316*a + 777, -3/2, 1.376)]), (4612, [(-88*a + 226, -1, 0.6103), (-208*a + 514, -1, 0.6103)]), (4656, [(-68*a + 180, -2, 2.429), (-268*a + 660, -2, 2.429), (-20*a + 84, 0, 0), (-700*a + 1716, 0, 0)]), (4657, [(-102*a + 259, 3/2, 1.366), (-182*a + 451, 3/2, 1.366)]), (4665, [(-22*a + 87, 2, 2.427), (-662*a + 1623, 2, 2.427), (-4*a + 69, 0, 0), (-1184*a + 2901, 0, 0)]), (4705, [(-28*a + 97, 3/2, 1.359), (-78*a + 203, -1/2, 0.1510), (-238*a + 587, -1/2, 0.1510), (-568*a + 1393, 3/2, 1.359)]), (4729, [(-96*a + 245, 1, 0.6027), (-196*a + 485, 1, 0.6027)]), (4737, [(-128*a + 321, -3/2, 1.355), (-148*a + 369, -3/2, 1.355)]), (4753, [(-84*a + 217, -1, 0.6011), (-224*a + 553, -1, 0.6011)]), (4768, [(-36*a + 112, 2, 2.401), (-44*a + 128, -1, 0.6002), (-404*a + 992, -1, 0.6002), (-476*a + 1168, 2, 2.401)]), (4801, [(-52*a + 145, 1, 0.5981), (-352*a + 865, 1, 0.5981)]), (4804, [(-4*a + 70, -1/2, 0.1495), (-1204*a + 2950, -1/2, 0.1495)]), (4825, [(-20*a + 85, 1, 0.5966), (-720*a + 1765, 1, 0.5966)]), (4881, [(-32*a + 105, -1/2, 0.1483), (-532*a + 1305, -1/2, 0.1483)]), (4900, [(-140*a + 350, 1, 0.5920)]), (4912, [(-12*a + 76, 1/2, 0.1478), (-92*a + 236, 5/2, 3.696), (-212*a + 524, 5/2, 3.696), (-932*a + 2284, 1/2, 0.1478)]), (4945, [(-18*a + 83, -1, 0.5893), (-48*a + 137, -1, 0.5893), (-388*a + 953, -1, 0.5893), (-778*a + 1907, -1, 0.5893), (-122*a + 307, 0, 0), (-162*a + 403, 0, 0), (-8*a + 73, 0, 0), (-1068*a + 2617, 0, 0)]), (4969, [(-26*a + 95, 3/2, 1.323), (-626*a + 1535, 3/2, 1.323)]), (4993, [(-36*a + 113, 2, 2.346), (-496*a + 1217, 2, 2.346)]), (4996, [(-20*a + 86, 1/2, 0.1466), (-740*a + 1814, 1/2, 0.1466)]), (5017, [(-2*a + 71, 5/2, 3.657), (-68*a + 181, 1/2, 0.1463), (-288*a + 709, 1/2, 0.1463), (-1322*a + 3239, 5/2, 3.657)]), (5025, [(-10*a + 75, 1, 0.5846), (-1010*a + 2475, 1, 0.5846)]), (5041, [(-142*a + 355, 0, 0)]), (5065, [(-12*a + 77, -5/2, 3.640), (-14*a + 79, 1/2, 0.1456), (-894*a + 2191, 1/2, 0.1456), (-952*a + 2333, -5/2, 3.640)]), (5088, [(-4*a + 72, -1, 0.5810), (-124*a + 312, 1, 0.5810), (-164*a + 408, 1, 0.5810), (-1244*a + 3048, -1, 0.5810)]), (5092, [(-8*a + 74, 3/2, 1.307), (-32*a + 106, -1/2, 0.1452), (-552*a + 1354, -1/2, 0.1452), (-1088*a + 2666, 3/2, 1.307)]), (5097, [(-58*a + 159, -3/2, 1.306), (-338*a + 831, -3/2, 1.306)]), (5113, [(-116*a + 293, 0, 0), (-176*a + 437, 0, 0)]), (5169, [(-74*a + 195, 1/2, 0.1441), (-274*a + 675, 1/2, 0.1441)]), (5188, [(-16*a + 82, 1, 0.5754), (-856*a + 2098, 1, 0.5754)]), (5209, [(-30*a + 103, -1/2, 0.1436), (-590*a + 1447, -1/2, 0.1436)]), (5233, [(-4*a + 73, -1, 0.5729), (-1264*a + 3097, -1, 0.5729)]), (5241, [(-110*a + 279, 1/2, 0.1431), (-190*a + 471, 1/2, 0.1431)]), (5281, [(-80*a + 209, 0, 0), (-260*a + 641, 0, 0)]), (5284, [(-40*a + 122, -1, 0.5701), (-480*a + 1178, -1, 0.5701)]), (5296, [(-28*a + 100, -1/2, 0.1424), (-60*a + 164, 5/2, 3.559), (-340*a + 836, 5/2, 3.559), (-628*a + 1540, -1/2, 0.1424)]), (5305, [(-54*a + 151, -1/2, 0.1423), (-136*a + 341, -3/2, 1.280), (-156*a + 389, -3/2, 1.280), (-374*a + 919, -1/2, 0.1423)]), (5329, [(73, 2, 2.271)]), (5344, [(-20*a + 88, -1, 0.5669), (-76*a + 200, -1, 0.5669), (-276*a + 680, -1, 0.5669), (-780*a + 1912, -1, 0.5669)]), (5353, [(-64*a + 173, 1/2, 0.1416), (-86*a + 223, -3/2, 1.274), (-246*a + 607, -3/2, 1.274), (-324*a + 797, 1/2, 0.1416)]), (5377, [(-22*a + 91, -1/2, 0.1413), (-98*a + 251, -3/2, 1.272), (-218*a + 539, -3/2, 1.272), (-742*a + 1819, -1/2, 0.1413)]), (5380, [(-68*a + 182, 3/2, 1.271), (-128*a + 322, -3/2, 1.271), (-168*a + 418, -3/2, 1.271), (-308*a + 758, 3/2, 1.271)]), (5385, [(-92*a + 237, 0, 0), (-232*a + 573, 0, 0), (-34*a + 111, 0, 0), (-554*a + 1359, 0, 0)]), (5449, [(-50*a + 143, 1/2, 0.1404), (-410*a + 1007, 1/2, 0.1404)]), (5476, [(74, -3, 5.040)]), (5497, [(-38*a + 119, 0, 0), (-518*a + 1271, 0, 0), (-28*a + 101, 0, 0), (-648*a + 1589, 0, 0)]), (5521, [(-20*a + 89, 0, 0), (-800*a + 1961, 0, 0)]), (5529, [(-46*a + 135, -1, 0.5574), (-130*a + 327, -2, 2.229), (-170*a + 423, -2, 2.229), (-446*a + 1095, -1, 0.5574)]), (5536, [(-12*a + 80, -1, 0.5570), (-1012*a + 2480, -1, 0.5570), (-100*a + 256, 0, 0), (-220*a + 544, 0, 0)]), (5545, [(-8*a + 77, -3/2, 1.252), (-42*a + 127, 1/2, 0.1391), (-482*a + 1183, 1/2, 0.1391), (-1148*a + 2813, -3/2, 1.252)]), (5569, [(-70*a + 187, 1/2, 0.1388), (-310*a + 763, 1/2, 0.1388)]), (5601, [(-2*a + 75, -3/2, 1.246), (-1402*a + 3435, -3/2, 1.246)]), (5641, [(-10*a + 79, 1/2, 0.1379), (-1090*a + 2671, 1/2, 0.1379)]), (5680, [(-36*a + 116, 2, 2.200), (-52*a + 148, 2, 2.200), (-412*a + 1012, 2, 2.200), (-556*a + 1364, 2, 2.200), (-132*a + 332, 0, 0), (-172*a + 428, 0, 0), (-4*a + 76, 0, 0), (-1324*a + 3244, 0, 0)]), (5689, [(-16*a + 85, 0, 0), (-916*a + 2245, 0, 0)]), (5700, [(-80*a + 210, 1, 0.5489), (-280*a + 690, 1, 0.5489)]), (5713, [(-14*a + 83, -1/2, 0.1371), (-124*a + 313, -1/2, 0.1371), (-184*a + 457, -1/2, 0.1371), (-974*a + 2387, -1/2, 0.1371)]), (5737, [(-32*a + 109, -1, 0.5472), (-612*a + 1501, -1, 0.5472)]), (5745, [(-26*a + 99, 2, 2.187), (-76*a + 201, 1, 0.5468), (-296*a + 729, 1, 0.5468), (-706*a + 1731, 2, 2.187)]), (5808, [(-44*a + 132, 1, 0.5438), (-484*a + 1188, 1, 0.5438)]), (5833, [(-4*a + 77, 5/2, 3.391), (-56*a + 157, 1/2, 0.1357), (-396*a + 973, 1/2, 0.1357), (-1344*a + 3293, 5/2, 3.391)]), (5857, [(-118*a + 299, -3/2, 1.218), (-198*a + 491, -3/2, 1.218)]), (5860, [(-92*a + 238, -3/2, 1.218), (-104*a + 266, -5/2, 3.384), (-224*a + 554, -5/2, 3.384), (-252*a + 622, -3/2, 1.218)]), (5881, [(-82*a + 215, 3/2, 1.216), (-282*a + 695, 3/2, 1.216)]), (5905, [(-66*a + 179, -5/2, 3.371), (-144*a + 361, 1/2, 0.1348), (-164*a + 409, 1/2, 0.1348), (-346*a + 851, -5/2, 3.371)]), (5929, [(77, 3, 4.844)]), (5953, [(-24*a + 97, 0, 0), (-764*a + 1873, 0, 0)]), (5956, [(-60*a + 166, -1/2, 0.1343), (-380*a + 934, -1/2, 0.1343)]), (5961, [(-112*a + 285, 1/2, 0.1342), (-212*a + 525, 1/2, 0.1342)]), (5977, [(-52*a + 149, -1/2, 0.1340), (-88*a + 229, -1/2, 0.1340), (-268*a + 661, -1/2, 0.1340), (-432*a + 1061, -1/2, 0.1340)]), (5988, [(-4*a + 78, 1/2, 0.1339), (-1364*a + 3342, 1/2, 0.1339)]), (6025, [(-40*a + 125, 2, 2.136), (-540*a + 1325, 2, 2.136)]), (6033, [(-94*a + 243, -1/2, 0.1334), (-254*a + 627, -1/2, 0.1334)]), (6049, [(-30*a + 107, 2, 2.131), (-100*a + 257, -2, 2.131), (-240*a + 593, -2, 2.131), (-670*a + 1643, 2, 2.131)]), (6064, [(-20*a + 92, -5/2, 3.326), (-84*a + 220, -1/2, 0.1330), (-284*a + 700, -1/2, 0.1330), (-860*a + 2108, -5/2, 3.326)]), (6073, [(-44*a + 133, -1, 0.5318), (-504*a + 1237, -1, 0.5318)]), (6112, [(-68*a + 184, 0, 0), (-348*a + 856, 0, 0), (-28*a + 104, 0, 0), (-708*a + 1736, 0, 0)]), (6121, [(-22*a + 95, 5/2, 3.311), (-822*a + 2015, 5/2, 3.311)]), (6145, [(-72*a + 193, -3/2, 1.190), (-138*a + 347, 5/2, 3.304), (-178*a + 443, 5/2, 3.304), (-332*a + 817, -3/2, 1.190)]), (6148, [(-24*a + 98, -1/2, 0.1321), (-36*a + 118, -1/2, 0.1321), (-596*a + 1462, -1/2, 0.1321), (-784*a + 1922, -1/2, 0.1321)]), (6177, [(-62*a + 171, 0, 0), (-382*a + 939, 0, 0), (-8*a + 81, 0, 0), (-1228*a + 3009, 0, 0)]), (6217, [(-2*a + 79, 3/2, 1.183), (-1482*a + 3631, 3/2, 1.183)]), (6241, [(-158*a + 395, 7/2, 6.426)]), (6249, [(-20*a + 93, -3/2, 1.180), (-880*a + 2157, -3/2, 1.180)]), (6276, [(-52*a + 150, 3/2, 1.177), (-452*a + 1110, 3/2, 1.177)]), (6289, [(-10*a + 83, 3/2, 1.176), (-34*a + 115, 1/2, 0.1306), (-634*a + 1555, 1/2, 0.1306), (-1170*a + 2867, 3/2, 1.176)]), (6304, [(-4*a + 80, -2, 2.088), (-140*a + 352, 1, 0.5220), (-180*a + 448, 1, 0.5220), (-1404*a + 3440, -2, 2.088)]), (6321, [(-28*a + 105, 0, 0), (-728*a + 1785, 0, 0)]), (6337, [(-18*a + 91, -3/2, 1.171), (-938*a + 2299, -3/2, 1.171)]), (6340, [(-8*a + 82, -3/2, 1.171), (-44*a + 134, 1/2, 0.1301), (-524*a + 1286, 1/2, 0.1301), (-1248*a + 3058, -3/2, 1.171)]), (6361, [(-12*a + 85, 1, 0.5196), (-1112*a + 2725, 1, 0.5196)]), (6385, [(-16*a + 89, 1/2, 0.1297), (-58*a + 163, 1/2, 0.1297), (-418*a + 1027, 1/2, 0.1297), (-996*a + 2441, 1/2, 0.1297)]), (6393, [(-14*a + 87, -1/2, 0.1296), (-1054*a + 2583, -1/2, 0.1296)]), (6436, [(-20*a + 94, 1/2, 0.1291), (-900*a + 2206, 1/2, 0.1291)]), (6465, [(-4*a + 81, -1, 0.5154), (-38*a + 123, -3, 4.639), (-598*a + 1467, -3, 4.639), (-1424*a + 3489, -1, 0.5154)]), (6481, [(-68*a + 185, 1, 0.5148), (-368*a + 905, 1, 0.5148)]), (6505, [(-84*a + 221, 5/2, 3.212), (-126*a + 319, -1/2, 0.1285), (-206*a + 511, -1/2, 0.1285), (-304*a + 749, 5/2, 3.212)]), (6529, [(-54*a + 155, -1/2, 0.1282), (-454*a + 1115, -1/2, 0.1282)]), (6532, [(-12*a + 86, 1, 0.5128), (-72*a + 194, -2, 2.051), (-352*a + 866, -2, 2.051), (-1132*a + 2774, 1, 0.5128)]), (6537, [(-152*a + 381, 1/2, 0.1281), (-172*a + 429, 1/2, 0.1281)]), (6553, [(-26*a + 103, -3/2, 1.152), (-786*a + 1927, -3/2, 1.152)]), (6564, [(-16*a + 90, -3/2, 1.151), (-1016*a + 2490, -3/2, 1.151)]), (6577, [(-42*a + 131, -3/2, 1.150), (-562*a + 1379, -3/2, 1.150)]), (6609, [(-50*a + 147, -3/2, 1.147), (-490*a + 1203, -3/2, 1.147)]), (6628, [(-144*a + 362, 0, 0), (-184*a + 458, 0, 0)]), (6673, [(-6*a + 83, 1/2, 0.1268), (-1366*a + 3347, 1/2, 0.1268)]), (6724, [(82, -3, 4.549)]), (6745, [(-24*a + 101, -2, 2.018), (-102*a + 263, 2, 2.018), (-262*a + 647, 2, 2.018), (-844*a + 2069, -2, 2.018), (-108*a + 277, 0, 0), (-248*a + 613, 0, 0), (-74*a + 199, 0, 0), (-354*a + 871, 0, 0)]), (6753, [(-64*a + 177, 3/2, 1.135), (-404*a + 993, 3/2, 1.135)]), (6793, [(-146*a + 367, 3/2, 1.131), (-186*a + 463, 3/2, 1.131)]), (6816, [(-92*a + 240, 0, 0), (-292*a + 720, 0, 0), (-20*a + 96, 0, 0), (-940*a + 2304, 0, 0)]), (6841, [(-8*a + 85, -1, 0.5011), (-1308*a + 3205, -1, 0.5011)]), (6852, [(-32*a + 114, -5/2, 3.129), (-712*a + 1746, -5/2, 3.129)]), (6865, [(-2*a + 83, 1/2, 0.1250), (-36*a + 121, -3/2, 1.125), (-656*a + 1609, -3/2, 1.125), (-1562*a + 3827, 1/2, 0.1250)]), (6880, [(-12*a + 88, 1, 0.4996), (-44*a + 136, 1, 0.4996), (-52*a + 152, -3, 4.497), (-116*a + 296, 1, 0.4996), (-236*a + 584, 1, 0.4996), (-492*a + 1208, -3, 4.497), (-564*a + 1384, 1, 0.4996), (-1172*a + 2872, 1, 0.4996)]), (6889, [(-166*a + 415, -3/2, 1.123)]), (6897, [(-22*a + 99, 0, 0), (-902*a + 2211, 0, 0)]), (6960, [(-4*a + 84, -1, 0.4968), (-28*a + 108, 1, 0.4968), (-76*a + 204, -3, 4.471), (-148*a + 372, 1, 0.4968), (-188*a + 468, 1, 0.4968), (-356*a + 876, -3, 4.471), (-788*a + 1932, 1, 0.4968), (-1484*a + 3636, -1, 0.4968)]), (6961, [(-60*a + 169, -1, 0.4967), (-440*a + 1081, -1, 0.4967)]), (6969, [(-10*a + 87, 2, 1.986), (-80*a + 213, 2, 1.986), (-340*a + 837, 2, 1.986), (-1250*a + 3063, 2, 1.986)]), (7009, [(-20*a + 97, 3/2, 1.114), (-140*a + 353, -3/2, 1.114), (-200*a + 497, -3/2, 1.114), (-960*a + 2353, 3/2, 1.114)]), (7012, [(-132*a + 334, 3/2, 1.114), (-212*a + 526, 3/2, 1.114)]), (7041, [(-40*a + 129, -3/2, 1.111), (-620*a + 1521, -3/2, 1.111)]), (7057, [(-12*a + 89, 1, 0.4933), (-1192*a + 2921, 1, 0.4933)]), (7081, [(-18*a + 95, -2, 1.970), (-70*a + 191, 2, 1.970), (-390*a + 959, 2, 1.970), (-1018*a + 2495, -2, 1.970)]), (7105, [(-56*a + 161, 0, 0), (-476*a + 1169, 0, 0), (-14*a + 91, 0, 0), (-1134*a + 2779, 0, 0)]), (7108, [(-64*a + 178, -1, 0.4916), (-424*a + 1042, -1, 0.4916)]), (7113, [(-16*a + 93, -3/2, 1.106), (-1076*a + 2637, -3/2, 1.106)]), (7129, [(-4*a + 85, -1, 0.4908), (-1504*a + 3685, -1, 0.4908)]), (7153, [(-86*a + 227, -3, 4.410), (-326*a + 803, -3, 4.410), (-44*a + 137, 0, 0), (-584*a + 1433, 0, 0)]), (7177, [(-28*a + 109, 1, 0.4892), (-808*a + 1981, 1, 0.4892)]), (7185, [(-134*a + 339, 0, 0), (-214*a + 531, 0, 0), (-52*a + 153, 0, 0), (-512*a + 1257, 0, 0)]), (7201, [(-48*a + 145, 1/2, 0.1221), (-160*a + 401, 1/2, 0.1221), (-180*a + 449, 1/2, 0.1221), (-548*a + 1345, 1/2, 0.1221)]), (7204, [(-96*a + 250, 2, 1.953), (-296*a + 730, 2, 1.953)]), (7225, [(85, 0, 0)]), (7297, [(-92*a + 241, -1, 0.4852), (-312*a + 769, -1, 0.4852)]), (7300, [(-40*a + 130, -1, 0.4851), (-640*a + 1570, -1, 0.4851)]), (7321, [(-128*a + 325, 0, 0), (-228*a + 565, 0, 0)]), (7369, [(-76*a + 205, 0, 0), (-376*a + 925, 0, 0)]), (7393, [(-26*a + 107, 1/2, 0.1205), (-866*a + 2123, 1/2, 0.1205)]), (7396, [(-172*a + 430, 3/2, 1.084)]), (7401, [(-98*a + 255, -3/2, 1.084), (-298*a + 735, -3/2, 1.084)]), (7417, [(-122*a + 311, 1/2, 0.1203), (-242*a + 599, 1/2, 0.1203)]), (7428, [(-56*a + 162, -5/2, 3.005), (-496*a + 1218, -5/2, 3.005)]), (7465, [(-38*a + 127, 1/2, 0.1199), (-104*a + 269, -3/2, 1.079), (-284*a + 701, -3/2, 1.079), (-678*a + 1663, 1/2, 0.1199)]), (7473, [(-154*a + 387, -2, 1.918), (-194*a + 483, -2, 1.918), (-116*a + 297, 0, 0), (-256*a + 633, 0, 0)]), (7489, [(-110*a + 283, -3/2, 1.078), (-270*a + 667, -3/2, 1.078)]), (7492, [(-48*a + 146, 2, 1.915), (-568*a + 1394, 2, 1.915)]), (7537, [(-8*a + 89, -2, 1.909), (-1388*a + 3401, -2, 1.909)]), (7545, [(-32*a + 117, 1, 0.4771), (-772*a + 1893, 1, 0.4771), (-2*a + 87, 0, 0), (-1642*a + 4023, 0, 0)]), (7561, [(-62*a + 175, -1/2, 0.1192), (-462*a + 1135, -1/2, 0.1192)]), (7600, [(-20*a + 100, -1, 0.4754), (-100*a + 260, 1, 0.4754), (-300*a + 740, 1, 0.4754), (-1020*a + 2500, -1, 0.4754)]), (7617, [(-82*a + 219, -5/2, 2.968), (-362*a + 891, -5/2, 2.968)]), (7648, [(-156*a + 392, -4, 7.582), (-196*a + 488, -4, 7.582), (-4*a + 88, 0, 0), (-1564*a + 3832, 0, 0)]), (7681, [(-10*a + 91, 1/2, 0.1182), (-1330*a + 3259, 1/2, 0.1182)]), (7705, [(-22*a + 103, -1, 0.4721), (-58*a + 167, 2, 1.889), (-72*a + 197, -2, 1.889), (-148*a + 373, -1, 0.4721), (-208*a + 517, -1, 0.4721), (-412*a + 1013, -2, 1.889), (-498*a + 1223, 2, 1.889), (-982*a + 2407, -1, 0.4721)]), (7716, [(-8*a + 90, 3/2, 1.062), (-1408*a + 3450, 3/2, 1.062)]), (7753, [(-46*a + 143, -3/2, 1.059), (-606*a + 1487, -3/2, 1.059)]), (7780, [(-24*a + 106, 1/2, 0.1175), (-76*a + 206, -3/2, 1.057), (-396*a + 974, -3/2, 1.057), (-944*a + 2314, 1/2, 0.1175)]), (7801, [(-20*a + 101, 1/2, 0.1173), (-50*a + 151, 1/2, 0.1173), (-570*a + 1399, 1/2, 0.1173), (-1040*a + 2549, 1/2, 0.1173)]), (7825, [(-30*a + 115, 0, 0), (-830*a + 2035, 0, 0)]), (7840, [(-28*a + 112, -2, 1.872), (-84*a + 224, 2, 1.872), (-364*a + 896, 2, 1.872), (-868*a + 2128, -2, 1.872)]), (7849, [(-14*a + 95, 2, 1.871), (-36*a + 125, -2, 1.871), (-736*a + 1805, -2, 1.871), (-1214*a + 2975, 2, 1.871)]), (7873, [(-16*a + 97, -1, 0.4671), (-1156*a + 2833, -1, 0.4671)]), (7897, [(-142*a + 359, -1/2, 0.1166), (-168*a + 421, 1/2, 0.1166), (-188*a + 469, 1/2, 0.1166), (-222*a + 551, -1/2, 0.1166)]), (7921, [(89, 2, 1.863)]), (7972, [(-12*a + 94, 1/2, 0.1160), (-1292*a + 3166, 1/2, 0.1160)]), (7977, [(-68*a + 189, 1/2, 0.1160), (-448*a + 1101, 1/2, 0.1160)]), (7984, [(-44*a + 140, -1/2, 0.1160), (-60*a + 172, -1/2, 0.1160), (-500*a + 1228, -1/2, 0.1160), (-644*a + 1580, -1/2, 0.1160)]), (7993, [(-94*a + 247, 1/2, 0.1159), (-334*a + 823, 1/2, 0.1159)]), (8004, [(-20*a + 102, -1, 0.4632), (-160*a + 402, 1, 0.4632), (-200*a + 498, 1, 0.4632), (-1060*a + 2598, -1, 0.4632)]), (8017, [(-78*a + 211, 3/2, 1.041), (-398*a + 979, 3/2, 1.041)]), (8049, [(-136*a + 345, 3/2, 1.039), (-236*a + 585, 3/2, 1.039)]), (8065, [(-6*a + 91, -1/2, 0.1154), (-28*a + 113, 5/2, 2.884), (-888*a + 2177, 5/2, 2.884), (-1526*a + 3739, -1/2, 0.1154)]), (8068, [(-16*a + 98, 2, 1.846), (-1176*a + 2882, 2, 1.846)]), (8089, [(-40*a + 133, 0, 0), (-700*a + 1717, 0, 0)]), (8112, [(-52*a + 156, 0, 0), (-572*a + 1404, 0, 0)]), (8121, [(-100*a + 261, 3/2, 1.035), (-320*a + 789, 3/2, 1.035)]), (8161, [(-130*a + 331, 1/2, 0.1147), (-250*a + 619, 1/2, 0.1147)]), (8185, [(-64*a + 181, 3/2, 1.031), (-162*a + 407, -1/2, 0.1145), (-202*a + 503, -1/2, 0.1145), (-484*a + 1189, 3/2, 1.031)]), (8193, [(-34*a + 123, 1/2, 0.1145), (-794*a + 1947, 1/2, 0.1145)]), (8209, [(-106*a + 275, -5/2, 2.859), (-306*a + 755, -5/2, 2.859)]), (8233, [(-124*a + 317, 2, 1.827), (-264*a + 653, 2, 1.827)]), (8257, [(-2*a + 91, 2, 1.824), (-1722*a + 4219, 2, 1.824), (-112*a + 289, 0, 0), (-292*a + 721, 0, 0)]), (8265, [(-8*a + 93, 1, 0.4559), (-26*a + 111, 1, 0.4559), (-44*a + 141, -1, 0.4559), (-118*a + 303, 1, 0.4559), (-278*a + 687, 1, 0.4559), (-664*a + 1629, -1, 0.4559), (-946*a + 2319, 1, 0.4559), (-1468*a + 3597, 1, 0.4559)]), (8281, [(-182*a + 455, 0, 0)]), (8292, [(-88*a + 234, -5/2, 2.844), (-368*a + 906, -5/2, 2.844)]), (8329, [(-60*a + 173, 1, 0.4541), (-520*a + 1277, 1, 0.4541)]), (8353, [(-74*a + 203, 5/2, 2.834), (-434*a + 1067, 5/2, 2.834)]), (8356, [(-68*a + 190, -1/2, 0.1133), (-468*a + 1150, -1/2, 0.1133)]), (8368, [(-4*a + 92, -1/2, 0.1133), (-164*a + 412, -1/2, 0.1133), (-204*a + 508, -1/2, 0.1133), (-1644*a + 4028, -1/2, 0.1133)]), (8377, [(-48*a + 149, -2, 1.811), (-628*a + 1541, -2, 1.811)]), (8409, [(-56*a + 165, -1/2, 0.1130), (-556*a + 1365, -1/2, 0.1130)]), (8416, [(-20*a + 104, 3, 4.066), (-108*a + 280, -1, 0.4518), (-308*a + 760, -1, 0.4518), (-1100*a + 2696, 3, 4.066)]), (8425, [(-10*a + 95, 0, 0), (-1410*a + 3455, 0, 0)]), (8452, [(-148*a + 374, 5/2, 2.817), (-228*a + 566, 5/2, 2.817)]), (8497, [(-32*a + 121, -1/2, 0.1124), (-38*a + 131, -3/2, 1.012), (-758*a + 1859, -3/2, 1.012), (-852*a + 2089, -1/2, 0.1124)]), (8521, [(-90*a + 239, 5/2, 2.806), (-370*a + 911, 5/2, 2.806)]), (8545, [(-12*a + 97, -1/2, 0.1121), (-22*a + 107, 7/2, 5.492), (-1062*a + 2603, 7/2, 5.492), (-1352*a + 3313, -1/2, 0.1121)]), (8548, [(-44*a + 142, -1/2, 0.1121), (-684*a + 1678, -1/2, 0.1121)]), (8553, [(-4*a + 93, 3/2, 1.008), (-1664*a + 4077, 3/2, 1.008)]), (8608, [(-76*a + 208, -1, 0.4467), (-436*a + 1072, -1, 0.4467), (-36*a + 128, 0, 0), (-796*a + 1952, 0, 0)]), (8641, [(-150*a + 379, -1/2, 0.1115), (-230*a + 571, -1/2, 0.1115)]), (8644, [(-100*a + 262, 1/2, 0.1114), (-340*a + 838, 1/2, 0.1114)]), (8665, [(-16*a + 101, -3/2, 1.002), (-18*a + 103, -3/2, 1.002), (-1178*a + 2887, -3/2, 1.002), (-1236*a + 3029, -3/2, 1.002)]), (8689, [(-80*a + 217, -1, 0.4446), (-420*a + 1033, -1, 0.4446)]), (8713, [(-96*a + 253, 0, 0), (-356*a + 877, 0, 0)]), (8737, [(-42*a + 139, 1/2, 0.1108), (-722*a + 1771, 1/2, 0.1108)]), (8740, [(-32*a + 122, 1, 0.4433), (-52*a + 158, 1, 0.4433), (-136*a + 346, -2, 1.773), (-256*a + 634, -2, 1.773), (-612*a + 1502, 1, 0.4433), (-872*a + 2138, 1, 0.4433), (-4*a + 94, 0, 0), (-1684*a + 4126, 0, 0)]), (8752, [(-28*a + 116, -1/2, 0.1107), (-92*a + 244, 1/2, 0.1107), (-372*a + 916, 1/2, 0.1107), (-948*a + 2324, -1/2, 0.1107)]), (8761, [(-30*a + 119, -5/2, 2.767), (-910*a + 2231, -5/2, 2.767)]), (8809, [(-6*a + 95, -1, 0.4416), (-144*a + 365, 2, 1.766), (-244*a + 605, 2, 1.766), (-1606*a + 3935, -1, 0.4416)]), (8833, [(-66*a + 187, 1, 0.4410), (-506*a + 1243, 1, 0.4410)]), (8836, [(-188*a + 470, -1, 0.4409)]), (8868, [(-124*a + 318, 1/2, 0.1100), (-284*a + 702, 1/2, 0.1100)]), (8913, [(-46*a + 147, 3/2, 0.9877), (-686*a + 1683, 3/2, 0.9877)]), (8929, [(-170*a + 427, -3/2, 0.9868), (-210*a + 523, -3/2, 0.9868)]), (8977, [(-108*a + 281, -2, 1.750), (-328*a + 809, -2, 1.750), (-62*a + 179, 0, 0), (-542*a + 1331, 0, 0)]), (8985, [(-28*a + 117, -2, 1.749), (-86*a + 231, 2, 1.749), (-406*a + 999, 2, 1.749), (-968*a + 2373, -2, 1.749)]), (9001, [(-2*a + 95, -1/2, 0.1092), (-1802*a + 4415, -1/2, 0.1092)]), (9025, [(-190*a + 475, 1, 0.4362)]), (9049, [(-114*a + 295, 1/2, 0.1089), (-314*a + 775, 1/2, 0.1089)]), (9057, [(-58*a + 171, 3/2, 0.9798), (-578*a + 1419, 3/2, 0.9798)]), (9073, [(-54*a + 163, -3/2, 0.9789), (-126*a + 323, 5/2, 2.719), (-286*a + 707, 5/2, 2.719), (-614*a + 1507, -3/2, 0.9789)]), (9120, [(-44*a + 144, 2, 1.736), (-172*a + 432, -2, 1.736), (-212*a + 528, -2, 1.736), (-724*a + 1776, 2, 1.736), (-68*a + 192, 0, 0), (-508*a + 1248, 0, 0), (-4*a + 96, 0, 0), (-1724*a + 4224, 0, 0)]), (9124, [(-80*a + 218, 1, 0.4339), (-440*a + 1082, 1, 0.4339)]), (9136, [(-12*a + 100, 1/2, 0.1084), (-140*a + 356, -5/2, 2.710), (-260*a + 644, -5/2, 2.710), (-1412*a + 3460, 1/2, 0.1084)]), (9169, [(-26*a + 115, 3/2, 0.9738), (-40*a + 137, -5/2, 2.705), (-780*a + 1913, -5/2, 2.705), (-1026*a + 2515, 3/2, 0.9738)]), (9193, [(-34*a + 127, -1/2, 0.1081), (-164*a + 413, -3/2, 0.9725), (-224*a + 557, -3/2, 0.9725), (-874*a + 2143, -1/2, 0.1081)]), (9201, [(-10*a + 99, -3/2, 0.9721), (-1490*a + 3651, -3/2, 0.9721)]), (9220, [(-8*a + 98, 5/2, 2.698), (-28*a + 118, 3/2, 0.9711), (-988*a + 2422, 3/2, 0.9711), (-1568*a + 3842, 5/2, 2.698)]), (9241, [(-92*a + 245, 1, 0.4311), (-392*a + 965, 1, 0.4311)]), (9264, [(-20*a + 108, 1, 0.4306), (-116*a + 300, -1, 0.4306), (-316*a + 780, -1, 0.4306), (-1180*a + 2892, 1, 0.4306)]), (9313, [(-4*a + 97, 3/2, 0.9662), (-24*a + 113, -3/2, 0.9662), (-1084*a + 2657, -3/2, 0.9662), (-1744*a + 4273, 3/2, 0.9662)]), (9337, [(-12*a + 101, 1, 0.4289), (-1432*a + 3509, 1, 0.4289)]), (9376, [(-52*a + 160, -1, 0.4280), (-60*a + 176, 2, 1.712), (-580*a + 1424, 2, 1.712), (-652*a + 1600, -1, 0.4280)]), (9385, [(-82*a + 223, -1/2, 0.1069), (-184*a + 461, 3/2, 0.9625), (-204*a + 509, 3/2, 0.9625), (-442*a + 1087, -1/2, 0.1069)]), (9409, [(97, 1, 0.4272)]), (9417, [(-22*a + 111, -2, 1.708), (-158*a + 399, 1, 0.4271), (-238*a + 591, 1, 0.4271), (-1142*a + 2799, -2, 1.708)]), (9433, [(-14*a + 103, 3/2, 0.9601), (-1374*a + 3367, 3/2, 0.9601)]), (9444, [(-40*a + 138, -3/2, 0.9595), (-800*a + 1962, -3/2, 0.9595)]), (9457, [(-98*a + 259, 0, 0), (-378*a + 931, 0, 0)]), (9481, [(-20*a + 109, -1/2, 0.1064), (-32*a + 125, 1/2, 0.1064), (-932*a + 2285, 1/2, 0.1064), (-1200*a + 2941, -1/2, 0.1064)]), (9489, [(-16*a + 105, -3/2, 0.9573), (-1316*a + 3225, -3/2, 0.9573)]), (9505, [(-18*a + 107, 5/2, 2.657), (-68*a + 193, 1/2, 0.1063), (-528*a + 1297, 1/2, 0.1063), (-1258*a + 3083, 5/2, 2.657)]), (9508, [(-176*a + 442, 0, 0), (-216*a + 538, 0, 0)]), (9561, [(-38*a + 135, 1/2, 0.1060), (-838*a + 2055, 1/2, 0.1060)]), (9601, [(-152*a + 385, -1, 0.4230), (-252*a + 625, -1, 0.4230)]), (9633, [(-104*a + 273, 1, 0.4223), (-364*a + 897, 1, 0.4223)]), (9649, [(-64*a + 185, 0, 0), (-564*a + 1385, 0, 0)]), (9696, [(-28*a + 120, 1, 0.4209), (-100*a + 264, -1, 0.4209), (-380*a + 936, -1, 0.4209), (-1028*a + 2520, 1, 0.4209)]), (9697, [(-52*a + 161, 3, 3.788), (-672*a + 1649, 3, 3.788)]), (9700, [(-20*a + 110, -2, 1.683), (-1220*a + 2990, -2, 1.683)]), (9705, [(-88*a + 237, -1, 0.4207), (-428*a + 1053, -1, 0.4207), (-178*a + 447, 0, 0), (-218*a + 543, 0, 0)]), (9721, [(-78*a + 215, 1/2, 0.1051), (-478*a + 1175, 1/2, 0.1051)]), (9732, [(-92*a + 246, 1/2, 0.1050), (-412*a + 1014, 1/2, 0.1050)]), (9745, [(-56*a + 169, 1/2, 0.1050), (-146*a + 371, 3/2, 0.9446), (-266*a + 659, 3/2, 0.9446), (-636*a + 1561, 1/2, 0.1050)]), (9769, [(-110*a + 287, 1/2, 0.1048), (-350*a + 863, 1/2, 0.1048)]), (9777, [(-2*a + 99, -3/2, 0.9430), (-1882*a + 4611, -3/2, 0.9430)]), (9817, [(-8*a + 101, 0, 0), (-1628*a + 3989, 0, 0)]), (9849, [(-140*a + 357, 0, 0), (-280*a + 693, 0, 0)]), (9865, [(-42*a + 143, -5/2, 2.608), (-116*a + 301, 3/2, 0.9388), (-336*a + 829, 3/2, 0.9388), (-802*a + 1967, -5/2, 2.608)]), (9892, [(-48*a + 154, 2, 1.667), (-728*a + 1786, 2, 1.667)]), (9904, [(-4*a + 100, 1/2, 0.1041), (-180*a + 452, 3/2, 0.9370), (-220*a + 548, 3/2, 0.9370), (-1804*a + 4420, 1/2, 0.1041)]), (9913, [(-134*a + 343, 0, 0), (-294*a + 727, 0, 0), (-36*a + 133, 0, 0), (-896*a + 2197, 0, 0)]), (9921, [(-122*a + 315, -1/2, 0.1040), (-322*a + 795, -1/2, 0.1040)]), (9937, [(-28*a + 121, -1/2, 0.1039), (-128*a + 329, 3/2, 0.9354), (-308*a + 761, 3/2, 0.9354), (-1048*a + 2569, -1/2, 0.1039)]), (9952, [(-12*a + 104, -1, 0.4154), (-148*a + 376, -1, 0.4154), (-268*a + 664, -1, 0.4154), (-1492*a + 3656, -1, 0.4154)]), (9985, [(-94*a + 251, -3/2, 0.9332), (-172*a + 433, 3/2, 0.9332), (-232*a + 577, 3/2, 0.9332), (-414*a + 1019, -3/2, 0.9332)]), (9993, [(-74*a + 207, -5/2, 2.591), (-514*a + 1263, -5/2, 2.591)])]]