bufixed and change print out of counting final LCTs