user=mdettweiler [2013-07-23 00:11:56] 685*2^1247951-1 is not prime. Res64: EF778E1D88237458 Time : 0.0 sec. user=mdettweiler [2013-07-23 00:11:56] 775*2^1247951-1 is not prime. Res64: FDFA348C949A3124 Time : 0.0 sec. user=mdettweiler [2013-07-23 00:29:33] 811*2^1247951-1 is not prime. Res64: C3D2D500106102E1 Time : 0.0 sec. user=mdettweiler [2013-07-23 00:29:34] 825*2^1247951-1 is not prime. Res64: 060069EB325CC370 Time : 0.0 sec. user=mdettweiler [2013-07-23 00:47:09] 855*2^1247951-1 is not prime. Res64: 8722814FDA99B1DC Time : 0.0 sec. user=mdettweiler [2013-07-23 00:47:09] 865*2^1247951-1 is not prime. Res64: 42F172D8AC5A3D27 Time : 0.0 sec. user=mdettweiler [2013-07-23 01:05:34] 991*2^1247951-1 is not prime. Res64: 4CF70F3B409BC1D4 Time : 0.0 sec. user=mdettweiler [2013-07-23 01:05:36] 695*2^1247952-1 is not prime. Res64: 1C30F6A0CFAC1802 Time : 0.0 sec. user=mdettweiler [2013-07-23 01:23:15] 717*2^1247952-1 is not prime. Res64: D68FB446AE7B85F1 Time : 0.0 sec. user=mdettweiler [2013-07-23 01:23:15] 725*2^1247952-1 is not prime. Res64: F598C4E4348B23DA Time : 0.0 sec. user=mdettweiler [2013-07-23 01:40:50] 849*2^1247952-1 is not prime. Res64: A8B983EF17BB11E0 Time : 0.0 sec. user=mdettweiler [2013-07-23 01:40:51] 899*2^1247952-1 is not prime. Res64: 1B26F5C3CCB4DCB9 Time : 0.0 sec. user=mdettweiler [2013-07-23 01:59:16] 929*2^1247952-1 is not prime. Res64: 9328632C50431CE8 Time : 0.0 sec. user=mdettweiler [2013-07-23 01:59:16] 999*2^1247952-1 is not prime. Res64: 145F12EF3C381E5E Time : 0.0 sec. user=mdettweiler [2013-07-23 02:16:52] 607*2^1247953-1 is not prime. Res64: 8FCA045B966662FA Time : 0.0 sec. user=mdettweiler [2013-07-23 02:16:53] 649*2^1247953-1 is not prime. Res64: 4EA99D79AC4EFE5D Time : 0.0 sec. user=mdettweiler [2013-07-23 02:34:29] 685*2^1247953-1 is not prime. Res64: B114021B97D5C21A Time : 0.0 sec. user=mdettweiler [2013-07-23 02:34:30] 741*2^1247953-1 is not prime. Res64: 67D1A54AE181FECC Time : 0.0 sec. user=mdettweiler [2013-07-23 02:52:30] 765*2^1247953-1 is not prime. Res64: 15B49A1EE1D8EFB1 Time : 0.0 sec. user=mdettweiler [2013-07-23 02:52:31] 769*2^1247953-1 is not prime. Res64: BB3F5F139397AC86 Time : 0.0 sec. user=mdettweiler [2013-07-23 03:10:07] 855*2^1247953-1 is not prime. Res64: 683CB83E64D22284 Time : 0.0 sec. user=mdettweiler [2013-07-23 03:10:08] 675*2^1247954-1 is not prime. Res64: 88C78F24052058DB Time : 0.0 sec. user=mdettweiler [2013-07-23 03:27:46] 767*2^1247954-1 is not prime. Res64: 17BFDB692159BE6C Time : 0.0 sec. user=mdettweiler [2013-07-23 03:27:46] 903*2^1247954-1 is not prime. Res64: D02EBD9FF4AADF2C Time : 0.0 sec. user=mdettweiler [2013-07-23 03:45:24] 917*2^1247954-1 is not prime. Res64: E6E324E5C73B1030 Time : 0.0 sec. user=mdettweiler [2013-07-23 03:45:24] 935*2^1247954-1 is not prime. Res64: CF58D4F178A73155 Time : 0.0 sec. user=mdettweiler [2013-07-23 04:03:01] 601*2^1247955-1 is not prime. Res64: 456EC10075E6382F Time : 0.0 sec. user=mdettweiler [2013-07-23 04:03:02] 669*2^1247955-1 is not prime. Res64: 71F3AAFC27EE3399 Time : 0.0 sec. user=mdettweiler [2013-07-23 04:20:54] 781*2^1247955-1 is not prime. Res64: 4085C1CB600D4697 Time : 0.0 sec. user=mdettweiler [2013-07-23 04:20:54] 793*2^1247955-1 is not prime. Res64: 91DF8D71706F09A4 Time : 0.0 sec. user=mdettweiler [2013-07-23 04:38:28] 819*2^1247955-1 is not prime. Res64: 103869AAC66292E7 Time : 0.0 sec. user=mdettweiler [2013-07-23 04:38:29] 909*2^1247955-1 is not prime. Res64: A5F5606C9FD4AA0E Time : 0.0 sec. user=mdettweiler [2013-07-23 04:56:06] 603*2^1247956-1 is not prime. Res64: FF7D2B7C0ECE2201 Time : 0.0 sec. user=mdettweiler [2013-07-23 04:56:06] 843*2^1247956-1 is not prime. Res64: EA9535256EF9B43E Time : 0.0 sec. user=mdettweiler [2013-07-23 05:13:41] 845*2^1247956-1 is not prime. Res64: 7DEAC9DB3F06FFCA Time : 0.0 sec. user=mdettweiler [2013-07-23 05:13:42] 869*2^1247956-1 is not prime. Res64: E93F03CB39EA4BC1 Time : 0.0 sec. user=mdettweiler [2013-07-23 05:32:12] 957*2^1247956-1 is not prime. Res64: A8487CB485169282 Time : 0.0 sec. user=mdettweiler [2013-07-23 05:32:12] 621*2^1247957-1 is not prime. Res64: DFCF5DE2D93C55AC Time : 0.0 sec. user=mdettweiler [2013-07-23 05:49:47] 631*2^1247957-1 is not prime. Res64: 6C62C3DAA75FEC30 Time : 0.0 sec. user=mdettweiler [2013-07-23 05:49:48] 649*2^1247957-1 is not prime. Res64: 6AE15DF2055E881F Time : 0.0 sec. user=mdettweiler [2013-07-23 06:07:23] 837*2^1247957-1 is not prime. Res64: 2300C9DF2F92D249 Time : 0.0 sec. user=mdettweiler [2013-07-23 06:07:24] 889*2^1247957-1 is not prime. Res64: 16352041BD3B1486 Time : 0.0 sec. user=mdettweiler [2013-07-23 06:25:02] 927*2^1247957-1 is not prime. Res64: 7D9888661BDE6976 Time : 0.0 sec. user=mdettweiler [2013-07-23 06:25:02] 611*2^1247958-1 is not prime. Res64: 13CD08CA886D801E Time : 0.0 sec. user=mdettweiler [2013-07-23 06:42:38] 641*2^1247958-1 is not prime. Res64: BA6F0AC2099C3001 Time : 0.0 sec. user=mdettweiler [2013-07-23 06:42:38] 677*2^1247958-1 is not prime. Res64: BD11A1E25F15EA28 Time : 0.0 sec. user=mdettweiler [2013-07-23 07:00:13] 713*2^1247958-1 is not prime. Res64: 8FA60BF3C4B0BD2D Time : 0.0 sec. user=mdettweiler [2013-07-23 07:00:13] 725*2^1247958-1 is not prime. Res64: 124DE75B53DC5A04 Time : 0.0 sec. user=mdettweiler [2013-07-23 07:17:50] 755*2^1247958-1 is not prime. Res64: 3B343280A6A66AB7 Time : 0.0 sec. user=mdettweiler [2013-07-23 07:17:50] 891*2^1247958-1 is not prime. Res64: C970193913AEFD17 Time : 0.0 sec. user=mdettweiler [2013-07-23 07:35:25] 601*2^1247959-1 is not prime. Res64: 2B8B31F7AAAB0A43 Time : 0.0 sec. user=mdettweiler [2013-07-23 07:35:25] 723*2^1247959-1 is not prime. Res64: 76A0BFE7E0CCAFFB Time : 0.0 sec. user=mdettweiler [2013-07-23 07:53:00] 765*2^1247959-1 is not prime. Res64: 2257B0B465BE2061 Time : 0.0 sec. user=mdettweiler [2013-07-23 07:53:00] 771*2^1247959-1 is not prime. Res64: 2DA7A7C2B043BD6B Time : 0.0 sec. user=mdettweiler [2013-07-23 08:10:35] 813*2^1247959-1 is not prime. Res64: E6B5FD6908546C97 Time : 0.0 sec. user=mdettweiler [2013-07-23 08:10:35] 889*2^1247959-1 is not prime. Res64: EF5FD87D6E89BA0B Time : 0.0 sec. user=mdettweiler [2013-07-23 08:29:56] 973*2^1247959-1 is not prime. Res64: 0335DFA5A28D8D4C Time : 0.0 sec. user=mdettweiler [2013-07-23 08:29:56] 975*2^1247959-1 is not prime. Res64: B71D709F7FF2073A Time : 0.0 sec. user=mdettweiler [2013-07-23 08:47:30] 609*2^1247960-1 is not prime. Res64: 9CB0A1304DE49DD7 Time : 0.0 sec. user=mdettweiler [2013-07-23 08:47:30] 635*2^1247960-1 is not prime. Res64: 1815FEB8172C61A9 Time : 0.0 sec. user=mdettweiler [2013-07-23 09:05:05] 699*2^1247960-1 is not prime. Res64: A0900435E85F2717 Time : 0.0 sec. user=mdettweiler [2013-07-23 09:05:06] 725*2^1247960-1 is not prime. Res64: 30E0561A0B1400E2 Time : 0.0 sec. user=mdettweiler [2013-07-23 09:22:44] 747*2^1247960-1 is not prime. Res64: 26B8EB18FF768C61 Time : 0.0 sec. user=mdettweiler [2013-07-23 09:22:44] 795*2^1247960-1 is not prime. Res64: 9959B277E94E50B3 Time : 0.0 sec. user=mdettweiler [2013-07-23 09:40:19] 927*2^1247960-1 is not prime. Res64: F21EFFE0B584E0FC Time : 0.0 sec. user=mdettweiler [2013-07-23 09:40:19] 685*2^1247961-1 is not prime. Res64: 1713747E3713379C Time : 0.0 sec. user=mdettweiler [2013-07-23 09:57:53] 611*2^1247962-1 is not prime. Res64: F74E1F2FE5098AAD Time : 0.0 sec. user=mdettweiler [2013-07-23 09:57:54] 647*2^1247962-1 is not prime. Res64: C38CAE612D88518B Time : 0.0 sec. user=mdettweiler [2013-07-23 10:15:28] 827*2^1247962-1 is not prime. Res64: 8FD2CC7D0358DE75 Time : 0.0 sec. user=mdettweiler [2013-07-23 10:15:28] 885*2^1247962-1 is not prime. Res64: 2C1B49BE2CA1CD46 Time : 0.0 sec. user=mdettweiler [2013-07-23 10:33:04] 915*2^1247962-1 is not prime. Res64: 2FC324667A72D54D Time : 0.0 sec. user=mdettweiler [2013-07-23 10:33:04] 947*2^1247962-1 is not prime. Res64: AE86F7E5137E230E Time : 0.0 sec. user=juhehe [2013-07-23 10:33:06] 825*2^1247962-1 is not prime. Res64: 089FFA5ADA00E7D7 Time : 0.0 sec. user=mdettweiler [2013-07-23 10:51:29] 981*2^1247963-1 is not prime. Res64: 96E8E8C4D46FB01F Time : 0.0 sec. user=mdettweiler [2013-07-23 10:51:29] 699*2^1247964-1 is not prime. Res64: AF707CDE619C0465 Time : 0.0 sec. user=juhehe [2013-07-23 11:01:31] 789*2^1247963-1 is not prime. Res64: C202720131210727 Time : 0.0 sec. user=mdettweiler [2013-07-23 11:09:05] 707*2^1247964-1 is not prime. Res64: 8E7D1DFF751D0A83 Time : 0.0 sec. user=mdettweiler [2013-07-23 11:09:06] 719*2^1247964-1 is not prime. Res64: D34584BBDAB208E6 Time : 0.0 sec. user=mdettweiler [2013-07-23 11:26:54] 789*2^1247964-1 is not prime. Res64: DAFA92DBD29ECD51 Time : 0.0 sec. user=mdettweiler [2013-07-23 11:26:54] 837*2^1247964-1 is not prime. Res64: 305A6B3BE4F406F0 Time : 0.0 sec. user=mdettweiler [2013-07-23 11:44:31] 875*2^1247964-1 is not prime. Res64: 2591A8D6D51FE587 Time : 0.0 sec. user=mdettweiler [2013-07-23 11:44:31] 607*2^1247965-1 is not prime. Res64: C7A8DB4DF63CC07C Time : 0.0 sec. user=mdettweiler [2013-07-23 12:02:09] 609*2^1247965-1 is not prime. Res64: 805F4111FFE88839 Time : 0.0 sec. user=mdettweiler [2013-07-23 12:02:10] 625*2^1247965-1 is not prime. Res64: D6114E74A26764C6 Time : 0.0 sec. user=mdettweiler [2013-07-23 12:20:02] 861*2^1247965-1 is not prime. Res64: 3E9054BFCDA7FC71 Time : 0.0 sec. user=mdettweiler [2013-07-23 12:20:02] 915*2^1247965-1 is not prime. Res64: EF99FA28C7C1748C Time : 0.0 sec. user=mdettweiler [2013-07-23 12:37:41] 831*2^1247966-1 is not prime. Res64: 62410E11DB10F50B Time : 0.0 sec. user=mdettweiler [2013-07-23 12:37:41] 887*2^1247966-1 is not prime. Res64: 3DBD3BD15FEE5E5E Time : 0.0 sec. user=mdettweiler [2013-07-23 12:55:19] 903*2^1247966-1 is not prime. Res64: CD298570E36C0A74 Time : 0.0 sec. user=mdettweiler [2013-07-23 12:55:19] 935*2^1247966-1 is not prime. Res64: 71210246BC4A6ED2 Time : 0.0 sec. user=mdettweiler [2013-07-23 13:13:43] 993*2^1247966-1 is not prime. Res64: D9189E79E79FE80D Time : 0.0 sec. user=mdettweiler [2013-07-23 13:13:43] 609*2^1247967-1 is not prime. Res64: 8C224AFBEEE619A0 Time : 0.0 sec. user=mdettweiler [2013-07-23 13:31:26] 739*2^1247967-1 is not prime. Res64: EC2B2F2478C978C9 Time : 0.0 sec. user=mdettweiler [2013-07-23 13:31:26] 805*2^1247967-1 is not prime. Res64: DA9129C695183628 Time : 0.0 sec. user=mdettweiler [2013-07-23 13:49:25] 831*2^1247967-1 is not prime. Res64: A27A86F14D58ABDB Time : 0.0 sec. user=mdettweiler [2013-07-23 13:49:25] 861*2^1247967-1 is not prime. Res64: 05788CE42127E853 Time : 0.0 sec. user=mdettweiler [2013-07-23 14:07:43] 913*2^1247967-1 is not prime. Res64: E9A60E9F46D59826 Time : 0.0 sec. user=mdettweiler [2013-07-23 14:07:45] 973*2^1247967-1 is not prime. Res64: B631A3E8BD4BE3F1 Time : 0.0 sec. user=mdettweiler [2013-07-23 14:27:02] 979*2^1247967-1 is not prime. Res64: 0901F97133A0DD01 Time : 0.0 sec. user=mdettweiler [2013-07-23 14:27:03] 991*2^1247967-1 is not prime. Res64: A0CB0E415DD1CD6E Time : 0.0 sec. user=mdettweiler [2013-07-23 14:44:32] 707*2^1247968-1 is not prime. Res64: 13D36014B2D88B26 Time : 0.0 sec. user=mdettweiler [2013-07-23 14:44:32] 765*2^1247968-1 is not prime. Res64: 90D7828BBD32DB48 Time : 0.0 sec. user=mdettweiler [2013-07-23 15:02:02] 813*2^1247968-1 is not prime. Res64: 988A9B26C7D9F9B3 Time : 0.0 sec. user=mdettweiler [2013-07-23 15:02:03] 839*2^1247968-1 is not prime. Res64: 7CA4527DE8AA3378 Time : 0.0 sec. user=mdettweiler [2013-07-23 15:19:49] 899*2^1247968-1 is not prime. Res64: AE93F75C3C1944EA Time : 0.0 sec. user=mdettweiler [2013-07-23 15:19:49] 909*2^1247968-1 is not prime. Res64: 544CE88B568721AF Time : 0.0 sec. user=mdettweiler [2013-07-23 15:37:20] 933*2^1247968-1 is not prime. Res64: 1C03F79FF6A2B66C Time : 0.0 sec. user=mdettweiler [2013-07-23 15:37:20] 615*2^1247969-1 is not prime. Res64: CD6061D910FC853E Time : 0.0 sec. user=mdettweiler [2013-07-23 15:54:48] 697*2^1247969-1 is not prime. Res64: ED62621A66A3D44A Time : 0.0 sec. user=mdettweiler [2013-07-23 15:54:48] 711*2^1247969-1 is not prime. Res64: 3AE24005A66F75DF Time : 0.0 sec. user=mdettweiler [2013-07-23 16:13:11] 829*2^1247969-1 is not prime. Res64: 8D2CBDE73846F6CB Time : 0.0 sec. user=mdettweiler [2013-07-23 16:13:12] 969*2^1247969-1 is not prime. Res64: ABFAE0BD86B50E39 Time : 0.0 sec. user=mdettweiler [2013-07-23 16:30:43] 647*2^1247970-1 is not prime. Res64: ECF3312B7C14BD4B Time : 0.0 sec. user=mdettweiler [2013-07-23 16:30:43] 681*2^1247970-1 is not prime. Res64: 98565A7E446B9E5D Time : 0.0 sec. user=mdettweiler [2013-07-23 16:48:16] 711*2^1247970-1 is not prime. Res64: C825925D025A5249 Time : 0.0 sec. user=mdettweiler [2013-07-23 16:48:17] 783*2^1247970-1 is not prime. Res64: BC8CCD4B083AE85C Time : 0.0 sec. user=mdettweiler [2013-07-23 17:05:58] 875*2^1247970-1 is not prime. Res64: 0BF668C950067093 Time : 0.0 sec. user=mdettweiler [2013-07-23 17:05:59] 923*2^1247970-1 is not prime. Res64: 83EF5A1794FAAEFA Time : 0.0 sec. user=mdettweiler [2013-07-23 17:23:50] 945*2^1247970-1 is not prime. Res64: 1B559BEB04ECF25B Time : 0.0 sec. user=mdettweiler [2013-07-23 17:23:51] 619*2^1247971-1 is not prime. Res64: FC77F6225DC18788 Time : 0.0 sec. user=mdettweiler [2013-07-23 17:41:38] 631*2^1247971-1 is not prime. Res64: 033318482C829B65 Time : 0.0 sec. user=mdettweiler [2013-07-23 17:41:38] 745*2^1247971-1 is not prime. Res64: EE2BCA4AD7E2E8D6 Time : 0.0 sec. user=mdettweiler [2013-07-23 17:59:23] 813*2^1247971-1 is not prime. Res64: 77B866CC54F9765C Time : 0.0 sec. user=mdettweiler [2013-07-23 17:59:24] 913*2^1247971-1 is not prime. Res64: 5EA347E13AB4F48E Time : 0.0 sec. user=mdettweiler [2013-07-23 18:17:59] 951*2^1247971-1 is not prime. Res64: D9F574271AF88490 Time : 0.0 sec. user=mdettweiler [2013-07-23 18:18:00] 687*2^1247972-1 is not prime. Res64: 20F0E3291588800B Time : 0.0 sec. user=mdettweiler [2013-07-23 18:35:46] 743*2^1247972-1 is not prime. Res64: 25774E13D0257643 Time : 0.0 sec. user=mdettweiler [2013-07-23 18:35:46] 797*2^1247972-1 is not prime. Res64: 6B8BD6843F09A02E Time : 0.0 sec. user=mdettweiler [2013-07-23 18:54:24] 899*2^1247972-1 is not prime. Res64: A4DDBD13BD6999F2 Time : 0.0 sec. user=mdettweiler [2013-07-23 18:54:24] 963*2^1247972-1 is not prime. Res64: 344BC83E6C71DA5C Time : 0.0 sec. user=mdettweiler [2013-07-23 19:12:18] 625*2^1247973-1 is not prime. Res64: C55F214893374F0F Time : 0.0 sec. user=mdettweiler [2013-07-23 19:12:19] 769*2^1247973-1 is not prime. Res64: 977719DE913B25DD Time : 0.0 sec. user=mdettweiler [2013-07-23 19:30:05] 861*2^1247973-1 is not prime. Res64: F4A09C8EA4BD88D5 Time : 0.0 sec. user=mdettweiler [2013-07-23 19:30:06] 889*2^1247973-1 is not prime. Res64: 078264BBDABEDD9F Time : 0.0 sec. user=mdettweiler [2013-07-23 19:49:34] 961*2^1247973-1 is not prime. Res64: DDE205B6C9A4E3DC Time : 0.0 sec. user=mdettweiler [2013-07-23 19:49:34] 979*2^1247973-1 is not prime. Res64: A6F8652C7CEA479C Time : 0.0 sec. user=mdettweiler [2013-07-23 20:08:11] 999*2^1247973-1 is not prime. Res64: 995CB9691227E8D6 Time : 0.0 sec. user=mdettweiler [2013-07-23 20:08:12] 687*2^1247974-1 is not prime. Res64: A45278033C8D4854 Time : 0.0 sec. user=mdettweiler [2013-07-23 20:26:03] 723*2^1247974-1 is not prime. Res64: 490D7199A0FED198 Time : 0.0 sec. user=mdettweiler [2013-07-23 20:26:03] 747*2^1247974-1 is not prime. Res64: 78A8911992E45F56 Time : 0.0 sec. user=mdettweiler [2013-07-23 20:43:48] 791*2^1247974-1 is not prime. Res64: 37F13E0BBE8A93DE Time : 0.0 sec. user=mdettweiler [2013-07-23 20:43:48] 923*2^1247974-1 is not prime. Res64: 205F9704D9B89958 Time : 0.0 sec. user=mdettweiler [2013-07-23 21:03:20] 951*2^1247974-1 is not prime. Res64: AD764D8137DED422 Time : 0.0 sec. user=mdettweiler [2013-07-23 21:03:21] 981*2^1247974-1 is not prime. Res64: 34BBCB9073980425 Time : 0.0 sec. user=mdettweiler [2013-07-23 21:22:23] 1001*2^1247974-1 is not prime. Res64: 8BF2CE15020C3B40 Time : 0.0 sec. user=mdettweiler [2013-07-23 21:22:23] 669*2^1247975-1 is not prime. Res64: 8AA8EA16E5894D8A Time : 0.0 sec. user=mdettweiler [2013-07-23 21:40:28] 675*2^1247975-1 is not prime. Res64: C858C488AEB11600 Time : 0.0 sec. user=mdettweiler [2013-07-23 21:40:28] 721*2^1247975-1 is not prime. Res64: E736FC1607436624 Time : 0.0 sec. user=mdettweiler [2013-07-23 21:58:32] 763*2^1247975-1 is not prime. Res64: EB3E71A3CBE44BEF Time : 0.0 sec. user=mdettweiler [2013-07-23 21:58:33] 775*2^1247975-1 is not prime. Res64: 4E837E6F57893211 Time : 0.0 sec. user=mdettweiler [2013-07-23 22:16:34] 799*2^1247975-1 is not prime. Res64: 91646AF05C9AC9F1 Time : 0.0 sec. user=mdettweiler [2013-07-23 22:16:34] 825*2^1247975-1 is not prime. Res64: 4E68E3FA18E6D84D Time : 0.0 sec. user=mdettweiler [2013-07-23 22:34:26] 909*2^1247975-1 is not prime. Res64: F6CDFFEC6C839B5D Time : 0.0 sec. user=mdettweiler [2013-07-23 22:34:26] 963*2^1247975-1 is not prime. Res64: 0E0159BEC5AA4AB0 Time : 0.0 sec. user=mdettweiler [2013-07-23 22:52:17] 991*2^1247975-1 is not prime. Res64: 11AE0E45A16A4152 Time : 0.0 sec. user=mdettweiler [2013-07-23 22:52:18] 639*2^1247976-1 is not prime. Res64: 942336773D35DBE9 Time : 0.0 sec. user=mdettweiler [2013-07-23 23:09:21] 689*2^1247976-1 is not prime. Res64: 1D6D96D7C19B653C Time : 0.0 sec. user=mdettweiler [2013-07-23 23:09:22] 725*2^1247976-1 is not prime. Res64: E8BA2C0D1B06F16A Time : 0.0 sec. user=mdettweiler [2013-07-23 23:26:27] 735*2^1247976-1 is not prime. Res64: 653ADB78EA917B5F Time : 0.0 sec. user=mdettweiler [2013-07-23 23:26:28] 839*2^1247976-1 is not prime. Res64: ED91CEF304D54511 Time : 0.0 sec. user=mdettweiler [2013-07-23 23:43:35] 843*2^1247976-1 is not prime. Res64: EB010005DA5D5F7A Time : 0.0 sec. user=mdettweiler [2013-07-23 23:43:35] 927*2^1247976-1 is not prime. Res64: 7BC1B391313252D3 Time : 0.0 sec. user=mdettweiler [2013-07-24 00:00:37] 771*2^1247977-1 is not prime. Res64: 48A7FBE2DB96C532 Time : 0.0 sec. user=mdettweiler [2013-07-24 00:00:38] 897*2^1247977-1 is not prime. Res64: 9F2101807358793E Time : 0.0 sec.