regression/mlton.share.arm-linux.ok

   1 size of a is 2000
   2 0 => NONE
   3 1 => (1, 1)
   4 2 => (0, 2)
   5 3 => (1, 0)
   6 4 => (0, 1)
   7 5 => (1, 2)
   8 6 => (0, 0)
   9 7 => (1, 1)
  10 8 => (0, 2)
  11 9 => (1, 0)
  12 10 => (0, 1)
  13 11 => (1, 2)
  14 12 => (0, 0)
  15 13 => (1, 1)
  16 14 => (0, 2)
  17 15 => (1, 0)
  18 16 => (0, 1)
  19 17 => (1, 2)
  20 18 => (0, 0)
  21 19 => (1, 1)
  22 20 => (0, 2)
  23 21 => (1, 0)
  24 22 => (0, 1)
  25 23 => (1, 2)
  26 24 => (0, 0)
  27 25 => (1, 1)
  28 26 => (0, 2)
  29 27 => (1, 0)
  30 28 => (0, 1)
  31 29 => (1, 2)
  32 30 => (0, 0)
  33 31 => (1, 1)
  34 32 => (0, 2)
  35 33 => (1, 0)
  36 34 => (0, 1)
  37 35 => (1, 2)
  38 36 => (0, 0)
  39 37 => (1, 1)
  40 38 => (0, 2)
  41 39 => (1, 0)
  42 40 => (0, 1)
  43 41 => (1, 2)
  44 42 => (0, 0)
  45 43 => (1, 1)
  46 44 => (0, 2)
  47 45 => (1, 0)
  48 46 => (0, 1)
  49 47 => (1, 2)
  50 48 => (0, 0)
  51 49 => (1, 1)
  52 50 => (0, 2)
  53 51 => (1, 0)
  54 52 => (0, 1)
  55 53 => (1, 2)
  56 54 => (0, 0)
  57 55 => (1, 1)
  58 56 => (0, 2)
  59 57 => (1, 0)
  60 58 => (0, 1)
  61 59 => (1, 2)
  62 60 => (0, 0)
  63 61 => (1, 1)
  64 62 => (0, 2)
  65 63 => (1, 0)
  66 64 => (0, 1)
  67 65 => (1, 2)
  68 66 => (0, 0)
  69 67 => (1, 1)
  70 68 => (0, 2)
  71 69 => (1, 0)
  72 70 => (0, 1)
  73 71 => (1, 2)
  74 72 => (0, 0)
  75 73 => (1, 1)
  76 74 => (0, 2)
  77 75 => (1, 0)
  78 76 => (0, 1)
  79 77 => (1, 2)
  80 78 => (0, 0)
  81 79 => (1, 1)
  82 80 => (0, 2)
  83 81 => (1, 0)
  84 82 => (0, 1)
  85 83 => (1, 2)
  86 84 => (0, 0)
  87 85 => (1, 1)
  88 86 => (0, 2)
  89 87 => (1, 0)
  90 88 => (0, 1)
  91 89 => (1, 2)
  92 90 => (0, 0)
  93 91 => (1, 1)
  94 92 => (0, 2)
  95 93 => (1, 0)
  96 94 => (0, 1)
  97 95 => (1, 2)
  98 96 => (0, 0)
  99 97 => (1, 1)
 100 98 => (0, 2)
 101 99 => (1, 0)
 102 size of a is 512
 103 0 => NONE
 104 1 => (1, 1)
 105 2 => (0, 2)
 106 3 => (1, 0)
 107 4 => (0, 1)
 108 5 => (1, 2)
 109 6 => (0, 0)
 110 7 => (1, 1)
 111 8 => (0, 2)
 112 9 => (1, 0)
 113 10 => (0, 1)
 114 11 => (1, 2)
 115 12 => (0, 0)
 116 13 => (1, 1)
 117 14 => (0, 2)
 118 15 => (1, 0)
 119 16 => (0, 1)
 120 17 => (1, 2)
 121 18 => (0, 0)
 122 19 => (1, 1)
 123 20 => (0, 2)
 124 21 => (1, 0)
 125 22 => (0, 1)
 126 23 => (1, 2)
 127 24 => (0, 0)
 128 25 => (1, 1)
 129 26 => (0, 2)
 130 27 => (1, 0)
 131 28 => (0, 1)
 132 29 => (1, 2)
 133 30 => (0, 0)
 134 31 => (1, 1)
 135 32 => (0, 2)
 136 33 => (1, 0)
 137 34 => (0, 1)
 138 35 => (1, 2)
 139 36 => (0, 0)
 140 37 => (1, 1)
 141 38 => (0, 2)
 142 39 => (1, 0)
 143 40 => (0, 1)
 144 41 => (1, 2)
 145 42 => (0, 0)
 146 43 => (1, 1)
 147 44 => (0, 2)
 148 45 => (1, 0)
 149 46 => (0, 1)
 150 47 => (1, 2)
 151 48 => (0, 0)
 152 49 => (1, 1)
 153 50 => (0, 2)
 154 51 => (1, 0)
 155 52 => (0, 1)
 156 53 => (1, 2)
 157 54 => (0, 0)
 158 55 => (1, 1)
 159 56 => (0, 2)
 160 57 => (1, 0)
 161 58 => (0, 1)
 162 59 => (1, 2)
 163 60 => (0, 0)
 164 61 => (1, 1)
 165 62 => (0, 2)
 166 63 => (1, 0)
 167 64 => (0, 1)
 168 65 => (1, 2)
 169 66 => (0, 0)
 170 67 => (1, 1)
 171 68 => (0, 2)
 172 69 => (1, 0)
 173 70 => (0, 1)
 174 71 => (1, 2)
 175 72 => (0, 0)
 176 73 => (1, 1)
 177 74 => (0, 2)
 178 75 => (1, 0)
 179 76 => (0, 1)
 180 77 => (1, 2)
 181 78 => (0, 0)
 182 79 => (1, 1)
 183 80 => (0, 2)
 184 81 => (1, 0)
 185 82 => (0, 1)
 186 83 => (1, 2)
 187 84 => (0, 0)
 188 85 => (1, 1)
 189 86 => (0, 2)
 190 87 => (1, 0)
 191 88 => (0, 1)
 192 89 => (1, 2)
 193 90 => (0, 0)
 194 91 => (1, 1)
 195 92 => (0, 2)
 196 93 => (1, 0)
 197 94 => (0, 1)
 198 95 => (1, 2)
 199 96 => (0, 0)
 200 97 => (1, 1)
 201 98 => (0, 2)
 202 99 => (1, 0)
 203 size of a is 1232
 204 0 => NONE
 205 1 => (1, 1)
 206 2 => (1, 1)
 207 3 => (0, 0)
 208 4 => (1, 1)
 209 5 => (2, 2)
 210 6 => (1, 1)
 211 7 => (1, 1)
 212 8 => (1, 1)
 213 9 => (0, 0)
 214 10 => (1, 1)
 215 11 => (2, 2)
 216 12 => (1, 1)
 217 13 => (1, 1)
 218 14 => (1, 1)
 219 15 => (0, 0)
 220 16 => (1, 1)
 221 17 => (2, 2)
 222 18 => (1, 1)
 223 19 => (1, 1)
 224 20 => (1, 1)
 225 21 => (0, 0)
 226 22 => (1, 1)
 227 23 => (2, 2)
 228 24 => (1, 1)
 229 25 => (1, 1)
 230 26 => (1, 1)
 231 27 => (0, 0)
 232 28 => (1, 1)
 233 29 => (2, 2)
 234 30 => (1, 1)
 235 31 => (1, 1)
 236 32 => (1, 1)
 237 33 => (0, 0)
 238 34 => (1, 1)
 239 35 => (2, 2)
 240 36 => (1, 1)
 241 37 => (1, 1)
 242 38 => (1, 1)
 243 39 => (0, 0)
 244 40 => (1, 1)
 245 41 => (2, 2)
 246 42 => (1, 1)
 247 43 => (1, 1)
 248 44 => (1, 1)
 249 45 => (0, 0)
 250 46 => (1, 1)
 251 47 => (2, 2)
 252 48 => (1, 1)
 253 49 => (1, 1)
 254 50 => (1, 1)
 255 51 => (0, 0)
 256 52 => (1, 1)
 257 53 => (2, 2)
 258 54 => (1, 1)
 259 55 => (1, 1)
 260 56 => (1, 1)
 261 57 => (0, 0)
 262 58 => (1, 1)
 263 59 => (2, 2)
 264 60 => (1, 1)
 265 61 => (1, 1)
 266 62 => (1, 1)
 267 63 => (0, 0)
 268 64 => (1, 1)
 269 65 => (2, 2)
 270 66 => (1, 1)
 271 67 => (1, 1)
 272 68 => (1, 1)
 273 69 => (0, 0)
 274 70 => (1, 1)
 275 71 => (2, 2)
 276 72 => (1, 1)
 277 73 => (1, 1)
 278 74 => (1, 1)
 279 75 => (0, 0)
 280 76 => (1, 1)
 281 77 => (2, 2)
 282 78 => (1, 1)
 283 79 => (1, 1)
 284 80 => (1, 1)
 285 81 => (0, 0)
 286 82 => (1, 1)
 287 83 => (2, 2)
 288 84 => (1, 1)
 289 85 => (1, 1)
 290 86 => (1, 1)
 291 87 => (0, 0)
 292 88 => (1, 1)
 293 89 => (2, 2)
 294 90 => (1, 1)
 295 91 => (1, 1)
 296 92 => (1, 1)
 297 93 => (0, 0)
 298 94 => (1, 1)
 299 95 => (2, 2)
 300 96 => (1, 1)
 301 97 => (1, 1)
 302 98 => (1, 1)
 303 99 => (0, 0)
 304 size of a is 464
 305 0 => NONE
 306 1 => (1, 1)
 307 2 => (1, 1)
 308 3 => (0, 0)
 309 4 => (1, 1)
 310 5 => (2, 2)
 311 6 => (1, 1)
 312 7 => (1, 1)
 313 8 => (1, 1)
 314 9 => (0, 0)
 315 10 => (1, 1)
 316 11 => (2, 2)
 317 12 => (1, 1)
 318 13 => (1, 1)
 319 14 => (1, 1)
 320 15 => (0, 0)
 321 16 => (1, 1)
 322 17 => (2, 2)
 323 18 => (1, 1)
 324 19 => (1, 1)
 325 20 => (1, 1)
 326 21 => (0, 0)
 327 22 => (1, 1)
 328 23 => (2, 2)
 329 24 => (1, 1)
 330 25 => (1, 1)
 331 26 => (1, 1)
 332 27 => (0, 0)
 333 28 => (1, 1)
 334 29 => (2, 2)
 335 30 => (1, 1)
 336 31 => (1, 1)
 337 32 => (1, 1)
 338 33 => (0, 0)
 339 34 => (1, 1)
 340 35 => (2, 2)
 341 36 => (1, 1)
 342 37 => (1, 1)
 343 38 => (1, 1)
 344 39 => (0, 0)
 345 40 => (1, 1)
 346 41 => (2, 2)
 347 42 => (1, 1)
 348 43 => (1, 1)
 349 44 => (1, 1)
 350 45 => (0, 0)
 351 46 => (1, 1)
 352 47 => (2, 2)
 353 48 => (1, 1)
 354 49 => (1, 1)
 355 50 => (1, 1)
 356 51 => (0, 0)
 357 52 => (1, 1)
 358 53 => (2, 2)
 359 54 => (1, 1)
 360 55 => (1, 1)
 361 56 => (1, 1)
 362 57 => (0, 0)
 363 58 => (1, 1)
 364 59 => (2, 2)
 365 60 => (1, 1)
 366 61 => (1, 1)
 367 62 => (1, 1)
 368 63 => (0, 0)
 369 64 => (1, 1)
 370 65 => (2, 2)
 371 66 => (1, 1)
 372 67 => (1, 1)
 373 68 => (1, 1)
 374 69 => (0, 0)
 375 70 => (1, 1)
 376 71 => (2, 2)
 377 72 => (1, 1)
 378 73 => (1, 1)
 379 74 => (1, 1)
 380 75 => (0, 0)
 381 76 => (1, 1)
 382 77 => (2, 2)
 383 78 => (1, 1)
 384 79 => (1, 1)
 385 80 => (1, 1)
 386 81 => (0, 0)
 387 82 => (1, 1)
 388 83 => (2, 2)
 389 84 => (1, 1)
 390 85 => (1, 1)
 391 86 => (1, 1)
 392 87 => (0, 0)
 393 88 => (1, 1)
 394 89 => (2, 2)
 395 90 => (1, 1)
 396 91 => (1, 1)
 397 92 => (1, 1)
 398 93 => (0, 0)
 399 94 => (1, 1)
 400 95 => (2, 2)
 401 96 => (1, 1)
 402 97 => (1, 1)
 403 98 => (1, 1)
 404 99 => (0, 0)
 405 size of a is 2800
 406 0 => NONE
 407 1 => (1, 1)
 408 2 => (0, 2)
 409 3 => (1, 0)
 410 4 => (0, 1)
 411 5 => (1, 2)
 412 6 => (0, 0)
 413 7 => (1, 1)
 414 8 => (0, 2)
 415 9 => (1, 0)
 416 10 => (0, 1)
 417 11 => (1, 2)
 418 12 => (0, 0)
 419 13 => (1, 1)
 420 14 => (0, 2)
 421 15 => (1, 0)
 422 16 => (0, 1)
 423 17 => (1, 2)
 424 18 => (0, 0)
 425 19 => (1, 1)
 426 20 => (0, 2)
 427 21 => (1, 0)
 428 22 => (0, 1)
 429 23 => (1, 2)
 430 24 => (0, 0)
 431 25 => (1, 1)
 432 26 => (0, 2)
 433 27 => (1, 0)
 434 28 => (0, 1)
 435 29 => (1, 2)
 436 30 => (0, 0)
 437 31 => (1, 1)
 438 32 => (0, 2)
 439 33 => (1, 0)
 440 34 => (0, 1)
 441 35 => (1, 2)
 442 36 => (0, 0)
 443 37 => (1, 1)
 444 38 => (0, 2)
 445 39 => (1, 0)
 446 40 => (0, 1)
 447 41 => (1, 2)
 448 42 => (0, 0)
 449 43 => (1, 1)
 450 44 => (0, 2)
 451 45 => (1, 0)
 452 46 => (0, 1)
 453 47 => (1, 2)
 454 48 => (0, 0)
 455 49 => (1, 1)
 456 50 => (0, 2)
 457 51 => (1, 0)
 458 52 => (0, 1)
 459 53 => (1, 2)
 460 54 => (0, 0)
 461 55 => (1, 1)
 462 56 => (0, 2)
 463 57 => (1, 0)
 464 58 => (0, 1)
 465 59 => (1, 2)
 466 60 => (0, 0)
 467 61 => (1, 1)
 468 62 => (0, 2)
 469 63 => (1, 0)
 470 64 => (0, 1)
 471 65 => (1, 2)
 472 66 => (0, 0)
 473 67 => (1, 1)
 474 68 => (0, 2)
 475 69 => (1, 0)
 476 70 => (0, 1)
 477 71 => (1, 2)
 478 72 => (0, 0)
 479 73 => (1, 1)
 480 74 => (0, 2)
 481 75 => (1, 0)
 482 76 => (0, 1)
 483 77 => (1, 2)
 484 78 => (0, 0)
 485 79 => (1, 1)
 486 80 => (0, 2)
 487 81 => (1, 0)
 488 82 => (0, 1)
 489 83 => (1, 2)
 490 84 => (0, 0)
 491 85 => (1, 1)
 492 86 => (0, 2)
 493 87 => (1, 0)
 494 88 => (0, 1)
 495 89 => (1, 2)
 496 90 => (0, 0)
 497 91 => (1, 1)
 498 92 => (0, 2)
 499 93 => (1, 0)
 500 94 => (0, 1)
 501 95 => (1, 2)
 502 96 => (0, 0)
 503 97 => (1, 1)
 504 98 => (0, 2)
 505 99 => (1, 0)
 506 size of a is 1312
 507 0 => NONE
 508 1 => (1, 1)
 509 2 => (0, 2)
 510 3 => (1, 0)
 511 4 => (0, 1)
 512 5 => (1, 2)
 513 6 => (0, 0)
 514 7 => (1, 1)
 515 8 => (0, 2)
 516 9 => (1, 0)
 517 10 => (0, 1)
 518 11 => (1, 2)
 519 12 => (0, 0)
 520 13 => (1, 1)
 521 14 => (0, 2)
 522 15 => (1, 0)
 523 16 => (0, 1)
 524 17 => (1, 2)
 525 18 => (0, 0)
 526 19 => (1, 1)
 527 20 => (0, 2)
 528 21 => (1, 0)
 529 22 => (0, 1)
 530 23 => (1, 2)
 531 24 => (0, 0)
 532 25 => (1, 1)
 533 26 => (0, 2)
 534 27 => (1, 0)
 535 28 => (0, 1)
 536 29 => (1, 2)
 537 30 => (0, 0)
 538 31 => (1, 1)
 539 32 => (0, 2)
 540 33 => (1, 0)
 541 34 => (0, 1)
 542 35 => (1, 2)
 543 36 => (0, 0)
 544 37 => (1, 1)
 545 38 => (0, 2)
 546 39 => (1, 0)
 547 40 => (0, 1)
 548 41 => (1, 2)
 549 42 => (0, 0)
 550 43 => (1, 1)
 551 44 => (0, 2)
 552 45 => (1, 0)
 553 46 => (0, 1)
 554 47 => (1, 2)
 555 48 => (0, 0)
 556 49 => (1, 1)
 557 50 => (0, 2)
 558 51 => (1, 0)
 559 52 => (0, 1)
 560 53 => (1, 2)
 561 54 => (0, 0)
 562 55 => (1, 1)
 563 56 => (0, 2)
 564 57 => (1, 0)
 565 58 => (0, 1)
 566 59 => (1, 2)
 567 60 => (0, 0)
 568 61 => (1, 1)
 569 62 => (0, 2)
 570 63 => (1, 0)
 571 64 => (0, 1)
 572 65 => (1, 2)
 573 66 => (0, 0)
 574 67 => (1, 1)
 575 68 => (0, 2)
 576 69 => (1, 0)
 577 70 => (0, 1)
 578 71 => (1, 2)
 579 72 => (0, 0)
 580 73 => (1, 1)
 581 74 => (0, 2)
 582 75 => (1, 0)
 583 76 => (0, 1)
 584 77 => (1, 2)
 585 78 => (0, 0)
 586 79 => (1, 1)
 587 80 => (0, 2)
 588 81 => (1, 0)
 589 82 => (0, 1)
 590 83 => (1, 2)
 591 84 => (0, 0)
 592 85 => (1, 1)
 593 86 => (0, 2)
 594 87 => (1, 0)
 595 88 => (0, 1)
 596 89 => (1, 2)
 597 90 => (0, 0)
 598 91 => (1, 1)
 599 92 => (0, 2)
 600 93 => (1, 0)
 601 94 => (0, 1)
 602 95 => (1, 2)
 603 96 => (0, 0)
 604 97 => (1, 1)
 605 98 => (0, 2)
 606 99 => (1, 0)
 607 size of a is 2800
 608 0 => NONE
 609 1 => (1, 1)
 610 2 => (0, 2)
 611 3 => (1, 0)
 612 4 => (0, 1)
 613 5 => (1, 2)
 614 6 => (0, 0)
 615 7 => (1, 1)
 616 8 => (0, 2)
 617 9 => (1, 0)
 618 10 => (0, 1)
 619 11 => (1, 2)
 620 12 => (0, 0)
 621 13 => (1, 1)
 622 14 => (0, 2)
 623 15 => (1, 0)
 624 16 => (0, 1)
 625 17 => (1, 2)
 626 18 => (0, 0)
 627 19 => (1, 1)
 628 20 => (0, 2)
 629 21 => (1, 0)
 630 22 => (0, 1)
 631 23 => (1, 2)
 632 24 => (0, 0)
 633 25 => (1, 1)
 634 26 => (0, 2)
 635 27 => (1, 0)
 636 28 => (0, 1)
 637 29 => (1, 2)
 638 30 => (0, 0)
 639 31 => (1, 1)
 640 32 => (0, 2)
 641 33 => (1, 0)
 642 34 => (0, 1)
 643 35 => (1, 2)
 644 36 => (0, 0)
 645 37 => (1, 1)
 646 38 => (0, 2)
 647 39 => (1, 0)
 648 40 => (0, 1)
 649 41 => (1, 2)
 650 42 => (0, 0)
 651 43 => (1, 1)
 652 44 => (0, 2)
 653 45 => (1, 0)
 654 46 => (0, 1)
 655 47 => (1, 2)
 656 48 => (0, 0)
 657 49 => (1, 1)
 658 50 => (0, 2)
 659 51 => (1, 0)
 660 52 => (0, 1)
 661 53 => (1, 2)
 662 54 => (0, 0)
 663 55 => (1, 1)
 664 56 => (0, 2)
 665 57 => (1, 0)
 666 58 => (0, 1)
 667 59 => (1, 2)
 668 60 => (0, 0)
 669 61 => (1, 1)
 670 62 => (0, 2)
 671 63 => (1, 0)
 672 64 => (0, 1)
 673 65 => (1, 2)
 674 66 => (0, 0)
 675 67 => (1, 1)
 676 68 => (0, 2)
 677 69 => (1, 0)
 678 70 => (0, 1)
 679 71 => (1, 2)
 680 72 => (0, 0)
 681 73 => (1, 1)
 682 74 => (0, 2)
 683 75 => (1, 0)
 684 76 => (0, 1)
 685 77 => (1, 2)
 686 78 => (0, 0)
 687 79 => (1, 1)
 688 80 => (0, 2)
 689 81 => (1, 0)
 690 82 => (0, 1)
 691 83 => (1, 2)
 692 84 => (0, 0)
 693 85 => (1, 1)
 694 86 => (0, 2)
 695 87 => (1, 0)
 696 88 => (0, 1)
 697 89 => (1, 2)
 698 90 => (0, 0)
 699 91 => (1, 1)
 700 92 => (0, 2)
 701 93 => (1, 0)
 702 94 => (0, 1)
 703 95 => (1, 2)
 704 96 => (0, 0)
 705 97 => (1, 1)
 706 98 => (0, 2)
 707 99 => (1, 0)
 708 size of a is 2000000
 709 (1, 1)
 710 size of a is 400112
 711 (1, 1)
 712 size is 200
 713 size is 80
 714 abcdef abcdef
 715 size is 64
 716 size is 40
 717 abcdef abcdef
 718 1 2