u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE) :- _b_0=0, _track_0_Patient=0, _track_0_PrimaryDoctor=0, _track_0_target=0, _track_0_SUPER_ROLE=0. u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE) :- _b_1=0, _track_1_Patient=0, _track_1_PrimaryDoctor=0, _track_1_target=0, _track_1_SUPER_ROLE=0. u0(_b_0_1, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE) :- u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b_0=0, _b_0_1=1, _track_0_Patient=0, _track_0_PrimaryDoctor=0, _track_0_target=0, _track_0_SUPER_ROLE=0. u1(_b_1_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE) :- u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b_1=0, _b_1_1=1, _track_1_Patient=0, _track_1_PrimaryDoctor=0, _track_1_target=0, _track_1_SUPER_ROLE=0. u0(_b_0_1, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE) :- u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b_0=0, _b_0_1=1, _track_0_Patient=0, _track_0_PrimaryDoctor=0, _track_0_target=0, _track_0_SUPER_ROLE=0. u1(_b_1_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE) :- u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b_1=0, _b_1_1=1, _track_1_Patient=0, _track_1_PrimaryDoctor=0, _track_1_target=0, _track_1_SUPER_ROLE=0. u0(_b_0_1, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE_1) :- u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b_0=0, _b_0_1=1, _track_0_Patient=0, _track_0_PrimaryDoctor=0, _track_0_target=0, _track_0_SUPER_ROLE=0, _track_0_SUPER_ROLE_1=1. u1(_b_1_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE_1) :- u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b_1=0, _b_1_1=1, _track_1_Patient=0, _track_1_PrimaryDoctor=0, _track_1_target=0, _track_1_SUPER_ROLE=0, _track_1_SUPER_ROLE_1=1. u0(_b_0_1, _track_0_Patient, _track_0_PrimaryDoctor_1, _track_0_target, _track_0_SUPER_ROLE) :- u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b_0=0, _b_0_1=1, _track_0_Patient=0, _track_0_PrimaryDoctor=0, _track_0_PrimaryDoctor_1=1, _track_0_target=0, _track_0_SUPER_ROLE=0. u1(_b_1_1, _track_1_Patient, _track_1_PrimaryDoctor_1, _track_1_target, _track_1_SUPER_ROLE) :- u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b_1=0, _b_1_1=1, _track_1_Patient=0, _track_1_PrimaryDoctor=0, _track_1_PrimaryDoctor_1=1, _track_1_target=0, _track_1_SUPER_ROLE=0. u0(_b_0_1, _track_0_Patient, _track_0_PrimaryDoctor_1, _track_0_target, _track_0_SUPER_ROLE) :- u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b_0=0, _b_0_1=1, _track_0_Patient=0, _track_0_PrimaryDoctor=0, _track_0_PrimaryDoctor_1=1, _track_0_target=0, _track_0_SUPER_ROLE=0. u1(_b_1_1, _track_1_Patient, _track_1_PrimaryDoctor_1, _track_1_target, _track_1_SUPER_ROLE) :- u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b_1=0, _b_1_1=1, _track_1_Patient=0, _track_1_PrimaryDoctor=0, _track_1_PrimaryDoctor_1=1, _track_1_target=0, _track_1_SUPER_ROLE=0. u0(_b_0_1, _track_0_Patient_1, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE) :- u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b_0=0, _b_0_1=1, _track_0_Patient=0, _track_0_Patient_1=1, _track_0_PrimaryDoctor=0, _track_0_target=0, _track_0_SUPER_ROLE=0. u1(_b_1_1, _track_1_Patient_1, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE) :- u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b_1=0, _b_1_1=1, _track_1_Patient=0, _track_1_Patient_1=1, _track_1_PrimaryDoctor=0, _track_1_target=0, _track_1_SUPER_ROLE=0. u0(_b_0_1, _track_0_Patient_1, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE) :- u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b_0=0, _b_0_1=1, _track_0_Patient=0, _track_0_Patient_1=1, _track_0_PrimaryDoctor=0, _track_0_target=0, _track_0_SUPER_ROLE=0. u1(_b_1_1, _track_1_Patient_1, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE) :- u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b_1=0, _b_1_1=1, _track_1_Patient=0, _track_1_Patient_1=1, _track_1_PrimaryDoctor=0, _track_1_target=0, _track_1_SUPER_ROLE=0. u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target_1, _track_0_SUPER_ROLE) :- u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b_0=1, _track_0_SUPER_ROLE=1, u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b0=1, _track_0_Patient=1, _track_0_PrimaryDoctor=1, _track_0_target_1=1. u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target_1, _track_0_SUPER_ROLE) :- u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b_1=1, _track_1_SUPER_ROLE=1, u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b0=1, _track_0_Patient=1, _track_0_PrimaryDoctor=1, _track_0_target_1=1. u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target_1, _track_1_SUPER_ROLE) :- u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b_0=1, _track_0_SUPER_ROLE=1, u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b1=1, _track_1_Patient=1, _track_1_PrimaryDoctor=1, _track_1_target_1=1. u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target_1, _track_1_SUPER_ROLE) :- u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b_1=1, _track_1_SUPER_ROLE=1, u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b1=1, _track_1_Patient=1, _track_1_PrimaryDoctor=1, _track_1_target_1=1. u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor_1, _track_0_target, _track_0_SUPER_ROLE) :- u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b_0=1, _track_0_SUPER_ROLE=1, u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b0=1, _track_0_Patient=0, _track_0_PrimaryDoctor_1=1. u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor_1, _track_0_target, _track_0_SUPER_ROLE) :- u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b_1=1, _track_1_SUPER_ROLE=1, u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b0=1, _track_0_Patient=0, _track_0_PrimaryDoctor_1=1. u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor_1, _track_1_target, _track_1_SUPER_ROLE) :- u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b_0=1, _track_0_SUPER_ROLE=1, u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b1=1, _track_1_Patient=0, _track_1_PrimaryDoctor_1=1. u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor_1, _track_1_target, _track_1_SUPER_ROLE) :- u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b_1=1, _track_1_SUPER_ROLE=1, u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b1=1, _track_1_Patient=0, _track_1_PrimaryDoctor_1=1. u0(_b_0, _track_0_Patient_1, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE) :- u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b_0=1, _track_0_SUPER_ROLE=1, u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b0=1, _track_0_Patient_1=1, _track_0_PrimaryDoctor=0. u0(_b_0, _track_0_Patient_1, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE) :- u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b_1=1, _track_1_SUPER_ROLE=1, u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b0=1, _track_0_Patient_1=1, _track_0_PrimaryDoctor=0. u1(_b_1, _track_1_Patient_1, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE) :- u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b_0=1, _track_0_SUPER_ROLE=1, u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b1=1, _track_1_Patient_1=1, _track_1_PrimaryDoctor=0. u1(_b_1, _track_1_Patient_1, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE) :- u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b_1=1, _track_1_SUPER_ROLE=1, u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b1=1, _track_1_Patient_1=1, _track_1_PrimaryDoctor=0. u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor_1, _track_0_target, _track_0_SUPER_ROLE) :- u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b_0=1, _track_0_SUPER_ROLE=1, u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b0=1, _track_0_PrimaryDoctor=1, _track_0_PrimaryDoctor_1=0. u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor_1, _track_0_target, _track_0_SUPER_ROLE) :- u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b_1=1, _track_1_SUPER_ROLE=1, u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b0=1, _track_0_PrimaryDoctor=1, _track_0_PrimaryDoctor_1=0. u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor_1, _track_1_target, _track_1_SUPER_ROLE) :- u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b_0=1, _track_0_SUPER_ROLE=1, u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b1=1, _track_1_PrimaryDoctor=1, _track_1_PrimaryDoctor_1=0. u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor_1, _track_1_target, _track_1_SUPER_ROLE) :- u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b_1=1, _track_1_SUPER_ROLE=1, u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b1=1, _track_1_PrimaryDoctor=1, _track_1_PrimaryDoctor_1=0. u0(_b_0, _track_0_Patient_1, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE) :- u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b_0=1, _track_0_SUPER_ROLE=1, u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b0=1, _track_0_Patient=1, _track_0_Patient_1=0. u0(_b_0, _track_0_Patient_1, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE) :- u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b_1=1, _track_1_SUPER_ROLE=1, u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b0=1, _track_0_Patient=1, _track_0_Patient_1=0. u1(_b_1, _track_1_Patient_1, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE) :- u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b_0=1, _track_0_SUPER_ROLE=1, u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b1=1, _track_1_Patient=1, _track_1_Patient_1=0. u1(_b_1, _track_1_Patient_1, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE) :- u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b_1=1, _track_1_SUPER_ROLE=1, u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b1=1, _track_1_Patient=1, _track_1_Patient_1=0. false :- u0(_b_0, _track_0_Patient, _track_0_PrimaryDoctor, _track_0_target, _track_0_SUPER_ROLE), _b_0=1, _track_0_target=1. false :- u1(_b_1, _track_1_Patient, _track_1_PrimaryDoctor, _track_1_target, _track_1_SUPER_ROLE), _b_1=1, _track_1_target=1.