read `SpanningTrees.txt`: N:=6: for n from 2 to N do G:={seq({i,i+1},i=1..n-1)}: print(`G is`, G): Info1v(G,n,2^(n+1)+1,t) : od: quit: