pitched-brick vault (1000288993);