[Home] [Table] [Glossary] [Families]

On this page are all constructions for C4[ 472, 4 ]. See Glossary for some detail.

R_236(120, 119) = PX(118, 2) = PL(BC_118({ 0, 59 }, { 1, 60 })

      = UG(ATD[472, 10]) = ATD[118, 1]#ATD[118, 1] = PL(W(118, 2)[ 4^118])

      = BGCG(W(118, 2); K1;4) = B(R_118( 61, 60)) = AT[472, 2]