Session 10B - Strong Average-Case Circuit Lower Bounds from Non-trivial Derandomization