Counter in file 0 3:1 -> 3:11, #1
Counter in file 0 4:9 -> 5:12, (#1 + 0)
Counter in file 0 5:13 -> 7:6, #2
Counter in file 0 10:9 -> 10:10, (#3 + (#12 + #13))
Counter in file 0 10:16 -> 10:29, (#2 + 0)
Counter in file 0 11:9 -> 12:10, #3
Counter in file 0 13:15 -> 13:28, ((#2 + 0) - #3)
Counter in file 0 14:12 -> 14:25, #4
Counter in file 0 14:29 -> 14:42, (#4 - #15)
Counter in file 0 14:46 -> 14:60, #21
Counter in file 0 14:61 -> 16:10, #12
Counter in file 0 16:10 -> 16:11, #13
Counter in file 0 17:9 -> 18:18, (#12 + #13)
Counter in file 0 20:9 -> 20:15, (((#2 + 0) - #3) - #4)
Counter in file 0 23:9 -> 24:12, ((#3 + (#12 + #13)) + 0)
Counter in file 0 24:13 -> 26:6, #14
Counter in file 0 28:8 -> 28:21, (#14 + 0)
Counter in file 0 28:22 -> 30:6, #16
Counter in file 0 30:15 -> 30:28, ((#14 + 0) - #16)
Counter in file 0 31:12 -> 31:25, (((#14 + 0) - #16) - #11)
Counter in file 0 31:29 -> 31:42, ((((#14 + 0) - #16) - #11) - #23)
Counter in file 0 31:46 -> 31:60, #31
Counter in file 0 31:61 -> 33:10, #18
Counter in file 0 33:10 -> 33:11, #19
Counter in file 0 34:9 -> 34:23, (#18 + #19)
Counter in file 0 36:9 -> 36:15, #11
Counter in file 0 39:8 -> 39:12, (#16 + (#18 + #19))
Counter in file 0 40:13 -> 41:16, #20
Counter in file 0 41:17 -> 43:10, #24
Counter in file 0 45:12 -> 45:25, (#24 + 0)
Counter in file 0 45:26 -> 47:10, #25
Counter in file 0 48:17 -> 48:30, ((#24 + 0) - #25)
Counter in file 0 49:16 -> 49:29, (((#24 + 0) - #25) - #10)
Counter in file 0 49:33 -> 49:46, ((((#24 + 0) - #25) - #10) - #35)
Counter in file 0 49:50 -> 49:64, #40
Counter in file 0 49:65 -> 51:14, #26
Counter in file 0 51:14 -> 51:15, #27
Counter in file 0 52:13 -> 52:27, (#26 + #27)
Counter in file 0 54:13 -> 54:19, #10
Counter in file 0 59:9 -> 60:12, ((#25 + (#26 + #27)) + 0)
Counter in file 0 60:13 -> 62:6, #28
Counter in file 0 64:9 -> 64:10, (#30 + (#33 + #34))
Counter in file 0 64:16 -> 64:29, (#28 + 0)
Counter in file 0 64:30 -> 66:6, #30
Counter in file 0 66:15 -> 66:28, ((#28 + 0) - #30)
Counter in file 0 67:12 -> 67:25, (((#28 + 0) - #30) - #9)
Counter in file 0 67:29 -> 67:42, ((((#28 + 0) - #30) - #9) - #36)
Counter in file 0 67:46 -> 67:60, #42
Counter in file 0 67:61 -> 69:10, #33
Counter in file 0 69:10 -> 69:11, #34
Counter in file 0 70:9 -> 70:23, (#33 + #34)
Counter in file 0 72:13 -> 74:15, #9
Counter in file 0 77:9 -> 77:10, (#5 + (#6 + #7))
Counter in file 0 77:16 -> 77:29, ((#30 + (#33 + #34)) + 0)
Counter in file 0 77:30 -> 79:6, #5
Counter in file 0 79:15 -> 79:28, ((#30 + (#33 + #34)) - #5)
Counter in file 0 80:12 -> 80:25, (((#30 + (#33 + #34)) - #5) - #8)
Counter in file 0 80:29 -> 80:42, ((((#30 + (#33 + #34)) - #5) - #8) - #39)
Counter in file 0 80:46 -> 80:60, #45
Counter in file 0 80:61 -> 82:10, #6
Counter in file 0 82:10 -> 82:11, #7
Counter in file 0 83:9 -> 83:23, (#6 + #7)
Counter in file 0 85:9 -> 85:15, #8
Counter in file 0 87:1 -> 87:2, ((#5 + (#6 + #7)) + (((#8 + #9) + (#10 + #11)) + (((#2 + 0) - #3) - #4)))
Emitting segments for file: ../coverage/conditions.rs
Combined regions:
  3:1 -> 3:11 (count=1)
  4:9 -> 5:12 (count=1)
  5:13 -> 7:6 (count=1)
  10:9 -> 10:10 (count=1)
  10:16 -> 10:29 (count=1)
  11:9 -> 12:10 (count=1)
  13:15 -> 13:28 (count=0)
  14:12 -> 14:25 (count=0)
  14:29 -> 14:42 (count=0)
  14:46 -> 14:60 (count=0)
  14:61 -> 16:10 (count=0)
  16:10 -> 16:11 (count=0)
  17:9 -> 18:18 (count=0)
  20:9 -> 20:15 (count=0)
  23:9 -> 24:12 (count=1)
  24:13 -> 26:6 (count=1)
  28:8 -> 28:21 (count=1)
  28:22 -> 30:6 (count=1)
  30:15 -> 30:28 (count=0)
  31:12 -> 31:25 (count=0)
  31:29 -> 31:42 (count=0)
  31:46 -> 31:60 (count=0)
  31:61 -> 33:10 (count=0)
  33:10 -> 33:11 (count=0)
  34:9 -> 34:23 (count=0)
  36:9 -> 36:15 (count=0)
  39:8 -> 39:12 (count=1)
  40:13 -> 41:16 (count=1)
  41:17 -> 43:10 (count=1)
  45:12 -> 45:25 (count=1)
  45:26 -> 47:10 (count=1)
  48:17 -> 48:30 (count=0)
  49:16 -> 49:29 (count=0)
  49:33 -> 49:46 (count=0)
  49:50 -> 49:64 (count=0)
  49:65 -> 51:14 (count=0)
  51:14 -> 51:15 (count=0)
  52:13 -> 52:27 (count=0)
  54:13 -> 54:19 (count=0)
  59:9 -> 60:12 (count=1)
  60:13 -> 62:6 (count=1)
  64:9 -> 64:10 (count=0)
  64:16 -> 64:29 (count=1)
  64:30 -> 66:6 (count=0)
  66:15 -> 66:28 (count=1)
  67:12 -> 67:25 (count=0)
  67:29 -> 67:42 (count=0)
  67:46 -> 67:60 (count=0)
  67:61 -> 69:10 (count=0)
  69:10 -> 69:11 (count=0)
  70:9 -> 70:23 (count=0)
  72:13 -> 74:15 (count=1)
  77:9 -> 77:10 (count=0)
  77:16 -> 77:29 (count=0)
  77:30 -> 79:6 (count=0)
  79:15 -> 79:28 (count=0)
  80:12 -> 80:25 (count=0)
  80:29 -> 80:42 (count=0)
  80:46 -> 80:60 (count=0)
  80:61 -> 82:10 (count=0)
  82:10 -> 82:11 (count=0)
  83:9 -> 83:23 (count=0)
  85:9 -> 85:15 (count=0)
  87:1 -> 87:2 (count=1)
Segment at 3:1 (count = 1), RegionEntry
Segment at 3:11 (count = 0), Skipped
Segment at 4:9 (count = 1), RegionEntry
Segment at 5:12 (count = 0), Skipped
Segment at 5:13 (count = 1), RegionEntry
Segment at 7:6 (count = 0), Skipped
Segment at 10:9 (count = 1), RegionEntry
Segment at 10:10 (count = 0), Skipped
Segment at 10:16 (count = 1), RegionEntry
Segment at 10:29 (count = 0), Skipped
Segment at 11:9 (count = 1), RegionEntry
Segment at 12:10 (count = 0), Skipped
Segment at 13:15 (count = 0), RegionEntry
Segment at 13:28 (count = 0), Skipped
Segment at 14:12 (count = 0), RegionEntry
Segment at 14:25 (count = 0), Skipped
Segment at 14:29 (count = 0), RegionEntry
Segment at 14:42 (count = 0), Skipped
Segment at 14:46 (count = 0), RegionEntry
Segment at 14:60 (count = 0), Skipped
Segment at 14:61 (count = 0), RegionEntry
Segment at 16:10 (count = 0), RegionEntry
Segment at 16:11 (count = 0), Skipped
Segment at 17:9 (count = 0), RegionEntry
Segment at 18:18 (count = 0), Skipped
Segment at 20:9 (count = 0), RegionEntry
Segment at 20:15 (count = 0), Skipped
Segment at 23:9 (count = 1), RegionEntry
Segment at 24:12 (count = 0), Skipped
Segment at 24:13 (count = 1), RegionEntry
Segment at 26:6 (count = 0), Skipped
Segment at 28:8 (count = 1), RegionEntry
Segment at 28:21 (count = 0), Skipped
Segment at 28:22 (count = 1), RegionEntry
Segment at 30:6 (count = 0), Skipped
Segment at 30:15 (count = 0), RegionEntry
Segment at 30:28 (count = 0), Skipped
Segment at 31:12 (count = 0), RegionEntry
Segment at 31:25 (count = 0), Skipped
Segment at 31:29 (count = 0), RegionEntry
Segment at 31:42 (count = 0), Skipped
Segment at 31:46 (count = 0), RegionEntry
Segment at 31:60 (count = 0), Skipped
Segment at 31:61 (count = 0), RegionEntry
Segment at 33:10 (count = 0), RegionEntry
Segment at 33:11 (count = 0), Skipped
Segment at 34:9 (count = 0), RegionEntry
Segment at 34:23 (count = 0), Skipped
Segment at 36:9 (count = 0), RegionEntry
Segment at 36:15 (count = 0), Skipped
Segment at 39:8 (count = 1), RegionEntry
Segment at 39:12 (count = 0), Skipped
Segment at 40:13 (count = 1), RegionEntry
Segment at 41:16 (count = 0), Skipped
Segment at 41:17 (count = 1), RegionEntry
Segment at 43:10 (count = 0), Skipped
Segment at 45:12 (count = 1), RegionEntry
Segment at 45:25 (count = 0), Skipped
Segment at 45:26 (count = 1), RegionEntry
Segment at 47:10 (count = 0), Skipped
Segment at 48:17 (count = 0), RegionEntry
Segment at 48:30 (count = 0), Skipped
Segment at 49:16 (count = 0), RegionEntry
Segment at 49:29 (count = 0), Skipped
Segment at 49:33 (count = 0), RegionEntry
Segment at 49:46 (count = 0), Skipped
Segment at 49:50 (count = 0), RegionEntry
Segment at 49:64 (count = 0), Skipped
Segment at 49:65 (count = 0), RegionEntry
Segment at 51:14 (count = 0), RegionEntry
Segment at 51:15 (count = 0), Skipped
Segment at 52:13 (count = 0), RegionEntry
Segment at 52:27 (count = 0), Skipped
Segment at 54:13 (count = 0), RegionEntry
Segment at 54:19 (count = 0), Skipped
Segment at 59:9 (count = 1), RegionEntry
Segment at 60:12 (count = 0), Skipped
Segment at 60:13 (count = 1), RegionEntry
Segment at 62:6 (count = 0), Skipped
Segment at 64:9 (count = 0), RegionEntry
Segment at 64:10 (count = 0), Skipped
Segment at 64:16 (count = 1), RegionEntry
Segment at 64:29 (count = 0), Skipped
Segment at 64:30 (count = 0), RegionEntry
Segment at 66:6 (count = 0), Skipped
Segment at 66:15 (count = 1), RegionEntry
Segment at 66:28 (count = 0), Skipped
Segment at 67:12 (count = 0), RegionEntry
Segment at 67:25 (count = 0), Skipped
Segment at 67:29 (count = 0), RegionEntry
Segment at 67:42 (count = 0), Skipped
Segment at 67:46 (count = 0), RegionEntry
Segment at 67:60 (count = 0), Skipped
Segment at 67:61 (count = 0), RegionEntry
Segment at 69:10 (count = 0), RegionEntry
Segment at 69:11 (count = 0), Skipped
Segment at 70:9 (count = 0), RegionEntry
Segment at 70:23 (count = 0), Skipped
Segment at 72:13 (count = 1), RegionEntry
Segment at 74:15 (count = 0), Skipped
Segment at 77:9 (count = 0), RegionEntry
Segment at 77:10 (count = 0), Skipped
Segment at 77:16 (count = 0), RegionEntry
Segment at 77:29 (count = 0), Skipped
Segment at 77:30 (count = 0), RegionEntry
Segment at 79:6 (count = 0), Skipped
Segment at 79:15 (count = 0), RegionEntry
Segment at 79:28 (count = 0), Skipped
Segment at 80:12 (count = 0), RegionEntry
Segment at 80:25 (count = 0), Skipped
Segment at 80:29 (count = 0), RegionEntry
Segment at 80:42 (count = 0), Skipped
Segment at 80:46 (count = 0), RegionEntry
Segment at 80:60 (count = 0), Skipped
Segment at 80:61 (count = 0), RegionEntry
Segment at 82:10 (count = 0), RegionEntry
Segment at 82:11 (count = 0), Skipped
Segment at 83:9 (count = 0), RegionEntry
Segment at 83:23 (count = 0), Skipped
Segment at 85:9 (count = 0), RegionEntry
Segment at 85:15 (count = 0), Skipped
Segment at 87:1 (count = 1), RegionEntry
Segment at 87:2 (count = 0), Skipped
