u0(_b_0, _track_0_target, _track_0_anyfour1, _track_0_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime) :- _b_0=0, _track_0_target=0, _track_0_anyfour1=0, _track_0_anyfour2=0, _track_0_anyfour3=0, _track_0_anyfour4=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_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime) :- _b_1=0, _track_1_target=0, _track_1_anyfour1=0, _track_1_anyfour2=0, _track_1_anyfour3=0, _track_1_anyfour4=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_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _track_0_SUPER_ROLE_1, _track_0_ToCheckRole_1, _track_0_TargetPrime) :- u0(_b_0, _track_0_target, _track_0_anyfour1, _track_0_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _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_anyfour2=0, _track_0_anyfour3=0, _track_0_anyfour4=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_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime) :- u1(_b_1, _track_1_target, _track_1_anyfour1, _track_1_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _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_anyfour2=0, _track_1_anyfour3=0, _track_1_anyfour4=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_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime) :- u0(_b_0, _track_0_target, _track_0_anyfour1, _track_0_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _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_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _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_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime) :- u1(_b_1, _track_1_target, _track_1_anyfour1, _track_1_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _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_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _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_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime) :- u0(_b_0, _track_0_target, _track_0_anyfour1, _track_0_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _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_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _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_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime) :- u1(_b_1, _track_1_target, _track_1_anyfour1, _track_1_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _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_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime), _b1=1, _track_1_anyfour1_1=1. u0(_b_0, _track_0_target, _track_0_anyfour1, _track_0_anyfour2_1, _track_0_anyfour3, _track_0_anyfour4, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime) :- u0(_b_0, _track_0_target, _track_0_anyfour1, _track_0_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _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_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime), _b0=1, _track_0_anyfour2_1=1. u0(_b_0, _track_0_target, _track_0_anyfour1, _track_0_anyfour2_1, _track_0_anyfour3, _track_0_anyfour4, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime) :- u1(_b_1, _track_1_target, _track_1_anyfour1, _track_1_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _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_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime), _b0=1, _track_0_anyfour2_1=1. u1(_b_1, _track_1_target, _track_1_anyfour1, _track_1_anyfour2_1, _track_1_anyfour3, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime) :- u0(_b_0, _track_0_target, _track_0_anyfour1, _track_0_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _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_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime), _b1=1, _track_1_anyfour2_1=1. u1(_b_1, _track_1_target, _track_1_anyfour1, _track_1_anyfour2_1, _track_1_anyfour3, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime) :- u1(_b_1, _track_1_target, _track_1_anyfour1, _track_1_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _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_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime), _b1=1, _track_1_anyfour2_1=1. u0(_b_0, _track_0_target, _track_0_anyfour1, _track_0_anyfour2, _track_0_anyfour3_1, _track_0_anyfour4, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime) :- u0(_b_0, _track_0_target, _track_0_anyfour1, _track_0_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _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_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime), _b0=1, _track_0_anyfour3_1=1. u0(_b_0, _track_0_target, _track_0_anyfour1, _track_0_anyfour2, _track_0_anyfour3_1, _track_0_anyfour4, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime) :- u1(_b_1, _track_1_target, _track_1_anyfour1, _track_1_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _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_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime), _b0=1, _track_0_anyfour3_1=1. u1(_b_1, _track_1_target, _track_1_anyfour1, _track_1_anyfour2, _track_1_anyfour3_1, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime) :- u0(_b_0, _track_0_target, _track_0_anyfour1, _track_0_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _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_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime), _b1=1, _track_1_anyfour3_1=1. u1(_b_1, _track_1_target, _track_1_anyfour1, _track_1_anyfour2, _track_1_anyfour3_1, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime) :- u1(_b_1, _track_1_target, _track_1_anyfour1, _track_1_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _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_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime), _b1=1, _track_1_anyfour3_1=1. u0(_b_0, _track_0_target, _track_0_anyfour1, _track_0_anyfour2, _track_0_anyfour3, _track_0_anyfour4_1, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime) :- u0(_b_0, _track_0_target, _track_0_anyfour1, _track_0_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _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_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime), _b0=1, _track_0_anyfour4_1=1. u0(_b_0, _track_0_target, _track_0_anyfour1, _track_0_anyfour2, _track_0_anyfour3, _track_0_anyfour4_1, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime) :- u1(_b_1, _track_1_target, _track_1_anyfour1, _track_1_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _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_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime), _b0=1, _track_0_anyfour4_1=1. u1(_b_1, _track_1_target, _track_1_anyfour1, _track_1_anyfour2, _track_1_anyfour3, _track_1_anyfour4_1, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime) :- u0(_b_0, _track_0_target, _track_0_anyfour1, _track_0_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _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_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime), _b1=1, _track_1_anyfour4_1=1. u1(_b_1, _track_1_target, _track_1_anyfour1, _track_1_anyfour2, _track_1_anyfour3, _track_1_anyfour4_1, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime) :- u1(_b_1, _track_1_target, _track_1_anyfour1, _track_1_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _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_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime), _b1=1, _track_1_anyfour4_1=1. u0(_b_0, _track_0_target_1, _track_0_anyfour1, _track_0_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime) :- u0(_b_0, _track_0_target, _track_0_anyfour1, _track_0_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _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_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime), _b0=1, _track_0_target_1=1, _track_0_anyfour1=1, _track_0_anyfour2=1, _track_0_anyfour3=1, _track_0_anyfour4=1. u0(_b_0, _track_0_target_1, _track_0_anyfour1, _track_0_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime) :- u1(_b_1, _track_1_target, _track_1_anyfour1, _track_1_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _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_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime), _b0=1, _track_0_target_1=1, _track_0_anyfour1=1, _track_0_anyfour2=1, _track_0_anyfour3=1, _track_0_anyfour4=1. u1(_b_1, _track_1_target_1, _track_1_anyfour1, _track_1_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime) :- u0(_b_0, _track_0_target, _track_0_anyfour1, _track_0_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _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_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime), _b1=1, _track_1_target_1=1, _track_1_anyfour1=1, _track_1_anyfour2=1, _track_1_anyfour3=1, _track_1_anyfour4=1. u1(_b_1, _track_1_target_1, _track_1_anyfour1, _track_1_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime) :- u1(_b_1, _track_1_target, _track_1_anyfour1, _track_1_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _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_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime), _b1=1, _track_1_target_1=1, _track_1_anyfour1=1, _track_1_anyfour2=1, _track_1_anyfour3=1, _track_1_anyfour4=1. u0(_b_0, _track_0_target, _track_0_anyfour1, _track_0_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime_1) :- u0(_b_0, _track_0_target, _track_0_anyfour1, _track_0_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _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_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _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_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime_1) :- u1(_b_1, _track_1_target, _track_1_anyfour1, _track_1_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _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_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _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_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime_1) :- u0(_b_0, _track_0_target, _track_0_anyfour1, _track_0_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _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_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _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_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime_1) :- u1(_b_1, _track_1_target, _track_1_anyfour1, _track_1_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _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_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _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_anyfour2, _track_0_anyfour3, _track_0_anyfour4, _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_anyfour2, _track_1_anyfour3, _track_1_anyfour4, _track_1_SUPER_ROLE, _track_1_ToCheckRole, _track_1_TargetPrime), _b_1=1, _track_1_TargetPrime=1.