<TeXmacs|1.0.4.4>

<style|source>

<\body>
  <assign|proclus-dtd|1.0>

  <assign|decorate-action|<macro|x|y|<quasiquote|<style-with|src-compact|none|<datoms|<macro|x|<action|<arg|x>|<unquote|<arg|y>>>>|<with|color|black|<arg|x>>>>>>>

  <assign|proclus-type-list|<tuple>>

  <assign|proclus-type|<macro|type|<style-with|src-compact|none|<assign|proclus-type-list|<merge|<value|proclus-type-list>|<tuple|<arg|type>>>>>>>
</body>

<\initial>
  <\collection>
    <\associate|arch-tag>
      arch-tag: 97bfeb5d-e26a-49ff-beea-e9e06079eb16
    </associate>
    <associate|preamble|true>
  </collection>
</initial>