result(1,0,50.549,82.418).
result(1,1,54.945,86.813).
result(1,4,63.736,84.615).
result(1,7,72.527,89.011).
result(1,10,91.209,97.802).
result(1,12,95.604,95.604).
result(1,13,100.000,100.000).
result(2,0,50.549,82.418).
result(2,1,54.945,82.418).
result(2,4,63.736,89.011).
result(2,7,78.022,95.604).
result(2,10,89.011,95.604).
result(2,12,95.604,100.000).
result(2,13,100.000,100.000).
result(3,0,50.549,82.418).
result(3,1,53.846,82.418).
result(3,4,63.736,91.209).
result(3,7,72.527,91.209).
result(3,10,89.011,93.407).
result(3,12,93.407,100.000).
result(3,13,100.000,100.000).
result(4,0,50.549,82.418).
result(4,1,52.747,82.418).
result(4,4,65.934,91.209).
result(4,7,76.923,97.802).
result(4,10,93.407,93.407).
result(4,12,95.604,100.000).
result(4,13,100.000,100.000).
result(5,0,50.549,82.418).
result(5,1,57.143,89.011).
result(5,4,65.934,86.813).
result(5,7,73.626,84.615).
result(5,10,85.714,95.604).
result(5,12,96.703,100.000).
result(5,13,100.000,100.000).
result(6,0,50.549,82.418).
result(6,1,57.143,89.011).
result(6,4,63.736,89.011).
result(6,7,79.121,93.407).
result(6,10,90.110,100.000).
result(6,12,95.604,100.000).
result(6,13,100.000,100.000).
result(7,0,50.549,82.418).
result(7,1,57.143,82.418).
result(7,4,67.033,89.011).
result(7,7,75.824,86.813).
result(7,10,90.110,93.407).
result(7,12,95.604,95.604).
result(7,13,100.000,100.000).
result(8,0,50.549,82.418).
result(8,1,54.945,82.418).
result(8,4,63.736,86.813).
result(8,7,81.319,93.407).
result(8,10,86.813,89.011).
result(8,12,96.703,100.000).
result(8,13,100.000,100.000).
result(9,0,50.549,82.418).
result(9,1,54.945,86.813).
result(9,4,62.637,82.418).
result(9,7,78.022,95.604).
result(9,10,91.209,100.000).
result(9,12,95.604,100.000).
result(9,13,100.000,100.000).
result(10,0,50.549,82.418).
result(10,1,52.747,84.615).
result(10,4,72.527,89.011).
result(10,7,79.121,89.011).
result(10,10,84.615,100.000).
result(10,12,95.604,95.604).
result(10,13,100.000,100.000).