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