associativeJoinLawsHoldOverUpperSeeds

The same two laws over the upper half of the seed budget, seeds 8..15.

See associativeJoinLawsHoldOverLowerSeeds for both laws and for why they share one pass.