package Ġio . spark led . persistence Ċ Ċ import Ġio . spark led . model . render . Rendered Sequence Ċ Ċ interface ĠFile Service Ġ{ ĊĠĠĠ Ġfun Ġinit () ĊĠĠĠ Ġfun Ġread Song Audio ( song Id : ĠInt ): ĠByteArray ĊĠĠĠ Ġfun Ġwrite Song Audio ( song Id : ĠInt , Ġaudio : ĠByteArray ) ĊĠĠĠ Ġfun Ġdelete Song Audio ( song Id : ĠInt ) ĊĠĠĠ Ġfun Ġread Render ( sequence Id : ĠInt ): ĠRender ed Sequence ĊĠĠĠ Ġfun Ġwrite Render ( sequence Id : ĠInt , Ġrender : ĠRender ed Sequence ) ĊĠĠĠ Ġfun Ġdelete Render ( sequence Id : ĠInt ) Ċ } Ċ