RF1:=recformat; list:= [ PowerStructure(Rec) | rec | <0, 1>, <16, 57892>, <20, 1048576>, <24, 7813184>, <28, 38477824>, <32, 149743668>, <36, 297213952>, <40, 543841152>, <44, 748986368>, <48, 784303804>, <52, 725131264>, <56, 488985728>, <60, 287006720>, <64, 144648726>, <68, 46620672>, <72, 24237312>, <76, 2940928>, <80, 3321116>, <84, 57344>, <88, 471360>, <96, 54964>, <104, 4480>, <112, 260>, <128, 1> ]> ] ;