user=mdettweiler [2012-12-28 00:09:38] 961*2^1238173-1 is not prime. Res64: 4080741C0CF377F4 Time : 0.0 sec. user=mdettweiler [2012-12-28 00:09:39] 711*2^1238174-1 is not prime. Res64: 0C91EA8978F74FB2 Time : 0.0 sec. user=mdettweiler [2012-12-28 00:17:43] 797*2^1238174-1 is not prime. Res64: 0472FD0DA121DE80 Time : 0.0 sec. user=mdettweiler [2012-12-28 00:17:44] 813*2^1238174-1 is not prime. Res64: A9A912A02CE15CA7 Time : 0.0 sec. user=mdettweiler [2012-12-28 00:27:07] 897*2^1238174-1 is not prime. Res64: 6D8F7CC608470535 Time : 0.0 sec. user=mdettweiler [2012-12-28 00:27:07] 983*2^1238174-1 is not prime. Res64: 2AA7E532AFD252D0 Time : 0.0 sec. user=vaughan [2012-12-28 00:28:38] 915*2^1238173-1 is not prime. Res64: FF324B87B61A4843 Time : 0.0 sec. user=mdettweiler [2012-12-28 00:35:04] 651*2^1238175-1 is not prime. Res64: CA81BA7848DFC471 Time : 0.0 sec. user=mdettweiler [2012-12-28 00:35:05] 775*2^1238175-1 is not prime. Res64: 38203B5A4DA62A00 Time : 0.0 sec. user=mdettweiler [2012-12-28 00:44:26] 653*2^1238176-1 is not prime. Res64: F25ABCD2C30513FC Time : 0.0 sec. user=mdettweiler [2012-12-28 00:44:26] 855*2^1238176-1 is not prime. Res64: 7D4026C49DABDABC Time : 0.0 sec. user=mdettweiler [2012-12-28 00:52:23] 873*2^1238176-1 is not prime. Res64: 1390DD0E061BE650 Time : 0.0 sec. user=mdettweiler [2012-12-28 00:52:24] 927*2^1238176-1 is not prime. Res64: 4914C92D56810BA0 Time : 0.0 sec. user=mdettweiler [2012-12-28 01:01:45] 675*2^1238177-1 is not prime. Res64: CB4E22E52E4B8785 Time : 0.0 sec. user=mdettweiler [2012-12-28 01:01:46] 735*2^1238177-1 is not prime. Res64: 4B43C38A4580898C Time : 0.0 sec. user=vaughan [2012-12-28 01:06:27] 857*2^1238176-1 is not prime. Res64: 63055DCD73EDEFA7 Time : 0.0 sec. user=mdettweiler [2012-12-28 01:09:45] 633*2^1238178-1 is not prime. Res64: 14EEE05788880C64 Time : 0.0 sec. user=mdettweiler [2012-12-28 01:09:46] 641*2^1238178-1 is not prime. Res64: C1A78474A2A54C1B Time : 0.0 sec. user=mdettweiler [2012-12-28 01:19:19] 695*2^1238178-1 is not prime. Res64: B91AF66352C31F33 Time : 0.0 sec. user=mdettweiler [2012-12-28 01:19:20] 875*2^1238178-1 is not prime. Res64: F83D8F733BBF654B Time : 0.0 sec. user=mdettweiler [2012-12-28 01:27:08] 945*2^1238178-1 is not prime. Res64: 0FAC837781157B13 Time : 0.0 sec. user=mdettweiler [2012-12-28 01:27:09] 951*2^1238178-1 is not prime. Res64: C24A2484E683D752 Time : 0.0 sec. user=mdettweiler [2012-12-28 01:36:39] 1001*2^1238178-1 is not prime. Res64: 4EA1A7CE4AAB70B5 Time : 0.0 sec. user=mdettweiler [2012-12-28 01:36:40] 703*2^1238179-1 is not prime. Res64: 8015DB341239F64A Time : 0.0 sec. user=vaughan [2012-12-28 01:44:17] 905*2^1238178-1 is not prime. Res64: 0E4F6CCB36DC4FC7 Time : 0.0 sec. user=mdettweiler [2012-12-28 01:44:27] 723*2^1238179-1 is not prime. Res64: 19FA3C0C562D9F64 Time : 0.0 sec. user=mdettweiler [2012-12-28 01:44:27] 741*2^1238179-1 is not prime. Res64: 386F144F3FA1850C Time : 0.0 sec. user=mdettweiler [2012-12-28 01:53:59] 745*2^1238179-1 is not prime. Res64: 325C280CEB244819 Time : 0.0 sec. user=mdettweiler [2012-12-28 01:54:00] 689*2^1238180-1 is not prime. Res64: 1ADBAB29C5756151 Time : 0.0 sec. user=mdettweiler [2012-12-28 02:01:46] 797*2^1238180-1 is not prime. Res64: CC9634CC245F73BD Time : 0.0 sec. user=mdettweiler [2012-12-28 02:01:47] 927*2^1238180-1 is not prime. Res64: 2DCA23F0DA47A799 Time : 0.0 sec. user=mdettweiler [2012-12-28 02:11:22] 609*2^1238181-1 is not prime. Res64: F9F9E583E0D359C0 Time : 0.0 sec. user=mdettweiler [2012-12-28 02:11:24] 741*2^1238181-1 is not prime. Res64: 3A5783F6D3F5A8CF Time : 0.0 sec. user=mdettweiler [2012-12-28 02:19:10] 847*2^1238181-1 is not prime. Res64: C6604677161B9B6C Time : 0.0 sec. user=mdettweiler [2012-12-28 02:19:10] 937*2^1238181-1 is not prime. Res64: 5CE7758D96B27AEA Time : 0.0 sec. user=vaughan [2012-12-28 02:22:03] 777*2^1238180-1 is not prime. Res64: 845E9D507EE850B4 Time : 0.0 sec. user=mdettweiler [2012-12-28 02:29:09] 987*2^1238181-1 is not prime. Res64: 06C2081DA2F85BFC Time : 0.0 sec. user=mdettweiler [2012-12-28 02:29:10] 635*2^1238182-1 is not prime. Res64: 981940B215BF2867 Time : 0.0 sec. user=mdettweiler [2012-12-28 02:36:29] 747*2^1238182-1 is not prime. Res64: 66FE06EE4A664E78 Time : 0.0 sec. user=mdettweiler [2012-12-28 02:36:30] 785*2^1238182-1 is not prime. Res64: 3A320BDB884BCDB3 Time : 0.0 sec. user=mdettweiler [2012-12-28 02:46:31] 975*2^1238182-1 is not prime. Res64: 25D0E57DD91E2E4D Time : 0.0 sec. user=mdettweiler [2012-12-28 02:46:32] 981*2^1238182-1 is not prime. Res64: 9C56585D9EBA5613 Time : 0.0 sec. user=mdettweiler [2012-12-28 02:54:02] 987*2^1238182-1 is not prime. Res64: BCDB09D8945CD1A6 Time : 0.0 sec. user=mdettweiler [2012-12-28 02:54:03] 609*2^1238183-1 is not prime. Res64: 924F538C40037B6E Time : 0.0 sec. user=vaughan [2012-12-28 02:59:48] 885*2^1238182-1 is not prime. Res64: 1B12CE87733821DA Time : 0.0 sec. user=mdettweiler [2012-12-28 03:04:03] 615*2^1238183-1 is not prime. Res64: 02E952DA431ACF80 Time : 0.0 sec. user=mdettweiler [2012-12-28 03:04:06] 829*2^1238183-1 is not prime. Res64: 86E85B1E624FB9F1 Time : 0.0 sec. user=mdettweiler [2012-12-28 03:11:30] 949*2^1238183-1 is not prime. Res64: 056C02AE05EBF448 Time : 0.0 sec. user=mdettweiler [2012-12-28 03:11:31] 963*2^1238183-1 is not prime. Res64: 1CA2B19F0DD3A556 Time : 0.0 sec. user=mdettweiler [2012-12-28 03:21:46] 843*2^1238184-1 is not prime. Res64: A19D0DBDA61F962D Time : 0.0 sec. user=mdettweiler [2012-12-28 03:21:46] 667*2^1238185-1 is not prime. Res64: 4BA741B8FE72ED5F Time : 0.0 sec. user=mdettweiler [2012-12-28 03:28:57] 687*2^1238185-1 is not prime. Res64: 0B857D8BD6A96F30 Time : 0.0 sec. user=mdettweiler [2012-12-28 03:28:57] 705*2^1238185-1 is not prime. Res64: B91912AB60A03CFD Time : 0.0 sec. user=vaughan [2012-12-28 03:37:38] 707*2^1238184-1 is not prime. Res64: B87F0D44C874A203 Time : 0.0 sec. user=mdettweiler [2012-12-28 03:39:07] 717*2^1238185-1 is not prime. Res64: 3299193C58643F71 Time : 0.0 sec. user=mdettweiler [2012-12-28 03:39:10] 721*2^1238185-1 is not prime. Res64: 4540449BFA046F28 Time : 0.0 sec. user=mdettweiler [2012-12-28 03:46:16] 771*2^1238185-1 is not prime. Res64: 27C1A8BE9E51AC56 Time : 0.0 sec. user=mdettweiler [2012-12-28 03:46:17] 855*2^1238185-1 is not prime. Res64: 5303DF7C0B9A843D Time : 0.0 sec. user=mdettweiler [2012-12-28 03:56:31] 867*2^1238185-1 is not prime. Res64: 0DD58C9B6ABA35E9 Time : 0.0 sec. user=mdettweiler [2012-12-28 03:56:32] 937*2^1238185-1 is not prime. Res64: A24F79140F74C863 Time : 0.0 sec. user=mdettweiler [2012-12-28 04:03:39] 957*2^1238185-1 is not prime. Res64: 5F355D6E6AEBC265 Time : 0.0 sec. user=mdettweiler [2012-12-28 04:03:44] 975*2^1238185-1 is not prime. Res64: F5DA1F8332B9D25E Time : 0.0 sec. user=mdettweiler [2012-12-28 04:13:50] 999*2^1238185-1 is not prime. Res64: 1854E96A3A94B0EE Time : 0.0 sec. user=mdettweiler [2012-12-28 04:13:51] 707*2^1238186-1 is not prime. Res64: 89FC6347C3F6BBD2 Time : 0.0 sec. user=vaughan [2012-12-28 04:15:38] 861*2^1238185-1 is not prime. Res64: 2AD1FA5A5CF39BAA Time : 0.0 sec. user=mdettweiler [2012-12-28 04:21:36] 767*2^1238186-1 is not prime. Res64: CA32CB64E6EEC0A7 Time : 0.0 sec. user=mdettweiler [2012-12-28 04:21:37] 825*2^1238186-1 is not prime. Res64: 55B59B027DF20DCC Time : 0.0 sec. user=mdettweiler [2012-12-28 04:31:19] 911*2^1238186-1 is not prime. Res64: 4E4DD17A93FC370F Time : 0.0 sec. user=mdettweiler [2012-12-28 04:31:20] 923*2^1238186-1 is not prime. Res64: 2F62C9F6949A823D Time : 0.0 sec. user=mdettweiler [2012-12-28 04:38:56] 651*2^1238187-1 is not prime. Res64: 2A15D5CEFEFA7172 Time : 0.0 sec. user=mdettweiler [2012-12-28 04:38:57] 741*2^1238187-1 is not prime. Res64: 6F994F6EF30D64E3 Time : 0.0 sec. user=mdettweiler [2012-12-28 04:48:44] 751*2^1238187-1 is not prime. Res64: 033B8CE7785D7514 Time : 0.0 sec. user=mdettweiler [2012-12-28 04:48:44] 795*2^1238187-1 is not prime. Res64: 9361977E1868B19D Time : 0.0 sec. user=vaughan [2012-12-28 04:53:25] 971*2^1238186-1 is not prime. Res64: DA3161B4F2F8340F Time : 0.0 sec. user=mdettweiler [2012-12-28 04:56:24] 909*2^1238187-1 is not prime. Res64: E94EC603D0D4D818 Time : 0.0 sec. user=mdettweiler [2012-12-28 04:56:24] 931*2^1238187-1 is not prime. Res64: BB65CB79275642A7 Time : 0.0 sec. user=juhehe [2012-12-28 05:02:20] 609*2^1238187-1 is not prime. Res64: CF33A8779373A86C Time : 0.0 sec. user=mdettweiler [2012-12-28 05:06:05] 605*2^1238188-1 is not prime. Res64: 1880DE84B422AC05 Time : 0.0 sec. user=mdettweiler [2012-12-28 05:06:08] 615*2^1238188-1 is not prime. Res64: EC3EC71C4711E38E Time : 0.0 sec. user=mdettweiler [2012-12-28 05:13:43] 663*2^1238188-1 is not prime. Res64: 9BE5C61CCADDB262 Time : 0.0 sec. user=mdettweiler [2012-12-28 05:13:44] 695*2^1238188-1 is not prime. Res64: F870501988D39028 Time : 0.0 sec. user=mdettweiler [2012-12-28 05:23:37] 735*2^1238188-1 is not prime. Res64: A252F329B8FF9B11 Time : 0.0 sec. user=mdettweiler [2012-12-28 05:23:37] 743*2^1238188-1 is not prime. Res64: A1FED4C21A60E348 Time : 0.0 sec. user=mdettweiler [2012-12-28 05:31:08] 827*2^1238188-1 is not prime. Res64: D258946512A46E7F Time : 0.0 sec. user=mdettweiler [2012-12-28 05:31:10] 843*2^1238188-1 is not prime. Res64: EA78BC433BB3DC02 Time : 0.0 sec. user=vaughan [2012-12-28 05:31:17] 623*2^1238188-1 is not prime. Res64: E42FABA4B81D2D43 Time : 0.0 sec. user=mdettweiler [2012-12-28 05:40:56] 957*2^1238188-1 is not prime. Res64: 6339FB5FB47AD074 Time : 0.0 sec. user=mdettweiler [2012-12-28 05:40:57] 989*2^1238188-1 is not prime. Res64: 6062097296EBA6A4 Time : 0.0 sec. user=mdettweiler [2012-12-28 05:48:33] 619*2^1238189-1 is not prime. Res64: 17FD82FD9340FE55 Time : 0.0 sec. user=mdettweiler [2012-12-28 05:48:34] 621*2^1238189-1 is not prime. Res64: 5224F032FE382307 Time : 0.0 sec. user=mdettweiler [2012-12-28 05:58:15] 645*2^1238189-1 is not prime. Res64: 353D634ED6CDB1CB Time : 0.0 sec. user=mdettweiler [2012-12-28 05:58:16] 847*2^1238189-1 is not prime. Res64: D3BC524034990DEF Time : 0.0 sec. user=mdettweiler [2012-12-28 06:05:52] 641*2^1238190-1 is not prime. Res64: 8A087A1915AC0AB5 Time : 0.0 sec. user=mdettweiler [2012-12-28 06:05:53] 717*2^1238190-1 is not prime. Res64: 92402EB5363ABCF5 Time : 0.0 sec. user=vaughan [2012-12-28 06:09:09] 627*2^1238189-1 is not prime. Res64: DD45B64BF66844EA Time : 0.0 sec. user=mdettweiler [2012-12-28 06:15:35] 723*2^1238190-1 is not prime. Res64: 1822FC9268CC0E7F Time : 0.0 sec. user=mdettweiler [2012-12-28 06:15:35] 795*2^1238190-1 is not prime. Res64: 592E2D06622C5E2E Time : 0.0 sec. user=mdettweiler [2012-12-28 06:23:13] 801*2^1238190-1 is not prime. Res64: 80EFB671A1338C61 Time : 0.0 sec. user=mdettweiler [2012-12-28 06:23:13] 945*2^1238190-1 is not prime. Res64: 0E148D626726C403 Time : 0.0 sec. user=juhehe [2012-12-28 06:26:44] 985*2^1238189-1 is not prime. Res64: 3928E0CFA4336E23 Time : 0.0 sec. user=mdettweiler [2012-12-28 06:32:54] 709*2^1238191-1 is not prime. Res64: A8D4405D24C7AB7B Time : 0.0 sec. user=mdettweiler [2012-12-28 06:32:54] 783*2^1238191-1 is not prime. Res64: 18BB3C63D9A2A563 Time : 0.0 sec. user=mdettweiler [2012-12-28 06:40:32] 789*2^1238191-1 is not prime. Res64: F8B42C514F18BBB2 Time : 0.0 sec. user=mdettweiler [2012-12-28 06:40:33] 933*2^1238191-1 is not prime. Res64: 25F37FB9BAA9B110 Time : 0.0 sec. user=vaughan [2012-12-28 06:47:06] 681*2^1238191-1 is not prime. Res64: 22D0A801E9717DB1 Time : 0.0 sec. user=mdettweiler [2012-12-28 06:50:13] 943*2^1238191-1 is not prime. Res64: 639D861A003FBDC7 Time : 0.0 sec. user=mdettweiler [2012-12-28 06:50:14] 975*2^1238191-1 is not prime. Res64: A344CAD31BE51AA7 Time : 0.0 sec. user=mdettweiler [2012-12-28 06:57:51] 979*2^1238191-1 is not prime. Res64: CA44779435058BC2 Time : 0.0 sec. user=mdettweiler [2012-12-28 06:57:51] 605*2^1238192-1 is not prime. Res64: FD286E85B5E643C8 Time : 0.0 sec. user=mdettweiler [2012-12-28 07:07:33] 665*2^1238192-1 is not prime. Res64: CC5FE9AF847504F7 Time : 0.0 sec. user=mdettweiler [2012-12-28 07:07:34] 683*2^1238192-1 is not prime. Res64: 090704362B8C1EED Time : 0.0 sec. user=mdettweiler [2012-12-28 07:15:11] 759*2^1238192-1 is not prime. Res64: 7DA91E773011840C Time : 0.0 sec. user=mdettweiler [2012-12-28 07:15:11] 827*2^1238192-1 is not prime. Res64: A739EF7D52938B1C Time : 0.0 sec. user=vaughan [2012-12-28 07:24:55] 617*2^1238192-1 is not prime. Res64: EA3245C1F64919FC Time : 0.0 sec. user=mdettweiler [2012-12-28 07:25:01] 935*2^1238192-1 is not prime. Res64: 6F8FD0F17C29B2E2 Time : 0.0 sec. user=mdettweiler [2012-12-28 07:25:01] 957*2^1238192-1 is not prime. Res64: 3FEC62E009CBE370 Time : 0.0 sec. user=mdettweiler [2012-12-28 07:32:30] 745*2^1238193-1 is not prime. Res64: 21416C87D682C3C0 Time : 0.0 sec. user=mdettweiler [2012-12-28 07:32:32] 765*2^1238193-1 is not prime. Res64: E8BA951895E42D2D Time : 0.0 sec. user=mdettweiler [2012-12-28 07:42:20] 945*2^1238193-1 is not prime. Res64: 5895F2BDF0CC3738 Time : 0.0 sec. user=mdettweiler [2012-12-28 07:42:20] 717*2^1238194-1 is not prime. Res64: D7619BD881EEB120 Time : 0.0 sec. user=mdettweiler [2012-12-28 07:49:53] 755*2^1238194-1 is not prime. Res64: 3E3051420ED4CE47 Time : 0.0 sec. user=mdettweiler [2012-12-28 07:49:53] 791*2^1238194-1 is not prime. Res64: 3B7A25A64A2B74B3 Time : 0.0 sec. user=mdettweiler [2012-12-28 07:59:39] 825*2^1238194-1 is not prime. Res64: 5CDA28CF45C658C5 Time : 0.0 sec. user=mdettweiler [2012-12-28 07:59:40] 981*2^1238194-1 is not prime. Res64: 969660356BC6264A Time : 0.0 sec. user=vaughan [2012-12-28 08:02:41] 787*2^1238193-1 is not prime. Res64: 6F8781D700AA4F7C Time : 0.0 sec. user=mdettweiler [2012-12-28 08:07:12] 993*2^1238194-1 is not prime. Res64: 52E1DE41FAB46E67 Time : 0.0 sec. user=mdettweiler [2012-12-28 08:07:13] 619*2^1238195-1 is not prime. Res64: F54F3C2E99E04B3E Time : 0.0 sec. user=mdettweiler [2012-12-28 08:16:59] 699*2^1238195-1 is not prime. Res64: BC2AF6F8D8EFE7B7 Time : 0.0 sec. user=mdettweiler [2012-12-28 08:17:01] 715*2^1238195-1 is not prime. Res64: F401867504D7C18C Time : 0.0 sec. user=mdettweiler [2012-12-28 08:24:35] 759*2^1238196-1 is not prime. Res64: 083823B37C2CC51C Time : 0.0 sec. user=mdettweiler [2012-12-28 08:24:36] 809*2^1238196-1 is not prime. Res64: BF64D36FD86C1497 Time : 0.0 sec. user=mdettweiler [2012-12-28 08:34:28] 905*2^1238196-1 is not prime. Res64: F2731279C49D9BCF Time : 0.0 sec. user=mdettweiler [2012-12-28 08:34:29] 619*2^1238197-1 is not prime. Res64: ECAAAE2782FCF7FB Time : 0.0 sec. user=vaughan [2012-12-28 08:40:30] 981*2^1238195-1 is not prime. Res64: 938BF2BFE71B8BDD Time : 0.0 sec. user=mdettweiler [2012-12-28 08:41:55] 625*2^1238197-1 is not prime. Res64: C736906F43EF8DC0 Time : 0.0 sec. user=mdettweiler [2012-12-28 08:41:55] 765*2^1238197-1 is not prime. Res64: E19AAB75AC1DF5B2 Time : 0.0 sec. user=mdettweiler [2012-12-28 08:51:47] 769*2^1238197-1 is not prime. Res64: 1F46CAF6449ED49A Time : 0.0 sec. user=mdettweiler [2012-12-28 08:51:48] 915*2^1238197-1 is not prime. Res64: 6EE5F8CB3B50BB89 Time : 0.0 sec. user=mdettweiler [2012-12-28 08:59:14] 657*2^1238198-1 is not prime. Res64: 4E62A2EC33862B61 Time : 0.0 sec. user=mdettweiler [2012-12-28 08:59:14] 683*2^1238198-1 is not prime. Res64: D62B6A1ED7A9AAD6 Time : 0.0 sec. user=mdettweiler [2012-12-28 09:09:07] 875*2^1238198-1 is not prime. Res64: 61FCE43AF99D05E1 Time : 0.0 sec. user=mdettweiler [2012-12-28 09:09:08] 893*2^1238198-1 is not prime. Res64: C00C35AE6FC2665C Time : 0.0 sec. user=mdettweiler [2012-12-28 09:16:34] 935*2^1238198-1 is not prime. Res64: 0E11A780C68B561E Time : 0.0 sec. user=mdettweiler [2012-12-28 09:16:34] 633*2^1238199-1 is not prime. Res64: 82438ACC3F29FB9D Time : 0.0 sec. user=vaughan [2012-12-28 09:18:19] 603*2^1238198-1 is not prime. Res64: 6F9C79366921EBFB Time : 0.0 sec. user=mdettweiler [2012-12-28 09:26:32] 691*2^1238199-1 is not prime. Res64: D6ED9A6F289436AF Time : 0.0 sec. user=mdettweiler [2012-12-28 09:26:34] 703*2^1238199-1 is not prime. Res64: E20DCBCA6F24FC41 Time : 0.0 sec. user=mdettweiler [2012-12-28 09:33:53] 795*2^1238199-1 is not prime. Res64: F407CC5E3B5580B0 Time : 0.0 sec. user=mdettweiler [2012-12-28 09:33:54] 913*2^1238199-1 is not prime. Res64: 61C12B960DBBBD5A Time : 0.0 sec. user=mdettweiler [2012-12-28 09:43:54] 719*2^1238200-1 is not prime. Res64: BBF1AEF717AEA632 Time : 0.0 sec. user=mdettweiler [2012-12-28 09:43:54] 723*2^1238200-1 is not prime. Res64: 1D340C8A84012F69 Time : 0.0 sec. user=mdettweiler [2012-12-28 09:51:13] 765*2^1238200-1 is not prime. Res64: DF1E7AD5802F438C Time : 0.0 sec. user=mdettweiler [2012-12-28 09:51:13] 833*2^1238200-1 is not prime. Res64: D0AD8AB3438270BA Time : 0.0 sec. user=juhehe [2012-12-28 09:53:25] 649*2^1238193-1 is not prime. Res64: C9182466E73BBD73 Time : 0.0 sec. user=vaughan [2012-12-28 09:56:06] 687*2^1238200-1 is not prime. Res64: 80F3C4732B74E84F Time : 0.0 sec. user=mdettweiler [2012-12-28 10:01:13] 899*2^1238200-1 is not prime. Res64: A1C8E6ADD7CDDC1C Time : 0.0 sec. user=mdettweiler [2012-12-28 10:01:16] 983*2^1238200-1 is not prime. Res64: 6B40B7AD055D776B Time : 0.0 sec. user=mdettweiler [2012-12-28 10:08:32] 619*2^1238201-1 is not prime. Res64: 00694AD5AAB6BCFD Time : 0.0 sec. user=mdettweiler [2012-12-28 10:08:33] 861*2^1238201-1 is not prime. Res64: CE49B94F418432B2 Time : 0.0 sec. user=mdettweiler [2012-12-28 10:18:36] 635*2^1238202-1 is not prime. Res64: DBDBABAC06AC2489 Time : 0.0 sec. user=mdettweiler [2012-12-28 10:18:37] 651*2^1238202-1 is not prime. Res64: 678BF905B8662970 Time : 0.0 sec. user=mdettweiler [2012-12-28 10:25:59] 801*2^1238202-1 is not prime. Res64: 697B490C958BA9B6 Time : 0.0 sec. user=mdettweiler [2012-12-28 10:26:00] 803*2^1238202-1 is not prime. Res64: DE278148C60891D6 Time : 0.0 sec. user=vaughan [2012-12-28 10:34:13] 937*2^1238201-1 is not prime. Res64: B0B26F9F590DA46F Time : 0.0 sec. user=mdettweiler [2012-12-28 10:35:56] 977*2^1238202-1 is not prime. Res64: 419F1AFC8986AF8A Time : 0.0 sec. user=mdettweiler [2012-12-28 10:35:57] 1001*2^1238202-1 is not prime. Res64: E20CFCDA192B2CFA Time : 0.0 sec. user=mdettweiler [2012-12-28 10:43:18] 679*2^1238203-1 is not prime. Res64: 1215578D2B447D9C Time : 0.0 sec. user=mdettweiler [2012-12-28 10:43:19] 693*2^1238203-1 is not prime. Res64: 10447A1450985294 Time : 0.0 sec. user=mdettweiler [2012-12-28 10:53:20] 677*2^1238204-1 is not prime. Res64: 1E371B7094E900C0 Time : 0.0 sec. user=mdettweiler [2012-12-28 10:53:20] 687*2^1238204-1 is not prime. Res64: C8B3BA560D2C3C3A Time : 0.0 sec. user=mdettweiler [2012-12-28 11:00:44] 719*2^1238204-1 is not prime. Res64: 3ACE1CC3D0EF9402 Time : 0.0 sec. user=mdettweiler [2012-12-28 11:00:46] 755*2^1238204-1 is not prime. Res64: CFE19F9625BB514D Time : 0.0 sec. user=mdettweiler [2012-12-28 11:10:39] 825*2^1238204-1 is not prime. Res64: 7B39E36F2B5611AB Time : 0.0 sec. user=mdettweiler [2012-12-28 11:10:40] 995*2^1238204-1 is not prime. Res64: 8B90C7291916B897 Time : 0.0 sec. user=vaughan [2012-12-28 11:12:04] 635*2^1238204-1 is not prime. Res64: 67D41155AE884B52 Time : 0.0 sec. user=mdettweiler [2012-12-28 11:18:15] 795*2^1238205-1 is not prime. Res64: 1B86B96EB5846F89 Time : 0.0 sec. user=mdettweiler [2012-12-28 11:18:15] 915*2^1238205-1 is not prime. Res64: 831B4799DCDC0CCB Time : 0.0 sec. user=mdettweiler [2012-12-28 11:28:01] 921*2^1238205-1 is not prime. Res64: AD662EA3ED802EDB Time : 0.0 sec. user=mdettweiler [2012-12-28 11:28:02] 777*2^1238206-1 is not prime. Res64: 431504FEE69DFFF4 Time : 0.0 sec. user=mdettweiler [2012-12-28 11:35:34] 887*2^1238206-1 is not prime. Res64: C4F4A210AF2581C4 Time : 0.0 sec. user=mdettweiler [2012-12-28 11:35:35] 891*2^1238206-1 is not prime. Res64: C0B4EBCE72038ED2 Time : 0.0 sec. user=mdettweiler [2012-12-28 11:45:21] 971*2^1238206-1 is not prime. Res64: 393D3395462E36C9 Time : 0.0 sec. user=mdettweiler [2012-12-28 11:45:22] 661*2^1238207-1 is not prime. Res64: 552C2768607312A2 Time : 0.0 sec. user=vaughan [2012-12-28 11:49:51] 843*2^1238206-1 is not prime. Res64: 1B1F655397B943B2 Time : 0.0 sec. user=mdettweiler [2012-12-28 11:52:53] 669*2^1238207-1 is not prime. Res64: 62A934997CD96778 Time : 0.0 sec. user=mdettweiler [2012-12-28 11:52:54] 825*2^1238207-1 is not prime. Res64: F3F792993D2F4117 Time : 0.0 sec. user=mdettweiler [2012-12-28 12:02:42] 861*2^1238207-1 is not prime. Res64: 2AEDD20E504A7F43 Time : 0.0 sec. user=mdettweiler [2012-12-28 12:02:45] 949*2^1238207-1 is not prime. Res64: 585E64C8F2CDF530 Time : 0.0 sec. user=mdettweiler [2012-12-28 12:10:14] 615*2^1238208-1 is not prime. Res64: 2FE7ADCBFDDC2890 Time : 0.0 sec. user=mdettweiler [2012-12-28 12:10:18] 635*2^1238208-1 is not prime. Res64: 92F34FBD1605FC71 Time : 0.0 sec. user=mdettweiler [2012-12-28 12:20:06] 669*2^1238208-1 is not prime. Res64: 493A4A168E7E3065 Time : 0.0 sec. user=mdettweiler [2012-12-28 12:20:06] 789*2^1238208-1 is not prime. Res64: AC8BA679C1B41D8F Time : 0.0 sec. user=vaughan [2012-12-28 12:27:35] 979*2^1238207-1 is not prime. Res64: 3605876228EF0A84 Time : 0.0 sec. user=mdettweiler [2012-12-28 12:28:01] 797*2^1238208-1 is not prime. Res64: AA55E11C3990146C Time : 0.0 sec. user=mdettweiler [2012-12-28 12:28:02] 849*2^1238208-1 is not prime. Res64: 04E25764066754F7 Time : 0.0 sec. user=mdettweiler [2012-12-28 12:37:27] 879*2^1238208-1 is not prime. Res64: D9630264809C6B57 Time : 0.0 sec. user=mdettweiler [2012-12-28 12:37:27] 745*2^1238209-1 is not prime. Res64: C8760C4A06C582DD Time : 0.0 sec. user=mdettweiler [2012-12-28 12:45:20] 769*2^1238209-1 is not prime. Res64: F86DCB22754A0CD3 Time : 0.0 sec. user=mdettweiler [2012-12-28 12:45:21] 789*2^1238209-1 is not prime. Res64: 09C53CB93E8DEB5D Time : 0.0 sec. user=mdettweiler [2012-12-28 12:54:46] 867*2^1238209-1 is not prime. Res64: 46FB5B30CBA66EAD Time : 0.0 sec. user=mdettweiler [2012-12-28 12:54:47] 635*2^1238210-1 is not prime. Res64: 2B71B19FB9E9C2FA Time : 0.0 sec. user=mdettweiler [2012-12-28 13:02:40] 677*2^1238210-1 is not prime. Res64: 1C51C2DC543A46BE Time : 0.0 sec. user=mdettweiler [2012-12-28 13:02:41] 711*2^1238210-1 is not prime. Res64: 88E06ACC5D72D52A Time : 0.0 sec. user=vaughan [2012-12-28 13:05:22] 765*2^1238209-1 is not prime. Res64: BAC100BC99892883 Time : 0.0 sec. user=mdettweiler [2012-12-28 13:12:06] 767*2^1238210-1 is not prime. Res64: A6A4845C6D527E0D Time : 0.0 sec. user=mdettweiler [2012-12-28 13:12:07] 783*2^1238210-1 is not prime. Res64: D8A23B5101C9365A Time : 0.0 sec. user=mdettweiler [2012-12-28 13:20:14] 801*2^1238210-1 is not prime. Res64: C275005B62CF97B5 Time : 0.0 sec. user=mdettweiler [2012-12-28 13:20:15] 845*2^1238210-1 is not prime. Res64: 16E38496E3810F09 Time : 0.0 sec. user=mdettweiler [2012-12-28 13:29:41] 867*2^1238210-1 is not prime. Res64: 14D1510FEFE4C49C Time : 0.0 sec. user=mdettweiler [2012-12-28 13:29:42] 927*2^1238210-1 is not prime. Res64: 4F067226150EA05D Time : 0.0 sec. user=mdettweiler [2012-12-28 13:37:44] 705*2^1238211-1 is not prime. Res64: FC01CFEDF7FD732F Time : 0.0 sec. user=mdettweiler [2012-12-28 13:37:45] 751*2^1238211-1 is not prime. Res64: D171AECB9E9BD3A0 Time : 0.0 sec. user=vaughan [2012-12-28 13:43:12] 857*2^1238210-1 is not prime. Res64: 05EB3541237B38B0 Time : 0.0 sec. user=mdettweiler [2012-12-28 13:47:05] 793*2^1238211-1 is not prime. Res64: 7B64CDC51F1629F0 Time : 0.0 sec. user=mdettweiler [2012-12-28 13:47:06] 829*2^1238211-1 is not prime. Res64: 49BF739FD5D846CB Time : 0.0 sec. user=mdettweiler [2012-12-28 13:55:04] 885*2^1238211-1 is not prime. Res64: 122BC8892B0D3094 Time : 0.0 sec. user=mdettweiler [2012-12-28 13:55:04] 951*2^1238211-1 is not prime. Res64: 99B5636C330E561E Time : 0.0 sec. user=juhehe [2012-12-28 14:00:30] 643*2^1238211-1 is not prime. Res64: BAA6267824BC9E9D Time : 0.0 sec. user=mdettweiler [2012-12-28 14:04:27] 743*2^1238212-1 is not prime. Res64: 73ED0F51731952C2 Time : 0.0 sec. user=mdettweiler [2012-12-28 14:04:30] 803*2^1238212-1 is not prime. Res64: 24E8FE4B489DFE02 Time : 0.0 sec. user=mdettweiler [2012-12-28 14:12:27] 923*2^1238212-1 is not prime. Res64: 1B2A87650F36B849 Time : 0.0 sec. user=mdettweiler [2012-12-28 14:12:28] 957*2^1238212-1 is not prime. Res64: A144A8F3F7B5E25E Time : 0.0 sec. user=vaughan [2012-12-28 14:21:00] 735*2^1238212-1 is not prime. Res64: D91A7B767C4BEE88 Time : 0.0 sec. user=mdettweiler [2012-12-28 14:21:53] 649*2^1238213-1 is not prime. Res64: 9EB7EF2C8BAC2F46 Time : 0.0 sec. user=mdettweiler [2012-12-28 14:21:54] 651*2^1238213-1 is not prime. Res64: AA963FD9775525C6 Time : 0.0 sec. user=mdettweiler [2012-12-28 14:29:50] 699*2^1238213-1 is not prime. Res64: C12E217EAF55744A Time : 0.0 sec. user=mdettweiler [2012-12-28 14:29:51] 847*2^1238213-1 is not prime. Res64: 20A29D792D51CD5A Time : 0.0 sec. user=mdettweiler [2012-12-28 14:39:12] 867*2^1238213-1 is not prime. Res64: AA8049A5C192EEA4 Time : 0.0 sec. user=mdettweiler [2012-12-28 14:39:13] 915*2^1238213-1 is not prime. Res64: 02FDCB9D70588889 Time : 0.0 sec. user=mdettweiler [2012-12-28 14:47:12] 677*2^1238214-1 is not prime. Res64: 9AB93A3A1E73EFBF Time : 0.0 sec. user=mdettweiler [2012-12-28 14:47:13] 717*2^1238214-1 is not prime. Res64: EC79A54EC13EA7B6 Time : 0.0 sec. user=mdettweiler [2012-12-28 14:56:34] 755*2^1238214-1 is not prime. Res64: B2362F662B7D674D Time : 0.0 sec. user=mdettweiler [2012-12-28 14:56:35] 783*2^1238214-1 is not prime. Res64: 8CBA455DB182DCC7 Time : 0.0 sec. user=vaughan [2012-12-28 14:58:46] 859*2^1238213-1 is not prime. Res64: 811E7F776769AA9F Time : 0.0 sec. user=mdettweiler [2012-12-28 15:04:33] 815*2^1238214-1 is not prime. Res64: 6607DE38EE61A500 Time : 0.0 sec. user=mdettweiler [2012-12-28 15:04:34] 887*2^1238214-1 is not prime. Res64: 4E78E55094E80AA4 Time : 0.0 sec. user=mdettweiler [2012-12-28 15:13:57] 891*2^1238214-1 is not prime. Res64: BC0C96561471B423 Time : 0.0 sec. user=mdettweiler [2012-12-28 15:13:58] 917*2^1238214-1 is not prime. Res64: 67273A54B6FA0611 Time : 0.0 sec. user=mdettweiler [2012-12-28 15:22:02] 633*2^1238215-1 is not prime. Res64: 9879F6AC01285A16 Time : 0.0 sec. user=mdettweiler [2012-12-28 15:22:02] 639*2^1238215-1 is not prime. Res64: 7DE3F48E27D47D9F Time : 0.0 sec. user=juhehe [2012-12-28 15:23:10] 797*2^1238214-1 is not prime. Res64: 933EE8AE3CD4F8CE Time : 0.0 sec. user=mdettweiler [2012-12-28 15:31:18] 649*2^1238215-1 is not prime. Res64: 1001E10B2694554B Time : 0.0 sec. user=mdettweiler [2012-12-28 15:31:19] 675*2^1238215-1 is not prime. Res64: 32441639AA2A9494 Time : 0.0 sec. user=vaughan [2012-12-28 15:36:31] 951*2^1238214-1 is not prime. Res64: CE2571D3EB753B1B Time : 0.0 sec. user=mdettweiler [2012-12-28 15:39:21] 685*2^1238215-1 is not prime. Res64: 94380CA4D39F046D Time : 0.0 sec. user=mdettweiler [2012-12-28 15:39:22] 765*2^1238215-1 is not prime. Res64: AB9B1AB2EB7FCE5D Time : 0.0 sec. user=mdettweiler [2012-12-28 15:48:38] 915*2^1238215-1 is not prime. Res64: A63597734FC8AE3D Time : 0.0 sec. user=mdettweiler [2012-12-28 15:48:38] 617*2^1238216-1 is not prime. Res64: 79F4A77DFD8A27CF Time : 0.0 sec. user=mdettweiler [2012-12-28 15:56:40] 659*2^1238216-1 is not prime. Res64: 38E3142ED6054930 Time : 0.0 sec. user=mdettweiler [2012-12-28 15:56:40] 675*2^1238216-1 is not prime. Res64: 91E270F348A6B2EB Time : 0.0 sec. user=mdettweiler [2012-12-28 16:06:02] 699*2^1238216-1 is not prime. Res64: 1418F9441D0FF364 Time : 0.0 sec. user=mdettweiler [2012-12-28 16:06:04] 735*2^1238216-1 is not prime. Res64: 209BB6F0FE435E0A Time : 0.0 sec. user=mdettweiler [2012-12-28 16:14:06] 747*2^1238216-1 is not prime. Res64: E29036879D6B29F7 Time : 0.0 sec. user=mdettweiler [2012-12-28 16:14:06] 923*2^1238216-1 is not prime. Res64: 9E44C8946A35A4F7 Time : 0.0 sec. user=vaughan [2012-12-28 16:14:19] 629*2^1238216-1 is not prime. Res64: 24EAEA569423F898 Time : 0.0 sec. user=mdettweiler [2012-12-28 16:23:46] 607*2^1238217-1 is not prime. Res64: 1ADB315632C5D6FB Time : 0.0 sec. user=mdettweiler [2012-12-28 16:23:47] 609*2^1238217-1 is not prime. Res64: 876AD98A6A39F99D Time : 0.0 sec. user=mdettweiler [2012-12-28 16:31:36] 759*2^1238217-1 is not prime. Res64: 48AC1B7EF4BDB610 Time : 0.0 sec. user=mdettweiler [2012-12-28 16:31:37] 777*2^1238217-1 is not prime. Res64: A0DE81EA112E75CA Time : 0.0 sec. user=mdettweiler [2012-12-28 16:41:12] 861*2^1238217-1 is not prime. Res64: 7461E42CF5E3436B Time : 0.0 sec. user=mdettweiler [2012-12-28 16:41:13] 755*2^1238218-1 is not prime. Res64: E353885C537C7A73 Time : 0.0 sec. user=mdettweiler [2012-12-28 16:49:09] 857*2^1238218-1 is not prime. Res64: 0CA2C24E5017CD15 Time : 0.0 sec. user=mdettweiler [2012-12-28 16:49:09] 885*2^1238218-1 is not prime. Res64: A5B94732EACD1888 Time : 0.0 sec. user=vaughan [2012-12-28 16:52:10] 781*2^1238217-1 is not prime. Res64: 9FE58F227537AD5C Time : 0.0 sec. user=mdettweiler [2012-12-28 16:58:41] 911*2^1238218-1 is not prime. Res64: 9B94A853B9E445DA Time : 0.0 sec. user=mdettweiler [2012-12-28 16:58:42] 971*2^1238218-1 is not prime. Res64: 1A6C600A68B314C3 Time : 0.0 sec. user=mdettweiler [2012-12-28 17:06:41] 799*2^1238219-1 is not prime. Res64: D44D6A5003DE43C7 Time : 0.0 sec. user=mdettweiler [2012-12-28 17:06:42] 889*2^1238219-1 is not prime. Res64: 79C396692BFADD92 Time : 0.0 sec. user=mdettweiler [2012-12-28 17:16:10] 623*2^1238220-1 is not prime. Res64: 71FAAC9C0F02B081 Time : 0.0 sec. user=mdettweiler [2012-12-28 17:16:11] 699*2^1238220-1 is not prime. Res64: D3F15021A7A425A5 Time : 0.0 sec. user=mdettweiler [2012-12-28 17:24:12] 753*2^1238220-1 is not prime. Res64: F5FD0A3F42708371 Time : 0.0 sec. user=mdettweiler [2012-12-28 17:24:13] 775*2^1238221-1 is not prime. Res64: 9CA5FB1E09895C2F Time : 0.0 sec. user=vaughan [2012-12-28 17:29:55] 969*2^1238219-1 is not prime. Res64: A63B1D9C8D1BAEC4 Time : 0.0 sec. user=mdettweiler [2012-12-28 17:33:40] 811*2^1238221-1 is not prime. Res64: 104E62FAC9872E6C Time : 0.0 sec. user=mdettweiler [2012-12-28 17:33:40] 889*2^1238221-1 is not prime. Res64: 647E1CB35DA5075D Time : 0.0 sec. user=mdettweiler [2012-12-28 17:41:39] 931*2^1238221-1 is not prime. Res64: 255C7DFA835F091E Time : 0.0 sec. user=mdettweiler [2012-12-28 17:41:40] 665*2^1238222-1 is not prime. Res64: 9A8E88F31BBE7D40 Time : 0.0 sec. user=mdettweiler [2012-12-28 17:51:14] 743*2^1238222-1 is not prime. Res64: ABF62329FEFC36F3 Time : 0.0 sec. user=mdettweiler [2012-12-28 17:51:14] 797*2^1238222-1 is not prime. Res64: 295E77C9D13EDA0C Time : 0.0 sec. user=mdettweiler [2012-12-28 17:59:31] 813*2^1238222-1 is not prime. Res64: D43B6B004A5DA3EE Time : 0.0 sec. user=mdettweiler [2012-12-28 17:59:31] 827*2^1238222-1 is not prime. Res64: 916307D00A34E69E Time : 0.0 sec. user=vaughan [2012-12-28 18:07:44] 713*2^1238222-1 is not prime. Res64: C57D6DB7DA103388 Time : 0.0 sec. user=mdettweiler [2012-12-28 18:08:42] 897*2^1238222-1 is not prime. Res64: 1623EE8FB246745A Time : 0.0 sec. user=mdettweiler [2012-12-28 18:08:43] 983*2^1238222-1 is not prime. Res64: 7003638E0C7AB941 Time : 0.0 sec. user=mdettweiler [2012-12-28 18:17:03] 615*2^1238223-1 is not prime. Res64: 5106F0296A4B99B5 Time : 0.0 sec. user=mdettweiler [2012-12-28 18:17:04] 621*2^1238223-1 is not prime. Res64: 755794A87D83FD18 Time : 0.0 sec. user=mdettweiler [2012-12-28 18:26:18] 703*2^1238223-1 is not prime. Res64: 1B9DF7F31EA46999 Time : 0.0 sec. user=mdettweiler [2012-12-28 18:26:20] 783*2^1238223-1 is not prime. Res64: 92633C5C45144857 Time : 0.0 sec. user=mdettweiler [2012-12-28 18:34:35] 789*2^1238223-1 is not prime. Res64: BDCB5501C94E687F Time : 0.0 sec. user=mdettweiler [2012-12-28 18:34:36] 955*2^1238223-1 is not prime. Res64: 7ECFD0FB5A320C89 Time : 0.0 sec. user=mdettweiler [2012-12-28 18:43:54] 605*2^1238224-1 is not prime. Res64: BC0D2FD5E8090288 Time : 0.0 sec. user=mdettweiler [2012-12-28 18:43:54] 615*2^1238224-1 is not prime. Res64: C74481B16FBA7A6B Time : 0.0 sec. user=vaughan [2012-12-28 18:45:38] 669*2^1238223-1 is not prime. Res64: D50FA29DC3F146B3 Time : 0.0 sec. user=mdettweiler [2012-12-28 18:52:04] 707*2^1238224-1 is not prime. Res64: 2A4E3C6ED642B816 Time : 0.0 sec. user=mdettweiler [2012-12-28 18:52:05] 759*2^1238224-1 is not prime. Res64: CC9193729AC909AC Time : 0.0 sec. user=mdettweiler [2012-12-28 19:01:23] 863*2^1238224-1 is not prime. Res64: ED6FEAF99BB6ACE8 Time : 0.0 sec. user=mdettweiler [2012-12-28 19:01:24] 965*2^1238224-1 is not prime. Res64: 98408CBE779D1883 Time : 0.0 sec. user=mdettweiler [2012-12-28 19:09:40] 601*2^1238225-1 is not prime. Res64: E4605B616F1DE22D Time : 0.0 sec. user=mdettweiler [2012-12-28 19:09:41] 699*2^1238225-1 is not prime. Res64: 793760159D391291 Time : 0.0 sec. user=mdettweiler [2012-12-28 19:19:07] 937*2^1238225-1 is not prime. Res64: FD0B0124E0FEF402 Time : 0.0 sec. user=mdettweiler [2012-12-28 19:19:08] 807*2^1238226-1 is not prime. Res64: F342AB3B58D8B4CA Time : 0.0 sec. user=vaughan [2012-12-28 19:23:28] 989*2^1238224-1 is not prime. Res64: CB16A4EC6B863339 Time : 0.0 sec. user=mdettweiler [2012-12-28 19:27:23] 837*2^1238226-1 is not prime. Res64: 51818D51A5BD06AF Time : 0.0 sec. user=mdettweiler [2012-12-28 19:27:24] 873*2^1238226-1 is not prime. Res64: BF25721C3987C8F9 Time : 0.0 sec. user=mdettweiler [2012-12-28 19:36:46] 615*2^1238227-1 is not prime. Res64: 455DEAB23613D128 Time : 0.0 sec. user=mdettweiler [2012-12-28 19:36:46] 673*2^1238227-1 is not prime. Res64: A72E8DF2182C61CA Time : 0.0 sec. user=mdettweiler [2012-12-28 19:45:00] 769*2^1238227-1 is not prime. Res64: D8BA4537ADEA8D84 Time : 0.0 sec. user=mdettweiler [2012-12-28 19:45:01] 843*2^1238227-1 is not prime. Res64: 8D3104CE1C5E04D4 Time : 0.0 sec. user=mdettweiler [2012-12-28 19:54:19] 861*2^1238227-1 is not prime. Res64: BADA442AE4FA4306 Time : 0.0 sec. user=mdettweiler [2012-12-28 19:54:19] 871*2^1238227-1 is not prime. Res64: EDEC985252DC2720 Time : 0.0 sec. user=vaughan [2012-12-28 20:01:16] 705*2^1238227-1 is not prime. Res64: 551B9B2311B7EA6B Time : 0.0 sec. user=mdettweiler [2012-12-28 20:02:36] 873*2^1238227-1 is not prime. Res64: A46322146A354E8D Time : 0.0 sec. user=mdettweiler [2012-12-28 20:02:37] 885*2^1238227-1 is not prime. Res64: 1BB180DE57850DE0 Time : 0.0 sec. user=mdettweiler [2012-12-28 20:11:47] 919*2^1238227-1 is not prime. Res64: ED7397625C188648 Time : 0.0 sec. user=mdettweiler [2012-12-28 20:11:49] 707*2^1238228-1 is not prime. Res64: 184AE0BE5B4C9D69 Time : 0.0 sec. user=mdettweiler [2012-12-28 20:20:02] 803*2^1238228-1 is not prime. Res64: 2EF9B05F94F993C3 Time : 0.0 sec. user=mdettweiler [2012-12-28 20:20:03] 833*2^1238228-1 is not prime. Res64: 8CD0252871A9C604 Time : 0.0 sec. user=mdettweiler [2012-12-28 20:29:16] 885*2^1238228-1 is not prime. Res64: 88D5E166836E08F6 Time : 0.0 sec. user=mdettweiler [2012-12-28 20:29:16] 923*2^1238228-1 is not prime. Res64: CC16139842B1EC4F Time : 0.0 sec. user=mdettweiler [2012-12-28 20:37:27] 615*2^1238229-1 is not prime. Res64: 61C62BE6E8BCF073 Time : 0.0 sec. user=mdettweiler [2012-12-28 20:37:27] 765*2^1238229-1 is not prime. Res64: 16C2185B713FCD82 Time : 0.0 sec. user=vaughan [2012-12-28 20:39:16] 743*2^1238228-1 is not prime. Res64: 39132DD2EEF89A7F Time : 0.0 sec. user=mdettweiler [2012-12-28 20:46:38] 837*2^1238229-1 is not prime. Res64: 23B416A338D9552B Time : 0.0 sec. user=mdettweiler [2012-12-28 20:46:39] 979*2^1238229-1 is not prime. Res64: F9F9160331BF8D10 Time : 0.0 sec. user=mdettweiler [2012-12-28 20:54:48] 687*2^1238230-1 is not prime. Res64: ECD27CFACB47C9A7 Time : 0.0 sec. user=mdettweiler [2012-12-28 20:54:48] 873*2^1238230-1 is not prime. Res64: 7FAA51BA776FA9E2 Time : 0.0 sec. user=mdettweiler [2012-12-28 21:04:01] 645*2^1238231-1 is not prime. Res64: 77E4E93755B72AC3 Time : 0.0 sec. user=mdettweiler [2012-12-28 21:04:03] 825*2^1238231-1 is not prime. Res64: 78090D3568F69850 Time : 0.0 sec. user=mdettweiler [2012-12-28 21:12:11] 909*2^1238231-1 is not prime. Res64: 568B7F8DED847A6B Time : 0.0 sec. user=mdettweiler [2012-12-28 21:12:12] 609*2^1238232-1 is not prime. Res64: BA801676E95BAB14 Time : 0.0 sec. user=vaughan [2012-12-28 21:17:02] 951*2^1238230-1 is not prime. Res64: 4073B29BC7E626B5 Time : 0.0 sec. user=mdettweiler [2012-12-28 21:21:45] 623*2^1238232-1 is not prime. Res64: E2930EAA4ADF5FA5 Time : 0.0 sec. user=mdettweiler [2012-12-28 21:21:45] 695*2^1238232-1 is not prime. Res64: 2162CE43610E54B4 Time : 0.0 sec. user=mdettweiler [2012-12-28 21:30:01] 809*2^1238232-1 is not prime. Res64: 3AF12F7D512AE8FB Time : 0.0 sec. user=mdettweiler [2012-12-28 21:30:03] 609*2^1238233-1 is not prime. Res64: 367D89A36CB661E8 Time : 0.0 sec. user=mdettweiler [2012-12-28 21:39:14] 885*2^1238233-1 is not prime. Res64: 159EB11FADCA404E Time : 0.0 sec. user=mdettweiler [2012-12-28 21:39:14] 937*2^1238233-1 is not prime. Res64: D4849123C8F2A103 Time : 0.0 sec. user=mdettweiler [2012-12-28 21:47:57] 657*2^1238234-1 is not prime. Res64: 0CAB6C377462763B Time : 0.0 sec. user=mdettweiler [2012-12-28 21:47:57] 665*2^1238234-1 is not prime. Res64: F27EC739876952AE Time : 0.0 sec. user=vaughan [2012-12-28 21:54:49] 847*2^1238233-1 is not prime. Res64: 5916C42C03401EF1 Time : 0.0 sec. user=mdettweiler [2012-12-28 21:56:41] 923*2^1238234-1 is not prime. Res64: 3F074B29B4710F58 Time : 0.0 sec. user=mdettweiler [2012-12-28 21:56:42] 765*2^1238235-1 is not prime. Res64: 733A34C150B13DD2 Time : 0.0 sec. user=mdettweiler [2012-12-28 22:05:21] 949*2^1238235-1 is not prime. Res64: DB52C4398DFB829A Time : 0.0 sec. user=mdettweiler [2012-12-28 22:05:23] 657*2^1238236-1 is not prime. Res64: DC7CC9DCDDC3D902 Time : 0.0 sec. user=mdettweiler [2012-12-28 22:14:08] 719*2^1238236-1 is not prime. Res64: FEFAF53C2FD7CD05 Time : 0.0 sec. user=mdettweiler [2012-12-28 22:14:09] 779*2^1238236-1 is not prime. Res64: 75D91320EC6B25DA Time : 0.0 sec. user=mdettweiler [2012-12-28 22:23:11] 833*2^1238236-1 is not prime. Res64: 2D13B67B367C89F6 Time : 0.0 sec. user=mdettweiler [2012-12-28 22:23:11] 873*2^1238236-1 is not prime. Res64: D6B42B8C035C9512 Time : 0.0 sec. user=mdettweiler [2012-12-28 22:32:02] 939*2^1238236-1 is not prime. Res64: E9114C8886E4ECB1 Time : 0.0 sec. user=mdettweiler [2012-12-28 22:32:02] 969*2^1238236-1 is not prime. Res64: A7F6FA0FF2496E20 Time : 0.0 sec. user=vaughan [2012-12-28 22:32:37] 717*2^1238236-1 is not prime. Res64: E919B9E61AE1D178 Time : 0.0 sec. user=mdettweiler [2012-12-28 22:40:49] 655*2^1238237-1 is not prime. Res64: 979D53A881CDD05D Time : 0.0 sec. user=mdettweiler [2012-12-28 22:40:50] 697*2^1238237-1 is not prime. Res64: 52DA812B266FF25B Time : 0.0 sec. user=mdettweiler [2012-12-28 22:49:26] 699*2^1238237-1 is not prime. Res64: 482E2777B8A841AC Time : 0.0 sec. user=mdettweiler [2012-12-28 22:49:27] 825*2^1238237-1 is not prime. Res64: 977AC0D9B97B63D7 Time : 0.0 sec. user=mdettweiler [2012-12-28 22:58:11] 847*2^1238237-1 is not prime. Res64: CAFA22148ECDF106 Time : 0.0 sec. user=mdettweiler [2012-12-28 22:58:12] 879*2^1238237-1 is not prime. Res64: 1CDD60486EFCC7AB Time : 0.0 sec. user=mdettweiler [2012-12-28 23:06:48] 641*2^1238238-1 is not prime. Res64: D3B234D9830AAA38 Time : 0.0 sec. user=mdettweiler [2012-12-28 23:06:50] 681*2^1238238-1 is not prime. Res64: BB5E9640F2624AE5 Time : 0.0 sec. user=vaughan [2012-12-28 23:10:29] 837*2^1238237-1 is not prime. Res64: 502A60447541313B Time : 0.0 sec. user=mdettweiler [2012-12-28 23:15:32] 713*2^1238238-1 is not prime. Res64: 06DA303EABF8FEF2 Time : 0.0 sec. user=mdettweiler [2012-12-28 23:15:33] 773*2^1238238-1 is not prime. Res64: EC90D3EC5DFD089E Time : 0.0 sec. user=mdettweiler [2012-12-28 23:24:22] 777*2^1238238-1 is not prime. Res64: 82663208FBDA138B Time : 0.0 sec. user=mdettweiler [2012-12-28 23:24:22] 867*2^1238238-1 is not prime. Res64: 4AEABA03585618EA Time : 0.0 sec. user=mdettweiler [2012-12-28 23:32:56] 893*2^1238238-1 is not prime. Res64: 177933A9163B6BFD Time : 0.0 sec. user=mdettweiler [2012-12-28 23:32:57] 945*2^1238238-1 is not prime. Res64: 3913207F813C23F5 Time : 0.0 sec. user=mdettweiler [2012-12-28 23:41:44] 975*2^1238238-1 is not prime. Res64: 46D216B3854721D4 Time : 0.0 sec. user=mdettweiler [2012-12-28 23:41:45] 661*2^1238239-1 is not prime. Res64: BA84381ABADC410B Time : 0.0 sec. user=mdettweiler [2012-12-28 23:50:21] 709*2^1238239-1 is not prime. Res64: CA66C2069F0F9602 Time : 0.0 sec. user=mdettweiler [2012-12-28 23:50:22] 925*2^1238239-1 is not prime. Res64: F339F2D420F26FEB Time : 0.0 sec. user=vaughan [2012-12-28 23:55:51] 891*2^1238238-1 is not prime. Res64: 8157FCAC0010DAEE Time : 0.0 sec. user=mdettweiler [2012-12-28 23:59:14] 699*2^1238240-1 is not prime. Res64: 6036E8BACC0D6D13 Time : 0.0 sec. user=mdettweiler [2012-12-28 23:59:15] 795*2^1238240-1 is not prime. Res64: 92D0AE30B3729F7D Time : 0.0 sec.