user=mdettweiler [2015-10-16 00:08:59] 773*2^1412234-1 is not prime. Res64: 944A02DFB9293C29 Time : 0.0 sec. user=mdettweiler [2015-10-16 00:09:00] 783*2^1412234-1 is not prime. Res64: 91D638D65955004F Time : 0.0 sec. user=mdettweiler [2015-10-16 00:09:02] 873*2^1412234-1 is not prime. Res64: 25295EE43F817FEE Time : 0.0 sec. user=mdettweiler [2015-10-16 00:09:03] 953*2^1412234-1 is not prime. Res64: 6B061134455977C7 Time : 0.0 sec. user=mdettweiler [2015-10-16 00:09:35] 957*2^1412234-1 is not prime. Res64: 0A43A64AD669B41D Time : 0.0 sec. user=mdettweiler [2015-10-16 00:09:35] 739*2^1412235-1 is not prime. Res64: E08E93CA9830BB29 Time : 0.0 sec. user=mdettweiler [2015-10-16 00:13:30] 805*2^1412235-1 is not prime. Res64: 5A29566DD7F3D529 Time : 0.0 sec. user=mdettweiler [2015-10-16 00:13:30] 903*2^1412235-1 is not prime. Res64: 792AB2A25C64EE4E Time : 0.0 sec. user=mdettweiler [2015-10-16 00:26:50] 909*2^1412235-1 is not prime. Res64: C692F714A9817A4B Time : 0.0 sec. user=mdettweiler [2015-10-16 00:26:51] 961*2^1412235-1 is not prime. Res64: FEAD5CF51ACB8198 Time : 0.0 sec. user=mdettweiler [2015-10-16 00:27:08] 743*2^1412236-1 is not prime. Res64: 47AFB6061589A6FD Time : 0.0 sec. user=mdettweiler [2015-10-16 00:27:08] 785*2^1412236-1 is not prime. Res64: 7A80C032CB44618A Time : 0.0 sec. user=mdettweiler [2015-10-16 00:27:22] 825*2^1412236-1 is not prime. Res64: C5F1F54B9F160657 Time : 0.0 sec. user=mdettweiler [2015-10-16 00:27:23] 903*2^1412236-1 is not prime. Res64: F52A8F7CCE1A2F88 Time : 0.0 sec. user=mdettweiler [2015-10-16 00:31:22] 615*2^1412237-1 is not prime. Res64: 091BD0B0249398E5 Time : 0.0 sec. user=mdettweiler [2015-10-16 00:31:22] 631*2^1412237-1 is not prime. Res64: AB0DC72BA88BBF1B Time : 0.0 sec. user=mdettweiler [2015-10-16 00:44:45] 655*2^1412237-1 is not prime. Res64: 418F674FED6AC2E7 Time : 0.0 sec. user=mdettweiler [2015-10-16 00:44:46] 981*2^1412237-1 is not prime. Res64: AE47F271BFF766FE Time : 0.0 sec. user=mdettweiler [2015-10-16 00:44:59] 985*2^1412237-1 is not prime. Res64: BDBE75B4FACD82DF Time : 0.0 sec. user=mdettweiler [2015-10-16 00:44:59] 765*2^1412238-1 is not prime. Res64: 6AED3E9719C41381 Time : 0.0 sec. user=mdettweiler [2015-10-16 00:45:11] 791*2^1412238-1 is not prime. Res64: D3226BBBCB553DCE Time : 0.0 sec. user=mdettweiler [2015-10-16 00:45:12] 825*2^1412238-1 is not prime. Res64: BFC575174F67C75B Time : 0.0 sec. user=mdettweiler [2015-10-16 00:49:18] 675*2^1412239-1 is not prime. Res64: FFC7E51585CD0832 Time : 0.0 sec. user=mdettweiler [2015-10-16 00:49:18] 829*2^1412239-1 is not prime. Res64: 760A2E989826A1AC Time : 0.0 sec. user=mdettweiler [2015-10-16 01:02:41] 843*2^1412239-1 is not prime. Res64: D93586A089DE56EB Time : 0.0 sec. user=mdettweiler [2015-10-16 01:02:42] 961*2^1412239-1 is not prime. Res64: FF2A5F3416F32540 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:02:59] 985*2^1412239-1 is not prime. Res64: B785F2174F7E5CC2 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:03:01] 615*2^1412240-1 is not prime. Res64: B60D37F48E881180 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:03:05] 857*2^1412240-1 is not prime. Res64: A7E4A3774EBCFDAF Time : 0.0 sec. user=mdettweiler [2015-10-16 01:03:08] 893*2^1412240-1 is not prime. Res64: 096CDF679F66FACC Time : 0.0 sec. user=mdettweiler [2015-10-16 01:07:04] 927*2^1412240-1 is not prime. Res64: EE9202347A831538 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:07:04] 935*2^1412240-1 is not prime. Res64: 7E7DA034D01D466A Time : 0.0 sec. user=mdettweiler [2015-10-16 01:20:33] 609*2^1412241-1 is not prime. Res64: E771528859D9D8B0 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:20:34] 739*2^1412241-1 is not prime. Res64: 911C88FBB34D7B18 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:20:53] 997*2^1412241-1 is not prime. Res64: 327827AEAEE59230 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:20:54] 603*2^1412242-1 is not prime. Res64: 5E9A37389F41D172 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:20:56] 819*2^1412241-1 is not prime. Res64: AEEF78981447C908 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:20:57] 945*2^1412241-1 is not prime. Res64: 2979CEAEC9B6DA96 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:24:52] 695*2^1412242-1 is not prime. Res64: 305773D0B45C0686 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:24:52] 713*2^1412242-1 is not prime. Res64: 8F47A23044A9BA08 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:38:25] 731*2^1412242-1 is not prime. Res64: A6E03B473236E055 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:38:26] 737*2^1412242-1 is not prime. Res64: 6E350A7692698773 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:38:36] 755*2^1412242-1 is not prime. Res64: 095B62F81FBBE7F0 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:38:36] 917*2^1412242-1 is not prime. Res64: 594D3385CEB6B764 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:38:47] 685*2^1412243-1 is not prime. Res64: 0611BECEA82B901D Time : 0.0 sec. user=mdettweiler [2015-10-16 01:38:48] 699*2^1412243-1 is not prime. Res64: 7E72C9575FACA511 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:42:35] 759*2^1412243-1 is not prime. Res64: 3B8A723678B45AD1 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:42:36] 921*2^1412243-1 is not prime. Res64: 363D9A84339571B6 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:56:17] 969*2^1412243-1 is not prime. Res64: 881519D550578A7E Time : 0.0 sec. user=mdettweiler [2015-10-16 01:56:18] 705*2^1412244-1 is not prime. Res64: 9F15C504954D8C0C Time : 0.0 sec. user=mdettweiler [2015-10-16 01:56:21] 749*2^1412244-1 is not prime. Res64: 26AA93ABE08D6531 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:56:22] 759*2^1412244-1 is not prime. Res64: 0A35840F461480B1 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:56:27] 773*2^1412244-1 is not prime. Res64: 53AFE9843F9E4B01 Time : 0.0 sec. user=mdettweiler [2015-10-16 01:56:27] 687*2^1412245-1 is not prime. Res64: A7B5C9B6A4B5BDCE Time : 0.0 sec. user=mdettweiler [2015-10-16 02:00:19] 691*2^1412245-1 is not prime. Res64: DEE50A5D9EC0DCDF Time : 0.0 sec. user=mdettweiler [2015-10-16 02:00:20] 771*2^1412245-1 is not prime. Res64: 19861751DB84ED47 Time : 0.0 sec. user=mdettweiler [2015-10-16 02:14:18] 975*2^1412245-1 is not prime. Res64: 4A81F24143687329 Time : 0.0 sec. user=mdettweiler [2015-10-16 02:14:19] 693*2^1412246-1 is not prime. Res64: 4543CA6818CA9D6D Time : 0.0 sec. user=mdettweiler [2015-10-16 02:14:39] 847*2^1412245-1 is not prime. Res64: A18CDFB3E031C982 Time : 0.0 sec. user=mdettweiler [2015-10-16 02:14:39] 859*2^1412245-1 is not prime. Res64: 21679D67A383604A Time : 0.0 sec. user=mdettweiler [2015-10-16 02:14:54] 711*2^1412246-1 is not prime. Res64: 41C79112AA45DB88 Time : 0.0 sec. user=mdettweiler [2015-10-16 02:14:54] 717*2^1412246-1 is not prime. Res64: 9512B008844D6658 Time : 0.0 sec. user=mdettweiler [2015-10-16 02:19:28] 755*2^1412246-1 is not prime. Res64: E84AD63117BBC133 Time : 0.0 sec. user=mdettweiler [2015-10-16 02:19:29] 827*2^1412246-1 is not prime. Res64: 41C0115705E0B971 Time : 0.0 sec. user=mdettweiler [2015-10-16 02:32:38] 861*2^1412246-1 is not prime. Res64: 2B54366D4B2F6EF3 Time : 0.0 sec. user=mdettweiler [2015-10-16 02:32:38] 963*2^1412246-1 is not prime. Res64: 81545E3BDD45F221 Time : 0.0 sec. user=mdettweiler [2015-10-16 02:32:56] 987*2^1412246-1 is not prime. Res64: ECEAF1A5745384DF Time : 0.0 sec. user=mdettweiler [2015-10-16 02:32:56] 649*2^1412247-1 is not prime. Res64: ED81FD808037697E Time : 0.0 sec. user=mdettweiler [2015-10-16 02:33:12] 945*2^1412247-1 is not prime. Res64: DDB8FD244A14EB2A Time : 0.0 sec. user=mdettweiler [2015-10-16 02:33:12] 973*2^1412247-1 is not prime. Res64: 6A27F112DF65C854 Time : 0.0 sec. user=mdettweiler [2015-10-16 02:37:19] 999*2^1412247-1 is not prime. Res64: 75633FD737BA3998 Time : 0.0 sec. user=mdettweiler [2015-10-16 02:37:20] 645*2^1412248-1 is not prime. Res64: 85FDBD5DA6AFCE3E Time : 0.0 sec. user=mdettweiler [2015-10-16 02:50:27] 677*2^1412248-1 is not prime. Res64: 2950D7E3F98CB7FD Time : 0.0 sec. user=mdettweiler [2015-10-16 02:50:27] 869*2^1412248-1 is not prime. Res64: 48EA45C740B8951C Time : 0.0 sec. user=mdettweiler [2015-10-16 02:50:47] 887*2^1412248-1 is not prime. Res64: B9357B0BEE065A78 Time : 0.0 sec. user=mdettweiler [2015-10-16 02:50:48] 675*2^1412249-1 is not prime. Res64: 21EE280606C30F1C Time : 0.0 sec. user=mdettweiler [2015-10-16 02:51:00] 735*2^1412249-1 is not prime. Res64: A052093249BCB787 Time : 0.0 sec. user=mdettweiler [2015-10-16 02:51:01] 769*2^1412249-1 is not prime. Res64: 0CCC27E1832DF85C Time : 0.0 sec. user=mdettweiler [2015-10-16 02:55:05] 811*2^1412249-1 is not prime. Res64: 61667BDBDDB33FF2 Time : 0.0 sec. user=mdettweiler [2015-10-16 02:55:05] 861*2^1412249-1 is not prime. Res64: 7C90216767B1B877 Time : 0.0 sec. user=mdettweiler [2015-10-16 03:08:12] 997*2^1412249-1 is not prime. Res64: 66A4D474850F2727 Time : 0.0 sec. user=mdettweiler [2015-10-16 03:08:13] 681*2^1412250-1 is not prime. Res64: 19A332E2B1BE7872 Time : 0.0 sec. user=mdettweiler [2015-10-16 03:08:38] 725*2^1412250-1 is not prime. Res64: 88525975CD2965F2 Time : 0.0 sec. user=mdettweiler [2015-10-16 03:08:39] 765*2^1412250-1 is not prime. Res64: CA29FFFF624C137C Time : 0.0 sec. user=mdettweiler [2015-10-16 03:08:47] 833*2^1412250-1 is not prime. Res64: 9D80479F846223D3 Time : 0.0 sec. user=mdettweiler [2015-10-16 03:08:48] 917*2^1412250-1 is not prime. Res64: 6F217BC68555F5AB Time : 0.0 sec. user=mdettweiler [2015-10-16 03:12:49] 615*2^1412251-1 is not prime. Res64: B13BA9E1D9C110B7 Time : 0.0 sec. user=mdettweiler [2015-10-16 03:12:49] 759*2^1412251-1 is not prime. Res64: DF78A5AF8229FDA6 Time : 0.0 sec. user=mdettweiler [2015-10-16 03:25:57] 943*2^1412251-1 is not prime. Res64: B4FC889B7579ACEF Time : 0.0 sec. user=mdettweiler [2015-10-16 03:25:58] 605*2^1412252-1 is not prime. Res64: EC3253D24D49FE15 Time : 0.0 sec. user=mdettweiler [2015-10-16 03:26:22] 617*2^1412252-1 is not prime. Res64: 8A349166B0EDE9E3 Time : 0.0 sec. user=mdettweiler [2015-10-16 03:26:23] 687*2^1412252-1 is not prime. Res64: 4436816795156A14 Time : 0.0 sec. user=mdettweiler [2015-10-16 03:26:28] 767*2^1412252-1 is not prime. Res64: 145CE75A536C280C Time : 0.0 sec. user=mdettweiler [2015-10-16 03:26:29] 827*2^1412252-1 is not prime. Res64: C8F95FE10ED063C9 Time : 0.0 sec. user=mdettweiler [2015-10-16 03:30:34] 995*2^1412252-1 is not prime. Res64: F04C25C22F739D09 Time : 0.0 sec. user=mdettweiler [2015-10-16 03:30:36] 621*2^1412253-1 is not prime. Res64: 5350A4677145FF95 Time : 0.0 sec. user=mdettweiler [2015-10-16 03:43:44] 891*2^1412253-1 is not prime. Res64: DCEDEFF181778EEB Time : 0.0 sec. user=mdettweiler [2015-10-16 03:43:44] 605*2^1412254-1 is not prime. Res64: 1A907EF0BEE84AA5 Time : 0.0 sec. user=mdettweiler [2015-10-16 03:44:07] 609*2^1412255-1 is not prime. Res64: 629A67C32F46C44D Time : 0.0 sec. user=mdettweiler [2015-10-16 03:44:08] 643*2^1412255-1 is not prime. Res64: F2B84DDA5EEAACD8 Time : 0.0 sec. user=mdettweiler [2015-10-16 03:44:18] 735*2^1412255-1 is not prime. Res64: 5B34995583D81C52 Time : 0.0 sec. user=mdettweiler [2015-10-16 03:44:18] 783*2^1412255-1 is not prime. Res64: 08E6FFB79F953153 Time : 0.0 sec. user=mdettweiler [2015-10-16 03:48:24] 963*2^1412255-1 is not prime. Res64: 7229F4988D76CCB2 Time : 0.0 sec. user=mdettweiler [2015-10-16 03:48:26] 657*2^1412256-1 is not prime. Res64: 2931615E4D3B6F09 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:01:51] 873*2^1412256-1 is not prime. Res64: E9FBAD1117C53DC1 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:01:53] 619*2^1412257-1 is not prime. Res64: 6F32DE0AF197D621 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:01:59] 625*2^1412257-1 is not prime. Res64: 220C25E564978039 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:02:00] 661*2^1412257-1 is not prime. Res64: E3548F68CAFDB320 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:02:09] 675*2^1412257-1 is not prime. Res64: 64C0BFF1FD7EC754 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:02:10] 699*2^1412257-1 is not prime. Res64: A468D1AE546DE17E Time : 0.0 sec. user=mdettweiler [2015-10-16 04:06:28] 717*2^1412257-1 is not prime. Res64: FDEA975C3FF078AA Time : 0.0 sec. user=mdettweiler [2015-10-16 04:06:30] 771*2^1412257-1 is not prime. Res64: 5B51FD741CA0766D Time : 0.0 sec. user=mdettweiler [2015-10-16 04:19:46] 801*2^1412257-1 is not prime. Res64: 1226640AB5FFC2EB Time : 0.0 sec. user=mdettweiler [2015-10-16 04:19:47] 805*2^1412257-1 is not prime. Res64: 849447866B143B7C Time : 0.0 sec. user=mdettweiler [2015-10-16 04:19:55] 817*2^1412257-1 is not prime. Res64: CBC6F2C95E1C2119 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:19:56] 979*2^1412257-1 is not prime. Res64: 9BBECE532BC9E884 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:20:03] 671*2^1412258-1 is not prime. Res64: 05DD9B1B21063216 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:20:04] 755*2^1412258-1 is not prime. Res64: B0A25E4FBCDCD04F Time : 0.0 sec. user=mdettweiler [2015-10-16 04:24:20] 861*2^1412258-1 is not prime. Res64: DCF62B991F40F1D8 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:24:21] 993*2^1412258-1 is not prime. Res64: BCD5F145A33FDCF2 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:37:40] 625*2^1412259-1 is not prime. Res64: CD8788AA373BC5E0 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:37:41] 649*2^1412259-1 is not prime. Res64: 6B57A51C84F04E32 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:37:51] 679*2^1412259-1 is not prime. Res64: E5173B0C12199F13 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:37:51] 691*2^1412259-1 is not prime. Res64: 3474CFAC1CAC2697 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:38:02] 705*2^1412259-1 is not prime. Res64: 88392EFFC2A86C01 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:38:03] 775*2^1412259-1 is not prime. Res64: AE914B4A3D543E8C Time : 0.0 sec. user=mdettweiler [2015-10-16 04:42:10] 609*2^1412260-1 is not prime. Res64: 668D5AE278501915 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:42:10] 663*2^1412260-1 is not prime. Res64: DB08993027655A33 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:55:25] 873*2^1412260-1 is not prime. Res64: D2D2B5EA6917BA52 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:55:26] 965*2^1412260-1 is not prime. Res64: AF048C194F28BE9E Time : 0.0 sec. user=mdettweiler [2015-10-16 04:55:40] 651*2^1412261-1 is not prime. Res64: 59586236F2985BC8 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:55:41] 735*2^1412261-1 is not prime. Res64: EE2931424329BB01 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:55:51] 745*2^1412261-1 is not prime. Res64: A3DEBDC3603F55C6 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:55:51] 757*2^1412261-1 is not prime. Res64: DEA79690D6920907 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:59:53] 949*2^1412261-1 is not prime. Res64: 51236DB53E269045 Time : 0.0 sec. user=mdettweiler [2015-10-16 04:59:54] 957*2^1412261-1 is not prime. Res64: 16868BE74E252837 Time : 0.0 sec. user=mdettweiler [2015-10-16 05:13:12] 621*2^1412262-1 is not prime. Res64: 65643CAC6E29A706 Time : 0.0 sec. user=mdettweiler [2015-10-16 05:13:12] 657*2^1412262-1 is not prime. Res64: 0873F834FADC6879 Time : 0.0 sec. user=mdettweiler [2015-10-16 05:13:25] 737*2^1412262-1 is not prime. Res64: 6ADEAAC72CACA240 Time : 0.0 sec. user=mdettweiler [2015-10-16 05:13:25] 825*2^1412262-1 is not prime. Res64: E3794F58910C5AB6 Time : 0.0 sec. user=mdettweiler [2015-10-16 05:13:35] 863*2^1412262-1 is not prime. Res64: 9C4B9B60FB6FB5E3 Time : 0.0 sec. user=mdettweiler [2015-10-16 05:13:36] 941*2^1412262-1 is not prime. Res64: 538BE3B39E1CEE85 Time : 0.0 sec. user=mdettweiler [2015-10-16 05:17:49] 1001*2^1412262-1 is not prime. Res64: BA392AB1B288AE1C Time : 0.0 sec. user=mdettweiler [2015-10-16 05:17:50] 619*2^1412263-1 is not prime. Res64: 039143C31AEBECC3 Time : 0.0 sec. user=mdettweiler [2015-10-16 05:31:04] 649*2^1412263-1 is not prime. Res64: 907324C24B2288A2 Time : 0.0 sec. user=mdettweiler [2015-10-16 05:31:05] 663*2^1412263-1 is not prime. Res64: 5A0DCA82DA87109E Time : 0.0 sec. user=mdettweiler [2015-10-16 05:31:17] 853*2^1412263-1 is not prime. Res64: 643EBECFBF87B99C Time : 0.0 sec. user=mdettweiler [2015-10-16 05:31:18] 915*2^1412263-1 is not prime. Res64: 4DA834ED472B25B5 Time : 0.0 sec. user=mdettweiler [2015-10-16 05:31:24] 635*2^1412264-1 is not prime. Res64: 88462E3EA747E98A Time : 0.0 sec. user=mdettweiler [2015-10-16 05:31:25] 659*2^1412264-1 is not prime. Res64: AFD03098D7CF9590 Time : 0.0 sec. user=mdettweiler [2015-10-16 05:35:36] 773*2^1412264-1 is not prime. Res64: 95FE8348891A36B9 Time : 0.0 sec. user=mdettweiler [2015-10-16 05:35:37] 857*2^1412264-1 is not prime. Res64: C3EACC93A22AABDD Time : 0.0 sec. user=mdettweiler [2015-10-16 05:48:53] 945*2^1412264-1 is not prime. Res64: 476E99D47CAD9194 Time : 0.0 sec. user=mdettweiler [2015-10-16 05:48:54] 969*2^1412264-1 is not prime. Res64: CA71CD44619C0CF9 Time : 0.0 sec. user=mdettweiler [2015-10-16 05:49:15] 717*2^1412265-1 is not prime. Res64: E1DE0693A0D2281F Time : 0.0 sec. user=mdettweiler [2015-10-16 05:49:16] 741*2^1412265-1 is not prime. Res64: 6A9B631D5664DC1A Time : 0.0 sec. user=mdettweiler [2015-10-16 05:49:20] 983*2^1412264-1 is not prime. Res64: CB8402A456DB033C Time : 0.0 sec. user=mdettweiler [2015-10-16 05:49:21] 669*2^1412265-1 is not prime. Res64: 6F5D2773524500B8 Time : 0.0 sec. user=mdettweiler [2015-10-16 05:53:34] 751*2^1412265-1 is not prime. Res64: A7D82C535C568A6F Time : 0.0 sec. user=mdettweiler [2015-10-16 05:53:35] 777*2^1412265-1 is not prime. Res64: 34B13C2E0BA30A1B Time : 0.0 sec. user=mdettweiler [2015-10-16 06:06:44] 889*2^1412265-1 is not prime. Res64: 090A89AF6D4356D6 Time : 0.0 sec. user=mdettweiler [2015-10-16 06:06:45] 895*2^1412265-1 is not prime. Res64: 09295AAB0F7A372D Time : 0.0 sec. user=mdettweiler [2015-10-16 06:07:11] 949*2^1412265-1 is not prime. Res64: DEEAEAD9751D1FB9 Time : 0.0 sec. user=mdettweiler [2015-10-16 06:07:12] 603*2^1412266-1 is not prime. Res64: A1535123A3DBCD3D Time : 0.0 sec. user=mdettweiler [2015-10-16 06:07:12] 783*2^1412266-1 is not prime. Res64: B6BB858DFB2CFDE9 Time : 0.0 sec. user=mdettweiler [2015-10-16 06:07:13] 801*2^1412266-1 is not prime. Res64: 9D2869EE97A18DC1 Time : 0.0 sec. user=mdettweiler [2015-10-16 06:11:29] 917*2^1412266-1 is not prime. Res64: 4963DA5A9992DDF7 Time : 0.0 sec. user=mdettweiler [2015-10-16 06:11:30] 923*2^1412266-1 is not prime. Res64: CCE982E3A11886C9 Time : 0.0 sec. user=mdettweiler [2015-10-16 06:24:31] 941*2^1412266-1 is not prime. Res64: 4A9FA1C11372D2A9 Time : 0.0 sec. user=mdettweiler [2015-10-16 06:24:32] 781*2^1412267-1 is not prime. Res64: B32F5A0AB53DBD86 Time : 0.0 sec. user=mdettweiler [2015-10-16 06:24:58] 797*2^1412268-1 is not prime. Res64: 865FB1D1E83A7C61 Time : 0.0 sec. user=mdettweiler [2015-10-16 06:24:59] 899*2^1412268-1 is not prime. Res64: D73E5EB99AE39954 Time : 0.0 sec. user=mdettweiler [2015-10-16 06:24:59] 813*2^1412267-1 is not prime. Res64: 56AA912D6CBDF2EF Time : 0.0 sec. user=mdettweiler [2015-10-16 06:25:00] 931*2^1412267-1 is not prime. Res64: C24C456A07E42D02 Time : 0.0 sec. user=mdettweiler [2015-10-16 06:29:17] 933*2^1412268-1 is not prime. Res64: 7F9715A4A67BB0C0 Time : 0.0 sec. user=mdettweiler [2015-10-16 06:29:18] 601*2^1412269-1 is not prime. Res64: 7C10A3582606FD42 Time : 0.0 sec. user=mdettweiler [2015-10-16 06:42:33] 609*2^1412269-1 is not prime. Res64: EB493ADB83528AC2 Time : 0.0 sec. user=mdettweiler [2015-10-16 06:42:33] 799*2^1412269-1 is not prime. Res64: E65E3172D913DF63 Time : 0.0 sec. user=mdettweiler [2015-10-16 06:42:47] 861*2^1412269-1 is not prime. Res64: 19522710ADD3C561 Time : 0.0 sec. user=mdettweiler [2015-10-16 06:42:47] 641*2^1412270-1 is not prime. Res64: 57560048D0B2A7E8 Time : 0.0 sec. user=mdettweiler [2015-10-16 06:42:48] 645*2^1412270-1 is not prime. Res64: 130D571761B9923F Time : 0.0 sec. user=mdettweiler [2015-10-16 06:42:49] 657*2^1412270-1 is not prime. Res64: 2F0705CCBA817EB4 Time : 0.0 sec. user=mdettweiler [2015-10-16 06:47:07] 665*2^1412270-1 is not prime. Res64: 7479AE0F3BCE3C05 Time : 0.0 sec. user=mdettweiler [2015-10-16 06:47:08] 795*2^1412270-1 is not prime. Res64: 493A806F0F8AEB8B Time : 0.0 sec. user=mdettweiler [2015-10-16 07:00:18] 851*2^1412270-1 is not prime. Res64: 0C3EA7BA84ABCBE3 Time : 0.0 sec. user=mdettweiler [2015-10-16 07:00:19] 651*2^1412271-1 is not prime. Res64: D65E061A05AF5508 Time : 0.0 sec. user=mdettweiler [2015-10-16 07:00:35] 661*2^1412271-1 is not prime. Res64: BA4321828BD8C6AB Time : 0.0 sec. user=mdettweiler [2015-10-16 07:00:36] 679*2^1412271-1 is not prime. Res64: 6FA8800C98198CBE Time : 0.0 sec. user=mdettweiler [2015-10-16 07:00:39] 691*2^1412271-1 is not prime. Res64: 541AC8679202E057 Time : 0.0 sec. user=mdettweiler [2015-10-16 07:00:41] 703*2^1412271-1 is not prime. Res64: 940F6F71BBEEE236 Time : 0.0 sec. user=mdettweiler [2015-10-16 07:05:00] 705*2^1412271-1 is not prime. Res64: 21570B4610B019BE Time : 0.0 sec. user=mdettweiler [2015-10-16 07:05:02] 723*2^1412271-1 is not prime. Res64: 8E9F19E3172963E5 Time : 0.0 sec. user=mdettweiler [2015-10-16 07:18:12] 751*2^1412271-1 is not prime. Res64: C44A85890B689B9C Time : 0.0 sec. user=mdettweiler [2015-10-16 07:18:13] 639*2^1412272-1 is not prime. Res64: E3D4623334947143 Time : 0.0 sec. user=mdettweiler [2015-10-16 07:18:27] 827*2^1412272-1 is not prime. Res64: 4BF7CFD81037C170 Time : 0.0 sec. user=mdettweiler [2015-10-16 07:18:28] 947*2^1412272-1 is not prime. Res64: 21FCA4BAE9210B9D Time : 0.0 sec. user=mdettweiler [2015-10-16 07:18:34] 669*2^1412273-1 is not prime. Res64: 2DE854A5951C972A Time : 0.0 sec. user=mdettweiler [2015-10-16 07:18:35] 715*2^1412273-1 is not prime. Res64: CD1BFA7C17C50A89 Time : 0.0 sec. user=mdettweiler [2015-10-16 07:22:52] 721*2^1412273-1 is not prime. Res64: 49BEFDBB404A5B2A Time : 0.0 sec. user=mdettweiler [2015-10-16 07:22:54] 775*2^1412273-1 is not prime. Res64: BCAA26F3A744879F Time : 0.0 sec. user=mdettweiler [2015-10-16 07:36:01] 889*2^1412273-1 is not prime. Res64: E33B62C276677B98 Time : 0.0 sec. user=mdettweiler [2015-10-16 07:36:02] 937*2^1412273-1 is not prime. Res64: 0C126057663FC3C7 Time : 0.0 sec. user=mdettweiler [2015-10-16 07:36:08] 967*2^1412273-1 is not prime. Res64: C22E4559F344392A Time : 0.0 sec. user=mdettweiler [2015-10-16 07:36:08] 987*2^1412273-1 is not prime. Res64: 9CD8C1795F724269 Time : 0.0 sec. user=mdettweiler [2015-10-16 07:36:21] 991*2^1412273-1 is not prime. Res64: 09B65150A147E8EF Time : 0.0 sec. user=mdettweiler [2015-10-16 07:36:21] 641*2^1412274-1 is not prime. Res64: B81516C914D1C2DB Time : 0.0 sec. user=mdettweiler [2015-10-16 07:40:43] 681*2^1412274-1 is not prime. Res64: 3937A25FFA2EB886 Time : 0.0 sec. user=mdettweiler [2015-10-16 07:40:44] 711*2^1412274-1 is not prime. Res64: DEFC89B21AE9A40D Time : 0.0 sec. user=mdettweiler [2015-10-16 07:53:53] 717*2^1412274-1 is not prime. Res64: AF359C4F255034B8 Time : 0.0 sec. user=mdettweiler [2015-10-16 07:53:54] 723*2^1412274-1 is not prime. Res64: 60852BF8F1334573 Time : 0.0 sec. user=mdettweiler [2015-10-16 07:53:55] 765*2^1412274-1 is not prime. Res64: A1DCDC0EF5ECEA4F Time : 0.0 sec. user=mdettweiler [2015-10-16 07:53:55] 783*2^1412274-1 is not prime. Res64: D035A1DA390857D2 Time : 0.0 sec. user=mdettweiler [2015-10-16 07:54:17] 797*2^1412274-1 is not prime. Res64: C4113976A1C49731 Time : 0.0 sec. user=mdettweiler [2015-10-16 07:54:18] 807*2^1412274-1 is not prime. Res64: 1484207A944B7860 Time : 0.0 sec. user=mdettweiler [2015-10-16 07:58:32] 947*2^1412274-1 is not prime. Res64: 6CE917C9AB38C11D Time : 0.0 sec. user=mdettweiler [2015-10-16 07:58:32] 993*2^1412274-1 is not prime. Res64: EB3EE3E08AADD300 Time : 0.0 sec. user=mdettweiler [2015-10-16 08:11:48] 625*2^1412275-1 is not prime. Res64: C1998B9CB5D82FD9 Time : 0.0 sec. user=mdettweiler [2015-10-16 08:11:48] 673*2^1412275-1 is not prime. Res64: EFE6520B06716B21 Time : 0.0 sec. user=mdettweiler [2015-10-16 08:11:52] 685*2^1412275-1 is not prime. Res64: EA16EEB0F94A260D Time : 0.0 sec. user=mdettweiler [2015-10-16 08:11:53] 693*2^1412275-1 is not prime. Res64: 9B2CE6A0D7ECB3B8 Time : 0.0 sec. user=mdettweiler [2015-10-16 08:12:11] 699*2^1412275-1 is not prime. Res64: 5CBB6842FD6C2F27 Time : 0.0 sec. user=mdettweiler [2015-10-16 08:12:12] 715*2^1412275-1 is not prime. Res64: 9AA2882D68F4A787 Time : 0.0 sec. user=mdettweiler [2015-10-16 08:16:18] 859*2^1412275-1 is not prime. Res64: 449B2F2E6CA2648A Time : 0.0 sec. user=mdettweiler [2015-10-16 08:16:19] 693*2^1412276-1 is not prime. Res64: 5BADB767C4A13A5C Time : 0.0 sec. user=mdettweiler [2015-10-16 08:29:36] 785*2^1412276-1 is not prime. Res64: 21BCB13F51A0FE35 Time : 0.0 sec. user=mdettweiler [2015-10-16 08:29:37] 825*2^1412276-1 is not prime. Res64: B2927BB94245119E Time : 0.0 sec. user=mdettweiler [2015-10-16 08:29:42] 845*2^1412276-1 is not prime. Res64: 480204E33DC078BE Time : 0.0 sec. user=mdettweiler [2015-10-16 08:29:42] 903*2^1412276-1 is not prime. Res64: F2F981A83A683585 Time : 0.0 sec. user=mdettweiler [2015-10-16 08:29:58] 927*2^1412276-1 is not prime. Res64: D335B44E31F39C01 Time : 0.0 sec. user=mdettweiler [2015-10-16 08:29:59] 957*2^1412276-1 is not prime. Res64: F5B92FDDAEE814BF Time : 0.0 sec. user=mdettweiler [2015-10-16 08:34:01] 685*2^1412277-1 is not prime. Res64: 1E856661EE8F5115 Time : 0.0 sec. user=mdettweiler [2015-10-16 08:34:02] 835*2^1412277-1 is not prime. Res64: 71A8656DFAE42468 Time : 0.0 sec. user=mdettweiler [2015-10-16 08:47:38] 621*2^1412278-1 is not prime. Res64: FCF1FFFC0285E0D0 Time : 0.0 sec. user=mdettweiler [2015-10-16 08:47:38] 687*2^1412278-1 is not prime. Res64: F9FF927300D5304A Time : 0.0 sec. user=mdettweiler [2015-10-16 08:47:45] 713*2^1412278-1 is not prime. Res64: BD23A8473DC40B20 Time : 0.0 sec. user=mdettweiler [2015-10-16 08:47:46] 747*2^1412278-1 is not prime. Res64: 1C8308AB5EBF71CB Time : 0.0 sec. user=mdettweiler [2015-10-16 08:47:55] 773*2^1412278-1 is not prime. Res64: 9D3C68F4ED08C49F Time : 0.0 sec. user=mdettweiler [2015-10-16 08:47:56] 813*2^1412278-1 is not prime. Res64: C6EAF7CDD790D8B6 Time : 0.0 sec. user=mdettweiler [2015-10-16 08:51:50] 845*2^1412278-1 is not prime. Res64: 19794A645867EAC5 Time : 0.0 sec. user=mdettweiler [2015-10-16 08:51:51] 867*2^1412278-1 is not prime. Res64: EA9093F29B92B68B Time : 0.0 sec. user=mdettweiler [2015-10-16 09:05:28] 943*2^1412279-1 is not prime. Res64: F9E08855DF5BC86B Time : 0.0 sec. user=mdettweiler [2015-10-16 09:05:29] 693*2^1412280-1 is not prime. Res64: 2604CC8108FFBA74 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:05:31] 971*2^1412278-1 is not prime. Res64: 560457BC5F6F9ACF Time : 0.0 sec. user=mdettweiler [2015-10-16 09:05:33] 859*2^1412279-1 is not prime. Res64: E26811F91C7FAC1D Time : 0.0 sec. user=mdettweiler [2015-10-16 09:05:43] 825*2^1412280-1 is not prime. Res64: EF8788B99F65AFF2 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:05:47] 639*2^1412281-1 is not prime. Res64: B225E8064923DA58 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:09:46] 645*2^1412281-1 is not prime. Res64: F97CE7D86408E5E0 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:09:46] 687*2^1412281-1 is not prime. Res64: 471FE6A3F02780E3 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:23:29] 931*2^1412281-1 is not prime. Res64: 31D29DE11317D020 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:23:30] 951*2^1412281-1 is not prime. Res64: 1275F4BBA4B49DCD Time : 0.0 sec. user=mdettweiler [2015-10-16 09:23:33] 877*2^1412281-1 is not prime. Res64: 4C4281B006281DF3 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:23:34] 925*2^1412281-1 is not prime. Res64: 788383EA38453FCE Time : 0.0 sec. user=mdettweiler [2015-10-16 09:23:42] 955*2^1412281-1 is not prime. Res64: 51DFD21B9E4D94D4 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:23:43] 623*2^1412282-1 is not prime. Res64: 66791EA7AD4D39F8 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:27:59] 675*2^1412282-1 is not prime. Res64: 72F202F3B72ADD01 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:28:00] 711*2^1412282-1 is not prime. Res64: E28FCD6170AEBA40 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:41:53] 735*2^1412282-1 is not prime. Res64: 9C029F51E36B40D1 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:41:53] 963*2^1412282-1 is not prime. Res64: 2E19EB85426581E1 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:41:59] 699*2^1412283-1 is not prime. Res64: F83E9AC9FA300633 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:42:00] 709*2^1412283-1 is not prime. Res64: 20099FF52F56FF88 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:42:01] 619*2^1412283-1 is not prime. Res64: DD1EB8F196968469 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:42:02] 669*2^1412283-1 is not prime. Res64: B47C5D6C4298D5E4 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:45:58] 765*2^1412283-1 is not prime. Res64: DB1102AAB0282BA9 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:45:58] 835*2^1412283-1 is not prime. Res64: D3F486F35EFA4AF6 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:59:37] 853*2^1412283-1 is not prime. Res64: 4A0BCC50C8B84DC7 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:59:38] 901*2^1412283-1 is not prime. Res64: D2734DDA63315EEB Time : 0.0 sec. user=mdettweiler [2015-10-16 09:59:44] 961*2^1412283-1 is not prime. Res64: 946FABD8E54E3239 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:59:45] 963*2^1412283-1 is not prime. Res64: 651A2EE3AD05B65E Time : 0.0 sec. user=mdettweiler [2015-10-16 09:59:48] 615*2^1412284-1 is not prime. Res64: 0A7660BF5E682838 Time : 0.0 sec. user=mdettweiler [2015-10-16 09:59:49] 699*2^1412284-1 is not prime. Res64: 32CCFBC2B8C7D994 Time : 0.0 sec. user=mdettweiler [2015-10-16 10:03:39] 855*2^1412284-1 is not prime. Res64: AC41B5ECC7420B26 Time : 0.0 sec. user=mdettweiler [2015-10-16 10:03:41] 959*2^1412284-1 is not prime. Res64: 69556D8EB87A0D12 Time : 0.0 sec. user=mdettweiler [2015-10-16 10:17:23] 691*2^1412285-1 is not prime. Res64: EC9E0864EE7701CC Time : 0.0 sec. user=mdettweiler [2015-10-16 10:17:23] 757*2^1412285-1 is not prime. Res64: 2D4A3D9045CE5BC3 Time : 0.0 sec. user=mdettweiler [2015-10-16 10:17:30] 771*2^1412285-1 is not prime. Res64: 2B92648A1C8E2F0C Time : 0.0 sec. user=mdettweiler [2015-10-16 10:17:30] 775*2^1412285-1 is not prime. Res64: 95406A0FF7005AAC Time : 0.0 sec. user=mdettweiler [2015-10-16 10:17:36] 871*2^1412285-1 is not prime. Res64: 712EB698B971B536 Time : 0.0 sec. user=mdettweiler [2015-10-16 10:17:37] 939*2^1412285-1 is not prime. Res64: 3F14FD840CBC8313 Time : 0.0 sec. user=mdettweiler [2015-10-16 10:21:35] 985*2^1412285-1 is not prime. Res64: EC33B5C5DD705878 Time : 0.0 sec. user=mdettweiler [2015-10-16 10:21:36] 707*2^1412286-1 is not prime. Res64: 60AFF8424DA324E1 Time : 0.0 sec. user=mdettweiler [2015-10-16 10:35:20] 783*2^1412286-1 is not prime. Res64: FA32641C7EFEF660 Time : 0.0 sec. user=mdettweiler [2015-10-16 10:35:21] 971*2^1412286-1 is not prime. Res64: 4C9B7CC9795E0D2B Time : 0.0 sec. user=mdettweiler [2015-10-16 10:35:24] 723*2^1412286-1 is not prime. Res64: 413A95DD2F4483A4 Time : 0.0 sec. user=mdettweiler [2015-10-16 10:35:24] 747*2^1412286-1 is not prime. Res64: 41D417E9F6575331 Time : 0.0 sec. user=mdettweiler [2015-10-16 10:35:31] 673*2^1412287-1 is not prime. Res64: 1F1F117F0065EAA2 Time : 0.0 sec. user=mdettweiler [2015-10-16 10:35:32] 681*2^1412287-1 is not prime. Res64: 1756A9E9E75C0E9B Time : 0.0 sec. user=mdettweiler [2015-10-16 10:39:28] 765*2^1412287-1 is not prime. Res64: 16B97F346CF7C6AC Time : 0.0 sec. user=mdettweiler [2015-10-16 10:39:28] 861*2^1412287-1 is not prime. Res64: C9925A611DF9AB52 Time : 0.0 sec. user=mdettweiler [2015-10-16 10:53:06] 933*2^1412287-1 is not prime. Res64: 7604AF45CFC444AB Time : 0.0 sec. user=mdettweiler [2015-10-16 10:53:06] 633*2^1412288-1 is not prime. Res64: 17A41A55367244EE Time : 0.0 sec. user=mdettweiler [2015-10-16 10:53:15] 645*2^1412288-1 is not prime. Res64: BFE58DE5D8D3A13E Time : 0.0 sec. user=mdettweiler [2015-10-16 10:53:15] 735*2^1412288-1 is not prime. Res64: E5B18A6448994570 Time : 0.0 sec. user=mdettweiler [2015-10-16 10:53:17] 797*2^1412288-1 is not prime. Res64: CB8BD376E7FD45EF Time : 0.0 sec. user=mdettweiler [2015-10-16 10:53:18] 879*2^1412288-1 is not prime. Res64: 9FF1F467B1BC7AC1 Time : 0.0 sec. user=mdettweiler [2015-10-16 10:57:12] 637*2^1412289-1 is not prime. Res64: CF1AD47AA3B5A7D4 Time : 0.0 sec. user=mdettweiler [2015-10-16 10:57:15] 667*2^1412289-1 is not prime. Res64: B4609F824EE137B5 Time : 0.0 sec. user=mdettweiler [2015-10-16 11:10:50] 789*2^1412289-1 is not prime. Res64: F5D67ADAD53C94EF Time : 0.0 sec. user=mdettweiler [2015-10-16 11:10:50] 817*2^1412289-1 is not prime. Res64: 201086E7CAF3EC8B Time : 0.0 sec. user=mdettweiler [2015-10-16 11:11:09] 847*2^1412289-1 is not prime. Res64: 1011514F91B138D1 Time : 0.0 sec. user=mdettweiler [2015-10-16 11:11:10] 889*2^1412289-1 is not prime. Res64: 330FD5CD88516CA3 Time : 0.0 sec. user=mdettweiler [2015-10-16 11:11:12] 829*2^1412289-1 is not prime. Res64: 58B66A778D222076 Time : 0.0 sec. user=mdettweiler [2015-10-16 11:11:13] 837*2^1412289-1 is not prime. Res64: 9E6587EB3397A92D Time : 0.0 sec. user=mdettweiler [2015-10-16 11:15:10] 909*2^1412289-1 is not prime. Res64: 1DE2B955F45304E7 Time : 0.0 sec. user=mdettweiler [2015-10-16 11:15:11] 919*2^1412289-1 is not prime. Res64: 7B56C289C162F873 Time : 0.0 sec. user=mdettweiler [2015-10-16 11:28:38] 999*2^1412289-1 is not prime. Res64: 975E3D92DA471FBB Time : 0.0 sec. user=mdettweiler [2015-10-16 11:28:39] 603*2^1412290-1 is not prime. Res64: A2D6E285122A4612 Time : 0.0 sec. user=mdettweiler [2015-10-16 11:28:50] 605*2^1412290-1 is not prime. Res64: B2E4753E2DB2AC64 Time : 0.0 sec. user=mdettweiler [2015-10-16 11:28:51] 741*2^1412290-1 is not prime. Res64: FD17F0BB1E9836BE Time : 0.0 sec. user=mdettweiler [2015-10-16 11:28:57] 765*2^1412290-1 is not prime. Res64: 902053835505B56A Time : 0.0 sec. user=mdettweiler [2015-10-16 11:28:58] 785*2^1412290-1 is not prime. Res64: 3BCAE9EED4BE8208 Time : 0.0 sec. user=mdettweiler [2015-10-16 11:33:03] 827*2^1412290-1 is not prime. Res64: 6F51F185A135EEEC Time : 0.0 sec. user=mdettweiler [2015-10-16 11:33:03] 831*2^1412290-1 is not prime. Res64: 8BCD273DD631B6AB Time : 0.0 sec. user=mdettweiler [2015-10-16 11:46:27] 601*2^1412291-1 is not prime. Res64: 636970973E92FA89 Time : 0.0 sec. user=mdettweiler [2015-10-16 11:46:28] 609*2^1412291-1 is not prime. Res64: 452B58E4FA203AD3 Time : 0.0 sec. user=mdettweiler [2015-10-16 11:46:37] 631*2^1412291-1 is not prime. Res64: D78627F52533202D Time : 0.0 sec. user=mdettweiler [2015-10-16 11:46:38] 825*2^1412291-1 is not prime. Res64: FC6856F3A30D30CC Time : 0.0 sec. user=mdettweiler [2015-10-16 11:46:46] 913*2^1412291-1 is not prime. Res64: 335DC762CAF6A0C0 Time : 0.0 sec. user=mdettweiler [2015-10-16 11:46:47] 939*2^1412291-1 is not prime. Res64: BCD08F04D24FEE22 Time : 0.0 sec. user=mdettweiler [2015-10-16 11:50:52] 949*2^1412291-1 is not prime. Res64: 60ECDAB6E63A5B99 Time : 0.0 sec. user=mdettweiler [2015-10-16 11:50:52] 647*2^1412292-1 is not prime. Res64: 2C8266925D126B90 Time : 0.0 sec. user=mdettweiler [2015-10-16 12:04:13] 873*2^1412292-1 is not prime. Res64: 7C54CCB7CA965976 Time : 0.0 sec. user=mdettweiler [2015-10-16 12:04:15] 923*2^1412292-1 is not prime. Res64: 951644DDE4EB78D9 Time : 0.0 sec. user=mdettweiler [2015-10-16 12:04:24] 977*2^1412292-1 is not prime. Res64: 7A4A76DF01436E9F Time : 0.0 sec. user=mdettweiler [2015-10-16 12:04:25] 675*2^1412293-1 is not prime. Res64: 4A043110E8988A56 Time : 0.0 sec. user=mdettweiler [2015-10-16 12:04:35] 751*2^1412293-1 is not prime. Res64: 61626F9C61D69BBA Time : 0.0 sec. user=mdettweiler [2015-10-16 12:04:36] 859*2^1412293-1 is not prime. Res64: 7FB8BA8CCD976415 Time : 0.0 sec. user=mdettweiler [2015-10-16 12:08:40] 897*2^1412293-1 is not prime. Res64: E6D2F390814934B4 Time : 0.0 sec. user=mdettweiler [2015-10-16 12:08:40] 915*2^1412293-1 is not prime. Res64: A88E5AB6418A564C Time : 0.0 sec. user=mdettweiler [2015-10-16 12:22:01] 919*2^1412293-1 is not prime. Res64: CD8BA2A7D35E001D Time : 0.0 sec. user=mdettweiler [2015-10-16 12:22:02] 675*2^1412294-1 is not prime. Res64: 09DF677966421252 Time : 0.0 sec. user=mdettweiler [2015-10-16 12:22:19] 827*2^1412294-1 is not prime. Res64: CE61C9C0FC890488 Time : 0.0 sec. user=mdettweiler [2015-10-16 12:22:19] 915*2^1412294-1 is not prime. Res64: 7AEE2B80DF14DA33 Time : 0.0 sec. user=mdettweiler [2015-10-16 12:22:25] 923*2^1412294-1 is not prime. Res64: DB549CCF26B7FFE5 Time : 0.0 sec. user=mdettweiler [2015-10-16 12:22:26] 971*2^1412294-1 is not prime. Res64: 6D6725DB5F4BA3B1 Time : 0.0 sec. user=mdettweiler [2015-10-16 12:26:32] 705*2^1412295-1 is not prime. Res64: 0CFC0E6EB42C2BAF Time : 0.0 sec. user=mdettweiler [2015-10-16 12:26:33] 891*2^1412295-1 is not prime. Res64: 5CA3D1C43F2FC14C Time : 0.0 sec. user=mdettweiler [2015-10-16 12:39:54] 895*2^1412295-1 is not prime. Res64: 258F0D641006642A Time : 0.0 sec. user=mdettweiler [2015-10-16 12:39:55] 933*2^1412295-1 is not prime. Res64: 6088AC52E7933972 Time : 0.0 sec. user=mdettweiler [2015-10-16 12:40:06] 963*2^1412295-1 is not prime. Res64: 9A8EB7AC09A179D4 Time : 0.0 sec. user=mdettweiler [2015-10-16 12:40:06] 979*2^1412295-1 is not prime. Res64: 4E9D9084025AC096 Time : 0.0 sec. user=mdettweiler [2015-10-16 12:40:09] 923*2^1412296-1 is not prime. Res64: F8CD7932E4411229 Time : 0.0 sec. user=mdettweiler [2015-10-16 12:40:10] 649*2^1412297-1 is not prime. Res64: E60F9C490ED0701B Time : 0.0 sec. user=mdettweiler [2015-10-16 12:44:25] 717*2^1412297-1 is not prime. Res64: 83A59A87A1577526 Time : 0.0 sec. user=mdettweiler [2015-10-16 12:44:25] 747*2^1412297-1 is not prime. Res64: E47DA57A633523AE Time : 0.0 sec. user=mdettweiler [2015-10-16 12:57:41] 771*2^1412297-1 is not prime. Res64: BCFF6AAA22C2D26C Time : 0.0 sec. user=mdettweiler [2015-10-16 12:57:41] 795*2^1412297-1 is not prime. Res64: 20C2D53561BC597C Time : 0.0 sec. user=mdettweiler [2015-10-16 12:57:50] 847*2^1412297-1 is not prime. Res64: 8983EA794FC98BDF Time : 0.0 sec. user=mdettweiler [2015-10-16 12:57:51] 615*2^1412298-1 is not prime. Res64: E566FCB424126090 Time : 0.0 sec. user=mdettweiler [2015-10-16 12:57:53] 627*2^1412298-1 is not prime. Res64: 4347F393A32CC6C6 Time : 0.0 sec. user=mdettweiler [2015-10-16 12:57:53] 641*2^1412298-1 is not prime. Res64: FB5AF2153709328F Time : 0.0 sec. user=mdettweiler [2015-10-16 13:02:12] 651*2^1412298-1 is not prime. Res64: AF8E74E54B7A5559 Time : 0.0 sec. user=mdettweiler [2015-10-16 13:02:13] 735*2^1412298-1 is not prime. Res64: 2AF06F23FCDE4114 Time : 0.0 sec. user=mdettweiler [2015-10-16 13:15:30] 797*2^1412298-1 is not prime. Res64: 48513ADBB18FCFCB Time : 0.0 sec. user=mdettweiler [2015-10-16 13:15:30] 821*2^1412298-1 is not prime. Res64: C8D5D2EE247DA10D Time : 0.0 sec. user=mdettweiler [2015-10-16 13:15:34] 747*2^1412298-1 is not prime. Res64: 784E44A885DDBC7A Time : 0.0 sec. user=mdettweiler [2015-10-16 13:15:34] 791*2^1412298-1 is not prime. Res64: 9ABABF35A290FBB4 Time : 0.0 sec. user=mdettweiler [2015-10-16 13:15:41] 843*2^1412298-1 is not prime. Res64: 19977D7E16560C7A Time : 0.0 sec. user=mdettweiler [2015-10-16 13:15:42] 915*2^1412298-1 is not prime. Res64: BBB232224245BF35 Time : 0.0 sec. user=mdettweiler [2015-10-16 13:20:01] 923*2^1412298-1 is not prime. Res64: EA64F73FA42E2052 Time : 0.0 sec. user=mdettweiler [2015-10-16 13:20:02] 957*2^1412298-1 is not prime. Res64: 2E8259BE9920A7FA Time : 0.0 sec. user=mdettweiler [2015-10-16 13:33:45] 609*2^1412299-1 is not prime. Res64: F90DD1E437652BF1 Time : 0.0 sec. user=mdettweiler [2015-10-16 13:33:45] 639*2^1412299-1 is not prime. Res64: 3E67AAC96D98C409 Time : 0.0 sec. user=mdettweiler [2015-10-16 13:33:53] 811*2^1412299-1 is not prime. Res64: 8643BA4CE87F77E7 Time : 0.0 sec. user=mdettweiler [2015-10-16 13:33:53] 813*2^1412299-1 is not prime. Res64: FF0549A26903B868 Time : 0.0 sec. user=mdettweiler [2015-10-16 13:34:08] 793*2^1412299-1 is not prime. Res64: B2A96864E8D60F02 Time : 0.0 sec. user=mdettweiler [2015-10-16 13:34:08] 801*2^1412299-1 is not prime. Res64: E8395872A227F28A Time : 0.0 sec. user=mdettweiler [2015-10-16 13:38:57] 861*2^1412299-1 is not prime. Res64: FF448E6C50D8C32A Time : 0.0 sec. user=mdettweiler [2015-10-16 13:38:57] 931*2^1412299-1 is not prime. Res64: AD0A270292006D23 Time : 0.0 sec. user=mdettweiler [2015-10-16 13:54:08] 939*2^1412299-1 is not prime. Res64: 4B017A063AABA106 Time : 0.0 sec. user=mdettweiler [2015-10-16 13:54:08] 973*2^1412299-1 is not prime. Res64: 361FA2FB3E20822E Time : 0.0 sec. user=mdettweiler [2015-10-16 13:54:16] 629*2^1412300-1 is not prime. Res64: 016D1CB5FC679009 Time : 0.0 sec. user=mdettweiler [2015-10-16 13:54:16] 647*2^1412300-1 is not prime. Res64: 45A2BF83D2366FC2 Time : 0.0 sec. user=mdettweiler [2015-10-16 13:54:45] 759*2^1412300-1 is not prime. Res64: 0649690F790F1CAB Time : 0.0 sec. user=mdettweiler [2015-10-16 13:54:45] 797*2^1412300-1 is not prime. Res64: 24AADFDEE678F061 Time : 0.0 sec. user=mdettweiler [2015-10-16 14:00:01] 833*2^1412300-1 is not prime. Res64: 37F181A81FB24521 Time : 0.0 sec. user=mdettweiler [2015-10-16 14:00:01] 909*2^1412300-1 is not prime. Res64: B6DF349CF6653087 Time : 0.0 sec. user=mdettweiler [2015-10-16 14:15:57] 963*2^1412300-1 is not prime. Res64: 70A79518CBB02C66 Time : 0.0 sec. user=mdettweiler [2015-10-16 14:15:58] 607*2^1412301-1 is not prime. Res64: 9590187EB6B07CB0 Time : 0.0 sec. user=mdettweiler [2015-10-16 14:16:01] 745*2^1412301-1 is not prime. Res64: C79D26DC5E37C256 Time : 0.0 sec. user=mdettweiler [2015-10-16 14:16:02] 861*2^1412301-1 is not prime. Res64: 0AAC7C5DF589AF51 Time : 0.0 sec. user=mdettweiler [2015-10-16 14:16:31] 951*2^1412301-1 is not prime. Res64: BEC552B0FF87E489 Time : 0.0 sec. user=mdettweiler [2015-10-16 14:16:32] 731*2^1412302-1 is not prime. Res64: 86A04859BF3A5B6E Time : 0.0 sec. user=mdettweiler [2015-10-16 14:24:17] 821*2^1412302-1 is not prime. Res64: 3B67739996957B2A Time : 0.0 sec. user=mdettweiler [2015-10-16 14:24:17] 831*2^1412302-1 is not prime. Res64: 2324AF7C2990980F Time : 0.0 sec. user=mdettweiler [2015-10-16 14:43:35] 887*2^1412302-1 is not prime. Res64: 37D9E192886170B4 Time : 0.0 sec. user=mdettweiler [2015-10-16 14:43:35] 693*2^1412303-1 is not prime. Res64: E339EC4F7C4A6495 Time : 0.0 sec. user=mdettweiler [2015-10-16 14:43:52] 729*2^1412303-1 is not prime. Res64: C58EC0EFA33430B1 Time : 0.0 sec. user=mdettweiler [2015-10-16 14:43:52] 871*2^1412303-1 is not prime. Res64: 70006B90900F0377 Time : 0.0 sec. user=mdettweiler [2015-10-16 14:44:28] 993*2^1412303-1 is not prime. Res64: 5E75626AD375FD76 Time : 0.0 sec. user=mdettweiler [2015-10-16 14:44:28] 999*2^1412303-1 is not prime. Res64: DE2B22F9030C53A1 Time : 0.0 sec. user=mdettweiler [2015-10-16 14:51:29] 947*2^1412304-1 is not prime. Res64: 0124D08A952B196C Time : 0.0 sec. user=mdettweiler [2015-10-16 14:51:29] 625*2^1412305-1 is not prime. Res64: B2359A617CB34193 Time : 0.0 sec. user=mdettweiler [2015-10-16 15:10:30] 799*2^1412305-1 is not prime. Res64: E08DD074B6C35403 Time : 0.0 sec. user=mdettweiler [2015-10-16 15:10:31] 635*2^1412306-1 is not prime. Res64: 8C97F9C480D68F9C Time : 0.0 sec. user=mdettweiler [2015-10-16 15:10:41] 773*2^1412306-1 is not prime. Res64: BE29D6BE1E2C4F71 Time : 0.0 sec. user=mdettweiler [2015-10-16 15:10:41] 833*2^1412306-1 is not prime. Res64: 623A2B9CD2BF60E8 Time : 0.0 sec. user=mdettweiler [2015-10-16 15:11:10] 887*2^1412306-1 is not prime. Res64: 4824790EF219D0F9 Time : 0.0 sec. user=mdettweiler [2015-10-16 15:11:11] 993*2^1412306-1 is not prime. Res64: E37DE39F0A611753 Time : 0.0 sec. user=mdettweiler [2015-10-16 15:16:47] 735*2^1412307-1 is not prime. Res64: AD49E6BDF3BFACB2 Time : 0.0 sec. user=mdettweiler [2015-10-16 15:16:48] 751*2^1412307-1 is not prime. Res64: CF2A94882DCF98D4 Time : 0.0 sec. user=mdettweiler [2015-10-16 15:29:19] 901*2^1412307-1 is not prime. Res64: FB1A4EB0D9D41517 Time : 0.0 sec. user=mdettweiler [2015-10-16 15:29:19] 951*2^1412307-1 is not prime. Res64: A1DEBED098BCAE48 Time : 0.0 sec. user=mdettweiler [2015-10-16 15:29:28] 765*2^1412307-1 is not prime. Res64: F251D3FE406352C9 Time : 0.0 sec. user=mdettweiler [2015-10-16 15:29:28] 859*2^1412307-1 is not prime. Res64: DB780398C45516D7 Time : 0.0 sec. user=mdettweiler [2015-10-16 15:29:55] 615*2^1412308-1 is not prime. Res64: 310BDCC64C53C4A4 Time : 0.0 sec. user=mdettweiler [2015-10-16 15:29:55] 689*2^1412308-1 is not prime. Res64: 759AE924B22DDB31 Time : 0.0 sec. user=mdettweiler [2015-10-16 15:34:52] 705*2^1412308-1 is not prime. Res64: 019EE3E022CFD124 Time : 0.0 sec. user=mdettweiler [2015-10-16 15:34:53] 749*2^1412308-1 is not prime. Res64: 6987675D1FD8DBDB Time : 0.0 sec. user=mdettweiler [2015-10-16 15:48:52] 773*2^1412308-1 is not prime. Res64: 652304F4A06F95A7 Time : 0.0 sec. user=mdettweiler [2015-10-16 15:48:53] 825*2^1412308-1 is not prime. Res64: 9FF592ACCDCAD9BD Time : 0.0 sec. user=mdettweiler [2015-10-16 15:49:00] 855*2^1412308-1 is not prime. Res64: BCA519BB3CDA105D Time : 0.0 sec. user=mdettweiler [2015-10-16 15:49:00] 887*2^1412308-1 is not prime. Res64: 81AD62CAA87B1193 Time : 0.0 sec. user=mdettweiler [2015-10-16 15:49:32] 929*2^1412308-1 is not prime. Res64: B0CC6167677625CB Time : 0.0 sec. user=mdettweiler [2015-10-16 15:49:32] 645*2^1412309-1 is not prime. Res64: F7695226BED40D08 Time : 0.0 sec. user=mdettweiler [2015-10-16 15:54:25] 855*2^1412309-1 is not prime. Res64: B232762B18CD6A9F Time : 0.0 sec. user=mdettweiler [2015-10-16 15:54:26] 969*2^1412309-1 is not prime. Res64: C78870A61D000D8B Time : 0.0 sec. user=mdettweiler [2015-10-16 16:07:31] 611*2^1412310-1 is not prime. Res64: 9AC6EB4BE53ACE44 Time : 0.0 sec. user=mdettweiler [2015-10-16 16:07:31] 755*2^1412310-1 is not prime. Res64: 548302D5524A441F Time : 0.0 sec. user=mdettweiler [2015-10-16 16:07:38] 773*2^1412310-1 is not prime. Res64: 272692D263870F2C Time : 0.0 sec. user=mdettweiler [2015-10-16 16:07:39] 933*2^1412310-1 is not prime. Res64: 1E7EC52ADB2128BE Time : 0.0 sec. user=mdettweiler [2015-10-16 16:08:20] 603*2^1412311-1 is not prime. Res64: 36832BAA10B0FB0D Time : 0.0 sec. user=mdettweiler [2015-10-16 16:08:21] 709*2^1412311-1 is not prime. Res64: 74C132B7AB870AD1 Time : 0.0 sec. user=mdettweiler [2015-10-16 16:13:04] 763*2^1412311-1 is not prime. Res64: D55806F8132E1AA7 Time : 0.0 sec. user=mdettweiler [2015-10-16 16:13:05] 771*2^1412311-1 is not prime. Res64: 86E4D1FD8A23C257 Time : 0.0 sec. user=mdettweiler [2015-10-16 16:25:52] 895*2^1412311-1 is not prime. Res64: D2050FB711169B23 Time : 0.0 sec. user=mdettweiler [2015-10-16 16:25:52] 603*2^1412312-1 is not prime. Res64: 7D44129FA0EB4002 Time : 0.0 sec. user=mdettweiler [2015-10-16 16:26:00] 669*2^1412312-1 is not prime. Res64: 19AAD39874CCFBF4 Time : 0.0 sec. user=mdettweiler [2015-10-16 16:26:00] 735*2^1412312-1 is not prime. Res64: 692512FFCFB91B7C Time : 0.0 sec. user=mdettweiler [2015-10-16 16:26:36] 743*2^1412312-1 is not prime. Res64: 860C10CECA57910C Time : 0.0 sec. user=mdettweiler [2015-10-16 16:26:36] 755*2^1412312-1 is not prime. Res64: AF6760F530D74972 Time : 0.0 sec. user=mdettweiler [2015-10-16 16:30:58] 797*2^1412312-1 is not prime. Res64: 82ADD6DBC03328FA Time : 0.0 sec. user=mdettweiler [2015-10-16 16:30:59] 827*2^1412312-1 is not prime. Res64: 314C32FE5AB5A3A1 Time : 0.0 sec. user=mdettweiler [2015-10-16 16:43:45] 669*2^1412313-1 is not prime. Res64: AFEA4AF0DEE94AE8 Time : 0.0 sec. user=mdettweiler [2015-10-16 16:43:46] 781*2^1412313-1 is not prime. Res64: AC9AEFF04E6D52CE Time : 0.0 sec. user=mdettweiler [2015-10-16 16:43:51] 819*2^1412313-1 is not prime. Res64: 110EE15D043994C6 Time : 0.0 sec. user=mdettweiler [2015-10-16 16:43:52] 837*2^1412313-1 is not prime. Res64: CA870B90FE49E0EF Time : 0.0 sec. user=mdettweiler [2015-10-16 16:44:26] 889*2^1412313-1 is not prime. Res64: 00156BED90B9927B Time : 0.0 sec. user=mdettweiler [2015-10-16 16:44:26] 621*2^1412314-1 is not prime. Res64: 73AC3FB2E8A2C5A9 Time : 0.0 sec. user=mdettweiler [2015-10-16 16:48:48] 723*2^1412314-1 is not prime. Res64: 8D18D2673311E30B Time : 0.0 sec. user=mdettweiler [2015-10-16 16:48:48] 737*2^1412314-1 is not prime. Res64: A1E3244E97DAC372 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:01:36] 945*2^1412314-1 is not prime. Res64: 435E385B7618814E Time : 0.0 sec. user=mdettweiler [2015-10-16 17:01:37] 603*2^1412315-1 is not prime. Res64: B326AD610F9C71B3 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:01:40] 633*2^1412315-1 is not prime. Res64: 1FA20D8F8F9899D4 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:01:42] 669*2^1412315-1 is not prime. Res64: 90F8B209FFE6E0A9 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:02:13] 825*2^1412315-1 is not prime. Res64: 37F420B17AEAC16A Time : 0.0 sec. user=mdettweiler [2015-10-16 17:02:14] 841*2^1412315-1 is not prime. Res64: 80409F58CFBF957B Time : 0.0 sec. user=mdettweiler [2015-10-16 17:06:35] 883*2^1412315-1 is not prime. Res64: 03DB68BFC4CC92E2 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:06:35] 885*2^1412315-1 is not prime. Res64: F8D1AF96BC171008 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:19:29] 915*2^1412315-1 is not prime. Res64: 11B8869E39E7531A Time : 0.0 sec. user=mdettweiler [2015-10-16 17:19:30] 765*2^1412316-1 is not prime. Res64: 95B09A27F59CBF11 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:19:31] 773*2^1412316-1 is not prime. Res64: 8B5C13050EC50A14 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:19:32] 759*2^1412316-1 is not prime. Res64: ED91E7B231A6C370 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:19:57] 779*2^1412316-1 is not prime. Res64: 0B7047999F2A0993 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:19:58] 783*2^1412316-1 is not prime. Res64: 8F830C152638D26B Time : 0.0 sec. user=mdettweiler [2015-10-16 17:24:28] 879*2^1412316-1 is not prime. Res64: 88468B2305F3E271 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:24:29] 903*2^1412316-1 is not prime. Res64: DAF0F315DCF22EA6 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:37:20] 909*2^1412316-1 is not prime. Res64: B67C1DEE1015EC13 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:37:20] 651*2^1412317-1 is not prime. Res64: 6FAA245C334F3387 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:37:20] 625*2^1412317-1 is not prime. Res64: 8D6FB8AFA1AEC3F2 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:37:20] 805*2^1412317-1 is not prime. Res64: E423531687D872D7 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:37:48] 859*2^1412317-1 is not prime. Res64: 2AA6414CAD7A4895 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:37:49] 889*2^1412317-1 is not prime. Res64: 16932DC8ED6D8026 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:42:21] 957*2^1412317-1 is not prime. Res64: 183AD89B986407F5 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:42:22] 663*2^1412318-1 is not prime. Res64: D6999C2F4519B0BA Time : 0.0 sec. user=mdettweiler [2015-10-16 17:55:13] 885*2^1412318-1 is not prime. Res64: 8DEEDF5F66114805 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:55:14] 911*2^1412318-1 is not prime. Res64: 54697FFD33F7020A Time : 0.0 sec. user=mdettweiler [2015-10-16 17:55:24] 813*2^1412318-1 is not prime. Res64: 4DEAE4DCC0FED498 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:55:24] 827*2^1412318-1 is not prime. Res64: 759B45CDA78003DA Time : 0.0 sec. user=mdettweiler [2015-10-16 17:55:40] 923*2^1412318-1 is not prime. Res64: 6EEFB59B63242C83 Time : 0.0 sec. user=mdettweiler [2015-10-16 17:55:40] 951*2^1412318-1 is not prime. Res64: EFE9454E9C196700 Time : 0.0 sec. user=mdettweiler [2015-10-16 18:00:08] 1001*2^1412318-1 is not prime. Res64: 81973D5936AAC974 Time : 0.0 sec. user=mdettweiler [2015-10-16 18:00:08] 609*2^1412319-1 is not prime. Res64: BA1DB00295C14AB2 Time : 0.0 sec. user=mdettweiler [2015-10-16 18:13:05] 703*2^1412319-1 is not prime. Res64: E238CDA4D6FD267D Time : 0.0 sec. user=mdettweiler [2015-10-16 18:13:06] 735*2^1412319-1 is not prime. Res64: 5A88749BE2D5AAE8 Time : 0.0 sec. user=mdettweiler [2015-10-16 18:13:15] 769*2^1412319-1 is not prime. Res64: CE48F2AF79E0A452 Time : 0.0 sec. user=mdettweiler [2015-10-16 18:13:16] 861*2^1412319-1 is not prime. Res64: 10DAE1CC34BF47D7 Time : 0.0 sec. user=mdettweiler [2015-10-16 18:13:33] 895*2^1412319-1 is not prime. Res64: DE1E5EC96BC7C9C0 Time : 0.0 sec. user=mdettweiler [2015-10-16 18:13:34] 909*2^1412319-1 is not prime. Res64: D16F2FFCF40762A1 Time : 0.0 sec. user=mdettweiler [2015-10-16 18:17:56] 999*2^1412319-1 is not prime. Res64: D9BF360B26F5FD2A Time : 0.0 sec. user=mdettweiler [2015-10-16 18:17:57] 653*2^1412320-1 is not prime. Res64: A1715D76AA9532BE Time : 0.0 sec. user=mdettweiler [2015-10-16 18:31:05] 693*2^1412320-1 is not prime. Res64: 3683474994C40AA1 Time : 0.0 sec. user=mdettweiler [2015-10-16 18:31:05] 765*2^1412320-1 is not prime. Res64: F042175413F124D4 Time : 0.0 sec. user=mdettweiler [2015-10-16 18:31:11] 897*2^1412320-1 is not prime. Res64: FC3E0F4F75E2DCD0 Time : 0.0 sec. user=mdettweiler [2015-10-16 18:31:11] 601*2^1412321-1 is not prime. Res64: FAC42C2459F86B71 Time : 0.0 sec. user=mdettweiler [2015-10-16 18:31:25] 619*2^1412321-1 is not prime. Res64: EF8DCB4E0B0C114F Time : 0.0 sec. user=mdettweiler [2015-10-16 18:31:25] 931*2^1412321-1 is not prime. Res64: 50B068F6778ECCB2 Time : 0.0 sec. user=mdettweiler [2015-10-16 18:35:49] 949*2^1412321-1 is not prime. Res64: 82B04E26A6459556 Time : 0.0 sec. user=mdettweiler [2015-10-16 18:35:50] 957*2^1412321-1 is not prime. Res64: 302EAFDEB7DA637C Time : 0.0 sec. user=mdettweiler [2015-10-16 18:48:52] 621*2^1412322-1 is not prime. Res64: D924739FEA67B197 Time : 0.0 sec. user=mdettweiler [2015-10-16 18:48:53] 647*2^1412322-1 is not prime. Res64: E608BE572ECFC1F5 Time : 0.0 sec. user=mdettweiler [2015-10-16 18:49:08] 681*2^1412323-1 is not prime. Res64: 01B634ABD681AB5C Time : 0.0 sec. user=mdettweiler [2015-10-16 18:49:09] 705*2^1412323-1 is not prime. Res64: 07AFEB9761C540E4 Time : 0.0 sec. user=mdettweiler [2015-10-16 18:49:11] 963*2^1412322-1 is not prime. Res64: 495EC313AF547C16 Time : 0.0 sec. user=mdettweiler [2015-10-16 18:49:11] 621*2^1412323-1 is not prime. Res64: C012121A46BA9FFC Time : 0.0 sec. user=mdettweiler [2015-10-16 18:53:37] 723*2^1412323-1 is not prime. Res64: 27C3B30239392708 Time : 0.0 sec. user=mdettweiler [2015-10-16 18:53:38] 789*2^1412323-1 is not prime. Res64: F3E97034C3A562A0 Time : 0.0 sec. user=mdettweiler [2015-10-16 19:06:48] 835*2^1412323-1 is not prime. Res64: 4B3EACA0C68C18D3 Time : 0.0 sec. user=mdettweiler [2015-10-16 19:06:49] 859*2^1412323-1 is not prime. Res64: 93077EDC8F8863C6 Time : 0.0 sec. user=mdettweiler [2015-10-16 19:07:04] 969*2^1412323-1 is not prime. Res64: 25ED04A4A507C8D6 Time : 0.0 sec. user=mdettweiler [2015-10-16 19:07:04] 993*2^1412323-1 is not prime. Res64: DFAEAFDBCE7DE514 Time : 0.0 sec. user=mdettweiler [2015-10-16 19:07:06] 615*2^1412324-1 is not prime. Res64: 7E4445298D5B739F Time : 0.0 sec. user=mdettweiler [2015-10-16 19:07:07] 785*2^1412324-1 is not prime. Res64: 70564779317B76E9 Time : 0.0 sec. user=mdettweiler [2015-10-16 19:11:30] 953*2^1412324-1 is not prime. Res64: 3A7863AD3FD91789 Time : 0.0 sec. user=mdettweiler [2015-10-16 19:11:31] 969*2^1412324-1 is not prime. Res64: C6089A9DCB800057 Time : 0.0 sec. user=mdettweiler [2015-10-16 19:24:47] 657*2^1412325-1 is not prime. Res64: 09EEA7FF559148B1 Time : 0.0 sec. user=mdettweiler [2015-10-16 19:24:47] 777*2^1412325-1 is not prime. Res64: ED76224385F083AF Time : 0.0 sec. user=mdettweiler [2015-10-16 19:24:57] 723*2^1412326-1 is not prime. Res64: 6FBBAEF4878F8530 Time : 0.0 sec. user=mdettweiler [2015-10-16 19:24:58] 919*2^1412325-1 is not prime. Res64: 5E336E884A82A975 Time : 0.0 sec. user=mdettweiler [2015-10-16 19:24:58] 741*2^1412326-1 is not prime. Res64: 064B4FFB791346E1 Time : 0.0 sec. user=mdettweiler [2015-10-16 19:24:58] 695*2^1412326-1 is not prime. Res64: CDEC3FF6E2280F8A Time : 0.0 sec. user=mdettweiler [2015-10-16 19:29:20] 747*2^1412326-1 is not prime. Res64: 5E5FF84541651387 Time : 0.0 sec. user=mdettweiler [2015-10-16 19:29:21] 843*2^1412326-1 is not prime. Res64: 69ED5AA5D0ABA132 Time : 0.0 sec. user=mdettweiler [2015-10-16 19:42:32] 867*2^1412326-1 is not prime. Res64: CE07ED06A0237515 Time : 0.0 sec. user=mdettweiler [2015-10-16 19:42:33] 881*2^1412326-1 is not prime. Res64: AFAB9AE89E25326E Time : 0.0 sec. user=mdettweiler [2015-10-16 19:42:44] 823*2^1412327-1 is not prime. Res64: 189D9F67580F848C Time : 0.0 sec. user=mdettweiler [2015-10-16 19:42:44] 895*2^1412327-1 is not prime. Res64: FBF74CB4E539AABC Time : 0.0 sec. user=mdettweiler [2015-10-16 19:42:47] 971*2^1412326-1 is not prime. Res64: C1A367187CFB98F3 Time : 0.0 sec. user=mdettweiler [2015-10-16 19:42:48] 735*2^1412327-1 is not prime. Res64: DA386F06D0737952 Time : 0.0 sec. user=mdettweiler [2015-10-16 19:47:12] 605*2^1412328-1 is not prime. Res64: 1AE23410C124D3F0 Time : 0.0 sec. user=mdettweiler [2015-10-16 19:47:13] 689*2^1412328-1 is not prime. Res64: AA6EA72049FE017D Time : 0.0 sec. user=mdettweiler [2015-10-16 20:00:27] 803*2^1412328-1 is not prime. Res64: BBB8D9EC1B77E998 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:00:28] 815*2^1412328-1 is not prime. Res64: AA234389B6E4D935 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:00:42] 887*2^1412328-1 is not prime. Res64: 6AAF002932F416B6 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:00:42] 905*2^1412328-1 is not prime. Res64: 1A6F5138124010F4 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:00:42] 909*2^1412328-1 is not prime. Res64: 278E2CBD18F2001E Time : 0.0 sec. user=mdettweiler [2015-10-16 20:00:43] 959*2^1412328-1 is not prime. Res64: F21D09E142D4DDB9 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:05:05] 975*2^1412328-1 is not prime. Res64: 4305B2DF17B04B07 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:05:07] 675*2^1412329-1 is not prime. Res64: C5A85C957FAA8DB0 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:18:24] 847*2^1412329-1 is not prime. Res64: 33672DA2030DF857 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:18:24] 877*2^1412329-1 is not prime. Res64: 1EF7F8D574CECFB4 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:18:28] 635*2^1412330-1 is not prime. Res64: 5DB30DF63BEC5ADD Time : 0.0 sec. user=mdettweiler [2015-10-16 20:18:29] 999*2^1412329-1 is not prime. Res64: 51945533E193FF59 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:18:29] 731*2^1412330-1 is not prime. Res64: 7973D462D649F3F4 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:18:30] 615*2^1412330-1 is not prime. Res64: BA32025036F6E78B Time : 0.0 sec. user=mdettweiler [2015-10-16 20:23:23] 813*2^1412330-1 is not prime. Res64: 686220E5DF3BA694 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:23:25] 831*2^1412330-1 is not prime. Res64: 18DA948140BED34A Time : 0.0 sec. user=mdettweiler [2015-10-16 20:36:16] 741*2^1412331-1 is not prime. Res64: 82591F054C8AAF97 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:36:17] 753*2^1412331-1 is not prime. Res64: B846DE3C61E91E93 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:36:17] 845*2^1412330-1 is not prime. Res64: 699AA5EF94C07216 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:36:18] 911*2^1412330-1 is not prime. Res64: 58480417308AC70E Time : 0.0 sec. user=mdettweiler [2015-10-16 20:36:18] 921*2^1412330-1 is not prime. Res64: A37AE8132C9DF4CC Time : 0.0 sec. user=mdettweiler [2015-10-16 20:36:19] 639*2^1412331-1 is not prime. Res64: 7B5F4DEB5ECE9298 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:41:15] 819*2^1412331-1 is not prime. Res64: F39AAF85A36F9E51 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:41:15] 823*2^1412331-1 is not prime. Res64: FE048B23202C48D3 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:54:07] 887*2^1412332-1 is not prime. Res64: B19F699679239557 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:54:07] 653*2^1412332-1 is not prime. Res64: A238B7D2589AE91B Time : 0.0 sec. user=mdettweiler [2015-10-16 20:54:08] 933*2^1412332-1 is not prime. Res64: BD7D38D4950191A6 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:54:08] 843*2^1412332-1 is not prime. Res64: AEA946B5A40E5055 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:54:10] 609*2^1412332-1 is not prime. Res64: C3A1DC6DB82887A5 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:54:11] 635*2^1412332-1 is not prime. Res64: 28F9AC40B2F694E2 Time : 0.0 sec. user=mdettweiler [2015-10-16 20:59:06] 959*2^1412332-1 is not prime. Res64: F2FFDDCE1615F20B Time : 0.0 sec. user=mdettweiler [2015-10-16 20:59:06] 747*2^1412333-1 is not prime. Res64: 86FAE14AFB2BEFB0 Time : 0.0 sec. user=mdettweiler [2015-10-16 21:11:49] 635*2^1412334-1 is not prime. Res64: DB4AEE262A160FF7 Time : 0.0 sec. user=mdettweiler [2015-10-16 21:11:50] 765*2^1412334-1 is not prime. Res64: 59179930ABCA23C9 Time : 0.0 sec. user=mdettweiler [2015-10-16 21:11:52] 773*2^1412334-1 is not prime. Res64: B1035F3AC1FE71F3 Time : 0.0 sec. user=mdettweiler [2015-10-16 21:11:53] 901*2^1412333-1 is not prime. Res64: E30CA22FB3F27AC2 Time : 0.0 sec. user=mdettweiler [2015-10-16 21:11:54] 795*2^1412334-1 is not prime. Res64: 63305E6F1CD3B56E Time : 0.0 sec. user=mdettweiler [2015-10-16 21:11:55] 937*2^1412333-1 is not prime. Res64: 42123B52676E4DE0 Time : 0.0 sec. user=mdettweiler [2015-10-16 21:16:57] 601*2^1412335-1 is not prime. Res64: 4725CCC554BB656F Time : 0.0 sec. user=mdettweiler [2015-10-16 21:16:58] 651*2^1412335-1 is not prime. Res64: DAA3EB150AF6B74C Time : 0.0 sec. user=mdettweiler [2015-10-16 21:29:48] 715*2^1412335-1 is not prime. Res64: 74417966EF1CC69B Time : 0.0 sec. user=mdettweiler [2015-10-16 21:29:49] 819*2^1412335-1 is not prime. Res64: 7BA85181E12C25B7 Time : 0.0 sec. user=mdettweiler [2015-10-16 21:29:51] 741*2^1412335-1 is not prime. Res64: 3A7A112F3B8C3876 Time : 0.0 sec. user=mdettweiler [2015-10-16 21:29:52] 659*2^1412336-1 is not prime. Res64: 9CBE95EC73A87C81 Time : 0.0 sec. user=mdettweiler [2015-10-16 21:29:57] 871*2^1412335-1 is not prime. Res64: 2EC04F9FE033E511 Time : 0.0 sec. user=mdettweiler [2015-10-16 21:29:58] 609*2^1412336-1 is not prime. Res64: 15609158D29BB377 Time : 0.0 sec. user=mdettweiler [2015-10-16 21:34:47] 773*2^1412336-1 is not prime. Res64: C3EF66DB4A2D721E Time : 0.0 sec. user=mdettweiler [2015-10-16 21:34:48] 777*2^1412336-1 is not prime. Res64: 2AABB87931BFBBAA Time : 0.0 sec. user=mdettweiler [2015-10-16 21:47:33] 855*2^1412336-1 is not prime. Res64: 4DCEB8EE9069A970 Time : 0.0 sec. user=mdettweiler [2015-10-16 21:47:33] 999*2^1412336-1 is not prime. Res64: 4D676F10B14AE830 Time : 0.0 sec. user=mdettweiler [2015-10-16 21:47:40] 711*2^1412337-1 is not prime. Res64: 499B6E9FF92CFC60 Time : 0.0 sec. user=mdettweiler [2015-10-16 21:47:40] 735*2^1412337-1 is not prime. Res64: EB70F3AAF5AA4B8B Time : 0.0 sec. user=mdettweiler [2015-10-16 21:47:43] 741*2^1412337-1 is not prime. Res64: 798B721CB5FCACD2 Time : 0.0 sec. user=mdettweiler [2015-10-16 21:47:43] 751*2^1412337-1 is not prime. Res64: BF3D3A911AE0FBCD Time : 0.0 sec. user=mdettweiler [2015-10-16 21:52:39] 781*2^1412337-1 is not prime. Res64: DD4840C702C29A8F Time : 0.0 sec. user=mdettweiler [2015-10-16 21:52:39] 849*2^1412337-1 is not prime. Res64: 17F64F404F981053 Time : 0.0 sec. user=mdettweiler [2015-10-16 22:05:23] 909*2^1412337-1 is not prime. Res64: 22211E6F304DBC7D Time : 0.0 sec. user=mdettweiler [2015-10-16 22:05:26] 955*2^1412337-1 is not prime. Res64: 096FD52AE9964F9E Time : 0.0 sec. user=mdettweiler [2015-10-16 22:05:31] 663*2^1412338-1 is not prime. Res64: 60A185D363D37E91 Time : 0.0 sec. user=mdettweiler [2015-10-16 22:05:32] 885*2^1412338-1 is not prime. Res64: 068ED96E61C8AA7F Time : 0.0 sec. user=mdettweiler [2015-10-16 22:05:34] 755*2^1412338-1 is not prime. Res64: AAAC4F2F1B504930 Time : 0.0 sec. user=mdettweiler [2015-10-16 22:05:34] 603*2^1412339-1 is not prime. Res64: 0D91675A25EA883B Time : 0.0 sec. user=mdettweiler [2015-10-16 22:10:25] 621*2^1412339-1 is not prime. Res64: 17E817040C76A80A Time : 0.0 sec. user=mdettweiler [2015-10-16 22:10:26] 655*2^1412339-1 is not prime. Res64: 13861C076A0533DA Time : 0.0 sec. user=mdettweiler [2015-10-16 22:23:39] 627*2^1412340-1 is not prime. Res64: 2EFAB1F3BD941591 Time : 0.0 sec. user=mdettweiler [2015-10-16 22:23:40] 723*2^1412340-1 is not prime. Res64: 319D454D88481AAA Time : 0.0 sec. user=mdettweiler [2015-10-16 22:23:43] 909*2^1412339-1 is not prime. Res64: C322174E8399B2B1 Time : 0.0 sec. user=mdettweiler [2015-10-16 22:23:45] 725*2^1412340-1 is not prime. Res64: D52B6EE57EE7106E Time : 0.0 sec. user=mdettweiler [2015-10-16 22:23:47] 711*2^1412339-1 is not prime. Res64: 7CBAC4B71159F570 Time : 0.0 sec. user=mdettweiler [2015-10-16 22:23:48] 999*2^1412339-1 is not prime. Res64: E3ED34B11568E8E8 Time : 0.0 sec. user=mdettweiler [2015-10-16 22:28:25] 735*2^1412340-1 is not prime. Res64: BEC0995F00AE5FE7 Time : 0.0 sec. user=mdettweiler [2015-10-16 22:28:25] 959*2^1412340-1 is not prime. Res64: BE6AE152630EE545 Time : 0.0 sec. user=mdettweiler [2015-10-16 22:41:23] 607*2^1412341-1 is not prime. Res64: FB62A8ECA3EC196E Time : 0.0 sec. user=mdettweiler [2015-10-16 22:41:24] 769*2^1412341-1 is not prime. Res64: 83CC5179DAA06467 Time : 0.0 sec. user=mdettweiler [2015-10-16 22:41:32] 877*2^1412341-1 is not prime. Res64: C5B95F85314FA8B1 Time : 0.0 sec. user=mdettweiler [2015-10-16 22:41:32] 777*2^1412341-1 is not prime. Res64: 3ED4200956577B9C Time : 0.0 sec. user=mdettweiler [2015-10-16 22:41:32] 967*2^1412341-1 is not prime. Res64: E37877A546D5F7ED Time : 0.0 sec. user=mdettweiler [2015-10-16 22:41:33] 871*2^1412341-1 is not prime. Res64: 2FFF090E9C049616 Time : 0.0 sec. user=mdettweiler [2015-10-16 22:46:11] 979*2^1412341-1 is not prime. Res64: AEAC6BC84E4C3295 Time : 0.0 sec. user=mdettweiler [2015-10-16 22:46:11] 987*2^1412341-1 is not prime. Res64: 594D7E7E82D01020 Time : 0.0 sec. user=mdettweiler [2015-10-16 22:59:12] 917*2^1412342-1 is not prime. Res64: 427C5BAD1276F128 Time : 0.0 sec. user=mdettweiler [2015-10-16 22:59:13] 677*2^1412342-1 is not prime. Res64: 4EB96D4CD3FDA55F Time : 0.0 sec. user=mdettweiler [2015-10-16 22:59:13] 1001*2^1412342-1 is not prime. Res64: 681B49CCD7FAF103 Time : 0.0 sec. user=mdettweiler [2015-10-16 22:59:13] 911*2^1412342-1 is not prime. Res64: 2CB3A04327C9E7A9 Time : 0.0 sec. user=mdettweiler [2015-10-16 22:59:17] 829*2^1412343-1 is not prime. Res64: 6F3762DDDA866FB9 Time : 0.0 sec. user=mdettweiler [2015-10-16 22:59:18] 861*2^1412343-1 is not prime. Res64: 3540E1041CC799BA Time : 0.0 sec. user=mdettweiler [2015-10-16 23:03:59] 895*2^1412343-1 is not prime. Res64: B420717EBB721971 Time : 0.0 sec. user=mdettweiler [2015-10-16 23:04:02] 969*2^1412343-1 is not prime. Res64: 83D5EDC5B45995D9 Time : 0.0 sec. user=mdettweiler [2015-10-16 23:17:38] 985*2^1412343-1 is not prime. Res64: E1E7B58A7A895FE4 Time : 0.0 sec. user=mdettweiler [2015-10-16 23:17:38] 615*2^1412344-1 is not prime. Res64: E3B59F872FC7D230 Time : 0.0 sec. user=mdettweiler [2015-10-16 23:17:42] 849*2^1412344-1 is not prime. Res64: C30D094F7892BBBF Time : 0.0 sec. user=mdettweiler [2015-10-16 23:17:42] 875*2^1412344-1 is not prime. Res64: 93316C2CE593BA61 Time : 0.0 sec. user=mdettweiler [2015-10-16 23:17:55] 705*2^1412344-1 is not prime. Res64: BAE0013B4BA0565C Time : 0.0 sec. user=mdettweiler [2015-10-16 23:17:55] 765*2^1412344-1 is not prime. Res64: C437926D10653859 Time : 0.0 sec. user=mdettweiler [2015-10-16 23:23:52] 917*2^1412344-1 is not prime. Res64: 399E3DA9E72D9618 Time : 0.0 sec. user=mdettweiler [2015-10-16 23:23:53] 787*2^1412345-1 is not prime. Res64: 72B7B45C5671DF02 Time : 0.0 sec. user=mdettweiler [2015-10-16 23:37:55] 985*2^1412345-1 is not prime. Res64: 5A285C7133492A9E Time : 0.0 sec. user=mdettweiler [2015-10-16 23:37:56] 777*2^1412346-1 is not prime. Res64: D0751B760034B3CF Time : 0.0 sec. user=mdettweiler [2015-10-16 23:38:07] 861*2^1412346-1 is not prime. Res64: 17DCB55435BF35DC Time : 0.0 sec. user=mdettweiler [2015-10-16 23:38:07] 603*2^1412347-1 is not prime. Res64: F5D7E0F2C7E75CFA Time : 0.0 sec. user=mdettweiler [2015-10-16 23:38:14] 957*2^1412345-1 is not prime. Res64: 3B2DBE936F8796AB Time : 0.0 sec. user=mdettweiler [2015-10-16 23:38:14] 981*2^1412345-1 is not prime. Res64: E9CC853CD139B6BE Time : 0.0 sec. user=mdettweiler [2015-10-16 23:44:13] 681*2^1412347-1 is not prime. Res64: 87B370C6CAAFA554 Time : 0.0 sec. user=mdettweiler [2015-10-16 23:44:13] 703*2^1412347-1 is not prime. Res64: 230A7633992DDC31 Time : 0.0 sec. user=mdettweiler [2015-10-16 23:58:19] 749*2^1412348-1 is not prime. Res64: 3BC093B7BD3A3C7E Time : 0.0 sec. user=mdettweiler [2015-10-16 23:58:19] 753*2^1412348-1 is not prime. Res64: A95C9E520BFA598A Time : 0.0 sec. user=mdettweiler [2015-10-16 23:58:48] 769*2^1412347-1 is not prime. Res64: 43FB31C269DA7457 Time : 0.0 sec. user=mdettweiler [2015-10-16 23:58:48] 915*2^1412347-1 is not prime. Res64: 623BACE6116CD36A Time : 0.0 sec. user=mdettweiler [2015-10-16 23:59:02] 615*2^1412348-1 is not prime. Res64: 842E753B485E3176 Time : 0.0 sec. user=mdettweiler [2015-10-16 23:59:02] 633*2^1412348-1 is not prime. Res64: 476C2302145207D9 Time : 0.0 sec.