u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE) :- b_0=0, track_0_PatientWithTPC=0, track_0_ThirdParty=0, track_0_target=0, track_0_SUPER_ROLE=0. u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE) :- b_1=0, track_1_PatientWithTPC=0, track_1_ThirdParty=0, track_1_target=0, track_1_SUPER_ROLE=0. u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE) :- b_2=0, track_2_PatientWithTPC=0, track_2_ThirdParty=0, track_2_target=0, track_2_SUPER_ROLE=0. u0(b_0_1, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE) :- u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b_0=0, b_0_1=1, track_0_PatientWithTPC=0, track_0_ThirdParty=0, track_0_target=0, track_0_SUPER_ROLE=0. u1(b_1_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE) :- u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b_1=0, b_1_1=1, track_1_PatientWithTPC=0, track_1_ThirdParty=0, track_1_target=0, track_1_SUPER_ROLE=0. u2(b_2_1, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE) :- u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b_2=0, b_2_1=1, track_2_PatientWithTPC=0, track_2_ThirdParty=0, track_2_target=0, track_2_SUPER_ROLE=0. u0(b_0_1, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE) :- u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b_0=0, b_0_1=1, track_0_PatientWithTPC=0, track_0_ThirdParty=0, track_0_target=0, track_0_SUPER_ROLE=0. u1(b_1_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE) :- u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b_1=0, b_1_1=1, track_1_PatientWithTPC=0, track_1_ThirdParty=0, track_1_target=0, track_1_SUPER_ROLE=0. u2(b_2_1, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE) :- u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b_2=0, b_2_1=1, track_2_PatientWithTPC=0, track_2_ThirdParty=0, track_2_target=0, track_2_SUPER_ROLE=0. u0(b_0_1, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE) :- u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b_0=0, b_0_1=1, track_0_PatientWithTPC=0, track_0_ThirdParty=0, track_0_target=0, track_0_SUPER_ROLE=0. u1(b_1_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE) :- u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b_1=0, b_1_1=1, track_1_PatientWithTPC=0, track_1_ThirdParty=0, track_1_target=0, track_1_SUPER_ROLE=0. u2(b_2_1, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE) :- u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b_2=0, b_2_1=1, track_2_PatientWithTPC=0, track_2_ThirdParty=0, track_2_target=0, track_2_SUPER_ROLE=0. u0(b_0_1, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE_1) :- u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b_0=0, b_0_1=1, track_0_PatientWithTPC=0, track_0_ThirdParty=0, track_0_target=0, track_0_SUPER_ROLE=0, track_0_SUPER_ROLE_1=1. u1(b_1_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE_1) :- u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b_1=0, b_1_1=1, track_1_PatientWithTPC=0, track_1_ThirdParty=0, track_1_target=0, track_1_SUPER_ROLE=0, track_1_SUPER_ROLE_1=1. u2(b_2_1, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE_1) :- u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b_2=0, b_2_1=1, track_2_PatientWithTPC=0, track_2_ThirdParty=0, track_2_target=0, track_2_SUPER_ROLE=0, track_2_SUPER_ROLE_1=1. u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target_1, track_0_SUPER_ROLE) :- u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_SUPER_ROLE=1, u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_PatientWithTPC=1, track_0_target_1=1. u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target_1, track_0_SUPER_ROLE) :- u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_SUPER_ROLE=1, u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_PatientWithTPC=1, track_0_target_1=1. u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target_1, track_0_SUPER_ROLE) :- u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b_2=1, track_2_SUPER_ROLE=1, u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_PatientWithTPC=1, track_0_target_1=1. u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target_1, track_1_SUPER_ROLE) :- u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_SUPER_ROLE=1, u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_PatientWithTPC=1, track_1_target_1=1. u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target_1, track_1_SUPER_ROLE) :- u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_SUPER_ROLE=1, u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_PatientWithTPC=1, track_1_target_1=1. u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target_1, track_1_SUPER_ROLE) :- u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b_2=1, track_2_SUPER_ROLE=1, u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_PatientWithTPC=1, track_1_target_1=1. u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target_1, track_2_SUPER_ROLE) :- u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_SUPER_ROLE=1, u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b2=1, track_2_PatientWithTPC=1, track_2_target_1=1. u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target_1, track_2_SUPER_ROLE) :- u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_SUPER_ROLE=1, u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b2=1, track_2_PatientWithTPC=1, track_2_target_1=1. u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target_1, track_2_SUPER_ROLE) :- u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b_2=1, track_2_SUPER_ROLE=1, u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b2=1, track_2_PatientWithTPC=1, track_2_target_1=1. u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty_1, track_0_target, track_0_SUPER_ROLE) :- u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_SUPER_ROLE=1, u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_ThirdParty_1=1. u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty_1, track_0_target, track_0_SUPER_ROLE) :- u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_SUPER_ROLE=1, u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_ThirdParty_1=1. u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty_1, track_0_target, track_0_SUPER_ROLE) :- u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b_2=1, track_2_SUPER_ROLE=1, u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_ThirdParty_1=1. u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty_1, track_1_target, track_1_SUPER_ROLE) :- u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_SUPER_ROLE=1, u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_ThirdParty_1=1. u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty_1, track_1_target, track_1_SUPER_ROLE) :- u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_SUPER_ROLE=1, u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_ThirdParty_1=1. u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty_1, track_1_target, track_1_SUPER_ROLE) :- u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b_2=1, track_2_SUPER_ROLE=1, u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_ThirdParty_1=1. u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty_1, track_2_target, track_2_SUPER_ROLE) :- u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_SUPER_ROLE=1, u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b2=1, track_2_ThirdParty_1=1. u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty_1, track_2_target, track_2_SUPER_ROLE) :- u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_SUPER_ROLE=1, u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b2=1, track_2_ThirdParty_1=1. u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty_1, track_2_target, track_2_SUPER_ROLE) :- u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b_2=1, track_2_SUPER_ROLE=1, u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b2=1, track_2_ThirdParty_1=1. u0(b_0, track_0_PatientWithTPC_1, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE) :- u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_ThirdParty=1, u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_PatientWithTPC_1=1. u0(b_0, track_0_PatientWithTPC_1, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE) :- u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_ThirdParty=1, u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_PatientWithTPC_1=1. u0(b_0, track_0_PatientWithTPC_1, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE) :- u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b_2=1, track_2_ThirdParty=1, u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_PatientWithTPC_1=1. u1(b_1, track_1_PatientWithTPC_1, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE) :- u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_ThirdParty=1, u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_PatientWithTPC_1=1. u1(b_1, track_1_PatientWithTPC_1, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE) :- u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_ThirdParty=1, u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_PatientWithTPC_1=1. u1(b_1, track_1_PatientWithTPC_1, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE) :- u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b_2=1, track_2_ThirdParty=1, u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_PatientWithTPC_1=1. u2(b_2, track_2_PatientWithTPC_1, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE) :- u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_ThirdParty=1, u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b2=1, track_2_PatientWithTPC_1=1. u2(b_2, track_2_PatientWithTPC_1, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE) :- u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_ThirdParty=1, u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b2=1, track_2_PatientWithTPC_1=1. u2(b_2, track_2_PatientWithTPC_1, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE) :- u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b_2=1, track_2_ThirdParty=1, u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b2=1, track_2_PatientWithTPC_1=1. u0(b_0, track_0_PatientWithTPC_1, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE) :- u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_ThirdParty=1, u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_PatientWithTPC=1, track_0_PatientWithTPC_1=0. u0(b_0, track_0_PatientWithTPC_1, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE) :- u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_ThirdParty=1, u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_PatientWithTPC=1, track_0_PatientWithTPC_1=0. u0(b_0, track_0_PatientWithTPC_1, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE) :- u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b_2=1, track_2_ThirdParty=1, u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b0=1, track_0_PatientWithTPC=1, track_0_PatientWithTPC_1=0. u1(b_1, track_1_PatientWithTPC_1, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE) :- u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_ThirdParty=1, u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_PatientWithTPC=1, track_1_PatientWithTPC_1=0. u1(b_1, track_1_PatientWithTPC_1, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE) :- u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_ThirdParty=1, u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_PatientWithTPC=1, track_1_PatientWithTPC_1=0. u1(b_1, track_1_PatientWithTPC_1, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE) :- u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b_2=1, track_2_ThirdParty=1, u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b1=1, track_1_PatientWithTPC=1, track_1_PatientWithTPC_1=0. u2(b_2, track_2_PatientWithTPC_1, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE) :- u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_ThirdParty=1, u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b2=1, track_2_PatientWithTPC=1, track_2_PatientWithTPC_1=0. u2(b_2, track_2_PatientWithTPC_1, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE) :- u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_ThirdParty=1, u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b2=1, track_2_PatientWithTPC=1, track_2_PatientWithTPC_1=0. u2(b_2, track_2_PatientWithTPC_1, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE) :- u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b_2=1, track_2_ThirdParty=1, u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b2=1, track_2_PatientWithTPC=1, track_2_PatientWithTPC_1=0. false :- u0(b_0, track_0_PatientWithTPC, track_0_ThirdParty, track_0_target, track_0_SUPER_ROLE), b_0=1, track_0_target=1. false :- u1(b_1, track_1_PatientWithTPC, track_1_ThirdParty, track_1_target, track_1_SUPER_ROLE), b_1=1, track_1_target=1. false :- u2(b_2, track_2_PatientWithTPC, track_2_ThirdParty, track_2_target, track_2_SUPER_ROLE), b_2=1, track_2_target=1.