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