<<<>,
  <Map,
   <<Submap,
     <<Structure,
       <<leftb, "<", 1, 1>,
        <Structurelist,
         <<Structurelist,
           <<Structurelist, <<Structure, <<lmapstar, "*A", 1, 2>>>>>,
            <Structure,
             <<leftb, "<", 1, 5>,
              <Structurelist,
               <<Structurelist, <<Structure, <<ident, "space", 1, 6>>>>>,
                <Structure, <<lmapstar, "*B", 1, 12>>>>>,
              <rightb, ">", 1, 14>>>>>,
          <Structure, <<lmapstar, "*C", 1, 16>>>>>,
        <rightb, ">", 1, 18>>>,
      <mapsto, "=>", 1, 20>,
      <Structure,
       <<leftb, "<", 1, 23>,
        <Structurelist,
         <<Structurelist, <<Structure, <<lmapstar, "*A", 1, 24>>>>>,
          <Structure, <<lmapstar, "*C", 1, 27>>>>>,
        <rightb, ">", 1, 29>>>>>>>>,
 << <<>, <Map, <mapid, sub>>>, <Map, <mapid, sub>>>,
  < <Structurelist, <<Structurelist, <mapid, sub1>>>, <mapstar, sub2>>,
    <Structurelist, <mapid, sub1>, <mapstar, sub2>>>
 >>
