read `MKP.txt`: K:=40: gu:=DB(x,y): lu:=trunc((nops(gu)-1)/K): S:=[seq(gu[1+lu*i],i=1..K)]: DetailS(S,x,y): quit: