pair,contact1,contact2,flow1,flow2 8wff_A_,2,5,1,1 8wff_A_,2,34,1,1 8wff_A_,3,32,1,1 8wff_A_,4,31,1,1 8wff_A_,5,31,1,1 8wff_A_,6,60,1,1 8wff_A_,7,29,1,1 8wff_A_,8,58,1,1 8wff_A_,9,26,1,1 8wff_A_,9,27,1,1 8wff_A_,10,56,1,1 8wff_A_,13,23,1,1 8wff_A_,15,22,1,1 8wff_A_,16,20,1,1 8wff_A_,17,20,1,1 8wff_A_,19,51,1,1 8wff_A_,21,51,1,1 8wff_A_,24,27,1,1 8wff_A_,26,28,1,1 8wff_A_,27,43,1,1 8wff_A_,28,44,1,1 8wff_A_,30,42,1,1 8wff_A_,32,40,1,1 8wff_A_,33,40,1,1 8wff_A_,35,38,1,1 8wff_A_,37,54,1,1 8wff_A_,37,55,1,1 8wff_A_,39,52,1,1 8wff_A_,41,50,1,1 8wff_A_,43,45,1,1 8wff_A_,43,46,1,1 8wff_A_,43,47,1,1 8wff_A_,43,48,1,1 8wff_A_,44,47,1,1 8wff_A_,46,48,1,1 8wff_A_,53,56,1,1 8wff_A_,54,57,1,1