0 Prolog
↳1 PrologToPiTRSViaGraphTransformerProof (⇒, 466 ms)
↳2 PiTRS
↳3 DependencyPairsProof (⇔, 87 ms)
↳4 PiDP
↳5 DependencyGraphProof (⇔, 9 ms)
↳6 AND
↳7 PiDP
↳8 UsableRulesProof (⇔, 0 ms)
↳9 PiDP
↳10 PiDPToQDPProof (⇒, 0 ms)
↳11 QDP
↳12 QDPSizeChangeProof (⇔, 0 ms)
↳13 YES
↳14 PiDP
↳15 UsableRulesProof (⇔, 0 ms)
↳16 PiDP
↳17 PiDPToQDPProof (⇒, 21 ms)
↳18 QDP
↳19 QDPSizeChangeProof (⇔, 0 ms)
↳20 YES
transposeA_in_ga(.(T24, T25), .(T28, T29)) → U1_ga(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
pB_in_gaaaag(T24, T28, T29, T34, T35, T25) → U5_gaaaag(T24, T28, T29, T34, T35, T25, row2colD_in_gaaaa(T24, T28, T29, T34, T35))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477) → U3_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colC_in_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477))
row2colC_in_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → U2_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colC_in_gaaga(T267, T271, X539, .([], T270), X540))
row2colC_in_gaaga([], [], [], T279, .([], T279)) → row2colC_out_gaaga([], [], [], T279, .([], T279))
U2_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colC_out_gaaga(T267, T271, X539, .([], T270), X540)) → row2colC_out_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540)
U3_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colC_out_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477)) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477)
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], [])))))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], []))))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], []))))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], [])))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], [])))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], []))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], []))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], [])))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], [])))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], []))))
row2colD_in_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], []))) → row2colD_out_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], [])))
row2colD_in_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], [])) → row2colD_out_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], []))
U5_gaaaag(T24, T28, T29, T34, T35, T25, row2colD_out_gaaaa(T24, T28, T29, T34, T35)) → U6_gaaaag(T24, T28, T29, T34, T35, T25, transpose_auxE_in_gga(T25, T35, T34))
transpose_auxE_in_gga(.(T305, T306), T307, .(T310, T311)) → U4_gga(T305, T306, T307, T310, T311, pB_in_gaaaag(T305, T310, T311, X611, X612, T306))
U4_gga(T305, T306, T307, T310, T311, pB_out_gaaaag(T305, T310, T311, X611, X612, T306)) → transpose_auxE_out_gga(.(T305, T306), T307, .(T310, T311))
transpose_auxE_in_gga([], T318, T318) → transpose_auxE_out_gga([], T318, T318)
U6_gaaaag(T24, T28, T29, T34, T35, T25, transpose_auxE_out_gga(T25, T35, T34)) → pB_out_gaaaag(T24, T28, T29, T34, T35, T25)
U1_ga(T24, T25, T28, T29, pB_out_gaaaag(T24, T28, T29, X35, X36, T25)) → transposeA_out_ga(.(T24, T25), .(T28, T29))
transposeA_in_ga([], []) → transposeA_out_ga([], [])
TRANSPOSEA_IN_GA(.(T24, T25), .(T28, T29)) → U1_GA(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
TRANSPOSEA_IN_GA(.(T24, T25), .(T28, T29)) → PB_IN_GAAAAG(T24, T28, T29, X35, X36, T25)
PB_IN_GAAAAG(T24, T28, T29, T34, T35, T25) → U5_GAAAAG(T24, T28, T29, T34, T35, T25, row2colD_in_gaaaa(T24, T28, T29, T34, T35))
PB_IN_GAAAAG(T24, T28, T29, T34, T35, T25) → ROW2COLD_IN_GAAAA(T24, T28, T29, T34, T35)
ROW2COLD_IN_GAAAA(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477) → U3_GAAAA(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colC_in_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477))
ROW2COLD_IN_GAAAA(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477) → ROW2COLC_IN_GAAGA(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477)
ROW2COLC_IN_GAAGA(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → U2_GAAGA(T266, T267, T268, T271, X539, T270, X540, row2colC_in_gaaga(T267, T271, X539, .([], T270), X540))
ROW2COLC_IN_GAAGA(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → ROW2COLC_IN_GAAGA(T267, T271, X539, .([], T270), X540)
U5_GAAAAG(T24, T28, T29, T34, T35, T25, row2colD_out_gaaaa(T24, T28, T29, T34, T35)) → U6_GAAAAG(T24, T28, T29, T34, T35, T25, transpose_auxE_in_gga(T25, T35, T34))
U5_GAAAAG(T24, T28, T29, T34, T35, T25, row2colD_out_gaaaa(T24, T28, T29, T34, T35)) → TRANSPOSE_AUXE_IN_GGA(T25, T35, T34)
TRANSPOSE_AUXE_IN_GGA(.(T305, T306), T307, .(T310, T311)) → U4_GGA(T305, T306, T307, T310, T311, pB_in_gaaaag(T305, T310, T311, X611, X612, T306))
TRANSPOSE_AUXE_IN_GGA(.(T305, T306), T307, .(T310, T311)) → PB_IN_GAAAAG(T305, T310, T311, X611, X612, T306)
transposeA_in_ga(.(T24, T25), .(T28, T29)) → U1_ga(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
pB_in_gaaaag(T24, T28, T29, T34, T35, T25) → U5_gaaaag(T24, T28, T29, T34, T35, T25, row2colD_in_gaaaa(T24, T28, T29, T34, T35))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477) → U3_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colC_in_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477))
row2colC_in_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → U2_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colC_in_gaaga(T267, T271, X539, .([], T270), X540))
row2colC_in_gaaga([], [], [], T279, .([], T279)) → row2colC_out_gaaga([], [], [], T279, .([], T279))
U2_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colC_out_gaaga(T267, T271, X539, .([], T270), X540)) → row2colC_out_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540)
U3_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colC_out_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477)) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477)
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], [])))))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], []))))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], []))))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], [])))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], [])))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], []))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], []))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], [])))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], [])))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], []))))
row2colD_in_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], []))) → row2colD_out_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], [])))
row2colD_in_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], [])) → row2colD_out_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], []))
U5_gaaaag(T24, T28, T29, T34, T35, T25, row2colD_out_gaaaa(T24, T28, T29, T34, T35)) → U6_gaaaag(T24, T28, T29, T34, T35, T25, transpose_auxE_in_gga(T25, T35, T34))
transpose_auxE_in_gga(.(T305, T306), T307, .(T310, T311)) → U4_gga(T305, T306, T307, T310, T311, pB_in_gaaaag(T305, T310, T311, X611, X612, T306))
U4_gga(T305, T306, T307, T310, T311, pB_out_gaaaag(T305, T310, T311, X611, X612, T306)) → transpose_auxE_out_gga(.(T305, T306), T307, .(T310, T311))
transpose_auxE_in_gga([], T318, T318) → transpose_auxE_out_gga([], T318, T318)
U6_gaaaag(T24, T28, T29, T34, T35, T25, transpose_auxE_out_gga(T25, T35, T34)) → pB_out_gaaaag(T24, T28, T29, T34, T35, T25)
U1_ga(T24, T25, T28, T29, pB_out_gaaaag(T24, T28, T29, X35, X36, T25)) → transposeA_out_ga(.(T24, T25), .(T28, T29))
transposeA_in_ga([], []) → transposeA_out_ga([], [])
TRANSPOSEA_IN_GA(.(T24, T25), .(T28, T29)) → U1_GA(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
TRANSPOSEA_IN_GA(.(T24, T25), .(T28, T29)) → PB_IN_GAAAAG(T24, T28, T29, X35, X36, T25)
PB_IN_GAAAAG(T24, T28, T29, T34, T35, T25) → U5_GAAAAG(T24, T28, T29, T34, T35, T25, row2colD_in_gaaaa(T24, T28, T29, T34, T35))
PB_IN_GAAAAG(T24, T28, T29, T34, T35, T25) → ROW2COLD_IN_GAAAA(T24, T28, T29, T34, T35)
ROW2COLD_IN_GAAAA(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477) → U3_GAAAA(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colC_in_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477))
ROW2COLD_IN_GAAAA(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477) → ROW2COLC_IN_GAAGA(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477)
ROW2COLC_IN_GAAGA(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → U2_GAAGA(T266, T267, T268, T271, X539, T270, X540, row2colC_in_gaaga(T267, T271, X539, .([], T270), X540))
ROW2COLC_IN_GAAGA(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → ROW2COLC_IN_GAAGA(T267, T271, X539, .([], T270), X540)
U5_GAAAAG(T24, T28, T29, T34, T35, T25, row2colD_out_gaaaa(T24, T28, T29, T34, T35)) → U6_GAAAAG(T24, T28, T29, T34, T35, T25, transpose_auxE_in_gga(T25, T35, T34))
U5_GAAAAG(T24, T28, T29, T34, T35, T25, row2colD_out_gaaaa(T24, T28, T29, T34, T35)) → TRANSPOSE_AUXE_IN_GGA(T25, T35, T34)
TRANSPOSE_AUXE_IN_GGA(.(T305, T306), T307, .(T310, T311)) → U4_GGA(T305, T306, T307, T310, T311, pB_in_gaaaag(T305, T310, T311, X611, X612, T306))
TRANSPOSE_AUXE_IN_GGA(.(T305, T306), T307, .(T310, T311)) → PB_IN_GAAAAG(T305, T310, T311, X611, X612, T306)
transposeA_in_ga(.(T24, T25), .(T28, T29)) → U1_ga(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
pB_in_gaaaag(T24, T28, T29, T34, T35, T25) → U5_gaaaag(T24, T28, T29, T34, T35, T25, row2colD_in_gaaaa(T24, T28, T29, T34, T35))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477) → U3_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colC_in_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477))
row2colC_in_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → U2_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colC_in_gaaga(T267, T271, X539, .([], T270), X540))
row2colC_in_gaaga([], [], [], T279, .([], T279)) → row2colC_out_gaaga([], [], [], T279, .([], T279))
U2_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colC_out_gaaga(T267, T271, X539, .([], T270), X540)) → row2colC_out_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540)
U3_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colC_out_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477)) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477)
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], [])))))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], []))))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], []))))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], [])))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], [])))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], []))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], []))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], [])))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], [])))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], []))))
row2colD_in_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], []))) → row2colD_out_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], [])))
row2colD_in_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], [])) → row2colD_out_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], []))
U5_gaaaag(T24, T28, T29, T34, T35, T25, row2colD_out_gaaaa(T24, T28, T29, T34, T35)) → U6_gaaaag(T24, T28, T29, T34, T35, T25, transpose_auxE_in_gga(T25, T35, T34))
transpose_auxE_in_gga(.(T305, T306), T307, .(T310, T311)) → U4_gga(T305, T306, T307, T310, T311, pB_in_gaaaag(T305, T310, T311, X611, X612, T306))
U4_gga(T305, T306, T307, T310, T311, pB_out_gaaaag(T305, T310, T311, X611, X612, T306)) → transpose_auxE_out_gga(.(T305, T306), T307, .(T310, T311))
transpose_auxE_in_gga([], T318, T318) → transpose_auxE_out_gga([], T318, T318)
U6_gaaaag(T24, T28, T29, T34, T35, T25, transpose_auxE_out_gga(T25, T35, T34)) → pB_out_gaaaag(T24, T28, T29, T34, T35, T25)
U1_ga(T24, T25, T28, T29, pB_out_gaaaag(T24, T28, T29, X35, X36, T25)) → transposeA_out_ga(.(T24, T25), .(T28, T29))
transposeA_in_ga([], []) → transposeA_out_ga([], [])
ROW2COLC_IN_GAAGA(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → ROW2COLC_IN_GAAGA(T267, T271, X539, .([], T270), X540)
transposeA_in_ga(.(T24, T25), .(T28, T29)) → U1_ga(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
pB_in_gaaaag(T24, T28, T29, T34, T35, T25) → U5_gaaaag(T24, T28, T29, T34, T35, T25, row2colD_in_gaaaa(T24, T28, T29, T34, T35))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477) → U3_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colC_in_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477))
row2colC_in_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → U2_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colC_in_gaaga(T267, T271, X539, .([], T270), X540))
row2colC_in_gaaga([], [], [], T279, .([], T279)) → row2colC_out_gaaga([], [], [], T279, .([], T279))
U2_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colC_out_gaaga(T267, T271, X539, .([], T270), X540)) → row2colC_out_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540)
U3_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colC_out_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477)) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477)
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], [])))))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], []))))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], []))))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], [])))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], [])))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], []))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], []))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], [])))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], [])))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], []))))
row2colD_in_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], []))) → row2colD_out_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], [])))
row2colD_in_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], [])) → row2colD_out_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], []))
U5_gaaaag(T24, T28, T29, T34, T35, T25, row2colD_out_gaaaa(T24, T28, T29, T34, T35)) → U6_gaaaag(T24, T28, T29, T34, T35, T25, transpose_auxE_in_gga(T25, T35, T34))
transpose_auxE_in_gga(.(T305, T306), T307, .(T310, T311)) → U4_gga(T305, T306, T307, T310, T311, pB_in_gaaaag(T305, T310, T311, X611, X612, T306))
U4_gga(T305, T306, T307, T310, T311, pB_out_gaaaag(T305, T310, T311, X611, X612, T306)) → transpose_auxE_out_gga(.(T305, T306), T307, .(T310, T311))
transpose_auxE_in_gga([], T318, T318) → transpose_auxE_out_gga([], T318, T318)
U6_gaaaag(T24, T28, T29, T34, T35, T25, transpose_auxE_out_gga(T25, T35, T34)) → pB_out_gaaaag(T24, T28, T29, T34, T35, T25)
U1_ga(T24, T25, T28, T29, pB_out_gaaaag(T24, T28, T29, X35, X36, T25)) → transposeA_out_ga(.(T24, T25), .(T28, T29))
transposeA_in_ga([], []) → transposeA_out_ga([], [])
ROW2COLC_IN_GAAGA(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → ROW2COLC_IN_GAAGA(T267, T271, X539, .([], T270), X540)
ROW2COLC_IN_GAAGA(.(T266, T267), T270) → ROW2COLC_IN_GAAGA(T267, .([], T270))
From the DPs we obtained the following set of size-change graphs:
U5_GAAAAG(T24, T28, T29, T34, T35, T25, row2colD_out_gaaaa(T24, T28, T29, T34, T35)) → TRANSPOSE_AUXE_IN_GGA(T25, T35, T34)
TRANSPOSE_AUXE_IN_GGA(.(T305, T306), T307, .(T310, T311)) → PB_IN_GAAAAG(T305, T310, T311, X611, X612, T306)
PB_IN_GAAAAG(T24, T28, T29, T34, T35, T25) → U5_GAAAAG(T24, T28, T29, T34, T35, T25, row2colD_in_gaaaa(T24, T28, T29, T34, T35))
transposeA_in_ga(.(T24, T25), .(T28, T29)) → U1_ga(T24, T25, T28, T29, pB_in_gaaaag(T24, T28, T29, X35, X36, T25))
pB_in_gaaaag(T24, T28, T29, T34, T35, T25) → U5_gaaaag(T24, T28, T29, T34, T35, T25, row2colD_in_gaaaa(T24, T28, T29, T34, T35))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477) → U3_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colC_in_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477))
row2colC_in_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → U2_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colC_in_gaaga(T267, T271, X539, .([], T270), X540))
row2colC_in_gaaga([], [], [], T279, .([], T279)) → row2colC_out_gaaga([], [], [], T279, .([], T279))
U2_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colC_out_gaaga(T267, T271, X539, .([], T270), X540)) → row2colC_out_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540)
U3_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colC_out_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477)) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477)
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], [])))))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], []))))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], []))))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], [])))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], [])))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], []))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], []))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], [])))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], [])))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], []))))
row2colD_in_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], []))) → row2colD_out_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], [])))
row2colD_in_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], [])) → row2colD_out_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], []))
U5_gaaaag(T24, T28, T29, T34, T35, T25, row2colD_out_gaaaa(T24, T28, T29, T34, T35)) → U6_gaaaag(T24, T28, T29, T34, T35, T25, transpose_auxE_in_gga(T25, T35, T34))
transpose_auxE_in_gga(.(T305, T306), T307, .(T310, T311)) → U4_gga(T305, T306, T307, T310, T311, pB_in_gaaaag(T305, T310, T311, X611, X612, T306))
U4_gga(T305, T306, T307, T310, T311, pB_out_gaaaag(T305, T310, T311, X611, X612, T306)) → transpose_auxE_out_gga(.(T305, T306), T307, .(T310, T311))
transpose_auxE_in_gga([], T318, T318) → transpose_auxE_out_gga([], T318, T318)
U6_gaaaag(T24, T28, T29, T34, T35, T25, transpose_auxE_out_gga(T25, T35, T34)) → pB_out_gaaaag(T24, T28, T29, T34, T35, T25)
U1_ga(T24, T25, T28, T29, pB_out_gaaaag(T24, T28, T29, X35, X36, T25)) → transposeA_out_ga(.(T24, T25), .(T28, T29))
transposeA_in_ga([], []) → transposeA_out_ga([], [])
U5_GAAAAG(T24, T28, T29, T34, T35, T25, row2colD_out_gaaaa(T24, T28, T29, T34, T35)) → TRANSPOSE_AUXE_IN_GGA(T25, T35, T34)
TRANSPOSE_AUXE_IN_GGA(.(T305, T306), T307, .(T310, T311)) → PB_IN_GAAAAG(T305, T310, T311, X611, X612, T306)
PB_IN_GAAAAG(T24, T28, T29, T34, T35, T25) → U5_GAAAAG(T24, T28, T29, T34, T35, T25, row2colD_in_gaaaa(T24, T28, T29, T34, T35))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477) → U3_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colC_in_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], [])))))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), [])))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, []))))))), .([], .([], .([], .([], .([], .([], .([], []))))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], []))))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), []))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, [])))))), .([], .([], .([], .([], .([], .([], [])))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], [])))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), [])))), .(T58, .(T83, .(T108, .(T133, .(T158, []))))), .([], .([], .([], .([], .([], []))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], []))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), []))), .(T58, .(T83, .(T108, .(T133, [])))), .([], .([], .([], .([], [])))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], [])))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, []))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), [])), .(T58, .(T83, .(T108, []))), .([], .([], .([], []))))
row2colD_in_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], []))) → row2colD_out_gaaaa(.(T56, .(T81, [])), .(T56, T58), .(.(T81, T83), []), .(T58, .(T83, [])), .([], .([], [])))
row2colD_in_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], [])) → row2colD_out_gaaaa(.(T56, []), .(T56, T58), [], .(T58, []), .([], []))
U3_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, T58, T83, T108, T133, T158, T183, T208, T233, T235, X476, X477, row2colC_out_gaaga(T232, T235, X476, .([], .([], .([], .([], .([], .([], .([], []))))))), X477)) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), .(T56, T58), .(.(T81, T83), .(.(T106, T108), .(.(T131, T133), .(.(T156, T158), .(.(T181, T183), .(.(T206, T208), .(.(T231, T233), T235))))))), .(T58, .(T83, .(T108, .(T133, .(T158, .(T183, .(T208, .(T233, X476)))))))), X477)
row2colC_in_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540) → U2_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colC_in_gaaga(T267, T271, X539, .([], T270), X540))
row2colC_in_gaaga([], [], [], T279, .([], T279)) → row2colC_out_gaaga([], [], [], T279, .([], T279))
U2_gaaga(T266, T267, T268, T271, X539, T270, X540, row2colC_out_gaaga(T267, T271, X539, .([], T270), X540)) → row2colC_out_gaaga(.(T266, T267), .(.(T266, T268), T271), .(T268, X539), T270, X540)
U5_GAAAAG(T24, T25, row2colD_out_gaaaa(T24, T35)) → TRANSPOSE_AUXE_IN_GGA(T25, T35)
TRANSPOSE_AUXE_IN_GGA(.(T305, T306), T307) → PB_IN_GAAAAG(T305, T306)
PB_IN_GAAAAG(T24, T25) → U5_GAAAAG(T24, T25, row2colD_in_gaaaa(T24))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232))))))))) → U3_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, row2colC_in_gaaga(T232, .([], .([], .([], .([], .([], .([], .([], [])))))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, [])))))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, []))))))), .([], .([], .([], .([], .([], .([], .([], []))))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, []))))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, [])))))), .([], .([], .([], .([], .([], .([], [])))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, [])))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, []))))), .([], .([], .([], .([], .([], []))))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, .(T131, []))))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, [])))), .([], .([], .([], .([], [])))))
row2colD_in_gaaaa(.(T56, .(T81, .(T106, [])))) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, []))), .([], .([], .([], []))))
row2colD_in_gaaaa(.(T56, .(T81, []))) → row2colD_out_gaaaa(.(T56, .(T81, [])), .([], .([], [])))
row2colD_in_gaaaa(.(T56, [])) → row2colD_out_gaaaa(.(T56, []), .([], []))
U3_gaaaa(T56, T81, T106, T131, T156, T181, T206, T231, T232, row2colC_out_gaaga(T232, .([], .([], .([], .([], .([], .([], .([], []))))))), X477)) → row2colD_out_gaaaa(.(T56, .(T81, .(T106, .(T131, .(T156, .(T181, .(T206, .(T231, T232)))))))), X477)
row2colC_in_gaaga(.(T266, T267), T270) → U2_gaaga(T266, T267, T270, row2colC_in_gaaga(T267, .([], T270)))
row2colC_in_gaaga([], T279) → row2colC_out_gaaga([], T279, .([], T279))
U2_gaaga(T266, T267, T270, row2colC_out_gaaga(T267, .([], T270), X540)) → row2colC_out_gaaga(.(T266, T267), T270, X540)
row2colD_in_gaaaa(x0)
U3_gaaaa(x0, x1, x2, x3, x4, x5, x6, x7, x8, x9)
row2colC_in_gaaga(x0, x1)
U2_gaaga(x0, x1, x2, x3)
From the DPs we obtained the following set of size-change graphs: