Distributor redux

I was puzzled about the spark plugs. The 56's are shorter than the Champion 12y's. The electrodes were clean but they came out really hard like they were carbon'd in. The book says they are supposed to be 66's. Its a wonder it ran at all.