Update app.py

app.py

@@ -151,6 +151,8 @@ def find_midi(input_search_string):
     
     patches = [0 if x==-1 else x for x in patches]
 
+    song_f = song_f[:3000]
+
     print('=' * 70)
     
     #===============================================================================
@@ -261,7 +263,7 @@ if __name__ == "__main__":
         output_midi_caption = gr.Textbox(label="MIDI caption string")
         output_midi_summary = gr.Textbox(label="Aggregated MIDI file text metadata")
         output_midi_caps = gr.Textbox(label="MidiCaps dataset information")
-        output_audio = gr.Audio(label="Output MIDI audio", format="wav", elem_id="midi_audio")
+        output_audio = gr.Audio(label="Output MIDI audio", format="mp3", elem_id="midi_audio")
         output_plot = gr.Plot(label="Output MIDI score plot")
         output_midi = gr.File(label="Output MIDI file", file_types=[".mid"])