aaax1abx1bcx1ccaaax1a1b1c1FULL./SRS/Waldmann07b/size-12-alpha-3-num-511.srs