result(1,0,50.549,86.813).
result(1,1,54.945,91.209).
result(1,4,67.033,95.604).
result(1,7,75.824,86.813).
result(1,10,93.407,97.802).
result(1,12,97.802,100.000).
result(1,13,100.000,100.000).
result(2,0,50.549,86.813).
result(2,1,52.747,86.813).
result(2,4,65.934,89.011).
result(2,7,76.923,100.000).
result(2,10,91.209,100.000).
result(2,12,93.407,100.000).
result(2,13,100.000,100.000).
result(3,0,50.549,86.813).
result(3,1,52.747,86.813).
result(3,4,65.934,93.407).
result(3,7,75.824,93.407).
result(3,10,89.011,100.000).
result(3,12,97.802,100.000).
result(3,13,100.000,100.000).
result(4,0,50.549,86.813).
result(4,1,57.143,93.407).
result(4,4,70.330,93.407).
result(4,7,74.725,93.407).
result(4,10,92.308,100.000).
result(4,12,97.802,100.000).
result(4,13,100.000,100.000).
result(5,0,50.549,86.813).
result(5,1,52.747,89.011).
result(5,4,67.033,86.813).
result(5,7,81.319,95.604).
result(5,10,91.209,97.802).
result(5,12,95.604,100.000).
result(5,13,100.000,100.000).
result(6,0,50.549,86.813).
result(6,1,54.945,86.813).
result(6,4,68.132,95.604).
result(6,7,82.418,97.802).
result(6,10,91.209,97.802).
result(6,12,95.604,100.000).
result(6,13,100.000,100.000).
result(7,0,50.549,86.813).
result(7,1,54.945,91.209).
result(7,4,67.033,95.604).
result(7,7,73.626,91.209).
result(7,10,86.813,95.604).
result(7,12,97.802,100.000).
result(7,13,100.000,100.000).
result(8,0,50.549,86.813).
result(8,1,52.747,86.813).
result(8,4,65.934,91.209).
result(8,7,75.824,100.000).
result(8,10,86.813,93.407).
result(8,12,96.703,100.000).
result(8,13,100.000,100.000).
result(9,0,50.549,86.813).
result(9,1,54.945,86.813).
result(9,4,68.132,86.813).
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,86.813).
result(10,1,52.747,86.813).
result(10,4,62.637,93.407).
result(10,7,81.319,100.000).
result(10,10,89.011,97.802).
result(10,12,93.407,100.000).
result(10,13,100.000,100.000).