RF:=recformat; list:= [ rec | <0, 1>, <16, 114088>, <24, 16286528>, <32, 271015548>, <40, 1088895040>, <48, 1602383384>, <56, 998628992>, <64, 275740038>, <72, 37851776>, <80, 3710232>, <88, 314944>, <96, 25212>, <104, 1344>, <112, 168>, <128, 1> ]> ];