user=mdettweiler [2013-07-07 00:18:14] 985*2^1247473-1 is not prime. Res64: 97FC59A8ACA54B45 Time : 0.0 sec. user=mdettweiler [2013-07-07 00:18:14] 701*2^1247474-1 is not prime. Res64: 0D90DC2DCC22E24B Time : 0.0 sec. user=mdettweiler [2013-07-07 00:35:19] 921*2^1247474-1 is not prime. Res64: 49D9AF0177DC47AC Time : 0.0 sec. user=mdettweiler [2013-07-07 00:35:19] 691*2^1247475-1 is not prime. Res64: F37E892E37B39461 Time : 0.0 sec. user=mdettweiler [2013-07-07 00:52:22] 709*2^1247475-1 is not prime. Res64: 60D72AAF9DE4EBDC Time : 0.0 sec. user=mdettweiler [2013-07-07 00:52:23] 741*2^1247475-1 is not prime. Res64: E6A2BB7C03FED8E7 Time : 0.0 sec. user=mdettweiler [2013-07-07 01:10:14] 765*2^1247475-1 is not prime. Res64: 8C989CF5E2AD0095 Time : 0.0 sec. user=mdettweiler [2013-07-07 01:10:15] 979*2^1247475-1 is not prime. Res64: A165AAEE382E62C7 Time : 0.0 sec. user=mdettweiler [2013-07-07 01:28:09] 999*2^1247475-1 is not prime. Res64: F30486D8A7E909BA Time : 0.0 sec. user=mdettweiler [2013-07-07 01:28:10] 695*2^1247476-1 is not prime. Res64: E3597874591D1FAB Time : 0.0 sec. user=mdettweiler [2013-07-07 01:45:11] 699*2^1247476-1 is not prime. Res64: 3C0E06C8CAF238B3 Time : 0.0 sec. user=mdettweiler [2013-07-07 01:45:12] 773*2^1247476-1 is not prime. Res64: DBFBEEFD868C2D63 Time : 0.0 sec. user=mdettweiler [2013-07-07 02:02:14] 777*2^1247476-1 is not prime. Res64: 0633A76A9C0EA288 Time : 0.0 sec. user=mdettweiler [2013-07-07 02:02:16] 855*2^1247476-1 is not prime. Res64: 2B95D4091E0C2C23 Time : 0.0 sec. user=mdettweiler [2013-07-07 02:19:40] 897*2^1247476-1 is not prime. Res64: E99FC1A5BEE445AE Time : 0.0 sec. user=mdettweiler [2013-07-07 02:19:41] 729*2^1247477-1 is not prime. Res64: F38FE2A72C0AC2A6 Time : 0.0 sec. user=mdettweiler [2013-07-07 02:36:46] 735*2^1247477-1 is not prime. Res64: D23386E36C90C2FB Time : 0.0 sec. user=mdettweiler [2013-07-07 02:36:47] 885*2^1247477-1 is not prime. Res64: 9EC9042AD4D1669A Time : 0.0 sec. user=mdettweiler [2013-07-07 02:54:55] 931*2^1247477-1 is not prime. Res64: 7C16E6C689E6D432 Time : 0.0 sec. user=mdettweiler [2013-07-07 02:54:55] 997*2^1247477-1 is not prime. Res64: 0F5661866FF5D6E1 Time : 0.0 sec. user=mdettweiler [2013-07-07 03:11:59] 611*2^1247478-1 is not prime. Res64: 32763C3B831AD9D3 Time : 0.0 sec. user=mdettweiler [2013-07-07 03:12:00] 681*2^1247478-1 is not prime. Res64: 2F0E883EFEFE7122 Time : 0.0 sec. user=mdettweiler [2013-07-07 03:29:05] 711*2^1247478-1 is not prime. Res64: 7B3FDC4CA89F0F1C Time : 0.0 sec. user=mdettweiler [2013-07-07 03:29:05] 747*2^1247478-1 is not prime. Res64: 5375A487A60F1E13 Time : 0.0 sec. user=mdettweiler [2013-07-07 03:46:07] 765*2^1247478-1 is not prime. Res64: 603199ECD1C9191B Time : 0.0 sec. user=mdettweiler [2013-07-07 03:46:07] 833*2^1247478-1 is not prime. Res64: 2755AA481E1E3784 Time : 0.0 sec. user=mdettweiler [2013-07-07 04:03:13] 639*2^1247479-1 is not prime. Res64: 19F673B66CAD1770 Time : 0.0 sec. user=mdettweiler [2013-07-07 04:03:14] 603*2^1247480-1 is not prime. Res64: 41F838513F492A32 Time : 0.0 sec. user=mdettweiler [2013-07-07 04:21:20] 633*2^1247480-1 is not prime. Res64: 3E82673BF47C3676 Time : 0.0 sec. user=mdettweiler [2013-07-07 04:21:21] 665*2^1247480-1 is not prime. Res64: 309520F104DFB360 Time : 0.0 sec. user=mdettweiler [2013-07-07 04:38:30] 753*2^1247480-1 is not prime. Res64: 410526E66320F855 Time : 0.0 sec. user=mdettweiler [2013-07-07 04:38:31] 795*2^1247480-1 is not prime. Res64: C87AA36B16E93593 Time : 0.0 sec. user=mdettweiler [2013-07-07 04:55:36] 797*2^1247480-1 is not prime. Res64: FE371B510E50E926 Time : 0.0 sec. user=mdettweiler [2013-07-07 04:55:37] 843*2^1247480-1 is not prime. Res64: F11BC9BB977BC163 Time : 0.0 sec. user=mdettweiler [2013-07-07 05:13:26] 963*2^1247480-1 is not prime. Res64: 6989F669A9C02EC3 Time : 0.0 sec. user=mdettweiler [2013-07-07 05:13:27] 625*2^1247481-1 is not prime. Res64: F505EF0C7296446C Time : 0.0 sec. user=mdettweiler [2013-07-07 05:30:29] 627*2^1247481-1 is not prime. Res64: 25A5C69F668B458B Time : 0.0 sec. user=mdettweiler [2013-07-07 05:30:30] 637*2^1247481-1 is not prime. Res64: FCCFC613A366C006 Time : 0.0 sec. user=mdettweiler [2013-07-07 05:47:34] 747*2^1247481-1 is not prime. Res64: 921BE476DB3693E2 Time : 0.0 sec. user=mdettweiler [2013-07-07 05:47:35] 777*2^1247481-1 is not prime. Res64: 1CD50E6BFD898EDC Time : 0.0 sec. user=mdettweiler [2013-07-07 06:04:37] 837*2^1247481-1 is not prime. Res64: 7DBAFFCCA674B45E Time : 0.0 sec. user=mdettweiler [2013-07-07 06:04:38] 885*2^1247481-1 is not prime. Res64: F45620B2BF6D5999 Time : 0.0 sec. user=mdettweiler [2013-07-07 06:21:47] 955*2^1247481-1 is not prime. Res64: AE73C5E9F46394D7 Time : 0.0 sec. user=mdettweiler [2013-07-07 06:21:47] 603*2^1247482-1 is not prime. Res64: 4D30235984A6342F Time : 0.0 sec. user=mdettweiler [2013-07-07 06:38:50] 675*2^1247482-1 is not prime. Res64: F2B58AD630F4DFBD Time : 0.0 sec. user=mdettweiler [2013-07-07 06:38:50] 713*2^1247482-1 is not prime. Res64: D84ED53A8B0B06BC Time : 0.0 sec. user=mdettweiler [2013-07-07 06:55:52] 737*2^1247482-1 is not prime. Res64: 0A55358B1EACF830 Time : 0.0 sec. user=mdettweiler [2013-07-07 06:55:53] 813*2^1247482-1 is not prime. Res64: 01B5929821DF79F9 Time : 0.0 sec. user=mdettweiler [2013-07-07 07:13:43] 995*2^1247482-1 is not prime. Res64: A39AFC8C172DBC41 Time : 0.0 sec. user=mdettweiler [2013-07-07 07:13:44] 621*2^1247483-1 is not prime. Res64: BA66951367F27629 Time : 0.0 sec. user=mdettweiler [2013-07-07 07:30:46] 753*2^1247483-1 is not prime. Res64: 2194CDD5A1872DC0 Time : 0.0 sec. user=mdettweiler [2013-07-07 07:30:46] 913*2^1247483-1 is not prime. Res64: 9F1C995FEC0F28FA Time : 0.0 sec. user=mdettweiler [2013-07-07 07:47:48] 635*2^1247484-1 is not prime. Res64: D490754E7F31BC55 Time : 0.0 sec. user=mdettweiler [2013-07-07 07:47:49] 717*2^1247484-1 is not prime. Res64: 866A82F7D829210D Time : 0.0 sec. user=mdettweiler [2013-07-07 08:04:51] 737*2^1247484-1 is not prime. Res64: 7D382F256235B839 Time : 0.0 sec. user=mdettweiler [2013-07-07 08:04:52] 809*2^1247484-1 is not prime. Res64: C1C10E171E04775C Time : 0.0 sec. user=mdettweiler [2013-07-07 08:22:00] 825*2^1247484-1 is not prime. Res64: 2E965F0EBF9FA67B Time : 0.0 sec. user=mdettweiler [2013-07-07 08:22:01] 857*2^1247484-1 is not prime. Res64: F4262D9F57096AE9 Time : 0.0 sec. user=mdettweiler [2013-07-07 08:39:51] 975*2^1247484-1 is not prime. Res64: 4AFDFD99F70903B7 Time : 0.0 sec. user=mdettweiler [2013-07-07 08:39:52] 645*2^1247485-1 is not prime. Res64: 117458193F345D17 Time : 0.0 sec. user=mdettweiler [2013-07-07 08:56:53] 679*2^1247485-1 is not prime. Res64: F64F4D07A94FB09D Time : 0.0 sec. user=mdettweiler [2013-07-07 08:56:54] 817*2^1247485-1 is not prime. Res64: 4ED8B363B6FE7B6A Time : 0.0 sec. user=mdettweiler [2013-07-07 09:13:55] 825*2^1247485-1 is not prime. Res64: AA0CAF3A2B367892 Time : 0.0 sec. user=mdettweiler [2013-07-07 09:13:56] 855*2^1247485-1 is not prime. Res64: B03780AFFF254EB6 Time : 0.0 sec. user=mdettweiler [2013-07-07 09:30:59] 741*2^1247486-1 is not prime. Res64: 6E1CC4CF361F1923 Time : 0.0 sec. user=mdettweiler [2013-07-07 09:31:00] 743*2^1247486-1 is not prime. Res64: 3154127CE1F512A0 Time : 0.0 sec. user=mdettweiler [2013-07-07 09:48:02] 813*2^1247486-1 is not prime. Res64: F3CD4B9868CEC72F Time : 0.0 sec. user=mdettweiler [2013-07-07 09:48:02] 815*2^1247486-1 is not prime. Res64: 1E8DC40B4EE9451F Time : 0.0 sec. user=mdettweiler [2013-07-07 10:05:04] 897*2^1247486-1 is not prime. Res64: 0C09CF33F10D7F7B Time : 0.0 sec. user=mdettweiler [2013-07-07 10:05:05] 945*2^1247486-1 is not prime. Res64: 3F6664ADBEB6A383 Time : 0.0 sec. user=mdettweiler [2013-07-07 10:22:12] 619*2^1247487-1 is not prime. Res64: EFD557904B315B2A Time : 0.0 sec. user=mdettweiler [2013-07-07 10:22:12] 675*2^1247487-1 is not prime. Res64: A14069B02A2FA24C Time : 0.0 sec. user=mdettweiler [2013-07-07 10:39:35] 865*2^1247487-1 is not prime. Res64: 30B141380FE66A5F Time : 0.0 sec. user=mdettweiler [2013-07-07 10:39:35] 871*2^1247487-1 is not prime. Res64: C8479E3E93D5F873 Time : 0.0 sec. user=mdettweiler [2013-07-07 10:58:15] 931*2^1247487-1 is not prime. Res64: A7B04EDBF7B72A34 Time : 0.0 sec. user=mdettweiler [2013-07-07 10:58:15] 979*2^1247487-1 is not prime. Res64: 87C8D1C33BA60763 Time : 0.0 sec. user=mdettweiler [2013-07-07 11:15:43] 677*2^1247488-1 is not prime. Res64: 6D580EBF8D5DFB37 Time : 0.0 sec. user=mdettweiler [2013-07-07 11:15:43] 777*2^1247488-1 is not prime. Res64: C550286B89858F19 Time : 0.0 sec. user=mdettweiler [2013-07-07 11:32:49] 843*2^1247488-1 is not prime. Res64: 2243AF77185B002B Time : 0.0 sec. user=mdettweiler [2013-07-07 11:32:49] 845*2^1247488-1 is not prime. Res64: 4C9C5739451F3C15 Time : 0.0 sec. user=mdettweiler [2013-07-07 11:49:52] 887*2^1247488-1 is not prime. Res64: 8DE1F329F390855E Time : 0.0 sec. user=mdettweiler [2013-07-07 11:49:52] 923*2^1247488-1 is not prime. Res64: E87EBF307CDF4E62 Time : 0.0 sec. user=mdettweiler [2013-07-07 12:07:43] 969*2^1247488-1 is not prime. Res64: F706F609E11F6DC3 Time : 0.0 sec. user=mdettweiler [2013-07-07 12:07:44] 615*2^1247489-1 is not prime. Res64: 2FEA49F5AA75CA92 Time : 0.0 sec. user=mdettweiler [2013-07-07 12:24:49] 645*2^1247489-1 is not prime. Res64: 94D19F144DFAF4A3 Time : 0.0 sec. user=mdettweiler [2013-07-07 12:24:50] 699*2^1247489-1 is not prime. Res64: 88F59D5AE573A353 Time : 0.0 sec. user=mdettweiler [2013-07-07 12:41:52] 721*2^1247489-1 is not prime. Res64: 3F1C09987ADAEA40 Time : 0.0 sec. user=mdettweiler [2013-07-07 12:41:52] 831*2^1247489-1 is not prime. Res64: 5DFDA2AD926E838A Time : 0.0 sec. user=mdettweiler [2013-07-07 12:59:08] 611*2^1247490-1 is not prime. Res64: 96C6D5B4EF363908 Time : 0.0 sec. user=mdettweiler [2013-07-07 12:59:09] 735*2^1247490-1 is not prime. Res64: E2F385ECCCEABDA9 Time : 0.0 sec. user=mdettweiler [2013-07-07 13:16:28] 803*2^1247490-1 is not prime. Res64: BC2C1A32EF35F6DD Time : 0.0 sec. user=mdettweiler [2013-07-07 13:16:28] 843*2^1247490-1 is not prime. Res64: CF6BCDA195DB4B24 Time : 0.0 sec. user=mdettweiler [2013-07-07 13:34:46] 861*2^1247490-1 is not prime. Res64: 65474DC9C379471F Time : 0.0 sec. user=mdettweiler [2013-07-07 13:34:46] 1001*2^1247490-1 is not prime. Res64: 995A4A304063304D Time : 0.0 sec. user=mdettweiler [2013-07-07 13:52:23] 609*2^1247491-1 is not prime. Res64: DDAB91F0D73064F2 Time : 0.0 sec. user=mdettweiler [2013-07-07 13:52:23] 619*2^1247491-1 is not prime. Res64: 30F16FDA6F16D931 Time : 0.0 sec. user=mdettweiler [2013-07-07 14:10:19] 733*2^1247491-1 is not prime. Res64: 335E686E2F597376 Time : 0.0 sec. user=mdettweiler [2013-07-07 14:10:20] 735*2^1247491-1 is not prime. Res64: 62F455097343273F Time : 0.0 sec. user=mdettweiler [2013-07-07 14:28:24] 745*2^1247491-1 is not prime. Res64: C3F46615F844E43C Time : 0.0 sec. user=mdettweiler [2013-07-07 14:28:24] 849*2^1247491-1 is not prime. Res64: 9FE17872AF6F23B6 Time : 0.0 sec. user=mdettweiler [2013-07-07 14:46:11] 665*2^1247492-1 is not prime. Res64: A93858A8CB6CCC98 Time : 0.0 sec. user=mdettweiler [2013-07-07 14:46:11] 837*2^1247492-1 is not prime. Res64: 4D6C1FC77BC20078 Time : 0.0 sec. user=mdettweiler [2013-07-07 15:04:16] 843*2^1247492-1 is not prime. Res64: 286FB9F78B443830 Time : 0.0 sec. user=mdettweiler [2013-07-07 15:04:17] 875*2^1247492-1 is not prime. Res64: E80499962025F30C Time : 0.0 sec. user=mdettweiler [2013-07-07 16:09:47] 885*2^1247492-1 is not prime. Res64: 800E6BB503E6BE16 Time : 0.0 sec. user=mdettweiler [2013-07-07 16:09:47] 999*2^1247492-1 is not prime. Res64: 747F910D499A4F7E Time : 0.0 sec. user=mdettweiler [2013-07-07 16:27:05] 741*2^1247493-1 is not prime. Res64: 712ECAF9F146736A Time : 0.0 sec. user=mdettweiler [2013-07-07 16:27:06] 747*2^1247493-1 is not prime. Res64: 47C06561D6878A9D Time : 0.0 sec. user=mdettweiler [2013-07-07 16:45:10] 919*2^1247493-1 is not prime. Res64: BD55C5C8FD76F3C6 Time : 0.0 sec. user=mdettweiler [2013-07-07 16:45:10] 927*2^1247493-1 is not prime. Res64: B307EA158DCD7DD0 Time : 0.0 sec. user=mdettweiler [2013-07-07 17:04:14] 991*2^1247493-1 is not prime. Res64: EEF4F81552FB6355 Time : 0.0 sec. user=mdettweiler [2013-07-07 17:04:15] 645*2^1247494-1 is not prime. Res64: 9599423009781672 Time : 0.0 sec. user=mdettweiler [2013-07-07 17:22:32] 741*2^1247494-1 is not prime. Res64: EC3A9A04BA644ABD Time : 0.0 sec. user=mdettweiler [2013-07-07 17:22:32] 755*2^1247494-1 is not prime. Res64: 3910A9FE2F5B09D1 Time : 0.0 sec. user=mdettweiler [2013-07-07 17:41:35] 831*2^1247494-1 is not prime. Res64: D1B79D24D2BEC905 Time : 0.0 sec. user=mdettweiler [2013-07-07 17:41:36] 971*2^1247494-1 is not prime. Res64: 856556CEC05E5F0F Time : 0.0 sec. user=mdettweiler [2013-07-07 17:59:45] 735*2^1247495-1 is not prime. Res64: 73D5D9ECC750CC5D Time : 0.0 sec. user=mdettweiler [2013-07-07 17:59:45] 831*2^1247495-1 is not prime. Res64: 5DE852E1EF5CA283 Time : 0.0 sec. user=mdettweiler [2013-07-07 18:19:19] 981*2^1247495-1 is not prime. Res64: 4E5A70B8E96DCEBB Time : 0.0 sec. user=mdettweiler [2013-07-07 18:19:19] 999*2^1247495-1 is not prime. Res64: F34DFB7A062D767A Time : 0.0 sec. user=mdettweiler [2013-07-07 18:37:03] 633*2^1247496-1 is not prime. Res64: 00B0534C5A0D6DDA Time : 0.0 sec. user=mdettweiler [2013-07-07 18:37:03] 705*2^1247496-1 is not prime. Res64: D73CADBF2E9F756D Time : 0.0 sec. user=mdettweiler [2013-07-07 18:54:39] 747*2^1247496-1 is not prime. Res64: F8AE6F804806C6C7 Time : 0.0 sec. user=mdettweiler [2013-07-07 18:54:39] 765*2^1247496-1 is not prime. Res64: 84A40E25EF782027 Time : 0.0 sec. user=mdettweiler [2013-07-07 19:11:48] 875*2^1247496-1 is not prime. Res64: 682E01CE08F48ED9 Time : 0.0 sec. user=mdettweiler [2013-07-07 19:11:49] 899*2^1247496-1 is not prime. Res64: B78C673F206AAD48 Time : 0.0 sec. user=mdettweiler [2013-07-07 19:28:50] 667*2^1247497-1 is not prime. Res64: 3225F570C4465950 Time : 0.0 sec. user=mdettweiler [2013-07-07 19:28:51] 675*2^1247497-1 is not prime. Res64: E65F6532D47FC3AA Time : 0.0 sec. user=mdettweiler [2013-07-07 19:45:52] 687*2^1247497-1 is not prime. Res64: 5B82A894F3D3B6F8 Time : 0.0 sec. user=mdettweiler [2013-07-07 19:45:52] 841*2^1247497-1 is not prime. Res64: 811B16126E000D90 Time : 0.0 sec. user=mdettweiler [2013-07-07 20:02:54] 687*2^1247498-1 is not prime. Res64: B07E5CA40832D494 Time : 0.0 sec. user=mdettweiler [2013-07-07 20:02:56] 707*2^1247498-1 is not prime. Res64: 74FEE333180DB668 Time : 0.0 sec. user=mdettweiler [2013-07-07 20:20:17] 755*2^1247498-1 is not prime. Res64: F90206D0BDF76161 Time : 0.0 sec. user=mdettweiler [2013-07-07 20:20:18] 791*2^1247498-1 is not prime. Res64: B4B176927EFB3734 Time : 0.0 sec. user=mdettweiler [2013-07-07 20:37:20] 831*2^1247498-1 is not prime. Res64: 7647BD5EE25E5BA1 Time : 0.0 sec. user=mdettweiler [2013-07-07 20:37:20] 833*2^1247498-1 is not prime. Res64: F497CB46A90C08FA Time : 0.0 sec. user=mdettweiler [2013-07-07 20:55:10] 885*2^1247498-1 is not prime. Res64: EDC3CCAEBFB05C53 Time : 0.0 sec. user=mdettweiler [2013-07-07 20:55:10] 977*2^1247498-1 is not prime. Res64: 648C3BAFDB600BF6 Time : 0.0 sec. user=mdettweiler [2013-07-07 21:13:01] 1001*2^1247498-1 is not prime. Res64: DFD8095AE0ED229B Time : 0.0 sec. user=mdettweiler [2013-07-07 21:13:02] 613*2^1247499-1 is not prime. Res64: 4F420AF0E14C2493 Time : 0.0 sec. user=mdettweiler [2013-07-07 21:30:05] 663*2^1247499-1 is not prime. Res64: 86533C151BB916B7 Time : 0.0 sec. user=mdettweiler [2013-07-07 21:30:06] 789*2^1247499-1 is not prime. Res64: 7105F959ECCB1318 Time : 0.0 sec. user=mdettweiler [2013-07-07 21:47:08] 909*2^1247499-1 is not prime. Res64: E76D91E663B81083 Time : 0.0 sec. user=mdettweiler [2013-07-07 21:47:09] 615*2^1247500-1 is not prime. Res64: 8F58369FEEBDD7A7 Time : 0.0 sec. user=mdettweiler [2013-07-07 22:04:12] 629*2^1247500-1 is not prime. Res64: D7F971BE73D30F25 Time : 0.0 sec. user=mdettweiler [2013-07-07 22:04:13] 689*2^1247500-1 is not prime. Res64: 85552D8D35A320DE Time : 0.0 sec. user=mdettweiler [2013-07-07 22:21:21] 717*2^1247500-1 is not prime. Res64: 1BDCF3D5C6E2D3F9 Time : 0.0 sec. user=mdettweiler [2013-07-07 22:21:21] 719*2^1247500-1 is not prime. Res64: D306C92709F8A47F Time : 0.0 sec. user=mdettweiler [2013-07-07 22:38:23] 777*2^1247500-1 is not prime. Res64: 8EF230C5BBDEF07B Time : 0.0 sec. user=mdettweiler [2013-07-07 22:38:24] 843*2^1247500-1 is not prime. Res64: 2A06A3559628AF98 Time : 0.0 sec. user=mdettweiler [2013-07-07 22:55:25] 855*2^1247500-1 is not prime. Res64: 511B4C72F8E2692F Time : 0.0 sec. user=mdettweiler [2013-07-07 22:55:26] 905*2^1247500-1 is not prime. Res64: 233BB6E4A527DC1C Time : 0.0 sec. user=mdettweiler [2013-07-07 23:13:17] 995*2^1247500-1 is not prime. Res64: FDC21344D1BB6A19 Time : 0.0 sec. user=mdettweiler [2013-07-07 23:13:18] 727*2^1247501-1 is not prime. Res64: A69CDB746533412A Time : 0.0 sec. user=mdettweiler [2013-07-07 23:30:19] 735*2^1247501-1 is not prime. Res64: 35D102A250409703 Time : 0.0 sec. user=mdettweiler [2013-07-07 23:30:20] 781*2^1247501-1 is not prime. Res64: 4DB992E871B184C6 Time : 0.0 sec. user=mdettweiler [2013-07-07 23:47:27] 867*2^1247501-1 is not prime. Res64: 9206A8D1E93BB748 Time : 0.0 sec. user=mdettweiler [2013-07-07 23:47:28] 925*2^1247501-1 is not prime. Res64: 635B3886BAC3844E Time : 0.0 sec.