user=mdettweiler [2012-10-18 00:06:27] 977*2^1232832-1 is not prime. Res64: 88A07A48BCF4EF52 Time : 0.0 sec. user=mdettweiler [2012-10-18 00:06:29] 983*2^1232832-1 is not prime. Res64: 65C559A3A3B85118 Time : 0.0 sec. user=mdettweiler [2012-10-18 00:20:31] 727*2^1232833-1 is not prime. Res64: 774A8644202DDC18 Time : 0.0 sec. user=mdettweiler [2012-10-18 00:20:32] 775*2^1232833-1 is not prime. Res64: 0B1BF4D833BBF80B Time : 0.0 sec. user=mdettweiler [2012-10-18 00:27:51] 801*2^1232833-1 is not prime. Res64: 70EABCBF6534A4E6 Time : 0.0 sec. user=mdettweiler [2012-10-18 00:27:52] 807*2^1232833-1 is not prime. Res64: 6B85D0CE7B784D32 Time : 0.0 sec. user=mdettweiler [2012-10-18 00:41:38] 955*2^1232833-1 is not prime. Res64: 7134D9797A0EF033 Time : 0.0 sec. user=mdettweiler [2012-10-18 00:41:39] 985*2^1232833-1 is not prime. Res64: B09D1D3C4E138C01 Time : 0.0 sec. user=mdettweiler [2012-10-18 00:49:17] 635*2^1232834-1 is not prime. Res64: 39ADA95BA2334DDE Time : 0.0 sec. user=mdettweiler [2012-10-18 00:49:18] 797*2^1232834-1 is not prime. Res64: F4AEA684AD7B6A64 Time : 0.0 sec. user=vaughan [2012-10-18 00:56:45] 867*2^1232833-1 is not prime. Res64: 5FE5F235E6789634 Time : 0.0 sec. user=mdettweiler [2012-10-18 01:03:04] 971*2^1232834-1 is not prime. Res64: 186950624E1F6D8A Time : 0.0 sec. user=mdettweiler [2012-10-18 01:03:08] 995*2^1232834-1 is not prime. Res64: D8F59098C6479693 Time : 0.0 sec. user=mdettweiler [2012-10-18 01:10:33] 601*2^1232835-1 is not prime. Res64: F53BA747663BE6FC Time : 0.0 sec. user=mdettweiler [2012-10-18 01:10:35] 609*2^1232835-1 is not prime. Res64: 32384A7E2EA78B48 Time : 0.0 sec. user=mdettweiler [2012-10-18 01:24:30] 735*2^1232835-1 is not prime. Res64: 06AD6C44ED2B3D75 Time : 0.0 sec. user=mdettweiler [2012-10-18 01:24:31] 819*2^1232835-1 is not prime. Res64: A3837DBCA0A985FE Time : 0.0 sec. user=mdettweiler [2012-10-18 01:32:22] 871*2^1232835-1 is not prime. Res64: C00750B941F3C771 Time : 0.0 sec. user=vaughan [2012-10-18 01:34:43] 619*2^1232835-1 is not prime. Res64: 04044F65FBA7F5FA Time : 0.0 sec. user=mdettweiler [2012-10-18 01:46:03] 909*2^1232835-1 is not prime. Res64: 895FE84D3DA8336F Time : 0.0 sec. user=mdettweiler [2012-10-18 02:05:12] 903*2^1232835-1 is not prime. Res64: 329BAF5BFC08FADF Time : 0.0 sec. user=vaughan [2012-10-18 02:12:47] 777*2^1232836-1 is not prime. Res64: 8D38087885BF9B51 Time : 0.0 sec. user=mdettweiler [2012-10-18 02:17:42] 653*2^1232836-1 is not prime. Res64: 4573506C1723CAE8 Time : 0.0 sec. user=mdettweiler [2012-10-18 02:26:39] 803*2^1232836-1 is not prime. Res64: B80DA5FD2F7F9594 Time : 0.0 sec. user=mdettweiler [2012-10-18 02:26:39] 993*2^1232836-1 is not prime. Res64: B939DFB667BFA17F Time : 0.0 sec. user=mdettweiler [2012-10-18 02:47:57] 999*2^1232836-1 is not prime. Res64: A264C604D15E163A Time : 0.0 sec. user=mdettweiler [2012-10-18 03:07:55] 645*2^1232837-1 is not prime. Res64: 7F5086EE4FC453D2 Time : 0.0 sec. user=mdettweiler [2012-10-18 03:07:59] 715*2^1232837-1 is not prime. Res64: 5436D40AE14B650A Time : 0.0 sec. user=mdettweiler [2012-10-18 03:15:23] 619*2^1232837-1 is not prime. Res64: 71672ABA47AA5363 Time : 0.0 sec. user=vaughan [2012-10-18 03:26:33] 717*2^1232837-1 is not prime. Res64: 5A087AE54215A8A0 Time : 0.0 sec. user=mdettweiler [2012-10-18 03:29:42] 741*2^1232837-1 is not prime. Res64: 24AE995E5228BDB4 Time : 0.0 sec. user=mdettweiler [2012-10-18 03:37:01] 879*2^1232837-1 is not prime. Res64: 78A04F5A58E266FC Time : 0.0 sec. user=mdettweiler [2012-10-18 04:04:03] 885*2^1232837-1 is not prime. Res64: 61F28E07FDC2C5E7 Time : 0.0 sec. user=mdettweiler [2012-10-18 04:04:18] 831*2^1232837-1 is not prime. Res64: 045FAA06F6ECD3D9 Time : 0.0 sec. user=vaughan [2012-10-18 04:04:24] 915*2^1232837-1 is not prime. Res64: 20BAE5487051D057 Time : 0.0 sec. user=mdettweiler [2012-10-18 04:25:36] 621*2^1232838-1 is not prime. Res64: 873FDF592669BDDD Time : 0.0 sec. user=mdettweiler [2012-10-18 04:25:36] 777*2^1232838-1 is not prime. Res64: 5E2074EA59F6BAB9 Time : 0.0 sec. user=mdettweiler [2012-10-18 04:25:37] 801*2^1232838-1 is not prime. Res64: D402F2BEA38F61B8 Time : 0.0 sec. user=vaughan [2012-10-18 04:42:13] 915*2^1232838-1 is not prime. Res64: D4C1DF562721E38C Time : 0.0 sec. user=mdettweiler [2012-10-18 04:47:26] 609*2^1232839-1 is not prime. Res64: 27BC30A70F2143DD Time : 0.0 sec. user=mdettweiler [2012-10-18 05:01:18] 725*2^1232838-1 is not prime. Res64: 686D39506E33ADAD Time : 0.0 sec. user=vaughan [2012-10-18 05:20:10] 723*2^1232839-1 is not prime. Res64: 6409D581D1C63078 Time : 0.0 sec. user=mdettweiler [2012-10-18 05:22:09] 705*2^1232839-1 is not prime. Res64: CC00BCCB33D16E6E Time : 0.0 sec. user=juhehe [2012-10-18 05:46:45] 907*2^1232765-1 is not prime. Res64: 983E66AD243D6D60 Time : 0.0 sec. user=mdettweiler [2012-10-18 05:50:41] 759*2^1232839-1 is not prime. Res64: B73E7668DEE26302 Time : 0.0 sec. user=mdettweiler [2012-10-18 05:50:42] 663*2^1232840-1 is not prime. Res64: 9D4982FEAC74F9AC Time : 0.0 sec. user=mdettweiler [2012-10-18 06:05:43] 717*2^1232840-1 is not prime. Res64: 064222F51AD381AA Time : 0.0 sec. user=mdettweiler [2012-10-18 06:11:56] 927*2^1232840-1 is not prime. Res64: AB015289980B1E5E Time : 0.0 sec. user=mdettweiler [2012-10-18 06:11:57] 609*2^1232841-1 is not prime. Res64: 7B37EB8013155F69 Time : 0.0 sec. user=juhehe [2012-10-18 06:20:31] 665*2^1232840-1 is not prime. Res64: E7E27D9B6EA4B847 Time : 0.0 sec. user=juhehe [2012-10-18 06:23:47] 827*2^1232840-1 is not prime. Res64: C44425A4537B7B48 Time : 0.0 sec. user=mdettweiler [2012-10-18 06:33:30] 747*2^1232841-1 is not prime. Res64: EA2CC2D52273EB82 Time : 0.0 sec. user=mdettweiler [2012-10-18 06:33:31] 795*2^1232841-1 is not prime. Res64: FF5A14B494E088CF Time : 0.0 sec. user=vaughan [2012-10-18 06:34:15] 627*2^1232841-1 is not prime. Res64: 506284B650EF49AC Time : 0.0 sec. user=mdettweiler [2012-10-18 06:36:15] 759*2^1232840-1 is not prime. Res64: D5160E63A363CEC4 Time : 0.0 sec. user=mdettweiler [2012-10-18 06:54:58] 871*2^1232841-1 is not prime. Res64: 7F75E86EAF9C96A0 Time : 0.0 sec. user=mdettweiler [2012-10-18 06:54:58] 921*2^1232841-1 is not prime. Res64: F245840C04C24706 Time : 0.0 sec. user=mdettweiler [2012-10-18 06:57:33] 603*2^1232842-1 is not prime. Res64: E38684ACB7B310EC Time : 0.0 sec. user=vaughan [2012-10-18 07:12:02] 979*2^1232841-1 is not prime. Res64: 146BC7009F81CD29 Time : 0.0 sec. user=mdettweiler [2012-10-18 07:16:22] 621*2^1232842-1 is not prime. Res64: EBB2BFFC242C13C7 Time : 0.0 sec. user=mdettweiler [2012-10-18 07:16:24] 645*2^1232842-1 is not prime. Res64: 8923569EB2C90A1D Time : 0.0 sec. user=mdettweiler [2012-10-18 07:37:30] 611*2^1232842-1 is not prime. Res64: 3AB6D40322BEFEA3 Time : 0.0 sec. user=mdettweiler [2012-10-18 07:37:58] 947*2^1232842-1 is not prime. Res64: 851F1AABCF027A48 Time : 0.0 sec. user=juhehe [2012-10-18 07:46:03] 675*2^1232842-1 is not prime. Res64: 660053267BEAF3EF Time : 0.0 sec. user=vaughan [2012-10-18 07:49:56] 731*2^1232842-1 is not prime. Res64: 1B27D73028A5682F Time : 0.0 sec. user=mdettweiler [2012-10-18 08:22:27] 995*2^1232842-1 is not prime. Res64: 4763C42AB578D60F Time : 0.0 sec. user=vaughan [2012-10-18 08:27:47] 631*2^1232843-1 is not prime. Res64: 1E2F774A99A5AD25 Time : 0.0 sec. user=juhehe [2012-10-18 08:28:06] 621*2^1232843-1 is not prime. Res64: D932F5EFBC4DE13C Time : 0.0 sec. user=mdettweiler [2012-10-18 08:29:30] 663*2^1232843-1 is not prime. Res64: 1B614858E1C0F80C Time : 0.0 sec. user=mdettweiler [2012-10-18 08:29:31] 705*2^1232843-1 is not prime. Res64: 8BB428BB61799AC9 Time : 0.0 sec. user=mdettweiler [2012-10-18 08:50:39] 871*2^1232843-1 is not prime. Res64: BC5D89840DAE8CC9 Time : 0.0 sec. user=mdettweiler [2012-10-18 08:50:40] 993*2^1232843-1 is not prime. Res64: A409154E89AE80FA Time : 0.0 sec. user=vaughan [2012-10-18 09:05:48] 771*2^1232843-1 is not prime. Res64: 0FCA7C611F3246D5 Time : 0.0 sec. user=juhehe [2012-10-18 09:10:32] 853*2^1232843-1 is not prime. Res64: D156D8C12044F16F Time : 0.0 sec. user=mdettweiler [2012-10-18 09:12:01] 689*2^1232844-1 is not prime. Res64: 5444F2C029DFB948 Time : 0.0 sec. user=mdettweiler [2012-10-18 09:28:21] 899*2^1232844-1 is not prime. Res64: 730A038E2101A114 Time : 0.0 sec. user=mdettweiler [2012-10-18 09:28:22] 929*2^1232844-1 is not prime. Res64: B4B9F44C12E3C1B9 Time : 0.0 sec. user=vaughan [2012-10-18 09:43:57] 857*2^1232844-1 is not prime. Res64: 10E5A55257EDD0CE Time : 0.0 sec. user=mdettweiler [2012-10-18 09:49:39] 983*2^1232844-1 is not prime. Res64: F2DCF25DB76BC262 Time : 0.0 sec. user=mdettweiler [2012-10-18 09:49:40] 645*2^1232845-1 is not prime. Res64: 081E800F0843F6B8 Time : 0.0 sec. user=juhehe [2012-10-18 09:53:06] 975*2^1232844-1 is not prime. Res64: 4F1CC6264A35693F Time : 0.0 sec. user=mdettweiler [2012-10-18 10:04:04] 753*2^1232844-1 is not prime. Res64: 86AD5CF2D78591C5 Time : 0.0 sec. user=mdettweiler [2012-10-18 10:11:05] 729*2^1232845-1 is not prime. Res64: 4CCF6A9807AFCB96 Time : 0.0 sec. user=vaughan [2012-10-18 10:21:48] 649*2^1232845-1 is not prime. Res64: 9362D64EEB7E26E6 Time : 0.0 sec. user=mdettweiler [2012-10-18 10:25:27] 897*2^1232845-1 is not prime. Res64: D178686E954F5131 Time : 0.0 sec. user=mdettweiler [2012-10-18 10:25:27] 915*2^1232845-1 is not prime. Res64: 5AE5B2A2C8C34C2B Time : 0.0 sec. user=juhehe [2012-10-18 10:35:22] 847*2^1232845-1 is not prime. Res64: B9FB625D0D400A5D Time : 0.0 sec. user=mdettweiler [2012-10-18 10:38:49] 741*2^1232845-1 is not prime. Res64: E9EECA107EEF3386 Time : 0.0 sec. user=mdettweiler [2012-10-18 10:46:49] 717*2^1232846-1 is not prime. Res64: E2925B68FF4E3BB2 Time : 0.0 sec. user=vaughan [2012-10-18 10:59:49] 997*2^1232845-1 is not prime. Res64: C398E3C9FC496FAE Time : 0.0 sec. user=mdettweiler [2012-10-18 11:22:57] 741*2^1232846-1 is not prime. Res64: 0A00DBF24E265F9D Time : 0.0 sec. user=vaughan [2012-10-18 11:37:43] 843*2^1232846-1 is not prime. Res64: B1E25CD27C7CFAED Time : 0.0 sec. user=mdettweiler [2012-10-18 11:44:25] 923*2^1232846-1 is not prime. Res64: 2EF8EE64E747B64A Time : 0.0 sec. user=mdettweiler [2012-10-18 11:44:25] 993*2^1232846-1 is not prime. Res64: 37C25EF9691354C2 Time : 0.0 sec. user=mdettweiler [2012-10-18 11:52:28] 1001*2^1232846-1 is not prime. Res64: 09AAC824B3E8E34A Time : 0.0 sec. user=mdettweiler [2012-10-18 11:52:29] 735*2^1232847-1 is not prime. Res64: 36D539482C3466BD Time : 0.0 sec. user=juhehe [2012-10-18 11:57:58] 917*2^1232846-1 is not prime. Res64: 0B858437B090D78D Time : 0.0 sec. user=mdettweiler [2012-10-18 12:05:45] 963*2^1232847-1 is not prime. Res64: 69E354A2B76B0378 Time : 0.0 sec. user=mdettweiler [2012-10-18 12:05:49] 615*2^1232848-1 is not prime. Res64: 4F37F667E923D1AE Time : 0.0 sec. user=mdettweiler [2012-10-18 12:13:34] 645*2^1232848-1 is not prime. Res64: A2D17DBE7FDC0D28 Time : 0.0 sec. user=mdettweiler [2012-10-18 12:13:58] 803*2^1232848-1 is not prime. Res64: 9484319133BE67EB Time : 0.0 sec. user=vaughan [2012-10-18 12:15:35] 913*2^1232847-1 is not prime. Res64: 9E862D1841B2E13A Time : 0.0 sec. user=mdettweiler [2012-10-18 12:27:11] 855*2^1232849-1 is not prime. Res64: DB34618628A17A73 Time : 0.0 sec. user=mdettweiler [2012-10-18 12:27:32] 885*2^1232849-1 is not prime. Res64: DA3511D1D2185160 Time : 0.0 sec. user=juhehe [2012-10-18 12:39:17] 657*2^1232849-1 is not prime. Res64: 2075796BAC0D15D7 Time : 0.0 sec. user=vaughan [2012-10-18 12:53:55] 671*2^1232850-1 is not prime. Res64: 2529884062FDEE51 Time : 0.0 sec. user=mdettweiler [2012-10-18 13:05:28] 783*2^1232850-1 is not prime. Res64: 0925C25AAAE4C0D6 Time : 0.0 sec. user=mdettweiler [2012-10-18 13:05:30] 971*2^1232850-1 is not prime. Res64: 6988907A597D3FB1 Time : 0.0 sec. user=juhehe [2012-10-18 13:09:06] 677*2^1232850-1 is not prime. Res64: A24847320F78F2F0 Time : 0.0 sec. user=mdettweiler [2012-10-18 13:26:54] 819*2^1232851-1 is not prime. Res64: 895B00061FA92ED9 Time : 0.0 sec. user=mdettweiler [2012-10-18 13:26:56] 913*2^1232851-1 is not prime. Res64: C41A681F9C05E701 Time : 0.0 sec. user=mdettweiler [2012-10-18 13:29:50] 875*2^1232852-1 is not prime. Res64: B3DED6A0FABF3AFA Time : 0.0 sec. user=mdettweiler [2012-10-18 13:29:50] 879*2^1232852-1 is not prime. Res64: 4BE7CA1542BB03C8 Time : 0.0 sec. user=vaughan [2012-10-18 13:31:46] 615*2^1232851-1 is not prime. Res64: E95ACC22283229E1 Time : 0.0 sec. user=mdettweiler [2012-10-18 13:48:33] 957*2^1232852-1 is not prime. Res64: B749FCB092CA5A7B Time : 0.0 sec. user=juhehe [2012-10-18 13:49:22] 935*2^1232852-1 is not prime. Res64: 3E17BDA339873B40 Time : 0.0 sec. user=mdettweiler [2012-10-18 13:51:22] 805*2^1232853-1 is not prime. Res64: 90C6FD644CE86465 Time : 0.0 sec. user=vaughan [2012-10-18 14:09:47] 937*2^1232853-1 is not prime. Res64: 3F51C2FFAB5244D3 Time : 0.0 sec. user=mdettweiler [2012-10-18 14:16:40] 889*2^1232853-1 is not prime. Res64: 50A9EEEAE6952091 Time : 0.0 sec. user=juhehe [2012-10-18 14:18:53] 623*2^1232854-1 is not prime. Res64: E1886F01F200F3EC Time : 0.0 sec. user=mdettweiler [2012-10-18 14:23:03] 987*2^1232852-1 is not prime. Res64: 7AB4C2C0F48B182F Time : 0.0 sec. user=mdettweiler [2012-10-18 14:38:29] 687*2^1232854-1 is not prime. Res64: C072FF0E72F0F1F6 Time : 0.0 sec. user=mdettweiler [2012-10-18 14:38:30] 649*2^1232855-1 is not prime. Res64: 58CBBC8F3ACD5387 Time : 0.0 sec. user=mdettweiler [2012-10-18 14:44:58] 679*2^1232855-1 is not prime. Res64: DCC1D1501CB4C1F6 Time : 0.0 sec. user=juhehe [2012-10-18 14:59:25] 715*2^1232855-1 is not prime. Res64: 591D715C17752005 Time : 0.0 sec. user=mdettweiler [2012-10-18 15:00:18] 763*2^1232855-1 is not prime. Res64: 3A8298B37DA7519E Time : 0.0 sec. user=mdettweiler [2012-10-18 15:00:19] 865*2^1232855-1 is not prime. Res64: ED1EABF1715C049B Time : 0.0 sec. user=mdettweiler [2012-10-18 15:21:51] 689*2^1232856-1 is not prime. Res64: 4AACF9A4A68E67E3 Time : 0.0 sec. user=mdettweiler [2012-10-18 15:21:52] 707*2^1232856-1 is not prime. Res64: 0AF17F35C87A3E80 Time : 0.0 sec. user=vaughan [2012-10-18 15:22:14] 939*2^1232855-1 is not prime. Res64: 8B6AC2AE08F9AA16 Time : 0.0 sec. user=juhehe [2012-10-18 15:28:07] 969*2^1232855-1 is not prime. Res64: B01797C4FBBF74A0 Time : 0.0 sec. user=mdettweiler [2012-10-18 15:30:52] 693*2^1232855-1 is not prime. Res64: 3F85A2BB1D32FC34 Time : 0.0 sec. user=juhehe [2012-10-18 15:35:05] 683*2^1232856-1 is not prime. Res64: 7CAC43B52037B7C4 Time : 0.0 sec. user=mdettweiler [2012-10-18 15:43:49] 725*2^1232856-1 is not prime. Res64: 757BAE5487613EBF Time : 0.0 sec. user=mdettweiler [2012-10-18 15:43:50] 765*2^1232856-1 is not prime. Res64: B1609115AFEEA6D2 Time : 0.0 sec. user=mdettweiler [2012-10-18 15:52:46] 845*2^1232856-1 is not prime. Res64: 6497E02D3C09F9B7 Time : 0.0 sec. user=juhehe [2012-10-18 16:04:00] 825*2^1232856-1 is not prime. Res64: 65E6ABE7B2A07254 Time : 0.0 sec. user=mdettweiler [2012-10-18 16:05:32] 615*2^1232857-1 is not prime. Res64: 73619388A0F5E3EF Time : 0.0 sec. user=mdettweiler [2012-10-18 16:05:33] 667*2^1232857-1 is not prime. Res64: DF3CEFBA822E293F Time : 0.0 sec. user=juhehe [2012-10-18 16:11:07] 601*2^1232857-1 is not prime. Res64: 0D84166EB4E5084D Time : 0.0 sec. user=mdettweiler [2012-10-18 16:20:23] 893*2^1232856-1 is not prime. Res64: 0EB03755F00E47B4 Time : 0.0 sec. user=mdettweiler [2012-10-18 16:27:07] 871*2^1232857-1 is not prime. Res64: A5006EE851E39B9E Time : 0.0 sec. user=mdettweiler [2012-10-18 16:27:08] 885*2^1232857-1 is not prime. Res64: BC367032CE5F64CF Time : 0.0 sec. user=vaughan [2012-10-18 16:35:36] 765*2^1232857-1 is not prime. Res64: 7D7C37B389FA5B6D Time : 0.0 sec. user=juhehe [2012-10-18 16:39:52] 861*2^1232857-1 is not prime. Res64: 224B8D287299D3C0 Time : 0.0 sec. user=mdettweiler [2012-10-18 16:41:32] 931*2^1232857-1 is not prime. Res64: 680EA6FE86621D96 Time : 0.0 sec. user=mdettweiler [2012-10-18 16:41:33] 957*2^1232857-1 is not prime. Res64: 40FF80699FA9FCD0 Time : 0.0 sec. user=mdettweiler [2012-10-18 16:48:33] 603*2^1232858-1 is not prime. Res64: FFBF99129ACD999D Time : 0.0 sec. user=mdettweiler [2012-10-18 17:02:32] 815*2^1232858-1 is not prime. Res64: 82722C6E26773E60 Time : 0.0 sec. user=mdettweiler [2012-10-18 17:02:35] 837*2^1232858-1 is not prime. Res64: 45EC631A9D348740 Time : 0.0 sec. user=vaughan [2012-10-18 17:13:29] 623*2^1232858-1 is not prime. Res64: 2471C467D11F5408 Time : 0.0 sec. user=juhehe [2012-10-18 17:15:38] 797*2^1232858-1 is not prime. Res64: 53C05D702F13549C Time : 0.0 sec. user=mdettweiler [2012-10-18 17:17:13] 605*2^1232858-1 is not prime. Res64: 672BF4EEA324351C Time : 0.0 sec. user=juhehe [2012-10-18 17:20:58] 915*2^1232858-1 is not prime. Res64: 360EC1AD419B4710 Time : 0.0 sec. user=mdettweiler [2012-10-18 17:23:55] 927*2^1232858-1 is not prime. Res64: 52B612EEED3FBD8E Time : 0.0 sec. user=mdettweiler [2012-10-18 17:23:56] 615*2^1232859-1 is not prime. Res64: 04ABECEA209C94C8 Time : 0.0 sec. user=mdettweiler [2012-10-18 17:45:21] 843*2^1232859-1 is not prime. Res64: AAD3EDCE9686759D Time : 0.0 sec. user=vaughan [2012-10-18 17:51:46] 801*2^1232859-1 is not prime. Res64: 36DE16B4F733F29D Time : 0.0 sec. user=juhehe [2012-10-18 17:57:01] 835*2^1232859-1 is not prime. Res64: 012B1DC15B7C0A51 Time : 0.0 sec. user=mdettweiler [2012-10-18 18:16:27] 859*2^1232859-1 is not prime. Res64: F7DED1322ECA08D2 Time : 0.0 sec. user=mdettweiler [2012-10-18 18:17:28] 919*2^1232859-1 is not prime. Res64: E1737E6ACAAAB202 Time : 0.0 sec. user=mdettweiler [2012-10-18 18:17:31] 973*2^1232859-1 is not prime. Res64: 11A8433C2C87466F Time : 0.0 sec. user=vaughan [2012-10-18 18:29:34] 879*2^1232859-1 is not prime. Res64: F375E7952118E5CD Time : 0.0 sec. user=juhehe [2012-10-18 18:32:48] 647*2^1232860-1 is not prime. Res64: 363D4232EA684569 Time : 0.0 sec. user=mdettweiler [2012-10-18 18:37:43] 687*2^1232860-1 is not prime. Res64: 40FE9FDAAAD0E4AE Time : 0.0 sec. user=mdettweiler [2012-10-18 18:38:26] 843*2^1232860-1 is not prime. Res64: F5DE4B342F556E4D Time : 0.0 sec. user=mdettweiler [2012-10-18 18:38:27] 845*2^1232860-1 is not prime. Res64: 3D9DA2329B4247FD Time : 0.0 sec. user=mdettweiler [2012-10-18 18:56:22] 735*2^1232860-1 is not prime. Res64: 9E9872547A9BA1D5 Time : 0.0 sec. user=juhehe [2012-10-18 18:59:46] 863*2^1232860-1 is not prime. Res64: FB315B885BEFBB57 Time : 0.0 sec. user=mdettweiler [2012-10-18 19:00:34] 959*2^1232860-1 is not prime. Res64: EA4A6292909F3428 Time : 0.0 sec. user=vaughan [2012-10-18 19:07:25] 887*2^1232860-1 is not prime. Res64: 388E843795EF9B30 Time : 0.0 sec. user=juhehe [2012-10-18 19:08:55] 905*2^1232860-1 is not prime. Res64: F22F039D105F060C Time : 0.0 sec. user=mdettweiler [2012-10-18 19:17:29] 669*2^1232861-1 is not prime. Res64: 98F99C82A2F2C289 Time : 0.0 sec. user=mdettweiler [2012-10-18 19:17:53] 717*2^1232861-1 is not prime. Res64: E38BC19C8976CF2F Time : 0.0 sec. user=mdettweiler [2012-10-18 19:37:55] 627*2^1232861-1 is not prime. Res64: 51A3D45FD51D80FF Time : 0.0 sec. user=vaughan [2012-10-18 19:45:38] 811*2^1232861-1 is not prime. Res64: 478135D39BFE1266 Time : 0.0 sec. user=mdettweiler [2012-10-18 19:58:54] 889*2^1232861-1 is not prime. Res64: 836CC966C5D41018 Time : 0.0 sec. user=mdettweiler [2012-10-18 19:58:54] 937*2^1232861-1 is not prime. Res64: 1DAEAE85B9B332F8 Time : 0.0 sec. user=juhehe [2012-10-18 20:18:36] 967*2^1232861-1 is not prime. Res64: B7D184D87DA67BF1 Time : 0.0 sec. user=mdettweiler [2012-10-18 20:18:36] 893*2^1232862-1 is not prime. Res64: 9EAD9022CB29262A Time : 0.0 sec. user=mdettweiler [2012-10-18 20:18:39] 751*2^1232863-1 is not prime. Res64: 5E6AF10C14B11359 Time : 0.0 sec. user=mdettweiler [2012-10-18 20:20:10] 783*2^1232863-1 is not prime. Res64: 4F6BC41CE2C9737F Time : 0.0 sec. user=vaughan [2012-10-18 20:23:31] 653*2^1232862-1 is not prime. Res64: 17E34834868D6DF1 Time : 0.0 sec. user=mdettweiler [2012-10-18 20:39:55] 993*2^1232863-1 is not prime. Res64: CE3C3111BCD1F12A Time : 0.0 sec. user=juhehe [2012-10-18 20:43:29] 871*2^1232863-1 is not prime. Res64: 95C9FC5850F7F33D Time : 0.0 sec. user=juhehe [2012-10-18 20:54:43] 843*2^1232864-1 is not prime. Res64: 85B5FF1663760C85 Time : 0.0 sec. user=mdettweiler [2012-10-18 20:59:50] 853*2^1232863-1 is not prime. Res64: 303F9855E312194E Time : 0.0 sec. user=vaughan [2012-10-18 21:01:36] 869*2^1232864-1 is not prime. Res64: 98AC597F67C1ADD4 Time : 0.0 sec. user=mdettweiler [2012-10-18 21:18:43] 609*2^1232864-1 is not prime. Res64: 6AD3CBFEA2DE87D0 Time : 0.0 sec. user=mdettweiler [2012-10-18 21:20:42] 625*2^1232865-1 is not prime. Res64: 3FF342DB69E237FF Time : 0.0 sec. user=mdettweiler [2012-10-18 21:20:43] 735*2^1232865-1 is not prime. Res64: AA42A2361B9DAE0F Time : 0.0 sec. user=juhehe [2012-10-18 21:30:35] 945*2^1232864-1 is not prime. Res64: 45BDD1A1CC5D262C Time : 0.0 sec. user=mdettweiler [2012-10-18 21:39:57] 885*2^1232865-1 is not prime. Res64: C1E58E58941E4CEC Time : 0.0 sec. user=mdettweiler [2012-10-18 21:41:36] 955*2^1232865-1 is not prime. Res64: C61ABBB500A78EFA Time : 0.0 sec. user=mdettweiler [2012-10-18 21:41:37] 975*2^1232865-1 is not prime. Res64: AB8D490719C9962A Time : 0.0 sec. user=mdettweiler [2012-10-18 22:02:53] 651*2^1232866-1 is not prime. Res64: EF14C30BDD725AE6 Time : 0.0 sec. user=mdettweiler [2012-10-18 22:02:56] 701*2^1232866-1 is not prime. Res64: 0EBEF47084F1111E Time : 0.0 sec. user=juhehe [2012-10-18 22:06:41] 635*2^1232866-1 is not prime. Res64: 2060F5FA7B968CCF Time : 0.0 sec. user=mdettweiler [2012-10-18 22:07:04] 895*2^1232865-1 is not prime. Res64: 3BAE5FC7E1123941 Time : 0.0 sec. user=vaughan [2012-10-18 22:15:30] 645*2^1232866-1 is not prime. Res64: FEF6F31CAE568BF5 Time : 0.0 sec. user=mdettweiler [2012-10-18 22:24:14] 717*2^1232866-1 is not prime. Res64: B12E8777B4937655 Time : 0.0 sec. user=juhehe [2012-10-18 22:27:15] 705*2^1232866-1 is not prime. Res64: 77DD108E3BF03CED Time : 0.0 sec. user=mdettweiler [2012-10-18 22:50:52] 741*2^1232866-1 is not prime. Res64: 12A06539EAC367DC Time : 0.0 sec. user=mdettweiler [2012-10-18 23:10:17] 911*2^1232866-1 is not prime. Res64: B4A60B50FEB4501A Time : 0.0 sec. user=mdettweiler [2012-10-18 23:12:04] 759*2^1232867-1 is not prime. Res64: 9AD654846EFE5639 Time : 0.0 sec. user=juhehe [2012-10-18 23:17:04] 857*2^1232866-1 is not prime. Res64: 9EB6488940A9A8D5 Time : 0.0 sec. user=vaughan [2012-10-18 23:27:52] 645*2^1232867-1 is not prime. Res64: 5B8784261AFBA866 Time : 0.0 sec. user=mdettweiler [2012-10-18 23:52:15] 619*2^1232867-1 is not prime. Res64: 53602C6D066E91F7 Time : 0.0 sec.