Ticket #372: preflow_bug.lgf

@nodes
label
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
@arcs
                label   capacity
1       46      0       88
2       46      1       87
3       47      2       99
2       47      3       93
3       48      4       91
4       48      5       85
4       49      6       78
5       49      7       72
5       50      8       60
6       50      9       53
6       51      10      49
7       51      11      42
7       52      12      32
8       52      13      28
8       53      14      15
9       53      15      4
10      54      16      8
9       54      17      3
10      55      18      22
11      55      19      37
12      56      20      48
11      56      21      39
13      57      22      60
12      57      23      69
14      58      24      51
13      58      25      54
14      59      26      42
15      59      27      24
15      60      28      17
16      60      29      31
16      61      30      41
17      61      31      41
17      62      32      43
18      62      33      45
19      63      34      62
18      63      35      52
19      64      36      60
20      64      37      69
21      65      38      60
20      65      39      79
22      66      40      30
21      66      41      46
23      67      42      58
22      67      43      32
23      68      44      57
24      68      45      41
24      69      46      53
25      69      47      57
25      70      48      47
26      70      49      61
26      71      50      52
27      71      51      28
27      72      52      14
28      72      53      14
28      73      54      6
29      73      55      1
29      74      56      2
30      74      57      2
31      75      58      1
30      75      59      1
32      76      60      1
31      76      61      1
32      77      62      1
33      77      63      1
34      78      64      2
33      78      65      1
35      79      66      1
34      79      67      1
35      80      68      1
36      80      69      1
36      81      70      1
37      81      71      1
37      82      72      1
38      82      73      1
38      83      74      1
39      83      75      1
39      84      76      1
40      84      77      1
40      85      78      1
41      85      79      1
1       90      80      75
46      90      81      74
2       91      82      93
47      91      83      99
46      91      84      93
48      92      85      90
3       92      86      98
47      92      87      98
4       93      88      89
49      93      89      81
48      93      90      88
5       94      91      61
49      94      92      60
50      94      93      49
51      95      94      36
6       95      95      45
50      95      96      40
7       96      97      51
51      96      98      48
52      96      99      38
8       97      100     24
52      97      101     19
53      97      102     9
9       98      103     2
53      98      104     2
54      98      105     1
54      99      106     4
55      99      107     13
10      99      108     9
55      100     109     36
11      100     110     45
56      100     111     38
56      101     112     39
12      101     113     57
57      101     114     58
58      102     115     52
57      102     116     58
13      102     117     50
58      103     118     49
14      103     119     44
59      103     120     41
60      104     121     29
15      104     122     24
59      104     123     39
61      105     124     29
16      105     125     30
60      105     126     21
62      106     127     36
17      106     128     35
61      106     129     34
63      107     130     47
18      107     131     42
62      107     132     41
19      108     133     59
64      108     134     52
63      108     135     54
20      109     136     81
64      109     137     62
65      109     138     71
21      110     139     50
65      110     140     59
66      110     141     45
67      111     142     35
22      111     143     23
66      111     144     33
23      112     145     52
67      112     146     41
68      112     147     39
68      113     148     45
69      113     149     58
24      113     150     43
70      114     151     48
69      114     152     58
25      114     153     45
71      115     154     49
26      115     155     68
70      115     156     57
27      116     157     15
71      116     158     20
72      116     159     9
72      117     160     3
73      117     161     1
28      117     162     6
73      118     163     1
29      118     164     1
74      118     165     2
30      119     166     1
75      119     167     1
74      119     168     1
76      120     169     1
75      120     170     1
31      120     171     1
76      121     172     1
32      121     173     1
77      121     174     1
33      122     175     1
78      122     176     1
77      122     177     1
79      123     178     1
78      123     179     2
34      123     180     1
80      124     181     1
79      124     182     1
35      124     183     1
80      125     184     1
36      125     185     1
81      125     186     1
82      126     187     1
81      126     188     1
37      126     189     1
82      127     190     1
83      127     191     1
38      127     192     1
83      128     193     1
39      128     194     1
84      128     195     1
84      129     196     1
40      129     197     1
85      129     198     1
85      130     199     1
41      130     200     1
90      135     201     70
46      135     202     83
91      135     203     89
47      136     204     89
91      136     205     88
92      136     206     87
93      137     207     93
92      137     208     95
48      137     209     88
93      138     210     85
49      138     211     74
94      138     212     64
50      139     213     48
94      139     214     49
95      139     215     40
96      140     216     57
51      140     217     48
95      140     218     44
97      141     219     16
52      141     220     19
96      141     221     33
53      142     222     3
97      142     223     7
98      142     224     1
54      143     225     8
98      143     226     4
99      143     227     8
99      144     228     19
100     144     229     45
55      144     230     38
101     145     231     58
100     145     232     56
56      145     233     49
102     146     234     50
57      146     235     60
101     146     236     49
103     147     237     48
102     147     238     52
58      147     239     56
103     148     240     41
59      148     241     40
104     148     242     39
60      149     243     33
105     149     244     32
104     149     245     43
46      1       246     88
46      2       247     87
47      3       248     99
47      2       249     93
48      3       250     91
48      4       251     85
49      4       252     78
49      5       253     72
50      5       254     60
50      6       255     53
51      6       256     49
51      7       257     42
52      7       258     32
52      8       259     28
53      8       260     15
53      9       261     4
54      10      262     8
54      9       263     3
55      10      264     22
55      11      265     37
56      12      266     48
56      11      267     39
57      13      268     60
57      12      269     69
58      14      270     51
58      13      271     54
59      14      272     42
59      15      273     24
60      15      274     17
60      16      275     31
61      16      276     41
61      17      277     41
62      17      278     43
62      18      279     45
63      19      280     62
63      18      281     52
64      19      282     60
64      20      283     69
65      21      284     60
65      20      285     79
66      22      286     30
66      21      287     46
67      23      288     58
67      22      289     32
68      23      290     57
68      24      291     41
69      24      292     53
69      25      293     57
70      25      294     47
70      26      295     61
71      26      296     52
71      27      297     28
72      27      298     14
72      28      299     14
73      28      300     6
73      29      301     1
74      29      302     2
74      30      303     2
75      31      304     1
75      30      305     1
76      32      306     1
76      31      307     1
77      32      308     1
77      33      309     1
78      34      310     2
78      33      311     1
79      35      312     1
79      34      313     1
80      35      314     1
80      36      315     1
81      36      316     1
81      37      317     1
82      37      318     1
82      38      319     1
83      38      320     1
83      39      321     1
84      39      322     1
84      40      323     1
85      40      324     1
85      41      325     1
90      1       326     75
90      46      327     74
91      2       328     93
91      47      329     99
91      46      330     93
92      48      331     90
92      3       332     98
92      47      333     98
93      4       334     89
93      49      335     81
93      48      336     88
94      5       337     61
94      49      338     60
94      50      339     49
95      51      340     36
95      6       341     45
95      50      342     40
96      7       343     51
96      51      344     48
96      52      345     38
97      8       346     24
97      52      347     19
97      53      348     9
98      9       349     2
98      53      350     2
98      54      351     1
99      54      352     4
99      55      353     13
99      10      354     9
100     55      355     36
100     11      356     45
100     56      357     38
101     56      358     39
101     12      359     57
101     57      360     58
102     58      361     52
102     57      362     58
102     13      363     50
103     58      364     49
103     14      365     44
103     59      366     41
104     60      367     29
104     15      368     24
104     59      369     39
105     61      370     29
105     16      371     30
105     60      372     21
106     62      373     36
106     17      374     35
106     61      375     34
107     63      376     47
107     18      377     42
107     62      378     41
108     19      379     59
108     64      380     52
108     63      381     54
109     20      382     81
109     64      383     62
109     65      384     71
110     21      385     50
110     65      386     59
110     66      387     45
111     67      388     35
111     22      389     23
111     66      390     33
112     23      391     52
112     67      392     41
112     68      393     39
113     68      394     45
113     69      395     58
113     24      396     43
114     70      397     48
114     69      398     58
114     25      399     45
115     71      400     49
115     26      401     68
115     70      402     57
116     27      403     15
116     71      404     20
116     72      405     9
117     72      406     3
117     73      407     1
117     28      408     6
118     73      409     1
118     29      410     1
118     74      411     2
119     30      412     1
119     75      413     1
119     74      414     1
120     76      415     1
120     75      416     1
120     31      417     1
121     76      418     1
121     32      419     1
121     77      420     1
122     33      421     1
122     78      422     1
122     77      423     1
123     79      424     1
123     78      425     2
123     34      426     1
124     80      427     1
124     79      428     1
124     35      429     1
125     80      430     1
125     36      431     1
125     81      432     1
126     82      433     1
126     81      434     1
126     37      435     1
127     82      436     1
127     83      437     1
127     38      438     1
128     83      439     1
128     39      440     1
128     84      441     1
129     84      442     1
129     40      443     1
129     85      444     1
130     85      445     1
130     41      446     1
135     90      447     70
135     46      448     83
135     91      449     89
136     47      450     89
136     91      451     88
136     92      452     87
137     93      453     93
137     92      454     95
137     48      455     88
138     93      456     85
138     49      457     74
138     94      458     64
139     50      459     48
139     94      460     49
139     95      461     40
140     96      462     57
140     51      463     48
140     95      464     44
141     97      465     16
141     52      466     19
141     96      467     33
142     53      468     3
142     97      469     7
142     98      470     1
143     54      471     8
143     98      472     4
143     99      473     8
144     99      474     19
144     100     475     45
144     55      476     38
145     101     477     58
145     100     478     56
145     56      479     49
146     102     480     50
146     57      481     60
146     101     482     49
147     103     483     48
147     102     484     52
147     58      485     56
148     103     486     41
148     59      487     40
148     104     488     39
149     60      489     33
149     105     490     32
149     104     491     43