user=mdettweiler [2017-05-22 00:12:11] 991*2^1454645-1 is not prime. Res64: C3775B2AC83E3D13 Time : 0.0 sec. user=mdettweiler [2017-05-22 00:12:12] 747*2^1454646-1 is not prime. Res64: BD40FA82BF6273FA Time : 0.0 sec. user=mdettweiler [2017-05-22 00:12:12] 765*2^1454646-1 is not prime. Res64: F331BB9727B79EAA Time : 0.0 sec. user=mdettweiler [2017-05-22 00:12:12] 783*2^1454646-1 is not prime. Res64: 2E37782B36AC4F7C Time : 0.0 sec. user=mdettweiler [2017-05-22 00:12:12] 795*2^1454646-1 is not prime. Res64: 4352A19E299B6132 Time : 0.0 sec. user=mdettweiler [2017-05-22 00:30:20] 917*2^1454646-1 is not prime. Res64: 6D0633E51E738FF1 Time : 0.0 sec. user=mdettweiler [2017-05-22 00:30:21] 983*2^1454646-1 is not prime. Res64: FD4A696D06CA54F0 Time : 0.0 sec. user=mdettweiler [2017-05-22 00:30:21] 993*2^1454646-1 is not prime. Res64: 9AFC592C3F86AC96 Time : 0.0 sec. user=mdettweiler [2017-05-22 00:30:21] 741*2^1454647-1 is not prime. Res64: 31ED605C88D59746 Time : 0.0 sec. user=mdettweiler [2017-05-22 00:30:21] 793*2^1454647-1 is not prime. Res64: 826607F9A0C6B421 Time : 0.0 sec. user=mdettweiler [2017-05-22 00:37:17] 951*2^1454647-1 is not prime. Res64: 7785D3F94B50E0C2 Time : 0.0 sec. user=mdettweiler [2017-05-22 00:37:17] 665*2^1454648-1 is not prime. Res64: 5121BE6B1C641ADA Time : 0.0 sec. user=mdettweiler [2017-05-22 00:37:17] 677*2^1454648-1 is not prime. Res64: 146AF1200EED22CE Time : 0.0 sec. user=mdettweiler [2017-05-22 00:37:18] 773*2^1454648-1 is not prime. Res64: 1FE1ADE0675C3FBA Time : 0.0 sec. user=mdettweiler [2017-05-22 00:37:18] 875*2^1454648-1 is not prime. Res64: 35BAE43F2B0F3D1D Time : 0.0 sec. user=mdettweiler [2017-05-22 00:38:35] 879*2^1454648-1 is not prime. Res64: 45CD492FCA36A162 Time : 0.0 sec. user=mdettweiler [2017-05-22 00:38:35] 899*2^1454648-1 is not prime. Res64: 8365D21983CD39D7 Time : 0.0 sec. user=mdettweiler [2017-05-22 00:38:35] 929*2^1454648-1 is not prime. Res64: 3B7EAF23108BE6D1 Time : 0.0 sec. user=mdettweiler [2017-05-22 00:38:35] 765*2^1454649-1 is not prime. Res64: F01EF44524126661 Time : 0.0 sec. user=mdettweiler [2017-05-22 00:38:36] 817*2^1454649-1 is not prime. Res64: E0D9B3735841A6B1 Time : 0.0 sec. user=mdettweiler [2017-05-22 00:57:53] 847*2^1454649-1 is not prime. Res64: 40AA7E556900843D Time : 0.0 sec. user=mdettweiler [2017-05-22 00:57:53] 865*2^1454649-1 is not prime. Res64: FD2E3AEC92B40AAF Time : 0.0 sec. user=mdettweiler [2017-05-22 00:57:54] 921*2^1454649-1 is not prime. Res64: E9654F9DDC43D47C Time : 0.0 sec. user=mdettweiler [2017-05-22 00:57:54] 987*2^1454649-1 is not prime. Res64: 348DEACF2B250595 Time : 0.0 sec. user=mdettweiler [2017-05-22 00:57:54] 653*2^1454650-1 is not prime. Res64: 23D1B8652EE8098A Time : 0.0 sec. user=juhehe [2017-05-22 01:04:28] 713*2^1454650-1 is not prime. Res64: 37EA5C5803BB2FE5 Time : 0.0 sec. user=mdettweiler [2017-05-22 01:16:25] 891*2^1454650-1 is not prime. Res64: A99C2B15A0F2E091 Time : 0.0 sec. user=mdettweiler [2017-05-22 01:16:26] 987*2^1454650-1 is not prime. Res64: 0CAB3FB9FC49739B Time : 0.0 sec. user=mdettweiler [2017-05-22 01:16:26] 995*2^1454650-1 is not prime. Res64: F696DBC8A4C1D1DB Time : 0.0 sec. user=mdettweiler [2017-05-22 01:16:26] 619*2^1454651-1 is not prime. Res64: A305A3798C29EBEB Time : 0.0 sec. user=mdettweiler [2017-05-22 01:16:26] 643*2^1454651-1 is not prime. Res64: 00A097B709183A5C Time : 0.0 sec. user=mdettweiler [2017-05-22 01:23:02] 735*2^1454651-1 is not prime. Res64: 2C59C14D3281DE06 Time : 0.0 sec. user=mdettweiler [2017-05-22 01:23:03] 813*2^1454651-1 is not prime. Res64: 24D5889498F08438 Time : 0.0 sec. user=mdettweiler [2017-05-22 01:23:03] 825*2^1454651-1 is not prime. Res64: 3545341A3B6070EE Time : 0.0 sec. user=mdettweiler [2017-05-22 01:23:03] 909*2^1454651-1 is not prime. Res64: 40633980C1A8EF90 Time : 0.0 sec. user=mdettweiler [2017-05-22 01:23:04] 949*2^1454651-1 is not prime. Res64: 806315C1572C07A6 Time : 0.0 sec. user=mdettweiler [2017-05-22 01:24:17] 999*2^1454651-1 is not prime. Res64: BCEAF39533F11300 Time : 0.0 sec. user=mdettweiler [2017-05-22 01:24:17] 605*2^1454652-1 is not prime. Res64: CF8313ED53E11DA3 Time : 0.0 sec. user=mdettweiler [2017-05-22 01:24:17] 665*2^1454652-1 is not prime. Res64: 944C94CF9D4AF20B Time : 0.0 sec. user=mdettweiler [2017-05-22 01:24:17] 719*2^1454652-1 is not prime. Res64: A2970C59FCFC985E Time : 0.0 sec. user=mdettweiler [2017-05-22 01:24:18] 803*2^1454652-1 is not prime. Res64: 0A91CE0D2E92D9F2 Time : 0.0 sec. user=mdettweiler [2017-05-22 01:43:45] 809*2^1454652-1 is not prime. Res64: 8CF103C8E7D725BD Time : 0.0 sec. user=mdettweiler [2017-05-22 01:43:45] 867*2^1454652-1 is not prime. Res64: 00DC972B431E0A14 Time : 0.0 sec. user=mdettweiler [2017-05-22 01:43:45] 929*2^1454652-1 is not prime. Res64: 1069C91BF451F63F Time : 0.0 sec. user=mdettweiler [2017-05-22 01:43:46] 983*2^1454652-1 is not prime. Res64: 9F7581209219ABC5 Time : 0.0 sec. user=mdettweiler [2017-05-22 01:43:46] 615*2^1454653-1 is not prime. Res64: 539FA9953D6B1FA7 Time : 0.0 sec. user=mdettweiler [2017-05-22 02:02:08] 687*2^1454653-1 is not prime. Res64: BA45BFF729B6D7F3 Time : 0.0 sec. user=mdettweiler [2017-05-22 02:02:10] 745*2^1454653-1 is not prime. Res64: A51B28E5B0D2AD93 Time : 0.0 sec. user=mdettweiler [2017-05-22 02:02:11] 801*2^1454653-1 is not prime. Res64: A64438CDEE915399 Time : 0.0 sec. user=mdettweiler [2017-05-22 02:02:12] 615*2^1454654-1 is not prime. Res64: A5693E4546C13999 Time : 0.0 sec. user=mdettweiler [2017-05-22 02:02:13] 635*2^1454654-1 is not prime. Res64: AAA1B18EBEC14CDB Time : 0.0 sec. user=mdettweiler [2017-05-22 02:08:58] 797*2^1454654-1 is not prime. Res64: F3F66021ED07CBDD Time : 0.0 sec. user=mdettweiler [2017-05-22 02:08:58] 827*2^1454654-1 is not prime. Res64: 620AAF7415EE1FA1 Time : 0.0 sec. user=mdettweiler [2017-05-22 02:08:58] 885*2^1454654-1 is not prime. Res64: 858A2A3EFE9F127F Time : 0.0 sec. user=mdettweiler [2017-05-22 02:08:59] 625*2^1454655-1 is not prime. Res64: 36D83260195A7FBD Time : 0.0 sec. user=mdettweiler [2017-05-22 02:08:59] 693*2^1454655-1 is not prime. Res64: 205730E1D2D695BD Time : 0.0 sec. user=mdettweiler [2017-05-22 02:10:06] 709*2^1454655-1 is not prime. Res64: 5AA3D5BF7BE33FA5 Time : 0.0 sec. user=mdettweiler [2017-05-22 02:10:06] 711*2^1454655-1 is not prime. Res64: 7706E096B6D2603E Time : 0.0 sec. user=mdettweiler [2017-05-22 02:10:06] 805*2^1454655-1 is not prime. Res64: CD1CD9FE44735F5B Time : 0.0 sec. user=mdettweiler [2017-05-22 02:10:06] 885*2^1454655-1 is not prime. Res64: D9A6A6A954D55548 Time : 0.0 sec. user=mdettweiler [2017-05-22 02:10:07] 949*2^1454655-1 is not prime. Res64: 2C5FC3DA0A86C161 Time : 0.0 sec. user=juhehe [2017-05-22 02:24:08] 747*2^1454657-1 is not prime. Res64: 83832BD2B530C6AD Time : 0.0 sec. user=mdettweiler [2017-05-22 02:29:48] 963*2^1454655-1 is not prime. Res64: 04A0472310504B7D Time : 0.0 sec. user=mdettweiler [2017-05-22 02:29:49] 623*2^1454656-1 is not prime. Res64: 18CBFBA3951E5E11 Time : 0.0 sec. user=mdettweiler [2017-05-22 02:29:49] 695*2^1454656-1 is not prime. Res64: 97E608A651A66FDC Time : 0.0 sec. user=mdettweiler [2017-05-22 02:29:50] 917*2^1454656-1 is not prime. Res64: 9AFB0C0FA64B8D45 Time : 0.0 sec. user=mdettweiler [2017-05-22 02:29:50] 669*2^1454657-1 is not prime. Res64: F613A5A56E1F8D8E Time : 0.0 sec. user=mdettweiler [2017-05-22 02:49:10] 909*2^1454657-1 is not prime. Res64: 2367EBEC652EC1A4 Time : 0.0 sec. user=mdettweiler [2017-05-22 02:49:11] 937*2^1454657-1 is not prime. Res64: 43E6DF9078810F7C Time : 0.0 sec. user=mdettweiler [2017-05-22 02:49:11] 957*2^1454657-1 is not prime. Res64: 8B0CBD2B03B19565 Time : 0.0 sec. user=mdettweiler [2017-05-22 02:49:11] 605*2^1454658-1 is not prime. Res64: F3F32FB20227569B Time : 0.0 sec. user=mdettweiler [2017-05-22 02:49:11] 797*2^1454658-1 is not prime. Res64: A8E064CED57BC4D9 Time : 0.0 sec. user=mdettweiler [2017-05-22 02:55:56] 891*2^1454658-1 is not prime. Res64: 8B2927C0BEFC1A8D Time : 0.0 sec. user=mdettweiler [2017-05-22 02:55:56] 927*2^1454658-1 is not prime. Res64: 21E76CC4442CF9FA Time : 0.0 sec. user=mdettweiler [2017-05-22 02:55:56] 975*2^1454658-1 is not prime. Res64: 4E7F583295CBB4CC Time : 0.0 sec. user=mdettweiler [2017-05-22 02:55:57] 1001*2^1454658-1 is not prime. Res64: 05B6B415722C301F Time : 0.0 sec. user=mdettweiler [2017-05-22 02:55:57] 709*2^1454659-1 is not prime. Res64: 3754785E38245624 Time : 0.0 sec. user=mdettweiler [2017-05-22 02:56:30] 723*2^1454659-1 is not prime. Res64: 7EBF34955697004F Time : 0.0 sec. user=mdettweiler [2017-05-22 02:56:31] 883*2^1454659-1 is not prime. Res64: 2DD39B619EBB94AA Time : 0.0 sec. user=mdettweiler [2017-05-22 02:56:31] 931*2^1454659-1 is not prime. Res64: FC0546FE20525C77 Time : 0.0 sec. user=mdettweiler [2017-05-22 02:56:31] 825*2^1454660-1 is not prime. Res64: E55380D428A4FC5B Time : 0.0 sec. user=mdettweiler [2017-05-22 02:56:31] 843*2^1454660-1 is not prime. Res64: 44FE2F27FEB3BB20 Time : 0.0 sec. user=juhehe [2017-05-22 03:04:36] 893*2^1454660-1 is not prime. Res64: 134C4A3A499D4155 Time : 0.0 sec. user=mdettweiler [2017-05-22 03:16:43] 909*2^1454660-1 is not prime. Res64: 00AA17E73EBBF0F8 Time : 0.0 sec. user=mdettweiler [2017-05-22 03:16:43] 615*2^1454661-1 is not prime. Res64: F3FC6A0F9ABDACFB Time : 0.0 sec. user=mdettweiler [2017-05-22 03:16:43] 745*2^1454661-1 is not prime. Res64: FA3E6CE6E5EB4B6C Time : 0.0 sec. user=mdettweiler [2017-05-22 03:16:44] 717*2^1454662-1 is not prime. Res64: 01EEA187083B7329 Time : 0.0 sec. user=mdettweiler [2017-05-22 03:16:44] 741*2^1454662-1 is not prime. Res64: 234DC5A87632E051 Time : 0.0 sec. user=mdettweiler [2017-05-22 03:34:51] 785*2^1454662-1 is not prime. Res64: 0FCC48746111034C Time : 0.0 sec. user=mdettweiler [2017-05-22 03:34:52] 821*2^1454662-1 is not prime. Res64: 01552079F8E136B9 Time : 0.0 sec. user=mdettweiler [2017-05-22 03:34:53] 855*2^1454662-1 is not prime. Res64: 099787DCA14E5EDB Time : 0.0 sec. user=mdettweiler [2017-05-22 03:34:54] 857*2^1454662-1 is not prime. Res64: 22F4928FD256C343 Time : 0.0 sec. user=mdettweiler [2017-05-22 03:34:55] 739*2^1454663-1 is not prime. Res64: 6525AD614BE4A461 Time : 0.0 sec. user=mdettweiler [2017-05-22 03:41:48] 963*2^1454663-1 is not prime. Res64: B9E73BC4A500D78E Time : 0.0 sec. user=mdettweiler [2017-05-22 03:41:49] 609*2^1454664-1 is not prime. Res64: 34224330CB30821F Time : 0.0 sec. user=mdettweiler [2017-05-22 03:41:50] 663*2^1454664-1 is not prime. Res64: F90639374D2C86E6 Time : 0.0 sec. user=mdettweiler [2017-05-22 03:41:51] 809*2^1454664-1 is not prime. Res64: A61164E54699FEC1 Time : 0.0 sec. user=mdettweiler [2017-05-22 03:41:52] 899*2^1454664-1 is not prime. Res64: C1E80B397B978C90 Time : 0.0 sec. user=mdettweiler [2017-05-22 03:42:22] 945*2^1454664-1 is not prime. Res64: FA00E0F8556B8B53 Time : 0.0 sec. user=mdettweiler [2017-05-22 03:42:23] 661*2^1454665-1 is not prime. Res64: DB240C27BBC820CF Time : 0.0 sec. user=mdettweiler [2017-05-22 03:42:23] 691*2^1454665-1 is not prime. Res64: C8F744D4BBA7E9EB Time : 0.0 sec. user=mdettweiler [2017-05-22 03:42:23] 741*2^1454665-1 is not prime. Res64: 231BD7063BFF0286 Time : 0.0 sec. user=mdettweiler [2017-05-22 03:42:24] 885*2^1454665-1 is not prime. Res64: 27A40D5BD489FD4E Time : 0.0 sec. user=mdettweiler [2017-05-22 04:02:56] 951*2^1454665-1 is not prime. Res64: A9B2C8D044F1D498 Time : 0.0 sec. user=mdettweiler [2017-05-22 04:02:58] 957*2^1454665-1 is not prime. Res64: 536095CE5F69C680 Time : 0.0 sec. user=mdettweiler [2017-05-22 04:02:59] 827*2^1454666-1 is not prime. Res64: 902ADA9C64F72222 Time : 0.0 sec. user=mdettweiler [2017-05-22 04:03:00] 893*2^1454666-1 is not prime. Res64: 3DB2D3FD86C48C1F Time : 0.0 sec. user=mdettweiler [2017-05-22 04:03:01] 921*2^1454666-1 is not prime. Res64: 0713C6C60BDD4DF0 Time : 0.0 sec. user=mdettweiler [2017-05-22 04:21:07] 625*2^1454667-1 is not prime. Res64: 7058AC8646CDF747 Time : 0.0 sec. user=mdettweiler [2017-05-22 04:21:07] 649*2^1454667-1 is not prime. Res64: B09FC5452ACFA8BC Time : 0.0 sec. user=mdettweiler [2017-05-22 04:21:07] 699*2^1454667-1 is not prime. Res64: 2DC728F3FB6F6D86 Time : 0.0 sec. user=mdettweiler [2017-05-22 04:21:08] 741*2^1454667-1 is not prime. Res64: 345F3C106357E3B7 Time : 0.0 sec. user=mdettweiler [2017-05-22 04:21:08] 781*2^1454667-1 is not prime. Res64: A4E7E0FE852C19FF Time : 0.0 sec. user=juhehe [2017-05-22 04:25:09] 655*2^1454669-1 is not prime. Res64: A44500FCBA0D50D1 Time : 0.0 sec. user=mdettweiler [2017-05-22 04:27:43] 871*2^1454667-1 is not prime. Res64: 7C9EA787FC966A77 Time : 0.0 sec. user=mdettweiler [2017-05-22 04:27:43] 895*2^1454667-1 is not prime. Res64: 0005EE6046C2480C Time : 0.0 sec. user=mdettweiler [2017-05-22 04:27:43] 975*2^1454667-1 is not prime. Res64: 81A7E39B849BE33E Time : 0.0 sec. user=mdettweiler [2017-05-22 04:27:44] 617*2^1454668-1 is not prime. Res64: 5A12D05F12AC1EB9 Time : 0.0 sec. user=mdettweiler [2017-05-22 04:27:44] 777*2^1454668-1 is not prime. Res64: 733F7C0C58FDB876 Time : 0.0 sec. user=mdettweiler [2017-05-22 04:27:55] 843*2^1454668-1 is not prime. Res64: 027A27A9A810794F Time : 0.0 sec. user=mdettweiler [2017-05-22 04:27:56] 845*2^1454668-1 is not prime. Res64: 199D2B45788F8BC7 Time : 0.0 sec. user=mdettweiler [2017-05-22 04:27:56] 887*2^1454668-1 is not prime. Res64: 7822BBCB67168ACD Time : 0.0 sec. user=mdettweiler [2017-05-22 04:27:56] 957*2^1454668-1 is not prime. Res64: FD1FE6676C54AAF4 Time : 0.0 sec. user=mdettweiler [2017-05-22 04:27:56] 969*2^1454668-1 is not prime. Res64: DE14DE11AE1FFB82 Time : 0.0 sec. user=mdettweiler [2017-05-22 04:49:40] 829*2^1454669-1 is not prime. Res64: 8141459427579A93 Time : 0.0 sec. user=mdettweiler [2017-05-22 04:49:40] 837*2^1454669-1 is not prime. Res64: B9CC8571AD6F2A41 Time : 0.0 sec. user=mdettweiler [2017-05-22 04:49:40] 945*2^1454669-1 is not prime. Res64: 1ADE39D0CB3DCC9D Time : 0.0 sec. user=mdettweiler [2017-05-22 04:49:40] 967*2^1454669-1 is not prime. Res64: 244EDB58B48687C2 Time : 0.0 sec. user=mdettweiler [2017-05-22 04:49:41] 611*2^1454670-1 is not prime. Res64: A7903E405D4AC5B9 Time : 0.0 sec. user=mdettweiler [2017-05-22 05:07:18] 755*2^1454670-1 is not prime. Res64: C6A4F87D6F4FA49D Time : 0.0 sec. user=mdettweiler [2017-05-22 05:07:18] 891*2^1454670-1 is not prime. Res64: 93B8BB431DA77289 Time : 0.0 sec. user=mdettweiler [2017-05-22 05:07:19] 971*2^1454670-1 is not prime. Res64: 6C99A64160942E28 Time : 0.0 sec. user=mdettweiler [2017-05-22 05:07:20] 603*2^1454671-1 is not prime. Res64: 54C43CB8AEC2634B Time : 0.0 sec. user=mdettweiler [2017-05-22 05:07:21] 735*2^1454671-1 is not prime. Res64: 868993F41218A682 Time : 0.0 sec. user=mdettweiler [2017-05-22 05:13:54] 769*2^1454671-1 is not prime. Res64: 7D0B2A8D583C19AA Time : 0.0 sec. user=mdettweiler [2017-05-22 05:13:54] 841*2^1454671-1 is not prime. Res64: 24A1750731DDA11D Time : 0.0 sec. user=mdettweiler [2017-05-22 05:13:55] 677*2^1454672-1 is not prime. Res64: EEA787B8A1B2A61D Time : 0.0 sec. user=mdettweiler [2017-05-22 05:13:55] 717*2^1454672-1 is not prime. Res64: EFC056FCF38A0924 Time : 0.0 sec. user=mdettweiler [2017-05-22 05:13:55] 725*2^1454672-1 is not prime. Res64: 325018931EF5BF4F Time : 0.0 sec. user=mdettweiler [2017-05-22 05:14:18] 743*2^1454672-1 is not prime. Res64: DA7B225515948488 Time : 0.0 sec. user=mdettweiler [2017-05-22 05:14:18] 753*2^1454672-1 is not prime. Res64: 8739FD4ADB633857 Time : 0.0 sec. user=mdettweiler [2017-05-22 05:14:19] 959*2^1454672-1 is not prime. Res64: 8E4EE339B9B4CB3B Time : 0.0 sec. user=mdettweiler [2017-05-22 05:14:19] 983*2^1454672-1 is not prime. Res64: 53E73954F189557B Time : 0.0 sec. user=mdettweiler [2017-05-22 05:14:19] 657*2^1454673-1 is not prime. Res64: 61DBB83DAA266C5F Time : 0.0 sec. user=mdettweiler [2017-05-22 05:35:34] 705*2^1454673-1 is not prime. Res64: 1BC5592BDB0A5B6B Time : 0.0 sec. user=mdettweiler [2017-05-22 05:35:34] 807*2^1454673-1 is not prime. Res64: 8521FA3597FB87FD Time : 0.0 sec. user=mdettweiler [2017-05-22 05:35:34] 847*2^1454673-1 is not prime. Res64: 1B69ACD969A98287 Time : 0.0 sec. user=mdettweiler [2017-05-22 05:35:34] 849*2^1454673-1 is not prime. Res64: 4280340BA4EDBDD4 Time : 0.0 sec. user=mdettweiler [2017-05-22 05:35:35] 987*2^1454673-1 is not prime. Res64: 63DC7300F7D2E368 Time : 0.0 sec. user=mdettweiler [2017-05-22 05:53:23] 991*2^1454673-1 is not prime. Res64: C6A849FD5B176251 Time : 0.0 sec. user=mdettweiler [2017-05-22 05:53:24] 623*2^1454674-1 is not prime. Res64: DA61C6BAE3BAB025 Time : 0.0 sec. user=mdettweiler [2017-05-22 05:53:24] 675*2^1454674-1 is not prime. Res64: 6E7E66CEC43DA728 Time : 0.0 sec. user=mdettweiler [2017-05-22 05:53:24] 825*2^1454674-1 is not prime. Res64: ABCE573C2D870B6A Time : 0.0 sec. user=mdettweiler [2017-05-22 05:53:24] 645*2^1454675-1 is not prime. Res64: 09F9491AD2FCBF52 Time : 0.0 sec. user=mdettweiler [2017-05-22 05:59:45] 783*2^1454675-1 is not prime. Res64: 3045F1B0DFB39951 Time : 0.0 sec. user=mdettweiler [2017-05-22 05:59:46] 823*2^1454675-1 is not prime. Res64: 66A8FB3F9777E99C Time : 0.0 sec. user=mdettweiler [2017-05-22 05:59:46] 963*2^1454675-1 is not prime. Res64: A26D6635FBB71957 Time : 0.0 sec. user=mdettweiler [2017-05-22 05:59:46] 623*2^1454676-1 is not prime. Res64: 81A006984D074DED Time : 0.0 sec. user=mdettweiler [2017-05-22 05:59:46] 639*2^1454676-1 is not prime. Res64: 86D077E5D017D4A7 Time : 0.0 sec. user=mdettweiler [2017-05-22 06:00:16] 669*2^1454676-1 is not prime. Res64: 0F18C8375F64F388 Time : 0.0 sec. user=mdettweiler [2017-05-22 06:00:17] 765*2^1454676-1 is not prime. Res64: C7C686D4D540056E Time : 0.0 sec. user=mdettweiler [2017-05-22 06:00:18] 839*2^1454676-1 is not prime. Res64: E1BBCD479AC912AC Time : 0.0 sec. user=mdettweiler [2017-05-22 06:00:19] 945*2^1454676-1 is not prime. Res64: E2B579A09D61BE3E Time : 0.0 sec. user=mdettweiler [2017-05-22 06:00:19] 947*2^1454676-1 is not prime. Res64: 44C9AC8668159013 Time : 0.0 sec. user=mdettweiler [2017-05-22 06:21:24] 983*2^1454676-1 is not prime. Res64: 2C02F565D3CE8359 Time : 0.0 sec. user=mdettweiler [2017-05-22 06:21:24] 993*2^1454676-1 is not prime. Res64: 4F9FF6DEE64B644A Time : 0.0 sec. user=mdettweiler [2017-05-22 06:21:25] 645*2^1454677-1 is not prime. Res64: 6E49DFCF728E627E Time : 0.0 sec. user=mdettweiler [2017-05-22 06:21:25] 771*2^1454677-1 is not prime. Res64: 19B169F2633D81FF Time : 0.0 sec. user=mdettweiler [2017-05-22 06:21:25] 957*2^1454677-1 is not prime. Res64: 6F7C03B38535B361 Time : 0.0 sec. user=juhehe [2017-05-22 06:25:11] 743*2^1454678-1 is not prime. Res64: 0CA7B2F0347B7BB7 Time : 0.0 sec. user=mdettweiler [2017-05-22 06:39:04] 791*2^1454678-1 is not prime. Res64: 774D21345D1F96E2 Time : 0.0 sec. user=mdettweiler [2017-05-22 06:39:04] 801*2^1454678-1 is not prime. Res64: D8ADC39963AC6000 Time : 0.0 sec. user=mdettweiler [2017-05-22 06:39:05] 843*2^1454678-1 is not prime. Res64: CB97E9D2BF32A25A Time : 0.0 sec. user=mdettweiler [2017-05-22 06:39:05] 857*2^1454678-1 is not prime. Res64: 0B2EB4DB320D9C85 Time : 0.0 sec. user=mdettweiler [2017-05-22 06:39:05] 897*2^1454678-1 is not prime. Res64: 39F8B7BE9A1B5CA5 Time : 0.0 sec. user=mdettweiler [2017-05-22 06:45:29] 911*2^1454678-1 is not prime. Res64: ED4FBC4943D9EE4D Time : 0.0 sec. user=mdettweiler [2017-05-22 06:45:29] 923*2^1454678-1 is not prime. Res64: 92793D33A951D824 Time : 0.0 sec. user=mdettweiler [2017-05-22 06:45:29] 639*2^1454679-1 is not prime. Res64: 4F7213CDAF4EF9DC Time : 0.0 sec. user=mdettweiler [2017-05-22 06:45:29] 669*2^1454679-1 is not prime. Res64: 35FEF8F10CBFE6DE Time : 0.0 sec. user=mdettweiler [2017-05-22 06:45:30] 679*2^1454679-1 is not prime. Res64: 390939AB43DDD62C Time : 0.0 sec. user=mdettweiler [2017-05-22 06:46:10] 741*2^1454679-1 is not prime. Res64: C5D781F14241530D Time : 0.0 sec. user=mdettweiler [2017-05-22 06:46:10] 775*2^1454679-1 is not prime. Res64: F67F3ECFF62831AE Time : 0.0 sec. user=mdettweiler [2017-05-22 06:46:10] 913*2^1454679-1 is not prime. Res64: 27C04BCC35142423 Time : 0.0 sec. user=mdettweiler [2017-05-22 06:46:10] 635*2^1454680-1 is not prime. Res64: A1EDCAC34DFA05E7 Time : 0.0 sec. user=mdettweiler [2017-05-22 06:46:11] 653*2^1454680-1 is not prime. Res64: 636432283CD957CE Time : 0.0 sec. user=mdettweiler [2017-05-22 07:07:15] 719*2^1454680-1 is not prime. Res64: 86AB0B19B12F070D Time : 0.0 sec. user=mdettweiler [2017-05-22 07:07:18] 785*2^1454680-1 is not prime. Res64: 91BF96C9BC138FF3 Time : 0.0 sec. user=mdettweiler [2017-05-22 07:07:21] 933*2^1454680-1 is not prime. Res64: FB1C7AAE53C2190D Time : 0.0 sec. user=mdettweiler [2017-05-22 07:07:23] 939*2^1454680-1 is not prime. Res64: D200551860CC73C2 Time : 0.0 sec. user=mdettweiler [2017-05-22 07:07:26] 999*2^1454680-1 is not prime. Res64: DFD6921E1B2E6884 Time : 0.0 sec. user=mdettweiler [2017-05-22 07:24:55] 615*2^1454681-1 is not prime. Res64: 6E84DA33A2A06BFE Time : 0.0 sec. user=mdettweiler [2017-05-22 07:24:55] 619*2^1454681-1 is not prime. Res64: A8266E339FD0EB21 Time : 0.0 sec. user=mdettweiler [2017-05-22 07:24:55] 657*2^1454681-1 is not prime. Res64: E3BA91E78707059F Time : 0.0 sec. user=mdettweiler [2017-05-22 07:24:55] 711*2^1454681-1 is not prime. Res64: 42F0A1BA0C0D4F24 Time : 0.0 sec. user=mdettweiler [2017-05-22 07:24:56] 769*2^1454681-1 is not prime. Res64: EAF96AAEB46C016C Time : 0.0 sec. user=mdettweiler [2017-05-22 07:31:16] 777*2^1454681-1 is not prime. Res64: B3AE5F16AAA51014 Time : 0.0 sec. user=mdettweiler [2017-05-22 07:31:17] 855*2^1454681-1 is not prime. Res64: A7767A959946BF47 Time : 0.0 sec. user=mdettweiler [2017-05-22 07:31:17] 871*2^1454681-1 is not prime. Res64: F589D628937AE1C3 Time : 0.0 sec. user=mdettweiler [2017-05-22 07:31:17] 939*2^1454681-1 is not prime. Res64: 7BE3680462A25E7D Time : 0.0 sec. user=mdettweiler [2017-05-22 07:31:17] 651*2^1454682-1 is not prime. Res64: 209B51586FCCAB6E Time : 0.0 sec. user=mdettweiler [2017-05-22 07:32:02] 681*2^1454682-1 is not prime. Res64: B5C49510A4C9705B Time : 0.0 sec. user=mdettweiler [2017-05-22 07:32:02] 951*2^1454682-1 is not prime. Res64: FF6DB16FD4A95A0D Time : 0.0 sec. user=mdettweiler [2017-05-22 07:32:02] 631*2^1454683-1 is not prime. Res64: 9E7C594BCA87245F Time : 0.0 sec. user=mdettweiler [2017-05-22 07:32:02] 723*2^1454683-1 is not prime. Res64: 523F54590E10FF78 Time : 0.0 sec. user=mdettweiler [2017-05-22 07:32:03] 855*2^1454683-1 is not prime. Res64: 7332BA662E1CDC09 Time : 0.0 sec. user=mdettweiler [2017-05-22 07:53:33] 895*2^1454683-1 is not prime. Res64: 5D987C2BF5BDCC97 Time : 0.0 sec. user=mdettweiler [2017-05-22 07:53:33] 913*2^1454683-1 is not prime. Res64: 3F56FD22110CFB6E Time : 0.0 sec. user=mdettweiler [2017-05-22 07:53:34] 985*2^1454683-1 is not prime. Res64: 9DAF429C3A3CEAA6 Time : 0.0 sec. user=mdettweiler [2017-05-22 07:53:34] 687*2^1454684-1 is not prime. Res64: 977D160EF23ACCA0 Time : 0.0 sec. user=mdettweiler [2017-05-22 07:53:34] 699*2^1454684-1 is not prime. Res64: EBF006D1372FEFF8 Time : 0.0 sec. user=mdettweiler [2017-05-22 08:10:39] 759*2^1454684-1 is not prime. Res64: 9869DDB1740E2C20 Time : 0.0 sec. user=mdettweiler [2017-05-22 08:10:39] 959*2^1454684-1 is not prime. Res64: 5D993E954FD8BC21 Time : 0.0 sec. user=mdettweiler [2017-05-22 08:10:40] 675*2^1454685-1 is not prime. Res64: 824E159E7247F125 Time : 0.0 sec. user=mdettweiler [2017-05-22 08:10:40] 777*2^1454685-1 is not prime. Res64: B1E758D3CBC0BA16 Time : 0.0 sec. user=mdettweiler [2017-05-22 08:10:40] 781*2^1454685-1 is not prime. Res64: C467B9A463691C14 Time : 0.0 sec. user=mdettweiler [2017-05-22 08:17:12] 951*2^1454685-1 is not prime. Res64: 21D5472CC78A2F78 Time : 0.0 sec. user=mdettweiler [2017-05-22 08:17:46] 619*2^1454687-1 is not prime. Res64: BC6245F78006C9D2 Time : 0.0 sec. user=mdettweiler [2017-05-22 08:17:47] 645*2^1454687-1 is not prime. Res64: 12A8775B47858E61 Time : 0.0 sec. user=mdettweiler [2017-05-22 08:17:47] 655*2^1454687-1 is not prime. Res64: 7BFE06A295881658 Time : 0.0 sec. user=mdettweiler [2017-05-22 08:17:47] 703*2^1454687-1 is not prime. Res64: 84DA8E1597E5F543 Time : 0.0 sec. user=mdettweiler [2017-05-22 08:17:47] 775*2^1454687-1 is not prime. Res64: 4472471ED89872C6 Time : 0.0 sec. user=juhehe [2017-05-22 08:25:26] 991*2^1454687-1 is not prime. Res64: 587AEF6C397F97B1 Time : 0.0 sec. user=mdettweiler [2017-05-22 08:40:25] 627*2^1454688-1 is not prime. Res64: 9995055453E6E6C1 Time : 0.0 sec. user=mdettweiler [2017-05-22 08:40:26] 635*2^1454688-1 is not prime. Res64: 09E2D66A837AE667 Time : 0.0 sec. user=mdettweiler [2017-05-22 08:40:26] 663*2^1454688-1 is not prime. Res64: E8294B77CC714FCD Time : 0.0 sec. user=mdettweiler [2017-05-22 08:40:26] 705*2^1454688-1 is not prime. Res64: D9416C5549B5C3D3 Time : 0.0 sec. user=mdettweiler [2017-05-22 08:40:27] 725*2^1454688-1 is not prime. Res64: F9906EAC5AAE4FED Time : 0.0 sec. user=mdettweiler [2017-05-22 08:57:40] 765*2^1454688-1 is not prime. Res64: 5379B4B7FAEB4D5C Time : 0.0 sec. user=mdettweiler [2017-05-22 08:57:41] 843*2^1454688-1 is not prime. Res64: 09D06A0E1BB99B81 Time : 0.0 sec. user=mdettweiler [2017-05-22 08:57:41] 879*2^1454688-1 is not prime. Res64: 304F32ABD9D7CA4F Time : 0.0 sec. user=mdettweiler [2017-05-22 08:57:41] 615*2^1454689-1 is not prime. Res64: 423E52F08D6ECF39 Time : 0.0 sec. user=mdettweiler [2017-05-22 08:57:42] 699*2^1454689-1 is not prime. Res64: 39118748B1904514 Time : 0.0 sec. user=mdettweiler [2017-05-22 09:04:49] 765*2^1454689-1 is not prime. Res64: 5F9AADF1D6637EF8 Time : 0.0 sec. user=mdettweiler [2017-05-22 09:04:51] 861*2^1454689-1 is not prime. Res64: 8ACB8BBFC369CFC3 Time : 0.0 sec. user=mdettweiler [2017-05-22 09:04:53] 645*2^1454690-1 is not prime. Res64: A72A592BE96B011F Time : 0.0 sec. user=mdettweiler [2017-05-22 09:04:54] 687*2^1454690-1 is not prime. Res64: 566A19DA8BD88581 Time : 0.0 sec. user=mdettweiler [2017-05-22 09:04:55] 755*2^1454690-1 is not prime. Res64: 4B9298EB16B23FD3 Time : 0.0 sec. user=mdettweiler [2017-05-22 09:27:39] 831*2^1454690-1 is not prime. Res64: 6546E1555979D5F0 Time : 0.0 sec. user=mdettweiler [2017-05-22 09:27:40] 927*2^1454690-1 is not prime. Res64: E1396D82B2B64B99 Time : 0.0 sec. user=mdettweiler [2017-05-22 09:27:40] 977*2^1454690-1 is not prime. Res64: A408970574B01C46 Time : 0.0 sec. user=mdettweiler [2017-05-22 09:27:40] 615*2^1454691-1 is not prime. Res64: 0EF24F78E9BBDC1A Time : 0.0 sec. user=mdettweiler [2017-05-22 09:27:41] 795*2^1454691-1 is not prime. Res64: CFFFBDB41DD53447 Time : 0.0 sec. user=mdettweiler [2017-05-22 09:44:34] 823*2^1454691-1 is not prime. Res64: A6CE7E688A87F6FD Time : 0.0 sec. user=mdettweiler [2017-05-22 09:44:34] 903*2^1454691-1 is not prime. Res64: CCF38CA66D8F2F57 Time : 0.0 sec. user=mdettweiler [2017-05-22 09:44:34] 921*2^1454691-1 is not prime. Res64: AB5C56E28B7ACC51 Time : 0.0 sec. user=mdettweiler [2017-05-22 09:44:35] 931*2^1454691-1 is not prime. Res64: 4D71724AF119A998 Time : 0.0 sec. user=mdettweiler [2017-05-22 09:44:35] 975*2^1454691-1 is not prime. Res64: 7272AE4E58284B68 Time : 0.0 sec. user=mdettweiler [2017-05-22 09:52:14] 723*2^1454692-1 is not prime. Res64: 50F33E897CB02382 Time : 0.0 sec. user=mdettweiler [2017-05-22 09:52:14] 803*2^1454692-1 is not prime. Res64: 69310BDEA4278966 Time : 0.0 sec. user=mdettweiler [2017-05-22 09:52:14] 819*2^1454692-1 is not prime. Res64: BB6A810018C46018 Time : 0.0 sec. user=mdettweiler [2017-05-22 09:52:15] 825*2^1454692-1 is not prime. Res64: C94BF9CCDB612190 Time : 0.0 sec. user=mdettweiler [2017-05-22 09:52:15] 903*2^1454692-1 is not prime. Res64: 9191F515FB5FC3F6 Time : 0.0 sec. user=mdettweiler [2017-05-22 10:14:45] 915*2^1454692-1 is not prime. Res64: 301983166576B1D1 Time : 0.0 sec. user=mdettweiler [2017-05-22 10:14:46] 631*2^1454693-1 is not prime. Res64: A811B9C8623DE48E Time : 0.0 sec. user=mdettweiler [2017-05-22 10:14:46] 691*2^1454693-1 is not prime. Res64: 7E532B950637E56B Time : 0.0 sec. user=mdettweiler [2017-05-22 10:14:46] 727*2^1454693-1 is not prime. Res64: 56DB5B98C9671E7F Time : 0.0 sec. user=mdettweiler [2017-05-22 10:14:47] 735*2^1454693-1 is not prime. Res64: 78C444E1C9E45069 Time : 0.0 sec. user=juhehe [2017-05-22 10:25:41] 707*2^1454694-1 is not prime. Res64: BA5071AEA66BF6C4 Time : 0.0 sec. user=mdettweiler [2017-05-22 10:31:21] 757*2^1454693-1 is not prime. Res64: FDEB7F36C0DC0067 Time : 0.0 sec. user=mdettweiler [2017-05-22 10:31:21] 811*2^1454693-1 is not prime. Res64: 7D704A775F8132A4 Time : 0.0 sec. user=mdettweiler [2017-05-22 10:31:22] 861*2^1454693-1 is not prime. Res64: C33C7D4BCBB852AF Time : 0.0 sec. user=mdettweiler [2017-05-22 10:31:22] 879*2^1454693-1 is not prime. Res64: FC20D38BF07C274F Time : 0.0 sec. user=mdettweiler [2017-05-22 10:31:23] 937*2^1454693-1 is not prime. Res64: 93AA6BA37C898076 Time : 0.0 sec. user=mdettweiler [2017-05-22 10:39:17] 723*2^1454694-1 is not prime. Res64: AC6DCEA09BF60F3E Time : 0.0 sec. user=mdettweiler [2017-05-22 10:39:18] 765*2^1454694-1 is not prime. Res64: 8C1D7C8E931C2349 Time : 0.0 sec. user=mdettweiler [2017-05-22 10:39:18] 915*2^1454694-1 is not prime. Res64: DA691D8252FE771C Time : 0.0 sec. user=mdettweiler [2017-05-22 10:39:18] 971*2^1454694-1 is not prime. Res64: CF16A20770477FD6 Time : 0.0 sec. user=mdettweiler [2017-05-22 10:39:18] 993*2^1454694-1 is not prime. Res64: AD7BA7F2F8971E7B Time : 0.0 sec. user=mdettweiler [2017-05-22 11:01:38] 609*2^1454695-1 is not prime. Res64: BDC997CBC38ABF22 Time : 0.0 sec. user=mdettweiler [2017-05-22 11:01:39] 759*2^1454695-1 is not prime. Res64: 73593250D2CEAD06 Time : 0.0 sec. user=mdettweiler [2017-05-22 11:01:42] 871*2^1454695-1 is not prime. Res64: 0F87A8EFDDE397F5 Time : 0.0 sec. user=mdettweiler [2017-05-22 11:01:43] 883*2^1454695-1 is not prime. Res64: EAE8B1A640E9E4B8 Time : 0.0 sec. user=mdettweiler [2017-05-22 11:01:44] 939*2^1454695-1 is not prime. Res64: 1E8EB582B61B0C78 Time : 0.0 sec. user=mdettweiler [2017-05-22 11:09:52] 651*2^1454686-1 is not prime. Res64: 402C40A3250AD627 Time : 0.0 sec. user=mdettweiler [2017-05-22 11:09:53] 713*2^1454686-1 is not prime. Res64: 59FF8E6AF8EB4BFF Time : 0.0 sec. user=mdettweiler [2017-05-22 11:09:53] 873*2^1454686-1 is not prime. Res64: 3D43929BB76557CF Time : 0.0 sec. user=mdettweiler [2017-05-22 11:09:53] 975*2^1454686-1 is not prime. Res64: 4769802A0470DD53 Time : 0.0 sec. user=mdettweiler [2017-05-22 11:18:17] 677*2^1454696-1 is not prime. Res64: A68F519D5A2D6D36 Time : 0.0 sec. user=mdettweiler [2017-05-22 11:18:17] 785*2^1454696-1 is not prime. Res64: C30FBAC9511E1158 Time : 0.0 sec. user=mdettweiler [2017-05-22 11:18:17] 833*2^1454696-1 is not prime. Res64: 5DB86C0B2922F9F3 Time : 0.0 sec. user=mdettweiler [2017-05-22 11:18:18] 843*2^1454696-1 is not prime. Res64: 3D825A6EA8A92565 Time : 0.0 sec. user=mdettweiler [2017-05-22 11:18:18] 903*2^1454696-1 is not prime. Res64: 582BBA5563952F95 Time : 0.0 sec. user=mdettweiler [2017-05-22 11:26:08] 923*2^1454696-1 is not prime. Res64: 670ACD9B643DE506 Time : 0.0 sec. user=mdettweiler [2017-05-22 11:26:08] 999*2^1454696-1 is not prime. Res64: 13260BDAD77D3D9C Time : 0.0 sec. user=mdettweiler [2017-05-22 11:26:08] 615*2^1454697-1 is not prime. Res64: AB1B3E1D1918A27A Time : 0.0 sec. user=mdettweiler [2017-05-22 11:26:09] 669*2^1454697-1 is not prime. Res64: 67838FD9536F4CEB Time : 0.0 sec. user=mdettweiler [2017-05-22 11:26:09] 747*2^1454697-1 is not prime. Res64: F893ECCF4258B3C9 Time : 0.0 sec. user=mdettweiler [2017-05-22 11:48:11] 751*2^1454697-1 is not prime. Res64: C6E8027B970627A6 Time : 0.0 sec. user=mdettweiler [2017-05-22 11:48:11] 777*2^1454697-1 is not prime. Res64: 8594C25CD5E9D6A2 Time : 0.0 sec. user=mdettweiler [2017-05-22 11:48:12] 837*2^1454697-1 is not prime. Res64: 8D576F35ADA9F7FF Time : 0.0 sec. user=mdettweiler [2017-05-22 11:48:12] 937*2^1454697-1 is not prime. Res64: 27B447924073883F Time : 0.0 sec. user=mdettweiler [2017-05-22 11:48:12] 979*2^1454697-1 is not prime. Res64: AE0A95860F78457F Time : 0.0 sec. user=mdettweiler [2017-05-22 11:55:53] 755*2^1454698-1 is not prime. Res64: 2F5BA027B15FB831 Time : 0.0 sec. user=mdettweiler [2017-05-22 11:55:54] 777*2^1454698-1 is not prime. Res64: 1676B403BE54DB0A Time : 0.0 sec. user=mdettweiler [2017-05-22 11:55:54] 803*2^1454698-1 is not prime. Res64: 87ACEE76A2CE0B2E Time : 0.0 sec. user=mdettweiler [2017-05-22 11:55:54] 951*2^1454698-1 is not prime. Res64: 8458EA42C000CC93 Time : 0.0 sec. user=mdettweiler [2017-05-22 11:55:55] 987*2^1454698-1 is not prime. Res64: 23B4D3F613555B24 Time : 0.0 sec. user=mdettweiler [2017-05-22 12:04:11] 669*2^1454699-1 is not prime. Res64: 58B729F34A2B5A2F Time : 0.0 sec. user=mdettweiler [2017-05-22 12:04:14] 693*2^1454699-1 is not prime. Res64: 944594A15422ECBB Time : 0.0 sec. user=mdettweiler [2017-05-22 12:04:15] 711*2^1454699-1 is not prime. Res64: B11B0006019B7FD1 Time : 0.0 sec. user=mdettweiler [2017-05-22 12:04:16] 789*2^1454699-1 is not prime. Res64: A90D73870125E136 Time : 0.0 sec. user=mdettweiler [2017-05-22 12:04:18] 813*2^1454699-1 is not prime. Res64: 3A3E2CBA50682883 Time : 0.0 sec. user=mdettweiler [2017-05-22 12:11:56] 859*2^1454699-1 is not prime. Res64: 7F3C1E689B38EBEB Time : 0.0 sec. user=mdettweiler [2017-05-22 12:11:57] 795*2^1454700-1 is not prime. Res64: 437F0F1C7EF00838 Time : 0.0 sec. user=mdettweiler [2017-05-22 12:11:57] 873*2^1454700-1 is not prime. Res64: D06B5192D9B1A0CE Time : 0.0 sec. user=mdettweiler [2017-05-22 12:11:57] 879*2^1454700-1 is not prime. Res64: A912D68CC923B552 Time : 0.0 sec. user=mdettweiler [2017-05-22 12:11:58] 905*2^1454700-1 is not prime. Res64: 1FEE13BFC61C199A Time : 0.0 sec. user=juhehe [2017-05-22 12:26:14] 687*2^1454701-1 is not prime. Res64: 881D4A3A1868CA9F Time : 0.0 sec. user=mdettweiler [2017-05-22 12:33:58] 691*2^1454701-1 is not prime. Res64: DB35AEC783ABA030 Time : 0.0 sec. user=mdettweiler [2017-05-22 12:33:58] 717*2^1454701-1 is not prime. Res64: 85B18A8156961D97 Time : 0.0 sec. user=mdettweiler [2017-05-22 12:33:58] 777*2^1454701-1 is not prime. Res64: B99FD854757472C5 Time : 0.0 sec. user=mdettweiler [2017-05-22 12:33:59] 847*2^1454701-1 is not prime. Res64: 1A9407001514E010 Time : 0.0 sec. user=mdettweiler [2017-05-22 12:33:59] 927*2^1454701-1 is not prime. Res64: AC8DCD51E63981D6 Time : 0.0 sec. user=mdettweiler [2017-05-22 12:41:47] 931*2^1454701-1 is not prime. Res64: 4283661482CB4C3D Time : 0.0 sec. user=mdettweiler [2017-05-22 12:41:47] 951*2^1454701-1 is not prime. Res64: 89C8585F3D71DD6D Time : 0.0 sec. user=mdettweiler [2017-05-22 12:41:47] 711*2^1454702-1 is not prime. Res64: E6D5439598EBD7BB Time : 0.0 sec. user=mdettweiler [2017-05-22 12:41:48] 825*2^1454702-1 is not prime. Res64: F431E76D8DB610FC Time : 0.0 sec. user=mdettweiler [2017-05-22 12:41:48] 977*2^1454702-1 is not prime. Res64: 0B1E34F278D20F8A Time : 0.0 sec. user=mdettweiler [2017-05-22 12:50:05] 987*2^1454702-1 is not prime. Res64: F48515A512F71763 Time : 0.0 sec. user=mdettweiler [2017-05-22 12:50:05] 783*2^1454703-1 is not prime. Res64: A2C04195062E2385 Time : 0.0 sec. user=mdettweiler [2017-05-22 12:50:05] 819*2^1454703-1 is not prime. Res64: 467550DAE2B7BAF6 Time : 0.0 sec. user=mdettweiler [2017-05-22 12:50:06] 963*2^1454703-1 is not prime. Res64: 7B67C7BF90D85DCA Time : 0.0 sec. user=mdettweiler [2017-05-22 12:50:06] 609*2^1454704-1 is not prime. Res64: 58A0BC51B5098155 Time : 0.0 sec. user=mdettweiler [2017-05-22 12:57:37] 657*2^1454704-1 is not prime. Res64: E3782331DFD9C9A2 Time : 0.0 sec. user=mdettweiler [2017-05-22 12:57:38] 693*2^1454704-1 is not prime. Res64: A9526A322739AF44 Time : 0.0 sec. user=mdettweiler [2017-05-22 12:57:38] 719*2^1454704-1 is not prime. Res64: 2296BE25C254B04B Time : 0.0 sec. user=mdettweiler [2017-05-22 12:57:38] 755*2^1454704-1 is not prime. Res64: E21799023015F814 Time : 0.0 sec. user=mdettweiler [2017-05-22 12:57:39] 803*2^1454704-1 is not prime. Res64: F55E70E0D27C2946 Time : 0.0 sec. user=odicin [2017-05-22 12:59:46] 885*2^1454705-1 is not prime. Res64: FCFF071588AF08CD Time : 0.0 sec. user=FritzsHero [2017-05-22 13:16:35] 969*2^1454613-1 is not prime. Res64: AA58F3B003E1C477 Time : 0.0 sec. user=FritzsHero [2017-05-22 13:19:07] 621*2^1454614-1 is not prime. Res64: 4E5AC6841168AFD3 Time : 0.0 sec. user=mdettweiler [2017-05-22 13:19:24] 607*2^1454705-1 is not prime. Res64: EA9CF2B34BE30299 Time : 0.0 sec. user=mdettweiler [2017-05-22 13:19:24] 645*2^1454705-1 is not prime. Res64: E8394325A1B1DBA6 Time : 0.0 sec. user=mdettweiler [2017-05-22 13:19:25] 657*2^1454705-1 is not prime. Res64: E16F12A58D08F517 Time : 0.0 sec. user=mdettweiler [2017-05-22 13:19:25] 717*2^1454705-1 is not prime. Res64: 0E0B0EBA280A8189 Time : 0.0 sec. user=mdettweiler [2017-05-22 13:19:25] 735*2^1454705-1 is not prime. Res64: 2C6989529A8F1CBD Time : 0.0 sec. user=FritzsHero [2017-05-22 13:20:58] 663*2^1454499-1 is not prime. Res64: 0717939168F31813 Time : 0.0 sec. user=FritzsHero [2017-05-22 13:22:14] 971*2^1454498-1 is not prime. Res64: AE9DB05C99EBC0A4 Time : 0.0 sec. user=mdettweiler [2017-05-22 13:27:21] 787*2^1454705-1 is not prime. Res64: D5D2D023E149C47A Time : 0.0 sec. user=mdettweiler [2017-05-22 13:27:21] 789*2^1454705-1 is not prime. Res64: D373BDABCF5AE2B7 Time : 0.0 sec. user=mdettweiler [2017-05-22 13:27:22] 841*2^1454705-1 is not prime. Res64: C0040E70B44F7897 Time : 0.0 sec. user=mdettweiler [2017-05-22 13:27:22] 865*2^1454705-1 is not prime. Res64: C54252AA798833D0 Time : 0.0 sec. user=mdettweiler [2017-05-22 13:27:22] 871*2^1454705-1 is not prime. Res64: 86101A90728A325F Time : 0.0 sec. user=FritzsHero [2017-05-22 13:31:04] 949*2^1454709-1 is not prime. Res64: 8B186BB7F8810F56 Time : 0.0 sec. user=mdettweiler [2017-05-22 13:35:27] 907*2^1454705-1 is not prime. Res64: AA4FADE1F38EC800 Time : 0.0 sec. user=mdettweiler [2017-05-22 13:35:27] 985*2^1454705-1 is not prime. Res64: 700DE74222E2B0A3 Time : 0.0 sec. user=mdettweiler [2017-05-22 13:35:27] 635*2^1454706-1 is not prime. Res64: 9AC68A1195F17329 Time : 0.0 sec. user=mdettweiler [2017-05-22 13:35:28] 755*2^1454706-1 is not prime. Res64: F6B066FDA3EDB51A Time : 0.0 sec. user=mdettweiler [2017-05-22 13:35:28] 843*2^1454706-1 is not prime. Res64: E6EAD4346A9EAB00 Time : 0.0 sec. user=mdettweiler [2017-05-22 13:43:02] 693*2^1454707-1 is not prime. Res64: 5B69DCA7B5B7875D Time : 0.0 sec. user=mdettweiler [2017-05-22 13:43:02] 733*2^1454707-1 is not prime. Res64: CE72120F963128DD Time : 0.0 sec. user=mdettweiler [2017-05-22 13:43:02] 769*2^1454707-1 is not prime. Res64: 7EDEDEBFB73E1552 Time : 0.0 sec. user=mdettweiler [2017-05-22 13:43:03] 829*2^1454707-1 is not prime. Res64: BA9DA35302045F31 Time : 0.0 sec. user=mdettweiler [2017-05-22 13:43:03] 891*2^1454707-1 is not prime. Res64: EEA5B5913B92B76F Time : 0.0 sec. user=FritzsHero [2017-05-22 13:44:13] 841*2^1454497-1 is not prime. Res64: 6C4ADC83D789B289 Time : 0.0 sec. user=FritzsHero [2017-05-22 13:44:15] 637*2^1454497-1 is not prime. Res64: 6F74B1BFE556BA50 Time : 0.0 sec. user=FritzsHero [2017-05-22 13:44:32] 717*2^1454497-1 is not prime. Res64: 97F0F535B7F39310 Time : 0.0 sec. user=FritzsHero [2017-05-22 13:44:49] 915*2^1454497-1 is not prime. Res64: 56FD013F3BB67533 Time : 0.0 sec. user=juhehe [2017-05-22 13:46:21] 945*2^1454707-1 is not prime. Res64: 7588923E88A75958 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:04:57] 743*2^1454708-1 is not prime. Res64: 49FE2B770B2DF4E2 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:04:58] 655*2^1454709-1 is not prime. Res64: 375FFC39DBCC7B18 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:04:59] 669*2^1454709-1 is not prime. Res64: C54B166578A36AA8 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:05:00] 711*2^1454709-1 is not prime. Res64: F9E01FF63DD62074 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:05:01] 741*2^1454709-1 is not prime. Res64: 3FEAD02AF8C41320 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:13:00] 677*2^1454710-1 is not prime. Res64: 9173091033800FBF Time : 0.0 sec. user=mdettweiler [2017-05-22 14:13:00] 723*2^1454710-1 is not prime. Res64: 36A2A9685EAD2049 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:13:01] 731*2^1454710-1 is not prime. Res64: C49E29542F8B1E6F Time : 0.0 sec. user=mdettweiler [2017-05-22 14:13:01] 923*2^1454710-1 is not prime. Res64: 9CAC5EE62CCBB737 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:13:01] 621*2^1454711-1 is not prime. Res64: 3334433977241C0B Time : 0.0 sec. user=mdettweiler [2017-05-22 14:20:58] 661*2^1454711-1 is not prime. Res64: 1C4BB737248197D1 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:20:59] 679*2^1454711-1 is not prime. Res64: 111F6D3340558885 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:20:59] 715*2^1454711-1 is not prime. Res64: 732D56B7ACFA8369 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:20:59] 805*2^1454711-1 is not prime. Res64: 80C59580D663EF0A Time : 0.0 sec. user=mdettweiler [2017-05-22 14:20:59] 811*2^1454711-1 is not prime. Res64: 3BA79865B0D9D74F Time : 0.0 sec. user=mdettweiler [2017-05-22 14:28:38] 921*2^1454711-1 is not prime. Res64: 875BF05ABAD89D79 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:28:38] 943*2^1454711-1 is not prime. Res64: 828EE25C3BEA8DD4 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:28:39] 669*2^1454712-1 is not prime. Res64: 37131E48D50B656A Time : 0.0 sec. user=mdettweiler [2017-05-22 14:28:39] 747*2^1454712-1 is not prime. Res64: 71EABF3A9494476D Time : 0.0 sec. user=mdettweiler [2017-05-22 14:28:39] 819*2^1454712-1 is not prime. Res64: C07FF976410C80D7 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:51:04] 615*2^1454713-1 is not prime. Res64: 8E0CE1CEB3D2835E Time : 0.0 sec. user=mdettweiler [2017-05-22 14:51:04] 675*2^1454713-1 is not prime. Res64: E375BE3623FA8FA4 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:51:05] 801*2^1454713-1 is not prime. Res64: 67DA9C34D7C93F14 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:51:05] 831*2^1454713-1 is not prime. Res64: 4512049499E2EF70 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:51:05] 847*2^1454713-1 is not prime. Res64: 4A2EEDBA73B09BE4 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:58:48] 919*2^1454713-1 is not prime. Res64: E25192B541F04185 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:58:48] 967*2^1454713-1 is not prime. Res64: 432C2F5583A89C49 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:58:48] 657*2^1454714-1 is not prime. Res64: 00CF65A37AEDAB70 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:58:48] 687*2^1454714-1 is not prime. Res64: D5CD880E531B0300 Time : 0.0 sec. user=mdettweiler [2017-05-22 14:58:49] 711*2^1454714-1 is not prime. Res64: F34D41D908647E5D Time : 0.0 sec. user=mdettweiler [2017-05-22 15:06:33] 755*2^1454714-1 is not prime. Res64: 7A3316A27CFFFC6E Time : 0.0 sec. user=mdettweiler [2017-05-22 15:06:34] 851*2^1454714-1 is not prime. Res64: 200B51B624183CAA Time : 0.0 sec. user=mdettweiler [2017-05-22 15:06:36] 971*2^1454714-1 is not prime. Res64: 3C99A09F5D3DFBA7 Time : 0.0 sec. user=mdettweiler [2017-05-22 15:06:38] 981*2^1454714-1 is not prime. Res64: E0375FA8B94228D5 Time : 0.0 sec. user=mdettweiler [2017-05-22 15:06:40] 993*2^1454714-1 is not prime. Res64: C23ADBC20B6BB979 Time : 0.0 sec. user=mdettweiler [2017-05-22 15:14:18] 643*2^1454715-1 is not prime. Res64: F4E7B25A08AC313E Time : 0.0 sec. user=mdettweiler [2017-05-22 15:14:18] 781*2^1454715-1 is not prime. Res64: A83E93D4D7C6AE04 Time : 0.0 sec. user=mdettweiler [2017-05-22 15:14:19] 829*2^1454715-1 is not prime. Res64: 0025348CDB0FDA2A Time : 0.0 sec. user=mdettweiler [2017-05-22 15:14:19] 871*2^1454715-1 is not prime. Res64: B769EEA10EA96225 Time : 0.0 sec. user=mdettweiler [2017-05-22 15:14:19] 603*2^1454716-1 is not prime. Res64: 291522BE04FBDB52 Time : 0.0 sec. user=mdettweiler [2017-05-22 15:36:25] 639*2^1454716-1 is not prime. Res64: 0585B5D9F9E5201E Time : 0.0 sec. user=mdettweiler [2017-05-22 15:36:25] 689*2^1454716-1 is not prime. Res64: EAD41C54384F67FC Time : 0.0 sec. user=mdettweiler [2017-05-22 15:36:25] 923*2^1454716-1 is not prime. Res64: 36DA662518E0441D Time : 0.0 sec. user=mdettweiler [2017-05-22 15:36:25] 957*2^1454716-1 is not prime. Res64: C5300E4AD7ECE2E5 Time : 0.0 sec. user=mdettweiler [2017-05-22 15:36:26] 989*2^1454716-1 is not prime. Res64: 19F97062BB05682C Time : 0.0 sec. user=mdettweiler [2017-05-22 15:44:13] 615*2^1454717-1 is not prime. Res64: 1893F56B8D3109E5 Time : 0.0 sec. user=mdettweiler [2017-05-22 15:44:13] 627*2^1454717-1 is not prime. Res64: 561D966AA4353805 Time : 0.0 sec. user=mdettweiler [2017-05-22 15:44:13] 675*2^1454717-1 is not prime. Res64: 0616F30A78EB902F Time : 0.0 sec. user=mdettweiler [2017-05-22 15:44:14] 847*2^1454717-1 is not prime. Res64: BC910F5ABCA618A4 Time : 0.0 sec. user=mdettweiler [2017-05-22 15:44:14] 889*2^1454717-1 is not prime. Res64: 0CC8BB5AE9763165 Time : 0.0 sec. user=mdettweiler [2017-05-22 15:52:33] 915*2^1454717-1 is not prime. Res64: 51B50F8576F6D11B Time : 0.0 sec. user=mdettweiler [2017-05-22 15:52:33] 927*2^1454717-1 is not prime. Res64: C4D417C8594D6C28 Time : 0.0 sec. user=mdettweiler [2017-05-22 15:52:33] 949*2^1454717-1 is not prime. Res64: 499B52491571B20D Time : 0.0 sec. user=mdettweiler [2017-05-22 15:52:34] 955*2^1454717-1 is not prime. Res64: F019D0DDB801C5E6 Time : 0.0 sec. user=mdettweiler [2017-05-22 15:52:34] 611*2^1454718-1 is not prime. Res64: 5CBED22BA33521AC Time : 0.0 sec. user=mdettweiler [2017-05-22 15:59:46] 641*2^1454718-1 is not prime. Res64: B6E02BD1B09D53F0 Time : 0.0 sec. user=mdettweiler [2017-05-22 15:59:46] 893*2^1454718-1 is not prime. Res64: 207DEDBE838E655B Time : 0.0 sec. user=mdettweiler [2017-05-22 15:59:46] 971*2^1454718-1 is not prime. Res64: C7FA70469190DF93 Time : 0.0 sec. user=mdettweiler [2017-05-22 15:59:47] 977*2^1454718-1 is not prime. Res64: C78F746E6F578751 Time : 0.0 sec. user=mdettweiler [2017-05-22 15:59:47] 603*2^1454719-1 is not prime. Res64: 70E5C5E848A785FE Time : 0.0 sec. user=juhehe [2017-05-22 16:21:48] 831*2^1454719-1 is not prime. Res64: 60A06D9D2DF41552 Time : 0.0 sec. user=mdettweiler [2017-05-22 16:21:52] 619*2^1454719-1 is not prime. Res64: 3D7D8F303AB194B6 Time : 0.0 sec. user=mdettweiler [2017-05-22 16:21:52] 685*2^1454719-1 is not prime. Res64: 44D7F5429E98BD28 Time : 0.0 sec. user=mdettweiler [2017-05-22 16:21:53] 693*2^1454719-1 is not prime. Res64: 5DE708C8122BE7A5 Time : 0.0 sec. user=mdettweiler [2017-05-22 16:21:53] 729*2^1454719-1 is not prime. Res64: AE5456AD094A4858 Time : 0.0 sec. user=mdettweiler [2017-05-22 16:21:53] 745*2^1454719-1 is not prime. Res64: F06F9B46D72E64E8 Time : 0.0 sec. user=mdettweiler [2017-05-22 16:29:50] 913*2^1454719-1 is not prime. Res64: 7951C766B596C207 Time : 0.0 sec. user=mdettweiler [2017-05-22 16:29:50] 993*2^1454719-1 is not prime. Res64: EFA29279A83DA754 Time : 0.0 sec. user=mdettweiler [2017-05-22 16:29:51] 659*2^1454720-1 is not prime. Res64: EB938B49321332BF Time : 0.0 sec. user=mdettweiler [2017-05-22 16:29:51] 773*2^1454720-1 is not prime. Res64: A311095652EABEEF Time : 0.0 sec. user=mdettweiler [2017-05-22 16:29:51] 839*2^1454720-1 is not prime. Res64: AF6FFB5978498E70 Time : 0.0 sec. user=mdettweiler [2017-05-22 16:38:09] 717*2^1454721-1 is not prime. Res64: 6CDA7BAED4A05A24 Time : 0.0 sec. user=mdettweiler [2017-05-22 16:38:10] 895*2^1454721-1 is not prime. Res64: C55DE4B5393A8BB5 Time : 0.0 sec. user=mdettweiler [2017-05-22 16:38:10] 955*2^1454721-1 is not prime. Res64: BCC0A322264CE0E0 Time : 0.0 sec. user=mdettweiler [2017-05-22 16:38:10] 969*2^1454721-1 is not prime. Res64: 3C32411B95DE3749 Time : 0.0 sec. user=mdettweiler [2017-05-22 16:38:10] 997*2^1454721-1 is not prime. Res64: 57185F7868FC0E26 Time : 0.0 sec. user=juhehe [2017-05-22 16:39:16] 999*2^1454721-1 is not prime. Res64: 3851E41DE68503CC Time : 0.0 sec. user=mdettweiler [2017-05-22 16:45:37] 657*2^1454722-1 is not prime. Res64: F7BF4B3A3BF1C287 Time : 0.0 sec. user=mdettweiler [2017-05-22 16:45:38] 671*2^1454722-1 is not prime. Res64: 6AABDFF29D2C0B9F Time : 0.0 sec. user=mdettweiler [2017-05-22 16:45:38] 675*2^1454722-1 is not prime. Res64: 85DBCDEE49AB338F Time : 0.0 sec. user=mdettweiler [2017-05-22 16:45:38] 881*2^1454722-1 is not prime. Res64: BC2B63F37C43FD7E Time : 0.0 sec. user=mdettweiler [2017-05-22 16:45:39] 891*2^1454722-1 is not prime. Res64: 2AC38B86B3744D0C Time : 0.0 sec. user=mdettweiler [2017-05-22 17:07:23] 911*2^1454722-1 is not prime. Res64: 6D70BEB6615D2371 Time : 0.0 sec. user=mdettweiler [2017-05-22 17:07:25] 951*2^1454722-1 is not prime. Res64: 35DB081ADF9D2B41 Time : 0.0 sec. user=mdettweiler [2017-05-22 17:07:27] 621*2^1454723-1 is not prime. Res64: 6902EE0416D6583A Time : 0.0 sec. user=mdettweiler [2017-05-22 17:07:28] 693*2^1454723-1 is not prime. Res64: 71D40AB30A0F05A8 Time : 0.0 sec. user=mdettweiler [2017-05-22 17:07:29] 901*2^1454723-1 is not prime. Res64: 075806E6FABB5D1F Time : 0.0 sec. user=mdettweiler [2017-05-22 17:15:20] 973*2^1454723-1 is not prime. Res64: 010F8B3E5077A756 Time : 0.0 sec. user=mdettweiler [2017-05-22 17:15:20] 623*2^1454724-1 is not prime. Res64: D5B1DA8036B7E899 Time : 0.0 sec. user=mdettweiler [2017-05-22 17:15:21] 657*2^1454724-1 is not prime. Res64: E8718591B791137C Time : 0.0 sec. user=mdettweiler [2017-05-22 17:15:21] 717*2^1454724-1 is not prime. Res64: 9813A4D16BB11281 Time : 0.0 sec. user=mdettweiler [2017-05-22 17:15:21] 737*2^1454724-1 is not prime. Res64: 3489E0AA86B3F044 Time : 0.0 sec. user=mdettweiler [2017-05-22 17:23:36] 795*2^1454724-1 is not prime. Res64: DE821085608FCEE5 Time : 0.0 sec. user=mdettweiler [2017-05-22 17:23:36] 909*2^1454724-1 is not prime. Res64: C2AE5A50797C6A57 Time : 0.0 sec. user=mdettweiler [2017-05-22 17:23:36] 957*2^1454724-1 is not prime. Res64: 15E89904D1AA37C4 Time : 0.0 sec. user=mdettweiler [2017-05-22 17:23:36] 661*2^1454725-1 is not prime. Res64: 52930AA9943401E6 Time : 0.0 sec. user=mdettweiler [2017-05-22 17:23:37] 771*2^1454725-1 is not prime. Res64: 549A7D8218BB1C93 Time : 0.0 sec. user=mdettweiler [2017-05-22 17:30:58] 801*2^1454725-1 is not prime. Res64: DC8B18A41C62DD5B Time : 0.0 sec. user=mdettweiler [2017-05-22 17:30:58] 849*2^1454725-1 is not prime. Res64: 791DE0C9DE2FC1FC Time : 0.0 sec. user=mdettweiler [2017-05-22 17:30:58] 867*2^1454725-1 is not prime. Res64: E79487B5B82A1A72 Time : 0.0 sec. user=mdettweiler [2017-05-22 17:30:59] 623*2^1454726-1 is not prime. Res64: 8274329DAD625557 Time : 0.0 sec. user=mdettweiler [2017-05-22 17:30:59] 675*2^1454726-1 is not prime. Res64: 2A2C7E28F95A7C54 Time : 0.0 sec. user=mdettweiler [2017-05-22 17:52:58] 825*2^1454726-1 is not prime. Res64: 82B7C3EDB69D9202 Time : 0.0 sec. user=mdettweiler [2017-05-22 17:52:58] 887*2^1454726-1 is not prime. Res64: 8E2C2852D4FCFC3C Time : 0.0 sec. user=mdettweiler [2017-05-22 17:52:58] 893*2^1454726-1 is not prime. Res64: 77F6F547264FB696 Time : 0.0 sec. user=mdettweiler [2017-05-22 17:52:59] 963*2^1454726-1 is not prime. Res64: 8786A8C8C50502E6 Time : 0.0 sec. user=mdettweiler [2017-05-22 17:53:00] 895*2^1454727-1 is not prime. Res64: E11FFAFB7C760732 Time : 0.0 sec. user=mdettweiler [2017-05-22 18:01:00] 931*2^1454727-1 is not prime. Res64: 581BC1E980F71E52 Time : 0.0 sec. user=mdettweiler [2017-05-22 18:01:01] 955*2^1454727-1 is not prime. Res64: 5730754FF26DD0F3 Time : 0.0 sec. user=mdettweiler [2017-05-22 18:01:03] 961*2^1454727-1 is not prime. Res64: 5F6179F0E9B657CE Time : 0.0 sec. user=mdettweiler [2017-05-22 18:01:03] 615*2^1454728-1 is not prime. Res64: C3D4C13F9897C045 Time : 0.0 sec. user=mdettweiler [2017-05-22 18:01:05] 765*2^1454728-1 is not prime. Res64: 10703A1CF4DB6D08 Time : 0.0 sec. user=mdettweiler [2017-05-22 18:09:01] 797*2^1454728-1 is not prime. Res64: 6FFD7452AFBADD80 Time : 0.0 sec. user=mdettweiler [2017-05-22 18:09:01] 843*2^1454728-1 is not prime. Res64: 96EFABC8E27E564A Time : 0.0 sec. user=mdettweiler [2017-05-22 18:09:02] 849*2^1454728-1 is not prime. Res64: 4EF033B025BEC896 Time : 0.0 sec. user=mdettweiler [2017-05-22 18:09:02] 887*2^1454728-1 is not prime. Res64: 7AB07A8DFAD886FD Time : 0.0 sec. user=mdettweiler [2017-05-22 18:09:02] 989*2^1454728-1 is not prime. Res64: 286C402737656250 Time : 0.0 sec. user=mdettweiler [2017-05-22 18:16:27] 601*2^1454729-1 is not prime. Res64: 1D89FBB59E540D34 Time : 0.0 sec. user=mdettweiler [2017-05-22 18:16:28] 615*2^1454729-1 is not prime. Res64: C722E7FAD92934EF Time : 0.0 sec. user=mdettweiler [2017-05-22 18:16:28] 707*2^1454730-1 is not prime. Res64: 699E61C617C0F2A3 Time : 0.0 sec. user=mdettweiler [2017-05-22 18:16:28] 755*2^1454730-1 is not prime. Res64: 71F820F3F542943B Time : 0.0 sec. user=mdettweiler [2017-05-22 18:16:29] 801*2^1454730-1 is not prime. Res64: 2886FDFD4E6122D5 Time : 0.0 sec. user=mdettweiler [2017-05-22 18:38:21] 873*2^1454730-1 is not prime. Res64: F311A1B142BFBB4A Time : 0.0 sec. user=mdettweiler [2017-05-22 18:38:22] 905*2^1454730-1 is not prime. Res64: 78B8114C7A40975F Time : 0.0 sec. user=mdettweiler [2017-05-22 18:38:22] 951*2^1454730-1 is not prime. Res64: EE4D40EC03446225 Time : 0.0 sec. user=mdettweiler [2017-05-22 18:38:22] 663*2^1454731-1 is not prime. Res64: 74E64F036A11FB09 Time : 0.0 sec. user=mdettweiler [2017-05-22 18:38:23] 681*2^1454731-1 is not prime. Res64: 73B7D3FCC6421BFB Time : 0.0 sec. user=mdettweiler [2017-05-22 18:46:36] 751*2^1454731-1 is not prime. Res64: 6D4ECB0B52B8AD30 Time : 0.0 sec. user=mdettweiler [2017-05-22 18:46:36] 759*2^1454731-1 is not prime. Res64: 7959EC72222935EF Time : 0.0 sec. user=mdettweiler [2017-05-22 18:46:37] 871*2^1454731-1 is not prime. Res64: E04C3342BA793BCF Time : 0.0 sec. user=mdettweiler [2017-05-22 18:46:37] 873*2^1454731-1 is not prime. Res64: 089E8CBF59DDBDFA Time : 0.0 sec. user=mdettweiler [2017-05-22 18:46:37] 635*2^1454732-1 is not prime. Res64: 10AE9C21AB76DE80 Time : 0.0 sec. user=mdettweiler [2017-05-22 18:54:33] 647*2^1454732-1 is not prime. Res64: 1913EA20CA937ED7 Time : 0.0 sec. user=mdettweiler [2017-05-22 18:54:33] 693*2^1454732-1 is not prime. Res64: BD6986937C31B9B6 Time : 0.0 sec. user=mdettweiler [2017-05-22 18:54:34] 717*2^1454732-1 is not prime. Res64: 90E665FEF7037C20 Time : 0.0 sec. user=mdettweiler [2017-05-22 18:54:34] 833*2^1454732-1 is not prime. Res64: 028F38071CC32CC5 Time : 0.0 sec. user=mdettweiler [2017-05-22 18:54:34] 837*2^1454732-1 is not prime. Res64: 271EC1D9A584EE33 Time : 0.0 sec. user=mdettweiler [2017-05-22 19:01:59] 855*2^1454732-1 is not prime. Res64: 629EA0013C4E8323 Time : 0.0 sec. user=mdettweiler [2017-05-22 19:02:00] 903*2^1454732-1 is not prime. Res64: CF2D51A28FE0003A Time : 0.0 sec. user=mdettweiler [2017-05-22 19:02:00] 627*2^1454733-1 is not prime. Res64: 97EFA46F3B7C46DF Time : 0.0 sec. user=mdettweiler [2017-05-22 19:02:01] 649*2^1454733-1 is not prime. Res64: F51A2EB3C8CFA127 Time : 0.0 sec. user=mdettweiler [2017-05-22 19:02:02] 745*2^1454733-1 is not prime. Res64: 5152B57B8F5E59CC Time : 0.0 sec. user=mdettweiler [2017-05-22 19:23:55] 891*2^1454733-1 is not prime. Res64: 1FBF74438BB9152A Time : 0.0 sec. user=mdettweiler [2017-05-22 19:23:56] 937*2^1454733-1 is not prime. Res64: 1E262E05D8003FCD Time : 0.0 sec. user=mdettweiler [2017-05-22 19:23:57] 815*2^1454734-1 is not prime. Res64: C7A4CFE3A48709AF Time : 0.0 sec. user=mdettweiler [2017-05-22 19:23:57] 915*2^1454734-1 is not prime. Res64: 32F69FD5118135E7 Time : 0.0 sec. user=mdettweiler [2017-05-22 19:23:58] 941*2^1454734-1 is not prime. Res64: 9EB98E52F7F57778 Time : 0.0 sec. user=mdettweiler [2017-05-22 19:32:11] 609*2^1454735-1 is not prime. Res64: 4CE667FD2781E2CE Time : 0.0 sec. user=mdettweiler [2017-05-22 19:32:12] 655*2^1454735-1 is not prime. Res64: EAB34F89EC3EA6EE Time : 0.0 sec. user=mdettweiler [2017-05-22 19:32:12] 859*2^1454735-1 is not prime. Res64: 0D9930D79C4C1D20 Time : 0.0 sec. user=mdettweiler [2017-05-22 19:32:12] 909*2^1454735-1 is not prime. Res64: 3A36B37CB3077BD6 Time : 0.0 sec. user=mdettweiler [2017-05-22 19:32:12] 633*2^1454736-1 is not prime. Res64: CB9EF06E15308010 Time : 0.0 sec. user=mdettweiler [2017-05-22 19:40:02] 759*2^1454736-1 is not prime. Res64: 1D3AD1D090F3DEF3 Time : 0.0 sec. user=mdettweiler [2017-05-22 19:40:03] 903*2^1454736-1 is not prime. Res64: BFC2818F796D0057 Time : 0.0 sec. user=mdettweiler [2017-05-22 19:40:03] 619*2^1454737-1 is not prime. Res64: D34374E3D060A445 Time : 0.0 sec. user=mdettweiler [2017-05-22 19:40:03] 727*2^1454737-1 is not prime. Res64: DC9A9994994494EA Time : 0.0 sec. user=mdettweiler [2017-05-22 19:40:03] 771*2^1454737-1 is not prime. Res64: 9AF87F30E0FB235E Time : 0.0 sec. user=mdettweiler [2017-05-22 19:47:40] 807*2^1454737-1 is not prime. Res64: 51777BE7AE735CCC Time : 0.0 sec. user=mdettweiler [2017-05-22 19:47:40] 841*2^1454737-1 is not prime. Res64: CC364B53C96ECC80 Time : 0.0 sec. user=mdettweiler [2017-05-22 19:47:40] 871*2^1454737-1 is not prime. Res64: B15AD043DADBFCBF Time : 0.0 sec. user=mdettweiler [2017-05-22 19:47:40] 937*2^1454737-1 is not prime. Res64: BE385762A0B644F0 Time : 0.0 sec. user=mdettweiler [2017-05-22 19:47:41] 957*2^1454737-1 is not prime. Res64: A3A0C74778904E07 Time : 0.0 sec. user=mdettweiler [2017-05-22 20:09:30] 657*2^1454738-1 is not prime. Res64: 581E55721951822E Time : 0.0 sec. user=mdettweiler [2017-05-22 20:09:30] 911*2^1454738-1 is not prime. Res64: 9FA79386AF9DFFBC Time : 0.0 sec. user=mdettweiler [2017-05-22 20:09:31] 963*2^1454738-1 is not prime. Res64: 732AC43598FA1D2C Time : 0.0 sec. user=mdettweiler [2017-05-22 20:09:31] 995*2^1454738-1 is not prime. Res64: 9252B493035D97B4 Time : 0.0 sec. user=mdettweiler [2017-05-22 20:09:31] 649*2^1454739-1 is not prime. Res64: 758E8A7DE62216A1 Time : 0.0 sec. user=mdettweiler [2017-05-22 20:17:48] 789*2^1454739-1 is not prime. Res64: ED9A483B72EE0E00 Time : 0.0 sec. user=mdettweiler [2017-05-22 20:17:48] 879*2^1454739-1 is not prime. Res64: 66EAD44E6BADE045 Time : 0.0 sec. user=mdettweiler [2017-05-22 20:17:48] 885*2^1454739-1 is not prime. Res64: 845E93801919FB6D Time : 0.0 sec. user=mdettweiler [2017-05-22 20:17:49] 903*2^1454739-1 is not prime. Res64: A5758187CEEFBA41 Time : 0.0 sec. user=mdettweiler [2017-05-22 20:17:49] 913*2^1454739-1 is not prime. Res64: 3B9D68445F79DBAF Time : 0.0 sec. user=mdettweiler [2017-05-22 20:25:42] 609*2^1454740-1 is not prime. Res64: 7B92498505387D14 Time : 0.0 sec. user=mdettweiler [2017-05-22 20:25:43] 653*2^1454740-1 is not prime. Res64: 00BCA428B2D2F284 Time : 0.0 sec. user=mdettweiler [2017-05-22 20:25:43] 717*2^1454740-1 is not prime. Res64: 8BE14A475F177580 Time : 0.0 sec. user=mdettweiler [2017-05-22 20:25:44] 989*2^1454740-1 is not prime. Res64: 0A32618A99B810FB Time : 0.0 sec. user=mdettweiler [2017-05-22 20:25:44] 645*2^1454741-1 is not prime. Res64: 7D5A3968B032BAED Time : 0.0 sec. user=mdettweiler [2017-05-22 20:33:09] 697*2^1454741-1 is not prime. Res64: A5DD60F4BFE5FF6E Time : 0.0 sec. user=mdettweiler [2017-05-22 20:33:09] 715*2^1454741-1 is not prime. Res64: 9E8A99647EEAE2D5 Time : 0.0 sec. user=mdettweiler [2017-05-22 20:33:10] 745*2^1454741-1 is not prime. Res64: 5C8FDD79187E0AA1 Time : 0.0 sec. user=mdettweiler [2017-05-22 20:33:10] 777*2^1454741-1 is not prime. Res64: 077C6E60B9F7F395 Time : 0.0 sec. user=mdettweiler [2017-05-22 20:33:10] 789*2^1454741-1 is not prime. Res64: 5B5CF27DB1860AC1 Time : 0.0 sec. user=mdettweiler [2017-05-22 20:55:26] 795*2^1454741-1 is not prime. Res64: E96DDAD233289B84 Time : 0.0 sec. user=mdettweiler [2017-05-22 20:55:26] 837*2^1454741-1 is not prime. Res64: 030B4727F994F9A4 Time : 0.0 sec. user=mdettweiler [2017-05-22 20:55:27] 981*2^1454741-1 is not prime. Res64: CFE35306B6A5B6A7 Time : 0.0 sec. user=mdettweiler [2017-05-22 20:55:27] 677*2^1454742-1 is not prime. Res64: 75594E945F159238 Time : 0.0 sec. user=mdettweiler [2017-05-22 20:55:27] 681*2^1454742-1 is not prime. Res64: 3C4B75FB289ED2B6 Time : 0.0 sec. user=mdettweiler [2017-05-22 21:03:21] 683*2^1454742-1 is not prime. Res64: 039A5BBF14670F1E Time : 0.0 sec. user=mdettweiler [2017-05-22 21:03:23] 983*2^1454742-1 is not prime. Res64: 88E5CF6F6A58FB2B Time : 0.0 sec. user=mdettweiler [2017-05-22 21:03:24] 615*2^1454743-1 is not prime. Res64: 0ACEB4E2B671B627 Time : 0.0 sec. user=mdettweiler [2017-05-22 21:03:25] 633*2^1454743-1 is not prime. Res64: 262FED4C60B12B70 Time : 0.0 sec. user=mdettweiler [2017-05-22 21:03:26] 723*2^1454743-1 is not prime. Res64: 76EE15C7E541B974 Time : 0.0 sec. user=mdettweiler [2017-05-22 21:10:59] 771*2^1454743-1 is not prime. Res64: 298C64F4558133D1 Time : 0.0 sec. user=mdettweiler [2017-05-22 21:10:59] 813*2^1454743-1 is not prime. Res64: 6B6CC0760FAFC41E Time : 0.0 sec. user=mdettweiler [2017-05-22 21:11:00] 849*2^1454743-1 is not prime. Res64: 013FA46BF575A75F Time : 0.0 sec. user=mdettweiler [2017-05-22 21:11:00] 853*2^1454743-1 is not prime. Res64: 4678C2F1C048403D Time : 0.0 sec. user=mdettweiler [2017-05-22 21:11:00] 925*2^1454743-1 is not prime. Res64: 7D242E7784442D22 Time : 0.0 sec. user=mdettweiler [2017-05-22 21:18:30] 605*2^1454744-1 is not prime. Res64: 53E6FD3CEBEE66F2 Time : 0.0 sec. user=mdettweiler [2017-05-22 21:18:30] 843*2^1454744-1 is not prime. Res64: AF0B6E38AF71F57D Time : 0.0 sec. user=mdettweiler [2017-05-22 21:18:31] 855*2^1454744-1 is not prime. Res64: AA0BB4B13E31EA0F Time : 0.0 sec. user=mdettweiler [2017-05-22 21:18:31] 873*2^1454744-1 is not prime. Res64: 9B496E2D91D12C02 Time : 0.0 sec. user=mdettweiler [2017-05-22 21:18:31] 875*2^1454744-1 is not prime. Res64: 945614E44636BF5C Time : 0.0 sec. user=mdettweiler [2017-05-22 21:41:02] 903*2^1454744-1 is not prime. Res64: 090920A5A4AECA7D Time : 0.0 sec. user=mdettweiler [2017-05-22 21:41:02] 669*2^1454745-1 is not prime. Res64: 6B94F6D822E1E1D6 Time : 0.0 sec. user=mdettweiler [2017-05-22 21:41:03] 777*2^1454745-1 is not prime. Res64: 9B6D09258848B708 Time : 0.0 sec. user=mdettweiler [2017-05-22 21:41:03] 789*2^1454745-1 is not prime. Res64: F7A144CC0BCD163D Time : 0.0 sec. user=mdettweiler [2017-05-22 21:41:04] 895*2^1454745-1 is not prime. Res64: C484CA6B14F71FE7 Time : 0.0 sec. user=mdettweiler [2017-05-22 21:49:13] 999*2^1454745-1 is not prime. Res64: 8AAD79DD0359A52A Time : 0.0 sec. user=mdettweiler [2017-05-22 21:49:13] 765*2^1454746-1 is not prime. Res64: C706B705F0DA8912 Time : 0.0 sec. user=mdettweiler [2017-05-22 21:49:14] 983*2^1454746-1 is not prime. Res64: 62596DC88E55204A Time : 0.0 sec. user=mdettweiler [2017-05-22 21:49:14] 621*2^1454747-1 is not prime. Res64: 34992578B10397A4 Time : 0.0 sec. user=mdettweiler [2017-05-22 21:49:14] 633*2^1454747-1 is not prime. Res64: B86D66675B6DD213 Time : 0.0 sec. user=mdettweiler [2017-05-22 21:56:25] 669*2^1454747-1 is not prime. Res64: 84BEBA2F520D9BA8 Time : 0.0 sec. user=mdettweiler [2017-05-22 21:56:26] 705*2^1454747-1 is not prime. Res64: 6E92A0A655CCEF22 Time : 0.0 sec. user=mdettweiler [2017-05-22 21:56:26] 759*2^1454747-1 is not prime. Res64: ADB468C1F65CFA28 Time : 0.0 sec. user=mdettweiler [2017-05-22 21:56:27] 841*2^1454747-1 is not prime. Res64: 8B66D2EABDF65CD5 Time : 0.0 sec. user=mdettweiler [2017-05-22 21:56:27] 707*2^1454748-1 is not prime. Res64: 0A8218AD0062D204 Time : 0.0 sec. user=mdettweiler [2017-05-22 22:04:11] 735*2^1454748-1 is not prime. Res64: 92B00D9233BDC941 Time : 0.0 sec. user=mdettweiler [2017-05-22 22:04:13] 875*2^1454748-1 is not prime. Res64: 921F213916F60892 Time : 0.0 sec. user=mdettweiler [2017-05-22 22:04:14] 959*2^1454748-1 is not prime. Res64: 535FB87ED78ACF43 Time : 0.0 sec. user=mdettweiler [2017-05-22 22:04:15] 817*2^1454749-1 is not prime. Res64: 085795E1DF9AA1C0 Time : 0.0 sec. user=mdettweiler [2017-05-22 22:04:16] 825*2^1454749-1 is not prime. Res64: 34AA8D6EDE1037F9 Time : 0.0 sec. user=mdettweiler [2017-05-22 22:26:31] 951*2^1454749-1 is not prime. Res64: F69DAC76913AC7B4 Time : 0.0 sec. user=mdettweiler [2017-05-22 22:26:32] 997*2^1454749-1 is not prime. Res64: EDBBC25B8838CFA8 Time : 0.0 sec. user=mdettweiler [2017-05-22 22:26:32] 623*2^1454750-1 is not prime. Res64: A3A2C1F9E13AED3A Time : 0.0 sec. user=mdettweiler [2017-05-22 22:26:32] 635*2^1454750-1 is not prime. Res64: FD7A11BBB2FF47D4 Time : 0.0 sec. user=mdettweiler [2017-05-22 22:26:32] 665*2^1454750-1 is not prime. Res64: EB92E74C6010974A Time : 0.0 sec. user=mdettweiler [2017-05-22 22:34:43] 797*2^1454750-1 is not prime. Res64: C362C8EE17C16A1D Time : 0.0 sec. user=mdettweiler [2017-05-22 22:34:44] 887*2^1454750-1 is not prime. Res64: DFBACF3042781D6F Time : 0.0 sec. user=mdettweiler [2017-05-22 22:34:44] 619*2^1454751-1 is not prime. Res64: B5D3885F25FF249E Time : 0.0 sec. user=mdettweiler [2017-05-22 22:34:44] 735*2^1454751-1 is not prime. Res64: 0917A1C503E43ACB Time : 0.0 sec. user=mdettweiler [2017-05-22 22:34:45] 781*2^1454751-1 is not prime. Res64: 7E8025D3A3D80880 Time : 0.0 sec. user=mdettweiler [2017-05-22 22:41:48] 979*2^1454751-1 is not prime. Res64: B7664DCEC39C6248 Time : 0.0 sec. user=mdettweiler [2017-05-22 22:41:48] 999*2^1454751-1 is not prime. Res64: F1E9A8EC333FDE7A Time : 0.0 sec. user=mdettweiler [2017-05-22 22:41:48] 695*2^1454752-1 is not prime. Res64: 773FB364EF10238F Time : 0.0 sec. user=mdettweiler [2017-05-22 22:41:48] 705*2^1454752-1 is not prime. Res64: AA4CC8AD4116D685 Time : 0.0 sec. user=mdettweiler [2017-05-22 22:41:49] 759*2^1454752-1 is not prime. Res64: FA197C7C7C73DE4E Time : 0.0 sec. user=mdettweiler [2017-05-22 22:49:50] 869*2^1454752-1 is not prime. Res64: CF6317F716FFEA64 Time : 0.0 sec. user=mdettweiler [2017-05-22 22:49:50] 915*2^1454752-1 is not prime. Res64: 2B4E5FD71930EC99 Time : 0.0 sec. user=mdettweiler [2017-05-22 22:49:50] 699*2^1454753-1 is not prime. Res64: A5ECE1A0748E121F Time : 0.0 sec. user=mdettweiler [2017-05-22 22:49:50] 715*2^1454753-1 is not prime. Res64: C48CC553073D93A7 Time : 0.0 sec. user=mdettweiler [2017-05-22 22:49:51] 729*2^1454753-1 is not prime. Res64: CCD7170802718F69 Time : 0.0 sec. user=mdettweiler [2017-05-22 23:11:56] 811*2^1454753-1 is not prime. Res64: F0056F2F119C2EB2 Time : 0.0 sec. user=mdettweiler [2017-05-22 23:11:57] 889*2^1454753-1 is not prime. Res64: 34FC7C576E44A546 Time : 0.0 sec. user=mdettweiler [2017-05-22 23:11:57] 915*2^1454753-1 is not prime. Res64: 4D9D86D3E146107D Time : 0.0 sec. user=mdettweiler [2017-05-22 23:11:57] 937*2^1454753-1 is not prime. Res64: AECF50A42A289FE0 Time : 0.0 sec. user=mdettweiler [2017-05-22 23:11:58] 621*2^1454754-1 is not prime. Res64: 9EFD2A18C055B8E3 Time : 0.0 sec. user=mdettweiler [2017-05-22 23:20:02] 663*2^1454754-1 is not prime. Res64: 1DB9964BCBD99FA1 Time : 0.0 sec. user=mdettweiler [2017-05-22 23:20:02] 705*2^1454754-1 is not prime. Res64: E667834526703DA5 Time : 0.0 sec. user=mdettweiler [2017-05-22 23:20:03] 731*2^1454754-1 is not prime. Res64: 0CD0C9F1C75FA536 Time : 0.0 sec. user=mdettweiler [2017-05-22 23:20:03] 815*2^1454754-1 is not prime. Res64: 2DAED4D9739E2F65 Time : 0.0 sec. user=mdettweiler [2017-05-22 23:20:03] 825*2^1454754-1 is not prime. Res64: 4A1C4FB6899A07BC Time : 0.0 sec. user=mdettweiler [2017-05-22 23:27:15] 885*2^1454754-1 is not prime. Res64: 5B74663F54EA2082 Time : 0.0 sec. user=mdettweiler [2017-05-22 23:27:16] 917*2^1454754-1 is not prime. Res64: 2F4A51B7DCF15064 Time : 0.0 sec. user=mdettweiler [2017-05-22 23:27:16] 921*2^1454754-1 is not prime. Res64: DF07A3E6B2283728 Time : 0.0 sec. user=mdettweiler [2017-05-22 23:27:16] 993*2^1454754-1 is not prime. Res64: 98251E3E0216974B Time : 0.0 sec. user=mdettweiler [2017-05-22 23:27:16] 609*2^1454755-1 is not prime. Res64: AEDA6674A8F7C0DC Time : 0.0 sec. user=mdettweiler [2017-05-22 23:35:14] 631*2^1454755-1 is not prime. Res64: 49821AEDE63D89B9 Time : 0.0 sec. user=mdettweiler [2017-05-22 23:35:14] 673*2^1454755-1 is not prime. Res64: 87233C96C66B9F44 Time : 0.0 sec. user=mdettweiler [2017-05-22 23:35:15] 693*2^1454755-1 is not prime. Res64: 1710C91EEA8B7608 Time : 0.0 sec. user=mdettweiler [2017-05-22 23:35:15] 759*2^1454755-1 is not prime. Res64: 49C6E46CED3798A4 Time : 0.0 sec. user=mdettweiler [2017-05-22 23:35:15] 771*2^1454755-1 is not prime. Res64: 716477E737B694E2 Time : 0.0 sec. user=mdettweiler [2017-05-22 23:57:38] 793*2^1454755-1 is not prime. Res64: 5561298964DAB4CC Time : 0.0 sec. user=mdettweiler [2017-05-22 23:57:38] 859*2^1454755-1 is not prime. Res64: 797E1097B39679AA Time : 0.0 sec. user=mdettweiler [2017-05-22 23:57:38] 885*2^1454755-1 is not prime. Res64: 109D7C4E38C9E6A4 Time : 0.0 sec. user=mdettweiler [2017-05-22 23:57:39] 999*2^1454755-1 is not prime. Res64: 7121F9E14785C2FB Time : 0.0 sec. user=mdettweiler [2017-05-22 23:57:39] 717*2^1454756-1 is not prime. Res64: 66D96AA3D2240610 Time : 0.0 sec.