user=mdettweiler [2015-07-23 00:06:13] 741*2^1403930-1 is not prime. Res64: 4D74E3CED64A2B51 Time : 0.0 sec. user=mdettweiler [2015-07-23 00:06:15] 927*2^1403930-1 is not prime. Res64: 2DB58EFD8EDD89FA Time : 0.0 sec. user=mdettweiler [2015-07-23 00:06:45] 987*2^1403930-1 is not prime. Res64: F55C4B625FE09C36 Time : 0.0 sec. user=mdettweiler [2015-07-23 00:06:46] 675*2^1403931-1 is not prime. Res64: FB00BE6298332866 Time : 0.0 sec. user=mdettweiler [2015-07-23 00:07:08] 835*2^1403931-1 is not prime. Res64: DC5443F00A95543D Time : 0.0 sec. user=mdettweiler [2015-07-23 00:07:10] 861*2^1403931-1 is not prime. Res64: 7DD7C682A8E5F4BF Time : 0.0 sec. user=mdettweiler [2015-07-23 00:07:12] 903*2^1403931-1 is not prime. Res64: 666795CA327CD553 Time : 0.0 sec. user=mdettweiler [2015-07-23 00:07:14] 623*2^1403932-1 is not prime. Res64: 3C8C48884E1CDA81 Time : 0.0 sec. user=mdettweiler [2015-07-23 00:25:30] 653*2^1403932-1 is not prime. Res64: 1400CAE62445D30F Time : 0.0 sec. user=mdettweiler [2015-07-23 00:25:30] 693*2^1403932-1 is not prime. Res64: 8937853EAF65A489 Time : 0.0 sec. user=mdettweiler [2015-07-23 00:25:44] 705*2^1403932-1 is not prime. Res64: E2504E1043FF6B87 Time : 0.0 sec. user=mdettweiler [2015-07-23 00:25:44] 755*2^1403932-1 is not prime. Res64: 80D74F4C0F75F7DA Time : 0.0 sec. user=mdettweiler [2015-07-23 00:26:04] 887*2^1403932-1 is not prime. Res64: 52C6AD297BA154B3 Time : 0.0 sec. user=mdettweiler [2015-07-23 00:26:04] 939*2^1403932-1 is not prime. Res64: F93808F74072815E Time : 0.0 sec. user=mdettweiler [2015-07-23 00:26:16] 987*2^1403932-1 is not prime. Res64: 3FE1CB21FE281FE6 Time : 0.0 sec. user=mdettweiler [2015-07-23 00:26:16] 627*2^1403933-1 is not prime. Res64: FF46BC03E10F2D02 Time : 0.0 sec. user=mdettweiler [2015-07-23 00:43:56] 697*2^1403933-1 is not prime. Res64: FA8CBDA541FB16D5 Time : 0.0 sec. user=mdettweiler [2015-07-23 00:43:57] 721*2^1403933-1 is not prime. Res64: C35B934523E0A15F Time : 0.0 sec. user=mdettweiler [2015-07-23 00:44:19] 747*2^1403933-1 is not prime. Res64: 2714F4ECB047D018 Time : 0.0 sec. user=mdettweiler [2015-07-23 00:44:19] 787*2^1403933-1 is not prime. Res64: 9A81FE862C00AB54 Time : 0.0 sec. user=mdettweiler [2015-07-23 00:44:42] 889*2^1403933-1 is not prime. Res64: D85227FA8F3B251E Time : 0.0 sec. user=mdettweiler [2015-07-23 00:44:42] 945*2^1403933-1 is not prime. Res64: 8DE19536FD70044F Time : 0.0 sec. user=mdettweiler [2015-07-23 00:44:59] 979*2^1403933-1 is not prime. Res64: 17A7BD29CC71AADD Time : 0.0 sec. user=mdettweiler [2015-07-23 00:45:00] 987*2^1403933-1 is not prime. Res64: 38EFF272C65AC66E Time : 0.0 sec. user=mdettweiler [2015-07-23 01:02:33] 615*2^1403934-1 is not prime. Res64: 68B194CD5D051833 Time : 0.0 sec. user=mdettweiler [2015-07-23 01:02:33] 621*2^1403934-1 is not prime. Res64: F14A77FE043D4431 Time : 0.0 sec. user=mdettweiler [2015-07-23 01:02:47] 693*2^1403934-1 is not prime. Res64: 02609DF308FD4FA9 Time : 0.0 sec. user=mdettweiler [2015-07-23 01:02:48] 707*2^1403934-1 is not prime. Res64: FFAF6D43C5C7FE8F Time : 0.0 sec. user=mdettweiler [2015-07-23 01:03:06] 711*2^1403934-1 is not prime. Res64: E51D74960F903BE5 Time : 0.0 sec. user=mdettweiler [2015-07-23 01:03:07] 731*2^1403934-1 is not prime. Res64: E97F7AEC94D3F521 Time : 0.0 sec. user=mdettweiler [2015-07-23 01:03:32] 765*2^1403934-1 is not prime. Res64: F8A4A67D01165322 Time : 0.0 sec. user=mdettweiler [2015-07-23 01:03:33] 783*2^1403934-1 is not prime. Res64: 51A294B4682085C6 Time : 0.0 sec. user=mdettweiler [2015-07-23 01:20:57] 983*2^1403934-1 is not prime. Res64: 92E1C66DEDC910A8 Time : 0.0 sec. user=mdettweiler [2015-07-23 01:20:57] 1001*2^1403934-1 is not prime. Res64: 65095D2524A32299 Time : 0.0 sec. user=mdettweiler [2015-07-23 01:21:00] 833*2^1403934-1 is not prime. Res64: 9CD2A31205C96D24 Time : 0.0 sec. user=mdettweiler [2015-07-23 01:21:00] 873*2^1403934-1 is not prime. Res64: 3E96B8E6A8ADF4D4 Time : 0.0 sec. user=mdettweiler [2015-07-23 01:21:14] 603*2^1403935-1 is not prime. Res64: 19B9E69D77ED0B04 Time : 0.0 sec. user=mdettweiler [2015-07-23 01:21:15] 673*2^1403935-1 is not prime. Res64: BC8F578E0E52BDA4 Time : 0.0 sec. user=mdettweiler [2015-07-23 01:21:43] 675*2^1403935-1 is not prime. Res64: 79F68A54B92786DA Time : 0.0 sec. user=mdettweiler [2015-07-23 01:21:44] 693*2^1403935-1 is not prime. Res64: 28C05FB2F9803B0D Time : 0.0 sec. user=mdettweiler [2015-07-23 22:15:26] 939*2^1403935-1 is not prime. Res64: 1D2F4F2790B87940 Time : 0.0 sec. user=mdettweiler [2015-07-23 22:15:26] 603*2^1403936-1 is not prime. Res64: 9285C8120DBDC04C Time : 0.0 sec. user=mdettweiler [2015-07-23 22:35:43] 623*2^1403936-1 is not prime. Res64: D973CCE1F6818616 Time : 0.0 sec. user=mdettweiler [2015-07-23 22:35:43] 657*2^1403936-1 is not prime. Res64: 2A71C49529EC47EB Time : 0.0 sec. user=mdettweiler [2015-07-23 22:37:17] 843*2^1403936-1 is not prime. Res64: 13CA1A80E8966E99 Time : 0.0 sec. user=mdettweiler [2015-07-23 22:37:17] 625*2^1403937-1 is not prime. Res64: 9DD549CF44ECA0D0 Time : 0.0 sec. user=mdettweiler [2015-07-23 22:45:48] 689*2^1403936-1 is not prime. Res64: 372B98D23B1D9A48 Time : 0.0 sec. user=mdettweiler [2015-07-23 22:45:48] 813*2^1403936-1 is not prime. Res64: F36B9365081053E0 Time : 0.0 sec. user=mdettweiler [2015-07-23 22:48:15] 805*2^1403935-1 is not prime. Res64: F7834E3EB1395784 Time : 0.0 sec. user=mdettweiler [2015-07-23 22:48:15] 853*2^1403935-1 is not prime. Res64: 6FE3165864F84865 Time : 0.0 sec. user=mdettweiler [2015-07-23 22:56:43] 889*2^1403937-1 is not prime. Res64: BA3D4887C2DDB831 Time : 0.0 sec. user=mdettweiler [2015-07-23 22:56:43] 895*2^1403937-1 is not prime. Res64: 03FE47D99F31B86D Time : 0.0 sec. user=mdettweiler [2015-07-23 22:57:41] 915*2^1403937-1 is not prime. Res64: 932AAF61D434A7D4 Time : 0.0 sec. user=mdettweiler [2015-07-23 22:57:41] 657*2^1403938-1 is not prime. Res64: 100067DC7132CCE4 Time : 0.0 sec. user=mdettweiler [2015-07-23 23:05:07] 665*2^1403938-1 is not prime. Res64: 1E5CEB51C119C904 Time : 0.0 sec. user=mdettweiler [2015-07-23 23:05:08] 681*2^1403938-1 is not prime. Res64: F78DEBBD5860EB9D Time : 0.0 sec. user=mdettweiler [2015-07-23 23:07:04] 777*2^1403938-1 is not prime. Res64: 29BDC1460C96DD0A Time : 0.0 sec. user=mdettweiler [2015-07-23 23:07:05] 843*2^1403938-1 is not prime. Res64: DFDDDC9ADD2D3C1B Time : 0.0 sec. user=mdettweiler [2015-07-23 23:14:56] 861*2^1403938-1 is not prime. Res64: 4D06AD0E48840EF5 Time : 0.0 sec. user=mdettweiler [2015-07-23 23:14:56] 923*2^1403938-1 is not prime. Res64: CE0FF04AB21BCFF3 Time : 0.0 sec. user=mdettweiler [2015-07-23 23:15:44] 975*2^1403938-1 is not prime. Res64: 8867D026302BB7F8 Time : 0.0 sec. user=mdettweiler [2015-07-23 23:15:45] 631*2^1403939-1 is not prime. Res64: 48A023CC9EFB1EBF Time : 0.0 sec. user=mdettweiler [2015-07-23 23:23:54] 703*2^1403939-1 is not prime. Res64: 50CD4AC0F504A615 Time : 0.0 sec. user=mdettweiler [2015-07-23 23:23:54] 775*2^1403939-1 is not prime. Res64: E6B13C87ABFB83AA Time : 0.0 sec. user=mdettweiler [2015-07-23 23:25:42] 939*2^1403939-1 is not prime. Res64: 2A77B4B996235A26 Time : 0.0 sec. user=mdettweiler [2015-07-23 23:25:43] 629*2^1403940-1 is not prime. Res64: 9697A474A18B96A7 Time : 0.0 sec. user=mdettweiler [2015-07-23 23:33:59] 675*2^1403940-1 is not prime. Res64: 185C62AB57D5DF92 Time : 0.0 sec. user=mdettweiler [2015-07-23 23:33:59] 723*2^1403940-1 is not prime. Res64: E8D6475F8821A1E0 Time : 0.0 sec. user=mdettweiler [2015-07-23 23:34:39] 765*2^1403940-1 is not prime. Res64: 84486912F9B49B3D Time : 0.0 sec. user=mdettweiler [2015-07-23 23:34:40] 779*2^1403940-1 is not prime. Res64: 521B83109D7F116B Time : 0.0 sec. user=mdettweiler [2015-07-23 23:43:08] 797*2^1403940-1 is not prime. Res64: 2D06AB395F86BD07 Time : 0.0 sec. user=mdettweiler [2015-07-23 23:43:08] 809*2^1403940-1 is not prime. Res64: ED7974066E1CB637 Time : 0.0 sec. user=mdettweiler [2015-07-23 23:45:04] 825*2^1403940-1 is not prime. Res64: 360F9505911A1B43 Time : 0.0 sec. user=mdettweiler [2015-07-23 23:45:04] 909*2^1403940-1 is not prime. Res64: 00EF3C3C225A3AB9 Time : 0.0 sec. user=mdettweiler [2015-07-23 23:53:19] 999*2^1403940-1 is not prime. Res64: B6BBCF85DEF0ED23 Time : 0.0 sec. user=mdettweiler [2015-07-23 23:53:19] 607*2^1403941-1 is not prime. Res64: 24B3DAE948617D5D Time : 0.0 sec. user=mdettweiler [2015-07-23 23:53:55] 651*2^1403941-1 is not prime. Res64: 415441C4B473BC6E Time : 0.0 sec. user=mdettweiler [2015-07-23 23:53:55] 717*2^1403941-1 is not prime. Res64: C4583CEB1FA08799 Time : 0.0 sec.