pair,contact1,contact2,flow1,flow2 7nat_K_,2,4,1,1 7nat_K_,3,63,1,1 7nat_K_,5,65,1,1 7nat_K_,5,66,1,1 7nat_K_,5,68,1,1 7nat_K_,7,71,1,1 7nat_K_,8,23,1,1 7nat_K_,9,71,1,1 7nat_K_,9,73,1,1 7nat_K_,10,21,1,1 7nat_K_,10,23,1,1 7nat_K_,11,73,1,1 7nat_K_,11,75,1,1 7nat_K_,12,19,1,1 7nat_K_,13,75,1,1 7nat_K_,13,78,1,1 7nat_K_,14,16,1,1 7nat_K_,14,17,1,1 7nat_K_,17,18,1,1 7nat_K_,17,36,1,1 7nat_K_,18,34,1,1 7nat_K_,18,35,1,1 7nat_K_,20,33,1,1 7nat_K_,22,30,1,1 7nat_K_,22,31,1,1 7nat_K_,24,27,1,1 7nat_K_,24,28,1,1 7nat_K_,35,38,1,1 7nat_K_,41,44,1,1 7nat_K_,43,46,1,1 7nat_K_,44,47,1,1 7nat_K_,47,51,1,1 7nat_K_,48,52,1,1 7nat_K_,48,83,1,1 7nat_K_,49,52,1,1 7nat_K_,49,53,1,1 7nat_K_,51,54,1,1 7nat_K_,53,57,1,1 7nat_K_,54,58,1,1 7nat_K_,55,58,1,1 7nat_K_,55,59,1,1 7nat_K_,56,60,1,1 7nat_K_,59,62,1,1 7nat_K_,60,61,1,1 7nat_K_,60,63,1,1 7nat_K_,62,66,1,1 7nat_K_,66,68,1,1 7nat_K_,70,96,1,1 7nat_K_,70,97,1,1 7nat_K_,71,96,1,1 7nat_K_,72,97,1,1 7nat_K_,72,99,1,1 7nat_K_,74,99,1,1 7nat_K_,74,101,1,1 7nat_K_,80,84,1,1 7nat_K_,81,84,1,1 7nat_K_,81,85,1,1 7nat_K_,82,86,1,1 7nat_K_,83,87,1,1 7nat_K_,84,88,1,1 7nat_K_,86,89,1,1 7nat_K_,87,90,1,1 7nat_K_,89,93,1,1 7nat_K_,115,117,1,1