They are ready.
I solved div1 hard yesterday. Although it is probably not the easiest solution to explain. It took me very long to wrap everything it involves. This was long to write. I hope it is not a long boring read.
Div1 500 is a completely different story. I am still not sure how to solve it. I hope it doesn't take long.