# label = 2.2.40.1-89.1-a
# Base field F = Number Field in a with defining polynomial x^2 - 10
# Quaternion algebra given by i^2 = -1, j^2 = -1
# Order with basis over the integers given by [1, 89 + 89*i, 1/2*a + 15 + (1/2*a + 15)*i, 1 + 44*i + j, 1/2*a + 22*a*i + 1/2*a*j, 1/2 + 77/2*i + 1/2*j + 1/2*k, 1/2*a + 77/2*a*i + 1/2*a*j + 1/2*a*k]

# Nmax = 200

[(2, [89 + 89*i, 1/2*a + 15 + (1/2*a + 15)*i, 1 + j, 1/2*a + 1/2*a*j, 1/2 + (-55/2)*i + 1/2*j + 1/2*k, 1/2*a + (-55/2*a)*i + 1/2*a*j + 1/2*a*k]), (-2, [704969 + 704969*i, 1/2*a + 660751 + (1/2*a + 660751)*i, 1 + (-60298)*i + j, 1/2*a + (-30149*a)*i + 1/2*a*j, 7921/2 + 628729615/2*i + (-147/2)*j + 1/2*k, 1/2*a + 1305/2 + (628729615/15842*a + 820492147575/15842)*i + (-147/15842*a - 191835/15842)*j + (1/15842*a + 1305/15842)*k]), (-2, [704969 + 704969*i, 1/2*a + 660751 + (1/2*a + 660751)*i, 1 + (-60298)*i + j, 1/2*a + (-30149*a)*i + 1/2*a*j, 7921/2 + 628729615/2*i + (-147/2)*j + 1/2*k, 1/2*a + 1305/2 + (628729615/15842*a + 820492147575/15842)*i + (-147/15842*a - 191835/15842)*j + (1/15842*a + 1305/15842)*k]), (-2, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, (-1647)*i + j, (-1647/2*a)*i + 1/2*a*j, 89/2 + (-443425/2)*i + 31/2*j + 1/2*k, 1/2*a + 59/2 + (-443425/178*a - 26162075/178)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (-2, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, (-1647)*i + j, (-1647/2*a)*i + 1/2*a*j, 89/2 + (-443425/2)*i + 31/2*j + 1/2*k, 1/2*a + 59/2 + (-443425/178*a - 26162075/178)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (-2, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, (-2715)*i + j, (-2715/2*a)*i + 1/2*a*j, 89/2 + 332833/2*i + 31/2*j + 1/2*k, 1/2*a + 59/2 + (332833/178*a + 19637147/178)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (-2, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, (-2715)*i + j, (-2715/2*a)*i + 1/2*a*j, 89/2 + 332833/2*i + 31/2*j + 1/2*k, 1/2*a + 59/2 + (332833/178*a + 19637147/178)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (-2, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, (-2715)*i + j, (-2715/2*a)*i + 1/2*a*j, 89/2 + 332833/2*i + 31/2*j + 1/2*k, 1/2*a + 59/2 + (332833/178*a + 19637147/178)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (-2, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, (-2715)*i + j, (-2715/2*a)*i + 1/2*a*j, 89/2 + 332833/2*i + 31/2*j + 1/2*k, 1/2*a + 59/2 + (332833/178*a + 19637147/178)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (2, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, 2091*i + j, 2091/2*a*i + 1/2*a*j, 89/2 + 633831/2*i + 31/2*j + 1/2*k, 1/2*a + 59/2 + (633831/178*a + 37396029/178)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (2, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, 2091*i + j, 2091/2*a*i + 1/2*a*j, 89/2 + 633831/2*i + 31/2*j + 1/2*k, 1/2*a + 59/2 + (633831/178*a + 37396029/178)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (2, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, 2091*i + j, 2091/2*a*i + 1/2*a*j, 89/2 + 633831/2*i + 31/2*j + 1/2*k, 1/2*a + 59/2 + (633831/178*a + 37396029/178)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (2, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, 2091*i + j, 2091/2*a*i + 1/2*a*j, 89/2 + 633831/2*i + 31/2*j + 1/2*k, 1/2*a + 59/2 + (633831/178*a + 37396029/178)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (2, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, (-2003)*i + j, (-2003/2*a)*i + 1/2*a*j, 89/2 + (-79059/2)*i + 31/2*j + 1/2*k, 1/2*a + 59/2 + (-79059/178*a - 4664481/178)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (2, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, (-2003)*i + j, (-2003/2*a)*i + 1/2*a*j, 89/2 + (-79059/2)*i + 31/2*j + 1/2*k, 1/2*a + 59/2 + (-79059/178*a - 4664481/178)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (2, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, 1 + (-1736)*i + j, 1/2*a + (-868*a)*i + 1/2*a*j, 89/2 + 538779/2*i + 31/2*j + 1/2*k, 1/2*a + 59/2 + (538779/178*a + 31787961/178)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (-2, [89 + 89*i, 1/2*a + 15 + (1/2*a + 15)*i, 1 + 20*i + j, 1/2*a + 10*a*i + 1/2*a*j, 1/2 + (-49/2)*i + 1/2*j + 1/2*k, 1/2*a + (-49/2*a)*i + 1/2*a*j + 1/2*a*k]), (1, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, (-2181)*i + j, (-2181/2*a)*i + 1/2*a*j, 89/2 + 63519/2*i + 31/2*j + 1/2*k, 1/2*a + 59/2 + (63519/178*a + 3747621/178)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (1, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, (-2181)*i + j, (-2181/2*a)*i + 1/2*a*j, 89/2 + 63519/2*i + 31/2*j + 1/2*k, 1/2*a + 59/2 + (63519/178*a + 3747621/178)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (-1, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, 1/2*a + (1/2*a - 2700)*i + j, 5/2 + (-1350*a + 5/2)*i + 1/2*a*j, 1/2*a + 15 + (-130621)*i + 31/2*j + 1/2*k, 1/2*a + 10 + (-130621/89*a - 7706639/89)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (-1, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, 1/2*a + (1/2*a - 2700)*i + j, 5/2 + (-1350*a + 5/2)*i + 1/2*a*j, 1/2*a + 15 + (-130621)*i + 31/2*j + 1/2*k, 1/2*a + 10 + (-130621/89*a - 7706639/89)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (-1, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, 1/2*a + (1/2*a - 2700)*i + j, 5/2 + (-1350*a + 5/2)*i + 1/2*a*j, 1/2*a + 15 + (-130621)*i + 31/2*j + 1/2*k, 1/2*a + 10 + (-130621/89*a - 7706639/89)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (-1, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, 1/2*a + (1/2*a - 2700)*i + j, 5/2 + (-1350*a + 5/2)*i + 1/2*a*j, 1/2*a + 15 + (-130621)*i + 31/2*j + 1/2*k, 1/2*a + 10 + (-130621/89*a - 7706639/89)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (2, [7921*i, (a + 6616)*i, 1/2*a + (-2181/2)*i + 1/2*j, 5 + (-2181/2*a)*i + 1/2*a*j, 1/2*a - 59/2 + (1/2*a - 24917/2)*i + 31/2*j + 1/2*k, -39/2 + (-12429/89*a - 1470093/178)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (1, [89*i, (a + 30)*i, 1/2 + (1/2*a + 37)*i + 1/2*j, 1/2*a + (37*a + 5)*i + 1/2*a*j, 1/2*a + 33/2*i + 1/2*k, 5 + 33/2*a*i + 1/2*a*k]), (1, [89*i, (a + 30)*i, 1/2 + (1/2*a + 37)*i + 1/2*j, 1/2*a + (37*a + 5)*i + 1/2*a*j, 1/2*a + 33/2*i + 1/2*k, 5 + 33/2*a*i + 1/2*a*k]), (1, [89*i, (a + 30)*i, 1/2 + (1/2*a + 37)*i + 1/2*j, 1/2*a + (37*a + 5)*i + 1/2*a*j, 1/2*a + 33/2*i + 1/2*k, 5 + 33/2*a*i + 1/2*a*k]), (1, [89*i, (a + 30)*i, 1/2 + (1/2*a + 37)*i + 1/2*j, 1/2*a + (37*a + 5)*i + 1/2*a*j, 1/2*a + 33/2*i + 1/2*k, 5 + 33/2*a*i + 1/2*a*k]), (-1, [89 + 89*i, 1/2*a + 15 + (1/2*a + 15)*i, 1/2*a + (1/2*a - 30)*i + j, 5/2 + (-15*a + 5/2)*i + 1/2*a*j, 1/2*a + (-6)*i + 1/2*j + 1/2*k, 5 + (-6*a)*i + 1/2*a*j + 1/2*a*k]), (-1, [89 + 89*i, 1/2*a + 15 + (1/2*a + 15)*i, 1/2*a + (1/2*a - 30)*i + j, 5/2 + (-15*a + 5/2)*i + 1/2*a*j, 1/2*a + (-6)*i + 1/2*j + 1/2*k, 5 + (-6*a)*i + 1/2*a*j + 1/2*a*k]), (-1, [89 + 89*i, 1/2*a + 15 + (1/2*a + 15)*i, 1/2*a + (1/2*a - 30)*i + j, 5/2 + (-15*a + 5/2)*i + 1/2*a*j, 1/2*a + (-6)*i + 1/2*j + 1/2*k, 5 + (-6*a)*i + 1/2*a*j + 1/2*a*k]), (-1, [89 + 89*i, 1/2*a + 15 + (1/2*a + 15)*i, 1/2*a + (1/2*a - 30)*i + j, 5/2 + (-15*a + 5/2)*i + 1/2*a*j, 1/2*a + (-6)*i + 1/2*j + 1/2*k, 5 + (-6*a)*i + 1/2*a*j + 1/2*a*k]), (1, [89*i, (a + 30)*i, 1/2*a + 73/2*i + 1/2*j, 5 + 73/2*a*i + 1/2*a*j, 1/2 + (1/2*a + 30)*i + 1/2*k, 1/2*a + (30*a + 5)*i + 1/2*a*k]), (1, [89*i, (a + 30)*i, 1/2*a + 73/2*i + 1/2*j, 5 + 73/2*a*i + 1/2*a*j, 1/2 + (1/2*a + 30)*i + 1/2*k, 1/2*a + (30*a + 5)*i + 1/2*a*k]), (1, [89*i, (a + 30)*i, 1/2*a + 73/2*i + 1/2*j, 5 + 73/2*a*i + 1/2*a*j, 1/2 + (1/2*a + 30)*i + 1/2*k, 1/2*a + (30*a + 5)*i + 1/2*a*k]), (1, [89*i, (a + 30)*i, 1/2*a + 73/2*i + 1/2*j, 5 + 73/2*a*i + 1/2*a*j, 1/2 + (1/2*a + 30)*i + 1/2*k, 1/2*a + (30*a + 5)*i + 1/2*a*k]), (1, [89*i, (a + 30)*i, 1/2*a + (-67/2)*i + 1/2*j, 5 + (-67/2*a)*i + 1/2*a*j, 1/2 + (1/2*a - 26)*i + 1/2*k, 1/2*a + (-26*a + 5)*i + 1/2*a*k]), (1, [89*i, (a + 30)*i, 1/2*a + (-67/2)*i + 1/2*j, 5 + (-67/2*a)*i + 1/2*a*j, 1/2 + (1/2*a - 26)*i + 1/2*k, 1/2*a + (-26*a + 5)*i + 1/2*a*k]), (1, [89*i, (a + 30)*i, 1/2*a + (-67/2)*i + 1/2*j, 5 + (-67/2*a)*i + 1/2*a*j, 1/2 + (1/2*a - 26)*i + 1/2*k, 1/2*a + (-26*a + 5)*i + 1/2*a*k]), (1, [89*i, (a + 30)*i, 1/2*a + (-67/2)*i + 1/2*j, 5 + (-67/2*a)*i + 1/2*a*j, 1/2 + (1/2*a - 26)*i + 1/2*k, 1/2*a + (-26*a + 5)*i + 1/2*a*k]), (-2, [7921*i, (a + 6616)*i, 1/2*a + 845/2*i + 1/2*j, 5 + 845/2*a*i + 1/2*a*j, 1/2*a - 59/2 + (1/2*a + 70135/2)*i + 31/2*j + 1/2*k, -39/2 + (35097/89*a + 4137975/178)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (-2, [7921*i, (a + 6616)*i, 1/2*a + 845/2*i + 1/2*j, 5 + 845/2*a*i + 1/2*a*j, 1/2*a - 59/2 + (1/2*a + 70135/2)*i + 31/2*j + 1/2*k, -39/2 + (35097/89*a + 4137975/178)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (-1, [89 + 89*i, 1/2*a + 15 + (1/2*a + 15)*i, 1/2*a + 1 + (1/2*a - 1)*i + j, 1/2*a + 5/2 + (-1/2*a + 5/2)*i + 1/2*a*j, 1/2*a + 7*i + 1/2*j + 1/2*k, 5 + 7*a*i + 1/2*a*j + 1/2*a*k]), (-1, [89 + 89*i, 1/2*a + 15 + (1/2*a + 15)*i, 1/2*a + 1 + (1/2*a - 1)*i + j, 1/2*a + 5/2 + (-1/2*a + 5/2)*i + 1/2*a*j, 1/2*a + 7*i + 1/2*j + 1/2*k, 5 + 7*a*i + 1/2*a*j + 1/2*a*k]), (-1, [89 + 89*i, 1/2*a + 15 + (1/2*a + 15)*i, 1/2*a + 1 + (1/2*a - 1)*i + j, 1/2*a + 5/2 + (-1/2*a + 5/2)*i + 1/2*a*j, 1/2*a + 7*i + 1/2*j + 1/2*k, 5 + 7*a*i + 1/2*a*j + 1/2*a*k]), (-1, [89 + 89*i, 1/2*a + 15 + (1/2*a + 15)*i, 1/2*a + 1 + (1/2*a - 1)*i + j, 1/2*a + 5/2 + (-1/2*a + 5/2)*i + 1/2*a*j, 1/2*a + 7*i + 1/2*j + 1/2*k, 5 + 7*a*i + 1/2*a*j + 1/2*a*k]), (-2, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, 1/2*a + 1 + (1/2*a - 3679)*i + j, 1/2*a + 5/2 + (-3679/2*a + 5/2)*i + 1/2*a*j, 1/2*a + 15 + 138693*i + 31/2*j + 1/2*k, 1/2*a + 10 + (138693/89*a + 8182887/89)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (-2, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, 1/2*a + 1 + (1/2*a - 3679)*i + j, 1/2*a + 5/2 + (-3679/2*a + 5/2)*i + 1/2*a*j, 1/2*a + 15 + 138693*i + 31/2*j + 1/2*k, 1/2*a + 10 + (138693/89*a + 8182887/89)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (2, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, 1/2*a + (1/2*a + 1572)*i + j, 5/2 + (786*a + 5/2)*i + 1/2*a*j, 1/2*a + 15 + (-83095)*i + 31/2*j + 1/2*k, 1/2*a + 10 + (-83095/89*a - 4902605/89)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (2, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, 1/2*a + (1/2*a + 1572)*i + j, 5/2 + (786*a + 5/2)*i + 1/2*a*j, 1/2*a + 15 + (-83095)*i + 31/2*j + 1/2*k, 1/2*a + 10 + (-83095/89*a - 4902605/89)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (-2, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, 1/2*a + 1 + (1/2*a - 1187)*i + j, 1/2*a + 5/2 + (-1187/2*a + 5/2)*i + 1/2*a*j, 1/2*a + 15 + 344639*i + 31/2*j + 1/2*k, 1/2*a + 10 + (344639/89*a + 20333701/89)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (-2, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, 1/2*a + 1 + (1/2*a - 1187)*i + j, 1/2*a + 5/2 + (-1187/2*a + 5/2)*i + 1/2*a*j, 1/2*a + 15 + 344639*i + 31/2*j + 1/2*k, 1/2*a + 10 + (344639/89*a + 20333701/89)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (2, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, 1/2*a + 1 + (1/2*a - 653)*i + j, 1/2*a + 5/2 + (-653/2*a + 5/2)*i + 1/2*a*j, 1/2*a + 15 + (-98937)*i + 31/2*j + 1/2*k, 1/2*a + 10 + (-98937/89*a - 5837283/89)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (2, [7921 + 7921*i, 1/2*a + 3308 + (1/2*a + 3308)*i, 1/2*a + 1 + (1/2*a - 653)*i + j, 1/2*a + 5/2 + (-653/2*a + 5/2)*i + 1/2*a*j, 1/2*a + 15 + (-98937)*i + 31/2*j + 1/2*k, 1/2*a + 10 + (-98937/89*a - 5837283/89)*i + (31/178*a + 1829/178)*j + (1/178*a + 59/178)*k]), (1, [89 + 89*i, 1/2*a + 15 + (1/2*a + 15)*i, 1/2*a + 1 + (1/2*a + 15)*i + j, 1/2*a + 5/2 + (15/2*a + 5/2)*i + 1/2*a*j, 1/2*a + 17*i + 1/2*j + 1/2*k, 5 + 17*a*i + 1/2*a*j + 1/2*a*k]), (1, [89 + 89*i, 1/2*a + 15 + (1/2*a + 15)*i, 1/2*a + 1 + (1/2*a + 15)*i + j, 1/2*a + 5/2 + (15/2*a + 5/2)*i + 1/2*a*j, 1/2*a + 17*i + 1/2*j + 1/2*k, 5 + 17*a*i + 1/2*a*j + 1/2*a*k])]
[((-3*a - 1,), 175/2*a + 183/2 + (167/2*a + 101/2)*i + (-1/2*a - 1/2)*j + (1/2*a - 1/2)*k)]

# map: (a |-> -3.16) -> -1, (a |-> 3.16) -> -1, Fractional ideal (-3*a - 1) -> 1
[1, None, [(4, [(-2, 0, 0)]), (41, [(2*a - 9, -8, 1.867)]), (65, [(-4*a - 15, 16, 5.932)]), (89, [(8*a - 27, 4, 0.6337)]), (96, [(4*a - 16, -8, 1.220)]), (121, [(-11, 8, 1.087)]), (129, [(2*a - 13, -8, 1.053), (-2*a - 13, 0, 0)]), (160, [(-12*a - 40, -8, 0.9453)])]]

# map: (a |-> -3.16) -> -1, (a |-> 3.16) -> 1, Fractional ideal (-3*a - 1) -> -1
[-2*a + 3, 9/2*a - 4 + (-7/2*a + 28)*i + (-1/2*a)*j + (1/2*a + 1)*k, [(-15, [(2*a - 5, 0, 0)]), (-16, [(4*a + 12, 0, 0)]), (-39, [(2*a - 1, 0, 0)]), (-71, [(6*a - 17, 4, 0.5070)]), (-96, [(4*a + 8, 0, 0)]), (-111, [(4*a - 7, 0, 0)]), (-124, [(4*a - 6, 0, 0)]), (-156, [(4*a + 2, 0, 0)]), (-159, [(10*a - 29, 4, 0.3388), (4*a + 1, 0, 0)]), (-160, [(4*a, -8, 1.351)]), (-191, [(6*a - 13, 8, 1.237)]), (-199, [(8*a + 21, 0, 0)])]]

# map: (a |-> -3.16) -> 1, (a |-> 3.16) -> -1, Fractional ideal (-3*a - 1) -> -1
[6*a - 17, -57/2*a + 3/2 + (-2779/2*a + 253/2)*i + (-55/2*a + 5/2)*j + (-11/2*a + 1/2)*k, [(-16, [(-4*a - 12, 0, 0)]), (-31, [(-2*a + 3, 4, 0.6929)]), (-39, [(-2*a - 1, 8, 2.471)]), (-60, [(-4*a + 10, 0, 0)]), (-71, [(-6*a - 17, 18, 9.271)]), (-96, [(-4*a - 8, -4, 0.3937)]), (-111, [(-4*a - 7, -4, 0.3662)]), (-151, [(-4*a - 3, 20, 7.849)]), (-156, [(-4*a + 2, 16, 4.942)]), (-160, [(-4*a, 4, 0.3050)]), (-199, [(-8*a + 21, 16, 4.376)])]]

# map: (a |-> -3.16) -> 1, (a |-> 3.16) -> 1, Fractional ideal (-3*a - 1) -> 1
[2*a - 9, a + 24 + (122*a + 1099)*i + (2*a + 25)*j + a*k, [(1, [(1, 8, 5.514)]), (96, [(-4*a + 16, 16, 2.251)]), (160, [(-12*a + 40, 16, 1.744)]), (164, [(-4*a + 18, -16, 1.722)]), (185, [(2*a + 15, -16, 1.622)])]]