Id	2001
Title	SPIN
Tags	implementation
Brief solution

time usage:0.139612