read `CONDORCET.txt`: lprint(CPseq(100)): print(`This took`, time(), `seconds. `): quit: