u0(b_0, track_0_target, track_0_anyfour1, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime) :- b_0=0, track_0_target=0, track_0_anyfour1=0, track_0_SUPER_ROLE=0, track_0_ToCheckRole=0, track_0_TargetPrime=0. u1(b_1, track_1_target, track_1_anyfour1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime) :- b_1=0, track_1_target=0, track_1_anyfour1=0, track_1_SUPER_ROLE=0, track_1_ToCheckRole=0, track_1_TargetPrime=0. u0(b_0_1, track_0_target, track_0_anyfour1, track_0_SUPER_ROLE_1, track_0_ToCheckRole_1, track_0_TargetPrime) :- u0(b_0, track_0_target, track_0_anyfour1, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime), b_0=0, b_0_1=1, track_0_target=0, track_0_anyfour1=0, track_0_SUPER_ROLE=0, track_0_SUPER_ROLE_1=1, track_0_ToCheckRole=0, track_0_ToCheckRole_1=1, track_0_TargetPrime=0. u1(b_1_1, track_1_target, track_1_anyfour1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime) :- u1(b_1, track_1_target, track_1_anyfour1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime), b_1=0, b_1_1=1, track_1_target=0, track_1_anyfour1=0, track_1_SUPER_ROLE=0, track_1_ToCheckRole=0, track_1_TargetPrime=0. u0(b_0, track_0_target, track_0_anyfour1_1, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime) :- u0(b_0, track_0_target, track_0_anyfour1, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime), b_0=1, track_0_SUPER_ROLE=1, u0(b_0, track_0_target, track_0_anyfour1, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime), b0=1, track_0_anyfour1_1=1. u0(b_0, track_0_target, track_0_anyfour1_1, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime) :- u1(b_1, track_1_target, track_1_anyfour1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime), b_1=1, track_1_SUPER_ROLE=1, u0(b_0, track_0_target, track_0_anyfour1, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime), b0=1, track_0_anyfour1_1=1. u1(b_1, track_1_target, track_1_anyfour1_1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime) :- u0(b_0, track_0_target, track_0_anyfour1, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime), b_0=1, track_0_SUPER_ROLE=1, u1(b_1, track_1_target, track_1_anyfour1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime), b1=1, track_1_anyfour1_1=1. u1(b_1, track_1_target, track_1_anyfour1_1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime) :- u1(b_1, track_1_target, track_1_anyfour1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime), b_1=1, track_1_SUPER_ROLE=1, u1(b_1, track_1_target, track_1_anyfour1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime), b1=1, track_1_anyfour1_1=1. u0(b_0, track_0_target_1, track_0_anyfour1, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime) :- u0(b_0, track_0_target, track_0_anyfour1, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime), b_0=1, track_0_SUPER_ROLE=1, u0(b_0, track_0_target, track_0_anyfour1, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime), b0=1, track_0_target_1=1, track_0_anyfour1=1. u0(b_0, track_0_target_1, track_0_anyfour1, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime) :- u1(b_1, track_1_target, track_1_anyfour1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime), b_1=1, track_1_SUPER_ROLE=1, u0(b_0, track_0_target, track_0_anyfour1, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime), b0=1, track_0_target_1=1, track_0_anyfour1=1. u1(b_1, track_1_target_1, track_1_anyfour1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime) :- u0(b_0, track_0_target, track_0_anyfour1, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime), b_0=1, track_0_SUPER_ROLE=1, u1(b_1, track_1_target, track_1_anyfour1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime), b1=1, track_1_target_1=1, track_1_anyfour1=1. u1(b_1, track_1_target_1, track_1_anyfour1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime) :- u1(b_1, track_1_target, track_1_anyfour1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime), b_1=1, track_1_SUPER_ROLE=1, u1(b_1, track_1_target, track_1_anyfour1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime), b1=1, track_1_target_1=1, track_1_anyfour1=1. u0(b_0, track_0_target, track_0_anyfour1, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime_1) :- u0(b_0, track_0_target, track_0_anyfour1, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime), b_0=1, track_0_ToCheckRole=1, u0(b_0, track_0_target, track_0_anyfour1, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime), b0=1, track_0_target=1, track_0_ToCheckRole=1, track_0_TargetPrime_1=1. u0(b_0, track_0_target, track_0_anyfour1, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime_1) :- u1(b_1, track_1_target, track_1_anyfour1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime), b_1=1, track_1_ToCheckRole=1, u0(b_0, track_0_target, track_0_anyfour1, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime), b0=1, track_0_target=1, track_0_ToCheckRole=1, track_0_TargetPrime_1=1. u1(b_1, track_1_target, track_1_anyfour1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime_1) :- u0(b_0, track_0_target, track_0_anyfour1, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime), b_0=1, track_0_ToCheckRole=1, u1(b_1, track_1_target, track_1_anyfour1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime), b1=1, track_1_target=1, track_1_ToCheckRole=1, track_1_TargetPrime_1=1. u1(b_1, track_1_target, track_1_anyfour1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime_1) :- u1(b_1, track_1_target, track_1_anyfour1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime), b_1=1, track_1_ToCheckRole=1, u1(b_1, track_1_target, track_1_anyfour1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime), b1=1, track_1_target=1, track_1_ToCheckRole=1, track_1_TargetPrime_1=1. false :- u0(b_0, track_0_target, track_0_anyfour1, track_0_SUPER_ROLE, track_0_ToCheckRole, track_0_TargetPrime), b_0=1, track_0_TargetPrime=1. false :- u1(b_1, track_1_target, track_1_anyfour1, track_1_SUPER_ROLE, track_1_ToCheckRole, track_1_TargetPrime), b_1=1, track_1_TargetPrime=1.