KR2
RIP3(D, E, A, B, C, X15, 9, KR2);
RIP3(C, D, E, A, B, X5, 7, KR2);
RIP3(B, C, D, E, A, X1, 15, KR2);
RIP3(A, B, C, D, E, X3, 11, KR2);
RIP3(E, A, B, C, D, X7, 8, KR2);
RIP3(D, E, A, B, C, X14, 6, KR2);
RIP3(C, D, E, A, B, X6, 6, KR2);
RIP3(B, C, D, E, A, X9, 14, KR2);
RIP3(A, B, C, D, E, X11, 12, KR2);
RIP3(E, A, B, C, D, X8, 13, KR2);
RIP3(D, E, A, B, C, X12, 5, KR2);
RIP3(C, D, E, A, B, X2, 14, KR2);
RIP3(B, C, D, E, A, X10, 13, KR2);
RIP3(A, B, C, D, E, X0, 13, KR2);
RIP3(E, A, B, C, D, X4, 7, KR2);
RIP3(D, E, A, B, C, X13, 5, KR2);