制約の複数の設定方法についてはoptistruct制約

load_colを確立し、カードがSPCADDを設定します。