pair,contact1,contact2,flow1,flow2
2wff_3_,7,8,1,1
2wff_3_,8,11,1,1
2wff_3_,9,11,1,1
2wff_3_,11,13,1,1
2wff_3_,44,47,1,1
2wff_3_,45,48,1,1
2wff_3_,45,49,1,1
2wff_3_,47,210,1,1
2wff_3_,49,50,1,1
2wff_3_,51,52,1,1
2wff_3_,52,208,1,1
2wff_3_,54,206,1,1
2wff_3_,55,84,1,1
2wff_3_,56,59,1,1
2wff_3_,62,204,1,1
2wff_3_,64,202,1,1
2wff_3_,70,135,1,1
2wff_3_,73,185,1,1
2wff_3_,74,185,1,1
2wff_3_,75,184,1,1
2wff_3_,76,183,1,1
2wff_3_,78,181,1,1
2wff_3_,79,81,1,1
2wff_3_,79,82,1,1
2wff_3_,79,171,1,1
2wff_3_,79,178,1,1
2wff_3_,80,81,1,1
2wff_3_,83,86,1,1
2wff_3_,86,92,1,1
2wff_3_,88,91,1,1
2wff_3_,88,92,1,1
2wff_3_,89,93,1,1
2wff_3_,90,94,1,1
2wff_3_,91,94,1,1
2wff_3_,92,95,1,1
2wff_3_,93,96,1,1
2wff_3_,94,97,1,1
2wff_3_,95,170,1,1
2wff_3_,96,220,1,1
2wff_3_,98,169,1,1
2wff_3_,99,217,1,1
2wff_3_,100,167,1,1
2wff_3_,101,165,1,1
2wff_3_,101,215,1,1
2wff_3_,103,213,1,1
2wff_3_,104,158,1,1
2wff_3_,105,209,1,1
2wff_3_,106,155,1,1
2wff_3_,106,156,1,1
2wff_3_,107,155,1,1
2wff_3_,107,207,1,1
2wff_3_,107,209,1,1
2wff_3_,108,154,1,1
2wff_3_,109,205,1,1
2wff_3_,111,203,1,1
2wff_3_,113,116,1,1
2wff_3_,116,193,1,1
2wff_3_,117,192,1,1
2wff_3_,120,146,1,1
2wff_3_,121,186,1,1
2wff_3_,122,144,1,1
2wff_3_,123,184,1,1
2wff_3_,124,142,1,1
2wff_3_,125,182,1,1
2wff_3_,131,133,1,1
2wff_3_,132,184,1,1
2wff_3_,134,137,1,1
2wff_3_,134,138,1,1
2wff_3_,135,139,1,1
2wff_3_,138,141,1,1
2wff_3_,149,151,1,1
2wff_3_,161,162,1,1
2wff_3_,168,177,1,1
2wff_3_,186,188,1,1
2wff_3_,193,199,1,1
2wff_3_,195,199,1,1
2wff_3_,215,216,1,1