a__U11ttNmarkNa__U21ttMNsa__plusmarkNmarkMa__andttXmarkXa__isNat0tta__isNatplusV1V2a__anda__isNatV1isNatV2a__isNatsV1a__isNatV1a__plusN0a__U11a__isNatNNa__plusNsMa__U21a__anda__isNatMisNatNMNmarkU11X1X2a__U11markX1X2markU21X1X2X3a__U21markX1X2X3markplusX1X2a__plusmarkX1markX2markandX1X2a__andmarkX1X2markisNatXa__isNatXmarkttttmarksXsmarkXmark00a__U11X1X2U11X1X2a__U21X1X2X3U21X1X2X3a__plusX1X2plusX1X2a__andX1X2andX1X2a__isNatXisNatXa__U112tt0mark1a__U213s1a__plus2a__and2a__isNat100plus2isNat1U112U213and2FULL./TRS/TRCSR/PEANO_nokinds_GM.trs