python3 <<'PY'
import urllib.request
u='https://chiptune.app/catalog/MIDI%20Datasets/PiJAMA/Erroll%20Garner/Afternoon%20Of%20An%20Elf/All%20My%20Loves%20Are%20You.mid'
r=urllib.request.Request(u,headers={'User-Agent':'Mozilla/5.0'})
b=urllib.request.urlopen(r).read()
i=22;t=0;q=500000;D=int.from_bytes(b[12:14],'big');r=0;N=[]
def vv():
 global i
 x=0
 while 1:
  c=b[i];i+=1;x=x*128+(c&127)
  if c<128:return x
while i<len(b):
 d=vv();t+=d*q/(D*1e6);c=b[i]
 if c<128:c=r
 else:i+=1;r=c
 if c==255:
  y=b[i];i+=1;l=vv()
  if y==81:q=int.from_bytes(b[i:i+3],'big')
  i+=l
 elif c in (240,247):l=vv();i+=l
 elif (c&240) in (192,208):i+=1
 else:
  p=b[i];z=b[i+1];i+=2
  if (c&240)==144 and z>0 and t>=38.5 and t<43.5:N.append((t,p,z))
print('division',D,'notes',len(N))
print(';'.join(f'{t:.3f} {p} v{z}' for t,p,z in N))
PY