f0truef1falsefsxfxiftruexyxiffalsexyygsxsyiffxsxsygxcygxgscyyf100true010false0s1if3g2c1FULL./TRS/nontermin/AG01/#4.34.trs