user=vaughan [2012-08-26 00:10:37] 859*2^1227221-1 is not prime. Res64: 33E94BA50FF223D4 Time : 0.0 sec. user=mdettweiler [2012-08-26 00:13:21] 767*2^1227218-1 is not prime. Res64: F9008B19BEA3970D Time : 0.0 sec. user=mdettweiler [2012-08-26 00:13:22] 801*2^1227218-1 is not prime. Res64: B3F075A0A625AF5B Time : 0.0 sec. user=mdettweiler [2012-08-26 00:14:26] 813*2^1227218-1 is not prime. Res64: F6687A7B70732FD5 Time : 0.0 sec. user=mdettweiler [2012-08-26 00:14:27] 893*2^1227218-1 is not prime. Res64: AB998F5059978A48 Time : 0.0 sec. user=mdettweiler [2012-08-26 00:14:33] 649*2^1227219-1 is not prime. Res64: 7F6BC0A9EDF8B0E1 Time : 0.0 sec. user=mdettweiler [2012-08-26 00:14:34] 709*2^1227219-1 is not prime. Res64: 72AE6DBF19CA43ED Time : 0.0 sec. user=mdettweiler [2012-08-26 00:14:45] 753*2^1227219-1 is not prime. Res64: 34B39CF918E91BF8 Time : 0.0 sec. user=mdettweiler [2012-08-26 00:14:46] 823*2^1227219-1 is not prime. Res64: 583A71DA156E3680 Time : 0.0 sec. user=mdettweiler [2012-08-26 00:18:44] 705*2^1227223-1 is not prime. Res64: A101BF6034361741 Time : 0.0 sec. user=mdettweiler [2012-08-26 00:18:44] 709*2^1227223-1 is not prime. Res64: 66530287D6CB0419 Time : 0.0 sec. user=mdettweiler [2012-08-26 00:20:12] 819*2^1227223-1 is not prime. Res64: D5E2B06F097D93B4 Time : 0.0 sec. user=mdettweiler [2012-08-26 00:20:15] 829*2^1227223-1 is not prime. Res64: 73314C10AAFBB21F Time : 0.0 sec. user=mdettweiler [2012-08-26 00:26:12] 957*2^1227222-1 is not prime. Res64: 6A456277FA99D73E Time : 0.0 sec. user=mdettweiler [2012-08-26 00:26:18] 661*2^1227223-1 is not prime. Res64: 169419E5DAFE36C5 Time : 0.0 sec. user=mdettweiler [2012-08-26 00:39:16] 741*2^1227225-1 is not prime. Res64: 46FACAAD765D887F Time : 0.0 sec. user=mdettweiler [2012-08-26 00:39:18] 861*2^1227225-1 is not prime. Res64: B7ADF646697E9B9D Time : 0.0 sec. user=mdettweiler [2012-08-26 00:40:51] 895*2^1227225-1 is not prime. Res64: 221ED52F4F93E0CD Time : 0.0 sec. user=mdettweiler [2012-08-26 00:40:52] 951*2^1227225-1 is not prime. Res64: 0883500622AE433C Time : 0.0 sec. user=vaughan [2012-08-26 00:48:14] 849*2^1227223-1 is not prime. Res64: E85DFEA82C286925 Time : 0.0 sec. user=gd_barnes [2012-08-26 00:52:22] 663*2^1227226-1 is not prime. Res64: 3FB7A734B268DC76 Time : 0.0 sec. user=mdettweiler [2012-08-26 00:55:30] 617*2^1227226-1 is not prime. Res64: 104FFF8CF16F2A39 Time : 0.0 sec. user=gd_barnes [2012-08-26 00:56:33] 997*2^1227225-1 is not prime. Res64: F2853D480B67677C Time : 0.0 sec. user=gd_barnes [2012-08-26 00:57:40] 611*2^1227226-1 is not prime. Res64: 64EC179A06A35A49 Time : 0.0 sec. user=mdettweiler [2012-08-26 00:59:59] 985*2^1227227-1 is not prime. Res64: 760829ADDB27AE1E Time : 0.0 sec. user=mdettweiler [2012-08-26 01:00:00] 749*2^1227228-1 is not prime. Res64: 7CBECBB81BE09EE7 Time : 0.0 sec. user=gd_barnes [2012-08-26 01:00:19] 821*2^1227226-1 is not prime. Res64: C5DF58C47BCF5F47 Time : 0.0 sec. user=mdettweiler [2012-08-26 01:01:23] 789*2^1227228-1 is not prime. Res64: B96C068B1982DD84 Time : 0.0 sec. user=mdettweiler [2012-08-26 01:01:24] 797*2^1227228-1 is not prime. Res64: ED4F32ED6F36F534 Time : 0.0 sec. user=gd_barnes [2012-08-26 01:01:41] 917*2^1227226-1 is not prime. Res64: C11C1BE4B2D01693 Time : 0.0 sec. user=gd_barnes [2012-08-26 01:01:54] 631*2^1227227-1 is not prime. Res64: EC3B496954ABEF3C Time : 0.0 sec. user=gd_barnes [2012-08-26 01:02:07] 693*2^1227227-1 is not prime. Res64: 8DAC2114D447C9B5 Time : 0.0 sec. user=gd_barnes [2012-08-26 01:04:07] 781*2^1227227-1 is not prime. Res64: 78E3230C76C82CA3 Time : 0.0 sec. user=gd_barnes [2012-08-26 01:05:20] 973*2^1227227-1 is not prime. Res64: DD9B1E302552A6BA Time : 0.0 sec. user=mdettweiler [2012-08-26 01:20:33] 977*2^1227228-1 is not prime. Res64: FA886707F0641EEE Time : 0.0 sec. user=mdettweiler [2012-08-26 01:20:33] 687*2^1227229-1 is not prime. Res64: AFC756BFC5316944 Time : 0.0 sec. user=mdettweiler [2012-08-26 01:21:55] 691*2^1227229-1 is not prime. Res64: FBA9848EFE0F9CE4 Time : 0.0 sec. user=mdettweiler [2012-08-26 01:21:56] 721*2^1227229-1 is not prime. Res64: 949B3E0BCBDF30A8 Time : 0.0 sec. user=mdettweiler [2012-08-26 01:25:24] 929*2^1227228-1 is not prime. Res64: 752408C794317C92 Time : 0.0 sec. user=vaughan [2012-08-26 01:26:12] 875*2^1227228-1 is not prime. Res64: 873CBEE12B6E817B Time : 0.0 sec. user=mdettweiler [2012-08-26 01:27:39] 945*2^1227228-1 is not prime. Res64: C8B36EA3E787F38A Time : 0.0 sec. user=mdettweiler [2012-08-26 01:30:10] 853*2^1227223-1 is not prime. Res64: 1097AB6FF8A87587 Time : 0.0 sec. user=mdettweiler [2012-08-26 01:30:12] 659*2^1227224-1 is not prime. Res64: 3264732C2B04F27A Time : 0.0 sec. user=mdettweiler [2012-08-26 01:30:52] 677*2^1227224-1 is not prime. Res64: 829C8A4C7EC24F54 Time : 0.0 sec. user=mdettweiler [2012-08-26 01:30:52] 773*2^1227224-1 is not prime. Res64: 0218ECFEF3587CD9 Time : 0.0 sec. user=mdettweiler [2012-08-26 01:31:25] 827*2^1227224-1 is not prime. Res64: D31E4F42ECAE693F Time : 0.0 sec. user=mdettweiler [2012-08-26 01:31:25] 869*2^1227224-1 is not prime. Res64: 791CF7517EF5C473 Time : 0.0 sec. user=mdettweiler [2012-08-26 01:32:11] 667*2^1227225-1 is not prime. Res64: B47A4DB5CBD37BDE Time : 0.0 sec. user=mdettweiler [2012-08-26 01:32:11] 739*2^1227225-1 is not prime. Res64: EE30DDBE3E958CF4 Time : 0.0 sec. user=mdettweiler [2012-08-26 01:41:09] 817*2^1227229-1 is not prime. Res64: E1C4DD46D6E761A3 Time : 0.0 sec. user=mdettweiler [2012-08-26 01:41:09] 999*2^1227229-1 is not prime. Res64: 83F6A7311CD432C1 Time : 0.0 sec. user=mdettweiler [2012-08-26 01:42:27] 605*2^1227230-1 is not prime. Res64: 6442B2E51006D536 Time : 0.0 sec. user=mdettweiler [2012-08-26 01:42:27] 671*2^1227230-1 is not prime. Res64: D7D1ECE859320B61 Time : 0.0 sec. user=mdettweiler [2012-08-26 01:55:28] 927*2^1227230-1 is not prime. Res64: 16AC3F611AD9A556 Time : 0.0 sec. user=mdettweiler [2012-08-26 01:57:26] 945*2^1227230-1 is not prime. Res64: A0866FD733137379 Time : 0.0 sec. user=mdettweiler [2012-08-26 02:01:40] 675*2^1227232-1 is not prime. Res64: 8F343486A65EA176 Time : 0.0 sec. user=mdettweiler [2012-08-26 02:01:41] 849*2^1227232-1 is not prime. Res64: CA4A2BF1833BD8FE Time : 0.0 sec. user=mdettweiler [2012-08-26 02:02:58] 873*2^1227232-1 is not prime. Res64: BBA06AA712E6F0A6 Time : 0.0 sec. user=mdettweiler [2012-08-26 02:02:59] 875*2^1227232-1 is not prime. Res64: D2CCE4E5ACA795E4 Time : 0.0 sec. user=vaughan [2012-08-26 02:03:40] 935*2^1227230-1 is not prime. Res64: F15A1C740DE5A29C Time : 0.0 sec. user=mdettweiler [2012-08-26 02:22:14] 607*2^1227233-1 is not prime. Res64: 17C6EA246B730391 Time : 0.0 sec. user=mdettweiler [2012-08-26 02:22:14] 615*2^1227233-1 is not prime. Res64: D1DE1C931D846785 Time : 0.0 sec. user=mdettweiler [2012-08-26 02:23:31] 741*2^1227233-1 is not prime. Res64: 7889571394EDB234 Time : 0.0 sec. user=mdettweiler [2012-08-26 02:23:31] 925*2^1227233-1 is not prime. Res64: 52004271FDF30D6F Time : 0.0 sec. user=mdettweiler [2012-08-26 02:25:08] 909*2^1227232-1 is not prime. Res64: 524CACE6E24D8B8B Time : 0.0 sec. user=mdettweiler [2012-08-26 02:27:00] 995*2^1227232-1 is not prime. Res64: 5E565A553C165190 Time : 0.0 sec. user=vaughan [2012-08-26 02:41:10] 967*2^1227233-1 is not prime. Res64: 33127D4E1E116519 Time : 0.0 sec. user=mdettweiler [2012-08-26 02:42:46] 605*2^1227234-1 is not prime. Res64: EF99FA95F51B3929 Time : 0.0 sec. user=mdettweiler [2012-08-26 02:42:47] 633*2^1227234-1 is not prime. Res64: 244DD8675B4A8DF8 Time : 0.0 sec. user=mdettweiler [2012-08-26 02:43:36] 971*2^1227230-1 is not prime. Res64: F70B0784BEED4635 Time : 0.0 sec. user=mdettweiler [2012-08-26 02:43:37] 675*2^1227231-1 is not prime. Res64: 9E7618DACFF6C464 Time : 0.0 sec. user=mdettweiler [2012-08-26 02:44:02] 681*2^1227234-1 is not prime. Res64: DCFE303B6CEE49C1 Time : 0.0 sec. user=mdettweiler [2012-08-26 02:44:03] 683*2^1227234-1 is not prime. Res64: 51A79EC0DEA3FF07 Time : 0.0 sec. user=mdettweiler [2012-08-26 02:44:30] 751*2^1227231-1 is not prime. Res64: 69FFC2981B98B00A Time : 0.0 sec. user=mdettweiler [2012-08-26 02:44:30] 819*2^1227231-1 is not prime. Res64: 8C20CA626EDBF3FA Time : 0.0 sec. user=mdettweiler [2012-08-26 02:45:07] 861*2^1227231-1 is not prime. Res64: B075181BF8B942A6 Time : 0.0 sec. user=mdettweiler [2012-08-26 02:45:07] 871*2^1227231-1 is not prime. Res64: D6029233AFC74D34 Time : 0.0 sec. user=mdettweiler [2012-08-26 02:45:41] 605*2^1227232-1 is not prime. Res64: 610A61F740E04901 Time : 0.0 sec. user=mdettweiler [2012-08-26 02:45:41] 657*2^1227232-1 is not prime. Res64: 194B2BEA58C38552 Time : 0.0 sec. user=gd_barnes [2012-08-26 02:49:11] 985*2^1227233-1 is not prime. Res64: 404E2E3FE48D8DC9 Time : 0.0 sec. user=mdettweiler [2012-08-26 02:55:04] 705*2^1227234-1 is not prime. Res64: 1E346A18B1BCD255 Time : 0.0 sec. user=mdettweiler [2012-08-26 02:56:57] 723*2^1227234-1 is not prime. Res64: 36C770A64B1E07A7 Time : 0.0 sec. user=mdettweiler [2012-08-26 03:03:19] 791*2^1227234-1 is not prime. Res64: 2CEF24D1A337C12C Time : 0.0 sec. user=mdettweiler [2012-08-26 03:03:20] 921*2^1227234-1 is not prime. Res64: BAF163098AB27D89 Time : 0.0 sec. user=mdettweiler [2012-08-26 03:04:35] 751*2^1227235-1 is not prime. Res64: 3E652193597DB654 Time : 0.0 sec. user=mdettweiler [2012-08-26 03:04:36] 771*2^1227235-1 is not prime. Res64: 1CAC4510BAE92A14 Time : 0.0 sec. user=vaughan [2012-08-26 03:18:57] 747*2^1227234-1 is not prime. Res64: C15B035642B20374 Time : 0.0 sec. user=mdettweiler [2012-08-26 03:23:51] 699*2^1227237-1 is not prime. Res64: BE06AF49DF4879CB Time : 0.0 sec. user=mdettweiler [2012-08-26 03:23:51] 919*2^1227237-1 is not prime. Res64: E4236AD3217827E1 Time : 0.0 sec. user=gd_barnes [2012-08-26 03:24:40] 749*2^1227236-1 is not prime. Res64: 1A02CDEF3DAB8DFA Time : 0.0 sec. user=mdettweiler [2012-08-26 03:24:49] 927*2^1227236-1 is not prime. Res64: 0FED4E476AFD535B Time : 0.0 sec. user=mdettweiler [2012-08-26 03:25:10] 603*2^1227238-1 is not prime. Res64: 537E04AC5D3A2D0C Time : 0.0 sec. user=mdettweiler [2012-08-26 03:25:10] 623*2^1227238-1 is not prime. Res64: 5BDF62FF6BF592AD Time : 0.0 sec. user=mdettweiler [2012-08-26 03:26:31] 969*2^1227236-1 is not prime. Res64: 19874A6093AA9947 Time : 0.0 sec. user=mdettweiler [2012-08-26 03:44:22] 687*2^1227238-1 is not prime. Res64: A2AFA2A86313A3CF Time : 0.0 sec. user=mdettweiler [2012-08-26 03:44:23] 827*2^1227238-1 is not prime. Res64: 297FA38BAECDEBC2 Time : 0.0 sec. user=mdettweiler [2012-08-26 03:45:40] 923*2^1227238-1 is not prime. Res64: E1D5065C8682EA3D Time : 0.0 sec. user=mdettweiler [2012-08-26 03:45:41] 941*2^1227238-1 is not prime. Res64: 37F32425E3E93991 Time : 0.0 sec. user=vaughan [2012-08-26 03:56:30] 665*2^1227238-1 is not prime. Res64: D8DFD219250BD850 Time : 0.0 sec. user=mdettweiler [2012-08-26 03:57:31] 673*2^1227235-1 is not prime. Res64: 3E9519E5D01D59B5 Time : 0.0 sec. user=mdettweiler [2012-08-26 03:57:31] 691*2^1227235-1 is not prime. Res64: 22A7C444C7AEF584 Time : 0.0 sec. user=mdettweiler [2012-08-26 03:58:18] 775*2^1227235-1 is not prime. Res64: 56850CAAA25A993C Time : 0.0 sec. user=mdettweiler [2012-08-26 03:58:19] 783*2^1227235-1 is not prime. Res64: B741F7153E6EC1F3 Time : 0.0 sec. user=mdettweiler [2012-08-26 03:58:49] 853*2^1227235-1 is not prime. Res64: 8B404F40921D0396 Time : 0.0 sec. user=mdettweiler [2012-08-26 03:58:50] 939*2^1227235-1 is not prime. Res64: CA51AC2C7FCFF295 Time : 0.0 sec. user=mdettweiler [2012-08-26 03:59:21] 629*2^1227236-1 is not prime. Res64: 9E9B800E9A8EBB19 Time : 0.0 sec. user=mdettweiler [2012-08-26 03:59:21] 707*2^1227236-1 is not prime. Res64: 2E1E3C5B93F30621 Time : 0.0 sec. user=mdettweiler [2012-08-26 04:02:22] 857*2^1227238-1 is not prime. Res64: 19083E1DBE693FC1 Time : 0.0 sec. user=mdettweiler [2012-08-26 04:04:54] 645*2^1227239-1 is not prime. Res64: F19F5AF0DE47622F Time : 0.0 sec. user=mdettweiler [2012-08-26 04:04:56] 649*2^1227239-1 is not prime. Res64: 1E65020971CA4BE9 Time : 0.0 sec. user=gd_barnes [2012-08-26 04:04:56] 643*2^1227239-1 is not prime. Res64: 52C61BC5FF1B9713 Time : 0.0 sec. user=mdettweiler [2012-08-26 04:06:12] 675*2^1227239-1 is not prime. Res64: 726A6BE7AD936027 Time : 0.0 sec. user=mdettweiler [2012-08-26 04:06:13] 685*2^1227239-1 is not prime. Res64: 1A66EF3C47FEA3BD Time : 0.0 sec. user=gd_barnes [2012-08-26 04:09:57] 609*2^1227239-1 is not prime. Res64: AD265BB945065058 Time : 0.0 sec. user=mdettweiler [2012-08-26 04:24:52] 981*2^1227238-1 is not prime. Res64: 1B9A681B6E43F63B Time : 0.0 sec. user=mdettweiler [2012-08-26 04:25:43] 691*2^1227241-1 is not prime. Res64: 2654B53B562DF6FB Time : 0.0 sec. user=mdettweiler [2012-08-26 04:25:43] 741*2^1227241-1 is not prime. Res64: C2C81D655747AB3B Time : 0.0 sec. user=mdettweiler [2012-08-26 04:26:46] 747*2^1227241-1 is not prime. Res64: B0E5782DF383363C Time : 0.0 sec. user=mdettweiler [2012-08-26 04:26:47] 849*2^1227241-1 is not prime. Res64: B3FC397D233A20DD Time : 0.0 sec. user=vaughan [2012-08-26 04:34:03] 759*2^1227239-1 is not prime. Res64: 8BF68E33ECF2D7A3 Time : 0.0 sec. user=mdettweiler [2012-08-26 04:41:45] 645*2^1227241-1 is not prime. Res64: A65513F742F5EC20 Time : 0.0 sec. user=mdettweiler [2012-08-26 04:46:14] 895*2^1227241-1 is not prime. Res64: 1DC11345FFFC95E5 Time : 0.0 sec. user=mdettweiler [2012-08-26 04:46:15] 675*2^1227242-1 is not prime. Res64: D27C2F0606CB0683 Time : 0.0 sec. user=mdettweiler [2012-08-26 04:47:17] 713*2^1227242-1 is not prime. Res64: 5E82B2CBC50AF0E2 Time : 0.0 sec. user=mdettweiler [2012-08-26 04:47:17] 755*2^1227242-1 is not prime. Res64: DE9F9BC9DF0C92CA Time : 0.0 sec. user=mdettweiler [2012-08-26 05:06:46] 875*2^1227242-1 is not prime. Res64: 0D0C849C125766B9 Time : 0.0 sec. user=mdettweiler [2012-08-26 05:06:48] 911*2^1227242-1 is not prime. Res64: 106C2B9F41D247EF Time : 0.0 sec. user=mdettweiler [2012-08-26 05:07:48] 615*2^1227243-1 is not prime. Res64: 7BE0BCF7620619F1 Time : 0.0 sec. user=mdettweiler [2012-08-26 05:07:49] 685*2^1227243-1 is not prime. Res64: F5079726EB2E38E0 Time : 0.0 sec. user=vaughan [2012-08-26 05:11:46] 767*2^1227242-1 is not prime. Res64: 2148A119A7CFBDBC Time : 0.0 sec. user=mdettweiler [2012-08-26 05:16:40] 775*2^1227239-1 is not prime. Res64: F4CC349DDC823481 Time : 0.0 sec. user=mdettweiler [2012-08-26 05:16:41] 789*2^1227239-1 is not prime. Res64: EDE7833953986924 Time : 0.0 sec. user=mdettweiler [2012-08-26 05:17:55] 719*2^1227240-1 is not prime. Res64: C9EAB2816DAC6A03 Time : 0.0 sec. user=mdettweiler [2012-08-26 05:17:55] 779*2^1227240-1 is not prime. Res64: 6B8922D2832C6FC6 Time : 0.0 sec. user=mdettweiler [2012-08-26 05:18:02] 861*2^1227239-1 is not prime. Res64: 93AE10421A36CAA8 Time : 0.0 sec. user=mdettweiler [2012-08-26 05:18:03] 939*2^1227239-1 is not prime. Res64: E4A3847D62068E77 Time : 0.0 sec. user=mdettweiler [2012-08-26 05:19:21] 797*2^1227240-1 is not prime. Res64: 85B2DBBAE7FAAFA8 Time : 0.0 sec. user=mdettweiler [2012-08-26 05:19:21] 957*2^1227240-1 is not prime. Res64: C3FEDD32A805D6DB Time : 0.0 sec. user=mdettweiler [2012-08-26 05:19:22] 861*2^1227241-1 is not prime. Res64: 7722FF0B9505D879 Time : 0.0 sec. user=mdettweiler [2012-08-26 05:27:30] 703*2^1227243-1 is not prime. Res64: EF329E9E4B9F5326 Time : 0.0 sec. user=mdettweiler [2012-08-26 05:27:31] 783*2^1227243-1 is not prime. Res64: 313850EDC8EA72ED Time : 0.0 sec. user=mdettweiler [2012-08-26 05:28:21] 789*2^1227243-1 is not prime. Res64: 7075A297BDA7B589 Time : 0.0 sec. user=mdettweiler [2012-08-26 05:28:21] 805*2^1227243-1 is not prime. Res64: 38952FB567205F37 Time : 0.0 sec. user=mdettweiler [2012-08-26 05:30:01] 797*2^1227242-1 is not prime. Res64: 17D4714D95DB600F Time : 0.0 sec. user=gd_barnes [2012-08-26 05:47:49] 869*2^1227244-1 is not prime. Res64: F8689058B5162DB1 Time : 0.0 sec. user=gd_barnes [2012-08-26 05:47:55] 707*2^1227244-1 is not prime. Res64: F3B3B65A84124CE5 Time : 0.0 sec. user=gd_barnes [2012-08-26 05:47:55] 879*2^1227243-1 is not prime. Res64: 81890BAF919974D0 Time : 0.0 sec. user=mdettweiler [2012-08-26 05:48:02] 683*2^1227246-1 is not prime. Res64: D0E39D0DAFA0AFF5 Time : 0.0 sec. user=mdettweiler [2012-08-26 05:48:03] 713*2^1227246-1 is not prime. Res64: 43F876114D993DAF Time : 0.0 sec. user=mdettweiler [2012-08-26 05:48:52] 723*2^1227246-1 is not prime. Res64: 4DB3BD22C4D5076D Time : 0.0 sec. user=mdettweiler [2012-08-26 05:48:53] 765*2^1227246-1 is not prime. Res64: F2E0D5E40A3D1F4C Time : 0.0 sec. user=vaughan [2012-08-26 05:49:16] 835*2^1227243-1 is not prime. Res64: 1F68B4EB25FD5C24 Time : 0.0 sec. user=mdettweiler [2012-08-26 05:54:23] 981*2^1227245-1 is not prime. Res64: 971A05DEB485287D Time : 0.0 sec. user=mdettweiler [2012-08-26 05:59:42] 783*2^1227246-1 is not prime. Res64: 3EB2B73B525A1530 Time : 0.0 sec. user=mdettweiler [2012-08-26 06:08:37] 801*2^1227246-1 is not prime. Res64: ACAD6ADC5C476E68 Time : 0.0 sec. user=mdettweiler [2012-08-26 06:08:37] 861*2^1227246-1 is not prime. Res64: 360872B154903CC6 Time : 0.0 sec. user=mdettweiler [2012-08-26 06:09:26] 681*2^1227247-1 is not prime. Res64: 2ECDC21E04C2EE0B Time : 0.0 sec. user=mdettweiler [2012-08-26 06:09:28] 693*2^1227247-1 is not prime. Res64: F49C7E15BDCB0150 Time : 0.0 sec. user=mdettweiler [2012-08-26 06:23:59] 793*2^1227247-1 is not prime. Res64: 08D9A4FE423C3B62 Time : 0.0 sec. user=vaughan [2012-08-26 06:26:46] 741*2^1227247-1 is not prime. Res64: 9E8A1AFB0922347D Time : 0.0 sec. user=mdettweiler [2012-08-26 06:29:08] 797*2^1227248-1 is not prime. Res64: 9B7DF249B3B9762B Time : 0.0 sec. user=mdettweiler [2012-08-26 06:29:09] 813*2^1227248-1 is not prime. Res64: 47B6606CB257E38C Time : 0.0 sec. user=mdettweiler [2012-08-26 06:29:19] 841*2^1227247-1 is not prime. Res64: A30BDB4BADFA70A0 Time : 0.0 sec. user=mdettweiler [2012-08-26 06:29:59] 969*2^1227248-1 is not prime. Res64: D80FF8457C72F61E Time : 0.0 sec. user=mdettweiler [2012-08-26 06:30:00] 615*2^1227249-1 is not prime. Res64: 295C0D9719059901 Time : 0.0 sec. user=mdettweiler [2012-08-26 06:31:03] 901*2^1227243-1 is not prime. Res64: 075ADB89112C5B58 Time : 0.0 sec. user=mdettweiler [2012-08-26 06:31:03] 695*2^1227244-1 is not prime. Res64: C7C7EA7A007AC651 Time : 0.0 sec. user=mdettweiler [2012-08-26 06:31:47] 965*2^1227244-1 is not prime. Res64: 71C019CAE6CF9C2E Time : 0.0 sec. user=mdettweiler [2012-08-26 06:31:47] 717*2^1227245-1 is not prime. Res64: 680597414CD084FD Time : 0.0 sec. user=mdettweiler [2012-08-26 06:31:51] 729*2^1227245-1 is not prime. Res64: 23F0854341D37681 Time : 0.0 sec. user=mdettweiler [2012-08-26 06:31:52] 775*2^1227245-1 is not prime. Res64: 383CAD8791B4B9CB Time : 0.0 sec. user=mdettweiler [2012-08-26 06:32:55] 907*2^1227245-1 is not prime. Res64: A23C57082F313CD1 Time : 0.0 sec. user=mdettweiler [2012-08-26 06:32:55] 927*2^1227245-1 is not prime. Res64: 1EEC26042B1CE92F Time : 0.0 sec. user=mdettweiler [2012-08-26 06:49:39] 765*2^1227249-1 is not prime. Res64: DC702761C873BB30 Time : 0.0 sec. user=mdettweiler [2012-08-26 06:49:40] 787*2^1227249-1 is not prime. Res64: 2203692EA5815CFC Time : 0.0 sec. user=mdettweiler [2012-08-26 06:50:32] 895*2^1227249-1 is not prime. Res64: 8626515B54690D81 Time : 0.0 sec. user=mdettweiler [2012-08-26 06:50:32] 975*2^1227249-1 is not prime. Res64: 8E6EE8C6972B3A46 Time : 0.0 sec. user=mdettweiler [2012-08-26 06:53:32] 649*2^1227249-1 is not prime. Res64: 4A90070A3A99B908 Time : 0.0 sec. user=gd_barnes [2012-08-26 06:57:17] 623*2^1227252-1 is not prime. Res64: CA502B193FE12C92 Time : 0.0 sec. user=gd_barnes [2012-08-26 06:58:22] 733*2^1227251-1 is not prime. Res64: 07A9FA0E54422E95 Time : 0.0 sec. user=mdettweiler [2012-08-26 06:58:53] 865*2^1227249-1 is not prime. Res64: A24813261D1AF493 Time : 0.0 sec. user=gd_barnes [2012-08-26 06:58:55] 665*2^1227252-1 is not prime. Res64: 2F98AE3240A20518 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:01:38] 689*2^1227252-1 is not prime. Res64: E64B0BCA41AF5863 Time : 0.0 sec. user=vaughan [2012-08-26 07:04:14] 747*2^1227249-1 is not prime. Res64: 68C676DE5CAD1A66 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:05:51] 725*2^1227252-1 is not prime. Res64: 359AE34068490AD1 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:07:42] 695*2^1227252-1 is not prime. Res64: AB27BD73D9BA3B3A Time : 0.0 sec. user=gd_barnes [2012-08-26 07:09:51] 803*2^1227252-1 is not prime. Res64: AE98137BC5082E23 Time : 0.0 sec. user=mdettweiler [2012-08-26 07:10:11] 681*2^1227253-1 is not prime. Res64: 30CAC4BB9BE6CF0B Time : 0.0 sec. user=mdettweiler [2012-08-26 07:10:12] 729*2^1227253-1 is not prime. Res64: 610F145F67884566 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:10:18] 909*2^1227252-1 is not prime. Res64: 043EE6ABACBFB3DF Time : 0.0 sec. user=gd_barnes [2012-08-26 07:10:53] 899*2^1227252-1 is not prime. Res64: 5A35E6DCD5FF5700 Time : 0.0 sec. user=mdettweiler [2012-08-26 07:11:02] 765*2^1227253-1 is not prime. Res64: 9BD465CAF3282CDB Time : 0.0 sec. user=mdettweiler [2012-08-26 07:11:03] 801*2^1227253-1 is not prime. Res64: 561613B06EA4A169 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:12:40] 679*2^1227253-1 is not prime. Res64: 3F6E077487728EDA Time : 0.0 sec. user=gd_barnes [2012-08-26 07:14:38] 923*2^1227252-1 is not prime. Res64: 41A3C37EC7D367B6 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:15:48] 747*2^1227253-1 is not prime. Res64: 2CAD6AF23BD42A12 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:17:48] 937*2^1227253-1 is not prime. Res64: F6FAE07C05D6AC6D Time : 0.0 sec. user=gd_barnes [2012-08-26 07:22:17] 675*2^1227254-1 is not prime. Res64: E90851B7EF528044 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:22:28] 635*2^1227254-1 is not prime. Res64: 64138C610A62D40B Time : 0.0 sec. user=mdettweiler [2012-08-26 07:23:04] 999*2^1227253-1 is not prime. Res64: 160C32E5B0385678 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:23:58] 773*2^1227254-1 is not prime. Res64: 769D7F9DA4A6C67F Time : 0.0 sec. user=gd_barnes [2012-08-26 07:24:55] 993*2^1227254-1 is not prime. Res64: EFDF7AEF9AD61E6E Time : 0.0 sec. user=gd_barnes [2012-08-26 07:25:24] 1001*2^1227254-1 is not prime. Res64: 9183F23FC4915E74 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:25:45] 619*2^1227255-1 is not prime. Res64: E3A7DF8EBE194D8D Time : 0.0 sec. user=gd_barnes [2012-08-26 07:25:59] 691*2^1227255-1 is not prime. Res64: EB32C8499825A5A2 Time : 0.0 sec. user=mdettweiler [2012-08-26 07:28:31] 785*2^1227254-1 is not prime. Res64: E6238B6E9E3DA97B Time : 0.0 sec. user=gd_barnes [2012-08-26 07:30:11] 735*2^1227255-1 is not prime. Res64: 9C8CA8AB6B7445AC Time : 0.0 sec. user=mdettweiler [2012-08-26 07:30:49] 601*2^1227257-1 is not prime. Res64: AB703FC635E02E11 Time : 0.0 sec. user=mdettweiler [2012-08-26 07:30:49] 607*2^1227257-1 is not prime. Res64: 2D0F7E6128F1C315 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:31:24] 985*2^1227255-1 is not prime. Res64: 20CE17CF21B57451 Time : 0.0 sec. user=mdettweiler [2012-08-26 07:31:35] 671*2^1227258-1 is not prime. Res64: D475B2B61EC6AA67 Time : 0.0 sec. user=mdettweiler [2012-08-26 07:31:35] 707*2^1227258-1 is not prime. Res64: D9399EFE74BDCF89 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:31:41] 961*2^1227255-1 is not prime. Res64: EC1FB35E064B5EDE Time : 0.0 sec. user=gd_barnes [2012-08-26 07:31:43] 793*2^1227255-1 is not prime. Res64: 170D8C719FAD35E4 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:33:03] 861*2^1227255-1 is not prime. Res64: F7DC50647C09D3AB Time : 0.0 sec. user=gd_barnes [2012-08-26 07:35:16] 711*2^1227257-1 is not prime. Res64: C89C8F382921C8FF Time : 0.0 sec. user=gd_barnes [2012-08-26 07:35:17] 855*2^1227256-1 is not prime. Res64: F3F1E0D61EB67730 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:36:18] 867*2^1227257-1 is not prime. Res64: 3E9A70F60B4A1437 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:36:30] 719*2^1227256-1 is not prime. Res64: 14F7ABBF32971B5D Time : 0.0 sec. user=gd_barnes [2012-08-26 07:36:38] 755*2^1227256-1 is not prime. Res64: 6118CE3D1DA3D093 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:36:46] 899*2^1227256-1 is not prime. Res64: BA070F52E296B924 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:38:14] 711*2^1227258-1 is not prime. Res64: D399F32EF9D3DCB2 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:41:14] 881*2^1227258-1 is not prime. Res64: E057E166FA212CD8 Time : 0.0 sec. user=vaughan [2012-08-26 07:41:45] 909*2^1227255-1 is not prime. Res64: E9C2318F0F147E17 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:42:22] 791*2^1227258-1 is not prime. Res64: EC036C928913BF13 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:44:29] 923*2^1227258-1 is not prime. Res64: 3516DEA206C77592 Time : 0.0 sec. user=mdettweiler [2012-08-26 07:44:55] 887*2^1227250-1 is not prime. Res64: 84FF6C7722EE6640 Time : 0.0 sec. user=mdettweiler [2012-08-26 07:44:55] 711*2^1227251-1 is not prime. Res64: 7762EBAD6E2D23C9 Time : 0.0 sec. user=mdettweiler [2012-08-26 07:44:56] 663*2^1227250-1 is not prime. Res64: 4AB267A9079E2BFB Time : 0.0 sec. user=mdettweiler [2012-08-26 07:44:56] 717*2^1227250-1 is not prime. Res64: BF697935456464FF Time : 0.0 sec. user=mdettweiler [2012-08-26 07:45:58] 785*2^1227250-1 is not prime. Res64: A58405D46CD86C41 Time : 0.0 sec. user=mdettweiler [2012-08-26 07:45:58] 791*2^1227250-1 is not prime. Res64: 9FD855D3B35DA344 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:46:54] 971*2^1227258-1 is not prime. Res64: 84312C416A11CD3B Time : 0.0 sec. user=mdettweiler [2012-08-26 07:46:58] 669*2^1227252-1 is not prime. Res64: B6C7C94C6FFA17B2 Time : 0.0 sec. user=mdettweiler [2012-08-26 07:46:58] 675*2^1227252-1 is not prime. Res64: 159CA8379C20D1A2 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:47:32] 723*2^1227259-1 is not prime. Res64: A1E77CDBE829E2EB Time : 0.0 sec. user=gd_barnes [2012-08-26 07:47:59] 745*2^1227259-1 is not prime. Res64: 82CDA16A173E8BE1 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:49:34] 883*2^1227259-1 is not prime. Res64: 65BCC787475A6B42 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:50:57] 603*2^1227260-1 is not prime. Res64: 978E89CB19930B5B Time : 0.0 sec. user=gd_barnes [2012-08-26 07:50:58] 975*2^1227259-1 is not prime. Res64: D596772318ACA4ED Time : 0.0 sec. user=gd_barnes [2012-08-26 07:51:14] 659*2^1227260-1 is not prime. Res64: 2392AA34C0B6601A Time : 0.0 sec. user=mdettweiler [2012-08-26 07:51:20] 825*2^1227260-1 is not prime. Res64: AC976B97AF635CDE Time : 0.0 sec. user=mdettweiler [2012-08-26 07:51:20] 929*2^1227260-1 is not prime. Res64: 723CF55CA21FB241 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:51:36] 961*2^1227259-1 is not prime. Res64: 9F42D0B20E94AD9F Time : 0.0 sec. user=mdettweiler [2012-08-26 07:52:05] 983*2^1227260-1 is not prime. Res64: 5BC2927B899CA3F5 Time : 0.0 sec. user=mdettweiler [2012-08-26 07:52:06] 741*2^1227261-1 is not prime. Res64: 64962A97366339CF Time : 0.0 sec. user=mdettweiler [2012-08-26 07:52:48] 769*2^1227259-1 is not prime. Res64: 57C6F46432FD672E Time : 0.0 sec. user=gd_barnes [2012-08-26 07:56:50] 963*2^1227260-1 is not prime. Res64: C644201B762970A0 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:58:16] 819*2^1227260-1 is not prime. Res64: A150D9F9271EDD1F Time : 0.0 sec. user=mdettweiler [2012-08-26 07:58:22] 735*2^1227260-1 is not prime. Res64: 808561BA91EA6ED3 Time : 0.0 sec. user=gd_barnes [2012-08-26 07:58:26] 751*2^1227261-1 is not prime. Res64: FCC74A378C2001AB Time : 0.0 sec. user=gd_barnes [2012-08-26 08:00:32] 617*2^1227262-1 is not prime. Res64: 019326688F15EB23 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:00:39] 861*2^1227261-1 is not prime. Res64: 40796498D708A8A4 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:00:49] 603*2^1227262-1 is not prime. Res64: F905F32E9B0B0F3B Time : 0.0 sec. user=gd_barnes [2012-08-26 08:01:43] 635*2^1227262-1 is not prime. Res64: 37E95B0E6ED5BF79 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:01:44] 997*2^1227261-1 is not prime. Res64: 9C34A5639E262DE1 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:02:48] 815*2^1227262-1 is not prime. Res64: 748008C64D2EA523 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:04:00] 857*2^1227262-1 is not prime. Res64: 5A34FED94B448676 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:05:32] 765*2^1227262-1 is not prime. Res64: B5319B6001DCBB5E Time : 0.0 sec. user=gd_barnes [2012-08-26 08:06:07] 681*2^1227262-1 is not prime. Res64: 5A1002F94EE1034C Time : 0.0 sec. user=gd_barnes [2012-08-26 08:06:41] 941*2^1227262-1 is not prime. Res64: 8296A5FE061FBF92 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:10:21] 603*2^1227263-1 is not prime. Res64: 652D04DB52C81B89 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:11:40] 1001*2^1227262-1 is not prime. Res64: 27EA49996836A535 Time : 0.0 sec. user=mdettweiler [2012-08-26 08:11:50] 915*2^1227265-1 is not prime. Res64: 0E9C8BB8C09981C4 Time : 0.0 sec. user=mdettweiler [2012-08-26 08:11:53] 955*2^1227265-1 is not prime. Res64: 357BE68DF0767170 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:12:24] 975*2^1227264-1 is not prime. Res64: 0C2525CFE321BCE1 Time : 0.0 sec. user=mdettweiler [2012-08-26 08:12:36] 627*2^1227266-1 is not prime. Res64: EEDE5C0D8D56E5DF Time : 0.0 sec. user=mdettweiler [2012-08-26 08:12:40] 801*2^1227266-1 is not prime. Res64: B3885F7C678B71B8 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:13:49] 685*2^1227265-1 is not prime. Res64: AF32CD6963B915FB Time : 0.0 sec. user=gd_barnes [2012-08-26 08:15:23] 741*2^1227265-1 is not prime. Res64: 28A412519F6D2A0F Time : 0.0 sec. user=gd_barnes [2012-08-26 08:15:47] 805*2^1227265-1 is not prime. Res64: 3C1D737FA8BFB234 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:15:51] 885*2^1227265-1 is not prime. Res64: 309323E9A23BBCB1 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:16:13] 663*2^1227264-1 is not prime. Res64: 3117B6369FF87DB6 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:16:53] 861*2^1227265-1 is not prime. Res64: AAFA7912FF77E15F Time : 0.0 sec. user=gd_barnes [2012-08-26 08:17:14] 623*2^1227266-1 is not prime. Res64: E6C8BD2AC347A691 Time : 0.0 sec. user=vaughan [2012-08-26 08:19:13] 945*2^1227262-1 is not prime. Res64: D84F6229BDD9B3EC Time : 0.0 sec. user=gd_barnes [2012-08-26 08:22:16] 651*2^1227267-1 is not prime. Res64: 5D20829BC8F759B1 Time : 0.0 sec. user=mdettweiler [2012-08-26 08:23:16] 813*2^1227266-1 is not prime. Res64: 734A2928AD2CB458 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:23:57] 769*2^1227267-1 is not prime. Res64: EB915120189A997C Time : 0.0 sec. user=gd_barnes [2012-08-26 08:25:05] 903*2^1227267-1 is not prime. Res64: E57BEF87BC4EFE77 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:26:16] 677*2^1227268-1 is not prime. Res64: 250ACCBDFF94B012 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:27:13] 777*2^1227268-1 is not prime. Res64: 97836F4172228361 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:27:26] 703*2^1227267-1 is not prime. Res64: BD087EF8C7F689AF Time : 0.0 sec. user=gd_barnes [2012-08-26 08:28:16] 989*2^1227268-1 is not prime. Res64: C724AC8BF54F3B7A Time : 0.0 sec. user=mdettweiler [2012-08-26 08:28:46] 765*2^1227267-1 is not prime. Res64: 6A91469BDFECA582 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:29:34] 675*2^1227269-1 is not prime. Res64: 98BF44E03AF51796 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:30:02] 647*2^1227268-1 is not prime. Res64: 7FDDAE31026B9D18 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:30:52] 707*2^1227268-1 is not prime. Res64: DB645AEAB8499097 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:32:14] 819*2^1227269-1 is not prime. Res64: 613618F2D4483A50 Time : 0.0 sec. user=mdettweiler [2012-08-26 08:32:28] 879*2^1227269-1 is not prime. Res64: 6888A01F325DE654 Time : 0.0 sec. user=mdettweiler [2012-08-26 08:32:29] 889*2^1227269-1 is not prime. Res64: A9B72AEA095F3E1B Time : 0.0 sec. user=mdettweiler [2012-08-26 08:33:12] 949*2^1227269-1 is not prime. Res64: 4616220A7C57742C Time : 0.0 sec. user=mdettweiler [2012-08-26 08:33:13] 665*2^1227270-1 is not prime. Res64: F34FF7A4479CFF3A Time : 0.0 sec. user=gd_barnes [2012-08-26 08:34:43] 697*2^1227269-1 is not prime. Res64: CB1AFB954CD01D2E Time : 0.0 sec. user=gd_barnes [2012-08-26 08:34:48] 811*2^1227269-1 is not prime. Res64: E8DAA006788D927D Time : 0.0 sec. user=gd_barnes [2012-08-26 08:35:50] 865*2^1227269-1 is not prime. Res64: 40DAA1610F6DB58B Time : 0.0 sec. user=gd_barnes [2012-08-26 08:36:54] 939*2^1227269-1 is not prime. Res64: E906F134B4BE92B3 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:39:17] 867*2^1227269-1 is not prime. Res64: 943568D555C46BDC Time : 0.0 sec. user=gd_barnes [2012-08-26 08:39:24] 773*2^1227270-1 is not prime. Res64: 36FB4CDF5A85D1CF Time : 0.0 sec. user=gd_barnes [2012-08-26 08:39:57] 801*2^1227270-1 is not prime. Res64: A84A44429A7D7E47 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:40:09] 845*2^1227270-1 is not prime. Res64: 4A0AF333E322503E Time : 0.0 sec. user=gd_barnes [2012-08-26 08:41:04] 777*2^1227270-1 is not prime. Res64: 6859BF4199A65977 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:42:33] 917*2^1227270-1 is not prime. Res64: 3177563CE801647E Time : 0.0 sec. user=gd_barnes [2012-08-26 08:42:42] 601*2^1227271-1 is not prime. Res64: 239FEBBF65F5DEE8 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:45:48] 893*2^1227270-1 is not prime. Res64: A08F028455617AAE Time : 0.0 sec. user=gd_barnes [2012-08-26 08:47:43] 675*2^1227271-1 is not prime. Res64: 5B59F7A275341855 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:49:24] 829*2^1227271-1 is not prime. Res64: F86B6E0A71BF90AB Time : 0.0 sec. user=gd_barnes [2012-08-26 08:49:34] 617*2^1227272-1 is not prime. Res64: AFEBFFD06E4AB623 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:51:41] 633*2^1227272-1 is not prime. Res64: 78D8197AC07F9639 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:52:37] 635*2^1227272-1 is not prime. Res64: 556E43EB97341533 Time : 0.0 sec. user=mdettweiler [2012-08-26 08:53:00] 979*2^1227273-1 is not prime. Res64: 65CB3F46FB2CADE7 Time : 0.0 sec. user=mdettweiler [2012-08-26 08:53:00] 991*2^1227273-1 is not prime. Res64: 4CB9C05BDB2D740D Time : 0.0 sec. user=mdettweiler [2012-08-26 08:53:06] 819*2^1227271-1 is not prime. Res64: 14F1D583AB51FCC7 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:53:42] 677*2^1227272-1 is not prime. Res64: 3A025CDE0A0EEF79 Time : 0.0 sec. user=mdettweiler [2012-08-26 08:53:46] 999*2^1227273-1 is not prime. Res64: 373B8564A36FD670 Time : 0.0 sec. user=mdettweiler [2012-08-26 08:53:46] 687*2^1227274-1 is not prime. Res64: 71437D70C45AC059 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:54:52] 657*2^1227272-1 is not prime. Res64: B1999219764F0943 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:55:09] 899*2^1227272-1 is not prime. Res64: 6EBEC389E7DEBEA2 Time : 0.0 sec. user=vaughan [2012-08-26 08:56:41] 615*2^1227271-1 is not prime. Res64: 7781B00B0E38E102 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:57:39] 919*2^1227273-1 is not prime. Res64: E1EC545C7A578D1E Time : 0.0 sec. user=mdettweiler [2012-08-26 08:58:28] 879*2^1227272-1 is not prime. Res64: 948AFC0C3A9D5C27 Time : 0.0 sec. user=gd_barnes [2012-08-26 08:59:05] 963*2^1227272-1 is not prime. Res64: 7AC1A55573CEE607 Time : 0.0 sec. user=mdettweiler [2012-08-26 08:59:47] 633*2^1227263-1 is not prime. Res64: D3342B90DC0A4535 Time : 0.0 sec. user=mdettweiler [2012-08-26 08:59:47] 663*2^1227263-1 is not prime. Res64: 4838D81D8D1F7BC6 Time : 0.0 sec. user=mdettweiler [2012-08-26 08:59:50] 739*2^1227263-1 is not prime. Res64: AFC77BE5DC07471F Time : 0.0 sec. user=mdettweiler [2012-08-26 08:59:50] 879*2^1227263-1 is not prime. Res64: 52D56A01C483CA8C Time : 0.0 sec. user=gd_barnes [2012-08-26 09:00:12] 983*2^1227272-1 is not prime. Res64: E119459AE5CB395E Time : 0.0 sec. user=mdettweiler [2012-08-26 09:01:07] 609*2^1227264-1 is not prime. Res64: D02B925F3B673AFA Time : 0.0 sec. user=mdettweiler [2012-08-26 09:01:08] 635*2^1227264-1 is not prime. Res64: 74B24158ADC7DD18 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:01:22] 803*2^1227274-1 is not prime. Res64: FA477BF60EAD99B7 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:01:43] 833*2^1227274-1 is not prime. Res64: F7DEECBFFF0A833A Time : 0.0 sec. user=mdettweiler [2012-08-26 09:01:53] 887*2^1227264-1 is not prime. Res64: 04E8D0D1E6FAD8E5 Time : 0.0 sec. user=mdettweiler [2012-08-26 09:01:53] 899*2^1227264-1 is not prime. Res64: 93EC90C986DCCF69 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:03:24] 723*2^1227274-1 is not prime. Res64: EE37F3E4AEBA3E0E Time : 0.0 sec. user=gd_barnes [2012-08-26 09:03:53] 731*2^1227274-1 is not prime. Res64: 15CFDF455B70039E Time : 0.0 sec. user=gd_barnes [2012-08-26 09:04:40] 941*2^1227274-1 is not prime. Res64: BF16C9B06699CC37 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:04:58] 945*2^1227274-1 is not prime. Res64: CE8D600E23FAF1A0 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:05:01] 917*2^1227274-1 is not prime. Res64: 3D104D7ACF3616E7 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:06:39] 699*2^1227275-1 is not prime. Res64: A1C8E04AC070A95A Time : 0.0 sec. user=gd_barnes [2012-08-26 09:07:50] 915*2^1227274-1 is not prime. Res64: 087C7F583704E668 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:08:07] 739*2^1227275-1 is not prime. Res64: D974B1F19AF646EF Time : 0.0 sec. user=gd_barnes [2012-08-26 09:08:17] 759*2^1227275-1 is not prime. Res64: 75AC6669F1AFDC85 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:13:07] 913*2^1227275-1 is not prime. Res64: 96760E423510FCC6 Time : 0.0 sec. user=mdettweiler [2012-08-26 09:13:31] 635*2^1227276-1 is not prime. Res64: D703CE84C6F9DD84 Time : 0.0 sec. user=mdettweiler [2012-08-26 09:13:33] 737*2^1227276-1 is not prime. Res64: 52F61C6E9489A8B2 Time : 0.0 sec. user=mdettweiler [2012-08-26 09:14:16] 923*2^1227276-1 is not prime. Res64: BBEB2C231A8CAF37 Time : 0.0 sec. user=mdettweiler [2012-08-26 09:14:17] 993*2^1227276-1 is not prime. Res64: F6CED28487CD19F0 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:14:29] 979*2^1227275-1 is not prime. Res64: 5170D040BDA73A4F Time : 0.0 sec. user=gd_barnes [2012-08-26 09:15:08] 963*2^1227275-1 is not prime. Res64: 7C1A91AFB7BDEE68 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:15:18] 903*2^1227275-1 is not prime. Res64: 3108F6ABD68DAF80 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:17:05] 985*2^1227275-1 is not prime. Res64: 34D971FE598DC8C3 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:18:08] 629*2^1227276-1 is not prime. Res64: A0A6AE523F62F84A Time : 0.0 sec. user=gd_barnes [2012-08-26 09:19:29] 857*2^1227276-1 is not prime. Res64: 4D1D7A3AD56FD494 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:20:46] 645*2^1227277-1 is not prime. Res64: 85703ECD3C2A97C4 Time : 0.0 sec. user=mdettweiler [2012-08-26 09:22:38] 765*2^1227276-1 is not prime. Res64: 4001DF8FFD690240 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:23:04] 847*2^1227277-1 is not prime. Res64: B0491CEB17B8662C Time : 0.0 sec. user=gd_barnes [2012-08-26 09:24:52] 615*2^1227277-1 is not prime. Res64: ECE1DA43EB0D5626 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:26:43] 709*2^1227279-1 is not prime. Res64: B7F8ABA1E66CE72B Time : 0.0 sec. user=gd_barnes [2012-08-26 09:27:13] 619*2^1227279-1 is not prime. Res64: B5847A9B9AE444BE Time : 0.0 sec. user=gd_barnes [2012-08-26 09:27:32] 939*2^1227277-1 is not prime. Res64: 4F28517371E897CD Time : 0.0 sec. user=mdettweiler [2012-08-26 09:27:59] 895*2^1227277-1 is not prime. Res64: 522C8E08086DB34E Time : 0.0 sec. user=gd_barnes [2012-08-26 09:29:28] 921*2^1227279-1 is not prime. Res64: 9D130C67F537000B Time : 0.0 sec. user=gd_barnes [2012-08-26 09:29:49] 753*2^1227278-1 is not prime. Res64: 3EA55BA89B6B4111 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:30:04] 665*2^1227280-1 is not prime. Res64: EE2D8F1BA00CD688 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:30:38] 677*2^1227280-1 is not prime. Res64: 0F85ECA0DD6F1D8C Time : 0.0 sec. user=gd_barnes [2012-08-26 09:32:24] 839*2^1227280-1 is not prime. Res64: A9BC1980CE332A69 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:32:38] 853*2^1227279-1 is not prime. Res64: 640EC8C54908E6E2 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:32:47] 861*2^1227279-1 is not prime. Res64: EEFECFC552C482DE Time : 0.0 sec. user=gd_barnes [2012-08-26 09:33:41] 905*2^1227280-1 is not prime. Res64: D424D7EE40D63EA9 Time : 0.0 sec. user=mdettweiler [2012-08-26 09:34:06] 837*2^1227281-1 is not prime. Res64: A046C62CD024960E Time : 0.0 sec. user=mdettweiler [2012-08-26 09:34:06] 925*2^1227281-1 is not prime. Res64: C1E429D9B504C638 Time : 0.0 sec. user=vaughan [2012-08-26 09:34:10] 717*2^1227277-1 is not prime. Res64: 15E439C38B56E545 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:34:13] 929*2^1227280-1 is not prime. Res64: 12999E06210F630B Time : 0.0 sec. user=mdettweiler [2012-08-26 09:34:50] 949*2^1227281-1 is not prime. Res64: D29A88D7FDA3AD14 Time : 0.0 sec. user=mdettweiler [2012-08-26 09:34:50] 979*2^1227281-1 is not prime. Res64: A4B73365B4E21EE4 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:36:11] 875*2^1227280-1 is not prime. Res64: 5528F48C24E27A62 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:38:40] 619*2^1227281-1 is not prime. Res64: 061B813518A4FF51 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:39:31] 651*2^1227282-1 is not prime. Res64: 218DA0ECDF5F9577 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:41:07] 713*2^1227282-1 is not prime. Res64: 1F320E0D73ED2919 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:42:32] 815*2^1227282-1 is not prime. Res64: 804C4158267D1DEC Time : 0.0 sec. user=gd_barnes [2012-08-26 09:43:31] 875*2^1227282-1 is not prime. Res64: 65755CAC7911D3AE Time : 0.0 sec. user=gd_barnes [2012-08-26 09:45:00] 731*2^1227282-1 is not prime. Res64: 1299A229CC1B2E55 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:45:28] 921*2^1227282-1 is not prime. Res64: C4E84FF68CDD95BC Time : 0.0 sec. user=gd_barnes [2012-08-26 09:46:14] 975*2^1227282-1 is not prime. Res64: 1172FBD731226D48 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:48:31] 983*2^1227282-1 is not prime. Res64: 76C890DA998D3601 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:51:40] 789*2^1227283-1 is not prime. Res64: B44F5C5D4AE0585F Time : 0.0 sec. user=mdettweiler [2012-08-26 09:52:21] 977*2^1227282-1 is not prime. Res64: 857DFE8B4CCA5967 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:53:09] 769*2^1227283-1 is not prime. Res64: FA315B6276A8E639 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:53:17] 829*2^1227283-1 is not prime. Res64: D8E7E83ED410A8B5 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:54:36] 973*2^1227283-1 is not prime. Res64: E6A6CCC0D306CD65 Time : 0.0 sec. user=mdettweiler [2012-08-26 09:54:37] 1001*2^1227286-1 is not prime. Res64: BC8C43BC3180F05A Time : 0.0 sec. user=mdettweiler [2012-08-26 09:54:38] 609*2^1227287-1 is not prime. Res64: FFE1DC263745F8DC Time : 0.0 sec. user=gd_barnes [2012-08-26 09:55:06] 743*2^1227284-1 is not prime. Res64: 75E5A0037C867E19 Time : 0.0 sec. user=mdettweiler [2012-08-26 09:55:22] 735*2^1227287-1 is not prime. Res64: A0112FA106B1413C Time : 0.0 sec. user=mdettweiler [2012-08-26 09:55:22] 759*2^1227287-1 is not prime. Res64: ECB28641E6F861C7 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:56:09] 609*2^1227285-1 is not prime. Res64: 837848D9C55AB900 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:56:54] 849*2^1227283-1 is not prime. Res64: F971CC1B7430A68A Time : 0.0 sec. user=mdettweiler [2012-08-26 09:57:46] 919*2^1227283-1 is not prime. Res64: 67FD951E0F563B35 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:58:03] 867*2^1227285-1 is not prime. Res64: 0386F7AD2B5BE2BA Time : 0.0 sec. user=gd_barnes [2012-08-26 09:58:39] 689*2^1227284-1 is not prime. Res64: 7D5A31CA4E7EFF17 Time : 0.0 sec. user=gd_barnes [2012-08-26 09:59:19] 933*2^1227286-1 is not prime. Res64: A40FC7538D40FB27 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:00:08] 675*2^1227287-1 is not prime. Res64: A2B13B62966DCD32 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:01:57] 813*2^1227286-1 is not prime. Res64: 6276A776A4380FB4 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:02:05] 881*2^1227286-1 is not prime. Res64: ECEA57CE0017AA94 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:03:22] 775*2^1227287-1 is not prime. Res64: E9E252690C849089 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:04:04] 799*2^1227287-1 is not prime. Res64: 0912129241B9A6AA Time : 0.0 sec. user=gd_barnes [2012-08-26 10:04:23] 805*2^1227287-1 is not prime. Res64: A453150E9290DB1D Time : 0.0 sec. user=gd_barnes [2012-08-26 10:06:51] 825*2^1227287-1 is not prime. Res64: 562469E6A174A79E Time : 0.0 sec. user=gd_barnes [2012-08-26 10:07:56] 841*2^1227287-1 is not prime. Res64: 7FE2477F769861B1 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:08:58] 879*2^1227287-1 is not prime. Res64: 98AB857EFC039B50 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:11:12] 981*2^1227287-1 is not prime. Res64: 58EAB472E2073AD4 Time : 0.0 sec. user=vaughan [2012-08-26 10:11:38] 615*2^1227287-1 is not prime. Res64: CEB14AB8AC7392F7 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:11:48] 627*2^1227288-1 is not prime. Res64: D450D0B8A63DD8C1 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:13:57] 629*2^1227288-1 is not prime. Res64: 673B93FB3DB089F2 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:14:04] 901*2^1227287-1 is not prime. Res64: 6B7A8008894142DB Time : 0.0 sec. user=mdettweiler [2012-08-26 10:15:07] 875*2^1227288-1 is not prime. Res64: 3E9425AF6284B330 Time : 0.0 sec. user=mdettweiler [2012-08-26 10:15:08] 649*2^1227289-1 is not prime. Res64: 1C4B379A6322DEE5 Time : 0.0 sec. user=mdettweiler [2012-08-26 10:15:33] 945*2^1227277-1 is not prime. Res64: 4521F3E802337103 Time : 0.0 sec. user=mdettweiler [2012-08-26 10:15:33] 957*2^1227277-1 is not prime. Res64: 2F79528BE5AA698F Time : 0.0 sec. user=mdettweiler [2012-08-26 10:15:48] 665*2^1227278-1 is not prime. Res64: 4DED6836D625EDCD Time : 0.0 sec. user=mdettweiler [2012-08-26 10:15:48] 743*2^1227278-1 is not prime. Res64: 77D4ED93D8CD21AE Time : 0.0 sec. user=mdettweiler [2012-08-26 10:15:53] 861*2^1227289-1 is not prime. Res64: 59358825F0C90138 Time : 0.0 sec. user=mdettweiler [2012-08-26 10:15:53] 939*2^1227289-1 is not prime. Res64: 937DF5CA0D31C207 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:16:21] 707*2^1227288-1 is not prime. Res64: E1748499424E2A99 Time : 0.0 sec. user=mdettweiler [2012-08-26 10:16:29] 773*2^1227278-1 is not prime. Res64: B4D54AB2B98ED7AF Time : 0.0 sec. user=mdettweiler [2012-08-26 10:16:29] 911*2^1227278-1 is not prime. Res64: 30EB09457A622348 Time : 0.0 sec. user=mdettweiler [2012-08-26 10:17:57] 751*2^1227279-1 is not prime. Res64: D49A2ADD9C5FA970 Time : 0.0 sec. user=mdettweiler [2012-08-26 10:17:57] 789*2^1227279-1 is not prime. Res64: 62C6377B13239409 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:18:50] 825*2^1227288-1 is not prime. Res64: DCAC3259DE99720C Time : 0.0 sec. user=gd_barnes [2012-08-26 10:19:03] 817*2^1227289-1 is not prime. Res64: 55FCC671FB093F64 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:19:47] 831*2^1227289-1 is not prime. Res64: 7A8A587141895FCF Time : 0.0 sec. user=gd_barnes [2012-08-26 10:21:42] 741*2^1227290-1 is not prime. Res64: 3B066AD4BAB9A776 Time : 0.0 sec. user=mdettweiler [2012-08-26 10:21:58] 735*2^1227288-1 is not prime. Res64: C750F20B9AF5B80E Time : 0.0 sec. user=gd_barnes [2012-08-26 10:23:40] 801*2^1227290-1 is not prime. Res64: D74F14B7EF179B08 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:23:40] 773*2^1227288-1 is not prime. Res64: B75BCCAECFC3F37D Time : 0.0 sec. user=gd_barnes [2012-08-26 10:24:57] 911*2^1227290-1 is not prime. Res64: 9576205551214FA4 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:25:45] 767*2^1227290-1 is not prime. Res64: EF76B4D89C02E45F Time : 0.0 sec. user=gd_barnes [2012-08-26 10:25:45] 917*2^1227290-1 is not prime. Res64: 89F15FDE8A89F2C8 Time : 0.0 sec. user=mdettweiler [2012-08-26 10:27:17] 785*2^1227290-1 is not prime. Res64: DCBBA1F1FD374A1D Time : 0.0 sec. user=gd_barnes [2012-08-26 10:27:42] 827*2^1227290-1 is not prime. Res64: 59664F1AF8DD0B71 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:28:59] 955*2^1227291-1 is not prime. Res64: E1C649B10B767DEB Time : 0.0 sec. user=gd_barnes [2012-08-26 10:29:34] 903*2^1227291-1 is not prime. Res64: 4189E48B437ABC6C Time : 0.0 sec. user=gd_barnes [2012-08-26 10:30:32] 995*2^1227290-1 is not prime. Res64: FC65815729431124 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:31:37] 927*2^1227290-1 is not prime. Res64: 2432C447E5C18099 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:32:34] 617*2^1227292-1 is not prime. Res64: 6B56596F8FD22E9E Time : 0.0 sec. user=gd_barnes [2012-08-26 10:32:49] 751*2^1227291-1 is not prime. Res64: 269603A1704323E6 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:33:23] 623*2^1227292-1 is not prime. Res64: B49F4B070BA148E8 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:34:27] 657*2^1227292-1 is not prime. Res64: EBD1B7763F9C35CD Time : 0.0 sec. user=mdettweiler [2012-08-26 10:35:40] 607*2^1227293-1 is not prime. Res64: A6536EB16E047FF2 Time : 0.0 sec. user=mdettweiler [2012-08-26 10:35:40] 715*2^1227293-1 is not prime. Res64: B18A3CC5DA81A3D4 Time : 0.0 sec. user=mdettweiler [2012-08-26 10:36:25] 615*2^1227294-1 is not prime. Res64: 9A3F46D663A60DCE Time : 0.0 sec. user=mdettweiler [2012-08-26 10:36:25] 651*2^1227294-1 is not prime. Res64: 91EAEF9DB15435E0 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:37:02] 717*2^1227292-1 is not prime. Res64: A793723DEF9AACE4 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:37:25] 923*2^1227292-1 is not prime. Res64: F556FAA269C7134D Time : 0.0 sec. user=gd_barnes [2012-08-26 10:39:33] 959*2^1227292-1 is not prime. Res64: 7A3DD94503480607 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:41:26] 677*2^1227294-1 is not prime. Res64: 098E33F4E23523E2 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:43:19] 987*2^1227292-1 is not prime. Res64: 48E384DC67BB4BFE Time : 0.0 sec. user=gd_barnes [2012-08-26 10:43:58] 723*2^1227295-1 is not prime. Res64: F10E43DABFA33F6B Time : 0.0 sec. user=gd_barnes [2012-08-26 10:44:49] 651*2^1227295-1 is not prime. Res64: 258F5A44EE3F5528 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:45:00] 759*2^1227295-1 is not prime. Res64: 57B8A3AF576ECCB4 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:47:24] 775*2^1227295-1 is not prime. Res64: 1D25F73091163D3D Time : 0.0 sec. user=vaughan [2012-08-26 10:49:09] 735*2^1227292-1 is not prime. Res64: E22A7344C04E3C79 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:49:16] 919*2^1227295-1 is not prime. Res64: 889FF77AE8DAB6D5 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:50:33] 735*2^1227296-1 is not prime. Res64: 56A5B482D0DE6970 Time : 0.0 sec. user=mdettweiler [2012-08-26 10:51:30] 915*2^1227295-1 is not prime. Res64: 3204E74C53238D14 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:51:41] 699*2^1227296-1 is not prime. Res64: 76F80ECA0BAF20A2 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:51:50] 935*2^1227296-1 is not prime. Res64: 2DA67991E54309BE Time : 0.0 sec. user=gd_barnes [2012-08-26 10:54:11] 691*2^1227297-1 is not prime. Res64: B80B5B337BC1E04C Time : 0.0 sec. user=gd_barnes [2012-08-26 10:55:00] 739*2^1227297-1 is not prime. Res64: 86DFD5FAE748EF5F Time : 0.0 sec. user=gd_barnes [2012-08-26 10:55:25] 767*2^1227296-1 is not prime. Res64: 48EC7BAF3D7A84C6 Time : 0.0 sec. user=mdettweiler [2012-08-26 10:56:12] 677*2^1227298-1 is not prime. Res64: D0D5EDE9ADA84EBE Time : 0.0 sec. user=mdettweiler [2012-08-26 10:56:12] 681*2^1227298-1 is not prime. Res64: 907F7F0DF65F5B6E Time : 0.0 sec. user=mdettweiler [2012-08-26 10:56:52] 637*2^1227297-1 is not prime. Res64: B803D8C4C28D1D65 Time : 0.0 sec. user=mdettweiler [2012-08-26 10:56:56] 731*2^1227298-1 is not prime. Res64: CFA406A22A8D87C6 Time : 0.0 sec. user=mdettweiler [2012-08-26 10:56:57] 885*2^1227298-1 is not prime. Res64: 3A675479FEDF4AE4 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:57:08] 651*2^1227297-1 is not prime. Res64: 627AC49252E82EA0 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:58:43] 871*2^1227297-1 is not prime. Res64: 6330406A1DC7B87F Time : 0.0 sec. user=gd_barnes [2012-08-26 10:58:49] 635*2^1227298-1 is not prime. Res64: 078AE1699288E8C0 Time : 0.0 sec. user=gd_barnes [2012-08-26 10:59:54] 645*2^1227298-1 is not prime. Res64: BEECC84C96AC6B5B Time : 0.0 sec. user=gd_barnes [2012-08-26 11:00:14] 835*2^1227297-1 is not prime. Res64: C776D9CD090DF680 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:00:21] 849*2^1227297-1 is not prime. Res64: 90BACDBF40F205BE Time : 0.0 sec. user=gd_barnes [2012-08-26 11:00:54] 945*2^1227297-1 is not prime. Res64: F2A35786F5299431 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:03:00] 987*2^1227298-1 is not prime. Res64: DF4A9A62E7B79708 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:03:11] 971*2^1227298-1 is not prime. Res64: 1B21985FBDCED452 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:04:59] 813*2^1227299-1 is not prime. Res64: D823939C00E711C4 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:06:43] 943*2^1227299-1 is not prime. Res64: 747D8886C6CD04F6 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:09:04] 635*2^1227300-1 is not prime. Res64: 5F922DAC64606009 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:10:12] 699*2^1227300-1 is not prime. Res64: CEF59AD53CB5B47B Time : 0.0 sec. user=gd_barnes [2012-08-26 11:11:03] 647*2^1227300-1 is not prime. Res64: A4EBC08AE8018074 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:12:52] 627*2^1227300-1 is not prime. Res64: CE9D20811D0D1252 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:13:01] 825*2^1227300-1 is not prime. Res64: 6AD816678C4B242A Time : 0.0 sec. user=gd_barnes [2012-08-26 11:14:44] 607*2^1227301-1 is not prime. Res64: 3B2E19B5F75F6F5E Time : 0.0 sec. user=gd_barnes [2012-08-26 11:16:08] 687*2^1227301-1 is not prime. Res64: E4BA20E7B78643A9 Time : 0.0 sec. user=mdettweiler [2012-08-26 11:16:43] 843*2^1227302-1 is not prime. Res64: 3ECCAC7BB62DFC52 Time : 0.0 sec. user=mdettweiler [2012-08-26 11:16:44] 917*2^1227302-1 is not prime. Res64: 5761C75C37555023 Time : 0.0 sec. user=mdettweiler [2012-08-26 11:17:27] 649*2^1227303-1 is not prime. Res64: FA4C9345ED691693 Time : 0.0 sec. user=mdettweiler [2012-08-26 11:17:28] 739*2^1227303-1 is not prime. Res64: D5D52CD3E4306C7D Time : 0.0 sec. user=gd_barnes [2012-08-26 11:18:05] 819*2^1227301-1 is not prime. Res64: 96222E8C6FE133F9 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:19:26] 829*2^1227301-1 is not prime. Res64: 9DEA671B981BFC6E Time : 0.0 sec. user=gd_barnes [2012-08-26 11:20:26] 877*2^1227301-1 is not prime. Res64: 38015D538C41341B Time : 0.0 sec. user=mdettweiler [2012-08-26 11:21:03] 769*2^1227301-1 is not prime. Res64: 109D3D694FD6727A Time : 0.0 sec. user=gd_barnes [2012-08-26 11:22:11] 789*2^1227301-1 is not prime. Res64: 67FEB104F704A141 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:24:15] 913*2^1227303-1 is not prime. Res64: 2ACC41B35F83728E Time : 0.0 sec. user=gd_barnes [2012-08-26 11:24:20] 683*2^1227302-1 is not prime. Res64: E958209A997DA17E Time : 0.0 sec. user=gd_barnes [2012-08-26 11:24:53] 823*2^1227303-1 is not prime. Res64: 5F168D62D95F4045 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:25:21] 605*2^1227304-1 is not prime. Res64: FF18B63069CB8631 Time : 0.0 sec. user=mdettweiler [2012-08-26 11:26:25] 935*2^1227302-1 is not prime. Res64: EF48C97C0E5EB09A Time : 0.0 sec. user=gd_barnes [2012-08-26 11:26:31] 765*2^1227303-1 is not prime. Res64: 243E28BB378F9ACE Time : 0.0 sec. user=vaughan [2012-08-26 11:26:37] 893*2^1227300-1 is not prime. Res64: A20F1D2538BE198C Time : 0.0 sec. user=gd_barnes [2012-08-26 11:28:39] 899*2^1227304-1 is not prime. Res64: 509E729757691543 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:28:53] 755*2^1227304-1 is not prime. Res64: C89723CC3BA35443 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:29:31] 905*2^1227304-1 is not prime. Res64: 8B20108075567EB4 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:29:59] 855*2^1227304-1 is not prime. Res64: 685DB5588C006559 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:30:25] 947*2^1227304-1 is not prime. Res64: 4B18FC820777AE79 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:32:02] 975*2^1227304-1 is not prime. Res64: 7AF75F2A3AAAF18D Time : 0.0 sec. user=mdettweiler [2012-08-26 11:32:04] 795*2^1227293-1 is not prime. Res64: AB2618B2ECE47C69 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:32:04] 873*2^1227304-1 is not prime. Res64: 26BA886FF9F3F072 Time : 0.0 sec. user=mdettweiler [2012-08-26 11:32:04] 837*2^1227293-1 is not prime. Res64: 5FC5D53A20D9986C Time : 0.0 sec. user=mdettweiler [2012-08-26 11:32:58] 925*2^1227293-1 is not prime. Res64: 817D338D57ADE572 Time : 0.0 sec. user=mdettweiler [2012-08-26 11:32:58] 981*2^1227293-1 is not prime. Res64: 3CE2F3DCD3457C60 Time : 0.0 sec. user=mdettweiler [2012-08-26 11:33:35] 767*2^1227294-1 is not prime. Res64: 12E6B7054CD61174 Time : 0.0 sec. user=mdettweiler [2012-08-26 11:33:35] 815*2^1227294-1 is not prime. Res64: 4BF902D54ED798C6 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:34:13] 993*2^1227304-1 is not prime. Res64: 5402EEA635E69136 Time : 0.0 sec. user=mdettweiler [2012-08-26 11:34:36] 1001*2^1227294-1 is not prime. Res64: C4F68E74D6C24AC5 Time : 0.0 sec. user=mdettweiler [2012-08-26 11:34:36] 625*2^1227295-1 is not prime. Res64: F752F133C99F3EE7 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:35:31] 711*2^1227305-1 is not prime. Res64: 5CB0B3B64451EFFC Time : 0.0 sec. user=mdettweiler [2012-08-26 11:37:14] 735*2^1227306-1 is not prime. Res64: EB33D279F8A370BD Time : 0.0 sec. user=mdettweiler [2012-08-26 11:37:15] 917*2^1227306-1 is not prime. Res64: FCF7713C693E18C0 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:37:21] 775*2^1227305-1 is not prime. Res64: 966E3BF7095E6F75 Time : 0.0 sec. user=mdettweiler [2012-08-26 11:37:59] 971*2^1227306-1 is not prime. Res64: C1D6ED305E911E5C Time : 0.0 sec. user=mdettweiler [2012-08-26 11:37:59] 685*2^1227307-1 is not prime. Res64: 2F5A61B9173EC5FC Time : 0.0 sec. user=gd_barnes [2012-08-26 11:38:33] 951*2^1227305-1 is not prime. Res64: 3D5EDBEB008E1930 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:40:19] 671*2^1227306-1 is not prime. Res64: 52E2540314834AD3 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:41:51] 677*2^1227306-1 is not prime. Res64: 810BF91A07F8E336 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:44:26] 759*2^1227307-1 is not prime. Res64: ABC57FA0E663BFDA Time : 0.0 sec. user=gd_barnes [2012-08-26 11:44:37] 801*2^1227307-1 is not prime. Res64: 255E64B0B2D6B095 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:45:50] 939*2^1227307-1 is not prime. Res64: 649DF1397A205FB0 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:49:41] 959*2^1227308-1 is not prime. Res64: 84593083F0A1E718 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:50:22] 977*2^1227308-1 is not prime. Res64: 24B52D37AA26785E Time : 0.0 sec. user=gd_barnes [2012-08-26 11:50:25] 897*2^1227308-1 is not prime. Res64: 98AB4BEF12C5D79E Time : 0.0 sec. user=gd_barnes [2012-08-26 11:50:49] 691*2^1227309-1 is not prime. Res64: 7A05E16C14E817F0 Time : 0.0 sec. user=mdettweiler [2012-08-26 11:51:00] 759*2^1227308-1 is not prime. Res64: BC6D87D7631C2395 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:51:14] 609*2^1227309-1 is not prime. Res64: E87DED30E7FD3050 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:53:42] 877*2^1227309-1 is not prime. Res64: 1398A11301D301DA Time : 0.0 sec. user=gd_barnes [2012-08-26 11:54:14] 867*2^1227309-1 is not prime. Res64: 39581B960C348BC8 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:54:24] 645*2^1227310-1 is not prime. Res64: 2B377FC466D50631 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:55:51] 713*2^1227310-1 is not prime. Res64: A97BA3A4D0A670D1 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:55:51] 987*2^1227309-1 is not prime. Res64: CA29FF8C93345188 Time : 0.0 sec. user=mdettweiler [2012-08-26 11:56:18] 795*2^1227309-1 is not prime. Res64: DFF85D3E41DE0757 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:57:24] 619*2^1227311-1 is not prime. Res64: 179511AA88E91E2E Time : 0.0 sec. user=mdettweiler [2012-08-26 11:57:45] 887*2^1227312-1 is not prime. Res64: 5F27E8D3E3AFE6B3 Time : 0.0 sec. user=mdettweiler [2012-08-26 11:57:46] 977*2^1227312-1 is not prime. Res64: B0B57B286F8348D0 Time : 0.0 sec. user=mdettweiler [2012-08-26 11:58:30] 885*2^1227305-1 is not prime. Res64: A150241340ABDA00 Time : 0.0 sec. user=mdettweiler [2012-08-26 11:58:30] 829*2^1227309-1 is not prime. Res64: 5FE0F30A148A8489 Time : 0.0 sec. user=gd_barnes [2012-08-26 11:59:26] 615*2^1227312-1 is not prime. Res64: 079615DCD7C7B89A Time : 0.0 sec. user=gd_barnes [2012-08-26 12:00:36] 791*2^1227310-1 is not prime. Res64: B494B3DB51DA6449 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:00:55] 863*2^1227312-1 is not prime. Res64: 1C9219FB267F9F6A Time : 0.0 sec. user=gd_barnes [2012-08-26 12:03:44] 639*2^1227313-1 is not prime. Res64: FEE9164810B1144C Time : 0.0 sec. user=vaughan [2012-08-26 12:04:05] 847*2^1227309-1 is not prime. Res64: 3C485B8E5E0464B3 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:04:12] 679*2^1227313-1 is not prime. Res64: 2EA65A3A4A98C0C6 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:05:46] 705*2^1227313-1 is not prime. Res64: 5869894EFC6E7614 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:07:24] 747*2^1227313-1 is not prime. Res64: 741030FF6E8E6F19 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:09:58] 831*2^1227313-1 is not prime. Res64: 0ACD9FBCFD17AC3C Time : 0.0 sec. user=gd_barnes [2012-08-26 12:10:41] 775*2^1227313-1 is not prime. Res64: F03C91E631F839CE Time : 0.0 sec. user=gd_barnes [2012-08-26 12:11:15] 885*2^1227313-1 is not prime. Res64: 6A822A11F86C1740 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:15:08] 957*2^1227313-1 is not prime. Res64: 9350C5128258A12D Time : 0.0 sec. user=gd_barnes [2012-08-26 12:16:19] 683*2^1227314-1 is not prime. Res64: 8E7C59A09E21996D Time : 0.0 sec. user=gd_barnes [2012-08-26 12:17:22] 791*2^1227314-1 is not prime. Res64: 662740BB4DAA900E Time : 0.0 sec. user=mdettweiler [2012-08-26 12:18:16] 869*2^1227316-1 is not prime. Res64: 8A5D3C141D146F41 Time : 0.0 sec. user=mdettweiler [2012-08-26 12:18:16] 887*2^1227316-1 is not prime. Res64: 9EC6A555E8C68575 Time : 0.0 sec. user=mdettweiler [2012-08-26 12:19:00] 953*2^1227316-1 is not prime. Res64: D2E93BEC6D186316 Time : 0.0 sec. user=mdettweiler [2012-08-26 12:19:01] 627*2^1227317-1 is not prime. Res64: 576E9B2CA5832070 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:19:23] 671*2^1227314-1 is not prime. Res64: 30A17795A6CC3007 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:19:46] 819*2^1227315-1 is not prime. Res64: 32BE3920149A3D39 Time : 0.0 sec. user=mdettweiler [2012-08-26 12:20:55] 741*2^1227314-1 is not prime. Res64: AE319E118897BA1E Time : 0.0 sec. user=gd_barnes [2012-08-26 12:21:18] 973*2^1227315-1 is not prime. Res64: A0DDC62CA4924F6E Time : 0.0 sec. user=gd_barnes [2012-08-26 12:21:49] 647*2^1227316-1 is not prime. Res64: 2545E7EAEDC41646 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:22:19] 759*2^1227316-1 is not prime. Res64: D654C78A8C43FEE5 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:24:12] 727*2^1227317-1 is not prime. Res64: 9CF7114A0DFD7366 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:25:32] 825*2^1227317-1 is not prime. Res64: F993055F9792A13B Time : 0.0 sec. user=mdettweiler [2012-08-26 12:26:08] 693*2^1227316-1 is not prime. Res64: 08FB4D7B33C6FA76 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:29:26] 925*2^1227317-1 is not prime. Res64: 5B3C402BE0AADAB7 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:29:48] 981*2^1227317-1 is not prime. Res64: C6C9C7CB8C864DAC Time : 0.0 sec. user=gd_barnes [2012-08-26 12:30:01] 735*2^1227317-1 is not prime. Res64: 15309D91567A1082 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:31:23] 999*2^1227313-1 is not prime. Res64: 82BED304016A67E1 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:31:23] 617*2^1227314-1 is not prime. Res64: 67898ED3680AFD1A Time : 0.0 sec. user=gd_barnes [2012-08-26 12:31:27] 627*2^1227318-1 is not prime. Res64: F170CF9AF634FCA1 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:32:58] 647*2^1227318-1 is not prime. Res64: 235F3A753EE383E1 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:34:38] 711*2^1227318-1 is not prime. Res64: 64F1F9E03C5F368B Time : 0.0 sec. user=gd_barnes [2012-08-26 12:35:53] 815*2^1227314-1 is not prime. Res64: 16C858FD84CF561E Time : 0.0 sec. user=gd_barnes [2012-08-26 12:35:53] 927*2^1227314-1 is not prime. Res64: 21ED3B9E42DE8A0B Time : 0.0 sec. user=gd_barnes [2012-08-26 12:36:12] 761*2^1227318-1 is not prime. Res64: 9E32A7B985A13894 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:36:42] 891*2^1227315-1 is not prime. Res64: C87E336B25CF6107 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:36:42] 921*2^1227315-1 is not prime. Res64: CC798B1B3AB9940F Time : 0.0 sec. user=gd_barnes [2012-08-26 12:36:48] 945*2^1227318-1 is not prime. Res64: 1D1C5DF186F49DE8 Time : 0.0 sec. user=mdettweiler [2012-08-26 12:38:47] 831*2^1227319-1 is not prime. Res64: 1F261AC392CC6344 Time : 0.0 sec. user=mdettweiler [2012-08-26 12:38:47] 853*2^1227319-1 is not prime. Res64: ABDB1D2A1CB5CF2A Time : 0.0 sec. user=mdettweiler [2012-08-26 12:39:31] 855*2^1227319-1 is not prime. Res64: 86F14983E1410FD1 Time : 0.0 sec. user=mdettweiler [2012-08-26 12:39:31] 993*2^1227319-1 is not prime. Res64: 62C234CC09FAEE52 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:40:45] 707*2^1227318-1 is not prime. Res64: 3B82CD1A1F17A6EB Time : 0.0 sec. user=gd_barnes [2012-08-26 12:40:45] 951*2^1227318-1 is not prime. Res64: 580A944158DDFE5B Time : 0.0 sec. user=vaughan [2012-08-26 12:41:34] 949*2^1227317-1 is not prime. Res64: 87F48C0F2345762F Time : 0.0 sec. user=gd_barnes [2012-08-26 12:41:47] 693*2^1227319-1 is not prime. Res64: 49B067CF4F205CB8 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:42:51] 723*2^1227319-1 is not prime. Res64: FDBD9D25565CC788 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:45:24] 827*2^1227320-1 is not prime. Res64: 55F562D38C0F0989 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:46:03] 635*2^1227320-1 is not prime. Res64: C2C912CD28E75318 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:46:33] 781*2^1227321-1 is not prime. Res64: C2A386BFDE5BC66A Time : 0.0 sec. user=gd_barnes [2012-08-26 12:46:46] 843*2^1227320-1 is not prime. Res64: E1D071AD92C2EE5A Time : 0.0 sec. user=gd_barnes [2012-08-26 12:47:21] 923*2^1227320-1 is not prime. Res64: 2D256AB2B143C808 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:48:26] 811*2^1227321-1 is not prime. Res64: B18BF351DA0BF67E Time : 0.0 sec. user=mdettweiler [2012-08-26 12:48:54] 975*2^1227310-1 is not prime. Res64: 4DA7391023246C9F Time : 0.0 sec. user=mdettweiler [2012-08-26 12:48:54] 987*2^1227310-1 is not prime. Res64: EB05267262D45C28 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:49:53] 861*2^1227321-1 is not prime. Res64: CFA563A39FAFBAA3 Time : 0.0 sec. user=mdettweiler [2012-08-26 12:50:21] 679*2^1227311-1 is not prime. Res64: 28F1CEEE16FC7260 Time : 0.0 sec. user=mdettweiler [2012-08-26 12:50:21] 759*2^1227311-1 is not prime. Res64: 5E599AA4862DF2E0 Time : 0.0 sec. user=mdettweiler [2012-08-26 12:50:40] 839*2^1227320-1 is not prime. Res64: 062E9E3075C98AC3 Time : 0.0 sec. user=mdettweiler [2012-08-26 12:50:52] 871*2^1227311-1 is not prime. Res64: 70A6D2EE300F043A Time : 0.0 sec. user=mdettweiler [2012-08-26 12:50:52] 955*2^1227311-1 is not prime. Res64: 963171ABE5A5B648 Time : 0.0 sec. user=mdettweiler [2012-08-26 12:51:46] 693*2^1227312-1 is not prime. Res64: 5CC894597EB650EE Time : 0.0 sec. user=mdettweiler [2012-08-26 12:51:46] 725*2^1227312-1 is not prime. Res64: 4700FB4B82B62468 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:54:55] 681*2^1227322-1 is not prime. Res64: C8E5456AF6370139 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:55:25] 765*2^1227322-1 is not prime. Res64: 15BC81E3E7160008 Time : 0.0 sec. user=mdettweiler [2012-08-26 12:56:00] 979*2^1227321-1 is not prime. Res64: 3500F3E1712272C8 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:57:05] 923*2^1227322-1 is not prime. Res64: 21457DA7A2AC34F8 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:57:55] 833*2^1227322-1 is not prime. Res64: 28A989622F4133B1 Time : 0.0 sec. user=gd_barnes [2012-08-26 12:58:34] 949*2^1227323-1 is not prime. Res64: B279F601658B087C Time : 0.0 sec. user=gd_barnes [2012-08-26 12:59:10] 605*2^1227324-1 is not prime. Res64: 4155157AD3924459 Time : 0.0 sec. user=mdettweiler [2012-08-26 12:59:17] 983*2^1227324-1 is not prime. Res64: 324E94AF9FAFCF7E Time : 0.0 sec. user=mdettweiler [2012-08-26 12:59:17] 661*2^1227325-1 is not prime. Res64: 9265593D9F9ACEE3 Time : 0.0 sec. user=mdettweiler [2012-08-26 13:00:00] 877*2^1227325-1 is not prime. Res64: 42E63A669D51D432 Time : 0.0 sec. user=mdettweiler [2012-08-26 13:00:01] 987*2^1227325-1 is not prime. Res64: E8358614BF1624D6 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:01:47] 707*2^1227324-1 is not prime. Res64: FE64F8A40C755510 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:02:11] 909*2^1227324-1 is not prime. Res64: 2F38B7851B81D75E Time : 0.0 sec. user=gd_barnes [2012-08-26 13:06:13] 623*2^1227326-1 is not prime. Res64: F47B06FE01B5B9BD Time : 0.0 sec. user=gd_barnes [2012-08-26 13:07:11] 861*2^1227326-1 is not prime. Res64: BD0F5C3924839C6C Time : 0.0 sec. user=gd_barnes [2012-08-26 13:08:31] 609*2^1227327-1 is not prime. Res64: 4A356B49626E0263 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:11:01] 675*2^1227327-1 is not prime. Res64: 12E3B23942BF80AF Time : 0.0 sec. user=gd_barnes [2012-08-26 13:11:25] 703*2^1227327-1 is not prime. Res64: 242874DF2038DAA9 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:12:13] 705*2^1227327-1 is not prime. Res64: CEF8635BD46BC9A9 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:13:07] 849*2^1227327-1 is not prime. Res64: DB353E4779925F9A Time : 0.0 sec. user=gd_barnes [2012-08-26 13:13:26] 859*2^1227327-1 is not prime. Res64: 63CDF675A5EA2D21 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:14:50] 961*2^1227327-1 is not prime. Res64: C6754ECE7F04A219 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:17:17] 685*2^1227327-1 is not prime. Res64: F83EE106E807D4F2 Time : 0.0 sec. user=vaughan [2012-08-26 13:19:02] 705*2^1227326-1 is not prime. Res64: 90DD4E7EF4D43AA7 Time : 0.0 sec. user=mdettweiler [2012-08-26 13:19:50] 1001*2^1227330-1 is not prime. Res64: 101549DEF366FAC5 Time : 0.0 sec. user=mdettweiler [2012-08-26 13:19:51] 625*2^1227331-1 is not prime. Res64: 84DAF0CE2E30F334 Time : 0.0 sec. user=mdettweiler [2012-08-26 13:20:35] 631*2^1227331-1 is not prime. Res64: DF89FA04FA6B6472 Time : 0.0 sec. user=mdettweiler [2012-08-26 13:20:35] 797*2^1227328-1 is not prime. Res64: 3639EABDE38AB58A Time : 0.0 sec. user=mdettweiler [2012-08-26 13:20:35] 685*2^1227331-1 is not prime. Res64: B7D82194BF56C570 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:20:47] 799*2^1227329-1 is not prime. Res64: 2789230456C618E5 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:20:54] 847*2^1227329-1 is not prime. Res64: C4F331418A1DB76B Time : 0.0 sec. user=gd_barnes [2012-08-26 13:22:40] 907*2^1227329-1 is not prime. Res64: 9ADBD79916E6F2A9 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:23:47] 783*2^1227330-1 is not prime. Res64: 1B3E7F9ECDD68984 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:24:17] 677*2^1227330-1 is not prime. Res64: C70C127A16D50FA3 Time : 0.0 sec. user=mdettweiler [2012-08-26 13:25:51] 867*2^1227329-1 is not prime. Res64: FC61AC17DF7547D9 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:26:42] 969*2^1227329-1 is not prime. Res64: D6AD964798D07953 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:27:28] 709*2^1227331-1 is not prime. Res64: 3A43C9F241DA6135 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:27:36] 723*2^1227331-1 is not prime. Res64: FDE72DCF30F66FDE Time : 0.0 sec. user=gd_barnes [2012-08-26 13:27:54] 873*2^1227322-1 is not prime. Res64: 324B01661232297F Time : 0.0 sec. user=gd_barnes [2012-08-26 13:27:54] 915*2^1227322-1 is not prime. Res64: E168265213434C24 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:31:40] 735*2^1227331-1 is not prime. Res64: A3175592BC7F9909 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:32:14] 635*2^1227324-1 is not prime. Res64: 454B5F34FA5A442C Time : 0.0 sec. user=gd_barnes [2012-08-26 13:32:14] 705*2^1227324-1 is not prime. Res64: 72B8BDC132AD3392 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:32:40] 783*2^1227331-1 is not prime. Res64: E12064A17C52B0CD Time : 0.0 sec. user=gd_barnes [2012-08-26 13:33:21] 809*2^1227324-1 is not prime. Res64: 4DF449B4CBB5737C Time : 0.0 sec. user=gd_barnes [2012-08-26 13:33:22] 903*2^1227324-1 is not prime. Res64: 96D46B464B1D9378 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:34:07] 819*2^1227331-1 is not prime. Res64: 13E8E07706496CD3 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:36:31] 629*2^1227332-1 is not prime. Res64: EA3C9072CE1744BD Time : 0.0 sec. user=gd_barnes [2012-08-26 13:36:41] 617*2^1227332-1 is not prime. Res64: 8203367143C00326 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:37:40] 825*2^1227332-1 is not prime. Res64: B10BABC88D796D51 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:37:41] 677*2^1227332-1 is not prime. Res64: 15F94F7C4DE0635D Time : 0.0 sec. user=gd_barnes [2012-08-26 13:38:40] 743*2^1227332-1 is not prime. Res64: D487851CB0D05FE7 Time : 0.0 sec. user=mdettweiler [2012-08-26 13:40:30] 957*2^1227332-1 is not prime. Res64: 5ECF706EE1DB9D21 Time : 0.0 sec. user=mdettweiler [2012-08-26 13:40:31] 963*2^1227332-1 is not prime. Res64: 275FEB7F36DA986A Time : 0.0 sec. user=mdettweiler [2012-08-26 13:41:11] 651*2^1227333-1 is not prime. Res64: D5A6462196F35A94 Time : 0.0 sec. user=mdettweiler [2012-08-26 13:41:12] 955*2^1227333-1 is not prime. Res64: 4D6FEECC6152075D Time : 0.0 sec. user=gd_barnes [2012-08-26 13:42:02] 935*2^1227332-1 is not prime. Res64: F1EAAE9DAB51DC8F Time : 0.0 sec. user=gd_barnes [2012-08-26 13:46:16] 705*2^1227334-1 is not prime. Res64: 946D27823A496AD6 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:46:31] 903*2^1227334-1 is not prime. Res64: 0375DFE0BA048CD0 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:48:06] 957*2^1227334-1 is not prime. Res64: CCF36E6B5D53BF01 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:48:09] 945*2^1227334-1 is not prime. Res64: DEF3BB03C8A12399 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:49:50] 971*2^1227334-1 is not prime. Res64: 084898E9292309BF Time : 0.0 sec. user=mdettweiler [2012-08-26 13:50:30] 987*2^1227332-1 is not prime. Res64: BB0C35390FEBCF00 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:52:51] 683*2^1227336-1 is not prime. Res64: D4999DE97DA85C07 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:52:53] 675*2^1227336-1 is not prime. Res64: 99D4F9AAE7E962D5 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:53:05] 689*2^1227336-1 is not prime. Res64: FA0DDF5263781D9B Time : 0.0 sec. user=mdettweiler [2012-08-26 13:55:49] 939*2^1227335-1 is not prime. Res64: FCD5DA42DF4A29DA Time : 0.0 sec. user=vaughan [2012-08-26 13:56:32] 945*2^1227332-1 is not prime. Res64: E0FF21C2C6ED8EA3 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:57:08] 615*2^1227337-1 is not prime. Res64: 66B0B478AD233BEB Time : 0.0 sec. user=gd_barnes [2012-08-26 13:58:08] 841*2^1227337-1 is not prime. Res64: E407A280B720FE14 Time : 0.0 sec. user=gd_barnes [2012-08-26 13:59:34] 997*2^1227337-1 is not prime. Res64: AA218382F4938555 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:00:53] 711*2^1227338-1 is not prime. Res64: 39A565ED904F39E7 Time : 0.0 sec. user=mdettweiler [2012-08-26 14:01:08] 709*2^1227339-1 is not prime. Res64: 3C731EB27BA65227 Time : 0.0 sec. user=mdettweiler [2012-08-26 14:01:09] 853*2^1227339-1 is not prime. Res64: 71E485AE8CE806D1 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:01:48] 953*2^1227338-1 is not prime. Res64: 4E6D3580DCE54B9D Time : 0.0 sec. user=mdettweiler [2012-08-26 14:01:50] 931*2^1227339-1 is not prime. Res64: 4FDCC357827F24BE Time : 0.0 sec. user=mdettweiler [2012-08-26 14:01:51] 951*2^1227339-1 is not prime. Res64: 5510C68C3BDF0DC1 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:02:18] 885*2^1227338-1 is not prime. Res64: 0A3DE51A2F0AFD23 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:03:07] 977*2^1227338-1 is not prime. Res64: 2765FB75EF709613 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:04:06] 615*2^1227339-1 is not prime. Res64: BBE9D01550B1052E Time : 0.0 sec. user=gd_barnes [2012-08-26 14:06:17] 635*2^1227340-1 is not prime. Res64: 89B0060BFA4F8EEA Time : 0.0 sec. user=mdettweiler [2012-08-26 14:06:18] 873*2^1227327-1 is not prime. Res64: 138B470E87CC3649 Time : 0.0 sec. user=mdettweiler [2012-08-26 14:06:18] 879*2^1227327-1 is not prime. Res64: EA8F42A989810E8F Time : 0.0 sec. user=mdettweiler [2012-08-26 14:07:53] 663*2^1227328-1 is not prime. Res64: 3EB0703B4C6BDF55 Time : 0.0 sec. user=mdettweiler [2012-08-26 14:07:55] 713*2^1227328-1 is not prime. Res64: 9BAD58444DB9061C Time : 0.0 sec. user=mdettweiler [2012-08-26 14:08:58] 833*2^1227328-1 is not prime. Res64: 8ECA97D100A45095 Time : 0.0 sec. user=mdettweiler [2012-08-26 14:09:00] 869*2^1227328-1 is not prime. Res64: 5F67BDDCF6DE11F6 Time : 0.0 sec. user=mdettweiler [2012-08-26 14:09:06] 915*2^1227328-1 is not prime. Res64: 4AD7ECCA5CEC3BAF Time : 0.0 sec. user=mdettweiler [2012-08-26 14:09:08] 947*2^1227328-1 is not prime. Res64: 4B7D7ABDC5B1765F Time : 0.0 sec. user=gd_barnes [2012-08-26 14:09:19] 861*2^1227339-1 is not prime. Res64: 731CFC14C6CE7F88 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:11:42] 735*2^1227340-1 is not prime. Res64: E98D37AE4BC6E6B9 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:12:06] 783*2^1227340-1 is not prime. Res64: 7599F389A839C9C2 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:12:15] 897*2^1227340-1 is not prime. Res64: 4216F5912C572E88 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:13:47] 899*2^1227340-1 is not prime. Res64: 4CE296F9EDDEA8CE Time : 0.0 sec. user=gd_barnes [2012-08-26 14:15:29] 953*2^1227340-1 is not prime. Res64: 7DFDC86DA848A7D5 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:18:16] 989*2^1227340-1 is not prime. Res64: 923CF03272C20040 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:18:33] 631*2^1227341-1 is not prime. Res64: 73D680A764C4CFDA Time : 0.0 sec. user=mdettweiler [2012-08-26 14:20:29] 975*2^1227340-1 is not prime. Res64: B3B55E0948FE68D4 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:21:45] 999*2^1227340-1 is not prime. Res64: 41960F682CDCA1DD Time : 0.0 sec. user=mdettweiler [2012-08-26 14:21:51] 903*2^1227342-1 is not prime. Res64: 86F28DE563A67C98 Time : 0.0 sec. user=mdettweiler [2012-08-26 14:21:52] 945*2^1227342-1 is not prime. Res64: 25AEBABD1241A990 Time : 0.0 sec. user=mdettweiler [2012-08-26 14:22:29] 679*2^1227343-1 is not prime. Res64: 2B10D013789FA03A Time : 0.0 sec. user=mdettweiler [2012-08-26 14:22:30] 685*2^1227343-1 is not prime. Res64: 5985316E39A02BCB Time : 0.0 sec. user=gd_barnes [2012-08-26 14:22:36] 997*2^1227341-1 is not prime. Res64: 7824A92FD6E9C8E6 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:23:35] 747*2^1227342-1 is not prime. Res64: 756BB9E9330C0B08 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:24:37] 747*2^1227336-1 is not prime. Res64: 3D5FF8360A621015 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:24:37] 609*2^1227337-1 is not prime. Res64: A065BBB8A76C8B14 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:25:01] 755*2^1227342-1 is not prime. Res64: B4550BB21469B025 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:25:02] 761*2^1227342-1 is not prime. Res64: 732559DB84C42EBD Time : 0.0 sec. user=mdettweiler [2012-08-26 14:25:47] 829*2^1227341-1 is not prime. Res64: CD62BC64FA0E1DEF Time : 0.0 sec. user=gd_barnes [2012-08-26 14:25:54] 619*2^1227343-1 is not prime. Res64: D90FF91CFD499702 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:27:50] 945*2^1227343-1 is not prime. Res64: 90E1200408B0F504 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:28:29] 619*2^1227337-1 is not prime. Res64: A21E83DF74F6989F Time : 0.0 sec. user=gd_barnes [2012-08-26 14:28:29] 639*2^1227337-1 is not prime. Res64: C2266E3139DCDDF3 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:28:32] 993*2^1227343-1 is not prime. Res64: 7547DADA9A827E0F Time : 0.0 sec. user=gd_barnes [2012-08-26 14:29:39] 999*2^1227343-1 is not prime. Res64: 11E0A899B1C79421 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:30:01] 871*2^1227337-1 is not prime. Res64: 06FA63DF963DFECE Time : 0.0 sec. user=gd_barnes [2012-08-26 14:30:01] 937*2^1227337-1 is not prime. Res64: 833949E371E06383 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:30:30] 827*2^1227344-1 is not prime. Res64: DB95E803A5014A96 Time : 0.0 sec. user=vaughan [2012-08-26 14:34:00] 955*2^1227341-1 is not prime. Res64: C051519366E4585F Time : 0.0 sec. user=gd_barnes [2012-08-26 14:36:30] 635*2^1227346-1 is not prime. Res64: 36B5401A4FB5BB3B Time : 0.0 sec. user=gd_barnes [2012-08-26 14:37:12] 951*2^1227345-1 is not prime. Res64: CA1258A4697776C7 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:37:48] 997*2^1227345-1 is not prime. Res64: A28EAAACA7DE5E02 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:37:49] 915*2^1227345-1 is not prime. Res64: 85FD8C010448C3B4 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:39:20] 765*2^1227346-1 is not prime. Res64: F92368B4BDB4FC6C Time : 0.0 sec. user=gd_barnes [2012-08-26 14:41:04] 993*2^1227346-1 is not prime. Res64: E2AF44421E824FFB Time : 0.0 sec. user=mdettweiler [2012-08-26 14:42:31] 955*2^1227347-1 is not prime. Res64: 19B4BB1B18729E94 Time : 0.0 sec. user=mdettweiler [2012-08-26 14:42:32] 963*2^1227347-1 is not prime. Res64: 50F0E200A58A1DB2 Time : 0.0 sec. user=mdettweiler [2012-08-26 14:43:08] 981*2^1227347-1 is not prime. Res64: CD97A4A3D9E97DF8 Time : 0.0 sec. user=mdettweiler [2012-08-26 14:43:09] 615*2^1227348-1 is not prime. Res64: 282FBB226DC68EF7 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:43:46] 693*2^1227347-1 is not prime. Res64: D6182C9EA043C816 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:44:05] 759*2^1227347-1 is not prime. Res64: CA52B3A1D21EA717 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:48:01] 657*2^1227348-1 is not prime. Res64: 3054744D1914F73D Time : 0.0 sec. user=gd_barnes [2012-08-26 14:49:01] 663*2^1227348-1 is not prime. Res64: 51EFFEA08D8A2210 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:49:38] 789*2^1227348-1 is not prime. Res64: 23D5A75B3239CD89 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:49:58] 939*2^1227347-1 is not prime. Res64: AB9394CC46456984 Time : 0.0 sec. user=mdettweiler [2012-08-26 14:50:26] 801*2^1227347-1 is not prime. Res64: 85074F7399E7425C Time : 0.0 sec. user=gd_barnes [2012-08-26 14:50:33] 767*2^1227348-1 is not prime. Res64: 2D2574282C810366 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:50:35] 927*2^1227348-1 is not prime. Res64: 777585607125B2BF Time : 0.0 sec. user=gd_barnes [2012-08-26 14:53:23] 933*2^1227348-1 is not prime. Res64: 1BC38A22CE3C75F7 Time : 0.0 sec. user=gd_barnes [2012-08-26 14:53:58] 831*2^1227349-1 is not prime. Res64: B5518C73E81BAE2B Time : 0.0 sec. user=gd_barnes [2012-08-26 14:55:16] 955*2^1227349-1 is not prime. Res64: 334E7B6AA818C51C Time : 0.0 sec. user=gd_barnes [2012-08-26 14:55:17] 707*2^1227350-1 is not prime. Res64: C3D5E94665247757 Time : 0.0 sec. user=mdettweiler [2012-08-26 14:55:42] 797*2^1227348-1 is not prime. Res64: 1AA1A4388A93682C Time : 0.0 sec. user=gd_barnes [2012-08-26 15:01:24] 915*2^1227350-1 is not prime. Res64: 5A93140148CDFA7E Time : 0.0 sec. user=gd_barnes [2012-08-26 15:02:55] 941*2^1227350-1 is not prime. Res64: 213BB7DAFEF72AEB Time : 0.0 sec. user=mdettweiler [2012-08-26 15:03:10] 975*2^1227351-1 is not prime. Res64: 1B0CA84585D27ABE Time : 0.0 sec. user=mdettweiler [2012-08-26 15:03:11] 609*2^1227352-1 is not prime. Res64: 317D0C2D6D1702AB Time : 0.0 sec. user=gd_barnes [2012-08-26 15:03:18] 1001*2^1227350-1 is not prime. Res64: 2E5EAA6C32E97686 Time : 0.0 sec. user=mdettweiler [2012-08-26 15:03:49] 713*2^1227352-1 is not prime. Res64: CB002F5D6C2B3FC5 Time : 0.0 sec. user=mdettweiler [2012-08-26 15:03:51] 863*2^1227352-1 is not prime. Res64: 74853B0B0CCDAACE Time : 0.0 sec. user=gd_barnes [2012-08-26 15:05:00] 723*2^1227351-1 is not prime. Res64: E8FFDBEEB8FC3011 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:05:12] 651*2^1227351-1 is not prime. Res64: 3B0C68D335785058 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:06:39] 859*2^1227351-1 is not prime. Res64: D5B6DD7A1CD91540 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:09:31] 983*2^1227352-1 is not prime. Res64: C9BEADF507A0718A Time : 0.0 sec. user=gd_barnes [2012-08-26 15:09:34] 909*2^1227352-1 is not prime. Res64: 573BE15C2258B8EE Time : 0.0 sec. user=vaughan [2012-08-26 15:11:29] 861*2^1227350-1 is not prime. Res64: A1E27B785E1BE160 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:13:25] 631*2^1227353-1 is not prime. Res64: C3C7B9562ADA7B67 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:14:29] 729*2^1227353-1 is not prime. Res64: 13E1BE13F03E87F8 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:14:30] 747*2^1227353-1 is not prime. Res64: D2CDE13FAEC72DD5 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:15:29] 949*2^1227353-1 is not prime. Res64: CB0CC861289E8125 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:16:26] 805*2^1227353-1 is not prime. Res64: 1668D353103EB585 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:18:58] 957*2^1227353-1 is not prime. Res64: FB2F2CEF150D9639 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:18:58] 759*2^1227353-1 is not prime. Res64: 4A82BB660DD36A45 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:19:22] 641*2^1227354-1 is not prime. Res64: CB58195352136EC1 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:20:08] 833*2^1227354-1 is not prime. Res64: 68A53695A08F6442 Time : 0.0 sec. user=mdettweiler [2012-08-26 15:20:19] 789*2^1227353-1 is not prime. Res64: F5C3E591887298E9 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:20:50] 669*2^1227348-1 is not prime. Res64: E7F8D300E069A421 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:20:51] 735*2^1227348-1 is not prime. Res64: A806C1361FDCCA8F Time : 0.0 sec. user=gd_barnes [2012-08-26 15:21:12] 797*2^1227354-1 is not prime. Res64: 1FCC7E3FF8D2ECE9 Time : 0.0 sec. user=mdettweiler [2012-08-26 15:23:34] 743*2^1227344-1 is not prime. Res64: E080100CE700B47C Time : 0.0 sec. user=mdettweiler [2012-08-26 15:23:34] 789*2^1227344-1 is not prime. Res64: B8A7A2B8B6E04F1E Time : 0.0 sec. user=mdettweiler [2012-08-26 15:23:50] 927*2^1227354-1 is not prime. Res64: F14BBBE3D9E579AF Time : 0.0 sec. user=mdettweiler [2012-08-26 15:23:51] 941*2^1227354-1 is not prime. Res64: B4A6286402790BCF Time : 0.0 sec. user=mdettweiler [2012-08-26 15:24:32] 603*2^1227355-1 is not prime. Res64: A0473FA87C55F5F4 Time : 0.0 sec. user=mdettweiler [2012-08-26 15:24:33] 673*2^1227355-1 is not prime. Res64: D9DD146C30164D0E Time : 0.0 sec. user=mdettweiler [2012-08-26 15:25:11] 855*2^1227344-1 is not prime. Res64: F1B88DF39949DBE9 Time : 0.0 sec. user=mdettweiler [2012-08-26 15:25:11] 959*2^1227344-1 is not prime. Res64: 103BB3E83ED23434 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:25:17] 977*2^1227348-1 is not prime. Res64: A00F2B76D68F5FBA Time : 0.0 sec. user=gd_barnes [2012-08-26 15:25:17] 999*2^1227348-1 is not prime. Res64: CB27834F9AA25A9D Time : 0.0 sec. user=mdettweiler [2012-08-26 15:25:38] 837*2^1227354-1 is not prime. Res64: ED049BD1F0FFE053 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:26:01] 603*2^1227350-1 is not prime. Res64: 5B08378AB1DAA04C Time : 0.0 sec. user=gd_barnes [2012-08-26 15:26:01] 623*2^1227350-1 is not prime. Res64: FEFC9887686ABDD4 Time : 0.0 sec. user=mdettweiler [2012-08-26 15:26:13] 607*2^1227345-1 is not prime. Res64: 0A56249ACE824C30 Time : 0.0 sec. user=mdettweiler [2012-08-26 15:26:13] 735*2^1227345-1 is not prime. Res64: 3338B2176603C2BF Time : 0.0 sec. user=gd_barnes [2012-08-26 15:26:30] 851*2^1227354-1 is not prime. Res64: 59D470F2C73F16F0 Time : 0.0 sec. user=mdettweiler [2012-08-26 15:26:31] 777*2^1227345-1 is not prime. Res64: 8499784B49C5A52A Time : 0.0 sec. user=mdettweiler [2012-08-26 15:26:31] 817*2^1227345-1 is not prime. Res64: EE659BCC505E6E07 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:28:53] 917*2^1227354-1 is not prime. Res64: 8E0BABC00E232626 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:28:59] 945*2^1227354-1 is not prime. Res64: 9951CFC3DA7E3AAC Time : 0.0 sec. user=gd_barnes [2012-08-26 15:30:38] 861*2^1227355-1 is not prime. Res64: 93C81DF57714BA51 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:32:13] 961*2^1227355-1 is not prime. Res64: 9902AE2B13D56D75 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:34:39] 885*2^1227355-1 is not prime. Res64: 470348B6ECF7F00A Time : 0.0 sec. user=gd_barnes [2012-08-26 15:35:04] 609*2^1227356-1 is not prime. Res64: 4BBE3B52D34BB247 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:35:36] 635*2^1227356-1 is not prime. Res64: 9B6101B67FC18D21 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:38:51] 683*2^1227356-1 is not prime. Res64: F7DE0C35D5F3308C Time : 0.0 sec. user=gd_barnes [2012-08-26 15:39:31] 767*2^1227356-1 is not prime. Res64: E97FF1882C34C912 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:39:56] 735*2^1227356-1 is not prime. Res64: D13A2DE6142C3047 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:40:34] 873*2^1227356-1 is not prime. Res64: A229739AA209F35F Time : 0.0 sec. user=gd_barnes [2012-08-26 15:42:15] 927*2^1227356-1 is not prime. Res64: 3890BB435C7278E7 Time : 0.0 sec. user=mdettweiler [2012-08-26 15:44:29] 695*2^1227358-1 is not prime. Res64: 88E5D55ACA98CAAF Time : 0.0 sec. user=mdettweiler [2012-08-26 15:44:29] 881*2^1227358-1 is not prime. Res64: 5BD401E72D73840B Time : 0.0 sec. user=gd_barnes [2012-08-26 15:44:29] 649*2^1227357-1 is not prime. Res64: 84C8EB4CE5B32726 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:44:46] 741*2^1227357-1 is not prime. Res64: 44B06F6658F62357 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:45:06] 859*2^1227357-1 is not prime. Res64: A6E375CB66322D00 Time : 0.0 sec. user=mdettweiler [2012-08-26 15:45:11] 911*2^1227358-1 is not prime. Res64: 783C3946DD2CB35E Time : 0.0 sec. user=mdettweiler [2012-08-26 15:45:12] 957*2^1227358-1 is not prime. Res64: E974C116BEC4098E Time : 0.0 sec. user=gd_barnes [2012-08-26 15:46:41] 717*2^1227357-1 is not prime. Res64: 4CD5C4B2D8AD65D8 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:47:02] 605*2^1227358-1 is not prime. Res64: 0FC9A6A62135FB6D Time : 0.0 sec. user=vaughan [2012-08-26 15:49:00] 675*2^1227356-1 is not prime. Res64: 407BEC2D5EACA988 Time : 0.0 sec. user=mdettweiler [2012-08-26 15:50:15] 861*2^1227357-1 is not prime. Res64: 4A14A647A6BC5732 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:51:13] 799*2^1227361-1 is not prime. Res64: 8594D69027C8ABF0 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:54:34] 671*2^1227362-1 is not prime. Res64: 84A647736E7A8F8A Time : 0.0 sec. user=gd_barnes [2012-08-26 15:54:35] 999*2^1227361-1 is not prime. Res64: 9515457DF056EFDF Time : 0.0 sec. user=mdettweiler [2012-08-26 15:55:35] 707*2^1227360-1 is not prime. Res64: 62BD44414346770F Time : 0.0 sec. user=gd_barnes [2012-08-26 15:56:14] 675*2^1227362-1 is not prime. Res64: C28B781644C6A2D4 Time : 0.0 sec. user=gd_barnes [2012-08-26 15:57:53] 705*2^1227362-1 is not prime. Res64: 07D99869C4156691 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:00:31] 873*2^1227362-1 is not prime. Res64: 5B96ADA788C23E9D Time : 0.0 sec. user=gd_barnes [2012-08-26 16:01:08] 911*2^1227362-1 is not prime. Res64: 1ADA217AACA69DC4 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:02:19] 785*2^1227362-1 is not prime. Res64: F24DBD46A067D189 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:04:02] 699*2^1227363-1 is not prime. Res64: 196A532DA5298529 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:04:17] 675*2^1227363-1 is not prime. Res64: 0539FB120605B533 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:04:54] 709*2^1227363-1 is not prime. Res64: 478197D0579FB932 Time : 0.0 sec. user=mdettweiler [2012-08-26 16:05:01] 849*2^1227363-1 is not prime. Res64: 1634D8B9E88EA458 Time : 0.0 sec. user=mdettweiler [2012-08-26 16:05:03] 963*2^1227363-1 is not prime. Res64: F1BE2425D14004A1 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:05:20] 705*2^1227363-1 is not prime. Res64: 6AE47D315AF819DF Time : 0.0 sec. user=mdettweiler [2012-08-26 16:05:51] 675*2^1227364-1 is not prime. Res64: 6696DDC89384AA3F Time : 0.0 sec. user=mdettweiler [2012-08-26 16:05:54] 687*2^1227364-1 is not prime. Res64: 0F3D6E2B0326AFB9 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:07:42] 819*2^1227363-1 is not prime. Res64: 3BA25FF6F862C6C3 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:09:24] 665*2^1227364-1 is not prime. Res64: 4D5A20559579A8A4 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:10:02] 985*2^1227363-1 is not prime. Res64: 85EAE01064E81B0F Time : 0.0 sec. user=gd_barnes [2012-08-26 16:10:12] 635*2^1227364-1 is not prime. Res64: 9B34600DD312350D Time : 0.0 sec. user=gd_barnes [2012-08-26 16:12:33] 749*2^1227364-1 is not prime. Res64: 464A01F71FFD3EC2 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:15:38] 905*2^1227364-1 is not prime. Res64: 4357CC45F806197D Time : 0.0 sec. user=gd_barnes [2012-08-26 16:16:05] 695*2^1227364-1 is not prime. Res64: AF091D07B5302978 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:16:47] 961*2^1227357-1 is not prime. Res64: 970766315B0043C0 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:16:47] 997*2^1227357-1 is not prime. Res64: 1044C02C9F63B467 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:20:06] 691*2^1227365-1 is not prime. Res64: 4BB3718E511E2F04 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:20:09] 655*2^1227365-1 is not prime. Res64: 2AFD914048E79753 Time : 0.0 sec. user=mdettweiler [2012-08-26 16:20:10] 843*2^1227364-1 is not prime. Res64: A3F8E1A2F3F7E58D Time : 0.0 sec. user=gd_barnes [2012-08-26 16:21:52] 771*2^1227365-1 is not prime. Res64: A82307D2D26010AC Time : 0.0 sec. user=gd_barnes [2012-08-26 16:22:59] 885*2^1227359-1 is not prime. Res64: DADE1E2CF9850441 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:22:59] 943*2^1227359-1 is not prime. Res64: 5F14C3BCFA2AF387 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:22:59] 839*2^1227360-1 is not prime. Res64: DEB323486DDDE140 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:23:00] 923*2^1227360-1 is not prime. Res64: F5AEB4BF24E62E50 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:23:35] 777*2^1227365-1 is not prime. Res64: 114AF9A647B9D895 Time : 0.0 sec. user=mdettweiler [2012-08-26 16:25:29] 741*2^1227365-1 is not prime. Res64: A9C7501E8022401A Time : 0.0 sec. user=mdettweiler [2012-08-26 16:25:42] 987*2^1227365-1 is not prime. Res64: 80FE4389941D5302 Time : 0.0 sec. user=mdettweiler [2012-08-26 16:25:43] 711*2^1227366-1 is not prime. Res64: ACD485F479EF3723 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:25:59] 831*2^1227365-1 is not prime. Res64: 6DA9194A5D9C9C54 Time : 0.0 sec. user=vaughan [2012-08-26 16:26:29] 813*2^1227364-1 is not prime. Res64: 19092A2E11CC3780 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:26:34] 871*2^1227365-1 is not prime. Res64: D3CFF1175E6E7DEB Time : 0.0 sec. user=mdettweiler [2012-08-26 16:26:34] 881*2^1227366-1 is not prime. Res64: C41FECFAE2EE53DA Time : 0.0 sec. user=mdettweiler [2012-08-26 16:26:37] 975*2^1227366-1 is not prime. Res64: 078F7EEE847703DF Time : 0.0 sec. user=gd_barnes [2012-08-26 16:28:34] 937*2^1227365-1 is not prime. Res64: 6AB60E8B51C1BB57 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:29:30] 981*2^1227365-1 is not prime. Res64: A1D4550FF5DA6549 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:29:43] 939*2^1227365-1 is not prime. Res64: 196D755ECAA5C428 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:30:45] 833*2^1227366-1 is not prime. Res64: 85C994997E4705B3 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:31:09] 925*2^1227365-1 is not prime. Res64: 6C2CECE9650575EB Time : 0.0 sec. user=gd_barnes [2012-08-26 16:33:16] 601*2^1227367-1 is not prime. Res64: 3B5C27EBD35530CE Time : 0.0 sec. user=gd_barnes [2012-08-26 16:33:43] 841*2^1227367-1 is not prime. Res64: 8AD5186BE030059A Time : 0.0 sec. user=gd_barnes [2012-08-26 16:35:37] 871*2^1227367-1 is not prime. Res64: 0C3138FA9B5FE647 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:35:46] 849*2^1227367-1 is not prime. Res64: 04CB60D6048A32F0 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:38:03] 883*2^1227367-1 is not prime. Res64: 20C7BF6D4779A98C Time : 0.0 sec. user=gd_barnes [2012-08-26 16:40:22] 915*2^1227367-1 is not prime. Res64: A2401FBF0322B43F Time : 0.0 sec. user=mdettweiler [2012-08-26 16:42:22] 647*2^1227358-1 is not prime. Res64: 8EE1EB43ADC33065 Time : 0.0 sec. user=mdettweiler [2012-08-26 16:42:22] 651*2^1227358-1 is not prime. Res64: 442568C5CDF2CFCF Time : 0.0 sec. user=mdettweiler [2012-08-26 16:44:06] 685*2^1227359-1 is not prime. Res64: 80872A0292978DFE Time : 0.0 sec. user=mdettweiler [2012-08-26 16:44:06] 789*2^1227359-1 is not prime. Res64: D0C9061133B7F2C0 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:44:20] 755*2^1227368-1 is not prime. Res64: CCECFD6B437B767F Time : 0.0 sec. user=mdettweiler [2012-08-26 16:45:20] 959*2^1227360-1 is not prime. Res64: 80B8AF54316B1DF1 Time : 0.0 sec. user=mdettweiler [2012-08-26 16:45:21] 607*2^1227361-1 is not prime. Res64: 29EDF8B905D15D13 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:45:43] 705*2^1227369-1 is not prime. Res64: 4B803E1DFF65CA6B Time : 0.0 sec. user=gd_barnes [2012-08-26 16:45:46] 915*2^1227368-1 is not prime. Res64: B423E1E1083712D1 Time : 0.0 sec. user=mdettweiler [2012-08-26 16:46:16] 637*2^1227361-1 is not prime. Res64: 60DF4620FFEE420F Time : 0.0 sec. user=mdettweiler [2012-08-26 16:46:16] 741*2^1227361-1 is not prime. Res64: 62DDC36009EC5976 Time : 0.0 sec. user=mdettweiler [2012-08-26 16:46:23] 845*2^1227370-1 is not prime. Res64: BBA566DDC3F0352A Time : 0.0 sec. user=mdettweiler [2012-08-26 16:46:24] 891*2^1227370-1 is not prime. Res64: D4F21170052B3617 Time : 0.0 sec. user=mdettweiler [2012-08-26 16:47:13] 735*2^1227371-1 is not prime. Res64: 0A62B413B6C2A607 Time : 0.0 sec. user=mdettweiler [2012-08-26 16:47:14] 879*2^1227371-1 is not prime. Res64: 1D6D014ACD916BD3 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:47:28] 751*2^1227369-1 is not prime. Res64: 2B188C43BA0C93E7 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:49:13] 665*2^1227370-1 is not prime. Res64: 5FA2DF6435A2CC90 Time : 0.0 sec. user=mdettweiler [2012-08-26 16:50:16] 727*2^1227369-1 is not prime. Res64: 278A33B69BF4DE84 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:51:25] 945*2^1227370-1 is not prime. Res64: 9652CA356D2D3A2B Time : 0.0 sec. user=gd_barnes [2012-08-26 16:52:20] 645*2^1227371-1 is not prime. Res64: 60B2F0EE45157BE9 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:53:41] 683*2^1227372-1 is not prime. Res64: E6EB60A54119A9D6 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:54:23] 777*2^1227372-1 is not prime. Res64: C38B333E7608F147 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:55:08] 965*2^1227372-1 is not prime. Res64: A05FD9F644D060E6 Time : 0.0 sec. user=mdettweiler [2012-08-26 16:55:38] 675*2^1227370-1 is not prime. Res64: 2337404B95D0E782 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:56:13] 801*2^1227373-1 is not prime. Res64: 99AD5CB26D58FAA9 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:58:36] 605*2^1227374-1 is not prime. Res64: C1E0E675C3F705C2 Time : 0.0 sec. user=gd_barnes [2012-08-26 16:58:37] 831*2^1227373-1 is not prime. Res64: 07092ECBE23C602C Time : 0.0 sec. user=gd_barnes [2012-08-26 16:59:11] 895*2^1227373-1 is not prime. Res64: 44370432F0451D87 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:01:03] 743*2^1227374-1 is not prime. Res64: 54CCBD214BA5E7C6 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:01:22] 773*2^1227374-1 is not prime. Res64: B3A37CEDA927A532 Time : 0.0 sec. user=vaughan [2012-08-26 17:03:57] 603*2^1227371-1 is not prime. Res64: 53C9A3465EDA0306 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:03:59] 797*2^1227374-1 is not prime. Res64: 3E1037739C1D35F7 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:05:26] 861*2^1227374-1 is not prime. Res64: 8C72FC4ED830B41F Time : 0.0 sec. user=mdettweiler [2012-08-26 17:06:57] 975*2^1227376-1 is not prime. Res64: 54F859EBBD90B994 Time : 0.0 sec. user=mdettweiler [2012-08-26 17:06:59] 615*2^1227377-1 is not prime. Res64: E0017C58D390C7D5 Time : 0.0 sec. user=mdettweiler [2012-08-26 17:07:48] 699*2^1227377-1 is not prime. Res64: A0AA3E0C3A88BA53 Time : 0.0 sec. user=mdettweiler [2012-08-26 17:07:50] 727*2^1227377-1 is not prime. Res64: 6D1A181CCFEE193E Time : 0.0 sec. user=gd_barnes [2012-08-26 17:11:21] 717*2^1227376-1 is not prime. Res64: D835C2A6E11A1567 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:11:36] 777*2^1227376-1 is not prime. Res64: E1BFA9FB768DED78 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:13:04] 829*2^1227377-1 is not prime. Res64: 5CDD5490DBDFF176 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:13:26] 797*2^1227368-1 is not prime. Res64: 53E97CD5A6D81666 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:13:28] 839*2^1227368-1 is not prime. Res64: 093255DD543CA934 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:14:42] 909*2^1227375-1 is not prime. Res64: F3B5E6A842CF37C2 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:14:53] 865*2^1227377-1 is not prime. Res64: 24DA0D67A0B4C9C7 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:16:48] 705*2^1227378-1 is not prime. Res64: 7A7A4B592595A254 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:18:06] 777*2^1227378-1 is not prime. Res64: 56F1709DE00BE5B7 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:18:22] 791*2^1227378-1 is not prime. Res64: 0BA4FCC73F278701 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:19:15] 649*2^1227379-1 is not prime. Res64: 4FE00668F3A2CCA1 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:19:35] 861*2^1227369-1 is not prime. Res64: D530D7E32A2DA7BF Time : 0.0 sec. user=gd_barnes [2012-08-26 17:19:35] 997*2^1227369-1 is not prime. Res64: 2892C75B3BA11E73 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:19:35] 877*2^1227369-1 is not prime. Res64: 4DD7F665E0DDAFCE Time : 0.0 sec. user=gd_barnes [2012-08-26 17:19:35] 635*2^1227370-1 is not prime. Res64: 7451E6273C546F5D Time : 0.0 sec. user=gd_barnes [2012-08-26 17:20:32] 873*2^1227379-1 is not prime. Res64: A6B4B91075310AA0 Time : 0.0 sec. user=mdettweiler [2012-08-26 17:20:53] 909*2^1227377-1 is not prime. Res64: A711649016C79A5E Time : 0.0 sec. user=gd_barnes [2012-08-26 17:21:40] 961*2^1227379-1 is not prime. Res64: ECEE0039E86BAF0E Time : 0.0 sec. user=gd_barnes [2012-08-26 17:23:28] 975*2^1227379-1 is not prime. Res64: 9CD8D0C00BC60DFB Time : 0.0 sec. user=gd_barnes [2012-08-26 17:24:46] 923*2^1227380-1 is not prime. Res64: 81E12D021D4EB7A8 Time : 0.0 sec. user=mdettweiler [2012-08-26 17:26:18] 943*2^1227379-1 is not prime. Res64: 4C8C9CE5502700F9 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:26:32] 945*2^1227380-1 is not prime. Res64: 26243027ACA0B853 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:27:01] 977*2^1227380-1 is not prime. Res64: EF91A67A0C126D39 Time : 0.0 sec. user=mdettweiler [2012-08-26 17:27:40] 991*2^1227381-1 is not prime. Res64: 7FBFACDFFE299DFC Time : 0.0 sec. user=mdettweiler [2012-08-26 17:27:41] 999*2^1227381-1 is not prime. Res64: B94C6A71E9F38902 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:28:29] 789*2^1227380-1 is not prime. Res64: 91C49825003572CB Time : 0.0 sec. user=mdettweiler [2012-08-26 17:28:40] 621*2^1227382-1 is not prime. Res64: 7B2B6A5958970C29 Time : 0.0 sec. user=mdettweiler [2012-08-26 17:28:41] 645*2^1227382-1 is not prime. Res64: 921124C330C3AF26 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:29:29] 795*2^1227381-1 is not prime. Res64: E0D7448D7E984D0A Time : 0.0 sec. user=gd_barnes [2012-08-26 17:30:08] 861*2^1227381-1 is not prime. Res64: CE07A935CC7BEFD3 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:36:58] 705*2^1227382-1 is not prime. Res64: 4092115CAB7BC563 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:37:06] 713*2^1227382-1 is not prime. Res64: 63939604A95A0EA7 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:38:41] 717*2^1227382-1 is not prime. Res64: 57D5607596D922D6 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:40:32] 983*2^1227382-1 is not prime. Res64: 2CD39342940317CB Time : 0.0 sec. user=vaughan [2012-08-26 17:41:27] 751*2^1227381-1 is not prime. Res64: 80D582A99C6CADE5 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:41:59] 887*2^1227382-1 is not prime. Res64: EC0151D2FF1013F8 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:42:17] 643*2^1227383-1 is not prime. Res64: 3EDDE3E217508641 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:42:33] 825*2^1227383-1 is not prime. Res64: BEC7CDF0FCC17B07 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:43:31] 945*2^1227383-1 is not prime. Res64: 9FDE6FA2C6DDC290 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:43:32] 811*2^1227383-1 is not prime. Res64: 56B03FA82B2E1ADE Time : 0.0 sec. user=gd_barnes [2012-08-26 17:45:59] 689*2^1227384-1 is not prime. Res64: AC579873BF8922F6 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:47:05] 825*2^1227384-1 is not prime. Res64: BBBF55419D8AA1FD Time : 0.0 sec. user=gd_barnes [2012-08-26 17:47:49] 843*2^1227384-1 is not prime. Res64: 6D46BE161E96FEEC Time : 0.0 sec. user=mdettweiler [2012-08-26 17:48:17] 765*2^1227385-1 is not prime. Res64: B6981C793C1A91E8 Time : 0.0 sec. user=mdettweiler [2012-08-26 17:48:18] 817*2^1227385-1 is not prime. Res64: 51CD0BCBEA681799 Time : 0.0 sec. user=mdettweiler [2012-08-26 17:49:17] 895*2^1227385-1 is not prime. Res64: 53BEC978E812168E Time : 0.0 sec. user=mdettweiler [2012-08-26 17:49:18] 633*2^1227386-1 is not prime. Res64: F66919F806D908D2 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:50:12] 899*2^1227384-1 is not prime. Res64: A896183765284D6B Time : 0.0 sec. user=mdettweiler [2012-08-26 17:51:11] 699*2^1227384-1 is not prime. Res64: F377AB67106D8815 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:51:58] 661*2^1227385-1 is not prime. Res64: 395F3EF7AF5A40BE Time : 0.0 sec. user=gd_barnes [2012-08-26 17:52:37] 699*2^1227385-1 is not prime. Res64: E87E98B299127EEE Time : 0.0 sec. user=gd_barnes [2012-08-26 17:54:31] 741*2^1227386-1 is not prime. Res64: 7C678C6531BE4D10 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:54:54] 635*2^1227386-1 is not prime. Res64: 15375B398D090280 Time : 0.0 sec. user=gd_barnes [2012-08-26 17:56:00] 877*2^1227385-1 is not prime. Res64: 8433935D7111E96A Time : 0.0 sec. user=mdettweiler [2012-08-26 17:56:34] 905*2^1227384-1 is not prime. Res64: AEB918C9F9B1C293 Time : 0.0 sec. user=mdettweiler [2012-08-26 18:01:34] 885*2^1227374-1 is not prime. Res64: A60A7064312FDF2A Time : 0.0 sec. user=mdettweiler [2012-08-26 18:01:37] 981*2^1227374-1 is not prime. Res64: 9EED372C5E310910 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:02:27] 743*2^1227386-1 is not prime. Res64: 58D92B9F9BFBD100 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:02:34] 843*2^1227386-1 is not prime. Res64: 3C64CE0203A37B89 Time : 0.0 sec. user=mdettweiler [2012-08-26 18:03:09] 639*2^1227375-1 is not prime. Res64: E5AAA1797F056733 Time : 0.0 sec. user=mdettweiler [2012-08-26 18:03:10] 735*2^1227375-1 is not prime. Res64: 96D710A5AFAA4097 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:04:20] 873*2^1227386-1 is not prime. Res64: DE53C3858CE44FCC Time : 0.0 sec. user=mdettweiler [2012-08-26 18:04:32] 615*2^1227376-1 is not prime. Res64: E3C93FE4A55A9E70 Time : 0.0 sec. user=mdettweiler [2012-08-26 18:04:34] 657*2^1227376-1 is not prime. Res64: 7ECCD5E86F7A43E3 Time : 0.0 sec. user=mdettweiler [2012-08-26 18:05:46] 899*2^1227376-1 is not prime. Res64: 991917AE784DD82B Time : 0.0 sec. user=mdettweiler [2012-08-26 18:05:47] 923*2^1227376-1 is not prime. Res64: 61008674505038E3 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:06:10] 887*2^1227386-1 is not prime. Res64: 3C1220D0EBFE8276 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:07:08] 609*2^1227387-1 is not prime. Res64: FAFE06DD0A644262 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:07:47] 1001*2^1227386-1 is not prime. Res64: 4B9266533AD8F1A3 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:08:10] 781*2^1227387-1 is not prime. Res64: EAF9F794A99D585D Time : 0.0 sec. user=mdettweiler [2012-08-26 18:08:55] 797*2^1227388-1 is not prime. Res64: E08C5189CEBF998D Time : 0.0 sec. user=mdettweiler [2012-08-26 18:08:55] 855*2^1227388-1 is not prime. Res64: 39876B7817DE31B5 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:09:06] 765*2^1227387-1 is not prime. Res64: 1249B731603AE010 Time : 0.0 sec. user=mdettweiler [2012-08-26 18:09:56] 601*2^1227389-1 is not prime. Res64: 2452703BFAD0C309 Time : 0.0 sec. user=mdettweiler [2012-08-26 18:09:59] 645*2^1227389-1 is not prime. Res64: BF5FB3028FD23014 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:10:05] 777*2^1227382-1 is not prime. Res64: 5A55482F58C4F98D Time : 0.0 sec. user=gd_barnes [2012-08-26 18:10:06] 827*2^1227382-1 is not prime. Res64: F617D401ACDF1C01 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:11:18] 957*2^1227386-1 is not prime. Res64: 060FA80BCB521E71 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:11:22] 901*2^1227387-1 is not prime. Res64: 086B5F90F9BADD5C Time : 0.0 sec. user=gd_barnes [2012-08-26 18:12:30] 903*2^1227387-1 is not prime. Res64: BAC7ED6E96E6E767 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:12:37] 919*2^1227387-1 is not prime. Res64: 378C208132978F5D Time : 0.0 sec. user=gd_barnes [2012-08-26 18:15:38] 627*2^1227384-1 is not prime. Res64: 289FAF58CA7550A7 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:15:38] 639*2^1227384-1 is not prime. Res64: 7C0B417A92194BB3 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:15:51] 657*2^1227389-1 is not prime. Res64: 5B50C39856D6CE87 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:16:21] 981*2^1227383-1 is not prime. Res64: 0D3D688E13F3512C Time : 0.0 sec. user=gd_barnes [2012-08-26 18:16:21] 993*2^1227383-1 is not prime. Res64: E875F0EF145C82DD Time : 0.0 sec. user=gd_barnes [2012-08-26 18:17:23] 721*2^1227389-1 is not prime. Res64: C02063A91A979C70 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:18:17] 745*2^1227389-1 is not prime. Res64: 83CFE39C9CA47826 Time : 0.0 sec. user=vaughan [2012-08-26 18:18:57] 945*2^1227386-1 is not prime. Res64: 6C59F45424846841 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:19:21] 775*2^1227389-1 is not prime. Res64: E4345DEC5FF1A57C Time : 0.0 sec. user=gd_barnes [2012-08-26 18:20:37] 837*2^1227389-1 is not prime. Res64: 0E26B1BF26EE9047 Time : 0.0 sec. user=mdettweiler [2012-08-26 18:21:18] 685*2^1227389-1 is not prime. Res64: 6B9F5D11E0A0AB4D Time : 0.0 sec. user=mdettweiler [2012-08-26 18:26:30] 951*2^1227389-1 is not prime. Res64: 277F7B7D93A36028 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:26:46] 931*2^1227389-1 is not prime. Res64: A32D10DAFC135563 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:28:05] 867*2^1227390-1 is not prime. Res64: 585B5A212B79AD42 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:28:26] 805*2^1227391-1 is not prime. Res64: 6DD9596A31CF5340 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:29:52] 861*2^1227391-1 is not prime. Res64: 8115BE4E0F0F8830 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:31:52] 759*2^1227392-1 is not prime. Res64: 1C16EEB4D94DA684 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:32:24] 819*2^1227392-1 is not prime. Res64: 7F84803CDBB6735F Time : 0.0 sec. user=gd_barnes [2012-08-26 18:33:16] 867*2^1227392-1 is not prime. Res64: 338DCC754BB216F6 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:33:17] 875*2^1227392-1 is not prime. Res64: 0106B69626978C25 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:35:03] 639*2^1227393-1 is not prime. Res64: 6CC32AE067E813B7 Time : 0.0 sec. user=mdettweiler [2012-08-26 18:36:39] 699*2^1227393-1 is not prime. Res64: 51A795EB0EF4CE6F Time : 0.0 sec. user=mdettweiler [2012-08-26 18:36:39] 739*2^1227393-1 is not prime. Res64: FB05ED59F7ECD2DC Time : 0.0 sec. user=mdettweiler [2012-08-26 18:36:39] 917*2^1227392-1 is not prime. Res64: B7F1BB1C18E576EC Time : 0.0 sec. user=mdettweiler [2012-08-26 18:36:40] 977*2^1227392-1 is not prime. Res64: 67CEF468078AB6C9 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:36:53] 645*2^1227394-1 is not prime. Res64: EBD515F64EBBCB05 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:37:35] 681*2^1227394-1 is not prime. Res64: 95A5C9C1085619CA Time : 0.0 sec. user=gd_barnes [2012-08-26 18:38:04] 651*2^1227394-1 is not prime. Res64: 9F09B9303874B7ED Time : 0.0 sec. user=gd_barnes [2012-08-26 18:39:10] 611*2^1227394-1 is not prime. Res64: D583D27AB0F95638 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:41:45] 975*2^1227394-1 is not prime. Res64: 063C6C35E37E58C1 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:42:51] 663*2^1227395-1 is not prime. Res64: 7C01457FF5CA79E2 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:43:52] 741*2^1227395-1 is not prime. Res64: 3E151C933E3064DF Time : 0.0 sec. user=gd_barnes [2012-08-26 18:44:17] 823*2^1227395-1 is not prime. Res64: C4B2D2C9C42EC30F Time : 0.0 sec. user=gd_barnes [2012-08-26 18:46:28] 963*2^1227395-1 is not prime. Res64: 43021629B4702C4A Time : 0.0 sec. user=mdettweiler [2012-08-26 18:51:03] 973*2^1227395-1 is not prime. Res64: 288FE143FD05AA7C Time : 0.0 sec. user=gd_barnes [2012-08-26 18:53:47] 837*2^1227396-1 is not prime. Res64: 8ABDC363C901C13D Time : 0.0 sec. user=gd_barnes [2012-08-26 18:54:10] 909*2^1227396-1 is not prime. Res64: 50BDD92519860591 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:54:53] 789*2^1227396-1 is not prime. Res64: 5F23AF718A20EA4A Time : 0.0 sec. user=gd_barnes [2012-08-26 18:55:23] 987*2^1227396-1 is not prime. Res64: 33989F0E74C58EAA Time : 0.0 sec. user=mdettweiler [2012-08-26 18:56:20] 629*2^1227396-1 is not prime. Res64: 76E1B4F1C9F80ADD Time : 0.0 sec. user=vaughan [2012-08-26 18:56:25] 801*2^1227395-1 is not prime. Res64: 078156792381D94C Time : 0.0 sec. user=gd_barnes [2012-08-26 18:57:00] 775*2^1227397-1 is not prime. Res64: 7FDCA347401C92CD Time : 0.0 sec. user=gd_barnes [2012-08-26 18:57:26] 759*2^1227397-1 is not prime. Res64: 0D02C1545BA63827 Time : 0.0 sec. user=mdettweiler [2012-08-26 18:57:41] 827*2^1227398-1 is not prime. Res64: 4C22AC435C26B624 Time : 0.0 sec. user=mdettweiler [2012-08-26 18:57:41] 935*2^1227398-1 is not prime. Res64: 6BF2479ADF3DB9C7 Time : 0.0 sec. user=mdettweiler [2012-08-26 18:57:42] 619*2^1227399-1 is not prime. Res64: 70F492F4B6724BB0 Time : 0.0 sec. user=mdettweiler [2012-08-26 18:57:43] 915*2^1227398-1 is not prime. Res64: 27CB79B8A31A9DFD Time : 0.0 sec. user=gd_barnes [2012-08-26 18:58:04] 603*2^1227398-1 is not prime. Res64: 5FC4505101190610 Time : 0.0 sec. user=gd_barnes [2012-08-26 18:58:41] 919*2^1227397-1 is not prime. Res64: B4F11B907D5AC259 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:00:35] 663*2^1227398-1 is not prime. Res64: EAEB5260D33F910D Time : 0.0 sec. user=gd_barnes [2012-08-26 19:02:17] 663*2^1227399-1 is not prime. Res64: BAD52F9FDB4E6B03 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:02:19] 633*2^1227399-1 is not prime. Res64: 8B4E8771EB7ADD46 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:03:30] 751*2^1227399-1 is not prime. Res64: 4525A174C0929DF7 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:07:18] 891*2^1227399-1 is not prime. Res64: BCC485CA4B0E1DF6 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:07:29] 741*2^1227393-1 is not prime. Res64: 71C69D4E0A800ABA Time : 0.0 sec. user=gd_barnes [2012-08-26 19:07:31] 747*2^1227393-1 is not prime. Res64: A7DB04D2BF0DC934 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:07:47] 795*2^1227399-1 is not prime. Res64: 89B4AC360EE810D8 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:08:15] 999*2^1227399-1 is not prime. Res64: 21630ECEFC7E5AE1 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:08:59] 713*2^1227400-1 is not prime. Res64: F59404B6036F14A1 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:09:29] 609*2^1227400-1 is not prime. Res64: 9111B72579FCA6AE Time : 0.0 sec. user=gd_barnes [2012-08-26 19:11:58] 717*2^1227394-1 is not prime. Res64: 88866034124C78A2 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:11:59] 885*2^1227394-1 is not prime. Res64: BC29E5741BA78236 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:12:03] 723*2^1227400-1 is not prime. Res64: 5AC9D1143B2E94BE Time : 0.0 sec. user=gd_barnes [2012-08-26 19:12:53] 983*2^1227394-1 is not prime. Res64: 85015CEAD2DAB48B Time : 0.0 sec. user=gd_barnes [2012-08-26 19:12:54] 645*2^1227395-1 is not prime. Res64: E00E05004CBDE963 Time : 0.0 sec. user=mdettweiler [2012-08-26 19:18:42] 609*2^1227403-1 is not prime. Res64: 551EDCC593E61C57 Time : 0.0 sec. user=mdettweiler [2012-08-26 19:18:43] 639*2^1227403-1 is not prime. Res64: FAC2E0770B2F3C76 Time : 0.0 sec. user=mdettweiler [2012-08-26 19:18:43] 775*2^1227403-1 is not prime. Res64: 7EE55BE292645BE0 Time : 0.0 sec. user=mdettweiler [2012-08-26 19:18:43] 783*2^1227403-1 is not prime. Res64: 7C42AACB3251590B Time : 0.0 sec. user=gd_barnes [2012-08-26 19:19:28] 649*2^1227401-1 is not prime. Res64: C493A8A4DF71DD62 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:19:41] 745*2^1227401-1 is not prime. Res64: 1CD30D54DE8B8DC2 Time : 0.0 sec. user=mdettweiler [2012-08-26 19:20:37] 647*2^1227390-1 is not prime. Res64: 8234D012B973489C Time : 0.0 sec. user=mdettweiler [2012-08-26 19:20:37] 725*2^1227390-1 is not prime. Res64: AB0618A8EFB6A27B Time : 0.0 sec. user=gd_barnes [2012-08-26 19:20:51] 755*2^1227402-1 is not prime. Res64: B73A31C7B0A3494D Time : 0.0 sec. user=mdettweiler [2012-08-26 19:20:55] 735*2^1227400-1 is not prime. Res64: 1DFE2426C871ADBF Time : 0.0 sec. user=gd_barnes [2012-08-26 19:21:41] 977*2^1227402-1 is not prime. Res64: 08899D4B113AEBBD Time : 0.0 sec. user=gd_barnes [2012-08-26 19:22:46] 811*2^1227403-1 is not prime. Res64: E53B9CA8155CEDCC Time : 0.0 sec. user=gd_barnes [2012-08-26 19:23:04] 983*2^1227402-1 is not prime. Res64: FF7D5716998BE67A Time : 0.0 sec. user=mdettweiler [2012-08-26 19:23:39] 871*2^1227391-1 is not prime. Res64: F936211D9BD81FA6 Time : 0.0 sec. user=mdettweiler [2012-08-26 19:23:39] 699*2^1227392-1 is not prime. Res64: 1858531E455DD163 Time : 0.0 sec. user=mdettweiler [2012-08-26 19:24:08] 849*2^1227391-1 is not prime. Res64: 2030C9DF528543B6 Time : 0.0 sec. user=mdettweiler [2012-08-26 19:24:08] 859*2^1227391-1 is not prime. Res64: BEC930F33C8C5924 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:24:10] 915*2^1227403-1 is not prime. Res64: 9B1754E2D8C53D34 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:24:44] 747*2^1227402-1 is not prime. Res64: 076E0924C5DC9A21 Time : 0.0 sec. user=mdettweiler [2012-08-26 19:25:00] 719*2^1227392-1 is not prime. Res64: 7E04462C97949D00 Time : 0.0 sec. user=mdettweiler [2012-08-26 19:25:01] 753*2^1227392-1 is not prime. Res64: 3E1AA55014DCFA64 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:26:09] 617*2^1227404-1 is not prime. Res64: E3BDC67832DC9F08 Time : 0.0 sec. user=mdettweiler [2012-08-26 19:26:13] 821*2^1227402-1 is not prime. Res64: 23A623A881A72E12 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:27:02] 753*2^1227404-1 is not prime. Res64: 6371D2CAF4423822 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:27:46] 923*2^1227404-1 is not prime. Res64: A6324C2D1D38EA1B Time : 0.0 sec. user=gd_barnes [2012-08-26 19:28:58] 627*2^1227405-1 is not prime. Res64: A928FFD668C30BB6 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:33:29] 795*2^1227405-1 is not prime. Res64: 90FA55524125D54E Time : 0.0 sec. user=gd_barnes [2012-08-26 19:33:33] 655*2^1227405-1 is not prime. Res64: 005D81BEEB625745 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:33:46] 777*2^1227405-1 is not prime. Res64: 725BD7E61EC272C9 Time : 0.0 sec. user=vaughan [2012-08-26 19:33:54] 917*2^1227402-1 is not prime. Res64: ECCFC8A2B7B6007F Time : 0.0 sec. user=gd_barnes [2012-08-26 19:35:10] 871*2^1227405-1 is not prime. Res64: D72E3960FC95BE79 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:37:34] 927*2^1227405-1 is not prime. Res64: 1FE4264DD8E34B82 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:37:42] 711*2^1227405-1 is not prime. Res64: E688C0471BE42745 Time : 0.0 sec. user=mdettweiler [2012-08-26 19:39:17] 999*2^1227405-1 is not prime. Res64: CE38E0189FDA5B7D Time : 0.0 sec. user=mdettweiler [2012-08-26 19:39:18] 833*2^1227406-1 is not prime. Res64: AD693A37A5418DBD Time : 0.0 sec. user=mdettweiler [2012-08-26 19:39:18] 647*2^1227406-1 is not prime. Res64: AB926D829465F11D Time : 0.0 sec. user=mdettweiler [2012-08-26 19:39:18] 917*2^1227406-1 is not prime. Res64: ED77B6ED720192CF Time : 0.0 sec. user=gd_barnes [2012-08-26 19:45:00] 601*2^1227407-1 is not prime. Res64: ABF3888C21276BE5 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:45:11] 615*2^1227407-1 is not prime. Res64: 79872EAC27978615 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:45:45] 663*2^1227407-1 is not prime. Res64: DE2326D7D8EA8BD9 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:46:34] 651*2^1227407-1 is not prime. Res64: 9C89630A6E00EC55 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:47:11] 711*2^1227407-1 is not prime. Res64: 5A1421529BB1CFC7 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:48:40] 741*2^1227407-1 is not prime. Res64: 8A9CA2EEB1DBE39B Time : 0.0 sec. user=gd_barnes [2012-08-26 19:49:34] 879*2^1227408-1 is not prime. Res64: 0D35F2A889A12879 Time : 0.0 sec. user=mdettweiler [2012-08-26 19:50:37] 655*2^1227407-1 is not prime. Res64: 2FF10A7127738F43 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:51:16] 919*2^1227409-1 is not prime. Res64: D6ED2DB40C492F25 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:51:36] 847*2^1227409-1 is not prime. Res64: B20A733B610A95EC Time : 0.0 sec. user=gd_barnes [2012-08-26 19:51:39] 609*2^1227409-1 is not prime. Res64: 815664C7A1B5388F Time : 0.0 sec. user=gd_barnes [2012-08-26 19:53:09] 955*2^1227409-1 is not prime. Res64: 6A7C70A8355A4143 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:54:25] 997*2^1227409-1 is not prime. Res64: 4BC937BB83FA7DBE Time : 0.0 sec. user=mdettweiler [2012-08-26 19:55:55] 897*2^1227409-1 is not prime. Res64: F6345C82B184E8C9 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:57:38] 999*2^1227409-1 is not prime. Res64: 17AD570B94C45692 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:58:57] 657*2^1227410-1 is not prime. Res64: 6781194FEE2BAE48 Time : 0.0 sec. user=gd_barnes [2012-08-26 19:59:12] 713*2^1227410-1 is not prime. Res64: FE78EA93B654865E Time : 0.0 sec. user=mdettweiler [2012-08-26 20:00:07] 643*2^1227411-1 is not prime. Res64: F16076E6AA4F019B Time : 0.0 sec. user=mdettweiler [2012-08-26 20:00:08] 685*2^1227411-1 is not prime. Res64: 7C67E6DC71B9A7A4 Time : 0.0 sec. user=mdettweiler [2012-08-26 20:00:09] 735*2^1227411-1 is not prime. Res64: C37FA9366047A40C Time : 0.0 sec. user=mdettweiler [2012-08-26 20:00:09] 859*2^1227411-1 is not prime. Res64: D76724B89BDC6822 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:00:47] 831*2^1227410-1 is not prime. Res64: 04B8831FD21F8ACD Time : 0.0 sec. user=gd_barnes [2012-08-26 20:03:04] 945*2^1227410-1 is not prime. Res64: B48A59E67217C482 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:04:47] 649*2^1227405-1 is not prime. Res64: F64B5F4862BEB7D9 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:04:48] 667*2^1227405-1 is not prime. Res64: 08909DF179492AC1 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:05:44] 995*2^1227410-1 is not prime. Res64: 3F5DE9555F6D7012 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:07:56] 889*2^1227405-1 is not prime. Res64: F317895FD92574BB Time : 0.0 sec. user=gd_barnes [2012-08-26 20:07:57] 895*2^1227405-1 is not prime. Res64: 955C7B394C12F815 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:09:47] 937*2^1227405-1 is not prime. Res64: 48D129FFA6B2C93A Time : 0.0 sec. user=gd_barnes [2012-08-26 20:09:49] 979*2^1227405-1 is not prime. Res64: 5B7558C24B44949E Time : 0.0 sec. user=gd_barnes [2012-08-26 20:10:06] 759*2^1227412-1 is not prime. Res64: 04CBD87BD5B9AD17 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:10:39] 961*2^1227411-1 is not prime. Res64: C1102F1926672D27 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:10:40] 749*2^1227412-1 is not prime. Res64: 18EBB13F4ECAC5EF Time : 0.0 sec. user=gd_barnes [2012-08-26 20:11:15] 915*2^1227412-1 is not prime. Res64: 077695D26C77D324 Time : 0.0 sec. user=vaughan [2012-08-26 20:11:22] 797*2^1227410-1 is not prime. Res64: 8D25CAE060C26A6B Time : 0.0 sec. user=gd_barnes [2012-08-26 20:12:02] 855*2^1227412-1 is not prime. Res64: 4B6C2B0812F11C5B Time : 0.0 sec. user=gd_barnes [2012-08-26 20:14:18] 933*2^1227412-1 is not prime. Res64: 570DCC50717BFEFE Time : 0.0 sec. user=gd_barnes [2012-08-26 20:14:59] 983*2^1227412-1 is not prime. Res64: 7516C5C273DD56E7 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:15:23] 627*2^1227413-1 is not prime. Res64: 484C9DF0A786F829 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:17:03] 631*2^1227413-1 is not prime. Res64: EBD126D765D2C49F Time : 0.0 sec. user=gd_barnes [2012-08-26 20:18:36] 721*2^1227413-1 is not prime. Res64: 4AB84634FDC53EA7 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:19:24] 657*2^1227413-1 is not prime. Res64: 42B6AA28962F802E Time : 0.0 sec. user=gd_barnes [2012-08-26 20:19:51] 769*2^1227413-1 is not prime. Res64: E27D0A26B7BEBE70 Time : 0.0 sec. user=mdettweiler [2012-08-26 20:20:21] 989*2^1227412-1 is not prime. Res64: CF50175980663F07 Time : 0.0 sec. user=mdettweiler [2012-08-26 20:21:13] 917*2^1227414-1 is not prime. Res64: B394E6F32E4252A3 Time : 0.0 sec. user=mdettweiler [2012-08-26 20:21:14] 645*2^1227415-1 is not prime. Res64: 36B2E6681A37F52B Time : 0.0 sec. user=mdettweiler [2012-08-26 20:21:14] 717*2^1227414-1 is not prime. Res64: 7E0433244995A3E2 Time : 0.0 sec. user=mdettweiler [2012-08-26 20:21:15] 807*2^1227414-1 is not prime. Res64: F9B8F3FBE21324DE Time : 0.0 sec. user=gd_barnes [2012-08-26 20:21:42] 987*2^1227413-1 is not prime. Res64: 0BF24F5B8FC66129 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:24:23] 621*2^1227414-1 is not prime. Res64: 437C52686AB7B4A6 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:24:36] 683*2^1227414-1 is not prime. Res64: F265B66717AC666E Time : 0.0 sec. user=mdettweiler [2012-08-26 20:25:38] 861*2^1227413-1 is not prime. Res64: DD0DE4571B9E2175 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:26:24] 685*2^1227415-1 is not prime. Res64: F3ED27DCA265392B Time : 0.0 sec. user=gd_barnes [2012-08-26 20:28:34] 775*2^1227415-1 is not prime. Res64: C517676056B402D3 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:33:49] 843*2^1227416-1 is not prime. Res64: 589DF8C48FA554AB Time : 0.0 sec. user=gd_barnes [2012-08-26 20:33:59] 769*2^1227417-1 is not prime. Res64: 9CE4E2FFB67410AC Time : 0.0 sec. user=gd_barnes [2012-08-26 20:35:24] 603*2^1227418-1 is not prime. Res64: 5FBE0C2617B76464 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:36:10] 909*2^1227417-1 is not prime. Res64: 8F7A9518F3A142D0 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:36:23] 835*2^1227417-1 is not prime. Res64: 45A4A18DD1A2EFB6 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:37:34] 663*2^1227418-1 is not prime. Res64: 24729FDC5664E1B1 Time : 0.0 sec. user=mdettweiler [2012-08-26 20:39:07] 633*2^1227407-1 is not prime. Res64: 9CB6CB81081C2423 Time : 0.0 sec. user=mdettweiler [2012-08-26 20:39:07] 645*2^1227407-1 is not prime. Res64: 7041A7FE18F8FBCF Time : 0.0 sec. user=gd_barnes [2012-08-26 20:39:16] 843*2^1227418-1 is not prime. Res64: 477F2A1626D22A0F Time : 0.0 sec. user=gd_barnes [2012-08-26 20:39:54] 671*2^1227418-1 is not prime. Res64: ACE6244A685B0602 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:40:29] 713*2^1227418-1 is not prime. Res64: 2FF2746B937F3D9C Time : 0.0 sec. user=mdettweiler [2012-08-26 20:42:09] 931*2^1227419-1 is not prime. Res64: EFF285356C14F276 Time : 0.0 sec. user=mdettweiler [2012-08-26 20:42:10] 999*2^1227419-1 is not prime. Res64: E6B5AAD46F0BE5BC Time : 0.0 sec. user=mdettweiler [2012-08-26 20:42:11] 693*2^1227420-1 is not prime. Res64: 9531E186EEA85C2D Time : 0.0 sec. user=mdettweiler [2012-08-26 20:42:11] 783*2^1227420-1 is not prime. Res64: 25F26D751B403E37 Time : 0.0 sec. user=mdettweiler [2012-08-26 20:42:34] 759*2^1227407-1 is not prime. Res64: 54F084C953567083 Time : 0.0 sec. user=mdettweiler [2012-08-26 20:42:34] 663*2^1227408-1 is not prime. Res64: 270F07707B27C75C Time : 0.0 sec. user=gd_barnes [2012-08-26 20:42:35] 857*2^1227418-1 is not prime. Res64: ACF6607CA57EF3F3 Time : 0.0 sec. user=mdettweiler [2012-08-26 20:43:10] 725*2^1227408-1 is not prime. Res64: B70C9E7B810D6468 Time : 0.0 sec. user=mdettweiler [2012-08-26 20:43:10] 867*2^1227408-1 is not prime. Res64: 8AE34499ED46DAB4 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:44:02] 971*2^1227418-1 is not prime. Res64: 2722F2BC6A3EB887 Time : 0.0 sec. user=mdettweiler [2012-08-26 20:44:14] 741*2^1227409-1 is not prime. Res64: 2B2DAF8790C2AAFB Time : 0.0 sec. user=mdettweiler [2012-08-26 20:44:15] 765*2^1227409-1 is not prime. Res64: 4A276695C2F6D634 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:45:15] 669*2^1227419-1 is not prime. Res64: 194CE159DC6DCCF2 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:45:32] 803*2^1227420-1 is not prime. Res64: 7ABF834BF0540D85 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:47:00] 621*2^1227419-1 is not prime. Res64: AE55C8CA9806969C Time : 0.0 sec. user=vaughan [2012-08-26 20:48:52] 647*2^1227418-1 is not prime. Res64: 72C72F5D84801DA8 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:49:55] 843*2^1227420-1 is not prime. Res64: 2A226BFC4779CEDA Time : 0.0 sec. user=gd_barnes [2012-08-26 20:50:03] 863*2^1227420-1 is not prime. Res64: 751C527888DB2189 Time : 0.0 sec. user=mdettweiler [2012-08-26 20:50:12] 753*2^1227419-1 is not prime. Res64: D2605039FAB24F6A Time : 0.0 sec. user=gd_barnes [2012-08-26 20:52:03] 935*2^1227420-1 is not prime. Res64: 639AF74BFB8FA938 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:54:07] 609*2^1227421-1 is not prime. Res64: CC81A9C80864F38E Time : 0.0 sec. user=mdettweiler [2012-08-26 20:55:13] 743*2^1227424-1 is not prime. Res64: 734B0323A45C0402 Time : 0.0 sec. user=mdettweiler [2012-08-26 20:55:17] 619*2^1227425-1 is not prime. Res64: CF95E960955CA66F Time : 0.0 sec. user=mdettweiler [2012-08-26 20:55:27] 909*2^1227420-1 is not prime. Res64: EAE05BF59E62746B Time : 0.0 sec. user=gd_barnes [2012-08-26 20:57:56] 811*2^1227421-1 is not prime. Res64: 754A5210391DB912 Time : 0.0 sec. user=gd_barnes [2012-08-26 20:59:18] 829*2^1227421-1 is not prime. Res64: 3A1973D51A06F6A2 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:00:41] 615*2^1227421-1 is not prime. Res64: FF105855C5946235 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:01:26] 915*2^1227415-1 is not prime. Res64: 18CC622997F121B7 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:01:26] 973*2^1227415-1 is not prime. Res64: 3B5EAA954BB0BA1A Time : 0.0 sec. user=gd_barnes [2012-08-26 21:01:35] 855*2^1227421-1 is not prime. Res64: 5B1D0A5B97798162 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:02:06] 889*2^1227421-1 is not prime. Res64: 45586EDD4FFA764D Time : 0.0 sec. user=mdettweiler [2012-08-26 21:03:04] 849*2^1227423-1 is not prime. Res64: CAF6832EE96AD9E5 Time : 0.0 sec. user=mdettweiler [2012-08-26 21:03:04] 709*2^1227423-1 is not prime. Res64: 7571C977D1B9E11A Time : 0.0 sec. user=mdettweiler [2012-08-26 21:03:05] 741*2^1227423-1 is not prime. Res64: E914DBA12D13C5B5 Time : 0.0 sec. user=mdettweiler [2012-08-26 21:03:05] 885*2^1227423-1 is not prime. Res64: BB37D7D467BB6A69 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:03:07] 967*2^1227421-1 is not prime. Res64: 381D3F7CB6B1C090 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:03:14] 741*2^1227422-1 is not prime. Res64: C253A96C12674483 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:04:23] 857*2^1227416-1 is not prime. Res64: 3E822502DB9D44B8 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:04:24] 615*2^1227417-1 is not prime. Res64: 09E94C1FA8FAEA17 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:05:25] 761*2^1227422-1 is not prime. Res64: 1DCDE5A2EEBD72F3 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:05:54] 767*2^1227422-1 is not prime. Res64: FA660E2930D07222 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:06:31] 681*2^1227417-1 is not prime. Res64: 415042067E4668F4 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:06:32] 741*2^1227417-1 is not prime. Res64: C174101BCBCE5F86 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:08:09] 811*2^1227425-1 is not prime. Res64: A4EF19F5AF4E8425 Time : 0.0 sec. user=mdettweiler [2012-08-26 21:08:28] 769*2^1227427-1 is not prime. Res64: 79FD9DAF3B40AEFC Time : 0.0 sec. user=mdettweiler [2012-08-26 21:08:32] 819*2^1227427-1 is not prime. Res64: F84773482B9235FF Time : 0.0 sec. user=gd_barnes [2012-08-26 21:09:34] 949*2^1227425-1 is not prime. Res64: 6DFC2FC93F5DAE64 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:09:35] 917*2^1227426-1 is not prime. Res64: D766689E92C9F1DE Time : 0.0 sec. user=gd_barnes [2012-08-26 21:10:45] 893*2^1227426-1 is not prime. Res64: B291B898822B78F2 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:15:25] 1001*2^1227426-1 is not prime. Res64: 4467A6870E03B604 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:15:29] 619*2^1227427-1 is not prime. Res64: 4B3271133881350A Time : 0.0 sec. user=gd_barnes [2012-08-26 21:15:49] 947*2^1227426-1 is not prime. Res64: 331F740F405705F5 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:17:36] 681*2^1227427-1 is not prime. Res64: FD2475DE7C560419 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:19:41] 741*2^1227427-1 is not prime. Res64: A3F69B7ED61D82F0 Time : 0.0 sec. user=mdettweiler [2012-08-26 21:20:03] 649*2^1227427-1 is not prime. Res64: E302495EBE1D6CD9 Time : 0.0 sec. user=mdettweiler [2012-08-26 21:21:39] 887*2^1227430-1 is not prime. Res64: B6498E12420E2B58 Time : 0.0 sec. user=mdettweiler [2012-08-26 21:21:44] 933*2^1227430-1 is not prime. Res64: FFAC8C6E7C8FE99C Time : 0.0 sec. user=gd_barnes [2012-08-26 21:22:22] 859*2^1227427-1 is not prime. Res64: 3743C404FA47D754 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:23:33] 871*2^1227427-1 is not prime. Res64: D90425B2CD162D0B Time : 0.0 sec. user=mdettweiler [2012-08-26 21:23:49] 875*2^1227428-1 is not prime. Res64: 2329D521F0B12A96 Time : 0.0 sec. user=mdettweiler [2012-08-26 21:23:51] 627*2^1227429-1 is not prime. Res64: AD6A429D951D8D08 Time : 0.0 sec. user=mdettweiler [2012-08-26 21:23:51] 649*2^1227429-1 is not prime. Res64: 51562C2F232F93BA Time : 0.0 sec. user=mdettweiler [2012-08-26 21:23:52] 669*2^1227429-1 is not prime. Res64: 7506E88737AA5847 Time : 0.0 sec. user=mdettweiler [2012-08-26 21:25:17] 843*2^1227427-1 is not prime. Res64: FB373524D2AC2B30 Time : 0.0 sec. user=vaughan [2012-08-26 21:26:21] 983*2^1227426-1 is not prime. Res64: C091E23BD9A76638 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:27:08] 797*2^1227428-1 is not prime. Res64: 5D040D4D34748767 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:27:37] 833*2^1227428-1 is not prime. Res64: 02BDF8A0EBF42641 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:27:45] 747*2^1227429-1 is not prime. Res64: D30E41790E9B0576 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:28:48] 681*2^1227429-1 is not prime. Res64: AB7F7294260D02D3 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:29:38] 891*2^1227427-1 is not prime. Res64: 47468DD84408B16E Time : 0.0 sec. user=gd_barnes [2012-08-26 21:31:05] 605*2^1227430-1 is not prime. Res64: CAFB40A7FAD2ABC1 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:31:23] 677*2^1227430-1 is not prime. Res64: 79EE8581E1DB2E75 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:33:43] 863*2^1227430-1 is not prime. Res64: 9B5FE0B0DA40810A Time : 0.0 sec. user=gd_barnes [2012-08-26 21:34:01] 619*2^1227431-1 is not prime. Res64: AB6771025AAC0181 Time : 0.0 sec. user=mdettweiler [2012-08-26 21:34:43] 903*2^1227432-1 is not prime. Res64: 09B78EC37778B901 Time : 0.0 sec. user=mdettweiler [2012-08-26 21:34:47] 983*2^1227432-1 is not prime. Res64: 0977F4981318A2CC Time : 0.0 sec. user=gd_barnes [2012-08-26 21:35:00] 957*2^1227430-1 is not prime. Res64: 6745EDCF8C7ED8DB Time : 0.0 sec. user=gd_barnes [2012-08-26 21:36:15] 675*2^1227431-1 is not prime. Res64: 6D1733DB1269C7EB Time : 0.0 sec. user=gd_barnes [2012-08-26 21:40:54] 747*2^1227430-1 is not prime. Res64: 7D112829454BB7E6 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:40:54] 825*2^1227430-1 is not prime. Res64: 181220BFA38FF43D Time : 0.0 sec. user=gd_barnes [2012-08-26 21:43:12] 943*2^1227431-1 is not prime. Res64: 96048F8FE2FEFB06 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:43:20] 705*2^1227431-1 is not prime. Res64: CB4087B022456339 Time : 0.0 sec. user=mdettweiler [2012-08-26 21:45:06] 877*2^1227433-1 is not prime. Res64: 6E1FE0541F6DA916 Time : 0.0 sec. user=mdettweiler [2012-08-26 21:45:07] 937*2^1227433-1 is not prime. Res64: 9DC6AC1F00C9F927 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:45:09] 695*2^1227432-1 is not prime. Res64: 1A9364D46326F72E Time : 0.0 sec. user=mdettweiler [2012-08-26 21:45:12] 615*2^1227434-1 is not prime. Res64: D8DC9310F03D006A Time : 0.0 sec. user=mdettweiler [2012-08-26 21:45:13] 633*2^1227434-1 is not prime. Res64: 7BAD7550AE161CF4 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:46:50] 817*2^1227433-1 is not prime. Res64: 6077118446CBD9D1 Time : 0.0 sec. user=mdettweiler [2012-08-26 21:47:44] 951*2^1227435-1 is not prime. Res64: CA8FFABAFEA93297 Time : 0.0 sec. user=mdettweiler [2012-08-26 21:47:51] 609*2^1227436-1 is not prime. Res64: C225C74D4F7445C9 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:48:03] 847*2^1227433-1 is not prime. Res64: 552E276F95AF0D9C Time : 0.0 sec. user=mdettweiler [2012-08-26 21:49:51] 779*2^1227432-1 is not prime. Res64: 7CCDE7013CCB05C1 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:52:04] 791*2^1227434-1 is not prime. Res64: D4CA6D105FA8EC8A Time : 0.0 sec. user=gd_barnes [2012-08-26 21:52:34] 731*2^1227434-1 is not prime. Res64: 5634847E27624963 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:53:14] 753*2^1227434-1 is not prime. Res64: B2838EAA0D6219B6 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:54:39] 885*2^1227434-1 is not prime. Res64: 8B0EBCB7398B4D83 Time : 0.0 sec. user=mdettweiler [2012-08-26 21:55:05] 641*2^1227434-1 is not prime. Res64: AF5071D3F757E74D Time : 0.0 sec. user=gd_barnes [2012-08-26 21:56:43] 633*2^1227435-1 is not prime. Res64: 0EAF75512EA66117 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:56:50] 639*2^1227435-1 is not prime. Res64: 034A52492110041F Time : 0.0 sec. user=gd_barnes [2012-08-26 21:57:01] 699*2^1227428-1 is not prime. Res64: 5164ACC8A87C7C18 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:57:01] 735*2^1227428-1 is not prime. Res64: A65E9B619881F57D Time : 0.0 sec. user=gd_barnes [2012-08-26 21:57:10] 601*2^1227435-1 is not prime. Res64: A0818588B08B2EE8 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:58:03] 873*2^1227435-1 is not prime. Res64: C02ED394945BE08E Time : 0.0 sec. user=gd_barnes [2012-08-26 21:59:10] 739*2^1227435-1 is not prime. Res64: 03C4D53392F85CC9 Time : 0.0 sec. user=mdettweiler [2012-08-26 21:59:48] 999*2^1227421-1 is not prime. Res64: 566C9B1B949057EA Time : 0.0 sec. user=mdettweiler [2012-08-26 21:59:48] 711*2^1227422-1 is not prime. Res64: 2A98483A1FFF9876 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:59:59] 765*2^1227429-1 is not prime. Res64: 3E87917410F9B2C5 Time : 0.0 sec. user=gd_barnes [2012-08-26 21:59:59] 603*2^1227430-1 is not prime. Res64: DDA84F8A627A3049 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:00:27] 785*2^1227436-1 is not prime. Res64: AF36846282366E83 Time : 0.0 sec. user=mdettweiler [2012-08-26 22:00:47] 765*2^1227438-1 is not prime. Res64: 9AC10C6233E18079 Time : 0.0 sec. user=mdettweiler [2012-08-26 22:00:57] 801*2^1227438-1 is not prime. Res64: 6A801412E1267A07 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:01:43] 843*2^1227436-1 is not prime. Res64: 1972562A5DBB7996 Time : 0.0 sec. user=mdettweiler [2012-08-26 22:02:54] 873*2^1227424-1 is not prime. Res64: 0FAB976A9667DA5C Time : 0.0 sec. user=mdettweiler [2012-08-26 22:02:55] 897*2^1227424-1 is not prime. Res64: C18EA0391FD14C26 Time : 0.0 sec. user=mdettweiler [2012-08-26 22:03:18] 831*2^1227425-1 is not prime. Res64: 2536E62876DDAF7F Time : 0.0 sec. user=mdettweiler [2012-08-26 22:03:18] 871*2^1227425-1 is not prime. Res64: 26639128B548D811 Time : 0.0 sec. user=vaughan [2012-08-26 22:03:50] 665*2^1227434-1 is not prime. Res64: 40EDAE79D0D3EBB0 Time : 0.0 sec. user=mdettweiler [2012-08-26 22:04:29] 951*2^1227425-1 is not prime. Res64: 3743756D0FF71C7A Time : 0.0 sec. user=mdettweiler [2012-08-26 22:04:29] 815*2^1227426-1 is not prime. Res64: 5607CFCD3B5ACE1C Time : 0.0 sec. user=gd_barnes [2012-08-26 22:06:19] 923*2^1227436-1 is not prime. Res64: A6F95D7BBFF8C750 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:06:21] 903*2^1227436-1 is not prime. Res64: 71FE160D7B948017 Time : 0.0 sec. user=mdettweiler [2012-08-26 22:07:04] 675*2^1227437-1 is not prime. Res64: F156508DD905BA7C Time : 0.0 sec. user=mdettweiler [2012-08-26 22:07:04] 697*2^1227437-1 is not prime. Res64: C5E3FFAC11CD1721 Time : 0.0 sec. user=mdettweiler [2012-08-26 22:07:09] 621*2^1227438-1 is not prime. Res64: 5AA78F8D6C70F5A3 Time : 0.0 sec. user=mdettweiler [2012-08-26 22:07:13] 663*2^1227438-1 is not prime. Res64: BE2CF28682835301 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:08:44] 933*2^1227436-1 is not prime. Res64: 7A8C8DD5D12B2235 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:10:36] 831*2^1227437-1 is not prime. Res64: D294F82EC0210B7C Time : 0.0 sec. user=gd_barnes [2012-08-26 22:11:01] 755*2^1227438-1 is not prime. Res64: BE45AC1C31BFB220 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:12:07] 815*2^1227438-1 is not prime. Res64: 36400759F744D615 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:12:11] 965*2^1227436-1 is not prime. Res64: BBA8EB8F2383DE9D Time : 0.0 sec. user=mdettweiler [2012-08-26 22:14:03] 999*2^1227440-1 is not prime. Res64: EBE5BCD54A9BCF48 Time : 0.0 sec. user=mdettweiler [2012-08-26 22:14:12] 649*2^1227441-1 is not prime. Res64: 8CD3E97D8EC7CBB9 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:15:51] 977*2^1227438-1 is not prime. Res64: 12F00E2BA65E2D97 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:18:01] 619*2^1227439-1 is not prime. Res64: 5820741BC4E8969A Time : 0.0 sec. user=gd_barnes [2012-08-26 22:18:49] 741*2^1227439-1 is not prime. Res64: F56C63E0D2B5BCC8 Time : 0.0 sec. user=mdettweiler [2012-08-26 22:19:37] 941*2^1227438-1 is not prime. Res64: 92F54F365F7BF9E3 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:20:21] 763*2^1227439-1 is not prime. Res64: E423A357D1A0CB45 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:22:08] 605*2^1227440-1 is not prime. Res64: 5C467A19A73D881E Time : 0.0 sec. user=gd_barnes [2012-08-26 22:22:17] 873*2^1227439-1 is not prime. Res64: 26B62CDA7D491C57 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:22:23] 853*2^1227439-1 is not prime. Res64: ECB6A846C069BF2F Time : 0.0 sec. user=gd_barnes [2012-08-26 22:24:41] 635*2^1227440-1 is not prime. Res64: B1FECD279E391FEC Time : 0.0 sec. user=mdettweiler [2012-08-26 22:24:54] 775*2^1227439-1 is not prime. Res64: 582EDF000CFD73AB Time : 0.0 sec. user=gd_barnes [2012-08-26 22:25:53] 935*2^1227440-1 is not prime. Res64: 689FD9F0AF265CF0 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:26:07] 999*2^1227439-1 is not prime. Res64: FBD36D00E631BC54 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:27:09] 709*2^1227441-1 is not prime. Res64: 70493EFA33A38BCD Time : 0.0 sec. user=mdettweiler [2012-08-26 22:27:11] 707*2^1227444-1 is not prime. Res64: 613A97B6BBC9F3F1 Time : 0.0 sec. user=mdettweiler [2012-08-26 22:27:21] 759*2^1227444-1 is not prime. Res64: EC71BC186FEE91FF Time : 0.0 sec. user=mdettweiler [2012-08-26 22:28:22] 957*2^1227442-1 is not prime. Res64: 3A3C0191B610ABF7 Time : 0.0 sec. user=mdettweiler [2012-08-26 22:28:22] 603*2^1227443-1 is not prime. Res64: 2EC19A1DA4CF2621 Time : 0.0 sec. user=mdettweiler [2012-08-26 22:28:34] 759*2^1227443-1 is not prime. Res64: EF535A7A20F4ADD1 Time : 0.0 sec. user=mdettweiler [2012-08-26 22:28:35] 825*2^1227443-1 is not prime. Res64: 7D68236A8816CC59 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:31:55] 833*2^1227442-1 is not prime. Res64: 32A642F94FFF5362 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:31:59] 923*2^1227442-1 is not prime. Res64: 8BCC849AFDF51B77 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:34:20] 871*2^1227443-1 is not prime. Res64: A3288853C4723F41 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:35:23] 955*2^1227443-1 is not prime. Res64: 71295497AB89E1CD Time : 0.0 sec. user=gd_barnes [2012-08-26 22:36:10] 949*2^1227443-1 is not prime. Res64: 5966271F5FA09D00 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:36:42] 981*2^1227443-1 is not prime. Res64: 13974E7660D4307D Time : 0.0 sec. user=gd_barnes [2012-08-26 22:40:05] 985*2^1227443-1 is not prime. Res64: 327B400C35059375 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:40:13] 789*2^1227444-1 is not prime. Res64: 7F513A7E4A51CDCB Time : 0.0 sec. user=mdettweiler [2012-08-26 22:40:18] 897*2^1227446-1 is not prime. Res64: 0DE3A7F8D4B8A4BD Time : 0.0 sec. user=mdettweiler [2012-08-26 22:40:28] 923*2^1227446-1 is not prime. Res64: 9EB6D99933DD0CDE Time : 0.0 sec. user=vaughan [2012-08-26 22:41:17] 657*2^1227442-1 is not prime. Res64: ABBBECB966C2B058 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:43:29] 843*2^1227444-1 is not prime. Res64: 799FB6B79C216EC5 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:44:30] 905*2^1227444-1 is not prime. Res64: 80F27081B9BB73CA Time : 0.0 sec. user=gd_barnes [2012-08-26 22:45:59] 619*2^1227445-1 is not prime. Res64: E6E4203DAF9AC3E9 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:46:46] 691*2^1227445-1 is not prime. Res64: F04E8CAEE0E74D89 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:47:45] 771*2^1227445-1 is not prime. Res64: 7ABB2CFA5CAB1896 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:47:59] 641*2^1227446-1 is not prime. Res64: 27EFDE7157FC6E0A Time : 0.0 sec. user=mdettweiler [2012-08-26 22:49:06] 957*2^1227446-1 is not prime. Res64: 4D97758BF6AC84F5 Time : 0.0 sec. user=mdettweiler [2012-08-26 22:49:07] 691*2^1227447-1 is not prime. Res64: 03C84F4DBE2292C6 Time : 0.0 sec. user=mdettweiler [2012-08-26 22:49:17] 781*2^1227447-1 is not prime. Res64: ADB6F0A316F608BF Time : 0.0 sec. user=mdettweiler [2012-08-26 22:49:18] 885*2^1227447-1 is not prime. Res64: FB45F532A71ABB83 Time : 0.0 sec. user=mdettweiler [2012-08-26 22:49:28] 927*2^1227444-1 is not prime. Res64: 8655B8F13841F0CA Time : 0.0 sec. user=gd_barnes [2012-08-26 22:50:11] 671*2^1227446-1 is not prime. Res64: F8B9FE006C10750D Time : 0.0 sec. user=gd_barnes [2012-08-26 22:51:22] 785*2^1227446-1 is not prime. Res64: 909E21775417818D Time : 0.0 sec. user=gd_barnes [2012-08-26 22:52:36] 917*2^1227446-1 is not prime. Res64: 8B127ECA730CBDEC Time : 0.0 sec. user=gd_barnes [2012-08-26 22:52:51] 883*2^1227439-1 is not prime. Res64: 05DA4C885DA18B6F Time : 0.0 sec. user=gd_barnes [2012-08-26 22:52:51] 885*2^1227439-1 is not prime. Res64: CBC63FC1705BD081 Time : 0.0 sec. user=mdettweiler [2012-08-26 22:53:23] 735*2^1227449-1 is not prime. Res64: 2DFE60EAE9944A7C Time : 0.0 sec. user=mdettweiler [2012-08-26 22:53:32] 741*2^1227449-1 is not prime. Res64: 2BFD6F308F062454 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:53:58] 851*2^1227446-1 is not prime. Res64: 077A8219783B7C3E Time : 0.0 sec. user=mdettweiler [2012-08-26 22:54:44] 741*2^1227446-1 is not prime. Res64: 27405D840F7DBA8B Time : 0.0 sec. user=gd_barnes [2012-08-26 22:56:26] 767*2^1227440-1 is not prime. Res64: C6A8290CA9A6A97C Time : 0.0 sec. user=gd_barnes [2012-08-26 22:56:26] 855*2^1227440-1 is not prime. Res64: A90F2F371EB62000 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:57:24] 933*2^1227447-1 is not prime. Res64: 054B154017F7C821 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:57:33] 973*2^1227447-1 is not prime. Res64: 476563F672750479 Time : 0.0 sec. user=gd_barnes [2012-08-26 22:59:52] 979*2^1227447-1 is not prime. Res64: 1CC1B21C615BF7FB Time : 0.0 sec. user=gd_barnes [2012-08-26 23:00:05] 991*2^1227447-1 is not prime. Res64: 3C68A2C6683180E4 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:01:24] 773*2^1227448-1 is not prime. Res64: 2891FBE94870B8AC Time : 0.0 sec. user=gd_barnes [2012-08-26 23:01:50] 657*2^1227448-1 is not prime. Res64: F249E854971C44E4 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:04:53] 727*2^1227449-1 is not prime. Res64: 5CF13F37E6C0D2C0 Time : 0.0 sec. user=mdettweiler [2012-08-26 23:06:28] 843*2^1227452-1 is not prime. Res64: 705F2E09126BCB6C Time : 0.0 sec. user=mdettweiler [2012-08-26 23:06:37] 855*2^1227452-1 is not prime. Res64: 477A24FE00983D56 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:08:38] 711*2^1227449-1 is not prime. Res64: ED84B9485D086849 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:09:04] 775*2^1227449-1 is not prime. Res64: 063793AEBFCB3467 Time : 0.0 sec. user=mdettweiler [2012-08-26 23:09:46] 797*2^1227450-1 is not prime. Res64: 77270F26BDC6459F Time : 0.0 sec. user=mdettweiler [2012-08-26 23:09:48] 825*2^1227450-1 is not prime. Res64: 8028ED1E40511AA3 Time : 0.0 sec. user=mdettweiler [2012-08-26 23:09:54] 851*2^1227450-1 is not prime. Res64: 97C8046B73A9D2CF Time : 0.0 sec. user=mdettweiler [2012-08-26 23:09:55] 945*2^1227450-1 is not prime. Res64: 5163B78290162A52 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:10:10] 865*2^1227449-1 is not prime. Res64: 7506C89ABAF57DD0 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:11:30] 967*2^1227449-1 is not prime. Res64: 2672A5B040E0133F Time : 0.0 sec. user=gd_barnes [2012-08-26 23:11:32] 681*2^1227450-1 is not prime. Res64: A2869DB4D1362BA7 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:13:10] 765*2^1227450-1 is not prime. Res64: 47002F2119CB6DD6 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:13:37] 791*2^1227450-1 is not prime. Res64: 520BA598C81D0A3E Time : 0.0 sec. user=gd_barnes [2012-08-26 23:15:46] 909*2^1227451-1 is not prime. Res64: 8729C7E52A74EAB0 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:16:47] 969*2^1227451-1 is not prime. Res64: AAF03FFAC53AF777 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:18:02] 999*2^1227451-1 is not prime. Res64: C2B1EE38B0B2B3EC Time : 0.0 sec. user=mdettweiler [2012-08-26 23:18:19] 717*2^1227440-1 is not prime. Res64: DD3BB49CE630EC5B Time : 0.0 sec. user=mdettweiler [2012-08-26 23:18:19] 755*2^1227440-1 is not prime. Res64: 96201DC1A0096C7B Time : 0.0 sec. user=vaughan [2012-08-26 23:18:47] 759*2^1227449-1 is not prime. Res64: C9F2B3C8EA1F2109 Time : 0.0 sec. user=mdettweiler [2012-08-26 23:19:21] 793*2^1227451-1 is not prime. Res64: 2B7C8E851FE5B42A Time : 0.0 sec. user=mdettweiler [2012-08-26 23:19:37] 601*2^1227455-1 is not prime. Res64: E467FA4713FFC70B Time : 0.0 sec. user=mdettweiler [2012-08-26 23:19:48] 661*2^1227455-1 is not prime. Res64: E98177DC3FC45E45 Time : 0.0 sec. user=mdettweiler [2012-08-26 23:20:46] 747*2^1227441-1 is not prime. Res64: FFE13DAA4EC1F75E Time : 0.0 sec. user=mdettweiler [2012-08-26 23:20:46] 937*2^1227441-1 is not prime. Res64: 665273288734052A Time : 0.0 sec. user=mdettweiler [2012-08-26 23:21:24] 623*2^1227442-1 is not prime. Res64: B4CBC23409A3D211 Time : 0.0 sec. user=mdettweiler [2012-08-26 23:21:25] 645*2^1227442-1 is not prime. Res64: BE51EACF2C0C5901 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:22:52] 747*2^1227453-1 is not prime. Res64: 6FBBDDCFBFF1D77D Time : 0.0 sec. user=mdettweiler [2012-08-26 23:22:59] 675*2^1227442-1 is not prime. Res64: D6DE3FA8B328A22C Time : 0.0 sec. user=mdettweiler [2012-08-26 23:23:00] 677*2^1227442-1 is not prime. Res64: BED4FB005F3C43C9 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:23:07] 877*2^1227453-1 is not prime. Res64: 8379F4B843496E9F Time : 0.0 sec. user=gd_barnes [2012-08-26 23:23:14] 915*2^1227452-1 is not prime. Res64: FB682AB5025AC425 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:24:17] 951*2^1227453-1 is not prime. Res64: 5F29C83281941977 Time : 0.0 sec. user=mdettweiler [2012-08-26 23:24:39] 987*2^1227452-1 is not prime. Res64: 9545072C82D1A894 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:25:25] 895*2^1227453-1 is not prime. Res64: 63E95DFB1CEEA498 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:26:03] 635*2^1227454-1 is not prime. Res64: 555143A96D7EC444 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:27:16] 741*2^1227454-1 is not prime. Res64: A7F5B9218533102A Time : 0.0 sec. user=gd_barnes [2012-08-26 23:29:37] 885*2^1227454-1 is not prime. Res64: 2760BF103A24E461 Time : 0.0 sec. user=mdettweiler [2012-08-26 23:30:29] 825*2^1227455-1 is not prime. Res64: 8A6C2412FB45F9F9 Time : 0.0 sec. user=mdettweiler [2012-08-26 23:30:30] 829*2^1227455-1 is not prime. Res64: 14216273715E619D Time : 0.0 sec. user=mdettweiler [2012-08-26 23:30:36] 627*2^1227456-1 is not prime. Res64: 2A3CCCA0C6701BE6 Time : 0.0 sec. user=mdettweiler [2012-08-26 23:30:38] 845*2^1227456-1 is not prime. Res64: 13D8691E259695A5 Time : 0.0 sec. user=mdettweiler [2012-08-26 23:33:10] 897*2^1227457-1 is not prime. Res64: D2FF0856A549FF63 Time : 0.0 sec. user=mdettweiler [2012-08-26 23:33:19] 975*2^1227457-1 is not prime. Res64: 438B73B8F1F26296 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:34:32] 799*2^1227455-1 is not prime. Res64: 1F432769A81975AD Time : 0.0 sec. user=gd_barnes [2012-08-26 23:35:45] 887*2^1227456-1 is not prime. Res64: E02377E2AA30E9AB Time : 0.0 sec. user=gd_barnes [2012-08-26 23:35:47] 983*2^1227456-1 is not prime. Res64: BCBDB5C551F406DD Time : 0.0 sec. user=gd_barnes [2012-08-26 23:36:40] 685*2^1227455-1 is not prime. Res64: E807E535F15C5AB9 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:37:12] 969*2^1227456-1 is not prime. Res64: 2D4A2547FD4CED90 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:38:38] 609*2^1227457-1 is not prime. Res64: 06DCC3666CB42B18 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:39:16] 615*2^1227457-1 is not prime. Res64: E52910008CCA828B Time : 0.0 sec. user=gd_barnes [2012-08-26 23:41:16] 639*2^1227457-1 is not prime. Res64: 801731CB60E6513F Time : 0.0 sec. user=gd_barnes [2012-08-26 23:42:11] 649*2^1227457-1 is not prime. Res64: 6D94C78E75658076 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:43:28] 727*2^1227457-1 is not prime. Res64: 558B5909BE61C07D Time : 0.0 sec. user=mdettweiler [2012-08-26 23:46:12] 805*2^1227461-1 is not prime. Res64: 720295842AB303A8 Time : 0.0 sec. user=mdettweiler [2012-08-26 23:46:22] 885*2^1227461-1 is not prime. Res64: 4611DCC975A91127 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:48:19] 669*2^1227459-1 is not prime. Res64: 45E7C0FDCA7268C6 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:48:21] 759*2^1227460-1 is not prime. Res64: A71B8FCC13C757B5 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:48:32] 615*2^1227452-1 is not prime. Res64: 9A835E7ADC69C581 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:48:32] 813*2^1227452-1 is not prime. Res64: 509876CDFB76EBF6 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:48:36] 635*2^1227460-1 is not prime. Res64: 76342516CC7F8DB2 Time : 0.0 sec. user=mdettweiler [2012-08-26 23:49:11] 847*2^1227457-1 is not prime. Res64: 8D1BAEEEA99175A3 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:49:59] 873*2^1227460-1 is not prime. Res64: 0BA536EA7A7DF512 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:50:41] 687*2^1227460-1 is not prime. Res64: EAF7816615A198E0 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:50:55] 855*2^1227460-1 is not prime. Res64: 9B8790446A9FA2D8 Time : 0.0 sec. user=mdettweiler [2012-08-26 23:51:13] 999*2^1227460-1 is not prime. Res64: 3FCE77183515ECF0 Time : 0.0 sec. user=mdettweiler [2012-08-26 23:51:14] 631*2^1227461-1 is not prime. Res64: 2115F2735A7186A0 Time : 0.0 sec. user=mdettweiler [2012-08-26 23:51:16] 691*2^1227461-1 is not prime. Res64: F8AE1D533CAD75A3 Time : 0.0 sec. user=mdettweiler [2012-08-26 23:51:17] 747*2^1227461-1 is not prime. Res64: 0E39E19BFA8DEC45 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:52:45] 887*2^1227460-1 is not prime. Res64: 66681E0C44486A77 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:53:02] 625*2^1227453-1 is not prime. Res64: 78DD4C12C1A1FC4D Time : 0.0 sec. user=gd_barnes [2012-08-26 23:53:02] 721*2^1227453-1 is not prime. Res64: 4C8C46BCB0A0AE9D Time : 0.0 sec. user=gd_barnes [2012-08-26 23:53:36] 957*2^1227460-1 is not prime. Res64: C52FAB2F059E2206 Time : 0.0 sec. user=mdettweiler [2012-08-26 23:54:30] 827*2^1227460-1 is not prime. Res64: 691E093270D92BAA Time : 0.0 sec. user=vaughan [2012-08-26 23:56:16] 831*2^1227457-1 is not prime. Res64: 44D1659A4844E5DF Time : 0.0 sec. user=mdettweiler [2012-08-26 23:59:06] 609*2^1227464-1 is not prime. Res64: 5B2B41D7D4B8723F Time : 0.0 sec. user=mdettweiler [2012-08-26 23:59:17] 675*2^1227464-1 is not prime. Res64: B52E852420B21B12 Time : 0.0 sec. user=gd_barnes [2012-08-26 23:59:48] 635*2^1227462-1 is not prime. Res64: D1C7C52DC9B46F48 Time : 0.0 sec. user=gd_barnes [2012-08-27 00:00:01] 939*2^1227461-1 is not prime. Res64: 98506A54FB9ADF9F Time : 0.0 sec.