user=mdettweiler [2015-07-24 00:01:53] 805*2^1403941-1 is not prime. Res64: 02FD3E1A126D8792 Time : 0.0 sec. user=mdettweiler [2015-07-24 00:01:53] 889*2^1403941-1 is not prime. Res64: FB5CC70A4E1B48FB Time : 0.0 sec. user=mdettweiler [2015-07-24 00:03:46] 955*2^1403941-1 is not prime. Res64: 3825B28D916A5606 Time : 0.0 sec. user=mdettweiler [2015-07-24 00:03:47] 975*2^1403941-1 is not prime. Res64: 0C4D6C2AB3F6A2AF Time : 0.0 sec. user=mdettweiler [2015-07-24 00:12:10] 675*2^1403942-1 is not prime. Res64: 30E554CC0EF722F9 Time : 0.0 sec. user=mdettweiler [2015-07-24 00:12:10] 705*2^1403942-1 is not prime. Res64: 8DF0AF10D5BEDFBD Time : 0.0 sec. user=mdettweiler [2015-07-24 00:12:43] 825*2^1403942-1 is not prime. Res64: 4AE090DC524C9DBD Time : 0.0 sec. user=mdettweiler [2015-07-24 00:12:43] 867*2^1403942-1 is not prime. Res64: 5272ACA260598BFB Time : 0.0 sec. user=mdettweiler [2015-07-24 00:20:53] 893*2^1403942-1 is not prime. Res64: 0042CC0D19E8AF71 Time : 0.0 sec. user=mdettweiler [2015-07-24 00:20:53] 921*2^1403942-1 is not prime. Res64: 82E792590ED0F6D3 Time : 0.0 sec. user=mdettweiler [2015-07-24 00:23:09] 643*2^1403943-1 is not prime. Res64: 7FACA056925F41C3 Time : 0.0 sec. user=mdettweiler [2015-07-24 00:23:09] 669*2^1403943-1 is not prime. Res64: 790003FA363023B0 Time : 0.0 sec. user=mdettweiler [2015-07-24 00:32:16] 709*2^1403943-1 is not prime. Res64: 71D863DF1997B644 Time : 0.0 sec. user=mdettweiler [2015-07-24 00:32:16] 795*2^1403943-1 is not prime. Res64: 164B6952ACDC59BA Time : 0.0 sec. user=mdettweiler [2015-07-24 00:32:36] 831*2^1403943-1 is not prime. Res64: 1ABE93B56F049FE5 Time : 0.0 sec. user=mdettweiler [2015-07-24 00:32:36] 853*2^1403943-1 is not prime. Res64: 55FCB444135F1251 Time : 0.0 sec. user=mdettweiler [2015-07-24 00:40:45] 895*2^1403943-1 is not prime. Res64: B91932299B3094F3 Time : 0.0 sec. user=mdettweiler [2015-07-24 00:40:45] 913*2^1403943-1 is not prime. Res64: C9CFEE526F207A24 Time : 0.0 sec. user=mdettweiler [2015-07-24 00:43:05] 961*2^1403943-1 is not prime. Res64: A752C2BEB79D98B7 Time : 0.0 sec. user=mdettweiler [2015-07-24 00:43:06] 963*2^1403943-1 is not prime. Res64: B3C5988C35D5794F Time : 0.0 sec. user=mdettweiler [2015-07-24 00:51:08] 677*2^1403944-1 is not prime. Res64: B1270182E03E1EA8 Time : 0.0 sec. user=mdettweiler [2015-07-24 00:51:08] 825*2^1403944-1 is not prime. Res64: 450D46A12CD0E21B Time : 0.0 sec. user=mdettweiler [2015-07-24 00:51:21] 679*2^1403945-1 is not prime. Res64: 20CBB26FB4E55D1A Time : 0.0 sec. user=mdettweiler [2015-07-24 00:51:22] 729*2^1403945-1 is not prime. Res64: 3216A7B80C1360DC Time : 0.0 sec. user=mdettweiler [2015-07-24 00:59:49] 831*2^1403945-1 is not prime. Res64: D68020F9EA8F3602 Time : 0.0 sec. user=mdettweiler [2015-07-24 00:59:49] 871*2^1403945-1 is not prime. Res64: 6342AE0484DC6AB2 Time : 0.0 sec. user=mdettweiler [2015-07-24 01:02:16] 889*2^1403945-1 is not prime. Res64: FC96CACA3957549D Time : 0.0 sec. user=mdettweiler [2015-07-24 01:02:16] 633*2^1403946-1 is not prime. Res64: 875FC77F5EAA9349 Time : 0.0 sec. user=mdettweiler [2015-07-24 01:10:17] 713*2^1403946-1 is not prime. Res64: 8103FF001F9C7646 Time : 0.0 sec. user=mdettweiler [2015-07-24 01:10:18] 833*2^1403946-1 is not prime. Res64: 962269F64518D312 Time : 0.0 sec. user=mdettweiler [2015-07-24 01:10:30] 851*2^1403946-1 is not prime. Res64: E97F7660CD722ABA Time : 0.0 sec. user=mdettweiler [2015-07-24 01:10:30] 891*2^1403946-1 is not prime. Res64: EC278267DB27D88E Time : 0.0 sec. user=mdettweiler [2015-07-24 01:19:03] 957*2^1403946-1 is not prime. Res64: 07A936A72E8CD164 Time : 0.0 sec. user=mdettweiler [2015-07-24 01:19:03] 703*2^1403947-1 is not prime. Res64: 344FD080DB9FFD4F Time : 0.0 sec. user=mdettweiler [2015-07-24 01:21:32] 841*2^1403947-1 is not prime. Res64: 645ABF5771B193F5 Time : 0.0 sec. user=mdettweiler [2015-07-24 01:21:32] 861*2^1403947-1 is not prime. Res64: 7792E8466D0DC8C4 Time : 0.0 sec. user=mdettweiler [2015-07-24 01:30:03] 659*2^1403948-1 is not prime. Res64: 2313F02D5082BA86 Time : 0.0 sec. user=mdettweiler [2015-07-24 01:30:03] 871*2^1403947-1 is not prime. Res64: B466621B3B1CA5D2 Time : 0.0 sec. user=mdettweiler [2015-07-24 01:30:04] 735*2^1403948-1 is not prime. Res64: E80A38A287064005 Time : 0.0 sec. user=mdettweiler [2015-07-24 01:30:05] 647*2^1403948-1 is not prime. Res64: 25295440F08FB8D7 Time : 0.0 sec. user=mdettweiler [2015-07-24 01:38:58] 839*2^1403948-1 is not prime. Res64: E27C795651B1B577 Time : 0.0 sec. user=mdettweiler [2015-07-24 01:38:58] 885*2^1403948-1 is not prime. Res64: AE241AB6DAC7EF91 Time : 0.0 sec. user=mdettweiler [2015-07-24 01:41:01] 709*2^1403949-1 is not prime. Res64: F996F043C6E910A0 Time : 0.0 sec. user=mdettweiler [2015-07-24 01:41:01] 751*2^1403949-1 is not prime. Res64: 8EFC236D55A70990 Time : 0.0 sec. user=mdettweiler [2015-07-24 01:49:31] 945*2^1403949-1 is not prime. Res64: 20E3BFBC67FDCDF4 Time : 0.0 sec. user=mdettweiler [2015-07-24 01:49:32] 665*2^1403950-1 is not prime. Res64: 78B2FE84C2D4A648 Time : 0.0 sec. user=mdettweiler [2015-07-24 01:49:47] 877*2^1403949-1 is not prime. Res64: 0DAAC71FC57A9B60 Time : 0.0 sec. user=mdettweiler [2015-07-24 01:49:48] 895*2^1403949-1 is not prime. Res64: B686B65E776507A0 Time : 0.0 sec. user=mdettweiler [2015-07-24 01:57:38] 707*2^1403950-1 is not prime. Res64: FF589243FC553CA7 Time : 0.0 sec. user=mdettweiler [2015-07-24 01:57:38] 713*2^1403950-1 is not prime. Res64: 065D0F784C65FA21 Time : 0.0 sec. user=mdettweiler [2015-07-24 01:59:53] 845*2^1403950-1 is not prime. Res64: 37C7AC4F77FE2CCD Time : 0.0 sec. user=mdettweiler [2015-07-24 01:59:53] 867*2^1403950-1 is not prime. Res64: 662EBD7C64177DB2 Time : 0.0 sec. user=mdettweiler [2015-07-24 02:08:26] 885*2^1403950-1 is not prime. Res64: EDFD64CFE27B9B14 Time : 0.0 sec. user=mdettweiler [2015-07-24 02:08:27] 945*2^1403950-1 is not prime. Res64: 79775C930ECACBE0 Time : 0.0 sec. user=mdettweiler [2015-07-24 02:08:47] 1001*2^1403950-1 is not prime. Res64: FC055F26639C7681 Time : 0.0 sec. user=mdettweiler [2015-07-24 02:08:47] 619*2^1403951-1 is not prime. Res64: 0BD783B70337CA1F Time : 0.0 sec. user=mdettweiler [2015-07-24 02:16:38] 735*2^1403951-1 is not prime. Res64: B6A67BF55FED8105 Time : 0.0 sec. user=mdettweiler [2015-07-24 02:16:38] 813*2^1403951-1 is not prime. Res64: B25211939DD906BF Time : 0.0 sec. user=mdettweiler [2015-07-24 02:18:35] 825*2^1403951-1 is not prime. Res64: F83D7BC89FC436B2 Time : 0.0 sec. user=mdettweiler [2015-07-24 02:18:36] 883*2^1403951-1 is not prime. Res64: E368659816210ABF Time : 0.0 sec. user=mdettweiler [2015-07-24 02:27:40] 779*2^1403952-1 is not prime. Res64: 8789F2CB653F50CC Time : 0.0 sec. user=mdettweiler [2015-07-24 02:27:40] 873*2^1403952-1 is not prime. Res64: FF941DDE22C7C5BC Time : 0.0 sec. user=mdettweiler [2015-07-24 02:27:46] 623*2^1403952-1 is not prime. Res64: A62409F3E4D80B44 Time : 0.0 sec. user=mdettweiler [2015-07-24 02:27:46] 765*2^1403952-1 is not prime. Res64: EC5655D63808D8E4 Time : 0.0 sec. user=mdettweiler [2015-07-24 02:35:04] 801*2^1403953-1 is not prime. Res64: 883718289559B9F7 Time : 0.0 sec. user=mdettweiler [2015-07-24 02:35:05] 897*2^1403953-1 is not prime. Res64: 137621DA592BCE5F Time : 0.0 sec. user=mdettweiler [2015-07-24 02:36:55] 951*2^1403953-1 is not prime. Res64: C54F514FC41345EC Time : 0.0 sec. user=mdettweiler [2015-07-24 02:36:55] 785*2^1403954-1 is not prime. Res64: D9D1A928F322BE5A Time : 0.0 sec. user=mdettweiler [2015-07-24 02:45:23] 741*2^1403955-1 is not prime. Res64: 485F1E2F82CDA81B Time : 0.0 sec. user=mdettweiler [2015-07-24 02:45:24] 895*2^1403955-1 is not prime. Res64: 011FB63E12E089B0 Time : 0.0 sec. user=mdettweiler [2015-07-24 02:45:32] 885*2^1403954-1 is not prime. Res64: DC1A85895B6EBB81 Time : 0.0 sec. user=mdettweiler [2015-07-24 02:45:32] 921*2^1403954-1 is not prime. Res64: 6105A07E68CF27A5 Time : 0.0 sec. user=mdettweiler [2015-07-24 02:52:57] 921*2^1403955-1 is not prime. Res64: F5B0305C701C0510 Time : 0.0 sec. user=mdettweiler [2015-07-24 02:52:58] 639*2^1403956-1 is not prime. Res64: 3EE08A2905291B79 Time : 0.0 sec. user=mdettweiler [2015-07-24 02:54:49] 653*2^1403956-1 is not prime. Res64: A4387FBCE9E0AA79 Time : 0.0 sec. user=mdettweiler [2015-07-24 02:54:49] 989*2^1403956-1 is not prime. Res64: 6282B30979AE149C Time : 0.0 sec. user=mdettweiler [2015-07-24 03:03:18] 655*2^1403957-1 is not prime. Res64: EFFE6E1871BAFEB1 Time : 0.0 sec. user=mdettweiler [2015-07-24 03:03:20] 669*2^1403957-1 is not prime. Res64: 5795B514EA307389 Time : 0.0 sec. user=mdettweiler [2015-07-24 03:03:22] 795*2^1403957-1 is not prime. Res64: B0262AF79B31EBBC Time : 0.0 sec. user=mdettweiler [2015-07-24 03:03:23] 861*2^1403957-1 is not prime. Res64: 31D05730748045DB Time : 0.0 sec. user=mdettweiler [2015-07-24 03:11:02] 939*2^1403957-1 is not prime. Res64: 11372E5E9E0D25C7 Time : 0.0 sec. user=mdettweiler [2015-07-24 03:11:02] 955*2^1403957-1 is not prime. Res64: FCD537A86CD81489 Time : 0.0 sec. user=mdettweiler [2015-07-24 03:12:53] 705*2^1403958-1 is not prime. Res64: 8035EBA5CA979C9C Time : 0.0 sec. user=mdettweiler [2015-07-24 03:12:53] 707*2^1403958-1 is not prime. Res64: FDBA199D0E4E9BAE Time : 0.0 sec. user=mdettweiler [2015-07-24 03:21:36] 725*2^1403958-1 is not prime. Res64: C744C1078F67B979 Time : 0.0 sec. user=mdettweiler [2015-07-24 03:21:36] 731*2^1403958-1 is not prime. Res64: 9F7613DDE4CBA9D4 Time : 0.0 sec. user=mdettweiler [2015-07-24 03:21:39] 761*2^1403958-1 is not prime. Res64: 788BE638DB24718D Time : 0.0 sec. user=mdettweiler [2015-07-24 03:21:40] 801*2^1403958-1 is not prime. Res64: 88A42CCC74789BAC Time : 0.0 sec. user=mdettweiler [2015-07-24 03:29:01] 963*2^1403958-1 is not prime. Res64: B0B7286C4529B1EB Time : 0.0 sec. user=mdettweiler [2015-07-24 03:29:04] 971*2^1403958-1 is not prime. Res64: 8E1F0B5EFB4CC59E Time : 0.0 sec. user=mdettweiler [2015-07-24 03:30:58] 603*2^1403959-1 is not prime. Res64: 14F5035759B3DF3C Time : 0.0 sec. user=mdettweiler [2015-07-24 03:30:59] 619*2^1403959-1 is not prime. Res64: 75EFAD9EDF8E21A4 Time : 0.0 sec. user=mdettweiler [2015-07-24 03:39:59] 723*2^1403959-1 is not prime. Res64: 5CBF79A253DA67D9 Time : 0.0 sec. user=mdettweiler [2015-07-24 03:40:00] 931*2^1403959-1 is not prime. Res64: BB4D2B7A3A06ABC7 Time : 0.0 sec. user=mdettweiler [2015-07-24 03:40:42] 939*2^1403959-1 is not prime. Res64: FF28EE1788C30992 Time : 0.0 sec. user=mdettweiler [2015-07-24 03:40:43] 943*2^1403959-1 is not prime. Res64: 5F3E276DE28F084E Time : 0.0 sec. user=mdettweiler [2015-07-24 03:48:21] 633*2^1403960-1 is not prime. Res64: C64F117920E0BF78 Time : 0.0 sec. user=mdettweiler [2015-07-24 03:48:22] 665*2^1403960-1 is not prime. Res64: 900A99631D1E14B4 Time : 0.0 sec. user=mdettweiler [2015-07-24 03:49:24] 797*2^1403960-1 is not prime. Res64: D05D630AF46300A4 Time : 0.0 sec. user=mdettweiler [2015-07-24 03:49:25] 803*2^1403960-1 is not prime. Res64: 8DE224EC3D9609D1 Time : 0.0 sec. user=mdettweiler [2015-07-24 03:58:14] 879*2^1403960-1 is not prime. Res64: 039192A76CC70BBE Time : 0.0 sec. user=mdettweiler [2015-07-24 03:58:14] 963*2^1403960-1 is not prime. Res64: 8AF2EA912338A7BE Time : 0.0 sec. user=mdettweiler [2015-07-24 03:58:29] 999*2^1403960-1 is not prime. Res64: CE7C6A245340E0BE Time : 0.0 sec. user=mdettweiler [2015-07-24 03:58:29] 681*2^1403961-1 is not prime. Res64: 23E4A825AF48639D Time : 0.0 sec. user=mdettweiler [2015-07-24 04:06:11] 705*2^1403961-1 is not prime. Res64: 9B3DA90F2804DF9D Time : 0.0 sec. user=mdettweiler [2015-07-24 04:06:13] 837*2^1403961-1 is not prime. Res64: 42A67567D99D5532 Time : 0.0 sec. user=mdettweiler [2015-07-24 04:07:07] 847*2^1403961-1 is not prime. Res64: 163D15EF6269E984 Time : 0.0 sec. user=mdettweiler [2015-07-24 04:07:08] 865*2^1403961-1 is not prime. Res64: 87C1E8A7C15E34EB Time : 0.0 sec. user=mdettweiler [2015-07-24 04:15:54] 895*2^1403961-1 is not prime. Res64: 9BE9886F03699F09 Time : 0.0 sec. user=mdettweiler [2015-07-24 04:15:54] 907*2^1403961-1 is not prime. Res64: B73A7D6194B8C6CB Time : 0.0 sec. user=mdettweiler [2015-07-24 04:16:14] 969*2^1403961-1 is not prime. Res64: 36AFFC1B6EDD0675 Time : 0.0 sec. user=mdettweiler [2015-07-24 04:16:15] 975*2^1403961-1 is not prime. Res64: AFC8DEB09FFF71BC Time : 0.0 sec. user=mdettweiler [2015-07-24 04:24:18] 657*2^1403962-1 is not prime. Res64: FBFDDA9E092543B9 Time : 0.0 sec. user=mdettweiler [2015-07-24 04:24:19] 825*2^1403962-1 is not prime. Res64: 23E4C366F31A3902 Time : 0.0 sec. user=mdettweiler [2015-07-24 04:24:56] 887*2^1403962-1 is not prime. Res64: 4FAEA936822F0926 Time : 0.0 sec. user=mdettweiler [2015-07-24 04:24:57] 987*2^1403962-1 is not prime. Res64: 7AFA4DA2A8FFD248 Time : 0.0 sec. user=mdettweiler [2015-07-24 04:33:44] 679*2^1403963-1 is not prime. Res64: 62FD83AF216DFA7C Time : 0.0 sec. user=mdettweiler [2015-07-24 04:33:44] 693*2^1403963-1 is not prime. Res64: 982D2331E9EAF59A Time : 0.0 sec. user=mdettweiler [2015-07-24 04:34:08] 759*2^1403963-1 is not prime. Res64: 1083AA633FF8B679 Time : 0.0 sec. user=mdettweiler [2015-07-24 04:34:09] 915*2^1403963-1 is not prime. Res64: A9BB16C9F9EF7189 Time : 0.0 sec. user=mdettweiler [2015-07-24 04:42:20] 949*2^1403963-1 is not prime. Res64: 3C8C74D7C1A0F14E Time : 0.0 sec. user=mdettweiler [2015-07-24 04:42:20] 999*2^1403963-1 is not prime. Res64: 9688D99B6E543827 Time : 0.0 sec. user=mdettweiler [2015-07-24 04:42:39] 605*2^1403964-1 is not prime. Res64: 961D568967AD50D0 Time : 0.0 sec. user=mdettweiler [2015-07-24 04:42:39] 683*2^1403964-1 is not prime. Res64: 6D55EDF92F410174 Time : 0.0 sec. user=mdettweiler [2015-07-24 04:51:29] 737*2^1403964-1 is not prime. Res64: D4F57F463871F8B3 Time : 0.0 sec. user=mdettweiler [2015-07-24 04:51:29] 749*2^1403964-1 is not prime. Res64: CD887934EE9B430D Time : 0.0 sec. user=mdettweiler [2015-07-24 04:51:54] 767*2^1403964-1 is not prime. Res64: B24E73E657821571 Time : 0.0 sec. user=mdettweiler [2015-07-24 04:51:55] 843*2^1403964-1 is not prime. Res64: 32B4DE5B959CE8DF Time : 0.0 sec. user=mdettweiler [2015-07-24 05:00:11] 819*2^1403965-1 is not prime. Res64: 60832E2C4F5B5F55 Time : 0.0 sec. user=mdettweiler [2015-07-24 05:00:11] 707*2^1403966-1 is not prime. Res64: B3AEE8E94823DF2B Time : 0.0 sec. user=mdettweiler [2015-07-24 05:00:29] 713*2^1403966-1 is not prime. Res64: 4E605E8C5C892840 Time : 0.0 sec. user=mdettweiler [2015-07-24 05:00:30] 717*2^1403966-1 is not prime. Res64: FE0D17F076E4B032 Time : 0.0 sec. user=mdettweiler [2015-07-24 05:09:16] 773*2^1403966-1 is not prime. Res64: 89C471B7ECCC04A5 Time : 0.0 sec. user=mdettweiler [2015-07-24 05:09:16] 815*2^1403966-1 is not prime. Res64: 58EEA8F121AD3873 Time : 0.0 sec. user=mdettweiler [2015-07-24 05:09:44] 833*2^1403966-1 is not prime. Res64: 5D568D69CDF628AC Time : 0.0 sec. user=mdettweiler [2015-07-24 05:09:44] 921*2^1403966-1 is not prime. Res64: D28ABD5CAF854D94 Time : 0.0 sec. user=mdettweiler [2015-07-24 05:18:10] 983*2^1403966-1 is not prime. Res64: C9D5485665DE7B99 Time : 0.0 sec. user=mdettweiler [2015-07-24 05:18:10] 669*2^1403967-1 is not prime. Res64: 3926D42E8301DD35 Time : 0.0 sec. user=mdettweiler [2015-07-24 05:18:15] 705*2^1403967-1 is not prime. Res64: 25640BBF5B3EC84A Time : 0.0 sec. user=mdettweiler [2015-07-24 05:18:16] 735*2^1403967-1 is not prime. Res64: 04234F131BD072DF Time : 0.0 sec. user=mdettweiler [2015-07-24 05:27:01] 885*2^1403967-1 is not prime. Res64: F6925D0939F86894 Time : 0.0 sec. user=mdettweiler [2015-07-24 05:27:01] 931*2^1403967-1 is not prime. Res64: 20643AF2B019DB9F Time : 0.0 sec. user=mdettweiler [2015-07-24 05:27:32] 945*2^1403967-1 is not prime. Res64: 1AA434CB73B48AF1 Time : 0.0 sec. user=mdettweiler [2015-07-24 05:27:32] 951*2^1403967-1 is not prime. Res64: 8224BF58F65BEF93 Time : 0.0 sec. user=mdettweiler [2015-07-24 05:35:49] 963*2^1403967-1 is not prime. Res64: C2ED5FCFADD4D997 Time : 0.0 sec. user=mdettweiler [2015-07-24 05:35:49] 991*2^1403967-1 is not prime. Res64: 3213E11E538E9F19 Time : 0.0 sec. user=mdettweiler [2015-07-24 05:36:00] 699*2^1403968-1 is not prime. Res64: 8A30E67DCA71A2FB Time : 0.0 sec. user=mdettweiler [2015-07-24 05:36:00] 705*2^1403968-1 is not prime. Res64: 8442A9257AAFC9CD Time : 0.0 sec. user=mdettweiler [2015-07-24 05:44:46] 707*2^1403968-1 is not prime. Res64: A23EDE36E5E4F973 Time : 0.0 sec. user=mdettweiler [2015-07-24 05:44:46] 723*2^1403968-1 is not prime. Res64: 8208F29597AFBCC8 Time : 0.0 sec. user=mdettweiler [2015-07-24 05:45:11] 813*2^1403968-1 is not prime. Res64: 887FA8FE9B8AED06 Time : 0.0 sec. user=mdettweiler [2015-07-24 05:45:11] 827*2^1403968-1 is not prime. Res64: A4319A803126888B Time : 0.0 sec. user=mdettweiler [2015-07-24 05:53:34] 909*2^1403968-1 is not prime. Res64: A9DB406012CC0B76 Time : 0.0 sec. user=mdettweiler [2015-07-24 05:53:34] 691*2^1403969-1 is not prime. Res64: 3171FC70C209CD01 Time : 0.0 sec. user=mdettweiler [2015-07-24 05:53:43] 697*2^1403969-1 is not prime. Res64: A32F42A75A7A2B6D Time : 0.0 sec. user=mdettweiler [2015-07-24 05:53:43] 925*2^1403969-1 is not prime. Res64: 4A26C53FB9BC3F68 Time : 0.0 sec. user=mdettweiler [2015-07-24 06:02:24] 979*2^1403969-1 is not prime. Res64: 357ED6A34115621D Time : 0.0 sec. user=mdettweiler [2015-07-24 06:02:25] 641*2^1403970-1 is not prime. Res64: 215F686FAC42C35F Time : 0.0 sec. user=mdettweiler [2015-07-24 06:02:52] 653*2^1403970-1 is not prime. Res64: CBDAB86F5F8DD15B Time : 0.0 sec. user=mdettweiler [2015-07-24 06:02:53] 713*2^1403970-1 is not prime. Res64: 70652F925EC07AA4 Time : 0.0 sec. user=mdettweiler [2015-07-24 06:11:21] 783*2^1403970-1 is not prime. Res64: 95FE2E91B85856FD Time : 0.0 sec. user=mdettweiler [2015-07-24 06:11:22] 625*2^1403971-1 is not prime. Res64: 09D2CBB3B9B05566 Time : 0.0 sec. user=mdettweiler [2015-07-24 06:11:35] 733*2^1403971-1 is not prime. Res64: 1B77692BA1855882 Time : 0.0 sec. user=mdettweiler [2015-07-24 06:11:36] 829*2^1403971-1 is not prime. Res64: 09B62483DAB7809A Time : 0.0 sec. user=mdettweiler [2015-07-24 06:20:20] 883*2^1403971-1 is not prime. Res64: D96A0F334E9D9F65 Time : 0.0 sec. user=mdettweiler [2015-07-24 06:20:21] 909*2^1403971-1 is not prime. Res64: E386C53577764311 Time : 0.0 sec. user=mdettweiler [2015-07-24 06:20:49] 993*2^1403971-1 is not prime. Res64: 8E75C81EF62D6CA0 Time : 0.0 sec. user=mdettweiler [2015-07-24 06:20:50] 603*2^1403972-1 is not prime. Res64: B7E16015922307B8 Time : 0.0 sec. user=mdettweiler [2015-07-24 06:29:17] 633*2^1403972-1 is not prime. Res64: F370BEC9A68A885A Time : 0.0 sec. user=mdettweiler [2015-07-24 06:29:17] 665*2^1403972-1 is not prime. Res64: DA00F769E0FA1127 Time : 0.0 sec. user=mdettweiler [2015-07-24 06:29:36] 767*2^1403972-1 is not prime. Res64: 633F6E02DE29DA54 Time : 0.0 sec. user=mdettweiler [2015-07-24 06:29:36] 957*2^1403972-1 is not prime. Res64: D91DDFB6E60BB40D Time : 0.0 sec. user=mdettweiler [2015-07-24 06:38:08] 735*2^1403973-1 is not prime. Res64: 517D6CDD56872BC3 Time : 0.0 sec. user=mdettweiler [2015-07-24 06:38:09] 781*2^1403973-1 is not prime. Res64: 065D40701D9F81D1 Time : 0.0 sec. user=mdettweiler [2015-07-24 06:38:37] 837*2^1403973-1 is not prime. Res64: 718A2C8CB272128D Time : 0.0 sec. user=mdettweiler [2015-07-24 06:38:38] 651*2^1403974-1 is not prime. Res64: 50AFF237331C7FB5 Time : 0.0 sec. user=mdettweiler [2015-07-24 06:47:05] 681*2^1403974-1 is not prime. Res64: 1CE402E05A5D80D9 Time : 0.0 sec. user=mdettweiler [2015-07-24 06:47:06] 791*2^1403974-1 is not prime. Res64: 9FB93A5DF2FA23A7 Time : 0.0 sec. user=mdettweiler [2015-07-24 06:47:28] 815*2^1403974-1 is not prime. Res64: 2F9DEF6663941A21 Time : 0.0 sec. user=mdettweiler [2015-07-24 06:47:29] 857*2^1403974-1 is not prime. Res64: 214A8E3A4FFC6510 Time : 0.0 sec. user=mdettweiler [2015-07-24 06:56:03] 881*2^1403974-1 is not prime. Res64: 7BAF7EEEDC306D7A Time : 0.0 sec. user=mdettweiler [2015-07-24 06:56:03] 915*2^1403974-1 is not prime. Res64: D0EE825A8B259144 Time : 0.0 sec. user=mdettweiler [2015-07-24 06:56:22] 957*2^1403974-1 is not prime. Res64: ACDEE7C05AB3945C Time : 0.0 sec. user=mdettweiler [2015-07-24 06:56:22] 983*2^1403974-1 is not prime. Res64: DAAB4D29629BB5BD Time : 0.0 sec. user=mdettweiler [2015-07-24 07:04:42] 673*2^1403975-1 is not prime. Res64: 7F6A4B7CE9E78689 Time : 0.0 sec. user=mdettweiler [2015-07-24 07:04:42] 693*2^1403975-1 is not prime. Res64: 0FE97111DB06CDC1 Time : 0.0 sec. user=mdettweiler [2015-07-24 07:05:12] 799*2^1403975-1 is not prime. Res64: 3235F62ED74E9DC0 Time : 0.0 sec. user=mdettweiler [2015-07-24 07:05:13] 805*2^1403975-1 is not prime. Res64: 7811F5756064DE7B Time : 0.0 sec. user=mdettweiler [2015-07-24 07:13:43] 823*2^1403975-1 is not prime. Res64: DBD8F723E2541C34 Time : 0.0 sec. user=mdettweiler [2015-07-24 07:13:44] 855*2^1403975-1 is not prime. Res64: 0420823D96B88F6A Time : 0.0 sec. user=mdettweiler [2015-07-24 07:14:05] 629*2^1403976-1 is not prime. Res64: 8F099D450DB68B72 Time : 0.0 sec. user=mdettweiler [2015-07-24 07:14:05] 633*2^1403976-1 is not prime. Res64: 5C035554770C15BB Time : 0.0 sec. user=mdettweiler [2015-07-24 07:22:22] 723*2^1403976-1 is not prime. Res64: 74A344FDF098F0A4 Time : 0.0 sec. user=mdettweiler [2015-07-24 07:22:22] 747*2^1403976-1 is not prime. Res64: 9A3768E8663CB690 Time : 0.0 sec. user=mdettweiler [2015-07-24 07:22:56] 909*2^1403976-1 is not prime. Res64: DE68F2B5A22F29A7 Time : 0.0 sec. user=mdettweiler [2015-07-24 07:22:56] 993*2^1403976-1 is not prime. Res64: 6F30A96B1212A5F9 Time : 0.0 sec. user=mdettweiler [2015-07-24 07:31:26] 801*2^1403977-1 is not prime. Res64: C4E3CCD25C7E321E Time : 0.0 sec. user=mdettweiler [2015-07-24 07:31:26] 841*2^1403977-1 is not prime. Res64: 0F1B3FF32F60F9EF Time : 0.0 sec. user=mdettweiler [2015-07-24 07:31:48] 847*2^1403977-1 is not prime. Res64: B70B76ECA8F1A966 Time : 0.0 sec. user=mdettweiler [2015-07-24 07:31:49] 897*2^1403977-1 is not prime. Res64: 96B95B21281B7467 Time : 0.0 sec. user=mdettweiler [2015-07-24 07:40:25] 919*2^1403977-1 is not prime. Res64: C9E1F0ABE346EE1F Time : 0.0 sec. user=mdettweiler [2015-07-24 07:40:26] 957*2^1403977-1 is not prime. Res64: 8BC30CFB4247DA9A Time : 0.0 sec. user=mdettweiler [2015-07-24 07:40:46] 975*2^1403977-1 is not prime. Res64: 6E46EBF141CFA9CD Time : 0.0 sec. user=mdettweiler [2015-07-24 07:40:46] 997*2^1403977-1 is not prime. Res64: D63A10B76419F862 Time : 0.0 sec. user=mdettweiler [2015-07-24 07:49:10] 999*2^1403977-1 is not prime. Res64: 85233504E90CC043 Time : 0.0 sec. user=mdettweiler [2015-07-24 07:49:10] 735*2^1403978-1 is not prime. Res64: 9098D9D899489035 Time : 0.0 sec. user=mdettweiler [2015-07-24 07:49:38] 801*2^1403978-1 is not prime. Res64: B6BDD7CBA558A996 Time : 0.0 sec. user=mdettweiler [2015-07-24 07:49:38] 815*2^1403978-1 is not prime. Res64: 109C06BF045939D5 Time : 0.0 sec. user=mdettweiler [2015-07-24 07:58:00] 825*2^1403978-1 is not prime. Res64: 13086D6CEEF73460 Time : 0.0 sec. user=mdettweiler [2015-07-24 07:58:00] 615*2^1403979-1 is not prime. Res64: 5DC17CB74BE4993C Time : 0.0 sec. user=mdettweiler [2015-07-24 07:58:24] 625*2^1403979-1 is not prime. Res64: 7FE7DCCC34C7CB1D Time : 0.0 sec. user=mdettweiler [2015-07-24 07:58:24] 853*2^1403979-1 is not prime. Res64: 8AF34FF3926C0A14 Time : 0.0 sec. user=mdettweiler [2015-07-24 08:06:53] 861*2^1403979-1 is not prime. Res64: C3D0C11A48704D64 Time : 0.0 sec. user=mdettweiler [2015-07-24 08:06:53] 873*2^1403979-1 is not prime. Res64: 4E8264DD7AB31F8E Time : 0.0 sec. user=mdettweiler [2015-07-24 08:07:19] 605*2^1403980-1 is not prime. Res64: 8AF498CC793F4D56 Time : 0.0 sec. user=mdettweiler [2015-07-24 08:07:19] 609*2^1403980-1 is not prime. Res64: B63D9D3E0427F855 Time : 0.0 sec. user=mdettweiler [2015-07-24 08:15:39] 615*2^1403980-1 is not prime. Res64: 8DD808C406AF6B7C Time : 0.0 sec. user=mdettweiler [2015-07-24 08:15:39] 983*2^1403980-1 is not prime. Res64: 9CB8652FF1B3EC06 Time : 0.0 sec. user=mdettweiler [2015-07-24 08:16:04] 987*2^1403980-1 is not prime. Res64: F8967A19EA73AE4D Time : 0.0 sec. user=mdettweiler [2015-07-24 08:16:05] 989*2^1403980-1 is not prime. Res64: DA7AA2728695C8F4 Time : 0.0 sec. user=mdettweiler [2015-07-24 08:24:38] 631*2^1403981-1 is not prime. Res64: 3FF0B926B051A794 Time : 0.0 sec. user=mdettweiler [2015-07-24 08:24:38] 685*2^1403981-1 is not prime. Res64: A7B501A8FEA82C7F Time : 0.0 sec. user=mdettweiler [2015-07-24 08:25:06] 745*2^1403981-1 is not prime. Res64: 1CE760526D3215E4 Time : 0.0 sec. user=mdettweiler [2015-07-24 08:25:07] 757*2^1403981-1 is not prime. Res64: A7B410F10C0ADBE6 Time : 0.0 sec. user=mdettweiler [2015-07-24 08:33:34] 907*2^1403981-1 is not prime. Res64: 239ADAEEC442DB49 Time : 0.0 sec. user=mdettweiler [2015-07-24 08:33:34] 927*2^1403981-1 is not prime. Res64: E4420E7E99DB1F9C Time : 0.0 sec. user=mdettweiler [2015-07-24 08:33:59] 937*2^1403981-1 is not prime. Res64: 179457FE8B271C36 Time : 0.0 sec. user=mdettweiler [2015-07-24 08:33:59] 939*2^1403981-1 is not prime. Res64: 4BFA52C915854D60 Time : 0.0 sec. user=mdettweiler [2015-07-24 08:42:26] 635*2^1403982-1 is not prime. Res64: 2FC11F8093423276 Time : 0.0 sec. user=mdettweiler [2015-07-24 08:42:26] 677*2^1403982-1 is not prime. Res64: 289CD30AD045454B Time : 0.0 sec. user=mdettweiler [2015-07-24 08:43:01] 693*2^1403982-1 is not prime. Res64: 7B75CE6EAC84F2A8 Time : 0.0 sec. user=mdettweiler [2015-07-24 08:43:01] 741*2^1403982-1 is not prime. Res64: 8D087DDD29F62EDC Time : 0.0 sec. user=mdettweiler [2015-07-24 08:51:26] 765*2^1403982-1 is not prime. Res64: F198750A1B134383 Time : 0.0 sec. user=mdettweiler [2015-07-24 08:51:26] 807*2^1403982-1 is not prime. Res64: 36C3ABD90BBB5E87 Time : 0.0 sec. user=mdettweiler [2015-07-24 08:51:39] 825*2^1403982-1 is not prime. Res64: B66CEC5BF58AB76B Time : 0.0 sec. user=mdettweiler [2015-07-24 08:51:39] 873*2^1403982-1 is not prime. Res64: B3DE5B1AFAEA9807 Time : 0.0 sec. user=mdettweiler [2015-07-24 09:00:08] 885*2^1403982-1 is not prime. Res64: 264DDC3DE00FAFFE Time : 0.0 sec. user=mdettweiler [2015-07-24 09:00:08] 921*2^1403982-1 is not prime. Res64: 3C6A3F006B6F8E4C Time : 0.0 sec. user=mdettweiler [2015-07-24 09:00:40] 947*2^1403982-1 is not prime. Res64: AA9F1895482FBC9F Time : 0.0 sec. user=mdettweiler [2015-07-24 09:00:41] 609*2^1403983-1 is not prime. Res64: 28643EF9A4BBD676 Time : 0.0 sec. user=mdettweiler [2015-07-24 09:09:08] 685*2^1403983-1 is not prime. Res64: 4BC384CCCDC42D52 Time : 0.0 sec. user=mdettweiler [2015-07-24 09:09:09] 969*2^1403983-1 is not prime. Res64: 8ECF2A9A61F7B314 Time : 0.0 sec. user=mdettweiler [2015-07-24 09:09:14] 659*2^1403984-1 is not prime. Res64: 10E5F7060CBEE9FA Time : 0.0 sec. user=mdettweiler [2015-07-24 09:09:14] 743*2^1403984-1 is not prime. Res64: B8BFB21D205BA2B5 Time : 0.0 sec. user=mdettweiler [2015-07-24 09:17:54] 753*2^1403984-1 is not prime. Res64: 6B62CA7E26B6CA83 Time : 0.0 sec. user=mdettweiler [2015-07-24 09:17:54] 789*2^1403984-1 is not prime. Res64: 7AF33A1A341BE9FC Time : 0.0 sec. user=mdettweiler [2015-07-24 09:18:21] 813*2^1403984-1 is not prime. Res64: 1FA10C0F6264F393 Time : 0.0 sec. user=mdettweiler [2015-07-24 09:18:21] 875*2^1403984-1 is not prime. Res64: 55D04D98D2748166 Time : 0.0 sec. user=mdettweiler [2015-07-24 09:26:53] 625*2^1403985-1 is not prime. Res64: 33C3DD9479B1B9D6 Time : 0.0 sec. user=mdettweiler [2015-07-24 09:26:53] 649*2^1403985-1 is not prime. Res64: 528666DB608E112C Time : 0.0 sec. user=mdettweiler [2015-07-24 09:26:58] 675*2^1403985-1 is not prime. Res64: 60333E8F6D0555DB Time : 0.0 sec. user=mdettweiler [2015-07-24 09:26:58] 679*2^1403985-1 is not prime. Res64: 21B150D57163A177 Time : 0.0 sec. user=mdettweiler [2015-07-24 09:35:34] 699*2^1403985-1 is not prime. Res64: 523F64760D783834 Time : 0.0 sec. user=mdettweiler [2015-07-24 09:35:35] 711*2^1403985-1 is not prime. Res64: CC049E022F1273B2 Time : 0.0 sec. user=mdettweiler [2015-07-24 09:36:04] 811*2^1403985-1 is not prime. Res64: 8B9F32A9ED84127C Time : 0.0 sec. user=mdettweiler [2015-07-24 09:36:04] 817*2^1403985-1 is not prime. Res64: 79D96AF1275D6F96 Time : 0.0 sec. user=mdettweiler [2015-07-24 09:44:30] 885*2^1403985-1 is not prime. Res64: 2EFDD368760A79F2 Time : 0.0 sec. user=mdettweiler [2015-07-24 09:44:30] 895*2^1403985-1 is not prime. Res64: 36BC6096C643478C Time : 0.0 sec. user=mdettweiler [2015-07-24 09:44:44] 717*2^1403986-1 is not prime. Res64: 68D4E818BAB2D0E5 Time : 0.0 sec. user=mdettweiler [2015-07-24 09:44:44] 947*2^1403986-1 is not prime. Res64: 7CCD88C86BD4010D Time : 0.0 sec. user=mdettweiler [2015-07-24 09:53:20] 609*2^1403987-1 is not prime. Res64: C3F17A17C24329D8 Time : 0.0 sec. user=mdettweiler [2015-07-24 09:53:20] 631*2^1403987-1 is not prime. Res64: FD00F4F1A0F5F2E7 Time : 0.0 sec. user=mdettweiler [2015-07-24 09:53:47] 705*2^1403987-1 is not prime. Res64: 8E3F7C5ABFDCC74C Time : 0.0 sec. user=mdettweiler [2015-07-24 09:53:47] 715*2^1403987-1 is not prime. Res64: 226B4F8679825676 Time : 0.0 sec. user=mdettweiler [2015-07-24 10:02:17] 735*2^1403987-1 is not prime. Res64: AA47E603610EF943 Time : 0.0 sec. user=mdettweiler [2015-07-24 10:02:18] 753*2^1403987-1 is not prime. Res64: 2BCE8BE7638F2823 Time : 0.0 sec. user=mdettweiler [2015-07-24 10:02:31] 859*2^1403987-1 is not prime. Res64: 6644ACB77F32DB97 Time : 0.0 sec. user=mdettweiler [2015-07-24 10:02:31] 861*2^1403987-1 is not prime. Res64: 4B831C6FFA68DEB2 Time : 0.0 sec. user=mdettweiler [2015-07-24 10:11:06] 885*2^1403987-1 is not prime. Res64: 5BB2F1D5C47725F5 Time : 0.0 sec. user=mdettweiler [2015-07-24 10:11:07] 683*2^1403988-1 is not prime. Res64: 33FBE724FF0C8ED0 Time : 0.0 sec. user=mdettweiler [2015-07-24 10:11:46] 737*2^1403988-1 is not prime. Res64: 23F5F82F776D57ED Time : 0.0 sec. user=mdettweiler [2015-07-24 10:11:46] 749*2^1403988-1 is not prime. Res64: 25F2F04CADA65E64 Time : 0.0 sec. user=mdettweiler [2015-07-24 10:20:07] 795*2^1403988-1 is not prime. Res64: 472B887FB5A25569 Time : 0.0 sec. user=mdettweiler [2015-07-24 10:20:08] 843*2^1403988-1 is not prime. Res64: 1B41689E88C4841A Time : 0.0 sec. user=mdettweiler [2015-07-24 10:20:19] 609*2^1403989-1 is not prime. Res64: 43CA8286E8305FCC Time : 0.0 sec. user=mdettweiler [2015-07-24 10:20:19] 745*2^1403989-1 is not prime. Res64: 60E30D5460108F58 Time : 0.0 sec. user=mdettweiler [2015-07-24 10:28:59] 967*2^1403989-1 is not prime. Res64: DA255AEAEBC7A295 Time : 0.0 sec. user=mdettweiler [2015-07-24 10:28:59] 985*2^1403989-1 is not prime. Res64: 0542BF679478D774 Time : 0.0 sec. user=mdettweiler [2015-07-24 10:29:27] 987*2^1403989-1 is not prime. Res64: BC9A7648603E1C65 Time : 0.0 sec. user=mdettweiler [2015-07-24 10:29:27] 997*2^1403989-1 is not prime. Res64: 291B03CF1ECDE564 Time : 0.0 sec. user=mdettweiler [2015-07-24 10:37:57] 675*2^1403990-1 is not prime. Res64: 578DDEF06291344D Time : 0.0 sec. user=mdettweiler [2015-07-24 10:37:58] 755*2^1403990-1 is not prime. Res64: C298CE2DEDF02CCC Time : 0.0 sec. user=mdettweiler [2015-07-24 10:37:59] 795*2^1403990-1 is not prime. Res64: 61C2CC74573ED9BB Time : 0.0 sec. user=mdettweiler [2015-07-24 10:38:00] 857*2^1403990-1 is not prime. Res64: A77D805F91EAEC03 Time : 0.0 sec. user=mdettweiler [2015-07-24 10:46:39] 981*2^1403990-1 is not prime. Res64: F892DEE8574250D5 Time : 0.0 sec. user=mdettweiler [2015-07-24 10:46:40] 709*2^1403991-1 is not prime. Res64: 38BBF2ADA50F7ECC Time : 0.0 sec. user=mdettweiler [2015-07-24 10:47:07] 711*2^1403991-1 is not prime. Res64: A6C65AD529A26074 Time : 0.0 sec. user=mdettweiler [2015-07-24 10:47:07] 921*2^1403991-1 is not prime. Res64: 4819C20D66FBCEA2 Time : 0.0 sec. user=mdettweiler [2015-07-24 10:55:36] 931*2^1403991-1 is not prime. Res64: C6FA7B5CD050E7EF Time : 0.0 sec. user=mdettweiler [2015-07-24 10:55:37] 943*2^1403991-1 is not prime. Res64: EAC81CB7DA87081E Time : 0.0 sec. user=mdettweiler [2015-07-24 10:55:39] 951*2^1403991-1 is not prime. Res64: 9DD4CAA3726EA093 Time : 0.0 sec. user=mdettweiler [2015-07-24 10:55:39] 677*2^1403992-1 is not prime. Res64: 6A99406E1CFA643B Time : 0.0 sec. user=mdettweiler [2015-07-24 11:04:16] 723*2^1403992-1 is not prime. Res64: 14415B9FC681D670 Time : 0.0 sec. user=mdettweiler [2015-07-24 11:04:17] 765*2^1403992-1 is not prime. Res64: EA0B2A71522EA435 Time : 0.0 sec. user=mdettweiler [2015-07-24 11:04:51] 803*2^1403992-1 is not prime. Res64: 3028A51A13CAA3F8 Time : 0.0 sec. user=mdettweiler [2015-07-24 11:04:52] 813*2^1403992-1 is not prime. Res64: AA103DB4429ACDE6 Time : 0.0 sec. user=mdettweiler [2015-07-24 11:13:06] 825*2^1403992-1 is not prime. Res64: 6A2C233BE259C62A Time : 0.0 sec. user=mdettweiler [2015-07-24 11:13:07] 903*2^1403992-1 is not prime. Res64: 2BF22D9CBEBF528E Time : 0.0 sec. user=mdettweiler [2015-07-24 11:13:23] 989*2^1403992-1 is not prime. Res64: E0BB86085E68AAE2 Time : 0.0 sec. user=mdettweiler [2015-07-24 11:13:24] 999*2^1403992-1 is not prime. Res64: 5A02D7987A434632 Time : 0.0 sec. user=mdettweiler [2015-07-24 11:22:07] 607*2^1403993-1 is not prime. Res64: 3A7A8F106C1D608C Time : 0.0 sec. user=mdettweiler [2015-07-24 11:22:08] 855*2^1403993-1 is not prime. Res64: A528249223D8076F Time : 0.0 sec. user=mdettweiler [2015-07-24 11:22:31] 955*2^1403993-1 is not prime. Res64: 009971754DA578E3 Time : 0.0 sec. user=mdettweiler [2015-07-24 11:22:31] 633*2^1403994-1 is not prime. Res64: C017A64E930F6D67 Time : 0.0 sec. user=mdettweiler [2015-07-24 11:30:51] 657*2^1403994-1 is not prime. Res64: 9BB578BF2EF1A58C Time : 0.0 sec. user=mdettweiler [2015-07-24 11:30:52] 677*2^1403994-1 is not prime. Res64: 39D7AA481664E3E6 Time : 0.0 sec. user=mdettweiler [2015-07-24 11:31:06] 681*2^1403994-1 is not prime. Res64: 895BBE397AD7CEC2 Time : 0.0 sec. user=mdettweiler [2015-07-24 11:31:07] 725*2^1403994-1 is not prime. Res64: 7D6773116FA6057F Time : 0.0 sec. user=mdettweiler [2015-07-24 11:40:01] 747*2^1403994-1 is not prime. Res64: FC2DC9517AD60C68 Time : 0.0 sec. user=mdettweiler [2015-07-24 11:40:02] 803*2^1403994-1 is not prime. Res64: EECDAA5AD7E50117 Time : 0.0 sec. user=mdettweiler [2015-07-24 11:40:18] 807*2^1403994-1 is not prime. Res64: 1A3E915E2740B13E Time : 0.0 sec. user=mdettweiler [2015-07-24 11:40:19] 861*2^1403994-1 is not prime. Res64: 4DC61B96ED753DAC Time : 0.0 sec. user=mdettweiler [2015-07-24 11:48:33] 927*2^1403994-1 is not prime. Res64: 64DB3156298D29AD Time : 0.0 sec. user=mdettweiler [2015-07-24 11:48:33] 603*2^1403995-1 is not prime. Res64: 9C13AE0830AAB7C2 Time : 0.0 sec. user=mdettweiler [2015-07-24 11:48:49] 819*2^1403995-1 is not prime. Res64: 72440675D5E94D6D Time : 0.0 sec. user=mdettweiler [2015-07-24 11:48:50] 999*2^1403995-1 is not prime. Res64: 9D45114FAEFBB2EE Time : 0.0 sec. user=mdettweiler [2015-07-24 11:57:36] 657*2^1403996-1 is not prime. Res64: 8BE1A6AE36BE970C Time : 0.0 sec. user=mdettweiler [2015-07-24 11:57:36] 677*2^1403996-1 is not prime. Res64: 2644A198991F40FD Time : 0.0 sec. user=mdettweiler [2015-07-24 11:57:59] 717*2^1403996-1 is not prime. Res64: 0DCAAA8563B1DC32 Time : 0.0 sec. user=mdettweiler [2015-07-24 11:57:59] 789*2^1403996-1 is not prime. Res64: FB038B9E68C5FE3B Time : 0.0 sec. user=mdettweiler [2015-07-24 12:06:17] 803*2^1403996-1 is not prime. Res64: 644C5D07842AFAEB Time : 0.0 sec. user=mdettweiler [2015-07-24 12:06:17] 813*2^1403996-1 is not prime. Res64: 34EEF88AC0234064 Time : 0.0 sec. user=mdettweiler [2015-07-24 12:06:35] 845*2^1403996-1 is not prime. Res64: 942041D793914BFF Time : 0.0 sec. user=mdettweiler [2015-07-24 12:06:36] 855*2^1403996-1 is not prime. Res64: 99E3D177A6A73CA5 Time : 0.0 sec. user=mdettweiler [2015-07-24 12:15:27] 873*2^1403996-1 is not prime. Res64: 01F4CC342EEFE61B Time : 0.0 sec. user=mdettweiler [2015-07-24 12:15:27] 927*2^1403996-1 is not prime. Res64: 347234D588597E94 Time : 0.0 sec. user=mdettweiler [2015-07-24 12:15:42] 769*2^1403997-1 is not prime. Res64: A8A2105D32E6525B Time : 0.0 sec. user=mdettweiler [2015-07-24 12:15:42] 837*2^1403997-1 is not prime. Res64: 4A0765CFC4A3DB87 Time : 0.0 sec. user=mdettweiler [2015-07-24 12:24:11] 849*2^1403997-1 is not prime. Res64: 23D793FB023A1845 Time : 0.0 sec. user=mdettweiler [2015-07-24 12:24:11] 867*2^1403997-1 is not prime. Res64: 26AD5B7B6432E617 Time : 0.0 sec. user=mdettweiler [2015-07-24 12:24:19] 895*2^1403997-1 is not prime. Res64: 82827C072871B735 Time : 0.0 sec. user=mdettweiler [2015-07-24 12:24:19] 997*2^1403997-1 is not prime. Res64: 3EE2B3AC38176241 Time : 0.0 sec. user=mdettweiler [2015-07-24 12:33:07] 657*2^1403998-1 is not prime. Res64: 82B1AAC5BB9BF7E4 Time : 0.0 sec. user=mdettweiler [2015-07-24 12:33:08] 713*2^1403998-1 is not prime. Res64: 3936441E9162D2E7 Time : 0.0 sec. user=mdettweiler [2015-07-24 12:33:25] 723*2^1403998-1 is not prime. Res64: 0F7F9B97CA4CCEE1 Time : 0.0 sec. user=mdettweiler [2015-07-24 12:33:25] 801*2^1403998-1 is not prime. Res64: 0ECD612A438584D4 Time : 0.0 sec. user=mdettweiler [2015-07-24 12:41:53] 825*2^1403998-1 is not prime. Res64: D937707B8EE87476 Time : 0.0 sec. user=mdettweiler [2015-07-24 12:41:54] 891*2^1403998-1 is not prime. Res64: B09323410531F244 Time : 0.0 sec. user=mdettweiler [2015-07-24 12:42:04] 951*2^1403998-1 is not prime. Res64: C0B42A57549B4F64 Time : 0.0 sec. user=mdettweiler [2015-07-24 12:42:04] 971*2^1403998-1 is not prime. Res64: 33D2DED2D446F0F2 Time : 0.0 sec. user=mdettweiler [2015-07-24 12:50:47] 619*2^1403999-1 is not prime. Res64: 3A29570DA588B697 Time : 0.0 sec. user=mdettweiler [2015-07-24 12:50:47] 645*2^1403999-1 is not prime. Res64: 759BB6A701035994 Time : 0.0 sec. user=mdettweiler [2015-07-24 12:51:00] 661*2^1403999-1 is not prime. Res64: 8875893BD27EFA4F Time : 0.0 sec. user=mdettweiler [2015-07-24 12:51:01] 669*2^1403999-1 is not prime. Res64: 3F722CB1E320D2BD Time : 0.0 sec. user=mdettweiler [2015-07-24 12:59:39] 711*2^1403999-1 is not prime. Res64: BA3B206581C54ED4 Time : 0.0 sec. user=mdettweiler [2015-07-24 12:59:40] 855*2^1403999-1 is not prime. Res64: 9685ADC57864A6CD Time : 0.0 sec. user=mdettweiler [2015-07-24 12:59:46] 861*2^1403999-1 is not prime. Res64: 3EC28CA807554BB5 Time : 0.0 sec. user=mdettweiler [2015-07-24 12:59:46] 865*2^1403999-1 is not prime. Res64: FEA9B7CB9EE1B16F Time : 0.0 sec. user=mdettweiler [2015-07-24 13:08:23] 885*2^1403999-1 is not prime. Res64: 94D06E9D7472C261 Time : 0.0 sec. user=mdettweiler [2015-07-24 13:08:24] 949*2^1403999-1 is not prime. Res64: 32872E66C12160D5 Time : 0.0 sec. user=mdettweiler [2015-07-24 13:08:35] 991*2^1403999-1 is not prime. Res64: FCF37EF8FD17F07E Time : 0.0 sec. user=mdettweiler [2015-07-24 13:08:36] 669*2^1404000-1 is not prime. Res64: EDF5A4A6A8D8D09D Time : 0.0 sec. user=mdettweiler [2015-07-24 13:17:28] 695*2^1404000-1 is not prime. Res64: BE4125286BF8F791 Time : 0.0 sec. user=mdettweiler [2015-07-24 13:17:29] 765*2^1404000-1 is not prime. Res64: 1D7E6A3ABD5DFE23 Time : 0.0 sec. user=mdettweiler [2015-07-24 13:17:31] 843*2^1404000-1 is not prime. Res64: 3D2484EFD1638D1C Time : 0.0 sec. user=mdettweiler [2015-07-24 13:17:31] 863*2^1404000-1 is not prime. Res64: 678073E8FCC78337 Time : 0.0 sec. user=mdettweiler [2015-07-24 13:26:35] 855*2^1404001-1 is not prime. Res64: 6C97544F26EBC1D2 Time : 0.0 sec. user=mdettweiler [2015-07-24 13:26:35] 951*2^1404001-1 is not prime. Res64: 080F3887BAC5FF16 Time : 0.0 sec. user=mdettweiler [2015-07-24 13:26:37] 909*2^1404000-1 is not prime. Res64: 46E909ACBAE8E709 Time : 0.0 sec. user=mdettweiler [2015-07-24 13:26:37] 705*2^1404001-1 is not prime. Res64: 6630E116E39445C3 Time : 0.0 sec. user=mdettweiler [2015-07-24 13:35:39] 617*2^1404002-1 is not prime. Res64: C2352B4EA75FA878 Time : 0.0 sec. user=mdettweiler [2015-07-24 13:35:39] 741*2^1404002-1 is not prime. Res64: B94AA62AC4B7B39A Time : 0.0 sec. user=mdettweiler [2015-07-24 13:35:41] 743*2^1404002-1 is not prime. Res64: 4C52B52389E5D04B Time : 0.0 sec. user=mdettweiler [2015-07-24 13:35:42] 921*2^1404002-1 is not prime. Res64: 3BD564016874E821 Time : 0.0 sec. user=mdettweiler [2015-07-24 13:45:39] 923*2^1404002-1 is not prime. Res64: 26750755F5D02501 Time : 0.0 sec. user=mdettweiler [2015-07-24 13:45:39] 951*2^1404002-1 is not prime. Res64: 1A534D47FE140812 Time : 0.0 sec. user=mdettweiler [2015-07-24 13:45:58] 615*2^1404003-1 is not prime. Res64: D519E0B1C3CA0525 Time : 0.0 sec. user=mdettweiler [2015-07-24 13:45:58] 679*2^1404003-1 is not prime. Res64: 6E39B96F80DA5195 Time : 0.0 sec. user=mdettweiler [2015-07-24 13:55:12] 691*2^1404003-1 is not prime. Res64: 6B9676A059FC3371 Time : 0.0 sec. user=mdettweiler [2015-07-24 13:55:12] 735*2^1404003-1 is not prime. Res64: 81C0D73963725F38 Time : 0.0 sec. user=mdettweiler [2015-07-24 13:55:14] 961*2^1404003-1 is not prime. Res64: 6DFA44AD3D4BF118 Time : 0.0 sec. user=mdettweiler [2015-07-24 13:55:14] 605*2^1404004-1 is not prime. Res64: 79052C2D1F444CC1 Time : 0.0 sec. user=mdettweiler [2015-07-24 14:04:04] 617*2^1404004-1 is not prime. Res64: 15EE01F846B470BC Time : 0.0 sec. user=mdettweiler [2015-07-24 14:04:05] 693*2^1404004-1 is not prime. Res64: 6378EE38F2D0EB2A Time : 0.0 sec. user=mdettweiler [2015-07-24 14:04:13] 719*2^1404004-1 is not prime. Res64: EAE3726F9A536883 Time : 0.0 sec. user=mdettweiler [2015-07-24 14:04:14] 825*2^1404004-1 is not prime. Res64: 0AD072FECB9B3C55 Time : 0.0 sec. user=mdettweiler [2015-07-24 14:13:24] 657*2^1404005-1 is not prime. Res64: A58683D1E3B733C2 Time : 0.0 sec. user=mdettweiler [2015-07-24 14:13:24] 669*2^1404005-1 is not prime. Res64: B5EFCF74699E9CDE Time : 0.0 sec. user=mdettweiler [2015-07-24 14:13:34] 843*2^1404004-1 is not prime. Res64: 8C2F7CCAE2D1670C Time : 0.0 sec. user=mdettweiler [2015-07-24 14:13:35] 875*2^1404004-1 is not prime. Res64: B43ADD633D20B069 Time : 0.0 sec. user=mdettweiler [2015-07-24 14:22:27] 641*2^1404006-1 is not prime. Res64: D81F691A9B42DF4C Time : 0.0 sec. user=mdettweiler [2015-07-24 14:22:27] 693*2^1404006-1 is not prime. Res64: 48533D37A5B06CF1 Time : 0.0 sec. user=mdettweiler [2015-07-24 14:22:29] 777*2^1404005-1 is not prime. Res64: C1CBF3CC8F734D97 Time : 0.0 sec. user=mdettweiler [2015-07-24 14:22:29] 627*2^1404006-1 is not prime. Res64: 3B3D2B670C3F534E Time : 0.0 sec. user=mdettweiler [2015-07-24 14:32:07] 755*2^1404006-1 is not prime. Res64: A0C39D6C791EC065 Time : 0.0 sec. user=mdettweiler [2015-07-24 14:32:07] 833*2^1404006-1 is not prime. Res64: 09C0437389741834 Time : 0.0 sec. user=mdettweiler [2015-07-24 14:32:53] 917*2^1404006-1 is not prime. Res64: 3E12E5181A348FE4 Time : 0.0 sec. user=mdettweiler [2015-07-24 14:32:54] 963*2^1404006-1 is not prime. Res64: 44B60B82C1F1A591 Time : 0.0 sec. user=mdettweiler [2015-07-24 14:41:00] 735*2^1404007-1 is not prime. Res64: 15A4132EBB16801B Time : 0.0 sec. user=mdettweiler [2015-07-24 14:41:01] 931*2^1404007-1 is not prime. Res64: E7E5AA721780BCC6 Time : 0.0 sec. user=mdettweiler [2015-07-24 14:41:21] 619*2^1404007-1 is not prime. Res64: 84D2FE5E0ABBD2CF Time : 0.0 sec. user=mdettweiler [2015-07-24 14:41:21] 675*2^1404007-1 is not prime. Res64: 93217F68C9921798 Time : 0.0 sec. user=mdettweiler [2015-07-24 14:49:49] 975*2^1404007-1 is not prime. Res64: 0109F6455C8ABA55 Time : 0.0 sec. user=mdettweiler [2015-07-24 14:49:50] 993*2^1404007-1 is not prime. Res64: 1A4807653E50087E Time : 0.0 sec. user=mdettweiler [2015-07-24 14:50:33] 635*2^1404008-1 is not prime. Res64: E246EB0FC6467A0F Time : 0.0 sec. user=mdettweiler [2015-07-24 14:50:33] 665*2^1404008-1 is not prime. Res64: BEC64B0D00447D38 Time : 0.0 sec. user=mdettweiler [2015-07-24 14:58:40] 743*2^1404008-1 is not prime. Res64: BE183AACE0E6811B Time : 0.0 sec. user=mdettweiler [2015-07-24 14:58:41] 839*2^1404008-1 is not prime. Res64: E681A6E7CDDCFB44 Time : 0.0 sec. user=mdettweiler [2015-07-24 14:58:59] 875*2^1404008-1 is not prime. Res64: 6A6AD276AD708F04 Time : 0.0 sec. user=mdettweiler [2015-07-24 14:58:59] 879*2^1404008-1 is not prime. Res64: 67D3ED2EC810E0F6 Time : 0.0 sec. user=mdettweiler [2015-07-24 15:07:31] 923*2^1404008-1 is not prime. Res64: 1FCBB5A4ABAE88CA Time : 0.0 sec. user=mdettweiler [2015-07-24 15:07:32] 637*2^1404009-1 is not prime. Res64: 578312CB5D834D3A Time : 0.0 sec. user=mdettweiler [2015-07-24 15:08:24] 685*2^1404009-1 is not prime. Res64: 3B6F36CE48E73616 Time : 0.0 sec. user=mdettweiler [2015-07-24 15:08:25] 751*2^1404009-1 is not prime. Res64: 294B862BEF8D947D Time : 0.0 sec. user=mdettweiler [2015-07-24 15:16:30] 831*2^1404009-1 is not prime. Res64: D3D4AA095469F45A Time : 0.0 sec. user=mdettweiler [2015-07-24 15:16:30] 991*2^1404009-1 is not prime. Res64: DCF00BDEEE662843 Time : 0.0 sec. user=mdettweiler [2015-07-24 15:16:44] 713*2^1404010-1 is not prime. Res64: 6050C83FB0B6591A Time : 0.0 sec. user=mdettweiler [2015-07-24 15:16:44] 765*2^1404010-1 is not prime. Res64: 14139C740AAFE7FE Time : 0.0 sec. user=mdettweiler [2015-07-24 15:25:31] 813*2^1404010-1 is not prime. Res64: 40CBFB10CDAAEDAD Time : 0.0 sec. user=mdettweiler [2015-07-24 15:25:32] 619*2^1404011-1 is not prime. Res64: 95027D0FA70B1384 Time : 0.0 sec. user=mdettweiler [2015-07-24 15:26:10] 715*2^1404011-1 is not prime. Res64: 06173D6379F87BED Time : 0.0 sec. user=mdettweiler [2015-07-24 15:26:11] 775*2^1404011-1 is not prime. Res64: 3DE1EF139EEBF6F9 Time : 0.0 sec. user=mdettweiler [2015-07-24 15:34:24] 855*2^1404011-1 is not prime. Res64: 88D6722B2E28491B Time : 0.0 sec. user=mdettweiler [2015-07-24 15:34:24] 901*2^1404011-1 is not prime. Res64: C703B4B63BF4FD99 Time : 0.0 sec. user=mdettweiler [2015-07-24 15:34:30] 969*2^1404011-1 is not prime. Res64: 286768AFEC08B984 Time : 0.0 sec. user=mdettweiler [2015-07-24 15:34:30] 605*2^1404012-1 is not prime. Res64: 5823316514BE3F05 Time : 0.0 sec. user=mdettweiler [2015-07-24 15:43:16] 609*2^1404012-1 is not prime. Res64: 7B2401C18C845CEC Time : 0.0 sec. user=mdettweiler [2015-07-24 15:43:17] 635*2^1404012-1 is not prime. Res64: A5090F8F8831D738 Time : 0.0 sec. user=mdettweiler [2015-07-24 15:43:53] 647*2^1404012-1 is not prime. Res64: 2DADCE636BF6FA61 Time : 0.0 sec. user=mdettweiler [2015-07-24 15:43:54] 675*2^1404012-1 is not prime. Res64: 9E8D2D2489A132A6 Time : 0.0 sec. user=mdettweiler [2015-07-24 15:51:58] 689*2^1404012-1 is not prime. Res64: DB1E710C168CF65D Time : 0.0 sec. user=mdettweiler [2015-07-24 15:51:58] 693*2^1404012-1 is not prime. Res64: 8B9A70ED9C5CAA99 Time : 0.0 sec. user=mdettweiler [2015-07-24 15:52:10] 863*2^1404012-1 is not prime. Res64: CB827366EDF7F585 Time : 0.0 sec. user=mdettweiler [2015-07-24 15:52:10] 929*2^1404012-1 is not prime. Res64: 535EFA2BD32381DE Time : 0.0 sec. user=mdettweiler [2015-07-24 16:01:04] 609*2^1404013-1 is not prime. Res64: B473B805D7B6D9AB Time : 0.0 sec. user=mdettweiler [2015-07-24 16:01:06] 685*2^1404013-1 is not prime. Res64: B9346494B190E14E Time : 0.0 sec. user=mdettweiler [2015-07-24 16:01:44] 741*2^1404013-1 is not prime. Res64: B110A99AE4447571 Time : 0.0 sec. user=mdettweiler [2015-07-24 16:01:45] 771*2^1404013-1 is not prime. Res64: 5578827781578BCF Time : 0.0 sec. user=mdettweiler [2015-07-24 16:09:36] 789*2^1404013-1 is not prime. Res64: 1350B6D8BAD56A3D Time : 0.0 sec. user=mdettweiler [2015-07-24 16:09:37] 847*2^1404013-1 is not prime. Res64: DEA20DD60ED10169 Time : 0.0 sec. user=mdettweiler [2015-07-24 16:09:50] 897*2^1404013-1 is not prime. Res64: 86CA4B1DBDD92417 Time : 0.0 sec. user=mdettweiler [2015-07-24 16:09:50] 915*2^1404013-1 is not prime. Res64: 1247AFA8751CDE51 Time : 0.0 sec. user=mdettweiler [2015-07-24 16:19:03] 979*2^1404013-1 is not prime. Res64: 8BFC851E3F314F88 Time : 0.0 sec. user=mdettweiler [2015-07-24 16:19:03] 693*2^1404014-1 is not prime. Res64: B331FDFC40B125BC Time : 0.0 sec. user=mdettweiler [2015-07-24 16:19:23] 773*2^1404014-1 is not prime. Res64: F82C26EC6A7341DF Time : 0.0 sec. user=mdettweiler [2015-07-24 16:19:24] 785*2^1404014-1 is not prime. Res64: C685902DAC6034ED Time : 0.0 sec. user=mdettweiler [2015-07-24 16:27:20] 857*2^1404014-1 is not prime. Res64: F36F9077AC6765E0 Time : 0.0 sec. user=mdettweiler [2015-07-24 16:27:21] 927*2^1404014-1 is not prime. Res64: F496FF8C9FC759B2 Time : 0.0 sec. user=mdettweiler [2015-07-24 16:27:44] 981*2^1404014-1 is not prime. Res64: 5D27E035A06FEBDC Time : 0.0 sec. user=mdettweiler [2015-07-24 16:27:45] 993*2^1404014-1 is not prime. Res64: 75C9ADD1CC57A83E Time : 0.0 sec. user=mdettweiler [2015-07-24 16:37:36] 705*2^1404015-1 is not prime. Res64: 6F110DB5E0D3F182 Time : 0.0 sec. user=mdettweiler [2015-07-24 16:37:37] 765*2^1404015-1 is not prime. Res64: E7D1ADD509087FEF Time : 0.0 sec. user=mdettweiler [2015-07-24 16:37:53] 885*2^1404015-1 is not prime. Res64: 799F8CBB93148A47 Time : 0.0 sec. user=mdettweiler [2015-07-24 16:37:53] 963*2^1404015-1 is not prime. Res64: 4726B306B7D20BEF Time : 0.0 sec. user=mdettweiler [2015-07-24 16:46:21] 705*2^1404016-1 is not prime. Res64: 67B189C02511E59D Time : 0.0 sec. user=mdettweiler [2015-07-24 16:46:21] 813*2^1404016-1 is not prime. Res64: 4961FE99BA65769D Time : 0.0 sec. user=mdettweiler [2015-07-24 16:46:32] 999*2^1404015-1 is not prime. Res64: 261675BB5E8B33E9 Time : 0.0 sec. user=mdettweiler [2015-07-24 16:46:33] 657*2^1404016-1 is not prime. Res64: 55897D9E3F57CB6F Time : 0.0 sec. user=mdettweiler [2015-07-24 16:56:49] 899*2^1404016-1 is not prime. Res64: 2F7366C573BCA385 Time : 0.0 sec. user=mdettweiler [2015-07-24 16:56:49] 903*2^1404016-1 is not prime. Res64: 93CB733D10493E48 Time : 0.0 sec. user=mdettweiler [2015-07-24 16:57:13] 825*2^1404016-1 is not prime. Res64: 1BF14B0C713ED9BD Time : 0.0 sec. user=mdettweiler [2015-07-24 16:57:13] 869*2^1404016-1 is not prime. Res64: D404B415997C3264 Time : 0.0 sec. user=mdettweiler [2015-07-24 17:04:57] 905*2^1404016-1 is not prime. Res64: 7BA17A5F70BFA093 Time : 0.0 sec. user=mdettweiler [2015-07-24 17:04:59] 917*2^1404016-1 is not prime. Res64: 1705331B3D969B0B Time : 0.0 sec. user=mdettweiler [2015-07-24 17:05:30] 927*2^1404016-1 is not prime. Res64: 5EF610F8562A686E Time : 0.0 sec. user=mdettweiler [2015-07-24 17:05:31] 975*2^1404016-1 is not prime. Res64: F8B76AEB6BF5A737 Time : 0.0 sec. user=mdettweiler [2015-07-24 17:15:31] 649*2^1404017-1 is not prime. Res64: 3D3B892FF4AB1BAD Time : 0.0 sec. user=mdettweiler [2015-07-24 17:15:31] 967*2^1404017-1 is not prime. Res64: E0CBA9423D40E854 Time : 0.0 sec. user=mdettweiler [2015-07-24 17:15:45] 605*2^1404018-1 is not prime. Res64: 6424A57874BF7DB2 Time : 0.0 sec. user=mdettweiler [2015-07-24 17:15:46] 627*2^1404018-1 is not prime. Res64: 424D79CA0F283B21 Time : 0.0 sec. user=mdettweiler [2015-07-24 17:23:46] 657*2^1404018-1 is not prime. Res64: B522D105A37DC26B Time : 0.0 sec. user=mdettweiler [2015-07-24 17:23:46] 735*2^1404018-1 is not prime. Res64: 89A77EB06E7B0AC3 Time : 0.0 sec. user=mdettweiler [2015-07-24 17:24:32] 945*2^1404018-1 is not prime. Res64: C440C7C7D151BA9B Time : 0.0 sec. user=mdettweiler [2015-07-24 17:24:32] 975*2^1404018-1 is not prime. Res64: C746514ADBF71D30 Time : 0.0 sec. user=mdettweiler [2015-07-24 17:34:11] 895*2^1404019-1 is not prime. Res64: 97D43AA6C19D312F Time : 0.0 sec. user=mdettweiler [2015-07-24 17:34:11] 939*2^1404019-1 is not prime. Res64: BB373772F3F7BA72 Time : 0.0 sec. user=mdettweiler [2015-07-24 17:34:17] 663*2^1404019-1 is not prime. Res64: 68F3F77352DA506C Time : 0.0 sec. user=mdettweiler [2015-07-24 17:34:17] 693*2^1404019-1 is not prime. Res64: AB902E816099FA81 Time : 0.0 sec. user=mdettweiler [2015-07-24 17:41:37] 969*2^1404019-1 is not prime. Res64: 55B545A8DEFC9590 Time : 0.0 sec. user=mdettweiler [2015-07-24 17:41:38] 999*2^1404019-1 is not prime. Res64: 621B0AE8BD1A4D84 Time : 0.0 sec. user=mdettweiler [2015-07-24 17:42:32] 629*2^1404020-1 is not prime. Res64: 390740D29907F685 Time : 0.0 sec. user=mdettweiler [2015-07-24 17:42:32] 665*2^1404020-1 is not prime. Res64: 42519E9BEC4EFD6E Time : 0.0 sec. user=mdettweiler [2015-07-24 17:51:59] 669*2^1404021-1 is not prime. Res64: D73816282B81B041 Time : 0.0 sec. user=mdettweiler [2015-07-24 17:51:59] 677*2^1404020-1 is not prime. Res64: 16AEA69B4E851FC9 Time : 0.0 sec. user=mdettweiler [2015-07-24 17:51:59] 711*2^1404021-1 is not prime. Res64: 14A9C2D8CFB64023 Time : 0.0 sec. user=mdettweiler [2015-07-24 17:52:00] 773*2^1404020-1 is not prime. Res64: 076A1C1B939183E7 Time : 0.0 sec. user=mdettweiler [2015-07-24 17:59:21] 781*2^1404021-1 is not prime. Res64: 977558B384DBC673 Time : 0.0 sec. user=mdettweiler [2015-07-24 17:59:22] 795*2^1404021-1 is not prime. Res64: 6114DB92325B9C75 Time : 0.0 sec. user=mdettweiler [2015-07-24 18:00:19] 835*2^1404021-1 is not prime. Res64: 4BFD7AE27A12A812 Time : 0.0 sec. user=mdettweiler [2015-07-24 18:00:20] 849*2^1404021-1 is not prime. Res64: 0CB3DF8BFEA92EAA Time : 0.0 sec. user=mdettweiler [2015-07-24 18:09:44] 731*2^1404022-1 is not prime. Res64: 727D11A1C80547FC Time : 0.0 sec. user=mdettweiler [2015-07-24 18:09:45] 761*2^1404022-1 is not prime. Res64: D5DE350E0E8B118B Time : 0.0 sec. user=mdettweiler [2015-07-24 18:09:45] 743*2^1404022-1 is not prime. Res64: 34CEE75EDBAFC750 Time : 0.0 sec. user=mdettweiler [2015-07-24 18:09:46] 941*2^1404022-1 is not prime. Res64: FE46BD45432FD620 Time : 0.0 sec. user=mdettweiler [2015-07-24 18:17:05] 965*2^1404022-1 is not prime. Res64: 81B0291D9B4EB542 Time : 0.0 sec. user=mdettweiler [2015-07-24 18:17:05] 705*2^1404023-1 is not prime. Res64: AB33D130BA90B2DD Time : 0.0 sec. user=mdettweiler [2015-07-24 18:18:06] 729*2^1404023-1 is not prime. Res64: 030E0F6BC0A4F9D2 Time : 0.0 sec. user=mdettweiler [2015-07-24 18:18:07] 805*2^1404023-1 is not prime. Res64: 9357F514CA4931C2 Time : 0.0 sec. user=mdettweiler [2015-07-24 18:27:54] 719*2^1404024-1 is not prime. Res64: 019DDB29D5483E66 Time : 0.0 sec. user=mdettweiler [2015-07-24 18:27:55] 875*2^1404024-1 is not prime. Res64: 0AAE8C630A9EEDCB Time : 0.0 sec. user=mdettweiler [2015-07-24 18:27:57] 895*2^1404023-1 is not prime. Res64: A87F09E2A005BC14 Time : 0.0 sec. user=mdettweiler [2015-07-24 18:27:57] 973*2^1404023-1 is not prime. Res64: BFB514EC0FBE9A75 Time : 0.0 sec. user=mdettweiler [2015-07-24 18:34:59] 903*2^1404024-1 is not prime. Res64: 12B5FF762A05F48A Time : 0.0 sec. user=mdettweiler [2015-07-24 18:34:59] 905*2^1404024-1 is not prime. Res64: 61EB34D3583253C3 Time : 0.0 sec. user=mdettweiler [2015-07-24 18:35:51] 751*2^1404025-1 is not prime. Res64: 10217EF04CDC918C Time : 0.0 sec. user=mdettweiler [2015-07-24 18:35:52] 759*2^1404025-1 is not prime. Res64: 9B3AF12E3B1F00D9 Time : 0.0 sec. user=mdettweiler [2015-07-24 18:45:49] 831*2^1404025-1 is not prime. Res64: FDA8F46DE63DB197 Time : 0.0 sec. user=mdettweiler [2015-07-24 18:45:50] 847*2^1404025-1 is not prime. Res64: 722F3C6EDD3EEC73 Time : 0.0 sec. user=mdettweiler [2015-07-24 18:45:53] 937*2^1404025-1 is not prime. Res64: 498323845DC29F1C Time : 0.0 sec. user=mdettweiler [2015-07-24 18:45:53] 651*2^1404026-1 is not prime. Res64: 8A29021894721A4F Time : 0.0 sec. user=mdettweiler [2015-07-24 18:52:50] 671*2^1404026-1 is not prime. Res64: 35E765F378F97A4B Time : 0.0 sec. user=mdettweiler [2015-07-24 18:52:50] 713*2^1404026-1 is not prime. Res64: 07A53239E76B1FCA Time : 0.0 sec. user=mdettweiler [2015-07-24 18:53:39] 755*2^1404026-1 is not prime. Res64: D14A65D539AA34AE Time : 0.0 sec. user=mdettweiler [2015-07-24 18:53:39] 831*2^1404026-1 is not prime. Res64: 5F03AD7C4E47C941 Time : 0.0 sec. user=mdettweiler [2015-07-24 19:03:37] 651*2^1404027-1 is not prime. Res64: 18BB4D9D116497DA Time : 0.0 sec. user=mdettweiler [2015-07-24 19:03:38] 795*2^1404027-1 is not prime. Res64: 3E0B5DEFC41D527B Time : 0.0 sec. user=mdettweiler [2015-07-24 19:03:45] 945*2^1404026-1 is not prime. Res64: A4F95DB99FB0CB08 Time : 0.0 sec. user=mdettweiler [2015-07-24 19:03:46] 957*2^1404026-1 is not prime. Res64: BE969B9FA27083CF Time : 0.0 sec. user=mdettweiler [2015-07-24 19:10:38] 843*2^1404027-1 is not prime. Res64: B0BD15890B1DA5E0 Time : 0.0 sec. user=mdettweiler [2015-07-24 19:10:39] 871*2^1404027-1 is not prime. Res64: 44F3CF1C30D59049 Time : 0.0 sec. user=mdettweiler [2015-07-24 19:11:27] 891*2^1404027-1 is not prime. Res64: 2D64677BB5FD172B Time : 0.0 sec. user=mdettweiler [2015-07-24 19:11:28] 605*2^1404028-1 is not prime. Res64: 294C354B8524AEA0 Time : 0.0 sec. user=mdettweiler [2015-07-24 19:22:28] 699*2^1404028-1 is not prime. Res64: A75C9B945A20B207 Time : 0.0 sec. user=mdettweiler [2015-07-24 19:22:29] 773*2^1404028-1 is not prime. Res64: CB04F518C1CCED78 Time : 0.0 sec. user=mdettweiler [2015-07-24 19:22:38] 783*2^1404028-1 is not prime. Res64: FE88C30E5550FF3F Time : 0.0 sec. user=mdettweiler [2015-07-24 19:22:39] 897*2^1404028-1 is not prime. Res64: 833FED1BA46B410E Time : 0.0 sec. user=mdettweiler [2015-07-24 19:31:19] 923*2^1404028-1 is not prime. Res64: C80E7BDE49ADA637 Time : 0.0 sec. user=mdettweiler [2015-07-24 19:31:19] 987*2^1404028-1 is not prime. Res64: D539B3A7C54BE56B Time : 0.0 sec. user=mdettweiler [2015-07-24 19:32:00] 631*2^1404029-1 is not prime. Res64: 4B745AC25E39EAA0 Time : 0.0 sec. user=mdettweiler [2015-07-24 19:32:00] 735*2^1404029-1 is not prime. Res64: 3AE94D9151D81BC9 Time : 0.0 sec. user=mdettweiler [2015-07-24 19:42:10] 745*2^1404029-1 is not prime. Res64: 94BE0DBD67F0550B Time : 0.0 sec. user=mdettweiler [2015-07-24 19:42:10] 759*2^1404029-1 is not prime. Res64: 8A9C3F432EFAC669 Time : 0.0 sec. user=mdettweiler [2015-07-24 19:42:29] 771*2^1404029-1 is not prime. Res64: 0AC6470B7C5C7359 Time : 0.0 sec. user=mdettweiler [2015-07-24 19:42:29] 847*2^1404029-1 is not prime. Res64: 3FC5A2D6624A59BA Time : 0.0 sec. user=mdettweiler [2015-07-24 19:49:18] 885*2^1404029-1 is not prime. Res64: 2307A5EA3894F38F Time : 0.0 sec. user=mdettweiler [2015-07-24 19:49:18] 665*2^1404030-1 is not prime. Res64: 0D65E23546745319 Time : 0.0 sec. user=mdettweiler [2015-07-24 19:50:02] 711*2^1404030-1 is not prime. Res64: 19CC2A44A69B81BD Time : 0.0 sec. user=mdettweiler [2015-07-24 19:50:02] 765*2^1404030-1 is not prime. Res64: B33585C1AA91AED1 Time : 0.0 sec. user=mdettweiler [2015-07-24 20:00:26] 797*2^1404030-1 is not prime. Res64: EA3E205561BF3537 Time : 0.0 sec. user=mdettweiler [2015-07-24 20:00:27] 885*2^1404030-1 is not prime. Res64: 29509C14F970DE1F Time : 0.0 sec. user=mdettweiler [2015-07-24 20:00:30] 933*2^1404030-1 is not prime. Res64: B914BF2AB8D34B09 Time : 0.0 sec. user=mdettweiler [2015-07-24 20:00:31] 941*2^1404030-1 is not prime. Res64: 1F1C9900969F7544 Time : 0.0 sec. user=mdettweiler [2015-07-24 20:07:49] 945*2^1404030-1 is not prime. Res64: 7287098E1DEF24C3 Time : 0.0 sec. user=mdettweiler [2015-07-24 20:07:50] 963*2^1404030-1 is not prime. Res64: 971CC7BB7B9A2933 Time : 0.0 sec. user=mdettweiler [2015-07-24 20:08:32] 603*2^1404031-1 is not prime. Res64: 387C1826A9E2E349 Time : 0.0 sec. user=mdettweiler [2015-07-24 20:08:33] 625*2^1404031-1 is not prime. Res64: E32BB344EA98A92C Time : 0.0 sec. user=mdettweiler [2015-07-24 20:18:46] 723*2^1404031-1 is not prime. Res64: E6044C75A4CF8E5B Time : 0.0 sec. user=mdettweiler [2015-07-24 20:18:47] 745*2^1404031-1 is not prime. Res64: 5E38C58F962CB3C2 Time : 0.0 sec. user=mdettweiler [2015-07-24 20:19:00] 885*2^1404031-1 is not prime. Res64: DF755321B06AA879 Time : 0.0 sec. user=mdettweiler [2015-07-24 20:19:00] 617*2^1404032-1 is not prime. Res64: 43F969AB5A42614C Time : 0.0 sec. user=mdettweiler [2015-07-24 20:25:37] 687*2^1404032-1 is not prime. Res64: 7A468B7E2D42D1B0 Time : 0.0 sec. user=mdettweiler [2015-07-24 20:25:37] 699*2^1404032-1 is not prime. Res64: 74142F6EFE976F08 Time : 0.0 sec. user=mdettweiler [2015-07-24 20:26:15] 743*2^1404032-1 is not prime. Res64: BC4898010C6A6B1A Time : 0.0 sec. user=mdettweiler [2015-07-24 20:26:16] 767*2^1404032-1 is not prime. Res64: 45F3CAAE113E9EAA Time : 0.0 sec. user=mdettweiler [2015-07-24 20:36:47] 827*2^1404032-1 is not prime. Res64: F9EECA5E0F3A21FF Time : 0.0 sec. user=mdettweiler [2015-07-24 20:36:47] 843*2^1404032-1 is not prime. Res64: 8F11F85B5347E40D Time : 0.0 sec. user=mdettweiler [2015-07-24 20:36:52] 875*2^1404032-1 is not prime. Res64: 1567C270850D113C Time : 0.0 sec. user=mdettweiler [2015-07-24 20:36:52] 609*2^1404033-1 is not prime. Res64: 499ED2D8FA0D6F12 Time : 0.0 sec. user=mdettweiler [2015-07-24 20:43:44] 789*2^1404033-1 is not prime. Res64: FB96F2B5573304E0 Time : 0.0 sec. user=mdettweiler [2015-07-24 20:43:44] 895*2^1404033-1 is not prime. Res64: C31AC7BD27CC9773 Time : 0.0 sec. user=mdettweiler [2015-07-24 20:44:23] 945*2^1404033-1 is not prime. Res64: 420B8048B599E1F1 Time : 0.0 sec. user=mdettweiler [2015-07-24 20:44:23] 621*2^1404034-1 is not prime. Res64: DEA8848DDD744644 Time : 0.0 sec. user=mdettweiler [2015-07-24 20:55:22] 635*2^1404034-1 is not prime. Res64: A86707C0F9C378F8 Time : 0.0 sec. user=mdettweiler [2015-07-24 20:55:22] 813*2^1404034-1 is not prime. Res64: 27D1B9BC42458B47 Time : 0.0 sec. user=mdettweiler [2015-07-24 20:55:23] 663*2^1404034-1 is not prime. Res64: F2924DD35FADE9E8 Time : 0.0 sec. user=mdettweiler [2015-07-24 20:55:23] 887*2^1404034-1 is not prime. Res64: 9E0FBB71B3165D40 Time : 0.0 sec. user=mdettweiler [2015-07-24 21:02:58] 941*2^1404034-1 is not prime. Res64: 1EFA81036F69CFCA Time : 0.0 sec. user=mdettweiler [2015-07-24 21:02:59] 981*2^1404034-1 is not prime. Res64: 016C72D918BA9CFF Time : 0.0 sec. user=mdettweiler [2015-07-24 21:03:33] 633*2^1404035-1 is not prime. Res64: F8DBE60DEDF1EC53 Time : 0.0 sec. user=mdettweiler [2015-07-24 21:03:35] 645*2^1404035-1 is not prime. Res64: 712A3062C3A34CFF Time : 0.0 sec. user=mdettweiler [2015-07-24 21:16:07] 777*2^1404036-1 is not prime. Res64: AC540FB4DD2E42C5 Time : 0.0 sec. user=mdettweiler [2015-07-24 21:16:07] 789*2^1404036-1 is not prime. Res64: B1F9965A6AAD8BE7 Time : 0.0 sec. user=mdettweiler [2015-07-24 21:16:08] 669*2^1404035-1 is not prime. Res64: E068F6444DC8DA9C Time : 0.0 sec. user=mdettweiler [2015-07-24 21:16:08] 909*2^1404035-1 is not prime. Res64: 5C24D7A94526E010 Time : 0.0 sec. user=mdettweiler [2015-07-24 21:24:16] 893*2^1404036-1 is not prime. Res64: B2EE58FDCC5FF8D0 Time : 0.0 sec. user=mdettweiler [2015-07-24 21:24:16] 957*2^1404036-1 is not prime. Res64: BBEA87F7ABA210D9 Time : 0.0 sec. user=mdettweiler [2015-07-24 21:24:54] 645*2^1404037-1 is not prime. Res64: B1EEC4A3C15E77DE Time : 0.0 sec. user=mdettweiler [2015-07-24 21:24:55] 687*2^1404037-1 is not prime. Res64: 94863345F60B8715 Time : 0.0 sec. user=mdettweiler [2015-07-24 21:36:18] 831*2^1404037-1 is not prime. Res64: 68FA909D231E23A6 Time : 0.0 sec. user=mdettweiler [2015-07-24 21:36:18] 641*2^1404038-1 is not prime. Res64: DAAE0382831B5745 Time : 0.0 sec. user=mdettweiler [2015-07-24 21:36:22] 747*2^1404037-1 is not prime. Res64: F2FDF0F6D70A713F Time : 0.0 sec. user=mdettweiler [2015-07-24 21:36:22] 799*2^1404037-1 is not prime. Res64: A83556B1519D70B3 Time : 0.0 sec. user=mdettweiler [2015-07-24 21:43:52] 645*2^1404038-1 is not prime. Res64: 4F49DF061B4F34A1 Time : 0.0 sec. user=mdettweiler [2015-07-24 21:43:53] 693*2^1404038-1 is not prime. Res64: 1C424FE6F8836FD3 Time : 0.0 sec. user=mdettweiler [2015-07-24 21:44:04] 753*2^1404038-1 is not prime. Res64: EDE43A3ACD411821 Time : 0.0 sec. user=mdettweiler [2015-07-24 21:44:04] 897*2^1404038-1 is not prime. Res64: AF4B7902B8B4EDFC Time : 0.0 sec. user=mdettweiler [2015-07-24 21:55:13] 751*2^1404039-1 is not prime. Res64: 5A0369E505A4E220 Time : 0.0 sec. user=mdettweiler [2015-07-24 21:55:13] 653*2^1404040-1 is not prime. Res64: BF059CD1EB78222D Time : 0.0 sec. user=mdettweiler [2015-07-24 21:55:55] 675*2^1404040-1 is not prime. Res64: 7F37E8B9C9021998 Time : 0.0 sec. user=mdettweiler [2015-07-24 21:55:55] 759*2^1404040-1 is not prime. Res64: 8A50DFEBE02E27FA Time : 0.0 sec. user=mdettweiler [2015-07-24 22:03:17] 601*2^1404041-1 is not prime. Res64: 7F80F17F2980596F Time : 0.0 sec. user=mdettweiler [2015-07-24 22:03:18] 615*2^1404041-1 is not prime. Res64: 0F52950AE3103C53 Time : 0.0 sec. user=mdettweiler [2015-07-24 22:03:37] 855*2^1404040-1 is not prime. Res64: 0FD9AC11FC0F66D7 Time : 0.0 sec. user=mdettweiler [2015-07-24 22:03:39] 995*2^1404040-1 is not prime. Res64: D95FD86167F5C0B6 Time : 0.0 sec. user=mdettweiler [2015-07-24 22:15:05] 685*2^1404041-1 is not prime. Res64: F1061A5889021800 Time : 0.0 sec. user=mdettweiler [2015-07-24 22:15:06] 705*2^1404041-1 is not prime. Res64: A87B1299E99DF412 Time : 0.0 sec. user=mdettweiler [2015-07-24 22:15:21] 769*2^1404041-1 is not prime. Res64: DF923309979BA7B5 Time : 0.0 sec. user=mdettweiler [2015-07-24 22:15:21] 789*2^1404041-1 is not prime. Res64: B79A05CE1DCC726B Time : 0.0 sec. user=mdettweiler [2015-07-24 22:22:31] 795*2^1404041-1 is not prime. Res64: 51AD979A7E90EDE9 Time : 0.0 sec. user=mdettweiler [2015-07-24 22:22:31] 901*2^1404041-1 is not prime. Res64: 57121D09D31E4CF1 Time : 0.0 sec. user=mdettweiler [2015-07-24 22:22:39] 621*2^1404042-1 is not prime. Res64: 520A2A311EA7EFD2 Time : 0.0 sec. user=mdettweiler [2015-07-24 22:22:39] 633*2^1404042-1 is not prime. Res64: 7AB75411980C3227 Time : 0.0 sec. user=mdettweiler [2015-07-24 22:33:55] 635*2^1404042-1 is not prime. Res64: 185586A48C63063C Time : 0.0 sec. user=mdettweiler [2015-07-24 22:33:55] 671*2^1404042-1 is not prime. Res64: C76A4B682FD359C1 Time : 0.0 sec. user=mdettweiler [2015-07-24 22:33:55] 681*2^1404042-1 is not prime. Res64: 313C82E7F594AAE5 Time : 0.0 sec. user=mdettweiler [2015-07-24 22:33:56] 711*2^1404042-1 is not prime. Res64: 0EFD772510520C2D Time : 0.0 sec. user=mdettweiler [2015-07-24 22:41:26] 803*2^1404042-1 is not prime. Res64: F67BFA2EE40336E8 Time : 0.0 sec. user=mdettweiler [2015-07-24 22:41:26] 815*2^1404042-1 is not prime. Res64: 3DF6D92976A45F17 Time : 0.0 sec. user=mdettweiler [2015-07-24 22:41:36] 945*2^1404042-1 is not prime. Res64: E4D67C94250B35FB Time : 0.0 sec. user=mdettweiler [2015-07-24 22:41:36] 625*2^1404043-1 is not prime. Res64: 4CBA5D324A944B90 Time : 0.0 sec. user=mdettweiler [2015-07-24 22:53:02] 675*2^1404043-1 is not prime. Res64: 789273F589B5B77B Time : 0.0 sec. user=mdettweiler [2015-07-24 22:53:03] 679*2^1404043-1 is not prime. Res64: 880F029C2D0F6DC9 Time : 0.0 sec. user=mdettweiler [2015-07-24 22:53:06] 663*2^1404043-1 is not prime. Res64: E56C74034DB56BA5 Time : 0.0 sec. user=mdettweiler [2015-07-24 22:53:06] 685*2^1404043-1 is not prime. Res64: EE3B660E35CC537F Time : 0.0 sec. user=mdettweiler [2015-07-24 23:00:21] 723*2^1404043-1 is not prime. Res64: 0DA40197D16D6355 Time : 0.0 sec. user=mdettweiler [2015-07-24 23:00:22] 769*2^1404043-1 is not prime. Res64: F38626F101E36AA9 Time : 0.0 sec. user=mdettweiler [2015-07-24 23:00:43] 789*2^1404043-1 is not prime. Res64: 22862A0A73FF12BC Time : 0.0 sec. user=mdettweiler [2015-07-24 23:00:44] 793*2^1404043-1 is not prime. Res64: ECBD1292FC03B180 Time : 0.0 sec. user=mdettweiler [2015-07-24 23:11:45] 853*2^1404043-1 is not prime. Res64: 1A57C10C0BFACB9F Time : 0.0 sec. user=mdettweiler [2015-07-24 23:11:46] 919*2^1404043-1 is not prime. Res64: 1D5723BDC9B734AF Time : 0.0 sec. user=mdettweiler [2015-07-24 23:11:51] 961*2^1404043-1 is not prime. Res64: B6F93F9182E7FCCC Time : 0.0 sec. user=mdettweiler [2015-07-24 23:11:52] 993*2^1404043-1 is not prime. Res64: 588764EA450E8D0F Time : 0.0 sec. user=mdettweiler [2015-07-24 23:19:00] 999*2^1404043-1 is not prime. Res64: 5B3B1FD08773B0E7 Time : 0.0 sec. user=mdettweiler [2015-07-24 23:19:01] 629*2^1404044-1 is not prime. Res64: F97991782638AB53 Time : 0.0 sec. user=mdettweiler [2015-07-24 23:19:13] 675*2^1404044-1 is not prime. Res64: 85AE339E2AADE248 Time : 0.0 sec. user=mdettweiler [2015-07-24 23:19:14] 767*2^1404044-1 is not prime. Res64: 1E5085281E33635D Time : 0.0 sec. user=mdettweiler [2015-07-24 23:29:43] 627*2^1404045-1 is not prime. Res64: 7F778F747B9671FA Time : 0.0 sec. user=mdettweiler [2015-07-24 23:29:43] 909*2^1404044-1 is not prime. Res64: 7228D97743ACFE1F Time : 0.0 sec. user=mdettweiler [2015-07-24 23:29:44] 717*2^1404045-1 is not prime. Res64: 94AB5A11164D658D Time : 0.0 sec. user=mdettweiler [2015-07-24 23:29:44] 609*2^1404045-1 is not prime. Res64: C60B34E30DEB4188 Time : 0.0 sec. user=mdettweiler [2015-07-24 23:36:51] 867*2^1404045-1 is not prime. Res64: 092C9789B194FF5C Time : 0.0 sec. user=mdettweiler [2015-07-24 23:36:51] 895*2^1404045-1 is not prime. Res64: 90DD94DF087410D3 Time : 0.0 sec. user=mdettweiler [2015-07-24 23:37:09] 937*2^1404045-1 is not prime. Res64: 7B97D78E5248A70D Time : 0.0 sec. user=mdettweiler [2015-07-24 23:37:09] 737*2^1404046-1 is not prime. Res64: C2C71581A87CE002 Time : 0.0 sec. user=mdettweiler [2015-07-24 23:47:32] 765*2^1404046-1 is not prime. Res64: 5A5E4A23497EED1E Time : 0.0 sec. user=mdettweiler [2015-07-24 23:47:33] 825*2^1404046-1 is not prime. Res64: 8B94B5A9727700A8 Time : 0.0 sec. user=mdettweiler [2015-07-24 23:47:36] 987*2^1404046-1 is not prime. Res64: 1CEF9A6267ED77D6 Time : 0.0 sec. user=mdettweiler [2015-07-24 23:47:37] 1001*2^1404046-1 is not prime. Res64: 208F886F16E47827 Time : 0.0 sec. user=mdettweiler [2015-07-24 23:54:51] 619*2^1404047-1 is not prime. Res64: C90384C61547C620 Time : 0.0 sec. user=mdettweiler [2015-07-24 23:54:52] 715*2^1404047-1 is not prime. Res64: 1D2224843FD77C36 Time : 0.0 sec. user=mdettweiler [2015-07-24 23:55:04] 759*2^1404047-1 is not prime. Res64: 8B74F54AC1BDE038 Time : 0.0 sec. user=mdettweiler [2015-07-24 23:55:05] 843*2^1404047-1 is not prime. Res64: 694430B27ED48AAC Time : 0.0 sec.