read `C5.txt`:


C:=GRC(2,23,7):

print(`C is`, C):

print(`it has `, nops(C), `members `):

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

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

quit: