An analysis of deepseek's R1-Zero and R1