var a01477 = [ [ "basic_invalidation_guarantee", "a09857.html", null ], [ "point_invalidation_guarantee", "a09861.html", null ], [ "range_invalidation_guarantee", "a09865.html", null ] ];
var a01477 = [ [ "basic_invalidation_guarantee", "a09857.html", null ], [ "point_invalidation_guarantee", "a09861.html", null ], [ "range_invalidation_guarantee", "a09865.html", null ] ];