task7_find_safe_configuration2.txt.out

connects_R1_R2=true
connects_R1_R3=false
connects_R1_R4=true
connects_R2_R1=true
connects_R2_R2=true
connects_R2_R3=false
connects_R2_R4=false
connects_R3_R1=false
connects_R3_R2=true
connects_R3_R3=true
connects_R3_R4=true
connects_R4_R1=false
connects_R4_R2=false
connects_R4_R3=true
connects_R4_R4=true
legal_T1_R1_R1=true
legal_T1_R1_R2=true
legal_T1_R1_R3=false
legal_T1_R1_R4=false
legal_T1_R2_R1=true
legal_T1_R2_R2=true
legal_T1_R2_R3=false
legal_T1_R2_R4=false
legal_T1_R3_R1=true
legal_T1_R3_R2=true
legal_T1_R3_R3=false
legal_T1_R3_R4=false
legal_T1_R4_R1=true
legal_T1_R4_R2=true
legal_T1_R4_R3=false
legal_T1_R4_R4=false
legal_T2_R1_R1=false
legal_T2_R1_R2=false
legal_T2_R1_R3=true
legal_T2_R1_R4=true
legal_T2_R2_R1=false
legal_T2_R2_R2=false
legal_T2_R2_R3=true
legal_T2_R2_R4=true
legal_T2_R3_R1=false
legal_T2_R3_R2=false
legal_T2_R3_R3=true
legal_T2_R3_R4=true
legal_T2_R4_R1=false
legal_T2_R4_R2=false
legal_T2_R4_R3=true
legal_T2_R4_R4=true
on_T1_R1_S1=false
on_T1_R1_S2=true
on_T1_R2_S1=true
on_T1_R2_S2=false
on_T1_R3_S1=false
on_T1_R3_S2=false
on_T1_R4_S1=false
on_T1_R4_S2=false
on_T2_R1_S1=false
on_T2_R1_S2=false
on_T2_R2_S1=false
on_T2_R2_S2=false
on_T2_R3_S1=false
on_T2_R3_S2=false
on_T2_R4_S1=true
on_T2_R4_S2=true
safe_S1=true
safe_S2=true
zend=true