Semiclassical form factor for chaotic systems with spin