pair,contact1,contact2,flow1,flow2 7nat_S_,2,7,1,1 7nat_S_,3,7,1,1 7nat_S_,9,38,1,1 7nat_S_,11,13,1,1 7nat_S_,11,15,1,1 7nat_S_,11,36,1,1 7nat_S_,11,37,1,1 7nat_S_,12,16,1,1 7nat_S_,13,17,1,1 7nat_S_,14,18,1,1 7nat_S_,15,19,1,1 7nat_S_,16,20,1,1 7nat_S_,17,21,1,1 7nat_S_,17,31,1,1 7nat_S_,18,22,1,1 7nat_S_,19,23,1,1 7nat_S_,20,24,1,1 7nat_S_,21,24,1,1 7nat_S_,22,25,1,1 7nat_S_,30,49,1,1 7nat_S_,32,49,1,1 7nat_S_,32,51,1,1 7nat_S_,34,37,1,1 7nat_S_,35,71,1,1 7nat_S_,35,74,1,1 7nat_S_,36,69,1,1 7nat_S_,37,70,1,1 7nat_S_,38,39,1,1 7nat_S_,38,67,1,1 7nat_S_,38,68,1,1 7nat_S_,39,67,1,1 7nat_S_,39,68,1,1 7nat_S_,42,44,1,1 7nat_S_,45,61,1,1 7nat_S_,46,61,1,1 7nat_S_,48,59,1,1 7nat_S_,50,57,1,1 7nat_S_,52,55,1,1 7nat_S_,62,64,1,1 7nat_S_,63,64,1,1 7nat_S_,63,66,1,1 7nat_S_,65,68,1,1 7nat_S_,70,73,1,1 7nat_S_,71,74,1,1 7nat_S_,79,82,1,1