The JSON format of Adagio's scores, the music score engraving library of Flat.io