user=mdettweiler [2015-06-12 00:01:09] 989*2^1400020-1 is not prime. Res64: 77CA1226EB73969F Time : 0.0 sec. user=mdettweiler [2015-06-12 00:01:09] 999*2^1400020-1 is not prime. Res64: 0158BE4C1FD269ED Time : 0.0 sec. user=mdettweiler [2015-06-12 00:01:28] 631*2^1400021-1 is not prime. Res64: 7A9CDCB58270B635 Time : 0.0 sec. user=mdettweiler [2015-06-12 00:01:28] 651*2^1400021-1 is not prime. Res64: 82B7CD19F65B7064 Time : 0.0 sec. user=mdettweiler [2015-06-12 00:04:41] 925*2^1400021-1 is not prime. Res64: 03A437084DA51A6C Time : 0.0 sec. user=mdettweiler [2015-06-12 00:04:42] 955*2^1400021-1 is not prime. Res64: 778BAD52561F68C9 Time : 0.0 sec. user=mdettweiler [2015-06-12 00:10:08] 677*2^1400022-1 is not prime. Res64: D15D87F3A6682C7D Time : 0.0 sec. user=mdettweiler [2015-06-12 00:10:08] 765*2^1400022-1 is not prime. Res64: 7D3A42B632A0C9A0 Time : 0.0 sec. user=mdettweiler [2015-06-12 00:19:01] 821*2^1400022-1 is not prime. Res64: 42F23D73024A3672 Time : 0.0 sec. user=mdettweiler [2015-06-12 00:19:01] 903*2^1400022-1 is not prime. Res64: 6B9EBCAEAA558795 Time : 0.0 sec. user=mdettweiler [2015-06-12 00:19:14] 921*2^1400022-1 is not prime. Res64: F65FEA8B6968C7E6 Time : 0.0 sec. user=mdettweiler [2015-06-12 00:19:14] 975*2^1400022-1 is not prime. Res64: D7C60AAAF1C4A199 Time : 0.0 sec. user=mdettweiler [2015-06-12 00:22:37] 619*2^1400023-1 is not prime. Res64: F2DC3004A87764B3 Time : 0.0 sec. user=mdettweiler [2015-06-12 00:22:37] 673*2^1400023-1 is not prime. Res64: 8C7EF07B277CDC5F Time : 0.0 sec. user=juhehe [2015-06-12 00:25:38] 815*2^1400022-1 is not prime. Res64: E029DEA0C22519C3 Time : 0.0 sec. user=mdettweiler [2015-06-12 00:27:53] 771*2^1400023-1 is not prime. Res64: 6ED19E5293B2DAEE Time : 0.0 sec. user=mdettweiler [2015-06-12 00:27:53] 775*2^1400023-1 is not prime. Res64: 5F977D26F9E832D3 Time : 0.0 sec. user=mdettweiler [2015-06-12 00:36:33] 889*2^1400023-1 is not prime. Res64: 10B282E0DD583858 Time : 0.0 sec. user=mdettweiler [2015-06-12 00:36:34] 891*2^1400023-1 is not prime. Res64: 19E12393121D162B Time : 0.0 sec. user=mdettweiler [2015-06-12 00:36:51] 939*2^1400023-1 is not prime. Res64: 34B686B6085FDFA7 Time : 0.0 sec. user=mdettweiler [2015-06-12 00:36:51] 629*2^1400024-1 is not prime. Res64: 705F85E42BF748EF Time : 0.0 sec. user=mdettweiler [2015-06-12 00:40:09] 663*2^1400024-1 is not prime. Res64: A0C38C8C60EB5E76 Time : 0.0 sec. user=mdettweiler [2015-06-12 00:40:10] 719*2^1400024-1 is not prime. Res64: 6649DB4A1417025F Time : 0.0 sec. user=mdettweiler [2015-06-12 00:45:33] 767*2^1400024-1 is not prime. Res64: 8A02478A478931AA Time : 0.0 sec. user=mdettweiler [2015-06-12 00:45:33] 789*2^1400024-1 is not prime. Res64: 46BA3192A07E0449 Time : 0.0 sec. user=mdettweiler [2015-06-12 00:54:10] 795*2^1400024-1 is not prime. Res64: EF3E81C9595DA0D9 Time : 0.0 sec. user=mdettweiler [2015-06-12 00:54:11] 825*2^1400024-1 is not prime. Res64: 286CE6FF9B359C81 Time : 0.0 sec. user=mdettweiler [2015-06-12 00:54:23] 927*2^1400024-1 is not prime. Res64: D4C7C538DE7FDE0B Time : 0.0 sec. user=mdettweiler [2015-06-12 00:54:23] 627*2^1400025-1 is not prime. Res64: 591669AD101243FF Time : 0.0 sec. user=mdettweiler [2015-06-12 00:57:39] 699*2^1400025-1 is not prime. Res64: 675C41928E4BD7C8 Time : 0.0 sec. user=mdettweiler [2015-06-12 00:57:40] 759*2^1400025-1 is not prime. Res64: 2DF341FBCFD72E21 Time : 0.0 sec. user=mdettweiler [2015-06-12 01:03:08] 805*2^1400025-1 is not prime. Res64: AB9CAE48A3328185 Time : 0.0 sec. user=mdettweiler [2015-06-12 01:03:08] 847*2^1400025-1 is not prime. Res64: F09D8BEFA65E860A Time : 0.0 sec. user=mdettweiler [2015-06-12 01:11:41] 895*2^1400025-1 is not prime. Res64: 145D0635D5367081 Time : 0.0 sec. user=mdettweiler [2015-06-12 01:11:42] 969*2^1400025-1 is not prime. Res64: 8C66047EDC09D347 Time : 0.0 sec. user=mdettweiler [2015-06-12 01:12:18] 623*2^1400026-1 is not prime. Res64: 65989BC90F3BAE22 Time : 0.0 sec. user=mdettweiler [2015-06-12 01:12:19] 657*2^1400026-1 is not prime. Res64: 96CD7015BBDD83EE Time : 0.0 sec. user=mdettweiler [2015-06-12 01:15:32] 705*2^1400026-1 is not prime. Res64: C8AA7CEA88174A2C Time : 0.0 sec. user=mdettweiler [2015-06-12 01:15:33] 743*2^1400026-1 is not prime. Res64: 0134C222D88F88DA Time : 0.0 sec. user=mdettweiler [2015-06-12 01:21:05] 905*2^1400026-1 is not prime. Res64: 835818F837365234 Time : 0.0 sec. user=mdettweiler [2015-06-12 01:21:05] 933*2^1400026-1 is not prime. Res64: B5D3D7C1A8C93734 Time : 0.0 sec. user=mdettweiler [2015-06-12 01:29:24] 947*2^1400026-1 is not prime. Res64: 930707B3CA2F6290 Time : 0.0 sec. user=mdettweiler [2015-06-12 01:29:26] 603*2^1400027-1 is not prime. Res64: D7DF473D57CD449A Time : 0.0 sec. user=mdettweiler [2015-06-12 01:30:00] 655*2^1400027-1 is not prime. Res64: 978F3CFA89CF6CCF Time : 0.0 sec. user=mdettweiler [2015-06-12 01:30:01] 735*2^1400027-1 is not prime. Res64: BC5D32897DFA1C9B Time : 0.0 sec. user=mdettweiler [2015-06-12 01:33:14] 741*2^1400027-1 is not prime. Res64: 8D2066E46B34C305 Time : 0.0 sec. user=mdettweiler [2015-06-12 01:33:14] 883*2^1400027-1 is not prime. Res64: E2CB2B37C08C62C2 Time : 0.0 sec. user=mdettweiler [2015-06-12 01:38:35] 627*2^1400028-1 is not prime. Res64: 9F7B5E99144923CE Time : 0.0 sec. user=mdettweiler [2015-06-12 01:38:35] 899*2^1400028-1 is not prime. Res64: 51F7F56DEDA6A0A3 Time : 0.0 sec. user=mdettweiler [2015-06-12 01:47:12] 945*2^1400028-1 is not prime. Res64: F810412D9FB4B73B Time : 0.0 sec. user=mdettweiler [2015-06-12 01:47:12] 993*2^1400028-1 is not prime. Res64: 5DE2C8D0B6A61787 Time : 0.0 sec. user=mdettweiler [2015-06-12 01:47:40] 615*2^1400029-1 is not prime. Res64: BBDF925A11983A03 Time : 0.0 sec. user=mdettweiler [2015-06-12 01:47:40] 621*2^1400029-1 is not prime. Res64: FFAE467C828BA543 Time : 0.0 sec. user=mdettweiler [2015-06-12 01:50:52] 639*2^1400029-1 is not prime. Res64: C741EF184AF5BC8A Time : 0.0 sec. user=mdettweiler [2015-06-12 01:50:52] 691*2^1400029-1 is not prime. Res64: A06CA78D833CC328 Time : 0.0 sec. user=mdettweiler [2015-06-12 01:56:08] 759*2^1400029-1 is not prime. Res64: C1A415D6C07675FB Time : 0.0 sec. user=mdettweiler [2015-06-12 01:56:08] 771*2^1400029-1 is not prime. Res64: 4EB651D68E6E861C Time : 0.0 sec. user=mdettweiler [2015-06-12 02:04:43] 801*2^1400029-1 is not prime. Res64: 63489E0CBB80D9A3 Time : 0.0 sec. user=mdettweiler [2015-06-12 02:04:44] 847*2^1400029-1 is not prime. Res64: 2D3C59B9A6759392 Time : 0.0 sec. user=mdettweiler [2015-06-12 02:05:16] 711*2^1400030-1 is not prime. Res64: 146BD05D63D7F800 Time : 0.0 sec. user=mdettweiler [2015-06-12 02:05:17] 897*2^1400030-1 is not prime. Res64: D2B097A57D684B27 Time : 0.0 sec. user=mdettweiler [2015-06-12 02:08:23] 923*2^1400030-1 is not prime. Res64: F43C9B3811661964 Time : 0.0 sec. user=mdettweiler [2015-06-12 02:08:23] 971*2^1400030-1 is not prime. Res64: 327E77837B4DF896 Time : 0.0 sec. user=mdettweiler [2015-06-12 02:13:41] 977*2^1400030-1 is not prime. Res64: 6C4D70AF8BDA73F8 Time : 0.0 sec. user=mdettweiler [2015-06-12 02:13:42] 601*2^1400031-1 is not prime. Res64: B65BE0D446622168 Time : 0.0 sec. user=mdettweiler [2015-06-12 02:22:43] 723*2^1400031-1 is not prime. Res64: 15CAF91D9375FDB0 Time : 0.0 sec. user=mdettweiler [2015-06-12 02:22:44] 775*2^1400031-1 is not prime. Res64: 9641DB1916467BD7 Time : 0.0 sec. user=mdettweiler [2015-06-12 02:22:56] 783*2^1400031-1 is not prime. Res64: 67BADDBBCFD23043 Time : 0.0 sec. user=mdettweiler [2015-06-12 02:22:56] 865*2^1400031-1 is not prime. Res64: F1D8873F96169F95 Time : 0.0 sec. user=mdettweiler [2015-06-12 02:25:52] 933*2^1400031-1 is not prime. Res64: 92E2698BD6C465CC Time : 0.0 sec. user=mdettweiler [2015-06-12 02:25:52] 675*2^1400032-1 is not prime. Res64: AFCFB44894E6E9C3 Time : 0.0 sec. user=mdettweiler [2015-06-12 02:31:16] 705*2^1400032-1 is not prime. Res64: F35693FD2C9D34C0 Time : 0.0 sec. user=mdettweiler [2015-06-12 02:31:17] 849*2^1400032-1 is not prime. Res64: 2D4FF18CD0E3404A Time : 0.0 sec. user=mdettweiler [2015-06-12 02:40:29] 863*2^1400032-1 is not prime. Res64: E527AEDD90D3B9CB Time : 0.0 sec. user=mdettweiler [2015-06-12 02:40:29] 939*2^1400032-1 is not prime. Res64: 5E13ECD793870E0E Time : 0.0 sec. user=mdettweiler [2015-06-12 02:40:46] 637*2^1400033-1 is not prime. Res64: 20A50D2289364F49 Time : 0.0 sec. user=mdettweiler [2015-06-12 02:40:46] 769*2^1400033-1 is not prime. Res64: 441F21B8943C8603 Time : 0.0 sec. user=mdettweiler [2015-06-12 02:43:58] 855*2^1400033-1 is not prime. Res64: BB8EB0625AB3DEAC Time : 0.0 sec. user=mdettweiler [2015-06-12 02:43:58] 861*2^1400033-1 is not prime. Res64: 4EECEC8DA7E6A618 Time : 0.0 sec. user=mdettweiler [2015-06-12 02:50:18] 901*2^1400033-1 is not prime. Res64: 881D0861EE84466A Time : 0.0 sec. user=mdettweiler [2015-06-12 02:50:18] 925*2^1400033-1 is not prime. Res64: B8D5C7CA375EDB5D Time : 0.0 sec. user=mdettweiler [2015-06-12 02:58:26] 955*2^1400033-1 is not prime. Res64: 5BE55B38C84067B9 Time : 0.0 sec. user=mdettweiler [2015-06-12 02:58:26] 633*2^1400034-1 is not prime. Res64: FF6D8FB24EBBF4A7 Time : 0.0 sec. user=mdettweiler [2015-06-12 02:59:29] 677*2^1400034-1 is not prime. Res64: 75AF3D0A8E5AC029 Time : 0.0 sec. user=mdettweiler [2015-06-12 02:59:30] 711*2^1400034-1 is not prime. Res64: E2D5DBB089DB0C6C Time : 0.0 sec. user=mdettweiler [2015-06-12 03:02:14] 791*2^1400034-1 is not prime. Res64: 7D29E4FCF0528669 Time : 0.0 sec. user=mdettweiler [2015-06-12 03:02:15] 797*2^1400034-1 is not prime. Res64: EBF44E2E9A687856 Time : 0.0 sec. user=mdettweiler [2015-06-12 03:07:58] 903*2^1400034-1 is not prime. Res64: 48192B93942B8E31 Time : 0.0 sec. user=mdettweiler [2015-06-12 03:07:59] 905*2^1400034-1 is not prime. Res64: 81D5C6A6FB221307 Time : 0.0 sec. user=mdettweiler [2015-06-12 03:16:03] 975*2^1400034-1 is not prime. Res64: D7BFBC455865836B Time : 0.0 sec. user=mdettweiler [2015-06-12 03:16:03] 609*2^1400035-1 is not prime. Res64: 98F800BDBE0938CA Time : 0.0 sec. user=mdettweiler [2015-06-12 03:17:07] 645*2^1400035-1 is not prime. Res64: E3C6D13450CBE7CB Time : 0.0 sec. user=mdettweiler [2015-06-12 03:17:07] 651*2^1400035-1 is not prime. Res64: D699F860AEDAADFE Time : 0.0 sec. user=mdettweiler [2015-06-12 03:19:53] 673*2^1400035-1 is not prime. Res64: 3213708789BFE63A Time : 0.0 sec. user=mdettweiler [2015-06-12 03:19:53] 765*2^1400035-1 is not prime. Res64: 76586083B872AAC5 Time : 0.0 sec. user=mdettweiler [2015-06-12 03:25:31] 789*2^1400035-1 is not prime. Res64: FE39B56828953299 Time : 0.0 sec. user=mdettweiler [2015-06-12 03:25:31] 895*2^1400035-1 is not prime. Res64: 35BC1821FB41C59F Time : 0.0 sec. user=mdettweiler [2015-06-12 03:33:39] 939*2^1400035-1 is not prime. Res64: 8C5B889544AAB9E7 Time : 0.0 sec. user=mdettweiler [2015-06-12 03:33:40] 609*2^1400036-1 is not prime. Res64: C6BFB22576605695 Time : 0.0 sec. user=mdettweiler [2015-06-12 03:34:40] 633*2^1400036-1 is not prime. Res64: 16B39AE29BA27A96 Time : 0.0 sec. user=mdettweiler [2015-06-12 03:34:41] 743*2^1400036-1 is not prime. Res64: 773240A8BA2274FF Time : 0.0 sec. user=mdettweiler [2015-06-12 03:37:22] 803*2^1400036-1 is not prime. Res64: 1BDA2CAF396D39B1 Time : 0.0 sec. user=mdettweiler [2015-06-12 03:37:23] 825*2^1400036-1 is not prime. Res64: 3FE38BDB49E61E35 Time : 0.0 sec. user=mdettweiler [2015-06-12 03:43:06] 869*2^1400036-1 is not prime. Res64: C53DCE99E9EA7A30 Time : 0.0 sec. user=mdettweiler [2015-06-12 03:43:08] 923*2^1400036-1 is not prime. Res64: 88CBD1D0D48621AF Time : 0.0 sec. user=mdettweiler [2015-06-12 03:51:29] 621*2^1400037-1 is not prime. Res64: DDD1C753F2C0A9D9 Time : 0.0 sec. user=mdettweiler [2015-06-12 03:51:30] 675*2^1400037-1 is not prime. Res64: 206DCBC713F3AEBA Time : 0.0 sec. user=mdettweiler [2015-06-12 03:52:16] 685*2^1400037-1 is not prime. Res64: 861FA5CD65E5BF92 Time : 0.0 sec. user=mdettweiler [2015-06-12 03:52:16] 895*2^1400037-1 is not prime. Res64: 68D38745C3CFE54D Time : 0.0 sec. user=mdettweiler [2015-06-12 03:54:52] 645*2^1400038-1 is not prime. Res64: 5114005D0F7163D0 Time : 0.0 sec. user=mdettweiler [2015-06-12 03:54:52] 663*2^1400038-1 is not prime. Res64: 398FBE27A17CC4EE Time : 0.0 sec. user=mdettweiler [2015-06-12 04:00:45] 665*2^1400038-1 is not prime. Res64: 12086F946447A0AA Time : 0.0 sec. user=mdettweiler [2015-06-12 04:00:45] 681*2^1400038-1 is not prime. Res64: C5491242E0697197 Time : 0.0 sec. user=mdettweiler [2015-06-12 04:09:13] 713*2^1400038-1 is not prime. Res64: 9FA9836DDCF32E59 Time : 0.0 sec. user=mdettweiler [2015-06-12 04:09:14] 773*2^1400038-1 is not prime. Res64: 46A1391705FC69EE Time : 0.0 sec. user=mdettweiler [2015-06-12 04:09:48] 951*2^1400038-1 is not prime. Res64: 78CAB2F0AE32D57E Time : 0.0 sec. user=mdettweiler [2015-06-12 04:09:48] 981*2^1400038-1 is not prime. Res64: 2B1060BF46293131 Time : 0.0 sec. user=mdettweiler [2015-06-12 04:12:25] 993*2^1400038-1 is not prime. Res64: D761143ECC685CCF Time : 0.0 sec. user=mdettweiler [2015-06-12 04:12:25] 663*2^1400039-1 is not prime. Res64: 0F7E3D11D34BEFBF Time : 0.0 sec. user=mdettweiler [2015-06-12 04:18:29] 703*2^1400039-1 is not prime. Res64: 241D2A662E0421BD Time : 0.0 sec. user=mdettweiler [2015-06-12 04:18:29] 771*2^1400039-1 is not prime. Res64: 1B06AD771FADB25E Time : 0.0 sec. user=mdettweiler [2015-06-12 04:26:47] 913*2^1400039-1 is not prime. Res64: E31506D165B24DB2 Time : 0.0 sec. user=mdettweiler [2015-06-12 04:26:48] 979*2^1400039-1 is not prime. Res64: 6827B05036B4F527 Time : 0.0 sec. user=mdettweiler [2015-06-12 04:27:17] 635*2^1400040-1 is not prime. Res64: C0C1C82B4FCA5A1D Time : 0.0 sec. user=mdettweiler [2015-06-12 04:27:18] 665*2^1400040-1 is not prime. Res64: F704D9E6272C0D89 Time : 0.0 sec. user=mdettweiler [2015-06-12 04:30:00] 669*2^1400040-1 is not prime. Res64: 73D5AE3031904197 Time : 0.0 sec. user=mdettweiler [2015-06-12 04:30:01] 689*2^1400040-1 is not prime. Res64: 6D897AB20C647E49 Time : 0.0 sec. user=mdettweiler [2015-06-12 04:36:05] 747*2^1400040-1 is not prime. Res64: 6D2197A695BEC663 Time : 0.0 sec. user=mdettweiler [2015-06-12 04:36:05] 753*2^1400040-1 is not prime. Res64: 14D5459BDE99ACBA Time : 0.0 sec. user=mdettweiler [2015-06-12 04:44:22] 803*2^1400040-1 is not prime. Res64: D66174EEF4819C92 Time : 0.0 sec. user=mdettweiler [2015-06-12 04:44:22] 845*2^1400040-1 is not prime. Res64: A2CA7B0D8F6A8DC0 Time : 0.0 sec. user=mdettweiler [2015-06-12 04:44:48] 899*2^1400040-1 is not prime. Res64: 65B34CA39991719A Time : 0.0 sec. user=mdettweiler [2015-06-12 04:44:48] 905*2^1400040-1 is not prime. Res64: E82086DC01033924 Time : 0.0 sec. user=mdettweiler [2015-06-12 04:47:36] 609*2^1400041-1 is not prime. Res64: 6D5FB904F3C5B7BE Time : 0.0 sec. user=mdettweiler [2015-06-12 04:47:37] 691*2^1400041-1 is not prime. Res64: F5F620C64E1409B4 Time : 0.0 sec. user=mdettweiler [2015-06-12 04:53:39] 775*2^1400041-1 is not prime. Res64: 0F465545182474BD Time : 0.0 sec. user=mdettweiler [2015-06-12 04:53:40] 849*2^1400041-1 is not prime. Res64: A97327EBB3A5ED4C Time : 0.0 sec. user=mdettweiler [2015-06-12 05:01:55] 861*2^1400041-1 is not prime. Res64: 0BC8E9657C82C108 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:01:56] 665*2^1400042-1 is not prime. Res64: 454FDB1752F19651 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:02:15] 683*2^1400042-1 is not prime. Res64: 783E651A6090D774 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:02:15] 735*2^1400042-1 is not prime. Res64: D8F88CA2D33B108F Time : 0.0 sec. user=mdettweiler [2015-06-12 05:05:07] 771*2^1400042-1 is not prime. Res64: 6AB206730CA8DCC2 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:05:08] 923*2^1400042-1 is not prime. Res64: 04CC3ED57F620E06 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:11:35] 935*2^1400042-1 is not prime. Res64: 149BE1F63FC0C4C2 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:11:35] 963*2^1400042-1 is not prime. Res64: 8253A82C47E0B81C Time : 0.0 sec. user=mdettweiler [2015-06-12 05:20:03] 615*2^1400044-1 is not prime. Res64: 8FCD78D36BB3D2B4 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:20:03] 695*2^1400044-1 is not prime. Res64: 42369F1E6B709412 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:20:28] 685*2^1400043-1 is not prime. Res64: F376802522225F51 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:20:29] 765*2^1400043-1 is not prime. Res64: E92B16DF0FD50F41 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:22:46] 807*2^1400044-1 is not prime. Res64: EF5A27B5EFB49722 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:22:46] 825*2^1400044-1 is not prime. Res64: BA7A08FFDD2EB7EE Time : 0.0 sec. user=mdettweiler [2015-06-12 05:29:20] 827*2^1400044-1 is not prime. Res64: 41D11E4782CEC517 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:29:20] 915*2^1400044-1 is not prime. Res64: 8C5BAECC9465E732 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:37:41] 989*2^1400044-1 is not prime. Res64: 7E20D49264ED3251 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:37:41] 699*2^1400045-1 is not prime. Res64: 41D9F025A2FB943E Time : 0.0 sec. user=mdettweiler [2015-06-12 05:38:03] 777*2^1400045-1 is not prime. Res64: F4444D653C81D017 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:38:03] 831*2^1400045-1 is not prime. Res64: A0BD28C94CA2235C Time : 0.0 sec. user=mdettweiler [2015-06-12 05:40:25] 937*2^1400045-1 is not prime. Res64: 6C0BFF1CB8007C27 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:40:26] 955*2^1400045-1 is not prime. Res64: 120DAAC4BAD026A5 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:46:55] 611*2^1400046-1 is not prime. Res64: 0B0E2814C9B71708 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:46:55] 843*2^1400046-1 is not prime. Res64: AE5274E9D76ED01A Time : 0.0 sec. user=mdettweiler [2015-06-12 05:55:09] 651*2^1400047-1 is not prime. Res64: B1F3618D7B9219A0 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:55:09] 769*2^1400047-1 is not prime. Res64: 6B04286AC3338A39 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:55:39] 861*2^1400047-1 is not prime. Res64: F379130653B04AEE Time : 0.0 sec. user=mdettweiler [2015-06-12 05:55:39] 939*2^1400047-1 is not prime. Res64: 9EAFD18231122ED3 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:57:59] 951*2^1400047-1 is not prime. Res64: DC911F19C9EA5CF7 Time : 0.0 sec. user=mdettweiler [2015-06-12 05:57:59] 603*2^1400048-1 is not prime. Res64: 7188DE1BDE39C9FE Time : 0.0 sec. user=mdettweiler [2015-06-12 06:04:33] 657*2^1400048-1 is not prime. Res64: 2F5F477E7E8465D4 Time : 0.0 sec. user=mdettweiler [2015-06-12 06:04:35] 665*2^1400048-1 is not prime. Res64: 2B76FD36F8FFC257 Time : 0.0 sec. user=mdettweiler [2015-06-12 06:12:43] 755*2^1400048-1 is not prime. Res64: 5490C69583000506 Time : 0.0 sec. user=mdettweiler [2015-06-12 06:12:43] 797*2^1400048-1 is not prime. Res64: ED0733CE489C2BE0 Time : 0.0 sec. user=mdettweiler [2015-06-12 06:13:16] 879*2^1400048-1 is not prime. Res64: B85533BB3AB431C9 Time : 0.0 sec. user=mdettweiler [2015-06-12 06:13:16] 927*2^1400048-1 is not prime. Res64: 8679844D6E7FEEA2 Time : 0.0 sec. user=mdettweiler [2015-06-12 06:15:33] 959*2^1400048-1 is not prime. Res64: DD0A1864C85A2F88 Time : 0.0 sec. user=mdettweiler [2015-06-12 06:15:33] 999*2^1400048-1 is not prime. Res64: 68C2CA84A9A613A0 Time : 0.0 sec. user=mdettweiler [2015-06-12 06:22:28] 609*2^1400049-1 is not prime. Res64: D281C7398C94273C Time : 0.0 sec. user=mdettweiler [2015-06-12 06:22:28] 615*2^1400049-1 is not prime. Res64: F18FC277D4E4B0C4 Time : 0.0 sec. user=mdettweiler [2015-06-12 06:30:22] 681*2^1400049-1 is not prime. Res64: 250311288B25C930 Time : 0.0 sec. user=mdettweiler [2015-06-12 06:30:22] 685*2^1400049-1 is not prime. Res64: CD92D778FABCC08D Time : 0.0 sec. user=mdettweiler [2015-06-12 06:30:49] 837*2^1400049-1 is not prime. Res64: DF1A00A9A0252A92 Time : 0.0 sec. user=mdettweiler [2015-06-12 06:30:49] 885*2^1400049-1 is not prime. Res64: 08CD6FF4E1FAC20F Time : 0.0 sec. user=mdettweiler [2015-06-12 06:33:06] 985*2^1400049-1 is not prime. Res64: 0ECA688967A2E497 Time : 0.0 sec. user=mdettweiler [2015-06-12 06:33:07] 991*2^1400049-1 is not prime. Res64: 929EB56D53B57793 Time : 0.0 sec. user=mdettweiler [2015-06-12 06:39:56] 999*2^1400049-1 is not prime. Res64: 45E08BC89D3CB479 Time : 0.0 sec. user=mdettweiler [2015-06-12 06:39:56] 827*2^1400050-1 is not prime. Res64: 74F4CAC33160CD49 Time : 0.0 sec. user=mdettweiler [2015-06-12 06:47:52] 861*2^1400050-1 is not prime. Res64: 60B966E901ECB4A0 Time : 0.0 sec. user=mdettweiler [2015-06-12 06:47:52] 887*2^1400050-1 is not prime. Res64: AFC2BB277C3D634E Time : 0.0 sec. user=mdettweiler [2015-06-12 06:48:22] 975*2^1400050-1 is not prime. Res64: AC8A98C2AB9F6D81 Time : 0.0 sec. user=mdettweiler [2015-06-12 06:48:22] 995*2^1400050-1 is not prime. Res64: 0CC301AA24C1BFAD Time : 0.0 sec. user=mdettweiler [2015-06-12 06:50:42] 1001*2^1400050-1 is not prime. Res64: 0D34A0C99536C4B9 Time : 0.0 sec. user=mdettweiler [2015-06-12 06:50:42] 609*2^1400051-1 is not prime. Res64: 1A31A2F87B522C1F Time : 0.0 sec. user=mdettweiler [2015-06-12 06:57:28] 645*2^1400051-1 is not prime. Res64: ABE121242F2C2CAB Time : 0.0 sec. user=mdettweiler [2015-06-12 06:57:28] 783*2^1400051-1 is not prime. Res64: 2DEBDE54134D2FE4 Time : 0.0 sec. user=mdettweiler [2015-06-12 07:05:33] 855*2^1400051-1 is not prime. Res64: 496CCBC758D1178D Time : 0.0 sec. user=mdettweiler [2015-06-12 07:05:35] 859*2^1400051-1 is not prime. Res64: 71490B0AF3AE045E Time : 0.0 sec. user=mdettweiler [2015-06-12 07:06:00] 875*2^1400052-1 is not prime. Res64: E46124737D0CAFD5 Time : 0.0 sec. user=mdettweiler [2015-06-12 07:06:00] 899*2^1400052-1 is not prime. Res64: 11F20C5D1ED4AE31 Time : 0.0 sec. user=mdettweiler [2015-06-12 07:08:27] 999*2^1400052-1 is not prime. Res64: 535D52CF1CA50CF1 Time : 0.0 sec. user=mdettweiler [2015-06-12 07:08:27] 721*2^1400053-1 is not prime. Res64: 3D344C652AB30773 Time : 0.0 sec. user=mdettweiler [2015-06-12 07:15:10] 757*2^1400053-1 is not prime. Res64: 7C83875F0DF87085 Time : 0.0 sec. user=mdettweiler [2015-06-12 07:15:10] 789*2^1400053-1 is not prime. Res64: C5EA00746C80D17F Time : 0.0 sec. user=mdettweiler [2015-06-12 07:23:15] 829*2^1400053-1 is not prime. Res64: 86FC88E3FE3EDDDF Time : 0.0 sec. user=mdettweiler [2015-06-12 07:23:15] 861*2^1400053-1 is not prime. Res64: DD1D0316E45D8FDC Time : 0.0 sec. user=mdettweiler [2015-06-12 07:23:27] 877*2^1400053-1 is not prime. Res64: EC22FBCB245AC7B6 Time : 0.0 sec. user=mdettweiler [2015-06-12 07:23:27] 955*2^1400053-1 is not prime. Res64: 532701F34C1505B8 Time : 0.0 sec. user=mdettweiler [2015-06-12 07:25:59] 957*2^1400053-1 is not prime. Res64: EE0509B95C72F2F2 Time : 0.0 sec. user=mdettweiler [2015-06-12 07:25:59] 617*2^1400054-1 is not prime. Res64: 3875BF3D3FFDD3F8 Time : 0.0 sec. user=mdettweiler [2015-06-12 07:32:49] 677*2^1400054-1 is not prime. Res64: 66B0E6EFF8A9DF18 Time : 0.0 sec. user=mdettweiler [2015-06-12 07:32:49] 873*2^1400055-1 is not prime. Res64: 0302445D751B6808 Time : 0.0 sec. user=mdettweiler [2015-06-12 07:40:48] 913*2^1400055-1 is not prime. Res64: 5539BC9B5A160247 Time : 0.0 sec. user=mdettweiler [2015-06-12 07:40:48] 919*2^1400055-1 is not prime. Res64: 310F1B57F223FD49 Time : 0.0 sec. user=mdettweiler [2015-06-12 07:41:08] 943*2^1400055-1 is not prime. Res64: FADCB9A3F674ED5A Time : 0.0 sec. user=mdettweiler [2015-06-12 07:41:08] 663*2^1400056-1 is not prime. Res64: 08BEDFAE14CCFAFE Time : 0.0 sec. user=mdettweiler [2015-06-12 07:43:32] 723*2^1400056-1 is not prime. Res64: E051489DD7151A28 Time : 0.0 sec. user=mdettweiler [2015-06-12 07:43:32] 785*2^1400056-1 is not prime. Res64: 32C8A254CB90B8FE Time : 0.0 sec. user=mdettweiler [2015-06-12 07:50:13] 899*2^1400056-1 is not prime. Res64: 21DBEE12910A2E38 Time : 0.0 sec. user=mdettweiler [2015-06-12 07:50:13] 619*2^1400057-1 is not prime. Res64: 9019822C92A36C3F Time : 0.0 sec. user=mdettweiler [2015-06-12 07:58:16] 691*2^1400057-1 is not prime. Res64: 73DE22566D64136A Time : 0.0 sec. user=mdettweiler [2015-06-12 07:58:16] 741*2^1400057-1 is not prime. Res64: C4F6FB38A46D3305 Time : 0.0 sec. user=mdettweiler [2015-06-12 07:58:42] 747*2^1400057-1 is not prime. Res64: A6A7231A0AD0DF85 Time : 0.0 sec. user=mdettweiler [2015-06-12 07:58:42] 867*2^1400057-1 is not prime. Res64: 606D14FB2714210D Time : 0.0 sec. user=mdettweiler [2015-06-12 08:01:04] 871*2^1400057-1 is not prime. Res64: 2B1F7FC863E3097B Time : 0.0 sec. user=mdettweiler [2015-06-12 08:01:05] 641*2^1400058-1 is not prime. Res64: E11D1E3F2CA64004 Time : 0.0 sec. user=mdettweiler [2015-06-12 08:07:43] 651*2^1400058-1 is not prime. Res64: B944F4121FA18BFC Time : 0.0 sec. user=mdettweiler [2015-06-12 08:07:44] 695*2^1400058-1 is not prime. Res64: 53B5D5779B8C71DE Time : 0.0 sec. user=mdettweiler [2015-06-12 08:15:56] 707*2^1400058-1 is not prime. Res64: 99C56907AA5BD6D3 Time : 0.0 sec. user=mdettweiler [2015-06-12 08:15:56] 777*2^1400058-1 is not prime. Res64: 55ACAA92022A1395 Time : 0.0 sec. user=mdettweiler [2015-06-12 08:16:16] 843*2^1400058-1 is not prime. Res64: F349D6C1C13FC5A6 Time : 0.0 sec. user=mdettweiler [2015-06-12 08:16:16] 971*2^1400058-1 is not prime. Res64: 1D1632D3CC5023DA Time : 0.0 sec. user=mdettweiler [2015-06-12 08:18:40] 977*2^1400058-1 is not prime. Res64: 1309623751007CE6 Time : 0.0 sec. user=mdettweiler [2015-06-12 08:18:41] 625*2^1400059-1 is not prime. Res64: 4D57328B90348E49 Time : 0.0 sec. user=mdettweiler [2015-06-12 08:25:17] 733*2^1400059-1 is not prime. Res64: F726BADA67F18EBF Time : 0.0 sec. user=mdettweiler [2015-06-12 08:25:17] 793*2^1400059-1 is not prime. Res64: 15553225971BC311 Time : 0.0 sec. user=mdettweiler [2015-06-12 08:33:29] 813*2^1400059-1 is not prime. Res64: 687A147D6AA22CF2 Time : 0.0 sec. user=mdettweiler [2015-06-12 08:33:29] 829*2^1400059-1 is not prime. Res64: 4059193C7BD58451 Time : 0.0 sec. user=mdettweiler [2015-06-12 08:33:57] 985*2^1400059-1 is not prime. Res64: 35DB18C88F9CBE86 Time : 0.0 sec. user=mdettweiler [2015-06-12 08:33:57] 999*2^1400059-1 is not prime. Res64: 5D7F12EE999D4F48 Time : 0.0 sec. user=mdettweiler [2015-06-12 08:36:11] 605*2^1400060-1 is not prime. Res64: E8B27B1A59DD02E9 Time : 0.0 sec. user=mdettweiler [2015-06-12 08:36:11] 635*2^1400060-1 is not prime. Res64: 26C6F7293055C43C Time : 0.0 sec. user=mdettweiler [2015-06-12 08:42:58] 759*2^1400060-1 is not prime. Res64: 6A32FC30D098BB68 Time : 0.0 sec. user=mdettweiler [2015-06-12 08:42:58] 777*2^1400060-1 is not prime. Res64: 073DF84D76E8EE98 Time : 0.0 sec. user=mdettweiler [2015-06-12 08:51:10] 819*2^1400060-1 is not prime. Res64: E051F28CA3C5A8A7 Time : 0.0 sec. user=mdettweiler [2015-06-12 08:51:11] 855*2^1400060-1 is not prime. Res64: CB76AFE3DD76278B Time : 0.0 sec. user=mdettweiler [2015-06-12 08:51:38] 685*2^1400061-1 is not prime. Res64: 3E22374475DBE840 Time : 0.0 sec. user=mdettweiler [2015-06-12 08:51:39] 745*2^1400061-1 is not prime. Res64: 827A7D8841EB1E21 Time : 0.0 sec. user=mdettweiler [2015-06-12 08:53:37] 975*2^1400061-1 is not prime. Res64: 381345955A661A9A Time : 0.0 sec. user=mdettweiler [2015-06-12 08:53:37] 999*2^1400061-1 is not prime. Res64: 4E0633B9B62905FC Time : 0.0 sec. user=mdettweiler [2015-06-12 09:00:34] 713*2^1400062-1 is not prime. Res64: E131851ED0976BAC Time : 0.0 sec. user=mdettweiler [2015-06-12 09:00:36] 777*2^1400062-1 is not prime. Res64: 3A1077876E261E2A Time : 0.0 sec. user=mdettweiler [2015-06-12 09:08:49] 791*2^1400062-1 is not prime. Res64: 536D55DE5204A6AE Time : 0.0 sec. user=mdettweiler [2015-06-12 09:08:50] 873*2^1400062-1 is not prime. Res64: 099A2E131DE70C14 Time : 0.0 sec. user=mdettweiler [2015-06-12 09:09:07] 915*2^1400062-1 is not prime. Res64: D252CDE9E1BEABAE Time : 0.0 sec. user=mdettweiler [2015-06-12 09:09:07] 995*2^1400062-1 is not prime. Res64: 1E0FE204617779FE Time : 0.0 sec. user=mdettweiler [2015-06-12 09:11:22] 609*2^1400063-1 is not prime. Res64: CB518A9CC402380F Time : 0.0 sec. user=mdettweiler [2015-06-12 09:11:22] 615*2^1400063-1 is not prime. Res64: 174F588F6C2BACD5 Time : 0.0 sec. user=mdettweiler [2015-06-12 09:18:26] 693*2^1400063-1 is not prime. Res64: 679CF6DC70E932FE Time : 0.0 sec. user=mdettweiler [2015-06-12 09:18:26] 775*2^1400063-1 is not prime. Res64: 029821BDED7CB2E3 Time : 0.0 sec. user=mdettweiler [2015-06-12 09:26:42] 871*2^1400063-1 is not prime. Res64: 9A7879CE38410F92 Time : 0.0 sec. user=mdettweiler [2015-06-12 09:26:42] 895*2^1400063-1 is not prime. Res64: 8E3E504C085F2A3D Time : 0.0 sec. user=mdettweiler [2015-06-12 09:27:06] 949*2^1400063-1 is not prime. Res64: 57A3DE117C1FB8CB Time : 0.0 sec. user=mdettweiler [2015-06-12 09:27:06] 963*2^1400063-1 is not prime. Res64: F432C7F5E6C82C69 Time : 0.0 sec. user=mdettweiler [2015-06-12 09:29:08] 863*2^1400064-1 is not prime. Res64: 50E996401B273D70 Time : 0.0 sec. user=mdettweiler [2015-06-12 09:29:08] 607*2^1400065-1 is not prime. Res64: F0C94540E575B13C Time : 0.0 sec. user=mdettweiler [2015-06-12 09:36:14] 625*2^1400065-1 is not prime. Res64: 7BA90A414B303F30 Time : 0.0 sec. user=mdettweiler [2015-06-12 09:36:14] 675*2^1400065-1 is not prime. Res64: 7ECD7EE61C1E80AF Time : 0.0 sec. user=mdettweiler [2015-06-12 09:44:34] 877*2^1400065-1 is not prime. Res64: 8FB913036246177E Time : 0.0 sec. user=mdettweiler [2015-06-12 09:44:34] 885*2^1400065-1 is not prime. Res64: 7CB96ED575E8FB3C Time : 0.0 sec. user=mdettweiler [2015-06-12 09:44:52] 957*2^1400065-1 is not prime. Res64: 3DC3B65248A208FA Time : 0.0 sec. user=mdettweiler [2015-06-12 09:44:52] 987*2^1400065-1 is not prime. Res64: 845F908E6F70FB82 Time : 0.0 sec. user=mdettweiler [2015-06-12 09:47:00] 711*2^1400066-1 is not prime. Res64: E9FD96ABB92C52F5 Time : 0.0 sec. user=mdettweiler [2015-06-12 09:47:00] 713*2^1400066-1 is not prime. Res64: A030591194655D58 Time : 0.0 sec. user=mdettweiler [2015-06-12 09:54:08] 741*2^1400066-1 is not prime. Res64: 5AB3E3F4A82325E7 Time : 0.0 sec. user=mdettweiler [2015-06-12 09:54:08] 773*2^1400066-1 is not prime. Res64: BDE554A3C7120D3C Time : 0.0 sec. user=mdettweiler [2015-06-12 10:02:52] 831*2^1400066-1 is not prime. Res64: 1CB4514CDFA16B2E Time : 0.0 sec. user=mdettweiler [2015-06-12 10:02:54] 873*2^1400066-1 is not prime. Res64: 2B49451F7818FFDB Time : 0.0 sec. user=mdettweiler [2015-06-12 10:03:04] 875*2^1400066-1 is not prime. Res64: 4E74729DFFADB7C4 Time : 0.0 sec. user=mdettweiler [2015-06-12 10:03:05] 639*2^1400067-1 is not prime. Res64: 7E61649538F3F0A6 Time : 0.0 sec. user=mdettweiler [2015-06-12 10:05:33] 675*2^1400067-1 is not prime. Res64: 26FCDF52018EFABC Time : 0.0 sec. user=mdettweiler [2015-06-12 10:05:35] 691*2^1400067-1 is not prime. Res64: 143752B66A096ECB Time : 0.0 sec. user=mdettweiler [2015-06-12 10:13:23] 793*2^1400067-1 is not prime. Res64: 1C7EA01C8A4308E0 Time : 0.0 sec. user=mdettweiler [2015-06-12 10:13:24] 629*2^1400068-1 is not prime. Res64: ADCEA72BBD09478C Time : 0.0 sec. user=mdettweiler [2015-06-12 10:22:59] 707*2^1400068-1 is not prime. Res64: 9448975BCD8929E1 Time : 0.0 sec. user=mdettweiler [2015-06-12 10:22:59] 819*2^1400068-1 is not prime. Res64: 34BC4D49CE0A25DB Time : 0.0 sec. user=mdettweiler [2015-06-12 10:23:04] 923*2^1400068-1 is not prime. Res64: 248F118A5D3C9F07 Time : 0.0 sec. user=mdettweiler [2015-06-12 10:23:04] 615*2^1400069-1 is not prime. Res64: B8FDCD999D5EF746 Time : 0.0 sec. user=mdettweiler [2015-06-12 10:26:10] 631*2^1400069-1 is not prime. Res64: 99818B8231EE166A Time : 0.0 sec. user=mdettweiler [2015-06-12 10:26:10] 675*2^1400069-1 is not prime. Res64: 635740088CF7EA86 Time : 0.0 sec. user=mdettweiler [2015-06-12 10:34:13] 771*2^1400069-1 is not prime. Res64: ECA17EF54E4455BC Time : 0.0 sec. user=mdettweiler [2015-06-12 10:34:13] 865*2^1400069-1 is not prime. Res64: D4C2DB2725B8EDF7 Time : 0.0 sec. user=mdettweiler [2015-06-12 10:44:46] 927*2^1400069-1 is not prime. Res64: 45FC5D61B72D0C9B Time : 0.0 sec. user=mdettweiler [2015-06-12 10:44:46] 969*2^1400069-1 is not prime. Res64: A87A99C97908609A Time : 0.0 sec. user=mdettweiler [2015-06-12 10:45:21] 741*2^1400070-1 is not prime. Res64: 2844080AED71CEE1 Time : 0.0 sec. user=mdettweiler [2015-06-12 10:45:22] 777*2^1400070-1 is not prime. Res64: 830B7578B56932F8 Time : 0.0 sec. user=mdettweiler [2015-06-12 10:47:54] 887*2^1400070-1 is not prime. Res64: 9D696A3C932F0F05 Time : 0.0 sec. user=mdettweiler [2015-06-12 10:47:54] 971*2^1400070-1 is not prime. Res64: CE2402A68458F481 Time : 0.0 sec. user=mdettweiler [2015-06-12 10:56:24] 603*2^1400071-1 is not prime. Res64: B9BEC331059A11B7 Time : 0.0 sec. user=mdettweiler [2015-06-12 10:56:24] 619*2^1400071-1 is not prime. Res64: 9D5EC1558EFB0690 Time : 0.0 sec. user=mdettweiler [2015-06-12 11:05:58] 649*2^1400071-1 is not prime. Res64: DA950AACD355CF64 Time : 0.0 sec. user=mdettweiler [2015-06-12 11:05:59] 709*2^1400071-1 is not prime. Res64: CF599D14083B5448 Time : 0.0 sec. user=mdettweiler [2015-06-12 11:06:39] 805*2^1400071-1 is not prime. Res64: D81C7DFC430ADFAC Time : 0.0 sec. user=mdettweiler [2015-06-12 11:06:39] 861*2^1400071-1 is not prime. Res64: 5567EDD4D94DBA4D Time : 0.0 sec. user=mdettweiler [2015-06-12 11:09:08] 615*2^1400072-1 is not prime. Res64: 06611BB2B57C48E4 Time : 0.0 sec. user=mdettweiler [2015-06-12 11:09:08] 665*2^1400072-1 is not prime. Res64: 04CDED6D57A16637 Time : 0.0 sec. user=mdettweiler [2015-06-12 11:16:37] 683*2^1400072-1 is not prime. Res64: 284EECEB4721B3FF Time : 0.0 sec. user=mdettweiler [2015-06-12 11:16:37] 855*2^1400072-1 is not prime. Res64: E82B8165633A9A99 Time : 0.0 sec. user=mdettweiler [2015-06-12 11:25:13] 679*2^1400073-1 is not prime. Res64: F69D48ED7C077DF1 Time : 0.0 sec. user=mdettweiler [2015-06-12 11:25:13] 735*2^1400073-1 is not prime. Res64: E0815119E7C8BF60 Time : 0.0 sec. user=mdettweiler [2015-06-12 11:26:08] 739*2^1400073-1 is not prime. Res64: 9BA991A5A4AA4880 Time : 0.0 sec. user=mdettweiler [2015-06-12 11:26:08] 817*2^1400073-1 is not prime. Res64: 2E289BE793AFD65D Time : 0.0 sec. user=mdettweiler [2015-06-12 11:28:50] 985*2^1400073-1 is not prime. Res64: 9FE9B583A60C8FC7 Time : 0.0 sec. user=mdettweiler [2015-06-12 11:28:50] 621*2^1400074-1 is not prime. Res64: F71520D9C8FBCA6B Time : 0.0 sec. user=juhehe [2015-06-12 11:31:47] 903*2^1400072-1 is not prime. Res64: 7689B9900B45B94A Time : 0.0 sec. user=mdettweiler [2015-06-12 11:36:12] 665*2^1400074-1 is not prime. Res64: 458E1DEE3769EC97 Time : 0.0 sec. user=mdettweiler [2015-06-12 11:36:12] 755*2^1400074-1 is not prime. Res64: E31B2708E47BE5D4 Time : 0.0 sec. user=mdettweiler [2015-06-12 11:44:56] 765*2^1400074-1 is not prime. Res64: 80BF8F46A065948F Time : 0.0 sec. user=mdettweiler [2015-06-12 11:44:56] 857*2^1400074-1 is not prime. Res64: ABCA18360D6097FF Time : 0.0 sec. user=mdettweiler [2015-06-12 11:46:02] 947*2^1400074-1 is not prime. Res64: 9DF04A5BA722FCCB Time : 0.0 sec. user=mdettweiler [2015-06-12 11:46:02] 951*2^1400074-1 is not prime. Res64: 94BAFA2C033D2B8B Time : 0.0 sec. user=mdettweiler [2015-06-12 11:48:40] 663*2^1400075-1 is not prime. Res64: F5A7DE305B481B36 Time : 0.0 sec. user=mdettweiler [2015-06-12 11:48:40] 685*2^1400075-1 is not prime. Res64: BCEBD007D716338E Time : 0.0 sec. user=mdettweiler [2015-06-12 11:56:07] 823*2^1400075-1 is not prime. Res64: F1C523B713581848 Time : 0.0 sec. user=mdettweiler [2015-06-12 11:56:07] 969*2^1400075-1 is not prime. Res64: CB8810381ECAE58F Time : 0.0 sec. user=mdettweiler [2015-06-12 12:04:55] 735*2^1400076-1 is not prime. Res64: 2931078A8F9DFDD4 Time : 0.0 sec. user=mdettweiler [2015-06-12 12:04:56] 737*2^1400076-1 is not prime. Res64: 9F6D648719020E01 Time : 0.0 sec. user=mdettweiler [2015-06-12 12:05:24] 773*2^1400076-1 is not prime. Res64: A13B4042E89175CA Time : 0.0 sec. user=mdettweiler [2015-06-12 12:05:24] 843*2^1400076-1 is not prime. Res64: 4C1E9A9B85602F74 Time : 0.0 sec. user=mdettweiler [2015-06-12 12:08:53] 893*2^1400076-1 is not prime. Res64: BF48E5B19359BFAD Time : 0.0 sec. user=mdettweiler [2015-06-12 12:08:53] 983*2^1400076-1 is not prime. Res64: 2647D99DD03E3718 Time : 0.0 sec. user=mdettweiler [2015-06-12 12:15:33] 999*2^1400076-1 is not prime. Res64: 24A727BD25100022 Time : 0.0 sec. user=mdettweiler [2015-06-12 12:15:33] 639*2^1400077-1 is not prime. Res64: A318432B2AE135E9 Time : 0.0 sec. user=mdettweiler [2015-06-12 12:24:02] 717*2^1400077-1 is not prime. Res64: 4F2EC9450B61F154 Time : 0.0 sec. user=mdettweiler [2015-06-12 12:24:02] 747*2^1400077-1 is not prime. Res64: F2B06AB6515B44AA Time : 0.0 sec. user=mdettweiler [2015-06-12 12:24:15] 799*2^1400077-1 is not prime. Res64: 3942E714DD69C549 Time : 0.0 sec. user=mdettweiler [2015-06-12 12:24:15] 937*2^1400077-1 is not prime. Res64: D13463C696CEFC5E Time : 0.0 sec. user=mdettweiler [2015-06-12 12:27:04] 605*2^1400078-1 is not prime. Res64: 250106A59CAC3C46 Time : 0.0 sec. user=mdettweiler [2015-06-12 12:27:04] 767*2^1400078-1 is not prime. Res64: E24F6676349002CD Time : 0.0 sec. user=mdettweiler [2015-06-12 12:33:29] 771*2^1400078-1 is not prime. Res64: C63CECDA0AF99276 Time : 0.0 sec. user=mdettweiler [2015-06-12 12:33:30] 813*2^1400078-1 is not prime. Res64: 07BC63B604C5EE0F Time : 0.0 sec. user=mdettweiler [2015-06-12 12:42:30] 663*2^1400079-1 is not prime. Res64: 676043753B90F867 Time : 0.0 sec. user=mdettweiler [2015-06-12 12:42:30] 793*2^1400079-1 is not prime. Res64: 446BF0E64CD7E91B Time : 0.0 sec. user=mdettweiler [2015-06-12 12:42:48] 875*2^1400078-1 is not prime. Res64: 46BCB8B195EB65B3 Time : 0.0 sec. user=mdettweiler [2015-06-12 12:42:49] 893*2^1400078-1 is not prime. Res64: 8CAAD0B05170A4B8 Time : 0.0 sec. user=mdettweiler [2015-06-12 12:46:22] 973*2^1400079-1 is not prime. Res64: DD2B0F965F50F148 Time : 0.0 sec. user=mdettweiler [2015-06-12 12:46:22] 609*2^1400080-1 is not prime. Res64: 8A457447D208D17F Time : 0.0 sec. user=mdettweiler [2015-06-12 12:52:49] 615*2^1400080-1 is not prime. Res64: B7E8CCE785383AE1 Time : 0.0 sec. user=mdettweiler [2015-06-12 12:52:49] 623*2^1400080-1 is not prime. Res64: C39825C162ECE69E Time : 0.0 sec. user=mdettweiler [2015-06-12 13:00:48] 653*2^1400080-1 is not prime. Res64: 67D94592A9712D79 Time : 0.0 sec. user=mdettweiler [2015-06-12 13:00:49] 677*2^1400080-1 is not prime. Res64: 24510C1D2B38F803 Time : 0.0 sec. user=mdettweiler [2015-06-12 13:01:43] 695*2^1400080-1 is not prime. Res64: CB6CA9C39CDEC320 Time : 0.0 sec. user=mdettweiler [2015-06-12 13:01:43] 765*2^1400080-1 is not prime. Res64: 816843E369D79AA3 Time : 0.0 sec. user=mdettweiler [2015-06-12 13:04:20] 827*2^1400080-1 is not prime. Res64: AE1E872CF8591185 Time : 0.0 sec. user=mdettweiler [2015-06-12 13:04:21] 923*2^1400080-1 is not prime. Res64: 026EF68CE676B98F Time : 0.0 sec. user=mdettweiler [2015-06-12 13:10:37] 927*2^1400080-1 is not prime. Res64: 4C554294785DDE39 Time : 0.0 sec. user=mdettweiler [2015-06-12 13:10:37] 989*2^1400080-1 is not prime. Res64: 16A3B1A426968E94 Time : 0.0 sec. user=mdettweiler [2015-06-12 13:18:47] 995*2^1400080-1 is not prime. Res64: 6A96BBE2A41B7A95 Time : 0.0 sec. user=mdettweiler [2015-06-12 13:18:48] 607*2^1400081-1 is not prime. Res64: 1C7DE7127891C03E Time : 0.0 sec. user=mdettweiler [2015-06-12 13:19:44] 645*2^1400081-1 is not prime. Res64: 67F42DFFF73A7A18 Time : 0.0 sec. user=mdettweiler [2015-06-12 13:19:44] 685*2^1400081-1 is not prime. Res64: DDF10411889F73AC Time : 0.0 sec. user=mdettweiler [2015-06-12 13:22:27] 775*2^1400081-1 is not prime. Res64: 409531D153422C84 Time : 0.0 sec. user=mdettweiler [2015-06-12 13:22:28] 901*2^1400081-1 is not prime. Res64: F482C96EF23A0EBB Time : 0.0 sec. user=mdettweiler [2015-06-12 13:28:50] 949*2^1400081-1 is not prime. Res64: 469F6B4A83A20AC7 Time : 0.0 sec. user=mdettweiler [2015-06-12 13:28:51] 979*2^1400081-1 is not prime. Res64: D8208921126DCB0D Time : 0.0 sec. user=mdettweiler [2015-06-12 13:36:47] 633*2^1400082-1 is not prime. Res64: 055C4621B8F4E928 Time : 0.0 sec. user=mdettweiler [2015-06-12 13:36:48] 651*2^1400082-1 is not prime. Res64: 8388935E1D92F73B Time : 0.0 sec. user=mdettweiler [2015-06-12 13:37:35] 767*2^1400082-1 is not prime. Res64: CEC04EC28030EA90 Time : 0.0 sec. user=mdettweiler [2015-06-12 13:37:35] 833*2^1400082-1 is not prime. Res64: C8465ECD53BC36F0 Time : 0.0 sec. user=mdettweiler [2015-06-12 13:40:16] 705*2^1400083-1 is not prime. Res64: 117830B577442BAF Time : 0.0 sec. user=mdettweiler [2015-06-12 13:40:16] 723*2^1400083-1 is not prime. Res64: 28E25A9FBF849E99 Time : 0.0 sec. user=mdettweiler [2015-06-12 13:46:53] 853*2^1400083-1 is not prime. Res64: AA01489AF1871E76 Time : 0.0 sec. user=mdettweiler [2015-06-12 13:46:53] 913*2^1400083-1 is not prime. Res64: 1F5FA541AA745A1A Time : 0.0 sec. user=mdettweiler [2015-06-12 13:54:45] 915*2^1400083-1 is not prime. Res64: 5D5E0584C4165A9D Time : 0.0 sec. user=mdettweiler [2015-06-12 13:54:46] 615*2^1400084-1 is not prime. Res64: 89243E876E9B8499 Time : 0.0 sec. user=mdettweiler [2015-06-12 13:55:31] 617*2^1400084-1 is not prime. Res64: A6E58FB4D88825CD Time : 0.0 sec. user=mdettweiler [2015-06-12 13:55:31] 719*2^1400084-1 is not prime. Res64: 4D03546559E4DA38 Time : 0.0 sec. user=mdettweiler [2015-06-12 13:58:10] 819*2^1400084-1 is not prime. Res64: 2D878B57263CECD2 Time : 0.0 sec. user=mdettweiler [2015-06-12 13:58:10] 873*2^1400084-1 is not prime. Res64: 69AAF979F1B0643A Time : 0.0 sec. user=mdettweiler [2015-06-12 14:04:49] 909*2^1400084-1 is not prime. Res64: 3D2F59EC51804583 Time : 0.0 sec. user=mdettweiler [2015-06-12 14:04:52] 959*2^1400084-1 is not prime. Res64: B63FCD59D0F2C52F Time : 0.0 sec. user=mdettweiler [2015-06-12 14:12:52] 831*2^1400085-1 is not prime. Res64: 0609743A8B1EE807 Time : 0.0 sec. user=mdettweiler [2015-06-12 14:12:52] 645*2^1400086-1 is not prime. Res64: 1C79884B06C45798 Time : 0.0 sec. user=mdettweiler [2015-06-12 14:13:22] 657*2^1400086-1 is not prime. Res64: ED6EA6A9680E6A41 Time : 0.0 sec. user=mdettweiler [2015-06-12 14:13:23] 717*2^1400086-1 is not prime. Res64: FE6253E70BECA14B Time : 0.0 sec. user=mdettweiler [2015-06-12 14:16:01] 857*2^1400086-1 is not prime. Res64: DF7532F768468EB4 Time : 0.0 sec. user=mdettweiler [2015-06-12 14:16:02] 861*2^1400086-1 is not prime. Res64: 797F16DDECFD0D6E Time : 0.0 sec. user=mdettweiler [2015-06-12 14:23:28] 933*2^1400086-1 is not prime. Res64: B52E44465576D38A Time : 0.0 sec. user=mdettweiler [2015-06-12 14:23:29] 945*2^1400086-1 is not prime. Res64: 3BC3DEBE3F3A3A69 Time : 0.0 sec. user=mdettweiler [2015-06-12 14:30:50] 987*2^1400086-1 is not prime. Res64: C0D67EB3BA8C6C8D Time : 0.0 sec. user=mdettweiler [2015-06-12 14:30:50] 993*2^1400086-1 is not prime. Res64: BB6D611A9425A6F2 Time : 0.0 sec. user=mdettweiler [2015-06-12 14:31:14] 643*2^1400087-1 is not prime. Res64: 947913C7E4AEDF48 Time : 0.0 sec. user=mdettweiler [2015-06-12 14:31:14] 673*2^1400087-1 is not prime. Res64: C6B617D6222A3982 Time : 0.0 sec. user=mdettweiler [2015-06-12 14:34:04] 705*2^1400087-1 is not prime. Res64: 219183DF3569B4A9 Time : 0.0 sec. user=mdettweiler [2015-06-12 14:34:04] 735*2^1400087-1 is not prime. Res64: CFFE9C62BD3825F9 Time : 0.0 sec. user=mdettweiler [2015-06-12 14:41:17] 805*2^1400087-1 is not prime. Res64: 22165CA7470BD57C Time : 0.0 sec. user=mdettweiler [2015-06-12 14:41:17] 889*2^1400087-1 is not prime. Res64: C83EC72CD4FEDCFD Time : 0.0 sec. user=mdettweiler [2015-06-12 14:48:49] 627*2^1400088-1 is not prime. Res64: 30AF870A2CA6CA9E Time : 0.0 sec. user=mdettweiler [2015-06-12 14:48:50] 773*2^1400088-1 is not prime. Res64: D6906B9B8689E064 Time : 0.0 sec. user=mdettweiler [2015-06-12 14:48:51] 895*2^1400087-1 is not prime. Res64: ADDF0E4006DA926E Time : 0.0 sec. user=mdettweiler [2015-06-12 14:48:51] 963*2^1400087-1 is not prime. Res64: 5D5CB4F1AB4F982A Time : 0.0 sec. user=mdettweiler [2015-06-12 14:51:53] 893*2^1400088-1 is not prime. Res64: 246218DD9D09F3FB Time : 0.0 sec. user=mdettweiler [2015-06-12 14:51:53] 915*2^1400088-1 is not prime. Res64: 25CF640CE7B5710A Time : 0.0 sec. user=mdettweiler [2015-06-12 14:58:57] 923*2^1400088-1 is not prime. Res64: 797DBD6A248E1D44 Time : 0.0 sec. user=mdettweiler [2015-06-12 14:58:58] 649*2^1400089-1 is not prime. Res64: 0161E06EC74D9029 Time : 0.0 sec. user=mdettweiler [2015-06-12 15:06:31] 801*2^1400089-1 is not prime. Res64: 10727AC7F1755EF7 Time : 0.0 sec. user=mdettweiler [2015-06-12 15:06:32] 895*2^1400089-1 is not prime. Res64: C97EFEF956FF49D4 Time : 0.0 sec. user=mdettweiler [2015-06-12 15:06:39] 729*2^1400089-1 is not prime. Res64: 270D00136D608401 Time : 0.0 sec. user=mdettweiler [2015-06-12 15:06:39] 769*2^1400089-1 is not prime. Res64: CB948D161814FAF5 Time : 0.0 sec. user=mdettweiler [2015-06-12 15:09:36] 897*2^1400089-1 is not prime. Res64: E2DEF0421362AA5D Time : 0.0 sec. user=mdettweiler [2015-06-12 15:09:36] 657*2^1400090-1 is not prime. Res64: EFE60C7FEE483552 Time : 0.0 sec. user=mdettweiler [2015-06-12 15:16:46] 785*2^1400090-1 is not prime. Res64: 715F9E43F6D918A4 Time : 0.0 sec. user=mdettweiler [2015-06-12 15:16:47] 679*2^1400091-1 is not prime. Res64: 4289DDC7D6C75DF5 Time : 0.0 sec. user=mdettweiler [2015-06-12 15:24:30] 705*2^1400091-1 is not prime. Res64: FC2DEC186F07A88C Time : 0.0 sec. user=mdettweiler [2015-06-12 15:24:30] 751*2^1400091-1 is not prime. Res64: CB7BB1D1B44C4140 Time : 0.0 sec. user=mdettweiler [2015-06-12 15:24:35] 801*2^1400091-1 is not prime. Res64: DF2B0E8E3B252B9A Time : 0.0 sec. user=mdettweiler [2015-06-12 15:24:35] 895*2^1400091-1 is not prime. Res64: A9326DFE28B04B11 Time : 0.0 sec. user=mdettweiler [2015-06-12 15:27:20] 909*2^1400091-1 is not prime. Res64: 29A382CB4EFA1699 Time : 0.0 sec. user=mdettweiler [2015-06-12 15:27:20] 961*2^1400091-1 is not prime. Res64: F4167E299A3335B6 Time : 0.0 sec. user=mdettweiler [2015-06-12 15:34:31] 609*2^1400092-1 is not prime. Res64: 071767C0D946BAD6 Time : 0.0 sec. user=mdettweiler [2015-06-12 15:34:31] 647*2^1400092-1 is not prime. Res64: 5FC99296C4BAD758 Time : 0.0 sec. user=mdettweiler [2015-06-12 15:42:11] 687*2^1400092-1 is not prime. Res64: B76AABBA7F1F117B Time : 0.0 sec. user=mdettweiler [2015-06-12 15:42:11] 693*2^1400092-1 is not prime. Res64: 3BB5A2C35CBB0A07 Time : 0.0 sec. user=mdettweiler [2015-06-12 15:42:24] 803*2^1400092-1 is not prime. Res64: B466E44788A707A2 Time : 0.0 sec. user=mdettweiler [2015-06-12 15:42:25] 885*2^1400092-1 is not prime. Res64: B5310F71483F0AE5 Time : 0.0 sec. user=mdettweiler [2015-06-12 15:45:01] 903*2^1400092-1 is not prime. Res64: 3779DE027D04B677 Time : 0.0 sec. user=mdettweiler [2015-06-12 15:45:01] 621*2^1400093-1 is not prime. Res64: B5D9643CA92218E7 Time : 0.0 sec. user=mdettweiler [2015-06-12 15:52:19] 651*2^1400093-1 is not prime. Res64: EA1FB2EF43CA02C2 Time : 0.0 sec. user=mdettweiler [2015-06-12 15:52:19] 697*2^1400093-1 is not prime. Res64: 3558670B7A1B93E7 Time : 0.0 sec. user=mdettweiler [2015-06-12 15:59:59] 801*2^1400093-1 is not prime. Res64: 183365D15A15802E Time : 0.0 sec. user=mdettweiler [2015-06-12 15:59:59] 939*2^1400093-1 is not prime. Res64: A9EE8F28C98BF1B3 Time : 0.0 sec. user=mdettweiler [2015-06-12 16:00:03] 945*2^1400093-1 is not prime. Res64: 0635E7CC1AF8F69B Time : 0.0 sec. user=mdettweiler [2015-06-12 16:00:03] 967*2^1400093-1 is not prime. Res64: 2E1983B2F5315AAB Time : 0.0 sec. user=mdettweiler [2015-06-12 16:02:49] 969*2^1400093-1 is not prime. Res64: 298897A8C115869E Time : 0.0 sec. user=mdettweiler [2015-06-12 16:02:51] 605*2^1400094-1 is not prime. Res64: 82877DAA5745D119 Time : 0.0 sec. user=mdettweiler [2015-06-12 16:10:09] 657*2^1400094-1 is not prime. Res64: CF5DEC55ECE1D517 Time : 0.0 sec. user=mdettweiler [2015-06-12 16:10:09] 725*2^1400094-1 is not prime. Res64: 01F008DC9BEA25FE Time : 0.0 sec. user=mdettweiler [2015-06-12 16:18:09] 885*2^1400094-1 is not prime. Res64: EE5E5166E7506606 Time : 0.0 sec. user=mdettweiler [2015-06-12 16:18:10] 917*2^1400094-1 is not prime. Res64: 551ADA4B8050837B Time : 0.0 sec. user=mdettweiler [2015-06-12 16:18:11] 741*2^1400095-1 is not prime. Res64: 793A4F537DAA5729 Time : 0.0 sec. user=mdettweiler [2015-06-12 16:18:11] 849*2^1400095-1 is not prime. Res64: 3CE788BD5BF44D4E Time : 0.0 sec. user=mdettweiler [2015-06-12 16:21:05] 861*2^1400095-1 is not prime. Res64: F88FBF16DE6D7D8E Time : 0.0 sec. user=mdettweiler [2015-06-12 16:21:06] 951*2^1400095-1 is not prime. Res64: B8A23A0E24DF9499 Time : 0.0 sec. user=mdettweiler [2015-06-12 16:28:13] 969*2^1400095-1 is not prime. Res64: 42CC5CE2578470AC Time : 0.0 sec. user=mdettweiler [2015-06-12 16:28:14] 973*2^1400095-1 is not prime. Res64: 0AB38D5E00593A4E Time : 0.0 sec. user=mdettweiler [2015-06-12 16:35:32] 623*2^1400096-1 is not prime. Res64: AABF643EB584C39F Time : 0.0 sec. user=mdettweiler [2015-06-12 16:35:32] 633*2^1400096-1 is not prime. Res64: 230F55FA4DBC7F30 Time : 0.0 sec. user=mdettweiler [2015-06-12 16:35:40] 677*2^1400096-1 is not prime. Res64: 1C7A93417600DC18 Time : 0.0 sec. user=mdettweiler [2015-06-12 16:35:40] 759*2^1400096-1 is not prime. Res64: 6554D0247F089CF2 Time : 0.0 sec. user=mdettweiler [2015-06-12 16:38:25] 789*2^1400096-1 is not prime. Res64: 91DB35B1D80DE616 Time : 0.0 sec. user=mdettweiler [2015-06-12 16:38:26] 815*2^1400096-1 is not prime. Res64: 2922B5D0B1492C15 Time : 0.0 sec. user=mdettweiler [2015-06-12 16:45:33] 833*2^1400096-1 is not prime. Res64: 2AE8E5F4E82506B0 Time : 0.0 sec. user=mdettweiler [2015-06-12 16:45:33] 909*2^1400096-1 is not prime. Res64: 58D74DE1860E0944 Time : 0.0 sec. user=mdettweiler [2015-06-12 16:52:51] 627*2^1400097-1 is not prime. Res64: 3B4DA30F70ABF388 Time : 0.0 sec. user=mdettweiler [2015-06-12 16:52:52] 667*2^1400097-1 is not prime. Res64: A97A12E675C84C22 Time : 0.0 sec. user=mdettweiler [2015-06-12 16:53:01] 735*2^1400097-1 is not prime. Res64: C11C5786E21B339E Time : 0.0 sec. user=mdettweiler [2015-06-12 16:53:02] 865*2^1400097-1 is not prime. Res64: 4CB8E203F2DE022D Time : 0.0 sec. user=mdettweiler [2015-06-12 16:55:47] 937*2^1400097-1 is not prime. Res64: 1BAB67FC52F086F9 Time : 0.0 sec. user=mdettweiler [2015-06-12 16:55:48] 997*2^1400097-1 is not prime. Res64: 70D890AD2F9F57A4 Time : 0.0 sec. user=mdettweiler [2015-06-12 17:03:03] 623*2^1400098-1 is not prime. Res64: 0DE28706CA9379EB Time : 0.0 sec. user=mdettweiler [2015-06-12 17:03:05] 657*2^1400098-1 is not prime. Res64: 9575425E2B6E533C Time : 0.0 sec. user=mdettweiler [2015-06-12 17:10:20] 687*2^1400098-1 is not prime. Res64: 1581879B70BAFC3E Time : 0.0 sec. user=mdettweiler [2015-06-12 17:10:20] 915*2^1400098-1 is not prime. Res64: 96C30956E3161479 Time : 0.0 sec. user=mdettweiler [2015-06-12 17:10:23] 609*2^1400099-1 is not prime. Res64: 75F3B8E9AC259CBE Time : 0.0 sec. user=mdettweiler [2015-06-12 17:10:24] 645*2^1400099-1 is not prime. Res64: 5D520A915266BC9C Time : 0.0 sec. user=mdettweiler [2015-06-12 17:13:10] 655*2^1400099-1 is not prime. Res64: 506EA9E32ADF8631 Time : 0.0 sec. user=mdettweiler [2015-06-12 17:13:10] 861*2^1400099-1 is not prime. Res64: 7BAC40EA394C73C1 Time : 0.0 sec. user=mdettweiler [2015-06-12 17:20:41] 949*2^1400099-1 is not prime. Res64: 8EFECC808674AF7A Time : 0.0 sec. user=mdettweiler [2015-06-12 17:20:42] 979*2^1400099-1 is not prime. Res64: 86CE86918A0900E4 Time : 0.0 sec. user=mdettweiler [2015-06-12 17:27:45] 669*2^1400100-1 is not prime. Res64: ABF0B826E196BA91 Time : 0.0 sec. user=mdettweiler [2015-06-12 17:27:46] 689*2^1400100-1 is not prime. Res64: A01BFBCC50032BD1 Time : 0.0 sec. user=mdettweiler [2015-06-12 17:27:46] 707*2^1400100-1 is not prime. Res64: 583337286FEEFF17 Time : 0.0 sec. user=mdettweiler [2015-06-12 17:27:47] 737*2^1400100-1 is not prime. Res64: F7DBBDC61EF52EA1 Time : 0.0 sec. user=mdettweiler [2015-06-12 17:30:27] 839*2^1400100-1 is not prime. Res64: BD6C16DCE2828911 Time : 0.0 sec. user=mdettweiler [2015-06-12 17:30:27] 887*2^1400100-1 is not prime. Res64: A2A945D80E0B2857 Time : 0.0 sec. user=mdettweiler [2015-06-12 17:38:08] 965*2^1400100-1 is not prime. Res64: 4A5F8A87A5D700D5 Time : 0.0 sec. user=mdettweiler [2015-06-12 17:38:09] 649*2^1400101-1 is not prime. Res64: 94D75FE7508E92E2 Time : 0.0 sec. user=mdettweiler [2015-06-12 17:45:12] 691*2^1400101-1 is not prime. Res64: E7C9E44821FC0AD9 Time : 0.0 sec. user=mdettweiler [2015-06-12 17:45:13] 727*2^1400101-1 is not prime. Res64: 9B8655C366DA8F7A Time : 0.0 sec. user=mdettweiler [2015-06-12 17:45:13] 925*2^1400101-1 is not prime. Res64: E9CA7219FC3067F7 Time : 0.0 sec. user=mdettweiler [2015-06-12 17:45:14] 937*2^1400101-1 is not prime. Res64: 8BEE08AB99375D2E Time : 0.0 sec. user=mdettweiler [2015-06-12 17:47:47] 957*2^1400101-1 is not prime. Res64: 730FE2F9A0B9A71F Time : 0.0 sec. user=mdettweiler [2015-06-12 17:47:47] 657*2^1400102-1 is not prime. Res64: 0A7771A4516E9FC1 Time : 0.0 sec. user=mdettweiler [2015-06-12 17:55:33] 711*2^1400102-1 is not prime. Res64: 9A5555CDE058E9C2 Time : 0.0 sec. user=mdettweiler [2015-06-12 17:55:34] 743*2^1400102-1 is not prime. Res64: C645C5FA68FDF3B0 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:02:40] 857*2^1400102-1 is not prime. Res64: B16ECEF03A00E244 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:02:41] 867*2^1400102-1 is not prime. Res64: 48EC151B88C03C25 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:02:50] 965*2^1400102-1 is not prime. Res64: 268625B16C305C06 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:02:51] 781*2^1400103-1 is not prime. Res64: 310248606CB5D460 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:05:09] 609*2^1400104-1 is not prime. Res64: 57BFA8BF739130E9 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:05:10] 855*2^1400104-1 is not prime. Res64: 78991144E1C8901E Time : 0.0 sec. user=mdettweiler [2015-06-12 18:12:54] 909*2^1400104-1 is not prime. Res64: 71801B5C7367DCCF Time : 0.0 sec. user=mdettweiler [2015-06-12 18:12:55] 969*2^1400104-1 is not prime. Res64: 124B34968B196410 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:20:19] 627*2^1400105-1 is not prime. Res64: 11696ECE0442D4BF Time : 0.0 sec. user=mdettweiler [2015-06-12 18:20:19] 685*2^1400105-1 is not prime. Res64: D6521A0A62517E8C Time : 0.0 sec. user=mdettweiler [2015-06-12 18:20:27] 697*2^1400105-1 is not prime. Res64: 8545E2E8BCF3F834 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:20:27] 715*2^1400105-1 is not prime. Res64: B056BA71974F3927 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:22:32] 759*2^1400105-1 is not prime. Res64: 93341475F5128425 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:22:32] 871*2^1400105-1 is not prime. Res64: 59C280CC63A88028 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:30:15] 647*2^1400106-1 is not prime. Res64: 9F11EF804BF97761 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:30:15] 725*2^1400106-1 is not prime. Res64: 05896051D303459D Time : 0.0 sec. user=mdettweiler [2015-06-12 18:37:37] 765*2^1400106-1 is not prime. Res64: 54D0FB184783F910 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:37:37] 783*2^1400106-1 is not prime. Res64: E051A7136A01E143 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:37:46] 945*2^1400106-1 is not prime. Res64: E7AD420A040515E1 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:37:46] 693*2^1400107-1 is not prime. Res64: DAFD2A19340A1E40 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:39:52] 829*2^1400107-1 is not prime. Res64: 96FA1D41AD8DEDC1 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:39:53] 901*2^1400107-1 is not prime. Res64: 70B31D942BD3D0A8 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:47:40] 993*2^1400107-1 is not prime. Res64: 9F75898D61606C08 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:47:40] 753*2^1400108-1 is not prime. Res64: 8D183116A7A90C40 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:54:58] 777*2^1400108-1 is not prime. Res64: 630FAD17CCEF51AA Time : 0.0 sec. user=mdettweiler [2015-06-12 18:54:59] 843*2^1400108-1 is not prime. Res64: 1F5AB33E93B60C2F Time : 0.0 sec. user=mdettweiler [2015-06-12 18:55:14] 855*2^1400108-1 is not prime. Res64: 05BA15D8E221C034 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:55:14] 869*2^1400108-1 is not prime. Res64: 19C18686AD4D1DFB Time : 0.0 sec. user=mdettweiler [2015-06-12 18:57:12] 977*2^1400108-1 is not prime. Res64: ADF863B78716EE85 Time : 0.0 sec. user=mdettweiler [2015-06-12 18:57:13] 615*2^1400109-1 is not prime. Res64: 00534670EF8D2341 Time : 0.0 sec. user=mdettweiler [2015-06-12 19:05:02] 625*2^1400109-1 is not prime. Res64: 974C334DAE7FE318 Time : 0.0 sec. user=mdettweiler [2015-06-12 19:05:03] 745*2^1400109-1 is not prime. Res64: AF9DEF312992BF1C Time : 0.0 sec. user=mdettweiler [2015-06-12 19:12:21] 747*2^1400109-1 is not prime. Res64: B248F05885DFB64F Time : 0.0 sec. user=mdettweiler [2015-06-12 19:12:21] 751*2^1400109-1 is not prime. Res64: A04BCEB0B9361252 Time : 0.0 sec. user=mdettweiler [2015-06-12 19:12:36] 781*2^1400109-1 is not prime. Res64: B9F8A56EEF0F4E97 Time : 0.0 sec. user=mdettweiler [2015-06-12 19:12:36] 831*2^1400109-1 is not prime. Res64: B080795DDF528363 Time : 0.0 sec. user=mdettweiler [2015-06-12 19:14:31] 847*2^1400109-1 is not prime. Res64: 3B432BACE2A211A0 Time : 0.0 sec. user=mdettweiler [2015-06-12 19:14:32] 877*2^1400109-1 is not prime. Res64: 33D1EC4918977522 Time : 0.0 sec. user=mdettweiler [2015-06-12 19:22:57] 975*2^1400109-1 is not prime. Res64: 0C98902593EDAC3A Time : 0.0 sec. user=mdettweiler [2015-06-12 19:22:57] 665*2^1400110-1 is not prime. Res64: 1DAAFD7E09F72F73 Time : 0.0 sec. user=mdettweiler [2015-06-12 19:30:15] 713*2^1400110-1 is not prime. Res64: 0AE295A285583EB3 Time : 0.0 sec. user=mdettweiler [2015-06-12 19:30:15] 777*2^1400110-1 is not prime. Res64: 4A4C373D08C48CDE Time : 0.0 sec. user=mdettweiler [2015-06-12 19:30:33] 867*2^1400110-1 is not prime. Res64: 3F3D0AE7432BBF73 Time : 0.0 sec. user=mdettweiler [2015-06-12 19:30:33] 923*2^1400110-1 is not prime. Res64: 76ED026233B1F2A8 Time : 0.0 sec. user=mdettweiler [2015-06-12 19:32:31] 975*2^1400110-1 is not prime. Res64: 4A99AEEC9919DDE4 Time : 0.0 sec. user=mdettweiler [2015-06-12 19:32:31] 603*2^1400111-1 is not prime. Res64: 1C21A2631FCF40DA Time : 0.0 sec. user=mdettweiler [2015-06-12 19:40:48] 715*2^1400111-1 is not prime. Res64: 26735ADC82A28EF0 Time : 0.0 sec. user=mdettweiler [2015-06-12 19:40:49] 823*2^1400111-1 is not prime. Res64: C702BE364BFEF8AC Time : 0.0 sec. user=mdettweiler [2015-06-12 19:48:10] 825*2^1400111-1 is not prime. Res64: 4CB54325DA927229 Time : 0.0 sec. user=mdettweiler [2015-06-12 19:48:11] 943*2^1400111-1 is not prime. Res64: BCCCEA429E9CB663 Time : 0.0 sec. user=mdettweiler [2015-06-12 19:48:27] 797*2^1400112-1 is not prime. Res64: 8706D4D5644FC90E Time : 0.0 sec. user=mdettweiler [2015-06-12 19:48:27] 681*2^1400113-1 is not prime. Res64: 5EFDFA977E3EEC59 Time : 0.0 sec. user=mdettweiler [2015-06-12 19:50:33] 729*2^1400113-1 is not prime. Res64: 7477F1C7F3321C17 Time : 0.0 sec. user=mdettweiler [2015-06-12 19:50:33] 817*2^1400113-1 is not prime. Res64: 73FF8BF6174CA3E7 Time : 0.0 sec. user=mdettweiler [2015-06-12 19:59:45] 897*2^1400113-1 is not prime. Res64: CB24133463B7344A Time : 0.0 sec. user=mdettweiler [2015-06-12 19:59:45] 957*2^1400113-1 is not prime. Res64: A16E2B5C3DE213BA Time : 0.0 sec. user=mdettweiler [2015-06-12 20:07:23] 987*2^1400113-1 is not prime. Res64: 133A5F7C2557146B Time : 0.0 sec. user=mdettweiler [2015-06-12 20:07:23] 635*2^1400114-1 is not prime. Res64: 63703353EFA180D6 Time : 0.0 sec. user=mdettweiler [2015-06-12 20:07:35] 705*2^1400114-1 is not prime. Res64: 8487139B7FB95EC1 Time : 0.0 sec. user=mdettweiler [2015-06-12 20:07:35] 767*2^1400114-1 is not prime. Res64: 91ACC59369AAEFF2 Time : 0.0 sec. user=mdettweiler [2015-06-12 20:09:38] 837*2^1400114-1 is not prime. Res64: B9B783980A4901C0 Time : 0.0 sec. user=mdettweiler [2015-06-12 20:09:38] 885*2^1400114-1 is not prime. Res64: 3A1F70C377B26E4F Time : 0.0 sec. user=mdettweiler [2015-06-12 20:18:13] 915*2^1400114-1 is not prime. Res64: 98BC35174E1540C4 Time : 0.0 sec. user=mdettweiler [2015-06-12 20:18:14] 923*2^1400114-1 is not prime. Res64: 3FA7AA9BFD859A63 Time : 0.0 sec. user=mdettweiler [2015-06-12 20:25:12] 619*2^1400115-1 is not prime. Res64: 92DF6E5839E2B0B2 Time : 0.0 sec. user=mdettweiler [2015-06-12 20:25:12] 675*2^1400115-1 is not prime. Res64: A15C932EFCDD7CD6 Time : 0.0 sec. user=mdettweiler [2015-06-12 20:25:17] 825*2^1400115-1 is not prime. Res64: D98E378B513F2D19 Time : 0.0 sec. user=mdettweiler [2015-06-12 20:25:17] 859*2^1400115-1 is not prime. Res64: D14BB6875AF08F35 Time : 0.0 sec. user=mdettweiler [2015-06-12 20:27:12] 999*2^1400115-1 is not prime. Res64: A9F765A95AB5FF55 Time : 0.0 sec. user=mdettweiler [2015-06-12 20:27:12] 675*2^1400116-1 is not prime. Res64: E8D517DFFF4E34B8 Time : 0.0 sec. user=mdettweiler [2015-06-12 20:36:02] 695*2^1400116-1 is not prime. Res64: 37C4382DD448ED0C Time : 0.0 sec. user=mdettweiler [2015-06-12 20:36:03] 705*2^1400116-1 is not prime. Res64: 33C151E06A355F71 Time : 0.0 sec. user=mdettweiler [2015-06-12 20:43:24] 813*2^1400116-1 is not prime. Res64: D3CD585355F48E4D Time : 0.0 sec. user=mdettweiler [2015-06-12 20:43:24] 843*2^1400116-1 is not prime. Res64: 735733DBA8F152D1 Time : 0.0 sec. user=mdettweiler [2015-06-12 20:43:31] 965*2^1400116-1 is not prime. Res64: BF4BC1F188FF6389 Time : 0.0 sec. user=mdettweiler [2015-06-12 20:43:31] 989*2^1400116-1 is not prime. Res64: 6B7D2AE49086FD64 Time : 0.0 sec. user=mdettweiler [2015-06-12 20:45:33] 621*2^1400117-1 is not prime. Res64: 62315EEAD29AB2EE Time : 0.0 sec. user=mdettweiler [2015-06-12 20:45:33] 675*2^1400117-1 is not prime. Res64: 03F810BB9E3D143B Time : 0.0 sec. user=mdettweiler [2015-06-12 20:55:02] 717*2^1400117-1 is not prime. Res64: F10B753474FA7028 Time : 0.0 sec. user=mdettweiler [2015-06-12 20:55:02] 771*2^1400117-1 is not prime. Res64: 1AEAD2D6FAF21708 Time : 0.0 sec. user=mdettweiler [2015-06-12 21:01:54] 871*2^1400117-1 is not prime. Res64: C7EFA52ED4DBE73E Time : 0.0 sec. user=mdettweiler [2015-06-12 21:01:55] 879*2^1400117-1 is not prime. Res64: C4E050F9F7DEBA10 Time : 0.0 sec. user=mdettweiler [2015-06-12 21:02:12] 605*2^1400118-1 is not prime. Res64: 2C4EBD95F5D33CA5 Time : 0.0 sec. user=mdettweiler [2015-06-12 21:02:12] 641*2^1400118-1 is not prime. Res64: DB523388358D825D Time : 0.0 sec. user=mdettweiler [2015-06-12 21:04:08] 705*2^1400118-1 is not prime. Res64: C13A97519C85292F Time : 0.0 sec. user=mdettweiler [2015-06-12 21:04:09] 711*2^1400118-1 is not prime. Res64: 7F3EC81D92BDF830 Time : 0.0 sec. user=mdettweiler [2015-06-12 21:13:47] 797*2^1400118-1 is not prime. Res64: 462A90B09192ACA7 Time : 0.0 sec. user=mdettweiler [2015-06-12 21:13:48] 945*2^1400118-1 is not prime. Res64: 71E5730CA43E5A13 Time : 0.0 sec. user=mdettweiler [2015-06-12 21:21:09] 951*2^1400118-1 is not prime. Res64: C0ADE73A95365DF3 Time : 0.0 sec. user=mdettweiler [2015-06-12 21:21:09] 971*2^1400118-1 is not prime. Res64: 6A878C3FB00EC645 Time : 0.0 sec. user=mdettweiler [2015-06-12 21:21:23] 993*2^1400118-1 is not prime. Res64: E36E93897DDA11E5 Time : 0.0 sec. user=mdettweiler [2015-06-12 21:21:23] 741*2^1400119-1 is not prime. Res64: 1F78BAE1A918A751 Time : 0.0 sec. user=mdettweiler [2015-06-12 21:23:35] 759*2^1400119-1 is not prime. Res64: 5208E8FB91875868 Time : 0.0 sec. user=mdettweiler [2015-06-12 21:23:36] 853*2^1400119-1 is not prime. Res64: F2C3AF823C2E029F Time : 0.0 sec. user=mdettweiler [2015-06-12 21:32:49] 891*2^1400119-1 is not prime. Res64: 3E37D907423102BB Time : 0.0 sec. user=mdettweiler [2015-06-12 21:32:49] 913*2^1400119-1 is not prime. Res64: 20219DCE7706E5B5 Time : 0.0 sec. user=mdettweiler [2015-06-12 21:40:00] 933*2^1400119-1 is not prime. Res64: 0FCBDB6B3EE940F1 Time : 0.0 sec. user=mdettweiler [2015-06-12 21:40:00] 717*2^1400120-1 is not prime. Res64: AB15DBB5167CDC5F Time : 0.0 sec. user=mdettweiler [2015-06-12 21:40:20] 725*2^1400120-1 is not prime. Res64: 29BE70D8BF81CC34 Time : 0.0 sec. user=mdettweiler [2015-06-12 21:40:20] 735*2^1400120-1 is not prime. Res64: DF5DECA9C8CFA457 Time : 0.0 sec. user=mdettweiler [2015-06-12 21:42:39] 983*2^1400120-1 is not prime. Res64: 4E5CA2D73BF49748 Time : 0.0 sec. user=mdettweiler [2015-06-12 21:42:39] 649*2^1400121-1 is not prime. Res64: 4D52F1E9E6338214 Time : 0.0 sec. user=mdettweiler [2015-06-12 21:51:39] 651*2^1400121-1 is not prime. Res64: FA4C822195C0469C Time : 0.0 sec. user=mdettweiler [2015-06-12 21:51:39] 685*2^1400121-1 is not prime. Res64: 76DAE5A856ED2A4B Time : 0.0 sec. user=mdettweiler [2015-06-12 21:59:28] 747*2^1400121-1 is not prime. Res64: F90A74B450631BFC Time : 0.0 sec. user=mdettweiler [2015-06-12 21:59:28] 895*2^1400121-1 is not prime. Res64: DB34F89A39D66A13 Time : 0.0 sec. user=mdettweiler [2015-06-12 21:59:36] 969*2^1400121-1 is not prime. Res64: B24D7E215EC06F87 Time : 0.0 sec. user=mdettweiler [2015-06-12 21:59:36] 635*2^1400122-1 is not prime. Res64: 6676ABC0B9680BA6 Time : 0.0 sec. user=mdettweiler [2015-06-12 22:02:14] 815*2^1400122-1 is not prime. Res64: 035B351044C38A95 Time : 0.0 sec. user=mdettweiler [2015-06-12 22:02:15] 981*2^1400122-1 is not prime. Res64: 1415ECCF83344542 Time : 0.0 sec. user=mdettweiler [2015-06-12 22:11:15] 859*2^1400123-1 is not prime. Res64: 0789E1A89B4ABCA0 Time : 0.0 sec. user=mdettweiler [2015-06-12 22:11:15] 913*2^1400123-1 is not prime. Res64: C4806FDB1EDB69D8 Time : 0.0 sec. user=juhehe [2015-06-12 22:14:26] 737*2^1400122-1 is not prime. Res64: 315A022D191854BE Time : 0.0 sec. user=mdettweiler [2015-06-12 22:18:36] 717*2^1400124-1 is not prime. Res64: 3AB9D3A829346CA9 Time : 0.0 sec. user=mdettweiler [2015-06-12 22:18:36] 719*2^1400124-1 is not prime. Res64: 6E183E9A35A8E4CE Time : 0.0 sec. user=mdettweiler [2015-06-12 22:19:06] 873*2^1400124-1 is not prime. Res64: 06F2D9F8A557ACD4 Time : 0.0 sec. user=mdettweiler [2015-06-12 22:19:06] 887*2^1400124-1 is not prime. Res64: D5E806EC9E489FFB Time : 0.0 sec. user=mdettweiler [2015-06-12 22:22:05] 601*2^1400125-1 is not prime. Res64: F30DE50C1A00497D Time : 0.0 sec. user=mdettweiler [2015-06-12 22:22:05] 609*2^1400125-1 is not prime. Res64: 29993E6701064006 Time : 0.0 sec. user=mdettweiler [2015-06-12 22:31:34] 645*2^1400125-1 is not prime. Res64: CBD81A6E7DC7CDAA Time : 0.0 sec. user=mdettweiler [2015-06-12 22:31:34] 717*2^1400125-1 is not prime. Res64: E620B14DF6157B76 Time : 0.0 sec. user=mdettweiler [2015-06-12 22:39:26] 729*2^1400125-1 is not prime. Res64: F3EFF1D50D517006 Time : 0.0 sec. user=mdettweiler [2015-06-12 22:39:26] 775*2^1400125-1 is not prime. Res64: E37CDCF0D990F2E0 Time : 0.0 sec. user=mdettweiler [2015-06-12 22:39:36] 801*2^1400125-1 is not prime. Res64: BDB023A708A6C61E Time : 0.0 sec. user=mdettweiler [2015-06-12 22:39:37] 825*2^1400125-1 is not prime. Res64: D7CBAAF25132AAB6 Time : 0.0 sec. user=mdettweiler [2015-06-12 22:42:42] 877*2^1400125-1 is not prime. Res64: 7A351F32BF033C3E Time : 0.0 sec. user=mdettweiler [2015-06-12 22:42:43] 927*2^1400125-1 is not prime. Res64: B487C9A9135FEF44 Time : 0.0 sec. user=mdettweiler [2015-06-12 22:51:38] 951*2^1400125-1 is not prime. Res64: 89B509C5FE33CA02 Time : 0.0 sec. user=mdettweiler [2015-06-12 22:51:39] 957*2^1400125-1 is not prime. Res64: 05F12DE571FC9466 Time : 0.0 sec. user=mdettweiler [2015-06-12 22:59:39] 851*2^1400126-1 is not prime. Res64: 6F515D830C129CD9 Time : 0.0 sec. user=mdettweiler [2015-06-12 22:59:39] 703*2^1400127-1 is not prime. Res64: 020244C87512831F Time : 0.0 sec. user=mdettweiler [2015-06-12 22:59:55] 975*2^1400125-1 is not prime. Res64: 1B5A93464936EF7E Time : 0.0 sec. user=mdettweiler [2015-06-12 22:59:55] 707*2^1400126-1 is not prime. Res64: B2F27624C34D93FC Time : 0.0 sec. user=mdettweiler [2015-06-12 23:03:14] 751*2^1400127-1 is not prime. Res64: 01E2886DB98A317C Time : 0.0 sec. user=mdettweiler [2015-06-12 23:03:15] 793*2^1400127-1 is not prime. Res64: 97349B91CFF914BA Time : 0.0 sec. user=mdettweiler [2015-06-12 23:10:59] 829*2^1400127-1 is not prime. Res64: A4C33317F6D31B18 Time : 0.0 sec. user=mdettweiler [2015-06-12 23:11:00] 873*2^1400127-1 is not prime. Res64: 8B5857AE8E8D7F44 Time : 0.0 sec. user=mdettweiler [2015-06-12 23:17:59] 945*2^1400127-1 is not prime. Res64: C175D2F98F39C120 Time : 0.0 sec. user=mdettweiler [2015-06-12 23:17:59] 963*2^1400127-1 is not prime. Res64: 9EAF464A7E13D48E Time : 0.0 sec. user=mdettweiler [2015-06-12 23:18:09] 629*2^1400128-1 is not prime. Res64: 3A7FC6EEBDA04871 Time : 0.0 sec. user=mdettweiler [2015-06-12 23:18:09] 713*2^1400128-1 is not prime. Res64: 7211FFDE764E9793 Time : 0.0 sec. user=mdettweiler [2015-06-12 23:21:02] 743*2^1400128-1 is not prime. Res64: 94BF30D87614C69A Time : 0.0 sec. user=mdettweiler [2015-06-12 23:21:02] 803*2^1400128-1 is not prime. Res64: F98AA84C9684B91B Time : 0.0 sec. user=mdettweiler [2015-06-12 23:28:35] 843*2^1400128-1 is not prime. Res64: 8632DC9C13B1D0DA Time : 0.0 sec. user=mdettweiler [2015-06-12 23:28:35] 909*2^1400128-1 is not prime. Res64: 4CB6AE0BA5293C85 Time : 0.0 sec. user=mdettweiler [2015-06-12 23:35:30] 645*2^1400129-1 is not prime. Res64: 8A58775B290C8949 Time : 0.0 sec. user=mdettweiler [2015-06-12 23:35:31] 721*2^1400129-1 is not prime. Res64: 40DE411397B7D53A Time : 0.0 sec. user=mdettweiler [2015-06-12 23:35:55] 789*2^1400129-1 is not prime. Res64: 381C5F0345F98314 Time : 0.0 sec. user=mdettweiler [2015-06-12 23:35:56] 957*2^1400129-1 is not prime. Res64: DBD7A27B7952BE54 Time : 0.0 sec. user=mdettweiler [2015-06-12 23:38:37] 797*2^1400130-1 is not prime. Res64: 00D6A185F8D558C3 Time : 0.0 sec. user=mdettweiler [2015-06-12 23:38:38] 801*2^1400130-1 is not prime. Res64: 49D19C1AAA508E58 Time : 0.0 sec. user=mdettweiler [2015-06-12 23:46:11] 825*2^1400130-1 is not prime. Res64: D471A17BC9AA1DD9 Time : 0.0 sec. user=mdettweiler [2015-06-12 23:46:11] 851*2^1400130-1 is not prime. Res64: 446706C6C3B55C6D Time : 0.0 sec. user=mdettweiler [2015-06-12 23:53:12] 905*2^1400130-1 is not prime. Res64: CE55E8519D0E5636 Time : 0.0 sec. user=mdettweiler [2015-06-12 23:53:13] 679*2^1400131-1 is not prime. Res64: F49F0B3AF34B209B Time : 0.0 sec. user=mdettweiler [2015-06-12 23:53:28] 705*2^1400131-1 is not prime. Res64: 1F978240F2CE5457 Time : 0.0 sec. user=mdettweiler [2015-06-12 23:53:29] 801*2^1400131-1 is not prime. Res64: DC83BC208CEF4018 Time : 0.0 sec. user=mdettweiler [2015-06-12 23:56:13] 603*2^1400132-1 is not prime. Res64: 58E69408D60FF241 Time : 0.0 sec. user=mdettweiler [2015-06-12 23:56:14] 699*2^1400132-1 is not prime. Res64: 55A33B2139BEB2D2 Time : 0.0 sec.