user=mdettweiler [2012-10-06 00:04:49] 773*2^1230154-1 is not prime. Res64: 7AA0F5CA25FB92CF Time : 0.0 sec. user=mdettweiler [2012-10-06 00:04:50] 827*2^1230154-1 is not prime. Res64: 05F5F9DC58941578 Time : 0.0 sec. user=mdettweiler [2012-10-06 00:18:55] 923*2^1230154-1 is not prime. Res64: F0B2C51AE1F94170 Time : 0.0 sec. user=mdettweiler [2012-10-06 00:18:55] 993*2^1230154-1 is not prime. Res64: 7E82A53BCB42F429 Time : 0.0 sec. user=vaughan [2012-10-06 00:24:45] 887*2^1230154-1 is not prime. Res64: 27FAB2A5DEDACFF5 Time : 0.0 sec. user=mdettweiler [2012-10-06 00:25:49] 663*2^1230155-1 is not prime. Res64: 25BDAFEA5AF0D441 Time : 0.0 sec. user=mdettweiler [2012-10-06 00:25:50] 913*2^1230155-1 is not prime. Res64: ACCFDB91E30F264F Time : 0.0 sec. user=mdettweiler [2012-10-06 00:39:34] 689*2^1230156-1 is not prime. Res64: B8E25F95C8932AF4 Time : 0.0 sec. user=mdettweiler [2012-10-06 00:39:34] 759*2^1230156-1 is not prime. Res64: EF0D3B16A8F4C543 Time : 0.0 sec. user=mdettweiler [2012-10-06 00:46:25] 779*2^1230156-1 is not prime. Res64: 773AB845584774E3 Time : 0.0 sec. user=mdettweiler [2012-10-06 00:46:26] 789*2^1230156-1 is not prime. Res64: F0F0D1E05CD60926 Time : 0.0 sec. user=mdettweiler [2012-10-06 01:00:10] 905*2^1230156-1 is not prime. Res64: E7BE2A56D9976D6C Time : 0.0 sec. user=mdettweiler [2012-10-06 01:00:12] 923*2^1230156-1 is not prime. Res64: 5BD72935DE1C689D Time : 0.0 sec. user=vaughan [2012-10-06 01:02:31] 765*2^1230156-1 is not prime. Res64: EF218D194C19D28C Time : 0.0 sec. user=mdettweiler [2012-10-06 01:07:01] 975*2^1230156-1 is not prime. Res64: 1EE8A467465DAA42 Time : 0.0 sec. user=mdettweiler [2012-10-06 01:07:03] 645*2^1230157-1 is not prime. Res64: E2ECD741B805ED8D Time : 0.0 sec. user=mdettweiler [2012-10-06 01:20:49] 859*2^1230157-1 is not prime. Res64: A7F95621DE6B083E Time : 0.0 sec. user=mdettweiler [2012-10-06 01:20:50] 931*2^1230157-1 is not prime. Res64: 1F5F32EB95AD536B Time : 0.0 sec. user=mdettweiler [2012-10-06 01:27:42] 885*2^1230158-1 is not prime. Res64: 4E2A9AB30AEFF67B Time : 0.0 sec. user=mdettweiler [2012-10-06 01:27:42] 625*2^1230159-1 is not prime. Res64: 6AB417336DC87902 Time : 0.0 sec. user=vaughan [2012-10-06 01:40:16] 707*2^1230158-1 is not prime. Res64: 514E8E502D7D2907 Time : 0.0 sec. user=mdettweiler [2012-10-06 01:41:28] 679*2^1230159-1 is not prime. Res64: 6176436473117650 Time : 0.0 sec. user=mdettweiler [2012-10-06 01:41:29] 711*2^1230159-1 is not prime. Res64: A43CC4376826656C Time : 0.0 sec. user=mdettweiler [2012-10-06 01:48:17] 793*2^1230159-1 is not prime. Res64: E1E7DC301724DD2B Time : 0.0 sec. user=mdettweiler [2012-10-06 01:48:17] 825*2^1230159-1 is not prime. Res64: 8ED8FEC949C4B104 Time : 0.0 sec. user=mdettweiler [2012-10-06 02:02:05] 951*2^1230159-1 is not prime. Res64: 7217E1FEC040AC86 Time : 0.0 sec. user=mdettweiler [2012-10-06 02:02:06] 973*2^1230159-1 is not prime. Res64: DC2203B2F6A2612F Time : 0.0 sec. user=mdettweiler [2012-10-06 02:08:52] 605*2^1230160-1 is not prime. Res64: 9C0A8F2C596FCCA1 Time : 0.0 sec. user=mdettweiler [2012-10-06 02:08:53] 645*2^1230160-1 is not prime. Res64: 7BA219CE2E86E7B7 Time : 0.0 sec. user=vaughan [2012-10-06 02:18:00] 831*2^1230159-1 is not prime. Res64: F4E8E9148A0C8144 Time : 0.0 sec. user=mdettweiler [2012-10-06 02:22:51] 653*2^1230160-1 is not prime. Res64: D6199A3B067CF108 Time : 0.0 sec. user=mdettweiler [2012-10-06 02:22:51] 723*2^1230160-1 is not prime. Res64: 07D09F2413E66DA2 Time : 0.0 sec. user=mdettweiler [2012-10-06 02:29:31] 819*2^1230160-1 is not prime. Res64: F1FDC983AA94FDF0 Time : 0.0 sec. user=mdettweiler [2012-10-06 02:29:32] 839*2^1230160-1 is not prime. Res64: 5B5D4114EF14C70D Time : 0.0 sec. user=mdettweiler [2012-10-06 02:43:27] 897*2^1230160-1 is not prime. Res64: 9E6BA5D008EEFFCA Time : 0.0 sec. user=mdettweiler [2012-10-06 02:43:28] 983*2^1230160-1 is not prime. Res64: B4AEDB1F52DED0DC Time : 0.0 sec. user=mdettweiler [2012-10-06 02:50:07] 995*2^1230160-1 is not prime. Res64: B7FD9E7ECF4D40DC Time : 0.0 sec. user=mdettweiler [2012-10-06 02:50:08] 601*2^1230161-1 is not prime. Res64: 12C2AF0B96FE0054 Time : 0.0 sec. user=vaughan [2012-10-06 02:55:52] 887*2^1230160-1 is not prime. Res64: DF02BA80FF60F76B Time : 0.0 sec. user=mdettweiler [2012-10-06 03:04:16] 675*2^1230161-1 is not prime. Res64: F5FC3C0415AD1F78 Time : 0.0 sec. user=mdettweiler [2012-10-06 03:04:18] 789*2^1230161-1 is not prime. Res64: E5DDACF3E1BF2E52 Time : 0.0 sec. user=mdettweiler [2012-10-06 03:10:45] 795*2^1230161-1 is not prime. Res64: CD8EB5BD4F5B5337 Time : 0.0 sec. user=mdettweiler [2012-10-06 03:10:46] 937*2^1230161-1 is not prime. Res64: 898C89FE6DE7AA17 Time : 0.0 sec. user=mdettweiler [2012-10-06 03:25:20] 979*2^1230161-1 is not prime. Res64: 5044158A013343B9 Time : 0.0 sec. user=mdettweiler [2012-10-06 03:25:21] 725*2^1230162-1 is not prime. Res64: 7CD502836209FCDB Time : 0.0 sec. user=mdettweiler [2012-10-06 03:31:24] 731*2^1230162-1 is not prime. Res64: 549A6FCDF42DCC31 Time : 0.0 sec. user=mdettweiler [2012-10-06 03:31:26] 735*2^1230162-1 is not prime. Res64: 2ABEE14B8C5ADC04 Time : 0.0 sec. user=vaughan [2012-10-06 03:33:39] 951*2^1230161-1 is not prime. Res64: 93EB5F053D5B1768 Time : 0.0 sec. user=mdettweiler [2012-10-06 03:46:06] 791*2^1230162-1 is not prime. Res64: 310C2CBD7059F07F Time : 0.0 sec. user=mdettweiler [2012-10-06 03:46:07] 875*2^1230162-1 is not prime. Res64: 4F1001900761FEC8 Time : 0.0 sec. user=mdettweiler [2012-10-06 03:52:11] 977*2^1230162-1 is not prime. Res64: DEC16A88DB4F4B98 Time : 0.0 sec. user=mdettweiler [2012-10-06 03:52:12] 679*2^1230163-1 is not prime. Res64: 838C5342429E04A2 Time : 0.0 sec. user=mdettweiler [2012-10-06 04:06:52] 871*2^1230163-1 is not prime. Res64: 57E8504165BAEA14 Time : 0.0 sec. user=mdettweiler [2012-10-06 04:06:54] 901*2^1230163-1 is not prime. Res64: 485A65C72F360CB5 Time : 0.0 sec. user=vaughan [2012-10-06 04:11:27] 709*2^1230163-1 is not prime. Res64: 17A49C4E50160EF3 Time : 0.0 sec. user=mdettweiler [2012-10-06 04:12:48] 925*2^1230163-1 is not prime. Res64: BCA567CA9F39ACEC Time : 0.0 sec. user=mdettweiler [2012-10-06 04:12:50] 973*2^1230163-1 is not prime. Res64: D8DF497B26581CA3 Time : 0.0 sec. user=mdettweiler [2012-10-06 04:27:46] 993*2^1230163-1 is not prime. Res64: 0BE150DCF939C9EC Time : 0.0 sec. user=mdettweiler [2012-10-06 04:27:46] 617*2^1230164-1 is not prime. Res64: DC6014549BDC5AFA Time : 0.0 sec. user=mdettweiler [2012-10-06 04:33:30] 675*2^1230164-1 is not prime. Res64: 7DC0DBE4B9E9B01B Time : 0.0 sec. user=mdettweiler [2012-10-06 04:33:31] 843*2^1230164-1 is not prime. Res64: F89348D1D558A8FF Time : 0.0 sec. user=mdettweiler [2012-10-06 04:48:22] 873*2^1230164-1 is not prime. Res64: B838F36FF74D77A5 Time : 0.0 sec. user=mdettweiler [2012-10-06 04:48:23] 875*2^1230164-1 is not prime. Res64: 5F1E3410DA0B5BCC Time : 0.0 sec. user=vaughan [2012-10-06 04:49:17] 623*2^1230164-1 is not prime. Res64: 5DE21BC729ADE88C Time : 0.0 sec. user=mdettweiler [2012-10-06 04:54:18] 945*2^1230164-1 is not prime. Res64: 4E9480FDC0C1968A Time : 0.0 sec. user=mdettweiler [2012-10-06 04:54:18] 649*2^1230165-1 is not prime. Res64: 14B0B2B6AB9AD1FF Time : 0.0 sec. user=mdettweiler [2012-10-06 05:09:00] 669*2^1230165-1 is not prime. Res64: EBBF4C18DD2A5BE9 Time : 0.0 sec. user=mdettweiler [2012-10-06 05:09:03] 783*2^1230166-1 is not prime. Res64: F0523F427404D4B4 Time : 0.0 sec. user=mdettweiler [2012-10-06 05:14:54] 971*2^1230166-1 is not prime. Res64: E573FD7FB45D72B6 Time : 0.0 sec. user=mdettweiler [2012-10-06 05:14:56] 615*2^1230167-1 is not prime. Res64: 89CBB962BA7C344E Time : 0.0 sec. user=vaughan [2012-10-06 05:27:03] 857*2^1230166-1 is not prime. Res64: 1374F778F0007256 Time : 0.0 sec. user=mdettweiler [2012-10-06 05:29:44] 655*2^1230167-1 is not prime. Res64: C962EF3527BB0E48 Time : 0.0 sec. user=mdettweiler [2012-10-06 05:29:45] 715*2^1230167-1 is not prime. Res64: 2D8C5541B935793C Time : 0.0 sec. user=mdettweiler [2012-10-06 05:35:45] 759*2^1230167-1 is not prime. Res64: DAE5F2597688641B Time : 0.0 sec. user=mdettweiler [2012-10-06 05:35:45] 763*2^1230167-1 is not prime. Res64: 499EB0B07311893E Time : 0.0 sec. user=mdettweiler [2012-10-06 05:50:21] 901*2^1230167-1 is not prime. Res64: EAA2B3431B67EE1E Time : 0.0 sec. user=mdettweiler [2012-10-06 05:50:22] 657*2^1230168-1 is not prime. Res64: 01C2D590CBB45343 Time : 0.0 sec. user=mdettweiler [2012-10-06 05:56:22] 689*2^1230168-1 is not prime. Res64: B711F70CDD1B66E5 Time : 0.0 sec. user=mdettweiler [2012-10-06 05:56:22] 837*2^1230168-1 is not prime. Res64: 772DD49A2B646274 Time : 0.0 sec. user=vaughan [2012-10-06 06:04:46] 775*2^1230167-1 is not prime. Res64: C356C4FF7AEBF44F Time : 0.0 sec. user=mdettweiler [2012-10-06 06:10:58] 905*2^1230168-1 is not prime. Res64: D55EB4D91786449B Time : 0.0 sec. user=mdettweiler [2012-10-06 06:11:01] 649*2^1230169-1 is not prime. Res64: 9BC7BBAEC7023220 Time : 0.0 sec. user=mdettweiler [2012-10-06 06:16:59] 771*2^1230169-1 is not prime. Res64: D320CA76DB3772E1 Time : 0.0 sec. user=mdettweiler [2012-10-06 06:17:00] 855*2^1230169-1 is not prime. Res64: 2062F0683B7FE632 Time : 0.0 sec. user=mdettweiler [2012-10-06 06:31:41] 985*2^1230169-1 is not prime. Res64: DE26E53F364A98C5 Time : 0.0 sec. user=mdettweiler [2012-10-06 06:31:41] 701*2^1230170-1 is not prime. Res64: 2987375B158139B3 Time : 0.0 sec. user=mdettweiler [2012-10-06 06:37:39] 735*2^1230170-1 is not prime. Res64: 78FBEA56352D9075 Time : 0.0 sec. user=mdettweiler [2012-10-06 06:37:40] 893*2^1230170-1 is not prime. Res64: 65E1DCCA74903627 Time : 0.0 sec. user=vaughan [2012-10-06 06:42:33] 939*2^1230169-1 is not prime. Res64: EEE33E9E2EB513A7 Time : 0.0 sec. user=mdettweiler [2012-10-06 06:52:17] 923*2^1230170-1 is not prime. Res64: 14172EC66A34778E Time : 0.0 sec. user=mdettweiler [2012-10-06 06:52:17] 945*2^1230170-1 is not prime. Res64: F64950FB44130E0D Time : 0.0 sec. user=mdettweiler [2012-10-06 06:58:15] 971*2^1230170-1 is not prime. Res64: 7E67D717B4FF4E2A Time : 0.0 sec. user=mdettweiler [2012-10-06 06:58:16] 1001*2^1230170-1 is not prime. Res64: 3F66152F61AE024A Time : 0.0 sec. user=mdettweiler [2012-10-06 07:12:54] 781*2^1230171-1 is not prime. Res64: C73C33F100B7712B Time : 0.0 sec. user=mdettweiler [2012-10-06 07:12:57] 823*2^1230171-1 is not prime. Res64: 5BC1D1E9CCFACED6 Time : 0.0 sec. user=mdettweiler [2012-10-06 07:18:52] 873*2^1230171-1 is not prime. Res64: B02622DAA8831FFF Time : 0.0 sec. user=mdettweiler [2012-10-06 07:18:53] 955*2^1230171-1 is not prime. Res64: A8D42ADA6155257B Time : 0.0 sec. user=vaughan [2012-10-06 07:20:19] 705*2^1230171-1 is not prime. Res64: 16879A4BB3DC5196 Time : 0.0 sec. user=mdettweiler [2012-10-06 07:33:54] 689*2^1230172-1 is not prime. Res64: 9E37C7B4D9400323 Time : 0.0 sec. user=mdettweiler [2012-10-06 07:33:55] 755*2^1230172-1 is not prime. Res64: F81AA853D2381FB9 Time : 0.0 sec. user=mdettweiler [2012-10-06 07:39:32] 819*2^1230172-1 is not prime. Res64: F441B162A9741CCA Time : 0.0 sec. user=mdettweiler [2012-10-06 07:39:33] 833*2^1230172-1 is not prime. Res64: BD8DF5DBD4DDF52F Time : 0.0 sec. user=mdettweiler [2012-10-06 07:54:33] 909*2^1230172-1 is not prime. Res64: B13CD947E5DC47C4 Time : 0.0 sec. user=mdettweiler [2012-10-06 07:54:34] 615*2^1230173-1 is not prime. Res64: 1EAD3B7C4743CD07 Time : 0.0 sec. user=vaughan [2012-10-06 07:58:03] 857*2^1230172-1 is not prime. Res64: D93EDD8C88A89862 Time : 0.0 sec. user=mdettweiler [2012-10-06 08:00:09] 631*2^1230173-1 is not prime. Res64: 936E63CA2986F1CB Time : 0.0 sec. user=mdettweiler [2012-10-06 08:00:10] 675*2^1230173-1 is not prime. Res64: C7728DA74CF63AFF Time : 0.0 sec. user=mdettweiler [2012-10-06 08:15:11] 729*2^1230173-1 is not prime. Res64: D5F6849BD3613F89 Time : 0.0 sec. user=mdettweiler [2012-10-06 08:15:13] 801*2^1230173-1 is not prime. Res64: 816F5FFACA525FE7 Time : 0.0 sec. user=mdettweiler [2012-10-06 08:20:48] 867*2^1230173-1 is not prime. Res64: 2BCB01FEA630EC3E Time : 0.0 sec. user=mdettweiler [2012-10-06 08:20:49] 987*2^1230173-1 is not prime. Res64: 8CF0A234AC7C1DC0 Time : 0.0 sec. user=vaughan [2012-10-06 08:35:47] 829*2^1230173-1 is not prime. Res64: A5594D579EE7D2C7 Time : 0.0 sec. user=mdettweiler [2012-10-06 08:36:03] 635*2^1230174-1 is not prime. Res64: FD867B762AA0DB31 Time : 0.0 sec. user=mdettweiler [2012-10-06 08:36:03] 657*2^1230174-1 is not prime. Res64: CAF42FA58835386D Time : 0.0 sec. user=mdettweiler [2012-10-06 08:41:25] 791*2^1230174-1 is not prime. Res64: F2BC66E042DD46F3 Time : 0.0 sec. user=mdettweiler [2012-10-06 08:41:25] 825*2^1230174-1 is not prime. Res64: 1DB64E9E54FBFB16 Time : 0.0 sec. user=mdettweiler [2012-10-06 08:56:40] 917*2^1230174-1 is not prime. Res64: A836BC6E55CD6545 Time : 0.0 sec. user=mdettweiler [2012-10-06 08:56:40] 941*2^1230174-1 is not prime. Res64: EAF8CACAC214D9F1 Time : 0.0 sec. user=mdettweiler [2012-10-06 09:02:03] 965*2^1230174-1 is not prime. Res64: 8E4DBFE67E61C10B Time : 0.0 sec. user=mdettweiler [2012-10-06 09:02:04] 971*2^1230174-1 is not prime. Res64: 8FF6ECA0FE28AA58 Time : 0.0 sec. user=vaughan [2012-10-06 09:13:36] 885*2^1230174-1 is not prime. Res64: B00C18EAF1B0FF5C Time : 0.0 sec. user=mdettweiler [2012-10-06 09:17:17] 603*2^1230175-1 is not prime. Res64: F74B48218765FD85 Time : 0.0 sec. user=mdettweiler [2012-10-06 09:17:18] 609*2^1230175-1 is not prime. Res64: 22EA9FB4CF3F0BF2 Time : 0.0 sec. user=mdettweiler [2012-10-06 09:22:48] 775*2^1230175-1 is not prime. Res64: 0114B5AECD5EEC16 Time : 0.0 sec. user=mdettweiler [2012-10-06 09:22:49] 783*2^1230175-1 is not prime. Res64: 8F4C2A98B9C8B1B2 Time : 0.0 sec. user=mdettweiler [2012-10-06 09:37:58] 633*2^1230176-1 is not prime. Res64: 99A44A9FE81F1E92 Time : 0.0 sec. user=mdettweiler [2012-10-06 09:37:58] 699*2^1230176-1 is not prime. Res64: 1A0654C11D8B61D2 Time : 0.0 sec. user=mdettweiler [2012-10-06 09:43:25] 855*2^1230176-1 is not prime. Res64: B827E35FE361D084 Time : 0.0 sec. user=mdettweiler [2012-10-06 09:43:25] 983*2^1230176-1 is not prime. Res64: E97973CF5AA5CBC1 Time : 0.0 sec. user=vaughan [2012-10-06 09:51:26] 603*2^1230176-1 is not prime. Res64: C89A9BD33B09B86F Time : 0.0 sec. user=mdettweiler [2012-10-06 09:58:35] 747*2^1230177-1 is not prime. Res64: 53AFF847EDFD045E Time : 0.0 sec. user=mdettweiler [2012-10-06 09:58:35] 603*2^1230178-1 is not prime. Res64: 4188A5965A59A7D4 Time : 0.0 sec. user=mdettweiler [2012-10-06 10:04:02] 605*2^1230178-1 is not prime. Res64: 85AEDE79172A78D8 Time : 0.0 sec. user=mdettweiler [2012-10-06 10:04:03] 647*2^1230178-1 is not prime. Res64: 38863BE0ACCCB7D2 Time : 0.0 sec. user=mdettweiler [2012-10-06 10:19:12] 777*2^1230178-1 is not prime. Res64: 338A5C94A6AEBE0B Time : 0.0 sec. user=mdettweiler [2012-10-06 10:19:13] 855*2^1230178-1 is not prime. Res64: 5A5541C57B997421 Time : 0.0 sec. user=mdettweiler [2012-10-06 10:24:46] 867*2^1230178-1 is not prime. Res64: 66DC5306AF5AF2D5 Time : 0.0 sec. user=mdettweiler [2012-10-06 10:24:47] 915*2^1230178-1 is not prime. Res64: EBB5DCFFE5231A5B Time : 0.0 sec. user=vaughan [2012-10-06 10:29:10] 723*2^1230178-1 is not prime. Res64: 728CB40581A1E3DB Time : 0.0 sec. user=mdettweiler [2012-10-06 10:39:52] 987*2^1230178-1 is not prime. Res64: 1C0983727E43C370 Time : 0.0 sec. user=mdettweiler [2012-10-06 10:39:53] 631*2^1230179-1 is not prime. Res64: F62C5E6D9CC1FFF7 Time : 0.0 sec. user=mdettweiler [2012-10-06 10:45:24] 633*2^1230179-1 is not prime. Res64: D4964BE2AC7BDADF Time : 0.0 sec. user=mdettweiler [2012-10-06 10:45:24] 679*2^1230179-1 is not prime. Res64: C94B252B7EFB3095 Time : 0.0 sec. user=mdettweiler [2012-10-06 11:00:30] 909*2^1230179-1 is not prime. Res64: BB4095FF22496063 Time : 0.0 sec. user=mdettweiler [2012-10-06 11:00:32] 737*2^1230180-1 is not prime. Res64: 395A9C68A984E5CC Time : 0.0 sec. user=mdettweiler [2012-10-06 11:06:00] 819*2^1230180-1 is not prime. Res64: 7D816CA20B9DA0E3 Time : 0.0 sec. user=mdettweiler [2012-10-06 11:06:02] 899*2^1230180-1 is not prime. Res64: 48C702BCC2B5C02E Time : 0.0 sec. user=vaughan [2012-10-06 11:06:56] 771*2^1230179-1 is not prime. Res64: 2E1DB2A4AEF1999C Time : 0.0 sec. user=mdettweiler [2012-10-06 11:21:13] 927*2^1230180-1 is not prime. Res64: 8929979E0B120C15 Time : 0.0 sec. user=mdettweiler [2012-10-06 11:21:14] 959*2^1230180-1 is not prime. Res64: B631C66327A29AB6 Time : 0.0 sec. user=mdettweiler [2012-10-06 11:26:42] 615*2^1230181-1 is not prime. Res64: D7B1AA5941454A74 Time : 0.0 sec. user=mdettweiler [2012-10-06 11:26:43] 625*2^1230181-1 is not prime. Res64: 37CA8DF07A1DB2C1 Time : 0.0 sec. user=mdettweiler [2012-10-06 11:41:56] 691*2^1230181-1 is not prime. Res64: 04366B75FCC729C5 Time : 0.0 sec. user=mdettweiler [2012-10-06 11:41:57] 751*2^1230181-1 is not prime. Res64: AE64FCCD3C21A9C0 Time : 0.0 sec. user=vaughan [2012-10-06 11:44:46] 687*2^1230181-1 is not prime. Res64: 841047A15578E442 Time : 0.0 sec. user=mdettweiler [2012-10-06 11:47:37] 799*2^1230181-1 is not prime. Res64: 34BDFC979B54914B Time : 0.0 sec. user=mdettweiler [2012-10-06 11:47:38] 835*2^1230181-1 is not prime. Res64: 8080506B5DE4ECBE Time : 0.0 sec. user=mdettweiler [2012-10-06 12:03:25] 861*2^1230181-1 is not prime. Res64: CEDA1ED8B7A690BB Time : 0.0 sec. user=mdettweiler [2012-10-06 12:03:26] 937*2^1230181-1 is not prime. Res64: A28EB19F7B7F520F Time : 0.0 sec. user=mdettweiler [2012-10-06 12:08:57] 979*2^1230181-1 is not prime. Res64: 7426AD1C0A68848E Time : 0.0 sec. user=mdettweiler [2012-10-06 12:08:58] 671*2^1230182-1 is not prime. Res64: ECC3FFAD00343984 Time : 0.0 sec. user=vaughan [2012-10-06 12:22:33] 951*2^1230181-1 is not prime. Res64: 58FCED5719291874 Time : 0.0 sec. user=mdettweiler [2012-10-06 12:24:23] 683*2^1230182-1 is not prime. Res64: B516FCB7BB194450 Time : 0.0 sec. user=mdettweiler [2012-10-06 12:24:23] 705*2^1230182-1 is not prime. Res64: 1E59B852C79CEE0D Time : 0.0 sec. user=mdettweiler [2012-10-06 12:29:50] 761*2^1230182-1 is not prime. Res64: 9B3C2D887A5BEB4B Time : 0.0 sec. user=mdettweiler [2012-10-06 12:29:50] 831*2^1230182-1 is not prime. Res64: 93A322A2910D2FBF Time : 0.0 sec. user=mdettweiler [2012-10-06 12:45:10] 917*2^1230182-1 is not prime. Res64: 365B4E83D7C28251 Time : 0.0 sec. user=mdettweiler [2012-10-06 12:45:10] 935*2^1230182-1 is not prime. Res64: AC572AB22685A3B4 Time : 0.0 sec. user=mdettweiler [2012-10-06 12:50:37] 643*2^1230183-1 is not prime. Res64: C348379B72B90530 Time : 0.0 sec. user=mdettweiler [2012-10-06 12:50:37] 819*2^1230183-1 is not prime. Res64: 00C5203D8377FFCE Time : 0.0 sec. user=vaughan [2012-10-06 13:00:24] 867*2^1230182-1 is not prime. Res64: 4313DCCFD2C4763D Time : 0.0 sec. user=mdettweiler [2012-10-06 13:05:51] 853*2^1230183-1 is not prime. Res64: CDE97D6E6C1CF597 Time : 0.0 sec. user=mdettweiler [2012-10-06 13:05:51] 891*2^1230183-1 is not prime. Res64: 5A4F7ABAFE85E871 Time : 0.0 sec. user=mdettweiler [2012-10-06 13:11:17] 951*2^1230183-1 is not prime. Res64: 738233477437E149 Time : 0.0 sec. user=mdettweiler [2012-10-06 13:11:19] 759*2^1230184-1 is not prime. Res64: 24BF5117DD34700E Time : 0.0 sec. user=mdettweiler [2012-10-06 13:12:55] 923*2^1230184-1 is not prime. Res64: 5B3B01A92AB5178C Time : 0.0 sec. user=mdettweiler [2012-10-06 13:26:46] 607*2^1230185-1 is not prime. Res64: ACCD0FF1D67E413D Time : 0.0 sec. user=mdettweiler [2012-10-06 13:26:47] 675*2^1230185-1 is not prime. Res64: 4FE8A1EC732D8008 Time : 0.0 sec. user=mdettweiler [2012-10-06 13:32:11] 699*2^1230185-1 is not prime. Res64: A1913C03BCED91DD Time : 0.0 sec. user=mdettweiler [2012-10-06 13:32:12] 787*2^1230185-1 is not prime. Res64: F366250C46F4E531 Time : 0.0 sec. user=vaughan [2012-10-06 13:38:28] 785*2^1230184-1 is not prime. Res64: 648694B62C2C6D48 Time : 0.0 sec. user=mdettweiler [2012-10-06 13:47:24] 805*2^1230185-1 is not prime. Res64: EDBB3CC11E4585C0 Time : 0.0 sec. user=mdettweiler [2012-10-06 13:47:25] 811*2^1230185-1 is not prime. Res64: 94DC7BF617B4CC5E Time : 0.0 sec. user=mdettweiler [2012-10-06 13:52:56] 847*2^1230185-1 is not prime. Res64: 962F9BB5705CE66B Time : 0.0 sec. user=mdettweiler [2012-10-06 13:52:56] 855*2^1230185-1 is not prime. Res64: B09B3A26CFC58BFE Time : 0.0 sec. user=mdettweiler [2012-10-06 14:08:22] 885*2^1230185-1 is not prime. Res64: 5EFC3C6CB6DDB0DE Time : 0.0 sec. user=mdettweiler [2012-10-06 14:08:23] 937*2^1230185-1 is not prime. Res64: EBD3A91FB6EC3659 Time : 0.0 sec. user=mdettweiler [2012-10-06 14:13:47] 987*2^1230185-1 is not prime. Res64: 2311247665A356FF Time : 0.0 sec. user=mdettweiler [2012-10-06 14:13:48] 991*2^1230185-1 is not prime. Res64: 015F76BAEE048530 Time : 0.0 sec. user=vaughan [2012-10-06 14:16:12] 865*2^1230185-1 is not prime. Res64: 38B605E28EEDF373 Time : 0.0 sec. user=mdettweiler [2012-10-06 14:28:59] 713*2^1230186-1 is not prime. Res64: E922C32D921D7D4B Time : 0.0 sec. user=mdettweiler [2012-10-06 14:28:59] 717*2^1230186-1 is not prime. Res64: E24AF222A2609ED5 Time : 0.0 sec. user=mdettweiler [2012-10-06 14:34:34] 825*2^1230186-1 is not prime. Res64: B8A5FDDB8105D44A Time : 0.0 sec. user=mdettweiler [2012-10-06 14:34:35] 873*2^1230186-1 is not prime. Res64: 9F0663F1A841689F Time : 0.0 sec. user=mdettweiler [2012-10-06 14:49:33] 603*2^1230187-1 is not prime. Res64: 7EDED5E26BCDB607 Time : 0.0 sec. user=mdettweiler [2012-10-06 14:49:33] 615*2^1230187-1 is not prime. Res64: 7FD38F98C9AD34CC Time : 0.0 sec. user=vaughan [2012-10-06 14:54:05] 993*2^1230186-1 is not prime. Res64: 817AFE25A60FFC0D Time : 0.0 sec. user=mdettweiler [2012-10-06 14:55:10] 619*2^1230187-1 is not prime. Res64: AFC1BE7283D4E1B2 Time : 0.0 sec. user=mdettweiler [2012-10-06 14:55:10] 841*2^1230187-1 is not prime. Res64: 9F6606659E2CB5BA Time : 0.0 sec. user=mdettweiler [2012-10-06 15:10:07] 861*2^1230187-1 is not prime. Res64: D1EBD27EB4716749 Time : 0.0 sec. user=mdettweiler [2012-10-06 15:10:08] 871*2^1230187-1 is not prime. Res64: 8B7B4F87A9D22C2D Time : 0.0 sec. user=mdettweiler [2012-10-06 15:15:44] 973*2^1230187-1 is not prime. Res64: D16A6BCA3D2E4A12 Time : 0.0 sec. user=mdettweiler [2012-10-06 15:15:45] 985*2^1230187-1 is not prime. Res64: 86FE2CFEE8083174 Time : 0.0 sec. user=mdettweiler [2012-10-06 15:30:45] 993*2^1230187-1 is not prime. Res64: 1F68886B8494C4BB Time : 0.0 sec. user=mdettweiler [2012-10-06 15:30:45] 633*2^1230188-1 is not prime. Res64: 4993C91EA145AD69 Time : 0.0 sec. user=vaughan [2012-10-06 15:31:50] 919*2^1230187-1 is not prime. Res64: 83101BD8B64CDDDC Time : 0.0 sec. user=mdettweiler [2012-10-06 15:36:28] 875*2^1230188-1 is not prime. Res64: A06E4CC36AEC40CB Time : 0.0 sec. user=mdettweiler [2012-10-06 15:36:29] 885*2^1230188-1 is not prime. Res64: 2B43DAA2D3037A8A Time : 0.0 sec. user=mdettweiler [2012-10-06 15:51:19] 927*2^1230188-1 is not prime. Res64: 949EC90E630B269E Time : 0.0 sec. user=mdettweiler [2012-10-06 15:51:20] 935*2^1230188-1 is not prime. Res64: E53E5669C2A664BB Time : 0.0 sec. user=mdettweiler [2012-10-06 15:57:03] 601*2^1230189-1 is not prime. Res64: 93439AD6719766FB Time : 0.0 sec. user=mdettweiler [2012-10-06 15:57:03] 675*2^1230189-1 is not prime. Res64: FE4CA2BDC0D46129 Time : 0.0 sec. user=vaughan [2012-10-06 16:09:34] 993*2^1230188-1 is not prime. Res64: 7DD2591D8A827CA1 Time : 0.0 sec. user=mdettweiler [2012-10-06 16:11:54] 679*2^1230189-1 is not prime. Res64: C3405F093503AB0D Time : 0.0 sec. user=mdettweiler [2012-10-06 16:11:56] 691*2^1230189-1 is not prime. Res64: 10801C6A74DC1232 Time : 0.0 sec. user=mdettweiler [2012-10-06 16:17:37] 745*2^1230189-1 is not prime. Res64: 91E1A6A9F2713397 Time : 0.0 sec. user=mdettweiler [2012-10-06 16:17:38] 835*2^1230189-1 is not prime. Res64: DF9E8A4B178B7EA8 Time : 0.0 sec. user=mdettweiler [2012-10-06 16:32:34] 975*2^1230190-1 is not prime. Res64: B1BC3B6C42C2E417 Time : 0.0 sec. user=mdettweiler [2012-10-06 16:32:35] 987*2^1230190-1 is not prime. Res64: 7E81AB44522169C8 Time : 0.0 sec. user=mdettweiler [2012-10-06 16:38:15] 621*2^1230191-1 is not prime. Res64: 687FF78ACEBCC512 Time : 0.0 sec. user=mdettweiler [2012-10-06 16:38:15] 651*2^1230191-1 is not prime. Res64: 6E1A78667C20B250 Time : 0.0 sec. user=vaughan [2012-10-06 16:47:24] 885*2^1230189-1 is not prime. Res64: 8B2B7F2DE4982FE7 Time : 0.0 sec. user=mdettweiler [2012-10-06 16:53:09] 661*2^1230191-1 is not prime. Res64: 5180883B010B8633 Time : 0.0 sec. user=mdettweiler [2012-10-06 16:53:09] 669*2^1230191-1 is not prime. Res64: 2D9D9A6664539288 Time : 0.0 sec. user=mdettweiler [2012-10-06 16:58:49] 693*2^1230191-1 is not prime. Res64: 24C3C49CA4A21E04 Time : 0.0 sec. user=mdettweiler [2012-10-06 16:58:49] 703*2^1230191-1 is not prime. Res64: 13E4AD30066D28DA Time : 0.0 sec. user=mdettweiler [2012-10-06 17:13:43] 829*2^1230191-1 is not prime. Res64: D1ABD01201250E55 Time : 0.0 sec. user=mdettweiler [2012-10-06 17:13:46] 909*2^1230191-1 is not prime. Res64: B790E3F3031BCDE8 Time : 0.0 sec. user=mdettweiler [2012-10-06 17:19:22] 921*2^1230191-1 is not prime. Res64: AB90C48DC4D7A555 Time : 0.0 sec. user=mdettweiler [2012-10-06 17:19:23] 943*2^1230191-1 is not prime. Res64: AA36826513CF1E8C Time : 0.0 sec. user=vaughan [2012-10-06 17:25:07] 711*2^1230191-1 is not prime. Res64: B0DE2C3336F68562 Time : 0.0 sec. user=mdettweiler [2012-10-06 17:34:36] 945*2^1230191-1 is not prime. Res64: 9512D1DC2DCC8EBD Time : 0.0 sec. user=mdettweiler [2012-10-06 17:34:37] 955*2^1230191-1 is not prime. Res64: B3E573F903530D8B Time : 0.0 sec. user=mdettweiler [2012-10-06 17:39:56] 695*2^1230192-1 is not prime. Res64: 7D28A368482CB003 Time : 0.0 sec. user=mdettweiler [2012-10-06 17:39:57] 717*2^1230192-1 is not prime. Res64: E35810995040287A Time : 0.0 sec. user=mdettweiler [2012-10-06 17:55:26] 765*2^1230192-1 is not prime. Res64: CA29BBC950C62FFD Time : 0.0 sec. user=mdettweiler [2012-10-06 17:55:27] 797*2^1230192-1 is not prime. Res64: 97CB94CDC551D7BA Time : 0.0 sec. user=mdettweiler [2012-10-06 18:00:48] 843*2^1230192-1 is not prime. Res64: 307C51207F8968D5 Time : 0.0 sec. user=mdettweiler [2012-10-06 18:00:50] 923*2^1230192-1 is not prime. Res64: E36381B1336B3C27 Time : 0.0 sec. user=vaughan [2012-10-06 18:02:55] 725*2^1230192-1 is not prime. Res64: 688361AA7752C5D3 Time : 0.0 sec. user=mdettweiler [2012-10-06 18:16:26] 639*2^1230193-1 is not prime. Res64: 88C43643236A12E8 Time : 0.0 sec. user=mdettweiler [2012-10-06 18:16:28] 651*2^1230193-1 is not prime. Res64: D8F2F83503196E71 Time : 0.0 sec. user=mdettweiler [2012-10-06 18:21:42] 771*2^1230193-1 is not prime. Res64: FBFC1463B7C1BE43 Time : 0.0 sec. user=mdettweiler [2012-10-06 18:21:43] 805*2^1230193-1 is not prime. Res64: C1A4BDF162AAE942 Time : 0.0 sec. user=mdettweiler [2012-10-06 18:37:26] 829*2^1230193-1 is not prime. Res64: E08FC0E2D5A04458 Time : 0.0 sec. user=mdettweiler [2012-10-06 18:37:27] 605*2^1230194-1 is not prime. Res64: 0DA9AC879E7AAF43 Time : 0.0 sec. user=vaughan [2012-10-06 18:40:45] 807*2^1230193-1 is not prime. Res64: 59EBC561EB2D3003 Time : 0.0 sec. user=mdettweiler [2012-10-06 18:42:23] 623*2^1230194-1 is not prime. Res64: 4370FDF639C9C6AD Time : 0.0 sec. user=mdettweiler [2012-10-06 18:42:24] 743*2^1230194-1 is not prime. Res64: 042C3FBB0C6B4CA3 Time : 0.0 sec. user=mdettweiler [2012-10-06 18:58:05] 797*2^1230194-1 is not prime. Res64: 029BC4593346CB6A Time : 0.0 sec. user=mdettweiler [2012-10-06 18:58:05] 815*2^1230194-1 is not prime. Res64: E29DB92B376856D7 Time : 0.0 sec. user=mdettweiler [2012-10-06 19:03:01] 613*2^1230195-1 is not prime. Res64: EAD3E57B460EDAF3 Time : 0.0 sec. user=mdettweiler [2012-10-06 19:03:02] 619*2^1230195-1 is not prime. Res64: C237902122695BA2 Time : 0.0 sec. user=vaughan [2012-10-06 19:18:33] 831*2^1230194-1 is not prime. Res64: 91FEA8A96B73FAF9 Time : 0.0 sec. user=mdettweiler [2012-10-06 19:18:43] 651*2^1230195-1 is not prime. Res64: 0E61564246BDF519 Time : 0.0 sec. user=mdettweiler [2012-10-06 19:18:44] 775*2^1230195-1 is not prime. Res64: 5D6E0CBFA8313445 Time : 0.0 sec. user=mdettweiler [2012-10-06 19:23:40] 895*2^1230195-1 is not prime. Res64: 6F9498137E6B3784 Time : 0.0 sec. user=mdettweiler [2012-10-06 19:23:42] 955*2^1230195-1 is not prime. Res64: C1CE433E3E9A1799 Time : 0.0 sec. user=mdettweiler [2012-10-06 19:39:22] 695*2^1230196-1 is not prime. Res64: 24733D1C4FFC8E74 Time : 0.0 sec. user=mdettweiler [2012-10-06 19:39:22] 743*2^1230196-1 is not prime. Res64: B9A14DC56CB55350 Time : 0.0 sec. user=mdettweiler [2012-10-06 19:44:18] 773*2^1230196-1 is not prime. Res64: 48CB4A12755C37EB Time : 0.0 sec. user=mdettweiler [2012-10-06 19:44:19] 825*2^1230196-1 is not prime. Res64: BF0AFFD33475E346 Time : 0.0 sec. user=vaughan [2012-10-06 19:56:26] 677*2^1230196-1 is not prime. Res64: 6360F8195649CF56 Time : 0.0 sec. user=mdettweiler [2012-10-06 19:59:59] 887*2^1230196-1 is not prime. Res64: 6EEA6E0591DBF08D Time : 0.0 sec. user=mdettweiler [2012-10-06 20:00:00] 905*2^1230196-1 is not prime. Res64: 9EB04CD5B4502020 Time : 0.0 sec. user=mdettweiler [2012-10-06 20:04:56] 909*2^1230196-1 is not prime. Res64: 823788DF0A5AE04C Time : 0.0 sec. user=mdettweiler [2012-10-06 20:04:57] 717*2^1230197-1 is not prime. Res64: E26B7FB39EFD8B5D Time : 0.0 sec. user=mdettweiler [2012-10-06 20:20:39] 759*2^1230197-1 is not prime. Res64: 550667EABEE51AD1 Time : 0.0 sec. user=mdettweiler [2012-10-06 20:20:40] 831*2^1230197-1 is not prime. Res64: 3134CE8B8D764542 Time : 0.0 sec. user=mdettweiler [2012-10-06 20:25:35] 949*2^1230197-1 is not prime. Res64: 8F18188D3CD818B5 Time : 0.0 sec. user=mdettweiler [2012-10-06 20:25:36] 651*2^1230198-1 is not prime. Res64: 139D59BC4E9D40A0 Time : 0.0 sec. user=vaughan [2012-10-06 20:34:10] 735*2^1230197-1 is not prime. Res64: 1EBE839A688F9065 Time : 0.0 sec. user=mdettweiler [2012-10-06 20:41:26] 663*2^1230198-1 is not prime. Res64: 25820C0C5ACD845F Time : 0.0 sec. user=mdettweiler [2012-10-06 20:41:26] 681*2^1230198-1 is not prime. Res64: 8518DD8834094720 Time : 0.0 sec. user=mdettweiler [2012-10-06 20:46:12] 737*2^1230198-1 is not prime. Res64: 4C7A8E70300B4856 Time : 0.0 sec. user=mdettweiler [2012-10-06 20:46:13] 755*2^1230198-1 is not prime. Res64: 00834A569164FD96 Time : 0.0 sec. user=mdettweiler [2012-10-06 21:02:03] 863*2^1230198-1 is not prime. Res64: 6C0F772E80352B6D Time : 0.0 sec. user=mdettweiler [2012-10-06 21:02:05] 829*2^1230199-1 is not prime. Res64: 94193E396FE6A323 Time : 0.0 sec. user=mdettweiler [2012-10-06 21:06:52] 843*2^1230199-1 is not prime. Res64: A0C91E3204869D06 Time : 0.0 sec. user=mdettweiler [2012-10-06 21:06:54] 859*2^1230199-1 is not prime. Res64: 77834361A42BF478 Time : 0.0 sec. user=vaughan [2012-10-06 21:11:54] 861*2^1230198-1 is not prime. Res64: C3DB90CE0E388EB4 Time : 0.0 sec. user=mdettweiler [2012-10-06 21:22:55] 885*2^1230199-1 is not prime. Res64: 35F5681B3D9271D1 Time : 0.0 sec. user=mdettweiler [2012-10-06 21:22:55] 891*2^1230199-1 is not prime. Res64: 9D40093F3C07B2A6 Time : 0.0 sec. user=mdettweiler [2012-10-06 21:27:33] 979*2^1230199-1 is not prime. Res64: 5FC2E757D5240E5F Time : 0.0 sec. user=mdettweiler [2012-10-06 21:27:34] 993*2^1230199-1 is not prime. Res64: 51936EC5664EC08E Time : 0.0 sec. user=mdettweiler [2012-10-06 21:43:36] 689*2^1230200-1 is not prime. Res64: 8D1CEBF382439419 Time : 0.0 sec. user=mdettweiler [2012-10-06 21:43:36] 725*2^1230200-1 is not prime. Res64: 4685A9FBAC376434 Time : 0.0 sec. user=mdettweiler [2012-10-06 21:48:10] 825*2^1230200-1 is not prime. Res64: 41EBFFE0E0ADD72F Time : 0.0 sec. user=mdettweiler [2012-10-06 21:48:10] 875*2^1230200-1 is not prime. Res64: 2F7A6DBE701C12FA Time : 0.0 sec. user=vaughan [2012-10-06 21:49:41] 669*2^1230200-1 is not prime. Res64: 7A95E8CDCE5AA415 Time : 0.0 sec. user=mdettweiler [2012-10-06 22:04:14] 879*2^1230200-1 is not prime. Res64: 641C88995B0AF272 Time : 0.0 sec. user=mdettweiler [2012-10-06 22:04:17] 995*2^1230200-1 is not prime. Res64: B543A25AF98D36B3 Time : 0.0 sec. user=mdettweiler [2012-10-06 22:08:46] 819*2^1230201-1 is not prime. Res64: 64C5AB1AEF41A91B Time : 0.0 sec. user=mdettweiler [2012-10-06 22:08:47] 871*2^1230201-1 is not prime. Res64: F1478D7CD5A41817 Time : 0.0 sec. user=mdettweiler [2012-10-06 22:24:59] 909*2^1230201-1 is not prime. Res64: 0B31ECFDA137D17B Time : 0.0 sec. user=mdettweiler [2012-10-06 22:25:00] 657*2^1230202-1 is not prime. Res64: E4C0335EDB95EB11 Time : 0.0 sec. user=vaughan [2012-10-06 22:27:25] 885*2^1230201-1 is not prime. Res64: 18F74650A737B5B5 Time : 0.0 sec. user=mdettweiler [2012-10-06 22:29:29] 675*2^1230202-1 is not prime. Res64: 3559BC6ACB8FEC24 Time : 0.0 sec. user=mdettweiler [2012-10-06 22:29:30] 695*2^1230202-1 is not prime. Res64: E82460C2A9C53CCF Time : 0.0 sec. user=mdettweiler [2012-10-06 22:45:38] 717*2^1230202-1 is not prime. Res64: 1254EF1B94058E1F Time : 0.0 sec. user=mdettweiler [2012-10-06 22:45:39] 857*2^1230202-1 is not prime. Res64: 17C8E09CE6CC60C0 Time : 0.0 sec. user=mdettweiler [2012-10-06 22:50:07] 987*2^1230202-1 is not prime. Res64: 06B9B01E42F74241 Time : 0.0 sec. user=mdettweiler [2012-10-06 22:50:07] 643*2^1230203-1 is not prime. Res64: 40370C3545883D54 Time : 0.0 sec. user=vaughan [2012-10-06 23:05:09] 945*2^1230202-1 is not prime. Res64: CC736A59B57B1CED Time : 0.0 sec. user=mdettweiler [2012-10-06 23:06:16] 675*2^1230203-1 is not prime. Res64: 3A3A1E10683C0186 Time : 0.0 sec. user=mdettweiler [2012-10-06 23:06:17] 715*2^1230203-1 is not prime. Res64: B05E4A590AC280E6 Time : 0.0 sec. user=mdettweiler [2012-10-06 23:10:44] 879*2^1230203-1 is not prime. Res64: 6FC56F1D16334E62 Time : 0.0 sec. user=mdettweiler [2012-10-06 23:10:45] 949*2^1230203-1 is not prime. Res64: 6A351F0F67D91519 Time : 0.0 sec. user=mdettweiler [2012-10-06 23:26:54] 991*2^1230203-1 is not prime. Res64: 162F53F037274597 Time : 0.0 sec. user=mdettweiler [2012-10-06 23:26:55] 605*2^1230204-1 is not prime. Res64: 170C104888FB8CCB Time : 0.0 sec. user=mdettweiler [2012-10-06 23:31:24] 717*2^1230204-1 is not prime. Res64: 161B732AD2DC6098 Time : 0.0 sec. user=mdettweiler [2012-10-06 23:31:24] 749*2^1230204-1 is not prime. Res64: F3724F56C129422A Time : 0.0 sec. user=vaughan [2012-10-06 23:43:56] 963*2^1230203-1 is not prime. Res64: 1B8F9613B496A885 Time : 0.0 sec. user=mdettweiler [2012-10-06 23:47:32] 753*2^1230204-1 is not prime. Res64: CDB8C66250FFEFDB Time : 0.0 sec. user=mdettweiler [2012-10-06 23:47:32] 783*2^1230204-1 is not prime. Res64: 50D0AF86F14CB5A0 Time : 0.0 sec. user=mdettweiler [2012-10-06 23:52:00] 875*2^1230204-1 is not prime. Res64: 3B8E3D56E54652F2 Time : 0.0 sec. user=mdettweiler [2012-10-06 23:52:01] 601*2^1230205-1 is not prime. Res64: A00217A4D138D2C7 Time : 0.0 sec.