(BIN) lambda.fmt
 (BIN) omega.fmt
 (TXT) omega.pool