Python solutions for some IEEEXtreme 8.0