2000
0, 13918, 12675, 9, 9, 0.064664463285, 0.0710059171598
1, 13919, 12676, 44, 44, 0.31611466341, 0.347112653834
2, 13919, 12676, 13, 13, 0.0933975141892, 0.10255601136
3, 13918, 12675, 120, 120, 0.862192843799, 0.94674556213