pair,contact1,contact2,flow1,flow2 1aig_M_,1,2,1,1 1aig_M_,1,3,1,1 1aig_M_,1,5,1,1 1aig_M_,3,225,1,1 1aig_M_,6,39,1,1 1aig_M_,15,44,1,1 1aig_M_,18,27,1,1 1aig_M_,19,22,1,1 1aig_M_,21,137,1,1 1aig_M_,23,25,1,1 1aig_M_,23,26,1,1 1aig_M_,24,27,1,1 1aig_M_,26,49,1,1 1aig_M_,26,50,1,1 1aig_M_,28,29,1,1 1aig_M_,28,48,1,1 1aig_M_,31,45,1,1 1aig_M_,32,45,1,1 1aig_M_,34,36,1,1 1aig_M_,34,37,1,1 1aig_M_,34,38,1,1 1aig_M_,34,43,1,1 1aig_M_,36,39,1,1 1aig_M_,37,40,1,1 1aig_M_,37,41,1,1 1aig_M_,44,46,1,1 1aig_M_,49,130,1,1 1aig_M_,51,55,1,1 1aig_M_,52,56,1,1 1aig_M_,53,57,1,1 1aig_M_,54,58,1,1 1aig_M_,55,59,1,1 1aig_M_,56,60,1,1 1aig_M_,57,61,1,1 1aig_M_,57,123,1,1 1aig_M_,57,126,1,1 1aig_M_,58,62,1,1 1aig_M_,59,63,1,1 1aig_M_,60,64,1,1 1aig_M_,61,65,1,1 1aig_M_,62,66,1,1 1aig_M_,63,67,1,1 1aig_M_,64,68,1,1 1aig_M_,65,69,1,1 1aig_M_,66,70,1,1 1aig_M_,67,71,1,1 1aig_M_,68,72,1,1 1aig_M_,69,73,1,1 1aig_M_,70,74,1,1 1aig_M_,71,75,1,1 1aig_M_,71,91,1,1 1aig_M_,72,76,1,1 1aig_M_,73,78,1,1 1aig_M_,74,77,1,1 1aig_M_,74,108,1,1 1aig_M_,75,91,1,1 1aig_M_,79,82,1,1 1aig_M_,79,83,1,1 1aig_M_,80,84,1,1 1aig_M_,81,85,1,1 1aig_M_,82,86,1,1 1aig_M_,83,86,1,1 1aig_M_,85,86,1,1 1aig_M_,86,89,1,1 1aig_M_,86,90,1,1 1aig_M_,87,90,1,1 1aig_M_,88,178,1,1 1aig_M_,91,93,1,1 1aig_M_,91,179,1,1 1aig_M_,92,175,1,1 1aig_M_,96,99,1,1 1aig_M_,97,100,1,1 1aig_M_,99,102,1,1 1aig_M_,100,169,1,1 1aig_M_,102,104,1,1 1aig_M_,106,109,1,1 1aig_M_,106,111,1,1 1aig_M_,107,112,1,1 1aig_M_,110,114,1,1 1aig_M_,111,115,1,1 1aig_M_,112,116,1,1 1aig_M_,113,117,1,1 1aig_M_,113,173,1,1 1aig_M_,114,118,1,1 1aig_M_,115,119,1,1 1aig_M_,116,120,1,1 1aig_M_,117,121,1,1 1aig_M_,117,175,1,1 1aig_M_,118,122,1,1 1aig_M_,119,123,1,1 1aig_M_,120,124,1,1 1aig_M_,121,125,1,1 1aig_M_,122,126,1,1 1aig_M_,123,126,1,1 1aig_M_,123,127,1,1 1aig_M_,124,128,1,1 1aig_M_,125,129,1,1 1aig_M_,126,130,1,1 1aig_M_,127,131,1,1 1aig_M_,128,131,1,1 1aig_M_,128,132,1,1 1aig_M_,128,145,1,1 1aig_M_,129,132,1,1 1aig_M_,129,133,1,1 1aig_M_,130,134,1,1 1aig_M_,132,135,1,1 1aig_M_,132,136,1,1 1aig_M_,133,137,1,1 1aig_M_,135,138,1,1 1aig_M_,135,140,1,1 1aig_M_,136,139,1,1 1aig_M_,140,142,1,1 1aig_M_,142,146,1,1 1aig_M_,143,147,1,1 1aig_M_,144,148,1,1 1aig_M_,145,149,1,1 1aig_M_,146,149,1,1 1aig_M_,147,150,1,1 1aig_M_,148,152,1,1 1aig_M_,149,153,1,1 1aig_M_,150,154,1,1 1aig_M_,150,272,1,1 1aig_M_,151,155,1,1 1aig_M_,152,156,1,1 1aig_M_,153,157,1,1 1aig_M_,154,158,1,1 1aig_M_,155,159,1,1 1aig_M_,156,160,1,1 1aig_M_,156,161,1,1 1aig_M_,157,162,1,1 1aig_M_,160,164,1,1 1aig_M_,161,165,1,1 1aig_M_,162,166,1,1 1aig_M_,162,171,1,1 1aig_M_,162,285,1,1 1aig_M_,164,167,1,1 1aig_M_,168,170,1,1 1aig_M_,169,172,1,1 1aig_M_,176,180,1,1 1aig_M_,177,180,1,1 1aig_M_,178,182,1,1 1aig_M_,179,183,1,1 1aig_M_,180,184,1,1 1aig_M_,181,185,1,1 1aig_M_,182,186,1,1 1aig_M_,183,187,1,1 1aig_M_,184,188,1,1 1aig_M_,185,189,1,1 1aig_M_,186,190,1,1 1aig_M_,188,191,1,1 1aig_M_,188,193,1,1 1aig_M_,188,194,1,1 1aig_M_,189,192,1,1 1aig_M_,191,292,1,1 1aig_M_,192,293,1,1 1aig_M_,193,195,1,1 1aig_M_,193,196,1,1 1aig_M_,194,197,1,1 1aig_M_,197,199,1,1 1aig_M_,197,200,1,1 1aig_M_,197,201,1,1 1aig_M_,197,281,1,1 1aig_M_,198,202,1,1 1aig_M_,199,203,1,1 1aig_M_,200,204,1,1 1aig_M_,201,205,1,1 1aig_M_,202,206,1,1 1aig_M_,203,207,1,1 1aig_M_,203,274,1,1 1aig_M_,204,208,1,1 1aig_M_,205,209,1,1 1aig_M_,206,210,1,1 1aig_M_,207,210,1,1 1aig_M_,207,211,1,1 1aig_M_,208,212,1,1 1aig_M_,209,213,1,1 1aig_M_,210,214,1,1 1aig_M_,211,215,1,1 1aig_M_,212,216,1,1 1aig_M_,213,217,1,1 1aig_M_,214,218,1,1 1aig_M_,215,219,1,1 1aig_M_,216,220,1,1 1aig_M_,217,221,1,1 1aig_M_,218,222,1,1 1aig_M_,219,223,1,1 1aig_M_,220,224,1,1 1aig_M_,220,250,1,1 1aig_M_,221,224,1,1 1aig_M_,222,225,1,1 1aig_M_,224,227,1,1 1aig_M_,225,228,1,1 1aig_M_,228,235,1,1 1aig_M_,231,235,1,1 1aig_M_,232,236,1,1 1aig_M_,232,264,1,1 1aig_M_,233,236,1,1 1aig_M_,233,237,1,1 1aig_M_,235,240,1,1 1aig_M_,240,244,1,1 1aig_M_,241,245,1,1 1aig_M_,242,246,1,1 1aig_M_,243,247,1,1 1aig_M_,244,248,1,1 1aig_M_,245,249,1,1 1aig_M_,246,249,1,1 1aig_M_,246,250,1,1 1aig_M_,247,251,1,1 1aig_M_,248,252,1,1 1aig_M_,249,253,1,1 1aig_M_,250,254,1,1 1aig_M_,251,257,1,1 1aig_M_,257,258,1,1 1aig_M_,259,263,1,1 1aig_M_,260,264,1,1 1aig_M_,261,264,1,1 1aig_M_,262,265,1,1 1aig_M_,262,266,1,1 1aig_M_,263,267,1,1 1aig_M_,264,268,1,1 1aig_M_,265,269,1,1 1aig_M_,266,270,1,1 1aig_M_,267,271,1,1 1aig_M_,268,272,1,1 1aig_M_,269,273,1,1 1aig_M_,271,274,1,1 1aig_M_,272,275,1,1 1aig_M_,272,276,1,1 1aig_M_,273,277,1,1 1aig_M_,274,278,1,1 1aig_M_,275,279,1,1 1aig_M_,277,281,1,1 1aig_M_,278,282,1,1 1aig_M_,279,283,1,1 1aig_M_,280,284,1,1 1aig_M_,281,285,1,1 1aig_M_,283,287,1,1 1aig_M_,284,288,1,1 1aig_M_,284,289,1,1 1aig_M_,285,292,1,1 1aig_M_,286,289,1,1 1aig_M_,291,294,1,1 1aig_M_,291,295,1,1 1aig_M_,292,296,1,1 1aig_M_,293,297,1,1 1aig_M_,294,297,1,1 1aig_M_,295,298,1,1