ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
Last change
on this file since d2b5d2d 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.5 KB
|
| Line | |
|---|
| 1 | 3025,2,2,3,87,0,277 |
|---|
| 2 | 3026,2,2,3,87,0,257 |
|---|
| 3 | 3027,2,2,3,87,0,285 |
|---|
| 4 | 3028,2,2,3,87,0,282 |
|---|
| 5 | 3029,2,2,3,87,0,312 |
|---|
| 6 | 3030,2,2,3,87,0,285 |
|---|
| 7 | 3031,2,2,3,87,0,286 |
|---|
| 8 | 3042,3,2,5,87,,70 |
|---|
| 9 | 3057,2,1,2,88,,13 |
|---|
| 10 | 3058,2,2,3,88,0,33 |
|---|
| 11 | 3059,2,1,2,32,0,13 |
|---|
| 12 | 3060,1,0,1,1,0,3 |
|---|
| 13 | 3061,2,2,3,20,0,36 |
|---|
| 14 | 3062,2,2,3,88,0,32 |
|---|
| 15 | 3074,3,2,5,87,,66 |
|---|
| 16 | 3089,2,1,2,88,,12 |
|---|
| 17 | 3090,2,2,3,88,0,32 |
|---|
| 18 | 3091,2,1,2,32,0,13 |
|---|
| 19 | 3092,1,0,1,1,0,2 |
|---|
| 20 | 3093,2,2,3,20,0,39 |
|---|
| 21 | 3094,2,2,3,88,0,33 |
|---|
| 22 | 3103,3,2,5,87,0,346 |
|---|
| 23 | 3104,2,2,3,87,0,292 |
|---|
| 24 | 3113,3,2,5,87,0,420 |
|---|
| 25 | 3114,2,2,3,87,0,301 |
|---|
| 26 | 3123,3,2,5,87,0,337 |
|---|
| 27 | 3124,2,2,3,87,0,296 |
|---|
| 28 | 3133,3,2,5,87,0,338 |
|---|
| 29 | 3134,2,2,3,87,0,312 |
|---|
| 30 | 3143,3,2,5,87,0,339 |
|---|
| 31 | 3144,2,2,3,87,0,296 |
|---|
| 32 | 3153,3,2,5,87,0,340 |
|---|
| 33 | 3154,2,2,3,87,0,296 |
|---|
| 34 | 3164,1,0,1,0,0,2 |
|---|
| 35 | 3165,2,2,3,87,0,303 |
|---|
| 36 | 3166,2,2,3,87,0,299 |
|---|
| 37 | 3167,1,0,1,0,0,3 |
|---|
| 38 | 3168,4,2,7,87,0,788 |
|---|
| 39 | 3169,2,2,3,87,0,293 |
|---|
| 40 | 3170,2,2,3,87,0,293 |
|---|
| 41 | 3171,1,0,1,0,0,2 |
|---|
| 42 | 3172,1,0,1,0,0,2 |
|---|
| 43 | 3173,2,2,3,10,0,98 |
|---|
| 44 | 3174,1,0,1,0,0,2 |
|---|
| 45 | 3175,2,2,3,18,0,144 |
|---|
| 46 | 3176,2,2,3,18,0,142 |
|---|
| 47 | 3177,3,2,5,87,0,546 |
|---|
| 48 | 3178,2,2,3,87,0,302 |
|---|
| 49 | 3199,1,0,1,0,0,2 |
|---|
| 50 | 3200,2,2,3,90,0,57 |
|---|
| 51 | 3201,2,2,3,90,0,32 |
|---|
| 52 | 3202,2,1,2,90,0,14 |
|---|
| 53 | 3203,2,2,3,90,0,56 |
|---|
| 54 | 3204,2,1,2,32,0,13 |
|---|
| 55 | 3205,1,0,1,0,0,2 |
|---|
| 56 | 3206,1,0,1,0,0,1 |
|---|
| 57 | 3207,2,2,3,10,0,101 |
|---|
| 58 | 3208,1,0,1,0,0,2 |
|---|
| 59 | 3209,3,2,5,33,0,37 |
|---|
| 60 | 3210,3,2,5,33,0,35 |
|---|
| 61 | 3211,3,2,5,90,0,45 |
|---|
| 62 | 3212,2,2,3,90,0,32 |
|---|
| 63 | 3222,1,0,1,0,0,3 |
|---|
| 64 | 3223,2,2,3,87,0,301 |
|---|
| 65 | 3224,2,2,3,87,0,294 |
|---|
| 66 | 3225,1,0,1,0,0,2 |
|---|
| 67 | 3226,4,2,7,87,0,725 |
|---|
| 68 | 3227,2,2,3,87,0,296 |
|---|
| 69 | 3228,2,2,3,87,0,304 |
|---|
| 70 | 3229,1,0,1,0,0,2 |
|---|
| 71 | 3230,1,0,1,0,0,2 |
|---|
| 72 | 3231,2,2,3,10,0,99 |
|---|
| 73 | 3232,1,0,1,0,0,2 |
|---|
| 74 | 3233,2,2,3,18,0,144 |
|---|
| 75 | 3234,2,2,3,18,0,145 |
|---|
| 76 | 3235,3,2,5,87,0,570 |
|---|
| 77 | 3236,2,2,3,87,0,296 |
|---|
| 78 | 3245,1,0,1,0,0,3 |
|---|
| 79 | 3246,2,2,3,87,0,293 |
|---|
| 80 | 3247,2,2,3,87,0,293 |
|---|
| 81 | 3248,4,2,7,87,0,881 |
|---|
| 82 | 3249,2,2,3,87,0,311 |
|---|
| 83 | 3258,3,2,5,32,0,539 |
|---|
| 84 | 3259,2,2,3,87,0,307 |
|---|
| 85 | 3260,2,2,3,87,0,298 |
|---|
| 86 | 3269,3,2,5,32,0,553 |
|---|
| 87 | 3270,2,2,3,87,0,305 |
|---|
| 88 | 3271,2,2,3,87,0,301 |
|---|
| 89 | 3280,3,2,5,32,0,543 |
|---|
| 90 | 3281,2,2,3,87,0,304 |
|---|
| 91 | 3282,2,2,3,87,0,300 |
|---|
| 92 | 3291,3,2,5,32,0,546 |
|---|
| 93 | 3292,2,2,3,87,0,312 |
|---|
| 94 | 3293,2,2,3,87,0,303 |
|---|
| 95 | 3321,1,0,1,0,0,2 |
|---|
| 96 | 3322,2,2,3,87,0,33 |
|---|
| 97 | 3323,2,2,3,87,0,31 |
|---|
| 98 | 3358,1,0,1,0,0,2 |
|---|
| 99 | 3359,1,0,1,0,0,2 |
|---|
| 100 | 3360,2,2,3,87,0,33 |
|---|
| 101 | 3361,2,2,3,87,0,32 |
|---|
| 102 | 3404,1,0,1,0,0,2 |
|---|
| 103 | 3405,2,2,3,87,0,33 |
|---|
| 104 | 3406,2,2,3,87,0,32 |
|---|
| 105 | 3420,2,2,3,32,,3 |
|---|
| 106 | 3427,2,2,3,32,,2 |
|---|
| 107 | 3455,1,0,1,0,0,2 |
|---|
| 108 | 3456,2,2,3,87,0,33 |
|---|
| 109 | 3457,2,2,3,87,0,32 |
|---|
| 110 | 3471,2,2,3,32,,2 |
|---|
| 111 | 3478,2,2,3,32,,2 |
|---|
| 112 | 3506,1,0,1,0,0,2 |
|---|
| 113 | 3507,2,2,3,87,0,323 |
|---|
| 114 | 3508,2,2,3,87,0,312 |
|---|
| 115 | 3517,2,2,3,87,0,316 |
|---|
| 116 | 3518,1,0,1,0,0,3 |
|---|
| 117 | 3519,1,0,1,0,0,2 |
|---|
| 118 | 3520,1,0,1,0,0,2 |
|---|
| 119 | 3521,2,2,3,87,0,313 |
|---|
| 120 | 3522,1,0,1,0,0,2 |
|---|
| 121 | 3523,1,0,1,0,0,2 |
|---|
| 122 | 3524,1,0,1,0,0,1 |
|---|
| 123 | 3534,2,2,3,87,0,312 |
|---|
| 124 | 3535,1,0,1,0,0,3 |
|---|
| 125 | 3536,1,0,1,0,0,2 |
|---|
| 126 | 3537,1,0,1,0,0,2 |
|---|
| 127 | 3538,2,2,3,87,0,310 |
|---|
| 128 | 3539,1,0,1,0,0,2 |
|---|
| 129 | 3540,1,0,1,0,0,1 |
|---|
| 130 | 3541,1,0,1,0,0,2 |
|---|
| 131 | 3550,2,2,3,87,0,316 |
|---|
| 132 | 3551,1,0,1,0,0,2 |
|---|
| 133 | 3552,1,0,1,0,0,2 |
|---|
| 134 | 3553,1,0,1,0,0,2 |
|---|
| 135 | 3554,2,2,3,87,0,321 |
|---|
| 136 | 3555,1,0,1,0,0,2 |
|---|
| 137 | 3556,1,0,1,0,0,5 |
|---|
| 138 | 3557,1,0,1,0,0,2 |
|---|
| 139 | 3568,1,0,1,0,0,2 |
|---|
| 140 | 3569,1,0,1,0,0,2 |
|---|
| 141 | 3570,1,0,1,0,0,2 |
|---|
| 142 | 3571,1,0,1,0,0,2 |
|---|
| 143 | 3572,1,0,1,0,0,2 |
|---|
| 144 | 3573,2,2,3,87,0,318 |
|---|
| 145 | 3574,1,0,1,0,0,2 |
|---|
| 146 | 3575,1,0,1,0,0,2 |
|---|
| 147 | 3576,1,0,1,0,0,1 |
|---|
| 148 | 3577,1,0,1,0,0,1 |
|---|
| 149 | 3578,2,2,3,87,0,312 |
|---|
| 150 | 3579,1,0,1,0,0,2 |
|---|
| 151 | 3580,1,0,1,0,0,2 |
|---|
| 152 | 3581,1,0,1,0,0,2 |
|---|
| 153 | 3582,1,0,1,0,0,1 |
|---|
| 154 | 3583,2,2,3,87,0,35 |
|---|
| 155 | 3584,2,2,3,87,0,35 |
|---|
| 156 | 3594,2,2,3,87,0,310 |
|---|
| 157 | 3595,1,0,1,0,0,3 |
|---|
| 158 | 3596,1,0,1,0,0,2 |
|---|
| 159 | 3597,1,0,1,0,0,2 |
|---|
| 160 | 3598,2,2,3,87,0,317 |
|---|
| 161 | 3599,1,0,1,0,0,2 |
|---|
| 162 | 3600,1,0,1,0,0,2 |
|---|
| 163 | 3601,1,0,1,0,0,2 |
|---|
| 164 | 3612,2,2,3,87,0,309 |
|---|
| 165 | 3613,1,0,1,0,0,2 |
|---|
| 166 | 3614,1,0,1,0,0,2 |
|---|
| 167 | 3615,1,0,1,0,0,2 |
|---|
| 168 | 3616,2,2,3,87,0,310 |
|---|
| 169 | 3617,1,0,1,0,0,2 |
|---|
| 170 | 3618,1,0,1,0,0,2 |
|---|
| 171 | 3619,1,0,1,0,0,2 |
|---|
| 172 | 3631,2,2,3,87,0,312 |
|---|
| 173 | 3632,1,0,1,0,0,2 |
|---|
| 174 | 3633,1,0,1,0,0,2 |
|---|
| 175 | 3634,1,0,1,0,0,2 |
|---|
| 176 | 3635,2,2,3,87,0,308 |
|---|
| 177 | 3636,1,0,1,0,0,2 |
|---|
| 178 | 3637,1,0,1,0,0,2 |
|---|
| 179 | 3638,1,0,1,0,0,1 |
|---|
| 180 | 3651,2,2,3,87,0,311 |
|---|
| 181 | 3652,1,0,1,0,0,2 |
|---|
| 182 | 3653,1,0,1,0,0,1 |
|---|
| 183 | 3654,1,0,1,0,0,2 |
|---|
| 184 | 3655,2,2,3,87,0,309 |
|---|
| 185 | 3656,1,0,1,0,0,2 |
|---|
| 186 | 3657,1,0,1,0,0,2 |
|---|
| 187 | 3658,1,0,1,0,0,2 |
|---|
| 188 | 3672,2,2,3,87,0,312 |
|---|
| 189 | 3673,1,0,1,0,0,2 |
|---|
| 190 | 3674,1,0,1,0,0,2 |
|---|
| 191 | 3675,1,0,1,0,0,2 |
|---|
| 192 | 3676,2,2,3,87,0,309 |
|---|
| 193 | 3677,1,0,1,0,0,2 |
|---|
| 194 | 3678,1,0,1,0,0,2 |
|---|
| 195 | 3679,1,0,1,0,0,1 |
|---|
| 196 | 3694,2,2,3,87,0,319 |
|---|
| 197 | 3695,1,0,1,0,0,2 |
|---|
| 198 | 3696,1,0,1,0,0,2 |
|---|
| 199 | 3697,1,0,1,0,0,2 |
|---|
| 200 | 3698,2,2,3,87,0,309 |
|---|
| 201 | 3699,1,0,1,0,0,2 |
|---|
| 202 | 3700,1,0,1,0,0,2 |
|---|
| 203 | 3701,1,0,1,0,0,2 |
|---|
| 204 | 3717,2,2,3,87,0,311 |
|---|
| 205 | 3718,1,0,1,0,0,2 |
|---|
| 206 | 3719,1,0,1,0,0,2 |
|---|
| 207 | 3720,1,0,1,0,0,2 |
|---|
| 208 | 3721,2,2,3,87,0,311 |
|---|
| 209 | 3722,1,0,1,0,0,2 |
|---|
| 210 | 3723,1,0,1,0,0,2 |
|---|
| 211 | 3724,1,0,1,0,0,2 |
|---|
| 212 | 3752,1,0,1,0,0,2 |
|---|
| 213 | 3753,2,2,3,87,0,34 |
|---|
| 214 | 3754,2,2,3,87,0,33 |
|---|
| 215 | 3789,1,0,1,0,0,2 |
|---|
| 216 | 3790,2,2,3,87,0,310 |
|---|
| 217 | 3791,2,2,3,87,0,306 |
|---|
| 218 | 3819,1,0,1,0,0,2 |
|---|
| 219 | 3820,2,2,3,87,0,311 |
|---|
| 220 | 3821,2,2,3,87,0,307 |
|---|
| 221 | 3849,1,0,1,0,0,2 |
|---|
| 222 | 3850,1,0,1,0,0,2 |
|---|
| 223 | 3851,1,0,1,0,0,1 |
|---|
| 224 | 3852,1,0,1,0,0,2 |
|---|
| 225 | 3853,1,0,1,0,0,2 |
|---|
| 226 | 3854,2,2,3,87,0,35 |
|---|
| 227 | 3855,2,2,3,87,0,34 |
|---|
| 228 | 3909,3,2,5,87,0,371 |
|---|
| 229 | 3910,2,2,3,87,0,315 |
|---|
| 230 | 3919,3,2,5,87,0,368 |
|---|
| 231 | 3920,2,2,3,87,0,323 |
|---|
| 232 | 3929,3,2,5,87,0,403 |
|---|
| 233 | 3930,2,2,3,87,0,325 |
|---|
| 234 | 3939,3,2,5,87,0,363 |
|---|
| 235 | 3940,2,2,3,87,0,313 |
|---|
| 236 | 3949,3,2,5,87,0,355 |
|---|
| 237 | 3950,2,2,3,87,0,329 |
|---|
| 238 | 3959,3,2,5,87,0,361 |
|---|
| 239 | 3960,2,2,3,87,0,327 |
|---|
| 240 | 3969,3,2,5,87,0,362 |
|---|
| 241 | 3970,2,2,3,87,0,324 |
|---|
| 242 | 3980,3,3,6,87,0,378 |
|---|
| 243 | 3981,2,2,3,87,0,322 |
|---|
| 244 | 3991,3,3,6,87,0,394 |
|---|
| 245 | 3992,2,2,3,87,0,323 |
|---|
| 246 | 4002,2,1,2,87,,15 |
|---|
| 247 | 4003,4,3,7,32,0,561 |
|---|
| 248 | 4004,2,3,4,87,,60 |
|---|
| 249 | 4005,2,2,3,87,,39 |
|---|
| 250 | 4015,2,1,2,87,,13 |
|---|
| 251 | 4016,4,3,7,32,0,627 |
|---|
| 252 | 4017,2,3,4,87,,58 |
|---|
| 253 | 4018,2,2,3,87,,38 |
|---|
| 254 | 4028,2,1,2,87,,14 |
|---|
| 255 | 4029,4,3,7,32,0,527 |
|---|
| 256 | 4030,2,3,4,87,,48 |
|---|
| 257 | 4031,2,2,3,87,,30 |
|---|
| 258 | 4040,2,1,2,87,,12 |
|---|
| 259 | 4041,4,2,8,32,0,769 |
|---|
| 260 | 4042,2,3,4,87,,44 |
|---|
| 261 | 4043,2,2,3,87,,30 |
|---|
| 262 | 4052,2,1,2,87,,13 |
|---|
| 263 | 4053,4,2,8,32,0,798 |
|---|
| 264 | 4054,2,3,4,87,,35 |
|---|
| 265 | 4055,2,2,3,87,,37 |
|---|
| 266 | 4064,2,1,2,87,,13 |
|---|
| 267 | 4065,4,2,8,32,0,719 |
|---|
| 268 | 4066,2,3,4,87,,46 |
|---|
| 269 | 4067,2,2,3,87,,30 |
|---|
| 270 | 4077,3,3,6,87,0,354 |
|---|
| 271 | 4078,2,2,3,87,0,300 |
|---|
| 272 | 4088,3,3,6,87,0,355 |
|---|
| 273 | 4089,2,2,3,87,0,291 |
|---|
| 274 | 4098,3,2,5,87,0,339 |
|---|
| 275 | 4099,2,2,3,87,0,296 |
|---|
| 276 | 4108,3,2,5,87,0,333 |
|---|
| 277 | 4109,2,2,3,87,0,298 |
|---|
| 278 | 4117,3,2,4,87,0,304 |
|---|
| 279 | 4118,2,2,3,87,0,295 |
|---|
| 280 | 4126,3,2,4,87,0,297 |
|---|
| 281 | 4127,2,2,3,87,0,291 |
|---|
| 282 | 4135,3,2,4,87,0,320 |
|---|
| 283 | 4136,2,2,3,87,0,295 |
|---|
| 284 | 4144,3,2,4,87,0,316 |
|---|
| 285 | 4145,2,2,3,87,0,297 |
|---|
| 286 | 4153,3,2,4,87,0,319 |
|---|
| 287 | 4154,2,2,3,87,0,292 |
|---|
| 288 | 4162,3,2,4,87,0,316 |
|---|
| 289 | 4163,2,2,3,87,0,294 |
|---|
| 290 | 4171,3,2,4,87,0,321 |
|---|
| 291 | 4172,2,2,3,87,0,296 |
|---|
| 292 | 4180,3,2,4,87,0,322 |
|---|
| 293 | 4181,2,2,3,87,0,294 |
|---|
| 294 | 4189,3,2,4,87,0,315 |
|---|
| 295 | 4190,2,2,3,87,0,290 |
|---|
| 296 | 4198,3,2,4,87,0,319 |
|---|
| 297 | 4199,2,2,3,87,0,295 |
|---|
| 298 | 4207,3,2,4,87,0,319 |
|---|
| 299 | 4208,2,2,3,87,0,294 |
|---|
| 300 | 4217,3,2,5,87,0,342 |
|---|
| 301 | 4218,2,2,3,87,0,300 |
|---|
| 302 | 4227,3,2,5,87,0,347 |
|---|
| 303 | 4228,2,2,3,87,0,293 |
|---|
| 304 | 4237,3,2,5,87,0,339 |
|---|
| 305 | 4238,2,2,3,87,0,297 |
|---|
| 306 | 4247,3,2,5,87,0,339 |
|---|
| 307 | 4248,2,2,3,87,0,300 |
|---|
| 308 | 4257,3,2,5,87,0,338 |
|---|
| 309 | 4258,2,2,3,87,0,296 |
|---|
| 310 | 4266,3,2,4,87,0,324 |
|---|
| 311 | 4267,2,2,3,87,0,298 |
|---|
| 312 | 4275,3,2,4,87,0,318 |
|---|
| 313 | 4276,2,2,3,87,0,296 |
|---|
| 314 | 4284,3,2,4,87,0,321 |
|---|
| 315 | 4285,2,2,3,87,0,304 |
|---|
| 316 | 4293,3,2,4,87,0,319 |
|---|
| 317 | 4294,2,2,3,87,0,297 |
|---|
| 318 | 4302,3,2,4,87,0,320 |
|---|
| 319 | 4303,2,2,3,87,0,294 |
|---|
| 320 | 4311,3,2,4,87,0,317 |
|---|
| 321 | 4312,2,2,3,87,0,302 |
|---|
| 322 | 4320,3,2,4,87,0,348 |
|---|
| 323 | 4321,2,2,3,87,0,304 |
|---|
| 324 | 4329,3,2,4,87,0,333 |
|---|
| 325 | 4330,2,2,3,87,0,318 |
|---|
| 326 | 4338,3,2,4,87,0,339 |
|---|
| 327 | 4339,2,2,3,87,0,313 |
|---|
| 328 | 4347,3,2,4,87,0,337 |
|---|
| 329 | 4348,2,2,3,87,0,316 |
|---|
| 330 | 4356,3,2,4,87,0,336 |
|---|
| 331 | 4357,2,2,3,87,0,310 |
|---|
| 332 | 4365,3,2,4,87,0,340 |
|---|
| 333 | 4366,2,2,3,87,0,317 |
|---|
| 334 | 4374,3,2,4,87,0,339 |
|---|
| 335 | 4375,2,2,3,87,0,318 |
|---|
| 336 | 4383,3,2,4,87,0,340 |
|---|
| 337 | 4384,2,2,3,87,0,319 |
|---|
| 338 | 4392,3,2,4,87,0,338 |
|---|
| 339 | 4393,2,2,3,87,0,319 |
|---|
| 340 | 4401,3,2,4,87,0,340 |
|---|
| 341 | 4402,2,2,3,87,0,316 |
|---|
| 342 | 4410,3,2,4,87,0,337 |
|---|
| 343 | 4411,2,2,3,87,0,306 |
|---|
| 344 | 4419,3,2,4,87,0,337 |
|---|
| 345 | 4420,2,2,3,87,0,307 |
|---|
| 346 | 4428,3,2,4,87,0,334 |
|---|
| 347 | 4429,2,2,3,87,0,307 |
|---|
| 348 | 4437,3,2,4,87,0,330 |
|---|
| 349 | 4438,2,2,3,87,0,307 |
|---|
| 350 | 4446,3,2,4,87,0,337 |
|---|
| 351 | 4447,2,2,3,87,0,310 |
|---|
| 352 | 4455,3,2,4,87,0,331 |
|---|
| 353 | 4456,2,2,3,87,0,311 |
|---|
| 354 | 4465,3,2,5,87,0,385 |
|---|
| 355 | 4466,2,2,3,87,0,325 |
|---|
| 356 | 4475,3,2,5,87,0,363 |
|---|
| 357 | 4476,2,2,3,87,0,312 |
|---|
| 358 | 4484,3,2,4,87,0,343 |
|---|
| 359 | 4485,2,2,3,87,0,303 |
|---|
| 360 | 4493,3,2,4,87,0,331 |
|---|
| 361 | 4494,2,2,3,87,0,321 |
|---|
| 362 | 4502,3,2,4,87,0,354 |
|---|
| 363 | 4503,2,2,3,87,0,319 |
|---|
| 364 | 4511,3,2,4,87,0,338 |
|---|
| 365 | 4512,2,2,3,87,0,318 |
|---|
| 366 | 4520,3,2,4,87,0,344 |
|---|
| 367 | 4521,2,2,3,87,0,313 |
|---|
| 368 | 4529,3,2,4,87,0,337 |
|---|
| 369 | 4530,2,2,3,87,0,332 |
|---|
| 370 | 4538,3,2,4,87,0,348 |
|---|
| 371 | 4539,2,2,3,87,0,305 |
|---|
| 372 | 4547,3,2,4,87,0,342 |
|---|
| 373 | 4548,2,2,3,87,0,318 |
|---|
| 374 | 4556,3,2,4,87,0,343 |
|---|
| 375 | 4557,2,2,3,87,0,318 |
|---|
| 376 | 4565,3,2,4,87,0,337 |
|---|
| 377 | 4566,2,2,3,87,0,306 |
|---|
| 378 | 4574,3,2,4,87,0,356 |
|---|
| 379 | 4575,2,2,3,87,0,319 |
|---|
| 380 | 4583,3,2,4,87,0,347 |
|---|
| 381 | 4584,2,2,3,87,0,313 |
|---|
| 382 | 4592,3,2,4,87,0,350 |
|---|
| 383 | 4593,2,2,3,87,0,327 |
|---|
| 384 | 4601,3,2,4,87,0,330 |
|---|
| 385 | 4602,2,2,3,87,0,317 |
|---|
| 386 | 4610,3,2,4,87,0,347 |
|---|
| 387 | 4611,2,2,3,87,0,308 |
|---|
| 388 | 4619,3,2,4,87,0,354 |
|---|
| 389 | 4620,2,2,3,87,0,311 |
|---|
| 390 | 4628,3,2,4,87,0,345 |
|---|
| 391 | 4629,2,2,3,87,0,310 |
|---|
| 392 | 4637,3,2,4,87,0,348 |
|---|
| 393 | 4638,2,2,3,87,0,315 |
|---|
| 394 | 4646,3,2,4,87,0,340 |
|---|
| 395 | 4647,2,2,3,87,0,313 |
|---|
| 396 | 4655,3,2,4,87,0,340 |
|---|
| 397 | 4656,2,2,3,87,0,317 |
|---|
| 398 | 4664,3,2,4,87,0,348 |
|---|
| 399 | 4665,2,2,3,87,0,313 |
|---|
| 400 | 4673,3,2,4,87,0,342 |
|---|
| 401 | 4674,2,2,3,87,0,309 |
|---|
| 402 | 4682,3,2,4,87,0,336 |
|---|
| 403 | 4683,2,2,3,87,0,316 |
|---|
| 404 | 4691,3,2,4,87,0,339 |
|---|
| 405 | 4692,2,2,3,87,0,312 |
|---|
| 406 | 4700,3,2,4,87,0,339 |
|---|
| 407 | 4701,2,2,3,87,0,320 |
|---|
| 408 | 4709,3,2,4,87,0,342 |
|---|
| 409 | 4710,2,2,3,87,0,333 |
|---|
| 410 | 4718,3,2,4,87,0,335 |
|---|
| 411 | 4719,2,2,3,87,0,310 |
|---|
| 412 | 4727,3,2,4,87,0,355 |
|---|
| 413 | 4728,2,2,3,87,0,315 |
|---|
| 414 | 4736,3,2,4,87,0,343 |
|---|
| 415 | 4737,2,2,3,87,0,315 |
|---|
| 416 | 4745,3,2,4,87,0,346 |
|---|
| 417 | 4746,2,2,3,87,0,316 |
|---|
| 418 | 4755,3,2,5,87,0,378 |
|---|
| 419 | 4756,2,2,3,87,0,321 |
|---|
| 420 | 4765,3,2,5,87,0,362 |
|---|
| 421 | 4766,2,2,3,87,0,338 |
|---|
| 422 | 4775,3,2,5,87,0,377 |
|---|
| 423 | 4776,2,2,3,87,0,311 |
|---|
| 424 | 4785,3,2,5,87,0,385 |
|---|
| 425 | 4786,2,2,3,87,0,312 |
|---|
| 426 | 4795,3,2,5,87,0,350 |
|---|
| 427 | 4796,2,2,3,87,0,307 |
|---|
| 428 | 4804,3,2,4,87,0,334 |
|---|
| 429 | 4805,2,2,3,87,0,305 |
|---|
| 430 | 4813,3,2,4,87,0,327 |
|---|
| 431 | 4814,2,2,3,87,0,304 |
|---|
| 432 | 4822,3,2,4,87,0,334 |
|---|
| 433 | 4823,2,2,3,87,0,306 |
|---|
| 434 | 4831,3,2,4,87,0,329 |
|---|
| 435 | 4832,2,2,3,87,0,304 |
|---|
| 436 | 4840,3,2,4,87,0,331 |
|---|
| 437 | 4841,2,2,3,87,0,305 |
|---|
| 438 | 4849,3,2,4,87,0,335 |
|---|
| 439 | 4850,2,2,3,87,0,308 |
|---|
| 440 | 4858,3,2,4,87,0,329 |
|---|
| 441 | 4859,2,2,3,87,0,303 |
|---|
| 442 | 4867,3,2,4,87,0,333 |
|---|
| 443 | 4868,2,2,3,87,0,307 |
|---|
| 444 | 4876,3,2,4,87,0,334 |
|---|
| 445 | 4877,2,2,3,87,0,302 |
|---|
| 446 | 4885,3,2,4,87,0,333 |
|---|
| 447 | 4886,2,2,3,87,0,302 |
|---|
| 448 | 4894,3,2,4,87,0,332 |
|---|
| 449 | 4895,2,2,3,87,0,306 |
|---|
| 450 | 4903,3,2,4,87,0,333 |
|---|
| 451 | 4904,2,2,3,87,0,302 |
|---|
| 452 | 4912,3,2,4,87,0,328 |
|---|
| 453 | 4913,2,2,3,87,0,302 |
|---|
| 454 | 4921,3,2,4,87,0,332 |
|---|
| 455 | 4922,2,2,3,87,0,306 |
|---|
| 456 | 4930,3,2,4,87,0,339 |
|---|
| 457 | 4931,2,2,3,87,0,305 |
|---|
| 458 | 4939,3,2,4,87,0,334 |
|---|
| 459 | 4940,2,2,3,87,0,309 |
|---|
| 460 | 4948,3,2,4,87,0,329 |
|---|
| 461 | 4949,2,2,3,87,0,305 |
|---|
| 462 | 4957,3,2,4,87,0,329 |
|---|
| 463 | 4958,2,2,3,87,0,304 |
|---|
| 464 | 4966,3,2,4,87,0,330 |
|---|
| 465 | 4967,2,2,3,87,0,305 |
|---|
| 466 | 4975,3,2,4,87,0,329 |
|---|
| 467 | 4976,2,2,3,87,0,308 |
|---|
| 468 | 4984,3,2,4,87,0,336 |
|---|
| 469 | 4985,2,2,3,87,0,313 |
|---|
| 470 | 4993,3,2,4,87,0,330 |
|---|
| 471 | 4994,2,2,3,87,0,303 |
|---|
| 472 | 5002,3,2,4,87,0,328 |
|---|
| 473 | 5003,2,2,3,87,0,303 |
|---|
| 474 | 5011,3,2,4,87,0,326 |
|---|
| 475 | 5012,2,2,3,87,0,302 |
|---|
| 476 | 5020,3,2,4,87,0,330 |
|---|
| 477 | 5021,2,2,3,87,0,305 |
|---|
| 478 | 5029,3,2,4,87,0,330 |
|---|
| 479 | 5030,2,2,3,87,0,308 |
|---|
| 480 | 5038,3,2,4,87,0,331 |
|---|
| 481 | 5039,2,2,3,87,0,313 |
|---|
| 482 | 5047,3,2,4,87,0,329 |
|---|
| 483 | 5048,2,2,3,87,0,304 |
|---|
| 484 | 5056,3,2,4,87,0,329 |
|---|
| 485 | 5057,2,2,3,87,0,303 |
|---|
| 486 | 5065,3,2,4,87,0,330 |
|---|
| 487 | 5066,2,2,3,87,0,305 |
|---|
| 488 | 5074,3,2,4,87,0,334 |
|---|
| 489 | 5075,2,2,3,87,0,313 |
|---|
| 490 | 5083,3,2,4,87,0,330 |
|---|
| 491 | 5084,2,2,3,87,0,307 |
|---|
| 492 | 5092,3,2,4,87,0,331 |
|---|
| 493 | 5093,2,2,3,87,0,328 |
|---|
| 494 | 5101,3,2,4,87,0,354 |
|---|
| 495 | 5102,2,2,3,87,0,309 |
|---|
| 496 | 5110,3,2,4,87,0,339 |
|---|
| 497 | 5111,2,2,3,87,0,324 |
|---|
| 498 | 5119,3,2,4,87,0,339 |
|---|
| 499 | 5120,2,2,3,87,0,324 |
|---|
| 500 | 5129,3,2,5,87,0,354 |
|---|
| 501 | 5130,2,2,3,87,0,327 |
|---|
| 502 | 5139,3,2,5,87,0,344 |
|---|
| 503 | 5140,2,2,3,87,0,318 |
|---|
| 504 | 5149,3,2,5,87,0,349 |
|---|
| 505 | 5150,2,2,3,87,0,319 |
|---|
| 506 | 5158,3,2,4,87,0,341 |
|---|
| 507 | 5159,2,2,3,87,0,328 |
|---|
| 508 | 5167,3,2,4,87,0,335 |
|---|
| 509 | 5168,2,2,3,87,0,323 |
|---|
| 510 | 5176,3,2,4,87,0,339 |
|---|
| 511 | 5177,2,2,3,87,0,327 |
|---|
| 512 | 5185,3,2,4,87,0,340 |
|---|
| 513 | 5186,2,2,3,87,0,322 |
|---|
| 514 | 5194,3,2,4,87,0,342 |
|---|
| 515 | 5195,2,2,3,87,0,322 |
|---|
| 516 | 5203,3,2,4,87,0,351 |
|---|
| 517 | 5204,2,2,3,87,0,320 |
|---|
| 518 | 5212,3,2,4,87,0,342 |
|---|
| 519 | 5213,2,2,3,87,0,323 |
|---|
| 520 | 5221,3,2,4,87,0,342 |
|---|
| 521 | 5222,2,2,3,87,0,321 |
|---|
| 522 | 5230,3,2,4,87,0,339 |
|---|
| 523 | 5231,2,2,3,87,0,331 |
|---|
| 524 | 5239,3,2,4,87,0,335 |
|---|
| 525 | 5240,2,2,3,87,0,324 |
|---|
| 526 | 5248,3,2,4,87,0,340 |
|---|
| 527 | 5249,2,2,3,87,0,309 |
|---|
| 528 | 5257,3,2,4,87,0,385 |
|---|
| 529 | 5258,2,2,3,87,0,320 |
|---|
| 530 | 5266,3,2,4,87,0,337 |
|---|
| 531 | 5267,2,2,3,87,0,311 |
|---|
| 532 | 5275,3,2,4,87,0,336 |
|---|
| 533 | 5276,2,2,3,87,0,307 |
|---|
| 534 | 5284,3,2,4,87,0,362 |
|---|
| 535 | 5285,2,2,3,87,0,317 |
|---|
| 536 | 5293,3,2,4,87,0,333 |
|---|
| 537 | 5294,2,2,3,87,0,311 |
|---|
| 538 | 5302,3,2,4,87,0,329 |
|---|
| 539 | 5303,2,2,3,87,0,317 |
|---|
| 540 | 5311,3,2,4,87,0,332 |
|---|
| 541 | 5312,2,2,3,87,0,317 |
|---|
| 542 | 5320,3,2,4,87,0,336 |
|---|
| 543 | 5321,2,2,3,87,0,316 |
|---|
| 544 | 5329,3,2,4,87,0,341 |
|---|
| 545 | 5330,2,2,3,87,0,322 |
|---|
| 546 | 5338,3,2,4,87,0,338 |
|---|
| 547 | 5339,2,2,3,87,0,325 |
|---|
| 548 | 5347,3,2,4,87,0,336 |
|---|
| 549 | 5348,2,2,3,87,0,324 |
|---|
| 550 | 5356,3,2,4,87,0,342 |
|---|
| 551 | 5357,2,2,3,87,0,331 |
|---|
| 552 | 5365,3,2,4,87,0,340 |
|---|
| 553 | 5366,2,2,3,87,0,318 |
|---|
| 554 | 5374,3,2,4,87,0,332 |
|---|
| 555 | 5375,2,2,3,87,0,320 |
|---|
| 556 | 5383,3,2,4,87,0,358 |
|---|
| 557 | 5384,2,2,3,87,0,329 |
|---|
| 558 | 5392,3,2,4,87,0,335 |
|---|
| 559 | 5393,2,2,3,87,0,306 |
|---|
| 560 | 5401,3,2,4,87,0,328 |
|---|
| 561 | 5402,2,2,3,87,0,303 |
|---|
| 562 | 5410,3,2,4,87,0,373 |
|---|
| 563 | 5411,2,2,3,87,0,312 |
|---|
| 564 | 5419,3,2,4,87,0,334 |
|---|
| 565 | 5420,2,2,3,87,0,308 |
|---|
| 566 | 5428,3,2,4,87,0,335 |
|---|
| 567 | 5429,2,2,3,87,0,306 |
|---|
| 568 | 5437,3,2,4,87,0,330 |
|---|
| 569 | 5438,2,2,3,87,0,302 |
|---|
| 570 | 5446,3,2,4,87,0,334 |
|---|
| 571 | 5447,2,2,3,87,0,307 |
|---|
| 572 | 5455,3,2,4,87,0,328 |
|---|
| 573 | 5456,2,2,3,87,0,306 |
|---|
| 574 | 5465,3,2,5,87,0,358 |
|---|
| 575 | 5466,2,2,3,87,0,313 |
|---|
| 576 | 5475,3,2,5,87,0,350 |
|---|
| 577 | 5476,2,2,3,87,0,304 |
|---|
| 578 | 5485,3,2,5,87,0,336 |
|---|
| 579 | 5486,2,2,3,87,0,309 |
|---|
| 580 | 5495,3,2,5,87,0,333 |
|---|
| 581 | 5496,2,2,3,87,0,309 |
|---|
| 582 | 5505,3,2,5,87,0,360 |
|---|
| 583 | 5506,2,2,3,87,0,309 |
|---|
| 584 | 5515,3,2,5,87,0,353 |
|---|
| 585 | 5516,2,2,3,87,0,304 |
|---|
| 586 | 5525,2,1,2,87,,13 |
|---|
| 587 | 5526,4,2,6,32,0,523 |
|---|
| 588 | 5527,2,3,4,87,,46 |
|---|
| 589 | 5528,2,2,3,87,,31 |
|---|
| 590 | 5537,3,2,5,87,0,334 |
|---|
| 591 | 5538,2,2,3,87,0,307 |
|---|
| 592 | 5547,2,1,2,87,,13 |
|---|
| 593 | 5548,4,2,6,32,0,563 |
|---|
| 594 | 5549,2,3,4,87,,46 |
|---|
| 595 | 5550,2,2,3,87,,31 |
|---|
| 596 | 5559,2,1,2,87,,12 |
|---|
| 597 | 5560,4,2,6,32,0,493 |
|---|
| 598 | 5561,2,3,4,87,,46 |
|---|
| 599 | 5562,2,2,3,87,,31 |
|---|
| 600 | 5571,3,2,5,87,0,335 |
|---|
| 601 | 5572,2,2,3,87,0,311 |
|---|
| 602 | 5581,3,2,5,87,0,354 |
|---|
| 603 | 5582,2,2,3,87,0,321 |
|---|
| 604 | 5591,3,2,5,87,0,356 |
|---|
| 605 | 5592,2,2,3,87,0,310 |
|---|
| 606 | 5601,3,2,5,87,0,357 |
|---|
| 607 | 5602,2,2,3,87,0,317 |
|---|
| 608 | 5611,3,2,5,87,0,355 |
|---|
| 609 | 5612,2,2,3,87,0,311 |
|---|
| 610 | 5621,3,2,5,87,0,375 |
|---|
| 611 | 5622,2,2,3,87,0,314 |
|---|
| 612 | 5631,3,2,5,87,0,371 |
|---|
| 613 | 5632,2,2,3,87,0,307 |
|---|
| 614 | 5641,3,2,5,87,0,365 |
|---|
| 615 | 5642,2,2,3,87,0,311 |
|---|
| 616 | 5651,3,2,5,87,0,404 |
|---|
| 617 | 5652,2,2,3,87,0,313 |
|---|
| 618 | 5661,3,2,5,87,0,363 |
|---|
| 619 | 5662,2,2,3,87,0,308 |
|---|
| 620 | 5671,3,2,5,87,0,371 |
|---|
| 621 | 5672,2,2,3,87,0,312 |
|---|
| 622 | 5681,3,2,5,87,0,364 |
|---|
| 623 | 5682,2,2,3,87,0,310 |
|---|
| 624 | 5690,3,2,4,87,0,1109 |
|---|
| 625 | 5691,2,2,3,87,0,284 |
|---|
| 626 | 5699,3,2,4,87,0,336 |
|---|
| 627 | 5700,2,2,3,87,0,313 |
|---|
| 628 | 5708,3,2,4,87,0,336 |
|---|
| 629 | 5709,2,2,3,87,0,310 |
|---|
| 630 | 5717,3,2,4,87,0,332 |
|---|
| 631 | 5718,2,2,3,87,0,308 |
|---|
| 632 | 5726,3,2,4,87,0,331 |
|---|
| 633 | 5727,2,2,3,87,0,309 |
|---|
| 634 | 5735,3,2,4,87,0,328 |
|---|
| 635 | 5736,2,2,3,87,0,308 |
|---|
| 636 | 5744,3,2,4,87,0,333 |
|---|
| 637 | 5745,2,2,3,87,0,314 |
|---|
| 638 | 5753,3,2,4,87,0,332 |
|---|
| 639 | 5754,2,2,3,87,0,310 |
|---|
| 640 | 5762,3,2,4,87,0,327 |
|---|
| 641 | 5763,2,2,3,87,0,338 |
|---|
| 642 | 5780,3,3,6,89,0,72 |
|---|
| 643 | 5781,2,2,3,89,0,32 |
|---|
| 644 | 5798,3,3,6,89,0,67 |
|---|
| 645 | 5799,2,2,3,89,0,31 |
|---|
| 646 | 5819,4,2,7,89,0,82 |
|---|
| 647 | 5820,2,2,3,89,0,31 |
|---|
| 648 | 5835,2,1,2,89,0,13 |
|---|
| 649 | 5836,2,2,3,89,0,32 |
|---|
| 650 | 5837,2,1,2,32,0,12 |
|---|
| 651 | 5838,1,0,1,1,0,2 |
|---|
| 652 | 5839,2,2,3,33,0,25 |
|---|
| 653 | 5840,2,2,3,33,0,24 |
|---|
| 654 | 5865,2,1,2,90,0,13 |
|---|
| 655 | 5866,2,2,3,90,0,57 |
|---|
| 656 | 5867,2,1,2,32,0,12 |
|---|
| 657 | 5868,1,0,1,0,0,2 |
|---|
| 658 | 5869,5,2,11,90,0,85 |
|---|
| 659 | 5870,2,2,3,90,0,31 |
|---|
| 660 | 5891,2,1,2,90,0,13 |
|---|
| 661 | 5892,2,2,3,90,0,54 |
|---|
| 662 | 5893,2,1,2,32,0,12 |
|---|
| 663 | 5894,1,0,1,0,0,2 |
|---|
| 664 | 5895,2,1,2,90,0,13 |
|---|
| 665 | 5896,2,2,3,90,0,53 |
|---|
| 666 | 5897,2,1,2,32,0,12 |
|---|
| 667 | 5898,1,0,1,0,0,2 |
|---|
| 668 | 5899,3,3,6,90,0,64 |
|---|
| 669 | 5900,2,2,3,90,0,31 |
|---|
| 670 | 5931,2,1,2,90,0,13 |
|---|
| 671 | 5932,2,2,3,90,0,55 |
|---|
| 672 | 5933,2,1,2,32,0,12 |
|---|
| 673 | 5934,1,0,1,0,0,2 |
|---|
| 674 | 5935,2,1,2,90,0,12 |
|---|
| 675 | 5936,2,2,3,90,0,54 |
|---|
| 676 | 5937,2,1,2,32,0,11 |
|---|
| 677 | 5938,1,0,1,0,0,2 |
|---|
| 678 | 5939,2,1,2,90,0,12 |
|---|
| 679 | 5940,5,3,12,90,0,94 |
|---|
| 680 | 5941,2,1,2,32,0,12 |
|---|
| 681 | 5942,4,3,10,21,0,60 |
|---|
| 682 | 5943,2,1,2,90,0,13 |
|---|
| 683 | 5944,2,2,3,90,0,55 |
|---|
| 684 | 5945,2,1,2,32,0,12 |
|---|
| 685 | 5946,1,0,1,0,0,2 |
|---|
| 686 | 5947,2,1,2,90,0,12 |
|---|
| 687 | 5948,2,2,3,90,0,53 |
|---|
| 688 | 5949,2,1,2,32,0,12 |
|---|
| 689 | 5950,1,0,1,0,0,2 |
|---|
| 690 | 5951,5,2,11,90,0,78 |
|---|
| 691 | 5952,2,2,3,90,0,30 |
|---|
| 692 | 5962,9,2,29,57,168,191307 |
|---|
| 693 | 5963,6,2,14,57,105,67414 |
|---|
| 694 | 5964,6,2,14,57,105,62791 |
|---|
| 695 | 5965,6,2,14,57,105,62104 |
|---|
| 696 | 5966,6,2,14,57,105,62195 |
|---|
| 697 | 5967,6,2,14,57,105,64828 |
|---|
| 698 | 5968,9,2,29,57,168,147883 |
|---|
| 699 | 5969,6,2,14,57,105,68338 |
|---|
| 700 | 5970,7,2,20,57,105,63250 |
|---|
| 701 | 5971,9,2,29,57,168,146247 |
|---|
| 702 | 5972,9,2,29,57,168,150856 |
|---|
| 703 | 5973,9,2,29,57,168,151983 |
|---|
| 704 | 5974,9,2,29,57,168,150701 |
|---|
| 705 | 5975,9,2,29,57,168,150660 |
|---|
| 706 | 5976,9,2,29,57,168,152987 |
|---|
| 707 | 5977,5,2,15,57,84,55545 |
|---|
| 708 | 5978,6,2,17,57,105,62451 |
|---|
| 709 | 5979,2,2,3,87,0,362 |
|---|
| 710 | 5980,2,2,3,87,0,304 |
|---|
Note: See
TracBrowser
for help on using the repository browser.
