search box tells me 600 choose 7 is 5e15, which implies (if google and GPT4 were correct) that there ought to be on the order of thousands of fat lines containi

search box tells me 600 choose 7 is 5e15, which implies (if google and GPT4 were correct) that there ought to be on the order of thousands of fat lines containing 7 actual cathedrals