solver abc . . . abmc . . . aigtrav . . . mcaiger . . . mcaigerbmc . . . nflbmc . . . nflsmv2qbf . . . nusmvbmc . . . pdtravbdd . . . pdtravbmc . . . pdtravcbq . . . pdtravitp . . . tipbmc . . . tipidi . . . tipids . . . tipind . . . columns k res sec mb k res sec mb k res sec mb k res sec mb k res sec mb k res sec mb k res sec mb k res sec mb k res sec mb k res sec mb k res sec mb k res sec mb k res sec mb k res sec mb k res sec mb k res sec mb 139442p0 * uns 0 10 * ? * * * uns 0 0 * T * * * M * * * M * * * M * * * T * * * T * * * S6 * * * uns 4 52 * uns 4 52 * ? * * * uns 2 2 * uns 2 3 * uns 2 4 139442p0neg 3 sat 6 53 3 sat 636 167 * M * * 3 sat 0 3 3 sat 0 0 3 sat 0 2 3 sat 0 11 3 sat 0 17 * T * * 3 sat 2 47 * sat 6 56 * sat 12 79 3 sat 0 0 * T * * * T * * * sat 20 7 139442p1 3 sat 8 48 3 sat 500 170 * M * * 3 sat 0 3 3 sat 0 0 3 sat 0 2 3 sat 0 11 3 sat 0 17 * T * * 3 sat 2 47 * sat 5 56 * sat 11 78 3 sat 0 0 * T * * * T * * * sat 21 7 139442p1neg 3 sat 6 47 3 sat 499 166 * M * * 3 sat 0 3 3 sat 0 0 3 sat 0 2 3 sat 0 14 3 sat 0 17 * T * * 3 sat 2 46 * sat 5 56 * sat 11 78 3 sat 0 0 * T * * * T * * * sat 20 7 139442p22 4 sat 7 47 4 sat 380 167 * M * * 4 sat 0 3 4 sat 0 4 4 sat 0 5 4 sat 0 26 4 sat 1 20 * T * * 4 sat 3 49 * sat 496 200 * sat 13 81 4 sat 0 0 * T * * * T * * * sat 20 7 139442p23 4 sat 6 47 4 sat 478 167 * M * * 4 sat 0 3 4 sat 0 4 4 sat 0 6 4 sat 0 25 4 sat 1 20 * T * * 4 sat 3 50 * sat 489 144 * sat 13 85 4 sat 0 0 * T * * * T * * * sat 22 7 139442p24 4 sat 7 47 4 sat 459 171 * M * * 4 sat 0 3 4 sat 0 4 4 sat 0 5 4 sat 0 23 4 sat 1 20 * T * * 4 sat 3 49 * sat 689 130 * sat 13 82 4 sat 0 0 * T * * * T * * * sat 25 8 139442p5 3 sat 6 52 3 sat 368 172 * M * * 3 sat 0 3 3 sat 0 0 3 sat 0 2 3 sat 0 11 3 sat 0 17 * T * * 3 sat 2 46 * sat 6 56 * sat 12 133 3 sat 0 0 * sat 642 221 * sat 643 221 * sat 21 7 139442p5neg 3 sat 5 47 3 sat 342 168 * M * * 3 sat 0 3 3 sat 0 0 3 sat 0 2 3 sat 0 11 3 sat 0 17 * T * * 3 sat 2 46 * sat 6 56 * sat 12 80 3 sat 0 0 * sat 668 167 * sat 668 167 * sat 20 7 139442p6 * sat 11 46 3 sat 392 174 * M * * 3 sat 0 3 3 sat 0 0 3 sat 0 2 3 sat 0 14 3 sat 0 17 * T * * 3 sat 2 45 * sat 6 56 * sat 12 80 3 sat 0 0 * sat 544 119 * sat 547 119 * sat 20 7 139442p6neg 3 sat 8 46 3 sat 518 167 * M * * 3 sat 0 3 3 sat 0 0 3 sat 0 2 3 sat 0 14 3 sat 0 17 * T * * 3 sat 2 45 * sat 6 56 * sat 12 80 3 sat 0 0 * T * * * T * * * sat 20 7 139443p0 * uns 0 14 * ? * * * uns 0 0 * T * * * M * * * M * * * M * * * T * * * T * * * S6 * * * uns 9 59 * uns 9 60 * ? * * * uns 4 5 * uns 4 3 * uns 4 5 139443p0neg * sat 16 80 3 sat 341 166 * M * * 3 sat 0 4 3 sat 0 0 3 sat 0 7 3 sat 0 21 3 sat 1 25 * T * * 3 sat 4 51 * sat 11 64 * sat 23 145 3 sat 0 0 * T * * * T * * * sat 55 11 139443p1 * sat 15 85 3 sat 341 174 * M * * 3 sat 0 4 3 sat 0 0 3 sat 0 8 3 sat 0 19 3 sat 1 24 * T * * 3 sat 4 51 * sat 11 66 * sat 23 96 3 sat 0 0 * T * * * T * * * sat 69 11 139443p1neg * sat 15 82 3 sat 312 167 * M * * 3 sat 0 5 3 sat 0 0 3 sat 0 9 3 sat 0 21 3 sat 1 24 * T * * 3 sat 4 52 * sat 11 66 * sat 24 95 3 sat 0 0 * T * * * T * * * sat 68 11 139443p22 * sat 14 84 4 sat 282 167 * M * * 4 sat 0 5 4 sat 0 5 4 sat 0 16 4 sat 1 41 4 sat 1 28 * T * * 4 sat 4 58 * sat 598 307 * sat 25 96 4 sat 0 0 * T * * * T * * * sat 56 12 139443p23 * sat 15 86 4 sat 201 167 * M * * 4 sat 0 6 4 sat 0 5 4 sat 0 16 4 sat 1 41 4 sat 1 28 * T * * 4 sat 4 57 * sat 606 296 * sat 25 94 4 sat 0 0 * T * * * T * * * sat 69 12 139443p24 * sat 15 85 4 sat 310 164 * M * * 4 sat 0 6 4 sat 0 6 4 sat 0 16 4 sat 1 40 4 sat 1 28 * T * * 4 sat 4 56 * sat 588 196 * sat 23 97 4 sat 0 0 * T * * * T * * * sat 73 12 139443p5 * sat 14 79 3 sat 320 168 * M * * 3 sat 0 4 3 sat 0 0 3 sat 0 9 3 sat 0 20 3 sat 1 25 * T * * 3 sat 4 51 * sat 11 66 * sat 23 95 3 sat 0 0 * T * * * T * * * sat 56 11 139443p5neg * sat 14 79 3 sat 284 165 * M * * 3 sat 0 4 3 sat 0 0 3 sat 0 9 3 sat 0 20 3 sat 1 25 * T * * 3 sat 4 51 * sat 11 66 * sat 21 95 3 sat 0 0 * T * * * T * * * sat 56 11 139443p6 * sat 16 86 3 sat 254 169 * M * * 3 sat 0 4 3 sat 0 0 3 sat 0 9 3 sat 0 19 3 sat 1 25 * T * * 3 sat 4 51 * sat 11 67 * sat 24 95 3 sat 0 0 * T * * * T * * * sat 54 11 139443p6neg * sat 15 83 3 sat 319 166 * M * * 3 sat 0 4 3 sat 0 0 3 sat 0 9 3 sat 0 20 3 sat 1 25 * T * * 3 sat 4 51 * sat 11 66 * sat 24 95 3 sat 0 0 * T * * * T * * * sat 56 11 139444p0 * uns 0 20 * ? * * * uns 0 0 * T * * * M * * * M * * * M * * * T * * * T * * * S6 * * * uns 15 67 * uns 15 67 * ? * * * uns 8 8 * uns 8 7 * uns 8 8 139444p0neg * sat 22 117 3 sat 205 172 * T * * 3 sat 0 6 3 sat 0 6 3 sat 0 13 3 sat 1 34 3 sat 1 32 * T * * 3 sat 6 59 * sat 18 75 * sat 32 106 3 sat 0 0 * T * * * T * * * sat 129 16 139444p1 * sat 21 114 3 sat 195 167 * M * * 3 sat 0 6 3 sat 0 5 3 sat 0 14 3 sat 1 36 3 sat 1 32 * T * * 3 sat 6 58 * sat 18 77 * sat 33 109 3 sat 0 0 * T * * * T * * * sat 151 17 139444p1neg * sat 21 116 3 sat 200 166 * M * * 3 sat 0 5 3 sat 0 5 3 sat 0 13 3 sat 1 37 3 sat 1 32 * T * * 3 sat 6 57 * sat 19 77 * sat 33 108 3 sat 0 0 * T * * * T * * * sat 147 16 139444p22 * sat 21 112 4 sat 171 166 * M * * 4 sat 0 8 4 sat 0 7 4 sat 1 23 4 sat 2 65 4 sat 2 36 * T * * 4 sat 6 65 * sat 747 467 * sat 33 114 4 sat 0 4 * T * * * T * * * sat 140 18 139444p23 * sat 21 117 4 sat 220 165 * M * * 4 sat 0 7 4 sat 0 7 4 sat 1 25 4 sat 2 65 4 sat 2 37 * T * * 4 sat 6 65 * sat 663 430 * sat 35 115 4 sat 0 4 * T * * * T * * * sat 165 17 139444p24 * sat 22 114 4 sat 181 168 * M * * 4 sat 0 8 4 sat 0 7 4 sat 1 25 4 sat 2 60 4 sat 2 37 * T * * 4 sat 6 65 * sat 661 362 * sat 36 116 4 sat 0 4 * T * * * T * * * sat 189 18 139444p5 * sat 18 117 3 sat 159 164 * M * * 3 sat 0 6 3 sat 0 6 3 sat 0 14 3 sat 1 35 3 sat 1 32 * T * * 3 sat 6 58 * sat 18 76 * sat 33 107 3 sat 0 0 * T * * * T * * * sat 131 16 139444p5neg * sat 18 114 3 sat 177 169 * M * * 3 sat 0 6 3 sat 0 6 3 sat 0 14 3 sat 1 35 3 sat 1 32 * T * * 3 sat 6 56 * sat 18 76 * sat 32 109 3 sat 0 0 * T * * * T * * * sat 127 16 139444p6 * sat 21 116 3 sat 173 168 * M * * 3 sat 0 6 3 sat 0 6 3 sat 0 14 3 sat 1 36 3 sat 1 32 * T * * 3 sat 6 58 * sat 19 78 * sat 33 114 3 sat 0 0 * T * * * T * * * sat 126 17 139444p6neg * sat 21 114 3 sat 134 167 * M * * 3 sat 0 6 3 sat 0 6 3 sat 0 14 3 sat 1 32 3 sat 1 32 * T * * 3 sat 6 57 * sat 18 78 * sat 33 114 3 sat 0 0 * T * * * T * * * sat 131 16 139452p0 * uns 0 16 * ? * * * uns 0 0 * T * * * M * * * M * * * M * * * T * * * T * * * S6 * * * uns 8 58 * uns 8 58 * ? * * * uns 4 3 * uns 4 3 * uns 4 5 139452p0neg * sat 15 75 3 sat 484 168 * M * * 3 sat 0 3 3 sat 0 0 3 sat 0 8 3 sat 0 20 3 sat 1 24 * T * * 3 sat 4 51 * sat 10 63 * sat 19 91 3 sat 0 0 * T * * * T * * * sat 77 12 139452p1 * sat 16 73 3 sat 339 170 * M * * 3 sat 0 3 3 sat 0 0 3 sat 0 9 3 sat 0 20 3 sat 1 24 * T * * 3 sat 4 49 * sat 10 64 * sat 19 94 3 sat 0 0 * T * * * T * * * sat 85 11 139452p1neg * sat 15 73 3 sat 423 171 * M * * 3 sat 0 3 3 sat 0 0 3 sat 0 9 3 sat 0 21 3 sat 1 24 * T * * 3 sat 4 49 * sat 10 64 * sat 19 94 3 sat 0 0 * T * * * T * * * sat 85 12 139452p22 * sat 17 73 4 sat 450 168 * M * * 4 sat 0 6 4 sat 0 6 4 sat 0 16 4 sat 1 44 4 sat 1 27 * T * * 4 sat 4 56 * sat 567 302 * sat 20 93 4 sat 0 0 * T * * * T * * * sat 91 12 139452p23 * sat 16 73 4 sat 434 170 * M * * 4 sat 0 6 4 sat 0 6 4 sat 0 14 4 sat 1 41 4 sat 1 27 * T * * 4 sat 4 57 * sat 587 193 * sat 21 93 4 sat 0 0 * T * * * T * * * sat 96 12 139452p24 * sat 14 74 4 sat 382 165 * M * * 4 sat 0 6 4 sat 0 6 4 sat 0 15 4 sat 1 42 4 sat 1 27 * T * * 4 sat 4 57 * sat 711 184 * sat 21 94 4 sat 0 0 * T * * * T * * * sat 108 12 139452p5 * sat 17 74 3 sat 534 170 * M * * 3 sat 0 3 3 sat 0 0 3 sat 0 8 3 sat 0 22 3 sat 1 24 * T * * 3 sat 4 49 * sat 10 65 * sat 19 91 3 sat 0 0 * T * * * T * * * sat 75 12 139452p5neg * sat 18 75 3 sat 603 168 * M * * 3 sat 0 3 3 sat 0 0 3 sat 0 8 3 sat 0 22 3 sat 1 24 * T * * 3 sat 4 49 * sat 10 65 * sat 19 91 3 sat 0 0 * T * * * T * * * sat 76 11 139452p6 * sat 16 73 3 sat 506 169 * M * * 3 sat 0 3 3 sat 0 0 3 sat 0 9 3 sat 0 23 3 sat 1 24 * T * * 3 sat 4 50 * sat 10 65 * sat 20 93 3 sat 0 0 * T * * * T * * * sat 87 12 139452p6neg * sat 15 73 3 sat 428 169 * M * * 3 sat 0 5 3 sat 0 0 3 sat 0 8 3 sat 0 23 3 sat 1 24 * T * * 3 sat 4 50 * sat 10 65 * sat 20 93 3 sat 0 0 * T * * * T * * * sat 86 12 139453p0 * uns 0 21 * ? * * * uns 0 0 * T * * * M * * * M * * * M * * * T * * * T * * * S6 * * * uns 17 70 * uns 17 70 * ? * * * uns 11 9 * uns 11 8 * uns 11 8 139453p0neg * sat 21 120 3 sat 193 168 * M * * 3 sat 0 7 3 sat 0 7 3 sat 0 13 3 sat 1 40 3 sat 2 34 * T * * 3 sat 6 57 * sat 20 77 * sat 40 115 3 sat 0 0 * T * * * T * * * sat 178 18 139453p1 * sat 20 121 3 sat 224 166 * M * * 3 sat 0 7 3 sat 0 5 3 sat 0 13 3 sat 1 39 3 sat 2 34 * T * * 3 sat 6 60 * sat 21 80 * sat 40 118 3 sat 0 0 * T * * * T * * * sat 208 19 139453p1neg * sat 20 119 3 sat 237 165 * M * * 3 sat 0 7 3 sat 0 4 3 sat 0 11 3 sat 1 39 3 sat 2 34 * T * * 3 sat 6 58 * sat 21 80 * sat 39 117 3 sat 0 0 * T * * * T * * * sat 201 19 139453p22 * sat 20 119 4 sat 283 164 * M * * 4 sat 0 8 4 sat 0 8 4 sat 1 24 4 sat 2 71 4 sat 3 38 * T * * 4 sat 7 66 * sat 806 470 * sat 39 119 4 sat 0 5 * T * * * T * * * sat 232 19 139453p23 * sat 23 120 4 sat 253 167 * M * * 4 sat 0 8 4 sat 0 8 4 sat 1 24 4 sat 2 72 4 sat 3 39 * T * * 4 sat 7 66 * T * * * sat 38 117 4 sat 0 5 * T * * * T * * * sat 244 19 139453p24 * sat 22 128 4 sat 225 171 * M * * 4 sat 0 8 4 sat 0 8 4 sat 1 24 4 sat 2 73 4 sat 3 39 * T * * 4 sat 7 67 * sat 726 252 * sat 43 120 4 sat 0 5 * T * * * T * * * sat 251 19 139453p5 * sat 22 128 3 sat 260 167 * M * * 3 sat 0 7 3 sat 0 7 3 sat 0 13 3 sat 1 34 3 sat 2 34 * T * * 3 sat 6 60 * sat 20 79 * sat 36 115 3 sat 0 4 * T * * * T * * * sat 185 18 139453p5neg * sat 20 128 3 sat 202 167 * M * * 3 sat 0 7 3 sat 0 7 3 sat 0 13 3 sat 1 39 3 sat 2 34 * T * * 3 sat 6 60 * sat 22 79 * sat 36 115 3 sat 0 0 * T * * * T * * * sat 187 18 139453p6 * sat 20 123 3 sat 201 175 * M * * 3 sat 0 7 3 sat 0 7 3 sat 0 13 3 sat 1 42 3 sat 2 34 * T * * 3 sat 6 60 * sat 21 81 * sat 40 119 3 sat 0 0 * T * * * T * * * sat 180 18 139453p6neg * sat 21 126 3 sat 197 173 * M * * 3 sat 0 7 3 sat 0 7 3 sat 0 13 3 sat 1 39 3 sat 2 35 * T * * 3 sat 6 61 * sat 22 81 * sat 40 198 3 sat 0 0 * T * * * T * * * sat 184 18 139454p0 * uns 1 35 * ? * * * uns 0 0 * T * * * M * * * M * * * M * * * T * * * T * * * S6 * * * uns 29 82 * uns 29 82 * ? * * * uns 20 13 * uns 20 10 * uns 20 11 139454p0neg * sat 28 171 3 sat 140 168 * M * * 3 sat 1 9 3 sat 0 9 3 sat 1 24 3 sat 2 57 3 sat 4 46 * T * * 3 sat 9 65 * sat 35 90 * sat 63 136 3 sat 0 5 * T * * * T * * * sat 382 27 139454p1 * sat 31 164 3 sat 144 168 * M * * 3 sat 1 9 3 sat 0 9 3 sat 0 21 3 sat 2 57 3 sat 4 46 * T * * 3 sat 9 66 * sat 37 95 * sat 63 138 3 sat 0 5 * T * * * T * * * sat 441 29 139454p1neg * sat 29 167 3 sat 115 171 * M * * 3 sat 1 9 3 sat 0 9 3 sat 1 24 3 sat 2 55 3 sat 4 46 * T * * 3 sat 9 65 * sat 36 94 * sat 64 138 3 sat 0 5 * T * * * T * * * sat 457 28 139454p22 * sat 29 168 4 sat 104 167 * M * * 4 sat 1 11 4 sat 1 11 4 sat 1 41 4 sat 3 87 4 sat 6 52 * T * * 4 sat 10 76 * T * * * sat 62 139 4 sat 0 5 * T * * * T * * * sat 431 28 139454p23 * sat 33 168 4 sat 155 170 * M * * 4 sat 1 11 4 sat 1 11 4 sat 1 41 4 sat 3 102 4 sat 6 53 * T * * 4 sat 10 77 * T * * * sat 62 141 4 sat 0 5 * T * * * T * * * sat 499 28 139454p24 * sat 30 167 4 sat 103 165 * M * * 4 sat 1 11 4 sat 0 11 4 sat 1 41 4 sat 3 103 4 sat 6 53 * T * * 4 sat 10 76 * T * * * sat 62 141 4 sat 0 6 * T * * * T * * * sat 596 29 139454p5 * sat 37 171 3 sat 106 172 * M * * 3 sat 1 9 3 sat 0 9 3 sat 1 23 3 sat 2 58 3 sat 4 46 * T * * 3 sat 9 68 * sat 35 94 * sat 58 140 3 sat 0 5 * T * * * T * * * sat 403 27 139454p5neg * sat 37 165 3 sat 129 171 * M * * 3 sat 1 9 3 sat 0 9 3 sat 0 22 3 sat 2 56 3 sat 4 46 * T * * 3 sat 9 67 * sat 36 94 * sat 59 226 3 sat 0 5 * T * * * T * * * sat 401 27 139454p6 * sat 33 170 3 sat 97 166 * M * * 3 sat 1 9 3 sat 0 9 3 sat 1 24 3 sat 2 56 3 sat 4 46 * T * * 3 sat 9 68 * sat 36 95 * sat 64 328 3 sat 0 4 * T * * * T * * * sat 412 27 139454p6neg * sat 36 166 3 sat 124 170 * M * * 3 sat 1 9 3 sat 0 7 3 sat 1 22 3 sat 2 51 3 sat 4 46 * T * * 3 sat 9 68 * sat 36 96 * sat 64 236 3 sat 0 4 * T * * * T * * * sat 409 26 139462p0 * uns 0 20 * ? * * * uns 0 0 * T * * * M * * * M * * * M * * * T * * * T * * * S6 * * * uns 19 67 * uns 19 68 * ? * * * uns 12 9 * uns 12 9 * uns 12 11 139462p0neg * sat 38 136 3 sat 256 167 * M * * 3 sat 0 6 3 sat 0 6 3 sat 0 16 3 sat 1 51 3 sat 3 35 * T * * 3 sat 6 57 * sat 23 76 * sat 40 114 3 sat 0 0 * T * * * T * * * sat 684 22 139462p1 * sat 23 136 3 sat 195 168 * M * * 3 sat 0 7 3 sat 0 5 3 sat 0 17 3 sat 1 50 3 sat 3 34 * T * * 3 sat 6 55 * sat 24 78 * sat 40 114 3 sat 0 0 * T * * * T * * * sat 765 22 139462p1neg * sat 24 137 3 sat 236 168 * M * * 3 sat 0 6 3 sat 0 5 3 sat 0 15 3 sat 1 50 3 sat 3 34 * T * * 3 sat 7 54 * sat 23 78 * sat 39 115 3 sat 0 4 * T * * * T * * * sat 750 22 139462p22 * sat 23 138 4 sat 233 172 * M * * 4 sat 0 9 4 sat 0 9 4 sat 1 28 4 sat 3 87 4 sat 5 39 * T * * 4 sat 7 63 * sat 843 487 * sat 42 116 4 sat 0 5 * T * * * T * * * sat 752 23 139462p23 * sat 32 137 4 sat 172 168 * M * * 4 sat 0 9 4 sat 0 9 4 sat 1 30 4 sat 3 88 4 sat 5 39 * T * * 4 sat 7 63 * S6 * * * sat 42 116 4 sat 0 5 * T * * * T * * * T * * 139462p24 * sat 32 136 4 sat 171 168 * M * * 4 sat 0 9 4 sat 0 9 4 sat 1 30 4 sat 2 87 4 sat 5 40 * T * * 4 sat 7 63 * S6 * * * sat 43 118 4 sat 0 5 * T * * * T * * * T * * 139462p5 * sat 28 135 3 sat 262 166 * M * * 3 sat 0 6 3 sat 0 6 3 sat 0 16 3 sat 1 51 3 sat 3 34 * T * * 3 sat 7 55 * sat 24 78 * sat 40 189 3 sat 0 0 * T * * * T * * * sat 658 21 139462p5neg * sat 29 135 3 sat 222 168 * M * * 3 sat 0 6 3 sat 0 7 3 sat 0 19 3 sat 1 49 3 sat 3 34 * T * * 3 sat 6 55 * sat 22 78 * sat 40 114 3 sat 0 0 * T * * * T * * * sat 645 22 139462p6 * sat 37 138 3 sat 264 165 * M * * 3 sat 0 7 3 sat 0 7 3 sat 0 19 3 sat 1 50 3 sat 3 34 * T * * 3 sat 7 57 * sat 22 76 * sat 45 106 3 sat 0 0 * T * * * T * * * sat 644 22 139462p6neg * sat 39 138 3 sat 285 175 * M * * 3 sat 0 8 3 sat 0 6 3 sat 0 18 3 sat 1 50 3 sat 3 35 * T * * 3 sat 7 57 * sat 22 76 * sat 45 106 3 sat 0 0 * T * * * T * * * sat 642 21 139463p0 * uns 1 31 * ? * * * uns 0 0 * T * * * M * * * M * * * M * * * T * * * T * * * S6 * * * uns 36 83 * uns 37 83 * ? * * * uns 28 14 * uns 28 16 * uns 28 13 139463p0neg * sat 41 169 3 sat 95 168 * M * * 3 sat 1 10 3 sat 0 10 3 sat 1 24 3 sat 2 69 3 sat 8 50 * T * * 3 sat 10 67 * sat 45 92 * sat 70 140 3 sat 0 5 * T * * * T * * * sat 760 31 139463p1 * sat 39 170 3 sat 87 163 * M * * 3 sat 1 10 3 sat 0 10 3 sat 1 24 3 sat 2 68 3 sat 8 50 * T * * 3 sat 10 67 * sat 46 95 * sat 71 138 3 sat 0 5 * T * * * T * * * sat 844 32 139463p1neg * sat 37 168 3 sat 91 169 * M * * 3 sat 1 10 3 sat 0 10 3 sat 1 24 3 sat 2 68 3 sat 8 50 * T * * 3 sat 10 67 * sat 46 95 * sat 71 138 3 sat 0 4 * T * * * T * * * sat 860 32 139463p22 * sat 39 171 4 sat 84 171 * M * * 4 sat 1 12 4 sat 0 12 4 sat 1 48 4 sat 4 122 4 sat 12 56 * T * * 4 sat 11 78 * T * * * sat 74 143 4 sat 0 8 * T * * * T * * * sat 883 32 139463p23 * sat 70 169 4 sat 103 171 * M * * 4 sat 1 12 4 sat 1 12 4 sat 1 45 4 sat 4 122 4 sat 12 56 * T * * 4 sat 12 78 * T * * * sat 75 143 4 sat 0 8 * T * * * T * * * T * * 139463p24 * sat 88 168 4 sat 77 167 * M * * 4 sat 1 12 4 sat 3 12 4 sat 1 46 4 sat 4 122 4 sat 12 56 * T * * 4 sat 12 76 * S6 * * * sat 77 246 4 sat 0 8 * T * * * T * * * T * * 139463p5 * sat 87 168 3 sat 101 176 * M * * 3 sat 1 10 3 sat 0 10 3 sat 1 24 3 sat 2 69 3 sat 8 50 * T * * 3 sat 11 67 * sat 46 95 * sat 70 140 3 sat 0 4 * T * * * T * * * sat 749 30 139463p5neg * sat 93 175 3 sat 111 166 * M * * 3 sat 1 10 3 sat 0 10 3 sat 1 29 3 sat 2 70 3 sat 8 50 * T * * 3 sat 10 67 * sat 46 95 * sat 70 140 3 sat 0 5 * T * * * T * * * sat 727 30 139463p6 * sat 73 171 3 sat 110 168 * M * * 3 sat 1 10 3 sat 0 10 3 sat 1 25 3 sat 2 69 3 sat 9 50 * T * * 3 sat 11 69 * sat 46 96 * sat 69 142 3 sat 0 4 * T * * * T * * * sat 733 30 139463p6neg * sat 69 167 3 sat 86 169 * M * * 3 sat 1 10 3 sat 0 10 3 sat 1 25 3 sat 2 67 3 sat 8 50 * T * * 3 sat 11 69 * sat 47 97 * sat 70 234 3 sat 0 5 * T * * * T * * * sat 764 30 139464p0 * uns 1 41 * ? * * * uns 0 0 * T * * * M * * * M * * * M * * * T * * * T * * * S6 * * * uns 60 94 * uns 62 94 * ? * * * uns 50 19 * uns 50 21 * uns 49 20 139464p0neg * sat 59 168 3 sat 56 168 * M * * 3 sat 1 14 3 sat 0 14 3 sat 1 42 3 sat 3 98 3 sat 17 67 * T * * 3 sat 15 76 * T * * * sat 122 162 3 sat 0 8 * T * * * T * * * T * * 139464p1 * sat 68 165 3 sat 58 163 * M * * 3 sat 1 14 3 sat 0 14 3 sat 1 43 3 sat 3 96 3 sat 17 66 * T * * 3 sat 15 76 * sat 74 105 * sat 122 167 3 sat 0 8 * T * * * T * * * T * * 139464p1neg * sat 73 162 3 sat 60 166 * M * * 3 sat 1 14 3 sat 0 13 3 sat 1 43 3 sat 3 96 3 sat 17 67 * T * * 3 sat 15 76 * T * * * sat 123 280 3 sat 0 8 * T * * * T * * * T * * 139464p22 * sat 91 165 4 sat 57 165 * M * * 4 sat 1 17 4 sat 1 17 4 sat 2 59 4 sat 6 172 4 sat 26 77 * T * * 4 sat 16 82 * T * * * sat 131 177 4 sat 1 11 * T * * * T * * * T * * 139464p23 * sat 62 168 4 sat 66 166 * M * * 4 sat 2 17 4 sat 1 17 4 sat 2 70 4 sat 6 170 4 sat 26 81 * T * * 4 sat 16 81 * T * * * sat 132 177 4 sat 1 11 * T * * * T * * * T * * 139464p24 * sat 109 167 4 sat 64 168 * M * * 4 sat 1 17 4 sat 1 17 4 sat 2 70 4 sat 6 170 4 sat 26 81 * T * * 4 sat 16 81 * T * * * sat 132 176 4 sat 0 11 * T * * * T * * * T * * 139464p5 * sat 55 170 3 sat 62 168 * M * * 3 sat 1 14 3 sat 0 13 3 sat 1 41 3 sat 3 77 3 sat 17 67 * T * * 3 sat 15 77 * sat 74 107 * sat 122 171 3 sat 0 8 * T * * * T * * * T * * 139464p5neg * sat 54 169 3 sat 62 166 * M * * 3 sat 1 14 3 sat 0 13 3 sat 1 42 3 sat 3 99 3 sat 17 67 * T * * 3 sat 15 77 * T * * * sat 122 170 3 sat 0 8 * T * * * T * * * T * * 139464p6 * sat 58 168 3 sat 74 166 * M * * 3 sat 1 14 3 sat 0 13 3 sat 1 42 3 sat 3 98 3 sat 17 67 * T * * 3 sat 15 77 * T * * * sat 128 175 3 sat 0 8 * T * * * T * * * T * * 139464p6neg * sat 57 168 3 sat 60 165 * M * * 3 sat 1 14 3 sat 0 14 3 sat 1 41 3 sat 3 99 3 sat 17 67 * T * * 3 sat 15 77 * T * * * sat 129 176 3 sat 0 8 * T * * * T * * * T * * abp4p2ff 17 sat 1 17 * T * * * M * * 17 sat 36 7 17 sat 23 4 17 sat 4 32 17 sat 9 187 17 sat 2 16 * sat 33 48 17 sat 3 50 * sat 795 339 * sat 25 76 17 sat 2 4 * T * * * T * * * sat 3 4 abp4p2tt * sat 5 18 * T * * * M * * 17 sat 12 5 17 sat 19 4 17 sat 9 49 17 sat 13 194 17 sat 3 16 * sat 564 74 17 sat 3 49 * T * * * sat 28 75 17 sat 2 5 * T * * * T * * * sat 3 4 abp4pold 17 sat 2 17 * T * * * T * * 17 sat 11 4 17 sat 20 4 17 sat 4 37 17 sat 9 178 17 sat 3 16 * sat 314 62 17 sat 3 50 * S6 * * * sat 28 72 17 sat 1 4 * T * * * T * * * sat 2 3 abp4ptimo 20 sat 5 17 * T * * * M * * 20 sat 90 31 20 sat 38 8 20 sat 121 74 20 sat 129 312 20 sat 6 18 * sat 289 62 20 sat 8 52 * S6 * * * sat 58 167 20 sat 8 9 * T * * * T * * * sat 6 5 abp4ptimoneg 20 sat 5 17 * T * * * M * * 20 sat 155 74 20 sat 44 10 20 sat 42 72 20 sat 51 282 20 sat 6 18 * sat 286 62 20 sat 8 52 * S6 * * * sat 48 130 20 sat 8 9 * T * * * T * * * sat 12 6 bc57sensorsp0 104 sat 376 96 104 sat 73 90 * T * * 104 sat 459 118 * T * * * M * * * M * * 104 sat 480 112 * T * * 104 sat 575 196 * T * * * T * * 104 sat 147 118 * T * * * T * * * sat 276 57 bc57sensorsp0neg 104 sat 187 96 104 sat 73 90 * T * * * T * * 104 sat 814 186 * M * * * M * * 104 sat 488 112 * T * * 104 sat 647 198 * T * * * T * * 104 sat 168 132 * T * * * T * * * sat 240 51 bc57sensorsp1 104 sat 145 108 104 sat 80 100 * M * * 104 sat 569 137 104 sat 813 179 * M * * * M * * 104 sat 541 121 * T * * 104 sat 783 221 * T * * * T * * 104 sat 185 134 * T * * * T * * * sat 196 50 bc57sensorsp1neg 104 sat 155 108 104 sat 79 103 * M * * 104 sat 497 119 * T * * * M * * * M * * 104 sat 536 120 * T * * 104 sat 669 222 * T * * * T * * 104 sat 173 126 * T * * * T * * * sat 172 48 bc57sensorsp2 104 sat 197 108 104 sat 97 101 * M * * 104 sat 435 107 104 sat 852 179 * M * * * M * * 104 sat 563 120 * T * * 104 sat 813 220 * T * * * T * * 104 sat 153 118 * T * * * T * * * sat 186 49 bc57sensorsp2neg 104 sat 174 108 104 sat 96 100 * M * * 104 sat 627 151 104 sat 850 184 * M * * * M * * 104 sat 528 120 * T * * 104 sat 837 222 * T * * * T * * 104 sat 142 108 * T * * * T * * * sat 190 48 bc57sensorsp3 104 sat 179 106 104 sat 85 98 * M * * 104 sat 446 110 * T * * * M * * * M * * 104 sat 513 118 * T * * 104 sat 728 220 * T * * * T * * 104 sat 163 122 * T * * * T * * * sat 177 47 bj08amba2g1 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 3 uns 0 3 * T * * * uns 0 35 * T * * * uns 1 40 * uns 1 40 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 bj08amba2g3f1 0 sat 0 18 0 sat 98 86 * M * * 0 sat 0 0 0 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 0 * sat 0 35 * sat 1 38 * sat 1 15 * sat 1 38 0 sat 0 0 * sat 0 2 * sat 0 2 * sat 0 2 bj08amba2g3f2 2 sat 0 0 2 sat 0 16 * sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 0 * sat 0 0 1 sat 1 15 * S6 * * * S6 * * 2 sat 0 0 * sat 0 0 * sat 0 0 * sat 0 0 bj08amba2g3f3 * uns 43 32 * ? * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 0 36 * T * * * uns 140 112 * uns 15 115 * T * * * M * * * uns 6 15 * T * * bj08amba2g4f1 * sat 15 168 0 sat 74 171 * M * * 0 sat 3 3 0 sat 1 3 1 sat 0 0 1 sat 0 0 * sat 0 19 * sat 3 47 * sat 9 42 * sat 16 53 * sat 16 52 0 sat 0 0 * sat 213 18 * sat 214 18 * sat 213 18 bj08amba2g4f2 2 sat 1 31 2 sat 3 114 * sat 0 0 2 sat 3 7 2 sat 1 5 2 sat 0 0 2 sat 0 9 2 sat 1 23 * sat 0 36 1 sat 9 41 * S6 * * * S6 * * 2 sat 0 0 * sat 0 0 * sat 0 0 * sat 0 0 bj08amba2g4f3 * sat 52 166 10 sat 130 170 * T * * 10 sat 16 24 10 sat 10 23 10 sat 3 70 10 sat 16 370 10 sat 7 65 * sat 85 64 10 sat 13 58 * T * * * sat 180 111 10 sat 1 9 * T * * * T * * * sat 248 26 bj08amba2g5 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 3 uns 0 2 * T * * * uns 0 35 * T * * * uns 1 39 * uns 1 40 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 bj08amba2g62 * uns 0 19 * ? * * * uns 3 89 * uns 0 0 * T * * * M * * 3 uns 0 5 * T * * * uns 0 35 * T * * * uns 1 39 * uns 1 39 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 bj08amba2g82 * uns 0 4 * ? * * * uns 0 23 * uns 0 0 * M * * * M * * 3 uns 0 2 * T * * * uns 0 35 * T * * * uns 1 39 * uns 1 39 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 bj08amba3g1 * uns 0 23 * ? * * * uns 0 0 * uns 2 4 * M * * * M * * 3 uns 1 31 * T * * * uns 2 44 * T * * * uns 9 53 * uns 9 53 * ? * * * uns 1 5 * uns 1 6 * uns 1 5 bj08amba3g3 * sat 9 136 0 sat 637 170 * M * * 0 sat 1 2 0 sat 1 3 1 sat 0 0 1 sat 0 0 * sat 0 16 * sat 2 45 * sat 4 38 * sat 5 43 * sat 5 43 0 sat 0 0 * sat 52 13 * sat 52 13 * sat 52 13 bj08amba3g5 * uns 0 21 * ? * * * uns 2 49 * uns 1 4 * M * * * M * * 3 uns 1 34 * T * * * uns 2 44 * T * * * uns 8 52 * uns 8 52 * ? * * * uns 2 6 * uns 2 6 * uns 2 4 bj08amba3g62 * uns 3 124 * ? * * * uns 3 89 * uns 1 7 * T * * * M * * 3 uns 1 34 * T * * * uns 2 44 * T * * * uns 9 53 * uns 9 53 * ? * * * uns 2 6 * uns 2 5 * uns 2 6 bj08amba3g82 * uns 0 20 * ? * * * uns 1 17 * uns 1 5 * M * * * M * * 3 uns 1 34 * T * * * uns 2 44 * T * * * uns 9 52 * uns 9 52 * ? * * * uns 2 6 * uns 2 6 * uns 2 4 bj08amba4g1 * uns 1 28 * ? * * * uns 0 0 * uns 3 7 * M * * * M * * 3 uns 1 47 * T * * * uns 2 47 * T * * * uns 32 73 * uns 32 73 * ? * * * uns 2 4 * uns 2 5 * uns 2 5 bj08amba4g5 * uns 17 169 * ? * * * M * * * uns 3 9 * T * * * M * * 3 uns 1 49 * T * * * uns 2 47 * T * * * uns 37 72 * uns 37 72 * ? * * * uns 2 5 * uns 2 5 * uns 2 5 bj08amba4g82 * uns 1 28 * ? * * * uns 6 177 * uns 3 9 * M * * * M * * 3 uns 1 49 * T * * * uns 2 47 * T * * * uns 31 72 * uns 31 72 * ? * * * uns 3 6 * uns 3 5 * uns 3 5 bj08amba5g62 * uns 19 173 * ? * * * M * * * uns 3 10 * T * * * M * * 3 uns 2 74 * T * * * uns 2 48 * T * * * uns 34 70 * uns 34 71 * ? * * * uns 4 12 * uns 4 10 * uns 4 10 bj08amba5g82 * uns 1 38 * ? * * * uns 3 90 * uns 3 11 * M * * * M * * 3 uns 2 71 * T * * * uns 1 46 * T * * * uns 36 71 * uns 36 71 * ? * * * uns 5 12 * uns 5 8 * uns 5 12 bj08aut1 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 * M * * 3 uns 0 3 * T * * * uns 0 2 * T * * * uns 0 9 * uns 0 28 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 bj08aut5 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 * M * * 3 uns 0 3 * T * * * uns 0 29 * T * * * uns 0 10 * uns 0 38 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 bj08aut62 * uns 1 13 * ? * * * uns 0 0 * uns 0 0 * T * * * M * * 3 uns 0 2 * T * * * uns 0 34 * T * * * uns 0 27 * uns 0 22 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 bj08aut82 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 * M * * 3 uns 0 0 * T * * * uns 0 0 * T * * * uns 0 10 * uns 0 10 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 bj08autg3f1 0 sat 0 0 0 sat 0 9 * sat 0 0 0 sat 0 0 0 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 0 * sat 0 26 * sat 0 13 * sat 0 10 * sat 0 10 0 sat 0 0 * sat 0 0 * sat 0 0 * sat 0 0 bj08autg3f2 1 sat 0 0 1 sat 0 9 * sat 0 0 1 sat 0 0 1 sat 0 0 1 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 0 0 sat 0 10 * S6 * * * S6 * * 1 sat 0 0 * sat 0 0 * sat 0 0 * sat 0 0 bj08autg3f3 2 sat 0 14 2 sat 11 43 * sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 0 * sat 0 33 2 sat 0 11 * sat 0 12 * sat 0 12 2 sat 0 0 * sat 0 1 * sat 0 1 * sat 0 1 bj08goodbakerycyclef1 2 sat 4 175 2 sat 4 168 * M * * 2 sat 2 10 2 sat 1 9 2 sat 0 4 2 sat 0 17 2 sat 1 27 * sat 1 44 2 sat 5 40 * sat 6 41 * sat 6 41 2 sat 0 0 * sat 314 43 * sat 315 43 * sat 305 33 bj08goodbakerycyclef10 0 sat 1 41 0 sat 5 174 * sat 0 0 0 sat 2 4 0 sat 1 5 1 sat 0 1 1 sat 0 3 * sat 1 22 * sat 0 37 0 sat 5 19 * sat 5 29 * sat 5 32 0 sat 0 0 * sat 0 0 * sat 0 0 * sat 0 0 bj08goodbakerycyclef7 1 sat 1 41 1 sat 5 159 * sat 0 0 1 sat 2 7 1 sat 1 5 1 sat 0 0 1 sat 0 3 1 sat 1 25 * sat 0 38 1 sat 5 25 * sat 5 18 * sat 5 29 1 sat 0 0 * sat 0 0 * sat 0 0 * sat 0 0 bj08vendingcycle 4 sat 0 16 4 sat 3 57 * sat 10 190 4 sat 0 0 4 sat 0 0 4 sat 0 0 4 sat 0 3 4 sat 0 9 * sat 0 37 4 sat 0 10 * sat 2 52 * sat 2 50 4 sat 0 0 * sat 2 3 * sat 2 3 * sat 1 3 bj08vsar12 1 sat 0 12 1 sat 2 45 * T * * 1 sat 0 2 1 sat 0 0 1 sat 0 0 1 sat 0 0 1 sat 0 10 * sat 38 51 1 sat 2 16 * sat 2 41 * sat 2 42 4 sat 0 0 * sat 3 4 * sat 3 4 * sat 3 4 bj08vsar16 1 sat 0 17 1 sat 2 60 * M * * 1 sat 0 2 1 sat 0 0 1 sat 0 0 1 sat 0 0 1 sat 0 14 * sat 99 60 1 sat 2 40 * sat 3 42 * sat 3 42 4 sat 0 0 * sat 6 5 * sat 6 5 * sat 6 5 bj08vsar6 1 sat 0 8 1 sat 1 26 * T * * 1 sat 0 0 1 sat 0 0 1 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 1 40 1 sat 1 32 * sat 1 39 * sat 1 39 4 sat 0 0 * sat 1 2 * sat 1 2 * sat 1 2 bj08vsar8 1 sat 0 9 1 sat 1 31 * T * * 1 sat 0 1 1 sat 0 0 1 sat 0 0 1 sat 0 0 1 sat 0 11 * sat 2 44 1 sat 1 24 * sat 1 40 * sat 1 41 4 sat 0 0 * sat 2 3 * sat 2 3 * sat 2 3 bjrb07amba10andenv * T * * * ? * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 215 94 * T * * * S6 * * * T * * * T * * * T * * * T * * * T * * bjrb07amba1andenv * uns 0 4 * ? * * * uns 0 4 * T * * * M * * * M * * * M * * * T * * * uns 0 34 * T * * * uns 1 39 * uns 1 38 * ? * * * uns 0 2 * uns 0 2 * uns 0 2 bjrb07amba2andenv * uns 6 28 * ? * * * M * * * T * * * T * * * M * * * M * * * T * * * uns 0 37 * T * * * uns 2 42 * uns 2 42 * ? * * * uns 2 3 * uns 2 3 * uns 2 3 bjrb07amba3andenv * uns 56 103 * T * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 8 50 * T * * * uns 43 62 * uns 43 62 * T * * * uns 55 12 * uns 55 12 * uns 56 12 bjrb07amba4andenv * uns 156 168 * ? * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 20 53 * T * * * T * * * uns 529 118 * T * * * uns 453 25 * uns 450 25 * uns 449 25 bjrb07amba5andenv * uns 101 172 * T * * * T * * * T * * * T * * * T * * * M * * * T * * * uns 24 58 * T * * * T * * * T * * * T * * * uns 684 33 * uns 685 33 * uns 684 33 bjrb07amba6andenv * uns 309 166 * T * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 19 61 * T * * * T * * * T * * * T * * * T * * * T * * * T * * bjrb07amba7andenv * uns 203 180 * T * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 242 71 * T * * * T * * * T * * * T * * * T * * * T * * * T * * bjrb07amba9andenv * T * * * ? * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 73 84 * T * * * S6 * * * T * * * T * * * T * * * T * * * T * * brpp1 3 sat 0 23 3 sat 2 81 * M * * 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 3 3 sat 0 11 * T * * 3 sat 1 40 * sat 2 46 * sat 2 46 3 sat 0 0 * sat 18 17 * sat 18 17 * sat 2 2 brpp1neg 2 sat 0 23 2 sat 2 79 * M * * 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 11 * T * * 2 sat 1 41 * sat 2 46 * sat 2 46 2 sat 0 0 * sat 8 6 * sat 8 6 * sat 2 2 brpptimo 3 sat 0 20 3 sat 3 68 * M * * 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 2 3 sat 0 10 * T * * 3 sat 1 39 * sat 2 43 * sat 2 43 3 sat 0 0 * sat 13 10 * sat 13 10 * sat 1 2 brpptimoneg 2 sat 0 20 2 sat 2 68 * M * * 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 0 * T * * 2 sat 1 13 * sat 2 44 * sat 2 44 2 sat 0 0 * sat 2 2 * sat 2 2 * sat 1 2 brpptimonegnv 3 sat 0 21 3 sat 3 69 * M * * 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 2 3 sat 0 10 * T * * 3 sat 1 41 * sat 2 45 * sat 2 45 3 sat 0 0 * sat 48 23 * sat 48 23 * sat 1 2 cmudme1 * T * * * T * * * T * * * T * * * T * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * cmudme2 * T * * * T * * * T * * * T * * * T * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * cmugigamax * uns 2 14 * ? * * * uns 2 44 * T * * * T * * * M * * * M * * * T * * * uns 0 34 * T * * * uns 1 39 * uns 2 50 * T * * * uns 1 2 * uns 0 2 * T * * cmuperiodic * uns 12 29 * ? * * * uns 0 0 * uns 38 24 * T * * * M * * * M * * * T * * * uns 4 39 * T * * * T * * * T * * * ? * * * T * * * T * * * uns 11 18 counterp0 9 sat 0 0 9 sat 0 6 * sat 0 0 9 sat 0 0 9 sat 0 0 9 sat 0 2 9 sat 0 1 9 sat 0 6 * sat 0 36 9 sat 0 9 * sat 2 51 * sat 1 49 16 sat 0 0 * sat 0 1 * sat 0 1 * sat 0 1 counterp0neg 9 sat 0 0 9 sat 0 6 * sat 0 0 9 sat 0 0 9 sat 0 0 9 sat 0 2 9 sat 0 2 9 sat 0 6 * sat 0 35 9 sat 0 24 * sat 2 50 * sat 1 49 16 sat 0 0 * sat 0 1 * sat 0 1 * sat 0 1 csmacdp0 7 sat 3 78 7 sat 48 171 * M * * 7 sat 1 8 7 sat 1 8 7 sat 1 27 7 sat 3 111 7 sat 2 26 * T * * 7 sat 4 55 * T * * * sat 41 96 7 sat 0 0 * T * * * T * * * sat 18 8 csmacdp0neg 7 sat 3 74 7 sat 48 167 * M * * 7 sat 2 8 7 sat 1 8 7 sat 1 27 7 sat 3 113 7 sat 2 26 * T * * 7 sat 4 55 * T * * * sat 39 96 7 sat 0 0 * T * * * T * * * sat 16 8 csmacdp2 * sat 11 81 7 sat 463 244 * M * * 7 sat 1 8 7 sat 1 8 7 sat 1 30 7 sat 3 114 7 sat 2 27 * T * * 7 sat 4 57 * T * * * sat 45 99 7 sat 0 0 * T * * * T * * * sat 16 8 csmacdp2neg * sat 11 81 7 sat 408 218 * M * * 7 sat 1 8 7 sat 1 8 7 sat 1 29 7 sat 3 115 7 sat 2 27 * T * * 7 sat 4 58 * T * * * sat 41 96 7 sat 0 0 * T * * * T * * * sat 15 8 dme3p1 * sat 3 40 * T * * * M * * 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 3 3 sat 0 11 * T * * 3 sat 1 42 * sat 2 46 * sat 2 46 3 sat 0 0 * sat 41 54 * sat 42 54 * sat 4 2 dme3p1neg 2 sat 1 22 * T * * * M * * 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 11 * T * * 2 sat 1 40 * sat 2 46 * sat 2 46 2 sat 0 0 * sat 6 5 * sat 6 5 * sat 4 2 dme3ptimo 3 sat 1 21 * T * * * M * * 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 2 3 sat 0 11 * T * * 3 sat 1 41 * sat 2 45 * sat 2 45 3 sat 0 0 * sat 6 4 * sat 6 4 * sat 3 2 dme3ptimoneg 2 sat 1 21 2 sat 109 141 * M * * 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 11 * T * * 2 sat 1 40 * sat 2 45 * sat 2 45 2 sat 0 0 * sat 4 4 * sat 4 4 * sat 3 2 dme3ptimonegnv 3 sat 1 21 3 sat 732 428 * M * * 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 2 3 sat 0 11 * T * * 3 sat 1 41 * sat 2 45 * sat 2 45 3 sat 0 0 * sat 11 8 * sat 11 8 * sat 4 2 dme4p1 3 sat 1 29 * T * * * M * * 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 4 3 sat 0 11 * T * * 3 sat 1 45 * sat 3 49 * sat 3 49 3 sat 0 0 * sat 114 74 * sat 114 74 * sat 8 3 dme4p1neg 2 sat 1 29 * T * * * M * * 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 11 * T * * 2 sat 1 43 * sat 3 49 * sat 3 49 2 sat 0 0 * sat 14 10 * sat 14 10 * sat 8 3 dme4ptimo 3 sat 1 28 * T * * * M * * 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 3 3 sat 0 11 * T * * 3 sat 1 44 * sat 3 49 * sat 3 49 3 sat 0 0 * sat 14 6 * sat 14 6 * sat 8 3 dme4ptimoneg 2 sat 1 28 * T * * * M * * 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 12 * T * * 2 sat 1 41 * sat 3 48 * sat 3 49 2 sat 0 0 * sat 13 8 * sat 12 8 * sat 8 3 dme4ptimonegnv 3 sat 1 28 * T * * * T * * 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 4 3 sat 0 11 * T * * 3 sat 1 43 * sat 3 49 * sat 3 49 3 sat 0 0 * sat 74 80 * sat 74 80 * sat 8 3 dme5p1 * sat 6 59 * T * * * M * * 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 5 3 sat 0 15 * T * * 3 sat 1 46 * sat 4 51 * sat 4 51 3 sat 0 0 * sat 122 82 * sat 121 82 * sat 15 4 dme5p1neg * sat 6 51 * T * * * M * * 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 3 2 sat 0 14 * T * * 2 sat 1 45 * sat 4 52 * sat 4 52 2 sat 0 0 * sat 23 9 * sat 23 9 * sat 16 4 dme5ptimo * sat 6 61 * T * * * M * * 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 2 3 sat 0 14 * T * * 3 sat 1 45 * sat 4 51 * sat 4 51 3 sat 0 0 * sat 32 11 * sat 32 11 * sat 15 4 dme5ptimoneg * sat 6 60 * T * * * M * * 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 1 2 sat 0 14 * T * * 2 sat 1 44 * sat 4 52 * sat 4 52 2 sat 0 0 * sat 24 11 * sat 24 11 * sat 15 4 dme5ptimonegnv * sat 6 51 * T * * * T * * 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 4 3 sat 0 14 * T * * 3 sat 1 47 * sat 4 52 * sat 4 52 3 sat 0 0 * sat 36 17 * sat 36 17 * sat 15 4 dme6p1 * sat 8 74 * T * * * M * * 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 4 3 sat 0 17 * T * * 3 sat 2 49 * sat 6 56 * sat 6 56 3 sat 0 0 * sat 266 105 * sat 267 105 * sat 27 5 dme6p1neg * sat 8 74 * T * * * M * * 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 4 2 sat 0 15 * T * * 2 sat 2 46 * sat 6 56 * sat 6 56 2 sat 0 0 * sat 36 8 * sat 36 8 * sat 27 4 dme6ptimo * sat 8 72 * T * * * M * * 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 4 3 sat 0 16 * T * * 3 sat 2 48 * sat 5 56 * sat 5 56 3 sat 0 0 * sat 44 12 * sat 44 12 * sat 25 4 dme6ptimoneg * sat 7 72 * T * * * M * * 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 2 2 sat 0 15 * T * * 2 sat 2 44 * sat 5 56 * sat 5 56 2 sat 0 0 * sat 27 4 * sat 26 4 * sat 25 4 dme6ptimonegnv * sat 8 69 * T * * * T * * 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 4 3 sat 0 17 * T * * 3 sat 2 48 * sat 6 56 * sat 5 56 3 sat 0 0 * sat 49 23 * sat 49 23 * sat 27 4 eijkbs1512 * uns 27 20 * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 2 45 * uns 2 45 * T * * * uns 1 2 * uns 1 2 * uns 1 2 eijkbs3271 * uns 2 37 * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 564 215 * uns 868 236 * T * * * T * * * T * * * T * * eijkbs3330 * uns 2 31 * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 4 50 * uns 4 50 * T * * * uns 1 2 * uns 1 2 * uns 1 2 eijkbs3384 * uns 2 38 * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 506 209 * uns 467 129 * T * * * T * * * T * * * T * * eijkbs4863 * uns 3 50 * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 52 68 * uns 52 69 * T * * * uns 5 5 * uns 5 5 * uns 5 5 eijkbs6669 * uns 3 61 * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 442 200 * T * * * T * * * T * * * T * * * T * * eijkS1196 * uns 9 22 * ? * * * M * * * uns 1 2 * T * * * T * * 3 uns 9 19 * T * * * uns 0 38 * T * * * uns 1 40 * uns 1 41 * ? * * * uns 1 2 * uns 1 2 * uns 1 1 eijkS1238 * uns 9 22 * ? * * * M * * * uns 1 2 * T * * * T * * 3 uns 8 19 * T * * * uns 0 37 * T * * * uns 1 40 * uns 1 40 * ? * * * uns 1 2 * uns 1 2 * uns 1 2 eijkS1423 * uns 5 21 * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 2 45 * uns 2 45 * T * * * uns 2 2 * uns 2 2 * uns 2 2 eijkS208 * uns 1 8 * ? * * * uns 0 0 * T * * * T * * * T * * * M * * * T * * * uns 0 39 * T * * * uns 0 16 * uns 0 14 * T * * * uns 0 1 * uns 0 1 * uns 0 1 eijkS208c * uns 1 8 * ? * * * uns 0 4 * T * * * T * * * T * * * M * * * T * * * uns 0 37 * T * * * uns 0 11 * uns 0 21 * T * * * uns 0 0 * uns 0 0 * uns 0 0 eijkS208o * uns 0 4 * ? * * * uns 0 2 * T * * * T * * * M * * * M * * * T * * * uns 0 37 * T * * * uns 0 11 * uns 0 21 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 eijkS298 * uns 2 9 * ? * * * uns 4 98 * uns 20 10 * T * * * T * * * M * * * T * * * uns 1 38 * T * * * uns 0 38 * uns 0 38 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 eijkS344 * uns 1 10 * ? * * * uns 67 1123 * uns 0 1 * T * * * T * * 6 uns 1 8 * T * * * uns 10 51 * T * * * uns 0 37 * uns 0 18 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 eijkS349 * uns 1 10 * ? * * * M * * * uns 0 1 * T * * * T * * 6 uns 1 9 * T * * * uns 10 46 * T * * * uns 0 38 * uns 0 36 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 eijkS382 * uns 5 12 * T * * * uns 44 641 * T * * * T * * * T * * * T * * * T * * * uns 30 65 * T * * * uns 0 39 * uns 0 39 * T * * * uns 0 1 * uns 0 1 * uns 0 1 eijkS386 * uns 1 11 * T * * * uns 9 188 * uns 0 1 * T * * * T * * 7 uns 0 13 * T * * * uns 0 38 * T * * * uns 1 39 * uns 0 39 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 eijkS420 * uns 2 10 * ? * * * T * * * T * * * T * * * T * * * M * * * T * * * uns 253 78 * T * * * uns 0 39 * uns 0 39 * T * * * uns 1 1 * uns 1 1 * uns 1 1 eijkS444 * uns 5 13 * T * * * uns 42 688 * T * * * T * * * T * * * T * * * T * * * uns 4 51 * T * * * uns 0 39 * uns 0 39 * T * * * uns 0 1 * uns 0 1 * uns 0 1 eijkS510 * uns 16 13 * T * * * M * * * uns 3 2 * T * * * T * * 10 uns 1 37 * T * * * uns 104 80 * T * * * uns 1 42 * uns 1 42 * T * * * uns 2 2 * uns 2 2 * uns 2 2 eijkS526 * uns 6 13 * T * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 135 65 * T * * * uns 1 40 * uns 1 40 * T * * * uns 0 1 * uns 1 1 * uns 1 1 eijkS5378 * uns 8 38 * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 14 63 * uns 14 63 * T * * * uns 7 5 * uns 7 5 * uns 7 5 eijkS641 * uns 1 11 * T * * * M * * * T * * * T * * * T * * * T * * * T * * * uns 3 44 * T * * * uns 0 38 * uns 0 38 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 eijkS713 * uns 1 11 * T * * * M * * * T * * * T * * * T * * * T * * * T * * * uns 4 44 * T * * * uns 0 38 * uns 0 38 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 eijkS820 * uns 10 19 * T * * * M * * * uns 3 3 * T * * * T * * 11 uns 7 79 * T * * * uns 55 66 * T * * * uns 1 41 * uns 1 41 * ? * * * uns 1 2 * uns 1 2 * uns 1 2 eijkS832 * uns 11 19 * T * * * M * * * uns 3 3 * T * * * T * * 11 uns 6 89 * T * * * uns 248 67 * T * * * uns 1 42 * uns 1 42 * ? * * * uns 1 2 * uns 1 2 * uns 1 2 eijkS838 * uns 4 13 * ? * * * T * * * T * * * T * * * T * * * M * * * T * * * T * * * T * * * uns 1 42 * uns 1 43 * T * * * uns 5 3 * uns 5 3 * uns 5 3 eijkS953 * uns 7 18 * ? * * * M * * * uns 24 22 * T * * * T * * 7 uns 1 21 * T * * * uns 71 67 * T * * * uns 1 42 * uns 1 42 * ? * * * uns 1 2 * uns 1 2 * uns 1 2 intel001 * uns 0 8 * ? * * * uns 631 89 * T * * * T * * * M * * * T * * * T * * * uns 0 36 * T * * * uns 1 52 * uns 1 50 * T * * * uns 0 1 * uns 0 0 * T * * intel002 * uns 3 21 * ? * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 93 50 * T * * * uns 1 40 * uns 1 40 * T * * * uns 2 6 * uns 2 6 * T * * intel003 * uns 13 15 * ? * * * M * * * T * * * T * * * M * * * M * * * T * * * uns 6 40 * T * * * uns 164 106 * uns 11 127 * T * * * uns 0 0 * uns 0 0 * uns 0 0 intel004 * uns 2 17 * ? * * * uns 657 94 * T * * * T * * * M * * 17 uns 69 120 * T * * * uns 4 40 * T * * * uns 35 72 * uns 157 87 * T * * * uns 0 2 * uns 0 2 * uns 1 3 intel005 * ? * * * ? * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * T * * * uns 82 104 * uns 113 273 * T * * * uns 2 8 * uns 26 27 * T * * intel006 * ? * * * ? * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * S6 * * * T * * * uns 348 143 * T * * * uns 367 425 * T * * * T * * intel007 * T * * * T * * * M * * * T * * * T * * * T * * * M * * * T * * * T * * * S6 * * * uns 881 185 * T * * * M * * * T * * * T * * * T * * intel009 * ? * * * ? * * * M * * * T * * * T * * * M * * * M * * * S6 * * * T * * * S6 * * * S6 * * * S6 * * * T * * * T * * * T * * * T * * intel010 * T * * * T * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * S6 * * * T * * * T * * * T * * * T * * * T * * * T * * intel011 * T * * * T * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * S6 * * * T * * * T * * * T * * * T * * * T * * * T * * intel012 * ? * * * ? * * * M * * * T * * * T * * * M * * * M * * * S6 * * * T * * * S6 * * * S6 * * * S6 * * * T * * * T * * * T * * * T * * intel013 * T * * * ? * * * uns 739 650 * T * * * M * * * M * * * M * * * S6 * * * T * * * S6 * * * S6 * * * S6 * * * T * * * T * * * T * * * T * * intel014 * ? * * * ? * * * uns 730 356 * T * * * T * * * M * * * M * * * T * * * T * * * S6 * * * S6 * * * S6 * * * T * * * T * * * T * * * T * * intel015 * T * * * T * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * S6 * * * T * * * T * * * T * * * T * * * T * * * T * * intel016 * ? * * * ? * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * S6 * * * T * * * T * * * T * * * T * * * T * * * T * * intel017 * ? * * * ? * * * M * * * T * * 309 sat 271 303 * M * * * M * * * T * * * T * * * S6 * * * T * * * T * * 309 sat 184 170 * T * * * T * * * sat 244 145 intel018 * T * * * T * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * S6 * * * T * * * T * * * T * * * T * * * T * * * T * * intel019 * T * * * T * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * S6 * * * T * * * T * * * T * * * T * * * T * * * T * * intel020 * T * * * T * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * S6 * * * T * * * T * * * T * * * T * * * T * * * T * * intel021 * T * * * T * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * S6 * * * T * * * T * * * T * * * T * * * T * * * T * * intel022 * T * * * T * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * S6 * * * T * * * T * * * T * * * T * * * T * * * T * * intel023 * T * * * T * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * S6 * * * T * * * T * * * T * * * T * * * T * * * T * * intel024 * T * * * T * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * S6 * * * T * * * T * * * T * * * T * * * T * * * T * * intel025 * T * * * T * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * S6 * * * S6 * * * S6 * * * T * * * T * * * T * * * T * * intel026 * ? * * * ? * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * S6 * * * T * * * T * * * T * * * T * * * T * * * T * * intel027 * ? * * * ? * * * M * * * T * * * T * * * M * * * M * * * S6 * * * T * * * S6 * * * S6 * * * S6 * * * T * * * T * * * T * * * T * * intel028 * ? * * * ? * * * M * * * T * * * T * * * M * * * M * * * S6 * * * T * * * S6 * * * S6 * * * S6 * * * T * * * T * * * T * * * T * * intel029 * T * * * T * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * S6 * * * T * * * T * * * T * * * T * * * T * * * T * * intel030 * T * * * ? * * * M * * * T * * * T * * * M * * * M * * * S6 * * * T * * * S6 * * * S6 * * * S6 * * * T * * * T * * * T * * * T * * intel031 * ? * * * ? * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * S6 * * * T * * * T * * * T * * * T * * * T * * * T * * intel032 * T * * * T * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * S6 * * * T * * * S6 * * * T * * * T * * * T * * * T * * intel033 * ? * * * ? * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * S6 * * * S6 * * * S6 * * * T * * * T * * * T * * * T * * intel034 * ? * * * ? * * * M * * * T * * * M * * * M * * * M * * * T * * * T * * * S6 * * * S6 * * * T * * * T * * * T * * * T * * * T * * intel035 * ? * * * ? * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * S6 * * * S6 * * * S6 * * * T * * * T * * * T * * * T * * intel036 * ? * * * ? * * * M * * * T * * * T * * * M * * * M * * * S6 * * * T * * * S6 * * * S6 * * * S6 * * * T * * * T * * * T * * * T * * intel037 * T * * * ? * * * M * * * T * * * M * * * M * * * M * * * S6 * * * T * * * S6 * * * S6 * * * S6 * * * M * * * T * * * T * * * T * * intel038 * T * * * ? * * * M * * * T * * 35 sat 76 620 * M * * * M * * * S6 * * * T * * * S6 * * * S6 * * * S6 * * 35 sat 14 234 * T * * * T * * * T * * intel039 * T * * * ? * * * M * * * T * * 35 sat 57 643 * M * * * M * * * S6 * * * T * * * S6 * * * S6 * * * S6 * * 35 sat 21 245 * T * * * T * * * T * * intel040 * T * * * ? * * * M * * * T * * 37 sat 90 668 * M * * * M * * * S6 * * * T * * * S6 * * * S6 * * * S6 * * 37 sat 16 250 * T * * * T * * * T * * intel041 * T * * * ? * * * M * * * T * * 35 sat 230 646 * M * * * M * * * S6 * * * T * * * S6 * * * S6 * * * S6 * * 35 sat 23 243 * T * * * T * * * T * * intel042 * T * * * ? * * * M * * * T * * 47 sat 179 824 * M * * * M * * * S6 * * * T * * * S6 * * * S6 * * * S6 * * 47 sat 28 308 * T * * * T * * * T * * intel043 * ? * * * ? * * * M * * * T * * * T * * * M * * * M * * * S6 * * * T * * * S6 * * * S6 * * * S6 * * * ? * * * T * * * T * * * T * * intel044 * T * * * T * * * M * * * T * * * T * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * sat 446 93 intel045 * T * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * sat 349 94 intel046 * T * * * T * * * M * * * T * * * T * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * sat 364 91 intel047 * T * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * sat 331 95 intel048 * T * * * ? * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * S6 * * * S6 * * * S6 * * * T * * * T * * * T * * * T * * intel049 * T * * * T * * * M * * * T * * * T * * * M * * * M * * * T * * * uns 543 62 * T * * * uns 399 204 * uns 264 219 * T * * * uns 264 116 * uns 109 127 * T * * intel052 * uns 7 12 * ? * * * uns 784 641 * T * * * T * * * M * * * M * * * T * * * uns 5 40 * T * * * uns 22 65 * uns 24 93 * T * * * uns 1 5 * uns 1 3 * T * * intel054 * T * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 2 8 * uns 2 8 * uns 2 8 intel055 * T * * * T * * * M * * * T * * * T * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 43 12 * uns 43 12 * T * * intel056 * T * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 7 13 * uns 8 13 * T * * intel057 * T * * * T * * * M * * * T * * * T * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 2 6 * uns 2 6 * uns 2 6 intel059 * T * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 4 8 * uns 4 8 * ? * * intel062 * T * * * T * * * M * * * T * * * T * * * T * * * M * * * T * * * T * * * S6 * * * T * * * S6 * * * T * * * uns 28 14 * uns 27 14 * uns 28 14 intel063 * uns 45 49 * ? * * * M * * * T * * * T * * * M * * * M * * * T * * * uns 28 49 * S6 * * * uns 41 104 * uns 14 145 * T * * * uns 1 2 * uns 1 2 * uns 1 2 intel064 * T * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * intel065 * T * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * intel066 * T * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * intel067 * T * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * irstdme4 * T * * * T * * * T * * * T * * 52 sat 538 97 52 sat 591 555 * M * * 52 sat 308 53 * T * * 52 sat 701 139 * T * * * T * * 52 sat 255 47 * T * * * T * * * sat 388 88 irstdme5 * T * * * T * * * T * * * T * * 52 sat 587 104 52 sat 645 698 * M * * 52 sat 251 64 * T * * * T * * * T * * * T * * 52 sat 167 34 * T * * * T * * * sat 556 105 irstdme6 * T * * * T * * * T * * * T * * 53 sat 826 102 53 sat 805 981 * M * * 53 sat 410 97 * T * * 53 sat 875 226 * T * * * T * * 53 sat 262 55 * T * * * T * * * sat 555 88 kenflashp01 * uns 1 23 * ? * * * uns 7 94 * T * * * T * * * M * * * M * * * T * * * uns 8 42 * T * * * uns 2 53 * uns 1 52 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 kenflashp02 3 sat 0 28 3 sat 23 104 * sat 97 692 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 3 3 sat 0 10 * sat 1 42 3 sat 1 40 * sat 1 40 * sat 3 52 3 sat 0 0 * sat 2 3 * sat 2 3 * sat 2 2 kenflashp03 * uns 2 55 * ? * * * uns 29 194 * uns 0 1 * T * * * M * * 1 uns 0 3 * T * * * uns 2 40 * S6 * * * uns 1 39 * uns 1 38 * T * * * uns 0 2 * uns 1 2 * uns 1 2 kenflashp04 * uns 1 28 * ? * * * uns 0 0 * T * * * T * * * M * * * M * * * T * * * uns 4 45 * S6 * * * uns 1 40 * uns 1 40 * ? * * * uns 0 2 * uns 0 2 * uns 0 2 kenflashp05 * uns 3 77 * ? * * * M * * * T * * * T * * * M * * * M * * * T * * * uns 3 46 * S6 * * * uns 1 40 * uns 1 40 * T * * * uns 3 4 * uns 2 4 * uns 2 4 kenflashp06 * uns 1 27 * ? * * * uns 0 0 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 4 41 * S6 * * * uns 1 39 * uns 1 39 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 kenflashp07 * uns 1 28 * ? * * * uns 0 0 * T * * * T * * * M * * * M * * * T * * * uns 4 45 * S6 * * * uns 1 39 * uns 1 39 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 kenflashp08 * uns 1 29 * ? * * * uns 0 0 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 4 44 * S6 * * * uns 1 39 * uns 1 39 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 kenflashp09 * uns 6 74 * ? * * * M * * * uns 0 2 * T * * * M * * 1 uns 0 5 * T * * * uns 2 42 * S6 * * * uns 1 39 * uns 1 40 * T * * * uns 1 3 * uns 1 3 * uns 1 3 kenflashp10 * uns 1 69 * ? * * * uns 0 0 * uns 0 2 * M * * * M * * 1 uns 0 5 * T * * * uns 3 41 * uns 5 69 * uns 1 30 * uns 1 40 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 kenflashp11 * uns 4 90 * ? * * * M * * * T * * * T * * * M * * * M * * * T * * * uns 3 42 * S6 * * * uns 1 40 * uns 1 40 * T * * * uns 4 5 * uns 4 5 * uns 4 5 kenflashp12 3 sat 1 35 3 sat 26 124 * M * * 3 sat 0 0 3 sat 0 0 3 sat 0 4 3 sat 0 5 3 sat 0 11 * sat 2 41 3 sat 1 40 * sat 1 40 * sat 3 54 3 sat 0 0 * sat 3 3 * sat 3 3 * sat 3 3 kenflashp13 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * * M * * * M * * * uns 0 0 * uns 5 68 * uns 0 13 * uns 0 14 * uns 0 0 * uns 0 0 * uns 0 0 * uns 0 0 kenflashp14 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * * M * * * M * * * uns 0 0 * uns 5 69 * uns 0 11 * uns 0 11 * uns 0 0 * uns 0 0 * uns 0 0 * uns 0 0 kenoopp1 * uns 1 14 * ? * * * uns 1 15 * T * * * T * * * M * * * M * * * T * * * uns 0 38 * T * * * uns 8 97 * uns 1 50 * ? * * * uns 0 2 * uns 0 0 * uns 0 0 kenoopp2 * uns 1 17 * ? * * * uns 2 43 * T * * * T * * * M * * * M * * * T * * * uns 9 51 * S6 * * * uns 14 109 * uns 2 54 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 mutexp0 7 sat 0 0 7 sat 0 9 * sat 0 0 7 sat 0 0 7 sat 0 0 7 sat 0 0 7 sat 0 3 7 sat 0 0 * sat 1 38 7 sat 0 15 * sat 3 51 * sat 1 50 10 sat 0 0 * sat 0 0 * sat 0 0 * sat 0 0 mutexp0neg 7 sat 0 0 7 sat 0 7 * sat 0 0 7 sat 0 0 7 sat 0 0 7 sat 0 0 7 sat 0 4 7 sat 0 0 * sat 0 37 7 sat 0 10 * sat 3 51 * sat 1 50 10 sat 0 0 * sat 0 0 * sat 0 0 * sat 0 0 neclabakery001 * T * * * T * * * uns 14 95 * T * * * T * * * T * * * M * * * T * * * uns 18 54 * T * * * T * * * T * * * T * * * T * * * T * * * uns 422 34 neclaftp1001 * ? * * * ? * * * M * * * T * * * M * * * M * * * M * * * S6 * * * T * * * T * * * S6 * * * S6 * * * M * * * T * * * T * * * T * * neclaftp1002 * ? * * * ? * * * M * * * T * * * M * * * M * * * M * * * S6 * * * T * * * T * * * S6 * * * S6 * * * M * * * T * * * T * * * T * * neclaftp2001 * ? * * * ? * * * M * * * T * * * M * * * M * * * M * * * T * * * T * * * T * * * S6 * * * S6 * * * M * * * uns 839 122 * uns 838 122 * uns 834 123 neclaftp2002 * ? * * * ? * * * M * * * T * * * M * * * M * * * M * * * T * * * T * * * T * * * S6 * * * S6 * * * M * * * T * * * T * * * uns 898 175 neclaftp3001 13 sat 9 165 13 sat 9 165 * M * * 13 sat 29 69 13 sat 16 62 13 sat 36 446 * M * * 13 sat 77 282 * T * * 13 sat 64 170 * S6 * * * S6 * * 13 sat 2 26 * T * * * T * * * T * * neclaftp3002 15 sat 9 161 15 sat 9 165 * M * * 15 sat 29 77 15 sat 23 72 15 sat 85 699 * M * * 15 sat 123 307 * T * * 15 sat 78 180 * S6 * * * S6 * * 15 sat 3 34 * T * * * T * * * T * * neclaftp4001 * uns 0 4 * ? * * * M * * * T * * * M * * * M * * * M * * * T * * * T * * * T * * * uns 11 82 * uns 11 82 * ? * * * uns 44 29 * uns 45 29 * uns 44 29 neclaftp4002 * uns 0 4 * ? * * * M * * * T * * * M * * * M * * * M * * * T * * * T * * * T * * * uns 12 85 * uns 12 85 * ? * * * uns 41 24 * uns 41 24 * uns 41 24 neclaftp5001 * uns 0 31 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 2 * S6 * * * uns 0 2 * T * * * uns 0 18 * uns 0 38 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 neclaftp5002 * uns 0 31 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * S6 * * * uns 0 35 * uns 12 76 * uns 0 39 * uns 0 38 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 neclatcas1a001 * S6 * * * ? * * * M * * * T * * * M * * * M * * * M * * * T * * * S6 * * * S6 * * * S6 * * * S6 * * * ? * * * uns 0 0 * uns 0 0 * uns 0 0 neclatcasall001 * S6 * * * ? * * * M * * * T * * * M * * * M * * * M * * * T * * * S6 * * * S6 * * * S6 * * * S6 * * * ? * * * uns 0 0 * uns 0 0 * uns 0 0 nusmvbrp * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 456 74 * T * * * uns 187 283 * T * * * T * * * T * * * T * * * T * * nusmvdme116 * T * * * T * * * M * * * T * * * T * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * nusmvdme216 * T * * * T * * * M * * * T * * * T * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * nusmvguidancep1 * uns 10 37 * ? * * * M * * * uns 0 4 * T * * * M * * 10 uns 3 103 * T * * * T * * * S6 * * * uns 166 102 * uns 7 64 * ? * * * uns 7 3 * uns 7 3 * uns 6 3 nusmvguidancep2 * ? * * * ? * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 478 61 * T * * * T * * * T * * * T * * * uns 873 394 * T * * * T * * nusmvguidancep4 * uns 2 35 * ? * * * uns 4 93 * T * * * T * * * M * * * M * * * T * * * uns 456 67 * S6 * * * uns 633 315 * uns 5 60 * ? * * * uns 6 3 * uns 6 3 * uns 6 3 nusmvguidancep5 * T * * * T * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 59 44 * T * * * T * * * T * * * T * * * T * * * T * * * T * * nusmvguidancep6 * uns 34 35 * ? * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 54 44 * T * * * T * * * uns 92 177 * T * * * T * * * T * * * T * * nusmvguidancep7 * T * * * T * * * M * * * uns 50 28 * T * * * T * * 27 uns 124 949 * T * * * uns 35 43 * T * * * T * * * T * * * T * * * T * * * T * * * uns 17 12 nusmvguidancep8 * uns 36 37 * T * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 426 55 * T * * * T * * * T * * * T * * * uns 414 276 * uns 814 521 * T * * nusmvguidancep9 * uns 22 42 * ? * * * M * * * T * * * T * * * M * * * M * * * T * * * uns 471 66 * T * * * T * * * uns 170 200 * T * * * uns 33 16 * uns 33 16 * ? * * nusmvqueue * T * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * nusmvreactorp1 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * * M * * * M * * * uns 0 0 * uns 5 68 * uns 1 16 * uns 1 26 * uns 0 0 * uns 0 0 * uns 0 0 * uns 0 0 nusmvreactorp2 * T * * * ? * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * nusmvreactorp3 * uns 1 21 * ? * * * M * * * uns 0 0 * T * * * M * * 4 uns 0 9 * T * * * uns 65 46 * S6 * * * uns 11 107 * uns 5 59 * ? * * * uns 11 4 * uns 11 4 * uns 11 4 nusmvreactorp4 * uns 5 41 * ? * * * M * * * uns 0 4 * T * * * M * * 13 uns 4 128 * T * * * uns 167 61 * T * * * uns 188 154 * uns 35 88 * ? * * * uns 146 106 * uns 147 105 * uns 10 4 nusmvreactorp5 * uns 1 21 * ? * * * uns 1 19 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 47 46 * T * * * uns 1 41 * uns 1 41 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 nusmvreactorp6 * T * * * ? * * * M * * * T * * * T * * * M * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * nusmvsyncarb10p2 * uns 0 8 * ? * * * uns 5 88 * T * * * T * * * M * * * M * * * T * * * uns 1 37 * T * * * uns 91 104 * uns 1 50 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 nusmvsyncarb5p2 * uns 0 5 * ? * * * uns 0 0 * T * * * T * * * M * * * M * * * T * * * uns 0 2 * T * * * uns 3 52 * uns 1 48 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 nusmvtcasp1 * sat 9 40 11 sat 828 169 * M * * 11 sat 1 6 11 sat 1 6 11 sat 1 43 11 sat 5 169 11 sat 3 26 * T * * 11 sat 3 61 * sat 299 246 * sat 19 153 11 sat 0 4 * T * * * T * * * sat 17 8 nusmvtcasp2 * uns 6 40 * ? * * * M * * * uns 0 5 * T * * * M * * 6 uns 1 44 * T * * * T * * * T * * * uns 62 147 * uns 16 71 * T * * * T * * * T * * * uns 21 6 nusmvtcasp3 * uns 4 40 * ? * * * M * * * uns 0 4 * T * * * M * * 5 uns 1 30 * T * * * T * * * T * * * uns 763 185 * uns 9 70 * T * * * T * * * T * * * uns 28 6 nusmvtcasp4 15 sat 7 40 15 sat 776 172 * M * * 15 sat 5 8 15 sat 3 8 15 sat 4 99 15 sat 14 371 15 sat 5 33 * T * * 15 sat 4 75 * T * * * sat 31 228 15 sat 1 6 * T * * * T * * * sat 23 10 nusmvtcasp5 24 sat 6 40 24 sat 726 171 * M * * 24 sat 34 12 24 sat 19 12 24 sat 24 284 24 sat 68 1096 24 sat 21 49 * T * * 24 sat 9 85 * T * * * sat 100 235 24 sat 6 10 * T * * * T * * * sat 35 16 nusmvtcasp6 17 sat 6 41 17 sat 813 173 * M * * 17 sat 6 9 17 sat 4 9 17 sat 4 125 17 sat 17 485 17 sat 7 36 * T * * 17 sat 5 77 * sat 649 422 * sat 38 95 17 sat 2 7 * T * * * T * * * sat 23 11 nusmvtcastp1 * sat 10 44 11 sat 764 166 * M * * 11 sat 1 7 11 sat 1 7 11 sat 1 49 11 sat 6 182 11 sat 3 26 * T * * 11 sat 3 61 * sat 516 214 * sat 19 81 11 sat 0 4 * T * * * T * * * sat 17 8 nusmvtcastp2 * uns 5 41 * ? * * * M * * * uns 0 4 * T * * * M * * 6 uns 1 48 * T * * * T * * * T * * * uns 126 155 * uns 14 133 * T * * * T * * * T * * * uns 21 6 nusmvtcastp3 * uns 4 41 * ? * * * M * * * uns 1 4 * T * * * M * * 5 uns 1 31 * T * * * T * * * S6 * * * uns 115 167 * uns 10 71 * T * * * T * * * T * * * uns 29 6 nusmvtcastp4 15 sat 7 41 15 sat 770 168 * M * * 15 sat 5 8 15 sat 1 8 15 sat 4 100 15 sat 14 368 15 sat 5 33 * sat 510 62 15 sat 4 75 * sat 422 509 * sat 33 91 15 sat 1 6 * T * * * T * * * sat 24 10 nusmvtcastp5 24 sat 6 41 24 sat 733 169 * M * * 24 sat 26 13 24 sat 21 12 24 sat 28 310 24 sat 70 1193 24 sat 22 50 * T * * 24 sat 9 86 * T * * * sat 108 134 24 sat 6 10 * T * * * T * * * sat 35 16 nusmvtcastp6 * sat 10 42 17 sat 741 172 * M * * 17 sat 6 9 17 sat 4 9 17 sat 4 130 17 sat 18 507 17 sat 7 37 * T * * 17 sat 5 77 * sat 744 178 * sat 37 93 17 sat 2 7 * T * * * T * * * sat 24 12 pcip1 3 sat 2 35 3 sat 325 175 * M * * 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 5 3 sat 0 13 * T * * 3 sat 1 44 * sat 2 47 * sat 2 47 3 sat 0 0 * sat 26 29 * sat 26 29 * sat 3 3 pcip1neg * sat 4 55 2 sat 267 148 * M * * 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 3 2 sat 0 12 * T * * 2 sat 1 42 * sat 2 47 * sat 2 47 2 sat 0 0 * sat 167 116 * sat 167 116 * sat 3 3 pcipFtimo 3 sat 2 34 3 sat 347 195 * M * * 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 5 3 sat 0 13 * T * * 3 sat 1 44 * sat 2 46 * sat 2 46 3 sat 0 0 * sat 10 7 * sat 10 7 * sat 2 3 pciptimo * sat 3 38 3 sat 317 166 * M * * 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 5 3 sat 0 12 * T * * 3 sat 1 42 * sat 2 46 * sat 2 46 3 sat 0 0 * sat 12 12 * sat 12 12 * sat 2 3 pciptimoneg 2 sat 2 34 2 sat 414 167 * M * * 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 3 2 sat 0 12 * T * * 2 sat 1 42 * sat 2 46 * sat 2 46 2 sat 0 0 * sat 5 4 * sat 5 4 * sat 2 3 pdtpmsam2901 * uns 4 41 * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 6 52 * uns 6 53 * T * * * uns 17 5 * uns 18 5 * uns 18 5 pdtpmsarbiter * uns 0 4 * ? * * * uns 5 177 * T * * * M * * * M * * * M * * * T * * * uns 0 4 * T * * * uns 0 38 * uns 0 10 * ? * * * uns 1 3 * uns 1 3 * uns 1 2 pdtpmsblackjack * uns 18 25 * T * * * M * * * T * * * uns 0 0 * M * * * M * * * T * * * uns 1 49 * T * * * uns 2 46 * uns 2 45 * ? * * * uns 0 2 * uns 0 2 * uns 0 2 pdtpmsbufferalloc * uns 6 14 * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 1 41 * uns 1 41 * T * * * uns 0 1 * uns 0 1 * uns 0 1 pdtpmscoherence * uns 9 22 * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 2 43 * uns 2 43 * T * * * uns 6 7 * uns 6 7 * uns 6 7 pdtpmseisenberg * uns 24 34 * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 8 54 * uns 8 54 * T * * * uns 7 4 * uns 7 4 * uns 7 4 pdtpmsfpmult * uns 12 20 * ? * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 303 67 * T * * * uns 2 46 * uns 2 46 * T * * * uns 84 12 * uns 84 12 * uns 84 12 pdtpmsgigamax * uns 9 19 * T * * * M * * * T * * * T * * * T * * * M * * * T * * * T * * * T * * * uns 3 44 * uns 3 44 * ? * * * uns 1 2 * uns 1 2 * uns 1 2 pdtpmsgoodbakery * uns 21 40 * T * * * M * * * T * * * T * * * T * * * M * * * T * * * T * * * T * * * uns 3 45 * uns 4 45 * T * * * uns 7 5 * uns 7 5 * uns 7 5 pdtpmsheap * uns 25 23 * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 3 43 * uns 3 43 * T * * * uns 3 4 * uns 3 4 * uns 3 4 pdtpmsmatrix * uns 4 13 * ? * * * M * * * T * * * T * * * M * * * M * * * T * * * uns 1 42 * T * * * uns 1 42 * uns 1 42 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtpmsmiim * uns 0 12 * ? * * * M * * * T * * * T * * * M * * * M * * * T * * * uns 5 59 * T * * * uns 1 41 * uns 1 41 * ? * * * uns 1 2 * uns 1 1 * uns 1 2 pdtpmsns2 * uns 4 33 * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 15 58 * uns 15 58 * T * * * uns 6 4 * uns 6 4 * uns 6 4 pdtpmsns3 * uns 9 48 * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 32 74 * uns 32 74 * T * * * uns 15 6 * uns 15 6 * uns 15 6 pdtpmspalu * uns 4 36 * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 10 59 * uns 10 60 * T * * * uns 6 5 * uns 6 5 * uns 6 5 pdtpmsretherrtf * uns 30 21 * T * * * M * * * T * * * T * * * T * * * M * * * T * * * T * * * T * * * uns 2 41 * uns 2 41 * T * * * uns 2 3 * uns 2 3 * uns 2 3 pdtpmsrethersqo * uns 28 18 * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 1 41 * uns 1 41 * T * * * uns 110 11 * uns 109 11 * uns 109 11 pdtpmsrotate32 * uns 10 22 * ? * * * M * * * uns 1 1 * T * * * T * * 2 uns 6 12 * T * * * uns 37 50 * T * * * uns 2 40 * uns 2 41 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 pdtpmss1269b * uns 0 15 * ? * * * uns 0 6 * uns 0 0 * T * * * M * * 2 uns 0 0 * T * * * uns 1 45 * T * * * uns 2 43 * uns 2 43 * ? * * * uns 1 2 * uns 1 2 * uns 1 2 pdtpmssfeistel * uns 7 96 * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 37 88 * uns 37 88 * T * * * uns 90 11 * uns 90 11 * uns 89 11 pdtpmssyncarb * uns 1 11 * ? * * * M * * * T * * * T * * * M * * * M * * * T * * * uns 4 38 * T * * * uns 1 38 * uns 1 40 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtpmstimeout * uns 7 21 * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 2 42 * uns 2 42 * T * * * uns 132 12 * uns 134 12 * uns 133 12 pdtpmstwo * uns 2 12 * T * * * M * * * T * * * T * * * M * * * M * * * T * * * uns 0 38 * T * * * uns 1 40 * uns 1 40 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtpmsusbphy * uns 0 12 * ? * * * uns 0 0 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 2 47 * T * * * uns 1 40 * uns 1 40 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtpmsvending 0 sat 0 18 0 sat 64 77 * M * * 0 sat 0 0 0 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 0 * sat 128 84 0 sat 1 15 * sat 1 40 * sat 1 40 1 sat 0 0 * sat 4 4 * sat 4 4 * sat 4 4 pdtpmsviper * uns 27 136 * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * pdtpmsvsa16a * S6 * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 75 15 * uns 75 15 * uns 75 15 pdtpmsvsar * S6 * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 15 59 * uns 14 59 * T * * * uns 6 5 * uns 6 5 * uns 6 5 pdtvisbakery0 * uns 21 97 * T * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 28 60 * T * * * T * * * T * * * T * * * T * * * T * * * T * * pdtvisbakery1 * uns 96 97 * T * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 44 61 * T * * * T * * * T * * * T * * * T * * * T * * * T * * pdtvisbakery2 * uns 57 95 * T * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 114 64 * T * * * T * * * T * * * T * * * T * * * T * * * T * * pdtvisbakery3 1 sat 0 18 1 sat 2 70 * M * * 1 sat 1 2 1 sat 0 2 1 sat 0 0 1 sat 0 0 1 sat 0 14 * sat 0 38 1 sat 1 30 * sat 1 40 * sat 1 40 1 sat 0 0 * sat 26 10 * sat 26 10 * sat 25 10 pdtvisblackjack0 * uns 0 4 * ? * * * uns 802 1089 * T * * * uns 0 0 * M * * * M * * * T * * * uns 0 40 * T * * * uns 1 42 * uns 1 40 * ? * * * uns 0 9 * uns 0 9 * uns 0 9 pdtvisblackjack1 * uns 0 4 * ? * * * uns 754 641 * T * * * uns 0 0 * M * * * M * * * T * * * uns 0 40 * T * * * uns 1 40 * uns 1 40 * ? * * * uns 0 3 * uns 0 3 * uns 0 4 pdtvisblackjack2 * uns 0 4 * ? * * * uns 806 745 * T * * * uns 0 2 * M * * * M * * * T * * * uns 0 40 * T * * * uns 1 41 * uns 1 40 * ? * * * uns 0 6 * uns 0 6 * uns 0 5 pdtvisblackjack3 * uns 0 4 * ? * * * T * * * T * * * uns 0 0 * M * * * M * * * T * * * uns 0 39 * T * * * uns 1 39 * uns 1 41 * ? * * * uns 1 6 * uns 1 6 * uns 1 6 pdtvisblackjack4 * uns 0 4 * ? * * * T * * * T * * * uns 0 0 * M * * * M * * * T * * * uns 0 40 * T * * * uns 1 40 * uns 1 40 * ? * * * uns 0 3 * uns 0 3 * uns 0 3 pdtvisbpb0 2 sat 1 24 * T * * * M * * 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 5 * sat 0 38 2 sat 1 35 * sat 1 38 * sat 1 38 2 sat 0 0 * sat 1 2 * sat 1 2 * sat 1 2 pdtvisbpb1 * uns 0 4 * ? * * * uns 0 0 * T * * * M * * * M * * * M * * * T * * * uns 0 36 * T * * * uns 1 38 * uns 1 38 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisbufferalloc * uns 21 57 * T * * * uns 1 24 * T * * * T * * * T * * * T * * * T * * * uns 3 38 * T * * * T * * * T * * * T * * * T * * * T * * * T * * pdtviscoherence0 4 sat 2 32 * T * * * M * * 4 sat 0 2 4 sat 0 0 4 sat 0 0 4 sat 0 6 4 sat 0 11 * sat 0 37 4 sat 1 15 * sat 1 39 * sat 1 34 4 sat 0 0 * sat 4 7 * sat 4 7 * sat 2 5 pdtviscoherence1 12 sat 3 33 * T * * * T * * 10 sat 3 5 10 sat 4 5 10 sat 1 22 10 sat 2 79 10 sat 2 19 * sat 2 41 10 sat 1 39 * sat 114 356 * sat 4 51 10 sat 0 2 * sat 40 74 * sat 76 166 * sat 3 5 pdtviscoherence2 4 sat 2 32 * T * * * M * * 4 sat 0 3 4 sat 0 0 4 sat 0 0 4 sat 0 8 4 sat 0 11 * sat 0 38 4 sat 1 39 * sat 1 39 * sat 1 39 4 sat 0 0 * sat 5 8 * sat 5 7 * sat 4 6 pdtviscoherence3 * uns 71 32 * T * * * uns 66 717 * uns 0 3 * T * * * M * * 6 uns 1 29 * T * * * uns 0 37 * T * * * T * * * uns 105 182 * ? * * * uns 3 5 * uns 3 5 * uns 2 5 pdtviscoherence4 * uns 41 32 * T * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 1 38 * T * * * T * * * uns 287 220 * ? * * * uns 340 1109 * uns 20 54 * uns 26 21 pdtviscoherence5 * uns 17 32 * T * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 1 38 * T * * * T * * * uns 514 206 * ? * * * uns 284 818 * uns 21 52 * uns 24 18 pdtviseisenberg0 * uns 42 55 * T * * * uns 32 353 * T * * * T * * * T * * * T * * * T * * * uns 34 61 * T * * * T * * * uns 354 261 * T * * * T * * * T * * * T * * pdtviseisenberg1 * uns 44 55 * T * * * uns 36 380 * T * * * T * * * T * * * T * * * T * * * uns 32 62 * T * * * uns 855 484 * uns 445 100 * T * * * T * * * T * * * T * * pdtviseisenberg2 * uns 37 54 * T * * * uns 41 374 * T * * * T * * * T * * * T * * * T * * * uns 36 61 * T * * * T * * * uns 210 85 * T * * * T * * * T * * * T * * pdtvisfifos 0 sat 1 26 0 sat 4 94 * M * * 0 sat 0 0 0 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 0 * sat 7 48 0 sat 1 39 * sat 1 40 * sat 1 40 0 sat 0 0 * sat 3 3 * sat 3 3 * sat 3 3 pdtvisgigamax0 * uns 5 21 * ? * * * uns 42 642 * T * * * T * * * M * * * M * * * T * * * uns 0 35 * T * * * uns 13 96 * uns 3 51 * ? * * * uns 24 31 * uns 2 6 * T * * pdtvisgigamax1 * uns 4 21 * ? * * * uns 153 1089 * T * * * T * * * M * * * M * * * T * * * uns 0 34 * T * * * uns 135 61 * uns 23 80 * ? * * * uns 19 28 * uns 2 6 * T * * pdtvisgigamax2 * uns 4 21 * ? * * * uns 41 641 * T * * * T * * * M * * * M * * * T * * * uns 0 35 * T * * * uns 125 63 * uns 14 143 * ? * * * uns 32 30 * uns 2 7 * T * * pdtvisgigamax3 * uns 4 21 * ? * * * uns 36 641 * uns 20 11 * T * * * M * * 26 uns 103 522 * T * * * uns 0 35 * T * * * uns 15 57 * uns 3 52 * T * * * uns 1 4 * uns 1 4 * uns 5 7 pdtvisgigamax4 * uns 3 21 * ? * * * uns 37 641 * uns 24 12 * T * * * M * * 26 uns 100 543 * T * * * uns 0 35 * T * * * uns 9 56 * uns 3 51 * T * * * uns 1 3 * uns 1 4 * uns 6 7 pdtvisgigamax5 * uns 3 21 * ? * * * uns 26 414 * uns 22 11 * T * * * M * * 26 uns 100 544 * T * * * uns 0 35 * T * * * uns 16 56 * uns 2 50 * T * * * uns 1 3 * uns 1 4 * uns 5 7 pdtvisgoodbakery0 * uns 45 98 * T * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 57 64 * T * * * T * * * T * * * T * * * T * * * T * * * T * * pdtvisgoodbakery1 * uns 102 95 * T * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 51 63 * T * * * T * * * T * * * T * * * T * * * T * * * T * * pdtvisgoodbakery2 * uns 118 97 * T * * * M * * * T * * * T * * * T * * * M * * * T * * * uns 49 60 * T * * * T * * * T * * * T * * * T * * * T * * * T * * pdtvisgray0 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 0 22 * T * * * uns 0 10 * uns 0 10 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisgray1 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * M * * * T * * 4 uns 0 1 * T * * * uns 0 21 * T * * * uns 0 9 * uns 0 12 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisheap00 * uns 61 21 * T * * * uns 1 23 * T * * * T * * * T * * * T * * * T * * * uns 4 45 * T * * * T * * * T * * * T * * * uns 459 356 * uns 123 82 * uns 3 6 pdtvisheap01 * uns 1 20 * ? * * * uns 0 0 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 0 35 * T * * * uns 1 39 * uns 1 39 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisheap02 * uns 1 19 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 0 36 * T * * * uns 1 39 * uns 1 39 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 pdtvisheap03 * uns 1 19 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 0 36 * T * * * uns 1 39 * uns 1 39 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 pdtvisheap04 * uns 1 21 * ? * * * uns 0 0 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 0 36 * T * * * uns 1 39 * uns 1 39 * T * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisheap05 * uns 2 21 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 2 * T * * * uns 0 36 * T * * * uns 1 40 * uns 1 40 * T * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisheap06 * uns 1 19 * ? * * * uns 0 0 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 0 36 * T * * * uns 1 39 * uns 1 39 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 pdtvisheap07 * uns 1 19 * ? * * * uns 0 0 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 0 36 * T * * * uns 1 39 * uns 1 39 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 pdtvisheap08 * uns 1 19 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 2 * T * * * uns 0 36 * S11 * * * uns 1 39 * uns 1 39 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 pdtvisheap09 * uns 1 18 * ? * * * uns 0 0 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 0 36 * T * * * uns 1 39 * uns 1 39 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 pdtvisheap10 * uns 1 19 * ? * * * uns 0 0 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 0 35 * T * * * uns 1 39 * uns 1 39 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 pdtvisheap11 * uns 1 19 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 0 36 * T * * * uns 1 39 * uns 1 39 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 pdtvisheap12 * uns 1 19 * ? * * * uns 0 0 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 0 36 * T * * * uns 1 39 * uns 1 39 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 pdtvishuffman0 0 sat 0 0 0 sat 0 0 * sat 0 12 0 sat 0 0 0 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 0 * sat 0 0 0 sat 1 37 * sat 1 39 * sat 1 39 0 sat 0 0 * sat 1 3 * sat 1 3 * sat 1 3 pdtvishuffman1 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * * M * * * M * * * uns 0 0 * uns 1 20 * uns 0 11 * uns 0 11 * uns 0 0 * uns 0 0 * uns 0 0 * uns 0 0 pdtvishuffman2 * uns 0 4 * ? * * * uns 1 21 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 0 35 * T * * * uns 1 40 * uns 1 40 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvishuffman3 * uns 0 4 * ? * * * uns 0 5 * uns 0 0 * M * * * M * * 3 uns 0 3 * T * * * uns 0 0 * T * * * uns 1 39 * uns 1 39 * ? * * * uns 1 6 * uns 1 5 * uns 1 6 pdtvishuffman4 * uns 0 4 * ? * * * uns 0 6 * uns 0 0 * M * * * M * * 5 uns 0 5 * T * * * uns 0 19 * T * * * uns 1 39 * uns 1 39 * ? * * * uns 1 6 * uns 1 3 * uns 1 6 pdtvishuffman5 0 sat 0 0 0 sat 0 0 * sat 0 0 0 sat 0 0 0 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 0 * sat 0 0 0 sat 1 36 * sat 1 39 * sat 0 10 0 sat 0 0 * sat 0 0 * sat 0 0 * sat 0 0 pdtvishuffman6 * uns 0 4 * ? * * * uns 0 0 * uns 0 2 * M * * * M * * 10 uns 0 26 * T * * * uns 0 0 * T * * * uns 1 29 * uns 1 39 * ? * * * uns 0 2 * uns 1 2 * uns 0 2 pdtvishuffman7 5 sat 0 0 5 sat 0 0 * sat 0 10 5 sat 0 0 5 sat 0 0 5 sat 0 0 5 sat 0 7 5 sat 0 9 * sat 0 35 5 sat 1 29 * sat 1 39 * sat 1 39 5 sat 0 0 * sat 8 27 * sat 8 27 * sat 6 12 pdtvismiim0 * uns 0 4 * ? * * * uns 0 0 * T * * * M * * * M * * * M * * * T * * * uns 0 35 * T * * * uns 1 11 * uns 0 15 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvismiim1 * uns 0 4 * ? * * * uns 0 0 * T * * * M * * * M * * * M * * * T * * * uns 0 35 * T * * * uns 1 40 * uns 0 11 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvismiim2 * uns 0 4 * ? * * * uns 0 0 * T * * * M * * * M * * * M * * * T * * * uns 0 35 * T * * * uns 1 40 * uns 1 11 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvismiim3 * uns 0 4 * ? * * * uns 0 0 * T * * * M * * * M * * * M * * * T * * * uns 0 35 * T * * * uns 1 40 * uns 0 11 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvismiim4 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 3 uns 0 3 * T * * * uns 0 35 * T * * * uns 1 11 * uns 0 11 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvismiim5 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 3 uns 0 3 * T * * * uns 0 35 * T * * * uns 0 12 * uns 0 11 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvismiim6 * uns 0 9 * ? * * * uns 0 11 * T * * * T * * * M * * * M * * * T * * * uns 0 35 * T * * * S11 * * * uns 1 51 * ? * * * uns 0 1 * uns 0 1 * uns 4 13 pdtvisminmax0 * uns 1 14 * ? * * * uns 263 22 * uns 0 0 * T * * * T * * 1 uns 0 0 * T * * * uns 3 52 * T * * * uns 0 39 * uns 0 39 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisminmax1 * uns 1 13 * ? * * * uns 260 26 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 4 43 * T * * * uns 0 39 * uns 0 39 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisminmax2 * uns 1 13 * ? * * * uns 118 26 * uns 0 0 * T * * * M * * 2 uns 0 3 * T * * * uns 3 44 * T * * * uns 1 39 * uns 0 39 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 pdtvisminmaxr0 * uns 1 13 * ? * * * uns 34 44 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 0 37 * T * * * uns 0 39 * uns 0 39 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisminmaxr1 * uns 1 13 * ? * * * uns 33 45 * uns 0 0 * T * * * M * * 2 uns 0 3 * T * * * uns 2 40 * T * * * uns 0 38 * uns 1 38 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 pdtvisminmaxr2 * uns 0 10 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * * M * * * T * * * uns 0 11 * uns 0 15 * uns 0 15 * uns 0 26 * uns 0 0 * uns 0 0 * uns 0 0 * uns 0 0 pdtvisminmaxr3 * uns 0 10 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * * M * * * T * * * uns 0 34 * uns 0 15 * uns 0 11 * uns 0 21 * uns 0 0 * uns 0 0 * uns 0 0 * uns 0 0 pdtvisns2p0 * uns 13 41 * T * * * T * * * T * * * T * * * M * * * M * * * T * * * uns 2 46 * T * * * uns 244 219 * T * * * T * * * uns 25 14 * uns 33 18 * uns 30 19 pdtvisns2p1 * uns 40 41 * T * * * T * * * T * * * T * * * T * * * M * * * T * * * uns 11 55 * T * * * T * * * T * * * T * * * uns 269 96 * uns 180 73 * uns 38 19 pdtvisns2p2 * uns 14 40 * T * * * M * * * T * * * T * * * T * * * T * * * T * * * uns 2 44 * T * * * uns 13 63 * uns 22 90 * T * * * uns 106 65 * uns 28 14 * uns 16 15 pdtvisns2p3 * uns 12 40 * T * * * uns 16 177 * uns 0 0 * T * * * T * * 1 uns 0 0 * T * * * uns 1 41 * S11 * * * uns 1 42 * uns 1 42 * T * * * uns 0 1 * uns 0 1 * uns 0 1 pdtvisns2p4 * sat 4 40 0 sat 481 154 * T * * 0 sat 0 0 0 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 0 * sat 1 40 * sat 1 15 * sat 1 38 * sat 1 38 0 sat 0 0 * sat 3 4 * sat 3 4 * sat 3 4 pdtvisns2p5 * uns 1 40 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 1 40 * S6 * * * uns 1 41 * uns 1 41 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 pdtvisns2p6 * uns 1 40 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 1 39 * S6 * * * uns 1 40 * uns 1 40 * ? * * * uns 0 2 * uns 0 1 * uns 0 2 pdtvisns2p7 * uns 3 40 * ? * * * uns 0 0 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 1 40 * T * * * uns 1 42 * uns 1 42 * T * * * uns 0 2 * uns 0 2 * uns 0 0 pdtvisns2p8 * uns 2 40 * ? * * * T * * * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 1 39 * T * * * uns 1 41 * uns 1 41 * T * * * uns 0 1 * uns 0 2 * uns 0 1 pdtvisns3p00 * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * pdtvisns3p01 * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 618 266 * T * * * T * * * T * * * uns 670 145 * T * * pdtvisns3p02 * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * pdtvisns3p03 * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * pdtvisns3p04 * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * pdtvisns3p05 * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * pdtvisns3p06 * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 823 278 * T * * * T * * * T * * * T * * * T * * pdtvisns3p07 * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * pdtvisns3p08 * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 119 132 * uns 147 112 * T * * * T * * * uns 213 38 * uns 379 67 pdtvisns3p09 * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 36 73 * uns 471 378 * T * * * T * * * uns 286 67 * uns 356 67 pdtvisns3p10 * uns 20 58 * T * * * uns 109 353 * uns 0 2 * T * * * M * * 1 uns 0 3 * T * * * uns 1 44 * T * * * uns 2 44 * uns 2 44 * T * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisns3p11 * sat 5 59 * T * * * M * * 0 sat 0 1 0 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 10 * sat 2 46 * sat 1 22 * sat 1 40 * sat 1 40 0 sat 0 0 * sat 10 5 * sat 10 5 * sat 10 5 pdtvisns3p12 * uns 2 59 * ? * * * uns 0 3 * uns 0 1 * M * * * M * * 1 uns 0 0 * T * * * uns 1 44 * S6 * * * uns 2 43 * uns 2 43 * ? * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisns3p13 * uns 2 59 * ? * * * uns 0 3 * uns 0 1 * M * * * M * * 1 uns 0 1 * T * * * uns 1 44 * S6 * * * uns 2 43 * uns 2 43 * ? * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisns3p14 * uns 2 59 * ? * * * uns 0 2 * uns 0 1 * M * * * M * * 1 uns 0 0 * T * * * uns 1 44 * S6 * * * uns 2 43 * uns 2 43 * ? * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisns3p15 * uns 2 59 * ? * * * uns 0 3 * uns 0 1 * M * * * M * * 1 uns 0 0 * T * * * uns 1 44 * S6 * * * uns 2 43 * uns 2 43 * ? * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisns3p16 * uns 4 60 * ? * * * T * * * uns 0 1 * T * * * M * * 1 uns 0 0 * T * * * uns 1 43 * T * * * uns 2 44 * uns 2 44 * T * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisns3p17 * uns 5 59 * ? * * * T * * * uns 0 1 * T * * * M * * 1 uns 0 0 * T * * * uns 1 43 * T * * * uns 2 43 * uns 2 44 * T * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisns3p18 * uns 2 59 * ? * * * T * * * uns 0 1 * T * * * M * * 1 uns 0 1 * T * * * uns 2 45 * T * * * uns 2 44 * uns 2 44 * T * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisns3p19 * uns 7 57 * ? * * * T * * * uns 0 1 * T * * * M * * 1 uns 0 0 * T * * * uns 2 45 * T * * * uns 2 43 * uns 2 43 * T * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvispeterson * uns 5 15 * ? * * * uns 0 0 * uns 13 7 * T * * * M * * 23 uns 18 232 * T * * * uns 0 1 * T * * * uns 38 94 * uns 1 49 * ? * * * uns 1 5 * uns 1 5 * uns 2 4 pdtvisretherrtf0 * uns 0 15 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 0 0 * uns 0 26 * uns 0 38 * uns 0 36 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisretherrtf1 * uns 2 18 * T * * * uns 2 23 * uns 0 0 * T * * * T * * 1 uns 0 0 * T * * * uns 0 37 * T * * * uns 1 39 * uns 1 39 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisretherrtf2 0 sat 0 18 0 sat 76 82 * M * * 0 sat 0 0 0 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 0 * sat 0 37 0 sat 0 10 * sat 0 37 * sat 0 34 0 sat 0 0 * sat 2 2 * sat 2 2 * sat 2 2 pdtvisretherrtf3 0 sat 0 18 0 sat 389 162 * M * * 0 sat 0 0 0 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 0 * sat 0 38 0 sat 0 37 * sat 0 34 * sat 0 29 0 sat 0 0 * sat 3 3 * sat 3 3 * sat 3 3 pdtvisretherrtf4 32 sat 1 18 32 sat 786 240 * sat 23 353 32 sat 15 10 32 sat 4 7 32 sat 12 116 32 sat 42 713 32 sat 8 26 * sat 256 64 32 sat 2 42 * T * * * sat 37 108 32 sat 0 4 * T * * * T * * * sat 8 9 pdtvisrethersqo0 * uns 0 12 * ? * * * uns 0 0 * uns 0 0 * M * * * T * * 1 uns 0 0 * T * * * uns 0 0 * uns 0 16 * uns 0 20 * uns 0 26 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisrethersqo1 * uns 1 16 * ? * * * uns 40 353 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 0 37 * T * * * uns 0 39 * uns 0 39 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisrethersqo2 * sat 1 15 0 sat 134 70 * sat 78 1089 0 sat 0 0 0 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 0 * sat 0 36 0 sat 0 15 * sat 0 12 * sat 0 31 0 sat 0 0 * sat 0 2 * sat 0 2 * sat 0 2 pdtvisrethersqo3 0 sat 1 15 0 sat 292 81 * sat 100 1147 0 sat 0 0 0 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 0 * sat 0 36 0 sat 0 35 * sat 0 26 * sat 0 11 0 sat 0 0 * sat 70 11 * sat 70 11 * sat 70 11 pdtvisrethersqo4 * uns 23 15 * T * * * M * * * T * * * T * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * pdtvissfeistel * uns 32 115 * ? * * * T * * * T * * * T * * * M * * * M * * * T * * * uns 239 70 * T * * * T * * * uns 580 521 * T * * * T * * * T * * * T * * pdtvissoap0 2 sat 4 57 2 sat 520 264 * M * * 2 sat 0 3 2 sat 0 0 2 sat 0 0 2 sat 0 3 2 sat 0 14 * sat 1 48 2 sat 2 40 * sat 2 42 * sat 2 42 2 sat 0 0 * sat 13 8 * sat 13 8 * sat 7 5 pdtvissoap1 * T * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * uns 384 520 * T * * * T * * * T * * * T * * pdtvissoap2 * T * * * T * * * M * * * T * * * T * * * T * * * M * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * * T * * pdtvistictactoe00 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 0 0 * T * * * uns 0 11 * uns 0 11 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvistictactoe01 0 sat 2 18 0 sat 20 55 * sat 4 102 0 sat 0 0 0 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 0 * sat 0 36 0 sat 0 11 * sat 0 11 * sat 0 11 0 sat 0 0 * sat 0 1 * sat 0 1 * sat 0 1 pdtvistictactoe02 0 sat 2 18 0 sat 28 56 * sat 5 104 0 sat 0 0 0 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 0 * sat 0 36 0 sat 0 11 * sat 0 12 * sat 1 39 0 sat 0 0 * sat 0 1 * sat 0 1 * sat 0 1 pdtvistictactoe03 0 sat 1 18 0 sat 22 56 * sat 6 177 0 sat 0 0 0 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 0 * sat 0 37 0 sat 1 38 * sat 1 20 * sat 0 10 0 sat 0 0 * sat 0 0 * sat 0 0 * sat 0 0 pdtvistictactoe04 0 sat 1 18 0 sat 13 56 * sat 6 177 0 sat 0 0 0 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 0 * sat 0 37 0 sat 0 11 * sat 0 14 * sat 0 11 0 sat 0 0 * sat 0 0 * sat 0 0 * sat 0 0 pdtvistictactoe05 0 sat 1 18 0 sat 13 56 * sat 6 177 0 sat 0 0 0 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 0 * sat 0 36 0 sat 0 11 * sat 0 11 * sat 0 11 0 sat 0 0 * sat 0 0 * sat 0 1 * sat 0 1 pdtvistictactoe06 0 sat 0 16 0 sat 22 55 * sat 6 177 0 sat 0 0 0 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 0 * sat 0 37 0 sat 0 10 * sat 0 10 * sat 0 10 0 sat 0 0 * sat 0 0 * sat 0 0 * sat 0 0 pdtvistictactoe07 0 sat 0 18 0 sat 18 56 * sat 4 103 0 sat 0 0 0 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 0 * sat 0 37 0 sat 0 11 * sat 0 11 * sat 0 11 0 sat 0 0 * sat 0 0 * sat 0 0 * sat 0 0 pdtvistictactoe08 0 sat 1 18 0 sat 6 56 * sat 6 177 0 sat 0 0 0 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 0 * sat 0 36 0 sat 0 10 * sat 0 10 * sat 0 10 0 sat 0 0 * sat 0 0 * sat 0 0 * sat 0 0 pdtvistictactoe09 0 sat 0 16 0 sat 22 56 * sat 4 100 0 sat 0 0 0 sat 0 0 1 sat 0 0 1 sat 0 0 * sat 0 0 * sat 0 35 0 sat 0 10 * sat 0 10 * sat 0 10 0 sat 0 0 * sat 0 0 * sat 0 0 * sat 0 0 pdtvistictactoe10 * uns 7 18 * ? * * * uns 43 698 * uns 0 0 * M * * * T * * 2 uns 0 2 * T * * * uns 1 45 * T * * * uns 1 38 * uns 1 38 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 pdtvistictactoe11 * uns 1 18 * ? * * * uns 0 0 * uns 0 0 * M * * * T * * 1 uns 0 0 * T * * * uns 0 35 * uns 0 10 * uns 0 10 * uns 0 10 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvistictactoe12 * uns 1 18 * ? * * * uns 0 0 * uns 0 0 * M * * * T * * 1 uns 0 0 * T * * * uns 0 35 * uns 0 10 * uns 0 10 * uns 0 10 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvistictactoe13 * uns 111 39 * T * * * uns 6 177 * uns 22 7 * T * * * T * * 7 uns 1 21 * T * * * uns 2 42 * T * * * uns 25 57 * uns 14 91 * T * * * uns 4 16 * uns 4 16 * uns 4 6 pdtvistimeout0 * uns 18 41 * T * * * uns 10 52 * T * * * T * * * T * * * T * * * T * * * uns 87 60 * T * * * T * * * T * * * T * * * T * * * T * * * T * * pdtvistimeout1 * uns 1 20 * ? * * * uns 2 45 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 0 35 * T * * * uns 1 34 * uns 1 39 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 pdtvistimeout2 * uns 12 20 * ? * * * uns 3 89 * T * * * T * * * M * * 18 uns 11 165 * T * * * uns 0 36 * T * * * uns 93 68 * uns 3 51 * T * * * uns 0 2 * uns 1 2 * uns 1 2 pdtvistimeout3 * uns 5 20 * ? * * * uns 4 45 * T * * * T * * * T * * * T * * * T * * * uns 1 38 * T * * * T * * * uns 3 53 * ? * * * T * * * uns 467 442 * T * * pdtvistwo0 * uns 0 4 * ? * * * uns 4 99 * uns 0 1 * M * * * M * * 1 uns 0 0 * T * * * uns 0 35 * T * * * uns 0 38 * uns 0 38 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvistwo1 * uns 0 4 * ? * * * uns 1 23 * T * * * M * * * M * * * M * * * T * * * uns 0 34 * T * * * uns 0 24 * uns 0 21 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvistwoall0 * uns 0 4 * ? * * * uns 20 353 * uns 1 1 * M * * * M * * 1 uns 0 3 * T * * * uns 0 35 * T * * * uns 1 40 * uns 1 40 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 pdtvistwoall1 * uns 0 4 * ? * * * M * * * uns 9 1 * M * * * M * * 1 uns 3 5 * T * * * uns 0 35 * T * * * uns 1 39 * uns 1 40 * ? * * * uns 3 2 * uns 3 2 * uns 3 2 pdtvistwoall2 0 sat 0 0 0 sat 0 0 * M * * 0 sat 0 0 0 sat 0 0 1 sat 0 0 1 sat 0 0 * T * * * sat 2 41 0 sat 1 15 * sat 1 38 * sat 1 38 0 sat 0 0 * sat 199 7 * sat 202 7 * sat 195 7 pdtvistwoall3 * uns 0 4 * ? * * * uns 10 200 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 0 35 * T * * * uns 1 18 * uns 1 22 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvending00 * uns 10 16 * ? * * * uns 2 24 * T * * * T * * * T * * 14 uns 8 90 * T * * * uns 1 38 * T * * * uns 178 105 * uns 58 165 * ? * * * uns 12 14 * uns 10 14 * uns 2 4 pdtvisvending01 * uns 29 21 * T * * * uns 1 21 * T * * * T * * * T * * * T * * * T * * * uns 2 40 * T * * * T * * * T * * * T * * * T * * * uns 128 68 * T * * pdtvisvending02 * uns 1 16 * ? * * * uns 4 89 * T * * * T * * * T * * 4 uns 0 4 * T * * * uns 1 37 * T * * * uns 0 15 * uns 0 20 * ? * * * uns 1 3 * uns 1 3 * uns 1 3 pdtvisvending03 * uns 1 16 * ? * * * uns 2 45 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 1 38 * S11 * * * uns 1 39 * uns 1 39 * ? * * * uns 0 1 * uns 0 0 * uns 0 1 pdtvisvending04 * uns 0 15 * ? * * * uns 0 4 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 0 0 * uns 0 11 * uns 0 13 * uns 0 11 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvending05 * uns 13 16 * ? * * * uns 1 12 * uns 757 54 * T * * * T * * 12 uns 2 48 * T * * * uns 1 38 * T * * * uns 95 63 * uns 16 161 * ? * * * uns 10 13 * uns 6 10 * uns 1 2 pdtvisvending06 * uns 1 16 * ? * * * uns 0 13 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 1 37 * T * * * uns 1 38 * uns 1 38 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 pdtvisvending07 * uns 13 16 * ? * * * uns 1 14 * uns 773 58 * T * * * T * * 13 uns 2 59 * T * * * uns 0 36 * T * * * uns 123 62 * uns 12 111 * ? * * * uns 13 13 * uns 7 10 * uns 1 3 pdtvisvending08 * uns 1 16 * ? * * * uns 4 89 * T * * * T * * * M * * 4 uns 0 5 * T * * * uns 1 37 * T * * * uns 1 13 * uns 0 21 * ? * * * uns 1 3 * uns 1 3 * uns 1 3 pdtvisvending09 * uns 0 15 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 0 0 * uns 0 11 * uns 0 18 * uns 0 11 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvending10 * uns 0 15 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 0 0 * uns 0 11 * uns 0 18 * uns 0 17 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsa16a00 * uns 1 17 * ? * * * uns 0 0 * uns 0 3 * M * * * M * * 2 uns 0 11 * T * * * uns 30 61 * T * * * uns 6 51 * uns 7 51 * ? * * * uns 0 2 * uns 0 3 * uns 0 3 pdtvisvsa16a01 * uns 0 18 * ? * * * uns 24 178 * uns 0 3 * T * * * M * * 1 uns 0 5 * T * * * uns 1 43 * uns 19 81 * uns 2 18 * uns 2 18 * ? * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisvsa16a02 * uns 0 9 * ? * * * uns 0 0 * uns 0 2 * M * * * M * * 1 uns 0 5 * T * * * uns 0 35 * T * * * uns 2 18 * uns 2 18 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsa16a03 * uns 1 19 * ? * * * uns 119 692 * uns 0 2 * T * * * M * * 1 uns 0 7 * T * * * uns 18 52 * T * * * uns 7 51 * uns 7 51 * T * * * uns 4 6 * uns 4 6 * uns 4 6 pdtvisvsa16a04 * uns 2 17 * ? * * * uns 3 53 * uns 0 3 * T * * * M * * 2 uns 0 11 * T * * * uns 22 48 * T * * * uns 12 55 * uns 12 55 * T * * * uns 4 5 * uns 4 5 * uns 4 5 pdtvisvsa16a05 * uns 3 28 * ? * * * T * * * uns 0 5 * T * * * M * * 3 uns 0 24 * T * * * uns 332 72 * T * * * uns 19 60 * uns 24 76 * T * * * uns 4 6 * uns 4 6 * uns 4 6 pdtvisvsa16a06 * uns 2 20 * ? * * * T * * * uns 0 3 * T * * * M * * 2 uns 0 15 * T * * * uns 64 70 * T * * * uns 13 54 * uns 13 54 * T * * * uns 4 6 * uns 5 6 * uns 4 6 pdtvisvsa16a07 * uns 3 23 * ? * * * T * * * uns 0 5 * T * * * M * * 3 uns 1 28 * T * * * uns 40 58 * T * * * uns 19 60 * uns 38 135 * T * * * uns 6 6 * uns 6 6 * uns 6 6 pdtvisvsa16a08 * uns 2 20 * ? * * * T * * * uns 0 3 * T * * * M * * 2 uns 0 12 * T * * * uns 59 70 * T * * * uns 11 55 * uns 11 55 * T * * * uns 4 6 * uns 4 6 * uns 4 6 pdtvisvsa16a09 * uns 2 20 * ? * * * T * * * uns 0 3 * T * * * M * * 2 uns 0 15 * T * * * uns 59 70 * T * * * uns 13 55 * uns 13 55 * T * * * uns 4 5 * uns 4 5 * uns 4 5 pdtvisvsa16a10 * uns 3 28 * ? * * * T * * * uns 0 5 * T * * * M * * 3 uns 1 26 * T * * * uns 330 72 * T * * * uns 23 60 * uns 33 84 * T * * * uns 4 6 * uns 4 6 * uns 4 6 pdtvisvsa16a11 * uns 1 17 * ? * * * uns 0 3 * uns 0 2 * M * * * M * * 1 uns 0 5 * T * * * uns 17 54 * T * * * uns 7 51 * uns 7 51 * ? * * * uns 0 3 * uns 0 2 * uns 0 3 pdtvisvsa16a12 * uns 1 18 * ? * * * uns 0 0 * uns 0 3 * T * * * M * * 1 uns 0 5 * T * * * uns 326 68 * T * * * uns 6 51 * uns 6 51 * T * * * uns 0 3 * uns 0 0 * uns 0 0 pdtvisvsa16a13 * uns 1 9 * ? * * * uns 6 97 * uns 0 2 * T * * * M * * 1 uns 0 5 * T * * * uns 59 58 * T * * * uns 5 51 * uns 5 51 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsa16a14 * uns 1 18 * ? * * * uns 0 11 * uns 0 3 * M * * * M * * 1 uns 0 5 * T * * * uns 53 62 * T * * * uns 6 51 * uns 6 51 * ? * * * uns 4 5 * uns 4 5 * uns 4 5 pdtvisvsa16a15 * uns 1 17 * ? * * * uns 0 0 * uns 0 3 * T * * * M * * 1 uns 0 5 * T * * * uns 41 55 * T * * * uns 7 51 * uns 7 51 * T * * * uns 4 6 * uns 4 6 * uns 4 6 pdtvisvsa16a16 * uns 0 9 * ? * * * uns 0 0 * uns 0 2 * M * * * M * * * M * * * M * * * uns 0 35 * uns 2 18 * uns 2 18 * uns 2 18 * uns 0 0 * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsa16a17 * uns 1 17 * ? * * * uns 0 0 * uns 0 2 * M * * * M * * 1 uns 0 5 * T * * * uns 45 53 * T * * * uns 8 51 * uns 8 51 * ? * * * uns 0 3 * uns 0 2 * uns 0 3 pdtvisvsa16a18 * uns 2 19 * ? * * * T * * * uns 0 3 * T * * * M * * 2 uns 0 14 * T * * * uns 397 69 * T * * * uns 11 55 * uns 14 55 * T * * * uns 4 6 * uns 4 6 * uns 4 6 pdtvisvsa16a19 * uns 1 9 * ? * * * uns 86 646 * uns 0 2 * M * * * M * * 1 uns 0 5 * T * * * uns 59 54 * T * * * uns 6 51 * uns 6 51 * ? * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisvsa16a20 * uns 0 9 * ? * * * uns 0 0 * uns 0 2 * M * * * M * * 1 uns 0 5 * T * * * uns 0 35 * T * * * uns 2 41 * uns 2 18 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsa16a21 * uns 1 9 * ? * * * uns 0 0 * uns 0 3 * M * * * M * * 1 uns 0 6 * T * * * uns 37 51 * T * * * uns 7 51 * uns 7 51 * ? * * * uns 0 3 * uns 0 2 * uns 0 2 pdtvisvsa16a22 * uns 1 17 * ? * * * uns 269 1089 * uns 0 2 * M * * * M * * 1 uns 0 5 * T * * * uns 113 62 * T * * * uns 7 51 * uns 6 51 * ? * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisvsa16a23 * uns 0 9 * ? * * * uns 0 11 * uns 0 2 * M * * * M * * 1 uns 0 5 * T * * * uns 147 60 * T * * * uns 6 51 * uns 6 51 * ? * * * uns 0 2 * uns 0 2 * uns 0 3 pdtvisvsa16a24 * uns 0 9 * ? * * * uns 0 0 * uns 0 2 * M * * * M * * 1 uns 0 5 * T * * * uns 26 63 * T * * * uns 5 50 * uns 5 50 * ? * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisvsa16a25 * uns 0 9 * ? * * * uns 0 0 * uns 0 2 * M * * * M * * 1 uns 0 5 * T * * * uns 0 34 * T * * * uns 2 18 * uns 2 18 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsa16a26 * uns 1 9 * ? * * * uns 0 0 * uns 0 2 * M * * * M * * 1 uns 0 5 * T * * * uns 206 69 * T * * * uns 5 50 * uns 5 50 * ? * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisvsa16a27 * uns 3 28 * ? * * * M * * * T * * * T * * * M * * * M * * * T * * * uns 25 54 * T * * * uns 83 144 * uns 19 75 * T * * * uns 4 5 * uns 4 5 * uns 4 5 pdtvisvsa16a29 * T * * * T * * * M * * * uns 5 7 * T * * * M * * 4 uns 8 57 * T * * * T * * * T * * * uns 392 109 * uns 442 145 * T * * * uns 1 2 * uns 1 2 * uns 1 2 pdtvisvsa16a31 * uns 1 18 * ? * * * uns 59 641 * uns 0 2 * M * * * M * * 1 uns 0 8 * T * * * uns 136 55 * T * * * uns 6 52 * uns 6 52 * ? * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisvsar00 * uns 0 9 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 2 uns 0 4 * T * * * uns 2 43 * T * * * uns 1 42 * uns 1 42 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsar01 * uns 0 9 * ? * * * uns 0 0 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 0 20 * uns 8 72 * uns 1 16 * uns 1 15 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsar02 * uns 0 0 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 0 0 * T * * * uns 1 15 * uns 1 17 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsar03 * uns 0 9 * ? * * * uns 1 12 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 0 38 * T * * * uns 1 42 * uns 1 42 * ? * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisvsar04 * uns 0 9 * ? * * * uns 1 24 * uns 0 0 * T * * * M * * 2 uns 0 4 * T * * * uns 1 39 * T * * * uns 1 43 * uns 1 43 * ? * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisvsar05 * uns 1 16 * ? * * * uns 830 48 * uns 0 0 * T * * * M * * 3 uns 0 6 * T * * * uns 1 39 * T * * * uns 2 44 * uns 4 56 * ? * * * uns 0 2 * uns 0 2 * uns 1 2 pdtvisvsar06 * uns 0 9 * ? * * * M * * * uns 0 0 * T * * * M * * 2 uns 0 3 * T * * * uns 0 39 * T * * * uns 1 42 * uns 1 42 * ? * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisvsar07 * uns 1 10 * ? * * * T * * * uns 0 0 * T * * * M * * 3 uns 0 6 * T * * * uns 1 39 * T * * * uns 2 44 * uns 9 61 * ? * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisvsar08 * uns 0 11 * ? * * * M * * * uns 0 0 * T * * * M * * 2 uns 0 4 * T * * * uns 0 39 * T * * * uns 2 42 * uns 2 42 * ? * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisvsar09 * uns 0 9 * ? * * * M * * * uns 0 0 * T * * * M * * 2 uns 0 3 * T * * * uns 0 39 * T * * * uns 1 43 * uns 1 43 * ? * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisvsar10 * uns 1 14 * ? * * * uns 823 47 * uns 0 0 * T * * * M * * 3 uns 0 6 * T * * * uns 1 39 * T * * * uns 1 43 * uns 6 59 * ? * * * uns 1 2 * uns 0 2 * uns 1 2 pdtvisvsar11 * uns 0 9 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 2 44 * T * * * uns 1 42 * uns 1 42 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsar12 * uns 0 9 * ? * * * uns 0 0 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 1 40 * T * * * uns 1 40 * uns 1 40 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsar13 * uns 0 5 * ? * * * uns 0 0 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 1 40 * T * * * uns 1 42 * uns 1 42 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsar14 * uns 0 9 * ? * * * uns 5 45 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 0 38 * T * * * uns 1 42 * uns 1 42 * ? * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisvsar15 * uns 0 9 * ? * * * uns 0 0 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 0 38 * T * * * uns 1 41 * uns 1 41 * ? * * * uns 0 2 * uns 0 2 * uns 0 2 pdtvisvsar16 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * * M * * * M * * * uns 0 0 * uns 1 12 * uns 1 22 * uns 1 16 * uns 0 0 * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsar17 * uns 0 9 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 1 40 * T * * * uns 1 42 * uns 1 42 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsar18 * uns 0 8 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 0 35 * uns 1 15 * uns 1 15 * uns 1 16 * ? * * * uns 1 2 * uns 0 2 * uns 0 2 pdtvisvsar19 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 2 42 * T * * * uns 1 42 * uns 1 42 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsar20 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 0 0 * T * * * uns 1 15 * uns 1 15 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsar21 * uns 0 5 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 1 40 * T * * * uns 1 42 * uns 1 42 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsar22 * uns 0 5 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 2 42 * T * * * uns 1 42 * uns 1 41 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsar23 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 1 39 * T * * * uns 1 41 * uns 1 41 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsar24 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 2 43 * T * * * uns 1 42 * uns 1 41 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsar25 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 0 0 * T * * * uns 1 15 * uns 1 15 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsar26 * uns 0 5 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 0 38 * T * * * uns 1 41 * uns 1 41 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 pdtvisvsar27 * uns 1 18 * ? * * * T * * * T * * * T * * * M * * * M * * * T * * * uns 1 40 * T * * * uns 16 62 * uns 5 56 * ? * * * uns 1 2 * uns 0 2 * uns 0 2 pdtvisvsar29 * ? * * * ? * * * M * * * uns 1 3 * T * * * T * * 4 uns 4 18 * T * * * uns 212 63 * T * * * uns 76 76 * T * * * T * * * uns 0 1 * uns 0 1 * uns 0 1 pdtvisvsar31 * uns 0 8 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * 1 uns 0 0 * T * * * uns 7 46 * T * * * uns 1 42 * uns 1 42 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 prodcellp0 * sat 125 52 85 sat 1 38 * M * * * T * * 85 sat 2 18 85 sat 41 951 * M * * 85 sat 70 48 * T * * 85 sat 33 118 * T * * * T * * 148 sat 0 8 * sat 411 29 * sat 413 29 * sat 401 29 prodcellp0neg * sat 93 50 85 sat 1 38 * M * * * T * * 85 sat 2 18 85 sat 41 927 * M * * 85 sat 70 48 * T * * 85 sat 33 120 * T * * * T * * 148 sat 0 8 * sat 402 29 * sat 404 29 * sat 403 29 prodcellp1 * sat 247 56 127 sat 1 38 * M * * * T * * 127 sat 4 27 * M * * * M * * 127 sat 202 72 * T * * 127 sat 76 160 * T * * * T * * 190 sat 1 11 * sat 425 30 * sat 423 30 * sat 420 30 prodcellp1neg * sat 478 65 127 sat 1 38 * M * * * T * * 127 sat 4 27 * M * * * M * * 127 sat 203 72 * T * * 127 sat 76 159 * T * * * T * * 190 sat 1 11 * sat 449 29 * sat 446 29 * sat 441 29 prodcellp2 * sat 348 63 127 sat 1 38 * M * * * T * * 127 sat 4 27 * M * * * M * * 127 sat 399 72 * T * * 127 sat 76 160 * T * * * T * * 190 sat 1 11 * sat 450 30 * sat 445 30 * sat 442 30 prodcellp2neg 127 sat 79 66 127 sat 1 38 * M * * * T * * 127 sat 4 27 * M * * * M * * 127 sat 201 72 * T * * 127 sat 76 160 * T * * * T * * 190 sat 1 11 * sat 434 30 * sat 435 30 * sat 434 29 prodcellp3 82 sat 109 65 82 sat 1 43 * M * * * T * * 82 sat 2 20 82 sat 54 1118 * M * * 82 sat 75 50 * T * * 82 sat 41 133 * T * * * T * * 145 sat 0 10 * T * * * T * * * T * * prodcellp3neg 82 sat 28 57 82 sat 1 43 * M * * * T * * 82 sat 2 20 82 sat 54 1134 * M * * 82 sat 75 50 * T * * 82 sat 41 133 * T * * * T * * 145 sat 0 8 * sat 878 55 * sat 875 55 * sat 836 38 prodcellp4 82 sat 35 70 82 sat 1 49 * M * * * T * * 82 sat 2 21 82 sat 59 1240 * M * * 82 sat 83 53 * T * * 82 sat 45 135 * T * * * T * * 145 sat 0 10 * T * * * T * * * T * * prodcellp4neg 82 sat 40 173 82 sat 1 49 * M * * * T * * 82 sat 2 21 82 sat 60 1243 * M * * 82 sat 82 53 * T * * 82 sat 45 135 * T * * * T * * 145 sat 0 10 * T * * * T * * * T * * prodconsp0 22 sat 1 18 22 sat 3 52 * M * * 22 sat 7 6 22 sat 7 5 22 sat 8 95 22 sat 19 391 22 sat 5 17 * sat 517 63 22 sat 5 57 * T * * * sat 79 102 22 sat 3 6 * T * * * M * * * sat 2 5 prodconsp0neg 22 sat 1 18 22 sat 6 52 * M * * 22 sat 7 6 22 sat 9 5 22 sat 7 94 22 sat 18 397 22 sat 5 17 * sat 518 63 22 sat 5 57 * sat 887 370 * sat 80 97 22 sat 2 6 * T * * * T * * * sat 2 4 prodconsp1 22 sat 1 17 22 sat 4 52 * M * * 22 sat 7 5 22 sat 10 5 22 sat 8 89 22 sat 18 354 22 sat 5 17 * sat 125 61 22 sat 5 54 * S6 * * * sat 100 202 22 sat 1 4 * M * * * T * * * sat 2 4 prodconsp1negnv 22 sat 1 18 22 sat 3 58 * M * * 22 sat 7 6 22 sat 9 5 22 sat 7 91 22 sat 18 383 22 sat 5 17 * sat 157 62 22 sat 5 56 * T * * * sat 81 102 22 sat 1 5 * T * * * T * * * sat 2 4 prodconsp5 22 sat 1 18 22 sat 9 51 * M * * 22 sat 8 6 22 sat 8 5 22 sat 7 92 22 sat 19 397 22 sat 5 17 * sat 688 67 22 sat 5 57 * T * * * sat 65 99 22 sat 2 5 * T * * * T * * * sat 2 5 prodconsp5neg 22 sat 1 18 22 sat 9 56 * M * * 22 sat 7 6 22 sat 8 5 22 sat 7 90 22 sat 18 395 22 sat 5 17 * sat 68 55 22 sat 5 56 * T * * * sat 70 95 22 sat 2 6 * T * * * M * * * sat 2 5 prodconspold1 22 sat 1 17 22 sat 7 52 * M * * 22 sat 8 6 22 sat 8 5 22 sat 6 83 22 sat 17 356 22 sat 5 16 * sat 37 48 22 sat 5 54 * T * * * sat 74 107 22 sat 2 5 * T * * * T * * * sat 2 4 prodconspold3 22 sat 1 17 22 sat 3 52 * M * * 22 sat 8 6 22 sat 7 5 22 sat 6 81 22 sat 16 358 22 sat 5 16 * sat 581 62 22 sat 5 53 * T * * * sat 68 91 22 sat 2 5 * M * * * T * * * sat 2 4 prodconspold4 22 sat 2 16 22 sat 5 52 * M * * 22 sat 8 6 22 sat 8 4 22 sat 6 85 22 sat 16 355 22 sat 4 16 * sat 229 61 22 sat 5 53 * sat 761 332 * sat 88 143 22 sat 1 4 * T * * * T * * * sat 2 4 ringp0 8 sat 0 0 8 sat 0 15 * sat 1 20 8 sat 0 0 8 sat 0 0 8 sat 0 3 8 sat 0 4 8 sat 0 8 * sat 2 42 8 sat 0 38 * sat 11 54 * sat 1 49 8 sat 0 0 * sat 3 16 * sat 7 44 * sat 0 0 ringp0neg 8 sat 0 0 8 sat 0 13 * sat 1 20 8 sat 0 0 8 sat 0 0 8 sat 0 3 8 sat 0 3 8 sat 0 8 * sat 2 42 8 sat 0 10 * sat 11 57 * sat 1 49 8 sat 0 0 * sat 3 13 * sat 8 39 * sat 0 0 shortp0 3 sat 0 0 3 sat 0 11 * sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 2 3 sat 0 0 3 sat 0 6 * sat 0 34 3 sat 0 23 * sat 0 18 * sat 0 34 3 sat 0 0 * sat 0 0 * sat 0 0 * sat 0 0 shortp0neg 2 sat 0 0 2 sat 0 10 * sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 0 * sat 0 34 2 sat 0 16 * sat 0 32 * sat 0 23 2 sat 0 0 * sat 0 0 * sat 0 0 * sat 0 0 srg5ptimo 3 sat 0 0 3 sat 0 24 * sat 147 1089 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 0 * sat 2 38 3 sat 0 10 * sat 0 40 * sat 0 25 3 sat 0 0 * sat 1 4 * sat 1 4 * sat 0 1 srg5ptimoneg 2 sat 0 0 2 sat 0 23 * sat 109 1089 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 0 2 sat 0 0 * sat 2 39 2 sat 0 19 * sat 0 40 * sat 0 40 2 sat 0 0 * sat 0 1 * sat 0 1 * sat 0 1 srg5ptimonegnv 3 sat 0 0 3 sat 1 24 * sat 146 1089 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 0 3 sat 0 0 * sat 2 38 3 sat 0 21 * sat 0 39 * sat 0 38 3 sat 0 0 * sat 1 2 * sat 1 2 * sat 0 1 texasifetch1p1 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * T * * * T * * 1 uns 0 0 * T * * * uns 0 35 * T * * * uns 0 12 * uns 0 28 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 texasifetch1p2 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 0 35 * T * * * uns 0 17 * uns 0 15 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 texasifetch1p3 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * T * * * T * * 1 uns 0 0 * T * * * uns 0 35 * T * * * uns 0 15 * uns 0 37 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 texasifetch1p4 * uns 0 4 * ? * * * uns 0 0 * uns 0 0 * M * * * M * * * M * * * T * * * uns 0 1 * uns 0 38 * uns 0 15 * uns 0 28 * uns 0 0 * uns 0 0 * uns 0 0 * uns 0 0 texasifetch1p5 20 sat 0 0 20 sat 0 14 * sat 96 198 20 sat 0 3 20 sat 0 0 20 sat 0 5 20 sat 2 80 20 sat 2 19 * sat 0 37 20 sat 1 40 * sat 0 10 * sat 0 28 21 sat 0 0 * sat 4 30 * sat 4 25 * sat 0 0 texasifetch1p8 4 sat 0 0 4 sat 0 13 * sat 1 45 4 sat 0 0 4 sat 0 0 4 sat 0 0 4 sat 0 2 4 sat 0 0 * sat 0 36 4 sat 0 19 * sat 0 19 * sat 0 36 5 sat 0 0 * sat 0 0 * sat 0 0 * sat 0 0 texasparsesysp1 9 sat 0 22 9 sat 4 89 * sat 0 0 9 sat 179 202 9 sat 0 19 9 sat 1 29 9 sat 4 152 9 sat 4 43 * sat 0 36 8 sat 1 35 * sat 1 17 * sat 1 41 9 sat 0 0 * sat 1 10 * sat 1 9 * sat 0 1 texasparsesysp2 * uns 1 22 * ? * * * uns 0 0 * T * * * M * * * M * * 2 uns 0 19 * T * * * uns 0 36 * T * * * uns 1 38 * uns 1 38 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 texasparsesysp3 8 sat 0 22 8 sat 4 86 * sat 0 0 8 sat 34 78 8 sat 0 16 8 sat 1 20 8 sat 3 122 8 sat 4 38 * sat 0 36 7 sat 1 36 * sat 1 17 * sat 1 41 8 sat 0 0 * sat 1 6 * sat 1 5 * sat 0 1 texasparsesysp4 * uns 0 22 * ? * * * uns 0 0 * uns 1 3 * M * * * M * * 1 uns 0 8 * T * * * uns 0 36 * T * * * uns 1 17 * uns 1 41 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 texasPImainp01 * uns 0 20 * ? * * * uns 210 641 * T * * * T * * * M * * * M * * * T * * * uns 0 36 * M * * * uns 2 41 * uns 2 41 * ? * * * uns 2 6 * uns 2 6 * uns 2 6 texasPImainp02 3 sat 0 23 3 sat 10 90 * sat 61 1089 3 sat 0 4 3 sat 0 5 3 sat 0 3 3 sat 0 13 3 sat 0 20 * sat 0 36 3 sat 1 21 * sat 2 40 * sat 2 40 3 sat 0 0 * sat 14 9 * sat 15 10 * sat 14 8 texasPImainp05 * uns 0 20 * ? * * * uns 144 1119 * T * * * T * * * M * * * M * * * T * * * uns 0 36 * M * * * uns 2 40 * uns 2 40 * ? * * * uns 5 8 * uns 5 8 * uns 5 8 texasPImainp08 9 sat 0 23 9 sat 21 91 * sat 34 641 9 sat 2 14 9 sat 0 12 9 sat 0 15 9 sat 3 118 9 sat 2 26 * sat 0 36 9 sat 1 40 * sat 4 55 * sat 2 84 9 sat 0 0 * sat 5 28 * sat 7 38 * sat 3 7 texasPImainp12 * uns 0 19 * ? * * * uns 140 641 * T * * * M * * * M * * * M * * * T * * * uns 0 36 * M * * * uns 2 40 * uns 2 40 * ? * * * uns 0 1 * uns 0 1 * uns 0 1 texasPImainp15 * uns 0 20 * ? * * * M * * * T * * * M * * * M * * * M * * * T * * * uns 0 36 * M * * * uns 1 40 * uns 1 40 * ? * * * uns 1 6 * uns 1 6 * uns 1 6 texastwoprocp1 14 sat 0 14 14 sat 40 50 * M * * 14 sat 1 3 14 sat 0 0 14 sat 0 3 14 sat 1 69 14 sat 1 13 * sat 51 62 14 sat 1 39 * sat 0 39 * sat 0 39 14 sat 0 0 * sat 198 172 * sat 151 217 * sat 1 3 texastwoprocp2 15 sat 0 14 15 sat 31 47 * M * * 15 sat 1 3 15 sat 0 0 15 sat 0 4 15 sat 2 76 15 sat 1 14 * sat 61 62 15 sat 1 39 * sat 0 38 * sat 0 38 15 sat 0 0 * sat 256 195 * sat 288 310 * sat 1 3 texastwoprocp5 14 sat 0 14 14 sat 22 50 * M * * 14 sat 0 3 14 sat 0 0 14 sat 0 3 14 sat 1 66 14 sat 1 13 * sat 27 51 14 sat 1 39 * sat 0 30 * sat 0 38 14 sat 0 0 * sat 167 163 * sat 158 157 * sat 1 3 vis4arbitp1 * uns 6 10 * ? * * * uns 0 12 * T * * * T * * * T * * * M * * * T * * * uns 0 35 * T * * * uns 105 158 * uns 1 79 * T * * * uns 34 53 * uns 201 283 * T * * visarbiter * uns 4 11 * T * * * uns 0 0 * T * * * T * * * T * * * M * * * T * * * uns 0 35 * T * * * uns 4 49 * uns 1 115 * T * * * uns 0 2 * uns 0 2 * uns 0 2 visbakery * sat 11 15 * T * * * sat 0 5 * T * * * T * * * T * * * M * * * T * * * sat 1 39 * T * * * T * * * T * * 59 sat 436 27 * T * * * T * * * T * * viscoherencep1 8 sat 2 24 5 sat 152 106 * sat 28 391 5 sat 0 2 5 sat 0 0 5 sat 0 2 5 sat 0 9 5 sat 0 11 * sat 0 36 5 sat 1 26 * sat 1 39 * sat 1 39 5 sat 0 0 * sat 6 10 * sat 7 10 * sat 2 4 viscoherencep2 * uns 9 24 * ? * * * uns 52 682 * T * * * T * * * T * * * M * * * T * * * uns 0 36 * T * * * uns 7 54 * uns 14 64 * ? * * * uns 2 4 * uns 2 4 * uns 2 4 viscoherencep3 * uns 18 24 * ? * * * uns 50 674 * T * * * T * * * T * * * M * * * T * * * uns 0 36 * T * * * uns 708 400 * uns 48 100 * T * * * uns 373 998 * uns 21 51 * uns 16 14 viscoherencep5 5 sat 1 24 5 sat 100 85 * sat 52 403 5 sat 0 2 5 sat 0 0 5 sat 0 2 5 sat 0 8 5 sat 0 11 * sat 0 36 5 sat 1 20 * sat 4 52 * sat 2 51 5 sat 0 0 * sat 6 8 * sat 8 10 * sat 3 5 viseisenberg 20 sat 1 15 20 sat 17 43 * sat 0 0 20 sat 4 4 20 sat 5 3 20 sat 3 48 20 sat 6 153 20 sat 3 16 * sat 0 36 20 sat 2 40 * sat 346 99 * sat 15 51 20 sat 1 3 * sat 695 242 * sat 683 228 * sat 9 11 viselevatorp1 * uns 1 20 * ? * * * uns 0 0 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 0 35 * T * * * uns 1 39 * uns 0 15 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 viselevatorp2 4 sat 1 20 4 sat 96 66 * M * * 4 sat 0 0 4 sat 0 0 4 sat 0 0 4 sat 0 3 4 sat 0 10 * sat 3 40 4 sat 0 11 * sat 3 90 * sat 2 52 4 sat 0 0 * sat 4 6 * sat 4 6 * sat 3 3 viselevatorp3 * uns 1 20 * ? * * * M * * * T * * * T * * * M * * * M * * * T * * * uns 0 35 * T * * * uns 1 50 * uns 1 51 * T * * * uns 1 2 * uns 1 2 * uns 1 2 visemodel * uns 0 9 * ? * * * uns 0 0 * uns 0 0 * T * * * M * * 1 uns 0 0 * T * * * uns 0 34 * T * * * uns 0 14 * uns 0 14 * ? * * * uns 0 0 * uns 0 0 * uns 0 0 visprodcellp01 * uns 3 40 * ? * * * M * * * uns 0 0 * M * * * M * * 4 uns 0 13 * T * * * uns 2 44 * T * * * uns 2 44 * uns 2 44 * ? * * * uns 31 8 * uns 31 8 * uns 31 8 visprodcellp03 * uns 3 40 * ? * * * M * * * uns 0 0 * M * * * M * * 3 uns 0 4 * T * * * uns 2 44 * T * * * uns 2 44 * uns 2 44 * ? * * * uns 16 6 * uns 16 6 * uns 17 6 visprodcellp07 * sat 4 44 * T * * * M * * 4 sat 0 3 4 sat 0 0 4 sat 0 3 4 sat 0 5 4 sat 0 12 * sat 2 45 4 sat 1 38 * sat 2 44 * sat 2 44 4 sat 0 0 * sat 38 13 * sat 38 13 * sat 33 8 visprodcellp22 * uns 17 40 * ? * * * M * * * uns 379 83 * T * * * M * * * M * * * T * * * uns 2 45 * T * * * T * * * uns 286 223 * T * * * uns 656 35 * uns 657 35 * uns 659 35