Wow, Arvid, very nice!
It seems like you pause a long time between solving pairs. I'm sure I don't pause that long between pairs, yet my best is only a few seconds faster than this. It seems like you could easily be sub-5 if you could cut down on the pauses in execution.