TMTP Model Domain: KRS
NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
KRS176+1
7-7-7-7
KRS177+1
0-0-0-0