read  `RiverCrossing.txt`: 

print(`Here are  all the  solutions using Computer Algebra of the Cabbage, Sheep, Wolf, Probelm`):

lprint(SOLS([1,1,1,1],LEGf()));

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


print(`Here are all the solution using Computer Algebra of the original 3 Missionaries and 3 Cannibals`):

lprint(SOLS([3,3],LEGmc(3,3,2,0))):


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

print(`Here are all the solution using Computer Algebra of the  4 Missionaries and 4 Cannibals and Boat Size 3 problem`):

lprint(SOLS([4,4],LEGmc(4,4,3,0)));

quit: