pair,contact1,contact2,flow1,flow2
6cnf_B_,4,6,1,1
6cnf_B_,4,8,1,1
6cnf_B_,6,9,1,1
6cnf_B_,7,10,1,1
6cnf_B_,8,11,1,1
6cnf_B_,9,12,1,1
6cnf_B_,11,15,1,1
6cnf_B_,12,16,1,1
6cnf_B_,13,17,1,1
6cnf_B_,14,18,1,1
6cnf_B_,15,19,1,1
6cnf_B_,22,25,1,1
6cnf_B_,24,28,1,1
6cnf_B_,24,483,1,1
6cnf_B_,25,29,1,1
6cnf_B_,25,483,1,1
6cnf_B_,26,30,1,1
6cnf_B_,26,159,1,1
6cnf_B_,27,31,1,1
6cnf_B_,28,32,1,1
6cnf_B_,29,33,1,1
6cnf_B_,30,34,1,1
6cnf_B_,31,35,1,1
6cnf_B_,31,124,1,1
6cnf_B_,32,36,1,1
6cnf_B_,33,37,1,1
6cnf_B_,37,41,1,1
6cnf_B_,38,42,1,1
6cnf_B_,40,44,1,1
6cnf_B_,41,44,1,1
6cnf_B_,46,60,1,1
6cnf_B_,48,58,1,1
6cnf_B_,50,365,1,1
6cnf_B_,50,369,1,1
6cnf_B_,57,101,1,1
6cnf_B_,59,99,1,1
6cnf_B_,61,97,1,1
6cnf_B_,62,97,1,1
6cnf_B_,64,67,1,1
6cnf_B_,64,95,1,1
6cnf_B_,64,97,1,1
6cnf_B_,71,73,1,1
6cnf_B_,74,76,1,1
6cnf_B_,78,79,1,1
6cnf_B_,79,83,1,1
6cnf_B_,80,84,1,1
6cnf_B_,81,684,1,1
6cnf_B_,82,85,1,1
6cnf_B_,82,86,1,1
6cnf_B_,83,87,1,1
6cnf_B_,83,89,1,1
6cnf_B_,87,862,1,1
6cnf_B_,88,154,1,1
6cnf_B_,89,399,1,1
6cnf_B_,90,151,1,1
6cnf_B_,91,92,1,1
6cnf_B_,92,117,1,1
6cnf_B_,94,115,1,1
6cnf_B_,96,112,1,1
6cnf_B_,98,110,1,1
6cnf_B_,100,108,1,1
6cnf_B_,114,392,1,1
6cnf_B_,116,395,1,1
6cnf_B_,120,123,1,1
6cnf_B_,121,148,1,1
6cnf_B_,121,149,1,1
6cnf_B_,123,126,1,1
6cnf_B_,126,129,1,1
6cnf_B_,132,134,1,1
6cnf_B_,133,137,1,1
6cnf_B_,134,138,1,1
6cnf_B_,135,139,1,1
6cnf_B_,136,141,1,1
6cnf_B_,137,140,1,1
6cnf_B_,145,147,1,1
6cnf_B_,145,149,1,1
6cnf_B_,149,425,1,1
6cnf_B_,152,155,1,1
6cnf_B_,155,156,1,1
6cnf_B_,157,403,1,1
6cnf_B_,161,439,1,1
6cnf_B_,162,343,1,1
6cnf_B_,162,441,1,1
6cnf_B_,163,439,1,1
6cnf_B_,164,341,1,1
6cnf_B_,168,185,1,1
6cnf_B_,168,301,1,1
6cnf_B_,169,569,1,1
6cnf_B_,171,183,1,1
6cnf_B_,173,181,1,1
6cnf_B_,182,197,1,1
6cnf_B_,184,195,1,1
6cnf_B_,184,313,1,1
6cnf_B_,186,193,1,1
6cnf_B_,186,301,1,1
6cnf_B_,188,189,1,1
6cnf_B_,193,297,1,1
6cnf_B_,196,208,1,1
6cnf_B_,198,206,1,1
6cnf_B_,200,204,1,1
6cnf_B_,201,204,1,1
6cnf_B_,204,206,1,1
6cnf_B_,205,218,1,1
6cnf_B_,207,216,1,1
6cnf_B_,209,211,1,1
6cnf_B_,214,273,1,1
6cnf_B_,217,221,1,1
6cnf_B_,218,222,1,1
6cnf_B_,219,223,1,1
6cnf_B_,220,224,1,1
6cnf_B_,221,225,1,1
6cnf_B_,223,226,1,1
6cnf_B_,229,231,1,1
6cnf_B_,229,232,1,1
6cnf_B_,231,235,1,1
6cnf_B_,233,236,1,1
6cnf_B_,233,237,1,1
6cnf_B_,234,238,1,1
6cnf_B_,235,239,1,1
6cnf_B_,240,245,1,1
6cnf_B_,244,248,1,1
6cnf_B_,245,249,1,1
6cnf_B_,249,253,1,1
6cnf_B_,250,254,1,1
6cnf_B_,251,255,1,1
6cnf_B_,252,256,1,1
6cnf_B_,255,258,1,1
6cnf_B_,260,265,1,1
6cnf_B_,264,268,1,1
6cnf_B_,265,269,1,1
6cnf_B_,267,271,1,1
6cnf_B_,268,272,1,1
6cnf_B_,269,273,1,1
6cnf_B_,270,273,1,1
6cnf_B_,271,274,1,1
6cnf_B_,282,285,1,1
6cnf_B_,283,286,1,1
6cnf_B_,288,291,1,1
6cnf_B_,290,294,1,1
6cnf_B_,292,295,1,1
6cnf_B_,299,302,1,1
6cnf_B_,299,310,1,1
6cnf_B_,303,304,1,1
6cnf_B_,308,312,1,1
6cnf_B_,308,506,1,1
6cnf_B_,308,511,1,1
6cnf_B_,309,313,1,1
6cnf_B_,310,314,1,1
6cnf_B_,311,315,1,1
6cnf_B_,312,316,1,1
6cnf_B_,313,317,1,1
6cnf_B_,314,318,1,1
6cnf_B_,315,319,1,1
6cnf_B_,316,320,1,1
6cnf_B_,317,320,1,1
6cnf_B_,318,322,1,1
6cnf_B_,319,323,1,1
6cnf_B_,320,324,1,1
6cnf_B_,321,325,1,1
6cnf_B_,322,326,1,1
6cnf_B_,336,339,1,1
6cnf_B_,337,340,1,1
6cnf_B_,345,349,1,1
6cnf_B_,346,350,1,1
6cnf_B_,347,350,1,1
6cnf_B_,347,351,1,1
6cnf_B_,348,352,1,1
6cnf_B_,349,353,1,1
6cnf_B_,350,354,1,1
6cnf_B_,351,355,1,1
6cnf_B_,352,356,1,1
6cnf_B_,353,357,1,1
6cnf_B_,354,358,1,1
6cnf_B_,355,359,1,1
6cnf_B_,356,360,1,1
6cnf_B_,357,361,1,1
6cnf_B_,358,362,1,1
6cnf_B_,359,363,1,1
6cnf_B_,360,364,1,1
6cnf_B_,361,365,1,1
6cnf_B_,363,367,1,1
6cnf_B_,364,368,1,1
6cnf_B_,365,368,1,1
6cnf_B_,366,369,1,1
6cnf_B_,366,370,1,1
6cnf_B_,368,372,1,1
6cnf_B_,370,373,1,1
6cnf_B_,374,376,1,1
6cnf_B_,377,380,1,1
6cnf_B_,382,384,1,1
6cnf_B_,385,388,1,1
6cnf_B_,388,391,1,1
6cnf_B_,390,393,1,1
6cnf_B_,391,393,1,1
6cnf_B_,392,396,1,1
6cnf_B_,393,397,1,1
6cnf_B_,394,398,1,1
6cnf_B_,395,399,1,1
6cnf_B_,396,400,1,1
6cnf_B_,397,401,1,1
6cnf_B_,398,402,1,1
6cnf_B_,399,403,1,1
6cnf_B_,400,404,1,1
6cnf_B_,401,405,1,1
6cnf_B_,405,419,1,1
6cnf_B_,407,416,1,1
6cnf_B_,409,414,1,1
6cnf_B_,424,430,1,1
6cnf_B_,427,672,1,1
6cnf_B_,428,431,1,1
6cnf_B_,430,434,1,1
6cnf_B_,431,435,1,1
6cnf_B_,432,436,1,1
6cnf_B_,436,479,1,1
6cnf_B_,438,477,1,1
6cnf_B_,440,443,1,1
6cnf_B_,440,475,1,1
6cnf_B_,450,452,1,1
6cnf_B_,455,458,1,1
6cnf_B_,456,459,1,1
6cnf_B_,458,461,1,1
6cnf_B_,458,462,1,1
6cnf_B_,458,463,1,1
6cnf_B_,459,575,1,1
6cnf_B_,463,478,1,1
6cnf_B_,465,665,1,1
6cnf_B_,481,644,1,1
6cnf_B_,484,574,1,1
6cnf_B_,486,571,1,1
6cnf_B_,486,572,1,1
6cnf_B_,486,574,1,1
6cnf_B_,487,551,1,1
6cnf_B_,489,568,1,1
6cnf_B_,490,568,1,1
6cnf_B_,491,495,1,1
6cnf_B_,492,496,1,1
6cnf_B_,493,497,1,1
6cnf_B_,494,498,1,1
6cnf_B_,495,499,1,1
6cnf_B_,496,500,1,1
6cnf_B_,497,501,1,1
6cnf_B_,499,502,1,1
6cnf_B_,505,507,1,1
6cnf_B_,505,508,1,1
6cnf_B_,506,509,1,1
6cnf_B_,516,529,1,1
6cnf_B_,517,530,1,1
6cnf_B_,519,564,1,1
6cnf_B_,520,527,1,1
6cnf_B_,521,564,1,1
6cnf_B_,521,566,1,1
6cnf_B_,522,525,1,1
6cnf_B_,533,537,1,1
6cnf_B_,534,538,1,1
6cnf_B_,535,539,1,1
6cnf_B_,536,540,1,1
6cnf_B_,537,541,1,1
6cnf_B_,538,542,1,1
6cnf_B_,539,543,1,1
6cnf_B_,540,544,1,1
6cnf_B_,541,545,1,1
6cnf_B_,542,546,1,1
6cnf_B_,543,546,1,1
6cnf_B_,543,547,1,1
6cnf_B_,543,548,1,1
6cnf_B_,544,612,1,1
6cnf_B_,554,555,1,1
6cnf_B_,556,565,1,1
6cnf_B_,557,621,1,1
6cnf_B_,558,563,1,1
6cnf_B_,572,574,1,1
6cnf_B_,572,615,1,1
6cnf_B_,575,614,1,1
6cnf_B_,578,638,1,1
6cnf_B_,579,586,1,1
6cnf_B_,580,636,1,1
6cnf_B_,581,584,1,1
6cnf_B_,581,586,1,1
6cnf_B_,588,590,1,1
6cnf_B_,590,594,1,1
6cnf_B_,592,595,1,1
6cnf_B_,592,596,1,1
6cnf_B_,593,597,1,1
6cnf_B_,595,598,1,1
6cnf_B_,603,607,1,1
6cnf_B_,604,608,1,1
6cnf_B_,605,610,1,1
6cnf_B_,606,609,1,1
6cnf_B_,615,619,1,1
6cnf_B_,616,620,1,1
6cnf_B_,617,621,1,1
6cnf_B_,618,621,1,1
6cnf_B_,618,622,1,1
6cnf_B_,622,636,1,1
6cnf_B_,622,637,1,1
6cnf_B_,623,636,1,1
6cnf_B_,623,637,1,1
6cnf_B_,625,637,1,1
6cnf_B_,627,630,1,1
6cnf_B_,632,635,1,1
6cnf_B_,636,637,1,1
6cnf_B_,642,645,1,1
6cnf_B_,647,651,1,1
6cnf_B_,649,652,1,1
6cnf_B_,650,653,1,1
6cnf_B_,651,705,1,1
6cnf_B_,655,658,1,1
6cnf_B_,655,947,1,1
6cnf_B_,656,659,1,1
6cnf_B_,658,920,1,1
6cnf_B_,659,664,1,1
6cnf_B_,659,881,1,1
6cnf_B_,659,919,1,1
6cnf_B_,660,663,1,1
6cnf_B_,660,664,1,1
6cnf_B_,661,664,1,1
6cnf_B_,661,665,1,1
6cnf_B_,662,666,1,1
6cnf_B_,663,667,1,1
6cnf_B_,664,668,1,1
6cnf_B_,665,669,1,1
6cnf_B_,666,670,1,1
6cnf_B_,667,671,1,1
6cnf_B_,668,672,1,1
6cnf_B_,671,674,1,1
6cnf_B_,673,993,1,1
6cnf_B_,681,684,1,1
6cnf_B_,682,685,1,1
6cnf_B_,687,688,1,1
6cnf_B_,690,753,1,1
6cnf_B_,691,998,1,1
6cnf_B_,694,749,1,1
6cnf_B_,697,719,1,1
6cnf_B_,697,988,1,1
6cnf_B_,698,712,1,1
6cnf_B_,700,939,1,1
6cnf_B_,702,939,1,1
6cnf_B_,702,941,1,1
6cnf_B_,703,705,1,1
6cnf_B_,703,707,1,1
6cnf_B_,703,941,1,1
6cnf_B_,704,708,1,1
6cnf_B_,705,708,1,1
6cnf_B_,705,709,1,1
6cnf_B_,706,711,1,1
6cnf_B_,710,713,1,1
6cnf_B_,711,714,1,1
6cnf_B_,711,716,1,1
6cnf_B_,718,989,1,1
6cnf_B_,720,987,1,1
6cnf_B_,721,906,1,1
6cnf_B_,721,985,1,1
6cnf_B_,722,985,1,1
6cnf_B_,723,909,1,1
6cnf_B_,724,983,1,1
6cnf_B_,725,909,1,1
6cnf_B_,726,910,1,1
6cnf_B_,727,896,1,1
6cnf_B_,728,731,1,1
6cnf_B_,736,888,1,1
6cnf_B_,737,908,1,1
6cnf_B_,738,891,1,1
6cnf_B_,739,743,1,1
6cnf_B_,739,893,1,1
6cnf_B_,740,891,1,1
6cnf_B_,741,744,1,1
6cnf_B_,742,747,1,1
6cnf_B_,742,906,1,1
6cnf_B_,743,746,1,1
6cnf_B_,750,869,1,1
6cnf_B_,752,867,1,1
6cnf_B_,753,847,1,1
6cnf_B_,754,865,1,1
6cnf_B_,756,807,1,1
6cnf_B_,756,863,1,1
6cnf_B_,757,861,1,1
6cnf_B_,758,861,1,1
6cnf_B_,761,763,1,1
6cnf_B_,761,769,1,1
6cnf_B_,763,766,1,1
6cnf_B_,765,816,1,1
6cnf_B_,765,818,1,1
6cnf_B_,767,828,1,1
6cnf_B_,770,811,1,1
6cnf_B_,775,786,1,1
6cnf_B_,784,787,1,1
6cnf_B_,788,806,1,1
6cnf_B_,790,793,1,1
6cnf_B_,801,844,1,1
6cnf_B_,802,805,1,1
6cnf_B_,803,838,1,1
6cnf_B_,803,840,1,1
6cnf_B_,804,838,1,1
6cnf_B_,810,834,1,1
6cnf_B_,813,816,1,1
6cnf_B_,814,830,1,1
6cnf_B_,815,818,1,1
6cnf_B_,821,823,1,1
6cnf_B_,826,827,1,1
6cnf_B_,829,830,1,1
6cnf_B_,838,842,1,1
6cnf_B_,845,866,1,1
6cnf_B_,848,864,1,1
6cnf_B_,850,862,1,1
6cnf_B_,851,852,1,1
6cnf_B_,852,860,1,1
6cnf_B_,856,858,1,1
6cnf_B_,869,998,1,1
6cnf_B_,872,887,1,1
6cnf_B_,874,887,1,1
6cnf_B_,875,887,1,1
6cnf_B_,875,996,1,1
6cnf_B_,877,885,1,1
6cnf_B_,878,880,1,1
6cnf_B_,878,990,1,1
6cnf_B_,879,883,1,1
6cnf_B_,879,922,1,1
6cnf_B_,880,925,1,1
6cnf_B_,881,919,1,1
6cnf_B_,899,902,1,1
6cnf_B_,911,914,1,1
6cnf_B_,913,917,1,1
6cnf_B_,920,924,1,1
6cnf_B_,921,925,1,1
6cnf_B_,922,926,1,1
6cnf_B_,922,989,1,1
6cnf_B_,924,928,1,1
6cnf_B_,925,929,1,1
6cnf_B_,926,930,1,1
6cnf_B_,927,931,1,1
6cnf_B_,928,932,1,1
6cnf_B_,929,933,1,1
6cnf_B_,930,984,1,1
6cnf_B_,931,935,1,1
6cnf_B_,932,937,1,1
6cnf_B_,933,936,1,1
6cnf_B_,937,938,1,1
6cnf_B_,937,939,1,1
6cnf_B_,939,947,1,1
6cnf_B_,940,947,1,1
6cnf_B_,942,945,1,1
6cnf_B_,949,952,1,1
6cnf_B_,950,953,1,1
6cnf_B_,951,955,1,1
6cnf_B_,952,956,1,1
6cnf_B_,953,954,1,1
6cnf_B_,953,957,1,1
6cnf_B_,954,958,1,1
6cnf_B_,956,959,1,1
6cnf_B_,956,960,1,1
6cnf_B_,956,961,1,1
6cnf_B_,957,960,1,1
6cnf_B_,962,964,1,1
6cnf_B_,962,965,1,1
6cnf_B_,966,981,1,1
6cnf_B_,967,982,1,1
6cnf_B_,969,978,1,1
6cnf_B_,971,974,1,1
6cnf_B_,971,975,1,1
6cnf_B_,971,976,1,1
6cnf_B_,994,999,1,1
6cnf_B_,995,999,1,1
6cnf_B_,996,1000,1,1
6cnf_B_,1003,1007,1,1
6cnf_B_,1009,1013,1,1
6cnf_B_,1009,1014,1,1
6cnf_B_,1013,1088,1,1
6cnf_B_,1016,1022,1,1
6cnf_B_,1016,1023,1,1
6cnf_B_,1019,1020,1,1
6cnf_B_,1020,1021,1,1
6cnf_B_,1022,1023,1,1
6cnf_B_,1028,1032,1,1
6cnf_B_,1029,1033,1,1
6cnf_B_,1032,1035,1,1
6cnf_B_,1033,1036,1,1
6cnf_B_,1035,1038,1,1
6cnf_B_,1036,1039,1,1
6cnf_B_,1041,1042,1,1
6cnf_B_,1042,1046,1,1
6cnf_B_,1043,1047,1,1
6cnf_B_,1044,1048,1,1
6cnf_B_,1045,1049,1,1
6cnf_B_,1045,1050,1,1
6cnf_B_,1046,1051,1,1
6cnf_B_,1047,1052,1,1
6cnf_B_,1049,1052,1,1
6cnf_B_,1053,1089,1,1
6cnf_B_,1055,1085,1,1
6cnf_B_,1055,1086,1,1
6cnf_B_,1057,1084,1,1
6cnf_B_,1058,1067,1,1
6cnf_B_,1059,1082,1,1
6cnf_B_,1060,1062,1,1
6cnf_B_,1062,1063,1,1
6cnf_B_,1068,1069,1,1
6cnf_B_,1068,1071,1,1
6cnf_B_,1077,1079,1,1
6cnf_B_,1087,1090,1,1
6cnf_B_,1087,1091,1,1
6cnf_B_,1088,1092,1,1
6cnf_B_,1089,1093,1,1
6cnf_B_,1090,1094,1,1
6cnf_B_,1091,1095,1,1
6cnf_B_,1092,1096,1,1
6cnf_B_,1093,1097,1,1
6cnf_B_,1094,1098,1,1
6cnf_B_,1095,1099,1,1