Counter in file 0 4:9 -> 4:26, #1
Counter in file 0 5:8 -> 5:12, (#1 + 0)
Counter in file 0 5:13 -> 7:6, #2
Counter in file 0 10:9 -> 10:10, (#4 + #11)
Counter in file 0 10:16 -> 10:29, (#2 + 0)
Counter in file 0 11:9 -> 12:10, #4
Counter in file 0 13:15 -> 13:28, ((#2 + 0) - #3)
Counter in file 0 14:12 -> 14:25, #5
Counter in file 0 14:29 -> 14:42, (#5 - #13)
Counter in file 0 14:42 -> 14:43, (#13 + #14)
Counter in file 0 14:42 -> 14:43, ((#5 - #13) - #14)
Counter in file 0 14:46 -> 14:60, #21
Counter in file 0 14:60 -> 14:61, (#17 + #18)
Counter in file 0 14:60 -> 14:61, (#21 - #18)
Counter in file 0 14:61 -> 16:10, #22
Counter in file 0 16:10 -> 16:11, #23
Counter in file 0 17:9 -> 18:18, #11
Counter in file 0 20:9 -> 20:15, (((#2 + 0) - #3) - #5)
Counter in file 0 23:9 -> 23:26, ((#4 + #11) + 0)
Counter in file 0 24:8 -> 24:12, ((#4 + #11) + 0)
Counter in file 0 24:13 -> 26:6, #12
Counter in file 0 28:8 -> 28:21, (#12 + 0)
Counter in file 0 29:9 -> 29:23, #16
Counter in file 0 30:15 -> 30:28, ((#12 + 0) - #15)
Counter in file 0 31:12 -> 31:25, (((#12 + 0) - #15) - #8)
Counter in file 0 31:29 -> 31:42, ((((#12 + 0) - #15) - #8) - #24)
Counter in file 0 31:42 -> 31:43, (((((#12 + 0) - #15) - #8) - #24) - #25)
Counter in file 0 31:42 -> 31:43, (#24 + #25)
Counter in file 0 31:46 -> 31:60, #32
Counter in file 0 31:60 -> 31:61, (#28 + #29)
Counter in file 0 31:60 -> 31:61, (#32 - #29)
Counter in file 0 31:61 -> 33:10, #33
Counter in file 0 33:10 -> 33:11, #34
Counter in file 0 34:9 -> 34:23, #19
Counter in file 0 36:9 -> 36:15, #8
Counter in file 0 39:9 -> 39:26, (#16 + #19)
Counter in file 0 40:8 -> 40:12, ((#16 + #19) + 0)
Counter in file 0 40:13 -> 42:6, #20
Counter in file 0 44:9 -> 44:10, (#27 + #30)
Counter in file 0 44:16 -> 44:29, (#20 + 0)
Counter in file 0 45:9 -> 45:23, #27
Counter in file 0 46:15 -> 46:28, ((#20 + 0) - #26)
Counter in file 0 47:12 -> 47:25, (((#20 + 0) - #26) - #7)
Counter in file 0 47:29 -> 47:42, ((((#20 + 0) - #26) - #7) - #35)
Counter in file 0 47:42 -> 47:43, (#35 + #36)
Counter in file 0 47:42 -> 47:43, (((((#20 + 0) - #26) - #7) - #35) - #36)
Counter in file 0 47:46 -> 47:60, #41
Counter in file 0 47:60 -> 47:61, (#37 + #38)
Counter in file 0 47:60 -> 47:61, (#41 - #38)
Counter in file 0 47:61 -> 49:10, #42
Counter in file 0 49:10 -> 49:11, #43
Counter in file 0 50:9 -> 50:23, #30
Counter in file 0 52:13 -> 54:15, #7
Counter in file 0 57:9 -> 57:10, (#9 + #10)
Counter in file 0 57:16 -> 57:29, ((#27 + #30) + 0)
Counter in file 0 58:9 -> 58:23, #9
Counter in file 0 59:15 -> 59:28, ((#27 + #30) - #31)
Counter in file 0 60:12 -> 60:25, (((#27 + #30) - #31) - #6)
Counter in file 0 60:29 -> 60:42, ((((#27 + #30) - #31) - #6) - #39)
Counter in file 0 60:42 -> 60:43, (#39 + #40)
Counter in file 0 60:42 -> 60:43, (((((#27 + #30) - #31) - #6) - #39) - #40)
Counter in file 0 60:46 -> 60:60, #46
Counter in file 0 60:60 -> 60:61, (#46 - #45)
Counter in file 0 60:60 -> 60:61, (#44 + #45)
Counter in file 0 60:61 -> 62:10, #47
Counter in file 0 62:10 -> 62:11, #48
Counter in file 0 63:9 -> 63:23, #10
Counter in file 0 65:9 -> 65:15, #6
Counter in file 0 67:1 -> 67:2, ((#9 + #10) + (((#6 + #7) + #8) + (((#2 + 0) - #3) - #5)))
Emitting segments for file: ../coverage/conditions.rs
Combined regions:
  4:9 -> 4:26 (count=1)
  5:8 -> 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:42 -> 14:43 (count=0)
  14:46 -> 14:60 (count=0)
  14:60 -> 14:61 (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 -> 23:26 (count=1)
  24:8 -> 24:12 (count=1)
  24:13 -> 26:6 (count=1)
  28:8 -> 28:21 (count=1)
  29:9 -> 29:23 (count=1)
  30:15 -> 30:28 (count=0)
  31:12 -> 31:25 (count=0)
  31:29 -> 31:42 (count=0)
  31:42 -> 31:43 (count=0)
  31:46 -> 31:60 (count=0)
  31:60 -> 31:61 (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:9 -> 39:26 (count=1)
  40:8 -> 40:12 (count=1)
  40:13 -> 42:6 (count=1)
  44:9 -> 44:10 (count=0)
  44:16 -> 44:29 (count=1)
  45:9 -> 45:23 (count=0)
  46:15 -> 46:28 (count=1)
  47:12 -> 47:25 (count=0)
  47:29 -> 47:42 (count=0)
  47:42 -> 47:43 (count=0)
  47:46 -> 47:60 (count=0)
  47:60 -> 47:61 (count=0)
  47:61 -> 49:10 (count=0)
  49:10 -> 49:11 (count=0)
  50:9 -> 50:23 (count=0)
  52:13 -> 54:15 (count=1)
  57:9 -> 57:10 (count=0)
  57:16 -> 57:29 (count=0)
  58:9 -> 58:23 (count=0)
  59:15 -> 59:28 (count=0)
  60:12 -> 60:25 (count=0)
  60:29 -> 60:42 (count=0)
  60:42 -> 60:43 (count=0)
  60:46 -> 60:60 (count=0)
  60:60 -> 60:61 (count=0)
  60:61 -> 62:10 (count=0)
  62:10 -> 62:11 (count=0)
  63:9 -> 63:23 (count=0)
  65:9 -> 65:15 (count=0)
  67:1 -> 67:2 (count=1)
Segment at 4:9 (count = 1), RegionEntry
Segment at 4:26 (count = 0), Skipped
Segment at 5:8 (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), RegionEntry
Segment at 14:43 (count = 0), Skipped
Segment at 14:46 (count = 0), RegionEntry
Segment at 14:60 (count = 0), RegionEntry
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 23:26 (count = 0), Skipped
Segment at 24:8 (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 29:9 (count = 1), RegionEntry
Segment at 29:23 (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), RegionEntry
Segment at 31:43 (count = 0), Skipped
Segment at 31:46 (count = 0), RegionEntry
Segment at 31:60 (count = 0), RegionEntry
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:9 (count = 1), RegionEntry
Segment at 39:26 (count = 0), Skipped
Segment at 40:8 (count = 1), RegionEntry
Segment at 40:12 (count = 0), Skipped
Segment at 40:13 (count = 1), RegionEntry
Segment at 42:6 (count = 0), Skipped
Segment at 44:9 (count = 0), RegionEntry
Segment at 44:10 (count = 0), Skipped
Segment at 44:16 (count = 1), RegionEntry
Segment at 44:29 (count = 0), Skipped
Segment at 45:9 (count = 0), RegionEntry
Segment at 45:23 (count = 0), Skipped
Segment at 46:15 (count = 1), RegionEntry
Segment at 46:28 (count = 0), Skipped
Segment at 47:12 (count = 0), RegionEntry
Segment at 47:25 (count = 0), Skipped
Segment at 47:29 (count = 0), RegionEntry
Segment at 47:42 (count = 0), RegionEntry
Segment at 47:43 (count = 0), Skipped
Segment at 47:46 (count = 0), RegionEntry
Segment at 47:60 (count = 0), RegionEntry
Segment at 47:61 (count = 0), RegionEntry
Segment at 49:10 (count = 0), RegionEntry
Segment at 49:11 (count = 0), Skipped
Segment at 50:9 (count = 0), RegionEntry
Segment at 50:23 (count = 0), Skipped
Segment at 52:13 (count = 1), RegionEntry
Segment at 54:15 (count = 0), Skipped
Segment at 57:9 (count = 0), RegionEntry
Segment at 57:10 (count = 0), Skipped
Segment at 57:16 (count = 0), RegionEntry
Segment at 57:29 (count = 0), Skipped
Segment at 58:9 (count = 0), RegionEntry
Segment at 58:23 (count = 0), Skipped
Segment at 59:15 (count = 0), RegionEntry
Segment at 59:28 (count = 0), Skipped
Segment at 60:12 (count = 0), RegionEntry
Segment at 60:25 (count = 0), Skipped
Segment at 60:29 (count = 0), RegionEntry
Segment at 60:42 (count = 0), RegionEntry
Segment at 60:43 (count = 0), Skipped
Segment at 60:46 (count = 0), RegionEntry
Segment at 60:60 (count = 0), RegionEntry
Segment at 60:61 (count = 0), RegionEntry
Segment at 62:10 (count = 0), RegionEntry
Segment at 62:11 (count = 0), Skipped
Segment at 63:9 (count = 0), RegionEntry
Segment at 63:23 (count = 0), Skipped
Segment at 65:9 (count = 0), RegionEntry
Segment at 65:15 (count = 0), Skipped
Segment at 67:1 (count = 1), RegionEntry
Segment at 67:2 (count = 0), Skipped
