var a00971 = [ [ "__parallel_unique_copy", "a00971.html#a15f31ee1c15e180d0d838571cd6c8b24", null ], [ "__parallel_unique_copy", "a00971.html#a3b3bd19508b4e34708a1dc647f5bc131", null ] ];
var a00971 = [ [ "__parallel_unique_copy", "a00971.html#a15f31ee1c15e180d0d838571cd6c8b24", null ], [ "__parallel_unique_copy", "a00971.html#a3b3bd19508b4e34708a1dc647f5bc131", null ] ];