pair,contact1,contact2,flow1,flow2
2wff_1_,3,10,1,1
2wff_1_,6,8,1,1
2wff_1_,22,24,1,1
2wff_1_,23,25,1,1
2wff_1_,25,28,1,1
2wff_1_,26,29,1,1
2wff_1_,29,31,1,1
2wff_1_,29,33,1,1
2wff_1_,30,34,1,1
2wff_1_,32,35,1,1
2wff_1_,32,36,1,1
2wff_1_,34,213,1,1
2wff_1_,38,211,1,1
2wff_1_,39,210,1,1
2wff_1_,41,211,1,1
2wff_1_,46,197,1,1
2wff_1_,46,199,1,1
2wff_1_,48,131,1,1
2wff_1_,49,131,1,1
2wff_1_,50,131,1,1
2wff_1_,55,195,1,1
2wff_1_,56,58,1,1
2wff_1_,57,192,1,1
2wff_1_,57,193,1,1
2wff_1_,62,63,1,1
2wff_1_,64,66,1,1
2wff_1_,69,72,1,1
2wff_1_,70,225,1,1
2wff_1_,72,75,1,1
2wff_1_,75,77,1,1
2wff_1_,76,169,1,1
2wff_1_,76,219,1,1
2wff_1_,76,220,1,1
2wff_1_,77,219,1,1
2wff_1_,78,167,1,1
2wff_1_,79,217,1,1
2wff_1_,80,81,1,1
2wff_1_,81,160,1,1
2wff_1_,81,214,1,1
2wff_1_,82,158,1,1
2wff_1_,83,212,1,1
2wff_1_,84,156,1,1
2wff_1_,85,154,1,1
2wff_1_,86,154,1,1
2wff_1_,87,207,1,1
2wff_1_,88,207,1,1
2wff_1_,89,91,1,1
2wff_1_,89,206,1,1
2wff_1_,93,95,1,1
2wff_1_,99,146,1,1
2wff_1_,101,199,1,1
2wff_1_,102,104,1,1
2wff_1_,102,144,1,1
2wff_1_,103,198,1,1
2wff_1_,104,142,1,1
2wff_1_,105,135,1,1
2wff_1_,105,139,1,1
2wff_1_,105,141,1,1
2wff_1_,105,196,1,1
2wff_1_,106,140,1,1
2wff_1_,107,194,1,1
2wff_1_,108,111,1,1
2wff_1_,112,113,1,1
2wff_1_,113,115,1,1
2wff_1_,116,132,1,1
2wff_1_,120,127,1,1
2wff_1_,121,128,1,1
2wff_1_,125,127,1,1
2wff_1_,126,127,1,1
2wff_1_,131,134,1,1
2wff_1_,134,141,1,1
2wff_1_,135,141,1,1
2wff_1_,149,151,1,1
2wff_1_,160,164,1,1
2wff_1_,162,189,1,1
2wff_1_,171,185,1,1
2wff_1_,175,183,1,1
2wff_1_,178,183,1,1
2wff_1_,180,183,1,1
2wff_1_,199,201,1,1
2wff_1_,206,207,1,1
2wff_1_,215,217,1,1
2wff_1_,229,230,1,1
2wff_1_,230,233,1,1
2wff_1_,232,235,1,1
2wff_1_,235,236,1,1
2wff_1_,239,241,1,1