logsx1sloghalfsx1half0x10sshalfx1halfs0x10x1halfssx1shalfpssx1halfhalfssssx1sshalfhalfx1psssx1spssx1sspsx1ssx10x1x1log1s1half101p1FULL./SRS/secret05/aprove4.srs