NEXUS

PASS

LOCK CARD · MATHEMATICAL CITY · E47 / KKP-R

[LOCK] PASS dimH=125 dimE47=47 rankK=78 Omega_c=47/125 Delta=11664 kappa=16 rho=15/17 TrP47=47

dim H
125
dim E47
47
rank K
78
Ω_c
47/125
Δ
11664
κ
16
ρ
15/17
Tr P47
47

K=(C-6I)(C-30I) · ker K = E47 = E6 ⊕ E30 · import, do not re-derive · composition does not upgrade evidence class