user=mdettweiler [2012-08-24 00:01:59] 833*2^1227050-1 is not prime. Res64: 9880B0B92F3D76CE Time : 0.0 sec. user=mdettweiler [2012-08-24 00:02:00] 935*2^1227050-1 is not prime. Res64: 5EB4CB1B41082EC6 Time : 0.0 sec. user=mdettweiler [2012-08-24 00:05:02] 711*2^1227050-1 is not prime. Res64: 117714B4A1836CA8 Time : 0.0 sec. user=mdettweiler [2012-08-24 00:06:10] 797*2^1227050-1 is not prime. Res64: D6A081A30C7ABA05 Time : 0.0 sec. user=mdettweiler [2012-08-24 00:16:25] 977*2^1227050-1 is not prime. Res64: 69FA293368F56E2C Time : 0.0 sec. user=mdettweiler [2012-08-24 00:16:26] 981*2^1227050-1 is not prime. Res64: 03F975AA25C7A66B Time : 0.0 sec. user=mdettweiler [2012-08-24 00:22:31] 619*2^1227051-1 is not prime. Res64: 1F94EE42C32809FA Time : 0.0 sec. user=mdettweiler [2012-08-24 00:22:33] 625*2^1227051-1 is not prime. Res64: AE28E5426261B371 Time : 0.0 sec. user=vaughan [2012-08-24 00:28:54] 971*2^1227050-1 is not prime. Res64: 5DC6161A375EB243 Time : 0.0 sec. user=mdettweiler [2012-08-24 00:35:02] 795*2^1227051-1 is not prime. Res64: 1D3D3D3155F6AD84 Time : 0.0 sec. user=mdettweiler [2012-08-24 00:35:42] 991*2^1227051-1 is not prime. Res64: 77F8BAF2DE5DCF3E Time : 0.0 sec. user=mdettweiler [2012-08-24 00:37:05] 609*2^1227052-1 is not prime. Res64: DEAE6B2146C3A57E Time : 0.0 sec. user=mdettweiler [2012-08-24 00:37:05] 653*2^1227052-1 is not prime. Res64: 6861020339181AC1 Time : 0.0 sec. user=mdettweiler [2012-08-24 00:43:05] 689*2^1227052-1 is not prime. Res64: 33B4B46B7C3BC8E1 Time : 0.0 sec. user=mdettweiler [2012-08-24 00:43:05] 735*2^1227052-1 is not prime. Res64: 439D238DA2999C39 Time : 0.0 sec. user=mdettweiler [2012-08-24 00:57:36] 983*2^1227052-1 is not prime. Res64: 133AFD73C5B67460 Time : 0.0 sec. user=mdettweiler [2012-08-24 00:57:37] 621*2^1227053-1 is not prime. Res64: 273BE8E01FAF3FEB Time : 0.0 sec. user=mdettweiler [2012-08-24 01:03:35] 631*2^1227053-1 is not prime. Res64: E704142CAAF43999 Time : 0.0 sec. user=mdettweiler [2012-08-24 01:03:36] 775*2^1227053-1 is not prime. Res64: 58E0C2184A875664 Time : 0.0 sec. user=mdettweiler [2012-08-24 01:04:38] 827*2^1227052-1 is not prime. Res64: FDCF2871726349B8 Time : 0.0 sec. user=mdettweiler [2012-08-24 01:05:16] 947*2^1227052-1 is not prime. Res64: 18485D397ADCCCD9 Time : 0.0 sec. user=vaughan [2012-08-24 01:06:43] 749*2^1227052-1 is not prime. Res64: EDD484C2C922E511 Time : 0.0 sec. user=mdettweiler [2012-08-24 01:18:07] 811*2^1227053-1 is not prime. Res64: 5E9C1ABD25F4B564 Time : 0.0 sec. user=mdettweiler [2012-08-24 01:18:08] 627*2^1227054-1 is not prime. Res64: E98CCBC6C9E667CB Time : 0.0 sec. user=mdettweiler [2012-08-24 01:24:11] 641*2^1227054-1 is not prime. Res64: 6DB141992CE3881D Time : 0.0 sec. user=mdettweiler [2012-08-24 01:24:12] 737*2^1227054-1 is not prime. Res64: DA2D2DD10BFCD0D9 Time : 0.0 sec. user=mdettweiler [2012-08-24 01:34:09] 741*2^1227054-1 is not prime. Res64: EDAD67793ECFED62 Time : 0.0 sec. user=mdettweiler [2012-08-24 01:34:47] 851*2^1227054-1 is not prime. Res64: BB10DD50AD144B4E Time : 0.0 sec. user=mdettweiler [2012-08-24 01:38:44] 741*2^1227055-1 is not prime. Res64: 7B8ACF7170A42102 Time : 0.0 sec. user=mdettweiler [2012-08-24 01:38:44] 789*2^1227055-1 is not prime. Res64: 616CA8A9D91AF86F Time : 0.0 sec. user=vaughan [2012-08-24 01:44:26] 921*2^1227054-1 is not prime. Res64: 0BC7C76FD9D53317 Time : 0.0 sec. user=mdettweiler [2012-08-24 01:44:42] 777*2^1227056-1 is not prime. Res64: E3AFE7AED1297B20 Time : 0.0 sec. user=mdettweiler [2012-08-24 01:44:42] 789*2^1227056-1 is not prime. Res64: 890380DCE3E3CFFE Time : 0.0 sec. user=mdettweiler [2012-08-24 01:59:15] 605*2^1227058-1 is not prime. Res64: AAB1A5637625D946 Time : 0.0 sec. user=mdettweiler [2012-08-24 01:59:16] 663*2^1227058-1 is not prime. Res64: F9FBE82FD7622260 Time : 0.0 sec. user=mdettweiler [2012-08-24 02:03:58] 839*2^1227056-1 is not prime. Res64: 27BC65FD5A85983D Time : 0.0 sec. user=mdettweiler [2012-08-24 02:04:32] 747*2^1227057-1 is not prime. Res64: CB4B9665B5BB3433 Time : 0.0 sec. user=mdettweiler [2012-08-24 02:05:13] 765*2^1227058-1 is not prime. Res64: 13F930C796D24066 Time : 0.0 sec. user=mdettweiler [2012-08-24 02:05:15] 827*2^1227058-1 is not prime. Res64: A22B969C3B8A081B Time : 0.0 sec. user=mdettweiler [2012-08-24 02:19:47] 831*2^1227058-1 is not prime. Res64: 0683128D7E790035 Time : 0.0 sec. user=mdettweiler [2012-08-24 02:19:48] 945*2^1227058-1 is not prime. Res64: 89D242FDB956FA8E Time : 0.0 sec. user=vaughan [2012-08-24 02:22:05] 731*2^1227058-1 is not prime. Res64: 9F8224770198B009 Time : 0.0 sec. user=mdettweiler [2012-08-24 02:25:48] 825*2^1227059-1 is not prime. Res64: 7B5D07EE1CCD7BE5 Time : 0.0 sec. user=mdettweiler [2012-08-24 02:25:49] 885*2^1227059-1 is not prime. Res64: A033CBA4BBE4C379 Time : 0.0 sec. user=mdettweiler [2012-08-24 02:33:53] 971*2^1227058-1 is not prime. Res64: 3AED553F6577B055 Time : 0.0 sec. user=mdettweiler [2012-08-24 02:34:23] 643*2^1227059-1 is not prime. Res64: 4960F10718596F35 Time : 0.0 sec. user=mdettweiler [2012-08-24 02:40:22] 943*2^1227059-1 is not prime. Res64: 3334567DFCA5C140 Time : 0.0 sec. user=mdettweiler [2012-08-24 02:40:22] 949*2^1227059-1 is not prime. Res64: BBFBACF5F2D0DFE8 Time : 0.0 sec. user=mdettweiler [2012-08-24 02:46:19] 783*2^1227060-1 is not prime. Res64: 86B4682244D77424 Time : 0.0 sec. user=mdettweiler [2012-08-24 02:46:20] 863*2^1227060-1 is not prime. Res64: 7117AC3FC8ED85A3 Time : 0.0 sec. user=vaughan [2012-08-24 02:59:47] 635*2^1227060-1 is not prime. Res64: 139277AB393C91EC Time : 0.0 sec. user=mdettweiler [2012-08-24 03:01:03] 625*2^1227061-1 is not prime. Res64: 2D350E8F72A4664E Time : 0.0 sec. user=mdettweiler [2012-08-24 03:01:04] 681*2^1227061-1 is not prime. Res64: 591A8A7C529615A7 Time : 0.0 sec. user=mdettweiler [2012-08-24 03:03:38] 909*2^1227060-1 is not prime. Res64: 73823E53B9E52B23 Time : 0.0 sec. user=mdettweiler [2012-08-24 03:03:52] 607*2^1227061-1 is not prime. Res64: 2490F4249D089E68 Time : 0.0 sec. user=mdettweiler [2012-08-24 03:06:52] 687*2^1227061-1 is not prime. Res64: ECAB417CF092FA9B Time : 0.0 sec. user=mdettweiler [2012-08-24 03:06:54] 717*2^1227061-1 is not prime. Res64: 8702F0980D8CFF21 Time : 0.0 sec. user=mdettweiler [2012-08-24 03:21:37] 877*2^1227061-1 is not prime. Res64: 40C76227DFF39560 Time : 0.0 sec. user=mdettweiler [2012-08-24 03:21:38] 931*2^1227061-1 is not prime. Res64: A0071A5C125CE931 Time : 0.0 sec. user=mdettweiler [2012-08-24 03:27:27] 711*2^1227062-1 is not prime. Res64: 3F138D0C59A04140 Time : 0.0 sec. user=mdettweiler [2012-08-24 03:27:28] 755*2^1227062-1 is not prime. Res64: 93B266FD27734DD8 Time : 0.0 sec. user=mdettweiler [2012-08-24 03:35:02] 937*2^1227061-1 is not prime. Res64: 125E61B0D189C75C Time : 0.0 sec. user=mdettweiler [2012-08-24 03:35:48] 603*2^1227062-1 is not prime. Res64: F9FBE8C43BAA7D91 Time : 0.0 sec. user=vaughan [2012-08-24 03:37:32] 747*2^1227061-1 is not prime. Res64: AD8E210D16A4A2EC Time : 0.0 sec. user=mdettweiler [2012-08-24 03:42:13] 797*2^1227062-1 is not prime. Res64: C2D19480A78034BC Time : 0.0 sec. user=mdettweiler [2012-08-24 03:42:14] 867*2^1227062-1 is not prime. Res64: B51267BCCA8AAD5A Time : 0.0 sec. user=mdettweiler [2012-08-24 03:47:58] 903*2^1227062-1 is not prime. Res64: B8294BA729D60FDA Time : 0.0 sec. user=mdettweiler [2012-08-24 03:47:59] 941*2^1227062-1 is not prime. Res64: 2CD7185EAD650DB1 Time : 0.0 sec. user=mdettweiler [2012-08-24 04:02:58] 691*2^1227063-1 is not prime. Res64: 045765F55305DA7B Time : 0.0 sec. user=mdettweiler [2012-08-24 04:02:58] 891*2^1227063-1 is not prime. Res64: 3955F12F313DB5F2 Time : 0.0 sec. user=mdettweiler [2012-08-24 04:04:43] 965*2^1227062-1 is not prime. Res64: E6E39B2E1EB12D01 Time : 0.0 sec. user=mdettweiler [2012-08-24 04:05:28] 983*2^1227062-1 is not prime. Res64: DCB44D4B3E0E8039 Time : 0.0 sec. user=mdettweiler [2012-08-24 04:08:30] 991*2^1227063-1 is not prime. Res64: D49C04BD06BD137A Time : 0.0 sec. user=mdettweiler [2012-08-24 04:08:31] 617*2^1227064-1 is not prime. Res64: 99E9C0218F4B8772 Time : 0.0 sec. user=vaughan [2012-08-24 04:15:50] 649*2^1227063-1 is not prime. Res64: 4CAD63EB7C77AFCC Time : 0.0 sec. user=mdettweiler [2012-08-24 04:23:35] 743*2^1227064-1 is not prime. Res64: 6C81657F8DAE8F84 Time : 0.0 sec. user=mdettweiler [2012-08-24 04:23:36] 765*2^1227064-1 is not prime. Res64: 593C39693161C939 Time : 0.0 sec. user=mdettweiler [2012-08-24 04:29:06] 995*2^1227064-1 is not prime. Res64: EC6BA22CC0D58106 Time : 0.0 sec. user=mdettweiler [2012-08-24 04:29:07] 837*2^1227065-1 is not prime. Res64: 72CD7BF06A71F42B Time : 0.0 sec. user=mdettweiler [2012-08-24 04:34:30] 803*2^1227064-1 is not prime. Res64: E7369C053D365B56 Time : 0.0 sec. user=mdettweiler [2012-08-24 04:35:14] 917*2^1227064-1 is not prime. Res64: 74B87CC5C9A81812 Time : 0.0 sec. user=mdettweiler [2012-08-24 04:44:08] 897*2^1227065-1 is not prime. Res64: 678CFBC92BCED756 Time : 0.0 sec. user=mdettweiler [2012-08-24 04:44:09] 909*2^1227065-1 is not prime. Res64: 48CE35F26EA89797 Time : 0.0 sec. user=mdettweiler [2012-08-24 04:49:38] 981*2^1227065-1 is not prime. Res64: D292B219007848DC Time : 0.0 sec. user=mdettweiler [2012-08-24 04:49:38] 987*2^1227065-1 is not prime. Res64: E5EDFFA793430E27 Time : 0.0 sec. user=mdettweiler [2012-08-24 05:04:03] 633*2^1227066-1 is not prime. Res64: E44DFAC608ADCAD6 Time : 0.0 sec. user=mdettweiler [2012-08-24 05:04:44] 765*2^1227066-1 is not prime. Res64: 6A70049EF951F39C Time : 0.0 sec. user=mdettweiler [2012-08-24 05:04:45] 873*2^1227066-1 is not prime. Res64: BA3CA8BF405C9A40 Time : 0.0 sec. user=mdettweiler [2012-08-24 05:04:53] 735*2^1227066-1 is not prime. Res64: 059CFF663DBAA6B1 Time : 0.0 sec. user=mdettweiler [2012-08-24 05:10:10] 903*2^1227066-1 is not prime. Res64: 397D5B540A8B710E Time : 0.0 sec. user=mdettweiler [2012-08-24 05:10:11] 941*2^1227066-1 is not prime. Res64: 3A1B79F87D562BB1 Time : 0.0 sec. user=mdettweiler [2012-08-24 05:25:20] 621*2^1227067-1 is not prime. Res64: BB4EFF555A870CCE Time : 0.0 sec. user=mdettweiler [2012-08-24 05:25:21] 633*2^1227067-1 is not prime. Res64: E0074400DDB56115 Time : 0.0 sec. user=vaughan [2012-08-24 05:26:34] 875*2^1227066-1 is not prime. Res64: CB1A7425661C76CC Time : 0.0 sec. user=mdettweiler [2012-08-24 05:30:45] 859*2^1227067-1 is not prime. Res64: 602CE51846866F00 Time : 0.0 sec. user=mdettweiler [2012-08-24 05:30:46] 871*2^1227067-1 is not prime. Res64: 0722C052D269719A Time : 0.0 sec. user=mdettweiler [2012-08-24 05:33:46] 603*2^1227067-1 is not prime. Res64: 7A65A5F915AE4B49 Time : 0.0 sec. user=mdettweiler [2012-08-24 05:34:29] 733*2^1227067-1 is not prime. Res64: 579B4DEE4FA769EC Time : 0.0 sec. user=mdettweiler [2012-08-24 05:45:52] 939*2^1227067-1 is not prime. Res64: 1D4AECC09E871C42 Time : 0.0 sec. user=mdettweiler [2012-08-24 05:45:53] 945*2^1227067-1 is not prime. Res64: 75DCDE581CE54307 Time : 0.0 sec. user=mdettweiler [2012-08-24 05:51:17] 767*2^1227068-1 is not prime. Res64: 8A7B6BF3D8B4281F Time : 0.0 sec. user=mdettweiler [2012-08-24 05:51:17] 773*2^1227068-1 is not prime. Res64: B0A6876AF5A9153A Time : 0.0 sec. user=mdettweiler [2012-08-24 06:03:21] 827*2^1227068-1 is not prime. Res64: 9F4B0FE8555CD07C Time : 0.0 sec. user=mdettweiler [2012-08-24 06:04:06] 923*2^1227068-1 is not prime. Res64: 47369A4C8E843B62 Time : 0.0 sec. user=vaughan [2012-08-24 06:04:15] 985*2^1227067-1 is not prime. Res64: 6458EC75C998DD20 Time : 0.0 sec. user=mdettweiler [2012-08-24 06:06:24] 615*2^1227069-1 is not prime. Res64: 2B49119CB8B6B3E2 Time : 0.0 sec. user=mdettweiler [2012-08-24 06:06:25] 621*2^1227069-1 is not prime. Res64: 0C52B94285F30241 Time : 0.0 sec. user=mdettweiler [2012-08-24 06:11:48] 735*2^1227069-1 is not prime. Res64: 821F9AC398E7179F Time : 0.0 sec. user=mdettweiler [2012-08-24 06:11:49] 787*2^1227069-1 is not prime. Res64: A8360EE60426AD93 Time : 0.0 sec. user=mdettweiler [2012-08-24 06:26:56] 777*2^1227070-1 is not prime. Res64: 96B54B1FA21B9048 Time : 0.0 sec. user=mdettweiler [2012-08-24 06:26:56] 783*2^1227070-1 is not prime. Res64: A1F614CA2787E9F8 Time : 0.0 sec. user=mdettweiler [2012-08-24 06:32:23] 867*2^1227070-1 is not prime. Res64: 545BDB6E2497D6A0 Time : 0.0 sec. user=mdettweiler [2012-08-24 06:32:23] 885*2^1227070-1 is not prime. Res64: 1027BA62E6FA1849 Time : 0.0 sec. user=mdettweiler [2012-08-24 06:32:59] 991*2^1227069-1 is not prime. Res64: C8586C2630B0AAF2 Time : 0.0 sec. user=mdettweiler [2012-08-24 06:33:41] 603*2^1227070-1 is not prime. Res64: F91475432CAB14C4 Time : 0.0 sec. user=vaughan [2012-08-24 06:41:55] 663*2^1227070-1 is not prime. Res64: 7FCB3A0360352C54 Time : 0.0 sec. user=mdettweiler [2012-08-24 06:47:27] 951*2^1227070-1 is not prime. Res64: 7A50E02BEFEF1554 Time : 0.0 sec. user=mdettweiler [2012-08-24 06:47:28] 975*2^1227070-1 is not prime. Res64: 171491D907B20AF1 Time : 0.0 sec. user=mdettweiler [2012-08-24 06:52:54] 789*2^1227071-1 is not prime. Res64: C0E4415412AE127C Time : 0.0 sec. user=mdettweiler [2012-08-24 06:52:54] 813*2^1227071-1 is not prime. Res64: FCAE6936C6DFACAC Time : 0.0 sec. user=mdettweiler [2012-08-24 07:02:33] 823*2^1227071-1 is not prime. Res64: 804FD55A9E03D84D Time : 0.0 sec. user=mdettweiler [2012-08-24 07:03:11] 859*2^1227071-1 is not prime. Res64: AE496394F483822D Time : 0.0 sec. user=mdettweiler [2012-08-24 07:07:58] 969*2^1227071-1 is not prime. Res64: 998D28BD728F4B62 Time : 0.0 sec. user=mdettweiler [2012-08-24 07:08:00] 723*2^1227072-1 is not prime. Res64: EAFDFDBFA1609A22 Time : 0.0 sec. user=mdettweiler [2012-08-24 07:13:25] 675*2^1227073-1 is not prime. Res64: 7DB86C24AF14E093 Time : 0.0 sec. user=mdettweiler [2012-08-24 07:13:26] 789*2^1227073-1 is not prime. Res64: 068E2C674D55A245 Time : 0.0 sec. user=vaughan [2012-08-24 07:19:37] 913*2^1227071-1 is not prime. Res64: 2D99F72D484213C1 Time : 0.0 sec. user=mdettweiler [2012-08-24 07:28:33] 895*2^1227073-1 is not prime. Res64: B27B5D8E87B4C1A9 Time : 0.0 sec. user=mdettweiler [2012-08-24 07:28:33] 939*2^1227073-1 is not prime. Res64: 7EE409956D9470BA Time : 0.0 sec. user=mdettweiler [2012-08-24 07:32:25] 855*2^1227073-1 is not prime. Res64: CB6C2C146FB160EE Time : 0.0 sec. user=mdettweiler [2012-08-24 07:32:50] 867*2^1227073-1 is not prime. Res64: 41E0338FD4AA916E Time : 0.0 sec. user=mdettweiler [2012-08-24 07:34:07] 651*2^1227074-1 is not prime. Res64: 7EC5562B2DD0BD35 Time : 0.0 sec. user=mdettweiler [2012-08-24 07:34:07] 675*2^1227074-1 is not prime. Res64: ADA0C3DEC9329A00 Time : 0.0 sec. user=mdettweiler [2012-08-24 07:49:05] 711*2^1227074-1 is not prime. Res64: 53B0709AAB63B4EE Time : 0.0 sec. user=mdettweiler [2012-08-24 07:49:05] 791*2^1227074-1 is not prime. Res64: AD9B21AE9D417974 Time : 0.0 sec. user=mdettweiler [2012-08-24 07:54:38] 795*2^1227075-1 is not prime. Res64: 866DDD79979E96A9 Time : 0.0 sec. user=mdettweiler [2012-08-24 07:54:38] 921*2^1227075-1 is not prime. Res64: 7729DA5BCAAD8FFD Time : 0.0 sec. user=vaughan [2012-08-24 07:57:17] 683*2^1227074-1 is not prime. Res64: 90050FCDC1DDE88D Time : 0.0 sec. user=mdettweiler [2012-08-24 08:02:10] 837*2^1227074-1 is not prime. Res64: 883C893CACCCE334 Time : 0.0 sec. user=mdettweiler [2012-08-24 08:02:30] 993*2^1227074-1 is not prime. Res64: 1CACA47D4DA82AE3 Time : 0.0 sec. user=mdettweiler [2012-08-24 08:09:36] 663*2^1227076-1 is not prime. Res64: 69F5F7F101B76549 Time : 0.0 sec. user=mdettweiler [2012-08-24 08:09:38] 717*2^1227076-1 is not prime. Res64: E3ADAC869686D947 Time : 0.0 sec. user=mdettweiler [2012-08-24 08:15:08] 785*2^1227076-1 is not prime. Res64: 211A40869E4AD589 Time : 0.0 sec. user=mdettweiler [2012-08-24 08:15:08] 875*2^1227076-1 is not prime. Res64: C79386DFC2BF274B Time : 0.0 sec. user=mdettweiler [2012-08-24 08:30:27] 631*2^1227077-1 is not prime. Res64: 4A5217974133BF36 Time : 0.0 sec. user=mdettweiler [2012-08-24 08:30:28] 729*2^1227077-1 is not prime. Res64: 5C29CF9007E141F8 Time : 0.0 sec. user=mdettweiler [2012-08-24 08:32:04] 601*2^1227077-1 is not prime. Res64: B80B31C6586F7F41 Time : 0.0 sec. user=mdettweiler [2012-08-24 08:32:25] 607*2^1227077-1 is not prime. Res64: 4559F3F3B2189390 Time : 0.0 sec. user=vaughan [2012-08-24 08:34:57] 927*2^1227076-1 is not prime. Res64: E0D38E623E0341FD Time : 0.0 sec. user=mdettweiler [2012-08-24 08:35:43] 831*2^1227077-1 is not prime. Res64: 0A868B8361B57206 Time : 0.0 sec. user=mdettweiler [2012-08-24 08:35:43] 871*2^1227077-1 is not prime. Res64: 138D8B1732D588DE Time : 0.0 sec. user=mdettweiler [2012-08-24 08:51:02] 605*2^1227078-1 is not prime. Res64: 54E295A7985C4166 Time : 0.0 sec. user=mdettweiler [2012-08-24 08:51:03] 711*2^1227078-1 is not prime. Res64: BA4142B2AB848CCC Time : 0.0 sec. user=mdettweiler [2012-08-24 08:56:14] 881*2^1227078-1 is not prime. Res64: FA855FC3C6E4AAB1 Time : 0.0 sec. user=mdettweiler [2012-08-24 08:56:14] 945*2^1227078-1 is not prime. Res64: E4BE7D1A598B1D90 Time : 0.0 sec. user=mdettweiler [2012-08-24 09:02:32] 797*2^1227078-1 is not prime. Res64: 0CA77670017555E0 Time : 0.0 sec. user=mdettweiler [2012-08-24 09:03:15] 825*2^1227078-1 is not prime. Res64: 234D0F338B71E496 Time : 0.0 sec. user=mdettweiler [2012-08-24 09:11:34] 649*2^1227079-1 is not prime. Res64: 821567C5DA46B210 Time : 0.0 sec. user=mdettweiler [2012-08-24 09:11:36] 759*2^1227079-1 is not prime. Res64: 133B0CBC93FBAA92 Time : 0.0 sec. user=vaughan [2012-08-24 09:12:37] 867*2^1227078-1 is not prime. Res64: F3E0E006BEA34744 Time : 0.0 sec. user=mdettweiler [2012-08-24 09:16:45] 813*2^1227079-1 is not prime. Res64: 1C27FC248F7D2091 Time : 0.0 sec. user=mdettweiler [2012-08-24 09:16:46] 969*2^1227079-1 is not prime. Res64: 1DB572F5B8CDDF33 Time : 0.0 sec. user=mdettweiler [2012-08-24 09:32:14] 633*2^1227080-1 is not prime. Res64: 36F1E55D89E44952 Time : 0.0 sec. user=mdettweiler [2012-08-24 09:32:16] 663*2^1227080-1 is not prime. Res64: 9CA3698D1AD3D799 Time : 0.0 sec. user=mdettweiler [2012-08-24 09:33:16] 975*2^1227079-1 is not prime. Res64: C584A8F1E23AB224 Time : 0.0 sec. user=mdettweiler [2012-08-24 09:33:48] 985*2^1227079-1 is not prime. Res64: EFE9B9F6C8AD3BA7 Time : 0.0 sec. user=mdettweiler [2012-08-24 09:37:17] 963*2^1227080-1 is not prime. Res64: 17E86B54A621FC29 Time : 0.0 sec. user=mdettweiler [2012-08-24 09:37:17] 607*2^1227081-1 is not prime. Res64: D62F574A1173D1CB Time : 0.0 sec. user=vaughan [2012-08-24 09:50:19] 927*2^1227080-1 is not prime. Res64: 22754AC3FFEAC09F Time : 0.0 sec. user=mdettweiler [2012-08-24 09:53:09] 661*2^1227081-1 is not prime. Res64: 0256C745CD32AFB9 Time : 0.0 sec. user=mdettweiler [2012-08-24 09:53:10] 669*2^1227081-1 is not prime. Res64: 1B693D12949DD9D8 Time : 0.0 sec. user=mdettweiler [2012-08-24 09:57:48] 735*2^1227082-1 is not prime. Res64: 726B058D8332AE74 Time : 0.0 sec. user=mdettweiler [2012-08-24 09:57:49] 777*2^1227082-1 is not prime. Res64: D64048304F5E91A4 Time : 0.0 sec. user=mdettweiler [2012-08-24 10:03:32] 999*2^1227081-1 is not prime. Res64: 3690334C5114C520 Time : 0.0 sec. user=mdettweiler [2012-08-24 10:04:31] 695*2^1227082-1 is not prime. Res64: 304E8850A11B255D Time : 0.0 sec. user=mdettweiler [2012-08-24 10:13:42] 915*2^1227082-1 is not prime. Res64: DAC6F62FAD40F789 Time : 0.0 sec. user=mdettweiler [2012-08-24 10:13:44] 923*2^1227082-1 is not prime. Res64: 7D0B48377A7BC1A0 Time : 0.0 sec. user=mdettweiler [2012-08-24 10:18:20] 947*2^1227082-1 is not prime. Res64: 8AB47FE8ACCD5FB3 Time : 0.0 sec. user=mdettweiler [2012-08-24 10:18:20] 987*2^1227082-1 is not prime. Res64: E6B1B185898B2BD3 Time : 0.0 sec. user=vaughan [2012-08-24 10:27:59] 887*2^1227082-1 is not prime. Res64: 04854AF0DA7131B6 Time : 0.0 sec. user=mdettweiler [2012-08-24 10:33:49] 609*2^1227083-1 is not prime. Res64: DEB6A51EB25F4148 Time : 0.0 sec. user=mdettweiler [2012-08-24 10:34:32] 861*2^1227083-1 is not prime. Res64: B0C3BC77E77E4317 Time : 0.0 sec. user=mdettweiler [2012-08-24 10:34:33] 913*2^1227083-1 is not prime. Res64: 5F86C5674380DC7C Time : 0.0 sec. user=mdettweiler [2012-08-24 10:35:18] 715*2^1227083-1 is not prime. Res64: 626440BFE24C6EEA Time : 0.0 sec. user=mdettweiler [2012-08-24 10:38:55] 955*2^1227083-1 is not prime. Res64: DFD33DD9F1D90097 Time : 0.0 sec. user=mdettweiler [2012-08-24 10:38:56] 985*2^1227083-1 is not prime. Res64: 4BBD5FDAE49B8622 Time : 0.0 sec. user=mdettweiler [2012-08-24 10:55:05] 753*2^1227084-1 is not prime. Res64: C6074D2FE2463A03 Time : 0.0 sec. user=mdettweiler [2012-08-24 10:55:05] 773*2^1227084-1 is not prime. Res64: 3362B989C7E93E39 Time : 0.0 sec. user=mdettweiler [2012-08-24 10:59:29] 645*2^1227085-1 is not prime. Res64: 64F2638025B59D7B Time : 0.0 sec. user=mdettweiler [2012-08-24 10:59:29] 771*2^1227085-1 is not prime. Res64: E7B903D5E7F32DB6 Time : 0.0 sec. user=mdettweiler [2012-08-24 11:04:23] 707*2^1227084-1 is not prime. Res64: 71B43381340C6962 Time : 0.0 sec. user=mdettweiler [2012-08-24 11:05:42] 915*2^1227084-1 is not prime. Res64: 159AB6F4B4DEDFF8 Time : 0.0 sec. user=vaughan [2012-08-24 11:05:49] 683*2^1227084-1 is not prime. Res64: 2D8EDA7B04059766 Time : 0.0 sec. user=mdettweiler [2012-08-24 11:15:38] 961*2^1227085-1 is not prime. Res64: 80E87E4DE4371910 Time : 0.0 sec. user=mdettweiler [2012-08-24 11:15:38] 623*2^1227086-1 is not prime. Res64: F067F00D5B25AB3B Time : 0.0 sec. user=mdettweiler [2012-08-24 11:20:02] 741*2^1227086-1 is not prime. Res64: 9918297FCA8F53FB Time : 0.0 sec. user=mdettweiler [2012-08-24 11:20:02] 887*2^1227086-1 is not prime. Res64: 04C8E03AE2CE70B6 Time : 0.0 sec. user=mdettweiler [2012-08-24 11:35:32] 917*2^1227086-1 is not prime. Res64: 879C2347FF6459C6 Time : 0.0 sec. user=mdettweiler [2012-08-24 11:36:00] 963*2^1227086-1 is not prime. Res64: 327BADE2A271C722 Time : 0.0 sec. user=mdettweiler [2012-08-24 11:36:11] 711*2^1227087-1 is not prime. Res64: 70D860574748130F Time : 0.0 sec. user=mdettweiler [2012-08-24 11:36:12] 891*2^1227087-1 is not prime. Res64: F7B9AEC7F784BCDE Time : 0.0 sec. user=mdettweiler [2012-08-24 11:40:34] 901*2^1227087-1 is not prime. Res64: DD02B3FCC1047B24 Time : 0.0 sec. user=mdettweiler [2012-08-24 11:40:35] 695*2^1227088-1 is not prime. Res64: 451CFF863A365DF9 Time : 0.0 sec. user=vaughan [2012-08-24 11:43:32] 993*2^1227086-1 is not prime. Res64: 9D3AA8B7903BD400 Time : 0.0 sec. user=mdettweiler [2012-08-24 11:56:44] 995*2^1227088-1 is not prime. Res64: 6C982484E9E22007 Time : 0.0 sec. user=mdettweiler [2012-08-24 11:56:44] 601*2^1227089-1 is not prime. Res64: 5749C17895616F9B Time : 0.0 sec. user=mdettweiler [2012-08-24 12:01:07] 775*2^1227089-1 is not prime. Res64: 882458A8AEADA727 Time : 0.0 sec. user=mdettweiler [2012-08-24 12:01:08] 819*2^1227089-1 is not prime. Res64: 857B8D16CE3D9200 Time : 0.0 sec. user=mdettweiler [2012-08-24 12:06:16] 969*2^1227088-1 is not prime. Res64: B694EF7D6D72E091 Time : 0.0 sec. user=mdettweiler [2012-08-24 12:06:17] 899*2^1227088-1 is not prime. Res64: 08F4722D28A684F0 Time : 0.0 sec. user=mdettweiler [2012-08-24 12:17:16] 879*2^1227089-1 is not prime. Res64: F501E2D193442E28 Time : 0.0 sec. user=mdettweiler [2012-08-24 12:17:17] 897*2^1227089-1 is not prime. Res64: 9A62A92C677A8416 Time : 0.0 sec. user=vaughan [2012-08-24 12:21:14] 847*2^1227089-1 is not prime. Res64: 926A49D4D9ACD3D6 Time : 0.0 sec. user=mdettweiler [2012-08-24 12:21:41] 969*2^1227089-1 is not prime. Res64: 55376E59B2C5AE6A Time : 0.0 sec. user=mdettweiler [2012-08-24 12:21:41] 671*2^1227090-1 is not prime. Res64: A3CE89E9D92C4F13 Time : 0.0 sec. user=mdettweiler [2012-08-24 12:36:43] 755*2^1227090-1 is not prime. Res64: 34B971E2C24C492D Time : 0.0 sec. user=mdettweiler [2012-08-24 12:37:09] 803*2^1227090-1 is not prime. Res64: 88D2881B18B27CD8 Time : 0.0 sec. user=mdettweiler [2012-08-24 12:37:50] 825*2^1227090-1 is not prime. Res64: DE3329DCE247CC97 Time : 0.0 sec. user=mdettweiler [2012-08-24 12:37:50] 845*2^1227090-1 is not prime. Res64: 6425A722A51C0DA1 Time : 0.0 sec. user=mdettweiler [2012-08-24 12:42:13] 977*2^1227090-1 is not prime. Res64: EDC8A817C8B175AF Time : 0.0 sec. user=mdettweiler [2012-08-24 12:42:13] 769*2^1227091-1 is not prime. Res64: 201E5C74999BD4FB Time : 0.0 sec. user=mdettweiler [2012-08-24 12:58:23] 665*2^1227092-1 is not prime. Res64: 8237CBFC1D8FA949 Time : 0.0 sec. user=mdettweiler [2012-08-24 12:58:23] 669*2^1227092-1 is not prime. Res64: 6DE83E3DA80C509A Time : 0.0 sec. user=vaughan [2012-08-24 12:58:54] 887*2^1227090-1 is not prime. Res64: 1A1A90F344D70876 Time : 0.0 sec. user=mdettweiler [2012-08-24 13:02:46] 677*2^1227092-1 is not prime. Res64: FB30A3D268D83A15 Time : 0.0 sec. user=mdettweiler [2012-08-24 13:02:48] 725*2^1227092-1 is not prime. Res64: 8668B85CF2FEF39A Time : 0.0 sec. user=mdettweiler [2012-08-24 13:07:28] 805*2^1227091-1 is not prime. Res64: CD75492C1E2C2992 Time : 0.0 sec. user=mdettweiler [2012-08-24 13:08:11] 895*2^1227091-1 is not prime. Res64: 6FEDE65029E2E7E4 Time : 0.0 sec. user=mdettweiler [2012-08-24 13:18:57] 743*2^1227092-1 is not prime. Res64: 603BE1B03A7B36ED Time : 0.0 sec. user=mdettweiler [2012-08-24 13:18:58] 803*2^1227092-1 is not prime. Res64: 8841978316CCF5D1 Time : 0.0 sec. user=mdettweiler [2012-08-24 13:23:21] 649*2^1227093-1 is not prime. Res64: D76B5D6A591E6FDE Time : 0.0 sec. user=mdettweiler [2012-08-24 13:23:21] 651*2^1227093-1 is not prime. Res64: 75ADFEDAFA919397 Time : 0.0 sec. user=vaughan [2012-08-24 13:36:43] 875*2^1227092-1 is not prime. Res64: A3DCF4B5A30110EA Time : 0.0 sec. user=mdettweiler [2012-08-24 13:38:11] 691*2^1227093-1 is not prime. Res64: E0E430EB8188E719 Time : 0.0 sec. user=mdettweiler [2012-08-24 13:38:40] 741*2^1227093-1 is not prime. Res64: 3C2539E46096C065 Time : 0.0 sec. user=mdettweiler [2012-08-24 13:39:33] 747*2^1227093-1 is not prime. Res64: 8BD1010E6464F87A Time : 0.0 sec. user=mdettweiler [2012-08-24 13:39:33] 781*2^1227093-1 is not prime. Res64: 9CF6A214EDAB0853 Time : 0.0 sec. user=gd_barnes [2012-08-24 13:42:47] 745*2^1227093-1 is not prime. Res64: 120F53886900C7B8 Time : 0.0 sec. user=mdettweiler [2012-08-24 13:43:52] 867*2^1227093-1 is not prime. Res64: 998FF80BEFDAB9A5 Time : 0.0 sec. user=mdettweiler [2012-08-24 13:43:53] 617*2^1227094-1 is not prime. Res64: B7CF549507E9C199 Time : 0.0 sec. user=mdettweiler [2012-08-24 14:00:04] 965*2^1227094-1 is not prime. Res64: AE9F0DC1F200AA67 Time : 0.0 sec. user=mdettweiler [2012-08-24 14:00:05] 993*2^1227094-1 is not prime. Res64: 242A5EE824225AEE Time : 0.0 sec. user=mdettweiler [2012-08-24 14:04:24] 1001*2^1227094-1 is not prime. Res64: 2BA81CC84B744552 Time : 0.0 sec. user=mdettweiler [2012-08-24 14:04:25] 661*2^1227095-1 is not prime. Res64: EAD08840FFBF793E Time : 0.0 sec. user=mdettweiler [2012-08-24 14:08:20] 827*2^1227094-1 is not prime. Res64: 4C98C76D7AC55B4D Time : 0.0 sec. user=mdettweiler [2012-08-24 14:08:57] 915*2^1227094-1 is not prime. Res64: D00CB6885FED6878 Time : 0.0 sec. user=gd_barnes [2012-08-24 14:14:12] 663*2^1227095-1 is not prime. Res64: B296E67038B7C282 Time : 0.0 sec. user=vaughan [2012-08-24 14:14:24] 663*2^1227094-1 is not prime. Res64: ED0C01643EF3DF5D Time : 0.0 sec. user=mdettweiler [2012-08-24 14:20:38] 735*2^1227095-1 is not prime. Res64: CF55F0ECEBA5785D Time : 0.0 sec. user=mdettweiler [2012-08-24 14:20:39] 859*2^1227095-1 is not prime. Res64: 963E9D0B44195C76 Time : 0.0 sec. user=mdettweiler [2012-08-24 14:25:02] 885*2^1227095-1 is not prime. Res64: A5B5BE7D07D12721 Time : 0.0 sec. user=mdettweiler [2012-08-24 14:25:03] 759*2^1227096-1 is not prime. Res64: E6AC8FE191396BEC Time : 0.0 sec. user=mdettweiler [2012-08-24 14:38:38] 789*2^1227096-1 is not prime. Res64: 97821974DF3C79AA Time : 0.0 sec. user=mdettweiler [2012-08-24 14:39:09] 887*2^1227096-1 is not prime. Res64: 561E650F381EAC87 Time : 0.0 sec. user=mdettweiler [2012-08-24 14:41:12] 983*2^1227096-1 is not prime. Res64: 5BA49D5727D8D13E Time : 0.0 sec. user=mdettweiler [2012-08-24 14:41:12] 639*2^1227097-1 is not prime. Res64: 72C6822D14A7FC8A Time : 0.0 sec. user=mdettweiler [2012-08-24 14:45:35] 777*2^1227097-1 is not prime. Res64: ABCB62C5AFF0D488 Time : 0.0 sec. user=mdettweiler [2012-08-24 14:45:35] 835*2^1227097-1 is not prime. Res64: E58316EA21B03B27 Time : 0.0 sec. user=vaughan [2012-08-24 14:52:11] 909*2^1227096-1 is not prime. Res64: 85F88604EAD6BFEB Time : 0.0 sec. user=mdettweiler [2012-08-24 15:01:44] 791*2^1227098-1 is not prime. Res64: EB3697585DC48B77 Time : 0.0 sec. user=mdettweiler [2012-08-24 15:01:45] 815*2^1227098-1 is not prime. Res64: 0926775EE304FF39 Time : 0.0 sec. user=mdettweiler [2012-08-24 15:06:06] 923*2^1227098-1 is not prime. Res64: B467AFDFF504CE73 Time : 0.0 sec. user=mdettweiler [2012-08-24 15:06:08] 971*2^1227098-1 is not prime. Res64: B6593F5F0DB56D77 Time : 0.0 sec. user=mdettweiler [2012-08-24 15:08:25] 895*2^1227097-1 is not prime. Res64: 74C2630BE7C24220 Time : 0.0 sec. user=mdettweiler [2012-08-24 15:08:54] 677*2^1227098-1 is not prime. Res64: 5622034E513C4734 Time : 0.0 sec. user=mdettweiler [2012-08-24 15:22:25] 677*2^1227100-1 is not prime. Res64: A8C86B160215E814 Time : 0.0 sec. user=mdettweiler [2012-08-24 15:22:26] 687*2^1227100-1 is not prime. Res64: EE94FAFC30E70A7E Time : 0.0 sec. user=mdettweiler [2012-08-24 15:26:41] 845*2^1227100-1 is not prime. Res64: 7EEC3BCD355993B0 Time : 0.0 sec. user=mdettweiler [2012-08-24 15:26:42] 939*2^1227100-1 is not prime. Res64: 57B6140B8A55A54B Time : 0.0 sec. user=vaughan [2012-08-24 15:29:51] 955*2^1227099-1 is not prime. Res64: CCB66E1114DA56B2 Time : 0.0 sec. user=mdettweiler [2012-08-24 15:38:34] 999*2^1227100-1 is not prime. Res64: 9A53B92D338B53E2 Time : 0.0 sec. user=mdettweiler [2012-08-24 15:39:06] 619*2^1227101-1 is not prime. Res64: 4577BFD77AA08203 Time : 0.0 sec. user=mdettweiler [2012-08-24 15:43:02] 627*2^1227101-1 is not prime. Res64: D0EAB6C7850D8F33 Time : 0.0 sec. user=mdettweiler [2012-08-24 15:43:03] 645*2^1227101-1 is not prime. Res64: 12CB6FAF2AB09910 Time : 0.0 sec. user=mdettweiler [2012-08-24 15:47:14] 679*2^1227101-1 is not prime. Res64: 2C2044EAFCBE0EF4 Time : 0.0 sec. user=mdettweiler [2012-08-24 15:47:14] 717*2^1227101-1 is not prime. Res64: 2547982A9ABA4074 Time : 0.0 sec. user=mdettweiler [2012-08-24 16:03:37] 937*2^1227101-1 is not prime. Res64: E10C727F6A32E4FD Time : 0.0 sec. user=mdettweiler [2012-08-24 16:03:37] 939*2^1227101-1 is not prime. Res64: 9670C9A26C302A35 Time : 0.0 sec. user=vaughan [2012-08-24 16:07:31] 727*2^1227101-1 is not prime. Res64: BA712F0780F2C6F2 Time : 0.0 sec. user=mdettweiler [2012-08-24 16:07:47] 945*2^1227101-1 is not prime. Res64: F3F720ADF93F1F80 Time : 0.0 sec. user=mdettweiler [2012-08-24 16:07:49] 981*2^1227101-1 is not prime. Res64: CAF13BD2E6A78FF3 Time : 0.0 sec. user=mdettweiler [2012-08-24 16:08:21] 789*2^1227101-1 is not prime. Res64: 04AD276D726F3C3B Time : 0.0 sec. user=mdettweiler [2012-08-24 16:08:50] 931*2^1227101-1 is not prime. Res64: ABC4783FFFA3D9D5 Time : 0.0 sec. user=mdettweiler [2012-08-24 16:24:15] 611*2^1227102-1 is not prime. Res64: F42B1C42CCADAD20 Time : 0.0 sec. user=mdettweiler [2012-08-24 16:24:16] 717*2^1227102-1 is not prime. Res64: D7745019B205039E Time : 0.0 sec. user=mdettweiler [2012-08-24 16:28:27] 887*2^1227102-1 is not prime. Res64: E2C43406A7DB6422 Time : 0.0 sec. user=mdettweiler [2012-08-24 16:28:28] 853*2^1227103-1 is not prime. Res64: E1B3CFFD707AF654 Time : 0.0 sec. user=mdettweiler [2012-08-24 16:38:24] 871*2^1227103-1 is not prime. Res64: 989D2ED79B8E8CD3 Time : 0.0 sec. user=mdettweiler [2012-08-24 16:38:55] 913*2^1227103-1 is not prime. Res64: C8942F2648539587 Time : 0.0 sec. user=mdettweiler [2012-08-24 16:44:51] 933*2^1227103-1 is not prime. Res64: 17D7EA5FC84243F5 Time : 0.0 sec. user=mdettweiler [2012-08-24 16:44:51] 605*2^1227104-1 is not prime. Res64: 900DA9CA39D98761 Time : 0.0 sec. user=vaughan [2012-08-24 16:45:23] 737*2^1227102-1 is not prime. Res64: 87C337615CE0C6E6 Time : 0.0 sec. user=mdettweiler [2012-08-24 16:49:03] 617*2^1227104-1 is not prime. Res64: 38E33BB12F4ECC16 Time : 0.0 sec. user=mdettweiler [2012-08-24 16:49:03] 675*2^1227104-1 is not prime. Res64: 0DF150A03B0A3C95 Time : 0.0 sec. user=mdettweiler [2012-08-24 17:05:22] 935*2^1227104-1 is not prime. Res64: 5B1029DA08518F59 Time : 0.0 sec. user=mdettweiler [2012-08-24 17:05:23] 983*2^1227104-1 is not prime. Res64: A8B539199BC3857A Time : 0.0 sec. user=mdettweiler [2012-08-24 17:08:24] 843*2^1227104-1 is not prime. Res64: 94DF827FD12C035C Time : 0.0 sec. user=mdettweiler [2012-08-24 17:08:52] 917*2^1227104-1 is not prime. Res64: 27E4CEDDC957C74F Time : 0.0 sec. user=mdettweiler [2012-08-24 17:09:34] 741*2^1227105-1 is not prime. Res64: CB14B88F549F3DE8 Time : 0.0 sec. user=mdettweiler [2012-08-24 17:09:35] 751*2^1227105-1 is not prime. Res64: C7A27794F24CE025 Time : 0.0 sec. user=vaughan [2012-08-24 17:23:03] 699*2^1227105-1 is not prime. Res64: 8A3B4C8C343DE028 Time : 0.0 sec. user=mdettweiler [2012-08-24 17:25:58] 787*2^1227105-1 is not prime. Res64: 12F987660D0DAFDC Time : 0.0 sec. user=mdettweiler [2012-08-24 17:25:59] 805*2^1227105-1 is not prime. Res64: EC0C160875C13C6A Time : 0.0 sec. user=mdettweiler [2012-08-24 17:30:08] 677*2^1227106-1 is not prime. Res64: 2A893B0B02EB6480 Time : 0.0 sec. user=mdettweiler [2012-08-24 17:30:11] 717*2^1227106-1 is not prime. Res64: D360BF0AF341A852 Time : 0.0 sec. user=mdettweiler [2012-08-24 17:38:12] 885*2^1227105-1 is not prime. Res64: 2320E14D92CEF95D Time : 0.0 sec. user=mdettweiler [2012-08-24 17:38:44] 603*2^1227106-1 is not prime. Res64: 6669B2F3566BCBFE Time : 0.0 sec. user=mdettweiler [2012-08-24 17:46:29] 783*2^1227106-1 is not prime. Res64: 32BABE525221428D Time : 0.0 sec. user=mdettweiler [2012-08-24 17:46:29] 993*2^1227106-1 is not prime. Res64: B9211C2DDEA2A45C Time : 0.0 sec. user=mdettweiler [2012-08-24 17:50:56] 631*2^1227107-1 is not prime. Res64: 56733F5AFA79491F Time : 0.0 sec. user=mdettweiler [2012-08-24 17:50:56] 669*2^1227107-1 is not prime. Res64: FD2E02BE5CD8CDBD Time : 0.0 sec. user=vaughan [2012-08-24 18:00:47] 747*2^1227106-1 is not prime. Res64: 1D5482685B77427F Time : 0.0 sec. user=mdettweiler [2012-08-24 18:07:01] 669*2^1227108-1 is not prime. Res64: 4D1FA1E816BC4B15 Time : 0.0 sec. user=mdettweiler [2012-08-24 18:07:02] 683*2^1227108-1 is not prime. Res64: 19CFDF447240CAE5 Time : 0.0 sec. user=mdettweiler [2012-08-24 18:07:57] 841*2^1227107-1 is not prime. Res64: 315E0F08E1108DE9 Time : 0.0 sec. user=mdettweiler [2012-08-24 18:08:26] 963*2^1227107-1 is not prime. Res64: 03CD83DF9C66DF26 Time : 0.0 sec. user=mdettweiler [2012-08-24 18:11:26] 725*2^1227108-1 is not prime. Res64: 8C50FB6AC4CCAADC Time : 0.0 sec. user=mdettweiler [2012-08-24 18:11:29] 933*2^1227108-1 is not prime. Res64: D4D1FBCD619EE801 Time : 0.0 sec. user=mdettweiler [2012-08-24 18:28:02] 625*2^1227109-1 is not prime. Res64: F3C49EEF3D18775D Time : 0.0 sec. user=mdettweiler [2012-08-24 18:28:02] 681*2^1227109-1 is not prime. Res64: 7811312D0DE3BA84 Time : 0.0 sec. user=mdettweiler [2012-08-24 18:32:06] 919*2^1227109-1 is not prime. Res64: 7CBDDD5B86CD0787 Time : 0.0 sec. user=mdettweiler [2012-08-24 18:32:06] 641*2^1227110-1 is not prime. Res64: F487B219B27D3D21 Time : 0.0 sec. user=mdettweiler [2012-08-24 18:37:43] 771*2^1227109-1 is not prime. Res64: 4F2F9D18F5AD8271 Time : 0.0 sec. user=mdettweiler [2012-08-24 18:38:15] 831*2^1227109-1 is not prime. Res64: D89478F8F74E402A Time : 0.0 sec. user=vaughan [2012-08-24 18:38:31] 945*2^1227108-1 is not prime. Res64: 467F191F5F38DE3D Time : 0.0 sec. user=mdettweiler [2012-08-24 18:48:33] 741*2^1227110-1 is not prime. Res64: 8BF5CE45926EDCFC Time : 0.0 sec. user=mdettweiler [2012-08-24 18:48:34] 753*2^1227110-1 is not prime. Res64: C6ECF8A207698C9F Time : 0.0 sec. user=mdettweiler [2012-08-24 18:52:37] 831*2^1227110-1 is not prime. Res64: DFF56E0794801ED2 Time : 0.0 sec. user=mdettweiler [2012-08-24 18:52:37] 971*2^1227110-1 is not prime. Res64: 4AE6076F6A31AEF3 Time : 0.0 sec. user=mdettweiler [2012-08-24 19:07:25] 693*2^1227111-1 is not prime. Res64: EC0320BDE878D9E5 Time : 0.0 sec. user=mdettweiler [2012-08-24 19:07:54] 789*2^1227111-1 is not prime. Res64: 64831F370A8AF870 Time : 0.0 sec. user=mdettweiler [2012-08-24 19:09:05] 675*2^1227112-1 is not prime. Res64: CC6BAD4FFC5E239F Time : 0.0 sec. user=mdettweiler [2012-08-24 19:09:06] 687*2^1227112-1 is not prime. Res64: B93805490FFCD17F Time : 0.0 sec. user=mdettweiler [2012-08-24 19:13:09] 693*2^1227112-1 is not prime. Res64: 1FF9E9CDEED7872E Time : 0.0 sec. user=mdettweiler [2012-08-24 19:13:11] 717*2^1227112-1 is not prime. Res64: 99D1A5405B43E0CC Time : 0.0 sec. user=vaughan [2012-08-24 19:16:12] 913*2^1227111-1 is not prime. Res64: EF918ED86E0DD193 Time : 0.0 sec. user=mdettweiler [2012-08-24 19:29:39] 855*2^1227112-1 is not prime. Res64: 5C6A3DEED4FEF284 Time : 0.0 sec. user=mdettweiler [2012-08-24 19:29:40] 903*2^1227112-1 is not prime. Res64: 22604500E17CC6E4 Time : 0.0 sec. user=mdettweiler [2012-08-24 19:33:48] 915*2^1227112-1 is not prime. Res64: 25B44A3CB393BC53 Time : 0.0 sec. user=mdettweiler [2012-08-24 19:33:48] 965*2^1227112-1 is not prime. Res64: 042F743F1962DB5E Time : 0.0 sec. user=mdettweiler [2012-08-24 19:37:09] 719*2^1227112-1 is not prime. Res64: DD0A74AE6843234B Time : 0.0 sec. user=mdettweiler [2012-08-24 19:37:33] 785*2^1227112-1 is not prime. Res64: 02E803EA246990FE Time : 0.0 sec. user=mdettweiler [2012-08-24 19:50:12] 669*2^1227113-1 is not prime. Res64: 976F5D4F0C2E741D Time : 0.0 sec. user=mdettweiler [2012-08-24 19:50:12] 697*2^1227113-1 is not prime. Res64: C77F69F302EF949B Time : 0.0 sec. user=vaughan [2012-08-24 19:53:57] 989*2^1227112-1 is not prime. Res64: 2C185446F7C4E237 Time : 0.0 sec. user=mdettweiler [2012-08-24 19:54:20] 855*2^1227113-1 is not prime. Res64: 075B9DD070520254 Time : 0.0 sec. user=mdettweiler [2012-08-24 19:54:20] 925*2^1227113-1 is not prime. Res64: 5D2184785C45F5F2 Time : 0.0 sec. user=mdettweiler [2012-08-24 20:07:15] 949*2^1227113-1 is not prime. Res64: A0B4642AFA9F4A3A Time : 0.0 sec. user=mdettweiler [2012-08-24 20:07:35] 651*2^1227114-1 is not prime. Res64: 99A5EC6F5437B1B4 Time : 0.0 sec. user=mdettweiler [2012-08-24 20:10:43] 663*2^1227114-1 is not prime. Res64: 4084B7562D8535FC Time : 0.0 sec. user=mdettweiler [2012-08-24 20:10:44] 791*2^1227114-1 is not prime. Res64: 4D8A8B7E6769D8A2 Time : 0.0 sec. user=mdettweiler [2012-08-24 20:14:51] 1001*2^1227114-1 is not prime. Res64: 43F8BCD0EEED7A68 Time : 0.0 sec. user=mdettweiler [2012-08-24 20:14:52] 601*2^1227115-1 is not prime. Res64: 222F1C884800D8C2 Time : 0.0 sec. user=mdettweiler [2012-08-24 20:31:19] 871*2^1227115-1 is not prime. Res64: 4A9A95BBE40B86C3 Time : 0.0 sec. user=mdettweiler [2012-08-24 20:31:19] 883*2^1227115-1 is not prime. Res64: 63692B905DA17B39 Time : 0.0 sec. user=vaughan [2012-08-24 20:31:40] 807*2^1227114-1 is not prime. Res64: FA362E7C64ABB554 Time : 0.0 sec. user=mdettweiler [2012-08-24 20:35:23] 969*2^1227115-1 is not prime. Res64: 39BD3607629EDF19 Time : 0.0 sec. user=mdettweiler [2012-08-24 20:35:24] 999*2^1227115-1 is not prime. Res64: 3087E65F6EE04BD7 Time : 0.0 sec. user=mdettweiler [2012-08-24 20:37:14] 663*2^1227115-1 is not prime. Res64: 6A89AFC475492D82 Time : 0.0 sec. user=mdettweiler [2012-08-24 20:37:20] 793*2^1227115-1 is not prime. Res64: 210C37AE95B2F2DE Time : 0.0 sec. user=mdettweiler [2012-08-24 20:51:54] 659*2^1227116-1 is not prime. Res64: A343DD241BEBFC1B Time : 0.0 sec. user=mdettweiler [2012-08-24 20:51:54] 683*2^1227116-1 is not prime. Res64: F0F7CF0CFC5DAC72 Time : 0.0 sec. user=mdettweiler [2012-08-24 20:55:54] 827*2^1227116-1 is not prime. Res64: 918F7575344222A7 Time : 0.0 sec. user=mdettweiler [2012-08-24 20:55:55] 833*2^1227116-1 is not prime. Res64: FFC3B86CC05E2361 Time : 0.0 sec. user=mdettweiler [2012-08-24 21:07:14] 843*2^1227116-1 is not prime. Res64: B67ADCEE9A53CE70 Time : 0.0 sec. user=mdettweiler [2012-08-24 21:07:21] 999*2^1227116-1 is not prime. Res64: CADD35AFA1472C7B Time : 0.0 sec. user=vaughan [2012-08-24 21:09:20] 725*2^1227116-1 is not prime. Res64: EE6A7A8B05733275 Time : 0.0 sec. user=mdettweiler [2012-08-24 21:12:25] 625*2^1227117-1 is not prime. Res64: 77989E04E96BEDE1 Time : 0.0 sec. user=mdettweiler [2012-08-24 21:12:26] 667*2^1227117-1 is not prime. Res64: F65FD6EF5B3F4C1E Time : 0.0 sec. user=mdettweiler [2012-08-24 21:16:26] 675*2^1227117-1 is not prime. Res64: A93D4C34D03C032D Time : 0.0 sec. user=mdettweiler [2012-08-24 21:16:26] 699*2^1227117-1 is not prime. Res64: C440B939447586F7 Time : 0.0 sec. user=mdettweiler [2012-08-24 21:33:02] 663*2^1227118-1 is not prime. Res64: 879809BD1944BE05 Time : 0.0 sec. user=mdettweiler [2012-08-24 21:33:02] 687*2^1227118-1 is not prime. Res64: BC6B4FFF98D0C2B3 Time : 0.0 sec. user=mdettweiler [2012-08-24 21:36:58] 731*2^1227118-1 is not prime. Res64: FB3A62E148D66E4C Time : 0.0 sec. user=mdettweiler [2012-08-24 21:36:58] 743*2^1227118-1 is not prime. Res64: 6D9C2D0755599A17 Time : 0.0 sec. user=mdettweiler [2012-08-24 21:37:59] 759*2^1227117-1 is not prime. Res64: 75BB0965FFD9B3E7 Time : 0.0 sec. user=mdettweiler [2012-08-24 21:37:59] 865*2^1227117-1 is not prime. Res64: C8F44EEEB2CED83D Time : 0.0 sec. user=vaughan [2012-08-24 21:47:06] 895*2^1227117-1 is not prime. Res64: B99081737C852448 Time : 0.0 sec. user=mdettweiler [2012-08-24 21:53:34] 791*2^1227118-1 is not prime. Res64: E7709071DFB6A907 Time : 0.0 sec. user=mdettweiler [2012-08-24 21:53:35] 815*2^1227118-1 is not prime. Res64: CAFC9294B5FA3522 Time : 0.0 sec. user=mdettweiler [2012-08-24 21:57:30] 891*2^1227118-1 is not prime. Res64: 5AAF2DE6D02041F5 Time : 0.0 sec. user=mdettweiler [2012-08-24 21:57:30] 1001*2^1227118-1 is not prime. Res64: 97774E39B8E5FDAD Time : 0.0 sec. user=mdettweiler [2012-08-24 22:08:26] 615*2^1227119-1 is not prime. Res64: D7906355E2E06881 Time : 0.0 sec. user=mdettweiler [2012-08-24 22:08:33] 627*2^1227120-1 is not prime. Res64: D1488752C7716152 Time : 0.0 sec. user=mdettweiler [2012-08-24 22:14:06] 693*2^1227120-1 is not prime. Res64: C9540E92B3606706 Time : 0.0 sec. user=mdettweiler [2012-08-24 22:14:07] 849*2^1227120-1 is not prime. Res64: 913AD309EC610777 Time : 0.0 sec. user=mdettweiler [2012-08-24 22:18:01] 867*2^1227120-1 is not prime. Res64: A0BC0B015BC26CA3 Time : 0.0 sec. user=mdettweiler [2012-08-24 22:18:01] 975*2^1227120-1 is not prime. Res64: 9279E5DB981649B7 Time : 0.0 sec. user=vaughan [2012-08-24 22:24:47] 629*2^1227120-1 is not prime. Res64: A1ADAA35B47DF004 Time : 0.0 sec. user=mdettweiler [2012-08-24 22:34:39] 819*2^1227121-1 is not prime. Res64: AB453CF767A048D3 Time : 0.0 sec. user=mdettweiler [2012-08-24 22:34:40] 829*2^1227121-1 is not prime. Res64: 29773FCB311172F3 Time : 0.0 sec. user=mdettweiler [2012-08-24 22:38:32] 967*2^1227121-1 is not prime. Res64: 4F78C2851072BC49 Time : 0.0 sec. user=mdettweiler [2012-08-24 22:38:33] 987*2^1227121-1 is not prime. Res64: 787C46502021E55B Time : 0.0 sec. user=mdettweiler [2012-08-24 22:39:02] 983*2^1227120-1 is not prime. Res64: 36DA3F00BE3D2AF3 Time : 0.0 sec. user=mdettweiler [2012-08-24 22:39:19] 625*2^1227121-1 is not prime. Res64: EA09A35C793C03F9 Time : 0.0 sec. user=mdettweiler [2012-08-24 22:55:12] 857*2^1227122-1 is not prime. Res64: 7E87DA0775377DEC Time : 0.0 sec. user=mdettweiler [2012-08-24 22:55:13] 867*2^1227122-1 is not prime. Res64: 7B540BD378D1E945 Time : 0.0 sec. user=mdettweiler [2012-08-24 22:59:04] 875*2^1227122-1 is not prime. Res64: 9FF2610CD0CF283B Time : 0.0 sec. user=mdettweiler [2012-08-24 22:59:05] 893*2^1227122-1 is not prime. Res64: 79851062FD88A35D Time : 0.0 sec. user=vaughan [2012-08-24 23:02:29] 801*2^1227122-1 is not prime. Res64: 2CFD294BBA617245 Time : 0.0 sec. user=mdettweiler [2012-08-24 23:09:37] 935*2^1227122-1 is not prime. Res64: C9D33CB037203B22 Time : 0.0 sec. user=mdettweiler [2012-08-24 23:09:50] 619*2^1227123-1 is not prime. Res64: 9920034823012E99 Time : 0.0 sec. user=mdettweiler [2012-08-24 23:15:44] 663*2^1227123-1 is not prime. Res64: 9812B6EC0BF7A867 Time : 0.0 sec. user=mdettweiler [2012-08-24 23:15:45] 765*2^1227123-1 is not prime. Res64: 4126F5CB37B6F284 Time : 0.0 sec. user=mdettweiler [2012-08-24 23:19:36] 795*2^1227123-1 is not prime. Res64: EDDA25B4D7CC15A4 Time : 0.0 sec. user=mdettweiler [2012-08-24 23:19:37] 951*2^1227123-1 is not prime. Res64: B9F33E8A5896300F Time : 0.0 sec. user=mdettweiler [2012-08-24 23:36:19] 939*2^1227124-1 is not prime. Res64: 4257F64F9612FFB0 Time : 0.0 sec. user=mdettweiler [2012-08-24 23:36:19] 685*2^1227125-1 is not prime. Res64: 757CE29778F1C451 Time : 0.0 sec. user=mdettweiler [2012-08-24 23:39:49] 785*2^1227124-1 is not prime. Res64: 4A6AF9E22356DCBB Time : 0.0 sec. user=mdettweiler [2012-08-24 23:39:55] 869*2^1227124-1 is not prime. Res64: 78C9E82EE01006A6 Time : 0.0 sec. user=vaughan [2012-08-24 23:40:09] 759*2^1227124-1 is not prime. Res64: 45C0802BB88F9AC9 Time : 0.0 sec. user=mdettweiler [2012-08-24 23:40:11] 715*2^1227125-1 is not prime. Res64: 62C8FBBF63B32648 Time : 0.0 sec. user=mdettweiler [2012-08-24 23:40:11] 969*2^1227125-1 is not prime. Res64: 2D164F916F4E4F43 Time : 0.0 sec. user=mdettweiler [2012-08-24 23:56:51] 825*2^1227126-1 is not prime. Res64: 900BD5B5CF2B25F3 Time : 0.0 sec. user=mdettweiler [2012-08-24 23:56:52] 625*2^1227127-1 is not prime. Res64: D9E99E169A834E91 Time : 0.0 sec. user=mdettweiler [2012-08-25 00:00:42] 975*2^1227127-1 is not prime. Res64: 58311D767B05C0D4 Time : 0.0 sec. user=mdettweiler [2012-08-25 00:00:43] 657*2^1227128-1 is not prime. Res64: B003398DC6A3B489 Time : 0.0 sec.