ku-simons:2924-79 ku-simons:3003