Page 5 of 10 FirstFirst ... 34567 ... LastLast
Results 41 to 50 of 91

Thread: My ultimate commutator challenge

  1. #41
    Premium Member Christopher Mowla's Avatar
    Join Date
    Sep 2009
    YouTube
    4EverTrying
    Posts
    715

    Default

    Hey guys,

    I don't know whether or not it is possible to solve all even permutations on the regular nxnxn or on the nxnxn supercube with only one commutator (well, I already pointed out that one center cannot be rotated 180 degrees with a commutator for the supercube non-fixed center pieces), but:

    (Disclaimer: Although I am not finished verifying these results yet, this is what I have so far.)

    Based on a systematic method I created (I started with pure theory and proof and then tested it today on the 3x3x3, as you will see the results I found below) I'm guessing that it takes no more than two commutators to solve every even permutation of the 3x3x3 regular cube (and the 2x2x2 cube) (including every possible orientation of edges and corners (I'm going to try to make the superflip with a product of two commutators tomorrow and show you guys...if that hasn't been done already, that is), and it takes no more than 3 commutators to solve every even permutation (of every orbit) of the nxnxn supercube. The only piece type which my results do not make any promise for is the 6 fixed center pieces on the odd nxnxn supercube. That is, with my current method for solving every possible even permutation with 3 (at most 4, if so) or less commutators cannot "reach" the supercube fixed centers, (at least not when there is an even number of them rotated 90 or -90 degrees instead of an even number of them rotated 180 degrees).

    Just for now, here is my first official product of two commutators to solve a random scramble of the 3x3x3. It's 132 htm, but I have used CubeExplorer to get it that low (it might be 10 or so moves less than this...you can take each X and Y and try to reduce the amount of htm that way).

    Notice that it's a 9-cycle of edges and a 7-cycle of corners. One of the 3 correctly positioned edges is unoriented.

    Scramble
    L2 F' L2 B U L R' U2 R2 B' L F' D2 U2 L' R' F U B U D2 B D' B' R'

    Solution
    [R U2 R' F2 R B' R' D' F R' D R B' D L' B2 R2 U', D2 U2 L R2 F L' D' L' R2 U2 B2 D' U R D' B2 F2 U']
    [L2 U2 R U2 B2 U L2 U' B2 U2 R' U2 L2, B2 U2 R F' L' B2 D F' D2 B2 F2 R' B' L' B2 U B']

    View at alg.garron.us.

    I was mainly posting this to ask you guys if any of these "claims" (which again, I have not finished validating yet with real examples) are something new, or has it been known (or proven), for example, that every even permutation (and orientation) of the 3x3x3 (and 2x2x2) can be solved with a product of two commutators?

  2. #42
    Premium Member Christopher Mowla's Avatar
    Join Date
    Sep 2009
    YouTube
    4EverTrying
    Posts
    715

    Default

    Apparently the Superflip must be a trivial case, because it was very simple to write it as one commutator.
    [D R' D' B' R2 B U' B' F2 R B D R2 D' F U2, D2 L2 F2 L2 R2 F2 R2 U2]

    And here's one supertwist as well.
    [U B2 D' B2 R2 F2 L U' L' F2 L' D' L D R2 U', D F2 R2 F2 D' U R2 F2 R2 U']

    So we shouldn't let orientations scare us, because they are trivial to handle indeed.

    Using my method (which I will explain soon, but I'm going to solve a 5x5x5 with 3 commutators first to verify my theory with an extreme example), not every "ugly" scramble requires two commutators for the 3x3x3 (or 3 commutators for the nxnxn): they can be handled in one commutator. For example, if you look at what cycle type the first and second commutators for the solution to that random 3x3x3 scramble in my last post separately, I can reach those cycle types in one commutator. So, it's possible that only a subset of all even permutations on the regular nxnxn require more than one commutator. The amount of pieces affected by a scramble does not correspond to how many commutators it takes to solve that even permutation: it depends on the cycle types (orientations of corners and middle edges do not have any affect on the amount of commutators required to solve any given case).

    If someone wants to prove the efficiency of my method isn't efficient, just find one commutator that solves that random 3x3x3 scramble in did in my last post. My method isn't efficient for the worst cycle cases if only one piece type is being cycled, but if more than one piece type is affected by a scramble, it's pretty efficient (I cannot claim it to be optimal, because that would require that we prove that MrCage's theory is false).

  3. #43
    Member Renslay's Avatar
    Join Date
    Aug 2011
    Location
    Hungary
    WCA Profile
    2005HANT01
    YouTube
    Renslay
    Posts
    1,671

    Default

    Wow. Interesting!
    Thinking with Blox! Roux: 9.72 (single L), 10.11 (single NL), 12.28 (Avg5), 12.89 (Avg12), 14.25 (Avg50), 14.52 (Avg100). BLD: M2/Boomerang: 1:28.80 (single).

  4. #44
    Premium Member Christopher Mowla's Avatar
    Join Date
    Sep 2009
    YouTube
    4EverTrying
    Posts
    715

    Default

    Quote Originally Posted by cmowla View Post
    Scramble
    L2 F' L2 B U L R' U2 R2 B' L F' D2 U2 L' R' F U B U D2 B D' B' R'

    Solution
    [R U2 R' F2 R B' R' D' F R' D R B' D L' B2 R2 U', D2 U2 L R2 F L' D' L' R2 U2 B2 D' U R D' B2 F2 U']
    [L2 U2 R U2 B2 U L2 U' B2 U2 R' U2 L2, B2 U2 R F' L' B2 D F' D2 B2 F2 R' B' L' B2 U B']
    Quote Originally Posted by cmowla View Post
    If someone wants to prove the efficiency of my method isn't efficient, just find one commutator that solves that random 3x3x3 scramble in did in my last post.
    [F' L2 B D2 U2 R U2 F D' R B R B2 D' R D' F D', B' R2 F2 R2 B' U2 L U F R2 D2 F2 U' B R2 B2 U L2]

    It took me a while to verify my original results and find and verify new results, but I'm finally finished. I have created a PDF document which contains proofs for each one of the following 3 theorems and a corollary.

    Theorem 1: All even permutations of one orbit of n objects, where n > 2, can be solved with one commutator.

    Corollary (1b): The nxnxn supercube (and the regular supercube) can be solved with one commutator (not including orientations of corners and middle edges and not including the fixed center pieces on the odd supercube) if at least two pieces are solved in every piece orbit (an even permutation must be present in every orbit as well, of course).

    Theorem 2: Only a subset of even permutations and orientations of the regular nxnxn cube and the nxnxn supercube can be solved with one commutator.

    Theorem 3: Every possible even permutation of the regular nxnxn cube and the nxnxn supercube, including orientations of the middle edges and corners, can be solved with a product of 2 commutators (except for a subset of fixed center positions on the odd supercube).

    Note that the proofs of all four of these statements require that statements in the Prerequisite Information and The Method sections are true. Theorems 2 and 3 are dependent on Theorem 1’s corollaries to be true.
    Quote Originally Posted by cmowla View Post
    My method isn't efficient for the worst cycle cases if only one piece type is being cycled...
    Now it is, as I made improvements to my method, and I proved Theorem 3 using the method.

    (Document has been moved to post #44).

    Remark: Some may still be skeptical of my proof of Theorem 2 (which in short says that no, not every even permutation and orientation of the nxnxn can be solved in one commutator AND Mr. Cage's guess for a way to go about proving that is true IS wrong) being correct, since I basically used one method for all of them. They are very convincing to me because I can easily write any permutation of one orbit of pieces as one commutator without even thinking about cube moves or cubes for that matter (it's all based on the structure of cycles). In addition, there does not exist a single scramble yet that I have seen which was previously known to be able to be written as a commutator that I myself cannot write as one commutator using my method.

    Best of all, from all of my theory one can create real examples without brute force. The most you'll have to do (besides basic "busy work") will feel like balancing a chemical equation in chemistry.

    Note that I DID NOT provide any real examples (with worked out and detailed solutions) in the paper. I didn't create any big cube examples because there are billions of billions...of positions I could solve, both for the nxnxn super and the regular nxnxn cube.

    Lastly, I create the solutions to these in cubetwister.

    Here are sticker images I created (you just drag them into CubeTwister under Cubes->Stickers->Image). Except for the v-cube 7, I just used images made by Randelshofer and modified them a bit. (So I left the copyright statement in the images.) For the 6x6x6 and 7x7x7, I colored the orbits of oblique centers differently to hopefully make these images more user-friendly.

    3x3x3, 4x4x4, 5x5x5, 6x6x6, 7x7x7
    Last edited by Christopher Mowla; 10-17-2012 at 09:47 AM.

  5. #45
    Premium Member Christopher Mowla's Avatar
    Join Date
    Sep 2009
    YouTube
    4EverTrying
    Posts
    715

    Default

    No comments? No scramble requests?

    Anyway, here is some theory for what we could call "The Ultimate Conjugate Challenge." The following was much easier to prove than the theory about commutators. Note that the following is an independent source from the PDF document I made on commutator theory. I renumbered lemmas and theorems.

    Theorem: The entire nxnxn supercube (and the nxnxn regular cube) can be solved with one conjugate.
    (The proof has been put in the document in post #44).
    Last edited by Christopher Mowla; 10-17-2012 at 09:48 AM.

  6. #46
    blindmod Noahaha's Avatar
    Join Date
    Dec 2011
    Location
    CT
    WCA Profile
    2012ARTH01
    YouTube
    NoahCubes
    Posts
    2,999

    Default

    Quote Originally Posted by cmowla View Post
    No comments? No scramble requests?
    I'm also surprised about this. What you have proved seems utterly amazing to me.

    Just one question. For the ultimate conjugate challenge, what's stopping me from having my conjugate be: U <solve cube to one move away> U'?
    I learned BLD once, but I only really use it as a party trick.
    BLD TUTORIALS +3-Style! PBs:19.18/23.73 mo3/25.64 avg5/29.04 avg12/27.36 Official/4BLD NR/Official MBLD

  7. #47
    Premium Member Christopher Mowla's Avatar
    Join Date
    Sep 2009
    YouTube
    4EverTrying
    Posts
    715

    Default

    Quote Originally Posted by Noahaha View Post
    I'm also surprised about this. What you have proved seems utterly amazing to me.

    Just one question. For the ultimate conjugate challenge, what's stopping me from having my conjugate be: U <solve cube to one move away> U'?
    Absolutely nothing! You've got the concept. I first started with "Theorem 1" which seemed to be pretty neat because you don't have to destroy the centers to complete all orbits of wing edges, but then it developed into this simple idea. I just kept my "Y" all the way to the end for mere consistency.

    However, even the example you mentioned isn't as trivial as you might think. The trivial case is when moves completely cancel. Suppose you solve some supercube with a regular speedsolving solution. Let the first m moves be A and let the rest of the moves be B. That is, your regular solution is simply AB. We can write this as a conjugate by simply rewriting as: ABAA' = [A:BA].

    "Theorem 1" and its corollary is probably interesting to K4 users, where as if we look at the cube as a whole, it seems pretty "pointless", despite that we do not have the trivial structure above.

    EDIT:
    I have worked out an example, and what Noahaha is true for some cases, but in general, the structure of my proof is necessary.

    That is,
    1) Choose any algorithm "Y" (except for the scramble itself because that's trivial).
    2) Execute Y on a solved supercube. That is the "solved state" in which you need to get your cube in.
    3) Now execute scramble + Y to a solved supercube. Do moves to (scramble + Y) to get the "solved state."
    4) Add Y' to get the real solved state.
    DONE.
    Last edited by Christopher Mowla; 10-16-2012 at 11:58 PM.

  8. #48
    Premium Member Christopher Mowla's Avatar
    Join Date
    Sep 2009
    YouTube
    4EverTrying
    Posts
    715

    Default

    First of all, I realized that the proof for middle edge orientation (for now what I now call Theorem 3) was incomplete. If 2, 6, or 10 edges are flipped, the previous procedure does not apply directly because it violates the cube law of allowed edge orientations. I have, however, now proven edge orientation for 2, 6 and 10 flips.

    I have also added in more prerequisite information, reformatted and renumbered all theorems and lemmas, added in 2 important corollaries (and refer to one of them throughout the proofs of what I now call Theorem 2 and Theorem 3), swapped the appendixes (so that you do not need to print out the lists of cycle classes if you don't want to), and I have simplified the proof for the 3 corner twist. (I probably made other changes, but these seem to be the most major changes. Everything else is pretty much the same, if you've already read the document).

    I have updated the download link in my post before my last. I bet you guys will like the format much better now.

    Now enough of theory. Let's do an example.

    The 5x5x5 Supercube Solved with 2 Commutators
    Spoiler:
    First of all, if you don’t have cubetwister installed on your computer, you need to install it. If you don’t, it will almost be impossible to follow, much less replicate, this process.

    Once you have it installed, download this cubetwister file and put it anywhere on your computer that you wish. Open the cubetwister program and find and open this file with it. Left click the script “Algorithm Factory” in the left margin and select the “5x5x5 Numbered” and “WCA 5x5x5 Notation” (by left clicking the * looking icon).

    The following is a random 60 move scramble from qqtimer (WCA Notation).

    Also note that the solution to this scramble will be in WCA Notation as well (the same version of WCA notation at alg.garron.us).

    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'

    Note that there is an even number of outer layer turns and an even number of inner layer turns. Thus the above scramble generates a position in the commutator subgroup (not necessarily true for fixed centers on the odd supercube, however, as Lemma 4 in my document states).

    Here is a 1642 btm 2 commutator solution to this random 5x5x5 supercube scramble (except for fixed centers).

    [
    f2D'fLfrB'D2l'L'Dbr'b'M'UF'r'FrLUfF2lF2l'DbL'S'F2l 'F2lbfL'f'DR'fU2b2D'b2R'bS'RSR'f'D'f'D'fDf2R'fR2bR 'b'fD2f'b'RbR'U'bU'b2D2bD2b'R2bF2Db'R2bB2D'b'R2bRF R'fR2f'D'fR2f'URFR'b'R2bB'D'b'R2bR'b'R2bU'BD'fR2f' B2Rb'R2bU'R2UfR2f'RSR2S'B'FR'SR2S'B'R'SR2S'UDSR2S' F'R'SR2S'F'B'R'SR2S'B2FR'S'U2SB'D'SR2S'R'F'RSR2S'L FU'f2U2R2f2R2U2f2R2bUf'U'b'UfU'RbU'S'Ub'U'SU2bUf'U 'b'UfRbU'f'S'Ub'U'fSBwRulu'R'ul'u'B'U'S'U'f'USU'fU 2b'FL2B'R'x'y'DRU'B'RFU2LD'B'LFR2UD2L2F2UD2B2U
    ,
    R2F2L'F2U2L2U'B2DFL2D'R2U2LB2R2UR2F'y2DFR2L2U2Bd'B 2dB'EBd'B'E'B'R'uRdR'u'RB2d'RuE'R'dRu'ER'uRd'R'u'R dBdRd'R'uRdR'u'd'Bu2B2R2u2R2B2u2B2R'E'R2ER'E'R2ER' D2R'EB2E'BDUB'EB2E'BUDBLEB2E'R'UB2REB2E'RD'B2R'EB2 E'B'E'R2EFuR2u'R2d'R2dF'uR2u'F2uR2u'L'F2dB2d'LU2Fu R2u'R'uR2u'R'D'Rd'R2dR2L2u'B2uBD'B'u'B2uR2uF2u'd'R 'dBR'uRu'BR'd'F2dF2uRu'Bu'Ru'BuR'u2RuF'u2BlD2l'Fd' F'dR'FrD2r'D'fDf'D'RlBl'B'lB'l2D2lE'dBd'R'B'u2LR'S 'R'SRE'B'b2U'SD'S'D'l'F'D'rB'MUM'
    ]


    [
    FL'D'LF'U2FL'DLF'U2R'B'EBUB'E'BU'RRFE'F'U'FEF'UR'F lrUl'U'r'UlU'l'F2BU2r'U'l'UrU'lU'Dbf'D'bDfD'b'Db'D 2bDf'D'b'DfUb'f'L'bLfL'b'Lbu2d2R'u2Rd2R'u2Ru2R'uFd 2R'u'Rd2R'uRF'u'RU'B'F'l'UrU'lUr'U2l'UrU'lUr'F2
    ,
    D'B'DS2D'BDS2LU'BE'B'UBEB'L2UF'EFU'F'E'FL2RBd'B'u' BdB'uR'L'B'd'F'd'FuF'dFu'dBUL2Ub'U'f'UbU'fL2U2FlF' r2Fl'F'r2U2l2Ur2U'l2Ur2U2F'rFl2F'r'Fl2d'FdF'u'Fd'F 'udL2u2Ld2L'u2Ld2LB2L'd'LuL'dLu'Ld'LuL'dLu'L2rBl'B 'r'BlB2rBl'B'r'BlB2D2F2DB2D'B'F2DF'D'BDB2FD
    ]

    The scramble does not generate a fixed center position which can be solved in the commutator subgroup, period, as it is the “cycle class” {180,-90,-90,-90,-90} which sums to an odd multiple of 180. Therefore, the 2 commutator solution doesn’t affect the fixed centers at all.

    Note that solving the 5x5x5 supercube wasn’t more difficult than solving the regular 5x5x5 cube because numbering the non-fixed center pieces helps to find and setup pieces more efficiently.

    Before I show the actual cube moves I used to create the 2 commutator solution above with, I must show the “plans” I made first. If you don’t make a plan, you’re setting yourself up for misery (and you most likely will never be able to solve the scramble you are working on because it becomes trial and error rather than having a systematic process to follow).

    Note that the term “iteration” is proper to use with written number solutions, but they are “conjugates” when actually make moves which follow these written number solutions (the written number solutons are like “plans” for “how to build”—how to solve—an nxnxn cube scramble).

    I still call the conjugates “iterations” in the actual move solutions to be consistent with their “plans”.

    The Written Plan (with comments):
    Corners:
    Let {10,20,30,40,50,60,70,80} = the solved state.
    By the scramble, we have {6+,1-,80,3+,4+,2-,50,7-} (A 5-cycle and a 3-cycle)

    That is, (1→2→6)(3→4→5→7→8)

    Iteration I (orientation fix):
    (1-(+)↔6+(0)) (3+(-)↔2-(0)) (4+(+)↔7-(-)) (50(0)↔80(0)) 4 2-cycle
    → {10,60,50,20,70,30,80,40}
    Iteration II (solve at least 2 pieces):
    (20(0)↔60(0)) (40(0)↔80(0)) (70(0)↔50(0)) (30(0)↔10(0)) 4 2-cycle
    → {30,20,70,60,50,10,40,80}
    Iteration III: (We now have a 5-cycle)
    (70(0)↔30(0)) (40(0)↔10(0)) 2 2-cycle
    → {70,20,30,60,50,40,10,80}
    Iteration IV:
    (40(0)↔60(0)) (70(0)↔10(0)) 2 2-cycle
    → {10,20,30,40,50,60,70,80}

    Notes:
    By default, since we have a 5-cycle and a 3-cycle, we cannot solve the permutation in one commutator because we have other piece orbits involved (if at least two middle edges and at least two X-center pieces were untouched by the scramble—as the two of the + center pieces are—then we would be able to solve this corner cycle class in one commutator, but we don’t have that). That is, the orientations were not the reason why the corner solution had to be solved with 2 commutators instead of one.

    The superscripts, just in case you haven’t noticed, are of the form:
    current orientation (the change in orientation when put into swap slot).
    When we actually solve using cube moves, 6+(0), for example, means to put 6 rotated clockwise in the swap slot (you add both signs in the superscript to get the required orientation in which the corner piece needs to be in when it is in a swap slot).

    If you are swapping all 8 corners and the sum of all signs in all swaps in your written solution does not add to ±3, ±6, or 0 (or if you are swapping 12 edges and the sum is an odd integer), then you must revise your solution. In Table 2 in the document, there is more than one option to choose from. So make it work. For example, here is an “alternate solution” for the first iteration to the corner scramble.
    (1-(+)↔6+(0)) (3+(+)↔2-(-)) (4+(+)↔7-(-)) (50(0)↔80(0)) → {10,60,50,20,70,30,80,40}
    The sum of the signs is 0 (the net sign for 1) + 1 (the net sign for 6) + -1 (the net sign for 3) + 1 (the net sign for 2) + -1 (the net sign for 4) + 1 (the net sign for 7) + 0 (the net sign for 5) + 0 (the net sign for 8
    = 0 + 1 – 1 + 1 – 1 + 1 + 0 + 0 = 1, which is not ±3, ±6, or 0. Thus we would have to violate the cube law for orientation of corners in order to pull this stunt off! LOL. But the sum of the first iteration for the solution which was shown first is 0 which is acceptable.
    Middle Edges:
    Let {10,20,30,40,50,60,70,80,90,100,110,120}= the solved state.
    By the scramble, we have {8+,12+,9+,50,100,60,20,7+,30,11+,4+,10} (5-cycle, 4-cycle, and a 2-cycle)

    That is, (1→12→2→7→8)(3↔9)(4→11→10→5)

    Iteration I (Orientation Fix):
    (8+(+)↔12+(0)) (9+(+)↔7+(0)) (11+(+)↔4+(0)) (50(0)↔100(0)) 4 2-cycle
    → {120,80,70,100,50,60,20,90,30,40,110,10}
    Iteration II (solve at least 2 pieces):
    (10(0)↔120(0)) (20(0)↔70(0)) (30(0)↔90(0)) (40(0)↔100(0)) 4 2-cycle
    → {10,80,20,40,50,60,70,30,90,100,110,120}
    Iteration III (we know have a 3-cycle):
    (20(0)↔80(0)) (10(0)↔40(0))
    → {40,20,80,10,50,60,70,30,90,100,110,120} 2 2-cycle
    Iteration IV:
    (30(0)↔80(0)) (10(0)↔40(0))
    → {10,20,30,40,50,60,70,80,90,100,110,120} 2 2-cycle

    Notes: The cycle class {5,4,2} can be solved in one commutator regardless if the corners, X-center pieces, or the + center pieces could be solved in one commutator. That is, the orientation case forced us to need to use 2 commutators instead of one.
    Wing Edges:
    Let {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24} = the solved state.
    By the scramble, we have {20,18,5,12,2,1,19,6,7,15,4,21,3,14,13,11,24,8,23,16,17,22,9,10} (an 18-cycle and a 4-cycle).

    That is, (1→6→8→18→2→5→3→13→15→10→24→17→21→12→4→1→16→20)(7→ 9→23→19)(14)(22)

    The two bold numbers above were untouched by the scramble. If at least two numbers (pieces) are untouched by a scramble, it is a given that we can solve that orbit in one commutator (see Corollary (1) in the document).

    To solve this massive scramble with ease, we need to make a “sketch” first, and then use Lemma 1 to transform that into the exact scramble we have.

    Using the technique (m > n) in the proof of Lemma 6 (on pages 16-17 in the document), we can obtain a solution for the cycle class {18,4} pretty easily.

    Sketch
    By Lemma 1, we can represent any {18,4} as the following:
    {18,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,22,1 9,20,21,23,24}

    By the technique (m > n), the solution to this cycle class is
    Iteration I: (18↔17)(1↔16)(2↔15)(3↔14)(4↔13)(5↔12)(6↔11)(7↔10)( 8↔9) and (22↔20) 10 2-cycle
    → {17,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1,17,20,1 9,22,21,23,24}
    Iteration II: (1↔17)(2↔16)(3↔15)(4↔14)(5↔13)(6↔12)(7↔11)(8↔10 ) and (22↔21)(19↔20) 10 2-cycle
    → {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24}

    Back to our specific version of the cycle class {18,4}
    We create a “translation key” by numbering each number in “arrowed cycle representation” according to our sketch.


    By “translating” from the solution to our sketch to our actual scramble (by using the key above), we get the one commutator solution:

    Iteration I: (20↔16)(1↔11)(6↔4)(8↔12)(18↔21)(2↔17)(5↔24)(3↔10)( 13↔15) and (19↔9) 10 2-cycle
    → {16,21,24,8,17,11,9,4,7,13,6,18,10,14,15,1,5,12,23 ,20,2,22,19,3}
    Iteration II: (1↔16)(6↔11)(8↔4)(18↔12)(2↔21)(5↔17)(3↔24)(13↔1 0) and (19↔23)(7↔9) 10 2-cycle
    → {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24}
    X-Centers:
    Let {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24} = the solved state.
    By the scramble, we have {15,21,13,4,22,18,12,2,1,14,24,9,19,16,3,6,11,23,2 0,8,5,10,17,7} (23-cycle)

    That is,


    (As you can see, I made a similar “translation key” as was done for wing edges).

    Sketch
    By Lemma 1, the following representation represents all 23-cycles.
    {23,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,1 9,20,21,22,24}

    Unfortunately, the 23-cycle is one of the very worst cases for big cube parts. Only one piece is solved (4 in our actual scramble) (or 24 in the representation above) and therefore we cannot have the luxury promised by Corollary (1) to be able to solve it in one commutator. We could solve it in one commutator using an odd number 2-cycle solution if the corners, middle edges, and + center pieces all had at least 2 pieces solved. The + center pieces do (as we will see next), but the middle edges and corners do not.

    In the document, I actually solved the sketch above to prove that all even permutation cycle classes for 24 objects could be solved in 2 commutators or less (considering permutations only—not taking orientations into account).

    Just copying and pasting the solution directly from page 22 of the document,

    Let's break it up into 5 sections by marking 8 numbers/pieces.
    {23,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,24}

    Iteration I: (4↔23)(5↔9)(10↔14)(15↔19) 4 2-cycle
    {4,1,2,3,23,9,6,7,8,5,14,11,12,13,10,19,16,17,18,15,20,21,22,24}

    Iteration II: (20↔23)(5↔15)(22↔24)(7↔9) 4 2-cycle
    {4,1,2,3,20,7,6,9,8,15,14,11,12,13,10,19,16,17,18,5,23,21,24,22}

    Iteration III: (1↔4)(2↔3)(11↔14)(12↔13)(16↔19)(17↔18)(21↔23)(22↔2 4) 8 2-cycle
    {1,4,3,2,20,7,6,9,8,15,11,14,13,12,10,16,19,18,17,5,21,23,22,24}

    Iteration IV: (2↔4)(12↔14)(17↔19)(22↔23)(5↔20)(10↔15)(6↔7)(8↔ 9) 8 2-cycle
    = solved state.

    Note: If an even permutation cycle class does not have at least 2 pieces solved and the number of required 2-cycles for one commutator is odd, the solution to the 23-cycle above is yet another solving technique which you can use (splitting up the large cycles into increments of 4…).

    Back to our scramble.
    If we translate the solution to the sketch to our actual scramble, we find that one solution to our 23-cycle is the following:

    Iteration I: (7↔15)(24↔18)(6↔22)(5↔20) 4 2-cycle
    → {7,21,13,4,6,24,12,2,1,14,18,9,19,16,3,22,11,23,5, 8,20,10,17,15}
    Iteration II: (19↔15)(24↔5)(3↔4)(17↔18) 4 2-cycle
    → {7,21,13,3,6,5,12,2,1,14,17,9,15,16,4,22,11,23,24, 8,20,10,18,19}
    Iteration III: (1↔7)(9↔12)(16↔22)(14↔10)(21↔20)(2↔8)(13↔15)(3↔ 4) 8 2-cycle
    → {1,20,15,4,6,5,9,8,7,10,17,12,13,22,3,16,11,23,24, 2,21,14,18,19}
    Iteration IV: (9↔7)(14↔22)(2↔20)(3↔15)(24↔19)(6↔5)(11↔17)(23↔ 18) 8 2-cycle
    → {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24}
    + Centers:
    Let {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24} = the solved state.
    By the scramble, we have {20,21,3,14,17,1,18,11,2,6,12,5,22,4,24,16,23,10,1 3,19,7,15,9,8} (20-cycle and a 2-cycle).

    That is,


    The corresponding sketch based on the translation key above is from the m > n technique on pages 16-17. Note that since (20+2)/2 = 11 = an odd integer, we do not need to use the 2 unsolved pieces as a “dummy” pair to be able to solve this cycle class in one commutator (which doesn’t conflict with any other piece orbits).

    Sketch
    {20,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,1 9,22,21,23,24}

    Iteration I: (20↔19)(1↔18)(2↔17)(3↔16)(4↔15)(5↔14)(6↔13)(7↔12)( 8↔11)(9↔10) 10 2-cycle
    → {19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1,2 0,22,21,23,24}
    Iteration II: (1↔19)(2↔18)(3↔17)(4↔16)(5↔15)(6↔14)(7↔13)(8↔12)(9 ↔11) and (22↔21) 10 2-cycle
    →{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19, 20,21,22,23,24}

    Using the translation key to translate the solution to the sketch into a solution for our specific version of the cycle class {20,2}, we get:
    Iteration I: (20↔19)(1↔13)(6↔22)(10↔15)(18↔24)(7↔8)(21↔11)(2↔12 )(9↔5)(23↔17) 10 2-cycle
    →{19,11,3,14,23,13,24,21,12,22,2,9,6,4,18,16,17,15 ,1,20,8,10,5,7}
    Iteration II: (1↔19)(6↔13)(10↔22)(18↔15)(7↔24)(21↔8)(2↔11)(9↔12) (23↔5)(4↔14) 10 2-cycle
    →{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19, 20,21,22,23,24}

    Now the actual cube move solution begins. For convenience, this is the official plan we created (without all of the explanation and notes about techniques, etc.) so that we can refer to it often as we make moves on the cube.

    The Written Plan:
    Corners:
    Let {10,20,30,40,50,60,70,80} = the solved state.
    By the scramble, we have {6+,1-,80,3+,4+,2-,50,7-} (A 5-cycle and a 3-cycle)

    That is, (1→2→6)(3→4→5→7→8)


    Iteration I (Orientation Fix, using Table 2 in the document)
    (1-(+)↔6+(0)) (3+(-)↔2-(0)) (4+(+)↔7-(-)) (50(0)↔80(0)) 4 2-cycle
    → {10,60,50,20,70,30,80,40}
    Iteration II (solve at least 2 pieces):
    (20(0)↔60(0)) (40(0)↔80(0)) (70(0)↔50(0)) (30(0)↔10(0)) 4 2-cycle
    → {30,20,70,60,50,10,40,80}
    Iteration III:
    (70(0)↔30(0)) (40(0)↔10(0)) 2 2-cycle
    → {70,20,30,60,50,40,10,80}
    Iteration IV:
    (40(0)↔60(0)) (70(0)↔10(0)) 2 2-cycle
    → {10,20,30,40,50,60,70,80}
    Middle Edges:
    Let {10,20,30,40,50,60,70,80,90,100,110,120}= the solved state.
    By the scramble, we have {8+,12+,9+,50,100,60,20,7+,30,11+,4+,10} (5-cycle, 4-cycle, and a 2-cycle)

    That is, (1→12→2→7→8)(3↔9)(4→11→10→5)


    Iteration I (Orientation Fix, using Table 1 in the document)
    (8+(+)↔12+(0)) (9+(+)↔7+(0)) (11+(+)↔4+(0)) (50(0)↔100(0)) 4 2-cycle
    → {120,80,70,100,50,60,20,90,30,40,110,10}
    Iteration II (solve at least 2 pieces):
    (10(0)↔120(0)) (20(0)↔70(0)) (30(0)↔90(0)) (40(0)↔100(0)) 4 2-cycle
    → {10,80,20,40,50,60,70,30,90,100,110,120}
    Iteration III:
    (20(0)↔80(0)) (10(0)↔40(0)) → {40,20,80,10,50,60,70,30,90,100,110,120} 2 2-cycle
    Iteration IV:
    (30(0)↔80(0)) (10(0)↔40(0)) → {10,20,30,40,50,60,70,80,90,100,110,120} 2 2-cycle
    Wing Edges:
    Let {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24} = the solved state.
    By the scramble, we have {20,18,5,12,2,1,19,6,7,15,4,21,3,14,13,11,24,8,23, 16,17,22,9,10} (an 18-cycle and a 4-cycle).

    That is, (1→6→8→18→2→5→3→13→15→10→24→17→21→12→4→1→16→20)(7→ 9→23→19)(14)(22)

    Iteration I: (20↔16)(1↔11)(6↔4)(8↔12)(18↔21)(2↔17)(5↔24)(3↔10)( 13↔15) and (19↔9) 10 2-cycle
    → {16,21,24,8,17,11,9,4,7,13,6,18,10,14,15,1,5,12,23 ,20,2,22,19,3}
    Iteration II: (1↔16)(6↔11)(8↔4)(18↔12)(2↔21)(5↔17)(3↔24)(13↔1 0) and (19↔23)(7↔9) 10 2-cycle
    → {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24}
    X-Centers:
    Let {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24} = the solved state.
    By the scramble, we have {15,21,13,4,22,18,12,2,1,14,24,9,19,16,3,6,11,23,2 0,8,5,10,17,7} (23-cycle)

    That is, (1→9→12→7→24→11→17→23→18→6→16→14→10→22→5→21→2→8→20 →19→13→3→15)(4)


    Iteration I: (7↔15)(24↔18)(6↔22)(5↔20) 4 2-cycle
    → {7,21,13,4,6,24,12,2,1,14,18,9,19,16,3,22,11,23,5, 8,20,10,17,15}
    Iteration II: (19↔15)(24↔5)(3↔4)(17↔18) 4 2-cycle
    → {7,21,13,3,6,5,12,2,1,14,17,9,15,16,4,22,11,23,24, 8,20,10,18,19}
    Iteration III: (1↔7)(9↔12)(16↔22)(14↔10)(21↔20)(2↔8)(13↔15)(3↔ 4) 8 2-cycle
    → {1,20,15,4,6,5,9,8,7,10,17,12,13,22,3,16,11,23,24, 2,21,14,18,19}
    Iteration IV: (9↔7)(14↔22)(2↔20)(3↔15)(24↔19)(6↔5)(11↔17)(23↔ 18) 8 2-cycle
    → {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24}
    + Centers:
    Let {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24} = the solved state.
    By the scramble, we have {20,21,3,14,17,1,18,11,2,6,12,5,22,4,24,16,23,10,1 3,19,7,15,9,8} (20-cycle and a 2-cycle).

    (1→6→10→18→7→21→2→9→23→17→5→12→11→8→24→15→22→13→19 →20)(4↔14)(3)(16)

    Iteration I: (20↔19)(1↔13)(6↔22)(10↔15)(18↔24)(7↔8)(21↔11)(2↔12 )(9↔5)(23↔17) 10 2-cycle
    →{19,11,3,14,23,13,24,21,12,22,2,9,6,4,18,16,17,15 ,1,20,8,10,5,7}
    Iteration II: (1↔19)(6↔13)(10↔22)(18↔15)(7↔24)(21↔8)(2↔11)(9↔12) (23↔5)(4↔14) 10 2-cycle
    →{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19, 20,21,22,23,24}

    We will handle each piece type one at a time, combine all solutions into 4 (large) composite conjugates, rewrite as two large commutators, and finally shorten and simplify the 2 commutators into how it was first presented.

    Copy and paste each of the following into the cubetwister script and clip the check mark to apply to the cube, one at a time, and follow along with the comments (I cannot promise perfect spelling or complete sentence structure, as I was commenting as I went) and, at the same time, look at the “plan” above to see why we chose to do what we did.

    Also, for the z algorithms (z1, (z1)', z2, and (z2)'), choose the “5x5x5 super” cube to see how they affect the centers.

    Lastly, note that I put the scramble at the beginning of each of them.

    Cube Move Solution:
    Corner Solution:
    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'

    /--------------------Iteration I--------------------
    /put 1 0 across from 6+ in U layer.
    [B, U'F' U]
    /put 7+ in U layer
    [F, U B' U']
    /put 4- opp. of 7+ in U layer
    U[F', U' B U] U'
    /put 5 0 opp of 8 0 and 2- opp 3 0 in D layer
    F'U F[F2, D' B' D] F' U' F

    /diagonal 4 2-cycle in U and D Layers = z1
    B2 F2 L R' B2 U2 L2 R2 U2 F2 L R'
    (
    [B, U'F' U]
    [F, U B' U']
    U[F', U' B U] U'
    F'U F[F2, D' B' D] F' U' F
    )'

    /--------------------Iteration II--------------------
    /2 0 is opp of 6 0 already in U layer.
    /put 4 0 opp. of 8 0 in D layer
    F R [L,F' R' F] R' F'
    /put 7 0 opp. of 5 0 in U layer and put 1 0 opp. of 3 0 in D layer
    B U' R' B' R [L2, D R2 D'] R' B R U B'

    /diagonal 4 2-cycle in U and D Layers = z1 = (z1)'
    B2 F2 L R' B2 U2 L2 R2 U2 F2 L R'

    (
    F R [L,F' R' F] R' F'
    B U' R' B' R [L2, D R2 D'] R' B R U B'
    )'

    /--------------------Iteration III--------------------
    /7 0 is already opp. to 3 0 in U layer.
    /Put 4 0 in U Layer
    [L2, U' R U]
    /put 1 0 opp. of 4 0 in U Layer
    D' [R2, U' L2 U] D

    /Diagonal 2 2-cycle in U Layer = z2
    L R U2 L' R' U F' B' U2 F B U'

    (
    [L2, U' R U]
    D' [R2, U' L2 U] D
    )'

    /--------------------Iteration IV--------------------
    /put 4 0 opp. to 6 0 in U layer
    D' [R2, U' L2 U] D
    /put 1 0 opp. to 7 0 in U Layer
    D [L2, UR' U'] D'

    /Diagonal 2 2-cycle in U Layer = z2 = (z2)'
    L R U2 L' R' U F' B' U2 F B U'

    (
    D' [R2, U' L2 U] D
    D [L2, UR' U'] D'
    )'
    Middle Edge Solution:
    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'

    /--------------------Iteration I--------------------
    /put 8 0 opp. of 12 + in U layer
    F' R'[L', U M' U'] R F
    /put 9 0 opp. of 7 + in D layer
    D [M',D' R D] D'
    /put 11 0 in U Layer (4+ is also moved opp. of 11 0 in U layer)
    L[M', B L' B'] L'
    /put 5 0 opp. of 10 0 in D layer
    F' [B, D' S'D] F

    /double H perm 4 2-cycle in U and D layers = z1
    [M2 U2 M2 U M2 U2 M2 U', R L' f2 S2 b2 L R' x2]

    (
    F' R'[L', U M' U'] R F
    D [M',D' R D] D'
    L[M', B L' B'] L'
    F' [B, D' S'D] F
    )'

    /--------------------Iteration II--------------------
    /put 1 0 opp. of 12 0 in U layer
    U' R [L', U M' U'] R' U
    /put 4 0 opp. of 10 0 in U layer
    L[R', U M U'] L'
    /put 3 0 opp. of 9 0 in D layer
    D' B[F', D S'D'] B' D
    /put 7 0 opp. of 2 0 in D layer
    B'[F, D' S D] B

    /double H perm 4 2-cycle in U and D layers = z1 = (z1)'
    [M2 U2 M2 U M2 U2 M2 U', R L' f2 S2 b2 L R' x2]

    (
    U' R [L', U M' U'] R' U
    L[R', U M U'] L'
    D' B[F', D S'D'] B' D
    B'[F, D' S D] B
    )'


    /--------------------Iteration III--------------------
    /put 8 0 opp. of 2 0 and 1 0 opp. of 4 0 in U layer
    R F [E', F' U' F] F' R'

    /H perm 2 2-cycle in U layer = z2
    [R' B': [E, B U B']] U [R' B': [E, B U B']] U'

    (
    R F [E', F' U' F] F' R'
    )'

    /--------------------Iteration IV--------------------
    /put 4 0 opp. of 1 0 in U layer
    F' R' [E, R U R'] R F
    /put 3 0 opp. of 8 0 in U layer
    U' R' [L2,U' M U] R U

    /H perm 2 2-cycle in U layer = z2 = (z2)'
    [R' B': [E, B U B']] U [R' B': [E, B U B']] U'

    (
    F' R' [E, R U R'] R F
    U' R' [L2,U' M U] R U
    )'
    Wing Edge Solution:
    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'

    /--------------------Iteration I--------------------
    /put 16 adj. to 20 in UF
    [l',B L' B']
    /put 8 adj. to 12 in UL
    R2 [b2, U B' U'] R2
    /put 21 adj. to 18 in UR
    F2 L'[R, U l U'] L F2
    /put 5 adj. to 24 in UB
    r [u', L' DL] r'
    /19 is already adj. to 9 in DB
    /put 11 adj. to 1 in DR
    F2 [R',D r' D'] F2
    /2 is already adj. to 17 in DF
    /put 3 adj. to 10 in DL
    F2 R' [L,D r D'] R F2
    /6 and 4 are already adjacent in FR
    /put 13 in FL
    R2 [L2, F r F'] R2
    /put 15 adj. to 13 in FL
    R2 [L2,F' r' F] R2

    /10 2-cycle = z1
    [l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U', z2]
    x U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U' x'

    (
    [l',B L' B']
    R2 [b2, U B' U'] R2
    F2 L'[R, U l U'] L F2
    r [u', L' DL] r'
    F2 [R',D r' D'] F2
    F2 R' [L,D r D'] R F2
    R2 [L2, F r F'] R2
    R2 [L2,F' r' F] R2
    )'

    /--------------------Iteration II--------------------
    /put 1 adj. to 16 in UF
    [l, D' L D]
    /put 4 adj. to 8 in UL
    D2 [b2, UB' U'] D2
    /put 3 adj. to 24 in UB
    D' [r',UR' U'] D
    /put 18 adj. to 12 in UR
    F [U',R d R'] F'
    /put 2 adj. to 21 in DR
    F' [RF' R', f'] F
    /5 is already adj. to 17 in DF
    /put 10 adj. to 13 in DL
    F2 R [L,D' l D] R' F2
    /put 23 adj. to 19 in DB
    [u,R D' R']
    /6 and 11 are already in FL
    /put 9 adj. to 7 in FR
    [R f R', B2]

    /10 2-cycle = z1 = (z1)'
    [l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U', z2]
    x U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U' x'

    (
    [l, D' L D]
    D2 [b2, UB' U'] D2
    D' [r',UR' U'] D
    F [U',R d R'] F'
    F' [RF' R', f'] F
    F2 R [L,D' l D] R' F2
    [u,R D' R']
    [R f R', B2]
    )'
    X-Center Solution:
    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'

    /--------------------Iteration I--------------------
    /put 7 in Ulb (opp. to 15)
    [b',U' f U]
    /put 6 in Dlb (opp. to 22)
    L[b,D f'D'] L'
    /put 24 in Dlf (opp. to 18)
    D' [l', D' r D] D
    /put 5 in Ulf
    [l',U' r U]
    /put 20 in Urb (opp. to 5)
    B2 [r', U' l U] B2

    /4 2-cycle = z1
    [[l' r' u2 l r, U], x2]

    (
    [b',U' f U]
    L[b,D f'D'] L'
    D' [l', D' r D] D
    [l',U' r U]
    B2 [r', U' l U] B2
    )'

    /--------------------Iteration II--------------------
    /put 5 in Dlf (opp to 24)
    D2 [r, D l' D'] D2
    /put 3 in Urb (opp. to 4)
    U' [l,U r' U'] U
    /put 17 in Urf
    U2 [l,U r'U'] U2
    /put 18 in Ulb (opp to 17)
    B2[l, U r' U'] B2
    /put 15 in Drf
    L' [f', D b D'] L
    /put 19 in Dlb (opp to 15)
    F[l,D' r' D] F'

    /4 2-cycle = z1= (z1)'
    [[l' r' u2 l r, U], x2]

    (
    D2 [r, D l' D'] D2
    U' [l,U r' U'] U
    U2 [l,U r'U'] U2
    B2[l, U r' U'] B2
    L' [f', D b D'] L
    F[l,D' r' D] F'
    )'

    /--------------------Iteration III--------------------
    /put 1 in Ulb (opp to 7)
    F'[l', U r U'] F
    /put 20 in Ulf (opp. to 21)
    [l', U' r U]
    /put 8 in Drb (opp to 2)
    D[b,D f' D'] D'
    /put 9 in Drf (opp to 12)
    L2 [f', D b D'] L2
    /13 is already opp. 15 in the F layer
    /put 4 in Flu (opp. to 3)
    B2 [u2, F' d F] B2
    /put 16 in Bld
    [d,B' u' B]
    /put 22 in Bru (opp. to 16)
    B2 [d', B' u B] B2
    /put 10 in Brd
    [d, B u' B']
    /put 14 in Blu (opp. to 10)
    R' [u', B d B'] R

    /8 2-cycle = z2
    [[[l' r' u2 l r, U], x2], x]

    (
    F'[l', U r U'] F
    [l', U' r U]
    D[b,D f' D'] D'
    L2 [f', D b D'] L2
    B2 [u2, F' d F] B2
    [d,B' u' B]
    B2 [d', B' u B] B2
    [d, B u' B']
    R' [u', B d B'] R
    )'

    /--------------------Iteration IV--------------------
    /put 2 in Ulf (opp. to 20)
    L2 [f, U b' U'] L2
    /put 3 in Urf (opp. to 15)
    U2 [l, U r' U'] U2
    /put 6 in Dlb (opp. to 5)
    r F' r [l, D r' D'] r' F r'
    /put 7 in Drf (opp. to 9)
    [r', D' l D]
    /put 17 in Fld (opp. to 11)
    F2[u2,Fd' F'] F2
    /put 19 in Bld (opp. to 24)
    L' [d', B' uB] L
    /put 14 in Brd (opp. to 22)
    [d, B u' B']
    /put 18 in Frd
    [d, F' u' F]
    /put 23 in Flu (opp. to 18)
    R [u, F' d' F] R'

    /8 2-cycle = z2 = (z2)'
    [[[l' r' u2 l r, U], x2], x]

    (
    L2 [f, U b' U'] L2
    U2 [l, U r' U'] U2
    r F' r [l, D r' D'] r' F r'
    [r', D' l D]
    F2[u2,Fd' F'] F2
    L' [d', B' uB] L
    [d, B u' B']
    [d, F' u' F]
    R [u, F' d' F] R'
    )'
    + Center Solution:
    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'

    /--------------------Iteration I--------------------
    /put 19 in UMb (opp. to 20)
    L' [b', U S U'] L
    /put 13 in DlS (opp. to 1)
    B [l',D M' D'] B'
    /put 24 in DMf (opp. to 18)
    [M', D' l' D]
    /put 11 in UlS (opp. to 21)
    U [M, U r'U'] U'
    /put 6 in FMu (opp. to 22)
    F [E', F d' F'] F'
    /put 8 in FrE (opp. to 7)
    F2[E, F u' F'] F2
    /put 12 in LdS (opp. of 2)
    B2 [d,L' E L] B2
    /put 9 in LEf (opp. of 5)
    L[d, L' E L] L'
    /put 23 in BMu (opp. of 17)
    R2 [u', B E B'] R2
    /put 10 in BEr
    R' [E, B u' B'] R
    /put 15 in BEl (opp. of 10)
    R' [E, B' u' B] R

    /10 2-cycle = z1
    [[[S' u2: [M u d M', U2]],x2],x] z [S' u2: [M u d M', U2]] z'

    (
    L' [b', U S U'] L
    B [l',D M' D'] B'
    [M', D' l' D]
    U [M, U r'U'] U'
    F [E', F d' F'] F'
    F2[E, F u' F'] F2
    B2 [d,L' E L] B2
    L[d, L' E L] L'
    R2 [u', B E B'] R2
    R' [E, B u' B'] R
    R' [E, B' u' B] R
    )'


    /--------------------Iteration II--------------------
    /put 1 in UMb (opp. to 19)
    B2 [M, U r' U'] B2
    /put 6 in DSl (opp. to 13)
    F [l,D' M D] F'
    /put 2 in USl (opp. to 11)
    B [l,U' M U] B'
    /put 5 in DMb (opp. to 23)
    [M',D l' D']
    /21 is already opp. to 8 in F
    /put 9 in FMu (opp. to 12)
    L' [u', F E F'] L
    /put 4 in BEl (opp. to 14)
    B[d, B' E B] B'
    /put 15 in BMu (opp. to 18)
    [u', B E B']
    /put 24 in LEf (opp. to 7)
    R d [E2, L d' L'] d' R'
    /put 10 in LSu
    R E' [u2, L' E' L] E R'
    /put 22 in LSd (opp. to 10)
    R' E' [d2,L E' L'] E R

    /10 2-cycle = z1 = (z1)'
    [[[S' u2: [M u d M', U2]],x2],x] z [S' u2: [M u d M', U2]] z'

    (
    B2 [M, U r' U'] B2
    F [l,D' M D] F'
    B [l,U' M U] B'
    [M',D l' D']
    L' [u', F E F'] L
    B[d, B' E B] B'
    [u', B E B']
    R d [E2, L d' L'] d' R'
    R E' [u2, L' E' L] E R'
    R' E' [d2,L E' L'] E R
    )'
    Now we can combine them all into one macro 4 iteration (conjugate) solution as follows (because they are a direct product).
    Spoiler:
    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'

    /2328 btm

    /--------------------Iteration I--------------------
    /***Corner solution***
    /put 1 0 across from 6+ in U layer.
    [B, U'F' U]
    /put 7+ in U layer
    [F, U B' U']
    /put 4- opp. of 7+ in U layer
    U[F', U' B U] U'
    /put 5 0 opp of 8 0 and 2- opp 3 0 in D layer
    F'U F[F2, D' B' D] F' U' F

    /***Middle Edge solution***
    /put 8 0 opp. of 12 + in U layer
    F' R'[L', U M' U'] R F
    /put 9 0 opp. of 7 + in D layer
    D [M',D' R D] D'
    /put 11 0 in U Layer (4+ is also moved opp. of 11 0 in U layer)
    L[M', B L' B'] L'
    /put 5 0 opp. of 10 0 in D layer
    F' [B, D' S'D] F

    /***Wing Edge Solution***
    /put 16 adj. to 20 in UF
    [l',B L' B']
    /put 8 adj. to 12 in UL
    R2 [b2, U B' U'] R2
    /put 21 adj. to 18 in UR
    F2 L'[R, U l U'] L F2
    /put 5 adj. to 24 in UB
    r [u', L' DL] r'
    /19 is already adj. to 9 in DB
    /put 11 adj. to 1 in DR
    F2 [R',D r' D'] F2
    /2 is already adj. to 17 in DF
    /put 3 adj. to 10 in DL
    F2 R' [L,D r D'] R F2
    /6 and 4 are already adjacent in FR
    /put 13 in FL
    R2 [L2, F r F'] R2
    /put 15 adj. to 13 in FL
    R2 [L2,F' r' F] R2

    /***X-center solution
    /put 7 in Ulb (opp. to 15)
    [b',U' f U]
    /put 6 in Dlb (opp. to 22)
    L[b,D f'D'] L'
    /put 24 in Dlf (opp. to 18)
    D' [l', D' r D] D
    /put 5 in Ulf
    [l',U' r U]
    /put 20 in Urb (opp. to 5)
    B2 [r', U' l U] B2

    /***+ Center Solution
    /put 19 in UMb (opp. to 20)
    L' [b', U S U'] L
    /put 13 in DlS (opp. to 1)
    B [l',D M' D'] B'
    /put 24 in DMf (opp. to 18)
    [M', D' l' D]
    /put 11 in UlS (opp. to 21)
    U [M, U r'U'] U'
    /put 6 in FMu (opp. to 22)
    F [E', F d' F'] F'
    /put 8 in FrE (opp. to 7)
    F2[E, F u' F'] F2
    /put 12 in LdS (opp. of 2)
    B2 [d,L' E L] B2
    /put 9 in LEf (opp. of 5)
    L[d, L' E L] L'
    /put 23 in BMu (opp. of 17)
    R2 [u', B E B'] R2
    /put 10 in BEr
    R' [E, B u' B'] R
    /put 15 in BEl (opp. of 10)
    R' [E, B' u' B] R

    /***corner z1***
    /diagonal 4 2-cycle in U and D Layers = z1
    B2 F2 L R' B2 U2 L2 R2 U2 F2 L R'
    /***Middle Edge z1***
    /double H perm 4 2-cycle in U and D layers = z1
    [M2 U2 M2 U M2 U2 M2 U', R L' f2 S2 b2 L R' x2]
    /***Wind Edge z1***
    /10 2-cycle = z1
    [l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U', z2]
    x U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U' x'
    /***X-center z1***
    /4 2-cycle = z1
    [[l' r' u2 l r, U], x2]
    /***+ Center z1
    /10 2-cycle = z1
    [[[S' u2: [M u d M', U2]],x2],x] z [S' u2: [M u d M', U2]] z'


    (
    [B, U'F' U]
    [F, U B' U']
    U[F', U' B U] U'
    F'U F[F2, D' B' D] F' U' F

    F' R'[L', U M' U'] R F
    D [M',D' R D] D'
    L[M', B L' B'] L'
    F' [B, D' S'D] F

    [l',B L' B']
    R2 [b2, U B' U'] R2
    F2 L'[R, U l U'] L F2
    r [u', L' DL] r'
    F2 [R',D r' D'] F2
    F2 R' [L,D r D'] R F2
    R2 [L2, F r F'] R2
    R2 [L2,F' r' F] R2

    [b',U' f U]
    L[b,D f'D'] L'
    D' [l', D' r D] D
    [l',U' r U]
    B2 [r', U' l U] B2

    L' [b', U S U'] L
    B [l',D M' D'] B'
    [M', D' l' D]
    U [M, U r'U'] U'
    F [E', F d' F'] F'
    F2[E, F u' F'] F2
    B2 [d,L' E L] B2
    L[d, L' E L] L'
    R2 [u', B E B'] R2
    R' [E, B u' B'] R
    R' [E, B' u' B] R
    )'

    /--------------------Iteration II--------------------
    /***Corner solution***
    /2 0 is opp of 6 0 already in U layer.
    /put 4 0 opp. of 8 0 in D layer
    F R [L,F' R' F] R' F'
    /put 7 0 opp. of 5 0 in U layer and put 1 0 opp. of 3 0 in D layer
    B U' R' B' R [L2, D R2 D'] R' B R U B'

    /***Middle Edge solution***
    /put 1 0 opp. of 12 0 in U layer
    U' R [L', U M' U'] R' U
    /put 4 0 opp. of 10 0 in U layer
    L[R', U M U'] L'
    /put 3 0 opp. of 9 0 in D layer
    D' B[F', D S'D'] B' D
    /put 7 0 opp. of 2 0 in D layer
    B'[F, D' S D] B

    /***Wing Edge Solution***
    /put 1 adj. to 16 in UF
    [l, D' L D]
    /put 4 adj. to 8 in UL
    D2 [b2, UB' U'] D2
    /put 3 adj. to 24 in UB
    D' [r',UR' U'] D
    /put 18 adj. to 12 in UR
    F [U',R d R'] F'
    /put 2 adj. to 21 in DR
    F' [RF' R', f'] F
    /5 is already adj. to 17 in DF
    /put 10 adj. to 13 in DL
    F2 R [L,D' l D] R' F2
    /put 23 adj. to 19 in DB
    [u,R D' R']
    /6 and 11 are already in FL
    /put 9 adj. to 7 in FR
    [R f R', B2]

    /***X-center Solution***
    /put 5 in Dlf (opp to 24)
    D2 [r, D l' D'] D2
    /put 3 in Urb (opp. to 4)
    U' [l,U r' U'] U
    /put 17 in Urf
    U2 [l,U r'U'] U2
    /put 18 in Ulb (opp to 17)
    B2[l, U r' U'] B2
    /put 15 in Drf
    L' [f', D b D'] L
    /put 19 in Dlb (opp to 15)
    F[l,D' r' D] F'

    /***+ Center Solution
    /put 1 in UMb (opp. to 19)
    B2 [M, U r' U'] B2
    /put 6 in DSl (opp. to 13)
    F [l,D' M D] F'
    /put 2 in USl (opp. to 11)
    B [l,U' M U] B'
    /put 5 in DMb (opp. to 23)
    [M',D l' D']
    /21 is already opp. to 8 in F
    /put 9 in FMu (opp. to 12)
    L' [u', F E F'] L
    /put 4 in BEl (opp. to 14)
    B[d, B' E B] B'
    /put 15 in BMu (opp. to 18)
    [u', B E B']
    /put 24 in LEf (opp. to 7)
    R d [E2, L d' L'] d' R'
    /put 10 in LSu
    R E' [u2, L' E' L] E R'
    /put 22 in LSd (opp. to 10)
    R' E' [d2,L E' L'] E R

    /***corner (z1)' ***
    /diagonal 4 2-cycle in U and D Layers = z1 = (z1)'
    B2 F2 L R' B2 U2 L2 R2 U2 F2 L R'
    /***middle edge (z1)' ***
    /double H perm 4 2-cycle in U and D layers = z1 = (z1)'
    [M2 U2 M2 U M2 U2 M2 U', R L' f2 S2 b2 L R' x2]
    /***Wing Edge (z1)'***
    /10 2-cycle = z1 = (z1)'
    [l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U', z2]
    x U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U' x'
    /***X-Center (z1)'***
    /4 2-cycle = z1= (z1)'
    [[l' r' u2 l r, U], x2]
    /***+ Center (z1)'***
    /10 2-cycle = z1 = (z1)'
    [[[S' u2: [M u d M', U2]],x2],x] z [S' u2: [M u d M', U2]] z'

    (
    F R [L,F' R' F] R' F'
    B U' R' B' R [L2, D R2 D'] R' B R U B'

    U' R [L', U M' U'] R' U
    L[R', U M U'] L'
    D' B[F', D S'D'] B' D
    B'[F, D' S D] B

    [l, D' L D]
    D2 [b2, UB' U'] D2
    D' [r',UR' U'] D
    F [U',R d R'] F'
    F' [RF' R', f'] F
    F2 R [L,D' l D] R' F2
    [u,R D' R']
    [R f R', B2]

    D2 [r, D l' D'] D2
    U' [l,U r' U'] U
    U2 [l,U r'U'] U2
    B2[l, U r' U'] B2
    L' [f', D b D'] L
    F[l,D' r' D] F'

    B2 [M, U r' U'] B2
    F [l,D' M D] F'
    B [l,U' M U] B'
    [M',D l' D']
    L' [u', F E F'] L
    B[d, B' E B] B'
    [u', B E B']
    R d [E2, L d' L'] d' R'
    R E' [u2, L' E' L] E R'
    R' E' [d2,L E' L'] E R
    )'


    /--------------------Iteration III--------------------
    /***corner solution***
    /7 0 is already opp. to 3 0 in U layer.
    /Put 4 0 in U Layer
    [L2, U' R U]
    /put 1 0 opp. of 4 0 in U Layer
    D' [R2, U' L2 U] D

    /***Middle Edge solution***
    /put 8 0 opp. of 2 0 and 1 0 opp. of 4 0 in U layer
    R F [E', F' U' F] F' R'

    /***X-Center Solution***
    /put 1 in Ulb (opp to 7)
    F'[l', U r U'] F
    /put 20 in Ulf (opp. to 21)
    [l', U' r U]
    /put 8 in Drb (opp to 2)
    D[b,D f' D'] D'
    /put 9 in Drf (opp to 12)
    L2 [f', D b D'] L2
    /13 is already opp. 15 in the F layer
    /put 4 in Flu (opp. to 3)
    B2 [u2, F' d F] B2
    /put 16 in Bld
    [d,B' u' B]
    /put 22 in Bru (opp. to 16)
    B2 [d', B' u B] B2
    /put 10 in Brd
    [d, B u' B']
    /put 14 in Blu (opp. to 10)
    R' [u', B d B'] R

    /***corner z2***
    /Diagonal 2 2-cycle in U Layer = z2
    L R U2 L' R' U F' B' U2 F B U'
    /***Middle edge z2***
    /H perm 2 2-cycle in U layer = z2
    [R' B': [E, B U B']] U [R' B': [E, B U B']] U'
    /***X-Center z2***
    /8 2-cycle = z2
    [[[l' r' u2 l r, U], x2], x]


    (
    [L2, U' R U]
    D' [R2, U' L2 U] D

    R F [E', F' U' F] F' R'

    F'[l', U r U'] F
    [l', U' r U]
    D[b,D f' D'] D'
    L2 [f', D b D'] L2
    B2 [u2, F' d F] B2
    [d,B' u' B]
    B2 [d', B' u B] B2
    [d, B u' B']
    R' [u', B d B'] R
    )'

    /--------------------Iteration IV--------------------
    /***corner solution***
    /put 4 0 opp. to 6 0 in U layer
    D' [R2, U' L2 U] D
    /put 1 0 opp. to 7 0 in U Layer
    D [L2, UR' U'] D'

    /***middle ede solution***
    /put 4 0 opp. of 1 0 in U layer
    F' R' [E, R U R'] R F
    /put 3 0 opp. of 8 0 in U layer
    U' R' [L2,U' M U] R U

    /***X-Center Solution***
    /put 2 in Ulf (opp. to 20)
    L2 [f, U b' U'] L2
    /put 3 in Urf (opp. to 15)
    U2 [l, U r' U'] U2
    /put 6 in Dlb (opp. to 5)
    r F' r [l, D r' D'] r' F r'
    /put 7 in Drf (opp. to 9)
    [r', D' l D]
    /put 17 in Fld (opp. to 11)
    F2[u2,Fd' F'] F2
    /put 19 in Bld (opp. to 24)
    L' [d', B' uB] L
    /put 14 in Brd (opp. to 22)
    [d, B u' B']
    /put 18 in Frd
    [d, F' u' F]
    /put 23 in Flu (opp. to 18)
    R [u, F' d' F] R'

    /***corner (z2)' ***
    /Diagonal 2 2-cycle in U Layer = z2 = (z2)'
    L R U2 L' R' U F' B' U2 F B U'
    /***middle edge (z2)' ***
    /H perm 2 2-cycle in U layer = z2 = (z2)'
    [R' B': [E, B U B']] U [R' B': [E, B U B']] U'
    /***X-Center (z2)'
    /8 2-cycle = z2 = (z2)'
    [[[l' r' u2 l r, U], x2], x]

    (
    D' [R2, U' L2 U] D
    D [L2, UR' U'] D'

    F' R' [E, R U R'] R F
    U' R' [L2,U' M U] R U

    L2 [f, U b' U'] L2
    U2 [l, U r' U'] U2
    r F' r [l, D r' D'] r' F r'
    [r', D' l D]
    F2[u2,Fd' F'] F2
    L' [d', B' uB] L
    [d, B u' B']
    [d, F' u' F]
    R [u, F' d' F] R'
    )'
    Now, removing comments,
    Spoiler:
    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'

    [B, U'F' U]
    [F, U B' U']
    U[F', U' B U] U'
    F'U F[F2, D' B' D] F' U' F
    F' R'[L', U M' U'] R F
    D [M',D' R D] D'
    L[M', B L' B'] L'
    F' [B, D' S'D] F
    [l',B L' B']
    R2 [b2, U B' U'] R2
    F2 L'[R, U l U'] L F2
    r [u', L' DL] r'
    F2 [R',D r' D'] F2
    F2 R' [L,D r D'] R F2
    R2 [L2, F r F'] R2
    R2 [L2,F' r' F] R2
    [b',U' f U]
    L[b,D f'D'] L'
    D' [l', D' r D] D
    [l',U' r U]
    B2 [r', U' l U] B2
    L' [b', U S U'] L
    B [l',D M' D'] B'
    [M', D' l' D]
    U [M, U r'U'] U'
    F [E', F d' F'] F'
    F2[E, F u' F'] F2
    B2 [d,L' E L] B2
    L[d, L' E L] L'
    R2 [u', B E B'] R2
    R' [E, B u' B'] R
    R' [E, B' u' B] R

    B2 F2 L R' B2 U2 L2 R2 U2 F2 L R'
    [M2 U2 M2 U M2 U2 M2 U', R L' f2 S2 b2 L R' x2]
    [l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U', z2]
    x U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U' x'
    [[l' r' u2 l r, U], x2]
    [[[S' u2: [M u d M', U2]],x2],x] z [S' u2: [M u d M', U2]] z'

    (
    [B, U'F' U]
    [F, U B' U']
    U[F', U' B U] U'
    F'U F[F2, D' B' D] F' U' F
    F' R'[L', U M' U'] R F
    D [M',D' R D] D'
    L[M', B L' B'] L'
    F' [B, D' S'D] F
    [l',B L' B']
    R2 [b2, U B' U'] R2
    F2 L'[R, U l U'] L F2
    r [u', L' DL] r'
    F2 [R',D r' D'] F2
    F2 R' [L,D r D'] R F2
    R2 [L2, F r F'] R2
    R2 [L2,F' r' F] R2
    [b',U' f U]
    L[b,D f'D'] L'
    D' [l', D' r D] D
    [l',U' r U]
    B2 [r', U' l U] B2
    L' [b', U S U'] L
    B [l',D M' D'] B'
    [M', D' l' D]
    U [M, U r'U'] U'
    F [E', F d' F'] F'
    F2[E, F u' F'] F2
    B2 [d,L' E L] B2
    L[d, L' E L] L'
    R2 [u', B E B'] R2
    R' [E, B u' B'] R
    R' [E, B' u' B] R
    )'



    F R [L,F' R' F] R' F'
    B U' R' B' R [L2, D R2 D'] R' B R U B'
    U' R [L', U M' U'] R' U
    L[R', U M U'] L'
    D' B[F', D S'D'] B' D
    B'[F, D' S D] B
    [l, D' L D]
    D2 [b2, UB' U'] D2
    D' [r',UR' U'] D
    F [U',R d R'] F'
    F' [RF' R', f'] F
    F2 R [L,D' l D] R' F2
    [u,R D' R']
    [R f R', B2]
    D2 [r, D l' D'] D2
    U' [l,U r' U'] U
    U2 [l,U r'U'] U2
    B2[l, U r' U'] B2
    L' [f', D b D'] L
    F[l,D' r' D] F'
    B2 [M, U r' U'] B2
    F [l,D' M D] F'
    B [l,U' M U] B'
    [M',D l' D']
    L' [u', F E F'] L
    B[d, B' E B] B'
    [u', B E B']
    R d [E2, L d' L'] d' R'
    R E' [u2, L' E' L] E R'
    R' E' [d2,L E' L'] E R

    B2 F2 L R' B2 U2 L2 R2 U2 F2 L R'
    [M2 U2 M2 U M2 U2 M2 U', R L' f2 S2 b2 L R' x2]
    [l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U', z2]
    x U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U' x'
    [[l' r' u2 l r, U], x2]
    [[[S' u2: [M u d M', U2]],x2],x] z [S' u2: [M u d M', U2]] z'

    (
    F R [L,F' R' F] R' F'
    B U' R' B' R [L2, D R2 D'] R' B R U B'
    U' R [L', U M' U'] R' U
    L[R', U M U'] L'
    D' B[F', D S'D'] B' D
    B'[F, D' S D] B
    [l, D' L D]
    D2 [b2, UB' U'] D2
    D' [r',UR' U'] D
    F [U',R d R'] F'
    F' [RF' R', f'] F
    F2 R [L,D' l D] R' F2
    [u,R D' R']
    [R f R', B2]
    D2 [r, D l' D'] D2
    U' [l,U r' U'] U
    U2 [l,U r'U'] U2
    B2[l, U r' U'] B2
    L' [f', D b D'] L
    F[l,D' r' D] F'
    B2 [M, U r' U'] B2
    F [l,D' M D] F'
    B [l,U' M U] B'
    [M',D l' D']
    L' [u', F E F'] L
    B[d, B' E B] B'
    [u', B E B']
    R d [E2, L d' L'] d' R'
    R E' [u2, L' E' L] E R'
    R' E' [d2,L E' L'] E R
    )'



    [L2, U' R U]
    D' [R2, U' L2 U] D
    R F [E', F' U' F] F' R'
    F'[l', U r U'] F
    [l', U' r U]
    D[b,D f' D'] D'
    L2 [f', D b D'] L2
    B2 [u2, F' d F] B2
    [d,B' u' B]
    B2 [d', B' u B] B2
    [d, B u' B']
    R' [u', B d B'] R

    L R U2 L' R' U F' B' U2 F B U'
    [R' B': [E, B U B']] U [R' B': [E, B U B']] U'
    [[[l' r' u2 l r, U], x2], x]

    (
    [L2, U' R U]
    D' [R2, U' L2 U] D
    R F [E', F' U' F] F' R'
    F'[l', U r U'] F
    [l', U' r U]
    D[b,D f' D'] D'
    L2 [f', D b D'] L2
    B2 [u2, F' d F] B2
    [d,B' u' B]
    B2 [d', B' u B] B2
    [d, B u' B']
    R' [u', B d B'] R
    )'



    D' [R2, U' L2 U] D
    D [L2, UR' U'] D'
    F' R' [E, R U R'] R F
    U' R' [L2,U' M U] R U
    L2 [f, U b' U'] L2
    U2 [l, U r' U'] U2
    r F' r [l, D r' D'] r' F r'
    [r', D' l D]
    F2[u2,Fd' F'] F2
    L' [d', B' uB] L
    [d, B u' B']
    [d, F' u' F]
    R [u, F' d' F] R'

    L R U2 L' R' U F' B' U2 F B U'
    [R' B': [E, B U B']] U [R' B': [E, B U B']] U'
    [[[l' r' u2 l r, U], x2], x]

    (
    D' [R2, U' L2 U] D
    D [L2, UR' U'] D'
    F' R' [E, R U R'] R F
    U' R' [L2,U' M U] R U
    L2 [f, U b' U'] L2
    U2 [l, U r' U'] U2
    r F' r [l, D r' D'] r' F r'
    [r', D' l D]
    F2[u2,Fd' F'] F2
    L' [d', B' uB] L
    [d, B u' B']
    [d, F' u' F]
    R [u, F' d' F] R'
    )'
    We have 4 conjugates of the form (A z1 A') (B (z1)' B') (C z2 C') (D (z2)' D') (all z’s even permutations). On page 10 of the document, we can rewrite this as the two commutators [A z1 A', B A'] [C z2 C', D C'].
    Spoiler:
    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'
    /4116 btm

    [
    [B, U'F' U]
    [F, U B' U']
    U[F', U' B U] U'
    F'U F[F2, D' B' D] F' U' F
    F' R'[L', U M' U'] R F
    D [M',D' R D] D'
    L[M', B L' B'] L'
    F' [B, D' S'D] F
    [l',B L' B']
    R2 [b2, U B' U'] R2
    F2 L'[R, U l U'] L F2
    r [u', L' DL] r'
    F2 [R',D r' D'] F2
    F2 R' [L,D r D'] R F2
    R2 [L2, F r F'] R2
    R2 [L2,F' r' F] R2
    [b',U' f U]
    L[b,D f'D'] L'
    D' [l', D' r D] D
    [l',U' r U]
    B2 [r', U' l U] B2
    L' [b', U S U'] L
    B [l',D M' D'] B'
    [M', D' l' D]
    U [M, U r'U'] U'
    F [E', F d' F'] F'
    F2[E, F u' F'] F2
    B2 [d,L' E L] B2
    L[d, L' E L] L'
    R2 [u', B E B'] R2
    R' [E, B u' B'] R
    R' [E, B' u' B] R

    B2 F2 L R' B2 U2 L2 R2 U2 F2 L R'
    [M2 U2 M2 U M2 U2 M2 U', R L' f2 S2 b2 L R' x2]
    [l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U', z2]
    x U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U' x'
    [[l' r' u2 l r, U], x2]
    [[[S' u2: [M u d M', U2]],x2],x] z [S' u2: [M u d M', U2]] z'

    (
    [B, U'F' U]
    [F, U B' U']
    U[F', U' B U] U'
    F'U F[F2, D' B' D] F' U' F
    F' R'[L', U M' U'] R F
    D [M',D' R D] D'
    L[M', B L' B'] L'
    F' [B, D' S'D] F
    [l',B L' B']
    R2 [b2, U B' U'] R2
    F2 L'[R, U l U'] L F2
    r [u', L' DL] r'
    F2 [R',D r' D'] F2
    F2 R' [L,D r D'] R F2
    R2 [L2, F r F'] R2
    R2 [L2,F' r' F] R2
    [b',U' f U]
    L[b,D f'D'] L'
    D' [l', D' r D] D
    [l',U' r U]
    B2 [r', U' l U] B2
    L' [b', U S U'] L
    B [l',D M' D'] B'
    [M', D' l' D]
    U [M, U r'U'] U'
    F [E', F d' F'] F'
    F2[E, F u' F'] F2
    B2 [d,L' E L] B2
    L[d, L' E L] L'
    R2 [u', B E B'] R2
    R' [E, B u' B'] R
    R' [E, B' u' B] R
    )'

    ,

    F R [L,F' R' F] R' F'
    B U' R' B' R [L2, D R2 D'] R' B R U B'
    U' R [L', U M' U'] R' U
    L[R', U M U'] L'
    D' B[F', D S'D'] B' D
    B'[F, D' S D] B
    [l, D' L D]
    D2 [b2, UB' U'] D2
    D' [r',UR' U'] D
    F [U',R d R'] F'
    F' [RF' R', f'] F
    F2 R [L,D' l D] R' F2
    [u,R D' R']
    [R f R', B2]
    D2 [r, D l' D'] D2
    U' [l,U r' U'] U
    U2 [l,U r'U'] U2
    B2[l, U r' U'] B2
    L' [f', D b D'] L
    F[l,D' r' D] F'
    B2 [M, U r' U'] B2
    F [l,D' M D] F'
    B [l,U' M U] B'
    [M',D l' D']
    L' [u', F E F'] L
    B[d, B' E B] B'
    [u', B E B']
    R d [E2, L d' L'] d' R'
    R E' [u2, L' E' L] E R'
    R' E' [d2,L E' L'] E R

    (
    [B, U'F' U]
    [F, U B' U']
    U[F', U' B U] U'
    F'U F[F2, D' B' D] F' U' F
    F' R'[L', U M' U'] R F
    D [M',D' R D] D'
    L[M', B L' B'] L'
    F' [B, D' S'D] F
    [l',B L' B']
    R2 [b2, U B' U'] R2
    F2 L'[R, U l U'] L F2
    r [u', L' DL] r'
    F2 [R',D r' D'] F2
    F2 R' [L,D r D'] R F2
    R2 [L2, F r F'] R2
    R2 [L2,F' r' F] R2
    [b',U' f U]
    L[b,D f'D'] L'
    D' [l', D' r D] D
    [l',U' r U]
    B2 [r', U' l U] B2
    L' [b', U S U'] L
    B [l',D M' D'] B'
    [M', D' l' D]
    U [M, U r'U'] U'
    F [E', F d' F'] F'
    F2[E, F u' F'] F2
    B2 [d,L' E L] B2
    L[d, L' E L] L'
    R2 [u', B E B'] R2
    R' [E, B u' B'] R
    R' [E, B' u' B] R
    )'

    ]

    [
    [L2, U' R U]
    D' [R2, U' L2 U] D
    R F [E', F' U' F] F' R'
    F'[l', U r U'] F
    [l', U' r U]
    D[b,D f' D'] D'
    L2 [f', D b D'] L2
    B2 [u2, F' d F] B2
    [d,B' u' B]
    B2 [d', B' u B] B2
    [d, B u' B']
    R' [u', B d B'] R

    L R U2 L' R' U F' B' U2 F B U'
    [R' B': [E, B U B']] U [R' B': [E, B U B']] U'
    [[[l' r' u2 l r, U], x2], x]

    (
    [L2, U' R U]
    D' [R2, U' L2 U] D
    R F [E', F' U' F] F' R'
    F'[l', U r U'] F
    [l', U' r U]
    D[b,D f' D'] D'
    L2 [f', D b D'] L2
    B2 [u2, F' d F] B2
    [d,B' u' B]
    B2 [d', B' u B] B2
    [d, B u' B']
    R' [u', B d B'] R
    )'

    ,

    D' [R2, U' L2 U] D
    D [L2, UR' U'] D'
    F' R' [E, R U R'] R F
    U' R' [L2,U' M U] R U
    L2 [f, U b' U'] L2
    U2 [l, U r' U'] U2
    r F' r [l, D r' D'] r' F r'
    [r', D' l D]
    F2[u2,Fd' F'] F2
    L' [d', B' uB] L
    [d, B u' B']
    [d, F' u' F]
    R [u, F' d' F] R'

    (
    [L2, U' R U]
    D' [R2, U' L2 U] D
    R F [E', F' U' F] F' R'
    F'[l', U r U'] F
    [l', U' r U]
    D[b,D f' D'] D'
    L2 [f', D b D'] L2
    B2 [u2, F' d F] B2
    [d,B' u' B]
    B2 [d', B' u B] B2
    [d, B u' B']
    R' [u', B d B'] R
    )'
    ]
    Deleting all returns and some spaces, we have:
    Spoiler:
    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'

    /4056 btm 2 comm. solution.

    [
    [B,U'F'U][F,UB'U']U[F',U'BU]U'F'UF[F2,D'B'D]F'U'F F'R'[L',UM'U']RF D[M',D'RD]D' L[M',BL'B']L' F'[B,D'S'D]F [l',BL'B'] R2[b2,UB'U']R2 F2L'[R,UlU']LF2 r[u',L'DL]r' F2[R',Dr'D']F2 F2R'[L,DrD']RF2 R2[L2,FrF']R2 R2[L2,F'r'F]R2 [b',U'fU] L[b,Df'D']L' D'[l',D'rD]D [l',U'rU] B2[r',U'lU]B2 L'[b',USU']L B[l',DM'D']B' [M',D'l'D] U[M,Ur'U']U' F[E',Fd'F']F' F2[E,Fu'F']F2 B2[d,L'EL]B2 L[d,L'EL]L' R2[u',BEB']R2 R'[E,Bu'B']R R'[E,B'u'B]R B2F2LR'B2U2L2R2U2F2LR' [M2U2M2UM2U2M2U',RL'f2S2b2LR'x2] [l'U2l2F2r'D2r'D2r2F2l'U2Ul'U2l2F2r'D2r'D2r2F2l'U2U ',z2] xUl'U2l2F2r'D2r'D2r2F2l'U2U'x' [[l'r'u2lr,U],x2] [[[S'u2:[MudM',U2]],x2],x]z[S'u2:[MudM',U2]]z' ( [B,U'F'U] [F,UB'U'] U[F',U'BU]U' F'UF[F2,D'B'D]F'U'F F'R'[L',UM'U']RF D[M',D'RD]D' L[M',BL'B']L' F'[B,D'S'D]F [l',BL'B'] R2[b2,UB'U']R2 F2L'[R,UlU']LF2 r[u',L'DL]r' F2[R',Dr'D']F2 F2R'[L,DrD']RF2 R2[L2,FrF']R2 R2[L2,F'r'F]R2 [b',U'fU] L[b,Df'D']L' D'[l',D'rD]D [l',U'rU] B2[r',U'lU]B2 L'[b',USU']L B[l',DM'D']B' [M',D'l'D] U[M,Ur'U']U' F[E',Fd'F']F' F2[E,Fu'F']F2 B2[d,L'EL]B2 L[d,L'EL]L' R2[u',BEB']R2 R'[E,Bu'B']R R'[E,B'u'B]R )'
    ,
    F R [L,F' R' F] R' F' B U' R' B' R [L2, D R2 D'] R' B R U B' U' R [L', U M' U'] R' U L[R', U M U'] L' D' B[F', D S'D'] B' D B'[F, D' S D] B [l, D' L D] D2 [b2, UB' U'] D2 D' [r',UR' U'] D F [U',R d R'] F' F' [RF' R', f'] F F2 R [L,D' l D] R' F2 [u,R D' R'] [R f R', B2] D2 [r, D l' D'] D2 U' [l,U r' U'] U U2 [l,U r'U'] U2 B2[l, U r' U'] B2 L' [f', D b D'] L F[l,D' r' D] F' B2 [M, U r' U'] B2 F [l,D' M D] F' B [l,U' M U] B' [M',D l' D'] L' [u', F E F'] L B[d, B' E B] B' [u', B E B'] R d [E2, L d' L'] d' R' R E' [u2, L' E' L] E R' R' E' [d2,L E' L'] E R ( [B, U'F' U] [F, U B' U'] U[F', U' B U] U' F'U F[F2, D' B' D] F' U' F F' R'[L', U M' U'] R F D [M',D' R D] D' L[M', B L' B'] L' F' [B, D' S'D] F [l',B L' B'] R2 [b2, U B' U'] R2 F2 L'[R, U l U'] L F2 r [u', L' DL] r' F2 [R',D r' D'] F2 F2 R' [L,D r D'] R F2 R2 [L2, F r F'] R2 R2 [L2,F' r' F] R2 [b',U' f U] L[b,D f'D'] L' D' [l', D' r D] D [l',U' r U] B2 [r', U' l U] B2 L' [b', U S U'] L B [l',D M' D'] B' [M', D' l' D] U [M, U r'U'] U' F [E', F d' F'] F' F2[E, F u' F'] F2 B2 [d,L' E L] B2 L[d, L' E L] L' R2 [u', B E B'] R2 R' [E, B u' B'] R R' [E, B' u' B] R )'
    ]

    [
    [L2,U'RU] D'[R2,U'L2U]D RF[E',F'U'F]F'R' F'[l',UrU']F [l',U'rU] D[b,Df'D']D' L2[f',DbD']L2 B2[u2,F'dF]B2 [d,B'u'B] B2[d',B'uB]B2 [d,Bu'B'] R'[u',BdB']R LRU2L'R'UF'B'U2FBU' [R'B':[E,BUB']]U[R'B':[E,BUB']]U' [[[l'r'u2lr,U],x2],x] ( [L2,U'RU] D'[R2,U'L2U]D RF[E',F'U'F]F'R' F'[l',UrU']F [l',U'rU] D[b,Df'D']D' L2[f',DbD']L2 B2[u2,F'dF]B2 [d,B'u'B] B2[d',B'uB]B2 [d,Bu'B'] R'[u',BdB']R )'
    ,
    D'[R2,U'L2U]D D[L2,UR'U']D' F'R'[E,RUR']RF U'R'[L2,U'MU]RU L2[f,Ub'U']L2 U2[l,Ur'U']U2 rF'r[l,Dr'D']r'Fr' [r',D'lD] F2[u2,Fd'F']F2 L'[d',B'uB]L [d,Bu'B'] [d,F'u'F] R[u,F'd'F]R' ( [L2,U'RU] D'[R2,U'L2U]D RF[E',F'U'F]F'R' F'[l',UrU']F [l',U'rU] D[b,Df'D']D' L2[f',DbD']L2 B2[u2,F'dF]B2 [d,B'u'B] B2[d',B'uB]B2 [d,Bu'B'] R'[u',BdB']R )'
    ]
    We have a two commutator solution. Let’s call it [A,B][C,D]. We can shorten this solution by letting A, B, C, and D be scrambles and solving them separately. I have not had a lot of practice solving supercubes, so the following solutions are far from being optimal. I used CubeExplorer for the 3x3x3 part. (You must use center facelet twists for the 4x4x4 and greater cubes because the centers on those cubes contain non-fixed center pieces…and their exact positioning DOES MATTER).

    Important Note. We do not have to worry about solving the fixed centers, even though I solved most of them in all 4 solutions.
    Optimization:
    A:
    A for commutator 1 (838 btm originally)
    [B,U'F'U][F,UB'U']U[F',U'BU]U'F'UF[F2,D'B'D]F'U'F F'R'[L',UM'U']RF D[M',D'RD]D' L[M',BL'B']L' F'[B,D'S'D]F [l',BL'B'] R2[b2,UB'U']R2 F2L'[R,UlU']LF2 r[u',L'DL]r' F2[R',Dr'D']F2 F2R'[L,DrD']RF2 R2[L2,FrF']R2 R2[L2,F'r'F]R2 [b',U'fU] L[b,Df'D']L' D'[l',D'rD]D [l',U'rU] B2[r',U'lU]B2 L'[b',USU']L B[l',DM'D']B' [M',D'l'D] U[M,Ur'U']U' F[E',Fd'F']F' F2[E,Fu'F']F2 B2[d,L'EL]B2 L[d,L'EL]L' R2[u',BEB']R2 R'[E,Bu'B']R R'[E,B'u'B]R B2F2LR'B2U2L2R2U2F2LR' [M2U2M2UM2U2M2U',RL'f2S2b2LR'x2] [l'U2l2F2r'D2r'D2r2F2l'U2Ul'U2l2F2r'D2r'D2r2F2l'U2U ',z2] xUl'U2l2F2r'D2r'D2r2F2l'U2U'x' [[l'r'u2lr,U],x2] [[[S'u2:[MudM',U2]],x2],x]z[S'u2:[MudM',U2]]z' ( [B,U'F'U] [F,UB'U'] U[F',U'BU]U' F'UF[F2,D'B'D]F'U'F F'R'[L',UM'U']RF D[M',D'RD]D' L[M',BL'B']L' F'[B,D'S'D]F [l',BL'B'] R2[b2,UB'U']R2 F2L'[R,UlU']LF2 r[u',L'DL]r' F2[R',Dr'D']F2 F2R'[L,DrD']RF2 R2[L2,FrF']R2 R2[L2,F'r'F]R2 [b',U'fU] L[b,Df'D']L' D'[l',D'rD]D [l',U'rU] B2[r',U'lU]B2 L'[b',USU']L B[l',DM'D']B' [M',D'l'D] U[M,Ur'U']U' F[E',Fd'F']F' F2[E,Fu'F']F2 B2[d,L'EL]B2 L[d,L'EL]L' R2[u',BEB']R2 R'[E,Bu'B']R R'[E,B'u'B]R )'

    f2 D' f L f r B' D2 l' L' D b r' b' M'
    U F' r' F r LU f F2lF2 l' D b L' S' F2 l' F2 l
    b f L' f' DR' f U2 b2 D' b' b' R' bS' R S R' f2
    f D' f' D' f D f' f' R' fR2 bR' b' f D2 f'
    b' R b R' U' b U' b'b' D2 b

    D2b' R2 b
    F2 D b' R2 b
    B2 D'b' R2 b
    R F R' f R2 f'
    D' f R2 f'
    U R F R' b' R2 b
    B' D' b' R2 b
    R' b' R2 b
    U' B D' f R2 f'
    B2 R b' R2 b
    U' R2 U f R2 f'

    R SR2 S'
    B' F R' S R2 S'
    B' R' S R2 S'
    U D S R2 S'
    F' R' S R2 S'
    F' B' R' S R2 S'
    B2 F R' S' U2 S
    B' D' S R2 S'
    R' F' R S R2 S'
    L F U' f2 U2 R2 f2 R2 U2 f2

    R2 b U f' U' b' U f U' R b U' S' U b' U' S
    U2 b U f' U' b' U f R b U' f' S' U b' U' f S
    Bw R u lu' R' u l' u' Bw'
    b U' S' U'f' U S U' f U2 b'

    F L2 B' R' x' y' D R U' B' R F U2 L D' B' L F R2 U D2 L2 F2 U D2 B2 U

    = 273 btm
    f2D'fLfrB'D2l'L'Dbr'b'M'UF'r'FrLUfF2lF2l'DbL'S'F2l 'F2lbfL'f'DR'fU2b2D'b2R'bS'RSR'f'D'f'D'fDf2R'fR2bR 'b'fD2f'b'RbR'U'bU'b2D2bD2b'R2bF2Db'R2bB2D'b'R2bRF R'fR2f'D'fR2f'URFR'b'R2bB'D'b'R2bR'b'R2bU'BD'fR2f' B2Rb'R2bU'R2UfR2f'RSR2S'B'FR'SR2S'B'R'SR2S'UDSR2S' F'R'SR2S'F'B'R'SR2S'B2FR'S'U2SB'D'SR2S'R'F'RSR2S'L FU'f2U2R2f2R2U2f2R2bUf'U'b'UfU'RbU'S'Ub'U'SU2bUf'U 'b'UfRbU'f'S'Ub'U'fSBwRulu'R'ul'u'B'U'S'U'f'USU'fU 2b'FL2B'R'x'y'DRU'B'RFU2LD'B'LFR2UD2L2F2UD2B2U
    B:
    B for commutator 1 (630 btm originally)
    F R [L,F' R' F] R' F' B U' R' B' R [L2, D R2 D'] R' B R U B' U' R [L', U M' U'] R' U L[R', U M U'] L' D' B[F', D S'D'] B' D B'[F, D' S D] B [l, D' L D] D2 [b2, UB' U'] D2 D' [r',UR' U'] D F [U',R d R'] F' F' [RF' R', f'] F F2 R [L,D' l D] R' F2 [u,R D' R'] [R f R', B2] D2 [r, D l' D'] D2 U' [l,U r' U'] U U2 [l,U r'U'] U2 B2[l, U r' U'] B2 L' [f', D b D'] L F[l,D' r' D] F' B2 [M, U r' U'] B2 F [l,D' M D] F' B [l,U' M U] B' [M',D l' D'] L' [u', F E F'] L B[d, B' E B] B' [u', B E B'] R d [E2, L d' L'] d' R' R E' [u2, L' E' L] E R' R' E' [d2,L E' L'] E R ( [B, U'F' U] [F, U B' U'] U[F', U' B U] U' F'U F[F2, D' B' D] F' U' F F' R'[L', U M' U'] R F D [M',D' R D] D' L[M', B L' B'] L' F' [B, D' S'D] F [l',B L' B'] R2 [b2, U B' U'] R2 F2 L'[R, U l U'] L F2 r [u', L' DL] r' F2 [R',D r' D'] F2 F2 R' [L,D r D'] R F2 R2 [L2, F r F'] R2 R2 [L2,F' r' F] R2 [b',U' f U] L[b,D f'D'] L' D' [l', D' r D] D [l',U' r U] B2 [r', U' l U] B2 L' [b', U S U'] L B [l',D M' D'] B' [M', D' l' D] U [M, U r'U'] U' F [E', F d' F'] F' F2[E, F u' F'] F2 B2 [d,L' E L] B2 L[d, L' E L] L' R2 [u', B E B'] R2 R' [E, B u' B'] R R' [E, B' u' B] R )'


    M U' M' B r' D F l D S D S' U b2
    B E R' S' R S R L' u2B R dB' d' E
    l' D2 ll B l' B l B' l' R' D f D' f' D r D2 r' F' R d' F d F' l D2 l'
    B' u2 F u2 uR' u' u' R u' B' u R' u B' u R' u' F2 d' F2 d R B' u R' u' R B' d' R d u F2u'

    R2 u' B2 u
    B DB' u' B2 u
    L2 R2 d' R2 d
    R' D R u R2 u'
    R uR2 u'
    F' U2 L' d B2 d'
    F2 Lu R2 u'
    F2 u R2 u'
    F d' R2 d
    R2 u R2 u'

    F' E' R2E
    B E B2 E'
    R B2 D R' EB2 E'
    R' B2 U' R E B2 E'
    L' B' D' U' B' E B2 E'
    BU' D' B' E B2E'
    R D2 R E' R2E
    R E' R2 E
    RB2 u2 B2 R2 u2 R2 B2 u2

    B' du Rd' R' u' R d R' d' B' d' R' u R dR' u' RE' uR' d' R Eu' R' d
    B2 R' u R d' R' u' R d
    d'B E B d B'E' B d' B2d
    B' U2 L2R2 F' D' y2 F R2 U' R2 B2 L' U2 R2 D L2 F' D' B2 U L2 U2 F2 L F2 R2

    = 266 btm
    MU'M'Br'DFlDSDS'Ub2BER'S'RSRL'u2BRdB'd'El'D2l2Bl'B lB'l'R'DfD'f'DrD2r'F'Rd'FdF'lD2l'B'u2Fu'R'u2Ru'B'u R'uB'uR'u'F2d'F2dRB'uR'u'RB'd'RduF2u'R2u'B2uBDB'u' B2uL2R2d'R2dR'DRuR2u'RuR2u'F'U2L'dB2d'F2LuR2u'F2uR 2u'Fd'R2dR2uR2u'F'E'R2EBEB2E'RB2DR'EB2E'R'B2U'REB2 E'L'B'D'U'B'EB2E'BU'D'B'EB2E'RD2RE'R2ERE'R2ERB2u2B 2R2u2R2B2u2B'duRd'R'u'RdR'd'B'd'R'uRdR'u'RE'uR'd'R Eu'R'dB2R'uRd'R'u'RBEBdB'E'Bd'B2dB'U2L2R2F'D'y2FR2 U'R2B2L'U2R2DL2F'D'B2UL2U2F2LF2R2
    C:
    C of 2nd commutator (314 btm originally)
    [L2,U'RU] D'[R2,U'L2U]D RF[E',F'U'F]F'R' F'[l',UrU']F [l',U'rU] D[b,Df'D']D' L2[f',DbD']L2 B2[u2,F'dF]B2 [d,B'u'B] B2[d',B'uB]B2 [d,Bu'B'] R'[u',BdB']R LRU2L'R'UF'B'U2FBU' [R'B':[E,BUB']]U[R'B':[E,BUB']]U' [[[l'r'u2lr,U],x2],x] ( [L2,U'RU] D'[R2,U'L2U]D RF[E',F'U'F]F'R' F'[l',UrU']F [l',U'rU] D[b,Df'D']D' L2[f',DbD']L2 B2[u2,F'dF]B2 [d,B'u'B] B2[d',B'uB]B2 [d,Bu'B'] R'[u',BdB']R )'

    F L' D' L F' U2 F L' D L F' U2
    R' B' E B UB' E' B U'RR F E' F' U' F E F'UR'
    F l rU l' U' r' Ul U' l' F
    B F U2 r' U' l' U r U'l U'
    D b f' D' b D f D' b'Db' D2 b D f' D'b' D f U b' f' L' b L f L'b' Lb
    u2d2 R' u2 R d2 R' u2Ru2 R' u Fd2 R' u' R d2 R'uR F' u' RU' B' F' l' U r U' l U r' U'
    U' l' U r U' l U r' F2
    = (127 btm)
    FL'D'LF'U2FL'DLF'U2R'B'EBUB'E'BU'RRFE'F'U'FEF'UR'F lrUl'U'r'UlU'l'F2BU2r'U'l'UrU'lU'Dbf'D'bDfD'b'Db'D 2bDf'D'b'DfUb'f'L'bLfL'b'Lbu2d2R'u2Rd2R'u2Ru2R'uFd 2R'u'Rd2R'uRF'u'RU'B'F'l'UrU'lUr'U2l'UrU'lUr'F2
    D:
    D of 2nd commutator (246 btm originally)
    D'[R2,U'L2U]D D[L2,UR'U']D' F'R'[E,RUR']RF U'R'[L2,U'MU]RU L2[f,Ub'U']L2 U2[l,Ur'U']U2 rF'r[l,Dr'D']r'Fr' [r',D'lD] F2[u2,Fd'F']F2 L'[d',B'uB]L [d,Bu'B'] [d,F'u'F] R[u,F'd'F]R' ( [L2,U'RU] D'[R2,U'L2U]D RF[E',F'U'F]F'R' F'[l',UrU']F [l',U'rU] D[b,Df'D']D' L2[f',DbD']L2 B2[u2,F'dF]B2 [d,B'u'B] B2[d',B'uB]B2 [d,Bu'B'] R'[u',BdB']R )'

    D' F' B2 D' B' D F D' F2 B D B2 D' F2 D2
    B2 l' B' r B lB' r' B2 l' B' r B lB' r' L2 u L'd' L u'L' d L'uL' d' L u'L' d L B2 L' d2L' u2 L d2L' u2 L2 d' u' F d F' u F d'F' d l2 F' r F l2F' r' F U2r2 U' l2 U r2 U' l2U'
    U' r2Fl F' r2 F l' F' U2 L2 f' U b' U' f U bU' L2 U' B' d' uF' d' F u' F' dF d B L R u' B d' B' uB d B' R' L'
    L' F' E F U F' E'F U' L L B E'B' U' B E B'U L' S2 D' B' D S2 D' B D

    = (155 btm)
    D'F'B2D'B'DFD'F2BDB2D'F2D2B2l'B'rBlB'r'B2l'B'rBlB' r'L2uL'd'Lu'L'dL'uL'd'Lu'L'dLB2L'd2L'u2Ld2L'u2L2d' u'FdF'uFd'F'dl2F'rFl2F'r'FU2r2U'l2Ur2U'l2U2r2FlF'r 2Fl'F'U2L2f'Ub'U'fUbU'L2U'B'd'uF'd'Fu'F'dFdBLRu'Bd 'B'uBdB'R'L2F'EFUF'E'FU'L2BE'B'U'BEB'UL'S2D'B'DS2D 'BD
    Now we substitute our new solutions for A, B, C, and D into our two commutators [A,B][C,D]. Note that we must take the inverse of each before doing so.

    However, we do not need to take the inverse of A and C, since they are equal to their inverses (recall the structures [A z1 A', B A'][C z2 C', D C'], where z1 and z2 are a product of disjoint 2-cycles).

    Spoiler:
    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'
    /1642 btm 2 commutator solution

    [
    f2D'fLfrB'D2l'L'Dbr'b'M'UF'r'FrLUfF2lF2l'DbL'S'F2l 'F2lbfL'f'DR'fU2b2D'b2R'bS'RSR'f'D'f'D'fDf2R'fR2bR 'b'fD2f'b'RbR'U'bU'b2D2bD2b'R2bF2Db'R2bB2D'b'R2bRF R'fR2f'D'fR2f'URFR'b'R2bB'D'b'R2bR'b'R2bU'BD'fR2f' B2Rb'R2bU'R2UfR2f'RSR2S'B'FR'SR2S'B'R'SR2S'UDSR2S' F'R'SR2S'F'B'R'SR2S'B2FR'S'U2SB'D'SR2S'R'F'RSR2S'L FU'f2U2R2f2R2U2f2R2bUf'U'b'UfU'RbU'S'Ub'U'SU2bUf'U 'b'UfRbU'f'S'Ub'U'fSBwRulu'R'ul'u'B'U'S'U'f'USU'fU 2b'FL2B'R'x'y'DRU'B'RFU2LD'B'LFR2UD2L2F2UD2B2U
    ,
    (MU'M'Br'DFlDSDS'Ub2BER'S'RSRL'u2BRdB'd'El'D2l2Bl' BlB'l'R'DfD'f'DrD2r'F'Rd'FdF'lD2l'B'u2Fu'R'u2Ru'B' uR'uB'uR'u'F2d'F2dRB'uR'u'RB'd'RduF2u'R2u'B2uBDB'u 'B2uL2R2d'R2dR'DRuR2u'RuR2u'F'U2L'dB2d'F2LuR2u'F2u R2u'Fd'R2dR2uR2u'F'E'R2EBEB2E'RB2DR'EB2E'R'B2U'REB 2E'L'B'D'U'B'EB2E'BU'D'B'EB2E'RD2RE'R2ERE'R2ERB2u2 B2R2u2R2B2u2B'duRd'R'u'RdR'd'B'd'R'uRdR'u'RE'uR'd' REu'R'dB2R'uRd'R'u'RBEBdB'E'Bd'B2dB'U2L2R2F'D'y2FR 2U'R2B2L'U2R2DL2F'D'B2UL2U2F2LF2R2)'
    ]

    [
    FL'D'LF'U2FL'DLF'U2R'B'EBUB'E'BU'RRFE'F'U'FEF'UR'F lrUl'U'r'UlU'l'F2BU2r'U'l'UrU'lU'Dbf'D'bDfD'b'Db'D 2bDf'D'b'DfUb'f'L'bLfL'b'Lbu2d2R'u2Rd2R'u2Ru2R'uFd 2R'u'Rd2R'uRF'u'RU'B'F'l'UrU'lUr'U2l'UrU'lUr'F2
    ,
    (D'F'B2D'B'DFD'F2BDB2D'F2D2B2l'B'rBlB'r'B2l'B'rBlB 'r'L2uL'd'Lu'L'dL'uL'd'Lu'L'dLB2L'd2L'u2Ld2L'u2L2d 'u'FdF'uFd'F'dl2F'rFl2F'r'FU2r2U'l2Ur2U'l2U2r2FlF' r2Fl'F'U2L2f'Ub'U'fUbU'L2U'B'd'uF'd'Fu'F'dFdBLRu'B d'B'uBdB'R'L2F'EFUF'E'FU'L2BE'B'U'BEB'UL'S2D'B'DS2 D'BD)'
    ]
    Lastly, we actually take the inverses of B and D to arrive at the form of the 2 commutator solution originally shown.
    Last edited by Christopher Mowla; 10-16-2012 at 09:49 AM.

  9. #49
    Member siva.shanmukh's Avatar
    Join Date
    Jan 2008
    Location
    Chennai, India
    WCA Profile
    2008SHAN01
    YouTube
    shanmukh1729
    Posts
    87

    Default

    There have been so many posts since I have last seen this thread! And looks like cmowla's proof is 14 pages! This is going to take a while for me to go through it completely! A lot of work. Hats off just for the amount of it and the detail in which it is written.
    Success is how high you bounce when you hit bottom.

  10. #50
    Premium Member Christopher Mowla's Avatar
    Join Date
    Sep 2009
    YouTube
    4EverTrying
    Posts
    715

    Default

    Quote Originally Posted by siva.shanmukh View Post
    There have been so many posts since I have last seen this thread! And looks like cmowla's proof is 14 pages! This is going to take a while for me to go through it completely! A lot of work. Hats off just for the amount of it and the detail in which it is written.
    Thanks for taking interest, and welcome back!

    I actually just did some major format editing for the "ultimate conjugate challenge" (I neglected it for a long time because I was trying to perfect the commutator document), and I merged it with the commutator document. I don't know if it was the best idea to merge them, but the document looks pretty good (it's so long, it's like a book now, even without the appendices). You should just look at the document below instead of the commutator one because it is up to date.

    You don't need to read past page 43 if you're only interested in the commutator proofs (which is the material which really matters...i.e., see the remark for the conjugate proof at the bottom of the page before Appendix A. That could have been enough proof for the non-rigorous people).

    To everyone, I have added more explanation about the operation tables (in addition to the detailed example I just gave) in the commutator section "The Method" (to hopefully make things clearer if you all didn't see the example). I have added some images throughout the document as well.

    Unfortunately when I first posted the 5x5x5 example, I didn't realize that the spoilers were going to squish the "permutation keys" for the scrambles of the wing edges, X-centers, and +-centers. I edited that post earlier today and just made the keys images so that the formatting I intended to display is kept. So if you were confused when you saw the "plan (with comments)", go look at it again.
    Last edited by Christopher Mowla; 10-29-2012 at 04:44 PM. Reason: I shortened and changed the proof for "Lemma 9".

Page 5 of 10 FirstFirst ... 34567 ... LastLast

Bookmarks

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •