1: Smoothed Analysis of Interior-Point Algorithms: Termination 2: PHORMA: Perfectly Hashable Order Restricted Multidimensional Arrays