result(1,0,50.549,69.231).
result(1,1,57.143,69.231).
result(1,4,62.637,73.626).
result(1,7,74.725,90.110).
result(1,10,89.011,93.407).
result(1,12,95.604,100.000).
result(1,13,100.000,100.000).
result(2,0,50.549,69.231).
result(2,1,54.945,69.231).
result(2,4,65.934,81.319).
result(2,7,79.121,79.121).
result(2,10,89.011,97.802).
result(2,12,95.604,95.604).
result(2,13,100.000,100.000).
result(3,0,50.549,69.231).
result(3,1,54.945,73.626).
result(3,4,65.934,82.418).
result(3,7,79.121,86.813).
result(3,10,89.011,95.604).
result(3,12,96.703,96.703).
result(3,13,100.000,100.000).
result(4,0,50.549,69.231).
result(4,1,52.747,69.231).
result(4,4,70.330,73.626).
result(4,7,72.527,90.110).
result(4,10,86.813,93.407).
result(4,12,97.802,97.802).
result(4,13,100.000,100.000).
result(5,0,50.549,69.231).
result(5,1,52.747,70.330).
result(5,4,63.736,82.418).
result(5,7,78.022,84.615).
result(5,10,86.813,95.604).
result(5,12,95.604,95.604).
result(5,13,100.000,100.000).
result(6,0,50.549,69.231).
result(6,1,54.945,69.231).
result(6,4,65.934,75.824).
result(6,7,75.824,86.813).
result(6,10,92.308,95.604).
result(6,12,95.604,100.000).
result(6,13,100.000,100.000).
result(7,0,50.549,69.231).
result(7,1,52.747,73.626).
result(7,4,65.934,83.516).
result(7,7,81.319,82.418).
result(7,10,89.011,95.604).
result(7,12,95.604,95.604).
result(7,13,100.000,100.000).
result(8,0,50.549,69.231).
result(8,1,57.143,69.231).
result(8,4,64.835,80.220).
result(8,7,79.121,79.121).
result(8,10,87.912,95.604).
result(8,12,97.802,97.802).
result(8,13,100.000,100.000).
result(9,0,50.549,69.231).
result(9,1,54.945,69.231).
result(9,4,64.835,78.022).
result(9,7,80.220,84.615).
result(9,10,91.209,97.802).
result(9,12,93.407,93.407).
result(9,13,100.000,100.000).
result(10,0,50.549,69.231).
result(10,1,54.945,73.626).
result(10,4,70.330,80.220).
result(10,7,75.824,86.813).
result(10,10,85.714,90.110).
result(10,12,95.604,95.604).
result(10,13,100.000,100.000).