user=mdettweiler [2016-11-23 00:09:57] 939*2^1446649-1 is not prime. Res64: 16025F798688E840 Time : 0.0 sec. user=mdettweiler [2016-11-23 00:09:57] 615*2^1446650-1 is not prime. Res64: 930D8C60ACF2A646 Time : 0.0 sec. user=mdettweiler [2016-11-23 00:09:58] 645*2^1446650-1 is not prime. Res64: AA1F4FBB58853B5A Time : 0.0 sec. user=mdettweiler [2016-11-23 00:09:58] 743*2^1446650-1 is not prime. Res64: 145ECE93C3FE9C86 Time : 0.0 sec. user=mdettweiler [2016-11-23 00:09:59] 851*2^1446650-1 is not prime. Res64: 64A0D77EEBBF2FE9 Time : 0.0 sec. user=mdettweiler [2016-11-23 00:11:46] 857*2^1446650-1 is not prime. Res64: C3B9F25FCA139494 Time : 0.0 sec. user=mdettweiler [2016-11-23 00:11:47] 945*2^1446650-1 is not prime. Res64: A4994F1A9008324B Time : 0.0 sec. user=mdettweiler [2016-11-23 00:11:47] 981*2^1446650-1 is not prime. Res64: 161FF290A8C403F7 Time : 0.0 sec. user=mdettweiler [2016-11-23 00:11:48] 609*2^1446651-1 is not prime. Res64: 10FCD7F573CF12BD Time : 0.0 sec. user=mdettweiler [2016-11-23 00:11:48] 613*2^1446651-1 is not prime. Res64: B231D9B32567F50B Time : 0.0 sec. user=mdettweiler [2016-11-23 00:31:41] 639*2^1446651-1 is not prime. Res64: 7256FDC3BE01AE58 Time : 0.0 sec. user=mdettweiler [2016-11-23 00:31:42] 679*2^1446651-1 is not prime. Res64: FE57FECB422376BF Time : 0.0 sec. user=mdettweiler [2016-11-23 00:31:42] 711*2^1446651-1 is not prime. Res64: C331E8BB3AE19C59 Time : 0.0 sec. user=mdettweiler [2016-11-23 00:31:42] 805*2^1446651-1 is not prime. Res64: 59641C53C51E1041 Time : 0.0 sec. user=mdettweiler [2016-11-23 00:31:43] 825*2^1446651-1 is not prime. Res64: 1535A259C326A858 Time : 0.0 sec. user=mdettweiler [2016-11-23 00:42:00] 849*2^1446651-1 is not prime. Res64: ED9787FB19F09A2E Time : 0.0 sec. user=mdettweiler [2016-11-23 00:42:01] 895*2^1446651-1 is not prime. Res64: 51001512354379B4 Time : 0.0 sec. user=mdettweiler [2016-11-23 00:42:01] 991*2^1446651-1 is not prime. Res64: 4849CA55207DA0AA Time : 0.0 sec. user=mdettweiler [2016-11-23 00:42:02] 777*2^1446652-1 is not prime. Res64: 7B3EB2EB50702422 Time : 0.0 sec. user=mdettweiler [2016-11-23 00:42:02] 779*2^1446652-1 is not prime. Res64: 510FB7BDDF8FFF8D Time : 0.0 sec. user=mdettweiler [2016-11-23 00:54:50] 843*2^1446652-1 is not prime. Res64: BE0397C7D8816BE2 Time : 0.0 sec. user=mdettweiler [2016-11-23 00:54:51] 863*2^1446652-1 is not prime. Res64: 544EE02C326250D4 Time : 0.0 sec. user=mdettweiler [2016-11-23 00:54:51] 915*2^1446652-1 is not prime. Res64: A3503033DEC09B14 Time : 0.0 sec. user=mdettweiler [2016-11-23 00:54:52] 975*2^1446652-1 is not prime. Res64: E00BC12309F160CB Time : 0.0 sec. user=mdettweiler [2016-11-23 00:54:52] 651*2^1446653-1 is not prime. Res64: F9587EDDA3D90F71 Time : 0.0 sec. user=mdettweiler [2016-11-23 00:56:47] 771*2^1446653-1 is not prime. Res64: 048D9DACC121D3B4 Time : 0.0 sec. user=mdettweiler [2016-11-23 00:56:48] 775*2^1446653-1 is not prime. Res64: 696D4F838E4D72FB Time : 0.0 sec. user=mdettweiler [2016-11-23 00:56:48] 789*2^1446653-1 is not prime. Res64: D5F630E80D828D11 Time : 0.0 sec. user=mdettweiler [2016-11-23 00:56:48] 837*2^1446653-1 is not prime. Res64: 650BABFAB1951BFF Time : 0.0 sec. user=mdettweiler [2016-11-23 00:56:49] 925*2^1446653-1 is not prime. Res64: 31B302765A166B5F Time : 0.0 sec. user=mdettweiler [2016-11-23 01:16:47] 683*2^1446654-1 is not prime. Res64: 03E8AADCF77B1755 Time : 0.0 sec. user=mdettweiler [2016-11-23 01:16:48] 705*2^1446654-1 is not prime. Res64: 18EB343ECBF25A8C Time : 0.0 sec. user=mdettweiler [2016-11-23 01:16:48] 711*2^1446654-1 is not prime. Res64: D7F37A1C730970CE Time : 0.0 sec. user=mdettweiler [2016-11-23 01:16:49] 731*2^1446654-1 is not prime. Res64: 78ED04652FBB12AB Time : 0.0 sec. user=mdettweiler [2016-11-23 01:16:53] 747*2^1446654-1 is not prime. Res64: D0594CF091C12C25 Time : 0.0 sec. user=mdettweiler [2016-11-23 01:27:22] 821*2^1446654-1 is not prime. Res64: DCCF55AC585BDA20 Time : 0.0 sec. user=mdettweiler [2016-11-23 01:27:28] 851*2^1446654-1 is not prime. Res64: F0F13DEA5DDB70FE Time : 0.0 sec. user=mdettweiler [2016-11-23 01:27:30] 861*2^1446654-1 is not prime. Res64: 482160B8D219B826 Time : 0.0 sec. user=mdettweiler [2016-11-23 01:27:31] 971*2^1446654-1 is not prime. Res64: C06EF0629DFD13CB Time : 0.0 sec. user=mdettweiler [2016-11-23 01:27:35] 975*2^1446654-1 is not prime. Res64: C86E84CA7D44576B Time : 0.0 sec. user=mdettweiler [2016-11-23 01:39:56] 609*2^1446655-1 is not prime. Res64: 474D6B655B5D818F Time : 0.0 sec. user=mdettweiler [2016-11-23 01:39:56] 649*2^1446655-1 is not prime. Res64: E2CF1964224F8EEE Time : 0.0 sec. user=mdettweiler [2016-11-23 01:39:57] 675*2^1446655-1 is not prime. Res64: 671B8207F328D8C7 Time : 0.0 sec. user=mdettweiler [2016-11-23 01:39:57] 693*2^1446655-1 is not prime. Res64: 9E15FF53A6789CD4 Time : 0.0 sec. user=mdettweiler [2016-11-23 01:39:57] 741*2^1446655-1 is not prime. Res64: 5A24231594C6A971 Time : 0.0 sec. user=mdettweiler [2016-11-23 01:41:57] 751*2^1446655-1 is not prime. Res64: F2D437995EB7FAE0 Time : 0.0 sec. user=mdettweiler [2016-11-23 01:41:57] 759*2^1446655-1 is not prime. Res64: 77B44A0F5520CBB2 Time : 0.0 sec. user=mdettweiler [2016-11-23 01:41:58] 919*2^1446655-1 is not prime. Res64: 7245D0679B95855E Time : 0.0 sec. user=mdettweiler [2016-11-23 01:41:58] 951*2^1446655-1 is not prime. Res64: E6568AF5739183DD Time : 0.0 sec. user=mdettweiler [2016-11-23 01:41:58] 659*2^1446656-1 is not prime. Res64: 861C48A59475D301 Time : 0.0 sec. user=mdettweiler [2016-11-23 02:01:50] 803*2^1446656-1 is not prime. Res64: 3A60E73C1EE722EA Time : 0.0 sec. user=mdettweiler [2016-11-23 02:01:52] 839*2^1446656-1 is not prime. Res64: 74B7332D16B54ACF Time : 0.0 sec. user=mdettweiler [2016-11-23 02:01:54] 855*2^1446656-1 is not prime. Res64: 0AF3820D7D4E3AF4 Time : 0.0 sec. user=mdettweiler [2016-11-23 02:01:58] 607*2^1446657-1 is not prime. Res64: 34A8818ECCF7BE42 Time : 0.0 sec. user=mdettweiler [2016-11-23 02:02:00] 669*2^1446657-1 is not prime. Res64: 2DF31B7EC767DAA8 Time : 0.0 sec. user=mdettweiler [2016-11-23 02:13:30] 765*2^1446657-1 is not prime. Res64: 25831893C24F9321 Time : 0.0 sec. user=mdettweiler [2016-11-23 02:13:31] 777*2^1446657-1 is not prime. Res64: 0E74387C62A06F5E Time : 0.0 sec. user=mdettweiler [2016-11-23 02:13:31] 781*2^1446657-1 is not prime. Res64: 5E38671A2C70BFA1 Time : 0.0 sec. user=mdettweiler [2016-11-23 02:13:32] 687*2^1446658-1 is not prime. Res64: 94432CCD48C98FA3 Time : 0.0 sec. user=mdettweiler [2016-11-23 02:13:32] 735*2^1446658-1 is not prime. Res64: 99A6EC30350CB4E0 Time : 0.0 sec. user=mdettweiler [2016-11-23 02:27:18] 773*2^1446658-1 is not prime. Res64: 7A5C15E205AF1463 Time : 0.0 sec. user=mdettweiler [2016-11-23 02:27:18] 881*2^1446658-1 is not prime. Res64: 500422C7B85784D3 Time : 0.0 sec. user=mdettweiler [2016-11-23 02:27:19] 885*2^1446658-1 is not prime. Res64: ED1287CC1C34F530 Time : 0.0 sec. user=mdettweiler [2016-11-23 02:27:19] 665*2^1446660-1 is not prime. Res64: F5BC6FEB950B34A4 Time : 0.0 sec. user=mdettweiler [2016-11-23 02:27:20] 689*2^1446660-1 is not prime. Res64: 4E471D79B69378BE Time : 0.0 sec. user=mdettweiler [2016-11-23 02:29:55] 777*2^1446660-1 is not prime. Res64: A4589F2843F6D430 Time : 0.0 sec. user=mdettweiler [2016-11-23 02:29:56] 843*2^1446660-1 is not prime. Res64: A5EA3E27BDDF4FB3 Time : 0.0 sec. user=mdettweiler [2016-11-23 02:29:56] 899*2^1446660-1 is not prime. Res64: E8210011E35109A5 Time : 0.0 sec. user=mdettweiler [2016-11-23 02:29:57] 957*2^1446660-1 is not prime. Res64: 97EFD9A145BF1DA2 Time : 0.0 sec. user=mdettweiler [2016-11-23 02:29:57] 645*2^1446661-1 is not prime. Res64: 0E329F2EF0A84D74 Time : 0.0 sec. user=mdettweiler [2016-11-23 02:50:18] 679*2^1446661-1 is not prime. Res64: 3C611251CDE2099D Time : 0.0 sec. user=mdettweiler [2016-11-23 02:50:22] 717*2^1446661-1 is not prime. Res64: AFD43090FFE67630 Time : 0.0 sec. user=mdettweiler [2016-11-23 02:50:26] 727*2^1446661-1 is not prime. Res64: F29AFD8EF30A4DF2 Time : 0.0 sec. user=mdettweiler [2016-11-23 02:50:30] 741*2^1446661-1 is not prime. Res64: 47D323BD2AA0DC31 Time : 0.0 sec. user=mdettweiler [2016-11-23 02:50:34] 745*2^1446661-1 is not prime. Res64: 4425CF1193886018 Time : 0.0 sec. user=mdettweiler [2016-11-23 03:00:16] 859*2^1446661-1 is not prime. Res64: 3528F0D4B702B79F Time : 0.0 sec. user=mdettweiler [2016-11-23 03:00:17] 961*2^1446661-1 is not prime. Res64: 40B2B87A90565A97 Time : 0.0 sec. user=mdettweiler [2016-11-23 03:00:18] 967*2^1446661-1 is not prime. Res64: E68ECAE94217EEEB Time : 0.0 sec. user=mdettweiler [2016-11-23 03:00:18] 997*2^1446661-1 is not prime. Res64: 82BC69C9DC47A249 Time : 0.0 sec. user=mdettweiler [2016-11-23 03:00:19] 665*2^1446662-1 is not prime. Res64: B4691939AB38184A Time : 0.0 sec. user=mdettweiler [2016-11-23 03:12:23] 797*2^1446662-1 is not prime. Res64: 38820F3A5F96ED24 Time : 0.0 sec. user=mdettweiler [2016-11-23 03:12:24] 887*2^1446662-1 is not prime. Res64: 543B2911675F99E4 Time : 0.0 sec. user=mdettweiler [2016-11-23 03:12:24] 893*2^1446662-1 is not prime. Res64: 23EA607EEECEE854 Time : 0.0 sec. user=mdettweiler [2016-11-23 03:12:25] 911*2^1446662-1 is not prime. Res64: 059BFCB0ADF9657E Time : 0.0 sec. user=mdettweiler [2016-11-23 03:12:25] 935*2^1446662-1 is not prime. Res64: B622B08F7B386DD7 Time : 0.0 sec. user=mdettweiler [2016-11-23 03:15:07] 981*2^1446662-1 is not prime. Res64: B26A3FDB039B066A Time : 0.0 sec. user=mdettweiler [2016-11-23 03:15:08] 825*2^1446663-1 is not prime. Res64: ACD6C57CDD62FC15 Time : 0.0 sec. user=mdettweiler [2016-11-23 03:15:08] 853*2^1446663-1 is not prime. Res64: 29FC2A0B41BBACBA Time : 0.0 sec. user=mdettweiler [2016-11-23 03:15:09] 879*2^1446663-1 is not prime. Res64: 5AB6B0985E24D483 Time : 0.0 sec. user=mdettweiler [2016-11-23 03:15:09] 743*2^1446664-1 is not prime. Res64: B35529029DF0D9CE Time : 0.0 sec. user=mdettweiler [2016-11-23 03:45:14] 861*2^1446665-1 is not prime. Res64: F864687DB7F1771A Time : 0.0 sec. user=mdettweiler [2016-11-23 03:45:15] 865*2^1446665-1 is not prime. Res64: 7F28E1BDBF0A23E1 Time : 0.0 sec. user=mdettweiler [2016-11-23 03:45:16] 979*2^1446665-1 is not prime. Res64: 55777BC94CDF3359 Time : 0.0 sec. user=mdettweiler [2016-11-23 03:45:16] 747*2^1446666-1 is not prime. Res64: 230BB49AB2F48378 Time : 0.0 sec. user=mdettweiler [2016-11-23 03:45:17] 619*2^1446667-1 is not prime. Res64: E7C3B132BB098629 Time : 0.0 sec. user=mdettweiler [2016-11-23 03:57:38] 633*2^1446667-1 is not prime. Res64: 08B0A6DEFCB36520 Time : 0.0 sec. user=mdettweiler [2016-11-23 03:57:39] 645*2^1446667-1 is not prime. Res64: A89C8A75691FF24F Time : 0.0 sec. user=mdettweiler [2016-11-23 03:57:41] 685*2^1446667-1 is not prime. Res64: 19FE919DE8279C3E Time : 0.0 sec. user=mdettweiler [2016-11-23 03:57:42] 975*2^1446667-1 is not prime. Res64: 253A5353051C7FE6 Time : 0.0 sec. user=mdettweiler [2016-11-23 03:57:43] 615*2^1446668-1 is not prime. Res64: 4142373F077E65A0 Time : 0.0 sec. user=mdettweiler [2016-11-23 04:00:11] 677*2^1446668-1 is not prime. Res64: 6674634B4360BA2C Time : 0.0 sec. user=mdettweiler [2016-11-23 04:00:12] 707*2^1446668-1 is not prime. Res64: C9D399D26E4A3809 Time : 0.0 sec. user=mdettweiler [2016-11-23 04:00:12] 743*2^1446668-1 is not prime. Res64: 222DE0E72521471F Time : 0.0 sec. user=mdettweiler [2016-11-23 04:00:14] 797*2^1446668-1 is not prime. Res64: 97F155475557B3AA Time : 0.0 sec. user=mdettweiler [2016-11-23 04:00:15] 837*2^1446668-1 is not prime. Res64: 8290D534FFEC5E73 Time : 0.0 sec. user=mdettweiler [2016-11-23 04:30:54] 867*2^1446668-1 is not prime. Res64: 7B81D950D0804DA5 Time : 0.0 sec. user=mdettweiler [2016-11-23 04:30:54] 885*2^1446668-1 is not prime. Res64: BF010461AB2275B6 Time : 0.0 sec. user=mdettweiler [2016-11-23 04:30:55] 897*2^1446668-1 is not prime. Res64: 93FCC604E7E18586 Time : 0.0 sec. user=mdettweiler [2016-11-23 04:30:55] 995*2^1446668-1 is not prime. Res64: D99C5EBA24B49364 Time : 0.0 sec. user=mdettweiler [2016-11-23 04:30:56] 627*2^1446669-1 is not prime. Res64: 46578F53F35355DA Time : 0.0 sec. user=mdettweiler [2016-11-23 04:43:19] 655*2^1446669-1 is not prime. Res64: D21A44B97540AEF0 Time : 0.0 sec. user=mdettweiler [2016-11-23 04:43:20] 789*2^1446669-1 is not prime. Res64: 57452AD1173EF5A2 Time : 0.0 sec. user=mdettweiler [2016-11-23 04:43:20] 907*2^1446669-1 is not prime. Res64: E56BF2FCF5A11609 Time : 0.0 sec. user=mdettweiler [2016-11-23 04:43:21] 999*2^1446669-1 is not prime. Res64: 40880EA389AD15CD Time : 0.0 sec. user=mdettweiler [2016-11-23 04:43:21] 657*2^1446670-1 is not prime. Res64: DDE65482F7304CC3 Time : 0.0 sec. user=mdettweiler [2016-11-23 04:45:40] 707*2^1446670-1 is not prime. Res64: 09F9F98FD4CDC049 Time : 0.0 sec. user=mdettweiler [2016-11-23 04:45:41] 813*2^1446670-1 is not prime. Res64: 9044FA826DC59361 Time : 0.0 sec. user=mdettweiler [2016-11-23 04:45:41] 867*2^1446670-1 is not prime. Res64: 964D4885CF3C9F23 Time : 0.0 sec. user=mdettweiler [2016-11-23 04:45:41] 923*2^1446670-1 is not prime. Res64: 52C05CFCBEA8E3AB Time : 0.0 sec. user=mdettweiler [2016-11-23 04:45:42] 621*2^1446671-1 is not prime. Res64: CC53C8A5649871B5 Time : 0.0 sec. user=mdettweiler [2016-11-23 05:16:30] 643*2^1446671-1 is not prime. Res64: E068271C9F056AF7 Time : 0.0 sec. user=mdettweiler [2016-11-23 05:16:31] 693*2^1446671-1 is not prime. Res64: D5076F9DBCE30927 Time : 0.0 sec. user=mdettweiler [2016-11-23 05:16:31] 943*2^1446671-1 is not prime. Res64: E664E5EC47A1FF1E Time : 0.0 sec. user=mdettweiler [2016-11-23 05:16:32] 955*2^1446671-1 is not prime. Res64: 14020BA674F7C8AB Time : 0.0 sec. user=mdettweiler [2016-11-23 05:16:32] 993*2^1446671-1 is not prime. Res64: BCCBDCEB99932521 Time : 0.0 sec. user=mdettweiler [2016-11-23 05:28:46] 635*2^1446672-1 is not prime. Res64: 29A51946FA037B50 Time : 0.0 sec. user=mdettweiler [2016-11-23 05:28:47] 719*2^1446672-1 is not prime. Res64: A715F3D63E32A4D8 Time : 0.0 sec. user=mdettweiler [2016-11-23 05:28:48] 825*2^1446672-1 is not prime. Res64: E3555390A9ED7487 Time : 0.0 sec. user=mdettweiler [2016-11-23 05:28:49] 873*2^1446672-1 is not prime. Res64: BF42D408BD50FF52 Time : 0.0 sec. user=mdettweiler [2016-11-23 05:28:50] 615*2^1446673-1 is not prime. Res64: E5F2FFB519B31F5B Time : 0.0 sec. user=mdettweiler [2016-11-23 05:31:04] 649*2^1446673-1 is not prime. Res64: 11A28284A2E9720E Time : 0.0 sec. user=mdettweiler [2016-11-23 05:31:05] 679*2^1446673-1 is not prime. Res64: D079787BDF102D72 Time : 0.0 sec. user=mdettweiler [2016-11-23 05:31:05] 699*2^1446673-1 is not prime. Res64: 0128FCBE1430E16F Time : 0.0 sec. user=mdettweiler [2016-11-23 05:31:06] 789*2^1446673-1 is not prime. Res64: 29FFA38CD1DA2241 Time : 0.0 sec. user=mdettweiler [2016-11-23 05:31:06] 831*2^1446673-1 is not prime. Res64: C4B346346E4E4B0D Time : 0.0 sec. user=mdettweiler [2016-11-23 06:02:02] 641*2^1446674-1 is not prime. Res64: 7589F9E42D004FDF Time : 0.0 sec. user=mdettweiler [2016-11-23 06:02:03] 683*2^1446674-1 is not prime. Res64: 1C9AFF66A59AE3A2 Time : 0.0 sec. user=mdettweiler [2016-11-23 06:02:04] 813*2^1446674-1 is not prime. Res64: F88CFCD1F2DEBD6A Time : 0.0 sec. user=mdettweiler [2016-11-23 06:02:04] 825*2^1446674-1 is not prime. Res64: F092680D1F32BA2F Time : 0.0 sec. user=mdettweiler [2016-11-23 06:02:05] 885*2^1446674-1 is not prime. Res64: 94E3B182F855FB97 Time : 0.0 sec. user=mdettweiler [2016-11-23 06:14:15] 943*2^1446675-1 is not prime. Res64: 2E40741A8BBD5CAB Time : 0.0 sec. user=mdettweiler [2016-11-23 06:14:16] 969*2^1446675-1 is not prime. Res64: C2117FC466D5A13E Time : 0.0 sec. user=mdettweiler [2016-11-23 06:14:16] 777*2^1446676-1 is not prime. Res64: 46E8738DF2D1479B Time : 0.0 sec. user=mdettweiler [2016-11-23 06:14:17] 855*2^1446676-1 is not prime. Res64: 31CC0FEA34E3EA0E Time : 0.0 sec. user=mdettweiler [2016-11-23 06:14:17] 869*2^1446676-1 is not prime. Res64: D6A52375AD88F9E4 Time : 0.0 sec. user=mdettweiler [2016-11-23 06:16:22] 975*2^1446676-1 is not prime. Res64: F1C93E11A9EB96AE Time : 0.0 sec. user=mdettweiler [2016-11-23 06:16:22] 729*2^1446677-1 is not prime. Res64: 3289453FC996EFA8 Time : 0.0 sec. user=mdettweiler [2016-11-23 06:16:23] 799*2^1446677-1 is not prime. Res64: 6004EB29C6719997 Time : 0.0 sec. user=mdettweiler [2016-11-23 06:16:23] 867*2^1446677-1 is not prime. Res64: 54ECA24EBE22CDED Time : 0.0 sec. user=mdettweiler [2016-11-23 06:16:23] 927*2^1446677-1 is not prime. Res64: 481ED74D1E0F65A0 Time : 0.0 sec. user=mdettweiler [2016-11-23 06:18:32] 759*2^1446664-1 is not prime. Res64: 0450C48AB759E8EE Time : 0.0 sec. user=mdettweiler [2016-11-23 06:18:32] 905*2^1446664-1 is not prime. Res64: 1582FE1CB391C5F2 Time : 0.0 sec. user=mdettweiler [2016-11-23 06:18:32] 983*2^1446664-1 is not prime. Res64: 0DA92FC7F858E2E6 Time : 0.0 sec. user=mdettweiler [2016-11-23 06:18:33] 619*2^1446665-1 is not prime. Res64: BEECE6667C8992A5 Time : 0.0 sec. user=mdettweiler [2016-11-23 06:18:33] 787*2^1446665-1 is not prime. Res64: FBB08F3D25239718 Time : 0.0 sec. user=mdettweiler [2016-11-23 06:47:06] 949*2^1446677-1 is not prime. Res64: F33D4D42787DF2AA Time : 0.0 sec. user=mdettweiler [2016-11-23 06:47:06] 981*2^1446677-1 is not prime. Res64: 469C00A10239E3B1 Time : 0.0 sec. user=mdettweiler [2016-11-23 06:47:07] 677*2^1446678-1 is not prime. Res64: 7DBE08BC89B20462 Time : 0.0 sec. user=mdettweiler [2016-11-23 06:47:07] 843*2^1446678-1 is not prime. Res64: FC04A6CC5D84F4C0 Time : 0.0 sec. user=mdettweiler [2016-11-23 06:47:07] 971*2^1446678-1 is not prime. Res64: AA5D795EC4260F3C Time : 0.0 sec. user=mdettweiler [2016-11-23 06:59:06] 977*2^1446678-1 is not prime. Res64: 073F536ED113F844 Time : 0.0 sec. user=mdettweiler [2016-11-23 06:59:06] 993*2^1446678-1 is not prime. Res64: F418885C8CC2B4CA Time : 0.0 sec. user=mdettweiler [2016-11-23 06:59:06] 681*2^1446679-1 is not prime. Res64: C1AD3D7154A6B90F Time : 0.0 sec. user=mdettweiler [2016-11-23 06:59:07] 709*2^1446679-1 is not prime. Res64: C2EBFD2F422AF42A Time : 0.0 sec. user=mdettweiler [2016-11-23 06:59:07] 859*2^1446679-1 is not prime. Res64: ABAC525122469296 Time : 0.0 sec. user=mdettweiler [2016-11-23 07:01:03] 861*2^1446679-1 is not prime. Res64: 817FABF8E30F8585 Time : 0.0 sec. user=mdettweiler [2016-11-23 07:01:04] 895*2^1446679-1 is not prime. Res64: D87D39A5DD5E677D Time : 0.0 sec. user=mdettweiler [2016-11-23 07:01:05] 933*2^1446679-1 is not prime. Res64: 7917142751D988C7 Time : 0.0 sec. user=mdettweiler [2016-11-23 07:01:06] 951*2^1446679-1 is not prime. Res64: 37426ECF6D170F8D Time : 0.0 sec. user=mdettweiler [2016-11-23 07:01:07] 605*2^1446680-1 is not prime. Res64: 199CC68DFFA370AB Time : 0.0 sec. user=mdettweiler [2016-11-23 07:03:26] 633*2^1446680-1 is not prime. Res64: 574EF03CC6960B34 Time : 0.0 sec. user=mdettweiler [2016-11-23 07:03:28] 645*2^1446680-1 is not prime. Res64: B5C5B21EB68A5A25 Time : 0.0 sec. user=mdettweiler [2016-11-23 07:03:29] 713*2^1446680-1 is not prime. Res64: DF5A86ECB9702592 Time : 0.0 sec. user=mdettweiler [2016-11-23 07:03:29] 759*2^1446680-1 is not prime. Res64: D0C9FA0FC84B7C25 Time : 0.0 sec. user=mdettweiler [2016-11-23 07:03:30] 855*2^1446680-1 is not prime. Res64: 3EEEE175E24511C8 Time : 0.0 sec. user=mdettweiler [2016-11-23 07:32:09] 923*2^1446680-1 is not prime. Res64: D517CD20383F1ADC Time : 0.0 sec. user=mdettweiler [2016-11-23 07:32:10] 963*2^1446680-1 is not prime. Res64: 2CBA8508A461730D Time : 0.0 sec. user=mdettweiler [2016-11-23 07:32:10] 625*2^1446681-1 is not prime. Res64: E87AECE37893E215 Time : 0.0 sec. user=mdettweiler [2016-11-23 07:32:11] 657*2^1446681-1 is not prime. Res64: 76450748BA1A22C9 Time : 0.0 sec. user=mdettweiler [2016-11-23 07:32:11] 711*2^1446681-1 is not prime. Res64: D1D957D723FE2470 Time : 0.0 sec. user=mdettweiler [2016-11-23 07:43:58] 795*2^1446681-1 is not prime. Res64: 963C469A18378D84 Time : 0.0 sec. user=mdettweiler [2016-11-23 07:43:58] 861*2^1446681-1 is not prime. Res64: B373A18F6FC69C5D Time : 0.0 sec. user=mdettweiler [2016-11-23 07:43:59] 901*2^1446681-1 is not prime. Res64: AA10E48F1405B9AF Time : 0.0 sec. user=mdettweiler [2016-11-23 07:43:59] 955*2^1446681-1 is not prime. Res64: 63C51B104D200CBB Time : 0.0 sec. user=mdettweiler [2016-11-23 07:43:59] 991*2^1446681-1 is not prime. Res64: 81F887C771508B53 Time : 0.0 sec. user=mdettweiler [2016-11-23 07:45:58] 999*2^1446681-1 is not prime. Res64: 7E75C01CAAD8F4BE Time : 0.0 sec. user=mdettweiler [2016-11-23 07:45:59] 665*2^1446682-1 is not prime. Res64: 59230F1C589F6E99 Time : 0.0 sec. user=mdettweiler [2016-11-23 07:45:59] 675*2^1446682-1 is not prime. Res64: B792116C99285306 Time : 0.0 sec. user=mdettweiler [2016-11-23 07:46:00] 681*2^1446682-1 is not prime. Res64: 538198053A4E67C0 Time : 0.0 sec. user=mdettweiler [2016-11-23 07:46:00] 717*2^1446682-1 is not prime. Res64: 650F7497C5598924 Time : 0.0 sec. user=mdettweiler [2016-11-23 07:48:33] 743*2^1446682-1 is not prime. Res64: 667F7E8DC1D38DD6 Time : 0.0 sec. user=mdettweiler [2016-11-23 07:48:34] 801*2^1446682-1 is not prime. Res64: 8F6C0A445F7C72E4 Time : 0.0 sec. user=mdettweiler [2016-11-23 07:48:34] 821*2^1446682-1 is not prime. Res64: C4E0C1ED0ED1DC8C Time : 0.0 sec. user=mdettweiler [2016-11-23 07:48:35] 911*2^1446682-1 is not prime. Res64: A8372BEE6875FCC0 Time : 0.0 sec. user=mdettweiler [2016-11-23 07:48:35] 915*2^1446682-1 is not prime. Res64: 18E86E3C4D378235 Time : 0.0 sec. user=mdettweiler [2016-11-23 08:17:08] 621*2^1446683-1 is not prime. Res64: 2BCBA9FA4DCFD015 Time : 0.0 sec. user=mdettweiler [2016-11-23 08:17:09] 693*2^1446683-1 is not prime. Res64: F6ABD7ABEDF23427 Time : 0.0 sec. user=mdettweiler [2016-11-23 08:17:09] 715*2^1446683-1 is not prime. Res64: AB531DE281988CD2 Time : 0.0 sec. user=mdettweiler [2016-11-23 08:17:10] 745*2^1446683-1 is not prime. Res64: 64A73B53BDE3B075 Time : 0.0 sec. user=mdettweiler [2016-11-23 08:17:10] 759*2^1446683-1 is not prime. Res64: 074B3E0D3C1B724A Time : 0.0 sec. user=mdettweiler [2016-11-23 08:28:47] 871*2^1446683-1 is not prime. Res64: 993B6DEA51A41E38 Time : 0.0 sec. user=mdettweiler [2016-11-23 08:28:47] 879*2^1446683-1 is not prime. Res64: B4B28933A760C199 Time : 0.0 sec. user=mdettweiler [2016-11-23 08:28:48] 981*2^1446683-1 is not prime. Res64: 93FE858C0177C718 Time : 0.0 sec. user=mdettweiler [2016-11-23 08:28:48] 999*2^1446683-1 is not prime. Res64: B4A49ED3B5CB0BF9 Time : 0.0 sec. user=mdettweiler [2016-11-23 08:28:49] 725*2^1446684-1 is not prime. Res64: 4370B3509F9B71AB Time : 0.0 sec. user=mdettweiler [2016-11-23 08:30:48] 749*2^1446684-1 is not prime. Res64: 260FAB3EFAE0ABF5 Time : 0.0 sec. user=mdettweiler [2016-11-23 08:30:49] 759*2^1446684-1 is not prime. Res64: 5134F6D3EC44EDCA Time : 0.0 sec. user=mdettweiler [2016-11-23 08:30:49] 873*2^1446684-1 is not prime. Res64: 4A1FF777EDB42E5D Time : 0.0 sec. user=mdettweiler [2016-11-23 08:30:49] 875*2^1446684-1 is not prime. Res64: B27A8A6212FA12E8 Time : 0.0 sec. user=mdettweiler [2016-11-23 08:30:50] 929*2^1446684-1 is not prime. Res64: 8DB3524FEECC1726 Time : 0.0 sec. user=mdettweiler [2016-11-23 08:33:37] 789*2^1446685-1 is not prime. Res64: 229835677BB7E28A Time : 0.0 sec. user=mdettweiler [2016-11-23 08:33:37] 801*2^1446685-1 is not prime. Res64: 3205A694B339AA73 Time : 0.0 sec. user=mdettweiler [2016-11-23 08:33:37] 871*2^1446685-1 is not prime. Res64: 150E0CD85F40ADC4 Time : 0.0 sec. user=mdettweiler [2016-11-23 08:33:38] 981*2^1446685-1 is not prime. Res64: 93EACEBC493BD82A Time : 0.0 sec. user=mdettweiler [2016-11-23 08:33:38] 615*2^1446686-1 is not prime. Res64: D9480FE4CCAAC5A9 Time : 0.0 sec. user=mdettweiler [2016-11-23 09:01:51] 813*2^1446686-1 is not prime. Res64: E4DE00E79752F673 Time : 0.0 sec. user=mdettweiler [2016-11-23 09:01:53] 831*2^1446686-1 is not prime. Res64: 46AF3A53EAFFB0CF Time : 0.0 sec. user=mdettweiler [2016-11-23 09:01:54] 843*2^1446686-1 is not prime. Res64: EFE5A45B5247EF88 Time : 0.0 sec. user=mdettweiler [2016-11-23 09:01:55] 875*2^1446686-1 is not prime. Res64: E9C131AC449CC6EC Time : 0.0 sec. user=mdettweiler [2016-11-23 09:01:56] 897*2^1446686-1 is not prime. Res64: 2B0DB3B4495C9310 Time : 0.0 sec. user=mdettweiler [2016-11-23 09:13:23] 911*2^1446686-1 is not prime. Res64: 109FC4B74DB39586 Time : 0.0 sec. user=mdettweiler [2016-11-23 09:13:24] 957*2^1446686-1 is not prime. Res64: 6C22C2BD605D32FA Time : 0.0 sec. user=mdettweiler [2016-11-23 09:13:24] 971*2^1446686-1 is not prime. Res64: 2877920A180E7FFD Time : 0.0 sec. user=mdettweiler [2016-11-23 09:13:25] 633*2^1446687-1 is not prime. Res64: 1325671867AF069F Time : 0.0 sec. user=mdettweiler [2016-11-23 09:13:25] 693*2^1446687-1 is not prime. Res64: 35FC35E750F56CDD Time : 0.0 sec. user=mdettweiler [2016-11-23 09:15:35] 859*2^1446687-1 is not prime. Res64: 64CB59ACCFFD338C Time : 0.0 sec. user=mdettweiler [2016-11-23 09:15:36] 951*2^1446687-1 is not prime. Res64: 2D118778F563237A Time : 0.0 sec. user=mdettweiler [2016-11-23 09:15:36] 955*2^1446687-1 is not prime. Res64: 16EB3F8C715E9600 Time : 0.0 sec. user=mdettweiler [2016-11-23 09:15:37] 991*2^1446687-1 is not prime. Res64: 672CAE419C0FBB11 Time : 0.0 sec. user=mdettweiler [2016-11-23 09:15:37] 603*2^1446688-1 is not prime. Res64: 35B95668ED528CCA Time : 0.0 sec. user=mdettweiler [2016-11-23 09:18:21] 773*2^1446688-1 is not prime. Res64: 1B0996C9FE1788B5 Time : 0.0 sec. user=mdettweiler [2016-11-23 09:18:22] 803*2^1446688-1 is not prime. Res64: 7D025FFDF62F6CAA Time : 0.0 sec. user=mdettweiler [2016-11-23 09:18:22] 855*2^1446688-1 is not prime. Res64: 55C11CCB489A6E9D Time : 0.0 sec. user=mdettweiler [2016-11-23 09:18:23] 887*2^1446688-1 is not prime. Res64: AF09F999F64A19AD Time : 0.0 sec. user=mdettweiler [2016-11-23 09:18:23] 957*2^1446688-1 is not prime. Res64: A8027D45DA87DEED Time : 0.0 sec. user=mdettweiler [2016-11-23 09:46:53] 995*2^1446688-1 is not prime. Res64: 3E05FAE16370A326 Time : 0.0 sec. user=mdettweiler [2016-11-23 09:46:54] 615*2^1446689-1 is not prime. Res64: 1D73D205FA7223CB Time : 0.0 sec. user=mdettweiler [2016-11-23 09:46:54] 631*2^1446689-1 is not prime. Res64: E65CD9C62B21DCAF Time : 0.0 sec. user=mdettweiler [2016-11-23 09:46:54] 727*2^1446689-1 is not prime. Res64: 7AD487989B3D7E9B Time : 0.0 sec. user=mdettweiler [2016-11-23 09:46:55] 741*2^1446689-1 is not prime. Res64: 33C84B1A58CD1486 Time : 0.0 sec. user=mdettweiler [2016-11-23 09:58:12] 855*2^1446689-1 is not prime. Res64: 0657650F51F17D1B Time : 0.0 sec. user=mdettweiler [2016-11-23 09:58:12] 985*2^1446689-1 is not prime. Res64: 15871638ADA0B01D Time : 0.0 sec. user=mdettweiler [2016-11-23 09:58:12] 987*2^1446689-1 is not prime. Res64: D10D965C6D4F141E Time : 0.0 sec. user=mdettweiler [2016-11-23 09:58:13] 611*2^1446690-1 is not prime. Res64: 1CBB9D4200AB8523 Time : 0.0 sec. user=mdettweiler [2016-11-23 09:58:13] 717*2^1446690-1 is not prime. Res64: 58821E8CAF35F389 Time : 0.0 sec. user=mdettweiler [2016-11-23 10:00:18] 723*2^1446690-1 is not prime. Res64: 24FA976C83D3D99B Time : 0.0 sec. user=mdettweiler [2016-11-23 10:00:18] 725*2^1446690-1 is not prime. Res64: A0482E790F32950C Time : 0.0 sec. user=mdettweiler [2016-11-23 10:00:19] 741*2^1446690-1 is not prime. Res64: 2F8E51A4B221EBE4 Time : 0.0 sec. user=mdettweiler [2016-11-23 10:00:20] 951*2^1446690-1 is not prime. Res64: 7175F3CABDA7B8D5 Time : 0.0 sec. user=mdettweiler [2016-11-23 10:00:20] 971*2^1446690-1 is not prime. Res64: 61777943ED71A658 Time : 0.0 sec. user=mdettweiler [2016-11-23 10:03:12] 619*2^1446691-1 is not prime. Res64: 4153B413190FDBD6 Time : 0.0 sec. user=mdettweiler [2016-11-23 10:03:14] 651*2^1446691-1 is not prime. Res64: B50F6C86E8E60008 Time : 0.0 sec. user=mdettweiler [2016-11-23 10:03:15] 705*2^1446691-1 is not prime. Res64: 3BAA857DB5860A0C Time : 0.0 sec. user=mdettweiler [2016-11-23 10:03:16] 723*2^1446691-1 is not prime. Res64: 1CD226066FAD02AC Time : 0.0 sec. user=mdettweiler [2016-11-23 10:03:17] 769*2^1446691-1 is not prime. Res64: 37692D796788F989 Time : 0.0 sec. user=mdettweiler [2016-11-23 10:31:45] 889*2^1446691-1 is not prime. Res64: EA51DE6C54F9241B Time : 0.0 sec. user=mdettweiler [2016-11-23 10:31:46] 975*2^1446691-1 is not prime. Res64: A3F60E8C8D7BE9D6 Time : 0.0 sec. user=mdettweiler [2016-11-23 10:31:46] 665*2^1446692-1 is not prime. Res64: 58F9B7957569F357 Time : 0.0 sec. user=mdettweiler [2016-11-23 10:31:47] 735*2^1446692-1 is not prime. Res64: 79E2E8ABEAC3ED37 Time : 0.0 sec. user=mdettweiler [2016-11-23 10:31:47] 749*2^1446692-1 is not prime. Res64: 9FFE6B80CFD3903E Time : 0.0 sec. user=mdettweiler [2016-11-23 10:42:54] 767*2^1446692-1 is not prime. Res64: 8312E14BD47055F0 Time : 0.0 sec. user=mdettweiler [2016-11-23 10:42:55] 879*2^1446692-1 is not prime. Res64: 1C33F1577FA200A5 Time : 0.0 sec. user=mdettweiler [2016-11-23 10:42:55] 929*2^1446692-1 is not prime. Res64: EEA1DBC604360E5A Time : 0.0 sec. user=mdettweiler [2016-11-23 10:42:55] 959*2^1446692-1 is not prime. Res64: 3DD1395FB5FADD2D Time : 0.0 sec. user=mdettweiler [2016-11-23 10:42:56] 681*2^1446693-1 is not prime. Res64: 47EB0DD1C0B2465A Time : 0.0 sec. user=mdettweiler [2016-11-23 10:45:04] 961*2^1446693-1 is not prime. Res64: B0DA73A108D99AEA Time : 0.0 sec. user=mdettweiler [2016-11-23 10:45:04] 985*2^1446693-1 is not prime. Res64: 346D121D809C7B9F Time : 0.0 sec. user=mdettweiler [2016-11-23 10:45:04] 677*2^1446694-1 is not prime. Res64: 711AC9C69787E8E4 Time : 0.0 sec. user=mdettweiler [2016-11-23 10:45:05] 717*2^1446694-1 is not prime. Res64: 99DD31E37029DB87 Time : 0.0 sec. user=mdettweiler [2016-11-23 10:45:05] 737*2^1446694-1 is not prime. Res64: C23B2149A9165CE5 Time : 0.0 sec. user=mdettweiler [2016-11-23 10:48:04] 651*2^1446695-1 is not prime. Res64: 044F66F52FFFA21D Time : 0.0 sec. user=mdettweiler [2016-11-23 10:48:05] 685*2^1446695-1 is not prime. Res64: 70F439BAA799F4C7 Time : 0.0 sec. user=mdettweiler [2016-11-23 10:48:05] 783*2^1446695-1 is not prime. Res64: 1A3F5C8152226895 Time : 0.0 sec. user=mdettweiler [2016-11-23 10:48:05] 963*2^1446695-1 is not prime. Res64: 9D5312AF6D6226C6 Time : 0.0 sec. user=mdettweiler [2016-11-23 10:48:06] 629*2^1446696-1 is not prime. Res64: 3835E4350BCC9A17 Time : 0.0 sec. user=mdettweiler [2016-11-23 11:16:20] 653*2^1446696-1 is not prime. Res64: BC301505BCAFA32A Time : 0.0 sec. user=mdettweiler [2016-11-23 11:16:21] 735*2^1446696-1 is not prime. Res64: 1CD813B38A8FBEAD Time : 0.0 sec. user=mdettweiler [2016-11-23 11:16:21] 737*2^1446696-1 is not prime. Res64: 87FA1CC34F0A3DED Time : 0.0 sec. user=mdettweiler [2016-11-23 11:16:22] 765*2^1446696-1 is not prime. Res64: 9B5381B918DBFFDC Time : 0.0 sec. user=mdettweiler [2016-11-23 11:16:22] 803*2^1446696-1 is not prime. Res64: 34191B61F1E83283 Time : 0.0 sec. user=mdettweiler [2016-11-23 11:27:46] 843*2^1446696-1 is not prime. Res64: 111796D26DC446EB Time : 0.0 sec. user=mdettweiler [2016-11-23 11:27:46] 879*2^1446696-1 is not prime. Res64: 05D8912FBEBE1AD0 Time : 0.0 sec. user=mdettweiler [2016-11-23 11:27:46] 645*2^1446697-1 is not prime. Res64: 1C01148AD4253291 Time : 0.0 sec. user=mdettweiler [2016-11-23 11:27:47] 771*2^1446697-1 is not prime. Res64: F85402DBC6B51E23 Time : 0.0 sec. user=mdettweiler [2016-11-23 11:27:47] 885*2^1446697-1 is not prime. Res64: CFB493A1E3B9FBBA Time : 0.0 sec. user=mdettweiler [2016-11-23 11:29:45] 897*2^1446697-1 is not prime. Res64: CF10A9729180A6E5 Time : 0.0 sec. user=mdettweiler [2016-11-23 11:29:45] 939*2^1446697-1 is not prime. Res64: 15266DA3EB8EB834 Time : 0.0 sec. user=mdettweiler [2016-11-23 11:29:46] 603*2^1446698-1 is not prime. Res64: 3B5E86D4229DEEC3 Time : 0.0 sec. user=mdettweiler [2016-11-23 11:29:46] 633*2^1446698-1 is not prime. Res64: 9BAFCF49C09521A0 Time : 0.0 sec. user=mdettweiler [2016-11-23 11:29:47] 705*2^1446698-1 is not prime. Res64: F631B84A70566FE6 Time : 0.0 sec. user=mdettweiler [2016-11-23 11:32:57] 767*2^1446698-1 is not prime. Res64: 11D26C6BD07DC495 Time : 0.0 sec. user=mdettweiler [2016-11-23 11:32:58] 831*2^1446698-1 is not prime. Res64: B70112EBE1C4A719 Time : 0.0 sec. user=mdettweiler [2016-11-23 11:32:58] 837*2^1446698-1 is not prime. Res64: 2118A7D55EE0C5BF Time : 0.0 sec. user=mdettweiler [2016-11-23 11:32:58] 843*2^1446698-1 is not prime. Res64: 4AEAB14497F70514 Time : 0.0 sec. user=mdettweiler [2016-11-23 11:32:59] 885*2^1446698-1 is not prime. Res64: E9C81B0C3EAD9062 Time : 0.0 sec. user=mdettweiler [2016-11-23 12:01:19] 977*2^1446698-1 is not prime. Res64: 7F858C07A83A1565 Time : 0.0 sec. user=mdettweiler [2016-11-23 12:01:21] 625*2^1446699-1 is not prime. Res64: E0616C6D64F4D507 Time : 0.0 sec. user=mdettweiler [2016-11-23 12:01:21] 675*2^1446699-1 is not prime. Res64: 60329D95AEB1E927 Time : 0.0 sec. user=mdettweiler [2016-11-23 12:01:22] 703*2^1446699-1 is not prime. Res64: 6438F0CD21F58B7D Time : 0.0 sec. user=mdettweiler [2016-11-23 12:01:23] 735*2^1446699-1 is not prime. Res64: 5B8631DA16AD5329 Time : 0.0 sec. user=mdettweiler [2016-11-23 12:12:43] 795*2^1446699-1 is not prime. Res64: 187F7161753F117E Time : 0.0 sec. user=mdettweiler [2016-11-23 12:12:44] 843*2^1446699-1 is not prime. Res64: 09F49EABF3C77179 Time : 0.0 sec. user=mdettweiler [2016-11-23 12:12:44] 891*2^1446699-1 is not prime. Res64: 2D1F294DB3A1D2A6 Time : 0.0 sec. user=mdettweiler [2016-11-23 12:12:44] 969*2^1446699-1 is not prime. Res64: FE6DA917FBAEBD0E Time : 0.0 sec. user=mdettweiler [2016-11-23 12:12:44] 975*2^1446699-1 is not prime. Res64: 7EF3CA3BC2E4D770 Time : 0.0 sec. user=mdettweiler [2016-11-23 12:14:39] 991*2^1446699-1 is not prime. Res64: 09B2D8898AD524E0 Time : 0.0 sec. user=mdettweiler [2016-11-23 12:14:39] 635*2^1446700-1 is not prime. Res64: 7D2994B86CD66E0F Time : 0.0 sec. user=mdettweiler [2016-11-23 12:14:40] 665*2^1446700-1 is not prime. Res64: 7BFDF740320D497D Time : 0.0 sec. user=mdettweiler [2016-11-23 12:14:40] 677*2^1446700-1 is not prime. Res64: 6A139AC33C0B77AF Time : 0.0 sec. user=mdettweiler [2016-11-23 12:14:41] 717*2^1446700-1 is not prime. Res64: 564AA22D4BC246B3 Time : 0.0 sec. user=mdettweiler [2016-11-23 12:18:13] 723*2^1446700-1 is not prime. Res64: CC24298C68DC8644 Time : 0.0 sec. user=mdettweiler [2016-11-23 12:18:13] 607*2^1446701-1 is not prime. Res64: 109325D2ABA16387 Time : 0.0 sec. user=mdettweiler [2016-11-23 12:18:13] 691*2^1446701-1 is not prime. Res64: BFFEB14F7142AA13 Time : 0.0 sec. user=mdettweiler [2016-11-23 12:18:14] 945*2^1446701-1 is not prime. Res64: 325EA9F499316073 Time : 0.0 sec. user=mdettweiler [2016-11-23 12:18:14] 987*2^1446701-1 is not prime. Res64: 7140C6E5951CA676 Time : 0.0 sec. user=mdettweiler [2016-11-23 12:48:07] 621*2^1446702-1 is not prime. Res64: EE4D2037D7822A59 Time : 0.0 sec. user=mdettweiler [2016-11-23 12:48:07] 681*2^1446702-1 is not prime. Res64: 5ADEAF26B444D03B Time : 0.0 sec. user=mdettweiler [2016-11-23 12:48:07] 755*2^1446702-1 is not prime. Res64: FD61B038E1CD9DB0 Time : 0.0 sec. user=mdettweiler [2016-11-23 12:48:08] 833*2^1446702-1 is not prime. Res64: 8BC33CF6BCBBD95A Time : 0.0 sec. user=mdettweiler [2016-11-23 12:48:08] 867*2^1446702-1 is not prime. Res64: 596D78CB5CD93D60 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:00:06] 891*2^1446702-1 is not prime. Res64: 48273AC19868304D Time : 0.0 sec. user=mdettweiler [2016-11-23 13:00:07] 917*2^1446702-1 is not prime. Res64: 0DEEEF02C1450B32 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:00:07] 1001*2^1446702-1 is not prime. Res64: 3B2DB7F896D18B82 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:00:07] 617*2^1446704-1 is not prime. Res64: 7F0A87AE16186F72 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:00:08] 843*2^1446704-1 is not prime. Res64: 915A1E603CF7A87F Time : 0.0 sec. user=mdettweiler [2016-11-23 13:02:15] 893*2^1446704-1 is not prime. Res64: FC7C7392E3F56B22 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:02:16] 899*2^1446704-1 is not prime. Res64: 16CFBC4FA2C00C58 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:02:17] 909*2^1446704-1 is not prime. Res64: D75DC9F7383083B6 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:02:17] 959*2^1446704-1 is not prime. Res64: 63B66E4051F67232 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:02:18] 601*2^1446705-1 is not prime. Res64: DC0695D5A6927E1C Time : 0.0 sec. user=mdettweiler [2016-11-23 13:05:25] 717*2^1446705-1 is not prime. Res64: 4EEB8DDEB815DBD8 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:05:29] 795*2^1446705-1 is not prime. Res64: FAD76A38AB28118D Time : 0.0 sec. user=mdettweiler [2016-11-23 13:05:32] 831*2^1446705-1 is not prime. Res64: 69E31F523F809FE1 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:05:32] 717*2^1446706-1 is not prime. Res64: 4D1FCC16335ABC16 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:05:33] 755*2^1446706-1 is not prime. Res64: EF7C002FC9052BB6 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:33:59] 855*2^1446706-1 is not prime. Res64: F19D3A0332D0FF17 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:34:00] 981*2^1446706-1 is not prime. Res64: E0AD9D8CE964E294 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:34:01] 645*2^1446707-1 is not prime. Res64: 8E6942BFF9381816 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:34:02] 819*2^1446707-1 is not prime. Res64: AE93AF0FC0100DED Time : 0.0 sec. user=mdettweiler [2016-11-23 13:34:02] 627*2^1446708-1 is not prime. Res64: 45DAFD9F09737024 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:45:53] 665*2^1446708-1 is not prime. Res64: 09EDB430B7515909 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:45:53] 705*2^1446708-1 is not prime. Res64: 6BA97849AA7A7E20 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:45:54] 737*2^1446708-1 is not prime. Res64: 3E6B17B7AC3FB89B Time : 0.0 sec. user=mdettweiler [2016-11-23 13:45:54] 783*2^1446708-1 is not prime. Res64: 9325DA1D3E689340 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:45:55] 837*2^1446708-1 is not prime. Res64: AF9AECEB0FBA0C3B Time : 0.0 sec. user=mdettweiler [2016-11-23 13:48:04] 987*2^1446708-1 is not prime. Res64: AE74352D1C5A2C8C Time : 0.0 sec. user=mdettweiler [2016-11-23 13:48:05] 685*2^1446709-1 is not prime. Res64: 862B7AC2AC5E23D7 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:48:05] 757*2^1446709-1 is not prime. Res64: E7E11C180C521173 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:48:05] 759*2^1446709-1 is not prime. Res64: C93134D88F18871E Time : 0.0 sec. user=mdettweiler [2016-11-23 13:48:05] 817*2^1446709-1 is not prime. Res64: 1EB6D53387A3F66A Time : 0.0 sec. user=mdettweiler [2016-11-23 13:51:46] 885*2^1446709-1 is not prime. Res64: 9BDDD0E0259E8F6E Time : 0.0 sec. user=mdettweiler [2016-11-23 13:51:46] 955*2^1446709-1 is not prime. Res64: AF3E4333F40D7AFF Time : 0.0 sec. user=mdettweiler [2016-11-23 13:51:47] 975*2^1446709-1 is not prime. Res64: 08BE01DB8CBBDC83 Time : 0.0 sec. user=mdettweiler [2016-11-23 13:51:47] 663*2^1446710-1 is not prime. Res64: A2D369794CA2B90D Time : 0.0 sec. user=mdettweiler [2016-11-23 13:51:47] 867*2^1446710-1 is not prime. Res64: 61C5FEF7E7215234 Time : 0.0 sec. user=mdettweiler [2016-11-23 14:20:16] 643*2^1446711-1 is not prime. Res64: A9693FCA2AB775F2 Time : 0.0 sec. user=mdettweiler [2016-11-23 14:20:16] 669*2^1446711-1 is not prime. Res64: C97103F1CB31C099 Time : 0.0 sec. user=mdettweiler [2016-11-23 14:20:17] 781*2^1446711-1 is not prime. Res64: 0905721F75AFD289 Time : 0.0 sec. user=mdettweiler [2016-11-23 14:20:17] 819*2^1446711-1 is not prime. Res64: 5E53D0B8A5C1D5A3 Time : 0.0 sec. user=mdettweiler [2016-11-23 14:20:18] 931*2^1446711-1 is not prime. Res64: 3315BFE806EED6A1 Time : 0.0 sec. user=mdettweiler [2016-11-23 14:32:28] 629*2^1446712-1 is not prime. Res64: BE6715ACC9381363 Time : 0.0 sec. user=mdettweiler [2016-11-23 14:32:28] 635*2^1446712-1 is not prime. Res64: A7BF8D049858E6A9 Time : 0.0 sec. user=mdettweiler [2016-11-23 14:32:29] 657*2^1446712-1 is not prime. Res64: 3883D9A0DA4D4276 Time : 0.0 sec. user=mdettweiler [2016-11-23 14:32:30] 665*2^1446712-1 is not prime. Res64: E048F836EFA5AB75 Time : 0.0 sec. user=mdettweiler [2016-11-23 14:32:30] 765*2^1446712-1 is not prime. Res64: 14F597E8C8E654BC Time : 0.0 sec. user=mdettweiler [2016-11-23 14:34:18] 833*2^1446712-1 is not prime. Res64: BAD4A93411FECB06 Time : 0.0 sec. user=mdettweiler [2016-11-23 14:34:18] 869*2^1446712-1 is not prime. Res64: F5CA73D9C22792E2 Time : 0.0 sec. user=mdettweiler [2016-11-23 14:34:19] 899*2^1446712-1 is not prime. Res64: 7F38F8DC56A72AB8 Time : 0.0 sec. user=mdettweiler [2016-11-23 14:34:19] 957*2^1446712-1 is not prime. Res64: 2CD310F01DEDADC1 Time : 0.0 sec. user=mdettweiler [2016-11-23 14:34:19] 649*2^1446713-1 is not prime. Res64: 5C13D1032F408494 Time : 0.0 sec. user=mdettweiler [2016-11-23 14:37:56] 675*2^1446713-1 is not prime. Res64: 8C76CAF527E0BE41 Time : 0.0 sec. user=mdettweiler [2016-11-23 14:37:56] 699*2^1446713-1 is not prime. Res64: 2967BFF1A2A08CCB Time : 0.0 sec. user=mdettweiler [2016-11-23 14:37:57] 831*2^1446713-1 is not prime. Res64: B3A29B7BBAB6E1FF Time : 0.0 sec. user=mdettweiler [2016-11-23 14:37:57] 879*2^1446713-1 is not prime. Res64: C4E1474C7E151756 Time : 0.0 sec. user=mdettweiler [2016-11-23 14:37:57] 889*2^1446713-1 is not prime. Res64: 256C7266052A7C02 Time : 0.0 sec. user=mdettweiler [2016-11-23 15:08:01] 897*2^1446713-1 is not prime. Res64: 42D4696099DC773D Time : 0.0 sec. user=mdettweiler [2016-11-23 15:08:03] 945*2^1446713-1 is not prime. Res64: 707D8229B75799A4 Time : 0.0 sec. user=mdettweiler [2016-11-23 15:08:04] 987*2^1446713-1 is not prime. Res64: 38F22B6DD136A151 Time : 0.0 sec. user=mdettweiler [2016-11-23 15:08:06] 635*2^1446714-1 is not prime. Res64: 83F1E8B4200E3875 Time : 0.0 sec. user=mdettweiler [2016-11-23 15:08:07] 663*2^1446714-1 is not prime. Res64: BA7077D719648E01 Time : 0.0 sec. user=mdettweiler [2016-11-23 15:20:22] 711*2^1446714-1 is not prime. Res64: 178BDEF328C60C1A Time : 0.0 sec. user=mdettweiler [2016-11-23 15:20:23] 765*2^1446714-1 is not prime. Res64: B2CFB0F80A59B0B2 Time : 0.0 sec. user=mdettweiler [2016-11-23 15:20:24] 917*2^1446714-1 is not prime. Res64: 1C83A71D3C94AABC Time : 0.0 sec. user=mdettweiler [2016-11-23 15:20:24] 993*2^1446714-1 is not prime. Res64: 0B912726695A8DBE Time : 0.0 sec. user=mdettweiler [2016-11-23 15:20:25] 603*2^1446715-1 is not prime. Res64: 86D2DFD17052F1B3 Time : 0.0 sec. user=mdettweiler [2016-11-23 15:22:01] 633*2^1446715-1 is not prime. Res64: A317D1A62A0E973A Time : 0.0 sec. user=mdettweiler [2016-11-23 15:22:01] 645*2^1446715-1 is not prime. Res64: D6BD7D8736EF57EF Time : 0.0 sec. user=mdettweiler [2016-11-23 15:22:02] 709*2^1446715-1 is not prime. Res64: 8892F5BF81363840 Time : 0.0 sec. user=mdettweiler [2016-11-23 15:22:02] 793*2^1446715-1 is not prime. Res64: 53B7142F3226BF02 Time : 0.0 sec. user=mdettweiler [2016-11-23 15:22:02] 853*2^1446715-1 is not prime. Res64: C5677F075939677F Time : 0.0 sec. user=mdettweiler [2016-11-23 15:25:42] 859*2^1446715-1 is not prime. Res64: 0A91BFD4D399C29A Time : 0.0 sec. user=mdettweiler [2016-11-23 15:25:43] 909*2^1446715-1 is not prime. Res64: 456B20CB8142C47E Time : 0.0 sec. user=mdettweiler [2016-11-23 15:25:43] 633*2^1446716-1 is not prime. Res64: 78BA3FA55D33B134 Time : 0.0 sec. user=mdettweiler [2016-11-23 15:25:43] 843*2^1446716-1 is not prime. Res64: 89AAE027E7225481 Time : 0.0 sec. user=mdettweiler [2016-11-23 15:25:44] 857*2^1446716-1 is not prime. Res64: 5AF555B02526E4EC Time : 0.0 sec. user=mdettweiler [2016-11-23 15:56:37] 873*2^1446716-1 is not prime. Res64: D8D90596A8EC6F74 Time : 0.0 sec. user=mdettweiler [2016-11-23 15:56:37] 945*2^1446716-1 is not prime. Res64: 18BB7C0790286A46 Time : 0.0 sec. user=mdettweiler [2016-11-23 15:56:37] 969*2^1446716-1 is not prime. Res64: 51BC2E619FBF9B10 Time : 0.0 sec. user=mdettweiler [2016-11-23 15:56:38] 651*2^1446717-1 is not prime. Res64: C88E224FF3EF13F8 Time : 0.0 sec. user=mdettweiler [2016-11-23 15:56:38] 667*2^1446717-1 is not prime. Res64: AD01BBE9D5B8A6EE Time : 0.0 sec. user=mdettweiler [2016-11-23 16:09:07] 709*2^1446717-1 is not prime. Res64: A740E7FADD81F8AF Time : 0.0 sec. user=mdettweiler [2016-11-23 16:09:08] 765*2^1446717-1 is not prime. Res64: DA0E1D3E961C5525 Time : 0.0 sec. user=mdettweiler [2016-11-23 16:09:08] 861*2^1446717-1 is not prime. Res64: 8AD4E83841E9723A Time : 0.0 sec. user=mdettweiler [2016-11-23 16:09:08] 945*2^1446717-1 is not prime. Res64: 6C7059C89F7630B1 Time : 0.0 sec. user=mdettweiler [2016-11-23 16:09:08] 651*2^1446718-1 is not prime. Res64: 758713252AB69847 Time : 0.0 sec. user=mdettweiler [2016-11-23 16:11:14] 705*2^1446718-1 is not prime. Res64: E448C7B87A62F1A8 Time : 0.0 sec. user=mdettweiler [2016-11-23 16:11:14] 707*2^1446718-1 is not prime. Res64: 355D6C322E92210F Time : 0.0 sec. user=mdettweiler [2016-11-23 16:11:14] 801*2^1446718-1 is not prime. Res64: A95FB5BF0D561116 Time : 0.0 sec. user=mdettweiler [2016-11-23 16:11:15] 821*2^1446718-1 is not prime. Res64: 8850DEDAA6CE2B17 Time : 0.0 sec. user=mdettweiler [2016-11-23 16:11:15] 891*2^1446718-1 is not prime. Res64: 2C56D44D7FD69D62 Time : 0.0 sec. user=mdettweiler [2016-11-23 16:16:53] 987*2^1446718-1 is not prime. Res64: EBECA71329FE1EE5 Time : 0.0 sec. user=mdettweiler [2016-11-23 16:16:53] 729*2^1446719-1 is not prime. Res64: 1910CCC3A2FAE46A Time : 0.0 sec. user=mdettweiler [2016-11-23 16:16:53] 735*2^1446719-1 is not prime. Res64: 12693F2561291BE6 Time : 0.0 sec. user=mdettweiler [2016-11-23 16:16:54] 813*2^1446719-1 is not prime. Res64: 173E4C59D09E9E33 Time : 0.0 sec. user=mdettweiler [2016-11-23 16:16:54] 931*2^1446719-1 is not prime. Res64: 84F2AADBA3053832 Time : 0.0 sec. user=mdettweiler [2016-11-23 16:47:35] 949*2^1446719-1 is not prime. Res64: DF9DD15DF21C4FB0 Time : 0.0 sec. user=mdettweiler [2016-11-23 16:47:35] 993*2^1446719-1 is not prime. Res64: 10AFA596DA428164 Time : 0.0 sec. user=mdettweiler [2016-11-23 16:47:36] 615*2^1446720-1 is not prime. Res64: 8688E6EF99D523E1 Time : 0.0 sec. user=mdettweiler [2016-11-23 16:47:36] 767*2^1446720-1 is not prime. Res64: B0034EE782659217 Time : 0.0 sec. user=mdettweiler [2016-11-23 16:47:36] 789*2^1446720-1 is not prime. Res64: BF63594F29AAC7D0 Time : 0.0 sec. user=mdettweiler [2016-11-23 16:58:31] 839*2^1446720-1 is not prime. Res64: 96FB2F6A7B7313B3 Time : 0.0 sec. user=mdettweiler [2016-11-23 16:58:32] 873*2^1446720-1 is not prime. Res64: 6B48A37558A6F6E3 Time : 0.0 sec. user=mdettweiler [2016-11-23 16:58:32] 893*2^1446720-1 is not prime. Res64: 20E23DD4AB99E92C Time : 0.0 sec. user=mdettweiler [2016-11-23 16:58:33] 927*2^1446720-1 is not prime. Res64: D28794F4FF2291E2 Time : 0.0 sec. user=mdettweiler [2016-11-23 16:58:33] 929*2^1446720-1 is not prime. Res64: 4BF4BDBF427A80BE Time : 0.0 sec. user=mdettweiler [2016-11-23 17:00:13] 945*2^1446720-1 is not prime. Res64: F2BADDFB6F3C5B7D Time : 0.0 sec. user=mdettweiler [2016-11-23 17:00:15] 727*2^1446721-1 is not prime. Res64: F1CFD560D2617B2E Time : 0.0 sec. user=mdettweiler [2016-11-23 17:00:16] 747*2^1446721-1 is not prime. Res64: 4F7327F376CEA1DE Time : 0.0 sec. user=mdettweiler [2016-11-23 17:00:18] 819*2^1446721-1 is not prime. Res64: 85C3A23A0DF6EABF Time : 0.0 sec. user=mdettweiler [2016-11-23 17:00:18] 861*2^1446721-1 is not prime. Res64: D42A5472EB5EA459 Time : 0.0 sec. user=mdettweiler [2016-11-23 17:04:43] 925*2^1446721-1 is not prime. Res64: E0467A5CD0BD1076 Time : 0.0 sec. user=mdettweiler [2016-11-23 17:04:45] 603*2^1446722-1 is not prime. Res64: 541788DF0132E9A0 Time : 0.0 sec. user=mdettweiler [2016-11-23 17:04:46] 635*2^1446722-1 is not prime. Res64: D1C9B6BA6BB812FC Time : 0.0 sec. user=mdettweiler [2016-11-23 17:04:47] 645*2^1446722-1 is not prime. Res64: 555CB585612633B2 Time : 0.0 sec. user=mdettweiler [2016-11-23 17:04:48] 657*2^1446722-1 is not prime. Res64: D002822767336973 Time : 0.0 sec. user=mdettweiler [2016-11-23 17:34:17] 741*2^1446722-1 is not prime. Res64: 771AA65CEC17243D Time : 0.0 sec. user=mdettweiler [2016-11-23 17:34:17] 791*2^1446722-1 is not prime. Res64: 654A526E9526A0FD Time : 0.0 sec. user=mdettweiler [2016-11-23 17:34:18] 797*2^1446722-1 is not prime. Res64: 984D23A5ADA0830F Time : 0.0 sec. user=mdettweiler [2016-11-23 17:34:18] 825*2^1446722-1 is not prime. Res64: 06F197F178E3AB1F Time : 0.0 sec. user=mdettweiler [2016-11-23 17:34:19] 875*2^1446722-1 is not prime. Res64: 69F4FFD962279D31 Time : 0.0 sec. user=mdettweiler [2016-11-23 17:45:17] 893*2^1446722-1 is not prime. Res64: 3235C40DBE2690D3 Time : 0.0 sec. user=mdettweiler [2016-11-23 17:45:18] 923*2^1446722-1 is not prime. Res64: E6B16073ECCA4C4B Time : 0.0 sec. user=mdettweiler [2016-11-23 17:45:18] 941*2^1446722-1 is not prime. Res64: 4AF3B4E6A17456B5 Time : 0.0 sec. user=mdettweiler [2016-11-23 17:45:18] 945*2^1446722-1 is not prime. Res64: D492AC8E0B9C70B0 Time : 0.0 sec. user=mdettweiler [2016-11-23 17:45:19] 613*2^1446723-1 is not prime. Res64: 2158DBEFBA29D159 Time : 0.0 sec. user=mdettweiler [2016-11-23 17:47:18] 649*2^1446723-1 is not prime. Res64: F6277EEC5FFF0B3F Time : 0.0 sec. user=mdettweiler [2016-11-23 17:47:18] 663*2^1446723-1 is not prime. Res64: E87CC3D7A01A966F Time : 0.0 sec. user=mdettweiler [2016-11-23 17:47:18] 699*2^1446723-1 is not prime. Res64: 501D0463CFBDE340 Time : 0.0 sec. user=mdettweiler [2016-11-23 17:47:19] 705*2^1446723-1 is not prime. Res64: D601EB2F55291BFD Time : 0.0 sec. user=mdettweiler [2016-11-23 17:47:19] 795*2^1446723-1 is not prime. Res64: F12BBB27B2C71324 Time : 0.0 sec. user=mdettweiler [2016-11-23 17:51:42] 819*2^1446723-1 is not prime. Res64: 364EA87A3541E397 Time : 0.0 sec. user=mdettweiler [2016-11-23 17:51:42] 945*2^1446723-1 is not prime. Res64: 58270CD5846FC2EF Time : 0.0 sec. user=mdettweiler [2016-11-23 17:51:42] 605*2^1446724-1 is not prime. Res64: 074EE66144CD25EA Time : 0.0 sec. user=mdettweiler [2016-11-23 17:51:43] 615*2^1446724-1 is not prime. Res64: 93120FD8A56E1D91 Time : 0.0 sec. user=mdettweiler [2016-11-23 17:51:43] 677*2^1446724-1 is not prime. Res64: 7A30576CA738D3B0 Time : 0.0 sec. user=mdettweiler [2016-11-23 18:22:54] 803*2^1446724-1 is not prime. Res64: BAB8BF1939BF9901 Time : 0.0 sec. user=mdettweiler [2016-11-23 18:22:54] 607*2^1446725-1 is not prime. Res64: 5447A573247B7CDF Time : 0.0 sec. user=mdettweiler [2016-11-23 18:22:55] 645*2^1446725-1 is not prime. Res64: A9895E69D4E9CA18 Time : 0.0 sec. user=mdettweiler [2016-11-23 18:22:55] 649*2^1446725-1 is not prime. Res64: F52293AFE2EC1A7E Time : 0.0 sec. user=mdettweiler [2016-11-23 18:22:55] 651*2^1446725-1 is not prime. Res64: C1DB7D702C5D79E1 Time : 0.0 sec. user=mdettweiler [2016-11-23 18:33:36] 801*2^1446725-1 is not prime. Res64: CB60446806DD6FB3 Time : 0.0 sec. user=mdettweiler [2016-11-23 18:33:37] 837*2^1446725-1 is not prime. Res64: 4A75BDB66B5939EB Time : 0.0 sec. user=mdettweiler [2016-11-23 18:33:37] 867*2^1446725-1 is not prime. Res64: D13D3EB4B1491E41 Time : 0.0 sec. user=mdettweiler [2016-11-23 18:33:38] 885*2^1446725-1 is not prime. Res64: 47A4D4621532D5E8 Time : 0.0 sec. user=mdettweiler [2016-11-23 18:33:38] 939*2^1446725-1 is not prime. Res64: 06C375D964E2B1EB Time : 0.0 sec. user=mdettweiler [2016-11-23 18:35:58] 955*2^1446725-1 is not prime. Res64: 5834D60B053BC1A1 Time : 0.0 sec. user=mdettweiler [2016-11-23 18:35:59] 923*2^1446726-1 is not prime. Res64: 3CD00DE38171D60B Time : 0.0 sec. user=mdettweiler [2016-11-23 18:35:59] 947*2^1446726-1 is not prime. Res64: CF7300E3B1C6ABED Time : 0.0 sec. user=mdettweiler [2016-11-23 18:35:59] 673*2^1446727-1 is not prime. Res64: 469624BF07D39130 Time : 0.0 sec. user=mdettweiler [2016-11-23 18:36:00] 675*2^1446727-1 is not prime. Res64: F28E937A627762B8 Time : 0.0 sec. user=mdettweiler [2016-11-23 18:40:24] 765*2^1446727-1 is not prime. Res64: FF02A317C9C55858 Time : 0.0 sec. user=mdettweiler [2016-11-23 18:40:24] 813*2^1446727-1 is not prime. Res64: A5583C138C5DDF3F Time : 0.0 sec. user=mdettweiler [2016-11-23 18:40:24] 861*2^1446727-1 is not prime. Res64: 82507B859442FD3B Time : 0.0 sec. user=mdettweiler [2016-11-23 18:40:24] 603*2^1446728-1 is not prime. Res64: A86320901843954D Time : 0.0 sec. user=mdettweiler [2016-11-23 18:40:25] 875*2^1446728-1 is not prime. Res64: 62633ADA9777F267 Time : 0.0 sec. user=mdettweiler [2016-11-23 19:12:50] 927*2^1446728-1 is not prime. Res64: A0D79C0A3820946C Time : 0.0 sec. user=mdettweiler [2016-11-23 19:12:51] 935*2^1446728-1 is not prime. Res64: D6346CA6BFCAB4A0 Time : 0.0 sec. user=mdettweiler [2016-11-23 19:12:51] 867*2^1446729-1 is not prime. Res64: 7E185AA8C8BFE4AA Time : 0.0 sec. user=mdettweiler [2016-11-23 19:12:51] 877*2^1446729-1 is not prime. Res64: C55CBD74FAA99542 Time : 0.0 sec. user=mdettweiler [2016-11-23 19:12:51] 919*2^1446729-1 is not prime. Res64: 9B2039C2E1DFB475 Time : 0.0 sec. user=mdettweiler [2016-11-23 19:21:57] 603*2^1446730-1 is not prime. Res64: D7CBD32145DBA3BC Time : 0.0 sec. user=mdettweiler [2016-11-23 19:21:57] 675*2^1446730-1 is not prime. Res64: E8A941C4C22F140C Time : 0.0 sec. user=mdettweiler [2016-11-23 19:21:58] 765*2^1446730-1 is not prime. Res64: 18D78E36E719D2D4 Time : 0.0 sec. user=mdettweiler [2016-11-23 19:21:58] 933*2^1446730-1 is not prime. Res64: 9B6AD301A50EF6C7 Time : 0.0 sec. user=mdettweiler [2016-11-23 19:21:58] 957*2^1446730-1 is not prime. Res64: 3AACF4EEA831AE3E Time : 0.0 sec. user=mdettweiler [2016-11-23 19:24:45] 987*2^1446730-1 is not prime. Res64: 48FA287A103BF53B Time : 0.0 sec. user=mdettweiler [2016-11-23 19:24:45] 715*2^1446731-1 is not prime. Res64: 17CF10EBF476772B Time : 0.0 sec. user=mdettweiler [2016-11-23 19:24:45] 859*2^1446731-1 is not prime. Res64: 97E549E7A77EEA40 Time : 0.0 sec. user=mdettweiler [2016-11-23 19:24:46] 669*2^1446732-1 is not prime. Res64: 3F81B44BBA208081 Time : 0.0 sec. user=mdettweiler [2016-11-23 19:24:46] 695*2^1446732-1 is not prime. Res64: 4E91FC943ED22121 Time : 0.0 sec. user=mdettweiler [2016-11-23 19:28:27] 945*2^1446732-1 is not prime. Res64: 0507C0F38CD8E2EC Time : 0.0 sec. user=mdettweiler [2016-11-23 19:28:27] 983*2^1446732-1 is not prime. Res64: 42ECC40C0CD77283 Time : 0.0 sec. user=mdettweiler [2016-11-23 19:28:27] 619*2^1446733-1 is not prime. Res64: 3036C12A38893E3A Time : 0.0 sec. user=mdettweiler [2016-11-23 19:28:28] 681*2^1446733-1 is not prime. Res64: BA45096E54B7932E Time : 0.0 sec. user=mdettweiler [2016-11-23 19:28:28] 729*2^1446733-1 is not prime. Res64: 3C5F3C9E8DA64E39 Time : 0.0 sec. user=mdettweiler [2016-11-23 19:59:34] 747*2^1446733-1 is not prime. Res64: B5C56A00386CF937 Time : 0.0 sec. user=mdettweiler [2016-11-23 19:59:34] 775*2^1446733-1 is not prime. Res64: DF9D4A9E833E31B3 Time : 0.0 sec. user=mdettweiler [2016-11-23 19:59:34] 847*2^1446733-1 is not prime. Res64: 2BFAECE96FBAE87C Time : 0.0 sec. user=mdettweiler [2016-11-23 19:59:35] 861*2^1446733-1 is not prime. Res64: D6AC43D97BF0BACB Time : 0.0 sec. user=mdettweiler [2016-11-23 19:59:35] 999*2^1446733-1 is not prime. Res64: 81DB3CA0990702F6 Time : 0.0 sec. user=mdettweiler [2016-11-23 20:08:28] 623*2^1446734-1 is not prime. Res64: 690AA2150119C3A6 Time : 0.0 sec. user=mdettweiler [2016-11-23 20:08:29] 671*2^1446734-1 is not prime. Res64: D4674EBD0D29B8D6 Time : 0.0 sec. user=mdettweiler [2016-11-23 20:08:30] 873*2^1446734-1 is not prime. Res64: 66FB14D8F8E429C8 Time : 0.0 sec. user=mdettweiler [2016-11-23 20:08:31] 965*2^1446734-1 is not prime. Res64: B1EFE3DD5C693893 Time : 0.0 sec. user=mdettweiler [2016-11-23 20:08:32] 675*2^1446735-1 is not prime. Res64: B1B01DCFCEAE1D9E Time : 0.0 sec. user=mdettweiler [2016-11-23 20:11:14] 691*2^1446735-1 is not prime. Res64: 6195C159BFDDD104 Time : 0.0 sec. user=mdettweiler [2016-11-23 20:11:14] 705*2^1446735-1 is not prime. Res64: 729244AF6757462A Time : 0.0 sec. user=mdettweiler [2016-11-23 20:11:14] 735*2^1446735-1 is not prime. Res64: 62CB63A8DEAFC6B6 Time : 0.0 sec. user=mdettweiler [2016-11-23 20:11:15] 853*2^1446735-1 is not prime. Res64: F59208C4B2BAB415 Time : 0.0 sec. user=mdettweiler [2016-11-23 20:11:15] 885*2^1446735-1 is not prime. Res64: FA0982616DF4107D Time : 0.0 sec. user=mdettweiler [2016-11-23 20:14:47] 663*2^1446736-1 is not prime. Res64: F4314DDAD268FACA Time : 0.0 sec. user=mdettweiler [2016-11-23 20:14:51] 699*2^1446736-1 is not prime. Res64: 4E686D3FE6FA8A01 Time : 0.0 sec. user=mdettweiler [2016-11-23 20:14:51] 735*2^1446736-1 is not prime. Res64: 761FB86E336467FB Time : 0.0 sec. user=mdettweiler [2016-11-23 20:14:51] 903*2^1446736-1 is not prime. Res64: B523F46A41DF9190 Time : 0.0 sec. user=mdettweiler [2016-11-23 20:14:52] 645*2^1446737-1 is not prime. Res64: 8B4CEA6097B4C9BD Time : 0.0 sec. user=mdettweiler [2016-11-23 20:45:43] 669*2^1446737-1 is not prime. Res64: DC21F9138EF643A3 Time : 0.0 sec. user=mdettweiler [2016-11-23 20:45:43] 777*2^1446737-1 is not prime. Res64: 44404891CA578823 Time : 0.0 sec. user=mdettweiler [2016-11-23 20:45:43] 831*2^1446737-1 is not prime. Res64: 920FA70E68345B1B Time : 0.0 sec. user=mdettweiler [2016-11-23 20:45:43] 865*2^1446737-1 is not prime. Res64: 9ED4E39EEDBD0826 Time : 0.0 sec. user=mdettweiler [2016-11-23 20:45:44] 937*2^1446737-1 is not prime. Res64: A8DE68BCDC8C2075 Time : 0.0 sec. user=mdettweiler [2016-11-23 20:55:00] 949*2^1446737-1 is not prime. Res64: 33072791F5B1317B Time : 0.0 sec. user=mdettweiler [2016-11-23 20:55:00] 621*2^1446738-1 is not prime. Res64: 2475A375ADFAD312 Time : 0.0 sec. user=mdettweiler [2016-11-23 20:55:00] 713*2^1446738-1 is not prime. Res64: C0D86C95FB163C8E Time : 0.0 sec. user=mdettweiler [2016-11-23 20:55:00] 731*2^1446738-1 is not prime. Res64: 881D972EF6E44C86 Time : 0.0 sec. user=mdettweiler [2016-11-23 20:55:00] 735*2^1446738-1 is not prime. Res64: C414DEAEEA62DD6D Time : 0.0 sec. user=mdettweiler [2016-11-23 20:57:26] 945*2^1446738-1 is not prime. Res64: 51F4A523DA828F77 Time : 0.0 sec. user=mdettweiler [2016-11-23 20:57:26] 609*2^1446739-1 is not prime. Res64: EA8B30CCE734DAC0 Time : 0.0 sec. user=mdettweiler [2016-11-23 20:57:26] 693*2^1446739-1 is not prime. Res64: E07CEF478D40B19B Time : 0.0 sec. user=mdettweiler [2016-11-23 20:57:26] 733*2^1446739-1 is not prime. Res64: E47D61B092BD5FD0 Time : 0.0 sec. user=mdettweiler [2016-11-23 20:57:27] 913*2^1446739-1 is not prime. Res64: 52C27992C728E971 Time : 0.0 sec. user=mdettweiler [2016-11-23 21:01:01] 919*2^1446739-1 is not prime. Res64: 96AABE626EC2584E Time : 0.0 sec. user=mdettweiler [2016-11-23 21:01:02] 707*2^1446740-1 is not prime. Res64: D0E7C57F3D669E00 Time : 0.0 sec. user=mdettweiler [2016-11-23 21:01:02] 833*2^1446740-1 is not prime. Res64: 32D12CE8DAB9DC79 Time : 0.0 sec. user=mdettweiler [2016-11-23 21:01:03] 915*2^1446740-1 is not prime. Res64: D790ABE520FFA861 Time : 0.0 sec. user=mdettweiler [2016-11-23 21:01:04] 927*2^1446740-1 is not prime. Res64: F15E516D25251CBA Time : 0.0 sec. user=mdettweiler [2016-11-23 21:31:50] 963*2^1446740-1 is not prime. Res64: DD4E19F5B632D08F Time : 0.0 sec. user=mdettweiler [2016-11-23 21:31:50] 657*2^1446741-1 is not prime. Res64: E049C7736A7CBCAE Time : 0.0 sec. user=mdettweiler [2016-11-23 21:31:50] 781*2^1446741-1 is not prime. Res64: F06B3B41F2B19E43 Time : 0.0 sec. user=mdettweiler [2016-11-23 21:31:51] 789*2^1446741-1 is not prime. Res64: 60D0CD89BC9BB893 Time : 0.0 sec. user=mdettweiler [2016-11-23 21:31:51] 847*2^1446741-1 is not prime. Res64: F5D003C28C83EDBD Time : 0.0 sec. user=mdettweiler [2016-11-23 21:41:07] 871*2^1446741-1 is not prime. Res64: A3C0F9AA96B6BD85 Time : 0.0 sec. user=mdettweiler [2016-11-23 21:41:07] 635*2^1446742-1 is not prime. Res64: D8603A0F37A70305 Time : 0.0 sec. user=mdettweiler [2016-11-23 21:41:07] 947*2^1446742-1 is not prime. Res64: C81B726D3DC763A1 Time : 0.0 sec. user=mdettweiler [2016-11-23 21:41:07] 975*2^1446742-1 is not prime. Res64: 60BE110FDFA84A46 Time : 0.0 sec. user=mdettweiler [2016-11-23 21:41:08] 995*2^1446742-1 is not prime. Res64: DB590A6F0428D973 Time : 0.0 sec. user=mdettweiler [2016-11-23 21:43:36] 661*2^1446743-1 is not prime. Res64: BD1F0F7596908521 Time : 0.0 sec. user=mdettweiler [2016-11-23 21:43:36] 669*2^1446743-1 is not prime. Res64: F3ADD7E06DDE3AF5 Time : 0.0 sec. user=mdettweiler [2016-11-23 21:43:36] 673*2^1446743-1 is not prime. Res64: 04A28A0A6ABCE8B6 Time : 0.0 sec. user=mdettweiler [2016-11-23 21:43:37] 705*2^1446743-1 is not prime. Res64: 26FD7A5E6350C35B Time : 0.0 sec. user=mdettweiler [2016-11-23 21:43:37] 715*2^1446743-1 is not prime. Res64: 2187E08EECA15D08 Time : 0.0 sec. user=mdettweiler [2016-11-23 21:47:18] 811*2^1446743-1 is not prime. Res64: 0B15223AFB7313AF Time : 0.0 sec. user=mdettweiler [2016-11-23 21:47:18] 855*2^1446743-1 is not prime. Res64: B644EB4BF8B9C92C Time : 0.0 sec. user=mdettweiler [2016-11-23 21:47:18] 963*2^1446743-1 is not prime. Res64: 94CECDB1DEA5FEE9 Time : 0.0 sec. user=mdettweiler [2016-11-23 21:47:19] 981*2^1446743-1 is not prime. Res64: 965234293AA52E31 Time : 0.0 sec. user=mdettweiler [2016-11-23 21:47:19] 623*2^1446744-1 is not prime. Res64: A3EEFE830A4ADBA3 Time : 0.0 sec. user=mdettweiler [2016-11-23 22:18:15] 689*2^1446744-1 is not prime. Res64: C0A61BA231D9B745 Time : 0.0 sec. user=mdettweiler [2016-11-23 22:18:16] 717*2^1446744-1 is not prime. Res64: 597017C4DE9D7F87 Time : 0.0 sec. user=mdettweiler [2016-11-23 22:18:16] 723*2^1446744-1 is not prime. Res64: F8AA5206D67F3330 Time : 0.0 sec. user=mdettweiler [2016-11-23 22:18:16] 747*2^1446744-1 is not prime. Res64: D58313598F23167A Time : 0.0 sec. user=mdettweiler [2016-11-23 22:18:17] 887*2^1446744-1 is not prime. Res64: EFAD03A5A01734DF Time : 0.0 sec. user=mdettweiler [2016-11-23 22:28:58] 927*2^1446744-1 is not prime. Res64: FEA4875331022F12 Time : 0.0 sec. user=mdettweiler [2016-11-23 22:28:59] 947*2^1446744-1 is not prime. Res64: 2B2A5816EB0F5FC1 Time : 0.0 sec. user=mdettweiler [2016-11-23 22:28:59] 649*2^1446745-1 is not prime. Res64: 2345E7B4823A0107 Time : 0.0 sec. user=mdettweiler [2016-11-23 22:28:59] 699*2^1446745-1 is not prime. Res64: C63E168D594E8341 Time : 0.0 sec. user=mdettweiler [2016-11-23 22:29:00] 799*2^1446745-1 is not prime. Res64: 9B6E2916C2EE6833 Time : 0.0 sec. user=mdettweiler [2016-11-23 22:30:59] 805*2^1446745-1 is not prime. Res64: 9A8021EF13A680E8 Time : 0.0 sec. user=mdettweiler [2016-11-23 22:30:59] 841*2^1446745-1 is not prime. Res64: 1F628CE951C3A10B Time : 0.0 sec. user=mdettweiler [2016-11-23 22:30:59] 915*2^1446745-1 is not prime. Res64: 95CC8EED7A6824F1 Time : 0.0 sec. user=mdettweiler [2016-11-23 22:31:00] 997*2^1446745-1 is not prime. Res64: 92C7E04B44E09250 Time : 0.0 sec. user=mdettweiler [2016-11-23 22:31:00] 633*2^1446746-1 is not prime. Res64: 83EF993D3D63AEE8 Time : 0.0 sec. user=mdettweiler [2016-11-23 22:35:19] 635*2^1446746-1 is not prime. Res64: 2CF85ED9A7F7B9E0 Time : 0.0 sec. user=mdettweiler [2016-11-23 22:35:19] 671*2^1446746-1 is not prime. Res64: DA62A5CB28AA1292 Time : 0.0 sec. user=mdettweiler [2016-11-23 22:35:19] 741*2^1446746-1 is not prime. Res64: 7EFD52B84E21DEFA Time : 0.0 sec. user=mdettweiler [2016-11-23 22:35:20] 801*2^1446746-1 is not prime. Res64: 371C975FB63733E5 Time : 0.0 sec. user=mdettweiler [2016-11-23 22:35:20] 875*2^1446746-1 is not prime. Res64: 2A53EA86FC0C5CC3 Time : 0.0 sec. user=mdettweiler [2016-11-23 23:06:39] 923*2^1446746-1 is not prime. Res64: F7E15422504E875C Time : 0.0 sec. user=mdettweiler [2016-11-23 23:06:41] 945*2^1446746-1 is not prime. Res64: FAA6CCC07EDD6AA0 Time : 0.0 sec. user=mdettweiler [2016-11-23 23:06:42] 987*2^1446746-1 is not prime. Res64: F0C0B3B9E54A3B31 Time : 0.0 sec. user=mdettweiler [2016-11-23 23:06:43] 1001*2^1446746-1 is not prime. Res64: 6DDEF02BF7B18C22 Time : 0.0 sec. user=mdettweiler [2016-11-23 23:06:44] 751*2^1446747-1 is not prime. Res64: CE90B2A1CA1F4D47 Time : 0.0 sec. user=mdettweiler [2016-11-23 23:18:12] 931*2^1446747-1 is not prime. Res64: 616684434284DBDC Time : 0.0 sec. user=mdettweiler [2016-11-23 23:18:12] 945*2^1446747-1 is not prime. Res64: 6D0E9005B90B1CB8 Time : 0.0 sec. user=mdettweiler [2016-11-23 23:18:12] 949*2^1446747-1 is not prime. Res64: F2936FC5C5B74799 Time : 0.0 sec. user=mdettweiler [2016-11-23 23:18:13] 975*2^1446747-1 is not prime. Res64: 3A747A4519BA57CD Time : 0.0 sec. user=mdettweiler [2016-11-23 23:18:13] 657*2^1446748-1 is not prime. Res64: ADA006E4FE755DA0 Time : 0.0 sec. user=mdettweiler [2016-11-23 23:19:47] 695*2^1446748-1 is not prime. Res64: D653F40D243E6441 Time : 0.0 sec. user=mdettweiler [2016-11-23 23:19:47] 827*2^1446748-1 is not prime. Res64: 558BD1D0AAB4105E Time : 0.0 sec. user=mdettweiler [2016-11-23 23:19:47] 887*2^1446748-1 is not prime. Res64: F712763015640B24 Time : 0.0 sec. user=mdettweiler [2016-11-23 23:19:47] 899*2^1446748-1 is not prime. Res64: 96824894486156C4 Time : 0.0 sec. user=mdettweiler [2016-11-23 23:19:48] 969*2^1446748-1 is not prime. Res64: 3885A0538D94686E Time : 0.0 sec. user=mdettweiler [2016-11-23 23:25:21] 615*2^1446749-1 is not prime. Res64: F4B0B9D0A2D9A9D3 Time : 0.0 sec. user=mdettweiler [2016-11-23 23:25:21] 619*2^1446749-1 is not prime. Res64: E9448A3C508F8C78 Time : 0.0 sec. user=mdettweiler [2016-11-23 23:25:22] 879*2^1446749-1 is not prime. Res64: 9D3D6042B62E94C6 Time : 0.0 sec. user=mdettweiler [2016-11-23 23:25:22] 955*2^1446749-1 is not prime. Res64: 48D99DBF2F70F913 Time : 0.0 sec. user=mdettweiler [2016-11-23 23:25:22] 967*2^1446749-1 is not prime. Res64: 705F727A57DEC8E6 Time : 0.0 sec. user=mdettweiler [2016-11-23 23:56:37] 641*2^1446750-1 is not prime. Res64: B24E46600A134B9C Time : 0.0 sec. user=mdettweiler [2016-11-23 23:56:37] 861*2^1446750-1 is not prime. Res64: 6B3150B2CF60FB30 Time : 0.0 sec. user=mdettweiler [2016-11-23 23:56:38] 965*2^1446750-1 is not prime. Res64: 128CBBA9291090D1 Time : 0.0 sec. user=mdettweiler [2016-11-23 23:56:38] 693*2^1446751-1 is not prime. Res64: 8190441ECC32ACA5 Time : 0.0 sec. user=mdettweiler [2016-11-23 23:56:38] 723*2^1446751-1 is not prime. Res64: EBEFDAF7E77042B6 Time : 0.0 sec.