Subdivided mps into x00, x01, ..., x14
Added an f suffix after 64.0
Added #define assert(arg) and uncommented all assertions