var a01508 = [ [ "bidirectional_iterator_tag", "a07667.html", null ], [ "forward_iterator_tag", "a07663.html", null ], [ "input_iterator_tag", "a07655.html", null ], [ "output_iterator_tag", "a07659.html", null ], [ "random_access_iterator_tag", "a07671.html", null ] ];