user=mdettweiler [2013-05-23 00:07:49] 665*2^1246172-1 is not prime. Res64: 3045DF5DF66BAF0B Time : 0.0 sec. user=mdettweiler [2013-05-23 00:07:51] 675*2^1246172-1 is not prime. Res64: 0497113FC66C2229 Time : 0.0 sec. user=mdettweiler [2013-05-23 00:10:02] 677*2^1246172-1 is not prime. Res64: 44762F6B55E7A2B4 Time : 0.0 sec. user=mdettweiler [2013-05-23 00:10:19] 735*2^1246172-1 is not prime. Res64: 8EEEC019AF392713 Time : 0.0 sec. user=mdettweiler [2013-05-23 00:26:47] 903*2^1246172-1 is not prime. Res64: B5F151D17907B6D8 Time : 0.0 sec. user=mdettweiler [2013-05-23 00:52:45] 999*2^1246172-1 is not prime. Res64: AA2EAFF47EB82281 Time : 0.0 sec. user=mdettweiler [2013-05-23 00:52:46] 627*2^1246173-1 is not prime. Res64: 4FCFCD5DF7E85264 Time : 0.0 sec. user=mdettweiler [2013-05-23 01:10:31] 679*2^1246173-1 is not prime. Res64: 13A83DC4DF6E03ED Time : 0.0 sec. user=mdettweiler [2013-05-23 01:10:33] 691*2^1246173-1 is not prime. Res64: E5159A08965002A7 Time : 0.0 sec. user=juhehe [2013-05-23 01:13:23] 943*2^1246155-1 is not prime. Res64: 9DE7DC1F9A1FFE6D Time : 0.0 sec. user=mdettweiler [2013-05-23 01:28:27] 919*2^1246173-1 is not prime. Res64: F3596B9C28136617 Time : 0.0 sec. user=mdettweiler [2013-05-23 01:28:28] 945*2^1246173-1 is not prime. Res64: BA5507CF4FB5DCBE Time : 0.0 sec. user=mdettweiler [2013-05-23 01:42:15] 987*2^1246172-1 is not prime. Res64: 9AE51939F4F5CFB3 Time : 0.0 sec. user=mdettweiler [2013-05-23 01:46:58] 951*2^1246173-1 is not prime. Res64: 23622B9F55586011 Time : 0.0 sec. user=mdettweiler [2013-05-23 01:46:58] 979*2^1246173-1 is not prime. Res64: 9DD0CE10C1593391 Time : 0.0 sec. user=mdettweiler [2013-05-23 01:59:50] 605*2^1246174-1 is not prime. Res64: 55A545D1B837FB6B Time : 0.0 sec. user=mdettweiler [2013-05-23 01:59:51] 717*2^1246174-1 is not prime. Res64: F2E24CD4B4D7AC63 Time : 0.0 sec. user=mdettweiler [2013-05-23 02:04:52] 827*2^1246174-1 is not prime. Res64: E8B062CCCA28FE4C Time : 0.0 sec. user=mdettweiler [2013-05-23 02:04:54] 741*2^1246175-1 is not prime. Res64: 3811F92502EB7554 Time : 0.0 sec. user=mdettweiler [2013-05-23 02:17:48] 823*2^1246175-1 is not prime. Res64: 10B4059CD564FFCF Time : 0.0 sec. user=mdettweiler [2013-05-23 02:17:48] 871*2^1246175-1 is not prime. Res64: 39301E2F275E3F51 Time : 0.0 sec. user=mdettweiler [2013-05-23 02:23:04] 915*2^1246175-1 is not prime. Res64: C01DABBBFE598456 Time : 0.0 sec. user=mdettweiler [2013-05-23 02:35:39] 693*2^1246176-1 is not prime. Res64: 2D8B578D1F40846A Time : 0.0 sec. user=mdettweiler [2013-05-23 02:50:55] 635*2^1246176-1 is not prime. Res64: 935758C38BA62EC2 Time : 0.0 sec. user=mdettweiler [2013-05-23 02:57:14] 717*2^1246176-1 is not prime. Res64: D2540CD6A7531414 Time : 0.0 sec. user=mdettweiler [2013-05-23 03:08:59] 725*2^1246176-1 is not prime. Res64: 9C2B74F44287B20C Time : 0.0 sec. user=mdettweiler [2013-05-23 03:09:00] 845*2^1246176-1 is not prime. Res64: D77BB312C7B903A6 Time : 0.0 sec. user=mdettweiler [2013-05-23 03:14:49] 687*2^1246177-1 is not prime. Res64: 57A0614E89909C1B Time : 0.0 sec. user=mdettweiler [2013-05-23 03:14:50] 765*2^1246177-1 is not prime. Res64: 8A56739D33CCF57E Time : 0.0 sec. user=mdettweiler [2013-05-23 03:26:41] 819*2^1246177-1 is not prime. Res64: ECEE6A5F639D7A4D Time : 0.0 sec. user=mdettweiler [2013-05-23 03:26:59] 829*2^1246177-1 is not prime. Res64: 7EF2ECBEA04CC8E8 Time : 0.0 sec. user=mdettweiler [2013-05-23 03:32:34] 831*2^1246177-1 is not prime. Res64: 2DC8475987106E56 Time : 0.0 sec. user=mdettweiler [2013-05-23 04:02:50] 889*2^1246177-1 is not prime. Res64: AF279740F97D67E4 Time : 0.0 sec. user=mdettweiler [2013-05-23 04:07:28] 999*2^1246177-1 is not prime. Res64: 016F835C3DC4641A Time : 0.0 sec. user=mdettweiler [2013-05-23 04:20:59] 843*2^1246178-1 is not prime. Res64: 8ED97EAE56D517E5 Time : 0.0 sec. user=mdettweiler [2013-05-23 04:31:26] 711*2^1246178-1 is not prime. Res64: C64812D7D8480BD0 Time : 0.0 sec. user=mdettweiler [2013-05-23 04:49:26] 843*2^1246179-1 is not prime. Res64: C0571FDD552B0E6C Time : 0.0 sec. user=mdettweiler [2013-05-23 04:49:27] 859*2^1246179-1 is not prime. Res64: 01710EBA4A4C400D Time : 0.0 sec. user=mdettweiler [2013-05-23 04:59:06] 619*2^1246179-1 is not prime. Res64: E6103DAD2A0E2F92 Time : 0.0 sec. user=mdettweiler [2013-05-23 05:07:03] 879*2^1246179-1 is not prime. Res64: F9687C081D69814D Time : 0.0 sec. user=mdettweiler [2013-05-23 05:07:04] 951*2^1246179-1 is not prime. Res64: E14A4F515AB216CA Time : 0.0 sec. user=mdettweiler [2013-05-23 05:16:54] 647*2^1246180-1 is not prime. Res64: D8ADB98FEDD392AF Time : 0.0 sec. user=mdettweiler [2013-05-23 05:25:06] 695*2^1246180-1 is not prime. Res64: C4DCC0F989557832 Time : 0.0 sec. user=mdettweiler [2013-05-23 05:38:41] 693*2^1246180-1 is not prime. Res64: 2FAC1AFAB6A44FB8 Time : 0.0 sec. user=mdettweiler [2013-05-23 05:53:52] 699*2^1246180-1 is not prime. Res64: E4CDEA28C3729637 Time : 0.0 sec. user=mdettweiler [2013-05-23 05:56:33] 621*2^1246181-1 is not prime. Res64: B9A96435C3F052F8 Time : 0.0 sec. user=mdettweiler [2013-05-23 06:11:44] 735*2^1246181-1 is not prime. Res64: C29326BE6A617A64 Time : 0.0 sec. user=mdettweiler [2013-05-23 06:34:42] 715*2^1246181-1 is not prime. Res64: A5DE3EDE6D763C0B Time : 0.0 sec. user=mdettweiler [2013-05-23 06:38:09] 837*2^1246181-1 is not prime. Res64: AD7B7D5594BD687C Time : 0.0 sec. user=mdettweiler [2013-05-23 06:53:23] 871*2^1246181-1 is not prime. Res64: 10C38B6FE04622EE Time : 0.0 sec. user=mdettweiler [2013-05-23 06:56:01] 615*2^1246182-1 is not prime. Res64: 6013A21F16155F1F Time : 0.0 sec. user=mdettweiler [2013-05-23 07:17:26] 653*2^1246182-1 is not prime. Res64: CB6760D354784DB3 Time : 0.0 sec. user=mdettweiler [2013-05-23 07:18:09] 987*2^1246181-1 is not prime. Res64: E57D214C64CB2D66 Time : 0.0 sec. user=mdettweiler [2013-05-23 08:00:21] 681*2^1246182-1 is not prime. Res64: D8DEFB4BFB2D7DC2 Time : 0.0 sec. user=mdettweiler [2013-05-23 08:00:22] 717*2^1246182-1 is not prime. Res64: 4B237916CF3789C8 Time : 0.0 sec. user=mdettweiler [2013-05-23 08:02:05] 801*2^1246182-1 is not prime. Res64: ED4BFC04049B16A4 Time : 0.0 sec. user=mdettweiler [2013-05-23 08:02:06] 917*2^1246182-1 is not prime. Res64: E7CE2FACD218F5CB Time : 0.0 sec. user=mdettweiler [2013-05-23 08:18:10] 921*2^1246182-1 is not prime. Res64: 7701C1F4C3AD5ADE Time : 0.0 sec. user=mdettweiler [2013-05-23 08:19:56] 639*2^1246183-1 is not prime. Res64: 3926514279880EF6 Time : 0.0 sec. user=mdettweiler [2013-05-23 08:48:11] 609*2^1246183-1 is not prime. Res64: 93213D5EAD9B8313 Time : 0.0 sec. user=mdettweiler [2013-05-23 08:54:55] 663*2^1246183-1 is not prime. Res64: F64DD5FA56225113 Time : 0.0 sec. user=mdettweiler [2013-05-23 09:12:39] 673*2^1246183-1 is not prime. Res64: C4F98BE29EEFBEF6 Time : 0.0 sec. user=mdettweiler [2013-05-23 09:12:40] 723*2^1246183-1 is not prime. Res64: 6F06BF83D78F9168 Time : 0.0 sec. user=mdettweiler [2013-05-23 09:24:41] 735*2^1246183-1 is not prime. Res64: C49AD405D6D1165F Time : 0.0 sec. user=mdettweiler [2013-05-23 09:30:17] 853*2^1246183-1 is not prime. Res64: 91AE528BDFAF51D1 Time : 0.0 sec. user=mdettweiler [2013-05-23 09:30:17] 859*2^1246183-1 is not prime. Res64: 5FB7C508389CCE96 Time : 0.0 sec. user=mdettweiler [2013-05-23 09:47:53] 885*2^1246183-1 is not prime. Res64: 1FD3CFC7C6CAD4F8 Time : 0.0 sec. user=mdettweiler [2013-05-23 09:47:54] 943*2^1246183-1 is not prime. Res64: 6E575177FDF6D42A Time : 0.0 sec. user=mdettweiler [2013-05-23 09:51:12] 831*2^1246183-1 is not prime. Res64: 24B46591BEB65007 Time : 0.0 sec. user=mdettweiler [2013-05-23 10:05:54] 629*2^1246184-1 is not prime. Res64: 210FD9D3BF95C3E2 Time : 0.0 sec. user=mdettweiler [2013-05-23 10:08:48] 767*2^1246184-1 is not prime. Res64: 0529176D15B27157 Time : 0.0 sec. user=mdettweiler [2013-05-23 10:09:06] 843*2^1246184-1 is not prime. Res64: DCF5719EE3FBED4C Time : 0.0 sec. user=mdettweiler [2013-05-23 10:29:03] 755*2^1246184-1 is not prime. Res64: E17DFEFDBA2BF38B Time : 0.0 sec. user=mdettweiler [2013-05-23 10:55:04] 669*2^1246185-1 is not prime. Res64: CFD81B5EEE4B6315 Time : 0.0 sec. user=mdettweiler [2013-05-23 11:07:26] 711*2^1246185-1 is not prime. Res64: 0281B14626B43ED4 Time : 0.0 sec. user=mdettweiler [2013-05-23 11:19:27] 623*2^1246186-1 is not prime. Res64: F48002209847855F Time : 0.0 sec. user=mdettweiler [2013-05-23 11:19:27] 651*2^1246186-1 is not prime. Res64: 1DF9C3A747DCBF56 Time : 0.0 sec. user=mdettweiler [2013-05-23 11:37:28] 717*2^1246186-1 is not prime. Res64: E4A76F7755BC8BBB Time : 0.0 sec. user=mdettweiler [2013-05-23 11:57:20] 945*2^1246186-1 is not prime. Res64: 3A635007099F2407 Time : 0.0 sec. user=mdettweiler [2013-05-23 12:17:53] 803*2^1246186-1 is not prime. Res64: 653CDA5A73FD1222 Time : 0.0 sec. user=mdettweiler [2013-05-23 12:25:14] 633*2^1246187-1 is not prime. Res64: F75AECC6649179DA Time : 0.0 sec. user=mdettweiler [2013-05-23 12:35:50] 685*2^1246187-1 is not prime. Res64: A7E0A21D75C3B607 Time : 0.0 sec. user=mdettweiler [2013-05-23 12:43:05] 705*2^1246187-1 is not prime. Res64: D129548557A59ACE Time : 0.0 sec. user=mdettweiler [2013-05-23 12:43:06] 711*2^1246187-1 is not prime. Res64: DC0D499953A133F7 Time : 0.0 sec. user=mdettweiler [2013-05-23 13:00:52] 741*2^1246187-1 is not prime. Res64: DDE3E8B4AC1144D5 Time : 0.0 sec. user=mdettweiler [2013-05-23 13:00:53] 781*2^1246187-1 is not prime. Res64: BDF9B4E4E47182EB Time : 0.0 sec. user=mdettweiler [2013-05-23 13:13:27] 703*2^1246187-1 is not prime. Res64: 1DC47ABA5C2C5CD3 Time : 0.0 sec. user=mdettweiler [2013-05-23 13:18:56] 663*2^1246188-1 is not prime. Res64: ED8198ED9CF09E6E Time : 0.0 sec. user=mdettweiler [2013-05-23 13:41:18] 669*2^1246188-1 is not prime. Res64: 354496C07730D19A Time : 0.0 sec. user=mdettweiler [2013-05-23 13:59:37] 777*2^1246188-1 is not prime. Res64: AD3AC8125176E853 Time : 0.0 sec. user=mdettweiler [2013-05-23 14:06:59] 977*2^1246188-1 is not prime. Res64: 36727F8647B0DC99 Time : 0.0 sec. user=mdettweiler [2013-05-23 14:07:00] 691*2^1246189-1 is not prime. Res64: 7C3311D0A876A188 Time : 0.0 sec. user=mdettweiler [2013-05-23 14:17:58] 909*2^1246188-1 is not prime. Res64: 7EEAE2677397B6A9 Time : 0.0 sec. user=mdettweiler [2013-05-23 14:24:56] 699*2^1246189-1 is not prime. Res64: 23E5727462F6D290 Time : 0.0 sec. user=mdettweiler [2013-05-23 14:24:57] 741*2^1246189-1 is not prime. Res64: 61FB1FC997FF2257 Time : 0.0 sec. user=mdettweiler [2013-05-23 14:35:36] 747*2^1246189-1 is not prime. Res64: 1FCE11500AD57B38 Time : 0.0 sec. user=mdettweiler [2013-05-23 14:35:36] 789*2^1246189-1 is not prime. Res64: D883AA5874F8AA7C Time : 0.0 sec. user=mdettweiler [2013-05-23 14:42:34] 829*2^1246189-1 is not prime. Res64: B55475A01C40AD70 Time : 0.0 sec. user=mdettweiler [2013-05-23 14:42:35] 939*2^1246189-1 is not prime. Res64: 98DF5B913AFDF809 Time : 0.0 sec. user=mdettweiler [2013-05-23 14:53:26] 627*2^1246190-1 is not prime. Res64: 6220CF6BBFEA0C8D Time : 0.0 sec. user=mdettweiler [2013-05-23 15:00:46] 831*2^1246190-1 is not prime. Res64: 6CAC1809D53A53C9 Time : 0.0 sec. user=mdettweiler [2013-05-23 15:19:57] 827*2^1246190-1 is not prime. Res64: F27BA94BB30139F9 Time : 0.0 sec. user=mdettweiler [2013-05-23 15:31:59] 951*2^1246190-1 is not prime. Res64: C3E36FDABA9533DB Time : 0.0 sec. user=mdettweiler [2013-05-23 16:00:42] 1001*2^1246190-1 is not prime. Res64: 2FCD3DB328356869 Time : 0.0 sec. user=mdettweiler [2013-05-23 16:00:42] 639*2^1246191-1 is not prime. Res64: 53AF93145A63FC03 Time : 0.0 sec. user=mdettweiler [2013-05-23 16:18:47] 651*2^1246191-1 is not prime. Res64: 82906395AC183910 Time : 0.0 sec. user=mdettweiler [2013-05-23 16:27:31] 861*2^1246191-1 is not prime. Res64: 5A851B851CA79D05 Time : 0.0 sec. user=mdettweiler [2013-05-23 16:27:32] 945*2^1246191-1 is not prime. Res64: 62C293D7A48DC958 Time : 0.0 sec. user=mdettweiler [2013-05-23 16:39:41] 775*2^1246191-1 is not prime. Res64: 9C543B7E9DC8E250 Time : 0.0 sec. user=mdettweiler [2013-05-23 16:46:09] 961*2^1246191-1 is not prime. Res64: EAB7936AF93FC1A5 Time : 0.0 sec. user=mdettweiler [2013-05-23 16:46:10] 999*2^1246191-1 is not prime. Res64: 5372D20B0009C4F9 Time : 0.0 sec. user=mdettweiler [2013-05-23 16:57:22] 603*2^1246192-1 is not prime. Res64: F792BFD9A09DCCBF Time : 0.0 sec. user=mdettweiler [2013-05-23 16:57:22] 609*2^1246192-1 is not prime. Res64: AFAC546CDAE915FE Time : 0.0 sec. user=mdettweiler [2013-05-23 17:03:52] 635*2^1246192-1 is not prime. Res64: 1D276F13A6C44CBF Time : 0.0 sec. user=mdettweiler [2013-05-23 17:03:54] 645*2^1246192-1 is not prime. Res64: D73BB209E0A8D2AA Time : 0.0 sec. user=mdettweiler [2013-05-23 17:15:25] 689*2^1246192-1 is not prime. Res64: 845C3C04B0217F4A Time : 0.0 sec. user=mdettweiler [2013-05-23 17:15:26] 705*2^1246192-1 is not prime. Res64: 1C075217201C4C08 Time : 0.0 sec. user=mdettweiler [2013-05-23 17:22:16] 713*2^1246192-1 is not prime. Res64: 2D678EF6D4E4C770 Time : 0.0 sec. user=mdettweiler [2013-05-23 17:33:25] 777*2^1246192-1 is not prime. Res64: 5A8D0D8E93C7F360 Time : 0.0 sec. user=mdettweiler [2013-05-23 17:42:46] 717*2^1246192-1 is not prime. Res64: 6E2D0DA24A3F309B Time : 0.0 sec. user=mdettweiler [2013-05-23 18:02:02] 825*2^1246192-1 is not prime. Res64: E7952C9437111D9A Time : 0.0 sec. user=mdettweiler [2013-05-23 18:20:24] 649*2^1246193-1 is not prime. Res64: C0AD2154766295B0 Time : 0.0 sec. user=mdettweiler [2013-05-23 18:20:24] 657*2^1246193-1 is not prime. Res64: 7EBD6B1494E5EDE1 Time : 0.0 sec. user=mdettweiler [2013-05-23 18:35:31] 869*2^1246192-1 is not prime. Res64: 27EECBE02F1B4A4F Time : 0.0 sec. user=mdettweiler [2013-05-23 18:35:48] 923*2^1246192-1 is not prime. Res64: 7F07CAA5CDFD0BCA Time : 0.0 sec. user=mdettweiler [2013-05-23 18:38:35] 697*2^1246193-1 is not prime. Res64: B79A94DFBB627198 Time : 0.0 sec. user=mdettweiler [2013-05-23 19:15:37] 867*2^1246193-1 is not prime. Res64: 85760EBAC22AB0A1 Time : 0.0 sec. user=mdettweiler [2013-05-23 19:33:19] 717*2^1246194-1 is not prime. Res64: F0710148D30B431A Time : 0.0 sec. user=mdettweiler [2013-05-23 19:33:19] 765*2^1246194-1 is not prime. Res64: 8AF3570C5E3C5180 Time : 0.0 sec. user=mdettweiler [2013-05-23 19:33:51] 981*2^1246193-1 is not prime. Res64: 096B229D682DDD61 Time : 0.0 sec. user=mdettweiler [2013-05-23 19:33:51] 991*2^1246193-1 is not prime. Res64: 30C1CB6D8EE57477 Time : 0.0 sec. user=mdettweiler [2013-05-23 19:51:08] 873*2^1246194-1 is not prime. Res64: 93282357011499B4 Time : 0.0 sec. user=mdettweiler [2013-05-23 19:51:09] 891*2^1246194-1 is not prime. Res64: A04C3D9DE3BC61D2 Time : 0.0 sec. user=mdettweiler [2013-05-23 19:51:32] 921*2^1246194-1 is not prime. Res64: D2582C11B8937A49 Time : 0.0 sec. user=mdettweiler [2013-05-23 19:51:32] 971*2^1246194-1 is not prime. Res64: 9461B90EE7D19350 Time : 0.0 sec. user=mdettweiler [2013-05-23 20:09:43] 609*2^1246195-1 is not prime. Res64: 5AD9EC318B7872DF Time : 0.0 sec. user=mdettweiler [2013-05-23 20:09:43] 975*2^1246194-1 is not prime. Res64: 85D23E17DC627380 Time : 0.0 sec. user=mdettweiler [2013-05-23 20:09:44] 983*2^1246194-1 is not prime. Res64: 3BF22E8CBD553E04 Time : 0.0 sec. user=mdettweiler [2013-05-23 20:27:57] 723*2^1246195-1 is not prime. Res64: 7A2BF24B7C1E4F41 Time : 0.0 sec. user=mdettweiler [2013-05-23 20:47:07] 649*2^1246195-1 is not prime. Res64: 913D566518720A07 Time : 0.0 sec. user=mdettweiler [2013-05-23 20:49:49] 735*2^1246195-1 is not prime. Res64: 729BD0915DC578A5 Time : 0.0 sec. user=mdettweiler [2013-05-23 21:04:49] 765*2^1246195-1 is not prime. Res64: 05E430AA13AC42A3 Time : 0.0 sec. user=mdettweiler [2013-05-23 21:04:50] 771*2^1246195-1 is not prime. Res64: 7FEE4776B7A2B60E Time : 0.0 sec. user=mdettweiler [2013-05-23 21:07:31] 801*2^1246195-1 is not prime. Res64: B73C401D88C4C36E Time : 0.0 sec. user=mdettweiler [2013-05-23 21:07:32] 969*2^1246195-1 is not prime. Res64: 61F94F1E83BEF457 Time : 0.0 sec. user=mdettweiler [2013-05-23 21:22:56] 669*2^1246196-1 is not prime. Res64: E56856324A348EC5 Time : 0.0 sec. user=mdettweiler [2013-05-23 21:25:35] 957*2^1246196-1 is not prime. Res64: CED393E201F60728 Time : 0.0 sec. user=mdettweiler [2013-05-23 21:51:04] 963*2^1246196-1 is not prime. Res64: 630BA2119A562C1A Time : 0.0 sec. user=mdettweiler [2013-05-23 21:58:09] 767*2^1246196-1 is not prime. Res64: CBC2D4BEC053394A Time : 0.0 sec. user=mdettweiler [2013-05-23 22:35:10] 969*2^1246196-1 is not prime. Res64: E685FBED9C640736 Time : 0.0 sec. user=mdettweiler [2013-05-23 22:35:10] 983*2^1246196-1 is not prime. Res64: 54CB339CEBABB6F1 Time : 0.0 sec. user=mdettweiler [2013-05-23 22:41:42] 627*2^1246197-1 is not prime. Res64: 3EBDDC6331E07D0B Time : 0.0 sec. user=mdettweiler [2013-05-23 22:41:42] 655*2^1246197-1 is not prime. Res64: 7F80C6726490D4DD Time : 0.0 sec. user=mdettweiler [2013-05-23 22:52:54] 661*2^1246197-1 is not prime. Res64: 5B5856C0B537E374 Time : 0.0 sec. user=mdettweiler [2013-05-23 22:52:55] 849*2^1246197-1 is not prime. Res64: 2A604BCB4DAFAAED Time : 0.0 sec. user=mdettweiler [2013-05-23 23:00:14] 937*2^1246197-1 is not prime. Res64: F259E6C3CA136499 Time : 0.0 sec. user=mdettweiler [2013-05-23 23:00:15] 999*2^1246197-1 is not prime. Res64: 832DD30ABA2D9B6A Time : 0.0 sec. user=mdettweiler [2013-05-23 23:10:55] 611*2^1246198-1 is not prime. Res64: DD8CC18CD3C8535A Time : 0.0 sec. user=mdettweiler [2013-05-23 23:17:59] 681*2^1246198-1 is not prime. Res64: 662F2FE92D43F1A5 Time : 0.0 sec. user=mdettweiler [2013-05-23 23:17:59] 815*2^1246198-1 is not prime. Res64: E0935F9A95C19FF3 Time : 0.0 sec. user=mdettweiler [2013-05-23 23:32:02] 647*2^1246198-1 is not prime. Res64: A67B4789CFB93692 Time : 0.0 sec. user=mdettweiler [2013-05-23 23:35:52] 833*2^1246198-1 is not prime. Res64: E6D80BFBCB4A67CB Time : 0.0 sec.