clingo version 5.1.0
Reading from test_data/T2_n_10_m_20_k_40.lp
Solving...
Answer: 1
correct_match(topology,s2,s3,18,dr) correct_match(topology,s2,s6,18,dr) correct_match(topology,s3,s6,18,dr) correct_match(topology,s2,s7,18,dr) correct_match(topology,s3,s7,18,dr) correct_match(topology,s6,s7,18,dr) correct_match(topology,s7,s9,17,dr) correct_match(topology,s6,s9,17,dr) correct_match(topology,s4,s9,17,dr) correct_match(topology,s3,s9,17,dr) correct_match(topology,s2,s9,17,dr) correct_match(topology,s0,s9,17,dr) correct_match(topology,s6,s7,17,dr) correct_match(topology,s4,s7,17,dr) correct_match(topology,s3,s7,17,dr) correct_match(topology,s2,s7,17,dr) correct_match(topology,s0,s7,17,dr) correct_match(topology,s4,s6,17,dr) correct_match(topology,s3,s6,17,dr) correct_match(topology,s2,s6,17,dr) correct_match(topology,s0,s6,17,dr) correct_match(topology,s3,s4,17,dr) correct_match(topology,s2,s4,17,dr) correct_match(topology,s0,s4,17,dr) correct_match(topology,s2,s3,17,dr) correct_match(topology,s0,s3,17,dr) correct_match(topology,s0,s2,17,dr) correct_match(topology,s0,s1,16,dr) correct_match(topology,s0,s2,16,dr) correct_match(topology,s1,s2,16,dr) correct_match(topology,s0,s3,16,dr) correct_match(topology,s1,s3,16,dr) correct_match(topology,s2,s3,16,dr) correct_match(topology,s0,s5,16,dr) correct_match(topology,s1,s5,16,dr) correct_match(topology,s2,s5,16,dr) correct_match(topology,s3,s5,16,dr) correct_match(topology,s0,s9,16,dr) correct_match(topology,s1,s9,16,dr) correct_match(topology,s2,s9,16,dr) correct_match(topology,s3,s9,16,dr) correct_match(topology,s5,s9,16,dr) correct_match(topology,s8,s9,16,dr) correct_match(topology,s0,s8,16,dr) correct_match(topology,s1,s8,16,dr) correct_match(topology,s2,s8,16,dr) correct_match(topology,s3,s8,16,dr) correct_match(topology,s5,s8,16,dr) correct_match(topology,s8,s9,15,dr) correct_match(topology,s5,s9,15,dr) correct_match(topology,s3,s9,15,dr) correct_match(topology,s2,s9,15,dr) correct_match(topology,s0,s9,15,dr) correct_match(topology,s5,s8,15,dr) correct_match(topology,s3,s8,15,dr) correct_match(topology,s2,s8,15,dr) correct_match(topology,s0,s8,15,dr) correct_match(topology,s3,s5,15,dr) correct_match(topology,s2,s5,15,dr) correct_match(topology,s0,s5,15,dr) correct_match(topology,s2,s3,15,dr) correct_match(topology,s0,s3,15,dr) correct_match(topology,s0,s2,15,dr) correct_match(topology,s3,s7,14,dr) correct_match(topology,s3,s8,14,dr) correct_match(topology,s7,s8,14,dr) correct_match(topology,s7,s8,13,dr) correct_match(topology,s6,s8,13,dr) correct_match(topology,s3,s8,13,dr) correct_match(topology,s6,s7,13,dr) correct_match(topology,s3,s7,13,dr) correct_match(topology,s3,s6,13,dr) correct_match(topology,s0,s1,12,dr) correct_match(topology,s0,s2,12,dr) correct_match(topology,s1,s2,12,dr) correct_match(topology,s0,s5,12,dr) correct_match(topology,s1,s5,12,dr) correct_match(topology,s2,s5,12,dr) correct_match(topology,s3,s5,12,dr) correct_match(topology,s0,s6,12,dr) correct_match(topology,s1,s6,12,dr) correct_match(topology,s2,s6,12,dr) correct_match(topology,s3,s6,12,dr) correct_match(topology,s5,s6,12,dr) correct_match(topology,s0,s7,12,dr) correct_match(topology,s1,s7,12,dr) correct_match(topology,s2,s7,12,dr) correct_match(topology,s3,s7,12,dr) correct_match(topology,s5,s7,12,dr) correct_match(topology,s6,s7,12,dr) correct_match(topology,s0,s8,12,dr) correct_match(topology,s1,s8,12,dr) correct_match(topology,s2,s8,12,dr) correct_match(topology,s3,s8,12,dr) correct_match(topology,s5,s8,12,dr) correct_match(topology,s6,s8,12,dr) correct_match(topology,s7,s8,12,dr) correct_match(topology,s0,s3,12,dr) correct_match(topology,s1,s3,12,dr) correct_match(topology,s2,s3,12,dr) correct_match(topology,s6,s8,11,dr) correct_match(topology,s5,s8,11,dr) correct_match(topology,s3,s8,11,dr) correct_match(topology,s2,s8,11,dr) correct_match(topology,s1,s8,11,dr) correct_match(topology,s5,s6,11,dr) correct_match(topology,s3,s6,11,dr) correct_match(topology,s2,s6,11,dr) correct_match(topology,s1,s6,11,dr) correct_match(topology,s3,s5,11,dr) correct_match(topology,s2,s5,11,dr) correct_match(topology,s1,s5,11,dr) correct_match(topology,s2,s3,11,dr) correct_match(topology,s1,s3,11,dr) correct_match(topology,s1,s2,11,dr) correct_match(topology,s1,s2,10,dr) correct_match(topology,s1,s5,10,dr) correct_match(topology,s2,s5,10,dr) correct_match(topology,s1,s6,10,dr) correct_match(topology,s2,s6,10,dr) correct_match(topology,s5,s6,10,dr) correct_match(topology,s1,s8,10,dr) correct_match(topology,s2,s8,10,dr) correct_match(topology,s5,s8,10,dr) correct_match(topology,s6,s8,10,dr) correct_match(topology,s1,s9,10,dr) correct_match(topology,s2,s9,10,dr) correct_match(topology,s5,s9,10,dr) correct_match(topology,s6,s9,10,dr) correct_match(topology,s8,s9,10,dr) correct_match(topology,s8,s9,9,dr) correct_match(topology,s7,s9,9,dr) correct_match(topology,s6,s9,9,dr) correct_match(topology,s4,s9,9,dr) correct_match(topology,s2,s9,9,dr) correct_match(topology,s1,s9,9,dr) correct_match(topology,s7,s8,9,dr) correct_match(topology,s6,s8,9,dr) correct_match(topology,s4,s8,9,dr) correct_match(topology,s2,s8,9,dr) correct_match(topology,s1,s8,9,dr) correct_match(topology,s6,s7,9,dr) correct_match(topology,s4,s7,9,dr) correct_match(topology,s2,s7,9,dr) correct_match(topology,s1,s7,9,dr) correct_match(topology,s4,s6,9,dr) correct_match(topology,s2,s6,9,dr) correct_match(topology,s1,s6,9,dr) correct_match(topology,s2,s4,9,dr) correct_match(topology,s1,s4,9,dr) correct_match(topology,s1,s2,9,dr) correct_match(topology,s0,s1,8,dr) correct_match(topology,s0,s3,8,dr) correct_match(topology,s1,s3,8,dr) correct_match(topology,s0,s6,8,dr) correct_match(topology,s1,s6,8,dr) correct_match(topology,s3,s6,8,dr) correct_match(topology,s4,s6,8,dr) correct_match(topology,s0,s7,8,dr) correct_match(topology,s1,s7,8,dr) correct_match(topology,s3,s7,8,dr) correct_match(topology,s4,s7,8,dr) correct_match(topology,s6,s7,8,dr) correct_match(topology,s0,s8,8,dr) correct_match(topology,s1,s8,8,dr) correct_match(topology,s3,s8,8,dr) correct_match(topology,s4,s8,8,dr) correct_match(topology,s6,s8,8,dr) correct_match(topology,s7,s8,8,dr) correct_match(topology,s0,s9,8,dr) correct_match(topology,s1,s9,8,dr) correct_match(topology,s3,s9,8,dr) correct_match(topology,s4,s9,8,dr) correct_match(topology,s6,s9,8,dr) correct_match(topology,s7,s9,8,dr) correct_match(topology,s8,s9,8,dr) correct_match(topology,s0,s4,8,dr) correct_match(topology,s1,s4,8,dr) correct_match(topology,s3,s4,8,dr) correct_match(topology,s8,s9,7,dr) correct_match(topology,s7,s9,7,dr) correct_match(topology,s6,s9,7,dr) correct_match(topology,s4,s9,7,dr) correct_match(topology,s3,s9,7,dr) correct_match(topology,s1,s9,7,dr) correct_match(topology,s0,s9,7,dr) correct_match(topology,s7,s8,7,dr) correct_match(topology,s6,s8,7,dr) correct_match(topology,s4,s8,7,dr) correct_match(topology,s3,s8,7,dr) correct_match(topology,s1,s8,7,dr) correct_match(topology,s0,s8,7,dr) correct_match(topology,s6,s7,7,dr) correct_match(topology,s4,s7,7,dr) correct_match(topology,s3,s7,7,dr) correct_match(topology,s1,s7,7,dr) correct_match(topology,s0,s7,7,dr) correct_match(topology,s4,s6,7,dr) correct_match(topology,s3,s6,7,dr) correct_match(topology,s1,s6,7,dr) correct_match(topology,s0,s6,7,dr) correct_match(topology,s3,s4,7,dr) correct_match(topology,s1,s4,7,dr) correct_match(topology,s0,s4,7,dr) correct_match(topology,s1,s3,7,dr) correct_match(topology,s0,s3,7,dr) correct_match(topology,s0,s1,7,dr) correct_match(topology,s0,s1,6,dr) correct_match(topology,s0,s3,6,dr) correct_match(topology,s1,s3,6,dr) correct_match(topology,s0,s6,6,dr) correct_match(topology,s1,s6,6,dr) correct_match(topology,s3,s6,6,dr) correct_match(topology,s4,s6,6,dr) correct_match(topology,s0,s7,6,dr) correct_match(topology,s1,s7,6,dr) correct_match(topology,s3,s7,6,dr) correct_match(topology,s4,s7,6,dr) correct_match(topology,s6,s7,6,dr) correct_match(topology,s0,s8,6,dr) correct_match(topology,s1,s8,6,dr) correct_match(topology,s3,s8,6,dr) correct_match(topology,s4,s8,6,dr) correct_match(topology,s6,s8,6,dr) correct_match(topology,s7,s8,6,dr) correct_match(topology,s0,s9,6,dr) correct_match(topology,s1,s9,6,dr) correct_match(topology,s3,s9,6,dr) correct_match(topology,s4,s9,6,dr) correct_match(topology,s6,s9,6,dr) correct_match(topology,s7,s9,6,dr) correct_match(topology,s8,s9,6,dr) correct_match(topology,s0,s4,6,dr) correct_match(topology,s1,s4,6,dr) correct_match(topology,s3,s4,6,dr) correct_match(topology,s7,s8,5,dr) correct_match(topology,s6,s8,5,dr) correct_match(topology,s5,s8,5,dr) correct_match(topology,s4,s8,5,dr) correct_match(topology,s3,s8,5,dr) correct_match(topology,s6,s7,5,dr) correct_match(topology,s5,s7,5,dr) correct_match(topology,s4,s7,5,dr) correct_match(topology,s3,s7,5,dr) correct_match(topology,s5,s6,5,dr) correct_match(topology,s4,s6,5,dr) correct_match(topology,s3,s6,5,dr) correct_match(topology,s4,s5,5,dr) correct_match(topology,s3,s5,5,dr) correct_match(topology,s3,s4,5,dr) correct_match(topology,s1,s8,2,dr) correct_match(topology,s2,s8,4,dr) correct_match(topology,s3,s8,4,dr) correct_match(topology,s5,s8,4,dr) correct_match(topology,s6,s8,4,dr) correct_match(topology,s7,s8,4,dr) correct_match(topology,s2,s7,4,dr) correct_match(topology,s3,s7,4,dr) correct_match(topology,s5,s7,4,dr) correct_match(topology,s6,s7,4,dr) correct_match(topology,s2,s5,4,dr) correct_match(topology,s3,s5,4,dr) correct_match(topology,s2,s3,4,dr) correct_match(topology,s2,s6,4,dr) correct_match(topology,s3,s6,4,dr) correct_match(topology,s5,s6,4,dr) correct_match(topology,s1,s8,1,dr) correct_match(topology,s8,s9,3,dr) correct_match(topology,s6,s9,3,dr) correct_match(topology,s3,s9,3,dr) correct_match(topology,s2,s9,3,dr) correct_match(topology,s1,s9,3,dr) correct_match(topology,s0,s9,3,dr) correct_match(topology,s6,s8,3,dr) correct_match(topology,s3,s8,3,dr) correct_match(topology,s2,s8,3,dr) correct_match(topology,s1,s8,3,dr) correct_match(topology,s0,s8,3,dr) correct_match(topology,s3,s6,3,dr) correct_match(topology,s2,s6,3,dr) correct_match(topology,s1,s6,3,dr) correct_match(topology,s0,s6,3,dr) correct_match(topology,s2,s3,3,dr) correct_match(topology,s1,s3,3,dr) correct_match(topology,s0,s3,3,dr) correct_match(topology,s1,s2,3,dr) correct_match(topology,s0,s2,3,dr) correct_match(topology,s0,s1,2,dr) correct_match(topology,s0,s4,2,dr) correct_match(topology,s1,s4,2,dr) correct_match(topology,s0,s8,2,dr) correct_match(topology,s4,s8,2,dr) correct_match(topology,s6,s8,2,dr) correct_match(topology,s0,s9,2,dr) correct_match(topology,s1,s9,2,dr) correct_match(topology,s4,s9,2,dr) correct_match(topology,s6,s9,2,dr) correct_match(topology,s8,s9,2,dr) correct_match(topology,s0,s6,2,dr) correct_match(topology,s1,s6,2,dr) correct_match(topology,s4,s6,2,dr) correct_match(topology,s0,s6,0,dr) correct_match(topology,s1,s6,0,dr) correct_match(topology,s4,s6,0,dr) correct_match(topology,s8,s9,1,dr) correct_match(topology,s7,s9,1,dr) correct_match(topology,s6,s9,1,dr) correct_match(topology,s4,s9,1,dr) correct_match(topology,s1,s9,1,dr) correct_match(topology,s0,s9,1,dr) correct_match(topology,s7,s8,1,dr) correct_match(topology,s6,s8,1,dr) correct_match(topology,s4,s8,1,dr) correct_match(topology,s0,s8,1,dr) correct_match(topology,s6,s7,1,dr) correct_match(topology,s4,s7,1,dr) correct_match(topology,s1,s7,1,dr) correct_match(topology,s0,s7,1,dr) correct_match(topology,s4,s6,1,dr) correct_match(topology,s1,s6,1,dr) correct_match(topology,s0,s6,1,dr) correct_match(topology,s1,s4,1,dr) correct_match(topology,s0,s4,1,dr) correct_match(topology,s0,s1,1,dr) correct_match(topology,s6,s7,0,dr) correct_match(topology,s6,s8,0,dr) correct_match(topology,s6,s9,0,dr) correct_match(topology,s0,s1,0,dr) correct_match(topology,s0,s7,0,dr) correct_match(topology,s1,s7,0,dr) correct_match(topology,s4,s7,0,dr) correct_match(topology,s0,s8,0,dr) correct_match(topology,s1,s8,0,dr) correct_match(topology,s4,s8,0,dr) correct_match(topology,s7,s8,0,dr) correct_match(topology,s0,s9,0,dr) correct_match(topology,s1,s9,0,dr) correct_match(topology,s4,s9,0,dr) correct_match(topology,s7,s9,0,dr) correct_match(topology,s8,s9,0,dr) correct_match(topology,s0,s4,0,dr) correct_match(topology,s1,s4,0,dr) correct_match(topology,s2,s3,18,dc) correct_match(topology,s2,s6,18,dc) correct_match(topology,s3,s6,18,dc) correct_match(topology,s2,s7,18,dc) correct_match(topology,s3,s7,18,dc) correct_match(topology,s6,s7,18,dc) correct_match(topology,s7,s9,17,dc) correct_match(topology,s6,s9,17,dc) correct_match(topology,s4,s9,17,dc) correct_match(topology,s3,s9,17,dc) correct_match(topology,s2,s9,17,dc) correct_match(topology,s0,s9,17,dc) correct_match(topology,s6,s7,17,dc) correct_match(topology,s4,s7,17,dc) correct_match(topology,s3,s7,17,dc) correct_match(topology,s2,s7,17,dc) correct_match(topology,s0,s7,17,dc) correct_match(topology,s4,s6,17,dc) correct_match(topology,s3,s6,17,dc) correct_match(topology,s2,s6,17,dc) correct_match(topology,s0,s6,17,dc) correct_match(topology,s3,s4,17,dc) correct_match(topology,s2,s4,17,dc) correct_match(topology,s0,s4,17,dc) correct_match(topology,s2,s3,17,dc) correct_match(topology,s0,s3,17,dc) correct_match(topology,s0,s2,17,dc) correct_match(topology,s0,s1,16,dc) correct_match(topology,s0,s2,16,dc) correct_match(topology,s1,s2,16,dc) correct_match(topology,s0,s3,16,dc) correct_match(topology,s1,s3,16,dc) correct_match(topology,s2,s3,16,dc) correct_match(topology,s0,s5,16,dc) correct_match(topology,s1,s5,16,dc) correct_match(topology,s2,s5,16,dc) correct_match(topology,s3,s5,16,dc) correct_match(topology,s0,s9,16,dc) correct_match(topology,s1,s9,16,dc) correct_match(topology,s2,s9,16,dc) correct_match(topology,s3,s9,16,dc) correct_match(topology,s5,s9,16,dc) correct_match(topology,s8,s9,16,dc) correct_match(topology,s0,s8,16,dc) correct_match(topology,s1,s8,16,dc) correct_match(topology,s2,s8,16,dc) correct_match(topology,s3,s8,16,dc) correct_match(topology,s5,s8,16,dc) correct_match(topology,s8,s9,15,dc) correct_match(topology,s5,s9,15,dc) correct_match(topology,s3,s9,15,dc) correct_match(topology,s2,s9,15,dc) correct_match(topology,s0,s9,15,dc) correct_match(topology,s5,s8,15,dc) correct_match(topology,s3,s8,15,dc) correct_match(topology,s2,s8,15,dc) correct_match(topology,s0,s8,15,dc) correct_match(topology,s3,s5,15,dc) correct_match(topology,s2,s5,15,dc) correct_match(topology,s0,s5,15,dc) correct_match(topology,s2,s3,15,dc) correct_match(topology,s0,s3,15,dc) correct_match(topology,s0,s2,15,dc) correct_match(topology,s3,s7,14,dc) correct_match(topology,s3,s8,14,dc) correct_match(topology,s7,s8,14,dc) correct_match(topology,s7,s8,13,dc) correct_match(topology,s6,s8,13,dc) correct_match(topology,s3,s8,13,dc) correct_match(topology,s6,s7,13,dc) correct_match(topology,s3,s7,13,dc) correct_match(topology,s3,s6,13,dc) correct_match(topology,s0,s1,12,dc) correct_match(topology,s0,s2,12,dc) correct_match(topology,s1,s2,12,dc) correct_match(topology,s0,s5,12,dc) correct_match(topology,s1,s5,12,dc) correct_match(topology,s2,s5,12,dc) correct_match(topology,s3,s5,12,dc) correct_match(topology,s0,s6,12,dc) correct_match(topology,s1,s6,12,dc) correct_match(topology,s2,s6,12,dc) correct_match(topology,s3,s6,12,dc) correct_match(topology,s5,s6,12,dc) correct_match(topology,s0,s7,12,dc) correct_match(topology,s1,s7,12,dc) correct_match(topology,s2,s7,12,dc) correct_match(topology,s3,s7,12,dc) correct_match(topology,s5,s7,12,dc) correct_match(topology,s6,s7,12,dc) correct_match(topology,s0,s8,12,dc) correct_match(topology,s1,s8,12,dc) correct_match(topology,s2,s8,12,dc) correct_match(topology,s3,s8,12,dc) correct_match(topology,s5,s8,12,dc) correct_match(topology,s6,s8,12,dc) correct_match(topology,s7,s8,12,dc) correct_match(topology,s0,s3,12,dc) correct_match(topology,s1,s3,12,dc) correct_match(topology,s2,s3,12,dc) correct_match(topology,s6,s8,11,dc) correct_match(topology,s5,s8,11,dc) correct_match(topology,s3,s8,11,dc) correct_match(topology,s2,s8,11,dc) correct_match(topology,s1,s8,11,dc) correct_match(topology,s5,s6,11,dc) correct_match(topology,s3,s6,11,dc) correct_match(topology,s2,s6,11,dc) correct_match(topology,s1,s6,11,dc) correct_match(topology,s3,s5,11,dc) correct_match(topology,s2,s5,11,dc) correct_match(topology,s1,s5,11,dc) correct_match(topology,s2,s3,11,dc) correct_match(topology,s1,s3,11,dc) correct_match(topology,s1,s2,11,dc) correct_match(topology,s1,s2,10,dc) correct_match(topology,s1,s5,10,dc) correct_match(topology,s2,s5,10,dc) correct_match(topology,s1,s6,10,dc) correct_match(topology,s2,s6,10,dc) correct_match(topology,s5,s6,10,dc) correct_match(topology,s1,s8,10,dc) correct_match(topology,s2,s8,10,dc) correct_match(topology,s5,s8,10,dc) correct_match(topology,s6,s8,10,dc) correct_match(topology,s1,s9,10,dc) correct_match(topology,s2,s9,10,dc) correct_match(topology,s5,s9,10,dc) correct_match(topology,s6,s9,10,dc) correct_match(topology,s8,s9,10,dc) correct_match(topology,s8,s9,9,dc) correct_match(topology,s7,s9,9,dc) correct_match(topology,s6,s9,9,dc) correct_match(topology,s4,s9,9,dc) correct_match(topology,s2,s9,9,dc) correct_match(topology,s1,s9,9,dc) correct_match(topology,s7,s8,9,dc) correct_match(topology,s6,s8,9,dc) correct_match(topology,s4,s8,9,dc) correct_match(topology,s2,s8,9,dc) correct_match(topology,s1,s8,9,dc) correct_match(topology,s6,s7,9,dc) correct_match(topology,s4,s7,9,dc) correct_match(topology,s2,s7,9,dc) correct_match(topology,s1,s7,9,dc) correct_match(topology,s4,s6,9,dc) correct_match(topology,s2,s6,9,dc) correct_match(topology,s1,s6,9,dc) correct_match(topology,s2,s4,9,dc) correct_match(topology,s1,s4,9,dc) correct_match(topology,s1,s2,9,dc) correct_match(topology,s0,s1,8,dc) correct_match(topology,s0,s3,8,dc) correct_match(topology,s1,s3,8,dc) correct_match(topology,s0,s6,8,dc) correct_match(topology,s1,s6,8,dc) correct_match(topology,s3,s6,8,dc) correct_match(topology,s4,s6,8,dc) correct_match(topology,s0,s7,8,dc) correct_match(topology,s1,s7,8,dc) correct_match(topology,s3,s7,8,dc) correct_match(topology,s4,s7,8,dc) correct_match(topology,s6,s7,8,dc) correct_match(topology,s0,s8,8,dc) correct_match(topology,s1,s8,8,dc) correct_match(topology,s3,s8,8,dc) correct_match(topology,s4,s8,8,dc) correct_match(topology,s6,s8,8,dc) correct_match(topology,s7,s8,8,dc) correct_match(topology,s0,s9,8,dc) correct_match(topology,s1,s9,8,dc) correct_match(topology,s3,s9,8,dc) correct_match(topology,s4,s9,8,dc) correct_match(topology,s6,s9,8,dc) correct_match(topology,s7,s9,8,dc) correct_match(topology,s8,s9,8,dc) correct_match(topology,s0,s4,8,dc) correct_match(topology,s1,s4,8,dc) correct_match(topology,s3,s4,8,dc) correct_match(topology,s8,s9,7,dc) correct_match(topology,s7,s9,7,dc) correct_match(topology,s6,s9,7,dc) correct_match(topology,s4,s9,7,dc) correct_match(topology,s3,s9,7,dc) correct_match(topology,s1,s9,7,dc) correct_match(topology,s0,s9,7,dc) correct_match(topology,s7,s8,7,dc) correct_match(topology,s6,s8,7,dc) correct_match(topology,s4,s8,7,dc) correct_match(topology,s3,s8,7,dc) correct_match(topology,s1,s8,7,dc) correct_match(topology,s0,s8,7,dc) correct_match(topology,s6,s7,7,dc) correct_match(topology,s4,s7,7,dc) correct_match(topology,s3,s7,7,dc) correct_match(topology,s1,s7,7,dc) correct_match(topology,s0,s7,7,dc) correct_match(topology,s4,s6,7,dc) correct_match(topology,s3,s6,7,dc) correct_match(topology,s1,s6,7,dc) correct_match(topology,s0,s6,7,dc) correct_match(topology,s3,s4,7,dc) correct_match(topology,s1,s4,7,dc) correct_match(topology,s0,s4,7,dc) correct_match(topology,s1,s3,7,dc) correct_match(topology,s0,s3,7,dc) correct_match(topology,s0,s1,7,dc) correct_match(topology,s0,s1,6,dc) correct_match(topology,s0,s3,6,dc) correct_match(topology,s1,s3,6,dc) correct_match(topology,s0,s6,6,dc) correct_match(topology,s1,s6,6,dc) correct_match(topology,s3,s6,6,dc) correct_match(topology,s4,s6,6,dc) correct_match(topology,s0,s7,6,dc) correct_match(topology,s1,s7,6,dc) correct_match(topology,s3,s7,6,dc) correct_match(topology,s4,s7,6,dc) correct_match(topology,s6,s7,6,dc) correct_match(topology,s0,s8,6,dc) correct_match(topology,s1,s8,6,dc) correct_match(topology,s3,s8,6,dc) correct_match(topology,s4,s8,6,dc) correct_match(topology,s6,s8,6,dc) correct_match(topology,s7,s8,6,dc) correct_match(topology,s0,s9,6,dc) correct_match(topology,s1,s9,6,dc) correct_match(topology,s3,s9,6,dc) correct_match(topology,s4,s9,6,dc) correct_match(topology,s6,s9,6,dc) correct_match(topology,s7,s9,6,dc) correct_match(topology,s8,s9,6,dc) correct_match(topology,s0,s4,6,dc) correct_match(topology,s1,s4,6,dc) correct_match(topology,s3,s4,6,dc) correct_match(topology,s7,s8,5,dc) correct_match(topology,s6,s8,5,dc) correct_match(topology,s5,s8,5,dc) correct_match(topology,s4,s8,5,dc) correct_match(topology,s3,s8,5,dc) correct_match(topology,s6,s7,5,dc) correct_match(topology,s5,s7,5,dc) correct_match(topology,s4,s7,5,dc) correct_match(topology,s3,s7,5,dc) correct_match(topology,s5,s6,5,dc) correct_match(topology,s4,s6,5,dc) correct_match(topology,s3,s6,5,dc) correct_match(topology,s4,s5,5,dc) correct_match(topology,s3,s5,5,dc) correct_match(topology,s3,s4,5,dc) correct_match(topology,s1,s8,2,dc) correct_match(topology,s2,s8,4,dc) correct_match(topology,s3,s8,4,dc) correct_match(topology,s5,s8,4,dc) correct_match(topology,s6,s8,4,dc) correct_match(topology,s7,s8,4,dc) correct_match(topology,s2,s7,4,dc) correct_match(topology,s3,s7,4,dc) correct_match(topology,s5,s7,4,dc) correct_match(topology,s6,s7,4,dc) correct_match(topology,s2,s5,4,dc) correct_match(topology,s3,s5,4,dc) correct_match(topology,s2,s3,4,dc) correct_match(topology,s2,s6,4,dc) correct_match(topology,s3,s6,4,dc) correct_match(topology,s5,s6,4,dc) correct_match(topology,s1,s8,1,dc) correct_match(topology,s8,s9,3,dc) correct_match(topology,s6,s9,3,dc) correct_match(topology,s3,s9,3,dc) correct_match(topology,s2,s9,3,dc) correct_match(topology,s1,s9,3,dc) correct_match(topology,s0,s9,3,dc) correct_match(topology,s6,s8,3,dc) correct_match(topology,s3,s8,3,dc) correct_match(topology,s2,s8,3,dc) correct_match(topology,s1,s8,3,dc) correct_match(topology,s0,s8,3,dc) correct_match(topology,s3,s6,3,dc) correct_match(topology,s2,s6,3,dc) correct_match(topology,s1,s6,3,dc) correct_match(topology,s0,s6,3,dc) correct_match(topology,s2,s3,3,dc) correct_match(topology,s1,s3,3,dc) correct_match(topology,s0,s3,3,dc) correct_match(topology,s1,s2,3,dc) correct_match(topology,s0,s2,3,dc) correct_match(topology,s0,s1,2,dc) correct_match(topology,s0,s4,2,dc) correct_match(topology,s1,s4,2,dc) correct_match(topology,s0,s8,2,dc) correct_match(topology,s4,s8,2,dc) correct_match(topology,s6,s8,2,dc) correct_match(topology,s0,s9,2,dc) correct_match(topology,s1,s9,2,dc) correct_match(topology,s4,s9,2,dc) correct_match(topology,s6,s9,2,dc) correct_match(topology,s8,s9,2,dc) correct_match(topology,s0,s6,2,dc) correct_match(topology,s1,s6,2,dc) correct_match(topology,s4,s6,2,dc) correct_match(topology,s0,s6,0,dc) correct_match(topology,s1,s6,0,dc) correct_match(topology,s4,s6,0,dc) correct_match(topology,s8,s9,1,dc) correct_match(topology,s7,s9,1,dc) correct_match(topology,s6,s9,1,dc) correct_match(topology,s4,s9,1,dc) correct_match(topology,s1,s9,1,dc) correct_match(topology,s0,s9,1,dc) correct_match(topology,s7,s8,1,dc) correct_match(topology,s6,s8,1,dc) correct_match(topology,s4,s8,1,dc) correct_match(topology,s0,s8,1,dc) correct_match(topology,s6,s7,1,dc) correct_match(topology,s4,s7,1,dc) correct_match(topology,s1,s7,1,dc) correct_match(topology,s0,s7,1,dc) correct_match(topology,s4,s6,1,dc) correct_match(topology,s1,s6,1,dc) correct_match(topology,s0,s6,1,dc) correct_match(topology,s1,s4,1,dc) correct_match(topology,s0,s4,1,dc) correct_match(topology,s0,s1,1,dc) correct_match(topology,s6,s7,0,dc) correct_match(topology,s6,s8,0,dc) correct_match(topology,s6,s9,0,dc) correct_match(topology,s0,s1,0,dc) correct_match(topology,s0,s7,0,dc) correct_match(topology,s1,s7,0,dc) correct_match(topology,s4,s7,0,dc) correct_match(topology,s0,s8,0,dc) correct_match(topology,s1,s8,0,dc) correct_match(topology,s4,s8,0,dc) correct_match(topology,s7,s8,0,dc) correct_match(topology,s0,s9,0,dc) correct_match(topology,s1,s9,0,dc) correct_match(topology,s4,s9,0,dc) correct_match(topology,s7,s9,0,dc) correct_match(topology,s8,s9,0,dc) correct_match(topology,s0,s4,0,dc) correct_match(topology,s1,s4,0,dc) correct_match(topology,s0,s1,3,o) correct_match(topology,s0,s1,3,c) correct_match(topology,s0,s1,3,merge) correct_match(topology,s0,s1,3,po) correct_match(movement,s0,s1,0,towards) correct_match(movement,s0,s1,1,towards) correct_match(movement,s0,s1,2,towards) correct_match(movement,s0,s1,3,towards) correct_match(movement,s1,s2,3,towards) correct_match(movement,s1,s2,9,towards) correct_match(movement,s1,s2,10,towards) correct_match(movement,s1,s2,11,towards) correct_match(movement,s0,s3,3,towards) correct_match(movement,s2,s3,3,towards) correct_match(movement,s0,s3,6,towards) correct_match(movement,s1,s4,0,towards) correct_match(movement,s1,s4,1,towards) correct_match(movement,s1,s4,2,towards) correct_match(movement,s3,s4,5,towards) correct_match(movement,s3,s4,6,towards) correct_match(movement,s1,s4,6,towards) correct_match(movement,s1,s4,7,towards) correct_match(movement,s1,s4,8,towards) correct_match(movement,s1,s4,9,towards) correct_match(movement,s2,s4,17,towards) correct_match(movement,s3,s5,5,towards) correct_match(movement,s0,s5,12,towards) correct_match(movement,s0,s5,15,towards) correct_match(movement,s4,s6,0,towards) correct_match(movement,s1,s6,1,towards) correct_match(movement,s4,s6,1,towards) correct_match(movement,s4,s6,2,towards) correct_match(movement,s1,s6,2,towards) correct_match(movement,s1,s6,3,towards) correct_match(movement,s2,s6,3,towards) correct_match(movement,s4,s6,5,towards) correct_match(movement,s4,s6,6,towards) correct_match(movement,s1,s6,6,towards) correct_match(movement,s1,s6,7,towards) correct_match(movement,s4,s6,7,towards) correct_match(movement,s4,s6,8,towards) correct_match(movement,s1,s6,9,towards) correct_match(movement,s4,s6,9,towards) correct_match(movement,s1,s6,11,towards) correct_match(movement,s1,s7,0,towards) correct_match(movement,s0,s7,0,towards) correct_match(movement,s0,s7,1,towards) correct_match(movement,s1,s7,1,towards) correct_match(movement,s3,s7,4,towards) correct_match(movement,s3,s7,5,towards) correct_match(movement,s3,s7,6,towards) correct_match(movement,s3,s7,7,towards) correct_match(movement,s3,s7,12,towards) correct_match(movement,s6,s7,17,towards) correct_match(movement,s4,s8,0,towards) correct_match(movement,s1,s8,0,towards) correct_match(movement,s0,s8,0,towards) correct_match(movement,s0,s8,1,towards) correct_match(movement,s4,s8,1,towards) correct_match(movement,s4,s8,2,towards) correct_match(movement,s0,s8,2,towards) correct_match(movement,s0,s8,3,towards) correct_match(movement,s2,s8,3,towards) correct_match(movement,s6,s8,3,towards) correct_match(movement,s5,s8,4,towards) correct_match(movement,s2,s8,4,towards) correct_match(movement,s4,s8,5,towards) correct_match(movement,s5,s8,5,towards) correct_match(movement,s4,s8,6,towards) correct_match(movement,s4,s8,8,towards) correct_match(movement,s2,s8,9,towards) correct_match(movement,s4,s8,9,towards) correct_match(movement,s5,s8,10,towards) correct_match(movement,s1,s8,12,towards) correct_match(movement,s2,s8,15,towards) correct_match(movement,s1,s9,0,towards) correct_match(movement,s0,s9,0,towards) correct_match(movement,s0,s9,1,towards) correct_match(movement,s1,s9,1,towards) correct_match(movement,s3,s9,3,towards) correct_match(movement,s6,s9,6,towards) correct_match(movement,s3,s9,6,towards) correct_match(movement,s6,s9,8,towards) correct_match(movement,s6,s9,10,towards) correct_match(movement,s2,s9,17,towards) correct_match(movement,s4,s9,17,towards) correct_match(movement,s6,s9,17,towards) correct_match(movement,s0,s1,6,away) correct_match(movement,s0,s1,7,away) correct_match(movement,s0,s1,8,away) correct_match(movement,s0,s1,12,away) correct_match(movement,s0,s1,16,away) correct_match(movement,s0,s2,3,away) correct_match(movement,s1,s2,12,away) correct_match(movement,s0,s2,12,away) correct_match(movement,s0,s2,15,away) correct_match(movement,s1,s2,16,away) correct_match(movement,s0,s2,16,away) correct_match(movement,s0,s2,17,away) correct_match(movement,s1,s3,3,away) correct_match(movement,s2,s3,4,away) correct_match(movement,s1,s3,6,away) correct_match(movement,s0,s3,7,away) correct_match(movement,s1,s3,7,away) correct_match(movement,s1,s3,8,away) correct_match(movement,s0,s3,8,away) correct_match(movement,s1,s3,11,away) correct_match(movement,s2,s3,12,away) correct_match(movement,s1,s3,12,away) correct_match(movement,s0,s3,12,away) correct_match(movement,s0,s3,15,away) correct_match(movement,s2,s3,15,away) correct_match(movement,s1,s3,16,away) correct_match(movement,s0,s3,16,away) correct_match(movement,s0,s3,17,away) correct_match(movement,s2,s3,17,away) correct_match(movement,s2,s3,18,away) correct_match(movement,s0,s4,0,away) correct_match(movement,s0,s4,1,away) correct_match(movement,s0,s4,2,away) correct_match(movement,s0,s4,6,away) correct_match(movement,s0,s4,7,away) correct_match(movement,s3,s4,7,away) correct_match(movement,s3,s4,8,away) correct_match(movement,s0,s4,8,away) correct_match(movement,s2,s4,9,away) correct_match(movement,s0,s4,17,away) correct_match(movement,s3,s4,17,away) correct_match(movement,s3,s5,4,away) correct_match(movement,s2,s5,4,away) correct_match(movement,s4,s5,5,away) correct_match(movement,s1,s5,10,away) correct_match(movement,s1,s5,11,away) correct_match(movement,s3,s5,11,away) correct_match(movement,s3,s5,12,away) correct_match(movement,s2,s5,12,away) correct_match(movement,s1,s5,12,away) correct_match(movement,s2,s5,15,away) correct_match(movement,s3,s5,15,away) correct_match(movement,s3,s5,16,away) correct_match(movement,s1,s5,16,away) correct_match(movement,s0,s5,16,away) correct_match(movement,s1,s6,0,away) correct_match(movement,s0,s6,0,away) correct_match(movement,s0,s6,1,away) correct_match(movement,s0,s6,2,away) correct_match(movement,s0,s6,3,away) correct_match(movement,s3,s6,3,away) correct_match(movement,s5,s6,4,away) correct_match(movement,s3,s6,4,away) correct_match(movement,s2,s6,4,away) correct_match(movement,s3,s6,5,away) correct_match(movement,s5,s6,5,away) correct_match(movement,s3,s6,6,away) correct_match(movement,s0,s6,6,away) correct_match(movement,s0,s6,7,away) correct_match(movement,s3,s6,7,away) correct_match(movement,s3,s6,8,away) correct_match(movement,s1,s6,8,away) correct_match(movement,s0,s6,8,away) correct_match(movement,s2,s6,9,away) correct_match(movement,s5,s6,10,away) correct_match(movement,s1,s6,10,away) correct_match(movement,s3,s6,11,away) correct_match(movement,s5,s6,11,away) correct_match(movement,s5,s6,12,away) correct_match(movement,s3,s6,12,away) correct_match(movement,s2,s6,12,away) correct_match(movement,s1,s6,12,away) correct_match(movement,s0,s6,12,away) correct_match(movement,s3,s6,13,away) correct_match(movement,s0,s6,17,away) correct_match(movement,s2,s6,17,away) correct_match(movement,s3,s6,17,away) correct_match(movement,s4,s6,17,away) correct_match(movement,s3,s6,18,away) correct_match(movement,s2,s6,18,away) correct_match(movement,s6,s7,0,away) correct_match(movement,s4,s7,0,away) correct_match(movement,s4,s7,1,away) correct_match(movement,s6,s7,1,away) correct_match(movement,s6,s7,4,away) correct_match(movement,s5,s7,4,away) correct_match(movement,s2,s7,4,away) correct_match(movement,s4,s7,5,away) correct_match(movement,s5,s7,5,away) correct_match(movement,s6,s7,5,away) correct_match(movement,s6,s7,6,away) correct_match(movement,s4,s7,6,away) correct_match(movement,s1,s7,6,away) correct_match(movement,s0,s7,6,away) correct_match(movement,s0,s7,7,away) correct_match(movement,s1,s7,7,away) correct_match(movement,s4,s7,7,away) correct_match(movement,s6,s7,7,away) correct_match(movement,s6,s7,8,away) correct_match(movement,s4,s7,8,away) correct_match(movement,s3,s7,8,away) correct_match(movement,s1,s7,8,away) correct_match(movement,s0,s7,8,away) correct_match(movement,s1,s7,9,away) correct_match(movement,s2,s7,9,away) correct_match(movement,s4,s7,9,away) correct_match(movement,s6,s7,9,away) correct_match(movement,s6,s7,12,away) correct_match(movement,s5,s7,12,away) correct_match(movement,s2,s7,12,away) correct_match(movement,s1,s7,12,away) correct_match(movement,s0,s7,12,away) correct_match(movement,s3,s7,13,away) correct_match(movement,s6,s7,13,away) correct_match(movement,s3,s7,14,away) correct_match(movement,s0,s7,17,away) correct_match(movement,s2,s7,17,away) correct_match(movement,s3,s7,17,away) correct_match(movement,s4,s7,17,away) correct_match(movement,s6,s7,18,away) correct_match(movement,s3,s7,18,away) correct_match(movement,s2,s7,18,away) correct_match(movement,s7,s8,0,away) correct_match(movement,s6,s8,0,away) correct_match(movement,s1,s8,1,away) correct_match(movement,s6,s8,1,away) correct_match(movement,s7,s8,1,away) correct_match(movement,s6,s8,2,away) correct_match(movement,s1,s8,2,away) correct_match(movement,s1,s8,3,away) correct_match(movement,s3,s8,3,away) correct_match(movement,s7,s8,4,away) correct_match(movement,s6,s8,4,away) correct_match(movement,s3,s8,4,away) correct_match(movement,s3,s8,5,away) correct_match(movement,s6,s8,5,away) correct_match(movement,s7,s8,5,away) correct_match(movement,s7,s8,6,away) correct_match(movement,s6,s8,6,away) correct_match(movement,s3,s8,6,away) correct_match(movement,s1,s8,6,away) correct_match(movement,s0,s8,6,away) correct_match(movement,s0,s8,7,away) correct_match(movement,s1,s8,7,away) correct_match(movement,s3,s8,7,away) correct_match(movement,s4,s8,7,away) correct_match(movement,s6,s8,7,away) correct_match(movement,s7,s8,7,away) correct_match(movement,s7,s8,8,away) correct_match(movement,s6,s8,8,away) correct_match(movement,s3,s8,8,away) correct_match(movement,s1,s8,8,away) correct_match(movement,s0,s8,8,away) correct_match(movement,s1,s8,9,away) correct_match(movement,s6,s8,9,away) correct_match(movement,s7,s8,9,away) correct_match(movement,s6,s8,10,away) correct_match(movement,s1,s8,10,away) correct_match(movement,s1,s8,11,away) correct_match(movement,s3,s8,11,away) correct_match(movement,s5,s8,11,away) correct_match(movement,s6,s8,11,away) correct_match(movement,s7,s8,12,away) correct_match(movement,s6,s8,12,away) correct_match(movement,s5,s8,12,away) correct_match(movement,s3,s8,12,away) correct_match(movement,s2,s8,12,away) correct_match(movement,s0,s8,12,away) correct_match(movement,s3,s8,13,away) correct_match(movement,s6,s8,13,away) correct_match(movement,s7,s8,13,away) correct_match(movement,s7,s8,14,away) correct_match(movement,s3,s8,14,away) correct_match(movement,s0,s8,15,away) correct_match(movement,s3,s8,15,away) correct_match(movement,s5,s8,15,away) correct_match(movement,s5,s8,16,away) correct_match(movement,s3,s8,16,away) correct_match(movement,s1,s8,16,away) correct_match(movement,s0,s8,16,away) correct_match(movement,s8,s9,0,away) correct_match(movement,s7,s9,0,away) correct_match(movement,s6,s9,0,away) correct_match(movement,s4,s9,0,away) correct_match(movement,s4,s9,1,away) correct_match(movement,s6,s9,1,away) correct_match(movement,s7,s9,1,away) correct_match(movement,s8,s9,1,away) correct_match(movement,s8,s9,2,away) correct_match(movement,s6,s9,2,away) correct_match(movement,s4,s9,2,away) correct_match(movement,s1,s9,2,away) correct_match(movement,s0,s9,2,away) correct_match(movement,s0,s9,3,away) correct_match(movement,s1,s9,3,away) correct_match(movement,s2,s9,3,away) correct_match(movement,s6,s9,3,away) correct_match(movement,s8,s9,3,away) correct_match(movement,s8,s9,6,away) correct_match(movement,s7,s9,6,away) correct_match(movement,s4,s9,6,away) correct_match(movement,s1,s9,6,away) correct_match(movement,s0,s9,6,away) correct_match(movement,s0,s9,7,away) correct_match(movement,s1,s9,7,away) correct_match(movement,s3,s9,7,away) correct_match(movement,s4,s9,7,away) correct_match(movement,s6,s9,7,away) correct_match(movement,s7,s9,7,away) correct_match(movement,s8,s9,7,away) correct_match(movement,s8,s9,8,away) correct_match(movement,s7,s9,8,away) correct_match(movement,s4,s9,8,away) correct_match(movement,s3,s9,8,away) correct_match(movement,s1,s9,8,away) correct_match(movement,s0,s9,8,away) correct_match(movement,s1,s9,9,away) correct_match(movement,s2,s9,9,away) correct_match(movement,s4,s9,9,away) correct_match(movement,s6,s9,9,away) correct_match(movement,s7,s9,9,away) correct_match(movement,s8,s9,9,away) correct_match(movement,s8,s9,10,away) correct_match(movement,s5,s9,10,away) correct_match(movement,s1,s9,10,away) correct_match(movement,s0,s9,15,away) correct_match(movement,s2,s9,15,away) correct_match(movement,s3,s9,15,away) correct_match(movement,s5,s9,15,away) correct_match(movement,s8,s9,15,away) correct_match(movement,s8,s9,16,away) correct_match(movement,s5,s9,16,away) correct_match(movement,s3,s9,16,away) correct_match(movement,s1,s9,16,away) correct_match(movement,s0,s9,16,away) correct_match(movement,s0,s9,17,away) correct_match(movement,s3,s9,17,away) correct_match(movement,s7,s9,17,away) correct_match(movement,s1,s2,12,follows) correct_match(movement,s0,s3,3,follows) correct_match(movement,s0,s3,6,follows) correct_match(movement,s0,s3,7,follows) correct_match(movement,s0,s3,8,follows) correct_match(movement,s0,s3,12,follows) correct_match(movement,s2,s3,15,follows) correct_match(movement,s2,s3,18,follows) correct_match(movement,s1,s4,2,follows) correct_match(movement,s1,s4,7,follows) correct_match(movement,s2,s5,4,follows) correct_match(movement,s4,s5,5,follows) correct_match(movement,s2,s5,15,follows) correct_match(movement,s1,s6,0,follows) correct_match(movement,s1,s6,1,follows) correct_match(movement,s1,s6,2,follows) correct_match(movement,s1,s6,3,follows) correct_match(movement,s2,s6,3,follows) correct_match(movement,s3,s6,3,follows) correct_match(movement,s3,s6,5,follows) correct_match(movement,s1,s6,6,follows) correct_match(movement,s1,s6,7,follows) correct_match(movement,s1,s6,8,follows) correct_match(movement,s1,s6,9,follows) correct_match(movement,s1,s6,10,follows) correct_match(movement,s1,s6,11,follows) correct_match(movement,s1,s6,12,follows) correct_match(movement,s2,s6,12,follows) correct_match(movement,s2,s6,18,follows) correct_match(movement,s0,s7,0,follows) correct_match(movement,s1,s7,0,follows) correct_match(movement,s4,s7,0,follows) correct_match(movement,s0,s7,1,follows) correct_match(movement,s1,s7,1,follows) correct_match(movement,s6,s7,1,follows) correct_match(movement,s3,s7,4,follows) correct_match(movement,s5,s7,4,follows) correct_match(movement,s3,s7,5,follows) correct_match(movement,s5,s7,5,follows) correct_match(movement,s0,s7,6,follows) correct_match(movement,s1,s7,6,follows) correct_match(movement,s3,s7,6,follows) correct_match(movement,s4,s7,6,follows) correct_match(movement,s6,s7,6,follows) correct_match(movement,s0,s7,7,follows) correct_match(movement,s1,s7,7,follows) correct_match(movement,s3,s7,7,follows) correct_match(movement,s0,s7,8,follows) correct_match(movement,s3,s7,8,follows) correct_match(movement,s4,s7,8,follows) correct_match(movement,s3,s7,12,follows) correct_match(movement,s5,s7,12,follows) correct_match(movement,s6,s7,13,follows) correct_match(movement,s4,s7,17,follows) correct_match(movement,s6,s7,17,follows) correct_match(movement,s2,s7,18,follows) correct_match(movement,s6,s7,18,follows) correct_match(movement,s5,s8,10,follows) correct_match(movement,s0,s9,0,follows) correct_match(movement,s1,s9,0,follows) correct_match(movement,s4,s9,0,follows) correct_match(movement,s7,s9,0,follows) correct_match(movement,s8,s9,0,follows) correct_match(movement,s0,s9,1,follows) correct_match(movement,s1,s9,1,follows) correct_match(movement,s6,s9,1,follows) correct_match(movement,s7,s9,1,follows) correct_match(movement,s0,s9,2,follows) correct_match(movement,s1,s9,2,follows) correct_match(movement,s0,s9,3,follows) correct_match(movement,s1,s9,3,follows) correct_match(movement,s2,s9,3,follows) correct_match(movement,s3,s9,3,follows) correct_match(movement,s8,s9,3,follows) correct_match(movement,s0,s9,6,follows) correct_match(movement,s1,s9,6,follows) correct_match(movement,s3,s9,6,follows) correct_match(movement,s6,s9,6,follows) correct_match(movement,s7,s9,6,follows) correct_match(movement,s0,s9,7,follows) correct_match(movement,s1,s9,7,follows) correct_match(movement,s3,s9,7,follows) correct_match(movement,s6,s9,7,follows) correct_match(movement,s7,s9,7,follows) correct_match(movement,s8,s9,7,follows) correct_match(movement,s0,s9,8,follows) correct_match(movement,s3,s9,8,follows) correct_match(movement,s6,s9,8,follows) correct_match(movement,s7,s9,8,follows) correct_match(movement,s1,s9,9,follows) correct_match(movement,s6,s9,9,follows) correct_match(movement,s7,s9,9,follows) correct_match(movement,s6,s9,10,follows) correct_match(movement,s0,s4,0,followed_by) correct_match(movement,s0,s4,1,followed_by) correct_match(movement,s0,s2,3,followed_by) correct_match(movement,s0,s4,6,followed_by) correct_match(movement,s0,s4,8,followed_by) correct_match(movement,s0,s5,12,followed_by) correct_match(movement,s0,s2,15,followed_by) correct_match(movement,s0,s5,15,followed_by) correct_match(movement,s0,s5,16,followed_by) correct_match(movement,s0,s2,17,followed_by) correct_match(movement,s0,s4,17,followed_by) correct_match(movement,s0,s9,17,followed_by) correct_match(movement,s1,s8,0,followed_by) correct_match(movement,s1,s8,1,followed_by) correct_match(movement,s1,s8,2,followed_by) correct_match(movement,s1,s8,3,followed_by) correct_match(movement,s1,s8,6,followed_by) correct_match(movement,s1,s8,7,followed_by) correct_match(movement,s1,s8,9,followed_by) correct_match(movement,s1,s8,10,followed_by) correct_match(movement,s1,s8,12,followed_by) correct_match(movement,s2,s4,9,followed_by) correct_match(movement,s2,s8,12,followed_by) correct_match(movement,s2,s4,17,followed_by) correct_match(movement,s2,s9,17,followed_by) correct_match(movement,s3,s5,4,followed_by) correct_match(movement,s3,s5,5,followed_by) correct_match(movement,s3,s4,6,followed_by) correct_match(movement,s3,s4,8,followed_by) correct_match(movement,s3,s5,11,followed_by) correct_match(movement,s3,s5,12,followed_by) correct_match(movement,s3,s5,15,followed_by) correct_match(movement,s3,s5,16,followed_by) correct_match(movement,s3,s4,17,followed_by) correct_match(movement,s3,s6,17,followed_by) correct_match(movement,s4,s6,2,followed_by) correct_match(movement,s4,s8,2,followed_by) correct_match(movement,s4,s6,7,followed_by) correct_match(movement,s4,s8,7,followed_by) correct_match(movement,s4,s9,8,followed_by) correct_match(movement,s4,s6,9,followed_by) correct_match(movement,s4,s9,17,followed_by) correct_match(movement,s6,s8,0,followed_by) correct_match(movement,s6,s8,1,followed_by) correct_match(movement,s6,s8,2,followed_by) correct_match(movement,s6,s8,3,followed_by) correct_match(movement,s6,s8,4,followed_by) correct_match(movement,s6,s8,5,followed_by) correct_match(movement,s6,s8,6,followed_by) correct_match(movement,s6,s8,7,followed_by) correct_match(movement,s6,s8,8,followed_by) correct_match(movement,s6,s8,9,followed_by) correct_match(movement,s6,s8,10,followed_by) correct_match(movement,s6,s8,12,followed_by) correct_match(movement,s7,s8,0,followed_by) wrong_match(topology,s0,s1,18,dr) wrong_match(topology,s0,s3,18,dr) wrong_match(topology,s1,s3,18,dr) wrong_match(topology,s0,s4,18,dr) wrong_match(topology,s1,s4,18,dr) wrong_match(topology,s2,s4,18,dr) wrong_match(topology,s3,s4,18,dr) wrong_match(topology,s0,s5,18,dr) wrong_match(topology,s1,s5,18,dr) wrong_match(topology,s4,s5,18,dr) wrong_match(topology,s0,s7,18,dr) wrong_match(topology,s1,s7,18,dr) wrong_match(topology,s4,s7,18,dr) wrong_match(topology,s0,s8,18,dr) wrong_match(topology,s1,s8,18,dr) wrong_match(topology,s4,s8,18,dr) wrong_match(topology,s0,s9,18,dr) wrong_match(topology,s1,s9,18,dr) wrong_match(topology,s2,s9,18,dr) wrong_match(topology,s3,s9,18,dr) wrong_match(topology,s4,s9,18,dr) wrong_match(topology,s5,s9,18,dr) wrong_match(topology,s6,s9,18,dr) wrong_match(topology,s7,s9,18,dr) wrong_match(topology,s8,s9,18,dr) wrong_match(topology,s0,s6,18,dr) wrong_match(topology,s1,s6,18,dr) wrong_match(topology,s4,s6,18,dr) wrong_match(topology,s0,s2,18,dr) wrong_match(topology,s1,s2,18,dr) wrong_match(topology,s1,s9,17,dr) wrong_match(topology,s1,s8,17,dr) wrong_match(topology,s1,s6,17,dr) wrong_match(topology,s1,s5,17,dr) wrong_match(topology,s1,s4,17,dr) wrong_match(topology,s1,s3,17,dr) wrong_match(topology,s1,s2,17,dr) wrong_match(topology,s0,s1,17,dr) wrong_match(topology,s1,s7,17,dr) wrong_match(topology,s0,s1,18,dc) wrong_match(topology,s0,s3,18,dc) wrong_match(topology,s1,s3,18,dc) wrong_match(topology,s0,s4,18,dc) wrong_match(topology,s1,s4,18,dc) wrong_match(topology,s2,s4,18,dc) wrong_match(topology,s3,s4,18,dc) wrong_match(topology,s0,s5,18,dc) wrong_match(topology,s1,s5,18,dc) wrong_match(topology,s4,s5,18,dc) wrong_match(topology,s0,s7,18,dc) wrong_match(topology,s1,s7,18,dc) wrong_match(topology,s4,s7,18,dc) wrong_match(topology,s0,s8,18,dc) wrong_match(topology,s1,s8,18,dc) wrong_match(topology,s4,s8,18,dc) wrong_match(topology,s0,s9,18,dc) wrong_match(topology,s1,s9,18,dc) wrong_match(topology,s2,s9,18,dc) wrong_match(topology,s3,s9,18,dc) wrong_match(topology,s4,s9,18,dc) wrong_match(topology,s5,s9,18,dc) wrong_match(topology,s6,s9,18,dc) wrong_match(topology,s7,s9,18,dc) wrong_match(topology,s8,s9,18,dc) wrong_match(topology,s0,s6,18,dc) wrong_match(topology,s1,s6,18,dc) wrong_match(topology,s4,s6,18,dc) wrong_match(topology,s0,s2,18,dc) wrong_match(topology,s1,s2,18,dc) wrong_match(topology,s1,s9,17,dc) wrong_match(topology,s1,s8,17,dc) wrong_match(topology,s1,s6,17,dc) wrong_match(topology,s1,s5,17,dc) wrong_match(topology,s1,s4,17,dc) wrong_match(topology,s1,s3,17,dc) wrong_match(topology,s1,s2,17,dc) wrong_match(topology,s0,s1,17,dc) wrong_match(topology,s1,s7,17,dc) wrong_match(topology,s0,s1,5,o) wrong_match(topology,s0,s1,5,c) wrong_match(topology,s0,s1,5,split) wrong_match(topology,s0,s1,5,po) wrong_match(movement,s0,s2,1,towards) wrong_match(movement,s2,s3,1,towards) wrong_match(movement,s0,s3,4,towards) wrong_match(movement,s2,s4,0,towards) wrong_match(movement,s2,s4,15,towards) wrong_match(movement,s1,s4,17,towards) wrong_match(movement,s2,s4,18,towards) wrong_match(movement,s1,s4,18,towards) wrong_match(movement,s4,s5,0,towards) wrong_match(movement,s4,s5,6,towards) wrong_match(movement,s0,s5,7,towards) wrong_match(movement,s4,s5,8,towards) wrong_match(movement,s0,s5,9,towards) wrong_match(movement,s0,s5,18,towards) wrong_match(movement,s2,s6,0,towards) wrong_match(movement,s5,s7,1,towards) wrong_match(movement,s5,s7,2,towards) wrong_match(movement,s0,s7,4,towards) wrong_match(movement,s5,s7,9,towards) wrong_match(movement,s3,s7,10,towards) wrong_match(movement,s2,s8,0,towards) wrong_match(movement,s2,s8,1,towards) wrong_match(movement,s4,s8,18,towards) wrong_match(movement,s3,s9,2,towards) wrong_match(movement,s0,s9,4,towards) wrong_match(movement,s2,s9,13,towards) wrong_match(movement,s5,s9,17,towards) wrong_match(movement,s6,s9,18,towards) wrong_match(movement,s4,s9,18,towards) wrong_match(movement,s2,s9,18,towards) wrong_match(movement,s0,s1,17,away) wrong_match(movement,s0,s1,18,away) wrong_match(movement,s1,s2,14,away) wrong_match(movement,s1,s2,17,away) wrong_match(movement,s1,s2,18,away) wrong_match(movement,s0,s2,18,away) wrong_match(movement,s2,s3,0,away) wrong_match(movement,s2,s3,13,away) wrong_match(movement,s1,s3,17,away) wrong_match(movement,s1,s3,18,away) wrong_match(movement,s0,s3,18,away) wrong_match(movement,s2,s4,1,away) wrong_match(movement,s2,s4,13,away) wrong_match(movement,s3,s4,18,away) wrong_match(movement,s0,s4,18,away) wrong_match(movement,s2,s5,0,away) wrong_match(movement,s2,s5,1,away) wrong_match(movement,s3,s5,6,away) wrong_match(movement,s2,s5,13,away) wrong_match(movement,s1,s5,17,away) wrong_match(movement,s4,s5,18,away) wrong_match(movement,s1,s5,18,away) wrong_match(movement,s2,s6,1,away) wrong_match(movement,s4,s6,11,away) wrong_match(movement,s2,s6,13,away) wrong_match(movement,s1,s6,17,away) wrong_match(movement,s4,s6,18,away) wrong_match(movement,s1,s6,18,away) wrong_match(movement,s0,s6,18,away) wrong_match(movement,s5,s7,0,away) wrong_match(movement,s2,s7,0,away) wrong_match(movement,s2,s7,1,away) wrong_match(movement,s0,s7,3,away) wrong_match(movement,s2,s7,13,away) wrong_match(movement,s1,s7,17,away) wrong_match(movement,s4,s7,18,away) wrong_match(movement,s1,s7,18,away) wrong_match(movement,s0,s7,18,away) wrong_match(movement,s2,s8,8,away) wrong_match(movement,s2,s8,13,away) wrong_match(movement,s1,s8,17,away) wrong_match(movement,s1,s8,18,away) wrong_match(movement,s0,s8,18,away) wrong_match(movement,s2,s9,0,away) wrong_match(movement,s2,s9,1,away) wrong_match(movement,s2,s9,14,away) wrong_match(movement,s1,s9,17,away) wrong_match(movement,s8,s9,18,away) wrong_match(movement,s7,s9,18,away) wrong_match(movement,s5,s9,18,away) wrong_match(movement,s3,s9,18,away) wrong_match(movement,s1,s9,18,away) wrong_match(movement,s0,s9,18,away) wrong_match(movement,s1,s2,0,follows) wrong_match(movement,s1,s2,14,follows) wrong_match(movement,s2,s3,7,follows) wrong_match(movement,s2,s3,13,follows) wrong_match(movement,s2,s5,1,follows) wrong_match(movement,s2,s5,3,follows) wrong_match(movement,s2,s5,13,follows) wrong_match(movement,s4,s5,18,follows) wrong_match(movement,s4,s6,14,follows) wrong_match(movement,s4,s6,18,follows) wrong_match(movement,s2,s7,2,follows) wrong_match(movement,s2,s7,7,follows) wrong_match(movement,s4,s7,12,follows) wrong_match(movement,s2,s7,13,follows) wrong_match(movement,s4,s7,14,follows) wrong_match(movement,s5,s7,17,follows) wrong_match(movement,s4,s7,18,follows) wrong_match(movement,s2,s8,13,follows) wrong_match(movement,s4,s8,18,follows) wrong_match(movement,s2,s9,7,follows) wrong_match(movement,s4,s9,12,follows) wrong_match(movement,s0,s2,1,followed_by) wrong_match(movement,s0,s2,7,followed_by) wrong_match(movement,s0,s2,13,followed_by) wrong_match(movement,s0,s2,18,followed_by) wrong_match(movement,s0,s4,18,followed_by) wrong_match(movement,s0,s5,18,followed_by) wrong_match(movement,s1,s2,17,followed_by) wrong_match(movement,s1,s9,17,followed_by) wrong_match(movement,s1,s4,18,followed_by) wrong_match(movement,s2,s3,0,followed_by) wrong_match(movement,s2,s6,0,followed_by) wrong_match(movement,s2,s8,0,followed_by) wrong_match(movement,s2,s4,1,followed_by) wrong_match(movement,s2,s4,13,followed_by) wrong_match(movement,s2,s4,18,followed_by) wrong_match(movement,s3,s4,18,followed_by) wrong_match(movement,s4,s6,11,followed_by) wrong_match(movement,s5,s9,13,followed_by) wrong_match(movement,s8,s9,13,followed_by) correct_match(topology,s2,s5,18,dr) correct_match(topology,s3,s5,18,dr) correct_match(topology,s5,s6,18,dr) correct_match(topology,s5,s7,18,dr) correct_match(topology,s2,s8,18,dr) correct_match(topology,s3,s8,18,dr) correct_match(topology,s5,s8,18,dr) correct_match(topology,s6,s8,18,dr) correct_match(topology,s7,s8,18,dr) correct_match(topology,s8,s9,17,dr) correct_match(topology,s5,s9,17,dr) correct_match(topology,s5,s7,17,dr) correct_match(topology,s5,s6,17,dr) correct_match(topology,s4,s5,17,dr) correct_match(topology,s3,s5,17,dr) correct_match(topology,s2,s5,17,dr) correct_match(topology,s0,s5,17,dr) correct_match(topology,s7,s8,17,dr) correct_match(topology,s6,s8,17,dr) correct_match(topology,s5,s8,17,dr) correct_match(topology,s4,s8,17,dr) correct_match(topology,s3,s8,17,dr) correct_match(topology,s2,s8,17,dr) correct_match(topology,s0,s8,17,dr) correct_match(topology,s0,s4,16,dr) correct_match(topology,s1,s4,16,dr) correct_match(topology,s2,s4,16,dr) correct_match(topology,s3,s4,16,dr) correct_match(topology,s4,s5,16,dr) correct_match(topology,s0,s6,16,dr) correct_match(topology,s1,s6,16,dr) correct_match(topology,s2,s6,16,dr) correct_match(topology,s3,s6,16,dr) correct_match(topology,s4,s6,16,dr) correct_match(topology,s5,s6,16,dr) correct_match(topology,s0,s7,16,dr) correct_match(topology,s1,s7,16,dr) correct_match(topology,s2,s7,16,dr) correct_match(topology,s3,s7,16,dr) correct_match(topology,s4,s7,16,dr) correct_match(topology,s5,s7,16,dr) correct_match(topology,s6,s7,16,dr) correct_match(topology,s4,s9,16,dr) correct_match(topology,s6,s9,16,dr) correct_match(topology,s7,s9,16,dr) correct_match(topology,s4,s8,16,dr) correct_match(topology,s6,s8,16,dr) correct_match(topology,s7,s8,16,dr) correct_match(topology,s7,s9,15,dr) correct_match(topology,s6,s9,15,dr) correct_match(topology,s4,s9,15,dr) correct_match(topology,s1,s9,15,dr) correct_match(topology,s7,s8,15,dr) correct_match(topology,s6,s8,15,dr) correct_match(topology,s4,s8,15,dr) correct_match(topology,s1,s8,15,dr) correct_match(topology,s6,s7,15,dr) correct_match(topology,s5,s7,15,dr) correct_match(topology,s4,s7,15,dr) correct_match(topology,s3,s7,15,dr) correct_match(topology,s2,s7,15,dr) correct_match(topology,s1,s7,15,dr) correct_match(topology,s0,s7,15,dr) correct_match(topology,s5,s6,15,dr) correct_match(topology,s4,s6,15,dr) correct_match(topology,s3,s6,15,dr) correct_match(topology,s2,s6,15,dr) correct_match(topology,s1,s6,15,dr) correct_match(topology,s0,s6,15,dr) correct_match(topology,s4,s5,15,dr) correct_match(topology,s1,s5,15,dr) correct_match(topology,s1,s3,15,dr) correct_match(topology,s1,s2,15,dr) correct_match(topology,s0,s1,15,dr) correct_match(topology,s3,s4,15,dr) correct_match(topology,s2,s4,15,dr) correct_match(topology,s1,s4,15,dr) correct_match(topology,s0,s4,15,dr) correct_match(topology,s0,s2,14,dr) correct_match(topology,s1,s2,14,dr) correct_match(topology,s0,s3,14,dr) correct_match(topology,s1,s3,14,dr) correct_match(topology,s2,s3,14,dr) correct_match(topology,s0,s4,14,dr) correct_match(topology,s1,s4,14,dr) correct_match(topology,s2,s4,14,dr) correct_match(topology,s3,s4,14,dr) correct_match(topology,s0,s5,14,dr) correct_match(topology,s1,s5,14,dr) correct_match(topology,s2,s5,14,dr) correct_match(topology,s3,s5,14,dr) correct_match(topology,s4,s5,14,dr) correct_match(topology,s0,s6,14,dr) correct_match(topology,s1,s6,14,dr) correct_match(topology,s2,s6,14,dr) correct_match(topology,s3,s6,14,dr) correct_match(topology,s4,s6,14,dr) correct_match(topology,s5,s6,14,dr) correct_match(topology,s0,s7,14,dr) correct_match(topology,s1,s7,14,dr) correct_match(topology,s2,s7,14,dr) correct_match(topology,s4,s7,14,dr) correct_match(topology,s5,s7,14,dr) correct_match(topology,s6,s7,14,dr) correct_match(topology,s0,s8,14,dr) correct_match(topology,s1,s8,14,dr) correct_match(topology,s2,s8,14,dr) correct_match(topology,s4,s8,14,dr) correct_match(topology,s5,s8,14,dr) correct_match(topology,s6,s8,14,dr) correct_match(topology,s0,s9,14,dr) correct_match(topology,s1,s9,14,dr) correct_match(topology,s2,s9,14,dr) correct_match(topology,s3,s9,14,dr) correct_match(topology,s4,s9,14,dr) correct_match(topology,s5,s9,14,dr) correct_match(topology,s6,s9,14,dr) correct_match(topology,s7,s9,14,dr) correct_match(topology,s8,s9,14,dr) correct_match(topology,s0,s1,14,dr) correct_match(topology,s8,s9,13,dr) correct_match(topology,s7,s9,13,dr) correct_match(topology,s6,s9,13,dr) correct_match(topology,s5,s9,13,dr) correct_match(topology,s4,s9,13,dr) correct_match(topology,s3,s9,13,dr) correct_match(topology,s2,s9,13,dr) correct_match(topology,s1,s9,13,dr) correct_match(topology,s0,s9,13,dr) correct_match(topology,s5,s8,13,dr) correct_match(topology,s4,s8,13,dr) correct_match(topology,s2,s8,13,dr) correct_match(topology,s1,s8,13,dr) correct_match(topology,s0,s8,13,dr) correct_match(topology,s5,s7,13,dr) correct_match(topology,s4,s7,13,dr) correct_match(topology,s2,s7,13,dr) correct_match(topology,s1,s7,13,dr) correct_match(topology,s0,s7,13,dr) correct_match(topology,s5,s6,13,dr) correct_match(topology,s4,s6,13,dr) correct_match(topology,s2,s6,13,dr) correct_match(topology,s1,s6,13,dr) correct_match(topology,s0,s6,13,dr) correct_match(topology,s4,s5,13,dr) correct_match(topology,s3,s5,13,dr) correct_match(topology,s2,s5,13,dr) correct_match(topology,s1,s5,13,dr) correct_match(topology,s0,s5,13,dr) correct_match(topology,s2,s3,13,dr) correct_match(topology,s1,s3,13,dr) correct_match(topology,s0,s3,13,dr) correct_match(topology,s1,s2,13,dr) correct_match(topology,s0,s2,13,dr) correct_match(topology,s0,s1,13,dr) correct_match(topology,s3,s4,13,dr) correct_match(topology,s2,s4,13,dr) correct_match(topology,s1,s4,13,dr) correct_match(topology,s0,s4,13,dr) correct_match(topology,s0,s4,12,dr) correct_match(topology,s1,s4,12,dr) correct_match(topology,s2,s4,12,dr) correct_match(topology,s3,s4,12,dr) correct_match(topology,s4,s5,12,dr) correct_match(topology,s4,s6,12,dr) correct_match(topology,s4,s7,12,dr) correct_match(topology,s4,s8,12,dr) correct_match(topology,s0,s9,12,dr) correct_match(topology,s1,s9,12,dr) correct_match(topology,s2,s9,12,dr) correct_match(topology,s3,s9,12,dr) correct_match(topology,s4,s9,12,dr) correct_match(topology,s5,s9,12,dr) correct_match(topology,s6,s9,12,dr) correct_match(topology,s7,s9,12,dr) correct_match(topology,s8,s9,12,dr) correct_match(topology,s8,s9,11,dr) correct_match(topology,s7,s9,11,dr) correct_match(topology,s6,s9,11,dr) correct_match(topology,s5,s9,11,dr) correct_match(topology,s4,s9,11,dr) correct_match(topology,s3,s9,11,dr) correct_match(topology,s2,s9,11,dr) correct_match(topology,s1,s9,11,dr) correct_match(topology,s0,s9,11,dr) correct_match(topology,s7,s8,11,dr) correct_match(topology,s4,s8,11,dr) correct_match(topology,s0,s8,11,dr) correct_match(topology,s6,s7,11,dr) correct_match(topology,s5,s7,11,dr) correct_match(topology,s4,s7,11,dr) correct_match(topology,s3,s7,11,dr) correct_match(topology,s2,s7,11,dr) correct_match(topology,s1,s7,11,dr) correct_match(topology,s0,s7,11,dr) correct_match(topology,s4,s6,11,dr) correct_match(topology,s0,s6,11,dr) correct_match(topology,s4,s5,11,dr) correct_match(topology,s0,s5,11,dr) correct_match(topology,s0,s3,11,dr) correct_match(topology,s0,s2,11,dr) correct_match(topology,s0,s1,11,dr) correct_match(topology,s3,s4,11,dr) correct_match(topology,s2,s4,11,dr) correct_match(topology,s1,s4,11,dr) correct_match(topology,s0,s4,11,dr) correct_match(topology,s0,s1,10,dr) correct_match(topology,s0,s2,10,dr) correct_match(topology,s0,s3,10,dr) correct_match(topology,s1,s3,10,dr) correct_match(topology,s2,s3,10,dr) correct_match(topology,s0,s4,10,dr) correct_match(topology,s1,s4,10,dr) correct_match(topology,s2,s4,10,dr) correct_match(topology,s3,s4,10,dr) correct_match(topology,s0,s5,10,dr) correct_match(topology,s3,s5,10,dr) correct_match(topology,s4,s5,10,dr) correct_match(topology,s0,s6,10,dr) correct_match(topology,s3,s6,10,dr) correct_match(topology,s4,s6,10,dr) correct_match(topology,s0,s7,10,dr) correct_match(topology,s1,s7,10,dr) correct_match(topology,s2,s7,10,dr) correct_match(topology,s3,s7,10,dr) correct_match(topology,s4,s7,10,dr) correct_match(topology,s5,s7,10,dr) correct_match(topology,s6,s7,10,dr) correct_match(topology,s0,s8,10,dr) correct_match(topology,s3,s8,10,dr) correct_match(topology,s4,s8,10,dr) correct_match(topology,s7,s8,10,dr) correct_match(topology,s0,s9,10,dr) correct_match(topology,s3,s9,10,dr) correct_match(topology,s4,s9,10,dr) correct_match(topology,s7,s9,10,dr) correct_match(topology,s5,s9,9,dr) correct_match(topology,s3,s9,9,dr) correct_match(topology,s0,s9,9,dr) correct_match(topology,s5,s8,9,dr) correct_match(topology,s3,s8,9,dr) correct_match(topology,s0,s8,9,dr) correct_match(topology,s5,s7,9,dr) correct_match(topology,s3,s7,9,dr) correct_match(topology,s0,s7,9,dr) correct_match(topology,s5,s6,9,dr) correct_match(topology,s3,s6,9,dr) correct_match(topology,s0,s6,9,dr) correct_match(topology,s4,s5,9,dr) correct_match(topology,s3,s5,9,dr) correct_match(topology,s2,s5,9,dr) correct_match(topology,s0,s5,9,dr) correct_match(topology,s3,s4,9,dr) correct_match(topology,s0,s4,9,dr) correct_match(topology,s2,s3,9,dr) correct_match(topology,s1,s3,9,dr) correct_match(topology,s0,s3,9,dr) correct_match(topology,s0,s2,9,dr) correct_match(topology,s0,s1,9,dr) correct_match(topology,s0,s2,8,dr) correct_match(topology,s1,s2,8,dr) correct_match(topology,s2,s3,8,dr) correct_match(topology,s0,s5,8,dr) correct_match(topology,s2,s5,8,dr) correct_match(topology,s3,s5,8,dr) correct_match(topology,s4,s5,8,dr) correct_match(topology,s2,s6,8,dr) correct_match(topology,s5,s6,8,dr) correct_match(topology,s2,s7,8,dr) correct_match(topology,s5,s7,8,dr) correct_match(topology,s2,s8,8,dr) correct_match(topology,s5,s8,8,dr) correct_match(topology,s2,s9,8,dr) correct_match(topology,s5,s9,8,dr) correct_match(topology,s2,s4,8,dr) correct_match(topology,s5,s9,7,dr) correct_match(topology,s2,s9,7,dr) correct_match(topology,s5,s8,7,dr) correct_match(topology,s2,s8,7,dr) correct_match(topology,s5,s7,7,dr) correct_match(topology,s2,s7,7,dr) correct_match(topology,s5,s6,7,dr) correct_match(topology,s2,s6,7,dr) correct_match(topology,s4,s5,7,dr) correct_match(topology,s3,s5,7,dr) correct_match(topology,s2,s5,7,dr) correct_match(topology,s1,s5,7,dr) correct_match(topology,s0,s5,7,dr) correct_match(topology,s2,s4,7,dr) correct_match(topology,s2,s3,7,dr) correct_match(topology,s1,s2,7,dr) correct_match(topology,s0,s2,7,dr) correct_match(topology,s0,s2,6,dr) correct_match(topology,s1,s2,6,dr) correct_match(topology,s2,s3,6,dr) correct_match(topology,s0,s5,6,dr) correct_match(topology,s1,s5,6,dr) correct_match(topology,s2,s5,6,dr) correct_match(topology,s3,s5,6,dr) correct_match(topology,s4,s5,6,dr) correct_match(topology,s2,s6,6,dr) correct_match(topology,s5,s6,6,dr) correct_match(topology,s2,s7,6,dr) correct_match(topology,s5,s7,6,dr) correct_match(topology,s2,s8,6,dr) correct_match(topology,s5,s8,6,dr) correct_match(topology,s2,s9,6,dr) correct_match(topology,s5,s9,6,dr) correct_match(topology,s2,s4,6,dr) correct_match(topology,s0,s4,4,dr) correct_match(topology,s1,s4,4,dr) correct_match(topology,s2,s4,4,dr) correct_match(topology,s3,s4,4,dr) correct_match(topology,s8,s9,5,dr) correct_match(topology,s7,s9,5,dr) correct_match(topology,s6,s9,5,dr) correct_match(topology,s5,s9,5,dr) correct_match(topology,s4,s9,5,dr) correct_match(topology,s3,s9,5,dr) correct_match(topology,s2,s9,5,dr) correct_match(topology,s1,s9,5,dr) correct_match(topology,s0,s9,5,dr) correct_match(topology,s2,s8,5,dr) correct_match(topology,s1,s8,5,dr) correct_match(topology,s0,s8,5,dr) correct_match(topology,s2,s7,5,dr) correct_match(topology,s1,s7,5,dr) correct_match(topology,s0,s7,5,dr) correct_match(topology,s2,s6,5,dr) correct_match(topology,s1,s6,5,dr) correct_match(topology,s0,s6,5,dr) correct_match(topology,s2,s5,5,dr) correct_match(topology,s1,s5,5,dr) correct_match(topology,s0,s5,5,dr) correct_match(topology,s2,s4,5,dr) correct_match(topology,s1,s4,5,dr) correct_match(topology,s0,s4,5,dr) correct_match(topology,s2,s3,5,dr) correct_match(topology,s1,s3,5,dr) correct_match(topology,s0,s3,5,dr) correct_match(topology,s1,s2,5,dr) correct_match(topology,s0,s2,5,dr) correct_match(topology,s4,s5,4,dr) correct_match(topology,s4,s6,4,dr) correct_match(topology,s4,s7,4,dr) correct_match(topology,s4,s8,4,dr) correct_match(topology,s4,s9,4,dr) correct_match(topology,s0,s3,2,dr) correct_match(topology,s1,s3,2,dr) correct_match(topology,s2,s3,2,dr) correct_match(topology,s4,s5,1,dr) correct_match(topology,s3,s5,1,dr) correct_match(topology,s2,s5,1,dr) correct_match(topology,s1,s5,1,dr) correct_match(topology,s0,s5,1,dr) correct_match(topology,s6,s7,3,dr) correct_match(topology,s5,s7,3,dr) correct_match(topology,s4,s7,3,dr) correct_match(topology,s3,s7,3,dr) correct_match(topology,s2,s7,3,dr) correct_match(topology,s1,s7,3,dr) correct_match(topology,s0,s7,3,dr) correct_match(topology,s0,s8,4,dr) correct_match(topology,s1,s8,4,dr) correct_match(topology,s0,s7,4,dr) correct_match(topology,s1,s7,4,dr) correct_match(topology,s0,s5,4,dr) correct_match(topology,s1,s5,4,dr) correct_match(topology,s0,s3,4,dr) correct_match(topology,s1,s3,4,dr) correct_match(topology,s0,s2,4,dr) correct_match(topology,s1,s2,4,dr) correct_match(topology,s0,s6,4,dr) correct_match(topology,s1,s6,4,dr) correct_match(topology,s2,s3,1,dr) correct_match(topology,s1,s3,1,dr) correct_match(topology,s0,s3,1,dr) correct_match(topology,s0,s3,0,dr) correct_match(topology,s1,s3,0,dr) correct_match(topology,s2,s3,0,dr) correct_match(topology,s0,s5,0,dr) correct_match(topology,s1,s5,0,dr) correct_match(topology,s2,s5,0,dr) correct_match(topology,s3,s5,0,dr) correct_match(topology,s4,s5,0,dr) correct_match(topology,s0,s7,2,dr) correct_match(topology,s1,s7,2,dr) correct_match(topology,s2,s7,2,dr) correct_match(topology,s3,s7,2,dr) correct_match(topology,s4,s7,2,dr) correct_match(topology,s5,s7,2,dr) correct_match(topology,s6,s7,2,dr) correct_match(topology,s0,s9,4,dr) correct_match(topology,s1,s9,4,dr) correct_match(topology,s2,s9,4,dr) correct_match(topology,s3,s9,4,dr) correct_match(topology,s5,s9,4,dr) correct_match(topology,s6,s9,4,dr) correct_match(topology,s7,s9,4,dr) correct_match(topology,s8,s9,4,dr) correct_match(topology,s0,s2,2,dr) correct_match(topology,s1,s2,2,dr) correct_match(topology,s4,s5,3,dr) correct_match(topology,s3,s5,3,dr) correct_match(topology,s2,s5,3,dr) correct_match(topology,s1,s5,3,dr) correct_match(topology,s0,s5,3,dr) correct_match(topology,s1,s2,1,dr) correct_match(topology,s0,s2,1,dr) correct_match(topology,s0,s2,0,dr) correct_match(topology,s1,s2,0,dr) correct_match(topology,s3,s4,3,dr) correct_match(topology,s2,s4,3,dr) correct_match(topology,s1,s4,3,dr) correct_match(topology,s0,s4,3,dr) correct_match(topology,s0,s5,2,dr) correct_match(topology,s1,s5,2,dr) correct_match(topology,s2,s5,2,dr) correct_match(topology,s3,s5,2,dr) correct_match(topology,s4,s5,2,dr) correct_match(topology,s3,s4,2,dr) correct_match(topology,s3,s6,2,dr) correct_match(topology,s3,s8,2,dr) correct_match(topology,s3,s9,2,dr) correct_match(topology,s5,s9,1,dr) correct_match(topology,s5,s8,1,dr) correct_match(topology,s5,s7,1,dr) correct_match(topology,s5,s6,1,dr) correct_match(topology,s7,s9,3,dr) correct_match(topology,s7,s8,3,dr) correct_match(topology,s3,s9,1,dr) correct_match(topology,s3,s8,1,dr) correct_match(topology,s3,s7,1,dr) correct_match(topology,s3,s6,1,dr) correct_match(topology,s3,s4,1,dr) correct_match(topology,s3,s4,0,dr) correct_match(topology,s3,s6,0,dr) correct_match(topology,s3,s7,0,dr) correct_match(topology,s3,s8,0,dr) correct_match(topology,s3,s9,0,dr) correct_match(topology,s5,s6,0,dr) correct_match(topology,s5,s7,0,dr) correct_match(topology,s5,s8,0,dr) correct_match(topology,s5,s9,0,dr) correct_match(topology,s7,s8,2,dr) correct_match(topology,s7,s9,2,dr) correct_match(topology,s2,s4,2,dr) correct_match(topology,s2,s6,2,dr) correct_match(topology,s2,s8,2,dr) correct_match(topology,s2,s9,2,dr) correct_match(topology,s5,s9,3,dr) correct_match(topology,s5,s8,3,dr) correct_match(topology,s5,s6,3,dr) correct_match(topology,s2,s9,1,dr) correct_match(topology,s2,s8,1,dr) correct_match(topology,s2,s7,1,dr) correct_match(topology,s2,s6,1,dr) correct_match(topology,s2,s4,1,dr) correct_match(topology,s2,s4,0,dr) correct_match(topology,s2,s6,0,dr) correct_match(topology,s2,s7,0,dr) correct_match(topology,s2,s8,0,dr) correct_match(topology,s2,s9,0,dr) correct_match(topology,s4,s9,3,dr) correct_match(topology,s4,s8,3,dr) correct_match(topology,s4,s6,3,dr) correct_match(topology,s5,s6,2,dr) correct_match(topology,s5,s8,2,dr) correct_match(topology,s5,s9,2,dr) correct_match(topology,s2,s5,18,dc) correct_match(topology,s3,s5,18,dc) correct_match(topology,s5,s6,18,dc) correct_match(topology,s5,s7,18,dc) correct_match(topology,s2,s8,18,dc) correct_match(topology,s3,s8,18,dc) correct_match(topology,s5,s8,18,dc) correct_match(topology,s6,s8,18,dc) correct_match(topology,s7,s8,18,dc) correct_match(topology,s8,s9,17,dc) correct_match(topology,s5,s9,17,dc) correct_match(topology,s5,s7,17,dc) correct_match(topology,s5,s6,17,dc) correct_match(topology,s4,s5,17,dc) correct_match(topology,s3,s5,17,dc) correct_match(topology,s2,s5,17,dc) correct_match(topology,s0,s5,17,dc) correct_match(topology,s7,s8,17,dc) correct_match(topology,s6,s8,17,dc) correct_match(topology,s5,s8,17,dc) correct_match(topology,s4,s8,17,dc) correct_match(topology,s3,s8,17,dc) correct_match(topology,s2,s8,17,dc) correct_match(topology,s0,s8,17,dc) correct_match(topology,s0,s4,16,dc) correct_match(topology,s1,s4,16,dc) correct_match(topology,s2,s4,16,dc) correct_match(topology,s3,s4,16,dc) correct_match(topology,s4,s5,16,dc) correct_match(topology,s0,s6,16,dc) correct_match(topology,s1,s6,16,dc) correct_match(topology,s2,s6,16,dc) correct_match(topology,s3,s6,16,dc) correct_match(topology,s4,s6,16,dc) correct_match(topology,s5,s6,16,dc) correct_match(topology,s0,s7,16,dc) correct_match(topology,s1,s7,16,dc) correct_match(topology,s2,s7,16,dc) correct_match(topology,s3,s7,16,dc) correct_match(topology,s4,s7,16,dc) correct_match(topology,s5,s7,16,dc) correct_match(topology,s6,s7,16,dc) correct_match(topology,s4,s9,16,dc) correct_match(topology,s6,s9,16,dc) correct_match(topology,s7,s9,16,dc) correct_match(topology,s4,s8,16,dc) correct_match(topology,s6,s8,16,dc) correct_match(topology,s7,s8,16,dc) correct_match(topology,s7,s9,15,dc) correct_match(topology,s6,s9,15,dc) correct_match(topology,s4,s9,15,dc) correct_match(topology,s1,s9,15,dc) correct_match(topology,s7,s8,15,dc) correct_match(topology,s6,s8,15,dc) correct_match(topology,s4,s8,15,dc) correct_match(topology,s1,s8,15,dc) correct_match(topology,s6,s7,15,dc) correct_match(topology,s5,s7,15,dc) correct_match(topology,s4,s7,15,dc) correct_match(topology,s3,s7,15,dc) correct_match(topology,s2,s7,15,dc) correct_match(topology,s1,s7,15,dc) correct_match(topology,s0,s7,15,dc) correct_match(topology,s5,s6,15,dc) correct_match(topology,s4,s6,15,dc) correct_match(topology,s3,s6,15,dc) correct_match(topology,s2,s6,15,dc) correct_match(topology,s1,s6,15,dc) correct_match(topology,s0,s6,15,dc) correct_match(topology,s4,s5,15,dc) correct_match(topology,s1,s5,15,dc) correct_match(topology,s1,s3,15,dc) correct_match(topology,s1,s2,15,dc) correct_match(topology,s0,s1,15,dc) correct_match(topology,s3,s4,15,dc) correct_match(topology,s2,s4,15,dc) correct_match(topology,s1,s4,15,dc) correct_match(topology,s0,s4,15,dc) correct_match(topology,s0,s2,14,dc) correct_match(topology,s1,s2,14,dc) correct_match(topology,s0,s3,14,dc) correct_match(topology,s1,s3,14,dc) correct_match(topology,s2,s3,14,dc) correct_match(topology,s0,s4,14,dc) correct_match(topology,s1,s4,14,dc) correct_match(topology,s2,s4,14,dc) correct_match(topology,s3,s4,14,dc) correct_match(topology,s0,s5,14,dc) correct_match(topology,s1,s5,14,dc) correct_match(topology,s2,s5,14,dc) correct_match(topology,s3,s5,14,dc) correct_match(topology,s4,s5,14,dc) correct_match(topology,s0,s6,14,dc) correct_match(topology,s1,s6,14,dc) correct_match(topology,s2,s6,14,dc) correct_match(topology,s3,s6,14,dc) correct_match(topology,s4,s6,14,dc) correct_match(topology,s5,s6,14,dc) correct_match(topology,s0,s7,14,dc) correct_match(topology,s1,s7,14,dc) correct_match(topology,s2,s7,14,dc) correct_match(topology,s4,s7,14,dc) correct_match(topology,s5,s7,14,dc) correct_match(topology,s6,s7,14,dc) correct_match(topology,s0,s8,14,dc) correct_match(topology,s1,s8,14,dc) correct_match(topology,s2,s8,14,dc) correct_match(topology,s4,s8,14,dc) correct_match(topology,s5,s8,14,dc) correct_match(topology,s6,s8,14,dc) correct_match(topology,s0,s9,14,dc) correct_match(topology,s1,s9,14,dc) correct_match(topology,s2,s9,14,dc) correct_match(topology,s3,s9,14,dc) correct_match(topology,s4,s9,14,dc) correct_match(topology,s5,s9,14,dc) correct_match(topology,s6,s9,14,dc) correct_match(topology,s7,s9,14,dc) correct_match(topology,s8,s9,14,dc) correct_match(topology,s0,s1,14,dc) correct_match(topology,s8,s9,13,dc) correct_match(topology,s7,s9,13,dc) correct_match(topology,s6,s9,13,dc) correct_match(topology,s5,s9,13,dc) correct_match(topology,s4,s9,13,dc) correct_match(topology,s3,s9,13,dc) correct_match(topology,s2,s9,13,dc) correct_match(topology,s1,s9,13,dc) correct_match(topology,s0,s9,13,dc) correct_match(topology,s5,s8,13,dc) correct_match(topology,s4,s8,13,dc) correct_match(topology,s2,s8,13,dc) correct_match(topology,s1,s8,13,dc) correct_match(topology,s0,s8,13,dc) correct_match(topology,s5,s7,13,dc) correct_match(topology,s4,s7,13,dc) correct_match(topology,s2,s7,13,dc) correct_match(topology,s1,s7,13,dc) correct_match(topology,s0,s7,13,dc) correct_match(topology,s5,s6,13,dc) correct_match(topology,s4,s6,13,dc) correct_match(topology,s2,s6,13,dc) correct_match(topology,s1,s6,13,dc) correct_match(topology,s0,s6,13,dc) correct_match(topology,s4,s5,13,dc) correct_match(topology,s3,s5,13,dc) correct_match(topology,s2,s5,13,dc) correct_match(topology,s1,s5,13,dc) correct_match(topology,s0,s5,13,dc) correct_match(topology,s2,s3,13,dc) correct_match(topology,s1,s3,13,dc) correct_match(topology,s0,s3,13,dc) correct_match(topology,s1,s2,13,dc) correct_match(topology,s0,s2,13,dc) correct_match(topology,s0,s1,13,dc) correct_match(topology,s3,s4,13,dc) correct_match(topology,s2,s4,13,dc) correct_match(topology,s1,s4,13,dc) correct_match(topology,s0,s4,13,dc) correct_match(topology,s0,s4,12,dc) correct_match(topology,s1,s4,12,dc) correct_match(topology,s2,s4,12,dc) correct_match(topology,s3,s4,12,dc) correct_match(topology,s4,s5,12,dc) correct_match(topology,s4,s6,12,dc) correct_match(topology,s4,s7,12,dc) correct_match(topology,s4,s8,12,dc) correct_match(topology,s0,s9,12,dc) correct_match(topology,s1,s9,12,dc) correct_match(topology,s2,s9,12,dc) correct_match(topology,s3,s9,12,dc) correct_match(topology,s4,s9,12,dc) correct_match(topology,s5,s9,12,dc) correct_match(topology,s6,s9,12,dc) correct_match(topology,s7,s9,12,dc) correct_match(topology,s8,s9,12,dc) correct_match(topology,s8,s9,11,dc) correct_match(topology,s7,s9,11,dc) correct_match(topology,s6,s9,11,dc) correct_match(topology,s5,s9,11,dc) correct_match(topology,s4,s9,11,dc) correct_match(topology,s3,s9,11,dc) correct_match(topology,s2,s9,11,dc) correct_match(topology,s1,s9,11,dc) correct_match(topology,s0,s9,11,dc) correct_match(topology,s7,s8,11,dc) correct_match(topology,s4,s8,11,dc) correct_match(topology,s0,s8,11,dc) correct_match(topology,s6,s7,11,dc) correct_match(topology,s5,s7,11,dc) correct_match(topology,s4,s7,11,dc) correct_match(topology,s3,s7,11,dc) correct_match(topology,s2,s7,11,dc) correct_match(topology,s1,s7,11,dc) correct_match(topology,s0,s7,11,dc) correct_match(topology,s4,s6,11,dc) correct_match(topology,s0,s6,11,dc) correct_match(topology,s4,s5,11,dc) correct_match(topology,s0,s5,11,dc) correct_match(topology,s0,s3,11,dc) correct_match(topology,s0,s2,11,dc) correct_match(topology,s0,s1,11,dc) correct_match(topology,s3,s4,11,dc) correct_match(topology,s2,s4,11,dc) correct_match(topology,s1,s4,11,dc) correct_match(topology,s0,s4,11,dc) correct_match(topology,s0,s1,10,dc) correct_match(topology,s0,s2,10,dc) correct_match(topology,s0,s3,10,dc) correct_match(topology,s1,s3,10,dc) correct_match(topology,s2,s3,10,dc) correct_match(topology,s0,s4,10,dc) correct_match(topology,s1,s4,10,dc) correct_match(topology,s2,s4,10,dc) correct_match(topology,s3,s4,10,dc) correct_match(topology,s0,s5,10,dc) correct_match(topology,s3,s5,10,dc) correct_match(topology,s4,s5,10,dc) correct_match(topology,s0,s6,10,dc) correct_match(topology,s3,s6,10,dc) correct_match(topology,s4,s6,10,dc) correct_match(topology,s0,s7,10,dc) correct_match(topology,s1,s7,10,dc) correct_match(topology,s2,s7,10,dc) correct_match(topology,s3,s7,10,dc) correct_match(topology,s4,s7,10,dc) correct_match(topology,s5,s7,10,dc) correct_match(topology,s6,s7,10,dc) correct_match(topology,s0,s8,10,dc) correct_match(topology,s3,s8,10,dc) correct_match(topology,s4,s8,10,dc) correct_match(topology,s7,s8,10,dc) correct_match(topology,s0,s9,10,dc) correct_match(topology,s3,s9,10,dc) correct_match(topology,s4,s9,10,dc) correct_match(topology,s7,s9,10,dc) correct_match(topology,s5,s9,9,dc) correct_match(topology,s3,s9,9,dc) correct_match(topology,s0,s9,9,dc) correct_match(topology,s5,s8,9,dc) correct_match(topology,s3,s8,9,dc) correct_match(topology,s0,s8,9,dc) correct_match(topology,s5,s7,9,dc) correct_match(topology,s3,s7,9,dc) correct_match(topology,s0,s7,9,dc) correct_match(topology,s5,s6,9,dc) correct_match(topology,s3,s6,9,dc) correct_match(topology,s0,s6,9,dc) correct_match(topology,s4,s5,9,dc) correct_match(topology,s3,s5,9,dc) correct_match(topology,s2,s5,9,dc) correct_match(topology,s0,s5,9,dc) correct_match(topology,s3,s4,9,dc) correct_match(topology,s0,s4,9,dc) correct_match(topology,s2,s3,9,dc) correct_match(topology,s1,s3,9,dc) correct_match(topology,s0,s3,9,dc) correct_match(topology,s0,s2,9,dc) correct_match(topology,s0,s1,9,dc) correct_match(topology,s0,s2,8,dc) correct_match(topology,s1,s2,8,dc) correct_match(topology,s2,s3,8,dc) correct_match(topology,s0,s5,8,dc) correct_match(topology,s2,s5,8,dc) correct_match(topology,s3,s5,8,dc) correct_match(topology,s4,s5,8,dc) correct_match(topology,s2,s6,8,dc) correct_match(topology,s5,s6,8,dc) correct_match(topology,s2,s7,8,dc) correct_match(topology,s5,s7,8,dc) correct_match(topology,s2,s8,8,dc) correct_match(topology,s5,s8,8,dc) correct_match(topology,s2,s9,8,dc) correct_match(topology,s5,s9,8,dc) correct_match(topology,s2,s4,8,dc) correct_match(topology,s5,s9,7,dc) correct_match(topology,s2,s9,7,dc) correct_match(topology,s5,s8,7,dc) correct_match(topology,s2,s8,7,dc) correct_match(topology,s5,s7,7,dc) correct_match(topology,s2,s7,7,dc) correct_match(topology,s5,s6,7,dc) correct_match(topology,s2,s6,7,dc) correct_match(topology,s4,s5,7,dc) correct_match(topology,s3,s5,7,dc) correct_match(topology,s2,s5,7,dc) correct_match(topology,s1,s5,7,dc) correct_match(topology,s0,s5,7,dc) correct_match(topology,s2,s4,7,dc) correct_match(topology,s2,s3,7,dc) correct_match(topology,s1,s2,7,dc) correct_match(topology,s0,s2,7,dc) correct_match(topology,s0,s2,6,dc) correct_match(topology,s1,s2,6,dc) correct_match(topology,s2,s3,6,dc) correct_match(topology,s0,s5,6,dc) correct_match(topology,s1,s5,6,dc) correct_match(topology,s2,s5,6,dc) correct_match(topology,s3,s5,6,dc) correct_match(topology,s4,s5,6,dc) correct_match(topology,s2,s6,6,dc) correct_match(topology,s5,s6,6,dc) correct_match(topology,s2,s7,6,dc) correct_match(topology,s5,s7,6,dc) correct_match(topology,s2,s8,6,dc) correct_match(topology,s5,s8,6,dc) correct_match(topology,s2,s9,6,dc) correct_match(topology,s5,s9,6,dc) correct_match(topology,s2,s4,6,dc) correct_match(topology,s0,s4,4,dc) correct_match(topology,s1,s4,4,dc) correct_match(topology,s2,s4,4,dc) correct_match(topology,s3,s4,4,dc) correct_match(topology,s8,s9,5,dc) correct_match(topology,s7,s9,5,dc) correct_match(topology,s6,s9,5,dc) correct_match(topology,s5,s9,5,dc) correct_match(topology,s4,s9,5,dc) correct_match(topology,s3,s9,5,dc) correct_match(topology,s2,s9,5,dc) correct_match(topology,s1,s9,5,dc) correct_match(topology,s0,s9,5,dc) correct_match(topology,s2,s8,5,dc) correct_match(topology,s1,s8,5,dc) correct_match(topology,s0,s8,5,dc) correct_match(topology,s2,s7,5,dc) correct_match(topology,s1,s7,5,dc) correct_match(topology,s0,s7,5,dc) correct_match(topology,s2,s6,5,dc) correct_match(topology,s1,s6,5,dc) correct_match(topology,s0,s6,5,dc) correct_match(topology,s2,s5,5,dc) correct_match(topology,s1,s5,5,dc) correct_match(topology,s0,s5,5,dc) correct_match(topology,s2,s4,5,dc) correct_match(topology,s1,s4,5,dc) correct_match(topology,s0,s4,5,dc) correct_match(topology,s2,s3,5,dc) correct_match(topology,s1,s3,5,dc) correct_match(topology,s0,s3,5,dc) correct_match(topology,s1,s2,5,dc) correct_match(topology,s0,s2,5,dc) correct_match(topology,s4,s5,4,dc) correct_match(topology,s4,s6,4,dc) correct_match(topology,s4,s7,4,dc) correct_match(topology,s4,s8,4,dc) correct_match(topology,s4,s9,4,dc) correct_match(topology,s0,s3,2,dc) correct_match(topology,s1,s3,2,dc) correct_match(topology,s2,s3,2,dc) correct_match(topology,s4,s5,1,dc) correct_match(topology,s3,s5,1,dc) correct_match(topology,s2,s5,1,dc) correct_match(topology,s1,s5,1,dc) correct_match(topology,s0,s5,1,dc) correct_match(topology,s6,s7,3,dc) correct_match(topology,s5,s7,3,dc) correct_match(topology,s4,s7,3,dc) correct_match(topology,s3,s7,3,dc) correct_match(topology,s2,s7,3,dc) correct_match(topology,s1,s7,3,dc) correct_match(topology,s0,s7,3,dc) correct_match(topology,s0,s8,4,dc) correct_match(topology,s1,s8,4,dc) correct_match(topology,s0,s7,4,dc) correct_match(topology,s1,s7,4,dc) correct_match(topology,s0,s5,4,dc) correct_match(topology,s1,s5,4,dc) correct_match(topology,s0,s3,4,dc) correct_match(topology,s1,s3,4,dc) correct_match(topology,s0,s2,4,dc) correct_match(topology,s1,s2,4,dc) correct_match(topology,s0,s6,4,dc) correct_match(topology,s1,s6,4,dc) correct_match(topology,s2,s3,1,dc) correct_match(topology,s1,s3,1,dc) correct_match(topology,s0,s3,1,dc) correct_match(topology,s0,s3,0,dc) correct_match(topology,s1,s3,0,dc) correct_match(topology,s2,s3,0,dc) correct_match(topology,s0,s5,0,dc) correct_match(topology,s1,s5,0,dc) correct_match(topology,s2,s5,0,dc) correct_match(topology,s3,s5,0,dc) correct_match(topology,s4,s5,0,dc) correct_match(topology,s0,s7,2,dc) correct_match(topology,s1,s7,2,dc) correct_match(topology,s2,s7,2,dc) correct_match(topology,s3,s7,2,dc) correct_match(topology,s4,s7,2,dc) correct_match(topology,s5,s7,2,dc) correct_match(topology,s6,s7,2,dc) correct_match(topology,s0,s9,4,dc) correct_match(topology,s1,s9,4,dc) correct_match(topology,s2,s9,4,dc) correct_match(topology,s3,s9,4,dc) correct_match(topology,s5,s9,4,dc) correct_match(topology,s6,s9,4,dc) correct_match(topology,s7,s9,4,dc) correct_match(topology,s8,s9,4,dc) correct_match(topology,s0,s2,2,dc) correct_match(topology,s1,s2,2,dc) correct_match(topology,s4,s5,3,dc) correct_match(topology,s3,s5,3,dc) correct_match(topology,s2,s5,3,dc) correct_match(topology,s1,s5,3,dc) correct_match(topology,s0,s5,3,dc) correct_match(topology,s1,s2,1,dc) correct_match(topology,s0,s2,1,dc) correct_match(topology,s0,s2,0,dc) correct_match(topology,s1,s2,0,dc) correct_match(topology,s3,s4,3,dc) correct_match(topology,s2,s4,3,dc) correct_match(topology,s1,s4,3,dc) correct_match(topology,s0,s4,3,dc) correct_match(topology,s0,s5,2,dc) correct_match(topology,s1,s5,2,dc) correct_match(topology,s2,s5,2,dc) correct_match(topology,s3,s5,2,dc) correct_match(topology,s4,s5,2,dc) correct_match(topology,s3,s4,2,dc) correct_match(topology,s3,s6,2,dc) correct_match(topology,s3,s8,2,dc) correct_match(topology,s3,s9,2,dc) correct_match(topology,s5,s9,1,dc) correct_match(topology,s5,s8,1,dc) correct_match(topology,s5,s7,1,dc) correct_match(topology,s5,s6,1,dc) correct_match(topology,s7,s9,3,dc) correct_match(topology,s7,s8,3,dc) correct_match(topology,s3,s9,1,dc) correct_match(topology,s3,s8,1,dc) correct_match(topology,s3,s7,1,dc) correct_match(topology,s3,s6,1,dc) correct_match(topology,s3,s4,1,dc) correct_match(topology,s3,s4,0,dc) correct_match(topology,s3,s6,0,dc) correct_match(topology,s3,s7,0,dc) correct_match(topology,s3,s8,0,dc) correct_match(topology,s3,s9,0,dc) correct_match(topology,s5,s6,0,dc) correct_match(topology,s5,s7,0,dc) correct_match(topology,s5,s8,0,dc) correct_match(topology,s5,s9,0,dc) correct_match(topology,s7,s8,2,dc) correct_match(topology,s7,s9,2,dc) correct_match(topology,s2,s4,2,dc) correct_match(topology,s2,s6,2,dc) correct_match(topology,s2,s8,2,dc) correct_match(topology,s2,s9,2,dc) correct_match(topology,s5,s9,3,dc) correct_match(topology,s5,s8,3,dc) correct_match(topology,s5,s6,3,dc) correct_match(topology,s2,s9,1,dc) correct_match(topology,s2,s8,1,dc) correct_match(topology,s2,s7,1,dc) correct_match(topology,s2,s6,1,dc) correct_match(topology,s2,s4,1,dc) correct_match(topology,s2,s4,0,dc) correct_match(topology,s2,s6,0,dc) correct_match(topology,s2,s7,0,dc) correct_match(topology,s2,s8,0,dc) correct_match(topology,s2,s9,0,dc) correct_match(topology,s4,s9,3,dc) correct_match(topology,s4,s8,3,dc) correct_match(topology,s4,s6,3,dc) correct_match(topology,s5,s6,2,dc) correct_match(topology,s5,s8,2,dc) correct_match(topology,s5,s9,2,dc) correct_match(topology,s1,s5,9,o) correct_match(topology,s1,s5,8,o) correct_match(topology,s0,s1,4,o) correct_match(topology,s1,s5,9,c) correct_match(topology,s1,s5,8,c) correct_match(topology,s0,s1,4,c) correct_match(topology,s1,s5,8,merge) correct_match(topology,s1,s5,9,split) correct_match(topology,s0,s1,4,po) correct_match(topology,s1,s5,8,po) correct_match(topology,s1,s5,9,po) correct_match(movement,s1,s2,1,towards) correct_match(movement,s1,s2,0,towards) correct_match(movement,s1,s2,7,towards) correct_match(movement,s1,s2,13,towards) correct_match(movement,s0,s3,1,towards) correct_match(movement,s0,s3,0,towards) correct_match(movement,s1,s4,3,towards) correct_match(movement,s2,s4,3,towards) correct_match(movement,s3,s4,3,towards) correct_match(movement,s1,s4,11,towards) correct_match(movement,s1,s4,10,towards) correct_match(movement,s1,s4,13,towards) correct_match(movement,s3,s5,0,towards) correct_match(movement,s1,s5,0,towards) correct_match(movement,s1,s5,2,towards) correct_match(movement,s0,s5,2,towards) correct_match(movement,s1,s5,6,towards) correct_match(movement,s1,s5,8,towards) correct_match(movement,s0,s5,17,towards) correct_match(movement,s3,s9,4,towards) correct_match(movement,s6,s9,11,towards) correct_match(movement,s4,s9,13,towards) correct_match(movement,s6,s9,13,towards) correct_match(movement,s1,s2,2,towards) correct_match(movement,s1,s2,6,towards) correct_match(movement,s1,s2,8,towards) correct_match(movement,s2,s3,2,towards) correct_match(movement,s0,s3,2,towards) correct_match(movement,s2,s4,12,towards) correct_match(movement,s1,s4,12,towards) correct_match(movement,s2,s4,14,towards) correct_match(movement,s1,s4,16,towards) correct_match(movement,s0,s5,1,towards) correct_match(movement,s1,s5,1,towards) correct_match(movement,s1,s5,3,towards) correct_match(movement,s3,s5,3,towards) correct_match(movement,s1,s5,7,towards) correct_match(movement,s3,s5,7,towards) correct_match(movement,s0,s5,14,towards) correct_match(movement,s3,s7,3,towards) correct_match(movement,s6,s9,12,towards) correct_match(movement,s6,s9,14,towards) correct_match(movement,s6,s9,15,towards) correct_match(movement,s5,s8,8,towards) correct_match(movement,s5,s8,6,towards) correct_match(movement,s5,s8,2,towards) correct_match(movement,s5,s8,0,towards) correct_match(movement,s4,s9,15,towards) correct_match(movement,s4,s8,15,towards) correct_match(movement,s4,s6,10,towards) correct_match(movement,s4,s8,10,towards) correct_match(movement,s4,s9,10,towards) correct_match(movement,s4,s8,3,towards) correct_match(movement,s4,s6,3,towards) correct_match(movement,s3,s7,9,towards) correct_match(movement,s3,s5,9,towards) correct_match(movement,s3,s4,0,towards) correct_match(movement,s3,s7,0,towards) correct_match(movement,s3,s9,0,towards) correct_match(movement,s3,s9,1,towards) correct_match(movement,s3,s7,1,towards) correct_match(movement,s3,s5,1,towards) correct_match(movement,s3,s4,1,towards) correct_match(movement,s2,s8,7,towards) correct_match(movement,s2,s8,5,towards) correct_match(movement,s2,s4,5,towards) correct_match(movement,s2,s3,5,towards) correct_match(movement,s1,s4,14,towards) correct_match(movement,s1,s2,4,towards) correct_match(movement,s1,s4,4,towards) correct_match(movement,s1,s5,4,towards) correct_match(movement,s1,s6,4,towards) correct_match(movement,s0,s8,4,towards) correct_match(movement,s6,s9,16,towards) correct_match(movement,s5,s8,9,towards) correct_match(movement,s5,s8,7,towards) correct_match(movement,s5,s8,3,towards) correct_match(movement,s5,s8,1,towards) correct_match(movement,s4,s9,16,towards) correct_match(movement,s4,s8,14,towards) correct_match(movement,s4,s8,12,towards) correct_match(movement,s4,s6,12,towards) correct_match(movement,s4,s8,4,towards) correct_match(movement,s4,s6,4,towards) correct_match(movement,s3,s7,2,towards) correct_match(movement,s3,s5,2,towards) correct_match(movement,s3,s4,2,towards) correct_match(movement,s2,s4,8,towards) correct_match(movement,s2,s8,6,towards) correct_match(movement,s2,s4,6,towards) correct_match(movement,s2,s8,2,towards) correct_match(movement,s2,s6,2,towards) correct_match(movement,s2,s4,2,towards) correct_match(movement,s1,s2,15,towards) correct_match(movement,s1,s4,15,towards) correct_match(movement,s1,s2,5,towards) correct_match(movement,s1,s4,5,towards) correct_match(movement,s1,s5,5,towards) correct_match(movement,s0,s3,5,towards) correct_match(movement,s0,s5,5,towards) correct_match(movement,s0,s1,4,away) correct_match(movement,s0,s1,14,away) correct_match(movement,s0,s1,13,away) correct_match(movement,s0,s2,0,away) correct_match(movement,s0,s2,7,away) correct_match(movement,s0,s2,13,away) correct_match(movement,s1,s3,1,away) correct_match(movement,s1,s3,0,away) correct_match(movement,s0,s3,9,away) correct_match(movement,s1,s3,9,away) correct_match(movement,s2,s3,9,away) correct_match(movement,s0,s4,3,away) correct_match(movement,s0,s4,11,away) correct_match(movement,s3,s4,11,away) correct_match(movement,s0,s4,13,away) correct_match(movement,s3,s4,13,away) correct_match(movement,s0,s4,15,away) correct_match(movement,s3,s4,15,away) correct_match(movement,s0,s5,0,away) correct_match(movement,s4,s5,2,away) correct_match(movement,s0,s5,6,away) correct_match(movement,s3,s5,8,away) correct_match(movement,s0,s5,8,away) correct_match(movement,s0,s5,13,away) correct_match(movement,s1,s5,13,away) correct_match(movement,s3,s5,13,away) correct_match(movement,s4,s5,13,away) correct_match(movement,s2,s5,17,away) correct_match(movement,s3,s5,17,away) correct_match(movement,s4,s5,17,away) correct_match(movement,s0,s6,15,away) correct_match(movement,s1,s6,15,away) correct_match(movement,s2,s6,15,away) correct_match(movement,s3,s6,15,away) correct_match(movement,s4,s6,15,away) correct_match(movement,s5,s6,15,away) correct_match(movement,s3,s6,14,away) correct_match(movement,s6,s7,2,away) correct_match(movement,s4,s7,2,away) correct_match(movement,s1,s7,2,away) correct_match(movement,s0,s7,2,away) correct_match(movement,s6,s7,10,away) correct_match(movement,s5,s7,10,away) correct_match(movement,s4,s7,10,away) correct_match(movement,s1,s7,10,away) correct_match(movement,s0,s7,15,away) correct_match(movement,s2,s7,15,away) correct_match(movement,s3,s7,15,away) correct_match(movement,s4,s7,15,away) correct_match(movement,s5,s7,15,away) correct_match(movement,s0,s8,17,away) correct_match(movement,s2,s8,17,away) correct_match(movement,s3,s8,17,away) correct_match(movement,s4,s8,17,away) correct_match(movement,s5,s8,17,away) correct_match(movement,s6,s8,17,away) correct_match(movement,s7,s8,17,away) correct_match(movement,s8,s9,4,away) correct_match(movement,s7,s9,4,away) correct_match(movement,s6,s9,4,away) correct_match(movement,s5,s9,4,away) correct_match(movement,s2,s9,4,away) correct_match(movement,s1,s9,4,away) correct_match(movement,s1,s9,11,away) correct_match(movement,s3,s9,11,away) correct_match(movement,s5,s9,11,away) correct_match(movement,s8,s9,11,away) correct_match(movement,s0,s9,13,away) correct_match(movement,s1,s9,13,away) correct_match(movement,s3,s9,13,away) correct_match(movement,s5,s9,13,away) correct_match(movement,s7,s9,13,away) correct_match(movement,s8,s9,13,away) correct_match(movement,s0,s1,5,away) correct_match(movement,s0,s1,15,away) correct_match(movement,s0,s2,2,away) correct_match(movement,s0,s2,6,away) correct_match(movement,s0,s2,8,away) correct_match(movement,s0,s2,14,away) correct_match(movement,s1,s3,2,away) correct_match(movement,s1,s3,10,away) correct_match(movement,s3,s4,4,away) correct_match(movement,s2,s4,4,away) correct_match(movement,s3,s4,12,away) correct_match(movement,s0,s4,12,away) correct_match(movement,s3,s4,14,away) correct_match(movement,s0,s4,14,away) correct_match(movement,s3,s4,16,away) correct_match(movement,s0,s4,16,away) correct_match(movement,s4,s5,1,away) correct_match(movement,s0,s5,3,away) correct_match(movement,s2,s5,3,away) correct_match(movement,s4,s5,7,away) correct_match(movement,s1,s5,9,away) correct_match(movement,s2,s5,9,away) correct_match(movement,s4,s5,9,away) correct_match(movement,s4,s5,14,away) correct_match(movement,s3,s5,14,away) correct_match(movement,s2,s5,14,away) correct_match(movement,s3,s5,18,away) correct_match(movement,s2,s5,18,away) correct_match(movement,s5,s6,16,away) correct_match(movement,s4,s6,16,away) correct_match(movement,s3,s6,16,away) correct_match(movement,s1,s6,16,away) correct_match(movement,s0,s6,16,away) correct_match(movement,s1,s7,3,away) correct_match(movement,s2,s7,3,away) correct_match(movement,s5,s7,3,away) correct_match(movement,s6,s7,3,away) correct_match(movement,s0,s7,11,away) correct_match(movement,s1,s7,11,away) correct_match(movement,s3,s7,11,away) correct_match(movement,s5,s7,11,away) correct_match(movement,s6,s7,11,away) correct_match(movement,s6,s7,16,away) correct_match(movement,s5,s7,16,away) correct_match(movement,s4,s7,16,away) correct_match(movement,s3,s7,16,away) correct_match(movement,s1,s7,16,away) correct_match(movement,s0,s7,16,away) correct_match(movement,s7,s8,18,away) correct_match(movement,s6,s8,18,away) correct_match(movement,s5,s8,18,away) correct_match(movement,s3,s8,18,away) correct_match(movement,s2,s8,18,away) correct_match(movement,s0,s9,5,away) correct_match(movement,s1,s9,5,away) correct_match(movement,s3,s9,5,away) correct_match(movement,s4,s9,5,away) correct_match(movement,s5,s9,5,away) correct_match(movement,s6,s9,5,away) correct_match(movement,s7,s9,5,away) correct_match(movement,s8,s9,5,away) correct_match(movement,s8,s9,12,away) correct_match(movement,s7,s9,12,away) correct_match(movement,s5,s9,12,away) correct_match(movement,s4,s9,12,away) correct_match(movement,s3,s9,12,away) correct_match(movement,s2,s9,12,away) correct_match(movement,s1,s9,12,away) correct_match(movement,s0,s9,12,away) correct_match(movement,s8,s9,14,away) correct_match(movement,s7,s9,14,away) correct_match(movement,s5,s9,14,away) correct_match(movement,s4,s9,14,away) correct_match(movement,s3,s9,14,away) correct_match(movement,s0,s9,14,away) correct_match(movement,s8,s9,17,away) correct_match(movement,s7,s9,15,away) correct_match(movement,s7,s8,15,away) correct_match(movement,s7,s8,10,away) correct_match(movement,s7,s9,10,away) correct_match(movement,s7,s8,2,away) correct_match(movement,s7,s9,2,away) correct_match(movement,s6,s7,14,away) correct_match(movement,s6,s8,14,away) correct_match(movement,s6,s8,15,away) correct_match(movement,s5,s7,17,away) correct_match(movement,s5,s6,17,away) correct_match(movement,s5,s8,13,away) correct_match(movement,s5,s7,13,away) correct_match(movement,s5,s6,13,away) correct_match(movement,s5,s6,8,away) correct_match(movement,s5,s7,8,away) correct_match(movement,s5,s9,8,away) correct_match(movement,s5,s6,6,away) correct_match(movement,s5,s7,6,away) correct_match(movement,s5,s9,6,away) correct_match(movement,s5,s6,2,away) correct_match(movement,s5,s9,2,away) correct_match(movement,s5,s6,0,away) correct_match(movement,s5,s9,0,away) correct_match(movement,s4,s5,15,away) correct_match(movement,s4,s8,13,away) correct_match(movement,s4,s7,13,away) correct_match(movement,s4,s6,13,away) correct_match(movement,s4,s5,10,away) correct_match(movement,s4,s8,11,away) correct_match(movement,s4,s7,11,away) correct_match(movement,s4,s5,11,away) correct_match(movement,s4,s9,3,away) correct_match(movement,s4,s7,3,away) correct_match(movement,s4,s5,3,away) correct_match(movement,s3,s9,9,away) correct_match(movement,s3,s8,9,away) correct_match(movement,s3,s6,9,away) correct_match(movement,s3,s4,9,away) correct_match(movement,s3,s6,0,away) correct_match(movement,s3,s8,0,away) correct_match(movement,s3,s8,1,away) correct_match(movement,s3,s6,1,away) correct_match(movement,s2,s9,7,away) correct_match(movement,s2,s7,7,away) correct_match(movement,s2,s6,7,away) correct_match(movement,s2,s5,7,away) correct_match(movement,s2,s4,7,away) correct_match(movement,s2,s3,7,away) correct_match(movement,s2,s9,5,away) correct_match(movement,s2,s7,5,away) correct_match(movement,s2,s6,5,away) correct_match(movement,s2,s5,5,away) correct_match(movement,s1,s8,13,away) correct_match(movement,s1,s7,13,away) correct_match(movement,s1,s6,13,away) correct_match(movement,s1,s3,13,away) correct_match(movement,s1,s3,14,away) correct_match(movement,s1,s5,14,away) correct_match(movement,s1,s7,14,away) correct_match(movement,s1,s8,14,away) correct_match(movement,s1,s9,14,away) correct_match(movement,s1,s3,4,away) correct_match(movement,s1,s7,4,away) correct_match(movement,s1,s8,4,away) correct_match(movement,s0,s8,13,away) correct_match(movement,s0,s7,13,away) correct_match(movement,s0,s6,13,away) correct_match(movement,s0,s3,13,away) correct_match(movement,s0,s9,9,away) correct_match(movement,s0,s8,9,away) correct_match(movement,s0,s7,9,away) correct_match(movement,s0,s6,9,away) correct_match(movement,s0,s4,9,away) correct_match(movement,s0,s2,9,away) correct_match(movement,s0,s1,9,away) correct_match(movement,s0,s1,10,away) correct_match(movement,s0,s2,10,away) correct_match(movement,s0,s3,10,away) correct_match(movement,s0,s5,10,away) correct_match(movement,s0,s6,10,away) correct_match(movement,s0,s8,10,away) correct_match(movement,s0,s9,10,away) correct_match(movement,s0,s2,4,away) correct_match(movement,s0,s4,4,away) correct_match(movement,s0,s5,4,away) correct_match(movement,s0,s6,4,away) correct_match(movement,s7,s9,16,away) correct_match(movement,s7,s8,16,away) correct_match(movement,s7,s8,11,away) correct_match(movement,s7,s9,11,away) correct_match(movement,s7,s8,3,away) correct_match(movement,s7,s9,3,away) correct_match(movement,s6,s7,15,away) correct_match(movement,s6,s8,16,away) correct_match(movement,s5,s7,18,away) correct_match(movement,s5,s6,18,away) correct_match(movement,s5,s8,14,away) correct_match(movement,s5,s7,14,away) correct_match(movement,s5,s6,14,away) correct_match(movement,s5,s6,9,away) correct_match(movement,s5,s9,9,away) correct_match(movement,s5,s6,7,away) correct_match(movement,s5,s7,7,away) correct_match(movement,s5,s9,7,away) correct_match(movement,s5,s6,3,away) correct_match(movement,s5,s9,3,away) correct_match(movement,s5,s6,1,away) correct_match(movement,s5,s9,1,away) correct_match(movement,s4,s8,16,away) correct_match(movement,s4,s5,16,away) correct_match(movement,s4,s7,14,away) correct_match(movement,s4,s6,14,away) correct_match(movement,s4,s9,11,away) correct_match(movement,s4,s7,12,away) correct_match(movement,s4,s5,12,away) correct_match(movement,s4,s9,4,away) correct_match(movement,s4,s7,4,away) correct_match(movement,s4,s5,4,away) correct_match(movement,s3,s9,10,away) correct_match(movement,s3,s8,10,away) correct_match(movement,s3,s6,10,away) correct_match(movement,s3,s5,10,away) correct_match(movement,s3,s4,10,away) correct_match(movement,s3,s8,2,away) correct_match(movement,s3,s6,2,away) correct_match(movement,s2,s8,14,away) correct_match(movement,s2,s7,14,away) correct_match(movement,s2,s6,14,away) correct_match(movement,s2,s3,14,away) correct_match(movement,s2,s9,8,away) correct_match(movement,s2,s7,8,away) correct_match(movement,s2,s6,8,away) correct_match(movement,s2,s5,8,away) correct_match(movement,s2,s3,8,away) correct_match(movement,s2,s9,6,away) correct_match(movement,s2,s7,6,away) correct_match(movement,s2,s6,6,away) correct_match(movement,s2,s5,6,away) correct_match(movement,s2,s3,6,away) correct_match(movement,s2,s9,2,away) correct_match(movement,s2,s7,2,away) correct_match(movement,s2,s5,2,away) correct_match(movement,s1,s6,14,away) correct_match(movement,s1,s3,15,away) correct_match(movement,s1,s5,15,away) correct_match(movement,s1,s7,15,away) correct_match(movement,s1,s8,15,away) correct_match(movement,s1,s9,15,away) correct_match(movement,s1,s3,5,away) correct_match(movement,s1,s6,5,away) correct_match(movement,s1,s7,5,away) correct_match(movement,s1,s8,5,away) correct_match(movement,s0,s8,14,away) correct_match(movement,s0,s7,14,away) correct_match(movement,s0,s6,14,away) correct_match(movement,s0,s3,14,away) correct_match(movement,s0,s7,10,away) correct_match(movement,s0,s4,10,away) correct_match(movement,s0,s1,11,away) correct_match(movement,s0,s2,11,away) correct_match(movement,s0,s3,11,away) correct_match(movement,s0,s5,11,away) correct_match(movement,s0,s6,11,away) correct_match(movement,s0,s8,11,away) correct_match(movement,s0,s9,11,away) correct_match(movement,s0,s2,5,away) correct_match(movement,s0,s4,5,away) correct_match(movement,s0,s6,5,away) correct_match(movement,s0,s7,5,away) correct_match(movement,s0,s8,5,away) correct_match(movement,s1,s2,5,follows) correct_match(movement,s0,s3,0,follows) correct_match(movement,s0,s3,4,follows) correct_match(movement,s2,s3,5,follows) correct_match(movement,s0,s3,5,follows) correct_match(movement,s0,s3,9,follows) correct_match(movement,s2,s3,9,follows) correct_match(movement,s0,s3,11,follows) correct_match(movement,s0,s3,13,follows) correct_match(movement,s0,s3,14,follows) correct_match(movement,s3,s4,1,follows) correct_match(movement,s2,s4,2,follows) correct_match(movement,s3,s4,2,follows) correct_match(movement,s4,s5,0,follows) correct_match(movement,s4,s5,4,follows) correct_match(movement,s4,s5,6,follows) correct_match(movement,s4,s5,8,follows) correct_match(movement,s4,s5,10,follows) correct_match(movement,s4,s5,11,follows) correct_match(movement,s4,s5,12,follows) correct_match(movement,s4,s5,13,follows) correct_match(movement,s4,s5,15,follows) correct_match(movement,s4,s5,16,follows) correct_match(movement,s2,s5,17,follows) correct_match(movement,s4,s5,17,follows) correct_match(movement,s3,s6,0,follows) correct_match(movement,s3,s6,1,follows) correct_match(movement,s3,s6,2,follows) correct_match(movement,s1,s6,4,follows) correct_match(movement,s2,s6,5,follows) correct_match(movement,s1,s6,5,follows) correct_match(movement,s2,s6,8,follows) correct_match(movement,s1,s6,13,follows) correct_match(movement,s2,s6,14,follows) correct_match(movement,s1,s6,14,follows) correct_match(movement,s3,s7,0,follows) correct_match(movement,s5,s7,0,follows) correct_match(movement,s5,s7,1,follows) correct_match(movement,s3,s7,1,follows) correct_match(movement,s0,s7,2,follows) correct_match(movement,s1,s7,2,follows) correct_match(movement,s5,s7,2,follows) correct_match(movement,s3,s7,2,follows) correct_match(movement,s0,s7,4,follows) correct_match(movement,s1,s7,4,follows) correct_match(movement,s2,s7,5,follows) correct_match(movement,s0,s7,5,follows) correct_match(movement,s5,s7,6,follows) correct_match(movement,s5,s7,7,follows) correct_match(movement,s5,s7,8,follows) correct_match(movement,s3,s7,9,follows) correct_match(movement,s5,s7,9,follows) correct_match(movement,s4,s7,10,follows) correct_match(movement,s5,s7,10,follows) correct_match(movement,s6,s7,10,follows) correct_match(movement,s3,s7,10,follows) correct_match(movement,s6,s7,14,follows) correct_match(movement,s2,s7,15,follows) correct_match(movement,s4,s7,15,follows) correct_match(movement,s5,s7,15,follows) correct_match(movement,s6,s7,15,follows) correct_match(movement,s4,s8,11,follows) correct_match(movement,s4,s8,13,follows) correct_match(movement,s4,s8,14,follows) correct_match(movement,s4,s8,16,follows) correct_match(movement,s2,s8,17,follows) correct_match(movement,s4,s8,17,follows) correct_match(movement,s3,s9,0,follows) correct_match(movement,s5,s9,0,follows) correct_match(movement,s5,s9,1,follows) correct_match(movement,s3,s9,1,follows) correct_match(movement,s5,s9,2,follows) correct_match(movement,s7,s9,2,follows) correct_match(movement,s2,s9,2,follows) correct_match(movement,s3,s9,2,follows) correct_match(movement,s7,s9,3,follows) correct_match(movement,s0,s9,4,follows) correct_match(movement,s1,s9,4,follows) correct_match(movement,s3,s9,4,follows) correct_match(movement,s5,s9,4,follows) correct_match(movement,s7,s9,4,follows) correct_match(movement,s5,s9,6,follows) correct_match(movement,s5,s9,7,follows) correct_match(movement,s5,s9,8,follows) correct_match(movement,s2,s9,8,follows) correct_match(movement,s3,s9,9,follows) correct_match(movement,s5,s9,9,follows) correct_match(movement,s7,s9,10,follows) correct_match(movement,s3,s9,10,follows) correct_match(movement,s3,s9,11,follows) correct_match(movement,s6,s9,11,follows) correct_match(movement,s7,s9,11,follows) correct_match(movement,s7,s9,13,follows) correct_match(movement,s7,s9,16,follows) correct_match(movement,s2,s9,14,follows) correct_match(movement,s2,s9,12,follows) correct_match(movement,s3,s9,12,follows) correct_match(movement,s5,s9,12,follows) correct_match(movement,s6,s9,12,follows) correct_match(movement,s7,s9,12,follows) correct_match(movement,s2,s9,5,follows) correct_match(movement,s3,s9,5,follows) correct_match(movement,s5,s9,5,follows) correct_match(movement,s6,s9,5,follows) correct_match(movement,s7,s9,5,follows) correct_match(movement,s1,s9,5,follows) correct_match(movement,s0,s9,5,follows) correct_match(movement,s2,s8,18,follows) correct_match(movement,s5,s7,16,follows) correct_match(movement,s3,s7,11,follows) correct_match(movement,s5,s7,11,follows) correct_match(movement,s6,s7,11,follows) correct_match(movement,s0,s7,3,follows) correct_match(movement,s1,s7,3,follows) correct_match(movement,s2,s7,3,follows) correct_match(movement,s3,s7,3,follows) correct_match(movement,s5,s7,3,follows) correct_match(movement,s4,s6,15,follows) correct_match(movement,s2,s5,18,follows) correct_match(movement,s4,s5,14,follows) correct_match(movement,s2,s5,9,follows) correct_match(movement,s4,s5,9,follows) correct_match(movement,s2,s5,7,follows) correct_match(movement,s4,s5,3,follows) correct_match(movement,s4,s5,1,follows) correct_match(movement,s0,s3,10,follows) correct_match(movement,s0,s3,1,follows) correct_match(movement,s1,s2,8,follows) correct_match(movement,s1,s2,6,follows) correct_match(movement,s1,s2,2,follows) correct_match(movement,s0,s3,2,follows) correct_match(movement,s0,s5,0,followed_by) correct_match(movement,s0,s5,1,followed_by) correct_match(movement,s0,s5,2,followed_by) correct_match(movement,s0,s4,3,followed_by) correct_match(movement,s0,s5,3,followed_by) correct_match(movement,s0,s2,4,followed_by) correct_match(movement,s0,s5,4,followed_by) correct_match(movement,s0,s4,4,followed_by) correct_match(movement,s0,s5,6,followed_by) correct_match(movement,s0,s5,7,followed_by) correct_match(movement,s0,s5,8,followed_by) correct_match(movement,s0,s2,9,followed_by) correct_match(movement,s0,s4,9,followed_by) correct_match(movement,s0,s5,9,followed_by) correct_match(movement,s0,s4,12,followed_by) correct_match(movement,s0,s4,13,followed_by) correct_match(movement,s0,s5,13,followed_by) correct_match(movement,s0,s4,15,followed_by) correct_match(movement,s0,s4,16,followed_by) correct_match(movement,s0,s5,17,followed_by) correct_match(movement,s1,s8,4,followed_by) correct_match(movement,s1,s9,13,followed_by) correct_match(movement,s1,s4,16,followed_by) correct_match(movement,s2,s4,3,followed_by) correct_match(movement,s2,s4,4,followed_by) correct_match(movement,s2,s8,5,followed_by) correct_match(movement,s2,s4,15,followed_by) correct_match(movement,s3,s5,0,followed_by) correct_match(movement,s3,s5,3,followed_by) correct_match(movement,s3,s5,6,followed_by) correct_match(movement,s3,s5,7,followed_by) correct_match(movement,s3,s5,8,followed_by) correct_match(movement,s3,s5,9,followed_by) correct_match(movement,s3,s4,12,followed_by) correct_match(movement,s3,s4,13,followed_by) correct_match(movement,s3,s5,13,followed_by) correct_match(movement,s3,s5,14,followed_by) correct_match(movement,s3,s4,14,followed_by) correct_match(movement,s3,s4,15,followed_by) correct_match(movement,s3,s5,17,followed_by) correct_match(movement,s3,s5,18,followed_by) correct_match(movement,s4,s9,13,followed_by) correct_match(movement,s5,s9,17,followed_by) correct_match(movement,s8,s9,17,followed_by) correct_match(movement,s4,s9,16,followed_by) correct_match(movement,s4,s9,14,followed_by) correct_match(movement,s3,s4,10,followed_by) correct_match(movement,s3,s5,10,followed_by) correct_match(movement,s3,s5,1,followed_by) correct_match(movement,s2,s8,8,followed_by) correct_match(movement,s2,s8,6,followed_by) correct_match(movement,s1,s8,5,followed_by) correct_match(movement,s0,s5,14,followed_by) correct_match(movement,s0,s4,14,followed_by) correct_match(movement,s0,s4,10,followed_by) correct_match(movement,s0,s5,10,followed_by) correct_match(movement,s0,s4,5,followed_by) correct_match(movement,s0,s5,5,followed_by) correct_match(movement,s0,s5,11,followed_by) correct_match(movement,s0,s4,11,followed_by) correct_match(movement,s1,s2,15,followed_by) correct_match(movement,s1,s8,15,followed_by) correct_match(movement,s2,s8,2,followed_by) correct_match(movement,s2,s3,2,followed_by) correct_match(movement,s3,s5,2,followed_by)
SATISFIABLE

Models       : 1
Calls        : 1
Time         : 44.117s (Solving: 0.07s 1st Model: 0.00s Unsat: 0.07s)
CPU Time     : 44.040s
