$non_blank labels\n"; echo substr($line, 0, 80) . "\n"; # Only show first 80 chars. } /* Test cases for prune_labels */ for ($n = 7; $n <= 1000; $n *= 2) test($n, 10); for ($g = 5; $g <= 40; $g++) test(72, $g); # Edge cases test(80, 41); test(80, 40); test(80, 39);