user=mdettweiler [2012-07-31 00:08:14] 921*2^1225382-1 is not prime. Res64: 3A42E4F36BAEEF25 Time : 0.0 sec. user=mdettweiler [2012-07-31 00:08:15] 935*2^1225382-1 is not prime. Res64: 79355F1BEC68CCB9 Time : 0.0 sec. user=vaughan [2012-07-31 00:11:14] 711*2^1225382-1 is not prime. Res64: 6E7AF580E374EE34 Time : 0.0 sec. user=sm5ymt [2012-07-31 00:20:37] 895*2^1225383-1 is not prime. Res64: 7AE74AF83D29989E Time : 0.0 sec. user=mdettweiler [2012-07-31 00:20:37] 945*2^1225382-1 is not prime. Res64: 084DD99C273E50D8 Time : 0.0 sec. user=mdettweiler [2012-07-31 00:20:37] 751*2^1225383-1 is not prime. Res64: C8C46F363D60259E Time : 0.0 sec. user=mdettweiler [2012-07-31 00:28:32] 739*2^1225383-1 is not prime. Res64: 642E6F223D7F745B Time : 0.0 sec. user=mdettweiler [2012-07-31 00:28:59] 945*2^1225383-1 is not prime. Res64: DAD450CC3497BD96 Time : 0.0 sec. user=mdettweiler [2012-07-31 00:28:59] 609*2^1225384-1 is not prime. Res64: 22E3D5B35A866D02 Time : 0.0 sec. user=vaughan [2012-07-31 00:48:46] 623*2^1225384-1 is not prime. Res64: AF992D00B74CCBB1 Time : 0.0 sec. user=mdettweiler [2012-07-31 00:49:41] 687*2^1225384-1 is not prime. Res64: F8DD7BFEBE1CA05B Time : 0.0 sec. user=mdettweiler [2012-07-31 00:49:42] 717*2^1225384-1 is not prime. Res64: CC52165A846A73DC Time : 0.0 sec. user=sm5ymt [2012-07-31 00:54:19] 869*2^1225384-1 is not prime. Res64: E951A6846AACD2B9 Time : 0.0 sec. user=sm5ymt [2012-07-31 00:54:22] 747*2^1225384-1 is not prime. Res64: 8C11E586F3FF7C4B Time : 0.0 sec. user=mdettweiler [2012-07-31 00:58:27] 765*2^1225383-1 is not prime. Res64: 4EA8BFC21C0BCCB8 Time : 0.0 sec. user=mdettweiler [2012-07-31 00:59:16] 635*2^1225384-1 is not prime. Res64: 61822B40C8B2346A Time : 0.0 sec. user=mdettweiler [2012-07-31 01:10:23] 947*2^1225384-1 is not prime. Res64: 3786FA61637F9AE7 Time : 0.0 sec. user=mdettweiler [2012-07-31 01:10:25] 649*2^1225385-1 is not prime. Res64: E66B6CE78073689C Time : 0.0 sec. user=mdettweiler [2012-07-31 01:19:08] 697*2^1225385-1 is not prime. Res64: 75BCE8203630F308 Time : 0.0 sec. user=mdettweiler [2012-07-31 01:19:08] 699*2^1225385-1 is not prime. Res64: CB934563CEB7F64E Time : 0.0 sec. user=mdettweiler [2012-07-31 01:22:49] 657*2^1225385-1 is not prime. Res64: FA91A95E4EE88E04 Time : 0.0 sec. user=vaughan [2012-07-31 01:26:17] 875*2^1225384-1 is not prime. Res64: 1E8912ADF6D168E9 Time : 0.0 sec. user=mdettweiler [2012-07-31 01:30:38] 727*2^1225385-1 is not prime. Res64: F26670EB26375356 Time : 0.0 sec. user=mdettweiler [2012-07-31 01:31:17] 811*2^1225385-1 is not prime. Res64: CCF9B624B8BD37EC Time : 0.0 sec. user=mdettweiler [2012-07-31 01:31:17] 871*2^1225385-1 is not prime. Res64: 6C9A17A999013DFE Time : 0.0 sec. user=mdettweiler [2012-07-31 01:39:49] 925*2^1225385-1 is not prime. Res64: 92BE585AD20F02A9 Time : 0.0 sec. user=mdettweiler [2012-07-31 01:39:50] 955*2^1225385-1 is not prime. Res64: 30FA85E414BAC136 Time : 0.0 sec. user=mdettweiler [2012-07-31 01:51:57] 803*2^1225386-1 is not prime. Res64: ACC48E6C2CE9381A Time : 0.0 sec. user=mdettweiler [2012-07-31 01:51:58] 851*2^1225386-1 is not prime. Res64: B40177D9AF8C63D0 Time : 0.0 sec. user=mdettweiler [2012-07-31 01:54:07] 627*2^1225386-1 is not prime. Res64: 2BFBDE98A0C482C7 Time : 0.0 sec. user=mdettweiler [2012-07-31 02:00:31] 873*2^1225386-1 is not prime. Res64: 739A6060202DD6B7 Time : 0.0 sec. user=mdettweiler [2012-07-31 02:00:32] 947*2^1225386-1 is not prime. Res64: 10DF591DE06A5BAC Time : 0.0 sec. user=mdettweiler [2012-07-31 02:01:52] 747*2^1225386-1 is not prime. Res64: B32229FC712CADB3 Time : 0.0 sec. user=vaughan [2012-07-31 02:03:59] 633*2^1225386-1 is not prime. Res64: 8805F8ED43F2DD16 Time : 0.0 sec. user=mdettweiler [2012-07-31 02:12:38] 601*2^1225387-1 is not prime. Res64: 9FBDDEBA2C137AFB Time : 0.0 sec. user=mdettweiler [2012-07-31 02:12:39] 633*2^1225387-1 is not prime. Res64: 68DB8C434AE668AD Time : 0.0 sec. user=mdettweiler [2012-07-31 02:21:15] 691*2^1225387-1 is not prime. Res64: 1887EC28CE21B66A Time : 0.0 sec. user=mdettweiler [2012-07-31 02:21:16] 813*2^1225387-1 is not prime. Res64: 9BB6B71978EC97B4 Time : 0.0 sec. user=mdettweiler [2012-07-31 02:25:03] 651*2^1225387-1 is not prime. Res64: CC02A0B0E9090BDA Time : 0.0 sec. user=mdettweiler [2012-07-31 02:32:49] 861*2^1225387-1 is not prime. Res64: DFD828B14E6CBEBD Time : 0.0 sec. user=mdettweiler [2012-07-31 02:33:22] 925*2^1225387-1 is not prime. Res64: 87814E0B2879D2E4 Time : 0.0 sec. user=mdettweiler [2012-07-31 02:33:24] 885*2^1225388-1 is not prime. Res64: AA7398F13D31ECB6 Time : 0.0 sec. user=vaughan [2012-07-31 02:41:30] 883*2^1225387-1 is not prime. Res64: A0E11238F0A4206C Time : 0.0 sec. user=mdettweiler [2012-07-31 02:42:01] 959*2^1225388-1 is not prime. Res64: 53A54DBE9A33824B Time : 0.0 sec. user=mdettweiler [2012-07-31 02:42:02] 999*2^1225388-1 is not prime. Res64: 409E0356A684C52C Time : 0.0 sec. user=mdettweiler [2012-07-31 02:54:07] 627*2^1225389-1 is not prime. Res64: 4ADE96CF6E38EA97 Time : 0.0 sec. user=mdettweiler [2012-07-31 02:54:08] 661*2^1225389-1 is not prime. Res64: 4F575451FFDFFC0A Time : 0.0 sec. user=mdettweiler [2012-07-31 02:55:54] 609*2^1225389-1 is not prime. Res64: CE1E3DBBBFE711D9 Time : 0.0 sec. user=mdettweiler [2012-07-31 03:02:48] 665*2^1225390-1 is not prime. Res64: 02F7FBE7AC7375A6 Time : 0.0 sec. user=mdettweiler [2012-07-31 03:02:49] 675*2^1225390-1 is not prime. Res64: 3DFC045DD43C04F9 Time : 0.0 sec. user=mdettweiler [2012-07-31 03:03:38] 621*2^1225389-1 is not prime. Res64: 49977A5DC41DF464 Time : 0.0 sec. user=mdettweiler [2012-07-31 03:14:53] 681*2^1225390-1 is not prime. Res64: 73E36F7C2BD40A91 Time : 0.0 sec. user=mdettweiler [2012-07-31 03:14:54] 741*2^1225390-1 is not prime. Res64: 46683D0F320EE071 Time : 0.0 sec. user=vaughan [2012-07-31 03:19:15] 645*2^1225390-1 is not prime. Res64: A288AF396405EAB5 Time : 0.0 sec. user=mdettweiler [2012-07-31 03:23:44] 965*2^1225390-1 is not prime. Res64: 072222E75EA437C8 Time : 0.0 sec. user=mdettweiler [2012-07-31 03:23:44] 661*2^1225391-1 is not prime. Res64: BEE006DCA9498C61 Time : 0.0 sec. user=mdettweiler [2012-07-31 03:26:54] 791*2^1225390-1 is not prime. Res64: 999A47197F7B6360 Time : 0.0 sec. user=mdettweiler [2012-07-31 03:36:05] 711*2^1225391-1 is not prime. Res64: 3018DF8FFD567C87 Time : 0.0 sec. user=mdettweiler [2012-07-31 03:36:09] 783*2^1225391-1 is not prime. Res64: 14EAFE4491D7818D Time : 0.0 sec. user=mdettweiler [2012-07-31 03:36:58] 663*2^1225391-1 is not prime. Res64: 2357675D8FCC7DD3 Time : 0.0 sec. user=mdettweiler [2012-07-31 03:44:25] 871*2^1225391-1 is not prime. Res64: B6F502B5E5E6B087 Time : 0.0 sec. user=mdettweiler [2012-07-31 03:44:26] 955*2^1225391-1 is not prime. Res64: D4B170AE5711E027 Time : 0.0 sec. user=vaughan [2012-07-31 03:56:45] 813*2^1225391-1 is not prime. Res64: 77EFC3CB9B807E95 Time : 0.0 sec. user=mdettweiler [2012-07-31 03:57:20] 979*2^1225391-1 is not prime. Res64: 852F9CC9C79898D4 Time : 0.0 sec. user=mdettweiler [2012-07-31 03:57:20] 633*2^1225392-1 is not prime. Res64: DE3B0DF7485E83A1 Time : 0.0 sec. user=mdettweiler [2012-07-31 04:00:06] 973*2^1225391-1 is not prime. Res64: 9C6B0F8C8912162B Time : 0.0 sec. user=mdettweiler [2012-07-31 04:05:07] 867*2^1225392-1 is not prime. Res64: 19F711D5D7D41354 Time : 0.0 sec. user=mdettweiler [2012-07-31 04:05:08] 887*2^1225392-1 is not prime. Res64: 48FDB849497445D5 Time : 0.0 sec. user=mdettweiler [2012-07-31 04:08:03] 737*2^1225392-1 is not prime. Res64: 409398F94C38F24B Time : 0.0 sec. user=mdettweiler [2012-07-31 04:18:02] 625*2^1225393-1 is not prime. Res64: F392DDC03C576760 Time : 0.0 sec. user=mdettweiler [2012-07-31 04:18:02] 681*2^1225393-1 is not prime. Res64: 2331556B6CB08B9E Time : 0.0 sec. user=mdettweiler [2012-07-31 04:25:56] 789*2^1225393-1 is not prime. Res64: 959520E8DA03DBBE Time : 0.0 sec. user=mdettweiler [2012-07-31 04:25:57] 805*2^1225393-1 is not prime. Res64: 79A4F77151DCEBD2 Time : 0.0 sec. user=mdettweiler [2012-07-31 04:31:12] 771*2^1225393-1 is not prime. Res64: C190FCAB273A2264 Time : 0.0 sec. user=vaughan [2012-07-31 04:34:19] 945*2^1225392-1 is not prime. Res64: C6E0EF1BD2B38672 Time : 0.0 sec. user=mdettweiler [2012-07-31 04:38:46] 635*2^1225394-1 is not prime. Res64: 811891C697B0A269 Time : 0.0 sec. user=mdettweiler [2012-07-31 04:38:47] 645*2^1225394-1 is not prime. Res64: 76E84E79CA29BD13 Time : 0.0 sec. user=mdettweiler [2012-07-31 04:39:17] 897*2^1225393-1 is not prime. Res64: 098202A7F68D4341 Time : 0.0 sec. user=mdettweiler [2012-07-31 04:46:38] 675*2^1225394-1 is not prime. Res64: 6A0C7FA69694E804 Time : 0.0 sec. user=mdettweiler [2012-07-31 04:46:38] 677*2^1225394-1 is not prime. Res64: 0B786D6EC07C3740 Time : 0.0 sec. user=mdettweiler [2012-07-31 04:59:28] 953*2^1225394-1 is not prime. Res64: 1A5B83B8627D16EA Time : 0.0 sec. user=mdettweiler [2012-07-31 04:59:29] 625*2^1225395-1 is not prime. Res64: 1C0309A086464546 Time : 0.0 sec. user=mdettweiler [2012-07-31 05:02:22] 717*2^1225394-1 is not prime. Res64: D41D706CD99A36F2 Time : 0.0 sec. user=sm5ymt [2012-07-31 05:04:07] 909*2^1225395-1 is not prime. Res64: 1C9C4D2EEEBCC2A1 Time : 0.0 sec. user=mdettweiler [2012-07-31 05:07:21] 735*2^1225395-1 is not prime. Res64: 11BDC13B7AE395C0 Time : 0.0 sec. user=mdettweiler [2012-07-31 05:07:24] 789*2^1225395-1 is not prime. Res64: DF8BC388D6A524E4 Time : 0.0 sec. user=mdettweiler [2012-07-31 05:10:29] 643*2^1225395-1 is not prime. Res64: D7801B99E56FFF2E Time : 0.0 sec. user=vaughan [2012-07-31 05:11:49] 935*2^1225394-1 is not prime. Res64: 681D68001167E1F8 Time : 0.0 sec. user=mdettweiler [2012-07-31 05:20:10] 951*2^1225395-1 is not prime. Res64: 17B13E9A380F251E Time : 0.0 sec. user=mdettweiler [2012-07-31 05:20:11] 963*2^1225395-1 is not prime. Res64: A9C32A31D5FACCD5 Time : 0.0 sec. user=mdettweiler [2012-07-31 05:28:08] 707*2^1225396-1 is not prime. Res64: BAEC0B28E1265324 Time : 0.0 sec. user=mdettweiler [2012-07-31 05:28:08] 759*2^1225396-1 is not prime. Res64: 56DD74E4C43118B9 Time : 0.0 sec. user=sm5ymt [2012-07-31 05:28:57] 903*2^1225396-1 is not prime. Res64: 7C651E6FCA57F145 Time : 0.0 sec. user=sm5ymt [2012-07-31 05:29:57] 987*2^1225396-1 is not prime. Res64: C9E3DEC994DBD27E Time : 0.0 sec. user=sm5ymt [2012-07-31 05:30:00] 923*2^1225396-1 is not prime. Res64: 29956AAF8DAABEC6 Time : 0.0 sec. user=sm5ymt [2012-07-31 05:30:53] 685*2^1225397-1 is not prime. Res64: 42864264D525D862 Time : 0.0 sec. user=mdettweiler [2012-07-31 05:33:45] 991*2^1225395-1 is not prime. Res64: 7B9F5988E44B5496 Time : 0.0 sec. user=gd_barnes [2012-07-31 05:36:58] 603*2^1225396-1 is not prime. Res64: D9BE7DBB1F27E955 Time : 0.0 sec. user=mdettweiler [2012-07-31 05:40:56] 861*2^1225397-1 is not prime. Res64: D34BE507B4651DFE Time : 0.0 sec. user=mdettweiler [2012-07-31 05:40:56] 865*2^1225397-1 is not prime. Res64: 6E874375CCFA5BB2 Time : 0.0 sec. user=mdettweiler [2012-07-31 05:41:55] 773*2^1225396-1 is not prime. Res64: E24A95102F4A3E4A Time : 0.0 sec. user=gd_barnes [2012-07-31 05:43:24] 627*2^1225397-1 is not prime. Res64: A457A7BE03F1F9F6 Time : 0.0 sec. user=mdettweiler [2012-07-31 05:48:51] 925*2^1225397-1 is not prime. Res64: 1A12FBC70238ABAE Time : 0.0 sec. user=mdettweiler [2012-07-31 05:48:52] 939*2^1225397-1 is not prime. Res64: F69D9A08427E27AF Time : 0.0 sec. user=vaughan [2012-07-31 05:49:22] 785*2^1225396-1 is not prime. Res64: 645D6C9025E2EE74 Time : 0.0 sec. user=mdettweiler [2012-07-31 06:01:39] 705*2^1225398-1 is not prime. Res64: 1F93F63151E9757B Time : 0.0 sec. user=mdettweiler [2012-07-31 06:01:40] 707*2^1225398-1 is not prime. Res64: F5CFB489D52D6037 Time : 0.0 sec. user=mdettweiler [2012-07-31 06:04:59] 677*2^1225398-1 is not prime. Res64: 2D872DDC3C92EABF Time : 0.0 sec. user=mdettweiler [2012-07-31 06:09:34] 725*2^1225398-1 is not prime. Res64: ACE01F9B694768CC Time : 0.0 sec. user=mdettweiler [2012-07-31 06:09:36] 777*2^1225398-1 is not prime. Res64: 833AC0FBEE7B9525 Time : 0.0 sec. user=mdettweiler [2012-07-31 06:13:04] 713*2^1225398-1 is not prime. Res64: 7013B094701A6F19 Time : 0.0 sec. user=mdettweiler [2012-07-31 06:22:35] 795*2^1225398-1 is not prime. Res64: 3CDD7F12CC428B10 Time : 0.0 sec. user=mdettweiler [2012-07-31 06:22:36] 797*2^1225398-1 is not prime. Res64: C73EF9BD0359F788 Time : 0.0 sec. user=vaughan [2012-07-31 06:26:53] 791*2^1225398-1 is not prime. Res64: B2B6757734D8A9BC Time : 0.0 sec. user=mdettweiler [2012-07-31 06:30:19] 619*2^1225399-1 is not prime. Res64: 71E504B0E2875C5B Time : 0.0 sec. user=mdettweiler [2012-07-31 06:30:20] 675*2^1225399-1 is not prime. Res64: 5A0656C009E26D1B Time : 0.0 sec. user=sm5ymt [2012-07-31 06:35:19] 765*2^1225399-1 is not prime. Res64: 628A0731A669EF5C Time : 0.0 sec. user=mdettweiler [2012-07-31 06:35:59] 971*2^1225398-1 is not prime. Res64: 84B68B9450F0F35E Time : 0.0 sec. user=sm5ymt [2012-07-31 06:38:25] 775*2^1225399-1 is not prime. Res64: 95A42DE9C7229DE1 Time : 0.0 sec. user=mdettweiler [2012-07-31 06:43:21] 729*2^1225399-1 is not prime. Res64: F5FAB14EA100CB4F Time : 0.0 sec. user=mdettweiler [2012-07-31 06:43:22] 759*2^1225399-1 is not prime. Res64: 05FDA7426425B575 Time : 0.0 sec. user=mdettweiler [2012-07-31 06:44:00] 681*2^1225399-1 is not prime. Res64: C44C404DCA592D13 Time : 0.0 sec. user=mdettweiler [2012-07-31 06:51:02] 895*2^1225399-1 is not prime. Res64: 3AAC69BFC0B8F455 Time : 0.0 sec. user=mdettweiler [2012-07-31 06:51:02] 913*2^1225399-1 is not prime. Res64: 11B3F5D24EEB35F0 Time : 0.0 sec. user=mdettweiler [2012-07-31 07:04:03] 633*2^1225400-1 is not prime. Res64: C1C341E0791F85CE Time : 0.0 sec. user=mdettweiler [2012-07-31 07:04:04] 669*2^1225400-1 is not prime. Res64: 24D07745A49F3E00 Time : 0.0 sec. user=vaughan [2012-07-31 07:04:25] 855*2^1225399-1 is not prime. Res64: 1F1B609A0CFA5F05 Time : 0.0 sec. user=mdettweiler [2012-07-31 07:06:55] 961*2^1225399-1 is not prime. Res64: 61A37998989DBC31 Time : 0.0 sec. user=mdettweiler [2012-07-31 07:11:42] 825*2^1225400-1 is not prime. Res64: 7754156F5CCCE353 Time : 0.0 sec. user=mdettweiler [2012-07-31 07:11:43] 843*2^1225400-1 is not prime. Res64: 443BBCF5DB0643DB Time : 0.0 sec. user=mdettweiler [2012-07-31 07:14:54] 735*2^1225400-1 is not prime. Res64: 510E516AD177DF07 Time : 0.0 sec. user=mdettweiler [2012-07-31 07:25:08] 857*2^1225400-1 is not prime. Res64: 3897A989F06FA60F Time : 0.0 sec. user=mdettweiler [2012-07-31 07:25:09] 945*2^1225400-1 is not prime. Res64: 6EB06E4A441788B9 Time : 0.0 sec. user=mdettweiler [2012-07-31 07:32:29] 607*2^1225401-1 is not prime. Res64: FC136C244F5247EE Time : 0.0 sec. user=mdettweiler [2012-07-31 07:32:29] 615*2^1225401-1 is not prime. Res64: A28DCC01CE7AE950 Time : 0.0 sec. user=mdettweiler [2012-07-31 07:37:53] 995*2^1225400-1 is not prime. Res64: 265A6FC5DC03CD04 Time : 0.0 sec. user=vaughan [2012-07-31 07:41:57] 959*2^1225400-1 is not prime. Res64: E3504ACF64A3697E Time : 0.0 sec. user=mdettweiler [2012-07-31 07:45:55] 861*2^1225401-1 is not prime. Res64: DB4C5FE3CE39F095 Time : 0.0 sec. user=mdettweiler [2012-07-31 07:45:56] 777*2^1225401-1 is not prime. Res64: 7CF40EEF011D753F Time : 0.0 sec. user=mdettweiler [2012-07-31 07:45:57] 937*2^1225401-1 is not prime. Res64: A7CD1CA1B67A52FB Time : 0.0 sec. user=mdettweiler [2012-07-31 07:53:10] 997*2^1225401-1 is not prime. Res64: 5C83321D2E66CE8F Time : 0.0 sec. user=mdettweiler [2012-07-31 07:53:11] 665*2^1225402-1 is not prime. Res64: 24DA61E9DE929E68 Time : 0.0 sec. user=sm5ymt [2012-07-31 08:01:43] 827*2^1225402-1 is not prime. Res64: 1A458C2087C15BE3 Time : 0.0 sec. user=mdettweiler [2012-07-31 08:06:43] 685*2^1225403-1 is not prime. Res64: 3D3FB7BE943644EC Time : 0.0 sec. user=mdettweiler [2012-07-31 08:06:45] 715*2^1225403-1 is not prime. Res64: 65FB08365AA63F2A Time : 0.0 sec. user=mdettweiler [2012-07-31 08:09:01] 737*2^1225402-1 is not prime. Res64: 10CB4BC58E6C504B Time : 0.0 sec. user=mdettweiler [2012-07-31 08:13:52] 741*2^1225403-1 is not prime. Res64: 17AB50DCD0E402AA Time : 0.0 sec. user=mdettweiler [2012-07-31 08:13:52] 753*2^1225403-1 is not prime. Res64: C463C8D6BB1F24F5 Time : 0.0 sec. user=mdettweiler [2012-07-31 08:17:06] 945*2^1225402-1 is not prime. Res64: B0DA3882541B060E Time : 0.0 sec. user=vaughan [2012-07-31 08:19:27] 803*2^1225402-1 is not prime. Res64: 7E89688B8D5510BD Time : 0.0 sec. user=sm5ymt [2012-07-31 08:23:11] 861*2^1225403-1 is not prime. Res64: 7E4D9A0448BB1042 Time : 0.0 sec. user=mdettweiler [2012-07-31 08:27:33] 759*2^1225403-1 is not prime. Res64: 058EC5317C877521 Time : 0.0 sec. user=mdettweiler [2012-07-31 08:27:34] 801*2^1225403-1 is not prime. Res64: 59980A605D968607 Time : 0.0 sec. user=mdettweiler [2012-07-31 08:34:35] 759*2^1225404-1 is not prime. Res64: 1AAA80127212B73B Time : 0.0 sec. user=mdettweiler [2012-07-31 08:34:36] 863*2^1225404-1 is not prime. Res64: FA844C31E9E5B27D Time : 0.0 sec. user=mdettweiler [2012-07-31 08:40:08] 725*2^1225404-1 is not prime. Res64: 7ACD200F2E55EED1 Time : 0.0 sec. user=gd_barnes [2012-07-31 08:41:32] 909*2^1225404-1 is not prime. Res64: 958EDAC9065514F2 Time : 0.0 sec. user=gd_barnes [2012-07-31 08:45:18] 905*2^1225404-1 is not prime. Res64: 33820BAB69731D6D Time : 0.0 sec. user=mdettweiler [2012-07-31 08:48:11] 947*2^1225404-1 is not prime. Res64: 116189295A03F2A7 Time : 0.0 sec. user=mdettweiler [2012-07-31 08:48:17] 625*2^1225405-1 is not prime. Res64: E0E3A25D08854D89 Time : 0.0 sec. user=mdettweiler [2012-07-31 08:48:18] 645*2^1225405-1 is not prime. Res64: 641A9022C31A5279 Time : 0.0 sec. user=sm5ymt [2012-07-31 08:48:42] 667*2^1225405-1 is not prime. Res64: 858F58DA74FBC76C Time : 0.0 sec. user=mdettweiler [2012-07-31 08:55:17] 679*2^1225405-1 is not prime. Res64: 7C46ABC2047C5FF0 Time : 0.0 sec. user=mdettweiler [2012-07-31 08:55:18] 691*2^1225405-1 is not prime. Res64: D30C9F2538A400EE Time : 0.0 sec. user=vaughan [2012-07-31 08:56:58] 959*2^1225404-1 is not prime. Res64: 9A5E7FB3E302375C Time : 0.0 sec. user=sm5ymt [2012-07-31 08:58:54] 741*2^1225405-1 is not prime. Res64: C917D7525AE699ED Time : 0.0 sec. user=mdettweiler [2012-07-31 09:08:59] 871*2^1225405-1 is not prime. Res64: A50DF2EEFEB9FEEA Time : 0.0 sec. user=mdettweiler [2012-07-31 09:09:01] 919*2^1225405-1 is not prime. Res64: DF77C5E0A095F667 Time : 0.0 sec. user=mdettweiler [2012-07-31 09:11:07] 717*2^1225405-1 is not prime. Res64: F7CD6BC6DC856C48 Time : 0.0 sec. user=mdettweiler [2012-07-31 09:15:58] 617*2^1225406-1 is not prime. Res64: CA81774E467CFD0B Time : 0.0 sec. user=mdettweiler [2012-07-31 09:15:59] 671*2^1225406-1 is not prime. Res64: E8045874B14EC648 Time : 0.0 sec. user=mdettweiler [2012-07-31 09:19:11] 775*2^1225405-1 is not prime. Res64: 6DA8B4252E622EF7 Time : 0.0 sec. user=mdettweiler [2012-07-31 09:29:49] 713*2^1225406-1 is not prime. Res64: D817F9F3434CB1AE Time : 0.0 sec. user=mdettweiler [2012-07-31 09:29:50] 843*2^1225406-1 is not prime. Res64: A9F0A436FC66E955 Time : 0.0 sec. user=sm5ymt [2012-07-31 09:31:07] 805*2^1225407-1 is not prime. Res64: C2A537FA36309C6B Time : 0.0 sec. user=sm5ymt [2012-07-31 09:31:15] 1001*2^1225406-1 is not prime. Res64: 07E8938AAAD50E22 Time : 0.0 sec. user=vaughan [2012-07-31 09:34:29] 683*2^1225406-1 is not prime. Res64: 77371775258D3AFC Time : 0.0 sec. user=mdettweiler [2012-07-31 09:36:41] 871*2^1225407-1 is not prime. Res64: E35E41285A1132B2 Time : 0.0 sec. user=mdettweiler [2012-07-31 09:36:41] 873*2^1225407-1 is not prime. Res64: D3F23AA9DEAE48E0 Time : 0.0 sec. user=mdettweiler [2012-07-31 09:42:14] 945*2^1225406-1 is not prime. Res64: F53C65DC33654F14 Time : 0.0 sec. user=gd_barnes [2012-07-31 09:46:11] 735*2^1225407-1 is not prime. Res64: F7D02C0B1D7C2B53 Time : 0.0 sec. user=gd_barnes [2012-07-31 09:46:53] 861*2^1225407-1 is not prime. Res64: BEA335B2523C1137 Time : 0.0 sec. user=gd_barnes [2012-07-31 09:48:22] 957*2^1225406-1 is not prime. Res64: E67400B6F2373F40 Time : 0.0 sec. user=mdettweiler [2012-07-31 09:50:25] 949*2^1225407-1 is not prime. Res64: 8EA514059A6CD755 Time : 0.0 sec. user=mdettweiler [2012-07-31 09:50:44] 973*2^1225407-1 is not prime. Res64: F8D6E5BEDC415416 Time : 0.0 sec. user=mdettweiler [2012-07-31 09:50:44] 707*2^1225408-1 is not prime. Res64: CA041641B7E689CA Time : 0.0 sec. user=mdettweiler [2012-07-31 09:57:22] 915*2^1225408-1 is not prime. Res64: 7662A8E86338815D Time : 0.0 sec. user=mdettweiler [2012-07-31 09:57:22] 729*2^1225409-1 is not prime. Res64: 07809DA4D02E250F Time : 0.0 sec. user=mdettweiler [2012-07-31 10:11:26] 907*2^1225409-1 is not prime. Res64: E43E851E12B5654C Time : 0.0 sec. user=mdettweiler [2012-07-31 10:11:27] 909*2^1225409-1 is not prime. Res64: 14E273E6D7C7F53B Time : 0.0 sec. user=vaughan [2012-07-31 10:12:00] 897*2^1225408-1 is not prime. Res64: 47365B1ED82B16D3 Time : 0.0 sec. user=mdettweiler [2012-07-31 10:13:50] 741*2^1225409-1 is not prime. Res64: F39F225D631DDB62 Time : 0.0 sec. user=mdettweiler [2012-07-31 10:18:05] 951*2^1225409-1 is not prime. Res64: 6CFF33AD36CBAE37 Time : 0.0 sec. user=mdettweiler [2012-07-31 10:18:06] 957*2^1225409-1 is not prime. Res64: 1547036C499B091D Time : 0.0 sec. user=mdettweiler [2012-07-31 10:22:06] 795*2^1225409-1 is not prime. Res64: 3F59A1ADCCFC42F8 Time : 0.0 sec. user=gd_barnes [2012-07-31 10:30:34] 985*2^1225409-1 is not prime. Res64: F61004CD2F57DFA1 Time : 0.0 sec. user=sm5ymt [2012-07-31 10:30:39] 933*2^1225410-1 is not prime. Res64: FECDAA62567FDADC Time : 0.0 sec. user=mdettweiler [2012-07-31 10:32:11] 635*2^1225410-1 is not prime. Res64: 32FF87A73FFDC6EA Time : 0.0 sec. user=mdettweiler [2012-07-31 10:32:11] 791*2^1225410-1 is not prime. Res64: EADE8BA324AE80D4 Time : 0.0 sec. user=mdettweiler [2012-07-31 10:38:48] 619*2^1225411-1 is not prime. Res64: 32AF9E62F0AFFB1A Time : 0.0 sec. user=mdettweiler [2012-07-31 10:38:49] 681*2^1225411-1 is not prime. Res64: F2B3A79C1FC40697 Time : 0.0 sec. user=mdettweiler [2012-07-31 10:45:56] 921*2^1225410-1 is not prime. Res64: 4637178C44EC919A Time : 0.0 sec. user=vaughan [2012-07-31 10:49:32] 843*2^1225410-1 is not prime. Res64: E39F7B1EF5A14236 Time : 0.0 sec. user=mdettweiler [2012-07-31 10:52:56] 751*2^1225411-1 is not prime. Res64: 5A0B11B541C71134 Time : 0.0 sec. user=mdettweiler [2012-07-31 10:52:56] 873*2^1225411-1 is not prime. Res64: C6E6FB8C99CD076F Time : 0.0 sec. user=mdettweiler [2012-07-31 10:54:27] 735*2^1225411-1 is not prime. Res64: 1EAB7B76C60E324E Time : 0.0 sec. user=mdettweiler [2012-07-31 10:59:31] 993*2^1225411-1 is not prime. Res64: D4CCC23617FAD0D1 Time : 0.0 sec. user=mdettweiler [2012-07-31 10:59:32] 605*2^1225412-1 is not prime. Res64: CB039A8E08A0FDF4 Time : 0.0 sec. user=mdettweiler [2012-07-31 11:13:39] 797*2^1225412-1 is not prime. Res64: FE800B68FA9AA302 Time : 0.0 sec. user=mdettweiler [2012-07-31 11:13:44] 833*2^1225412-1 is not prime. Res64: DEDCD649F568D078 Time : 0.0 sec. user=mdettweiler [2012-07-31 11:17:54] 609*2^1225412-1 is not prime. Res64: B63D4B40AA4D9B05 Time : 0.0 sec. user=mdettweiler [2012-07-31 11:20:20] 885*2^1225412-1 is not prime. Res64: B64DED54F9257CCD Time : 0.0 sec. user=mdettweiler [2012-07-31 11:20:20] 903*2^1225412-1 is not prime. Res64: C6321D5AA36615C8 Time : 0.0 sec. user=mdettweiler [2012-07-31 11:26:27] 879*2^1225412-1 is not prime. Res64: E109BCC802423C11 Time : 0.0 sec. user=vaughan [2012-07-31 11:27:04] 635*2^1225412-1 is not prime. Res64: 99940A7B8FF2B9B3 Time : 0.0 sec. user=sm5ymt [2012-07-31 11:31:56] 651*2^1225413-1 is not prime. Res64: 313BA0CDD331DBA8 Time : 0.0 sec. user=sm5ymt [2012-07-31 11:32:38] 789*2^1225413-1 is not prime. Res64: 86FE5FB1672B8183 Time : 0.0 sec. user=mdettweiler [2012-07-31 11:34:54] 959*2^1225412-1 is not prime. Res64: 1B89DD722D788BEA Time : 0.0 sec. user=mdettweiler [2012-07-31 11:34:54] 639*2^1225413-1 is not prime. Res64: 540416F266FD0972 Time : 0.0 sec. user=mdettweiler [2012-07-31 11:41:07] 707*2^1225414-1 is not prime. Res64: BE139DC351D7132E Time : 0.0 sec. user=mdettweiler [2012-07-31 11:41:08] 717*2^1225414-1 is not prime. Res64: 83D6C8CD77152127 Time : 0.0 sec. user=gd_barnes [2012-07-31 11:46:48] 685*2^1225413-1 is not prime. Res64: 0F09911758BFAC90 Time : 0.0 sec. user=gd_barnes [2012-07-31 11:47:37] 871*2^1225413-1 is not prime. Res64: 072175C1E5BAACCC Time : 0.0 sec. user=mdettweiler [2012-07-31 11:50:17] 687*2^1225414-1 is not prime. Res64: 8AA887BC0BD2524F Time : 0.0 sec. user=mdettweiler [2012-07-31 11:55:33] 897*2^1225414-1 is not prime. Res64: 22C9927C34117F85 Time : 0.0 sec. user=mdettweiler [2012-07-31 11:55:33] 941*2^1225414-1 is not prime. Res64: E1C94E2D55CA717A Time : 0.0 sec. user=mdettweiler [2012-07-31 11:59:09] 885*2^1225414-1 is not prime. Res64: 3E31D643F83C22E0 Time : 0.0 sec. user=mdettweiler [2012-07-31 12:01:46] 951*2^1225414-1 is not prime. Res64: 9763F24B2E80BEA4 Time : 0.0 sec. user=mdettweiler [2012-07-31 12:01:46] 661*2^1225415-1 is not prime. Res64: AD6B1DAD30EB6DAB Time : 0.0 sec. user=vaughan [2012-07-31 12:04:35] 887*2^1225414-1 is not prime. Res64: 96ABFAA739EADE09 Time : 0.0 sec. user=mdettweiler [2012-07-31 12:16:09] 759*2^1225415-1 is not prime. Res64: BA09987F689706C2 Time : 0.0 sec. user=mdettweiler [2012-07-31 12:16:10] 775*2^1225415-1 is not prime. Res64: 54170E786431449C Time : 0.0 sec. user=mdettweiler [2012-07-31 12:22:24] 861*2^1225415-1 is not prime. Res64: 0991FF2DBD114376 Time : 0.0 sec. user=mdettweiler [2012-07-31 12:22:25] 915*2^1225415-1 is not prime. Res64: 06367703F6143DC2 Time : 0.0 sec. user=mdettweiler [2012-07-31 12:22:51] 705*2^1225415-1 is not prime. Res64: C8F4A6BFCFCAA628 Time : 0.0 sec. user=mdettweiler [2012-07-31 12:31:59] 799*2^1225415-1 is not prime. Res64: 6C29F71248568D54 Time : 0.0 sec. user=mdettweiler [2012-07-31 12:37:04] 609*2^1225416-1 is not prime. Res64: 2DA05EA1A6B1940D Time : 0.0 sec. user=mdettweiler [2012-07-31 12:37:04] 693*2^1225416-1 is not prime. Res64: B19A232CE3551D06 Time : 0.0 sec. user=vaughan [2012-07-31 12:42:22] 963*2^1225415-1 is not prime. Res64: 0EBA4725388C8673 Time : 0.0 sec. user=mdettweiler [2012-07-31 12:43:05] 725*2^1225416-1 is not prime. Res64: 68310F3DDF6E2370 Time : 0.0 sec. user=mdettweiler [2012-07-31 12:43:06] 809*2^1225416-1 is not prime. Res64: 4A72D9084CFF5E0C Time : 0.0 sec. user=mdettweiler [2012-07-31 12:56:03] 615*2^1225417-1 is not prime. Res64: 31C58C22ADC4AFF5 Time : 0.0 sec. user=mdettweiler [2012-07-31 12:57:40] 741*2^1225417-1 is not prime. Res64: 030016E0989FC1BE Time : 0.0 sec. user=mdettweiler [2012-07-31 12:57:41] 765*2^1225417-1 is not prime. Res64: 6768BA1F14C432EA Time : 0.0 sec. user=mdettweiler [2012-07-31 13:03:45] 867*2^1225417-1 is not prime. Res64: 88C7F7F055C825D1 Time : 0.0 sec. user=mdettweiler [2012-07-31 13:03:47] 901*2^1225417-1 is not prime. Res64: 3C38702ED2C4F866 Time : 0.0 sec. user=mdettweiler [2012-07-31 13:05:18] 639*2^1225417-1 is not prime. Res64: 94FEBD5B81433CCD Time : 0.0 sec. user=mdettweiler [2012-07-31 13:18:20] 771*2^1225418-1 is not prime. Res64: F48B5E97C862B9F4 Time : 0.0 sec. user=mdettweiler [2012-07-31 13:18:21] 773*2^1225418-1 is not prime. Res64: 07D9EC9D529D17E5 Time : 0.0 sec. user=vaughan [2012-07-31 13:19:53] 841*2^1225417-1 is not prime. Res64: 1E247056180E39BA Time : 0.0 sec. user=sm5ymt [2012-07-31 13:20:13] 945*2^1225418-1 is not prime. Res64: 7381D708E3EF2852 Time : 0.0 sec. user=mdettweiler [2012-07-31 13:24:30] 861*2^1225418-1 is not prime. Res64: 1C5052F35D43864A Time : 0.0 sec. user=mdettweiler [2012-07-31 13:24:30] 885*2^1225418-1 is not prime. Res64: B3FA813C9C356B82 Time : 0.0 sec. user=mdettweiler [2012-07-31 13:29:14] 623*2^1225418-1 is not prime. Res64: 3C2D9D212E0CDE73 Time : 0.0 sec. user=mdettweiler [2012-07-31 13:38:36] 951*2^1225418-1 is not prime. Res64: 96AF4BC9A5E636E6 Time : 0.0 sec. user=mdettweiler [2012-07-31 13:39:09] 957*2^1225418-1 is not prime. Res64: 1F8DFD8AAF04548C Time : 0.0 sec. user=mdettweiler [2012-07-31 13:39:09] 709*2^1225419-1 is not prime. Res64: 3514043004F61DBF Time : 0.0 sec. user=mdettweiler [2012-07-31 13:45:19] 853*2^1225419-1 is not prime. Res64: 9B8FB6BA7F55A814 Time : 0.0 sec. user=mdettweiler [2012-07-31 13:45:19] 969*2^1225419-1 is not prime. Res64: F351957631B3A99C Time : 0.0 sec. user=vaughan [2012-07-31 13:57:22] 823*2^1225419-1 is not prime. Res64: 8B088487754F1FED Time : 0.0 sec. user=mdettweiler [2012-07-31 13:59:57] 785*2^1225420-1 is not prime. Res64: 95E1D2B9ECEC91A5 Time : 0.0 sec. user=mdettweiler [2012-07-31 13:59:57] 619*2^1225421-1 is not prime. Res64: D6830CF286A5F7B9 Time : 0.0 sec. user=mdettweiler [2012-07-31 14:02:44] 615*2^1225420-1 is not prime. Res64: 893824F0FCA8C871 Time : 0.0 sec. user=mdettweiler [2012-07-31 14:06:07] 799*2^1225421-1 is not prime. Res64: 1C65ABA67906985F Time : 0.0 sec. user=mdettweiler [2012-07-31 14:06:09] 811*2^1225421-1 is not prime. Res64: E45C4DA303FCFF58 Time : 0.0 sec. user=mdettweiler [2012-07-31 14:12:04] 777*2^1225420-1 is not prime. Res64: 2A53F77666E027C6 Time : 0.0 sec. user=mdettweiler [2012-07-31 14:20:48] 955*2^1225421-1 is not prime. Res64: 8C16EE4DF5B68FCA Time : 0.0 sec. user=mdettweiler [2012-07-31 14:20:48] 967*2^1225421-1 is not prime. Res64: 34101E7648302351 Time : 0.0 sec. user=mdettweiler [2012-07-31 14:27:06] 767*2^1225422-1 is not prime. Res64: FE4377F87ECA1CE0 Time : 0.0 sec. user=mdettweiler [2012-07-31 14:27:06] 791*2^1225422-1 is not prime. Res64: 54A64BBBC24C57B7 Time : 0.0 sec. user=sm5ymt [2012-07-31 14:31:36] 1001*2^1225422-1 is not prime. Res64: D14043AA271F1168 Time : 0.0 sec. user=vaughan [2012-07-31 14:34:51] 927*2^1225421-1 is not prime. Res64: 951BA7BDE06A4485 Time : 0.0 sec. user=mdettweiler [2012-07-31 14:36:57] 611*2^1225422-1 is not prime. Res64: 89D785695A34E818 Time : 0.0 sec. user=mdettweiler [2012-07-31 14:41:55] 625*2^1225423-1 is not prime. Res64: C8A364659675C2A0 Time : 0.0 sec. user=mdettweiler [2012-07-31 14:41:55] 639*2^1225423-1 is not prime. Res64: 92B3CA1A27F4CDF2 Time : 0.0 sec. user=mdettweiler [2012-07-31 14:46:40] 807*2^1225422-1 is not prime. Res64: 5B15FC1D68D4F678 Time : 0.0 sec. user=mdettweiler [2012-07-31 14:48:12] 723*2^1225423-1 is not prime. Res64: 901ABF66A2FFD7AA Time : 0.0 sec. user=mdettweiler [2012-07-31 14:48:12] 853*2^1225423-1 is not prime. Res64: 42296ECA10DDA4A0 Time : 0.0 sec. user=mdettweiler [2012-07-31 15:03:01] 677*2^1225424-1 is not prime. Res64: FAD20E91EEDCCCFF Time : 0.0 sec. user=mdettweiler [2012-07-31 15:03:01] 683*2^1225424-1 is not prime. Res64: DF72FA6F77AB362F Time : 0.0 sec. user=mdettweiler [2012-07-31 15:09:14] 833*2^1225424-1 is not prime. Res64: F09019E127AF5C64 Time : 0.0 sec. user=mdettweiler [2012-07-31 15:09:16] 909*2^1225424-1 is not prime. Res64: 752D6709D557F16C Time : 0.0 sec. user=mdettweiler [2012-07-31 15:11:12] 961*2^1225423-1 is not prime. Res64: C6E47BCB59DD56CA Time : 0.0 sec. user=vaughan [2012-07-31 15:12:22] 855*2^1225423-1 is not prime. Res64: 758FBBB69F34A9AE Time : 0.0 sec. user=mdettweiler [2012-07-31 15:20:30] 789*2^1225424-1 is not prime. Res64: 086643B14B4CD310 Time : 0.0 sec. user=mdettweiler [2012-07-31 15:24:22] 927*2^1225424-1 is not prime. Res64: 3CB683DA0C0AC116 Time : 0.0 sec. user=mdettweiler [2012-07-31 15:24:23] 983*2^1225424-1 is not prime. Res64: 6B6B3589B0D0746C Time : 0.0 sec. user=mdettweiler [2012-07-31 15:30:26] 607*2^1225425-1 is not prime. Res64: EFF1275FBA8E5EAB Time : 0.0 sec. user=gd_barnes [2012-07-31 15:43:13] 885*2^1225425-1 is not prime. Res64: CF37EE82A8B5E3FD Time : 0.0 sec. user=mdettweiler [2012-07-31 15:45:13] 699*2^1225425-1 is not prime. Res64: 7DE260A1C212C8F8 Time : 0.0 sec. user=mdettweiler [2012-07-31 15:45:28] 735*2^1225426-1 is not prime. Res64: 4330D0E6ADB58038 Time : 0.0 sec. user=mdettweiler [2012-07-31 15:45:28] 737*2^1225426-1 is not prime. Res64: 77540B45A14BC5A5 Time : 0.0 sec. user=vaughan [2012-07-31 15:49:53] 709*2^1225425-1 is not prime. Res64: ABA12468652C8FC2 Time : 0.0 sec. user=mdettweiler [2012-07-31 15:55:07] 991*2^1225425-1 is not prime. Res64: BC9FCDFB80F367D2 Time : 0.0 sec. user=mdettweiler [2012-07-31 15:59:00] 627*2^1225425-1 is not prime. Res64: 80B506E1D7447E7D Time : 0.0 sec. user=mdettweiler [2012-07-31 16:06:32] 765*2^1225426-1 is not prime. Res64: 19647DED77159C63 Time : 0.0 sec. user=mdettweiler [2012-07-31 16:06:33] 843*2^1225426-1 is not prime. Res64: 77BBF71EC59A40BF Time : 0.0 sec. user=mdettweiler [2012-07-31 16:20:03] 1001*2^1225426-1 is not prime. Res64: DDD27E334BE990E6 Time : 0.0 sec. user=mdettweiler [2012-07-31 16:20:03] 699*2^1225427-1 is not prime. Res64: 232477C100DA3AE1 Time : 0.0 sec. user=mdettweiler [2012-07-31 16:21:05] 741*2^1225426-1 is not prime. Res64: B0A6EA215B621D69 Time : 0.0 sec. user=vaughan [2012-07-31 16:27:28] 855*2^1225426-1 is not prime. Res64: 3E3BD3CE456A005B Time : 0.0 sec. user=mdettweiler [2012-07-31 16:27:34] 705*2^1225427-1 is not prime. Res64: DFF860DFB099F601 Time : 0.0 sec. user=mdettweiler [2012-07-31 16:27:34] 735*2^1225427-1 is not prime. Res64: 366855F85152B098 Time : 0.0 sec. user=sm5ymt [2012-07-31 16:29:59] 867*2^1225113-1 is not prime. Res64: 04F37E65E96611E8 Time : 0.0 sec. user=mdettweiler [2012-07-31 16:32:06] 947*2^1225426-1 is not prime. Res64: 1381CFEC5DBD3275 Time : 0.0 sec. user=mdettweiler [2012-07-31 16:41:08] 647*2^1225428-1 is not prime. Res64: E12F626EDF9B8021 Time : 0.0 sec. user=mdettweiler [2012-07-31 16:41:08] 663*2^1225428-1 is not prime. Res64: 8E4114E1FB2C5443 Time : 0.0 sec. user=gd_barnes [2012-07-31 16:42:37] 909*2^1225427-1 is not prime. Res64: 2EBE577477770BD8 Time : 0.0 sec. user=mdettweiler [2012-07-31 16:48:34] 867*2^1225428-1 is not prime. Res64: F5DC9E3DD79A7454 Time : 0.0 sec. user=mdettweiler [2012-07-31 16:48:34] 977*2^1225428-1 is not prime. Res64: 71BC9E7BE42B7F0B Time : 0.0 sec. user=mdettweiler [2012-07-31 16:55:46] 789*2^1225428-1 is not prime. Res64: B27C23F2F4D1E18C Time : 0.0 sec. user=mdettweiler [2012-07-31 17:02:07] 747*2^1225429-1 is not prime. Res64: C0C1481765E04174 Time : 0.0 sec. user=mdettweiler [2012-07-31 17:02:07] 757*2^1225429-1 is not prime. Res64: 58B9DC4AA47CCB4E Time : 0.0 sec. user=vaughan [2012-07-31 17:04:58] 797*2^1225428-1 is not prime. Res64: 8C6006374867AAC6 Time : 0.0 sec. user=mdettweiler [2012-07-31 17:05:49] 745*2^1225429-1 is not prime. Res64: 39082C412B79BE82 Time : 0.0 sec. user=mdettweiler [2012-07-31 17:09:37] 765*2^1225429-1 is not prime. Res64: B362574EA74AD49E Time : 0.0 sec. user=mdettweiler [2012-07-31 17:09:37] 825*2^1225429-1 is not prime. Res64: 221419FDC9A9D55A Time : 0.0 sec. user=sm5ymt [2012-07-31 17:22:01] 795*2^1225430-1 is not prime. Res64: 5711284EFF2FA435 Time : 0.0 sec. user=mdettweiler [2012-07-31 17:23:26] 835*2^1225429-1 is not prime. Res64: 3B5D232815073C38 Time : 0.0 sec. user=mdettweiler [2012-07-31 17:23:27] 657*2^1225430-1 is not prime. Res64: 46F188DBB9DF9B0C Time : 0.0 sec. user=mdettweiler [2012-07-31 17:30:29] 857*2^1225430-1 is not prime. Res64: 5A77BA2AB4226AA1 Time : 0.0 sec. user=mdettweiler [2012-07-31 17:30:30] 861*2^1225430-1 is not prime. Res64: D368FA01B5F3B860 Time : 0.0 sec. user=sm5ymt [2012-07-31 17:30:37] 685*2^1225431-1 is not prime. Res64: DE2A73C9CE56E5E5 Time : 0.0 sec. user=mdettweiler [2012-07-31 17:30:45] 829*2^1225429-1 is not prime. Res64: 8DC3FB8FE23F649F Time : 0.0 sec. user=mdettweiler [2012-07-31 17:42:28] 761*2^1225430-1 is not prime. Res64: BB2A49EE16DBCB39 Time : 0.0 sec. user=vaughan [2012-07-31 17:42:30] 717*2^1225430-1 is not prime. Res64: 80DA369FEB483130 Time : 0.0 sec. user=mdettweiler [2012-07-31 17:44:22] 751*2^1225431-1 is not prime. Res64: 2F69C4A691341B4F Time : 0.0 sec. user=mdettweiler [2012-07-31 17:44:22] 859*2^1225431-1 is not prime. Res64: 0C2001A30C5B4D07 Time : 0.0 sec. user=mdettweiler [2012-07-31 17:51:16] 793*2^1225119-1 is not prime. Res64: 4509EA9A8A4A6D3D Time : 0.0 sec. user=mdettweiler [2012-07-31 17:51:16] 861*2^1225431-1 is not prime. Res64: C34DA20C24E91D89 Time : 0.0 sec. user=mdettweiler [2012-07-31 18:05:09] 913*2^1225431-1 is not prime. Res64: 6C2CFFEAFE404599 Time : 0.0 sec. user=mdettweiler [2012-07-31 18:05:19] 635*2^1225432-1 is not prime. Res64: 68F8DD8646F77F5D Time : 0.0 sec. user=mdettweiler [2012-07-31 18:05:21] 645*2^1225432-1 is not prime. Res64: 2813D7097DD59E17 Time : 0.0 sec. user=mdettweiler [2012-07-31 18:12:10] 657*2^1225432-1 is not prime. Res64: 70442796BBE65D31 Time : 0.0 sec. user=mdettweiler [2012-07-31 18:12:13] 705*2^1225432-1 is not prime. Res64: E6100B9CCCECA71C Time : 0.0 sec. user=mdettweiler [2012-07-31 18:17:18] 999*2^1225431-1 is not prime. Res64: 76AF27A2295E2C2C Time : 0.0 sec. user=vaughan [2012-07-31 18:19:59] 603*2^1225432-1 is not prime. Res64: 05B4809B52877C8F Time : 0.0 sec. user=mdettweiler [2012-07-31 18:26:07] 819*2^1225432-1 is not prime. Res64: 826CC58E060CAB98 Time : 0.0 sec. user=mdettweiler [2012-07-31 18:26:07] 827*2^1225432-1 is not prime. Res64: 6E8E5C78EFBFAE4D Time : 0.0 sec. user=sm5ymt [2012-07-31 18:31:08] 771*2^1225433-1 is not prime. Res64: A85AE9E92FBDE835 Time : 0.0 sec. user=sm5ymt [2012-07-31 18:31:15] 937*2^1225433-1 is not prime. Res64: 2AE39191CC472280 Time : 0.0 sec. user=sm5ymt [2012-07-31 18:31:26] 951*2^1225433-1 is not prime. Res64: A627BECAC673E290 Time : 0.0 sec. user=mdettweiler [2012-07-31 18:32:55] 843*2^1225432-1 is not prime. Res64: 623BC280343B92B2 Time : 0.0 sec. user=mdettweiler [2012-07-31 18:32:55] 631*2^1225433-1 is not prime. Res64: C03731AC45C8807A Time : 0.0 sec. user=mdettweiler [2012-07-31 18:41:04] 713*2^1225432-1 is not prime. Res64: 8E928DD1CBED5A58 Time : 0.0 sec. user=mdettweiler [2012-07-31 18:46:56] 791*2^1225434-1 is not prime. Res64: 4C451D8B14A23889 Time : 0.0 sec. user=mdettweiler [2012-07-31 18:46:56] 887*2^1225434-1 is not prime. Res64: 97E6F757DB11375A Time : 0.0 sec. user=mdettweiler [2012-07-31 18:53:42] 649*2^1225435-1 is not prime. Res64: EF9182696DEAC2EE Time : 0.0 sec. user=mdettweiler [2012-07-31 18:53:43] 685*2^1225435-1 is not prime. Res64: 3353F68651F6B45F Time : 0.0 sec. user=mdettweiler [2012-07-31 18:56:46] 723*2^1225434-1 is not prime. Res64: 8BC755E39D762A76 Time : 0.0 sec. user=mdettweiler [2012-07-31 19:07:42] 693*2^1225435-1 is not prime. Res64: F8DAD0A8EA398F7E Time : 0.0 sec. user=mdettweiler [2012-07-31 19:07:43] 801*2^1225435-1 is not prime. Res64: 3FAECA05360FEAE2 Time : 0.0 sec. user=mdettweiler [2012-07-31 19:14:30] 871*2^1225435-1 is not prime. Res64: 3A48C09D7D1A065E Time : 0.0 sec. user=mdettweiler [2012-07-31 19:14:30] 973*2^1225435-1 is not prime. Res64: 29367B783CDF1FE9 Time : 0.0 sec. user=mdettweiler [2012-07-31 19:28:30] 743*2^1225436-1 is not prime. Res64: D0056DF35508DE46 Time : 0.0 sec. user=mdettweiler [2012-07-31 19:28:30] 953*2^1225436-1 is not prime. Res64: D66830AA3C787DCF Time : 0.0 sec. user=mdettweiler [2012-07-31 19:30:20] 691*2^1225435-1 is not prime. Res64: FADDF8B944DBAB74 Time : 0.0 sec. user=mdettweiler [2012-07-31 19:35:14] 963*2^1225436-1 is not prime. Res64: F7B21F72268FB1B2 Time : 0.0 sec. user=mdettweiler [2012-07-31 19:35:15] 849*2^1225437-1 is not prime. Res64: B825F71238DE278C Time : 0.0 sec. user=vaughan [2012-07-31 19:35:16] 629*2^1225436-1 is not prime. Res64: A6F3048BAB4140A5 Time : 0.0 sec. user=mdettweiler [2012-07-31 19:45:37] 603*2^1225436-1 is not prime. Res64: 9A2DEDD219096CB8 Time : 0.0 sec. user=mdettweiler [2012-07-31 19:49:11] 885*2^1225437-1 is not prime. Res64: 78B358DFFFAEA268 Time : 0.0 sec. user=mdettweiler [2012-07-31 19:49:12] 891*2^1225437-1 is not prime. Res64: 092F080D057C6FB4 Time : 0.0 sec. user=mdettweiler [2012-07-31 19:55:59] 937*2^1225437-1 is not prime. Res64: 4DB21ADB03820E5A Time : 0.0 sec. user=mdettweiler [2012-07-31 19:55:59] 955*2^1225437-1 is not prime. Res64: CBE79B1179E494D8 Time : 0.0 sec. user=mdettweiler [2012-07-31 20:10:01] 603*2^1225438-1 is not prime. Res64: D10C385544585761 Time : 0.0 sec. user=mdettweiler [2012-07-31 20:10:02] 671*2^1225438-1 is not prime. Res64: 792AF17C3B7073A0 Time : 0.0 sec. user=vaughan [2012-07-31 20:12:46] 985*2^1225437-1 is not prime. Res64: 2B4993365A6C7B91 Time : 0.0 sec. user=mdettweiler [2012-07-31 20:16:46] 755*2^1225438-1 is not prime. Res64: 7610C8A607BCD124 Time : 0.0 sec. user=mdettweiler [2012-07-31 20:16:47] 765*2^1225438-1 is not prime. Res64: 251AF65D76DD5F47 Time : 0.0 sec. user=mdettweiler [2012-07-31 20:18:30] 991*2^1225437-1 is not prime. Res64: 0C216F9843A11A54 Time : 0.0 sec. user=mdettweiler [2012-07-31 20:26:00] 919*2^1225437-1 is not prime. Res64: F8B203DAB812A55B Time : 0.0 sec. user=mdettweiler [2012-07-31 20:30:55] 609*2^1225439-1 is not prime. Res64: 2C6F935A6BA45A32 Time : 0.0 sec. user=mdettweiler [2012-07-31 20:30:56] 649*2^1225439-1 is not prime. Res64: B2961F899632F7F9 Time : 0.0 sec. user=gd_barnes [2012-07-31 20:31:50] 773*2^1225438-1 is not prime. Res64: A2643AC34C2D2C9F Time : 0.0 sec. user=mdettweiler [2012-07-31 20:37:40] 735*2^1225439-1 is not prime. Res64: B57CCB494004E31C Time : 0.0 sec. user=mdettweiler [2012-07-31 20:37:40] 949*2^1225439-1 is not prime. Res64: 7660169EE424B367 Time : 0.0 sec. user=vaughan [2012-07-31 20:50:15] 669*2^1225439-1 is not prime. Res64: FE3B9E6E4252CF79 Time : 0.0 sec. user=mdettweiler [2012-07-31 20:51:49] 615*2^1225440-1 is not prime. Res64: 6CB82990F86E4F82 Time : 0.0 sec. user=mdettweiler [2012-07-31 20:51:50] 713*2^1225440-1 is not prime. Res64: 95E249A40A7BDC28 Time : 0.0 sec. user=mdettweiler [2012-07-31 20:54:48] 969*2^1225439-1 is not prime. Res64: A60C033AACF5F567 Time : 0.0 sec. user=mdettweiler [2012-07-31 20:58:31] 797*2^1225440-1 is not prime. Res64: 427DDE24AF1A61F2 Time : 0.0 sec. user=mdettweiler [2012-07-31 20:58:31] 909*2^1225440-1 is not prime. Res64: D7B376755274A661 Time : 0.0 sec. user=mdettweiler [2012-07-31 21:03:44] 999*2^1225439-1 is not prime. Res64: 171576754DA3CC49 Time : 0.0 sec. user=mdettweiler [2012-07-31 21:12:45] 927*2^1225440-1 is not prime. Res64: 17FBC00B07EF30C7 Time : 0.0 sec. user=mdettweiler [2012-07-31 21:12:46] 619*2^1225441-1 is not prime. Res64: 2114E012B871EF61 Time : 0.0 sec. user=mdettweiler [2012-07-31 21:19:21] 811*2^1225441-1 is not prime. Res64: F93B3645269DABE7 Time : 0.0 sec. user=mdettweiler [2012-07-31 21:19:21] 849*2^1225441-1 is not prime. Res64: 2B21C35E38831923 Time : 0.0 sec. user=vaughan [2012-07-31 21:27:48] 915*2^1225440-1 is not prime. Res64: DE9F28DC48A2B654 Time : 0.0 sec. user=mdettweiler [2012-07-31 21:31:53] 705*2^1225441-1 is not prime. Res64: 468D9B8B8940768D Time : 0.0 sec. user=mdettweiler [2012-07-31 21:33:44] 871*2^1225441-1 is not prime. Res64: F1C2B18C211EE311 Time : 0.0 sec. user=mdettweiler [2012-07-31 21:33:45] 909*2^1225441-1 is not prime. Res64: D145ADCAC34CF093 Time : 0.0 sec. user=mdettweiler [2012-07-31 21:40:16] 931*2^1225441-1 is not prime. Res64: E993026AE5B9CE90 Time : 0.0 sec. user=mdettweiler [2012-07-31 21:40:16] 955*2^1225441-1 is not prime. Res64: EBBD79D1FD24E77D Time : 0.0 sec. user=mdettweiler [2012-07-31 21:41:40] 867*2^1225441-1 is not prime. Res64: 1FE39BA2D146C9C4 Time : 0.0 sec. user=mdettweiler [2012-07-31 21:54:41] 701*2^1225442-1 is not prime. Res64: 819EB8C38EFFD973 Time : 0.0 sec. user=mdettweiler [2012-07-31 21:54:42] 747*2^1225442-1 is not prime. Res64: 2EFCB718DE1283EC Time : 0.0 sec. user=mdettweiler [2012-07-31 22:01:14] 813*2^1225442-1 is not prime. Res64: 8988FDD51DEBDAE1 Time : 0.0 sec. user=mdettweiler [2012-07-31 22:01:15] 867*2^1225442-1 is not prime. Res64: ED68565C762A81F1 Time : 0.0 sec. user=mdettweiler [2012-07-31 22:10:02] 675*2^1225442-1 is not prime. Res64: 6F1F9AA4E5C1003B Time : 0.0 sec. user=mdettweiler [2012-07-31 22:15:30] 977*2^1225442-1 is not prime. Res64: D142EF4F163075BE Time : 0.0 sec. user=mdettweiler [2012-07-31 22:19:00] 921*2^1225442-1 is not prime. Res64: 314E417AF6756E4F Time : 0.0 sec. user=mdettweiler [2012-07-31 22:22:03] 649*2^1225443-1 is not prime. Res64: 689D892B4B3B3140 Time : 0.0 sec. user=mdettweiler [2012-07-31 22:22:04] 765*2^1225443-1 is not prime. Res64: 3897F3984835C6A3 Time : 0.0 sec. user=sm5ymt [2012-07-31 22:32:13] 789*2^1225443-1 is not prime. Res64: E77D8BD2A1F3C3BE Time : 0.0 sec. user=vaughan [2012-07-31 22:38:58] 665*2^1225442-1 is not prime. Res64: 0B3303303C5543EC Time : 0.0 sec. user=mdettweiler [2012-07-31 22:42:55] 879*2^1225443-1 is not prime. Res64: 71DA16293C53EE7C Time : 0.0 sec. user=mdettweiler [2012-07-31 22:42:55] 963*2^1225443-1 is not prime. Res64: BC9DBB52AC791FED Time : 0.0 sec. user=gd_barnes [2012-07-31 22:47:04] 825*2^1225443-1 is not prime. Res64: 4C5BA5302CF52E8C Time : 0.0 sec. user=mdettweiler [2012-07-31 22:47:58] 783*2^1225443-1 is not prime. Res64: A04BDF0C0AAAF7DA Time : 0.0 sec. user=mdettweiler [2012-07-31 22:56:43] 859*2^1225443-1 is not prime. Res64: 16B3B945C6AB1667 Time : 0.0 sec. user=mdettweiler [2012-07-31 23:03:14] 1001*2^1225442-1 is not prime. Res64: 7EC1AFEB5066255C Time : 0.0 sec. user=mdettweiler [2012-07-31 23:03:45] 639*2^1225444-1 is not prime. Res64: A8F8AC4B2F4B7570 Time : 0.0 sec. user=mdettweiler [2012-07-31 23:03:45] 657*2^1225444-1 is not prime. Res64: 0C06E42D94598099 Time : 0.0 sec. user=vaughan [2012-07-31 23:16:34] 605*2^1225444-1 is not prime. Res64: D8E65203F0C44EAE Time : 0.0 sec. user=mdettweiler [2012-07-31 23:24:08] 607*2^1225445-1 is not prime. Res64: 459B05600185CE3C Time : 0.0 sec. user=mdettweiler [2012-07-31 23:24:09] 619*2^1225445-1 is not prime. Res64: 8A131AB3A7E04DC5 Time : 0.0 sec. user=mdettweiler [2012-07-31 23:24:33] 697*2^1225445-1 is not prime. Res64: 00861C96231A2DFE Time : 0.0 sec. user=mdettweiler [2012-07-31 23:24:34] 699*2^1225445-1 is not prime. Res64: 32BDE870B0BDF440 Time : 0.0 sec. user=mdettweiler [2012-07-31 23:25:22] 855*2^1225444-1 is not prime. Res64: 74B9DC32E89D718D Time : 0.0 sec. user=mdettweiler [2012-07-31 23:33:58] 897*2^1225444-1 is not prime. Res64: C789BB9C4C4BDD09 Time : 0.0 sec. user=mdettweiler [2012-07-31 23:45:03] 717*2^1225445-1 is not prime. Res64: 8A0446AC3B1AE21B Time : 0.0 sec. user=mdettweiler [2012-07-31 23:45:04] 949*2^1225445-1 is not prime. Res64: 8BC141B044D0AC82 Time : 0.0 sec. user=mdettweiler [2012-07-31 23:45:27] 957*2^1225445-1 is not prime. Res64: 9ADBB1D960C69BD1 Time : 0.0 sec. user=mdettweiler [2012-07-31 23:45:28] 979*2^1225445-1 is not prime. Res64: FEB1A2F85A0A62CF Time : 0.0 sec. user=vaughan [2012-07-31 23:54:08] 711*2^1225445-1 is not prime. Res64: B0E89B6B0B1279C3 Time : 0.0 sec.