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

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

R_250(127, 126) = PX(125, 2) = UG(ATD[500, 62])

      = UG(Rmap(1000,169) {125, 4| 4}_125) = PL(W(125, 2)[ 4^125]) = AT[500, 1]