user=mdettweiler [2012-12-30 00:11:27] 931*2^1238291-1 is not prime. Res64: C2A2836658702AC7 Time : 0.0 sec. user=mdettweiler [2012-12-30 00:11:29] 605*2^1238292-1 is not prime. Res64: 13232C6A1AFCC7C3 Time : 0.0 sec. user=mdettweiler [2012-12-30 00:11:30] 693*2^1238292-1 is not prime. Res64: 2CA834407020077D Time : 0.0 sec. user=mdettweiler [2012-12-30 00:11:32] 767*2^1238292-1 is not prime. Res64: 705BAA2595C77829 Time : 0.0 sec. user=mdettweiler [2012-12-30 00:29:02] 777*2^1238292-1 is not prime. Res64: 8E78B456D38713B7 Time : 0.0 sec. user=mdettweiler [2012-12-30 00:29:02] 819*2^1238292-1 is not prime. Res64: 840F38EAF54060B0 Time : 0.0 sec. user=mdettweiler [2012-12-30 00:29:03] 843*2^1238292-1 is not prime. Res64: E162FD948C88792B Time : 0.0 sec. user=mdettweiler [2012-12-30 00:29:04] 977*2^1238292-1 is not prime. Res64: A0B0A9043244379A Time : 0.0 sec. user=vaughan [2012-12-30 00:31:08] 913*2^1238291-1 is not prime. Res64: AE46D506B58CF7A1 Time : 0.0 sec. user=mdettweiler [2012-12-30 00:46:26] 691*2^1238293-1 is not prime. Res64: F69F31B2A6B9011C Time : 0.0 sec. user=mdettweiler [2012-12-30 00:46:27] 775*2^1238293-1 is not prime. Res64: F9D1CC08357E521B Time : 0.0 sec. user=mdettweiler [2012-12-30 00:46:27] 769*2^1238293-1 is not prime. Res64: FDC6E1BEC70CFD67 Time : 0.0 sec. user=mdettweiler [2012-12-30 00:46:27] 801*2^1238293-1 is not prime. Res64: 8F029C402A485825 Time : 0.0 sec. user=mdettweiler [2012-12-30 01:03:47] 885*2^1238293-1 is not prime. Res64: 344BBEED9DE1F156 Time : 0.0 sec. user=mdettweiler [2012-12-30 01:03:49] 897*2^1238293-1 is not prime. Res64: 5339E8A75849C7F6 Time : 0.0 sec. user=mdettweiler [2012-12-30 01:03:49] 671*2^1238294-1 is not prime. Res64: A5D8BE80192B6755 Time : 0.0 sec. user=mdettweiler [2012-12-30 01:03:50] 825*2^1238294-1 is not prime. Res64: 866658D9464BC023 Time : 0.0 sec. user=vaughan [2012-12-30 01:08:57] 811*2^1238293-1 is not prime. Res64: 48B7DB2E0C1D66FF Time : 0.0 sec. user=mdettweiler [2012-12-30 01:21:14] 945*2^1238294-1 is not prime. Res64: B8C0963EEE10A3FF Time : 0.0 sec. user=mdettweiler [2012-12-30 01:21:15] 651*2^1238295-1 is not prime. Res64: 53D0E05F4DF7031B Time : 0.0 sec. user=mdettweiler [2012-12-30 01:21:16] 663*2^1238295-1 is not prime. Res64: 898F1709DB97B3E7 Time : 0.0 sec. user=mdettweiler [2012-12-30 01:21:16] 919*2^1238295-1 is not prime. Res64: 221378C191D41D62 Time : 0.0 sec. user=mdettweiler [2012-12-30 01:38:36] 803*2^1238296-1 is not prime. Res64: 59E9D1188E14D2BD Time : 0.0 sec. user=mdettweiler [2012-12-30 01:38:37] 909*2^1238296-1 is not prime. Res64: 3778D1158599E153 Time : 0.0 sec. user=mdettweiler [2012-12-30 01:38:38] 983*2^1238296-1 is not prime. Res64: 8A7D655A55C17C48 Time : 0.0 sec. user=mdettweiler [2012-12-30 01:38:38] 607*2^1238297-1 is not prime. Res64: D52004DD146B5929 Time : 0.0 sec. user=vaughan [2012-12-30 01:46:47] 693*2^1238296-1 is not prime. Res64: 683A708DF5AA7DC7 Time : 0.0 sec. user=mdettweiler [2012-12-30 01:55:59] 727*2^1238297-1 is not prime. Res64: 21299C9DAC873850 Time : 0.0 sec. user=mdettweiler [2012-12-30 01:55:59] 759*2^1238297-1 is not prime. Res64: 7FB53511FC123FB7 Time : 0.0 sec. user=mdettweiler [2012-12-30 01:56:01] 841*2^1238297-1 is not prime. Res64: 4663D9FB6472A0E7 Time : 0.0 sec. user=mdettweiler [2012-12-30 01:56:01] 871*2^1238297-1 is not prime. Res64: 67CA4F65095E6D15 Time : 0.0 sec. user=mdettweiler [2012-12-30 02:13:21] 945*2^1238298-1 is not prime. Res64: 24B97B280F63AE58 Time : 0.0 sec. user=mdettweiler [2012-12-30 02:13:22] 977*2^1238298-1 is not prime. Res64: 18D7857BBEB41B38 Time : 0.0 sec. user=mdettweiler [2012-12-30 02:13:22] 633*2^1238299-1 is not prime. Res64: 6D13A71458074EBC Time : 0.0 sec. user=mdettweiler [2012-12-30 02:13:23] 645*2^1238299-1 is not prime. Res64: 5CC988391B68BB55 Time : 0.0 sec. user=vaughan [2012-12-30 02:24:33] 633*2^1238298-1 is not prime. Res64: 4F0BECB331C1E318 Time : 0.0 sec. user=mdettweiler [2012-12-30 02:30:43] 691*2^1238299-1 is not prime. Res64: 12DC088D30D2AF3B Time : 0.0 sec. user=mdettweiler [2012-12-30 02:30:44] 885*2^1238299-1 is not prime. Res64: 90657F0396686164 Time : 0.0 sec. user=mdettweiler [2012-12-30 02:30:46] 741*2^1238299-1 is not prime. Res64: B381AE01E5029276 Time : 0.0 sec. user=mdettweiler [2012-12-30 02:30:47] 633*2^1238300-1 is not prime. Res64: C834800134FD8820 Time : 0.0 sec. user=mdettweiler [2012-12-30 02:48:18] 857*2^1238300-1 is not prime. Res64: 816A245127CDBE5F Time : 0.0 sec. user=mdettweiler [2012-12-30 02:48:22] 879*2^1238300-1 is not prime. Res64: 812687FF50A8BB94 Time : 0.0 sec. user=mdettweiler [2012-12-30 02:48:27] 893*2^1238300-1 is not prime. Res64: D53DD5192F4C8131 Time : 0.0 sec. user=mdettweiler [2012-12-30 02:48:31] 909*2^1238300-1 is not prime. Res64: B5685267E2512963 Time : 0.0 sec. user=vaughan [2012-12-30 03:02:21] 839*2^1238300-1 is not prime. Res64: 177891C0B0558B66 Time : 0.0 sec. user=mdettweiler [2012-12-30 03:06:03] 915*2^1238300-1 is not prime. Res64: 216926490A7FABB2 Time : 0.0 sec. user=mdettweiler [2012-12-30 03:06:04] 923*2^1238300-1 is not prime. Res64: 216A19FE8D5CACC9 Time : 0.0 sec. user=mdettweiler [2012-12-30 03:06:06] 963*2^1238300-1 is not prime. Res64: 072C06B9506B41AD Time : 0.0 sec. user=mdettweiler [2012-12-30 03:06:07] 649*2^1238301-1 is not prime. Res64: 1924E0E96C37F277 Time : 0.0 sec. user=gd_barnes [2012-12-30 03:23:10] 727*2^1238301-1 is not prime. Res64: 4BD43335730FD627 Time : 0.0 sec. user=mdettweiler [2012-12-30 03:23:25] 907*2^1238301-1 is not prime. Res64: C77806DCC2EBA4CE Time : 0.0 sec. user=mdettweiler [2012-12-30 03:23:26] 675*2^1238302-1 is not prime. Res64: 489F843A647692F4 Time : 0.0 sec. user=mdettweiler [2012-12-30 03:23:30] 801*2^1238302-1 is not prime. Res64: 747179D6BD6C7BCB Time : 0.0 sec. user=mdettweiler [2012-12-30 03:23:31] 815*2^1238302-1 is not prime. Res64: D6E7F72BFB6D73E4 Time : 0.0 sec. user=gd_barnes [2012-12-30 03:30:29] 651*2^1238301-1 is not prime. Res64: 186BBA369EFDCA4E Time : 0.0 sec. user=gd_barnes [2012-12-30 03:30:42] 747*2^1238301-1 is not prime. Res64: 028EF4B2741E6439 Time : 0.0 sec. user=vaughan [2012-12-30 03:40:13] 781*2^1238301-1 is not prime. Res64: B3C2F6C1E1F89C35 Time : 0.0 sec. user=mdettweiler [2012-12-30 03:40:51] 857*2^1238302-1 is not prime. Res64: 04573C368E7F11D4 Time : 0.0 sec. user=mdettweiler [2012-12-30 03:40:53] 873*2^1238302-1 is not prime. Res64: F973715386ED001B Time : 0.0 sec. user=mdettweiler [2012-12-30 03:40:54] 911*2^1238302-1 is not prime. Res64: 75CE6380CC47A89C Time : 0.0 sec. user=mdettweiler [2012-12-30 03:40:55] 721*2^1238303-1 is not prime. Res64: 98188B020748809A Time : 0.0 sec. user=mdettweiler [2012-12-30 03:58:17] 789*2^1238303-1 is not prime. Res64: D352BFD3F1D8D364 Time : 0.0 sec. user=mdettweiler [2012-12-30 03:58:18] 879*2^1238303-1 is not prime. Res64: 50215147CE67C42D Time : 0.0 sec. user=mdettweiler [2012-12-30 03:58:20] 969*2^1238303-1 is not prime. Res64: 9F11207EEF3B120A Time : 0.0 sec. user=mdettweiler [2012-12-30 03:58:20] 985*2^1238303-1 is not prime. Res64: 5E3AE13226F34103 Time : 0.0 sec. user=mdettweiler [2012-12-30 04:15:39] 993*2^1238303-1 is not prime. Res64: DE00FCA7405AFBB3 Time : 0.0 sec. user=mdettweiler [2012-12-30 04:15:41] 627*2^1238304-1 is not prime. Res64: C71ADFD4CD0B40C0 Time : 0.0 sec. user=mdettweiler [2012-12-30 04:15:42] 717*2^1238304-1 is not prime. Res64: BAB8A89B822B7398 Time : 0.0 sec. user=mdettweiler [2012-12-30 04:15:43] 753*2^1238304-1 is not prime. Res64: C03A333D245B6355 Time : 0.0 sec. user=vaughan [2012-12-30 04:18:10] 735*2^1238303-1 is not prime. Res64: A596532DE05A83D2 Time : 0.0 sec. user=mdettweiler [2012-12-30 04:33:06] 923*2^1238304-1 is not prime. Res64: E120A308E7FC4286 Time : 0.0 sec. user=mdettweiler [2012-12-30 04:33:07] 847*2^1238305-1 is not prime. Res64: 0795E39F67FA441C Time : 0.0 sec. user=mdettweiler [2012-12-30 04:33:08] 945*2^1238304-1 is not prime. Res64: C1F6A7782863894C Time : 0.0 sec. user=mdettweiler [2012-12-30 04:33:08] 955*2^1238305-1 is not prime. Res64: CC2C89DA7358CBE4 Time : 0.0 sec. user=mdettweiler [2012-12-30 04:50:40] 627*2^1238306-1 is not prime. Res64: FC17B4BD8E380EAB Time : 0.0 sec. user=mdettweiler [2012-12-30 04:50:40] 711*2^1238306-1 is not prime. Res64: E3A797FCA39C6DD0 Time : 0.0 sec. user=mdettweiler [2012-12-30 04:50:41] 741*2^1238306-1 is not prime. Res64: 1D461C5404DAEFD8 Time : 0.0 sec. user=mdettweiler [2012-12-30 04:50:42] 755*2^1238306-1 is not prime. Res64: A89407E8AC787830 Time : 0.0 sec. user=vaughan [2012-12-30 04:55:57] 617*2^1238306-1 is not prime. Res64: C0C8C54C67DE2553 Time : 0.0 sec. user=mdettweiler [2012-12-30 05:08:03] 609*2^1238307-1 is not prime. Res64: B0D56A5A5C0EA4A1 Time : 0.0 sec. user=mdettweiler [2012-12-30 05:08:04] 879*2^1238307-1 is not prime. Res64: 51B036C550CC8E6F Time : 0.0 sec. user=mdettweiler [2012-12-30 05:08:05] 903*2^1238306-1 is not prime. Res64: 1D94AA836A596CF0 Time : 0.0 sec. user=mdettweiler [2012-12-30 05:08:06] 941*2^1238306-1 is not prime. Res64: 7F82AF2FB061ED9D Time : 0.0 sec. user=mdettweiler [2012-12-30 05:25:30] 615*2^1238308-1 is not prime. Res64: 105EFAF4C570A8C8 Time : 0.0 sec. user=mdettweiler [2012-12-30 05:25:31] 813*2^1238308-1 is not prime. Res64: FCAB58C51C510CEF Time : 0.0 sec. user=mdettweiler [2012-12-30 05:25:32] 647*2^1238308-1 is not prime. Res64: 66E6A7ABEA1F88CD Time : 0.0 sec. user=mdettweiler [2012-12-30 05:25:32] 929*2^1238308-1 is not prime. Res64: 9C06166F75763AD3 Time : 0.0 sec. user=vaughan [2012-12-30 05:33:45] 955*2^1238307-1 is not prime. Res64: 1DDF4AF3CEF84B3E Time : 0.0 sec. user=mdettweiler [2012-12-30 05:43:00] 619*2^1238309-1 is not prime. Res64: 7D94F7832036E0DE Time : 0.0 sec. user=mdettweiler [2012-12-30 05:43:01] 657*2^1238309-1 is not prime. Res64: 71A421EB6AE0ED0A Time : 0.0 sec. user=mdettweiler [2012-12-30 05:43:01] 711*2^1238309-1 is not prime. Res64: B30552F8087E36CB Time : 0.0 sec. user=mdettweiler [2012-12-30 05:43:02] 769*2^1238309-1 is not prime. Res64: DB27F89AA1CC3C7A Time : 0.0 sec. user=mdettweiler [2012-12-30 06:00:22] 907*2^1238309-1 is not prime. Res64: 322835990B362D7B Time : 0.0 sec. user=mdettweiler [2012-12-30 06:00:23] 939*2^1238309-1 is not prime. Res64: C042756D1888AC5E Time : 0.0 sec. user=mdettweiler [2012-12-30 06:00:24] 969*2^1238309-1 is not prime. Res64: EA2547A7B30DDB38 Time : 0.0 sec. user=mdettweiler [2012-12-30 06:00:25] 681*2^1238310-1 is not prime. Res64: 7DA406990E7400C1 Time : 0.0 sec. user=vaughan [2012-12-30 06:11:36] 799*2^1238309-1 is not prime. Res64: 7F4F5B427AEA2C48 Time : 0.0 sec. user=mdettweiler [2012-12-30 06:17:58] 783*2^1238310-1 is not prime. Res64: C4E6397DD60262C7 Time : 0.0 sec. user=mdettweiler [2012-12-30 06:17:59] 843*2^1238310-1 is not prime. Res64: 223C97D5069F18D9 Time : 0.0 sec. user=mdettweiler [2012-12-30 06:18:01] 971*2^1238310-1 is not prime. Res64: 1ED4D9039B429493 Time : 0.0 sec. user=mdettweiler [2012-12-30 06:18:01] 619*2^1238311-1 is not prime. Res64: 1E69FB8C83D47762 Time : 0.0 sec. user=mdettweiler [2012-12-30 06:35:20] 703*2^1238311-1 is not prime. Res64: 1CF72C39E7E965AA Time : 0.0 sec. user=mdettweiler [2012-12-30 06:35:21] 741*2^1238311-1 is not prime. Res64: B0B992AB096020DE Time : 0.0 sec. user=mdettweiler [2012-12-30 06:35:22] 861*2^1238311-1 is not prime. Res64: 83DDB633F881B3C1 Time : 0.0 sec. user=mdettweiler [2012-12-30 06:35:22] 885*2^1238311-1 is not prime. Res64: 4955E5AF185A1BFF Time : 0.0 sec. user=vaughan [2012-12-30 06:49:32] 663*2^1238311-1 is not prime. Res64: DE96C0A757774A5B Time : 0.0 sec. user=mdettweiler [2012-12-30 06:52:41] 615*2^1238312-1 is not prime. Res64: EEA21B77F3027E85 Time : 0.0 sec. user=mdettweiler [2012-12-30 06:52:42] 617*2^1238312-1 is not prime. Res64: D4E4B13C5F636BF2 Time : 0.0 sec. user=mdettweiler [2012-12-30 06:52:43] 633*2^1238312-1 is not prime. Res64: 3E36B857E0D1F062 Time : 0.0 sec. user=mdettweiler [2012-12-30 06:52:43] 645*2^1238312-1 is not prime. Res64: 3C5EA8CCF04429E1 Time : 0.0 sec. user=mdettweiler [2012-12-30 07:10:02] 699*2^1238312-1 is not prime. Res64: 3F45325FEDF4F818 Time : 0.0 sec. user=mdettweiler [2012-12-30 07:10:02] 753*2^1238312-1 is not prime. Res64: DEF64A80AA7308B7 Time : 0.0 sec. user=mdettweiler [2012-12-30 07:10:04] 759*2^1238312-1 is not prime. Res64: 95F3B53B6236E050 Time : 0.0 sec. user=mdettweiler [2012-12-30 07:10:05] 813*2^1238312-1 is not prime. Res64: B568EBCD17907068 Time : 0.0 sec. user=vaughan [2012-12-30 07:27:19] 693*2^1238312-1 is not prime. Res64: 0E8F14D32A69EE64 Time : 0.0 sec. user=mdettweiler [2012-12-30 07:27:27] 827*2^1238312-1 is not prime. Res64: 6298269702721377 Time : 0.0 sec. user=mdettweiler [2012-12-30 07:27:28] 843*2^1238312-1 is not prime. Res64: 14AB6447A0F89CAB Time : 0.0 sec. user=mdettweiler [2012-12-30 07:27:28] 873*2^1238312-1 is not prime. Res64: 221FCF5840ED5E33 Time : 0.0 sec. user=mdettweiler [2012-12-30 07:27:29] 935*2^1238312-1 is not prime. Res64: 0BB0B501EC3DF529 Time : 0.0 sec. user=mdettweiler [2012-12-30 07:44:49] 977*2^1238312-1 is not prime. Res64: F0BDDBA2C55AB9E1 Time : 0.0 sec. user=mdettweiler [2012-12-30 07:44:49] 609*2^1238313-1 is not prime. Res64: A43CDF2AE529BA7F Time : 0.0 sec. user=mdettweiler [2012-12-30 07:44:50] 649*2^1238313-1 is not prime. Res64: 92A2DC307231EB05 Time : 0.0 sec. user=mdettweiler [2012-12-30 07:44:51] 759*2^1238313-1 is not prime. Res64: 95EAE67ABDB147A9 Time : 0.0 sec. user=mdettweiler [2012-12-30 08:02:11] 987*2^1238313-1 is not prime. Res64: C67E7BA32252FE17 Time : 0.0 sec. user=mdettweiler [2012-12-30 08:02:12] 707*2^1238314-1 is not prime. Res64: 1FCB5B92E733EC6C Time : 0.0 sec. user=mdettweiler [2012-12-30 08:02:17] 605*2^1238314-1 is not prime. Res64: D8F8D8956FF10965 Time : 0.0 sec. user=mdettweiler [2012-12-30 08:02:24] 841*2^1238315-1 is not prime. Res64: 3FBDB8C3710F98B1 Time : 0.0 sec. user=vaughan [2012-12-30 08:05:11] 963*2^1238312-1 is not prime. Res64: 3789047D21AF2B63 Time : 0.0 sec. user=mdettweiler [2012-12-30 08:20:24] 981*2^1238315-1 is not prime. Res64: 651F2E631E6643D7 Time : 0.0 sec. user=mdettweiler [2012-12-30 08:20:25] 633*2^1238316-1 is not prime. Res64: 88C7280322BA64D0 Time : 0.0 sec. user=mdettweiler [2012-12-30 08:37:07] 845*2^1238316-1 is not prime. Res64: A5E9141C57A2E9D9 Time : 0.0 sec. user=mdettweiler [2012-12-30 08:37:07] 867*2^1238316-1 is not prime. Res64: 9F0BDE3E0350EDB1 Time : 0.0 sec. user=mdettweiler [2012-12-30 08:37:45] 899*2^1238316-1 is not prime. Res64: D6390B6F51B3B811 Time : 0.0 sec. user=mdettweiler [2012-12-30 08:37:46] 945*2^1238316-1 is not prime. Res64: 6549DD8F115EC086 Time : 0.0 sec. user=vaughan [2012-12-30 08:43:30] 759*2^1238316-1 is not prime. Res64: 43AD6130D0AE2D67 Time : 0.0 sec. user=mdettweiler [2012-12-30 08:54:28] 609*2^1238317-1 is not prime. Res64: AB19B35D4F4C644F Time : 0.0 sec. user=mdettweiler [2012-12-30 08:54:29] 667*2^1238317-1 is not prime. Res64: F4975DDA2535EB9B Time : 0.0 sec. user=mdettweiler [2012-12-30 08:55:06] 675*2^1238317-1 is not prime. Res64: 5AD422DFF40A46A2 Time : 0.0 sec. user=mdettweiler [2012-12-30 08:55:07] 835*2^1238317-1 is not prime. Res64: 9E2F6BAB6C1CB804 Time : 0.0 sec. user=mdettweiler [2012-12-30 09:11:50] 967*2^1238317-1 is not prime. Res64: 461CDB8CCE990F5B Time : 0.0 sec. user=mdettweiler [2012-12-30 09:11:53] 979*2^1238317-1 is not prime. Res64: A5606C231B9A717C Time : 0.0 sec. user=mdettweiler [2012-12-30 09:12:30] 623*2^1238318-1 is not prime. Res64: B85D60DD55D2D3E0 Time : 0.0 sec. user=mdettweiler [2012-12-30 09:12:32] 627*2^1238318-1 is not prime. Res64: FD32882925292E0A Time : 0.0 sec. user=vaughan [2012-12-30 09:21:16] 961*2^1238317-1 is not prime. Res64: 2ECFF4BB647527CE Time : 0.0 sec. user=mdettweiler [2012-12-30 09:29:20] 683*2^1238318-1 is not prime. Res64: 490DFEDDD6B79891 Time : 0.0 sec. user=mdettweiler [2012-12-30 09:29:21] 747*2^1238318-1 is not prime. Res64: 75DC22D19B005A7B Time : 0.0 sec. user=mdettweiler [2012-12-30 09:29:58] 953*2^1238318-1 is not prime. Res64: D6383F4067E388EB Time : 0.0 sec. user=mdettweiler [2012-12-30 09:29:59] 933*2^1238319-1 is not prime. Res64: FBBAD9969474AB16 Time : 0.0 sec. user=mdettweiler [2012-12-30 09:46:41] 991*2^1238319-1 is not prime. Res64: 58962892E2B66F0A Time : 0.0 sec. user=mdettweiler [2012-12-30 09:46:41] 665*2^1238320-1 is not prime. Res64: 15C4F8B28B276C2A Time : 0.0 sec. user=mdettweiler [2012-12-30 09:47:20] 723*2^1238320-1 is not prime. Res64: 7B81A41E6BB3CEA3 Time : 0.0 sec. user=mdettweiler [2012-12-30 09:47:20] 735*2^1238320-1 is not prime. Res64: 595414F8CB1F61D0 Time : 0.0 sec. user=vaughan [2012-12-30 09:59:02] 955*2^1238319-1 is not prime. Res64: 79BAAE8FA3B76F5E Time : 0.0 sec. user=mdettweiler [2012-12-30 10:04:03] 873*2^1238320-1 is not prime. Res64: 84C48B27F4F63C89 Time : 0.0 sec. user=mdettweiler [2012-12-30 10:04:04] 899*2^1238320-1 is not prime. Res64: 3CB787D80F00ED66 Time : 0.0 sec. user=mdettweiler [2012-12-30 10:04:41] 933*2^1238320-1 is not prime. Res64: 48B4E373D8C24F4F Time : 0.0 sec. user=mdettweiler [2012-12-30 10:04:42] 989*2^1238320-1 is not prime. Res64: 97EA00A016937DAF Time : 0.0 sec. user=mdettweiler [2012-12-30 10:21:26] 811*2^1238321-1 is not prime. Res64: 0042A2328EA205B0 Time : 0.0 sec. user=mdettweiler [2012-12-30 10:21:27] 819*2^1238321-1 is not prime. Res64: 92DA16A78709062D Time : 0.0 sec. user=mdettweiler [2012-12-30 10:22:04] 837*2^1238321-1 is not prime. Res64: 01202E195330657F Time : 0.0 sec. user=mdettweiler [2012-12-30 10:22:05] 901*2^1238321-1 is not prime. Res64: 280D257E06C0CF31 Time : 0.0 sec. user=vaughan [2012-12-30 10:36:55] 735*2^1238321-1 is not prime. Res64: 81CD832C34EFF9FF Time : 0.0 sec. user=mdettweiler [2012-12-30 10:38:48] 987*2^1238321-1 is not prime. Res64: 9505B943CCD2C9D9 Time : 0.0 sec. user=mdettweiler [2012-12-30 10:38:49] 723*2^1238322-1 is not prime. Res64: 5C9B9D85B0058449 Time : 0.0 sec. user=mdettweiler [2012-12-30 10:39:26] 765*2^1238322-1 is not prime. Res64: 8E364AEA3EF2E146 Time : 0.0 sec. user=mdettweiler [2012-12-30 10:39:26] 797*2^1238322-1 is not prime. Res64: 9AE3E97230901156 Time : 0.0 sec. user=mdettweiler [2012-12-30 10:56:09] 837*2^1238322-1 is not prime. Res64: B38C9F80A67D6C55 Time : 0.0 sec. user=mdettweiler [2012-12-30 10:56:09] 887*2^1238322-1 is not prime. Res64: 9F6AB493B6660024 Time : 0.0 sec. user=mdettweiler [2012-12-30 10:56:46] 977*2^1238322-1 is not prime. Res64: 8A64932F6827E76B Time : 0.0 sec. user=mdettweiler [2012-12-30 10:56:47] 603*2^1238323-1 is not prime. Res64: D717DD0CF762C690 Time : 0.0 sec. user=mdettweiler [2012-12-30 11:13:35] 693*2^1238323-1 is not prime. Res64: 8703A06FA2C57063 Time : 0.0 sec. user=mdettweiler [2012-12-30 11:13:37] 769*2^1238323-1 is not prime. Res64: CE23150A49FAE922 Time : 0.0 sec. user=mdettweiler [2012-12-30 11:14:12] 859*2^1238323-1 is not prime. Res64: 27D4A5ECB1389734 Time : 0.0 sec. user=mdettweiler [2012-12-30 11:14:13] 871*2^1238323-1 is not prime. Res64: F78CCF93E7AF33EF Time : 0.0 sec. user=vaughan [2012-12-30 11:14:43] 833*2^1238322-1 is not prime. Res64: C04E7A32262CA123 Time : 0.0 sec. user=mdettweiler [2012-12-30 11:31:03] 973*2^1238323-1 is not prime. Res64: 51C6F999E1607A5B Time : 0.0 sec. user=mdettweiler [2012-12-30 11:31:04] 689*2^1238324-1 is not prime. Res64: 4ED805F5FBDA0BD0 Time : 0.0 sec. user=mdettweiler [2012-12-30 11:31:33] 893*2^1238324-1 is not prime. Res64: 3D9E1D2347B5F365 Time : 0.0 sec. user=mdettweiler [2012-12-30 11:31:34] 969*2^1238324-1 is not prime. Res64: CD14F425950495CC Time : 0.0 sec. user=mdettweiler [2012-12-30 11:48:32] 699*2^1238325-1 is not prime. Res64: 66CB5B4C997AE660 Time : 0.0 sec. user=mdettweiler [2012-12-30 11:48:32] 735*2^1238325-1 is not prime. Res64: E64925D21AEA491D Time : 0.0 sec. user=mdettweiler [2012-12-30 11:49:03] 781*2^1238325-1 is not prime. Res64: 47585BBD2609930F Time : 0.0 sec. user=mdettweiler [2012-12-30 11:49:04] 795*2^1238325-1 is not prime. Res64: 19EB3E1A2A882A56 Time : 0.0 sec. user=vaughan [2012-12-30 11:52:29] 601*2^1238325-1 is not prime. Res64: D019D831CDD7CF7A Time : 0.0 sec. user=mdettweiler [2012-12-30 12:06:08] 817*2^1238325-1 is not prime. Res64: 0446645CA22A0DFD Time : 0.0 sec. user=mdettweiler [2012-12-30 12:06:11] 819*2^1238325-1 is not prime. Res64: 003F1DBF93A4BB2E Time : 0.0 sec. user=mdettweiler [2012-12-30 12:06:39] 915*2^1238325-1 is not prime. Res64: 3DC59A7BF7811129 Time : 0.0 sec. user=mdettweiler [2012-12-30 12:06:40] 635*2^1238326-1 is not prime. Res64: 748AD3B894D722B1 Time : 0.0 sec. user=mdettweiler [2012-12-30 12:23:57] 723*2^1238326-1 is not prime. Res64: 0F743EC05DFA9274 Time : 0.0 sec. user=mdettweiler [2012-12-30 12:23:58] 755*2^1238326-1 is not prime. Res64: 913260147FA05CFF Time : 0.0 sec. user=mdettweiler [2012-12-30 12:24:12] 843*2^1238326-1 is not prime. Res64: F929249089995775 Time : 0.0 sec. user=mdettweiler [2012-12-30 12:24:13] 923*2^1238326-1 is not prime. Res64: 0D5279ED5DA7285D Time : 0.0 sec. user=vaughan [2012-12-30 12:30:17] 645*2^1238326-1 is not prime. Res64: 0DFAE8D94FDCDD96 Time : 0.0 sec. user=mdettweiler [2012-12-30 12:41:26] 945*2^1238326-1 is not prime. Res64: 6FDC786C3A3D6DD4 Time : 0.0 sec. user=mdettweiler [2012-12-30 12:41:27] 987*2^1238326-1 is not prime. Res64: 9FCEB768644E9E90 Time : 0.0 sec. user=mdettweiler [2012-12-30 12:41:39] 619*2^1238327-1 is not prime. Res64: 74A159E163C29EDD Time : 0.0 sec. user=mdettweiler [2012-12-30 12:41:40] 685*2^1238327-1 is not prime. Res64: 892D592BD44FADAB Time : 0.0 sec. user=mdettweiler [2012-12-30 12:58:55] 823*2^1238327-1 is not prime. Res64: C52D4E2686B1018E Time : 0.0 sec. user=mdettweiler [2012-12-30 12:58:56] 825*2^1238327-1 is not prime. Res64: CA921BDA67C7A4BC Time : 0.0 sec. user=mdettweiler [2012-12-30 12:59:08] 963*2^1238327-1 is not prime. Res64: 168F33911EBE9E30 Time : 0.0 sec. user=mdettweiler [2012-12-30 12:59:09] 981*2^1238327-1 is not prime. Res64: 6E2E30EE854C5C10 Time : 0.0 sec. user=vaughan [2012-12-30 13:08:03] 729*2^1238327-1 is not prime. Res64: D045CCE35F9FD52D Time : 0.0 sec. user=mdettweiler [2012-12-30 13:16:21] 615*2^1238328-1 is not prime. Res64: AEBCC5B059BD19E5 Time : 0.0 sec. user=mdettweiler [2012-12-30 13:16:22] 657*2^1238328-1 is not prime. Res64: B30D1BD87A8541EC Time : 0.0 sec. user=mdettweiler [2012-12-30 13:16:34] 683*2^1238328-1 is not prime. Res64: 31928F10650EA97E Time : 0.0 sec. user=mdettweiler [2012-12-30 13:16:34] 773*2^1238328-1 is not prime. Res64: 072784BCAC12985D Time : 0.0 sec. user=mdettweiler [2012-12-30 13:33:48] 839*2^1238328-1 is not prime. Res64: 490F2C4134439F96 Time : 0.0 sec. user=mdettweiler [2012-12-30 13:33:48] 843*2^1238328-1 is not prime. Res64: 284C3C0C7ED0B77F Time : 0.0 sec. user=mdettweiler [2012-12-30 13:34:01] 887*2^1238328-1 is not prime. Res64: 65C0C6C24F686A39 Time : 0.0 sec. user=mdettweiler [2012-12-30 13:34:01] 899*2^1238328-1 is not prime. Res64: 897E6B0631CBEDB4 Time : 0.0 sec. user=vaughan [2012-12-30 13:45:55] 809*2^1238328-1 is not prime. Res64: BC4D04C3D5D80FA5 Time : 0.0 sec. user=mdettweiler [2012-12-30 13:51:15] 615*2^1238329-1 is not prime. Res64: 882128399C133E0E Time : 0.0 sec. user=mdettweiler [2012-12-30 13:51:16] 799*2^1238329-1 is not prime. Res64: 5C9A92C93A1A20EF Time : 0.0 sec. user=mdettweiler [2012-12-30 13:51:27] 801*2^1238329-1 is not prime. Res64: 50A407CCDD632506 Time : 0.0 sec. user=mdettweiler [2012-12-30 13:51:28] 877*2^1238329-1 is not prime. Res64: 7A2EAEF391A6193D Time : 0.0 sec. user=mdettweiler [2012-12-30 14:08:37] 675*2^1238330-1 is not prime. Res64: C3D43D02BF4DEBE8 Time : 0.0 sec. user=mdettweiler [2012-12-30 14:08:39] 851*2^1238330-1 is not prime. Res64: DC00DCB61CE79797 Time : 0.0 sec. user=mdettweiler [2012-12-30 14:08:50] 875*2^1238330-1 is not prime. Res64: 6DD1948EB7EE5893 Time : 0.0 sec. user=mdettweiler [2012-12-30 14:08:51] 893*2^1238330-1 is not prime. Res64: 13303993E219EAD8 Time : 0.0 sec. user=vaughan [2012-12-30 14:23:44] 975*2^1238329-1 is not prime. Res64: F1773D73EDAEC1F7 Time : 0.0 sec. user=mdettweiler [2012-12-30 14:26:06] 987*2^1238330-1 is not prime. Res64: 7A6D3D0E0FF1071A Time : 0.0 sec. user=mdettweiler [2012-12-30 14:26:07] 741*2^1238331-1 is not prime. Res64: 2E95340E29EA6BD0 Time : 0.0 sec. user=mdettweiler [2012-12-30 14:26:13] 775*2^1238331-1 is not prime. Res64: E437DB6E15B190AD Time : 0.0 sec. user=mdettweiler [2012-12-30 14:26:14] 783*2^1238331-1 is not prime. Res64: F213FDD8AB23FE63 Time : 0.0 sec. user=mdettweiler [2012-12-30 14:43:29] 665*2^1238332-1 is not prime. Res64: 74525AE663D2E383 Time : 0.0 sec. user=mdettweiler [2012-12-30 14:43:29] 743*2^1238332-1 is not prime. Res64: C52E01DE8983B19E Time : 0.0 sec. user=mdettweiler [2012-12-30 14:43:36] 807*2^1238332-1 is not prime. Res64: 6D10102E8F51E5D6 Time : 0.0 sec. user=mdettweiler [2012-12-30 14:43:36] 827*2^1238332-1 is not prime. Res64: 95F3D71FCE0BF69D Time : 0.0 sec. user=mdettweiler [2012-12-30 15:00:52] 857*2^1238332-1 is not prime. Res64: 1696D21B1A1BD2F7 Time : 0.0 sec. user=mdettweiler [2012-12-30 15:00:54] 915*2^1238332-1 is not prime. Res64: A5F89F96A99F175B Time : 0.0 sec. user=mdettweiler [2012-12-30 15:01:02] 957*2^1238332-1 is not prime. Res64: 8E59F08B1D7E3F67 Time : 0.0 sec. user=mdettweiler [2012-12-30 15:01:04] 989*2^1238332-1 is not prime. Res64: 14A591069DFEA7CF Time : 0.0 sec. user=vaughan [2012-12-30 15:01:36] 795*2^1238331-1 is not prime. Res64: 3151E919241F6128 Time : 0.0 sec. user=mdettweiler [2012-12-30 15:18:37] 627*2^1238333-1 is not prime. Res64: D9C81CE3AA8A2EC4 Time : 0.0 sec. user=mdettweiler [2012-12-30 15:18:38] 679*2^1238333-1 is not prime. Res64: 6F85534EDE40AB4D Time : 0.0 sec. user=mdettweiler [2012-12-30 15:18:40] 757*2^1238333-1 is not prime. Res64: 1217193B6FE73704 Time : 0.0 sec. user=mdettweiler [2012-12-30 15:18:41] 795*2^1238333-1 is not prime. Res64: 05BA7DA992F121A8 Time : 0.0 sec. user=mdettweiler [2012-12-30 15:36:01] 683*2^1238334-1 is not prime. Res64: B48425AB550223C3 Time : 0.0 sec. user=mdettweiler [2012-12-30 15:36:02] 723*2^1238334-1 is not prime. Res64: AECFB5C34E9DC13C Time : 0.0 sec. user=mdettweiler [2012-12-30 15:36:02] 725*2^1238334-1 is not prime. Res64: C813D3FCE490B6F4 Time : 0.0 sec. user=mdettweiler [2012-12-30 15:36:03] 773*2^1238334-1 is not prime. Res64: 147CCC16D6C17A08 Time : 0.0 sec. user=vaughan [2012-12-30 15:39:27] 811*2^1238333-1 is not prime. Res64: EF47296429D8E47A Time : 0.0 sec. user=mdettweiler [2012-12-30 15:53:39] 893*2^1238334-1 is not prime. Res64: E4E8E9518A3E60B3 Time : 0.0 sec. user=mdettweiler [2012-12-30 15:53:39] 941*2^1238334-1 is not prime. Res64: 1D7FFFAB408500F0 Time : 0.0 sec. user=mdettweiler [2012-12-30 15:53:42] 645*2^1238335-1 is not prime. Res64: DAFEB1972A904771 Time : 0.0 sec. user=mdettweiler [2012-12-30 15:53:42] 925*2^1238335-1 is not prime. Res64: 279DB1041F973A1E Time : 0.0 sec. user=mdettweiler [2012-12-30 16:11:06] 609*2^1238336-1 is not prime. Res64: 0F0BA87F5B9100CB Time : 0.0 sec. user=mdettweiler [2012-12-30 16:11:07] 669*2^1238336-1 is not prime. Res64: 6F092E10252612C4 Time : 0.0 sec. user=mdettweiler [2012-12-30 16:11:09] 725*2^1238336-1 is not prime. Res64: 7570002F9AF078BA Time : 0.0 sec. user=mdettweiler [2012-12-30 16:11:10] 627*2^1238337-1 is not prime. Res64: 7BEE527C7B821A42 Time : 0.0 sec. user=vaughan [2012-12-30 16:17:12] 973*2^1238335-1 is not prime. Res64: AC943FF03228B120 Time : 0.0 sec. user=mdettweiler [2012-12-30 16:28:31] 781*2^1238337-1 is not prime. Res64: A15519481665FE43 Time : 0.0 sec. user=mdettweiler [2012-12-30 16:28:31] 805*2^1238337-1 is not prime. Res64: DFAAE3EDEB32813F Time : 0.0 sec. user=mdettweiler [2012-12-30 16:28:32] 807*2^1238337-1 is not prime. Res64: 20A63F174B3D66EA Time : 0.0 sec. user=mdettweiler [2012-12-30 16:28:33] 891*2^1238337-1 is not prime. Res64: 34015843D40433D5 Time : 0.0 sec. user=mdettweiler [2012-12-30 16:45:55] 633*2^1238338-1 is not prime. Res64: E7ED562DA0D125C3 Time : 0.0 sec. user=mdettweiler [2012-12-30 16:45:55] 657*2^1238338-1 is not prime. Res64: 795E3F81E7A96009 Time : 0.0 sec. user=mdettweiler [2012-12-30 16:45:56] 645*2^1238338-1 is not prime. Res64: C6A5819D46D48A6B Time : 0.0 sec. user=mdettweiler [2012-12-30 16:45:56] 681*2^1238338-1 is not prime. Res64: 4B6F42703231D168 Time : 0.0 sec. user=vaughan [2012-12-30 16:54:59] 937*2^1238337-1 is not prime. Res64: AF144CCF6E1EA665 Time : 0.0 sec. user=mdettweiler [2012-12-30 17:03:20] 723*2^1238338-1 is not prime. Res64: D9ABAE63F4885372 Time : 0.0 sec. user=mdettweiler [2012-12-30 17:03:24] 631*2^1238339-1 is not prime. Res64: E0EE8E550591CBBD Time : 0.0 sec. user=mdettweiler [2012-12-30 17:03:25] 801*2^1238338-1 is not prime. Res64: 5160D529DDAC67D2 Time : 0.0 sec. user=mdettweiler [2012-12-30 17:03:28] 703*2^1238339-1 is not prime. Res64: 2C6EEF2450B43A2F Time : 0.0 sec. user=mdettweiler [2012-12-30 17:21:07] 883*2^1238339-1 is not prime. Res64: 33399CD91D0EF3F3 Time : 0.0 sec. user=mdettweiler [2012-12-30 17:21:08] 999*2^1238339-1 is not prime. Res64: 4A187ECC585D59AF Time : 0.0 sec. user=mdettweiler [2012-12-30 17:21:11] 669*2^1238340-1 is not prime. Res64: 7EFD3A19638982EA Time : 0.0 sec. user=mdettweiler [2012-12-30 17:21:12] 695*2^1238340-1 is not prime. Res64: D7A392CDE8AAE762 Time : 0.0 sec. user=vaughan [2012-12-30 17:32:44] 855*2^1238339-1 is not prime. Res64: B98271132C1ED2A7 Time : 0.0 sec. user=mdettweiler [2012-12-30 17:38:39] 753*2^1238340-1 is not prime. Res64: 4C7E179840B7AD8D Time : 0.0 sec. user=mdettweiler [2012-12-30 17:38:39] 625*2^1238341-1 is not prime. Res64: C23A17756B106918 Time : 0.0 sec. user=mdettweiler [2012-12-30 17:38:49] 675*2^1238341-1 is not prime. Res64: DC38AE8CE87DE7FA Time : 0.0 sec. user=mdettweiler [2012-12-30 17:38:51] 715*2^1238341-1 is not prime. Res64: A3736F029807BC39 Time : 0.0 sec. user=mdettweiler [2012-12-30 17:56:07] 727*2^1238341-1 is not prime. Res64: B9DA971FCCB0C26F Time : 0.0 sec. user=mdettweiler [2012-12-30 17:56:08] 805*2^1238341-1 is not prime. Res64: 37E5153F297AE297 Time : 0.0 sec. user=mdettweiler [2012-12-30 17:56:18] 939*2^1238341-1 is not prime. Res64: 03333954A69AACD9 Time : 0.0 sec. user=mdettweiler [2012-12-30 17:56:18] 675*2^1238342-1 is not prime. Res64: AAC033A2DDF20136 Time : 0.0 sec. user=vaughan [2012-12-30 18:10:31] 717*2^1238341-1 is not prime. Res64: DEC1F6AC34BD2F73 Time : 0.0 sec. user=mdettweiler [2012-12-30 18:13:34] 897*2^1238342-1 is not prime. Res64: 9A2A2F8A1CD80FAA Time : 0.0 sec. user=mdettweiler [2012-12-30 18:13:35] 1001*2^1238342-1 is not prime. Res64: B1F4AC6103BF3E0B Time : 0.0 sec. user=mdettweiler [2012-12-30 18:13:45] 619*2^1238343-1 is not prime. Res64: 94BC0B94DC4D99B9 Time : 0.0 sec. user=mdettweiler [2012-12-30 18:13:46] 625*2^1238343-1 is not prime. Res64: 4A04D349BCAEC749 Time : 0.0 sec. user=mdettweiler [2012-12-30 18:31:12] 721*2^1238343-1 is not prime. Res64: 83FB20C765D77DD4 Time : 0.0 sec. user=mdettweiler [2012-12-30 18:31:13] 795*2^1238343-1 is not prime. Res64: 90E81C75F1356EB4 Time : 0.0 sec. user=mdettweiler [2012-12-30 18:31:16] 823*2^1238343-1 is not prime. Res64: A2EBEBCE84D91A4F Time : 0.0 sec. user=mdettweiler [2012-12-30 18:31:17] 919*2^1238343-1 is not prime. Res64: C59A2B449761B640 Time : 0.0 sec. user=vaughan [2012-12-30 18:48:27] 669*2^1238343-1 is not prime. Res64: 5C22672B543A049E Time : 0.0 sec. user=mdettweiler [2012-12-30 18:48:54] 951*2^1238343-1 is not prime. Res64: F7B6BFF027EC3C5A Time : 0.0 sec. user=mdettweiler [2012-12-30 18:48:54] 695*2^1238344-1 is not prime. Res64: 97B58D818FADFC62 Time : 0.0 sec. user=mdettweiler [2012-12-30 18:48:54] 723*2^1238344-1 is not prime. Res64: AA58D5F5FDCB11B6 Time : 0.0 sec. user=mdettweiler [2012-12-30 18:48:55] 849*2^1238344-1 is not prime. Res64: D3E30D2545BF3468 Time : 0.0 sec. user=mdettweiler [2012-12-30 19:06:25] 875*2^1238344-1 is not prime. Res64: 7AFE427D10C8A381 Time : 0.0 sec. user=mdettweiler [2012-12-30 19:06:27] 965*2^1238344-1 is not prime. Res64: 2714F7D72572071F Time : 0.0 sec. user=mdettweiler [2012-12-30 19:06:27] 939*2^1238344-1 is not prime. Res64: 9C3602D58C98908C Time : 0.0 sec. user=mdettweiler [2012-12-30 19:06:28] 645*2^1238345-1 is not prime. Res64: 2D5DAA0C95433128 Time : 0.0 sec. user=mdettweiler [2012-12-30 19:23:52] 691*2^1238345-1 is not prime. Res64: 176DB3506C889770 Time : 0.0 sec. user=mdettweiler [2012-12-30 19:23:53] 697*2^1238345-1 is not prime. Res64: A4A6BCA61CA58351 Time : 0.0 sec. user=mdettweiler [2012-12-30 19:23:55] 759*2^1238345-1 is not prime. Res64: AB395B2B9C38554E Time : 0.0 sec. user=mdettweiler [2012-12-30 19:23:56] 841*2^1238345-1 is not prime. Res64: AFE1597F14F15B13 Time : 0.0 sec. user=vaughan [2012-12-30 19:26:17] 855*2^1238344-1 is not prime. Res64: 7872515ED6CABB7A Time : 0.0 sec. user=mdettweiler [2012-12-30 19:41:16] 867*2^1238345-1 is not prime. Res64: 9DE136069C91D679 Time : 0.0 sec. user=mdettweiler [2012-12-30 19:41:16] 985*2^1238345-1 is not prime. Res64: 5F09A89097C40EAA Time : 0.0 sec. user=mdettweiler [2012-12-30 19:41:18] 677*2^1238346-1 is not prime. Res64: 06AE0577C04B3FA2 Time : 0.0 sec. user=mdettweiler [2012-12-30 19:41:19] 833*2^1238346-1 is not prime. Res64: A213EB23274AC36D Time : 0.0 sec. user=mdettweiler [2012-12-30 19:58:40] 651*2^1238347-1 is not prime. Res64: 3EA0C3E8D65CB739 Time : 0.0 sec. user=mdettweiler [2012-12-30 19:58:40] 663*2^1238347-1 is not prime. Res64: 9A0AA2FDB743849C Time : 0.0 sec. user=mdettweiler [2012-12-30 19:58:42] 681*2^1238347-1 is not prime. Res64: E6F20A45FB56324B Time : 0.0 sec. user=mdettweiler [2012-12-30 19:58:43] 735*2^1238347-1 is not prime. Res64: FF8F936F2E113B7E Time : 0.0 sec. user=vaughan [2012-12-30 20:04:04] 631*2^1238347-1 is not prime. Res64: E730858757ADC379 Time : 0.0 sec. user=mdettweiler [2012-12-30 20:16:06] 769*2^1238347-1 is not prime. Res64: 6C135617B537D1EB Time : 0.0 sec. user=mdettweiler [2012-12-30 20:16:08] 919*2^1238347-1 is not prime. Res64: 6D0314D229E2DD4F Time : 0.0 sec. user=mdettweiler [2012-12-30 20:16:09] 617*2^1238348-1 is not prime. Res64: CFA91C69C8637B70 Time : 0.0 sec. user=mdettweiler [2012-12-30 20:16:09] 699*2^1238348-1 is not prime. Res64: 18E714BCCAE92DF7 Time : 0.0 sec. user=mdettweiler [2012-12-30 20:33:47] 759*2^1238349-1 is not prime. Res64: 70CCCD1799DF8910 Time : 0.0 sec. user=mdettweiler [2012-12-30 20:33:47] 789*2^1238349-1 is not prime. Res64: 3F1956EBB16337D0 Time : 0.0 sec. user=mdettweiler [2012-12-30 20:33:48] 875*2^1238348-1 is not prime. Res64: 20477B6CE645D3F4 Time : 0.0 sec. user=mdettweiler [2012-12-30 20:33:49] 999*2^1238348-1 is not prime. Res64: C6350518016997C8 Time : 0.0 sec. user=vaughan [2012-12-30 20:41:55] 833*2^1238348-1 is not prime. Res64: 8D15DEB542B7C578 Time : 0.0 sec. user=mdettweiler [2012-12-30 20:51:14] 817*2^1238349-1 is not prime. Res64: A4BECF5F3D266BE5 Time : 0.0 sec. user=mdettweiler [2012-12-30 20:51:15] 999*2^1238349-1 is not prime. Res64: 38207F2648CF8CC6 Time : 0.0 sec. user=mdettweiler [2012-12-30 20:51:15] 635*2^1238350-1 is not prime. Res64: B2173F78B9A4F38D Time : 0.0 sec. user=mdettweiler [2012-12-30 20:51:16] 713*2^1238350-1 is not prime. Res64: 370A64C01BBD5591 Time : 0.0 sec. user=mdettweiler [2012-12-30 21:08:45] 761*2^1238350-1 is not prime. Res64: 2DBFDD1803F6745B Time : 0.0 sec. user=mdettweiler [2012-12-30 21:08:45] 813*2^1238350-1 is not prime. Res64: BD28AC43925B3962 Time : 0.0 sec. user=mdettweiler [2012-12-30 21:08:49] 777*2^1238350-1 is not prime. Res64: 609143A68685BF7D Time : 0.0 sec. user=mdettweiler [2012-12-30 21:08:50] 957*2^1238350-1 is not prime. Res64: 379CF0BFCA358C8A Time : 0.0 sec. user=vaughan [2012-12-30 21:19:44] 741*2^1238350-1 is not prime. Res64: 03E4AB8B25FBA41F Time : 0.0 sec. user=mdettweiler [2012-12-30 21:26:38] 987*2^1238350-1 is not prime. Res64: E659E3B602867B62 Time : 0.0 sec. user=mdettweiler [2012-12-30 21:26:39] 609*2^1238351-1 is not prime. Res64: B7192E8E758E0CB0 Time : 0.0 sec. user=mdettweiler [2012-12-30 21:26:50] 965*2^1238350-1 is not prime. Res64: 02377312A5805443 Time : 0.0 sec. user=mdettweiler [2012-12-30 21:26:51] 741*2^1238351-1 is not prime. Res64: 24DBD38B5898CFCD Time : 0.0 sec. user=mdettweiler [2012-12-30 21:44:06] 789*2^1238351-1 is not prime. Res64: 54CFCF7F7DC558AE Time : 0.0 sec. user=mdettweiler [2012-12-30 21:44:07] 883*2^1238351-1 is not prime. Res64: B2C4604E9ABD10F2 Time : 0.0 sec. user=mdettweiler [2012-12-30 21:44:31] 885*2^1238351-1 is not prime. Res64: 76DBDBE7336B62EF Time : 0.0 sec. user=mdettweiler [2012-12-30 21:44:32] 943*2^1238351-1 is not prime. Res64: 870AA2FBC11F9DE5 Time : 0.0 sec. user=vaughan [2012-12-30 21:57:30] 783*2^1238351-1 is not prime. Res64: EE67B4502CD28755 Time : 0.0 sec. user=mdettweiler [2012-12-30 22:01:37] 981*2^1238351-1 is not prime. Res64: B3AF9A64B8F0F939 Time : 0.0 sec. user=mdettweiler [2012-12-30 22:01:39] 609*2^1238352-1 is not prime. Res64: B7258D8A50439E38 Time : 0.0 sec. user=mdettweiler [2012-12-30 22:02:02] 633*2^1238352-1 is not prime. Res64: 02BE2280459700D2 Time : 0.0 sec. user=mdettweiler [2012-12-30 22:02:03] 669*2^1238352-1 is not prime. Res64: 49C34D0E625400C6 Time : 0.0 sec. user=mdettweiler [2012-12-30 22:19:17] 779*2^1238352-1 is not prime. Res64: B3AE6DAC0F4B0FAE Time : 0.0 sec. user=mdettweiler [2012-12-30 22:19:17] 903*2^1238352-1 is not prime. Res64: ECD1FA5FF636FC2B Time : 0.0 sec. user=mdettweiler [2012-12-30 22:19:34] 747*2^1238353-1 is not prime. Res64: D19995B005C3ACF7 Time : 0.0 sec. user=mdettweiler [2012-12-30 22:19:36] 765*2^1238353-1 is not prime. Res64: D26B9CE6D86CAF78 Time : 0.0 sec. user=vaughan [2012-12-30 22:35:19] 767*2^1238352-1 is not prime. Res64: 2C78124D62FD90FA Time : 0.0 sec. user=mdettweiler [2012-12-30 22:37:09] 847*2^1238353-1 is not prime. Res64: 17BE45164FF91658 Time : 0.0 sec. user=mdettweiler [2012-12-30 22:37:09] 955*2^1238353-1 is not prime. Res64: 9A02BBCF51A7AC87 Time : 0.0 sec. user=mdettweiler [2012-12-30 22:37:28] 957*2^1238353-1 is not prime. Res64: 06172F4DB92B36CE Time : 0.0 sec. user=mdettweiler [2012-12-30 22:37:28] 967*2^1238353-1 is not prime. Res64: 1CBAAF3B5690C52A Time : 0.0 sec. user=mdettweiler [2012-12-30 22:55:03] 773*2^1238354-1 is not prime. Res64: 906969F9F4F397A5 Time : 0.0 sec. user=mdettweiler [2012-12-30 22:55:03] 857*2^1238354-1 is not prime. Res64: B9D9E42B25028CC8 Time : 0.0 sec. user=mdettweiler [2012-12-30 22:55:22] 927*2^1238354-1 is not prime. Res64: A3ADE00C11EA2CAE Time : 0.0 sec. user=mdettweiler [2012-12-30 22:55:22] 945*2^1238354-1 is not prime. Res64: 58E1A8373F6E79B7 Time : 0.0 sec. user=mdettweiler [2012-12-30 23:12:55] 971*2^1238354-1 is not prime. Res64: 398A4F3DA0032EC5 Time : 0.0 sec. user=mdettweiler [2012-12-30 23:12:56] 613*2^1238355-1 is not prime. Res64: FB0D84C8F269E401 Time : 0.0 sec. user=vaughan [2012-12-30 23:13:07] 605*2^1238354-1 is not prime. Res64: 5CA2880343385275 Time : 0.0 sec. user=mdettweiler [2012-12-30 23:13:13] 619*2^1238355-1 is not prime. Res64: 95172FF8BD300C8D Time : 0.0 sec. user=mdettweiler [2012-12-30 23:13:13] 651*2^1238355-1 is not prime. Res64: 5B077C10B3AE04C8 Time : 0.0 sec. user=mdettweiler [2012-12-30 23:30:25] 795*2^1238355-1 is not prime. Res64: DAF579EDF52EA16F Time : 0.0 sec. user=mdettweiler [2012-12-30 23:30:29] 895*2^1238355-1 is not prime. Res64: 53AAADF74AAB98BE Time : 0.0 sec. user=mdettweiler [2012-12-30 23:30:42] 979*2^1238355-1 is not prime. Res64: 283B4A6A070BEA84 Time : 0.0 sec. user=mdettweiler [2012-12-30 23:30:44] 985*2^1238355-1 is not prime. Res64: 4BE2F51435A71403 Time : 0.0 sec. user=mdettweiler [2012-12-30 23:48:07] 623*2^1238356-1 is not prime. Res64: EA1BCEA723F12D56 Time : 0.0 sec. user=mdettweiler [2012-12-30 23:48:08] 657*2^1238356-1 is not prime. Res64: C6B181F56AE812AE Time : 0.0 sec. user=mdettweiler [2012-12-30 23:48:23] 743*2^1238356-1 is not prime. Res64: FD0E2000BDCC0B10 Time : 0.0 sec. user=mdettweiler [2012-12-30 23:48:24] 869*2^1238356-1 is not prime. Res64: 8AF2B33BFF0E54AD Time : 0.0 sec. user=vaughan [2012-12-30 23:50:55] 909*2^1238355-1 is not prime. Res64: DACCFCEF62CDE3A4 Time : 0.0 sec.