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