User:Edwin Shade/An Algorithmic Analysis Of The 4x4x4