<proofs ><proof name="doSharpConvol" ><alli><lm><var id='1'/><exp/><alli><lm><var id='2'/><exp/><alli><lm><var id='3'/><exp/><alli><lm><var id='4'/><exp/><alli><lm><var id='5'/><exp/><alli><lm><var id='6'/><exp/><alli><lm><var id='7'/><exp/><alli><lm><var id='8'/><exp/><alli><lm><var id='9'/><exp/><alli><lm><var id='10'/><exp/><alli><lm><var id='11'/><exp/><alli><lm><var id='12'/><exp/><alli><lm><var id='13'/><exp/><alli><lm><var id='14'/><exp/><alli><lm><var id='15'/><exp/><alli><lm><var id='16'/><exp/><alli><lm><var id='17'/><exp/><alli><lm><var id='18'/><exp/><alli><lm><var id='19'/><exp/><alli><lm><var id='20'/><exp/><alli><lm><var id='21'/><exp/><alli><lm><var id='22'/><exp/><alli><lm><var id='23'/><exp/><alli><lm><var id='24'/><exp/><alli><lm><var id='25'/><exp/><alli><lm><var id='26'/><exp/><impi><lm><var id='27'/><pf><and><and><and><geeq><var id='26'/><int val='1'/></geeq><geeq><var id='25'/><int val='1'/></geeq></and><and><geeq><var id='24'/><int val='1'/></geeq><and><of><var id='23'/><array><rw/><int/><minus><times><int val='4'/><var id='26'/></times><int val='4'/></minus></array></of><of><var id='26'/><int/></of></and></and></and><and><and><of><var id='22'/><array><rw/><int/><minus><times><int val='4'/><times><var id='24'/><var id='25'/></times></times><int val='4'/></minus></array></of><and><of><var id='25'/><int/></of><of><var id='24'/><int/></of></and></and><and><ge><var id='24'/><int val='3'/></ge><and><ge><var id='25'/><int val='3'/></ge><eq><var id='25'/><var id='26'/></eq></and></and></and></and></pf><andi><andi><geqCheck><int val='0'/><int val='0'/><int val='0'/></geqCheck><ofIntAny><int val='0'/></ofIntAny></andi><impi><lm><var id='28'/><pf><and><geeq><var id='21'/><int val='0'/></geeq><of><var id='21'/><int/></of></and></pf><andi><impi><lm><var id='29'/><pf><ge><minus><var id='25'/><var id='21'/></minus><int val='0'/></ge></pf><andi><andi><andi><andi><andi><geqtimesi><var id='25'/><int val='1'/><int val='~2'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><gtgeq><andel><ander><ander><ander><var id='27'/></ander></ander></ander></andel></gtgeq><geq0/></geqtimesgeeq></geqtimesi><geqtimesi><var id='24'/><int val='1'/><int val='~2'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><gtgeq><andel><ander><ander><var id='27'/></ander></ander></andel></gtgeq><geq0/></geqtimesgeeq></geqtimesi></andi><andi><ander><var id='28'/></ander><andi><ofIntAny><int val='0'/></ofIntAny><andel><andel><ander><var id='27'/></ander></andel></andel></andi></andi></andi><andi><andi><btr><ander><ander><ander><andel><var id='27'/></andel></ander></ander></ander><eqsimof><ander><ander><ander><ander><var id='27'/></ander></ander></ander></ander><eqid><int/></eqid></eqsimof></btr><andi><ander><ander><andel><ander><var id='27'/></ander></andel></ander></ander><geqleq><geqCheck><int val='0'/><int val='0'/><int val='0'/></geqCheck></geqleq></andi></andi><andi><geqlt><geqtimesi><var id='24'/><plus><int val='0'/><int val='1'/></plus><int val='~2'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><gtgeq><andel><ander><ander><var id='27'/></ander></ander></andel></gtgeq><geq0/></geqtimesgeeq></geqtimesi></geqlt><andi><geqleq><geqtimesi><var id='21'/><int val='0'/><int val='1'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><andel><var id='28'/></andel><geq0/></geqtimesgeeq></geqtimesi></geqleq><geqlt><geqtimesi><var id='25'/><plus><var id='21'/><int val='1'/></plus><int val='1'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><gtgeq><var id='29'/></gtgeq><geq0/></geqtimesgeeq></geqtimesi></geqlt></andi></andi></andi></andi><eqsym><eqCheck><var id='20'/><plus><minus><var id='20'/><int val='32'/></minus><int val='32'/></plus></eqCheck></eqsym></andi><impi><lm><var id='30'/><pf><and><of><var id='19'/><int/></of><and><of><var id='18'/><int/></of><of><var id='17'/><int/></of></and></and></pf><andi><andi><safeWr><andel><var id='30'/></andel><eqid><plus><var id='23'/><times><var id='21'/><int val='4'/></times></plus></eqid><fo10><szint/></fo10><aIMul0><geqtimesi><var id='21'/><int val='0'/><int val='1'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><andel><var id='28'/></andel><geq0/></geqtimesgeeq></geqtimesi><geqtimesi><minus><times><int val='4'/><var id='26'/></times><int val='4'/></minus><times><var id='21'/><int val='4'/></times><int val='1'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='4'/><gtgeq><var id='29'/></gtgeq><geqtimeseq><int val='~4'/><ander><ander><ander><ander><var id='27'/></ander></ander></ander></ander><geq0/></geqtimeseq></geqtimesgeeq></geqtimesi></aIMul0><andel><ander><ander><andel><var id='27'/></andel></ander></ander></andel></safeWr><andi><geqtimesi><plus><var id='21'/><int val='1'/></plus><int val='0'/><int val='0'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><andel><var id='28'/></andel><geq0/></geqtimesgeeq></geqtimesi><ofIntAny><plus><var id='21'/><int val='1'/></plus></ofIntAny></andi></andi><eqtr><vGP/><eqsym><eqCheck><vGP/><minus><plus><vGP/><int val='932'/></plus><int val='932'/></minus></eqCheck></eqsym><eqCheck><vGP/><minus><plus><vGP/><int val='840'/></plus><int val='840'/></minus></eqCheck></eqtr></andi></lm></impi></andi></lm></impi><impi><lm><var id='29'/><pf><leeq><minus><var id='25'/><var id='21'/></minus><int val='0'/></leeq></pf><andi><andi><geqCheck><int val='1'/><int val='1'/><int val='0'/></geqCheck><ofIntAny><int val='1'/></ofIntAny></andi><impi><lm><var id='30'/><pf><and><geeq><var id='15'/><int val='1'/></geeq><of><var id='15'/><int/></of></and></pf><andi><impi><lm><var id='31'/><pf><geeq><minus><minus><var id='24'/><int val='2'/></minus><var id='15'/></minus><int val='0'/></geeq></pf><andi><andi><geqCheck><int val='0'/><int val='0'/><int val='0'/></geqCheck><ofIntAny><int val='0'/></ofIntAny></andi><impi><lm><var id='32'/><pf><and><geeq><var id='14'/><int val='0'/></geeq><of><var id='14'/><int/></of></and></pf><andi><impi><lm><var id='33'/><pf><ge><minus><var id='25'/><var id='14'/></minus><int val='0'/></ge></pf><andi><andi><andi><andi><andi><geqtimesi><var id='25'/><int val='1'/><int val='~2'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><gtgeq><andel><ander><ander><ander><var id='27'/></ander></ander></ander></andel></gtgeq><geq0/></geqtimesgeeq></geqtimesi><geqtimesi><var id='24'/><int val='1'/><int val='~2'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><gtgeq><andel><ander><ander><var id='27'/></ander></ander></andel></gtgeq><geq0/></geqtimesgeeq></geqtimesi></andi><andi><ander><var id='32'/></ander><andi><ander><var id='30'/></ander><andel><andel><ander><var id='27'/></ander></andel></andel></andi></andi></andi><andi><andi><btr><ander><ander><ander><andel><var id='27'/></andel></ander></ander></ander><eqsimof><ander><ander><ander><ander><var id='27'/></ander></ander></ander></ander><eqid><int/></eqid></eqsimof></btr><andi><ander><ander><andel><ander><var id='27'/></ander></andel></ander></ander><geqleq><geqtimesi><var id='15'/><int val='0'/><int val='0'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><andel><var id='30'/></andel><geq0/></geqtimesgeeq></geqtimesi></geqleq></andi></andi><andi><geqlt><geqtimesi><var id='24'/><plus><var id='15'/><int val='1'/></plus><int val='0'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><var id='31'/><geq0/></geqtimesgeeq></geqtimesi></geqlt><andi><geqleq><geqtimesi><var id='14'/><int val='0'/><int val='1'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><andel><var id='32'/></andel><geq0/></geqtimesgeeq></geqtimesi></geqleq><geqlt><geqtimesi><var id='25'/><plus><var id='14'/><int val='1'/></plus><int val='1'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><gtgeq><var id='33'/></gtgeq><geq0/></geqtimesgeeq></geqtimesi></geqlt></andi></andi></andi></andi><eqsym><eqCheck><var id='20'/><plus><minus><var id='20'/><int val='32'/></minus><int val='32'/></plus></eqCheck></eqsym></andi><impi><lm><var id='34'/><pf><and><of><var id='13'/><int/></of><and><of><var id='12'/><int/></of><of><var id='11'/><int/></of></and></and></pf><andi><andi><safeRd><eqid><plus><var id='23'/><times><var id='14'/><int val='4'/></times></plus></eqid><fo10><szint/></fo10><aIMul0><geqtimesi><var id='14'/><int val='0'/><int val='1'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><andel><var id='32'/></andel><geq0/></geqtimesgeeq></geqtimesi><geqtimesi><minus><times><int val='4'/><var id='26'/></times><int val='4'/></minus><times><var id='14'/><int val='4'/></times><int val='1'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='4'/><gtgeq><var id='33'/></gtgeq><geqtimeseq><int val='~4'/><ander><ander><ander><ander><var id='27'/></ander></ander></ander></ander><geq0/></geqtimeseq></geqtimesgeeq></geqtimesi></aIMul0><andel><ander><ander><andel><var id='27'/></andel></ander></ander></andel></safeRd><safeWr><ofIntAny><plus><sel><var id='10'/><plus><var id='23'/><times><var id='14'/><int val='4'/></times></plus></sel><var id='13'/></plus></ofIntAny><eqid><plus><var id='23'/><times><var id='14'/><int val='4'/></times></plus></eqid><fo10><szint/></fo10><aIMul0><geqtimesi><var id='14'/><int val='0'/><int val='1'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><andel><var id='32'/></andel><geq0/></geqtimesgeeq></geqtimesi><geqtimesi><minus><times><int val='4'/><var id='26'/></times><int val='4'/></minus><times><var id='14'/><int val='4'/></times><int val='1'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='4'/><gtgeq><var id='33'/></gtgeq><geqtimeseq><int val='~4'/><ander><ander><ander><ander><var id='27'/></ander></ander></ander></ander><geq0/></geqtimeseq></geqtimesgeeq></geqtimesi></aIMul0><andel><ander><ander><andel><var id='27'/></andel></ander></ander></andel></safeWr></andi><andi><andi><geqtimesi><plus><var id='14'/><int val='1'/></plus><int val='0'/><int val='0'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><andel><var id='32'/></andel><geq0/></geqtimesgeeq></geqtimesi><ofIntAny><plus><var id='14'/><int val='1'/></plus></ofIntAny></andi><eqtr><vGP/><eqsym><eqCheck><vGP/><minus><plus><vGP/><int val='1012'/></plus><int val='1012'/></minus></eqCheck></eqsym><eqCheck><vGP/><minus><plus><vGP/><int val='840'/></plus><int val='840'/></minus></eqCheck></eqtr></andi></andi></lm></impi></andi></lm></impi><impi><lm><var id='33'/><pf><leeq><minus><var id='25'/><var id='14'/></minus><int val='0'/></leeq></pf><andi><andi><geqCheck><int val='1'/><int val='1'/><int val='0'/></geqCheck><ofIntAny><int val='1'/></ofIntAny></andi><impi><lm><var id='34'/><pf><and><geeq><var id='9'/><int val='1'/></geeq><of><var id='9'/><int/></of></and></pf><andi><impi><lm><var id='35'/><pf><geeq><minus><minus><var id='25'/><int val='2'/></minus><var id='9'/></minus><int val='0'/></geeq></pf><andi><andi><andi><safeRd><eqid><plus><var id='23'/><times><var id='9'/><int val='4'/></times></plus></eqid><fo10><szint/></fo10><aIMul0><geqtimesi><var id='9'/><int val='0'/><int val='0'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><andel><var id='34'/></andel><geq0/></geqtimesgeeq></geqtimesi><geqtimesi><minus><times><int val='4'/><var id='26'/></times><int val='4'/></minus><times><var id='9'/><int val='4'/></times><int val='~3'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='4'/><var id='35'/><geqtimeseq><int val='~4'/><ander><ander><ander><ander><var id='27'/></ander></ander></ander></ander><geq0/></geqtimeseq></geqtimesgeeq></geqtimesi></aIMul0><andel><ander><ander><andel><var id='27'/></andel></ander></ander></andel></safeRd><safeRd><eqCheck><plus><plus><var id='23'/><times><var id='9'/><int val='4'/></times></plus><int val='4'/></plus><plus><var id='23'/><plus><int val='4'/><times><var id='9'/><int val='4'/></times></plus></plus></eqCheck><fo10><szint/></fo10><aIdx><int val='4'/><int val='0'/><geqtimesi><plus><int val='4'/><times><var id='9'/><int val='4'/></times></plus><int val='0'/><int val='~7'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='4'/><andel><var id='34'/></andel><geq0/></geqtimesgeeq></geqtimesi><geqtimesi><minus><times><int val='4'/><var id='26'/></times><int val='4'/></minus><plus><int val='4'/><times><var id='9'/><int val='4'/></times></plus><int val='1'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='4'/><var id='35'/><geqtimeseq><int val='~4'/><ander><ander><ander><ander><var id='27'/></ander></ander></ander></ander><geq0/></geqtimeseq></geqtimesgeeq></geqtimesi><modtimesplus><var id='9'/><int val='0'/><int val='4'/><int val='4'/><int val='4'/></modtimesplus></aIdx><andel><ander><ander><andel><var id='27'/></andel></ander></ander></andel></safeRd></andi><safeRd><eqCheck><minus><plus><var id='23'/><times><var id='9'/><int val='4'/></times></plus><int val='4'/></minus><plus><var id='23'/><plus><int val='~4'/><times><var id='9'/><int val='4'/></times></plus></plus></eqCheck><fo10><szint/></fo10><aIdx><int val='4'/><int val='0'/><geqtimesi><plus><int val='~4'/><times><var id='9'/><int val='4'/></times></plus><int val='0'/><int val='1'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='4'/><andel><var id='34'/></andel><geq0/></geqtimesgeeq></geqtimesi><geqtimesi><minus><times><int val='4'/><var id='26'/></times><int val='4'/></minus><plus><int val='~4'/><times><var id='9'/><int val='4'/></times></plus><int val='~7'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='4'/><var id='35'/><geqtimeseq><int val='~4'/><ander><ander><ander><ander><var id='27'/></ander></ander></ander></ander><geq0/></geqtimeseq></geqtimesgeeq></geqtimesi><modtimesplus><var id='9'/><int val='0'/><int val='~4'/><int val='4'/><int val='4'/></modtimesplus></aIdx><andel><ander><ander><andel><var id='27'/></andel></ander></ander></andel></safeRd></andi><andi><andi><andi><andi><andi><geqtimesi><var id='25'/><int val='1'/><int val='~2'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><gtgeq><andel><ander><ander><ander><var id='27'/></ander></ander></ander></andel></gtgeq><geq0/></geqtimesgeeq></geqtimesi><geqtimesi><var id='24'/><int val='1'/><int val='~2'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><gtgeq><andel><ander><ander><var id='27'/></ander></ander></andel></gtgeq><geq0/></geqtimesgeeq></geqtimesi></andi><andi><ander><var id='34'/></ander><andi><ander><var id='30'/></ander><andel><andel><ander><var id='27'/></ander></andel></andel></andi></andi></andi><andi><andi><btr><ander><ander><ander><andel><var id='27'/></andel></ander></ander></ander><eqsimof><ander><ander><ander><ander><var id='27'/></ander></ander></ander></ander><eqid><int/></eqid></eqsimof></btr><andi><ander><ander><andel><ander><var id='27'/></ander></andel></ander></ander><geqleq><geqtimesi><var id='15'/><int val='0'/><int val='0'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><andel><var id='30'/></andel><geq0/></geqtimesgeeq></geqtimesi></geqleq></andi></andi><andi><geqlt><geqtimesi><var id='24'/><plus><var id='15'/><int val='1'/></plus><int val='0'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><var id='31'/><geq0/></geqtimesgeeq></geqtimesi></geqlt><andi><geqleq><geqtimesi><var id='9'/><int val='0'/><int val='0'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><andel><var id='34'/></andel><geq0/></geqtimesgeeq></geqtimesi></geqleq><geqlt><geqtimesi><var id='25'/><plus><var id='9'/><int val='1'/></plus><int val='0'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><var id='35'/><geq0/></geqtimesgeeq></geqtimesi></geqlt></andi></andi></andi></andi><eqsym><eqCheck><var id='20'/><plus><minus><var id='20'/><int val='32'/></minus><int val='32'/></plus></eqCheck></eqsym></andi><impi><lm><var id='36'/><pf><and><of><var id='7'/><int/></of><and><of><var id='6'/><int/></of><of><var id='5'/><int/></of></and></and></pf><andi><andi><andi><ofIntAny><minus><rshift><var id='7'/><int val='1'/></rshift><rshift><plus><plus><sel><var id='8'/><minus><plus><var id='23'/><times><var id='9'/><int val='4'/></times></plus><int val='4'/></minus></sel><plus><sel><var id='8'/><plus><var id='23'/><times><var id='9'/><int val='4'/></times></plus></sel><sel><var id='8'/><plus><var id='23'/><times><var id='9'/><int val='4'/></times></plus></sel></plus></plus><sel><var id='8'/><plus><plus><var id='23'/><times><var id='9'/><int val='4'/></times></plus><int val='4'/></plus></sel></plus><int val='2'/></rshift></minus></ofIntAny><andi><andel><ander><var id='36'/></ander></andel><ander><ander><var id='36'/></ander></ander></andi></andi><eqsym><eqCheck><var id='20'/><plus><minus><var id='20'/><int val='32'/></minus><int val='32'/></plus></eqCheck></eqsym></andi><impi><lm><var id='37'/><pf><and><of><var id='4'/><int/></of><and><of><var id='3'/><int/></of><of><var id='2'/><int/></of></and></and></pf><andi><andi><safeWr><ofIntAny><plus><plus><var id='2'/><times><var id='3'/><int val='256'/></times></plus><lshift><var id='4'/><int val='16'/></lshift></plus></ofIntAny><eqid><plus><var id='22'/><times><plus><var id='9'/><times><var id='25'/><var id='15'/></times></plus><int val='4'/></times></plus></eqid><fo10><szint/></fo10><aIMul0><bidim0><var id='25'/><var id='9'/><var id='15'/><geqgt><geqtimesi><minus><var id='25'/><var id='9'/></minus><plus><int val='0'/><int val='1'/></plus><int val='0'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><var id='35'/><geq0/></geqtimesgeeq></geqtimesi></geqgt><geqtimesi><var id='9'/><int val='0'/><int val='0'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><andel><var id='34'/></andel><geq0/></geqtimesgeeq></geqtimesi><geqtimesi><var id='15'/><int val='0'/><int val='0'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><andel><var id='30'/></andel><geq0/></geqtimesgeeq></geqtimesi></bidim0><bidim1><var id='24'/><var id='25'/><var id='9'/><var id='15'/><geqgt><geqtimesi><minus><var id='24'/><var id='15'/></minus><plus><int val='0'/><int val='1'/></plus><int val='0'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><var id='31'/><geq0/></geqtimesgeeq></geqtimesi></geqgt><geqgt><geqtimesi><minus><var id='25'/><var id='9'/></minus><plus><int val='0'/><int val='1'/></plus><int val='0'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><var id='35'/><geq0/></geqtimesgeeq></geqtimesi></geqgt><geqtimesi><var id='9'/><int val='0'/><int val='0'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><andel><var id='34'/></andel><geq0/></geqtimesgeeq></geqtimesi></bidim1></aIMul0><andel><andel><ander><var id='27'/></ander></andel></andel></safeWr><andi><geqtimesi><plus><var id='9'/><int val='1'/></plus><int val='1'/><int val='0'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><andel><var id='34'/></andel><geq0/></geqtimesgeeq></geqtimesi><ofIntAny><plus><var id='9'/><int val='1'/></plus></ofIntAny></andi></andi><eqtr><vGP/><eqsym><eqCheck><vGP/><minus><plus><vGP/><int val='1152'/></plus><int val='1152'/></minus></eqCheck></eqsym><eqCheck><vGP/><minus><plus><vGP/><int val='840'/></plus><int val='840'/></minus></eqCheck></eqtr></andi></lm></impi></andi></lm></impi></andi></andi></lm></impi><impi><lm><var id='35'/><pf><le><minus><minus><var id='25'/><int val='2'/></minus><var id='9'/></minus><int val='0'/></le></pf><andi><geqtimesi><plus><var id='15'/><int val='1'/></plus><int val='1'/><int val='0'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><andel><var id='30'/></andel><geq0/></geqtimesgeeq></geqtimesi><ofIntAny><plus><var id='15'/><int val='1'/></plus></ofIntAny></andi></lm></impi></andi></lm></impi></andi></lm></impi></andi></lm></impi></andi></lm></impi><impi><lm><var id='31'/><pf><le><minus><minus><var id='24'/><int val='2'/></minus><var id='15'/></minus><int val='0'/></le></pf><eqsym><eqCheck><var id='20'/><plus><minus><var id='20'/><int val='32'/></minus><int val='32'/></plus></eqCheck></eqsym></lm></impi></andi></lm></impi></andi></lm></impi></andi></lm></impi></andi></lm></impi></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></proof>
<proof name="hsv" ><alli><lm><var id='1'/><exp/><alli><lm><var id='2'/><exp/><alli><lm><var id='3'/><exp/><alli><lm><var id='4'/><exp/><alli><lm><var id='5'/><exp/><alli><lm><var id='6'/><exp/><alli><lm><var id='7'/><exp/><alli><lm><var id='8'/><exp/><alli><lm><var id='9'/><exp/><alli><lm><var id='10'/><exp/><impi><lm><var id='11'/><pf><and><and><and><geeq><var id='10'/><int val='1'/></geeq><geeq><var id='9'/><int val='1'/></geeq></and><and><of><var id='8'/><int/></of><and><of><var id='7'/><int/></of><of><var id='6'/><array><rw/><int/><minus><times><int val='4'/><times><var id='9'/><var id='10'/></times></times><int val='4'/></minus></array></of></and></and></and><and><and><of><var id='10'/><int/></of><and><of><var id='9'/><int/></of><leeq><int val='0'/><var id='7'/></leeq></and></and><and><le><var id='7'/><var id='9'/></le><and><leeq><int val='0'/><var id='8'/></leeq><le><var id='8'/><var id='10'/></le></and></and></and></and></pf><andi><andi><safeRd><eqid><plus><var id='6'/><times><plus><var id='8'/><times><var id='10'/><var id='7'/></times></plus><int val='4'/></times></plus></eqid><fo10><szint/></fo10><aIMul0><bidim0><var id='10'/><var id='8'/><var id='7'/><geqgt><geqtimesi><minus><var id='10'/><var id='8'/></minus><plus><int val='0'/><int val='1'/></plus><int val='1'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><ltgeq><ander><ander><ander><ander><var id='11'/></ander></ander></ander></ander></ltgeq><geq0/></geqtimesgeeq></geqtimesi></geqgt><geqtimesi><var id='8'/><int val='0'/><int val='1'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><leqgeq><andel><ander><ander><ander><var id='11'/></ander></ander></ander></andel></leqgeq><geq0/></geqtimesgeeq></geqtimesi><geqtimesi><var id='7'/><int val='0'/><int val='1'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><leqgeq><ander><ander><andel><ander><var id='11'/></ander></andel></ander></ander></leqgeq><geq0/></geqtimesgeeq></geqtimesi></bidim0><bidim1><var id='9'/><var id='10'/><var id='8'/><var id='7'/><geqgt><geqtimesi><minus><var id='9'/><var id='7'/></minus><plus><int val='0'/><int val='1'/></plus><int val='1'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><ltgeq><andel><ander><ander><var id='11'/></ander></ander></andel></ltgeq><geq0/></geqtimesgeeq></geqtimesi></geqgt><geqgt><geqtimesi><minus><var id='10'/><var id='8'/></minus><plus><int val='0'/><int val='1'/></plus><int val='1'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><ltgeq><ander><ander><ander><ander><var id='11'/></ander></ander></ander></ander></ltgeq><geq0/></geqtimesgeeq></geqtimesi></geqgt><geqtimesi><var id='8'/><int val='0'/><int val='1'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='1'/><leqgeq><andel><ander><ander><ander><var id='11'/></ander></ander></ander></andel></leqgeq><geq0/></geqtimesgeeq></geqtimesi></bidim1></aIMul0><ander><ander><ander><andel><var id='11'/></andel></ander></ander></ander></safeRd><andi><ofIntAny><extr><sel><var id='5'/><plus><var id='6'/><times><plus><var id='8'/><times><var id='10'/><var id='7'/></times></plus><int val='4'/></times></plus></sel><int val='2'/><int val='8'/></extr></ofIntAny><andi><ofIntAny><extr><sel><var id='5'/><plus><var id='6'/><times><plus><var id='8'/><times><var id='10'/><var id='7'/></times></plus><int val='4'/></times></plus></sel><int val='1'/><int val='8'/></extr></ofIntAny><ofIntAny><extr><sel><var id='5'/><plus><var id='6'/><times><plus><var id='8'/><times><var id='10'/><var id='7'/></times></plus><int val='4'/></times></plus></sel><int val='0'/><int val='8'/></extr></ofIntAny></andi></andi></andi><andi><eqid><var id='4'/></eqid><impi><lm><var id='12'/><pf><and><of><var id='3'/><int/></of><and><of><var id='2'/><int/></of><of><var id='1'/><int/></of></and></and></pf><andi><andel><var id='12'/></andel><andi><andel><ander><var id='12'/></ander></andel><ander><ander><var id='12'/></ander></ander></andi></andi></lm></impi></andi></andi></lm></impi></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></lm></alli></proof>
<proof name="hsv2rgb" ><alli><lm><var id='1'/><exp/><alli><lm><var id='2'/><exp/><alli><lm><var id='3'/><exp/><impi><lm><var id='4'/><pf><and><of><var id='3'/><int/></of><and><of><var id='2'/><int/></of><of><var id='1'/><int/></of></and></and></pf><andi><impi><lm><var id='5'/><pf><neq><plus><var id='1'/><int val='1'/></plus><int val='0'/></neq></pf><andi><impi><lm><var id='6'/><pf><neq><var id='2'/><int val='0'/></neq></pf><andi><impi><lm><var id='7'/><pf><eq><minus><var id='1'/><int val='360'/></minus><int val='0'/></eq></pf><andi><ofIntAny><times><var id='3'/><minus><int val='256'/><var id='2'/></minus></times></ofIntAny><andi><ofIntAny><times><var id='3'/><minus><int val='256'/><rshift><times><var id='2'/><int val='256'/></times><int val='8'/></rshift></minus></times></ofIntAny><andel><var id='4'/></andel></andi></andi></lm></impi><impi><lm><var id='7'/><pf><neq><minus><var id='1'/><int val='360'/></minus><int val='0'/></neq></pf><andi><impi><lm><var id='8'/><pf><le><band><rshift><var id='1'/><int val='6'/></rshift><minus><plus><int val='0'/><lshift><int val='1'/><int val='16'/></lshift></plus><int val='256'/></minus></band><int val='0'/></le></pf><andi><ofIntAny><times><var id='3'/><minus><int val='256'/><var id='2'/></minus></times></ofIntAny><andi><ofIntAny><times><var id='3'/><minus><int val='256'/><rshift><times><var id='2'/><minus><int val='256'/><rshift><var id='1'/><int val='6'/></rshift></minus></times><int val='8'/></rshift></minus></times></ofIntAny><andel><var id='4'/></andel></andi></andi></lm></impi><impi><lm><var id='8'/><pf><geeq><band><rshift><var id='1'/><int val='6'/></rshift><minus><plus><int val='0'/><lshift><int val='1'/><int val='16'/></lshift></plus><int val='256'/></minus></band><int val='0'/></geeq></pf><andi><impi><lm><var id='9'/><pf><neq><band><rshift><var id='1'/><int val='6'/></rshift><minus><plus><int val='0'/><lshift><int val='1'/><int val='16'/></lshift></plus><int val='256'/></minus></band><int val='0'/></neq></pf><andi><impi><lm><var id='10'/><pf><eq><minus><band><rshift><var id='1'/><int val='6'/></rshift><minus><plus><int val='0'/><lshift><int val='1'/><int val='16'/></lshift></plus><int val='256'/></minus></band><int val='1'/></minus><int val='0'/></eq></pf><andi><ofIntAny><times><var id='3'/><minus><int val='256'/><var id='2'/></minus></times></ofIntAny><andi><andel><var id='4'/></andel><ofIntAny><times><var id='3'/><minus><int val='256'/><rshift><times><var id='2'/><minus><rshift><var id='1'/><int val='6'/></rshift><band><rshift><var id='1'/><int val='6'/></rshift><minus><plus><int val='0'/><lshift><int val='1'/><int val='16'/></lshift></plus><int val='256'/></minus></band></minus></times><int val='8'/></rshift></minus></times></ofIntAny></andi></andi></lm></impi><impi><lm><var id='10'/><pf><neq><minus><band><rshift><var id='1'/><int val='6'/></rshift><minus><plus><int val='0'/><lshift><int val='1'/><int val='16'/></lshift></plus><int val='256'/></minus></band><int val='1'/></minus><int val='0'/></neq></pf><andi><impi><lm><var id='11'/><pf><eq><minus><band><rshift><var id='1'/><int val='6'/></rshift><minus><plus><int val='0'/><lshift><int val='1'/><int val='16'/></lshift></plus><int val='256'/></minus></band><int val='2'/></minus><int val='0'/></eq></pf><andi><ofIntAny><times><var id='3'/><minus><int val='256'/><rshift><times><var id='2'/><minus><int val='256'/><minus><rshift><var id='1'/><int val='6'/></rshift><band><rshift><var id='1'/><int val='6'/></rshift><minus><plus><int val='0'/><lshift><int val='1'/><int val='16'/></lshift></plus><int val='256'/></minus></band></minus></minus></times><int val='8'/></rshift></minus></times></ofIntAny><andi><andel><var id='4'/></andel><ofIntAny><times><var id='3'/><minus><int val='256'/><var id='2'/></minus></times></ofIntAny></andi></andi></lm></impi><impi><lm><var id='11'/><pf><neq><minus><band><rshift><var id='1'/><int val='6'/></rshift><minus><plus><int val='0'/><lshift><int val='1'/><int val='16'/></lshift></plus><int val='256'/></minus></band><int val='2'/></minus><int val='0'/></neq></pf><andi><impi><lm><var id='12'/><pf><eq><minus><band><rshift><var id='1'/><int val='6'/></rshift><minus><plus><int val='0'/><lshift><int val='1'/><int val='16'/></lshift></plus><int val='256'/></minus></band><int val='3'/></minus><int val='0'/></eq></pf><andi><andel><var id='4'/></andel><andi><ofIntAny><times><var id='3'/><minus><int val='256'/><rshift><times><var id='2'/><minus><rshift><var id='1'/><int val='6'/></rshift><band><rshift><var id='1'/><int val='6'/></rshift><minus><plus><int val='0'/><lshift><int val='1'/><int val='16'/></lshift></plus><int val='256'/></minus></band></minus></times><int val='8'/></rshift></minus></times></ofIntAny><ofIntAny><times><var id='3'/><minus><int val='256'/><var id='2'/></minus></times></ofIntAny></andi></andi></lm></impi><impi><lm><var id='12'/><pf><neq><minus><band><rshift><var id='1'/><int val='6'/></rshift><minus><plus><int val='0'/><lshift><int val='1'/><int val='16'/></lshift></plus><int val='256'/></minus></band><int val='3'/></minus><int val='0'/></neq></pf><andi><ofIntAny><times><var id='3'/><minus><int val='256'/><var id='2'/></minus></times></ofIntAny><andi><ofIntAny><times><var id='3'/><minus><int val='256'/><rshift><times><var id='2'/><minus><int val='256'/><minus><rshift><var id='1'/><int val='6'/></rshift><band><rshift><var id='1'/><int val='6'/></rshift><minus><plus><int val='0'/><lshift><int val='1'/><int val='16'/></lshift></plus><int val='256'/></minus></band></minus></minus></times><int val='8'/></rshift></minus></times></ofIntAny><andel><var id='4'/></andel></andi></andi></lm></impi></andi></lm></impi></andi></lm></impi></andi></lm></impi><impi><lm><var id='9'/><pf><eq><band><rshift><var id='1'/><int val='6'/></rshift><minus><plus><int val='0'/><lshift><int val='1'/><int val='16'/></lshift></plus><int val='256'/></minus></band><int val='0'/></eq></pf><andi><ofIntAny><times><var id='3'/><minus><int val='256'/><var id='2'/></minus></times></ofIntAny><andi><ofIntAny><times><var id='3'/><minus><int val='256'/><rshift><times><var id='2'/><minus><int val='256'/><minus><rshift><var id='1'/><int val='6'/></rshift><band><rshift><var id='1'/><int val='6'/></rshift><minus><plus><int val='0'/><lshift><int val='1'/><int val='16'/></lshift></plus><int val='256'/></minus></band></minus></minus></times><int val='8'/></rshift></minus></times></ofIntAny><andel><var id='4'/></andel></andi></andi></lm></impi></andi></lm></impi></andi></lm></impi></andi></lm></impi><impi><lm><var id='6'/><pf><eq><var id='2'/><int val='0'/></eq></pf><andi><andel><var id='4'/></andel><andi><andel><var id='4'/></andel><andel><var id='4'/></andel></andi></andi></lm></impi></andi></lm></impi><impi><lm><var id='5'/><pf><eq><plus><var id='1'/><int val='1'/></plus><int val='0'/></eq></pf><andi><andel><var id='4'/></andel><andi><andel><var id='4'/></andel><andel><var id='4'/></andel></andi></andi></lm></impi></andi></lm></impi></lm></alli></lm></alli></lm></alli></proof>
<proof name="rgb2hsv" ><alli><lm><var id='1'/><exp/><alli><lm><var id='2'/><exp/><alli><lm><var id='3'/><exp/><impi><lm><var id='4'/><pf><and><of><var id='3'/><int/></of><and><of><var id='2'/><int/></of><of><var id='1'/><int/></of></and></and></pf><andi><impi><lm><var id='5'/><pf><geeq><minus><var id='1'/><var id='2'/></minus><int val='0'/></geeq></pf><andi><impi><lm><var id='6'/><pf><geeq><minus><var id='1'/><var id='3'/></minus><int val='0'/></geeq></pf><andi><impi><lm><var id='7'/><pf><geeq><minus><var id='2'/><var id='1'/></minus><int val='0'/></geeq></pf><andi><impi><lm><var id='8'/><pf><le><minus><var id='3'/><var id='1'/></minus><int val='0'/></le></pf><andi><impi><lm><var id='9'/><pf><neq><var id='1'/><int val='0'/></neq></pf><andi><impi><lm><var id='10'/><pf><le><times><minus><minus><var id='1'/><var id='3'/></minus><minus><var id='1'/><var id='2'/></minus></minus><int val='60'/></times><int val='0'/></le></pf><falsee><geqLt_FI><ltgeq><var id='10'/></ltgeq><geqtimesi><plus><times><minus><minus><var id='1'/><var id='3'/></minus><minus><var id='1'/><var id='2'/></minus></minus><int val='60'/></times><int val='1'/></plus><plus><int val='0'/><int val='1'/></plus><int val='~59'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='60'/><ltgeq><var id='8'/></ltgeq><geqtimesgeeq><int val='60'/><var id='7'/><geq0/></geqtimesgeeq></geqtimesgeeq></geqtimesi></geqLt_FI></falsee></lm></impi><impi><lm><var id='10'/><pf><geeq><times><minus><minus><var id='1'/><var id='3'/></minus><minus><var id='1'/><var id='2'/></minus></minus><int val='60'/></times><int val='0'/></geeq></pf><andi><ander><ander><var id='4'/></ander></ander><andi><ofIntAny><minus><var id='1'/><var id='3'/></minus></ofIntAny><ofIntAny><times><minus><minus><var id='1'/><var id='3'/></minus><minus><var id='1'/><var id='2'/></minus></minus><int val='60'/></times></ofIntAny></andi></andi></lm></impi></andi></lm></impi><impi><lm><var id='9'/><pf><eq><var id='1'/><int val='0'/></eq></pf><andi><ander><ander><var id='4'/></ander></ander><andi><btr><ander><ander><var id='4'/></ander></ander><beqtr><of><var id='2'/><int/></of><eqsimof><eqtr><var id='1'/><eqsym><var id='9'/></eqsym><eqsym><eqtimesi><var id='2'/><var id='1'/><int val='1'/><eqCheck/><eqCheck/><geqtimesgeeq><int val='1'/><var id='7'/><geq0/></geqtimesgeeq><geqtimesgeeq><int val='1'/><var id='5'/><geq0/></geqtimesgeeq><eq0/></eqtimesi></eqsym></eqtr><eqid><int/></eqid></eqsimof><eqsimof><eqtimesi><var id='2'/><var id='1'/><int val='1'/><eqCheck/><eqCheck/><geqtimesgeeq><int val='1'/><var id='7'/><geq0/></geqtimesgeeq><geqtimesgeeq><int val='1'/><var id='5'/><geq0/></geqtimesgeeq><eq0/></eqtimesi><eqid><int/></eqid></eqsimof></beqtr></btr><ofIntAny><int val='~1'/></ofIntAny></andi></andi></lm></impi></andi></lm></impi><impi><lm><var id='8'/><pf><geeq><minus><var id='3'/><var id='1'/></minus><int val='0'/></geeq></pf><andi><ander><ander><var id='4'/></ander></ander><andi><ofIntAny><int val='0'/></ofIntAny><ofIntAny><int val='~1'/></ofIntAny></andi></andi></lm></impi></andi></lm></impi><impi><lm><var id='7'/><pf><le><minus><var id='2'/><var id='1'/></minus><int val='0'/></le></pf><andi><impi><lm><var id='8'/><pf><geeq><minus><var id='3'/><var id='2'/></minus><int val='0'/></geeq></pf><andi><impi><lm><var id='9'/><pf><neq><var id='1'/><int val='0'/></neq></pf><andi><impi><lm><var id='10'/><pf><le><times><minus><minus><var id='1'/><var id='3'/></minus><minus><var id='1'/><var id='2'/></minus></minus><int val='60'/></times><int val='0'/></le></pf><andi><ander><ander><var id='4'/></ander></ander><andi><ofIntAny><minus><var id='1'/><var id='2'/></minus></ofIntAny><ofIntAny><plus><times><minus><minus><var id='1'/><var id='3'/></minus><minus><var id='1'/><var id='2'/></minus></minus><int val='60'/></times><int val='360'/></plus></ofIntAny></andi></andi></lm></impi><impi><lm><var id='10'/><pf><geeq><times><minus><minus><var id='1'/><var id='3'/></minus><minus><var id='1'/><var id='2'/></minus></minus><int val='60'/></times><int val='0'/></geeq></pf><andi><ander><ander><var id='4'/></ander></ander><andi><ofIntAny><minus><var id='1'/><var id='2'/></minus></ofIntAny><ofIntAny><times><minus><minus><var id='1'/><var id='3'/></minus><minus><var id='1'/><var id='2'/></minus></minus><int val='60'/></times></ofIntAny></andi></andi></lm></impi></andi></lm></impi><impi><lm><var id='9'/><pf><eq><var id='1'/><int val='0'/></eq></pf><andi><ander><ander><var id='4'/></ander></ander><andi><btr><ander><ander><var id='4'/></ander></ander><beqsym><eqsimof><var id='9'/><eqid><int/></eqid></eqsimof></beqsym></btr><ofIntAny><int val='~1'/></ofIntAny></andi></andi></lm></impi></andi></lm></impi><impi><lm><var id='8'/><pf><le><minus><var id='3'/><var id='2'/></minus><int val='0'/></le></pf><andi><impi><lm><var id='9'/><pf><neq><var id='1'/><int val='0'/></neq></pf><andi><impi><lm><var id='10'/><pf><le><times><minus><minus><var id='1'/><var id='3'/></minus><minus><var id='1'/><var id='2'/></minus></minus><int val='60'/></times><int val='0'/></le></pf><falsee><geqLt_FI><ltgeq><var id='10'/></ltgeq><geqtimesi><plus><times><minus><minus><var id='1'/><var id='3'/></minus><minus><var id='1'/><var id='2'/></minus></minus><int val='60'/></times><int val='1'/></plus><plus><int val='0'/><int val='1'/></plus><int val='~59'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='60'/><ltgeq><var id='8'/></ltgeq><geq0/></geqtimesgeeq></geqtimesi></geqLt_FI></falsee></lm></impi><impi><lm><var id='10'/><pf><geeq><times><minus><minus><var id='1'/><var id='3'/></minus><minus><var id='1'/><var id='2'/></minus></minus><int val='60'/></times><int val='0'/></geeq></pf><andi><ander><ander><var id='4'/></ander></ander><andi><ofIntAny><minus><var id='1'/><var id='3'/></minus></ofIntAny><ofIntAny><times><minus><minus><var id='1'/><var id='3'/></minus><minus><var id='1'/><var id='2'/></minus></minus><int val='60'/></times></ofIntAny></andi></andi></lm></impi></andi></lm></impi><impi><lm><var id='9'/><pf><eq><var id='1'/><int val='0'/></eq></pf><andi><ander><ander><var id='4'/></ander></ander><andi><btr><ander><ander><var id='4'/></ander></ander><eqsimof><eqsym><var id='9'/></eqsym><eqid><int/></eqid></eqsimof></btr><ofIntAny><int val='~1'/></ofIntAny></andi></andi></lm></impi></andi></lm></impi></andi></lm></impi></andi></lm></impi><impi><lm><var id='6'/><pf><le><minus><var id='1'/><var id='3'/></minus><int val='0'/></le></pf><andi><impi><lm><var id='7'/><pf><le><minus><var id='2'/><var id='1'/></minus><int val='0'/></le></pf><andi><impi><lm><var id='8'/><pf><neq><var id='3'/><int val='0'/></neq></pf><andi><impi><lm><var id='9'/><pf><le><times><minus><plus><minus><var id='3'/><var id='2'/></minus><int val='4'/></plus><minus><var id='3'/><var id='1'/></minus></minus><int val='60'/></times><int val='0'/></le></pf><falsee><geqLt_FI><ltgeq><var id='9'/></ltgeq><geqtimesi><plus><times><minus><plus><minus><var id='3'/><var id='2'/></minus><int val='4'/></plus><minus><var id='3'/><var id='1'/></minus></minus><int val='60'/></times><int val='1'/></plus><plus><int val='0'/><int val='1'/></plus><int val='~299'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='60'/><ltgeq><var id='7'/></ltgeq><geq0/></geqtimesgeeq></geqtimesi></geqLt_FI></falsee></lm></impi><impi><lm><var id='9'/><pf><geeq><times><minus><plus><minus><var id='3'/><var id='2'/></minus><int val='4'/></plus><minus><var id='3'/><var id='1'/></minus></minus><int val='60'/></times><int val='0'/></geeq></pf><andi><andel><var id='4'/></andel><andi><ofIntAny><minus><var id='3'/><var id='2'/></minus></ofIntAny><ofIntAny><times><minus><plus><minus><var id='3'/><var id='2'/></minus><int val='4'/></plus><minus><var id='3'/><var id='1'/></minus></minus><int val='60'/></times></ofIntAny></andi></andi></lm></impi></andi></lm></impi><impi><lm><var id='8'/><pf><eq><var id='3'/><int val='0'/></eq></pf><andi><andel><var id='4'/></andel><andi><btr><andel><var id='4'/></andel><beqsym><eqsimof><var id='8'/><eqid><int/></eqid></eqsimof></beqsym></btr><ofIntAny><int val='~1'/></ofIntAny></andi></andi></lm></impi></andi></lm></impi><impi><lm><var id='7'/><pf><geeq><minus><var id='2'/><var id='1'/></minus><int val='0'/></geeq></pf><andi><impi><lm><var id='8'/><pf><neq><var id='3'/><int val='0'/></neq></pf><andi><impi><lm><var id='9'/><pf><le><times><minus><plus><minus><var id='3'/><var id='2'/></minus><int val='4'/></plus><minus><var id='3'/><var id='1'/></minus></minus><int val='60'/></times><int val='0'/></le></pf><falsee><geqLt_FI><ltgeq><var id='9'/></ltgeq><geqtimesi><plus><times><minus><plus><minus><var id='3'/><var id='2'/></minus><int val='4'/></plus><minus><var id='3'/><var id='1'/></minus></minus><int val='60'/></times><int val='1'/></plus><plus><int val='0'/><int val='1'/></plus><int val='~239'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='60'/><var id='5'/><geq0/></geqtimesgeeq></geqtimesi></geqLt_FI></falsee></lm></impi><impi><lm><var id='9'/><pf><geeq><times><minus><plus><minus><var id='3'/><var id='2'/></minus><int val='4'/></plus><minus><var id='3'/><var id='1'/></minus></minus><int val='60'/></times><int val='0'/></geeq></pf><andi><andel><var id='4'/></andel><andi><ofIntAny><minus><var id='3'/><var id='1'/></minus></ofIntAny><ofIntAny><times><minus><plus><minus><var id='3'/><var id='2'/></minus><int val='4'/></plus><minus><var id='3'/><var id='1'/></minus></minus><int val='60'/></times></ofIntAny></andi></andi></lm></impi></andi></lm></impi><impi><lm><var id='8'/><pf><eq><var id='3'/><int val='0'/></eq></pf><andi><andel><var id='4'/></andel><andi><btr><andel><var id='4'/></andel><beqsym><eqsimof><var id='8'/><eqid><int/></eqid></eqsimof></beqsym></btr><ofIntAny><int val='~1'/></ofIntAny></andi></andi></lm></impi></andi></lm></impi></andi></lm></impi></andi></lm></impi><impi><lm><var id='5'/><pf><le><minus><var id='1'/><var id='2'/></minus><int val='0'/></le></pf><andi><impi><lm><var id='6'/><pf><geeq><minus><var id='2'/><var id='3'/></minus><int val='0'/></geeq></pf><andi><impi><lm><var id='7'/><pf><geeq><minus><var id='3'/><var id='1'/></minus><int val='0'/></geeq></pf><andi><impi><lm><var id='8'/><pf><neq><var id='2'/><int val='0'/></neq></pf><andi><impi><lm><var id='9'/><pf><le><plus><int val='0'/><times><minus><times><minus><plus><minus><var id='2'/><var id='1'/></minus><int val='2'/></plus><minus><var id='2'/><var id='3'/></minus></minus><int val='16'/></times><minus><plus><minus><var id='2'/><var id='1'/></minus><int val='2'/></plus><minus><var id='2'/><var id='3'/></minus></minus></minus><int val='4'/></times></plus><int val='0'/></le></pf><falsee><geqLt_FI><ltgeq><var id='9'/></ltgeq><geqtimesi><plus><plus><int val='0'/><times><minus><times><minus><plus><minus><var id='2'/><var id='1'/></minus><int val='2'/></plus><minus><var id='2'/><var id='3'/></minus></minus><int val='16'/></times><minus><plus><minus><var id='2'/><var id='1'/></minus><int val='2'/></plus><minus><var id='2'/><var id='3'/></minus></minus></minus><int val='4'/></times></plus><int val='1'/></plus><plus><int val='0'/><int val='1'/></plus><int val='~119'/><int val='1'/><eqCheck/><geqtimesgeeq><int val='60'/><var id='7'/><geq0/></geqtimesgeeq></geqtimesi></geqLt_FI></falsee></lm></impi><impi><lm><var id='9'/><pf><geeq><plus><int val='0'/><times><minus><times><minus><plus><minus><var id='2'/><var id='1'/></minus><int val='2'/></plus><minus><var id='2'/><var id='3'/></minus></minus><int val='16'/></times><minus><plus><minus><var id='2'/><var id='1'/></minus><int val='2'/></plus><minus><var id='2'/><var id='3'/></minus></minus></minus><int val='4'/></times></plus><int val='0'/></geeq></pf><andi><andel><ander><var id='4'/></ander></andel><andi><ofIntAny><minus><var id='2'/><var id='1'/></minus></ofIntAny><ofIntAny><plus><int val='0'/><times><minus><times><minus><plus><minus><var id='2'/><var id='1'/></minus><int val='2'/></plus><minus><var id='2'/><var id='3'/></minus></minus><int val='16'/></times><minus><plus><minus><var id='2'/><var id='1'/></minus><int val='2'/></plus><minus><var id='2'/><var id='3'/></minus></minus></minus><int val='4'/></times></plus></ofIntAny></andi></andi></lm></impi></andi></lm></impi><impi><lm><var id='8'/><pf><eq><var id='2'/><int val='0'/></eq></pf><andi><andel><ander><var id='4'/></ander></andel><andi><btr><andel><ander><var id='4'/></ander></andel><beqsym><eqsimof><var id='8'/><eqid><int/></eqid></eqsimof></beqsym></btr><ofIntAny><int val='~1'/></ofIntAny></andi></andi></lm></impi></andi></lm></impi><impi><lm><var id='7'/><pf><le><minus><var id='3'/><var id='1'/></minus><int val='0'/></le></pf><andi><impi><lm><var id='8'/><pf><neq><var id='2'/><int val='0'/></neq></pf><andi><impi><lm><var id='9'/><pf><le><plus><int val='0'/><times><minus><times><minus><plus><minus><var id='2'/><var id='1'/></minus><int val='2'/></plus><minus><var id='2'/><var id='3'/></minus></minus><int val='16'/></times><minus><plus><minus><var id='2'/><var id='1'/></minus><int val='2'/></plus><minus><var id='2'/><var id='3'/></minus></minus></minus><int val='4'/></times></plus><int val='0'/></le></pf><andi><andel><ander><var id='4'/></ander></andel><andi><ofIntAny><minus><var id='2'/><var id='3'/></minus></ofIntAny><ofIntAny><plus><plus><int val='0'/><times><minus><times><minus><plus><minus><var id='2'/><var id='1'/></minus><int val='2'/></plus><minus><var id='2'/><var id='3'/></minus></minus><int val='16'/></times><minus><plus><minus><var id='2'/><var id='1'/></minus><int val='2'/></plus><minus><var id='2'/><var id='3'/></minus></minus></minus><int val='4'/></times></plus><int val='360'/></plus></ofIntAny></andi></andi></lm></impi><impi><lm><var id='9'/><pf><geeq><plus><int val='0'/><times><minus><times><minus><plus><minus><var id='2'/><var id='1'/></minus><int val='2'/></plus><minus><var id='2'/><var id='3'/></minus></minus><int val='16'/></times><minus><plus><minus><var id='2'/><var id='1'/></minus><int val='2'/></plus><minus><var id='2'/><var id='3'/></minus></minus></minus><int val='4'/></times></plus><int val='0'/></geeq></pf><andi><andel><ander><var id='4'/></ander></andel><andi><ofIntAny><minus><var id='2'/><var id='3'/></minus></ofIntAny><ofIntAny><plus><int val='0'/><times><minus><times><minus><plus><minus><var id='2'/><var id='1'/></minus><int val='2'/></plus><minus><var id='2'/><var id='3'/></minus></minus><int val='16'/></times><minus><plus><minus><var id='2'/><var id='1'/></minus><int val='2'/></plus><minus><var id='2'/><var id='3'/></minus></minus></minus><int val='4'/></times></plus></ofIntAny></andi></andi></lm></impi></andi></lm></impi><impi><lm><var id='8'/><pf><eq><var id='2'/><int val='0'/></eq></pf><andi><andel><ander><var id='4'/></ander></andel><andi><btr><andel><ander><var id='4'/></ander></andel><beqsym><eqsimof><var id='8'/><eqid><int/></eqid></eqsimof></beqsym></btr><ofIntAny><int val='~1'/></ofIntAny></andi></andi></lm></impi></andi></lm></impi></andi></lm></impi><impi><lm><var id='6'/><pf><le><minus><var id='2'/><var id='3'/></minus><int val='0'/></le></pf><andi><impi><lm><var id='7'/><pf><neq><var id='3'/><int val='0'/></neq></pf><andi><impi><lm><var id='8'/><pf><le><times><minus><plus><minus><var id='3'/><var id='2'/></minus><int val='4'/></plus><minus><var id='3'/><var id='1'/></minus></minus><int val='60'/></times><int val='0'/></le></pf><andi><andel><var id='4'/></andel><andi><ofIntAny><minus><var id='3'/><var id='1'/></minus></ofIntAny><ofIntAny><plus><times><minus><plus><minus><var id='3'/><var id='2'/></minus><int val='4'/></plus><minus><var id='3'/><var id='1'/></minus></minus><int val='60'/></times><int val='360'/></plus></ofIntAny></andi></andi></lm></impi><impi><lm><var id='8'/><pf><geeq><times><minus><plus><minus><var id='3'/><var id='2'/></minus><int val='4'/></plus><minus><var id='3'/><var id='1'/></minus></minus><int val='60'/></times><int val='0'/></geeq></pf><andi><andel><var id='4'/></andel><andi><ofIntAny><minus><var id='3'/><var id='1'/></minus></ofIntAny><ofIntAny><times><minus><plus><minus><var id='3'/><var id='2'/></minus><int val='4'/></plus><minus><var id='3'/><var id='1'/></minus></minus><int val='60'/></times></ofIntAny></andi></andi></lm></impi></andi></lm></impi><impi><lm><var id='7'/><pf><eq><var id='3'/><int val='0'/></eq></pf><andi><andel><var id='4'/></andel><andi><btr><andel><var id='4'/></andel><beqsym><eqsimof><var id='7'/><eqid><int/></eqid></eqsimof></beqsym></btr><ofIntAny><int val='~1'/></ofIntAny></andi></andi></lm></impi></andi></lm></impi></andi></lm></impi></andi></lm></impi></lm></alli></lm></alli></lm></alli></proof>
<proof name="getDimensions" ><alli><lm><var id='1'/><exp/><alli><lm><var id='2'/><exp/><impi><lm><var id='3'/><pf><of><var id='2'/><array><rw/><int/><int val='12'/></array></of></pf><andi><andi><safeWr><ofIntAny><int val='0'/></ofIntAny><eqid><plus><var id='2'/><int val='4'/></plus></eqid><fo10><szint/></fo10><aICt><int val='4'/><int val='0'/><geqCheck><int val='12'/><int val='4'/><int val='~8'/></geqCheck></aICt><var id='3'/></safeWr><safeWr><ofIntAny><int val='0'/></ofIntAny><eqCheck><var id='2'/><plus><var id='2'/><int val='0'/></plus></eqCheck><fo10><szint/></fo10><aICt><int val='4'/><int val='0'/><geqCheck><int val='12'/><int val='0'/><int val='~12'/></geqCheck></aICt><var id='3'/></safeWr></andi><andi><safeWr><ofIntAny><int val='0'/></ofIntAny><eqid><plus><var id='2'/><int val='8'/></plus></eqid><fo10><szint/></fo10><aICt><int val='4'/><int val='0'/><geqCheck><int val='12'/><int val='8'/><int val='~4'/></geqCheck></aICt><var id='3'/></safeWr><safeWr><ofIntAny><int val='0'/></ofIntAny><eqid><plus><var id='2'/><int val='12'/></plus></eqid><fo10><szint/></fo10><aICt><int val='4'/><int val='0'/><geqCheck><int val='12'/><int val='12'/><int val='0'/></geqCheck></aICt><var id='3'/></safeWr></andi></andi></lm></impi></lm></alli></lm></alli></proof>
</proofs>