Php Read Text File Into Array Definition Python