Proof of optimality for network sizes 10 and 11

[hoytech]

Just continuing my habit of abusing this issue tracker by dropping interesting articles :)

https://jix.one/proving-50-year-old-sorting-networks-optimal-part-1/ by @jix on github: https://github.com/jix/sortnetopt

Relevant to this repo, I like how he drew the "rounded brackets". My way of doing this was a total hack, that I have now in fact lost, but here was the output: https://hoytech.github.io/sorting-networks/#slide25

[jgamble]

Not an abuse at all, I welcome it.

I'm currently in the middle of refactoring a different project, but I promise, I do plan to address these issues when I'm done.