MLI_TESTS.900 is test suite from Howard Thimbleby's paper tape collection and is the test battery he used to check his implementation, which is MLI version (AIG). Andrew Herbert 26 April 2015