python/stats.txt
lrK=5 true
mLahC=2014423, 5.01431sec, 394 R#start#0
mLahC=3169206, 7.935417sec, 379 R#s#1
mLahC=3175837, 7.986779sec, 226 R#s#2
mLahC=3175922, 7.99156sec, 220 R#p#3
mLahC=3175929, 7.991792sec, 130 R#p#4
mLahC=3175932, 7.991988sec, 127 R#i#5
mLahC=3175933, 7.992012sec, 1 R#i#6
mLahC=3175934, 7.992022sec, 1 R#i#7
mLahC=3175935, 7.99203sec, 1 R#i#8
lrK=5 false
mLahC=2014423, 4.877603sec, 394 R#start#0
mLahC=3169206, 7.721824sec, 379 R#s#1
mLahC=4028845, 9.760006sec, 226 R#s#2
mLahC=4522168, 10.938158sec, 220 R#p#3
mLahC=4888483, 11.799477sec, 130 R#p#4
mLahC=5254794, 12.659179sec, 127 R#i#5
mLahC=5254795, 12.659203sec, 1 R#i#6
mLahC=5254796, 12.659212sec, 1 R#i#7
mLahC=5254797, 12.659227sec, 1 R#i#8
lrK=6 true
mLahC=29429869, 73.264644sec, 1279 R#start#0
mLahC=46112564, 115.200423sec, 1198 R#s#1
mLahC=46140135, 115.701835sec, 676 R#s#2
mLahC=46140234, 115.727119sec, 649 R#p#3
mLahC=46140241, 115.727743sec, 397 R#p#4
mLahC=46140244, 115.728254sec, 394 R#i#5
mLahC=46140245, 115.72827sec, 1 R#i#6
mLahC=46140246, 115.72828sec, 1 R#i#7
mLahC=46140247, 115.728295sec, 1 R#i#8
lrK=6 false
mLahC=29429869, 70.646268sec, 1279 R#start#0
mLahC=46112564, 111.581805sec, 1198 R#s#1
mLahC=58859737, 142.135214sec, 676 R#s#2
mLahC=66092068, 159.854465sec, 649 R#p#3
mLahC=71606909, 172.844327sec, 397 R#p#4
mLahC=77121746, 186.00132sec, 394 R#i#5
mLahC=77121747, 186.001358sec, 1 R#i#6
mLahC=77121748, 186.001369sec, 1 R#i#7
mLahC=77121749, 186.001383sec, 1 R#i#8