I made some progress, I think. I can distinguish library code from binary code. I know how the binary was compiled. I have identified the function that asks for some input. I have somehow reconstructed the first steps of the program.
Now I am stuck in what seems to be a very long loop. Letting the loop evolve until the end probably leads to an infinite loop. I don’t understand how to force divertion to a more interesting location (that I might have found). Could someone shed some light on this aspect?