pair,contact1,contact2,flow1,flow2 1wff_A_,26,35,1,1 1wff_A_,26,36,1,1 1wff_A_,28,33,1,1 1wff_A_,28,53,1,1 1wff_A_,29,48,1,1 1wff_A_,31,53,1,1 1wff_A_,43,59,1,1 1wff_A_,45,59,1,1 1wff_A_,50,53,1,1 1wff_A_,53,59,1,1 1wff_A_,56,59,1,1 1wff_A_,56,61,1,1 1wff_A_,57,60,1,1 1wff_A_,59,61,1,1