Machine 73 Results
Final configuration is 000010102112{112112}^(2367)210102210010110101001010{101010}^(791)110101{010101}^(225)021010100101010101010102101010102112112101{010101}^(2)100303{z}000303{l}{303030}^(3)300303030300 Ones: 17323 Hops: 262759288 Steps: 379583 Otters: 17778 Otter Steps: 122527994
Final configuration is 001010{211211}^(653){b}211212{r}{010010}^(386)303110303303003031{030303}^(348)030300003030{303030}^(94)030310003030{303030}^(6)303003{030303}^(3)030302030310{303030}^(2)000030303030303103030303030300303000 Ones: 6101 Hops: 50789361 Steps: 5000000 Otters: 0 Otter Steps: 0
Final configuration is 001010211211{b}211212{r}{010010}^(1038)303110303303003031{030303}^(348)030300003030{303030}^(94)030310003030{303030}^(6)303003{030303}^(3)030302030310{303030}^(2)000030303030303103030303030300303000 Ones: 3493 Hops: 50798489 Steps: 166481 Otters: 7474 Otter Steps: 23350010
Machine 73: [t(a,0,1,r,b),t(a,1,2,l,c),t(a,2,0,l,c),t(a,3,0,r,a),t(b,0,3,l,c),t(b,1,2,r,c),t(b,2,1,l,b),t(b,3,0,r,c),t(c,0,1,r,a),t(c,1,0,l,b),t(c,2,1,r,z),t(c,3,0,r,b)]
String format: 341rb2lc0lc0ra3lc2rc1lb0rc1ra0lb1rz0rb
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html Ligocki & Ligocki #a
Table:
Status: halts
Final Configuration: 000010102112{112112}^(2367)210102210010110101001010{101010}^(791)110101{010101}^(225)021010100101010101010102101010102112112101{010101}^(2)100303{z}000303{l}{303030}^(3)300303030300
Ones: 17323
Hops: 262759288
Steps: 379583
Otters: 17778
OtterSteps: 122527994
Otter Time: 65.830704
OtterLess Hops: 50789361
OtterLess Time: 98.933380
OtterExtra Hops: 50798489
OtterExtra Time: 28.617841
Macro Size: 6
Macro Machine: [trans(a,[0,0,0,0,0,0],l,b,[0,3,0,0,0,0],l,3),trans(b,[0,0,0,0,0,0],r,a,[0,0,0,0,1,0],r,3),trans(a,[0,3,0,0,0,0],l,b,[1,0,2,1,0,1],r,10),trans(b,[0,0,0,0,0,0],l,c,[3,0,0,0,0,0],l,1),trans(c,[1,0,2,1,0,1],r,b,[0,3,1,0,3,0],l,6),trans(b,[0,0,0,0,1,0],r,c,[0,0,1,0,1,0],r,7),trans(c,[0,3,1,0,3,0],l,b,[2,2,1,0,0,1],r,16),trans(b,[3,0,0,0,0,0],l,c,[3,1,0,3,0,3],l,15),trans(c,[2,2,1,0,0,1],r,b,[2,2,1,1,0,1],r,5),trans(b,[3,1,0,3,0,3],l,c,[3,0,0,3,0,3],l,3),trans(c,[2,2,1,1,0,1],r,b,[2,2,2,1,0,1],r,7),trans(b,[3,0,0,3,0,3],l,a,[0,1,1,0,1,0],r,6),trans(b,[0,1,1,0,1,0],r,c,[0,2,1,0,1,0],r,9),trans(c,[0,3,0,0,0,0],l,b,[0,3,0,3,0,0],l,7),trans(b,[0,2,1,0,1,0],r,c,[3,1,0,3,0,3],l,6),trans(c,[2,2,2,1,0,1],r,b,[1,1,1,0,3,0],l,6),trans(b,[0,0,1,0,1,0],r,a,[1,0,1,0,1,0],r,11),trans(a,[1,1,1,0,3,0],l,c,[2,1,1,0,3,0],l,1),trans(c,[1,0,1,0,1,0],r,a,[1,0,1,0,1,1],r,1),trans(a,[2,1,1,0,3,0],l,c,[0,1,1,0,3,0],l,1),trans(c,[1,0,1,0,1,1],r,a,[1,0,1,0,2,1],r,3),trans(a,[0,1,1,0,3,0],l,b,[1,0,0,0,3,0],l,7),trans(b,[1,0,1,0,2,1],r,c,[1,0,1,0,2,2],r,1),trans(c,[1,0,0,0,3,0],l,b,[0,0,0,0,3,0],l,1),trans(b,[1,0,1,0,2,2],r,b,[0,3,0,3,1,1],l,6),trans(a,[0,3,0,3,1,1],l,c,[1,0,2,1,1,2],r,12),trans(c,[0,0,0,0,3,0],l,a,[2,1,0,1,0,1],r,10),trans(a,[3,1,0,3,0,3],l,b,[0,0,0,3,0,3],l,5),trans(b,[2,1,0,1,0,1],r,c,[2,1,0,1,0,2],r,1),trans(c,[0,0,0,3,0,3],l,c,[2,1,0,0,1,0],r,10),trans(c,[0,3,0,3,0,0],l,b,[1,0,1,0,1,1],r,6),trans(a,[3,0,0,0,0,0],l,c,[3,0,3,0,0,0],l,5),trans(c,[1,0,1,0,2,1],r,b,[0,3,0,3,1,0],l,6),trans(b,[2,1,0,0,1,0],r,c,[2,1,1,0,1,0],r,7),trans(c,[0,3,0,3,1,0],l,b,[0,3,0,3,0,0],l,9),trans(b,[2,1,1,0,1,0],r,c,[2,2,1,0,1,0],r,9),trans(b,[3,0,3,0,0,0],l,c,[3,0,3,0,3,0],l,9),trans(a,[3,0,3,0,3,0],l,b,[0,1,0,1,0,1],r,6),trans(c,[0,1,0,1,0,1],r,c,[3,0,3,0,3,0],l,6),trans(b,[2,2,1,0,1,0],r,b,[1,1,0,3,0,3],l,6),trans(b,[2,1,0,1,0,2],r,b,[1,0,3,0,3,1],l,6),trans(b,[1,0,2,1,1,2],r,b,[0,3,1,1,0,0],l,10),trans(c,[0,3,1,1,0,0],l,b,[2,1,1,2,1,1],r,12),trans(b,[1,0,3,0,3,1],l,b,[1,0,3,0,3,0],l,11),trans(b,[2,1,1,2,1,1],r,c,[2,1,1,2,1,2],r,1),trans(c,[1,0,3,0,3,0],l,b,[0,0,3,0,3,0],l,1),trans(b,[2,1,1,2,1,2],r,b,[1,1,0,0,1,0],l,12),trans(a,[1,1,0,0,1,0],l,c,[2,1,0,0,1,0],l,1),trans(a,[2,1,0,0,1,0],l,c,[0,1,0,0,1,0],l,1),trans(a,[0,1,0,0,1,0],l,a,[1,2,1,1,2,1],r,6),trans(a,[0,0,3,0,3,0],l,b,[0,3,3,0,3,0],l,3),trans(b,[1,2,1,1,2,1],r,c,[1,2,1,1,2,2],r,1),trans(c,[0,3,3,0,3,0],l,a,[1,0,0,1,0,1],r,6),trans(a,[1,1,0,3,0,3],l,c,[2,1,0,3,0,3],l,1),trans(c,[1,0,0,1,0,1],r,a,[1,1,0,1,0,1],r,9),trans(a,[2,1,0,3,0,3],l,c,[0,1,0,3,0,3],l,1),trans(c,[1,1,0,1,0,1],r,a,[2,1,0,1,0,1],r,11),trans(a,[0,1,0,3,0,3],l,c,[1,2,1,0,1,0],r,6),trans(b,[1,2,1,0,1,0],r,b,[1,0,0,3,0,3],l,8),trans(c,[1,0,0,3,0,3],l,b,[0,0,0,3,0,3],l,1),trans(b,[1,2,1,1,2,2],r,b,[1,0,1,0,0,1],l,12),trans(c,[1,0,1,0,0,1],l,b,[0,0,1,0,0,1],l,1),trans(c,[0,0,1,0,0,1],l,c,[1,1,2,1,1,2],r,6),trans(c,[1,0,3,0,3,1],l,b,[0,0,3,0,3,1],l,1),trans(b,[1,1,2,1,1,2],r,b,[1,0,0,1,0,0],l,14),trans(b,[1,0,0,1,0,0],l,b,[2,1,1,2,1,1],r,6),trans(b,[0,0,3,0,3,1],l,c,[3,0,3,0,3,1],l,1),trans(c,[2,1,1,2,1,1],r,a,[2,1,1,2,2,1],r,3),trans(a,[3,0,3,0,3,1],l,b,[0,1,0,2,1,1],r,12),trans(b,[0,0,0,3,0,3],l,c,[3,0,0,3,0,3],l,1),trans(c,[0,1,0,2,1,1],r,a,[0,1,0,2,2,1],r,3),trans(a,[3,0,0,3,0,3],l,c,[3,0,3,3,0,3],l,5),trans(c,[0,1,0,2,2,1],r,c,[3,0,3,1,1,0],l,6),trans(c,[2,1,1,2,2,1],r,b,[1,1,0,0,1,0],l,10),trans(c,[1,1,0,0,1,0],l,b,[0,1,0,0,1,0],l,1),trans(a,[3,0,3,1,1,0],l,c,[3,0,3,0,1,0],l,7),trans(c,[1,2,1,1,2,1],r,b,[1,0,1,0,0,0],l,12),trans(c,[1,0,1,0,0,0],l,b,[0,0,1,0,0,0],l,1),trans(c,[0,0,1,0,0,0],l,a,[1,1,2,2,1,0],r,10),trans(a,[3,0,3,0,1,0],l,c,[3,0,3,0,2,0],l,9),trans(c,[1,1,2,2,1,0],r,a,[1,1,2,2,1,1],r,1),trans(a,[3,0,3,0,2,0],l,c,[3,0,3,0,0,0],l,9),trans(c,[1,1,2,2,1,1],r,a,[1,1,2,2,2,1],r,3),trans(a,[3,0,3,0,0,0],l,a,[0,1,0,2,1,0],r,10),trans(a,[3,0,3,3,0,3],l,a,[0,1,0,1,0,0],r,8),trans(a,[0,3,0,3,0,0],l,b,[0,3,0,3,0,3],l,11),trans(b,[0,1,0,1,0,0],r,a,[0,1,0,1,1,0],r,3),trans(a,[0,3,0,3,0,3],l,c,[1,0,1,0,1,0],r,6),trans(c,[3,0,3,0,3,0],l,a,[1,0,0,1,0,1],r,8),trans(b,[0,1,0,2,1,0],r,c,[3,0,3,1,0,3],l,6),trans(a,[3,0,3,1,0,3],l,c,[3,0,3,0,0,3],l,7),trans(c,[2,1,0,1,0,1],r,b,[1,0,3,0,3,0],l,6),trans(b,[1,0,1,0,1,0],r,b,[0,3,0,3,0,3],l,6),trans(b,[0,1,0,1,1,0],r,a,[0,1,0,2,1,0],r,5),trans(c,[0,1,0,2,1,0],r,a,[0,1,0,2,1,1],r,1),trans(a,[3,0,3,0,0,3],l,c,[0,1,0,1,1,0],r,6),trans(c,[0,3,0,3,0,3],l,a,[1,0,1,0,1,0],r,6),trans(c,[1,1,2,2,2,1],r,b,[1,0,0,1,1,0],l,10),trans(b,[1,0,0,1,1,0],l,b,[1,1,0,0,0,0],l,13),trans(c,[1,1,0,0,0,0],l,b,[0,1,0,0,0,0],l,1),trans(a,[0,1,0,0,0,0],l,b,[1,2,2,1,0,1],r,10),trans(b,[3,0,3,1,1,0],l,a,[0,2,1,1,2,1],r,12),trans(c,[0,2,1,1,2,1],r,c,[3,1,1,0,0,0],l,10),trans(c,[1,2,2,1,0,1],r,b,[1,0,1,0,3,0],l,8),trans(c,[1,0,1,0,3,0],l,b,[0,0,1,0,3,0],l,1),trans(c,[0,0,1,0,3,0],l,b,[1,1,2,1,0,1],r,6),trans(b,[3,1,1,0,0,0],l,c,[3,0,1,0,0,0],l,3),trans(c,[1,1,2,1,0,1],r,b,[1,0,0,0,3,0],l,10),trans(b,[1,0,0,0,3,0],l,b,[2,2,1,0,0,1],r,10),trans(b,[3,0,1,0,0,0],l,c,[3,0,2,0,0,0],l,5),trans(b,[3,0,2,0,0,0],l,c,[3,0,0,0,0,0],l,5),trans(c,[1,1,1,0,3,0],l,b,[0,1,1,0,3,0],l,1),trans(c,[3,0,3,0,0,3],l,b,[1,1,0,1,0,0],r,14),trans(b,[0,3,0,3,0,3],l,c,[3,3,0,3,0,3],l,1),trans(c,[1,1,0,1,0,0],r,a,[1,1,0,1,0,1],r,1),trans(a,[3,3,0,3,0,3],l,a,[0,0,1,0,1,0],r,6),trans(a,[1,0,3,0,3,0],l,c,[2,0,3,0,3,0],l,1),trans(c,[0,0,1,0,1,0],r,a,[0,0,1,0,1,1],r,1),trans(a,[2,0,3,0,3,0],l,c,[0,0,3,0,3,0],l,1),trans(c,[0,0,1,0,1,1],r,a,[0,0,1,0,2,1],r,3),trans(b,[0,0,1,0,2,1],r,c,[0,0,1,0,2,2],r,1),trans(b,[0,0,1,0,2,2],r,b,[0,3,0,3,0,1],l,14),trans(b,[1,1,0,1,0,1],r,c,[1,1,0,1,0,2],r,1),trans(c,[0,3,0,3,0,1],l,b,[0,3,0,3,0,2],l,11),trans(b,[1,1,0,1,0,2],r,b,[1,0,3,0,3,0],l,16),trans(c,[0,0,3,0,3,0],l,b,[1,1,0,1,0,1],r,6),trans(b,[0,3,0,3,0,2],l,c,[3,3,0,3,0,2],l,1),trans(a,[3,3,0,3,0,2],l,b,[1,0,1,0,1,1],r,16),trans(b,[1,0,3,0,3,0],l,a,[2,1,0,1,0,1],r,6),trans(b,[1,0,1,0,1,1],r,c,[1,0,1,0,1,2],r,1),trans(b,[1,0,1,0,1,2],r,b,[0,3,0,3,1,0],l,8),trans(a,[0,0,3,0,3,1],l,b,[0,3,3,0,3,1],l,3),trans(a,[0,3,3,0,3,1],l,b,[0,3,0,3,0,0],l,15),trans(b,[3,0,3,0,0,3],l,c,[3,0,3,0,3,3],l,9),trans(a,[3,0,3,0,3,3],l,a,[0,1,0,1,0,0],r,6),trans(b,[3,0,3,1,0,3],l,a,[0,2,2,1,0,0],r,16),trans(b,[0,2,2,1,0,0],r,a,[0,2,2,1,1,0],r,3),trans(b,[3,0,3,0,3,0],l,a,[0,1,0,1,0,1],r,6),trans(b,[0,2,2,1,1,0],r,a,[0,2,2,2,1,0],r,5),trans(b,[0,2,2,2,1,0],r,c,[3,1,1,1,0,3],l,6),trans(a,[3,1,1,1,0,3],l,b,[0,0,1,1,0,3],l,5),trans(c,[0,0,1,1,0,3],l,b,[1,0,0,0,0,3],l,11),trans(c,[0,3,3,0,3,1],l,a,[1,1,0,1,0,1],r,14),trans(a,[1,0,0,0,0,3],l,c,[2,0,0,0,0,3],l,1),trans(a,[2,0,0,0,0,3],l,c,[0,0,0,0,0,3],l,1),trans(a,[0,0,0,0,0,3],l,b,[0,3,0,0,0,3],l,3),trans(b,[1,0,0,1,0,1],r,c,[1,0,0,1,0,2],r,1),trans(c,[0,3,0,0,0,3],l,b,[0,3,0,3,0,3],l,7),trans(b,[1,0,0,1,0,2],r,a,[2,1,0,1,0,1],r,19),trans(b,[0,1,0,1,0,1],r,c,[0,1,0,1,0,2],r,1),trans(b,[0,1,0,1,0,2],r,c,[3,0,3,0,3,1],l,6),trans(b,[3,0,3,0,3,1],l,c,[3,0,3,0,3,0],l,11),trans(c,[0,3,0,3,1,1],l,b,[0,3,0,3,0,1],l,9),trans(c,[0,3,0,3,0,2],l,b,[0,3,0,3,0,0],l,11),trans(a,[0,3,0,3,1,0],l,a,[1,0,2,2,1,0],r,16),trans(c,[1,0,2,2,1,0],r,a,[1,0,2,2,1,1],r,1),trans(c,[1,0,2,2,1,1],r,a,[1,0,2,2,2,1],r,3),trans(c,[1,0,2,2,2,1],r,b,[0,3,1,1,1,0],l,6),trans(c,[0,3,1,1,1,0],l,b,[1,1,0,0,0,0],l,19),trans(a,[1,1,0,0,0,0],l,c,[2,1,0,0,0,0],l,1),trans(a,[2,1,0,0,0,0],l,c,[0,1,0,0,0,0],l,1),trans(b,[3,3,0,3,0,3],l,c,[0,1,0,0,1,0],r,8),trans(b,[0,1,0,0,1,0],r,c,[0,1,1,0,1,0],r,7),trans(a,[0,3,1,0,3,0],l,b,[0,3,0,0,3,0],l,5),trans(c,[0,0,3,0,3,1],l,b,[1,1,0,2,1,1],r,12),trans(c,[1,1,0,2,1,1],r,a,[1,1,0,2,2,1],r,3),trans(a,[0,3,1,1,0,0],l,b,[0,3,0,1,0,0],l,5),trans(a,[0,3,0,1,0,0],l,b,[0,3,0,2,0,0],l,7),trans(b,[1,1,0,2,2,1],r,c,[1,1,0,2,2,2],r,1),trans(a,[0,3,0,2,0,0],l,b,[0,3,0,0,0,0],l,7),trans(b,[1,1,0,2,2,2],r,b,[1,1,1,0,0,0],l,26),trans(c,[1,1,1,0,0,0],l,b,[0,1,1,0,0,0],l,1),trans(c,[0,1,1,0,0,0],l,b,[0,2,1,0,0,0],l,3),trans(c,[0,2,1,0,0,0],l,b,[0,0,1,0,0,0],l,3),trans(a,[0,0,1,0,0,0],l,b,[0,3,1,0,0,0],l,3),trans(c,[0,3,1,0,0,0],l,b,[1,1,0,3,0,3],l,21),trans(c,[0,3,0,0,3,0],l,b,[0,3,0,3,3,0],l,7),trans(a,[0,3,0,3,3,0],l,b,[1,0,1,0,0,1],r,6),trans(c,[1,0,1,0,0,1],r,b,[1,0,1,1,0,1],r,5),trans(c,[1,0,1,1,0,1],r,b,[1,0,2,1,0,1],r,7),trans(b,[1,0,2,1,0,1],r,c,[1,0,2,1,0,2],r,1),trans(b,[1,0,2,1,0,2],r,b,[0,3,1,0,3,1],l,6),trans(c,[0,3,1,0,3,1],l,b,[1,1,0,3,0,0],l,23),trans(c,[1,1,0,3,0,0],l,b,[0,1,0,3,0,0],l,1),trans(c,[0,1,0,3,0,0],l,b,[0,2,0,3,0,0],l,3),trans(a,[0,2,0,3,0,0],l,b,[1,0,0,3,0,0],l,5),trans(c,[1,0,0,3,0,0],l,b,[0,0,0,3,0,0],l,1),trans(a,[0,0,0,3,0,0],l,b,[0,3,0,3,0,0],l,3),trans(b,[0,1,1,0,3,0],l,c,[3,1,1,0,3,0],l,1),trans(a,[3,1,1,0,3,0],l,b,[0,0,1,0,3,0],l,5),trans(a,[0,3,1,1,1,0],l,b,[0,3,0,1,1,0],l,5),trans(a,[0,3,0,1,1,0],l,b,[0,3,0,2,1,0],l,7),trans(a,[0,3,0,2,1,0],l,b,[0,3,0,0,1,0],l,7),trans(a,[0,3,0,0,1,0],l,a,[1,0,1,1,2,1],r,6),trans(b,[0,0,0,0,3,0],l,c,[3,0,0,0,3,0],l,1),trans(a,[3,0,0,0,3,0],l,c,[3,0,3,0,3,0],l,5),trans(c,[1,0,1,1,2,1],r,b,[0,3,1,0,0,0],l,10),trans(a,[0,3,1,0,0,0],l,b,[0,3,0,0,0,0],l,5),trans(c,[0,1,1,0,1,0],r,a,[0,1,1,0,1,1],r,1),trans(c,[0,1,1,0,1,1],r,a,[0,1,1,0,2,1],r,3),trans(b,[0,1,1,0,2,1],r,c,[0,1,1,0,2,2],r,1),trans(b,[0,1,1,0,2,2],r,c,[0,2,2,1,1,2],r,15),trans(b,[0,2,2,1,1,2],r,c,[3,1,1,1,0,0],l,10),trans(a,[0,3,1,0,3,1],l,b,[0,3,0,0,3,1],l,5),trans(a,[0,3,0,0,3,1],l,b,[1,0,2,1,0,1],r,12),trans(b,[0,1,0,0,0,0],l,c,[3,1,0,0,0,0],l,1),trans(a,[0,3,0,3,0,1],l,c,[1,0,1,0,1,2],r,6),trans(c,[1,0,0,0,0,3],l,b,[0,0,0,0,0,3],l,1),trans(c,[0,0,0,0,0,3],l,b,[1,0,3,0,3,3],l,13),trans(c,[1,0,3,0,3,3],l,b,[0,0,3,0,3,3],l,1),trans(c,[0,0,3,0,3,3],l,a,[1,1,0,1,0,0],r,6),trans(b,[1,1,0,1,0,0],r,a,[1,1,0,1,1,0],r,3),trans(a,[0,3,0,0,3,0],l,a,[1,0,1,1,0,1],r,6),trans(a,[3,1,0,0,0,0],l,b,[0,0,0,0,0,0],l,5),trans(b,[1,0,1,1,0,1],r,c,[1,0,1,1,0,2],r,1),trans(c,[0,0,0,0,0,0],l,b,[1,0,3,0,3,0],l,13),trans(b,[1,0,1,1,0,2],r,b,[1,0,2,2,1,1],r,13),trans(b,[3,1,1,1,0,0],l,c,[3,0,1,1,0,0],l,3),trans(b,[1,0,2,2,1,1],r,c,[1,0,2,2,1,2],r,1),trans(b,[1,0,2,2,1,2],r,b,[0,3,1,1,1,0],l,8),trans(b,[1,1,0,1,1,0],r,a,[1,1,0,2,1,0],r,5),trans(b,[1,1,0,2,1,0],r,a,[2,2,2,1,0,0],r,21),trans(b,[2,2,2,1,0,0],r,a,[2,2,2,1,1,0],r,3),trans(b,[2,2,2,1,1,0],r,a,[2,2,2,2,1,0],r,5),trans(b,[1,0,1,1,2,1],r,c,[1,0,1,1,2,2],r,1),trans(b,[3,0,1,1,0,0],l,c,[3,0,2,1,0,0],l,5),trans(b,[3,0,2,1,0,0],l,c,[3,0,0,1,0,0],l,5),trans(b,[3,0,0,1,0,0],l,b,[0,1,1,2,1,1],r,6),trans(b,[0,0,3,0,3,0],l,c,[3,0,3,0,3,0],l,1),trans(b,[0,1,1,2,1,1],r,c,[0,1,1,2,1,2],r,1),trans(b,[0,1,1,2,1,2],r,c,[3,1,0,0,1,0],l,12),trans(b,[1,0,1,1,2,2],r,b,[0,3,1,0,0,1],l,10),trans(b,[2,2,2,2,1,0],r,b,[1,1,1,1,0,3],l,6),trans(c,[1,1,1,1,0,3],l,b,[0,1,1,1,0,3],l,1),trans(c,[0,1,1,1,0,3],l,b,[0,2,1,1,0,3],l,3),trans(a,[0,2,1,1,0,3],l,b,[1,0,1,1,0,3],l,5),trans(c,[1,0,1,1,0,3],l,b,[0,0,1,1,0,3],l,1),trans(a,[0,0,1,1,0,3],l,b,[0,3,1,1,0,3],l,3),trans(a,[0,3,1,1,0,3],l,b,[0,3,0,1,0,3],l,5),trans(a,[0,3,0,1,0,3],l,b,[0,3,0,2,0,3],l,7),trans(a,[0,3,0,2,0,3],l,b,[0,3,0,0,0,3],l,7),trans(a,[0,3,0,0,0,3],l,a,[1,0,2,1,0,0],r,10),trans(a,[0,3,1,0,0,1],l,b,[0,3,0,0,0,1],l,5),trans(b,[1,0,2,1,0,0],r,a,[1,0,2,1,1,0],r,3),trans(a,[0,3,0,0,0,1],l,b,[1,0,2,2,1,1],r,16),trans(b,[3,1,0,0,1,0],l,c,[3,0,0,0,1,0],l,3),trans(b,[1,0,2,1,1,0],r,a,[1,0,2,2,1,0],r,5),trans(b,[1,0,2,2,1,0],r,b,[0,3,1,1,0,3],l,6),trans(c,[0,3,0,1,0,3],l,a,[1,0,1,2,1,0],r,6),trans(b,[1,0,1,2,1,0],r,b,[0,3,1,0,0,3],l,8),trans(a,[0,3,1,0,0,3],l,b,[0,3,0,0,0,3],l,5),trans(b,[3,0,0,0,1,0],l,a,[0,2,2,2,1,0],r,20),trans(b,[3,0,3,0,3,3],l,b,[0,1,0,1,0,0],r,6),trans(c,[0,1,0,1,0,0],r,a,[0,1,0,1,0,1],r,1),trans(b,[3,1,1,1,0,3],l,c,[3,0,1,1,0,3],l,3),trans(b,[3,0,1,1,0,3],l,c,[3,0,2,1,0,3],l,5),trans(b,[3,0,2,1,0,3],l,c,[3,0,0,1,0,3],l,5),trans(c,[0,3,0,1,1,0],l,b,[0,3,1,0,0,0],l,11),trans(a,[3,0,0,1,0,3],l,c,[3,0,3,1,0,3],l,5),trans(a,[1,0,1,0,0,0],l,c,[2,0,1,0,0,0],l,1),trans(c,[0,2,2,1,0,0],r,a,[0,2,2,1,0,1],r,1),trans(a,[2,0,1,0,0,0],l,c,[0,0,1,0,0,0],l,1),trans(c,[0,2,2,1,0,1],r,c,[3,1,1,0,3,0],l,6),trans(b,[0,0,1,0,0,0],l,c,[3,0,1,0,0,0],l,1),trans(b,[0,1,0,2,1,1],r,c,[0,1,0,2,1,2],r,1),trans(b,[0,1,0,2,1,2],r,c,[3,0,3,1,1,0],l,8),trans(b,[0,2,1,1,2,1],r,c,[0,2,1,1,2,2],r,1),trans(b,[0,2,1,1,2,2],r,c,[3,1,1,0,0,1],l,10),trans(b,[3,1,1,0,0,1],l,c,[3,0,1,0,0,1],l,3),trans(b,[3,0,1,0,0,1],l,c,[3,0,2,0,0,1],l,5),trans(b,[3,0,2,0,0,1],l,c,[3,0,0,0,0,1],l,5),trans(a,[3,0,0,0,0,1],l,c,[3,0,3,0,0,1],l,5),trans(b,[0,0,1,0,3,0],l,c,[3,0,1,0,3,0],l,1),trans(a,[3,0,1,0,3,0],l,b,[0,1,2,1,0,1],r,6),trans(a,[3,0,3,0,0,1],l,c,[0,1,0,1,1,2],r,6),trans(b,[0,1,0,2,2,1],r,c,[0,1,0,2,2,2],r,1),trans(b,[0,1,0,2,2,2],r,c,[3,0,3,1,1,1],l,6),trans(a,[3,0,3,1,1,1],l,c,[3,0,3,0,1,1],l,7),trans(a,[3,0,3,0,1,1],l,c,[3,0,3,0,2,1],l,9),trans(b,[3,0,3,0,2,1],l,c,[3,0,3,1,0,1],l,11),trans(a,[3,0,3,1,0,1],l,c,[3,0,3,0,0,1],l,7),trans(b,[0,1,0,1,1,2],r,c,[3,0,3,1,0,0],l,10),trans(c,[0,1,2,1,0,1],r,c,[3,1,0,0,3,0],l,8),trans(a,[3,1,0,0,3,0],l,b,[0,0,0,0,3,0],l,5),trans(b,[3,0,3,1,0,0],l,b,[0,2,2,1,0,1],r,16),trans(b,[0,2,2,1,0,1],r,c,[0,2,2,1,0,2],r,1),trans(b,[0,2,2,1,0,2],r,c,[3,1,1,0,3,1],l,6),trans(a,[3,1,1,0,3,1],l,b,[0,0,1,0,3,1],l,5),trans(c,[0,0,1,0,3,1],l,b,[1,1,2,2,1,1],r,12),trans(b,[1,1,0,3,0,3],l,b,[1,0,0,3,0,3],l,3),trans(a,[3,1,1,0,0,1],l,b,[0,0,1,0,0,1],l,5),trans(a,[0,0,0,3,0,3],l,b,[0,3,0,3,0,3],l,3),trans(a,[3,0,3,1,0,0],l,c,[3,0,3,0,0,0],l,7),trans(a,[1,0,0,1,0,0],l,c,[2,0,0,1,0,0],l,1),trans(a,[2,0,0,1,0,0],l,c,[0,0,0,1,0,0],l,1),trans(a,[0,0,0,1,0,0],l,b,[0,3,0,1,0,0],l,3),trans(c,[0,3,0,1,0,0],l,b,[1,0,1,2,1,1],r,6),trans(c,[0,1,1,0,3,0],l,b,[0,2,1,0,3,0],l,3),trans(c,[0,2,1,0,3,0],l,b,[0,0,1,0,3,0],l,3),trans(b,[1,0,1,2,1,1],r,c,[1,0,1,2,1,2],r,1),trans(b,[1,0,1,2,1,2],r,b,[0,3,1,0,1,0],l,10),trans(a,[0,3,1,0,1,0],l,b,[0,3,0,0,1,0],l,5),trans(c,[0,3,0,0,1,0],l,b,[0,3,0,3,1,0],l,7),trans(c,[0,3,1,1,0,3],l,a,[2,1,1,2,1,0],r,12),trans(a,[1,0,0,0,3,0],l,c,[2,0,0,0,3,0],l,1),trans(c,[2,1,1,2,1,0],r,a,[2,1,1,2,1,1],r,1),trans(a,[2,0,0,0,3,0],l,c,[0,0,0,0,3,0],l,1),trans(a,[0,0,0,0,3,0],l,b,[0,3,0,0,3,0],l,3),trans(b,[2,1,1,2,2,1],r,c,[2,1,1,2,2,2],r,1),trans(b,[2,1,1,2,2,2],r,b,[1,1,0,0,1,1],l,10),trans(a,[1,1,0,0,1,1],l,c,[2,1,0,0,1,1],l,1),trans(b,[2,1,0,0,1,1],l,b,[1,1,0,0,1,1],l,1),trans(c,[1,1,0,0,1,1],l,b,[0,1,0,0,1,1],l,1),trans(b,[0,1,0,0,1,1],l,c,[3,1,0,0,1,1],l,1),trans(a,[3,1,0,0,1,1],l,b,[0,0,0,0,1,1],l,5),trans(c,[0,0,0,0,1,1],l,b,[1,0,3,1,0,0],l,17),trans(a,[1,0,3,1,0,0],l,c,[2,0,3,1,0,0],l,1),trans(a,[2,0,3,1,0,0],l,c,[0,0,3,1,0,0],l,1),trans(a,[0,0,3,1,0,0],l,b,[0,3,3,1,0,0],l,3),trans(c,[0,3,3,1,0,0],l,b,[0,3,0,0,0,0],l,9),trans(b,[0,3,0,3,3,0],l,c,[3,3,0,3,3,0],l,1),trans(b,[3,3,0,3,3,0],l,b,[0,1,0,0,0,1],r,8),trans(c,[0,1,0,0,0,1],r,b,[0,1,0,1,0,1],r,5),trans(b,[0,1,0,0,1,0],l,c,[3,1,0,0,1,0],l,1),trans(c,[0,2,2,2,1,0],r,a,[0,2,2,2,1,1],r,1),trans(c,[0,2,2,2,1,1],r,a,[0,2,2,2,2,1],r,3),trans(c,[0,2,2,2,2,1],r,c,[3,1,1,1,1,0],l,6),trans(a,[3,1,1,0,0,0],l,b,[0,0,1,0,0,0],l,5),trans(b,[3,1,1,1,1,0],l,c,[3,0,1,1,1,0],l,3),trans(b,[3,0,1,1,1,0],l,c,[3,0,2,1,1,0],l,5),trans(b,[3,0,2,1,1,0],l,c,[3,0,0,1,1,0],l,5),trans(a,[3,0,0,1,1,0],l,c,[3,0,3,1,1,0],l,5),trans(a,[0,0,1,0,3,0],l,b,[0,3,1,0,3,0],l,3),trans(b,[3,0,3,0,0,1],l,c,[3,0,3,0,3,1],l,9),trans(b,[3,0,0,1,0,3],l,a,[0,1,1,2,1,0],r,6),trans(b,[0,1,1,2,1,0],r,c,[3,1,0,0,0,3],l,10),trans(b,[3,1,0,0,0,3],l,c,[3,0,0,0,0,3],l,3),trans(b,[3,0,0,0,0,3],l,c,[0,2,1,0,1,0],r,10),trans(c,[0,3,0,3,3,0],l,a,[1,0,1,0,1,0],r,8),trans(a,[3,1,0,0,0,3],l,b,[0,0,0,0,0,3],l,5),trans(b,[3,0,3,0,2,0],l,c,[3,0,3,1,0,0],l,11),trans(b,[3,0,3,0,1,0],l,a,[0,1,0,1,2,1],r,6),trans(a,[2,1,0,0,1,1],l,c,[0,1,0,0,1,1],l,1),trans(a,[0,1,0,0,1,1],l,b,[1,0,1,0,0,0],l,17),trans(b,[1,1,2,2,1,0],r,b,[1,0,0,1,0,3],l,10),trans(c,[0,1,0,1,2,1],r,c,[3,0,3,1,0,0],l,8),trans(a,[3,1,1,1,0,0],l,b,[0,0,1,1,0,0],l,5),trans(c,[0,0,1,1,0,0],l,b,[1,0,0,0,0,0],l,11),trans(b,[3,1,1,0,3,0],l,c,[3,0,1,0,3,0],l,3),trans(b,[3,0,1,0,3,0],l,c,[3,0,2,0,3,0],l,5),trans(b,[3,0,2,0,3,0],l,c,[3,0,0,0,3,0],l,5),trans(b,[3,0,0,0,3,0],l,b,[0,2,1,0,0,1],r,10),trans(c,[0,2,1,0,0,1],r,b,[0,2,1,1,0,1],r,5),trans(a,[1,0,0,0,0,0],l,c,[2,0,0,0,0,0],l,1),trans(c,[0,2,1,1,0,1],r,b,[0,2,2,1,0,1],r,7),trans(a,[2,0,0,0,0,0],l,c,[0,0,0,0,0,0],l,1),trans(a,[1,0,0,1,0,3],l,c,[2,0,0,1,0,3],l,1),trans(a,[2,0,0,1,0,3],l,c,[0,0,0,1,0,3],l,1),trans(a,[0,0,0,1,0,3],l,b,[0,3,0,1,0,3],l,3),trans(c,[0,3,1,0,0,3],l,c,[2,2,1,0,1,0],r,16),trans(b,[3,1,0,0,3,0],l,c,[3,0,0,0,3,0],l,3),trans(b,[0,3,0,3,1,1],l,c,[3,3,0,3,1,1],l,1),trans(b,[3,3,0,3,1,1],l,c,[3,0,3,0,0,1],l,13),trans(a,[3,0,2,1,0,3],l,c,[3,1,0,1,0,3],l,7),trans(b,[3,1,0,1,0,3],l,c,[3,0,0,1,0,3],l,3),trans(b,[1,1,0,0,1,0],l,b,[1,0,0,0,1,0],l,3),trans(c,[1,0,0,0,1,0],l,b,[0,0,0,0,1,0],l,1),trans(a,[0,0,0,0,1,0],l,b,[0,3,0,0,1,0],l,3),trans(b,[0,3,0,3,0,0],l,c,[3,3,0,3,0,0],l,1),trans(a,[3,3,0,3,0,0],l,b,[0,0,1,0,1,1],r,6),trans(c,[1,0,3,1,0,0],l,b,[0,0,3,1,0,0],l,1),trans(c,[0,0,3,1,0,0],l,b,[1,0,3,0,3,0],l,15),trans(b,[3,0,3,0,1,1],l,c,[3,0,3,1,0,0],l,13),trans(a,[3,0,3,0,2,1],l,c,[3,0,3,0,0,1],l,9),trans(c,[0,1,1,0,2,1],r,a,[0,2,2,2,1,0],r,19),trans(a,[3,0,2,1,1,0],l,c,[3,1,0,1,1,0],l,7),trans(a,[3,1,0,1,1,0],l,b,[0,0,0,1,1,0],l,5),trans(c,[0,0,0,1,1,0],l,a,[2,2,1,1,2,1],r,16),trans(a,[3,1,0,0,1,0],l,b,[0,0,0,0,1,0],l,5),trans(c,[0,0,0,0,1,0],l,a,[2,1,0,1,2,1],r,10),trans(b,[2,1,0,1,2,1],r,c,[2,1,0,1,2,2],r,1),trans(b,[2,1,0,1,2,2],r,b,[1,0,3,1,0,1],l,8),trans(c,[2,2,1,1,2,1],r,b,[1,1,1,0,0,0],l,10),trans(a,[1,1,1,0,0,0],l,c,[2,1,1,0,0,0],l,1),trans(a,[2,1,1,0,0,0],l,c,[0,1,1,0,0,0],l,1),trans(a,[0,1,1,0,0,0],l,b,[1,0,0,0,0,0],l,7),trans(c,[1,0,0,0,0,0],l,b,[0,0,0,0,0,0],l,1),trans(a,[1,0,3,1,0,1],l,c,[2,0,3,1,0,1],l,1),trans(a,[2,0,3,1,0,1],l,c,[0,0,3,1,0,1],l,1),trans(a,[0,0,3,1,0,1],l,b,[0,3,3,1,0,1],l,3),trans(c,[0,3,3,1,0,1],l,b,[0,3,0,0,0,1],l,9),trans(b,[0,3,0,3,1,0],l,c,[3,3,0,3,1,0],l,1),trans(a,[3,3,0,3,1,0],l,b,[1,0,1,0,1,1],r,14),trans(b,[0,0,1,0,0,1],l,c,[3,0,1,0,0,1],l,1),trans(a,[3,0,1,0,0,1],l,c,[0,1,2,1,1,2],r,6),trans(b,[0,1,2,1,1,2],r,c,[3,1,0,1,0,0],l,12),trans(b,[3,1,0,1,0,0],l,c,[3,0,0,1,0,0],l,3),trans(a,[3,0,0,1,0,0],l,c,[3,0,3,1,0,0],l,5),trans(b,[3,0,3,1,1,1],l,c,[3,1,1,0,0,0],l,21),trans(a,[0,3,0,3,0,2],l,b,[0,3,0,3,1,0],l,13),trans(c,[0,1,0,0,1,1],l,b,[0,2,0,0,1,1],l,3),trans(c,[0,2,0,0,1,1],l,b,[0,0,0,0,1,1],l,3),trans(a,[0,0,0,0,1,1],l,b,[0,3,0,0,1,1],l,3),trans(a,[0,3,0,0,1,1],l,b,[0,3,1,0,0,0],l,15),trans(c,[1,0,1,2,1,1],r,a,[1,0,1,2,2,1],r,3),trans(b,[1,0,1,2,2,1],r,c,[1,0,1,2,2,2],r,1),trans(b,[1,0,1,2,2,2],r,b,[0,3,1,0,1,1],l,8),trans(a,[0,3,1,0,1,1],l,b,[0,3,0,0,1,1],l,5),trans(c,[0,3,0,0,1,1],l,b,[0,3,0,3,1,1],l,7),trans(b,[1,0,2,2,2,1],r,c,[1,0,2,2,2,2],r,1),trans(b,[1,0,2,2,2,2],r,b,[0,3,1,1,1,1],l,6),trans(a,[0,3,1,1,1,1],l,b,[0,3,0,1,1,1],l,5),trans(a,[0,3,0,1,1,1],l,b,[0,3,0,2,1,1],l,7),trans(a,[0,3,0,2,1,1],l,b,[0,3,0,0,1,1],l,7),trans(b,[3,0,3,3,0,3],l,c,[0,1,0,0,1,0],r,6),trans(c,[0,1,0,0,1,0],l,b,[0,2,0,0,1,0],l,3),trans(c,[0,2,0,0,1,0],l,b,[0,0,0,0,1,0],l,3),trans(c,[1,0,3,1,0,1],l,b,[0,0,3,1,0,1],l,1),trans(c,[0,0,3,1,0,1],l,b,[1,0,3,0,3,1],l,15),trans(a,[1,0,3,0,3,1],l,c,[2,0,3,0,3,1],l,1),trans(a,[2,0,3,0,3,1],l,c,[0,0,3,0,3,1],l,1),trans(b,[1,0,0,0,0,3],l,c,[2,2,1,0,1,0],r,10),trans(c,[1,1,0,3,0,3],l,b,[0,1,0,3,0,3],l,1),trans(b,[2,0,3,0,3,0],l,b,[1,0,3,0,3,0],l,1),trans(b,[3,0,0,0,0,1],l,c,[0,2,1,0,1,2],r,10),trans(b,[0,2,1,0,1,2],r,c,[3,1,0,3,1,0],l,8),trans(b,[3,1,0,3,1,0],l,c,[3,0,0,3,1,0],l,3),trans(b,[3,0,0,3,1,0],l,c,[3,1,0,3,0,3],l,17),trans(a,[3,0,2,1,0,0],l,c,[3,1,0,1,0,0],l,7),trans(b,[3,1,1,0,3,1],l,c,[3,0,1,0,3,1],l,3),trans(b,[3,0,1,0,3,1],l,c,[3,0,2,0,3,1],l,5),trans(b,[3,0,2,0,3,1],l,c,[3,0,0,0,3,1],l,5),trans(b,[3,0,0,0,3,1],l,c,[3,1,0,3,0,0],l,17),trans(b,[3,1,0,3,0,0],l,c,[3,0,0,3,0,0],l,3),trans(b,[3,0,0,3,0,0],l,b,[0,1,1,0,1,1],r,6),trans(c,[0,3,0,0,0,1],l,b,[0,3,0,3,0,1],l,7),trans(b,[3,0,0,1,1,0],l,c,[3,1,0,0,0,0],l,13),trans(c,[1,0,1,2,2,1],r,b,[0,3,1,0,1,0],l,8),trans(b,[2,1,0,0,0,0],l,b,[1,1,0,0,0,0],l,1),trans(a,[1,1,0,3,0,0],l,c,[2,1,0,3,0,0],l,1),trans(a,[2,1,0,3,0,0],l,c,[0,1,0,3,0,0],l,1),trans(a,[0,1,0,3,0,0],l,b,[1,0,0,3,0,3],l,13),trans(c,[0,1,0,0,0,0],l,b,[0,2,0,0,0,0],l,3),trans(c,[0,2,0,0,0,0],l,b,[0,0,0,0,0,0],l,3),trans(a,[3,0,1,1,0,0],l,c,[3,1,0,0,0,0],l,9),trans(a,[0,0,1,0,0,1],l,b,[0,3,1,0,0,1],l,3),trans(c,[0,3,1,0,0,1],l,c,[2,2,1,0,1,2],r,16),trans(b,[2,2,1,0,1,2],r,b,[1,1,0,3,1,0],l,8),trans(a,[1,1,0,3,1,0],l,c,[2,1,0,3,1,0],l,1),trans(a,[3,3,0,3,1,1],l,b,[0,3,0,3,0,2],l,19),trans(a,[0,3,3,0,3,0],l,b,[1,0,1,0,0,1],r,8),trans(b,[2,0,3,0,3,1],l,b,[1,0,3,0,3,1],l,1),trans(b,[2,1,1,2,1,0],r,b,[1,1,0,0,0,3],l,10),trans(a,[1,1,0,0,0,3],l,c,[2,1,0,0,0,3],l,1),trans(a,[2,1,0,0,0,3],l,c,[0,1,0,0,0,3],l,1),trans(a,[0,1,0,0,0,3],l,a,[1,2,2,1,0,0],r,10),trans(b,[1,2,2,1,0,0],r,a,[1,2,2,1,1,0],r,3),trans(a,[2,1,0,3,1,0],l,c,[0,1,0,3,1,0],l,1),trans(b,[1,2,2,1,1,0],r,a,[1,2,2,2,1,0],r,5),trans(b,[1,2,2,2,1,0],r,b,[1,0,1,1,0,3],l,8),trans(b,[0,0,1,1,0,3],l,c,[3,0,1,1,0,3],l,1),trans(a,[3,0,1,1,0,3],l,c,[3,1,0,0,0,3],l,9),trans(a,[1,0,3,0,3,3],l,c,[2,0,3,0,3,3],l,1),trans(a,[2,0,3,0,3,3],l,c,[0,0,3,0,3,3],l,1),trans(a,[0,0,3,0,3,3],l,b,[0,3,3,0,3,3],l,3),trans(c,[0,3,3,0,3,3],l,b,[1,0,0,1,0,0],r,6),trans(b,[0,3,0,0,3,0],l,c,[3,3,0,0,3,0],l,1),trans(c,[1,0,0,1,0,0],r,a,[1,0,0,1,0,1],r,1),trans(a,[3,3,0,0,3,0],l,a,[1,0,1,0,1,0],r,14),trans(a,[0,1,0,3,1,0],l,a,[1,2,2,2,1,0],r,16),trans(c,[1,2,2,2,1,0],r,a,[1,2,2,2,1,1],r,1),trans(c,[1,2,2,2,1,1],r,a,[1,2,2,2,2,1],r,3),trans(b,[1,2,2,2,2,1],r,c,[1,2,2,2,2,2],r,1),trans(c,[0,3,0,2,1,0],l,b,[0,3,1,0,1,0],l,9),trans(b,[1,2,2,2,2,2],r,b,[1,0,1,1,1,1],l,8),trans(c,[1,0,1,1,1,1],l,b,[0,0,1,1,1,1],l,1),trans(a,[0,0,1,1,1,1],l,b,[0,3,1,1,1,1],l,3),trans(c,[0,3,1,1,1,1],l,b,[1,1,0,0,0,1],l,19),trans(a,[1,1,0,0,0,1],l,c,[2,1,0,0,0,1],l,1),trans(a,[2,1,0,0,0,1],l,c,[0,1,0,0,0,1],l,1),trans(a,[3,0,2,0,3,0],l,c,[3,1,0,0,3,0],l,7),trans(c,[0,1,1,2,1,1],r,a,[0,1,1,2,2,1],r,3),trans(c,[0,1,1,2,2,1],r,c,[3,1,0,0,1,0],l,10),trans(c,[2,1,0,1,2,1],r,b,[1,0,3,1,0,0],l,8),trans(b,[1,0,3,1,0,0],l,b,[2,2,2,1,0,1],r,16),trans(b,[0,3,3,0,3,0],l,c,[3,3,3,0,3,0],l,1),trans(a,[3,3,3,0,3,0],l,a,[0,0,0,1,0,1],r,6),trans(a,[0,1,0,0,0,1],l,b,[1,2,2,2,1,1],r,16),trans(b,[1,2,2,2,1,1],r,c,[1,2,2,2,1,2],r,1),trans(b,[1,2,2,2,1,2],r,b,[1,0,1,1,1,0],l,10),trans(c,[1,0,1,1,1,0],l,b,[0,0,1,1,1,0],l,1),trans(c,[0,0,0,1,0,1],r,a,[0,1,0,1,0,1],r,9),trans(b,[0,0,1,1,1,0],l,c,[3,0,1,1,1,0],l,1),trans(b,[0,1,0,1,2,1],r,c,[0,1,0,1,2,2],r,1),trans(b,[0,1,0,1,2,2],r,c,[3,0,3,1,0,1],l,8),trans(b,[3,0,3,1,0,1],l,b,[0,2,2,2,1,1],r,22),trans(b,[2,1,0,0,0,3],l,b,[1,1,0,0,0,3],l,1),trans(c,[1,1,0,0,0,3],l,b,[0,1,0,0,0,3],l,1),trans(b,[0,1,0,0,0,3],l,c,[3,1,0,0,0,3],l,1),trans(b,[0,3,1,0,3,0],l,c,[3,3,1,0,3,0],l,1),trans(a,[3,3,1,0,3,0],l,c,[3,0,0,0,3,0],l,7),trans(b,[3,1,0,0,0,0],l,c,[3,0,0,0,0,0],l,3),trans(b,[1,1,0,3,1,0],l,b,[1,0,0,3,1,0],l,3),trans(c,[1,0,0,3,1,0],l,b,[0,0,0,3,1,0],l,1),trans(b,[0,0,0,3,1,0],l,c,[3,0,0,3,1,0],l,1),trans(a,[3,0,0,3,1,0],l,c,[3,0,3,3,1,0],l,5),trans(a,[3,0,3,3,1,0],l,a,[0,1,0,0,2,1],r,6),trans(c,[0,1,0,0,2,1],r,a,[0,1,2,2,1,0],r,17),trans(c,[0,1,2,2,1,0],r,a,[0,1,2,2,1,1],r,1),trans(b,[0,1,2,2,1,1],r,c,[0,1,2,2,1,2],r,1),trans(b,[0,1,2,2,1,2],r,c,[3,1,0,1,1,0],l,10),trans(b,[1,1,0,0,0,1],l,b,[1,0,0,0,0,1],l,3),trans(c,[1,0,0,0,0,1],l,b,[0,0,0,0,0,1],l,1),trans(a,[0,0,0,0,0,1],l,b,[0,3,0,0,0,1],l,3),trans(b,[1,0,1,0,0,1],r,c,[1,0,1,0,0,2],r,1),trans(b,[1,0,1,0,0,2],r,b,[1,0,1,2,1,1],r,11),trans(b,[1,0,3,1,0,1],l,b,[2,2,2,2,1,1],r,22),trans(c,[2,2,2,2,1,1],r,a,[2,2,2,2,2,1],r,3),trans(c,[2,2,2,2,2,1],r,b,[1,1,1,1,1,0],l,6),trans(c,[1,1,1,1,1,0],l,b,[0,1,1,1,1,0],l,1),trans(a,[0,1,1,1,1,0],l,b,[1,0,0,1,1,0],l,7),trans(c,[1,0,0,1,1,0],l,b,[0,0,0,1,1,0],l,1),trans(b,[2,1,0,3,0,3],l,b,[1,1,0,3,0,3],l,1),trans(b,[0,1,0,3,0,3],l,c,[3,1,0,3,0,3],l,1),trans(c,[1,0,0,1,0,0],l,b,[0,0,0,1,0,0],l,1),trans(c,[0,0,0,1,0,0],l,b,[2,2,2,1,0,1],r,20),trans(a,[1,0,1,0,3,0],l,c,[2,0,1,0,3,0],l,1),trans(a,[2,0,1,0,3,0],l,c,[0,0,1,0,3,0],l,1),trans(b,[1,1,2,2,2,1],r,c,[1,1,2,2,2,2],r,1),trans(b,[1,1,2,2,2,2],r,b,[1,0,0,1,1,1],l,10),trans(b,[1,0,0,0,0,0],l,b,[1,1,0,3,0,3],l,15),trans(c,[1,0,0,1,1,1],l,b,[0,0,0,1,1,1],l,1),trans(a,[1,0,0,3,0,3],l,c,[2,0,0,3,0,3],l,1),trans(a,[2,0,0,3,0,3],l,c,[0,0,0,3,0,3],l,1),trans(a,[0,0,0,1,1,1],l,b,[0,3,0,1,1,1],l,3),trans(b,[1,0,0,1,0,3],l,a,[2,1,1,2,1,0],r,6),trans(a,[1,0,0,1,1,0],l,c,[2,0,0,1,1,0],l,1),trans(a,[2,0,0,1,1,0],l,c,[0,0,0,1,1,0],l,1),trans(a,[0,0,0,1,1,0],l,b,[0,3,0,1,1,0],l,3),trans(b,[0,3,1,1,0,0],l,c,[3,3,1,1,0,0],l,1),trans(a,[3,3,1,1,0,0],l,c,[3,0,0,1,0,0],l,7),trans(b,[0,3,1,0,0,0],l,c,[3,3,1,0,0,0],l,1),trans(a,[3,3,1,0,0,0],l,c,[3,0,0,0,0,0],l,7),trans(b,[1,1,0,2,1,1],r,c,[1,1,0,2,1,2],r,1),trans(b,[1,1,0,2,1,2],r,a,[2,2,1,1,2,1],r,19),trans(b,[2,2,1,1,2,1],r,c,[2,2,1,1,2,2],r,1),trans(b,[2,2,1,1,2,2],r,b,[1,1,1,0,0,1],l,10),trans(a,[1,1,1,0,0,1],l,c,[2,1,1,0,0,1],l,1),trans(a,[2,1,1,0,0,1],l,c,[0,1,1,0,0,1],l,1),trans(a,[0,1,1,0,0,1],l,b,[1,0,0,0,0,1],l,7),trans(c,[0,0,1,1,1,1],l,b,[1,0,0,0,1,1],l,11),trans(b,[1,0,0,0,1,1],l,c,[2,2,2,1,1,2],r,16),trans(b,[2,2,2,1,1,2],r,b,[1,1,1,1,0,0],l,10),trans(c,[1,1,1,1,0,0],l,b,[0,1,1,1,0,0],l,1),trans(a,[0,1,1,1,0,0],l,b,[1,0,0,1,0,0],l,7),trans(b,[2,2,2,1,0,1],r,c,[2,2,2,1,0,2],r,1),trans(b,[2,2,2,1,0,2],r,b,[1,1,1,0,3,1],l,6),trans(b,[1,1,1,0,3,1],l,b,[1,0,1,0,3,1],l,3),trans(c,[1,0,1,0,3,1],l,b,[0,0,1,0,3,1],l,1),trans(a,[0,0,1,0,3,1],l,b,[0,3,1,0,3,1],l,3),trans(b,[2,1,0,0,1,0],l,b,[1,1,0,0,1,0],l,1),trans(b,[0,3,1,0,3,1],l,c,[3,3,1,0,3,1],l,1),trans(a,[3,3,1,0,3,1],l,c,[3,0,0,0,3,1],l,7),trans(a,[3,0,0,0,3,1],l,c,[3,0,3,0,3,1],l,5),trans(a,[3,0,2,0,0,0],l,c,[3,1,0,0,0,0],l,7),trans(b,[0,3,0,3,0,1],l,c,[3,3,0,3,0,1],l,1),trans(a,[3,3,0,3,0,1],l,b,[0,3,0,3,0,0],l,21),trans(c,[0,3,1,0,1,0],l,a,[2,2,2,2,1,0],r,26),trans(b,[1,1,1,1,0,3],l,b,[1,0,1,1,0,3],l,3),trans(a,[1,0,1,1,0,3],l,c,[2,0,1,1,0,3],l,1),trans(a,[2,0,1,1,0,3],l,c,[0,0,1,1,0,3],l,1),trans(b,[1,1,0,0,1,1],l,b,[1,0,0,0,1,1],l,3),trans(c,[1,0,0,0,1,1],l,b,[0,0,0,0,1,1],l,1),trans(b,[0,0,0,0,1,1],l,c,[3,0,0,0,1,1],l,1),trans(b,[3,0,0,0,1,1],l,c,[0,2,2,1,1,2],r,16),trans(c,[3,0,3,0,1,0],l,a,[1,0,0,1,2,1],r,8),trans(c,[0,1,0,0,0,3],l,b,[0,2,0,0,0,3],l,3),trans(b,[1,0,0,1,2,1],r,c,[1,0,0,1,2,2],r,1),trans(b,[1,0,0,1,2,2],r,b,[1,2,2,2,1,1],r,27),trans(c,[1,2,2,2,2,1],r,b,[1,0,1,1,1,0],l,8),trans(a,[1,0,1,1,1,0],l,c,[2,0,1,1,1,0],l,1),trans(a,[2,0,1,1,1,0],l,c,[0,0,1,1,1,0],l,1),trans(a,[0,2,0,0,0,3],l,b,[1,0,0,0,0,3],l,5),trans(c,[0,1,0,1,1,0],r,a,[0,1,0,1,1,1],r,1),trans(c,[0,1,0,1,1,1],r,a,[0,1,0,1,2,1],r,3),trans(c,[0,3,0,2,0,3],l,b,[0,3,1,0,0,3],l,9),trans(c,[0,3,0,2,0,0],l,b,[0,3,1,0,0,0],l,9),trans(a,[3,0,1,0,0,0],l,a,[0,1,2,2,1,0],r,10),trans(c,[0,1,2,2,1,1],r,a,[0,1,2,2,2,1],r,3),trans(c,[0,1,2,2,2,1],r,c,[3,1,0,1,1,0],l,8),trans(c,[0,0,1,0,2,1],r,b,[0,3,0,3,0,0],l,14),trans(b,[3,1,0,1,1,0],l,c,[3,0,0,1,1,0],l,3),trans(a,[3,3,0,3,3,0],l,a,[0,0,1,0,1,0],r,8),trans(b,[3,3,0,3,1,0],l,c,[3,0,3,0,0,0],l,13),trans(a,[0,2,1,0,0,0],l,b,[1,0,1,0,0,0],l,5),trans(c,[0,1,0,3,0,3],l,b,[0,2,0,3,0,3],l,3),trans(c,[0,2,0,3,0,3],l,b,[0,0,0,3,0,3],l,3),trans(b,[1,0,3,0,3,3],l,b,[2,1,0,1,0,0],r,6),trans(c,[2,1,0,1,0,0],r,a,[2,1,0,1,0,1],r,1),trans(b,[1,1,1,0,3,0],l,b,[1,0,1,0,3,0],l,3),trans(a,[0,2,1,0,3,0],l,b,[1,0,1,0,3,0],l,5),trans(b,[0,0,0,1,1,0],l,c,[3,0,0,1,1,0],l,1),trans(a,[3,0,1,1,1,0],l,c,[3,1,0,0,1,0],l,9),trans(a,[3,1,1,1,1,0],l,b,[0,0,1,1,1,0],l,5),trans(c,[0,0,1,1,1,0],l,b,[1,0,0,0,1,0],l,11),trans(a,[1,0,0,0,1,0],l,c,[2,0,0,0,1,0],l,1),trans(a,[2,0,0,0,1,0],l,c,[0,0,0,0,1,0],l,1),trans(b,[1,1,0,0,0,0],l,b,[1,0,0,0,0,0],l,3),trans(b,[2,2,2,2,1,1],r,c,[2,2,2,2,1,2],r,1),trans(b,[2,2,2,2,1,2],r,b,[1,1,1,1,1,0],l,8),trans(c,[0,0,0,0,0,1],l,b,[1,0,3,0,3,1],l,13),trans(b,[0,3,1,0,1,0],l,c,[3,3,1,0,1,0],l,1),trans(a,[3,3,1,0,1,0],l,c,[3,0,0,0,1,0],l,7),trans(a,[3,0,0,0,1,0],l,c,[3,0,3,0,1,0],l,5),trans(c,[0,1,1,2,1,0],r,a,[0,1,1,2,1,1],r,1),trans(b,[0,1,1,2,2,1],r,c,[0,1,1,2,2,2],r,1),trans(b,[0,1,1,2,2,2],r,c,[3,1,0,0,1,1],l,10),trans(b,[3,1,0,0,1,1],l,c,[3,0,0,0,1,1],l,3),trans(c,[1,1,1,0,3,1],l,b,[0,1,1,0,3,1],l,1),trans(c,[0,1,1,0,3,1],l,b,[0,2,1,0,3,1],l,3),trans(c,[0,2,1,0,3,1],l,b,[0,0,1,0,3,1],l,3),trans(b,[2,0,3,0,3,3],l,b,[1,0,3,0,3,3],l,1),trans(b,[0,0,3,0,3,3],l,c,[3,0,3,0,3,3],l,1),trans(a,[3,0,0,0,1,1],l,c,[3,0,3,0,1,1],l,5),trans(b,[0,3,1,1,1,0],l,c,[3,3,1,1,1,0],l,1),trans(a,[3,3,1,1,1,0],l,c,[3,0,0,1,1,0],l,7),trans(a,[0,0,0,3,1,0],l,b,[0,3,0,3,1,0],l,3),trans(b,[0,0,1,0,1,1],r,c,[0,0,1,0,1,2],r,1),trans(b,[0,0,1,0,1,2],r,b,[0,3,0,3,0,0],l,16),trans(b,[0,2,2,2,2,1],r,c,[0,2,2,2,2,2],r,1),trans(b,[0,2,2,2,2,2],r,c,[3,1,1,1,1,1],l,6),trans(b,[3,1,1,1,1,1],l,c,[3,0,1,1,1,1],l,3),trans(b,[3,0,1,1,1,1],l,c,[3,0,2,1,1,1],l,5),trans(b,[3,0,2,1,1,1],l,c,[3,0,0,1,1,1],l,5),trans(b,[3,0,0,1,1,1],l,c,[3,1,0,0,0,1],l,13),trans(b,[3,1,0,0,0,1],l,c,[3,0,0,0,0,1],l,3),trans(b,[0,0,0,1,0,3],l,c,[3,0,0,1,0,3],l,1),trans(a,[3,0,0,0,0,3],l,c,[3,0,3,0,0,3],l,5),trans(a,[1,0,0,1,1,1],l,c,[2,0,0,1,1,1],l,1),trans(a,[2,0,0,1,1,1],l,c,[0,0,0,1,1,1],l,1),trans(b,[0,0,0,1,1,1],l,c,[3,0,0,1,1,1],l,1),trans(b,[0,1,0,0,2,1],r,c,[0,1,0,0,2,2],r,1),trans(b,[0,1,0,0,2,2],r,c,[0,1,2,1,1,2],r,13),trans(a,[3,1,0,1,0,0],l,b,[0,0,0,1,0,0],l,5),trans(b,[1,1,0,0,0,3],l,b,[1,0,0,0,0,3],l,3),trans(a,[0,2,0,0,0,0],l,b,[1,0,0,0,0,0],l,5),trans(a,[1,0,1,0,0,1],l,c,[2,0,1,0,0,1],l,1),trans(a,[2,0,1,0,0,1],l,c,[0,0,1,0,0,1],l,1),trans(b,[1,0,0,1,1,1],l,b,[1,1,0,0,0,1],l,13),trans(c,[1,1,0,0,0,1],l,b,[0,1,0,0,0,1],l,1),trans(c,[0,3,0,1,1,1],l,b,[0,3,1,0,0,1],l,11),trans(b,[0,0,3,1,0,0],l,c,[3,0,3,1,0,0],l,1),trans(b,[0,3,1,0,1,1],l,c,[3,3,1,0,1,1],l,1),trans(a,[3,3,1,0,1,1],l,c,[3,0,0,0,1,1],l,7),trans(b,[2,0,0,0,3,0],l,b,[1,0,0,0,3,0],l,1),trans(b,[2,1,1,0,3,0],l,b,[1,1,1,0,3,0],l,1),trans(b,[1,0,0,0,1,0],l,a,[2,2,2,2,1,0],r,20),trans(c,[2,2,2,2,1,0],r,a,[2,2,2,2,1,1],r,1),trans(c,[3,1,0,1,0,0],l,c,[3,1,0,2,0,0],l,7),trans(c,[2,1,0,0,1,0],r,a,[2,1,0,0,1,1],r,1),trans(a,[3,1,0,2,0,0],l,b,[0,0,0,2,0,0],l,5),trans(b,[2,1,0,0,1,1],r,c,[2,1,0,0,1,2],r,1),trans(c,[0,0,0,2,0,0],l,b,[2,1,2,1,0,1],r,16),trans(b,[2,1,2,1,0,1],r,c,[2,1,2,1,0,2],r,1),trans(b,[2,1,2,1,0,2],r,b,[1,1,0,0,3,1],l,8),trans(b,[2,1,0,0,1,2],r,a,[2,1,2,2,1,0],r,19),trans(a,[1,1,0,0,3,1],l,c,[2,1,0,0,3,1],l,1),trans(c,[2,1,2,2,1,0],r,a,[2,1,2,2,1,1],r,1),trans(a,[2,1,0,0,3,1],l,c,[0,1,0,0,3,1],l,1),trans(c,[2,1,2,2,1,1],r,a,[2,1,2,2,2,1],r,3),trans(a,[0,1,0,0,3,1],l,b,[1,2,2,1,0,1],r,12),trans(b,[2,1,2,2,2,1],r,c,[2,1,2,2,2,2],r,1),trans(b,[2,1,2,2,2,2],r,b,[1,1,0,1,1,1],l,8),trans(a,[1,1,0,1,1,1],l,c,[2,1,0,1,1,1],l,1),trans(a,[2,1,0,1,1,1],l,c,[0,1,0,1,1,1],l,1),trans(a,[0,1,0,1,1,1],l,b,[1,0,0,2,1,1],l,9),trans(c,[1,0,0,2,1,1],l,b,[0,0,0,2,1,1],l,1),trans(a,[0,0,0,2,1,1],l,b,[0,3,0,2,1,1],l,3),trans(c,[0,3,0,2,1,1],l,b,[0,3,1,0,1,1],l,9),trans(b,[0,0,0,1,0,0],l,c,[3,0,0,1,0,0],l,1),trans(c,[1,0,0,1,0,3],l,b,[0,0,0,1,0,3],l,1),trans(c,[0,0,0,1,0,3],l,a,[2,2,2,1,0,0],r,20),trans(c,[0,2,1,1,0,3],l,b,[0,0,1,1,0,3],l,3),trans(a,[0,1,1,0,3,1],l,b,[1,0,0,0,3,1],l,7),trans(c,[1,0,0,0,3,1],l,b,[0,0,0,0,3,1],l,1),trans(c,[0,0,0,0,3,1],l,b,[1,0,3,0,3,0],l,15),trans(b,[0,3,0,0,0,0],l,c,[3,3,0,0,0,0],l,1),trans(a,[3,3,0,0,0,0],l,b,[1,0,1,0,1,1],r,12),trans(b,[3,3,0,3,0,0],l,c,[0,1,1,0,1,0],r,14),trans(c,[3,0,3,1,1,0],l,b,[0,3,0,0,1,0],l,11),trans(b,[2,1,0,3,1,0],l,b,[1,1,0,3,1,0],l,1),trans(c,[1,1,0,3,1,0],l,b,[0,1,0,3,1,0],l,1),trans(b,[0,1,0,3,1,0],l,c,[3,1,0,3,1,0],l,1),trans(a,[3,1,0,3,1,0],l,b,[0,0,0,3,1,0],l,5),trans(c,[0,0,0,3,1,0],l,b,[1,0,3,0,0,0],l,15),trans(a,[1,0,3,0,0,0],l,c,[2,0,3,0,0,0],l,1),trans(a,[2,0,3,0,0,0],l,c,[0,0,3,0,0,0],l,1),trans(a,[0,0,3,0,0,0],l,b,[0,3,3,0,0,0],l,3),trans(c,[0,3,3,0,0,0],l,a,[1,1,0,1,0,1],r,12),trans(b,[0,1,0,0,0,1],l,c,[3,1,0,0,0,1],l,1),trans(a,[3,1,0,0,0,1],l,b,[0,0,0,0,0,1],l,5),trans(b,[0,0,0,0,1,0],l,c,[3,0,0,0,1,0],l,1),trans(b,[0,0,3,1,0,1],l,c,[3,0,3,1,0,1],l,1),trans(c,[0,0,0,1,1,1],l,b,[1,1,1,0,0,0],l,25),trans(a,[1,1,1,0,3,1],l,c,[2,1,1,0,3,1],l,1),trans(a,[2,1,1,0,3,1],l,c,[0,1,1,0,3,1],l,1),trans(a,[0,0,0,0,3,1],l,b,[0,3,0,0,3,1],l,3),trans(c,[0,3,0,0,3,1],l,b,[0,3,0,3,3,1],l,7),trans(a,[0,3,0,3,3,1],l,b,[0,3,0,3,0,0],l,13),trans(c,[3,0,3,1,1,1],l,b,[0,3,0,0,1,1],l,11),trans(c,[1,1,1,0,0,1],l,b,[0,1,1,0,0,1],l,1),trans(c,[0,1,1,0,0,1],l,b,[0,2,1,0,0,1],l,3),trans(c,[0,2,1,0,0,1],l,b,[0,0,1,0,0,1],l,3),trans(b,[0,1,2,2,1,0],r,c,[3,1,0,1,0,3],l,8),trans(b,[1,1,1,0,0,1],l,b,[1,0,1,0,0,1],l,3),trans(b,[1,0,3,0,0,0],l,b,[1,0,3,0,3,0],l,9),trans(c,[0,2,0,0,0,3],l,b,[0,0,0,0,0,3],l,3),trans(a,[1,0,0,0,1,1],l,c,[2,0,0,0,1,1],l,1),trans(a,[2,0,0,0,1,1],l,c,[0,0,0,0,1,1],l,1),trans(b,[3,3,0,3,0,1],l,c,[0,1,0,0,1,2],r,8),trans(b,[0,1,0,0,1,2],r,a,[0,1,2,2,1,0],r,19),trans(b,[2,1,1,0,3,1],l,b,[1,1,1,0,3,1],l,1),trans(b,[0,1,1,0,3,1],l,c,[3,1,1,0,3,1],l,1),trans(c,[0,3,1,0,1,1],l,c,[2,2,2,1,1,2],r,22),trans(a,[1,1,1,1,0,0],l,c,[2,1,1,1,0,0],l,1),trans(a,[2,1,1,1,0,0],l,c,[0,1,1,1,0,0],l,1),trans(b,[1,0,1,1,0,3],l,b,[1,0,2,1,0,3],l,5),trans(b,[1,0,0,1,0,0],r,a,[1,0,0,1,1,0],r,3),trans(a,[1,0,2,1,0,3],l,c,[2,0,2,1,0,3],l,1),trans(c,[1,0,0,1,1,0],r,a,[1,0,0,1,1,1],r,1),trans(a,[2,0,2,1,0,3],l,c,[0,0,2,1,0,3],l,1),trans(c,[1,0,0,1,1,1],r,a,[1,0,0,1,2,1],r,3),trans(a,[0,0,2,1,0,3],l,b,[0,3,2,1,0,3],l,3),trans(c,[0,3,2,1,0,3],l,a,[1,1,1,2,1,0],r,8),trans(b,[1,1,1,2,1,0],r,b,[1,0,0,0,0,3],l,12),trans(a,[0,0,1,1,1,0],l,b,[0,3,1,1,1,0],l,3),trans(b,[0,2,2,2,1,1],r,c,[0,2,2,2,1,2],r,1),trans(b,[0,2,2,2,1,2],r,c,[3,1,1,1,1,0],l,8),trans(a,[3,1,0,1,0,3],l,b,[0,0,0,1,0,3],l,5),trans(a,[0,2,0,3,0,3],l,b,[1,0,0,3,0,3],l,5),trans(b,[0,1,1,1,0,3],l,c,[3,1,1,1,0,3],l,1),trans(b,[0,0,0,0,0,3],l,c,[3,0,0,0,0,3],l,1),trans(a,[3,0,2,1,1,1],l,c,[3,1,0,1,1,1],l,7),trans(a,[3,1,0,1,1,1],l,b,[0,0,0,1,1,1],l,5),trans(b,[0,1,1,0,0,0],l,c,[3,1,1,0,0,0],l,1),trans(b,[2,0,0,0,0,3],l,b,[1,0,0,0,0,3],l,1),trans(a,[0,2,0,0,1,1],l,b,[1,0,0,0,1,1],l,5),trans(b,[0,0,1,0,3,1],l,c,[3,0,1,0,3,1],l,1),trans(a,[3,0,1,0,3,1],l,b,[0,1,2,2,1,1],r,12),trans(b,[0,3,0,2,0,0],l,c,[3,3,0,2,0,0],l,1),trans(a,[3,3,0,2,0,0],l,b,[1,1,0,3,0,3],l,29),trans(b,[0,0,1,1,1,1],l,c,[3,0,1,1,1,1],l,1),trans(a,[3,0,1,1,1,1],l,c,[3,1,0,0,1,1],l,9),trans(c,[3,0,3,1,0,3],l,b,[0,3,0,0,0,3],l,11),trans(a,[1,0,0,0,3,1],l,c,[2,0,0,0,3,1],l,1),trans(a,[2,0,0,0,3,1],l,c,[0,0,0,0,3,1],l,1),trans(c,[0,3,0,3,3,1],l,c,[1,0,1,0,0,2],r,6),trans(b,[0,2,0,3,0,3],l,c,[3,2,0,3,0,3],l,1),trans(a,[3,2,0,3,0,3],l,c,[2,1,0,0,1,0],r,12),trans(a,[0,2,0,0,1,0],l,b,[1,0,0,0,1,0],l,5),trans(b,[3,2,0,3,0,3],l,z,[1,0,0,3,0,3],r,2)]