ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change
on this file since f1791a4 was
060b12d,
checked in by Aaron Moss <a3moss@…>, 6 years ago
|
Add scatter plots describing instance difficulty
|
-
Property mode set to
100644
|
File size:
13.7 KB
|
Rev | Line | |
---|
[060b12d] | 1 | 2707,2,2,3,205,0,557 |
---|
| 2 | 2718,3,2,5,205,,76 |
---|
| 3 | 2733,2,1,2,206,,13 |
---|
| 4 | 2734,2,2,3,206,0,62 |
---|
| 5 | 2735,2,1,2,58,0,16 |
---|
| 6 | 2736,1,0,1,1,0,2 |
---|
| 7 | 2737,2,2,3,20,0,34 |
---|
| 8 | 2738,2,2,3,206,0,59 |
---|
| 9 | 2750,3,2,5,205,,90 |
---|
| 10 | 2765,2,1,2,206,,15 |
---|
| 11 | 2766,2,2,3,206,0,58 |
---|
| 12 | 2767,2,1,2,58,0,16 |
---|
| 13 | 2768,1,0,1,1,0,2 |
---|
| 14 | 2769,2,2,3,20,0,37 |
---|
| 15 | 2770,2,2,3,206,0,58 |
---|
| 16 | 2779,3,2,5,205,0,690 |
---|
| 17 | 2780,2,2,3,205,0,612 |
---|
| 18 | 2789,3,2,5,205,0,674 |
---|
| 19 | 2790,2,2,3,205,0,626 |
---|
| 20 | 2799,3,2,5,205,0,667 |
---|
| 21 | 2800,2,2,3,205,0,628 |
---|
| 22 | 2809,3,2,5,205,0,663 |
---|
| 23 | 2810,2,2,3,205,0,669 |
---|
| 24 | 2819,3,2,5,205,0,664 |
---|
| 25 | 2820,2,2,3,205,0,618 |
---|
| 26 | 2829,3,2,5,205,0,665 |
---|
| 27 | 2830,2,2,3,205,0,638 |
---|
| 28 | 2840,1,0,1,0,0,3 |
---|
| 29 | 2841,2,2,3,205,0,643 |
---|
| 30 | 2842,2,2,3,205,0,671 |
---|
| 31 | 2843,1,0,1,0,0,2 |
---|
| 32 | 2844,4,2,7,205,0,1088 |
---|
| 33 | 2845,2,2,3,205,0,603 |
---|
| 34 | 2846,2,2,3,205,0,629 |
---|
| 35 | 2847,1,0,1,0,0,2 |
---|
| 36 | 2848,1,0,1,0,0,1 |
---|
| 37 | 2849,2,2,3,10,0,94 |
---|
| 38 | 2850,1,0,1,0,0,2 |
---|
| 39 | 2851,2,2,3,18,0,141 |
---|
| 40 | 2852,2,2,3,18,0,140 |
---|
| 41 | 2853,3,2,5,205,0,862 |
---|
| 42 | 2854,2,2,3,205,0,607 |
---|
| 43 | 2875,1,0,1,0,0,2 |
---|
| 44 | 2876,2,2,3,208,0,83 |
---|
| 45 | 2877,2,2,3,208,0,58 |
---|
| 46 | 2878,2,1,2,208,0,17 |
---|
| 47 | 2879,2,2,3,208,0,80 |
---|
| 48 | 2880,2,1,2,58,0,16 |
---|
| 49 | 2881,1,0,1,0,0,2 |
---|
| 50 | 2882,1,0,1,0,0,1 |
---|
| 51 | 2883,2,2,3,10,0,98 |
---|
| 52 | 2884,1,0,1,0,0,2 |
---|
| 53 | 2885,3,2,5,59,0,44 |
---|
| 54 | 2886,3,2,5,59,0,42 |
---|
| 55 | 2887,3,2,5,208,0,71 |
---|
| 56 | 2888,2,2,3,208,0,59 |
---|
| 57 | 2898,1,0,1,0,0,2 |
---|
| 58 | 2899,2,2,3,205,0,641 |
---|
| 59 | 2900,2,2,3,205,0,620 |
---|
| 60 | 2901,1,0,1,0,0,2 |
---|
| 61 | 2902,4,2,7,205,0,1044 |
---|
| 62 | 2903,2,2,3,205,0,616 |
---|
| 63 | 2904,2,2,3,205,0,650 |
---|
| 64 | 2905,1,0,1,0,0,2 |
---|
| 65 | 2906,1,0,1,0,0,2 |
---|
| 66 | 2907,2,2,3,10,0,97 |
---|
| 67 | 2908,1,0,1,0,0,1 |
---|
| 68 | 2909,2,2,3,18,0,141 |
---|
| 69 | 2910,2,2,3,18,0,142 |
---|
| 70 | 2911,3,2,5,205,0,863 |
---|
| 71 | 2912,2,2,3,205,0,602 |
---|
| 72 | 2921,1,0,1,0,0,2 |
---|
| 73 | 2922,2,2,3,205,0,625 |
---|
| 74 | 2923,2,2,3,205,0,645 |
---|
| 75 | 2924,4,2,7,205,0,1146 |
---|
| 76 | 2925,2,2,3,205,0,631 |
---|
| 77 | 2934,3,2,5,58,0,626 |
---|
| 78 | 2935,2,2,3,205,0,643 |
---|
| 79 | 2936,2,2,3,205,0,647 |
---|
| 80 | 2945,3,2,5,58,0,619 |
---|
| 81 | 2946,2,2,3,205,0,639 |
---|
| 82 | 2947,2,2,3,205,0,634 |
---|
| 83 | 2956,3,2,5,58,0,632 |
---|
| 84 | 2957,2,2,3,205,0,631 |
---|
| 85 | 2958,2,2,3,205,0,662 |
---|
| 86 | 2967,3,2,5,58,0,634 |
---|
| 87 | 2968,2,2,3,205,0,665 |
---|
| 88 | 2969,2,2,3,205,0,651 |
---|
| 89 | 2997,1,0,1,0,0,6 |
---|
| 90 | 2998,2,2,3,205,0,59 |
---|
| 91 | 2999,2,2,3,205,0,59 |
---|
| 92 | 3034,1,0,1,0,0,2 |
---|
| 93 | 3035,1,0,1,0,0,2 |
---|
| 94 | 3036,2,2,3,205,0,59 |
---|
| 95 | 3037,2,2,3,205,0,58 |
---|
| 96 | 3080,1,0,1,0,0,2 |
---|
| 97 | 3081,2,2,3,205,0,59 |
---|
| 98 | 3082,2,2,3,205,0,58 |
---|
| 99 | 3096,2,2,3,58,,3 |
---|
| 100 | 3103,2,2,3,58,,3 |
---|
| 101 | 3131,1,0,1,0,0,3 |
---|
| 102 | 3132,2,2,3,205,0,59 |
---|
| 103 | 3133,2,2,3,205,0,59 |
---|
| 104 | 3147,2,2,3,58,,2 |
---|
| 105 | 3154,2,2,3,58,,3 |
---|
| 106 | 3182,1,0,1,0,0,2 |
---|
| 107 | 3183,2,2,3,205,0,656 |
---|
| 108 | 3184,2,2,3,205,0,687 |
---|
| 109 | 3193,2,2,3,205,0,666 |
---|
| 110 | 3194,1,0,1,0,0,2 |
---|
| 111 | 3195,1,0,1,0,0,1 |
---|
| 112 | 3196,1,0,1,0,0,1 |
---|
| 113 | 3197,2,2,3,205,0,659 |
---|
| 114 | 3198,1,0,1,0,0,2 |
---|
| 115 | 3199,1,0,1,0,0,2 |
---|
| 116 | 3200,1,0,1,0,0,1 |
---|
| 117 | 3210,2,2,3,205,0,659 |
---|
| 118 | 3211,1,0,1,0,0,2 |
---|
| 119 | 3212,1,0,1,0,0,2 |
---|
| 120 | 3213,1,0,1,0,0,2 |
---|
| 121 | 3214,2,2,3,205,0,670 |
---|
| 122 | 3215,1,0,1,0,0,2 |
---|
| 123 | 3216,1,0,1,0,0,2 |
---|
| 124 | 3217,1,0,1,0,0,1 |
---|
| 125 | 3226,2,2,3,205,0,673 |
---|
| 126 | 3227,1,0,1,0,0,2 |
---|
| 127 | 3228,1,0,1,0,0,2 |
---|
| 128 | 3229,1,0,1,0,0,1 |
---|
| 129 | 3230,2,2,3,205,0,688 |
---|
| 130 | 3231,1,0,1,0,0,2 |
---|
| 131 | 3232,1,0,1,0,0,2 |
---|
| 132 | 3233,1,0,1,0,0,1 |
---|
| 133 | 3244,1,0,1,0,0,2 |
---|
| 134 | 3245,1,0,1,0,0,2 |
---|
| 135 | 3246,1,0,1,0,0,2 |
---|
| 136 | 3247,1,0,1,0,0,2 |
---|
| 137 | 3248,1,0,1,0,0,2 |
---|
| 138 | 3249,2,2,3,205,0,670 |
---|
| 139 | 3250,1,0,1,0,0,2 |
---|
| 140 | 3251,1,0,1,0,0,2 |
---|
| 141 | 3252,1,0,1,0,0,2 |
---|
| 142 | 3253,1,0,1,0,0,2 |
---|
| 143 | 3254,2,2,3,205,0,658 |
---|
| 144 | 3255,1,0,1,0,0,2 |
---|
| 145 | 3256,1,0,1,0,0,2 |
---|
| 146 | 3257,1,0,1,0,0,1 |
---|
| 147 | 3258,1,0,1,0,0,1 |
---|
| 148 | 3259,2,2,3,205,0,62 |
---|
| 149 | 3260,2,2,3,205,0,62 |
---|
| 150 | 3270,2,2,3,205,0,663 |
---|
| 151 | 3271,1,0,1,0,0,2 |
---|
| 152 | 3272,1,0,1,0,0,2 |
---|
| 153 | 3273,1,0,1,0,0,9 |
---|
| 154 | 3274,2,2,3,205,0,638 |
---|
| 155 | 3275,1,0,1,0,0,2 |
---|
| 156 | 3276,1,0,1,0,0,2 |
---|
| 157 | 3277,1,0,1,0,0,2 |
---|
| 158 | 3288,2,2,3,205,0,672 |
---|
| 159 | 3289,1,0,1,0,0,2 |
---|
| 160 | 3290,1,0,1,0,0,1 |
---|
| 161 | 3291,1,0,1,0,0,1 |
---|
| 162 | 3292,2,2,3,205,0,663 |
---|
| 163 | 3293,1,0,1,0,0,5 |
---|
| 164 | 3294,1,0,1,0,0,1 |
---|
| 165 | 3295,1,0,1,0,0,2 |
---|
| 166 | 3307,2,2,3,205,0,656 |
---|
| 167 | 3308,1,0,1,0,0,2 |
---|
| 168 | 3309,1,0,1,0,0,1 |
---|
| 169 | 3310,1,0,1,0,0,2 |
---|
| 170 | 3311,2,2,3,205,0,667 |
---|
| 171 | 3312,1,0,1,0,0,2 |
---|
| 172 | 3313,1,0,1,0,0,2 |
---|
| 173 | 3314,1,0,1,0,0,1 |
---|
| 174 | 3327,2,2,3,205,0,660 |
---|
| 175 | 3328,1,0,1,0,0,2 |
---|
| 176 | 3329,1,0,1,0,0,1 |
---|
| 177 | 3330,1,0,1,0,0,2 |
---|
| 178 | 3331,2,2,3,205,0,661 |
---|
| 179 | 3332,1,0,1,0,0,2 |
---|
| 180 | 3333,1,0,1,0,0,1 |
---|
| 181 | 3334,1,0,1,0,0,2 |
---|
| 182 | 3348,2,2,3,205,0,665 |
---|
| 183 | 3349,1,0,1,0,0,5 |
---|
| 184 | 3350,1,0,1,0,0,2 |
---|
| 185 | 3351,1,0,1,0,0,2 |
---|
| 186 | 3352,2,2,3,205,0,661 |
---|
| 187 | 3353,1,0,1,0,0,2 |
---|
| 188 | 3354,1,0,1,0,0,2 |
---|
| 189 | 3355,1,0,1,0,0,2 |
---|
| 190 | 3370,2,2,3,205,0,651 |
---|
| 191 | 3371,1,0,1,0,0,2 |
---|
| 192 | 3372,1,0,1,0,0,1 |
---|
| 193 | 3373,1,0,1,0,0,2 |
---|
| 194 | 3374,2,2,3,205,0,654 |
---|
| 195 | 3375,1,0,1,0,0,2 |
---|
| 196 | 3376,1,0,1,0,0,2 |
---|
| 197 | 3377,1,0,1,0,0,2 |
---|
| 198 | 3393,2,2,3,205,0,651 |
---|
| 199 | 3394,1,0,1,0,0,2 |
---|
| 200 | 3395,1,0,1,0,0,2 |
---|
| 201 | 3396,1,0,1,0,0,2 |
---|
| 202 | 3397,2,2,3,205,0,659 |
---|
| 203 | 3398,1,0,1,0,0,2 |
---|
| 204 | 3399,1,0,1,0,0,2 |
---|
| 205 | 3400,1,0,1,0,0,2 |
---|
| 206 | 3428,1,0,1,0,0,2 |
---|
| 207 | 3429,2,2,3,205,0,60 |
---|
| 208 | 3430,2,2,3,205,0,66 |
---|
| 209 | 3465,1,0,1,0,0,2 |
---|
| 210 | 3466,2,2,3,205,0,666 |
---|
| 211 | 3467,2,2,3,205,0,631 |
---|
| 212 | 3475,2,2,3,205,0,662 |
---|
| 213 | 3476,1,0,1,0,0,2 |
---|
| 214 | 3477,1,0,1,0,0,2 |
---|
| 215 | 3478,1,0,1,0,0,2 |
---|
| 216 | 3487,2,2,3,205,0,673 |
---|
| 217 | 3488,1,0,1,0,0,2 |
---|
| 218 | 3489,1,0,1,0,0,1 |
---|
| 219 | 3490,1,0,1,0,0,2 |
---|
| 220 | 3498,2,2,3,205,0,658 |
---|
| 221 | 3499,1,0,1,0,0,2 |
---|
| 222 | 3500,1,0,1,0,0,2 |
---|
| 223 | 3501,1,0,1,0,0,2 |
---|
| 224 | 3511,2,2,3,205,0,670 |
---|
| 225 | 3512,1,0,1,0,0,2 |
---|
| 226 | 3513,1,0,1,0,0,2 |
---|
| 227 | 3514,1,0,1,0,0,2 |
---|
| 228 | 3515,1,0,1,0,0,1 |
---|
| 229 | 3516,2,2,3,205,0,60 |
---|
| 230 | 3517,2,2,3,205,0,59 |
---|
| 231 | 3526,2,2,3,205,0,659 |
---|
| 232 | 3527,1,0,1,0,0,2 |
---|
| 233 | 3528,1,0,1,0,0,9 |
---|
| 234 | 3529,1,0,1,0,0,1 |
---|
| 235 | 3537,3,2,4,205,0,698 |
---|
| 236 | 3538,2,2,3,205,0,683 |
---|
| 237 | 3546,3,2,4,205,0,708 |
---|
| 238 | 3547,2,2,3,205,0,675 |
---|
| 239 | 3575,1,0,1,0,0,2 |
---|
| 240 | 3576,1,0,1,0,0,2 |
---|
| 241 | 3577,2,2,3,205,0,63 |
---|
| 242 | 3578,2,2,3,205,0,70 |
---|
| 243 | 3621,1,0,1,0,0,3 |
---|
| 244 | 3622,1,0,1,0,0,2 |
---|
| 245 | 3623,1,0,1,0,0,2 |
---|
| 246 | 3624,2,2,3,205,0,62 |
---|
| 247 | 3625,2,2,3,205,0,60 |
---|
| 248 | 3663,1,0,1,0,0,2 |
---|
| 249 | 3678,1,0,1,0,0,2 |
---|
| 250 | 3679,2,2,3,205,0,61 |
---|
| 251 | 3680,2,2,3,205,0,60 |
---|
| 252 | 3688,1,0,1,0,0,2 |
---|
| 253 | 3702,1,0,1,0,0,2 |
---|
| 254 | 3717,1,0,1,0,0,2 |
---|
| 255 | 3718,2,2,3,205,0,60 |
---|
| 256 | 3719,2,2,3,205,0,60 |
---|
| 257 | 3727,1,0,1,0,0,5 |
---|
| 258 | 3755,1,0,1,0,0,2 |
---|
| 259 | 3756,1,0,1,0,0,2 |
---|
| 260 | 3757,2,2,3,205,0,62 |
---|
| 261 | 3758,2,2,3,205,0,59 |
---|
| 262 | 3801,1,0,1,0,0,3 |
---|
| 263 | 3802,1,0,1,0,0,5 |
---|
| 264 | 3803,2,2,3,205,0,60 |
---|
| 265 | 3804,2,2,3,205,0,58 |
---|
| 266 | 3847,1,0,1,0,0,2 |
---|
| 267 | 3848,1,0,1,0,0,1 |
---|
| 268 | 3849,2,2,3,205,0,64 |
---|
| 269 | 3850,2,2,3,205,0,60 |
---|
| 270 | 3873,2,2,3,205,0,672 |
---|
| 271 | 3874,1,0,1,0,0,2 |
---|
| 272 | 3875,1,0,1,0,0,2 |
---|
| 273 | 3876,1,0,1,0,0,2 |
---|
| 274 | 3885,2,2,3,205,0,681 |
---|
| 275 | 3886,1,0,1,0,0,2 |
---|
| 276 | 3887,1,0,1,0,0,2 |
---|
| 277 | 3888,1,0,1,0,0,2 |
---|
| 278 | 3896,2,2,3,205,0,660 |
---|
| 279 | 3897,1,0,1,0,0,2 |
---|
| 280 | 3898,1,0,1,0,0,1 |
---|
| 281 | 3899,1,0,1,0,0,1 |
---|
| 282 | 3909,2,2,3,205,0,678 |
---|
| 283 | 3910,1,0,1,0,0,2 |
---|
| 284 | 3911,1,0,1,0,0,2 |
---|
| 285 | 3912,1,0,1,0,0,2 |
---|
| 286 | 3913,1,0,1,0,0,1 |
---|
| 287 | 3914,2,2,3,205,0,64 |
---|
| 288 | 3915,2,2,3,205,0,58 |
---|
| 289 | 3924,2,2,3,205,0,669 |
---|
| 290 | 3925,1,0,1,0,0,2 |
---|
| 291 | 3926,1,0,1,0,0,2 |
---|
| 292 | 3927,1,0,1,0,0,2 |
---|
| 293 | 3955,1,0,1,0,0,2 |
---|
| 294 | 3956,1,0,1,0,0,1 |
---|
| 295 | 3957,2,2,3,205,0,61 |
---|
| 296 | 3958,2,2,3,205,0,62 |
---|
| 297 | 4001,1,0,1,0,0,2 |
---|
| 298 | 4002,1,0,1,0,0,2 |
---|
| 299 | 4003,2,2,3,205,0,58 |
---|
| 300 | 4004,2,2,3,205,0,59 |
---|
| 301 | 4027,2,2,3,205,0,690 |
---|
| 302 | 4028,1,0,1,0,0,2 |
---|
| 303 | 4029,1,0,1,0,0,2 |
---|
| 304 | 4030,1,0,1,0,0,2 |
---|
| 305 | 4039,2,2,3,205,0,679 |
---|
| 306 | 4040,1,0,1,0,0,2 |
---|
| 307 | 4041,1,0,1,0,0,1 |
---|
| 308 | 4042,1,0,1,0,0,1 |
---|
| 309 | 4050,2,2,3,205,0,674 |
---|
| 310 | 4051,1,0,1,0,0,2 |
---|
| 311 | 4052,1,0,1,0,0,2 |
---|
| 312 | 4053,1,0,1,0,0,2 |
---|
| 313 | 4063,2,2,3,205,0,681 |
---|
| 314 | 4064,1,0,1,0,0,2 |
---|
| 315 | 4065,1,0,1,0,0,2 |
---|
| 316 | 4066,1,0,1,0,0,2 |
---|
| 317 | 4067,1,0,1,0,0,2 |
---|
| 318 | 4068,2,2,3,205,0,60 |
---|
| 319 | 4069,2,2,3,205,0,63 |
---|
| 320 | 4078,2,2,3,205,0,690 |
---|
| 321 | 4079,1,0,1,0,0,1 |
---|
| 322 | 4080,1,0,1,0,0,1 |
---|
| 323 | 4081,1,0,1,0,0,1 |
---|
| 324 | 4095,1,0,1,0,0,1 |
---|
| 325 | 4110,1,0,1,0,0,2 |
---|
| 326 | 4111,2,2,3,205,0,60 |
---|
| 327 | 4112,2,2,3,205,0,58 |
---|
| 328 | 4120,1,0,1,0,0,2 |
---|
| 329 | 4148,1,0,1,0,0,2 |
---|
| 330 | 4149,1,0,1,0,0,2 |
---|
| 331 | 4150,2,2,3,205,0,60 |
---|
| 332 | 4151,2,2,3,205,0,59 |
---|
| 333 | 4194,1,0,1,0,0,2 |
---|
| 334 | 4195,1,0,1,0,0,5 |
---|
| 335 | 4196,1,0,1,0,0,1 |
---|
| 336 | 4197,1,0,1,0,0,1 |
---|
| 337 | 4198,1,0,1,0,0,2 |
---|
| 338 | 4199,1,0,1,0,0,2 |
---|
| 339 | 4200,1,0,1,0,0,2 |
---|
| 340 | 4201,1,0,1,0,0,2 |
---|
| 341 | 4202,2,2,3,205,0,61 |
---|
| 342 | 4203,2,2,3,205,0,62 |
---|
| 343 | 4301,1,0,1,0,0,3 |
---|
| 344 | 4316,1,0,1,0,0,2 |
---|
| 345 | 4317,2,2,3,205,0,69 |
---|
| 346 | 4318,2,2,3,205,0,62 |
---|
| 347 | 4326,1,0,1,0,0,3 |
---|
| 348 | 4340,1,0,1,0,0,2 |
---|
| 349 | 4355,1,0,1,0,0,2 |
---|
| 350 | 4356,2,2,3,205,0,62 |
---|
| 351 | 4357,2,2,3,205,0,61 |
---|
| 352 | 4365,1,0,1,0,0,2 |
---|
| 353 | 4393,1,0,1,0,0,2 |
---|
| 354 | 4394,1,0,1,0,0,2 |
---|
| 355 | 4395,1,0,1,0,0,2 |
---|
| 356 | 4396,1,0,1,0,0,1 |
---|
| 357 | 4397,1,0,1,0,0,2 |
---|
| 358 | 4398,1,0,1,0,0,2 |
---|
| 359 | 4399,1,0,1,0,0,5 |
---|
| 360 | 4400,1,0,1,0,0,1 |
---|
| 361 | 4401,2,2,3,205,0,62 |
---|
| 362 | 4402,2,2,3,205,0,62 |
---|
| 363 | 4500,1,0,1,0,0,3 |
---|
| 364 | 4515,1,0,1,0,0,2 |
---|
| 365 | 4516,2,2,3,205,0,63 |
---|
| 366 | 4517,2,2,3,205,0,59 |
---|
| 367 | 4525,1,0,1,0,0,2 |
---|
| 368 | 4539,1,0,1,0,0,2 |
---|
| 369 | 4554,1,0,1,0,0,2 |
---|
| 370 | 4555,2,2,3,205,0,64 |
---|
| 371 | 4556,2,2,3,205,0,59 |
---|
| 372 | 4564,1,0,1,0,0,2 |
---|
| 373 | 4572,2,2,3,205,0,668 |
---|
| 374 | 4573,1,0,1,0,0,2 |
---|
| 375 | 4574,1,0,1,0,0,2 |
---|
| 376 | 4575,1,0,1,0,0,2 |
---|
| 377 | 4584,2,2,3,205,0,678 |
---|
| 378 | 4585,1,0,1,0,0,1 |
---|
| 379 | 4586,1,0,1,0,0,1 |
---|
| 380 | 4587,1,0,1,0,0,1 |
---|
| 381 | 4595,2,2,3,205,0,658 |
---|
| 382 | 4596,1,0,1,0,0,2 |
---|
| 383 | 4597,1,0,1,0,0,2 |
---|
| 384 | 4598,1,0,1,0,0,1 |
---|
| 385 | 4608,1,0,1,0,0,2 |
---|
| 386 | 4609,1,0,1,0,0,2 |
---|
| 387 | 4610,1,0,1,0,0,2 |
---|
| 388 | 4611,1,0,1,0,0,2 |
---|
| 389 | 4612,1,0,1,0,0,2 |
---|
| 390 | 4613,1,0,1,0,0,2 |
---|
| 391 | 4614,1,0,1,0,0,2 |
---|
| 392 | 4615,1,0,1,0,0,2 |
---|
| 393 | 4616,1,0,1,0,0,2 |
---|
| 394 | 4617,2,2,3,205,0,674 |
---|
| 395 | 4618,1,0,1,0,0,2 |
---|
| 396 | 4619,1,0,1,0,0,1 |
---|
| 397 | 4620,1,0,1,0,0,1 |
---|
| 398 | 4621,1,0,1,0,0,1 |
---|
| 399 | 4622,1,0,1,0,0,2 |
---|
| 400 | 4623,1,0,1,0,0,2 |
---|
| 401 | 4624,2,2,3,205,0,51 |
---|
| 402 | 4625,2,2,3,205,0,52 |
---|
| 403 | 4634,2,2,3,205,0,669 |
---|
| 404 | 4635,1,0,1,0,0,2 |
---|
| 405 | 4636,1,0,1,0,0,2 |
---|
| 406 | 4637,1,0,1,0,0,1 |
---|
| 407 | 4647,2,2,3,205,0,671 |
---|
| 408 | 4648,1,0,1,0,0,2 |
---|
| 409 | 4649,1,0,1,0,0,1 |
---|
| 410 | 4650,1,0,1,0,0,2 |
---|
| 411 | 4661,2,2,3,205,0,669 |
---|
| 412 | 4662,1,0,1,0,0,2 |
---|
| 413 | 4663,1,0,1,0,0,2 |
---|
| 414 | 4664,1,0,1,0,0,1 |
---|
| 415 | 4676,2,2,3,205,0,670 |
---|
| 416 | 4677,1,0,1,0,0,2 |
---|
| 417 | 4678,1,0,1,0,0,1 |
---|
| 418 | 4679,1,0,1,0,0,1 |
---|
| 419 | 4692,2,2,3,205,0,671 |
---|
| 420 | 4693,1,0,1,0,0,2 |
---|
| 421 | 4694,1,0,1,0,0,2 |
---|
| 422 | 4695,1,0,1,0,0,1 |
---|
| 423 | 4709,2,2,3,205,0,685 |
---|
| 424 | 4710,1,0,1,0,0,1 |
---|
| 425 | 4711,1,0,1,0,0,1 |
---|
| 426 | 4712,1,0,1,0,0,1 |
---|
| 427 | 4727,2,2,3,205,0,687 |
---|
| 428 | 4728,1,0,1,0,0,5 |
---|
| 429 | 4729,1,0,1,0,0,2 |
---|
| 430 | 4730,1,0,1,0,0,2 |
---|
| 431 | 4746,2,2,3,205,0,676 |
---|
| 432 | 4747,1,0,1,0,0,1 |
---|
| 433 | 4748,1,0,1,0,0,1 |
---|
| 434 | 4749,1,0,1,0,0,2 |
---|
| 435 | 4766,2,2,3,205,0,692 |
---|
| 436 | 4767,1,0,1,0,0,2 |
---|
| 437 | 4768,1,0,1,0,0,1 |
---|
| 438 | 4769,1,0,1,0,0,2 |
---|
| 439 | 4787,2,2,3,205,0,688 |
---|
| 440 | 4788,1,0,1,0,0,2 |
---|
| 441 | 4789,1,0,1,0,0,2 |
---|
| 442 | 4790,1,0,1,0,0,2 |
---|
| 443 | 4809,2,2,3,205,0,681 |
---|
| 444 | 4810,1,0,1,0,0,2 |
---|
| 445 | 4811,1,0,1,0,0,2 |
---|
| 446 | 4812,1,0,1,0,0,1 |
---|
| 447 | 4832,2,2,3,205,0,681 |
---|
| 448 | 4833,1,0,1,0,0,2 |
---|
| 449 | 4834,1,0,1,0,0,2 |
---|
| 450 | 4835,1,0,1,0,0,2 |
---|
| 451 | 4849,1,0,1,0,0,2 |
---|
| 452 | 4864,1,0,1,0,0,2 |
---|
| 453 | 4865,2,2,3,205,0,61 |
---|
| 454 | 4866,2,2,3,205,0,58 |
---|
| 455 | 4874,1,0,1,0,0,2 |
---|
| 456 | 4888,1,0,1,0,0,2 |
---|
| 457 | 4903,1,0,1,0,0,2 |
---|
| 458 | 4904,2,2,3,205,0,59 |
---|
| 459 | 4905,2,2,3,205,0,58 |
---|
| 460 | 4913,1,0,1,0,0,3 |
---|
| 461 | 4927,1,0,1,0,0,2 |
---|
| 462 | 4942,1,0,1,0,0,2 |
---|
| 463 | 4943,2,2,3,205,0,59 |
---|
| 464 | 4944,2,2,3,205,0,58 |
---|
| 465 | 4952,1,0,1,0,0,5 |
---|
| 466 | 4966,1,0,1,0,0,2 |
---|
| 467 | 4981,1,0,1,0,0,2 |
---|
| 468 | 4982,2,2,3,205,0,59 |
---|
| 469 | 4983,2,2,3,205,0,62 |
---|
| 470 | 4991,1,0,1,0,0,2 |
---|
| 471 | 5019,1,0,1,0,0,5 |
---|
| 472 | 5020,1,0,1,0,0,2 |
---|
| 473 | 5021,1,0,1,0,0,2 |
---|
| 474 | 5022,1,0,1,0,0,2 |
---|
| 475 | 5023,1,0,1,0,0,2 |
---|
| 476 | 5024,1,0,1,0,0,2 |
---|
| 477 | 5025,1,0,1,0,0,2 |
---|
| 478 | 5026,2,2,3,205,0,61 |
---|
| 479 | 5027,2,2,3,205,0,60 |
---|
| 480 | 5106,2,2,3,205,0,696 |
---|
| 481 | 5107,1,0,1,0,0,2 |
---|
| 482 | 5108,1,0,1,0,0,2 |
---|
| 483 | 5109,1,0,1,0,0,2 |
---|
| 484 | 5110,2,2,3,205,0,677 |
---|
| 485 | 5111,1,0,1,0,0,2 |
---|
| 486 | 5112,1,0,1,0,0,2 |
---|
| 487 | 5113,1,0,1,0,0,2 |
---|
| 488 | 5123,2,2,3,205,0,672 |
---|
| 489 | 5124,1,0,1,0,0,4 |
---|
| 490 | 5125,1,0,1,0,0,2 |
---|
| 491 | 5126,1,0,1,0,0,1 |
---|
| 492 | 5127,2,2,3,205,0,687 |
---|
| 493 | 5128,1,0,1,0,0,2 |
---|
| 494 | 5129,1,0,1,0,0,1 |
---|
| 495 | 5130,1,0,1,0,0,1 |
---|
| 496 | 5139,2,2,3,205,0,644 |
---|
| 497 | 5140,1,0,1,0,0,2 |
---|
| 498 | 5141,1,0,1,0,0,2 |
---|
| 499 | 5142,1,0,1,0,0,2 |
---|
| 500 | 5143,2,2,3,205,0,696 |
---|
| 501 | 5144,1,0,1,0,0,2 |
---|
| 502 | 5145,1,0,1,0,0,2 |
---|
| 503 | 5146,1,0,1,0,0,1 |
---|
| 504 | 5157,2,2,3,205,0,684 |
---|
| 505 | 5158,1,0,1,0,0,2 |
---|
| 506 | 5159,1,0,1,0,0,2 |
---|
| 507 | 5160,1,0,1,0,0,1 |
---|
| 508 | 5161,1,0,1,0,0,2 |
---|
| 509 | 5162,2,2,3,205,0,684 |
---|
| 510 | 5163,1,0,1,0,0,2 |
---|
| 511 | 5164,1,0,1,0,0,2 |
---|
| 512 | 5165,1,0,1,0,0,2 |
---|
| 513 | 5166,1,0,1,0,0,2 |
---|
| 514 | 5167,1,0,1,0,0,2 |
---|
| 515 | 5168,1,0,1,0,0,1 |
---|
| 516 | 5169,1,0,1,0,0,2 |
---|
| 517 | 5170,2,2,3,205,0,64 |
---|
| 518 | 5171,2,2,3,205,0,62 |
---|
| 519 | 5181,2,2,3,205,0,658 |
---|
| 520 | 5182,1,0,1,0,0,2 |
---|
| 521 | 5183,1,0,1,0,0,2 |
---|
| 522 | 5184,1,0,1,0,0,2 |
---|
| 523 | 5185,2,2,3,205,0,681 |
---|
| 524 | 5186,1,0,1,0,0,2 |
---|
| 525 | 5187,1,0,1,0,0,2 |
---|
| 526 | 5188,1,0,1,0,0,1 |
---|
| 527 | 5199,2,2,3,205,0,666 |
---|
| 528 | 5200,1,0,1,0,0,1 |
---|
| 529 | 5201,1,0,1,0,0,1 |
---|
| 530 | 5202,1,0,1,0,0,2 |
---|
| 531 | 5203,2,2,3,205,0,693 |
---|
| 532 | 5204,1,0,1,0,0,2 |
---|
| 533 | 5205,1,0,1,0,0,2 |
---|
| 534 | 5206,1,0,1,0,0,1 |
---|
| 535 | 5218,2,2,3,205,0,680 |
---|
| 536 | 5219,1,0,1,0,0,2 |
---|
| 537 | 5220,1,0,1,0,0,2 |
---|
| 538 | 5221,1,0,1,0,0,2 |
---|
| 539 | 5222,2,2,3,205,0,672 |
---|
| 540 | 5223,1,0,1,0,0,2 |
---|
| 541 | 5224,1,0,1,0,0,2 |
---|
| 542 | 5225,1,0,1,0,0,1 |
---|
| 543 | 5238,2,2,3,205,0,654 |
---|
| 544 | 5239,1,0,1,0,0,2 |
---|
| 545 | 5240,1,0,1,0,0,2 |
---|
| 546 | 5241,1,0,1,0,0,2 |
---|
| 547 | 5242,2,2,3,205,0,673 |
---|
| 548 | 5243,1,0,1,0,0,2 |
---|
| 549 | 5244,1,0,1,0,0,2 |
---|
| 550 | 5245,1,0,1,0,0,2 |
---|
| 551 | 5259,2,2,3,205,0,665 |
---|
| 552 | 5260,1,0,1,0,0,2 |
---|
| 553 | 5261,1,0,1,0,0,2 |
---|
| 554 | 5262,1,0,1,0,0,2 |
---|
| 555 | 5263,2,2,3,205,0,671 |
---|
| 556 | 5264,1,0,1,0,0,1 |
---|
| 557 | 5265,1,0,1,0,0,2 |
---|
| 558 | 5266,1,0,1,0,0,1 |
---|
| 559 | 5273,2,2,3,205,0,69 |
---|
| 560 | 5274,2,2,3,205,0,65 |
---|
| 561 | 5282,2,2,3,205,0,70 |
---|
| 562 | 5283,2,2,3,205,0,65 |
---|
| 563 | 5292,2,2,3,205,0,66 |
---|
| 564 | 5293,2,2,3,205,0,69 |
---|
| 565 | 5301,2,2,3,205,0,66 |
---|
| 566 | 5302,2,2,3,205,0,65 |
---|
| 567 | 5310,2,2,3,205,0,65 |
---|
| 568 | 5311,2,2,3,205,0,68 |
---|
| 569 | 5320,3,3,6,205,0,709 |
---|
| 570 | 5321,2,2,3,205,0,656 |
---|
| 571 | 5328,2,2,3,205,0,65 |
---|
| 572 | 5329,2,2,3,205,0,64 |
---|
| 573 | 5338,2,2,3,205,0,66 |
---|
| 574 | 5339,1,0,1,0,0,2 |
---|
| 575 | 5340,2,2,3,205,0,64 |
---|
| 576 | 5341,2,2,3,205,0,64 |
---|
| 577 | 5349,2,2,3,205,0,64 |
---|
| 578 | 5350,2,2,3,205,0,67 |
---|
| 579 | 5360,2,2,3,205,0,66 |
---|
| 580 | 5361,1,0,1,0,0,2 |
---|
| 581 | 5362,2,2,3,205,0,65 |
---|
| 582 | 5363,2,2,3,205,0,63 |
---|
| 583 | 5372,2,2,3,205,0,64 |
---|
| 584 | 5373,2,2,3,205,0,64 |
---|
| 585 | 5381,2,2,3,205,0,64 |
---|
| 586 | 5382,2,2,3,205,0,65 |
---|
| 587 | 5392,2,2,3,205,0,71 |
---|
| 588 | 5393,1,0,1,0,0,2 |
---|
| 589 | 5394,2,2,3,205,0,64 |
---|
| 590 | 5395,2,2,3,205,0,70 |
---|
| 591 | 5404,2,2,3,205,0,66 |
---|
| 592 | 5405,2,2,3,205,0,65 |
---|
| 593 | 5416,1,0,1,0,0,3 |
---|
| 594 | 5417,2,2,3,58,0,42 |
---|
| 595 | 5418,2,2,3,58,0,37 |
---|
| 596 | 5419,2,2,3,205,0,66 |
---|
| 597 | 5420,2,2,3,205,0,64 |
---|
| 598 | 5421,2,2,3,205,0,65 |
---|
| 599 | 5422,2,2,3,205,0,65 |
---|
| 600 | 5431,2,2,3,205,0,64 |
---|
| 601 | 5432,2,2,3,205,0,68 |
---|
| 602 | 5441,2,2,3,205,0,65 |
---|
| 603 | 5442,2,2,3,205,0,65 |
---|
| 604 | 5452,2,2,3,205,0,68 |
---|
| 605 | 5453,2,2,3,205,0,64 |
---|
| 606 | 5463,2,2,3,205,0,65 |
---|
| 607 | 5464,2,2,3,205,0,65 |
---|
| 608 | 5474,2,2,3,205,0,686 |
---|
| 609 | 5475,2,2,3,205,0,682 |
---|
| 610 | 5485,2,2,3,205,0,656 |
---|
| 611 | 5486,2,2,3,205,0,673 |
---|
| 612 | 5496,3,3,6,205,0,715 |
---|
| 613 | 5497,2,2,3,205,0,675 |
---|
| 614 | 5507,3,3,6,205,0,707 |
---|
| 615 | 5508,2,2,3,205,0,678 |
---|
| 616 | 5518,3,3,6,205,0,706 |
---|
| 617 | 5519,2,2,3,205,0,692 |
---|
| 618 | 5529,3,3,6,205,0,710 |
---|
| 619 | 5530,2,2,3,205,0,666 |
---|
| 620 | 5539,3,2,5,205,0,669 |
---|
| 621 | 5540,2,2,3,205,0,663 |
---|
| 622 | 5549,3,2,5,205,0,673 |
---|
| 623 | 5550,2,2,3,205,0,685 |
---|
| 624 | 5559,3,2,5,205,0,680 |
---|
| 625 | 5560,2,2,3,205,0,675 |
---|
| 626 | 5568,2,2,3,205,0,686 |
---|
| 627 | 5569,2,2,3,205,0,692 |
---|
| 628 | 5577,2,2,3,205,0,681 |
---|
| 629 | 5578,2,2,3,205,0,682 |
---|
| 630 | 5586,3,3,6,205,,78 |
---|
| 631 | 5587,2,2,3,205,0,670 |
---|
| 632 | 5595,3,3,6,205,,75 |
---|
| 633 | 5596,2,2,3,205,0,676 |
---|
| 634 | 5604,3,3,6,205,,75 |
---|
| 635 | 5605,2,2,3,205,0,679 |
---|
| 636 | 5613,3,3,6,205,,76 |
---|
| 637 | 5614,2,2,3,205,0,673 |
---|
| 638 | 5622,3,2,5,205,,62 |
---|
| 639 | 5623,2,2,3,205,0,681 |
---|
| 640 | 5631,3,2,5,205,,53 |
---|
| 641 | 5632,2,2,3,205,0,663 |
---|
| 642 | 5640,3,2,5,205,,55 |
---|
| 643 | 5641,2,2,3,205,0,666 |
---|
| 644 | 5649,3,2,5,205,,109 |
---|
| 645 | 5650,2,2,3,205,0,690 |
---|
| 646 | 5658,3,2,5,205,,105 |
---|
| 647 | 5659,2,2,3,205,0,670 |
---|
| 648 | 5667,3,2,5,205,,100 |
---|
| 649 | 5668,2,2,3,205,0,673 |
---|
| 650 | 5677,1,0,1,0,0,2 |
---|
| 651 | 5678,2,4,5,58,,93 |
---|
| 652 | 5679,5,2,9,205,0,1451 |
---|
| 653 | 5680,2,2,3,205,0,682 |
---|
| 654 | 5688,1,0,1,0,0,2 |
---|
| 655 | 5689,3,2,5,205,0,772 |
---|
| 656 | 5690,2,2,3,205,0,690 |
---|
| 657 | 5691,3,2,5,205,0,769 |
---|
| 658 | 5692,2,2,3,205,0,679 |
---|
| 659 | 5699,2,2,3,205,0,681 |
---|
| 660 | 5700,2,2,3,205,0,679 |
---|
| 661 | 5709,1,0,1,0,0,2 |
---|
| 662 | 5710,2,4,5,58,,75 |
---|
| 663 | 5711,5,2,9,205,0,1237 |
---|
| 664 | 5712,2,2,3,205,0,608 |
---|
| 665 | 5720,3,2,5,205,0,774 |
---|
| 666 | 5721,2,2,3,205,0,643 |
---|
| 667 | 5728,2,2,3,205,0,634 |
---|
| 668 | 5729,2,2,3,205,0,634 |
---|
| 669 | 5737,3,2,4,205,0,708 |
---|
| 670 | 5738,2,2,3,205,0,636 |
---|
| 671 | 5747,3,2,5,205,0,726 |
---|
| 672 | 5748,2,2,3,205,0,635 |
---|
| 673 | 5755,2,2,3,205,0,646 |
---|
| 674 | 5756,2,2,3,205,0,638 |
---|
| 675 | 5764,3,2,4,205,0,712 |
---|
| 676 | 5765,2,2,3,205,0,645 |
---|
| 677 | 5774,3,2,5,205,0,745 |
---|
| 678 | 5775,2,2,3,205,0,654 |
---|
| 679 | 5782,2,2,3,205,0,650 |
---|
| 680 | 5783,2,2,3,205,0,667 |
---|
| 681 | 5791,3,2,4,205,0,713 |
---|
| 682 | 5792,2,2,3,205,0,637 |
---|
| 683 | 5801,3,2,5,205,0,744 |
---|
| 684 | 5802,2,2,3,205,0,649 |
---|
| 685 | 5810,3,2,4,205,0,1402 |
---|
| 686 | 5811,2,2,3,205,0,640 |
---|
| 687 | 5819,3,2,4,205,0,680 |
---|
| 688 | 5820,2,2,3,205,0,662 |
---|
| 689 | 5828,3,2,4,205,0,673 |
---|
| 690 | 5829,2,2,3,205,0,647 |
---|
| 691 | 5837,3,2,4,205,0,679 |
---|
| 692 | 5838,2,2,3,205,0,653 |
---|
| 693 | 5846,3,2,4,205,0,671 |
---|
| 694 | 5847,2,2,3,205,0,654 |
---|
| 695 | 5855,3,2,4,205,0,677 |
---|
| 696 | 5856,2,2,3,205,0,665 |
---|
| 697 | 5864,3,2,4,205,0,671 |
---|
| 698 | 5865,2,2,3,205,0,646 |
---|
| 699 | 5873,3,2,4,205,0,675 |
---|
| 700 | 5874,2,2,3,205,0,653 |
---|
| 701 | 5882,3,2,4,205,0,674 |
---|
| 702 | 5883,2,2,3,205,0,661 |
---|
| 703 | 5900,3,3,6,207,0,94 |
---|
| 704 | 5901,2,2,3,207,0,58 |
---|
| 705 | 5918,3,3,6,207,0,93 |
---|
| 706 | 5919,2,2,3,207,0,58 |
---|
| 707 | 5939,4,2,7,207,0,107 |
---|
| 708 | 5940,2,2,3,207,0,62 |
---|
| 709 | 5955,2,1,2,207,0,17 |
---|
| 710 | 5956,2,2,3,207,0,58 |
---|
| 711 | 5957,2,1,2,58,0,16 |
---|
| 712 | 5958,1,0,1,1,0,3 |
---|
| 713 | 5959,2,2,3,59,0,31 |
---|
| 714 | 5960,2,2,3,59,0,32 |
---|
| 715 | 5969,8,2,17,57,152,85286 |
---|
| 716 | 5970,7,2,15,57,131,52816 |
---|
| 717 | 5971,7,2,15,57,131,51016 |
---|
| 718 | 5972,7,2,15,57,131,44675 |
---|
| 719 | 5973,7,2,15,57,131,42407 |
---|
| 720 | 5974,7,2,15,57,131,41533 |
---|
| 721 | 5975,7,2,15,57,131,41008 |
---|
| 722 | 5976,7,2,15,57,131,41119 |
---|
| 723 | 5977,7,2,15,57,131,41184 |
---|
| 724 | 5978,7,2,15,57,131,41506 |
---|
| 725 | 5979,2,2,3,57,21,2831 |
---|
| 726 | 5980,8,2,17,57,152,64050 |
---|
| 727 | 5981,7,2,15,57,131,43331 |
---|
| 728 | 5982,7,2,15,57,131,41802 |
---|
| 729 | 5983,7,2,15,57,131,42325 |
---|
| 730 | 5984,7,2,15,57,131,42082 |
---|
| 731 | 5985,7,2,15,57,131,41917 |
---|
| 732 | 5986,7,2,15,57,131,42045 |
---|
| 733 | 5987,7,2,15,57,131,42216 |
---|
| 734 | 5988,7,2,15,57,131,42212 |
---|
| 735 | 5989,7,2,15,57,131,42601 |
---|
| 736 | 5990,2,2,3,205,0,724 |
---|
| 737 | 5991,2,2,3,205,0,671 |
---|
| 738 | 5999,3,2,5,205,0,925 |
---|
| 739 | 6000,2,2,3,205,0,685 |
---|
| 740 | 6009,3,2,5,205,0,924 |
---|
| 741 | 6010,2,2,3,205,0,690 |
---|
Note: See
TracBrowser
for help on using the repository browser.