pair,contact1,contact2,flow1,flow2 3wff_A_,2,5,1,1 3wff_A_,2,6,1,1 3wff_A_,3,7,1,1 3wff_A_,4,8,1,1 3wff_A_,5,8,1,1 3wff_A_,11,14,1,1 3wff_A_,11,15,1,1 3wff_A_,12,16,1,1 3wff_A_,13,17,1,1 3wff_A_,14,18,1,1 3wff_A_,15,19,1,1 3wff_A_,20,143,1,1 3wff_A_,20,147,1,1 3wff_A_,25,49,1,1 3wff_A_,26,45,1,1 3wff_A_,26,106,1,1 3wff_A_,27,45,1,1 3wff_A_,27,106,1,1 3wff_A_,28,34,1,1 3wff_A_,28,106,1,1 3wff_A_,29,31,1,1 3wff_A_,29,32,1,1 3wff_A_,33,38,1,1 3wff_A_,34,113,1,1 3wff_A_,35,38,1,1 3wff_A_,35,39,1,1 3wff_A_,36,40,1,1 3wff_A_,37,41,1,1 3wff_A_,38,42,1,1 3wff_A_,39,43,1,1 3wff_A_,40,44,1,1 3wff_A_,41,45,1,1 3wff_A_,41,229,1,1 3wff_A_,42,45,1,1 3wff_A_,42,46,1,1 3wff_A_,43,47,1,1 3wff_A_,44,48,1,1 3wff_A_,44,229,1,1 3wff_A_,45,49,1,1 3wff_A_,46,50,1,1 3wff_A_,47,51,1,1 3wff_A_,48,52,1,1 3wff_A_,49,53,1,1 3wff_A_,50,54,1,1 3wff_A_,50,103,1,1 3wff_A_,51,55,1,1 3wff_A_,52,56,1,1 3wff_A_,53,56,1,1 3wff_A_,53,57,1,1 3wff_A_,54,58,1,1 3wff_A_,55,59,1,1 3wff_A_,57,60,1,1 3wff_A_,58,61,1,1 3wff_A_,61,64,1,1 3wff_A_,62,173,1,1 3wff_A_,63,66,1,1 3wff_A_,64,67,1,1 3wff_A_,67,72,1,1 3wff_A_,68,72,1,1 3wff_A_,69,73,1,1 3wff_A_,70,74,1,1 3wff_A_,71,75,1,1 3wff_A_,71,161,1,1 3wff_A_,71,162,1,1 3wff_A_,72,76,1,1 3wff_A_,73,77,1,1 3wff_A_,74,78,1,1 3wff_A_,75,79,1,1 3wff_A_,77,240,1,1 3wff_A_,78,249,1,1 3wff_A_,79,83,1,1 3wff_A_,80,84,1,1 3wff_A_,80,241,1,1 3wff_A_,81,85,1,1 3wff_A_,82,86,1,1 3wff_A_,83,87,1,1 3wff_A_,84,88,1,1 3wff_A_,85,89,1,1 3wff_A_,86,90,1,1 3wff_A_,87,91,1,1 3wff_A_,88,92,1,1 3wff_A_,89,93,1,1 3wff_A_,90,94,1,1 3wff_A_,91,95,1,1 3wff_A_,91,102,1,1 3wff_A_,91,103,1,1 3wff_A_,92,96,1,1 3wff_A_,92,98,1,1 3wff_A_,92,102,1,1 3wff_A_,96,99,1,1 3wff_A_,96,100,1,1 3wff_A_,98,130,1,1 3wff_A_,101,109,1,1 3wff_A_,103,107,1,1 3wff_A_,104,107,1,1 3wff_A_,110,113,1,1 3wff_A_,110,114,1,1 3wff_A_,111,115,1,1 3wff_A_,111,124,1,1 3wff_A_,112,116,1,1 3wff_A_,113,117,1,1 3wff_A_,114,117,1,1 3wff_A_,115,118,1,1 3wff_A_,117,119,1,1 3wff_A_,119,123,1,1 3wff_A_,120,124,1,1 3wff_A_,121,125,1,1 3wff_A_,122,126,1,1 3wff_A_,123,127,1,1 3wff_A_,124,128,1,1 3wff_A_,125,129,1,1 3wff_A_,126,130,1,1 3wff_A_,127,130,1,1 3wff_A_,127,131,1,1 3wff_A_,128,132,1,1 3wff_A_,130,133,1,1 3wff_A_,131,135,1,1 3wff_A_,132,135,1,1 3wff_A_,132,136,1,1 3wff_A_,133,138,1,1 3wff_A_,134,137,1,1 3wff_A_,135,187,1,1 3wff_A_,135,197,1,1 3wff_A_,136,194,1,1 3wff_A_,139,142,1,1 3wff_A_,139,143,1,1 3wff_A_,140,144,1,1 3wff_A_,141,144,1,1 3wff_A_,141,145,1,1 3wff_A_,142,146,1,1 3wff_A_,142,186,1,1 3wff_A_,142,194,1,1 3wff_A_,143,147,1,1 3wff_A_,144,148,1,1 3wff_A_,145,149,1,1 3wff_A_,146,150,1,1 3wff_A_,147,151,1,1 3wff_A_,148,152,1,1 3wff_A_,149,152,1,1 3wff_A_,149,153,1,1 3wff_A_,150,153,1,1 3wff_A_,153,253,1,1 3wff_A_,155,251,1,1 3wff_A_,156,159,1,1 3wff_A_,157,249,1,1 3wff_A_,160,163,1,1 3wff_A_,162,166,1,1 3wff_A_,163,167,1,1 3wff_A_,164,168,1,1 3wff_A_,165,169,1,1 3wff_A_,166,170,1,1 3wff_A_,167,171,1,1 3wff_A_,168,172,1,1 3wff_A_,169,173,1,1 3wff_A_,170,174,1,1 3wff_A_,171,175,1,1 3wff_A_,172,176,1,1 3wff_A_,173,177,1,1 3wff_A_,174,178,1,1 3wff_A_,175,179,1,1 3wff_A_,176,180,1,1 3wff_A_,177,181,1,1 3wff_A_,178,182,1,1 3wff_A_,179,183,1,1 3wff_A_,180,184,1,1 3wff_A_,181,191,1,1 3wff_A_,182,191,1,1 3wff_A_,185,188,1,1 3wff_A_,187,194,1,1 3wff_A_,188,190,1,1 3wff_A_,188,194,1,1 3wff_A_,188,197,1,1 3wff_A_,190,193,1,1 3wff_A_,190,194,1,1 3wff_A_,191,195,1,1 3wff_A_,192,196,1,1 3wff_A_,193,197,1,1 3wff_A_,194,198,1,1 3wff_A_,195,199,1,1 3wff_A_,196,199,1,1 3wff_A_,196,200,1,1 3wff_A_,197,201,1,1 3wff_A_,198,202,1,1 3wff_A_,199,203,1,1 3wff_A_,199,256,1,1 3wff_A_,200,204,1,1 3wff_A_,201,204,1,1 3wff_A_,202,205,1,1 3wff_A_,203,206,1,1 3wff_A_,203,255,1,1 3wff_A_,203,256,1,1 3wff_A_,205,209,1,1 3wff_A_,206,210,1,1 3wff_A_,206,253,1,1 3wff_A_,207,211,1,1 3wff_A_,207,258,1,1 3wff_A_,208,212,1,1 3wff_A_,209,213,1,1 3wff_A_,210,214,1,1 3wff_A_,211,215,1,1 3wff_A_,212,216,1,1 3wff_A_,213,217,1,1 3wff_A_,214,218,1,1 3wff_A_,215,219,1,1 3wff_A_,216,219,1,1 3wff_A_,216,220,1,1 3wff_A_,217,221,1,1 3wff_A_,218,222,1,1 3wff_A_,220,223,1,1 3wff_A_,222,226,1,1 3wff_A_,223,228,1,1 3wff_A_,224,227,1,1 3wff_A_,231,235,1,1 3wff_A_,232,236,1,1 3wff_A_,233,237,1,1 3wff_A_,234,238,1,1 3wff_A_,235,239,1,1 3wff_A_,236,240,1,1 3wff_A_,237,241,1,1 3wff_A_,238,242,1,1 3wff_A_,241,245,1,1 3wff_A_,242,246,1,1 3wff_A_,243,247,1,1 3wff_A_,244,247,1,1 3wff_A_,244,249,1,1 3wff_A_,245,248,1,1 3wff_A_,248,250,1,1