intersect'ii'inconsXX0consXX1intersect'ii'outintersect'ii'inXsconsX0Ysu'1'1intersect'ii'inXsYsu'1'1intersect'ii'outintersect'ii'outintersect'ii'inconsX0XsYsu'2'1intersect'ii'inXsYsu'2'1intersect'ii'outintersect'ii'outreduce'ii'insequentconsifABFsGsNFu'3'1reduce'ii'insequentconsx'2bx'2dBAFsGsNFu'3'1reduce'ii'outreduce'ii'outreduce'ii'insequentconsiffABFsGsNFu'4'1reduce'ii'insequentconsx'2aifABifBAFsGsNFu'4'1reduce'ii'outreduce'ii'outreduce'ii'insequentconsx'2aF1F2FsGsNFu'5'1reduce'ii'insequentconsF1consF2FsGsNFu'5'1reduce'ii'outreduce'ii'outreduce'ii'insequentconsx'2bF1F2FsGsNFu'6'1reduce'ii'insequentconsF1FsGsNFF2FsGsNFu'6'1reduce'ii'outF2FsGsNFu'6'2reduce'ii'insequentconsF2FsGsNFu'6'2reduce'ii'outreduce'ii'outreduce'ii'insequentconsx'2dF1FsGsNFu'7'1reduce'ii'insequentFsconsF1GsNFu'7'1reduce'ii'outreduce'ii'outreduce'ii'insequentFsconsifABGsNFu'8'1reduce'ii'insequentFsconsx'2bx'2dBAGsNFu'8'1reduce'ii'outreduce'ii'outreduce'ii'insequentFsconsiffABGsNFu'9'1reduce'ii'insequentFsconsx'2aifABifBAGsNFu'9'1reduce'ii'outreduce'ii'outreduce'ii'insequentconspVFsGssequentLeftRightu'10'1reduce'ii'insequentFsGssequentconspVLeftRightu'10'1reduce'ii'outreduce'ii'outreduce'ii'insequentFsconsx'2bG1G2GsNFu'11'1reduce'ii'insequentFsconsG1consG2GsNFu'11'1reduce'ii'outreduce'ii'outreduce'ii'insequentFsconsx'2aG1G2GsNFu'12'1reduce'ii'insequentFsconsG1GsNFFsG2GsNFu'12'1reduce'ii'outFsG2GsNFu'12'2reduce'ii'insequentFsconsG2GsNFu'12'2reduce'ii'outreduce'ii'outreduce'ii'insequentFsconsx'2dG1GsNFu'13'1reduce'ii'insequentconsG1FsGsNFu'13'1reduce'ii'outreduce'ii'outreduce'ii'insequentnilconspVGssequentLeftRightu'14'1reduce'ii'insequentnilGssequentLeftconspVRightu'14'1reduce'ii'outreduce'ii'outreduce'ii'insequentnilnilsequentF1F2u'15'1intersect'ii'inF1F2u'15'1intersect'ii'outreduce'ii'outtautology'i'inFu'16'1reduce'ii'insequentnilconsFnilsequentnilnilu'16'1reduce'ii'outtautology'i'outintersect'ii'in2cons2intersect'ii'out0u'1'11u'2'11reduce'ii'in2sequent2if2u'3'11x'2b2x'2d1reduce'ii'out0iff2u'4'11x'2a2u'5'11u'6'15u'6'21u'7'11u'8'11u'9'11p1u'10'11u'11'11u'12'15u'12'21u'13'11nil0u'14'11u'15'11tautology'i'in1u'16'11tautology'i'out0FULL./TRS/secret05/cime5.trs