> OSO-18が

USO800ともしもBOXはどちらが優先されるのか

参考：2022/09/21(水)19時36分37秒