user=mdettweiler [2013-03-06 00:04:10] 805*2^1242111-1 is not prime. Res64: 7FE8052C502ACC27 Time : 0.0 sec. user=mdettweiler [2013-03-06 00:04:10] 871*2^1242111-1 is not prime. Res64: 2284752797289A1B Time : 0.0 sec. user=mdettweiler [2013-03-06 00:04:51] 901*2^1242111-1 is not prime. Res64: 1C7C94CD656ED39B Time : 0.0 sec. user=mdettweiler [2013-03-06 00:04:52] 945*2^1242111-1 is not prime. Res64: FC441FFA8ED19296 Time : 0.0 sec. user=juhehe [2013-03-06 00:10:02] 687*2^1242110-1 is not prime. Res64: CDC7B4BD4CFC5E24 Time : 0.0 sec. user=mdettweiler [2013-03-06 00:21:36] 779*2^1242112-1 is not prime. Res64: 1FCF78AF1D033920 Time : 0.0 sec. user=mdettweiler [2013-03-06 00:21:36] 669*2^1242113-1 is not prime. Res64: 1D71B20094EF0686 Time : 0.0 sec. user=mdettweiler [2013-03-06 00:22:16] 729*2^1242113-1 is not prime. Res64: 4650D7940116F008 Time : 0.0 sec. user=mdettweiler [2013-03-06 00:22:16] 635*2^1242114-1 is not prime. Res64: 861AF43D48AA9E65 Time : 0.0 sec. user=juhehe [2013-03-06 00:35:22] 793*2^1242111-1 is not prime. Res64: A70AA723663AAA80 Time : 0.0 sec. user=vaughan [2013-03-06 00:36:24] 717*2^1242112-1 is not prime. Res64: 40585CCB0F1FD025 Time : 0.0 sec. user=mdettweiler [2013-03-06 00:39:00] 651*2^1242114-1 is not prime. Res64: D13FE7A3267532EA Time : 0.0 sec. user=mdettweiler [2013-03-06 00:39:01] 705*2^1242114-1 is not prime. Res64: C6BBEFC7C156203D Time : 0.0 sec. user=mdettweiler [2013-03-06 00:39:40] 767*2^1242114-1 is not prime. Res64: 9CA0BF3BA6B3C58B Time : 0.0 sec. user=mdettweiler [2013-03-06 00:39:41] 803*2^1242114-1 is not prime. Res64: 1EBEC9EE8B48B67D Time : 0.0 sec. user=mdettweiler [2013-03-06 00:57:00] 917*2^1242114-1 is not prime. Res64: 1F112E4BA5712EC4 Time : 0.0 sec. user=mdettweiler [2013-03-06 00:57:01] 927*2^1242114-1 is not prime. Res64: D91167F650F3F32F Time : 0.0 sec. user=mdettweiler [2013-03-06 00:57:42] 947*2^1242114-1 is not prime. Res64: 3499AC115222408E Time : 0.0 sec. user=mdettweiler [2013-03-06 00:57:42] 1001*2^1242114-1 is not prime. Res64: 208950306ACB2D47 Time : 0.0 sec. user=vaughan [2013-03-06 01:14:23] 873*2^1242114-1 is not prime. Res64: BAC3C03FD55FB22A Time : 0.0 sec. user=mdettweiler [2013-03-06 01:14:38] 673*2^1242115-1 is not prime. Res64: 45F407E29168EDC8 Time : 0.0 sec. user=mdettweiler [2013-03-06 01:14:38] 691*2^1242115-1 is not prime. Res64: DD9BF92510145582 Time : 0.0 sec. user=mdettweiler [2013-03-06 01:15:17] 741*2^1242115-1 is not prime. Res64: 49E37C81D5123200 Time : 0.0 sec. user=mdettweiler [2013-03-06 01:15:18] 855*2^1242115-1 is not prime. Res64: A8C56D4F5EF6F74E Time : 0.0 sec. user=mdettweiler [2013-03-06 01:32:04] 939*2^1242115-1 is not prime. Res64: 00692E88A6995BB5 Time : 0.0 sec. user=mdettweiler [2013-03-06 01:32:05] 725*2^1242116-1 is not prime. Res64: B2FCB0C394922FBD Time : 0.0 sec. user=mdettweiler [2013-03-06 01:32:41] 957*2^1242116-1 is not prime. Res64: DF2F533AA99F2E53 Time : 0.0 sec. user=mdettweiler [2013-03-06 01:32:41] 727*2^1242117-1 is not prime. Res64: 28ED3376C3E27190 Time : 0.0 sec. user=juhehe [2013-03-06 01:38:14] 633*2^1242115-1 is not prime. Res64: AE3C1841C27CF0ED Time : 0.0 sec. user=mdettweiler [2013-03-06 01:49:29] 741*2^1242117-1 is not prime. Res64: 3C3FAB286E1C489E Time : 0.0 sec. user=mdettweiler [2013-03-06 01:49:30] 825*2^1242117-1 is not prime. Res64: F63F76F697549735 Time : 0.0 sec. user=mdettweiler [2013-03-06 01:50:05] 847*2^1242117-1 is not prime. Res64: 1D9C005B028058F0 Time : 0.0 sec. user=mdettweiler [2013-03-06 01:50:06] 871*2^1242117-1 is not prime. Res64: C656CE4504D7DC4E Time : 0.0 sec. user=vaughan [2013-03-06 01:52:19] 919*2^1242115-1 is not prime. Res64: 330590A5DC9566F7 Time : 0.0 sec. user=mdettweiler [2013-03-06 02:06:53] 843*2^1242118-1 is not prime. Res64: 132C410EB0C61CF4 Time : 0.0 sec. user=mdettweiler [2013-03-06 02:06:54] 887*2^1242118-1 is not prime. Res64: 191DA3FA14424118 Time : 0.0 sec. user=mdettweiler [2013-03-06 02:07:28] 915*2^1242118-1 is not prime. Res64: 6DC9387F9BD616D4 Time : 0.0 sec. user=mdettweiler [2013-03-06 02:07:29] 971*2^1242118-1 is not prime. Res64: 4F20C50D3BAC4F14 Time : 0.0 sec. user=juhehe [2013-03-06 02:11:09] 885*2^1242115-1 is not prime. Res64: ADFB5E54F3C98068 Time : 0.0 sec. user=juhehe [2013-03-06 02:20:37] 695*2^1242118-1 is not prime. Res64: CD3836551D488BA8 Time : 0.0 sec. user=mdettweiler [2013-03-06 02:24:19] 771*2^1242119-1 is not prime. Res64: BA740478F7A8E47C Time : 0.0 sec. user=mdettweiler [2013-03-06 02:24:20] 811*2^1242119-1 is not prime. Res64: C1DF49278C3F915F Time : 0.0 sec. user=mdettweiler [2013-03-06 02:24:53] 813*2^1242119-1 is not prime. Res64: C2ED4050C78F4394 Time : 0.0 sec. user=mdettweiler [2013-03-06 02:24:54] 879*2^1242119-1 is not prime. Res64: 5CC7F9257524D5A4 Time : 0.0 sec. user=vaughan [2013-03-06 02:35:14] 995*2^1242118-1 is not prime. Res64: 624B47734F3FC023 Time : 0.0 sec. user=juhehe [2013-03-06 02:36:32] 885*2^1242117-1 is not prime. Res64: 12020D4305C7C183 Time : 0.0 sec. user=mdettweiler [2013-03-06 02:41:44] 819*2^1242120-1 is not prime. Res64: E02289E3CA644CF3 Time : 0.0 sec. user=mdettweiler [2013-03-06 02:41:45] 887*2^1242120-1 is not prime. Res64: BAD6BFCAC9930073 Time : 0.0 sec. user=mdettweiler [2013-03-06 02:42:18] 855*2^1242121-1 is not prime. Res64: CA8C846FDC8B895A Time : 0.0 sec. user=mdettweiler [2013-03-06 02:42:20] 871*2^1242121-1 is not prime. Res64: B40969DAE70C0E07 Time : 0.0 sec. user=juhehe [2013-03-06 02:57:31] 809*2^1242120-1 is not prime. Res64: 53FC51876CEAA221 Time : 0.0 sec. user=mdettweiler [2013-03-06 02:59:10] 901*2^1242121-1 is not prime. Res64: 616DA7BF001919FC Time : 0.0 sec. user=mdettweiler [2013-03-06 02:59:11] 997*2^1242121-1 is not prime. Res64: 0402105563004B7A Time : 0.0 sec. user=mdettweiler [2013-03-06 02:59:44] 671*2^1242122-1 is not prime. Res64: 9AEC66FF70F5551A Time : 0.0 sec. user=mdettweiler [2013-03-06 02:59:45] 683*2^1242122-1 is not prime. Res64: 06E961F51BF21811 Time : 0.0 sec. user=vaughan [2013-03-06 03:13:08] 877*2^1242121-1 is not prime. Res64: 0615E650AD727D5C Time : 0.0 sec. user=mdettweiler [2013-03-06 03:16:35] 1001*2^1242122-1 is not prime. Res64: AF05E3DB5E7F074C Time : 0.0 sec. user=mdettweiler [2013-03-06 03:16:36] 643*2^1242123-1 is not prime. Res64: BFD94E31734577F2 Time : 0.0 sec. user=mdettweiler [2013-03-06 03:17:09] 669*2^1242123-1 is not prime. Res64: 8C4421F04D52CC55 Time : 0.0 sec. user=mdettweiler [2013-03-06 03:17:10] 675*2^1242123-1 is not prime. Res64: 79A252F102E5D459 Time : 0.0 sec. user=mdettweiler [2013-03-06 03:34:00] 751*2^1242123-1 is not prime. Res64: C17925CB2D85446F Time : 0.0 sec. user=mdettweiler [2013-03-06 03:34:02] 781*2^1242123-1 is not prime. Res64: F7FD6C9731237A37 Time : 0.0 sec. user=mdettweiler [2013-03-06 03:34:34] 853*2^1242123-1 is not prime. Res64: 542C9C61C3491B4A Time : 0.0 sec. user=mdettweiler [2013-03-06 03:34:35] 945*2^1242123-1 is not prime. Res64: 1A04514E750C5E23 Time : 0.0 sec. user=juhehe [2013-03-06 03:36:39] 981*2^1242122-1 is not prime. Res64: 3CB3E8B40CADC960 Time : 0.0 sec. user=juhehe [2013-03-06 03:39:20] 837*2^1242122-1 is not prime. Res64: 959245CD655B8BD3 Time : 0.0 sec. user=vaughan [2013-03-06 03:51:01] 735*2^1242123-1 is not prime. Res64: D63C3BFAB2C089A6 Time : 0.0 sec. user=mdettweiler [2013-03-06 03:51:38] 717*2^1242124-1 is not prime. Res64: 1C76EA10188FBAE8 Time : 0.0 sec. user=mdettweiler [2013-03-06 03:51:38] 863*2^1242124-1 is not prime. Res64: CE3FD00C661A9FF0 Time : 0.0 sec. user=mdettweiler [2013-03-06 03:51:58] 717*2^1242125-1 is not prime. Res64: BAB5F1378DB8EFDD Time : 0.0 sec. user=mdettweiler [2013-03-06 03:51:59] 721*2^1242125-1 is not prime. Res64: 8832068444CF8433 Time : 0.0 sec. user=mdettweiler [2013-03-06 04:09:02] 765*2^1242126-1 is not prime. Res64: 050D01E0E02F3AC0 Time : 0.0 sec. user=mdettweiler [2013-03-06 04:09:04] 843*2^1242126-1 is not prime. Res64: FB574F571A16E9C3 Time : 0.0 sec. user=mdettweiler [2013-03-06 04:09:22] 619*2^1242127-1 is not prime. Res64: EC48D06BFFF74DB6 Time : 0.0 sec. user=mdettweiler [2013-03-06 04:09:23] 663*2^1242127-1 is not prime. Res64: BD7FFDD8A2078005 Time : 0.0 sec. user=juhehe [2013-03-06 04:12:01] 709*2^1242123-1 is not prime. Res64: C7AE83D4E46EE8E3 Time : 0.0 sec. user=juhehe [2013-03-06 04:21:39] 635*2^1242126-1 is not prime. Res64: 38F87212C7D8490F Time : 0.0 sec. user=mdettweiler [2013-03-06 04:26:34] 705*2^1242127-1 is not prime. Res64: BB2B02CB9B19E670 Time : 0.0 sec. user=mdettweiler [2013-03-06 04:26:34] 759*2^1242127-1 is not prime. Res64: CF52288B10FDAEBC Time : 0.0 sec. user=mdettweiler [2013-03-06 04:26:50] 793*2^1242127-1 is not prime. Res64: 05D9B6737674BB5B Time : 0.0 sec. user=mdettweiler [2013-03-06 04:26:50] 663*2^1242128-1 is not prime. Res64: E320C3E4F5C8250A Time : 0.0 sec. user=vaughan [2013-03-06 04:28:57] 641*2^1242126-1 is not prime. Res64: AFECD3523AE325AA Time : 0.0 sec. user=juhehe [2013-03-06 04:38:01] 871*2^1242125-1 is not prime. Res64: 7F27A341217F76DF Time : 0.0 sec. user=mdettweiler [2013-03-06 04:43:57] 677*2^1242128-1 is not prime. Res64: 8D69EBC01B9BB3FB Time : 0.0 sec. user=mdettweiler [2013-03-06 04:43:58] 795*2^1242128-1 is not prime. Res64: 0235EDD197A3ED2D Time : 0.0 sec. user=mdettweiler [2013-03-06 04:44:13] 797*2^1242128-1 is not prime. Res64: 2F3EBDD7EF08DCBD Time : 0.0 sec. user=mdettweiler [2013-03-06 04:44:14] 845*2^1242128-1 is not prime. Res64: 87097926C79DA13F Time : 0.0 sec. user=mdettweiler [2013-03-06 05:01:22] 995*2^1242128-1 is not prime. Res64: FD905D87E82B6C9E Time : 0.0 sec. user=mdettweiler [2013-03-06 05:01:23] 667*2^1242129-1 is not prime. Res64: 767BD5DE02C99F5B Time : 0.0 sec. user=mdettweiler [2013-03-06 05:01:37] 669*2^1242129-1 is not prime. Res64: 083EE93EBE28F501 Time : 0.0 sec. user=mdettweiler [2013-03-06 05:01:38] 891*2^1242129-1 is not prime. Res64: 37B6736EAEFD1377 Time : 0.0 sec. user=vaughan [2013-03-06 05:06:54] 929*2^1242128-1 is not prime. Res64: 25A8A0F7113F38C6 Time : 0.0 sec. user=mdettweiler [2013-03-06 05:19:14] 951*2^1242129-1 is not prime. Res64: D24A91A18AFD5FFC Time : 0.0 sec. user=mdettweiler [2013-03-06 05:19:14] 717*2^1242130-1 is not prime. Res64: CB0215C9146FA669 Time : 0.0 sec. user=mdettweiler [2013-03-06 05:19:16] 735*2^1242130-1 is not prime. Res64: 453097D15EA821ED Time : 0.0 sec. user=mdettweiler [2013-03-06 05:19:16] 777*2^1242130-1 is not prime. Res64: 89E78A204CACB7DB Time : 0.0 sec. user=mdettweiler [2013-03-06 05:36:38] 833*2^1242130-1 is not prime. Res64: 28C1AEDD1387BE96 Time : 0.0 sec. user=mdettweiler [2013-03-06 05:36:39] 857*2^1242130-1 is not prime. Res64: CD272ED4B998449E Time : 0.0 sec. user=mdettweiler [2013-03-06 05:36:40] 885*2^1242130-1 is not prime. Res64: 4A841A5A943B5175 Time : 0.0 sec. user=mdettweiler [2013-03-06 05:36:40] 603*2^1242131-1 is not prime. Res64: 4F829CFE6D71A7F2 Time : 0.0 sec. user=vaughan [2013-03-06 05:44:51] 801*2^1242130-1 is not prime. Res64: 80752A9C5BC00DBE Time : 0.0 sec. user=mdettweiler [2013-03-06 05:54:05] 685*2^1242131-1 is not prime. Res64: 1CAA535786554140 Time : 0.0 sec. user=mdettweiler [2013-03-06 05:54:06] 669*2^1242132-1 is not prime. Res64: 5A217FB0523060AC Time : 0.0 sec. user=mdettweiler [2013-03-06 05:54:07] 693*2^1242132-1 is not prime. Res64: A8FBD21BEDB7D7CB Time : 0.0 sec. user=mdettweiler [2013-03-06 05:54:07] 737*2^1242132-1 is not prime. Res64: 035A5A338C2B97EC Time : 0.0 sec. user=mdettweiler [2013-03-06 06:11:31] 983*2^1242132-1 is not prime. Res64: 27721EE45CA6F3AF Time : 0.0 sec. user=mdettweiler [2013-03-06 06:11:31] 987*2^1242132-1 is not prime. Res64: 0FE918FE1330EF5B Time : 0.0 sec. user=mdettweiler [2013-03-06 06:11:32] 715*2^1242133-1 is not prime. Res64: B32C04280071760F Time : 0.0 sec. user=mdettweiler [2013-03-06 06:11:33] 805*2^1242133-1 is not prime. Res64: 326E0B05B7068A45 Time : 0.0 sec. user=juhehe [2013-03-06 06:12:53] 831*2^1242130-1 is not prime. Res64: 061FA0477DBD2302 Time : 0.0 sec. user=vaughan [2013-03-06 06:22:47] 959*2^1242132-1 is not prime. Res64: F17110F22A50AC84 Time : 0.0 sec. user=juhehe [2013-03-06 06:24:12] 893*2^1242132-1 is not prime. Res64: 2AE408A6D37D376F Time : 0.0 sec. user=mdettweiler [2013-03-06 06:28:59] 867*2^1242133-1 is not prime. Res64: C9033456B4D00F5B Time : 0.0 sec. user=mdettweiler [2013-03-06 06:29:00] 945*2^1242133-1 is not prime. Res64: 7F1D24475B4660E3 Time : 0.0 sec. user=mdettweiler [2013-03-06 06:29:00] 967*2^1242133-1 is not prime. Res64: B177C7FE14ADDE16 Time : 0.0 sec. user=mdettweiler [2013-03-06 06:29:01] 999*2^1242133-1 is not prime. Res64: 1382B1C6E2BEC9FA Time : 0.0 sec. user=juhehe [2013-03-06 06:33:00] 963*2^1242123-1 is not prime. Res64: AC9A6F2CC05FD719 Time : 0.0 sec. user=juhehe [2013-03-06 06:45:48] 993*2^1242131-1 is not prime. Res64: A39FD5B52E33705A Time : 0.0 sec. user=mdettweiler [2013-03-06 06:46:23] 641*2^1242134-1 is not prime. Res64: 2CC6D992FF5181F5 Time : 0.0 sec. user=mdettweiler [2013-03-06 06:46:24] 665*2^1242134-1 is not prime. Res64: 4169ADE381FFED0B Time : 0.0 sec. user=mdettweiler [2013-03-06 06:46:25] 683*2^1242134-1 is not prime. Res64: A518DBBEF6EE75B8 Time : 0.0 sec. user=mdettweiler [2013-03-06 06:46:25] 731*2^1242134-1 is not prime. Res64: E058CF8B424D0979 Time : 0.0 sec. user=vaughan [2013-03-06 07:00:52] 635*2^1242134-1 is not prime. Res64: 9D2A3FE2447C5969 Time : 0.0 sec. user=mdettweiler [2013-03-06 07:03:48] 957*2^1242134-1 is not prime. Res64: B22CB9C9D22C3F52 Time : 0.0 sec. user=mdettweiler [2013-03-06 07:03:49] 739*2^1242135-1 is not prime. Res64: 646351E53C1B4187 Time : 0.0 sec. user=mdettweiler [2013-03-06 07:03:49] 829*2^1242135-1 is not prime. Res64: 73C2A279972C227A Time : 0.0 sec. user=mdettweiler [2013-03-06 07:03:50] 871*2^1242135-1 is not prime. Res64: 36608151913BC95D Time : 0.0 sec. user=mdettweiler [2013-03-06 07:21:14] 921*2^1242135-1 is not prime. Res64: 45E7C8F3879E9125 Time : 0.0 sec. user=mdettweiler [2013-03-06 07:21:15] 973*2^1242135-1 is not prime. Res64: 80CC4AD62E5A653C Time : 0.0 sec. user=mdettweiler [2013-03-06 07:21:15] 653*2^1242136-1 is not prime. Res64: D05257DBE415CDC0 Time : 0.0 sec. user=mdettweiler [2013-03-06 07:21:16] 675*2^1242136-1 is not prime. Res64: 47961186CDD77590 Time : 0.0 sec. user=mdettweiler [2013-03-06 07:38:39] 843*2^1242136-1 is not prime. Res64: 92309BC09376E672 Time : 0.0 sec. user=mdettweiler [2013-03-06 07:38:39] 849*2^1242136-1 is not prime. Res64: 5101F51315EFE38B Time : 0.0 sec. user=mdettweiler [2013-03-06 07:38:40] 909*2^1242136-1 is not prime. Res64: 899212ED7BE9C827 Time : 0.0 sec. user=mdettweiler [2013-03-06 07:38:41] 975*2^1242136-1 is not prime. Res64: 4DB1541328E39553 Time : 0.0 sec. user=vaughan [2013-03-06 07:39:12] 909*2^1242135-1 is not prime. Res64: CB17FE4FCE459BD6 Time : 0.0 sec. user=mdettweiler [2013-03-06 07:56:05] 615*2^1242137-1 is not prime. Res64: E46CDB132AC6DA09 Time : 0.0 sec. user=mdettweiler [2013-03-06 07:56:05] 675*2^1242137-1 is not prime. Res64: 43C35BDC9BA0C7CB Time : 0.0 sec. user=mdettweiler [2013-03-06 07:56:06] 747*2^1242137-1 is not prime. Res64: 77BE24371AE8B5A2 Time : 0.0 sec. user=mdettweiler [2013-03-06 07:56:07] 867*2^1242137-1 is not prime. Res64: FF2502C93D3535CE Time : 0.0 sec. user=mdettweiler [2013-03-06 08:13:30] 797*2^1242138-1 is not prime. Res64: CAF6E60182093694 Time : 0.0 sec. user=mdettweiler [2013-03-06 08:13:30] 963*2^1242138-1 is not prime. Res64: 2FE8311BC0C721A0 Time : 0.0 sec. user=mdettweiler [2013-03-06 08:13:31] 837*2^1242138-1 is not prime. Res64: CDC231761C3526C0 Time : 0.0 sec. user=mdettweiler [2013-03-06 08:13:31] 615*2^1242139-1 is not prime. Res64: 92CFB4F82F0F3599 Time : 0.0 sec. user=juhehe [2013-03-06 08:13:48] 707*2^1242136-1 is not prime. Res64: 22BA652298AD765B Time : 0.0 sec. user=vaughan [2013-03-06 08:17:08] 711*2^1242138-1 is not prime. Res64: 4843FB902A941782 Time : 0.0 sec. user=juhehe [2013-03-06 08:26:50] 777*2^1242138-1 is not prime. Res64: 72284D462050D399 Time : 0.0 sec. user=mdettweiler [2013-03-06 08:30:58] 693*2^1242139-1 is not prime. Res64: 3A5CEC454598D670 Time : 0.0 sec. user=mdettweiler [2013-03-06 08:30:59] 891*2^1242139-1 is not prime. Res64: 9A41F665D8D9121E Time : 0.0 sec. user=mdettweiler [2013-03-06 08:30:59] 979*2^1242139-1 is not prime. Res64: B9E24539BF6980A4 Time : 0.0 sec. user=mdettweiler [2013-03-06 08:31:00] 985*2^1242139-1 is not prime. Res64: B98B09CB12D5A92E Time : 0.0 sec. user=mdettweiler [2013-03-06 08:48:24] 767*2^1242140-1 is not prime. Res64: 6E80A29F0ED53CE8 Time : 0.0 sec. user=mdettweiler [2013-03-06 08:48:25] 777*2^1242140-1 is not prime. Res64: B1DBF4D2572AEF58 Time : 0.0 sec. user=mdettweiler [2013-03-06 08:48:25] 785*2^1242140-1 is not prime. Res64: 19A960BA926A2FED Time : 0.0 sec. user=mdettweiler [2013-03-06 08:48:26] 827*2^1242140-1 is not prime. Res64: E084117CE8E3F4AF Time : 0.0 sec. user=vaughan [2013-03-06 08:55:02] 635*2^1242140-1 is not prime. Res64: C62B9E3E6E4CDEF6 Time : 0.0 sec. user=mdettweiler [2013-03-06 09:05:49] 843*2^1242140-1 is not prime. Res64: 46A94A3C176D5068 Time : 0.0 sec. user=mdettweiler [2013-03-06 09:05:50] 899*2^1242140-1 is not prime. Res64: 8B6E1B7A759EAF4E Time : 0.0 sec. user=mdettweiler [2013-03-06 09:05:50] 915*2^1242140-1 is not prime. Res64: 8099CD36B5BC88AF Time : 0.0 sec. user=mdettweiler [2013-03-06 09:05:51] 609*2^1242141-1 is not prime. Res64: 7525F47E8CC97063 Time : 0.0 sec. user=mdettweiler [2013-03-06 09:23:19] 745*2^1242141-1 is not prime. Res64: F35B39A8E0DD83F5 Time : 0.0 sec. user=mdettweiler [2013-03-06 09:23:20] 819*2^1242141-1 is not prime. Res64: DA50413F5A17E0B0 Time : 0.0 sec. user=mdettweiler [2013-03-06 09:23:20] 837*2^1242141-1 is not prime. Res64: 22A5A5B2A17F3DD6 Time : 0.0 sec. user=mdettweiler [2013-03-06 09:23:21] 955*2^1242141-1 is not prime. Res64: 64A3F04911364075 Time : 0.0 sec. user=juhehe [2013-03-06 09:25:19] 755*2^1242134-1 is not prime. Res64: D5A283DA4A28D823 Time : 0.0 sec. user=vaughan [2013-03-06 09:33:01] 615*2^1242141-1 is not prime. Res64: BE4B22FAD217E51D Time : 0.0 sec. user=mdettweiler [2013-03-06 09:40:50] 681*2^1242142-1 is not prime. Res64: 4AD4438A24274299 Time : 0.0 sec. user=mdettweiler [2013-03-06 09:40:50] 717*2^1242142-1 is not prime. Res64: 8C8E379987E40B8C Time : 0.0 sec. user=mdettweiler [2013-03-06 09:40:51] 743*2^1242142-1 is not prime. Res64: FE4945D40E5ED280 Time : 0.0 sec. user=mdettweiler [2013-03-06 09:40:52] 765*2^1242142-1 is not prime. Res64: EBBA062F5CBB7871 Time : 0.0 sec. user=juhehe [2013-03-06 09:45:58] 839*2^1242140-1 is not prime. Res64: ED75350799EE03FE Time : 0.0 sec. user=mdettweiler [2013-03-06 09:58:22] 965*2^1242142-1 is not prime. Res64: 72B1A0B73B628300 Time : 0.0 sec. user=mdettweiler [2013-03-06 09:58:23] 995*2^1242142-1 is not prime. Res64: 3E7C7149AE69FBBB Time : 0.0 sec. user=mdettweiler [2013-03-06 09:58:23] 615*2^1242143-1 is not prime. Res64: E53523D06B5439BC Time : 0.0 sec. user=mdettweiler [2013-03-06 09:58:24] 649*2^1242143-1 is not prime. Res64: 00BD66A77E4883D9 Time : 0.0 sec. user=vaughan [2013-03-06 10:10:57] 917*2^1242142-1 is not prime. Res64: F84C22B21CAFAADB Time : 0.0 sec. user=juhehe [2013-03-06 10:14:17] 657*2^1242142-1 is not prime. Res64: 0DF52C2FB7070F8C Time : 0.0 sec. user=mdettweiler [2013-03-06 10:15:58] 735*2^1242143-1 is not prime. Res64: 4E6A3FA3DC71A6B7 Time : 0.0 sec. user=mdettweiler [2013-03-06 10:15:59] 741*2^1242143-1 is not prime. Res64: F41E29D49266B721 Time : 0.0 sec. user=mdettweiler [2013-03-06 10:16:00] 789*2^1242143-1 is not prime. Res64: 38D815208B9BC88F Time : 0.0 sec. user=mdettweiler [2013-03-06 10:16:00] 981*2^1242143-1 is not prime. Res64: B2B31BE62ABA411B Time : 0.0 sec. user=juhehe [2013-03-06 10:23:11] 685*2^1242143-1 is not prime. Res64: DBC777B5051B7D9B Time : 0.0 sec. user=mdettweiler [2013-03-06 10:33:35] 615*2^1242144-1 is not prime. Res64: 7F14C58DC5417378 Time : 0.0 sec. user=mdettweiler [2013-03-06 10:33:35] 689*2^1242144-1 is not prime. Res64: A5EE018A1EC4AA6D Time : 0.0 sec. user=mdettweiler [2013-03-06 10:33:36] 705*2^1242144-1 is not prime. Res64: C3DFC995BB8F2B2D Time : 0.0 sec. user=mdettweiler [2013-03-06 10:33:36] 753*2^1242144-1 is not prime. Res64: AF4D88A9A1AB3E13 Time : 0.0 sec. user=vaughan [2013-03-06 10:48:53] 605*2^1242144-1 is not prime. Res64: C258DD5F6D95C738 Time : 0.0 sec. user=mdettweiler [2013-03-06 10:51:10] 619*2^1242145-1 is not prime. Res64: DB80D1D237DE7587 Time : 0.0 sec. user=mdettweiler [2013-03-06 10:51:10] 983*2^1242144-1 is not prime. Res64: 7B0092771F405FD8 Time : 0.0 sec. user=mdettweiler [2013-03-06 10:51:10] 607*2^1242145-1 is not prime. Res64: 758FF5F0B92E0882 Time : 0.0 sec. user=mdettweiler [2013-03-06 10:51:10] 691*2^1242145-1 is not prime. Res64: B2FA3A2138A6E26C Time : 0.0 sec. user=mdettweiler [2013-03-06 11:08:41] 777*2^1242145-1 is not prime. Res64: DEAE02649667D5AE Time : 0.0 sec. user=mdettweiler [2013-03-06 11:08:41] 895*2^1242145-1 is not prime. Res64: 15D5CCE3895012F2 Time : 0.0 sec. user=mdettweiler [2013-03-06 11:08:42] 957*2^1242145-1 is not prime. Res64: ABCE3D4C70D64CC1 Time : 0.0 sec. user=mdettweiler [2013-03-06 11:08:44] 997*2^1242145-1 is not prime. Res64: 971894E0296633C0 Time : 0.0 sec. user=mdettweiler [2013-03-06 11:26:14] 623*2^1242146-1 is not prime. Res64: E5C88D19FDDECBC7 Time : 0.0 sec. user=mdettweiler [2013-03-06 11:26:14] 633*2^1242146-1 is not prime. Res64: 2876CBE66020C1E0 Time : 0.0 sec. user=mdettweiler [2013-03-06 11:26:16] 645*2^1242146-1 is not prime. Res64: 48439BB53EA39400 Time : 0.0 sec. user=mdettweiler [2013-03-06 11:26:16] 677*2^1242146-1 is not prime. Res64: E22F741046E30882 Time : 0.0 sec. user=vaughan [2013-03-06 11:26:51] 729*2^1242145-1 is not prime. Res64: D0D569AD4C19CC07 Time : 0.0 sec. user=mdettweiler [2013-03-06 11:43:42] 867*2^1242146-1 is not prime. Res64: 90D23F9B67EEBF94 Time : 0.0 sec. user=mdettweiler [2013-03-06 11:43:43] 875*2^1242146-1 is not prime. Res64: 6FD8E7C2D64A5113 Time : 0.0 sec. user=mdettweiler [2013-03-06 11:43:44] 903*2^1242146-1 is not prime. Res64: CB725DB905D90F8C Time : 0.0 sec. user=mdettweiler [2013-03-06 11:43:44] 935*2^1242146-1 is not prime. Res64: 0415DFA56629F2B7 Time : 0.0 sec. user=juhehe [2013-03-06 11:47:00] 721*2^1242145-1 is not prime. Res64: F034140FD0DF86B6 Time : 0.0 sec. user=mdettweiler [2013-03-06 12:01:14] 691*2^1242147-1 is not prime. Res64: 48713499B06CDC14 Time : 0.0 sec. user=mdettweiler [2013-03-06 12:01:15] 709*2^1242147-1 is not prime. Res64: 791B2263B663574E Time : 0.0 sec. user=mdettweiler [2013-03-06 12:01:16] 735*2^1242147-1 is not prime. Res64: 1B0AF39C2E391B55 Time : 0.0 sec. user=mdettweiler [2013-03-06 12:01:17] 765*2^1242147-1 is not prime. Res64: D11747295795440E Time : 0.0 sec. user=vaughan [2013-03-06 12:09:44] 987*2^1242146-1 is not prime. Res64: B3E08C2FA69167EE Time : 0.0 sec. user=juhehe [2013-03-06 12:15:08] 837*2^1242146-1 is not prime. Res64: 655B4303C9D75985 Time : 0.0 sec. user=mdettweiler [2013-03-06 12:18:57] 793*2^1242147-1 is not prime. Res64: 7BEEDAFC0502089C Time : 0.0 sec. user=mdettweiler [2013-03-06 12:18:58] 859*2^1242147-1 is not prime. Res64: 2A02942E60173D26 Time : 0.0 sec. user=mdettweiler [2013-03-06 12:18:58] 955*2^1242147-1 is not prime. Res64: E30BE38D2DD4012D Time : 0.0 sec. user=mdettweiler [2013-03-06 12:18:59] 973*2^1242147-1 is not prime. Res64: D4D13A987165ADCB Time : 0.0 sec. user=juhehe [2013-03-06 12:25:52] 625*2^1242147-1 is not prime. Res64: 6CC3CB9CB5D903B5 Time : 0.0 sec. user=mdettweiler [2013-03-06 12:36:27] 783*2^1242148-1 is not prime. Res64: AE711CB651BE3835 Time : 0.0 sec. user=mdettweiler [2013-03-06 12:36:28] 827*2^1242148-1 is not prime. Res64: DD66DA1E781B8666 Time : 0.0 sec. user=mdettweiler [2013-03-06 12:36:28] 933*2^1242148-1 is not prime. Res64: 394C4AC477B61D67 Time : 0.0 sec. user=mdettweiler [2013-03-06 12:36:29] 615*2^1242149-1 is not prime. Res64: 81308B3E629D7C03 Time : 0.0 sec. user=vaughan [2013-03-06 12:47:44] 647*2^1242148-1 is not prime. Res64: D947E7E23B9744A9 Time : 0.0 sec. user=mdettweiler [2013-03-06 12:53:57] 727*2^1242149-1 is not prime. Res64: 5A0A0FA2D2612061 Time : 0.0 sec. user=mdettweiler [2013-03-06 12:53:58] 787*2^1242149-1 is not prime. Res64: CB6865269217EBD7 Time : 0.0 sec. user=mdettweiler [2013-03-06 12:53:59] 811*2^1242149-1 is not prime. Res64: C55DF5539310D716 Time : 0.0 sec. user=mdettweiler [2013-03-06 12:53:59] 985*2^1242149-1 is not prime. Res64: C5BCF51B5B8165D9 Time : 0.0 sec. user=mdettweiler [2013-03-06 13:11:28] 783*2^1242150-1 is not prime. Res64: E26AFBC28D7497FA Time : 0.0 sec. user=mdettweiler [2013-03-06 13:11:29] 801*2^1242150-1 is not prime. Res64: 6924B00A25C0B2D4 Time : 0.0 sec. user=mdettweiler [2013-03-06 13:11:30] 821*2^1242150-1 is not prime. Res64: 668DEB7A19092CE1 Time : 0.0 sec. user=mdettweiler [2013-03-06 13:11:30] 851*2^1242150-1 is not prime. Res64: 6E550B218BF68D25 Time : 0.0 sec. user=vaughan [2013-03-06 13:25:40] 707*2^1242150-1 is not prime. Res64: 15EE4CC406F8EC7F Time : 0.0 sec. user=mdettweiler [2013-03-06 13:28:59] 945*2^1242150-1 is not prime. Res64: 9607F536B7433AD5 Time : 0.0 sec. user=mdettweiler [2013-03-06 13:28:59] 615*2^1242151-1 is not prime. Res64: AFF55804195CA248 Time : 0.0 sec. user=mdettweiler [2013-03-06 13:29:00] 735*2^1242151-1 is not prime. Res64: 8189D1DCA3F72D07 Time : 0.0 sec. user=mdettweiler [2013-03-06 13:29:01] 811*2^1242151-1 is not prime. Res64: 21D2DEE73277B37D Time : 0.0 sec. user=mdettweiler [2013-03-06 13:46:29] 689*2^1242152-1 is not prime. Res64: A13EA427459EA68E Time : 0.0 sec. user=mdettweiler [2013-03-06 13:46:30] 713*2^1242152-1 is not prime. Res64: 0B1552920F8CBE2C Time : 0.0 sec. user=mdettweiler [2013-03-06 13:46:31] 843*2^1242152-1 is not prime. Res64: 9A65A81ADBFBE8D5 Time : 0.0 sec. user=mdettweiler [2013-03-06 13:46:32] 615*2^1242153-1 is not prime. Res64: 2C0C402D9CA845A8 Time : 0.0 sec. user=juhehe [2013-03-06 13:54:12] 997*2^1242149-1 is not prime. Res64: 61CD1F867567D1E0 Time : 0.0 sec. user=vaughan [2013-03-06 14:03:35] 687*2^1242152-1 is not prime. Res64: 5F352B3C033E617B Time : 0.0 sec. user=mdettweiler [2013-03-06 14:04:04] 741*2^1242153-1 is not prime. Res64: 5AEDC935036B3995 Time : 0.0 sec. user=mdettweiler [2013-03-06 14:04:06] 745*2^1242153-1 is not prime. Res64: 97E225FF1C313504 Time : 0.0 sec. user=mdettweiler [2013-03-06 14:04:07] 945*2^1242153-1 is not prime. Res64: A8A7184F0C5B89AD Time : 0.0 sec. user=mdettweiler [2013-03-06 14:04:08] 623*2^1242154-1 is not prime. Res64: 0C77D88A43737712 Time : 0.0 sec. user=juhehe [2013-03-06 14:16:15] 829*2^1242151-1 is not prime. Res64: C27AA0927E23E5FF Time : 0.0 sec. user=mdettweiler [2013-03-06 14:21:40] 695*2^1242154-1 is not prime. Res64: AEFB2929914467EC Time : 0.0 sec. user=mdettweiler [2013-03-06 14:21:40] 755*2^1242154-1 is not prime. Res64: 90D46ECB3E5E7502 Time : 0.0 sec. user=mdettweiler [2013-03-06 14:21:42] 815*2^1242154-1 is not prime. Res64: EAD56C75D7CB854D Time : 0.0 sec. user=mdettweiler [2013-03-06 14:21:42] 831*2^1242154-1 is not prime. Res64: 4E2C3DA18B7DB2CA Time : 0.0 sec. user=juhehe [2013-03-06 14:28:13] 727*2^1242153-1 is not prime. Res64: 4869B452B3C70DC5 Time : 0.0 sec. user=mdettweiler [2013-03-06 14:39:13] 923*2^1242154-1 is not prime. Res64: 259328D2EDFF78B9 Time : 0.0 sec. user=mdettweiler [2013-03-06 14:39:14] 609*2^1242155-1 is not prime. Res64: 2792E1EE5731DCBB Time : 0.0 sec. user=mdettweiler [2013-03-06 14:39:15] 619*2^1242155-1 is not prime. Res64: 8960C78DB7E88982 Time : 0.0 sec. user=mdettweiler [2013-03-06 14:39:16] 651*2^1242155-1 is not prime. Res64: 62C99EE922166DE5 Time : 0.0 sec. user=vaughan [2013-03-06 14:41:31] 687*2^1242154-1 is not prime. Res64: 3A059A07D716718D Time : 0.0 sec. user=mdettweiler [2013-03-06 14:56:44] 733*2^1242155-1 is not prime. Res64: 915E2DCA9FD3CC9A Time : 0.0 sec. user=mdettweiler [2013-03-06 14:56:44] 859*2^1242155-1 is not prime. Res64: E905E3F99685542B Time : 0.0 sec. user=mdettweiler [2013-03-06 14:56:46] 861*2^1242155-1 is not prime. Res64: AC9A2315A234836F Time : 0.0 sec. user=mdettweiler [2013-03-06 14:56:47] 885*2^1242155-1 is not prime. Res64: 52857794C514E0DA Time : 0.0 sec. user=mdettweiler [2013-03-06 15:14:16] 973*2^1242155-1 is not prime. Res64: 79E3F09EEE7BA53E Time : 0.0 sec. user=mdettweiler [2013-03-06 15:14:16] 689*2^1242156-1 is not prime. Res64: 12D44950B47BBB4A Time : 0.0 sec. user=mdettweiler [2013-03-06 15:14:18] 707*2^1242156-1 is not prime. Res64: 38F3E70C03730870 Time : 0.0 sec. user=mdettweiler [2013-03-06 15:14:19] 909*2^1242156-1 is not prime. Res64: 15FC21DF8CEBAA9C Time : 0.0 sec. user=vaughan [2013-03-06 15:19:25] 895*2^1242155-1 is not prime. Res64: 23366AB3FF051619 Time : 0.0 sec. user=mdettweiler [2013-03-06 15:31:44] 947*2^1242156-1 is not prime. Res64: 9E21735766877E77 Time : 0.0 sec. user=mdettweiler [2013-03-06 15:31:45] 975*2^1242156-1 is not prime. Res64: A84DDA3B09F9ABB1 Time : 0.0 sec. user=mdettweiler [2013-03-06 15:31:47] 993*2^1242156-1 is not prime. Res64: 434EC1FCD274B8EB Time : 0.0 sec. user=mdettweiler [2013-03-06 15:31:47] 759*2^1242157-1 is not prime. Res64: EA13A5E02372A378 Time : 0.0 sec. user=mdettweiler [2013-03-06 15:49:19] 955*2^1242157-1 is not prime. Res64: A54228017B0377F2 Time : 0.0 sec. user=mdettweiler [2013-03-06 15:49:19] 997*2^1242157-1 is not prime. Res64: 60BEF4E06F47C0D8 Time : 0.0 sec. user=mdettweiler [2013-03-06 15:49:22] 627*2^1242158-1 is not prime. Res64: 1B23A8AB09E65EAC Time : 0.0 sec. user=mdettweiler [2013-03-06 15:49:22] 867*2^1242158-1 is not prime. Res64: 6602C35683FA3D25 Time : 0.0 sec. user=juhehe [2013-03-06 15:54:56] 939*2^1242155-1 is not prime. Res64: 1A584231056A1ED1 Time : 0.0 sec. user=vaughan [2013-03-06 15:57:20] 901*2^1242157-1 is not prime. Res64: 04578B97A1F341C0 Time : 0.0 sec. user=mdettweiler [2013-03-06 16:06:50] 887*2^1242158-1 is not prime. Res64: DBEAEB41DED494B3 Time : 0.0 sec. user=mdettweiler [2013-03-06 16:06:50] 951*2^1242158-1 is not prime. Res64: 1E370829230E79C0 Time : 0.0 sec. user=mdettweiler [2013-03-06 16:06:53] 957*2^1242158-1 is not prime. Res64: 276DFE36FD096363 Time : 0.0 sec. user=mdettweiler [2013-03-06 16:06:54] 613*2^1242159-1 is not prime. Res64: AF97B0CF1BD42894 Time : 0.0 sec. user=juhehe [2013-03-06 16:17:20] 867*2^1242157-1 is not prime. Res64: BCDD6A00A4AABF8E Time : 0.0 sec. user=mdettweiler [2013-03-06 16:24:22] 735*2^1242159-1 is not prime. Res64: B2B28D079F899033 Time : 0.0 sec. user=mdettweiler [2013-03-06 16:24:23] 751*2^1242159-1 is not prime. Res64: DABE6CD4CD50E162 Time : 0.0 sec. user=mdettweiler [2013-03-06 16:24:28] 789*2^1242159-1 is not prime. Res64: CA2D794758A422CD Time : 0.0 sec. user=mdettweiler [2013-03-06 16:24:29] 829*2^1242159-1 is not prime. Res64: 0FD8FCCAB50F9E66 Time : 0.0 sec. user=vaughan [2013-03-06 16:35:13] 685*2^1242159-1 is not prime. Res64: 8DC1D3FB584DBDCA Time : 0.0 sec. user=mdettweiler [2013-03-06 16:42:48] 933*2^1242159-1 is not prime. Res64: 727A8F8C28A09BDA Time : 0.0 sec. user=mdettweiler [2013-03-06 16:42:48] 969*2^1242159-1 is not prime. Res64: ED1BDAAFE69FB78A Time : 0.0 sec. user=mdettweiler [2013-03-06 16:42:53] 999*2^1242159-1 is not prime. Res64: 1A7635FC3185E4D5 Time : 0.0 sec. user=mdettweiler [2013-03-06 16:42:53] 605*2^1242160-1 is not prime. Res64: F4686F16881534D8 Time : 0.0 sec. user=mdettweiler [2013-03-06 17:01:16] 653*2^1242160-1 is not prime. Res64: 37346EAEB5C009F4 Time : 0.0 sec. user=mdettweiler [2013-03-06 17:01:17] 735*2^1242160-1 is not prime. Res64: 965D58B004A5AF14 Time : 0.0 sec. user=mdettweiler [2013-03-06 17:01:19] 843*2^1242160-1 is not prime. Res64: 22F470CA01B8F548 Time : 0.0 sec. user=mdettweiler [2013-03-06 17:01:20] 855*2^1242160-1 is not prime. Res64: 20384D798CE25C92 Time : 0.0 sec. user=vaughan [2013-03-06 17:13:11] 623*2^1242160-1 is not prime. Res64: AE70606E903ECB5B Time : 0.0 sec. user=mdettweiler [2013-03-06 17:19:44] 789*2^1242161-1 is not prime. Res64: 342084F6F8DFC4B6 Time : 0.0 sec. user=mdettweiler [2013-03-06 17:19:45] 957*2^1242161-1 is not prime. Res64: AB52C4EE4A57E59A Time : 0.0 sec. user=mdettweiler [2013-03-06 17:19:45] 711*2^1242161-1 is not prime. Res64: 04435371F13FDFA8 Time : 0.0 sec. user=mdettweiler [2013-03-06 17:19:45] 777*2^1242161-1 is not prime. Res64: F77ADC3D32B67F73 Time : 0.0 sec. user=mdettweiler [2013-03-06 17:37:37] 833*2^1242162-1 is not prime. Res64: 9FC8024E532ED411 Time : 0.0 sec. user=mdettweiler [2013-03-06 17:37:37] 1001*2^1242162-1 is not prime. Res64: 1C1461E4EBC8F0C0 Time : 0.0 sec. user=mdettweiler [2013-03-06 17:37:38] 891*2^1242162-1 is not prime. Res64: 1377BBBA32D47244 Time : 0.0 sec. user=mdettweiler [2013-03-06 17:37:38] 783*2^1242163-1 is not prime. Res64: 9B02559D89EDD780 Time : 0.0 sec. user=vaughan [2013-03-06 17:51:25] 737*2^1242162-1 is not prime. Res64: 54B99D9BED06A40D Time : 0.0 sec. user=mdettweiler [2013-03-06 17:55:17] 835*2^1242163-1 is not prime. Res64: AB773AB45138AF6D Time : 0.0 sec. user=mdettweiler [2013-03-06 17:55:17] 849*2^1242163-1 is not prime. Res64: E3CD533C37809900 Time : 0.0 sec. user=mdettweiler [2013-03-06 17:55:18] 885*2^1242163-1 is not prime. Res64: A7040C3E305CEDF6 Time : 0.0 sec. user=mdettweiler [2013-03-06 17:55:18] 605*2^1242164-1 is not prime. Res64: 244FAD738A4AC63B Time : 0.0 sec. user=juhehe [2013-03-06 17:55:35] 939*2^1242160-1 is not prime. Res64: BB73DEDF0FA23751 Time : 0.0 sec. user=mdettweiler [2013-03-06 18:12:53] 665*2^1242164-1 is not prime. Res64: D7FEA7FB2C8D8370 Time : 0.0 sec. user=mdettweiler [2013-03-06 18:12:54] 725*2^1242164-1 is not prime. Res64: A0ECD98C8C28F632 Time : 0.0 sec. user=mdettweiler [2013-03-06 18:12:54] 869*2^1242164-1 is not prime. Res64: 49624448D8C34C18 Time : 0.0 sec. user=mdettweiler [2013-03-06 18:12:55] 873*2^1242164-1 is not prime. Res64: 322BE217FE8C8FE8 Time : 0.0 sec. user=juhehe [2013-03-06 18:17:57] 815*2^1242162-1 is not prime. Res64: AC80047BD231F95B Time : 0.0 sec. user=vaughan [2013-03-06 18:29:15] 659*2^1242164-1 is not prime. Res64: 8118840296D3FAFC Time : 0.0 sec. user=mdettweiler [2013-03-06 18:30:34] 657*2^1242165-1 is not prime. Res64: 6F7FAD1F3D8917DF Time : 0.0 sec. user=mdettweiler [2013-03-06 18:30:34] 691*2^1242165-1 is not prime. Res64: 75199BB570C154A9 Time : 0.0 sec. user=mdettweiler [2013-03-06 18:30:35] 717*2^1242165-1 is not prime. Res64: 5D72667F0C321AB1 Time : 0.0 sec. user=mdettweiler [2013-03-06 18:30:35] 765*2^1242165-1 is not prime. Res64: 447C3E9092453C91 Time : 0.0 sec. user=mdettweiler [2013-03-06 18:48:06] 861*2^1242165-1 is not prime. Res64: 4DA48E533E4C604E Time : 0.0 sec. user=mdettweiler [2013-03-06 18:48:06] 915*2^1242165-1 is not prime. Res64: 803DC9C00AE44816 Time : 0.0 sec. user=mdettweiler [2013-03-06 18:48:08] 979*2^1242165-1 is not prime. Res64: D8248B697CE6CFC1 Time : 0.0 sec. user=mdettweiler [2013-03-06 18:48:08] 651*2^1242166-1 is not prime. Res64: 3D803FB07F9D7CB0 Time : 0.0 sec. user=mdettweiler [2013-03-06 19:05:39] 755*2^1242166-1 is not prime. Res64: 88D076320993903E Time : 0.0 sec. user=mdettweiler [2013-03-06 19:05:39] 825*2^1242166-1 is not prime. Res64: 453DDD9F33269E60 Time : 0.0 sec. user=mdettweiler [2013-03-06 19:05:40] 887*2^1242166-1 is not prime. Res64: C0252C5E76839649 Time : 0.0 sec. user=mdettweiler [2013-03-06 19:05:41] 993*2^1242166-1 is not prime. Res64: 9BC838F9CAB7B2AB Time : 0.0 sec. user=mdettweiler [2013-03-06 19:23:15] 799*2^1242167-1 is not prime. Res64: 75B2584C542AA114 Time : 0.0 sec. user=mdettweiler [2013-03-06 19:23:16] 909*2^1242167-1 is not prime. Res64: 78BEC8B0D5888A19 Time : 0.0 sec. user=mdettweiler [2013-03-06 19:23:16] 979*2^1242167-1 is not prime. Res64: E921BFEE44EDFC7B Time : 0.0 sec. user=mdettweiler [2013-03-06 19:23:17] 669*2^1242168-1 is not prime. Res64: EF3989357C27A75D Time : 0.0 sec. user=mdettweiler [2013-03-06 19:40:48] 867*2^1242168-1 is not prime. Res64: 0A1ECE16569F67E5 Time : 0.0 sec. user=mdettweiler [2013-03-06 19:40:49] 875*2^1242168-1 is not prime. Res64: 5CDA18877C2A274C Time : 0.0 sec. user=mdettweiler [2013-03-06 19:40:49] 909*2^1242168-1 is not prime. Res64: B77969CD985CC33D Time : 0.0 sec. user=mdettweiler [2013-03-06 19:40:50] 609*2^1242169-1 is not prime. Res64: 267D7C971D587E49 Time : 0.0 sec. user=juhehe [2013-03-06 19:56:47] 753*2^1242167-1 is not prime. Res64: 413F9552DD4775C3 Time : 0.0 sec. user=mdettweiler [2013-03-06 19:58:21] 751*2^1242169-1 is not prime. Res64: B8F6775BC52261E9 Time : 0.0 sec. user=mdettweiler [2013-03-06 19:58:21] 861*2^1242169-1 is not prime. Res64: D8B7D4370B2CBCA2 Time : 0.0 sec. user=mdettweiler [2013-03-06 19:58:22] 845*2^1242170-1 is not prime. Res64: 59C2B8440FF01B39 Time : 0.0 sec. user=mdettweiler [2013-03-06 19:58:22] 971*2^1242170-1 is not prime. Res64: D2DE64DEDADC8AFD Time : 0.0 sec. user=mdettweiler [2013-03-06 20:15:54] 609*2^1242171-1 is not prime. Res64: F893FD07507A5E15 Time : 0.0 sec. user=mdettweiler [2013-03-06 20:15:54] 643*2^1242171-1 is not prime. Res64: 6AD1E21346524D70 Time : 0.0 sec. user=mdettweiler [2013-03-06 20:15:56] 679*2^1242171-1 is not prime. Res64: 6D1E0E561A5536BC Time : 0.0 sec. user=mdettweiler [2013-03-06 20:15:57] 739*2^1242171-1 is not prime. Res64: 5F8774AE65F8E0EE Time : 0.0 sec. user=mdettweiler [2013-03-06 20:33:26] 879*2^1242171-1 is not prime. Res64: 6B7BB421526A440C Time : 0.0 sec. user=mdettweiler [2013-03-06 20:33:27] 903*2^1242171-1 is not prime. Res64: 3A5D12E1275D7BEB Time : 0.0 sec. user=mdettweiler [2013-03-06 20:33:28] 921*2^1242171-1 is not prime. Res64: 89B7F888FD45DC35 Time : 0.0 sec. user=mdettweiler [2013-03-06 20:33:29] 677*2^1242172-1 is not prime. Res64: 652E519E737FED8D Time : 0.0 sec. user=mdettweiler [2013-03-06 20:50:59] 755*2^1242172-1 is not prime. Res64: 1DA8AFFEE27DE53C Time : 0.0 sec. user=mdettweiler [2013-03-06 20:51:00] 855*2^1242172-1 is not prime. Res64: ABAF0F35969DC364 Time : 0.0 sec. user=mdettweiler [2013-03-06 20:51:02] 903*2^1242172-1 is not prime. Res64: B2D16F0DBE09171D Time : 0.0 sec. user=mdettweiler [2013-03-06 20:51:02] 929*2^1242172-1 is not prime. Res64: 1715C75D3C62778E Time : 0.0 sec. user=mdettweiler [2013-03-06 21:08:34] 999*2^1242172-1 is not prime. Res64: 7B899E3CF5C05A7D Time : 0.0 sec. user=mdettweiler [2013-03-06 21:08:36] 615*2^1242173-1 is not prime. Res64: E1BE64DC1BB1ADEF Time : 0.0 sec. user=mdettweiler [2013-03-06 21:08:36] 781*2^1242173-1 is not prime. Res64: 10FD805FC1E32603 Time : 0.0 sec. user=mdettweiler [2013-03-06 21:08:36] 829*2^1242173-1 is not prime. Res64: 182A70635598D71E Time : 0.0 sec. user=juhehe [2013-03-06 21:17:02] 819*2^1242171-1 is not prime. Res64: 766B438A47564E97 Time : 0.0 sec. user=mdettweiler [2013-03-06 21:26:13] 957*2^1242173-1 is not prime. Res64: 946A764377247DFE Time : 0.0 sec. user=mdettweiler [2013-03-06 21:26:13] 627*2^1242174-1 is not prime. Res64: B77D147C830CB132 Time : 0.0 sec. user=mdettweiler [2013-03-06 21:26:15] 657*2^1242174-1 is not prime. Res64: 41037820834560E5 Time : 0.0 sec. user=mdettweiler [2013-03-06 21:26:16] 677*2^1242174-1 is not prime. Res64: AF36DCCD398ABA18 Time : 0.0 sec. user=mdettweiler [2013-03-06 21:43:46] 723*2^1242174-1 is not prime. Res64: 215013FA6ADD13A1 Time : 0.0 sec. user=mdettweiler [2013-03-06 21:43:46] 741*2^1242174-1 is not prime. Res64: 9CD103D18632A344 Time : 0.0 sec. user=mdettweiler [2013-03-06 21:43:49] 815*2^1242174-1 is not prime. Res64: 615BACA51548CE4B Time : 0.0 sec. user=mdettweiler [2013-03-06 21:43:50] 965*2^1242174-1 is not prime. Res64: 047AC83A7B386E47 Time : 0.0 sec. user=juhehe [2013-03-06 21:58:18] 915*2^1242173-1 is not prime. Res64: 8996B03D958E842D Time : 0.0 sec. user=mdettweiler [2013-03-06 22:01:20] 751*2^1242175-1 is not prime. Res64: E709C824C872EDAC Time : 0.0 sec. user=mdettweiler [2013-03-06 22:01:22] 759*2^1242175-1 is not prime. Res64: E50E351377B8C925 Time : 0.0 sec. user=mdettweiler [2013-03-06 22:01:23] 859*2^1242175-1 is not prime. Res64: A9B7C79EE33D2174 Time : 0.0 sec. user=mdettweiler [2013-03-06 22:01:24] 871*2^1242175-1 is not prime. Res64: 307E5B6E3254B503 Time : 0.0 sec. user=mdettweiler [2013-03-06 22:19:09] 933*2^1242175-1 is not prime. Res64: C1E0B1F6CC7A00FF Time : 0.0 sec. user=mdettweiler [2013-03-06 22:19:09] 675*2^1242176-1 is not prime. Res64: F72DC8F9BC049192 Time : 0.0 sec. user=mdettweiler [2013-03-06 22:19:11] 825*2^1242176-1 is not prime. Res64: 916DA7651715EA6A Time : 0.0 sec. user=mdettweiler [2013-03-06 22:19:11] 855*2^1242176-1 is not prime. Res64: B8772D9EFA99DBD5 Time : 0.0 sec. user=juhehe [2013-03-06 22:22:09] 971*2^1242174-1 is not prime. Res64: 3103761A7182728D Time : 0.0 sec. user=mdettweiler [2013-03-06 22:36:59] 667*2^1242177-1 is not prime. Res64: 81CC80F2D3ED3527 Time : 0.0 sec. user=mdettweiler [2013-03-06 22:37:00] 747*2^1242177-1 is not prime. Res64: A9877CD8F419B191 Time : 0.0 sec. user=mdettweiler [2013-03-06 22:37:00] 817*2^1242177-1 is not prime. Res64: CEC582FDA7294BA2 Time : 0.0 sec. user=mdettweiler [2013-03-06 22:37:01] 849*2^1242177-1 is not prime. Res64: 5E6DECB87476854D Time : 0.0 sec. user=mdettweiler [2013-03-06 22:55:23] 885*2^1242177-1 is not prime. Res64: 77020EC931319FAD Time : 0.0 sec. user=mdettweiler [2013-03-06 22:55:23] 889*2^1242177-1 is not prime. Res64: 8E908C1EE5999A95 Time : 0.0 sec. user=mdettweiler [2013-03-06 22:55:24] 945*2^1242177-1 is not prime. Res64: 3CDEEE4A6BE4A0F6 Time : 0.0 sec. user=mdettweiler [2013-03-06 22:55:24] 737*2^1242178-1 is not prime. Res64: A1457554D29E6520 Time : 0.0 sec. user=juhehe [2013-03-06 23:04:44] 865*2^1242177-1 is not prime. Res64: 4CF0B94A8AD1A065 Time : 0.0 sec. user=mdettweiler [2013-03-06 23:12:48] 765*2^1242178-1 is not prime. Res64: 6F50B7896AA83867 Time : 0.0 sec. user=mdettweiler [2013-03-06 23:12:49] 773*2^1242178-1 is not prime. Res64: 82A4AB9474E6DE1D Time : 0.0 sec. user=mdettweiler [2013-03-06 23:12:49] 801*2^1242178-1 is not prime. Res64: A362ECC8C6E08F52 Time : 0.0 sec. user=mdettweiler [2013-03-06 23:12:50] 915*2^1242178-1 is not prime. Res64: CE48D799CC09DE8C Time : 0.0 sec. user=juhehe [2013-03-06 23:18:17] 609*2^1242177-1 is not prime. Res64: 2F496646BB2249BA Time : 0.0 sec. user=mdettweiler [2013-03-06 23:30:14] 971*2^1242178-1 is not prime. Res64: 547373395783A7EF Time : 0.0 sec. user=mdettweiler [2013-03-06 23:30:15] 615*2^1242179-1 is not prime. Res64: AD7478F43D368440 Time : 0.0 sec. user=mdettweiler [2013-03-06 23:30:16] 655*2^1242179-1 is not prime. Res64: 9E3E3FBD05935172 Time : 0.0 sec. user=mdettweiler [2013-03-06 23:30:16] 693*2^1242179-1 is not prime. Res64: FB3956BBB6F7DBD6 Time : 0.0 sec. user=juhehe [2013-03-06 23:47:13] 945*2^1242178-1 is not prime. Res64: 21680038EF281629 Time : 0.0 sec. user=mdettweiler [2013-03-06 23:47:42] 741*2^1242179-1 is not prime. Res64: A66F05128FCB047E Time : 0.0 sec. user=mdettweiler [2013-03-06 23:47:42] 801*2^1242179-1 is not prime. Res64: 5FC4C2A500A2F961 Time : 0.0 sec. user=mdettweiler [2013-03-06 23:47:42] 771*2^1242179-1 is not prime. Res64: ADB213B29E362A9F Time : 0.0 sec. user=mdettweiler [2013-03-06 23:47:43] 985*2^1242179-1 is not prime. Res64: B48E459C6CD775E1 Time : 0.0 sec. user=juhehe [2013-03-06 23:59:20] 933*2^1242178-1 is not prime. Res64: C545BAF7909A56F1 Time : 0.0 sec.