read TSPP: K:=400: print(`Identities (Soichi) and (Okada) for n<=`,K, ` are `): print(CheckTSPP(K)); quit: