user=mdettweiler [2018-08-16 00:39:55] 979*2^1521419-1 is not prime. Res64: CDBF394004A2D8F1 Time : 0.0 sec. user=mdettweiler [2018-08-16 00:39:56] 765*2^1521420-1 is not prime. Res64: 2E843F74880ED731 Time : 0.0 sec. user=mdettweiler [2018-08-16 00:39:56] 819*2^1521420-1 is not prime. Res64: D61F216AFB9D887D Time : 0.0 sec. user=mdettweiler [2018-08-16 00:39:57] 845*2^1521420-1 is not prime. Res64: D49FC8D7F5F18480 Time : 0.0 sec. user=mdettweiler [2018-08-16 00:39:57] 615*2^1521421-1 is not prime. Res64: 45185D24928FEC6D Time : 0.0 sec. user=mdettweiler [2018-08-16 00:43:56] 835*2^1521421-1 is not prime. Res64: 40115148CDC50336 Time : 0.0 sec. user=mdettweiler [2018-08-16 00:43:56] 871*2^1521421-1 is not prime. Res64: 802932DC4B50728A Time : 0.0 sec. user=mdettweiler [2018-08-16 00:43:57] 961*2^1521421-1 is not prime. Res64: 52248119E304F7F8 Time : 0.0 sec. user=mdettweiler [2018-08-16 00:43:57] 997*2^1521421-1 is not prime. Res64: AA99B64F6FC147F5 Time : 0.0 sec. user=mdettweiler [2018-08-16 00:43:58] 657*2^1521422-1 is not prime. Res64: 53A6AE378B68F49D Time : 0.0 sec. user=mdettweiler [2018-08-16 00:44:37] 705*2^1521422-1 is not prime. Res64: 0AB9EA667346D3D1 Time : 0.0 sec. user=mdettweiler [2018-08-16 00:44:37] 875*2^1521422-1 is not prime. Res64: BC5229C4558C0C33 Time : 0.0 sec. user=mdettweiler [2018-08-16 00:44:38] 885*2^1521422-1 is not prime. Res64: 6DD473EC4141D75D Time : 0.0 sec. user=mdettweiler [2018-08-16 00:44:38] 953*2^1521422-1 is not prime. Res64: 47E95CF50DEDFFDE Time : 0.0 sec. user=mdettweiler [2018-08-16 00:44:38] 663*2^1521423-1 is not prime. Res64: F8EDF6A78B5A39F8 Time : 0.0 sec. user=mdettweiler [2018-08-16 00:44:50] 705*2^1521423-1 is not prime. Res64: 845418C7B1FDE8A6 Time : 0.0 sec. user=mdettweiler [2018-08-16 00:44:51] 709*2^1521423-1 is not prime. Res64: 1F843B98BD3324E4 Time : 0.0 sec. user=mdettweiler [2018-08-16 00:44:51] 763*2^1521423-1 is not prime. Res64: 3961DD16F741630C Time : 0.0 sec. user=mdettweiler [2018-08-16 00:44:51] 789*2^1521423-1 is not prime. Res64: 27CD100541B53904 Time : 0.0 sec. user=mdettweiler [2018-08-16 00:44:52] 849*2^1521423-1 is not prime. Res64: 9323579282D968C5 Time : 0.0 sec. user=mdettweiler [2018-08-16 01:30:45] 859*2^1521423-1 is not prime. Res64: 85F3BB8C16780F6A Time : 0.0 sec. user=mdettweiler [2018-08-16 01:30:47] 747*2^1521424-1 is not prime. Res64: 7843974111B9CE3A Time : 0.0 sec. user=mdettweiler [2018-08-16 01:30:47] 833*2^1521424-1 is not prime. Res64: 2932D7C3407E290A Time : 0.0 sec. user=mdettweiler [2018-08-16 01:30:48] 875*2^1521424-1 is not prime. Res64: 8E5032DD2374B5F7 Time : 0.0 sec. user=mdettweiler [2018-08-16 01:30:48] 897*2^1521424-1 is not prime. Res64: 411ECE679913F614 Time : 0.0 sec. user=mdettweiler [2018-08-16 01:35:05] 989*2^1521424-1 is not prime. Res64: 9CD0973710C1E4C1 Time : 0.0 sec. user=mdettweiler [2018-08-16 01:35:05] 619*2^1521425-1 is not prime. Res64: 149A42BA5F7BFD6B Time : 0.0 sec. user=mdettweiler [2018-08-16 01:35:06] 669*2^1521425-1 is not prime. Res64: 21BB06B8E7B02D8A Time : 0.0 sec. user=mdettweiler [2018-08-16 01:35:06] 675*2^1521425-1 is not prime. Res64: 91810957ACAB9068 Time : 0.0 sec. user=mdettweiler [2018-08-16 01:35:07] 691*2^1521425-1 is not prime. Res64: 2A77BE94915188BB Time : 0.0 sec. user=mdettweiler [2018-08-16 01:35:17] 729*2^1521425-1 is not prime. Res64: D281F0D01CF717DF Time : 0.0 sec. user=mdettweiler [2018-08-16 01:35:17] 799*2^1521425-1 is not prime. Res64: A696DB5125F558EC Time : 0.0 sec. user=mdettweiler [2018-08-16 01:35:18] 949*2^1521425-1 is not prime. Res64: 80EDDEBCA89CAB4D Time : 0.0 sec. user=mdettweiler [2018-08-16 01:35:18] 725*2^1521426-1 is not prime. Res64: 3BAC64340114C906 Time : 0.0 sec. user=mdettweiler [2018-08-16 01:35:19] 783*2^1521426-1 is not prime. Res64: 10BB944B3FABA502 Time : 0.0 sec. user=mdettweiler [2018-08-16 01:35:32] 945*2^1521426-1 is not prime. Res64: 7260ACD3E85D167B Time : 0.0 sec. user=mdettweiler [2018-08-16 01:35:32] 619*2^1521427-1 is not prime. Res64: 81FFBAEB0AF6C355 Time : 0.0 sec. user=mdettweiler [2018-08-16 01:35:33] 633*2^1521427-1 is not prime. Res64: 0712E2749899060A Time : 0.0 sec. user=mdettweiler [2018-08-16 01:35:34] 939*2^1521427-1 is not prime. Res64: 48FAC25F99052738 Time : 0.0 sec. user=mdettweiler [2018-08-16 01:35:34] 979*2^1521427-1 is not prime. Res64: 34129D9D04848C6E Time : 0.0 sec. user=mdettweiler [2018-08-16 02:29:09] 707*2^1521428-1 is not prime. Res64: BE2F0A3EA0A8C0E8 Time : 0.0 sec. user=mdettweiler [2018-08-16 02:29:10] 777*2^1521428-1 is not prime. Res64: 47C64E45EA957562 Time : 0.0 sec. user=mdettweiler [2018-08-16 02:29:10] 839*2^1521428-1 is not prime. Res64: 5EA23ED21BA760AF Time : 0.0 sec. user=mdettweiler [2018-08-16 02:29:11] 869*2^1521428-1 is not prime. Res64: E235A71FD5B570EF Time : 0.0 sec. user=mdettweiler [2018-08-16 02:29:12] 885*2^1521428-1 is not prime. Res64: 251409E322D7E198 Time : 0.0 sec. user=mdettweiler [2018-08-16 02:44:55] 891*2^1521429-1 is not prime. Res64: 541E68E1AA24F741 Time : 0.0 sec. user=mdettweiler [2018-08-16 02:44:56] 895*2^1521429-1 is not prime. Res64: 7B814F2BAA338A83 Time : 0.0 sec. user=mdettweiler [2018-08-16 02:44:56] 907*2^1521429-1 is not prime. Res64: 7AD8C83D05EC58DD Time : 0.0 sec. user=mdettweiler [2018-08-16 02:44:57] 991*2^1521429-1 is not prime. Res64: 9BE05FD816D702C8 Time : 0.0 sec. user=mdettweiler [2018-08-16 02:44:58] 605*2^1521430-1 is not prime. Res64: 6BF26C1CAEAB3A55 Time : 0.0 sec. user=mdettweiler [2018-08-16 02:45:13] 927*2^1521428-1 is not prime. Res64: 16B59423003969A1 Time : 0.0 sec. user=mdettweiler [2018-08-16 02:45:15] 929*2^1521428-1 is not prime. Res64: 9C983EAC126F5317 Time : 0.0 sec. user=mdettweiler [2018-08-16 02:45:15] 999*2^1521428-1 is not prime. Res64: 253BF88E6A37A4C4 Time : 0.0 sec. user=mdettweiler [2018-08-16 02:45:16] 773*2^1521430-1 is not prime. Res64: 2FF1C7329359DE55 Time : 0.0 sec. user=mdettweiler [2018-08-16 02:45:16] 657*2^1521429-1 is not prime. Res64: A5292FD8D660D527 Time : 0.0 sec. user=mdettweiler [2018-08-16 02:45:16] 785*2^1521430-1 is not prime. Res64: E96B1F32977C6446 Time : 0.0 sec. user=mdettweiler [2018-08-16 02:45:16] 769*2^1521429-1 is not prime. Res64: 100B8F78953CE648 Time : 0.0 sec. user=mdettweiler [2018-08-16 02:45:17] 813*2^1521430-1 is not prime. Res64: 93CD944F2E3F3DE6 Time : 0.0 sec. user=mdettweiler [2018-08-16 02:45:18] 917*2^1521430-1 is not prime. Res64: 2C20A852E88F927D Time : 0.0 sec. user=mdettweiler [2018-08-16 02:45:18] 945*2^1521430-1 is not prime. Res64: 3EC73B87126619E4 Time : 0.0 sec. user=mdettweiler [2018-08-16 03:26:09] 951*2^1521430-1 is not prime. Res64: 20C1A69147E31BB7 Time : 0.0 sec. user=mdettweiler [2018-08-16 03:26:10] 649*2^1521431-1 is not prime. Res64: FDC8144AE272985D Time : 0.0 sec. user=mdettweiler [2018-08-16 03:26:11] 775*2^1521431-1 is not prime. Res64: A238302319D8D3F4 Time : 0.0 sec. user=mdettweiler [2018-08-16 03:26:12] 843*2^1521431-1 is not prime. Res64: A3AB1D69F6E1D875 Time : 0.0 sec. user=mdettweiler [2018-08-16 03:26:14] 859*2^1521431-1 is not prime. Res64: 849FC5CD102EAB0C Time : 0.0 sec. user=mdettweiler [2018-08-16 03:36:34] 865*2^1521431-1 is not prime. Res64: ED7E46FE0CC3D590 Time : 0.0 sec. user=mdettweiler [2018-08-16 03:36:35] 885*2^1521431-1 is not prime. Res64: 8616775723024892 Time : 0.0 sec. user=mdettweiler [2018-08-16 03:36:36] 979*2^1521431-1 is not prime. Res64: C0DFF2C187FA1F29 Time : 0.0 sec. user=mdettweiler [2018-08-16 03:36:37] 767*2^1521432-1 is not prime. Res64: 06AB7FD09AE49BEF Time : 0.0 sec. user=mdettweiler [2018-08-16 03:36:38] 633*2^1521432-1 is not prime. Res64: 73B0104755C8FC77 Time : 0.0 sec. user=mdettweiler [2018-08-16 03:36:38] 893*2^1521432-1 is not prime. Res64: C6988E983B516D5B Time : 0.0 sec. user=mdettweiler [2018-08-16 03:36:39] 717*2^1521432-1 is not prime. Res64: 982889D67DC38C9D Time : 0.0 sec. user=mdettweiler [2018-08-16 03:36:39] 775*2^1521433-1 is not prime. Res64: A2CD53E0C22136D7 Time : 0.0 sec. user=mdettweiler [2018-08-16 03:36:40] 975*2^1521432-1 is not prime. Res64: 0D7E9C55C2A3D7DF Time : 0.0 sec. user=mdettweiler [2018-08-16 03:36:40] 801*2^1521433-1 is not prime. Res64: 17187BCE3FAF44C6 Time : 0.0 sec. user=mdettweiler [2018-08-16 03:36:41] 977*2^1521432-1 is not prime. Res64: B5A858DB9D309EEC Time : 0.0 sec. user=mdettweiler [2018-08-16 03:36:42] 747*2^1521433-1 is not prime. Res64: C4BB6C5BDBF71500 Time : 0.0 sec. user=mdettweiler [2018-08-16 03:36:42] 945*2^1521433-1 is not prime. Res64: A4BA3A6D0CCF33D7 Time : 0.0 sec. user=mdettweiler [2018-08-16 03:36:43] 755*2^1521434-1 is not prime. Res64: 6411CEF3C2E5F8C9 Time : 0.0 sec. user=mdettweiler [2018-08-16 03:36:44] 773*2^1521434-1 is not prime. Res64: 3051E0356880A94A Time : 0.0 sec. user=mdettweiler [2018-08-16 04:16:54] 831*2^1521434-1 is not prime. Res64: 265AC3E8D13AE447 Time : 0.0 sec. user=mdettweiler [2018-08-16 04:16:55] 837*2^1521434-1 is not prime. Res64: 43D68B66FBC7A8DA Time : 0.0 sec. user=mdettweiler [2018-08-16 04:16:56] 915*2^1521434-1 is not prime. Res64: AB6678FF67499338 Time : 0.0 sec. user=mdettweiler [2018-08-16 04:16:57] 927*2^1521434-1 is not prime. Res64: 017AEF97205A55C7 Time : 0.0 sec. user=mdettweiler [2018-08-16 04:16:57] 613*2^1521435-1 is not prime. Res64: A49E3B9EB8B0448F Time : 0.0 sec. user=mdettweiler [2018-08-16 04:27:14] 675*2^1521435-1 is not prime. Res64: 3B4B3B6C8C323209 Time : 0.0 sec. user=mdettweiler [2018-08-16 04:27:15] 751*2^1521435-1 is not prime. Res64: 2073658CDBF91BDE Time : 0.0 sec. user=mdettweiler [2018-08-16 04:27:15] 699*2^1521435-1 is not prime. Res64: BA4D652EF9813F5A Time : 0.0 sec. user=mdettweiler [2018-08-16 04:27:16] 801*2^1521435-1 is not prime. Res64: F83D58C4DB48D5FD Time : 0.0 sec. user=mdettweiler [2018-08-16 04:27:16] 979*2^1521435-1 is not prime. Res64: 14A1C48663AA4036 Time : 0.0 sec. user=mdettweiler [2018-08-16 04:27:16] 849*2^1521435-1 is not prime. Res64: 4976DE25CA68C9FE Time : 0.0 sec. user=mdettweiler [2018-08-16 04:27:16] 623*2^1521436-1 is not prime. Res64: 8D88634ECA1CD611 Time : 0.0 sec. user=mdettweiler [2018-08-16 04:27:17] 961*2^1521435-1 is not prime. Res64: 28463545245A37B4 Time : 0.0 sec. user=mdettweiler [2018-08-16 04:27:17] 653*2^1521436-1 is not prime. Res64: 6CE244847F34A80A Time : 0.0 sec. user=mdettweiler [2018-08-16 04:27:18] 707*2^1521436-1 is not prime. Res64: A583CFD49A3EDC74 Time : 0.0 sec. user=mdettweiler [2018-08-16 04:27:23] 717*2^1521436-1 is not prime. Res64: 5C48D1D59F273E9B Time : 0.0 sec. user=mdettweiler [2018-08-16 04:27:24] 903*2^1521436-1 is not prime. Res64: 2BF33A8FDB4D8BDA Time : 0.0 sec. user=mdettweiler [2018-08-16 04:27:24] 953*2^1521436-1 is not prime. Res64: 6E26BD6D7886A351 Time : 0.0 sec. user=mdettweiler [2018-08-16 04:27:25] 993*2^1521436-1 is not prime. Res64: 1F4024B7C304DAEA Time : 0.0 sec. user=mdettweiler [2018-08-16 04:27:25] 607*2^1521437-1 is not prime. Res64: B7AEC38683757F3A Time : 0.0 sec. user=mdettweiler [2018-08-16 05:07:31] 631*2^1521437-1 is not prime. Res64: C62B00C23FE388B3 Time : 0.0 sec. user=mdettweiler [2018-08-16 05:07:32] 645*2^1521437-1 is not prime. Res64: 198D0E32F6266968 Time : 0.0 sec. user=mdettweiler [2018-08-16 05:07:34] 669*2^1521437-1 is not prime. Res64: 2AF0537024092A56 Time : 0.0 sec. user=mdettweiler [2018-08-16 05:07:35] 675*2^1521437-1 is not prime. Res64: A688FB79D362DEEB Time : 0.0 sec. user=mdettweiler [2018-08-16 05:07:36] 747*2^1521437-1 is not prime. Res64: B60322E3CF34AA8A Time : 0.0 sec. user=mdettweiler [2018-08-16 05:17:33] 671*2^1521438-1 is not prime. Res64: F76548C4C8D0242D Time : 0.0 sec. user=mdettweiler [2018-08-16 05:17:33] 705*2^1521438-1 is not prime. Res64: 85E5DB58797E8CAC Time : 0.0 sec. user=mdettweiler [2018-08-16 05:17:34] 711*2^1521438-1 is not prime. Res64: 8A4DC1EB380D55B6 Time : 0.0 sec. user=mdettweiler [2018-08-16 05:17:35] 777*2^1521438-1 is not prime. Res64: 310B3CD2C3EF7FE3 Time : 0.0 sec. user=mdettweiler [2018-08-16 05:17:36] 797*2^1521438-1 is not prime. Res64: 23BEEA233A17E9B4 Time : 0.0 sec. user=mdettweiler [2018-08-16 05:17:53] 859*2^1521437-1 is not prime. Res64: 0241FA6538DC7A1B Time : 0.0 sec. user=mdettweiler [2018-08-16 05:17:53] 931*2^1521437-1 is not prime. Res64: BA6A2CE55553FFCE Time : 0.0 sec. user=mdettweiler [2018-08-16 05:17:54] 937*2^1521437-1 is not prime. Res64: D158F303F308D8CD Time : 0.0 sec. user=mdettweiler [2018-08-16 05:17:54] 955*2^1521437-1 is not prime. Res64: CEE6BE1301A4F4D1 Time : 0.0 sec. user=mdettweiler [2018-08-16 05:17:55] 981*2^1521437-1 is not prime. Res64: C00FCD4580C3D4A6 Time : 0.0 sec. user=mdettweiler [2018-08-16 05:18:02] 815*2^1521438-1 is not prime. Res64: 9E485D51F2B93738 Time : 0.0 sec. user=mdettweiler [2018-08-16 05:18:03] 933*2^1521438-1 is not prime. Res64: 0350ABE703990572 Time : 0.0 sec. user=mdettweiler [2018-08-16 05:18:03] 663*2^1521439-1 is not prime. Res64: 1262C1E0B50A5584 Time : 0.0 sec. user=mdettweiler [2018-08-16 05:18:04] 675*2^1521439-1 is not prime. Res64: 7D4FEB38E73F2D5F Time : 0.0 sec. user=mdettweiler [2018-08-16 05:18:04] 705*2^1521439-1 is not prime. Res64: 31727AEBAD55B7FB Time : 0.0 sec. user=mdettweiler [2018-08-16 05:58:31] 811*2^1521439-1 is not prime. Res64: A92C2625D91D8EC1 Time : 0.0 sec. user=mdettweiler [2018-08-16 05:58:31] 829*2^1521439-1 is not prime. Res64: 5345D961C23C0E47 Time : 0.0 sec. user=mdettweiler [2018-08-16 05:58:32] 843*2^1521439-1 is not prime. Res64: FDD6F14C55E3892F Time : 0.0 sec. user=mdettweiler [2018-08-16 05:58:32] 853*2^1521439-1 is not prime. Res64: D135406F85B75298 Time : 0.0 sec. user=mdettweiler [2018-08-16 05:58:33] 979*2^1521439-1 is not prime. Res64: 21DA7B87F51A255E Time : 0.0 sec. user=mdettweiler [2018-08-16 06:07:58] 985*2^1521439-1 is not prime. Res64: 4D5C8D00D028F8F3 Time : 0.0 sec. user=mdettweiler [2018-08-16 06:07:58] 615*2^1521440-1 is not prime. Res64: 6B5D5A6158773544 Time : 0.0 sec. user=mdettweiler [2018-08-16 06:07:59] 665*2^1521440-1 is not prime. Res64: E759EF97EF9D31E6 Time : 0.0 sec. user=mdettweiler [2018-08-16 06:08:00] 719*2^1521440-1 is not prime. Res64: D795314D1EE22598 Time : 0.0 sec. user=mdettweiler [2018-08-16 06:08:00] 825*2^1521440-1 is not prime. Res64: 8D22CB1315C9DABD Time : 0.0 sec. user=mdettweiler [2018-08-16 06:08:06] 845*2^1521440-1 is not prime. Res64: 3BEA649AEDBF9A44 Time : 0.0 sec. user=mdettweiler [2018-08-16 06:08:07] 917*2^1521440-1 is not prime. Res64: A0A485361BFBAD6C Time : 0.0 sec. user=mdettweiler [2018-08-16 06:08:08] 999*2^1521440-1 is not prime. Res64: 559C0383229CD4AB Time : 0.0 sec. user=mdettweiler [2018-08-16 06:08:08] 685*2^1521441-1 is not prime. Res64: 4A5A0D2C4225EFB3 Time : 0.0 sec. user=mdettweiler [2018-08-16 06:08:09] 739*2^1521441-1 is not prime. Res64: 33C4CFE148807BF0 Time : 0.0 sec. user=mdettweiler [2018-08-16 06:08:14] 837*2^1521441-1 is not prime. Res64: ED0BB7C858332CD9 Time : 0.0 sec. user=mdettweiler [2018-08-16 06:08:14] 861*2^1521441-1 is not prime. Res64: B73FA43152F5EE49 Time : 0.0 sec. user=mdettweiler [2018-08-16 06:08:15] 865*2^1521441-1 is not prime. Res64: CECBA4C9C999B7D1 Time : 0.0 sec. user=mdettweiler [2018-08-16 06:08:15] 921*2^1521441-1 is not prime. Res64: 9304A11B815085FC Time : 0.0 sec. user=mdettweiler [2018-08-16 06:08:16] 675*2^1521442-1 is not prime. Res64: 9175C1DA5C3A5D9D Time : 0.0 sec. user=mdettweiler [2018-08-16 06:49:04] 735*2^1521443-1 is not prime. Res64: A07C8E56FE265FAC Time : 0.0 sec. user=mdettweiler [2018-08-16 06:49:04] 753*2^1521443-1 is not prime. Res64: 087C0D9FF291F42F Time : 0.0 sec. user=mdettweiler [2018-08-16 06:49:05] 813*2^1521443-1 is not prime. Res64: CCA28DFFCEE02CC0 Time : 0.0 sec. user=mdettweiler [2018-08-16 06:49:05] 949*2^1521443-1 is not prime. Res64: 1C974BB5070B4C87 Time : 0.0 sec. user=mdettweiler [2018-08-16 06:49:06] 963*2^1521443-1 is not prime. Res64: D1C7E03A83FB87F4 Time : 0.0 sec. user=mdettweiler [2018-08-16 06:58:27] 605*2^1521444-1 is not prime. Res64: B09BECCAD6728BFB Time : 0.0 sec. user=mdettweiler [2018-08-16 06:58:28] 809*2^1521444-1 is not prime. Res64: 0A2168AA88398D9D Time : 0.0 sec. user=mdettweiler [2018-08-16 06:58:28] 945*2^1521444-1 is not prime. Res64: 49BB345384A5FDA7 Time : 0.0 sec. user=mdettweiler [2018-08-16 06:58:29] 975*2^1521444-1 is not prime. Res64: C5332B9BE7D8A3F0 Time : 0.0 sec. user=mdettweiler [2018-08-16 06:58:29] 609*2^1521445-1 is not prime. Res64: 9D79D907125C4616 Time : 0.0 sec. user=mdettweiler [2018-08-16 06:58:34] 619*2^1521445-1 is not prime. Res64: C091E3D10BB1E45F Time : 0.0 sec. user=mdettweiler [2018-08-16 06:58:34] 651*2^1521445-1 is not prime. Res64: 1E3AE7A5E2ECAAF2 Time : 0.0 sec. user=mdettweiler [2018-08-16 06:58:35] 777*2^1521445-1 is not prime. Res64: ACC3D628D477E733 Time : 0.0 sec. user=mdettweiler [2018-08-16 06:58:35] 855*2^1521445-1 is not prime. Res64: 64DBCE59854218FB Time : 0.0 sec. user=mdettweiler [2018-08-16 06:58:36] 861*2^1521445-1 is not prime. Res64: 8F7581D435A9DA6D Time : 0.0 sec. user=mdettweiler [2018-08-16 06:58:39] 951*2^1521445-1 is not prime. Res64: 590AC24D5594B045 Time : 0.0 sec. user=mdettweiler [2018-08-16 06:58:40] 997*2^1521445-1 is not prime. Res64: 15CFE43814CB07DF Time : 0.0 sec. user=mdettweiler [2018-08-16 06:58:40] 851*2^1521446-1 is not prime. Res64: 651F5DFCF1CC54B2 Time : 0.0 sec. user=mdettweiler [2018-08-16 06:58:41] 861*2^1521446-1 is not prime. Res64: 1B02B36AC6391301 Time : 0.0 sec. user=mdettweiler [2018-08-16 06:58:41] 911*2^1521446-1 is not prime. Res64: 3CAEC606F15E4775 Time : 0.0 sec. user=mdettweiler [2018-08-16 07:39:47] 921*2^1521446-1 is not prime. Res64: ECBEA18EDF668DCE Time : 0.0 sec. user=mdettweiler [2018-08-16 07:39:47] 993*2^1521446-1 is not prime. Res64: 3081ADD48C0C72B0 Time : 0.0 sec. user=mdettweiler [2018-08-16 07:39:48] 675*2^1521447-1 is not prime. Res64: 1F6B99D9E37AB798 Time : 0.0 sec. user=mdettweiler [2018-08-16 07:39:48] 685*2^1521447-1 is not prime. Res64: E598FF306EF86C20 Time : 0.0 sec. user=mdettweiler [2018-08-16 07:39:49] 741*2^1521447-1 is not prime. Res64: 05DFD4DFFD0432B4 Time : 0.0 sec. user=mdettweiler [2018-08-16 07:48:59] 875*2^1521448-1 is not prime. Res64: 446A50A7DFFC4F35 Time : 0.0 sec. user=mdettweiler [2018-08-16 07:49:00] 909*2^1521448-1 is not prime. Res64: F64E108C4F34612B Time : 0.0 sec. user=mdettweiler [2018-08-16 07:49:00] 771*2^1521449-1 is not prime. Res64: F49759FD3057AB41 Time : 0.0 sec. user=mdettweiler [2018-08-16 07:49:01] 795*2^1521449-1 is not prime. Res64: F690F522ED3A6F3D Time : 0.0 sec. user=mdettweiler [2018-08-16 07:49:01] 799*2^1521449-1 is not prime. Res64: C502804A54C3E3B6 Time : 0.0 sec. user=mdettweiler [2018-08-16 07:49:01] 859*2^1521447-1 is not prime. Res64: 636622055DA9D32B Time : 0.0 sec. user=mdettweiler [2018-08-16 07:49:02] 895*2^1521447-1 is not prime. Res64: 81165B5FB40D813D Time : 0.0 sec. user=mdettweiler [2018-08-16 07:49:02] 723*2^1521448-1 is not prime. Res64: FC2AEF54BAE17E13 Time : 0.0 sec. user=mdettweiler [2018-08-16 07:49:03] 797*2^1521448-1 is not prime. Res64: 7A1EA4ADC64D43EC Time : 0.0 sec. user=mdettweiler [2018-08-16 07:49:03] 855*2^1521448-1 is not prime. Res64: 7745213E313CD968 Time : 0.0 sec. user=mdettweiler [2018-08-16 07:49:10] 841*2^1521449-1 is not prime. Res64: 639B031C465F03A0 Time : 0.0 sec. user=mdettweiler [2018-08-16 07:49:11] 889*2^1521449-1 is not prime. Res64: 3CD228CB3D08A206 Time : 0.0 sec. user=mdettweiler [2018-08-16 07:49:11] 611*2^1521450-1 is not prime. Res64: EF6A434414E6AE46 Time : 0.0 sec. user=mdettweiler [2018-08-16 07:49:12] 671*2^1521450-1 is not prime. Res64: 638053E6D99DFC33 Time : 0.0 sec. user=mdettweiler [2018-08-16 07:49:12] 725*2^1521450-1 is not prime. Res64: 93285153ABBC6B6E Time : 0.0 sec. user=mdettweiler [2018-08-16 08:30:19] 1001*2^1521450-1 is not prime. Res64: 2759C83E3D6A9061 Time : 0.0 sec. user=mdettweiler [2018-08-16 08:30:19] 601*2^1521451-1 is not prime. Res64: 2E912101FD3E54A8 Time : 0.0 sec. user=mdettweiler [2018-08-16 08:30:20] 609*2^1521451-1 is not prime. Res64: F5009BC1AA278E8C Time : 0.0 sec. user=mdettweiler [2018-08-16 08:30:20] 625*2^1521451-1 is not prime. Res64: EA542C4BD768B44D Time : 0.0 sec. user=mdettweiler [2018-08-16 08:30:21] 673*2^1521451-1 is not prime. Res64: 4C3459CABE4456E8 Time : 0.0 sec. user=mdettweiler [2018-08-16 08:39:24] 819*2^1521451-1 is not prime. Res64: 30AA3A0834200096 Time : 0.0 sec. user=mdettweiler [2018-08-16 08:39:25] 841*2^1521451-1 is not prime. Res64: B1B3D400B2B6AFAD Time : 0.0 sec. user=mdettweiler [2018-08-16 08:39:25] 885*2^1521451-1 is not prime. Res64: 9ECEF8E03839D14C Time : 0.0 sec. user=mdettweiler [2018-08-16 08:39:26] 909*2^1521451-1 is not prime. Res64: 8837F7E8745D3BFB Time : 0.0 sec. user=mdettweiler [2018-08-16 08:39:26] 605*2^1521452-1 is not prime. Res64: CE39BDE14A3EE64B Time : 0.0 sec. user=mdettweiler [2018-08-16 08:39:37] 789*2^1521453-1 is not prime. Res64: 5B1B10B113C739AE Time : 0.0 sec. user=mdettweiler [2018-08-16 08:39:37] 811*2^1521453-1 is not prime. Res64: 5ACBC55DD37AD8A5 Time : 0.0 sec. user=mdettweiler [2018-08-16 08:39:38] 901*2^1521453-1 is not prime. Res64: 905158B1A41C473D Time : 0.0 sec. user=mdettweiler [2018-08-16 08:39:38] 657*2^1521454-1 is not prime. Res64: DA09B3246DE22D5E Time : 0.0 sec. user=mdettweiler [2018-08-16 08:39:39] 717*2^1521454-1 is not prime. Res64: CE9BAB7504D873D4 Time : 0.0 sec. user=mdettweiler [2018-08-16 08:39:43] 813*2^1521452-1 is not prime. Res64: 2766930AF7FA1431 Time : 0.0 sec. user=mdettweiler [2018-08-16 08:39:43] 915*2^1521452-1 is not prime. Res64: A4772129860A1401 Time : 0.0 sec. user=mdettweiler [2018-08-16 08:39:44] 607*2^1521453-1 is not prime. Res64: E85351C38C3BA1B1 Time : 0.0 sec. user=mdettweiler [2018-08-16 08:39:44] 735*2^1521453-1 is not prime. Res64: 26EDC7D59B31E5AD Time : 0.0 sec. user=mdettweiler [2018-08-16 08:39:45] 745*2^1521453-1 is not prime. Res64: A99C2EAE7B39B35B Time : 0.0 sec. user=mdettweiler [2018-08-16 09:20:38] 965*2^1521454-1 is not prime. Res64: 7ECEA52ACDC8F438 Time : 0.0 sec. user=mdettweiler [2018-08-16 09:20:39] 993*2^1521454-1 is not prime. Res64: 52DF865B59A0D1E0 Time : 0.0 sec. user=mdettweiler [2018-08-16 09:20:39] 655*2^1521455-1 is not prime. Res64: 46DEEC171FB237BF Time : 0.0 sec. user=mdettweiler [2018-08-16 09:20:40] 661*2^1521455-1 is not prime. Res64: 2DC971FFBF89152D Time : 0.0 sec. user=mdettweiler [2018-08-16 09:20:41] 841*2^1521455-1 is not prime. Res64: 8C1B5ED478DB68D4 Time : 0.0 sec. user=mdettweiler [2018-08-16 09:29:46] 747*2^1521456-1 is not prime. Res64: FD7A277334B474FC Time : 0.0 sec. user=mdettweiler [2018-08-16 09:29:46] 875*2^1521456-1 is not prime. Res64: 3AE4CE346BC55D4E Time : 0.0 sec. user=mdettweiler [2018-08-16 09:29:47] 899*2^1521456-1 is not prime. Res64: 3B41425125A3A5FD Time : 0.0 sec. user=mdettweiler [2018-08-16 09:29:47] 917*2^1521456-1 is not prime. Res64: E52E40A77CD62A0F Time : 0.0 sec. user=mdettweiler [2018-08-16 09:29:48] 619*2^1521457-1 is not prime. Res64: 688CB590B897F06C Time : 0.0 sec. user=mdettweiler [2018-08-16 09:29:54] 639*2^1521457-1 is not prime. Res64: 1B93DA15B509F717 Time : 0.0 sec. user=mdettweiler [2018-08-16 09:29:54] 717*2^1521457-1 is not prime. Res64: 577C675E8071E0BD Time : 0.0 sec. user=mdettweiler [2018-08-16 09:29:55] 727*2^1521457-1 is not prime. Res64: 580809C0D18AFA92 Time : 0.0 sec. user=mdettweiler [2018-08-16 09:29:55] 741*2^1521457-1 is not prime. Res64: F69F5AF4EAA5AE01 Time : 0.0 sec. user=mdettweiler [2018-08-16 09:29:56] 771*2^1521457-1 is not prime. Res64: 7EC3D6D06F1CA575 Time : 0.0 sec. user=mdettweiler [2018-08-16 09:30:06] 805*2^1521457-1 is not prime. Res64: F6E75E12FAB265E8 Time : 0.0 sec. user=mdettweiler [2018-08-16 09:30:06] 897*2^1521457-1 is not prime. Res64: 33255F775B81E1AA Time : 0.0 sec. user=mdettweiler [2018-08-16 09:30:07] 939*2^1521457-1 is not prime. Res64: 3E8773C215915207 Time : 0.0 sec. user=mdettweiler [2018-08-16 09:30:07] 603*2^1521458-1 is not prime. Res64: 47150B27D2BBC06A Time : 0.0 sec. user=mdettweiler [2018-08-16 09:30:08] 683*2^1521458-1 is not prime. Res64: 74A42E3EBE114968 Time : 0.0 sec. user=mdettweiler [2018-08-16 10:11:09] 845*2^1521458-1 is not prime. Res64: 403A1A7C646D3D8F Time : 0.0 sec. user=mdettweiler [2018-08-16 10:11:10] 691*2^1521459-1 is not prime. Res64: 11E44DB47A5278FA Time : 0.0 sec. user=mdettweiler [2018-08-16 10:11:10] 723*2^1521459-1 is not prime. Res64: 119C79DC88FAB55A Time : 0.0 sec. user=mdettweiler [2018-08-16 10:11:11] 753*2^1521459-1 is not prime. Res64: D0A6B8CAC0F75F1D Time : 0.0 sec. user=mdettweiler [2018-08-16 10:11:12] 775*2^1521459-1 is not prime. Res64: B473CC2625077DE7 Time : 0.0 sec. user=mdettweiler [2018-08-16 10:20:09] 647*2^1521460-1 is not prime. Res64: 85EFBC1DBDD3FF6C Time : 0.0 sec. user=mdettweiler [2018-08-16 10:20:09] 687*2^1521460-1 is not prime. Res64: 9E96EE1C4EA77315 Time : 0.0 sec. user=mdettweiler [2018-08-16 10:20:10] 801*2^1521459-1 is not prime. Res64: 585A4E3A74CF078E Time : 0.0 sec. user=mdettweiler [2018-08-16 10:20:10] 689*2^1521460-1 is not prime. Res64: 55EE0978C1B9F1DB Time : 0.0 sec. user=mdettweiler [2018-08-16 10:20:10] 913*2^1521459-1 is not prime. Res64: 1A54CDF3D4C80C0C Time : 0.0 sec. user=mdettweiler [2018-08-16 10:20:10] 717*2^1521460-1 is not prime. Res64: 6B110C6290BF90D7 Time : 0.0 sec. user=mdettweiler [2018-08-16 10:20:11] 943*2^1521459-1 is not prime. Res64: 2D21D02AC162F725 Time : 0.0 sec. user=mdettweiler [2018-08-16 10:20:11] 765*2^1521460-1 is not prime. Res64: F5F8B8F18860D162 Time : 0.0 sec. user=mdettweiler [2018-08-16 10:20:11] 975*2^1521459-1 is not prime. Res64: 12E3DE637180AA5F Time : 0.0 sec. user=mdettweiler [2018-08-16 10:20:12] 609*2^1521460-1 is not prime. Res64: 7F7B1665690EF6D8 Time : 0.0 sec. user=mdettweiler [2018-08-16 10:20:25] 855*2^1521460-1 is not prime. Res64: F0E44C5E42754C7D Time : 0.0 sec. user=mdettweiler [2018-08-16 10:20:26] 983*2^1521460-1 is not prime. Res64: 02DDF415825EEC8D Time : 0.0 sec. user=mdettweiler [2018-08-16 10:20:26] 601*2^1521461-1 is not prime. Res64: B6A171B71D6D7CFF Time : 0.0 sec. user=mdettweiler [2018-08-16 10:20:27] 621*2^1521461-1 is not prime. Res64: CA3BE74085A0108F Time : 0.0 sec. user=mdettweiler [2018-08-16 10:20:27] 627*2^1521461-1 is not prime. Res64: A3C388A0679AC14C Time : 0.0 sec. user=mdettweiler [2018-08-16 11:01:42] 631*2^1521461-1 is not prime. Res64: 91134007AB647D43 Time : 0.0 sec. user=mdettweiler [2018-08-16 11:01:43] 691*2^1521461-1 is not prime. Res64: 2195C8669EEA048A Time : 0.0 sec. user=mdettweiler [2018-08-16 11:01:44] 727*2^1521461-1 is not prime. Res64: 96FAFC38CA7D5990 Time : 0.0 sec. user=mdettweiler [2018-08-16 11:01:45] 745*2^1521461-1 is not prime. Res64: 283AEC5F5FC83340 Time : 0.0 sec. user=mdettweiler [2018-08-16 11:01:46] 781*2^1521461-1 is not prime. Res64: AF1BD38CF980FF3B Time : 0.0 sec. user=mdettweiler [2018-08-16 11:10:34] 811*2^1521461-1 is not prime. Res64: 8E09F49FDFE731CC Time : 0.0 sec. user=mdettweiler [2018-08-16 11:10:35] 871*2^1521461-1 is not prime. Res64: BF2B013B30D8A830 Time : 0.0 sec. user=mdettweiler [2018-08-16 11:10:35] 777*2^1521462-1 is not prime. Res64: EA324688381E4051 Time : 0.0 sec. user=mdettweiler [2018-08-16 11:10:36] 807*2^1521462-1 is not prime. Res64: CB643EB75B15B1E1 Time : 0.0 sec. user=mdettweiler [2018-08-16 11:10:36] 833*2^1521462-1 is not prime. Res64: 1529E4412516E187 Time : 0.0 sec. user=mdettweiler [2018-08-16 11:10:43] 917*2^1521462-1 is not prime. Res64: 7BB7BA85DF5B382F Time : 0.0 sec. user=mdettweiler [2018-08-16 11:10:44] 963*2^1521462-1 is not prime. Res64: 1F2DBEB4FE3BF5AE Time : 0.0 sec. user=mdettweiler [2018-08-16 11:10:44] 639*2^1521463-1 is not prime. Res64: 2E953CD65687134E Time : 0.0 sec. user=mdettweiler [2018-08-16 11:10:45] 703*2^1521463-1 is not prime. Res64: 563A84B336C818FC Time : 0.0 sec. user=mdettweiler [2018-08-16 11:10:45] 853*2^1521463-1 is not prime. Res64: 4798EE7C66E62796 Time : 0.0 sec. user=mdettweiler [2018-08-16 11:10:49] 961*2^1521463-1 is not prime. Res64: 3F7716A1D5961D46 Time : 0.0 sec. user=mdettweiler [2018-08-16 11:10:49] 659*2^1521464-1 is not prime. Res64: CCF00B15DB4E3DF9 Time : 0.0 sec. user=mdettweiler [2018-08-16 11:10:50] 893*2^1521464-1 is not prime. Res64: 70062F49CB40A90C Time : 0.0 sec. user=mdettweiler [2018-08-16 11:10:50] 625*2^1521465-1 is not prime. Res64: 6AB66C5A2237EE7E Time : 0.0 sec. user=mdettweiler [2018-08-16 11:10:51] 705*2^1521465-1 is not prime. Res64: 68CD06E68D39488C Time : 0.0 sec. user=mdettweiler [2018-08-16 11:52:12] 727*2^1521465-1 is not prime. Res64: BD2852B312156591 Time : 0.0 sec. user=mdettweiler [2018-08-16 11:52:12] 817*2^1521465-1 is not prime. Res64: 2B358A35D01E2D1B Time : 0.0 sec. user=mdettweiler [2018-08-16 11:52:13] 831*2^1521465-1 is not prime. Res64: D0FA19EDAC633869 Time : 0.0 sec. user=mdettweiler [2018-08-16 11:52:13] 889*2^1521465-1 is not prime. Res64: 29839CB9089F323E Time : 0.0 sec. user=mdettweiler [2018-08-16 11:52:14] 633*2^1521467-1 is not prime. Res64: DA39A77E3DC26CA5 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:00:55] 759*2^1521468-1 is not prime. Res64: 41A185F14EF6E886 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:00:56] 765*2^1521468-1 is not prime. Res64: 490C5E6D9753D837 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:00:57] 819*2^1521468-1 is not prime. Res64: 31CE3527005E414A Time : 0.0 sec. user=mdettweiler [2018-08-16 12:00:58] 987*2^1521468-1 is not prime. Res64: 925DCE2FE553E836 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:00:59] 729*2^1521469-1 is not prime. Res64: 9481BF1992F62420 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:01:04] 799*2^1521467-1 is not prime. Res64: AC55D80E2E7E1E21 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:01:05] 861*2^1521467-1 is not prime. Res64: 38660F0718FC0375 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:01:07] 981*2^1521467-1 is not prime. Res64: 55CF004176680312 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:01:10] 683*2^1521468-1 is not prime. Res64: 5734AF5CC1A41E7A Time : 0.0 sec. user=mdettweiler [2018-08-16 12:01:14] 689*2^1521468-1 is not prime. Res64: F480798BF42E704E Time : 0.0 sec. user=mdettweiler [2018-08-16 12:01:14] 757*2^1521469-1 is not prime. Res64: A955D2A57C6DE7F6 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:01:15] 895*2^1521469-1 is not prime. Res64: 980F54A9259579FB Time : 0.0 sec. user=mdettweiler [2018-08-16 12:01:16] 635*2^1521470-1 is not prime. Res64: 6A9B49F6AEA2A6EF Time : 0.0 sec. user=mdettweiler [2018-08-16 12:01:17] 743*2^1521470-1 is not prime. Res64: E650DB6A41DD73DE Time : 0.0 sec. user=mdettweiler [2018-08-16 12:01:18] 833*2^1521470-1 is not prime. Res64: 1A0CAEF603390452 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:42:33] 851*2^1521470-1 is not prime. Res64: CD18228C92B733B3 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:42:34] 885*2^1521470-1 is not prime. Res64: BB5D4FB7BB1C8786 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:42:34] 887*2^1521470-1 is not prime. Res64: 8B9C47994ECC663F Time : 0.0 sec. user=mdettweiler [2018-08-16 12:42:35] 911*2^1521470-1 is not prime. Res64: 83AD2D8DED419BD8 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:42:35] 923*2^1521470-1 is not prime. Res64: 1EF1134626C56074 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:51:19] 927*2^1521470-1 is not prime. Res64: F28D19AE9DBDA324 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:51:19] 751*2^1521471-1 is not prime. Res64: 9FFFF03D726A6528 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:51:20] 769*2^1521471-1 is not prime. Res64: 0B0E1C9D406D3CF7 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:51:20] 805*2^1521471-1 is not prime. Res64: 00496575267011A7 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:51:21] 861*2^1521471-1 is not prime. Res64: 3EC65AB9919568DD Time : 0.0 sec. user=mdettweiler [2018-08-16 12:51:34] 849*2^1521472-1 is not prime. Res64: 4FB9971288669CB5 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:51:35] 869*2^1521472-1 is not prime. Res64: 28B90E4089FBE408 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:51:35] 909*2^1521471-1 is not prime. Res64: 5995BBC007805115 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:51:35] 705*2^1521473-1 is not prime. Res64: 756D5DD1122B7BEF Time : 0.0 sec. user=mdettweiler [2018-08-16 12:51:36] 969*2^1521471-1 is not prime. Res64: 5DBFE0B6F53785D5 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:51:36] 775*2^1521473-1 is not prime. Res64: CF37C70B91D57782 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:51:36] 657*2^1521472-1 is not prime. Res64: 1210B9FEA5546294 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:51:36] 781*2^1521473-1 is not prime. Res64: 1418E894347D9EB6 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:51:37] 735*2^1521472-1 is not prime. Res64: C7F510019893DC75 Time : 0.0 sec. user=mdettweiler [2018-08-16 12:51:37] 779*2^1521472-1 is not prime. Res64: A3605EACF5C20A5F Time : 0.0 sec. user=mdettweiler [2018-08-16 13:33:06] 795*2^1521473-1 is not prime. Res64: 62E07198C82FEBFD Time : 0.0 sec. user=mdettweiler [2018-08-16 13:33:07] 837*2^1521473-1 is not prime. Res64: 91D29FD8642675F6 Time : 0.0 sec. user=mdettweiler [2018-08-16 13:33:07] 663*2^1521474-1 is not prime. Res64: 024C5EAC934219B2 Time : 0.0 sec. user=mdettweiler [2018-08-16 13:33:08] 711*2^1521474-1 is not prime. Res64: 0A96E301DF0F408E Time : 0.0 sec. user=mdettweiler [2018-08-16 13:33:08] 755*2^1521474-1 is not prime. Res64: 6C28BD7D9267FC4B Time : 0.0 sec. user=mdettweiler [2018-08-16 13:42:04] 891*2^1521474-1 is not prime. Res64: B3347831B341F969 Time : 0.0 sec. user=mdettweiler [2018-08-16 13:42:05] 903*2^1521474-1 is not prime. Res64: E0DBDDC406490724 Time : 0.0 sec. user=mdettweiler [2018-08-16 13:42:05] 915*2^1521474-1 is not prime. Res64: 48500D4D8069A71D Time : 0.0 sec. user=mdettweiler [2018-08-16 13:42:06] 971*2^1521474-1 is not prime. Res64: 699D628240D4A2F6 Time : 0.0 sec. user=mdettweiler [2018-08-16 13:42:06] 619*2^1521475-1 is not prime. Res64: 839C35E973D6B702 Time : 0.0 sec. user=mdettweiler [2018-08-16 13:42:11] 951*2^1521475-1 is not prime. Res64: CB194C783B9739DC Time : 0.0 sec. user=mdettweiler [2018-08-16 13:42:11] 633*2^1521476-1 is not prime. Res64: F89E4402EB4DF934 Time : 0.0 sec. user=mdettweiler [2018-08-16 13:42:12] 785*2^1521476-1 is not prime. Res64: 9E6BEA7E8B0F0AEC Time : 0.0 sec. user=mdettweiler [2018-08-16 13:42:12] 843*2^1521476-1 is not prime. Res64: C3CA4AE38FD9D719 Time : 0.0 sec. user=mdettweiler [2018-08-16 13:42:13] 705*2^1521475-1 is not prime. Res64: BB1A71898D7DA08F Time : 0.0 sec. user=mdettweiler [2018-08-16 13:42:13] 909*2^1521476-1 is not prime. Res64: FCE2B7932E35A8D6 Time : 0.0 sec. user=mdettweiler [2018-08-16 13:42:13] 735*2^1521475-1 is not prime. Res64: 005ABEC851B571E2 Time : 0.0 sec. user=mdettweiler [2018-08-16 13:42:14] 741*2^1521475-1 is not prime. Res64: 4210B69A11ACE74C Time : 0.0 sec. user=mdettweiler [2018-08-16 13:42:14] 789*2^1521475-1 is not prime. Res64: C6ADF3B6D7E84345 Time : 0.0 sec. user=mdettweiler [2018-08-16 13:42:14] 843*2^1521475-1 is not prime. Res64: 8ABD9641C0F04B6E Time : 0.0 sec. user=mdettweiler [2018-08-16 14:27:28] 923*2^1521476-1 is not prime. Res64: 0675DD31EE8EC43C Time : 0.0 sec. user=mdettweiler [2018-08-16 14:27:29] 945*2^1521476-1 is not prime. Res64: 6424FAF793AEFF64 Time : 0.0 sec. user=mdettweiler [2018-08-16 14:27:29] 615*2^1521477-1 is not prime. Res64: 9A0EF9AC69055E1C Time : 0.0 sec. user=mdettweiler [2018-08-16 14:27:30] 625*2^1521477-1 is not prime. Res64: FD97A69AB87FDC3C Time : 0.0 sec. user=mdettweiler [2018-08-16 14:27:31] 795*2^1521477-1 is not prime. Res64: 15A6680FE1A41368 Time : 0.0 sec. user=mdettweiler [2018-08-16 14:36:52] 843*2^1521478-1 is not prime. Res64: 5DDCA6CBB7829A15 Time : 0.0 sec. user=mdettweiler [2018-08-16 14:36:53] 669*2^1521479-1 is not prime. Res64: 3A30D2F3DFC3862D Time : 0.0 sec. user=mdettweiler [2018-08-16 14:36:54] 861*2^1521479-1 is not prime. Res64: 32EE9F52891DEFC9 Time : 0.0 sec. user=mdettweiler [2018-08-16 14:36:54] 865*2^1521479-1 is not prime. Res64: 70833929E64BED73 Time : 0.0 sec. user=mdettweiler [2018-08-16 14:36:55] 955*2^1521479-1 is not prime. Res64: BC23D736507D6524 Time : 0.0 sec. user=mdettweiler [2018-08-16 14:36:59] 847*2^1521477-1 is not prime. Res64: B2BADA74573AB423 Time : 0.0 sec. user=mdettweiler [2018-08-16 14:37:00] 961*2^1521477-1 is not prime. Res64: 0E589349DED8884F Time : 0.0 sec. user=mdettweiler [2018-08-16 14:37:01] 997*2^1521477-1 is not prime. Res64: B8686DBE07C40536 Time : 0.0 sec. user=mdettweiler [2018-08-16 14:37:02] 723*2^1521478-1 is not prime. Res64: 52FE2405C5E8D978 Time : 0.0 sec. user=mdettweiler [2018-08-16 14:37:02] 773*2^1521478-1 is not prime. Res64: 24304CFB5E1BDE07 Time : 0.0 sec. user=mdettweiler [2018-08-16 14:37:11] 665*2^1521480-1 is not prime. Res64: 8514C901EBDE27AC Time : 0.0 sec. user=mdettweiler [2018-08-16 14:37:11] 695*2^1521480-1 is not prime. Res64: 2AF0BA7C4CB8A84F Time : 0.0 sec. user=mdettweiler [2018-08-16 14:37:12] 773*2^1521480-1 is not prime. Res64: 5CE5CEDB58FB29E7 Time : 0.0 sec. user=mdettweiler [2018-08-16 14:37:12] 839*2^1521480-1 is not prime. Res64: 85DE3AFF3CD62543 Time : 0.0 sec. user=mdettweiler [2018-08-16 14:37:13] 625*2^1521481-1 is not prime. Res64: DEA13C8126EDC4F1 Time : 0.0 sec. user=mdettweiler [2018-08-16 15:20:37] 637*2^1521481-1 is not prime. Res64: 1643CA74186D3CDE Time : 0.0 sec. user=mdettweiler [2018-08-16 15:20:37] 769*2^1521481-1 is not prime. Res64: CA83AF6FA5CAE151 Time : 0.0 sec. user=mdettweiler [2018-08-16 15:20:38] 617*2^1521482-1 is not prime. Res64: F1AC10C156A69132 Time : 0.0 sec. user=mdettweiler [2018-08-16 15:20:38] 623*2^1521482-1 is not prime. Res64: 94A5A82D47F93F89 Time : 0.0 sec. user=mdettweiler [2018-08-16 15:20:39] 627*2^1521482-1 is not prime. Res64: 61C946C7D9D598A0 Time : 0.0 sec. user=mdettweiler [2018-08-16 15:29:55] 711*2^1521482-1 is not prime. Res64: A01FDD073408D0E7 Time : 0.0 sec. user=mdettweiler [2018-08-16 15:29:56] 735*2^1521482-1 is not prime. Res64: 81A32AED7C39D1EB Time : 0.0 sec. user=mdettweiler [2018-08-16 15:29:56] 741*2^1521482-1 is not prime. Res64: 1244CF56D81B4AAB Time : 0.0 sec. user=mdettweiler [2018-08-16 15:29:57] 945*2^1521482-1 is not prime. Res64: DC8A888EADD096B2 Time : 0.0 sec. user=mdettweiler [2018-08-16 15:29:58] 957*2^1521482-1 is not prime. Res64: F13DB11F92937C6D Time : 0.0 sec. user=mdettweiler [2018-08-16 15:29:58] 705*2^1521483-1 is not prime. Res64: 65D2D5E4F81BBD5E Time : 0.0 sec. user=mdettweiler [2018-08-16 15:29:59] 721*2^1521483-1 is not prime. Res64: 7EC47BEAC2917BD8 Time : 0.0 sec. user=mdettweiler [2018-08-16 15:29:59] 723*2^1521483-1 is not prime. Res64: 0F0543B2D761B7D3 Time : 0.0 sec. user=mdettweiler [2018-08-16 15:30:00] 739*2^1521483-1 is not prime. Res64: F6345D28A6692CBD Time : 0.0 sec. user=mdettweiler [2018-08-16 15:30:00] 751*2^1521483-1 is not prime. Res64: 4975DC726520C3C7 Time : 0.0 sec. user=mdettweiler [2018-08-16 15:30:08] 753*2^1521483-1 is not prime. Res64: 67223974933FCB35 Time : 0.0 sec. user=mdettweiler [2018-08-16 15:30:09] 605*2^1521484-1 is not prime. Res64: 989607351E4370A5 Time : 0.0 sec. user=mdettweiler [2018-08-16 15:30:09] 743*2^1521484-1 is not prime. Res64: B866BDCBD1AF73FE Time : 0.0 sec. user=mdettweiler [2018-08-16 15:30:10] 825*2^1521484-1 is not prime. Res64: 114384B0A34B470F Time : 0.0 sec. user=mdettweiler [2018-08-16 15:30:10] 873*2^1521484-1 is not prime. Res64: 59DDF34FEE464538 Time : 0.0 sec. user=mdettweiler [2018-08-16 16:16:34] 887*2^1521484-1 is not prime. Res64: 64FB136DD052F1F9 Time : 0.0 sec. user=mdettweiler [2018-08-16 16:16:35] 909*2^1521484-1 is not prime. Res64: C9EB5835682A4A2B Time : 0.0 sec. user=mdettweiler [2018-08-16 16:16:35] 927*2^1521484-1 is not prime. Res64: 86741A0C9D215EE6 Time : 0.0 sec. user=mdettweiler [2018-08-16 16:16:36] 939*2^1521484-1 is not prime. Res64: 8AAAF24C7EAEECDB Time : 0.0 sec. user=mdettweiler [2018-08-16 16:16:36] 969*2^1521484-1 is not prime. Res64: 4DB0A45304EC0A75 Time : 0.0 sec. user=mdettweiler [2018-08-16 16:26:22] 989*2^1521484-1 is not prime. Res64: 974EEE7513E6B11D Time : 0.0 sec. user=mdettweiler [2018-08-16 16:26:22] 607*2^1521485-1 is not prime. Res64: CB8B293A1B3D4A8B Time : 0.0 sec. user=mdettweiler [2018-08-16 16:26:23] 649*2^1521485-1 is not prime. Res64: 7F299DC9481E1789 Time : 0.0 sec. user=mdettweiler [2018-08-16 16:26:23] 721*2^1521485-1 is not prime. Res64: 01F18624673F374F Time : 0.0 sec. user=mdettweiler [2018-08-16 16:26:24] 729*2^1521485-1 is not prime. Res64: 604EAF3BC8D73C79 Time : 0.0 sec. user=mdettweiler [2018-08-16 16:26:27] 757*2^1521485-1 is not prime. Res64: 1C3AB46F692F2DD1 Time : 0.0 sec. user=mdettweiler [2018-08-16 16:26:27] 777*2^1521485-1 is not prime. Res64: 69574B759A8C60D1 Time : 0.0 sec. user=mdettweiler [2018-08-16 16:26:28] 811*2^1521485-1 is not prime. Res64: C59BA2CFE47D9D29 Time : 0.0 sec. user=mdettweiler [2018-08-16 16:26:28] 907*2^1521485-1 is not prime. Res64: 17787A2F7AB21DC5 Time : 0.0 sec. user=mdettweiler [2018-08-16 16:26:29] 981*2^1521485-1 is not prime. Res64: 16D948DFA94C4998 Time : 0.0 sec. user=mdettweiler [2018-08-16 16:26:29] 611*2^1521486-1 is not prime. Res64: 71CEF443BF27A438 Time : 0.0 sec. user=mdettweiler [2018-08-16 16:26:30] 627*2^1521486-1 is not prime. Res64: A939583E4E87258A Time : 0.0 sec. user=mdettweiler [2018-08-16 16:26:30] 683*2^1521486-1 is not prime. Res64: 169A2CF39CD29083 Time : 0.0 sec. user=mdettweiler [2018-08-16 16:26:31] 693*2^1521486-1 is not prime. Res64: E722E0BEA8A71D19 Time : 0.0 sec. user=mdettweiler [2018-08-16 16:26:31] 705*2^1521486-1 is not prime. Res64: A7FAD799D7607C94 Time : 0.0 sec. user=mdettweiler [2018-08-16 17:10:10] 717*2^1521486-1 is not prime. Res64: C9B832777F7C8A5D Time : 0.0 sec. user=mdettweiler [2018-08-16 17:10:10] 725*2^1521486-1 is not prime. Res64: 913A09521423C714 Time : 0.0 sec. user=mdettweiler [2018-08-16 17:10:11] 777*2^1521486-1 is not prime. Res64: BA8214911D5EEA58 Time : 0.0 sec. user=mdettweiler [2018-08-16 17:10:11] 801*2^1521486-1 is not prime. Res64: ACB9D57BFE0169D2 Time : 0.0 sec. user=mdettweiler [2018-08-16 17:10:12] 685*2^1521487-1 is not prime. Res64: 1D6D982A4E6DE9FF Time : 0.0 sec. user=mdettweiler [2018-08-16 17:19:29] 895*2^1521487-1 is not prime. Res64: D5E7AB6A7909623A Time : 0.0 sec. user=mdettweiler [2018-08-16 17:19:30] 933*2^1521487-1 is not prime. Res64: 07A05F0EE2F98FDB Time : 0.0 sec. user=mdettweiler [2018-08-16 17:19:30] 615*2^1521488-1 is not prime. Res64: AC43100307FE3B6B Time : 0.0 sec. user=mdettweiler [2018-08-16 17:19:30] 827*2^1521488-1 is not prime. Res64: 67FF7C4B313D317B Time : 0.0 sec. user=mdettweiler [2018-08-16 17:19:31] 929*2^1521488-1 is not prime. Res64: DE52FEA340D54397 Time : 0.0 sec. user=mdettweiler [2018-08-16 17:19:34] 991*2^1521489-1 is not prime. Res64: E7314FA312903A10 Time : 0.0 sec. user=mdettweiler [2018-08-16 17:19:34] 999*2^1521489-1 is not prime. Res64: 211AC43958076397 Time : 0.0 sec. user=mdettweiler [2018-08-16 17:19:35] 635*2^1521490-1 is not prime. Res64: 5247C5579167DB89 Time : 0.0 sec. user=mdettweiler [2018-08-16 17:19:35] 653*2^1521490-1 is not prime. Res64: FD3775A25EF8C41E Time : 0.0 sec. user=mdettweiler [2018-08-16 17:19:35] 677*2^1521490-1 is not prime. Res64: 411E8C387E6ACF84 Time : 0.0 sec. user=mdettweiler [2018-08-16 17:19:37] 963*2^1521488-1 is not prime. Res64: 370A80A5CDC00C81 Time : 0.0 sec. user=mdettweiler [2018-08-16 17:19:37] 769*2^1521489-1 is not prime. Res64: 26E4D7F231ABEC64 Time : 0.0 sec. user=mdettweiler [2018-08-16 17:19:38] 781*2^1521489-1 is not prime. Res64: D0B6F4083C49C67D Time : 0.0 sec. user=mdettweiler [2018-08-16 17:19:38] 919*2^1521489-1 is not prime. Res64: 12F46143FDCE7692 Time : 0.0 sec. user=mdettweiler [2018-08-16 17:19:38] 945*2^1521489-1 is not prime. Res64: EE4E662B49451ABF Time : 0.0 sec. user=mdettweiler [2018-08-16 18:04:10] 813*2^1521490-1 is not prime. Res64: F603988AD4E9F368 Time : 0.0 sec. user=mdettweiler [2018-08-16 18:04:12] 619*2^1521491-1 is not prime. Res64: D1D13D2EE3C98262 Time : 0.0 sec. user=mdettweiler [2018-08-16 18:04:13] 679*2^1521491-1 is not prime. Res64: 5FBB4872BBE116A7 Time : 0.0 sec. user=mdettweiler [2018-08-16 18:04:14] 825*2^1521491-1 is not prime. Res64: CFCEFB8DD0BB215C Time : 0.0 sec. user=mdettweiler [2018-08-16 18:04:15] 939*2^1521491-1 is not prime. Res64: 1629BAA36E3DF223 Time : 0.0 sec. user=mdettweiler [2018-08-16 18:13:05] 779*2^1521492-1 is not prime. Res64: EE87461BD3E46DBB Time : 0.0 sec. user=mdettweiler [2018-08-16 18:13:05] 685*2^1521493-1 is not prime. Res64: A5335899F4B7C66D Time : 0.0 sec. user=mdettweiler [2018-08-16 18:13:05] 757*2^1521493-1 is not prime. Res64: 64D890CF3BB95588 Time : 0.0 sec. user=mdettweiler [2018-08-16 18:13:05] 843*2^1521492-1 is not prime. Res64: 516A4F5131CCB366 Time : 0.0 sec. user=mdettweiler [2018-08-16 18:13:06] 897*2^1521493-1 is not prime. Res64: 29AE345BCEC8C326 Time : 0.0 sec. user=mdettweiler [2018-08-16 18:13:06] 863*2^1521492-1 is not prime. Res64: 7E7854C690FBD5B4 Time : 0.0 sec. user=mdettweiler [2018-08-16 18:13:06] 937*2^1521493-1 is not prime. Res64: 6A8285978E849555 Time : 0.0 sec. user=mdettweiler [2018-08-16 18:13:06] 975*2^1521492-1 is not prime. Res64: 5B0CC421D723D0CD Time : 0.0 sec. user=mdettweiler [2018-08-16 18:13:06] 605*2^1521494-1 is not prime. Res64: 30D14CC632747C44 Time : 0.0 sec. user=mdettweiler [2018-08-16 18:13:07] 977*2^1521492-1 is not prime. Res64: 490F562BFE910D1B Time : 0.0 sec. user=mdettweiler [2018-08-16 18:13:24] 955*2^1521491-1 is not prime. Res64: A834968B0FED500C Time : 0.0 sec. user=mdettweiler [2018-08-16 18:13:24] 981*2^1521491-1 is not prime. Res64: FF1C8CD7149F9787 Time : 0.0 sec. user=mdettweiler [2018-08-16 18:13:25] 683*2^1521492-1 is not prime. Res64: E8E2751D3D7E1582 Time : 0.0 sec. user=mdettweiler [2018-08-16 18:13:25] 725*2^1521492-1 is not prime. Res64: 5A002A30DB4EA8FE Time : 0.0 sec. user=mdettweiler [2018-08-16 18:13:26] 759*2^1521492-1 is not prime. Res64: C0BEAEF01BB84142 Time : 0.0 sec. user=mdettweiler [2018-08-16 18:58:35] 711*2^1521494-1 is not prime. Res64: 7870730F46B39AC6 Time : 0.0 sec. user=mdettweiler [2018-08-16 18:58:36] 797*2^1521494-1 is not prime. Res64: 64A025502D2F07D1 Time : 0.0 sec. user=mdettweiler [2018-08-16 18:58:36] 833*2^1521494-1 is not prime. Res64: F6ACDEF5F8804CD6 Time : 0.0 sec. user=mdettweiler [2018-08-16 18:58:37] 903*2^1521494-1 is not prime. Res64: 4744CE193BD09171 Time : 0.0 sec. user=mdettweiler [2018-08-16 18:58:37] 981*2^1521494-1 is not prime. Res64: F06A91411FE8B14D Time : 0.0 sec. user=mdettweiler [2018-08-16 19:06:22] 993*2^1521494-1 is not prime. Res64: 7B9294CC3EF63738 Time : 0.0 sec. user=mdettweiler [2018-08-16 19:06:23] 709*2^1521495-1 is not prime. Res64: 28235636AD938FDA Time : 0.0 sec. user=mdettweiler [2018-08-16 19:06:25] 933*2^1521495-1 is not prime. Res64: 4E80E134F3A7ADE3 Time : 0.0 sec. user=mdettweiler [2018-08-16 19:06:26] 961*2^1521495-1 is not prime. Res64: 1CE1AD745E4740C4 Time : 0.0 sec. user=mdettweiler [2018-08-16 19:06:26] 899*2^1521496-1 is not prime. Res64: 55BA0331818B779A Time : 0.0 sec. user=mdettweiler [2018-08-16 19:06:27] 963*2^1521495-1 is not prime. Res64: BCDF3A745ED508FE Time : 0.0 sec. user=mdettweiler [2018-08-16 19:06:29] 927*2^1521496-1 is not prime. Res64: 628A380BF7DC6515 Time : 0.0 sec. user=mdettweiler [2018-08-16 19:06:30] 933*2^1521496-1 is not prime. Res64: 0E26B02FAFDDB0CE Time : 0.0 sec. user=mdettweiler [2018-08-16 19:06:34] 615*2^1521497-1 is not prime. Res64: 9917A28657F3810B Time : 0.0 sec. user=mdettweiler [2018-08-16 19:06:35] 631*2^1521497-1 is not prime. Res64: A7380BF0CE68BFD7 Time : 0.0 sec. user=mdettweiler [2018-08-16 19:07:02] 837*2^1521497-1 is not prime. Res64: EE6E28305E3A2738 Time : 0.0 sec. user=mdettweiler [2018-08-16 19:07:03] 841*2^1521497-1 is not prime. Res64: 5E21422E5FACD0D8 Time : 0.0 sec. user=mdettweiler [2018-08-16 19:07:05] 867*2^1521497-1 is not prime. Res64: 3E7A136835BC2C04 Time : 0.0 sec. user=mdettweiler [2018-08-16 19:07:06] 901*2^1521497-1 is not prime. Res64: 16567EB59D636363 Time : 0.0 sec. user=mdettweiler [2018-08-16 19:07:07] 949*2^1521497-1 is not prime. Res64: D6D7A2C2CD7BE900 Time : 0.0 sec. user=mdettweiler [2018-08-16 19:49:02] 621*2^1521498-1 is not prime. Res64: F39A9919D2F2D4C5 Time : 0.0 sec. user=mdettweiler [2018-08-16 19:49:02] 647*2^1521498-1 is not prime. Res64: A90F4A20E60F7F2D Time : 0.0 sec. user=mdettweiler [2018-08-16 19:49:03] 651*2^1521498-1 is not prime. Res64: D6EBD34D518AE915 Time : 0.0 sec. user=mdettweiler [2018-08-16 19:49:03] 681*2^1521498-1 is not prime. Res64: CA492CC26854AC0C Time : 0.0 sec. user=mdettweiler [2018-08-16 19:49:03] 747*2^1521498-1 is not prime. Res64: 91F4E935375CD4D6 Time : 0.0 sec. user=mdettweiler [2018-08-16 19:57:08] 825*2^1521498-1 is not prime. Res64: 1A16C3801EEE0611 Time : 0.0 sec. user=mdettweiler [2018-08-16 19:57:08] 833*2^1521498-1 is not prime. Res64: 800C1AAA5F86E9AE Time : 0.0 sec. user=mdettweiler [2018-08-16 19:57:08] 841*2^1521499-1 is not prime. Res64: DEEFE7868073D8AA Time : 0.0 sec. user=mdettweiler [2018-08-16 19:57:08] 837*2^1521498-1 is not prime. Res64: 2E2D952B39933ED0 Time : 0.0 sec. user=mdettweiler [2018-08-16 19:57:08] 853*2^1521499-1 is not prime. Res64: 1488608D85C01A3C Time : 0.0 sec. user=mdettweiler [2018-08-16 19:57:09] 927*2^1521498-1 is not prime. Res64: 8DE8D4C7A85CC29F Time : 0.0 sec. user=mdettweiler [2018-08-16 19:57:09] 999*2^1521499-1 is not prime. Res64: 61286B537C0C27D0 Time : 0.0 sec. user=mdettweiler [2018-08-16 19:57:09] 649*2^1521499-1 is not prime. Res64: A96D2F54F69D45D5 Time : 0.0 sec. user=mdettweiler [2018-08-16 19:57:09] 663*2^1521500-1 is not prime. Res64: 7A17CF53D37426AD Time : 0.0 sec. user=mdettweiler [2018-08-16 19:57:09] 717*2^1521500-1 is not prime. Res64: 663A9A9F3EF013D2 Time : 0.0 sec. user=mdettweiler [2018-08-16 19:57:40] 743*2^1521500-1 is not prime. Res64: 60C4F30E2A91EF93 Time : 0.0 sec. user=mdettweiler [2018-08-16 19:57:40] 827*2^1521500-1 is not prime. Res64: 78C2B7D6CA0A10BB Time : 0.0 sec. user=mdettweiler [2018-08-16 19:57:41] 855*2^1521500-1 is not prime. Res64: 26A5255821514B5F Time : 0.0 sec. user=mdettweiler [2018-08-16 19:57:41] 661*2^1521501-1 is not prime. Res64: DE4EF6B3F704577C Time : 0.0 sec. user=mdettweiler [2018-08-16 19:57:41] 747*2^1521501-1 is not prime. Res64: D29E5FD60A6CCFC9 Time : 0.0 sec. user=mdettweiler [2018-08-16 20:40:17] 955*2^1521501-1 is not prime. Res64: 13C0414EB3F04661 Time : 0.0 sec. user=mdettweiler [2018-08-16 20:40:18] 975*2^1521501-1 is not prime. Res64: 85793B7A5586670A Time : 0.0 sec. user=mdettweiler [2018-08-16 20:40:18] 999*2^1521501-1 is not prime. Res64: 88956BCD459535B9 Time : 0.0 sec. user=mdettweiler [2018-08-16 20:40:19] 623*2^1521502-1 is not prime. Res64: 4A55EB5244DFB3E8 Time : 0.0 sec. user=mdettweiler [2018-08-16 20:40:19] 635*2^1521502-1 is not prime. Res64: 3EFB7BC71C2CBC36 Time : 0.0 sec. user=mdettweiler [2018-08-16 20:48:16] 881*2^1521502-1 is not prime. Res64: 8F6AC54D5138928D Time : 0.0 sec. user=mdettweiler [2018-08-16 20:48:17] 915*2^1521502-1 is not prime. Res64: A2D377F35CB32812 Time : 0.0 sec. user=mdettweiler [2018-08-16 20:48:17] 957*2^1521502-1 is not prime. Res64: 694B5F88FA39F440 Time : 0.0 sec. user=mdettweiler [2018-08-16 20:48:18] 673*2^1521503-1 is not prime. Res64: DD088FE449E1B9D5 Time : 0.0 sec. user=mdettweiler [2018-08-16 20:48:18] 753*2^1521503-1 is not prime. Res64: C900569118A03E73 Time : 0.0 sec. user=mdettweiler [2018-08-16 20:48:26] 645*2^1521502-1 is not prime. Res64: FD863653F1D19963 Time : 0.0 sec. user=mdettweiler [2018-08-16 20:48:27] 675*2^1521502-1 is not prime. Res64: 082D1FBB3F601433 Time : 0.0 sec. user=mdettweiler [2018-08-16 20:48:27] 731*2^1521502-1 is not prime. Res64: D9AC2F33B04CF46B Time : 0.0 sec. user=mdettweiler [2018-08-16 20:48:28] 831*2^1521502-1 is not prime. Res64: 89940E71D5E32D91 Time : 0.0 sec. user=mdettweiler [2018-08-16 20:48:28] 863*2^1521502-1 is not prime. Res64: BB1DAFBB8A81C9D4 Time : 0.0 sec. user=mdettweiler [2018-08-16 20:48:51] 913*2^1521503-1 is not prime. Res64: 6A2758949ED959F4 Time : 0.0 sec. user=mdettweiler [2018-08-16 20:48:51] 689*2^1521504-1 is not prime. Res64: ACEC333F2E0367A0 Time : 0.0 sec. user=mdettweiler [2018-08-16 20:48:51] 707*2^1521504-1 is not prime. Res64: DE69963931BD1F13 Time : 0.0 sec. user=mdettweiler [2018-08-16 20:48:52] 905*2^1521504-1 is not prime. Res64: 477022D73070FCBD Time : 0.0 sec. user=mdettweiler [2018-08-16 20:48:52] 947*2^1521504-1 is not prime. Res64: F9835DC9DA400925 Time : 0.0 sec. user=mdettweiler [2018-08-16 21:30:52] 801*2^1521505-1 is not prime. Res64: 869DA88D4C74A69B Time : 0.0 sec. user=mdettweiler [2018-08-16 21:30:52] 831*2^1521505-1 is not prime. Res64: 91F7642CD65EA574 Time : 0.0 sec. user=mdettweiler [2018-08-16 21:30:52] 909*2^1521505-1 is not prime. Res64: 6DD0FAB0DE33C0DE Time : 0.0 sec. user=mdettweiler [2018-08-16 21:30:53] 633*2^1521506-1 is not prime. Res64: 7BB1A9C54234AED2 Time : 0.0 sec. user=mdettweiler [2018-08-16 21:30:53] 641*2^1521506-1 is not prime. Res64: 460EE64ED110C437 Time : 0.0 sec. user=mdettweiler [2018-08-16 21:39:00] 825*2^1521506-1 is not prime. Res64: D4F0EC2BBFA3630F Time : 0.0 sec. user=mdettweiler [2018-08-16 21:39:00] 833*2^1521506-1 is not prime. Res64: 948435DB278309D4 Time : 0.0 sec. user=mdettweiler [2018-08-16 21:39:00] 875*2^1521506-1 is not prime. Res64: AE9B48DC45D4643A Time : 0.0 sec. user=mdettweiler [2018-08-16 21:39:01] 941*2^1521506-1 is not prime. Res64: 3F7B92F8AEB5D3D3 Time : 0.0 sec. user=mdettweiler [2018-08-16 21:39:01] 609*2^1521507-1 is not prime. Res64: 8B63607E449C19C5 Time : 0.0 sec. user=mdettweiler [2018-08-16 21:39:26] 685*2^1521507-1 is not prime. Res64: 0A9CA8D7419B61A1 Time : 0.0 sec. user=mdettweiler [2018-08-16 21:39:27] 741*2^1521507-1 is not prime. Res64: 0975F20BAC9A8CAE Time : 0.0 sec. user=mdettweiler [2018-08-16 21:39:27] 793*2^1521507-1 is not prime. Res64: 0DA19F3196AF05D9 Time : 0.0 sec. user=mdettweiler [2018-08-16 21:39:27] 963*2^1521507-1 is not prime. Res64: 01D4D6B881C905A2 Time : 0.0 sec. user=mdettweiler [2018-08-16 21:39:28] 695*2^1521508-1 is not prime. Res64: 61CDFBE4654BEA4D Time : 0.0 sec. user=mdettweiler [2018-08-16 21:39:31] 777*2^1521508-1 is not prime. Res64: 20B775C474B522F5 Time : 0.0 sec. user=mdettweiler [2018-08-16 21:39:31] 915*2^1521508-1 is not prime. Res64: 3EB5A4AB671E6145 Time : 0.0 sec. user=mdettweiler [2018-08-16 21:39:32] 929*2^1521508-1 is not prime. Res64: C3E93C96DCD916AE Time : 0.0 sec. user=mdettweiler [2018-08-16 21:39:32] 615*2^1521509-1 is not prime. Res64: 9DE8099CF5DB5D5F Time : 0.0 sec. user=mdettweiler [2018-08-16 21:39:32] 621*2^1521509-1 is not prime. Res64: 62A1533AF86A6ABE Time : 0.0 sec. user=mdettweiler [2018-08-16 22:21:26] 655*2^1521509-1 is not prime. Res64: 30DBA3D5A862BC58 Time : 0.0 sec. user=mdettweiler [2018-08-16 22:21:26] 735*2^1521509-1 is not prime. Res64: 275ECBC1C703CBA6 Time : 0.0 sec. user=mdettweiler [2018-08-16 22:21:27] 811*2^1521509-1 is not prime. Res64: A1F596332F7B2A6A Time : 0.0 sec. user=mdettweiler [2018-08-16 22:21:27] 907*2^1521509-1 is not prime. Res64: D9695F2D7C3E3DA1 Time : 0.0 sec. user=mdettweiler [2018-08-16 22:21:27] 927*2^1521509-1 is not prime. Res64: 19960F8B99ECCB45 Time : 0.0 sec. user=mdettweiler [2018-08-16 22:29:35] 957*2^1521509-1 is not prime. Res64: 58E7DCE657AA126E Time : 0.0 sec. user=mdettweiler [2018-08-16 22:29:36] 985*2^1521509-1 is not prime. Res64: E2CF4B6A9F6198F5 Time : 0.0 sec. user=mdettweiler [2018-08-16 22:29:36] 927*2^1521510-1 is not prime. Res64: FD1A4D45C8C8259D Time : 0.0 sec. user=mdettweiler [2018-08-16 22:29:37] 945*2^1521510-1 is not prime. Res64: 52FD70AE125E5DBF Time : 0.0 sec. user=mdettweiler [2018-08-16 22:29:37] 603*2^1521511-1 is not prime. Res64: 25A10F33C8CC848C Time : 0.0 sec. user=mdettweiler [2018-08-16 22:30:04] 745*2^1521511-1 is not prime. Res64: BAC00939C0DFACB1 Time : 0.0 sec. user=mdettweiler [2018-08-16 22:30:05] 829*2^1521511-1 is not prime. Res64: 1F6484BF37DCED2B Time : 0.0 sec. user=mdettweiler [2018-08-16 22:30:05] 849*2^1521511-1 is not prime. Res64: 05FAB839E21102F6 Time : 0.0 sec. user=mdettweiler [2018-08-16 22:30:05] 893*2^1521512-1 is not prime. Res64: F9B079C80E430946 Time : 0.0 sec. user=mdettweiler [2018-08-16 22:30:05] 913*2^1521511-1 is not prime. Res64: 92BC38CD2121B5A6 Time : 0.0 sec. user=mdettweiler [2018-08-16 22:30:06] 995*2^1521512-1 is not prime. Res64: 0F0BA4AA52745543 Time : 0.0 sec. user=mdettweiler [2018-08-16 22:30:06] 837*2^1521512-1 is not prime. Res64: D9ADC1CC01EAE43F Time : 0.0 sec. user=mdettweiler [2018-08-16 22:30:06] 999*2^1521512-1 is not prime. Res64: 63818E621F37995A Time : 0.0 sec. user=mdettweiler [2018-08-16 22:30:06] 699*2^1521513-1 is not prime. Res64: FD31C70410A7DFE8 Time : 0.0 sec. user=mdettweiler [2018-08-16 22:30:07] 735*2^1521513-1 is not prime. Res64: 30A3785C6738F37F Time : 0.0 sec. user=mdettweiler [2018-08-16 23:12:10] 807*2^1521513-1 is not prime. Res64: 6AB8148108790A36 Time : 0.0 sec. user=mdettweiler [2018-08-16 23:12:10] 921*2^1521513-1 is not prime. Res64: 3916DB4ED832EDAA Time : 0.0 sec. user=mdettweiler [2018-08-16 23:12:11] 635*2^1521514-1 is not prime. Res64: BD69FC478D0A85F9 Time : 0.0 sec. user=mdettweiler [2018-08-16 23:12:11] 675*2^1521514-1 is not prime. Res64: 7B74DFBA31C8D450 Time : 0.0 sec. user=mdettweiler [2018-08-16 23:12:12] 861*2^1521514-1 is not prime. Res64: 7AF6012C6CF8E932 Time : 0.0 sec. user=mdettweiler [2018-08-16 23:20:21] 669*2^1521515-1 is not prime. Res64: DDF7615E3B2C246B Time : 0.0 sec. user=mdettweiler [2018-08-16 23:20:22] 789*2^1521515-1 is not prime. Res64: 9989DAE960F183A3 Time : 0.0 sec. user=mdettweiler [2018-08-16 23:20:22] 825*2^1521515-1 is not prime. Res64: E9C7526657BAFDB5 Time : 0.0 sec. user=mdettweiler [2018-08-16 23:20:23] 885*2^1521515-1 is not prime. Res64: 0B0518FFF54CF8B6 Time : 0.0 sec. user=mdettweiler [2018-08-16 23:20:23] 609*2^1521516-1 is not prime. Res64: 72E48DE8E9419846 Time : 0.0 sec. user=mdettweiler [2018-08-16 23:20:39] 983*2^1521516-1 is not prime. Res64: 3558C071DB4B9C93 Time : 0.0 sec. user=mdettweiler [2018-08-16 23:20:39] 601*2^1521517-1 is not prime. Res64: 1C676A6F0805F0B7 Time : 0.0 sec. user=mdettweiler [2018-08-16 23:20:40] 645*2^1521517-1 is not prime. Res64: 481FD33EA06426F9 Time : 0.0 sec. user=mdettweiler [2018-08-16 23:20:40] 759*2^1521517-1 is not prime. Res64: 4C475E624981DCF6 Time : 0.0 sec. user=mdettweiler [2018-08-16 23:20:41] 805*2^1521517-1 is not prime. Res64: 10C63F075E21EC20 Time : 0.0 sec. user=mdettweiler [2018-08-16 23:20:41] 695*2^1521516-1 is not prime. Res64: E8FCD1394AE39CB0 Time : 0.0 sec. user=mdettweiler [2018-08-16 23:20:42] 719*2^1521516-1 is not prime. Res64: CD83E41B36111764 Time : 0.0 sec. user=mdettweiler [2018-08-16 23:20:42] 773*2^1521516-1 is not prime. Res64: 53FB8CBFF2522093 Time : 0.0 sec. user=mdettweiler [2018-08-16 23:20:43] 825*2^1521516-1 is not prime. Res64: A75A6BEB715B7B75 Time : 0.0 sec. user=mdettweiler [2018-08-16 23:20:43] 879*2^1521516-1 is not prime. Res64: BF285E813B830668 Time : 0.0 sec.