| line | true | false | branch | 
 
| 8 | 222 | 8 | (2392 <= uv && uv <= 2399) | 
 
| 9 | 222 | 161 | || (2524 <= uv && uv <= 2525) | 
 
|  | 222 | 0 | || (2524 <= uv && uv <= 2525) | 
 
| 10 | 383 | 0 | || uv == 2527 | 
 
| 11 | 383 | 0 | || uv == 2611 | 
 
| 12 | 383 | 0 | || uv == 2614 | 
 
| 13 | 222 | 161 | || (2649 <= uv && uv <= 2651) | 
 
|  | 222 | 0 | || (2649 <= uv && uv <= 2651) | 
 
| 14 | 383 | 0 | || uv == 2654 | 
 
| 15 | 219 | 164 | || (2908 <= uv && uv <= 2909) | 
 
|  | 219 | 0 | || (2908 <= uv && uv <= 2909) | 
 
| 16 | 379 | 4 | || uv == 3907 | 
 
| 17 | 379 | 0 | || uv == 3917 | 
 
| 18 | 379 | 0 | || uv == 3922 | 
 
| 19 | 379 | 0 | || uv == 3927 | 
 
| 20 | 379 | 0 | || uv == 3932 | 
 
| 21 | 379 | 0 | || uv == 3945 | 
 
| 22 | 379 | 0 | || uv == 3958 | 
 
| 23 | 379 | 0 | || uv == 3960 | 
 
| 24 | 379 | 0 | || uv == 3987 | 
 
| 25 | 379 | 0 | || uv == 3997 | 
 
| 26 | 379 | 0 | || uv == 4002 | 
 
| 27 | 379 | 0 | || uv == 4007 | 
 
| 28 | 379 | 0 | || uv == 4012 | 
 
| 29 | 379 | 0 | || uv == 4025 | 
 
| 30 | 377 | 2 | || uv == 10972 | 
 
| 31 | 375 | 2 | || uv == 64285 | 
 
| 32 | 375 | 0 | || uv == 64287 | 
 
| 33 | 17 | 358 | || (64298 <= uv && uv <= 64310) | 
 
|  | 17 | 0 | || (64298 <= uv && uv <= 64310) | 
 
| 34 | 17 | 358 | || (64312 <= uv && uv <= 64316) | 
 
|  | 17 | 0 | || (64312 <= uv && uv <= 64316) | 
 
| 35 | 375 | 0 | || uv == 64318 | 
 
| 36 | 17 | 358 | || (64320 <= uv && uv <= 64321) | 
 
|  | 17 | 0 | || (64320 <= uv && uv <= 64321) | 
 
| 37 | 17 | 358 | || (64323 <= uv && uv <= 64324) | 
 
|  | 17 | 0 | || (64323 <= uv && uv <= 64324) | 
 
| 38 | 17 | 358 | || (64326 <= uv && uv <= 64334) | 
 
|  | 13 | 4 | || (64326 <= uv && uv <= 64334) | 
 
| 39 | 2 | 369 | || (119134 <= uv && uv <= 119140) | 
 
|  | 0 | 2 | || (119134 <= uv && uv <= 119140) | 
 
| 40 | 0 | 0 | || (119227 <= uv && uv <= 119232) | 
 
| 41 | 230 | 161 | ? TRUE : FALSE; | 
 
|  | 0 | 369 | ? TRUE : FALSE; | 
 
| 47 | 81 | 0 | (832 <= uv && uv <= 833) | 
 
| 48 | 189 | 0 | || uv == 835 | 
 
| 49 | 189 | 0 | || uv == 884 | 
 
| 50 | 189 | 0 | || uv == 894 | 
 
| 51 | 185 | 4 | || uv == 903 | 
 
| 52 | 185 | 0 | || uv == 8049 | 
 
| 53 | 185 | 0 | || uv == 8051 | 
 
| 54 | 185 | 0 | || uv == 8053 | 
 
| 55 | 185 | 0 | || uv == 8055 | 
 
| 56 | 185 | 0 | || uv == 8057 | 
 
| 57 | 185 | 0 | || uv == 8059 | 
 
| 58 | 185 | 0 | || uv == 8061 | 
 
| 59 | 185 | 0 | || uv == 8123 | 
 
| 60 | 185 | 0 | || uv == 8126 | 
 
| 61 | 185 | 0 | || uv == 8137 | 
 
| 62 | 185 | 0 | || uv == 8139 | 
 
| 63 | 185 | 0 | || uv == 8147 | 
 
| 64 | 185 | 0 | || uv == 8155 | 
 
| 65 | 185 | 0 | || uv == 8163 | 
 
| 66 | 185 | 0 | || uv == 8171 | 
 
| 67 | 46 | 139 | || (8174 <= uv && uv <= 8175) | 
 
|  | 46 | 0 | || (8174 <= uv && uv <= 8175) | 
 
| 68 | 185 | 0 | || uv == 8185 | 
 
| 69 | 185 | 0 | || uv == 8187 | 
 
| 70 | 185 | 0 | || uv == 8189 | 
 
| 71 | 46 | 139 | || (8192 <= uv && uv <= 8193) | 
 
|  | 46 | 0 | || (8192 <= uv && uv <= 8193) | 
 
| 72 | 185 | 0 | || uv == 8486 | 
 
| 73 | 44 | 141 | || (8490 <= uv && uv <= 8491) | 
 
|  | 27 | 17 | || (8490 <= uv && uv <= 8491) | 
 
| 74 | 27 | 141 | || (9001 <= uv && uv <= 9002) | 
 
