user=mdettweiler [2016-08-01 00:29:32] 863*2^1436382-1 is not prime. Res64: DE7DEE823984DC38 Time : 0.0 sec. user=mdettweiler [2016-08-01 00:29:33] 917*2^1436382-1 is not prime. Res64: FDCD4E93C857F898 Time : 0.0 sec. user=mdettweiler [2016-08-01 00:29:34] 975*2^1436382-1 is not prime. Res64: 2A32D3496ECA6209 Time : 0.0 sec. user=mdettweiler [2016-08-01 00:29:35] 663*2^1436383-1 is not prime. Res64: 5E6671111F2B39DC Time : 0.0 sec. user=mdettweiler [2016-08-01 00:29:36] 705*2^1436383-1 is not prime. Res64: 545699A696AF9F09 Time : 0.0 sec. user=mdettweiler [2016-08-01 00:33:52] 763*2^1436383-1 is not prime. Res64: 946303A915EDABC7 Time : 0.0 sec. user=mdettweiler [2016-08-01 00:33:53] 819*2^1436383-1 is not prime. Res64: D97E9D778232E827 Time : 0.0 sec. user=mdettweiler [2016-08-01 00:33:53] 829*2^1436383-1 is not prime. Res64: C4CBEFFDC571ED07 Time : 0.0 sec. user=mdettweiler [2016-08-01 00:33:53] 849*2^1436383-1 is not prime. Res64: 7EA2367858CE6536 Time : 0.0 sec. user=mdettweiler [2016-08-01 00:33:56] 617*2^1436384-1 is not prime. Res64: 643428F9039E46B9 Time : 0.0 sec. user=mdettweiler [2016-08-01 00:37:48] 717*2^1436384-1 is not prime. Res64: AE5B08F47252BD41 Time : 0.0 sec. user=mdettweiler [2016-08-01 00:37:48] 755*2^1436384-1 is not prime. Res64: E5EAC2439974AFA5 Time : 0.0 sec. user=mdettweiler [2016-08-01 00:37:48] 813*2^1436384-1 is not prime. Res64: 6997A91593EB6016 Time : 0.0 sec. user=mdettweiler [2016-08-01 00:37:49] 825*2^1436384-1 is not prime. Res64: 54C3E0150EDE7D3A Time : 0.0 sec. user=mdettweiler [2016-08-01 00:37:51] 843*2^1436384-1 is not prime. Res64: FA077B959FA91384 Time : 0.0 sec. user=mdettweiler [2016-08-01 01:13:43] 945*2^1436384-1 is not prime. Res64: EDB0459FDD0B601F Time : 0.0 sec. user=mdettweiler [2016-08-01 01:13:43] 627*2^1436385-1 is not prime. Res64: 6074969FA438768C Time : 0.0 sec. user=mdettweiler [2016-08-01 01:13:44] 657*2^1436385-1 is not prime. Res64: A4BBC441346CF125 Time : 0.0 sec. user=mdettweiler [2016-08-01 01:13:44] 735*2^1436385-1 is not prime. Res64: D4AFAADEE111229A Time : 0.0 sec. user=mdettweiler [2016-08-01 01:13:44] 739*2^1436385-1 is not prime. Res64: 7C42DD673D5DAF48 Time : 0.0 sec. user=mdettweiler [2016-08-01 01:17:59] 847*2^1436385-1 is not prime. Res64: 174192D13657581C Time : 0.0 sec. user=mdettweiler [2016-08-01 01:17:59] 877*2^1436385-1 is not prime. Res64: E8FC8366A5A6F4AB Time : 0.0 sec. user=mdettweiler [2016-08-01 01:18:00] 979*2^1436385-1 is not prime. Res64: EFFD42E53D9F9E71 Time : 0.0 sec. user=mdettweiler [2016-08-01 01:18:00] 741*2^1436386-1 is not prime. Res64: ECC3B3D453BE38C5 Time : 0.0 sec. user=mdettweiler [2016-08-01 01:18:00] 743*2^1436386-1 is not prime. Res64: 55CA26EBC44F6DA2 Time : 0.0 sec. user=mdettweiler [2016-08-01 01:21:51] 825*2^1436386-1 is not prime. Res64: 114EF37AA959948C Time : 0.0 sec. user=mdettweiler [2016-08-01 01:21:51] 887*2^1436386-1 is not prime. Res64: 1F3860C82899EA7F Time : 0.0 sec. user=mdettweiler [2016-08-01 01:21:52] 945*2^1436386-1 is not prime. Res64: 4992AE7183F7B873 Time : 0.0 sec. user=mdettweiler [2016-08-01 01:21:52] 609*2^1436387-1 is not prime. Res64: 3E06A11F4697F83B Time : 0.0 sec. user=mdettweiler [2016-08-01 01:21:52] 859*2^1436387-1 is not prime. Res64: DE4989378EE834B9 Time : 0.0 sec. user=mdettweiler [2016-08-01 01:57:53] 901*2^1436387-1 is not prime. Res64: 3879D72CE7E55F8C Time : 0.0 sec. user=mdettweiler [2016-08-01 01:57:53] 931*2^1436387-1 is not prime. Res64: 0D5D4559547A73E3 Time : 0.0 sec. user=mdettweiler [2016-08-01 01:57:53] 949*2^1436387-1 is not prime. Res64: 31AC0AD079A63F17 Time : 0.0 sec. user=mdettweiler [2016-08-01 01:57:54] 973*2^1436387-1 is not prime. Res64: 9A30FE4B6682DC5A Time : 0.0 sec. user=mdettweiler [2016-08-01 01:57:54] 993*2^1436387-1 is not prime. Res64: 37CA4E00EC17A4FD Time : 0.0 sec. user=mdettweiler [2016-08-01 02:02:09] 893*2^1436388-1 is not prime. Res64: 630C15EB5276723E Time : 0.0 sec. user=mdettweiler [2016-08-01 02:02:10] 909*2^1436388-1 is not prime. Res64: E7421BF124AF5210 Time : 0.0 sec. user=mdettweiler [2016-08-01 02:02:11] 927*2^1436388-1 is not prime. Res64: FF499765A5EE4675 Time : 0.0 sec. user=mdettweiler [2016-08-01 02:02:11] 969*2^1436388-1 is not prime. Res64: 4EAEC7F9F727FEB3 Time : 0.0 sec. user=mdettweiler [2016-08-01 02:02:12] 609*2^1436389-1 is not prime. Res64: 275E900F4C3C5A71 Time : 0.0 sec. user=mdettweiler [2016-08-01 02:06:04] 621*2^1436389-1 is not prime. Res64: 1784B951471386DD Time : 0.0 sec. user=mdettweiler [2016-08-01 02:06:05] 649*2^1436389-1 is not prime. Res64: DE7B5C4FD8A52D9B Time : 0.0 sec. user=mdettweiler [2016-08-01 02:06:06] 675*2^1436389-1 is not prime. Res64: F4BC9BF2BF0A8F08 Time : 0.0 sec. user=mdettweiler [2016-08-01 02:06:07] 729*2^1436389-1 is not prime. Res64: 209E821FEFAB0A34 Time : 0.0 sec. user=mdettweiler [2016-08-01 02:06:08] 757*2^1436389-1 is not prime. Res64: F175801C4592C7EA Time : 0.0 sec. user=mdettweiler [2016-08-01 02:42:07] 765*2^1436389-1 is not prime. Res64: 099739BA5F1FAE9C Time : 0.0 sec. user=mdettweiler [2016-08-01 02:42:08] 789*2^1436389-1 is not prime. Res64: 8B501BF31BDD05BE Time : 0.0 sec. user=mdettweiler [2016-08-01 02:42:08] 895*2^1436389-1 is not prime. Res64: 7565CFF31D658E79 Time : 0.0 sec. user=mdettweiler [2016-08-01 02:42:08] 951*2^1436389-1 is not prime. Res64: B50D74A639A67459 Time : 0.0 sec. user=mdettweiler [2016-08-01 02:42:09] 961*2^1436389-1 is not prime. Res64: ED6E202899C9A106 Time : 0.0 sec. user=mdettweiler [2016-08-01 02:46:23] 979*2^1436389-1 is not prime. Res64: AFAE281533ED2987 Time : 0.0 sec. user=mdettweiler [2016-08-01 02:46:23] 627*2^1436390-1 is not prime. Res64: E4573AEE137AD923 Time : 0.0 sec. user=mdettweiler [2016-08-01 02:46:23] 797*2^1436390-1 is not prime. Res64: 13C0B6206C868BE4 Time : 0.0 sec. user=mdettweiler [2016-08-01 02:46:24] 875*2^1436390-1 is not prime. Res64: C9021B83F251DD85 Time : 0.0 sec. user=mdettweiler [2016-08-01 02:46:24] 885*2^1436390-1 is not prime. Res64: 6A0F3FC207EC5212 Time : 0.0 sec. user=mdettweiler [2016-08-01 02:50:19] 675*2^1436391-1 is not prime. Res64: 12724DABEA7FD48D Time : 0.0 sec. user=mdettweiler [2016-08-01 02:50:20] 739*2^1436391-1 is not prime. Res64: 14C48B5ED68C15DC Time : 0.0 sec. user=mdettweiler [2016-08-01 02:50:20] 751*2^1436391-1 is not prime. Res64: 355A0AFC00379EDB Time : 0.0 sec. user=mdettweiler [2016-08-01 02:50:20] 789*2^1436391-1 is not prime. Res64: 055E3414EFCB7922 Time : 0.0 sec. user=mdettweiler [2016-08-01 02:50:21] 805*2^1436391-1 is not prime. Res64: CAE59AC3A287CDAC Time : 0.0 sec. user=juhehe [2016-08-01 03:00:12] 975*2^1436391-1 is not prime. Res64: C1A51D5F1F711EC5 Time : 0.0 sec. user=mdettweiler [2016-08-01 03:26:08] 777*2^1436392-1 is not prime. Res64: 3FF64D68BCC65637 Time : 0.0 sec. user=mdettweiler [2016-08-01 03:26:09] 779*2^1436392-1 is not prime. Res64: 6F87DF59E4868F26 Time : 0.0 sec. user=mdettweiler [2016-08-01 03:26:10] 825*2^1436392-1 is not prime. Res64: 8956EE4B64ADC360 Time : 0.0 sec. user=mdettweiler [2016-08-01 03:26:11] 873*2^1436392-1 is not prime. Res64: EDB652367670C5A9 Time : 0.0 sec. user=mdettweiler [2016-08-01 03:26:12] 631*2^1436393-1 is not prime. Res64: 8B024E01783AE4AF Time : 0.0 sec. user=mdettweiler [2016-08-01 03:30:24] 675*2^1436393-1 is not prime. Res64: A72F5FD99774BC31 Time : 0.0 sec. user=mdettweiler [2016-08-01 03:30:25] 685*2^1436393-1 is not prime. Res64: 4760D916E9DECEE0 Time : 0.0 sec. user=mdettweiler [2016-08-01 03:30:27] 721*2^1436393-1 is not prime. Res64: 5425E9299EE9DB17 Time : 0.0 sec. user=mdettweiler [2016-08-01 03:30:28] 727*2^1436393-1 is not prime. Res64: A49FC10982FA6776 Time : 0.0 sec. user=mdettweiler [2016-08-01 03:30:30] 745*2^1436393-1 is not prime. Res64: B1A68F091246F1AD Time : 0.0 sec. user=mdettweiler [2016-08-01 03:34:20] 663*2^1436394-1 is not prime. Res64: 658280DB4CF66AAE Time : 0.0 sec. user=mdettweiler [2016-08-01 03:34:21] 681*2^1436394-1 is not prime. Res64: 464D12F37CD06722 Time : 0.0 sec. user=mdettweiler [2016-08-01 03:34:22] 747*2^1436394-1 is not prime. Res64: C7131088103EF8E4 Time : 0.0 sec. user=mdettweiler [2016-08-01 03:34:23] 861*2^1436394-1 is not prime. Res64: 4B77E32F26C2A30D Time : 0.0 sec. user=mdettweiler [2016-08-01 03:34:24] 903*2^1436394-1 is not prime. Res64: 91A0DFDD35ED1347 Time : 0.0 sec. user=mdettweiler [2016-08-01 04:10:18] 947*2^1436394-1 is not prime. Res64: CC0B028021A29799 Time : 0.0 sec. user=mdettweiler [2016-08-01 04:10:20] 651*2^1436395-1 is not prime. Res64: 31813A4EC682C89F Time : 0.0 sec. user=mdettweiler [2016-08-01 04:10:23] 685*2^1436395-1 is not prime. Res64: 833FB8C43C060569 Time : 0.0 sec. user=mdettweiler [2016-08-01 04:10:25] 723*2^1436395-1 is not prime. Res64: 52E9D6908B49662E Time : 0.0 sec. user=mdettweiler [2016-08-01 04:10:29] 829*2^1436395-1 is not prime. Res64: 8071EE2E90F487FF Time : 0.0 sec. user=mdettweiler [2016-08-01 04:14:38] 859*2^1436395-1 is not prime. Res64: 5746974527A68544 Time : 0.0 sec. user=mdettweiler [2016-08-01 04:14:38] 919*2^1436395-1 is not prime. Res64: DE8AE8D6817FD3D2 Time : 0.0 sec. user=mdettweiler [2016-08-01 04:14:39] 961*2^1436395-1 is not prime. Res64: 2413FA5D56064D5C Time : 0.0 sec. user=mdettweiler [2016-08-01 04:14:39] 657*2^1436396-1 is not prime. Res64: 1271CBE9514E7D49 Time : 0.0 sec. user=mdettweiler [2016-08-01 04:14:40] 837*2^1436396-1 is not prime. Res64: 7B42D5AF5AF80C99 Time : 0.0 sec. user=mdettweiler [2016-08-01 04:18:29] 903*2^1436396-1 is not prime. Res64: 14AECE4A95DEAA6C Time : 0.0 sec. user=mdettweiler [2016-08-01 04:18:29] 923*2^1436396-1 is not prime. Res64: DADEB2F3A0AA24D5 Time : 0.0 sec. user=mdettweiler [2016-08-01 04:18:29] 987*2^1436396-1 is not prime. Res64: F4DE17FB13864CBB Time : 0.0 sec. user=mdettweiler [2016-08-01 04:18:30] 621*2^1436397-1 is not prime. Res64: DB4EDFB45F36D72B Time : 0.0 sec. user=mdettweiler [2016-08-01 04:18:30] 649*2^1436397-1 is not prime. Res64: BF553869C54AA0C3 Time : 0.0 sec. user=mdettweiler [2016-08-01 04:54:41] 867*2^1436397-1 is not prime. Res64: 1321C9A0B1AD883D Time : 0.0 sec. user=mdettweiler [2016-08-01 04:54:41] 979*2^1436397-1 is not prime. Res64: 6DEF904B4070C378 Time : 0.0 sec. user=mdettweiler [2016-08-01 04:54:42] 621*2^1436398-1 is not prime. Res64: 3A1203DBABD86007 Time : 0.0 sec. user=mdettweiler [2016-08-01 04:54:42] 645*2^1436398-1 is not prime. Res64: 642B9699C87A2042 Time : 0.0 sec. user=mdettweiler [2016-08-01 04:54:42] 665*2^1436398-1 is not prime. Res64: 4BC51C4F76D76DBF Time : 0.0 sec. user=mdettweiler [2016-08-01 04:58:42] 687*2^1436398-1 is not prime. Res64: CC30EDD52A670A96 Time : 0.0 sec. user=mdettweiler [2016-08-01 04:58:42] 695*2^1436398-1 is not prime. Res64: 332FB745F2DFE73D Time : 0.0 sec. user=mdettweiler [2016-08-01 04:58:43] 755*2^1436398-1 is not prime. Res64: 894B052433540F3A Time : 0.0 sec. user=mdettweiler [2016-08-01 04:58:43] 827*2^1436398-1 is not prime. Res64: 0DC7B63881801D0E Time : 0.0 sec. user=mdettweiler [2016-08-01 04:58:43] 831*2^1436398-1 is not prime. Res64: A7C50F6E19EE40EB Time : 0.0 sec. user=mdettweiler [2016-08-01 05:02:32] 833*2^1436398-1 is not prime. Res64: 3253F005F4587B54 Time : 0.0 sec. user=mdettweiler [2016-08-01 05:02:33] 911*2^1436398-1 is not prime. Res64: 1524DA593AE6EBA3 Time : 0.0 sec. user=mdettweiler [2016-08-01 05:02:33] 951*2^1436398-1 is not prime. Res64: 5D2D1CF0D4CD6696 Time : 0.0 sec. user=mdettweiler [2016-08-01 05:02:34] 957*2^1436398-1 is not prime. Res64: BB728F60D54B0895 Time : 0.0 sec. user=mdettweiler [2016-08-01 05:02:35] 601*2^1436399-1 is not prime. Res64: 22A987BD6E604644 Time : 0.0 sec. user=mdettweiler [2016-08-01 05:38:43] 645*2^1436399-1 is not prime. Res64: AFB67ED68BC936B3 Time : 0.0 sec. user=mdettweiler [2016-08-01 05:38:43] 679*2^1436399-1 is not prime. Res64: 9C17778D7A3404EC Time : 0.0 sec. user=mdettweiler [2016-08-01 05:38:44] 693*2^1436399-1 is not prime. Res64: F96532AA452C5FD2 Time : 0.0 sec. user=mdettweiler [2016-08-01 05:38:44] 741*2^1436399-1 is not prime. Res64: 9F02A8DAAEFADC05 Time : 0.0 sec. user=mdettweiler [2016-08-01 05:38:45] 799*2^1436399-1 is not prime. Res64: BD3649D27773FAA2 Time : 0.0 sec. user=mdettweiler [2016-08-01 05:42:42] 861*2^1436399-1 is not prime. Res64: 08BE8381F6671E1E Time : 0.0 sec. user=mdettweiler [2016-08-01 05:42:42] 889*2^1436399-1 is not prime. Res64: C0E7F922771587B7 Time : 0.0 sec. user=mdettweiler [2016-08-01 05:42:43] 635*2^1436400-1 is not prime. Res64: A561FF407B38F87D Time : 0.0 sec. user=mdettweiler [2016-08-01 05:42:43] 653*2^1436400-1 is not prime. Res64: B6E0C1AEBC52BEAB Time : 0.0 sec. user=mdettweiler [2016-08-01 05:42:43] 665*2^1436400-1 is not prime. Res64: 3902B65A2CE9928A Time : 0.0 sec. user=mdettweiler [2016-08-01 05:46:35] 693*2^1436400-1 is not prime. Res64: EB4CCE72BA67B162 Time : 0.0 sec. user=mdettweiler [2016-08-01 05:46:36] 935*2^1436400-1 is not prime. Res64: E36CB7676485E8BA Time : 0.0 sec. user=mdettweiler [2016-08-01 05:46:36] 775*2^1436401-1 is not prime. Res64: 736489863A6ADE85 Time : 0.0 sec. user=mdettweiler [2016-08-01 05:46:36] 623*2^1436402-1 is not prime. Res64: BFC08D850F0672A4 Time : 0.0 sec. user=mdettweiler [2016-08-01 05:46:37] 743*2^1436402-1 is not prime. Res64: 3C7E3A88EFDE2853 Time : 0.0 sec. user=mdettweiler [2016-08-01 06:22:48] 767*2^1436402-1 is not prime. Res64: C133454B59838779 Time : 0.0 sec. user=mdettweiler [2016-08-01 06:22:49] 791*2^1436402-1 is not prime. Res64: 974D39FB968A1426 Time : 0.0 sec. user=mdettweiler [2016-08-01 06:22:49] 813*2^1436402-1 is not prime. Res64: 6FDE50E9223D777C Time : 0.0 sec. user=mdettweiler [2016-08-01 06:22:49] 827*2^1436402-1 is not prime. Res64: CCC32749B391AACB Time : 0.0 sec. user=mdettweiler [2016-08-01 06:22:50] 1001*2^1436402-1 is not prime. Res64: 0E4DF9873853F787 Time : 0.0 sec. user=mdettweiler [2016-08-01 06:26:42] 621*2^1436403-1 is not prime. Res64: E0849F608A23FA93 Time : 0.0 sec. user=mdettweiler [2016-08-01 06:26:42] 705*2^1436403-1 is not prime. Res64: 3711FFA2CA8DFDAF Time : 0.0 sec. user=mdettweiler [2016-08-01 06:26:43] 819*2^1436403-1 is not prime. Res64: A0856F903A76804D Time : 0.0 sec. user=mdettweiler [2016-08-01 06:26:43] 849*2^1436403-1 is not prime. Res64: 735820362F64E205 Time : 0.0 sec. user=mdettweiler [2016-08-01 06:26:43] 949*2^1436403-1 is not prime. Res64: 76948A2F4BF01336 Time : 0.0 sec. user=mdettweiler [2016-08-01 06:30:35] 985*2^1436403-1 is not prime. Res64: E57A54F8A0047636 Time : 0.0 sec. user=mdettweiler [2016-08-01 06:30:37] 605*2^1436404-1 is not prime. Res64: 2A7EA3A1CEE7C577 Time : 0.0 sec. user=mdettweiler [2016-08-01 06:30:39] 623*2^1436404-1 is not prime. Res64: 6B78B5FC837289CE Time : 0.0 sec. user=mdettweiler [2016-08-01 06:30:39] 635*2^1436404-1 is not prime. Res64: 59233266E696EB21 Time : 0.0 sec. user=mdettweiler [2016-08-01 06:30:40] 677*2^1436404-1 is not prime. Res64: EE06136A778C817B Time : 0.0 sec. user=mdettweiler [2016-08-01 07:06:55] 695*2^1436404-1 is not prime. Res64: 416627B081DA4A0E Time : 0.0 sec. user=mdettweiler [2016-08-01 07:06:55] 759*2^1436404-1 is not prime. Res64: 6DFB11D6CD3134BA Time : 0.0 sec. user=mdettweiler [2016-08-01 07:06:56] 657*2^1436405-1 is not prime. Res64: 9714FFEDA5A234EB Time : 0.0 sec. user=mdettweiler [2016-08-01 07:06:56] 697*2^1436405-1 is not prime. Res64: 4CC3ABA915731BC7 Time : 0.0 sec. user=mdettweiler [2016-08-01 07:06:57] 699*2^1436405-1 is not prime. Res64: 85754C8DE2D7376B Time : 0.0 sec. user=mdettweiler [2016-08-01 07:10:45] 865*2^1436405-1 is not prime. Res64: D79DC042133AB4BC Time : 0.0 sec. user=mdettweiler [2016-08-01 07:10:47] 979*2^1436405-1 is not prime. Res64: 06DF95DB4DE7A93D Time : 0.0 sec. user=mdettweiler [2016-08-01 07:10:48] 987*2^1436405-1 is not prime. Res64: 4CE9BE9B50CB36A5 Time : 0.0 sec. user=mdettweiler [2016-08-01 07:10:50] 641*2^1436406-1 is not prime. Res64: A4B27AA11F4ECC52 Time : 0.0 sec. user=mdettweiler [2016-08-01 07:10:51] 671*2^1436406-1 is not prime. Res64: 8F531133E0135FE6 Time : 0.0 sec. user=mdettweiler [2016-08-01 07:14:43] 783*2^1436406-1 is not prime. Res64: 929E7A1070466CA2 Time : 0.0 sec. user=mdettweiler [2016-08-01 07:14:44] 833*2^1436406-1 is not prime. Res64: 3D645C6EBA8FC715 Time : 0.0 sec. user=mdettweiler [2016-08-01 07:14:44] 867*2^1436406-1 is not prime. Res64: 7C273DDCD2F42FDB Time : 0.0 sec. user=mdettweiler [2016-08-01 07:14:45] 603*2^1436407-1 is not prime. Res64: 0381AB055F0DA044 Time : 0.0 sec. user=mdettweiler [2016-08-01 07:14:45] 633*2^1436407-1 is not prime. Res64: 326962B89F2628F3 Time : 0.0 sec. user=mdettweiler [2016-08-01 07:51:00] 651*2^1436407-1 is not prime. Res64: 9881A010A733F454 Time : 0.0 sec. user=mdettweiler [2016-08-01 07:51:01] 681*2^1436407-1 is not prime. Res64: 5D9DA917E41430A9 Time : 0.0 sec. user=mdettweiler [2016-08-01 07:51:01] 693*2^1436407-1 is not prime. Res64: D0CEF9404DD82AC4 Time : 0.0 sec. user=mdettweiler [2016-08-01 07:51:02] 901*2^1436407-1 is not prime. Res64: 5EDF64A7CD6BD149 Time : 0.0 sec. user=mdettweiler [2016-08-01 07:51:02] 925*2^1436407-1 is not prime. Res64: 08AA1432582D2409 Time : 0.0 sec. user=mdettweiler [2016-08-01 07:55:01] 951*2^1436407-1 is not prime. Res64: 155931C3B952EEA7 Time : 0.0 sec. user=mdettweiler [2016-08-01 07:55:02] 979*2^1436407-1 is not prime. Res64: ABFB95DF6BC10589 Time : 0.0 sec. user=mdettweiler [2016-08-01 07:55:02] 839*2^1436408-1 is not prime. Res64: 2A5342A3F547A7F9 Time : 0.0 sec. user=mdettweiler [2016-08-01 07:55:02] 867*2^1436408-1 is not prime. Res64: 95A72982FE9BBAD3 Time : 0.0 sec. user=mdettweiler [2016-08-01 07:55:03] 899*2^1436408-1 is not prime. Res64: 1501AE4444004260 Time : 0.0 sec. user=mdettweiler [2016-08-01 07:58:52] 915*2^1436408-1 is not prime. Res64: D88220C5D1AB422D Time : 0.0 sec. user=mdettweiler [2016-08-01 07:58:52] 927*2^1436408-1 is not prime. Res64: DBCD35709C0A38F8 Time : 0.0 sec. user=mdettweiler [2016-08-01 07:58:52] 957*2^1436408-1 is not prime. Res64: 9CCE389A095D3202 Time : 0.0 sec. user=mdettweiler [2016-08-01 07:58:53] 795*2^1436409-1 is not prime. Res64: 853EEC0B81DC112D Time : 0.0 sec. user=mdettweiler [2016-08-01 07:58:57] 847*2^1436409-1 is not prime. Res64: DB29D16628C2AE68 Time : 0.0 sec. user=mdettweiler [2016-08-01 08:35:04] 945*2^1436409-1 is not prime. Res64: 961C7354E14428E6 Time : 0.0 sec. user=mdettweiler [2016-08-01 08:35:05] 951*2^1436409-1 is not prime. Res64: 1302F0D583DAF53F Time : 0.0 sec. user=mdettweiler [2016-08-01 08:35:07] 645*2^1436410-1 is not prime. Res64: 930821F902141C42 Time : 0.0 sec. user=mdettweiler [2016-08-01 08:35:07] 665*2^1436410-1 is not prime. Res64: 741AF1BA1B139733 Time : 0.0 sec. user=mdettweiler [2016-08-01 08:35:08] 701*2^1436410-1 is not prime. Res64: 8DF09359500FD1A9 Time : 0.0 sec. user=mdettweiler [2016-08-01 08:39:03] 723*2^1436410-1 is not prime. Res64: 8DF50A1C0A57FFD8 Time : 0.0 sec. user=mdettweiler [2016-08-01 08:39:04] 777*2^1436410-1 is not prime. Res64: 7607BB2BF2133EE3 Time : 0.0 sec. user=mdettweiler [2016-08-01 08:39:04] 933*2^1436410-1 is not prime. Res64: A2C4955AA962FB5D Time : 0.0 sec. user=mdettweiler [2016-08-01 08:39:04] 945*2^1436410-1 is not prime. Res64: 3D277194C44F7C74 Time : 0.0 sec. user=mdettweiler [2016-08-01 08:39:05] 981*2^1436410-1 is not prime. Res64: 30FF55094FB8B173 Time : 0.0 sec. user=mdettweiler [2016-08-01 08:42:59] 995*2^1436410-1 is not prime. Res64: 3D1D01DD55D9E882 Time : 0.0 sec. user=mdettweiler [2016-08-01 08:43:00] 733*2^1436411-1 is not prime. Res64: 82013DDDBDE19BB2 Time : 0.0 sec. user=mdettweiler [2016-08-01 08:43:00] 753*2^1436411-1 is not prime. Res64: FE46F036ADD71BF0 Time : 0.0 sec. user=mdettweiler [2016-08-01 08:43:00] 789*2^1436411-1 is not prime. Res64: C115E79DD4C0EE57 Time : 0.0 sec. user=mdettweiler [2016-08-01 08:43:01] 895*2^1436411-1 is not prime. Res64: A6330768C6A7BF42 Time : 0.0 sec. user=mdettweiler [2016-08-01 09:19:11] 665*2^1436412-1 is not prime. Res64: 7E84DD439A7BD888 Time : 0.0 sec. user=mdettweiler [2016-08-01 09:19:11] 719*2^1436412-1 is not prime. Res64: ADD7C1E6DC2E3C0D Time : 0.0 sec. user=mdettweiler [2016-08-01 09:19:12] 929*2^1436412-1 is not prime. Res64: 09C1059D55E3EE2F Time : 0.0 sec. user=mdettweiler [2016-08-01 09:19:12] 959*2^1436412-1 is not prime. Res64: A53A20AF3B21A756 Time : 0.0 sec. user=mdettweiler [2016-08-01 09:19:12] 729*2^1436413-1 is not prime. Res64: 46E625D2E09A231E Time : 0.0 sec. user=mdettweiler [2016-08-01 09:23:12] 757*2^1436413-1 is not prime. Res64: 1F0999C529213910 Time : 0.0 sec. user=mdettweiler [2016-08-01 09:23:12] 805*2^1436413-1 is not prime. Res64: CBC72839D290D32A Time : 0.0 sec. user=mdettweiler [2016-08-01 09:23:13] 877*2^1436413-1 is not prime. Res64: FCA84F06BBF88C51 Time : 0.0 sec. user=mdettweiler [2016-08-01 09:23:13] 895*2^1436413-1 is not prime. Res64: F1C27453B15A66A9 Time : 0.0 sec. user=mdettweiler [2016-08-01 09:23:14] 915*2^1436413-1 is not prime. Res64: C2FAEBFBD812201D Time : 0.0 sec. user=mdettweiler [2016-08-01 09:27:06] 987*2^1436413-1 is not prime. Res64: 768D268AC74B5E4E Time : 0.0 sec. user=mdettweiler [2016-08-01 09:27:06] 651*2^1436414-1 is not prime. Res64: 835CA512EDE03031 Time : 0.0 sec. user=mdettweiler [2016-08-01 09:27:09] 755*2^1436414-1 is not prime. Res64: 16715E035BA6EDE7 Time : 0.0 sec. user=mdettweiler [2016-08-01 09:27:09] 873*2^1436414-1 is not prime. Res64: 92EAC2FFBB9BA316 Time : 0.0 sec. user=mdettweiler [2016-08-01 09:27:09] 609*2^1436415-1 is not prime. Res64: 3D2C6F36F70D499D Time : 0.0 sec. user=mdettweiler [2016-08-01 10:03:16] 625*2^1436415-1 is not prime. Res64: F14E67CA0296C6CB Time : 0.0 sec. user=mdettweiler [2016-08-01 10:03:17] 763*2^1436415-1 is not prime. Res64: 950A48920E271AA7 Time : 0.0 sec. user=mdettweiler [2016-08-01 10:03:18] 849*2^1436415-1 is not prime. Res64: 93C72F6E1FBF382C Time : 0.0 sec. user=mdettweiler [2016-08-01 10:03:21] 871*2^1436415-1 is not prime. Res64: 76CDEA5130EA4130 Time : 0.0 sec. user=mdettweiler [2016-08-01 10:03:22] 955*2^1436415-1 is not prime. Res64: 14FF8E511971F2FC Time : 0.0 sec. user=mdettweiler [2016-08-01 10:07:15] 963*2^1436415-1 is not prime. Res64: 77ABF9B54023249A Time : 0.0 sec. user=mdettweiler [2016-08-01 10:07:16] 899*2^1436416-1 is not prime. Res64: 9CF76769CD3D5077 Time : 0.0 sec. user=mdettweiler [2016-08-01 10:07:17] 909*2^1436416-1 is not prime. Res64: 9B809D24E8D6F92C Time : 0.0 sec. user=mdettweiler [2016-08-01 10:07:17] 927*2^1436416-1 is not prime. Res64: 3624FF23B33373A2 Time : 0.0 sec. user=mdettweiler [2016-08-01 10:07:18] 741*2^1436417-1 is not prime. Res64: B93FABC2CF0E4917 Time : 0.0 sec. user=mdettweiler [2016-08-01 10:11:16] 879*2^1436417-1 is not prime. Res64: C921C01DDE90424A Time : 0.0 sec. user=mdettweiler [2016-08-01 10:11:16] 931*2^1436417-1 is not prime. Res64: 036867DA174EA9DD Time : 0.0 sec. user=mdettweiler [2016-08-01 10:11:16] 957*2^1436417-1 is not prime. Res64: DC6C56F1AA69E6FA Time : 0.0 sec. user=mdettweiler [2016-08-01 10:11:17] 695*2^1436418-1 is not prime. Res64: 4A066AF80A9790C6 Time : 0.0 sec. user=mdettweiler [2016-08-01 10:11:17] 737*2^1436418-1 is not prime. Res64: C16A2D7EFA85EFBA Time : 0.0 sec. user=mdettweiler [2016-08-01 10:47:28] 797*2^1436418-1 is not prime. Res64: B9B4F15EAD0A8007 Time : 0.0 sec. user=mdettweiler [2016-08-01 10:47:29] 1001*2^1436418-1 is not prime. Res64: 424A2B3B2A5F7862 Time : 0.0 sec. user=mdettweiler [2016-08-01 10:47:29] 603*2^1436419-1 is not prime. Res64: E70AAA4EBE83C9C5 Time : 0.0 sec. user=mdettweiler [2016-08-01 10:47:29] 645*2^1436419-1 is not prime. Res64: 042485ACE0F52661 Time : 0.0 sec. user=mdettweiler [2016-08-01 10:47:30] 691*2^1436419-1 is not prime. Res64: 3EC20E03D83875E2 Time : 0.0 sec. user=mdettweiler [2016-08-01 10:51:18] 853*2^1436419-1 is not prime. Res64: C480637EE3DF96AC Time : 0.0 sec. user=mdettweiler [2016-08-01 10:51:18] 969*2^1436419-1 is not prime. Res64: B1D90C8F11867A88 Time : 0.0 sec. user=mdettweiler [2016-08-01 10:51:18] 717*2^1436420-1 is not prime. Res64: 789DEB4D4C8448B7 Time : 0.0 sec. user=mdettweiler [2016-08-01 10:51:19] 795*2^1436420-1 is not prime. Res64: 72C739528EA8036C Time : 0.0 sec. user=mdettweiler [2016-08-01 10:51:19] 825*2^1436420-1 is not prime. Res64: 7D8ED29237ABCF60 Time : 0.0 sec. user=mdettweiler [2016-08-01 10:55:19] 845*2^1436420-1 is not prime. Res64: 1A513E37740D526A Time : 0.0 sec. user=mdettweiler [2016-08-01 10:55:19] 953*2^1436420-1 is not prime. Res64: 86F767A369C83554 Time : 0.0 sec. user=mdettweiler [2016-08-01 10:55:19] 983*2^1436420-1 is not prime. Res64: 80266B92B9B622B9 Time : 0.0 sec. user=mdettweiler [2016-08-01 10:55:20] 657*2^1436421-1 is not prime. Res64: 7E9186DF59D0DA77 Time : 0.0 sec. user=mdettweiler [2016-08-01 10:55:20] 709*2^1436421-1 is not prime. Res64: 60DF2D7203239865 Time : 0.0 sec. user=mdettweiler [2016-08-01 11:31:37] 735*2^1436421-1 is not prime. Res64: DF6A38B01E3C6BEC Time : 0.0 sec. user=mdettweiler [2016-08-01 11:31:38] 781*2^1436421-1 is not prime. Res64: 4B2A17192C0F2A37 Time : 0.0 sec. user=mdettweiler [2016-08-01 11:31:38] 621*2^1436422-1 is not prime. Res64: E34A5D2C8F7E47F6 Time : 0.0 sec. user=mdettweiler [2016-08-01 11:31:39] 647*2^1436422-1 is not prime. Res64: 470423D838991FCD Time : 0.0 sec. user=mdettweiler [2016-08-01 11:31:39] 665*2^1436422-1 is not prime. Res64: 26A9F4F0F6EE6845 Time : 0.0 sec. user=mdettweiler [2016-08-01 11:35:24] 681*2^1436422-1 is not prime. Res64: 8CD3F2E8EB0A2C61 Time : 0.0 sec. user=mdettweiler [2016-08-01 11:35:24] 743*2^1436422-1 is not prime. Res64: 7E9497BCBC6BD7F6 Time : 0.0 sec. user=mdettweiler [2016-08-01 11:35:24] 761*2^1436422-1 is not prime. Res64: 7711B1DABFCC312A Time : 0.0 sec. user=mdettweiler [2016-08-01 11:35:25] 765*2^1436422-1 is not prime. Res64: D44B3DD9B4C6BA43 Time : 0.0 sec. user=mdettweiler [2016-08-01 11:35:25] 815*2^1436422-1 is not prime. Res64: DCAB279D89C2D70F Time : 0.0 sec. user=mdettweiler [2016-08-01 11:39:24] 923*2^1436422-1 is not prime. Res64: 67ACD36BE81A86B1 Time : 0.0 sec. user=mdettweiler [2016-08-01 11:39:25] 965*2^1436422-1 is not prime. Res64: BC575FA1F0A5F143 Time : 0.0 sec. user=mdettweiler [2016-08-01 11:39:25] 987*2^1436422-1 is not prime. Res64: 07752F5568379DAB Time : 0.0 sec. user=mdettweiler [2016-08-01 11:39:26] 703*2^1436423-1 is not prime. Res64: E672A65EA5AD2031 Time : 0.0 sec. user=mdettweiler [2016-08-01 11:39:26] 741*2^1436423-1 is not prime. Res64: 72F4C4A25143B094 Time : 0.0 sec. user=mdettweiler [2016-08-01 12:15:41] 775*2^1436423-1 is not prime. Res64: 9110CB8E88800C40 Time : 0.0 sec. user=mdettweiler [2016-08-01 12:15:42] 811*2^1436423-1 is not prime. Res64: CD4AAAC2BFFEFE5E Time : 0.0 sec. user=mdettweiler [2016-08-01 12:15:42] 615*2^1436424-1 is not prime. Res64: B94D88AC870EA118 Time : 0.0 sec. user=mdettweiler [2016-08-01 12:15:42] 689*2^1436424-1 is not prime. Res64: 4AF32374CB059EBE Time : 0.0 sec. user=mdettweiler [2016-08-01 12:15:43] 693*2^1436424-1 is not prime. Res64: C0495188A7E6FEA5 Time : 0.0 sec. user=mdettweiler [2016-08-01 12:19:26] 873*2^1436424-1 is not prime. Res64: 39C97B10D03693E6 Time : 0.0 sec. user=mdettweiler [2016-08-01 12:19:27] 887*2^1436424-1 is not prime. Res64: 026F4DA4DE3A566A Time : 0.0 sec. user=mdettweiler [2016-08-01 12:19:28] 975*2^1436424-1 is not prime. Res64: CBFB80A7AE5A03E9 Time : 0.0 sec. user=mdettweiler [2016-08-01 12:19:28] 667*2^1436425-1 is not prime. Res64: 4332067FF8A8620B Time : 0.0 sec. user=mdettweiler [2016-08-01 12:19:28] 685*2^1436425-1 is not prime. Res64: F1BE0D27C383AC25 Time : 0.0 sec. user=mdettweiler [2016-08-01 12:23:28] 777*2^1436425-1 is not prime. Res64: CB6590C135291FA7 Time : 0.0 sec. user=mdettweiler [2016-08-01 12:23:29] 919*2^1436425-1 is not prime. Res64: 43D74F22C1161F03 Time : 0.0 sec. user=mdettweiler [2016-08-01 12:23:31] 925*2^1436425-1 is not prime. Res64: 84F29D19A2658ECB Time : 0.0 sec. user=mdettweiler [2016-08-01 12:23:32] 603*2^1436426-1 is not prime. Res64: 4918450809389871 Time : 0.0 sec. user=mdettweiler [2016-08-01 12:23:33] 651*2^1436426-1 is not prime. Res64: B98D1E3F961A0AED Time : 0.0 sec. user=mdettweiler [2016-08-01 12:59:46] 705*2^1436426-1 is not prime. Res64: 9AC05CF9F76BFC3D Time : 0.0 sec. user=mdettweiler [2016-08-01 12:59:47] 707*2^1436426-1 is not prime. Res64: FE85BFCB862C7725 Time : 0.0 sec. user=mdettweiler [2016-08-01 12:59:47] 831*2^1436426-1 is not prime. Res64: 66888A09BEF33862 Time : 0.0 sec. user=mdettweiler [2016-08-01 12:59:48] 843*2^1436426-1 is not prime. Res64: 22443F34460BBE26 Time : 0.0 sec. user=mdettweiler [2016-08-01 12:59:48] 873*2^1436426-1 is not prime. Res64: 521A6E48D4D1213A Time : 0.0 sec. user=mdettweiler [2016-08-01 13:03:32] 887*2^1436426-1 is not prime. Res64: FA39C7AA6FAE6904 Time : 0.0 sec. user=mdettweiler [2016-08-01 13:03:34] 643*2^1436427-1 is not prime. Res64: 7D4B4DFAD1B6FDF0 Time : 0.0 sec. user=mdettweiler [2016-08-01 13:03:36] 903*2^1436427-1 is not prime. Res64: 0172275ECD082439 Time : 0.0 sec. user=mdettweiler [2016-08-01 13:03:37] 945*2^1436427-1 is not prime. Res64: F9BFA2C3E845C31C Time : 0.0 sec. user=mdettweiler [2016-08-01 13:03:40] 615*2^1436428-1 is not prime. Res64: D649B1C53EBE20EF Time : 0.0 sec. user=mdettweiler [2016-08-01 13:07:39] 707*2^1436428-1 is not prime. Res64: D5003B429975BBA2 Time : 0.0 sec. user=mdettweiler [2016-08-01 13:07:41] 735*2^1436428-1 is not prime. Res64: 380F7858F1A171BB Time : 0.0 sec. user=mdettweiler [2016-08-01 13:07:43] 897*2^1436428-1 is not prime. Res64: 5CE2287AE22C7250 Time : 0.0 sec. user=mdettweiler [2016-08-01 13:07:44] 645*2^1436429-1 is not prime. Res64: 8687167226492EAC Time : 0.0 sec. user=mdettweiler [2016-08-01 13:07:46] 727*2^1436429-1 is not prime. Res64: 73385751AEDBBF4C Time : 0.0 sec. user=mdettweiler [2016-08-01 13:43:51] 819*2^1436429-1 is not prime. Res64: F2719A3833FCC464 Time : 0.0 sec. user=mdettweiler [2016-08-01 13:43:51] 847*2^1436429-1 is not prime. Res64: 37D2535548890FA6 Time : 0.0 sec. user=mdettweiler [2016-08-01 13:43:52] 861*2^1436429-1 is not prime. Res64: FD65CD551C6792B6 Time : 0.0 sec. user=mdettweiler [2016-08-01 13:43:52] 889*2^1436429-1 is not prime. Res64: 0DA17BC5E297CA58 Time : 0.0 sec. user=mdettweiler [2016-08-01 13:43:52] 897*2^1436429-1 is not prime. Res64: 9426EF2D70B2006D Time : 0.0 sec. user=mdettweiler [2016-08-01 13:47:48] 777*2^1436430-1 is not prime. Res64: F45D97C32CC27495 Time : 0.0 sec. user=mdettweiler [2016-08-01 13:47:49] 821*2^1436430-1 is not prime. Res64: 56CF7593A4AEFA36 Time : 0.0 sec. user=mdettweiler [2016-08-01 13:47:49] 861*2^1436430-1 is not prime. Res64: 9A743F13F71ADBEB Time : 0.0 sec. user=mdettweiler [2016-08-01 13:47:50] 951*2^1436430-1 is not prime. Res64: D684D4322028EADB Time : 0.0 sec. user=mdettweiler [2016-08-01 13:47:50] 977*2^1436430-1 is not prime. Res64: EE928721CD4A7A83 Time : 0.0 sec. user=mdettweiler [2016-08-01 13:52:01] 709*2^1436431-1 is not prime. Res64: DD98CDD97E477055 Time : 0.0 sec. user=mdettweiler [2016-08-01 13:52:02] 763*2^1436431-1 is not prime. Res64: 78960E696740C962 Time : 0.0 sec. user=mdettweiler [2016-08-01 13:52:03] 843*2^1436431-1 is not prime. Res64: 16243F18DF36A545 Time : 0.0 sec. user=mdettweiler [2016-08-01 13:52:03] 909*2^1436431-1 is not prime. Res64: B85025817034CBDF Time : 0.0 sec. user=mdettweiler [2016-08-01 13:52:04] 943*2^1436431-1 is not prime. Res64: 284AD9544DE722C8 Time : 0.0 sec. user=mdettweiler [2016-08-01 14:27:55] 951*2^1436431-1 is not prime. Res64: AFB12CA695B507EF Time : 0.0 sec. user=mdettweiler [2016-08-01 14:27:56] 979*2^1436431-1 is not prime. Res64: 3628539262A954F1 Time : 0.0 sec. user=mdettweiler [2016-08-01 14:27:57] 665*2^1436432-1 is not prime. Res64: D9E73762D5E7A24B Time : 0.0 sec. user=mdettweiler [2016-08-01 14:27:58] 683*2^1436432-1 is not prime. Res64: 0DD66C4A828DA91B Time : 0.0 sec. user=mdettweiler [2016-08-01 14:27:58] 693*2^1436432-1 is not prime. Res64: 2371276C61F5D1C5 Time : 0.0 sec. user=mdettweiler [2016-08-01 14:31:54] 713*2^1436432-1 is not prime. Res64: AFDB47AAC5B123FD Time : 0.0 sec. user=mdettweiler [2016-08-01 14:31:55] 899*2^1436432-1 is not prime. Res64: E906D6BE57EA69BB Time : 0.0 sec. user=mdettweiler [2016-08-01 14:31:55] 935*2^1436432-1 is not prime. Res64: DBA564C1D4354C16 Time : 0.0 sec. user=mdettweiler [2016-08-01 14:31:55] 649*2^1436433-1 is not prime. Res64: 3CDBFF4A29E7AE28 Time : 0.0 sec. user=mdettweiler [2016-08-01 14:31:56] 745*2^1436433-1 is not prime. Res64: B89BFF09A8F24FAE Time : 0.0 sec. user=mdettweiler [2016-08-01 14:36:07] 781*2^1436433-1 is not prime. Res64: 36F49C6132682551 Time : 0.0 sec. user=mdettweiler [2016-08-01 14:36:07] 789*2^1436433-1 is not prime. Res64: 3238C62CB31EE475 Time : 0.0 sec. user=mdettweiler [2016-08-01 14:36:07] 795*2^1436433-1 is not prime. Res64: BA25CFB4DD659939 Time : 0.0 sec. user=mdettweiler [2016-08-01 14:36:08] 817*2^1436433-1 is not prime. Res64: 3170E13CC945D446 Time : 0.0 sec. user=mdettweiler [2016-08-01 14:36:08] 819*2^1436433-1 is not prime. Res64: 776918F38F3B56BD Time : 0.0 sec. user=mdettweiler [2016-08-01 15:12:11] 829*2^1436433-1 is not prime. Res64: E1C97E70B7384077 Time : 0.0 sec. user=mdettweiler [2016-08-01 15:12:12] 871*2^1436433-1 is not prime. Res64: F487596B88FB570A Time : 0.0 sec. user=mdettweiler [2016-08-01 15:12:12] 951*2^1436433-1 is not prime. Res64: A409E6979BCF4C3A Time : 0.0 sec. user=mdettweiler [2016-08-01 15:12:13] 695*2^1436434-1 is not prime. Res64: 9921CFF6A7746A58 Time : 0.0 sec. user=mdettweiler [2016-08-01 15:12:14] 917*2^1436434-1 is not prime. Res64: 7BAAA3E6318E39B1 Time : 0.0 sec. user=mdettweiler [2016-08-01 15:15:59] 983*2^1436434-1 is not prime. Res64: 79B87D5A5D4FC8C6 Time : 0.0 sec. user=mdettweiler [2016-08-01 15:15:59] 649*2^1436435-1 is not prime. Res64: D999E1127A1D07CD Time : 0.0 sec. user=mdettweiler [2016-08-01 15:16:00] 685*2^1436435-1 is not prime. Res64: A3746F605358C3C7 Time : 0.0 sec. user=mdettweiler [2016-08-01 15:16:00] 735*2^1436435-1 is not prime. Res64: F94254C23D488845 Time : 0.0 sec. user=mdettweiler [2016-08-01 15:16:00] 775*2^1436435-1 is not prime. Res64: 788F9EF7F203EADA Time : 0.0 sec. user=mdettweiler [2016-08-01 15:20:11] 799*2^1436435-1 is not prime. Res64: C422E685A4F040D2 Time : 0.0 sec. user=mdettweiler [2016-08-01 15:20:12] 903*2^1436435-1 is not prime. Res64: E33E1B7688C9AE95 Time : 0.0 sec. user=mdettweiler [2016-08-01 15:20:12] 939*2^1436435-1 is not prime. Res64: 2593EB4902C12C51 Time : 0.0 sec. user=mdettweiler [2016-08-01 15:20:13] 629*2^1436436-1 is not prime. Res64: 700B9036A883697A Time : 0.0 sec. user=mdettweiler [2016-08-01 15:20:15] 693*2^1436436-1 is not prime. Res64: D4785334BFC36F7E Time : 0.0 sec. user=juhehe [2016-08-01 15:24:30] 809*2^1436436-1 is not prime. Res64: 48A99872CA954373 Time : 0.0 sec. user=mdettweiler [2016-08-01 15:56:28] 999*2^1436436-1 is not prime. Res64: A904EFE8C6658FD9 Time : 0.0 sec. user=mdettweiler [2016-08-01 15:56:28] 639*2^1436437-1 is not prime. Res64: FEC0B660C69C3FBB Time : 0.0 sec. user=mdettweiler [2016-08-01 15:56:29] 741*2^1436437-1 is not prime. Res64: 31C1E05480CE9A63 Time : 0.0 sec. user=mdettweiler [2016-08-01 15:56:29] 885*2^1436437-1 is not prime. Res64: 907060314A2B4186 Time : 0.0 sec. user=mdettweiler [2016-08-01 15:56:29] 937*2^1436437-1 is not prime. Res64: 6F760B4AE1180ECF Time : 0.0 sec. user=mdettweiler [2016-08-01 16:00:10] 605*2^1436438-1 is not prime. Res64: EA7990AA440D2B54 Time : 0.0 sec. user=mdettweiler [2016-08-01 16:00:11] 743*2^1436438-1 is not prime. Res64: C7FB56CB686633FE Time : 0.0 sec. user=mdettweiler [2016-08-01 16:00:15] 843*2^1436438-1 is not prime. Res64: 353D33C4C5CB4706 Time : 0.0 sec. user=mdettweiler [2016-08-01 16:00:15] 885*2^1436438-1 is not prime. Res64: 6B1C901CA9F6626B Time : 0.0 sec. user=mdettweiler [2016-08-01 16:00:16] 897*2^1436438-1 is not prime. Res64: 32ABF9FAAFF7E4D5 Time : 0.0 sec. user=mdettweiler [2016-08-01 16:04:18] 987*2^1436438-1 is not prime. Res64: 9437E46467354D1F Time : 0.0 sec. user=mdettweiler [2016-08-01 16:04:20] 625*2^1436439-1 is not prime. Res64: B2985BAC17554DE0 Time : 0.0 sec. user=mdettweiler [2016-08-01 16:04:21] 919*2^1436439-1 is not prime. Res64: DA295E1DE46FC765 Time : 0.0 sec. user=mdettweiler [2016-08-01 16:04:22] 961*2^1436439-1 is not prime. Res64: EB4774CEBEF2DBCB Time : 0.0 sec. user=mdettweiler [2016-08-01 16:04:24] 603*2^1436440-1 is not prime. Res64: 2F841CF7948B4761 Time : 0.0 sec. user=mdettweiler [2016-08-01 16:40:37] 623*2^1436440-1 is not prime. Res64: CA72CB032DCC7743 Time : 0.0 sec. user=mdettweiler [2016-08-01 16:40:37] 695*2^1436440-1 is not prime. Res64: 530C21EF686D0A9E Time : 0.0 sec. user=mdettweiler [2016-08-01 16:40:38] 719*2^1436440-1 is not prime. Res64: FC2E54CF550B88D4 Time : 0.0 sec. user=mdettweiler [2016-08-01 16:40:38] 797*2^1436440-1 is not prime. Res64: 27935FD8DE6809E7 Time : 0.0 sec. user=mdettweiler [2016-08-01 16:40:39] 843*2^1436440-1 is not prime. Res64: 2370CC67700F7262 Time : 0.0 sec. user=mdettweiler [2016-08-01 16:44:22] 873*2^1436440-1 is not prime. Res64: 394144B214A9FCCE Time : 0.0 sec. user=mdettweiler [2016-08-01 16:44:23] 905*2^1436440-1 is not prime. Res64: E5F5085649E5507A Time : 0.0 sec. user=mdettweiler [2016-08-01 16:44:23] 675*2^1436441-1 is not prime. Res64: 749EB912BE90B8B9 Time : 0.0 sec. user=mdettweiler [2016-08-01 16:44:23] 691*2^1436441-1 is not prime. Res64: 6A36856CF474993B Time : 0.0 sec. user=mdettweiler [2016-08-01 16:44:24] 945*2^1436441-1 is not prime. Res64: 19CB6DDB54153B19 Time : 0.0 sec. user=mdettweiler [2016-08-01 16:48:29] 671*2^1436442-1 is not prime. Res64: DC21B1D587C42E69 Time : 0.0 sec. user=mdettweiler [2016-08-01 16:48:30] 711*2^1436442-1 is not prime. Res64: 1D2C5F0E9BF9B72A Time : 0.0 sec. user=mdettweiler [2016-08-01 16:48:30] 765*2^1436442-1 is not prime. Res64: A69884745F6E667E Time : 0.0 sec. user=mdettweiler [2016-08-01 16:48:30] 791*2^1436442-1 is not prime. Res64: BA21C692AA9B6E27 Time : 0.0 sec. user=mdettweiler [2016-08-01 16:48:31] 951*2^1436442-1 is not prime. Res64: A842B2A897EEB7F7 Time : 0.0 sec. user=mdettweiler [2016-08-01 17:24:39] 741*2^1436443-1 is not prime. Res64: B5D6A4C616C04ACD Time : 0.0 sec. user=mdettweiler [2016-08-01 17:24:39] 789*2^1436443-1 is not prime. Res64: 3994A3489B947F6B Time : 0.0 sec. user=mdettweiler [2016-08-01 17:24:40] 873*2^1436443-1 is not prime. Res64: 968AFE9E68267775 Time : 0.0 sec. user=mdettweiler [2016-08-01 17:24:40] 615*2^1436444-1 is not prime. Res64: D6BF439BA531ED3C Time : 0.0 sec. user=mdettweiler [2016-08-01 17:24:41] 759*2^1436444-1 is not prime. Res64: D83151E546100BD9 Time : 0.0 sec. user=mdettweiler [2016-08-01 17:28:20] 691*2^1436445-1 is not prime. Res64: 8CE4FF5EEEA46630 Time : 0.0 sec. user=mdettweiler [2016-08-01 17:28:20] 777*2^1436445-1 is not prime. Res64: FBD65570F0C2EEF3 Time : 0.0 sec. user=mdettweiler [2016-08-01 17:28:21] 789*2^1436445-1 is not prime. Res64: 8FAD8EDC692ABA51 Time : 0.0 sec. user=mdettweiler [2016-08-01 17:28:21] 831*2^1436445-1 is not prime. Res64: 0A5473F09F2635E6 Time : 0.0 sec. user=mdettweiler [2016-08-01 17:28:21] 997*2^1436445-1 is not prime. Res64: 6106B6374BD3BFA5 Time : 0.0 sec. user=mdettweiler [2016-08-01 17:32:28] 675*2^1436446-1 is not prime. Res64: 2DDBE9A5CA9DA792 Time : 0.0 sec. user=mdettweiler [2016-08-01 17:32:28] 741*2^1436446-1 is not prime. Res64: 2D04563E7B3391A2 Time : 0.0 sec. user=mdettweiler [2016-08-01 17:32:28] 761*2^1436446-1 is not prime. Res64: B5A0F7A41BBA4DD8 Time : 0.0 sec. user=mdettweiler [2016-08-01 17:32:29] 815*2^1436446-1 is not prime. Res64: 1630E9A63D4C3B67 Time : 0.0 sec. user=mdettweiler [2016-08-01 17:32:29] 621*2^1436447-1 is not prime. Res64: 941EF03D369E92A5 Time : 0.0 sec. user=mdettweiler [2016-08-01 18:09:06] 661*2^1436447-1 is not prime. Res64: 0D662E8AA13FE404 Time : 0.0 sec. user=mdettweiler [2016-08-01 18:09:06] 669*2^1436447-1 is not prime. Res64: 69059EB816B344A2 Time : 0.0 sec. user=mdettweiler [2016-08-01 18:09:06] 729*2^1436447-1 is not prime. Res64: 3A7ABFB03CB3C1E7 Time : 0.0 sec. user=mdettweiler [2016-08-01 18:09:07] 741*2^1436447-1 is not prime. Res64: 2AA1FA98AEAE3328 Time : 0.0 sec. user=mdettweiler [2016-08-01 18:09:07] 799*2^1436447-1 is not prime. Res64: F94D67D5EBAC212D Time : 0.0 sec. user=mdettweiler [2016-08-01 18:12:41] 859*2^1436447-1 is not prime. Res64: 8BB73AB468CD09A9 Time : 0.0 sec. user=mdettweiler [2016-08-01 18:12:41] 993*2^1436447-1 is not prime. Res64: 7C98CA614579EF4B Time : 0.0 sec. user=mdettweiler [2016-08-01 18:12:41] 999*2^1436447-1 is not prime. Res64: B1F64DCFF1ED6D1C Time : 0.0 sec. user=mdettweiler [2016-08-01 18:12:42] 747*2^1436448-1 is not prime. Res64: 2457CA60B2485C49 Time : 0.0 sec. user=mdettweiler [2016-08-01 18:12:42] 927*2^1436448-1 is not prime. Res64: 549346059603D9C2 Time : 0.0 sec. user=mdettweiler [2016-08-01 18:16:53] 609*2^1436449-1 is not prime. Res64: C6CC74A7B281B575 Time : 0.0 sec. user=mdettweiler [2016-08-01 18:16:54] 637*2^1436449-1 is not prime. Res64: 6116A4B2E4AB7585 Time : 0.0 sec. user=mdettweiler [2016-08-01 18:16:54] 765*2^1436449-1 is not prime. Res64: 7E0BA5F33313679B Time : 0.0 sec. user=mdettweiler [2016-08-01 18:16:55] 885*2^1436449-1 is not prime. Res64: A0A972D2C4E73783 Time : 0.0 sec. user=mdettweiler [2016-08-01 18:16:55] 895*2^1436449-1 is not prime. Res64: 0CECD95E931510D3 Time : 0.0 sec. user=mdettweiler [2016-08-01 18:53:41] 897*2^1436449-1 is not prime. Res64: 75C56FCB15A53A7B Time : 0.0 sec. user=mdettweiler [2016-08-01 18:53:42] 997*2^1436449-1 is not prime. Res64: CEEF8FEDBBF07190 Time : 0.0 sec. user=mdettweiler [2016-08-01 18:53:42] 843*2^1436450-1 is not prime. Res64: B573B176AC7BDD15 Time : 0.0 sec. user=mdettweiler [2016-08-01 18:53:42] 893*2^1436450-1 is not prime. Res64: 6A4EF7AD185D2D1F Time : 0.0 sec. user=mdettweiler [2016-08-01 18:53:42] 613*2^1436451-1 is not prime. Res64: 1D8DC95019D13288 Time : 0.0 sec. user=mdettweiler [2016-08-01 18:57:14] 625*2^1436451-1 is not prime. Res64: 76A6C13B655DB205 Time : 0.0 sec. user=mdettweiler [2016-08-01 18:57:15] 649*2^1436451-1 is not prime. Res64: AB1D95BF2FE315E6 Time : 0.0 sec. user=mdettweiler [2016-08-01 18:57:15] 635*2^1436452-1 is not prime. Res64: A8D45B8D9EBD310A Time : 0.0 sec. user=mdettweiler [2016-08-01 18:57:15] 827*2^1436452-1 is not prime. Res64: DFAAB79E8B55831A Time : 0.0 sec. user=mdettweiler [2016-08-01 18:57:15] 887*2^1436452-1 is not prime. Res64: 8290AEE312152182 Time : 0.0 sec. user=mdettweiler [2016-08-01 19:01:31] 939*2^1436452-1 is not prime. Res64: 6DAEFDB00BE76847 Time : 0.0 sec. user=mdettweiler [2016-08-01 19:01:32] 959*2^1436452-1 is not prime. Res64: 1A0273B1B512CF85 Time : 0.0 sec. user=mdettweiler [2016-08-01 19:01:33] 965*2^1436452-1 is not prime. Res64: 127A2F09BF1ADEBD Time : 0.0 sec. user=mdettweiler [2016-08-01 19:01:33] 983*2^1436452-1 is not prime. Res64: B4846D98A8FCC4F1 Time : 0.0 sec. user=mdettweiler [2016-08-01 19:01:36] 691*2^1436453-1 is not prime. Res64: 1F415D8B32A6C660 Time : 0.0 sec. user=mdettweiler [2016-08-01 19:37:57] 769*2^1436453-1 is not prime. Res64: 328EB62218434902 Time : 0.0 sec. user=mdettweiler [2016-08-01 19:37:58] 789*2^1436453-1 is not prime. Res64: D5DFD7E4BAEF4C1F Time : 0.0 sec. user=mdettweiler [2016-08-01 19:37:58] 801*2^1436453-1 is not prime. Res64: 6387F4C22834AA1D Time : 0.0 sec. user=mdettweiler [2016-08-01 19:37:58] 847*2^1436453-1 is not prime. Res64: 6BFB3749C66E5470 Time : 0.0 sec. user=mdettweiler [2016-08-01 19:37:59] 885*2^1436453-1 is not prime. Res64: A72A0527F396BF5F Time : 0.0 sec. user=mdettweiler [2016-08-01 19:41:25] 925*2^1436453-1 is not prime. Res64: F10AAE246477CDCE Time : 0.0 sec. user=mdettweiler [2016-08-01 19:41:25] 937*2^1436453-1 is not prime. Res64: 8A1FA0B4CBAE584A Time : 0.0 sec. user=mdettweiler [2016-08-01 19:41:26] 949*2^1436453-1 is not prime. Res64: F68E7E5AF5E2D8A8 Time : 0.0 sec. user=mdettweiler [2016-08-01 19:41:26] 681*2^1436454-1 is not prime. Res64: 409E2C5CA1894274 Time : 0.0 sec. user=mdettweiler [2016-08-01 19:41:26] 693*2^1436454-1 is not prime. Res64: F04C4AF73D9DC93D Time : 0.0 sec. user=mdettweiler [2016-08-01 19:45:45] 861*2^1436454-1 is not prime. Res64: 5DD112E89E56D883 Time : 0.0 sec. user=mdettweiler [2016-08-01 19:45:46] 881*2^1436454-1 is not prime. Res64: C3E340161104EA04 Time : 0.0 sec. user=mdettweiler [2016-08-01 19:45:46] 923*2^1436454-1 is not prime. Res64: AA337BBBCA74B9FB Time : 0.0 sec. user=mdettweiler [2016-08-01 19:45:47] 927*2^1436454-1 is not prime. Res64: 305E12C9B3C70D6D Time : 0.0 sec. user=mdettweiler [2016-08-01 19:45:47] 971*2^1436454-1 is not prime. Res64: 7E924227E234E531 Time : 0.0 sec. user=mdettweiler [2016-08-01 20:22:25] 639*2^1436455-1 is not prime. Res64: 60899CE80EA5C51E Time : 0.0 sec. user=mdettweiler [2016-08-01 20:22:25] 673*2^1436455-1 is not prime. Res64: B766B0010EFBE4A1 Time : 0.0 sec. user=mdettweiler [2016-08-01 20:22:26] 853*2^1436455-1 is not prime. Res64: D41B0B2B88724E52 Time : 0.0 sec. user=mdettweiler [2016-08-01 20:22:26] 609*2^1436456-1 is not prime. Res64: 45ABBE54F398BF8A Time : 0.0 sec. user=mdettweiler [2016-08-01 20:22:26] 617*2^1436456-1 is not prime. Res64: 5E502044737D578E Time : 0.0 sec. user=mdettweiler [2016-08-01 20:25:54] 645*2^1436456-1 is not prime. Res64: 6AEF4F2B82638275 Time : 0.0 sec. user=mdettweiler [2016-08-01 20:25:55] 743*2^1436456-1 is not prime. Res64: 66B84BEBD83DA7C3 Time : 0.0 sec. user=mdettweiler [2016-08-01 20:25:55] 839*2^1436456-1 is not prime. Res64: F89D1F4F9E141698 Time : 0.0 sec. user=mdettweiler [2016-08-01 20:25:55] 957*2^1436456-1 is not prime. Res64: 105F57BC623AE8E7 Time : 0.0 sec. user=mdettweiler [2016-08-01 20:25:56] 741*2^1436457-1 is not prime. Res64: F62242E1FAD89DB2 Time : 0.0 sec. user=mdettweiler [2016-08-01 20:30:21] 805*2^1436457-1 is not prime. Res64: 451FF5590E5A935E Time : 0.0 sec. user=mdettweiler [2016-08-01 20:30:21] 871*2^1436457-1 is not prime. Res64: 0C7EE0422614C07F Time : 0.0 sec. user=mdettweiler [2016-08-01 20:30:21] 603*2^1436458-1 is not prime. Res64: B1A0459C6FEE0B98 Time : 0.0 sec. user=mdettweiler [2016-08-01 20:30:21] 665*2^1436458-1 is not prime. Res64: 5B7103F9D3BE9B0D Time : 0.0 sec. user=mdettweiler [2016-08-01 20:30:22] 677*2^1436458-1 is not prime. Res64: 63A5679A1C67489B Time : 0.0 sec. user=mdettweiler [2016-08-01 21:06:45] 713*2^1436458-1 is not prime. Res64: 68060F45334AC288 Time : 0.0 sec. user=mdettweiler [2016-08-01 21:06:47] 791*2^1436458-1 is not prime. Res64: F198432A237415A2 Time : 0.0 sec. user=mdettweiler [2016-08-01 21:06:49] 813*2^1436458-1 is not prime. Res64: FF84BA650B07FFBF Time : 0.0 sec. user=mdettweiler [2016-08-01 21:06:51] 915*2^1436458-1 is not prime. Res64: 0D9B1D40E2C51307 Time : 0.0 sec. user=mdettweiler [2016-08-01 21:06:51] 933*2^1436458-1 is not prime. Res64: 7C6AC6AF0D9765D1 Time : 0.0 sec. user=mdettweiler [2016-08-01 21:10:11] 655*2^1436459-1 is not prime. Res64: B98B63E9AB27DB75 Time : 0.0 sec. user=mdettweiler [2016-08-01 21:10:12] 735*2^1436459-1 is not prime. Res64: C19C33C014577DAB Time : 0.0 sec. user=mdettweiler [2016-08-01 21:10:12] 753*2^1436459-1 is not prime. Res64: 81C783EDEE48C391 Time : 0.0 sec. user=mdettweiler [2016-08-01 21:10:12] 885*2^1436459-1 is not prime. Res64: 347D279F2A1B61FC Time : 0.0 sec. user=mdettweiler [2016-08-01 21:10:12] 955*2^1436459-1 is not prime. Res64: 8CD6C3B51A21BC61 Time : 0.0 sec. user=mdettweiler [2016-08-01 21:14:35] 969*2^1436459-1 is not prime. Res64: 8DC4DAA670BD3B62 Time : 0.0 sec. user=mdettweiler [2016-08-01 21:14:35] 725*2^1436460-1 is not prime. Res64: 535B9F01A9CDFEA6 Time : 0.0 sec. user=mdettweiler [2016-08-01 21:14:35] 753*2^1436460-1 is not prime. Res64: ECE2DFD7825BF69D Time : 0.0 sec. user=mdettweiler [2016-08-01 21:14:36] 773*2^1436460-1 is not prime. Res64: 6E2D20E9F15C1B33 Time : 0.0 sec. user=mdettweiler [2016-08-01 21:14:36] 819*2^1436460-1 is not prime. Res64: EEDFA7D7B05D4EC5 Time : 0.0 sec. user=mdettweiler [2016-08-01 21:51:06] 825*2^1436460-1 is not prime. Res64: 824967F303FFD55D Time : 0.0 sec. user=mdettweiler [2016-08-01 21:51:06] 843*2^1436460-1 is not prime. Res64: 41292F86A2BA801B Time : 0.0 sec. user=mdettweiler [2016-08-01 21:51:06] 929*2^1436460-1 is not prime. Res64: BFFC4CC39F38FDE6 Time : 0.0 sec. user=mdettweiler [2016-08-01 21:51:07] 975*2^1436460-1 is not prime. Res64: BAB687FCADA3E908 Time : 0.0 sec. user=mdettweiler [2016-08-01 21:51:07] 607*2^1436461-1 is not prime. Res64: 7E3C03BE2F047048 Time : 0.0 sec. user=mdettweiler [2016-08-01 21:54:29] 687*2^1436461-1 is not prime. Res64: 2074B11E4055EBC1 Time : 0.0 sec. user=mdettweiler [2016-08-01 21:54:29] 847*2^1436461-1 is not prime. Res64: F8B75DD1C79F6D8A Time : 0.0 sec. user=mdettweiler [2016-08-01 21:54:29] 859*2^1436461-1 is not prime. Res64: 25883A33ECCD58CA Time : 0.0 sec. user=mdettweiler [2016-08-01 21:54:29] 861*2^1436461-1 is not prime. Res64: 20CF8600825DED76 Time : 0.0 sec. user=mdettweiler [2016-08-01 21:54:29] 961*2^1436461-1 is not prime. Res64: D72DDD43025D6861 Time : 0.0 sec. user=mdettweiler [2016-08-01 21:58:52] 671*2^1436462-1 is not prime. Res64: 5941CC97E5BFBCB3 Time : 0.0 sec. user=mdettweiler [2016-08-01 21:58:52] 677*2^1436462-1 is not prime. Res64: ED7F6CFF5462864A Time : 0.0 sec. user=mdettweiler [2016-08-01 21:58:52] 813*2^1436462-1 is not prime. Res64: 7845376986B69F8A Time : 0.0 sec. user=mdettweiler [2016-08-01 21:58:53] 887*2^1436462-1 is not prime. Res64: 4F25B58BFDA605AD Time : 0.0 sec. user=mdettweiler [2016-08-01 21:58:53] 893*2^1436462-1 is not prime. Res64: C1CFB466101B4075 Time : 0.0 sec. user=juhehe [2016-08-01 22:27:31] 981*2^1436462-1 is not prime. Res64: 1E88BA0FA286A730 Time : 0.0 sec. user=mdettweiler [2016-08-01 22:35:18] 619*2^1436463-1 is not prime. Res64: E2D8EA35B09B83A1 Time : 0.0 sec. user=mdettweiler [2016-08-01 22:35:19] 669*2^1436463-1 is not prime. Res64: 4BC795ABF7CC59D5 Time : 0.0 sec. user=mdettweiler [2016-08-01 22:35:19] 819*2^1436463-1 is not prime. Res64: 2B0A683ECF940224 Time : 0.0 sec. user=mdettweiler [2016-08-01 22:35:19] 825*2^1436463-1 is not prime. Res64: C911AA70935B0730 Time : 0.0 sec. user=mdettweiler [2016-08-01 22:35:19] 921*2^1436463-1 is not prime. Res64: 60715B5718096D24 Time : 0.0 sec. user=mdettweiler [2016-08-01 22:38:40] 609*2^1436464-1 is not prime. Res64: 64567B5EC6CD2D10 Time : 0.0 sec. user=mdettweiler [2016-08-01 22:38:40] 849*2^1436464-1 is not prime. Res64: 12720732BEA6F44F Time : 0.0 sec. user=mdettweiler [2016-08-01 22:38:41] 869*2^1436464-1 is not prime. Res64: A7724077D0F97885 Time : 0.0 sec. user=mdettweiler [2016-08-01 22:38:41] 939*2^1436464-1 is not prime. Res64: B39801CD40C9C380 Time : 0.0 sec. user=mdettweiler [2016-08-01 22:38:41] 975*2^1436464-1 is not prime. Res64: 7393B260FE921E0A Time : 0.0 sec. user=mdettweiler [2016-08-01 22:43:05] 649*2^1436465-1 is not prime. Res64: BA9A0BA5CEEC4EED Time : 0.0 sec. user=mdettweiler [2016-08-01 22:43:06] 685*2^1436465-1 is not prime. Res64: FAE50132D7DF19AF Time : 0.0 sec. user=mdettweiler [2016-08-01 22:43:06] 949*2^1436465-1 is not prime. Res64: E0765BDB48D1C636 Time : 0.0 sec. user=mdettweiler [2016-08-01 22:43:06] 991*2^1436465-1 is not prime. Res64: FE4BED77DFD02280 Time : 0.0 sec. user=mdettweiler [2016-08-01 22:43:06] 735*2^1436466-1 is not prime. Res64: CD24472A2CDB342C Time : 0.0 sec. user=mdettweiler [2016-08-01 23:19:31] 741*2^1436466-1 is not prime. Res64: E979545B88E64505 Time : 0.0 sec. user=mdettweiler [2016-08-01 23:19:31] 783*2^1436466-1 is not prime. Res64: 443559C5EC094569 Time : 0.0 sec. user=mdettweiler [2016-08-01 23:19:32] 837*2^1436466-1 is not prime. Res64: 3143A81155E73704 Time : 0.0 sec. user=mdettweiler [2016-08-01 23:19:32] 933*2^1436466-1 is not prime. Res64: 0E96522DF47AA091 Time : 0.0 sec. user=mdettweiler [2016-08-01 23:19:32] 699*2^1436467-1 is not prime. Res64: F3EB8F77B1316B23 Time : 0.0 sec. user=mdettweiler [2016-08-01 23:22:52] 793*2^1436467-1 is not prime. Res64: 5C605561DB327669 Time : 0.0 sec. user=mdettweiler [2016-08-01 23:22:53] 829*2^1436467-1 is not prime. Res64: A02B4459585867A8 Time : 0.0 sec. user=mdettweiler [2016-08-01 23:22:54] 629*2^1436468-1 is not prime. Res64: C7C46E690A3478BE Time : 0.0 sec. user=mdettweiler [2016-08-01 23:22:54] 633*2^1436468-1 is not prime. Res64: E191313AEC6590D6 Time : 0.0 sec. user=mdettweiler [2016-08-01 23:22:55] 635*2^1436468-1 is not prime. Res64: D234FAC24ADB274F Time : 0.0 sec. user=mdettweiler [2016-08-01 23:27:17] 803*2^1436468-1 is not prime. Res64: 32E11307DECAB88E Time : 0.0 sec. user=mdettweiler [2016-08-01 23:27:17] 813*2^1436468-1 is not prime. Res64: 17FE995572BB9DCC Time : 0.0 sec. user=mdettweiler [2016-08-01 23:27:18] 839*2^1436468-1 is not prime. Res64: 9A79FC2F842C41DE Time : 0.0 sec. user=mdettweiler [2016-08-01 23:27:18] 915*2^1436468-1 is not prime. Res64: 4B3D585FB78D3C6E Time : 0.0 sec. user=mdettweiler [2016-08-01 23:27:19] 625*2^1436469-1 is not prime. Res64: D86E7E286A52FBF1 Time : 0.0 sec.