fstsplit0xnilfstsplitsnnilnilfstsplitsnconshtconshfstsplitntsndsplit0xxsndsplitsnnilnilsndsplitsnconshtsndsplitntemptyniltrueemptyconshtfalseleq0mtrueleqsn0falseleqsnsmleqnmlengthnil0lengthconshtslengthtappnilxxappconshtxconshapptxmap_fpidnilnilmap_fpidconshtappfpidhmap_fpidtheadconshthtailconshttringst_1in_2st_2in_3st_3mringsndsplitmst_1consfstsplitmst_1in_2st_2in_3st_3memptyfstsplitmst_1falseringst_1in_2st_2in_3st_3mringst_1in_2sndsplitmst_2consfstsplitmst_2in_3st_3mleqmlengthst_2trueemptyfstsplitmst_2falseringst_1in_2st_2in_3st_3mringst_1tailin_2sndsplitmappmap_ftwoheadin_2st_2consfstsplitmappmap_ftwoheadin_2st_2in_3st_3mleqmlengthst_2falseemptyfstsplitmappmap_ftwoheadin_2st_2falseringst_1in_2st_2in_3st_3mringst_1tailin_2st_2in_3st_3memptymap_ftwoheadin_2trueringst_1in_2st_2in_3st_3mringst_1in_2st_2in_3sndsplitmst_3mleqmlengthst_3trueemptyfstsplitmst_3falseringst_1in_2st_2in_3st_3mringst_1in_2st_2tailin_3sndsplitmappmap_fthreeheadin_3st_3mleqmlengthst_3falseemptyfstsplitmappmap_fthreeheadin_3st_3falseringst_1in_2st_2in_3st_3mringst_1in_2st_2tailin_3st_3memptymap_fthreeheadin_3truefstsplit200nil0s1cons2sndsplit2empty1true0false0leq2length1app2map_f2f2head1tail1ring6two0three0ORIENTEDFULL./TRS/AProVE/AAECC-ring-cond.trs