rank_11 distribution over 1000 random 10-regular graphs: {19: 14, 20: 161, 21: 825} ; rank <= 20: 175
