atkins.lib
LIB "atkins.lib"; ring r = 0,x,dp; list L=465,867,1233,4567,776544,233445,2334,556; maximum(L); ==> 776544