<?xml version="1.0" encoding="UTF-8" standalone="no"?> <problem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" type="termination" xsi:noNamespaceSchemaLocation="/xtc.xsd"> <trs> <rules> <rule> <lhs> <funapp> <name>iapply</name> <arg> <funapp> <name>yu_ofu_x</name> </funapp> </arg> <arg> <funapp> <name>deltau_x4</name> </funapp> </arg> </funapp> </lhs> <rhs> <funapp> <name>delta4u_y</name> </funapp> </rhs> </rule> <rule> <lhs> <funapp> <name>iapply</name> <arg> <funapp> <name>rotate126</name> </funapp> </arg> <arg> <funapp> <name>arclengthu_xu_123</name> </funapp> </arg> </funapp> </lhs> <rhs> <funapp> <name>arclengthu_xu_126</name> </funapp> </rhs> </rule> <rule> <lhs> <funapp> <name>iapply</name> <arg> <funapp> <name>rotate6</name> </funapp> </arg> <arg> <funapp> <name>ldihu_xu_divu_sqrtdeltau_posbranch</name> </funapp> </arg> </funapp> </lhs> <rhs> <funapp> <name>ldih6u_xu_divu_sqrtdeltau_posbranch</name> </funapp> </rhs> </rule> <rule> <lhs> <funapp> <name>iapply</name> <arg> <funapp> <name>rotate6</name> </funapp> </arg> <arg> <funapp> <name>solu_euleru_xu_divu_sqrtdelta</name> </funapp> </arg> </funapp> </lhs> <rhs> <funapp> <name>solu_euler156u_xu_divu_sqrtdelta</name> </funapp> </rhs> </rule> <rule> <lhs> <funapp> <name>iapply</name> <arg> <funapp> <name>yu_ofu_x</name> </funapp>
content may be truncated. 'popout' for larger text window.