fstsplit0xnilfstsplitsnnilnilfstsplitsnconshtconshfstsplitntsndsplit0xxsndsplitsnnilnilsndsplitsnconshtsndsplitntemptyniltrueemptyconshtfalseleq0mtrueleqsn0falseleqsnsmleqnmlengthnil0lengthconshtslengthtappnilxxappconshtxconshapptxmap_fpidnilnilmap_fpidconshtappfpidhmap_fpidtprocessstoremif1storemleqmlengthstoreif1storemtrueif2storememptyfstsplitmstoreif1storemfalseif3storememptyfstsplitmappmap_fselfnilstoreif2storemfalseprocessappmap_fselfnilsndsplitmstoremif3storemfalseprocesssndsplitmappmap_fselfnilstoremfstsplit200nil0s1cons2sndsplit2empty1true0false0leq2length1app2map_f2f2process2if13if23if33self0FULL./TRS/AProVE/AAECC.trs