S. Figure, Lithology dependent porosity-depth functions used for sediment compaction
, Basement-derived rocks are assumed to have constant porosity