|  | 27 | 0 | || (9001 <= uv && uv <= 9002) | 
 
| 75 | 16 | 152 | || (63744 <= uv && uv <= 64013) | 
 
|  | 12 | 4 | || (63744 <= uv && uv <= 64013) | 
 
| 76 | 164 | 0 | || uv == 64016 | 
 
| 77 | 164 | 0 | || uv == 64018 | 
 
| 78 | 12 | 152 | || (64021 <= uv && uv <= 64030) | 
 
|  | 12 | 0 | || (64021 <= uv && uv <= 64030) | 
 
| 79 | 164 | 0 | || uv == 64032 | 
 
| 80 | 164 | 0 | || uv == 64034 | 
 
| 81 | 12 | 152 | || (64037 <= uv && uv <= 64038) | 
 
|  | 12 | 0 | || (64037 <= uv && uv <= 64038) | 
 
| 82 | 12 | 152 | || (64042 <= uv && uv <= 64109) | 
 
|  | 12 | 0 | || (64042 <= uv && uv <= 64109) | 
 
| 83 | 12 | 152 | || (64112 <= uv && uv <= 64217) | 
 
|  | 12 | 0 | || (64112 <= uv && uv <= 64217) | 
 
| 84 | 0 | 0 | || (194560 <= uv && uv <= 195101) | 
 
| 85 | 81 | 108 | ? TRUE : FALSE; | 
 
|  | 0 | 164 | ? TRUE : FALSE; | 
 
| 92 | 160 | 0 | || uv == 3955 | 
 
| 93 | 160 | 0 | || uv == 3957 | 
 
| 95 | 160 | 8 | ? TRUE : FALSE; | 
 
|  | 0 | 160 | ? TRUE : FALSE; | 
 
| 101 | 77 | 9 | (768 <= uv && uv <= 772) | 
 
| 102 | 77 | 81 | || (774 <= uv && uv <= 780) | 
 
|  | 69 | 8 | || (774 <= uv && uv <= 780) | 
 
| 103 | 150 | 0 | || uv == 783 | 
 
| 104 | 150 | 0 | || uv == 785 | 
 
| 105 | 69 | 81 | || (787 <= uv && uv <= 788) | 
 
|  | 69 | 0 | || (787 <= uv && uv <= 788) | 
 
| 106 | 150 | 0 | || uv == 795 | 
 
| 107 | 69 | 81 | || (803 <= uv && uv <= 808) | 
 
|  | 62 | 7 | || (803 <= uv && uv <= 808) | 
 
| 108 | 62 | 81 | || (813 <= uv && uv <= 814) | 
 
|  | 62 | 0 | || (813 <= uv && uv <= 814) | 
 
| 109 | 62 | 81 | || (816 <= uv && uv <= 817) | 
 
|  | 62 | 0 | || (816 <= uv && uv <= 817) | 
 
| 110 | 143 | 0 | || uv == 824 | 
 
| 111 | 143 | 0 | || uv == 834 | 
 
| 112 | 143 | 0 | || uv == 837 | 
 
| 113 | 56 | 87 | || (1619 <= uv && uv <= 1621) | 
 
|  | 56 | 0 | || (1619 <= uv && uv <= 1621) | 
 
| 114 | 143 | 0 | || uv == 2364 | 
 
| 115 | 143 | 0 | || uv == 2494 | 
 
| 116 | 143 | 0 | || uv == 2519 | 
 
| 117 | 143 | 0 | || uv == 2878 | 
 
| 118 | 53 | 90 | || (2902 <= uv && uv <= 2903) | 
 
|  | 53 | 0 | || (2902 <= uv && uv <= 2903) | 
 
| 119 | 143 | 0 | || uv == 3006 | 
 
| 120 | 143 | 0 | || uv == 3031 | 
 
| 121 | 143 | 0 | || uv == 3158 | 
 
| 122 | 143 | 0 | || uv == 3266 | 
 
| 123 | 53 | 90 | || (3285 <= uv && uv <= 3286) | 
 
|  | 53 | 0 | || (3285 <= uv && uv <= 3286) | 
 
| 124 | 143 | 0 | || uv == 3390 | 
 
| 125 | 143 | 0 | || uv == 3415 | 
 
| 126 | 143 | 0 | || uv == 3530 | 
 
| 127 | 143 | 0 | || uv == 3535 | 
 
| 128 | 143 | 0 | || uv == 3551 | 
 
| 129 | 143 | 0 | || uv == 4142 | 
 
| 130 | 42 | 101 | || (4449 <= uv && uv <= 4469) | 
 
|  | 37 | 5 | || (4449 <= uv && uv <= 4469) | 
 
| 131 | 37 | 101 | || (4520 <= uv && uv <= 4546) | 
 
|  | 33 | 4 | || (4520 <= uv && uv <= 4546) | 
 
| 132 | 134 | 0 | || uv == 6965 | 
 
| 133 | 20 | 114 | || (12441 <= uv && uv <= 12442) | 
 
|  | 20 | 0 | || (12441 <= uv && uv <= 12442) | 
 
| 134 | 134 | 0 | || uv == 69818 | 
 
| 135 | 134 | 0 | || uv == 69927 | 
 
| 136 | 134 | 0 | || uv == 70462 | 
 
| 137 | 134 | 0 | || uv == 70487 | 
 
| 138 | 134 | 0 | || uv == 70832 | 
 
| 139 | 134 | 0 | || uv == 70842 | 
 
| 140 | 134 | 0 | || uv == 70845 | 
 
| 142 | 86 | 81 | ? TRUE : FALSE; | 
 
|  | 0 | 134 | ? TRUE : FALSE; |