user=mdettweiler [2012-08-25 00:09:58] 841*2^1227127-1 is not prime. Res64: EBDD22991E0CDE42 Time : 0.0 sec. user=mdettweiler [2012-08-25 00:10:13] 889*2^1227127-1 is not prime. Res64: 67078CFE08DFF011 Time : 0.0 sec. user=mdettweiler [2012-08-25 00:17:23] 665*2^1227128-1 is not prime. Res64: 8F280950BABBD039 Time : 0.0 sec. user=mdettweiler [2012-08-25 00:17:24] 683*2^1227128-1 is not prime. Res64: 041DB450DD941EB8 Time : 0.0 sec. user=vaughan [2012-08-25 00:17:50] 919*2^1227127-1 is not prime. Res64: 58C9E4D46658BBD6 Time : 0.0 sec. user=mdettweiler [2012-08-25 00:21:14] 687*2^1227128-1 is not prime. Res64: 3D07EE0D525968FC Time : 0.0 sec. user=mdettweiler [2012-08-25 00:21:14] 825*2^1227128-1 is not prime. Res64: EF4F1E6CE1FECC13 Time : 0.0 sec. user=mdettweiler [2012-08-25 00:38:01] 657*2^1227129-1 is not prime. Res64: 466E86377D9E5FFF Time : 0.0 sec. user=mdettweiler [2012-08-25 00:38:01] 685*2^1227129-1 is not prime. Res64: 860555CBE3A879C7 Time : 0.0 sec. user=mdettweiler [2012-08-25 00:40:41] 855*2^1227128-1 is not prime. Res64: 1539CACD057C4DD2 Time : 0.0 sec. user=mdettweiler [2012-08-25 00:40:58] 615*2^1227129-1 is not prime. Res64: 7561C3B2492BE2EB Time : 0.0 sec. user=mdettweiler [2012-08-25 00:41:45] 751*2^1227129-1 is not prime. Res64: 547BC00A78FDAA76 Time : 0.0 sec. user=mdettweiler [2012-08-25 00:41:46] 789*2^1227129-1 is not prime. Res64: 0A580E22231D81DE Time : 0.0 sec. user=vaughan [2012-08-25 00:55:33] 745*2^1227129-1 is not prime. Res64: AA8AC0E4ADBB78F0 Time : 0.0 sec. user=mdettweiler [2012-08-25 00:58:34] 865*2^1227129-1 is not prime. Res64: F81EC20C23D31F89 Time : 0.0 sec. user=mdettweiler [2012-08-25 00:58:35] 895*2^1227129-1 is not prime. Res64: C1FB92AA1D97610C Time : 0.0 sec. user=mdettweiler [2012-08-25 01:02:17] 611*2^1227130-1 is not prime. Res64: D2087EA194B313A5 Time : 0.0 sec. user=mdettweiler [2012-08-25 01:02:18] 635*2^1227130-1 is not prime. Res64: 7B18F29C28D81E5A Time : 0.0 sec. user=mdettweiler [2012-08-25 01:11:04] 919*2^1227129-1 is not prime. Res64: EF88A4DF687CB890 Time : 0.0 sec. user=mdettweiler [2012-08-25 01:11:06] 955*2^1227129-1 is not prime. Res64: D022763DD679AC02 Time : 0.0 sec. user=mdettweiler [2012-08-25 01:19:07] 741*2^1227130-1 is not prime. Res64: 4FDD1558EFB6D411 Time : 0.0 sec. user=mdettweiler [2012-08-25 01:19:07] 803*2^1227130-1 is not prime. Res64: 2EDBA17876CE6567 Time : 0.0 sec. user=mdettweiler [2012-08-25 01:22:49] 861*2^1227130-1 is not prime. Res64: 07C0C7AF75A2BB14 Time : 0.0 sec. user=mdettweiler [2012-08-25 01:22:50] 917*2^1227130-1 is not prime. Res64: 2A32C72F6A852305 Time : 0.0 sec. user=vaughan [2012-08-25 01:33:13] 653*2^1227130-1 is not prime. Res64: C49BD0B879EC706C Time : 0.0 sec. user=mdettweiler [2012-08-25 01:39:42] 843*2^1227131-1 is not prime. Res64: DBE181567177018F Time : 0.0 sec. user=mdettweiler [2012-08-25 01:39:42] 859*2^1227131-1 is not prime. Res64: 03DD198A5A114988 Time : 0.0 sec. user=gd_barnes [2012-08-25 01:41:01] 981*2^1227130-1 is not prime. Res64: CA6BE2A1624A56F5 Time : 0.0 sec. user=mdettweiler [2012-08-25 01:41:06] 615*2^1227131-1 is not prime. Res64: AA18B34078EB1511 Time : 0.0 sec. user=mdettweiler [2012-08-25 01:41:22] 741*2^1227131-1 is not prime. Res64: 81F2420E41E2CF5E Time : 0.0 sec. user=mdettweiler [2012-08-25 01:43:21] 969*2^1227131-1 is not prime. Res64: 09C15C6F2474D1F8 Time : 0.0 sec. user=mdettweiler [2012-08-25 01:43:22] 993*2^1227131-1 is not prime. Res64: C6BE087D9C393618 Time : 0.0 sec. user=mdettweiler [2012-08-25 02:00:20] 765*2^1227132-1 is not prime. Res64: FBD77D118A4B5E27 Time : 0.0 sec. user=mdettweiler [2012-08-25 02:00:21] 879*2^1227132-1 is not prime. Res64: 81DFC9080F146AD3 Time : 0.0 sec. user=mdettweiler [2012-08-25 02:03:59] 729*2^1227133-1 is not prime. Res64: 0D8BDA31C8335A1B Time : 0.0 sec. user=mdettweiler [2012-08-25 02:04:00] 775*2^1227133-1 is not prime. Res64: A9733BAEAC64C3E9 Time : 0.0 sec. user=vaughan [2012-08-25 02:11:01] 669*2^1227132-1 is not prime. Res64: 402F0678A59A115E Time : 0.0 sec. user=mdettweiler [2012-08-25 02:11:18] 899*2^1227132-1 is not prime. Res64: C33168468D2F2125 Time : 0.0 sec. user=mdettweiler [2012-08-25 02:11:20] 625*2^1227133-1 is not prime. Res64: 058325C4DFA6CE53 Time : 0.0 sec. user=mdettweiler [2012-08-25 02:20:55] 817*2^1227133-1 is not prime. Res64: 3AF9E936017C3C8A Time : 0.0 sec. user=mdettweiler [2012-08-25 02:20:55] 919*2^1227133-1 is not prime. Res64: B038B4807A06156E Time : 0.0 sec. user=mdettweiler [2012-08-25 02:24:36] 617*2^1227134-1 is not prime. Res64: 93FED2F94EE49451 Time : 0.0 sec. user=mdettweiler [2012-08-25 02:24:37] 747*2^1227134-1 is not prime. Res64: 417F7E57E210DC1C Time : 0.0 sec. user=mdettweiler [2012-08-25 02:40:59] 941*2^1227134-1 is not prime. Res64: 05E84DC6B2B967F9 Time : 0.0 sec. user=mdettweiler [2012-08-25 02:41:05] 965*2^1227134-1 is not prime. Res64: C02D33BF81F3DCFF Time : 0.0 sec. user=mdettweiler [2012-08-25 02:41:28] 609*2^1227135-1 is not prime. Res64: C1585B0B87725DD6 Time : 0.0 sec. user=mdettweiler [2012-08-25 02:41:29] 679*2^1227135-1 is not prime. Res64: 9264925E57A55FEA Time : 0.0 sec. user=mdettweiler [2012-08-25 02:45:08] 909*2^1227135-1 is not prime. Res64: 797F5719A22130D8 Time : 0.0 sec. user=mdettweiler [2012-08-25 02:45:09] 919*2^1227135-1 is not prime. Res64: F0894C5195F7AFA4 Time : 0.0 sec. user=gd_barnes [2012-08-25 02:45:17] 981*2^1227134-1 is not prime. Res64: AC4DF49810229B99 Time : 0.0 sec. user=vaughan [2012-08-25 02:48:56] 851*2^1227134-1 is not prime. Res64: 0F60D9D033265E3B Time : 0.0 sec. user=mdettweiler [2012-08-25 03:02:01] 695*2^1227136-1 is not prime. Res64: 12AFDE6B60AE47ED Time : 0.0 sec. user=mdettweiler [2012-08-25 03:02:02] 765*2^1227136-1 is not prime. Res64: B570202A993F73C4 Time : 0.0 sec. user=mdettweiler [2012-08-25 03:05:42] 773*2^1227136-1 is not prime. Res64: 942DFD30233E9278 Time : 0.0 sec. user=mdettweiler [2012-08-25 03:05:43] 779*2^1227136-1 is not prime. Res64: C9A5556274ECA987 Time : 0.0 sec. user=mdettweiler [2012-08-25 03:10:56] 999*2^1227135-1 is not prime. Res64: BEBA9A1FF9CC68EF Time : 0.0 sec. user=mdettweiler [2012-08-25 03:10:58] 961*2^1227135-1 is not prime. Res64: 85F6A3C2FE3EF9C0 Time : 0.0 sec. user=mdettweiler [2012-08-25 03:22:46] 857*2^1227136-1 is not prime. Res64: 53CBA58ED2ABF673 Time : 0.0 sec. user=mdettweiler [2012-08-25 03:22:47] 939*2^1227136-1 is not prime. Res64: 1ABED2F59A906D5C Time : 0.0 sec. user=mdettweiler [2012-08-25 03:26:15] 717*2^1227137-1 is not prime. Res64: 4577464A4D1C719D Time : 0.0 sec. user=mdettweiler [2012-08-25 03:26:16] 741*2^1227137-1 is not prime. Res64: 52980D62F6F43C1A Time : 0.0 sec. user=vaughan [2012-08-25 03:27:01] 833*2^1227136-1 is not prime. Res64: EF2392D49DDDF4C4 Time : 0.0 sec. user=mdettweiler [2012-08-25 03:40:46] 901*2^1227137-1 is not prime. Res64: 7B31AF6EDA7A4920 Time : 0.0 sec. user=mdettweiler [2012-08-25 03:40:46] 879*2^1227137-1 is not prime. Res64: 93BFCB6B30A147FD Time : 0.0 sec. user=mdettweiler [2012-08-25 03:43:29] 909*2^1227137-1 is not prime. Res64: FB9AE70608908AE9 Time : 0.0 sec. user=mdettweiler [2012-08-25 03:43:30] 605*2^1227138-1 is not prime. Res64: 9F5EFD6564B1C479 Time : 0.0 sec. user=mdettweiler [2012-08-25 03:46:48] 633*2^1227138-1 is not prime. Res64: DA88A4E10F956D3B Time : 0.0 sec. user=mdettweiler [2012-08-25 03:46:49] 635*2^1227138-1 is not prime. Res64: BE4474C36C6B01A4 Time : 0.0 sec. user=mdettweiler [2012-08-25 04:04:01] 751*2^1227139-1 is not prime. Res64: FBF8C1FF16842A02 Time : 0.0 sec. user=mdettweiler [2012-08-25 04:04:02] 759*2^1227139-1 is not prime. Res64: 0D3811871E48EA59 Time : 0.0 sec. user=vaughan [2012-08-25 04:04:43] 603*2^1227139-1 is not prime. Res64: 08229EF73A14552D Time : 0.0 sec. user=mdettweiler [2012-08-25 04:07:20] 769*2^1227139-1 is not prime. Res64: 4FE0D10D8AFC08C8 Time : 0.0 sec. user=mdettweiler [2012-08-25 04:07:21] 973*2^1227139-1 is not prime. Res64: 02D560D368E3E888 Time : 0.0 sec. user=mdettweiler [2012-08-25 04:10:36] 741*2^1227139-1 is not prime. Res64: 471F825F664FEDF7 Time : 0.0 sec. user=mdettweiler [2012-08-25 04:10:37] 705*2^1227139-1 is not prime. Res64: 9B71A5B2B64989FE Time : 0.0 sec. user=mdettweiler [2012-08-25 04:24:40] 717*2^1227140-1 is not prime. Res64: 47948B07420E2444 Time : 0.0 sec. user=mdettweiler [2012-08-25 04:24:41] 825*2^1227140-1 is not prime. Res64: AF491F9EAD45E2D3 Time : 0.0 sec. user=mdettweiler [2012-08-25 04:27:53] 615*2^1227141-1 is not prime. Res64: 7934A5CC4D5FBF95 Time : 0.0 sec. user=mdettweiler [2012-08-25 04:27:53] 661*2^1227141-1 is not prime. Res64: 9714366D14E76F1B Time : 0.0 sec. user=mdettweiler [2012-08-25 04:40:20] 727*2^1227141-1 is not prime. Res64: 476F97002E1F90A0 Time : 0.0 sec. user=mdettweiler [2012-08-25 04:40:25] 741*2^1227141-1 is not prime. Res64: 0617C72D875676F8 Time : 0.0 sec. user=vaughan [2012-08-25 04:42:24] 977*2^1227140-1 is not prime. Res64: C123249F86954180 Time : 0.0 sec. user=mdettweiler [2012-08-25 04:45:22] 745*2^1227141-1 is not prime. Res64: 8542B4B763494543 Time : 0.0 sec. user=mdettweiler [2012-08-25 04:45:23] 871*2^1227141-1 is not prime. Res64: 13CAB8D08E2BF31A Time : 0.0 sec. user=mdettweiler [2012-08-25 04:48:25] 975*2^1227141-1 is not prime. Res64: 9C687D556AA3296E Time : 0.0 sec. user=mdettweiler [2012-08-25 04:48:25] 645*2^1227142-1 is not prime. Res64: D10FFEB0C64936CD Time : 0.0 sec. user=mdettweiler [2012-08-25 05:05:55] 873*2^1227142-1 is not prime. Res64: 9589DB706734837B Time : 0.0 sec. user=mdettweiler [2012-08-25 05:05:57] 911*2^1227142-1 is not prime. Res64: B3E33D91A15010AC Time : 0.0 sec. user=mdettweiler [2012-08-25 05:08:57] 915*2^1227142-1 is not prime. Res64: 9565B82462E4274F Time : 0.0 sec. user=mdettweiler [2012-08-25 05:08:58] 923*2^1227142-1 is not prime. Res64: 57C0F8D1E6028F9E Time : 0.0 sec. user=mdettweiler [2012-08-25 05:10:03] 681*2^1227142-1 is not prime. Res64: 8E24BD0A76113C17 Time : 0.0 sec. user=mdettweiler [2012-08-25 05:10:04] 713*2^1227142-1 is not prime. Res64: C23807F7268545F4 Time : 0.0 sec. user=vaughan [2012-08-25 05:20:05] 777*2^1227142-1 is not prime. Res64: 3B939844405285E9 Time : 0.0 sec. user=mdettweiler [2012-08-25 05:26:33] 983*2^1227142-1 is not prime. Res64: B5B01EC51A42D930 Time : 0.0 sec. user=mdettweiler [2012-08-25 05:26:33] 995*2^1227142-1 is not prime. Res64: D4A047FF2D4A1D2B Time : 0.0 sec. user=mdettweiler [2012-08-25 05:29:32] 663*2^1227143-1 is not prime. Res64: 0AB39B4291153B98 Time : 0.0 sec. user=mdettweiler [2012-08-25 05:29:33] 669*2^1227143-1 is not prime. Res64: 20304774F3B930C9 Time : 0.0 sec. user=mdettweiler [2012-08-25 05:39:44] 895*2^1227143-1 is not prime. Res64: DDDFCEE4B25AF91F Time : 0.0 sec. user=mdettweiler [2012-08-25 05:39:45] 675*2^1227143-1 is not prime. Res64: 706B32D5091171FE Time : 0.0 sec. user=mdettweiler [2012-08-25 05:47:04] 661*2^1227145-1 is not prime. Res64: C79AA12968DD31F2 Time : 0.0 sec. user=mdettweiler [2012-08-25 05:47:05] 705*2^1227145-1 is not prime. Res64: D94F67B3B111386D Time : 0.0 sec. user=gd_barnes [2012-08-25 05:47:23] 689*2^1227144-1 is not prime. Res64: 4F52D5F25F962C81 Time : 0.0 sec. user=mdettweiler [2012-08-25 05:50:04] 957*2^1227145-1 is not prime. Res64: C14F2436EFF6E0C3 Time : 0.0 sec. user=mdettweiler [2012-08-25 05:50:04] 979*2^1227145-1 is not prime. Res64: FD852B9F873A4307 Time : 0.0 sec. user=vaughan [2012-08-25 05:57:48] 947*2^1227144-1 is not prime. Res64: 748737B041EA0AE4 Time : 0.0 sec. user=mdettweiler [2012-08-25 06:07:36] 701*2^1227146-1 is not prime. Res64: 64EABD54CCCC1E4D Time : 0.0 sec. user=mdettweiler [2012-08-25 06:07:37] 711*2^1227146-1 is not prime. Res64: 5A5678238F929DA4 Time : 0.0 sec. user=mdettweiler [2012-08-25 06:09:26] 999*2^1227145-1 is not prime. Res64: ABAC260131404414 Time : 0.0 sec. user=mdettweiler [2012-08-25 06:09:29] 615*2^1227146-1 is not prime. Res64: FCBF0AEE7D23460F Time : 0.0 sec. user=mdettweiler [2012-08-25 06:10:35] 735*2^1227146-1 is not prime. Res64: 7A8FB417275F9D44 Time : 0.0 sec. user=mdettweiler [2012-08-25 06:10:37] 857*2^1227146-1 is not prime. Res64: 8098334354802D3F Time : 0.0 sec. user=mdettweiler [2012-08-25 06:28:08] 1001*2^1227146-1 is not prime. Res64: 16742D759CF3D2C2 Time : 0.0 sec. user=mdettweiler [2012-08-25 06:28:09] 675*2^1227147-1 is not prime. Res64: 7B98A3C0AFBFC1F6 Time : 0.0 sec. user=mdettweiler [2012-08-25 06:31:13] 931*2^1227147-1 is not prime. Res64: 441A0EBAA6B50BBA Time : 0.0 sec. user=mdettweiler [2012-08-25 06:31:14] 687*2^1227148-1 is not prime. Res64: 149EA8B8F2745D3C Time : 0.0 sec. user=vaughan [2012-08-25 06:35:29] 945*2^1227146-1 is not prime. Res64: 0C90AD25F3EDB1D5 Time : 0.0 sec. user=mdettweiler [2012-08-25 06:39:09] 909*2^1227147-1 is not prime. Res64: 9D3B815700C9788D Time : 0.0 sec. user=mdettweiler [2012-08-25 06:39:11] 703*2^1227147-1 is not prime. Res64: 376ECD3C2E6D437B Time : 0.0 sec. user=mdettweiler [2012-08-25 06:48:41] 735*2^1227148-1 is not prime. Res64: 60D832F7B8C4107A Time : 0.0 sec. user=mdettweiler [2012-08-25 06:48:42] 765*2^1227148-1 is not prime. Res64: B3591D36D4B5DE37 Time : 0.0 sec. user=mdettweiler [2012-08-25 06:51:45] 969*2^1227148-1 is not prime. Res64: E6C0C9B499CF83F5 Time : 0.0 sec. user=mdettweiler [2012-08-25 06:51:46] 999*2^1227148-1 is not prime. Res64: 078627E0E1480436 Time : 0.0 sec. user=mdettweiler [2012-08-25 07:08:46] 741*2^1227149-1 is not prime. Res64: 38BBFE1B6C26696E Time : 0.0 sec. user=mdettweiler [2012-08-25 07:08:49] 745*2^1227149-1 is not prime. Res64: 0CDC34010A905B9B Time : 0.0 sec. user=mdettweiler [2012-08-25 07:09:13] 759*2^1227149-1 is not prime. Res64: DC6AE27A8FFFC591 Time : 0.0 sec. user=mdettweiler [2012-08-25 07:09:15] 789*2^1227149-1 is not prime. Res64: 8FF041FC43BB972B Time : 0.0 sec. user=mdettweiler [2012-08-25 07:12:17] 897*2^1227149-1 is not prime. Res64: 0FA8BD56C22F1550 Time : 0.0 sec. user=mdettweiler [2012-08-25 07:12:18] 985*2^1227149-1 is not prime. Res64: 5ED450E0FAB8CE2B Time : 0.0 sec. user=vaughan [2012-08-25 07:13:10] 699*2^1227149-1 is not prime. Res64: ED26A336BC758B5E Time : 0.0 sec. user=mdettweiler [2012-08-25 07:29:51] 885*2^1227151-1 is not prime. Res64: 30DB6199EAA72484 Time : 0.0 sec. user=mdettweiler [2012-08-25 07:29:51] 961*2^1227151-1 is not prime. Res64: A7DD6845A1686B8C Time : 0.0 sec. user=mdettweiler [2012-08-25 07:32:54] 635*2^1227152-1 is not prime. Res64: 8B28FA89B5810FA0 Time : 0.0 sec. user=mdettweiler [2012-08-25 07:32:55] 725*2^1227152-1 is not prime. Res64: F7D2BBA4E2573E0D Time : 0.0 sec. user=mdettweiler [2012-08-25 07:38:26] 833*2^1227150-1 is not prime. Res64: CEDB3396E433A360 Time : 0.0 sec. user=mdettweiler [2012-08-25 07:38:27] 825*2^1227150-1 is not prime. Res64: BE5B5A960C688F4B Time : 0.0 sec. user=mdettweiler [2012-08-25 07:50:24] 827*2^1227152-1 is not prime. Res64: DE3044C01303DE83 Time : 0.0 sec. user=mdettweiler [2012-08-25 07:50:24] 873*2^1227152-1 is not prime. Res64: C551A5AF2F20E2A1 Time : 0.0 sec. user=vaughan [2012-08-25 07:50:54] 753*2^1227152-1 is not prime. Res64: ADB59811AE29CB13 Time : 0.0 sec. user=mdettweiler [2012-08-25 07:53:26] 807*2^1227153-1 is not prime. Res64: 874A0EC02C691766 Time : 0.0 sec. user=mdettweiler [2012-08-25 07:53:26] 901*2^1227153-1 is not prime. Res64: AD1DAC916166F0A6 Time : 0.0 sec. user=mdettweiler [2012-08-25 08:08:03] 947*2^1227154-1 is not prime. Res64: 32ED3F7BA925643C Time : 0.0 sec. user=mdettweiler [2012-08-25 08:08:05] 657*2^1227154-1 is not prime. Res64: 40D6464E67211742 Time : 0.0 sec. user=mdettweiler [2012-08-25 08:10:57] 1001*2^1227154-1 is not prime. Res64: 02A6D7A787F09F02 Time : 0.0 sec. user=mdettweiler [2012-08-25 08:10:57] 609*2^1227155-1 is not prime. Res64: 251884E79FA3E515 Time : 0.0 sec. user=mdettweiler [2012-08-25 08:13:59] 805*2^1227155-1 is not prime. Res64: 4C7D5101BE29F9C1 Time : 0.0 sec. user=mdettweiler [2012-08-25 08:14:00] 939*2^1227155-1 is not prime. Res64: 2940A53156B71680 Time : 0.0 sec. user=vaughan [2012-08-25 08:28:36] 679*2^1227155-1 is not prime. Res64: FB22AB50E0535A78 Time : 0.0 sec. user=mdettweiler [2012-08-25 08:31:32] 837*2^1227156-1 is not prime. Res64: B78E2C5628B2D950 Time : 0.0 sec. user=mdettweiler [2012-08-25 08:31:33] 873*2^1227156-1 is not prime. Res64: B88E8769ECD6B815 Time : 0.0 sec. user=mdettweiler [2012-08-25 08:34:34] 625*2^1227157-1 is not prime. Res64: 21288E73C00891D4 Time : 0.0 sec. user=mdettweiler [2012-08-25 08:34:34] 685*2^1227157-1 is not prime. Res64: B7C74C3F99A8AF10 Time : 0.0 sec. user=mdettweiler [2012-08-25 08:37:53] 973*2^1227155-1 is not prime. Res64: A51F6EAE67775349 Time : 0.0 sec. user=mdettweiler [2012-08-25 08:37:54] 633*2^1227156-1 is not prime. Res64: BBB9149FAEDE33EA Time : 0.0 sec. user=mdettweiler [2012-08-25 08:52:04] 829*2^1227157-1 is not prime. Res64: DF3D71E2E496F093 Time : 0.0 sec. user=mdettweiler [2012-08-25 08:52:04] 871*2^1227157-1 is not prime. Res64: A047F59AB0D1F846 Time : 0.0 sec. user=mdettweiler [2012-08-25 08:55:06] 641*2^1227158-1 is not prime. Res64: D0303845D0574AD9 Time : 0.0 sec. user=mdettweiler [2012-08-25 08:55:07] 683*2^1227158-1 is not prime. Res64: A24C42C4599DF1B9 Time : 0.0 sec. user=vaughan [2012-08-25 09:06:17] 817*2^1227157-1 is not prime. Res64: 2B1324F59B03669B Time : 0.0 sec. user=mdettweiler [2012-08-25 09:07:28] 867*2^1227158-1 is not prime. Res64: F33A08B6C51BCF1F Time : 0.0 sec. user=mdettweiler [2012-08-25 09:07:35] 797*2^1227158-1 is not prime. Res64: EB11A8E4FB8507A1 Time : 0.0 sec. user=mdettweiler [2012-08-25 09:12:36] 679*2^1227159-1 is not prime. Res64: 3560259907658579 Time : 0.0 sec. user=mdettweiler [2012-08-25 09:12:38] 691*2^1227159-1 is not prime. Res64: EFB693CFF3A80030 Time : 0.0 sec. user=mdettweiler [2012-08-25 09:15:37] 703*2^1227159-1 is not prime. Res64: 5FD85B95D9313BC0 Time : 0.0 sec. user=mdettweiler [2012-08-25 09:15:39] 789*2^1227159-1 is not prime. Res64: 543F8F6273FCB3EE Time : 0.0 sec. user=mdettweiler [2012-08-25 09:33:30] 839*2^1227160-1 is not prime. Res64: 4B1CBA262A7CE731 Time : 0.0 sec. user=mdettweiler [2012-08-25 09:33:30] 607*2^1227161-1 is not prime. Res64: 67E57AA4786F5BAB Time : 0.0 sec. user=mdettweiler [2012-08-25 09:36:25] 685*2^1227161-1 is not prime. Res64: 52E9C8BD989555A2 Time : 0.0 sec. user=mdettweiler [2012-08-25 09:36:25] 781*2^1227161-1 is not prime. Res64: 8B07999D858577B1 Time : 0.0 sec. user=mdettweiler [2012-08-25 09:37:09] 975*2^1227159-1 is not prime. Res64: 5D09F962A062DD7C Time : 0.0 sec. user=mdettweiler [2012-08-25 09:37:15] 605*2^1227160-1 is not prime. Res64: 1CBAD739E27FC2F1 Time : 0.0 sec. user=vaughan [2012-08-25 09:44:06] 933*2^1227159-1 is not prime. Res64: 34CE62249E855101 Time : 0.0 sec. user=mdettweiler [2012-08-25 09:54:02] 811*2^1227161-1 is not prime. Res64: 17E9565F4A98FBD6 Time : 0.0 sec. user=mdettweiler [2012-08-25 09:54:03] 829*2^1227161-1 is not prime. Res64: CF51F02FADF77A97 Time : 0.0 sec. user=mdettweiler [2012-08-25 09:56:57] 879*2^1227161-1 is not prime. Res64: 1D0BD516CC72EA3F Time : 0.0 sec. user=mdettweiler [2012-08-25 09:56:57] 901*2^1227161-1 is not prime. Res64: 664CA7E0288BA54F Time : 0.0 sec. user=mdettweiler [2012-08-25 10:06:47] 939*2^1227161-1 is not prime. Res64: 924A7E12EF0955D1 Time : 0.0 sec. user=mdettweiler [2012-08-25 10:06:50] 949*2^1227161-1 is not prime. Res64: D1917AD27DCCA1A7 Time : 0.0 sec. user=mdettweiler [2012-08-25 10:14:34] 665*2^1227162-1 is not prime. Res64: C86C5CA5C93595E3 Time : 0.0 sec. user=mdettweiler [2012-08-25 10:14:35] 705*2^1227162-1 is not prime. Res64: 6766CBA52557B9E2 Time : 0.0 sec. user=mdettweiler [2012-08-25 10:17:29] 741*2^1227162-1 is not prime. Res64: 2C47A77836AE005E Time : 0.0 sec. user=mdettweiler [2012-08-25 10:17:29] 801*2^1227162-1 is not prime. Res64: BF0BFF0909C5A586 Time : 0.0 sec. user=vaughan [2012-08-25 10:21:46] 647*2^1227162-1 is not prime. Res64: 659EBFBE4ECA45AF Time : 0.0 sec. user=mdettweiler [2012-08-25 10:35:19] 941*2^1227162-1 is not prime. Res64: 585D2CE57493374D Time : 0.0 sec. user=mdettweiler [2012-08-25 10:35:19] 633*2^1227163-1 is not prime. Res64: D34A49E66AADDCB6 Time : 0.0 sec. user=mdettweiler [2012-08-25 10:36:29] 885*2^1227162-1 is not prime. Res64: 88B23F40B889D5A4 Time : 0.0 sec. user=mdettweiler [2012-08-25 10:36:30] 873*2^1227162-1 is not prime. Res64: F242BDD2AA070117 Time : 0.0 sec. user=mdettweiler [2012-08-25 10:38:01] 699*2^1227163-1 is not prime. Res64: 13E73F2EB46358D8 Time : 0.0 sec. user=mdettweiler [2012-08-25 10:38:02] 703*2^1227163-1 is not prime. Res64: 3832D39EF366EBD4 Time : 0.0 sec. user=mdettweiler [2012-08-25 10:55:51] 793*2^1227163-1 is not prime. Res64: 1DA291082063585B Time : 0.0 sec. user=mdettweiler [2012-08-25 10:55:51] 819*2^1227163-1 is not prime. Res64: C6FD77B2CE778ED2 Time : 0.0 sec. user=mdettweiler [2012-08-25 10:58:33] 985*2^1227163-1 is not prime. Res64: CAA15EE9AEEC38BB Time : 0.0 sec. user=mdettweiler [2012-08-25 10:58:33] 659*2^1227164-1 is not prime. Res64: DDFFACEDEE0DB90C Time : 0.0 sec. user=vaughan [2012-08-25 10:59:29] 789*2^1227163-1 is not prime. Res64: F6B8AA63467884BB Time : 0.0 sec. user=mdettweiler [2012-08-25 11:06:03] 913*2^1227163-1 is not prime. Res64: E0207D07F16D7FEA Time : 0.0 sec. user=mdettweiler [2012-08-25 11:06:05] 895*2^1227163-1 is not prime. Res64: 4A19117BA5E222DA Time : 0.0 sec. user=mdettweiler [2012-08-25 11:16:23] 843*2^1227164-1 is not prime. Res64: C3EAF79B90E011A0 Time : 0.0 sec. user=mdettweiler [2012-08-25 11:16:24] 855*2^1227164-1 is not prime. Res64: 12989EE0D6FC7B8E Time : 0.0 sec. user=mdettweiler [2012-08-25 11:19:05] 897*2^1227164-1 is not prime. Res64: 885EBC5FC5807697 Time : 0.0 sec. user=mdettweiler [2012-08-25 11:19:06] 935*2^1227164-1 is not prime. Res64: D0A00116D2EB2DBA Time : 0.0 sec. user=mdettweiler [2012-08-25 11:35:32] 609*2^1227165-1 is not prime. Res64: 88AAFF928C3944B7 Time : 0.0 sec. user=mdettweiler [2012-08-25 11:35:40] 727*2^1227165-1 is not prime. Res64: AF32AC1D0B0575FA Time : 0.0 sec. user=mdettweiler [2012-08-25 11:36:59] 741*2^1227165-1 is not prime. Res64: B522C377FD109DC7 Time : 0.0 sec. user=mdettweiler [2012-08-25 11:36:59] 765*2^1227165-1 is not prime. Res64: F9D20C18AE4D5491 Time : 0.0 sec. user=vaughan [2012-08-25 11:37:11] 957*2^1227164-1 is not prime. Res64: 0232BADFE97A5472 Time : 0.0 sec. user=mdettweiler [2012-08-25 11:39:37] 795*2^1227165-1 is not prime. Res64: 575DDDE0B41C60F1 Time : 0.0 sec. user=mdettweiler [2012-08-25 11:39:38] 885*2^1227165-1 is not prime. Res64: CF5E3BE93B4EB539 Time : 0.0 sec. user=mdettweiler [2012-08-25 11:57:31] 911*2^1227166-1 is not prime. Res64: D94DEDAB8B9E511D Time : 0.0 sec. user=mdettweiler [2012-08-25 11:57:32] 703*2^1227167-1 is not prime. Res64: 141C8B26CF4D5AA9 Time : 0.0 sec. user=mdettweiler [2012-08-25 12:00:09] 841*2^1227167-1 is not prime. Res64: 5BFAE02440FB8F4D Time : 0.0 sec. user=mdettweiler [2012-08-25 12:00:10] 861*2^1227167-1 is not prime. Res64: ACEE77B7A0E3A25A Time : 0.0 sec. user=mdettweiler [2012-08-25 12:05:07] 949*2^1227165-1 is not prime. Res64: 0CE4E6F4A8E6A443 Time : 0.0 sec. user=mdettweiler [2012-08-25 12:05:14] 657*2^1227166-1 is not prime. Res64: ABC924473068D16B Time : 0.0 sec. user=vaughan [2012-08-25 12:14:53] 753*2^1227167-1 is not prime. Res64: 26811FDC0542D5FC Time : 0.0 sec. user=mdettweiler [2012-08-25 12:18:03] 865*2^1227167-1 is not prime. Res64: B8270CCF069571A1 Time : 0.0 sec. user=mdettweiler [2012-08-25 12:18:04] 979*2^1227167-1 is not prime. Res64: 9556CF5B197F5AFA Time : 0.0 sec. user=mdettweiler [2012-08-25 12:20:43] 669*2^1227168-1 is not prime. Res64: 5D042ECEF37C7E18 Time : 0.0 sec. user=mdettweiler [2012-08-25 12:20:43] 753*2^1227168-1 is not prime. Res64: 48FC3E97B07ABAA5 Time : 0.0 sec. user=mdettweiler [2012-08-25 12:34:46] 795*2^1227168-1 is not prime. Res64: 252D968C1FDFFDB1 Time : 0.0 sec. user=mdettweiler [2012-08-25 12:34:50] 803*2^1227168-1 is not prime. Res64: 866892C4F514B3C1 Time : 0.0 sec. user=mdettweiler [2012-08-25 12:38:36] 909*2^1227168-1 is not prime. Res64: 03B3764DBA6C8C00 Time : 0.0 sec. user=mdettweiler [2012-08-25 12:38:36] 923*2^1227168-1 is not prime. Res64: 9512D351D674EE80 Time : 0.0 sec. user=mdettweiler [2012-08-25 12:41:14] 959*2^1227168-1 is not prime. Res64: 95067E6D14351482 Time : 0.0 sec. user=mdettweiler [2012-08-25 12:41:14] 639*2^1227169-1 is not prime. Res64: 33F3A8D4219DD370 Time : 0.0 sec. user=vaughan [2012-08-25 12:52:39] 879*2^1227168-1 is not prime. Res64: D9D134187921A40D Time : 0.0 sec. user=mdettweiler [2012-08-25 12:59:09] 831*2^1227169-1 is not prime. Res64: D7D43204EA215914 Time : 0.0 sec. user=mdettweiler [2012-08-25 12:59:09] 847*2^1227169-1 is not prime. Res64: 20719D35D4FD01BC Time : 0.0 sec. user=mdettweiler [2012-08-25 13:01:46] 877*2^1227169-1 is not prime. Res64: 6D55F359C683AD26 Time : 0.0 sec. user=mdettweiler [2012-08-25 13:01:47] 895*2^1227169-1 is not prime. Res64: 077145BF8CD9EAF2 Time : 0.0 sec. user=mdettweiler [2012-08-25 13:04:22] 765*2^1227169-1 is not prime. Res64: 56B776879B68AA42 Time : 0.0 sec. user=mdettweiler [2012-08-25 13:04:24] 771*2^1227169-1 is not prime. Res64: DB156C4A85416851 Time : 0.0 sec. user=mdettweiler [2012-08-25 13:19:41] 615*2^1227170-1 is not prime. Res64: 0196621043EFFF43 Time : 0.0 sec. user=mdettweiler [2012-08-25 13:19:42] 713*2^1227170-1 is not prime. Res64: 667B11FEF1D11324 Time : 0.0 sec. user=mdettweiler [2012-08-25 13:22:18] 613*2^1227171-1 is not prime. Res64: A4FDDF81AEA6809D Time : 0.0 sec. user=mdettweiler [2012-08-25 13:22:19] 849*2^1227171-1 is not prime. Res64: 7F6BDFD13016EB95 Time : 0.0 sec. user=vaughan [2012-08-25 13:30:20] 951*2^1227169-1 is not prime. Res64: E42B7B52BDBDD423 Time : 0.0 sec. user=mdettweiler [2012-08-25 13:33:58] 903*2^1227171-1 is not prime. Res64: 4BA4853ED429A6F2 Time : 0.0 sec. user=mdettweiler [2012-08-25 13:34:00] 973*2^1227171-1 is not prime. Res64: 924722A3873308B4 Time : 0.0 sec. user=mdettweiler [2012-08-25 13:40:17] 617*2^1227172-1 is not prime. Res64: 547E47CA522CA329 Time : 0.0 sec. user=mdettweiler [2012-08-25 13:40:18] 665*2^1227172-1 is not prime. Res64: 6F90D6C25865035C Time : 0.0 sec. user=mdettweiler [2012-08-25 13:42:51] 765*2^1227172-1 is not prime. Res64: DE382A776ED0882C Time : 0.0 sec. user=mdettweiler [2012-08-25 13:42:51] 833*2^1227172-1 is not prime. Res64: 1EB6F38F6FE7B784 Time : 0.0 sec. user=mdettweiler [2012-08-25 14:00:50] 697*2^1227173-1 is not prime. Res64: B4ED52D1AE610D31 Time : 0.0 sec. user=mdettweiler [2012-08-25 14:00:51] 699*2^1227173-1 is not prime. Res64: EF7532F1AAF8AF39 Time : 0.0 sec. user=gd_barnes [2012-08-25 14:01:20] 959*2^1227172-1 is not prime. Res64: 5FCC33EB06A6A192 Time : 0.0 sec. user=mdettweiler [2012-08-25 14:03:23] 741*2^1227173-1 is not prime. Res64: A27B2F95C11A33F1 Time : 0.0 sec. user=mdettweiler [2012-08-25 14:03:25] 745*2^1227173-1 is not prime. Res64: 9A38CEA8695C88BF Time : 0.0 sec. user=mdettweiler [2012-08-25 14:03:27] 903*2^1227172-1 is not prime. Res64: 0047DDF60AFBF1B0 Time : 0.0 sec. user=mdettweiler [2012-08-25 14:03:31] 933*2^1227172-1 is not prime. Res64: B3806ABF820D89C8 Time : 0.0 sec. user=vaughan [2012-08-25 14:08:04] 887*2^1227172-1 is not prime. Res64: 2520739DD95A976A Time : 0.0 sec. user=mdettweiler [2012-08-25 14:21:38] 927*2^1227173-1 is not prime. Res64: 444CA402805EA3D0 Time : 0.0 sec. user=mdettweiler [2012-08-25 14:21:38] 981*2^1227173-1 is not prime. Res64: 1A24CAE7E6259FC2 Time : 0.0 sec. user=mdettweiler [2012-08-25 14:23:59] 663*2^1227174-1 is not prime. Res64: 02E7F028640F2E31 Time : 0.0 sec. user=mdettweiler [2012-08-25 14:24:00] 795*2^1227174-1 is not prime. Res64: F6CAE0FD1B7036E3 Time : 0.0 sec. user=mdettweiler [2012-08-25 14:33:03] 975*2^1227174-1 is not prime. Res64: 3415CBC3DFC8ECEB Time : 0.0 sec. user=mdettweiler [2012-08-25 14:33:08] 793*2^1227175-1 is not prime. Res64: D7CC17831A9332B9 Time : 0.0 sec. user=gd_barnes [2012-08-25 14:36:37] 849*2^1227175-1 is not prime. Res64: AD6C321DDB478B97 Time : 0.0 sec. user=mdettweiler [2012-08-25 14:42:12] 913*2^1227175-1 is not prime. Res64: 341A15D48009013C Time : 0.0 sec. user=mdettweiler [2012-08-25 14:42:12] 615*2^1227176-1 is not prime. Res64: 772A38B6F4CF7826 Time : 0.0 sec. user=mdettweiler [2012-08-25 14:44:31] 725*2^1227176-1 is not prime. Res64: E5A606FD7B1AC4F5 Time : 0.0 sec. user=mdettweiler [2012-08-25 14:44:32] 855*2^1227176-1 is not prime. Res64: 356ED5A0709BDF67 Time : 0.0 sec. user=vaughan [2012-08-25 14:45:46] 859*2^1227175-1 is not prime. Res64: D0C6F0D22844F660 Time : 0.0 sec. user=mdettweiler [2012-08-25 15:02:44] 969*2^1227176-1 is not prime. Res64: 6D6628EFB75C619A Time : 0.0 sec. user=mdettweiler [2012-08-25 15:02:46] 667*2^1227177-1 is not prime. Res64: D5772F870B54693C Time : 0.0 sec. user=mdettweiler [2012-08-25 15:02:49] 945*2^1227176-1 is not prime. Res64: FAA227C753D04B4F Time : 0.0 sec. user=mdettweiler [2012-08-25 15:02:56] 873*2^1227176-1 is not prime. Res64: 7814B3EC89799C2C Time : 0.0 sec. user=mdettweiler [2012-08-25 15:05:04] 691*2^1227177-1 is not prime. Res64: EB90AC0F52FA1A9D Time : 0.0 sec. user=mdettweiler [2012-08-25 15:05:05] 727*2^1227177-1 is not prime. Res64: 37A42A4169A6FDFC Time : 0.0 sec. user=vaughan [2012-08-25 15:23:27] 781*2^1227177-1 is not prime. Res64: 240C41119A176D8E Time : 0.0 sec. user=mdettweiler [2012-08-25 15:23:29] 829*2^1227177-1 is not prime. Res64: B43DA3718FCDD05C Time : 0.0 sec. user=mdettweiler [2012-08-25 15:23:30] 847*2^1227177-1 is not prime. Res64: 2D705FA593FFC590 Time : 0.0 sec. user=mdettweiler [2012-08-25 15:25:41] 985*2^1227177-1 is not prime. Res64: 8A8E0EF3477EA032 Time : 0.0 sec. user=mdettweiler [2012-08-25 15:25:42] 633*2^1227178-1 is not prime. Res64: 1DA29FE602605836 Time : 0.0 sec. user=mdettweiler [2012-08-25 15:32:30] 979*2^1227177-1 is not prime. Res64: F732CE94BC6EDEBD Time : 0.0 sec. user=mdettweiler [2012-08-25 15:32:31] 889*2^1227177-1 is not prime. Res64: B32C9E4B124A28B9 Time : 0.0 sec. user=mdettweiler [2012-08-25 15:44:02] 681*2^1227178-1 is not prime. Res64: 9C86422B29D01AD5 Time : 0.0 sec. user=mdettweiler [2012-08-25 15:44:03] 861*2^1227178-1 is not prime. Res64: 019DCE255E77709B Time : 0.0 sec. user=mdettweiler [2012-08-25 15:46:14] 975*2^1227178-1 is not prime. Res64: 4C7B037A4DEDE412 Time : 0.0 sec. user=mdettweiler [2012-08-25 15:46:15] 987*2^1227178-1 is not prime. Res64: 54B02DBA282BB0C3 Time : 0.0 sec. user=vaughan [2012-08-25 16:01:09] 635*2^1227178-1 is not prime. Res64: FCFD527DA9334FDA Time : 0.0 sec. user=mdettweiler [2012-08-25 16:02:05] 601*2^1227179-1 is not prime. Res64: B3AB67DAD217EB01 Time : 0.0 sec. user=mdettweiler [2012-08-25 16:02:08] 685*2^1227179-1 is not prime. Res64: 8A5A0D0B7E16EB9D Time : 0.0 sec. user=mdettweiler [2012-08-25 16:04:34] 733*2^1227179-1 is not prime. Res64: 53A7157C12A65D13 Time : 0.0 sec. user=mdettweiler [2012-08-25 16:04:36] 825*2^1227179-1 is not prime. Res64: 9EE6EF31E14EAF97 Time : 0.0 sec. user=mdettweiler [2012-08-25 16:06:48] 883*2^1227179-1 is not prime. Res64: 66DD16D1255CD9C0 Time : 0.0 sec. user=mdettweiler [2012-08-25 16:06:49] 913*2^1227179-1 is not prime. Res64: 74EA543247F222CA Time : 0.0 sec. user=mdettweiler [2012-08-25 16:25:10] 737*2^1227180-1 is not prime. Res64: 02D4D2562FF83066 Time : 0.0 sec. user=mdettweiler [2012-08-25 16:25:11] 789*2^1227180-1 is not prime. Res64: 0C062ECA871A8491 Time : 0.0 sec. user=mdettweiler [2012-08-25 16:27:28] 959*2^1227180-1 is not prime. Res64: ECFDC368D482CE63 Time : 0.0 sec. user=mdettweiler [2012-08-25 16:27:29] 607*2^1227181-1 is not prime. Res64: 8FA7E82DBA4F3B95 Time : 0.0 sec. user=mdettweiler [2012-08-25 16:31:44] 985*2^1227179-1 is not prime. Res64: 4FE33972729095C7 Time : 0.0 sec. user=mdettweiler [2012-08-25 16:31:46] 665*2^1227180-1 is not prime. Res64: 94ACA814A69724BD Time : 0.0 sec. user=vaughan [2012-08-25 16:39:04] 979*2^1227179-1 is not prime. Res64: 058AE370218C6F9B Time : 0.0 sec. user=mdettweiler [2012-08-25 16:45:45] 615*2^1227181-1 is not prime. Res64: 1F2670C9418929D3 Time : 0.0 sec. user=mdettweiler [2012-08-25 16:45:46] 747*2^1227181-1 is not prime. Res64: 0C4DD1535A6A1E3F Time : 0.0 sec. user=mdettweiler [2012-08-25 16:48:02] 855*2^1227181-1 is not prime. Res64: A65714800C990224 Time : 0.0 sec. user=mdettweiler [2012-08-25 16:48:02] 939*2^1227181-1 is not prime. Res64: FDA5339F90E932DB Time : 0.0 sec. user=mdettweiler [2012-08-25 17:01:18] 987*2^1227181-1 is not prime. Res64: 4D4088887A1E02A0 Time : 0.0 sec. user=mdettweiler [2012-08-25 17:01:20] 999*2^1227181-1 is not prime. Res64: 8CC5A950C01580D0 Time : 0.0 sec. user=mdettweiler [2012-08-25 17:06:19] 711*2^1227182-1 is not prime. Res64: A5ECCE239BA2FBB8 Time : 0.0 sec. user=mdettweiler [2012-08-25 17:06:20] 741*2^1227182-1 is not prime. Res64: E37716032BF7337B Time : 0.0 sec. user=mdettweiler [2012-08-25 17:08:35] 767*2^1227182-1 is not prime. Res64: 42D1F1878FAC3D6F Time : 0.0 sec. user=mdettweiler [2012-08-25 17:08:36] 951*2^1227182-1 is not prime. Res64: C7C7D268FEAC23B8 Time : 0.0 sec. user=vaughan [2012-08-25 17:16:44] 623*2^1227182-1 is not prime. Res64: CEC9FDBCBA7C8658 Time : 0.0 sec. user=mdettweiler [2012-08-25 17:27:11] 609*2^1227183-1 is not prime. Res64: F6C63A243C17AF49 Time : 0.0 sec. user=mdettweiler [2012-08-25 17:27:12] 649*2^1227183-1 is not prime. Res64: 5B944EE3BA6A7102 Time : 0.0 sec. user=mdettweiler [2012-08-25 17:29:10] 675*2^1227183-1 is not prime. Res64: 08A003F828C6FA27 Time : 0.0 sec. user=mdettweiler [2012-08-25 17:29:11] 861*2^1227183-1 is not prime. Res64: B0E2E65EC0D8D5A8 Time : 0.0 sec. user=mdettweiler [2012-08-25 17:31:54] 987*2^1227182-1 is not prime. Res64: C2ADE37B559B7CF6 Time : 0.0 sec. user=mdettweiler [2012-08-25 17:32:13] 981*2^1227182-1 is not prime. Res64: A22498FA58D25302 Time : 0.0 sec. user=mdettweiler [2012-08-25 17:47:56] 951*2^1227183-1 is not prime. Res64: 5A24B4F51673EC8C Time : 0.0 sec. user=mdettweiler [2012-08-25 17:47:56] 985*2^1227183-1 is not prime. Res64: 2849437D067617CC Time : 0.0 sec. user=mdettweiler [2012-08-25 17:49:44] 657*2^1227184-1 is not prime. Res64: AF2B76FD859B6D25 Time : 0.0 sec. user=mdettweiler [2012-08-25 17:49:45] 677*2^1227184-1 is not prime. Res64: 6AD90028E0608BFA Time : 0.0 sec. user=vaughan [2012-08-25 17:54:24] 895*2^1227183-1 is not prime. Res64: D3199192B203321F Time : 0.0 sec. user=mdettweiler [2012-08-25 18:01:39] 723*2^1227184-1 is not prime. Res64: 0CD3AF1648C606A6 Time : 0.0 sec. user=mdettweiler [2012-08-25 18:01:58] 825*2^1227184-1 is not prime. Res64: 052CA5F9D18A75E5 Time : 0.0 sec. user=mdettweiler [2012-08-25 18:08:29] 827*2^1227184-1 is not prime. Res64: 760086D0763E147A Time : 0.0 sec. user=mdettweiler [2012-08-25 18:08:30] 917*2^1227184-1 is not prime. Res64: 8EDEF95FC5D9B356 Time : 0.0 sec. user=mdettweiler [2012-08-25 18:10:18] 939*2^1227184-1 is not prime. Res64: FB3237EB6522B01B Time : 0.0 sec. user=mdettweiler [2012-08-25 18:10:20] 983*2^1227184-1 is not prime. Res64: D2D5E6B0D412B46D Time : 0.0 sec. user=mdettweiler [2012-08-25 18:29:08] 717*2^1227185-1 is not prime. Res64: 490A3AD8E7F37E89 Time : 0.0 sec. user=mdettweiler [2012-08-25 18:29:09] 795*2^1227185-1 is not prime. Res64: 123574041D2A226A Time : 0.0 sec. user=mdettweiler [2012-08-25 18:30:58] 801*2^1227185-1 is not prime. Res64: CF219F7CB332A260 Time : 0.0 sec. user=mdettweiler [2012-08-25 18:30:59] 811*2^1227185-1 is not prime. Res64: A13F7695CAF15C7D Time : 0.0 sec. user=mdettweiler [2012-08-25 18:31:16] 649*2^1227185-1 is not prime. Res64: 3C63FDB6597B4577 Time : 0.0 sec. user=mdettweiler [2012-08-25 18:31:27] 697*2^1227185-1 is not prime. Res64: EAFFEC9E0FFE8054 Time : 0.0 sec. user=vaughan [2012-08-25 18:32:03] 993*2^1227184-1 is not prime. Res64: 6A8AC6AAAFE32C94 Time : 0.0 sec. user=PCZ [2012-08-25 18:42:36] 843*2^1227186-1 is not prime. Res64: E13DD4292C587DC4 Time : 0.0 sec. user=PCZ [2012-08-25 18:42:36] 741*2^1227186-1 is not prime. Res64: DD37460B2C4DA82D Time : 0.0 sec. user=PCZ [2012-08-25 18:44:19] 631*2^1227187-1 is not prime. Res64: 0BFC629F5A309B40 Time : 0.0 sec. user=PCZ [2012-08-25 18:44:19] 681*2^1227187-1 is not prime. Res64: 96D180270524A25E Time : 0.0 sec. user=PCZ [2012-08-25 18:44:37] 735*2^1227187-1 is not prime. Res64: FE4C4BFFD6D45E29 Time : 0.0 sec. user=PCZ [2012-08-25 18:44:41] 849*2^1227187-1 is not prime. Res64: 0939656AAEE400C4 Time : 0.0 sec. user=PCZ [2012-08-25 18:45:15] 861*2^1227187-1 is not prime. Res64: 164B515617E68D2E Time : 0.0 sec. user=PCZ [2012-08-25 18:45:32] 889*2^1227187-1 is not prime. Res64: 6F3D809DBCB3950C Time : 0.0 sec. user=mdettweiler [2012-08-25 18:49:45] 841*2^1227185-1 is not prime. Res64: 09C89839C3892DAB Time : 0.0 sec. user=mdettweiler [2012-08-25 18:49:46] 847*2^1227185-1 is not prime. Res64: 60FD5A34FFA9A8C1 Time : 0.0 sec. user=mdettweiler [2012-08-25 18:51:33] 861*2^1227186-1 is not prime. Res64: 7044F8F058765AA6 Time : 0.0 sec. user=mdettweiler [2012-08-25 18:51:34] 917*2^1227186-1 is not prime. Res64: DF08B54650288B7A Time : 0.0 sec. user=PCZ [2012-08-25 18:54:51] 985*2^1227187-1 is not prime. Res64: 6636ACB6F6843117 Time : 0.0 sec. user=PCZ [2012-08-25 18:54:54] 729*2^1227188-1 is not prime. Res64: 3BF65C56E4880374 Time : 0.0 sec. user=PCZ [2012-08-25 18:56:35] 813*2^1227188-1 is not prime. Res64: 2A0783D13844BC80 Time : 0.0 sec. user=PCZ [2012-08-25 18:56:36] 869*2^1227188-1 is not prime. Res64: C05314100EE944BE Time : 0.0 sec. user=PCZ [2012-08-25 18:56:52] 893*2^1227188-1 is not prime. Res64: 665F76BA4F9AFE31 Time : 0.0 sec. user=PCZ [2012-08-25 18:56:56] 957*2^1227188-1 is not prime. Res64: 2398CF779B1652D2 Time : 0.0 sec. user=PCZ [2012-08-25 18:57:29] 963*2^1227188-1 is not prime. Res64: 109E9F9A3F1FDA5A Time : 0.0 sec. user=PCZ [2012-08-25 18:57:45] 685*2^1227189-1 is not prime. Res64: 1440B97046289832 Time : 0.0 sec. user=mdettweiler [2012-08-25 19:00:51] 923*2^1227186-1 is not prime. Res64: D9F33213C22DDA9F Time : 0.0 sec. user=mdettweiler [2012-08-25 19:01:00] 971*2^1227186-1 is not prime. Res64: 0C0F7C4D0D5B64D9 Time : 0.0 sec. user=PCZ [2012-08-25 19:06:59] 891*2^1227189-1 is not prime. Res64: A2CECCAEC3E9CE35 Time : 0.0 sec. user=PCZ [2012-08-25 19:07:03] 895*2^1227189-1 is not prime. Res64: 8683A2E4D69F55CE Time : 0.0 sec. user=PCZ [2012-08-25 19:08:34] 919*2^1227189-1 is not prime. Res64: 6C36ED5DA7ED4BE9 Time : 0.0 sec. user=PCZ [2012-08-25 19:08:36] 907*2^1227189-1 is not prime. Res64: E090EE114385550F Time : 0.0 sec. user=PCZ [2012-08-25 19:08:49] 951*2^1227189-1 is not prime. Res64: B7EDB684865ACC2A Time : 0.0 sec. user=PCZ [2012-08-25 19:08:50] 681*2^1227190-1 is not prime. Res64: DD32EF452B387BA0 Time : 0.0 sec. user=PCZ [2012-08-25 19:09:17] 731*2^1227190-1 is not prime. Res64: ABC07E99D860932A Time : 0.0 sec. user=PCZ [2012-08-25 19:09:38] 801*2^1227190-1 is not prime. Res64: 6DD388515A433AF3 Time : 0.0 sec. user=vaughan [2012-08-25 19:09:43] 601*2^1227187-1 is not prime. Res64: 5197735B4950AF0E Time : 0.0 sec. user=mdettweiler [2012-08-25 19:10:16] 765*2^1227189-1 is not prime. Res64: BC09F5D19BAD3F96 Time : 0.0 sec. user=mdettweiler [2012-08-25 19:10:18] 781*2^1227189-1 is not prime. Res64: 40E187B5D880C29F Time : 0.0 sec. user=mdettweiler [2012-08-25 19:12:04] 795*2^1227189-1 is not prime. Res64: 92E6571E2A32F5BE Time : 0.0 sec. user=mdettweiler [2012-08-25 19:12:05] 847*2^1227189-1 is not prime. Res64: 652FEE5F4B3D7AA5 Time : 0.0 sec. user=PCZ [2012-08-25 19:19:37] 759*2^1227191-1 is not prime. Res64: 0208623706ACACDE Time : 0.0 sec. user=PCZ [2012-08-25 19:19:38] 775*2^1227191-1 is not prime. Res64: 386D215C8B490FEC Time : 0.0 sec. user=PCZ [2012-08-25 19:20:46] 921*2^1227191-1 is not prime. Res64: C25BCBAD872F4FE8 Time : 0.0 sec. user=PCZ [2012-08-25 19:20:52] 955*2^1227191-1 is not prime. Res64: 31EF2CDF430411A9 Time : 0.0 sec. user=PCZ [2012-08-25 19:20:57] 683*2^1227192-1 is not prime. Res64: 307F65A31E837814 Time : 0.0 sec. user=PCZ [2012-08-25 19:20:58] 635*2^1227192-1 is not prime. Res64: FA1CFFFB0C443F15 Time : 0.0 sec. user=PCZ [2012-08-25 19:21:22] 759*2^1227192-1 is not prime. Res64: 2D75BB65591F6DB9 Time : 0.0 sec. user=PCZ [2012-08-25 19:21:48] 767*2^1227192-1 is not prime. Res64: 71C15B0F07A10E43 Time : 0.0 sec. user=mdettweiler [2012-08-25 19:30:25] 857*2^1227190-1 is not prime. Res64: 42B7A011E64DEE07 Time : 0.0 sec. user=mdettweiler [2012-08-25 19:30:38] 885*2^1227190-1 is not prime. Res64: 82632A7A4F877914 Time : 0.0 sec. user=mdettweiler [2012-08-25 19:30:54] 741*2^1227193-1 is not prime. Res64: B0F84102B9002209 Time : 0.0 sec. user=mdettweiler [2012-08-25 19:30:55] 745*2^1227193-1 is not prime. Res64: 26A68F65B285F8EF Time : 0.0 sec. user=PCZ [2012-08-25 19:31:44] 937*2^1227193-1 is not prime. Res64: 86F26431B7114CCB Time : 0.0 sec. user=PCZ [2012-08-25 19:31:46] 979*2^1227193-1 is not prime. Res64: 6D46CA751C34350B Time : 0.0 sec. user=mdettweiler [2012-08-25 19:32:38] 885*2^1227193-1 is not prime. Res64: F217591C0ECE3BC1 Time : 0.0 sec. user=mdettweiler [2012-08-25 19:32:38] 919*2^1227193-1 is not prime. Res64: 9CE776E88D3CDBC6 Time : 0.0 sec. user=PCZ [2012-08-25 19:32:53] 707*2^1227194-1 is not prime. Res64: 4BDF7C26A6FBF7CB Time : 0.0 sec. user=PCZ [2012-08-25 19:33:00] 827*2^1227194-1 is not prime. Res64: 0FC7080F4FA9E9C3 Time : 0.0 sec. user=PCZ [2012-08-25 19:33:06] 885*2^1227194-1 is not prime. Res64: DA615EC4CED60A8E Time : 0.0 sec. user=PCZ [2012-08-25 19:33:06] 861*2^1227194-1 is not prime. Res64: D15FA09C0E8F7591 Time : 0.0 sec. user=PCZ [2012-08-25 19:33:28] 887*2^1227194-1 is not prime. Res64: FC34EE4032214531 Time : 0.0 sec. user=PCZ [2012-08-25 19:33:54] 917*2^1227194-1 is not prime. Res64: 318AA71D6AE5D38A Time : 0.0 sec. user=PCZ [2012-08-25 19:43:51] 735*2^1227195-1 is not prime. Res64: A2241C5BCD88B508 Time : 0.0 sec. user=PCZ [2012-08-25 19:43:52] 913*2^1227195-1 is not prime. Res64: 825002515CBEDAC0 Time : 0.0 sec. user=PCZ [2012-08-25 19:44:59] 857*2^1227196-1 is not prime. Res64: 605A45FBCDFC8E34 Time : 0.0 sec. user=PCZ [2012-08-25 19:45:08] 905*2^1227196-1 is not prime. Res64: 506BE8E2688A9DA3 Time : 0.0 sec. user=PCZ [2012-08-25 19:45:12] 909*2^1227196-1 is not prime. Res64: AE972EC9349D5AF1 Time : 0.0 sec. user=PCZ [2012-08-25 19:45:14] 615*2^1227197-1 is not prime. Res64: B1125D88F3B71A8A Time : 0.0 sec. user=PCZ [2012-08-25 19:45:34] 627*2^1227197-1 is not prime. Res64: 5D9068631019E19E Time : 0.0 sec. user=PCZ [2012-08-25 19:46:03] 651*2^1227197-1 is not prime. Res64: 93471F53CF88F885 Time : 0.0 sec. user=vaughan [2012-08-25 19:47:25] 933*2^1227192-1 is not prime. Res64: 9A2A8C8EB2DF3EA2 Time : 0.0 sec. user=mdettweiler [2012-08-25 19:51:27] 619*2^1227195-1 is not prime. Res64: C6D7B14E4F4E4993 Time : 0.0 sec. user=mdettweiler [2012-08-25 19:51:28] 639*2^1227195-1 is not prime. Res64: B7BDA7169B24477D Time : 0.0 sec. user=mdettweiler [2012-08-25 19:53:11] 749*2^1227196-1 is not prime. Res64: 2014386643A35F5B Time : 0.0 sec. user=mdettweiler [2012-08-25 19:53:12] 773*2^1227196-1 is not prime. Res64: F36EBE90AE0EE0C0 Time : 0.0 sec. user=PCZ [2012-08-25 19:55:59] 759*2^1227197-1 is not prime. Res64: D9CD69DCD5EAB7CE Time : 0.0 sec. user=PCZ [2012-08-25 19:56:01] 799*2^1227197-1 is not prime. Res64: F6D4103EA1246015 Time : 0.0 sec. user=PCZ [2012-08-25 19:57:08] 879*2^1227197-1 is not prime. Res64: D90C978E02937F33 Time : 0.0 sec. user=PCZ [2012-08-25 19:57:17] 927*2^1227197-1 is not prime. Res64: 719129447FF6106F Time : 0.0 sec. user=PCZ [2012-08-25 19:57:20] 985*2^1227197-1 is not prime. Res64: 272369505C3507B0 Time : 0.0 sec. user=PCZ [2012-08-25 19:57:22] 967*2^1227197-1 is not prime. Res64: C3F69C65AA318F6C Time : 0.0 sec. user=PCZ [2012-08-25 19:57:43] 641*2^1227198-1 is not prime. Res64: AF628A3B0993EA79 Time : 0.0 sec. user=PCZ [2012-08-25 19:58:12] 657*2^1227198-1 is not prime. Res64: 9140CECFC7F49D56 Time : 0.0 sec. user=mdettweiler [2012-08-25 20:00:02] 923*2^1227194-1 is not prime. Res64: FA9841EA1D9C4D0F Time : 0.0 sec. user=mdettweiler [2012-08-25 20:00:16] 995*2^1227194-1 is not prime. Res64: 617F8F9B60F96197 Time : 0.0 sec. user=PCZ [2012-08-25 20:08:09] 977*2^1227198-1 is not prime. Res64: 4373FA956BED44A3 Time : 0.0 sec. user=PCZ [2012-08-25 20:08:12] 993*2^1227198-1 is not prime. Res64: 7DC7A5C5BC59CE0E Time : 0.0 sec. user=PCZ [2012-08-25 20:09:16] 771*2^1227199-1 is not prime. Res64: FC59D4DCF133E1B0 Time : 0.0 sec. user=PCZ [2012-08-25 20:09:29] 789*2^1227199-1 is not prime. Res64: 04997EDCCDA485BD Time : 0.0 sec. user=PCZ [2012-08-25 20:09:31] 885*2^1227199-1 is not prime. Res64: ACE26238CE961D89 Time : 0.0 sec. user=PCZ [2012-08-25 20:09:36] 909*2^1227199-1 is not prime. Res64: C7B39BBA757B0362 Time : 0.0 sec. user=PCZ [2012-08-25 20:09:51] 985*2^1227199-1 is not prime. Res64: 15FEBC73863124B8 Time : 0.0 sec. user=PCZ [2012-08-25 20:10:21] 999*2^1227199-1 is not prime. Res64: 6C30BF0803D9CA77 Time : 0.0 sec. user=mdettweiler [2012-08-25 20:12:00] 885*2^1227198-1 is not prime. Res64: 449F324DCACD0D48 Time : 0.0 sec. user=mdettweiler [2012-08-25 20:12:02] 893*2^1227198-1 is not prime. Res64: 2590AB24517AACB3 Time : 0.0 sec. user=mdettweiler [2012-08-25 20:13:44] 933*2^1227198-1 is not prime. Res64: ADF29A9D7DDCB008 Time : 0.0 sec. user=mdettweiler [2012-08-25 20:13:46] 971*2^1227198-1 is not prime. Res64: B0AACB82D47C2CD6 Time : 0.0 sec. user=PCZ [2012-08-25 20:20:25] 725*2^1227200-1 is not prime. Res64: 1E4E2E8A18182A81 Time : 0.0 sec. user=PCZ [2012-08-25 20:20:28] 747*2^1227200-1 is not prime. Res64: A722F5C1865CCE5C Time : 0.0 sec. user=PCZ [2012-08-25 20:21:28] 767*2^1227200-1 is not prime. Res64: 9624A3204730A82E Time : 0.0 sec. user=PCZ [2012-08-25 20:21:45] 855*2^1227200-1 is not prime. Res64: 4597E0611B3F05F0 Time : 0.0 sec. user=PCZ [2012-08-25 20:21:48] 917*2^1227200-1 is not prime. Res64: 37A57CA737E8BB7D Time : 0.0 sec. user=PCZ [2012-08-25 20:21:48] 945*2^1227200-1 is not prime. Res64: 712DC22CCFFF7CF0 Time : 0.0 sec. user=PCZ [2012-08-25 20:21:59] 751*2^1227201-1 is not prime. Res64: FDCC9995C2A597B7 Time : 0.0 sec. user=PCZ [2012-08-25 20:22:35] 795*2^1227201-1 is not prime. Res64: 794DDB590E732218 Time : 0.0 sec. user=vaughan [2012-08-25 20:25:06] 707*2^1227198-1 is not prime. Res64: F5A8A073AE17FC83 Time : 0.0 sec. user=mdettweiler [2012-08-25 20:29:37] 635*2^1227200-1 is not prime. Res64: 157CC36E812BB38B Time : 0.0 sec. user=mdettweiler [2012-08-25 20:29:47] 669*2^1227200-1 is not prime. Res64: 31F5893A6C5E4596 Time : 0.0 sec. user=PCZ [2012-08-25 20:32:32] 737*2^1227202-1 is not prime. Res64: 9BC17D6FF04EFACC Time : 0.0 sec. user=PCZ [2012-08-25 20:32:34] 665*2^1227202-1 is not prime. Res64: 05DE4E0F94B485B9 Time : 0.0 sec. user=mdettweiler [2012-08-25 20:32:42] 829*2^1227201-1 is not prime. Res64: C0CBDF6A8D27CCC4 Time : 0.0 sec. user=mdettweiler [2012-08-25 20:32:43] 921*2^1227201-1 is not prime. Res64: FE1001E3C349004F Time : 0.0 sec. user=PCZ [2012-08-25 20:33:34] 777*2^1227202-1 is not prime. Res64: 2742664C1A68EC74 Time : 0.0 sec. user=PCZ [2012-08-25 20:33:52] 945*2^1227202-1 is not prime. Res64: C863180AD80CAACB Time : 0.0 sec. user=PCZ [2012-08-25 20:33:56] 615*2^1227203-1 is not prime. Res64: D26A2929550EB86F Time : 0.0 sec. user=PCZ [2012-08-25 20:33:57] 619*2^1227203-1 is not prime. Res64: EA7557B7D21C44BF Time : 0.0 sec. user=PCZ [2012-08-25 20:34:08] 735*2^1227203-1 is not prime. Res64: D04D28C113ADCAAB Time : 0.0 sec. user=mdettweiler [2012-08-25 20:34:24] 635*2^1227202-1 is not prime. Res64: 218C1ABD9113B353 Time : 0.0 sec. user=mdettweiler [2012-08-25 20:34:25] 645*2^1227202-1 is not prime. Res64: ABD3CF005F6C06BD Time : 0.0 sec. user=PCZ [2012-08-25 20:34:46] 759*2^1227203-1 is not prime. Res64: 39F5610FE21FE2B6 Time : 0.0 sec. user=PCZ [2012-08-25 20:44:41] 993*2^1227203-1 is not prime. Res64: 9C56C8D3AE12CE87 Time : 0.0 sec. user=PCZ [2012-08-25 20:44:48] 657*2^1227204-1 is not prime. Res64: 9F5071FB50CC45FF Time : 0.0 sec. user=PCZ [2012-08-25 20:45:47] 809*2^1227204-1 is not prime. Res64: 9368FFFE0FC5D945 Time : 0.0 sec. user=PCZ [2012-08-25 20:46:02] 825*2^1227204-1 is not prime. Res64: 3B0D770FC61A106F Time : 0.0 sec. user=PCZ [2012-08-25 20:46:07] 887*2^1227204-1 is not prime. Res64: EBC8364A2E0B8394 Time : 0.0 sec. user=PCZ [2012-08-25 20:46:09] 903*2^1227204-1 is not prime. Res64: 6A6C7B0BC47B4015 Time : 0.0 sec. user=PCZ [2012-08-25 20:46:19] 929*2^1227204-1 is not prime. Res64: 8D69435A70906680 Time : 0.0 sec. user=PCZ [2012-08-25 20:47:00] 983*2^1227204-1 is not prime. Res64: 7AC9CEF7B2218120 Time : 0.0 sec. user=mdettweiler [2012-08-25 20:53:13] 663*2^1227204-1 is not prime. Res64: C47ECEA663F630A2 Time : 0.0 sec. user=mdettweiler [2012-08-25 20:53:13] 719*2^1227204-1 is not prime. Res64: 5B5DE0804B359334 Time : 0.0 sec. user=mdettweiler [2012-08-25 20:54:56] 935*2^1227204-1 is not prime. Res64: 757D10CE7F86D8CC Time : 0.0 sec. user=mdettweiler [2012-08-25 20:54:57] 975*2^1227204-1 is not prime. Res64: E47FF0639E5AE187 Time : 0.0 sec. user=PCZ [2012-08-25 20:56:51] 625*2^1227205-1 is not prime. Res64: 7A87351D03D1A884 Time : 0.0 sec. user=PCZ [2012-08-25 20:56:55] 645*2^1227205-1 is not prime. Res64: 8FE2ABE15E4A20C9 Time : 0.0 sec. user=PCZ [2012-08-25 20:57:56] 717*2^1227205-1 is not prime. Res64: 6597C7EB8598E571 Time : 0.0 sec. user=PCZ [2012-08-25 20:58:13] 819*2^1227205-1 is not prime. Res64: 2D7D33FE402C6FDE Time : 0.0 sec. user=PCZ [2012-08-25 20:58:18] 925*2^1227205-1 is not prime. Res64: D0DB261BB95B8809 Time : 0.0 sec. user=PCZ [2012-08-25 20:58:19] 867*2^1227205-1 is not prime. Res64: 8924AE86B3607DE4 Time : 0.0 sec. user=PCZ [2012-08-25 20:58:28] 975*2^1227205-1 is not prime. Res64: 495C712ADD3914B8 Time : 0.0 sec. user=PCZ [2012-08-25 20:59:09] 617*2^1227206-1 is not prime. Res64: BD66F41E9D1AA210 Time : 0.0 sec. user=mdettweiler [2012-08-25 20:59:09] 855*2^1227203-1 is not prime. Res64: E6122D856869AE89 Time : 0.0 sec. user=mdettweiler [2012-08-25 20:59:16] 943*2^1227203-1 is not prime. Res64: F81D2768DCAAC3F7 Time : 0.0 sec. user=vaughan [2012-08-25 21:02:46] 829*2^1227203-1 is not prime. Res64: 32FCF92A4EA0A705 Time : 0.0 sec. user=PCZ [2012-08-25 21:09:00] 639*2^1227208-1 is not prime. Res64: 4EBF4BC8C6CF4495 Time : 0.0 sec. user=PCZ [2012-08-25 21:09:05] 707*2^1227208-1 is not prime. Res64: 9104C2EB95393DBE Time : 0.0 sec. user=PCZ [2012-08-25 21:10:02] 755*2^1227208-1 is not prime. Res64: EB752FB5D251AE2D Time : 0.0 sec. user=PCZ [2012-08-25 21:10:23] 797*2^1227208-1 is not prime. Res64: B02E2FA4E81AF8F4 Time : 0.0 sec. user=PCZ [2012-08-25 21:10:30] 869*2^1227208-1 is not prime. Res64: 41111ED562CBC155 Time : 0.0 sec. user=PCZ [2012-08-25 21:10:34] 843*2^1227208-1 is not prime. Res64: 9AEEC3181208AA4D Time : 0.0 sec. user=PCZ [2012-08-25 21:10:34] 989*2^1227208-1 is not prime. Res64: 4666818E0E4D3CC9 Time : 0.0 sec. user=PCZ [2012-08-25 21:11:12] 645*2^1227209-1 is not prime. Res64: B1F726BD9B6DC7BC Time : 0.0 sec. user=mdettweiler [2012-08-25 21:13:47] 851*2^1227206-1 is not prime. Res64: C43BD754EFA29B5F Time : 0.0 sec. user=mdettweiler [2012-08-25 21:13:49] 923*2^1227206-1 is not prime. Res64: B615936AB337A513 Time : 0.0 sec. user=mdettweiler [2012-08-25 21:15:29] 871*2^1227207-1 is not prime. Res64: 6498807774E3A43B Time : 0.0 sec. user=mdettweiler [2012-08-25 21:15:29] 919*2^1227207-1 is not prime. Res64: A1234C645C3767E0 Time : 0.0 sec. user=PCZ [2012-08-25 21:21:15] 787*2^1227209-1 is not prime. Res64: C4E9BD2CD0E07395 Time : 0.0 sec. user=PCZ [2012-08-25 21:21:17] 879*2^1227209-1 is not prime. Res64: 7030572AD2F4AC52 Time : 0.0 sec. user=PCZ [2012-08-25 21:22:11] 925*2^1227209-1 is not prime. Res64: 4AF792382241382F Time : 0.0 sec. user=PCZ [2012-08-25 21:22:40] 987*2^1227209-1 is not prime. Res64: D652810BF28852FC Time : 0.0 sec. user=PCZ [2012-08-25 21:22:44] 635*2^1227210-1 is not prime. Res64: 9DE45390EA47BBEE Time : 0.0 sec. user=PCZ [2012-08-25 21:22:49] 647*2^1227210-1 is not prime. Res64: 8760A0843DF785C6 Time : 0.0 sec. user=PCZ [2012-08-25 21:22:50] 681*2^1227210-1 is not prime. Res64: CF0E93656AE62047 Time : 0.0 sec. user=PCZ [2012-08-25 21:23:24] 741*2^1227210-1 is not prime. Res64: ECFFA8C3E0E3C011 Time : 0.0 sec. user=mdettweiler [2012-08-25 21:28:44] 705*2^1227209-1 is not prime. Res64: 2007A67CEDF29B8C Time : 0.0 sec. user=mdettweiler [2012-08-25 21:28:53] 711*2^1227209-1 is not prime. Res64: 2913D43BF90BF554 Time : 0.0 sec. user=mdettweiler [2012-08-25 21:34:19] 755*2^1227210-1 is not prime. Res64: 01A85143CFE05E19 Time : 0.0 sec. user=mdettweiler [2012-08-25 21:34:20] 777*2^1227210-1 is not prime. Res64: 0BB703D0EDA545B2 Time : 0.0 sec. user=mdettweiler [2012-08-25 21:36:00] 783*2^1227210-1 is not prime. Res64: BDACDB200D12A60C Time : 0.0 sec. user=mdettweiler [2012-08-25 21:36:00] 803*2^1227210-1 is not prime. Res64: B2FF4C3DF1E89B7D Time : 0.0 sec. user=vaughan [2012-08-25 21:40:37] 735*2^1227209-1 is not prime. Res64: 09F0A059C2CB8EA5 Time : 0.0 sec. user=mdettweiler [2012-08-25 21:54:51] 885*2^1227212-1 is not prime. Res64: 642D1720850806BF Time : 0.0 sec. user=mdettweiler [2012-08-25 21:54:52] 899*2^1227212-1 is not prime. Res64: 3FCDE533CB55B6F7 Time : 0.0 sec. user=mdettweiler [2012-08-25 21:56:31] 621*2^1227213-1 is not prime. Res64: 925D9ECB46C6F237 Time : 0.0 sec. user=mdettweiler [2012-08-25 21:56:31] 751*2^1227213-1 is not prime. Res64: 77607FBF07E5F749 Time : 0.0 sec. user=mdettweiler [2012-08-25 21:58:21] 855*2^1227212-1 is not prime. Res64: 13B2C6AEAC7DE1DB Time : 0.0 sec. user=mdettweiler [2012-08-25 21:58:24] 879*2^1227212-1 is not prime. Res64: B94961C028D9E5FE Time : 0.0 sec. user=mdettweiler [2012-08-25 22:15:23] 969*2^1227213-1 is not prime. Res64: 900B8F5D7DBAEC28 Time : 0.0 sec. user=mdettweiler [2012-08-25 22:15:24] 985*2^1227213-1 is not prime. Res64: 62F2FE7396CF20B2 Time : 0.0 sec. user=mdettweiler [2012-08-25 22:17:02] 705*2^1227214-1 is not prime. Res64: 23D394453417C316 Time : 0.0 sec. user=mdettweiler [2012-08-25 22:17:02] 783*2^1227214-1 is not prime. Res64: CE5281B5C3C1C950 Time : 0.0 sec. user=vaughan [2012-08-25 22:18:10] 849*2^1227213-1 is not prime. Res64: C6B202530FF11C21 Time : 0.0 sec. user=mdettweiler [2012-08-25 22:27:54] 821*2^1227214-1 is not prime. Res64: 8280C086AC64B3A8 Time : 0.0 sec. user=mdettweiler [2012-08-25 22:27:55] 903*2^1227214-1 is not prime. Res64: B1BDA98F418C7728 Time : 0.0 sec. user=mdettweiler [2012-08-25 22:35:58] 917*2^1227214-1 is not prime. Res64: 7E54583FA6E1B388 Time : 0.0 sec. user=mdettweiler [2012-08-25 22:35:59] 983*2^1227214-1 is not prime. Res64: D5F59524A3A54D7F Time : 0.0 sec. user=mdettweiler [2012-08-25 22:37:32] 693*2^1227215-1 is not prime. Res64: 6E140D0F2895453E Time : 0.0 sec. user=mdettweiler [2012-08-25 22:37:33] 735*2^1227215-1 is not prime. Res64: 73FCD914C17713BE Time : 0.0 sec. user=vaughan [2012-08-25 22:55:38] 885*2^1227215-1 is not prime. Res64: F90110B38E4666A5 Time : 0.0 sec. user=mdettweiler [2012-08-25 22:56:30] 735*2^1227216-1 is not prime. Res64: 73E2FB1D484EE72E Time : 0.0 sec. user=mdettweiler [2012-08-25 22:56:31] 747*2^1227216-1 is not prime. Res64: 4550E03A8D71563C Time : 0.0 sec. user=mdettweiler [2012-08-25 22:57:30] 949*2^1227215-1 is not prime. Res64: 5A4EFCB586CD2688 Time : 0.0 sec. user=mdettweiler [2012-08-25 22:57:33] 717*2^1227216-1 is not prime. Res64: D92926F4BEA352C7 Time : 0.0 sec. user=mdettweiler [2012-08-25 22:58:04] 779*2^1227216-1 is not prime. Res64: 7A1616E5D7D86ADA Time : 0.0 sec. user=mdettweiler [2012-08-25 22:58:05] 815*2^1227216-1 is not prime. Res64: 1A9D42A0FA2BBD25 Time : 0.0 sec. user=mdettweiler [2012-08-25 23:17:02] 945*2^1227216-1 is not prime. Res64: 346A171DDC368FDA Time : 0.0 sec. user=mdettweiler [2012-08-25 23:17:03] 607*2^1227217-1 is not prime. Res64: F5FEE7BB6CD65796 Time : 0.0 sec. user=mdettweiler [2012-08-25 23:18:37] 921*2^1227218-1 is not prime. Res64: 7DF6E35791DAE1DE Time : 0.0 sec. user=mdettweiler [2012-08-25 23:18:37] 977*2^1227218-1 is not prime. Res64: C0904AA1907FF7E0 Time : 0.0 sec. user=mdettweiler [2012-08-25 23:27:03] 871*2^1227217-1 is not prime. Res64: F65223655C9AF3DC Time : 0.0 sec. user=mdettweiler [2012-08-25 23:27:10] 603*2^1227218-1 is not prime. Res64: E455F5C025AD737C Time : 0.0 sec. user=vaughan [2012-08-25 23:33:08] 849*2^1227216-1 is not prime. Res64: 081366840E523D87 Time : 0.0 sec. user=mdettweiler [2012-08-25 23:37:40] 635*2^1227220-1 is not prime. Res64: CCBA735EB184372F Time : 0.0 sec. user=mdettweiler [2012-08-25 23:37:40] 665*2^1227220-1 is not prime. Res64: B9D0EC70B5432452 Time : 0.0 sec. user=mdettweiler [2012-08-25 23:39:08] 695*2^1227220-1 is not prime. Res64: 14DA552FE6C87022 Time : 0.0 sec. user=mdettweiler [2012-08-25 23:39:09] 735*2^1227220-1 is not prime. Res64: 049FDAEE8BD3D387 Time : 0.0 sec. user=mdettweiler [2012-08-25 23:56:35] 957*2^1227220-1 is not prime. Res64: C2540759779C5C03 Time : 0.0 sec. user=mdettweiler [2012-08-25 23:56:43] 691*2^1227221-1 is not prime. Res64: CDD8C405758C130F Time : 0.0 sec. user=mdettweiler [2012-08-25 23:58:12] 677*2^1227222-1 is not prime. Res64: 4AE1CD3717E22A34 Time : 0.0 sec. user=mdettweiler [2012-08-25 23:58:12] 873*2^1227222-1 is not prime. Res64: 52E9EB0D4ECC0425 Time : 0.0 sec. user=mdettweiler [2012-08-25 23:59:40] 893*2^1227222-1 is not prime. Res64: 8602E22DEEE0E4A7 Time : 0.0 sec. user=mdettweiler [2012-08-25 23:59:40] 917*2^1227222-1 is not prime. Res64: 5C803A71F34B6936 Time : 0.0 sec.