k=d(9)

v = 1-((((dede[8]**2)+1)/2)/((((k)/2)+(dede[6]))+d('0.5'))%1)
((((((dede[9]**2)+1)/2)/(0+v+d('0.01')))-(dede[7]**2)) - 0) #upperbound for D(10)

v = 1-((((dede[7]**2)+1)/2)/((((k)/2)+(dede[5]))+d('0.5'))%1)
((((((dede[8]**2)+1)/2)/(0+v+d('0.01')))-(dede[6]**2)) - 0)/dede[9]

v = 1-((((dede[6]**2)+1)/2)/((((k)/2)+(dede[4]))+d('0.5'))%1)
((((((dede[7]**2)+1)/2)/(0+v+d('0.01')))-(dede[5]**2)) - 0)/dede[8]


v = 1-((((dede[5]**2)+1)/2)/((((k)/2)+(dede[3]))+d('0.5'))%1)
((((((dede[6]**2)+1)/2)/(0+v+d('0.01')))-(dede[4]**2)) - 0)/dede[7]


v = 1-((((dede[4]**2)+1)/2)/((((k)/2)+(dede[2]))+d('0.5'))%1)
((((((dede[5]**2)+1)/2)/(0+v+d('0.01')))-(dede[3]**2)) - 0)/dede[6]


v = 1-((((dede[3]**2)+1)/2)/((((k)/2)+(dede[1]))+d('0.5'))%1)
((((((dede[4]**2)+1)/2)/(0+v+d('0.01')))-(dede[2]**2)) - 0)/dede[5]


v = 1-((((dede[2]**2)+1)/2)/((((k)/2)+(dede[0]))+d('0.5'))%1)
((((((dede[3]**2)+1)/2)/(0+v+d('0.01')))-(dede[1]**2)) - 0)/dede[4]