read `LinDiophantus.txt`:

t0:=time():

print(`The output of`):
print(`CondorcetIE(p123,p132,p213,p231,p312,p321) is:`): 
lprint(CondorcetIE(p123,p132,p213,p231,p312,p321)): 
print(`This took`, time()-t0, `seconds. `):

t0:=time():
print(`The output of`):
print(`Condorcet(t) is:`): 
lprint(Condorcet(t)):
print(`This took`, time()-t0, `seconds. `):

t0:=time():
print(`The output of`):
print(`CondorcetE(t) is:`): 
lprint(CondorcetE(t)):
print(`This took`, time()-t0, `seconds. `):


t0:=time():
print(`The output of`):
print(`CondorcetW(t) is:`): 
lprint(CondorcetW(t)):
print(`This took`, time()-t0, `seconds. `):




t0:=time():
print(`The output of`):
print(`CondorcetW(t) is:`): 
lprint(CondorcetW(t)):
print(`This took`, time()-t0, `seconds. `):


t0:=time():
print(`The output of`):
print(`CondorcetWE(t) is:`): 
lprint(CondorcetWE(t)):
print(`This took`, time()-t0, `seconds. `):


quit: