read `DiGpaths.txt`:


print(`There are`, SSp(MCgraph(3,3,2,0)[1])[2], `solutions to the  original problem with 3 missionaries, 3 cannibals , boat size 2, and safety margin 0`):
print(`Here is one of them`):
print(``):
lprint(SolveMC(3,3,2,0)):
print(``):



print(`There are`, SSp(MCgraph(4,4,3,0)[1])[2], `solutions to the   problem with 4 missionaries, 4 cannibals , boat size 3, and safety margin 0`):
print(`Here is one of them`):
print(``):
lprint(SolveMC(4,4,3,0)):
print(``):



print(`There are`, SSp(MCgraph(5,5,3,0)[1])[2], `solutions to the   problem with 5 missionaries, 5 cannibals , boat size 3, and safety margin 0`):
print(`Here is one of them`):
print(``):
lprint(SolveMC(5,5,3,0)):
print(``):




print(`Here is a proof that  it is impssible to cross the river safely  with 6 missionaries, 6 cannibals , boat size 3, and safety margin 0`):
print(``):
lprint(SolveMC(6,6,3,0)):
print(``):



print(`----------------------------------------`):



for i from 4 to 10 do
print(`There are`,   SSp(MCgraph(i,i,4,0)[1])[2] , `solutions to the   problem with`,  i,  `missionaries `, i,  ` cannibals  , boat size 4, and safety margin 0`):
print(`Here is ONE solution`):
print(``):
lprint(SolveMC(i,i,4,0)):
print(``):
od:


print(`----------------------------------------`):
print(``):
print(`This took`, time(), `seconds . `):
print(``):



quit: