Файл XSB – чем открыть, описание формата