var a01372 = [ [ "_Lexicographic", "a00135.html", "a00135" ], [ "_LexicographicReverse", "a00136.html", "a00136" ], [ "__S", "a01372.html#a3b62a50de6f447fc735249345ae3a3da", null ], [ "__S", "a01372.html#a3b62a50de6f447fc735249345ae3a3da", null ], [ "multiseq_partition", "a01372.html#ade1f4c5da0794c4f1a09465d4aee6c1d", null ], [ "multiseq_selection", "a01372.html#a68f665a2f83172d9e12b8332ce573d5d", null ] ];