pair,contact1,contact2,flow1,flow2 1ltl_A_,2,6,1,1 1ltl_A_,3,6,1,1 1ltl_A_,3,7,1,1 1ltl_A_,4,8,1,1 1ltl_A_,5,9,1,1 1ltl_A_,6,10,1,1 1ltl_A_,7,11,1,1 1ltl_A_,8,12,1,1 1ltl_A_,9,13,1,1 1ltl_A_,9,47,1,1 1ltl_A_,10,14,1,1 1ltl_A_,11,15,1,1 1ltl_A_,12,15,1,1 1ltl_A_,12,16,1,1 1ltl_A_,16,19,1,1 1ltl_A_,16,20,1,1 1ltl_A_,17,20,1,1 1ltl_A_,19,23,1,1 1ltl_A_,19,39,1,1 1ltl_A_,21,25,1,1 1ltl_A_,22,25,1,1 1ltl_A_,22,26,1,1 1ltl_A_,23,27,1,1 1ltl_A_,24,28,1,1 1ltl_A_,25,29,1,1 1ltl_A_,26,30,1,1 1ltl_A_,29,32,1,1 1ltl_A_,34,82,1,1 1ltl_A_,35,84,1,1 1ltl_A_,35,199,1,1 1ltl_A_,36,82,1,1 1ltl_A_,36,84,1,1 1ltl_A_,38,84,1,1 1ltl_A_,38,86,1,1 1ltl_A_,39,41,1,1 1ltl_A_,39,43,1,1 1ltl_A_,40,44,1,1 1ltl_A_,40,51,1,1 1ltl_A_,40,86,1,1 1ltl_A_,41,45,1,1 1ltl_A_,42,46,1,1 1ltl_A_,43,47,1,1 1ltl_A_,47,50,1,1 1ltl_A_,49,52,1,1 1ltl_A_,49,53,1,1 1ltl_A_,50,54,1,1 1ltl_A_,52,55,1,1 1ltl_A_,52,56,1,1 1ltl_A_,53,57,1,1 1ltl_A_,55,105,1,1 1ltl_A_,56,104,1,1 1ltl_A_,57,61,1,1 1ltl_A_,58,62,1,1 1ltl_A_,59,63,1,1 1ltl_A_,59,217,1,1 1ltl_A_,60,63,1,1 1ltl_A_,60,64,1,1 1ltl_A_,61,64,1,1 1ltl_A_,61,65,1,1 1ltl_A_,62,66,1,1 1ltl_A_,63,67,1,1 1ltl_A_,64,68,1,1 1ltl_A_,65,69,1,1 1ltl_A_,66,70,1,1 1ltl_A_,66,81,1,1 1ltl_A_,68,71,1,1 1ltl_A_,69,72,1,1 1ltl_A_,69,73,1,1 1ltl_A_,84,199,1,1 1ltl_A_,84,234,1,1 1ltl_A_,89,91,1,1 1ltl_A_,92,107,1,1 1ltl_A_,93,96,1,1 1ltl_A_,94,97,1,1 1ltl_A_,95,178,1,1 1ltl_A_,96,98,1,1 1ltl_A_,97,229,1,1 1ltl_A_,98,101,1,1 1ltl_A_,99,102,1,1 1ltl_A_,101,104,1,1 1ltl_A_,103,216,1,1 1ltl_A_,104,216,1,1 1ltl_A_,106,214,1,1 1ltl_A_,108,212,1,1 1ltl_A_,110,210,1,1 1ltl_A_,111,177,1,1 1ltl_A_,112,207,1,1 1ltl_A_,112,208,1,1 1ltl_A_,113,175,1,1 1ltl_A_,113,191,1,1 1ltl_A_,114,175,1,1 1ltl_A_,116,172,1,1 1ltl_A_,116,173,1,1 1ltl_A_,119,171,1,1 1ltl_A_,121,122,1,1 1ltl_A_,121,140,1,1 1ltl_A_,121,169,1,1 1ltl_A_,121,197,1,1 1ltl_A_,123,140,1,1 1ltl_A_,123,167,1,1 1ltl_A_,124,167,1,1 1ltl_A_,125,138,1,1 1ltl_A_,126,162,1,1 1ltl_A_,126,166,1,1 1ltl_A_,127,136,1,1 1ltl_A_,128,160,1,1 1ltl_A_,129,133,1,1 1ltl_A_,129,134,1,1 1ltl_A_,130,158,1,1 1ltl_A_,138,140,1,1 1ltl_A_,140,146,1,1 1ltl_A_,151,155,1,1 1ltl_A_,151,156,1,1 1ltl_A_,152,153,1,1 1ltl_A_,162,165,1,1 1ltl_A_,162,166,1,1 1ltl_A_,163,166,1,1 1ltl_A_,170,198,1,1 1ltl_A_,171,197,1,1 1ltl_A_,172,196,1,1 1ltl_A_,172,202,1,1 1ltl_A_,174,194,1,1 1ltl_A_,175,193,1,1 1ltl_A_,176,192,1,1 1ltl_A_,178,190,1,1 1ltl_A_,180,182,1,1 1ltl_A_,180,183,1,1 1ltl_A_,184,187,1,1 1ltl_A_,186,188,1,1 1ltl_A_,193,231,1,1 1ltl_A_,195,231,1,1 1ltl_A_,195,233,1,1 1ltl_A_,197,200,1,1 1ltl_A_,197,232,1,1 1ltl_A_,198,201,1,1 1ltl_A_,200,203,1,1 1ltl_A_,201,203,1,1 1ltl_A_,205,208,1,1 1ltl_A_,209,239,1,1 1ltl_A_,211,237,1,1 1ltl_A_,213,234,1,1 1ltl_A_,213,235,1,1 1ltl_A_,215,232,1,1 1ltl_A_,217,230,1,1 1ltl_A_,218,228,1,1 1ltl_A_,218,229,1,1 1ltl_A_,219,228,1,1 1ltl_A_,221,224,1,1 1ltl_A_,221,225,1,1 1ltl_A_,221,226,1,1