var a01456 = [ [ "bidirectional_iterator_tag", "a06597.html", null ], [ "forward_iterator_tag", "a06593.html", null ], [ "input_iterator_tag", "a06585.html", null ], [ "output_iterator_tag", "a06589.html", null ], [ "random_access_iterator_tag", "a06601.html", null ] ];