read `Condorcet3.txt`:

N:=10000:

a:=NuCo(N):

print(`The Exact number of Condorcet voting-profiles with`, 2*N-1, `voters is`):
print(``):
lprint(a):
print(``):
print(`Hence the probability, assuming each ranking is picked uniformyl at random is`):
print(``):
lprint(evalf(a/6^(2*N-1))):
print(``):

quit: