var a01344 = [ [ "_OSTREAM_TCC", "a01344.html#a7c3faff2b097f6f17876b670f86c831e", null ], [ "operator<<", "a01344.html#aa6c746960bcd91f0e547628fb5f04cde", null ] ];
var a01344 = [ [ "_OSTREAM_TCC", "a01344.html#a7c3faff2b097f6f17876b670f86c831e", null ], [ "operator<<", "a01344.html#aa6c746960bcd91f0e547628fb5f04cde", null ] ];