var a01319 = [ [ "_ISTREAM_TCC", "a01319.html#ad1ac6ea0c027f31cb087ac4ce4368066", null ], [ "operator>>", "a01319.html#a8f6ffa961cd02381c76b3d3345641f4d", null ], [ "operator>>", "a01319.html#afd645e31e415b300d870dba3de0af813", null ], [ "ws", "a01319.html#ad864c3d25c6f09088c3a6e8d22151a5d", null ] ];