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