AlphaTensor
Loading legal operations system.