S56.311S Strain of extensor or abductor muscles, fascia and tendons of right thumb at forearm level, sequela