pair,contact1,contact2,flow1,flow2 3ltl_A_,3,6,1,1 3ltl_A_,3,7,1,1 3ltl_A_,4,8,1,1 3ltl_A_,5,9,1,1 3ltl_A_,6,10,1,1 3ltl_A_,7,11,1,1 3ltl_A_,8,12,1,1 3ltl_A_,9,13,1,1 3ltl_A_,9,48,1,1 3ltl_A_,10,14,1,1 3ltl_A_,10,25,1,1 3ltl_A_,11,15,1,1 3ltl_A_,12,16,1,1 3ltl_A_,13,48,1,1 3ltl_A_,14,17,1,1 3ltl_A_,14,18,1,1 3ltl_A_,16,48,1,1 3ltl_A_,16,50,1,1 3ltl_A_,16,53,1,1 3ltl_A_,18,21,1,1 3ltl_A_,18,22,1,1 3ltl_A_,19,23,1,1 3ltl_A_,20,24,1,1 3ltl_A_,21,25,1,1 3ltl_A_,22,26,1,1 3ltl_A_,23,27,1,1 3ltl_A_,24,28,1,1 3ltl_A_,25,29,1,1 3ltl_A_,26,31,1,1 3ltl_A_,27,30,1,1 3ltl_A_,27,33,1,1 3ltl_A_,35,37,1,1 3ltl_A_,35,38,1,1 3ltl_A_,35,39,1,1 3ltl_A_,36,40,1,1 3ltl_A_,37,41,1,1 3ltl_A_,37,75,1,1 3ltl_A_,38,42,1,1 3ltl_A_,39,43,1,1 3ltl_A_,40,44,1,1 3ltl_A_,41,45,1,1 3ltl_A_,42,45,1,1 3ltl_A_,42,46,1,1 3ltl_A_,44,72,1,1 3ltl_A_,46,49,1,1 3ltl_A_,50,52,1,1 3ltl_A_,50,53,1,1 3ltl_A_,50,54,1,1 3ltl_A_,51,55,1,1 3ltl_A_,51,95,1,1 3ltl_A_,52,56,1,1 3ltl_A_,52,95,1,1 3ltl_A_,53,57,1,1 3ltl_A_,54,58,1,1 3ltl_A_,55,59,1,1 3ltl_A_,56,102,1,1 3ltl_A_,57,60,1,1 3ltl_A_,57,65,1,1 3ltl_A_,59,105,1,1 3ltl_A_,60,62,1,1 3ltl_A_,62,66,1,1 3ltl_A_,63,67,1,1 3ltl_A_,64,68,1,1 3ltl_A_,65,69,1,1 3ltl_A_,66,70,1,1 3ltl_A_,67,71,1,1 3ltl_A_,68,72,1,1 3ltl_A_,69,73,1,1 3ltl_A_,70,74,1,1 3ltl_A_,71,75,1,1 3ltl_A_,73,76,1,1 3ltl_A_,74,109,1,1 3ltl_A_,76,113,1,1 3ltl_A_,77,79,1,1 3ltl_A_,78,118,1,1 3ltl_A_,79,117,1,1 3ltl_A_,81,118,1,1 3ltl_A_,82,85,1,1 3ltl_A_,82,86,1,1 3ltl_A_,83,87,1,1 3ltl_A_,84,88,1,1 3ltl_A_,85,89,1,1 3ltl_A_,86,90,1,1 3ltl_A_,87,91,1,1 3ltl_A_,88,182,1,1 3ltl_A_,88,186,1,1 3ltl_A_,88,187,1,1 3ltl_A_,89,92,1,1 3ltl_A_,99,102,1,1 3ltl_A_,99,103,1,1 3ltl_A_,100,104,1,1 3ltl_A_,101,105,1,1 3ltl_A_,102,106,1,1 3ltl_A_,103,107,1,1 3ltl_A_,104,108,1,1 3ltl_A_,104,131,1,1 3ltl_A_,105,109,1,1 3ltl_A_,106,110,1,1 3ltl_A_,107,111,1,1 3ltl_A_,108,112,1,1 3ltl_A_,109,113,1,1 3ltl_A_,110,114,1,1 3ltl_A_,111,115,1,1 3ltl_A_,112,116,1,1 3ltl_A_,113,116,1,1 3ltl_A_,113,117,1,1 3ltl_A_,114,117,1,1 3ltl_A_,114,118,1,1 3ltl_A_,115,118,1,1 3ltl_A_,116,119,1,1 3ltl_A_,118,121,1,1 3ltl_A_,121,124,1,1 3ltl_A_,126,129,1,1 3ltl_A_,126,130,1,1 3ltl_A_,127,131,1,1 3ltl_A_,128,132,1,1 3ltl_A_,129,133,1,1 3ltl_A_,129,169,1,1 3ltl_A_,130,134,1,1 3ltl_A_,131,135,1,1 3ltl_A_,132,136,1,1 3ltl_A_,133,136,1,1 3ltl_A_,133,137,1,1 3ltl_A_,134,138,1,1 3ltl_A_,135,139,1,1 3ltl_A_,136,140,1,1 3ltl_A_,136,158,1,1 3ltl_A_,136,162,1,1 3ltl_A_,137,141,1,1 3ltl_A_,138,142,1,1 3ltl_A_,139,143,1,1 3ltl_A_,140,144,1,1 3ltl_A_,141,145,1,1 3ltl_A_,141,188,1,1 3ltl_A_,142,146,1,1 3ltl_A_,143,152,1,1 3ltl_A_,143,153,1,1 3ltl_A_,144,152,1,1 3ltl_A_,145,183,1,1 3ltl_A_,146,149,1,1 3ltl_A_,149,152,1,1 3ltl_A_,153,180,1,1 3ltl_A_,154,158,1,1 3ltl_A_,155,159,1,1 3ltl_A_,155,181,1,1 3ltl_A_,156,160,1,1 3ltl_A_,157,161,1,1 3ltl_A_,158,162,1,1 3ltl_A_,159,162,1,1 3ltl_A_,160,163,1,1 3ltl_A_,162,163,1,1 3ltl_A_,163,171,1,1 3ltl_A_,164,170,1,1 3ltl_A_,167,170,1,1 3ltl_A_,172,175,1,1 3ltl_A_,172,176,1,1 3ltl_A_,173,177,1,1 3ltl_A_,174,178,1,1 3ltl_A_,175,179,1,1 3ltl_A_,176,180,1,1 3ltl_A_,177,181,1,1 3ltl_A_,178,182,1,1 3ltl_A_,179,183,1,1 3ltl_A_,180,184,1,1 3ltl_A_,181,185,1,1 3ltl_A_,182,186,1,1