var a01742 = [ [ "basic_invalidation_guarantee", "a00191.html", null ], [ "point_invalidation_guarantee", "a00370.html", null ], [ "range_invalidation_guarantee", "a00374.html", null ] ];
var a01742 = [ [ "basic_invalidation_guarantee", "a00191.html", null ], [ "point_invalidation_guarantee", "a00370.html", null ], [ "range_invalidation_guarantee", "a00374.html", null ] ];