http://math.stackexchange.com/questions/1419632/rotations-of-a-cube

cuberots.log

rots = [
  k = 1: e=12345678 []
  k = 2: x=56218734 []
  k = 3: y=41238567 []
  k = 4: z=26731584 []
]
k = 1: 0 e -> e=12345678
k = 2: 1 x -> x=56218734
k = 3: 2 y -> y=41238567
k = 4: 3 z -> z=26731584
k = 5: 10 xe -> x=56218734
k = 6: 11 xx -> xx=87654321
k = 7: 12 xy -> xy=15624873
k = 8: 13 xz -> xz=67325841
k = 9: 20 ye -> y=41238567
k = 10: 21 yx -> yx=85147623
k = 11: 22 yy -> yy=34127856
k = 12: 23 yz -> xy=15624873
k = 13: 30 ze -> z=26731584
k = 14: 31 zx -> xy=15624873
k = 15: 32 zy -> zy=32674158
k = 16: 33 zz -> zz=65872143
k = 17: 100 xee -> x=56218734
k = 18: 101 xex -> xx=87654321
k = 19: 102 xey -> xy=15624873
k = 20: 103 xez -> xz=67325841
k = 22: 111 xxx -> xxx=43781265
k = 23: 112 xxy -> xxy=58761432
k = 24: 113 xxz -> xxz=73268415
k = 26: 121 xyx -> xyx=48513762
k = 27: 122 xyy -> xyy=21563487
k = 32: 133 xzz -> xzz=78436512
k = 38: 211 yxx -> yxx=76583214
k = 43: 222 yyy -> yyy=23416785
k = 64: 333 zzz -> zzz=51486237
k = 87: 1112 xxxy -> xxxy=84375126
k = 90: 1121 xxyx -> xxyx=14852376
k = 102: 1211 xyxx -> xyxx=37842651
k = 107: 1222 xyyy -> xyyy=62157348
k = 1004: 33223 zzyyz -> xxz=73268415
k = 1005: 33230 zzyze -> xyyy=62157348
k = 1006: 33231 zzyzx -> xxz=73268415
k = 1007: 33232 zzyzy -> x=56218734
k = 1008: 33233 zzyzz -> yyy=23416785
k = 1009: 33300 zzzee -> zzz=51486237
k = 1010: 33301 zzzex -> xyyy=62157348
k = 1011: 33302 zzzey -> yx=85147623
k = 1012: 33303 zzzez -> e=12345678
k = 1013: 33310 zzzxe -> xyyy=62157348
k = 1014: 33311 zzzxx -> xxz=73268415
k = 1015: 33312 zzzxy -> x=56218734
k = 1016: 33313 zzzxz -> yyy=23416785
k = 1017: 33320 zzzye -> yx=85147623
k = 1018: 33321 zzzyx -> yxx=76583214
k = 1019: 33322 zzzyy -> xyx=48513762
k = 1020: 33323 zzzyz -> x=56218734
k = 1021: 33330 zzzze -> e=12345678
k = 1022: 33331 zzzzx -> x=56218734
k = 1023: 33332 zzzzy -> y=41238567
k = 1024: 33333 zzzzz -> z=26731584
rots = [
  k = 1: e=12345678 ["ee", "xxxx", "yyyy", "zzzz", "xexxx", "xxexx", "xxxex", "xxxxe", "yeyyy", "yyeyy", "yyyey", "yyyye", "zezzz", "zzezz", "zzzez", "zzzze"]
  k = 2: x=56218734 ["xe", "xee", "ex", "yxz", "xeee", "yexz", "yxez", "yxze", "xeeee", "xxxxx", "xyyyy", "xzzzz", "yeexz", "yexez", "yexze", "yxeez", "yxeze", "yxxzy", "yxzee", "yyxzz", "yyyyx", "yzyyy", "zxyyy", "zyxxz", "zyzyy", "zzxyy", "zzyzy", "zzzxy", "zzzyz", "zzzzx"]
  k = 3: y=41238567 ["ye", "ey", "yee", "zyx", "yeee", "zeyx", "zyex", "zyxe", "xxxxy", "xxxyz", "xxxzx", "xxyzz", "xxzxz", "xyzzz", "xzxzz", "xzyyx", "yeeee", "yxxxx", "yyyyy", "yzzzz", "zeeyx", "zeyex", "zeyxe", "zxzzz", "zyeex", "zyexe", "zyxee", "zyyxz", "zzyxx", "zzzzy"]
  k = 4: z=26731584 ["ze", "ez", "xzy", "zee", "xezy", "xzey", "xzye", "zeee", "xeezy", "xezey", "xezye", "xxxxz", "xxzyy", "xyxxx", "xzeey", "xzeye", "xzyee", "xzzyx", "yxyxx", "yxzzy", "yyxyx", "yyyxy", "yyyyz", "yyyzx", "yyzxx", "yzxxx", "zeeee", "zxxxx", "zyyyy", "zzzzz"]
  k = 5: xx=87654321 ["xex", "xxe", "xeex", "xexe", "exx", "xxee", "xyxz", "yxxy", "yxyz", "yxzx", "yyzz", "yzxz", "zxxz", "zzyy", "xeeex", "xeexe", "xexee", "xeyxz", "xxeee", "xyexz", "xyxez", "xyxze", "yexxy", "yexyz", "yexzx", "yeyzz", "yezxz", "yxexy", "yxeyz", "yxezx", "yxxey", "yxxye", "yxyez", "yxyze", "yxzex", "yxzxe", "yyezz", "yyzez", "yyzze", "yzexz", "yzxez", "yzxze", "zexxz", "zezyy", "zxexz", "zxxez", "zxxze", "zzeyy", "zzyey", "zzyye"]
  k = 6: xy=15624873 ["yz", "zx", "xey", "xye", "yez", "yze", "zex", "zxe", "xeey", "exy", "xeye", "xyee", "xzyx", "yeez", "yeze", "yxzy", "yzee", "zeex", "zexe", "zxee", "zyxz", "xeeey", "xeeye", "xeyee", "xezyx", "xyeee", "xzeyx", "xzyex", "xzyxe", "yeeez", "yeeze", "yexzy", "yezee", "yxezy", "yxzey", "yxzye", "yzeee", "zeeex", "zeexe", "zexee", "zeyxz", "zxeee", "zyexz", "zyxez", "zyxze"]
  k = 7: xz=67325841 ["xez", "xze", "xeez", "exz", "xeze", "xxzy", "xzee", "yxzz", "yyyx", "zyyy", "xeeez", "xeeze", "xexzy", "xezee", "xxezy", "xxzey", "xxzye", "xzeee", "yexzz", "yeyyx", "yxezz", "yxzez", "yxzze", "yyeyx", "yyyex", "yyyxe", "zeyyy", "zyeyy", "zyyey", "zyyye"]
  k = 8: yx=85147623 ["yex", "yxe", "eyx", "xzzz", "yeex", "yexe", "yxee", "yyxz", "zyxx", "zzzy", "xezzz", "xzezz", "xzzez", "xzzze", "yeeex", "yeexe", "yexee", "yeyxz", "yxeee", "yyexz", "yyxez", "yyxze", "zeyxx", "zezzy", "zyexx", "zyxex", "zyxxe", "zzezy", "zzzey", "zzzye"]
  k = 9: yy=34127856 ["yey", "yye", "eyy", "xxzz", "xyyx", "yeey", "yeye", "yyee", "yzyx", "zxyx", "zyxy", "zyyz", "zyzx", "zzxx", "xexzz", "xeyyx", "xxezz", "xxzez", "xxzze", "xyeyx", "xyyex", "xyyxe", "yeeey", "yeeye", "yeyee", "yezyx", "yyeee", "yzeyx", "yzyex", "yzyxe", "zexyx", "zeyxy", "zeyyz", "zeyzx", "zezxx", "zxeyx", "zxyex", "zxyxe", "zyexy", "zyeyz", "zyezx", "zyxey", "zyxye", "zyyez", "zyyze", "zyzex", "zyzxe", "zzexx", "zzxex", "zzxxe"]
  k = 10: zy=32674158 ["zey", "zye", "ezy", "xxxz", "xzyy", "yxxx", "zeey", "zeye", "zyee", "zzyx", "xexxz", "xezyy", "xxexz", "xxxez", "xxxze", "xzeyy", "xzyey", "xzyye", "yexxx", "yxexx", "yxxex", "yxxxe", "zeeey", "zeeye", "zeyee", "zezyx", "zyeee", "zzeyx", "zzyex", "zzyxe"]
  k = 11: zz=65872143 ["zez", "zze", "ezz", "xxyy", "xyzy", "xzxy", "xzyz", "xzzx", "yyxx", "yzzy", "zeez", "zeze", "zxzy", "zzee", "xexyy", "xeyzy", "xezxy", "xezyz", "xezzx", "xxeyy", "xxyey", "xxyye", "xyezy", "xyzey", "xyzye", "xzexy", "xzeyz", "xzezx", "xzxey", "xzxye", "xzyez", "xzyze", "xzzex", "xzzxe", "yeyxx", "yezzy", "yyexx", "yyxex", "yyxxe", "yzezy", "yzzey", "yzzye", "zeeez", "zeeze", "zexzy", "zezee", "zxezy", "zxzey", "zxzye", "zzeee"]
  k = 12: xxx=43781265 ["xexx", "xxex", "xxxe", "xeexx", "xexex", "xexxe", "exxx", "xxeex", "xxexe", "xxxee", "xxyxz", "xyxxy", "xyxyz", "xyxzx", "xyyzz", "xyzxz", "xzxxz", "xzzyy", "yxxyx", "yxyxy", "yxyyz", "yxyzx", "yxzxx", "yyxyy", "yyyzy", "yyzxy", "yyzyz", "yyzzx", "yzxxy", "yzxyz", "yzxzx", "yzyzz", "yzzxz", "zxxxy", "zxxyz", "zxxzx", "zxyzz", "zxzxz", "zyzzz", "zzxzz", "zzyyx"]
  k = 13: xxy=58761432 ["xyz", "xzx", "yzz", "zxz", "xexy", "xeyz", "xezx", "xxey", "xxye", "xyez", "xyze", "xzex", "xzxe", "yezz", "yzez", "yzze", "zexz", "zxez", "zxze", "xeexy", "xeeyz", "xeezx", "xexey", "exxy", "xexye", "xeyez", "xeyze", "xezex", "xezxe", "xxeey", "xxeye", "xxyee", "xxzyx", "xyeez", "xyeze", "xyxzy", "xyzee", "xzeex", "xzexe", "xzxee", "xzyxz", "yeezz", "yezez", "yezze", "yxxyy", "yxyzy", "yxzxy", "yxzyz", "yxzzx", "yyyxx", "yyzzy", "yzeez", "yzeze", "yzxzy", "yzzee", "zeexz", "zexez", "zexze", "zxeez", "zxeze", "zxxzy", "zxzee", "zyxzz", "zyyyx", "zzyyy"]
  k = 14: xxz=73268415 ["zyy", "xexz", "xxez", "xxze", "zeyy", "zyey", "zyye", "xeexz", "xexez", "exxz", "xexze", "xxeez", "xxeze", "xxxzy", "xxzee", "xyxzz", "xyyyx", "xzyyy", "yxxxy", "yxxyz", "yxxzx", "yxyzz", "yxzxz", "yyzzz", "yzxzz", "yzyyx", "zeeyy", "zeyey", "zeyye", "zxxzz", "zxyyx", "zyeey", "zyeye", "zyyee", "zyzyx", "zzxyx", "zzyxy", "zzyyz", "zzyzx", "zzzxx"]
  k = 15: xyx=48513762 ["yxy", "yyz", "yzx", "zxx", "xeyx", "xyex", "xyxe", "yexy", "yeyz", "yezx", "yxey", "yxye", "yyez", "yyze", "yzex", "yzxe", "zexx", "zxex", "zxxe", "xeeyx", "exyx", "xeyex", "xeyxe", "xxzzz", "xyeex", "xyexe", "xyxee", "xyyxz", "xzyxx", "xzzzy", "yeexy", "yeeyz", "yeezx", "yexey", "yexye", "yeyez", "yeyze", "yezex", "yezxe", "yxeey", "yxeye", "yxyee", "yxzyx", "yyeez", "yyeze", "yyxzy", "yyzee", "yzeex", "yzexe", "yzxee", "yzyxz", "zeexx", "zexex", "zexxe", "zxeex", "zxexe", "zxxee", "zxyxz", "zyxxy", "zyxyz", "zyxzx", "zyyzz", "zyzxz", "zzxxz", "zzzyy"]
  k = 16: xyy=21563487 ["yzy", "zxy", "zyz", "zzx", "xeyy", "xyey", "xyye", "yezy", "yzey", "yzye", "zexy", "zeyz", "zezx", "zxey", "zxye", "zyez", "zyze", "zzex", "zzxe", "xeeyy", "exyy", "xeyey", "xeyye", "xxxzz", "xxyyx", "xyeey", "xyeye", "xyyee", "xyzyx", "xzxyx", "xzyxy", "xzyyz", "xzyzx", "xzzxx", "yeezy", "yezey", "yezye", "yxxxz", "yxzyy", "yyxxx", "yzeey", "yzeye", "yzyee", "yzzyx", "zeexy", "zeeyz", "zeezx", "zexey", "zexye", "zeyez", "zeyze", "zezex", "zezxe", "zxeey", "zxeye", "zxyee", "zxzyx", "zyeez", "zyeze", "zyxzy", "zyzee", "zzeex", "zzexe", "zzxee", "zzyxz"]
  k = 17: xzz=78436512 ["yyx", "xezz", "xzez", "xzze", "yeyx", "yyex", "yyxe", "xeezz", "exzz", "xezez", "xezze", "xxxyy", "xxyzy", "xxzxy", "xxzyz", "xxzzx", "xyyxx", "xyzzy", "xzeez", "xzeze", "xzxzy", "xzzee", "yeeyx", "yeyex", "yeyxe", "yxzzz", "yyeex", "yyexe", "yyxee", "yyyxz", "yzyxx", "yzzzy", "zxyxx", "zxzzy", "zyxyx", "zyyxy", "zyyyz", "zyyzx", "zyzxx", "zzxxx"]
  k = 18: yxx=76583214 ["zzy", "yexx", "yxex", "yxxe", "zezy", "zzey", "zzye", "eyxx", "xxyyy", "xyxxz", "xyzyy", "xzxyy", "xzyzy", "xzzxy", "xzzyz", "xzzzx", "yeexx", "yexex", "yexxe", "yxeex", "yxexe", "yxxee", "yxyxz", "yyxxy", "yyxyz", "yyxzx", "yyyzz", "yyzxz", "yzxxz", "yzzyy", "zeezy", "zezey", "zezye", "zxxxz", "zxzyy", "zyxxx", "zzeey", "zzeye", "zzyee", "zzzyx"]
  k = 19: yyy=23416785 ["yeyy", "yyey", "yyye", "eyyy", "xxyxx", "xxzzy", "xyxyx", "xyyxy", "xyyyz", "xyyzx", "xyzxx", "xzxxx", "yeeyy", "yeyey", "yeyye", "yxxzz", "yxyyx", "yyeey", "yyeye", "yyyee", "yyzyx", "yzxyx", "yzyxy", "yzyyz", "yzyzx", "yzzxx", "zxxyx", "zxyxy", "zxyyz", "zxyzx", "zxzxx", "zyxyy", "zyyzy", "zyzxy", "zyzyz", "zyzzx", "zzxxy", "zzxyz", "zzxzx", "zzyzz", "zzzxz"]
  k = 20: zzz=51486237 ["zezz", "zzez", "zzze", "ezzz", "xxxyx", "xxyxy", "xxyyz", "xxyzx", "xxzxx", "xyxyy", "xyyzy", "xyzxy", "xyzyz", "xyzzx", "xzxxy", "xzxyz", "xzxzx", "xzyzz", "xzzxz", "yxyyy", "yyxxz", "yyzyy", "yzxyy", "yzyzy", "yzzxy", "yzzyz", "yzzzx", "zeezz", "zezez", "zezze", "zxxyy", "zxyzy", "zxzxy", "zxzyz", "zxzzx", "zyyxx", "zyzzy", "zzeez", "zzeze", "zzxzy", "zzzee"]
  k = 21: xxxy=84375126 ["xxyz", "xxzx", "xyzz", "xzxz", "yzzz", "zxzz", "zyyx", "xexxy", "xexyz", "xexzx", "xeyzz", "xezxz", "xxexy", "xxeyz", "xxezx", "xxxey", "xxxye", "xxyez", "xxyze", "xxzex", "xxzxe", "xyezz", "xyzez", "xyzze", "xzexz", "xzxez", "xzxze", "yezzz", "yzezz", "yzzez", "yzzze", "zexzz", "zeyyx", "zxezz", "zxzez", "zxzze", "zyeyx", "zyyex", "zyyxe"]
  k = 22: xxyx=14852376 ["xyxy", "xyyz", "xyzx", "xzxx", "yxyy", "yyzy", "yzxy", "yzyz", "yzzx", "zxxy", "zxyz", "zxzx", "zyzz", "zzxz", "xexyx", "xeyxy", "xeyyz", "xeyzx", "xezxx", "xxeyx", "xxyex", "xxyxe", "xyexy", "xyeyz", "xyezx", "xyxey", "xyxye", "xyyez", "xyyze", "xyzex", "xyzxe", "xzexx", "xzxex", "xzxxe", "yexyy", "yeyzy", "yezxy", "yezyz", "yezzx", "yxeyy", "yxyey", "yxyye", "yyezy", "yyzey", "yyzye", "yzexy", "yzeyz", "yzezx", "yzxey", "yzxye", "yzyez", "yzyze", "yzzex", "yzzxe", "zexxy", "zexyz", "zexzx", "zeyzz", "zezxz", "zxexy", "zxeyz", "zxezx", "zxxey", "zxxye", "zxyez", "zxyze", "zxzex", "zxzxe", "zyezz", "zyzez", "zyzze", "zzexz", "zzxez", "zzxze"]
  k = 23: xyxx=37842651 ["xzzy", "yxyx", "yyxy", "yyyz", "yyzx", "yzxx", "zxxx", "xeyxx", "xezzy", "xyexx", "xyxex", "xyxxe", "xzezy", "xzzey", "xzzye", "yexyx", "yeyxy", "yeyyz", "yeyzx", "yezxx", "yxeyx", "yxyex", "yxyxe", "yyexy", "yyeyz", "yyezx", "yyxey", "yyxye", "yyyez", "yyyze", "yyzex", "yyzxe", "yzexx", "yzxex", "yzxxe", "zexxx", "zxexx", "zxxex", "zxxxe"]
  k = 24: xyyy=62157348 ["yxxz", "yzyy", "zxyy", "zyzy", "zzxy", "zzyz", "zzzx", "xeyyy", "xyeyy", "xyyey", "xyyye", "yexxz", "yezyy", "yxexz", "yxxez", "yxxze", "yzeyy", "yzyey", "yzyye", "zexyy", "zeyzy", "zezxy", "zezyz", "zezzx", "zxeyy", "zxyey", "zxyye", "zyezy", "zyzey", "zyzye", "zzexy", "zzeyz", "zzezx", "zzxey", "zzxye", "zzyez", "zzyze", "zzzex", "zzzxe"]
]