> <\body> >>> <\style-with|src-compact|none> ||>>>>> |state||item||>>>>> |3>|>>>>>>> >|:|||||1fn>>|>>>> >>> <\algo-indent> > \; > >> \; \; >> > > > >>>> \; |0>|if-extend-if||2>|1>|if-extend-block|||1>>|if-extend-else|if-extend-elseif>>|>>> > ||>>>> \; \; \; \; \; ||theorem-env|render-algorithm>>> <\padded-normal|1fn|1fn> |||||||||> >>>>> > >|figure-env>|-text>>|>>>>|>>|<\macro|caption|body> >>>||>||-text>>> >>>>|>|>>> >|*>>|<\macro|caption|body> >||-text>>>|>|>> >>> > \; <\initial> <\collection>