user=vaughan [2013-02-04 00:11:14] 989*2^1240492-1 is not prime. Res64: DB20567510B9199F Time : 0.0 sec. user=mdettweiler [2013-02-04 00:15:24] 789*2^1240493-1 is not prime. Res64: A12CCF986D006CF0 Time : 0.0 sec. user=mdettweiler [2013-02-04 00:15:26] 897*2^1240493-1 is not prime. Res64: 386D4936FB2D7726 Time : 0.0 sec. user=mdettweiler [2013-02-04 00:15:27] 967*2^1240493-1 is not prime. Res64: 3149D45A11BDBDEC Time : 0.0 sec. user=mdettweiler [2013-02-04 00:15:28] 979*2^1240493-1 is not prime. Res64: ACABB30AFBE807EE Time : 0.0 sec. user=mdettweiler [2013-02-04 00:32:52] 783*2^1240494-1 is not prime. Res64: A92B38CF72E6F74C Time : 0.0 sec. user=mdettweiler [2013-02-04 00:32:53] 951*2^1240494-1 is not prime. Res64: 881687732CC710E0 Time : 0.0 sec. user=mdettweiler [2013-02-04 00:32:54] 975*2^1240494-1 is not prime. Res64: B05B80F38298C800 Time : 0.0 sec. user=mdettweiler [2013-02-04 00:32:55] 853*2^1240495-1 is not prime. Res64: 13FAA59DC8A0CC02 Time : 0.0 sec. user=vaughan [2013-02-04 00:49:26] 773*2^1240494-1 is not prime. Res64: D6D34380E25A1545 Time : 0.0 sec. user=mdettweiler [2013-02-04 00:50:14] 913*2^1240495-1 is not prime. Res64: A4BF400D3455935A Time : 0.0 sec. user=mdettweiler [2013-02-04 00:50:14] 973*2^1240495-1 is not prime. Res64: 542594C7D13859CB Time : 0.0 sec. user=mdettweiler [2013-02-04 00:50:15] 999*2^1240495-1 is not prime. Res64: 5BE4A6506A560090 Time : 0.0 sec. user=mdettweiler [2013-02-04 00:50:16] 623*2^1240496-1 is not prime. Res64: B33768BC52D9EE6E Time : 0.0 sec. user=mdettweiler [2013-02-04 01:07:34] 825*2^1240496-1 is not prime. Res64: 5F9F142FF1C15B4C Time : 0.0 sec. user=mdettweiler [2013-02-04 01:07:36] 875*2^1240496-1 is not prime. Res64: 67E99E3EE613B2B1 Time : 0.0 sec. user=mdettweiler [2013-02-04 01:07:37] 909*2^1240496-1 is not prime. Res64: 4D356C0A442F2CB5 Time : 0.0 sec. user=mdettweiler [2013-02-04 01:07:37] 649*2^1240497-1 is not prime. Res64: 4E92DC49CA0F573D Time : 0.0 sec. user=mdettweiler [2013-02-04 01:25:01] 691*2^1240497-1 is not prime. Res64: 722FBFB67014A3CA Time : 0.0 sec. user=mdettweiler [2013-02-04 01:25:02] 711*2^1240497-1 is not prime. Res64: BF111E4BBD9F9B0F Time : 0.0 sec. user=mdettweiler [2013-02-04 01:25:03] 751*2^1240497-1 is not prime. Res64: 71E623726A09A8CC Time : 0.0 sec. user=mdettweiler [2013-02-04 01:25:04] 795*2^1240497-1 is not prime. Res64: 2D66E9CA7C166EF7 Time : 0.0 sec. user=vaughan [2013-02-04 01:27:24] 699*2^1240496-1 is not prime. Res64: F6DE5000B6BA7BBA Time : 0.0 sec. user=mdettweiler [2013-02-04 01:42:24] 847*2^1240497-1 is not prime. Res64: 1145ED8DB990D24D Time : 0.0 sec. user=mdettweiler [2013-02-04 01:42:25] 909*2^1240497-1 is not prime. Res64: 36565DF12B638674 Time : 0.0 sec. user=mdettweiler [2013-02-04 01:42:25] 945*2^1240497-1 is not prime. Res64: 1A66A63649AFF8A8 Time : 0.0 sec. user=mdettweiler [2013-02-04 01:42:26] 723*2^1240498-1 is not prime. Res64: D70542A86579CF84 Time : 0.0 sec. user=mdettweiler [2013-02-04 01:59:47] 765*2^1240498-1 is not prime. Res64: 2A3B0FA90B69C46C Time : 0.0 sec. user=mdettweiler [2013-02-04 01:59:48] 669*2^1240499-1 is not prime. Res64: 1138CCABB4FAB2E4 Time : 0.0 sec. user=mdettweiler [2013-02-04 01:59:48] 819*2^1240499-1 is not prime. Res64: D3EC1B91A32C3D36 Time : 0.0 sec. user=mdettweiler [2013-02-04 01:59:49] 829*2^1240499-1 is not prime. Res64: 40C62A03B23F10DE Time : 0.0 sec. user=vaughan [2013-02-04 02:05:22] 747*2^1240498-1 is not prime. Res64: ED22E25A7B0D2034 Time : 0.0 sec. user=mdettweiler [2013-02-04 02:17:10] 949*2^1240499-1 is not prime. Res64: 08DD76D7250FA833 Time : 0.0 sec. user=mdettweiler [2013-02-04 02:17:10] 841*2^1240499-1 is not prime. Res64: CA7B3032DCB19E24 Time : 0.0 sec. user=mdettweiler [2013-02-04 02:17:11] 955*2^1240499-1 is not prime. Res64: A0E3D69727143B41 Time : 0.0 sec. user=mdettweiler [2013-02-04 02:17:12] 861*2^1240499-1 is not prime. Res64: FCEBFEE9473D5FCC Time : 0.0 sec. user=mdettweiler [2013-02-04 02:34:42] 695*2^1240500-1 is not prime. Res64: DD847342F8FB0CA5 Time : 0.0 sec. user=mdettweiler [2013-02-04 02:34:44] 707*2^1240500-1 is not prime. Res64: 21355C85B2902BD4 Time : 0.0 sec. user=mdettweiler [2013-02-04 02:34:45] 717*2^1240500-1 is not prime. Res64: A1EE0973BBA1F224 Time : 0.0 sec. user=mdettweiler [2013-02-04 02:34:46] 839*2^1240500-1 is not prime. Res64: 8F2D527ECCB8E982 Time : 0.0 sec. user=vaughan [2013-02-04 02:43:20] 693*2^1240500-1 is not prime. Res64: 90C24F9083B7CA99 Time : 0.0 sec. user=mdettweiler [2013-02-04 02:52:20] 875*2^1240500-1 is not prime. Res64: 71232C6C8B78F5C6 Time : 0.0 sec. user=mdettweiler [2013-02-04 02:52:21] 879*2^1240500-1 is not prime. Res64: 031202417FC032D8 Time : 0.0 sec. user=mdettweiler [2013-02-04 02:52:22] 915*2^1240500-1 is not prime. Res64: 73F84C44D718AD68 Time : 0.0 sec. user=mdettweiler [2013-02-04 02:52:23] 649*2^1240501-1 is not prime. Res64: EA3C239968777429 Time : 0.0 sec. user=mdettweiler [2013-02-04 03:09:57] 861*2^1240501-1 is not prime. Res64: D4EB0D92DFF0B1F6 Time : 0.0 sec. user=mdettweiler [2013-02-04 03:09:58] 945*2^1240501-1 is not prime. Res64: F58CBC153C6C8A32 Time : 0.0 sec. user=mdettweiler [2013-02-04 03:10:00] 615*2^1240502-1 is not prime. Res64: 91F3DA96ED856573 Time : 0.0 sec. user=mdettweiler [2013-02-04 03:10:01] 617*2^1240502-1 is not prime. Res64: 7774FCA519FC4FCA Time : 0.0 sec. user=vaughan [2013-02-04 03:21:30] 691*2^1240501-1 is not prime. Res64: 70506CB1BE0EE839 Time : 0.0 sec. user=mdettweiler [2013-02-04 03:27:31] 635*2^1240502-1 is not prime. Res64: 645D4BB3BF79C7E6 Time : 0.0 sec. user=mdettweiler [2013-02-04 03:27:31] 671*2^1240502-1 is not prime. Res64: C3055C39F7CC5E36 Time : 0.0 sec. user=mdettweiler [2013-02-04 03:27:35] 675*2^1240502-1 is not prime. Res64: 1F2BB3D2E0D9E1F7 Time : 0.0 sec. user=mdettweiler [2013-02-04 03:27:35] 785*2^1240502-1 is not prime. Res64: 52375343F2EF20B8 Time : 0.0 sec. user=mdettweiler [2013-02-04 03:44:53] 885*2^1240502-1 is not prime. Res64: 01DE42CC52E678A0 Time : 0.0 sec. user=mdettweiler [2013-02-04 03:44:54] 915*2^1240502-1 is not prime. Res64: 9FBA0007565987F1 Time : 0.0 sec. user=mdettweiler [2013-02-04 03:44:58] 953*2^1240502-1 is not prime. Res64: 300C906A53000BB3 Time : 0.0 sec. user=mdettweiler [2013-02-04 03:44:59] 1001*2^1240502-1 is not prime. Res64: 80C6E37351EA99E1 Time : 0.0 sec. user=vaughan [2013-02-04 03:59:30] 815*2^1240502-1 is not prime. Res64: 5A746550CDCD24A5 Time : 0.0 sec. user=mdettweiler [2013-02-04 04:02:23] 619*2^1240503-1 is not prime. Res64: CA969E82588F29D5 Time : 0.0 sec. user=mdettweiler [2013-02-04 04:02:24] 661*2^1240503-1 is not prime. Res64: 67C95C8473707B43 Time : 0.0 sec. user=mdettweiler [2013-02-04 04:02:25] 685*2^1240503-1 is not prime. Res64: 4A077D6788730836 Time : 0.0 sec. user=mdettweiler [2013-02-04 04:02:27] 859*2^1240503-1 is not prime. Res64: EA6517006472F4BB Time : 0.0 sec. user=mdettweiler [2013-02-04 04:19:52] 605*2^1240504-1 is not prime. Res64: 292C090016923537 Time : 0.0 sec. user=mdettweiler [2013-02-04 04:19:52] 635*2^1240504-1 is not prime. Res64: 2D03F8EC057C7A12 Time : 0.0 sec. user=mdettweiler [2013-02-04 04:19:55] 639*2^1240504-1 is not prime. Res64: 61A0E3D006E46B3D Time : 0.0 sec. user=mdettweiler [2013-02-04 04:19:56] 687*2^1240504-1 is not prime. Res64: D7A1757A0654F2CC Time : 0.0 sec. user=mdettweiler [2013-02-04 04:37:16] 747*2^1240504-1 is not prime. Res64: 51DAEAF2EE556F9D Time : 0.0 sec. user=mdettweiler [2013-02-04 04:37:16] 857*2^1240504-1 is not prime. Res64: E99C1539EB6D1DAC Time : 0.0 sec. user=mdettweiler [2013-02-04 04:37:17] 927*2^1240504-1 is not prime. Res64: E668844593CA1D53 Time : 0.0 sec. user=mdettweiler [2013-02-04 04:37:17] 619*2^1240505-1 is not prime. Res64: 543FCC3A77DD2990 Time : 0.0 sec. user=vaughan [2013-02-04 04:37:28] 955*2^1240503-1 is not prime. Res64: FD764E18689DC9E9 Time : 0.0 sec. user=mdettweiler [2013-02-04 04:54:39] 721*2^1240505-1 is not prime. Res64: 272F913581E8EF72 Time : 0.0 sec. user=mdettweiler [2013-02-04 04:54:40] 831*2^1240505-1 is not prime. Res64: 4142EC2DB245BE52 Time : 0.0 sec. user=mdettweiler [2013-02-04 04:54:41] 861*2^1240505-1 is not prime. Res64: 9735E4D233038BA8 Time : 0.0 sec. user=mdettweiler [2013-02-04 04:54:41] 955*2^1240505-1 is not prime. Res64: B381F3ACC1CBC9EB Time : 0.0 sec. user=mdettweiler [2013-02-04 05:12:37] 681*2^1240507-1 is not prime. Res64: B2BF8F016FA4585C Time : 0.0 sec. user=mdettweiler [2013-02-04 05:12:38] 803*2^1240506-1 is not prime. Res64: 0803529AF8F2C685 Time : 0.0 sec. user=vaughan [2013-02-04 05:15:27] 683*2^1240506-1 is not prime. Res64: 2DDB9311C1B59E51 Time : 0.0 sec. user=mdettweiler [2013-02-04 05:37:03] 873*2^1240506-1 is not prime. Res64: 71C5DD8D04669DBD Time : 0.0 sec. user=mdettweiler [2013-02-04 05:40:24] 715*2^1240507-1 is not prime. Res64: 29A61E48D0A951A0 Time : 0.0 sec. user=vaughan [2013-02-04 05:53:32] 801*2^1240507-1 is not prime. Res64: AE97DFAB83A0BE77 Time : 0.0 sec. user=mdettweiler [2013-02-04 05:54:24] 805*2^1240507-1 is not prime. Res64: 3A0A44150134074E Time : 0.0 sec. user=mdettweiler [2013-02-04 05:54:24] 835*2^1240507-1 is not prime. Res64: FDD0C6ABDC90E285 Time : 0.0 sec. user=mdettweiler [2013-02-04 05:57:44] 891*2^1240507-1 is not prime. Res64: 749631161B8ECCCF Time : 0.0 sec. user=mdettweiler [2013-02-04 05:57:45] 961*2^1240507-1 is not prime. Res64: FEEB53A053CC9035 Time : 0.0 sec. user=mdettweiler [2013-02-04 06:11:48] 795*2^1240508-1 is not prime. Res64: EB766ACE392C564D Time : 0.0 sec. user=mdettweiler [2013-02-04 06:11:49] 813*2^1240508-1 is not prime. Res64: 2631FD2800B503AE Time : 0.0 sec. user=mdettweiler [2013-02-04 06:15:06] 837*2^1240508-1 is not prime. Res64: 52273F3E0B88AD89 Time : 0.0 sec. user=mdettweiler [2013-02-04 06:15:08] 957*2^1240508-1 is not prime. Res64: 3B3290D35BB6C73B Time : 0.0 sec. user=mdettweiler [2013-02-04 06:29:12] 657*2^1240509-1 is not prime. Res64: EB934DF9075BF336 Time : 0.0 sec. user=mdettweiler [2013-02-04 06:29:13] 711*2^1240509-1 is not prime. Res64: 756B567A9E530295 Time : 0.0 sec. user=vaughan [2013-02-04 06:31:31] 789*2^1240508-1 is not prime. Res64: D6AED4CC6A656780 Time : 0.0 sec. user=mdettweiler [2013-02-04 06:32:34] 741*2^1240509-1 is not prime. Res64: B479E10DAD7046F1 Time : 0.0 sec. user=mdettweiler [2013-02-04 06:32:35] 889*2^1240509-1 is not prime. Res64: 08DEF35D3D16AF33 Time : 0.0 sec. user=mdettweiler [2013-02-04 06:46:34] 895*2^1240509-1 is not prime. Res64: 2E632E20B3063E4B Time : 0.0 sec. user=mdettweiler [2013-02-04 06:46:35] 961*2^1240509-1 is not prime. Res64: 413677D0301F55C2 Time : 0.0 sec. user=mdettweiler [2013-02-04 06:49:56] 951*2^1240510-1 is not prime. Res64: 1A7C9D3C0AF6D570 Time : 0.0 sec. user=mdettweiler [2013-02-04 06:49:56] 1001*2^1240510-1 is not prime. Res64: 87F23C9731A65A90 Time : 0.0 sec. user=mdettweiler [2013-02-04 07:03:56] 615*2^1240511-1 is not prime. Res64: FC29A72449B57A30 Time : 0.0 sec. user=mdettweiler [2013-02-04 07:03:56] 645*2^1240511-1 is not prime. Res64: DD416C81C5A2C743 Time : 0.0 sec. user=mdettweiler [2013-02-04 07:07:16] 745*2^1240511-1 is not prime. Res64: F8EDD89BA268EA65 Time : 0.0 sec. user=mdettweiler [2013-02-04 07:07:17] 823*2^1240511-1 is not prime. Res64: 5006A07AB9DDA7FA Time : 0.0 sec. user=vaughan [2013-02-04 07:09:29] 657*2^1240510-1 is not prime. Res64: A6888F8A47C93E6F Time : 0.0 sec. user=mdettweiler [2013-02-04 07:21:20] 825*2^1240511-1 is not prime. Res64: 311E9C5E3D43B34F Time : 0.0 sec. user=mdettweiler [2013-02-04 07:21:21] 909*2^1240511-1 is not prime. Res64: C2D086CA262B32B5 Time : 0.0 sec. user=mdettweiler [2013-02-04 07:24:38] 943*2^1240511-1 is not prime. Res64: 99379D5EEEC45831 Time : 0.0 sec. user=mdettweiler [2013-02-04 07:24:39] 949*2^1240511-1 is not prime. Res64: 613843B32A8C863C Time : 0.0 sec. user=mdettweiler [2013-02-04 07:38:43] 683*2^1240512-1 is not prime. Res64: AA2DC66818797678 Time : 0.0 sec. user=mdettweiler [2013-02-04 07:38:43] 767*2^1240512-1 is not prime. Res64: A447D199A43CB019 Time : 0.0 sec. user=mdettweiler [2013-02-04 07:41:59] 867*2^1240512-1 is not prime. Res64: D0E544853CAAAD68 Time : 0.0 sec. user=mdettweiler [2013-02-04 07:42:00] 875*2^1240512-1 is not prime. Res64: B84B32F0C36A9A1A Time : 0.0 sec. user=vaughan [2013-02-04 07:47:15] 609*2^1240512-1 is not prime. Res64: 66FF2BB38531254C Time : 0.0 sec. user=mdettweiler [2013-02-04 07:56:04] 893*2^1240512-1 is not prime. Res64: CCC7FB8C1BC5B961 Time : 0.0 sec. user=mdettweiler [2013-02-04 07:56:04] 649*2^1240513-1 is not prime. Res64: 336EBC2DA2786D08 Time : 0.0 sec. user=mdettweiler [2013-02-04 07:59:20] 681*2^1240513-1 is not prime. Res64: 2AAF4A8294EBDCB8 Time : 0.0 sec. user=mdettweiler [2013-02-04 07:59:20] 765*2^1240513-1 is not prime. Res64: C036B62A1E2B6A42 Time : 0.0 sec. user=mdettweiler [2013-02-04 08:13:25] 847*2^1240513-1 is not prime. Res64: 7F644F5292B5C4CD Time : 0.0 sec. user=mdettweiler [2013-02-04 08:13:27] 877*2^1240513-1 is not prime. Res64: F385916DF0A12917 Time : 0.0 sec. user=mdettweiler [2013-02-04 08:16:40] 983*2^1240514-1 is not prime. Res64: 87AFAB8965E2A3D9 Time : 0.0 sec. user=mdettweiler [2013-02-04 08:16:41] 643*2^1240515-1 is not prime. Res64: A54D1C1BDFB07F60 Time : 0.0 sec. user=vaughan [2013-02-04 08:25:00] 835*2^1240513-1 is not prime. Res64: 9B36CFB6B0FBED13 Time : 0.0 sec. user=mdettweiler [2013-02-04 08:30:58] 991*2^1240515-1 is not prime. Res64: 0E8C055478B4B6E2 Time : 0.0 sec. user=mdettweiler [2013-02-04 08:30:59] 999*2^1240515-1 is not prime. Res64: 9C9749158375C6CF Time : 0.0 sec. user=mdettweiler [2013-02-04 08:34:02] 657*2^1240516-1 is not prime. Res64: 3812DAA49A604CF0 Time : 0.0 sec. user=mdettweiler [2013-02-04 08:34:02] 749*2^1240516-1 is not prime. Res64: 3F6E3A286DADFEAE Time : 0.0 sec. user=mdettweiler [2013-02-04 08:48:19] 771*2^1240517-1 is not prime. Res64: 976B9F65523863E0 Time : 0.0 sec. user=mdettweiler [2013-02-04 08:48:19] 781*2^1240517-1 is not prime. Res64: 214B7F712C44C160 Time : 0.0 sec. user=mdettweiler [2013-02-04 08:51:22] 915*2^1240517-1 is not prime. Res64: 4DCB39F1BAD85EC9 Time : 0.0 sec. user=mdettweiler [2013-02-04 08:51:23] 939*2^1240517-1 is not prime. Res64: 615321B52CC79DAF Time : 0.0 sec. user=vaughan [2013-02-04 09:02:50] 759*2^1240517-1 is not prime. Res64: 717D1F9960F72763 Time : 0.0 sec. user=mdettweiler [2013-02-04 09:05:55] 955*2^1240517-1 is not prime. Res64: ACEE2DC7EA820080 Time : 0.0 sec. user=mdettweiler [2013-02-04 09:08:43] 705*2^1240518-1 is not prime. Res64: DAFA0623D8B2CA30 Time : 0.0 sec. user=mdettweiler [2013-02-04 09:08:44] 731*2^1240518-1 is not prime. Res64: FAEE1E68E3F4E464 Time : 0.0 sec. user=mdettweiler [2013-02-04 09:26:15] 773*2^1240518-1 is not prime. Res64: F5936CE4E304B439 Time : 0.0 sec. user=mdettweiler [2013-02-04 09:26:16] 863*2^1240518-1 is not prime. Res64: 03F9AC24FAC02BE8 Time : 0.0 sec. user=mdettweiler [2013-02-04 09:40:36] 627*2^1240518-1 is not prime. Res64: 97FFD6CE6B768BDC Time : 0.0 sec. user=vaughan [2013-02-04 09:40:54] 755*2^1240518-1 is not prime. Res64: 6EE2AA19B7183341 Time : 0.0 sec. user=mdettweiler [2013-02-04 09:43:42] 681*2^1240519-1 is not prime. Res64: 9A2E0629B7F0E58F Time : 0.0 sec. user=mdettweiler [2013-02-04 09:43:43] 723*2^1240519-1 is not prime. Res64: AAA6D6715CCDDCE5 Time : 0.0 sec. user=mdettweiler [2013-02-04 09:57:58] 729*2^1240519-1 is not prime. Res64: A162395633457969 Time : 0.0 sec. user=mdettweiler [2013-02-04 09:57:59] 765*2^1240519-1 is not prime. Res64: 733224A667B90D5D Time : 0.0 sec. user=mdettweiler [2013-02-04 10:01:18] 885*2^1240519-1 is not prime. Res64: 226790EE4A261221 Time : 0.0 sec. user=mdettweiler [2013-02-04 10:01:20] 909*2^1240519-1 is not prime. Res64: E6A2833803F214EB Time : 0.0 sec. user=mdettweiler [2013-02-04 10:15:24] 913*2^1240519-1 is not prime. Res64: B03543C1AD1A317F Time : 0.0 sec. user=mdettweiler [2013-02-04 10:15:24] 969*2^1240519-1 is not prime. Res64: 1D110F3CF6FFD175 Time : 0.0 sec. user=vaughan [2013-02-04 10:18:41] 861*2^1240519-1 is not prime. Res64: 07C1F3B9F52DC3E1 Time : 0.0 sec. user=mdettweiler [2013-02-04 10:18:43] 675*2^1240520-1 is not prime. Res64: AE6653683986D5C3 Time : 0.0 sec. user=mdettweiler [2013-02-04 10:18:44] 755*2^1240520-1 is not prime. Res64: D96060100743736A Time : 0.0 sec. user=mdettweiler [2013-02-04 10:32:52] 827*2^1240520-1 is not prime. Res64: 4072DA2CD0476B42 Time : 0.0 sec. user=mdettweiler [2013-02-04 10:32:53] 839*2^1240520-1 is not prime. Res64: 571CA29239E56B60 Time : 0.0 sec. user=mdettweiler [2013-02-04 10:36:06] 983*2^1240520-1 is not prime. Res64: DFE940ABAE505B78 Time : 0.0 sec. user=mdettweiler [2013-02-04 10:36:07] 607*2^1240521-1 is not prime. Res64: 642E7D2FA4C22C4D Time : 0.0 sec. user=mdettweiler [2013-02-04 10:53:25] 865*2^1240521-1 is not prime. Res64: 5DA3F8281FE6885F Time : 0.0 sec. user=mdettweiler [2013-02-04 10:53:29] 949*2^1240521-1 is not prime. Res64: ADA09BB9D2B1F23A Time : 0.0 sec. user=vaughan [2013-02-04 10:56:27] 963*2^1240520-1 is not prime. Res64: 020EB5E2E0244DF9 Time : 0.0 sec. user=mdettweiler [2013-02-04 11:10:45] 991*2^1240521-1 is not prime. Res64: 901B24541C3A1E09 Time : 0.0 sec. user=mdettweiler [2013-02-04 11:10:47] 653*2^1240522-1 is not prime. Res64: 6CEFFB42D4A17C45 Time : 0.0 sec. user=mdettweiler [2013-02-04 11:23:14] 717*2^1240521-1 is not prime. Res64: D996F3754DF75A9F Time : 0.0 sec. user=mdettweiler [2013-02-04 11:23:15] 745*2^1240521-1 is not prime. Res64: 4E3385DC845B7619 Time : 0.0 sec. user=mdettweiler [2013-02-04 11:28:18] 915*2^1240522-1 is not prime. Res64: FC8EA5787B062047 Time : 0.0 sec. user=mdettweiler [2013-02-04 11:28:19] 981*2^1240522-1 is not prime. Res64: DD6EC6D48F4F2211 Time : 0.0 sec. user=vaughan [2013-02-04 11:34:19] 791*2^1240522-1 is not prime. Res64: 028A1FA2D8ABA072 Time : 0.0 sec. user=mdettweiler [2013-02-04 11:40:46] 693*2^1240523-1 is not prime. Res64: FEB2B922B79F2CA1 Time : 0.0 sec. user=mdettweiler [2013-02-04 11:40:47] 861*2^1240523-1 is not prime. Res64: 9DE5AA4A3747F56C Time : 0.0 sec. user=mdettweiler [2013-02-04 11:45:42] 943*2^1240523-1 is not prime. Res64: D2BDA275168E0196 Time : 0.0 sec. user=mdettweiler [2013-02-04 11:45:43] 705*2^1240524-1 is not prime. Res64: 6338F9A48056E60A Time : 0.0 sec. user=mdettweiler [2013-02-04 11:58:12] 719*2^1240524-1 is not prime. Res64: C8AA9A1E930C86BD Time : 0.0 sec. user=mdettweiler [2013-02-04 11:58:13] 773*2^1240524-1 is not prime. Res64: 387B900729BFA26E Time : 0.0 sec. user=mdettweiler [2013-02-04 12:03:11] 903*2^1240524-1 is not prime. Res64: 010BBD3BDED53B6C Time : 0.0 sec. user=mdettweiler [2013-02-04 12:03:13] 927*2^1240524-1 is not prime. Res64: 06C9C18D7DD7A609 Time : 0.0 sec. user=vaughan [2013-02-04 12:12:17] 717*2^1240524-1 is not prime. Res64: C48DD0025609ABEE Time : 0.0 sec. user=mdettweiler [2013-02-04 12:15:37] 929*2^1240524-1 is not prime. Res64: 8A229C2F88750A0B Time : 0.0 sec. user=mdettweiler [2013-02-04 12:15:38] 969*2^1240524-1 is not prime. Res64: 558409EA1D7BDEA3 Time : 0.0 sec. user=mdettweiler [2013-02-04 12:31:39] 983*2^1240524-1 is not prime. Res64: DB6B2340F1E09A81 Time : 0.0 sec. user=mdettweiler [2013-02-04 12:31:39] 859*2^1240525-1 is not prime. Res64: D1B5730D1F19A438 Time : 0.0 sec. user=mdettweiler [2013-02-04 12:32:58] 761*2^1240526-1 is not prime. Res64: EE0D139606D2973F Time : 0.0 sec. user=mdettweiler [2013-02-04 12:32:58] 767*2^1240526-1 is not prime. Res64: 6023819AB0D65EB0 Time : 0.0 sec. user=mdettweiler [2013-02-04 12:49:03] 921*2^1240526-1 is not prime. Res64: 32081B86BBE43698 Time : 0.0 sec. user=mdettweiler [2013-02-04 12:49:05] 963*2^1240526-1 is not prime. Res64: 6352A953CAB47734 Time : 0.0 sec. user=vaughan [2013-02-04 12:50:09] 623*2^1240526-1 is not prime. Res64: E78AD087B20D6D8A Time : 0.0 sec. user=mdettweiler [2013-02-04 12:50:20] 609*2^1240527-1 is not prime. Res64: 4D732C0E6D088F2F Time : 0.0 sec. user=mdettweiler [2013-02-04 12:50:21] 675*2^1240527-1 is not prime. Res64: 762B7E730796ADAF Time : 0.0 sec. user=mdettweiler [2013-02-04 13:06:28] 793*2^1240527-1 is not prime. Res64: 0ADD958019FD8E0E Time : 0.0 sec. user=mdettweiler [2013-02-04 13:06:29] 795*2^1240527-1 is not prime. Res64: A32D42F72AD928FD Time : 0.0 sec. user=mdettweiler [2013-02-04 13:07:50] 951*2^1240527-1 is not prime. Res64: 5020B6A1EABED56A Time : 0.0 sec. user=mdettweiler [2013-02-04 13:07:50] 615*2^1240528-1 is not prime. Res64: 442ACA593F0DAC2F Time : 0.0 sec. user=mdettweiler [2013-02-04 13:23:58] 663*2^1240528-1 is not prime. Res64: 2C55C6B358EF43BD Time : 0.0 sec. user=mdettweiler [2013-02-04 13:23:59] 665*2^1240528-1 is not prime. Res64: 1602659D8331F95F Time : 0.0 sec. user=mdettweiler [2013-02-04 13:25:15] 705*2^1240528-1 is not prime. Res64: 9B7D78BE3DA592B8 Time : 0.0 sec. user=mdettweiler [2013-02-04 13:25:15] 707*2^1240528-1 is not prime. Res64: CDFCC2AF71E29C29 Time : 0.0 sec. user=vaughan [2013-02-04 13:27:57] 849*2^1240527-1 is not prime. Res64: 2BD6BB422E41A879 Time : 0.0 sec. user=mdettweiler [2013-02-04 13:41:29] 813*2^1240528-1 is not prime. Res64: D4DA3ED40B0B5423 Time : 0.0 sec. user=mdettweiler [2013-02-04 13:41:30] 897*2^1240528-1 is not prime. Res64: 0046CD52C975F59E Time : 0.0 sec. user=mdettweiler [2013-02-04 13:42:39] 909*2^1240528-1 is not prime. Res64: F8A49941273CBFA2 Time : 0.0 sec. user=mdettweiler [2013-02-04 13:42:40] 645*2^1240529-1 is not prime. Res64: 58E532BC469E1E22 Time : 0.0 sec. user=mdettweiler [2013-02-04 13:58:58] 711*2^1240529-1 is not prime. Res64: DED2674D3F1FE2D2 Time : 0.0 sec. user=mdettweiler [2013-02-04 13:58:58] 951*2^1240529-1 is not prime. Res64: E11EC11DC1908427 Time : 0.0 sec. user=mdettweiler [2013-02-04 14:00:14] 997*2^1240529-1 is not prime. Res64: 687966179A15EFB9 Time : 0.0 sec. user=mdettweiler [2013-02-04 14:00:15] 627*2^1240530-1 is not prime. Res64: 263FCB3B540AB345 Time : 0.0 sec. user=vaughan [2013-02-04 14:05:45] 679*2^1240529-1 is not prime. Res64: A091E09F11B61799 Time : 0.0 sec. user=mdettweiler [2013-02-04 14:16:20] 741*2^1240530-1 is not prime. Res64: 14D279466836E6CB Time : 0.0 sec. user=mdettweiler [2013-02-04 14:16:21] 791*2^1240530-1 is not prime. Res64: 50EE29C197C5D4B2 Time : 0.0 sec. user=mdettweiler [2013-02-04 14:17:39] 861*2^1240530-1 is not prime. Res64: 7AD5188DECB38477 Time : 0.0 sec. user=mdettweiler [2013-02-04 14:17:40] 867*2^1240530-1 is not prime. Res64: B5C8829B9F2D9E84 Time : 0.0 sec. user=mdettweiler [2013-02-04 14:33:50] 921*2^1240530-1 is not prime. Res64: 16A197591B9683D5 Time : 0.0 sec. user=mdettweiler [2013-02-04 14:33:50] 927*2^1240530-1 is not prime. Res64: 891B2C804A9CAEDA Time : 0.0 sec. user=mdettweiler [2013-02-04 14:46:24] 649*2^1240531-1 is not prime. Res64: 0BE2F747C28554B2 Time : 0.0 sec. user=mdettweiler [2013-02-04 14:46:24] 705*2^1240531-1 is not prime. Res64: 7FDEB68AEE23F6A0 Time : 0.0 sec. user=mdettweiler [2013-02-04 14:51:43] 783*2^1240531-1 is not prime. Res64: 1C9E0FE72170184E Time : 0.0 sec. user=mdettweiler [2013-02-04 14:51:43] 789*2^1240531-1 is not prime. Res64: EA0903F2C34AF4E3 Time : 0.0 sec. user=mdettweiler [2013-02-04 15:04:44] 931*2^1240531-1 is not prime. Res64: 01FC48157D1DAA27 Time : 0.0 sec. user=mdettweiler [2013-02-04 15:04:44] 943*2^1240531-1 is not prime. Res64: 76452AC305E77397 Time : 0.0 sec. user=mdettweiler [2013-02-04 15:09:59] 973*2^1240531-1 is not prime. Res64: 89F01D4DB2511F10 Time : 0.0 sec. user=mdettweiler [2013-02-04 15:10:01] 803*2^1240532-1 is not prime. Res64: 5B31612DDF06B229 Time : 0.0 sec. user=vaughan [2013-02-04 15:21:53] 885*2^1240531-1 is not prime. Res64: 81FE0A28221BDFD8 Time : 0.0 sec. user=mdettweiler [2013-02-04 15:22:58] 855*2^1240532-1 is not prime. Res64: B2C1B5C32F13058B Time : 0.0 sec. user=mdettweiler [2013-02-04 15:22:58] 609*2^1240533-1 is not prime. Res64: 0FE86F01BF2DA07C Time : 0.0 sec. user=mdettweiler [2013-02-04 15:28:16] 639*2^1240533-1 is not prime. Res64: 92FB63E2DC6BA308 Time : 0.0 sec. user=mdettweiler [2013-02-04 15:28:17] 681*2^1240533-1 is not prime. Res64: 668C130D82C40E08 Time : 0.0 sec. user=mdettweiler [2013-02-04 15:40:57] 727*2^1240533-1 is not prime. Res64: 32F7D6FEFDE4956F Time : 0.0 sec. user=mdettweiler [2013-02-04 15:40:58] 751*2^1240533-1 is not prime. Res64: CA9ABFFD17A093CC Time : 0.0 sec. user=mdettweiler [2013-02-04 15:46:05] 829*2^1240533-1 is not prime. Res64: 82BEBDA817BF9C27 Time : 0.0 sec. user=mdettweiler [2013-02-04 15:46:06] 885*2^1240533-1 is not prime. Res64: AAA31BA8C274D820 Time : 0.0 sec. user=mdettweiler [2013-02-04 15:58:32] 901*2^1240533-1 is not prime. Res64: A5A80095FDC824D1 Time : 0.0 sec. user=mdettweiler [2013-02-04 15:58:33] 955*2^1240533-1 is not prime. Res64: D4D6F63C8EF2AA4A Time : 0.0 sec. user=vaughan [2013-02-04 15:59:41] 685*2^1240533-1 is not prime. Res64: 2901EC5F089397D0 Time : 0.0 sec. user=mdettweiler [2013-02-04 16:03:42] 605*2^1240534-1 is not prime. Res64: C1141B899B3EB0AC Time : 0.0 sec. user=mdettweiler [2013-02-04 16:03:44] 651*2^1240534-1 is not prime. Res64: 44AB16D364CA3761 Time : 0.0 sec. user=mdettweiler [2013-02-04 16:16:17] 681*2^1240534-1 is not prime. Res64: 9DE406C954DC3D8C Time : 0.0 sec. user=mdettweiler [2013-02-04 16:16:18] 695*2^1240534-1 is not prime. Res64: 76D6D51EF8AD75FE Time : 0.0 sec. user=mdettweiler [2013-02-04 16:21:50] 783*2^1240534-1 is not prime. Res64: 43A0CD4DF0847E76 Time : 0.0 sec. user=mdettweiler [2013-02-04 16:21:51] 825*2^1240534-1 is not prime. Res64: 57196B1A0BEB6520 Time : 0.0 sec. user=mdettweiler [2013-02-04 16:34:08] 897*2^1240534-1 is not prime. Res64: D3541991E250A337 Time : 0.0 sec. user=mdettweiler [2013-02-04 16:34:08] 1001*2^1240534-1 is not prime. Res64: 2D70A64155051FE0 Time : 0.0 sec. user=vaughan [2013-02-04 16:37:28] 765*2^1240534-1 is not prime. Res64: 12E243B6354455A2 Time : 0.0 sec. user=mdettweiler [2013-02-04 16:39:39] 643*2^1240535-1 is not prime. Res64: 6E163E487A5553D8 Time : 0.0 sec. user=mdettweiler [2013-02-04 16:39:39] 705*2^1240535-1 is not prime. Res64: BFDA65EB73CF2B1C Time : 0.0 sec. user=mdettweiler [2013-02-04 16:51:56] 759*2^1240535-1 is not prime. Res64: C53E9F36627CD928 Time : 0.0 sec. user=mdettweiler [2013-02-04 16:51:56] 789*2^1240535-1 is not prime. Res64: 22BDE532ED2ACB26 Time : 0.0 sec. user=mdettweiler [2013-02-04 16:57:26] 969*2^1240535-1 is not prime. Res64: 1860100E08D3E862 Time : 0.0 sec. user=mdettweiler [2013-02-04 16:57:26] 973*2^1240535-1 is not prime. Res64: 73FA90276431DEFB Time : 0.0 sec. user=mdettweiler [2013-02-04 17:09:38] 979*2^1240535-1 is not prime. Res64: 848855E5F7AED4B8 Time : 0.0 sec. user=mdettweiler [2013-02-04 17:09:39] 629*2^1240536-1 is not prime. Res64: 72789E09FB0DE92C Time : 0.0 sec. user=mdettweiler [2013-02-04 17:15:04] 657*2^1240536-1 is not prime. Res64: 644B436B02D483EE Time : 0.0 sec. user=mdettweiler [2013-02-04 17:15:05] 693*2^1240536-1 is not prime. Res64: 11B6BB352B1F1F5D Time : 0.0 sec. user=vaughan [2013-02-04 17:15:17] 963*2^1240535-1 is not prime. Res64: 4E3DDE1217D45D8B Time : 0.0 sec. user=mdettweiler [2013-02-04 17:27:28] 717*2^1240536-1 is not prime. Res64: B648C07AC6859D25 Time : 0.0 sec. user=mdettweiler [2013-02-04 17:27:28] 759*2^1240536-1 is not prime. Res64: 39EBA30B37350967 Time : 0.0 sec. user=mdettweiler [2013-02-04 17:32:56] 873*2^1240536-1 is not prime. Res64: CFE34ABFE56E3EF9 Time : 0.0 sec. user=mdettweiler [2013-02-04 17:32:56] 923*2^1240536-1 is not prime. Res64: 6B29EFFFFF519E6C Time : 0.0 sec. user=mdettweiler [2013-02-04 17:45:26] 765*2^1240537-1 is not prime. Res64: 42694CB5530DB320 Time : 0.0 sec. user=mdettweiler [2013-02-04 17:45:27] 805*2^1240537-1 is not prime. Res64: BFC718842027AA3D Time : 0.0 sec. user=mdettweiler [2013-02-04 17:50:50] 831*2^1240537-1 is not prime. Res64: 046E91B23A975582 Time : 0.0 sec. user=mdettweiler [2013-02-04 17:50:51] 867*2^1240537-1 is not prime. Res64: C922ECF533B98A02 Time : 0.0 sec. user=vaughan [2013-02-04 17:53:03] 615*2^1240537-1 is not prime. Res64: B060D9FF7F2587CA Time : 0.0 sec. user=mdettweiler [2013-02-04 18:03:09] 797*2^1240538-1 is not prime. Res64: 892EA2CAD3F8FD41 Time : 0.0 sec. user=mdettweiler [2013-02-04 18:03:11] 827*2^1240538-1 is not prime. Res64: 138C3789505C9064 Time : 0.0 sec. user=mdettweiler [2013-02-04 18:08:32] 875*2^1240538-1 is not prime. Res64: C7028CC9CF601350 Time : 0.0 sec. user=mdettweiler [2013-02-04 18:08:33] 911*2^1240538-1 is not prime. Res64: D6ABA266899C2D61 Time : 0.0 sec. user=mdettweiler [2013-02-04 18:20:50] 625*2^1240539-1 is not prime. Res64: 2828FF8EDB241E2F Time : 0.0 sec. user=mdettweiler [2013-02-04 18:20:50] 633*2^1240539-1 is not prime. Res64: 672E75CB0738C856 Time : 0.0 sec. user=mdettweiler [2013-02-04 18:26:09] 663*2^1240539-1 is not prime. Res64: B53CA1D450AB0289 Time : 0.0 sec. user=mdettweiler [2013-02-04 18:26:10] 921*2^1240539-1 is not prime. Res64: B6E1C54D40C2759E Time : 0.0 sec. user=vaughan [2013-02-04 18:30:48] 951*2^1240538-1 is not prime. Res64: A4F289C010D5F24E Time : 0.0 sec. user=mdettweiler [2013-02-04 18:38:35] 961*2^1240539-1 is not prime. Res64: 0DAA5F042EB2E17A Time : 0.0 sec. user=mdettweiler [2013-02-04 18:38:35] 729*2^1240540-1 is not prime. Res64: 2BF833F82DBFC4BD Time : 0.0 sec. user=mdettweiler [2013-02-04 18:44:00] 797*2^1240540-1 is not prime. Res64: F98AA37C69A760FC Time : 0.0 sec. user=mdettweiler [2013-02-04 18:44:00] 843*2^1240540-1 is not prime. Res64: E4B1CDA3EB025CDD Time : 0.0 sec. user=mdettweiler [2013-02-04 18:56:19] 899*2^1240540-1 is not prime. Res64: 9BF1403494F34530 Time : 0.0 sec. user=mdettweiler [2013-02-04 18:56:20] 909*2^1240540-1 is not prime. Res64: 27ABB1A07509A822 Time : 0.0 sec. user=mdettweiler [2013-02-04 19:01:35] 983*2^1240540-1 is not prime. Res64: 15922553837ADC5B Time : 0.0 sec. user=mdettweiler [2013-02-04 19:01:36] 999*2^1240540-1 is not prime. Res64: CAD5A79F2412D75E Time : 0.0 sec. user=vaughan [2013-02-04 19:08:34] 885*2^1240540-1 is not prime. Res64: 5EF805A2381DA0F2 Time : 0.0 sec. user=mdettweiler [2013-02-04 19:13:43] 837*2^1240541-1 is not prime. Res64: D0467FAD644BAB87 Time : 0.0 sec. user=mdettweiler [2013-02-04 19:13:44] 879*2^1240541-1 is not prime. Res64: 92E3B642F35E1C53 Time : 0.0 sec. user=mdettweiler [2013-02-04 19:19:01] 907*2^1240541-1 is not prime. Res64: FF3426F44FC37480 Time : 0.0 sec. user=mdettweiler [2013-02-04 19:19:01] 931*2^1240541-1 is not prime. Res64: 47BD37CB0E57D89F Time : 0.0 sec. user=mdettweiler [2013-02-04 19:31:07] 681*2^1240542-1 is not prime. Res64: FB2D61F5D89A212B Time : 0.0 sec. user=mdettweiler [2013-02-04 19:31:08] 695*2^1240542-1 is not prime. Res64: CDA2C4F3903E2F60 Time : 0.0 sec. user=mdettweiler [2013-02-04 19:36:27] 815*2^1240542-1 is not prime. Res64: B343E8674523941F Time : 0.0 sec. user=mdettweiler [2013-02-04 19:36:28] 843*2^1240542-1 is not prime. Res64: 402E7D38691DBE91 Time : 0.0 sec. user=vaughan [2013-02-04 19:46:24] 671*2^1240542-1 is not prime. Res64: BD107B96C215F8BC Time : 0.0 sec. user=mdettweiler [2013-02-04 19:48:31] 977*2^1240542-1 is not prime. Res64: 7BE6EA01EFFEBF86 Time : 0.0 sec. user=mdettweiler [2013-02-04 19:48:32] 741*2^1240543-1 is not prime. Res64: 0285A4926CA33738 Time : 0.0 sec. user=mdettweiler [2013-02-04 19:53:51] 783*2^1240543-1 is not prime. Res64: 3CAF4C66A4E468A4 Time : 0.0 sec. user=mdettweiler [2013-02-04 19:53:52] 805*2^1240543-1 is not prime. Res64: B81F5D109FDFCCE6 Time : 0.0 sec. user=mdettweiler [2013-02-04 20:05:56] 885*2^1240543-1 is not prime. Res64: EBFA7179CE1F86BF Time : 0.0 sec. user=mdettweiler [2013-02-04 20:05:57] 891*2^1240543-1 is not prime. Res64: 9EA7E9C195F2B0DB Time : 0.0 sec. user=mdettweiler [2013-02-04 20:11:15] 855*2^1240544-1 is not prime. Res64: 2E7A39DD6D55A012 Time : 0.0 sec. user=mdettweiler [2013-02-04 20:11:16] 969*2^1240544-1 is not prime. Res64: 64F41751B42A401A Time : 0.0 sec. user=mdettweiler [2013-02-04 20:23:25] 607*2^1240545-1 is not prime. Res64: 9E6E8251ED612B0F Time : 0.0 sec. user=mdettweiler [2013-02-04 20:23:26] 649*2^1240545-1 is not prime. Res64: 05658E52401246FC Time : 0.0 sec. user=vaughan [2013-02-04 20:24:10] 871*2^1240543-1 is not prime. Res64: 7133991158B24AD1 Time : 0.0 sec. user=mdettweiler [2013-02-04 20:28:42] 651*2^1240545-1 is not prime. Res64: F7DBBE94A9B9D81A Time : 0.0 sec. user=mdettweiler [2013-02-04 20:28:43] 777*2^1240545-1 is not prime. Res64: D985D1E0587C4A50 Time : 0.0 sec. user=mdettweiler [2013-02-04 20:40:55] 789*2^1240545-1 is not prime. Res64: 77FF170887A39C49 Time : 0.0 sec. user=mdettweiler [2013-02-04 20:40:56] 811*2^1240545-1 is not prime. Res64: D8F754156F9B5DC8 Time : 0.0 sec. user=mdettweiler [2013-02-04 20:46:08] 969*2^1240545-1 is not prime. Res64: 66BD136D2B8FBDD8 Time : 0.0 sec. user=mdettweiler [2013-02-04 20:46:08] 611*2^1240546-1 is not prime. Res64: C47A918868A604CD Time : 0.0 sec. user=mdettweiler [2013-02-04 20:58:28] 647*2^1240546-1 is not prime. Res64: 464983825617363E Time : 0.0 sec. user=mdettweiler [2013-02-04 20:58:28] 705*2^1240546-1 is not prime. Res64: 8E2733F439F7382D Time : 0.0 sec. user=vaughan [2013-02-04 21:01:56] 871*2^1240545-1 is not prime. Res64: 2B423402ED6D63DA Time : 0.0 sec. user=mdettweiler [2013-02-04 21:03:41] 867*2^1240546-1 is not prime. Res64: 1ED93D67E7470E9F Time : 0.0 sec. user=mdettweiler [2013-02-04 21:03:42] 983*2^1240546-1 is not prime. Res64: 5EB3C12DAABD5165 Time : 0.0 sec. user=mdettweiler [2013-02-04 21:15:58] 993*2^1240546-1 is not prime. Res64: 235696E2AE40B709 Time : 0.0 sec. user=mdettweiler [2013-02-04 21:15:59] 759*2^1240547-1 is not prime. Res64: 207CE3FCDA18DC00 Time : 0.0 sec. user=mdettweiler [2013-02-04 21:21:09] 949*2^1240547-1 is not prime. Res64: A566952616644D49 Time : 0.0 sec. user=mdettweiler [2013-02-04 21:21:10] 985*2^1240547-1 is not prime. Res64: 6E332E2373B2C13A Time : 0.0 sec. user=mdettweiler [2013-02-04 21:33:26] 615*2^1240548-1 is not prime. Res64: 84AC24F34C8126AA Time : 0.0 sec. user=mdettweiler [2013-02-04 21:33:26] 629*2^1240548-1 is not prime. Res64: 2B0763070D361AF5 Time : 0.0 sec. user=mdettweiler [2013-02-04 21:38:38] 639*2^1240548-1 is not prime. Res64: FCCCD4CA59B0EE8E Time : 0.0 sec. user=mdettweiler [2013-02-04 21:38:38] 875*2^1240548-1 is not prime. Res64: 1C19A51A0EE30A1A Time : 0.0 sec. user=vaughan [2013-02-04 21:39:54] 813*2^1240547-1 is not prime. Res64: 4ABF45BB3BAB3A16 Time : 0.0 sec. user=mdettweiler [2013-02-04 21:50:51] 609*2^1240549-1 is not prime. Res64: 265D81FB49FCB174 Time : 0.0 sec. user=mdettweiler [2013-02-04 21:50:52] 789*2^1240549-1 is not prime. Res64: 76CFA33BF8F3FA9D Time : 0.0 sec. user=mdettweiler [2013-02-04 21:56:01] 895*2^1240549-1 is not prime. Res64: FC1B57D8468DD534 Time : 0.0 sec. user=mdettweiler [2013-02-04 21:56:02] 931*2^1240549-1 is not prime. Res64: 67238F3A1A388517 Time : 0.0 sec. user=mdettweiler [2013-02-04 22:08:23] 623*2^1240550-1 is not prime. Res64: D1BAA1600219FD98 Time : 0.0 sec. user=mdettweiler [2013-02-04 22:08:24] 711*2^1240550-1 is not prime. Res64: 1854C7295DBD761D Time : 0.0 sec. user=mdettweiler [2013-02-04 22:13:33] 761*2^1240550-1 is not prime. Res64: 807A34A9B4995123 Time : 0.0 sec. user=mdettweiler [2013-02-04 22:13:35] 857*2^1240550-1 is not prime. Res64: 593202B8B6B7B1ED Time : 0.0 sec. user=vaughan [2013-02-04 22:17:39] 945*2^1240549-1 is not prime. Res64: AD05511209DE608D Time : 0.0 sec. user=mdettweiler [2013-02-04 22:25:53] 861*2^1240550-1 is not prime. Res64: 2E27AB2619A7CC51 Time : 0.0 sec. user=mdettweiler [2013-02-04 22:25:54] 615*2^1240551-1 is not prime. Res64: 69F730629115D381 Time : 0.0 sec. user=mdettweiler [2013-02-04 22:31:01] 735*2^1240551-1 is not prime. Res64: 62063F89D81615D7 Time : 0.0 sec. user=mdettweiler [2013-02-04 22:31:02] 913*2^1240551-1 is not prime. Res64: D2B50F0FD3EC391B Time : 0.0 sec. user=mdettweiler [2013-02-04 22:43:27] 623*2^1240552-1 is not prime. Res64: 388CA0BCBDC2FE74 Time : 0.0 sec. user=mdettweiler [2013-02-04 22:43:27] 695*2^1240552-1 is not prime. Res64: 8225CE7E1DD73DB6 Time : 0.0 sec. user=mdettweiler [2013-02-04 22:48:36] 785*2^1240552-1 is not prime. Res64: 769725E2B29B8336 Time : 0.0 sec. user=mdettweiler [2013-02-04 22:48:37] 657*2^1240553-1 is not prime. Res64: 8587181B23032F30 Time : 0.0 sec. user=vaughan [2013-02-04 22:55:25] 955*2^1240551-1 is not prime. Res64: B43C388785226823 Time : 0.0 sec. user=mdettweiler [2013-02-04 23:00:57] 775*2^1240553-1 is not prime. Res64: C054DDAB201FB651 Time : 0.0 sec. user=mdettweiler [2013-02-04 23:00:58] 805*2^1240553-1 is not prime. Res64: B2C3869FE3B3C224 Time : 0.0 sec. user=mdettweiler [2013-02-04 23:06:02] 915*2^1240553-1 is not prime. Res64: 905C877A856D845B Time : 0.0 sec. user=mdettweiler [2013-02-04 23:06:03] 981*2^1240553-1 is not prime. Res64: FC2CB64AEF0E8DC5 Time : 0.0 sec. user=mdettweiler [2013-02-04 23:18:26] 605*2^1240554-1 is not prime. Res64: 5B39556708189F25 Time : 0.0 sec. user=mdettweiler [2013-02-04 23:18:27] 723*2^1240554-1 is not prime. Res64: 7AB845EA9A71EA10 Time : 0.0 sec. user=mdettweiler [2013-02-04 23:23:31] 773*2^1240554-1 is not prime. Res64: 1B877E982BC20880 Time : 0.0 sec. user=mdettweiler [2013-02-04 23:23:32] 833*2^1240554-1 is not prime. Res64: FD04659861624DFF Time : 0.0 sec. user=vaughan [2013-02-04 23:33:10] 987*2^1240553-1 is not prime. Res64: 26C23F2963A6229C Time : 0.0 sec. user=mdettweiler [2013-02-04 23:35:53] 891*2^1240554-1 is not prime. Res64: BD909D4F6528E186 Time : 0.0 sec. user=mdettweiler [2013-02-04 23:35:54] 893*2^1240554-1 is not prime. Res64: 3098C9B1BC77040B Time : 0.0 sec. user=mdettweiler [2013-02-04 23:40:57] 923*2^1240554-1 is not prime. Res64: 4E9425F1FC857550 Time : 0.0 sec. user=mdettweiler [2013-02-04 23:40:57] 941*2^1240554-1 is not prime. Res64: EBB99C9E26DB6B8E Time : 0.0 sec. user=mdettweiler [2013-02-04 23:53:15] 645*2^1240555-1 is not prime. Res64: C6D8EF73D41CC90F Time : 0.0 sec. user=mdettweiler [2013-02-04 23:53:15] 685*2^1240555-1 is not prime. Res64: 0EA55036378D4A2E Time : 0.0 sec. user=mdettweiler [2013-02-04 23:58:19] 733*2^1240555-1 is not prime. Res64: 2A2F6D7605D736A5 Time : 0.0 sec. user=mdettweiler [2013-02-04 23:58:19] 775*2^1240555-1 is not prime. Res64: 22E12658DD0EFA68 Time : 0.0 sec.