2000
0, 7131, 5311, 32, 32, 0.448744916561, 0.602523065336
1, 7131, 5311, 23, 23, 0.322535408779, 0.43306345321
2, 7131, 5311, 12, 12, 0.168279343711, 0.225946149501
3, 7131, 5311, 47, 47, 0.6590940962, 0.884955752212