Annotation of embedaddon/php/ext/standard/tests/file/006_variation1.phpt, revision 1.1
1.1 ! misho 1: --TEST--
! 2: Test fileperms() & chmod() functions: usage variation - perms(0000-0777)
! 3: --SKIPIF--
! 4: <?php
! 5: if (substr(PHP_OS, 0, 3) == 'WIN') {
! 6: die('skip Not on Windows');
! 7: }
! 8: // Skip if being run by root
! 9: $filename = dirname(__FILE__)."/006_root_check.tmp";
! 10: $fp = fopen($filename, 'w');
! 11: fclose($fp);
! 12: if(fileowner($filename) == 0) {
! 13: unlink ($filename);
! 14: die('skip cannot be run as root');
! 15: }
! 16:
! 17: unlink($filename);
! 18:
! 19: ?>
! 20: --FILE--
! 21: <?php
! 22: /*
! 23: Prototype: int fileperms ( string $filename );
! 24: Description: Returns the permissions on the file, or FALSE in case of an error
! 25:
! 26: Prototype: bool chmod ( string $filename, int $mode );
! 27: Description: Attempts to change the mode of the file specified by
! 28: filename to that given in mode
! 29: */
! 30:
! 31: echo "*** Testing fileperms() & chmod() : usage variations ***\n";
! 32:
! 33: $file_name = dirname(__FILE__)."/006_variation1.tmp";
! 34: $file_handle = fopen($file_name, "w");
! 35: fclose($file_handle);
! 36: $dir_name = dirname(__FILE__)."/006_variation1";
! 37: mkdir($dir_name);
! 38:
! 39: $count = 1;
! 40: echo "-- Testing all permission from octal 0000 to octal 0777 on file and dir --\n";
! 41: for($mode = 0000; $mode <= 0777; $mode++) {
! 42: echo "-- Iteration $count --\n";
! 43: var_dump( chmod($file_name, $mode) );
! 44: printf("%o", fileperms($file_name) );
! 45: echo "\n";
! 46: clearstatcache();
! 47:
! 48: var_dump( chmod($dir_name, $mode) );
! 49: printf("%o", fileperms($dir_name) );
! 50: echo "\n";
! 51: clearstatcache();
! 52: $count++;
! 53: }
! 54:
! 55: echo "*** Done ***\n";
! 56: ?>
! 57: --CLEAN--
! 58: <?php
! 59: chmod(dirname(__FILE__)."/006_variation1.tmp", 0777);
! 60: chmod(dirname(__FILE__)."/006_variation1", 0777);
! 61: unlink(dirname(__FILE__)."/006_variation1.tmp");
! 62: rmdir(dirname(__FILE__)."/006_variation1");
! 63: ?>
! 64: --EXPECTF--
! 65: *** Testing fileperms() & chmod() : usage variations ***
! 66: -- Testing all permission from octal 0000 to octal 0777 on file and dir --
! 67: -- Iteration 1 --
! 68: bool(true)
! 69: 100000
! 70: bool(true)
! 71: 40000
! 72: -- Iteration 2 --
! 73: bool(true)
! 74: 100001
! 75: bool(true)
! 76: 40001
! 77: -- Iteration 3 --
! 78: bool(true)
! 79: 100002
! 80: bool(true)
! 81: 40002
! 82: -- Iteration 4 --
! 83: bool(true)
! 84: 100003
! 85: bool(true)
! 86: 40003
! 87: -- Iteration 5 --
! 88: bool(true)
! 89: 100004
! 90: bool(true)
! 91: 40004
! 92: -- Iteration 6 --
! 93: bool(true)
! 94: 100005
! 95: bool(true)
! 96: 40005
! 97: -- Iteration 7 --
! 98: bool(true)
! 99: 100006
! 100: bool(true)
! 101: 40006
! 102: -- Iteration 8 --
! 103: bool(true)
! 104: 100007
! 105: bool(true)
! 106: 40007
! 107: -- Iteration 9 --
! 108: bool(true)
! 109: 100010
! 110: bool(true)
! 111: 40010
! 112: -- Iteration 10 --
! 113: bool(true)
! 114: 100011
! 115: bool(true)
! 116: 40011
! 117: -- Iteration 11 --
! 118: bool(true)
! 119: 100012
! 120: bool(true)
! 121: 40012
! 122: -- Iteration 12 --
! 123: bool(true)
! 124: 100013
! 125: bool(true)
! 126: 40013
! 127: -- Iteration 13 --
! 128: bool(true)
! 129: 100014
! 130: bool(true)
! 131: 40014
! 132: -- Iteration 14 --
! 133: bool(true)
! 134: 100015
! 135: bool(true)
! 136: 40015
! 137: -- Iteration 15 --
! 138: bool(true)
! 139: 100016
! 140: bool(true)
! 141: 40016
! 142: -- Iteration 16 --
! 143: bool(true)
! 144: 100017
! 145: bool(true)
! 146: 40017
! 147: -- Iteration 17 --
! 148: bool(true)
! 149: 100020
! 150: bool(true)
! 151: 40020
! 152: -- Iteration 18 --
! 153: bool(true)
! 154: 100021
! 155: bool(true)
! 156: 40021
! 157: -- Iteration 19 --
! 158: bool(true)
! 159: 100022
! 160: bool(true)
! 161: 40022
! 162: -- Iteration 20 --
! 163: bool(true)
! 164: 100023
! 165: bool(true)
! 166: 40023
! 167: -- Iteration 21 --
! 168: bool(true)
! 169: 100024
! 170: bool(true)
! 171: 40024
! 172: -- Iteration 22 --
! 173: bool(true)
! 174: 100025
! 175: bool(true)
! 176: 40025
! 177: -- Iteration 23 --
! 178: bool(true)
! 179: 100026
! 180: bool(true)
! 181: 40026
! 182: -- Iteration 24 --
! 183: bool(true)
! 184: 100027
! 185: bool(true)
! 186: 40027
! 187: -- Iteration 25 --
! 188: bool(true)
! 189: 100030
! 190: bool(true)
! 191: 40030
! 192: -- Iteration 26 --
! 193: bool(true)
! 194: 100031
! 195: bool(true)
! 196: 40031
! 197: -- Iteration 27 --
! 198: bool(true)
! 199: 100032
! 200: bool(true)
! 201: 40032
! 202: -- Iteration 28 --
! 203: bool(true)
! 204: 100033
! 205: bool(true)
! 206: 40033
! 207: -- Iteration 29 --
! 208: bool(true)
! 209: 100034
! 210: bool(true)
! 211: 40034
! 212: -- Iteration 30 --
! 213: bool(true)
! 214: 100035
! 215: bool(true)
! 216: 40035
! 217: -- Iteration 31 --
! 218: bool(true)
! 219: 100036
! 220: bool(true)
! 221: 40036
! 222: -- Iteration 32 --
! 223: bool(true)
! 224: 100037
! 225: bool(true)
! 226: 40037
! 227: -- Iteration 33 --
! 228: bool(true)
! 229: 100040
! 230: bool(true)
! 231: 40040
! 232: -- Iteration 34 --
! 233: bool(true)
! 234: 100041
! 235: bool(true)
! 236: 40041
! 237: -- Iteration 35 --
! 238: bool(true)
! 239: 100042
! 240: bool(true)
! 241: 40042
! 242: -- Iteration 36 --
! 243: bool(true)
! 244: 100043
! 245: bool(true)
! 246: 40043
! 247: -- Iteration 37 --
! 248: bool(true)
! 249: 100044
! 250: bool(true)
! 251: 40044
! 252: -- Iteration 38 --
! 253: bool(true)
! 254: 100045
! 255: bool(true)
! 256: 40045
! 257: -- Iteration 39 --
! 258: bool(true)
! 259: 100046
! 260: bool(true)
! 261: 40046
! 262: -- Iteration 40 --
! 263: bool(true)
! 264: 100047
! 265: bool(true)
! 266: 40047
! 267: -- Iteration 41 --
! 268: bool(true)
! 269: 100050
! 270: bool(true)
! 271: 40050
! 272: -- Iteration 42 --
! 273: bool(true)
! 274: 100051
! 275: bool(true)
! 276: 40051
! 277: -- Iteration 43 --
! 278: bool(true)
! 279: 100052
! 280: bool(true)
! 281: 40052
! 282: -- Iteration 44 --
! 283: bool(true)
! 284: 100053
! 285: bool(true)
! 286: 40053
! 287: -- Iteration 45 --
! 288: bool(true)
! 289: 100054
! 290: bool(true)
! 291: 40054
! 292: -- Iteration 46 --
! 293: bool(true)
! 294: 100055
! 295: bool(true)
! 296: 40055
! 297: -- Iteration 47 --
! 298: bool(true)
! 299: 100056
! 300: bool(true)
! 301: 40056
! 302: -- Iteration 48 --
! 303: bool(true)
! 304: 100057
! 305: bool(true)
! 306: 40057
! 307: -- Iteration 49 --
! 308: bool(true)
! 309: 100060
! 310: bool(true)
! 311: 40060
! 312: -- Iteration 50 --
! 313: bool(true)
! 314: 100061
! 315: bool(true)
! 316: 40061
! 317: -- Iteration 51 --
! 318: bool(true)
! 319: 100062
! 320: bool(true)
! 321: 40062
! 322: -- Iteration 52 --
! 323: bool(true)
! 324: 100063
! 325: bool(true)
! 326: 40063
! 327: -- Iteration 53 --
! 328: bool(true)
! 329: 100064
! 330: bool(true)
! 331: 40064
! 332: -- Iteration 54 --
! 333: bool(true)
! 334: 100065
! 335: bool(true)
! 336: 40065
! 337: -- Iteration 55 --
! 338: bool(true)
! 339: 100066
! 340: bool(true)
! 341: 40066
! 342: -- Iteration 56 --
! 343: bool(true)
! 344: 100067
! 345: bool(true)
! 346: 40067
! 347: -- Iteration 57 --
! 348: bool(true)
! 349: 100070
! 350: bool(true)
! 351: 40070
! 352: -- Iteration 58 --
! 353: bool(true)
! 354: 100071
! 355: bool(true)
! 356: 40071
! 357: -- Iteration 59 --
! 358: bool(true)
! 359: 100072
! 360: bool(true)
! 361: 40072
! 362: -- Iteration 60 --
! 363: bool(true)
! 364: 100073
! 365: bool(true)
! 366: 40073
! 367: -- Iteration 61 --
! 368: bool(true)
! 369: 100074
! 370: bool(true)
! 371: 40074
! 372: -- Iteration 62 --
! 373: bool(true)
! 374: 100075
! 375: bool(true)
! 376: 40075
! 377: -- Iteration 63 --
! 378: bool(true)
! 379: 100076
! 380: bool(true)
! 381: 40076
! 382: -- Iteration 64 --
! 383: bool(true)
! 384: 100077
! 385: bool(true)
! 386: 40077
! 387: -- Iteration 65 --
! 388: bool(true)
! 389: 100100
! 390: bool(true)
! 391: 40100
! 392: -- Iteration 66 --
! 393: bool(true)
! 394: 100101
! 395: bool(true)
! 396: 40101
! 397: -- Iteration 67 --
! 398: bool(true)
! 399: 100102
! 400: bool(true)
! 401: 40102
! 402: -- Iteration 68 --
! 403: bool(true)
! 404: 100103
! 405: bool(true)
! 406: 40103
! 407: -- Iteration 69 --
! 408: bool(true)
! 409: 100104
! 410: bool(true)
! 411: 40104
! 412: -- Iteration 70 --
! 413: bool(true)
! 414: 100105
! 415: bool(true)
! 416: 40105
! 417: -- Iteration 71 --
! 418: bool(true)
! 419: 100106
! 420: bool(true)
! 421: 40106
! 422: -- Iteration 72 --
! 423: bool(true)
! 424: 100107
! 425: bool(true)
! 426: 40107
! 427: -- Iteration 73 --
! 428: bool(true)
! 429: 100110
! 430: bool(true)
! 431: 40110
! 432: -- Iteration 74 --
! 433: bool(true)
! 434: 100111
! 435: bool(true)
! 436: 40111
! 437: -- Iteration 75 --
! 438: bool(true)
! 439: 100112
! 440: bool(true)
! 441: 40112
! 442: -- Iteration 76 --
! 443: bool(true)
! 444: 100113
! 445: bool(true)
! 446: 40113
! 447: -- Iteration 77 --
! 448: bool(true)
! 449: 100114
! 450: bool(true)
! 451: 40114
! 452: -- Iteration 78 --
! 453: bool(true)
! 454: 100115
! 455: bool(true)
! 456: 40115
! 457: -- Iteration 79 --
! 458: bool(true)
! 459: 100116
! 460: bool(true)
! 461: 40116
! 462: -- Iteration 80 --
! 463: bool(true)
! 464: 100117
! 465: bool(true)
! 466: 40117
! 467: -- Iteration 81 --
! 468: bool(true)
! 469: 100120
! 470: bool(true)
! 471: 40120
! 472: -- Iteration 82 --
! 473: bool(true)
! 474: 100121
! 475: bool(true)
! 476: 40121
! 477: -- Iteration 83 --
! 478: bool(true)
! 479: 100122
! 480: bool(true)
! 481: 40122
! 482: -- Iteration 84 --
! 483: bool(true)
! 484: 100123
! 485: bool(true)
! 486: 40123
! 487: -- Iteration 85 --
! 488: bool(true)
! 489: 100124
! 490: bool(true)
! 491: 40124
! 492: -- Iteration 86 --
! 493: bool(true)
! 494: 100125
! 495: bool(true)
! 496: 40125
! 497: -- Iteration 87 --
! 498: bool(true)
! 499: 100126
! 500: bool(true)
! 501: 40126
! 502: -- Iteration 88 --
! 503: bool(true)
! 504: 100127
! 505: bool(true)
! 506: 40127
! 507: -- Iteration 89 --
! 508: bool(true)
! 509: 100130
! 510: bool(true)
! 511: 40130
! 512: -- Iteration 90 --
! 513: bool(true)
! 514: 100131
! 515: bool(true)
! 516: 40131
! 517: -- Iteration 91 --
! 518: bool(true)
! 519: 100132
! 520: bool(true)
! 521: 40132
! 522: -- Iteration 92 --
! 523: bool(true)
! 524: 100133
! 525: bool(true)
! 526: 40133
! 527: -- Iteration 93 --
! 528: bool(true)
! 529: 100134
! 530: bool(true)
! 531: 40134
! 532: -- Iteration 94 --
! 533: bool(true)
! 534: 100135
! 535: bool(true)
! 536: 40135
! 537: -- Iteration 95 --
! 538: bool(true)
! 539: 100136
! 540: bool(true)
! 541: 40136
! 542: -- Iteration 96 --
! 543: bool(true)
! 544: 100137
! 545: bool(true)
! 546: 40137
! 547: -- Iteration 97 --
! 548: bool(true)
! 549: 100140
! 550: bool(true)
! 551: 40140
! 552: -- Iteration 98 --
! 553: bool(true)
! 554: 100141
! 555: bool(true)
! 556: 40141
! 557: -- Iteration 99 --
! 558: bool(true)
! 559: 100142
! 560: bool(true)
! 561: 40142
! 562: -- Iteration 100 --
! 563: bool(true)
! 564: 100143
! 565: bool(true)
! 566: 40143
! 567: -- Iteration 101 --
! 568: bool(true)
! 569: 100144
! 570: bool(true)
! 571: 40144
! 572: -- Iteration 102 --
! 573: bool(true)
! 574: 100145
! 575: bool(true)
! 576: 40145
! 577: -- Iteration 103 --
! 578: bool(true)
! 579: 100146
! 580: bool(true)
! 581: 40146
! 582: -- Iteration 104 --
! 583: bool(true)
! 584: 100147
! 585: bool(true)
! 586: 40147
! 587: -- Iteration 105 --
! 588: bool(true)
! 589: 100150
! 590: bool(true)
! 591: 40150
! 592: -- Iteration 106 --
! 593: bool(true)
! 594: 100151
! 595: bool(true)
! 596: 40151
! 597: -- Iteration 107 --
! 598: bool(true)
! 599: 100152
! 600: bool(true)
! 601: 40152
! 602: -- Iteration 108 --
! 603: bool(true)
! 604: 100153
! 605: bool(true)
! 606: 40153
! 607: -- Iteration 109 --
! 608: bool(true)
! 609: 100154
! 610: bool(true)
! 611: 40154
! 612: -- Iteration 110 --
! 613: bool(true)
! 614: 100155
! 615: bool(true)
! 616: 40155
! 617: -- Iteration 111 --
! 618: bool(true)
! 619: 100156
! 620: bool(true)
! 621: 40156
! 622: -- Iteration 112 --
! 623: bool(true)
! 624: 100157
! 625: bool(true)
! 626: 40157
! 627: -- Iteration 113 --
! 628: bool(true)
! 629: 100160
! 630: bool(true)
! 631: 40160
! 632: -- Iteration 114 --
! 633: bool(true)
! 634: 100161
! 635: bool(true)
! 636: 40161
! 637: -- Iteration 115 --
! 638: bool(true)
! 639: 100162
! 640: bool(true)
! 641: 40162
! 642: -- Iteration 116 --
! 643: bool(true)
! 644: 100163
! 645: bool(true)
! 646: 40163
! 647: -- Iteration 117 --
! 648: bool(true)
! 649: 100164
! 650: bool(true)
! 651: 40164
! 652: -- Iteration 118 --
! 653: bool(true)
! 654: 100165
! 655: bool(true)
! 656: 40165
! 657: -- Iteration 119 --
! 658: bool(true)
! 659: 100166
! 660: bool(true)
! 661: 40166
! 662: -- Iteration 120 --
! 663: bool(true)
! 664: 100167
! 665: bool(true)
! 666: 40167
! 667: -- Iteration 121 --
! 668: bool(true)
! 669: 100170
! 670: bool(true)
! 671: 40170
! 672: -- Iteration 122 --
! 673: bool(true)
! 674: 100171
! 675: bool(true)
! 676: 40171
! 677: -- Iteration 123 --
! 678: bool(true)
! 679: 100172
! 680: bool(true)
! 681: 40172
! 682: -- Iteration 124 --
! 683: bool(true)
! 684: 100173
! 685: bool(true)
! 686: 40173
! 687: -- Iteration 125 --
! 688: bool(true)
! 689: 100174
! 690: bool(true)
! 691: 40174
! 692: -- Iteration 126 --
! 693: bool(true)
! 694: 100175
! 695: bool(true)
! 696: 40175
! 697: -- Iteration 127 --
! 698: bool(true)
! 699: 100176
! 700: bool(true)
! 701: 40176
! 702: -- Iteration 128 --
! 703: bool(true)
! 704: 100177
! 705: bool(true)
! 706: 40177
! 707: -- Iteration 129 --
! 708: bool(true)
! 709: 100200
! 710: bool(true)
! 711: 40200
! 712: -- Iteration 130 --
! 713: bool(true)
! 714: 100201
! 715: bool(true)
! 716: 40201
! 717: -- Iteration 131 --
! 718: bool(true)
! 719: 100202
! 720: bool(true)
! 721: 40202
! 722: -- Iteration 132 --
! 723: bool(true)
! 724: 100203
! 725: bool(true)
! 726: 40203
! 727: -- Iteration 133 --
! 728: bool(true)
! 729: 100204
! 730: bool(true)
! 731: 40204
! 732: -- Iteration 134 --
! 733: bool(true)
! 734: 100205
! 735: bool(true)
! 736: 40205
! 737: -- Iteration 135 --
! 738: bool(true)
! 739: 100206
! 740: bool(true)
! 741: 40206
! 742: -- Iteration 136 --
! 743: bool(true)
! 744: 100207
! 745: bool(true)
! 746: 40207
! 747: -- Iteration 137 --
! 748: bool(true)
! 749: 100210
! 750: bool(true)
! 751: 40210
! 752: -- Iteration 138 --
! 753: bool(true)
! 754: 100211
! 755: bool(true)
! 756: 40211
! 757: -- Iteration 139 --
! 758: bool(true)
! 759: 100212
! 760: bool(true)
! 761: 40212
! 762: -- Iteration 140 --
! 763: bool(true)
! 764: 100213
! 765: bool(true)
! 766: 40213
! 767: -- Iteration 141 --
! 768: bool(true)
! 769: 100214
! 770: bool(true)
! 771: 40214
! 772: -- Iteration 142 --
! 773: bool(true)
! 774: 100215
! 775: bool(true)
! 776: 40215
! 777: -- Iteration 143 --
! 778: bool(true)
! 779: 100216
! 780: bool(true)
! 781: 40216
! 782: -- Iteration 144 --
! 783: bool(true)
! 784: 100217
! 785: bool(true)
! 786: 40217
! 787: -- Iteration 145 --
! 788: bool(true)
! 789: 100220
! 790: bool(true)
! 791: 40220
! 792: -- Iteration 146 --
! 793: bool(true)
! 794: 100221
! 795: bool(true)
! 796: 40221
! 797: -- Iteration 147 --
! 798: bool(true)
! 799: 100222
! 800: bool(true)
! 801: 40222
! 802: -- Iteration 148 --
! 803: bool(true)
! 804: 100223
! 805: bool(true)
! 806: 40223
! 807: -- Iteration 149 --
! 808: bool(true)
! 809: 100224
! 810: bool(true)
! 811: 40224
! 812: -- Iteration 150 --
! 813: bool(true)
! 814: 100225
! 815: bool(true)
! 816: 40225
! 817: -- Iteration 151 --
! 818: bool(true)
! 819: 100226
! 820: bool(true)
! 821: 40226
! 822: -- Iteration 152 --
! 823: bool(true)
! 824: 100227
! 825: bool(true)
! 826: 40227
! 827: -- Iteration 153 --
! 828: bool(true)
! 829: 100230
! 830: bool(true)
! 831: 40230
! 832: -- Iteration 154 --
! 833: bool(true)
! 834: 100231
! 835: bool(true)
! 836: 40231
! 837: -- Iteration 155 --
! 838: bool(true)
! 839: 100232
! 840: bool(true)
! 841: 40232
! 842: -- Iteration 156 --
! 843: bool(true)
! 844: 100233
! 845: bool(true)
! 846: 40233
! 847: -- Iteration 157 --
! 848: bool(true)
! 849: 100234
! 850: bool(true)
! 851: 40234
! 852: -- Iteration 158 --
! 853: bool(true)
! 854: 100235
! 855: bool(true)
! 856: 40235
! 857: -- Iteration 159 --
! 858: bool(true)
! 859: 100236
! 860: bool(true)
! 861: 40236
! 862: -- Iteration 160 --
! 863: bool(true)
! 864: 100237
! 865: bool(true)
! 866: 40237
! 867: -- Iteration 161 --
! 868: bool(true)
! 869: 100240
! 870: bool(true)
! 871: 40240
! 872: -- Iteration 162 --
! 873: bool(true)
! 874: 100241
! 875: bool(true)
! 876: 40241
! 877: -- Iteration 163 --
! 878: bool(true)
! 879: 100242
! 880: bool(true)
! 881: 40242
! 882: -- Iteration 164 --
! 883: bool(true)
! 884: 100243
! 885: bool(true)
! 886: 40243
! 887: -- Iteration 165 --
! 888: bool(true)
! 889: 100244
! 890: bool(true)
! 891: 40244
! 892: -- Iteration 166 --
! 893: bool(true)
! 894: 100245
! 895: bool(true)
! 896: 40245
! 897: -- Iteration 167 --
! 898: bool(true)
! 899: 100246
! 900: bool(true)
! 901: 40246
! 902: -- Iteration 168 --
! 903: bool(true)
! 904: 100247
! 905: bool(true)
! 906: 40247
! 907: -- Iteration 169 --
! 908: bool(true)
! 909: 100250
! 910: bool(true)
! 911: 40250
! 912: -- Iteration 170 --
! 913: bool(true)
! 914: 100251
! 915: bool(true)
! 916: 40251
! 917: -- Iteration 171 --
! 918: bool(true)
! 919: 100252
! 920: bool(true)
! 921: 40252
! 922: -- Iteration 172 --
! 923: bool(true)
! 924: 100253
! 925: bool(true)
! 926: 40253
! 927: -- Iteration 173 --
! 928: bool(true)
! 929: 100254
! 930: bool(true)
! 931: 40254
! 932: -- Iteration 174 --
! 933: bool(true)
! 934: 100255
! 935: bool(true)
! 936: 40255
! 937: -- Iteration 175 --
! 938: bool(true)
! 939: 100256
! 940: bool(true)
! 941: 40256
! 942: -- Iteration 176 --
! 943: bool(true)
! 944: 100257
! 945: bool(true)
! 946: 40257
! 947: -- Iteration 177 --
! 948: bool(true)
! 949: 100260
! 950: bool(true)
! 951: 40260
! 952: -- Iteration 178 --
! 953: bool(true)
! 954: 100261
! 955: bool(true)
! 956: 40261
! 957: -- Iteration 179 --
! 958: bool(true)
! 959: 100262
! 960: bool(true)
! 961: 40262
! 962: -- Iteration 180 --
! 963: bool(true)
! 964: 100263
! 965: bool(true)
! 966: 40263
! 967: -- Iteration 181 --
! 968: bool(true)
! 969: 100264
! 970: bool(true)
! 971: 40264
! 972: -- Iteration 182 --
! 973: bool(true)
! 974: 100265
! 975: bool(true)
! 976: 40265
! 977: -- Iteration 183 --
! 978: bool(true)
! 979: 100266
! 980: bool(true)
! 981: 40266
! 982: -- Iteration 184 --
! 983: bool(true)
! 984: 100267
! 985: bool(true)
! 986: 40267
! 987: -- Iteration 185 --
! 988: bool(true)
! 989: 100270
! 990: bool(true)
! 991: 40270
! 992: -- Iteration 186 --
! 993: bool(true)
! 994: 100271
! 995: bool(true)
! 996: 40271
! 997: -- Iteration 187 --
! 998: bool(true)
! 999: 100272
! 1000: bool(true)
! 1001: 40272
! 1002: -- Iteration 188 --
! 1003: bool(true)
! 1004: 100273
! 1005: bool(true)
! 1006: 40273
! 1007: -- Iteration 189 --
! 1008: bool(true)
! 1009: 100274
! 1010: bool(true)
! 1011: 40274
! 1012: -- Iteration 190 --
! 1013: bool(true)
! 1014: 100275
! 1015: bool(true)
! 1016: 40275
! 1017: -- Iteration 191 --
! 1018: bool(true)
! 1019: 100276
! 1020: bool(true)
! 1021: 40276
! 1022: -- Iteration 192 --
! 1023: bool(true)
! 1024: 100277
! 1025: bool(true)
! 1026: 40277
! 1027: -- Iteration 193 --
! 1028: bool(true)
! 1029: 100300
! 1030: bool(true)
! 1031: 40300
! 1032: -- Iteration 194 --
! 1033: bool(true)
! 1034: 100301
! 1035: bool(true)
! 1036: 40301
! 1037: -- Iteration 195 --
! 1038: bool(true)
! 1039: 100302
! 1040: bool(true)
! 1041: 40302
! 1042: -- Iteration 196 --
! 1043: bool(true)
! 1044: 100303
! 1045: bool(true)
! 1046: 40303
! 1047: -- Iteration 197 --
! 1048: bool(true)
! 1049: 100304
! 1050: bool(true)
! 1051: 40304
! 1052: -- Iteration 198 --
! 1053: bool(true)
! 1054: 100305
! 1055: bool(true)
! 1056: 40305
! 1057: -- Iteration 199 --
! 1058: bool(true)
! 1059: 100306
! 1060: bool(true)
! 1061: 40306
! 1062: -- Iteration 200 --
! 1063: bool(true)
! 1064: 100307
! 1065: bool(true)
! 1066: 40307
! 1067: -- Iteration 201 --
! 1068: bool(true)
! 1069: 100310
! 1070: bool(true)
! 1071: 40310
! 1072: -- Iteration 202 --
! 1073: bool(true)
! 1074: 100311
! 1075: bool(true)
! 1076: 40311
! 1077: -- Iteration 203 --
! 1078: bool(true)
! 1079: 100312
! 1080: bool(true)
! 1081: 40312
! 1082: -- Iteration 204 --
! 1083: bool(true)
! 1084: 100313
! 1085: bool(true)
! 1086: 40313
! 1087: -- Iteration 205 --
! 1088: bool(true)
! 1089: 100314
! 1090: bool(true)
! 1091: 40314
! 1092: -- Iteration 206 --
! 1093: bool(true)
! 1094: 100315
! 1095: bool(true)
! 1096: 40315
! 1097: -- Iteration 207 --
! 1098: bool(true)
! 1099: 100316
! 1100: bool(true)
! 1101: 40316
! 1102: -- Iteration 208 --
! 1103: bool(true)
! 1104: 100317
! 1105: bool(true)
! 1106: 40317
! 1107: -- Iteration 209 --
! 1108: bool(true)
! 1109: 100320
! 1110: bool(true)
! 1111: 40320
! 1112: -- Iteration 210 --
! 1113: bool(true)
! 1114: 100321
! 1115: bool(true)
! 1116: 40321
! 1117: -- Iteration 211 --
! 1118: bool(true)
! 1119: 100322
! 1120: bool(true)
! 1121: 40322
! 1122: -- Iteration 212 --
! 1123: bool(true)
! 1124: 100323
! 1125: bool(true)
! 1126: 40323
! 1127: -- Iteration 213 --
! 1128: bool(true)
! 1129: 100324
! 1130: bool(true)
! 1131: 40324
! 1132: -- Iteration 214 --
! 1133: bool(true)
! 1134: 100325
! 1135: bool(true)
! 1136: 40325
! 1137: -- Iteration 215 --
! 1138: bool(true)
! 1139: 100326
! 1140: bool(true)
! 1141: 40326
! 1142: -- Iteration 216 --
! 1143: bool(true)
! 1144: 100327
! 1145: bool(true)
! 1146: 40327
! 1147: -- Iteration 217 --
! 1148: bool(true)
! 1149: 100330
! 1150: bool(true)
! 1151: 40330
! 1152: -- Iteration 218 --
! 1153: bool(true)
! 1154: 100331
! 1155: bool(true)
! 1156: 40331
! 1157: -- Iteration 219 --
! 1158: bool(true)
! 1159: 100332
! 1160: bool(true)
! 1161: 40332
! 1162: -- Iteration 220 --
! 1163: bool(true)
! 1164: 100333
! 1165: bool(true)
! 1166: 40333
! 1167: -- Iteration 221 --
! 1168: bool(true)
! 1169: 100334
! 1170: bool(true)
! 1171: 40334
! 1172: -- Iteration 222 --
! 1173: bool(true)
! 1174: 100335
! 1175: bool(true)
! 1176: 40335
! 1177: -- Iteration 223 --
! 1178: bool(true)
! 1179: 100336
! 1180: bool(true)
! 1181: 40336
! 1182: -- Iteration 224 --
! 1183: bool(true)
! 1184: 100337
! 1185: bool(true)
! 1186: 40337
! 1187: -- Iteration 225 --
! 1188: bool(true)
! 1189: 100340
! 1190: bool(true)
! 1191: 40340
! 1192: -- Iteration 226 --
! 1193: bool(true)
! 1194: 100341
! 1195: bool(true)
! 1196: 40341
! 1197: -- Iteration 227 --
! 1198: bool(true)
! 1199: 100342
! 1200: bool(true)
! 1201: 40342
! 1202: -- Iteration 228 --
! 1203: bool(true)
! 1204: 100343
! 1205: bool(true)
! 1206: 40343
! 1207: -- Iteration 229 --
! 1208: bool(true)
! 1209: 100344
! 1210: bool(true)
! 1211: 40344
! 1212: -- Iteration 230 --
! 1213: bool(true)
! 1214: 100345
! 1215: bool(true)
! 1216: 40345
! 1217: -- Iteration 231 --
! 1218: bool(true)
! 1219: 100346
! 1220: bool(true)
! 1221: 40346
! 1222: -- Iteration 232 --
! 1223: bool(true)
! 1224: 100347
! 1225: bool(true)
! 1226: 40347
! 1227: -- Iteration 233 --
! 1228: bool(true)
! 1229: 100350
! 1230: bool(true)
! 1231: 40350
! 1232: -- Iteration 234 --
! 1233: bool(true)
! 1234: 100351
! 1235: bool(true)
! 1236: 40351
! 1237: -- Iteration 235 --
! 1238: bool(true)
! 1239: 100352
! 1240: bool(true)
! 1241: 40352
! 1242: -- Iteration 236 --
! 1243: bool(true)
! 1244: 100353
! 1245: bool(true)
! 1246: 40353
! 1247: -- Iteration 237 --
! 1248: bool(true)
! 1249: 100354
! 1250: bool(true)
! 1251: 40354
! 1252: -- Iteration 238 --
! 1253: bool(true)
! 1254: 100355
! 1255: bool(true)
! 1256: 40355
! 1257: -- Iteration 239 --
! 1258: bool(true)
! 1259: 100356
! 1260: bool(true)
! 1261: 40356
! 1262: -- Iteration 240 --
! 1263: bool(true)
! 1264: 100357
! 1265: bool(true)
! 1266: 40357
! 1267: -- Iteration 241 --
! 1268: bool(true)
! 1269: 100360
! 1270: bool(true)
! 1271: 40360
! 1272: -- Iteration 242 --
! 1273: bool(true)
! 1274: 100361
! 1275: bool(true)
! 1276: 40361
! 1277: -- Iteration 243 --
! 1278: bool(true)
! 1279: 100362
! 1280: bool(true)
! 1281: 40362
! 1282: -- Iteration 244 --
! 1283: bool(true)
! 1284: 100363
! 1285: bool(true)
! 1286: 40363
! 1287: -- Iteration 245 --
! 1288: bool(true)
! 1289: 100364
! 1290: bool(true)
! 1291: 40364
! 1292: -- Iteration 246 --
! 1293: bool(true)
! 1294: 100365
! 1295: bool(true)
! 1296: 40365
! 1297: -- Iteration 247 --
! 1298: bool(true)
! 1299: 100366
! 1300: bool(true)
! 1301: 40366
! 1302: -- Iteration 248 --
! 1303: bool(true)
! 1304: 100367
! 1305: bool(true)
! 1306: 40367
! 1307: -- Iteration 249 --
! 1308: bool(true)
! 1309: 100370
! 1310: bool(true)
! 1311: 40370
! 1312: -- Iteration 250 --
! 1313: bool(true)
! 1314: 100371
! 1315: bool(true)
! 1316: 40371
! 1317: -- Iteration 251 --
! 1318: bool(true)
! 1319: 100372
! 1320: bool(true)
! 1321: 40372
! 1322: -- Iteration 252 --
! 1323: bool(true)
! 1324: 100373
! 1325: bool(true)
! 1326: 40373
! 1327: -- Iteration 253 --
! 1328: bool(true)
! 1329: 100374
! 1330: bool(true)
! 1331: 40374
! 1332: -- Iteration 254 --
! 1333: bool(true)
! 1334: 100375
! 1335: bool(true)
! 1336: 40375
! 1337: -- Iteration 255 --
! 1338: bool(true)
! 1339: 100376
! 1340: bool(true)
! 1341: 40376
! 1342: -- Iteration 256 --
! 1343: bool(true)
! 1344: 100377
! 1345: bool(true)
! 1346: 40377
! 1347: -- Iteration 257 --
! 1348: bool(true)
! 1349: 100400
! 1350: bool(true)
! 1351: 40400
! 1352: -- Iteration 258 --
! 1353: bool(true)
! 1354: 100401
! 1355: bool(true)
! 1356: 40401
! 1357: -- Iteration 259 --
! 1358: bool(true)
! 1359: 100402
! 1360: bool(true)
! 1361: 40402
! 1362: -- Iteration 260 --
! 1363: bool(true)
! 1364: 100403
! 1365: bool(true)
! 1366: 40403
! 1367: -- Iteration 261 --
! 1368: bool(true)
! 1369: 100404
! 1370: bool(true)
! 1371: 40404
! 1372: -- Iteration 262 --
! 1373: bool(true)
! 1374: 100405
! 1375: bool(true)
! 1376: 40405
! 1377: -- Iteration 263 --
! 1378: bool(true)
! 1379: 100406
! 1380: bool(true)
! 1381: 40406
! 1382: -- Iteration 264 --
! 1383: bool(true)
! 1384: 100407
! 1385: bool(true)
! 1386: 40407
! 1387: -- Iteration 265 --
! 1388: bool(true)
! 1389: 100410
! 1390: bool(true)
! 1391: 40410
! 1392: -- Iteration 266 --
! 1393: bool(true)
! 1394: 100411
! 1395: bool(true)
! 1396: 40411
! 1397: -- Iteration 267 --
! 1398: bool(true)
! 1399: 100412
! 1400: bool(true)
! 1401: 40412
! 1402: -- Iteration 268 --
! 1403: bool(true)
! 1404: 100413
! 1405: bool(true)
! 1406: 40413
! 1407: -- Iteration 269 --
! 1408: bool(true)
! 1409: 100414
! 1410: bool(true)
! 1411: 40414
! 1412: -- Iteration 270 --
! 1413: bool(true)
! 1414: 100415
! 1415: bool(true)
! 1416: 40415
! 1417: -- Iteration 271 --
! 1418: bool(true)
! 1419: 100416
! 1420: bool(true)
! 1421: 40416
! 1422: -- Iteration 272 --
! 1423: bool(true)
! 1424: 100417
! 1425: bool(true)
! 1426: 40417
! 1427: -- Iteration 273 --
! 1428: bool(true)
! 1429: 100420
! 1430: bool(true)
! 1431: 40420
! 1432: -- Iteration 274 --
! 1433: bool(true)
! 1434: 100421
! 1435: bool(true)
! 1436: 40421
! 1437: -- Iteration 275 --
! 1438: bool(true)
! 1439: 100422
! 1440: bool(true)
! 1441: 40422
! 1442: -- Iteration 276 --
! 1443: bool(true)
! 1444: 100423
! 1445: bool(true)
! 1446: 40423
! 1447: -- Iteration 277 --
! 1448: bool(true)
! 1449: 100424
! 1450: bool(true)
! 1451: 40424
! 1452: -- Iteration 278 --
! 1453: bool(true)
! 1454: 100425
! 1455: bool(true)
! 1456: 40425
! 1457: -- Iteration 279 --
! 1458: bool(true)
! 1459: 100426
! 1460: bool(true)
! 1461: 40426
! 1462: -- Iteration 280 --
! 1463: bool(true)
! 1464: 100427
! 1465: bool(true)
! 1466: 40427
! 1467: -- Iteration 281 --
! 1468: bool(true)
! 1469: 100430
! 1470: bool(true)
! 1471: 40430
! 1472: -- Iteration 282 --
! 1473: bool(true)
! 1474: 100431
! 1475: bool(true)
! 1476: 40431
! 1477: -- Iteration 283 --
! 1478: bool(true)
! 1479: 100432
! 1480: bool(true)
! 1481: 40432
! 1482: -- Iteration 284 --
! 1483: bool(true)
! 1484: 100433
! 1485: bool(true)
! 1486: 40433
! 1487: -- Iteration 285 --
! 1488: bool(true)
! 1489: 100434
! 1490: bool(true)
! 1491: 40434
! 1492: -- Iteration 286 --
! 1493: bool(true)
! 1494: 100435
! 1495: bool(true)
! 1496: 40435
! 1497: -- Iteration 287 --
! 1498: bool(true)
! 1499: 100436
! 1500: bool(true)
! 1501: 40436
! 1502: -- Iteration 288 --
! 1503: bool(true)
! 1504: 100437
! 1505: bool(true)
! 1506: 40437
! 1507: -- Iteration 289 --
! 1508: bool(true)
! 1509: 100440
! 1510: bool(true)
! 1511: 40440
! 1512: -- Iteration 290 --
! 1513: bool(true)
! 1514: 100441
! 1515: bool(true)
! 1516: 40441
! 1517: -- Iteration 291 --
! 1518: bool(true)
! 1519: 100442
! 1520: bool(true)
! 1521: 40442
! 1522: -- Iteration 292 --
! 1523: bool(true)
! 1524: 100443
! 1525: bool(true)
! 1526: 40443
! 1527: -- Iteration 293 --
! 1528: bool(true)
! 1529: 100444
! 1530: bool(true)
! 1531: 40444
! 1532: -- Iteration 294 --
! 1533: bool(true)
! 1534: 100445
! 1535: bool(true)
! 1536: 40445
! 1537: -- Iteration 295 --
! 1538: bool(true)
! 1539: 100446
! 1540: bool(true)
! 1541: 40446
! 1542: -- Iteration 296 --
! 1543: bool(true)
! 1544: 100447
! 1545: bool(true)
! 1546: 40447
! 1547: -- Iteration 297 --
! 1548: bool(true)
! 1549: 100450
! 1550: bool(true)
! 1551: 40450
! 1552: -- Iteration 298 --
! 1553: bool(true)
! 1554: 100451
! 1555: bool(true)
! 1556: 40451
! 1557: -- Iteration 299 --
! 1558: bool(true)
! 1559: 100452
! 1560: bool(true)
! 1561: 40452
! 1562: -- Iteration 300 --
! 1563: bool(true)
! 1564: 100453
! 1565: bool(true)
! 1566: 40453
! 1567: -- Iteration 301 --
! 1568: bool(true)
! 1569: 100454
! 1570: bool(true)
! 1571: 40454
! 1572: -- Iteration 302 --
! 1573: bool(true)
! 1574: 100455
! 1575: bool(true)
! 1576: 40455
! 1577: -- Iteration 303 --
! 1578: bool(true)
! 1579: 100456
! 1580: bool(true)
! 1581: 40456
! 1582: -- Iteration 304 --
! 1583: bool(true)
! 1584: 100457
! 1585: bool(true)
! 1586: 40457
! 1587: -- Iteration 305 --
! 1588: bool(true)
! 1589: 100460
! 1590: bool(true)
! 1591: 40460
! 1592: -- Iteration 306 --
! 1593: bool(true)
! 1594: 100461
! 1595: bool(true)
! 1596: 40461
! 1597: -- Iteration 307 --
! 1598: bool(true)
! 1599: 100462
! 1600: bool(true)
! 1601: 40462
! 1602: -- Iteration 308 --
! 1603: bool(true)
! 1604: 100463
! 1605: bool(true)
! 1606: 40463
! 1607: -- Iteration 309 --
! 1608: bool(true)
! 1609: 100464
! 1610: bool(true)
! 1611: 40464
! 1612: -- Iteration 310 --
! 1613: bool(true)
! 1614: 100465
! 1615: bool(true)
! 1616: 40465
! 1617: -- Iteration 311 --
! 1618: bool(true)
! 1619: 100466
! 1620: bool(true)
! 1621: 40466
! 1622: -- Iteration 312 --
! 1623: bool(true)
! 1624: 100467
! 1625: bool(true)
! 1626: 40467
! 1627: -- Iteration 313 --
! 1628: bool(true)
! 1629: 100470
! 1630: bool(true)
! 1631: 40470
! 1632: -- Iteration 314 --
! 1633: bool(true)
! 1634: 100471
! 1635: bool(true)
! 1636: 40471
! 1637: -- Iteration 315 --
! 1638: bool(true)
! 1639: 100472
! 1640: bool(true)
! 1641: 40472
! 1642: -- Iteration 316 --
! 1643: bool(true)
! 1644: 100473
! 1645: bool(true)
! 1646: 40473
! 1647: -- Iteration 317 --
! 1648: bool(true)
! 1649: 100474
! 1650: bool(true)
! 1651: 40474
! 1652: -- Iteration 318 --
! 1653: bool(true)
! 1654: 100475
! 1655: bool(true)
! 1656: 40475
! 1657: -- Iteration 319 --
! 1658: bool(true)
! 1659: 100476
! 1660: bool(true)
! 1661: 40476
! 1662: -- Iteration 320 --
! 1663: bool(true)
! 1664: 100477
! 1665: bool(true)
! 1666: 40477
! 1667: -- Iteration 321 --
! 1668: bool(true)
! 1669: 100500
! 1670: bool(true)
! 1671: 40500
! 1672: -- Iteration 322 --
! 1673: bool(true)
! 1674: 100501
! 1675: bool(true)
! 1676: 40501
! 1677: -- Iteration 323 --
! 1678: bool(true)
! 1679: 100502
! 1680: bool(true)
! 1681: 40502
! 1682: -- Iteration 324 --
! 1683: bool(true)
! 1684: 100503
! 1685: bool(true)
! 1686: 40503
! 1687: -- Iteration 325 --
! 1688: bool(true)
! 1689: 100504
! 1690: bool(true)
! 1691: 40504
! 1692: -- Iteration 326 --
! 1693: bool(true)
! 1694: 100505
! 1695: bool(true)
! 1696: 40505
! 1697: -- Iteration 327 --
! 1698: bool(true)
! 1699: 100506
! 1700: bool(true)
! 1701: 40506
! 1702: -- Iteration 328 --
! 1703: bool(true)
! 1704: 100507
! 1705: bool(true)
! 1706: 40507
! 1707: -- Iteration 329 --
! 1708: bool(true)
! 1709: 100510
! 1710: bool(true)
! 1711: 40510
! 1712: -- Iteration 330 --
! 1713: bool(true)
! 1714: 100511
! 1715: bool(true)
! 1716: 40511
! 1717: -- Iteration 331 --
! 1718: bool(true)
! 1719: 100512
! 1720: bool(true)
! 1721: 40512
! 1722: -- Iteration 332 --
! 1723: bool(true)
! 1724: 100513
! 1725: bool(true)
! 1726: 40513
! 1727: -- Iteration 333 --
! 1728: bool(true)
! 1729: 100514
! 1730: bool(true)
! 1731: 40514
! 1732: -- Iteration 334 --
! 1733: bool(true)
! 1734: 100515
! 1735: bool(true)
! 1736: 40515
! 1737: -- Iteration 335 --
! 1738: bool(true)
! 1739: 100516
! 1740: bool(true)
! 1741: 40516
! 1742: -- Iteration 336 --
! 1743: bool(true)
! 1744: 100517
! 1745: bool(true)
! 1746: 40517
! 1747: -- Iteration 337 --
! 1748: bool(true)
! 1749: 100520
! 1750: bool(true)
! 1751: 40520
! 1752: -- Iteration 338 --
! 1753: bool(true)
! 1754: 100521
! 1755: bool(true)
! 1756: 40521
! 1757: -- Iteration 339 --
! 1758: bool(true)
! 1759: 100522
! 1760: bool(true)
! 1761: 40522
! 1762: -- Iteration 340 --
! 1763: bool(true)
! 1764: 100523
! 1765: bool(true)
! 1766: 40523
! 1767: -- Iteration 341 --
! 1768: bool(true)
! 1769: 100524
! 1770: bool(true)
! 1771: 40524
! 1772: -- Iteration 342 --
! 1773: bool(true)
! 1774: 100525
! 1775: bool(true)
! 1776: 40525
! 1777: -- Iteration 343 --
! 1778: bool(true)
! 1779: 100526
! 1780: bool(true)
! 1781: 40526
! 1782: -- Iteration 344 --
! 1783: bool(true)
! 1784: 100527
! 1785: bool(true)
! 1786: 40527
! 1787: -- Iteration 345 --
! 1788: bool(true)
! 1789: 100530
! 1790: bool(true)
! 1791: 40530
! 1792: -- Iteration 346 --
! 1793: bool(true)
! 1794: 100531
! 1795: bool(true)
! 1796: 40531
! 1797: -- Iteration 347 --
! 1798: bool(true)
! 1799: 100532
! 1800: bool(true)
! 1801: 40532
! 1802: -- Iteration 348 --
! 1803: bool(true)
! 1804: 100533
! 1805: bool(true)
! 1806: 40533
! 1807: -- Iteration 349 --
! 1808: bool(true)
! 1809: 100534
! 1810: bool(true)
! 1811: 40534
! 1812: -- Iteration 350 --
! 1813: bool(true)
! 1814: 100535
! 1815: bool(true)
! 1816: 40535
! 1817: -- Iteration 351 --
! 1818: bool(true)
! 1819: 100536
! 1820: bool(true)
! 1821: 40536
! 1822: -- Iteration 352 --
! 1823: bool(true)
! 1824: 100537
! 1825: bool(true)
! 1826: 40537
! 1827: -- Iteration 353 --
! 1828: bool(true)
! 1829: 100540
! 1830: bool(true)
! 1831: 40540
! 1832: -- Iteration 354 --
! 1833: bool(true)
! 1834: 100541
! 1835: bool(true)
! 1836: 40541
! 1837: -- Iteration 355 --
! 1838: bool(true)
! 1839: 100542
! 1840: bool(true)
! 1841: 40542
! 1842: -- Iteration 356 --
! 1843: bool(true)
! 1844: 100543
! 1845: bool(true)
! 1846: 40543
! 1847: -- Iteration 357 --
! 1848: bool(true)
! 1849: 100544
! 1850: bool(true)
! 1851: 40544
! 1852: -- Iteration 358 --
! 1853: bool(true)
! 1854: 100545
! 1855: bool(true)
! 1856: 40545
! 1857: -- Iteration 359 --
! 1858: bool(true)
! 1859: 100546
! 1860: bool(true)
! 1861: 40546
! 1862: -- Iteration 360 --
! 1863: bool(true)
! 1864: 100547
! 1865: bool(true)
! 1866: 40547
! 1867: -- Iteration 361 --
! 1868: bool(true)
! 1869: 100550
! 1870: bool(true)
! 1871: 40550
! 1872: -- Iteration 362 --
! 1873: bool(true)
! 1874: 100551
! 1875: bool(true)
! 1876: 40551
! 1877: -- Iteration 363 --
! 1878: bool(true)
! 1879: 100552
! 1880: bool(true)
! 1881: 40552
! 1882: -- Iteration 364 --
! 1883: bool(true)
! 1884: 100553
! 1885: bool(true)
! 1886: 40553
! 1887: -- Iteration 365 --
! 1888: bool(true)
! 1889: 100554
! 1890: bool(true)
! 1891: 40554
! 1892: -- Iteration 366 --
! 1893: bool(true)
! 1894: 100555
! 1895: bool(true)
! 1896: 40555
! 1897: -- Iteration 367 --
! 1898: bool(true)
! 1899: 100556
! 1900: bool(true)
! 1901: 40556
! 1902: -- Iteration 368 --
! 1903: bool(true)
! 1904: 100557
! 1905: bool(true)
! 1906: 40557
! 1907: -- Iteration 369 --
! 1908: bool(true)
! 1909: 100560
! 1910: bool(true)
! 1911: 40560
! 1912: -- Iteration 370 --
! 1913: bool(true)
! 1914: 100561
! 1915: bool(true)
! 1916: 40561
! 1917: -- Iteration 371 --
! 1918: bool(true)
! 1919: 100562
! 1920: bool(true)
! 1921: 40562
! 1922: -- Iteration 372 --
! 1923: bool(true)
! 1924: 100563
! 1925: bool(true)
! 1926: 40563
! 1927: -- Iteration 373 --
! 1928: bool(true)
! 1929: 100564
! 1930: bool(true)
! 1931: 40564
! 1932: -- Iteration 374 --
! 1933: bool(true)
! 1934: 100565
! 1935: bool(true)
! 1936: 40565
! 1937: -- Iteration 375 --
! 1938: bool(true)
! 1939: 100566
! 1940: bool(true)
! 1941: 40566
! 1942: -- Iteration 376 --
! 1943: bool(true)
! 1944: 100567
! 1945: bool(true)
! 1946: 40567
! 1947: -- Iteration 377 --
! 1948: bool(true)
! 1949: 100570
! 1950: bool(true)
! 1951: 40570
! 1952: -- Iteration 378 --
! 1953: bool(true)
! 1954: 100571
! 1955: bool(true)
! 1956: 40571
! 1957: -- Iteration 379 --
! 1958: bool(true)
! 1959: 100572
! 1960: bool(true)
! 1961: 40572
! 1962: -- Iteration 380 --
! 1963: bool(true)
! 1964: 100573
! 1965: bool(true)
! 1966: 40573
! 1967: -- Iteration 381 --
! 1968: bool(true)
! 1969: 100574
! 1970: bool(true)
! 1971: 40574
! 1972: -- Iteration 382 --
! 1973: bool(true)
! 1974: 100575
! 1975: bool(true)
! 1976: 40575
! 1977: -- Iteration 383 --
! 1978: bool(true)
! 1979: 100576
! 1980: bool(true)
! 1981: 40576
! 1982: -- Iteration 384 --
! 1983: bool(true)
! 1984: 100577
! 1985: bool(true)
! 1986: 40577
! 1987: -- Iteration 385 --
! 1988: bool(true)
! 1989: 100600
! 1990: bool(true)
! 1991: 40600
! 1992: -- Iteration 386 --
! 1993: bool(true)
! 1994: 100601
! 1995: bool(true)
! 1996: 40601
! 1997: -- Iteration 387 --
! 1998: bool(true)
! 1999: 100602
! 2000: bool(true)
! 2001: 40602
! 2002: -- Iteration 388 --
! 2003: bool(true)
! 2004: 100603
! 2005: bool(true)
! 2006: 40603
! 2007: -- Iteration 389 --
! 2008: bool(true)
! 2009: 100604
! 2010: bool(true)
! 2011: 40604
! 2012: -- Iteration 390 --
! 2013: bool(true)
! 2014: 100605
! 2015: bool(true)
! 2016: 40605
! 2017: -- Iteration 391 --
! 2018: bool(true)
! 2019: 100606
! 2020: bool(true)
! 2021: 40606
! 2022: -- Iteration 392 --
! 2023: bool(true)
! 2024: 100607
! 2025: bool(true)
! 2026: 40607
! 2027: -- Iteration 393 --
! 2028: bool(true)
! 2029: 100610
! 2030: bool(true)
! 2031: 40610
! 2032: -- Iteration 394 --
! 2033: bool(true)
! 2034: 100611
! 2035: bool(true)
! 2036: 40611
! 2037: -- Iteration 395 --
! 2038: bool(true)
! 2039: 100612
! 2040: bool(true)
! 2041: 40612
! 2042: -- Iteration 396 --
! 2043: bool(true)
! 2044: 100613
! 2045: bool(true)
! 2046: 40613
! 2047: -- Iteration 397 --
! 2048: bool(true)
! 2049: 100614
! 2050: bool(true)
! 2051: 40614
! 2052: -- Iteration 398 --
! 2053: bool(true)
! 2054: 100615
! 2055: bool(true)
! 2056: 40615
! 2057: -- Iteration 399 --
! 2058: bool(true)
! 2059: 100616
! 2060: bool(true)
! 2061: 40616
! 2062: -- Iteration 400 --
! 2063: bool(true)
! 2064: 100617
! 2065: bool(true)
! 2066: 40617
! 2067: -- Iteration 401 --
! 2068: bool(true)
! 2069: 100620
! 2070: bool(true)
! 2071: 40620
! 2072: -- Iteration 402 --
! 2073: bool(true)
! 2074: 100621
! 2075: bool(true)
! 2076: 40621
! 2077: -- Iteration 403 --
! 2078: bool(true)
! 2079: 100622
! 2080: bool(true)
! 2081: 40622
! 2082: -- Iteration 404 --
! 2083: bool(true)
! 2084: 100623
! 2085: bool(true)
! 2086: 40623
! 2087: -- Iteration 405 --
! 2088: bool(true)
! 2089: 100624
! 2090: bool(true)
! 2091: 40624
! 2092: -- Iteration 406 --
! 2093: bool(true)
! 2094: 100625
! 2095: bool(true)
! 2096: 40625
! 2097: -- Iteration 407 --
! 2098: bool(true)
! 2099: 100626
! 2100: bool(true)
! 2101: 40626
! 2102: -- Iteration 408 --
! 2103: bool(true)
! 2104: 100627
! 2105: bool(true)
! 2106: 40627
! 2107: -- Iteration 409 --
! 2108: bool(true)
! 2109: 100630
! 2110: bool(true)
! 2111: 40630
! 2112: -- Iteration 410 --
! 2113: bool(true)
! 2114: 100631
! 2115: bool(true)
! 2116: 40631
! 2117: -- Iteration 411 --
! 2118: bool(true)
! 2119: 100632
! 2120: bool(true)
! 2121: 40632
! 2122: -- Iteration 412 --
! 2123: bool(true)
! 2124: 100633
! 2125: bool(true)
! 2126: 40633
! 2127: -- Iteration 413 --
! 2128: bool(true)
! 2129: 100634
! 2130: bool(true)
! 2131: 40634
! 2132: -- Iteration 414 --
! 2133: bool(true)
! 2134: 100635
! 2135: bool(true)
! 2136: 40635
! 2137: -- Iteration 415 --
! 2138: bool(true)
! 2139: 100636
! 2140: bool(true)
! 2141: 40636
! 2142: -- Iteration 416 --
! 2143: bool(true)
! 2144: 100637
! 2145: bool(true)
! 2146: 40637
! 2147: -- Iteration 417 --
! 2148: bool(true)
! 2149: 100640
! 2150: bool(true)
! 2151: 40640
! 2152: -- Iteration 418 --
! 2153: bool(true)
! 2154: 100641
! 2155: bool(true)
! 2156: 40641
! 2157: -- Iteration 419 --
! 2158: bool(true)
! 2159: 100642
! 2160: bool(true)
! 2161: 40642
! 2162: -- Iteration 420 --
! 2163: bool(true)
! 2164: 100643
! 2165: bool(true)
! 2166: 40643
! 2167: -- Iteration 421 --
! 2168: bool(true)
! 2169: 100644
! 2170: bool(true)
! 2171: 40644
! 2172: -- Iteration 422 --
! 2173: bool(true)
! 2174: 100645
! 2175: bool(true)
! 2176: 40645
! 2177: -- Iteration 423 --
! 2178: bool(true)
! 2179: 100646
! 2180: bool(true)
! 2181: 40646
! 2182: -- Iteration 424 --
! 2183: bool(true)
! 2184: 100647
! 2185: bool(true)
! 2186: 40647
! 2187: -- Iteration 425 --
! 2188: bool(true)
! 2189: 100650
! 2190: bool(true)
! 2191: 40650
! 2192: -- Iteration 426 --
! 2193: bool(true)
! 2194: 100651
! 2195: bool(true)
! 2196: 40651
! 2197: -- Iteration 427 --
! 2198: bool(true)
! 2199: 100652
! 2200: bool(true)
! 2201: 40652
! 2202: -- Iteration 428 --
! 2203: bool(true)
! 2204: 100653
! 2205: bool(true)
! 2206: 40653
! 2207: -- Iteration 429 --
! 2208: bool(true)
! 2209: 100654
! 2210: bool(true)
! 2211: 40654
! 2212: -- Iteration 430 --
! 2213: bool(true)
! 2214: 100655
! 2215: bool(true)
! 2216: 40655
! 2217: -- Iteration 431 --
! 2218: bool(true)
! 2219: 100656
! 2220: bool(true)
! 2221: 40656
! 2222: -- Iteration 432 --
! 2223: bool(true)
! 2224: 100657
! 2225: bool(true)
! 2226: 40657
! 2227: -- Iteration 433 --
! 2228: bool(true)
! 2229: 100660
! 2230: bool(true)
! 2231: 40660
! 2232: -- Iteration 434 --
! 2233: bool(true)
! 2234: 100661
! 2235: bool(true)
! 2236: 40661
! 2237: -- Iteration 435 --
! 2238: bool(true)
! 2239: 100662
! 2240: bool(true)
! 2241: 40662
! 2242: -- Iteration 436 --
! 2243: bool(true)
! 2244: 100663
! 2245: bool(true)
! 2246: 40663
! 2247: -- Iteration 437 --
! 2248: bool(true)
! 2249: 100664
! 2250: bool(true)
! 2251: 40664
! 2252: -- Iteration 438 --
! 2253: bool(true)
! 2254: 100665
! 2255: bool(true)
! 2256: 40665
! 2257: -- Iteration 439 --
! 2258: bool(true)
! 2259: 100666
! 2260: bool(true)
! 2261: 40666
! 2262: -- Iteration 440 --
! 2263: bool(true)
! 2264: 100667
! 2265: bool(true)
! 2266: 40667
! 2267: -- Iteration 441 --
! 2268: bool(true)
! 2269: 100670
! 2270: bool(true)
! 2271: 40670
! 2272: -- Iteration 442 --
! 2273: bool(true)
! 2274: 100671
! 2275: bool(true)
! 2276: 40671
! 2277: -- Iteration 443 --
! 2278: bool(true)
! 2279: 100672
! 2280: bool(true)
! 2281: 40672
! 2282: -- Iteration 444 --
! 2283: bool(true)
! 2284: 100673
! 2285: bool(true)
! 2286: 40673
! 2287: -- Iteration 445 --
! 2288: bool(true)
! 2289: 100674
! 2290: bool(true)
! 2291: 40674
! 2292: -- Iteration 446 --
! 2293: bool(true)
! 2294: 100675
! 2295: bool(true)
! 2296: 40675
! 2297: -- Iteration 447 --
! 2298: bool(true)
! 2299: 100676
! 2300: bool(true)
! 2301: 40676
! 2302: -- Iteration 448 --
! 2303: bool(true)
! 2304: 100677
! 2305: bool(true)
! 2306: 40677
! 2307: -- Iteration 449 --
! 2308: bool(true)
! 2309: 100700
! 2310: bool(true)
! 2311: 40700
! 2312: -- Iteration 450 --
! 2313: bool(true)
! 2314: 100701
! 2315: bool(true)
! 2316: 40701
! 2317: -- Iteration 451 --
! 2318: bool(true)
! 2319: 100702
! 2320: bool(true)
! 2321: 40702
! 2322: -- Iteration 452 --
! 2323: bool(true)
! 2324: 100703
! 2325: bool(true)
! 2326: 40703
! 2327: -- Iteration 453 --
! 2328: bool(true)
! 2329: 100704
! 2330: bool(true)
! 2331: 40704
! 2332: -- Iteration 454 --
! 2333: bool(true)
! 2334: 100705
! 2335: bool(true)
! 2336: 40705
! 2337: -- Iteration 455 --
! 2338: bool(true)
! 2339: 100706
! 2340: bool(true)
! 2341: 40706
! 2342: -- Iteration 456 --
! 2343: bool(true)
! 2344: 100707
! 2345: bool(true)
! 2346: 40707
! 2347: -- Iteration 457 --
! 2348: bool(true)
! 2349: 100710
! 2350: bool(true)
! 2351: 40710
! 2352: -- Iteration 458 --
! 2353: bool(true)
! 2354: 100711
! 2355: bool(true)
! 2356: 40711
! 2357: -- Iteration 459 --
! 2358: bool(true)
! 2359: 100712
! 2360: bool(true)
! 2361: 40712
! 2362: -- Iteration 460 --
! 2363: bool(true)
! 2364: 100713
! 2365: bool(true)
! 2366: 40713
! 2367: -- Iteration 461 --
! 2368: bool(true)
! 2369: 100714
! 2370: bool(true)
! 2371: 40714
! 2372: -- Iteration 462 --
! 2373: bool(true)
! 2374: 100715
! 2375: bool(true)
! 2376: 40715
! 2377: -- Iteration 463 --
! 2378: bool(true)
! 2379: 100716
! 2380: bool(true)
! 2381: 40716
! 2382: -- Iteration 464 --
! 2383: bool(true)
! 2384: 100717
! 2385: bool(true)
! 2386: 40717
! 2387: -- Iteration 465 --
! 2388: bool(true)
! 2389: 100720
! 2390: bool(true)
! 2391: 40720
! 2392: -- Iteration 466 --
! 2393: bool(true)
! 2394: 100721
! 2395: bool(true)
! 2396: 40721
! 2397: -- Iteration 467 --
! 2398: bool(true)
! 2399: 100722
! 2400: bool(true)
! 2401: 40722
! 2402: -- Iteration 468 --
! 2403: bool(true)
! 2404: 100723
! 2405: bool(true)
! 2406: 40723
! 2407: -- Iteration 469 --
! 2408: bool(true)
! 2409: 100724
! 2410: bool(true)
! 2411: 40724
! 2412: -- Iteration 470 --
! 2413: bool(true)
! 2414: 100725
! 2415: bool(true)
! 2416: 40725
! 2417: -- Iteration 471 --
! 2418: bool(true)
! 2419: 100726
! 2420: bool(true)
! 2421: 40726
! 2422: -- Iteration 472 --
! 2423: bool(true)
! 2424: 100727
! 2425: bool(true)
! 2426: 40727
! 2427: -- Iteration 473 --
! 2428: bool(true)
! 2429: 100730
! 2430: bool(true)
! 2431: 40730
! 2432: -- Iteration 474 --
! 2433: bool(true)
! 2434: 100731
! 2435: bool(true)
! 2436: 40731
! 2437: -- Iteration 475 --
! 2438: bool(true)
! 2439: 100732
! 2440: bool(true)
! 2441: 40732
! 2442: -- Iteration 476 --
! 2443: bool(true)
! 2444: 100733
! 2445: bool(true)
! 2446: 40733
! 2447: -- Iteration 477 --
! 2448: bool(true)
! 2449: 100734
! 2450: bool(true)
! 2451: 40734
! 2452: -- Iteration 478 --
! 2453: bool(true)
! 2454: 100735
! 2455: bool(true)
! 2456: 40735
! 2457: -- Iteration 479 --
! 2458: bool(true)
! 2459: 100736
! 2460: bool(true)
! 2461: 40736
! 2462: -- Iteration 480 --
! 2463: bool(true)
! 2464: 100737
! 2465: bool(true)
! 2466: 40737
! 2467: -- Iteration 481 --
! 2468: bool(true)
! 2469: 100740
! 2470: bool(true)
! 2471: 40740
! 2472: -- Iteration 482 --
! 2473: bool(true)
! 2474: 100741
! 2475: bool(true)
! 2476: 40741
! 2477: -- Iteration 483 --
! 2478: bool(true)
! 2479: 100742
! 2480: bool(true)
! 2481: 40742
! 2482: -- Iteration 484 --
! 2483: bool(true)
! 2484: 100743
! 2485: bool(true)
! 2486: 40743
! 2487: -- Iteration 485 --
! 2488: bool(true)
! 2489: 100744
! 2490: bool(true)
! 2491: 40744
! 2492: -- Iteration 486 --
! 2493: bool(true)
! 2494: 100745
! 2495: bool(true)
! 2496: 40745
! 2497: -- Iteration 487 --
! 2498: bool(true)
! 2499: 100746
! 2500: bool(true)
! 2501: 40746
! 2502: -- Iteration 488 --
! 2503: bool(true)
! 2504: 100747
! 2505: bool(true)
! 2506: 40747
! 2507: -- Iteration 489 --
! 2508: bool(true)
! 2509: 100750
! 2510: bool(true)
! 2511: 40750
! 2512: -- Iteration 490 --
! 2513: bool(true)
! 2514: 100751
! 2515: bool(true)
! 2516: 40751
! 2517: -- Iteration 491 --
! 2518: bool(true)
! 2519: 100752
! 2520: bool(true)
! 2521: 40752
! 2522: -- Iteration 492 --
! 2523: bool(true)
! 2524: 100753
! 2525: bool(true)
! 2526: 40753
! 2527: -- Iteration 493 --
! 2528: bool(true)
! 2529: 100754
! 2530: bool(true)
! 2531: 40754
! 2532: -- Iteration 494 --
! 2533: bool(true)
! 2534: 100755
! 2535: bool(true)
! 2536: 40755
! 2537: -- Iteration 495 --
! 2538: bool(true)
! 2539: 100756
! 2540: bool(true)
! 2541: 40756
! 2542: -- Iteration 496 --
! 2543: bool(true)
! 2544: 100757
! 2545: bool(true)
! 2546: 40757
! 2547: -- Iteration 497 --
! 2548: bool(true)
! 2549: 100760
! 2550: bool(true)
! 2551: 40760
! 2552: -- Iteration 498 --
! 2553: bool(true)
! 2554: 100761
! 2555: bool(true)
! 2556: 40761
! 2557: -- Iteration 499 --
! 2558: bool(true)
! 2559: 100762
! 2560: bool(true)
! 2561: 40762
! 2562: -- Iteration 500 --
! 2563: bool(true)
! 2564: 100763
! 2565: bool(true)
! 2566: 40763
! 2567: -- Iteration 501 --
! 2568: bool(true)
! 2569: 100764
! 2570: bool(true)
! 2571: 40764
! 2572: -- Iteration 502 --
! 2573: bool(true)
! 2574: 100765
! 2575: bool(true)
! 2576: 40765
! 2577: -- Iteration 503 --
! 2578: bool(true)
! 2579: 100766
! 2580: bool(true)
! 2581: 40766
! 2582: -- Iteration 504 --
! 2583: bool(true)
! 2584: 100767
! 2585: bool(true)
! 2586: 40767
! 2587: -- Iteration 505 --
! 2588: bool(true)
! 2589: 100770
! 2590: bool(true)
! 2591: 40770
! 2592: -- Iteration 506 --
! 2593: bool(true)
! 2594: 100771
! 2595: bool(true)
! 2596: 40771
! 2597: -- Iteration 507 --
! 2598: bool(true)
! 2599: 100772
! 2600: bool(true)
! 2601: 40772
! 2602: -- Iteration 508 --
! 2603: bool(true)
! 2604: 100773
! 2605: bool(true)
! 2606: 40773
! 2607: -- Iteration 509 --
! 2608: bool(true)
! 2609: 100774
! 2610: bool(true)
! 2611: 40774
! 2612: -- Iteration 510 --
! 2613: bool(true)
! 2614: 100775
! 2615: bool(true)
! 2616: 40775
! 2617: -- Iteration 511 --
! 2618: bool(true)
! 2619: 100776
! 2620: bool(true)
! 2621: 40776
! 2622: -- Iteration 512 --
! 2623: bool(true)
! 2624: 100777
! 2625: bool(true)
! 2626: 40777
! 2627: *** Done ***
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>