user=mdettweiler [2016-07-13 00:12:09] 801*2^1435139-1 is not prime. Res64: 3DB6320E08800A6F Time : 0.0 sec. user=mdettweiler [2016-07-13 00:12:09] 939*2^1435139-1 is not prime. Res64: 9AA74F7C545E7863 Time : 0.0 sec. user=mdettweiler [2016-07-13 00:12:09] 979*2^1435139-1 is not prime. Res64: 0CAFFEE3126E70F9 Time : 0.0 sec. user=mdettweiler [2016-07-13 00:12:09] 719*2^1435140-1 is not prime. Res64: FB03EB72A785C03E Time : 0.0 sec. user=mdettweiler [2016-07-13 00:12:10] 959*2^1435140-1 is not prime. Res64: C18973A4AD6418B3 Time : 0.0 sec. user=mdettweiler [2016-07-13 00:13:04] 615*2^1435141-1 is not prime. Res64: 983D44B9BD32E7B4 Time : 0.0 sec. user=mdettweiler [2016-07-13 00:13:04] 747*2^1435141-1 is not prime. Res64: D691FE869581106B Time : 0.0 sec. user=mdettweiler [2016-07-13 00:13:04] 771*2^1435141-1 is not prime. Res64: 96F2FA58DB2EE094 Time : 0.0 sec. user=mdettweiler [2016-07-13 00:13:04] 849*2^1435141-1 is not prime. Res64: 9D27975EC5D8A23A Time : 0.0 sec. user=mdettweiler [2016-07-13 00:13:05] 861*2^1435141-1 is not prime. Res64: 7AE7F4152D5AB577 Time : 0.0 sec. user=mdettweiler [2016-07-13 00:23:31] 871*2^1435141-1 is not prime. Res64: 74A4110BEEB801CC Time : 0.0 sec. user=mdettweiler [2016-07-13 00:23:31] 967*2^1435141-1 is not prime. Res64: 507D0DF00A8AB40C Time : 0.0 sec. user=mdettweiler [2016-07-13 00:23:31] 603*2^1435142-1 is not prime. Res64: 241EE0CA8A7D9CF3 Time : 0.0 sec. user=mdettweiler [2016-07-13 00:23:32] 635*2^1435142-1 is not prime. Res64: EC0E9225029F5308 Time : 0.0 sec. user=mdettweiler [2016-07-13 00:23:32] 743*2^1435142-1 is not prime. Res64: 112B5912C4A90715 Time : 0.0 sec. user=mdettweiler [2016-07-13 00:32:18] 887*2^1435142-1 is not prime. Res64: CDBD5644558FAAF6 Time : 0.0 sec. user=mdettweiler [2016-07-13 00:32:18] 983*2^1435142-1 is not prime. Res64: 11ADCB26E3F3307D Time : 0.0 sec. user=mdettweiler [2016-07-13 00:32:25] 613*2^1435143-1 is not prime. Res64: 809EF680BE36CB32 Time : 0.0 sec. user=mdettweiler [2016-07-13 00:32:32] 663*2^1435143-1 is not prime. Res64: 34CF02960D6D4E59 Time : 0.0 sec. user=mdettweiler [2016-07-13 00:32:39] 741*2^1435143-1 is not prime. Res64: 151934AE679B239D Time : 0.0 sec. user=mdettweiler [2016-07-13 00:59:18] 783*2^1435143-1 is not prime. Res64: 8ED1711F52DE7A29 Time : 0.0 sec. user=mdettweiler [2016-07-13 00:59:18] 831*2^1435143-1 is not prime. Res64: 27F5B80308471709 Time : 0.0 sec. user=mdettweiler [2016-07-13 00:59:18] 859*2^1435143-1 is not prime. Res64: 38ADFC081563A1E5 Time : 0.0 sec. user=mdettweiler [2016-07-13 00:59:19] 871*2^1435143-1 is not prime. Res64: 6229A280F4D17653 Time : 0.0 sec. user=mdettweiler [2016-07-13 00:59:19] 879*2^1435143-1 is not prime. Res64: 11C849E975376D65 Time : 0.0 sec. user=mdettweiler [2016-07-13 00:59:58] 955*2^1435143-1 is not prime. Res64: 7582C390F2508C14 Time : 0.0 sec. user=mdettweiler [2016-07-13 00:59:59] 657*2^1435144-1 is not prime. Res64: 1138E4A235CA9ACB Time : 0.0 sec. user=mdettweiler [2016-07-13 00:59:59] 717*2^1435144-1 is not prime. Res64: 2E07F461477A0A74 Time : 0.0 sec. user=mdettweiler [2016-07-13 00:59:59] 773*2^1435144-1 is not prime. Res64: 23496FAB1B06CF4C Time : 0.0 sec. user=mdettweiler [2016-07-13 00:59:59] 833*2^1435144-1 is not prime. Res64: 09275FF6C8C45587 Time : 0.0 sec. user=mdettweiler [2016-07-13 01:10:50] 965*2^1435144-1 is not prime. Res64: B3E8A434796D7D7C Time : 0.0 sec. user=mdettweiler [2016-07-13 01:10:54] 949*2^1435145-1 is not prime. Res64: 7D46D1FDDBE934D4 Time : 0.0 sec. user=mdettweiler [2016-07-13 01:10:54] 747*2^1435146-1 is not prime. Res64: 5D2DAB59D1B90B80 Time : 0.0 sec. user=mdettweiler [2016-07-13 01:10:58] 843*2^1435146-1 is not prime. Res64: 91333FC987123B80 Time : 0.0 sec. user=mdettweiler [2016-07-13 01:10:58] 851*2^1435146-1 is not prime. Res64: 623DDB48F67EC3AD Time : 0.0 sec. user=mdettweiler [2016-07-13 01:19:30] 903*2^1435146-1 is not prime. Res64: A725BD027CAAAF86 Time : 0.0 sec. user=mdettweiler [2016-07-13 01:19:34] 917*2^1435146-1 is not prime. Res64: 99DB5C47E6ABA976 Time : 0.0 sec. user=mdettweiler [2016-07-13 01:19:38] 971*2^1435146-1 is not prime. Res64: AB9A732635C5A54D Time : 0.0 sec. user=mdettweiler [2016-07-13 01:19:42] 619*2^1435147-1 is not prime. Res64: A77FBE1269C7C349 Time : 0.0 sec. user=mdettweiler [2016-07-13 01:19:46] 675*2^1435147-1 is not prime. Res64: C75DAC61AD85B7ED Time : 0.0 sec. user=mdettweiler [2016-07-13 01:45:13] 693*2^1435147-1 is not prime. Res64: 85C34EE9EAB20C7F Time : 0.0 sec. user=mdettweiler [2016-07-13 01:45:17] 765*2^1435147-1 is not prime. Res64: 5CFB0B2A09750F19 Time : 0.0 sec. user=mdettweiler [2016-07-13 01:45:21] 793*2^1435147-1 is not prime. Res64: 2169891FBFDDB3DC Time : 0.0 sec. user=mdettweiler [2016-07-13 01:45:25] 849*2^1435147-1 is not prime. Res64: C46EBCF4019AA421 Time : 0.0 sec. user=mdettweiler [2016-07-13 01:45:29] 871*2^1435147-1 is not prime. Res64: CA97E03A9F506F8C Time : 0.0 sec. user=mdettweiler [2016-07-13 01:45:37] 975*2^1435147-1 is not prime. Res64: BB736E291EA84E6D Time : 0.0 sec. user=mdettweiler [2016-07-13 01:45:41] 615*2^1435148-1 is not prime. Res64: 5DCDA1C437D1473B Time : 0.0 sec. user=mdettweiler [2016-07-13 01:45:45] 635*2^1435148-1 is not prime. Res64: 8332C7215C153A5C Time : 0.0 sec. user=mdettweiler [2016-07-13 01:45:49] 683*2^1435148-1 is not prime. Res64: 5B50AB8209FAAADC Time : 0.0 sec. user=mdettweiler [2016-07-13 01:45:53] 915*2^1435148-1 is not prime. Res64: EC57B4121CD961AC Time : 0.0 sec. user=mdettweiler [2016-07-13 01:56:41] 959*2^1435148-1 is not prime. Res64: 32B6AB957526070C Time : 0.0 sec. user=mdettweiler [2016-07-13 01:56:41] 999*2^1435148-1 is not prime. Res64: 7B8A0C1A54CC790A Time : 0.0 sec. user=mdettweiler [2016-07-13 01:56:47] 685*2^1435149-1 is not prime. Res64: 3183D4AC48EED2D2 Time : 0.0 sec. user=mdettweiler [2016-07-13 01:56:48] 727*2^1435149-1 is not prime. Res64: 963E82D0B4A1BC71 Time : 0.0 sec. user=mdettweiler [2016-07-13 01:56:54] 885*2^1435149-1 is not prime. Res64: 1BF21969E5BB1843 Time : 0.0 sec. user=mdettweiler [2016-07-13 02:05:30] 945*2^1435149-1 is not prime. Res64: A95AD52D8EC55325 Time : 0.0 sec. user=mdettweiler [2016-07-13 02:05:31] 969*2^1435149-1 is not prime. Res64: 5885771EEF998B5B Time : 0.0 sec. user=mdettweiler [2016-07-13 02:05:32] 645*2^1435150-1 is not prime. Res64: DF537FE0EBDD61AC Time : 0.0 sec. user=mdettweiler [2016-07-13 02:05:33] 665*2^1435150-1 is not prime. Res64: B29E042416F30109 Time : 0.0 sec. user=mdettweiler [2016-07-13 02:05:33] 821*2^1435150-1 is not prime. Res64: 799323C961F0E3A6 Time : 0.0 sec. user=mdettweiler [2016-07-13 02:31:02] 827*2^1435150-1 is not prime. Res64: 0963DBB5F24FE3E2 Time : 0.0 sec. user=mdettweiler [2016-07-13 02:31:07] 861*2^1435150-1 is not prime. Res64: E4D288DCD1542EE2 Time : 0.0 sec. user=mdettweiler [2016-07-13 02:31:12] 951*2^1435150-1 is not prime. Res64: 89816F6B6B731D0B Time : 0.0 sec. user=mdettweiler [2016-07-13 02:31:17] 971*2^1435150-1 is not prime. Res64: EAA7B2CEC7655115 Time : 0.0 sec. user=mdettweiler [2016-07-13 02:31:17] 609*2^1435151-1 is not prime. Res64: 56DD661A7DA6BC03 Time : 0.0 sec. user=mdettweiler [2016-07-13 02:31:18] 981*2^1435150-1 is not prime. Res64: 0D07A9C028A0E744 Time : 0.0 sec. user=mdettweiler [2016-07-13 02:31:23] 711*2^1435151-1 is not prime. Res64: CF9D8036BA1EC805 Time : 0.0 sec. user=mdettweiler [2016-07-13 02:31:25] 813*2^1435151-1 is not prime. Res64: 5E1554A2D9B88310 Time : 0.0 sec. user=mdettweiler [2016-07-13 02:31:30] 819*2^1435151-1 is not prime. Res64: 9C4206509E5A24B3 Time : 0.0 sec. user=mdettweiler [2016-07-13 02:31:35] 883*2^1435151-1 is not prime. Res64: A2B3C079255D698E Time : 0.0 sec. user=mdettweiler [2016-07-13 02:42:20] 909*2^1435151-1 is not prime. Res64: 660F02F950D10D7B Time : 0.0 sec. user=mdettweiler [2016-07-13 02:42:20] 939*2^1435151-1 is not prime. Res64: 53B3757E8BC1B74B Time : 0.0 sec. user=mdettweiler [2016-07-13 02:42:21] 623*2^1435152-1 is not prime. Res64: 546547E54571D9A6 Time : 0.0 sec. user=mdettweiler [2016-07-13 02:42:21] 629*2^1435152-1 is not prime. Res64: B7B5CA43670522A6 Time : 0.0 sec. user=mdettweiler [2016-07-13 02:42:21] 719*2^1435152-1 is not prime. Res64: AC6A14EB33666E1B Time : 0.0 sec. user=mdettweiler [2016-07-13 02:51:03] 759*2^1435152-1 is not prime. Res64: 3AFCFFC1CE643E02 Time : 0.0 sec. user=mdettweiler [2016-07-13 02:51:03] 809*2^1435152-1 is not prime. Res64: 43B5AF9B107FF96B Time : 0.0 sec. user=mdettweiler [2016-07-13 02:51:03] 903*2^1435152-1 is not prime. Res64: 9F78BE0923EC3703 Time : 0.0 sec. user=mdettweiler [2016-07-13 02:51:04] 751*2^1435153-1 is not prime. Res64: 11DAE6411F8F2BD8 Time : 0.0 sec. user=mdettweiler [2016-07-13 02:51:04] 775*2^1435153-1 is not prime. Res64: 1C9AFA993D4B307E Time : 0.0 sec. user=mdettweiler [2016-07-13 03:17:02] 805*2^1435153-1 is not prime. Res64: 26A8B75FC49CDC04 Time : 0.0 sec. user=mdettweiler [2016-07-13 03:17:03] 855*2^1435153-1 is not prime. Res64: C38CAF7AE9E2A501 Time : 0.0 sec. user=mdettweiler [2016-07-13 03:17:03] 675*2^1435154-1 is not prime. Res64: CC307D3401DC7E55 Time : 0.0 sec. user=mdettweiler [2016-07-13 03:17:03] 731*2^1435154-1 is not prime. Res64: FC65E765DBB97983 Time : 0.0 sec. user=mdettweiler [2016-07-13 03:17:04] 827*2^1435154-1 is not prime. Res64: 2B8CBA1BC1722A82 Time : 0.0 sec. user=mdettweiler [2016-07-13 03:17:35] 873*2^1435154-1 is not prime. Res64: EE1B056A7BF2CD28 Time : 0.0 sec. user=mdettweiler [2016-07-13 03:17:35] 887*2^1435154-1 is not prime. Res64: CE5EEADF0C8CE37B Time : 0.0 sec. user=mdettweiler [2016-07-13 03:17:35] 643*2^1435155-1 is not prime. Res64: 17BE96A8BE4557E2 Time : 0.0 sec. user=mdettweiler [2016-07-13 03:17:35] 669*2^1435155-1 is not prime. Res64: 2A94EA8588A434CB Time : 0.0 sec. user=mdettweiler [2016-07-13 03:17:36] 735*2^1435155-1 is not prime. Res64: BB60E1D99863A003 Time : 0.0 sec. user=mdettweiler [2016-07-13 03:28:25] 741*2^1435155-1 is not prime. Res64: 0C88D151E2AD4DCD Time : 0.0 sec. user=mdettweiler [2016-07-13 03:28:26] 789*2^1435155-1 is not prime. Res64: 7BAFCC40FBA0404B Time : 0.0 sec. user=mdettweiler [2016-07-13 03:28:27] 853*2^1435155-1 is not prime. Res64: 4DA1FC0DBF8DBE0D Time : 0.0 sec. user=mdettweiler [2016-07-13 03:28:28] 891*2^1435155-1 is not prime. Res64: C1478C7C9B8DCEFD Time : 0.0 sec. user=mdettweiler [2016-07-13 03:28:29] 803*2^1435156-1 is not prime. Res64: E7013C5C1BEBF452 Time : 0.0 sec. user=mdettweiler [2016-07-13 03:36:39] 833*2^1435156-1 is not prime. Res64: D8367859925C41A5 Time : 0.0 sec. user=mdettweiler [2016-07-13 03:36:44] 843*2^1435156-1 is not prime. Res64: 1FB8CA20F6284F41 Time : 0.0 sec. user=mdettweiler [2016-07-13 03:36:49] 899*2^1435156-1 is not prime. Res64: 057D16500E004936 Time : 0.0 sec. user=mdettweiler [2016-07-13 03:36:53] 923*2^1435156-1 is not prime. Res64: 1082649B89D58636 Time : 0.0 sec. user=mdettweiler [2016-07-13 03:36:58] 989*2^1435156-1 is not prime. Res64: A49F1A85EC8794DB Time : 0.0 sec. user=mdettweiler [2016-07-13 04:06:38] 601*2^1435157-1 is not prime. Res64: A2FFA1BE291E1889 Time : 0.0 sec. user=mdettweiler [2016-07-13 04:06:38] 631*2^1435157-1 is not prime. Res64: 378BFFCEAF7E12E8 Time : 0.0 sec. user=mdettweiler [2016-07-13 04:06:39] 777*2^1435157-1 is not prime. Res64: 61AA620EB9E01C77 Time : 0.0 sec. user=mdettweiler [2016-07-13 04:06:39] 925*2^1435157-1 is not prime. Res64: 797668CC858E9F8E Time : 0.0 sec. user=mdettweiler [2016-07-13 04:06:39] 955*2^1435157-1 is not prime. Res64: A703A7F3C2877B60 Time : 0.0 sec. user=mdettweiler [2016-07-13 04:09:15] 991*2^1435157-1 is not prime. Res64: E25492E305CBE6EB Time : 0.0 sec. user=mdettweiler [2016-07-13 04:09:15] 627*2^1435158-1 is not prime. Res64: 39DBA2EFE5C4FD61 Time : 0.0 sec. user=mdettweiler [2016-07-13 04:09:15] 737*2^1435158-1 is not prime. Res64: ED21D531E759302F Time : 0.0 sec. user=mdettweiler [2016-07-13 04:09:16] 765*2^1435158-1 is not prime. Res64: E0849C7BC42717A4 Time : 0.0 sec. user=mdettweiler [2016-07-13 04:09:16] 927*2^1435158-1 is not prime. Res64: D9C8704E71A98FF6 Time : 0.0 sec. user=mdettweiler [2016-07-13 04:22:23] 603*2^1435159-1 is not prime. Res64: DCDDF22FFC2C5FC7 Time : 0.0 sec. user=mdettweiler [2016-07-13 04:22:29] 609*2^1435159-1 is not prime. Res64: 74EF647EFDC4C748 Time : 0.0 sec. user=mdettweiler [2016-07-13 04:22:35] 693*2^1435159-1 is not prime. Res64: F8A68E35A9CFDF5E Time : 0.0 sec. user=mdettweiler [2016-07-13 04:22:40] 705*2^1435159-1 is not prime. Res64: 369D794673F7F951 Time : 0.0 sec. user=mdettweiler [2016-07-13 04:22:40] 723*2^1435159-1 is not prime. Res64: 6D421A4FAAFEA131 Time : 0.0 sec. user=mdettweiler [2016-07-13 04:33:35] 745*2^1435159-1 is not prime. Res64: 0BF382460434AA9B Time : 0.0 sec. user=mdettweiler [2016-07-13 04:33:35] 763*2^1435159-1 is not prime. Res64: CEAEAAC65F036E8B Time : 0.0 sec. user=mdettweiler [2016-07-13 04:33:36] 843*2^1435159-1 is not prime. Res64: 4E5C25B415B9D1C0 Time : 0.0 sec. user=mdettweiler [2016-07-13 04:33:36] 969*2^1435159-1 is not prime. Res64: F3DB7BFF191F0841 Time : 0.0 sec. user=mdettweiler [2016-07-13 04:33:36] 603*2^1435160-1 is not prime. Res64: D7E80156696D0B37 Time : 0.0 sec. user=mdettweiler [2016-07-13 05:07:02] 827*2^1435160-1 is not prime. Res64: E985B15D2630E641 Time : 0.0 sec. user=mdettweiler [2016-07-13 05:07:03] 857*2^1435160-1 is not prime. Res64: DC51B70781113BF8 Time : 0.0 sec. user=mdettweiler [2016-07-13 05:07:03] 927*2^1435160-1 is not prime. Res64: 33CB925C843C0A64 Time : 0.0 sec. user=mdettweiler [2016-07-13 05:07:04] 963*2^1435160-1 is not prime. Res64: 5F60EFC23A01E6C5 Time : 0.0 sec. user=mdettweiler [2016-07-13 05:07:04] 999*2^1435160-1 is not prime. Res64: 7B74589B4519CA21 Time : 0.0 sec. user=mdettweiler [2016-07-13 05:09:04] 609*2^1435161-1 is not prime. Res64: 37A42D460A25562C Time : 0.0 sec. user=mdettweiler [2016-07-13 05:09:04] 717*2^1435161-1 is not prime. Res64: 997947DB132AEBCA Time : 0.0 sec. user=mdettweiler [2016-07-13 05:09:04] 805*2^1435161-1 is not prime. Res64: F63E64E607F141D7 Time : 0.0 sec. user=mdettweiler [2016-07-13 05:09:05] 885*2^1435161-1 is not prime. Res64: 48FA81EABCD1D455 Time : 0.0 sec. user=mdettweiler [2016-07-13 05:09:05] 951*2^1435161-1 is not prime. Res64: 89DE370CF3D4E60A Time : 0.0 sec. user=mdettweiler [2016-07-13 05:22:39] 665*2^1435162-1 is not prime. Res64: 207ED278E91DBE94 Time : 0.0 sec. user=mdettweiler [2016-07-13 05:22:46] 677*2^1435162-1 is not prime. Res64: 4478B7BDC08FED8D Time : 0.0 sec. user=mdettweiler [2016-07-13 05:22:46] 867*2^1435162-1 is not prime. Res64: 763C36DD68D2B19D Time : 0.0 sec. user=mdettweiler [2016-07-13 05:22:52] 951*2^1435162-1 is not prime. Res64: 05E49CFBFED80D28 Time : 0.0 sec. user=mdettweiler [2016-07-13 05:22:52] 753*2^1435163-1 is not prime. Res64: 44A4A9F5C8B4FEE5 Time : 0.0 sec. user=mdettweiler [2016-07-13 05:32:08] 783*2^1435163-1 is not prime. Res64: 380A1EC995281F3E Time : 0.0 sec. user=mdettweiler [2016-07-13 05:32:14] 825*2^1435163-1 is not prime. Res64: 7F61A735819A771E Time : 0.0 sec. user=mdettweiler [2016-07-13 05:32:14] 861*2^1435163-1 is not prime. Res64: 9C7342D4CCCE1AC0 Time : 0.0 sec. user=mdettweiler [2016-07-13 05:32:20] 871*2^1435163-1 is not prime. Res64: ECC06FD28B9A9A7D Time : 0.0 sec. user=mdettweiler [2016-07-13 05:32:26] 945*2^1435163-1 is not prime. Res64: C36D1FD3B2448787 Time : 0.0 sec. user=mdettweiler [2016-07-13 05:59:16] 963*2^1435163-1 is not prime. Res64: F72E670D2B3B041D Time : 0.0 sec. user=mdettweiler [2016-07-13 05:59:23] 723*2^1435164-1 is not prime. Res64: 92903B034A796642 Time : 0.0 sec. user=mdettweiler [2016-07-13 05:59:30] 753*2^1435164-1 is not prime. Res64: 463B427FC1F57B36 Time : 0.0 sec. user=mdettweiler [2016-07-13 05:59:36] 765*2^1435164-1 is not prime. Res64: F1A7C42DBD68F176 Time : 0.0 sec. user=mdettweiler [2016-07-13 05:59:37] 773*2^1435164-1 is not prime. Res64: DE8BAD6602A06AE6 Time : 0.0 sec. user=mdettweiler [2016-07-13 06:01:12] 909*2^1435164-1 is not prime. Res64: 06D377B461397F28 Time : 0.0 sec. user=mdettweiler [2016-07-13 06:01:19] 609*2^1435165-1 is not prime. Res64: C4B307CB9A1AC528 Time : 0.0 sec. user=mdettweiler [2016-07-13 06:01:25] 717*2^1435165-1 is not prime. Res64: 1A4EB8242D92E3C5 Time : 0.0 sec. user=mdettweiler [2016-07-13 06:01:31] 729*2^1435165-1 is not prime. Res64: 8F95CEF07D02BFBF Time : 0.0 sec. user=mdettweiler [2016-07-13 06:01:37] 741*2^1435165-1 is not prime. Res64: ECF68C4B268B3214 Time : 0.0 sec. user=mdettweiler [2016-07-13 06:11:39] 861*2^1435165-1 is not prime. Res64: 0C14378570F6C976 Time : 0.0 sec. user=mdettweiler [2016-07-13 06:12:04] 867*2^1435165-1 is not prime. Res64: 0FF524A374E3D85B Time : 0.0 sec. user=mdettweiler [2016-07-13 06:19:37] 635*2^1435166-1 is not prime. Res64: 8753F82C534C0072 Time : 0.0 sec. user=mdettweiler [2016-07-13 06:19:38] 641*2^1435166-1 is not prime. Res64: 015FDE8E58D476C2 Time : 0.0 sec. user=mdettweiler [2016-07-13 06:19:38] 755*2^1435166-1 is not prime. Res64: 0FCA5DB8C0095F76 Time : 0.0 sec. user=mdettweiler [2016-07-13 06:19:38] 801*2^1435166-1 is not prime. Res64: 9A586313EB2A7737 Time : 0.0 sec. user=mdettweiler [2016-07-13 06:19:38] 825*2^1435166-1 is not prime. Res64: B0DD17AEBA5D2D7F Time : 0.0 sec. user=mdettweiler [2016-07-13 06:46:04] 693*2^1435167-1 is not prime. Res64: 132017D9E88EBED6 Time : 0.0 sec. user=mdettweiler [2016-07-13 06:46:08] 705*2^1435167-1 is not prime. Res64: F66BCADB63D51C78 Time : 0.0 sec. user=mdettweiler [2016-07-13 06:46:12] 775*2^1435167-1 is not prime. Res64: 9558A32121AFB3B9 Time : 0.0 sec. user=mdettweiler [2016-07-13 06:46:16] 823*2^1435167-1 is not prime. Res64: 22881DDB9CD3EE03 Time : 0.0 sec. user=mdettweiler [2016-07-13 06:46:20] 871*2^1435167-1 is not prime. Res64: 7306AC0C84D63493 Time : 0.0 sec. user=mdettweiler [2016-07-13 06:47:59] 909*2^1435167-1 is not prime. Res64: 884E7B701216009B Time : 0.0 sec. user=mdettweiler [2016-07-13 06:48:03] 913*2^1435167-1 is not prime. Res64: 7654A924CA1B1B7E Time : 0.0 sec. user=mdettweiler [2016-07-13 06:48:07] 955*2^1435167-1 is not prime. Res64: F7560F3333921BD3 Time : 0.0 sec. user=mdettweiler [2016-07-13 06:48:11] 615*2^1435168-1 is not prime. Res64: 00457810CE097C6A Time : 0.0 sec. user=mdettweiler [2016-07-13 06:48:15] 635*2^1435168-1 is not prime. Res64: A92AE0E56FBFD801 Time : 0.0 sec. user=mdettweiler [2016-07-13 07:05:48] 839*2^1435168-1 is not prime. Res64: AD5150C10A21AEDB Time : 0.0 sec. user=mdettweiler [2016-07-13 07:05:49] 849*2^1435168-1 is not prime. Res64: 7D9A80D465BC9250 Time : 0.0 sec. user=mdettweiler [2016-07-13 07:05:51] 637*2^1435169-1 is not prime. Res64: D6BD2CC1AF1292FB Time : 0.0 sec. user=mdettweiler [2016-07-13 07:05:52] 645*2^1435169-1 is not prime. Res64: 32B7DAE8E0A727CE Time : 0.0 sec. user=mdettweiler [2016-07-13 07:05:53] 795*2^1435169-1 is not prime. Res64: 7F0D5410A3CC6CEE Time : 0.0 sec. user=mdettweiler [2016-07-13 07:33:08] 879*2^1435169-1 is not prime. Res64: DCF0B89D1FD79CC8 Time : 0.0 sec. user=mdettweiler [2016-07-13 07:33:09] 889*2^1435169-1 is not prime. Res64: DDC9169682B60838 Time : 0.0 sec. user=mdettweiler [2016-07-13 07:33:09] 741*2^1435170-1 is not prime. Res64: 17BC19BD86A9B9BC Time : 0.0 sec. user=mdettweiler [2016-07-13 07:33:09] 773*2^1435170-1 is not prime. Res64: D25779E9F971615A Time : 0.0 sec. user=mdettweiler [2016-07-13 07:33:09] 851*2^1435170-1 is not prime. Res64: C5221831A7ECB099 Time : 0.0 sec. user=mdettweiler [2016-07-13 07:34:53] 905*2^1435170-1 is not prime. Res64: D9C315E2CDDAB483 Time : 0.0 sec. user=mdettweiler [2016-07-13 07:34:53] 917*2^1435170-1 is not prime. Res64: 46EA23097E55E63D Time : 0.0 sec. user=mdettweiler [2016-07-13 07:34:54] 923*2^1435170-1 is not prime. Res64: 13475E40930248FC Time : 0.0 sec. user=mdettweiler [2016-07-13 07:34:54] 971*2^1435170-1 is not prime. Res64: 2AD5E74AF86A5548 Time : 0.0 sec. user=mdettweiler [2016-07-13 07:34:54] 1001*2^1435170-1 is not prime. Res64: 2BB4BCE3904ED7D0 Time : 0.0 sec. user=mdettweiler [2016-07-13 07:52:43] 603*2^1435171-1 is not prime. Res64: 3D5652E2245EEF3D Time : 0.0 sec. user=mdettweiler [2016-07-13 07:52:43] 691*2^1435171-1 is not prime. Res64: DE82AFAFD4F39573 Time : 0.0 sec. user=mdettweiler [2016-07-13 07:52:50] 751*2^1435171-1 is not prime. Res64: 686C608548D60F8E Time : 0.0 sec. user=mdettweiler [2016-07-13 07:52:57] 759*2^1435171-1 is not prime. Res64: C3BEBABC87CD4C2E Time : 0.0 sec. user=mdettweiler [2016-07-13 07:52:57] 861*2^1435171-1 is not prime. Res64: E975545EBB8A0647 Time : 0.0 sec. user=mdettweiler [2016-07-13 08:19:31] 901*2^1435171-1 is not prime. Res64: 4EC83C55BF6D242A Time : 0.0 sec. user=mdettweiler [2016-07-13 08:19:35] 633*2^1435172-1 is not prime. Res64: 5F7279E15E7B25D0 Time : 0.0 sec. user=mdettweiler [2016-07-13 08:19:40] 699*2^1435172-1 is not prime. Res64: 606FF20D7251840F Time : 0.0 sec. user=mdettweiler [2016-07-13 08:19:45] 749*2^1435172-1 is not prime. Res64: D7EEE8DF78176B01 Time : 0.0 sec. user=mdettweiler [2016-07-13 08:19:51] 813*2^1435172-1 is not prime. Res64: 133B82266789CD46 Time : 0.0 sec. user=mdettweiler [2016-07-13 08:21:14] 837*2^1435172-1 is not prime. Res64: D6643F81B11DC380 Time : 0.0 sec. user=mdettweiler [2016-07-13 08:21:23] 855*2^1435172-1 is not prime. Res64: B8D2BAD37FB56A67 Time : 0.0 sec. user=mdettweiler [2016-07-13 08:41:17] 991*2^1435173-1 is not prime. Res64: 2491CD38FF213CFC Time : 0.0 sec. user=mdettweiler [2016-07-13 08:41:17] 999*2^1435173-1 is not prime. Res64: 716BD780ACA0705F Time : 0.0 sec. user=mdettweiler [2016-07-13 08:41:17] 671*2^1435174-1 is not prime. Res64: 101582EF2F0C6258 Time : 0.0 sec. user=mdettweiler [2016-07-13 08:41:17] 681*2^1435174-1 is not prime. Res64: 1298EB24F8BAC4F1 Time : 0.0 sec. user=mdettweiler [2016-07-13 08:41:17] 885*2^1435174-1 is not prime. Res64: E6FFB25648B2D6DA Time : 0.0 sec. user=mdettweiler [2016-07-13 09:13:20] 981*2^1435174-1 is not prime. Res64: EBFAE60BF8C87B8C Time : 0.0 sec. user=mdettweiler [2016-07-13 09:13:21] 661*2^1435175-1 is not prime. Res64: E8B491498E0A0914 Time : 0.0 sec. user=mdettweiler [2016-07-13 09:13:21] 673*2^1435175-1 is not prime. Res64: F1FAC35875D30791 Time : 0.0 sec. user=mdettweiler [2016-07-13 09:13:22] 735*2^1435175-1 is not prime. Res64: 35C5AD30758802A9 Time : 0.0 sec. user=mdettweiler [2016-07-13 09:13:22] 783*2^1435175-1 is not prime. Res64: A72469315A0056DB Time : 0.0 sec. user=mdettweiler [2016-07-13 09:38:01] 949*2^1435175-1 is not prime. Res64: 53F85D7E1E3E2BD8 Time : 0.0 sec. user=mdettweiler [2016-07-13 09:38:01] 985*2^1435175-1 is not prime. Res64: 6E79334B7A2A9668 Time : 0.0 sec. user=mdettweiler [2016-07-13 09:38:08] 737*2^1435176-1 is not prime. Res64: D70ED4723BCB0F2D Time : 0.0 sec. user=mdettweiler [2016-07-13 09:38:08] 809*2^1435176-1 is not prime. Res64: 5E8429E617F50A7E Time : 0.0 sec. user=mdettweiler [2016-07-13 09:38:14] 845*2^1435176-1 is not prime. Res64: ABED9B69B47B4667 Time : 0.0 sec. user=mdettweiler [2016-07-13 10:09:13] 857*2^1435176-1 is not prime. Res64: 3D49956446A56431 Time : 0.0 sec. user=mdettweiler [2016-07-13 10:09:17] 899*2^1435176-1 is not prime. Res64: D7170B43DB0E446B Time : 0.0 sec. user=mdettweiler [2016-07-13 10:09:23] 945*2^1435176-1 is not prime. Res64: 2C1E59B2D78E0F06 Time : 0.0 sec. user=mdettweiler [2016-07-13 10:09:23] 947*2^1435176-1 is not prime. Res64: 4B12A9A765B22708 Time : 0.0 sec. user=mdettweiler [2016-07-13 10:09:28] 609*2^1435177-1 is not prime. Res64: A48AAC7DCBE19BD1 Time : 0.0 sec. user=mdettweiler [2016-07-13 10:32:06] 651*2^1435177-1 is not prime. Res64: 2A9E84CCFC2CF8D1 Time : 0.0 sec. user=mdettweiler [2016-07-13 10:32:06] 699*2^1435177-1 is not prime. Res64: 1F2A45FB3901F9A2 Time : 0.0 sec. user=mdettweiler [2016-07-13 10:32:06] 717*2^1435177-1 is not prime. Res64: C8253587A9D9BD22 Time : 0.0 sec. user=mdettweiler [2016-07-13 10:32:07] 777*2^1435177-1 is not prime. Res64: 6BDEC44F716D31C3 Time : 0.0 sec. user=mdettweiler [2016-07-13 10:32:07] 835*2^1435177-1 is not prime. Res64: 1662E67EACECFA6D Time : 0.0 sec. user=mdettweiler [2016-07-13 10:34:48] 925*2^1435165-1 is not prime. Res64: EA6313BC87F6C9C3 Time : 0.0 sec. user=mdettweiler [2016-07-13 10:34:48] 939*2^1435165-1 is not prime. Res64: 915CD11C0BAE409F Time : 0.0 sec. user=mdettweiler [2016-07-13 10:34:49] 999*2^1435165-1 is not prime. Res64: B77D8F098A872E5D Time : 0.0 sec. user=mdettweiler [2016-07-13 10:59:32] 955*2^1435177-1 is not prime. Res64: 32E994566FD27A12 Time : 0.0 sec. user=mdettweiler [2016-07-13 10:59:32] 617*2^1435178-1 is not prime. Res64: DBE4328F14E5B493 Time : 0.0 sec. user=mdettweiler [2016-07-13 10:59:33] 633*2^1435178-1 is not prime. Res64: FA831B718AAC8C3A Time : 0.0 sec. user=mdettweiler [2016-07-13 10:59:33] 797*2^1435178-1 is not prime. Res64: 571732B6B8620D73 Time : 0.0 sec. user=mdettweiler [2016-07-13 10:59:33] 911*2^1435178-1 is not prime. Res64: 44D7717924F5DD2A Time : 0.0 sec. user=mdettweiler [2016-07-13 11:20:04] 923*2^1435178-1 is not prime. Res64: 7CE5923AE74113D7 Time : 0.0 sec. user=mdettweiler [2016-07-13 11:20:08] 613*2^1435179-1 is not prime. Res64: 2E16AEE9F2D9CF0B Time : 0.0 sec. user=mdettweiler [2016-07-13 11:20:12] 621*2^1435179-1 is not prime. Res64: F166FBF87AC11D3D Time : 0.0 sec. user=mdettweiler [2016-07-13 11:20:16] 633*2^1435179-1 is not prime. Res64: A0B6B434B21DD71C Time : 0.0 sec. user=mdettweiler [2016-07-13 11:20:20] 853*2^1435179-1 is not prime. Res64: 532EEFD442377162 Time : 0.0 sec. user=mdettweiler [2016-07-13 11:22:08] 861*2^1435179-1 is not prime. Res64: 8557A3505D7CC6DA Time : 0.0 sec. user=mdettweiler [2016-07-13 11:22:08] 931*2^1435179-1 is not prime. Res64: F87E6D566E14F837 Time : 0.0 sec. user=mdettweiler [2016-07-13 11:22:14] 961*2^1435179-1 is not prime. Res64: C54CB844A863CDAB Time : 0.0 sec. user=mdettweiler [2016-07-13 11:22:20] 603*2^1435180-1 is not prime. Res64: BD112C9CA57FA3F2 Time : 0.0 sec. user=mdettweiler [2016-07-13 11:22:21] 615*2^1435180-1 is not prime. Res64: BDFA6021F60809F0 Time : 0.0 sec. user=mdettweiler [2016-07-13 11:46:37] 635*2^1435180-1 is not prime. Res64: EDE7E4D8DDD736B8 Time : 0.0 sec. user=mdettweiler [2016-07-13 11:46:37] 773*2^1435180-1 is not prime. Res64: 3517B5A737616393 Time : 0.0 sec. user=mdettweiler [2016-07-13 11:46:37] 825*2^1435180-1 is not prime. Res64: B70CBD6D8882C01E Time : 0.0 sec. user=mdettweiler [2016-07-13 11:46:37] 615*2^1435181-1 is not prime. Res64: A2A82A3A2A257993 Time : 0.0 sec. user=mdettweiler [2016-07-13 11:46:38] 621*2^1435181-1 is not prime. Res64: 988EA8094040DDD5 Time : 0.0 sec. user=mdettweiler [2016-07-13 11:49:46] 675*2^1435173-1 is not prime. Res64: E0453E2F565638A8 Time : 0.0 sec. user=mdettweiler [2016-07-13 11:49:46] 921*2^1435173-1 is not prime. Res64: 4B7B37543C161E1E Time : 0.0 sec. user=mdettweiler [2016-07-13 11:49:47] 945*2^1435173-1 is not prime. Res64: 01222CFC46BEDFFF Time : 0.0 sec. user=mdettweiler [2016-07-13 12:06:38] 927*2^1435181-1 is not prime. Res64: E964BF83FD3120E3 Time : 0.0 sec. user=mdettweiler [2016-07-13 12:06:44] 651*2^1435182-1 is not prime. Res64: 267A295B9DB02CC1 Time : 0.0 sec. user=mdettweiler [2016-07-13 12:06:45] 807*2^1435182-1 is not prime. Res64: 5211442B7D7856A9 Time : 0.0 sec. user=mdettweiler [2016-07-13 12:06:50] 917*2^1435182-1 is not prime. Res64: 96491C9D98D4C4A4 Time : 0.0 sec. user=mdettweiler [2016-07-13 12:06:56] 625*2^1435183-1 is not prime. Res64: 8708330F828073D4 Time : 0.0 sec. user=mdettweiler [2016-07-13 12:08:46] 685*2^1435183-1 is not prime. Res64: 2D991612BAACCB49 Time : 0.0 sec. user=mdettweiler [2016-07-13 12:08:52] 705*2^1435183-1 is not prime. Res64: C228ABEFC11B99FE Time : 0.0 sec. user=mdettweiler [2016-07-13 12:08:58] 723*2^1435183-1 is not prime. Res64: 663896DFEF740633 Time : 0.0 sec. user=mdettweiler [2016-07-13 12:08:58] 751*2^1435183-1 is not prime. Res64: A30FE33027939767 Time : 0.0 sec. user=mdettweiler [2016-07-13 12:09:05] 859*2^1435183-1 is not prime. Res64: 0861BFA61A898A38 Time : 0.0 sec. user=mdettweiler [2016-07-13 12:32:18] 945*2^1435183-1 is not prime. Res64: 4DA07E6919008A54 Time : 0.0 sec. user=mdettweiler [2016-07-13 12:32:24] 615*2^1435184-1 is not prime. Res64: 54A2A0341686847B Time : 0.0 sec. user=mdettweiler [2016-07-13 12:32:24] 665*2^1435184-1 is not prime. Res64: 012F5A8DA4F4FE52 Time : 0.0 sec. user=mdettweiler [2016-07-13 12:32:31] 755*2^1435184-1 is not prime. Res64: 4F4F0969D78249B8 Time : 0.0 sec. user=mdettweiler [2016-07-13 12:32:31] 773*2^1435184-1 is not prime. Res64: 4841861589F180BD Time : 0.0 sec. user=mdettweiler [2016-07-13 12:35:26] 843*2^1435184-1 is not prime. Res64: 1DDEDB337E03C2B3 Time : 0.0 sec. user=mdettweiler [2016-07-13 12:35:27] 945*2^1435184-1 is not prime. Res64: 1BF8E3B97F3C9C00 Time : 0.0 sec. user=mdettweiler [2016-07-13 12:35:31] 983*2^1435184-1 is not prime. Res64: C2C7A5259912A99B Time : 0.0 sec. user=mdettweiler [2016-07-13 12:35:35] 679*2^1435185-1 is not prime. Res64: AB808662559EEA1D Time : 0.0 sec. user=mdettweiler [2016-07-13 12:35:38] 691*2^1435185-1 is not prime. Res64: 6DB1ED771F10C0FA Time : 0.0 sec. user=mdettweiler [2016-07-13 12:52:32] 717*2^1435185-1 is not prime. Res64: BA2D96BC83729D1B Time : 0.0 sec. user=mdettweiler [2016-07-13 12:52:32] 819*2^1435185-1 is not prime. Res64: EFAC508DA165EB9E Time : 0.0 sec. user=mdettweiler [2016-07-13 12:52:33] 867*2^1435185-1 is not prime. Res64: 662259210632EF4C Time : 0.0 sec. user=mdettweiler [2016-07-13 12:52:33] 985*2^1435185-1 is not prime. Res64: 2D8DB1EEB9AC87E9 Time : 0.0 sec. user=mdettweiler [2016-07-13 12:52:33] 671*2^1435186-1 is not prime. Res64: EE5297E5E233526E Time : 0.0 sec. user=mdettweiler [2016-07-13 12:54:50] 737*2^1435186-1 is not prime. Res64: 5C56F377AF080BD3 Time : 0.0 sec. user=mdettweiler [2016-07-13 12:54:50] 825*2^1435186-1 is not prime. Res64: D84178B47A8C1D6A Time : 0.0 sec. user=mdettweiler [2016-07-13 12:54:51] 843*2^1435186-1 is not prime. Res64: 96BAAB8CE7FDCA1A Time : 0.0 sec. user=mdettweiler [2016-07-13 12:54:51] 857*2^1435186-1 is not prime. Res64: 80F49720BEED1959 Time : 0.0 sec. user=mdettweiler [2016-07-13 12:54:51] 917*2^1435186-1 is not prime. Res64: 043BD81F3E074118 Time : 0.0 sec. user=mdettweiler [2016-07-13 13:18:19] 923*2^1435186-1 is not prime. Res64: AB4D07B9CA2B38AF Time : 0.0 sec. user=mdettweiler [2016-07-13 13:18:26] 945*2^1435186-1 is not prime. Res64: E4E0B3B56E7A39A1 Time : 0.0 sec. user=mdettweiler [2016-07-13 13:18:26] 957*2^1435186-1 is not prime. Res64: 12797D4C9594F06D Time : 0.0 sec. user=mdettweiler [2016-07-13 13:18:27] 975*2^1435186-1 is not prime. Res64: 35BB232CE4F8203A Time : 0.0 sec. user=mdettweiler [2016-07-13 13:18:34] 685*2^1435187-1 is not prime. Res64: 60BE1BE1E1A88F01 Time : 0.0 sec. user=mdettweiler [2016-07-13 13:21:18] 759*2^1435187-1 is not prime. Res64: 07261DE305F6B4B9 Time : 0.0 sec. user=mdettweiler [2016-07-13 13:21:24] 781*2^1435187-1 is not prime. Res64: C216B47B91F71631 Time : 0.0 sec. user=mdettweiler [2016-07-13 13:21:29] 805*2^1435187-1 is not prime. Res64: 7255E0B42CAA851A Time : 0.0 sec. user=mdettweiler [2016-07-13 13:21:35] 829*2^1435187-1 is not prime. Res64: 72569858117904E2 Time : 0.0 sec. user=mdettweiler [2016-07-13 13:21:41] 885*2^1435187-1 is not prime. Res64: 5ECB3A7E556852B4 Time : 0.0 sec. user=mdettweiler [2016-07-13 13:38:22] 909*2^1435187-1 is not prime. Res64: 3FCB4CCC62790B45 Time : 0.0 sec. user=mdettweiler [2016-07-13 13:38:22] 803*2^1435188-1 is not prime. Res64: 3FE94AA577EA33D2 Time : 0.0 sec. user=mdettweiler [2016-07-13 13:38:23] 905*2^1435188-1 is not prime. Res64: 800DE6A0A1D636B5 Time : 0.0 sec. user=mdettweiler [2016-07-13 13:38:23] 945*2^1435188-1 is not prime. Res64: 2681B2D2CE0098A8 Time : 0.0 sec. user=mdettweiler [2016-07-13 13:38:23] 765*2^1435189-1 is not prime. Res64: 159B9027568A1663 Time : 0.0 sec. user=mdettweiler [2016-07-13 13:40:54] 789*2^1435189-1 is not prime. Res64: 606DB0DF94832409 Time : 0.0 sec. user=mdettweiler [2016-07-13 13:40:54] 979*2^1435189-1 is not prime. Res64: 5C7A89ED4F74AA71 Time : 0.0 sec. user=mdettweiler [2016-07-13 13:40:54] 921*2^1435190-1 is not prime. Res64: 3F1C994563DF936E Time : 0.0 sec. user=mdettweiler [2016-07-13 13:40:54] 649*2^1435191-1 is not prime. Res64: 2B10AF7602EECDAB Time : 0.0 sec. user=mdettweiler [2016-07-13 13:40:55] 723*2^1435191-1 is not prime. Res64: A270A3F213EABAFE Time : 0.0 sec. user=mdettweiler [2016-07-13 14:04:07] 861*2^1435191-1 is not prime. Res64: 3E9BEE1D0F3B78BE Time : 0.0 sec. user=mdettweiler [2016-07-13 14:04:08] 943*2^1435191-1 is not prime. Res64: 546846B38A06CAB8 Time : 0.0 sec. user=mdettweiler [2016-07-13 14:04:08] 955*2^1435191-1 is not prime. Res64: 5B2E2D34746F2F65 Time : 0.0 sec. user=mdettweiler [2016-07-13 14:04:09] 653*2^1435192-1 is not prime. Res64: 7093407D8BB6F560 Time : 0.0 sec. user=mdettweiler [2016-07-13 14:04:10] 675*2^1435192-1 is not prime. Res64: F6F130AC8BB5D2CE Time : 0.0 sec. user=mdettweiler [2016-07-13 14:07:24] 687*2^1435192-1 is not prime. Res64: 528FBC738BE68F16 Time : 0.0 sec. user=mdettweiler [2016-07-13 14:07:24] 755*2^1435192-1 is not prime. Res64: 692062CEC0AADE8C Time : 0.0 sec. user=mdettweiler [2016-07-13 14:07:24] 873*2^1435192-1 is not prime. Res64: DA379864A1364166 Time : 0.0 sec. user=mdettweiler [2016-07-13 14:07:25] 917*2^1435192-1 is not prime. Res64: D9644ADE41E41A69 Time : 0.0 sec. user=mdettweiler [2016-07-13 14:07:25] 867*2^1435193-1 is not prime. Res64: F979667A190F8C97 Time : 0.0 sec. user=mdettweiler [2016-07-13 14:24:01] 937*2^1435193-1 is not prime. Res64: C9089B341BA30AF7 Time : 0.0 sec. user=mdettweiler [2016-07-13 14:24:01] 939*2^1435193-1 is not prime. Res64: DF85585337621F7D Time : 0.0 sec. user=mdettweiler [2016-07-13 14:24:08] 985*2^1435193-1 is not prime. Res64: 0BA69F1AD30CFF4B Time : 0.0 sec. user=mdettweiler [2016-07-13 14:24:08] 987*2^1435193-1 is not prime. Res64: 9C655ECDD33026BF Time : 0.0 sec. user=mdettweiler [2016-07-13 14:24:14] 611*2^1435194-1 is not prime. Res64: BB43B88B569FCBB3 Time : 0.0 sec. user=mdettweiler [2016-07-13 14:26:43] 725*2^1435194-1 is not prime. Res64: 701498CB0F86FF5F Time : 0.0 sec. user=mdettweiler [2016-07-13 14:26:43] 747*2^1435194-1 is not prime. Res64: F9025F1487F13958 Time : 0.0 sec. user=mdettweiler [2016-07-13 14:26:49] 885*2^1435194-1 is not prime. Res64: B60A8A05EAEDD6E1 Time : 0.0 sec. user=mdettweiler [2016-07-13 14:26:50] 927*2^1435194-1 is not prime. Res64: E8F7DE48D4F529B2 Time : 0.0 sec. user=mdettweiler [2016-07-13 14:26:56] 941*2^1435194-1 is not prime. Res64: CAE7D95978AED214 Time : 0.0 sec. user=mdettweiler [2016-07-13 14:50:08] 1001*2^1435194-1 is not prime. Res64: 1DDC3CEBC7D53C63 Time : 0.0 sec. user=mdettweiler [2016-07-13 14:50:09] 603*2^1435195-1 is not prime. Res64: 12243DD363A91E5E Time : 0.0 sec. user=mdettweiler [2016-07-13 14:50:09] 699*2^1435195-1 is not prime. Res64: DA9791AD0C7D3950 Time : 0.0 sec. user=mdettweiler [2016-07-13 14:50:09] 735*2^1435195-1 is not prime. Res64: D6C90782F573C30E Time : 0.0 sec. user=mdettweiler [2016-07-13 14:50:09] 741*2^1435195-1 is not prime. Res64: 20B4AF3BAFB7E15D Time : 0.0 sec. user=mdettweiler [2016-07-13 14:53:22] 805*2^1435195-1 is not prime. Res64: 394150D910CDCBA8 Time : 0.0 sec. user=mdettweiler [2016-07-13 14:53:23] 861*2^1435195-1 is not prime. Res64: 125420C85CBF0EC3 Time : 0.0 sec. user=mdettweiler [2016-07-13 14:53:29] 735*2^1435196-1 is not prime. Res64: 7607263B40A6FA8C Time : 0.0 sec. user=mdettweiler [2016-07-13 14:53:29] 875*2^1435196-1 is not prime. Res64: 3D2E270BFA9F0AA8 Time : 0.0 sec. user=mdettweiler [2016-07-13 14:53:35] 923*2^1435196-1 is not prime. Res64: EAC5F84EE020B3E7 Time : 0.0 sec. user=mdettweiler [2016-07-13 15:10:05] 625*2^1435197-1 is not prime. Res64: 0275680D36489F83 Time : 0.0 sec. user=mdettweiler [2016-07-13 15:10:12] 675*2^1435197-1 is not prime. Res64: 74B64B7B88068A7B Time : 0.0 sec. user=mdettweiler [2016-07-13 15:10:13] 717*2^1435197-1 is not prime. Res64: 61CA919EDB941364 Time : 0.0 sec. user=mdettweiler [2016-07-13 15:10:19] 727*2^1435197-1 is not prime. Res64: E392F52B7CCBF606 Time : 0.0 sec. user=mdettweiler [2016-07-13 15:10:26] 741*2^1435197-1 is not prime. Res64: EBEAB8BE31D47AAB Time : 0.0 sec. user=mdettweiler [2016-07-13 15:13:07] 805*2^1435197-1 is not prime. Res64: 3FB0191B0747C1F8 Time : 0.0 sec. user=mdettweiler [2016-07-13 15:13:07] 819*2^1435197-1 is not prime. Res64: 118CEC4ADFB06C91 Time : 0.0 sec. user=mdettweiler [2016-07-13 15:13:08] 895*2^1435197-1 is not prime. Res64: 1388EDF51E5AB0E9 Time : 0.0 sec. user=mdettweiler [2016-07-13 15:13:08] 919*2^1435197-1 is not prime. Res64: 206B4E4AD90E15F5 Time : 0.0 sec. user=mdettweiler [2016-07-13 15:13:08] 927*2^1435197-1 is not prime. Res64: 19A62231B17E2527 Time : 0.0 sec. user=mdettweiler [2016-07-13 15:35:48] 991*2^1435197-1 is not prime. Res64: 23181F60CB10743E Time : 0.0 sec. user=mdettweiler [2016-07-13 15:35:49] 999*2^1435197-1 is not prime. Res64: 9FAE080433E037CE Time : 0.0 sec. user=mdettweiler [2016-07-13 15:35:55] 635*2^1435198-1 is not prime. Res64: D1BE4787521E27A1 Time : 0.0 sec. user=mdettweiler [2016-07-13 15:35:56] 815*2^1435198-1 is not prime. Res64: 926121A87333AE2A Time : 0.0 sec. user=mdettweiler [2016-07-13 15:36:01] 821*2^1435198-1 is not prime. Res64: CC0BAF14C763BD3B Time : 0.0 sec. user=mdettweiler [2016-07-13 15:39:13] 831*2^1435198-1 is not prime. Res64: CF1223174F261A7B Time : 0.0 sec. user=mdettweiler [2016-07-13 15:39:17] 945*2^1435198-1 is not prime. Res64: 25A9FC7C807AD7EA Time : 0.0 sec. user=mdettweiler [2016-07-13 15:39:17] 995*2^1435198-1 is not prime. Res64: 7CDB6B3222E8598C Time : 0.0 sec. user=mdettweiler [2016-07-13 15:39:21] 619*2^1435199-1 is not prime. Res64: AA9740EEECCC41F2 Time : 0.0 sec. user=mdettweiler [2016-07-13 15:39:25] 679*2^1435199-1 is not prime. Res64: 3CD89F8481ADE243 Time : 0.0 sec. user=mdettweiler [2016-07-13 15:56:15] 705*2^1435199-1 is not prime. Res64: 6377FF6593F1729F Time : 0.0 sec. user=mdettweiler [2016-07-13 15:56:15] 799*2^1435199-1 is not prime. Res64: 7DD8D95B9A2496FE Time : 0.0 sec. user=mdettweiler [2016-07-13 15:56:15] 811*2^1435199-1 is not prime. Res64: D5584333981DD70C Time : 0.0 sec. user=mdettweiler [2016-07-13 15:56:16] 853*2^1435199-1 is not prime. Res64: AA4BE7E00FF21C6F Time : 0.0 sec. user=mdettweiler [2016-07-13 15:56:16] 985*2^1435199-1 is not prime. Res64: C8B511EDE84699FA Time : 0.0 sec. user=mdettweiler [2016-07-13 15:58:55] 635*2^1435200-1 is not prime. Res64: 41F405C39B99A682 Time : 0.0 sec. user=mdettweiler [2016-07-13 15:58:55] 693*2^1435200-1 is not prime. Res64: 3948419A5E2EE812 Time : 0.0 sec. user=mdettweiler [2016-07-13 15:58:55] 719*2^1435200-1 is not prime. Res64: A905182E976F7E28 Time : 0.0 sec. user=mdettweiler [2016-07-13 15:58:55] 819*2^1435200-1 is not prime. Res64: 8C13885A371BCAFF Time : 0.0 sec. user=mdettweiler [2016-07-13 15:58:56] 857*2^1435200-1 is not prime. Res64: E86D2927D448A013 Time : 0.0 sec. user=mdettweiler [2016-07-13 16:30:04] 835*2^1435201-1 is not prime. Res64: FD2B9E83DE4453FE Time : 0.0 sec. user=mdettweiler [2016-07-13 16:30:06] 931*2^1435201-1 is not prime. Res64: 5F5BF641C9924B3B Time : 0.0 sec. user=mdettweiler [2016-07-13 16:30:06] 657*2^1435202-1 is not prime. Res64: C2E552CE9D92095A Time : 0.0 sec. user=mdettweiler [2016-07-13 16:30:07] 743*2^1435202-1 is not prime. Res64: 433A39CFC04DEAEB Time : 0.0 sec. user=mdettweiler [2016-07-13 16:30:07] 785*2^1435202-1 is not prime. Res64: 836B53EA35D77FAF Time : 0.0 sec. user=mdettweiler [2016-07-13 16:30:11] 893*2^1435200-1 is not prime. Res64: 2EE0AA7C49D60954 Time : 0.0 sec. user=mdettweiler [2016-07-13 16:30:11] 917*2^1435200-1 is not prime. Res64: 36B124BFF9F0269A Time : 0.0 sec. user=mdettweiler [2016-07-13 16:30:12] 959*2^1435200-1 is not prime. Res64: 43394EE5F1373410 Time : 0.0 sec. user=mdettweiler [2016-07-13 16:30:12] 811*2^1435201-1 is not prime. Res64: 8859BFD12D0D2718 Time : 0.0 sec. user=mdettweiler [2016-07-13 16:30:13] 817*2^1435201-1 is not prime. Res64: C846D9134944464E Time : 0.0 sec. user=mdettweiler [2016-07-13 16:47:46] 935*2^1435202-1 is not prime. Res64: 47F7832D48DD2B01 Time : 0.0 sec. user=mdettweiler [2016-07-13 16:47:50] 977*2^1435202-1 is not prime. Res64: D718BBCA636A022E Time : 0.0 sec. user=mdettweiler [2016-07-13 16:47:51] 801*2^1435202-1 is not prime. Res64: 28BE05D0729F863B Time : 0.0 sec. user=mdettweiler [2016-07-13 16:47:55] 831*2^1435202-1 is not prime. Res64: 30D0EB172745D17A Time : 0.0 sec. user=mdettweiler [2016-07-13 16:47:55] 679*2^1435203-1 is not prime. Res64: EF7DC21A8192078D Time : 0.0 sec. user=mdettweiler [2016-07-13 16:47:59] 867*2^1435202-1 is not prime. Res64: 9A017BDCB2D087FF Time : 0.0 sec. user=mdettweiler [2016-07-13 16:47:59] 699*2^1435203-1 is not prime. Res64: CD7B231082980282 Time : 0.0 sec. user=mdettweiler [2016-07-13 16:48:00] 911*2^1435202-1 is not prime. Res64: 2899AA29BE2FAB55 Time : 0.0 sec. user=mdettweiler [2016-07-13 16:48:05] 923*2^1435202-1 is not prime. Res64: D9A99A4539659CC0 Time : 0.0 sec. user=mdettweiler [2016-07-13 16:48:05] 775*2^1435203-1 is not prime. Res64: 856000AFA4A841C8 Time : 0.0 sec. user=mdettweiler [2016-07-13 17:14:52] 629*2^1435204-1 is not prime. Res64: 65CA17D1EDFE1D09 Time : 0.0 sec. user=mdettweiler [2016-07-13 17:14:53] 657*2^1435204-1 is not prime. Res64: 16732098A793A04C Time : 0.0 sec. user=mdettweiler [2016-07-13 17:14:53] 803*2^1435204-1 is not prime. Res64: 70ADBF7B977F099D Time : 0.0 sec. user=mdettweiler [2016-07-13 17:14:53] 781*2^1435203-1 is not prime. Res64: 4176ADA703F7AEA4 Time : 0.0 sec. user=mdettweiler [2016-07-13 17:14:54] 819*2^1435204-1 is not prime. Res64: 246C5258338E9618 Time : 0.0 sec. user=mdettweiler [2016-07-13 17:14:54] 793*2^1435203-1 is not prime. Res64: 446B0AFC6EB9F77A Time : 0.0 sec. user=mdettweiler [2016-07-13 17:14:54] 913*2^1435203-1 is not prime. Res64: D7DB70CB5E08483E Time : 0.0 sec. user=mdettweiler [2016-07-13 17:14:54] 875*2^1435204-1 is not prime. Res64: BF4246BA919A5450 Time : 0.0 sec. user=mdettweiler [2016-07-13 17:14:55] 963*2^1435203-1 is not prime. Res64: 11D7089DC64836B1 Time : 0.0 sec. user=mdettweiler [2016-07-13 17:14:55] 609*2^1435204-1 is not prime. Res64: AD2DD62A02D3FF1D Time : 0.0 sec. user=mdettweiler [2016-07-13 17:32:47] 899*2^1435204-1 is not prime. Res64: 2CAFA79F6446238F Time : 0.0 sec. user=mdettweiler [2016-07-13 17:32:51] 903*2^1435204-1 is not prime. Res64: 276DA1AD1D3B6F18 Time : 0.0 sec. user=mdettweiler [2016-07-13 17:32:55] 905*2^1435204-1 is not prime. Res64: 3EEDC7B901356527 Time : 0.0 sec. user=mdettweiler [2016-07-13 17:32:59] 965*2^1435204-1 is not prime. Res64: 7B837DC4A3D26D36 Time : 0.0 sec. user=mdettweiler [2016-07-13 17:32:59] 619*2^1435205-1 is not prime. Res64: 7A226AEF683FC18C Time : 0.0 sec. user=mdettweiler [2016-07-13 17:33:03] 983*2^1435204-1 is not prime. Res64: 57303E135E7B030F Time : 0.0 sec. user=mdettweiler [2016-07-13 17:33:03] 685*2^1435205-1 is not prime. Res64: B62D973A86C4A2AE Time : 0.0 sec. user=mdettweiler [2016-07-13 17:33:07] 715*2^1435205-1 is not prime. Res64: BDFE7F6D7EF16E1D Time : 0.0 sec. user=mdettweiler [2016-07-13 17:33:11] 775*2^1435205-1 is not prime. Res64: DA7B7A9B54B47E90 Time : 0.0 sec. user=mdettweiler [2016-07-13 17:33:15] 789*2^1435205-1 is not prime. Res64: 0B3242AD876BD651 Time : 0.0 sec. user=mdettweiler [2016-07-13 17:59:36] 723*2^1435206-1 is not prime. Res64: FB56386173146085 Time : 0.0 sec. user=mdettweiler [2016-07-13 17:59:40] 873*2^1435206-1 is not prime. Res64: 8BCFCD1983B90B3A Time : 0.0 sec. user=mdettweiler [2016-07-13 17:59:44] 609*2^1435207-1 is not prime. Res64: 7852E2741EA84512 Time : 0.0 sec. user=mdettweiler [2016-07-13 17:59:44] 801*2^1435205-1 is not prime. Res64: 30650B0C5AFE22F0 Time : 0.0 sec. user=mdettweiler [2016-07-13 17:59:48] 825*2^1435205-1 is not prime. Res64: 3ED9282F3FC18298 Time : 0.0 sec. user=mdettweiler [2016-07-13 17:59:48] 651*2^1435207-1 is not prime. Res64: FB96BD7A6AF119F7 Time : 0.0 sec. user=mdettweiler [2016-07-13 17:59:52] 673*2^1435207-1 is not prime. Res64: E57605494D3CEBAF Time : 0.0 sec. user=mdettweiler [2016-07-13 17:59:52] 847*2^1435205-1 is not prime. Res64: 38C84BBEF93619E8 Time : 0.0 sec. user=mdettweiler [2016-07-13 17:59:56] 627*2^1435206-1 is not prime. Res64: 09943D6B44CE1EC7 Time : 0.0 sec. user=mdettweiler [2016-07-13 18:00:00] 711*2^1435206-1 is not prime. Res64: A383E53593BECF25 Time : 0.0 sec. user=mdettweiler [2016-07-13 18:17:44] 693*2^1435207-1 is not prime. Res64: 6AD194C5208307E4 Time : 0.0 sec. user=mdettweiler [2016-07-13 18:17:44] 705*2^1435207-1 is not prime. Res64: 8343D741F0092788 Time : 0.0 sec. user=mdettweiler [2016-07-13 18:17:45] 741*2^1435207-1 is not prime. Res64: E60945F5BA4E2343 Time : 0.0 sec. user=mdettweiler [2016-07-13 18:17:45] 763*2^1435207-1 is not prime. Res64: 63B825AFA96F9413 Time : 0.0 sec. user=mdettweiler [2016-07-13 18:17:46] 829*2^1435207-1 is not prime. Res64: 765D7FACF7535F21 Time : 0.0 sec. user=mdettweiler [2016-07-13 18:18:04] 913*2^1435207-1 is not prime. Res64: 172A66C93E45C509 Time : 0.0 sec. user=mdettweiler [2016-07-13 18:18:05] 915*2^1435207-1 is not prime. Res64: 2FB02F99E96F2553 Time : 0.0 sec. user=mdettweiler [2016-07-13 18:18:05] 603*2^1435208-1 is not prime. Res64: 9F271F1BE45F1436 Time : 0.0 sec. user=mdettweiler [2016-07-13 18:18:06] 629*2^1435208-1 is not prime. Res64: F8F583FD5F9D6FD4 Time : 0.0 sec. user=mdettweiler [2016-07-13 18:18:06] 677*2^1435208-1 is not prime. Res64: DC5D5CADAFD40820 Time : 0.0 sec. user=mdettweiler [2016-07-13 18:44:30] 691*2^1435209-1 is not prime. Res64: C20127E96A7F681A Time : 0.0 sec. user=mdettweiler [2016-07-13 18:44:31] 709*2^1435209-1 is not prime. Res64: A139D710EB449555 Time : 0.0 sec. user=mdettweiler [2016-07-13 18:44:31] 969*2^1435209-1 is not prime. Res64: 2CC7748150A76CA4 Time : 0.0 sec. user=mdettweiler [2016-07-13 18:44:32] 635*2^1435210-1 is not prime. Res64: 53E524C9FD947110 Time : 0.0 sec. user=mdettweiler [2016-07-13 18:44:32] 653*2^1435210-1 is not prime. Res64: 7A034CA87327AD10 Time : 0.0 sec. user=mdettweiler [2016-07-13 18:44:32] 713*2^1435208-1 is not prime. Res64: 91AB31D64F1624FC Time : 0.0 sec. user=mdettweiler [2016-07-13 18:44:33] 743*2^1435208-1 is not prime. Res64: 62B8FA370C35CCD0 Time : 0.0 sec. user=mdettweiler [2016-07-13 18:44:33] 753*2^1435208-1 is not prime. Res64: E617BA18E91518E5 Time : 0.0 sec. user=mdettweiler [2016-07-13 18:44:33] 813*2^1435208-1 is not prime. Res64: 0AF9A22DEB2EFB4B Time : 0.0 sec. user=mdettweiler [2016-07-13 18:44:34] 935*2^1435208-1 is not prime. Res64: 6E77C6CB08916279 Time : 0.0 sec. user=mdettweiler [2016-07-13 19:02:26] 657*2^1435210-1 is not prime. Res64: 8A7876FB8FD9CD47 Time : 0.0 sec. user=mdettweiler [2016-07-13 19:02:27] 687*2^1435210-1 is not prime. Res64: 3EDC9038FBA51061 Time : 0.0 sec. user=mdettweiler [2016-07-13 19:02:29] 741*2^1435210-1 is not prime. Res64: 05278565007CA7D5 Time : 0.0 sec. user=mdettweiler [2016-07-13 19:02:30] 773*2^1435210-1 is not prime. Res64: 121B3489CCAFA6B5 Time : 0.0 sec. user=mdettweiler [2016-07-13 19:02:31] 923*2^1435210-1 is not prime. Res64: 495D70503296126D Time : 0.0 sec. user=mdettweiler [2016-07-13 19:02:47] 971*2^1435210-1 is not prime. Res64: 24EE10ADFECBCC76 Time : 0.0 sec. user=mdettweiler [2016-07-13 19:02:48] 711*2^1435211-1 is not prime. Res64: D3C72CF33903EB41 Time : 0.0 sec. user=mdettweiler [2016-07-13 19:02:49] 745*2^1435211-1 is not prime. Res64: 3E76006706178E4B Time : 0.0 sec. user=mdettweiler [2016-07-13 19:02:50] 783*2^1435211-1 is not prime. Res64: 52ED1AAA2CB716C5 Time : 0.0 sec. user=mdettweiler [2016-07-13 19:02:51] 623*2^1435212-1 is not prime. Res64: 0393E85BF4E6498F Time : 0.0 sec. user=mdettweiler [2016-07-13 19:28:59] 653*2^1435212-1 is not prime. Res64: 35A2CED287BAE38F Time : 0.0 sec. user=mdettweiler [2016-07-13 19:28:59] 675*2^1435212-1 is not prime. Res64: 3C04F6D88E8650C2 Time : 0.0 sec. user=mdettweiler [2016-07-13 19:28:59] 689*2^1435212-1 is not prime. Res64: 334C8F838324A05A Time : 0.0 sec. user=mdettweiler [2016-07-13 19:29:00] 693*2^1435212-1 is not prime. Res64: 56140F865ED8E3C8 Time : 0.0 sec. user=mdettweiler [2016-07-13 19:29:00] 719*2^1435212-1 is not prime. Res64: 313ABFED04532C2F Time : 0.0 sec. user=mdettweiler [2016-07-13 19:29:17] 777*2^1435212-1 is not prime. Res64: 97EAA685B49FC7F7 Time : 0.0 sec. user=mdettweiler [2016-07-13 19:29:17] 909*2^1435212-1 is not prime. Res64: A9436A5E2A09B1EC Time : 0.0 sec. user=mdettweiler [2016-07-13 19:29:18] 923*2^1435212-1 is not prime. Res64: 2709A4418360EB7D Time : 0.0 sec. user=mdettweiler [2016-07-13 19:29:18] 987*2^1435212-1 is not prime. Res64: 6C54C7E1F7A7F3C7 Time : 0.0 sec. user=mdettweiler [2016-07-13 19:29:18] 679*2^1435213-1 is not prime. Res64: 24C584EB24BE5FBD Time : 0.0 sec. user=mdettweiler [2016-07-13 19:47:13] 687*2^1435213-1 is not prime. Res64: 395D7630F1D45BDB Time : 0.0 sec. user=mdettweiler [2016-07-13 19:47:17] 721*2^1435213-1 is not prime. Res64: B8620A5E835BEADE Time : 0.0 sec. user=mdettweiler [2016-07-13 19:47:21] 741*2^1435213-1 is not prime. Res64: 044AC0C5E3564F9D Time : 0.0 sec. user=mdettweiler [2016-07-13 19:47:25] 919*2^1435213-1 is not prime. Res64: 3E3FB0DB45D2151C Time : 0.0 sec. user=mdettweiler [2016-07-13 19:47:29] 967*2^1435213-1 is not prime. Res64: 555EB2331199556F Time : 0.0 sec. user=mdettweiler [2016-07-13 19:47:53] 999*2^1435213-1 is not prime. Res64: 5902CC86CBD9AB99 Time : 0.0 sec. user=mdettweiler [2016-07-13 19:47:57] 623*2^1435214-1 is not prime. Res64: DD1A6B6FA9451034 Time : 0.0 sec. user=mdettweiler [2016-07-13 19:48:01] 663*2^1435214-1 is not prime. Res64: 210A61B2D02B9144 Time : 0.0 sec. user=mdettweiler [2016-07-13 19:48:05] 693*2^1435214-1 is not prime. Res64: A7704C913B3C05C8 Time : 0.0 sec. user=mdettweiler [2016-07-13 19:48:09] 851*2^1435214-1 is not prime. Res64: 24C18CC8CC96AA13 Time : 0.0 sec. user=mdettweiler [2016-07-13 20:13:41] 885*2^1435214-1 is not prime. Res64: 942CA6B7EAE88BC2 Time : 0.0 sec. user=mdettweiler [2016-07-13 20:13:45] 915*2^1435214-1 is not prime. Res64: 65AEE18D9696318E Time : 0.0 sec. user=mdettweiler [2016-07-13 20:13:49] 951*2^1435214-1 is not prime. Res64: D7FAB300FF0BA5EF Time : 0.0 sec. user=mdettweiler [2016-07-13 20:13:53] 651*2^1435215-1 is not prime. Res64: 9E3E243749770B72 Time : 0.0 sec. user=mdettweiler [2016-07-13 20:13:57] 663*2^1435215-1 is not prime. Res64: B6EDAA8CA46452BD Time : 0.0 sec. user=mdettweiler [2016-07-13 20:14:02] 711*2^1435215-1 is not prime. Res64: 1CEBA1383950CA8B Time : 0.0 sec. user=mdettweiler [2016-07-13 20:14:06] 919*2^1435215-1 is not prime. Res64: BFBDF63490053C36 Time : 0.0 sec. user=mdettweiler [2016-07-13 20:14:10] 921*2^1435215-1 is not prime. Res64: 4078AC6D805851BA Time : 0.0 sec. user=mdettweiler [2016-07-13 20:14:15] 951*2^1435215-1 is not prime. Res64: 0ADFA9D1F2A70954 Time : 0.0 sec. user=mdettweiler [2016-07-13 20:14:19] 963*2^1435215-1 is not prime. Res64: 4E46937AB008C71C Time : 0.0 sec. user=mdettweiler [2016-07-13 20:32:04] 845*2^1435216-1 is not prime. Res64: DBA7652C0A44ACB7 Time : 0.0 sec. user=mdettweiler [2016-07-13 20:32:04] 607*2^1435217-1 is not prime. Res64: 6D69AA479FBA520E Time : 0.0 sec. user=mdettweiler [2016-07-13 20:32:05] 741*2^1435217-1 is not prime. Res64: 6C775CB0804FFED9 Time : 0.0 sec. user=mdettweiler [2016-07-13 20:32:05] 865*2^1435217-1 is not prime. Res64: 6559D758691892A8 Time : 0.0 sec. user=mdettweiler [2016-07-13 20:32:06] 931*2^1435217-1 is not prime. Res64: 0F3E7CA294F1FF23 Time : 0.0 sec. user=mdettweiler [2016-07-13 20:32:39] 955*2^1435217-1 is not prime. Res64: 5ABA2AEC92D50F93 Time : 0.0 sec. user=mdettweiler [2016-07-13 20:32:39] 981*2^1435217-1 is not prime. Res64: E67533A51BB348AD Time : 0.0 sec. user=mdettweiler [2016-07-13 20:32:40] 605*2^1435218-1 is not prime. Res64: 3BD620BAE24CFCCE Time : 0.0 sec. user=mdettweiler [2016-07-13 20:32:40] 683*2^1435218-1 is not prime. Res64: 21717EDA97BD913D Time : 0.0 sec. user=mdettweiler [2016-07-13 20:32:41] 747*2^1435218-1 is not prime. Res64: DA39D661EDA6E46B Time : 0.0 sec. user=mdettweiler [2016-07-13 20:58:42] 993*2^1435218-1 is not prime. Res64: EFD2A8F8169C1A07 Time : 0.0 sec. user=mdettweiler [2016-07-13 20:58:48] 681*2^1435219-1 is not prime. Res64: BE18CCA49F5C7E16 Time : 0.0 sec. user=mdettweiler [2016-07-13 20:58:48] 759*2^1435219-1 is not prime. Res64: B3D1375719CFF1D8 Time : 0.0 sec. user=mdettweiler [2016-07-13 20:58:54] 691*2^1435219-1 is not prime. Res64: AA2AEC13D2CA8786 Time : 0.0 sec. user=mdettweiler [2016-07-13 20:58:54] 765*2^1435219-1 is not prime. Res64: E90A174FE64030B2 Time : 0.0 sec. user=mdettweiler [2016-07-13 20:59:00] 769*2^1435219-1 is not prime. Res64: 4CCF783C13E35072 Time : 0.0 sec. user=mdettweiler [2016-07-13 20:59:00] 735*2^1435219-1 is not prime. Res64: A5CFB3F0390CF209 Time : 0.0 sec. user=mdettweiler [2016-07-13 20:59:06] 829*2^1435219-1 is not prime. Res64: A01A4D4ED9EB6CC2 Time : 0.0 sec. user=mdettweiler [2016-07-13 20:59:06] 751*2^1435219-1 is not prime. Res64: 85FADA24380513A3 Time : 0.0 sec. user=mdettweiler [2016-07-13 20:59:11] 853*2^1435219-1 is not prime. Res64: 2BD829DD32E0B9B7 Time : 0.0 sec. user=mdettweiler [2016-07-13 21:16:40] 943*2^1435219-1 is not prime. Res64: E8111BB9D4840294 Time : 0.0 sec. user=mdettweiler [2016-07-13 21:16:41] 951*2^1435219-1 is not prime. Res64: 201DB6EC4B12A848 Time : 0.0 sec. user=mdettweiler [2016-07-13 21:16:41] 969*2^1435219-1 is not prime. Res64: 34DD2B8FFE8AACB4 Time : 0.0 sec. user=mdettweiler [2016-07-13 21:16:41] 973*2^1435219-1 is not prime. Res64: 90E8AFFCA7A3B1CD Time : 0.0 sec. user=mdettweiler [2016-07-13 21:16:42] 689*2^1435220-1 is not prime. Res64: E1643E64AFFBB1F1 Time : 0.0 sec. user=mdettweiler [2016-07-13 21:17:03] 719*2^1435220-1 is not prime. Res64: B8959442AE3DA4E7 Time : 0.0 sec. user=mdettweiler [2016-07-13 21:17:04] 797*2^1435220-1 is not prime. Res64: 890390C37CEE41D5 Time : 0.0 sec. user=mdettweiler [2016-07-13 21:17:04] 819*2^1435220-1 is not prime. Res64: DEC9E1CAD5631289 Time : 0.0 sec. user=mdettweiler [2016-07-13 21:17:05] 977*2^1435220-1 is not prime. Res64: 9A3AAF96BCC1FEF9 Time : 0.0 sec. user=mdettweiler [2016-07-13 21:17:05] 625*2^1435221-1 is not prime. Res64: F0DB6CE779E97B6F Time : 0.0 sec. user=mdettweiler [2016-07-13 21:43:38] 627*2^1435221-1 is not prime. Res64: D742C5D0053B886C Time : 0.0 sec. user=mdettweiler [2016-07-13 21:43:38] 669*2^1435221-1 is not prime. Res64: A35CBA76CE791285 Time : 0.0 sec. user=mdettweiler [2016-07-13 21:43:39] 747*2^1435221-1 is not prime. Res64: F108FCF1EB9BB621 Time : 0.0 sec. user=mdettweiler [2016-07-13 21:43:39] 777*2^1435221-1 is not prime. Res64: 9D6FAC732EFB66BD Time : 0.0 sec. user=mdettweiler [2016-07-13 21:43:40] 837*2^1435221-1 is not prime. Res64: 384C08D4C38D6004 Time : 0.0 sec. user=mdettweiler [2016-07-13 21:43:56] 651*2^1435222-1 is not prime. Res64: CE1B70BD940219B2 Time : 0.0 sec. user=mdettweiler [2016-07-13 21:43:56] 855*2^1435222-1 is not prime. Res64: 2AAF66C41EAAC301 Time : 0.0 sec. user=mdettweiler [2016-07-13 21:43:57] 857*2^1435222-1 is not prime. Res64: C064C9A99376696D Time : 0.0 sec. user=mdettweiler [2016-07-13 21:43:57] 863*2^1435222-1 is not prime. Res64: DBE5645EA522DE33 Time : 0.0 sec. user=mdettweiler [2016-07-13 21:43:58] 983*2^1435222-1 is not prime. Res64: 863D66FC270A2E95 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:01:05] 663*2^1435223-1 is not prime. Res64: 533497EFF9ABD9EB Time : 0.0 sec. user=mdettweiler [2016-07-13 22:01:09] 735*2^1435223-1 is not prime. Res64: 2BFDAEF6B104CB50 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:01:13] 775*2^1435223-1 is not prime. Res64: C297E2A86905EE45 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:01:18] 789*2^1435223-1 is not prime. Res64: 4471ED10A9FED6C4 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:01:22] 811*2^1435223-1 is not prime. Res64: F59BDD0DD210F2B6 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:01:33] 859*2^1435223-1 is not prime. Res64: 7B5400056F442EB6 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:01:37] 861*2^1435223-1 is not prime. Res64: 00FF372BC1245A28 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:01:41] 921*2^1435223-1 is not prime. Res64: EC0EC94F08526AF2 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:01:42] 939*2^1435223-1 is not prime. Res64: F73A5CF8C45A88DA Time : 0.0 sec. user=mdettweiler [2016-07-13 22:01:46] 985*2^1435223-1 is not prime. Res64: E14E973848683A08 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:28:08] 629*2^1435224-1 is not prime. Res64: 1A185E43CFF8DF82 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:28:09] 789*2^1435224-1 is not prime. Res64: 9793C61B1FA5A3E4 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:28:09] 825*2^1435224-1 is not prime. Res64: E0DDE6C3E7C71814 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:28:10] 837*2^1435224-1 is not prime. Res64: 7D2B6430616B9FF4 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:28:10] 863*2^1435224-1 is not prime. Res64: 89A88176208D9BFB Time : 0.0 sec. user=mdettweiler [2016-07-13 22:28:34] 649*2^1435225-1 is not prime. Res64: 52B0B77362273948 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:28:34] 651*2^1435225-1 is not prime. Res64: 9C75C9CA147297D4 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:28:35] 705*2^1435225-1 is not prime. Res64: 1760E282CFB0029D Time : 0.0 sec. user=mdettweiler [2016-07-13 22:28:35] 721*2^1435225-1 is not prime. Res64: DF901616D1313232 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:28:36] 729*2^1435225-1 is not prime. Res64: 496C9E174504A881 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:46:07] 667*2^1434949-1 is not prime. Res64: 5B3E2F35A3DC8AA3 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:46:12] 745*2^1434949-1 is not prime. Res64: A7D52863478265A6 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:46:18] 819*2^1434949-1 is not prime. Res64: 038495B5A355AECB Time : 0.0 sec. user=mdettweiler [2016-07-13 22:46:24] 931*2^1434949-1 is not prime. Res64: 4D2430DA5F43366F Time : 0.0 sec. user=mdettweiler [2016-07-13 22:46:30] 603*2^1434950-1 is not prime. Res64: C8A662E4B18872B0 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:46:36] 765*2^1435225-1 is not prime. Res64: D3E12A48752A67FB Time : 0.0 sec. user=mdettweiler [2016-07-13 22:46:41] 799*2^1435225-1 is not prime. Res64: EA3F6E2A2265BD62 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:46:47] 651*2^1435226-1 is not prime. Res64: C39D0E373AF404FC Time : 0.0 sec. user=mdettweiler [2016-07-13 22:46:53] 671*2^1435226-1 is not prime. Res64: 64E7DF94680C0EF4 Time : 0.0 sec. user=mdettweiler [2016-07-13 22:46:59] 713*2^1435226-1 is not prime. Res64: DBDD8997C10D35D3 Time : 0.0 sec. user=mdettweiler [2016-07-13 23:12:57] 801*2^1435226-1 is not prime. Res64: F271A4EA9CE079ED Time : 0.0 sec. user=mdettweiler [2016-07-13 23:13:02] 813*2^1435226-1 is not prime. Res64: 57FF31BF61967B71 Time : 0.0 sec. user=mdettweiler [2016-07-13 23:13:07] 815*2^1435226-1 is not prime. Res64: 359CAA686CED7397 Time : 0.0 sec. user=mdettweiler [2016-07-13 23:13:08] 911*2^1435226-1 is not prime. Res64: BBC07C3AC1697A03 Time : 0.0 sec. user=mdettweiler [2016-07-13 23:13:13] 963*2^1435226-1 is not prime. Res64: ABA76E4092396184 Time : 0.0 sec. user=mdettweiler [2016-07-13 23:13:13] 669*2^1435227-1 is not prime. Res64: D2E585E5A73930EE Time : 0.0 sec. user=mdettweiler [2016-07-13 23:13:19] 879*2^1435227-1 is not prime. Res64: 7CF180F541A4CA86 Time : 0.0 sec. user=mdettweiler [2016-07-13 23:13:24] 623*2^1435228-1 is not prime. Res64: 99630864CBED9FDB Time : 0.0 sec. user=mdettweiler [2016-07-13 23:13:28] 663*2^1435228-1 is not prime. Res64: 9B435211719109A1 Time : 0.0 sec. user=mdettweiler [2016-07-13 23:13:33] 665*2^1435228-1 is not prime. Res64: 17AFFDCDB8DD1B2F Time : 0.0 sec. user=mdettweiler [2016-07-13 23:31:05] 735*2^1435228-1 is not prime. Res64: CE1DFA0CE43CAB5E Time : 0.0 sec. user=mdettweiler [2016-07-13 23:31:05] 743*2^1435228-1 is not prime. Res64: 20508815718C7456 Time : 0.0 sec. user=mdettweiler [2016-07-13 23:31:06] 899*2^1435228-1 is not prime. Res64: 903C0E654E12DDD1 Time : 0.0 sec. user=mdettweiler [2016-07-13 23:31:06] 909*2^1435228-1 is not prime. Res64: AB95D94B6FDE9C06 Time : 0.0 sec. user=mdettweiler [2016-07-13 23:31:06] 987*2^1435228-1 is not prime. Res64: D013C45763838FA2 Time : 0.0 sec. user=mdettweiler [2016-07-13 23:31:46] 989*2^1435228-1 is not prime. Res64: 3D34FACC5D0ED40B Time : 0.0 sec. user=mdettweiler [2016-07-13 23:31:47] 999*2^1435228-1 is not prime. Res64: A6B81C95EEF2BF53 Time : 0.0 sec. user=mdettweiler [2016-07-13 23:31:47] 631*2^1435229-1 is not prime. Res64: C9E542B2D2C9FD76 Time : 0.0 sec. user=mdettweiler [2016-07-13 23:31:47] 645*2^1435229-1 is not prime. Res64: 15B99CB328768CC8 Time : 0.0 sec. user=mdettweiler [2016-07-13 23:31:48] 721*2^1435229-1 is not prime. Res64: 72306A47A102AFF8 Time : 0.0 sec. user=mdettweiler [2016-07-13 23:58:27] 771*2^1435229-1 is not prime. Res64: 07F9B2752C36897F Time : 0.0 sec. user=mdettweiler [2016-07-13 23:58:33] 829*2^1435229-1 is not prime. Res64: EAF46EECFF9BB8B9 Time : 0.0 sec. user=mdettweiler [2016-07-13 23:58:39] 861*2^1435229-1 is not prime. Res64: 5E2D36D3FE2DCD88 Time : 0.0 sec. user=mdettweiler [2016-07-13 23:58:45] 885*2^1435229-1 is not prime. Res64: B218116AC2DF15EB Time : 0.0 sec. user=mdettweiler [2016-07-13 23:58:45] 723*2^1435231-1 is not prime. Res64: 2F18E7240DB5B095 Time : 0.0 sec. user=mdettweiler [2016-07-13 23:58:45] 977*2^1435230-1 is not prime. Res64: AF77BA39FF5DF08C Time : 0.0 sec. user=mdettweiler [2016-07-13 23:58:51] 891*2^1435231-1 is not prime. Res64: EDC1713DA9B4B583 Time : 0.0 sec. user=mdettweiler [2016-07-13 23:58:57] 901*2^1435231-1 is not prime. Res64: 917E906ED30E9DEC Time : 0.0 sec. user=mdettweiler [2016-07-13 23:59:03] 909*2^1435231-1 is not prime. Res64: 2B36E9C117B0A441 Time : 0.0 sec. user=mdettweiler [2016-07-13 23:59:09] 925*2^1435231-1 is not prime. Res64: 32120E6536CF181F Time : 0.0 sec.