We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.
User:Blashyrkh/Church numerals
Jump to navigation
Jump to search
Lazy K and Hot golfers may find this page useful. BLC will come soon...
| Constant | SK | SKI | IJ | BLC |
|---|---|---|---|---|
| 0 | SK (2) | SK (2) | ||
| 1 | SKK (3) | I (1) | I (1) | |
| 2 | S(S(K(SS))K)K (7) | S(S(KS)K)I (6) | J(JI(J(JII)I))(JII)(JIJ) (14) | |
| 3 | SS(SS(SK))(S(KS)K) (10) | S(K(SS(S(SI)S)))K (9) | J(J(J(JI(J(JII)I)))II)I(J(JJ)(JIJ)) (19) | |
| 4 | SS(SS(SS(SK)))(S(KS)K) (12) | SSI(S(S(KS)K))I (9) | J(JI(JI(J(JII)I)I))(JJII)(J(JI)J) (19) | |
| 5 | S(S(SS)S)S(S(KS)K)(SKK) (13) | S(SSK)S(S(S(KS)K))I (11) | ||
| 6 | S(SSS)(SS(SK))(S(KS)K) (12) | SSI(SSS)(S(KS)K)I (11) | ||
| 7 | SS(S(SSS)(SS(SK)))(S(KS)K) (14) | S(SI)S(SSK(S(S(KS)K)))I (13) | ||
| 8 | S(S(SSK))(SS(SK))(S(KS)K) (13) | S(S(KS)S)I(S(S(KS)K))I (12) | JJJI(J(JJI)J(JII)I)I(J(JI))J(JI)I (21) | |
| 9 | SS(SS)(SS(SK))(S(KS)K) (12) | S(SS)(SS)(K(S(S(KS)K)))I (12) | ||
| 10 | SS(SS(SS)(SS(SK)))(S(KS)K) (14) | SI(SS)(SSK(S(S(KS)K)))I (13) | ||
| 11 | S(SS)S(SSK(S(S(KS)K)))(SKK) (15) | S(SS)S(SSK(S(S(KS)K)))I (13) | ||
| 12 | S(SSS)(SS(SS(SK)))(S(KS)K) (14) | S(S(SI))I(S(S(KS)K))I (11) | ||
| 13 | SS(S(SSS)(SS(SS(SK))))(S(KS)K) (16) | S(S(SS)I)I(S(S(KS)K))I (12) | ||
| 14 | SS(SS)(SSK)(S(S(KS)K))(SKK) (15) | SS(SS)(SSK)(S(S(KS)K))I (13) | ||
| 15 | S(SS(SS)(SSS))S(S(KS)K)(SK) (15) | S(S(S(SSI)))S(K(S(S(KS)K)))I (14) | ||
| 16 | S(SSK)S(S(S(K(SS))K))K (12) | S(SI)I(S(S(KS)K)I) (10) | ||
| 17 | SSK(SS(S(SSK(S(S(KS)K)))))(SK) (16) | SSK(S(S(KS)K))(S(S(SI)))I (13) | ||
| 18 | SS(SS)(SS)(K(S(S(KS)K)))(SKK) (15) | SS(SS)(SS)(K(S(S(KS)K)))I (13) | ||
| 19 | SS(SS(SS)(SS))(K(S(S(KS)K)))(SKK) (17) | SS(SS(SS)(SS))(K(S(S(KS)K)))I (15) | ||
| 20 | SSS(K(S(S(SS)(SK))S))(S(KS))K (15) | S(S(SIS))I(S(S(KS)K))I (12) | ||
| 21 | S(K(S(SSS)K(SSK(S(SKK)))(SS)))K (17) | S(SSK)(S(SIS))(S(S(KS)K))I (14) | ||
| 22 | S(S(SSS)(SSS))S(S(KS)K)(SKK) (16) | S(SSI(SSS))S(S(KS)K)I (13) | ||
| 23 | SS(S(SS))(SSK)(S(S(KS)K))(SKK) (16) | S(S(SI))(SSK)(S(S(KS)K))I (13) | ||
| 24 | S(SS(SS(SSS)))(SS(SK))(S(KS)K) (16) | S(S(S(S(SS))K))I(S(S(KS)K))I (14) | ||
| 25 | SS(S(SSK)S)(S(S(KS)K))(SKK) (15) | S(S(SII)S)I(S(S(KS)K))I (13) | ||
| 26 | S(S(SS)S)(SS(SK))(S(KS)K)(SKK) (16) | S(SI(S(SS)S))S(S(KS)K)II (14) | ||
| 27 | SSS(SS)(K(S(S(KS)K)))(SKK) (14) | SSI(S(K(SS(S(SI)S))))K (12) | ||
| 28 | S(SS(SSK))S(S(S(KS)K))(SK) (14) | SS(SSS(SS))(K(S(S(KS)K)))I (14) | ||
| 29 | SSK(S(S(KS)K))(S(SS(SSK))S)(SK) (17) | S(S(S(S(SI))I))S(S(KS)K)II (14) | ||
| 30 | S(SSS)(S(S(S(SS)S)S)(SK))(S(KS)K) (17) | S(S(SS(S(SS)K)))S(S(KS)K)II (15) | ||
| 31 | S(SKK)S(SS(SSK)(S(S(KS)K)))(SK) (17) | SIS(S(SII)(K(S(S(KS)K))))I (14) | ||
| 32 | S(S(SS(SSK)))(SS(SK))(S(KS)K) (15) | SS(S(S(SI))S)(K(S(S(KS)K)I)) (14) | ||
| 33 | SS(S(S(SS(SSK)))(SS(SK)))(S(KS)K) (17) | S(S(SSI))(SSK)(S(S(KS)K))I (14) | ||
| 34 | SI(S(SS))(S(SSK))(S(S(KS)K))I (15) | |||
| 35 | S(S(SI))(S(SSS)K)(S(S(KS)K))I (15) | |||
| 36 | SS(S(SSS))(SS(SK))(S(KS)K) (14) | S(SS)I(SSS(S(KS)K))I (12) | ||
| 37 | SS(SS(S(SSS))(SS(SK)))(S(KS)K) (16) | SSI(S(S(SS)S)S)(S(KS)K)I (14) | ||
| 38 | S(S(S(S(SS(K(SSK))))(SK)))S(S(KS)K) (17) | |||
| 39 | SSS(SSS)S(S(KS)K)(SKK) (14) | SSS(SSS)S(S(KS)K)I (12) | ||
| 40 | SS(S(SSS(SSS)S)(SK))(S(KS)K) (16) | S(S(S(SSI))S)S(S(KS)K)I (13) | ||
| 41 | S(S(S(S(SSK)S))S)S(S(KS)K)(SKK) (17) | S(SS(S(S(SSI))S))S(S(KS)K)I (15) | ||
| 42 | S(SSS)(S(SSS)(SS(SK)))(S(KS)K) (16) | S(S(S(SI)I))I(S(S(KS)K))I (13) | ||
| 43 | S(SSK)(S(SS(SK)))(S(S(KS)K))(SKK) (17) | S(S(S(S(SS)S))K)I(S(S(KS)K))I (15) | ||
| 45 | S(S(S(S(S(SS)(SK))))S)S(S(KS)K)(SK) (17) | S(S(S(SI)))(SSS)(K(S(S(KS)K)))I (15) | ||
| 49 | SS(S(S(SSS)S))(SS(SK))(S(KS)K) (16) | S(SS(S(S(SIS))))K(S(S(KS)K))I (15) | ||
| 50 | S(S(SS)(S(S(SS)S)S))S(S(KS)K)(SK) (17) | SSS(S(S(SI))S(S(KS)K))II (14) | ||
| 51 | S(SS)S(K(S(S(S(SS)S(S(KS)K)))S))K (17) | S(S(S(S(SII)S))S)S(S(KS)K)I (15) | ||
| 52 | S(S(S(S(SS)S)S)S)(SS(SK))(S(KS)K) (17) | SSS(SSI(S(K(S(S(KS)K)))))II (15) | ||
| 54 | S(S(S(KS)))S(SS)(SK)(K(S(S(KS)K))) (16) | S(SI)S(SS)(K(S(S(KS)K)))I (13) | ||
| 55 | SS(S(SI)S(SS))(K(S(S(KS)K)))I (15) | |||
| 56 | S(S(SS)(SSS))S(S(KS)K)(SKK) (15) | S(S(SI)(SSS))S(S(KS)K)I (13) | ||
| 57 | SS(S(S(S(SS)(SSS))S)(SK))(S(KS)K) (17) | S(SS(S(SI)(SSS)))S(S(KS)K)I (15) | ||
| 61 | S(S(S(S(SS)I))S)S(S(KS)K)I (14) | |||
| 63 | S(S(SSS)S)K(S(S(KS)K))(SK)(SK) (16) | S(SS)S(SI(SSK(S(S(KS)K))))I (15) | ||
| 64 | SS(SS)(SS(SS(SK)))(S(KS)K) (14) | S(SSS)S(K(S(S(KS)K)I))I (13) | ||
| 65 | SS(SS(SS)(SS(SS(SK))))(S(KS)K) (16) | SS(SSK)(S(S(KS)K))(SI)I (13) | ||
| 66 | SSK(SS(S(SS)S)(K(S(S(KS)K))))SK (17) | |||
| 68 | SIS(S(SSS(K(S(S(KS)K)))))II (15) | |||
| 69 | S(S(SS)S)(SS(K(SK)))(S(K(S(S(KS)K)))) (17) | |||
| 71 | S(S(S(SSS)S)K)K(S(S(KS)K))(SK) (16) | |||
| 72 | S(S(S(KS)))(SS)(SS)(SK)(K(S(S(KS)K))) (17) | S(SI)(SS)(SS)(K(S(S(KS)K)))I (14) | ||
| 74 | S(S(SI)(S(SSS)S))S(S(KS)K)I (15) | |||
| 80 | S(S(S(S(S(SS)))S)S)(SS(SK))(S(KS)K) (17) | S(SIS)(S(SI)I)(S(S(KS)K))I (14) | ||
| 81 | S(S(SS))(SS)(S(SSS(KS)))K (13) | SIS(SS(K(S(S(KS)K))))I (12) | ||
| 82 | SS(SS(SS(SS))(SS(SK)))(S(KS)K) (16) | SI(S(S(SS))(SS))(S(SSS(KS)))K (15) | ||
| 83 | SSK(S(S(K(SSK(S(S(KS)K))))S))(SK) (17) | SIS(S(K(SSK(S(S(KS)K))))S)I (15) | ||
| 84 | SIS(SSK(SI(K(S(S(KS)K)))))I (15) | |||
| 85 | S(S(S(SS)I)I)I(S(S(KS)K))I (14) | |||
| 86 | SS(SS(SS))(SSK)(S(S(KS)K))(SKK) (17) | S(S(S(S(S(SS))I))S)S(S(KS)K)I (15) | ||
| 87 | S(S(SS)S)(SSK)(S(S(KS)K))(SK) (15) | SS(S(SIS))(SSK)(S(S(KS)K))I (15) | ||
| 88 | S(SI)(S(S(SI)I)I)(S(S(KS)K))I (15) | |||
| 90 | S(SSS)(SS(SS)(SS(SK)))(S(KS)K) (16) | |||
| 91 | S(SIS)(S(SSK)I)(S(S(KS)K))I (15) | |||
| 92 | S(K(S(S(SSS(SSS)S(S(KS)K)))S))K (17) | SI(S(SIS))(SSK(S(S(KS)K)))I (15) | ||
| 98 | S(SS)(SSS)(SI(K(S(S(KS)K))))I (15) | |||
| 100 | S(S(S(S(S(KS)))S)S)(SS(SK))(S(KS)K) (17) | SI(S(SSK))(SIK(S(S(KS)K)))I (15) | ||
| 103 | S(S(SI)S(SS(KS)))S(S(KS)K)I (15) | |||
| 104 | SIS(SSI(S(K(S(S(KS)K)))))II (15) | |||
| 108 | S(S(K(SSS))(SI))S(S(KS)K)I (14) | |||
| 118 | SI(S(SS)I)(SSK(S(S(KS)K)))I (15) | |||
| 121 | S(SS)S(SS(SS)(KS))S(SK)(S(KS)K) (17) | SIS(SS(SS)(KS))S(S(KS)K)I (15) | ||
| 122 | S(SSK)K(S(S(SS)S)S(S(KS)K))(SK) (17) | |||
| 125 | S(S(S(SS)))(SSK)(S(S(KS)K))(SK) (15) | S(SS(SS(S(SS))))K(S(S(KS)K))I (15) | ||
| 127 | SSK(S(S(S(KS)S)K(S(S(KS)K))))(SK) (17) | SIS(S(S(KS)S)K(S(S(KS)K)))I (15) | ||
| 128 | SSS(S(S(S(KS)K)))(K(S(S(K(SS))K)K)) (17) | SSI(S(S(SI)(K(S(S(KS)K)))))II (15) | ||
| 135 | S(S(S(S(S(SS(K(SK)))))))S(K(S(S(KS)K))) (17) | S(S(S(S(SI))))S(K(S(S(KS)K)))I (14) | ||
| 144 | SS(S(SS(SSS)))(SS(SK))(S(KS)K) (16) | S(S(S(SS)))I(S(S(KS)K))I (12) | ||
| 145 | S(SSK)(S(S(SS)))(S(S(KS)K))(SKK) (16) | S(SSK)(S(S(SS)))(S(S(KS)K))I (14) | ||
| 147 | S(SSS)(SS(SK))(S(SSK)S(S(KS)K)) (17) | |||
| 155 | S(S(S(SS(SSK))))S(S(KS)K)II (15) | |||
| 156 | S(S(SSS)(SSS))(SS(SK))(S(KS)K) (16) | S(S(SI(SI)))I(S(S(KS)K))I (13) | ||
| 157 | SSK(S(SS(SSK)(S(S(KS)K))))(SK) (16) | SIS(SS(SSK)(S(S(KS)K)))I (14) | ||
| 161 | S(SI)S(SS(SSK)(S(S(KS)K)))I (15) | |||
| 162 | SSK(S(SS(SS)(K(S(S(KS)K)))))(SK) (16) | SIS(SS(SS)(K(S(S(KS)K))))I (14) | ||
| 165 | S(SI)(S(SI)(SSK))(S(S(KS)K))I (15) | |||
| 169 | SS(S(S(SS)I)I)(S(S(KS)K))I (14) | |||
| 183 | S(S(SS)S)(SSS)(S(KS)K)(SKK) (15) | S(S(SS)S)(SSS)(S(KS)K)I (13) | ||
| 184 | S(S(S(SSS))S)(SSS)(S(KS)K)(SK) (16) | S(S(S(SIS))S)(SSS)(S(KS)K)I (15) | ||
| 185 | SS(SS)(S(S(SS)S)S)(S(KS)K)(SKK) (17) | SS(SS)(S(S(SS)S)S)(S(KS)K)I (15) | ||
| 188 | S(S(S(SS)(S(SS)S))S)S(S(KS)K)(SK) (17) | |||
| 195 | S(SSI(SS(K(SI))))S(S(KS)K)I (15) | |||
| 196 | SS(SS(SS)(SSK))(S(S(KS)K))(SKK) (17) | SS(SS(SS)(SSK))(S(S(KS)K))I (15) | ||
| 200 | S(S(S(S(S(SKK))))S)S(S(KS)K)(SKK) (17) | S(S(S(S(SI)))S)S(S(KS)K)I (13) | ||
| 201 | S(S(S(S(SSI)))S)S(S(KS)K)I (14) | |||
| 216 | S(S(S(K(SS))S)S)(SS(SK))(S(KS)K) (16) | SIS(S(SS))(K(S(S(KS)K)))I (13) | ||
| 217 | SS(SIS(S(SS)))(K(S(S(KS)K)))I (15) | |||
| 225 | S(SSS)(SSK)(S(S(KS)K))(SKK)(SK) (17) | S(SSS)(SSK)(S(S(KS)K))I(SK) (15) | ||
| 226 | S(S(S(SSS)(SSK)(S(S(KS)K))))S(SK) (17) | S(SSS)(SSK)(S(S(KS)K))II (14) | ||
| 243 | S(SS(S(SSK)))(SS(SS(SK)))(S(KS)K) (17) | |||
| 255 | SSK(SS(S(S(SS)(SSS(KS)))))(SK)K (17) | S(SI)S(S(SIK))(S(S(KS)K))I (14) | ||
| 256 | SSS(K(S(SS)(S(SS)K)))KK (13) | S(SSI)I(S(S(KS)K)I) (11) | ||
| 257 | SS(SS(SSK)(SS(SK))S)(S(KS)K) (16) | SSK(S(S(KS)K))(S(S(SSI)))I (14) | ||
| 258 | S(SS(S(SSS)K))S(S(S(KS)K))(SK) (16) | |||
| 272 | SSS(S(S(S(KS)K))(SSS))(S(KS)K)K (17) | SIS(S(S(K(SSS(S(KS)K)))))II (15) | ||
| 289 | S(S(S(S(SS(SS)))S(S(KS)K)))K(SK) (16) | S(SI(S(S(SS))S))S(S(KS)K)II (15) | ||
| 324 | S(SIK(SS(SS)))K(S(S(KS)K))I (15) | |||
| 325 | SIK(SS(SSK)(S(S(KS)K)))II (15) | |||
| 327 | S(S(S(S(SSI))S)S)S(S(KS)K)I (15) | |||
| 332 | S(S(S(S(SS)(SI)))S)S(S(KS)K)I (15) | |||
| 336 | SSSSS(S(S(KS))(K(SS)))(S(SS)K)SK (18) | SSI(S(SI(SSS))S)(S(KS)K)I (15) | ||
| 337 | S(S(SI))I(SSK(S(S(KS)K)))I (14) | |||
| 338 | S(S(S(S(SS))I)I)I(S(S(KS)K))I (15) | |||
| 343 | SS(SS)(SS(SK))(S(SSK)S(S(KS)K)) (17) | |||
| 351 | S(S(S(SS))(SSK))I(S(S(KS)K))I (15) | |||
| 352 | SS(S(S(SS)))(SSK)(S(S(KS)K))(SKK) (17) | SS(S(S(SS)))(SSK)(S(S(KS)K))I (15) | ||
| 400 | S(SSK)S(SSS(S(KS)K))(SKK) (15) | S(SSK)S(SSS(S(KS)K))I (13) | ||
| 417 | S(S(S(SSS)(SSK)))S(S(KS)K)(SK) (16) | |||
| 418 | S(S(S(SSS)(SSK)))S(S(KS)K)(SKK) (17) | S(S(S(SSS)(SSK)))S(S(KS)K)I (15) | ||
| 420 | SS(SSK)(S(S(K(SSS(S(KS)K)))))(SK) (17) | S(S(SI(SIS)))I(S(S(KS)K))I (14) | ||
| 424 | S(SS)K(SS(SSK)(S(S(KS)K)))K(SK) (17) | |||
| 484 | SS(S(S(SSI)I)I)(S(S(KS)K))I (15) | |||
| 508 | S(S(SS)S)(S(SSS)S)(S(KS)K)(SKK) (17) | S(S(SS(SSK)))I(S(S(KS)K))I (14) | ||
| 509 | S(SS)I(SI(SI(K(S(S(KS)K)))))I (15) | |||
| 511 | SS(S(KK))S(SS(SSK))S(S(KS)K)(SK) (18) | S(S(SS)(S(SIK)))I(S(S(KS)K))I (15) | ||
| 512 | S(SSK)(S(S(KS)K))(S(S(K(SS))K)K) (16) | S(SI)I(SS(K(S(S(KS)K))))I (13) | ||
| 529 | SS(S(S(SI))(SSK))(S(S(KS)K))I (15) | |||
| 600 | S(S(S(S(S(SI))I)))K(S(S(KS)K))I (15) | |||
| 625 | SS(SS)(SS(SS(SS(SK))))(S(KS)K) (16) | S(SIS)(SI)(S(S(KS)K))I (12) | ||
| 626 | SSS(S(S(SS)K))(K(S(S(KS)K)))(SKK) (17) | SSS(S(S(SS)K))(K(S(S(KS)K)))I (15) | ||
| 627 | S(S(SIS)S)K(S(S(KS)K))(SI)I (15) | |||
| 676 | S(S(S(S(SSS))S(S(KS)K)))S(SK) (15) | S(S(SSS))S(S(KS)K)II (12) | ||
| 677 | S(SS)S(S(KS)K)(S(S(SS))K)(SKK) (16) | S(S(SI(SSS)))S(S(KS)K)II (14) | ||
| 723 | S(S(S(S(S(KS)S)S))S(S(KS)K))S(SK) (17) | SSI(S(SS)S)(S(KS)K)(SK)I (14) | ||
| 729 | SSK(S(S(SS)(K(S(S(KS)K)))))(SK) (15) | S(SIK)(S(SI))(S(S(KS)K))I (13) | ||
| 730 | S(S(SS)S)(SS(SS(SK)))(S(KS)K)(SK) (17) | SI(S(S(SI))(SI(SK)))(S(S(KS)K)) (15) | ||
| 755 | S(S(SS))K(S(SI))(K(S(S(KS)K)))I (15) | |||
| 1000 | SS(S(SS))(S(KS))SK(S(S(KS)K))(SKK) (18) | S(SI)SS(S(KS))SK(S(S(KS)K))I (16) | ||
| 1024 | S(S(S(S(SSS)S)))K(S(S(K(SS))K)K) (16) | S(S(KS)S)(SSI)(S(S(KS)K))I (14) | ||
| 1025 | S(SS)S(SS(SSK)(S(S(KS)K)))(SK) (16) | |||
| 1125 | S(SS(SS)(SSS))S(S(KS)K)(SKK) (16) | S(S(S(SI))I)I(S(S(KS)K))I (13) | ||
| 1126 | S(SSK)(S(S(SI))I)(S(S(KS)K))I (15) | |||
| 1156 | SIS(S(S(S(SI))S(S(KS)K)))II (15) | |||
| 1296 | SS(SS(S(SSS)))(SS(SK))(S(KS)K) (16) | S(SS)(SI)(SSS(S(KS)K))I (13) | ||
| 1300 | S(S(S(SS)(SSS))S)(SS(SK))(S(KS)K) (17) | |||
| 1345 | S(S(SS))I(S(SSK))(S(S(KS)K))I (15) | |||
| 1443 | S(S(SSS)S)K(S(S(KS)K))(SKK)(SK) (17) | S(S(SSS)S)K(S(S(KS)K))I(SK) (15) | ||
| 1444 | S(S(S(S(SSS)S)K(S(S(KS)K))))S(SK) (17) | S(S(SSS)S)K(S(S(KS)K))II (14) | ||
| 1445 | S(S(SS(KS))S)K(S(S(KS)K))II (15) | |||
| 1458 | S(SIK)(SI(S(SI)))(S(S(KS)K))I (15) | |||
| 1566 | S(S(S(SI))(SSK))I(S(S(KS)K))I (15) | |||
| 1567 | SS(S(S(SI)))(SSK)(S(S(KS)K))I (15) | |||
| 1728 | SS(S(SSS))(SS(SS(SK)))(S(KS)K) (16) | |||
| 1764 | SS(S(S(S(SI)I))I)(S(S(KS)K))I (15) | |||
| 1792 | S(S(SIS)(S(SI)))K(S(S(KS)K))I (15) | |||
| 1806 | S(S(SSK))(SSS)(S(KS)K)(SKK) (15) | S(S(SSK))(SSS)(S(KS)K)I (13) | ||
| 1807 | SS(S(S(S(SSK))(SSS))(SK))(S(KS)K) (17) | S(S(SI(S(SI)S)))S(S(KS)K)II (15) | ||
| 1809 | S(SS(S(SSS))(SSS))S(S(KS)K)(SK) (17) | |||
| 1872 | S(S(S(KS)S)S)(SSS)(S(KS)K)(SKK) (17) | S(S(SSI))I(S(S(KS)K))I (12) | ||
| 1873 | S(SSK)(S(SSI))(S(S(KS)K))I (14) | |||
| 2016 | S(SI)(S(S(SIK))I)(S(S(KS)K))I (15) | |||
| 2048 | SSK(S(S(KS)))SS(SSK(S(KS)))(SS)K (18) | |||
| 2127 | S(S(S(S(SSS)S)K))S(S(KS)K)(SK) (16) | |||
| 2128 | S(S(S(S(SSS)S)K))S(S(KS)K)(SKK) (17) | S(S(S(S(SSS)S)K))S(S(KS)K)I (15) | ||
| 2187 | S(S(SS(SSK)))(SS(SS(SK)))(S(KS)K) (17) | |||
| 2197 | SI(SI)(S(SSS)S(S(KS)K))I (14) | |||
| 2366 | S(S(SS)(SS(SSS)))S(S(KS)K)(SKK) (17) | S(S(SS)(SS(SSS)))S(S(KS)K)I (15) | ||
| 2500 | S(SIS)(SI(SI))(S(S(KS)K))I (14) | |||
| 2706 | SS(SS(KS))(S(SS)S)(S(KS)K)(SKK) (17) | SS(SS(KS))(S(SS)S)(S(KS)K)I (15) | ||
| 2783 | S(SS)(SSS)(SSK(S(S(KS)K)))(SKK) (17) | S(SS)(SSS)(SSK(S(S(KS)K)))I (15) | ||
| 2916 | SSK(S(SS(S(SS))(K(S(S(KS)K)))))(SK) (17) | SIS(SS(S(SS))(K(S(S(KS)K))))I (15) | ||
| 3125 | S(S(K(SSS))S)S(S(KS)K)(SKK) (15) | S(SSS)I(S(S(KS)K))I (11) | ||
| 3126 | S(SSK)(SSS)(S(S(KS)K))(SKK) (15) | S(SSK)(SSS)(S(S(KS)K))I (13) | ||
| 3127 | S(S(SSS)K)(SSS)(S(S(KS)K))(SKK) (17) | S(SSK)(SI(SSS))(S(S(KS)K))I (15) | ||
| 3136 | S(SS)(SSI)(SSK(S(S(KS)K)))I (15) | |||
| 3306 | S(S(SS(SIK)))I(S(S(KS)K))I (14) | |||
| 3375 | S(SS)I(S(SSK(S(S(KS)K)))I)I (15) | |||
| 3380 | S(S(S(S(S(S(KS)S)))))S(S(KS)K)(SK) (16) | |||
| 3840 | S(SS(SS)(S(SI)S))S(S(KS)K)I (15) | |||
| 4096 | S(SS(S(S(S(SS)))))K(S(S(KS)K))(SKK) (17) | S(S(SS)S)S(K(S(S(KS)K)I))I (14) | ||
| 4160 | S(S(SSK)(KS))K(SSS(S(KS)K))(SK) (17) | |||
| 4397 | S(S(S(S(SSI))I))S(S(KS)K)II (15) | |||
| 4627 | S(S(SSS)(S(SS)S))S(S(KS)K)(SKK) (17) | S(S(SSS)(S(SS)S))S(S(KS)K)I (15) | ||
| 4732 | S(S(S(S(S(S(KS)))))S)S(S(KS)K)(SKK) (17) | S(S(S(S(S(S(KS)))))S)S(S(KS)K)I (15) | ||
| 5551 | S(S(SS)(S(SSS)S))S(S(KS)K)(SKK) (17) | S(S(SS)(S(SSS)S))S(S(KS)K)I (15) | ||
| 5832 | S(S(SS))I(SIK(S(S(KS)K)))II (15) | |||
| 6400 | S(S(S(SIS)))I(S(S(KS)K))I (13) | |||
| 6401 | S(SSK)(S(S(SIS)))(S(S(KS)K))I (15) | |||
| 6561 | S(S(SS))(SS)(SS(S(SSS(KS))))K (15) | SIS(SS(K(SI(S(S(KS)K)))))I (14) | ||
| 6591 | S(S(S(SI(SSS))))K(S(S(KS)K))I (15) | |||
| 7776 | SS(SS)(S(S(S(SS)S)S)(SK))(S(KS)K) (17) | SSK(SS(SI(K(S(S(KS)K)))))II (15) | ||
| 8281 | S(S(S(KS)))(SS)(SS)(SSS)(KS)K(SKK) (18) | S(S(SI)(SS)(SS))(SSS)(KS)KI (15) |